0.00/0.00 c The following solver is parallelized by UG version 1.0.0 [GitHash: cdb00f34-dirty]
0.00/0.00 c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.1.0] [GitHash: 32d2b99657]
0.00/0.00 c Copyright (c) 2002-2024 Zuse Institute Berlin (ZIB)
0.00/0.00 c External libraries:
0.00/0.00 c Soplex 7.1.0 Linear Programming Solver developed at Zuse Institute Berlin (soplex.zib.de) [GitHash: bdec2291]
0.00/0.00 c CppAD 20180000.0 Algorithmic Differentiation of C++ algorithms developed by B. Bell (github.com/coin-or/CppAD)
0.00/0.00 c AMPL/MP 690e9e7 AMPL .nl file reader library (github.com/ampl/mp)
0.00/0.00 c PaPILO 2.2.1 parallel presolve for integer and linear optimization (github.com/scipopt/papilo)
0.00/0.00 c Nauty 2.8.8 Computing Graph Automorphism Groups by Brendan D. McKay (users.cecs.anu.edu.au/~bdm/nauty)
0.00/0.00 c sassy 1.1 Symmetry preprocessor by Markus Anders (github.com/markusa4/sassy)
0.29/0.34 c Default LC presolving (default).
0.29/0.34 c ** Before presolving: virtualMemUsedAtLc = 355053500, getVmSize() = 231419904, SCIPgetMemUsed() = 190439829, SCIPgetMemTotal() = 198109461, SCIPgetMemExternEstim() = 156944039
0.29/0.34 c ** set memory limit for presolving in LC to 8.79599e+12 for SCIP **
37.89/38.10 c ** Estimated virtualMemUsedAtSolver = 496546677, getVmSize() = 696176640, SCIPgetMemUsed() = 405806529, SCIPgetMemTotal() = 587875977, SCIPgetMemExternEstim() = 156944039
37.89/38.10 c ** set memory limit for solvers to 4.39803e+12 for each SCIP **
37.89/38.10 c Original Problem :
37.89/38.10 c Problem name : instance-4426939-1720906005
37.89/38.10 c Variables : 57676 (57676 binary, 0 integer, 0 implicit integer, 0 continuous)
37.89/38.10 c Constraints : 112884
37.89/38.10 c Objective sense : minimize
37.89/38.10 c Presolved Problem :
37.89/38.10 c Variables : 114077 (57676 binary, 0 integer, 56401 implicit integer, 0 continuous)
37.89/38.10 c Constraints : 112884
37.89/38.10 c Constraints : Number
37.89/38.10 c knapsack : 1
37.89/38.10 c setppc : 81
37.89/38.10 c linear : 56401
37.89/38.10 c indicator : 56401
37.89/38.10 c ** Instance transfer method used: 0
38.28/38.49 c ** ParaScipInstance copy does not increase the number of variables. **
38.68/38.82 c LC is working with racing ramp-up and with rebuilding tree after racing.
38.68/38.82 c Nodes Active
38.68/38.82 c Time Nodes Left Solvers Best Integer Best Node Gap Best Node(S) Gap(S)
647.19/648.89 c 649 2 1 1 - 0.0000 -
656.56/658.22 c 658 4 3 1 - 0.0000 -
663.74/665.41 c 665 6 5 1 - 0.0000 -
677.09/678.87 c 679 8 7 1 - 0.0000 -
684.67/686.45 c 686 9 8 1 - 0.0000 -
691.65/693.49 c 693 11 10 1 - 0.0000 -
698.24/700.09 c 700 12 11 1 - 0.0000 -
708.70/710.59 c 711 14 13 1 - 0.0000 -
718.57/720.49 c 720 15 14 1 - 0.0000 -
724.75/726.62 c 727 17 16 1 - 0.0000 -
732.64/734.59 c 735 19 18 1 - 0.0000 -
738.82/740.76 c 741 20 19 1 - 0.0000 -
744.30/746.22 c 746 21 20 1 - 0.0000 -
749.58/751.58 c 752 23 22 1 - 0.0000 -
760.96/762.94 c 763 24 21 1 - 0.0000 -
767.63/769.63 c 770 26 23 1 - 0.0000 -
775.91/777.96 c 778 27 24 1 - 0.0000 -
782.49/784.53 c 785 28 25 1 - 0.0000 -
793.36/795.41 c 795 30 27 1 - 0.0000 -
802.94/805.01 c 805 32 29 1 - 0.0000 -
809.02/811.19 c 811 34 31 1 - 0.0000 -
815.29/817.43 c 817 36 33 1 - 0.0000 -
822.86/825.04 c 825 41 38 1 - 0.0000 -
830.14/832.33 c 832 50 47 1 - 0.0000 -
838.11/840.39 c 840 59 56 1 - 0.0000 -
844.79/847.01 c 847 72 69 1 - 0.0000 -
857.74/860.01 c 860 85 82 1 - 0.0000 -
863.02/865.39 c 865 98 95 1 - 0.0000 -
869.80/872.16 c 872 104 101 1 - 0.0000 -
884.15/886.55 c 887 111 108 1 - 0.0000 -
892.12/894.57 c 895 120 117 1 - 0.0000 -
898.71/901.11 c 901 127 124 1 - 0.0000 -
906.58/909.01 c 909 132 129 1 - 0.0000 -
915.64/918.13 c 918 143 138 1 - 0.0000 -
921.52/924.08 c 924 153 146 1 - 0.0000 -
930.78/933.35 c 933 164 157 1 - 0.0000 -
936.86/939.49 c 939 176 169 1 - 0.0000 -
943.64/946.21 c 946 179 172 1 - 0.0000 -
948.92/951.56 c 952 183 174 1 - 0.0000 -
965.06/967.71 c 968 191 182 1 - 0.0000 -
975.33/978.08 c 978 199 190 1 - 0.0000 -
982.10/984.83 c 985 204 195 1 - 0.0000 -
987.88/990.62 c 991 209 200 1 - 0.0000 -
992.97/995.70 c 996 218 207 1 - 0.0000 -
999.25/1002.07 c 1002 225 214 1 - 0.0000 -
1004.63/1007.40 c 1007 234 220 1 - 0.0000 -
1009.81/1012.62 c 1013 247 224 1 - 0.0000 -
1015.58/1018.47 c 1018 259 231 1 - 0.0000 -
1021.37/1024.26 c 1024 270 240 1 - 0.0000 -
1027.34/1030.21 c 1030 278 243 1 - 0.0000 -
1032.82/1035.78 c 1036 298 255 1 - 0.0000 -
1038.51/1041.44 c 1041 305 262 1 - 0.0000 -
1045.29/1048.24 c 1048 317 274 1 - 0.0000 -
1050.67/1053.62 c 1054 327 282 1 - 0.0000 -
1068.60/1071.66 c 1072 330 285 1 - 0.0000 -
1085.24/1088.32 c 1088 344 295 1 - 0.0000 -
1091.12/1094.24 c 1094 351 302 1 - 0.0000 -
1101.78/1104.92 c 1105 362 313 1 - 0.0000 -
1108.96/1112.18 c 1112 369 318 1 - 0.0000 -
1115.73/1118.96 c 1119 382 329 1 - 0.0000 -
1121.51/1124.75 c 1125 398 343 1 - 0.0000 -
1127.59/1130.82 c 1131 403 348 1 - 0.0000 -
1137.25/1140.58 c 1141 406 351 1 - 0.0000 -
1142.64/1145.92 c 1146 415 360 1 - 0.0000 -
1150.01/1153.34 c 1153 424 369 1 - 0.0000 -
1157.79/1161.17 c 1161 438 379 1 - 0.0000 -
1165.85/1169.22 c 1169 450 391 1 - 0.0000 -
1171.34/1174.71 c 1175 460 399 1 - 0.0000 -
1178.62/1182.04 c 1182 489 412 1 - 0.0000 -
1184.49/1187.96 c 1188 496 417 1 - 0.0000 -
1205.92/1209.45 c 1209 501 420 1 - 0.0000 -
1213.59/1217.12 c 1217 519 434 1 - 0.0000 -
1218.97/1222.59 c 1223 530 443 1 - 0.0000 -
1227.34/1230.93 c 1231 533 444 1 - 0.0000 -
1234.52/1238.12 c 1238 543 454 1 - 0.0000 -
1239.79/1243.44 c 1243 551 460 1 - 0.0000 -
1257.73/1261.43 c 1261 564 469 1 - 0.0000 -
1263.61/1267.32 c 1267 569 474 1 - 0.0000 -
1269.69/1273.40 c 1273 578 483 1 - 0.0000 -
1277.37/1281.13 c 1281 584 489 1 - 0.0000 -
1282.85/1286.61 c 1287 602 499 1 - 0.0000 -
1289.12/1292.92 c 1293 609 506 1 - 0.0000 -
1295.00/1298.83 c 1299 621 516 1 - 0.0000 -
1304.76/1308.64 c 1309 625 518 1 - 0.0000 -
1312.94/1316.84 c 1317 642 529 1 - 0.0000 -
1318.23/1322.11 c 1322 656 538 1 - 0.0000 -
1324.50/1328.44 c 1328 658 540 1 - 0.0000 -
1331.28/1335.21 c 1335 673 549 1 - 0.0000 -
1339.15/1343.12 c 1343 687 561 1 - 0.0000 -
1345.03/1349.06 c 1349 702 572 1 - 0.0000 -
1350.31/1354.34 c 1354 723 581 1 - 0.0000 -
1362.27/1366.34 c 1366 739 593 1 - 0.0000 -
1370.05/1374.16 c 1374 757 603 1 - 0.0000 -
1377.11/1381.23 c 1381 777 615 1 - 0.0000 -
1383.49/1387.62 c 1388 794 622 1 - 0.0000 -
1388.67/1392.86 c 1393 803 631 1 - 0.0000 -
1400.64/1404.89 c 1405 822 646 1 - 0.0000 -
1405.71/1410.00 c 1410 827 651 1 - 0.0000 -
1417.37/1421.64 c 1422 837 656 1 - 0.0000 -
1422.96/1427.20 c 1427 851 664 1 - 0.0000 -
1430.53/1434.88 c 1435 853 666 1 - 0.0000 -
1436.41/1440.74 c 1441 866 676 1 - 0.0000 -
1446.87/1451.25 c 1451 875 685 1 - 0.0000 -
1453.15/1457.50 c 1458 879 689 1 - 0.0000 -
1459.83/1464.23 c 1464 900 698 1 - 0.0000 -
1470.88/1475.30 c 1475 913 711 1 - 0.0000 -
1481.15/1485.68 c 1486 923 721 1 - 0.0000 -
1486.73/1491.24 c 1491 938 730 1 - 0.0000 -
1493.41/1497.92 c 1498 951 739 1 - 0.0000 -
1498.50/1503.04 c 1503 963 747 1 - 0.0000 -
1504.96/1509.58 c 1510 977 752 1 - 0.0000 -
1510.15/1514.72 c 1515 992 757 1 - 0.0000 -
1517.13/1521.72 c 1522 1009 768 1 - 0.0000 -
1522.71/1527.33 c 1527 1021 780 1 - 0.0000 -
1529.18/1533.84 c 1534 1033 790 1 - 0.0000 -
1540.45/1545.17 c 1545 1039 793 1 - 0.0000 -
1546.92/1551.69 c 1552 1049 803 1 - 0.0000 -
1554.59/1559.36 c 1559 1065 811 1 - 0.0000 -
1559.97/1564.72 c 1565 1076 820 1 - 0.0000 -
1567.05/1571.89 c 1572 1087 829 1 - 0.0000 -
1573.12/1577.98 c 1578 1090 832 1 - 0.0000 -
1580.00/1584.83 c 1585 1102 842 1 - 0.0000 -
1586.38/1591.26 c 1591 1110 850 1 - 0.0000 -
1592.35/1597.28 c 1597 1127 859 1 - 0.0000 -
1602.02/1606.92 c 1607 1140 864 1 - 0.0000 -
1608.40/1613.34 c 1613 1153 875 1 - 0.0000 -
1618.27/1623.26 c 1623 1166 888 1 - 0.0000 -
1849.46/1855.04 c 1855 1174 1 1 - 0.0000 -
1855.83/1861.45 c 1861 1179 6 1 - 0.0000 -
1868.79/1874.41 c 1874 1188 15 1 - 0.0000 -
1879.25/1884.92 c 1885 1193 20 1 - 0.0000 -
1887.63/1893.37 c 1893 1199 26 1 - 0.0000 -
1897.20/1902.95 c 1903 1205 32 1 - 0.0000 -
1902.48/1908.23 c 1908 1211 38 1 - 0.0000 -
1909.55/1915.30 c 1915 1219 42 1 - 0.0000 -
1914.73/1920.57 c 1921 1220 43 1 - 0.0000 -
1920.82/1926.61 c 1927 1227 50 1 - 0.0000 -
1932.18/1938.05 c 1938 1234 57 1 - 0.0000 -
1941.25/1947.18 c 1947 1241 64 1 - 0.0000 -
1955.89/1961.85 c 1962 1248 71 1 - 0.0000 -
1964.86/1970.81 c 1971 1254 77 1 - 0.0000 -
1975.43/1981.48 c 1981 1255 78 1 - 0.0000 -
1986.69/1992.71 c 1993 1262 85 1 - 0.0000 -
1991.98/1998.05 c 1998 1264 87 1 - 0.0000 -
1999.04/2005.15 c 2005 1278 91 1 - 0.0000 -
2004.92/2011.09 c 2011 1295 94 1 - 0.0000 -
2014.49/2020.69 c 2021 1297 96 1 - 0.0000 -
2019.87/2026.06 c 2026 1318 109 1 - 0.0000 -
2028.34/2034.57 c 2035 1323 110 1 - 0.0000 -
2034.82/2041.10 c 2041 1329 116 1 - 0.0000 -
2040.80/2047.01 c 2047 1356 129 1 - 0.0000 -
2047.67/2053.92 c 2054 1366 135 1 - 0.0000 -
2052.86/2059.17 c 2059 1370 139 1 - 0.0000 -
2060.22/2066.54 c 2067 1391 146 1 - 0.0000 -
2069.49/2075.85 c 2076 1403 152 1 - 0.0000 -
2076.78/2083.12 c 2083 1414 159 1 - 0.0000 -
2082.65/2089.06 c 2089 1421 166 1 - 0.0000 -
2096.60/2103.07 c 2103 1427 170 1 - 0.0000 -
2103.27/2109.76 c 2110 1437 176 1 - 0.0000 -
2108.46/2114.93 c 2115 1456 183 1 - 0.0000 -
2113.54/2120.02 c 2120 1476 191 1 - 0.0000 -
2118.72/2125.24 c 2125 1492 199 1 - 0.0000 -
2124.20/2130.78 c 2131 1507 210 1 - 0.0000 -
2130.18/2136.72 c 2137 1520 221 1 - 0.0000 -
2136.65/2143.26 c 2143 1538 233 1 - 0.0000 -
2142.94/2149.55 c 2150 1548 241 1 - 0.0000 -
2149.71/2156.34 c 2156 1560 245 1 - 0.0000 -
2155.29/2161.93 c 2162 1586 255 1 - 0.0000 -
2161.06/2167.72 c 2168 1605 262 1 - 0.0000 -
2166.05/2172.77 c 2173 1618 267 1 - 0.0000 -
2172.52/2179.29 c 2179 1629 275 1 - 0.0000 -
2181.20/2187.90 c 2188 1651 291 1 - 0.0000 -
2186.97/2193.75 c 2194 1666 302 1 - 0.0000 -
2194.36/2201.14 c 2201 1678 310 1 - 0.0000 -
2200.63/2207.44 c 2207 1694 321 1 - 0.0000 -
2205.61/2212.45 c 2212 1714 330 1 - 0.0000 -
2212.19/2219.05 c 2219 1730 341 1 - 0.0000 -
2217.27/2224.11 c 2224 1739 348 1 - 0.0000 -
2223.55/2230.48 c 2230 1758 365 1 - 0.0000 -
2228.92/2235.89 c 2236 1779 370 1 - 0.0000 -
2234.11/2241.06 c 2241 1794 378 1 - 0.0000 -
2239.49/2246.47 c 2246 1816 387 1 - 0.0000 -
2245.17/2252.19 c 2252 1834 393 1 - 0.0000 -
2253.64/2260.60 c 2261 1853 404 1 - 0.0000 -
2261.91/2268.90 c 2269 1860 411 1 - 0.0000 -
2267.40/2274.48 c 2274 1889 420 1 - 0.0000 -
2273.77/2280.86 c 2281 1901 432 1 - 0.0000 -
2279.55/2286.65 c 2287 1932 442 1 - 0.0000 -
2286.22/2293.30 c 2293 1934 444 1 - 0.0000 -
2291.21/2298.32 c 2298 1940 448 1 - 0.0000 -
2296.89/2304.07 c 2304 1956 462 1 - 0.0000 -
2302.37/2309.53 c 2310 1966 472 1 - 0.0000 -
2313.63/2320.82 c 2321 1987 485 1 - 0.0000 -
2319.31/2326.59 c 2327 2000 492 1 - 0.0000 -
2325.49/2332.75 c 2333 2020 500 1 - 0.0000 -
2332.06/2339.32 c 2339 2047 507 1 - 0.0000 -
2337.24/2344.53 c 2345 2059 517 1 - 0.0000 -
2343.42/2350.71 c 2351 2083 521 1 - 0.0000 -
2355.98/2363.32 c 2363 2088 522 1 - 0.0000 -
2361.86/2369.26 c 2369 2105 533 1 - 0.0000 -
2371.33/2378.78 c 2379 2114 539 1 - 0.0000 -
2377.30/2384.75 c 2385 2128 545 1 - 0.0000 -
2387.27/2394.78 c 2395 2138 551 1 - 0.0000 -
2400.13/2407.68 c 2408 2161 562 1 - 0.0000 -
2406.10/2413.69 c 2414 2181 570 1 - 0.0000 -
2412.49/2420.09 c 2420 2195 579 1 - 0.0000 -
2419.16/2426.72 c 2427 2206 588 1 - 0.0000 -
2424.64/2432.26 c 2432 2222 604 1 - 0.0000 -
2429.62/2437.27 c 2437 2236 608 1 - 0.0000 -
2435.20/2442.84 c 2443 2249 616 1 - 0.0000 -
2440.39/2448.06 c 2448 2256 621 1 - 0.0000 -
2445.86/2453.51 c 2454 2265 626 1 - 0.0000 -
2451.64/2459.36 c 2459 2280 629 1 - 0.0000 -
2457.62/2465.34 c 2465 2301 634 1 - 0.0000 -
2463.10/2470.85 c 2471 2316 639 1 - 0.0000 -
2471.97/2479.77 c 2480 2323 642 1 - 0.0000 -
2479.44/2487.28 c 2487 2343 650 1 - 0.0000 -
2484.43/2492.29 c 2492 2364 660 1 - 0.0000 -
2490.91/2498.70 c 2499 2372 665 1 - 0.0000 -
2496.99/2504.84 c 2505 2388 665 1 - 0.0000 -
2503.56/2511.47 c 2511 2394 671 1 - 0.0000 -
2510.24/2518.14 c 2518 2409 670 1 - 0.0000 -
2516.41/2524.37 c 2524 2414 675 1 - 0.0000 -
2521.89/2529.81 c 2530 2426 681 1 - 0.0000 -
2526.87/2534.87 c 2535 2452 693 1 - 0.0000 -
2532.55/2540.58 c 2541 2461 699 1 - 0.0000 -
2537.83/2545.88 c 2546 2465 703 1 - 0.0000 -
2543.13/2551.14 c 2551 2488 710 1 - 0.0000 -
2549.00/2557.02 c 2557 2508 719 1 - 0.0000 -
2554.78/2562.83 c 2563 2517 722 1 - 0.0000 -
2559.96/2568.06 c 2568 2536 721 1 - 0.0000 -
2565.84/2573.99 c 2574 2558 729 1 - 0.0000 -
2575.71/2583.86 c 2584 2571 735 1 - 0.0000 -
2581.19/2589.37 c 2589 2599 741 1 - 0.0000 -
2586.48/2594.62 c 2595 2609 747 1 - 0.0000 -
2592.56/2600.77 c 2601 2618 754 1 - 0.0000 -
2598.04/2606.25 c 2606 2634 761 1 - 0.0000 -
2605.13/2613.31 c 2613 2635 762 1 - 0.0000 -
2611.01/2619.24 c 2619 2644 768 1 - 0.0000 -
2619.28/2627.55 c 2628 2658 775 1 - 0.0000 -
2624.37/2632.63 c 2633 2668 780 1 - 0.0000 -
2632.74/2641.08 c 2641 2669 781 1 - 0.0000 -
2640.21/2648.57 c 2649 2697 788 1 - 0.0000 -
2645.80/2654.14 c 2654 2716 798 1 - 0.0000 -
2651.58/2659.97 c 2660 2727 805 1 - 0.0000 -
2657.77/2666.12 c 2666 2756 817 1 - 0.0000 -
2664.65/2673.08 c 2673 2775 827 1 - 0.0000 -
2670.83/2679.26 c 2679 2798 833 1 - 0.0000 -
2676.50/2684.93 c 2685 2812 844 1 - 0.0000 -
2682.29/2690.75 c 2691 2819 849 1 - 0.0000 -
2688.17/2696.68 c 2697 2835 856 1 - 0.0000 -
2693.76/2702.22 c 2702 2861 876 1 - 0.0000 -
2700.44/2708.96 c 2709 2885 888 1 - 0.0000 -
2705.92/2714.42 c 2714 2912 893 1 - 0.0000 -
2712.99/2721.59 c 2722 2932 903 1 - 0.0000 -
2718.08/2726.64 c 2727 2958 911 1 - 0.0000 -
2723.77/2732.30 c 2732 2974 913 1 - 0.0000 -
2729.45/2738.09 c 2738 2984 919 1 - 0.0000 -
2735.13/2743.74 c 2744 3007 935 1 - 0.0000 -
2741.71/2750.39 c 2750 3022 938 1 - 0.0000 -
2747.60/2756.22 c 2756 3033 943 1 - 0.0000 -
2752.98/2761.63 c 2762 3044 944 1 - 0.0000 -
2760.05/2768.70 c 2769 3057 951 1 - 0.0000 -
2765.14/2773.85 c 2774 3077 961 1 - 0.0000 -
2770.12/2778.87 c 2779 3090 968 1 - 0.0000 -
2775.31/2784.09 c 2784 3106 982 1 - 0.0000 -
2784.39/2793.11 c 2793 3127 995 1 - 0.0000 -
2789.57/2798.32 c 2798 3143 1001 1 - 0.0000 -
2795.05/2803.89 c 2804 3156 1006 1 - 0.0000 -
2800.24/2809.09 c 2809 3171 1009 1 - 0.0000 -
2805.52/2814.31 c 2814 3187 1018 1 - 0.0000 -
2810.60/2819.49 c 2819 3200 1027 1 - 0.0000 -
2817.88/2826.77 c 2827 3223 1042 1 - 0.0000 -
2823.56/2832.41 c 2832 3239 1050 1 - 0.0000 -
2830.94/2839.88 c 2840 3253 1055 1 - 0.0000 -
2836.03/2844.94 c 2845 3267 1061 1 - 0.0000 -
2841.22/2850.15 c 2850 3278 1072 1 - 0.0000 -
2846.59/2855.56 c 2856 3297 1088 1 - 0.0000 -
2851.68/2860.65 c 2861 3310 1092 1 - 0.0000 -
2859.65/2868.60 c 2869 3315 1097 1 - 0.0000 -
2869.33/2878.37 c 2878 3326 1101 1 - 0.0000 -
2874.51/2883.56 c 2884 3339 1108 1 - 0.0000 -
2880.50/2889.54 c 2890 3358 1114 1 - 0.0000 -
2888.76/2897.80 c 2898 3366 1120 1 - 0.0000 -
2894.45/2903.54 c 2904 3384 1130 1 - 0.0000 -
2905.52/2914.63 c 2915 3407 1144 1 - 0.0000 -
2911.20/2920.33 c 2920 3428 1147 1 - 0.0000 -
2917.99/2927.14 c 2927 3436 1151 1 - 0.0000 -
2923.16/2932.33 c 2932 3448 1153 1 - 0.0000 -
2929.95/2939.18 c 2939 3456 1157 1 - 0.0000 -
2937.62/2946.81 c 2947 3470 1161 1 - 0.0000 -
2949.48/2958.71 c 2959 3485 1165 1 - 0.0000 -
2955.27/2964.51 c 2965 3516 1174 1 - 0.0000 -
2965.24/2974.59 c 2975 3522 1177 1 - 0.0000 -
2974.22/2983.58 c 2984 3528 1179 1 - 0.0000 -
2985.69/2995.05 c 2995 3541 1182 1 - 0.0000 -
2996.54/3005.99 c 3006 3549 1186 1 - 0.0000 -
3001.64/3011.08 c 3011 3565 1190 1 - 0.0000 -
3008.11/3017.53 c 3018 3576 1195 1 - 0.0000 -
3013.70/3023.13 c 3023 3589 1200 1 - 0.0000 -
3020.07/3029.58 c 3030 3599 1203 1 - 0.0000 -
3025.86/3035.31 c 3035 3617 1209 1 - 0.0000 -
3031.04/3040.50 c 3041 3630 1212 1 - 0.0000 -
3036.43/3045.93 c 3046 3637 1215 1 - 0.0000 -
3041.71/3051.26 c 3051 3649 1223 1 - 0.0000 -
3046.79/3056.31 c 3056 3673 1241 1 - 0.0000 -
3054.98/3064.53 c 3065 3682 1247 1 - 0.0000 -
3060.76/3070.33 c 3070 3703 1256 1 - 0.0000 -
3066.14/3075.75 c 3076 3708 1261 1 - 0.0000 -
3076.41/3086.06 c 3086 3716 1263 1 - 0.0000 -
3082.59/3092.24 c 3092 3740 1274 1 - 0.0000 -
3087.76/3097.49 c 3097 3755 1283 1 - 0.0000 -
3094.15/3103.86 c 3104 3764 1287 1 - 0.0000 -
3099.93/3109.64 c 3110 3782 1289 1 - 0.0000 -
3107.31/3117.07 c 3117 3798 1297 1 - 0.0000 -
3113.19/3122.92 c 3123 3809 1300 1 - 0.0000 -
3118.87/3128.62 c 3129 3819 1302 1 - 0.0000 -
3124.45/3134.29 c 3134 3832 1305 1 - 0.0000 -
3131.34/3141.18 c 3141 3852 1303 1 - 0.0000 -
3136.81/3146.67 c 3147 3865 1308 1 - 0.0000 -
3142.40/3152.24 c 3152 3883 1318 1 - 0.0000 -
3147.79/3157.61 c 3158 3905 1332 1 - 0.0000 -
3153.57/3163.45 c 3163 3917 1340 1 - 0.0000 -
3159.65/3169.53 c 3170 3924 1347 1 - 0.0000 -
3165.64/3175.57 c 3176 3935 1350 1 - 0.0000 -
3171.42/3181.35 c 3181 3947 1352 1 - 0.0000 -
3177.61/3187.57 c 3188 3958 1359 1 - 0.0000 -
3183.68/3193.62 c 3194 3970 1365 1 - 0.0000 -
3191.17/3201.14 c 3201 3985 1368 1 - 0.0000 -
3197.34/3207.31 c 3207 3999 1374 1 - 0.0000 -
3204.91/3214.90 c 3215 4007 1382 1 - 0.0000 -
3210.60/3220.64 c 3221 4017 1392 1 - 0.0000 -
3216.48/3226.57 c 3227 4039 1404 1 - 0.0000 -
3223.16/3233.25 c 3233 4044 1409 1 - 0.0000 -
3229.75/3239.84 c 3240 4064 1411 1 - 0.0000 -
3239.51/3249.67 c 3250 4070 1417 1 - 0.0000 -
3245.50/3255.65 c 3256 4084 1429 1 - 0.0000 -
3251.48/3261.60 c 3262 4101 1442 1 - 0.0000 -
3260.35/3270.58 c 3271 4106 1445 1 - 0.0000 -
3266.73/3276.90 c 3277 4126 1451 1 - 0.0000 -
3273.11/3283.32 c 3283 4141 1454 1 - 0.0000 -
3282.59/3292.88 c 3293 4143 1456 1 - 0.0000 -
3292.05/3302.37 c 3302 4154 1459 1 - 0.0000 -
3298.24/3308.52 c 3309 4163 1462 1 - 0.0000 -
3303.22/3313.56 c 3314 4171 1466 1 - 0.0000 -
3308.90/3319.23 c 3319 4187 1470 1 - 0.0000 -
3314.18/3324.50 c 3324 4193 1470 1 - 0.0000 -
3319.68/3330.03 c 3330 4202 1473 1 - 0.0000 -
3325.76/3336.18 c 3336 4212 1479 1 - 0.0000 -
3331.54/3341.99 c 3342 4232 1483 1 - 0.0000 -
3338.42/3348.80 c 3349 4242 1487 1 - 0.0000 -
3343.60/3354.01 c 3354 4259 1490 1 - 0.0000 -
3349.28/3359.77 c 3360 4267 1490 1 - 0.0000 -
3354.57/3365.07 c 3365 4276 1495 1 - 0.0000 -
3360.15/3370.68 c 3371 4283 1498 1 - 0.0000 -
3366.83/3377.36 c 3377 4302 1499 1 - 0.0000 -
3373.50/3384.04 c 3384 4314 1503 1 - 0.0000 -
3379.18/3389.70 c 3390 4328 1505 1 - 0.0000 -
3384.26/3394.80 c 3395 4343 1510 1 - 0.0000 -
3389.35/3399.92 c 3400 4353 1512 1 - 0.0000 -
3394.82/3405.40 c 3405 4370 1519 1 - 0.0000 -
3400.60/3411.26 c 3411 4381 1518 1 - 0.0000 -
3408.47/3419.20 c 3419 4401 1524 1 - 0.0000 -
3414.45/3425.11 c 3425 4425 1528 1 - 0.0000 -
3420.33/3431.01 c 3431 4430 1531 1 - 0.0000 -
3425.50/3436.26 c 3436 4445 1534 1 - 0.0000 -
3431.18/3441.94 c 3442 4454 1537 1 - 0.0000 -
3436.26/3447.04 c 3447 4467 1540 1 - 0.0000 -
3443.43/3454.26 c 3454 4484 1545 1 - 0.0000 -
3448.72/3459.52 c 3460 4497 1548 1 - 0.0000 -
3453.89/3464.78 c 3465 4501 1550 1 - 0.0000 -
3459.57/3470.40 c 3470 4519 1556 1 - 0.0000 -
3464.85/3475.73 c 3476 4533 1562 1 - 0.0000 -
3471.32/3482.26 c 3482 4547 1576 1 - 0.0000 -
3476.42/3487.31 c 3487 4567 1584 1 - 0.0000 -
3481.79/3492.70 c 3493 4582 1593 1 - 0.0000 -
3489.37/3500.34 c 3500 4599 1602 1 - 0.0000 -
3494.86/3505.81 c 3506 4617 1609 1 - 0.0000 -
3500.63/3511.63 c 3512 4629 1615 1 - 0.0000 -
3506.12/3517.11 c 3517 4642 1622 1 - 0.0000 -
3511.20/3522.21 c 3522 4652 1632 1 - 0.0000 -
3517.58/3528.63 c 3529 4668 1643 1 - 0.0000 -
3523.56/3534.66 c 3535 4686 1645 1 - 0.0000 -
3529.34/3540.42 c 3540 4699 1646 1 - 0.0000 -
3534.32/3545.48 c 3545 4708 1651 1 - 0.0000 -
3539.91/3551.07 c 3551 4718 1653 1 - 0.0000 -
3545.49/3556.64 c 3557 4735 1656 1 - 0.0000 -
3556.36/3567.52 c 3568 4743 1660 1 - 0.0000 -
3562.43/3573.68 c 3574 4764 1663 1 - 0.0000 -
3570.82/3582.07 c 3582 4765 1664 1 - 0.0000 -
3577.09/3588.32 c 3588 4778 1665 1 - 0.0000 -
3583.57/3594.89 c 3595 4790 1669 1 - 0.0000 -
3588.75/3600.03 c 3600 4796 1673 0 - 0.0000 -
3589.55/3600.84 c SCIP Status : c solving was interrupted [hard time limit reached]
3589.55/3600.84 c Total Time : 3600.8400
3589.55/3600.84 c solving : 3600.8400
3589.55/3600.84 c presolving : 37.7507 (included in solving)
3589.55/3600.84 c B&B Tree :
3589.55/3600.84 c nodes (total) : 1
3589.55/3600.84 c Solution :
3589.55/3600.84 c Solutions found : 0
3589.55/3600.84 c Primal Bound : -
3589.55/3600.84 c Dual Bound : +0.00000000000000e+00
3589.55/3600.84 c Gap : -
3589.94/3601.20 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 (62932 MiB free)
memory of node 1: 64473 MiB (60069 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4426939-1720906005/watcher-4426939-1720906005 -o /tmp/evaluation-result-4426939-1720906005/solver-4426939-1720906005 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC028-1720905559-723486 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4426939-1720906005.wbo -qsol -t 3600 -sth 1
running on 2 cores: 4,6
CPU governors:
performance: 4 6
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=724404, runsolver pid=724401
[startup+0.100733 s]*
/proc/loadavg: 4.27 4.00 3.91 5/259 724405
/proc/meminfo: memFree=125901072/131524600 swapFree=131071996/131071996
[pid=724404] ppid=724401 vsize=74648 memory=62944 CPUtime=0.09 cores=4,6
/proc/724404/stat : 724404 (fscip) R 724401 724404 721169 0 -1 4194304 13643 0 0 0 7 2 0 0 20 0 1 0 142767586 76439552 15736 134679101440 4194304 16613245 140725715256544 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18822208 18930672 45105152 140725715260385 140725715260501 140725715260501 140725715267568 0
/proc/724404/statm: 18662 15736 2318 3032 0 15062 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 74648 KiB
Current children cumulated memory: 62944 KiB
[startup+0.205592 s]*
/proc/loadavg: 4.27 4.00 3.91 5/259 724405
/proc/meminfo: memFree=125842492/131524600 swapFree=131071996/131071996
[pid=724404] ppid=724401 vsize=139116 memory=127208 CPUtime=0.19 cores=4,6
/proc/724404/stat : 724404 (fscip) R 724401 724404 721169 0 -1 4194304 29956 0 0 0 15 4 0 0 20 0 1 0 142767586 142454784 31802 134679101440 4194304 16613245 140725715256544 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18822208 18930672 45105152 140725715260385 140725715260501 140725715260501 140725715267568 0
/proc/724404/statm: 34779 31802 2558 3032 0 31179 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 139116 KiB
Current children cumulated memory: 127208 KiB
[startup+0.305661 s]*
/proc/loadavg: 4.27 4.00 3.91 5/259 724405
/proc/meminfo: memFree=125768096/131524600 swapFree=131071996/131071996
[pid=724404] ppid=724401 vsize=210104 memory=198168 CPUtime=0.29 cores=4,6
/proc/724404/stat : 724404 (fscip) R 724401 724404 721169 0 -1 4194304 47686 0 0 0 23 6 0 0 20 0 1 0 142767586 215146496 49542 134679101440 4194304 16613245 140725715256544 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18822208 18930672 45105152 140725715260385 140725715260501 140725715260501 140725715267568 0
/proc/724404/statm: 52526 49542 2558 3032 0 48926 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 210104 KiB
Current children cumulated memory: 198168 KiB
[startup+0.70024 s]
/proc/loadavg: 4.27 4.00 3.91 5/259 724405
/proc/meminfo: memFree=125671852/131524600 swapFree=131071996/131071996
[pid=724404] ppid=724401 vsize=399452 memory=385584 CPUtime=0.69 cores=4,6
/proc/724404/stat : 724404 (fscip) R 724401 724404 721169 0 -1 4194304 94499 0 0 0 58 11 0 0 20 0 1 0 142767586 409038848 96396 134679101440 4194304 16613245 140725715256544 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18822208 18930672 45105152 140725715260385 140725715260501 140725715260501 140725715267568 0
/proc/724404/statm: 99863 96396 2590 3032 0 96263 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 399452 KiB
Current children cumulated memory: 385584 KiB
[startup+1.50024 s]
/proc/loadavg: 4.27 4.00 3.91 5/259 724405
/proc/meminfo: memFree=125525076/131524600 swapFree=131071996/131071996
[pid=724404] ppid=724401 vsize=483832 memory=459956 CPUtime=1.49 cores=4,6
/proc/724404/stat : 724404 (fscip) R 724401 724404 721169 0 -1 4194304 115697 0 0 0 135 14 0 0 20 0 1 0 142767586 495443968 114989 134679101440 4194304 16613245 140725715256544 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18822208 18930672 45105152 140725715260385 140725715260501 140725715260501 140725715267568 0
/proc/724404/statm: 120958 114989 2654 3032 0 117358 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 483832 KiB
Current children cumulated memory: 459956 KiB
[startup+3.10547 s]
/proc/loadavg: 4.27 4.00 3.91 5/259 724405
/proc/meminfo: memFree=125495956/131524600 swapFree=131071996/131071996
[pid=724404] ppid=724401 vsize=491020 memory=467076 CPUtime=3.08 cores=4,6
/proc/724404/stat : 724404 (fscip) R 724401 724404 721169 0 -1 4194304 117496 0 0 0 294 14 0 0 20 0 1 0 142767586 502804480 116769 134679101440 4194304 16613245 140725715256544 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18822208 18930672 45105152 140725715260385 140725715260501 140725715260501 140725715267568 0
/proc/724404/statm: 122755 116769 2654 3032 0 119155 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 491020 KiB
Current children cumulated memory: 467076 KiB
[startup+6.30023 s]
/proc/loadavg: 4.25 4.00 3.91 5/259 724406
/proc/meminfo: memFree=125495860/131524600 swapFree=131071996/131071996
[pid=724404] ppid=724401 vsize=491020 memory=467076 CPUtime=6.27 cores=4,6
/proc/724404/stat : 724404 (fscip) R 724401 724404 721169 0 -1 4194304 117496 0 0 0 612 15 0 0 20 0 1 0 142767586 502804480 116769 134679101440 4194304 16613245 140725715256544 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18822208 18930672 45105152 140725715260385 140725715260501 140725715260501 140725715267568 0
/proc/724404/statm: 122755 116769 2654 3032 0 119155 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 491020 KiB
Current children cumulated memory: 467076 KiB
[startup+12.7002 s]
/proc/loadavg: 4.31 4.02 3.92 5/259 724406
/proc/meminfo: memFree=125493436/131524600 swapFree=131071996/131071996
[pid=724404] ppid=724401 vsize=491020 memory=467076 CPUtime=12.65 cores=4,6
/proc/724404/stat : 724404 (fscip) R 724401 724404 721169 0 -1 4194304 117496 0 0 0 1249 16 0 0 20 0 1 0 142767586 502804480 116769 134679101440 4194304 16613245 140725715256544 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18822208 18930672 45105152 140725715260385 140725715260501 140725715260501 140725715267568 0
/proc/724404/statm: 122755 116769 2654 3032 0 119155 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 491020 KiB
Current children cumulated memory: 467076 KiB
[startup+25.5003 s]
/proc/loadavg: 4.24 4.02 3.92 5/259 724410
/proc/meminfo: memFree=125484816/131524600 swapFree=131071996/131071996
[pid=724404] ppid=724401 vsize=499000 memory=474788 CPUtime=25.42 cores=4,6
/proc/724404/stat : 724404 (fscip) R 724401 724404 721169 0 -1 4194304 119513 0 0 0 2523 19 0 0 20 0 1 0 142767586 510976000 118697 134679101440 4194304 16613245 140725715256544 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18822208 18930672 45105152 140725715260385 140725715260501 140725715260501 140725715267568 0
/proc/724404/statm: 124750 118697 2654 3032 0 121150 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 499000 KiB
Current children cumulated memory: 474788 KiB
[startup+51.1057 s]
/proc/loadavg: 4.16 4.01 3.92 5/261 724415
/proc/meminfo: memFree=124741132/131524600 swapFree=131071996/131071996
[pid=724404] ppid=724401 vsize=1362600 memory=1208400 CPUtime=50.95 cores=4,6
/proc/724404/stat : 724404 (fscip) S 724401 724404 721169 0 -1 1077936128 391855 0 0 0 5037 58 0 0 20 0 3 0 142767586 1395302400 302100 134679101440 4194304 16613245 140725715256544 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18822208 18930672 45105152 140725715260385 140725715260501 140725715260501 140725715267568 0
/proc/724404/statm: 340650 302100 2718 3032 0 324868 0
[pid=724404/tid=724413] ppid=724401 vsize=1362600 memory=97 CPUtime=12.56 cores=4,6
/proc/724404/task/724413/stat : 724413 (fscip) R 724401 724404 721169 0 -1 4194368 202675 0 0 0 1233 23 0 0 20 0 3 0 142771396 1395302400 302100 134679101440 4194304 16613245 140725715256544 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 45105152 140725715260385 140725715260501 140725715260501 140725715267568 0
[pid=724404/tid=724414] ppid=724401 vsize=1362600 memory=1208400 CPUtime=0 cores=4,6
/proc/724404/task/724414/stat : 724414 (fscip) S 724401 724404 721169 0 -1 1077936192 11 0 0 0 0 0 0 0 20 0 3 0 142771469 1395302400 302100 134679101440 4194304 16613245 140725715256544 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 45105152 140725715260385 140725715260501 140725715260501 140725715267568 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 1362600 KiB
Current children cumulated memory: 1208400 KiB
[startup+102.3 s]
/proc/loadavg: 4.18 4.04 3.94 5/263 724594
/proc/meminfo: memFree=124488824/131524600 swapFree=131071996/131071996
[pid=724404] ppid=724401 vsize=1624744 memory=1439464 CPUtime=102.01 cores=4,6
/proc/724404/stat : 724404 (fscip) S 724401 724404 721169 0 -1 1077936128 659056 0 0 0 10123 78 0 0 20 0 3 0 142767586 1663737856 359866 134679101440 4194304 16613245 140725715256544 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18822208 18930672 45105152 140725715260385 140725715260501 140725715260501 140725715267568 0
/proc/724404/statm: 406186 359866 2750 3032 0 384097 0
[pid=724404/tid=724413] ppid=724401 vsize=1624744 memory=11584 CPUtime=63.62 cores=4,6
/proc/724404/task/724413/stat : 724413 (fscip) R 724401 724404 721169 0 -1 4194368 469853 0 0 0 6319 43 0 0 20 0 3 0 142771396 1663737856 359866 134679101440 4194304 16613245 140725715256544 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 45105152 140725715260385 140725715260501 140725715260501 140725715267568 0
[pid=724404/tid=724414] ppid=724401 vsize=1624744 memory=1439464 CPUtime=0 cores=4,6
/proc/724404/task/724414/stat : 724414 (fscip) S 724401 724404 721169 0 -1 1077936192 34 0 0 0 0 0 0 0 20 0 3 0 142771469 1663737856 359866 134679101440 4194304 16613245 140725715256544 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 45105152 140725715260385 140725715260501 140725715260501 140725715267568 0
Current children cumulated CPU time: 102.01 s
Current children cumulated vsize: 1624744 KiB
Current children cumulated memory: 1439464 KiB
[startup+162.3 s]
/proc/loadavg: 4.13 4.05 3.95 5/263 724604
/proc/meminfo: memFree=124466388/131524600 swapFree=131071996/131071996
[pid=724404] ppid=724401 vsize=1624744 memory=1442472 CPUtime=161.86 cores=4,6
/proc/724404/stat : 724404 (fscip) S 724401 724404 721169 0 -1 1077936128 703907 0 0 0 16102 84 0 0 20 0 3 0 142767586 1663737856 360618 134679101440 4194304 16613245 140725715256544 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18822208 18930672 45105152 140725715260385 140725715260501 140725715260501 140725715267568 0
/proc/724404/statm: 406186 360618 2750 3032 0 384817 0
[pid=724404/tid=724413] ppid=724401 vsize=1624744 memory=1442472 CPUtime=123.47 cores=4,6
/proc/724404/task/724413/stat : 724413 (fscip) R 724401 724404 721169 0 -1 4194368 514690 0 0 0 12298 49 0 0 20 0 3 0 142771396 1663737856 360618 134679101440 4194304 16613245 140725715256544 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 45105152 140725715260385 140725715260501 140725715260501 140725715267568 0
[pid=724404/tid=724414] ppid=724401 vsize=1624744 memory=12384 CPUtime=0 cores=4,6
/proc/724404/task/724414/stat : 724414 (fscip) S 724401 724404 721169 0 -1 1077936192 48 0 0 0 0 0 0 0 20 0 3 0 142771469 1663737856 360618 134679101440 4194304 16613245 140725715256544 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 45105152 140725715260385 140725715260501 140725715260501 140725715267568 0
Current children cumulated CPU time: 161.86 s
Current children cumulated vsize: 1624744 KiB
Current children cumulated memory: 1442472 KiB
[startup+222.3 s]
/proc/loadavg: 4.09 4.05 3.96 5/264 724672
/proc/meminfo: memFree=124419060/131524600 swapFree=131071996/131071996
[pid=724404] ppid=724401 vsize=1624744 memory=1447592 CPUtime=221.72 cores=4,6
/proc/724404/stat : 724404 (fscip) S 724401 724404 721169 0 -1 1077936128 749366 0 0 0 22082 90 0 0 20 0 3 0 142767586 1663737856 361898 134679101440 4194304 16613245 140725715256544 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18822208 18930672 45105152 140725715260385 140725715260501 140725715260501 140725715267568 0
/proc/724404/statm: 406186 361898 2750 3032 0 386097 0
[pid=724404/tid=724413] ppid=724401 vsize=1624744 memory=1445416 CPUtime=183.32 cores=4,6
/proc/724404/task/724413/stat : 724413 (fscip) R 724401 724404 721169 0 -1 4194368 560142 0 0 0 18278 54 0 0 20 0 3 0 142771396 1663737856 361898 134679101440 4194304 16613245 140725715256544 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 45105152 140725715260385 140725715260501 140725715260501 140725715267568 0
[pid=724404/tid=724414] ppid=724401 vsize=1624744 memory=1445992 CPUtime=0 cores=4,6
/proc/724404/task/724414/stat : 724414 (fscip) S 724401 724404 721169 0 -1 1077936192 55 0 0 0 0 0 0 0 20 0 3 0 142771469 1663737856 361898 134679101440 4194304 16613245 140725715256544 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 45105152 140725715260385 140725715260501 140725715260501 140725715267568 0
Current children cumulated CPU time: 221.72 s
Current children cumulated vsize: 1624744 KiB
Current children cumulated memory: 1447592 KiB
[startup+282.3 s]
/proc/loadavg: 4.13 4.07 3.98 5/263 724682
/proc/meminfo: memFree=124412728/131524600 swapFree=131071996/131071996
[pid=724404] ppid=724401 vsize=1624744 memory=1451112 CPUtime=281.56 cores=4,6
/proc/724404/stat : 724404 (fscip) S 724401 724404 721169 0 -1 1077936128 779387 0 0 0 28062 94 0 0 20 0 3 0 142767586 1663737856 362778 134679101440 4194304 16613245 140725715256544 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18822208 18930672 45105152 140725715260385 140725715260501 140725715260501 140725715267568 0
/proc/724404/statm: 406186 362778 2750 3032 0 386977 0
[pid=724404/tid=724413] ppid=724401 vsize=1624744 memory=11584 CPUtime=243.17 cores=4,6
/proc/724404/task/724413/stat : 724413 (fscip) R 724401 724404 721169 0 -1 4194368 590154 0 0 0 24258 59 0 0 20 0 3 0 142771396 1663737856 362778 134679101440 4194304 16613245 140725715256544 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 45105152 140725715260385 140725715260501 140725715260501 140725715267568 0
[pid=724404/tid=724414] ppid=724401 vsize=1624744 memory=1451112 CPUtime=0 cores=4,6
/proc/724404/task/724414/stat : 724414 (fscip) S 724401 724404 721169 0 -1 1077936192 64 0 0 0 0 0 0 0 20 0 3 0 142771469 1663737856 362778 134679101440 4194304 16613245 140725715256544 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 45105152 140725715260385 140725715260501 140725715260501 140725715267568 0
Current children cumulated CPU time: 281.56 s
Current children cumulated vsize: 1624744 KiB
Current children cumulated memory: 1451112 KiB
[startup+342.3 s]
/proc/loadavg: 4.10 4.07 3.99 5/263 724692
/proc/meminfo: memFree=124397936/131524600 swapFree=131071996/131071996
[pid=724404] ppid=724401 vsize=1624744 memory=1455864 CPUtime=341.41 cores=4,6
/proc/724404/stat : 724404 (fscip) S 724401 724404 721169 0 -1 1077936128 816299 0 0 0 34041 100 0 0 20 0 3 0 142767586 1663737856 363966 134679101440 4194304 16613245 140725715256544 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18822208 18930672 45105152 140725715260385 140725715260501 140725715260501 140725715267568 0
/proc/724404/statm: 406186 363966 2750 3032 0 388209 0
[pid=724404/tid=724413] ppid=724401 vsize=1624744 memory=11584 CPUtime=303.01 cores=4,6
################
# More data... #
################
/proc/loadavg: 4.12 4.14 4.15 5/263 726889
/proc/meminfo: memFree=117909556/131524600 swapFree=131071996/131071996
[pid=724404] ppid=724401 vsize=4587380 memory=3872724 CPUtime=3391.73 cores=4,6
/proc/724404/stat : 724404 (fscip) S 724401 724404 721169 0 -1 1077936128 9812517 0 0 0 337379 1794 0 0 20 0 3 0 142767586 4697477120 968181 134679101440 4194304 16613245 140725715256544 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 45105152 140725715260385 140725715260501 140725715260501 140725715267568 0
/proc/724404/statm: 1146845 968181 2990 3032 0 1124670 0
[pid=724404/tid=724413] ppid=724401 vsize=4587380 memory=3866872 CPUtime=3353.23 cores=4,6
/proc/724404/task/724413/stat : 724413 (fscip) R 724401 724404 721169 0 -1 4194368 9620320 0 0 0 333569 1754 0 0 20 0 3 0 142771396 4697477120 968181 134679101440 4194304 16613245 140725715256544 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 45105152 140725715260385 140725715260501 140725715260501 140725715267568 0
[pid=724404/tid=724414] ppid=724401 vsize=4587380 memory=3867788 CPUtime=0.04 cores=4,6
/proc/724404/task/724414/stat : 724414 (fscip) S 724401 724404 721169 0 -1 1077936192 320 0 0 0 1 3 0 0 20 0 3 0 142771469 4697477120 968181 134679101440 4194304 16613245 140725715256544 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 45105152 140725715260385 140725715260501 140725715260501 140725715267568 0
Current children cumulated CPU time: 3391.73 s
Current children cumulated vsize: 4587380 KiB
Current children cumulated memory: 3872724 KiB
[startup+3462.3 s]
/proc/loadavg: 3.53 3.96 4.09 4/259 727023
/proc/meminfo: memFree=117932912/131524600 swapFree=131071996/131071996
[pid=724404] ppid=724401 vsize=4587380 memory=3882708 CPUtime=3451.5 cores=4,6
/proc/724404/stat : 724404 (fscip) S 724401 724404 721169 0 -1 1077936128 9923802 0 0 0 343348 1802 0 0 20 0 3 0 142767586 4697477120 970677 134679101440 4194304 16613245 140725715256544 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 45105152 140725715260385 140725715260501 140725715260501 140725715267568 0
/proc/724404/statm: 1146845 970677 2990 3032 0 1127905 0
[pid=724404/tid=724413] ppid=724401 vsize=4587380 memory=12384 CPUtime=3412.99 cores=4,6
/proc/724404/task/724413/stat : 724413 (fscip) R 724401 724404 721169 0 -1 4194368 9731543 0 0 0 339538 1761 0 0 20 0 3 0 142771396 4697477120 970677 134679101440 4194304 16613245 140725715256544 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 45105152 140725715260385 140725715260501 140725715260501 140725715267568 0
[pid=724404/tid=724414] ppid=724401 vsize=4587380 memory=3879176 CPUtime=0.04 cores=4,6
/proc/724404/task/724414/stat : 724414 (fscip) S 724401 724404 721169 0 -1 1077936192 326 0 0 0 1 3 0 0 20 0 3 0 142771469 4697477120 970677 134679101440 4194304 16613245 140725715256544 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 45105152 140725715260385 140725715260501 140725715260501 140725715267568 0
Current children cumulated CPU time: 3451.5 s
Current children cumulated vsize: 4587380 KiB
Current children cumulated memory: 3882708 KiB
[startup+3522.3 s]
/proc/loadavg: 3.24 3.80 4.02 4/258 727417
/proc/meminfo: memFree=117899784/131524600 swapFree=131071996/131071996
[pid=724404] ppid=724401 vsize=4652916 memory=3910092 CPUtime=3511.3 cores=4,6
/proc/724404/stat : 724404 (fscip) S 724401 724404 721169 0 -1 1077936128 10075250 0 0 0 349288 1842 0 0 20 0 3 0 142767586 4764585984 977523 134679101440 4194304 16613245 140725715256544 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 45105152 140725715260385 140725715260501 140725715260501 140725715267568 0
/proc/724404/statm: 1163229 977523 2990 3032 0 1138667 0
[pid=724404/tid=724413] ppid=724401 vsize=4652916 memory=3881472 CPUtime=3472.79 cores=4,6
/proc/724404/task/724413/stat : 724413 (fscip) R 724401 724404 721169 0 -1 4194368 9882938 0 0 0 345478 1801 0 0 20 0 3 0 142771396 4764585984 977523 134679101440 4194304 16613245 140725715256544 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 45105152 140725715260385 140725715260501 140725715260501 140725715267568 0
[pid=724404/tid=724414] ppid=724401 vsize=4652916 memory=3899216 CPUtime=0.04 cores=4,6
/proc/724404/task/724414/stat : 724414 (fscip) S 724401 724404 721169 0 -1 1077936192 328 0 0 0 1 3 0 0 20 0 3 0 142771469 4764585984 977523 134679101440 4194304 16613245 140725715256544 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 45105152 140725715260385 140725715260501 140725715260501 140725715267568 0
Current children cumulated CPU time: 3511.3 s
Current children cumulated vsize: 4652916 KiB
Current children cumulated memory: 3910092 KiB
[startup+3582.3 s]
/proc/loadavg: 3.13 3.67 3.96 4/258 727427
/proc/meminfo: memFree=117877392/131524600 swapFree=131071996/131071996
[pid=724404] ppid=724401 vsize=4652916 memory=3929856 CPUtime=3571.11 cores=4,6
/proc/724404/stat : 724404 (fscip) S 724401 724404 721169 0 -1 1077936128 10200004 0 0 0 355260 1851 0 0 20 0 3 0 142767586 4764585984 982464 134679101440 4194304 16613245 140725715256544 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 45105152 140725715260385 140725715260501 140725715260501 140725715267568 0
/proc/724404/statm: 1163229 982464 2990 3032 0 1143738 0
[pid=724404/tid=724413] ppid=724401 vsize=4652916 memory=3928452 CPUtime=3532.59 cores=4,6
/proc/724404/task/724413/stat : 724413 (fscip) R 724401 724404 721169 0 -1 4194368 10007630 0 0 0 351449 1810 0 0 20 0 3 0 142771396 4764585984 982464 134679101440 4194304 16613245 140725715256544 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 45105152 140725715260385 140725715260501 140725715260501 140725715267568 0
[pid=724404/tid=724414] ppid=724401 vsize=4652916 memory=3929832 CPUtime=0.04 cores=4,6
/proc/724404/task/724414/stat : 724414 (fscip) S 724401 724404 721169 0 -1 1077936192 330 0 0 0 1 3 0 0 20 0 3 0 142771469 4764585984 982464 134679101440 4194304 16613245 140725715256544 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 45105152 140725715260385 140725715260501 140725715260501 140725715267568 0
Current children cumulated CPU time: 3571.11 s
Current children cumulated vsize: 4652916 KiB
Current children cumulated memory: 3929856 KiB
[startup+3601.28 s]
# the end of solver process 724404 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3571.28 s, system=18.7525 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 3.13 3.67 3.96 4/258 727428
/proc/meminfo: memFree=117877048/131524600 swapFree=131071996/131071996
[pid=724404] ppid=724401 vsize=4652916 memory=3929956 CPUtime=3572.81 cores=4,6
/proc/724404/stat : 724404 (fscip) S 724401 724404 721169 0 -1 1077936128 10201093 0 0 0 355430 1851 0 0 20 0 3 0 142767586 4764585984 982489 134679101440 4194304 16613245 140725715256544 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 45105152 140725715260385 140725715260501 140725715260501 140725715267568 0
/proc/724404/statm: 1163229 982489 2990 3032 0 1143738 0
[pid=724404/tid=724413] ppid=724401 vsize=4652916 memory=-6514006526534007653 CPUtime=3534.29 cores=4,6
/proc/724404/task/724413/stat : 724413 (fscip) R 724401 724404 721169 0 -1 4194368 10008719 0 0 0 351619 1810 0 0 20 0 3 0 142771396 4764585984 982489 134679101440 4194304 16613245 140725715256544 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 45105152 140725715260385 140725715260501 140725715260501 140725715267568 0
[pid=724404/tid=724414] ppid=724401 vsize=4652916 memory=-8693842196328857246 CPUtime=0.04 cores=4,6
/proc/724404/task/724414/stat : 724414 (fscip) S 724401 724404 721169 0 -1 1077936192 330 0 0 0 1 3 0 0 20 0 3 0 142771469 4764585984 982489 134679101440 4194304 16613245 140725715256544 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 45105152 140725715260385 140725715260501 140725715260501 140725715267568 0
Current children cumulated CPU time: 3572.81 s
Current children cumulated vsize: 4652916 KiB
Current children cumulated memory: 3929956 KiB
[startup+3590.4 s]
/proc/loadavg: 3.20 3.67 3.96 4/258 727430
/proc/meminfo: memFree=117876468/131524600 swapFree=131071996/131071996
[pid=724404] ppid=724401 vsize=4652916 memory=3930428 CPUtime=3579.18 cores=4,6
/proc/724404/stat : 724404 (fscip) S 724401 724404 721169 0 -1 1077936128 10208050 0 0 0 356066 1852 0 0 20 0 3 0 142767586 4764585984 982607 134679101440 4194304 16613245 140725715256544 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 45105152 140725715260385 140725715260501 140725715260501 140725715267568 0
/proc/724404/statm: 1163229 982607 2990 3032 0 1143738 0
[pid=724404/tid=724413] ppid=724401 vsize=4652916 memory=31976 CPUtime=3540.67 cores=4,6
/proc/724404/task/724413/stat : 724413 (fscip) R 724401 724404 721169 0 -1 4194368 10015670 0 0 0 352256 1811 0 0 20 0 3 0 142771396 4764585984 982607 134679101440 4194304 16613245 140725715256544 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 45105152 140725715260385 140725715260501 140725715260501 140725715267568 0
[pid=724404/tid=724414] ppid=724401 vsize=4652916 memory=11608 CPUtime=0.04 cores=4,6
/proc/724404/task/724414/stat : 724414 (fscip) S 724401 724404 721169 0 -1 1077936192 330 0 0 0 1 3 0 0 20 0 3 0 142771469 4764585984 982607 134679101440 4194304 16613245 140725715256544 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 45105152 140725715260385 140725715260501 140725715260501 140725715267568 0
Current children cumulated CPU time: 3579.18 s
Current children cumulated vsize: 4652916 KiB
Current children cumulated memory: 3930428 KiB
[startup+3596.8 s]
/proc/loadavg: 3.17 3.65 3.95 4/258 727431
/proc/meminfo: memFree=117876072/131524600 swapFree=131071996/131071996
[pid=724404] ppid=724401 vsize=4652916 memory=3930976 CPUtime=3585.56 cores=4,6
/proc/724404/stat : 724404 (fscip) S 724401 724404 721169 0 -1 1077936128 10219882 0 0 0 356704 1852 0 0 20 0 3 0 142767586 4764585984 982744 134679101440 4194304 16613245 140725715256544 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 45105152 140725715260385 140725715260501 140725715260501 140725715267568 0
/proc/724404/statm: 1163229 982744 2990 3032 0 1143738 0
[pid=724404/tid=724413] ppid=724401 vsize=4652916 memory=3928452 CPUtime=3547.04 cores=4,6
/proc/724404/task/724413/stat : 724413 (fscip) R 724401 724404 721169 0 -1 4194368 10027502 0 0 0 352893 1811 0 0 20 0 3 0 142771396 4764585984 982744 134679101440 4194304 16613245 140725715256544 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 45105152 140725715260385 140725715260501 140725715260501 140725715267568 0
[pid=724404/tid=724414] ppid=724401 vsize=4652916 memory=3929252 CPUtime=0.04 cores=4,6
/proc/724404/task/724414/stat : 724414 (fscip) S 724401 724404 721169 0 -1 1077936192 330 0 0 0 1 3 0 0 20 0 3 0 142771469 4764585984 982744 134679101440 4194304 16613245 140725715256544 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 45105152 140725715260385 140725715260501 140725715260501 140725715267568 0
Current children cumulated CPU time: 3585.56 s
Current children cumulated vsize: 4652916 KiB
Current children cumulated memory: 3930976 KiB
[startup+3598.4 s]
/proc/loadavg: 3.17 3.65 3.95 4/258 727431
/proc/meminfo: memFree=117875876/131524600 swapFree=131071996/131071996
[pid=724404] ppid=724401 vsize=4652916 memory=3930992 CPUtime=3587.16 cores=4,6
/proc/724404/stat : 724404 (fscip) S 724401 724404 721169 0 -1 1077936128 10234870 0 0 0 356863 1853 0 0 20 0 3 0 142767586 4764585984 982748 134679101440 4194304 16613245 140725715256544 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 45105152 140725715260385 140725715260501 140725715260501 140725715267568 0
/proc/724404/statm: 1163229 982748 2990 3032 0 1143738 0
[pid=724404/tid=724413] ppid=724401 vsize=4652916 memory=6720661030529416299 CPUtime=3548.64 cores=4,6
/proc/724404/task/724413/stat : 724413 (fscip) R 724401 724404 721169 0 -1 4194368 10042490 0 0 0 353052 1812 0 0 20 0 3 0 142771396 4764585984 982748 134679101440 4194304 16613245 140725715256544 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 45105152 140725715260385 140725715260501 140725715260501 140725715267568 0
[pid=724404/tid=724414] ppid=724401 vsize=4652916 memory=5504 CPUtime=0.04 cores=4,6
/proc/724404/task/724414/stat : 724414 (fscip) S 724401 724404 721169 0 -1 1077936192 330 0 0 0 1 3 0 0 20 0 3 0 142771469 4764585984 982748 134679101440 4194304 16613245 140725715256544 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 45105152 140725715260385 140725715260501 140725715260501 140725715267568 0
Current children cumulated CPU time: 3587.16 s
Current children cumulated vsize: 4652916 KiB
Current children cumulated memory: 3930992 KiB
[startup+3600 s]*
/proc/loadavg: 3.17 3.65 3.95 4/258 727431
/proc/meminfo: memFree=117875484/131524600 swapFree=131071996/131071996
[pid=724404] ppid=724401 vsize=4652916 memory=3931116 CPUtime=3588.75 cores=4,6
/proc/724404/stat : 724404 (fscip) S 724401 724404 721169 0 -1 1077936128 10240791 0 0 0 357022 1853 0 0 20 0 3 0 142767586 4764585984 982779 134679101440 4194304 16613245 140725715256544 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 45105152 140725715260385 140725715260501 140725715260501 140725715267568 0
/proc/724404/statm: 1163229 982779 2990 3032 0 1143738 0
[pid=724404/tid=724413] ppid=724401 vsize=4652916 memory=-6514006526534007653 CPUtime=3550.24 cores=4,6
/proc/724404/task/724413/stat : 724413 (fscip) R 724401 724404 721169 0 -1 4194368 10048411 0 0 0 353212 1812 0 0 20 0 3 0 142771396 4764585984 982779 134679101440 4194304 16613245 140725715256544 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 45105152 140725715260385 140725715260501 140725715260501 140725715267568 0
[pid=724404/tid=724414] ppid=724401 vsize=4652916 memory=-8693842196328857246 CPUtime=0.04 cores=4,6
/proc/724404/task/724414/stat : 724414 (fscip) S 724401 724404 721169 0 -1 1077936192 330 0 0 0 1 3 0 0 20 0 3 0 142771469 4764585984 982779 134679101440 4194304 16613245 140725715256544 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 45105152 140725715260385 140725715260501 140725715260501 140725715267568 0
Current children cumulated CPU time: 3588.75 s
Current children cumulated vsize: 4652916 KiB
Current children cumulated memory: 3931116 KiB
[startup+3600.8 s]
/proc/loadavg: 3.17 3.65 3.95 4/258 727431
/proc/meminfo: memFree=117875484/131524600 swapFree=131071996/131071996
[pid=724404] ppid=724401 vsize=4652916 memory=3931164 CPUtime=3589.55 cores=4,6
/proc/724404/stat : 724404 (fscip) S 724401 724404 721169 0 -1 1077936128 10351984 0 0 0 357096 1859 0 0 20 0 3 0 142767586 4764585984 982791 134679101440 4194304 16613245 140725715256544 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 45105152 140725715260385 140725715260501 140725715260501 140725715267568 0
/proc/724404/statm: 1163229 982791 2990 3032 0 1143738 0
[pid=724404/tid=724413] ppid=724401 vsize=4652916 memory=3931000 CPUtime=3551.03 cores=4,6
/proc/724404/task/724413/stat : 724413 (fscip) R 724401 724404 721169 0 -1 4194368 10159636 0 0 0 353285 1818 0 0 20 0 3 0 142771396 4764585984 982791 134679101440 4194304 16613245 140725715256544 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 45105152 140725715260385 140725715260501 140725715260501 140725715267568 0
[pid=724404/tid=724414] ppid=724401 vsize=4652916 memory=26084 CPUtime=0.04 cores=4,6
/proc/724404/task/724414/stat : 724414 (fscip) S 724401 724404 721169 0 -1 1077936192 330 0 0 0 1 3 0 0 20 0 3 0 142771469 4764585984 982791 134679101440 4194304 16613245 140725715256544 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 45105152 140725715260385 140725715260501 140725715260501 140725715267568 0
Current children cumulated CPU time: 3589.55 s
Current children cumulated vsize: 4652916 KiB
Current children cumulated memory: 3931164 KiB
[startup+3601.2 s]
/proc/loadavg: 3.15 3.64 3.94 4/257 727431
/proc/meminfo: memFree=118686924/131524600 swapFree=131071996/131071996
[pid=724404] ppid=724401 vsize=3188124 memory=2881928 CPUtime=3589.94 cores=4,6
/proc/724404/stat : 724404 (fscip) R 724401 724404 721169 0 -1 4194304 10457455 0 0 0 357127 1867 0 0 20 0 1 0 142767586 3264638976 720482 134679101440 4194304 16613245 140725715256544 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 45105152 140725715260385 140725715260501 140725715260501 140725715267568 0
/proc/724404/statm: 797031 720482 2990 3032 0 786644 0
Current children cumulated CPU time: 3589.94 s
Current children cumulated vsize: 3188124 KiB
Current children cumulated memory: 2881928 KiB
Child status: 0
Real time (s): 3601.28
CPU time (s): 3590.03
CPU user time (s): 3571.28
CPU system time (s): 18.7525
CPU usage (%): 99.6876
Max. virtual memory (cumulated for all children) (KiB): 4652916
Max. memory (cumulated for all children) (KiB): 3931164
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3571.28
system time used= 18.7525
maximum resident set size= 3931164
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 10459320
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= 6170
involuntary context switches= 3117
# summary of solver processes directly reported to runsolver:
# pid: 724404
# total CPU time (s): 3590.03
# total CPU user time (s): 3571.28
# total CPU system time (s): 18.7525
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.7019 second user time and 16.998 second system time
The end
Begin job on nodeC028 at 2024-07-13 23:26:58
IDJOB=4426939
IDBENCH=143861
IDSOLVER=3044
FILE ID=nodeC028/4426939-1720906005
RUNJOBID= nodeC028-1720905559-723486
SLURM_JOB_ID= 7486087
Free space on /tmp= 889984 MiB
SOLVER NAME= FiberSCIP 2024-07-02
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-4426939-1720906005/watcher-4426939-1720906005 -o /tmp/evaluation-result-4426939-1720906005/solver-4426939-1720906005 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC028-1720905559-723486 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4426939-1720906005.wbo -qsol -t 3600 -sth 1
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= b6dc5c4972e391c215675692adb96c84
RANDOM SEED=1072014625
nodeC028.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3668.309
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.56
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 : 3687.370
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.59
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 : 3660.182
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.56
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.070
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.59
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 : 3672.178
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.56
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 : 3687.395
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.59
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 : 3661.367
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.56
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.039
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.59
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 125954712 kB
MemAvailable: 126055584 kB
Buffers: 327844 kB
Cached: 619300 kB
SwapCached: 0 kB
Active: 537236 kB
Inactive: 4469248 kB
Active(anon): 1536 kB
Inactive(anon): 4095500 kB
Active(file): 535700 kB
Inactive(file): 373748 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 29804 kB
Writeback: 12 kB
AnonPages: 4058532 kB
Mapped: 135960 kB
Shmem: 37720 kB
KReclaimable: 62496 kB
Slab: 159392 kB
SReclaimable: 62496 kB
SUnreclaim: 96896 kB
KernelStack: 4128 kB
PageTables: 17572 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 3916140 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 54432 kB
HardwareCorrupted: 0 kB
AnonHugePages: 669696 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: 166612 kB
DirectMap2M: 10092544 kB
DirectMap1G: 125829120 kB
Free space on /tmp at the end= 889992 MiB
End job on nodeC028 at 2024-07-14 00:26:59