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 = 47230976, getVmSize() = 47230976, SCIPgetMemUsed() = 20240864, SCIPgetMemTotal() = 25023968, SCIPgetMemExternEstim() = 10873979
0.00/0.03 c ** set memory limit for presolving in LC to 8.79608e+12 for SCIP **
4.88/4.90 c ** Estimated virtualMemUsedAtSolver = 73411147, getVmSize() = 123985920, SCIPgetMemUsed() = 69733910, SCIPgetMemTotal() = 99242742, SCIPgetMemExternEstim() = 10873979
4.88/4.90 c ** set memory limit for solvers to 4.39804e+12 for each SCIP **
4.88/4.90 c Original Problem :
4.88/4.90 c Problem name : instance-4446950-1721344162
4.88/4.90 c Variables : 5576 (5576 binary, 0 integer, 0 implicit integer, 0 continuous)
4.88/4.90 c Constraints : 5742
4.88/4.90 c Objective sense : minimize
4.88/4.90 c Presolved Problem :
4.88/4.90 c Variables : 4845 (4845 binary, 0 integer, 0 implicit integer, 0 continuous)
4.88/4.90 c Constraints : 4993
4.88/4.90 c Constraints : Number
4.88/4.90 c setppc : 1071
4.88/4.90 c orbitope : 3
4.88/4.90 c logicor : 3919
4.88/4.90 c ** Instance transfer method used: 0
4.88/4.91 c ** ParaScipInstance copy increased the number of variables. **
4.88/4.92 c LC is working with racing ramp-up and with rebuilding tree after racing.
4.88/4.92 c Nodes Active
4.88/4.92 c Time Nodes Left Solvers Best Integer Best Node Gap Best Node(S) Gap(S)
104.75/105.12 c 105 2 1 1 - 0.0000 -
109.93/110.38 c 110 8 5 1 - 0.0000 -
117.01/117.48 c 117 13 10 1 - 0.0000 -
123.19/123.65 c 124 15 12 1 - 0.0000 -
128.38/128.83 c 129 24 17 1 - 0.0000 -
138.35/138.81 c 139 25 18 1 - 0.0000 -
143.34/143.84 c 144 35 20 1 - 0.0000 -
149.23/149.77 c 150 51 20 1 - 0.0000 -
154.21/154.78 c 155 63 26 1 - 0.0000 -
159.50/160.03 c 160 72 21 1 - 0.0000 -
164.49/165.08 c 165 81 22 1 - 0.0000 -
169.87/170.41 c 170 91 22 1 - 0.0000 -
175.15/175.70 c 176 101 22 1 - 0.0000 -
180.93/181.56 c 182 114 21 1 - 0.0000 -
186.02/186.65 c 187 124 21 1 - 0.0000 -
191.41/192.05 c 192 133 20 1 - 0.0000 -
196.99/197.61 c 198 147 22 1 - 0.0000 -
203.19/203.85 c 204 161 20 1 - 0.0000 -
210.25/210.93 c 211 180 29 1 - 0.0000 -
216.63/217.30 c 217 183 30 1 - 0.0000 -
233.78/234.50 c 235 188 31 1 - 0.0000 -
239.86/240.64 c 241 196 31 1 - 0.0000 -
267.70/268.55 c 269 197 32 1 - 0.0000 -
273.18/274.00 c 274 208 31 1 - 0.0000 -
278.47/279.32 c 279 217 30 1 - 0.0000 -
284.95/285.83 c 286 230 31 1 - 0.0000 -
290.94/291.89 c 292 240 35 1 - 0.0000 -
296.82/297.78 c 298 246 37 1 - 0.0000 -
301.91/302.87 c 303 254 37 1 - 0.0000 -
311.89/312.83 c 313 258 41 1 - 0.0000 -
357.57/358.63 c 359 263 46 1 - 0.0000 -
379.62/380.78 c 381 268 51 1 - 0.0000 -
388.00/389.15 c 389 272 57 1 - 0.0000 -
397.37/398.51 c 399 273 56 1 - 0.0000 -
404.06/405.27 c 405 278 61 1 - 0.0000 -
412.64/413.84 c 414 289 62 1 - 0.0000 -
451.74/453.00 c 453 292 65 1 - 0.0000 -
469.69/471.05 c 471 298 69 1 - 0.0000 -
476.07/477.44 c 477 300 71 1 - 0.0000 -
482.85/484.25 c 484 302 73 1 - 0.0000 -
497.02/498.43 c 498 303 74 1 - 0.0000 -
503.01/504.49 c 504 313 76 1 - 0.0000 -
509.59/511.02 c 511 315 78 1 - 0.0000 -
522.06/523.55 c 524 317 80 1 - 0.0000 -
529.34/530.83 c 531 319 82 1 - 0.0000 -
536.92/538.46 c 538 322 83 1 - 0.0000 -
545.50/547.06 c 547 324 85 1 - 0.0000 -
550.98/552.52 c 553 326 87 1 - 0.0000 -
560.86/562.47 c 562 327 88 1 - 0.0000 -
567.04/568.60 c 569 329 90 1 - 0.0000 -
575.53/577.18 c 577 331 92 1 - 0.0000 -
587.59/589.26 c 589 332 93 1 - 0.0000 -
594.78/596.45 c 596 334 95 1 - 0.0000 -
600.76/602.48 c 602 336 97 1 - 0.0000 -
606.84/608.58 c 609 337 98 1 - 0.0000 -
612.73/614.42 c 614 341 102 1 - 0.0000 -
619.81/621.57 c 622 344 103 1 - 0.0000 -
626.49/628.20 c 628 345 104 1 - 0.0000 -
746.00/748.00 c 748 347 106 1 - 0.0000 -
750.99/753.08 c 753 356 105 1 - 0.0000 -
758.86/760.91 c 761 365 108 1 - 0.0000 -
770.23/772.33 c 772 368 111 1 - 0.0000 -
775.42/777.53 c 778 377 110 1 - 0.0000 -
781.21/783.38 c 783 391 110 1 - 0.0000 -
786.69/788.83 c 789 398 111 1 - 0.0000 -
792.88/795.06 c 795 405 116 1 - 0.0000 -
798.97/801.11 c 801 418 117 1 - 0.0000 -
804.05/806.29 c 806 426 119 1 - 0.0000 -
809.34/811.58 c 812 433 120 1 - 0.0000 -
815.33/817.57 c 818 441 124 1 - 0.0000 -
820.82/823.07 c 823 447 126 1 - 0.0000 -
836.18/838.40 c 838 450 129 1 - 0.0000 -
844.76/847.01 c 847 455 134 1 - 0.0000 -
853.53/855.84 c 856 468 139 1 - 0.0000 -
860.91/863.23 c 863 477 142 1 - 0.0000 -
867.30/869.66 c 870 480 145 1 - 0.0000 -
873.08/875.40 c 875 485 148 1 - 0.0000 -
878.17/880.57 c 881 486 149 1 - 0.0000 -
884.35/886.77 c 887 497 148 1 - 0.0000 -
890.74/893.17 c 893 507 150 1 - 0.0000 -
895.93/898.36 c 898 509 152 1 - 0.0000 -
902.11/904.57 c 905 524 153 1 - 0.0000 -
912.29/914.75 c 915 527 156 1 - 0.0000 -
919.77/922.28 c 922 533 160 1 - 0.0000 -
925.66/928.13 c 928 540 165 1 - 0.0000 -
931.84/934.39 c 934 545 166 1 - 0.0000 -
938.12/940.69 c 941 549 166 1 - 0.0000 -
943.81/946.30 c 946 554 169 1 - 0.0000 -
949.99/952.51 c 953 557 172 1 - 0.0000 -
954.98/957.59 c 958 560 175 1 - 0.0000 -
960.07/962.69 c 963 562 177 1 - 0.0000 -
967.35/969.91 c 970 570 179 1 - 0.0000 -
974.93/977.57 c 978 575 182 1 - 0.0000 -
980.12/982.76 c 983 584 183 1 - 0.0000 -
986.70/989.31 c 989 589 184 1 - 0.0000 -
992.39/995.06 c 995 593 184 1 - 0.0000 -
997.38/1000.06 c 1000 601 184 1 - 0.0000 -
1003.06/1005.73 c 1006 609 186 1 - 0.0000 -
1008.55/1011.29 c 1011 622 187 1 - 0.0000 -
1015.03/1017.75 c 1018 630 191 1 - 0.0000 -
1027.90/1030.69 c 1031 637 196 1 - 0.0000 -
1033.09/1035.83 c 1036 643 196 1 - 0.0000 -
1044.66/1047.43 c 1047 650 201 1 - 0.0000 -
1050.35/1053.14 c 1053 653 204 1 - 0.0000 -
1056.13/1058.91 c 1059 656 205 1 - 0.0000 -
1061.52/1064.39 c 1064 664 209 1 - 0.0000 -
1067.10/1069.92 c 1070 671 212 1 - 0.0000 -
1075.78/1078.69 c 1079 678 217 1 - 0.0000 -
1083.66/1086.54 c 1087 681 220 1 - 0.0000 -
1095.63/1098.58 c 1099 683 222 1 - 0.0000 -
1100.82/1103.78 c 1104 686 225 1 - 0.0000 -
1108.99/1111.91 c 1112 688 227 1 - 0.0000 -
1113.99/1116.99 c 1117 695 230 1 - 0.0000 -
1119.57/1122.58 c 1123 702 233 1 - 0.0000 -
1124.75/1127.71 c 1128 712 231 1 - 0.0000 -
1131.04/1134.04 c 1134 723 234 1 - 0.0000 -
1136.32/1139.38 c 1139 736 233 1 - 0.0000 -
1142.40/1145.49 c 1146 743 234 1 - 0.0000 -
1148.88/1151.97 c 1152 748 235 1 - 0.0000 -
1158.65/1161.70 c 1162 752 239 1 - 0.0000 -
1163.94/1167.03 c 1167 762 239 1 - 0.0000 -
1170.21/1173.37 c 1173 773 242 1 - 0.0000 -
1175.89/1179.09 c 1179 786 247 1 - 0.0000 -
1180.98/1184.13 c 1184 800 245 1 - 0.0000 -
1186.66/1189.81 c 1190 802 247 1 - 0.0000 -
1195.03/1198.21 c 1198 804 249 1 - 0.0000 -
1200.42/1203.62 c 1204 819 246 1 - 0.0000 -
1205.90/1209.12 c 1209 827 246 1 - 0.0000 -
1212.08/1215.34 c 1215 835 246 1 - 0.0000 -
1220.55/1223.89 c 1224 838 249 1 - 0.0000 -
1225.65/1228.97 c 1229 842 253 1 - 0.0000 -
1231.03/1234.30 c 1234 857 254 1 - 0.0000 -
1236.72/1240.05 c 1240 869 254 1 - 0.0000 -
1242.70/1246.01 c 1246 884 255 1 - 0.0000 -
1248.68/1252.05 c 1252 907 256 1 - 0.0000 -
1254.26/1257.64 c 1258 921 256 1 - 0.0000 -
1261.04/1264.42 c 1264 931 258 1 - 0.0000 -
1266.82/1270.21 c 1270 948 257 1 - 0.0000 -
1272.71/1276.14 c 1276 965 260 1 - 0.0000 -
1278.00/1281.44 c 1281 977 258 1 - 0.0000 -
1283.88/1287.33 c 1287 994 254 1 - 0.0000 -
1288.87/1292.34 c 1292 1000 256 1 - 0.0000 -
1294.36/1297.84 c 1298 1008 258 1 - 0.0000 -
1299.94/1303.45 c 1303 1020 260 1 - 0.0000 -
1306.93/1310.46 c 1310 1022 262 1 - 0.0000 -
1311.91/1315.48 c 1315 1025 263 1 - 0.0000 -
1320.00/1323.58 c 1324 1028 266 1 - 0.0000 -
1325.08/1328.69 c 1329 1043 269 1 - 0.0000 -
1330.27/1333.85 c 1334 1060 270 1 - 0.0000 -
1336.16/1339.72 c 1340 1077 267 1 - 0.0000 -
1341.74/1345.30 c 1345 1091 263 1 - 0.0000 -
1347.93/1351.53 c 1352 1118 270 1 - 0.0000 -
1352.92/1356.59 c 1357 1133 269 1 - 0.0000 -
1358.30/1361.97 c 1362 1143 267 1 - 0.0000 -
1363.79/1367.48 c 1367 1150 270 1 - 0.0000 -
1368.87/1372.51 c 1373 1165 269 1 - 0.0000 -
1375.06/1378.70 c 1379 1174 270 1 - 0.0000 -
1380.74/1384.47 c 1384 1195 271 1 - 0.0000 -
1386.44/1390.19 c 1390 1221 273 1 - 0.0000 -
1391.52/1395.20 c 1395 1238 272 1 - 0.0000 -
1397.11/1400.83 c 1401 1253 269 1 - 0.0000 -
1402.50/1406.27 c 1406 1260 268 1 - 0.0000 -
1408.18/1411.92 c 1412 1276 268 1 - 0.0000 -
1417.27/1421.09 c 1421 1282 272 1 - 0.0000 -
1423.25/1427.10 c 1427 1303 271 1 - 0.0000 -
1428.83/1432.61 c 1433 1310 272 1 - 0.0000 -
1436.22/1440.06 c 1440 1320 272 1 - 0.0000 -
1441.60/1445.44 c 1445 1322 274 1 - 0.0000 -
1447.39/1451.30 c 1451 1324 274 1 - 0.0000 -
1453.07/1456.97 c 1457 1336 276 1 - 0.0000 -
1459.16/1463.09 c 1463 1345 277 1 - 0.0000 -
1465.25/1469.19 c 1469 1354 280 1 - 0.0000 -
1470.33/1474.27 c 1474 1360 284 1 - 0.0000 -
1475.82/1479.74 c 1480 1378 284 1 - 0.0000 -
1481.30/1485.26 c 1485 1395 281 1 - 0.0000 -
1486.70/1490.68 c 1491 1400 284 1 - 0.0000 -
1491.88/1495.88 c 1496 1417 283 1 - 0.0000 -
1498.27/1502.25 c 1502 1430 288 1 - 0.0000 -
1503.36/1507.33 c 1507 1440 283 1 - 0.0000 -
1510.14/1514.19 c 1514 1449 286 1 - 0.0000 -
1516.32/1520.36 c 1520 1463 286 1 - 0.0000 -
1522.20/1526.26 c 1526 1477 286 1 - 0.0000 -
1527.99/1532.07 c 1532 1492 289 1 - 0.0000 -
1533.87/1537.91 c 1538 1509 288 1 - 0.0000 -
1540.76/1544.82 c 1545 1520 289 1 - 0.0000 -
1546.64/1550.74 c 1551 1537 288 1 - 0.0000 -
1551.62/1555.74 c 1556 1548 285 1 - 0.0000 -
1556.71/1560.86 c 1561 1560 283 1 - 0.0000 -
1561.90/1566.06 c 1566 1566 285 1 - 0.0000 -
1568.47/1572.62 c 1573 1569 288 1 - 0.0000 -
1575.96/1580.13 c 1580 1574 293 1 - 0.0000 -
1595.49/1599.71 c 1600 1577 296 1 - 0.0000 -
1601.87/1606.14 c 1606 1594 297 1 - 0.0000 -
1607.76/1612.04 c 1612 1616 297 1 - 0.0000 -
1612.74/1617.07 c 1617 1625 298 1 - 0.0000 -
1619.51/1623.86 c 1624 1630 299 1 - 0.0000 -
1645.03/1649.47 c 1649 1634 303 1 - 0.0000 -
1650.22/1654.69 c 1655 1646 305 1 - 0.0000 -
1655.80/1660.25 c 1660 1658 303 1 - 0.0000 -
1662.59/1667.03 c 1667 1674 303 1 - 0.0000 -
1670.56/1675.00 c 1675 1677 306 1 - 0.0000 -
1675.74/1680.29 c 1680 1694 309 1 - 0.0000 -
1681.42/1685.94 c 1686 1716 309 1 - 0.0000 -
1687.10/1691.60 c 1692 1726 307 1 - 0.0000 -
1692.59/1697.12 c 1697 1740 307 1 - 0.0000 -
1697.67/1702.29 c 1702 1748 305 1 - 0.0000 -
1703.15/1707.71 c 1708 1757 306 1 - 0.0000 -
1708.34/1712.97 c 1713 1765 306 1 - 0.0000 -
1713.72/1718.30 c 1718 1770 307 1 - 0.0000 -
1719.31/1723.93 c 1724 1774 305 1 - 0.0000 -
1725.09/1729.72 c 1730 1786 307 1 - 0.0000 -
1730.48/1735.14 c 1735 1793 306 1 - 0.0000 -
1735.75/1740.43 c 1740 1800 305 1 - 0.0000 -
1741.44/1746.11 c 1746 1813 306 1 - 0.0000 -
1746.82/1751.53 c 1752 1829 308 1 - 0.0000 -
1752.90/1757.62 c 1758 1848 307 1 - 0.0000 -
1758.09/1762.87 c 1763 1863 306 1 - 0.0000 -
1764.27/1769.03 c 1769 1882 305 1 - 0.0000 -
1769.45/1774.23 c 1774 1892 305 1 - 0.0000 -
1775.23/1780.09 c 1780 1907 304 1 - 0.0000 -
1780.42/1785.23 c 1785 1924 303 1 - 0.0000 -
1786.70/1791.50 c 1792 1933 304 1 - 0.0000 -
1796.27/1801.19 c 1801 1935 306 1 - 0.0000 -
1802.16/1807.02 c 1807 1947 304 1 - 0.0000 -
1808.03/1812.91 c 1813 1950 301 1 - 0.0000 -
1814.21/1819.12 c 1819 1955 304 1 - 0.0000 -
1820.29/1825.23 c 1825 1968 307 1 - 0.0000 -
1826.18/1831.14 c 1831 1988 307 1 - 0.0000 -
1831.65/1836.65 c 1837 2002 309 1 - 0.0000 -
1837.74/1842.78 c 1843 2019 310 1 - 0.0000 -
1844.22/1849.28 c 1849 2037 310 1 - 0.0000 -
1850.40/1855.44 c 1855 2054 307 1 - 0.0000 -
1855.79/1860.81 c 1861 2072 307 1 - 0.0000 -
1861.67/1866.78 c 1867 2085 308 1 - 0.0000 -
1867.65/1872.70 c 1873 2097 308 1 - 0.0000 -
1873.23/1878.33 c 1878 2111 306 1 - 0.0000 -
1879.12/1884.21 c 1884 2123 308 1 - 0.0000 -
1885.20/1890.34 c 1890 2141 308 1 - 0.0000 -
1890.48/1895.63 c 1896 2151 308 1 - 0.0000 -
1896.66/1901.83 c 1902 2169 308 1 - 0.0000 -
1901.75/1906.96 c 1907 2179 306 1 - 0.0000 -
1907.13/1912.33 c 1912 2190 307 1 - 0.0000 -
1912.61/1917.87 c 1918 2205 306 1 - 0.0000 -
1918.69/1923.92 c 1924 2228 307 1 - 0.0000 -
1924.57/1929.85 c 1930 2247 306 1 - 0.0000 -
1930.56/1935.87 c 1936 2268 305 1 - 0.0000 -
1935.94/1941.23 c 1941 2285 306 1 - 0.0000 -
1941.02/1946.36 c 1946 2299 306 1 - 0.0000 -
1946.01/1951.38 c 1951 2309 304 1 - 0.0000 -
1951.99/1957.30 c 1957 2319 304 1 - 0.0000 -
1958.47/1963.86 c 1964 2336 303 1 - 0.0000 -
1963.86/1969.20 c 1969 2349 304 1 - 0.0000 -
1969.54/1974.97 c 1975 2363 304 1 - 0.0000 -
1975.42/1980.85 c 1981 2380 303 1 - 0.0000 -
1980.91/1986.36 c 1986 2393 306 1 - 0.0000 -
1986.19/1991.64 c 1992 2403 306 1 - 0.0000 -
1991.28/1996.70 c 1997 2414 307 1 - 0.0000 -
1996.46/2001.99 c 2002 2432 305 1 - 0.0000 -
2002.44/2007.90 c 2008 2445 306 1 - 0.0000 -
2007.43/2012.97 c 2013 2454 305 1 - 0.0000 -
2012.81/2018.32 c 2018 2468 307 1 - 0.0000 -
2018.29/2023.85 c 2024 2479 304 1 - 0.0000 -
2024.47/2030.00 c 2030 2498 307 1 - 0.0000 -
2030.65/2036.27 c 2036 2518 305 1 - 0.0000 -
2035.73/2041.35 c 2041 2527 304 1 - 0.0000 -
2040.92/2046.50 c 2047 2539 303 1 - 0.0000 -
2047.40/2053.06 c 2053 2545 303 1 - 0.0000 -
2052.58/2058.20 c 2058 2554 306 1 - 0.0000 -
2058.47/2064.18 c 2064 2569 307 1 - 0.0000 -
2067.64/2073.37 c 2073 2572 310 1 - 0.0000 -
2072.73/2078.46 c 2078 2582 310 1 - 0.0000 -
2078.11/2083.86 c 2084 2593 309 1 - 0.0000 -
2083.69/2089.41 c 2089 2602 308 1 - 0.0000 -
2088.78/2094.54 c 2095 2610 308 1 - 0.0000 -
2094.06/2099.88 c 2100 2622 310 1 - 0.0000 -
2100.14/2105.92 c 2106 2639 313 1 - 0.0000 -
2105.63/2111.44 c 2111 2656 310 1 - 0.0000 -
2111.01/2116.88 c 2117 2671 307 1 - 0.0000 -
2118.48/2124.39 c 2124 2676 308 1 - 0.0000 -
2132.94/2138.87 c 2139 2680 312 1 - 0.0000 -
2138.92/2144.89 c 2145 2685 313 1 - 0.0000 -
2164.94/2170.96 c 2171 2692 314 1 - 0.0000 -
2170.13/2176.11 c 2176 2698 316 1 - 0.0000 -
2176.41/2182.40 c 2182 2704 316 1 - 0.0000 -
2182.39/2188.40 c 2188 2717 317 1 - 0.0000 -
2187.67/2193.78 c 2194 2729 317 1 - 0.0000 -
2193.96/2200.05 c 2200 2739 321 1 - 0.0000 -
2199.34/2205.49 c 2206 2752 320 1 - 0.0000 -
2204.93/2211.08 c 2211 2761 320 1 - 0.0000 -
2211.20/2217.37 c 2217 2780 317 1 - 0.0000 -
2216.78/2222.97 c 2223 2793 320 1 - 0.0000 -
2222.37/2228.51 c 2229 2805 320 1 - 0.0000 -
2227.75/2233.91 c 2234 2822 321 1 - 0.0000 -
2233.63/2239.89 c 2240 2842 323 1 - 0.0000 -
2238.82/2245.02 c 2245 2857 320 1 - 0.0000 -
2244.10/2250.30 c 2250 2873 320 1 - 0.0000 -
2249.89/2256.17 c 2256 2888 319 1 - 0.0000 -
2255.26/2261.55 c 2262 2898 321 1 - 0.0000 -
2261.05/2267.39 c 2267 2914 323 1 - 0.0000 -
2267.43/2273.79 c 2274 2934 321 1 - 0.0000 -
2273.11/2279.45 c 2279 2956 319 1 - 0.0000 -
2279.29/2285.61 c 2286 2969 318 1 - 0.0000 -
2284.68/2291.08 c 2291 2981 318 1 - 0.0000 -
2289.96/2296.37 c 2296 2996 319 1 - 0.0000 -
2295.14/2301.52 c 2302 3003 320 1 - 0.0000 -
2301.22/2307.61 c 2308 3015 320 1 - 0.0000 -
2307.00/2313.47 c 2313 3031 320 1 - 0.0000 -
2312.69/2319.11 c 2319 3047 316 1 - 0.0000 -
2318.08/2324.58 c 2325 3062 321 1 - 0.0000 -
2323.56/2330.01 c 2330 3079 318 1 - 0.0000 -
2329.24/2335.78 c 2336 3099 318 1 - 0.0000 -
2334.53/2341.09 c 2341 3108 317 1 - 0.0000 -
2340.10/2346.69 c 2347 3127 322 1 - 0.0000 -
2345.89/2352.43 c 2352 3142 319 1 - 0.0000 -
2351.57/2358.17 c 2358 3151 320 1 - 0.0000 -
2356.76/2363.34 c 2363 3167 324 1 - 0.0000 -
2361.94/2368.54 c 2369 3183 322 1 - 0.0000 -
2367.93/2374.54 c 2375 3200 321 1 - 0.0000 -
2373.91/2380.56 c 2381 3218 319 1 - 0.0000 -
2379.20/2385.89 c 2386 3233 320 1 - 0.0000 -
2384.99/2391.62 c 2392 3252 317 1 - 0.0000 -
2391.07/2397.71 c 2398 3262 319 1 - 0.0000 -
2396.96/2403.66 c 2404 3278 321 1 - 0.0000 -
2402.94/2409.61 c 2410 3300 323 1 - 0.0000 -
2409.13/2415.83 c 2416 3320 317 1 - 0.0000 -
2414.21/2420.98 c 2421 3336 321 1 - 0.0000 -
2420.31/2427.03 c 2427 3353 320 1 - 0.0000 -
2425.29/2432.07 c 2432 3366 321 1 - 0.0000 -
2430.58/2437.30 c 2437 3385 322 1 - 0.0000 -
2435.56/2442.35 c 2442 3401 318 1 - 0.0000 -
2441.16/2447.95 c 2448 3417 320 1 - 0.0000 -
2446.55/2453.35 c 2453 3427 320 1 - 0.0000 -
2452.34/2459.17 c 2459 3438 319 1 - 0.0000 -
2457.72/2464.53 c 2465 3454 319 1 - 0.0000 -
2463.41/2470.21 c 2470 3465 320 1 - 0.0000 -
2469.69/2476.53 c 2477 3483 320 1 - 0.0000 -
2475.58/2482.41 c 2482 3496 319 1 - 0.0000 -
2480.77/2487.66 c 2488 3508 319 1 - 0.0000 -
2486.16/2493.00 c 2493 3522 319 1 - 0.0000 -
2492.14/2499.07 c 2499 3536 319 1 - 0.0000 -
2497.62/2504.52 c 2505 3545 318 1 - 0.0000 -
2503.22/2510.17 c 2510 3556 319 1 - 0.0000 -
2508.30/2515.22 c 2515 3564 319 1 - 0.0000 -
2514.09/2521.10 c 2521 3588 321 1 - 0.0000 -
2519.77/2526.77 c 2527 3615 320 1 - 0.0000 -
2524.96/2531.94 c 2532 3631 322 1 - 0.0000 -
2531.15/2538.17 c 2538 3656 321 1 - 0.0000 -
2536.53/2543.50 c 2544 3669 322 1 - 0.0000 -
2541.72/2548.79 c 2549 3684 319 1 - 0.0000 -
2548.20/2555.28 c 2555 3695 320 1 - 0.0000 -
2553.49/2560.57 c 2561 3713 324 1 - 0.0000 -
2559.48/2566.56 c 2567 3740 325 1 - 0.0000 -
2565.56/2572.62 c 2573 3767 322 1 - 0.0000 -
2571.15/2578.26 c 2578 3785 320 1 - 0.0000 -
2576.64/2583.77 c 2584 3797 322 1 - 0.0000 -
2582.82/2589.91 c 2590 3815 322 1 - 0.0000 -
2588.81/2595.99 c 2596 3826 321 1 - 0.0000 -
2594.59/2601.78 c 2602 3842 323 1 - 0.0000 -
2600.78/2607.90 c 2608 3858 321 1 - 0.0000 -
2605.97/2613.14 c 2613 3872 321 1 - 0.0000 -
2611.96/2619.15 c 2619 3883 320 1 - 0.0000 -
2617.44/2624.66 c 2625 3898 321 1 - 0.0000 -
2622.72/2629.95 c 2630 3911 320 1 - 0.0000 -
2627.92/2635.18 c 2635 3926 321 1 - 0.0000 -
2633.30/2640.55 c 2641 3939 318 1 - 0.0000 -
2638.99/2646.27 c 2646 3959 320 1 - 0.0000 -
2644.07/2651.38 c 2651 3970 323 1 - 0.0000 -
2649.46/2656.71 c 2657 3985 318 1 - 0.0000 -
2654.95/2662.29 c 2662 3993 318 1 - 0.0000 -
2660.43/2667.73 c 2668 4005 322 1 - 0.0000 -
2666.32/2673.64 c 2674 4017 322 1 - 0.0000 -
2672.51/2679.86 c 2680 4033 320 1 - 0.0000 -
2677.99/2685.33 c 2685 4047 320 1 - 0.0000 -
2683.98/2691.38 c 2691 4062 321 1 - 0.0000 -
2689.86/2697.21 c 2697 4078 321 1 - 0.0000 -
2695.05/2702.41 c 2702 4093 320 1 - 0.0000 -
2700.14/2707.52 c 2708 4104 321 1 - 0.0000 -
2706.73/2714.15 c 2714 4118 321 1 - 0.0000 -
2712.61/2720.03 c 2720 4137 320 1 - 0.0000 -
2717.89/2725.38 c 2725 4147 320 1 - 0.0000 -
2723.48/2730.90 c 2731 4160 321 1 - 0.0000 -
2728.77/2736.23 c 2736 4175 322 1 - 0.0000 -
2733.75/2741.29 c 2741 4194 321 1 - 0.0000 -
2738.94/2746.41 c 2746 4213 322 1 - 0.0000 -
2745.03/2752.57 c 2753 4238 321 1 - 0.0000 -
2750.31/2757.81 c 2758 4253 320 1 - 0.0000 -
2756.60/2764.10 c 2764 4267 318 1 - 0.0000 -
2762.18/2769.79 c 2770 4280 321 1 - 0.0000 -
2767.38/2774.93 c 2775 4301 318 1 - 0.0000 -
2772.86/2780.45 c 2780 4309 320 1 - 0.0000 -
2777.95/2785.59 c 2786 4322 319 1 - 0.0000 -
2783.24/2790.87 c 2791 4334 319 1 - 0.0000 -
2789.62/2797.29 c 2797 4350 319 1 - 0.0000 -
2794.91/2802.50 c 2803 4362 321 1 - 0.0000 -
2800.40/2808.05 c 2808 4379 322 1 - 0.0000 -
2805.39/2813.09 c 2813 4395 320 1 - 0.0000 -
2811.67/2819.36 c 2819 4411 322 1 - 0.0000 -
2816.65/2824.39 c 2824 4426 319 1 - 0.0000 -
2821.74/2829.46 c 2829 4448 319 1 - 0.0000 -
2827.53/2835.29 c 2835 4461 318 1 - 0.0000 -
2832.72/2840.42 c 2840 4477 318 1 - 0.0000 -
2838.20/2845.94 c 2846 4489 316 1 - 0.0000 -
2843.30/2851.07 c 2851 4502 317 1 - 0.0000 -
2848.78/2856.50 c 2856 4514 317 1 - 0.0000 -
2854.37/2862.10 c 2862 4526 315 1 - 0.0000 -
2859.55/2867.35 c 2867 4538 315 1 - 0.0000 -
2865.44/2873.25 c 2873 4555 316 1 - 0.0000 -
2872.52/2880.38 c 2880 4572 321 1 - 0.0000 -
2878.21/2886.09 c 2886 4588 319 1 - 0.0000 -
2883.59/2891.46 c 2891 4596 323 1 - 0.0000 -
2905.74/2913.69 c 2914 4598 325 1 - 0.0000 -
2911.33/2919.23 c 2919 4603 326 1 - 0.0000 -
2917.02/2924.97 c 2925 4617 330 1 - 0.0000 -
2930.58/2938.52 c 2939 4624 335 1 - 0.0000 -
2935.87/2943.80 c 2944 4630 339 1 - 0.0000 -
2941.36/2949.38 c 2949 4640 337 1 - 0.0000 -
2947.34/2955.34 c 2955 4657 338 1 - 0.0000 -
2996.73/3004.88 c 3005 4666 0 1 - 0.0000 -
3013.39/3021.53 c 3022 4667 1 1 - 0.0000 -
3020.37/3028.51 c 3029 4672 6 1 - 0.0000 -
3033.64/3041.85 c 3042 4674 8 1 - 0.0000 -
3054.39/3062.62 c 3063 4675 9 1 - 0.0000 -
3070.15/3078.49 c 3078 4677 11 1 - 0.0000 -
3092.70/3101.05 c 3101 4678 12 1 - 0.0000 -
3103.27/3111.64 c 3112 4679 13 1 - 0.0000 -
3116.54/3124.97 c 3125 4680 14 1 - 0.0000 -
3130.21/3138.61 c 3139 4681 15 1 - 0.0000 -
3151.27/3159.72 c 3160 4685 19 1 - 0.0000 -
3164.64/3173.16 c 3173 4687 21 1 - 0.0000 -
3183.09/3191.66 c 3192 4688 22 1 - 0.0000 -
3202.95/3211.58 c 3212 4689 23 1 - 0.0000 -
3216.02/3224.64 c 3225 4690 24 1 - 0.0000 -
3226.99/3235.69 c 3236 4691 25 1 - 0.0000 -
3233.18/3241.82 c 3242 4696 30 1 - 0.0000 -
3238.96/3247.64 c 3248 4705 31 1 - 0.0000 -
3244.85/3253.51 c 3254 4718 31 1 - 0.0000 -
3250.23/3258.97 c 3259 4723 32 1 - 0.0000 -
3256.12/3264.85 c 3265 4737 30 1 - 0.0000 -
3261.71/3270.44 c 3270 4751 30 1 - 0.0000 -
3267.19/3275.99 c 3276 4763 30 1 - 0.0000 -
3273.78/3282.58 c 3283 4769 32 1 - 0.0000 -
3280.27/3289.04 c 3289 4772 35 1 - 0.0000 -
3285.35/3294.15 c 3294 4785 36 1 - 0.0000 -
3291.73/3300.59 c 3301 4800 35 1 - 0.0000 -
3297.82/3306.69 c 3307 4815 36 1 - 0.0000 -
3303.01/3311.88 c 3312 4825 36 1 - 0.0000 -
3308.69/3317.56 c 3318 4841 34 1 - 0.0000 -
3314.38/3323.26 c 3323 4854 35 1 - 0.0000 -
3319.97/3328.80 c 3329 4869 36 1 - 0.0000 -
3326.26/3335.12 c 3335 4883 36 1 - 0.0000 -
3332.14/3341.03 c 3341 4893 37 1 - 0.0000 -
3337.53/3346.47 c 3346 4909 35 1 - 0.0000 -
3343.01/3351.90 c 3352 4924 38 1 - 0.0000 -
3348.60/3357.51 c 3358 4940 40 1 - 0.0000 -
3353.59/3362.56 c 3363 4950 40 1 - 0.0000 -
3358.68/3367.62 c 3368 4965 37 1 - 0.0000 -
3364.56/3373.59 c 3374 4989 37 1 - 0.0000 -
3369.75/3378.76 c 3379 5005 37 1 - 0.0000 -
3374.84/3383.81 c 3384 5023 35 1 - 0.0000 -
3380.22/3389.21 c 3389 5039 34 1 - 0.0000 -
3385.51/3394.53 c 3395 5046 39 1 - 0.0000 -
3391.60/3400.64 c 3401 5060 37 1 - 0.0000 -
3397.18/3406.27 c 3406 5073 42 1 - 0.0000 -
3402.27/3411.39 c 3411 5087 42 1 - 0.0000 -
3408.35/3417.43 c 3417 5099 40 1 - 0.0000 -
3414.74/3423.84 c 3424 5110 39 1 - 0.0000 -
3420.82/3429.96 c 3430 5120 37 1 - 0.0000 -
3426.02/3435.11 c 3435 5129 36 1 - 0.0000 -
3432.00/3441.18 c 3441 5140 37 1 - 0.0000 -
3437.58/3446.71 c 3447 5150 39 1 - 0.0000 -
3442.67/3451.86 c 3452 5162 37 1 - 0.0000 -
3448.06/3457.26 c 3457 5171 36 1 - 0.0000 -
3453.74/3462.93 c 3463 5182 39 1 - 0.0000 -
3458.84/3468.03 c 3468 5190 39 1 - 0.0000 -
3464.72/3473.90 c 3474 5202 37 1 - 0.0000 -
3470.60/3479.89 c 3480 5213 36 1 - 0.0000 -
3475.69/3484.91 c 3485 5223 36 1 - 0.0000 -
3481.28/3490.54 c 3491 5231 36 1 - 0.0000 -
3487.07/3496.30 c 3496 5255 38 1 - 0.0000 -
3492.46/3501.78 c 3502 5264 35 1 - 0.0000 -
3497.55/3506.80 c 3507 5275 34 1 - 0.0000 -
3503.14/3512.46 c 3512 5287 34 1 - 0.0000 -
3508.62/3517.99 c 3518 5292 33 1 - 0.0000 -
3513.82/3523.17 c 3523 5301 34 1 - 0.0000 -
3519.60/3528.96 c 3529 5317 35 1 - 0.0000 -
3525.79/3535.15 c 3535 5333 33 1 - 0.0000 -
3531.17/3540.53 c 3541 5345 33 1 - 0.0000 -
3536.66/3546.00 c 3546 5355 34 1 - 0.0000 -
3541.94/3551.35 c 3551 5367 32 1 - 0.0000 -
3547.43/3556.85 c 3557 5381 34 1 - 0.0000 -
3552.72/3562.18 c 3562 5393 34 1 - 0.0000 -
3558.71/3568.16 c 3568 5409 32 1 - 0.0000 -
3563.99/3573.49 c 3574 5421 32 1 - 0.0000 -
3569.08/3578.52 c 3579 5433 32 1 - 0.0000 -
3574.27/3583.71 c 3584 5442 35 1 - 0.0000 -
3580.56/3590.04 c 3590 5451 38 1 - 0.0000 -
3586.93/3596.45 c 3596 5463 42 1 - 0.0000 -
3590.53/3600.05 c SCIP Status : c solving was interrupted [hard time limit reached]
3590.53/3600.05 c Total Time : 3600.0400
3590.53/3600.05 c solving : 3600.0400
3590.53/3600.05 c presolving : 4.8667 (included in solving)
3590.53/3600.05 c B&B Tree :
3590.53/3600.05 c nodes (total) : 1
3590.53/3600.05 c Solution :
3590.53/3600.05 c Solutions found : 0
3590.53/3600.05 c Primal Bound : -
3590.53/3600.05 c Dual Bound : +0.00000000000000e+00
3590.53/3600.05 c Gap : -
3590.53/3600.05 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 (61902 MiB free)
memory of node 1: 64510 MiB (63204 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4446950-1721344162/watcher-4446950-1721344162 -o /tmp/evaluation-result-4446950-1721344162/solver-4446950-1721344162 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC015-1721340572-980430 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4446950-1721344162.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=982814, runsolver pid=982811
Current StackSize limit: 8192 KiB
[startup+0.1001 s]*
/proc/loadavg: 4.18 4.27 4.18 5/254 982815
/proc/meminfo: memFree=128072540/131524600 swapFree=131071996/131071996
[pid=982814] ppid=982811 vsize=55988 memory=44788 CPUtime=0.09 cores=1,3
/proc/982814/stat : 982814 (fscip) R 982811 982814 980418 0 -1 4194304 9645 0 0 0 8 1 0 0 20 0 1 0 186576420 57331712 11197 134679101440 4194304 16613245 140728367336640 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 31236096 140728367338516 140728367338632 140728367338632 140728367345648 0
/proc/982814/statm: 13997 11197 2638 3032 0 10397 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 55988 KiB
Current children cumulated memory: 44788 KiB
[startup+0.205581 s]*
/proc/loadavg: 4.18 4.27 4.18 5/254 982815
/proc/meminfo: memFree=128060892/131524600 swapFree=131071996/131071996
[pid=982814] ppid=982811 vsize=70312 memory=56672 CPUtime=0.2 cores=1,3
/proc/982814/stat : 982814 (fscip) R 982811 982814 980418 0 -1 4194304 13110 0 0 0 18 2 0 0 20 0 1 0 186576420 71999488 14168 134679101440 4194304 16613245 140728367336640 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 31236096 140728367338516 140728367338632 140728367338632 140728367345648 0
/proc/982814/statm: 17578 14168 2718 3032 0 13978 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 70312 KiB
Current children cumulated memory: 56672 KiB
[startup+0.305586 s]*
/proc/loadavg: 4.18 4.27 4.18 5/254 982815
/proc/meminfo: memFree=128049672/131524600 swapFree=131071996/131071996
[pid=982814] ppid=982811 vsize=78392 memory=64888 CPUtime=0.3 cores=1,3
/proc/982814/stat : 982814 (fscip) R 982811 982814 980418 0 -1 4194304 15148 0 0 0 28 2 0 0 20 0 1 0 186576420 80273408 16222 134679101440 4194304 16613245 140728367336640 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 31236096 140728367338516 140728367338632 140728367338632 140728367345648 0
/proc/982814/statm: 19598 16222 2734 3032 0 15998 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 78392 KiB
Current children cumulated memory: 64888 KiB
[startup+0.700256 s]
/proc/loadavg: 4.18 4.27 4.18 5/254 982815
/proc/meminfo: memFree=128046648/131524600 swapFree=131071996/131071996
[pid=982814] ppid=982811 vsize=79336 memory=65672 CPUtime=0.69 cores=1,3
/proc/982814/stat : 982814 (fscip) R 982811 982814 980418 0 -1 4194304 15372 0 0 0 67 2 0 0 20 0 1 0 186576420 81240064 16418 134679101440 4194304 16613245 140728367336640 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 31236096 140728367338516 140728367338632 140728367338632 140728367345648 0
/proc/982814/statm: 19834 16418 2734 3032 0 16234 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 79336 KiB
Current children cumulated memory: 65672 KiB
[startup+1.50025 s]
/proc/loadavg: 4.18 4.27 4.18 5/254 982815
/proc/meminfo: memFree=128046060/131524600 swapFree=131071996/131071996
[pid=982814] ppid=982811 vsize=79336 memory=66200 CPUtime=1.49 cores=1,3
/proc/982814/stat : 982814 (fscip) R 982811 982814 980418 0 -1 4194304 15499 0 0 0 147 2 0 0 20 0 1 0 186576420 81240064 16550 134679101440 4194304 16613245 140728367336640 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 31236096 140728367338516 140728367338632 140728367338632 140728367345648 0
/proc/982814/statm: 19834 16550 2734 3032 0 16234 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 79336 KiB
Current children cumulated memory: 66200 KiB
[startup+3.10548 s]
/proc/loadavg: 4.18 4.27 4.18 5/254 982815
/proc/meminfo: memFree=128043732/131524600 swapFree=131071996/131071996
[pid=982814] ppid=982811 vsize=79336 memory=66200 CPUtime=3.09 cores=1,3
/proc/982814/stat : 982814 (fscip) R 982811 982814 980418 0 -1 4194304 15499 0 0 0 307 2 0 0 20 0 1 0 186576420 81240064 16550 134679101440 4194304 16613245 140728367336640 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 31236096 140728367338516 140728367338632 140728367338632 140728367345648 0
/proc/982814/statm: 19834 16550 2734 3032 0 16234 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 79336 KiB
Current children cumulated memory: 66200 KiB
[startup+6.30088 s]
/proc/loadavg: 4.17 4.27 4.18 5/256 982817
/proc/meminfo: memFree=127957884/131524600 swapFree=131071996/131071996
[pid=982814] ppid=982811 vsize=213956 memory=143664 CPUtime=6.26 cores=1,3
/proc/982814/stat : 982814 (fscip) S 982811 982814 980418 0 -1 1077936128 39100 0 0 0 621 5 0 0 20 0 3 0 186576420 219090944 35916 134679101440 4194304 16613245 140728367336640 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 31236096 140728367338516 140728367338632 140728367338632 140728367345648 0
/proc/982814/statm: 53489 35916 2782 3032 0 43952 0
[pid=982814/tid=982816] ppid=982811 vsize=213956 memory=-6657000186946173803 CPUtime=1.36 cores=1,3
/proc/982814/task/982816/stat : 982816 (fscip) R 982811 982814 980418 0 -1 4194368 14302 0 0 0 135 1 0 0 20 0 3 0 186576910 219090944 35916 134679101440 4194304 16613245 140728367336640 0 0 0 0 0 2 0 0 0 -1 3 0 0 0 0 0 18822208 18930672 31236096 140728367338516 140728367338632 140728367338632 140728367345648 0
[pid=982814/tid=982817] ppid=982811 vsize=213956 memory=143580 CPUtime=0 cores=1,3
/proc/982814/task/982817/stat : 982817 (fscip) S 982811 982814 980418 0 -1 1077936192 4 0 0 0 0 0 0 0 20 0 3 0 186576912 219090944 35916 134679101440 4194304 16613245 140728367336640 0 0 0 0 0 2 1 0 0 -1 1 0 0 0 0 0 18822208 18930672 31236096 140728367338516 140728367338632 140728367338632 140728367345648 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 213956 KiB
Current children cumulated memory: 143664 KiB
[startup+12.7003 s]
/proc/loadavg: 4.15 4.26 4.18 5/258 982821
/proc/meminfo: memFree=127834356/131524600 swapFree=131071996/131071996
[pid=982814] ppid=982811 vsize=214116 memory=162296 CPUtime=12.61 cores=1,3
/proc/982814/stat : 982814 (fscip) S 982811 982814 980418 0 -1 1077936128 54345 0 0 0 1255 6 0 0 20 0 3 0 186576420 219254784 40574 134679101440 4194304 16613245 140728367336640 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 31236096 140728367338516 140728367338632 140728367338632 140728367345648 0
/proc/982814/statm: 53529 40574 2926 3032 0 48820 0
[pid=982814/tid=982816] ppid=982811 vsize=214116 memory=11400 CPUtime=7.71 cores=1,3
/proc/982814/task/982816/stat : 982816 (fscip) R 982811 982814 980418 0 -1 4194368 29531 0 0 0 769 2 0 0 20 0 3 0 186576910 219254784 40574 134679101440 4194304 16613245 140728367336640 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 31236096 140728367338516 140728367338632 140728367338632 140728367345648 0
[pid=982814/tid=982817] ppid=982811 vsize=214116 memory=162176 CPUtime=0 cores=1,3
/proc/982814/task/982817/stat : 982817 (fscip) S 982811 982814 980418 0 -1 1077936192 20 0 0 0 0 0 0 0 20 0 3 0 186576912 219254784 40574 134679101440 4194304 16613245 140728367336640 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 31236096 140728367338516 140728367338632 140728367338632 140728367345648 0
Current children cumulated CPU time: 12.61 s
Current children cumulated vsize: 214116 KiB
Current children cumulated memory: 162296 KiB
[startup+25.5003 s]
/proc/loadavg: 4.12 4.25 4.18 5/258 982822
/proc/meminfo: memFree=127826928/131524600 swapFree=131071996/131071996
[pid=982814] ppid=982811 vsize=214116 memory=163116 CPUtime=25.38 cores=1,3
/proc/982814/stat : 982814 (fscip) S 982811 982814 980418 0 -1 1077936128 64284 0 0 0 2531 7 0 0 20 0 3 0 186576420 219254784 40779 134679101440 4194304 16613245 140728367336640 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 31236096 140728367338516 140728367338632 140728367338632 140728367345648 0
/proc/982814/statm: 53529 40779 2926 3032 0 48975 0
[pid=982814/tid=982816] ppid=982811 vsize=214116 memory=163100 CPUtime=20.48 cores=1,3
/proc/982814/task/982816/stat : 982816 (fscip) R 982811 982814 980418 0 -1 4194368 39449 0 0 0 2045 3 0 0 20 0 3 0 186576910 219254784 40779 134679101440 4194304 16613245 140728367336640 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 31236096 140728367338516 140728367338632 140728367338632 140728367345648 0
[pid=982814/tid=982817] ppid=982811 vsize=214116 memory=163028 CPUtime=0 cores=1,3
/proc/982814/task/982817/stat : 982817 (fscip) S 982811 982814 980418 0 -1 1077936192 41 0 0 0 0 0 0 0 20 0 3 0 186576912 219254784 40779 134679101440 4194304 16613245 140728367336640 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 31236096 140728367338516 140728367338632 140728367338632 140728367345648 0
Current children cumulated CPU time: 25.38 s
Current children cumulated vsize: 214116 KiB
Current children cumulated memory: 163116 KiB
[startup+51.1054 s]
/proc/loadavg: 4.22 4.26 4.18 5/262 982833
/proc/meminfo: memFree=127367808/131524600 swapFree=131071996/131071996
[pid=982814] ppid=982811 vsize=285200 memory=232708 CPUtime=50.91 cores=1,3
/proc/982814/stat : 982814 (fscip) S 982811 982814 980418 0 -1 1077936128 104633 0 0 0 5078 13 0 0 20 0 3 0 186576420 292044800 58177 134679101440 4194304 16613245 140728367336640 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 31236096 140728367338516 140728367338632 140728367338632 140728367345648 0
/proc/982814/statm: 71300 58177 2942 3032 0 67055 0
[pid=982814/tid=982816] ppid=982811 vsize=285200 memory=-6657000186946173803 CPUtime=46.01 cores=1,3
/proc/982814/task/982816/stat : 982816 (fscip) R 982811 982814 980418 0 -1 4194368 79777 0 0 0 4592 9 0 0 20 0 3 0 186576910 292044800 58177 134679101440 4194304 16613245 140728367336640 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 31236096 140728367338516 140728367338632 140728367338632 140728367345648 0
[pid=982814/tid=982817] ppid=982811 vsize=285200 memory=11400 CPUtime=0 cores=1,3
/proc/982814/task/982817/stat : 982817 (fscip) S 982811 982814 980418 0 -1 1077936192 62 0 0 0 0 0 0 0 20 0 3 0 186576912 292044800 58177 134679101440 4194304 16613245 140728367336640 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 31236096 140728367338516 140728367338632 140728367338632 140728367345648 0
Current children cumulated CPU time: 50.91 s
Current children cumulated vsize: 285200 KiB
Current children cumulated memory: 232708 KiB
[startup+102.3 s]
/proc/loadavg: 4.14 4.24 4.18 5/264 982844
/proc/meminfo: memFree=126983204/131524600 swapFree=131071996/131071996
[pid=982814] ppid=982811 vsize=285200 memory=234980 CPUtime=101.95 cores=1,3
/proc/982814/stat : 982814 (fscip) S 982811 982814 980418 0 -1 1077936128 149546 0 0 0 10179 16 0 0 20 0 3 0 186576420 292044800 58745 134679101440 4194304 16613245 140728367336640 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 31236096 140728367338516 140728367338632 140728367338632 140728367345648 0
/proc/982814/statm: 71300 58745 2942 3032 0 67055 0
[pid=982814/tid=982816] ppid=982811 vsize=285200 memory=11400 CPUtime=97.05 cores=1,3
/proc/982814/task/982816/stat : 982816 (fscip) R 982811 982814 980418 0 -1 4194368 124680 0 0 0 9693 12 0 0 20 0 3 0 186576910 292044800 58745 134679101440 4194304 16613245 140728367336640 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 31236096 140728367338516 140728367338632 140728367338632 140728367345648 0
[pid=982814/tid=982817] ppid=982811 vsize=285200 memory=44432 CPUtime=0 cores=1,3
/proc/982814/task/982817/stat : 982817 (fscip) S 982811 982814 980418 0 -1 1077936192 72 0 0 0 0 0 0 0 20 0 3 0 186576912 292044800 58745 134679101440 4194304 16613245 140728367336640 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 31236096 140728367338516 140728367338632 140728367338632 140728367345648 0
Current children cumulated CPU time: 101.95 s
Current children cumulated vsize: 285200 KiB
Current children cumulated memory: 234980 KiB
[startup+162.3 s]
/proc/loadavg: 4.09 4.20 4.17 5/264 982854
/proc/meminfo: memFree=126951984/131524600 swapFree=131071996/131071996
[pid=982814] ppid=982811 vsize=285200 memory=235840 CPUtime=161.79 cores=1,3
/proc/982814/stat : 982814 (fscip) S 982811 982814 980418 0 -1 1077936128 189798 0 0 0 16160 19 0 0 20 0 3 0 186576420 292044800 58960 134679101440 4194304 16613245 140728367336640 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 31236096 140728367338516 140728367338632 140728367338632 140728367345648 0
/proc/982814/statm: 71300 58960 2990 3032 0 67686 0
[pid=982814/tid=982816] ppid=982811 vsize=285200 memory=235832 CPUtime=156.89 cores=1,3
/proc/982814/task/982816/stat : 982816 (fscip) R 982811 982814 980418 0 -1 4194368 164847 0 0 0 15674 15 0 0 20 0 3 0 186576910 292044800 58960 134679101440 4194304 16613245 140728367336640 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 31236096 140728367338516 140728367338632 140728367338632 140728367345648 0
[pid=982814/tid=982817] ppid=982811 vsize=285200 memory=235840 CPUtime=0 cores=1,3
/proc/982814/task/982817/stat : 982817 (fscip) S 982811 982814 980418 0 -1 1077936192 82 0 0 0 0 0 0 0 20 0 3 0 186576912 292044800 58960 134679101440 4194304 16613245 140728367336640 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 31236096 140728367338516 140728367338632 140728367338632 140728367345648 0
Current children cumulated CPU time: 161.79 s
Current children cumulated vsize: 285200 KiB
Current children cumulated memory: 235840 KiB
[startup+222.3 s]
/proc/loadavg: 4.13 4.20 4.17 5/264 982864
/proc/meminfo: memFree=126928964/131524600 swapFree=131071996/131071996
[pid=982814] ppid=982811 vsize=350736 memory=238844 CPUtime=221.61 cores=1,3
/proc/982814/stat : 982814 (fscip) S 982811 982814 980418 0 -1 1077936128 215751 0 0 0 22140 21 0 0 20 0 3 0 186576420 359153664 59711 134679101440 4194304 16613245 140728367336640 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 31236096 140728367338516 140728367338632 140728367338632 140728367345648 0
/proc/982814/statm: 87684 59711 2990 3032 0 70585 0
[pid=982814/tid=982816] ppid=982811 vsize=350736 memory=235864 CPUtime=216.71 cores=1,3
/proc/982814/task/982816/stat : 982816 (fscip) R 982811 982814 980418 0 -1 4194368 190768 0 0 0 21654 17 0 0 20 0 3 0 186576910 359153664 59711 134679101440 4194304 16613245 140728367336640 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 31236096 140728367338516 140728367338632 140728367338632 140728367345648 0
[pid=982814/tid=982817] ppid=982811 vsize=350736 memory=238844 CPUtime=0 cores=1,3
/proc/982814/task/982817/stat : 982817 (fscip) S 982811 982814 980418 0 -1 1077936192 92 0 0 0 0 0 0 0 20 0 3 0 186576912 359153664 59711 134679101440 4194304 16613245 140728367336640 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 31236096 140728367338516 140728367338632 140728367338632 140728367345648 0
Current children cumulated CPU time: 221.61 s
Current children cumulated vsize: 350736 KiB
Current children cumulated memory: 238844 KiB
[startup+282.3 s]
/proc/loadavg: 4.10 4.17 4.16 5/264 982877
/proc/meminfo: memFree=126851724/131524600 swapFree=131071996/131071996
[pid=982814] ppid=982811 vsize=350736 memory=238860 CPUtime=281.46 cores=1,3
/proc/982814/stat : 982814 (fscip) S 982811 982814 980418 0 -1 1077936128 237620 0 0 0 28122 24 0 0 20 0 3 0 186576420 359153664 59715 134679101440 4194304 16613245 140728367336640 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 31236096 140728367338516 140728367338632 140728367338632 140728367345648 0
/proc/982814/statm: 87684 59715 2990 3032 0 70585 0
[pid=982814/tid=982816] ppid=982811 vsize=350736 memory=1904 CPUtime=276.55 cores=1,3
/proc/982814/task/982816/stat : 982816 (fscip) R 982811 982814 980418 0 -1 4194368 212585 0 0 0 27636 19 0 0 20 0 3 0 186576910 359153664 59715 134679101440 4194304 16613245 140728367336640 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 31236096 140728367338516 140728367338632 140728367338632 140728367345648 0
################
# More data... #
################
/proc/982814/statm: 103159 87435 2990 3032 0 91215 0
[pid=982814/tid=982816] ppid=982811 vsize=412636 memory=349740 CPUtime=3388.26 cores=1,3
/proc/982814/task/982816/stat : 982816 (fscip) R 982811 982814 980418 0 -1 4194368 471790 0 0 0 338775 51 0 0 20 0 3 0 186576910 422539264 87435 134679101440 4194304 16613245 140728367336640 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 31236096 140728367338516 140728367338632 140728367338632 140728367345648 0
[pid=982814/tid=982817] ppid=982811 vsize=412636 memory=2620 CPUtime=0.02 cores=1,3
/proc/982814/task/982817/stat : 982817 (fscip) S 982811 982814 980418 0 -1 1077936192 263 0 0 0 1 1 0 0 20 0 3 0 186576912 422539264 87435 134679101440 4194304 16613245 140728367336640 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 31236096 140728367338516 140728367338632 140728367338632 140728367345648 0
Current children cumulated CPU time: 3393.29 s
Current children cumulated vsize: 412636 KiB
Current children cumulated memory: 349740 KiB
[startup+3462.3 s]
/proc/loadavg: 4.13 4.12 4.09 5/262 984638
/proc/meminfo: memFree=126138632/131524600 swapFree=131071996/131071996
[pid=982814] ppid=982811 vsize=412636 memory=349740 CPUtime=3453.15 cores=1,3
/proc/982814/stat : 982814 (fscip) S 982811 982814 980418 0 -1 1077936128 498530 0 0 0 345256 59 0 0 20 0 3 0 186576420 422539264 87435 134679101440 4194304 16613245 140728367336640 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 31236096 140728367338516 140728367338632 140728367338632 140728367345648 0
/proc/982814/statm: 103159 87435 2990 3032 0 91215 0
[pid=982814/tid=982816] ppid=982811 vsize=412636 memory=349740 CPUtime=3448.11 cores=1,3
/proc/982814/task/982816/stat : 982816 (fscip) R 982811 982814 980418 0 -1 4194368 472829 0 0 0 344760 51 0 0 20 0 3 0 186576910 422539264 87435 134679101440 4194304 16613245 140728367336640 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 31236096 140728367338516 140728367338632 140728367338632 140728367345648 0
[pid=982814/tid=982817] ppid=982811 vsize=412636 memory=6720661034891362925 CPUtime=0.02 cores=1,3
/proc/982814/task/982817/stat : 982817 (fscip) S 982811 982814 980418 0 -1 1077936192 265 0 0 0 1 1 0 0 20 0 3 0 186576912 422539264 87435 134679101440 4194304 16613245 140728367336640 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 31236096 140728367338516 140728367338632 140728367338632 140728367345648 0
Current children cumulated CPU time: 3453.15 s
Current children cumulated vsize: 412636 KiB
Current children cumulated memory: 349740 KiB
[startup+3522.3 s]
/proc/loadavg: 4.12 4.13 4.09 5/262 984649
/proc/meminfo: memFree=126137844/131524600 swapFree=131071996/131071996
[pid=982814] ppid=982811 vsize=412636 memory=349740 CPUtime=3513.01 cores=1,3
/proc/982814/stat : 982814 (fscip) S 982811 982814 980418 0 -1 1077936128 499477 0 0 0 351241 60 0 0 20 0 3 0 186576420 422539264 87435 134679101440 4194304 16613245 140728367336640 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 31236096 140728367338516 140728367338632 140728367338632 140728367345648 0
/proc/982814/statm: 103159 87435 2990 3032 0 91215 0
[pid=982814/tid=982816] ppid=982811 vsize=412636 memory=349740 CPUtime=3507.96 cores=1,3
/proc/982814/task/982816/stat : 982816 (fscip) R 982811 982814 980418 0 -1 4194368 473765 0 0 0 350745 51 0 0 20 0 3 0 186576910 422539264 87435 134679101440 4194304 16613245 140728367336640 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 31236096 140728367338516 140728367338632 140728367338632 140728367345648 0
[pid=982814/tid=982817] ppid=982811 vsize=412636 memory=349740 CPUtime=0.02 cores=1,3
/proc/982814/task/982817/stat : 982817 (fscip) S 982811 982814 980418 0 -1 1077936192 267 0 0 0 1 1 0 0 20 0 3 0 186576912 422539264 87435 134679101440 4194304 16613245 140728367336640 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 31236096 140728367338516 140728367338632 140728367338632 140728367345648 0
Current children cumulated CPU time: 3513.01 s
Current children cumulated vsize: 412636 KiB
Current children cumulated memory: 349740 KiB
[startup+3582.3 s]
/proc/loadavg: 4.08 4.11 4.09 5/262 984659
/proc/meminfo: memFree=126136980/131524600 swapFree=131071996/131071996
[pid=982814] ppid=982811 vsize=412636 memory=349740 CPUtime=3572.87 cores=1,3
/proc/982814/stat : 982814 (fscip) S 982811 982814 980418 0 -1 1077936128 500500 0 0 0 357227 60 0 0 20 0 3 0 186576420 422539264 87435 134679101440 4194304 16613245 140728367336640 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 31236096 140728367338516 140728367338632 140728367338632 140728367345648 0
/proc/982814/statm: 103159 87435 2990 3032 0 91215 0
[pid=982814/tid=982816] ppid=982811 vsize=412636 memory=11400 CPUtime=3567.83 cores=1,3
/proc/982814/task/982816/stat : 982816 (fscip) R 982811 982814 980418 0 -1 4194368 474778 0 0 0 356731 52 0 0 20 0 3 0 186576910 422539264 87435 134679101440 4194304 16613245 140728367336640 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 31236096 140728367338516 140728367338632 140728367338632 140728367345648 0
[pid=982814/tid=982817] ppid=982811 vsize=412636 memory=349740 CPUtime=0.02 cores=1,3
/proc/982814/task/982817/stat : 982817 (fscip) S 982811 982814 980418 0 -1 1077936192 269 0 0 0 1 1 0 0 20 0 3 0 186576912 422539264 87435 134679101440 4194304 16613245 140728367336640 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 31236096 140728367338516 140728367338632 140728367338632 140728367345648 0
Current children cumulated CPU time: 3572.87 s
Current children cumulated vsize: 412636 KiB
Current children cumulated memory: 349740 KiB
[startup+3600.06 s]
# the end of solver process 982814 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3589.99 s, system=0.609244 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.08 4.11 4.09 5/262 984659
/proc/meminfo: memFree=126136980/131524600 swapFree=131071996/131071996
[pid=982814] ppid=982811 vsize=412636 memory=349740 CPUtime=3574.57 cores=1,3
/proc/982814/stat : 982814 (fscip) S 982811 982814 980418 0 -1 1077936128 500890 0 0 0 357397 60 0 0 20 0 3 0 186576420 422539264 87435 134679101440 4194304 16613245 140728367336640 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 31236096 140728367338516 140728367338632 140728367338632 140728367345648 0
/proc/982814/statm: 103159 87435 2990 3032 0 91215 0
[pid=982814/tid=982816] ppid=982811 vsize=412636 memory=6720661034891362925 CPUtime=3569.53 cores=1,3
/proc/982814/task/982816/stat : 982816 (fscip) R 982811 982814 980418 0 -1 4194368 475157 0 0 0 356901 52 0 0 20 0 3 0 186576910 422539264 87435 134679101440 4194304 16613245 140728367336640 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 31236096 140728367338516 140728367338632 140728367338632 140728367345648 0
[pid=982814/tid=982817] ppid=982811 vsize=412636 memory=-7448521292197814139 CPUtime=0.02 cores=1,3
/proc/982814/task/982817/stat : 982817 (fscip) S 982811 982814 980418 0 -1 1077936192 272 0 0 0 1 1 0 0 20 0 3 0 186576912 422539264 87435 134679101440 4194304 16613245 140728367336640 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 31236096 140728367338516 140728367338632 140728367338632 140728367345648 0
Current children cumulated CPU time: 3574.57 s
Current children cumulated vsize: 412636 KiB
Current children cumulated memory: 349740 KiB
[startup+3590.4 s]
/proc/loadavg: 4.06 4.11 4.09 5/262 984660
/proc/meminfo: memFree=126136952/131524600 swapFree=131071996/131071996
[pid=982814] ppid=982811 vsize=412636 memory=349740 CPUtime=3580.95 cores=1,3
/proc/982814/stat : 982814 (fscip) S 982811 982814 980418 0 -1 1077936128 501082 0 0 0 358035 60 0 0 20 0 3 0 186576420 422539264 87435 134679101440 4194304 16613245 140728367336640 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 31236096 140728367338516 140728367338632 140728367338632 140728367345648 0
/proc/982814/statm: 103159 87435 2990 3032 0 91215 0
[pid=982814/tid=982816] ppid=982811 vsize=412636 memory=349740 CPUtime=3575.91 cores=1,3
/proc/982814/task/982816/stat : 982816 (fscip) R 982811 982814 980418 0 -1 4194368 475349 0 0 0 357539 52 0 0 20 0 3 0 186576910 422539264 87435 134679101440 4194304 16613245 140728367336640 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 31236096 140728367338516 140728367338632 140728367338632 140728367345648 0
[pid=982814/tid=982817] ppid=982811 vsize=412636 memory=349740 CPUtime=0.02 cores=1,3
/proc/982814/task/982817/stat : 982817 (fscip) S 982811 982814 980418 0 -1 1077936192 272 0 0 0 1 1 0 0 20 0 3 0 186576912 422539264 87435 134679101440 4194304 16613245 140728367336640 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 31236096 140728367338516 140728367338632 140728367338632 140728367345648 0
Current children cumulated CPU time: 3580.95 s
Current children cumulated vsize: 412636 KiB
Current children cumulated memory: 349740 KiB
[startup+3596.8 s]
/proc/loadavg: 4.06 4.11 4.09 5/262 984660
/proc/meminfo: memFree=126136952/131524600 swapFree=131071996/131071996
[pid=982814] ppid=982811 vsize=412636 memory=349740 CPUtime=3587.33 cores=1,3
/proc/982814/stat : 982814 (fscip) S 982811 982814 980418 0 -1 1077936128 501128 0 0 0 358673 60 0 0 20 0 3 0 186576420 422539264 87435 134679101440 4194304 16613245 140728367336640 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 31236096 140728367338516 140728367338632 140728367338632 140728367345648 0
/proc/982814/statm: 103159 87435 2990 3032 0 91215 0
[pid=982814/tid=982816] ppid=982811 vsize=412636 memory=44432 CPUtime=3582.29 cores=1,3
/proc/982814/task/982816/stat : 982816 (fscip) R 982811 982814 980418 0 -1 4194368 475395 0 0 0 358177 52 0 0 20 0 3 0 186576910 422539264 87435 134679101440 4194304 16613245 140728367336640 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 31236096 140728367338516 140728367338632 140728367338632 140728367345648 0
[pid=982814/tid=982817] ppid=982811 vsize=412636 memory=349740 CPUtime=0.02 cores=1,3
/proc/982814/task/982817/stat : 982817 (fscip) S 982811 982814 980418 0 -1 1077936192 272 0 0 0 1 1 0 0 20 0 3 0 186576912 422539264 87435 134679101440 4194304 16613245 140728367336640 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 31236096 140728367338516 140728367338632 140728367338632 140728367345648 0
Current children cumulated CPU time: 3587.33 s
Current children cumulated vsize: 412636 KiB
Current children cumulated memory: 349740 KiB
[startup+3598.4 s]
/proc/loadavg: 4.06 4.11 4.09 5/262 984660
/proc/meminfo: memFree=126136980/131524600 swapFree=131071996/131071996
[pid=982814] ppid=982811 vsize=412636 memory=349740 CPUtime=3588.93 cores=1,3
/proc/982814/stat : 982814 (fscip) S 982811 982814 980418 0 -1 1077936128 501132 0 0 0 358833 60 0 0 20 0 3 0 186576420 422539264 87435 134679101440 4194304 16613245 140728367336640 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 31236096 140728367338516 140728367338632 140728367338632 140728367345648 0
/proc/982814/statm: 103159 87435 2990 3032 0 91215 0
[pid=982814/tid=982816] ppid=982811 vsize=412636 memory=16160 CPUtime=3583.89 cores=1,3
/proc/982814/task/982816/stat : 982816 (fscip) R 982811 982814 980418 0 -1 4194368 475399 0 0 0 358337 52 0 0 20 0 3 0 186576910 422539264 87435 134679101440 4194304 16613245 140728367336640 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 31236096 140728367338516 140728367338632 140728367338632 140728367345648 0
[pid=982814/tid=982817] ppid=982811 vsize=412636 memory=2248 CPUtime=0.02 cores=1,3
/proc/982814/task/982817/stat : 982817 (fscip) S 982811 982814 980418 0 -1 1077936192 272 0 0 0 1 1 0 0 20 0 3 0 186576912 422539264 87435 134679101440 4194304 16613245 140728367336640 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 31236096 140728367338516 140728367338632 140728367338632 140728367345648 0
Current children cumulated CPU time: 3588.93 s
Current children cumulated vsize: 412636 KiB
Current children cumulated memory: 349740 KiB
[startup+3599.2 s]
/proc/loadavg: 4.06 4.11 4.09 5/256 984800
/proc/meminfo: memFree=127975984/131524600 swapFree=131071996/131071996
[pid=982814] ppid=982811 vsize=412636 memory=349740 CPUtime=3589.73 cores=1,3
/proc/982814/stat : 982814 (fscip) S 982811 982814 980418 0 -1 1077936128 501136 0 0 0 358913 60 0 0 20 0 3 0 186576420 422539264 87435 134679101440 4194304 16613245 140728367336640 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 31236096 140728367338516 140728367338632 140728367338632 140728367345648 0
/proc/982814/statm: 103159 87435 2990 3032 0 91215 0
[pid=982814/tid=982816] ppid=982811 vsize=412636 memory=44432 CPUtime=3584.69 cores=1,3
/proc/982814/task/982816/stat : 982816 (fscip) R 982811 982814 980418 0 -1 4194368 475403 0 0 0 358417 52 0 0 20 0 3 0 186576910 422539264 87435 134679101440 4194304 16613245 140728367336640 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 31236096 140728367338516 140728367338632 140728367338632 140728367345648 0
[pid=982814/tid=982817] ppid=982811 vsize=412636 memory=12740 CPUtime=0.02 cores=1,3
/proc/982814/task/982817/stat : 982817 (fscip) S 982811 982814 980418 0 -1 1077936192 272 0 0 0 1 1 0 0 20 0 3 0 186576912 422539264 87435 134679101440 4194304 16613245 140728367336640 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 31236096 140728367338516 140728367338632 140728367338632 140728367345648 0
Current children cumulated CPU time: 3589.73 s
Current children cumulated vsize: 412636 KiB
Current children cumulated memory: 349740 KiB
[startup+3599.6 s]
/proc/loadavg: 4.06 4.11 4.09 5/256 984800
/proc/meminfo: memFree=127975984/131524600 swapFree=131071996/131071996
[pid=982814] ppid=982811 vsize=412636 memory=349740 CPUtime=3590.12 cores=1,3
/proc/982814/stat : 982814 (fscip) S 982811 982814 980418 0 -1 1077936128 501136 0 0 0 358952 60 0 0 20 0 3 0 186576420 422539264 87435 134679101440 4194304 16613245 140728367336640 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 31236096 140728367338516 140728367338632 140728367338632 140728367345648 0
/proc/982814/statm: 103159 87435 2990 3032 0 91215 0
[pid=982814/tid=982816] ppid=982811 vsize=412636 memory=100 CPUtime=3585.08 cores=1,3
/proc/982814/task/982816/stat : 982816 (fscip) R 982811 982814 980418 0 -1 4194368 475403 0 0 0 358456 52 0 0 20 0 3 0 186576910 422539264 87435 134679101440 4194304 16613245 140728367336640 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 31236096 140728367338516 140728367338632 140728367338632 140728367345648 0
[pid=982814/tid=982817] ppid=982811 vsize=412636 memory=5600 CPUtime=0.02 cores=1,3
/proc/982814/task/982817/stat : 982817 (fscip) S 982811 982814 980418 0 -1 1077936192 272 0 0 0 1 1 0 0 20 0 3 0 186576912 422539264 87435 134679101440 4194304 16613245 140728367336640 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 31236096 140728367338516 140728367338632 140728367338632 140728367345648 0
Current children cumulated CPU time: 3590.12 s
Current children cumulated vsize: 412636 KiB
Current children cumulated memory: 349740 KiB
[startup+3600 s]*
/proc/loadavg: 4.05 4.11 4.09 5/256 984800
/proc/meminfo: memFree=127909832/131524600 swapFree=131071996/131071996
[pid=982814] ppid=982811 vsize=412636 memory=349740 CPUtime=3590.53 cores=1,3
/proc/982814/stat : 982814 (fscip) S 982811 982814 980418 0 -1 1077936128 501160 0 0 0 358993 60 0 0 20 0 3 0 186576420 422539264 87435 134679101440 4194304 16613245 140728367336640 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 31236096 140728367338516 140728367338632 140728367338632 140728367345648 0
/proc/982814/statm: 103159 87435 2990 3032 0 91215 0
[pid=982814/tid=982816] ppid=982811 vsize=412636 memory=12740 CPUtime=3585.49 cores=1,3
/proc/982814/task/982816/stat : 982816 (fscip) R 982811 982814 980418 0 -1 4194368 475428 0 0 0 358497 52 0 0 20 0 3 0 186576910 422539264 87435 134679101440 4194304 16613245 140728367336640 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 31236096 140728367338516 140728367338632 140728367338632 140728367345648 0
[pid=982814/tid=982817] ppid=982811 vsize=412636 memory=5448 CPUtime=0.02 cores=1,3
/proc/982814/task/982817/stat : 982817 (fscip) S 982811 982814 980418 0 -1 1077936192 272 0 0 0 1 1 0 0 20 0 3 0 186576912 422539264 87435 134679101440 4194304 16613245 140728367336640 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 31236096 140728367338516 140728367338632 140728367338632 140728367345648 0
Current children cumulated CPU time: 3590.53 s
Current children cumulated vsize: 412636 KiB
Current children cumulated memory: 349740 KiB
Child status: 0
Real time (s): 3600.06
CPU time (s): 3590.6
CPU user time (s): 3589.99
CPU system time (s): 0.609244
CPU usage (%): 99.737
Max. virtual memory (cumulated for all children) (KiB): 416272
Max. memory (cumulated for all children) (KiB): 349740
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3589.99
system time used= 0.609244
maximum resident set size= 349740
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 501574
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= 7313
involuntary context switches= 1388
# summary of solver processes directly reported to runsolver:
# pid: 982814
# total CPU time (s): 3590.6
# total CPU user time (s): 3589.99
# total CPU system time (s): 0.609244
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.41228 second user time and 15.5217 second system time
The end
Begin job on nodeC015 at 2024-07-19 01:09:34
IDJOB=4446950
IDBENCH=158340
IDSOLVER=3064
FILE ID=nodeC015/4446950-1721344162
RUNJOBID= nodeC015-1721340572-980430
SLURM_JOB_ID= 7542724
Free space on /tmp= 889996 MiB
SOLVER NAME= FiberSCIP 2024-07-02
BENCH NAME= PB24/normalized-PB12/DEC-LIN/sroussel/ShortestPathTate/normalized-TateBritain_K82.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-4446950-1721344162/watcher-4446950-1721344162 -o /tmp/evaluation-result-4446950-1721344162/solver-4446950-1721344162 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC015-1721340572-980430 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4446950-1721344162.opb -qsol -t 3600 -sth 1
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 5599f1c242004f89302cb9020bac47d1
RANDOM SEED=1321663380
nodeC015.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3671.133
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.61
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3665.848
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7006.25
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.074
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.61
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3669.960
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7006.25
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3671.199
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.61
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3668.988
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7006.25
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.106
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.61
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.947
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7006.25
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 128111100 kB
MemAvailable: 129294856 kB
Buffers: 508980 kB
Cached: 1501836 kB
SwapCached: 0 kB
Active: 1646976 kB
Inactive: 1132968 kB
Active(anon): 1556 kB
Inactive(anon): 805332 kB
Active(file): 1645420 kB
Inactive(file): 327636 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 116776 kB
Writeback: 0 kB
AnonPages: 767456 kB
Mapped: 139184 kB
Shmem: 37720 kB
KReclaimable: 100692 kB
Slab: 212856 kB
SReclaimable: 100692 kB
SUnreclaim: 112164 kB
KernelStack: 4032 kB
PageTables: 10832 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 1128628 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 68224 kB
HardwareCorrupted: 0 kB
AnonHugePages: 264192 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 291540 kB
DirectMap2M: 38279168 kB
DirectMap1G: 97517568 kB
Free space on /tmp at the end= 889972 MiB
End job on nodeC015 at 2024-07-19 02:09:34