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.07 c Default LC presolving (default).
0.00/0.07 c ** Before presolving: virtualMemUsedAtLc = 47935488, getVmSize() = 47935488, SCIPgetMemUsed() = 22117196, SCIPgetMemTotal() = 25725612, SCIPgetMemExternEstim() = 11935515
0.00/0.07 c ** set memory limit for presolving in LC to 8.79608e+12 for SCIP **
6.08/6.11 c ** Estimated virtualMemUsedAtSolver = 80206173, getVmSize() = 133271552, SCIPgetMemUsed() = 76481745, SCIPgetMemTotal() = 108373745, SCIPgetMemExternEstim() = 11935515
6.08/6.11 c ** set memory limit for solvers to 4.39804e+12 for each SCIP **
6.08/6.11 c Original Problem :
6.08/6.11 c Problem name : instance-4464480-1722385793
6.08/6.11 c Variables : 6120 (6120 binary, 0 integer, 0 implicit integer, 0 continuous)
6.08/6.11 c Constraints : 6302
6.08/6.11 c Objective sense : minimize
6.08/6.11 c Presolved Problem :
6.08/6.11 c Variables : 5379 (5379 binary, 0 integer, 0 implicit integer, 0 continuous)
6.08/6.11 c Constraints : 5535
6.08/6.11 c Constraints : Number
6.08/6.11 c knapsack : 1
6.08/6.11 c setppc : 1181
6.08/6.11 c orbitope : 3
6.08/6.11 c logicor : 4350
6.08/6.11 c ** Instance transfer method used: 0
6.08/6.12 c ** ParaScipInstance copy increased the number of variables. **
6.08/6.16 c LC is working with racing ramp-up and with rebuilding tree after racing.
6.08/6.16 c Nodes Active
6.08/6.16 c Time Nodes Left Solvers Best Integer Best Node Gap Best Node(S) Gap(S)
114.99/115.52 c 116 2 1 1 - 0.0000 -
121.57/122.13 c 122 8 7 1 - 0.0000 -
127.65/128.21 c 128 13 12 1 - 0.0000 -
133.92/134.54 c 135 18 15 1 - 0.0000 -
145.09/145.76 c 146 22 17 1 - 0.0000 -
167.11/167.81 c 168 24 19 1 - 0.0000 -
180.58/181.35 c 181 28 23 1 - 0.0000 -
185.86/186.67 c 187 30 25 1 - 0.0000 -
235.79/236.76 c 237 32 27 1 - 0.0000 -
244.46/245.45 c 245 34 29 1 - 0.0000 -
255.74/256.75 c 257 36 31 1 - 0.0000 -
269.59/270.63 c 271 38 33 1 - 0.0000 -
289.72/290.83 c 291 40 35 1 - 0.0000 -
304.67/305.86 c 306 42 37 1 - 0.0000 -
321.72/322.92 c 323 44 39 1 - 0.0000 -
346.45/347.73 c 348 46 41 1 - 0.0000 -
375.44/376.84 c 377 48 43 1 - 0.0000 -
398.18/399.63 c 400 50 45 1 - 0.0000 -
456.59/458.22 c 458 52 47 1 - 0.0000 -
475.03/476.71 c 477 54 49 1 - 0.0000 -
494.47/496.25 c 496 56 51 1 - 0.0000 -
507.13/508.94 c 509 60 53 1 - 0.0000 -
512.51/514.34 c 514 64 59 1 - 0.0000 -
518.40/520.24 c 520 65 58 1 - 0.0000 -
523.57/525.41 c 525 69 62 1 - 0.0000 -
530.46/532.35 c 532 75 64 1 - 0.0000 -
537.15/539.10 c 539 77 66 1 - 0.0000 -
549.11/551.09 c 551 80 69 1 - 0.0000 -
554.19/556.14 c 556 87 74 1 - 0.0000 -
562.35/564.30 c 564 92 77 1 - 0.0000 -
568.23/570.25 c 570 95 80 1 - 0.0000 -
582.69/584.75 c 585 99 82 1 - 0.0000 -
598.73/600.80 c 601 102 85 1 - 0.0000 -
610.69/612.84 c 613 105 88 1 - 0.0000 -
623.45/625.64 c 626 108 91 1 - 0.0000 -
629.23/631.45 c 631 113 92 1 - 0.0000 -
635.21/637.44 c 637 116 93 1 - 0.0000 -
640.40/642.66 c 643 122 99 1 - 0.0000 -
647.79/650.02 c 650 127 104 1 - 0.0000 -
655.15/657.43 c 657 134 107 1 - 0.0000 -
662.02/664.31 c 664 137 108 1 - 0.0000 -
671.70/674.07 c 674 138 109 1 - 0.0000 -
682.76/685.13 c 685 145 114 1 - 0.0000 -
688.33/690.75 c 691 158 115 1 - 0.0000 -
694.81/697.21 c 697 160 117 1 - 0.0000 -
700.39/702.87 c 703 178 117 1 - 0.0000 -
706.17/708.62 c 709 185 118 1 - 0.0000 -
720.22/722.79 c 723 187 120 1 - 0.0000 -
725.71/728.23 c 728 190 123 1 - 0.0000 -
735.28/737.84 c 738 192 125 1 - 0.0000 -
746.94/749.50 c 750 196 129 1 - 0.0000 -
752.12/754.73 c 755 200 129 1 - 0.0000 -
760.80/763.43 c 763 203 132 1 - 0.0000 -
766.49/769.18 c 769 219 130 1 - 0.0000 -
773.56/776.20 c 776 224 131 1 - 0.0000 -
787.72/790.47 c 790 225 132 1 - 0.0000 -
793.41/796.17 c 796 235 131 1 - 0.0000 -
799.39/802.17 c 802 238 134 1 - 0.0000 -
805.56/808.39 c 808 244 134 1 - 0.0000 -
814.25/817.09 c 817 246 136 1 - 0.0000 -
823.40/826.21 c 826 253 137 1 - 0.0000 -
829.68/832.50 c 832 256 138 1 - 0.0000 -
835.27/838.18 c 838 262 136 1 - 0.0000 -
841.25/844.16 c 844 274 136 1 - 0.0000 -
846.72/849.68 c 850 275 137 1 - 0.0000 -
853.40/856.34 c 856 281 137 1 - 0.0000 -
859.68/862.64 c 863 294 140 1 - 0.0000 -
864.76/867.73 c 868 303 141 1 - 0.0000 -
874.04/877.02 c 877 305 143 1 - 0.0000 -
880.31/883.36 c 883 324 140 1 - 0.0000 -
885.49/888.52 c 889 337 141 1 - 0.0000 -
891.37/894.46 c 894 352 144 1 - 0.0000 -
896.97/900.05 c 900 368 144 1 - 0.0000 -
911.61/914.75 c 915 385 147 1 - 0.0000 -
917.18/920.32 c 920 398 146 1 - 0.0000 -
922.17/925.38 c 925 412 146 1 - 0.0000 -
928.25/931.44 c 931 429 147 1 - 0.0000 -
933.95/937.18 c 937 468 146 1 - 0.0000 -
939.41/942.64 c 943 487 146 1 - 0.0000 -
945.49/948.71 c 949 507 150 1 - 0.0000 -
951.27/954.56 c 955 536 153 1 - 0.0000 -
957.05/960.36 c 960 558 155 1 - 0.0000 -
962.94/966.24 c 966 576 147 1 - 0.0000 -
968.33/971.63 c 972 600 153 1 - 0.0000 -
974.11/977.46 c 977 615 152 1 - 0.0000 -
979.49/982.83 c 983 631 148 1 - 0.0000 -
985.17/988.50 c 988 647 152 1 - 0.0000 -
990.26/993.62 c 994 660 153 1 - 0.0000 -
996.24/999.61 c 1000 679 148 1 - 0.0000 -
1001.52/1004.96 c 1005 692 151 1 - 0.0000 -
1006.80/1010.21 c 1010 702 151 1 - 0.0000 -
1012.18/1015.60 c 1016 713 150 1 - 0.0000 -
1017.46/1021.01 c 1021 730 153 1 - 0.0000 -
1023.34/1026.83 c 1027 749 154 1 - 0.0000 -
1028.82/1032.30 c 1032 759 150 1 - 0.0000 -
1034.41/1037.96 c 1038 772 147 1 - 0.0000 -
1040.39/1043.98 c 1044 784 149 1 - 0.0000 -
1046.37/1049.98 c 1050 793 148 1 - 0.0000 -
1052.75/1056.35 c 1056 806 149 1 - 0.0000 -
1057.84/1061.43 c 1061 812 153 1 - 0.0000 -
1063.02/1066.62 c 1067 825 152 1 - 0.0000 -
1068.10/1071.70 c 1072 830 153 1 - 0.0000 -
1073.58/1077.28 c 1077 846 153 1 - 0.0000 -
1078.96/1082.64 c 1083 860 153 1 - 0.0000 -
1084.54/1088.20 c 1088 877 154 1 - 0.0000 -
1090.44/1094.14 c 1094 892 153 1 - 0.0000 -
1096.42/1100.19 c 1100 907 152 1 - 0.0000 -
1102.49/1106.29 c 1106 921 152 1 - 0.0000 -
1107.97/1111.77 c 1112 934 151 1 - 0.0000 -
1113.26/1117.10 c 1117 947 152 1 - 0.0000 -
1118.84/1122.63 c 1123 958 147 1 - 0.0000 -
1125.91/1129.76 c 1130 974 151 1 - 0.0000 -
1131.60/1135.46 c 1135 992 151 1 - 0.0000 -
1137.18/1141.05 c 1141 1010 149 1 - 0.0000 -
1142.17/1146.08 c 1146 1022 149 1 - 0.0000 -
1147.74/1151.66 c 1152 1033 148 1 - 0.0000 -
1153.53/1157.41 c 1157 1048 149 1 - 0.0000 -
1159.31/1163.27 c 1163 1062 149 1 - 0.0000 -
1165.89/1169.80 c 1170 1080 153 1 - 0.0000 -
1171.57/1175.58 c 1176 1089 152 1 - 0.0000 -
1177.65/1181.61 c 1182 1105 156 1 - 0.0000 -
1182.83/1186.82 c 1187 1120 155 1 - 0.0000 -
1188.13/1192.12 c 1192 1132 155 1 - 0.0000 -
1194.01/1198.04 c 1198 1145 151 1 - 0.0000 -
1199.99/1204.03 c 1204 1157 153 1 - 0.0000 -
1206.36/1210.49 c 1210 1171 151 1 - 0.0000 -
1212.84/1216.97 c 1217 1186 152 1 - 0.0000 -
1218.62/1222.79 c 1223 1198 152 1 - 0.0000 -
1224.50/1228.62 c 1229 1210 150 1 - 0.0000 -
1230.57/1234.78 c 1235 1226 150 1 - 0.0000 -
1236.56/1240.70 c 1241 1241 151 1 - 0.0000 -
1242.04/1246.22 c 1246 1253 151 1 - 0.0000 -
1247.12/1251.39 c 1251 1266 150 1 - 0.0000 -
1252.71/1257.01 c 1257 1275 149 1 - 0.0000 -
1259.39/1263.62 c 1264 1286 150 1 - 0.0000 -
1264.78/1269.07 c 1269 1304 148 1 - 0.0000 -
1270.76/1275.05 c 1275 1318 148 1 - 0.0000 -
1276.22/1280.57 c 1281 1328 150 1 - 0.0000 -
1281.30/1285.69 c 1286 1348 152 1 - 0.0000 -
1286.88/1291.24 c 1291 1371 149 1 - 0.0000 -
1292.47/1296.83 c 1297 1382 150 1 - 0.0000 -
1297.76/1302.17 c 1302 1394 150 1 - 0.0000 -
1303.43/1307.84 c 1308 1413 151 1 - 0.0000 -
1308.82/1313.25 c 1313 1425 149 1 - 0.0000 -
1314.80/1319.29 c 1319 1440 150 1 - 0.0000 -
1320.98/1325.47 c 1325 1461 149 1 - 0.0000 -
1326.36/1330.85 c 1331 1472 148 1 - 0.0000 -
1333.04/1337.53 c 1338 1486 152 1 - 0.0000 -
1338.82/1343.37 c 1343 1497 151 1 - 0.0000 -
1343.80/1348.39 c 1348 1506 150 1 - 0.0000 -
1349.29/1353.81 c 1354 1522 150 1 - 0.0000 -
1355.59/1360.16 c 1360 1535 151 1 - 0.0000 -
1360.66/1365.28 c 1365 1548 152 1 - 0.0000 -
1366.55/1371.15 c 1371 1557 149 1 - 0.0000 -
1372.72/1377.33 c 1377 1568 152 1 - 0.0000 -
1377.80/1382.43 c 1382 1579 151 1 - 0.0000 -
1383.88/1388.53 c 1389 1592 150 1 - 0.0000 -
1388.86/1393.58 c 1394 1606 150 1 - 0.0000 -
1394.84/1399.52 c 1400 1624 150 1 - 0.0000 -
1400.53/1405.23 c 1405 1636 150 1 - 0.0000 -
1405.61/1410.36 c 1410 1647 149 1 - 0.0000 -
1411.49/1416.20 c 1416 1657 149 1 - 0.0000 -
1416.68/1421.49 c 1421 1667 147 1 - 0.0000 -
1422.06/1426.81 c 1427 1681 149 1 - 0.0000 -
1427.14/1431.96 c 1432 1696 150 1 - 0.0000 -
1433.43/1438.25 c 1438 1714 152 1 - 0.0000 -
1439.41/1444.24 c 1444 1732 150 1 - 0.0000 -
1444.39/1449.26 c 1449 1750 150 1 - 0.0000 -
1449.87/1454.78 c 1455 1776 154 1 - 0.0000 -
1456.35/1461.25 c 1461 1797 151 1 - 0.0000 -
1462.34/1467.26 c 1467 1814 152 1 - 0.0000 -
1467.71/1472.68 c 1473 1825 151 1 - 0.0000 -
1473.22/1478.11 c 1478 1843 151 1 - 0.0000 -
1478.59/1483.53 c 1484 1857 151 1 - 0.0000 -
1483.97/1488.95 c 1489 1873 153 1 - 0.0000 -
1489.07/1494.02 c 1494 1888 152 1 - 0.0000 -
1494.84/1499.86 c 1500 1906 152 1 - 0.0000 -
1500.92/1505.99 c 1506 1924 152 1 - 0.0000 -
1506.90/1512.01 c 1512 1945 149 1 - 0.0000 -
1513.27/1518.35 c 1518 1956 150 1 - 0.0000 -
1518.75/1523.90 c 1524 1979 149 1 - 0.0000 -
1524.05/1529.13 c 1529 1996 150 1 - 0.0000 -
1529.42/1534.57 c 1535 2015 149 1 - 0.0000 -
1535.02/1540.16 c 1540 2030 150 1 - 0.0000 -
1541.28/1546.47 c 1546 2053 151 1 - 0.0000 -
1547.17/1552.34 c 1552 2063 149 1 - 0.0000 -
1552.25/1557.49 c 1557 2077 149 1 - 0.0000 -
1558.03/1563.25 c 1563 2094 150 1 - 0.0000 -
1563.11/1568.31 c 1568 2102 150 1 - 0.0000 -
1568.92/1574.18 c 1574 2117 149 1 - 0.0000 -
1574.18/1579.47 c 1579 2131 153 1 - 0.0000 -
1580.26/1585.54 c 1586 2147 151 1 - 0.0000 -
1585.35/1590.61 c 1591 2158 152 1 - 0.0000 -
1590.53/1595.90 c 1596 2176 154 1 - 0.0000 -
1596.72/1602.08 c 1602 2192 150 1 - 0.0000 -
1602.69/1608.03 c 1608 2212 150 1 - 0.0000 -
1608.56/1613.92 c 1614 2230 150 1 - 0.0000 -
1614.55/1619.96 c 1620 2242 150 1 - 0.0000 -
1620.33/1625.78 c 1626 2263 151 1 - 0.0000 -
1625.91/1631.37 c 1631 2283 151 1 - 0.0000 -
1632.19/1637.60 c 1638 2309 153 1 - 0.0000 -
1638.47/1643.90 c 1644 2330 150 1 - 0.0000 -
1643.95/1649.46 c 1649 2345 149 1 - 0.0000 -
1649.84/1655.39 c 1655 2360 152 1 - 0.0000 -
1655.22/1660.75 c 1661 2378 148 1 - 0.0000 -
1660.50/1666.06 c 1666 2388 150 1 - 0.0000 -
1665.68/1671.22 c 1671 2403 151 1 - 0.0000 -
1671.36/1676.99 c 1677 2420 150 1 - 0.0000 -
1678.14/1683.76 c 1684 2437 149 1 - 0.0000 -
1684.12/1689.71 c 1690 2451 149 1 - 0.0000 -
1689.20/1694.88 c 1695 2466 152 1 - 0.0000 -
1694.88/1700.55 c 1701 2482 152 1 - 0.0000 -
1700.38/1706.04 c 1706 2500 152 1 - 0.0000 -
1705.85/1711.55 c 1712 2515 151 1 - 0.0000 -
1710.94/1716.69 c 1717 2526 150 1 - 0.0000 -
1716.44/1722.12 c 1722 2539 151 1 - 0.0000 -
1721.42/1727.14 c 1727 2549 149 1 - 0.0000 -
1727.09/1732.89 c 1733 2560 150 1 - 0.0000 -
1733.47/1739.27 c 1739 2575 149 1 - 0.0000 -
1739.65/1745.44 c 1745 2590 148 1 - 0.0000 -
1744.93/1750.79 c 1751 2606 150 1 - 0.0000 -
1750.33/1756.14 c 1756 2617 149 1 - 0.0000 -
1755.50/1761.31 c 1761 2633 149 1 - 0.0000 -
1761.38/1767.22 c 1767 2648 148 1 - 0.0000 -
1766.96/1772.83 c 1773 2661 147 1 - 0.0000 -
1772.94/1778.88 c 1779 2672 146 1 - 0.0000 -
1779.02/1784.98 c 1785 2691 145 1 - 0.0000 -
1785.00/1790.97 c 1791 2703 145 1 - 0.0000 -
1790.58/1796.53 c 1797 2715 145 1 - 0.0000 -
1796.37/1802.31 c 1802 2727 147 1 - 0.0000 -
1801.95/1807.99 c 1808 2739 147 1 - 0.0000 -
1807.43/1813.45 c 1813 2753 147 1 - 0.0000 -
1813.41/1819.46 c 1819 2769 147 1 - 0.0000 -
1818.49/1824.52 c 1825 2784 146 1 - 0.0000 -
1823.68/1829.76 c 1830 2796 150 1 - 0.0000 -
1830.07/1836.12 c 1836 2808 148 1 - 0.0000 -
1836.05/1842.19 c 1842 2821 151 1 - 0.0000 -
1841.62/1847.71 c 1848 2833 151 1 - 0.0000 -
1847.50/1853.60 c 1854 2845 151 1 - 0.0000 -
1852.49/1858.64 c 1859 2854 152 1 - 0.0000 -
1857.67/1863.81 c 1864 2871 149 1 - 0.0000 -
1863.66/1869.81 c 1870 2883 153 1 - 0.0000 -
1869.85/1876.01 c 1876 2894 158 1 - 0.0000 -
1875.02/1881.20 c 1881 2910 158 1 - 0.0000 -
1881.10/1887.35 c 1887 2927 157 1 - 0.0000 -
1894.16/1900.47 c 1900 2942 160 1 - 0.0000 -
1899.85/1906.13 c 1906 2961 163 1 - 0.0000 -
1904.92/1911.26 c 1911 2974 168 1 - 0.0000 -
1910.11/1916.49 c 1916 2987 165 1 - 0.0000 -
1916.30/1922.65 c 1923 3004 168 1 - 0.0000 -
1921.38/1927.77 c 1928 3010 168 1 - 0.0000 -
1926.78/1933.19 c 1933 3021 169 1 - 0.0000 -
1932.05/1938.43 c 1938 3033 171 1 - 0.0000 -
1937.74/1944.14 c 1944 3056 168 1 - 0.0000 -
1943.72/1950.18 c 1950 3086 166 1 - 0.0000 -
1949.60/1956.02 c 1956 3107 167 1 - 0.0000 -
1955.37/1961.89 c 1962 3129 165 1 - 0.0000 -
1960.46/1966.99 c 1967 3144 164 1 - 0.0000 -
1965.94/1972.41 c 1972 3166 164 1 - 0.0000 -
1971.63/1978.15 c 1978 3179 163 1 - 0.0000 -
1977.70/1984.25 c 1984 3198 162 1 - 0.0000 -
1982.88/1989.43 c 1989 3211 161 1 - 0.0000 -
1988.87/1995.40 c 1995 3229 163 1 - 0.0000 -
1994.75/2001.33 c 2001 3250 160 1 - 0.0000 -
2000.83/2007.40 c 2007 3267 159 1 - 0.0000 -
2005.81/2012.42 c 2012 3279 163 1 - 0.0000 -
2011.89/2018.50 c 2019 3292 162 1 - 0.0000 -
2017.49/2024.18 c 2024 3304 163 1 - 0.0000 -
2024.15/2030.88 c 2031 3312 163 1 - 0.0000 -
2029.94/2036.68 c 2037 3327 162 1 - 0.0000 -
2035.33/2042.10 c 2042 3337 162 1 - 0.0000 -
2041.20/2048.01 c 2048 3351 162 1 - 0.0000 -
2048.18/2054.94 c 2055 3367 160 1 - 0.0000 -
2054.75/2061.56 c 2062 3385 162 1 - 0.0000 -
2060.53/2067.32 c 2067 3397 162 1 - 0.0000 -
2065.62/2072.42 c 2072 3412 161 1 - 0.0000 -
2070.91/2077.76 c 2078 3424 161 1 - 0.0000 -
2076.09/2082.97 c 2083 3435 162 1 - 0.0000 -
2081.08/2087.99 c 2088 3441 164 1 - 0.0000 -
2087.06/2093.92 c 2094 3454 159 1 - 0.0000 -
2092.15/2099.07 c 2099 3466 163 1 - 0.0000 -
2097.62/2104.57 c 2105 3477 164 1 - 0.0000 -
2104.60/2111.57 c 2112 3491 160 1 - 0.0000 -
2110.10/2117.06 c 2117 3503 160 1 - 0.0000 -
2115.37/2122.39 c 2122 3514 161 1 - 0.0000 -
2121.35/2128.31 c 2128 3528 161 1 - 0.0000 -
2126.63/2133.60 c 2134 3541 162 1 - 0.0000 -
2132.22/2139.25 c 2139 3553 162 1 - 0.0000 -
2138.20/2145.22 c 2145 3563 160 1 - 0.0000 -
2143.58/2150.65 c 2151 3571 162 1 - 0.0000 -
2148.66/2155.78 c 2156 3585 160 1 - 0.0000 -
2154.06/2161.15 c 2161 3596 161 1 - 0.0000 -
2160.43/2167.57 c 2168 3614 159 1 - 0.0000 -
2166.11/2173.26 c 2173 3631 160 1 - 0.0000 -
2172.00/2179.14 c 2179 3642 159 1 - 0.0000 -
2176.99/2184.18 c 2184 3657 156 1 - 0.0000 -
2182.76/2189.96 c 2190 3670 161 1 - 0.0000 -
2188.44/2195.66 c 2196 3682 159 1 - 0.0000 -
2194.13/2201.37 c 2201 3696 159 1 - 0.0000 -
2199.61/2206.84 c 2207 3707 158 1 - 0.0000 -
2204.81/2212.06 c 2212 3717 160 1 - 0.0000 -
2210.38/2217.63 c 2218 3726 159 1 - 0.0000 -
2216.16/2223.41 c 2223 3739 160 1 - 0.0000 -
2221.34/2228.65 c 2229 3751 158 1 - 0.0000 -
2227.12/2234.42 c 2234 3762 159 1 - 0.0000 -
2232.11/2239.44 c 2239 3770 157 1 - 0.0000 -
2238.59/2245.91 c 2246 3779 160 1 - 0.0000 -
2245.17/2252.52 c 2253 3795 160 1 - 0.0000 -
2250.25/2257.63 c 2258 3802 161 1 - 0.0000 -
2255.75/2263.19 c 2263 3815 162 1 - 0.0000 -
2261.73/2269.19 c 2269 3829 160 1 - 0.0000 -
2267.50/2274.96 c 2275 3838 159 1 - 0.0000 -
2273.08/2280.53 c 2281 3849 160 1 - 0.0000 -
2278.17/2285.63 c 2286 3860 159 1 - 0.0000 -
2283.66/2291.16 c 2291 3868 159 1 - 0.0000 -
2289.93/2297.40 c 2297 3876 161 1 - 0.0000 -
2295.12/2302.69 c 2303 3888 161 1 - 0.0000 -
2300.80/2308.33 c 2308 3899 160 1 - 0.0000 -
2306.89/2314.45 c 2314 3916 159 1 - 0.0000 -
2312.58/2320.12 c 2320 3924 159 1 - 0.0000 -
2318.46/2326.07 c 2326 3932 159 1 - 0.0000 -
2324.13/2331.71 c 2332 3943 160 1 - 0.0000 -
2329.62/2337.20 c 2337 3950 161 1 - 0.0000 -
2336.51/2344.14 c 2344 3963 158 1 - 0.0000 -
2341.58/2349.29 c 2349 3973 160 1 - 0.0000 -
2346.86/2354.60 c 2355 3980 157 1 - 0.0000 -
2353.15/2360.83 c 2361 3991 158 1 - 0.0000 -
2358.34/2366.09 c 2366 4005 158 1 - 0.0000 -
2364.70/2372.40 c 2372 4018 157 1 - 0.0000 -
2370.58/2378.37 c 2378 4032 159 1 - 0.0000 -
2376.27/2384.03 c 2384 4050 159 1 - 0.0000 -
2381.64/2389.47 c 2389 4061 160 1 - 0.0000 -
2386.83/2394.66 c 2395 4073 160 1 - 0.0000 -
2392.22/2400.07 c 2400 4087 160 1 - 0.0000 -
2398.09/2405.93 c 2406 4108 161 1 - 0.0000 -
2403.19/2411.05 c 2411 4119 160 1 - 0.0000 -
2408.87/2416.74 c 2417 4131 163 1 - 0.0000 -
2414.55/2422.49 c 2422 4142 162 1 - 0.0000 -
2420.14/2428.09 c 2428 4159 163 1 - 0.0000 -
2426.13/2434.05 c 2434 4175 161 1 - 0.0000 -
2432.11/2440.09 c 2440 4185 161 1 - 0.0000 -
2437.48/2445.42 c 2445 4199 161 1 - 0.0000 -
2443.07/2451.07 c 2451 4211 161 1 - 0.0000 -
2448.74/2456.77 c 2457 4223 161 1 - 0.0000 -
2453.92/2461.90 c 2462 4237 159 1 - 0.0000 -
2459.31/2467.38 c 2467 4246 160 1 - 0.0000 -
2465.29/2473.32 c 2473 4258 160 1 - 0.0000 -
2471.76/2479.81 c 2480 4269 157 1 - 0.0000 -
2477.45/2485.58 c 2486 4278 158 1 - 0.0000 -
2482.63/2490.76 c 2491 4286 158 1 - 0.0000 -
2488.31/2496.41 c 2496 4301 157 1 - 0.0000 -
2493.60/2501.77 c 2502 4313 159 1 - 0.0000 -
2499.00/2507.15 c 2507 4326 160 1 - 0.0000 -
2504.47/2512.64 c 2513 4341 157 1 - 0.0000 -
2511.05/2519.20 c 2519 4351 159 1 - 0.0000 -
2517.13/2525.34 c 2525 4362 158 1 - 0.0000 -
2522.92/2531.16 c 2531 4369 157 1 - 0.0000 -
2528.29/2536.54 c 2537 4377 157 1 - 0.0000 -
2534.78/2543.10 c 2543 4386 158 1 - 0.0000 -
2539.86/2548.19 c 2548 4396 160 1 - 0.0000 -
2545.94/2554.22 c 2554 4407 161 1 - 0.0000 -
2552.22/2560.58 c 2561 4418 158 1 - 0.0000 -
2558.81/2567.12 c 2567 4431 159 1 - 0.0000 -
2564.69/2573.09 c 2573 4443 159 1 - 0.0000 -
2570.06/2578.50 c 2578 4457 157 1 - 0.0000 -
2575.76/2584.15 c 2584 4467 157 1 - 0.0000 -
2581.03/2589.41 c 2589 4478 158 1 - 0.0000 -
2586.91/2595.37 c 2595 4490 158 1 - 0.0000 -
2592.39/2600.81 c 2601 4504 158 1 - 0.0000 -
2597.48/2605.94 c 2606 4518 158 1 - 0.0000 -
2603.67/2612.19 c 2612 4532 156 1 - 0.0000 -
2608.84/2617.36 c 2617 4546 156 1 - 0.0000 -
2614.23/2622.72 c 2623 4557 155 1 - 0.0000 -
2619.41/2627.97 c 2628 4568 156 1 - 0.0000 -
2624.50/2633.05 c 2633 4578 154 1 - 0.0000 -
2630.16/2638.71 c 2639 4584 156 1 - 0.0000 -
2636.46/2645.09 c 2645 4590 156 1 - 0.0000 -
2642.04/2650.63 c 2651 4601 159 1 - 0.0000 -
2647.43/2656.07 c 2656 4610 162 1 - 0.0000 -
2652.41/2661.10 c 2661 4618 162 1 - 0.0000 -
2658.28/2666.93 c 2667 4630 160 1 - 0.0000 -
2664.16/2672.89 c 2673 4640 160 1 - 0.0000 -
2671.14/2679.80 c 2680 4652 162 1 - 0.0000 -
2677.12/2685.81 c 2686 4667 161 1 - 0.0000 -
2683.00/2691.75 c 2692 4677 161 1 - 0.0000 -
2688.79/2697.53 c 2698 4687 159 1 - 0.0000 -
2694.67/2703.45 c 2703 4696 162 1 - 0.0000 -
2699.95/2708.76 c 2709 4709 161 1 - 0.0000 -
2705.13/2713.93 c 2714 4720 160 1 - 0.0000 -
2710.11/2718.96 c 2719 4731 159 1 - 0.0000 -
2715.89/2724.75 c 2725 4741 159 1 - 0.0000 -
2721.37/2730.23 c 2730 4754 160 1 - 0.0000 -
2727.05/2735.91 c 2736 4767 159 1 - 0.0000 -
2732.25/2741.18 c 2741 4776 162 1 - 0.0000 -
2737.82/2746.72 c 2747 4788 160 1 - 0.0000 -
2743.80/2752.75 c 2753 4801 161 1 - 0.0000 -
2749.38/2758.37 c 2758 4815 161 1 - 0.0000 -
2755.57/2764.52 c 2765 4826 158 1 - 0.0000 -
2761.46/2770.46 c 2770 4835 159 1 - 0.0000 -
2767.74/2776.72 c 2777 4844 158 1 - 0.0000 -
2773.03/2782.08 c 2782 4854 158 1 - 0.0000 -
2778.60/2787.68 c 2788 4864 156 1 - 0.0000 -
2784.10/2793.16 c 2793 4875 155 1 - 0.0000 -
2789.57/2798.62 c 2799 4885 155 1 - 0.0000 -
2795.75/2804.84 c 2805 4895 159 1 - 0.0000 -
2801.83/2811.01 c 2811 4907 159 1 - 0.0000 -
2807.80/2816.92 c 2817 4922 160 1 - 0.0000 -
2814.08/2823.29 c 2823 4940 160 1 - 0.0000 -
2819.67/2828.86 c 2829 4950 162 1 - 0.0000 -
2825.86/2835.10 c 2835 4969 161 1 - 0.0000 -
2831.43/2840.64 c 2841 4982 160 1 - 0.0000 -
2837.31/2846.57 c 2847 4986 0 1 - 0.0000 -
2888.84/2898.24 c 2898 4986 0 1 - 0.0000 -
2947.17/2956.70 c 2957 4987 1 1 - 0.0000 -
2966.01/2975.60 c 2976 4991 5 1 - 0.0000 -
2981.26/2990.99 c 2991 4997 11 1 - 0.0000 -
2989.93/2999.60 c 3000 5001 15 1 - 0.0000 -
2996.42/3006.17 c 3006 5005 19 1 - 0.0000 -
3004.41/3014.11 c 3014 5011 23 1 - 0.0000 -
3011.17/3020.93 c 3021 5019 23 1 - 0.0000 -
3016.45/3026.29 c 3026 5032 24 1 - 0.0000 -
3022.44/3032.30 c 3032 5064 24 1 - 0.0000 -
3028.71/3038.58 c 3039 5076 23 1 - 0.0000 -
3035.09/3044.94 c 3045 5089 24 1 - 0.0000 -
3040.29/3050.19 c 3050 5105 24 1 - 0.0000 -
3046.56/3056.46 c 3056 5123 24 1 - 0.0000 -
3053.04/3062.99 c 3063 5137 24 1 - 0.0000 -
3058.52/3068.47 c 3068 5139 26 1 - 0.0000 -
3063.70/3073.61 c 3074 5140 27 1 - 0.0000 -
3075.76/3085.76 c 3086 5141 28 1 - 0.0000 -
3081.35/3091.35 c 3091 5147 30 1 - 0.0000 -
3087.82/3097.87 c 3098 5163 30 1 - 0.0000 -
3093.71/3103.72 c 3104 5175 29 1 - 0.0000 -
3099.39/3109.47 c 3109 5194 28 1 - 0.0000 -
3105.27/3115.37 c 3115 5203 27 1 - 0.0000 -
3110.56/3120.65 c 3121 5214 28 1 - 0.0000 -
3116.24/3126.32 c 3126 5231 29 1 - 0.0000 -
3122.03/3132.16 c 3132 5261 31 1 - 0.0000 -
3127.91/3138.10 c 3138 5279 31 1 - 0.0000 -
3163.59/3173.84 c 3174 5281 33 1 - 0.0000 -
3169.78/3180.01 c 3180 5302 36 1 - 0.0000 -
3175.76/3186.05 c 3186 5321 39 1 - 0.0000 -
3180.85/3191.18 c 3191 5334 36 1 - 0.0000 -
3186.02/3196.33 c 3196 5347 37 1 - 0.0000 -
3191.10/3201.49 c 3201 5355 37 1 - 0.0000 -
3196.89/3207.20 c 3207 5370 40 1 - 0.0000 -
3202.47/3212.85 c 3213 5383 41 1 - 0.0000 -
3208.26/3218.64 c 3219 5398 44 1 - 0.0000 -
3213.54/3223.95 c 3224 5410 44 1 - 0.0000 -
3219.63/3230.07 c 3230 5426 44 1 - 0.0000 -
3224.80/3235.27 c 3235 5441 43 1 - 0.0000 -
3230.70/3241.14 c 3241 5459 45 1 - 0.0000 -
3236.27/3246.72 c 3247 5477 41 1 - 0.0000 -
3241.66/3252.16 c 3252 5504 42 1 - 0.0000 -
3247.43/3257.95 c 3258 5520 40 1 - 0.0000 -
3254.21/3264.72 c 3265 5538 40 1 - 0.0000 -
3259.19/3269.74 c 3270 5546 40 1 - 0.0000 -
3264.37/3274.97 c 3275 5558 42 1 - 0.0000 -
3269.76/3280.37 c 3280 5574 42 1 - 0.0000 -
3275.74/3286.38 c 3286 5585 43 1 - 0.0000 -
3282.02/3292.64 c 3293 5599 43 1 - 0.0000 -
3288.59/3299.23 c 3299 5621 41 1 - 0.0000 -
3293.98/3304.69 c 3305 5632 38 1 - 0.0000 -
3299.06/3309.75 c 3310 5644 38 1 - 0.0000 -
3304.45/3315.18 c 3315 5656 38 1 - 0.0000 -
3309.53/3320.26 c 3320 5673 37 1 - 0.0000 -
3314.91/3325.62 c 3326 5682 40 1 - 0.0000 -
3320.59/3331.33 c 3331 5696 38 1 - 0.0000 -
3325.77/3336.53 c 3337 5706 36 1 - 0.0000 -
3331.16/3341.97 c 3342 5717 39 1 - 0.0000 -
3337.35/3348.13 c 3348 5734 38 1 - 0.0000 -
3343.52/3354.38 c 3354 5747 39 1 - 0.0000 -
3349.10/3359.92 c 3360 5758 42 1 - 0.0000 -
3354.38/3365.27 c 3365 5773 41 1 - 0.0000 -
3359.47/3370.39 c 3370 5787 41 1 - 0.0000 -
3365.46/3376.30 c 3376 5808 42 1 - 0.0000 -
3370.64/3381.51 c 3382 5826 38 1 - 0.0000 -
3376.52/3387.45 c 3387 5841 41 1 - 0.0000 -
3381.71/3392.67 c 3393 5853 41 1 - 0.0000 -
3387.39/3398.40 c 3398 5881 41 1 - 0.0000 -
3392.87/3403.83 c 3404 5896 40 1 - 0.0000 -
3397.86/3408.86 c 3409 5916 42 1 - 0.0000 -
3403.64/3414.62 c 3415 5937 41 1 - 0.0000 -
3408.72/3419.78 c 3420 5955 37 1 - 0.0000 -
3414.70/3425.73 c 3426 5979 41 1 - 0.0000 -
3420.38/3431.45 c 3431 5990 38 1 - 0.0000 -
3426.57/3437.67 c 3438 6012 36 1 - 0.0000 -
3432.65/3443.73 c 3444 6025 37 1 - 0.0000 -
3438.63/3449.74 c 3450 6035 41 1 - 0.0000 -
3444.02/3455.19 c 3455 6052 40 1 - 0.0000 -
3450.09/3461.20 c 3461 6069 39 1 - 0.0000 -
3455.77/3466.98 c 3467 6082 36 1 - 0.0000 -
3461.86/3473.08 c 3473 6096 36 1 - 0.0000 -
3467.73/3478.99 c 3479 6110 38 1 - 0.0000 -
3473.02/3484.24 c 3484 6124 36 1 - 0.0000 -
3480.49/3491.72 c 3492 6141 41 1 - 0.0000 -
3486.18/3497.45 c 3497 6159 39 1 - 0.0000 -
3491.65/3502.95 c 3503 6172 36 1 - 0.0000 -
3497.74/3509.10 c 3509 6184 38 1 - 0.0000 -
3504.21/3515.51 c 3516 6200 36 1 - 0.0000 -
3509.81/3521.13 c 3521 6212 38 1 - 0.0000 -
3515.28/3526.69 c 3527 6225 37 1 - 0.0000 -
3520.36/3531.73 c 3532 6239 37 1 - 0.0000 -
3526.14/3537.52 c 3538 6252 38 1 - 0.0000 -
3531.82/3543.23 c 3543 6266 36 1 - 0.0000 -
3537.41/3548.87 c 3549 6279 37 1 - 0.0000 -
3543.09/3554.53 c 3555 6296 34 1 - 0.0000 -
3548.78/3560.29 c 3560 6309 39 1 - 0.0000 -
3553.86/3565.32 c 3565 6323 39 1 - 0.0000 -
3559.05/3570.51 c 3571 6335 39 1 - 0.0000 -
3564.93/3576.42 c 3576 6352 38 1 - 0.0000 -
3570.62/3582.15 c 3582 6371 41 1 - 0.0000 -
3575.69/3587.21 c 3587 6383 41 1 - 0.0000 -
3581.49/3593.07 c 3593 6401 41 1 - 0.0000 -
3586.47/3598.04 c SCIP Status : c solving was interrupted [hard time limit reached]
3586.47/3598.04 c Total Time : 3598.0400
3586.47/3598.04 c solving : 3598.0400
3586.47/3598.04 c presolving : 6.0444 (included in solving)
3586.47/3598.04 c B&B Tree :
3586.47/3598.04 c nodes (total) : 1
3586.47/3598.04 c Solution :
3586.47/3598.04 c Solutions found : 0
3586.47/3598.04 c Primal Bound : -
3586.47/3598.04 c Dual Bound : +0.00000000000000e+00
3586.47/3598.04 c Gap : -
3586.47/3598.08 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 (60780 MiB free)
memory of node 1: 64473 MiB (57291 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4464480-1722385793/watcher-4464480-1722385793 -o /tmp/evaluation-result-4464480-1722385793/solver-4464480-1722385793 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1722378594-30827 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4464480-1722385793.opb -qsol -t 3600 -sth 1
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=35077, runsolver pid=35074
Current StackSize limit: 8192 KiB
[startup+0.100096 s]*
/proc/loadavg: 4.11 4.11 4.12 5/250 35078
/proc/meminfo: memFree=120859076/131655788 swapFree=131071996/131071996
[pid=35077] ppid=35074 vsize=51652 memory=39592 CPUtime=0.1 cores=0,2
/proc/35077/stat : 35077 (fscip) R 35074 35077 30817 0 -1 4194304 7549 0 0 0 9 1 0 0 20 0 1 0 5175792 52891648 9898 134679101440 4194304 16623229 140728480928800 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 33513472 140728480932886 140728480933002 140728480933002 140728480940016 0
/proc/35077/statm: 12913 9898 2598 3035 0 9309 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 51652 KiB
Current children cumulated memory: 39592 KiB
[startup+0.213035 s]*
/proc/loadavg: 4.11 4.11 4.12 5/250 35078
/proc/meminfo: memFree=120850620/131655788 swapFree=131071996/131071996
[pid=35077] ppid=35074 vsize=58216 memory=47120 CPUtime=0.21 cores=0,2
/proc/35077/stat : 35077 (fscip) R 35074 35077 30817 0 -1 4194304 10232 0 0 0 19 2 0 0 20 0 1 0 5175792 59613184 11780 134679101440 4194304 16623229 140728480928800 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 33513472 140728480932886 140728480933002 140728480933002 140728480940016 0
/proc/35077/statm: 14554 11780 2662 3035 0 10950 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 58216 KiB
Current children cumulated memory: 47120 KiB
[startup+0.312861 s]*
/proc/loadavg: 4.11 4.11 4.12 5/250 35078
/proc/meminfo: memFree=120847372/131655788 swapFree=131071996/131071996
[pid=35077] ppid=35074 vsize=61856 memory=50696 CPUtime=0.32 cores=0,2
/proc/35077/stat : 35077 (fscip) R 35074 35077 30817 0 -1 4194304 11655 0 0 0 29 3 0 0 20 0 1 0 5175792 63340544 12674 134679101440 4194304 16623229 140728480928800 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 33513472 140728480932886 140728480933002 140728480933002 140728480940016 0
/proc/35077/statm: 15464 12674 2742 3035 0 11860 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 61856 KiB
Current children cumulated memory: 50696 KiB
[startup+0.700349 s]
/proc/loadavg: 4.11 4.11 4.12 5/250 35078
/proc/meminfo: memFree=120840236/131655788 swapFree=131071996/131071996
[pid=35077] ppid=35074 vsize=84140 memory=70780 CPUtime=0.69 cores=0,2
/proc/35077/stat : 35077 (fscip) R 35074 35077 30817 0 -1 4194304 16717 0 0 0 65 4 0 0 20 0 1 0 5175792 86159360 17695 134679101440 4194304 16623229 140728480928800 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 33513472 140728480932886 140728480933002 140728480933002 140728480940016 0
/proc/35077/statm: 21035 17695 2774 3035 0 17431 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 84140 KiB
Current children cumulated memory: 70780 KiB
[startup+1.50034 s]
/proc/loadavg: 4.11 4.11 4.12 6/250 35078
/proc/meminfo: memFree=120797104/131655788 swapFree=131071996/131071996
[pid=35077] ppid=35074 vsize=84140 memory=70780 CPUtime=1.48 cores=0,2
/proc/35077/stat : 35077 (fscip) R 35074 35077 30817 0 -1 4194304 16717 0 0 0 144 4 0 0 20 0 1 0 5175792 86159360 17695 134679101440 4194304 16623229 140728480928800 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 33513472 140728480932886 140728480933002 140728480933002 140728480940016 0
/proc/35077/statm: 21035 17695 2774 3035 0 17431 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 84140 KiB
Current children cumulated memory: 70780 KiB
[startup+3.11252 s]
/proc/loadavg: 4.10 4.11 4.12 6/243 35198
/proc/meminfo: memFree=121826996/131655788 swapFree=131071996/131071996
[pid=35077] ppid=35074 vsize=84140 memory=71572 CPUtime=3.09 cores=0,2
/proc/35077/stat : 35077 (fscip) R 35074 35077 30817 0 -1 4194304 16931 0 0 0 305 4 0 0 20 0 1 0 5175792 86159360 17893 134679101440 4194304 16623229 140728480928800 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 33513472 140728480932886 140728480933002 140728480933002 140728480940016 0
/proc/35077/statm: 21035 17893 2774 3035 0 17431 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 84140 KiB
Current children cumulated memory: 71572 KiB
[startup+6.30042 s]
/proc/loadavg: 4.10 4.11 4.12 5/250 35272
/proc/meminfo: memFree=121590444/131655788 swapFree=131071996/131071996
[pid=35077] ppid=35074 vsize=223364 memory=147904 CPUtime=6.26 cores=0,2
/proc/35077/stat : 35077 (fscip) S 35074 35077 30817 0 -1 1077936128 35984 0 0 0 618 8 0 0 20 0 3 0 5175792 228724736 36976 134679101440 4194304 16623229 140728480928800 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 33513472 140728480932886 140728480933002 140728480933002 140728480940016 0
/proc/35077/statm: 55841 36976 2806 3035 0 45390 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 223364 KiB
Current children cumulated memory: 147904 KiB
[startup+12.7004 s]
/proc/loadavg: 4.09 4.11 4.12 5/253 35331
/proc/meminfo: memFree=121348604/131655788 swapFree=131071996/131071996
[pid=35077] ppid=35074 vsize=223512 memory=173656 CPUtime=12.6 cores=0,2
/proc/35077/stat : 35077 (fscip) S 35074 35077 30817 0 -1 1077936128 58430 0 0 0 1249 11 0 0 20 0 3 0 5175792 228876288 43414 134679101440 4194304 16623229 140728480928800 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 33513472 140728480932886 140728480933002 140728480933002 140728480940016 0
/proc/35077/statm: 55878 43414 2966 3035 0 52009 0
[pid=35077/tid=35273] ppid=35074 vsize=223512 memory=0 CPUtime=6.5 cores=0,2
/proc/35077/task/35273/stat : 35273 (fscip) R 35074 35077 30817 0 -1 4194368 31508 0 0 0 645 5 0 0 20 0 3 0 5176404 228876288 43414 134679101440 4194304 16623229 140728480928800 0 0 0 0 0 2 0 0 0 -1 2 0 0 0 0 0 18838560 18947056 33513472 140728480932886 140728480933002 140728480933002 140728480940016 0
[pid=35077/tid=35274] ppid=35074 vsize=223512 memory=12036 CPUtime=0 cores=0,2
/proc/35077/task/35274/stat : 35274 (fscip) S 35074 35077 30817 0 -1 1077936192 16 0 0 0 0 0 0 0 20 0 3 0 5176408 228876288 43414 134679101440 4194304 16623229 140728480928800 0 0 0 0 0 2 1 0 0 -1 0 0 0 0 0 0 18838560 18947056 33513472 140728480932886 140728480933002 140728480933002 140728480940016 0
Current children cumulated CPU time: 12.6 s
Current children cumulated vsize: 223512 KiB
Current children cumulated memory: 173656 KiB
[startup+25.5004 s]
/proc/loadavg: 4.15 4.12 4.12 5/251 35332
/proc/meminfo: memFree=121317888/131655788 swapFree=131071996/131071996
[pid=35077] ppid=35074 vsize=290408 memory=175668 CPUtime=25.28 cores=0,2
/proc/35077/stat : 35077 (fscip) S 35074 35077 30817 0 -1 1077936128 66571 0 0 0 2517 11 0 0 20 0 3 0 5175792 297377792 43917 134679101440 4194304 16623229 140728480928800 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 33513472 140728480932886 140728480933002 140728480933002 140728480940016 0
/proc/35077/statm: 72602 43917 2966 3035 0 52774 0
[pid=35077/tid=35273] ppid=35074 vsize=290408 memory=175176 CPUtime=19.18 cores=0,2
/proc/35077/task/35273/stat : 35273 (fscip) R 35074 35077 30817 0 -1 4194368 39628 0 0 0 1913 5 0 0 20 0 3 0 5176404 297377792 43917 134679101440 4194304 16623229 140728480928800 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 33513472 140728480932886 140728480933002 140728480933002 140728480940016 0
[pid=35077/tid=35274] ppid=35074 vsize=290408 memory=12036 CPUtime=0 cores=0,2
/proc/35077/task/35274/stat : 35274 (fscip) S 35074 35077 30817 0 -1 1077936192 37 0 0 0 0 0 0 0 20 0 3 0 5176408 297377792 43917 134679101440 4194304 16623229 140728480928800 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 33513472 140728480932886 140728480933002 140728480933002 140728480940016 0
Current children cumulated CPU time: 25.28 s
Current children cumulated vsize: 290408 KiB
Current children cumulated memory: 175668 KiB
[startup+51.1127 s]
/proc/loadavg: 4.10 4.11 4.11 5/253 35339
/proc/meminfo: memFree=120947616/131655788 swapFree=131071996/131071996
[pid=35077] ppid=35074 vsize=295016 memory=235124 CPUtime=50.81 cores=0,2
/proc/35077/stat : 35077 (fscip) S 35074 35077 30817 0 -1 1077936128 107539 0 0 0 5066 15 0 0 20 0 3 0 5175792 302096384 58781 134679101440 4194304 16623229 140728480928800 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 33513472 140728480932886 140728480933002 140728480933002 140728480940016 0
/proc/35077/statm: 73754 58781 2982 3035 0 70106 0
[pid=35077/tid=35273] ppid=35074 vsize=295016 memory=175776 CPUtime=44.71 cores=0,2
/proc/35077/task/35273/stat : 35273 (fscip) R 35074 35077 30817 0 -1 4194368 80575 0 0 0 4462 9 0 0 20 0 3 0 5176404 302096384 58781 134679101440 4194304 16623229 140728480928800 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 33513472 140728480932886 140728480933002 140728480933002 140728480940016 0
[pid=35077/tid=35274] ppid=35074 vsize=295016 memory=175776 CPUtime=0 cores=0,2
/proc/35077/task/35274/stat : 35274 (fscip) S 35074 35077 30817 0 -1 1077936192 58 0 0 0 0 0 0 0 20 0 3 0 5176408 302096384 58781 134679101440 4194304 16623229 140728480928800 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 33513472 140728480932886 140728480933002 140728480933002 140728480940016 0
Current children cumulated CPU time: 50.81 s
Current children cumulated vsize: 295016 KiB
Current children cumulated memory: 235124 KiB
[startup+102.3 s]
/proc/loadavg: 4.09 4.11 4.11 5/252 35347
/proc/meminfo: memFree=120865976/131655788 swapFree=131071996/131071996
[pid=35077] ppid=35074 vsize=295016 memory=239756 CPUtime=101.83 cores=0,2
/proc/35077/stat : 35077 (fscip) S 35074 35077 30817 0 -1 1077936128 140521 0 0 0 10166 17 0 0 20 0 3 0 5175792 302096384 59939 134679101440 4194304 16623229 140728480928800 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 33513472 140728480932886 140728480933002 140728480933002 140728480940016 0
/proc/35077/statm: 73754 59939 2982 3035 0 70106 0
[pid=35077/tid=35273] ppid=35074 vsize=295016 memory=235724 CPUtime=95.73 cores=0,2
/proc/35077/task/35273/stat : 35273 (fscip) R 35074 35077 30817 0 -1 4194368 113543 0 0 0 9562 11 0 0 20 0 3 0 5176404 302096384 59939 134679101440 4194304 16623229 140728480928800 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 33513472 140728480932886 140728480933002 140728480933002 140728480940016 0
[pid=35077/tid=35274] ppid=35074 vsize=295016 memory=235724 CPUtime=0 cores=0,2
/proc/35077/task/35274/stat : 35274 (fscip) S 35074 35077 30817 0 -1 1077936192 72 0 0 0 0 0 0 0 20 0 3 0 5176408 302096384 59939 134679101440 4194304 16623229 140728480928800 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 33513472 140728480932886 140728480933002 140728480933002 140728480940016 0
Current children cumulated CPU time: 101.83 s
Current children cumulated vsize: 295016 KiB
Current children cumulated memory: 239756 KiB
[startup+162.3 s]
/proc/loadavg: 4.20 4.13 4.12 5/252 35358
/proc/meminfo: memFree=120840968/131655788 swapFree=131071996/131071996
[pid=35077] ppid=35074 vsize=295016 memory=241628 CPUtime=161.63 cores=0,2
/proc/35077/stat : 35077 (fscip) S 35074 35077 30817 0 -1 1077936128 180162 0 0 0 16142 21 0 0 20 0 3 0 5175792 302096384 60407 134679101440 4194304 16623229 140728480928800 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 33513472 140728480932886 140728480933002 140728480933002 140728480940016 0
/proc/35077/statm: 73754 60407 2982 3035 0 70109 0
[pid=35077/tid=35273] ppid=35074 vsize=295016 memory=12036 CPUtime=155.52 cores=0,2
/proc/35077/task/35273/stat : 35273 (fscip) R 35074 35077 30817 0 -1 4194368 153123 0 0 0 15538 14 0 0 20 0 3 0 5176404 302096384 60407 134679101440 4194304 16623229 140728480928800 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 33513472 140728480932886 140728480933002 140728480933002 140728480940016 0
[pid=35077/tid=35274] ppid=35074 vsize=295016 memory=-7667215107206767225 CPUtime=0 cores=0,2
/proc/35077/task/35274/stat : 35274 (fscip) S 35074 35077 30817 0 -1 1077936192 82 0 0 0 0 0 0 0 20 0 3 0 5176408 302096384 60407 134679101440 4194304 16623229 140728480928800 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 33513472 140728480932886 140728480933002 140728480933002 140728480940016 0
Current children cumulated CPU time: 161.63 s
Current children cumulated vsize: 295016 KiB
Current children cumulated memory: 241628 KiB
[startup+222.3 s]
/proc/loadavg: 4.12 4.12 4.11 5/250 35368
/proc/meminfo: memFree=120750248/131655788 swapFree=131071996/131071996
[pid=35077] ppid=35074 vsize=295016 memory=241832 CPUtime=221.44 cores=0,2
/proc/35077/stat : 35077 (fscip) S 35074 35077 30817 0 -1 1077936128 196777 0 0 0 22122 22 0 0 20 0 3 0 5175792 302096384 60458 134679101440 4194304 16623229 140728480928800 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 33513472 140728480932886 140728480933002 140728480933002 140728480940016 0
/proc/35077/statm: 73754 60458 3030 3035 0 70109 0
[pid=35077/tid=35273] ppid=35074 vsize=295016 memory=241832 CPUtime=215.33 cores=0,2
/proc/35077/task/35273/stat : 35273 (fscip) R 35074 35077 30817 0 -1 4194368 169702 0 0 0 21518 15 0 0 20 0 3 0 5176404 302096384 60458 134679101440 4194304 16623229 140728480928800 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 33513472 140728480932886 140728480933002 140728480933002 140728480940016 0
[pid=35077/tid=35274] ppid=35074 vsize=295016 memory=14936 CPUtime=0 cores=0,2
/proc/35077/task/35274/stat : 35274 (fscip) S 35074 35077 30817 0 -1 1077936192 95 0 0 0 0 0 0 0 20 0 3 0 5176408 302096384 60458 134679101440 4194304 16623229 140728480928800 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 33513472 140728480932886 140728480933002 140728480933002 140728480940016 0
Current children cumulated CPU time: 221.44 s
Current children cumulated vsize: 295016 KiB
Current children cumulated memory: 241832 KiB
[startup+282.3 s]
/proc/loadavg: 4.08 4.11 4.10 5/250 35378
/proc/meminfo: memFree=120680224/131655788 swapFree=131071996/131071996
[pid=35077] ppid=35074 vsize=295016 memory=241832 CPUtime=281.25 cores=0,2
/proc/35077/stat : 35077 (fscip) S 35074 35077 30817 0 -1 1077936128 217286 0 0 0 28102 23 0 0 20 0 3 0 5175792 302096384 60458 134679101440 4194304 16623229 140728480928800 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 33513472 140728480932886 140728480933002 140728480933002 140728480940016 0
/proc/35077/statm: 73754 60458 3030 3035 0 70109 0
[pid=35077/tid=35273] ppid=35074 vsize=295016 memory=5548 CPUtime=275.15 cores=0,2
/proc/35077/task/35273/stat : 35273 (fscip) R 35074 35077 30817 0 -1 4194368 190181 0 0 0 27498 17 0 0 20 0 3 0 5176404 302096384 60458 134679101440 4194304 16623229 140728480928800 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 33513472 140728480932886 140728480933002 140728480933002 140728480940016 0
[pid=35077/tid=35274] ppid=35074 vsize=295016 memory=241832 CPUtime=0 cores=0,2
/proc/35077/task/35274/stat : 35274 (fscip) S 35074 35077 30817 0 -1 1077936192 102 0 0 0 0 0 0 0 20 0 3 0 5176408 302096384 60458 134679101440 4194304 16623229 140728480928800 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 33513472 140728480932886 140728480933002 140728480933002 140728480940016 0
Current children cumulated CPU time: 281.25 s
################
# More data... #
################
/proc/35077/statm: 105218 91771 3334 3035 0 94881 0
[pid=35077/tid=35273] ppid=35074 vsize=420872 memory=367084 CPUtime=3385.05 cores=0,2
/proc/35077/task/35273/stat : 35273 (fscip) R 35074 35077 30817 0 -1 4194368 534200 0 0 0 338447 58 0 0 20 0 3 0 5176404 430972928 91771 134679101440 4194304 16623229 140728480928800 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 33513472 140728480932886 140728480933002 140728480933002 140728480940016 0
[pid=35077/tid=35274] ppid=35074 vsize=420872 memory=367084 CPUtime=0.04 cores=0,2
/proc/35077/task/35274/stat : 35274 (fscip) S 35074 35077 30817 0 -1 1077936192 265 0 0 0 1 3 0 0 20 0 3 0 5176408 430972928 91771 134679101440 4194304 16623229 140728480928800 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 33513472 140728480932886 140728480933002 140728480933002 140728480940016 0
Current children cumulated CPU time: 3391.38 s
Current children cumulated vsize: 420872 KiB
Current children cumulated memory: 367084 KiB
[startup+3462.3 s]
/proc/loadavg: 4.17 4.28 4.20 5/251 36924
/proc/meminfo: memFree=119254384/131655788 swapFree=131071996/131071996
[pid=35077] ppid=35074 vsize=420872 memory=367084 CPUtime=3451.19 cores=0,2
/proc/35077/stat : 35077 (fscip) S 35074 35077 30817 0 -1 1077936128 563085 0 0 0 345045 74 0 0 20 0 3 0 5175792 430972928 91771 134679101440 4194304 16623229 140728480928800 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 33513472 140728480932886 140728480933002 140728480933002 140728480940016 0
/proc/35077/statm: 105218 91771 3334 3035 0 94881 0
[pid=35077/tid=35273] ppid=35074 vsize=420872 memory=367084 CPUtime=3444.87 cores=0,2
/proc/35077/task/35273/stat : 35273 (fscip) R 35074 35077 30817 0 -1 4194368 535356 0 0 0 344428 59 0 0 20 0 3 0 5176404 430972928 91771 134679101440 4194304 16623229 140728480928800 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 33513472 140728480932886 140728480933002 140728480933002 140728480940016 0
[pid=35077/tid=35274] ppid=35074 vsize=420872 memory=367084 CPUtime=0.04 cores=0,2
/proc/35077/task/35274/stat : 35274 (fscip) S 35074 35077 30817 0 -1 1077936192 267 0 0 0 1 3 0 0 20 0 3 0 5176408 430972928 91771 134679101440 4194304 16623229 140728480928800 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 33513472 140728480932886 140728480933002 140728480933002 140728480940016 0
Current children cumulated CPU time: 3451.19 s
Current children cumulated vsize: 420872 KiB
Current children cumulated memory: 367084 KiB
[startup+3522.3 s]
/proc/loadavg: 4.16 4.26 4.19 5/252 37105
/proc/meminfo: memFree=119249996/131655788 swapFree=131071996/131071996
[pid=35077] ppid=35074 vsize=420872 memory=367084 CPUtime=3510.99 cores=0,2
/proc/35077/stat : 35077 (fscip) S 35074 35077 30817 0 -1 1077936128 564485 0 0 0 351025 74 0 0 20 0 3 0 5175792 430972928 91771 134679101440 4194304 16623229 140728480928800 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 33513472 140728480932886 140728480933002 140728480933002 140728480940016 0
/proc/35077/statm: 105218 91771 3334 3035 0 94881 0
[pid=35077/tid=35273] ppid=35074 vsize=420872 memory=367084 CPUtime=3504.67 cores=0,2
/proc/35077/task/35273/stat : 35273 (fscip) R 35074 35077 30817 0 -1 4194368 536747 0 0 0 350408 59 0 0 20 0 3 0 5176404 430972928 91771 134679101440 4194304 16623229 140728480928800 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 33513472 140728480932886 140728480933002 140728480933002 140728480940016 0
[pid=35077/tid=35274] ppid=35074 vsize=420872 memory=2316 CPUtime=0.05 cores=0,2
/proc/35077/task/35274/stat : 35274 (fscip) S 35074 35077 30817 0 -1 1077936192 269 0 0 0 1 4 0 0 20 0 3 0 5176408 430972928 91771 134679101440 4194304 16623229 140728480928800 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 33513472 140728480932886 140728480933002 140728480933002 140728480940016 0
Current children cumulated CPU time: 3510.99 s
Current children cumulated vsize: 420872 KiB
Current children cumulated memory: 367084 KiB
[startup+3582.3 s]
/proc/loadavg: 4.11 4.22 4.18 5/252 37116
/proc/meminfo: memFree=119238956/131655788 swapFree=131071996/131071996
[pid=35077] ppid=35074 vsize=420872 memory=367084 CPUtime=3570.81 cores=0,2
/proc/35077/stat : 35077 (fscip) S 35074 35077 30817 0 -1 1077936128 565680 0 0 0 357006 75 0 0 20 0 3 0 5175792 430972928 91771 134679101440 4194304 16623229 140728480928800 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 33513472 140728480932886 140728480933002 140728480933002 140728480940016 0
/proc/35077/statm: 105218 91771 3334 3035 0 94881 0
[pid=35077/tid=35273] ppid=35074 vsize=420872 memory=-7667215107206767225 CPUtime=3564.48 cores=0,2
/proc/35077/task/35273/stat : 35273 (fscip) R 35074 35077 30817 0 -1 4194368 537933 0 0 0 356389 59 0 0 20 0 3 0 5176404 430972928 91771 134679101440 4194304 16623229 140728480928800 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 33513472 140728480932886 140728480933002 140728480933002 140728480940016 0
[pid=35077/tid=35274] ppid=35074 vsize=420872 memory=15860 CPUtime=0.05 cores=0,2
/proc/35077/task/35274/stat : 35274 (fscip) S 35074 35077 30817 0 -1 1077936192 271 0 0 0 1 4 0 0 20 0 3 0 5176408 430972928 91771 134679101440 4194304 16623229 140728480928800 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 33513472 140728480932886 140728480933002 140728480933002 140728480940016 0
Current children cumulated CPU time: 3570.81 s
Current children cumulated vsize: 420872 KiB
Current children cumulated memory: 367084 KiB
[startup+3598.09 s]
# the end of solver process 35077 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3585.79 s, system=0.764339 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.10 4.22 4.18 5/252 37116
/proc/meminfo: memFree=119238620/131655788 swapFree=131071996/131071996
[pid=35077] ppid=35074 vsize=420872 memory=367084 CPUtime=3572.52 cores=0,2
/proc/35077/stat : 35077 (fscip) S 35074 35077 30817 0 -1 1077936128 565680 0 0 0 357177 75 0 0 20 0 3 0 5175792 430972928 91771 134679101440 4194304 16623229 140728480928800 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 33513472 140728480932886 140728480933002 140728480933002 140728480940016 0
/proc/35077/statm: 105218 91771 3334 3035 0 94881 0
[pid=35077/tid=35273] ppid=35074 vsize=420872 memory=7686721470247706567 CPUtime=3566.18 cores=0,2
/proc/35077/task/35273/stat : 35273 (fscip) R 35074 35077 30817 0 -1 4194368 537933 0 0 0 356559 59 0 0 20 0 3 0 5176404 430972928 91771 134679101440 4194304 16623229 140728480928800 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 33513472 140728480932886 140728480933002 140728480933002 140728480940016 0
[pid=35077/tid=35274] ppid=35074 vsize=420872 memory=4137571778489380505 CPUtime=0.05 cores=0,2
/proc/35077/task/35274/stat : 35274 (fscip) S 35074 35077 30817 0 -1 1077936192 271 0 0 0 1 4 0 0 20 0 3 0 5176408 430972928 91771 134679101440 4194304 16623229 140728480928800 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 33513472 140728480932886 140728480933002 140728480933002 140728480940016 0
Current children cumulated CPU time: 3572.52 s
Current children cumulated vsize: 420872 KiB
Current children cumulated memory: 367084 KiB
[startup+3590.4 s]
/proc/loadavg: 4.09 4.21 4.18 5/252 37118
/proc/meminfo: memFree=119237976/131655788 swapFree=131071996/131071996
[pid=35077] ppid=35074 vsize=420872 memory=367084 CPUtime=3578.88 cores=0,2
/proc/35077/stat : 35077 (fscip) S 35074 35077 30817 0 -1 1077936128 566148 0 0 0 357813 75 0 0 20 0 3 0 5175792 430972928 91771 134679101440 4194304 16623229 140728480928800 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 33513472 140728480932886 140728480933002 140728480933002 140728480940016 0
/proc/35077/statm: 105218 91771 3334 3035 0 94881 0
[pid=35077/tid=35273] ppid=35074 vsize=420872 memory=367084 CPUtime=3572.55 cores=0,2
/proc/35077/task/35273/stat : 35273 (fscip) R 35074 35077 30817 0 -1 4194368 538395 0 0 0 357196 59 0 0 20 0 3 0 5176404 430972928 91771 134679101440 4194304 16623229 140728480928800 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 33513472 140728480932886 140728480933002 140728480933002 140728480940016 0
[pid=35077/tid=35274] ppid=35074 vsize=420872 memory=367084 CPUtime=0.05 cores=0,2
/proc/35077/task/35274/stat : 35274 (fscip) S 35074 35077 30817 0 -1 1077936192 271 0 0 0 1 4 0 0 20 0 3 0 5176408 430972928 91771 134679101440 4194304 16623229 140728480928800 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 33513472 140728480932886 140728480933002 140728480933002 140728480940016 0
Current children cumulated CPU time: 3578.88 s
Current children cumulated vsize: 420872 KiB
Current children cumulated memory: 367084 KiB
[startup+3593.6 s]
/proc/loadavg: 4.09 4.21 4.18 5/252 37118
/proc/meminfo: memFree=119237804/131655788 swapFree=131071996/131071996
[pid=35077] ppid=35074 vsize=420872 memory=367084 CPUtime=3582.07 cores=0,2
/proc/35077/stat : 35077 (fscip) S 35074 35077 30817 0 -1 1077936128 566157 0 0 0 358132 75 0 0 20 0 3 0 5175792 430972928 91771 134679101440 4194304 16623229 140728480928800 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 33513472 140728480932886 140728480933002 140728480933002 140728480940016 0
/proc/35077/statm: 105218 91771 3334 3035 0 94881 0
[pid=35077/tid=35273] ppid=35074 vsize=420872 memory=12036 CPUtime=3575.74 cores=0,2
/proc/35077/task/35273/stat : 35273 (fscip) R 35074 35077 30817 0 -1 4194368 538404 0 0 0 357515 59 0 0 20 0 3 0 5176404 430972928 91771 134679101440 4194304 16623229 140728480928800 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 33513472 140728480932886 140728480933002 140728480933002 140728480940016 0
[pid=35077/tid=35274] ppid=35074 vsize=420872 memory=12036 CPUtime=0.05 cores=0,2
/proc/35077/task/35274/stat : 35274 (fscip) S 35074 35077 30817 0 -1 1077936192 271 0 0 0 1 4 0 0 20 0 3 0 5176408 430972928 91771 134679101440 4194304 16623229 140728480928800 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 33513472 140728480932886 140728480933002 140728480933002 140728480940016 0
Current children cumulated CPU time: 3582.07 s
Current children cumulated vsize: 420872 KiB
Current children cumulated memory: 367084 KiB
[startup+3595.2 s]
/proc/loadavg: 4.08 4.21 4.18 5/252 37118
/proc/meminfo: memFree=119237804/131655788 swapFree=131071996/131071996
[pid=35077] ppid=35074 vsize=420872 memory=367084 CPUtime=3583.67 cores=0,2
/proc/35077/stat : 35077 (fscip) S 35074 35077 30817 0 -1 1077936128 566157 0 0 0 358292 75 0 0 20 0 3 0 5175792 430972928 91771 134679101440 4194304 16623229 140728480928800 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 33513472 140728480932886 140728480933002 140728480933002 140728480940016 0
/proc/35077/statm: 105218 91771 3334 3035 0 94881 0
[pid=35077/tid=35273] ppid=35074 vsize=420872 memory=12036 CPUtime=3577.34 cores=0,2
/proc/35077/task/35273/stat : 35273 (fscip) R 35074 35077 30817 0 -1 4194368 538404 0 0 0 357675 59 0 0 20 0 3 0 5176404 430972928 91771 134679101440 4194304 16623229 140728480928800 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 33513472 140728480932886 140728480933002 140728480933002 140728480940016 0
[pid=35077/tid=35274] ppid=35074 vsize=420872 memory=367084 CPUtime=0.05 cores=0,2
/proc/35077/task/35274/stat : 35274 (fscip) S 35074 35077 30817 0 -1 1077936192 271 0 0 0 1 4 0 0 20 0 3 0 5176408 430972928 91771 134679101440 4194304 16623229 140728480928800 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 33513472 140728480932886 140728480933002 140728480933002 140728480940016 0
Current children cumulated CPU time: 3583.67 s
Current children cumulated vsize: 420872 KiB
Current children cumulated memory: 367084 KiB
[startup+3596.8 s]
/proc/loadavg: 4.08 4.21 4.18 5/252 37119
/proc/meminfo: memFree=119237524/131655788 swapFree=131071996/131071996
[pid=35077] ppid=35074 vsize=420872 memory=367084 CPUtime=3585.26 cores=0,2
/proc/35077/stat : 35077 (fscip) S 35074 35077 30817 0 -1 1077936128 566160 0 0 0 358451 75 0 0 20 0 3 0 5175792 430972928 91771 134679101440 4194304 16623229 140728480928800 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 33513472 140728480932886 140728480933002 140728480933002 140728480940016 0
/proc/35077/statm: 105218 91771 3334 3035 0 94881 0
[pid=35077/tid=35273] ppid=35074 vsize=420872 memory=-7667215107206767225 CPUtime=3578.93 cores=0,2
/proc/35077/task/35273/stat : 35273 (fscip) R 35074 35077 30817 0 -1 4194368 538407 0 0 0 357834 59 0 0 20 0 3 0 5176404 430972928 91771 134679101440 4194304 16623229 140728480928800 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 33513472 140728480932886 140728480933002 140728480933002 140728480940016 0
[pid=35077/tid=35274] ppid=35074 vsize=420872 memory=367084 CPUtime=0.05 cores=0,2
/proc/35077/task/35274/stat : 35274 (fscip) S 35074 35077 30817 0 -1 1077936192 271 0 0 0 1 4 0 0 20 0 3 0 5176408 430972928 91771 134679101440 4194304 16623229 140728480928800 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 33513472 140728480932886 140728480933002 140728480933002 140728480940016 0
Current children cumulated CPU time: 3585.26 s
Current children cumulated vsize: 420872 KiB
Current children cumulated memory: 367084 KiB
[startup+3597.6 s]
/proc/loadavg: 4.08 4.21 4.18 5/252 37119
/proc/meminfo: memFree=119237552/131655788 swapFree=131071996/131071996
[pid=35077] ppid=35074 vsize=420872 memory=367084 CPUtime=3586.06 cores=0,2
/proc/35077/stat : 35077 (fscip) S 35074 35077 30817 0 -1 1077936128 566160 0 0 0 358531 75 0 0 20 0 3 0 5175792 430972928 91771 134679101440 4194304 16623229 140728480928800 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 33513472 140728480932886 140728480933002 140728480933002 140728480940016 0
/proc/35077/statm: 105218 91771 3334 3035 0 94881 0
[pid=35077/tid=35273] ppid=35074 vsize=420872 memory=12036 CPUtime=3579.73 cores=0,2
/proc/35077/task/35273/stat : 35273 (fscip) R 35074 35077 30817 0 -1 4194368 538407 0 0 0 357914 59 0 0 20 0 3 0 5176404 430972928 91771 134679101440 4194304 16623229 140728480928800 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 33513472 140728480932886 140728480933002 140728480933002 140728480940016 0
[pid=35077/tid=35274] ppid=35074 vsize=420872 memory=5548 CPUtime=0.05 cores=0,2
/proc/35077/task/35274/stat : 35274 (fscip) S 35074 35077 30817 0 -1 1077936192 271 0 0 0 1 4 0 0 20 0 3 0 5176408 430972928 91771 134679101440 4194304 16623229 140728480928800 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 33513472 140728480932886 140728480933002 140728480933002 140728480940016 0
Current children cumulated CPU time: 3586.06 s
Current children cumulated vsize: 420872 KiB
Current children cumulated memory: 367084 KiB
[startup+3598 s]*
/proc/loadavg: 4.08 4.21 4.18 5/252 37119
/proc/meminfo: memFree=119237552/131655788 swapFree=131071996/131071996
[pid=35077] ppid=35074 vsize=420872 memory=367084 CPUtime=3586.47 cores=0,2
/proc/35077/stat : 35077 (fscip) S 35074 35077 30817 0 -1 1077936128 566195 0 0 0 358572 75 0 0 20 0 3 0 5175792 430972928 91771 134679101440 4194304 16623229 140728480928800 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 33513472 140728480932886 140728480933002 140728480933002 140728480940016 0
/proc/35077/statm: 105218 91771 3334 3035 0 94881 0
[pid=35077/tid=35273] ppid=35074 vsize=420872 memory=7686721470247706567 CPUtime=3580.14 cores=0,2
/proc/35077/task/35273/stat : 35273 (fscip) R 35074 35077 30817 0 -1 4194368 538449 0 0 0 357955 59 0 0 20 0 3 0 5176404 430972928 91771 134679101440 4194304 16623229 140728480928800 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 33513472 140728480932886 140728480933002 140728480933002 140728480940016 0
[pid=35077/tid=35274] ppid=35074 vsize=420872 memory=4137571778489380505 CPUtime=0.05 cores=0,2
/proc/35077/task/35274/stat : 35274 (fscip) S 35074 35077 30817 0 -1 1077936192 271 0 0 0 1 4 0 0 20 0 3 0 5176408 430972928 91771 134679101440 4194304 16623229 140728480928800 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 33513472 140728480932886 140728480933002 140728480933002 140728480940016 0
Current children cumulated CPU time: 3586.47 s
Current children cumulated vsize: 420872 KiB
Current children cumulated memory: 367084 KiB
Child status: 0
Real time (s): 3598.09
CPU time (s): 3586.56
CPU user time (s): 3585.79
CPU system time (s): 0.764339
CPU usage (%): 99.6795
Max. virtual memory (cumulated for all children) (KiB): 426692
Max. memory (cumulated for all children) (KiB): 367084
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3585.79
system time used= 0.764339
maximum resident set size= 367084
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 566827
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= 7801
involuntary context switches= 24642
# summary of solver processes directly reported to runsolver:
# pid: 35077
# total CPU time (s): 3586.56
# total CPU user time (s): 3585.79
# total CPU system time (s): 0.764339
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 19.2687 second user time and 32.8043 second system time
The end
Begin job on nodeC006 at 2024-07-31 02:29:53
IDJOB=4464480
IDBENCH=158339
IDSOLVER=3092
FILE ID=nodeC006/4464480-1722385793
RUNJOBID= nodeC006-1722378594-30827
SLURM_JOB_ID= 8249836
Free space on /tmp= 723696 MiB
SOLVER NAME= FiberSCIP 2024-07-30
BENCH NAME= PB24/normalized-PB12/DEC-LIN/sroussel/ShortestPathTate/normalized-TateBritain_K90.opb
COMMAND LINE= ./fscip settings/racing.prm BENCHNAME -qsol -t TIMEOUT -sth 1
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4464480-1722385793/watcher-4464480-1722385793 -o /tmp/evaluation-result-4464480-1722385793/solver-4464480-1722385793 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1722378594-30827 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4464480-1722385793.opb -qsol -t 3600 -sth 1
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= dd58632d9551a3604736dadf6eadc418
RANDOM SEED=1367756045
nodeC006.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 : 3469.036
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.46
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 : 3351.884
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.38
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.166
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.46
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 : 1197.167
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.38
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 : 3669.748
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.46
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 : 3665.336
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.38
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.348
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.46
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.298
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.38
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131655788 kB
MemFree: 120911984 kB
MemAvailable: 128685236 kB
Buffers: 105508 kB
Cached: 8435648 kB
SwapCached: 0 kB
Active: 279068 kB
Inactive: 9883652 kB
Active(anon): 1420 kB
Inactive(anon): 1641468 kB
Active(file): 277648 kB
Inactive(file): 8242184 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 58320 kB
Writeback: 16 kB
AnonPages: 1621628 kB
Mapped: 124296 kB
Shmem: 21320 kB
KReclaimable: 187236 kB
Slab: 274232 kB
SReclaimable: 187236 kB
SUnreclaim: 86996 kB
KernelStack: 4016 kB
PageTables: 12312 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196899888 kB
Committed_AS: 1096060 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 7200 kB
HardwareCorrupted: 0 kB
AnonHugePages: 1282048 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: 232264 kB
DirectMap2M: 16449536 kB
DirectMap1G: 119537664 kB
Free space on /tmp at the end= 723668 MiB
End job on nodeC006 at 2024-07-31 03:29:51