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 = 47259648, getVmSize() = 47259648, SCIPgetMemUsed() = 20950116, SCIPgetMemTotal() = 25046916, SCIPgetMemExternEstim() = 11272055
0.00/0.03 c ** set memory limit for presolving in LC to 8.79608e+12 for SCIP **
5.37/5.48 c ** Estimated virtualMemUsedAtSolver = 75453088, getVmSize() = 126758912, SCIPgetMemUsed() = 72190674, SCIPgetMemTotal() = 101907578, SCIPgetMemExternEstim() = 11272055
5.37/5.48 c ** set memory limit for solvers to 4.39804e+12 for each SCIP **
5.37/5.48 c Original Problem :
5.37/5.48 c Problem name : instance-4447040-1721345778
5.37/5.48 c Variables : 5780 (5780 binary, 0 integer, 0 implicit integer, 0 continuous)
5.37/5.48 c Constraints : 5952
5.37/5.48 c Objective sense : minimize
5.37/5.48 c Presolved Problem :
5.37/5.48 c Variables : 5049 (5049 binary, 0 integer, 0 implicit integer, 0 continuous)
5.37/5.48 c Constraints : 5200
5.37/5.48 c Constraints : Number
5.37/5.48 c setppc : 1116
5.37/5.48 c orbitope : 3
5.37/5.48 c logicor : 4081
5.37/5.48 c ** Instance transfer method used: 0
5.47/5.50 c ** ParaScipInstance copy increased the number of variables. **
5.47/5.51 c LC is working with racing ramp-up and with rebuilding tree after racing.
5.47/5.51 c Nodes Active
5.47/5.51 c Time Nodes Left Solvers Best Integer Best Node Gap Best Node(S) Gap(S)
104.10/104.48 c 104 2 1 1 - 0.0000 -
113.39/113.77 c 114 5 4 1 - 0.0000 -
118.57/118.91 c 119 11 10 1 - 0.0000 -
125.55/125.97 c 126 14 13 1 - 0.0000 -
131.44/131.81 c 132 16 13 1 - 0.0000 -
140.92/141.39 c 141 25 12 1 - 0.0000 -
147.30/147.72 c 148 31 12 1 - 0.0000 -
152.59/153.03 c 153 37 14 1 - 0.0000 -
158.58/159.05 c 159 44 15 1 - 0.0000 -
164.76/165.28 c 165 57 16 1 - 0.0000 -
171.24/171.77 c 172 70 17 1 - 0.0000 -
176.43/176.90 c 177 72 17 1 - 0.0000 -
181.52/182.00 c 182 74 19 1 - 0.0000 -
199.68/200.22 c 200 75 20 1 - 0.0000 -
206.86/207.44 c 207 92 16 1 - 0.0000 -
212.55/213.12 c 213 95 17 1 - 0.0000 -
218.63/219.29 c 219 104 20 1 - 0.0000 -
224.42/225.01 c 225 112 24 1 - 0.0000 -
230.60/231.21 c 231 122 28 1 - 0.0000 -
235.79/236.49 c 236 123 27 1 - 0.0000 -
241.38/242.09 c 242 133 27 1 - 0.0000 -
247.17/247.85 c 248 144 28 1 - 0.0000 -
252.36/253.03 c 253 147 29 1 - 0.0000 -
258.35/259.10 c 259 158 27 1 - 0.0000 -
263.44/264.17 c 264 165 30 1 - 0.0000 -
268.92/269.63 c 270 172 33 1 - 0.0000 -
274.60/275.35 c 275 190 37 1 - 0.0000 -
280.59/281.39 c 281 216 37 1 - 0.0000 -
286.08/286.87 c 287 233 36 1 - 0.0000 -
292.06/292.81 c 293 245 36 1 - 0.0000 -
297.05/297.84 c 298 256 35 1 - 0.0000 -
302.94/303.77 c 304 265 34 1 - 0.0000 -
308.02/308.84 c 309 270 35 1 - 0.0000 -
314.31/315.17 c 315 275 36 1 - 0.0000 -
319.70/320.55 c 321 283 36 1 - 0.0000 -
324.98/325.87 c 326 293 36 1 - 0.0000 -
331.47/332.33 c 332 297 38 1 - 0.0000 -
336.65/337.59 c 338 303 34 1 - 0.0000 -
343.04/343.93 c 344 309 36 1 - 0.0000 -
349.03/349.98 c 350 323 31 1 - 0.0000 -
355.81/356.79 c 357 330 29 1 - 0.0000 -
362.49/363.49 c 363 342 31 1 - 0.0000 -
368.68/369.63 c 370 353 28 1 - 0.0000 -
374.86/375.81 c 376 361 28 1 - 0.0000 -
380.75/381.79 c 382 376 29 1 - 0.0000 -
385.84/386.89 c 387 381 30 1 - 0.0000 -
392.03/393.05 c 393 387 28 1 - 0.0000 -
397.51/398.55 c 399 400 25 1 - 0.0000 -
403.70/404.76 c 405 412 27 1 - 0.0000 -
408.79/409.83 c 410 425 26 1 - 0.0000 -
414.77/415.86 c 416 445 24 1 - 0.0000 -
420.15/421.24 c 421 452 23 1 - 0.0000 -
427.44/428.58 c 429 459 24 1 - 0.0000 -
433.22/434.36 c 434 472 25 1 - 0.0000 -
439.11/440.24 c 440 483 26 1 - 0.0000 -
446.89/448.06 c 448 495 26 1 - 0.0000 -
452.17/453.35 c 453 506 27 1 - 0.0000 -
457.46/458.64 c 459 516 26 1 - 0.0000 -
463.45/464.68 c 465 540 28 1 - 0.0000 -
469.63/470.88 c 471 565 25 1 - 0.0000 -
475.72/476.91 c 477 583 27 1 - 0.0000 -
482.30/483.50 c 484 595 27 1 - 0.0000 -
488.68/489.96 c 490 607 27 1 - 0.0000 -
493.87/495.17 c 495 624 28 1 - 0.0000 -
499.76/501.02 c 501 635 27 1 - 0.0000 -
505.14/506.43 c 506 649 29 1 - 0.0000 -
510.92/512.22 c 512 664 27 1 - 0.0000 -
516.21/517.55 c 518 679 28 1 - 0.0000 -
521.59/522.97 c 523 689 26 1 - 0.0000 -
528.38/529.77 c 530 703 26 1 - 0.0000 -
534.77/536.17 c 536 710 27 1 - 0.0000 -
539.85/541.26 c 541 720 27 1 - 0.0000 -
546.23/547.64 c 548 731 24 1 - 0.0000 -
551.72/553.11 c 553 739 24 1 - 0.0000 -
559.61/561.09 c 561 750 25 1 - 0.0000 -
565.40/566.81 c 567 757 26 1 - 0.0000 -
571.08/572.59 c 573 768 27 1 - 0.0000 -
576.47/577.92 c 578 781 26 1 - 0.0000 -
581.46/582.93 c 583 790 25 1 - 0.0000 -
587.94/589.40 c 589 800 23 1 - 0.0000 -
594.53/596.06 c 596 809 24 1 - 0.0000 -
601.21/602.76 c 603 819 24 1 - 0.0000 -
606.69/608.26 c 608 829 24 1 - 0.0000 -
612.28/613.81 c 614 834 25 1 - 0.0000 -
618.07/619.63 c 620 844 23 1 - 0.0000 -
623.16/624.78 c 625 851 24 1 - 0.0000 -
628.45/630.07 c 630 864 23 1 - 0.0000 -
634.22/635.83 c 636 873 26 1 - 0.0000 -
640.30/641.90 c 642 881 26 1 - 0.0000 -
647.08/648.77 c 649 894 25 1 - 0.0000 -
652.27/653.93 c 654 903 28 1 - 0.0000 -
659.45/661.11 c 661 913 28 1 - 0.0000 -
665.13/666.85 c 667 919 28 1 - 0.0000 -
671.50/673.22 c 673 929 30 1 - 0.0000 -
678.19/679.95 c 680 940 29 1 - 0.0000 -
684.77/686.52 c 687 950 29 1 - 0.0000 -
690.75/692.55 c 693 957 28 1 - 0.0000 -
698.23/700.02 c 700 964 29 1 - 0.0000 -
703.61/705.45 c 705 970 29 1 - 0.0000 -
708.70/710.56 c 711 976 27 1 - 0.0000 -
714.28/716.12 c 716 985 28 1 - 0.0000 -
719.96/721.83 c 722 1002 27 1 - 0.0000 -
725.15/727.03 c 727 1011 30 1 - 0.0000 -
730.14/732.10 c 732 1024 31 1 - 0.0000 -
736.41/738.31 c 738 1041 30 1 - 0.0000 -
741.99/743.93 c 744 1052 29 1 - 0.0000 -
748.47/750.49 c 750 1065 30 1 - 0.0000 -
753.75/755.72 c 756 1071 32 1 - 0.0000 -
759.73/761.71 c 762 1087 30 1 - 0.0000 -
765.13/767.13 c 767 1101 28 1 - 0.0000 -
771.20/773.20 c 773 1109 28 1 - 0.0000 -
776.19/778.22 c 778 1118 29 1 - 0.0000 -
781.67/783.75 c 784 1129 28 1 - 0.0000 -
787.85/789.95 c 790 1140 29 1 - 0.0000 -
792.94/795.01 c 795 1147 28 1 - 0.0000 -
798.22/800.35 c 800 1157 30 1 - 0.0000 -
803.80/805.91 c 806 1167 30 1 - 0.0000 -
809.68/811.85 c 812 1177 30 1 - 0.0000 -
814.87/817.06 c 817 1188 31 1 - 0.0000 -
820.56/822.78 c 823 1200 27 1 - 0.0000 -
826.24/828.40 c 828 1208 27 1 - 0.0000 -
831.52/833.73 c 834 1217 26 1 - 0.0000 -
837.00/839.26 c 839 1230 27 1 - 0.0000 -
842.19/844.45 c 844 1248 29 1 - 0.0000 -
847.67/849.93 c 850 1256 29 1 - 0.0000 -
853.45/855.72 c 856 1271 28 1 - 0.0000 -
860.63/862.98 c 863 1276 29 1 - 0.0000 -
865.92/868.25 c 868 1282 31 1 - 0.0000 -
871.60/873.99 c 874 1293 32 1 - 0.0000 -
877.28/879.65 c 880 1304 33 1 - 0.0000 -
882.97/885.35 c 885 1326 35 1 - 0.0000 -
888.15/890.51 c 891 1333 31 1 - 0.0000 -
895.03/897.45 c 897 1344 32 1 - 0.0000 -
901.01/903.45 c 903 1354 34 1 - 0.0000 -
906.09/908.56 c 909 1368 31 1 - 0.0000 -
912.27/914.77 c 915 1376 31 1 - 0.0000 -
918.95/921.45 c 921 1387 30 1 - 0.0000 -
924.34/926.86 c 927 1393 30 1 - 0.0000 -
929.62/932.17 c 932 1403 30 1 - 0.0000 -
934.91/937.42 c 937 1410 29 1 - 0.0000 -
940.89/943.47 c 943 1419 30 1 - 0.0000 -
947.17/949.76 c 950 1423 0 1 - 0.0000 -
983.26/985.98 c 986 1423 0 1 - 0.0000 -
999.81/1002.57 c 1003 1424 1 1 - 0.0000 -
1005.80/1008.55 c 1009 1430 7 1 - 0.0000 -
1012.08/1014.88 c 1015 1436 13 1 - 0.0000 -
1017.96/1020.78 c 1021 1439 14 1 - 0.0000 -
1034.01/1036.82 c 1037 1445 16 1 - 0.0000 -
1039.40/1042.25 c 1042 1453 18 1 - 0.0000 -
1044.78/1047.68 c 1048 1462 19 1 - 0.0000 -
1053.06/1055.93 c 1056 1474 19 1 - 0.0000 -
1059.54/1062.44 c 1062 1483 22 1 - 0.0000 -
1069.60/1072.51 c 1073 1488 23 1 - 0.0000 -
1075.48/1078.41 c 1078 1497 22 1 - 0.0000 -
1081.07/1084.09 c 1084 1509 24 1 - 0.0000 -
1086.75/1089.74 c 1090 1524 23 1 - 0.0000 -
1092.44/1095.44 c 1095 1535 24 1 - 0.0000 -
1097.92/1100.99 c 1101 1547 22 1 - 0.0000 -
1104.00/1107.08 c 1107 1559 22 1 - 0.0000 -
1123.24/1126.34 c 1126 1563 22 1 - 0.0000 -
1129.12/1132.29 c 1132 1569 24 1 - 0.0000 -
1135.10/1138.22 c 1138 1575 24 1 - 0.0000 -
1140.49/1143.66 c 1144 1588 25 1 - 0.0000 -
1146.37/1149.52 c 1150 1600 25 1 - 0.0000 -
1152.35/1155.53 c 1156 1608 23 1 - 0.0000 -
1158.13/1161.36 c 1161 1616 27 1 - 0.0000 -
1163.41/1166.66 c 1167 1622 27 1 - 0.0000 -
1169.39/1172.62 c 1173 1632 27 1 - 0.0000 -
1174.58/1177.82 c 1178 1639 23 1 - 0.0000 -
1180.47/1183.76 c 1184 1648 24 1 - 0.0000 -
1186.65/1189.95 c 1190 1657 23 1 - 0.0000 -
1192.83/1196.15 c 1196 1668 22 1 - 0.0000 -
1198.21/1201.56 c 1202 1677 24 1 - 0.0000 -
1204.29/1207.60 c 1208 1688 23 1 - 0.0000 -
1210.47/1213.89 c 1214 1696 21 1 - 0.0000 -
1217.05/1220.49 c 1220 1702 23 1 - 0.0000 -
1223.03/1226.48 c 1226 1710 23 1 - 0.0000 -
1228.62/1232.08 c 1232 1721 26 1 - 0.0000 -
1401.80/1405.72 c 1406 1727 28 1 - 0.0000 -
1407.58/1411.57 c 1412 1736 27 1 - 0.0000 -
1412.97/1416.97 c 1417 1743 28 1 - 0.0000 -
1419.25/1423.25 c 1423 1756 25 1 - 0.0000 -
1424.34/1428.31 c 1428 1760 29 1 - 0.0000 -
1430.22/1434.29 c 1434 1771 28 1 - 0.0000 -
1436.12/1440.13 c 1440 1783 30 1 - 0.0000 -
1441.20/1445.24 c 1445 1793 30 1 - 0.0000 -
1447.38/1451.43 c 1451 1806 27 1 - 0.0000 -
1452.46/1456.57 c 1457 1812 29 1 - 0.0000 -
1458.64/1462.79 c 1463 1820 27 1 - 0.0000 -
1464.33/1468.41 c 1468 1828 29 1 - 0.0000 -
1469.81/1473.92 c 1474 1839 28 1 - 0.0000 -
1475.29/1479.44 c 1479 1847 30 1 - 0.0000 -
1481.57/1485.74 c 1486 1857 26 1 - 0.0000 -
1488.05/1492.23 c 1492 1865 26 1 - 0.0000 -
1566.02/1570.46 c 1570 1868 29 1 - 0.0000 -
1571.91/1576.32 c 1576 1875 30 1 - 0.0000 -
1578.09/1582.56 c 1583 1884 31 1 - 0.0000 -
1584.37/1588.87 c 1589 1895 28 1 - 0.0000 -
1591.16/1595.60 c 1596 1904 29 1 - 0.0000 -
1597.24/1601.75 c 1602 1911 30 1 - 0.0000 -
1602.73/1607.27 c 1607 1920 29 1 - 0.0000 -
1608.42/1612.93 c 1613 1926 29 1 - 0.0000 -
1614.80/1619.37 c 1619 1934 27 1 - 0.0000 -
1621.78/1626.35 c 1626 1942 29 1 - 0.0000 -
1627.77/1632.33 c 1632 1953 26 1 - 0.0000 -
1634.35/1638.98 c 1639 1963 28 1 - 0.0000 -
1639.84/1644.43 c 1644 1967 28 1 - 0.0000 -
1645.03/1649.60 c 1650 1974 29 1 - 0.0000 -
1650.81/1655.48 c 1655 1981 28 1 - 0.0000 -
1656.00/1660.62 c 1661 1990 27 1 - 0.0000 -
1662.38/1667.09 c 1667 1996 29 1 - 0.0000 -
1669.26/1673.92 c 1674 2003 30 1 - 0.0000 -
1675.25/1679.92 c 1680 2010 31 1 - 0.0000 -
1680.54/1685.20 c 1685 2018 29 1 - 0.0000 -
1686.12/1690.89 c 1691 2025 30 1 - 0.0000 -
1696.40/1701.16 c 1701 2027 30 1 - 0.0000 -
1701.69/1706.45 c 1706 2037 34 1 - 0.0000 -
1707.58/1712.37 c 1712 2058 35 1 - 0.0000 -
1713.57/1718.36 c 1718 2080 39 1 - 0.0000 -
1719.65/1724.41 c 1724 2101 44 1 - 0.0000 -
1725.14/1729.99 c 1730 2110 46 1 - 0.0000 -
1731.42/1736.28 c 1736 2120 46 1 - 0.0000 -
1744.99/1749.84 c 1750 2130 46 1 - 0.0000 -
1750.68/1755.55 c 1756 2144 48 1 - 0.0000 -
1756.76/1761.65 c 1762 2155 51 1 - 0.0000 -
1774.82/1779.75 c 1780 2164 54 1 - 0.0000 -
1780.01/1784.91 c 1785 2172 56 1 - 0.0000 -
1786.10/1791.09 c 1791 2182 56 1 - 0.0000 -
1791.19/1796.10 c 1796 2189 59 1 - 0.0000 -
1797.77/1802.71 c 1803 2200 64 1 - 0.0000 -
1803.26/1808.21 c 1808 2205 67 1 - 0.0000 -
1809.04/1814.08 c 1814 2210 68 1 - 0.0000 -
1816.22/1821.29 c 1821 2214 70 1 - 0.0000 -
1821.71/1826.72 c 1827 2219 71 1 - 0.0000 -
1839.27/1844.35 c 1844 2224 72 1 - 0.0000 -
1845.85/1850.98 c 1851 2235 79 1 - 0.0000 -
1850.94/1856.00 c 1856 2238 82 1 - 0.0000 -
1856.03/1861.19 c 1861 2247 82 1 - 0.0000 -
1862.61/1867.72 c 1868 2255 80 1 - 0.0000 -
1867.70/1872.88 c 1873 2263 82 1 - 0.0000 -
1911.11/1916.34 c 1916 2264 83 1 - 0.0000 -
1916.30/1921.50 c 1922 2271 82 1 - 0.0000 -
1922.28/1927.52 c 1928 2279 80 1 - 0.0000 -
1928.26/1933.51 c 1934 2283 80 1 - 0.0000 -
1934.34/1939.66 c 1940 2286 83 1 - 0.0000 -
1939.43/1944.73 c 1945 2293 82 1 - 0.0000 -
1944.82/1950.14 c 1950 2302 81 1 - 0.0000 -
1949.90/1955.22 c 1955 2309 82 1 - 0.0000 -
1954.99/1960.31 c 1960 2312 83 1 - 0.0000 -
1967.76/1973.13 c 1973 2317 88 1 - 0.0000 -
1978.93/1984.39 c 1984 2322 93 1 - 0.0000 -
1984.12/1989.52 c 1990 2325 94 1 - 0.0000 -
1989.31/1994.80 c 1995 2330 95 1 - 0.0000 -
1995.39/2000.81 c 2001 2338 97 1 - 0.0000 -
2000.68/2006.11 c 2006 2346 97 1 - 0.0000 -
2006.57/2012.07 c 2012 2354 97 1 - 0.0000 -
2011.85/2017.35 c 2017 2360 97 1 - 0.0000 -
2018.43/2023.94 c 2024 2371 96 1 - 0.0000 -
2024.72/2030.21 c 2030 2379 98 1 - 0.0000 -
2029.71/2035.25 c 2035 2384 97 1 - 0.0000 -
2036.09/2041.61 c 2042 2392 97 1 - 0.0000 -
2041.18/2046.77 c 2047 2403 98 1 - 0.0000 -
2046.87/2052.43 c 2052 2423 96 1 - 0.0000 -
2052.95/2058.53 c 2059 2433 96 1 - 0.0000 -
2058.14/2063.73 c 2064 2443 96 1 - 0.0000 -
2064.03/2069.65 c 2070 2450 97 1 - 0.0000 -
2070.11/2075.78 c 2076 2462 97 1 - 0.0000 -
2076.20/2081.82 c 2082 2474 99 1 - 0.0000 -
2081.68/2087.31 c 2087 2479 98 1 - 0.0000 -
2087.57/2093.25 c 2093 2485 96 1 - 0.0000 -
2093.56/2099.26 c 2099 2494 97 1 - 0.0000 -
2099.74/2105.41 c 2105 2511 96 1 - 0.0000 -
2105.53/2111.27 c 2111 2522 99 1 - 0.0000 -
2110.81/2116.50 c 2116 2530 97 1 - 0.0000 -
2115.80/2121.57 c 2122 2536 97 1 - 0.0000 -
2122.09/2127.87 c 2128 2548 95 1 - 0.0000 -
2128.17/2133.96 c 2134 2554 95 1 - 0.0000 -
2133.37/2139.10 c 2139 2566 97 1 - 0.0000 -
2139.84/2145.67 c 2146 2577 96 1 - 0.0000 -
2147.23/2153.03 c 2153 2585 96 1 - 0.0000 -
2152.91/2158.77 c 2159 2592 95 1 - 0.0000 -
2160.79/2166.60 c 2167 2600 97 1 - 0.0000 -
2167.58/2173.43 c 2173 2603 96 1 - 0.0000 -
2172.96/2178.81 c 2179 2607 96 1 - 0.0000 -
2181.04/2186.93 c 2187 2611 98 1 - 0.0000 -
2186.92/2192.87 c 2193 2616 99 1 - 0.0000 -
2194.90/2200.89 c 2201 2622 99 1 - 0.0000 -
2200.39/2206.36 c 2206 2629 100 1 - 0.0000 -
2207.57/2213.57 c 2214 2638 103 1 - 0.0000 -
2213.35/2219.32 c 2219 2653 102 1 - 0.0000 -
2219.93/2225.95 c 2226 2675 104 1 - 0.0000 -
2226.11/2232.12 c 2232 2682 101 1 - 0.0000 -
2231.49/2237.53 c 2238 2687 102 1 - 0.0000 -
2238.37/2244.49 c 2244 2693 104 1 - 0.0000 -
2243.65/2249.75 c 2250 2700 103 1 - 0.0000 -
2249.14/2255.20 c 2255 2706 103 1 - 0.0000 -
2254.72/2260.87 c 2261 2712 105 1 - 0.0000 -
2261.69/2267.80 c 2268 2714 105 1 - 0.0000 -
2266.68/2272.86 c 2273 2717 106 1 - 0.0000 -
2272.66/2278.85 c 2279 2725 108 1 - 0.0000 -
2277.74/2283.92 c 2284 2731 110 1 - 0.0000 -
2284.02/2290.23 c 2290 2743 110 1 - 0.0000 -
2290.11/2296.38 c 2296 2755 108 1 - 0.0000 -
2295.40/2301.68 c 2302 2759 108 1 - 0.0000 -
2301.67/2307.98 c 2308 2767 108 1 - 0.0000 -
2306.86/2313.12 c 2313 2775 110 1 - 0.0000 -
2312.34/2318.68 c 2319 2786 109 1 - 0.0000 -
2318.52/2324.86 c 2325 2794 111 1 - 0.0000 -
2325.20/2331.59 c 2332 2803 110 1 - 0.0000 -
2330.28/2336.64 c 2337 2811 112 1 - 0.0000 -
2336.37/2342.72 c 2343 2819 112 1 - 0.0000 -
2341.85/2348.28 c 2348 2825 114 1 - 0.0000 -
2347.43/2353.80 c 2354 2834 112 1 - 0.0000 -
2353.31/2359.76 c 2360 2843 111 1 - 0.0000 -
2359.30/2365.75 c 2366 2854 110 1 - 0.0000 -
2365.48/2371.98 c 2372 2862 110 1 - 0.0000 -
2372.16/2378.60 c 2379 2870 108 1 - 0.0000 -
2377.74/2384.22 c 2384 2875 107 1 - 0.0000 -
2383.32/2389.85 c 2390 2884 108 1 - 0.0000 -
2389.40/2395.95 c 2396 2893 107 1 - 0.0000 -
2394.89/2401.40 c 2401 2898 108 1 - 0.0000 -
2400.87/2407.43 c 2407 2907 107 1 - 0.0000 -
2406.15/2412.75 c 2413 2914 106 1 - 0.0000 -
2411.44/2418.09 c 2418 2922 106 1 - 0.0000 -
2416.72/2423.31 c 2423 2929 105 1 - 0.0000 -
2423.00/2429.66 c 2430 2938 104 1 - 0.0000 -
2428.79/2435.44 c 2435 2947 105 1 - 0.0000 -
2436.16/2442.86 c 2443 2953 105 1 - 0.0000 -
2443.45/2450.17 c 2450 2958 106 1 - 0.0000 -
2449.92/2456.61 c 2457 2972 106 1 - 0.0000 -
2456.80/2463.54 c 2464 2979 107 1 - 0.0000 -
2462.68/2469.47 c 2469 2984 108 1 - 0.0000 -
2467.77/2474.54 c 2475 2991 109 1 - 0.0000 -
2475.14/2481.92 c 2482 2998 108 1 - 0.0000 -
2482.82/2489.65 c 2490 3004 106 1 - 0.0000 -
2487.90/2494.74 c 2495 3011 109 1 - 0.0000 -
2493.69/2500.55 c 2501 3016 106 1 - 0.0000 -
2499.18/2506.03 c 2506 3017 107 1 - 0.0000 -
2505.46/2512.39 c 2512 3022 112 1 - 0.0000 -
2512.44/2519.35 c 2519 3024 114 1 - 0.0000 -
2520.61/2527.52 c 2528 3030 120 1 - 0.0000 -
2531.98/2538.91 c 2539 3032 122 1 - 0.0000 -
2538.56/2545.56 c 2546 3036 126 1 - 0.0000 -
2543.84/2550.89 c 2551 3042 130 1 - 0.0000 -
2551.62/2558.67 c 2559 3050 133 1 - 0.0000 -
2557.89/2564.95 c 2565 3055 138 1 - 0.0000 -
2566.57/2573.62 c 2574 3058 141 1 - 0.0000 -
2573.85/2580.99 c 2581 3062 145 1 - 0.0000 -
2581.93/2589.00 c 2589 3065 146 1 - 0.0000 -
2598.18/2605.36 c 2605 3067 148 1 - 0.0000 -
2606.86/2614.09 c 2614 3073 152 1 - 0.0000 -
2613.13/2620.34 c 2620 3079 156 1 - 0.0000 -
2619.12/2626.31 c 2626 3086 157 1 - 0.0000 -
2624.30/2631.58 c 2632 3097 156 1 - 0.0000 -
2630.18/2637.47 c 2637 3102 157 1 - 0.0000 -
2636.86/2644.15 c 2644 3107 162 1 - 0.0000 -
2643.34/2650.65 c 2651 3111 164 1 - 0.0000 -
2650.12/2657.44 c 2657 3118 165 1 - 0.0000 -
2655.11/2662.46 c 2662 3125 164 1 - 0.0000 -
2661.49/2668.85 c 2669 3133 166 1 - 0.0000 -
2666.97/2674.37 c 2674 3137 170 1 - 0.0000 -
2673.85/2681.27 c 2681 3138 171 1 - 0.0000 -
2679.14/2686.57 c 2687 3147 170 1 - 0.0000 -
2686.31/2693.72 c 2694 3156 169 1 - 0.0000 -
2691.50/2698.96 c 2699 3162 171 1 - 0.0000 -
2697.58/2705.00 c 2705 3171 170 1 - 0.0000 -
2702.76/2710.24 c 2710 3181 172 1 - 0.0000 -
2708.85/2716.30 c 2716 3196 171 1 - 0.0000 -
2715.03/2722.50 c 2722 3204 169 1 - 0.0000 -
2720.72/2728.23 c 2728 3211 170 1 - 0.0000 -
2726.11/2733.60 c 2734 3219 170 1 - 0.0000 -
2732.69/2740.24 c 2740 3228 171 1 - 0.0000 -
2739.07/2746.69 c 2747 3237 170 1 - 0.0000 -
2746.06/2753.65 c 2754 3244 169 1 - 0.0000 -
2751.35/2758.96 c 2759 3249 170 1 - 0.0000 -
2757.44/2765.04 c 2765 3259 170 1 - 0.0000 -
2762.53/2770.18 c 2770 3265 170 1 - 0.0000 -
2767.91/2775.55 c 2776 3274 171 1 - 0.0000 -
2774.89/2782.53 c 2783 3284 167 1 - 0.0000 -
2783.57/2791.22 c 2791 3294 167 1 - 0.0000 -
2788.96/2796.70 c 2797 3299 168 1 - 0.0000 -
2794.84/2802.50 c 2802 3305 172 1 - 0.0000 -
2802.13/2809.82 c 2810 3308 175 1 - 0.0000 -
2807.71/2815.45 c 2815 3312 177 1 - 0.0000 -
2813.90/2821.63 c 2822 3315 180 1 - 0.0000 -
2819.88/2827.69 c 2828 3320 179 1 - 0.0000 -
2826.07/2833.80 c 2834 3325 182 1 - 0.0000 -
2831.86/2839.67 c 2840 3331 182 1 - 0.0000 -
2837.84/2845.60 c 2846 3336 183 1 - 0.0000 -
2843.13/2850.94 c 2851 3349 182 1 - 0.0000 -
2848.61/2856.45 c 2856 3359 182 1 - 0.0000 -
2853.90/2861.76 c 2862 3365 182 1 - 0.0000 -
2859.89/2867.71 c 2868 3373 182 1 - 0.0000 -
2865.18/2873.06 c 2873 3385 184 1 - 0.0000 -
2870.76/2878.62 c 2879 3398 183 1 - 0.0000 -
2876.05/2883.93 c 2884 3404 181 1 - 0.0000 -
2882.14/2890.03 c 2890 3412 181 1 - 0.0000 -
2887.72/2895.65 c 2896 3420 181 1 - 0.0000 -
2893.61/2901.52 c 2902 3428 181 1 - 0.0000 -
2898.89/2906.80 c 2907 3437 182 1 - 0.0000 -
2905.58/2913.51 c 2914 3445 182 1 - 0.0000 -
2912.86/2920.84 c 2921 3449 182 1 - 0.0000 -
2919.35/2927.30 c 2927 3454 187 1 - 0.0000 -
2924.84/2932.89 c 2933 3456 187 1 - 0.0000 -
2931.32/2939.33 c 2939 3459 188 1 - 0.0000 -
2937.51/2945.59 c 2946 3465 188 1 - 0.0000 -
2942.90/2950.96 c 2951 3468 191 1 - 0.0000 -
2947.99/2956.02 c 2956 3479 190 1 - 0.0000 -
2953.17/2961.20 c 2961 3483 190 1 - 0.0000 -
2958.36/2966.48 c 2966 3488 191 1 - 0.0000 -
2964.14/2972.23 c 2972 3503 192 1 - 0.0000 -
2969.13/2977.24 c 2977 3510 191 1 - 0.0000 -
2975.42/2983.51 c 2984 3521 190 1 - 0.0000 -
2981.50/2989.62 c 2990 3529 190 1 - 0.0000 -
2991.28/2999.46 c 2999 3533 190 1 - 0.0000 -
2997.36/3005.56 c 3006 3540 191 1 - 0.0000 -
3002.95/3011.11 c 3011 3548 193 1 - 0.0000 -
3008.04/3016.26 c 3016 3555 192 1 - 0.0000 -
3014.72/3022.95 c 3023 3557 190 1 - 0.0000 -
3019.81/3028.05 c 3028 3567 188 1 - 0.0000 -
3025.99/3034.20 c 3034 3578 187 1 - 0.0000 -
3031.48/3039.75 c 3040 3580 189 1 - 0.0000 -
3036.78/3045.01 c 3045 3584 193 1 - 0.0000 -
3042.76/3051.05 c 3051 3586 195 1 - 0.0000 -
3048.45/3056.74 c 3057 3599 198 1 - 0.0000 -
3054.73/3063.06 c 3063 3605 200 1 - 0.0000 -
3060.52/3068.85 c 3069 3612 199 1 - 0.0000 -
3066.30/3074.64 c 3075 3617 202 1 - 0.0000 -
3072.18/3080.54 c 3081 3626 201 1 - 0.0000 -
3077.47/3085.82 c 3086 3630 203 1 - 0.0000 -
3082.76/3091.16 c 3091 3635 204 1 - 0.0000 -
3092.64/3101.05 c 3101 3642 209 1 - 0.0000 -
3098.52/3106.91 c 3107 3647 210 1 - 0.0000 -
3104.91/3113.37 c 3113 3655 210 1 - 0.0000 -
3112.29/3120.74 c 3121 3663 210 1 - 0.0000 -
3118.07/3126.51 c 3127 3672 211 1 - 0.0000 -
3123.06/3131.52 c 3132 3679 210 1 - 0.0000 -
3129.35/3137.89 c 3138 3685 210 1 - 0.0000 -
3136.13/3144.67 c 3145 3691 210 1 - 0.0000 -
3142.22/3150.78 c 3151 3698 211 1 - 0.0000 -
3149.00/3157.54 c 3158 3710 211 1 - 0.0000 -
3154.98/3163.53 c 3164 3716 213 1 - 0.0000 -
3160.38/3168.94 c 3169 3726 211 1 - 0.0000 -
3166.26/3174.85 c 3175 3731 209 1 - 0.0000 -
3171.25/3179.87 c 3180 3738 210 1 - 0.0000 -
3177.34/3185.90 c 3186 3745 209 1 - 0.0000 -
3182.82/3191.49 c 3191 3758 208 1 - 0.0000 -
3189.01/3197.68 c 3198 3765 209 1 - 0.0000 -
3195.29/3203.97 c 3204 3775 211 1 - 0.0000 -
3200.68/3209.33 c 3209 3787 209 1 - 0.0000 -
3206.47/3215.15 c 3215 3798 208 1 - 0.0000 -
3212.15/3220.82 c 3221 3809 209 1 - 0.0000 -
3217.83/3226.55 c 3227 3813 207 1 - 0.0000 -
3224.42/3233.14 c 3233 3818 210 1 - 0.0000 -
3229.90/3238.69 c 3239 3821 213 1 - 0.0000 -
3235.09/3243.80 c 3244 3830 214 1 - 0.0000 -
3241.48/3250.20 c 3250 3841 213 1 - 0.0000 -
3247.27/3256.07 c 3256 3847 215 1 - 0.0000 -
3253.05/3261.81 c 3262 3851 215 1 - 0.0000 -
3258.04/3266.88 c 3267 3858 214 1 - 0.0000 -
3264.03/3272.86 c 3273 3870 214 1 - 0.0000 -
3271.11/3279.98 c 3280 3878 212 1 - 0.0000 -
3276.20/3285.01 c 3285 3882 212 1 - 0.0000 -
3282.08/3290.95 c 3291 3888 212 1 - 0.0000 -
3287.18/3296.04 c 3296 3895 211 1 - 0.0000 -
3292.27/3301.14 c 3301 3902 210 1 - 0.0000 -
3297.75/3306.67 c 3307 3910 210 1 - 0.0000 -
3303.14/3312.04 c 3312 3922 214 1 - 0.0000 -
3309.23/3318.16 c 3318 3932 210 1 - 0.0000 -
3315.31/3324.29 c 3324 3945 209 1 - 0.0000 -
3320.49/3329.45 c 3329 3950 210 1 - 0.0000 -
3326.78/3335.76 c 3336 3959 211 1 - 0.0000 -
3332.07/3341.04 c 3341 3965 211 1 - 0.0000 -
3337.85/3346.83 c 3347 3974 212 1 - 0.0000 -
3343.44/3352.41 c 3352 3979 211 1 - 0.0000 -
3349.22/3358.29 c 3358 3987 211 1 - 0.0000 -
3354.31/3363.38 c 3363 3998 212 1 - 0.0000 -
3359.60/3368.62 c 3369 4011 211 1 - 0.0000 -
3365.48/3374.57 c 3375 4020 209 1 - 0.0000 -
3370.87/3379.99 c 3380 4025 212 1 - 0.0000 -
3375.96/3385.07 c 3385 4031 214 1 - 0.0000 -
3381.74/3390.86 c 3391 4042 213 1 - 0.0000 -
3387.83/3396.90 c 3397 4052 213 1 - 0.0000 -
3393.52/3402.65 c 3403 4061 214 1 - 0.0000 -
3399.60/3408.70 c 3409 4069 212 1 - 0.0000 -
3406.09/3415.22 c 3415 4073 212 1 - 0.0000 -
3411.27/3420.49 c 3420 4080 213 1 - 0.0000 -
3416.46/3425.69 c 3426 4088 213 1 - 0.0000 -
3421.86/3431.01 c 3431 4096 213 1 - 0.0000 -
3427.24/3436.44 c 3436 4101 212 1 - 0.0000 -
3432.43/3441.64 c 3442 4106 213 1 - 0.0000 -
3438.22/3447.48 c 3447 4114 213 1 - 0.0000 -
3443.70/3452.95 c 3453 4122 213 1 - 0.0000 -
3449.19/3458.47 c 3458 4130 213 1 - 0.0000 -
3455.38/3464.66 c 3465 4138 213 1 - 0.0000 -
3460.96/3470.26 c 3470 4146 213 1 - 0.0000 -
3466.25/3475.58 c 3476 4155 212 1 - 0.0000 -
3472.84/3482.11 c 3482 4159 212 1 - 0.0000 -
3479.52/3488.82 c 3489 4165 212 1 - 0.0000 -
3485.61/3494.92 c 3495 4172 213 1 - 0.0000 -
3492.69/3502.06 c 3502 4183 212 1 - 0.0000 -
3498.97/3508.30 c 3508 4189 212 1 - 0.0000 -
3504.06/3513.45 c 3513 4192 211 1 - 0.0000 -
3510.25/3519.68 c 3520 4199 210 1 - 0.0000 -
3516.53/3525.97 c 3526 4209 208 1 - 0.0000 -
3522.81/3532.21 c 3532 4213 208 1 - 0.0000 -
3529.39/3538.86 c 3539 4219 208 1 - 0.0000 -
3534.77/3544.28 c 3544 4225 210 1 - 0.0000 -
3540.05/3549.54 c 3550 4235 210 1 - 0.0000 -
3545.24/3554.76 c 3555 4241 210 1 - 0.0000 -
3551.62/3561.15 c 3561 4249 210 1 - 0.0000 -
3557.30/3566.84 c 3567 4258 211 1 - 0.0000 -
3562.59/3572.17 c 3572 4266 209 1 - 0.0000 -
3567.67/3577.25 c 3577 4274 209 1 - 0.0000 -
3573.75/3583.34 c 3583 4281 210 1 - 0.0000 -
3579.73/3589.33 c 3589 4290 209 1 - 0.0000 -
3587.61/3597.25 c 3597 4296 211 1 - 0.0000 -
3590.40/3600.05 c SCIP Status : c solving was interrupted [hard time limit reached]
3590.40/3600.05 c Total Time : 3600.0500
3590.40/3600.05 c solving : 3600.0500
3590.40/3600.05 c presolving : 5.4538 (included in solving)
3590.40/3600.05 c B&B Tree :
3590.40/3600.05 c nodes (total) : 1
3590.40/3600.05 c Solution :
3590.40/3600.05 c Solutions found : 0
3590.40/3600.05 c Primal Bound : -
3590.40/3600.05 c Dual Bound : +0.00000000000000e+00
3590.40/3600.05 c Gap : -
3590.40/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 (61663 MiB free)
memory of node 1: 64510 MiB (61040 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4447040-1721345778/watcher-4447040-1721345778 -o /tmp/evaluation-result-4447040-1721345778/solver-4447040-1721345778 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC029-1721342191-1000737 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4447040-1721345778.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=1002835, runsolver pid=1002829
Current StackSize limit: 8192 KiB
[startup+0.100058 s]*
/proc/loadavg: 4.15 4.12 4.09 5/255 1002842
/proc/meminfo: memFree=125552496/131524600 swapFree=131071996/131071996
[pid=1002835] ppid=1002829 vsize=56328 memory=45252 CPUtime=0.09 cores=1,3
/proc/1002835/stat : 1002835 (fscip) R 1002829 1002835 1000725 0 -1 4194304 9749 0 0 0 8 1 0 0 20 0 1 0 186745263 57679872 11313 134679101440 4194304 16613245 140735025469216 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 47845376 140735025476627 140735025476743 140735025476743 140735025483760 0
/proc/1002835/statm: 14082 11313 2638 3032 0 10482 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 56328 KiB
Current children cumulated memory: 45252 KiB
[startup+0.205154 s]*
/proc/loadavg: 4.15 4.12 4.09 5/255 1002842
/proc/meminfo: memFree=125514124/131524600 swapFree=131071996/131071996
[pid=1002835] ppid=1002829 vsize=69960 memory=56796 CPUtime=0.2 cores=1,3
/proc/1002835/stat : 1002835 (fscip) R 1002829 1002835 1000725 0 -1 4194304 13149 0 0 0 18 2 0 0 20 0 1 0 186745263 71639040 14199 134679101440 4194304 16613245 140735025469216 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 47845376 140735025476627 140735025476743 140735025476743 140735025483760 0
/proc/1002835/statm: 17490 14199 2718 3032 0 13890 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 69960 KiB
Current children cumulated memory: 56796 KiB
[startup+0.30566 s]*
/proc/loadavg: 4.15 4.12 4.09 5/255 1002842
/proc/meminfo: memFree=125470288/131524600 swapFree=131071996/131071996
[pid=1002835] ppid=1002829 vsize=79308 memory=66044 CPUtime=0.3 cores=1,3
/proc/1002835/stat : 1002835 (fscip) R 1002829 1002835 1000725 0 -1 4194304 15470 0 0 0 28 2 0 0 20 0 1 0 186745263 81211392 16511 134679101440 4194304 16613245 140735025469216 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 47845376 140735025476627 140735025476743 140735025476743 140735025483760 0
/proc/1002835/statm: 19827 16511 2734 3032 0 16227 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 79308 KiB
Current children cumulated memory: 66044 KiB
[startup+0.700238 s]
/proc/loadavg: 4.15 4.12 4.09 5/255 1002842
/proc/meminfo: memFree=125467424/131524600 swapFree=131071996/131071996
[pid=1002835] ppid=1002829 vsize=80516 memory=67100 CPUtime=0.69 cores=1,3
/proc/1002835/stat : 1002835 (fscip) R 1002829 1002835 1000725 0 -1 4194304 15767 0 0 0 67 2 0 0 20 0 1 0 186745263 82448384 16775 134679101440 4194304 16613245 140735025469216 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 47845376 140735025476627 140735025476743 140735025476743 140735025483760 0
/proc/1002835/statm: 20129 16775 2734 3032 0 16529 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 80516 KiB
Current children cumulated memory: 67100 KiB
[startup+1.50024 s]
/proc/loadavg: 4.14 4.12 4.09 5/255 1002842
/proc/meminfo: memFree=125467420/131524600 swapFree=131071996/131071996
[pid=1002835] ppid=1002829 vsize=80516 memory=67628 CPUtime=1.48 cores=1,3
/proc/1002835/stat : 1002835 (fscip) R 1002829 1002835 1000725 0 -1 4194304 15894 0 0 0 146 2 0 0 20 0 1 0 186745263 82448384 16907 134679101440 4194304 16613245 140735025469216 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 47845376 140735025476627 140735025476743 140735025476743 140735025483760 0
/proc/1002835/statm: 20129 16907 2734 3032 0 16529 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 80516 KiB
Current children cumulated memory: 67628 KiB
[startup+3.10554 s]
/proc/loadavg: 4.14 4.12 4.09 5/255 1002844
/proc/meminfo: memFree=125464796/131524600 swapFree=131071996/131071996
[pid=1002835] ppid=1002829 vsize=80516 memory=67628 CPUtime=3.08 cores=1,3
/proc/1002835/stat : 1002835 (fscip) R 1002829 1002835 1000725 0 -1 4194304 15899 0 0 0 306 2 0 0 20 0 1 0 186745263 82448384 16907 134679101440 4194304 16613245 140735025469216 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 47845376 140735025476627 140735025476743 140735025476743 140735025483760 0
/proc/1002835/statm: 20129 16907 2734 3032 0 16529 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 80516 KiB
Current children cumulated memory: 67628 KiB
[startup+6.3009 s]
/proc/loadavg: 4.12 4.12 4.09 5/259 1002848
/proc/meminfo: memFree=125305736/131524600 swapFree=131071996/131071996
[pid=1002835] ppid=1002829 vsize=216696 memory=148120 CPUtime=6.26 cores=1,3
/proc/1002835/stat : 1002835 (fscip) S 1002829 1002835 1000725 0 -1 1077936128 35485 0 0 0 621 5 0 0 20 0 3 0 186745263 221896704 37030 134679101440 4194304 16613245 140735025469216 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 47845376 140735025476627 140735025476743 140735025476743 140735025483760 0
/proc/1002835/statm: 54174 37030 2782 3032 0 44638 0
[pid=1002835/tid=1002847] ppid=1002829 vsize=216696 memory=2320817499432562737 CPUtime=0.78 cores=1,3
/proc/1002835/task/1002847/stat : 1002847 (fscip) R 1002829 1002835 1000725 0 -1 4194368 10050 0 0 0 77 1 0 0 20 0 3 0 186745812 221896704 37030 134679101440 4194304 16613245 140735025469216 0 0 0 0 0 2 0 0 0 -1 3 0 0 0 0 0 18822208 18930672 47845376 140735025476627 140735025476743 140735025476743 140735025483760 0
[pid=1002835/tid=1002848] ppid=1002829 vsize=216696 memory=0 CPUtime=0 cores=1,3
/proc/1002835/task/1002848/stat : 1002848 (fscip) S 1002829 1002835 1000725 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 186745814 221896704 37030 134679101440 4194304 16613245 140735025469216 0 0 0 0 0 2 1 0 0 -1 1 0 0 0 0 0 18822208 18930672 47845376 140735025476627 140735025476743 140735025476743 140735025483760 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 216696 KiB
Current children cumulated memory: 148120 KiB
[startup+12.7002 s]
/proc/loadavg: 4.11 4.11 4.09 5/263 1002852
/proc/meminfo: memFree=125062560/131524600 swapFree=131071996/131071996
[pid=1002835] ppid=1002829 vsize=216836 memory=167664 CPUtime=12.63 cores=1,3
/proc/1002835/stat : 1002835 (fscip) S 1002829 1002835 1000725 0 -1 1077936128 55264 0 0 0 1257 6 0 0 20 0 3 0 186745263 222040064 41916 134679101440 4194304 16613245 140735025469216 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 47845376 140735025476627 140735025476743 140735025476743 140735025483760 0
/proc/1002835/statm: 54209 41916 2926 3032 0 49874 0
[pid=1002835/tid=1002847] ppid=1002829 vsize=216836 memory=11588 CPUtime=7.15 cores=1,3
/proc/1002835/task/1002847/stat : 1002847 (fscip) R 1002829 1002835 1000725 0 -1 4194368 29811 0 0 0 712 3 0 0 20 0 3 0 186745812 222040064 41916 134679101440 4194304 16613245 140735025469216 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 47845376 140735025476627 140735025476743 140735025476743 140735025483760 0
[pid=1002835/tid=1002848] ppid=1002829 vsize=216836 memory=44076 CPUtime=0 cores=1,3
/proc/1002835/task/1002848/stat : 1002848 (fscip) S 1002829 1002835 1000725 0 -1 1077936192 18 0 0 0 0 0 0 0 20 0 3 0 186745814 222040064 41916 134679101440 4194304 16613245 140735025469216 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 47845376 140735025476627 140735025476743 140735025476743 140735025483760 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 216836 KiB
Current children cumulated memory: 167664 KiB
[startup+25.5002 s]
/proc/loadavg: 4.10 4.11 4.09 5/263 1002855
/proc/meminfo: memFree=125055524/131524600 swapFree=131071996/131071996
[pid=1002835] ppid=1002829 vsize=218440 memory=169116 CPUtime=25.41 cores=1,3
/proc/1002835/stat : 1002835 (fscip) S 1002829 1002835 1000725 0 -1 1077936128 65326 0 0 0 2534 7 0 0 20 0 3 0 186745263 223682560 42279 134679101440 4194304 16613245 140735025469216 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 47845376 140735025476627 140735025476743 140735025476743 140735025483760 0
/proc/1002835/statm: 54610 42279 2926 3032 0 50348 0
[pid=1002835/tid=1002847] ppid=1002829 vsize=218440 memory=11588 CPUtime=19.92 cores=1,3
/proc/1002835/task/1002847/stat : 1002847 (fscip) R 1002829 1002835 1000725 0 -1 4194368 39855 0 0 0 1989 3 0 0 20 0 3 0 186745812 223682560 42279 134679101440 4194304 16613245 140735025469216 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 47845376 140735025476627 140735025476743 140735025476743 140735025483760 0
[pid=1002835/tid=1002848] ppid=1002829 vsize=218440 memory=0 CPUtime=0 cores=1,3
/proc/1002835/task/1002848/stat : 1002848 (fscip) S 1002829 1002835 1000725 0 -1 1077936192 36 0 0 0 0 0 0 0 20 0 3 0 186745814 223682560 42279 134679101440 4194304 16613245 140735025469216 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 47845376 140735025476627 140735025476743 140735025476743 140735025483760 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 218440 KiB
Current children cumulated memory: 169116 KiB
[startup+51.1056 s]
/proc/loadavg: 4.14 4.12 4.09 5/263 1002858
/proc/meminfo: memFree=124696628/131524600 swapFree=131071996/131071996
[pid=1002835] ppid=1002829 vsize=287896 memory=232936 CPUtime=50.94 cores=1,3
/proc/1002835/stat : 1002835 (fscip) S 1002829 1002835 1000725 0 -1 1077936128 105555 0 0 0 5082 12 0 0 20 0 3 0 186745263 294805504 58234 134679101440 4194304 16613245 140735025469216 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 47845376 140735025476627 140735025476743 140735025476743 140735025483760 0
/proc/1002835/statm: 71974 58234 2942 3032 0 68329 0
[pid=1002835/tid=1002847] ppid=1002829 vsize=287896 memory=232476 CPUtime=45.47 cores=1,3
/proc/1002835/task/1002847/stat : 1002847 (fscip) R 1002829 1002835 1000725 0 -1 4194368 80072 0 0 0 4538 9 0 0 20 0 3 0 186745812 294805504 58234 134679101440 4194304 16613245 140735025469216 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 47845376 140735025476627 140735025476743 140735025476743 140735025483760 0
[pid=1002835/tid=1002848] ppid=1002829 vsize=287896 memory=11588 CPUtime=0 cores=1,3
/proc/1002835/task/1002848/stat : 1002848 (fscip) S 1002829 1002835 1000725 0 -1 1077936192 48 0 0 0 0 0 0 0 20 0 3 0 186745814 294805504 58234 134679101440 4194304 16613245 140735025469216 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 47845376 140735025476627 140735025476743 140735025476743 140735025483760 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 287896 KiB
Current children cumulated memory: 232936 KiB
[startup+102.3 s]
/proc/loadavg: 4.13 4.11 4.09 5/263 1002867
/proc/meminfo: memFree=124687824/131524600 swapFree=131071996/131071996
[pid=1002835] ppid=1002829 vsize=287896 memory=235444 CPUtime=102.01 cores=1,3
/proc/1002835/stat : 1002835 (fscip) S 1002829 1002835 1000725 0 -1 1077936128 152372 0 0 0 10187 14 0 0 20 0 3 0 186745263 294805504 58861 134679101440 4194304 16613245 140735025469216 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 47845376 140735025476627 140735025476743 140735025476743 140735025483760 0
/proc/1002835/statm: 71974 58861 2942 3032 0 68329 0
[pid=1002835/tid=1002847] ppid=1002829 vsize=287896 memory=235396 CPUtime=96.53 cores=1,3
/proc/1002835/task/1002847/stat : 1002847 (fscip) R 1002829 1002835 1000725 0 -1 4194368 126875 0 0 0 9642 11 0 0 20 0 3 0 186745812 294805504 58861 134679101440 4194304 16613245 140735025469216 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 47845376 140735025476627 140735025476743 140735025476743 140735025483760 0
[pid=1002835/tid=1002848] ppid=1002829 vsize=287896 memory=235396 CPUtime=0 cores=1,3
/proc/1002835/task/1002848/stat : 1002848 (fscip) S 1002829 1002835 1000725 0 -1 1077936192 62 0 0 0 0 0 0 0 20 0 3 0 186745814 294805504 58861 134679101440 4194304 16613245 140735025469216 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 47845376 140735025476627 140735025476743 140735025476743 140735025483760 0
Current children cumulated CPU time: 102.01 s
Current children cumulated vsize: 287896 KiB
Current children cumulated memory: 235444 KiB
[startup+162.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/263 1002877
/proc/meminfo: memFree=124683316/131524600 swapFree=131071996/131071996
[pid=1002835] ppid=1002829 vsize=287896 memory=235972 CPUtime=161.87 cores=1,3
/proc/1002835/stat : 1002835 (fscip) S 1002829 1002835 1000725 0 -1 1077936128 198517 0 0 0 16168 19 0 0 20 0 3 0 186745263 294805504 58993 134679101440 4194304 16613245 140735025469216 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 47845376 140735025476627 140735025476743 140735025476743 140735025483760 0
/proc/1002835/statm: 71974 58993 2990 3032 0 68329 0
[pid=1002835/tid=1002847] ppid=1002829 vsize=287896 memory=44076 CPUtime=156.38 cores=1,3
/proc/1002835/task/1002847/stat : 1002847 (fscip) R 1002829 1002835 1000725 0 -1 4194368 172937 0 0 0 15623 15 0 0 20 0 3 0 186745812 294805504 58993 134679101440 4194304 16613245 140735025469216 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 47845376 140735025476627 140735025476743 140735025476743 140735025483760 0
[pid=1002835/tid=1002848] ppid=1002829 vsize=287896 memory=235972 CPUtime=0 cores=1,3
/proc/1002835/task/1002848/stat : 1002848 (fscip) S 1002829 1002835 1000725 0 -1 1077936192 70 0 0 0 0 0 0 0 20 0 3 0 186745814 294805504 58993 134679101440 4194304 16613245 140735025469216 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 47845376 140735025476627 140735025476743 140735025476743 140735025483760 0
Current children cumulated CPU time: 161.87 s
Current children cumulated vsize: 287896 KiB
Current children cumulated memory: 235972 KiB
[startup+222.3 s]
/proc/loadavg: 4.08 4.10 4.09 5/265 1002891
/proc/meminfo: memFree=124672412/131524600 swapFree=131071996/131071996
[pid=1002835] ppid=1002829 vsize=287896 memory=238476 CPUtime=221.72 cores=1,3
/proc/1002835/stat : 1002835 (fscip) S 1002829 1002835 1000725 0 -1 1077936128 223963 0 0 0 22150 22 0 0 20 0 3 0 186745263 294805504 59619 134679101440 4194304 16613245 140735025469216 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 47845376 140735025476627 140735025476743 140735025476743 140735025483760 0
/proc/1002835/statm: 71974 59619 3310 3032 0 68329 0
[pid=1002835/tid=1002847] ppid=1002829 vsize=287896 memory=238476 CPUtime=216.23 cores=1,3
/proc/1002835/task/1002847/stat : 1002847 (fscip) R 1002829 1002835 1000725 0 -1 4194368 198354 0 0 0 21605 18 0 0 20 0 3 0 186745812 294805504 59619 134679101440 4194304 16613245 140735025469216 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 47845376 140735025476627 140735025476743 140735025476743 140735025483760 0
[pid=1002835/tid=1002848] ppid=1002829 vsize=287896 memory=238476 CPUtime=0 cores=1,3
/proc/1002835/task/1002848/stat : 1002848 (fscip) S 1002829 1002835 1000725 0 -1 1077936192 76 0 0 0 0 0 0 0 20 0 3 0 186745814 294805504 59619 134679101440 4194304 16613245 140735025469216 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 47845376 140735025476627 140735025476743 140735025476743 140735025483760 0
Current children cumulated CPU time: 221.72 s
Current children cumulated vsize: 287896 KiB
Current children cumulated memory: 238476 KiB
[startup+282.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/265 1002903
/proc/meminfo: memFree=124651564/131524600 swapFree=131071996/131071996
[pid=1002835] ppid=1002829 vsize=287896 memory=241400 CPUtime=281.59 cores=1,3
/proc/1002835/stat : 1002835 (fscip) S 1002829 1002835 1000725 0 -1 1077936128 254803 0 0 0 28134 25 0 0 20 0 3 0 186745263 294805504 60350 134679101440 4194304 16613245 140735025469216 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 47845376 140735025476627 140735025476743 140735025476743 140735025483760 0
/proc/1002835/statm: 71974 60350 3310 3032 0 68329 0
[pid=1002835/tid=1002847] ppid=1002829 vsize=287896 memory=-6808738698319072618 CPUtime=276.1 cores=1,3
/proc/1002835/task/1002847/stat : 1002847 (fscip) R 1002829 1002835 1000725 0 -1 4194368 229147 0 0 0 27589 21 0 0 20 0 3 0 186745812 294805504 60350 134679101440 4194304 16613245 140735025469216 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 47845376 140735025476627 140735025476743 140735025476743 140735025483760 0
################
# More data... #
################
/proc/1002835/statm: 104363 88869 3310 3032 0 91377 0
[pid=1002835/tid=1002847] ppid=1002829 vsize=417452 memory=355476 CPUtime=3387.6 cores=1,3
/proc/1002835/task/1002847/stat : 1002847 (fscip) R 1002829 1002835 1000725 0 -1 4194368 494459 0 0 0 338706 54 0 0 20 0 3 0 186745812 427470848 88869 134679101440 4194304 16613245 140735025469216 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 47845376 140735025476627 140735025476743 140735025476743 140735025483760 0
[pid=1002835/tid=1002848] ppid=1002829 vsize=417452 memory=11588 CPUtime=0.03 cores=1,3
/proc/1002835/task/1002848/stat : 1002848 (fscip) S 1002829 1002835 1000725 0 -1 1077936192 275 0 0 0 1 2 0 0 20 0 3 0 186745814 427470848 88869 134679101440 4194304 16613245 140735025469216 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 47845376 140735025476627 140735025476743 140735025476743 140735025483760 0
Current children cumulated CPU time: 3393.22 s
Current children cumulated vsize: 417452 KiB
Current children cumulated memory: 355476 KiB
[startup+3462.3 s]
/proc/loadavg: 4.17 4.14 4.10 5/264 1004661
/proc/meminfo: memFree=124329668/131524600 swapFree=131071996/131071996
[pid=1002835] ppid=1002829 vsize=417452 memory=355476 CPUtime=3453.08 cores=1,3
/proc/1002835/stat : 1002835 (fscip) S 1002829 1002835 1000725 0 -1 1077936128 521891 0 0 0 345244 64 0 0 20 0 3 0 186745263 427470848 88869 134679101440 4194304 16613245 140735025469216 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 47845376 140735025476627 140735025476743 140735025476743 140735025483760 0
/proc/1002835/statm: 104363 88869 3310 3032 0 91377 0
[pid=1002835/tid=1002847] ppid=1002829 vsize=417452 memory=355476 CPUtime=3447.46 cores=1,3
/proc/1002835/task/1002847/stat : 1002847 (fscip) R 1002829 1002835 1000725 0 -1 4194368 495569 0 0 0 344691 55 0 0 20 0 3 0 186745812 427470848 88869 134679101440 4194304 16613245 140735025469216 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 47845376 140735025476627 140735025476743 140735025476743 140735025483760 0
[pid=1002835/tid=1002848] ppid=1002829 vsize=417452 memory=-6808738698319072618 CPUtime=0.03 cores=1,3
/proc/1002835/task/1002848/stat : 1002848 (fscip) S 1002829 1002835 1000725 0 -1 1077936192 281 0 0 0 1 2 0 0 20 0 3 0 186745814 427470848 88869 134679101440 4194304 16613245 140735025469216 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 47845376 140735025476627 140735025476743 140735025476743 140735025483760 0
Current children cumulated CPU time: 3453.08 s
Current children cumulated vsize: 417452 KiB
Current children cumulated memory: 355476 KiB
[startup+3522.3 s]
/proc/loadavg: 4.06 4.12 4.09 5/264 1004671
/proc/meminfo: memFree=124329404/131524600 swapFree=131071996/131071996
[pid=1002835] ppid=1002829 vsize=417452 memory=355476 CPUtime=3512.94 cores=1,3
/proc/1002835/stat : 1002835 (fscip) S 1002829 1002835 1000725 0 -1 1077936128 522891 0 0 0 351230 64 0 0 20 0 3 0 186745263 427470848 88869 134679101440 4194304 16613245 140735025469216 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 47845376 140735025476627 140735025476743 140735025476743 140735025483760 0
/proc/1002835/statm: 104363 88869 3310 3032 0 91377 0
[pid=1002835/tid=1002847] ppid=1002829 vsize=417452 memory=355476 CPUtime=3507.31 cores=1,3
/proc/1002835/task/1002847/stat : 1002847 (fscip) R 1002829 1002835 1000725 0 -1 4194368 496555 0 0 0 350676 55 0 0 20 0 3 0 186745812 427470848 88869 134679101440 4194304 16613245 140735025469216 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 47845376 140735025476627 140735025476743 140735025476743 140735025483760 0
[pid=1002835/tid=1002848] ppid=1002829 vsize=417452 memory=355476 CPUtime=0.03 cores=1,3
/proc/1002835/task/1002848/stat : 1002848 (fscip) S 1002829 1002835 1000725 0 -1 1077936192 286 0 0 0 1 2 0 0 20 0 3 0 186745814 427470848 88869 134679101440 4194304 16613245 140735025469216 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 47845376 140735025476627 140735025476743 140735025476743 140735025483760 0
Current children cumulated CPU time: 3512.94 s
Current children cumulated vsize: 417452 KiB
Current children cumulated memory: 355476 KiB
[startup+3582.3 s]
/proc/loadavg: 4.14 4.12 4.09 5/262 1004681
/proc/meminfo: memFree=124329112/131524600 swapFree=131071996/131071996
[pid=1002835] ppid=1002829 vsize=417452 memory=355476 CPUtime=3572.75 cores=1,3
/proc/1002835/stat : 1002835 (fscip) S 1002829 1002835 1000725 0 -1 1077936128 523756 0 0 0 357211 64 0 0 20 0 3 0 186745263 427470848 88869 134679101440 4194304 16613245 140735025469216 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 47845376 140735025476627 140735025476743 140735025476743 140735025483760 0
/proc/1002835/statm: 104363 88869 3310 3032 0 91377 0
[pid=1002835/tid=1002847] ppid=1002829 vsize=417452 memory=355476 CPUtime=3567.12 cores=1,3
/proc/1002835/task/1002847/stat : 1002847 (fscip) R 1002829 1002835 1000725 0 -1 4194368 497406 0 0 0 356657 55 0 0 20 0 3 0 186745812 427470848 88869 134679101440 4194304 16613245 140735025469216 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 47845376 140735025476627 140735025476743 140735025476743 140735025483760 0
[pid=1002835/tid=1002848] ppid=1002829 vsize=417452 memory=1972 CPUtime=0.03 cores=1,3
/proc/1002835/task/1002848/stat : 1002848 (fscip) S 1002829 1002835 1000725 0 -1 1077936192 291 0 0 0 1 2 0 0 20 0 3 0 186745814 427470848 88869 134679101440 4194304 16613245 140735025469216 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 47845376 140735025476627 140735025476743 140735025476743 140735025483760 0
Current children cumulated CPU time: 3572.75 s
Current children cumulated vsize: 417452 KiB
Current children cumulated memory: 355476 KiB
[startup+3600.08 s]
# the end of solver process 1002835 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3589.84 s, system=0.647151 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.14 4.12 4.09 5/262 1004683
/proc/meminfo: memFree=124329096/131524600 swapFree=131071996/131071996
[pid=1002835] ppid=1002829 vsize=417452 memory=355476 CPUtime=3574.45 cores=1,3
/proc/1002835/stat : 1002835 (fscip) S 1002829 1002835 1000725 0 -1 1077936128 523756 0 0 0 357381 64 0 0 20 0 3 0 186745263 427470848 88869 134679101440 4194304 16613245 140735025469216 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 47845376 140735025476627 140735025476743 140735025476743 140735025483760 0
/proc/1002835/statm: 104363 88869 3310 3032 0 91377 0
[pid=1002835/tid=1002847] ppid=1002829 vsize=417452 memory=-6808738698386115946 CPUtime=3568.82 cores=1,3
/proc/1002835/task/1002847/stat : 1002847 (fscip) R 1002829 1002835 1000725 0 -1 4194368 497406 0 0 0 356827 55 0 0 20 0 3 0 186745812 427470848 88869 134679101440 4194304 16613245 140735025469216 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 47845376 140735025476627 140735025476743 140735025476743 140735025483760 0
[pid=1002835/tid=1002848] ppid=1002829 vsize=417452 memory=20420 CPUtime=0.03 cores=1,3
/proc/1002835/task/1002848/stat : 1002848 (fscip) S 1002829 1002835 1000725 0 -1 1077936192 291 0 0 0 1 2 0 0 20 0 3 0 186745814 427470848 88869 134679101440 4194304 16613245 140735025469216 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 47845376 140735025476627 140735025476743 140735025476743 140735025483760 0
Current children cumulated CPU time: 3574.45 s
Current children cumulated vsize: 417452 KiB
Current children cumulated memory: 355476 KiB
[startup+3590.4 s]
/proc/loadavg: 4.13 4.12 4.09 5/262 1004683
/proc/meminfo: memFree=124329132/131524600 swapFree=131071996/131071996
[pid=1002835] ppid=1002829 vsize=417452 memory=355476 CPUtime=3580.83 cores=1,3
/proc/1002835/stat : 1002835 (fscip) S 1002829 1002835 1000725 0 -1 1077936128 524177 0 0 0 358019 64 0 0 20 0 3 0 186745263 427470848 88869 134679101440 4194304 16613245 140735025469216 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 47845376 140735025476627 140735025476743 140735025476743 140735025483760 0
/proc/1002835/statm: 104363 88869 3310 3032 0 91377 0
[pid=1002835/tid=1002847] ppid=1002829 vsize=417452 memory=11588 CPUtime=3575.2 cores=1,3
/proc/1002835/task/1002847/stat : 1002847 (fscip) R 1002829 1002835 1000725 0 -1 4194368 497820 0 0 0 357465 55 0 0 20 0 3 0 186745812 427470848 88869 134679101440 4194304 16613245 140735025469216 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 47845376 140735025476627 140735025476743 140735025476743 140735025483760 0
[pid=1002835/tid=1002848] ppid=1002829 vsize=417452 memory=355476 CPUtime=0.03 cores=1,3
/proc/1002835/task/1002848/stat : 1002848 (fscip) S 1002829 1002835 1000725 0 -1 1077936192 292 0 0 0 1 2 0 0 20 0 3 0 186745814 427470848 88869 134679101440 4194304 16613245 140735025469216 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 47845376 140735025476627 140735025476743 140735025476743 140735025483760 0
Current children cumulated CPU time: 3580.83 s
Current children cumulated vsize: 417452 KiB
Current children cumulated memory: 355476 KiB
[startup+3596.8 s]
/proc/loadavg: 4.12 4.12 4.09 5/262 1004684
/proc/meminfo: memFree=124329124/131524600 swapFree=131071996/131071996
[pid=1002835] ppid=1002829 vsize=417452 memory=355476 CPUtime=3587.21 cores=1,3
/proc/1002835/stat : 1002835 (fscip) S 1002829 1002835 1000725 0 -1 1077936128 524362 0 0 0 358657 64 0 0 20 0 3 0 186745263 427470848 88869 134679101440 4194304 16613245 140735025469216 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 47845376 140735025476627 140735025476743 140735025476743 140735025483760 0
/proc/1002835/statm: 104363 88869 3310 3032 0 91377 0
[pid=1002835/tid=1002847] ppid=1002829 vsize=417452 memory=355476 CPUtime=3581.58 cores=1,3
/proc/1002835/task/1002847/stat : 1002847 (fscip) R 1002829 1002835 1000725 0 -1 4194368 498005 0 0 0 358103 55 0 0 20 0 3 0 186745812 427470848 88869 134679101440 4194304 16613245 140735025469216 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 47845376 140735025476627 140735025476743 140735025476743 140735025483760 0
[pid=1002835/tid=1002848] ppid=1002829 vsize=417452 memory=5536 CPUtime=0.03 cores=1,3
/proc/1002835/task/1002848/stat : 1002848 (fscip) S 1002829 1002835 1000725 0 -1 1077936192 292 0 0 0 1 2 0 0 20 0 3 0 186745814 427470848 88869 134679101440 4194304 16613245 140735025469216 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 47845376 140735025476627 140735025476743 140735025476743 140735025483760 0
Current children cumulated CPU time: 3587.21 s
Current children cumulated vsize: 417452 KiB
Current children cumulated memory: 355476 KiB
[startup+3598.4 s]
/proc/loadavg: 4.11 4.12 4.09 5/262 1004684
/proc/meminfo: memFree=124329140/131524600 swapFree=131071996/131071996
[pid=1002835] ppid=1002829 vsize=417452 memory=355476 CPUtime=3588.8 cores=1,3
/proc/1002835/stat : 1002835 (fscip) S 1002829 1002835 1000725 0 -1 1077936128 524363 0 0 0 358816 64 0 0 20 0 3 0 186745263 427470848 88869 134679101440 4194304 16613245 140735025469216 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 47845376 140735025476627 140735025476743 140735025476743 140735025483760 0
/proc/1002835/statm: 104363 88869 3310 3032 0 91377 0
[pid=1002835/tid=1002847] ppid=1002829 vsize=417452 memory=355476 CPUtime=3583.17 cores=1,3
/proc/1002835/task/1002847/stat : 1002847 (fscip) R 1002829 1002835 1000725 0 -1 4194368 498005 0 0 0 358262 55 0 0 20 0 3 0 186745812 427470848 88869 134679101440 4194304 16613245 140735025469216 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 47845376 140735025476627 140735025476743 140735025476743 140735025483760 0
[pid=1002835/tid=1002848] ppid=1002829 vsize=417452 memory=11548 CPUtime=0.03 cores=1,3
/proc/1002835/task/1002848/stat : 1002848 (fscip) S 1002829 1002835 1000725 0 -1 1077936192 292 0 0 0 1 2 0 0 20 0 3 0 186745814 427470848 88869 134679101440 4194304 16613245 140735025469216 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 47845376 140735025476627 140735025476743 140735025476743 140735025483760 0
Current children cumulated CPU time: 3588.8 s
Current children cumulated vsize: 417452 KiB
Current children cumulated memory: 355476 KiB
[startup+3599.2 s]
/proc/loadavg: 4.11 4.12 4.09 5/262 1004684
/proc/meminfo: memFree=124329148/131524600 swapFree=131071996/131071996
[pid=1002835] ppid=1002829 vsize=417452 memory=355476 CPUtime=3589.6 cores=1,3
/proc/1002835/stat : 1002835 (fscip) S 1002829 1002835 1000725 0 -1 1077936128 524363 0 0 0 358896 64 0 0 20 0 3 0 186745263 427470848 88869 134679101440 4194304 16613245 140735025469216 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 47845376 140735025476627 140735025476743 140735025476743 140735025483760 0
/proc/1002835/statm: 104363 88869 3310 3032 0 91377 0
[pid=1002835/tid=1002847] ppid=1002829 vsize=417452 memory=-9187040394802723782 CPUtime=3583.97 cores=1,3
/proc/1002835/task/1002847/stat : 1002847 (fscip) R 1002829 1002835 1000725 0 -1 4194368 498005 0 0 0 358342 55 0 0 20 0 3 0 186745812 427470848 88869 134679101440 4194304 16613245 140735025469216 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 47845376 140735025476627 140735025476743 140735025476743 140735025483760 0
[pid=1002835/tid=1002848] ppid=1002829 vsize=417452 memory=11588 CPUtime=0.03 cores=1,3
/proc/1002835/task/1002848/stat : 1002848 (fscip) S 1002829 1002835 1000725 0 -1 1077936192 292 0 0 0 1 2 0 0 20 0 3 0 186745814 427470848 88869 134679101440 4194304 16613245 140735025469216 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 47845376 140735025476627 140735025476743 140735025476743 140735025483760 0
Current children cumulated CPU time: 3589.6 s
Current children cumulated vsize: 417452 KiB
Current children cumulated memory: 355476 KiB
[startup+3599.6 s]
/proc/loadavg: 4.11 4.12 4.09 5/262 1004684
/proc/meminfo: memFree=124329148/131524600 swapFree=131071996/131071996
[pid=1002835] ppid=1002829 vsize=417452 memory=355476 CPUtime=3590 cores=1,3
/proc/1002835/stat : 1002835 (fscip) S 1002829 1002835 1000725 0 -1 1077936128 524363 0 0 0 358936 64 0 0 20 0 3 0 186745263 427470848 88869 134679101440 4194304 16613245 140735025469216 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 47845376 140735025476627 140735025476743 140735025476743 140735025483760 0
/proc/1002835/statm: 104363 88869 3310 3032 0 91377 0
[pid=1002835/tid=1002847] ppid=1002829 vsize=417452 memory=11588 CPUtime=3584.37 cores=1,3
/proc/1002835/task/1002847/stat : 1002847 (fscip) R 1002829 1002835 1000725 0 -1 4194368 498005 0 0 0 358382 55 0 0 20 0 3 0 186745812 427470848 88869 134679101440 4194304 16613245 140735025469216 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 47845376 140735025476627 140735025476743 140735025476743 140735025483760 0
[pid=1002835/tid=1002848] ppid=1002829 vsize=417452 memory=44076 CPUtime=0.03 cores=1,3
/proc/1002835/task/1002848/stat : 1002848 (fscip) S 1002829 1002835 1000725 0 -1 1077936192 292 0 0 0 1 2 0 0 20 0 3 0 186745814 427470848 88869 134679101440 4194304 16613245 140735025469216 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 47845376 140735025476627 140735025476743 140735025476743 140735025483760 0
Current children cumulated CPU time: 3590 s
Current children cumulated vsize: 417452 KiB
Current children cumulated memory: 355476 KiB
[startup+3600 s]*
/proc/loadavg: 4.11 4.12 4.09 4/258 1004684
/proc/meminfo: memFree=124715568/131524600 swapFree=131071996/131071996
[pid=1002835] ppid=1002829 vsize=417452 memory=355476 CPUtime=3590.4 cores=1,3
/proc/1002835/stat : 1002835 (fscip) S 1002829 1002835 1000725 0 -1 1077936128 524363 0 0 0 358976 64 0 0 20 0 3 0 186745263 427470848 88869 134679101440 4194304 16613245 140735025469216 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 47845376 140735025476627 140735025476743 140735025476743 140735025483760 0
/proc/1002835/statm: 104363 88869 3310 3032 0 91377 0
[pid=1002835/tid=1002847] ppid=1002829 vsize=417452 memory=-6808738698386115946 CPUtime=3584.77 cores=1,3
/proc/1002835/task/1002847/stat : 1002847 (fscip) R 1002829 1002835 1000725 0 -1 4194368 498005 0 0 0 358422 55 0 0 20 0 3 0 186745812 427470848 88869 134679101440 4194304 16613245 140735025469216 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 47845376 140735025476627 140735025476743 140735025476743 140735025483760 0
[pid=1002835/tid=1002848] ppid=1002829 vsize=417452 memory=1470213551893872769 CPUtime=0.03 cores=1,3
/proc/1002835/task/1002848/stat : 1002848 (fscip) S 1002829 1002835 1000725 0 -1 1077936192 292 0 0 0 1 2 0 0 20 0 3 0 186745814 427470848 88869 134679101440 4194304 16613245 140735025469216 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 47845376 140735025476627 140735025476743 140735025476743 140735025483760 0
Current children cumulated CPU time: 3590.4 s
Current children cumulated vsize: 417452 KiB
Current children cumulated memory: 355476 KiB
Child status: 0
Real time (s): 3600.08
CPU time (s): 3590.49
CPU user time (s): 3589.84
CPU system time (s): 0.647151
CPU usage (%): 99.7335
Max. virtual memory (cumulated for all children) (KiB): 417452
Max. memory (cumulated for all children) (KiB): 355476
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3589.84
system time used= 0.647151
maximum resident set size= 355476
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 524848
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= 7323
involuntary context switches= 1370
# summary of solver processes directly reported to runsolver:
# pid: 1002835
# total CPU time (s): 3590.49
# total CPU user time (s): 3589.84
# total CPU system time (s): 0.647151
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.60781 second user time and 15.1514 second system time
The end
Begin job on nodeC029 at 2024-07-19 01:36:32
IDJOB=4447040
IDBENCH=158351
IDSOLVER=3064
FILE ID=nodeC029/4447040-1721345778
RUNJOBID= nodeC029-1721342191-1000737
SLURM_JOB_ID= 7542739
Free space on /tmp= 890020 MiB
SOLVER NAME= FiberSCIP 2024-07-02
BENCH NAME= PB24/normalized-PB12/DEC-LIN/sroussel/ShortestPathTate/normalized-TateBritain_K85.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-4447040-1721345778/watcher-4447040-1721345778 -o /tmp/evaluation-result-4447040-1721345778/solver-4447040-1721345778 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC029-1721342191-1000737 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4447040-1721345778.opb -qsol -t 3600 -sth 1
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 29274947006e0854b43dfb210bf5d295
RANDOM SEED=1913261309
nodeC029.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 : 3600.497
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7000.09
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 : 3601.390
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.98
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 : 3659.972
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7000.09
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 : 3692.393
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.98
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 : 3638.308
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7000.09
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 : 3692.497
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.98
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 : 3664.217
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7000.09
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 : 3602.912
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.98
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 125660376 kB
MemAvailable: 129642108 kB
Buffers: 496664 kB
Cached: 4275740 kB
SwapCached: 0 kB
Active: 957104 kB
Inactive: 4194596 kB
Active(anon): 1480 kB
Inactive(anon): 414884 kB
Active(file): 955624 kB
Inactive(file): 3779712 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 113532 kB
Writeback: 0 kB
AnonPages: 378096 kB
Mapped: 117304 kB
Shmem: 37720 kB
KReclaimable: 172084 kB
Slab: 293408 kB
SReclaimable: 172084 kB
SUnreclaim: 121324 kB
KernelStack: 3984 kB
PageTables: 9500 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 770760 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 68640 kB
HardwareCorrupted: 0 kB
AnonHugePages: 507904 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: 281300 kB
DirectMap2M: 36192256 kB
DirectMap1G: 99614720 kB
Free space on /tmp at the end= 889956 MiB
End job on nodeC029 at 2024-07-19 02:36:32