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.50/0.54 c Default LC presolving (default).
0.50/0.55 c ** Before presolving: virtualMemUsedAtLc = 388565348, getVmSize() = 254050304, SCIPgetMemUsed() = 201743210, SCIPgetMemTotal() = 221567698, SCIPgetMemExternEstim() = 166997650
0.50/0.55 c ** set memory limit for presolving in LC to 8.79598e+12 for SCIP **
10.84/10.94 c ** Estimated virtualMemUsedAtSolver = 500991840, getVmSize() = 635293696, SCIPgetMemUsed() = 377985566, SCIPgetMemTotal() = 584490110, SCIPgetMemExternEstim() = 166997650
10.84/10.94 c ** set memory limit for solvers to 4.39803e+12 for each SCIP **
10.84/10.94 c Original Problem :
10.84/10.94 c Problem name : instance-4464458-1722382208
10.84/10.94 c Variables : 7351 (7351 binary, 0 integer, 0 implicit integer, 0 continuous)
10.84/10.94 c Constraints : 155824
10.84/10.94 c Objective sense : minimize
10.84/10.94 c Presolved Problem :
10.84/10.94 c Variables : 7350 (7350 binary, 0 integer, 0 implicit integer, 0 continuous)
10.84/10.94 c Constraints : 153618
10.84/10.94 c Constraints : Number
10.84/10.94 c knapsack : 15969
10.84/10.94 c setppc : 31648
10.84/10.94 c linear : 1
10.84/10.94 c logicor : 106000
10.84/10.94 c ** Instance transfer method used: 0
11.14/11.20 c ** ParaScipInstance copy does not increase the number of variables. **
11.34/11.40 c LC is working with racing ramp-up and with rebuilding tree after racing.
11.34/11.40 c Nodes Active
11.34/11.40 c Time Nodes Left Solvers Best Integer Best Node Gap Best Node(S) Gap(S)
123.05/123.57 c 124 2 1 1 - 0.0000 -
131.53/132.05 c 132 9 8 1 - 0.0000 -
160.85/161.48 c 161 14 13 1 - 0.0000 -
178.60/179.23 c 179 15 14 1 - 0.0000 -
185.78/186.44 c 186 22 21 1 - 0.0000 -
192.76/193.42 c 193 33 32 1 - 0.0000 -
201.44/202.16 c 202 38 37 1 - 0.0000 -
206.82/207.55 c 208 40 39 1 - 0.0000 -
212.01/212.75 c 213 42 41 1 - 0.0000 -
217.89/218.64 c 219 49 48 1 - 0.0000 -
226.26/227.08 c 227 56 55 1 - 0.0000 -
232.05/232.82 c 233 61 60 1 - 0.0000 -
239.63/240.46 c 240 62 61 1 - 0.0000 -
247.31/248.18 c 248 87 86 1 - 0.0000 -
252.68/253.51 c 254 98 97 1 - 0.0000 -
259.77/260.66 c 261 102 101 1 - 0.0000 -
275.62/276.51 c 277 105 104 1 - 0.0000 -
282.11/283.10 c 283 109 108 1 - 0.0000 -
287.19/288.16 c 288 119 118 1 - 0.0000 -
293.47/294.49 c 294 122 121 1 - 0.0000 -
298.76/299.76 c 300 149 148 1 - 0.0000 -
304.15/305.15 c 305 154 153 1 - 0.0000 -
310.41/311.42 c 311 176 175 1 - 0.0000 -
319.58/320.66 c 321 184 183 1 - 0.0000 -
325.47/326.53 c 327 192 191 1 - 0.0000 -
331.64/332.72 c 333 202 201 1 - 0.0000 -
340.32/341.47 c 341 207 206 1 - 0.0000 -
345.40/346.55 c 347 214 213 1 - 0.0000 -
351.29/352.47 c 352 219 218 1 - 0.0000 -
361.95/363.17 c 363 222 221 1 - 0.0000 -
368.83/370.03 c 370 226 225 1 - 0.0000 -
376.00/377.25 c 377 243 242 1 - 0.0000 -
381.29/382.54 c 383 249 248 1 - 0.0000 -
388.66/389.98 c 390 256 255 1 - 0.0000 -
394.54/395.89 c 396 266 265 1 - 0.0000 -
400.73/402.08 c 402 277 276 1 - 0.0000 -
409.20/410.55 c 411 287 286 1 - 0.0000 -
415.79/417.11 c 417 294 293 1 - 0.0000 -
421.86/423.24 c 423 299 298 1 - 0.0000 -
438.82/440.22 c 440 312 311 1 - 0.0000 -
449.49/450.94 c 451 320 319 1 - 0.0000 -
457.17/458.60 c 459 325 324 1 - 0.0000 -
462.84/464.36 c 464 333 332 1 - 0.0000 -
475.12/476.69 c 477 342 341 1 - 0.0000 -
480.40/481.97 c 482 346 345 1 - 0.0000 -
489.27/490.86 c 491 352 351 1 - 0.0000 -
496.46/498.01 c 498 362 361 1 - 0.0000 -
501.85/503.40 c 503 368 367 1 - 0.0000 -
510.82/512.48 c 512 374 373 1 - 0.0000 -
516.90/518.57 c 519 380 379 1 - 0.0000 -
527.78/529.49 c 529 382 381 1 - 0.0000 -
533.66/535.33 c 535 392 391 1 - 0.0000 -
539.53/541.20 c 541 405 404 1 - 0.0000 -
546.92/548.69 c 549 412 411 1 - 0.0000 -
553.10/554.85 c 555 414 413 1 - 0.0000 -
560.19/561.90 c 562 427 426 1 - 0.0000 -
565.67/567.44 c 567 449 448 1 - 0.0000 -
570.85/572.64 c 573 461 460 1 - 0.0000 -
576.53/578.31 c 578 472 471 1 - 0.0000 -
582.22/584.06 c 584 489 488 1 - 0.0000 -
588.00/589.88 c 590 505 502 1 - 0.0000 -
594.08/595.90 c 596 514 511 1 - 0.0000 -
599.27/601.19 c 601 516 513 1 - 0.0000 -
608.54/610.44 c 610 519 516 1 - 0.0000 -
623.11/625.03 c 625 522 519 1 - 0.0000 -
629.09/631.02 c 631 532 527 1 - 0.0000 -
638.55/640.53 c 641 537 532 1 - 0.0000 -
645.53/647.50 c 648 545 540 1 - 0.0000 -
655.31/657.36 c 657 547 542 1 - 0.0000 -
661.80/663.86 c 664 550 545 1 - 0.0000 -
667.67/669.73 c 670 560 555 1 - 0.0000 -
675.15/677.20 c 677 562 557 1 - 0.0000 -
684.63/686.71 c 687 580 571 1 - 0.0000 -
690.62/692.78 c 693 583 574 1 - 0.0000 -
700.59/702.72 c 703 592 583 1 - 0.0000 -
706.67/708.81 c 709 602 591 1 - 0.0000 -
722.43/724.65 c 725 613 600 1 - 0.0000 -
728.11/730.33 c 730 623 610 1 - 0.0000 -
734.29/736.55 c 737 629 616 1 - 0.0000 -
739.48/741.79 c 742 638 625 1 - 0.0000 -
745.17/747.40 c 747 643 630 1 - 0.0000 -
752.34/754.67 c 755 651 638 1 - 0.0000 -
759.63/761.96 c 762 655 642 1 - 0.0000 -
769.10/771.49 c 771 669 656 1 - 0.0000 -
779.98/782.32 c 782 672 659 1 - 0.0000 -
792.04/794.48 c 794 679 662 1 - 0.0000 -
801.41/803.86 c 804 682 665 1 - 0.0000 -
808.40/810.89 c 811 688 671 1 - 0.0000 -
815.38/817.86 c 818 698 681 1 - 0.0000 -
820.85/823.31 c 823 702 685 1 - 0.0000 -
826.64/829.15 c 829 712 695 1 - 0.0000 -
837.10/839.66 c 840 725 706 1 - 0.0000 -
844.68/847.25 c 847 732 713 1 - 0.0000 -
858.83/861.49 c 861 736 717 1 - 0.0000 -
866.70/869.34 c 869 739 720 1 - 0.0000 -
871.99/874.65 c 875 748 729 1 - 0.0000 -
883.55/886.21 c 886 766 741 1 - 0.0000 -
894.22/896.96 c 897 769 744 1 - 0.0000 -
899.60/902.34 c 902 785 756 1 - 0.0000 -
904.88/907.63 c 908 790 761 1 - 0.0000 -
917.15/919.94 c 920 795 766 1 - 0.0000 -
923.32/926.12 c 926 802 773 1 - 0.0000 -
939.07/941.91 c 942 819 782 1 - 0.0000 -
944.55/947.42 c 947 831 794 1 - 0.0000 -
950.03/952.95 c 953 841 804 1 - 0.0000 -
956.12/959.01 c 959 846 807 1 - 0.0000 -
961.29/964.28 c 964 854 815 1 - 0.0000 -
966.48/969.42 c 969 863 823 1 - 0.0000 -
979.53/982.55 c 983 872 830 1 - 0.0000 -
990.60/993.60 c 994 883 841 1 - 0.0000 -
995.77/998.82 c 999 894 852 1 - 0.0000 -
1000.85/1003.93 c 1004 909 865 1 - 0.0000 -
1006.63/1009.79 c 1010 917 869 1 - 0.0000 -
1014.81/1017.95 c 1018 928 878 1 - 0.0000 -
1020.00/1023.16 c 1023 943 889 1 - 0.0000 -
1025.88/1029.03 c 1029 954 900 1 - 0.0000 -
1031.06/1034.21 c 1034 962 902 1 - 0.0000 -
1036.05/1039.28 c 1039 968 908 1 - 0.0000 -
1044.02/1047.22 c 1047 978 918 1 - 0.0000 -
1049.50/1052.78 c 1053 991 931 1 - 0.0000 -
1054.98/1058.23 c 1058 995 935 1 - 0.0000 -
1065.15/1068.49 c 1068 1008 946 1 - 0.0000 -
1076.01/1079.39 c 1079 1020 958 1 - 0.0000 -
1081.19/1084.56 c 1085 1035 973 1 - 0.0000 -
1087.27/1090.69 c 1091 1049 987 1 - 0.0000 -
1093.95/1097.32 c 1097 1053 991 1 - 0.0000 -
1099.53/1102.98 c 1103 1060 996 1 - 0.0000 -
1107.40/1110.81 c 1111 1074 1008 1 - 0.0000 -
1113.09/1116.57 c 1117 1082 1016 1 - 0.0000 -
1120.17/1123.64 c 1124 1096 1030 1 - 0.0000 -
1135.72/1139.23 c 1139 1116 1044 1 - 0.0000 -
1559.57/1564.29 c 1564 1179 1073 1 - 0.0000 -
1565.85/1570.53 c 1571 1208 1078 1 - 0.0000 -
1605.72/1610.56 c 1611 1209 1079 1 - 0.0000 -
1616.09/1620.90 c 1621 1220 1082 1 - 0.0000 -
1623.67/1628.55 c 1629 1229 1091 1 - 0.0000 -
1636.72/1641.65 c 1642 1245 1105 1 - 0.0000 -
1651.78/1656.79 c 1657 1254 1114 1 - 0.0000 -
1657.26/1662.27 c 1662 1260 1120 1 - 0.0000 -
1668.04/1673.10 c 1673 1264 1124 1 - 0.0000 -
1677.51/1682.57 c 1683 1272 1132 1 - 0.0000 -
1685.98/1691.01 c 1691 1282 1142 1 - 0.0000 -
1700.14/1705.23 c 1705 1290 1149 1 - 0.0000 -
1705.62/1710.75 c 1711 1298 1157 1 - 0.0000 -
1720.18/1725.38 c 1725 1302 1161 1 - 0.0000 -
1726.86/1732.00 c 1732 1306 1165 1 - 0.0000 -
1734.02/1739.25 c 1739 1312 1171 1 - 0.0000 -
1740.59/1745.80 c 1746 1316 1175 1 - 0.0000 -
1746.97/1752.23 c 1752 1322 1181 1 - 0.0000 -
1752.24/1757.50 c 1758 1323 1182 1 - 0.0000 -
1775.68/1781.07 c 1781 1328 1187 1 - 0.0000 -
1781.14/1786.55 c 1787 1332 1191 1 - 0.0000 -
1786.62/1792.04 c 1792 1342 1199 1 - 0.0000 -
1794.00/1799.49 c 1799 1356 1209 1 - 0.0000 -
1799.08/1804.50 c 1804 1364 1217 1 - 0.0000 -
1812.74/1818.24 c 1818 1374 1227 1 - 0.0000 -
1818.62/1824.17 c 1824 1384 1237 1 - 0.0000 -
1823.99/1829.51 c 1830 1389 1242 1 - 0.0000 -
1830.17/1835.71 c 1836 1393 1245 1 - 0.0000 -
1835.95/1841.57 c 1842 1408 1256 1 - 0.0000 -
1844.33/1849.92 c 1850 1410 1258 1 - 0.0000 -
1849.80/1855.40 c 1855 1419 1264 1 - 0.0000 -
1855.18/1860.82 c 1861 1426 1270 1 - 0.0000 -
1868.73/1874.40 c 1874 1434 1278 1 - 0.0000 -
1877.70/1883.41 c 1883 1442 1286 1 - 0.0000 -
1884.07/1889.83 c 1890 1449 1293 1 - 0.0000 -
1892.05/1897.88 c 1898 1450 1294 1 - 0.0000 -
1897.24/1903.07 c 1903 1464 0 1 - 0.0000 -
2071.90/2078.29 c 2078 1465 1 1 - 0.0000 -
2083.26/2089.60 c 2090 1472 8 1 - 0.0000 -
2091.14/2097.52 c 2098 1476 12 1 - 0.0000 -
2099.91/2106.30 c 2106 1478 14 1 - 0.0000 -
2111.08/2117.51 c 2118 1481 17 1 - 0.0000 -
2119.86/2126.31 c 2126 1485 21 1 - 0.0000 -
2129.34/2135.88 c 2136 1492 28 1 - 0.0000 -
2136.02/2142.52 c 2143 1493 29 1 - 0.0000 -
2141.10/2147.63 c 2148 1501 37 1 - 0.0000 -
2149.19/2155.75 c 2156 1505 41 1 - 0.0000 -
2154.76/2161.36 c 2161 1521 57 1 - 0.0000 -
2163.24/2169.82 c 2170 1525 61 1 - 0.0000 -
2173.72/2180.38 c 2180 1533 69 1 - 0.0000 -
2179.69/2186.32 c 2186 1539 75 1 - 0.0000 -
2186.48/2193.14 c 2193 1545 81 1 - 0.0000 -
2193.26/2199.93 c 2200 1548 84 1 - 0.0000 -
2198.25/2204.98 c 2205 1562 98 1 - 0.0000 -
2204.13/2210.84 c 2211 1585 121 1 - 0.0000 -
2209.91/2216.66 c 2217 1608 144 1 - 0.0000 -
2217.20/2223.99 c 2224 1612 148 1 - 0.0000 -
2227.37/2234.11 c 2234 1620 156 1 - 0.0000 -
2233.85/2240.69 c 2241 1622 158 1 - 0.0000 -
2239.73/2246.53 c 2247 1628 164 1 - 0.0000 -
2244.91/2251.74 c 2252 1634 170 1 - 0.0000 -
2252.09/2258.98 c 2259 1643 179 1 - 0.0000 -
2257.28/2264.19 c 2264 1647 183 1 - 0.0000 -
2266.65/2273.52 c 2274 1659 195 1 - 0.0000 -
2272.33/2279.28 c 2279 1677 213 1 - 0.0000 -
2278.71/2285.61 c 2286 1687 223 1 - 0.0000 -
2287.48/2294.43 c 2294 1690 226 1 - 0.0000 -
2294.66/2301.62 c 2302 1695 231 1 - 0.0000 -
2299.85/2306.81 c 2307 1699 235 1 - 0.0000 -
2305.13/2312.10 c 2312 1707 243 1 - 0.0000 -
2315.70/2322.78 c 2323 1715 251 1 - 0.0000 -
2326.67/2333.78 c 2334 1717 253 1 - 0.0000 -
2334.65/2341.79 c 2342 1723 259 1 - 0.0000 -
2343.03/2350.13 c 2350 1732 268 1 - 0.0000 -
2349.70/2356.88 c 2357 1742 278 1 - 0.0000 -
2354.89/2362.08 c 2362 1748 284 1 - 0.0000 -
2371.54/2378.72 c 2379 1749 285 1 - 0.0000 -
2376.52/2383.77 c 2384 1758 294 1 - 0.0000 -
2382.01/2389.29 c 2389 1761 297 1 - 0.0000 -
2389.29/2396.53 c 2397 1766 302 1 - 0.0000 -
2401.77/2409.03 c 2409 1772 308 1 - 0.0000 -
2409.14/2416.44 c 2416 1775 311 1 - 0.0000 -
2416.02/2423.36 c 2423 1781 317 1 - 0.0000 -
2428.48/2435.84 c 2436 1791 327 1 - 0.0000 -
2433.97/2441.36 c 2441 1801 337 1 - 0.0000 -
2440.24/2447.60 c 2448 1807 343 1 - 0.0000 -
2448.52/2455.99 c 2456 1815 351 1 - 0.0000 -
2454.20/2461.60 c 2462 1823 359 1 - 0.0000 -
2459.98/2467.43 c 2467 1830 366 1 - 0.0000 -
2465.47/2472.98 c 2473 1835 371 1 - 0.0000 -
2471.15/2478.65 c 2479 1841 377 1 - 0.0000 -
2478.83/2486.38 c 2486 1842 378 1 - 0.0000 -
2496.78/2504.35 c 2504 1845 381 1 - 0.0000 -
2509.15/2516.75 c 2517 1855 391 1 - 0.0000 -
2515.02/2522.60 c 2523 1862 398 1 - 0.0000 -
2524.59/2532.21 c 2532 1870 406 1 - 0.0000 -
2529.98/2537.63 c 2538 1876 412 1 - 0.0000 -
2546.13/2553.83 c 2554 1883 419 1 - 0.0000 -
2554.01/2561.80 c 2562 1887 423 1 - 0.0000 -
2559.39/2567.17 c 2567 1895 431 1 - 0.0000 -
2564.97/2572.70 c 2573 1907 443 1 - 0.0000 -
2571.46/2579.27 c 2579 1912 448 1 - 0.0000 -
2576.84/2584.65 c 2585 1915 451 1 - 0.0000 -
2585.92/2593.77 c 2594 1922 458 1 - 0.0000 -
2591.40/2599.24 c 2599 1929 465 1 - 0.0000 -
2596.59/2604.45 c 2604 1938 474 1 - 0.0000 -
2607.16/2615.06 c 2615 1943 479 1 - 0.0000 -
2614.83/2622.78 c 2623 1946 482 1 - 0.0000 -
2621.11/2629.06 c 2629 1953 489 1 - 0.0000 -
2626.99/2634.91 c 2635 1959 495 1 - 0.0000 -
2631.98/2639.97 c 2640 1963 499 1 - 0.0000 -
2646.34/2654.33 c 2654 1965 501 1 - 0.0000 -
2651.43/2659.40 c 2659 1969 505 1 - 0.0000 -
2657.70/2665.76 c 2666 1978 514 1 - 0.0000 -
2662.99/2671.10 c 2671 1985 521 1 - 0.0000 -
2668.76/2676.80 c 2677 1989 525 1 - 0.0000 -
2673.85/2681.95 c 2682 1998 534 1 - 0.0000 -
2679.73/2687.83 c 2688 2004 540 1 - 0.0000 -
2687.32/2695.45 c 2695 2005 541 1 - 0.0000 -
2694.79/2702.95 c 2703 2018 554 1 - 0.0000 -
2700.88/2709.08 c 2709 2023 559 1 - 0.0000 -
2706.26/2714.48 c 2714 2033 569 1 - 0.0000 -
2713.54/2721.72 c 2722 2035 571 1 - 0.0000 -
2721.51/2729.74 c 2730 2038 574 1 - 0.0000 -
2733.48/2741.74 c 2742 2041 577 1 - 0.0000 -
2738.67/2746.96 c 2747 2045 581 1 - 0.0000 -
2745.45/2753.72 c 2754 2049 585 1 - 0.0000 -
2752.02/2760.30 c 2760 2061 597 1 - 0.0000 -
2758.11/2766.48 c 2766 2068 604 1 - 0.0000 -
2767.18/2775.53 c 2776 2073 609 1 - 0.0000 -
2772.77/2781.19 c 2781 2080 616 1 - 0.0000 -
2779.35/2787.71 c 2788 2089 625 1 - 0.0000 -
2785.32/2793.72 c 2794 2092 628 1 - 0.0000 -
2793.41/2801.89 c 2802 2093 629 1 - 0.0000 -
2800.98/2809.49 c 2809 2097 633 1 - 0.0000 -
2806.96/2815.47 c 2815 2107 643 1 - 0.0000 -
2821.73/2830.25 c 2830 2115 651 1 - 0.0000 -
2827.21/2835.70 c 2836 2120 656 1 - 0.0000 -
2836.68/2845.22 c 2845 2123 659 1 - 0.0000 -
2844.26/2852.84 c 2853 2127 663 1 - 0.0000 -
2849.75/2858.37 c 2858 2129 665 1 - 0.0000 -
2860.42/2869.00 c 2869 2131 667 1 - 0.0000 -
2865.60/2874.23 c 2874 2136 672 1 - 0.0000 -
2871.88/2880.50 c 2880 2139 675 1 - 0.0000 -
2877.47/2886.15 c 2886 2148 684 1 - 0.0000 -
2883.56/2892.29 c 2892 2156 692 1 - 0.0000 -
2895.43/2904.14 c 2904 2165 701 1 - 0.0000 -
2905.09/2913.81 c 2914 2171 707 1 - 0.0000 -
2910.28/2919.02 c 2919 2176 712 1 - 0.0000 -
2916.86/2925.65 c 2926 2179 715 1 - 0.0000 -
2925.63/2934.44 c 2934 2182 718 1 - 0.0000 -
2930.92/2939.75 c 2940 2186 722 1 - 0.0000 -
2936.41/2945.27 c 2945 2188 724 1 - 0.0000 -
2946.77/2955.66 c 2956 2196 732 1 - 0.0000 -
2953.26/2962.10 c 2962 2199 735 1 - 0.0000 -
2965.93/2974.84 c 2975 2202 738 1 - 0.0000 -
2972.51/2981.49 c 2982 2206 742 1 - 0.0000 -
2983.98/2992.94 c 2993 2209 745 1 - 0.0000 -
2995.95/3004.97 c 3005 2215 749 1 - 0.0000 -
3005.22/3014.29 c 3014 2223 757 1 - 0.0000 -
3022.47/3031.55 c 3032 2227 761 1 - 0.0000 -
3033.63/3042.70 c 3043 2235 769 1 - 0.0000 -
3039.32/3048.45 c 3048 2237 771 1 - 0.0000 -
3050.69/3059.86 c 3060 2238 772 1 - 0.0000 -
3056.78/3065.90 c 3066 2242 776 1 - 0.0000 -
3064.06/3073.29 c 3073 2252 786 1 - 0.0000 -
3075.33/3084.54 c 3085 2255 789 1 - 0.0000 -
3080.92/3090.13 c 3090 2258 792 1 - 0.0000 -
3086.50/3095.71 c 3096 2265 799 1 - 0.0000 -
3091.99/3101.30 c 3101 2272 806 1 - 0.0000 -
3097.67/3106.92 c 3107 2280 814 1 - 0.0000 -
3108.14/3117.48 c 3117 2289 823 1 - 0.0000 -
3113.43/3122.72 c 3123 2296 830 1 - 0.0000 -
3119.01/3128.35 c 3128 2298 832 1 - 0.0000 -
3124.10/3133.45 c 3133 2308 842 1 - 0.0000 -
3135.77/3145.13 c 3145 2315 849 1 - 0.0000 -
3142.75/3152.13 c 3152 2325 859 1 - 0.0000 -
3151.32/3160.73 c 3161 2330 864 1 - 0.0000 -
3157.61/3167.09 c 3167 2337 871 1 - 0.0000 -
3163.59/3173.02 c 3173 2347 881 1 - 0.0000 -
3173.36/3182.80 c 3183 2351 885 1 - 0.0000 -
3184.23/3193.79 c 3194 2355 889 1 - 0.0000 -
3189.31/3198.80 c 3199 2363 897 1 - 0.0000 -
3198.79/3208.30 c 3208 2368 902 1 - 0.0000 -
3206.37/3215.98 c 3216 2375 909 1 - 0.0000 -
3212.35/3221.92 c 3222 2379 913 1 - 0.0000 -
3219.12/3228.72 c 3229 2387 921 1 - 0.0000 -
3225.20/3234.80 c 3235 2393 927 1 - 0.0000 -
3236.38/3246.08 c 3246 2396 930 1 - 0.0000 -
3241.76/3251.44 c 3251 2401 935 1 - 0.0000 -
3250.83/3260.54 c 3261 2406 940 1 - 0.0000 -
3261.31/3271.02 c 3271 2409 943 1 - 0.0000 -
3272.07/3281.86 c 3282 2415 947 1 - 0.0000 -
3278.75/3288.50 c 3288 2418 950 1 - 0.0000 -
3284.34/3294.17 c 3294 2421 953 1 - 0.0000 -
3303.39/3313.25 c 3313 2425 957 1 - 0.0000 -
3309.07/3318.91 c 3319 2429 961 1 - 0.0000 -
3317.45/3327.37 c 3327 2432 964 1 - 0.0000 -
3323.14/3333.07 c 3333 2435 967 1 - 0.0000 -
3330.12/3340.01 c 3340 2438 970 1 - 0.0000 -
3343.68/3353.62 c 3354 2441 973 1 - 0.0000 -
3349.38/3359.35 c 3359 2446 978 1 - 0.0000 -
3356.36/3366.32 c 3366 2448 980 1 - 0.0000 -
3364.83/3374.87 c 3375 2455 987 1 - 0.0000 -
3370.61/3380.66 c 3381 2459 991 1 - 0.0000 -
3377.00/3387.02 c 3387 2461 993 1 - 0.0000 -
3384.37/3394.46 c 3394 2465 997 1 - 0.0000 -
3389.45/3399.59 c 3400 2473 1005 1 - 0.0000 -
3397.13/3407.29 c 3407 2481 1011 1 - 0.0000 -
3402.41/3412.58 c 3413 2490 1020 1 - 0.0000 -
3410.99/3421.10 c 3421 2495 1025 1 - 0.0000 -
3426.14/3436.39 c 3436 2498 1028 1 - 0.0000 -
3436.31/3446.54 c 3447 2501 1031 1 - 0.0000 -
3441.90/3452.18 c 3452 2508 1038 1 - 0.0000 -
3448.47/3458.71 c 3459 2521 1051 1 - 0.0000 -
3456.55/3466.83 c 3467 2528 1058 1 - 0.0000 -
3462.53/3472.87 c 3473 2531 1061 1 - 0.0000 -
3471.41/3481.70 c 3482 2536 1066 1 - 0.0000 -
3476.39/3486.78 c 3487 2539 1069 1 - 0.0000 -
3482.57/3492.95 c 3493 2546 1076 1 - 0.0000 -
3493.84/3504.22 c 3504 2561 1085 1 - 0.0000 -
3503.02/3513.43 c 3513 2566 1090 1 - 0.0000 -
3512.69/3523.19 c 3523 2575 1099 1 - 0.0000 -
3524.66/3535.12 c 3535 2583 1107 1 - 0.0000 -
3530.14/3540.63 c 3541 2599 1123 1 - 0.0000 -
3538.41/3548.93 c 3549 2607 1131 1 - 0.0000 -
3543.50/3554.03 c 3554 2614 1138 1 - 0.0000 -
3552.67/3563.28 c 3563 2629 1148 1 - 0.0000 -
3559.05/3569.69 c 3570 2645 1151 1 - 0.0000 -
3565.83/3576.42 c 3576 2648 1154 1 - 0.0000 -
3571.11/3581.72 c 3582 2662 1168 1 - 0.0000 -
3580.09/3590.76 c 3591 2665 1171 1 - 0.0000 -
3586.57/3597.23 c 3597 2672 1176 1 - 0.0000 -
3587.66/3598.31 c SCIP Status : c solving was interrupted [hard time limit reached]
3587.66/3598.31 c Total Time : 3598.3100
3587.66/3598.31 c solving : 3598.3100
3587.66/3598.31 c presolving : 10.3983 (included in solving)
3587.66/3598.31 c B&B Tree :
3587.66/3598.31 c nodes (total) : 1
3587.66/3598.31 c Solution :
3587.66/3598.31 c Solutions found : 0
3587.66/3598.31 c Primal Bound : -
3587.66/3598.31 c Dual Bound : +0.00000000000000e+00
3587.66/3598.31 c Gap : -
3587.76/3598.49 s UNKNOWN
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63931 MiB (55413 MiB free)
memory of node 1: 64510 MiB (63182 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4464458-1722382208/watcher-4464458-1722382208 -o /tmp/evaluation-result-4464458-1722382208/solver-4464458-1722382208 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC014-1722378594-30928 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4464458-1722382208.opb -qsol -t 3600 -sth 1
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=33299, runsolver pid=33296
[startup+0.100879 s]*
/proc/loadavg: 4.18 4.18 4.09 5/263 33300
/proc/meminfo: memFree=121410136/131524600 swapFree=131071996/131071996
[pid=33299] ppid=33296 vsize=54444 memory=42624 CPUtime=0.1 cores=1,3
/proc/33299/stat : 33299 (fscip) R 33296 33299 30916 0 -1 4194304 8585 0 0 0 9 1 0 0 20 0 1 0 4816403 55750656 10656 134679101440 4194304 16623229 140725752050448 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 55746560 140725752054806 140725752054922 140725752054922 140725752061936 0
/proc/33299/statm: 13611 10656 2347 3035 0 10007 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 54444 KiB
Current children cumulated memory: 42624 KiB
[startup+0.205775 s]*
/proc/loadavg: 4.18 4.18 4.09 5/263 33300
/proc/meminfo: memFree=121381108/131524600 swapFree=131071996/131071996
[pid=33299] ppid=33296 vsize=83272 memory=71024 CPUtime=0.2 cores=1,3
/proc/33299/stat : 33299 (fscip) R 33296 33299 30916 0 -1 4194304 15658 0 0 0 18 2 0 0 20 0 1 0 4816403 85270528 17756 134679101440 4194304 16623229 140725752050448 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 55746560 140725752054806 140725752054922 140725752054922 140725752061936 0
/proc/33299/statm: 20818 17756 2347 3035 0 17214 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 83272 KiB
Current children cumulated memory: 71024 KiB
[startup+0.305688 s]*
/proc/loadavg: 4.18 4.18 4.09 7/263 33300
/proc/meminfo: memFree=121352072/131524600 swapFree=131071996/131071996
[pid=33299] ppid=33296 vsize=108428 memory=97476 CPUtime=0.29 cores=1,3
/proc/33299/stat : 33299 (fscip) R 33296 33299 30916 0 -1 4194304 22789 0 0 0 27 2 0 0 20 0 1 0 4816403 111030272 24369 134679101440 4194304 16623229 140725752050448 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 55746560 140725752054806 140725752054922 140725752054922 140725752061936 0
/proc/33299/statm: 27107 24369 2539 3035 0 23503 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 108428 KiB
Current children cumulated memory: 97476 KiB
[startup+0.700256 s]
/proc/loadavg: 4.18 4.18 4.09 5/263 33302
/proc/meminfo: memFree=121246120/131524600 swapFree=131071996/131071996
[pid=33299] ppid=33296 vsize=255552 memory=241568 CPUtime=0.69 cores=1,3
/proc/33299/stat : 33299 (fscip) R 33296 33299 30916 0 -1 4194304 58794 0 0 0 61 8 0 0 20 0 1 0 4816403 261685248 60392 134679101440 4194304 16623229 140725752050448 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 55746560 140725752054806 140725752054922 140725752054922 140725752061936 0
/proc/33299/statm: 63888 60392 2614 3035 0 60284 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 255552 KiB
Current children cumulated memory: 241568 KiB
[startup+1.50025 s]
/proc/loadavg: 4.16 4.17 4.09 5/263 33302
/proc/meminfo: memFree=121087036/131524600 swapFree=131071996/131071996
[pid=33299] ppid=33296 vsize=380500 memory=364812 CPUtime=1.48 cores=1,3
/proc/33299/stat : 33299 (fscip) R 33296 33299 30916 0 -1 4194304 76127 0 0 0 136 12 0 0 20 0 1 0 4816403 389632000 91203 134679101440 4194304 16623229 140725752050448 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 55746560 140725752054806 140725752054922 140725752054922 140725752061936 0
/proc/33299/statm: 95125 91203 2678 3035 0 91521 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 380500 KiB
Current children cumulated memory: 364812 KiB
[startup+3.10591 s]
/proc/loadavg: 4.16 4.17 4.09 5/263 33302
/proc/meminfo: memFree=121094624/131524600 swapFree=131071996/131071996
[pid=33299] ppid=33296 vsize=372980 memory=356668 CPUtime=3.09 cores=1,3
/proc/33299/stat : 33299 (fscip) R 33296 33299 30916 0 -1 4194304 94937 0 0 0 294 15 0 0 20 0 1 0 4816403 381931520 89167 134679101440 4194304 16623229 140725752050448 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 55746560 140725752054806 140725752054922 140725752054922 140725752061936 0
/proc/33299/statm: 93245 89167 2758 3035 0 89641 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 372980 KiB
Current children cumulated memory: 356668 KiB
[startup+6.30024 s]
/proc/loadavg: 4.15 4.17 4.09 5/269 33394
/proc/meminfo: memFree=121023132/131524600 swapFree=131071996/131071996
[pid=33299] ppid=33296 vsize=372980 memory=356668 CPUtime=6.26 cores=1,3
/proc/33299/stat : 33299 (fscip) R 33296 33299 30916 0 -1 4194304 94958 0 0 0 611 15 0 0 20 0 1 0 4816403 381931520 89167 134679101440 4194304 16623229 140725752050448 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 55746560 140725752054806 140725752054922 140725752054922 140725752061936 0
/proc/33299/statm: 93245 89167 2758 3035 0 89641 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 372980 KiB
Current children cumulated memory: 356668 KiB
[startup+12.7109 s]
/proc/loadavg: 4.14 4.17 4.09 5/270 33399
/proc/meminfo: memFree=119521860/131524600 swapFree=131071996/131071996
[pid=33299] ppid=33296 vsize=1008628 memory=910356 CPUtime=12.64 cores=1,3
/proc/33299/stat : 33299 (fscip) S 33296 33299 30916 0 -1 1077936128 199923 0 0 0 1229 35 0 0 20 0 3 0 4816403 1032835072 227589 134679101440 4194304 16623229 140725752050448 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 55746560 140725752054806 140725752054922 140725752054922 140725752061936 0
/proc/33299/statm: 252157 227589 2790 3035 0 247923 0
[pid=33299/tid=33397] ppid=33296 vsize=1008628 memory=834552 CPUtime=1.48 cores=1,3
/proc/33299/task/33397/stat : 33397 (fscip) R 33296 33299 30916 0 -1 4194368 70786 0 0 0 137 11 0 0 20 0 3 0 4817498 1032835072 227589 134679101440 4194304 16623229 140725752050448 0 0 0 0 0 2 0 0 0 -1 3 0 0 0 0 0 18838560 18947056 55746560 140725752054806 140725752054922 140725752054922 140725752061936 0
[pid=33299/tid=33399] ppid=33296 vsize=1008628 memory=148120 CPUtime=0 cores=1,3
/proc/33299/task/33399/stat : 33399 (fscip) S 33296 33299 30916 0 -1 1077936192 4 0 0 0 0 0 0 0 20 0 3 0 4817544 1032835072 227589 134679101440 4194304 16623229 140725752050448 0 0 0 0 0 2 1 0 0 -1 1 0 0 0 0 0 18838560 18947056 55746560 140725752054806 140725752054922 140725752054922 140725752061936 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 1008628 KiB
Current children cumulated memory: 910356 KiB
[startup+25.5009 s]
/proc/loadavg: 4.12 4.16 4.09 5/270 33401
/proc/meminfo: memFree=118674380/131524600 swapFree=131071996/131071996
[pid=33299] ppid=33296 vsize=1438248 memory=1330780 CPUtime=25.31 cores=1,3
/proc/33299/stat : 33299 (fscip) S 33296 33299 30916 0 -1 1077936128 298829 0 0 0 2481 50 0 0 20 0 3 0 4816403 1472765952 332695 134679101440 4194304 16623229 140725752050448 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 55746560 140725752054806 140725752054922 140725752054922 140725752061936 0
/proc/33299/statm: 359562 332695 2950 3035 0 352434 0
[pid=33299/tid=33397] ppid=33296 vsize=1438248 memory=17861 CPUtime=14.15 cores=1,3
/proc/33299/task/33397/stat : 33397 (fscip) R 33296 33299 30916 0 -1 4194368 169678 0 0 0 1389 26 0 0 20 0 3 0 4817498 1472765952 332695 134679101440 4194304 16623229 140725752050448 0 0 0 0 0 2 0 0 0 -1 3 0 0 0 0 0 18838560 18947056 55746560 140725752054806 140725752054922 140725752054922 140725752061936 0
[pid=33299/tid=33399] ppid=33296 vsize=1438248 memory=11584 CPUtime=0 cores=1,3
/proc/33299/task/33399/stat : 33399 (fscip) S 33296 33299 30916 0 -1 1077936192 18 0 0 0 0 0 0 0 20 0 3 0 4817544 1472765952 332695 134679101440 4194304 16623229 140725752050448 0 0 0 0 0 2 1 0 0 -1 1 0 0 0 0 0 18838560 18947056 55746560 140725752054806 140725752054922 140725752054922 140725752061936 0
Current children cumulated CPU time: 25.31 s
Current children cumulated vsize: 1438248 KiB
Current children cumulated memory: 1330780 KiB
[startup+51.1052 s]
/proc/loadavg: 4.13 4.16 4.09 5/270 33407
/proc/meminfo: memFree=118640164/131524600 swapFree=131071996/131071996
[pid=33299] ppid=33296 vsize=1440472 memory=1336492 CPUtime=50.84 cores=1,3
/proc/33299/stat : 33299 (fscip) S 33296 33299 30916 0 -1 1077936128 363491 0 0 0 5030 54 0 0 20 0 3 0 4816403 1475043328 334123 134679101440 4194304 16623229 140725752050448 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 55746560 140725752054806 140725752054922 140725752054922 140725752061936 0
/proc/33299/statm: 360118 334123 2950 3035 0 354867 0
[pid=33299/tid=33397] ppid=33296 vsize=1440472 memory=1336492 CPUtime=39.68 cores=1,3
/proc/33299/task/33397/stat : 33397 (fscip) R 33296 33299 30916 0 -1 4194368 234322 0 0 0 3938 30 0 0 20 0 3 0 4817498 1475043328 334123 134679101440 4194304 16623229 140725752050448 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 55746560 140725752054806 140725752054922 140725752054922 140725752061936 0
[pid=33299/tid=33399] ppid=33296 vsize=1440472 memory=1336492 CPUtime=0 cores=1,3
/proc/33299/task/33399/stat : 33399 (fscip) S 33296 33299 30916 0 -1 1077936192 36 0 0 0 0 0 0 0 20 0 3 0 4817544 1475043328 334123 134679101440 4194304 16623229 140725752050448 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 55746560 140725752054806 140725752054922 140725752054922 140725752061936 0
Current children cumulated CPU time: 50.84 s
Current children cumulated vsize: 1440472 KiB
Current children cumulated memory: 1336492 KiB
[startup+102.3 s]
/proc/loadavg: 4.11 4.15 4.09 5/270 33416
/proc/meminfo: memFree=118596364/131524600 swapFree=131071996/131071996
[pid=33299] ppid=33296 vsize=1558192 memory=1356116 CPUtime=101.91 cores=1,3
/proc/33299/stat : 33299 (fscip) S 33296 33299 30916 0 -1 1077936128 496367 0 0 0 10130 61 0 0 20 0 3 0 4816403 1595588608 339029 134679101440 4194304 16623229 140725752050448 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 55746560 140725752054806 140725752054922 140725752054922 140725752061936 0
/proc/33299/statm: 389548 339029 2950 3035 0 384297 0
[pid=33299/tid=33397] ppid=33296 vsize=1558192 memory=11584 CPUtime=90.75 cores=1,3
/proc/33299/task/33397/stat : 33397 (fscip) R 33296 33299 30916 0 -1 4194368 367181 0 0 0 9038 37 0 0 20 0 3 0 4817498 1595588608 339029 134679101440 4194304 16623229 140725752050448 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 55746560 140725752054806 140725752054922 140725752054922 140725752061936 0
[pid=33299/tid=33399] ppid=33296 vsize=1558192 memory=1355868 CPUtime=0 cores=1,3
/proc/33299/task/33399/stat : 33399 (fscip) S 33296 33299 30916 0 -1 1077936192 53 0 0 0 0 0 0 0 20 0 3 0 4817544 1595588608 339029 134679101440 4194304 16623229 140725752050448 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 55746560 140725752054806 140725752054922 140725752054922 140725752061936 0
Current children cumulated CPU time: 101.91 s
Current children cumulated vsize: 1558192 KiB
Current children cumulated memory: 1356116 KiB
[startup+162.3 s]
/proc/loadavg: 4.16 4.15 4.09 5/268 33472
/proc/meminfo: memFree=121120436/131524600 swapFree=131071996/131071996
[pid=33299] ppid=33296 vsize=1802124 memory=1496432 CPUtime=161.75 cores=1,3
/proc/33299/stat : 33299 (fscip) S 33296 33299 30916 0 -1 1077936128 630463 0 0 0 16102 73 0 0 20 0 3 0 4816403 1845374976 374108 134679101440 4194304 16623229 140725752050448 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 55746560 140725752054806 140725752054922 140725752054922 140725752061936 0
/proc/33299/statm: 450531 374108 2950 3035 0 441363 0
[pid=33299/tid=33397] ppid=33296 vsize=1802124 memory=1496432 CPUtime=150.59 cores=1,3
/proc/33299/task/33397/stat : 33397 (fscip) R 33296 33299 30916 0 -1 4194368 501212 0 0 0 15010 49 0 0 20 0 3 0 4817498 1845374976 374108 134679101440 4194304 16623229 140725752050448 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 55746560 140725752054806 140725752054922 140725752054922 140725752061936 0
[pid=33299/tid=33399] ppid=33296 vsize=1802124 memory=1495908 CPUtime=0 cores=1,3
/proc/33299/task/33399/stat : 33399 (fscip) S 33296 33299 30916 0 -1 1077936192 58 0 0 0 0 0 0 0 20 0 3 0 4817544 1845374976 374108 134679101440 4194304 16623229 140725752050448 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 55746560 140725752054806 140725752054922 140725752054922 140725752061936 0
Current children cumulated CPU time: 161.75 s
Current children cumulated vsize: 1802124 KiB
Current children cumulated memory: 1496432 KiB
[startup+222.3 s]
/proc/loadavg: 4.12 4.14 4.09 5/265 33484
/proc/meminfo: memFree=120865700/131524600 swapFree=131071996/131071996
[pid=33299] ppid=33296 vsize=1802124 memory=1496900 CPUtime=221.57 cores=1,3
/proc/33299/stat : 33299 (fscip) S 33296 33299 30916 0 -1 1077936128 713003 0 0 0 22078 79 0 0 20 0 3 0 4816403 1845374976 374225 134679101440 4194304 16623229 140725752050448 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 55746560 140725752054806 140725752054922 140725752054922 140725752061936 0
/proc/33299/statm: 450531 374225 2998 3035 0 443309 0
[pid=33299/tid=33397] ppid=33296 vsize=1802124 memory=1496864 CPUtime=210.41 cores=1,3
/proc/33299/task/33397/stat : 33397 (fscip) R 33296 33299 30916 0 -1 4194368 583692 0 0 0 20986 55 0 0 20 0 3 0 4817498 1845374976 374225 134679101440 4194304 16623229 140725752050448 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 55746560 140725752054806 140725752054922 140725752054922 140725752061936 0
[pid=33299/tid=33399] ppid=33296 vsize=1802124 memory=12704 CPUtime=0 cores=1,3
/proc/33299/task/33399/stat : 33399 (fscip) S 33296 33299 30916 0 -1 1077936192 65 0 0 0 0 0 0 0 20 0 3 0 4817544 1845374976 374225 134679101440 4194304 16623229 140725752050448 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 55746560 140725752054806 140725752054922 140725752054922 140725752061936 0
Current children cumulated CPU time: 221.57 s
Current children cumulated vsize: 1802124 KiB
Current children cumulated memory: 1496900 KiB
[startup+282.3 s]
/proc/loadavg: 4.09 4.13 4.09 5/267 33497
/proc/meminfo: memFree=119021484/131524600 swapFree=131071996/131071996
[pid=33299] ppid=33296 vsize=1867660 memory=1499132 CPUtime=281.41 cores=1,3
/proc/33299/stat : 33299 (fscip) S 33296 33299 30916 0 -1 1077936128 777784 0 0 0 28058 83 0 0 20 0 3 0 4816403 1912483840 374783 134679101440 4194304 16623229 140725752050448 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 55746560 140725752054806 140725752054922 140725752054922 140725752061936 0
/proc/33299/statm: 466915 374783 2998 3035 0 457720 0
[pid=33299/tid=33397] ppid=33296 vsize=1867660 memory=1499120 CPUtime=270.25 cores=1,3
/proc/33299/task/33397/stat : 33397 (fscip) R 33296 33299 30916 0 -1 4194368 648406 0 0 0 26966 59 0 0 20 0 3 0 4817498 1912483840 374783 134679101440 4194304 16623229 140725752050448 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 55746560 140725752054806 140725752054922 140725752054922 140725752061936 0
[pid=33299/tid=33399] ppid=33296 vsize=1867660 memory=11584 CPUtime=0 cores=1,3
/proc/33299/task/33399/stat : 33399 (fscip) S 33296 33299 30916 0 -1 1077936192 69 0 0 0 0 0 0 0 20 0 3 0 4817544 1912483840 374783 134679101440 4194304 16623229 140725752050448 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 55746560 140725752054806 140725752054922 140725752054922 140725752061936 0
Current children cumulated CPU time: 281.41 s
Current children cumulated vsize: 1867660 KiB
################
# More data... #
################
[pid=33299] ppid=33296 vsize=3319100 memory=1999100 CPUtime=3392.24 cores=1,3
/proc/33299/stat : 33299 (fscip) S 33296 33299 30916 0 -1 1077936128 3025998 0 0 0 338982 242 0 0 20 0 3 0 4816403 3398758400 499775 134679101440 4194304 16623229 140725752050448 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 55746560 140725752054806 140725752054922 140725752054922 140725752061936 0
/proc/33299/statm: 829775 499775 3030 3035 0 783403 0
[pid=33299/tid=33397] ppid=33296 vsize=3319100 memory=1995800 CPUtime=3380.97 cores=1,3
/proc/33299/task/33397/stat : 33397 (fscip) R 33296 33299 30916 0 -1 4194368 2894476 0 0 0 337885 212 0 0 20 0 3 0 4817498 3398758400 499775 134679101440 4194304 16623229 140725752050448 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 55746560 140725752054806 140725752054922 140725752054922 140725752061936 0
[pid=33299/tid=33399] ppid=33296 vsize=3319100 memory=1995800 CPUtime=0.04 cores=1,3
/proc/33299/task/33399/stat : 33399 (fscip) S 33296 33299 30916 0 -1 1077936192 306 0 0 0 1 3 0 0 20 0 3 0 4817544 3398758400 499775 134679101440 4194304 16623229 140725752050448 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 55746560 140725752054806 140725752054922 140725752054922 140725752061936 0
Current children cumulated CPU time: 3392.24 s
Current children cumulated vsize: 3319100 KiB
Current children cumulated memory: 1999100 KiB
[startup+3462.3 s]
/proc/loadavg: 4.16 4.19 4.13 5/267 35107
/proc/meminfo: memFree=99355748/131524600 swapFree=131071996/131071996
[pid=33299] ppid=33296 vsize=3319100 memory=1999100 CPUtime=3452.06 cores=1,3
/proc/33299/stat : 33299 (fscip) S 33296 33299 30916 0 -1 1077936128 3028614 0 0 0 344964 242 0 0 20 0 3 0 4816403 3398758400 499775 134679101440 4194304 16623229 140725752050448 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 55746560 140725752054806 140725752054922 140725752054922 140725752061936 0
/proc/33299/statm: 829775 499775 3030 3035 0 783403 0
[pid=33299/tid=33397] ppid=33296 vsize=3319100 memory=1995800 CPUtime=3440.79 cores=1,3
/proc/33299/task/33397/stat : 33397 (fscip) R 33296 33299 30916 0 -1 4194368 2897082 0 0 0 343867 212 0 0 20 0 3 0 4817498 3398758400 499775 134679101440 4194304 16623229 140725752050448 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 55746560 140725752054806 140725752054922 140725752054922 140725752061936 0
[pid=33299/tid=33399] ppid=33296 vsize=3319100 memory=1995800 CPUtime=0.04 cores=1,3
/proc/33299/task/33399/stat : 33399 (fscip) S 33296 33299 30916 0 -1 1077936192 309 0 0 0 1 3 0 0 20 0 3 0 4817544 3398758400 499775 134679101440 4194304 16623229 140725752050448 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 55746560 140725752054806 140725752054922 140725752054922 140725752061936 0
Current children cumulated CPU time: 3452.06 s
Current children cumulated vsize: 3319100 KiB
Current children cumulated memory: 1999100 KiB
[startup+3522.3 s]
/proc/loadavg: 4.17 4.18 4.13 5/267 35288
/proc/meminfo: memFree=99351880/131524600 swapFree=131071996/131071996
[pid=33299] ppid=33296 vsize=3319100 memory=1999100 CPUtime=3511.89 cores=1,3
/proc/33299/stat : 33299 (fscip) S 33296 33299 30916 0 -1 1077936128 3030425 0 0 0 350947 242 0 0 20 0 3 0 4816403 3398758400 499775 134679101440 4194304 16623229 140725752050448 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 55746560 140725752054806 140725752054922 140725752054922 140725752061936 0
/proc/33299/statm: 829775 499775 3030 3035 0 783403 0
[pid=33299/tid=33397] ppid=33296 vsize=3319100 memory=1999100 CPUtime=3500.62 cores=1,3
/proc/33299/task/33397/stat : 33397 (fscip) R 33296 33299 30916 0 -1 4194368 2898865 0 0 0 349849 213 0 0 20 0 3 0 4817498 3398758400 499775 134679101440 4194304 16623229 140725752050448 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 55746560 140725752054806 140725752054922 140725752054922 140725752061936 0
[pid=33299/tid=33399] ppid=33296 vsize=3319100 memory=13361564 CPUtime=0.04 cores=1,3
/proc/33299/task/33399/stat : 33399 (fscip) S 33296 33299 30916 0 -1 1077936192 313 0 0 0 1 3 0 0 20 0 3 0 4817544 3398758400 499775 134679101440 4194304 16623229 140725752050448 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 55746560 140725752054806 140725752054922 140725752054922 140725752061936 0
Current children cumulated CPU time: 3511.89 s
Current children cumulated vsize: 3319100 KiB
Current children cumulated memory: 1999100 KiB
[startup+3582.3 s]
/proc/loadavg: 4.12 4.16 4.12 5/267 35298
/proc/meminfo: memFree=99348816/131524600 swapFree=131071996/131071996
[pid=33299] ppid=33296 vsize=3319100 memory=1999100 CPUtime=3571.71 cores=1,3
/proc/33299/stat : 33299 (fscip) S 33296 33299 30916 0 -1 1077936128 3032574 0 0 0 356928 243 0 0 20 0 3 0 4816403 3398758400 499775 134679101440 4194304 16623229 140725752050448 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 55746560 140725752054806 140725752054922 140725752054922 140725752061936 0
/proc/33299/statm: 829775 499775 3030 3035 0 783403 0
[pid=33299/tid=33397] ppid=33296 vsize=3319100 memory=11584 CPUtime=3560.43 cores=1,3
/proc/33299/task/33397/stat : 33397 (fscip) R 33296 33299 30916 0 -1 4194368 2900968 0 0 0 355830 213 0 0 20 0 3 0 4817498 3398758400 499775 134679101440 4194304 16623229 140725752050448 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 55746560 140725752054806 140725752054922 140725752054922 140725752061936 0
[pid=33299/tid=33399] ppid=33296 vsize=3319100 memory=-7523662869084332151 CPUtime=0.05 cores=1,3
/proc/33299/task/33399/stat : 33399 (fscip) S 33296 33299 30916 0 -1 1077936192 318 0 0 0 1 4 0 0 20 0 3 0 4817544 3398758400 499775 134679101440 4194304 16623229 140725752050448 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 55746560 140725752054806 140725752054922 140725752054922 140725752061936 0
Current children cumulated CPU time: 3571.71 s
Current children cumulated vsize: 3319100 KiB
Current children cumulated memory: 1999100 KiB
[startup+3598.5 s]
# the end of solver process 33299 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3585.42 s, system=2.45329 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.12 4.16 4.12 5/267 35298
/proc/meminfo: memFree=99348832/131524600 swapFree=131071996/131071996
[pid=33299] ppid=33296 vsize=3319100 memory=1999100 CPUtime=3573.41 cores=1,3
/proc/33299/stat : 33299 (fscip) S 33296 33299 30916 0 -1 1077936128 3032710 0 0 0 357098 243 0 0 20 0 3 0 4816403 3398758400 499775 134679101440 4194304 16623229 140725752050448 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 55746560 140725752054806 140725752054922 140725752054922 140725752061936 0
/proc/33299/statm: 829775 499775 3030 3035 0 783403 0
[pid=33299/tid=33397] ppid=33296 vsize=3319100 memory=2708 CPUtime=3562.13 cores=1,3
/proc/33299/task/33397/stat : 33397 (fscip) R 33296 33299 30916 0 -1 4194368 2901103 0 0 0 356000 213 0 0 20 0 3 0 4817498 3398758400 499775 134679101440 4194304 16623229 140725752050448 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 55746560 140725752054806 140725752054922 140725752054922 140725752061936 0
[pid=33299/tid=33399] ppid=33296 vsize=3319100 memory=4892 CPUtime=0.05 cores=1,3
/proc/33299/task/33399/stat : 33399 (fscip) S 33296 33299 30916 0 -1 1077936192 318 0 0 0 1 4 0 0 20 0 3 0 4817544 3398758400 499775 134679101440 4194304 16623229 140725752050448 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 55746560 140725752054806 140725752054922 140725752054922 140725752061936 0
Current children cumulated CPU time: 3573.41 s
Current children cumulated vsize: 3319100 KiB
Current children cumulated memory: 1999100 KiB
[startup+3590.4 s]
/proc/loadavg: 4.11 4.16 4.12 5/267 35298
/proc/meminfo: memFree=99348932/131524600 swapFree=131071996/131071996
[pid=33299] ppid=33296 vsize=3319100 memory=1999100 CPUtime=3579.79 cores=1,3
/proc/33299/stat : 33299 (fscip) S 33296 33299 30916 0 -1 1077936128 3033349 0 0 0 357736 243 0 0 20 0 3 0 4816403 3398758400 499775 134679101440 4194304 16623229 140725752050448 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 55746560 140725752054806 140725752054922 140725752054922 140725752061936 0
/proc/33299/statm: 829775 499775 3030 3035 0 783403 0
[pid=33299/tid=33397] ppid=33296 vsize=3319100 memory=12936 CPUtime=3568.51 cores=1,3
/proc/33299/task/33397/stat : 33397 (fscip) R 33296 33299 30916 0 -1 4194368 2901741 0 0 0 356638 213 0 0 20 0 3 0 4817498 3398758400 499775 134679101440 4194304 16623229 140725752050448 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 55746560 140725752054806 140725752054922 140725752054922 140725752061936 0
[pid=33299/tid=33399] ppid=33296 vsize=3319100 memory=11584 CPUtime=0.05 cores=1,3
/proc/33299/task/33399/stat : 33399 (fscip) S 33296 33299 30916 0 -1 1077936192 319 0 0 0 1 4 0 0 20 0 3 0 4817544 3398758400 499775 134679101440 4194304 16623229 140725752050448 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 55746560 140725752054806 140725752054922 140725752054922 140725752061936 0
Current children cumulated CPU time: 3579.79 s
Current children cumulated vsize: 3319100 KiB
Current children cumulated memory: 1999100 KiB
[startup+3593.6 s]
/proc/loadavg: 4.10 4.16 4.12 5/267 35299
/proc/meminfo: memFree=99348440/131524600 swapFree=131071996/131071996
[pid=33299] ppid=33296 vsize=3319100 memory=1999100 CPUtime=3582.98 cores=1,3
/proc/33299/stat : 33299 (fscip) S 33296 33299 30916 0 -1 1077936128 3033482 0 0 0 358055 243 0 0 20 0 3 0 4816403 3398758400 499775 134679101440 4194304 16623229 140725752050448 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 55746560 140725752054806 140725752054922 140725752054922 140725752061936 0
/proc/33299/statm: 829775 499775 3030 3035 0 783403 0
[pid=33299/tid=33397] ppid=33296 vsize=3319100 memory=1999100 CPUtime=3571.7 cores=1,3
/proc/33299/task/33397/stat : 33397 (fscip) R 33296 33299 30916 0 -1 4194368 2901871 0 0 0 356957 213 0 0 20 0 3 0 4817498 3398758400 499775 134679101440 4194304 16623229 140725752050448 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 55746560 140725752054806 140725752054922 140725752054922 140725752061936 0
[pid=33299/tid=33399] ppid=33296 vsize=3319100 memory=31960 CPUtime=0.05 cores=1,3
/proc/33299/task/33399/stat : 33399 (fscip) S 33296 33299 30916 0 -1 1077936192 321 0 0 0 1 4 0 0 20 0 3 0 4817544 3398758400 499775 134679101440 4194304 16623229 140725752050448 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 55746560 140725752054806 140725752054922 140725752054922 140725752061936 0
Current children cumulated CPU time: 3582.98 s
Current children cumulated vsize: 3319100 KiB
Current children cumulated memory: 1999100 KiB
[startup+3596.8 s]
/proc/loadavg: 4.10 4.16 4.12 5/267 35299
/proc/meminfo: memFree=99348468/131524600 swapFree=131071996/131071996
[pid=33299] ppid=33296 vsize=3319100 memory=1999100 CPUtime=3586.17 cores=1,3
/proc/33299/stat : 33299 (fscip) S 33296 33299 30916 0 -1 1077936128 3033654 0 0 0 358374 243 0 0 20 0 3 0 4816403 3398758400 499775 134679101440 4194304 16623229 140725752050448 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 55746560 140725752054806 140725752054922 140725752054922 140725752061936 0
/proc/33299/statm: 829775 499775 3030 3035 0 783403 0
[pid=33299/tid=33397] ppid=33296 vsize=3319100 memory=1999100 CPUtime=3574.89 cores=1,3
/proc/33299/task/33397/stat : 33397 (fscip) R 33296 33299 30916 0 -1 4194368 2902043 0 0 0 357276 213 0 0 20 0 3 0 4817498 3398758400 499775 134679101440 4194304 16623229 140725752050448 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 55746560 140725752054806 140725752054922 140725752054922 140725752061936 0
[pid=33299/tid=33399] ppid=33296 vsize=3319100 memory=1999100 CPUtime=0.05 cores=1,3
/proc/33299/task/33399/stat : 33399 (fscip) S 33296 33299 30916 0 -1 1077936192 321 0 0 0 1 4 0 0 20 0 3 0 4817544 3398758400 499775 134679101440 4194304 16623229 140725752050448 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 55746560 140725752054806 140725752054922 140725752054922 140725752061936 0
Current children cumulated CPU time: 3586.17 s
Current children cumulated vsize: 3319100 KiB
Current children cumulated memory: 1999100 KiB
[startup+3597.6 s]
/proc/loadavg: 4.10 4.16 4.12 5/267 35299
/proc/meminfo: memFree=99348476/131524600 swapFree=131071996/131071996
[pid=33299] ppid=33296 vsize=3319100 memory=1999100 CPUtime=3586.97 cores=1,3
/proc/33299/stat : 33299 (fscip) S 33296 33299 30916 0 -1 1077936128 3033662 0 0 0 358454 243 0 0 20 0 3 0 4816403 3398758400 499775 134679101440 4194304 16623229 140725752050448 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 55746560 140725752054806 140725752054922 140725752054922 140725752061936 0
/proc/33299/statm: 829775 499775 3030 3035 0 783403 0
[pid=33299/tid=33397] ppid=33296 vsize=3319100 memory=12672 CPUtime=3575.69 cores=1,3
/proc/33299/task/33397/stat : 33397 (fscip) R 33296 33299 30916 0 -1 4194368 2902050 0 0 0 357356 213 0 0 20 0 3 0 4817498 3398758400 499775 134679101440 4194304 16623229 140725752050448 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 55746560 140725752054806 140725752054922 140725752054922 140725752061936 0
[pid=33299/tid=33399] ppid=33296 vsize=3319100 memory=12936 CPUtime=0.05 cores=1,3
/proc/33299/task/33399/stat : 33399 (fscip) S 33296 33299 30916 0 -1 1077936192 321 0 0 0 1 4 0 0 20 0 3 0 4817544 3398758400 499775 134679101440 4194304 16623229 140725752050448 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 55746560 140725752054806 140725752054922 140725752054922 140725752061936 0
Current children cumulated CPU time: 3586.97 s
Current children cumulated vsize: 3319100 KiB
Current children cumulated memory: 1999100 KiB
[startup+3598 s]*
/proc/loadavg: 4.10 4.16 4.12 5/267 35348
/proc/meminfo: memFree=101827232/131524600 swapFree=131071996/131071996
[pid=33299] ppid=33296 vsize=3319100 memory=1999100 CPUtime=3587.37 cores=1,3
/proc/33299/stat : 33299 (fscip) R 33296 33299 30916 0 -1 1077936128 3033670 0 0 0 358494 243 0 0 20 0 3 0 4816403 3398758400 499775 134679101440 4194304 16623229 140725752050448 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 55746560 140725752054806 140725752054922 140725752054922 140725752061936 0
/proc/33299/statm: 829775 499775 3030 3035 0 783403 0
[pid=33299/tid=33397] ppid=33296 vsize=3319100 memory=-5155633496372767621 CPUtime=3576.09 cores=1,3
/proc/33299/task/33397/stat : 33397 (fscip) R 33296 33299 30916 0 -1 4194368 2902061 0 0 0 357396 213 0 0 20 0 3 0 4817498 3398758400 499775 134679101440 4194304 16623229 140725752050448 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 55746560 140725752054806 140725752054922 140725752054922 140725752061936 0
[pid=33299/tid=33399] ppid=33296 vsize=3319100 memory=2660 CPUtime=0.05 cores=1,3
/proc/33299/task/33399/stat : 33399 (fscip) S 33296 33299 30916 0 -1 1077936192 321 0 0 0 1 4 0 0 20 0 3 0 4817544 3398758400 499775 134679101440 4194304 16623229 140725752050448 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 55746560 140725752054806 140725752054922 140725752054922 140725752061936 0
Current children cumulated CPU time: 3587.37 s
Current children cumulated vsize: 3319100 KiB
Current children cumulated memory: 1999100 KiB
[startup+3598.4 s]
/proc/loadavg: 4.10 4.16 4.12 5/267 35348
/proc/meminfo: memFree=101827232/131524600 swapFree=131071996/131071996
[pid=33299] ppid=33296 vsize=2028640 memory=1586512 CPUtime=3587.76 cores=1,3
/proc/33299/stat : 33299 (fscip) R 33296 33299 30916 0 -1 4194304 3036200 0 0 0 358533 243 0 0 20 0 2 0 4816403 2077327360 396628 134679101440 4194304 16623229 140725752050448 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 55746560 140725752054806 140725752054922 140725752054922 140725752061936 0
/proc/33299/statm: 507160 396628 3030 3035 0 489388 0
[pid=33299/tid=33399] ppid=33296 vsize=2028640 memory=12936 CPUtime=0.05 cores=1,3
/proc/33299/task/33399/stat : 33399 (fscip) S 33296 33299 30916 0 -1 1077936192 321 0 0 0 1 4 0 0 20 0 2 0 4817544 2077327360 396628 134679101440 4194304 16623229 140725752050448 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 55746560 140725752054806 140725752054922 140725752054922 140725752061936 0
Current children cumulated CPU time: 3587.76 s
Current children cumulated vsize: 2028640 KiB
Current children cumulated memory: 1586512 KiB
Child status: 0
Real time (s): 3598.5
CPU time (s): 3587.87
CPU user time (s): 3585.42
CPU system time (s): 2.45329
CPU usage (%): 99.7047
Max. virtual memory (cumulated for all children) (KiB): 3319100
Max. memory (cumulated for all children) (KiB): 1999100
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3585.42
system time used= 2.45329
maximum resident set size= 1999100
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3042226
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= 5807
involuntary context switches= 2114
# summary of solver processes directly reported to runsolver:
# pid: 33299
# total CPU time (s): 3587.87
# total CPU user time (s): 3585.42
# total CPU system time (s): 2.45329
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.10526 second user time and 17.0646 second system time
The end
Begin job on nodeC014 at 2024-07-31 01:30:08
IDJOB=4464458
IDBENCH=155589
IDSOLVER=3092
FILE ID=nodeC014/4464458-1722382208
RUNJOBID= nodeC014-1722378594-30928
SLURM_JOB_ID= 8249827
Free space on /tmp= 889924 MiB
SOLVER NAME= FiberSCIP 2024-07-30
BENCH NAME= PB24/normalized-PB11/DEC-LIN/lopes/normalized-21.opb
COMMAND LINE= ./fscip settings/racing.prm BENCHNAME -qsol -t TIMEOUT -sth 1
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4464458-1722382208/watcher-4464458-1722382208 -o /tmp/evaluation-result-4464458-1722382208/solver-4464458-1722382208 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC014-1722378594-30928 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4464458-1722382208.opb -qsol -t 3600 -sth 1
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= abfa2b7f448cb4339f1b1eeb1bae5b59
RANDOM SEED=99795441
nodeC014.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 : 3673.454
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7000.06
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 : 3676.617
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7007.10
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.283
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7000.06
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 : 3663.085
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7007.10
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 : 3673.464
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7000.06
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 : 3675.963
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7007.10
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.082
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7000.06
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 : 3606.985
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7007.10
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 121442964 kB
MemAvailable: 124640896 kB
Buffers: 97664 kB
Cached: 3897692 kB
SwapCached: 0 kB
Active: 349808 kB
Inactive: 9163968 kB
Active(anon): 1524 kB
Inactive(anon): 5538284 kB
Active(file): 348284 kB
Inactive(file): 3625684 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 34788 kB
Writeback: 0 kB
AnonPages: 5515928 kB
Mapped: 112056 kB
Shmem: 21336 kB
KReclaimable: 127220 kB
Slab: 216520 kB
SReclaimable: 127220 kB
SUnreclaim: 89300 kB
KernelStack: 4208 kB
PageTables: 19984 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 4138168 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 9888 kB
HardwareCorrupted: 0 kB
AnonHugePages: 1411072 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: 189140 kB
DirectMap2M: 10070016 kB
DirectMap1G: 125829120 kB
Free space on /tmp at the end= 889844 MiB
End job on nodeC014 at 2024-07-31 02:30:07