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.20/0.28 c Default LC presolving (default).
0.20/0.28 c ** Before presolving: virtualMemUsedAtLc = 233070202, getVmSize() = 170549248, SCIPgetMemUsed() = 106504405, SCIPgetMemTotal() = 142605357, SCIPgetMemExternEstim() = 90464845
0.20/0.28 c ** set memory limit for presolving in LC to 8.79602e+12 for SCIP **
2.28/2.32 c ** Estimated virtualMemUsedAtSolver = 386044281, getVmSize() = 534880256, SCIPgetMemUsed() = 267415073, SCIPgetMemTotal() = 488601577, SCIPgetMemExternEstim() = 90464845
2.28/2.32 c ** set memory limit for solvers to 4.39803e+12 for each SCIP **
2.28/2.32 c Original Problem :
2.28/2.32 c Problem name : instance-4444010-1721317637
2.28/2.32 c Variables : 1440 (1440 binary, 0 integer, 0 implicit integer, 0 continuous)
2.28/2.32 c Constraints : 86040
2.28/2.32 c Objective sense : minimize
2.28/2.32 c Presolved Problem :
2.28/2.32 c Variables : 1432 (1432 binary, 0 integer, 0 implicit integer, 0 continuous)
2.28/2.32 c Constraints : 85238
2.28/2.32 c Constraints : Number
2.28/2.32 c setppc : 358
2.28/2.32 c orbitope : 3
2.28/2.32 c logicor : 84877
2.28/2.32 c ** Instance transfer method used: 0
2.38/2.43 c ** ParaScipInstance copy increased the number of variables. **
2.49/2.53 c LC is working with racing ramp-up and with rebuilding tree after racing.
2.49/2.53 c Nodes Active
2.49/2.53 c Time Nodes Left Solvers Best Integer Best Node Gap Best Node(S) Gap(S)
61.00/61.22 c 61 2 1 1 - 0.0000 -
81.44/81.74 c 82 7 6 1 - 0.0000 -
101.59/101.95 c 102 8 7 1 - 0.0000 -
120.85/121.28 c 121 9 8 1 - 0.0000 -
126.52/126.91 c 127 10 9 1 - 0.0000 -
159.94/160.45 c 160 12 11 1 - 0.0000 -
343.89/344.81 c 345 13 12 1 - 0.0000 -
355.86/356.85 c 357 14 13 1 - 0.0000 -
377.20/378.20 c 378 17 16 1 - 0.0000 -
382.29/383.37 c 383 20 19 1 - 0.0000 -
388.27/389.40 c 389 25 24 1 - 0.0000 -
407.22/408.34 c 408 26 25 1 - 0.0000 -
436.45/437.68 c 438 33 32 1 - 0.0000 -
455.80/457.08 c 457 36 35 1 - 0.0000 -
476.93/478.21 c 478 38 37 1 - 0.0000 -
482.12/483.46 c 483 42 41 1 - 0.0000 -
487.61/488.92 c 489 46 45 1 - 0.0000 -
494.39/495.70 c 496 50 49 1 - 0.0000 -
503.86/505.28 c 505 52 51 1 - 0.0000 -
532.49/533.91 c 534 56 55 1 - 0.0000 -
545.25/546.71 c 547 60 59 1 - 0.0000 -
577.47/579.07 c 579 62 61 1 - 0.0000 -
610.78/612.42 c 612 64 63 1 - 0.0000 -
633.72/635.41 c 635 76 75 1 - 0.0000 -
640.80/642.54 c 643 81 80 1 - 0.0000 -
647.88/649.62 c 650 88 87 1 - 0.0000 -
652.97/654.75 c 655 91 90 1 - 0.0000 -
658.26/660.00 c 660 95 94 1 - 0.0000 -
663.73/665.58 c 666 98 97 1 - 0.0000 -
678.99/680.82 c 681 100 99 1 - 0.0000 -
684.48/686.32 c 686 104 103 1 - 0.0000 -
704.13/706.00 c 706 105 104 1 - 0.0000 -
709.12/711.07 c 711 109 108 1 - 0.0000 -
720.09/722.08 c 722 112 111 1 - 0.0000 -
747.43/749.45 c 749 118 117 1 - 0.0000 -
752.81/754.89 c 755 124 123 1 - 0.0000 -
759.80/761.82 c 762 129 128 1 - 0.0000 -
767.08/769.14 c 769 133 132 1 - 0.0000 -
777.96/780.07 c 780 140 139 1 - 0.0000 -
783.94/786.06 c 786 151 150 1 - 0.0000 -
791.12/793.28 c 793 154 153 1 - 0.0000 -
796.50/798.64 c 799 160 159 1 - 0.0000 -
801.69/803.81 c 804 165 164 1 - 0.0000 -
817.05/819.28 c 819 168 167 1 - 0.0000 -
823.03/825.26 c 825 173 172 1 - 0.0000 -
829.52/831.70 c 832 177 176 1 - 0.0000 -
834.81/837.06 c 837 181 180 1 - 0.0000 -
840.79/843.02 c 843 186 185 1 - 0.0000 -
845.78/848.03 c 848 189 188 1 - 0.0000 -
850.87/853.15 c 853 193 192 1 - 0.0000 -
856.95/859.22 c 859 198 197 1 - 0.0000 -
862.54/864.89 c 865 201 200 1 - 0.0000 -
872.21/874.58 c 875 202 201 1 - 0.0000 -
877.60/879.90 c 880 207 206 1 - 0.0000 -
882.59/884.99 c 885 211 210 1 - 0.0000 -
896.25/898.61 c 899 212 211 1 - 0.0000 -
902.04/904.40 c 904 216 215 1 - 0.0000 -
908.32/910.78 c 911 220 219 1 - 0.0000 -
913.91/916.35 c 916 227 226 1 - 0.0000 -
934.96/937.44 c 937 228 227 1 - 0.0000 -
940.55/943.04 c 943 232 231 1 - 0.0000 -
946.53/949.09 c 949 237 236 1 - 0.0000 -
953.31/955.90 c 956 241 240 1 - 0.0000 -
978.45/981.01 c 981 245 244 1 - 0.0000 -
983.64/986.26 c 986 247 246 1 - 0.0000 -
990.12/992.72 c 993 252 251 1 - 0.0000 -
1004.79/1007.49 c 1008 256 255 1 - 0.0000 -
1010.18/1012.87 c 1013 261 260 1 - 0.0000 -
1022.85/1025.52 c 1026 265 264 1 - 0.0000 -
1029.13/1031.87 c 1032 269 268 1 - 0.0000 -
1034.22/1036.90 c 1037 273 272 1 - 0.0000 -
1040.31/1043.08 c 1043 276 275 1 - 0.0000 -
1046.09/1048.80 c 1049 278 277 1 - 0.0000 -
1054.86/1057.66 c 1058 283 282 1 - 0.0000 -
1061.35/1064.18 c 1064 288 287 1 - 0.0000 -
1068.13/1070.93 c 1071 292 291 1 - 0.0000 -
1074.22/1077.07 c 1077 297 296 1 - 0.0000 -
1091.67/1094.55 c 1095 302 301 1 - 0.0000 -
1097.06/1099.92 c 1100 307 306 1 - 0.0000 -
1102.54/1105.40 c 1105 311 310 1 - 0.0000 -
1112.02/1114.91 c 1115 312 311 1 - 0.0000 -
1118.80/1121.71 c 1122 317 316 1 - 0.0000 -
1133.36/1136.38 c 1136 322 321 1 - 0.0000 -
1138.45/1141.43 c 1141 328 327 1 - 0.0000 -
1143.54/1146.55 c 1147 331 330 1 - 0.0000 -
1157.31/1160.31 c 1160 332 331 1 - 0.0000 -
1163.49/1166.59 c 1167 339 338 1 - 0.0000 -
1168.68/1171.70 c 1172 342 341 1 - 0.0000 -
1174.07/1177.19 c 1177 348 347 1 - 0.0000 -
1182.44/1185.52 c 1186 352 351 1 - 0.0000 -
1188.53/1191.64 c 1192 357 356 1 - 0.0000 -
1193.51/1196.68 c 1197 360 359 1 - 0.0000 -
1200.00/1203.16 c 1203 362 361 1 - 0.0000 -
1206.19/1209.33 c 1209 369 368 1 - 0.0000 -
1219.86/1223.08 c 1223 372 371 1 - 0.0000 -
1225.74/1228.99 c 1229 378 377 1 - 0.0000 -
1235.12/1238.36 c 1238 382 381 1 - 0.0000 -
1240.91/1244.13 c 1244 386 385 1 - 0.0000 -
1247.39/1250.69 c 1251 390 389 1 - 0.0000 -
1260.26/1263.56 c 1264 392 391 1 - 0.0000 -
1265.54/1268.84 c 1269 398 397 1 - 0.0000 -
1272.73/1276.04 c 1276 402 401 1 - 0.0000 -
1278.91/1282.24 c 1282 408 407 1 - 0.0000 -
1287.29/1290.63 c 1291 412 411 1 - 0.0000 -
1293.07/1296.49 c 1296 418 417 1 - 0.0000 -
1299.36/1302.76 c 1303 421 420 1 - 0.0000 -
1311.23/1314.63 c 1315 422 421 1 - 0.0000 -
1317.51/1320.92 c 1321 428 427 1 - 0.0000 -
1326.09/1329.57 c 1330 432 431 1 - 0.0000 -
1331.97/1335.41 c 1335 439 438 1 - 0.0000 -
1340.25/1343.78 c 1344 442 441 1 - 0.0000 -
1345.34/1348.80 c 1349 446 445 1 - 0.0000 -
1354.52/1358.00 c 1358 452 451 1 - 0.0000 -
1360.30/1363.85 c 1364 459 458 1 - 0.0000 -
1376.76/1380.37 c 1380 462 461 1 - 0.0000 -
1382.14/1385.72 c 1386 465 464 1 - 0.0000 -
1388.82/1392.49 c 1392 469 468 1 - 0.0000 -
1421.14/1424.88 c 1425 472 471 1 - 0.0000 -
1427.44/1431.16 c 1431 477 476 1 - 0.0000 -
1434.82/1438.59 c 1439 482 481 1 - 0.0000 -
1440.20/1443.99 c 1444 486 485 1 - 0.0000 -
1445.49/1449.29 c 1449 489 488 1 - 0.0000 -
1460.65/1464.48 c 1464 492 491 1 - 0.0000 -
1466.34/1470.18 c 1470 496 495 1 - 0.0000 -
1472.52/1476.32 c 1476 499 498 1 - 0.0000 -
1481.10/1484.94 c 1485 502 501 1 - 0.0000 -
1487.29/1491.13 c 1491 511 510 1 - 0.0000 -
1492.47/1496.35 c 1496 513 512 1 - 0.0000 -
1497.76/1501.66 c 1502 516 515 1 - 0.0000 -
1503.64/1507.57 c 1508 520 519 1 - 0.0000 -
1516.41/1520.40 c 1520 522 521 1 - 0.0000 -
1522.00/1525.99 c 1526 526 525 1 - 0.0000 -
1527.09/1531.05 c 1531 529 528 1 - 0.0000 -
1536.36/1540.34 c 1540 532 531 1 - 0.0000 -
1542.64/1546.67 c 1547 538 537 1 - 0.0000 -
1551.22/1555.20 c 1555 542 541 1 - 0.0000 -
1557.51/1561.55 c 1562 547 546 1 - 0.0000 -
1574.16/1578.29 c 1578 552 551 1 - 0.0000 -
1579.25/1583.30 c 1583 558 557 1 - 0.0000 -
1585.73/1589.87 c 1590 562 561 1 - 0.0000 -
1591.92/1596.03 c 1596 569 568 1 - 0.0000 -
1597.21/1601.34 c 1601 574 573 1 - 0.0000 -
1611.47/1615.64 c 1616 582 581 1 - 0.0000 -
1617.25/1621.47 c 1621 589 588 1 - 0.0000 -
1625.73/1629.93 c 1630 592 591 1 - 0.0000 -
1631.12/1635.33 c 1635 596 595 1 - 0.0000 -
1637.92/1642.13 c 1642 601 600 1 - 0.0000 -
1643.30/1647.52 c 1648 602 601 1 - 0.0000 -
1649.38/1653.66 c 1654 607 606 1 - 0.0000 -
1654.97/1659.24 c 1659 611 610 1 - 0.0000 -
1661.86/1666.19 c 1666 612 611 1 - 0.0000 -
1669.84/1674.18 c 1674 616 615 1 - 0.0000 -
1675.32/1679.66 c 1680 619 618 1 - 0.0000 -
1684.39/1688.70 c 1689 622 621 1 - 0.0000 -
1691.47/1695.83 c 1696 627 626 1 - 0.0000 -
1696.46/1700.87 c 1701 631 630 1 - 0.0000 -
1705.54/1709.94 c 1710 632 631 1 - 0.0000 -
1710.82/1715.29 c 1715 639 638 1 - 0.0000 -
1716.31/1720.74 c 1721 642 641 1 - 0.0000 -
1722.70/1727.12 c 1727 647 646 1 - 0.0000 -
1728.78/1733.20 c 1733 650 649 1 - 0.0000 -
1743.24/1747.73 c 1748 652 651 1 - 0.0000 -
1748.92/1753.47 c 1753 661 660 1 - 0.0000 -
1755.11/1759.64 c 1760 664 663 1 - 0.0000 -
1767.97/1772.57 c 1773 672 671 1 - 0.0000 -
1774.06/1778.67 c 1779 680 679 1 - 0.0000 -
1780.04/1784.66 c 1785 686 685 1 - 0.0000 -
1791.91/1796.53 c 1797 692 691 1 - 0.0000 -
1797.90/1802.56 c 1803 700 699 1 - 0.0000 -
1803.88/1808.58 c 1809 704 703 1 - 0.0000 -
1808.97/1813.69 c 1814 709 708 1 - 0.0000 -
1816.05/1820.77 c 1821 712 711 1 - 0.0000 -
1821.54/1826.27 c 1826 717 716 1 - 0.0000 -
1830.01/1834.74 c 1835 722 721 1 - 0.0000 -
1835.41/1840.18 c 1840 727 726 1 - 0.0000 -
1840.69/1845.45 c 1845 731 730 1 - 0.0000 -
1853.16/1857.97 c 1858 732 731 1 - 0.0000 -
1860.14/1864.98 c 1865 737 736 1 - 0.0000 -
1866.72/1871.52 c 1872 742 741 1 - 0.0000 -
1876.80/1881.68 c 1882 752 751 1 - 0.0000 -
1882.08/1886.99 c 1887 760 759 1 - 0.0000 -
1888.07/1892.98 c 1893 765 764 1 - 0.0000 -
1893.26/1898.13 c 1898 769 768 1 - 0.0000 -
1902.53/1907.42 c 1907 772 771 1 - 0.0000 -
1908.01/1912.95 c 1913 778 777 1 - 0.0000 -
1915.79/1920.74 c 1921 782 781 1 - 0.0000 -
1921.87/1926.89 c 1927 789 788 1 - 0.0000 -
1946.51/1951.50 c 1952 792 791 1 - 0.0000 -
1952.10/1957.14 c 1957 797 796 1 - 0.0000 -
1967.46/1972.59 c 1973 802 801 1 - 0.0000 -
1972.64/1977.76 c 1978 810 809 1 - 0.0000 -
1979.32/1984.49 c 1984 815 814 1 - 0.0000 -
1987.59/1992.79 c 1993 822 821 1 - 0.0000 -
1993.47/1998.67 c 1999 831 830 1 - 0.0000 -
2009.63/2014.81 c 2015 832 831 1 - 0.0000 -
2016.12/2021.36 c 2021 840 839 1 - 0.0000 -
2022.50/2027.75 c 2028 844 843 1 - 0.0000 -
2028.28/2033.58 c 2034 849 848 1 - 0.0000 -
2042.45/2047.78 c 2048 852 851 1 - 0.0000 -
2048.13/2053.46 c 2053 855 854 1 - 0.0000 -
2053.52/2058.81 c 2059 860 859 1 - 0.0000 -
2060.50/2065.84 c 2066 864 863 1 - 0.0000 -
2070.28/2075.60 c 2076 872 871 1 - 0.0000 -
2075.57/2080.93 c 2081 878 877 1 - 0.0000 -
2081.05/2086.42 c 2086 882 881 1 - 0.0000 -
2086.74/2092.11 c 2092 891 890 1 - 0.0000 -
2094.43/2099.85 c 2100 892 891 1 - 0.0000 -
2100.01/2105.49 c 2105 897 896 1 - 0.0000 -
2111.09/2116.56 c 2117 902 901 1 - 0.0000 -
2116.87/2122.33 c 2122 911 910 1 - 0.0000 -
2124.05/2129.50 c 2130 916 915 1 - 0.0000 -
2136.72/2142.21 c 2142 922 921 1 - 0.0000 -
2142.71/2148.26 c 2148 929 928 1 - 0.0000 -
2148.89/2154.45 c 2154 932 931 1 - 0.0000 -
2154.08/2159.64 c 2160 936 935 1 - 0.0000 -
2164.65/2170.23 c 2170 942 941 1 - 0.0000 -
2170.34/2175.99 c 2176 947 946 1 - 0.0000 -
2176.02/2181.63 c 2182 950 949 1 - 0.0000 -
2183.51/2189.18 c 2189 954 953 1 - 0.0000 -
2195.28/2200.96 c 2201 962 961 1 - 0.0000 -
2201.86/2207.53 c 2208 967 966 1 - 0.0000 -
2209.24/2214.95 c 2215 972 971 1 - 0.0000 -
2214.33/2220.10 c 2220 981 980 1 - 0.0000 -
2222.31/2228.10 c 2228 982 981 1 - 0.0000 -
2227.69/2233.40 c 2233 986 985 1 - 0.0000 -
2232.88/2238.62 c 2239 991 990 1 - 0.0000 -
2241.06/2246.83 c 2247 992 991 1 - 0.0000 -
2254.83/2260.69 c 2261 1002 1001 1 - 0.0000 -
2260.61/2266.46 c 2266 1008 1007 1 - 0.0000 -
2267.39/2273.26 c 2273 1012 1011 1 - 0.0000 -
2272.78/2278.67 c 2279 1021 1020 1 - 0.0000 -
2279.46/2285.39 c 2285 1026 1025 1 - 0.0000 -
2287.84/2293.75 c 2294 1032 1031 1 - 0.0000 -
2293.33/2299.26 c 2299 1039 1038 1 - 0.0000 -
2305.40/2311.30 c 2311 1042 1041 1 - 0.0000 -
2310.59/2316.56 c 2317 1049 1048 1 - 0.0000 -
2342.82/2348.87 c 2349 1050 0 1 - 0.0000 -
2354.29/2360.33 c 2360 1051 1 1 - 0.0000 -
2379.03/2385.10 c 2385 1057 7 1 - 0.0000 -
2399.57/2405.71 c 2406 1058 8 1 - 0.0000 -
2418.73/2424.91 c 2425 1059 9 1 - 0.0000 -
2438.08/2444.33 c 2444 1066 16 1 - 0.0000 -
2449.75/2456.01 c 2456 1071 21 1 - 0.0000 -
2457.53/2463.82 c 2464 1077 27 1 - 0.0000 -
2480.08/2486.47 c 2486 1078 28 1 - 0.0000 -
2500.22/2506.67 c 2507 1082 32 1 - 0.0000 -
2524.26/2530.73 c 2531 1084 34 1 - 0.0000 -
2550.50/2557.01 c 2557 1086 36 1 - 0.0000 -
2567.96/2574.56 c 2575 1091 41 1 - 0.0000 -
2588.20/2594.80 c 2595 1095 45 1 - 0.0000 -
2598.98/2605.69 c 2606 1099 49 1 - 0.0000 -
2609.95/2616.69 c 2617 1102 52 1 - 0.0000 -
2618.63/2625.31 c 2625 1106 56 1 - 0.0000 -
2640.78/2647.55 c 2648 1114 64 1 - 0.0000 -
2665.52/2672.38 c 2672 1118 68 1 - 0.0000 -
2941.75/2949.21 c 2949 1123 73 1 - 0.0000 -
2952.72/2960.27 c 2960 1129 79 1 - 0.0000 -
2958.52/2966.08 c 2966 1139 89 1 - 0.0000 -
2967.60/2975.18 c 2975 1141 91 1 - 0.0000 -
2973.28/2980.82 c 2981 1150 100 1 - 0.0000 -
2978.57/2986.20 c 2986 1159 109 1 - 0.0000 -
2983.65/2991.24 c 2991 1166 116 1 - 0.0000 -
3009.58/3017.21 c 3017 1168 118 1 - 0.0000 -
3015.56/3023.26 c 3023 1174 124 1 - 0.0000 -
3022.25/3029.93 c 3030 1183 133 1 - 0.0000 -
3041.20/3048.97 c 3049 1196 146 1 - 0.0000 -
3076.31/3084.17 c 3084 1201 151 1 - 0.0000 -
3081.99/3089.87 c 3090 1211 161 1 - 0.0000 -
3088.98/3096.82 c 3097 1227 177 1 - 0.0000 -
3094.57/3102.47 c 3102 1238 188 1 - 0.0000 -
3103.34/3111.21 c 3111 1242 192 1 - 0.0000 -
3110.13/3118.04 c 3118 1274 224 1 - 0.0000 -
3116.41/3124.30 c 3124 1290 240 1 - 0.0000 -
3121.59/3129.55 c 3130 1321 271 1 - 0.0000 -
3127.48/3135.49 c 3136 1336 286 1 - 0.0000 -
3132.96/3140.96 c 3141 1357 307 1 - 0.0000 -
3138.45/3146.46 c 3146 1375 325 1 - 0.0000 -
3144.43/3152.43 c 3152 1388 338 1 - 0.0000 -
3156.01/3164.08 c 3164 1403 353 1 - 0.0000 -
3162.29/3170.39 c 3170 1413 363 1 - 0.0000 -
3167.57/3175.65 c 3176 1424 374 1 - 0.0000 -
3172.86/3180.96 c 3181 1427 377 1 - 0.0000 -
3178.95/3187.08 c 3187 1443 393 1 - 0.0000 -
3184.44/3192.56 c 3193 1463 413 1 - 0.0000 -
3190.52/3198.64 c 3199 1479 429 1 - 0.0000 -
3200.10/3208.26 c 3208 1489 439 1 - 0.0000 -
3205.18/3213.36 c 3213 1500 450 1 - 0.0000 -
3211.66/3219.87 c 3220 1510 460 1 - 0.0000 -
3216.75/3224.90 c 3225 1525 475 1 - 0.0000 -
3222.53/3230.72 c 3231 1535 485 1 - 0.0000 -
3227.72/3235.94 c 3236 1547 497 1 - 0.0000 -
3233.01/3241.21 c 3241 1555 505 1 - 0.0000 -
3239.80/3248.01 c 3248 1566 516 1 - 0.0000 -
3247.97/3256.23 c 3256 1578 528 1 - 0.0000 -
3254.16/3262.46 c 3262 1596 546 1 - 0.0000 -
3260.44/3268.80 c 3269 1613 563 1 - 0.0000 -
3266.03/3274.34 c 3274 1619 569 1 - 0.0000 -
3271.91/3280.25 c 3280 1630 580 1 - 0.0000 -
3277.10/3285.47 c 3285 1635 585 1 - 0.0000 -
3283.48/3291.87 c 3292 1646 596 1 - 0.0000 -
3291.36/3299.75 c 3300 1658 608 1 - 0.0000 -
3299.44/3307.81 c 3308 1671 621 1 - 0.0000 -
3305.12/3313.53 c 3314 1684 634 1 - 0.0000 -
3320.78/3329.22 c 3329 1695 645 1 - 0.0000 -
3326.37/3334.86 c 3335 1706 656 1 - 0.0000 -
3333.06/3341.50 c 3342 1715 665 1 - 0.0000 -
3339.24/3347.70 c 3348 1729 679 1 - 0.0000 -
3344.73/3353.23 c 3353 1738 688 1 - 0.0000 -
3350.91/3359.45 c 3359 1751 701 1 - 0.0000 -
3356.00/3364.57 c 3365 1760 710 1 - 0.0000 -
3361.19/3369.74 c 3370 1771 721 1 - 0.0000 -
3366.77/3375.34 c 3375 1775 725 1 - 0.0000 -
3372.76/3381.39 c 3381 1784 734 1 - 0.0000 -
3378.24/3386.84 c 3387 1794 744 1 - 0.0000 -
3384.13/3392.74 c 3393 1801 751 1 - 0.0000 -
3393.41/3402.03 c 3402 1813 763 1 - 0.0000 -
3398.99/3407.62 c 3408 1824 774 1 - 0.0000 -
3404.28/3412.94 c 3413 1829 779 1 - 0.0000 -
3410.07/3418.75 c 3419 1840 790 1 - 0.0000 -
3415.75/3424.46 c 3424 1859 807 1 - 0.0000 -
3421.94/3430.63 c 3431 1861 809 1 - 0.0000 -
3433.41/3442.12 c 3442 1873 821 1 - 0.0000 -
3438.69/3447.41 c 3447 1885 833 1 - 0.0000 -
3445.18/3453.90 c 3454 1896 844 1 - 0.0000 -
3450.46/3459.23 c 3459 1906 854 1 - 0.0000 -
3455.65/3464.49 c 3464 1920 868 1 - 0.0000 -
3471.51/3480.35 c 3480 1921 869 1 - 0.0000 -
3482.88/3491.79 c 3492 1933 881 1 - 0.0000 -
3488.47/3497.33 c 3497 1945 893 1 - 0.0000 -
3493.65/3502.55 c 3503 1956 904 1 - 0.0000 -
3499.94/3508.82 c 3509 1966 914 1 - 0.0000 -
3506.23/3515.14 c 3515 1983 931 1 - 0.0000 -
3512.01/3520.97 c 3521 1987 935 1 - 0.0000 -
3518.59/3527.55 c 3528 1997 945 1 - 0.0000 -
3526.97/3535.93 c 3536 2009 957 1 - 0.0000 -
3532.65/3541.61 c 3542 2019 967 1 - 0.0000 -
3539.23/3548.20 c 3548 2027 975 1 - 0.0000 -
3545.62/3554.61 c 3555 2033 981 1 - 0.0000 -
3551.30/3560.31 c 3560 2045 993 1 - 0.0000 -
3559.59/3568.67 c 3569 2057 1005 1 - 0.0000 -
3567.08/3576.19 c 3576 2069 1017 1 - 0.0000 -
3575.55/3584.63 c 3585 2081 1029 1 - 0.0000 -
3583.33/3592.42 c 3592 2093 1041 1 - 0.0000 -
3589.61/3598.76 c 3599 2105 1053 1 - 0.0000 -
3591.01/3600.16 c SCIP Status : c solving was interrupted [hard time limit reached]
3591.01/3600.16 c Total Time : 3600.1700
3591.01/3600.16 c solving : 3600.1700
3591.01/3600.16 c presolving : 2.0436 (included in solving)
3591.01/3600.16 c B&B Tree :
3591.01/3600.16 c nodes (total) : 1
3591.01/3600.16 c Solution :
3591.01/3600.16 c Solutions found : 0
3591.01/3600.16 c Primal Bound : -
3591.01/3600.16 c Dual Bound : +0.00000000000000e+00
3591.01/3600.16 c Gap : -
3591.11/3600.24 s UNKNOWN
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63968 MiB (62334 MiB free)
memory of node 1: 64473 MiB (63132 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4444010-1721317637/watcher-4444010-1721317637 -o /tmp/evaluation-result-4444010-1721317637/solver-4444010-1721317637 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC030-1721317650-1007726 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4444010-1721317637.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
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=1007769, runsolver pid=1007766
[startup+0.100612 s]*
/proc/loadavg: 1.23 1.92 3.05 5/255 1007778
/proc/meminfo: memFree=128385816/131524600 swapFree=131071996/131071996
[pid=1007769] ppid=1007766 vsize=54036 memory=42140 CPUtime=0.09 cores=1,3
/proc/1007769/stat : 1007769 (fscip) R 1007766 1007769 1007714 0 -1 4194304 8458 0 0 0 8 1 0 0 20 0 1 0 183931846 55332864 10535 134679101440 4194304 16613245 140726099401120 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 28209152 140726099407891 140726099408007 140726099408007 140726099415024 0
/proc/1007769/statm: 13509 10535 2318 3032 0 9909 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 54036 KiB
Current children cumulated memory: 42140 KiB
[startup+0.205503 s]*
/proc/loadavg: 1.23 1.92 3.05 5/253 1007778
/proc/meminfo: memFree=128305100/131524600 swapFree=131071996/131071996
[pid=1007769] ppid=1007766 vsize=106228 memory=94888 CPUtime=0.2 cores=1,3
/proc/1007769/stat : 1007769 (fscip) R 1007766 1007769 1007714 0 -1 4194304 21832 0 0 0 17 3 0 0 20 0 1 0 183931846 108777472 23722 134679101440 4194304 16613245 140726099401120 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 28209152 140726099407891 140726099408007 140726099408007 140726099415024 0
/proc/1007769/statm: 26557 23722 2542 3032 0 22957 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 106228 KiB
Current children cumulated memory: 94888 KiB
[startup+0.305529 s]*
/proc/loadavg: 1.23 1.92 3.05 5/253 1007783
/proc/meminfo: memFree=128161696/131524600 swapFree=131071996/131071996
[pid=1007769] ppid=1007766 vsize=168240 memory=156000 CPUtime=0.3 cores=1,3
/proc/1007769/stat : 1007769 (fscip) R 1007766 1007769 1007714 0 -1 4194304 37620 0 0 0 24 6 0 0 20 0 1 0 183931846 172277760 39000 134679101440 4194304 16613245 140726099401120 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 28209152 140726099407891 140726099408007 140726099408007 140726099415024 0
/proc/1007769/statm: 42060 39000 2590 3032 0 38460 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 168240 KiB
Current children cumulated memory: 156000 KiB
[startup+0.700238 s]
/proc/loadavg: 1.23 1.92 3.05 5/259 1007789
/proc/meminfo: memFree=127931128/131524600 swapFree=131071996/131071996
[pid=1007769] ppid=1007766 vsize=219684 memory=206756 CPUtime=0.69 cores=1,3
/proc/1007769/stat : 1007769 (fscip) R 1007766 1007769 1007714 0 -1 4194304 59208 0 0 0 59 10 0 0 20 0 1 0 183931846 224956416 51689 134679101440 4194304 16613245 140726099401120 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 28209152 140726099407891 140726099408007 140726099408007 140726099415024 0
/proc/1007769/statm: 54921 51689 2670 3032 0 51321 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 219684 KiB
Current children cumulated memory: 206756 KiB
[startup+1.50023 s]
/proc/loadavg: 1.23 1.92 3.05 5/259 1007789
/proc/meminfo: memFree=127788468/131524600 swapFree=131071996/131071996
[pid=1007769] ppid=1007766 vsize=450252 memory=411688 CPUtime=1.48 cores=1,3
/proc/1007769/stat : 1007769 (fscip) R 1007766 1007769 1007714 0 -1 4194304 73983 0 0 0 133 15 0 0 20 0 1 0 183931846 461058048 102922 134679101440 4194304 16613245 140726099401120 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 28209152 140726099407891 140726099408007 140726099408007 140726099415024 0
/proc/1007769/statm: 112563 102922 2718 3032 0 108963 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 450252 KiB
Current children cumulated memory: 411688 KiB
[startup+3.10562 s]
/proc/loadavg: 1.23 1.92 3.05 5/261 1007791
/proc/meminfo: memFree=126066976/131524600 swapFree=131071996/131071996
[pid=1007769] ppid=1007766 vsize=777756 memory=712932 CPUtime=3.08 cores=1,3
/proc/1007769/stat : 1007769 (fscip) S 1007766 1007769 1007714 0 -1 1077936128 148207 0 0 0 281 27 0 0 20 0 3 0 183931846 796422144 178233 134679101440 4194304 16613245 140726099401120 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 28209152 140726099407891 140726099408007 140726099408007 140726099415024 0
/proc/1007769/statm: 194439 178233 2766 3032 0 189397 0
[pid=1007769/tid=1007790] ppid=1007766 vsize=777756 memory=616844 CPUtime=0.65 cores=1,3
/proc/1007769/task/1007790/stat : 1007790 (fscip) R 1007766 1007769 1007714 0 -1 4194368 47207 0 0 0 58 7 0 0 20 0 3 0 183932079 796422144 178233 134679101440 4194304 16613245 140726099401120 0 0 0 0 0 2 0 0 0 -1 3 0 0 0 0 0 18822208 18930672 28209152 140726099407891 140726099408007 140726099408007 140726099415024 0
[pid=1007769/tid=1007791] ppid=1007766 vsize=777756 memory=0 CPUtime=0 cores=1,3
/proc/1007769/task/1007791/stat : 1007791 (fscip) S 1007766 1007769 1007714 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 183932100 796422144 178233 134679101440 4194304 16613245 140726099401120 0 0 0 0 0 2 1 0 0 -1 1 0 0 0 0 0 18822208 18930672 28209152 140726099407891 140726099408007 140726099408007 140726099415024 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 777756 KiB
Current children cumulated memory: 712932 KiB
[startup+6.30024 s]
/proc/loadavg: 1.45 1.95 3.05 5/263 1007795
/proc/meminfo: memFree=124587580/131524600 swapFree=131071996/131071996
[pid=1007769] ppid=1007766 vsize=909904 memory=829608 CPUtime=6.26 cores=1,3
/proc/1007769/stat : 1007769 (fscip) S 1007766 1007769 1007714 0 -1 1077936128 170892 0 0 0 594 32 0 0 20 0 3 0 183931846 931741696 207402 134679101440 4194304 16613245 140726099401120 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 28209152 140726099407891 140726099408007 140726099408007 140726099415024 0
/proc/1007769/statm: 227476 207402 2830 3032 0 220429 0
[pid=1007769/tid=1007790] ppid=1007766 vsize=909904 memory=411688 CPUtime=3.84 cores=1,3
/proc/1007769/task/1007790/stat : 1007790 (fscip) R 1007766 1007769 1007714 0 -1 4194368 69890 0 0 0 372 12 0 0 20 0 3 0 183932079 931741696 207402 134679101440 4194304 16613245 140726099401120 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 28209152 140726099407891 140726099408007 140726099408007 140726099415024 0
[pid=1007769/tid=1007791] ppid=1007766 vsize=909904 memory=0 CPUtime=0 cores=1,3
/proc/1007769/task/1007791/stat : 1007791 (fscip) S 1007766 1007769 1007714 0 -1 1077936192 2 0 0 0 0 0 0 0 20 0 3 0 183932100 931741696 207402 134679101440 4194304 16613245 140726099401120 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 28209152 140726099407891 140726099408007 140726099408007 140726099415024 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 909904 KiB
Current children cumulated memory: 829608 KiB
[startup+12.7002 s]
/proc/loadavg: 1.74 2.00 3.06 5/263 1007795
/proc/meminfo: memFree=124491704/131524600 swapFree=131071996/131071996
[pid=1007769] ppid=1007766 vsize=1040976 memory=895476 CPUtime=12.64 cores=1,3
/proc/1007769/stat : 1007769 (fscip) S 1007766 1007769 1007714 0 -1 1077936128 216744 0 0 0 1228 36 0 0 20 0 3 0 183931846 1065959424 223869 134679101440 4194304 16613245 140726099401120 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 28209152 140726099407891 140726099408007 140726099408007 140726099415024 0
/proc/1007769/statm: 260244 223869 2926 3032 0 245803 0
[pid=1007769/tid=1007790] ppid=1007766 vsize=1040976 memory=864608 CPUtime=10.22 cores=1,3
/proc/1007769/task/1007790/stat : 1007790 (fscip) R 1007766 1007769 1007714 0 -1 4194368 115736 0 0 0 1005 17 0 0 20 0 3 0 183932079 1065959424 223869 134679101440 4194304 16613245 140726099401120 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 28209152 140726099407891 140726099408007 140726099408007 140726099415024 0
[pid=1007769/tid=1007791] ppid=1007766 vsize=1040976 memory=879980 CPUtime=0 cores=1,3
/proc/1007769/task/1007791/stat : 1007791 (fscip) S 1007766 1007769 1007714 0 -1 1077936192 8 0 0 0 0 0 0 0 20 0 3 0 183932100 1065959424 223869 134679101440 4194304 16613245 140726099401120 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 28209152 140726099407891 140726099408007 140726099408007 140726099415024 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 1040976 KiB
Current children cumulated memory: 895476 KiB
[startup+25.5002 s]
/proc/loadavg: 2.24 2.10 3.08 5/264 1007799
/proc/meminfo: memFree=122548036/131524600 swapFree=131071996/131071996
[pid=1007769] ppid=1007766 vsize=1115840 memory=953304 CPUtime=25.41 cores=1,3
/proc/1007769/stat : 1007769 (fscip) S 1007766 1007769 1007714 0 -1 1077936128 256002 0 0 0 2501 40 0 0 20 0 3 0 183931846 1142620160 238326 134679101440 4194304 16613245 140726099401120 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 28209152 140726099407891 140726099408007 140726099408007 140726099415024 0
/proc/1007769/statm: 278960 238326 2926 3032 0 272835 0
[pid=1007769/tid=1007790] ppid=1007766 vsize=1115840 memory=953304 CPUtime=22.98 cores=1,3
/proc/1007769/task/1007790/stat : 1007790 (fscip) R 1007766 1007769 1007714 0 -1 4194368 154986 0 0 0 2278 20 0 0 20 0 3 0 183932079 1142620160 238326 134679101440 4194304 16613245 140726099401120 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 28209152 140726099407891 140726099408007 140726099408007 140726099415024 0
[pid=1007769/tid=1007791] ppid=1007766 vsize=1115840 memory=953220 CPUtime=0 cores=1,3
/proc/1007769/task/1007791/stat : 1007791 (fscip) S 1007766 1007769 1007714 0 -1 1077936192 16 0 0 0 0 0 0 0 20 0 3 0 183932100 1142620160 238326 134679101440 4194304 16613245 140726099401120 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 28209152 140726099407891 140726099408007 140726099408007 140726099415024 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 1115840 KiB
Current children cumulated memory: 953304 KiB
[startup+51.1057 s]
/proc/loadavg: 2.90 2.27 3.11 5/265 1007803
/proc/meminfo: memFree=119984300/131524600 swapFree=131071996/131071996
[pid=1007769] ppid=1007766 vsize=1312448 memory=1109016 CPUtime=50.93 cores=1,3
/proc/1007769/stat : 1007769 (fscip) S 1007766 1007769 1007714 0 -1 1077936128 339002 0 0 0 5046 47 0 0 20 0 3 0 183931846 1343946752 277254 134679101440 4194304 16613245 140726099401120 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 28209152 140726099407891 140726099408007 140726099408007 140726099415024 0
/proc/1007769/statm: 328112 277254 2926 3032 0 312622 0
[pid=1007769/tid=1007790] ppid=1007766 vsize=1312448 memory=1109016 CPUtime=48.51 cores=1,3
/proc/1007769/task/1007790/stat : 1007790 (fscip) R 1007766 1007769 1007714 0 -1 4194368 237979 0 0 0 4823 28 0 0 20 0 3 0 183932079 1343946752 277254 134679101440 4194304 16613245 140726099401120 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 28209152 140726099407891 140726099408007 140726099408007 140726099415024 0
[pid=1007769/tid=1007791] ppid=1007766 vsize=1312448 memory=-7952647673442819961 CPUtime=0 cores=1,3
/proc/1007769/task/1007791/stat : 1007791 (fscip) S 1007766 1007769 1007714 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 3 0 183932100 1343946752 277254 134679101440 4194304 16613245 140726099401120 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 28209152 140726099407891 140726099408007 140726099408007 140726099415024 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 1312448 KiB
Current children cumulated memory: 1109016 KiB
[startup+102.3 s]
/proc/loadavg: 3.64 2.57 3.17 5/265 1007812
/proc/meminfo: memFree=119723752/131524600 swapFree=131071996/131071996
[pid=1007769] ppid=1007766 vsize=1312448 memory=1109664 CPUtime=102 cores=1,3
/proc/1007769/stat : 1007769 (fscip) S 1007766 1007769 1007714 0 -1 1077936128 451780 0 0 0 10145 55 0 0 20 0 3 0 183931846 1343946752 277416 134679101440 4194304 16613245 140726099401120 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 28209152 140726099407891 140726099408007 140726099408007 140726099415024 0
/proc/1007769/statm: 328112 277416 2926 3032 0 312622 0
[pid=1007769/tid=1007790] ppid=1007766 vsize=1312448 memory=-6879388917406142053 CPUtime=99.57 cores=1,3
/proc/1007769/task/1007790/stat : 1007790 (fscip) R 1007766 1007769 1007714 0 -1 4194368 350681 0 0 0 9922 35 0 0 20 0 3 0 183932079 1343946752 277416 134679101440 4194304 16613245 140726099401120 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 28209152 140726099407891 140726099408007 140726099408007 140726099415024 0
[pid=1007769/tid=1007791] ppid=1007766 vsize=1312448 memory=43724 CPUtime=0 cores=1,3
/proc/1007769/task/1007791/stat : 1007791 (fscip) S 1007766 1007769 1007714 0 -1 1077936192 37 0 0 0 0 0 0 0 20 0 3 0 183932100 1343946752 277416 134679101440 4194304 16613245 140726099401120 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 28209152 140726099407891 140726099408007 140726099408007 140726099415024 0
Current children cumulated CPU time: 102 s
Current children cumulated vsize: 1312448 KiB
Current children cumulated memory: 1109664 KiB
[startup+162.3 s]
/proc/loadavg: 3.97 2.86 3.24 5/265 1007823
/proc/meminfo: memFree=119659488/131524600 swapFree=131071996/131071996
[pid=1007769] ppid=1007766 vsize=1312448 memory=1109860 CPUtime=161.84 cores=1,3
/proc/1007769/stat : 1007769 (fscip) S 1007766 1007769 1007714 0 -1 1077936128 516828 0 0 0 16126 58 0 0 20 0 3 0 183931846 1343946752 277465 134679101440 4194304 16613245 140726099401120 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 28209152 140726099407891 140726099408007 140726099408007 140726099415024 0
/proc/1007769/statm: 328112 277465 2974 3032 0 312622 0
[pid=1007769/tid=1007790] ppid=1007766 vsize=1312448 memory=43724 CPUtime=159.41 cores=1,3
/proc/1007769/task/1007790/stat : 1007790 (fscip) R 1007766 1007769 1007714 0 -1 4194368 415697 0 0 0 15903 38 0 0 20 0 3 0 183932079 1343946752 277465 134679101440 4194304 16613245 140726099401120 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 28209152 140726099407891 140726099408007 140726099408007 140726099415024 0
[pid=1007769/tid=1007791] ppid=1007766 vsize=1312448 memory=11396 CPUtime=0 cores=1,3
/proc/1007769/task/1007791/stat : 1007791 (fscip) S 1007766 1007769 1007714 0 -1 1077936192 47 0 0 0 0 0 0 0 20 0 3 0 183932100 1343946752 277465 134679101440 4194304 16613245 140726099401120 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 28209152 140726099407891 140726099408007 140726099408007 140726099415024 0
Current children cumulated CPU time: 161.84 s
Current children cumulated vsize: 1312448 KiB
Current children cumulated memory: 1109860 KiB
[startup+222.3 s]
/proc/loadavg: 4.04 3.09 3.29 5/266 1007836
/proc/meminfo: memFree=119619048/131524600 swapFree=131071996/131071996
[pid=1007769] ppid=1007766 vsize=1312448 memory=1111728 CPUtime=221.69 cores=1,3
/proc/1007769/stat : 1007769 (fscip) S 1007766 1007769 1007714 0 -1 1077936128 529623 0 0 0 22110 59 0 0 20 0 3 0 183931846 1343946752 277932 134679101440 4194304 16613245 140726099401120 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 28209152 140726099407891 140726099408007 140726099408007 140726099415024 0
/proc/1007769/statm: 328112 277932 2974 3032 0 312622 0
[pid=1007769/tid=1007790] ppid=1007766 vsize=1312448 memory=1111728 CPUtime=219.27 cores=1,3
/proc/1007769/task/1007790/stat : 1007790 (fscip) R 1007766 1007769 1007714 0 -1 4194368 428481 0 0 0 21888 39 0 0 20 0 3 0 183932079 1343946752 277932 134679101440 4194304 16613245 140726099401120 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 28209152 140726099407891 140726099408007 140726099408007 140726099415024 0
[pid=1007769/tid=1007791] ppid=1007766 vsize=1312448 memory=1111728 CPUtime=0 cores=1,3
/proc/1007769/task/1007791/stat : 1007791 (fscip) S 1007766 1007769 1007714 0 -1 1077936192 58 0 0 0 0 0 0 0 20 0 3 0 183932100 1343946752 277932 134679101440 4194304 16613245 140726099401120 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 28209152 140726099407891 140726099408007 140726099408007 140726099415024 0
Current children cumulated CPU time: 221.69 s
Current children cumulated vsize: 1312448 KiB
Current children cumulated memory: 1111728 KiB
[startup+282.3 s]
/proc/loadavg: 4.08 3.27 3.34 5/266 1007846
/proc/meminfo: memFree=119501528/131524600 swapFree=131071996/131071996
################
# More data... #
################
[pid=1007769] ppid=1007766 vsize=1509388 memory=1327916 CPUtime=3393.7 cores=1,3
/proc/1007769/stat : 1007769 (fscip) S 1007766 1007769 1007714 0 -1 1077936128 1009564 0 0 0 339273 97 0 0 20 0 3 0 183931846 1545613312 331979 134679101440 4194304 16613245 140726099401120 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 28209152 140726099407891 140726099408007 140726099408007 140726099415024 0
/proc/1007769/statm: 377347 331979 2974 3032 0 367903 0
[pid=1007769/tid=1007790] ppid=1007766 vsize=1509388 memory=43840 CPUtime=3391.19 cores=1,3
/proc/1007769/task/1007790/stat : 1007790 (fscip) R 1007766 1007769 1007714 0 -1 4194368 907264 0 0 0 339046 73 0 0 20 0 3 0 183932079 1545613312 331979 134679101440 4194304 16613245 140726099401120 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 28209152 140726099407891 140726099408007 140726099408007 140726099415024 0
[pid=1007769/tid=1007791] ppid=1007766 vsize=1509388 memory=1327916 CPUtime=0.03 cores=1,3
/proc/1007769/task/1007791/stat : 1007791 (fscip) S 1007766 1007769 1007714 0 -1 1077936192 359 0 0 0 1 2 0 0 20 0 3 0 183932100 1545613312 331979 134679101440 4194304 16613245 140726099401120 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 28209152 140726099407891 140726099408007 140726099408007 140726099415024 0
Current children cumulated CPU time: 3393.7 s
Current children cumulated vsize: 1509388 KiB
Current children cumulated memory: 1327916 KiB
[startup+3462.3 s]
/proc/loadavg: 4.49 4.23 4.12 5/265 1009810
/proc/meminfo: memFree=117631088/131524600 swapFree=131071996/131071996
[pid=1007769] ppid=1007766 vsize=1509388 memory=1327916 CPUtime=3453.56 cores=1,3
/proc/1007769/stat : 1007769 (fscip) S 1007766 1007769 1007714 0 -1 1077936128 1015053 0 0 0 345258 98 0 0 20 0 3 0 183931846 1545613312 331979 134679101440 4194304 16613245 140726099401120 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 28209152 140726099407891 140726099408007 140726099408007 140726099415024 0
/proc/1007769/statm: 377347 331979 2974 3032 0 367903 0
[pid=1007769/tid=1007790] ppid=1007766 vsize=1509388 memory=1327916 CPUtime=3451.03 cores=1,3
/proc/1007769/task/1007790/stat : 1007790 (fscip) R 1007766 1007769 1007714 0 -1 4194368 912737 0 0 0 345030 73 0 0 20 0 3 0 183932079 1545613312 331979 134679101440 4194304 16613245 140726099401120 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 28209152 140726099407891 140726099408007 140726099408007 140726099415024 0
[pid=1007769/tid=1007791] ppid=1007766 vsize=1509388 memory=1327916 CPUtime=0.03 cores=1,3
/proc/1007769/task/1007791/stat : 1007791 (fscip) S 1007766 1007769 1007714 0 -1 1077936192 360 0 0 0 1 2 0 0 20 0 3 0 183932100 1545613312 331979 134679101440 4194304 16613245 140726099401120 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 28209152 140726099407891 140726099408007 140726099408007 140726099415024 0
Current children cumulated CPU time: 3453.56 s
Current children cumulated vsize: 1509388 KiB
Current children cumulated memory: 1327916 KiB
[startup+3522.3 s]
/proc/loadavg: 4.32 4.25 4.14 5/263 1009821
/proc/meminfo: memFree=117606844/131524600 swapFree=131071996/131071996
[pid=1007769] ppid=1007766 vsize=1509388 memory=1327924 CPUtime=3513.4 cores=1,3
/proc/1007769/stat : 1007769 (fscip) S 1007766 1007769 1007714 0 -1 1077936128 1020221 0 0 0 351242 98 0 0 20 0 3 0 183931846 1545613312 331981 134679101440 4194304 16613245 140726099401120 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 28209152 140726099407891 140726099408007 140726099408007 140726099415024 0
/proc/1007769/statm: 377347 331981 2974 3032 0 367903 0
[pid=1007769/tid=1007790] ppid=1007766 vsize=1509388 memory=1327916 CPUtime=3510.89 cores=1,3
/proc/1007769/task/1007790/stat : 1007790 (fscip) R 1007766 1007769 1007714 0 -1 4194368 917888 0 0 0 351015 74 0 0 20 0 3 0 183932079 1545613312 331981 134679101440 4194304 16613245 140726099401120 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 28209152 140726099407891 140726099408007 140726099408007 140726099415024 0
[pid=1007769/tid=1007791] ppid=1007766 vsize=1509388 memory=1327924 CPUtime=0.03 cores=1,3
/proc/1007769/task/1007791/stat : 1007791 (fscip) S 1007766 1007769 1007714 0 -1 1077936192 361 0 0 0 1 2 0 0 20 0 3 0 183932100 1545613312 331981 134679101440 4194304 16613245 140726099401120 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 28209152 140726099407891 140726099408007 140726099408007 140726099415024 0
Current children cumulated CPU time: 3513.4 s
Current children cumulated vsize: 1509388 KiB
Current children cumulated memory: 1327924 KiB
[startup+3582.3 s]
/proc/loadavg: 4.43 4.28 4.15 5/263 1009832
/proc/meminfo: memFree=117588692/131524600 swapFree=131071996/131071996
[pid=1007769] ppid=1007766 vsize=1509388 memory=1327924 CPUtime=3573.26 cores=1,3
/proc/1007769/stat : 1007769 (fscip) S 1007766 1007769 1007714 0 -1 1077936128 1024670 0 0 0 357227 99 0 0 20 0 3 0 183931846 1545613312 331981 134679101440 4194304 16613245 140726099401120 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 28209152 140726099407891 140726099408007 140726099408007 140726099415024 0
/proc/1007769/statm: 377347 331981 2974 3032 0 367903 0
[pid=1007769/tid=1007790] ppid=1007766 vsize=1509388 memory=1327924 CPUtime=3570.73 cores=1,3
/proc/1007769/task/1007790/stat : 1007790 (fscip) R 1007766 1007769 1007714 0 -1 4194368 922316 0 0 0 356999 74 0 0 20 0 3 0 183932079 1545613312 331981 134679101440 4194304 16613245 140726099401120 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 28209152 140726099407891 140726099408007 140726099408007 140726099415024 0
[pid=1007769/tid=1007791] ppid=1007766 vsize=1509388 memory=13116 CPUtime=0.03 cores=1,3
/proc/1007769/task/1007791/stat : 1007791 (fscip) S 1007766 1007769 1007714 0 -1 1077936192 364 0 0 0 1 2 0 0 20 0 3 0 183932100 1545613312 331981 134679101440 4194304 16613245 140726099401120 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 28209152 140726099407891 140726099408007 140726099408007 140726099415024 0
Current children cumulated CPU time: 3573.26 s
Current children cumulated vsize: 1509388 KiB
Current children cumulated memory: 1327924 KiB
[startup+3600.26 s]
# the end of solver process 1007769 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3590.16 s, system=1.01836 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.43 4.28 4.15 5/263 1009834
/proc/meminfo: memFree=117588200/131524600 swapFree=131071996/131071996
[pid=1007769] ppid=1007766 vsize=1509388 memory=1327924 CPUtime=3574.96 cores=1,3
/proc/1007769/stat : 1007769 (fscip) S 1007766 1007769 1007714 0 -1 1077936128 1024681 0 0 0 357397 99 0 0 20 0 3 0 183931846 1545613312 331981 134679101440 4194304 16613245 140726099401120 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 28209152 140726099407891 140726099408007 140726099408007 140726099415024 0
/proc/1007769/statm: 377347 331981 2974 3032 0 367903 0
[pid=1007769/tid=1007790] ppid=1007766 vsize=1509388 memory=-6951165036618288996 CPUtime=3572.43 cores=1,3
/proc/1007769/task/1007790/stat : 1007790 (fscip) R 1007766 1007769 1007714 0 -1 4194368 922323 0 0 0 357169 74 0 0 20 0 3 0 183932079 1545613312 331981 134679101440 4194304 16613245 140726099401120 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 28209152 140726099407891 140726099408007 140726099408007 140726099415024 0
[pid=1007769/tid=1007791] ppid=1007766 vsize=1509388 memory=-6933350163988321477 CPUtime=0.03 cores=1,3
/proc/1007769/task/1007791/stat : 1007791 (fscip) S 1007766 1007769 1007714 0 -1 1077936192 368 0 0 0 1 2 0 0 20 0 3 0 183932100 1545613312 331981 134679101440 4194304 16613245 140726099401120 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 28209152 140726099407891 140726099408007 140726099408007 140726099415024 0
Current children cumulated CPU time: 3574.96 s
Current children cumulated vsize: 1509388 KiB
Current children cumulated memory: 1327924 KiB
[startup+3590.4 s]
/proc/loadavg: 4.56 4.31 4.16 5/263 1009834
/proc/meminfo: memFree=117586928/131524600 swapFree=131071996/131071996
[pid=1007769] ppid=1007766 vsize=1509388 memory=1327924 CPUtime=3581.34 cores=1,3
/proc/1007769/stat : 1007769 (fscip) S 1007766 1007769 1007714 0 -1 1077936128 1024772 0 0 0 358035 99 0 0 20 0 3 0 183931846 1545613312 331981 134679101440 4194304 16613245 140726099401120 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 28209152 140726099407891 140726099408007 140726099408007 140726099415024 0
/proc/1007769/statm: 377347 331981 2974 3032 0 367903 0
[pid=1007769/tid=1007790] ppid=1007766 vsize=1509388 memory=11396 CPUtime=3578.81 cores=1,3
/proc/1007769/task/1007790/stat : 1007790 (fscip) R 1007766 1007769 1007714 0 -1 4194368 922400 0 0 0 357807 74 0 0 20 0 3 0 183932079 1545613312 331981 134679101440 4194304 16613245 140726099401120 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 28209152 140726099407891 140726099408007 140726099408007 140726099415024 0
[pid=1007769/tid=1007791] ppid=1007766 vsize=1509388 memory=3473594371888356426 CPUtime=0.03 cores=1,3
/proc/1007769/task/1007791/stat : 1007791 (fscip) S 1007766 1007769 1007714 0 -1 1077936192 368 0 0 0 1 2 0 0 20 0 3 0 183932100 1545613312 331981 134679101440 4194304 16613245 140726099401120 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 28209152 140726099407891 140726099408007 140726099408007 140726099415024 0
Current children cumulated CPU time: 3581.34 s
Current children cumulated vsize: 1509388 KiB
Current children cumulated memory: 1327924 KiB
[startup+3596.8 s]
/proc/loadavg: 4.62 4.33 4.17 5/263 1009835
/proc/meminfo: memFree=117585332/131524600 swapFree=131071996/131071996
[pid=1007769] ppid=1007766 vsize=1509388 memory=1327924 CPUtime=3587.72 cores=1,3
/proc/1007769/stat : 1007769 (fscip) S 1007766 1007769 1007714 0 -1 1077936128 1027849 0 0 0 358673 99 0 0 20 0 3 0 183931846 1545613312 331981 134679101440 4194304 16613245 140726099401120 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 28209152 140726099407891 140726099408007 140726099408007 140726099415024 0
/proc/1007769/statm: 377347 331981 2974 3032 0 367903 0
[pid=1007769/tid=1007790] ppid=1007766 vsize=1509388 memory=43840 CPUtime=3585.19 cores=1,3
/proc/1007769/task/1007790/stat : 1007790 (fscip) R 1007766 1007769 1007714 0 -1 4194368 925477 0 0 0 358445 74 0 0 20 0 3 0 183932079 1545613312 331981 134679101440 4194304 16613245 140726099401120 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 28209152 140726099407891 140726099408007 140726099408007 140726099415024 0
[pid=1007769/tid=1007791] ppid=1007766 vsize=1509388 memory=2369 CPUtime=0.03 cores=1,3
/proc/1007769/task/1007791/stat : 1007791 (fscip) S 1007766 1007769 1007714 0 -1 1077936192 368 0 0 0 1 2 0 0 20 0 3 0 183932100 1545613312 331981 134679101440 4194304 16613245 140726099401120 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 28209152 140726099407891 140726099408007 140726099408007 140726099415024 0
Current children cumulated CPU time: 3587.72 s
Current children cumulated vsize: 1509388 KiB
Current children cumulated memory: 1327924 KiB
[startup+3598.4 s]
/proc/loadavg: 4.62 4.33 4.17 5/263 1009835
/proc/meminfo: memFree=117585304/131524600 swapFree=131071996/131071996
[pid=1007769] ppid=1007766 vsize=1509388 memory=1327924 CPUtime=3589.31 cores=1,3
/proc/1007769/stat : 1007769 (fscip) S 1007766 1007769 1007714 0 -1 1077936128 1027910 0 0 0 358832 99 0 0 20 0 3 0 183931846 1545613312 331981 134679101440 4194304 16613245 140726099401120 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 28209152 140726099407891 140726099408007 140726099408007 140726099415024 0
/proc/1007769/statm: 377347 331981 2974 3032 0 367903 0
[pid=1007769/tid=1007790] ppid=1007766 vsize=1509388 memory=1327924 CPUtime=3586.78 cores=1,3
/proc/1007769/task/1007790/stat : 1007790 (fscip) R 1007766 1007769 1007714 0 -1 4194368 925538 0 0 0 358604 74 0 0 20 0 3 0 183932079 1545613312 331981 134679101440 4194304 16613245 140726099401120 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 28209152 140726099407891 140726099408007 140726099408007 140726099415024 0
[pid=1007769/tid=1007791] ppid=1007766 vsize=1509388 memory=13116 CPUtime=0.03 cores=1,3
/proc/1007769/task/1007791/stat : 1007791 (fscip) S 1007766 1007769 1007714 0 -1 1077936192 368 0 0 0 1 2 0 0 20 0 3 0 183932100 1545613312 331981 134679101440 4194304 16613245 140726099401120 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 28209152 140726099407891 140726099408007 140726099408007 140726099415024 0
Current children cumulated CPU time: 3589.31 s
Current children cumulated vsize: 1509388 KiB
Current children cumulated memory: 1327924 KiB
[startup+3599.2 s]
/proc/loadavg: 4.62 4.33 4.17 5/263 1009835
/proc/meminfo: memFree=117584656/131524600 swapFree=131071996/131071996
[pid=1007769] ppid=1007766 vsize=1509388 memory=1327924 CPUtime=3590.11 cores=1,3
/proc/1007769/stat : 1007769 (fscip) S 1007766 1007769 1007714 0 -1 1077936128 1027968 0 0 0 358912 99 0 0 20 0 3 0 183931846 1545613312 331981 134679101440 4194304 16613245 140726099401120 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 28209152 140726099407891 140726099408007 140726099408007 140726099415024 0
/proc/1007769/statm: 377347 331981 2974 3032 0 367903 0
[pid=1007769/tid=1007790] ppid=1007766 vsize=1509388 memory=43840 CPUtime=3587.58 cores=1,3
/proc/1007769/task/1007790/stat : 1007790 (fscip) R 1007766 1007769 1007714 0 -1 4194368 925596 0 0 0 358684 74 0 0 20 0 3 0 183932079 1545613312 331981 134679101440 4194304 16613245 140726099401120 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 28209152 140726099407891 140726099408007 140726099408007 140726099415024 0
[pid=1007769/tid=1007791] ppid=1007766 vsize=1509388 memory=2212 CPUtime=0.03 cores=1,3
/proc/1007769/task/1007791/stat : 1007791 (fscip) S 1007766 1007769 1007714 0 -1 1077936192 368 0 0 0 1 2 0 0 20 0 3 0 183932100 1545613312 331981 134679101440 4194304 16613245 140726099401120 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 28209152 140726099407891 140726099408007 140726099408007 140726099415024 0
Current children cumulated CPU time: 3590.11 s
Current children cumulated vsize: 1509388 KiB
Current children cumulated memory: 1327924 KiB
[startup+3600 s]*
/proc/loadavg: 4.62 4.33 4.17 5/263 1009835
/proc/meminfo: memFree=117584544/131524600 swapFree=131071996/131071996
[pid=1007769] ppid=1007766 vsize=1509388 memory=1327924 CPUtime=3590.91 cores=1,3
/proc/1007769/stat : 1007769 (fscip) R 1007766 1007769 1007714 0 -1 1077936128 1027987 0 0 0 358992 99 0 0 20 0 3 0 183931846 1545613312 331981 134679101440 4194304 16613245 140726099401120 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 28209152 140726099407891 140726099408007 140726099408007 140726099415024 0
/proc/1007769/statm: 377347 331981 2974 3032 0 367903 0
[pid=1007769/tid=1007790] ppid=1007766 vsize=1509388 memory=-6951165036618288996 CPUtime=3588.39 cores=1,3
/proc/1007769/task/1007790/stat : 1007790 (fscip) R 1007766 1007769 1007714 0 -1 4194368 925615 0 0 0 358765 74 0 0 20 0 3 0 183932079 1545613312 331981 134679101440 4194304 16613245 140726099401120 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 28209152 140726099407891 140726099408007 140726099408007 140726099415024 0
[pid=1007769/tid=1007791] ppid=1007766 vsize=1509388 memory=-6933350163988321477 CPUtime=0.03 cores=1,3
/proc/1007769/task/1007791/stat : 1007791 (fscip) S 1007766 1007769 1007714 0 -1 1077936192 368 0 0 0 1 2 0 0 20 0 3 0 183932100 1545613312 331981 134679101440 4194304 16613245 140726099401120 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 28209152 140726099407891 140726099408007 140726099408007 140726099415024 0
Current children cumulated CPU time: 3590.91 s
Current children cumulated vsize: 1509388 KiB
Current children cumulated memory: 1327924 KiB
[startup+3600.2 s]
/proc/loadavg: 4.62 4.33 4.17 5/263 1009835
/proc/meminfo: memFree=117584544/131524600 swapFree=131071996/131071996
[pid=1007769] ppid=1007766 vsize=1506688 memory=1323704 CPUtime=3591.11 cores=1,3
/proc/1007769/stat : 1007769 (fscip) R 1007766 1007769 1007714 0 -1 4194304 1032848 0 0 0 359012 99 0 0 20 0 2 0 183931846 1542848512 330926 134679101440 4194304 16613245 140726099401120 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 28209152 140726099407891 140726099408007 140726099408007 140726099415024 0
/proc/1007769/statm: 376672 330926 2974 3032 0 367228 0
[pid=1007769/tid=1007791] ppid=1007766 vsize=1506688 memory=2168 CPUtime=0.03 cores=1,3
/proc/1007769/task/1007791/stat : 1007791 (fscip) S 1007766 1007769 1007714 0 -1 1077936192 368 0 0 0 1 2 0 0 20 0 2 0 183932100 1542848512 330926 134679101440 4194304 16613245 140726099401120 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 28209152 140726099407891 140726099408007 140726099408007 140726099415024 0
Current children cumulated CPU time: 3591.11 s
Current children cumulated vsize: 1506688 KiB
Current children cumulated memory: 1323704 KiB
Child status: 0
Real time (s): 3600.26
CPU time (s): 3591.18
CPU user time (s): 3590.16
CPU system time (s): 1.01836
CPU usage (%): 99.7477
Max. virtual memory (cumulated for all children) (KiB): 1509388
Max. memory (cumulated for all children) (KiB): 1327924
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3590.16
system time used= 1.01836
maximum resident set size= 1327924
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1038315
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= 5588
involuntary context switches= 1450
# summary of solver processes directly reported to runsolver:
# pid: 1007769
# total CPU time (s): 3591.18
# total CPU user time (s): 3590.16
# total CPU system time (s): 1.01836
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.43646 second user time and 17.9946 second system time
The end
Begin job on nodeC030 at 2024-07-18 17:47:30
IDJOB=4444010
IDBENCH=147893
IDSOLVER=3064
FILE ID=nodeC030/4444010-1721317637
RUNJOBID= nodeC030-1721317650-1007726
SLURM_JOB_ID= 7542666
Free space on /tmp= 890040 MiB
SOLVER NAME= FiberSCIP 2024-07-02
BENCH NAME= PB24/normalized-PB06/DEC-LIN/submitted-PB06/liu/vdw/normalized-vdw_k4_l4_n360.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-4444010-1721317637/watcher-4444010-1721317637 -o /tmp/evaluation-result-4444010-1721317637/solver-4444010-1721317637 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC030-1721317650-1007726 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4444010-1721317637.opb -qsol -t 3600 -sth 1
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 4e71f8d633240b9029e11e93d5a0a0b4
RANDOM SEED=1576844475
nodeC030.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 : 3600.003
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.28
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 : 3664.087
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.11
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 : 3662.682
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.28
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.370
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.11
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 : 3662.580
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.28
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 : 3661.202
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.11
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 : 3599.847
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.28
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 : 3664.021
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.11
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 128484304 kB
MemAvailable: 129681556 kB
Buffers: 472668 kB
Cached: 1553768 kB
SwapCached: 0 kB
Active: 1097880 kB
Inactive: 1317704 kB
Active(anon): 1488 kB
Inactive(anon): 425380 kB
Active(file): 1096392 kB
Inactive(file): 892324 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 112740 kB
Writeback: 0 kB
AnonPages: 388800 kB
Mapped: 116504 kB
Shmem: 37720 kB
KReclaimable: 96720 kB
Slab: 209300 kB
SReclaimable: 96720 kB
SUnreclaim: 112580 kB
KernelStack: 3872 kB
PageTables: 9376 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 778268 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 69760 kB
HardwareCorrupted: 0 kB
AnonHugePages: 247808 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: 234196 kB
DirectMap2M: 18413568 kB
DirectMap1G: 117440512 kB
Free space on /tmp at the end= 889924 MiB
End job on nodeC030 at 2024-07-18 18:47:31