0.00/0.00 c The following solver is parallelized by UG version 1.0.0 [GitHash: e6e2b6ff-dirty]
0.00/0.00 c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.1.1] [GitHash: 020d91813d]
0.00/0.00 c Copyright (c) 2002-2024 Zuse Institute Berlin (ZIB)
0.00/0.00 c External libraries:
0.00/0.00 c Soplex 7.1.1 Linear Programming Solver developed at Zuse Institute Berlin (soplex.zib.de) [GitHash: b4905e82]
0.00/0.00 c CppAD 20180000.0 Algorithmic Differentiation of C++ algorithms developed by B. Bell (github.com/coin-or/CppAD)
0.00/0.00 c AMPL/MP 690e9e7 AMPL .nl file reader library (github.com/ampl/mp)
0.00/0.00 c PaPILO 2.4.0 parallel presolve for integer and linear optimization (github.com/scipopt/papilo)
0.00/0.00 c Nauty 2.8.8 Computing Graph Automorphism Groups by Brendan D. McKay (users.cecs.anu.edu.au/~bdm/nauty)
0.00/0.00 c sassy 1.1 Symmetry preprocessor by Markus Anders (github.com/markusa4/sassy)
0.00/0.04 c Default LC presolving (default).
0.00/0.04 c ** Before presolving: virtualMemUsedAtLc = 53415936, getVmSize() = 53415936, SCIPgetMemUsed() = 26292466, SCIPgetMemTotal() = 31068714, SCIPgetMemExternEstim() = 14191280
0.00/0.04 c ** set memory limit for presolving in LC to 8.79608e+12 for SCIP **
10.16/10.23 c ** Estimated virtualMemUsedAtSolver = 93838850, getVmSize() = 151801856, SCIPgetMemUsed() = 91855787, SCIPgetMemTotal() = 126566995, SCIPgetMemExternEstim() = 14191280
10.16/10.23 c ** set memory limit for solvers to 4.39804e+12 for each SCIP **
10.16/10.23 c Original Problem :
10.16/10.23 c Problem name : instance-4464475-1722385793
10.16/10.23 c Variables : 7276 (7276 binary, 0 integer, 0 implicit integer, 0 continuous)
10.16/10.23 c Constraints : 7492
10.16/10.23 c Objective sense : minimize
10.16/10.23 c Presolved Problem :
10.16/10.23 c Variables : 6515 (6515 binary, 0 integer, 0 implicit integer, 0 continuous)
10.16/10.23 c Constraints : 6688
10.16/10.23 c Constraints : Number
10.16/10.23 c knapsack : 1
10.16/10.23 c setppc : 1416
10.16/10.23 c orbitope : 3
10.16/10.23 c logicor : 5268
10.16/10.23 c ** Instance transfer method used: 0
10.16/10.24 c ** ParaScipInstance copy increased the number of variables. **
10.16/10.27 c LC is working with racing ramp-up and with rebuilding tree after racing.
10.16/10.27 c Nodes Active
10.16/10.27 c Time Nodes Left Solvers Best Integer Best Node Gap Best Node(S) Gap(S)
131.95/132.39 c 132 2 1 1 - 0.0000 -
138.04/138.47 c 138 4 3 1 - 0.0000 -
143.43/143.89 c 144 8 7 1 - 0.0000 -
152.61/153.06 c 153 15 12 1 - 0.0000 -
159.19/159.68 c 160 19 16 1 - 0.0000 -
166.17/166.66 c 167 28 17 1 - 0.0000 -
171.36/171.80 c 172 34 19 1 - 0.0000 -
176.74/177.24 c 177 44 17 1 - 0.0000 -
182.12/182.65 c 183 49 18 1 - 0.0000 -
188.41/188.93 c 189 52 17 1 - 0.0000 -
223.44/224.09 c 224 54 19 1 - 0.0000 -
231.02/231.64 c 232 60 21 1 - 0.0000 -
237.20/237.88 c 238 63 24 1 - 0.0000 -
244.58/245.28 c 245 66 27 1 - 0.0000 -
255.16/255.86 c 256 69 30 1 - 0.0000 -
421.06/422.12 c 422 72 33 1 - 0.0000 -
426.65/427.77 c 428 73 34 1 - 0.0000 -
442.80/443.93 c 444 75 36 1 - 0.0000 -
448.88/450.08 c 450 77 38 1 - 0.0000 -
458.86/460.07 c 460 78 39 1 - 0.0000 -
466.13/467.38 c 467 81 42 1 - 0.0000 -
475.61/476.85 c 477 82 43 1 - 0.0000 -
481.49/482.79 c 483 83 44 1 - 0.0000 -
501.23/502.54 c 503 85 46 1 - 0.0000 -
506.91/508.24 c 508 87 48 1 - 0.0000 -
522.78/524.10 c 524 88 49 1 - 0.0000 -
529.95/531.30 c 531 90 51 1 - 0.0000 -
540.42/541.86 c 542 92 53 1 - 0.0000 -
548.80/550.28 c 550 95 54 1 - 0.0000 -
563.26/564.70 c 565 96 55 1 - 0.0000 -
569.94/571.47 c 571 98 57 1 - 0.0000 -
581.31/582.88 c 583 99 58 1 - 0.0000 -
593.59/595.12 c 595 102 61 1 - 0.0000 -
599.07/600.63 c 601 104 63 1 - 0.0000 -
613.72/615.34 c 615 105 64 1 - 0.0000 -
629.68/631.35 c 631 108 67 1 - 0.0000 -
647.33/649.09 c 649 112 71 1 - 0.0000 -
672.75/674.53 c 675 115 74 1 - 0.0000 -
678.43/680.29 c 680 118 77 1 - 0.0000 -
685.71/687.56 c 688 125 82 1 - 0.0000 -
696.48/698.30 c 698 128 85 1 - 0.0000 -
701.57/703.41 c 703 132 89 1 - 0.0000 -
707.56/709.48 c 709 140 97 1 - 0.0000 -
713.65/715.57 c 716 163 100 1 - 0.0000 -
722.13/724.00 c 724 164 101 1 - 0.0000 -
730.31/732.27 c 732 168 103 1 - 0.0000 -
736.99/738.94 c 739 172 107 1 - 0.0000 -
742.67/744.63 c 745 175 110 1 - 0.0000 -
748.06/750.08 c 750 182 117 1 - 0.0000 -
753.94/755.90 c 756 188 123 1 - 0.0000 -
761.82/763.88 c 764 193 124 1 - 0.0000 -
767.91/769.97 c 770 196 127 1 - 0.0000 -
783.87/785.94 c 786 199 130 1 - 0.0000 -
793.95/796.07 c 796 202 133 1 - 0.0000 -
804.22/806.30 c 806 224 137 1 - 0.0000 -
813.80/815.91 c 816 238 141 1 - 0.0000 -
826.47/828.67 c 829 245 146 1 - 0.0000 -
833.26/835.44 c 835 256 151 1 - 0.0000 -
841.04/843.23 c 843 257 152 1 - 0.0000 -
847.02/849.29 c 849 261 156 1 - 0.0000 -
861.29/863.50 c 864 266 161 1 - 0.0000 -
873.07/875.39 c 875 272 163 1 - 0.0000 -
881.94/884.27 c 884 280 169 1 - 0.0000 -
891.31/893.60 c 894 282 171 1 - 0.0000 -
897.70/900.06 c 900 302 173 1 - 0.0000 -
902.79/905.10 c 905 315 176 1 - 0.0000 -
908.56/910.97 c 911 337 176 1 - 0.0000 -
915.94/918.36 c 918 341 176 1 - 0.0000 -
924.02/926.40 c 926 343 178 1 - 0.0000 -
930.10/932.57 c 933 358 181 1 - 0.0000 -
936.38/938.89 c 939 376 179 1 - 0.0000 -
942.46/944.93 c 945 402 179 1 - 0.0000 -
948.45/950.92 c 951 422 179 1 - 0.0000 -
954.43/956.94 c 957 441 178 1 - 0.0000 -
968.09/970.65 c 971 447 180 1 - 0.0000 -
974.67/977.27 c 977 451 184 1 - 0.0000 -
982.35/984.91 c 985 452 185 1 - 0.0000 -
997.60/1000.24 c 1000 457 188 1 - 0.0000 -
1012.76/1015.49 c 1015 462 193 1 - 0.0000 -
1018.63/1021.35 c 1021 469 198 1 - 0.0000 -
1023.72/1026.49 c 1026 484 203 1 - 0.0000 -
1032.31/1035.03 c 1035 495 206 1 - 0.0000 -
1038.39/1041.11 c 1041 511 210 1 - 0.0000 -
1043.96/1046.76 c 1047 532 207 1 - 0.0000 -
1049.74/1052.52 c 1053 561 210 1 - 0.0000 -
1055.63/1058.40 c 1058 595 209 1 - 0.0000 -
1061.01/1063.81 c 1064 619 207 1 - 0.0000 -
1066.59/1069.41 c 1069 640 206 1 - 0.0000 -
1072.78/1075.65 c 1076 658 210 1 - 0.0000 -
1078.96/1081.82 c 1082 676 210 1 - 0.0000 -
1085.15/1088.05 c 1088 699 213 1 - 0.0000 -
1090.63/1093.51 c 1094 720 214 1 - 0.0000 -
1095.82/1098.76 c 1099 733 209 1 - 0.0000 -
1101.20/1104.11 c 1104 752 210 1 - 0.0000 -
1107.09/1110.05 c 1110 774 210 1 - 0.0000 -
1113.07/1116.00 c 1116 796 212 1 - 0.0000 -
1118.75/1121.74 c 1122 813 211 1 - 0.0000 -
1124.33/1127.33 c 1127 831 211 1 - 0.0000 -
1129.92/1132.96 c 1133 848 210 1 - 0.0000 -
1135.41/1138.46 c 1138 864 208 1 - 0.0000 -
1141.39/1144.44 c 1144 884 210 1 - 0.0000 -
1146.38/1149.47 c 1149 896 206 1 - 0.0000 -
1152.36/1155.47 c 1155 913 205 1 - 0.0000 -
1166.73/1169.84 c 1170 917 209 1 - 0.0000 -
1172.61/1175.75 c 1176 937 207 1 - 0.0000 -
1180.30/1183.40 c 1183 954 206 1 - 0.0000 -
1186.39/1189.54 c 1190 956 208 1 - 0.0000 -
1258.93/1262.24 c 1262 957 209 1 - 0.0000 -
1267.30/1270.67 c 1271 964 212 1 - 0.0000 -
1273.09/1276.40 c 1276 982 214 1 - 0.0000 -
1278.68/1282.03 c 1282 1002 220 1 - 0.0000 -
1283.87/1287.20 c 1287 1021 219 1 - 0.0000 -
1290.35/1293.73 c 1294 1025 223 1 - 0.0000 -
1298.53/1301.97 c 1302 1036 226 1 - 0.0000 -
1316.09/1319.59 c 1320 1047 231 1 - 0.0000 -
1321.88/1325.33 c 1325 1077 229 1 - 0.0000 -
1327.77/1331.22 c 1331 1104 236 1 - 0.0000 -
1333.05/1336.58 c 1337 1121 235 1 - 0.0000 -
1338.24/1341.75 c 1342 1141 231 1 - 0.0000 -
1344.63/1348.19 c 1348 1162 230 1 - 0.0000 -
1350.21/1353.79 c 1354 1180 232 1 - 0.0000 -
1356.40/1359.90 c 1360 1205 229 1 - 0.0000 -
1362.08/1365.66 c 1366 1228 234 1 - 0.0000 -
1367.97/1371.59 c 1372 1252 232 1 - 0.0000 -
1373.16/1376.77 c 1377 1266 230 1 - 0.0000 -
1379.24/1382.85 c 1383 1285 231 1 - 0.0000 -
1385.03/1388.63 c 1389 1304 230 1 - 0.0000 -
1390.72/1394.34 c 1394 1322 230 1 - 0.0000 -
1396.60/1400.21 c 1400 1343 229 1 - 0.0000 -
1405.08/1408.76 c 1409 1363 231 1 - 0.0000 -
1410.48/1414.15 c 1414 1374 234 1 - 0.0000 -
1416.07/1419.74 c 1420 1396 234 1 - 0.0000 -
1421.15/1424.82 c 1425 1415 233 1 - 0.0000 -
1432.23/1435.98 c 1436 1427 235 1 - 0.0000 -
1438.21/1441.94 c 1442 1429 237 1 - 0.0000 -
1449.98/1453.71 c 1454 1430 238 1 - 0.0000 -
1455.87/1459.63 c 1460 1449 243 1 - 0.0000 -
1460.96/1464.76 c 1465 1463 243 1 - 0.0000 -
1467.14/1470.93 c 1471 1479 241 1 - 0.0000 -
1472.73/1476.50 c 1476 1496 242 1 - 0.0000 -
1478.52/1482.39 c 1482 1517 241 1 - 0.0000 -
1484.40/1488.22 c 1488 1538 242 1 - 0.0000 -
1489.69/1493.58 c 1494 1554 242 1 - 0.0000 -
1495.77/1499.62 c 1500 1574 238 1 - 0.0000 -
1500.86/1504.70 c 1505 1590 238 1 - 0.0000 -
1508.14/1512.01 c 1512 1597 241 1 - 0.0000 -
1513.92/1517.80 c 1518 1619 243 1 - 0.0000 -
1521.30/1525.23 c 1525 1636 246 1 - 0.0000 -
1527.18/1531.14 c 1531 1656 252 1 - 0.0000 -
1532.66/1536.60 c 1537 1676 252 1 - 0.0000 -
1537.65/1541.61 c 1542 1693 253 1 - 0.0000 -
1543.33/1547.39 c 1547 1719 251 1 - 0.0000 -
1549.12/1553.18 c 1553 1734 252 1 - 0.0000 -
1554.50/1558.52 c 1559 1755 251 1 - 0.0000 -
1560.48/1564.53 c 1565 1781 251 1 - 0.0000 -
1566.56/1570.60 c 1571 1799 249 1 - 0.0000 -
1571.65/1575.78 c 1576 1809 247 1 - 0.0000 -
1577.33/1581.45 c 1581 1830 256 1 - 0.0000 -
1583.31/1587.42 c 1587 1858 256 1 - 0.0000 -
1589.19/1593.38 c 1593 1877 253 1 - 0.0000 -
1595.18/1599.36 c 1599 1899 251 1 - 0.0000 -
1601.16/1605.38 c 1605 1923 257 1 - 0.0000 -
1606.95/1611.14 c 1611 1941 257 1 - 0.0000 -
1612.84/1617.05 c 1617 1963 253 1 - 0.0000 -
1617.93/1622.14 c 1622 1979 251 1 - 0.0000 -
1624.41/1628.68 c 1629 1995 249 1 - 0.0000 -
1629.50/1633.73 c 1634 2009 251 1 - 0.0000 -
1634.49/1638.78 c 1639 2024 250 1 - 0.0000 -
1639.67/1643.91 c 1644 2038 254 1 - 0.0000 -
1645.16/1649.45 c 1649 2056 252 1 - 0.0000 -
1650.55/1654.81 c 1655 2070 252 1 - 0.0000 -
1656.53/1660.88 c 1661 2091 249 1 - 0.0000 -
1662.32/1666.64 c 1667 2108 250 1 - 0.0000 -
1668.10/1672.40 c 1672 2129 249 1 - 0.0000 -
1673.99/1678.36 c 1678 2152 248 1 - 0.0000 -
1680.78/1685.12 c 1685 2176 246 1 - 0.0000 -
1686.26/1690.66 c 1691 2194 248 1 - 0.0000 -
1692.05/1696.47 c 1696 2204 248 1 - 0.0000 -
1697.93/1702.35 c 1702 2217 249 1 - 0.0000 -
1703.42/1707.82 c 1708 2232 248 1 - 0.0000 -
1708.51/1712.97 c 1713 2245 247 1 - 0.0000 -
1713.99/1718.45 c 1718 2261 245 1 - 0.0000 -
1719.18/1723.65 c 1724 2271 245 1 - 0.0000 -
1724.57/1729.05 c 1729 2283 249 1 - 0.0000 -
1730.25/1734.76 c 1735 2299 249 1 - 0.0000 -
1735.44/1739.97 c 1740 2310 248 1 - 0.0000 -
1740.73/1745.23 c 1745 2324 248 1 - 0.0000 -
1746.32/1750.85 c 1751 2343 247 1 - 0.0000 -
1752.00/1756.50 c 1756 2364 248 1 - 0.0000 -
1758.38/1762.94 c 1763 2379 243 1 - 0.0000 -
1763.77/1768.37 c 1768 2395 247 1 - 0.0000 -
1769.35/1773.99 c 1774 2412 250 1 - 0.0000 -
1775.24/1779.81 c 1780 2442 250 1 - 0.0000 -
1780.53/1785.18 c 1785 2465 249 1 - 0.0000 -
1786.81/1791.46 c 1791 2467 251 1 - 0.0000 -
1796.69/1801.37 c 1801 2468 252 1 - 0.0000 -
1802.27/1806.92 c 1807 2488 250 1 - 0.0000 -
1807.76/1812.43 c 1812 2503 253 1 - 0.0000 -
1813.36/1818.05 c 1818 2519 255 1 - 0.0000 -
1818.54/1823.25 c 1823 2531 255 1 - 0.0000 -
1824.03/1828.71 c 1829 2546 254 1 - 0.0000 -
1831.31/1836.04 c 1836 2563 251 1 - 0.0000 -
1836.59/1841.31 c 1841 2575 251 1 - 0.0000 -
1841.98/1846.74 c 1847 2592 248 1 - 0.0000 -
1847.57/1852.39 c 1852 2601 251 1 - 0.0000 -
1852.65/1857.48 c 1857 2613 253 1 - 0.0000 -
1858.35/1863.15 c 1863 2629 253 1 - 0.0000 -
1864.03/1868.83 c 1869 2650 254 1 - 0.0000 -
1870.01/1874.87 c 1875 2669 253 1 - 0.0000 -
1875.30/1880.18 c 1880 2683 249 1 - 0.0000 -
1881.98/1886.84 c 1887 2703 253 1 - 0.0000 -
1887.87/1892.71 c 1893 2726 256 1 - 0.0000 -
1893.95/1898.86 c 1899 2746 256 1 - 0.0000 -
1899.24/1904.14 c 1904 2760 254 1 - 0.0000 -
1904.62/1909.51 c 1910 2774 256 1 - 0.0000 -
1910.71/1915.61 c 1916 2802 256 1 - 0.0000 -
1916.60/1921.55 c 1922 2822 256 1 - 0.0000 -
1921.68/1926.65 c 1927 2837 257 1 - 0.0000 -
1927.57/1932.56 c 1933 2861 257 1 - 0.0000 -
1933.25/1938.29 c 1938 2881 253 1 - 0.0000 -
1939.04/1944.06 c 1944 2895 255 1 - 0.0000 -
1944.23/1949.21 c 1949 2910 252 1 - 0.0000 -
1950.52/1955.50 c 1956 2922 250 1 - 0.0000 -
1956.21/1961.21 c 1961 2937 251 1 - 0.0000 -
1961.89/1966.91 c 1967 2957 257 1 - 0.0000 -
1968.27/1973.31 c 1973 2978 256 1 - 0.0000 -
1973.56/1978.68 c 1979 2990 254 1 - 0.0000 -
1978.55/1983.69 c 1984 3000 256 1 - 0.0000 -
1984.64/1989.76 c 1990 3026 258 1 - 0.0000 -
1990.52/1995.60 c 1996 3043 259 1 - 0.0000 -
1995.71/2000.83 c 2001 3054 256 1 - 0.0000 -
2001.39/2006.56 c 2007 3068 256 1 - 0.0000 -
2006.38/2011.59 c 2012 3076 258 1 - 0.0000 -
2011.77/2016.93 c 2017 3093 259 1 - 0.0000 -
2018.25/2023.49 c 2023 3111 255 1 - 0.0000 -
2023.34/2028.54 c 2029 3125 259 1 - 0.0000 -
2029.42/2034.69 c 2035 3148 256 1 - 0.0000 -
2035.01/2040.20 c 2040 3168 260 1 - 0.0000 -
2040.49/2045.70 c 2046 3197 263 1 - 0.0000 -
2045.48/2050.79 c 2051 3215 261 1 - 0.0000 -
2051.47/2056.71 c 2057 3237 259 1 - 0.0000 -
2056.65/2061.90 c 2062 3259 261 1 - 0.0000 -
2062.05/2067.33 c 2067 3280 258 1 - 0.0000 -
2068.03/2073.31 c 2073 3300 260 1 - 0.0000 -
2073.22/2078.57 c 2079 3318 258 1 - 0.0000 -
2078.61/2083.97 c 2084 3328 258 1 - 0.0000 -
2083.99/2089.38 c 2089 3345 257 1 - 0.0000 -
2089.68/2095.06 c 2095 3357 259 1 - 0.0000 -
2095.17/2100.52 c 2101 3379 257 1 - 0.0000 -
2100.55/2105.90 c 2106 3403 257 1 - 0.0000 -
2106.44/2111.83 c 2112 3425 257 1 - 0.0000 -
2112.32/2117.70 c 2118 3445 257 1 - 0.0000 -
2118.21/2123.60 c 2124 3465 261 1 - 0.0000 -
2123.89/2129.33 c 2129 3485 261 1 - 0.0000 -
2129.99/2135.43 c 2135 3501 259 1 - 0.0000 -
2136.27/2141.74 c 2142 3519 259 1 - 0.0000 -
2142.06/2147.51 c 2148 3535 259 1 - 0.0000 -
2147.84/2153.36 c 2153 3551 257 1 - 0.0000 -
2154.13/2159.61 c 2160 3573 257 1 - 0.0000 -
2159.21/2164.74 c 2165 3590 256 1 - 0.0000 -
2165.29/2170.87 c 2171 3604 254 1 - 0.0000 -
2170.98/2176.58 c 2177 3619 255 1 - 0.0000 -
2176.87/2182.43 c 2182 3634 254 1 - 0.0000 -
2182.15/2187.70 c 2188 3646 254 1 - 0.0000 -
2188.14/2193.74 c 2194 3661 253 1 - 0.0000 -
2194.13/2199.77 c 2200 3675 253 1 - 0.0000 -
2199.22/2204.88 c 2205 3692 256 1 - 0.0000 -
2204.30/2209.90 c 2210 3711 253 1 - 0.0000 -
2243.01/2248.76 c 2249 3719 257 1 - 0.0000 -
2249.09/2254.89 c 2255 3724 262 1 - 0.0000 -
2254.29/2260.08 c 2260 3741 267 1 - 0.0000 -
2260.17/2265.94 c 2266 3770 266 1 - 0.0000 -
2266.65/2272.41 c 2272 3787 267 1 - 0.0000 -
2272.83/2278.68 c 2279 3801 265 1 - 0.0000 -
2279.32/2285.16 c 2285 3815 267 1 - 0.0000 -
2284.91/2290.76 c 2291 3832 270 1 - 0.0000 -
2290.59/2296.42 c 2296 3848 272 1 - 0.0000 -
2296.98/2302.80 c 2303 3858 272 1 - 0.0000 -
2302.06/2307.98 c 2308 3870 272 1 - 0.0000 -
2308.06/2313.99 c 2314 3891 273 1 - 0.0000 -
2314.15/2320.06 c 2320 3905 267 1 - 0.0000 -
2319.52/2325.42 c 2325 3924 272 1 - 0.0000 -
2324.71/2330.61 c 2331 3942 272 1 - 0.0000 -
2330.69/2336.62 c 2337 3959 271 1 - 0.0000 -
2336.58/2342.53 c 2343 3983 271 1 - 0.0000 -
2342.56/2348.58 c 2349 4009 273 1 - 0.0000 -
2348.35/2354.38 c 2354 4025 275 1 - 0.0000 -
2354.44/2360.43 c 2360 4055 273 1 - 0.0000 -
2359.42/2365.45 c 2365 4068 272 1 - 0.0000 -
2364.61/2370.62 c 2371 4086 270 1 - 0.0000 -
2369.80/2375.87 c 2376 4102 268 1 - 0.0000 -
2375.19/2381.24 c 2381 4119 271 1 - 0.0000 -
2380.28/2386.32 c 2386 4132 268 1 - 0.0000 -
2385.56/2391.60 c 2392 4147 271 1 - 0.0000 -
2391.75/2397.82 c 2398 4160 268 1 - 0.0000 -
2396.74/2402.85 c 2403 4176 268 1 - 0.0000 -
2401.82/2407.90 c 2408 4192 266 1 - 0.0000 -
2408.01/2414.15 c 2414 4208 272 1 - 0.0000 -
2413.70/2419.89 c 2420 4224 272 1 - 0.0000 -
2419.78/2425.96 c 2426 4237 269 1 - 0.0000 -
2425.88/2432.09 c 2432 4259 269 1 - 0.0000 -
2431.06/2437.26 c 2437 4266 270 1 - 0.0000 -
2438.64/2444.83 c 2445 4280 270 1 - 0.0000 -
2477.85/2484.13 c 2484 4282 272 1 - 0.0000 -
2482.83/2489.13 c 2489 4295 273 1 - 0.0000 -
2488.11/2494.47 c 2494 4305 273 1 - 0.0000 -
2494.00/2500.31 c 2500 4326 274 1 - 0.0000 -
2499.88/2506.23 c 2506 4340 272 1 - 0.0000 -
2505.16/2511.53 c 2512 4354 272 1 - 0.0000 -
2511.14/2517.54 c 2518 4370 270 1 - 0.0000 -
2516.23/2522.64 c 2523 4377 273 1 - 0.0000 -
2521.91/2528.31 c 2528 4391 271 1 - 0.0000 -
2527.70/2534.17 c 2534 4417 271 1 - 0.0000 -
2592.10/2598.75 c 2599 4424 0 1 - 0.0000 -
2637.37/2644.16 c 2644 4425 1 1 - 0.0000 -
2684.52/2691.43 c 2691 4427 3 1 - 0.0000 -
2689.80/2696.74 c 2697 4428 4 1 - 0.0000 -
2716.22/2723.22 c 2723 4429 5 1 - 0.0000 -
2735.57/2742.61 c 2743 4430 6 1 - 0.0000 -
2759.60/2766.70 c 2767 4431 7 1 - 0.0000 -
2799.98/2807.20 c 2807 4432 8 1 - 0.0000 -
2809.66/2816.91 c 2817 4441 17 1 - 0.0000 -
2815.44/2822.76 c 2823 4449 25 1 - 0.0000 -
2825.21/2832.55 c 2833 4452 26 1 - 0.0000 -
2831.19/2838.59 c 2839 4464 30 1 - 0.0000 -
2836.57/2843.92 c 2844 4477 33 1 - 0.0000 -
2847.14/2854.53 c 2855 4478 34 1 - 0.0000 -
2852.63/2860.01 c 2860 4491 33 1 - 0.0000 -
2858.11/2865.51 c 2866 4508 38 1 - 0.0000 -
2864.09/2871.51 c 2872 4521 37 1 - 0.0000 -
2869.77/2877.22 c 2877 4539 39 1 - 0.0000 -
2875.36/2882.85 c 2883 4550 38 1 - 0.0000 -
2880.65/2888.13 c 2888 4562 36 1 - 0.0000 -
2886.22/2893.79 c 2894 4571 35 1 - 0.0000 -
2892.61/2900.19 c 2900 4586 34 1 - 0.0000 -
2898.19/2905.77 c 2906 4597 35 1 - 0.0000 -
2903.47/2911.03 c 2911 4613 33 1 - 0.0000 -
2909.46/2917.01 c 2917 4630 36 1 - 0.0000 -
2921.11/2928.73 c 2929 4640 40 1 - 0.0000 -
2926.90/2934.54 c 2935 4654 40 1 - 0.0000 -
2934.17/2941.85 c 2942 4659 45 1 - 0.0000 -
2939.36/2947.03 c 2947 4669 47 1 - 0.0000 -
2944.94/2952.70 c 2953 4678 48 1 - 0.0000 -
2950.03/2957.79 c 2958 4693 47 1 - 0.0000 -
2955.22/2962.99 c 2963 4705 49 1 - 0.0000 -
2961.41/2969.12 c 2969 4721 45 1 - 0.0000 -
2967.29/2975.10 c 2975 4739 47 1 - 0.0000 -
2973.17/2980.99 c 2981 4752 46 1 - 0.0000 -
2979.75/2987.53 c 2988 4771 45 1 - 0.0000 -
2985.63/2993.42 c 2993 4789 47 1 - 0.0000 -
2991.22/2999.08 c 2999 4801 47 1 - 0.0000 -
2997.39/3005.26 c 3005 4814 46 1 - 0.0000 -
3003.47/3011.33 c 3011 4824 44 1 - 0.0000 -
3008.56/3016.45 c 3016 4832 44 1 - 0.0000 -
3015.15/3023.05 c 3023 4844 46 1 - 0.0000 -
3021.72/3029.69 c 3030 4864 48 1 - 0.0000 -
3027.80/3035.73 c 3036 4883 51 1 - 0.0000 -
3033.78/3041.76 c 3042 4903 45 1 - 0.0000 -
3038.87/3046.86 c 3047 4911 47 1 - 0.0000 -
3044.55/3052.51 c 3053 4919 47 1 - 0.0000 -
3050.83/3058.81 c 3059 4939 47 1 - 0.0000 -
3056.32/3064.35 c 3064 4954 44 1 - 0.0000 -
3061.70/3069.79 c 3070 4962 50 1 - 0.0000 -
3067.78/3075.81 c 3076 4984 48 1 - 0.0000 -
3073.46/3081.55 c 3082 4994 50 1 - 0.0000 -
3079.14/3087.24 c 3087 5010 50 1 - 0.0000 -
3084.93/3093.09 c 3093 5029 51 1 - 0.0000 -
3090.81/3098.92 c 3099 5043 55 1 - 0.0000 -
3096.79/3104.97 c 3105 5063 53 1 - 0.0000 -
3101.88/3110.09 c 3110 5083 53 1 - 0.0000 -
3107.66/3115.81 c 3116 5107 55 1 - 0.0000 -
3113.55/3121.78 c 3122 5124 56 1 - 0.0000 -
3119.53/3127.79 c 3128 5141 51 1 - 0.0000 -
3124.71/3132.91 c 3133 5155 51 1 - 0.0000 -
3130.30/3138.55 c 3139 5173 49 1 - 0.0000 -
3135.38/3143.61 c 3144 5186 52 1 - 0.0000 -
3141.06/3149.33 c 3149 5203 53 1 - 0.0000 -
3146.15/3154.49 c 3154 5216 50 1 - 0.0000 -
3152.23/3160.54 c 3161 5234 52 1 - 0.0000 -
3157.82/3166.15 c 3166 5255 53 1 - 0.0000 -
3163.00/3171.33 c 3171 5271 51 1 - 0.0000 -
3168.38/3176.70 c 3177 5290 48 1 - 0.0000 -
3175.06/3183.44 c 3183 5305 51 1 - 0.0000 -
3180.24/3188.67 c 3189 5321 47 1 - 0.0000 -
3185.83/3194.26 c 3194 5335 51 1 - 0.0000 -
3191.22/3199.65 c 3200 5349 47 1 - 0.0000 -
3196.80/3205.25 c 3205 5365 49 1 - 0.0000 -
3202.49/3210.96 c 3211 5377 49 1 - 0.0000 -
3208.08/3216.58 c 3217 5392 50 1 - 0.0000 -
3213.27/3221.77 c 3222 5405 49 1 - 0.0000 -
3219.35/3227.85 c 3228 5419 47 1 - 0.0000 -
3224.44/3232.93 c 3233 5430 46 1 - 0.0000 -
3229.63/3238.12 c 3238 5441 47 1 - 0.0000 -
3234.72/3243.26 c 3243 5452 50 1 - 0.0000 -
3241.00/3249.51 c 3250 5470 48 1 - 0.0000 -
3246.39/3254.99 c 3255 5482 46 1 - 0.0000 -
3252.37/3260.95 c 3261 5492 48 1 - 0.0000 -
3257.86/3266.48 c 3266 5500 48 1 - 0.0000 -
3264.14/3272.71 c 3273 5520 46 1 - 0.0000 -
3269.93/3278.55 c 3279 5532 48 1 - 0.0000 -
3276.81/3285.42 c 3285 5545 47 1 - 0.0000 -
3282.89/3291.56 c 3292 5558 50 1 - 0.0000 -
3288.78/3297.49 c 3298 5571 49 1 - 0.0000 -
3294.76/3303.44 c 3303 5584 48 1 - 0.0000 -
3300.15/3308.86 c 3309 5596 48 1 - 0.0000 -
3306.34/3315.06 c 3315 5607 47 1 - 0.0000 -
3312.43/3321.14 c 3321 5622 48 1 - 0.0000 -
3318.51/3327.21 c 3327 5635 47 1 - 0.0000 -
3323.79/3332.53 c 3333 5645 49 1 - 0.0000 -
3330.29/3339.02 c 3339 5658 48 1 - 0.0000 -
3336.38/3345.12 c 3345 5669 47 1 - 0.0000 -
3341.46/3350.20 c 3350 5680 46 1 - 0.0000 -
3346.85/3355.65 c 3356 5690 48 1 - 0.0000 -
3352.34/3361.16 c 3361 5705 48 1 - 0.0000 -
3357.72/3366.55 c 3367 5715 48 1 - 0.0000 -
3362.91/3371.71 c 3372 5729 48 1 - 0.0000 -
3368.59/3377.41 c 3377 5740 47 1 - 0.0000 -
3374.68/3383.53 c 3384 5758 49 1 - 0.0000 -
3380.66/3389.56 c 3390 5771 46 1 - 0.0000 -
3385.65/3394.59 c 3395 5783 46 1 - 0.0000 -
3390.74/3399.65 c 3400 5791 46 1 - 0.0000 -
3396.13/3405.04 c 3405 5802 45 1 - 0.0000 -
3402.01/3410.91 c 3411 5819 50 1 - 0.0000 -
3408.60/3417.54 c 3418 5838 49 1 - 0.0000 -
3414.98/3423.91 c 3424 5857 48 1 - 0.0000 -
3420.57/3429.54 c 3430 5872 51 1 - 0.0000 -
3426.75/3435.75 c 3436 5887 48 1 - 0.0000 -
3431.94/3440.90 c 3441 5898 49 1 - 0.0000 -
3437.92/3446.90 c 3447 5911 48 1 - 0.0000 -
3442.91/3451.90 c 3452 5922 47 1 - 0.0000 -
3449.10/3458.10 c 3458 5938 47 1 - 0.0000 -
3454.68/3463.70 c 3464 5953 46 1 - 0.0000 -
3460.47/3469.53 c 3470 5968 47 1 - 0.0000 -
3466.45/3475.55 c 3476 5984 45 1 - 0.0000 -
3472.54/3481.62 c 3482 5997 46 1 - 0.0000 -
3477.72/3486.88 c 3487 6010 47 1 - 0.0000 -
3483.71/3492.85 c 3493 6027 44 1 - 0.0000 -
3489.80/3498.98 c 3499 6042 46 1 - 0.0000 -
3495.18/3504.36 c 3504 6054 44 1 - 0.0000 -
3500.27/3509.49 c 3510 6067 47 1 - 0.0000 -
3506.25/3515.44 c 3515 6080 44 1 - 0.0000 -
3511.75/3520.97 c 3521 6090 44 1 - 0.0000 -
3517.84/3527.04 c 3527 6107 45 1 - 0.0000 -
3523.62/3532.84 c 3533 6122 44 1 - 0.0000 -
3529.91/3539.11 c 3539 6135 43 1 - 0.0000 -
3535.59/3544.89 c 3545 6149 43 1 - 0.0000 -
3540.78/3550.08 c 3550 6158 46 1 - 0.0000 -
3545.87/3555.19 c 3555 6174 48 1 - 0.0000 -
3551.65/3560.97 c 3561 6193 49 1 - 0.0000 -
3557.53/3566.83 c 3567 6210 46 1 - 0.0000 -
3562.62/3571.92 c 3572 6222 48 1 - 0.0000 -
3567.91/3577.27 c 3577 6232 50 1 - 0.0000 -
3573.80/3583.10 c 3583 6246 52 1 - 0.0000 -
3580.08/3589.40 c 3589 6260 52 1 - 0.0000 -
3585.67/3595.10 c 3595 6277 51 1 - 0.0000 -
3588.66/3598.06 c SCIP Status : c solving was interrupted [hard time limit reached]
3588.66/3598.06 c Total Time : 3598.0500
3588.66/3598.06 c solving : 3598.0500
3588.66/3598.06 c presolving : 10.1910 (included in solving)
3588.66/3598.06 c B&B Tree :
3588.66/3598.06 c nodes (total) : 1
3588.66/3598.06 c Solution :
3588.66/3598.06 c Solutions found : 0
3588.66/3598.06 c Primal Bound : -
3588.66/3598.06 c Dual Bound : +0.00000000000000e+00
3588.66/3598.06 c Gap : -
3588.66/3598.08 s UNKNOWN
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63931 MiB (48922 MiB free)
memory of node 1: 64510 MiB (62867 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4464475-1722385793/watcher-4464475-1722385793 -o /tmp/evaluation-result-4464475-1722385793/solver-4464475-1722385793 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC022-1722378594-28848 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4464475-1722385793.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
Current StackSize limit: 8192 KiB
solver pid=33208, runsolver pid=33205
[startup+0.100926 s]*
/proc/loadavg: 4.30 4.26 4.15 5/262 33209
/proc/meminfo: memFree=114428984/131524600 swapFree=131071996/131071996
[pid=33208] ppid=33205 vsize=64884 memory=53600 CPUtime=0.09 cores=5,7
/proc/33208/stat : 33208 (fscip) R 33205 33208 28833 0 -1 4194304 12068 0 0 0 8 1 0 0 20 0 1 0 5177850 66441216 13400 134679101440 4194304 16623229 140734727609408 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 33902592 140734727611414 140734727611530 140734727611530 140734727618544 0
/proc/33208/statm: 16221 13400 2662 3035 0 12617 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 64884 KiB
Current children cumulated memory: 53600 KiB
[startup+0.205554 s]*
/proc/loadavg: 4.30 4.26 4.15 5/262 33209
/proc/meminfo: memFree=114427212/131524600 swapFree=131071996/131071996
[pid=33208] ppid=33205 vsize=67416 memory=56452 CPUtime=0.19 cores=5,7
/proc/33208/stat : 33208 (fscip) R 33205 33208 28833 0 -1 4194304 13401 0 0 0 18 1 0 0 20 0 1 0 5177850 69033984 14113 134679101440 4194304 16623229 140734727609408 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 33902592 140734727611414 140734727611530 140734727611530 140734727618544 0
/proc/33208/statm: 16854 14113 2710 3035 0 13250 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 67416 KiB
Current children cumulated memory: 56452 KiB
[startup+0.305654 s]*
/proc/loadavg: 4.30 4.26 4.15 5/262 33209
/proc/meminfo: memFree=114413984/131524600 swapFree=131071996/131071996
[pid=33208] ppid=33205 vsize=82136 memory=68608 CPUtime=0.3 cores=5,7
/proc/33208/stat : 33208 (fscip) R 33205 33208 28833 0 -1 4194304 16490 0 0 0 28 2 0 0 20 0 1 0 5177850 84107264 17152 134679101440 4194304 16623229 140734727609408 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 33902592 140734727611414 140734727611530 140734727611530 140734727618544 0
/proc/33208/statm: 20534 17152 2758 3035 0 16930 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 82136 KiB
Current children cumulated memory: 68608 KiB
[startup+0.700257 s]
/proc/loadavg: 4.30 4.26 4.15 5/262 33209
/proc/meminfo: memFree=114403428/131524600 swapFree=131071996/131071996
[pid=33208] ppid=33205 vsize=92380 memory=78888 CPUtime=0.68 cores=5,7
/proc/33208/stat : 33208 (fscip) R 33205 33208 28833 0 -1 4194304 19079 0 0 0 66 2 0 0 20 0 1 0 5177850 94597120 19722 134679101440 4194304 16623229 140734727609408 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 33902592 140734727611414 140734727611530 140734727611530 140734727618544 0
/proc/33208/statm: 23095 19722 2774 3035 0 19491 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 92380 KiB
Current children cumulated memory: 78888 KiB
[startup+1.50025 s]
/proc/loadavg: 4.30 4.26 4.15 5/262 33209
/proc/meminfo: memFree=114402744/131524600 swapFree=131071996/131071996
[pid=33208] ppid=33205 vsize=92380 memory=78888 CPUtime=1.48 cores=5,7
/proc/33208/stat : 33208 (fscip) R 33205 33208 28833 0 -1 4194304 19079 0 0 0 146 2 0 0 20 0 1 0 5177850 94597120 19722 134679101440 4194304 16623229 140734727609408 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 33902592 140734727611414 140734727611530 140734727611530 140734727618544 0
/proc/33208/statm: 23095 19722 2774 3035 0 19491 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 92380 KiB
Current children cumulated memory: 78888 KiB
[startup+3.10561 s]
/proc/loadavg: 4.28 4.25 4.15 5/262 33209
/proc/meminfo: memFree=114400672/131524600 swapFree=131071996/131071996
[pid=33208] ppid=33205 vsize=93624 memory=80736 CPUtime=3.08 cores=5,7
/proc/33208/stat : 33208 (fscip) R 33205 33208 28833 0 -1 4194304 19517 0 0 0 306 2 0 0 20 0 1 0 5177850 95870976 20184 134679101440 4194304 16623229 140734727609408 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 33902592 140734727611414 140734727611530 140734727611530 140734727618544 0
/proc/33208/statm: 23406 20184 2774 3035 0 19802 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 93624 KiB
Current children cumulated memory: 80736 KiB
[startup+6.30023 s]
/proc/loadavg: 4.28 4.25 4.15 5/262 33209
/proc/meminfo: memFree=114400568/131524600 swapFree=131071996/131071996
[pid=33208] ppid=33205 vsize=93624 memory=80736 CPUtime=6.27 cores=5,7
/proc/33208/stat : 33208 (fscip) R 33205 33208 28833 0 -1 4194304 19535 0 0 0 625 2 0 0 20 0 1 0 5177850 95870976 20184 134679101440 4194304 16623229 140734727609408 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 33902592 140734727611414 140734727611530 140734727611530 140734727618544 0
/proc/33208/statm: 23406 20184 2774 3035 0 19802 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 93624 KiB
Current children cumulated memory: 80736 KiB
[startup+12.7002 s]
/proc/loadavg: 4.23 4.25 4.15 5/264 33213
/proc/meminfo: memFree=114299092/131524600 swapFree=131071996/131071996
[pid=33208] ppid=33205 vsize=310268 memory=202952 CPUtime=12.66 cores=5,7
/proc/33208/stat : 33208 (fscip) S 33205 33208 28833 0 -1 1077936128 57975 0 0 0 1258 8 0 0 20 0 3 0 5177850 317714432 50738 134679101440 4194304 16623229 140734727609408 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 33902592 140734727611414 140734727611530 140734727611530 140734727618544 0
/proc/33208/statm: 77567 50738 2950 3035 0 60434 0
[pid=33208/tid=33212] ppid=33205 vsize=310268 memory=179868 CPUtime=2.43 cores=5,7
/proc/33208/task/33212/stat : 33212 (fscip) R 33205 33208 28833 0 -1 4194368 26276 0 0 0 240 3 0 0 20 0 3 0 5178874 317714432 50738 134679101440 4194304 16623229 140734727609408 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 33902592 140734727611414 140734727611530 140734727611530 140734727618544 0
[pid=33208/tid=33213] ppid=33205 vsize=310268 memory=177096 CPUtime=0 cores=5,7
/proc/33208/task/33213/stat : 33213 (fscip) S 33205 33208 28833 0 -1 1077936192 8 0 0 0 0 0 0 0 20 0 3 0 5178877 317714432 50738 134679101440 4194304 16623229 140734727609408 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 33902592 140734727611414 140734727611530 140734727611530 140734727618544 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 310268 KiB
Current children cumulated memory: 202952 KiB
[startup+25.5002 s]
/proc/loadavg: 4.20 4.24 4.15 5/267 33273
/proc/meminfo: memFree=114275212/131524600 swapFree=131071996/131071996
[pid=33208] ppid=33205 vsize=311904 memory=207536 CPUtime=25.42 cores=5,7
/proc/33208/stat : 33208 (fscip) S 33205 33208 28833 0 -1 1077936128 72586 0 0 0 2534 8 0 0 20 0 3 0 5177850 319389696 51884 134679101440 4194304 16623229 140734727609408 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 33902592 140734727611414 140734727611530 140734727611530 140734727618544 0
/proc/33208/statm: 77976 51884 2966 3035 0 61711 0
[pid=33208/tid=33212] ppid=33205 vsize=311904 memory=207532 CPUtime=15.2 cores=5,7
/proc/33208/task/33212/stat : 33212 (fscip) R 33205 33208 28833 0 -1 4194368 40859 0 0 0 1516 4 0 0 20 0 3 0 5178874 319389696 51884 134679101440 4194304 16623229 140734727609408 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 33902592 140734727611414 140734727611530 140734727611530 140734727618544 0
[pid=33208/tid=33213] ppid=33205 vsize=311904 memory=80736 CPUtime=0 cores=5,7
/proc/33208/task/33213/stat : 33213 (fscip) S 33205 33208 28833 0 -1 1077936192 36 0 0 0 0 0 0 0 20 0 3 0 5178877 319389696 51884 134679101440 4194304 16623229 140734727609408 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 33902592 140734727611414 140734727611530 140734727611530 140734727618544 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 311904 KiB
Current children cumulated memory: 207536 KiB
[startup+51.1052 s]
/proc/loadavg: 4.25 4.25 4.16 5/267 33278
/proc/meminfo: memFree=114275304/131524600 swapFree=131071996/131071996
[pid=33208] ppid=33205 vsize=311904 memory=207576 CPUtime=50.96 cores=5,7
/proc/33208/stat : 33208 (fscip) S 33205 33208 28833 0 -1 1077936128 86816 0 0 0 5087 9 0 0 20 0 3 0 5177850 319389696 51894 134679101440 4194304 16623229 140734727609408 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 33902592 140734727611414 140734727611530 140734727611530 140734727618544 0
/proc/33208/statm: 77976 51894 2966 3035 0 61711 0
[pid=33208/tid=33212] ppid=33205 vsize=311904 memory=-5155630215034661765 CPUtime=40.74 cores=5,7
/proc/33208/task/33212/stat : 33212 (fscip) R 33205 33208 28833 0 -1 4194368 55068 0 0 0 4070 4 0 0 20 0 3 0 5178874 319389696 51894 134679101440 4194304 16623229 140734727609408 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 33902592 140734727611414 140734727611530 140734727611530 140734727618544 0
[pid=33208/tid=33213] ppid=33205 vsize=311904 memory=207576 CPUtime=0 cores=5,7
/proc/33208/task/33213/stat : 33213 (fscip) S 33205 33208 28833 0 -1 1077936192 57 0 0 0 0 0 0 0 20 0 3 0 5178877 319389696 51894 134679101440 4194304 16623229 140734727609408 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 33902592 140734727611414 140734727611530 140734727611530 140734727618544 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 311904 KiB
Current children cumulated memory: 207576 KiB
[startup+102.3 s]
/proc/loadavg: 4.15 4.22 4.15 5/266 33671
/proc/meminfo: memFree=114505600/131524600 swapFree=131071996/131071996
[pid=33208] ppid=33205 vsize=384136 memory=326184 CPUtime=102.03 cores=5,7
/proc/33208/stat : 33208 (fscip) S 33205 33208 28833 0 -1 1077936128 157579 0 0 0 10188 15 0 0 20 0 3 0 5177850 393355264 81546 134679101440 4194304 16623229 140734727609408 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 33902592 140734727611414 140734727611530 140734727611530 140734727618544 0
/proc/33208/statm: 96034 81546 2982 3035 0 91763 0
[pid=33208/tid=33212] ppid=33205 vsize=384136 memory=326184 CPUtime=91.8 cores=5,7
/proc/33208/task/33212/stat : 33212 (fscip) R 33205 33208 28833 0 -1 4194368 125821 0 0 0 9170 10 0 0 20 0 3 0 5178874 393355264 81546 134679101440 4194304 16623229 140734727609408 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 33902592 140734727611414 140734727611530 140734727611530 140734727618544 0
[pid=33208/tid=33213] ppid=33205 vsize=384136 memory=326184 CPUtime=0 cores=5,7
/proc/33208/task/33213/stat : 33213 (fscip) S 33205 33208 28833 0 -1 1077936192 67 0 0 0 0 0 0 0 20 0 3 0 5178877 393355264 81546 134679101440 4194304 16623229 140734727609408 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 33902592 140734727611414 140734727611530 140734727611530 140734727618544 0
Current children cumulated CPU time: 102.03 s
Current children cumulated vsize: 384136 KiB
Current children cumulated memory: 326184 KiB
[startup+162.3 s]
/proc/loadavg: 4.17 4.21 4.15 5/265 33727
/proc/meminfo: memFree=114476700/131524600 swapFree=131071996/131071996
[pid=33208] ppid=33205 vsize=384136 memory=328672 CPUtime=161.88 cores=5,7
/proc/33208/stat : 33208 (fscip) S 33205 33208 28833 0 -1 1077936128 206027 0 0 0 16171 17 0 0 20 0 3 0 5177850 393355264 82168 134679101440 4194304 16623229 140734727609408 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 33902592 140734727611414 140734727611530 140734727611530 140734727618544 0
/proc/33208/statm: 96034 82168 3030 3035 0 91763 0
[pid=33208/tid=33212] ppid=33205 vsize=384136 memory=16168 CPUtime=151.65 cores=5,7
/proc/33208/task/33212/stat : 33212 (fscip) R 33205 33208 28833 0 -1 4194368 174214 0 0 0 15153 12 0 0 20 0 3 0 5178874 393355264 82168 134679101440 4194304 16623229 140734727609408 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 33902592 140734727611414 140734727611530 140734727611530 140734727618544 0
[pid=33208/tid=33213] ppid=33205 vsize=384136 memory=13172 CPUtime=0 cores=5,7
/proc/33208/task/33213/stat : 33213 (fscip) S 33205 33208 28833 0 -1 1077936192 75 0 0 0 0 0 0 0 20 0 3 0 5178877 393355264 82168 134679101440 4194304 16623229 140734727609408 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 33902592 140734727611414 140734727611530 140734727611530 140734727618544 0
Current children cumulated CPU time: 161.88 s
Current children cumulated vsize: 384136 KiB
Current children cumulated memory: 328672 KiB
[startup+222.3 s]
/proc/loadavg: 4.12 4.18 4.14 5/265 33737
/proc/meminfo: memFree=114471348/131524600 swapFree=131071996/131071996
[pid=33208] ppid=33205 vsize=384136 memory=328864 CPUtime=221.74 cores=5,7
/proc/33208/stat : 33208 (fscip) S 33205 33208 28833 0 -1 1077936128 230215 0 0 0 22155 19 0 0 20 0 3 0 5177850 393355264 82216 134679101440 4194304 16623229 140734727609408 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 33902592 140734727611414 140734727611530 140734727611530 140734727618544 0
/proc/33208/statm: 96034 82216 3030 3035 0 91763 0
[pid=33208/tid=33212] ppid=33205 vsize=384136 memory=11584 CPUtime=211.51 cores=5,7
/proc/33208/task/33212/stat : 33212 (fscip) R 33205 33208 28833 0 -1 4194368 198393 0 0 0 21137 14 0 0 20 0 3 0 5178874 393355264 82216 134679101440 4194304 16623229 140734727609408 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 33902592 140734727611414 140734727611530 140734727611530 140734727618544 0
[pid=33208/tid=33213] ppid=33205 vsize=384136 memory=11584 CPUtime=0 cores=5,7
/proc/33208/task/33213/stat : 33213 (fscip) S 33205 33208 28833 0 -1 1077936192 82 0 0 0 0 0 0 0 20 0 3 0 5178877 393355264 82216 134679101440 4194304 16623229 140734727609408 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 33902592 140734727611414 140734727611530 140734727611530 140734727618544 0
Current children cumulated CPU time: 221.74 s
Current children cumulated vsize: 384136 KiB
Current children cumulated memory: 328864 KiB
[startup+282.3 s]
/proc/loadavg: 4.04 4.15 4.13 5/263 33794
/proc/meminfo: memFree=117080404/131524600 swapFree=131071996/131071996
[pid=33208] ppid=33205 vsize=384136 memory=328864 CPUtime=281.6 cores=5,7
/proc/33208/stat : 33208 (fscip) S 33205 33208 28833 0 -1 1077936128 250325 0 0 0 28140 20 0 0 20 0 3 0 5177850 393355264 82216 134679101440 4194304 16623229 140734727609408 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 33902592 140734727611414 140734727611530 140734727611530 140734727618544 0
/proc/33208/statm: 96034 82216 3030 3035 0 91763 0
[pid=33208/tid=33212] ppid=33205 vsize=384136 memory=328864 CPUtime=271.37 cores=5,7
/proc/33208/task/33212/stat : 33212 (fscip) R 33205 33208 28833 0 -1 4194368 218476 0 0 0 27122 15 0 0 20 0 3 0 5178874 393355264 82216 134679101440 4194304 16623229 140734727609408 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 33902592 140734727611414 140734727611530 140734727611530 140734727618544 0
[pid=33208/tid=33213] ppid=33205 vsize=384136 memory=328864 CPUtime=0 cores=5,7
/proc/33208/task/33213/stat : 33213 (fscip) S 33205 33208 28833 0 -1 1077936192 89 0 0 0 0 0 0 0 20 0 3 0 5178877 393355264 82216 134679101440 4194304 16623229 140734727609408 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 33902592 140734727611414 140734727611530 140734727611530 140734727618544 0
Current children cumulated CPU time: 281.6 s
Current children cumulated vsize: 384136 KiB
################
# More data... #
################
/proc/33208/statm: 127200 104913 3334 3035 0 108556 0
[pid=33208/tid=33212] ppid=33205 vsize=508800 memory=11584 CPUtime=3383.06 cores=5,7
/proc/33208/task/33212/stat : 33212 (fscip) R 33205 33208 28833 0 -1 4194368 510850 0 0 0 338258 48 0 0 20 0 3 0 5178874 521011200 104913 134679101440 4194304 16623229 140734727609408 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 33902592 140734727611414 140734727611530 140734727611530 140734727618544 0
[pid=33208/tid=33213] ppid=33205 vsize=508800 memory=419652 CPUtime=0.03 cores=5,7
/proc/33208/task/33213/stat : 33213 (fscip) S 33205 33208 28833 0 -1 1077936192 302 0 0 0 1 2 0 0 20 0 3 0 5178877 521011200 104913 134679101440 4194304 16623229 140734727609408 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 33902592 140734727611414 140734727611530 140734727611530 140734727618544 0
Current children cumulated CPU time: 3393.43 s
Current children cumulated vsize: 508800 KiB
Current children cumulated memory: 419652 KiB
[startup+3462.3 s]
/proc/loadavg: 4.10 4.13 4.10 5/264 36162
/proc/meminfo: memFree=125621068/131524600 swapFree=131071996/131071996
[pid=33208] ppid=33205 vsize=508800 memory=420516 CPUtime=3453.28 cores=5,7
/proc/33208/stat : 33208 (fscip) S 33205 33208 28833 0 -1 1077936128 545318 0 0 0 345270 58 0 0 20 0 3 0 5177850 521011200 105129 134679101440 4194304 16623229 140734727609408 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 33902592 140734727611414 140734727611530 140734727611530 140734727618544 0
/proc/33208/statm: 127200 105129 3334 3035 0 108556 0
[pid=33208/tid=33212] ppid=33205 vsize=508800 memory=11584 CPUtime=3442.91 cores=5,7
/proc/33208/task/33212/stat : 33212 (fscip) R 33205 33208 28833 0 -1 4194368 512408 0 0 0 344243 48 0 0 20 0 3 0 5178874 521011200 105129 134679101440 4194304 16623229 140734727609408 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 33902592 140734727611414 140734727611530 140734727611530 140734727618544 0
[pid=33208/tid=33213] ppid=33205 vsize=508800 memory=12856 CPUtime=0.03 cores=5,7
/proc/33208/task/33213/stat : 33213 (fscip) S 33205 33208 28833 0 -1 1077936192 305 0 0 0 1 2 0 0 20 0 3 0 5178877 521011200 105129 134679101440 4194304 16623229 140734727609408 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 33902592 140734727611414 140734727611530 140734727611530 140734727618544 0
Current children cumulated CPU time: 3453.28 s
Current children cumulated vsize: 508800 KiB
Current children cumulated memory: 420516 KiB
[startup+3522.3 s]
/proc/loadavg: 4.15 4.14 4.10 5/267 36344
/proc/meminfo: memFree=125603912/131524600 swapFree=131071996/131071996
[pid=33208] ppid=33205 vsize=508800 memory=420516 CPUtime=3513.15 cores=5,7
/proc/33208/stat : 33208 (fscip) S 33205 33208 28833 0 -1 1077936128 546075 0 0 0 351256 59 0 0 20 0 3 0 5177850 521011200 105129 134679101440 4194304 16623229 140734727609408 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 33902592 140734727611414 140734727611530 140734727611530 140734727618544 0
/proc/33208/statm: 127200 105129 3334 3035 0 108556 0
[pid=33208/tid=33212] ppid=33205 vsize=508800 memory=12856 CPUtime=3502.77 cores=5,7
/proc/33208/task/33212/stat : 33212 (fscip) R 33205 33208 28833 0 -1 4194368 513141 0 0 0 350228 49 0 0 20 0 3 0 5178874 521011200 105129 134679101440 4194304 16623229 140734727609408 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 33902592 140734727611414 140734727611530 140734727611530 140734727618544 0
[pid=33208/tid=33213] ppid=33205 vsize=508800 memory=420516 CPUtime=0.03 cores=5,7
/proc/33208/task/33213/stat : 33213 (fscip) S 33205 33208 28833 0 -1 1077936192 311 0 0 0 1 2 0 0 20 0 3 0 5178877 521011200 105129 134679101440 4194304 16623229 140734727609408 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 33902592 140734727611414 140734727611530 140734727611530 140734727618544 0
Current children cumulated CPU time: 3513.15 s
Current children cumulated vsize: 508800 KiB
Current children cumulated memory: 420516 KiB
[startup+3582.3 s]
/proc/loadavg: 4.11 4.12 4.09 5/267 36354
/proc/meminfo: memFree=125603600/131524600 swapFree=131071996/131071996
[pid=33208] ppid=33205 vsize=508800 memory=420516 CPUtime=3572.99 cores=5,7
/proc/33208/stat : 33208 (fscip) S 33205 33208 28833 0 -1 1077936128 546802 0 0 0 357240 59 0 0 20 0 3 0 5177850 521011200 105129 134679101440 4194304 16623229 140734727609408 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 33902592 140734727611414 140734727611530 140734727611530 140734727618544 0
/proc/33208/statm: 127200 105129 3334 3035 0 108556 0
[pid=33208/tid=33212] ppid=33205 vsize=508800 memory=11584 CPUtime=3562.62 cores=5,7
/proc/33208/task/33212/stat : 33212 (fscip) R 33205 33208 28833 0 -1 4194368 513849 0 0 0 356213 49 0 0 20 0 3 0 5178874 521011200 105129 134679101440 4194304 16623229 140734727609408 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 33902592 140734727611414 140734727611530 140734727611530 140734727618544 0
[pid=33208/tid=33213] ppid=33205 vsize=508800 memory=420516 CPUtime=0.03 cores=5,7
/proc/33208/task/33213/stat : 33213 (fscip) S 33205 33208 28833 0 -1 1077936192 313 0 0 0 1 2 0 0 20 0 3 0 5178877 521011200 105129 134679101440 4194304 16623229 140734727609408 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 33902592 140734727611414 140734727611530 140734727611530 140734727618544 0
Current children cumulated CPU time: 3572.99 s
Current children cumulated vsize: 508800 KiB
Current children cumulated memory: 420516 KiB
[startup+3598.09 s]
# the end of solver process 33208 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3588.15 s, system=0.602358 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.10 4.12 4.09 5/267 36354
/proc/meminfo: memFree=125603664/131524600 swapFree=131071996/131071996
[pid=33208] ppid=33205 vsize=508800 memory=420516 CPUtime=3574.7 cores=5,7
/proc/33208/stat : 33208 (fscip) S 33205 33208 28833 0 -1 1077936128 546807 0 0 0 357411 59 0 0 20 0 3 0 5177850 521011200 105129 134679101440 4194304 16623229 140734727609408 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 33902592 140734727611414 140734727611530 140734727611530 140734727618544 0
/proc/33208/statm: 127200 105129 3334 3035 0 108556 0
[pid=33208/tid=33212] ppid=33205 vsize=508800 memory=-7163093423917982592 CPUtime=3564.32 cores=5,7
/proc/33208/task/33212/stat : 33212 (fscip) R 33205 33208 28833 0 -1 4194368 513854 0 0 0 356383 49 0 0 20 0 3 0 5178874 521011200 105129 134679101440 4194304 16623229 140734727609408 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 33902592 140734727611414 140734727611530 140734727611530 140734727618544 0
[pid=33208/tid=33213] ppid=33205 vsize=508800 memory=4426364005082885787 CPUtime=0.03 cores=5,7
/proc/33208/task/33213/stat : 33213 (fscip) S 33205 33208 28833 0 -1 1077936192 313 0 0 0 1 2 0 0 20 0 3 0 5178877 521011200 105129 134679101440 4194304 16623229 140734727609408 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 33902592 140734727611414 140734727611530 140734727611530 140734727618544 0
Current children cumulated CPU time: 3574.7 s
Current children cumulated vsize: 508800 KiB
Current children cumulated memory: 420516 KiB
[startup+3590.4 s]
/proc/loadavg: 4.09 4.12 4.09 5/267 36356
/proc/meminfo: memFree=125603624/131524600 swapFree=131071996/131071996
[pid=33208] ppid=33205 vsize=508800 memory=420516 CPUtime=3581.08 cores=5,7
/proc/33208/stat : 33208 (fscip) S 33205 33208 28833 0 -1 1077936128 546828 0 0 0 358049 59 0 0 20 0 3 0 5177850 521011200 105129 134679101440 4194304 16623229 140734727609408 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 33902592 140734727611414 140734727611530 140734727611530 140734727618544 0
/proc/33208/statm: 127200 105129 3334 3035 0 108556 0
[pid=33208/tid=33212] ppid=33205 vsize=508800 memory=420516 CPUtime=3570.7 cores=5,7
/proc/33208/task/33212/stat : 33212 (fscip) R 33205 33208 28833 0 -1 4194368 513875 0 0 0 357021 49 0 0 20 0 3 0 5178874 521011200 105129 134679101440 4194304 16623229 140734727609408 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 33902592 140734727611414 140734727611530 140734727611530 140734727618544 0
[pid=33208/tid=33213] ppid=33205 vsize=508800 memory=420516 CPUtime=0.03 cores=5,7
/proc/33208/task/33213/stat : 33213 (fscip) S 33205 33208 28833 0 -1 1077936192 313 0 0 0 1 2 0 0 20 0 3 0 5178877 521011200 105129 134679101440 4194304 16623229 140734727609408 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 33902592 140734727611414 140734727611530 140734727611530 140734727618544 0
Current children cumulated CPU time: 3581.08 s
Current children cumulated vsize: 508800 KiB
Current children cumulated memory: 420516 KiB
[startup+3593.6 s]
/proc/loadavg: 4.09 4.12 4.09 5/267 36356
/proc/meminfo: memFree=125603540/131524600 swapFree=131071996/131071996
[pid=33208] ppid=33205 vsize=508800 memory=420516 CPUtime=3584.27 cores=5,7
/proc/33208/stat : 33208 (fscip) S 33205 33208 28833 0 -1 1077936128 546847 0 0 0 358368 59 0 0 20 0 3 0 5177850 521011200 105129 134679101440 4194304 16623229 140734727609408 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 33902592 140734727611414 140734727611530 140734727611530 140734727618544 0
/proc/33208/statm: 127200 105129 3334 3035 0 108556 0
[pid=33208/tid=33212] ppid=33205 vsize=508800 memory=7666087991687534440 CPUtime=3573.89 cores=5,7
/proc/33208/task/33212/stat : 33212 (fscip) R 33205 33208 28833 0 -1 4194368 513894 0 0 0 357340 49 0 0 20 0 3 0 5178874 521011200 105129 134679101440 4194304 16623229 140734727609408 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 33902592 140734727611414 140734727611530 140734727611530 140734727618544 0
[pid=33208/tid=33213] ppid=33205 vsize=508800 memory=420516 CPUtime=0.03 cores=5,7
/proc/33208/task/33213/stat : 33213 (fscip) S 33205 33208 28833 0 -1 1077936192 313 0 0 0 1 2 0 0 20 0 3 0 5178877 521011200 105129 134679101440 4194304 16623229 140734727609408 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 33902592 140734727611414 140734727611530 140734727611530 140734727618544 0
Current children cumulated CPU time: 3584.27 s
Current children cumulated vsize: 508800 KiB
Current children cumulated memory: 420516 KiB
[startup+3595.2 s]
/proc/loadavg: 4.09 4.12 4.09 5/267 36356
/proc/meminfo: memFree=125603540/131524600 swapFree=131071996/131071996
[pid=33208] ppid=33205 vsize=508800 memory=420516 CPUtime=3585.86 cores=5,7
/proc/33208/stat : 33208 (fscip) S 33205 33208 28833 0 -1 1077936128 546853 0 0 0 358527 59 0 0 20 0 3 0 5177850 521011200 105129 134679101440 4194304 16623229 140734727609408 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 33902592 140734727611414 140734727611530 140734727611530 140734727618544 0
/proc/33208/statm: 127200 105129 3334 3035 0 108556 0
[pid=33208/tid=33212] ppid=33205 vsize=508800 memory=12856 CPUtime=3575.49 cores=5,7
/proc/33208/task/33212/stat : 33212 (fscip) R 33205 33208 28833 0 -1 4194368 513900 0 0 0 357500 49 0 0 20 0 3 0 5178874 521011200 105129 134679101440 4194304 16623229 140734727609408 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 33902592 140734727611414 140734727611530 140734727611530 140734727618544 0
[pid=33208/tid=33213] ppid=33205 vsize=508800 memory=5560 CPUtime=0.03 cores=5,7
/proc/33208/task/33213/stat : 33213 (fscip) S 33205 33208 28833 0 -1 1077936192 313 0 0 0 1 2 0 0 20 0 3 0 5178877 521011200 105129 134679101440 4194304 16623229 140734727609408 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 33902592 140734727611414 140734727611530 140734727611530 140734727618544 0
Current children cumulated CPU time: 3585.86 s
Current children cumulated vsize: 508800 KiB
Current children cumulated memory: 420516 KiB
[startup+3596.8 s]
/proc/loadavg: 4.09 4.12 4.09 5/267 36356
/proc/meminfo: memFree=125603540/131524600 swapFree=131071996/131071996
[pid=33208] ppid=33205 vsize=508800 memory=420516 CPUtime=3587.46 cores=5,7
/proc/33208/stat : 33208 (fscip) S 33205 33208 28833 0 -1 1077936128 546985 0 0 0 358687 59 0 0 20 0 3 0 5177850 521011200 105129 134679101440 4194304 16623229 140734727609408 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 33902592 140734727611414 140734727611530 140734727611530 140734727618544 0
/proc/33208/statm: 127200 105129 3334 3035 0 108556 0
[pid=33208/tid=33212] ppid=33205 vsize=508800 memory=420516 CPUtime=3577.08 cores=5,7
/proc/33208/task/33212/stat : 33212 (fscip) R 33205 33208 28833 0 -1 4194368 514032 0 0 0 357659 49 0 0 20 0 3 0 5178874 521011200 105129 134679101440 4194304 16623229 140734727609408 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 33902592 140734727611414 140734727611530 140734727611530 140734727618544 0
[pid=33208/tid=33213] ppid=33205 vsize=508800 memory=420516 CPUtime=0.03 cores=5,7
/proc/33208/task/33213/stat : 33213 (fscip) S 33205 33208 28833 0 -1 1077936192 313 0 0 0 1 2 0 0 20 0 3 0 5178877 521011200 105129 134679101440 4194304 16623229 140734727609408 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 33902592 140734727611414 140734727611530 140734727611530 140734727618544 0
Current children cumulated CPU time: 3587.46 s
Current children cumulated vsize: 508800 KiB
Current children cumulated memory: 420516 KiB
[startup+3597.6 s]
/proc/loadavg: 4.09 4.12 4.09 5/267 36356
/proc/meminfo: memFree=125603532/131524600 swapFree=131071996/131071996
[pid=33208] ppid=33205 vsize=508800 memory=420516 CPUtime=3588.26 cores=5,7
/proc/33208/stat : 33208 (fscip) S 33205 33208 28833 0 -1 1077936128 547182 0 0 0 358767 59 0 0 20 0 3 0 5177850 521011200 105129 134679101440 4194304 16623229 140734727609408 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 33902592 140734727611414 140734727611530 140734727611530 140734727618544 0
/proc/33208/statm: 127200 105129 3334 3035 0 108556 0
[pid=33208/tid=33212] ppid=33205 vsize=508800 memory=12856 CPUtime=3577.88 cores=5,7
/proc/33208/task/33212/stat : 33212 (fscip) R 33205 33208 28833 0 -1 4194368 514229 0 0 0 357739 49 0 0 20 0 3 0 5178874 521011200 105129 134679101440 4194304 16623229 140734727609408 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 33902592 140734727611414 140734727611530 140734727611530 140734727618544 0
[pid=33208/tid=33213] ppid=33205 vsize=508800 memory=2164 CPUtime=0.03 cores=5,7
/proc/33208/task/33213/stat : 33213 (fscip) S 33205 33208 28833 0 -1 1077936192 313 0 0 0 1 2 0 0 20 0 3 0 5178877 521011200 105129 134679101440 4194304 16623229 140734727609408 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 33902592 140734727611414 140734727611530 140734727611530 140734727618544 0
Current children cumulated CPU time: 3588.26 s
Current children cumulated vsize: 508800 KiB
Current children cumulated memory: 420516 KiB
[startup+3598 s]*
/proc/loadavg: 4.08 4.12 4.09 5/267 36356
/proc/meminfo: memFree=125603532/131524600 swapFree=131071996/131071996
[pid=33208] ppid=33205 vsize=508800 memory=420516 CPUtime=3588.66 cores=5,7
/proc/33208/stat : 33208 (fscip) R 33205 33208 28833 0 -1 1077936128 547187 0 0 0 358807 59 0 0 20 0 3 0 5177850 521011200 105129 134679101440 4194304 16623229 140734727609408 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 33902592 140734727611414 140734727611530 140734727611530 140734727618544 0
/proc/33208/statm: 127200 105129 3334 3035 0 108556 0
[pid=33208/tid=33212] ppid=33205 vsize=508800 memory=-7163093423917982592 CPUtime=3578.28 cores=5,7
/proc/33208/task/33212/stat : 33212 (fscip) R 33205 33208 28833 0 -1 4194368 514231 0 0 0 357779 49 0 0 20 0 3 0 5178874 521011200 105129 134679101440 4194304 16623229 140734727609408 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 33902592 140734727611414 140734727611530 140734727611530 140734727618544 0
[pid=33208/tid=33213] ppid=33205 vsize=508800 memory=4426364005082885787 CPUtime=0.03 cores=5,7
/proc/33208/task/33213/stat : 33213 (fscip) S 33205 33208 28833 0 -1 1077936192 315 0 0 0 1 2 0 0 20 0 3 0 5178877 521011200 105129 134679101440 4194304 16623229 140734727609408 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 33902592 140734727611414 140734727611530 140734727611530 140734727618544 0
Current children cumulated CPU time: 3588.66 s
Current children cumulated vsize: 508800 KiB
Current children cumulated memory: 420516 KiB
Child status: 0
Real time (s): 3598.09
CPU time (s): 3588.75
CPU user time (s): 3588.15
CPU system time (s): 0.602358
CPU usage (%): 99.7406
Max. virtual memory (cumulated for all children) (KiB): 508800
Max. memory (cumulated for all children) (KiB): 420516
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3588.15
system time used= 0.602358
maximum resident set size= 420516
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 548444
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= 7272
involuntary context switches= 1802
# summary of solver processes directly reported to runsolver:
# pid: 33208
# total CPU time (s): 3588.75
# total CPU user time (s): 3588.15
# total CPU system time (s): 0.602358
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.7995 second user time and 16.8625 second system time
The end
Begin job on nodeC022 at 2024-07-31 02:29:53
IDJOB=4464475
IDBENCH=158360
IDSOLVER=3092
FILE ID=nodeC022/4464475-1722385793
RUNJOBID= nodeC022-1722378594-28848
SLURM_JOB_ID= 8249845
Free space on /tmp= 889960 MiB
SOLVER NAME= FiberSCIP 2024-07-30
BENCH NAME= PB24/normalized-PB12/DEC-LIN/sroussel/ShortestPathTate/normalized-TateBritain_K107.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-4464475-1722385793/watcher-4464475-1722385793 -o /tmp/evaluation-result-4464475-1722385793/solver-4464475-1722385793 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC022-1722378594-28848 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4464475-1722385793.opb -qsol -t 3600 -sth 1
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 86c4e69ec1b5c87cf6b12225bb221f99
RANDOM SEED=99795441
nodeC022.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 : 3666.279
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7000.46
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3680.257
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 : 7007.42
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.362
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7000.46
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.692
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 : 7007.42
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 : 3666.261
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7000.46
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3680.251
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 : 7007.42
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.292
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7000.46
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.606
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 : 7007.42
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 114472368 kB
MemAvailable: 117416056 kB
Buffers: 106072 kB
Cached: 3642012 kB
SwapCached: 0 kB
Active: 306444 kB
Inactive: 16178600 kB
Active(anon): 1524 kB
Inactive(anon): 12756772 kB
Active(file): 304920 kB
Inactive(file): 3421828 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 28308 kB
Writeback: 0 kB
AnonPages: 12733372 kB
Mapped: 126900 kB
Shmem: 21336 kB
KReclaimable: 113176 kB
Slab: 201548 kB
SReclaimable: 113176 kB
SUnreclaim: 88372 kB
KernelStack: 4168 kB
PageTables: 35080 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 8118328 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 9728 kB
HardwareCorrupted: 0 kB
AnonHugePages: 6780928 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: 295636 kB
DirectMap2M: 19400704 kB
DirectMap1G: 116391936 kB
Free space on /tmp at the end= 889972 MiB
End job on nodeC022 at 2024-07-31 03:29:52