0.00/0.00 c The following solver is parallelized by UG version 1.0.0 [GitHash: e6e2b6ff-dirty]
0.00/0.00 c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.1.1] [GitHash: 020d91813d]
0.00/0.00 c Copyright (c) 2002-2024 Zuse Institute Berlin (ZIB)
0.00/0.00 c External libraries:
0.00/0.00 c Soplex 7.1.1 Linear Programming Solver developed at Zuse Institute Berlin (soplex.zib.de) [GitHash: b4905e82]
0.00/0.00 c CppAD 20180000.0 Algorithmic Differentiation of C++ algorithms developed by B. Bell (github.com/coin-or/CppAD)
0.00/0.00 c AMPL/MP 690e9e7 AMPL .nl file reader library (github.com/ampl/mp)
0.00/0.00 c PaPILO 2.4.0 parallel presolve for integer and linear optimization (github.com/scipopt/papilo)
0.00/0.00 c Nauty 2.8.8 Computing Graph Automorphism Groups by Brendan D. McKay (users.cecs.anu.edu.au/~bdm/nauty)
0.00/0.00 c sassy 1.1 Symmetry preprocessor by Markus Anders (github.com/markusa4/sassy)
0.00/0.10 c Default LC presolving (default).
0.00/0.10 c ** Before presolving: virtualMemUsedAtLc = 91970544, getVmSize() = 82149376, SCIPgetMemUsed() = 52661621, SCIPgetMemTotal() = 58321237, SCIPgetMemExternEstim() = 33649307
0.00/0.10 c ** set memory limit for presolving in LC to 8.79607e+12 for SCIP **
0.20/0.28 c ** Estimated virtualMemUsedAtSolver = 77130717, getVmSize() = 107495424, SCIPgetMemUsed() = 55831673, SCIPgetMemTotal() = 82046769, SCIPgetMemExternEstim() = 33649307
0.20/0.28 c ** set memory limit for solvers to 4.39804e+12 for each SCIP **
0.20/0.28 c Original Problem :
0.20/0.28 c Problem name : instance-4464778-1722382194
0.20/0.28 c Variables : 16706 (1000 binary, 0 integer, 15706 implicit integer, 0 continuous)
0.20/0.28 c Constraints : 18207
0.20/0.28 c Objective sense : minimize
0.20/0.28 c Presolved Problem :
0.20/0.28 c Variables : 1000 (1000 binary, 0 integer, 0 implicit integer, 0 continuous)
0.20/0.28 c Constraints : 1501
0.20/0.28 c Constraints : Number
0.20/0.28 c knapsack : 1000
0.20/0.28 c setppc : 500
0.20/0.28 c linear : 1
0.20/0.28 c ** Instance transfer method used: 0
0.20/0.29 c ** ParaScipInstance copy does not increase the number of variables. **
0.20/0.29 c LC is working with racing ramp-up and with rebuilding tree after racing.
0.20/0.29 c Nodes Active
0.20/0.29 c Time Nodes Left Solvers Best Integer Best Node Gap Best Node(S) Gap(S)
0.39/0.42 c * 0 0 1 1 -1.0000 - -
8.75/8.80 c * 9 0 1 1 -51.0000 - -
8.75/8.80 c 9 0 1 1 -51.0000 - -
107.19/107.55 c * 108 0 1 1 -56.0000 - -
107.19/107.55 c 108 0 1 1 -56.0000 - -
124.25/124.69 c * 125 0 1 1 -61.0000 - -
124.25/124.69 c 125 0 1 1 -61.0000 - -
190.99/191.50 c 192 2 1 1 -61.0000 -231.1110 278.87%
307.62/308.45 c 308 3 2 1 -61.0000 -231.1110 278.87%
364.10/365.03 c 365 4 3 1 -61.0000 -231.1110 278.87%
437.61/438.76 c 439 5 4 1 -61.0000 -231.1110 278.87%
502.96/504.23 c 504 6 5 1 -61.0000 -231.1110 278.87%
530.40/531.73 c 532 7 6 1 -61.0000 -231.1110 278.87%
559.93/561.34 c 561 8 7 1 -61.0000 -231.1110 278.87%
574.39/575.84 c 576 9 8 1 -61.0000 -231.1110 278.87%
580.49/581.98 c * 582 12 11 1 -70.0000 -231.1110 230.16%
580.49/581.98 c 582 12 11 1 -70.0000 -231.1110 230.16%
585.68/587.13 c 587 21 20 1 -70.0000 -231.1110 230.16%
591.86/593.39 c 593 25 24 1 -70.0000 -231.1110 230.16%
593.56/595.10 c * 595 25 24 1 -76.0000 -231.1110 204.09%
598.05/599.59 c 600 32 31 1 -76.0000 -231.1110 204.09%
618.30/619.80 c 620 36 35 1 -76.0000 -231.1110 204.09%
627.18/628.79 c 629 47 46 1 -76.0000 -231.1110 204.09%
632.96/634.59 c 635 57 56 1 -76.0000 -231.1110 204.09%
638.65/640.20 c 640 58 57 1 -76.0000 -231.1110 204.09%
651.22/652.80 c 653 69 68 1 -76.0000 -231.1110 204.09%
657.61/659.27 c 659 71 70 1 -76.0000 -231.1110 204.09%
669.58/671.24 c 671 76 75 1 -76.0000 -231.1110 204.09%
677.95/679.68 c 680 80 79 1 -76.0000 -231.1110 204.09%
691.33/693.06 c 693 90 89 1 -76.0000 -231.1110 204.09%
696.61/698.39 c 698 94 93 1 -76.0000 -231.1110 204.09%
705.09/706.86 c 707 102 101 1 -76.0000 -231.1110 204.09%
710.39/712.19 c 712 108 107 1 -76.0000 -231.1110 204.09%
717.86/719.70 c 720 114 113 1 -76.0000 -231.1110 204.09%
723.95/725.70 c 726 126 125 1 -76.0000 -231.1110 204.09%
731.34/733.17 c 733 142 141 1 -76.0000 -231.1110 204.09%
738.32/740.17 c 740 162 161 1 -76.0000 -231.1110 204.09%
745.60/747.48 c 747 181 180 1 -76.0000 -231.1110 204.09%
768.53/770.49 c 770 182 181 1 -76.0000 -230.9600 203.89%
774.22/776.15 c 776 186 185 1 -76.0000 -230.9600 203.89%
782.40/784.39 c 784 207 206 1 -76.0000 -230.9600 203.89%
790.57/792.53 c 793 227 228 1 -76.0000 -230.9600 203.89%
791.67/793.67 c * 794 227 228 1 -78.0000 -230.9600 196.10%
795.56/797.59 c 798 313 244 1 -78.0000 -230.9184 196.05%
813.91/815.99 c 816 314 245 1 -78.0000 -230.9184 196.05%
827.09/829.15 c 829 319 250 1 -78.0000 -230.9184 196.05%
832.27/834.31 c 834 434 277 1 -78.0000 -230.9184 196.05%
851.82/853.92 c 854 463 280 1 -78.0000 -230.8485 195.96%
864.69/866.80 c 867 468 285 1 -78.0000 -230.8485 195.96%
894.32/896.54 c 897 471 288 1 -78.0000 -230.8485 195.96%
899.51/901.75 c 902 476 293 1 -78.0000 -230.7564 195.84%
921.55/923.85 c 924 477 294 1 -78.0000 -230.7564 195.84%
927.85/930.12 c 930 483 300 1 -78.0000 -230.7189 195.79%
939.91/942.22 c 942 486 303 1 -78.0000 -230.7189 195.79%
946.99/949.36 c 949 493 310 1 -78.0000 -230.6297 195.68%
973.24/975.69 c 976 495 312 1 -78.0000 -230.6297 195.68%
978.42/980.86 c 981 502 319 1 -78.0000 -230.5883 195.63%
989.81/992.20 c 992 504 321 1 -78.0000 -230.5883 195.63%
996.39/998.89 c 999 510 327 1 -78.0000 -230.5883 195.63%
1010.76/1013.27 c 1013 513 330 1 -78.0000 -230.4851 195.49%
1025.12/1027.68 c 1028 514 331 1 -78.0000 -230.4851 195.49%
1031.51/1034.03 c 1034 521 338 1 -78.0000 -230.4851 195.49%
1047.57/1050.11 c 1050 522 339 1 -78.0000 -229.9226 194.77%
1064.33/1066.98 c 1067 523 340 1 -78.0000 -229.9226 194.77%
1069.62/1072.25 c 1072 529 346 1 -78.0000 -229.9226 194.77%
1074.80/1077.44 c 1077 533 350 1 -78.0000 -229.9098 194.76%
1089.57/1092.26 c 1092 537 354 1 -78.0000 -229.9098 194.76%
1095.46/1098.19 c 1098 541 358 1 -78.0000 -229.9098 194.76%
1101.73/1104.43 c 1104 545 362 1 -78.0000 -229.8267 194.65%
1111.90/1114.64 c 1115 549 366 1 -78.0000 -229.8267 194.65%
1116.99/1119.70 c 1120 552 369 1 -78.0000 -229.7830 194.59%
1123.08/1125.81 c 1126 555 372 1 -78.0000 -229.7830 194.59%
1134.85/1137.69 c 1138 557 374 1 -78.0000 -229.7830 194.59%
1140.24/1143.03 c 1143 561 378 1 -78.0000 -229.7830 194.59%
1146.02/1148.89 c 1149 565 382 1 -78.0000 -229.7789 194.59%
1151.41/1154.28 c 1154 570 387 1 -78.0000 -229.7789 194.59%
1173.35/1176.20 c 1176 572 389 1 -78.0000 -229.7323 194.53%
1178.85/1181.75 c 1182 575 392 1 -78.0000 -229.7323 194.53%
1186.52/1189.42 c 1189 581 398 1 -78.0000 -229.7323 194.53%
1192.71/1195.66 c 1196 585 402 1 -78.0000 -229.6458 194.42%
1208.08/1211.01 c 1211 587 404 1 -78.0000 -229.6458 194.42%
1211.26/1214.25 c * 1214 589 406 1 -79.0000 -229.6458 190.69%
1214.55/1217.58 c 1218 593 387 1 -79.0000 -229.6409 190.68%
1220.44/1223.46 c 1223 599 393 1 -79.0000 -229.6409 190.68%
1225.43/1228.49 c 1228 603 397 1 -79.0000 -229.5519 190.57%
1244.19/1247.26 c 1247 608 402 1 -79.0000 -229.5519 190.57%
1249.87/1252.93 c 1253 613 407 1 -79.0000 -229.5477 190.57%
1261.45/1264.53 c 1265 616 410 1 -79.0000 -229.5477 190.57%
1284.19/1287.33 c 1287 623 417 1 -79.0000 -229.5269 190.54%
1290.47/1293.69 c 1294 628 422 1 -79.0000 -229.5269 190.54%
1296.66/1299.81 c 1300 634 428 1 -79.0000 -229.5167 190.53%
1316.11/1319.35 c 1319 637 431 1 -79.0000 -229.5167 190.53%
1321.59/1324.87 c 1325 643 437 1 -79.0000 -229.4882 190.49%
1333.07/1336.34 c 1336 645 439 1 -79.0000 -229.4882 190.49%
1338.36/1341.69 c 1342 652 446 1 -79.0000 -229.4881 190.49%
1351.83/1355.18 c 1355 653 447 1 -79.0000 -229.4881 190.49%
1359.51/1362.86 c 1363 656 450 1 -79.0000 -229.4881 190.49%
1364.89/1368.21 c 1368 662 456 1 -79.0000 -229.4493 190.44%
1371.08/1374.44 c 1374 666 460 1 -79.0000 -229.4493 190.44%
1381.26/1384.64 c 1385 668 462 1 -79.0000 -229.4493 190.44%
1411.49/1414.90 c 1415 671 465 1 -79.0000 -229.4493 190.44%
1425.16/1428.67 c 1429 675 469 1 -79.0000 -229.4420 190.43%
1432.04/1435.51 c 1436 679 473 1 -79.0000 -229.4420 190.43%
1437.23/1440.79 c 1441 682 476 1 -79.0000 -229.4117 190.39%
1445.91/1449.41 c 1449 686 480 1 -79.0000 -229.4117 190.39%
1452.89/1456.40 c 1456 692 486 1 -79.0000 -229.3823 190.36%
1482.72/1486.36 c 1486 694 488 1 -79.0000 -229.3823 190.36%
1488.61/1492.23 c 1492 699 493 1 -79.0000 -229.3823 190.36%
1512.15/1515.81 c 1516 704 498 1 -79.0000 -229.3626 190.33%
1519.73/1523.46 c 1523 709 503 1 -79.0000 -229.3626 190.33%
1525.72/1529.41 c 1529 713 507 1 -79.0000 -229.3572 190.33%
1539.29/1543.04 c 1543 715 509 1 -79.0000 -229.3572 190.33%
1544.77/1548.52 c 1549 721 515 1 -79.0000 -229.3572 190.33%
1557.05/1560.84 c 1561 723 517 1 -79.0000 -229.3460 190.31%
1570.41/1574.25 c 1574 727 521 1 -79.0000 -229.3460 190.31%
1585.58/1589.44 c 1589 732 526 1 -79.0000 -229.3419 190.31%
1590.76/1594.68 c 1595 735 529 1 -79.0000 -229.3419 190.31%
1600.64/1604.59 c 1605 737 531 1 -79.0000 -229.3419 190.31%
1606.24/1610.12 c 1610 743 537 1 -79.0000 -229.3109 190.27%
1612.71/1616.66 c 1617 751 545 1 -79.0000 -229.3109 190.27%
1632.47/1636.49 c 1636 753 547 1 -79.0000 -229.2936 190.25%
1648.83/1652.80 c 1653 761 555 1 -79.0000 -229.2936 190.25%
1667.00/1671.02 c 1671 763 557 1 -79.0000 -229.2887 190.24%
1678.17/1682.22 c 1682 768 562 1 -79.0000 -229.2887 190.24%
1683.46/1687.51 c 1688 773 567 1 -79.0000 -229.2876 190.24%
1695.23/1699.37 c 1699 777 571 1 -79.0000 -229.2876 190.24%
1701.22/1705.38 c 1705 781 575 1 -79.0000 -229.2876 190.24%
1732.16/1736.33 c 1736 782 576 1 -79.0000 -229.2712 190.22%
1738.64/1742.88 c 1743 787 581 1 -79.0000 -229.2712 190.22%
1741.13/1745.33 c * 1745 787 581 1 -80.0000 -229.2712 186.59%
1744.82/1749.02 c 1749 794 575 1 -80.0000 -229.2649 186.58%
1762.98/1767.23 c 1767 797 578 1 -80.0000 -229.2649 186.58%
1770.26/1774.59 c 1775 803 584 1 -80.0000 -229.2375 186.55%
1776.55/1780.82 c 1781 809 590 1 -80.0000 -229.2375 186.55%
1805.99/1810.37 c 1810 812 593 1 -80.0000 -229.2286 186.54%
1814.96/1819.37 c 1819 818 599 1 -80.0000 -229.2286 186.54%
1821.04/1825.49 c 1826 824 605 1 -80.0000 -229.2255 186.53%
1831.62/1836.02 c 1836 825 606 1 -80.0000 -229.2255 186.53%
1844.70/1849.17 c 1849 826 607 1 -80.0000 -229.2255 186.53%
1850.89/1855.32 c 1855 833 614 1 -80.0000 -229.2123 186.52%
1862.45/1866.95 c 1867 835 616 1 -80.0000 -229.2123 186.52%
1874.12/1878.62 c 1879 836 617 1 -80.0000 -229.2123 186.52%
1879.41/1883.90 c 1884 842 623 1 -80.0000 -229.1839 186.48%
1892.47/1897.00 c 1897 845 626 1 -80.0000 -229.1839 186.48%
1921.99/1926.66 c 1927 851 632 1 -80.0000 -229.1839 186.48%
1927.97/1932.67 c 1933 856 637 1 -80.0000 -229.1791 186.47%
1934.55/1939.29 c 1939 859 640 1 -80.0000 -229.1791 186.47%
1952.40/1957.12 c 1957 865 646 1 -80.0000 -229.1658 186.46%
1963.27/1968.06 c 1968 866 647 1 -80.0000 -229.1658 186.46%
1968.55/1973.38 c 1973 871 652 1 -80.0000 -229.1658 186.46%
1984.41/1989.20 c 1989 875 656 1 -80.0000 -229.1588 186.45%
1990.79/1995.62 c 1996 881 662 1 -80.0000 -229.1588 186.45%
1996.67/2001.59 c 2002 883 664 1 -80.0000 -229.1166 186.40%
2002.35/2007.27 c 2007 886 667 1 -80.0000 -229.1166 186.40%
2010.63/2015.56 c 2016 887 668 1 -80.0000 -229.1166 186.40%
2016.22/2021.14 c 2021 893 674 1 -80.0000 -229.1125 186.39%
2028.19/2033.12 c 2033 894 675 1 -80.0000 -229.1125 186.39%
2037.86/2042.88 c 2043 898 679 1 -80.0000 -229.1125 186.39%
2055.51/2060.57 c 2061 904 685 1 -80.0000 -229.0514 186.31%
2069.26/2074.36 c 2074 905 686 1 -80.0000 -229.0514 186.31%
2075.65/2080.74 c 2081 911 692 1 -80.0000 -229.0514 186.31%
2089.61/2094.72 c 2095 913 694 1 -80.0000 -229.0493 186.31%
2095.49/2100.67 c 2101 921 702 1 -80.0000 -229.0493 186.31%
2104.87/2110.03 c 2110 923 704 1 -80.0000 -229.0019 186.25%
2110.85/2116.02 c 2116 927 708 1 -80.0000 -229.0019 186.25%
2117.43/2122.66 c 2123 931 712 1 -80.0000 -229.0019 186.25%
2138.77/2144.01 c 2144 933 714 1 -80.0000 -228.9859 186.23%
2152.23/2157.56 c 2158 935 716 1 -80.0000 -228.9859 186.23%
2168.98/2174.38 c 2174 941 722 1 -80.0000 -228.9859 186.23%
2174.67/2180.06 c 2180 944 725 1 -80.0000 -228.9579 186.20%
2182.84/2188.21 c 2188 947 728 1 -80.0000 -228.9579 186.20%
2202.60/2208.08 c 2208 952 733 1 -80.0000 -228.9213 186.15%
2219.24/2224.76 c 2225 953 734 1 -80.0000 -228.9213 186.15%
2225.73/2231.28 c 2231 961 742 1 -80.0000 -228.9213 186.15%
2230.81/2236.30 c 2236 963 744 1 -80.0000 -228.9131 186.14%
2236.89/2242.47 c 2242 971 752 1 -80.0000 -228.9131 186.14%
2257.04/2262.60 c 2263 972 753 1 -80.0000 -228.8990 186.12%
2269.50/2275.16 c 2275 974 755 1 -80.0000 -228.8990 186.12%
2280.87/2286.56 c 2287 975 756 1 -80.0000 -228.8990 186.12%
2286.95/2292.68 c 2293 981 762 1 -80.0000 -228.8990 186.12%
2292.44/2298.18 c 2298 988 769 1 -80.0000 -228.8988 186.12%
2297.62/2303.36 c 2303 990 771 1 -80.0000 -228.8988 186.12%
2311.28/2317.04 c 2317 993 774 1 -80.0000 -228.8235 186.03%
2319.75/2325.59 c 2326 999 780 1 -80.0000 -228.8235 186.03%
2336.11/2341.95 c 2342 1002 783 1 -80.0000 -228.7743 185.97%
2346.88/2352.79 c 2353 1004 785 1 -80.0000 -228.7743 185.97%
2352.57/2358.41 c 2358 1011 792 1 -80.0000 -228.7743 185.97%
2357.65/2363.59 c 2364 1015 796 1 -80.0000 -228.7196 185.90%
2367.42/2373.36 c 2373 1018 799 1 -80.0000 -228.7196 185.90%
2374.40/2380.31 c 2380 1022 803 1 -80.0000 -228.6835 185.85%
2387.46/2393.44 c 2393 1024 805 1 -80.0000 -228.6835 185.85%
2397.23/2403.24 c 2403 1027 808 1 -80.0000 -228.6835 185.85%
2402.33/2408.30 c 2408 1033 814 1 -80.0000 -228.6508 185.81%
2421.07/2427.18 c 2427 1036 817 1 -80.0000 -228.6508 185.81%
2426.25/2432.32 c 2432 1042 823 1 -80.0000 -228.6104 185.76%
2436.42/2442.55 c 2443 1047 828 1 -80.0000 -228.6104 185.76%
2467.64/2473.87 c 2474 1051 832 1 -80.0000 -228.6104 185.76%
2484.19/2490.40 c 2490 1055 836 1 -80.0000 -228.6095 185.76%
2490.87/2497.17 c 2497 1061 842 1 -80.0000 -228.6095 185.76%
2497.05/2503.35 c 2503 1063 844 1 -80.0000 -228.5794 185.72%
2510.82/2517.11 c 2517 1065 846 1 -80.0000 -228.5794 185.72%
2517.10/2523.41 c 2523 1066 847 1 -80.0000 -228.5794 185.72%
2523.18/2529.51 c 2530 1069 850 1 -80.0000 -228.5794 185.72%
2529.46/2535.84 c 2536 1074 855 1 -80.0000 -228.5762 185.72%
2535.04/2541.43 c 2541 1079 860 1 -80.0000 -228.5762 185.72%
2557.87/2564.35 c 2564 1084 865 1 -80.0000 -228.5486 185.69%
2564.15/2570.61 c 2571 1091 872 1 -80.0000 -228.5486 185.69%
2569.34/2575.82 c 2576 1098 879 1 -80.0000 -228.5382 185.67%
2584.00/2590.51 c 2591 1104 885 1 -80.0000 -228.5208 185.65%
2589.38/2595.93 c 2596 1111 892 1 -80.0000 -228.5208 185.65%
2604.75/2611.32 c 2611 1113 894 1 -80.0000 -228.5102 185.64%
2610.53/2617.17 c 2617 1119 900 1 -80.0000 -228.5102 185.64%
2611.92/2618.58 c * 2619 1119 900 1 -81.0000 -228.5102 182.11%
2617.21/2623.86 c 2624 1124 903 1 -81.0000 -228.5033 182.10%
2622.79/2629.45 c 2629 1131 910 1 -81.0000 -228.5033 182.10%
2634.16/2640.89 c 2641 1133 912 1 -81.0000 -228.4791 182.07%
2640.45/2647.17 c 2647 1141 920 1 -81.0000 -228.4791 182.07%
2646.02/2652.73 c 2653 1147 926 1 -81.0000 -228.4686 182.06%
2652.41/2659.19 c 2659 1154 933 1 -81.0000 -228.4670 182.06%
2658.98/2665.74 c 2666 1161 940 1 -81.0000 -228.4670 182.06%
2664.17/2670.98 c 2671 1166 945 1 -81.0000 -228.4563 182.04%
2670.75/2677.58 c 2678 1171 950 1 -81.0000 -228.4563 182.04%
2676.44/2683.23 c 2683 1175 954 1 -81.0000 -228.4530 182.04%
2695.38/2702.29 c 2702 1182 961 1 -81.0000 -228.4441 182.03%
2700.66/2707.50 c 2708 1186 965 1 -81.0000 -228.4441 182.03%
2706.65/2713.59 c 2714 1193 972 1 -81.0000 -228.4425 182.03%
2712.73/2719.66 c 2720 1201 980 1 -81.0000 -228.4425 182.03%
2719.41/2726.33 c 2726 1206 985 1 -81.0000 -228.4352 182.02%
2740.65/2747.64 c 2748 1212 991 1 -81.0000 -228.4200 182.00%
2745.83/2752.84 c 2753 1214 993 1 -81.0000 -228.4200 182.00%
2777.85/2784.98 c 2785 1221 1000 1 -81.0000 -228.4200 182.00%
2784.04/2791.12 c 2791 1228 1007 1 -81.0000 -228.3975 181.97%
2789.01/2796.14 c 2796 1233 1012 1 -81.0000 -228.3861 181.96%
2795.79/2802.93 c 2803 1241 1020 1 -81.0000 -228.3861 181.96%
2801.68/2808.84 c 2809 1245 1024 1 -81.0000 -228.3752 181.94%
2807.76/2814.99 c 2815 1251 1030 1 -81.0000 -228.3752 181.94%
2812.85/2820.05 c 2820 1254 1033 1 -81.0000 -228.3699 181.94%
2818.13/2825.38 c 2825 1261 1040 1 -81.0000 -228.3699 181.94%
2824.50/2831.74 c 2832 1267 1046 1 -81.0000 -228.3615 181.93%
2829.49/2836.76 c 2837 1273 1052 1 -81.0000 -228.3533 181.92%
2834.58/2841.87 c 2842 1279 1058 1 -81.0000 -228.3533 181.92%
2839.96/2847.21 c 2847 1284 1063 1 -81.0000 -228.3529 181.92%
2850.23/2857.60 c 2858 1287 1066 1 -81.0000 -228.3529 181.92%
2856.82/2864.11 c 2864 1294 1073 1 -81.0000 -228.3446 181.91%
2865.69/2873.04 c 2873 1299 1078 1 -81.0000 -228.3446 181.91%
2871.86/2879.27 c 2879 1304 1083 1 -81.0000 -228.3421 181.90%
2883.13/2890.57 c 2891 1311 1090 1 -81.0000 -228.3421 181.90%
2889.92/2897.34 c 2897 1315 1094 1 -81.0000 -228.3404 181.90%
2895.61/2903.06 c 2903 1323 1102 1 -81.0000 -228.3389 181.90%
2902.68/2910.15 c 2910 1331 1110 1 -81.0000 -228.3389 181.90%
2909.45/2916.96 c 2917 1334 1113 1 -81.0000 -228.3303 181.89%
2914.64/2922.10 c 2922 1342 1121 1 -81.0000 -228.3019 181.85%
2921.12/2928.61 c 2929 1349 1128 1 -81.0000 -228.3019 181.85%
2928.30/2935.88 c 2936 1354 1133 1 -81.0000 -228.2909 181.84%
2934.28/2941.85 c 2942 1361 1140 1 -81.0000 -228.2909 181.84%
2940.36/2947.94 c 2948 1366 1145 1 -81.0000 -228.2885 181.84%
2948.54/2956.15 c 2956 1373 1152 1 -81.0000 -228.2861 181.83%
2955.12/2962.75 c 2963 1381 1160 1 -81.0000 -228.2861 181.83%
2960.40/2968.00 c 2968 1386 1165 1 -81.0000 -228.2805 181.83%
2965.39/2973.03 c 2973 1393 1172 1 -81.0000 -228.2722 181.82%
2976.66/2984.34 c 2984 1396 1175 1 -81.0000 -228.2722 181.82%
2981.85/2989.59 c 2990 1402 1181 1 -81.0000 -228.2634 181.81%
2996.32/3004.02 c 3004 1403 1182 1 -81.0000 -228.2634 181.81%
3003.29/3011.05 c 3011 1411 1190 1 -81.0000 -228.2634 181.81%
3008.58/3016.39 c 3016 1415 1194 1 -81.0000 -228.2514 181.79%
3015.26/3023.03 c 3023 1423 1202 1 -81.0000 -228.2313 181.77%
3020.64/3028.44 c 3028 1428 1207 1 -81.0000 -228.2313 181.77%
3026.83/3034.69 c 3035 1432 1211 1 -81.0000 -228.2308 181.77%
3032.41/3040.22 c 3040 1435 1214 1 -81.0000 -228.2308 181.77%
3039.69/3047.53 c 3048 1443 1222 1 -81.0000 -228.2260 181.76%
3071.22/3079.19 c 3079 1451 1230 1 -81.0000 -228.2260 181.76%
3096.06/3104.08 c 3104 1452 1231 1 -81.0000 -228.2204 181.75%
3101.94/3109.95 c 3110 1459 1238 1 -81.0000 -228.2204 181.75%
3107.42/3115.49 c 3116 1464 1243 1 -81.0000 -228.2151 181.75%
3113.51/3121.50 c 3122 1471 1250 1 -81.0000 -228.2151 181.75%
3128.47/3136.50 c 3136 1474 1253 1 -81.0000 -228.2066 181.74%
3175.35/3183.55 c 3184 1482 1261 1 -81.0000 -228.1974 181.73%
3180.94/3189.19 c 3189 1485 1264 1 -81.0000 -228.1974 181.73%
3187.02/3195.25 c 3195 1493 1272 1 -81.0000 -228.1926 181.72%
3193.00/3201.29 c 3201 1501 1280 1 -81.0000 -228.1926 181.72%
3198.09/3206.30 c 3206 1503 1282 1 -81.0000 -228.1906 181.72%
3203.48/3211.77 c 3212 1512 1291 1 -81.0000 -228.1891 181.71%
3209.27/3217.54 c 3218 1515 1294 1 -81.0000 -228.1891 181.71%
3219.04/3227.32 c 3227 1518 1297 1 -81.0000 -228.1891 181.71%
3224.13/3232.45 c 3232 1524 1303 1 -81.0000 -228.1791 181.70%
3234.61/3242.93 c 3243 1525 1304 1 -81.0000 -228.1791 181.70%
3240.39/3248.79 c 3249 1531 1310 1 -81.0000 -228.1791 181.70%
3264.73/3273.12 c 3273 1534 1313 1 -81.0000 -228.1662 181.69%
3270.51/3278.98 c 3279 1537 1316 1 -81.0000 -228.1662 181.69%
3279.79/3288.20 c 3288 1542 1321 1 -81.0000 -228.1655 181.69%
3285.38/3293.82 c 3294 1547 1326 1 -81.0000 -228.1655 181.69%
3292.16/3300.66 c 3301 1554 1333 1 -81.0000 -228.1652 181.69%
3299.24/3307.73 c 3308 1561 1340 1 -81.0000 -228.1652 181.69%
3305.92/3314.43 c 3314 1563 1342 1 -81.0000 -228.1595 181.68%
3330.95/3339.55 c 3340 1567 1346 1 -81.0000 -228.1595 181.68%
3344.33/3352.93 c 3353 1573 1352 1 -81.0000 -228.1488 181.67%
3349.91/3358.57 c 3359 1581 1360 1 -81.0000 -228.1488 181.67%
3355.69/3364.34 c 3364 1585 1364 1 -81.0000 -228.1304 181.64%
3390.61/3399.39 c 3399 1591 1370 1 -81.0000 -228.1304 181.64%
3396.59/3405.30 c 3405 1599 1378 1 -81.0000 -228.1181 181.63%
3401.88/3410.67 c 3411 1603 1382 1 -81.0000 -228.1173 181.63%
3409.26/3418.03 c 3418 1611 1390 1 -81.0000 -228.1173 181.63%
3417.04/3425.89 c 3426 1612 1391 1 -81.0000 -228.1104 181.62%
3423.12/3431.98 c 3432 1620 1399 1 -81.0000 -228.1104 181.62%
3429.61/3438.43 c 3438 1623 1402 1 -81.0000 -228.1056 181.61%
3435.79/3444.69 c 3445 1624 1403 1 -81.0000 -228.1056 181.61%
3446.47/3455.30 c 3455 1626 1405 1 -81.0000 -228.1056 181.61%
3453.45/3462.33 c 3462 1628 1407 1 -81.0000 -228.1056 181.61%
3459.14/3468.05 c 3468 1633 1412 1 -81.0000 -228.1013 181.61%
3466.02/3474.92 c 3475 1635 1414 1 -81.0000 -228.1013 181.61%
3471.00/3479.95 c 3480 1642 1421 1 -81.0000 -228.0957 181.60%
3482.68/3491.65 c 3492 1644 1423 1 -81.0000 -228.0957 181.60%
3490.06/3499.02 c 3499 1651 1430 1 -81.0000 -228.0957 181.60%
3497.14/3506.16 c 3506 1653 1432 1 -81.0000 -228.0852 181.59%
3503.12/3512.14 c 3512 1661 1440 1 -81.0000 -228.0852 181.59%
3508.30/3517.35 c 3517 1664 1443 1 -81.0000 -228.0838 181.58%
3515.19/3524.27 c 3524 1671 1450 1 -81.0000 -228.0838 181.58%
3520.28/3529.35 c 3529 1674 1453 1 -81.0000 -228.0820 181.58%
3525.76/3534.85 c 3535 1679 1458 1 -81.0000 -228.0820 181.58%
3531.45/3540.53 c 3541 1683 1462 1 -81.0000 -228.0726 181.57%
3536.53/3545.66 c 3546 1688 1467 1 -81.0000 -228.0726 181.57%
3553.79/3562.92 c 3563 1692 1471 1 -81.0000 -228.0723 181.57%
3560.07/3569.20 c 3569 1701 1480 1 -81.0000 -228.0723 181.57%
3576.23/3585.41 c 3585 1705 1484 1 -81.0000 -228.0344 181.52%
3582.42/3591.64 c 3592 1713 1492 1 -81.0000 -228.0256 181.51%
3588.40/3597.65 c 3598 1721 1500 1 -81.0000 -228.0256 181.51%
3589.40/3598.68 c SCIP Status : c solving was interrupted [hard time limit reached]
3589.40/3598.68 c Total Time : 3598.67
3589.40/3598.68 c solving : 3598.67
3589.40/3598.68 c presolving : 0.18 (included in solving)
3589.40/3598.68 c B&B Tree :
3589.40/3598.68 c nodes (total) : 1
3589.40/3598.68 c Solution :
3589.40/3598.68 c Solutions found : 11
3589.40/3598.68 c Primal Bound : -8.10000000000000e+01
3589.40/3598.68 c Dual Bound : -2.28025575813763e+02
3589.40/3598.68 c Gap : 181.51306 %
3589.40/3598.68 c * Warning: final gap: 1.81513e+00 is greater than SCIPepsilon: 1.00000e-09
3589.40/3598.68 o -81
3589.40/3598.68 s SATISFIABLE
3589.40/3598.68 v -x726 -x703 -x618 -x817 -x772 -x819 -x997 -x896 -x846 -x873 x852 x986 -x690 x929 -x982 -x893 x972 -x999 -x993 x632 -x712 -x686
3589.40/3598.68 v -x643 -x658 -x925 -x707 -x697 x848 -x621 -x588 -x891 x661 -x675 -x752 -x706 -x973 -x814 x894 -x784 -x614 -x858 -x943 -x994 x885
3589.40/3598.68 v -x645 -x531 -x918 -x841 -x673 x1000 -x808 -x755 -x547 -x831 -x526 x906 -x674 x644 -x783 x951 -x630 -x606 -x905 x985 -x575
3589.40/3598.68 v -x791 x907 -x754 -x603 -x995 -x562 -x670 -x693 -x691 -x584 -x583 -x942 -x780 x880 -x582 -x845 -x668 -x913 -x678 -x524 x623 -x842
3589.40/3598.68 v x788 -x773 -x682 x967 -x560 -x900 -x877 -x522 x909 -x741 -x544 -x763 -x818 -x916 -x856 -x687 -x816 -x671 -x656 -x796 -x976
3589.40/3598.68 v x749 x930 -x834 -x737 -x750 -x600 -x952 x927 -x825 -x767 -x549 -x700 -x948 -x701 -x977 x872 -x760 -x805 -x855 -x655 x565 -x519
3589.40/3598.68 v x924 -x748 -x962 -x955 -x969 -x708 -x597 -x642 -x933 -x860 -x770 -x689 x683 -x620 -x539 -x729 -x546 -x698 -x786 -x759 -x513
3589.40/3598.68 v -x957 x950 -x910 -x798 -x732 -x721 -x631 x604 -x983 -x865 -x771 -x537 -x826 -x939 x932 -x580 x803 -x838 -x853 -x753 -x638
3589.40/3598.68 v -x512 -x971 -x947 -x904 -x824 -x782 -x757 -x657 -x593 -x802 -x965 -x713 -x599 -x696 -x790 -x840 -x778 x555 -x801 -x734 x733 -x903
3589.40/3598.68 v x892 -x797 -x641 -x557 x864 -x984 -x960 x949 -x839 -x854 -x958 -x589 -x615 -x890 -x863 -x830 -x810 x775 -x665 -x648 -x576
3589.40/3598.68 v x836 -x953 -x883 x881 -x540 x895 -x917 -x607 -x970 -x609 -x914 -x946 -x959 -x509 -x988 x876 -x850 -x833 -x828 -x821 -x812 -x768
3589.40/3598.68 v -x685 x637 -x550 -x920 -x931 -x725 -x936 -x981 x718 -x835 -x806 -x811 x534 -x556 -x923 -x695 -x787 x966 -x964 x945 -x879
3589.40/3598.68 v -x875 -x837 -x744 -x743 x710 x634 -x563 -x536 -x919 -x651 -x912 -x677 x756 -x857 -x561 -x639 -x709 -x926 x991 -x518 -x569 -x507
3589.40/3598.68 v x974 -x898 -x781 -x738 -x694 -x684 -x612 -x652 -x886 -x822 -x899 -x751 -x516 -x820 x764 -x578 -x716 -x815 -x570 x889 -x795
3589.40/3598.68 v -x793 -x704 -x692 -x669 -x640 -x613 -x601 -x558 -x530 -x529 -x514 -x765 -x545 -x998 -x626 -x956 -x636 x758 -x542 -x622 -x564
3589.40/3598.68 v -x619 -x602 -x742 -x978 -x938 -x996 -x868 -x859 -x794 -x761 -x740 -x730 -x722 -x679 -x663 -x654 -x587 -x571 -x552 -x646 -x627
3589.40/3598.68 v -x715 -x922 -x568 -x508 -x533 -x901 -x897 -x979 -x870 x963 -x525 -x937 x908 -x823 -x789 -x711 -x705 -x688 -x667 -x662 -x629
3589.40/3598.68 v -x605 -x559 -x541 -x532 -x510 -x505 x747 -x610 -x551 -x592 -x871 x807 -x647 x844 -x579 -x719 -x659 x590 x792 -x935 -x887 x528
3589.40/3598.68 v -x503 -x944 -x769 -x746 x735 x672 -x566 -x523 -x520 x515 -x664 -x980 -x799 -x779 -x975 -x762 -x804 -x888 x745 -x591 -x851
3589.40/3598.68 v x940 x869 -x934 -x628 -x717 -x543 -x990 -x928 x724 -x586 -x554 -x989 x774 x502 -x992 -x902 -x843 -x827 -x813 -x785 -x776 -x720
3589.40/3598.68 v -x660 -x653 -x635 -x625 -x617 -x596 -x577 -x567 -x548 -x535 -x504 x723 -x616 -x594 x702 -x608 -x624 -x736 -x666 -x714 -x538
3589.40/3598.68 v -x954 -x866 -x511 -x941 x862 -x800 -x809 -x585 x728 -x847 -x968 -x553 x884 -x501 -x878 -x867 x739 -x731 -x681 -x649 -x598 -x595
3589.40/3598.68 v -x581 -x572 -x517 x961 -x832 -x874 -x680 x506 -x915 -x987 -x829 -x727 -x521 -x911 -x699 -x861 -x849 -x527 -x882 x574 -x650
3589.40/3598.68 v -x921 -x633 -x777 -x573 x611 -x766 -x676 -x500 -x499 -x498 -x497 -x496 -x495 -x494 x493 -x492 -x491 -x490 -x489 x488 -x487
3589.40/3598.68 v -x486 -x485 x484 -x483 -x482 x481 -x480 x479 -x478 x477 -x476 -x475 -x474 x473 -x472 x471 x470 -x469 -x468 -x467 -x466 -x465
3589.40/3598.68 v x464 -x463 -x462 -x461 x460 -x459 x458 -x457 -x456 -x455 x454 -x453 -x452 -x451 -x450 -x449 x448 x447 x446 -x445 -x444 x443 x442
3589.40/3598.68 v -x441 -x440 -x439 -x438 -x437 x436 -x435 -x434 -x433 -x432 -x431 -x430 -x429 -x428 -x427 -x426 -x425 -x424 -x423 x422 -x421
3589.40/3598.68 v -x420 -x419 -x418 -x417 -x416 -x415 -x414 -x413 x412 -x411 x410 -x409 -x408 -x407 -x406 x405 -x404 -x403 -x402 -x401 x400
3589.40/3598.68 v x399 x398 -x397 x396 -x395 -x394 -x393 -x392 -x391 -x390 -x389 x388 x387 -x386 -x385 -x384 -x383 -x382 -x381 -x380 x379 -x378
3589.40/3598.68 v -x377 -x376 -x375 -x374 x373 -x372 x371 x370 -x369 -x368 x367 -x366 -x365 -x364 x363 -x362 -x361 x360 -x359 -x358 -x357 x356
3589.40/3598.68 v -x355 -x354 x353 -x352 -x351 -x350 -x349 -x348 -x347 -x346 -x345 -x344 -x343 -x342 -x341 -x340 x339 -x338 -x337 -x336 x335 -x334
3589.40/3598.68 v -x333 -x332 -x331 -x330 x329 -x328 -x327 -x326 x325 -x324 -x323 x322 -x321 x320 x319 -x318 -x317 -x316 -x315 -x314 -x313
3589.50/3598.71 v x312 -x311 x310 -x309 x308 -x307 -x306 -x305 -x304 -x303 -x302 -x301 -x300 x299 -x298 -x297 -x296 -x295 -x294 -x293 -x292 -x291
3589.50/3598.71 v -x290 -x289 -x288 -x287 x286 -x285 -x284 -x283 -x282 -x281 -x280 -x279 x278 -x277 -x276 -x275 -x274 x273 -x272 -x271 -x270
3589.50/3598.71 v -x269 -x268 -x267 -x266 -x265 -x264 -x263 -x262 -x261 -x260 -x259 -x258 -x257 -x256 -x255 -x254 -x253 -x252 -x251 -x250 -x249
3589.50/3598.71 v -x248 -x247 -x246 -x245 -x244 x243 -x242 -x241 -x240 -x239 -x238 -x237 -x236 -x235 -x234 -x233 -x232 x231 -x230 -x229 -x228
3589.50/3598.71 v -x227 -x226 x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210 x209 -x208 -x207
3589.50/3598.71 v x206 -x205 -x204 -x203 -x202 x201 x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189 -x188 -x187 -x186 -x185
3589.50/3598.71 v -x184 -x183 -x182 -x181 x180 -x179 x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168 -x167 -x166 -x165 x164
3589.50/3598.71 v x163 x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 x154 -x153 -x152 -x151 -x150 x149 -x148 -x147 -x146 -x145 -x144 -x143 -x142
3589.50/3598.71 v -x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 x131 -x130 -x129 x128 -x127 -x126 -x125 -x124 -x123 -x122 -x121
3589.50/3598.71 v x120 -x119 -x118 -x117 -x116 x115 -x114 -x113 -x112 -x111 x110 -x109 -x108 -x107 -x106 -x105 -x104 -x103 -x102 -x101 -x100
3589.50/3598.71 v -x99 x98 -x97 -x96 -x95 -x94 -x93 -x92 -x91 -x90 -x89 -x88 -x87 -x86 -x85 -x84 x83 -x82 -x81 -x80 -x79 -x78 -x77 -x76 x75 -x74
3589.50/3598.71 v -x73 -x72 -x71 -x70 -x69 x68 -x67 x66 -x65 -x64 -x63 -x62 -x61 -x60 -x59 -x58 -x57 -x56 -x55 -x54 -x53 -x52 -x51 -x50 x49
3589.50/3598.71 v -x48 -x47 -x46 -x45 -x44 -x43 -x42 -x41 -x40 -x39 -x38 -x37 -x36 -x35 -x34 -x33 -x32 x31 -x30 -x29 -x28 -x27 -x26 -x25 -x24
3589.50/3598.71 v -x23 x22 -x21 -x20 -x19 -x18 -x17 -x16 -x15 -x14 -x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 x5 -x4 -x3 -x2 -x1
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 (60629 MiB free)
memory of node 1: 64510 MiB (63310 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4464778-1722382194/watcher-4464778-1722382194 -o /tmp/evaluation-result-4464778-1722382194/solver-4464778-1722382194 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC022-1722378594-28848 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4464778-1722382194.opb -qsol -t 3600 -sth 1
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=30990, runsolver pid=30987
Current StackSize limit: 8192 KiB
[startup+0.100094 s]*
/proc/loadavg: 4.14 4.15 4.09 6/262 31003
/proc/meminfo: memFree=126833652/131524600 swapFree=131071996/131071996
[pid=30990] ppid=30987 vsize=81900 memory=71012 CPUtime=0.09 cores=5,7
/proc/30990/stat : 30990 (fscip) R 30987 30990 28833 0 -1 4194304 15574 0 0 0 7 2 0 0 20 0 1 0 4817932 83865600 17753 134679101440 4194304 16623229 140733110054688 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 52457472 140733110060054 140733110060170 140733110060170 140733110067184 0
/proc/30990/statm: 20475 17753 2598 3035 0 16871 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 81900 KiB
Current children cumulated memory: 71012 KiB
[startup+0.20565 s]*
/proc/loadavg: 4.14 4.15 4.09 5/262 31003
/proc/meminfo: memFree=126809020/131524600 swapFree=131071996/131071996
[pid=30990] ppid=30987 vsize=96160 memory=83096 CPUtime=0.2 cores=5,7
/proc/30990/stat : 30990 (fscip) R 30987 30990 28833 0 -1 4194304 18599 0 0 0 17 3 0 0 20 0 1 0 4817932 98467840 20774 134679101440 4194304 16623229 140733110054688 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 52457472 140733110060054 140733110060170 140733110060170 140733110067184 0
/proc/30990/statm: 24040 20774 2630 3035 0 20436 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 96160 KiB
Current children cumulated memory: 83096 KiB
[startup+0.308941 s]*
/proc/loadavg: 4.14 4.15 4.09 5/264 31005
/proc/meminfo: memFree=126780648/131524600 swapFree=131071996/131071996
[pid=30990] ppid=30987 vsize=191260 memory=105240 CPUtime=0.3 cores=5,7
/proc/30990/stat : 30990 (fscip) S 30987 30990 28833 0 -1 1077936128 24668 0 0 0 27 3 0 0 20 0 3 0 4817932 195850240 26310 134679101440 4194304 16623229 140733110054688 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 52457472 140733110060054 140733110060170 140733110060170 140733110067184 0
/proc/30990/statm: 47815 26310 2726 3035 0 30699 0
[pid=30990/tid=31004] ppid=30987 vsize=191260 memory=-5155627977239456645 CPUtime=0.01 cores=5,7
/proc/30990/task/31004/stat : 31004 (fscip) R 30987 30990 28833 0 -1 4194368 3033 0 0 0 1 0 0 0 20 0 3 0 4817961 195850240 26310 134679101440 4194304 16623229 140733110054688 0 0 0 0 0 2 0 0 0 -1 7 0 0 0 0 0 18838560 18947056 52457472 140733110060054 140733110060170 140733110060170 140733110067184 0
[pid=30990/tid=31005] ppid=30987 vsize=191260 memory=0 CPUtime=0 cores=5,7
/proc/30990/task/31005/stat : 31005 (fscip) S 30987 30990 28833 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 4817962 195850240 26310 134679101440 4194304 16623229 140733110054688 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 52457472 140733110060054 140733110060170 140733110060170 140733110067184 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 191260 KiB
Current children cumulated memory: 105240 KiB
[startup+0.700252 s]
/proc/loadavg: 4.13 4.15 4.09 5/264 31005
/proc/meminfo: memFree=126748924/131524600 swapFree=131071996/131071996
[pid=30990] ppid=30987 vsize=192920 memory=129644 CPUtime=0.67 cores=5,7
/proc/30990/stat : 30990 (fscip) S 30987 30990 28833 0 -1 1077936128 31445 0 0 0 63 4 0 0 20 0 3 0 4817932 197550080 32411 134679101440 4194304 16623229 140733110054688 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 52457472 140733110060054 140733110060170 140733110060170 140733110067184 0
/proc/30990/statm: 48230 32411 2950 3035 0 36842 0
[pid=30990/tid=31004] ppid=30987 vsize=192920 memory=5560 CPUtime=0.38 cores=5,7
/proc/30990/task/31004/stat : 31004 (fscip) R 30987 30990 28833 0 -1 4194368 9810 0 0 0 37 1 0 0 20 0 3 0 4817961 197550080 32411 134679101440 4194304 16623229 140733110054688 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 52457472 140733110060054 140733110060170 140733110060170 140733110067184 0
[pid=30990/tid=31005] ppid=30987 vsize=192920 memory=417 CPUtime=0 cores=5,7
/proc/30990/task/31005/stat : 31005 (fscip) S 30987 30990 28833 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 4817962 197550080 32411 134679101440 4194304 16623229 140733110054688 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 52457472 140733110060054 140733110060170 140733110060170 140733110067184 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 192920 KiB
Current children cumulated memory: 129644 KiB
[startup+1.50026 s]
/proc/loadavg: 4.13 4.15 4.09 5/266 31037
/proc/meminfo: memFree=126685896/131524600 swapFree=131071996/131071996
[pid=30990] ppid=30987 vsize=199180 memory=137488 CPUtime=1.47 cores=5,7
/proc/30990/stat : 30990 (fscip) S 30987 30990 28833 0 -1 1077936128 38396 0 0 0 142 5 0 0 20 0 3 0 4817932 203960320 34372 134679101440 4194304 16623229 140733110054688 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 52457472 140733110060054 140733110060170 140733110060170 140733110067184 0
/proc/30990/statm: 49795 34372 2950 3035 0 39217 0
[pid=30990/tid=31004] ppid=30987 vsize=199180 memory=417 CPUtime=1.19 cores=5,7
/proc/30990/task/31004/stat : 31004 (fscip) R 30987 30990 28833 0 -1 4194368 16761 0 0 0 117 2 0 0 20 0 3 0 4817961 203960320 34372 134679101440 4194304 16623229 140733110054688 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 52457472 140733110060054 140733110060170 140733110060170 140733110067184 0
[pid=30990/tid=31005] ppid=30987 vsize=199180 memory=0 CPUtime=0 cores=5,7
/proc/30990/task/31005/stat : 31005 (fscip) S 30987 30990 28833 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 4817962 203960320 34372 134679101440 4194304 16623229 140733110054688 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 52457472 140733110060054 140733110060170 140733110060170 140733110067184 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 199180 KiB
Current children cumulated memory: 137488 KiB
[startup+3.10549 s]
/proc/loadavg: 4.13 4.15 4.09 5/264 31131
/proc/meminfo: memFree=126130404/131524600 swapFree=131071996/131071996
[pid=30990] ppid=30987 vsize=264716 memory=178776 CPUtime=3.07 cores=5,7
/proc/30990/stat : 30990 (fscip) S 30987 30990 28833 0 -1 1077936128 50907 0 0 0 300 7 0 0 20 0 3 0 4817932 271069184 44694 134679101440 4194304 16623229 140733110054688 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 52457472 140733110060054 140733110060170 140733110060170 140733110067184 0
/proc/30990/statm: 66179 44694 2950 3035 0 49834 0
[pid=30990/tid=31004] ppid=30987 vsize=264716 memory=-5155627981534423941 CPUtime=2.78 cores=5,7
/proc/30990/task/31004/stat : 31004 (fscip) R 30987 30990 28833 0 -1 4194368 29269 0 0 0 275 3 0 0 20 0 3 0 4817961 271069184 44694 134679101440 4194304 16623229 140733110054688 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 52457472 140733110060054 140733110060170 140733110060170 140733110067184 0
[pid=30990/tid=31005] ppid=30987 vsize=264716 memory=0 CPUtime=0 cores=5,7
/proc/30990/task/31005/stat : 31005 (fscip) S 30987 30990 28833 0 -1 1077936192 3 0 0 0 0 0 0 0 20 0 3 0 4817962 271069184 44694 134679101440 4194304 16623229 140733110054688 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 52457472 140733110060054 140733110060170 140733110060170 140733110067184 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 264716 KiB
Current children cumulated memory: 178776 KiB
[startup+6.30025 s]
/proc/loadavg: 4.12 4.14 4.09 5/264 31131
/proc/meminfo: memFree=125894944/131524600 swapFree=131071996/131071996
[pid=30990] ppid=30987 vsize=273344 memory=216308 CPUtime=6.26 cores=5,7
/proc/30990/stat : 30990 (fscip) S 30987 30990 28833 0 -1 1077936128 71361 0 0 0 618 8 0 0 20 0 3 0 4817932 279904256 54077 134679101440 4194304 16623229 140733110054688 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 52457472 140733110060054 140733110060170 140733110060170 140733110067184 0
/proc/30990/statm: 68336 54077 2950 3035 0 59774 0
[pid=30990/tid=31004] ppid=30987 vsize=273344 memory=178776 CPUtime=5.97 cores=5,7
/proc/30990/task/31004/stat : 31004 (fscip) R 30987 30990 28833 0 -1 4194368 49720 0 0 0 592 5 0 0 20 0 3 0 4817961 279904256 54077 134679101440 4194304 16623229 140733110054688 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 52457472 140733110060054 140733110060170 140733110060170 140733110067184 0
[pid=30990/tid=31005] ppid=30987 vsize=273344 memory=11584 CPUtime=0 cores=5,7
/proc/30990/task/31005/stat : 31005 (fscip) S 30987 30990 28833 0 -1 1077936192 6 0 0 0 0 0 0 0 20 0 3 0 4817962 279904256 54077 134679101440 4194304 16623229 140733110054688 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 52457472 140733110060054 140733110060170 140733110060170 140733110067184 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 273344 KiB
Current children cumulated memory: 216308 KiB
[startup+12.7002 s]
/proc/loadavg: 4.11 4.14 4.09 5/264 31133
/proc/meminfo: memFree=125885976/131524600 swapFree=131071996/131071996
[pid=30990] ppid=30987 vsize=278768 memory=244136 CPUtime=12.65 cores=5,7
/proc/30990/stat : 30990 (fscip) S 30987 30990 28833 0 -1 1077936128 93871 0 0 0 1254 11 0 0 20 0 3 0 4817932 285458432 61034 134679101440 4194304 16623229 140733110054688 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 52457472 140733110060054 140733110060170 140733110060170 140733110067184 0
/proc/30990/statm: 69692 61034 2998 3035 0 65961 0
[pid=30990/tid=31004] ppid=30987 vsize=278768 memory=0 CPUtime=12.35 cores=5,7
/proc/30990/task/31004/stat : 31004 (fscip) R 30987 30990 28833 0 -1 4194368 71952 0 0 0 1228 7 0 0 20 0 3 0 4817961 285458432 61034 134679101440 4194304 16623229 140733110054688 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 52457472 140733110060054 140733110060170 140733110060170 140733110067184 0
[pid=30990/tid=31005] ppid=30987 vsize=278768 memory=12856 CPUtime=0 cores=5,7
/proc/30990/task/31005/stat : 31005 (fscip) S 30987 30990 28833 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 3 0 4817962 285458432 61034 134679101440 4194304 16623229 140733110054688 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 52457472 140733110060054 140733110060170 140733110060170 140733110067184 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 278768 KiB
Current children cumulated memory: 244136 KiB
[startup+25.5002 s]
/proc/loadavg: 4.17 4.15 4.09 5/266 31192
/proc/meminfo: memFree=125769472/131524600 swapFree=131071996/131071996
[pid=30990] ppid=30987 vsize=346336 memory=295600 CPUtime=25.41 cores=5,7
/proc/30990/stat : 30990 (fscip) S 30987 30990 28833 0 -1 1077936128 142179 0 0 0 2526 15 0 0 20 0 3 0 4817932 354648064 73900 134679101440 4194304 16623229 140733110054688 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 52457472 140733110060054 140733110060170 140733110060170 140733110067184 0
/proc/30990/statm: 86584 73900 2998 3035 0 79158 0
[pid=30990/tid=31004] ppid=30987 vsize=346336 memory=234180 CPUtime=25.12 cores=5,7
/proc/30990/task/31004/stat : 31004 (fscip) R 30987 30990 28833 0 -1 4194368 120254 0 0 0 2501 11 0 0 20 0 3 0 4817961 354648064 73900 134679101440 4194304 16623229 140733110054688 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 52457472 140733110060054 140733110060170 140733110060170 140733110067184 0
[pid=30990/tid=31005] ppid=30987 vsize=346336 memory=2492 CPUtime=0 cores=5,7
/proc/30990/task/31005/stat : 31005 (fscip) S 30987 30990 28833 0 -1 1077936192 27 0 0 0 0 0 0 0 20 0 3 0 4817962 354648064 73900 134679101440 4194304 16623229 140733110054688 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 52457472 140733110060054 140733110060170 140733110060170 140733110067184 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 346336 KiB
Current children cumulated memory: 295600 KiB
[startup+51.1056 s]
/proc/loadavg: 4.10 4.14 4.09 5/266 31197
/proc/meminfo: memFree=125673524/131524600 swapFree=131071996/131071996
[pid=30990] ppid=30987 vsize=411872 memory=348396 CPUtime=50.95 cores=5,7
/proc/30990/stat : 30990 (fscip) S 30987 30990 28833 0 -1 1077936128 197030 0 0 0 5075 20 0 0 20 0 3 0 4817932 421756928 87099 134679101440 4194304 16623229 140733110054688 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 52457472 140733110060054 140733110060170 140733110060170 140733110067184 0
/proc/30990/statm: 102968 87099 2998 3035 0 91953 0
[pid=30990/tid=31004] ppid=30987 vsize=411872 memory=348396 CPUtime=50.66 cores=5,7
/proc/30990/task/31004/stat : 31004 (fscip) R 30987 30990 28833 0 -1 4194368 175092 0 0 0 5049 17 0 0 20 0 3 0 4817961 421756928 87099 134679101440 4194304 16623229 140733110054688 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 52457472 140733110060054 140733110060170 140733110060170 140733110067184 0
[pid=30990/tid=31005] ppid=30987 vsize=411872 memory=295600 CPUtime=0 cores=5,7
/proc/30990/task/31005/stat : 31005 (fscip) S 30987 30990 28833 0 -1 1077936192 40 0 0 0 0 0 0 0 20 0 3 0 4817962 421756928 87099 134679101440 4194304 16623229 140733110054688 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 52457472 140733110060054 140733110060170 140733110060170 140733110067184 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 411872 KiB
Current children cumulated memory: 348396 KiB
[startup+102.3 s]
/proc/loadavg: 4.08 4.13 4.09 5/268 31257
/proc/meminfo: memFree=124814216/131524600 swapFree=131071996/131071996
[pid=30990] ppid=30987 vsize=484400 memory=395140 CPUtime=102.01 cores=5,7
/proc/30990/stat : 30990 (fscip) S 30987 30990 28833 0 -1 1077936128 267132 0 0 0 10176 25 0 0 20 0 3 0 4817932 496025600 98785 134679101440 4194304 16623229 140733110054688 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 52457472 140733110060054 140733110060170 140733110060170 140733110067184 0
/proc/30990/statm: 121100 98785 2998 3035 0 104833 0
[pid=30990/tid=31004] ppid=30987 vsize=484400 memory=395140 CPUtime=101.72 cores=5,7
/proc/30990/task/31004/stat : 31004 (fscip) R 30987 30990 28833 0 -1 4194368 245177 0 0 0 10150 22 0 0 20 0 3 0 4817961 496025600 98785 134679101440 4194304 16623229 140733110054688 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 52457472 140733110060054 140733110060170 140733110060170 140733110067184 0
[pid=30990/tid=31005] ppid=30987 vsize=484400 memory=8514726395714820749 CPUtime=0 cores=5,7
/proc/30990/task/31005/stat : 31005 (fscip) S 30987 30990 28833 0 -1 1077936192 57 0 0 0 0 0 0 0 20 0 3 0 4817962 496025600 98785 134679101440 4194304 16623229 140733110054688 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 52457472 140733110060054 140733110060170 140733110060170 140733110067184 0
Current children cumulated CPU time: 102.01 s
Current children cumulated vsize: 484400 KiB
Current children cumulated memory: 395140 KiB
[startup+162.3 s]
/proc/loadavg: 4.12 4.13 4.09 5/266 31314
/proc/meminfo: memFree=124917056/131524600 swapFree=131071996/131071996
[pid=30990] ppid=30987 vsize=484400 memory=396912 CPUtime=161.85 cores=5,7
/proc/30990/stat : 30990 (fscip) S 30987 30990 28833 0 -1 1077936128 283155 0 0 0 16159 26 0 0 20 0 3 0 4817932 496025600 99228 134679101440 4194304 16623229 140733110054688 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 52457472 140733110060054 140733110060170 140733110060170 140733110067184 0
/proc/30990/statm: 121100 99228 2998 3035 0 104833 0
[pid=30990/tid=31004] ppid=30987 vsize=484400 memory=396356 CPUtime=161.57 cores=5,7
/proc/30990/task/31004/stat : 31004 (fscip) R 30987 30990 28833 0 -1 4194368 260864 0 0 0 16134 23 0 0 20 0 3 0 4817961 496025600 99228 134679101440 4194304 16623229 140733110054688 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 52457472 140733110060054 140733110060170 140733110060170 140733110067184 0
[pid=30990/tid=31005] ppid=30987 vsize=484400 memory=395196 CPUtime=0 cores=5,7
/proc/30990/task/31005/stat : 31005 (fscip) S 30987 30990 28833 0 -1 1077936192 68 0 0 0 0 0 0 0 20 0 3 0 4817962 496025600 99228 134679101440 4194304 16623229 140733110054688 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 52457472 140733110060054 140733110060170 140733110060170 140733110067184 0
Current children cumulated CPU time: 161.85 s
Current children cumulated vsize: 484400 KiB
Current children cumulated memory: 396912 KiB
[startup+222.3 s]
/proc/loadavg: 4.40 4.20 4.12 5/268 31326
/proc/meminfo: memFree=123911688/131524600 swapFree=131071996/131071996
[pid=30990] ppid=30987 vsize=484400 memory=401488 CPUtime=221.72 cores=5,7
/proc/30990/stat : 30990 (fscip) S 30987 30990 28833 0 -1 1077936128 287122 0 0 0 22145 27 0 0 20 0 3 0 4817932 496025600 100372 134679101440 4194304 16623229 140733110054688 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 52457472 140733110060054 140733110060170 140733110060170 140733110067184 0
/proc/30990/statm: 121100 100372 2998 3035 0 104833 0
################
# More data... #
################
[pid=30990] ppid=30987 vsize=621056 memory=587868 CPUtime=3453.45 cores=5,7
/proc/30990/stat : 30990 (fscip) S 30987 30990 28833 0 -1 1077936128 2133057 0 0 0 345123 222 0 0 20 0 3 0 4817932 635961344 146967 134679101440 4194304 16623229 140733110054688 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 52457472 140733110060054 140733110060170 140733110060170 140733110067184 0
/proc/30990/statm: 155264 146967 3030 3035 0 150840 0
[pid=30990/tid=31004] ppid=30987 vsize=621056 memory=587868 CPUtime=3453.05 cores=5,7
/proc/30990/task/31004/stat : 31004 (fscip) R 30987 30990 28833 0 -1 4194368 2109044 0 0 0 345092 213 0 0 20 0 3 0 4817961 635961344 146967 134679101440 4194304 16623229 140733110054688 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 52457472 140733110060054 140733110060170 140733110060170 140733110067184 0
[pid=30990/tid=31005] ppid=30987 vsize=621056 memory=587868 CPUtime=0.04 cores=5,7
/proc/30990/task/31005/stat : 31005 (fscip) S 30987 30990 28833 0 -1 1077936192 303 0 0 0 1 3 0 0 20 0 3 0 4817962 635961344 146967 134679101440 4194304 16623229 140733110054688 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 52457472 140733110060054 140733110060170 140733110060170 140733110067184 0
Current children cumulated CPU time: 3453.45 s
Current children cumulated vsize: 621056 KiB
Current children cumulated memory: 587868 KiB
[startup+3522.3 s]
/proc/loadavg: 4.60 4.28 4.15 6/264 33150
/proc/meminfo: memFree=113895684/131524600 swapFree=131071996/131071996
[pid=30990] ppid=30987 vsize=621056 memory=587868 CPUtime=3513.3 cores=5,7
/proc/30990/stat : 30990 (fscip) S 30987 30990 28833 0 -1 1077936128 2162109 0 0 0 351106 224 0 0 20 0 3 0 4817932 635961344 146967 134679101440 4194304 16623229 140733110054688 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 52457472 140733110060054 140733110060170 140733110060170 140733110067184 0
/proc/30990/statm: 155264 146967 3030 3035 0 150840 0
[pid=30990/tid=31004] ppid=30987 vsize=621056 memory=13172 CPUtime=3512.9 cores=5,7
/proc/30990/task/31004/stat : 31004 (fscip) R 30987 30990 28833 0 -1 4194368 2138064 0 0 0 351075 215 0 0 20 0 3 0 4817961 635961344 146967 134679101440 4194304 16623229 140733110054688 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 52457472 140733110060054 140733110060170 140733110060170 140733110067184 0
[pid=30990/tid=31005] ppid=30987 vsize=621056 memory=587868 CPUtime=0.04 cores=5,7
/proc/30990/task/31005/stat : 31005 (fscip) S 30987 30990 28833 0 -1 1077936192 309 0 0 0 1 3 0 0 20 0 3 0 4817962 635961344 146967 134679101440 4194304 16623229 140733110054688 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 52457472 140733110060054 140733110060170 140733110060170 140733110067184 0
Current children cumulated CPU time: 3513.3 s
Current children cumulated vsize: 621056 KiB
Current children cumulated memory: 587868 KiB
[startup+3582.3 s]
/proc/loadavg: 4.29 4.26 4.15 6/264 33160
/proc/meminfo: memFree=113891260/131524600 swapFree=131071996/131071996
[pid=30990] ppid=30987 vsize=621056 memory=589204 CPUtime=3573.14 cores=5,7
/proc/30990/stat : 30990 (fscip) S 30987 30990 28833 0 -1 1077936128 2192495 0 0 0 357088 226 0 0 20 0 3 0 4817932 635961344 147301 134679101440 4194304 16623229 140733110054688 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 52457472 140733110060054 140733110060170 140733110060170 140733110067184 0
/proc/30990/statm: 155264 147301 3030 3035 0 150948 0
[pid=30990/tid=31004] ppid=30987 vsize=621056 memory=13172 CPUtime=3572.75 cores=5,7
/proc/30990/task/31004/stat : 31004 (fscip) R 30987 30990 28833 0 -1 4194368 2168422 0 0 0 357057 218 0 0 20 0 3 0 4817961 635961344 147301 134679101440 4194304 16623229 140733110054688 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 52457472 140733110060054 140733110060170 140733110060170 140733110067184 0
[pid=30990/tid=31005] ppid=30987 vsize=621056 memory=589204 CPUtime=0.04 cores=5,7
/proc/30990/task/31005/stat : 31005 (fscip) S 30987 30990 28833 0 -1 1077936192 311 0 0 0 1 3 0 0 20 0 3 0 4817962 635961344 147301 134679101440 4194304 16623229 140733110054688 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 52457472 140733110060054 140733110060170 140733110060170 140733110067184 0
Current children cumulated CPU time: 3573.14 s
Current children cumulated vsize: 621056 KiB
Current children cumulated memory: 589204 KiB
[startup+3598.72 s]
# the end of solver process 30990 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3587.24 s, system=2.29146 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.29 4.26 4.15 6/264 33160
/proc/meminfo: memFree=113891268/131524600 swapFree=131071996/131071996
[pid=30990] ppid=30987 vsize=621056 memory=589204 CPUtime=3574.84 cores=5,7
/proc/30990/stat : 30990 (fscip) S 30987 30990 28833 0 -1 1077936128 2192530 0 0 0 357258 226 0 0 20 0 3 0 4817932 635961344 147301 134679101440 4194304 16623229 140733110054688 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 52457472 140733110060054 140733110060170 140733110060170 140733110067184 0
/proc/30990/statm: 155264 147301 3030 3035 0 150948 0
[pid=30990/tid=31004] ppid=30987 vsize=621056 memory=-5155631280153127813 CPUtime=3574.45 cores=5,7
/proc/30990/task/31004/stat : 31004 (fscip) R 30987 30990 28833 0 -1 4194368 2168457 0 0 0 357227 218 0 0 20 0 3 0 4817961 635961344 147301 134679101440 4194304 16623229 140733110054688 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 52457472 140733110060054 140733110060170 140733110060170 140733110067184 0
[pid=30990/tid=31005] ppid=30987 vsize=621056 memory=4425797756594581154 CPUtime=0.04 cores=5,7
/proc/30990/task/31005/stat : 31005 (fscip) S 30987 30990 28833 0 -1 1077936192 311 0 0 0 1 3 0 0 20 0 3 0 4817962 635961344 147301 134679101440 4194304 16623229 140733110054688 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 52457472 140733110060054 140733110060170 140733110060170 140733110067184 0
Current children cumulated CPU time: 3574.84 s
Current children cumulated vsize: 621056 KiB
Current children cumulated memory: 589204 KiB
[startup+3590.4 s]
/proc/loadavg: 4.27 4.25 4.15 6/264 33162
/proc/meminfo: memFree=113891096/131524600 swapFree=131071996/131071996
[pid=30990] ppid=30987 vsize=621056 memory=589204 CPUtime=3581.22 cores=5,7
/proc/30990/stat : 30990 (fscip) S 30987 30990 28833 0 -1 1077936128 2193822 0 0 0 357896 226 0 0 20 0 3 0 4817932 635961344 147301 134679101440 4194304 16623229 140733110054688 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 52457472 140733110060054 140733110060170 140733110060170 140733110067184 0
/proc/30990/statm: 155264 147301 3030 3035 0 150948 0
[pid=30990/tid=31004] ppid=30987 vsize=621056 memory=589204 CPUtime=3580.83 cores=5,7
/proc/30990/task/31004/stat : 31004 (fscip) R 30987 30990 28833 0 -1 4194368 2169749 0 0 0 357865 218 0 0 20 0 3 0 4817961 635961344 147301 134679101440 4194304 16623229 140733110054688 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 52457472 140733110060054 140733110060170 140733110060170 140733110067184 0
[pid=30990/tid=31005] ppid=30987 vsize=621056 memory=589204 CPUtime=0.04 cores=5,7
/proc/30990/task/31005/stat : 31005 (fscip) S 30987 30990 28833 0 -1 1077936192 311 0 0 0 1 3 0 0 20 0 3 0 4817962 635961344 147301 134679101440 4194304 16623229 140733110054688 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 52457472 140733110060054 140733110060170 140733110060170 140733110067184 0
Current children cumulated CPU time: 3581.22 s
Current children cumulated vsize: 621056 KiB
Current children cumulated memory: 589204 KiB
[startup+3593.6 s]
/proc/loadavg: 4.33 4.26 4.15 6/264 33162
/proc/meminfo: memFree=113891148/131524600 swapFree=131071996/131071996
[pid=30990] ppid=30987 vsize=621056 memory=589204 CPUtime=3584.41 cores=5,7
/proc/30990/stat : 30990 (fscip) S 30987 30990 28833 0 -1 1077936128 2194138 0 0 0 358215 226 0 0 20 0 3 0 4817932 635961344 147301 134679101440 4194304 16623229 140733110054688 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 52457472 140733110060054 140733110060170 140733110060170 140733110067184 0
/proc/30990/statm: 155264 147301 3030 3035 0 150948 0
[pid=30990/tid=31004] ppid=30987 vsize=621056 memory=589204 CPUtime=3584.02 cores=5,7
/proc/30990/task/31004/stat : 31004 (fscip) R 30987 30990 28833 0 -1 4194368 2170063 0 0 0 358184 218 0 0 20 0 3 0 4817961 635961344 147301 134679101440 4194304 16623229 140733110054688 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 52457472 140733110060054 140733110060170 140733110060170 140733110067184 0
[pid=30990/tid=31005] ppid=30987 vsize=621056 memory=12856 CPUtime=0.04 cores=5,7
/proc/30990/task/31005/stat : 31005 (fscip) S 30987 30990 28833 0 -1 1077936192 313 0 0 0 1 3 0 0 20 0 3 0 4817962 635961344 147301 134679101440 4194304 16623229 140733110054688 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 52457472 140733110060054 140733110060170 140733110060170 140733110067184 0
Current children cumulated CPU time: 3584.41 s
Current children cumulated vsize: 621056 KiB
Current children cumulated memory: 589204 KiB
[startup+3596.8 s]
/proc/loadavg: 4.33 4.26 4.15 6/264 33162
/proc/meminfo: memFree=113891140/131524600 swapFree=131071996/131071996
[pid=30990] ppid=30987 vsize=621056 memory=589204 CPUtime=3587.6 cores=5,7
/proc/30990/stat : 30990 (fscip) S 30987 30990 28833 0 -1 1077936128 2194197 0 0 0 358534 226 0 0 20 0 3 0 4817932 635961344 147301 134679101440 4194304 16623229 140733110054688 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 52457472 140733110060054 140733110060170 140733110060170 140733110067184 0
/proc/30990/statm: 155264 147301 3030 3035 0 150948 0
[pid=30990/tid=31004] ppid=30987 vsize=621056 memory=589204 CPUtime=3587.21 cores=5,7
/proc/30990/task/31004/stat : 31004 (fscip) R 30987 30990 28833 0 -1 4194368 2170121 0 0 0 358503 218 0 0 20 0 3 0 4817961 635961344 147301 134679101440 4194304 16623229 140733110054688 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 52457472 140733110060054 140733110060170 140733110060170 140733110067184 0
[pid=30990/tid=31005] ppid=30987 vsize=621056 memory=589204 CPUtime=0.04 cores=5,7
/proc/30990/task/31005/stat : 31005 (fscip) S 30987 30990 28833 0 -1 1077936192 313 0 0 0 1 3 0 0 20 0 3 0 4817962 635961344 147301 134679101440 4194304 16623229 140733110054688 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 52457472 140733110060054 140733110060170 140733110060170 140733110067184 0
Current children cumulated CPU time: 3587.6 s
Current children cumulated vsize: 621056 KiB
Current children cumulated memory: 589204 KiB
[startup+3597.6 s]
/proc/loadavg: 4.30 4.26 4.15 6/264 33162
/proc/meminfo: memFree=113891160/131524600 swapFree=131071996/131071996
[pid=30990] ppid=30987 vsize=621056 memory=589204 CPUtime=3588.4 cores=5,7
/proc/30990/stat : 30990 (fscip) S 30987 30990 28833 0 -1 1077936128 2194299 0 0 0 358614 226 0 0 20 0 3 0 4817932 635961344 147301 134679101440 4194304 16623229 140733110054688 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 52457472 140733110060054 140733110060170 140733110060170 140733110067184 0
/proc/30990/statm: 155264 147301 3030 3035 0 150948 0
[pid=30990/tid=31004] ppid=30987 vsize=621056 memory=16168 CPUtime=3588 cores=5,7
/proc/30990/task/31004/stat : 31004 (fscip) R 30987 30990 28833 0 -1 4194368 2170224 0 0 0 358582 218 0 0 20 0 3 0 4817961 635961344 147301 134679101440 4194304 16623229 140733110054688 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 52457472 140733110060054 140733110060170 140733110060170 140733110067184 0
[pid=30990/tid=31005] ppid=30987 vsize=621056 memory=2164 CPUtime=0.04 cores=5,7
/proc/30990/task/31005/stat : 31005 (fscip) S 30987 30990 28833 0 -1 1077936192 313 0 0 0 1 3 0 0 20 0 3 0 4817962 635961344 147301 134679101440 4194304 16623229 140733110054688 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 52457472 140733110060054 140733110060170 140733110060170 140733110067184 0
Current children cumulated CPU time: 3588.4 s
Current children cumulated vsize: 621056 KiB
Current children cumulated memory: 589204 KiB
[startup+3598.4 s]
/proc/loadavg: 4.30 4.26 4.15 6/264 33162
/proc/meminfo: memFree=113891172/131524600 swapFree=131071996/131071996
[pid=30990] ppid=30987 vsize=621056 memory=589204 CPUtime=3589.2 cores=5,7
/proc/30990/stat : 30990 (fscip) S 30987 30990 28833 0 -1 1077936128 2197059 0 0 0 358694 226 0 0 20 0 3 0 4817932 635961344 147301 134679101440 4194304 16623229 140733110054688 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 52457472 140733110060054 140733110060170 140733110060170 140733110067184 0
/proc/30990/statm: 155264 147301 3030 3035 0 150948 0
[pid=30990/tid=31004] ppid=30987 vsize=621056 memory=-5155631280153127813 CPUtime=3588.8 cores=5,7
/proc/30990/task/31004/stat : 31004 (fscip) R 30987 30990 28833 0 -1 4194368 2172980 0 0 0 358662 218 0 0 20 0 3 0 4817961 635961344 147301 134679101440 4194304 16623229 140733110054688 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 52457472 140733110060054 140733110060170 140733110060170 140733110067184 0
[pid=30990/tid=31005] ppid=30987 vsize=621056 memory=12856 CPUtime=0.04 cores=5,7
/proc/30990/task/31005/stat : 31005 (fscip) S 30987 30990 28833 0 -1 1077936192 313 0 0 0 1 3 0 0 20 0 3 0 4817962 635961344 147301 134679101440 4194304 16623229 140733110054688 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 52457472 140733110060054 140733110060170 140733110060170 140733110067184 0
Current children cumulated CPU time: 3589.2 s
Current children cumulated vsize: 621056 KiB
Current children cumulated memory: 589204 KiB
[startup+3598.6 s]
/proc/loadavg: 4.30 4.26 4.15 6/264 33162
/proc/meminfo: memFree=113891172/131524600 swapFree=131071996/131071996
[pid=30990] ppid=30987 vsize=621056 memory=589204 CPUtime=3589.4 cores=5,7
/proc/30990/stat : 30990 (fscip) S 30987 30990 28833 0 -1 1077936128 2197800 0 0 0 358713 227 0 0 20 0 3 0 4817932 635961344 147301 134679101440 4194304 16623229 140733110054688 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 52457472 140733110060054 140733110060170 140733110060170 140733110067184 0
/proc/30990/statm: 155264 147301 3030 3035 0 150948 0
[pid=30990/tid=31004] ppid=30987 vsize=621056 memory=589204 CPUtime=3589 cores=5,7
/proc/30990/task/31004/stat : 31004 (fscip) R 30987 30990 28833 0 -1 4194368 2173721 0 0 0 358682 218 0 0 20 0 3 0 4817961 635961344 147301 134679101440 4194304 16623229 140733110054688 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 52457472 140733110060054 140733110060170 140733110060170 140733110067184 0
[pid=30990/tid=31005] ppid=30987 vsize=621056 memory=1900 CPUtime=0.04 cores=5,7
/proc/30990/task/31005/stat : 31005 (fscip) S 30987 30990 28833 0 -1 1077936192 313 0 0 0 1 3 0 0 20 0 3 0 4817962 635961344 147301 134679101440 4194304 16623229 140733110054688 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 52457472 140733110060054 140733110060170 140733110060170 140733110067184 0
Current children cumulated CPU time: 3589.4 s
Current children cumulated vsize: 621056 KiB
Current children cumulated memory: 589204 KiB
[startup+3598.7 s]
/proc/loadavg: 4.30 4.26 4.15 6/264 33162
/proc/meminfo: memFree=113891172/131524600 swapFree=131071996/131071996
[pid=30990] ppid=30987 vsize=570656 memory=541752 CPUtime=3589.5 cores=5,7
/proc/30990/stat : 30990 (fscip) R 30987 30990 28833 0 -1 4194304 2201240 0 0 0 358723 227 0 0 20 0 2 0 4817932 584351744 135438 134679101440 4194304 16623229 140733110054688 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 52457472 140733110060054 140733110060170 140733110060170 140733110067184 0
/proc/30990/statm: 142664 135438 3030 3035 0 138348 0
[pid=30990/tid=31005] ppid=30987 vsize=570656 memory=11584 CPUtime=0.04 cores=5,7
/proc/30990/task/31005/stat : 31005 (fscip) S 30987 30990 28833 0 -1 1077936192 313 0 0 0 1 3 0 0 20 0 2 0 4817962 584351744 135438 134679101440 4194304 16623229 140733110054688 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 52457472 140733110060054 140733110060170 140733110060170 140733110067184 0
Current children cumulated CPU time: 3589.5 s
Current children cumulated vsize: 570656 KiB
Current children cumulated memory: 541752 KiB
Child status: 0
Real time (s): 3598.72
CPU time (s): 3589.53
CPU user time (s): 3587.24
CPU system time (s): 2.29146
CPU usage (%): 99.7447
Max. virtual memory (cumulated for all children) (KiB): 626544
Max. memory (cumulated for all children) (KiB): 589204
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3587.24
system time used= 2.29146
maximum resident set size= 590348
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2201870
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= 5486
involuntary context switches= 2598
# summary of solver processes directly reported to runsolver:
# pid: 30990
# total CPU time (s): 3589.53
# total CPU user time (s): 3587.24
# total CPU system time (s): 2.29146
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.05727 second user time and 17.4751 second system time
The end
Begin job on nodeC022 at 2024-07-31 01:29:54
IDJOB=4464778
IDBENCH=148645
IDSOLVER=3092
FILE ID=nodeC022/4464778-1722382194
RUNJOBID= nodeC022-1722378594-28848
SLURM_JOB_ID= 8249845
Free space on /tmp= 890020 MiB
SOLVER NAME= FiberSCIP 2024-07-30
BENCH NAME= PB24/normalized-PB07/OPT-NLC/submittedPB07/manquinho/bsg/normalized-bsg_500_25_5.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-4464778-1722382194/watcher-4464778-1722382194 -o /tmp/evaluation-result-4464778-1722382194/solver-4464778-1722382194 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC022-1722378594-28848 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4464778-1722382194.opb -qsol -t 3600 -sth 1
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= e801618a66cab8fdd24ce0de869386c9
RANDOM SEED=1367756045
nodeC022.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 : 3654.572
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7000.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 : 3641.435
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7007.42
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.306
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7000.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 : 3634.861
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7007.42
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 : 3654.549
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7000.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 : 3625.837
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7007.42
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.284
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7000.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 : 3626.263
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7007.42
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 126914552 kB
MemAvailable: 129798308 kB
Buffers: 98556 kB
Cached: 3590516 kB
SwapCached: 0 kB
Active: 278384 kB
Inactive: 3792008 kB
Active(anon): 1484 kB
Inactive(anon): 401244 kB
Active(file): 276900 kB
Inactive(file): 3390764 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 85200 kB
Writeback: 0 kB
AnonPages: 381468 kB
Mapped: 101252 kB
Shmem: 21336 kB
KReclaimable: 111480 kB
Slab: 199424 kB
SReclaimable: 111480 kB
SUnreclaim: 87944 kB
KernelStack: 4112 kB
PageTables: 9404 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 711100 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 9600 kB
HardwareCorrupted: 0 kB
AnonHugePages: 237568 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: 295636 kB
DirectMap2M: 19400704 kB
DirectMap1G: 116391936 kB
Free space on /tmp at the end= 889932 MiB
End job on nodeC022 at 2024-07-31 02:29:53