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 = 47333376, getVmSize() = 47333376, SCIPgetMemUsed() = 21331553, SCIPgetMemTotal() = 24920777, SCIPgetMemExternEstim() = 13363524
0.00/0.03 c ** set memory limit for presolving in LC to 8.79608e+12 for SCIP **
0.20/0.28 c ** Estimated virtualMemUsedAtSolver = 39950610, getVmSize() = 70881280, SCIPgetMemUsed() = 25330136, SCIPgetMemTotal() = 46562392, SCIPgetMemExternEstim() = 13363524
0.20/0.28 c ** set memory limit for solvers to 4.39805e+12 for each SCIP **
0.20/0.28 c Original Problem :
0.20/0.28 c Problem name : instance-4450570-1721414187
0.20/0.28 c Variables : 4288 (4288 binary, 0 integer, 0 implicit integer, 0 continuous)
0.20/0.28 c Constraints : 9472
0.20/0.28 c Objective sense : minimize
0.20/0.28 c Presolved Problem :
0.20/0.28 c Variables : 3497 (3497 binary, 0 integer, 0 implicit integer, 0 continuous)
0.20/0.28 c Constraints : 7945
0.20/0.28 c Constraints : Number
0.20/0.28 c and : 32
0.20/0.28 c linear : 1502
0.20/0.28 c logicor : 6411
0.20/0.28 c ** Instance transfer method used: 0
0.20/0.30 c ** ParaScipInstance copy does not increase the number of variables. **
0.30/0.32 c LC is working with racing ramp-up and with rebuilding tree after racing.
0.30/0.32 c Nodes Active
0.30/0.32 c Time Nodes Left Solvers Best Integer Best Node Gap Best Node(S) Gap(S)
39.18/39.39 c 39 2 1 1 - 0.0000 -
49.26/49.46 c 49 28 27 1 - 0.0000 -
57.95/58.18 c 58 35 34 1 - 0.0000 -
216.69/217.26 c 217 45 44 1 - 0.0000 -
224.37/224.90 c 225 52 51 1 - 0.0000 -
229.36/229.93 c 230 55 54 1 - 0.0000 -
236.15/236.73 c 237 58 57 1 - 0.0000 -
243.23/243.86 c 244 62 61 1 - 0.0000 -
251.41/252.07 c 252 68 67 1 - 0.0000 -
259.29/259.91 c 260 75 74 1 - 0.0000 -
267.07/267.77 c 268 82 81 1 - 0.0000 -
275.04/275.76 c 276 88 87 1 - 0.0000 -
281.12/281.85 c 282 95 94 1 - 0.0000 -
289.41/290.18 c 290 102 101 1 - 0.0000 -
296.59/297.38 c 297 113 112 1 - 0.0000 -
303.57/304.31 c 304 122 121 1 - 0.0000 -
310.15/310.90 c 311 126 125 1 - 0.0000 -
319.34/320.19 c 320 158 157 1 - 0.0000 -
326.12/326.92 c 327 173 172 1 - 0.0000 -
338.38/339.23 c 339 254 253 1 - 0.0000 -
346.36/347.29 c 347 262 261 1 - 0.0000 -
354.35/355.25 c 355 274 273 1 - 0.0000 -
362.04/362.94 c 363 286 285 1 - 0.0000 -
368.12/369.10 c 369 317 310 1 - 0.0000 -
374.40/375.38 c 375 326 319 1 - 0.0000 -
384.58/385.58 c 386 350 343 1 - 0.0000 -
390.77/391.73 c 392 358 351 1 - 0.0000 -
397.35/398.32 c 398 370 363 1 - 0.0000 -
404.33/405.35 c 405 398 391 1 - 0.0000 -
410.52/411.51 c 412 408 399 1 - 0.0000 -
415.51/416.52 c 417 446 433 1 - 0.0000 -
421.10/422.13 c 422 461 448 1 - 0.0000 -
428.08/429.11 c 429 472 459 1 - 0.0000 -
433.36/434.47 c 434 476 463 1 - 0.0000 -
443.24/444.39 c 444 496 483 1 - 0.0000 -
455.61/456.74 c 457 522 507 1 - 0.0000 -
465.29/466.40 c 466 550 531 1 - 0.0000 -
470.98/472.13 c 472 564 545 1 - 0.0000 -
476.87/478.03 c 478 578 559 1 - 0.0000 -
483.95/485.11 c 485 596 575 1 - 0.0000 -
489.03/490.25 c 490 640 617 1 - 0.0000 -
497.81/499.08 c 499 662 635 1 - 0.0000 -
503.49/504.74 c 505 702 669 1 - 0.0000 -
509.68/510.96 c 511 722 689 1 - 0.0000 -
518.56/519.81 c 520 730 697 1 - 0.0000 -
524.44/525.79 c 526 780 745 1 - 0.0000 -
530.63/531.93 c 532 807 772 1 - 0.0000 -
542.90/544.27 c 544 816 781 1 - 0.0000 -
548.79/550.15 c 550 820 785 1 - 0.0000 -
555.07/556.41 c 556 828 791 1 - 0.0000 -
561.15/562.57 c 563 857 816 1 - 0.0000 -
567.04/568.48 c 568 862 821 1 - 0.0000 -
573.73/575.11 c 575 899 852 1 - 0.0000 -
582.10/583.55 c 584 942 885 1 - 0.0000 -
587.98/589.40 c 589 946 889 1 - 0.0000 -
593.58/595.05 c 595 990 931 1 - 0.0000 -
602.66/604.19 c 604 1044 979 1 - 0.0000 -
608.94/610.49 c 610 1086 1021 1 - 0.0000 -
615.13/616.60 c 617 1088 1023 1 - 0.0000 -
623.70/625.20 c 625 1146 1077 1 - 0.0000 -
631.09/632.64 c 633 1154 1085 1 - 0.0000 -
636.48/638.07 c 638 1184 1111 1 - 0.0000 -
641.76/643.31 c 643 1260 1175 1 - 0.0000 -
649.74/651.39 c 651 1302 1215 1 - 0.0000 -
654.92/656.57 c 657 1327 1238 1 - 0.0000 -
660.61/662.23 c 662 1356 1263 1 - 0.0000 -
665.90/667.57 c 668 1372 1279 1 - 0.0000 -
673.08/674.75 c 675 1432 1335 1 - 0.0000 -
678.77/680.44 c 680 1436 1339 1 - 0.0000 -
684.25/685.92 c 686 1553 1456 1 - 0.0000 -
692.03/693.76 c 694 1576 1479 1 - 0.0000 -
703.31/705.03 c 705 1676 1579 1 - 0.0000 -
709.09/710.89 c 711 1738 1641 1 - 0.0000 -
714.17/715.91 c 716 1744 1647 1 - 0.0000 -
719.46/721.27 c 721 1761 1664 1 - 0.0000 -
724.75/726.53 c 727 1779 1682 1 - 0.0000 -
1044.98/1047.55 c 1048 1800 1703 1 - 0.0000 -
1050.67/1053.23 c 1053 1820 1723 1 - 0.0000 -
1056.95/1059.55 c 1060 1836 1739 1 - 0.0000 -
1062.94/1065.54 c 1066 1851 1754 1 - 0.0000 -
1068.53/1071.18 c 1071 1912 1815 1 - 0.0000 -
1074.21/1076.82 c 1077 1963 1866 1 - 0.0000 -
1079.80/1082.46 c 1082 1995 1898 1 - 0.0000 -
1085.39/1088.05 c 1088 2029 1932 1 - 0.0000 -
1095.26/1097.94 c 1098 2072 1975 1 - 0.0000 -
1108.02/1110.79 c 1111 2112 2015 1 - 0.0000 -
1116.90/1119.61 c 1120 2124 2027 1 - 0.0000 -
1123.19/1125.95 c 1126 2160 2063 1 - 0.0000 -
1133.46/1136.25 c 1136 2168 2071 1 - 0.0000 -
1140.94/1143.79 c 1144 2216 2119 1 - 0.0000 -
1146.53/1149.32 c 1149 2244 2147 1 - 0.0000 -
1152.61/1155.49 c 1155 2302 2205 1 - 0.0000 -
1159.39/1162.27 c 1162 2369 2272 1 - 0.0000 -
1164.98/1167.87 c 1168 2430 2333 1 - 0.0000 -
1170.47/1173.38 c 1173 2443 2346 1 - 0.0000 -
1176.26/1179.14 c 1179 2469 2372 1 - 0.0000 -
1182.64/1185.52 c 1186 2489 2392 1 - 0.0000 -
1189.52/1192.47 c 1192 2514 2417 1 - 0.0000 -
1194.61/1197.53 c 1198 2519 2422 1 - 0.0000 -
1203.09/1206.04 c 1206 2544 2447 1 - 0.0000 -
1208.19/1211.12 c 1211 2581 2484 1 - 0.0000 -
1214.37/1217.39 c 1217 2599 2502 1 - 0.0000 -
1223.24/1226.25 c 1226 2624 2527 1 - 0.0000 -
1228.83/1231.82 c 1232 2639 2542 1 - 0.0000 -
1235.41/1238.47 c 1238 2644 2547 1 - 0.0000 -
1243.29/1246.37 c 1246 2710 2611 1 - 0.0000 -
1248.68/1251.78 c 1252 2746 2647 1 - 0.0000 -
1253.87/1256.93 c 1257 2761 2662 1 - 0.0000 -
1262.24/1265.31 c 1265 2780 2681 1 - 0.0000 -
1267.83/1270.91 c 1271 2795 2696 1 - 0.0000 -
1273.62/1276.78 c 1277 2810 2711 1 - 0.0000 -
1280.30/1283.43 c 1283 2820 2721 1 - 0.0000 -
1286.58/1289.78 c 1290 2855 2756 1 - 0.0000 -
1291.77/1294.98 c 1295 2876 2777 1 - 0.0000 -
1298.96/1302.12 c 1302 2915 2816 1 - 0.0000 -
1304.04/1307.28 c 1307 2958 2859 1 - 0.0000 -
1312.02/1315.23 c 1315 2990 2891 1 - 0.0000 -
1317.61/1320.84 c 1321 3028 2929 1 - 0.0000 -
1323.39/1326.60 c 1327 3089 2990 1 - 0.0000 -
1331.07/1334.37 c 1334 3150 3051 1 - 0.0000 -
1336.76/1340.07 c 1340 3210 3111 1 - 0.0000 -
1342.94/1346.29 c 1346 3215 3116 1 - 0.0000 -
1348.83/1352.14 c 1352 3233 3134 1 - 0.0000 -
1354.72/1358.07 c 1358 3255 3156 1 - 0.0000 -
1360.90/1364.20 c 1364 3260 3161 1 - 0.0000 -
1368.38/1371.76 c 1372 3270 3171 1 - 0.0000 -
1377.16/1380.52 c 1381 3325 3226 1 - 0.0000 -
1383.14/1386.56 c 1387 3422 3323 1 - 0.0000 -
1388.73/1392.14 c 1392 3482 3383 1 - 0.0000 -
1397.11/1400.53 c 1401 3500 3401 1 - 0.0000 -
1403.99/1407.48 c 1407 3526 3427 1 - 0.0000 -
1411.28/1414.72 c 1415 3550 3451 1 - 0.0000 -
1421.05/1424.50 c 1424 3580 3481 1 - 0.0000 -
1426.14/1429.63 c 1430 3600 3501 1 - 0.0000 -
1436.21/1439.77 c 1440 3610 3511 1 - 0.0000 -
1442.40/1445.90 c 1446 3635 3536 1 - 0.0000 -
1448.79/1452.36 c 1452 3661 3562 1 - 0.0000 -
1455.67/1459.27 c 1459 3665 3566 1 - 0.0000 -
1462.06/1465.66 c 1466 3700 3601 1 - 0.0000 -
1469.55/1473.15 c 1473 3740 3641 1 - 0.0000 -
1476.22/1479.84 c 1480 3756 3657 1 - 0.0000 -
1483.61/1487.27 c 1487 3775 3676 1 - 0.0000 -
1488.79/1492.49 c 1492 3793 3694 1 - 0.0000 -
1494.78/1498.41 c 1498 3868 3769 1 - 0.0000 -
1501.66/1505.34 c 1505 3880 3781 1 - 0.0000 -
1508.35/1512.00 c 1512 3915 3816 1 - 0.0000 -
1514.13/1517.83 c 1518 3941 3842 1 - 0.0000 -
1523.80/1527.53 c 1528 3980 3881 1 - 0.0000 -
1529.30/1533.05 c 1533 4005 3906 1 - 0.0000 -
1537.28/1541.05 c 1541 4030 3931 1 - 0.0000 -
1542.56/1546.34 c 1546 4068 3969 1 - 0.0000 -
1551.04/1554.89 c 1555 4070 3971 1 - 0.0000 -
1556.82/1560.65 c 1561 4085 3986 1 - 0.0000 -
1562.41/1566.26 c 1566 4098 3999 1 - 0.0000 -
1569.89/1573.76 c 1574 4120 4021 1 - 0.0000 -
1577.28/1581.11 c 1581 4140 4041 1 - 0.0000 -
1582.37/1586.20 c 1586 4165 4066 1 - 0.0000 -
1590.05/1593.92 c 1594 4190 4091 1 - 0.0000 -
1595.83/1599.72 c 1600 4228 4129 1 - 0.0000 -
1601.32/1605.27 c 1605 4289 4190 1 - 0.0000 -
1609.00/1612.94 c 1613 4305 4206 1 - 0.0000 -
1614.29/1618.20 c 1618 4336 4237 1 - 0.0000 -
1619.48/1623.44 c 1623 4345 4246 1 - 0.0000 -
1628.16/1632.19 c 1632 4362 4261 1 - 0.0000 -
1635.54/1639.55 c 1640 4417 4316 1 - 0.0000 -
1641.22/1645.20 c 1645 4447 4346 1 - 0.0000 -
1646.31/1650.36 c 1650 4459 4358 1 - 0.0000 -
1651.50/1655.55 c 1656 4467 4366 1 - 0.0000 -
1658.78/1662.84 c 1663 4497 4396 1 - 0.0000 -
1664.16/1668.21 c 1668 4521 4420 1 - 0.0000 -
1673.74/1677.84 c 1678 4532 4431 1 - 0.0000 -
1681.62/1685.73 c 1686 4547 4446 1 - 0.0000 -
1686.81/1690.90 c 1691 4552 4451 1 - 0.0000 -
1692.10/1696.28 c 1696 4568 4467 1 - 0.0000 -
1697.88/1702.09 c 1702 4608 4505 1 - 0.0000 -
1706.26/1710.47 c 1710 4638 4535 1 - 0.0000 -
1713.14/1717.38 c 1717 4663 4560 1 - 0.0000 -
1718.93/1723.13 c 1723 4704 4601 1 - 0.0000 -
1726.71/1730.90 c 1731 4718 4615 1 - 0.0000 -
1731.80/1736.03 c 1736 4749 4646 1 - 0.0000 -
1739.18/1743.45 c 1743 4768 4665 1 - 0.0000 -
1748.26/1752.54 c 1753 4778 4675 1 - 0.0000 -
1755.94/1760.24 c 1760 4803 4700 1 - 0.0000 -
1760.93/1765.24 c 1765 4808 4705 1 - 0.0000 -
1766.91/1771.27 c 1771 4818 4715 1 - 0.0000 -
1772.00/1776.37 c 1776 4844 4741 1 - 0.0000 -
1779.38/1783.72 c 1784 4868 4765 1 - 0.0000 -
1785.86/1790.22 c 1790 4914 4811 1 - 0.0000 -
1792.95/1797.32 c 1797 4943 4840 1 - 0.0000 -
1799.13/1803.54 c 1804 4973 4870 1 - 0.0000 -
1804.52/1808.90 c 1809 5023 4920 1 - 0.0000 -
1812.30/1816.70 c 1817 5043 4940 1 - 0.0000 -
1819.09/1823.50 c 1824 5063 4960 1 - 0.0000 -
1825.17/1829.62 c 1830 5068 4965 1 - 0.0000 -
1831.06/1835.54 c 1836 5125 5022 1 - 0.0000 -
1836.65/1841.14 c 1841 5131 5028 1 - 0.0000 -
1843.22/1847.77 c 1848 5138 5035 1 - 0.0000 -
1851.00/1855.52 c 1856 5193 5090 1 - 0.0000 -
1856.78/1861.38 c 1861 5215 5112 1 - 0.0000 -
1862.56/1867.17 c 1867 5223 5120 1 - 0.0000 -
1868.44/1873.03 c 1873 5287 5184 1 - 0.0000 -
1874.82/1879.43 c 1879 5313 5210 1 - 0.0000 -
1883.09/1887.71 c 1888 5339 5234 1 - 0.0000 -
1890.57/1895.24 c 1895 5349 5244 1 - 0.0000 -
1897.25/1901.98 c 1902 5369 5264 1 - 0.0000 -
1902.73/1907.49 c 1908 5405 5300 1 - 0.0000 -
1909.82/1914.54 c 1915 5430 5323 1 - 0.0000 -
1921.68/1926.48 c 1926 5460 5353 1 - 0.0000 -
1927.27/1932.04 c 1932 5504 5397 1 - 0.0000 -
1935.54/1940.39 c 1940 5530 5423 1 - 0.0000 -
1943.81/1948.68 c 1949 5560 5453 1 - 0.0000 -
1950.49/1955.32 c 1955 5575 5468 1 - 0.0000 -
1956.18/1961.03 c 1961 5586 5479 1 - 0.0000 -
1961.66/1966.51 c 1967 5596 5489 1 - 0.0000 -
1967.44/1972.35 c 1972 5630 5523 1 - 0.0000 -
1972.42/1977.38 c 1977 5641 5534 1 - 0.0000 -
1977.51/1982.46 c 1982 5664 5557 1 - 0.0000 -
1983.59/1988.50 c 1989 5693 5586 1 - 0.0000 -
1993.75/1998.73 c 1999 5705 5598 1 - 0.0000 -
1999.64/2004.63 c 2005 5745 5638 1 - 0.0000 -
2004.92/2009.91 c 2010 5755 5648 1 - 0.0000 -
2012.70/2017.73 c 2018 5760 5653 1 - 0.0000 -
2018.78/2023.86 c 2024 5816 5707 1 - 0.0000 -
2024.16/2029.22 c 2029 5827 5718 1 - 0.0000 -
2030.05/2035.11 c 2035 5874 5765 1 - 0.0000 -
2038.81/2043.97 c 2044 5882 5773 1 - 0.0000 -
2045.09/2050.24 c 2050 5923 5814 1 - 0.0000 -
2056.75/2061.91 c 2062 5942 5833 1 - 0.0000 -
2061.74/2066.96 c 2067 5960 5851 1 - 0.0000 -
2067.82/2073.00 c 2073 5991 5882 1 - 0.0000 -
2073.50/2078.77 c 2079 6023 5914 1 - 0.0000 -
2080.79/2086.07 c 2086 6027 5918 1 - 0.0000 -
2089.66/2094.97 c 2095 6057 5948 1 - 0.0000 -
2095.55/2100.81 c 2101 6067 5958 1 - 0.0000 -
2101.54/2106.85 c 2107 6099 5990 1 - 0.0000 -
2107.02/2112.39 c 2112 6117 6008 1 - 0.0000 -
2112.81/2118.10 c 2118 6151 6042 1 - 0.0000 -
2121.29/2126.64 c 2127 6182 6073 1 - 0.0000 -
2126.98/2132.34 c 2132 6196 6087 1 - 0.0000 -
2132.97/2138.38 c 2138 6229 6120 1 - 0.0000 -
2138.15/2143.56 c 2144 6247 6138 1 - 0.0000 -
2144.94/2150.36 c 2150 6277 6168 1 - 0.0000 -
2150.12/2155.51 c 2156 6287 6178 1 - 0.0000 -
2157.41/2162.84 c 2163 6307 6198 1 - 0.0000 -
2163.59/2169.05 c 2169 6344 6235 1 - 0.0000 -
2169.68/2175.17 c 2175 6352 6243 1 - 0.0000 -
2175.16/2180.69 c 2181 6366 6257 1 - 0.0000 -
2183.84/2189.30 c 2189 6387 6278 1 - 0.0000 -
2189.13/2194.64 c 2195 6410 6301 1 - 0.0000 -
2195.90/2201.44 c 2201 6432 6323 1 - 0.0000 -
2201.49/2207.00 c 2207 6469 6360 1 - 0.0000 -
2207.97/2213.52 c 2214 6482 6373 1 - 0.0000 -
2218.14/2223.73 c 2224 6497 6388 1 - 0.0000 -
2224.33/2229.93 c 2230 6522 6413 1 - 0.0000 -
2229.82/2235.41 c 2235 6544 6435 1 - 0.0000 -
2237.51/2243.11 c 2243 6562 6453 1 - 0.0000 -
2243.19/2248.80 c 2249 6577 6468 1 - 0.0000 -
2249.17/2254.88 c 2255 6610 6501 1 - 0.0000 -
2261.04/2266.78 c 2267 6627 6518 1 - 0.0000 -
2266.34/2272.05 c 2272 6632 6523 1 - 0.0000 -
2272.22/2277.94 c 2278 6676 6567 1 - 0.0000 -
2279.10/2284.85 c 2285 6697 6588 1 - 0.0000 -
2284.59/2290.31 c 2290 6715 6606 1 - 0.0000 -
2290.07/2295.87 c 2296 6735 6626 1 - 0.0000 -
2295.56/2301.37 c 2301 6763 6654 1 - 0.0000 -
2301.35/2307.16 c 2307 6815 6706 1 - 0.0000 -
2307.63/2313.42 c 2313 6833 6724 1 - 0.0000 -
2313.61/2319.41 c 2319 6855 6746 1 - 0.0000 -
2321.50/2327.33 c 2327 6862 6753 1 - 0.0000 -
2326.98/2332.85 c 2333 6872 6763 1 - 0.0000 -
2332.77/2338.62 c 2339 6926 6817 1 - 0.0000 -
2342.34/2348.21 c 2348 6972 6863 1 - 0.0000 -
2348.33/2354.25 c 2354 6989 6880 1 - 0.0000 -
2354.51/2360.40 c 2360 7002 6893 1 - 0.0000 -
2360.60/2366.55 c 2367 7030 6921 1 - 0.0000 -
2368.28/2374.23 c 2374 7062 6953 1 - 0.0000 -
2374.46/2380.44 c 2380 7082 6973 1 - 0.0000 -
2380.15/2386.17 c 2386 7120 7011 1 - 0.0000 -
2385.64/2391.64 c 2392 7125 7016 1 - 0.0000 -
2390.92/2396.95 c 2397 7156 7047 1 - 0.0000 -
2397.71/2403.77 c 2404 7175 7066 1 - 0.0000 -
2403.40/2409.44 c 2409 7187 7078 1 - 0.0000 -
2410.78/2416.88 c 2417 7197 7088 1 - 0.0000 -
2417.27/2423.34 c 2423 7207 7098 1 - 0.0000 -
2422.35/2428.49 c 2428 7249 7140 1 - 0.0000 -
2428.14/2434.29 c 2434 7257 7148 1 - 0.0000 -
2434.92/2441.07 c 2441 7262 7153 1 - 0.0000 -
2442.59/2448.78 c 2449 7282 7173 1 - 0.0000 -
2448.67/2454.80 c 2455 7317 7208 1 - 0.0000 -
2453.75/2459.97 c 2460 7337 7228 1 - 0.0000 -
2461.83/2468.02 c 2468 7352 7243 1 - 0.0000 -
2467.11/2473.38 c 2473 7377 7268 1 - 0.0000 -
2473.59/2479.88 c 2480 7438 7329 1 - 0.0000 -
2479.47/2485.78 c 2486 7447 7338 1 - 0.0000 -
2486.35/2492.61 c 2493 7462 7353 1 - 0.0000 -
2493.03/2499.37 c 2499 7497 7388 1 - 0.0000 -
2501.40/2507.70 c 2508 7527 7418 1 - 0.0000 -
2506.89/2513.26 c 2513 7532 7423 1 - 0.0000 -
2512.17/2518.59 c 2519 7547 7438 1 - 0.0000 -
2520.04/2526.47 c 2526 7562 7453 1 - 0.0000 -
2527.52/2533.95 c 2534 7577 7468 1 - 0.0000 -
2532.80/2539.20 c 2539 7592 7483 1 - 0.0000 -
2543.97/2550.48 c 2550 7637 7528 1 - 0.0000 -
2549.25/2555.71 c 2556 7678 7569 1 - 0.0000 -
2554.83/2561.37 c 2561 7692 7583 1 - 0.0000 -
2561.02/2567.55 c 2568 7729 7620 1 - 0.0000 -
2566.40/2572.90 c 2573 7753 7644 1 - 0.0000 -
2571.59/2578.13 c 2578 7767 7658 1 - 0.0000 -
2576.87/2583.42 c 2583 7783 7674 1 - 0.0000 -
2582.35/2588.95 c 2589 7796 7687 1 - 0.0000 -
2588.63/2595.21 c 2595 7807 7698 1 - 0.0000 -
2594.21/2600.84 c 2601 7856 7747 1 - 0.0000 -
2599.30/2605.93 c 2606 7864 7755 1 - 0.0000 -
2604.58/2611.26 c 2611 7897 7788 1 - 0.0000 -
2611.56/2618.21 c 2618 7922 7813 1 - 0.0000 -
2617.74/2624.47 c 2624 7955 7846 1 - 0.0000 -
2623.02/2629.75 c 2630 7972 7863 1 - 0.0000 -
2628.70/2635.43 c 2635 8016 7907 1 - 0.0000 -
2633.69/2640.49 c 2640 8025 7916 1 - 0.0000 -
2646.55/2653.37 c 2653 8072 7963 1 - 0.0000 -
2652.43/2659.20 c 2659 8103 7994 1 - 0.0000 -
2661.10/2667.97 c 2668 8142 8033 1 - 0.0000 -
2666.29/2673.14 c 2673 8149 8040 1 - 0.0000 -
2673.07/2679.92 c 2680 8192 8083 1 - 0.0000 -
2678.65/2685.52 c 2686 8201 8092 1 - 0.0000 -
2683.63/2690.55 c 2691 8217 8108 1 - 0.0000 -
2689.61/2696.50 c 2696 8253 8144 1 - 0.0000 -
2694.70/2701.62 c 2702 8259 8150 1 - 0.0000 -
2700.29/2707.20 c 2707 8288 8179 1 - 0.0000 -
2706.07/2713.02 c 2713 8320 8211 1 - 0.0000 -
2712.75/2719.79 c 2720 8342 8233 1 - 0.0000 -
2720.22/2727.20 c 2727 8372 8263 1 - 0.0000 -
2726.51/2733.55 c 2734 8397 8288 1 - 0.0000 -
2734.78/2741.81 c 2742 8422 8313 1 - 0.0000 -
2740.46/2747.56 c 2748 8465 8356 1 - 0.0000 -
2746.64/2753.73 c 2754 8475 8366 1 - 0.0000 -
2752.23/2759.35 c 2759 8527 8418 1 - 0.0000 -
2759.01/2766.12 c 2766 8552 8443 1 - 0.0000 -
2764.38/2771.52 c 2772 8567 8458 1 - 0.0000 -
2770.37/2777.54 c 2778 8572 8463 1 - 0.0000 -
2775.45/2782.69 c 2783 8577 8468 1 - 0.0000 -
2780.84/2788.05 c 2788 8599 8490 1 - 0.0000 -
2786.41/2793.67 c 2794 8605 8496 1 - 0.0000 -
2791.90/2799.16 c 2799 8639 8530 1 - 0.0000 -
2798.18/2805.45 c 2805 8647 8538 1 - 0.0000 -
2803.57/2810.84 c 2811 8666 8557 1 - 0.0000 -
2809.35/2816.65 c 2817 8701 8592 1 - 0.0000 -
2816.03/2823.35 c 2823 8734 8625 1 - 0.0000 -
2821.02/2828.37 c 2828 8748 8637 1 - 0.0000 -
2827.00/2834.33 c 2834 8767 8656 1 - 0.0000 -
2832.88/2840.21 c 2840 8789 8678 1 - 0.0000 -
2840.36/2847.72 c 2848 8803 8692 1 - 0.0000 -
2845.94/2853.32 c 2853 8829 8718 1 - 0.0000 -
2855.51/2862.99 c 2863 8863 8752 1 - 0.0000 -
2862.59/2870.01 c 2870 8888 8777 1 - 0.0000 -
2870.36/2877.81 c 2878 8893 8782 1 - 0.0000 -
2875.75/2883.29 c 2883 8920 8809 1 - 0.0000 -
2881.53/2889.09 c 2889 8935 8824 1 - 0.0000 -
2886.62/2894.17 c 2894 8966 8855 1 - 0.0000 -
2891.70/2899.29 c 2899 8983 8872 1 - 0.0000 -
2897.18/2904.79 c 2905 9021 8910 1 - 0.0000 -
2903.76/2911.39 c 2911 9033 8922 1 - 0.0000 -
2908.94/2916.55 c 2917 9041 8930 1 - 0.0000 -
2914.92/2922.52 c 2923 9067 8956 1 - 0.0000 -
2921.00/2928.66 c 2929 9115 9004 1 - 0.0000 -
2926.98/2934.63 c 2935 9130 9019 1 - 0.0000 -
2932.66/2940.31 c 2940 9143 9032 1 - 0.0000 -
2938.65/2946.32 c 2946 9187 9076 1 - 0.0000 -
2943.84/2951.59 c 2952 9213 9102 1 - 0.0000 -
2950.12/2957.88 c 2958 9248 9137 1 - 0.0000 -
2957.20/2964.99 c 2965 9253 9142 1 - 0.0000 -
2967.37/2975.15 c 2975 9273 9162 1 - 0.0000 -
2973.54/2981.33 c 2981 9288 9177 1 - 0.0000 -
2982.42/2990.27 c 2990 9298 9187 1 - 0.0000 -
2990.09/2997.90 c 2998 9333 9222 1 - 0.0000 -
2997.87/3005.79 c 3006 9343 9232 1 - 0.0000 -
3004.54/3012.49 c 3012 9358 9247 1 - 0.0000 -
3009.93/3017.85 c 3018 9368 9257 1 - 0.0000 -
3016.41/3024.39 c 3024 9396 9285 1 - 0.0000 -
3021.99/3029.96 c 3030 9451 9340 1 - 0.0000 -
3029.97/3037.95 c 3038 9478 9367 1 - 0.0000 -
3035.95/3043.99 c 3044 9504 9393 1 - 0.0000 -
3041.73/3049.71 c 3050 9529 9418 1 - 0.0000 -
3047.81/3055.87 c 3056 9557 9446 1 - 0.0000 -
3052.89/3060.93 c 3061 9578 9467 1 - 0.0000 -
3058.77/3066.87 c 3067 9588 9477 1 - 0.0000 -
3068.44/3076.53 c 3077 9603 9492 1 - 0.0000 -
3075.22/3083.34 c 3083 9648 9537 1 - 0.0000 -
3080.92/3089.01 c 3089 9659 9548 1 - 0.0000 -
3086.59/3094.78 c 3095 9695 9584 1 - 0.0000 -
3094.17/3102.36 c 3102 9718 9607 1 - 0.0000 -
3102.44/3110.67 c 3111 9728 9617 1 - 0.0000 -
3109.72/3117.96 c 3118 9738 9627 1 - 0.0000 -
3115.70/3123.92 c 3124 9788 9675 1 - 0.0000 -
3122.67/3130.97 c 3131 9824 9711 1 - 0.0000 -
3132.05/3140.36 c 3140 9849 9736 1 - 0.0000 -
3137.53/3145.85 c 3146 9911 9798 1 - 0.0000 -
3143.61/3151.98 c 3152 9924 9811 1 - 0.0000 -
3152.08/3160.45 c 3160 9929 9816 1 - 0.0000 -
3157.86/3166.21 c 3166 9954 9841 1 - 0.0000 -
3163.15/3171.50 c 3172 9992 9879 1 - 0.0000 -
3168.43/3176.83 c 3177 9999 9886 1 - 0.0000 -
3175.61/3184.04 c 3184 10034 9921 1 - 0.0000 -
3187.07/3195.51 c 3196 10079 9966 1 - 0.0000 -
3192.56/3201.10 c 3201 10084 9971 1 - 0.0000 -
3198.23/3206.78 c 3207 10114 10001 1 - 0.0000 -
3203.82/3212.39 c 3212 10160 10047 1 - 0.0000 -
3209.91/3218.42 c 3218 10179 10066 1 - 0.0000 -
3215.49/3224.00 c 3224 10201 10086 1 - 0.0000 -
3226.65/3235.28 c 3235 10220 10105 1 - 0.0000 -
3232.34/3240.97 c 3241 10240 10125 1 - 0.0000 -
3237.82/3246.45 c 3246 10282 10167 1 - 0.0000 -
3246.19/3254.85 c 3255 10320 10205 1 - 0.0000 -
3253.27/3261.99 c 3262 10340 10225 1 - 0.0000 -
3258.85/3267.59 c 3268 10375 10260 1 - 0.0000 -
3266.63/3275.34 c 3275 10415 10300 1 - 0.0000 -
3271.71/3280.44 c 3280 10440 10325 1 - 0.0000 -
3276.90/3285.66 c 3286 10474 10359 1 - 0.0000 -
3283.77/3292.51 c 3293 10507 10392 1 - 0.0000 -
3289.75/3298.51 c 3299 10535 10420 1 - 0.0000 -
3295.43/3304.21 c 3304 10545 10430 1 - 0.0000 -
3301.42/3310.20 c 3310 10560 10445 1 - 0.0000 -
3308.89/3317.73 c 3318 10600 10485 1 - 0.0000 -
3315.17/3324.00 c 3324 10605 10490 1 - 0.0000 -
3320.26/3329.18 c 3329 10615 10500 1 - 0.0000 -
3325.44/3334.33 c 3334 10656 10541 1 - 0.0000 -
3332.62/3341.51 c 3342 10682 10565 1 - 0.0000 -
3337.80/3346.70 c 3347 10698 10581 1 - 0.0000 -
3345.38/3354.34 c 3354 10732 10615 1 - 0.0000 -
3352.95/3361.90 c 3362 10737 10620 1 - 0.0000 -
3358.83/3367.81 c 3368 10775 10658 1 - 0.0000 -
3363.92/3372.90 c 3373 10786 10669 1 - 0.0000 -
3369.81/3378.89 c 3379 10808 10691 1 - 0.0000 -
3375.10/3384.19 c 3384 10827 10710 1 - 0.0000 -
3380.38/3389.49 c 3390 10832 10715 1 - 0.0000 -
3386.76/3395.82 c 3396 10852 10735 1 - 0.0000 -
3393.84/3402.99 c 3403 10872 10755 1 - 0.0000 -
3400.71/3409.83 c 3410 10907 10790 1 - 0.0000 -
3406.60/3415.78 c 3416 10939 10822 1 - 0.0000 -
3412.08/3421.21 c 3421 10961 10844 1 - 0.0000 -
3420.86/3430.03 c 3430 10992 10875 1 - 0.0000 -
3425.84/3435.05 c 3435 11013 10896 1 - 0.0000 -
3431.52/3440.73 c 3441 11027 10910 1 - 0.0000 -
3437.40/3446.68 c 3447 11076 10959 1 - 0.0000 -
3445.28/3454.55 c 3455 11082 10965 1 - 0.0000 -
3451.66/3460.91 c 3461 11092 10975 1 - 0.0000 -
3456.94/3466.24 c 3466 11116 10999 1 - 0.0000 -
3465.82/3475.14 c 3475 11132 11015 1 - 0.0000 -
3472.79/3482.17 c 3482 11137 11020 1 - 0.0000 -
3480.77/3490.15 c 3490 11157 11040 1 - 0.0000 -
3485.85/3495.22 c 3495 11167 11050 1 - 0.0000 -
3490.83/3500.24 c 3500 11201 11084 1 - 0.0000 -
3496.42/3505.87 c 3506 11217 11100 1 - 0.0000 -
3502.50/3511.94 c 3512 11237 11120 1 - 0.0000 -
3507.68/3517.18 c 3517 11280 11163 1 - 0.0000 -
3513.56/3523.01 c 3523 11312 11195 1 - 0.0000 -
3522.13/3531.67 c 3532 11387 11270 1 - 0.0000 -
3528.01/3537.56 c 3538 11409 11292 1 - 0.0000 -
3534.10/3543.61 c 3544 11471 11354 1 - 0.0000 -
3543.27/3552.89 c 3553 11502 11385 1 - 0.0000 -
3550.04/3559.68 c 3560 11517 11400 1 - 0.0000 -
3558.63/3568.28 c 3568 11522 11405 1 - 0.0000 -
3568.70/3578.36 c 3578 11532 11415 1 - 0.0000 -
3574.68/3584.30 c 3584 11547 11430 1 - 0.0000 -
3583.55/3593.26 c 3593 11572 11455 1 - 0.0000 -
3589.03/3598.72 c 3599 11605 11488 1 - 0.0000 -
3590.33/3600.04 c SCIP Status : c solving was interrupted [hard time limit reached]
3590.33/3600.04 c Total Time : 3600.0400
3590.33/3600.04 c solving : 3600.0400
3590.33/3600.04 c presolving : 0.2498 (included in solving)
3590.33/3600.04 c B&B Tree :
3590.33/3600.04 c nodes (total) : 1
3590.33/3600.04 c Solution :
3590.33/3600.04 c Solutions found : 0
3590.33/3600.04 c Primal Bound : -
3590.33/3600.04 c Dual Bound : +0.00000000000000e+00
3590.33/3600.04 c Gap : -
3590.33/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 (59991 MiB free)
memory of node 1: 64510 MiB (60267 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4450570-1721414187/watcher-4450570-1721414187 -o /tmp/evaluation-result-4450570-1721414187/solver-4450570-1721414187 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1721410598-1040501 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4450570-1721414187.opb -qsol -t 3600 -sth 1
running on 2 cores: 5,7
CPU governors:
performance: 5 7
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=1042816, runsolver pid=1042813
Current StackSize limit: 8192 KiB
[startup+0.100099 s]*
/proc/loadavg: 4.15 4.14 4.07 5/256 1042817
/proc/meminfo: memFree=123111140/131524600 swapFree=131071996/131071996
[pid=1042816] ppid=1042813 vsize=54936 memory=43868 CPUtime=0.1 cores=5,7
/proc/1042816/stat : 1042816 (fscip) R 1042813 1042816 1040488 0 -1 4194304 9964 0 0 0 9 1 0 0 20 0 1 0 193588437 56254464 10967 134679101440 4194304 16613245 140732933205104 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 53678080 140732933207059 140732933207175 140732933207175 140732933214192 0
/proc/1042816/statm: 13734 10967 2702 3032 0 10134 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 54936 KiB
Current children cumulated memory: 43868 KiB
[startup+0.205423 s]*
/proc/loadavg: 4.15 4.14 4.07 5/256 1042817
/proc/meminfo: memFree=123106776/131524600 swapFree=131071996/131071996
[pid=1042816] ppid=1042813 vsize=59292 memory=48736 CPUtime=0.2 cores=5,7
/proc/1042816/stat : 1042816 (fscip) R 1042813 1042816 1040488 0 -1 4194304 11101 0 0 0 19 1 0 0 20 0 1 0 193588437 60715008 12184 134679101440 4194304 16613245 140732933205104 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 53678080 140732933207059 140732933207175 140732933207175 140732933214192 0
/proc/1042816/statm: 14823 12184 2734 3032 0 11223 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 59292 KiB
Current children cumulated memory: 48736 KiB
[startup+0.315129 s]*
/proc/loadavg: 4.15 4.14 4.07 5/257 1042818
/proc/meminfo: memFree=123089352/131524600 swapFree=131071996/131071996
[pid=1042816] ppid=1042813 vsize=146376 memory=65764 CPUtime=0.3 cores=5,7
/proc/1042816/stat : 1042816 (fscip) S 1042813 1042816 1040488 0 -1 1077936128 17488 0 0 0 28 2 0 0 20 0 2 0 193588437 149889024 16441 134679101440 4194304 16613245 140732933205104 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 53678080 140732933207059 140732933207175 140732933207175 140732933214192 0
/proc/1042816/statm: 36594 16441 2766 3032 0 18863 0
[pid=1042816/tid=1042818] ppid=1042813 vsize=146376 memory=-7664417297341767294 CPUtime=0 cores=5,7
/proc/1042816/task/1042818/stat : 1042818 (fscip) R 1042813 1042816 1040488 0 -1 4194368 2128 0 0 0 0 0 0 0 20 0 2 0 193588466 149889024 16441 134679101440 4194304 16613245 140732933205104 0 0 0 0 0 2 0 0 0 -1 7 0 0 0 0 0 18822208 18930672 53678080 140732933207059 140732933207175 140732933207175 140732933214192 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 146376 KiB
Current children cumulated memory: 65764 KiB
[startup+0.700266 s]
/proc/loadavg: 4.15 4.14 4.07 5/258 1042819
/proc/meminfo: memFree=123047444/131524600 swapFree=131071996/131071996
[pid=1042816] ppid=1042813 vsize=154572 memory=118832 CPUtime=0.68 cores=5,7
/proc/1042816/stat : 1042816 (fscip) S 1042813 1042816 1040488 0 -1 1077936128 30650 0 0 0 64 4 0 0 20 0 3 0 193588437 158281728 29708 134679101440 4194304 16613245 140732933205104 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 53678080 140732933207059 140732933207175 140732933207175 140732933214192 0
/proc/1042816/statm: 38643 29708 2942 3032 0 34555 0
[pid=1042816/tid=1042818] ppid=1042813 vsize=154572 memory=15976 CPUtime=0.38 cores=5,7
/proc/1042816/task/1042818/stat : 1042818 (fscip) R 1042813 1042816 1040488 0 -1 4194368 15287 0 0 0 36 2 0 0 20 0 3 0 193588466 158281728 29708 134679101440 4194304 16613245 140732933205104 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 53678080 140732933207059 140732933207175 140732933207175 140732933214192 0
[pid=1042816/tid=1042819] ppid=1042813 vsize=154572 memory=257 CPUtime=0 cores=5,7
/proc/1042816/task/1042819/stat : 1042819 (fscip) S 1042813 1042816 1040488 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 193588470 158281728 29708 134679101440 4194304 16613245 140732933205104 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 53678080 140732933207059 140732933207175 140732933207175 140732933214192 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 154572 KiB
Current children cumulated memory: 118832 KiB
[startup+1.50026 s]
/proc/loadavg: 4.15 4.14 4.07 5/258 1042819
/proc/meminfo: memFree=123014680/131524600 swapFree=131071996/131071996
[pid=1042816] ppid=1042813 vsize=220108 memory=140640 CPUtime=1.47 cores=5,7
/proc/1042816/stat : 1042816 (fscip) S 1042813 1042816 1040488 0 -1 1077936128 38927 0 0 0 142 5 0 0 20 0 3 0 193588437 225390592 35160 134679101440 4194304 16613245 140732933205104 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 53678080 140732933207059 140732933207175 140732933207175 140732933214192 0
/proc/1042816/statm: 55027 35160 2942 3032 0 41406 0
[pid=1042816/tid=1042818] ppid=1042813 vsize=220108 memory=257 CPUtime=1.17 cores=5,7
/proc/1042816/task/1042818/stat : 1042818 (fscip) R 1042813 1042816 1040488 0 -1 4194368 23557 0 0 0 114 3 0 0 20 0 3 0 193588466 225390592 35160 134679101440 4194304 16613245 140732933205104 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 53678080 140732933207059 140732933207175 140732933207175 140732933214192 0
[pid=1042816/tid=1042819] ppid=1042813 vsize=220108 memory=0 CPUtime=0 cores=5,7
/proc/1042816/task/1042819/stat : 1042819 (fscip) S 1042813 1042816 1040488 0 -1 1077936192 7 0 0 0 0 0 0 0 20 0 3 0 193588470 225390592 35160 134679101440 4194304 16613245 140732933205104 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 53678080 140732933207059 140732933207175 140732933207175 140732933214192 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 220108 KiB
Current children cumulated memory: 140640 KiB
[startup+3.10531 s]
/proc/loadavg: 4.22 4.15 4.07 5/258 1042819
/proc/meminfo: memFree=123015028/131524600 swapFree=131071996/131071996
[pid=1042816] ppid=1042813 vsize=220108 memory=140824 CPUtime=3.08 cores=5,7
/proc/1042816/stat : 1042816 (fscip) S 1042813 1042816 1040488 0 -1 1077936128 46586 0 0 0 302 6 0 0 20 0 3 0 193588437 225390592 35206 134679101440 4194304 16613245 140732933205104 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 53678080 140732933207059 140732933207175 140732933207175 140732933214192 0
/proc/1042816/statm: 55027 35206 2942 3032 0 41406 0
[pid=1042816/tid=1042818] ppid=1042813 vsize=220108 memory=0 CPUtime=2.77 cores=5,7
/proc/1042816/task/1042818/stat : 1042818 (fscip) R 1042813 1042816 1040488 0 -1 4194368 31216 0 0 0 274 3 0 0 20 0 3 0 193588466 225390592 35206 134679101440 4194304 16613245 140732933205104 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 53678080 140732933207059 140732933207175 140732933207175 140732933214192 0
[pid=1042816/tid=1042819] ppid=1042813 vsize=220108 memory=0 CPUtime=0 cores=5,7
/proc/1042816/task/1042819/stat : 1042819 (fscip) S 1042813 1042816 1040488 0 -1 1077936192 7 0 0 0 0 0 0 0 20 0 3 0 193588470 225390592 35206 134679101440 4194304 16613245 140732933205104 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 53678080 140732933207059 140732933207175 140732933207175 140732933214192 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 220108 KiB
Current children cumulated memory: 140824 KiB
[startup+6.30024 s]
/proc/loadavg: 4.22 4.15 4.07 5/258 1042820
/proc/meminfo: memFree=123014512/131524600 swapFree=131071996/131071996
[pid=1042816] ppid=1042813 vsize=220108 memory=140868 CPUtime=6.26 cores=5,7
/proc/1042816/stat : 1042816 (fscip) S 1042813 1042816 1040488 0 -1 1077936128 57849 0 0 0 620 6 0 0 20 0 3 0 193588437 225390592 35217 134679101440 4194304 16613245 140732933205104 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 53678080 140732933207059 140732933207175 140732933207175 140732933214192 0
/proc/1042816/statm: 55027 35217 2942 3032 0 41406 0
[pid=1042816/tid=1042818] ppid=1042813 vsize=220108 memory=0 CPUtime=5.96 cores=5,7
/proc/1042816/task/1042818/stat : 1042818 (fscip) R 1042813 1042816 1040488 0 -1 4194368 42477 0 0 0 592 4 0 0 20 0 3 0 193588466 225390592 35217 134679101440 4194304 16613245 140732933205104 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 53678080 140732933207059 140732933207175 140732933207175 140732933214192 0
[pid=1042816/tid=1042819] ppid=1042813 vsize=220108 memory=-7664417297341767294 CPUtime=0 cores=5,7
/proc/1042816/task/1042819/stat : 1042819 (fscip) S 1042813 1042816 1040488 0 -1 1077936192 9 0 0 0 0 0 0 0 20 0 3 0 193588470 225390592 35217 134679101440 4194304 16613245 140732933205104 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 53678080 140732933207059 140732933207175 140732933207175 140732933214192 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 220108 KiB
Current children cumulated memory: 140868 KiB
[startup+12.7003 s]
/proc/loadavg: 4.20 4.15 4.07 5/258 1042820
/proc/meminfo: memFree=123014616/131524600 swapFree=131071996/131071996
[pid=1042816] ppid=1042813 vsize=220108 memory=142064 CPUtime=12.65 cores=5,7
/proc/1042816/stat : 1042816 (fscip) S 1042813 1042816 1040488 0 -1 1077936128 77255 0 0 0 1258 7 0 0 20 0 3 0 193588437 225390592 35516 134679101440 4194304 16613245 140732933205104 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 53678080 140732933207059 140732933207175 140732933207175 140732933214192 0
/proc/1042816/statm: 55027 35516 2942 3032 0 41406 0
[pid=1042816/tid=1042818] ppid=1042813 vsize=220108 memory=-7664417297341767294 CPUtime=12.34 cores=5,7
/proc/1042816/task/1042818/stat : 1042818 (fscip) R 1042813 1042816 1040488 0 -1 4194368 61870 0 0 0 1229 5 0 0 20 0 3 0 193588466 225390592 35516 134679101440 4194304 16613245 140732933205104 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 53678080 140732933207059 140732933207175 140732933207175 140732933214192 0
[pid=1042816/tid=1042819] ppid=1042813 vsize=220108 memory=140952 CPUtime=0 cores=5,7
/proc/1042816/task/1042819/stat : 1042819 (fscip) S 1042813 1042816 1040488 0 -1 1077936192 22 0 0 0 0 0 0 0 20 0 3 0 193588470 225390592 35516 134679101440 4194304 16613245 140732933205104 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 53678080 140732933207059 140732933207175 140732933207175 140732933214192 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 220108 KiB
Current children cumulated memory: 142064 KiB
[startup+25.5003 s]
/proc/loadavg: 4.15 4.14 4.07 5/258 1042822
/proc/meminfo: memFree=123006952/131524600 swapFree=131071996/131071996
[pid=1042816] ppid=1042813 vsize=220108 memory=142200 CPUtime=25.42 cores=5,7
/proc/1042816/stat : 1042816 (fscip) S 1042813 1042816 1040488 0 -1 1077936128 101361 0 0 0 2534 8 0 0 20 0 3 0 193588437 225390592 35550 134679101440 4194304 16613245 140732933205104 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 53678080 140732933207059 140732933207175 140732933207175 140732933214192 0
/proc/1042816/statm: 55027 35550 2942 3032 0 41406 0
[pid=1042816/tid=1042818] ppid=1042813 vsize=220108 memory=142200 CPUtime=25.11 cores=5,7
/proc/1042816/task/1042818/stat : 1042818 (fscip) R 1042813 1042816 1040488 0 -1 4194368 85960 0 0 0 2505 6 0 0 20 0 3 0 193588466 225390592 35550 134679101440 4194304 16613245 140732933205104 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 53678080 140732933207059 140732933207175 140732933207175 140732933214192 0
[pid=1042816/tid=1042819] ppid=1042813 vsize=220108 memory=5492 CPUtime=0 cores=5,7
/proc/1042816/task/1042819/stat : 1042819 (fscip) S 1042813 1042816 1040488 0 -1 1077936192 38 0 0 0 0 0 0 0 20 0 3 0 193588470 225390592 35550 134679101440 4194304 16613245 140732933205104 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 53678080 140732933207059 140732933207175 140732933207175 140732933214192 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 220108 KiB
Current children cumulated memory: 142200 KiB
[startup+51.1053 s]
/proc/loadavg: 4.30 4.18 4.08 5/258 1042826
/proc/meminfo: memFree=122980884/131524600 swapFree=131071996/131071996
[pid=1042816] ppid=1042813 vsize=220108 memory=167408 CPUtime=50.96 cores=5,7
/proc/1042816/stat : 1042816 (fscip) S 1042813 1042816 1040488 0 -1 1077936128 147133 0 0 0 5085 11 0 0 20 0 3 0 193588437 225390592 41852 134679101440 4194304 16613245 140732933205104 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 53678080 140732933207059 140732933207175 140732933207175 140732933214192 0
/proc/1042816/statm: 55027 41852 2942 3032 0 47844 0
[pid=1042816/tid=1042818] ppid=1042813 vsize=220108 memory=167408 CPUtime=50.66 cores=5,7
/proc/1042816/task/1042818/stat : 1042818 (fscip) R 1042813 1042816 1040488 0 -1 4194368 131662 0 0 0 5057 9 0 0 20 0 3 0 193588466 225390592 41852 134679101440 4194304 16613245 140732933205104 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 53678080 140732933207059 140732933207175 140732933207175 140732933214192 0
[pid=1042816/tid=1042819] ppid=1042813 vsize=220108 memory=12340 CPUtime=0 cores=5,7
/proc/1042816/task/1042819/stat : 1042819 (fscip) S 1042813 1042816 1040488 0 -1 1077936192 46 0 0 0 0 0 0 0 20 0 3 0 193588470 225390592 41852 134679101440 4194304 16613245 140732933205104 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 53678080 140732933207059 140732933207175 140732933207175 140732933214192 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 220108 KiB
Current children cumulated memory: 167408 KiB
[startup+102.3 s]
/proc/loadavg: 4.20 4.16 4.09 5/258 1042836
/proc/meminfo: memFree=122980324/131524600 swapFree=131071996/131071996
[pid=1042816] ppid=1042813 vsize=220108 memory=167600 CPUtime=102.05 cores=5,7
/proc/1042816/stat : 1042816 (fscip) S 1042813 1042816 1040488 0 -1 1077936128 166630 0 0 0 10192 13 0 0 20 0 3 0 193588437 225390592 41900 134679101440 4194304 16613245 140732933205104 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 53678080 140732933207059 140732933207175 140732933207175 140732933214192 0
/proc/1042816/statm: 55027 41900 2990 3032 0 47844 0
[pid=1042816/tid=1042818] ppid=1042813 vsize=220108 memory=167600 CPUtime=101.74 cores=5,7
/proc/1042816/task/1042818/stat : 1042818 (fscip) R 1042813 1042816 1040488 0 -1 4194368 151113 0 0 0 10164 10 0 0 20 0 3 0 193588466 225390592 41900 134679101440 4194304 16613245 140732933205104 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 53678080 140732933207059 140732933207175 140732933207175 140732933214192 0
[pid=1042816/tid=1042819] ppid=1042813 vsize=220108 memory=167600 CPUtime=0 cores=5,7
/proc/1042816/task/1042819/stat : 1042819 (fscip) S 1042813 1042816 1040488 0 -1 1077936192 60 0 0 0 0 0 0 0 20 0 3 0 193588470 225390592 41900 134679101440 4194304 16613245 140732933205104 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 53678080 140732933207059 140732933207175 140732933207175 140732933214192 0
Current children cumulated CPU time: 102.05 s
Current children cumulated vsize: 220108 KiB
Current children cumulated memory: 167600 KiB
[startup+162.3 s]
/proc/loadavg: 4.13 4.15 4.09 5/258 1042846
/proc/meminfo: memFree=122979732/131524600 swapFree=131071996/131071996
[pid=1042816] ppid=1042813 vsize=220108 memory=167600 CPUtime=161.91 cores=5,7
/proc/1042816/stat : 1042816 (fscip) S 1042813 1042816 1040488 0 -1 1077936128 175832 0 0 0 16178 13 0 0 20 0 3 0 193588437 225390592 41900 134679101440 4194304 16613245 140732933205104 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 53678080 140732933207059 140732933207175 140732933207175 140732933214192 0
/proc/1042816/statm: 55027 41900 2990 3032 0 47844 0
[pid=1042816/tid=1042818] ppid=1042813 vsize=220108 memory=167600 CPUtime=161.61 cores=5,7
/proc/1042816/task/1042818/stat : 1042818 (fscip) R 1042813 1042816 1040488 0 -1 4194368 160303 0 0 0 16150 11 0 0 20 0 3 0 193588466 225390592 41900 134679101440 4194304 16613245 140732933205104 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 53678080 140732933207059 140732933207175 140732933207175 140732933214192 0
[pid=1042816/tid=1042819] ppid=1042813 vsize=220108 memory=5492 CPUtime=0 cores=5,7
/proc/1042816/task/1042819/stat : 1042819 (fscip) S 1042813 1042816 1040488 0 -1 1077936192 72 0 0 0 0 0 0 0 20 0 3 0 193588470 225390592 41900 134679101440 4194304 16613245 140732933205104 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 53678080 140732933207059 140732933207175 140732933207175 140732933214192 0
Current children cumulated CPU time: 161.91 s
Current children cumulated vsize: 220108 KiB
Current children cumulated memory: 167600 KiB
[startup+222.3 s]
/proc/loadavg: 4.16 4.15 4.09 5/258 1042856
/proc/meminfo: memFree=122973920/131524600 swapFree=131071996/131071996
[pid=1042816] ppid=1042813 vsize=220108 memory=172848 CPUtime=221.77 cores=5,7
/proc/1042816/stat : 1042816 (fscip) S 1042813 1042816 1040488 0 -1 1077936128 193644 0 0 0 22162 15 0 0 20 0 3 0 193588437 225390592 43212 134679101440 4194304 16613245 140732933205104 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 53678080 140732933207059 140732933207175 140732933207175 140732933214192 0
/proc/1042816/statm: 55027 43212 2990 3032 0 48048 0
[pid=1042816/tid=1042818] ppid=1042813 vsize=220108 memory=167600 CPUtime=221.47 cores=5,7
/proc/1042816/task/1042818/stat : 1042818 (fscip) R 1042813 1042816 1040488 0 -1 4194368 178079 0 0 0 22134 13 0 0 20 0 3 0 193588466 225390592 43212 134679101440 4194304 16613245 140732933205104 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 53678080 140732933207059 140732933207175 140732933207175 140732933214192 0
################
# More data... #
################
/proc/1042816/statm: 71411 55153 2990 3032 0 59057 0
[pid=1042816/tid=1042818] ppid=1042813 vsize=285644 memory=220612 CPUtime=3392.8 cores=5,7
/proc/1042816/task/1042818/stat : 1042818 (fscip) R 1042813 1042816 1040488 0 -1 4194368 420959 0 0 0 339238 42 0 0 20 0 3 0 193588466 292499456 55153 134679101440 4194304 16613245 140732933205104 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 53678080 140732933207059 140732933207175 140732933207175 140732933214192 0
[pid=1042816/tid=1042819] ppid=1042813 vsize=285644 memory=12340 CPUtime=0.03 cores=5,7
/proc/1042816/task/1042819/stat : 1042819 (fscip) S 1042813 1042816 1040488 0 -1 1077936192 290 0 0 0 1 2 0 0 20 0 3 0 193588470 292499456 55153 134679101440 4194304 16613245 140732933205104 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 53678080 140732933207059 140732933207175 140732933207175 140732933214192 0
Current children cumulated CPU time: 3393.24 s
Current children cumulated vsize: 285644 KiB
Current children cumulated memory: 220612 KiB
[startup+3462.3 s]
/proc/loadavg: 4.18 4.16 4.10 5/265 1044765
/proc/meminfo: memFree=124170436/131524600 swapFree=131071996/131071996
[pid=1042816] ppid=1042813 vsize=285644 memory=220688 CPUtime=3453.05 cores=5,7
/proc/1042816/stat : 1042816 (fscip) S 1042813 1042816 1040488 0 -1 1077936128 438516 0 0 0 345254 51 0 0 20 0 3 0 193588437 292499456 55172 134679101440 4194304 16613245 140732933205104 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 53678080 140732933207059 140732933207175 140732933207175 140732933214192 0
/proc/1042816/statm: 71411 55172 2990 3032 0 59057 0
[pid=1042816/tid=1042818] ppid=1042813 vsize=285644 memory=220612 CPUtime=3452.61 cores=5,7
/proc/1042816/task/1042818/stat : 1042818 (fscip) R 1042813 1042816 1040488 0 -1 4194368 421633 0 0 0 345219 42 0 0 20 0 3 0 193588466 292499456 55172 134679101440 4194304 16613245 140732933205104 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 53678080 140732933207059 140732933207175 140732933207175 140732933214192 0
[pid=1042816/tid=1042819] ppid=1042813 vsize=285644 memory=12340 CPUtime=0.03 cores=5,7
/proc/1042816/task/1042819/stat : 1042819 (fscip) S 1042813 1042816 1040488 0 -1 1077936192 294 0 0 0 1 2 0 0 20 0 3 0 193588470 292499456 55172 134679101440 4194304 16613245 140732933205104 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 53678080 140732933207059 140732933207175 140732933207175 140732933214192 0
Current children cumulated CPU time: 3453.05 s
Current children cumulated vsize: 285644 KiB
Current children cumulated memory: 220688 KiB
[startup+3522.3 s]
/proc/loadavg: 4.36 4.23 4.13 5/265 1044775
/proc/meminfo: memFree=124167604/131524600 swapFree=131071996/131071996
[pid=1042816] ppid=1042813 vsize=285644 memory=223060 CPUtime=3512.86 cores=5,7
/proc/1042816/stat : 1042816 (fscip) S 1042813 1042816 1040488 0 -1 1077936128 439441 0 0 0 351235 51 0 0 20 0 3 0 193588437 292499456 55765 134679101440 4194304 16613245 140732933205104 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 53678080 140732933207059 140732933207175 140732933207175 140732933214192 0
/proc/1042816/statm: 71411 55765 2990 3032 0 59057 0
[pid=1042816/tid=1042818] ppid=1042813 vsize=285644 memory=220612 CPUtime=3512.42 cores=5,7
/proc/1042816/task/1042818/stat : 1042818 (fscip) R 1042813 1042816 1040488 0 -1 4194368 422532 0 0 0 351200 42 0 0 20 0 3 0 193588466 292499456 55765 134679101440 4194304 16613245 140732933205104 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 53678080 140732933207059 140732933207175 140732933207175 140732933214192 0
[pid=1042816/tid=1042819] ppid=1042813 vsize=285644 memory=12312 CPUtime=0.03 cores=5,7
/proc/1042816/task/1042819/stat : 1042819 (fscip) S 1042813 1042816 1040488 0 -1 1077936192 300 0 0 0 1 2 0 0 20 0 3 0 193588470 292499456 55765 134679101440 4194304 16613245 140732933205104 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 53678080 140732933207059 140732933207175 140732933207175 140732933214192 0
Current children cumulated CPU time: 3512.86 s
Current children cumulated vsize: 285644 KiB
Current children cumulated memory: 223060 KiB
[startup+3582.3 s]
/proc/loadavg: 4.25 4.22 4.13 5/263 1044785
/proc/meminfo: memFree=124166652/131524600 swapFree=131071996/131071996
[pid=1042816] ppid=1042813 vsize=285644 memory=223432 CPUtime=3572.68 cores=5,7
/proc/1042816/stat : 1042816 (fscip) S 1042813 1042816 1040488 0 -1 1077936128 440021 0 0 0 357216 52 0 0 20 0 3 0 193588437 292499456 55858 134679101440 4194304 16613245 140732933205104 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 53678080 140732933207059 140732933207175 140732933207175 140732933214192 0
/proc/1042816/statm: 71411 55858 2990 3032 0 59057 0
[pid=1042816/tid=1042818] ppid=1042813 vsize=285644 memory=220612 CPUtime=3572.24 cores=5,7
/proc/1042816/task/1042818/stat : 1042818 (fscip) R 1042813 1042816 1040488 0 -1 4194368 423087 0 0 0 357181 43 0 0 20 0 3 0 193588466 292499456 55858 134679101440 4194304 16613245 140732933205104 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 53678080 140732933207059 140732933207175 140732933207175 140732933214192 0
[pid=1042816/tid=1042819] ppid=1042813 vsize=285644 memory=223432 CPUtime=0.03 cores=5,7
/proc/1042816/task/1042819/stat : 1042819 (fscip) S 1042813 1042816 1040488 0 -1 1077936192 306 0 0 0 1 2 0 0 20 0 3 0 193588470 292499456 55858 134679101440 4194304 16613245 140732933205104 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 53678080 140732933207059 140732933207175 140732933207175 140732933214192 0
Current children cumulated CPU time: 3572.68 s
Current children cumulated vsize: 285644 KiB
Current children cumulated memory: 223432 KiB
[startup+3600.06 s]
# the end of solver process 1042816 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3589.87 s, system=0.524657 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.23 4.22 4.13 5/263 1044785
/proc/meminfo: memFree=124166396/131524600 swapFree=131071996/131071996
[pid=1042816] ppid=1042813 vsize=285644 memory=223616 CPUtime=3574.38 cores=5,7
/proc/1042816/stat : 1042816 (fscip) S 1042813 1042816 1040488 0 -1 1077936128 440050 0 0 0 357386 52 0 0 20 0 3 0 193588437 292499456 55904 134679101440 4194304 16613245 140732933205104 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 53678080 140732933207059 140732933207175 140732933207175 140732933214192 0
/proc/1042816/statm: 71411 55904 2990 3032 0 59057 0
[pid=1042816/tid=1042818] ppid=1042813 vsize=285644 memory=-6808452825279008105 CPUtime=3573.94 cores=5,7
/proc/1042816/task/1042818/stat : 1042818 (fscip) R 1042813 1042816 1040488 0 -1 4194368 423116 0 0 0 357351 43 0 0 20 0 3 0 193588466 292499456 55904 134679101440 4194304 16613245 140732933205104 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 53678080 140732933207059 140732933207175 140732933207175 140732933214192 0
[pid=1042816/tid=1042819] ppid=1042813 vsize=285644 memory=4608890751672429 CPUtime=0.03 cores=5,7
/proc/1042816/task/1042819/stat : 1042819 (fscip) S 1042813 1042816 1040488 0 -1 1077936192 306 0 0 0 1 2 0 0 20 0 3 0 193588470 292499456 55904 134679101440 4194304 16613245 140732933205104 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 53678080 140732933207059 140732933207175 140732933207175 140732933214192 0
Current children cumulated CPU time: 3574.38 s
Current children cumulated vsize: 285644 KiB
Current children cumulated memory: 223616 KiB
[startup+3590.4 s]
/proc/loadavg: 4.21 4.21 4.13 5/263 1044786
/proc/meminfo: memFree=124159200/131524600 swapFree=131071996/131071996
[pid=1042816] ppid=1042813 vsize=285644 memory=223616 CPUtime=3580.76 cores=5,7
/proc/1042816/stat : 1042816 (fscip) S 1042813 1042816 1040488 0 -1 1077936128 440070 0 0 0 358024 52 0 0 20 0 3 0 193588437 292499456 55904 134679101440 4194304 16613245 140732933205104 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 53678080 140732933207059 140732933207175 140732933207175 140732933214192 0
/proc/1042816/statm: 71411 55904 2990 3032 0 59057 0
[pid=1042816/tid=1042818] ppid=1042813 vsize=285644 memory=223432 CPUtime=3580.31 cores=5,7
/proc/1042816/task/1042818/stat : 1042818 (fscip) R 1042813 1042816 1040488 0 -1 4194368 423136 0 0 0 357988 43 0 0 20 0 3 0 193588466 292499456 55904 134679101440 4194304 16613245 140732933205104 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 53678080 140732933207059 140732933207175 140732933207175 140732933214192 0
[pid=1042816/tid=1042819] ppid=1042813 vsize=285644 memory=223616 CPUtime=0.03 cores=5,7
/proc/1042816/task/1042819/stat : 1042819 (fscip) S 1042813 1042816 1040488 0 -1 1077936192 306 0 0 0 1 2 0 0 20 0 3 0 193588470 292499456 55904 134679101440 4194304 16613245 140732933205104 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 53678080 140732933207059 140732933207175 140732933207175 140732933214192 0
Current children cumulated CPU time: 3580.76 s
Current children cumulated vsize: 285644 KiB
Current children cumulated memory: 223616 KiB
[startup+3596.8 s]
/proc/loadavg: 4.19 4.21 4.13 5/263 1044788
/proc/meminfo: memFree=124159196/131524600 swapFree=131071996/131071996
[pid=1042816] ppid=1042813 vsize=285644 memory=223616 CPUtime=3587.14 cores=5,7
/proc/1042816/stat : 1042816 (fscip) S 1042813 1042816 1040488 0 -1 1077936128 440081 0 0 0 358662 52 0 0 20 0 3 0 193588437 292499456 55904 134679101440 4194304 16613245 140732933205104 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 53678080 140732933207059 140732933207175 140732933207175 140732933214192 0
/proc/1042816/statm: 71411 55904 2990 3032 0 59057 0
[pid=1042816/tid=1042818] ppid=1042813 vsize=285644 memory=223616 CPUtime=3586.69 cores=5,7
/proc/1042816/task/1042818/stat : 1042818 (fscip) R 1042813 1042816 1040488 0 -1 4194368 423147 0 0 0 358626 43 0 0 20 0 3 0 193588466 292499456 55904 134679101440 4194304 16613245 140732933205104 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 53678080 140732933207059 140732933207175 140732933207175 140732933214192 0
[pid=1042816/tid=1042819] ppid=1042813 vsize=285644 memory=223616 CPUtime=0.03 cores=5,7
/proc/1042816/task/1042819/stat : 1042819 (fscip) S 1042813 1042816 1040488 0 -1 1077936192 306 0 0 0 1 2 0 0 20 0 3 0 193588470 292499456 55904 134679101440 4194304 16613245 140732933205104 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 53678080 140732933207059 140732933207175 140732933207175 140732933214192 0
Current children cumulated CPU time: 3587.14 s
Current children cumulated vsize: 285644 KiB
Current children cumulated memory: 223616 KiB
[startup+3598.4 s]
/proc/loadavg: 4.19 4.21 4.13 5/263 1044788
/proc/meminfo: memFree=124158136/131524600 swapFree=131071996/131071996
[pid=1042816] ppid=1042813 vsize=285644 memory=224588 CPUtime=3588.73 cores=5,7
/proc/1042816/stat : 1042816 (fscip) S 1042813 1042816 1040488 0 -1 1077936128 440361 0 0 0 358821 52 0 0 20 0 3 0 193588437 292499456 56147 134679101440 4194304 16613245 140732933205104 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 53678080 140732933207059 140732933207175 140732933207175 140732933214192 0
/proc/1042816/statm: 71411 56147 2990 3032 0 59057 0
[pid=1042816/tid=1042818] ppid=1042813 vsize=285644 memory=12312 CPUtime=3588.29 cores=5,7
/proc/1042816/task/1042818/stat : 1042818 (fscip) R 1042813 1042816 1040488 0 -1 4194368 423427 0 0 0 358786 43 0 0 20 0 3 0 193588466 292499456 56147 134679101440 4194304 16613245 140732933205104 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 53678080 140732933207059 140732933207175 140732933207175 140732933214192 0
[pid=1042816/tid=1042819] ppid=1042813 vsize=285644 memory=5492 CPUtime=0.03 cores=5,7
/proc/1042816/task/1042819/stat : 1042819 (fscip) S 1042813 1042816 1040488 0 -1 1077936192 306 0 0 0 1 2 0 0 20 0 3 0 193588470 292499456 56147 134679101440 4194304 16613245 140732933205104 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 53678080 140732933207059 140732933207175 140732933207175 140732933214192 0
Current children cumulated CPU time: 3588.73 s
Current children cumulated vsize: 285644 KiB
Current children cumulated memory: 224588 KiB
[startup+3599.2 s]
/proc/loadavg: 4.18 4.20 4.13 5/263 1044788
/proc/meminfo: memFree=124158024/131524600 swapFree=131071996/131071996
[pid=1042816] ppid=1042813 vsize=285644 memory=224588 CPUtime=3589.53 cores=5,7
/proc/1042816/stat : 1042816 (fscip) S 1042813 1042816 1040488 0 -1 1077936128 440362 0 0 0 358901 52 0 0 20 0 3 0 193588437 292499456 56147 134679101440 4194304 16613245 140732933205104 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 53678080 140732933207059 140732933207175 140732933207175 140732933214192 0
/proc/1042816/statm: 71411 56147 2990 3032 0 59057 0
[pid=1042816/tid=1042818] ppid=1042813 vsize=285644 memory=5568 CPUtime=3589.09 cores=5,7
/proc/1042816/task/1042818/stat : 1042818 (fscip) R 1042813 1042816 1040488 0 -1 4194368 423428 0 0 0 358866 43 0 0 20 0 3 0 193588466 292499456 56147 134679101440 4194304 16613245 140732933205104 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 53678080 140732933207059 140732933207175 140732933207175 140732933214192 0
[pid=1042816/tid=1042819] ppid=1042813 vsize=285644 memory=12340 CPUtime=0.03 cores=5,7
/proc/1042816/task/1042819/stat : 1042819 (fscip) S 1042813 1042816 1040488 0 -1 1077936192 306 0 0 0 1 2 0 0 20 0 3 0 193588470 292499456 56147 134679101440 4194304 16613245 140732933205104 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 53678080 140732933207059 140732933207175 140732933207175 140732933214192 0
Current children cumulated CPU time: 3589.53 s
Current children cumulated vsize: 285644 KiB
Current children cumulated memory: 224588 KiB
[startup+3599.6 s]
/proc/loadavg: 4.18 4.20 4.13 5/263 1044788
/proc/meminfo: memFree=124158024/131524600 swapFree=131071996/131071996
[pid=1042816] ppid=1042813 vsize=285644 memory=224588 CPUtime=3589.93 cores=5,7
/proc/1042816/stat : 1042816 (fscip) S 1042813 1042816 1040488 0 -1 1077936128 440362 0 0 0 358941 52 0 0 20 0 3 0 193588437 292499456 56147 134679101440 4194304 16613245 140732933205104 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 53678080 140732933207059 140732933207175 140732933207175 140732933214192 0
/proc/1042816/statm: 71411 56147 2990 3032 0 59057 0
[pid=1042816/tid=1042818] ppid=1042813 vsize=285644 memory=49348 CPUtime=3589.49 cores=5,7
/proc/1042816/task/1042818/stat : 1042818 (fscip) R 1042813 1042816 1040488 0 -1 4194368 423428 0 0 0 358906 43 0 0 20 0 3 0 193588466 292499456 56147 134679101440 4194304 16613245 140732933205104 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 53678080 140732933207059 140732933207175 140732933207175 140732933214192 0
[pid=1042816/tid=1042819] ppid=1042813 vsize=285644 memory=12312 CPUtime=0.03 cores=5,7
/proc/1042816/task/1042819/stat : 1042819 (fscip) S 1042813 1042816 1040488 0 -1 1077936192 306 0 0 0 1 2 0 0 20 0 3 0 193588470 292499456 56147 134679101440 4194304 16613245 140732933205104 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 53678080 140732933207059 140732933207175 140732933207175 140732933214192 0
Current children cumulated CPU time: 3589.93 s
Current children cumulated vsize: 285644 KiB
Current children cumulated memory: 224588 KiB
[startup+3600 s]*
/proc/loadavg: 4.18 4.20 4.13 5/263 1044788
/proc/meminfo: memFree=124158024/131524600 swapFree=131071996/131071996
[pid=1042816] ppid=1042813 vsize=285644 memory=224588 CPUtime=3590.33 cores=5,7
/proc/1042816/stat : 1042816 (fscip) S 1042813 1042816 1040488 0 -1 1077936128 440363 0 0 0 358981 52 0 0 20 0 3 0 193588437 292499456 56147 134679101440 4194304 16613245 140732933205104 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 53678080 140732933207059 140732933207175 140732933207175 140732933214192 0
/proc/1042816/statm: 71411 56147 2990 3032 0 59057 0
[pid=1042816/tid=1042818] ppid=1042813 vsize=285644 memory=-6808452825279008105 CPUtime=3589.89 cores=5,7
/proc/1042816/task/1042818/stat : 1042818 (fscip) R 1042813 1042816 1040488 0 -1 4194368 423428 0 0 0 358946 43 0 0 20 0 3 0 193588466 292499456 56147 134679101440 4194304 16613245 140732933205104 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 53678080 140732933207059 140732933207175 140732933207175 140732933214192 0
[pid=1042816/tid=1042819] ppid=1042813 vsize=285644 memory=-9187040390557957058 CPUtime=0.03 cores=5,7
/proc/1042816/task/1042819/stat : 1042819 (fscip) S 1042813 1042816 1040488 0 -1 1077936192 306 0 0 0 1 2 0 0 20 0 3 0 193588470 292499456 56147 134679101440 4194304 16613245 140732933205104 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 53678080 140732933207059 140732933207175 140732933207175 140732933214192 0
Current children cumulated CPU time: 3590.33 s
Current children cumulated vsize: 285644 KiB
Current children cumulated memory: 224588 KiB
Child status: 0
Real time (s): 3600.06
CPU time (s): 3590.4
CPU user time (s): 3589.87
CPU system time (s): 0.524657
CPU usage (%): 99.7315
Max. virtual memory (cumulated for all children) (KiB): 285644
Max. memory (cumulated for all children) (KiB): 224588
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3589.87
system time used= 0.524657
maximum resident set size= 224784
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 441400
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= 6645
involuntary context switches= 1456
# summary of solver processes directly reported to runsolver:
# pid: 1042816
# total CPU time (s): 3590.4
# total CPU user time (s): 3589.87
# total CPU system time (s): 0.524657
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.09431 second user time and 16.6081 second system time
The end
Begin job on nodeC033 at 2024-07-19 20:36:39
IDJOB=4450570
IDBENCH=162167
IDSOLVER=3064
FILE ID=nodeC033/4450570-1721414187
RUNJOBID= nodeC033-1721410598-1040501
SLURM_JOB_ID= 7545470
Free space on /tmp= 889996 MiB
SOLVER NAME= FiberSCIP 2024-07-02
BENCH NAME= PB24/normalized-PB16/DEC-LIN/nossum/normalized-sha1-size96-round23-9.opb
COMMAND LINE= ./fscip settings/racing.prm BENCHNAME -qsol -t TIMEOUT -sth 1
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4450570-1721414187/watcher-4450570-1721414187 -o /tmp/evaluation-result-4450570-1721414187/solver-4450570-1721414187 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1721410598-1040501 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4450570-1721414187.opb -qsol -t 3600 -sth 1
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= f6eda1605d5c8d227dca004c862e5b86
RANDOM SEED=1235540016
nodeC033.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 : 3668.488
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.50
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 : 3674.634
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.046
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.50
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.350
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7006.25
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3668.538
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.50
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 : 3653.555
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.029
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.50
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 : 3674.969
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: 123145160 kB
MemAvailable: 127543008 kB
Buffers: 571412 kB
Cached: 4618988 kB
SwapCached: 0 kB
Active: 1034280 kB
Inactive: 6613928 kB
Active(anon): 1580 kB
Inactive(anon): 2502128 kB
Active(file): 1032700 kB
Inactive(file): 4111800 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 28568 kB
Writeback: 0 kB
AnonPages: 2453992 kB
Mapped: 142920 kB
Shmem: 45908 kB
KReclaimable: 185992 kB
Slab: 309160 kB
SReclaimable: 185992 kB
SUnreclaim: 123168 kB
KernelStack: 4156 kB
PageTables: 13908 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 2619392 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 71168 kB
HardwareCorrupted: 0 kB
AnonHugePages: 2224128 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: 273108 kB
DirectMap2M: 28860416 kB
DirectMap1G: 106954752 kB
Free space on /tmp at the end= 889972 MiB
End job on nodeC033 at 2024-07-19 21:36:40