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.30/0.36 c Default LC presolving (default).
0.30/0.36 c ** Before presolving: virtualMemUsedAtLc = 355053500, getVmSize() = 231174144, SCIPgetMemUsed() = 190439909, SCIPgetMemTotal() = 198109461, SCIPgetMemExternEstim() = 156944039
0.30/0.36 c ** set memory limit for presolving in LC to 8.79599e+12 for SCIP **
37.99/38.19 c ** Estimated virtualMemUsedAtSolver = 496546677, getVmSize() = 696152064, SCIPgetMemUsed() = 405806609, SCIPgetMemTotal() = 587875977, SCIPgetMemExternEstim() = 156944039
37.99/38.19 c ** set memory limit for solvers to 4.39803e+12 for each SCIP **
37.99/38.19 c Original Problem :
37.99/38.19 c Problem name : instance-4465004-1722389895
37.99/38.19 c Variables : 57676 (57676 binary, 0 integer, 0 implicit integer, 0 continuous)
37.99/38.19 c Constraints : 112884
37.99/38.19 c Objective sense : minimize
37.99/38.19 c Presolved Problem :
37.99/38.19 c Variables : 114077 (57676 binary, 0 integer, 56401 implicit integer, 0 continuous)
37.99/38.19 c Constraints : 112884
37.99/38.19 c Constraints : Number
37.99/38.19 c knapsack : 1
37.99/38.19 c setppc : 81
37.99/38.19 c linear : 56401
37.99/38.19 c indicator : 56401
37.99/38.19 c ** Instance transfer method used: 0
38.48/38.60 c ** ParaScipInstance copy does not increase the number of variables. **
38.78/38.94 c LC is working with racing ramp-up and with rebuilding tree after racing.
38.78/38.94 c Nodes Active
38.78/38.94 c Time Nodes Left Solvers Best Integer Best Node Gap Best Node(S) Gap(S)
652.93/656.34 c 656 2 1 1 - 0.0000 -
657.91/661.39 c 661 3 2 1 - 0.0000 -
666.48/669.95 c 670 5 4 1 - 0.0000 -
673.45/676.93 c 677 7 6 1 - 0.0000 -
683.53/687.07 c 687 8 7 1 - 0.0000 -
691.29/694.85 c 695 9 8 1 - 0.0000 -
698.56/702.16 c 702 11 10 1 - 0.0000 -
705.34/708.92 c 709 12 11 1 - 0.0000 -
716.10/719.72 c 720 14 13 1 - 0.0000 -
726.26/729.94 c 730 15 14 1 - 0.0000 -
732.44/736.19 c 736 17 16 1 - 0.0000 -
740.71/744.48 c 744 19 18 1 - 0.0000 -
747.08/750.85 c 751 20 19 1 - 0.0000 -
752.75/756.50 c 756 21 20 1 - 0.0000 -
758.24/762.04 c 762 23 22 1 - 0.0000 -
770.00/773.82 c 774 24 21 1 - 0.0000 -
776.87/780.71 c 781 26 23 1 - 0.0000 -
785.34/789.28 c 789 27 24 1 - 0.0000 -
792.12/796.04 c 796 28 25 1 - 0.0000 -
803.08/807.10 c 807 30 27 1 - 0.0000 -
812.95/816.95 c 817 32 29 1 - 0.0000 -
819.42/823.45 c 823 34 31 1 - 0.0000 -
826.00/830.02 c 830 36 33 1 - 0.0000 -
833.86/837.98 c 838 41 38 1 - 0.0000 -
841.63/845.70 c 846 50 47 1 - 0.0000 -
849.91/854.03 c 854 59 56 1 - 0.0000 -
856.67/860.87 c 861 72 69 1 - 0.0000 -
869.84/874.06 c 874 85 82 1 - 0.0000 -
875.51/879.74 c 880 98 95 1 - 0.0000 -
882.48/886.75 c 887 104 101 1 - 0.0000 -
897.14/901.44 c 901 111 108 1 - 0.0000 -
905.41/909.79 c 910 120 117 1 - 0.0000 -
911.59/915.98 c 916 127 124 1 - 0.0000 -
919.56/923.94 c 924 132 129 1 - 0.0000 -
928.82/933.23 c 933 143 138 1 - 0.0000 -
934.90/939.32 c 939 153 146 1 - 0.0000 -
944.37/948.87 c 949 164 157 1 - 0.0000 -
950.65/955.12 c 955 176 169 1 - 0.0000 -
957.22/961.76 c 962 179 172 1 - 0.0000 -
962.71/967.24 c 967 183 174 1 - 0.0000 -
979.75/984.32 c 984 191 182 1 - 0.0000 -
990.21/994.86 c 995 199 190 1 - 0.0000 -
996.99/1001.69 c 1002 204 195 1 - 0.0000 -
1002.87/1007.56 c 1008 209 200 1 - 0.0000 -
1008.06/1012.76 c 1013 218 207 1 - 0.0000 -
1014.53/1019.22 c 1019 225 214 1 - 0.0000 -
1019.91/1024.62 c 1025 234 220 1 - 0.0000 -
1025.19/1029.93 c 1030 247 224 1 - 0.0000 -
1031.08/1035.82 c 1036 259 231 1 - 0.0000 -
1036.86/1041.69 c 1042 271 241 1 - 0.0000 -
1042.84/1047.66 c 1048 278 243 1 - 0.0000 -
1048.33/1053.11 c 1053 297 254 1 - 0.0000 -
1054.10/1058.99 c 1059 305 262 1 - 0.0000 -
1061.08/1065.95 c 1066 317 274 1 - 0.0000 -
1066.56/1071.45 c 1071 327 282 1 - 0.0000 -
1085.90/1090.86 c 1091 330 285 1 - 0.0000 -
1103.15/1108.14 c 1108 344 295 1 - 0.0000 -
1109.22/1114.28 c 1114 351 302 1 - 0.0000 -
1120.18/1125.22 c 1125 362 313 1 - 0.0000 -
1127.76/1132.85 c 1133 369 318 1 - 0.0000 -
1134.63/1139.76 c 1140 382 329 1 - 0.0000 -
1140.71/1145.81 c 1146 398 343 1 - 0.0000 -
1145.89/1151.00 c 1151 399 344 1 - 0.0000 -
1157.34/1162.57 c 1163 406 351 1 - 0.0000 -
1162.83/1168.08 c 1168 415 360 1 - 0.0000 -
1170.51/1175.71 c 1176 424 369 1 - 0.0000 -
1178.58/1183.81 c 1184 438 379 1 - 0.0000 -
1186.75/1192.10 c 1192 450 391 1 - 0.0000 -
1192.43/1197.70 c 1198 459 400 1 - 0.0000 -
1200.00/1205.32 c 1205 489 412 1 - 0.0000 -
1205.98/1211.34 c 1211 496 417 1 - 0.0000 -
1228.61/1234.06 c 1234 501 420 1 - 0.0000 -
1236.48/1241.93 c 1242 519 434 1 - 0.0000 -
1242.07/1247.56 c 1248 530 443 1 - 0.0000 -
1250.93/1256.41 c 1256 533 444 1 - 0.0000 -
1258.30/1263.88 c 1264 543 454 1 - 0.0000 -
1263.89/1269.49 c 1269 551 460 1 - 0.0000 -
1282.62/1288.21 c 1288 564 469 1 - 0.0000 -
1288.51/1294.19 c 1294 569 474 1 - 0.0000 -
1294.88/1300.52 c 1301 578 483 1 - 0.0000 -
1302.75/1308.43 c 1308 584 489 1 - 0.0000 -
1308.33/1314.01 c 1314 602 499 1 - 0.0000 -
1314.71/1320.46 c 1320 609 506 1 - 0.0000 -
1320.59/1326.36 c 1326 620 515 1 - 0.0000 -
1330.95/1336.71 c 1337 625 518 1 - 0.0000 -
1335.93/1341.78 c 1342 637 526 1 - 0.0000 -
1343.51/1349.31 c 1349 650 537 1 - 0.0000 -
1351.18/1357.04 c 1357 658 540 1 - 0.0000 -
1358.17/1364.05 c 1364 673 549 1 - 0.0000 -
1363.25/1369.11 c 1369 684 560 1 - 0.0000 -
1369.82/1375.78 c 1376 690 564 1 - 0.0000 -
1375.60/1381.59 c 1382 710 576 1 - 0.0000 -
1381.18/1387.18 c 1387 728 586 1 - 0.0000 -
1390.05/1396.05 c 1396 739 593 1 - 0.0000 -
1398.03/1404.08 c 1404 757 603 1 - 0.0000 -
1405.30/1411.39 c 1411 777 615 1 - 0.0000 -
1411.88/1417.90 c 1418 794 622 1 - 0.0000 -
1417.16/1423.21 c 1423 803 631 1 - 0.0000 -
1429.53/1435.62 c 1436 822 646 1 - 0.0000 -
1434.71/1440.86 c 1441 827 651 1 - 0.0000 -
1446.57/1452.75 c 1453 837 656 1 - 0.0000 -
1452.15/1458.38 c 1458 850 663 1 - 0.0000 -
1460.23/1466.40 c 1466 853 666 1 - 0.0000 -
1466.01/1472.29 c 1472 866 676 1 - 0.0000 -
1476.97/1483.27 c 1483 875 685 1 - 0.0000 -
1483.35/1489.68 c 1490 879 689 1 - 0.0000 -
1490.33/1496.62 c 1497 900 698 1 - 0.0000 -
1501.50/1507.88 c 1508 913 711 1 - 0.0000 -
1511.96/1518.36 c 1518 923 721 1 - 0.0000 -
1517.65/1524.06 c 1524 938 730 1 - 0.0000 -
1524.53/1530.90 c 1531 951 739 1 - 0.0000 -
1529.71/1536.18 c 1536 963 747 1 - 0.0000 -
1536.48/1542.95 c 1543 977 752 1 - 0.0000 -
1541.67/1548.18 c 1548 992 757 1 - 0.0000 -
1548.84/1555.37 c 1555 1009 768 1 - 0.0000 -
1554.63/1561.14 c 1561 1021 780 1 - 0.0000 -
1561.10/1567.65 c 1568 1033 790 1 - 0.0000 -
1572.76/1579.38 c 1579 1039 793 1 - 0.0000 -
1579.54/1586.12 c 1586 1049 803 1 - 0.0000 -
1587.32/1593.99 c 1594 1065 811 1 - 0.0000 -
1592.89/1599.51 c 1600 1076 820 1 - 0.0000 -
1600.27/1606.92 c 1607 1087 829 1 - 0.0000 -
1606.46/1613.17 c 1613 1090 832 1 - 0.0000 -
1613.53/1620.20 c 1620 1102 842 1 - 0.0000 -
1620.10/1626.82 c 1627 1110 850 1 - 0.0000 -
1625.18/1631.98 c 1632 1122 856 1 - 0.0000 -
1636.16/1642.93 c 1643 1140 864 1 - 0.0000 -
1642.73/1649.51 c 1650 1153 875 1 - 0.0000 -
1652.50/1659.38 c 1659 1166 888 1 - 0.0000 -
1877.76/1885.14 c 1885 1174 1 1 - 0.0000 -
1884.33/1891.78 c 1892 1179 6 1 - 0.0000 -
1897.59/1905.03 c 1905 1188 15 1 - 0.0000 -
1908.26/1915.70 c 1916 1193 20 1 - 0.0000 -
1917.23/1924.76 c 1925 1199 26 1 - 0.0000 -
1926.70/1934.29 c 1934 1205 32 1 - 0.0000 -
1932.19/1939.78 c 1940 1211 38 1 - 0.0000 -
1939.47/1947.08 c 1947 1219 42 1 - 0.0000 -
1944.65/1952.29 c 1952 1220 43 1 - 0.0000 -
1950.63/1958.25 c 1958 1227 50 1 - 0.0000 -
1962.40/1970.08 c 1970 1234 57 1 - 0.0000 -
1971.56/1979.26 c 1979 1241 64 1 - 0.0000 -
1986.62/1994.35 c 1994 1248 71 1 - 0.0000 -
1995.79/2003.55 c 2004 1254 77 1 - 0.0000 -
2006.37/2014.15 c 2014 1255 78 1 - 0.0000 -
2017.63/2025.50 c 2025 1262 85 1 - 0.0000 -
2023.01/2030.89 c 2031 1264 87 1 - 0.0000 -
2030.39/2038.24 c 2038 1278 91 1 - 0.0000 -
2036.47/2044.30 c 2044 1295 94 1 - 0.0000 -
2046.25/2054.13 c 2054 1297 96 1 - 0.0000 -
2051.72/2059.63 c 2060 1318 109 1 - 0.0000 -
2060.30/2068.26 c 2068 1323 110 1 - 0.0000 -
2066.98/2074.95 c 2075 1329 116 1 - 0.0000 -
2071.96/2079.96 c 2080 1351 126 1 - 0.0000 -
2078.14/2086.11 c 2086 1365 134 1 - 0.0000 -
2084.72/2092.71 c 2093 1367 136 1 - 0.0000 -
2093.29/2101.37 c 2101 1391 146 1 - 0.0000 -
2102.86/2111.00 c 2111 1403 152 1 - 0.0000 -
2110.14/2118.22 c 2118 1414 159 1 - 0.0000 -
2116.22/2124.30 c 2124 1421 166 1 - 0.0000 -
2130.38/2138.55 c 2139 1427 170 1 - 0.0000 -
2137.26/2145.49 c 2145 1437 176 1 - 0.0000 -
2142.64/2150.84 c 2151 1456 183 1 - 0.0000 -
2147.92/2156.14 c 2156 1476 191 1 - 0.0000 -
2153.21/2161.49 c 2161 1491 198 1 - 0.0000 -
2158.99/2167.28 c 2167 1507 210 1 - 0.0000 -
2165.07/2173.35 c 2173 1520 221 1 - 0.0000 -
2171.75/2180.09 c 2180 1538 233 1 - 0.0000 -
2178.33/2186.64 c 2187 1548 241 1 - 0.0000 -
2185.40/2193.78 c 2194 1560 245 1 - 0.0000 -
2191.08/2199.44 c 2199 1585 256 1 - 0.0000 -
2197.07/2205.46 c 2205 1605 262 1 - 0.0000 -
2202.25/2210.63 c 2211 1618 267 1 - 0.0000 -
2209.03/2217.43 c 2217 1629 275 1 - 0.0000 -
2217.80/2226.24 c 2226 1651 291 1 - 0.0000 -
2223.78/2232.20 c 2232 1666 302 1 - 0.0000 -
2228.76/2237.21 c 2237 1674 308 1 - 0.0000 -
2234.65/2243.15 c 2243 1688 320 1 - 0.0000 -
2240.82/2249.32 c 2249 1699 326 1 - 0.0000 -
2248.00/2256.50 c 2256 1722 338 1 - 0.0000 -
2254.98/2263.57 c 2264 1739 348 1 - 0.0000 -
2261.56/2270.12 c 2270 1758 365 1 - 0.0000 -
2267.14/2275.74 c 2276 1779 370 1 - 0.0000 -
2272.43/2281.10 c 2281 1793 379 1 - 0.0000 -
2278.41/2287.09 c 2287 1820 387 1 - 0.0000 -
2283.98/2292.67 c 2293 1834 393 1 - 0.0000 -
2289.06/2297.72 c 2298 1849 402 1 - 0.0000 -
2301.03/2309.72 c 2310 1860 411 1 - 0.0000 -
2306.81/2315.53 c 2316 1889 420 1 - 0.0000 -
2311.99/2320.74 c 2321 1895 426 1 - 0.0000 -
2318.37/2327.11 c 2327 1919 441 1 - 0.0000 -
2326.35/2335.12 c 2335 1934 444 1 - 0.0000 -
2331.34/2340.16 c 2340 1940 448 1 - 0.0000 -
2337.41/2346.22 c 2346 1956 462 1 - 0.0000 -
2342.90/2351.76 c 2352 1966 472 1 - 0.0000 -
2354.46/2363.32 c 2363 1987 485 1 - 0.0000 -
2360.54/2369.42 c 2369 2000 492 1 - 0.0000 -
2366.92/2375.86 c 2376 2020 500 1 - 0.0000 -
2373.59/2382.57 c 2383 2047 507 1 - 0.0000 -
2379.08/2388.00 c 2388 2059 517 1 - 0.0000 -
2385.36/2394.35 c 2394 2083 521 1 - 0.0000 -
2398.13/2407.18 c 2407 2088 522 1 - 0.0000 -
2404.20/2413.29 c 2413 2105 533 1 - 0.0000 -
2413.97/2423.10 c 2423 2114 539 1 - 0.0000 -
2420.14/2429.20 c 2429 2128 545 1 - 0.0000 -
2430.21/2439.37 c 2439 2138 551 1 - 0.0000 -
2443.27/2452.45 c 2452 2161 562 1 - 0.0000 -
2448.35/2457.53 c 2458 2179 568 1 - 0.0000 -
2453.53/2462.77 c 2463 2186 570 1 - 0.0000 -
2459.72/2468.92 c 2469 2200 582 1 - 0.0000 -
2465.69/2474.94 c 2475 2218 600 1 - 0.0000 -
2473.67/2482.90 c 2483 2236 608 1 - 0.0000 -
2479.35/2488.66 c 2489 2249 616 1 - 0.0000 -
2484.64/2493.99 c 2494 2255 622 1 - 0.0000 -
2490.32/2499.65 c 2500 2265 626 1 - 0.0000 -
2496.29/2505.65 c 2506 2280 629 1 - 0.0000 -
2502.37/2511.74 c 2512 2301 634 1 - 0.0000 -
2508.06/2517.41 c 2517 2316 639 1 - 0.0000 -
2517.03/2526.46 c 2526 2323 642 1 - 0.0000 -
2524.81/2534.20 c 2534 2343 650 1 - 0.0000 -
2529.89/2539.32 c 2539 2363 659 1 - 0.0000 -
2536.57/2546.04 c 2546 2372 665 1 - 0.0000 -
2542.74/2552.25 c 2552 2388 665 1 - 0.0000 -
2549.72/2559.23 c 2559 2394 671 1 - 0.0000 -
2556.41/2565.96 c 2566 2409 670 1 - 0.0000 -
2562.88/2572.42 c 2572 2414 675 1 - 0.0000 -
2568.47/2578.07 c 2578 2426 681 1 - 0.0000 -
2573.65/2583.28 c 2583 2452 693 1 - 0.0000 -
2579.62/2589.24 c 2589 2461 699 1 - 0.0000 -
2585.11/2594.73 c 2595 2465 703 1 - 0.0000 -
2590.50/2600.15 c 2600 2488 710 1 - 0.0000 -
2595.48/2605.18 c 2605 2502 715 1 - 0.0000 -
2601.56/2611.28 c 2611 2511 720 1 - 0.0000 -
2608.04/2617.70 c 2618 2536 721 1 - 0.0000 -
2614.12/2623.88 c 2624 2558 729 1 - 0.0000 -
2624.59/2634.33 c 2634 2571 735 1 - 0.0000 -
2630.27/2640.04 c 2640 2599 741 1 - 0.0000 -
2635.75/2645.50 c 2646 2609 747 1 - 0.0000 -
2642.23/2652.01 c 2652 2618 754 1 - 0.0000 -
2647.81/2657.68 c 2658 2634 761 1 - 0.0000 -
2655.19/2665.05 c 2665 2635 762 1 - 0.0000 -
2661.36/2671.24 c 2671 2644 768 1 - 0.0000 -
2670.04/2679.99 c 2680 2658 775 1 - 0.0000 -
2675.33/2685.27 c 2685 2668 780 1 - 0.0000 -
2684.20/2694.16 c 2694 2669 781 1 - 0.0000 -
2692.07/2702.02 c 2702 2697 788 1 - 0.0000 -
2697.75/2707.79 c 2708 2716 798 1 - 0.0000 -
2703.73/2713.71 c 2714 2727 805 1 - 0.0000 -
2708.71/2718.74 c 2719 2752 813 1 - 0.0000 -
2714.00/2724.05 c 2724 2769 821 1 - 0.0000 -
2719.88/2729.92 c 2730 2785 830 1 - 0.0000 -
2726.66/2736.78 c 2737 2799 834 1 - 0.0000 -
2733.14/2743.28 c 2743 2817 847 1 - 0.0000 -
2739.71/2749.86 c 2750 2833 854 1 - 0.0000 -
2745.10/2755.24 c 2755 2846 861 1 - 0.0000 -
2750.98/2761.11 c 2761 2876 883 1 - 0.0000 -
2756.36/2766.59 c 2767 2889 892 1 - 0.0000 -
2762.34/2772.53 c 2773 2924 899 1 - 0.0000 -
2768.22/2778.45 c 2778 2941 906 1 - 0.0000 -
2773.40/2783.68 c 2784 2965 912 1 - 0.0000 -
2779.19/2789.48 c 2789 2979 918 1 - 0.0000 -
2785.17/2795.48 c 2795 2993 926 1 - 0.0000 -
2791.35/2801.62 c 2802 3009 937 1 - 0.0000 -
2796.73/2807.07 c 2807 3022 938 1 - 0.0000 -
2802.81/2813.15 c 2813 3033 943 1 - 0.0000 -
2808.39/2818.71 c 2819 3044 944 1 - 0.0000 -
2815.68/2826.06 c 2826 3057 951 1 - 0.0000 -
2820.95/2831.39 c 2831 3077 961 1 - 0.0000 -
2826.14/2836.54 c 2837 3090 968 1 - 0.0000 -
2831.32/2841.77 c 2842 3105 981 1 - 0.0000 -
2840.49/2850.93 c 2851 3127 995 1 - 0.0000 -
2845.77/2856.21 c 2856 3143 1001 1 - 0.0000 -
2851.45/2861.92 c 2862 3156 1006 1 - 0.0000 -
2856.83/2867.35 c 2867 3171 1009 1 - 0.0000 -
2862.21/2872.72 c 2873 3187 1018 1 - 0.0000 -
2867.30/2877.88 c 2878 3199 1026 1 - 0.0000 -
2872.48/2883.03 c 2883 3222 1041 1 - 0.0000 -
2879.16/2889.75 c 2890 3232 1048 1 - 0.0000 -
2884.94/2895.58 c 2896 3249 1054 1 - 0.0000 -
2891.12/2901.73 c 2902 3262 1060 1 - 0.0000 -
2897.90/2908.58 c 2909 3273 1067 1 - 0.0000 -
2904.48/2915.16 c 2915 3297 1088 1 - 0.0000 -
2909.66/2920.32 c 2920 3309 1093 1 - 0.0000 -
2917.74/2928.43 c 2928 3315 1097 1 - 0.0000 -
2927.81/2938.52 c 2939 3326 1101 1 - 0.0000 -
2933.19/2943.91 c 2944 3339 1108 1 - 0.0000 -
2939.37/2950.10 c 2950 3358 1114 1 - 0.0000 -
2947.84/2958.66 c 2959 3366 1120 1 - 0.0000 -
2953.52/2964.36 c 2964 3382 1130 1 - 0.0000 -
2964.99/2975.80 c 2976 3407 1144 1 - 0.0000 -
2970.67/2981.57 c 2982 3428 1147 1 - 0.0000 -
2977.55/2988.44 c 2988 3436 1151 1 - 0.0000 -
2982.83/2993.76 c 2994 3448 1153 1 - 0.0000 -
2989.71/3000.62 c 3001 3456 1157 1 - 0.0000 -
2997.48/3008.40 c 3008 3470 1161 1 - 0.0000 -
3009.16/3020.18 c 3020 3485 1165 1 - 0.0000 -
3015.03/3026.09 c 3026 3516 1174 1 - 0.0000 -
3025.20/3036.25 c 3036 3522 1177 1 - 0.0000 -
3034.17/3045.27 c 3045 3528 1179 1 - 0.0000 -
3045.74/3056.82 c 3057 3541 1182 1 - 0.0000 -
3056.61/3067.74 c 3068 3549 1186 1 - 0.0000 -
3061.79/3072.94 c 3073 3565 1190 1 - 0.0000 -
3068.37/3079.56 c 3080 3576 1195 1 - 0.0000 -
3073.95/3085.18 c 3085 3588 1201 1 - 0.0000 -
3080.73/3091.99 c 3092 3599 1203 1 - 0.0000 -
3086.51/3097.79 c 3098 3616 1210 1 - 0.0000 -
3091.99/3103.26 c 3103 3630 1212 1 - 0.0000 -
3097.58/3108.89 c 3109 3637 1215 1 - 0.0000 -
3103.15/3114.43 c 3114 3649 1223 1 - 0.0000 -
3108.34/3119.65 c 3120 3673 1241 1 - 0.0000 -
3116.82/3128.16 c 3128 3682 1247 1 - 0.0000 -
3122.80/3134.13 c 3134 3703 1256 1 - 0.0000 -
3128.28/3139.66 c 3140 3708 1261 1 - 0.0000 -
3138.45/3149.81 c 3150 3716 1263 1 - 0.0000 -
3143.53/3154.93 c 3155 3735 1271 1 - 0.0000 -
3148.51/3159.98 c 3160 3748 1278 1 - 0.0000 -
3155.09/3166.53 c 3167 3763 1286 1 - 0.0000 -
3162.27/3173.78 c 3174 3782 1289 1 - 0.0000 -
3169.95/3181.43 c 3181 3798 1297 1 - 0.0000 -
3175.93/3187.44 c 3187 3809 1300 1 - 0.0000 -
3181.71/3193.29 c 3193 3819 1302 1 - 0.0000 -
3187.60/3199.13 c 3199 3832 1305 1 - 0.0000 -
3194.57/3206.15 c 3206 3852 1303 1 - 0.0000 -
3200.25/3211.82 c 3212 3865 1308 1 - 0.0000 -
3205.93/3217.51 c 3218 3883 1318 1 - 0.0000 -
3211.21/3222.89 c 3223 3904 1331 1 - 0.0000 -
3217.09/3228.73 c 3229 3917 1340 1 - 0.0000 -
3223.27/3234.93 c 3235 3924 1347 1 - 0.0000 -
3229.46/3241.14 c 3241 3935 1350 1 - 0.0000 -
3235.23/3246.99 c 3247 3947 1352 1 - 0.0000 -
3240.32/3252.08 c 3252 3955 1356 1 - 0.0000 -
3246.39/3258.18 c 3258 3965 1362 1 - 0.0000 -
3252.96/3264.70 c 3265 3978 1367 1 - 0.0000 -
3258.94/3270.72 c 3271 3989 1370 1 - 0.0000 -
3265.91/3277.74 c 3278 4004 1379 1 - 0.0000 -
3270.99/3282.87 c 3283 4008 1383 1 - 0.0000 -
3277.06/3288.95 c 3289 4024 1397 1 - 0.0000 -
3283.15/3295.02 c 3295 4042 1407 1 - 0.0000 -
3289.82/3301.70 c 3302 4057 1408 1 - 0.0000 -
3296.39/3308.37 c 3308 4066 1413 1 - 0.0000 -
3304.56/3316.50 c 3316 4070 1417 1 - 0.0000 -
3309.63/3321.62 c 3322 4078 1423 1 - 0.0000 -
3315.21/3327.28 c 3327 4097 1440 1 - 0.0000 -
3325.98/3338.04 c 3338 4106 1445 1 - 0.0000 -
3332.54/3344.62 c 3345 4126 1451 1 - 0.0000 -
3339.12/3351.20 c 3351 4141 1454 1 - 0.0000 -
3348.67/3360.81 c 3361 4143 1456 1 - 0.0000 -
3358.14/3370.35 c 3370 4154 1459 1 - 0.0000 -
3364.41/3376.64 c 3377 4163 1462 1 - 0.0000 -
3369.59/3381.84 c 3382 4171 1466 1 - 0.0000 -
3375.37/3387.68 c 3388 4187 1470 1 - 0.0000 -
3380.75/3393.01 c 3393 4193 1470 1 - 0.0000 -
3386.32/3398.68 c 3399 4202 1473 1 - 0.0000 -
3392.70/3405.05 c 3405 4212 1479 1 - 0.0000 -
3398.68/3411.05 c 3411 4232 1483 1 - 0.0000 -
3405.54/3417.98 c 3418 4242 1487 1 - 0.0000 -
3411.03/3423.42 c 3423 4259 1490 1 - 0.0000 -
3416.91/3429.38 c 3429 4267 1490 1 - 0.0000 -
3422.38/3434.87 c 3435 4276 1495 1 - 0.0000 -
3428.26/3440.76 c 3441 4283 1498 1 - 0.0000 -
3435.14/3447.69 c 3448 4302 1499 1 - 0.0000 -
3442.01/3454.59 c 3455 4314 1503 1 - 0.0000 -
3447.89/3460.45 c 3460 4328 1505 1 - 0.0000 -
3453.08/3465.69 c 3466 4343 1510 1 - 0.0000 -
3458.35/3470.94 c 3471 4353 1512 1 - 0.0000 -
3464.03/3476.65 c 3477 4370 1519 1 - 0.0000 -
3470.11/3482.76 c 3483 4381 1518 1 - 0.0000 -
3478.38/3491.00 c 3491 4401 1524 1 - 0.0000 -
3484.26/3496.91 c 3497 4424 1529 1 - 0.0000 -
3490.54/3503.28 c 3503 4430 1531 1 - 0.0000 -
3496.02/3508.77 c 3509 4445 1534 1 - 0.0000 -
3502.00/3514.70 c 3515 4454 1537 1 - 0.0000 -
3507.19/3519.96 c 3520 4467 1540 1 - 0.0000 -
3512.28/3525.05 c 3525 4482 1543 1 - 0.0000 -
3518.25/3531.03 c 3531 4495 1546 1 - 0.0000 -
3523.74/3536.53 c 3537 4499 1550 1 - 0.0000 -
3529.41/3542.23 c 3542 4515 1552 1 - 0.0000 -
3535.60/3548.41 c 3548 4527 1560 1 - 0.0000 -
3541.38/3554.27 c 3554 4546 1575 1 - 0.0000 -
3547.86/3560.74 c 3561 4566 1583 1 - 0.0000 -
3553.54/3566.44 c 3566 4572 1589 1 - 0.0000 -
3559.14/3572.10 c 3572 4597 1602 1 - 0.0000 -
3564.61/3577.52 c 3578 4611 1605 1 - 0.0000 -
3570.49/3583.49 c 3583 4621 1609 1 - 0.0000 -
3576.18/3589.12 c 3589 4637 1617 1 - 0.0000 -
3583.45/3596.48 c 3596 4646 1626 1 - 0.0000 -
3585.75/3598.72 c SCIP Status : c solving was interrupted [hard time limit reached]
3585.75/3598.72 c Total Time : 3598.7200
3585.75/3598.72 c solving : 3598.7200
3585.75/3598.72 c presolving : 37.8332 (included in solving)
3585.75/3598.72 c B&B Tree :
3585.75/3598.72 c nodes (total) : 1
3585.75/3598.72 c Solution :
3585.75/3598.72 c Solutions found : 0
3585.75/3598.72 c Primal Bound : -
3585.75/3598.72 c Dual Bound : +0.00000000000000e+00
3585.75/3598.72 c Gap : -
3586.04/3599.06 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: 63968 MiB (61382 MiB free)
memory of node 1: 64473 MiB (63311 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4465004-1722389895/watcher-4465004-1722389895 -o /tmp/evaluation-result-4465004-1722389895/solver-4465004-1722389895 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC032-1722389405-35194 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4465004-1722389895.wbo -qsol -t 3600 -sth 1
running on 2 cores: 1,3
CPU governors:
performance: 1 3
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=37124, runsolver pid=37121
[startup+0.100376 s]*
/proc/loadavg: 4.13 4.12 4.12 5/262 37125
/proc/meminfo: memFree=127635440/131524600 swapFree=131071996/131071996
[pid=37124] ppid=37121 vsize=72368 memory=60956 CPUtime=0.1 cores=1,3
/proc/37124/stat : 37124 (fscip) R 37121 37124 35128 0 -1 4194304 13105 0 0 0 8 2 0 0 20 0 1 0 5591472 74104832 15239 134679101440 4194304 16623229 140736540653136 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 30773248 140736540656660 140736540656776 140736540656776 140736540663792 0
/proc/37124/statm: 18092 15239 2347 3035 0 14488 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 72368 KiB
Current children cumulated memory: 60956 KiB
[startup+0.205513 s]*
/proc/loadavg: 4.13 4.12 4.12 5/262 37125
/proc/meminfo: memFree=127581596/131524600 swapFree=131071996/131071996
[pid=37124] ppid=37121 vsize=133196 memory=121132 CPUtime=0.19 cores=1,3
/proc/37124/stat : 37124 (fscip) R 37121 37124 35128 0 -1 4194304 28464 0 0 0 16 3 0 0 20 0 1 0 5591472 136392704 30283 134679101440 4194304 16623229 140736540653136 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 30773248 140736540656660 140736540656776 140736540656776 140736540663792 0
/proc/37124/statm: 33299 30283 2555 3035 0 29695 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 133196 KiB
Current children cumulated memory: 121132 KiB
[startup+0.305574 s]*
/proc/loadavg: 4.13 4.12 4.12 5/262 37125
/proc/meminfo: memFree=127504848/131524600 swapFree=131071996/131071996
[pid=37124] ppid=37121 vsize=205972 memory=193996 CPUtime=0.3 cores=1,3
/proc/37124/stat : 37124 (fscip) R 37121 37124 35128 0 -1 4194304 46666 0 0 0 24 6 0 0 20 0 1 0 5591472 210915328 48499 134679101440 4194304 16623229 140736540653136 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 30773248 140736540656660 140736540656776 140736540656776 140736540663792 0
/proc/37124/statm: 51493 48499 2555 3035 0 47889 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 205972 KiB
Current children cumulated memory: 193996 KiB
[startup+0.700229 s]
/proc/loadavg: 4.13 4.12 4.12 5/262 37125
/proc/meminfo: memFree=127415332/131524600 swapFree=131071996/131071996
[pid=37124] ppid=37121 vsize=384652 memory=370616 CPUtime=0.68 cores=1,3
/proc/37124/stat : 37124 (fscip) R 37121 37124 35128 0 -1 4194304 90779 0 0 0 56 12 0 0 20 0 1 0 5591472 393883648 92654 134679101440 4194304 16623229 140736540653136 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 30773248 140736540656660 140736540656776 140736540656776 140736540663792 0
/proc/37124/statm: 96163 92654 2598 3035 0 92559 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 384652 KiB
Current children cumulated memory: 370616 KiB
[startup+1.50024 s]
/proc/loadavg: 4.13 4.12 4.12 5/262 37125
/proc/meminfo: memFree=127266428/131524600 swapFree=131071996/131071996
[pid=37124] ppid=37121 vsize=483808 memory=459944 CPUtime=1.48 cores=1,3
/proc/37124/stat : 37124 (fscip) R 37121 37124 35128 0 -1 4194304 115684 0 0 0 133 15 0 0 20 0 1 0 5591472 495419392 114986 134679101440 4194304 16623229 140736540653136 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 30773248 140736540656660 140736540656776 140736540656776 140736540663792 0
/proc/37124/statm: 120952 114986 2662 3035 0 117348 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 483808 KiB
Current children cumulated memory: 459944 KiB
[startup+3.1056 s]
/proc/loadavg: 4.12 4.12 4.12 5/262 37125
/proc/meminfo: memFree=127227228/131524600 swapFree=131071996/131071996
[pid=37124] ppid=37121 vsize=491000 memory=467064 CPUtime=3.08 cores=1,3
/proc/37124/stat : 37124 (fscip) R 37121 37124 35128 0 -1 4194304 117484 0 0 0 292 16 0 0 20 0 1 0 5591472 502784000 116766 134679101440 4194304 16623229 140736540653136 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 30773248 140736540656660 140736540656776 140736540656776 140736540663792 0
/proc/37124/statm: 122750 116766 2662 3035 0 119146 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 491000 KiB
Current children cumulated memory: 467064 KiB
[startup+6.30021 s]
/proc/loadavg: 4.12 4.12 4.12 5/262 37127
/proc/meminfo: memFree=127223812/131524600 swapFree=131071996/131071996
[pid=37124] ppid=37121 vsize=491000 memory=467064 CPUtime=6.27 cores=1,3
/proc/37124/stat : 37124 (fscip) R 37121 37124 35128 0 -1 4194304 117484 0 0 0 610 17 0 0 20 0 1 0 5591472 502784000 116766 134679101440 4194304 16623229 140736540653136 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 30773248 140736540656660 140736540656776 140736540656776 140736540663792 0
/proc/37124/statm: 122750 116766 2662 3035 0 119146 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 491000 KiB
Current children cumulated memory: 467064 KiB
[startup+12.7002 s]
/proc/loadavg: 4.18 4.13 4.13 5/262 37127
/proc/meminfo: memFree=127219152/131524600 swapFree=131071996/131071996
[pid=37124] ppid=37121 vsize=491000 memory=467064 CPUtime=12.64 cores=1,3
/proc/37124/stat : 37124 (fscip) R 37121 37124 35128 0 -1 4194304 117484 0 0 0 1245 19 0 0 20 0 1 0 5591472 502784000 116766 134679101440 4194304 16623229 140736540653136 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 30773248 140736540656660 140736540656776 140736540656776 140736540663792 0
/proc/37124/statm: 122750 116766 2662 3035 0 119146 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 491000 KiB
Current children cumulated memory: 467064 KiB
[startup+25.5002 s]
/proc/loadavg: 4.15 4.12 4.12 5/262 37130
/proc/meminfo: memFree=127198020/131524600 swapFree=131071996/131071996
[pid=37124] ppid=37121 vsize=498980 memory=474772 CPUtime=25.41 cores=1,3
/proc/37124/stat : 37124 (fscip) R 37121 37124 35128 0 -1 4194304 119501 0 0 0 2517 24 0 0 20 0 1 0 5591472 510955520 118693 134679101440 4194304 16623229 140736540653136 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 30773248 140736540656660 140736540656776 140736540656776 140736540663792 0
/proc/37124/statm: 124745 118693 2662 3035 0 121141 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 498980 KiB
Current children cumulated memory: 474772 KiB
[startup+51.1064 s]
/proc/loadavg: 4.10 4.11 4.12 5/264 37135
/proc/meminfo: memFree=126389132/131524600 swapFree=131071996/131071996
[pid=37124] ppid=37121 vsize=1375600 memory=1224632 CPUtime=50.85 cores=1,3
/proc/37124/stat : 37124 (fscip) S 37121 37124 35128 0 -1 1077936128 416131 0 0 0 5019 66 0 0 20 0 3 0 5591472 1408614400 306158 134679101440 4194304 16623229 140736540653136 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 30773248 140736540656660 140736540656776 140736540656776 140736540663792 0
/proc/37124/statm: 343900 306158 2726 3035 0 328115 0
[pid=37124/tid=37132] ppid=37121 vsize=1375600 memory=97 CPUtime=12.37 cores=1,3
/proc/37124/task/37132/stat : 37132 (fscip) R 37121 37124 35128 0 -1 4194368 226967 0 0 0 1213 24 0 0 20 0 3 0 5595291 1408614400 306158 134679101440 4194304 16623229 140736540653136 0 0 0 0 0 2 0 0 0 -1 3 0 0 0 0 0 18838560 18947056 30773248 140736540656660 140736540656776 140736540656776 140736540663792 0
[pid=37124/tid=37133] ppid=37121 vsize=1375600 memory=1224632 CPUtime=0 cores=1,3
/proc/37124/task/37133/stat : 37133 (fscip) S 37121 37124 35128 0 -1 1077936192 17 0 0 0 0 0 0 0 20 0 3 0 5595368 1408614400 306158 134679101440 4194304 16623229 140736540653136 0 0 0 0 0 2 1 0 0 -1 1 0 0 0 0 0 18838560 18947056 30773248 140736540656660 140736540656776 140736540656776 140736540663792 0
Current children cumulated CPU time: 50.85 s
Current children cumulated vsize: 1375600 KiB
Current children cumulated memory: 1224632 KiB
[startup+102.3 s]
/proc/loadavg: 4.16 4.12 4.12 5/263 37145
/proc/meminfo: memFree=125980040/131524600 swapFree=131071996/131071996
[pid=37124] ppid=37121 vsize=1572208 memory=1456872 CPUtime=101.53 cores=1,3
/proc/37124/stat : 37124 (fscip) S 37121 37124 35128 0 -1 1077936128 700041 0 0 0 10065 88 0 0 20 0 3 0 5591472 1609940992 364218 134679101440 4194304 16623229 140736540653136 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 30773248 140736540656660 140736540656776 140736540656776 140736540663792 0
/proc/37124/statm: 393052 364218 2774 3035 0 387090 0
[pid=37124/tid=37132] ppid=37121 vsize=1572208 memory=11556 CPUtime=63.04 cores=1,3
/proc/37124/task/37132/stat : 37132 (fscip) R 37121 37124 35128 0 -1 4194368 510849 0 0 0 6258 46 0 0 20 0 3 0 5595291 1609940992 364218 134679101440 4194304 16623229 140736540653136 0 0 0 0 0 2 0 0 0 -1 3 0 0 0 0 0 18838560 18947056 30773248 140736540656660 140736540656776 140736540656776 140736540663792 0
[pid=37124/tid=37133] ppid=37121 vsize=1572208 memory=1456872 CPUtime=0 cores=1,3
/proc/37124/task/37133/stat : 37133 (fscip) S 37121 37124 35128 0 -1 1077936192 45 0 0 0 0 0 0 0 20 0 3 0 5595368 1609940992 364218 134679101440 4194304 16623229 140736540653136 0 0 0 0 0 2 1 0 0 -1 1 0 0 0 0 0 18838560 18947056 30773248 140736540656660 140736540656776 140736540656776 140736540663792 0
Current children cumulated CPU time: 101.53 s
Current children cumulated vsize: 1572208 KiB
Current children cumulated memory: 1456872 KiB
[startup+162.3 s]
/proc/loadavg: 4.11 4.11 4.11 5/266 37161
/proc/meminfo: memFree=125962328/131524600 swapFree=131071996/131071996
[pid=37124] ppid=37121 vsize=1572208 memory=1460460 CPUtime=160.92 cores=1,3
/proc/37124/stat : 37124 (fscip) S 37121 37124 35128 0 -1 1077936128 743516 0 0 0 15998 94 0 0 20 0 3 0 5591472 1609940992 365115 134679101440 4194304 16623229 140736540653136 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 30773248 140736540656660 140736540656776 140736540656776 140736540663792 0
/proc/37124/statm: 393052 365115 2774 3035 0 387987 0
[pid=37124/tid=37132] ppid=37121 vsize=1572208 memory=1458856 CPUtime=122.43 cores=1,3
/proc/37124/task/37132/stat : 37132 (fscip) R 37121 37124 35128 0 -1 4194368 554310 0 0 0 12191 52 0 0 20 0 3 0 5595291 1609940992 365115 134679101440 4194304 16623229 140736540653136 0 0 0 0 0 2 0 0 0 -1 3 0 0 0 0 0 18838560 18947056 30773248 140736540656660 140736540656776 140736540656776 140736540663792 0
[pid=37124/tid=37133] ppid=37121 vsize=1572208 memory=1796 CPUtime=0 cores=1,3
/proc/37124/task/37133/stat : 37133 (fscip) S 37121 37124 35128 0 -1 1077936192 59 0 0 0 0 0 0 0 20 0 3 0 5595368 1609940992 365115 134679101440 4194304 16623229 140736540653136 0 0 0 0 0 2 1 0 0 -1 1 0 0 0 0 0 18838560 18947056 30773248 140736540656660 140736540656776 140736540656776 140736540663792 0
Current children cumulated CPU time: 160.92 s
Current children cumulated vsize: 1572208 KiB
Current children cumulated memory: 1460460 KiB
[startup+222.3 s]
/proc/loadavg: 4.12 4.11 4.11 5/264 37216
/proc/meminfo: memFree=120516828/131524600 swapFree=131071996/131071996
[pid=37124] ppid=37121 vsize=1637744 memory=1463880 CPUtime=220.39 cores=1,3
/proc/37124/stat : 37124 (fscip) S 37121 37124 35128 0 -1 1077936128 783306 0 0 0 21941 98 0 0 20 0 3 0 5591472 1677049856 365970 134679101440 4194304 16623229 140736540653136 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 30773248 140736540656660 140736540656776 140736540656776 140736540663792 0
/proc/37124/statm: 409436 365970 2774 3035 0 388851 0
[pid=37124/tid=37132] ppid=37121 vsize=1637744 memory=12192 CPUtime=181.91 cores=1,3
/proc/37124/task/37132/stat : 37132 (fscip) R 37121 37124 35128 0 -1 4194368 594094 0 0 0 18135 56 0 0 20 0 3 0 5595291 1677049856 365970 134679101440 4194304 16623229 140736540653136 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 30773248 140736540656660 140736540656776 140736540656776 140736540663792 0
[pid=37124/tid=37133] ppid=37121 vsize=1637744 memory=1463876 CPUtime=0 cores=1,3
/proc/37124/task/37133/stat : 37133 (fscip) S 37121 37124 35128 0 -1 1077936192 65 0 0 0 0 0 0 0 20 0 3 0 5595368 1677049856 365970 134679101440 4194304 16623229 140736540653136 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 30773248 140736540656660 140736540656776 140736540656776 140736540663792 0
Current children cumulated CPU time: 220.39 s
Current children cumulated vsize: 1637744 KiB
Current children cumulated memory: 1463880 KiB
[startup+282.3 s]
/proc/loadavg: 4.14 4.12 4.11 5/264 37228
/proc/meminfo: memFree=115472276/131524600 swapFree=131071996/131071996
[pid=37124] ppid=37121 vsize=1637744 memory=1469104 CPUtime=280.04 cores=1,3
/proc/37124/stat : 37124 (fscip) S 37121 37124 35128 0 -1 1077936128 816955 0 0 0 27901 103 0 0 20 0 3 0 5591472 1677049856 367276 134679101440 4194304 16623229 140736540653136 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 30773248 140736540656660 140736540656776 140736540656776 140736540663792 0
/proc/37124/statm: 409436 367276 2774 3035 0 390131 0
[pid=37124/tid=37132] ppid=37121 vsize=1637744 memory=1466432 CPUtime=241.55 cores=1,3
/proc/37124/task/37132/stat : 37132 (fscip) R 37121 37124 35128 0 -1 4194368 627736 0 0 0 24094 61 0 0 20 0 3 0 5595291 1677049856 367276 134679101440 4194304 16623229 140736540653136 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 30773248 140736540656660 140736540656776 140736540656776 140736540663792 0
[pid=37124/tid=37133] ppid=37121 vsize=1637744 memory=1468524 CPUtime=0 cores=1,3
/proc/37124/task/37133/stat : 37133 (fscip) S 37121 37124 35128 0 -1 1077936192 72 0 0 0 0 0 0 0 20 0 3 0 5595368 1677049856 367276 134679101440 4194304 16623229 140736540653136 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 30773248 140736540656660 140736540656776 140736540656776 140736540663792 0
Current children cumulated CPU time: 280.04 s
Current children cumulated vsize: 1637744 KiB
Current children cumulated memory: 1469104 KiB
[startup+342.3 s]
/proc/loadavg: 4.05 4.09 4.10 5/267 37293
/proc/meminfo: memFree=125314488/131524600 swapFree=131071996/131071996
[pid=37124] ppid=37121 vsize=1637744 memory=1473124 CPUtime=339.8 cores=1,3
/proc/37124/stat : 37124 (fscip) S 37121 37124 35128 0 -1 1077936128 852838 0 0 0 33871 109 0 0 20 0 3 0 5591472 1677049856 368281 134679101440 4194304 16623229 140736540653136 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 30773248 140736540656660 140736540656776 140736540656776 140736540663792 0
/proc/37124/statm: 409436 368281 2774 3035 0 391203 0
[pid=37124/tid=37132] ppid=37121 vsize=1637744 memory=1466432 CPUtime=301.3 cores=1,3
################
# More data... #
################
/proc/loadavg: 3.05 3.12 3.17 4/258 39077
/proc/meminfo: memFree=122305468/131524600 swapFree=131071996/131071996
[pid=37124] ppid=37121 vsize=4543592 memory=3827872 CPUtime=3390.01 cores=1,3
/proc/37124/stat : 37124 (fscip) S 37121 37124 35128 0 -1 1077936128 4848049 0 0 0 337863 1138 0 0 20 0 3 0 5591472 4652638208 956968 134679101440 4194304 16623229 140736540653136 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 30773248 140736540656660 140736540656776 140736540656776 140736540663792 0
/proc/37124/statm: 1135898 956968 3014 3035 0 1122757 0
[pid=37124/tid=37132] ppid=37121 vsize=4543592 memory=3824368 CPUtime=3351.41 cores=1,3
/proc/37124/task/37132/stat : 37132 (fscip) R 37121 37124 35128 0 -1 4194368 4657044 0 0 0 334050 1091 0 0 20 0 3 0 5595291 4652638208 956968 134679101440 4194304 16623229 140736540653136 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 30773248 140736540656660 140736540656776 140736540656776 140736540663792 0
[pid=37124/tid=37133] ppid=37121 vsize=4543592 memory=3827852 CPUtime=0.03 cores=1,3
/proc/37124/task/37133/stat : 37133 (fscip) S 37121 37124 35128 0 -1 1077936192 323 0 0 0 1 2 0 0 20 0 3 0 5595368 4652638208 956968 134679101440 4194304 16623229 140736540653136 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 30773248 140736540656660 140736540656776 140736540656776 140736540663792 0
Current children cumulated CPU time: 3390.01 s
Current children cumulated vsize: 4543592 KiB
Current children cumulated memory: 3827872 KiB
[startup+3462.3 s]
/proc/loadavg: 2.68 3.02 3.14 3/246 39118
/proc/meminfo: memFree=123733676/131524600 swapFree=131071996/131071996
[pid=37124] ppid=37121 vsize=4543592 memory=3829588 CPUtime=3449.78 cores=1,3
/proc/37124/stat : 37124 (fscip) S 37121 37124 35128 0 -1 1077936128 4875177 0 0 0 343838 1140 0 0 20 0 3 0 5591472 4652638208 957397 134679101440 4194304 16623229 140736540653136 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 30773248 140736540656660 140736540656776 140736540656776 140736540663792 0
/proc/37124/statm: 1135898 957397 3014 3035 0 1122757 0
[pid=37124/tid=37132] ppid=37121 vsize=4543592 memory=3824368 CPUtime=3411.17 cores=1,3
/proc/37124/task/37132/stat : 37132 (fscip) R 37121 37124 35128 0 -1 4194368 4684135 0 0 0 340025 1092 0 0 20 0 3 0 5595291 4652638208 957397 134679101440 4194304 16623229 140736540653136 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 30773248 140736540656660 140736540656776 140736540656776 140736540663792 0
[pid=37124/tid=37133] ppid=37121 vsize=4543592 memory=3829024 CPUtime=0.03 cores=1,3
/proc/37124/task/37133/stat : 37133 (fscip) S 37121 37124 35128 0 -1 1077936192 325 0 0 0 1 2 0 0 20 0 3 0 5595368 4652638208 957397 134679101440 4194304 16623229 140736540653136 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 30773248 140736540656660 140736540656776 140736540656776 140736540663792 0
Current children cumulated CPU time: 3449.78 s
Current children cumulated vsize: 4543592 KiB
Current children cumulated memory: 3829588 KiB
[startup+3522.3 s]
/proc/loadavg: 2.31 2.85 3.07 3/245 39129
/proc/meminfo: memFree=123722564/131524600 swapFree=131071996/131071996
[pid=37124] ppid=37121 vsize=4543592 memory=3839840 CPUtime=3509.57 cores=1,3
/proc/37124/stat : 37124 (fscip) S 37121 37124 35128 0 -1 1077936128 4907711 0 0 0 349813 1144 0 0 20 0 3 0 5591472 4652638208 959960 134679101440 4194304 16623229 140736540653136 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 30773248 140736540656660 140736540656776 140736540656776 140736540663792 0
/proc/37124/statm: 1135898 959960 3014 3035 0 1125637 0
[pid=37124/tid=37132] ppid=37121 vsize=4543592 memory=3829024 CPUtime=3470.97 cores=1,3
/proc/37124/task/37132/stat : 37132 (fscip) R 37121 37124 35128 0 -1 4194368 4716631 0 0 0 346000 1097 0 0 20 0 3 0 5595291 4652638208 959960 134679101440 4194304 16623229 140736540653136 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 30773248 140736540656660 140736540656776 140736540656776 140736540663792 0
[pid=37124/tid=37133] ppid=37121 vsize=4543592 memory=12916 CPUtime=0.03 cores=1,3
/proc/37124/task/37133/stat : 37133 (fscip) S 37121 37124 35128 0 -1 1077936192 327 0 0 0 1 2 0 0 20 0 3 0 5595368 4652638208 959960 134679101440 4194304 16623229 140736540653136 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 30773248 140736540656660 140736540656776 140736540656776 140736540663792 0
Current children cumulated CPU time: 3509.57 s
Current children cumulated vsize: 4543592 KiB
Current children cumulated memory: 3839840 KiB
[startup+3582.3 s]
/proc/loadavg: 2.16 2.70 3.00 3/245 39140
/proc/meminfo: memFree=123686560/131524600 swapFree=131071996/131071996
[pid=37124] ppid=37121 vsize=4632952 memory=3874868 CPUtime=3569.39 cores=1,3
/proc/37124/stat : 37124 (fscip) S 37121 37124 35128 0 -1 1077936128 4945467 0 0 0 355759 1180 0 0 20 0 3 0 5591472 4744142848 968717 134679101440 4194304 16623229 140736540653136 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 30773248 140736540656660 140736540656776 140736540656776 140736540663792 0
/proc/37124/statm: 1158238 968717 3014 3035 0 1138696 0
[pid=37124/tid=37132] ppid=37121 vsize=4632952 memory=3870900 CPUtime=3530.79 cores=1,3
/proc/37124/task/37132/stat : 37132 (fscip) R 37121 37124 35128 0 -1 4194368 4754349 0 0 0 351946 1133 0 0 20 0 3 0 5595291 4744142848 968717 134679101440 4194304 16623229 140736540653136 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 30773248 140736540656660 140736540656776 140736540656776 140736540663792 0
[pid=37124/tid=37133] ppid=37121 vsize=4632952 memory=11556 CPUtime=0.03 cores=1,3
/proc/37124/task/37133/stat : 37133 (fscip) S 37121 37124 35128 0 -1 1077936192 329 0 0 0 1 2 0 0 20 0 3 0 5595368 4744142848 968717 134679101440 4194304 16623229 140736540653136 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 30773248 140736540656660 140736540656776 140736540656776 140736540663792 0
Current children cumulated CPU time: 3569.39 s
Current children cumulated vsize: 4632952 KiB
Current children cumulated memory: 3874868 KiB
[startup+3599.09 s]
# the end of solver process 37124 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3574.23 s, system=11.9129 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 2.14 2.69 3.00 3/245 39140
/proc/meminfo: memFree=123685828/131524600 swapFree=131071996/131071996
[pid=37124] ppid=37121 vsize=4632952 memory=3875372 CPUtime=3571.1 cores=1,3
/proc/37124/stat : 37124 (fscip) S 37121 37124 35128 0 -1 1077936128 4945658 0 0 0 355929 1181 0 0 20 0 3 0 5591472 4744142848 968843 134679101440 4194304 16623229 140736540653136 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 30773248 140736540656660 140736540656776 140736540656776 140736540663792 0
/proc/37124/statm: 1158238 968843 3014 3035 0 1138696 0
[pid=37124/tid=37132] ppid=37121 vsize=4632952 memory=11556 CPUtime=3532.49 cores=1,3
/proc/37124/task/37132/stat : 37132 (fscip) R 37121 37124 35128 0 -1 4194368 4754540 0 0 0 352116 1133 0 0 20 0 3 0 5595291 4744142848 968843 134679101440 4194304 16623229 140736540653136 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 30773248 140736540656660 140736540656776 140736540656776 140736540663792 0
[pid=37124/tid=37133] ppid=37121 vsize=4632952 memory=7583010221921967636 CPUtime=0.03 cores=1,3
/proc/37124/task/37133/stat : 37133 (fscip) S 37121 37124 35128 0 -1 1077936192 329 0 0 0 1 2 0 0 20 0 3 0 5595368 4744142848 968843 134679101440 4194304 16623229 140736540653136 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 30773248 140736540656660 140736540656776 140736540656776 140736540663792 0
Current children cumulated CPU time: 3571.1 s
Current children cumulated vsize: 4632952 KiB
Current children cumulated memory: 3875372 KiB
[startup+3590.4 s]
/proc/loadavg: 2.13 2.68 2.99 3/245 39142
/proc/meminfo: memFree=123685548/131524600 swapFree=131071996/131071996
[pid=37124] ppid=37121 vsize=4632952 memory=3875636 CPUtime=3577.48 cores=1,3
/proc/37124/stat : 37124 (fscip) S 37121 37124 35128 0 -1 1077936128 4948331 0 0 0 356567 1181 0 0 20 0 3 0 5591472 4744142848 968909 134679101440 4194304 16623229 140736540653136 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 30773248 140736540656660 140736540656776 140736540656776 140736540663792 0
/proc/37124/statm: 1158238 968909 3014 3035 0 1138696 0
[pid=37124/tid=37132] ppid=37121 vsize=4632952 memory=16096 CPUtime=3538.86 cores=1,3
/proc/37124/task/37132/stat : 37132 (fscip) R 37121 37124 35128 0 -1 4194368 4757211 0 0 0 352753 1133 0 0 20 0 3 0 5595291 4744142848 968909 134679101440 4194304 16623229 140736540653136 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 30773248 140736540656660 140736540656776 140736540656776 140736540663792 0
[pid=37124/tid=37133] ppid=37121 vsize=4632952 memory=2292 CPUtime=0.03 cores=1,3
/proc/37124/task/37133/stat : 37133 (fscip) S 37121 37124 35128 0 -1 1077936192 329 0 0 0 1 2 0 0 20 0 3 0 5595368 4744142848 968909 134679101440 4194304 16623229 140736540653136 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 30773248 140736540656660 140736540656776 140736540656776 140736540663792 0
Current children cumulated CPU time: 3577.48 s
Current children cumulated vsize: 4632952 KiB
Current children cumulated memory: 3875636 KiB
[startup+3593.6 s]
/proc/loadavg: 2.12 2.67 2.99 3/245 39142
/proc/meminfo: memFree=123680784/131524600 swapFree=131071996/131071996
[pid=37124] ppid=37121 vsize=4632952 memory=3880780 CPUtime=3580.66 cores=1,3
/proc/37124/stat : 37124 (fscip) S 37121 37124 35128 0 -1 1077936128 4952627 0 0 0 356885 1181 0 0 20 0 3 0 5591472 4744142848 970195 134679101440 4194304 16623229 140736540653136 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 30773248 140736540656660 140736540656776 140736540656776 140736540663792 0
/proc/37124/statm: 1158238 970195 3014 3035 0 1139053 0
[pid=37124/tid=37132] ppid=37121 vsize=4632952 memory=2200 CPUtime=3542.05 cores=1,3
/proc/37124/task/37132/stat : 37132 (fscip) R 37121 37124 35128 0 -1 4194368 4761507 0 0 0 353072 1133 0 0 20 0 3 0 5595291 4744142848 970195 134679101440 4194304 16623229 140736540653136 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 30773248 140736540656660 140736540656776 140736540656776 140736540663792 0
[pid=37124/tid=37133] ppid=37121 vsize=4632952 memory=3877856 CPUtime=0.03 cores=1,3
/proc/37124/task/37133/stat : 37133 (fscip) S 37121 37124 35128 0 -1 1077936192 329 0 0 0 1 2 0 0 20 0 3 0 5595368 4744142848 970195 134679101440 4194304 16623229 140736540653136 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 30773248 140736540656660 140736540656776 140736540656776 140736540663792 0
Current children cumulated CPU time: 3580.66 s
Current children cumulated vsize: 4632952 KiB
Current children cumulated memory: 3880780 KiB
[startup+3596.8 s]
/proc/loadavg: 2.12 2.67 2.99 3/245 39144
/proc/meminfo: memFree=123679384/131524600 swapFree=131071996/131071996
[pid=37124] ppid=37121 vsize=4632952 memory=3881784 CPUtime=3583.85 cores=1,3
/proc/37124/stat : 37124 (fscip) S 37121 37124 35128 0 -1 1077936128 4958145 0 0 0 357204 1181 0 0 20 0 3 0 5591472 4744142848 970446 134679101440 4194304 16623229 140736540653136 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 30773248 140736540656660 140736540656776 140736540656776 140736540663792 0
/proc/37124/statm: 1158238 970446 3014 3035 0 1139147 0
[pid=37124/tid=37132] ppid=37121 vsize=4632952 memory=3874628 CPUtime=3545.24 cores=1,3
/proc/37124/task/37132/stat : 37132 (fscip) R 37121 37124 35128 0 -1 4194368 4767024 0 0 0 353390 1134 0 0 20 0 3 0 5595291 4744142848 970446 134679101440 4194304 16623229 140736540653136 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 30773248 140736540656660 140736540656776 140736540656776 140736540663792 0
[pid=37124/tid=37133] ppid=37121 vsize=4632952 memory=11556 CPUtime=0.03 cores=1,3
/proc/37124/task/37133/stat : 37133 (fscip) S 37121 37124 35128 0 -1 1077936192 329 0 0 0 1 2 0 0 20 0 3 0 5595368 4744142848 970446 134679101440 4194304 16623229 140736540653136 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 30773248 140736540656660 140736540656776 140736540656776 140736540663792 0
Current children cumulated CPU time: 3583.85 s
Current children cumulated vsize: 4632952 KiB
Current children cumulated memory: 3881784 KiB
[startup+3598.4 s]
/proc/loadavg: 2.11 2.66 2.98 3/245 39144
/proc/meminfo: memFree=123678740/131524600 swapFree=131071996/131071996
[pid=37124] ppid=37121 vsize=4632952 memory=3882316 CPUtime=3585.45 cores=1,3
/proc/37124/stat : 37124 (fscip) S 37121 37124 35128 0 -1 1077936128 4976746 0 0 0 357362 1183 0 0 20 0 3 0 5591472 4744142848 970579 134679101440 4194304 16623229 140736540653136 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 30773248 140736540656660 140736540656776 140736540656776 140736540663792 0
/proc/37124/statm: 1158238 970579 3014 3035 0 1139147 0
[pid=37124/tid=37132] ppid=37121 vsize=4632952 memory=12916 CPUtime=3546.83 cores=1,3
/proc/37124/task/37132/stat : 37132 (fscip) R 37121 37124 35128 0 -1 4194368 4785622 0 0 0 353548 1135 0 0 20 0 3 0 5595291 4744142848 970579 134679101440 4194304 16623229 140736540653136 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 30773248 140736540656660 140736540656776 140736540656776 140736540663792 0
[pid=37124/tid=37133] ppid=37121 vsize=4632952 memory=3881832 CPUtime=0.03 cores=1,3
/proc/37124/task/37133/stat : 37133 (fscip) S 37121 37124 35128 0 -1 1077936192 329 0 0 0 1 2 0 0 20 0 3 0 5595368 4744142848 970579 134679101440 4194304 16623229 140736540653136 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 30773248 140736540656660 140736540656776 140736540656776 140736540663792 0
Current children cumulated CPU time: 3585.45 s
Current children cumulated vsize: 4632952 KiB
Current children cumulated memory: 3882316 KiB
[startup+3598.8 s]
/proc/loadavg: 2.11 2.66 2.98 3/245 39144
/proc/meminfo: memFree=123678740/131524600 swapFree=131071996/131071996
[pid=37124] ppid=37121 vsize=3269844 memory=2992456 CPUtime=3585.85 cores=1,3
/proc/37124/stat : 37124 (fscip) R 37121 37124 35128 0 -1 4194304 4983627 0 0 0 357399 1186 0 0 20 0 2 0 5591472 3348320256 748114 134679101440 4194304 16623229 140736540653136 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 30773248 140736540656660 140736540656776 140736540656776 140736540663792 0
/proc/37124/statm: 817461 748114 3014 3035 0 808631 0
[pid=37124/tid=37133] ppid=37121 vsize=3269844 memory=3881620 CPUtime=0.03 cores=1,3
/proc/37124/task/37133/stat : 37133 (fscip) S 37121 37124 35128 0 -1 1077936192 329 0 0 0 1 2 0 0 20 0 2 0 5595368 3348320256 748114 134679101440 4194304 16623229 140736540653136 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 30773248 140736540656660 140736540656776 140736540656776 140736540663792 0
Current children cumulated CPU time: 3585.85 s
Current children cumulated vsize: 3269844 KiB
Current children cumulated memory: 2992456 KiB
[startup+3599 s]*
/proc/loadavg: 2.11 2.66 2.98 3/244 39144
/proc/meminfo: memFree=124740764/131524600 swapFree=131071996/131071996
[pid=37124] ppid=37121 vsize=3084184 memory=2807300 CPUtime=3586.04 cores=1,3
/proc/37124/stat : 37124 (fscip) R 37121 37124 35128 0 -1 4194304 4989874 0 0 0 357418 1186 0 0 20 0 2 0 5591472 3158204416 701825 134679101440 4194304 16623229 140736540653136 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 30773248 140736540656660 140736540656776 140736540656776 140736540663792 0
/proc/37124/statm: 771046 701825 3014 3035 0 762216 0
[pid=37124/tid=37133] ppid=37121 vsize=3084184 memory=-7522536969177490808 CPUtime=0.03 cores=1,3
/proc/37124/task/37133/stat : 37133 (fscip) S 37121 37124 35128 0 -1 1077936192 329 0 0 0 1 2 0 0 20 0 2 0 5595368 3158204416 701825 134679101440 4194304 16623229 140736540653136 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 30773248 140736540656660 140736540656776 140736540656776 140736540663792 0
Current children cumulated CPU time: 3586.04 s
Current children cumulated vsize: 3084184 KiB
Current children cumulated memory: 2807300 KiB
Child status: 0
Real time (s): 3599.09
CPU time (s): 3586.14
CPU user time (s): 3574.23
CPU system time (s): 11.9129
CPU usage (%): 99.6402
Max. virtual memory (cumulated for all children) (KiB): 4632952
Max. memory (cumulated for all children) (KiB): 3882316
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3574.23
system time used= 11.9129
maximum resident set size= 3882316
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4995645
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= 6211
involuntary context switches= 4936
# summary of solver processes directly reported to runsolver:
# pid: 37124
# total CPU time (s): 3586.14
# total CPU user time (s): 3574.23
# total CPU system time (s): 11.9129
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.07864 second user time and 15.0431 second system time
The end
Begin job on nodeC032 at 2024-07-31 03:38:15
IDJOB=4465004
IDBENCH=143861
IDSOLVER=3093
FILE ID=nodeC032/4465004-1722389895
RUNJOBID= nodeC032-1722389405-35194
SLURM_JOB_ID= 8249861
Free space on /tmp= 889996 MiB
SOLVER NAME= FiberSCIP 2024-07-30
BENCH NAME= PB24/WBO/PARTIAL-LIN/wcsp/scens/normalized-scen06-24reduc_wcsp.wbo
COMMAND LINE= ./fscip settings/racing.prm BENCHNAME -qsol -t TIMEOUT -sth 1
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4465004-1722389895/watcher-4465004-1722389895 -o /tmp/evaluation-result-4465004-1722389895/solver-4465004-1722389895 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC032-1722389405-35194 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4465004-1722389895.wbo -qsol -t 3600 -sth 1
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= b6dc5c4972e391c215675692adb96c84
RANDOM SEED=648379336
nodeC032.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 : 3667.119
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.77
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 : 3671.925
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 : 7005.64
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.076
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.77
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 : 3665.682
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 : 7005.64
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 : 3667.166
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.77
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 : 3670.412
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 : 7005.64
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.092
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.77
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.263
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 : 7005.64
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 127687460 kB
MemAvailable: 127954632 kB
Buffers: 106748 kB
Cached: 996404 kB
SwapCached: 0 kB
Active: 281476 kB
Inactive: 3075204 kB
Active(anon): 1528 kB
Inactive(anon): 2273324 kB
Active(file): 279948 kB
Inactive(file): 801880 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 30072 kB
Writeback: 0 kB
AnonPages: 2253536 kB
Mapped: 125448 kB
Shmem: 21332 kB
KReclaimable: 50332 kB
Slab: 132092 kB
SReclaimable: 50332 kB
SUnreclaim: 81760 kB
KernelStack: 4128 kB
PageTables: 13608 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 1657188 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 10048 kB
HardwareCorrupted: 0 kB
AnonHugePages: 354304 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: 182996 kB
DirectMap2M: 7979008 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 890024 MiB
End job on nodeC032 at 2024-07-31 04:38:14