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.49/0.53 c Default LC presolving (default).
0.49/0.53 c ** Before presolving: virtualMemUsedAtLc = 388565348, getVmSize() = 254042112, SCIPgetMemUsed() = 201743130, SCIPgetMemTotal() = 221567698, SCIPgetMemExternEstim() = 166997650
0.49/0.53 c ** set memory limit for presolving in LC to 8.79598e+12 for SCIP **
9.26/9.34 c ** Estimated virtualMemUsedAtSolver = 500991840, getVmSize() = 635355136, SCIPgetMemUsed() = 377985486, SCIPgetMemTotal() = 584490110, SCIPgetMemExternEstim() = 166997650
9.26/9.34 c ** set memory limit for solvers to 4.39803e+12 for each SCIP **
9.26/9.34 c Original Problem :
9.26/9.34 c Problem name : instance-4446410-1721334260
9.26/9.34 c Variables : 7351 (7351 binary, 0 integer, 0 implicit integer, 0 continuous)
9.26/9.34 c Constraints : 155824
9.26/9.34 c Objective sense : minimize
9.26/9.34 c Presolved Problem :
9.26/9.34 c Variables : 7350 (7350 binary, 0 integer, 0 implicit integer, 0 continuous)
9.26/9.34 c Constraints : 153618
9.26/9.34 c Constraints : Number
9.26/9.34 c knapsack : 15969
9.26/9.34 c setppc : 31648
9.26/9.34 c linear : 1
9.26/9.34 c logicor : 106000
9.26/9.34 c ** Instance transfer method used: 0
9.55/9.63 c ** ParaScipInstance copy does not increase the number of variables. **
9.76/9.84 c LC is working with racing ramp-up and with rebuilding tree after racing.
9.76/9.84 c Nodes Active
9.76/9.84 c Time Nodes Left Solvers Best Integer Best Node Gap Best Node(S) Gap(S)
118.61/119.01 c 119 2 1 1 - 0.0000 -
127.18/127.64 c 128 9 8 1 - 0.0000 -
132.26/132.71 c 133 13 12 1 - 0.0000 -
157.00/157.53 c 158 14 13 1 - 0.0000 -
174.65/175.22 c 175 15 14 1 - 0.0000 -
181.93/182.56 c 183 22 21 1 - 0.0000 -
188.91/189.57 c 190 33 32 1 - 0.0000 -
197.49/198.17 c 198 38 37 1 - 0.0000 -
202.97/203.60 c 204 40 39 1 - 0.0000 -
210.45/211.17 c 211 44 43 1 - 0.0000 -
216.44/217.15 c 217 52 51 1 - 0.0000 -
222.22/222.93 c 223 56 55 1 - 0.0000 -
227.90/228.67 c 229 61 60 1 - 0.0000 -
235.58/236.34 c 236 62 61 1 - 0.0000 -
243.27/244.02 c 244 87 86 1 - 0.0000 -
248.54/249.39 c 249 98 97 1 - 0.0000 -
255.82/256.63 c 257 102 101 1 - 0.0000 -
271.68/272.57 c 273 105 104 1 - 0.0000 -
278.27/279.15 c 279 109 108 1 - 0.0000 -
283.44/284.39 c 284 119 118 1 - 0.0000 -
289.93/290.81 c 291 122 121 1 - 0.0000 -
295.31/296.21 c 296 149 148 1 - 0.0000 -
300.80/301.75 c 302 154 153 1 - 0.0000 -
307.36/308.37 c 308 176 175 1 - 0.0000 -
316.34/317.31 c 317 184 183 1 - 0.0000 -
322.51/323.58 c 324 192 191 1 - 0.0000 -
329.28/330.34 c 330 202 201 1 - 0.0000 -
334.44/335.58 c 336 206 205 1 - 0.0000 -
339.81/340.98 c 341 208 207 1 - 0.0000 -
345.59/346.73 c 347 216 215 1 - 0.0000 -
350.87/352.06 c 352 219 218 1 - 0.0000 -
362.51/363.71 c 364 222 221 1 - 0.0000 -
369.68/370.92 c 371 226 225 1 - 0.0000 -
377.44/378.73 c 379 243 242 1 - 0.0000 -
383.11/384.43 c 384 249 248 1 - 0.0000 -
390.96/392.33 c 392 256 255 1 - 0.0000 -
397.24/398.66 c 399 266 265 1 - 0.0000 -
404.10/405.53 c 406 277 276 1 - 0.0000 -
413.15/414.62 c 415 287 286 1 - 0.0000 -
420.21/421.77 c 422 294 293 1 - 0.0000 -
426.59/428.19 c 428 299 298 1 - 0.0000 -
431.65/433.26 c 433 310 309 1 - 0.0000 -
444.41/446.02 c 446 312 311 1 - 0.0000 -
455.64/457.38 c 457 320 319 1 - 0.0000 -
463.80/465.52 c 466 325 324 1 - 0.0000 -
468.87/470.65 c 471 332 331 1 - 0.0000 -
474.75/476.59 c 477 339 338 1 - 0.0000 -
483.90/485.72 c 486 342 341 1 - 0.0000 -
489.57/491.46 c 491 346 345 1 - 0.0000 -
498.83/500.71 c 501 352 351 1 - 0.0000 -
506.61/508.50 c 509 362 361 1 - 0.0000 -
512.28/514.22 c 514 367 366 1 - 0.0000 -
522.04/524.09 c 524 374 373 1 - 0.0000 -
527.11/529.11 c 529 378 377 1 - 0.0000 -
540.05/542.17 c 542 382 381 1 - 0.0000 -
546.12/548.29 c 548 391 390 1 - 0.0000 -
552.68/554.85 c 555 405 404 1 - 0.0000 -
557.75/559.90 c 560 410 409 1 - 0.0000 -
567.12/569.32 c 569 414 413 1 - 0.0000 -
574.49/576.78 c 577 427 426 1 - 0.0000 -
579.96/582.22 c 582 448 447 1 - 0.0000 -
585.73/588.07 c 588 460 459 1 - 0.0000 -
591.90/594.28 c 594 472 471 1 - 0.0000 -
598.06/600.46 c 600 489 488 1 - 0.0000 -
603.33/605.70 c 606 500 497 1 - 0.0000 -
608.61/611.02 c 611 510 507 1 - 0.0000 -
616.37/618.86 c 619 516 513 1 - 0.0000 -
626.42/628.90 c 629 519 516 1 - 0.0000 -
642.24/644.84 c 645 522 519 1 - 0.0000 -
648.60/651.26 c 651 532 527 1 - 0.0000 -
658.66/661.38 c 661 537 532 1 - 0.0000 -
666.42/669.17 c 669 545 540 1 - 0.0000 -
676.77/679.58 c 680 547 542 1 - 0.0000 -
683.83/686.67 c 687 550 545 1 - 0.0000 -
690.21/693.06 c 693 560 555 1 - 0.0000 -
697.87/700.74 c 701 562 557 1 - 0.0000 -
703.14/706.03 c 706 575 568 1 - 0.0000 -
714.30/717.28 c 717 583 574 1 - 0.0000 -
724.84/727.89 c 728 592 583 1 - 0.0000 -
731.33/734.30 c 734 602 591 1 - 0.0000 -
747.95/751.00 c 751 613 600 1 - 0.0000 -
754.11/757.26 c 757 623 610 1 - 0.0000 -
760.68/763.82 c 764 629 616 1 - 0.0000 -
766.54/769.73 c 770 638 625 1 - 0.0000 -
772.62/775.81 c 776 643 630 1 - 0.0000 -
777.90/781.13 c 781 648 635 1 - 0.0000 -
788.35/791.63 c 792 655 642 1 - 0.0000 -
798.30/801.60 c 802 669 656 1 - 0.0000 -
809.36/812.73 c 813 672 659 1 - 0.0000 -
822.60/826.08 c 826 679 662 1 - 0.0000 -
832.26/835.74 c 836 682 665 1 - 0.0000 -
839.63/843.17 c 843 688 671 1 - 0.0000 -
847.38/850.98 c 851 698 681 1 - 0.0000 -
853.16/856.71 c 857 702 685 1 - 0.0000 -
859.33/862.91 c 863 712 695 1 - 0.0000 -
870.28/873.96 c 874 725 706 1 - 0.0000 -
878.35/882.01 c 882 732 713 1 - 0.0000 -
893.08/896.81 c 897 736 717 1 - 0.0000 -
901.25/905.03 c 905 739 720 1 - 0.0000 -
906.92/910.78 c 911 748 729 1 - 0.0000 -
919.16/923.03 c 923 766 741 1 - 0.0000 -
930.41/934.31 c 934 769 744 1 - 0.0000 -
936.19/940.10 c 940 785 756 1 - 0.0000 -
941.67/945.68 c 946 790 761 1 - 0.0000 -
954.71/958.75 c 959 795 766 1 - 0.0000 -
960.98/965.05 c 965 802 773 1 - 0.0000 -
977.72/981.80 c 982 819 782 1 - 0.0000 -
983.59/987.74 c 988 831 794 1 - 0.0000 -
989.87/994.01 c 994 841 804 1 - 0.0000 -
996.13/1000.38 c 1000 846 807 1 - 0.0000 -
1001.71/1005.99 c 1006 854 815 1 - 0.0000 -
1007.19/1011.42 c 1011 863 823 1 - 0.0000 -
1020.74/1025.09 c 1025 872 830 1 - 0.0000 -
1032.19/1036.56 c 1037 883 841 1 - 0.0000 -
1037.57/1041.95 c 1042 893 851 1 - 0.0000 -
1043.24/1047.69 c 1048 909 865 1 - 0.0000 -
1048.33/1052.72 c 1053 914 868 1 - 0.0000 -
1054.30/1058.72 c 1059 925 875 1 - 0.0000 -
1062.17/1066.62 c 1067 938 884 1 - 0.0000 -
1067.44/1071.93 c 1072 950 896 1 - 0.0000 -
1075.11/1079.65 c 1080 962 902 1 - 0.0000 -
1080.18/1084.73 c 1085 967 907 1 - 0.0000 -
1085.36/1089.92 c 1090 976 916 1 - 0.0000 -
1090.83/1095.43 c 1095 983 923 1 - 0.0000 -
1100.18/1104.87 c 1105 992 932 1 - 0.0000 -
1106.55/1111.27 c 1111 1004 942 1 - 0.0000 -
1112.62/1117.39 c 1117 1008 946 1 - 0.0000 -
1123.96/1128.79 c 1129 1020 958 1 - 0.0000 -
1129.73/1134.59 c 1135 1035 973 1 - 0.0000 -
1135.90/1140.74 c 1141 1048 986 1 - 0.0000 -
1143.18/1148.06 c 1148 1053 991 1 - 0.0000 -
1149.34/1154.27 c 1154 1060 996 1 - 0.0000 -
1154.52/1159.49 c 1160 1070 1004 1 - 0.0000 -
1160.00/1164.95 c 1165 1077 1011 1 - 0.0000 -
1166.27/1171.26 c 1171 1091 1025 1 - 0.0000 -
1171.35/1176.39 c 1176 1096 1030 1 - 0.0000 -
1176.53/1181.51 c 1182 1115 1043 1 - 0.0000 -
1187.79/1192.82 c 1193 1116 1044 1 - 0.0000 -
1624.82/1631.43 c 1631 1179 1073 1 - 0.0000 -
1631.40/1638.00 c 1638 1208 1078 1 - 0.0000 -
1673.63/1680.40 c 1680 1209 1079 1 - 0.0000 -
1684.39/1691.21 c 1691 1220 1082 1 - 0.0000 -
1692.36/1699.25 c 1699 1229 1091 1 - 0.0000 -
1706.01/1712.98 c 1713 1245 1105 1 - 0.0000 -
1711.19/1718.17 c 1718 1253 1113 1 - 0.0000 -
1721.65/1728.66 c 1729 1254 1114 1 - 0.0000 -
1727.23/1734.24 c 1734 1260 1120 1 - 0.0000 -
1738.39/1745.49 c 1746 1264 1124 1 - 0.0000 -
1748.16/1755.20 c 1755 1272 1132 1 - 0.0000 -
1756.73/1763.87 c 1764 1282 1142 1 - 0.0000 -
1771.08/1778.28 c 1778 1290 1149 1 - 0.0000 -
1777.05/1784.22 c 1784 1298 1157 1 - 0.0000 -
1792.29/1799.54 c 1800 1302 1161 1 - 0.0000 -
1799.06/1806.38 c 1806 1306 1165 1 - 0.0000 -
1804.93/1812.26 c 1812 1311 1170 1 - 0.0000 -
1810.72/1818.04 c 1818 1315 1174 1 - 0.0000 -
1817.58/1824.96 c 1825 1320 1179 1 - 0.0000 -
1824.45/1831.80 c 1832 1323 1182 1 - 0.0000 -
1847.37/1854.86 c 1855 1328 1187 1 - 0.0000 -
1852.75/1860.22 c 1860 1332 1191 1 - 0.0000 -
1858.03/1865.55 c 1866 1342 1199 1 - 0.0000 -
1865.50/1873.04 c 1873 1356 1209 1 - 0.0000 -
1871.58/1879.12 c 1879 1367 1220 1 - 0.0000 -
1884.13/1891.75 c 1892 1374 1227 1 - 0.0000 -
1890.01/1897.66 c 1898 1384 1237 1 - 0.0000 -
1895.40/1903.01 c 1903 1389 1242 1 - 0.0000 -
1901.77/1909.40 c 1909 1393 1245 1 - 0.0000 -
1907.45/1915.17 c 1915 1408 1256 1 - 0.0000 -
1915.72/1923.44 c 1923 1410 1258 1 - 0.0000 -
1921.10/1928.81 c 1929 1419 1264 1 - 0.0000 -
1926.38/1934.11 c 1934 1426 1270 1 - 0.0000 -
1939.63/1947.45 c 1947 1434 1278 1 - 0.0000 -
1948.31/1956.17 c 1956 1442 1286 1 - 0.0000 -
1954.57/1962.46 c 1962 1449 1293 1 - 0.0000 -
1962.65/1970.58 c 1971 1450 1294 1 - 0.0000 -
1967.83/1975.76 c 1976 1464 0 1 - 0.0000 -
2142.99/2151.59 c 2152 1465 1 1 - 0.0000 -
2154.55/2163.17 c 2163 1472 8 1 - 0.0000 -
2162.53/2171.19 c 2171 1476 12 1 - 0.0000 -
2171.39/2180.01 c 2180 1478 14 1 - 0.0000 -
2182.26/2190.98 c 2191 1481 17 1 - 0.0000 -
2190.93/2199.62 c 2200 1485 21 1 - 0.0000 -
2200.59/2209.36 c 2209 1492 28 1 - 0.0000 -
2207.37/2216.14 c 2216 1493 29 1 - 0.0000 -
2214.35/2223.16 c 2223 1503 39 1 - 0.0000 -
2220.23/2229.08 c 2229 1505 41 1 - 0.0000 -
2226.00/2234.81 c 2235 1521 57 1 - 0.0000 -
2234.37/2243.20 c 2243 1525 61 1 - 0.0000 -
2244.64/2253.55 c 2254 1533 69 1 - 0.0000 -
2250.52/2259.45 c 2259 1539 75 1 - 0.0000 -
2257.20/2266.14 c 2266 1545 81 1 - 0.0000 -
2264.08/2273.04 c 2273 1548 84 1 - 0.0000 -
2269.16/2278.17 c 2278 1562 98 1 - 0.0000 -
2274.83/2283.87 c 2284 1583 119 1 - 0.0000 -
2281.12/2290.14 c 2290 1608 144 1 - 0.0000 -
2288.48/2297.54 c 2298 1612 148 1 - 0.0000 -
2298.55/2307.60 c 2308 1620 156 1 - 0.0000 -
2305.03/2314.15 c 2314 1622 158 1 - 0.0000 -
2310.71/2319.89 c 2320 1628 164 1 - 0.0000 -
2315.89/2325.01 c 2325 1634 170 1 - 0.0000 -
2322.76/2331.98 c 2332 1643 179 1 - 0.0000 -
2327.95/2337.10 c 2337 1647 183 1 - 0.0000 -
2336.92/2346.17 c 2346 1659 195 1 - 0.0000 -
2342.90/2352.12 c 2352 1677 213 1 - 0.0000 -
2348.87/2358.15 c 2358 1687 223 1 - 0.0000 -
2357.63/2366.92 c 2367 1690 226 1 - 0.0000 -
2364.82/2374.17 c 2374 1695 231 1 - 0.0000 -
2370.00/2379.35 c 2379 1699 235 1 - 0.0000 -
2375.37/2384.71 c 2385 1707 243 1 - 0.0000 -
2386.23/2395.67 c 2396 1715 251 1 - 0.0000 -
2397.00/2406.41 c 2406 1717 253 1 - 0.0000 -
2405.07/2414.55 c 2415 1723 259 1 - 0.0000 -
2413.34/2422.86 c 2423 1732 268 1 - 0.0000 -
2420.32/2429.81 c 2430 1742 278 1 - 0.0000 -
2425.30/2434.89 c 2435 1748 284 1 - 0.0000 -
2441.64/2451.29 c 2451 1749 285 1 - 0.0000 -
2446.71/2456.37 c 2456 1758 294 1 - 0.0000 -
2452.29/2461.95 c 2462 1761 297 1 - 0.0000 -
2459.38/2469.05 c 2469 1766 302 1 - 0.0000 -
2472.03/2481.76 c 2482 1772 308 1 - 0.0000 -
2479.41/2489.16 c 2489 1775 311 1 - 0.0000 -
2485.98/2495.79 c 2496 1781 317 1 - 0.0000 -
2498.24/2508.09 c 2508 1791 327 1 - 0.0000 -
2503.62/2513.49 c 2514 1801 337 1 - 0.0000 -
2509.79/2519.69 c 2520 1807 343 1 - 0.0000 -
2518.17/2528.05 c 2528 1815 351 1 - 0.0000 -
2524.04/2533.95 c 2534 1823 359 1 - 0.0000 -
2530.12/2540.02 c 2540 1830 366 1 - 0.0000 -
2535.60/2545.56 c 2546 1835 371 1 - 0.0000 -
2541.57/2551.53 c 2552 1841 377 1 - 0.0000 -
2549.24/2559.24 c 2559 1842 378 1 - 0.0000 -
2566.79/2576.87 c 2577 1845 381 1 - 0.0000 -
2579.04/2589.11 c 2589 1855 391 1 - 0.0000 -
2584.93/2595.03 c 2595 1862 398 1 - 0.0000 -
2594.58/2604.75 c 2605 1870 406 1 - 0.0000 -
2599.97/2610.12 c 2610 1876 412 1 - 0.0000 -
2615.41/2625.68 c 2626 1883 419 1 - 0.0000 -
2623.29/2633.50 c 2634 1887 423 1 - 0.0000 -
2628.87/2639.20 c 2639 1895 431 1 - 0.0000 -
2634.54/2644.83 c 2645 1907 443 1 - 0.0000 -
2641.02/2651.30 c 2651 1912 448 1 - 0.0000 -
2646.29/2656.60 c 2657 1915 451 1 - 0.0000 -
2655.46/2665.81 c 2666 1922 458 1 - 0.0000 -
2660.84/2671.27 c 2671 1929 465 1 - 0.0000 -
2666.02/2676.42 c 2676 1938 474 1 - 0.0000 -
2676.48/2686.94 c 2687 1943 479 1 - 0.0000 -
2684.25/2694.74 c 2695 1946 482 1 - 0.0000 -
2690.24/2700.74 c 2701 1953 489 1 - 0.0000 -
2696.21/2706.72 c 2707 1959 495 1 - 0.0000 -
2701.29/2711.82 c 2712 1963 499 1 - 0.0000 -
2715.54/2726.16 c 2726 1965 501 1 - 0.0000 -
2721.62/2732.28 c 2732 1970 506 1 - 0.0000 -
2727.89/2738.53 c 2739 1981 517 1 - 0.0000 -
2733.17/2743.81 c 2744 1987 523 1 - 0.0000 -
2741.14/2751.83 c 2752 1993 529 1 - 0.0000 -
2746.82/2757.54 c 2758 2003 539 1 - 0.0000 -
2756.19/2766.93 c 2767 2005 541 1 - 0.0000 -
2763.85/2774.65 c 2775 2018 554 1 - 0.0000 -
2770.04/2780.81 c 2781 2023 559 1 - 0.0000 -
2775.11/2785.98 c 2786 2033 569 1 - 0.0000 -
2782.68/2793.51 c 2794 2035 571 1 - 0.0000 -
2790.56/2801.45 c 2801 2038 574 1 - 0.0000 -
2802.42/2813.38 c 2813 2041 577 1 - 0.0000 -
2807.49/2818.50 c 2818 2045 581 1 - 0.0000 -
2814.27/2825.29 c 2825 2049 585 1 - 0.0000 -
2820.55/2831.59 c 2832 2061 597 1 - 0.0000 -
2826.82/2837.85 c 2838 2068 604 1 - 0.0000 -
2835.79/2846.84 c 2847 2073 609 1 - 0.0000 -
2841.56/2852.62 c 2853 2080 616 1 - 0.0000 -
2848.34/2859.46 c 2859 2089 625 1 - 0.0000 -
2854.22/2865.32 c 2865 2092 628 1 - 0.0000 -
2862.09/2873.22 c 2873 2093 629 1 - 0.0000 -
2869.47/2880.65 c 2881 2097 633 1 - 0.0000 -
2875.55/2886.72 c 2887 2107 643 1 - 0.0000 -
2890.19/2901.43 c 2901 2115 651 1 - 0.0000 -
2895.67/2906.95 c 2907 2120 656 1 - 0.0000 -
2905.24/2916.50 c 2916 2123 659 1 - 0.0000 -
2912.91/2924.28 c 2924 2127 663 1 - 0.0000 -
2918.29/2929.68 c 2930 2129 665 1 - 0.0000 -
2928.95/2940.36 c 2940 2131 667 1 - 0.0000 -
2934.34/2945.77 c 2946 2136 672 1 - 0.0000 -
2940.82/2952.20 c 2952 2139 675 1 - 0.0000 -
2946.60/2958.03 c 2958 2148 684 1 - 0.0000 -
2951.68/2963.12 c 2963 2152 688 1 - 0.0000 -
2964.63/2976.13 c 2976 2165 701 1 - 0.0000 -
2974.09/2985.62 c 2986 2171 707 1 - 0.0000 -
2979.17/2990.73 c 2991 2176 712 1 - 0.0000 -
2985.65/2997.22 c 2997 2179 715 1 - 0.0000 -
2994.22/3005.88 c 3006 2182 718 1 - 0.0000 -
2999.41/3011.07 c 3011 2186 722 1 - 0.0000 -
3004.98/3016.61 c 3017 2188 724 1 - 0.0000 -
3015.35/3027.03 c 3027 2196 732 1 - 0.0000 -
3021.93/3033.62 c 3034 2199 735 1 - 0.0000 -
3034.58/3046.34 c 3046 2202 738 1 - 0.0000 -
3041.46/3053.23 c 3053 2206 742 1 - 0.0000 -
3052.82/3064.68 c 3065 2209 745 1 - 0.0000 -
3064.58/3076.47 c 3076 2215 749 1 - 0.0000 -
3073.75/3085.63 c 3086 2223 757 1 - 0.0000 -
3090.98/3102.99 c 3103 2227 761 1 - 0.0000 -
3101.75/3113.76 c 3114 2235 769 1 - 0.0000 -
3107.32/3119.31 c 3119 2237 771 1 - 0.0000 -
3118.59/3130.69 c 3131 2238 772 1 - 0.0000 -
3124.66/3136.75 c 3137 2242 776 1 - 0.0000 -
3132.14/3144.20 c 3144 2252 786 1 - 0.0000 -
3143.10/3155.24 c 3155 2255 789 1 - 0.0000 -
3148.78/3160.91 c 3161 2258 792 1 - 0.0000 -
3154.76/3166.94 c 3167 2265 799 1 - 0.0000 -
3160.53/3172.71 c 3173 2272 806 1 - 0.0000 -
3166.10/3178.31 c 3178 2280 814 1 - 0.0000 -
3176.58/3188.88 c 3189 2289 823 1 - 0.0000 -
3181.65/3193.93 c 3194 2296 830 1 - 0.0000 -
3187.13/3199.44 c 3199 2298 832 1 - 0.0000 -
3193.51/3205.81 c 3206 2309 843 1 - 0.0000 -
3203.48/3215.88 c 3216 2315 849 1 - 0.0000 -
3210.84/3223.26 c 3223 2325 859 1 - 0.0000 -
3219.51/3231.97 c 3232 2330 864 1 - 0.0000 -
3226.28/3238.71 c 3239 2337 871 1 - 0.0000 -
3231.36/3243.85 c 3244 2345 879 1 - 0.0000 -
3237.44/3249.91 c 3250 2348 882 1 - 0.0000 -
3245.31/3257.83 c 3258 2354 888 1 - 0.0000 -
3253.18/3265.75 c 3266 2355 889 1 - 0.0000 -
3259.15/3271.73 c 3272 2364 898 1 - 0.0000 -
3267.43/3280.01 c 3280 2368 902 1 - 0.0000 -
3275.51/3288.14 c 3288 2375 909 1 - 0.0000 -
3281.48/3294.17 c 3294 2379 913 1 - 0.0000 -
3286.65/3299.30 c 3299 2383 917 1 - 0.0000 -
3293.02/3305.72 c 3306 2391 925 1 - 0.0000 -
3305.48/3318.25 c 3318 2396 930 1 - 0.0000 -
3311.15/3323.98 c 3324 2401 935 1 - 0.0000 -
3320.33/3333.13 c 3333 2406 940 1 - 0.0000 -
3330.58/3343.42 c 3343 2409 943 1 - 0.0000 -
3341.04/3353.91 c 3354 2415 947 1 - 0.0000 -
3347.52/3360.43 c 3360 2418 950 1 - 0.0000 -
3353.11/3366.02 c 3366 2421 953 1 - 0.0000 -
3372.04/3385.01 c 3385 2425 957 1 - 0.0000 -
3377.72/3390.73 c 3391 2429 961 1 - 0.0000 -
3386.00/3399.00 c 3399 2432 964 1 - 0.0000 -
3391.47/3404.56 c 3405 2435 967 1 - 0.0000 -
3398.35/3411.44 c 3411 2438 970 1 - 0.0000 -
3411.91/3425.06 c 3425 2441 973 1 - 0.0000 -
3417.59/3430.72 c 3431 2446 978 1 - 0.0000 -
3424.47/3437.61 c 3438 2448 980 1 - 0.0000 -
3432.84/3446.00 c 3446 2455 987 1 - 0.0000 -
3438.92/3452.11 c 3452 2459 991 1 - 0.0000 -
3445.19/3458.47 c 3458 2461 993 1 - 0.0000 -
3452.86/3466.15 c 3466 2465 997 1 - 0.0000 -
3458.23/3471.53 c 3472 2473 1005 1 - 0.0000 -
3466.21/3479.58 c 3480 2481 1011 1 - 0.0000 -
3471.58/3484.96 c 3485 2490 1020 1 - 0.0000 -
3479.96/3493.38 c 3493 2495 1025 1 - 0.0000 -
3495.31/3508.74 c 3509 2498 1028 1 - 0.0000 -
3505.37/3518.81 c 3519 2501 1031 1 - 0.0000 -
3510.74/3524.29 c 3524 2508 1038 1 - 0.0000 -
3517.22/3530.75 c 3531 2521 1051 1 - 0.0000 -
3525.79/3539.32 c 3539 2528 1058 1 - 0.0000 -
3531.87/3545.49 c 3546 2531 1061 1 - 0.0000 -
3540.64/3554.25 c 3554 2536 1066 1 - 0.0000 -
3547.71/3561.35 c 3561 2540 1070 1 - 0.0000 -
3553.98/3567.61 c 3568 2553 1079 1 - 0.0000 -
3563.15/3576.88 c 3577 2561 1085 1 - 0.0000 -
3572.52/3586.27 c 3586 2566 1090 1 - 0.0000 -
3582.20/3595.95 c 3596 2575 1099 1 - 0.0000 -
3586.57/3600.39 c SCIP Status : c solving was interrupted [hard time limit reached]
3586.57/3600.39 c Total Time : 3600.4000
3586.57/3600.39 c solving : 3600.4000
3586.57/3600.39 c presolving : 8.8079 (included in solving)
3586.57/3600.39 c B&B Tree :
3586.57/3600.39 c nodes (total) : 1
3586.57/3600.39 c Solution :
3586.57/3600.39 c Solutions found : 0
3586.57/3600.39 c Primal Bound : -
3586.57/3600.39 c Dual Bound : +0.00000000000000e+00
3586.57/3600.39 c Gap : -
3586.88/3600.63 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 (59958 MiB free)
memory of node 1: 64510 MiB (51010 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4446410-1721334260/watcher-4446410-1721334260 -o /tmp/evaluation-result-4446410-1721334260/solver-4446410-1721334260 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC017-1721330666-1000262 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4446410-1721334260.opb -qsol -t 3600 -sth 1
running on 2 cores: 4,6
CPU governors:
performance: 4 6
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
Linux 4.18.0-301.1.el8.x
Current StackSize limit: 8192 KiB
solver pid=1002308, runsolver pid=1002305
[startup+0.10066 s]*
/proc/loadavg: 4.11 4.11 4.05 5/261 1002309
/proc/meminfo: memFree=113600932/131524600 swapFree=131071996/131071996
[pid=1002308] ppid=1002305 vsize=53080 memory=41188 CPUtime=0.09 cores=4,6
/proc/1002308/stat : 1002308 (fscip) R 1002305 1002308 1000251 0 -1 4194304 8211 0 0 0 8 1 0 0 20 0 1 0 185587902 54353920 10297 134679101440 4194304 16613245 140728190247376 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18822208 18930672 45940736 140728190256147 140728190256263 140728190256263 140728190263280 0
/proc/1002308/statm: 13270 10297 2318 3032 0 9670 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 53080 KiB
Current children cumulated memory: 41188 KiB
[startup+0.205663 s]*
/proc/loadavg: 4.11 4.11 4.05 5/261 1002309
/proc/meminfo: memFree=113571796/131524600 swapFree=131071996/131071996
[pid=1002308] ppid=1002305 vsize=82560 memory=70112 CPUtime=0.19 cores=4,6
/proc/1002308/stat : 1002308 (fscip) R 1002305 1002308 1000251 0 -1 4194304 15477 0 0 0 17 2 0 0 20 0 1 0 185587902 84541440 17528 134679101440 4194304 16613245 140728190247376 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18822208 18930672 45940736 140728190256147 140728190256263 140728190256263 140728190263280 0
/proc/1002308/statm: 20640 17528 2318 3032 0 17040 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 82560 KiB
Current children cumulated memory: 70112 KiB
[startup+0.305644 s]*
/proc/loadavg: 4.11 4.11 4.05 5/261 1002309
/proc/meminfo: memFree=113543432/131524600 swapFree=131071996/131071996
[pid=1002308] ppid=1002305 vsize=111192 memory=98844 CPUtime=0.29 cores=4,6
/proc/1002308/stat : 1002308 (fscip) R 1002305 1002308 1000251 0 -1 4194304 22636 0 0 0 26 3 0 0 20 0 1 0 185587902 113860608 24711 134679101440 4194304 16613245 140728190247376 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18822208 18930672 45940736 140728190256147 140728190256263 140728190256263 140728190263280 0
/proc/1002308/statm: 27798 24711 2318 3032 0 24198 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 111192 KiB
Current children cumulated memory: 98844 KiB
[startup+0.700249 s]
/proc/loadavg: 4.11 4.11 4.05 5/261 1002309
/proc/meminfo: memFree=113427624/131524600 swapFree=131071996/131071996
[pid=1002308] ppid=1002305 vsize=255744 memory=241752 CPUtime=0.68 cores=4,6
/proc/1002308/stat : 1002308 (fscip) R 1002305 1002308 1000251 0 -1 4194304 58821 0 0 0 60 8 0 0 20 0 1 0 185587902 261881856 60438 134679101440 4194304 16613245 140728190247376 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18822208 18930672 45940736 140728190256147 140728190256263 140728190256263 140728190263280 0
/proc/1002308/statm: 63936 60438 2606 3032 0 60336 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 255744 KiB
Current children cumulated memory: 241752 KiB
[startup+1.50023 s]
/proc/loadavg: 4.11 4.11 4.05 5/261 1002309
/proc/meminfo: memFree=113637824/131524600 swapFree=131071996/131071996
[pid=1002308] ppid=1002305 vsize=296548 memory=281104 CPUtime=1.48 cores=4,6
/proc/1002308/stat : 1002308 (fscip) R 1002305 1002308 1000251 0 -1 4194304 73562 0 0 0 135 13 0 0 20 0 1 0 185587902 303665152 70276 134679101440 4194304 16613245 140728190247376 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18822208 18930672 45940736 140728190256147 140728190256263 140728190256263 140728190263280 0
/proc/1002308/statm: 74137 70276 2686 3032 0 70537 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 296548 KiB
Current children cumulated memory: 281104 KiB
[startup+3.10576 s]
/proc/loadavg: 4.10 4.11 4.05 5/261 1002309
/proc/meminfo: memFree=113357760/131524600 swapFree=131071996/131071996
[pid=1002308] ppid=1002305 vsize=373044 memory=356472 CPUtime=3.08 cores=4,6
/proc/1002308/stat : 1002308 (fscip) R 1002305 1002308 1000251 0 -1 4194304 92396 0 0 0 293 15 0 0 20 0 1 0 185587902 381997056 89118 134679101440 4194304 16613245 140728190247376 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18822208 18930672 45940736 140728190256147 140728190256263 140728190256263 140728190263280 0
/proc/1002308/statm: 93261 89118 2734 3032 0 89661 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 373044 KiB
Current children cumulated memory: 356472 KiB
[startup+6.30021 s]
/proc/loadavg: 4.10 4.11 4.05 5/261 1002309
/proc/meminfo: memFree=113353244/131524600 swapFree=131071996/131071996
[pid=1002308] ppid=1002305 vsize=373044 memory=356472 CPUtime=6.27 cores=4,6
/proc/1002308/stat : 1002308 (fscip) R 1002305 1002308 1000251 0 -1 4194304 92417 0 0 0 611 16 0 0 20 0 1 0 185587902 381997056 89118 134679101440 4194304 16613245 140728190247376 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18822208 18930672 45940736 140728190256147 140728190256263 140728190256263 140728190263280 0
/proc/1002308/statm: 93261 89118 2734 3032 0 89661 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 373044 KiB
Current children cumulated memory: 356472 KiB
[startup+12.7006 s]
/proc/loadavg: 4.17 4.13 4.06 5/261 1002359
/proc/meminfo: memFree=121971616/131524600 swapFree=131071996/131071996
[pid=1002308] ppid=1002305 vsize=1208836 memory=1110500 CPUtime=12.63 cores=4,6
/proc/1002308/stat : 1002308 (fscip) S 1002305 1002308 1000251 0 -1 1077936128 212705 0 0 0 1222 41 0 0 20 0 3 0 185587902 1237848064 277625 134679101440 4194304 16613245 140728190247376 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18822208 18930672 45940736 140728190256147 140728190256263 140728190256263 140728190263280 0
/proc/1002308/statm: 302209 277625 2782 3032 0 296115 0
[pid=1002308/tid=1002358] ppid=1002305 vsize=1208836 memory=980204 CPUtime=3.02 cores=4,6
/proc/1002308/task/1002358/stat : 1002358 (fscip) R 1002305 1002308 1000251 0 -1 4194368 84455 0 0 0 285 17 0 0 20 0 3 0 185588836 1237848064 277625 134679101440 4194304 16613245 140728190247376 0 0 0 0 0 2 0 0 0 -1 6 0 0 0 0 0 18822208 18930672 45940736 140728190256147 140728190256263 140728190256263 140728190263280 0
[pid=1002308/tid=1002359] ppid=1002305 vsize=1208836 memory=965628 CPUtime=0 cores=4,6
/proc/1002308/task/1002359/stat : 1002359 (fscip) S 1002305 1002308 1000251 0 -1 1077936192 2 0 0 0 0 0 0 0 20 0 3 0 185588886 1237848064 277625 134679101440 4194304 16613245 140728190247376 0 0 0 0 0 2 1 0 0 -1 4 0 0 0 0 0 18822208 18930672 45940736 140728190256147 140728190256263 140728190256263 140728190263280 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 1208836 KiB
Current children cumulated memory: 1110500 KiB
[startup+25.5003 s]
/proc/loadavg: 4.13 4.12 4.06 5/263 1002362
/proc/meminfo: memFree=120847116/131524600 swapFree=131071996/131071996
[pid=1002308] ppid=1002305 vsize=1503752 memory=1358344 CPUtime=25.36 cores=4,6
/proc/1002308/stat : 1002308 (fscip) S 1002305 1002308 1000251 0 -1 1077936128 283013 0 0 0 2484 52 0 0 20 0 3 0 185587902 1539842048 339586 134679101440 4194304 16613245 140728190247376 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18822208 18930672 45940736 140728190256147 140728190256263 140728190256263 140728190263280 0
/proc/1002308/statm: 375938 339586 2926 3032 0 360234 0
[pid=1002308/tid=1002358] ppid=1002305 vsize=1503752 memory=356472 CPUtime=15.76 cores=4,6
/proc/1002308/task/1002358/stat : 1002358 (fscip) R 1002305 1002308 1000251 0 -1 4194368 154756 0 0 0 1548 28 0 0 20 0 3 0 185588836 1539842048 339586 134679101440 4194304 16613245 140728190247376 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 45940736 140728190256147 140728190256263 140728190256263 140728190263280 0
[pid=1002308/tid=1002359] ppid=1002305 vsize=1503752 memory=11544 CPUtime=0 cores=4,6
/proc/1002308/task/1002359/stat : 1002359 (fscip) S 1002305 1002308 1000251 0 -1 1077936192 9 0 0 0 0 0 0 0 20 0 3 0 185588886 1539842048 339586 134679101440 4194304 16613245 140728190247376 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 45940736 140728190256147 140728190256263 140728190256263 140728190263280 0
Current children cumulated CPU time: 25.36 s
Current children cumulated vsize: 1503752 KiB
Current children cumulated memory: 1358344 KiB
[startup+51.1057 s]
/proc/loadavg: 4.14 4.12 4.06 5/262 1002750
/proc/meminfo: memFree=120779236/131524600 swapFree=131071996/131071996
[pid=1002308] ppid=1002305 vsize=1503752 memory=1360752 CPUtime=50.9 cores=4,6
/proc/1002308/stat : 1002308 (fscip) S 1002305 1002308 1000251 0 -1 1077936128 342284 0 0 0 5033 57 0 0 20 0 3 0 185587902 1539842048 340188 134679101440 4194304 16613245 140728190247376 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18822208 18930672 45940736 140728190256147 140728190256263 140728190256263 140728190263280 0
/proc/1002308/statm: 375938 340188 2926 3032 0 364435 0
[pid=1002308/tid=1002358] ppid=1002305 vsize=1503752 memory=1360752 CPUtime=41.3 cores=4,6
/proc/1002308/task/1002358/stat : 1002358 (fscip) R 1002305 1002308 1000251 0 -1 4194368 214015 0 0 0 4097 33 0 0 20 0 3 0 185588836 1539842048 340188 134679101440 4194304 16613245 140728190247376 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 45940736 140728190256147 140728190256263 140728190256263 140728190263280 0
[pid=1002308/tid=1002359] ppid=1002305 vsize=1503752 memory=1358344 CPUtime=0 cores=4,6
/proc/1002308/task/1002359/stat : 1002359 (fscip) S 1002305 1002308 1000251 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 3 0 185588886 1539842048 340188 134679101440 4194304 16613245 140728190247376 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 45940736 140728190256147 140728190256263 140728190256263 140728190263280 0
Current children cumulated CPU time: 50.9 s
Current children cumulated vsize: 1503752 KiB
Current children cumulated memory: 1360752 KiB
[startup+102.3 s]
/proc/loadavg: 4.18 4.13 4.07 5/262 1002759
/proc/meminfo: memFree=120704872/131524600 swapFree=131071996/131071996
[pid=1002308] ppid=1002305 vsize=1634824 memory=1382292 CPUtime=101.95 cores=4,6
/proc/1002308/stat : 1002308 (fscip) S 1002305 1002308 1000251 0 -1 1077936128 429072 0 0 0 10133 62 0 0 20 0 3 0 185587902 1674059776 345573 134679101440 4194304 16613245 140728190247376 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18822208 18930672 45940736 140728190256147 140728190256263 140728190256263 140728190263280 0
/proc/1002308/statm: 408706 345573 2926 3032 0 390266 0
[pid=1002308/tid=1002358] ppid=1002305 vsize=1634824 memory=1382292 CPUtime=92.35 cores=4,6
/proc/1002308/task/1002358/stat : 1002358 (fscip) R 1002305 1002308 1000251 0 -1 4194368 300789 0 0 0 9197 38 0 0 20 0 3 0 185588836 1674059776 345573 134679101440 4194304 16613245 140728190247376 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 45940736 140728190256147 140728190256263 140728190256263 140728190263280 0
[pid=1002308/tid=1002359] ppid=1002305 vsize=1634824 memory=45552 CPUtime=0 cores=4,6
/proc/1002308/task/1002359/stat : 1002359 (fscip) S 1002305 1002308 1000251 0 -1 1077936192 35 0 0 0 0 0 0 0 20 0 3 0 185588886 1674059776 345573 134679101440 4194304 16613245 140728190247376 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 45940736 140728190256147 140728190256263 140728190256263 140728190263280 0
Current children cumulated CPU time: 101.95 s
Current children cumulated vsize: 1634824 KiB
Current children cumulated memory: 1382292 KiB
[startup+162.3 s]
/proc/loadavg: 4.13 4.12 4.07 5/262 1002769
/proc/meminfo: memFree=120510832/131524600 swapFree=131071996/131071996
[pid=1002308] ppid=1002305 vsize=1831432 memory=1518220 CPUtime=161.78 cores=4,6
/proc/1002308/stat : 1002308 (fscip) S 1002305 1002308 1000251 0 -1 1077936128 537961 0 0 0 16105 73 0 0 20 0 3 0 185587902 1875386368 379555 134679101440 4194304 16613245 140728190247376 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 45940736 140728190256147 140728190256263 140728190256263 140728190263280 0
/proc/1002308/statm: 457858 379555 2974 3032 0 445471 0
[pid=1002308/tid=1002358] ppid=1002305 vsize=1831432 memory=13196 CPUtime=152.18 cores=4,6
/proc/1002308/task/1002358/stat : 1002358 (fscip) R 1002305 1002308 1000251 0 -1 4194368 409598 0 0 0 15169 49 0 0 20 0 3 0 185588836 1875386368 379555 134679101440 4194304 16613245 140728190247376 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 45940736 140728190256147 140728190256263 140728190256263 140728190263280 0
[pid=1002308/tid=1002359] ppid=1002305 vsize=1831432 memory=11544 CPUtime=0 cores=4,6
/proc/1002308/task/1002359/stat : 1002359 (fscip) S 1002305 1002308 1000251 0 -1 1077936192 42 0 0 0 0 0 0 0 20 0 3 0 185588886 1875386368 379555 134679101440 4194304 16613245 140728190247376 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 45940736 140728190256147 140728190256263 140728190256263 140728190263280 0
Current children cumulated CPU time: 161.78 s
Current children cumulated vsize: 1831432 KiB
Current children cumulated memory: 1518220 KiB
[startup+222.3 s]
/proc/loadavg: 4.04 4.10 4.06 5/264 1002950
/proc/meminfo: memFree=120253352/131524600 swapFree=131071996/131071996
[pid=1002308] ppid=1002305 vsize=1896968 memory=1520692 CPUtime=221.62 cores=4,6
/proc/1002308/stat : 1002308 (fscip) S 1002305 1002308 1000251 0 -1 1077936128 599023 0 0 0 22085 77 0 0 20 0 3 0 185587902 1942495232 380173 134679101440 4194304 16613245 140728190247376 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 45940736 140728190256147 140728190256263 140728190256263 140728190263280 0
/proc/1002308/statm: 474242 380173 2974 3032 0 452676 0
[pid=1002308/tid=1002358] ppid=1002305 vsize=1896968 memory=1518220 CPUtime=212.02 cores=4,6
/proc/1002308/task/1002358/stat : 1002358 (fscip) R 1002305 1002308 1000251 0 -1 4194368 470589 0 0 0 21149 53 0 0 20 0 3 0 185588836 1942495232 380173 134679101440 4194304 16613245 140728190247376 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 45940736 140728190256147 140728190256263 140728190256263 140728190263280 0
[pid=1002308/tid=1002359] ppid=1002305 vsize=1896968 memory=1520692 CPUtime=0 cores=4,6
/proc/1002308/task/1002359/stat : 1002359 (fscip) S 1002305 1002308 1000251 0 -1 1077936192 49 0 0 0 0 0 0 0 20 0 3 0 185588886 1942495232 380173 134679101440 4194304 16613245 140728190247376 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 45940736 140728190256147 140728190256263 140728190256263 140728190263280 0
Current children cumulated CPU time: 221.62 s
Current children cumulated vsize: 1896968 KiB
Current children cumulated memory: 1520692 KiB
[startup+282.3 s]
/proc/loadavg: 4.12 4.11 4.07 5/264 1002961
/proc/meminfo: memFree=120161524/131524600 swapFree=131071996/131071996
[pid=1002308] ppid=1002305 vsize=1962504 memory=1522976 CPUtime=281.45 cores=4,6
/proc/1002308/stat : 1002308 (fscip) S 1002305 1002308 1000251 0 -1 1077936128 655392 0 0 0 28064 81 0 0 20 0 3 0 185587902 2009604096 380744 134679101440 4194304 16613245 140728190247376 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 45940736 140728190256147 140728190256263 140728190256263 140728190263280 0
/proc/1002308/statm: 490626 380744 2974 3032 0 474291 0
[pid=1002308/tid=1002358] ppid=1002305 vsize=1962504 memory=1522944 CPUtime=271.85 cores=4,6
/proc/1002308/task/1002358/stat : 1002358 (fscip) R 1002305 1002308 1000251 0 -1 4194368 526900 0 0 0 27128 57 0 0 20 0 3 0 185588836 2009604096 380744 134679101440 4194304 16613245 140728190247376 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 45940736 140728190256147 140728190256263 140728190256263 140728190263280 0
[pid=1002308/tid=1002359] ppid=1002305 vsize=1962504 memory=1520888 CPUtime=0 cores=4,6
/proc/1002308/task/1002359/stat : 1002359 (fscip) S 1002305 1002308 1000251 0 -1 1077936192 55 0 0 0 0 0 0 0 20 0 3 0 185588886 2009604096 380744 134679101440 4194304 16613245 140728190247376 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 45940736 140728190256147 140728190256263 140728190256263 140728190263280 0
Current children cumulated CPU time: 281.45 s
Current children cumulated vsize: 1962504 KiB
################
# More data... #
################
/proc/loadavg: 4.09 4.09 4.09 5/265 1004206
/proc/meminfo: memFree=115849220/131524600 swapFree=131071996/131071996
[pid=1002308] ppid=1002305 vsize=3404296 memory=1877616 CPUtime=3389.28 cores=4,6
/proc/1002308/stat : 1002308 (fscip) S 1002305 1002308 1000251 0 -1 1077936128 3356438 0 0 0 338666 262 0 0 20 0 3 0 185587902 3485999104 469404 134679101440 4194304 16613245 140728190247376 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 45940736 140728190256147 140728190256263 140728190256263 140728190263280 0
/proc/1002308/statm: 851074 469404 2990 3032 0 793522 0
[pid=1002308/tid=1002358] ppid=1002305 vsize=3404296 memory=1877612 CPUtime=3379.57 cores=4,6
/proc/1002308/task/1002358/stat : 1002358 (fscip) R 1002305 1002308 1000251 0 -1 4194368 3225116 0 0 0 337724 233 0 0 20 0 3 0 185588836 3485999104 469404 134679101440 4194304 16613245 140728190247376 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 45940736 140728190256147 140728190256263 140728190256263 140728190263280 0
[pid=1002308/tid=1002359] ppid=1002305 vsize=3404296 memory=45552 CPUtime=0.04 cores=4,6
/proc/1002308/task/1002359/stat : 1002359 (fscip) S 1002305 1002308 1000251 0 -1 1077936192 286 0 0 0 1 3 0 0 20 0 3 0 185588886 3485999104 469404 134679101440 4194304 16613245 140728190247376 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 45940736 140728190256147 140728190256263 140728190256263 140728190263280 0
Current children cumulated CPU time: 3389.28 s
Current children cumulated vsize: 3404296 KiB
Current children cumulated memory: 1877616 KiB
[startup+3462.3 s]
/proc/loadavg: 4.07 4.08 4.09 5/265 1004217
/proc/meminfo: memFree=115845352/131524600 swapFree=131071996/131071996
[pid=1002308] ppid=1002305 vsize=3404296 memory=1877616 CPUtime=3449.07 cores=4,6
/proc/1002308/stat : 1002308 (fscip) S 1002305 1002308 1000251 0 -1 1077936128 3417765 0 0 0 344641 266 0 0 20 0 3 0 185587902 3485999104 469404 134679101440 4194304 16613245 140728190247376 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 45940736 140728190256147 140728190256263 140728190256263 140728190263280 0
/proc/1002308/statm: 851074 469404 2990 3032 0 793522 0
[pid=1002308/tid=1002358] ppid=1002305 vsize=3404296 memory=1877612 CPUtime=3439.36 cores=4,6
/proc/1002308/task/1002358/stat : 1002358 (fscip) R 1002305 1002308 1000251 0 -1 4194368 3286368 0 0 0 343699 237 0 0 20 0 3 0 185588836 3485999104 469404 134679101440 4194304 16613245 140728190247376 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 45940736 140728190256147 140728190256263 140728190256263 140728190263280 0
[pid=1002308/tid=1002359] ppid=1002305 vsize=3404296 memory=45552 CPUtime=0.04 cores=4,6
/proc/1002308/task/1002359/stat : 1002359 (fscip) S 1002305 1002308 1000251 0 -1 1077936192 289 0 0 0 1 3 0 0 20 0 3 0 185588886 3485999104 469404 134679101440 4194304 16613245 140728190247376 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 45940736 140728190256147 140728190256263 140728190256263 140728190263280 0
Current children cumulated CPU time: 3449.07 s
Current children cumulated vsize: 3404296 KiB
Current children cumulated memory: 1877616 KiB
[startup+3522.3 s]
/proc/loadavg: 4.08 4.08 4.09 5/266 1004228
/proc/meminfo: memFree=115841536/131524600 swapFree=131071996/131071996
[pid=1002308] ppid=1002305 vsize=3404296 memory=1877620 CPUtime=3508.85 cores=4,6
/proc/1002308/stat : 1002308 (fscip) S 1002305 1002308 1000251 0 -1 1077936128 3482998 0 0 0 350615 270 0 0 20 0 3 0 185587902 3485999104 469405 134679101440 4194304 16613245 140728190247376 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 45940736 140728190256147 140728190256263 140728190256263 140728190263280 0
/proc/1002308/statm: 851074 469405 2990 3032 0 793522 0
[pid=1002308/tid=1002358] ppid=1002305 vsize=3404296 memory=1877616 CPUtime=3499.15 cores=4,6
/proc/1002308/task/1002358/stat : 1002358 (fscip) R 1002305 1002308 1000251 0 -1 4194368 3351533 0 0 0 349673 242 0 0 20 0 3 0 185588836 3485999104 469405 134679101440 4194304 16613245 140728190247376 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 45940736 140728190256147 140728190256263 140728190256263 140728190263280 0
[pid=1002308/tid=1002359] ppid=1002305 vsize=3404296 memory=11544 CPUtime=0.04 cores=4,6
/proc/1002308/task/1002359/stat : 1002359 (fscip) S 1002305 1002308 1000251 0 -1 1077936192 294 0 0 0 1 3 0 0 20 0 3 0 185588886 3485999104 469405 134679101440 4194304 16613245 140728190247376 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 45940736 140728190256147 140728190256263 140728190256263 140728190263280 0
Current children cumulated CPU time: 3508.85 s
Current children cumulated vsize: 3404296 KiB
Current children cumulated memory: 1877620 KiB
[startup+3582.3 s]
/proc/loadavg: 4.07 4.08 4.09 5/266 1004240
/proc/meminfo: memFree=115840568/131524600 swapFree=131071996/131071996
[pid=1002308] ppid=1002305 vsize=3404296 memory=1877620 CPUtime=3568.63 cores=4,6
/proc/1002308/stat : 1002308 (fscip) S 1002305 1002308 1000251 0 -1 1077936128 3549763 0 0 0 356589 274 0 0 20 0 3 0 185587902 3485999104 469405 134679101440 4194304 16613245 140728190247376 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 45940736 140728190256147 140728190256263 140728190256263 140728190263280 0
/proc/1002308/statm: 851074 469405 2990 3032 0 793522 0
[pid=1002308/tid=1002358] ppid=1002305 vsize=3404296 memory=11544 CPUtime=3558.93 cores=4,6
/proc/1002308/task/1002358/stat : 1002358 (fscip) R 1002305 1002308 1000251 0 -1 4194368 3418259 0 0 0 355647 246 0 0 20 0 3 0 185588836 3485999104 469405 134679101440 4194304 16613245 140728190247376 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 45940736 140728190256147 140728190256263 140728190256263 140728190263280 0
[pid=1002308/tid=1002359] ppid=1002305 vsize=3404296 memory=11544 CPUtime=0.04 cores=4,6
/proc/1002308/task/1002359/stat : 1002359 (fscip) S 1002305 1002308 1000251 0 -1 1077936192 295 0 0 0 1 3 0 0 20 0 3 0 185588886 3485999104 469405 134679101440 4194304 16613245 140728190247376 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 45940736 140728190256147 140728190256263 140728190256263 140728190263280 0
Current children cumulated CPU time: 3568.63 s
Current children cumulated vsize: 3404296 KiB
Current children cumulated memory: 1877620 KiB
[startup+3600.67 s]
# the end of solver process 1002308 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3584.1 s, system=2.84927 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.14 4.10 4.09 5/266 1004240
/proc/meminfo: memFree=115840596/131524600 swapFree=131071996/131071996
[pid=1002308] ppid=1002305 vsize=3404296 memory=1877620 CPUtime=3570.33 cores=4,6
/proc/1002308/stat : 1002308 (fscip) S 1002305 1002308 1000251 0 -1 1077936128 3549767 0 0 0 356759 274 0 0 20 0 3 0 185587902 3485999104 469405 134679101440 4194304 16613245 140728190247376 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 45940736 140728190256147 140728190256263 140728190256263 140728190263280 0
/proc/1002308/statm: 851074 469405 2990 3032 0 793522 0
[pid=1002308/tid=1002358] ppid=1002305 vsize=3404296 memory=7540 CPUtime=3560.63 cores=4,6
/proc/1002308/task/1002358/stat : 1002358 (fscip) R 1002305 1002308 1000251 0 -1 4194368 3418261 0 0 0 355817 246 0 0 20 0 3 0 185588836 3485999104 469405 134679101440 4194304 16613245 140728190247376 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 45940736 140728190256147 140728190256263 140728190256263 140728190263280 0
[pid=1002308/tid=1002359] ppid=1002305 vsize=3404296 memory=-9187040407754931142 CPUtime=0.04 cores=4,6
/proc/1002308/task/1002359/stat : 1002359 (fscip) S 1002305 1002308 1000251 0 -1 1077936192 297 0 0 0 1 3 0 0 20 0 3 0 185588886 3485999104 469405 134679101440 4194304 16613245 140728190247376 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 45940736 140728190256147 140728190256263 140728190256263 140728190263280 0
Current children cumulated CPU time: 3570.33 s
Current children cumulated vsize: 3404296 KiB
Current children cumulated memory: 1877620 KiB
[startup+3590.4 s]
/proc/loadavg: 4.13 4.09 4.09 5/266 1004242
/proc/meminfo: memFree=115840524/131524600 swapFree=131071996/131071996
[pid=1002308] ppid=1002305 vsize=3404296 memory=1877620 CPUtime=3576.71 cores=4,6
/proc/1002308/stat : 1002308 (fscip) S 1002305 1002308 1000251 0 -1 1077936128 3550667 0 0 0 357397 274 0 0 20 0 3 0 185587902 3485999104 469405 134679101440 4194304 16613245 140728190247376 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 45940736 140728190256147 140728190256263 140728190256263 140728190263280 0
/proc/1002308/statm: 851074 469405 2990 3032 0 793522 0
[pid=1002308/tid=1002358] ppid=1002305 vsize=3404296 memory=13196 CPUtime=3567 cores=4,6
/proc/1002308/task/1002358/stat : 1002358 (fscip) R 1002305 1002308 1000251 0 -1 4194368 3419159 0 0 0 356454 246 0 0 20 0 3 0 185588836 3485999104 469405 134679101440 4194304 16613245 140728190247376 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 45940736 140728190256147 140728190256263 140728190256263 140728190263280 0
[pid=1002308/tid=1002359] ppid=1002305 vsize=3404296 memory=0 CPUtime=0.04 cores=4,6
/proc/1002308/task/1002359/stat : 1002359 (fscip) S 1002305 1002308 1000251 0 -1 1077936192 297 0 0 0 1 3 0 0 20 0 3 0 185588886 3485999104 469405 134679101440 4194304 16613245 140728190247376 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 45940736 140728190256147 140728190256263 140728190256263 140728190263280 0
Current children cumulated CPU time: 3576.71 s
Current children cumulated vsize: 3404296 KiB
Current children cumulated memory: 1877620 KiB
[startup+3596.8 s]
/proc/loadavg: 4.20 4.11 4.10 5/266 1004242
/proc/meminfo: memFree=115840412/131524600 swapFree=131071996/131071996
[pid=1002308] ppid=1002305 vsize=3404296 memory=1877620 CPUtime=3583.09 cores=4,6
/proc/1002308/stat : 1002308 (fscip) S 1002305 1002308 1000251 0 -1 1077936128 3551037 0 0 0 358034 275 0 0 20 0 3 0 185587902 3485999104 469405 134679101440 4194304 16613245 140728190247376 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 45940736 140728190256147 140728190256263 140728190256263 140728190263280 0
/proc/1002308/statm: 851074 469405 2990 3032 0 793522 0
[pid=1002308/tid=1002358] ppid=1002305 vsize=3404296 memory=1877620 CPUtime=3573.38 cores=4,6
/proc/1002308/task/1002358/stat : 1002358 (fscip) R 1002305 1002308 1000251 0 -1 4194368 3419508 0 0 0 357092 246 0 0 20 0 3 0 185588836 3485999104 469405 134679101440 4194304 16613245 140728190247376 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 45940736 140728190256147 140728190256263 140728190256263 140728190263280 0
[pid=1002308/tid=1002359] ppid=1002305 vsize=3404296 memory=1877620 CPUtime=0.04 cores=4,6
/proc/1002308/task/1002359/stat : 1002359 (fscip) S 1002305 1002308 1000251 0 -1 1077936192 297 0 0 0 1 3 0 0 20 0 3 0 185588886 3485999104 469405 134679101440 4194304 16613245 140728190247376 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 45940736 140728190256147 140728190256263 140728190256263 140728190263280 0
Current children cumulated CPU time: 3583.09 s
Current children cumulated vsize: 3404296 KiB
Current children cumulated memory: 1877620 KiB
[startup+3598.4 s]
/proc/loadavg: 4.18 4.11 4.10 5/266 1004242
/proc/meminfo: memFree=115840508/131524600 swapFree=131071996/131071996
[pid=1002308] ppid=1002305 vsize=3404296 memory=1877620 CPUtime=3584.69 cores=4,6
/proc/1002308/stat : 1002308 (fscip) S 1002305 1002308 1000251 0 -1 1077936128 3552175 0 0 0 358194 275 0 0 20 0 3 0 185587902 3485999104 469405 134679101440 4194304 16613245 140728190247376 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 45940736 140728190256147 140728190256263 140728190256263 140728190263280 0
/proc/1002308/statm: 851074 469405 2990 3032 0 793522 0
[pid=1002308/tid=1002358] ppid=1002305 vsize=3404296 memory=45552 CPUtime=3574.97 cores=4,6
/proc/1002308/task/1002358/stat : 1002358 (fscip) R 1002305 1002308 1000251 0 -1 4194368 3420644 0 0 0 357251 246 0 0 20 0 3 0 185588836 3485999104 469405 134679101440 4194304 16613245 140728190247376 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 45940736 140728190256147 140728190256263 140728190256263 140728190263280 0
[pid=1002308/tid=1002359] ppid=1002305 vsize=3404296 memory=13196 CPUtime=0.04 cores=4,6
/proc/1002308/task/1002359/stat : 1002359 (fscip) S 1002305 1002308 1000251 0 -1 1077936192 298 0 0 0 1 3 0 0 20 0 3 0 185588886 3485999104 469405 134679101440 4194304 16613245 140728190247376 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 45940736 140728190256147 140728190256263 140728190256263 140728190263280 0
Current children cumulated CPU time: 3584.69 s
Current children cumulated vsize: 3404296 KiB
Current children cumulated memory: 1877620 KiB
[startup+3600 s]*
/proc/loadavg: 4.18 4.11 4.10 5/264 1004244
/proc/meminfo: memFree=117568956/131524600 swapFree=131071996/131071996
[pid=1002308] ppid=1002305 vsize=3404296 memory=1877620 CPUtime=3586.28 cores=4,6
/proc/1002308/stat : 1002308 (fscip) S 1002305 1002308 1000251 0 -1 1077936128 3553434 0 0 0 358353 275 0 0 20 0 3 0 185587902 3485999104 469405 134679101440 4194304 16613245 140728190247376 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 45940736 140728190256147 140728190256263 140728190256263 140728190263280 0
/proc/1002308/statm: 851074 469405 2990 3032 0 793522 0
[pid=1002308/tid=1002358] ppid=1002305 vsize=3404296 memory=-7384917975595062633 CPUtime=3576.57 cores=4,6
/proc/1002308/task/1002358/stat : 1002358 (fscip) R 1002305 1002308 1000251 0 -1 4194368 3421903 0 0 0 357411 246 0 0 20 0 3 0 185588836 3485999104 469405 134679101440 4194304 16613245 140728190247376 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 45940736 140728190256147 140728190256263 140728190256263 140728190263280 0
[pid=1002308/tid=1002359] ppid=1002305 vsize=3404296 memory=-9187040407754931142 CPUtime=0.04 cores=4,6
/proc/1002308/task/1002359/stat : 1002359 (fscip) S 1002305 1002308 1000251 0 -1 1077936192 298 0 0 0 1 3 0 0 20 0 3 0 185588886 3485999104 469405 134679101440 4194304 16613245 140728190247376 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 45940736 140728190256147 140728190256263 140728190256263 140728190263280 0
Current children cumulated CPU time: 3586.28 s
Current children cumulated vsize: 3404296 KiB
Current children cumulated memory: 1877620 KiB
[startup+3600.41 s]
/proc/loadavg: 4.18 4.11 4.10 5/264 1004244
/proc/meminfo: memFree=117568956/131524600 swapFree=131071996/131071996
[pid=1002308] ppid=1002305 vsize=2319316 memory=1575316 CPUtime=3586.69 cores=4,6
/proc/1002308/stat : 1002308 (fscip) R 1002305 1002308 1000251 0 -1 4194304 3607924 0 0 0 358391 278 0 0 20 0 2 0 185587902 2374979584 393829 134679101440 4194304 16613245 140728190247376 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 45940736 140728190256147 140728190256263 140728190256263 140728190263280 0
/proc/1002308/statm: 579829 393829 2990 3032 0 554325 0
[pid=1002308/tid=1002359] ppid=1002305 vsize=2319316 memory=2028 CPUtime=0.04 cores=4,6
/proc/1002308/task/1002359/stat : 1002359 (fscip) S 1002305 1002308 1000251 0 -1 1077936192 298 0 0 0 1 3 0 0 20 0 2 0 185588886 2374979584 393829 134679101440 4194304 16613245 140728190247376 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 45940736 140728190256147 140728190256263 140728190256263 140728190263280 0
Current children cumulated CPU time: 3586.69 s
Current children cumulated vsize: 2319316 KiB
Current children cumulated memory: 1575316 KiB
[startup+3600.6 s]
/proc/loadavg: 4.18 4.11 4.10 5/264 1004244
/proc/meminfo: memFree=117568956/131524600 swapFree=131071996/131071996
[pid=1002308] ppid=1002305 vsize=2275536 memory=1531584 CPUtime=3586.88 cores=4,6
/proc/1002308/stat : 1002308 (fscip) R 1002305 1002308 1000251 0 -1 4194304 3644578 0 0 0 358408 280 0 0 20 0 2 0 185587902 2330148864 382896 134679101440 4194304 16613245 140728190247376 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 45940736 140728190256147 140728190256263 140728190256263 140728190263280 0
/proc/1002308/statm: 568884 382896 2990 3032 0 543380 0
[pid=1002308/tid=1002359] ppid=1002305 vsize=2275536 memory=-7738166572481955475 CPUtime=0.04 cores=4,6
/proc/1002308/task/1002359/stat : 1002359 (fscip) S 1002305 1002308 1000251 0 -1 1077936192 298 0 0 0 1 3 0 0 20 0 2 0 185588886 2330148864 382896 134679101440 4194304 16613245 140728190247376 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 45940736 140728190256147 140728190256263 140728190256263 140728190263280 0
Current children cumulated CPU time: 3586.88 s
Current children cumulated vsize: 2275536 KiB
Current children cumulated memory: 1531584 KiB
Child status: 0
Real time (s): 3600.67
CPU time (s): 3586.95
CPU user time (s): 3584.1
CPU system time (s): 2.84927
CPU usage (%): 99.6191
Max. virtual memory (cumulated for all children) (KiB): 3404296
Max. memory (cumulated for all children) (KiB): 1877620
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3584.1
system time used= 2.84927
maximum resident set size= 1877620
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3653631
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= 5742
involuntary context switches= 3292
# summary of solver processes directly reported to runsolver:
# pid: 1002308
# total CPU time (s): 3586.95
# total CPU user time (s): 3584.1
# total CPU system time (s): 2.84927
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.70857 second user time and 16.5825 second system time
The end
Begin job on nodeC017 at 2024-07-18 22:24:33
IDJOB=4446410
IDBENCH=155589
IDSOLVER=3064
FILE ID=nodeC017/4446410-1721334260
RUNJOBID= nodeC017-1721330666-1000262
SLURM_JOB_ID= 7542711
Free space on /tmp= 889892 MiB
SOLVER NAME= FiberSCIP 2024-07-02
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-4446410-1721334260/watcher-4446410-1721334260 -o /tmp/evaluation-result-4446410-1721334260/solver-4446410-1721334260 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC017-1721330666-1000262 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4446410-1721334260.opb -qsol -t 3600 -sth 1
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= abfa2b7f448cb4339f1b1eeb1bae5b59
RANDOM SEED=217732871
nodeC017.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 : 3671.896
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.46
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3686.331
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7006.99
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.243
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.46
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.830
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7006.99
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.655
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.46
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3686.339
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7006.99
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 : 3664.799
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.46
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.832
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7006.99
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 113632744 kB
MemAvailable: 116268736 kB
Buffers: 537616 kB
Cached: 2914876 kB
SwapCached: 0 kB
Active: 1319400 kB
Inactive: 15891304 kB
Active(anon): 1544 kB
Inactive(anon): 13794380 kB
Active(file): 1317856 kB
Inactive(file): 2096924 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 99344 kB
Writeback: 12 kB
AnonPages: 13757672 kB
Mapped: 140896 kB
Shmem: 37720 kB
KReclaimable: 121720 kB
Slab: 235612 kB
SReclaimable: 121720 kB
SUnreclaim: 113892 kB
KernelStack: 4160 kB
PageTables: 36824 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 11281692 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 68160 kB
HardwareCorrupted: 0 kB
AnonHugePages: 4960256 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: 287444 kB
DirectMap2M: 40380416 kB
DirectMap1G: 95420416 kB
Free space on /tmp at the end= 889920 MiB
End job on nodeC017 at 2024-07-18 23:24:34