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.09 c Default LC presolving (default).
0.00/0.09 c ** Before presolving: virtualMemUsedAtLc = 47263744, getVmSize() = 47263744, SCIPgetMemUsed() = 21359537, SCIPgetMemTotal() = 24920777, SCIPgetMemExternEstim() = 13393220
0.00/0.09 c ** set memory limit for presolving in LC to 8.79608e+12 for SCIP **
0.60/0.65 c ** Estimated virtualMemUsedAtSolver = 39654970, getVmSize() = 70434816, SCIPgetMemUsed() = 25265875, SCIPgetMemTotal() = 46089235, SCIPgetMemExternEstim() = 13393220
0.60/0.65 c ** set memory limit for solvers to 4.39805e+12 for each SCIP **
0.60/0.65 c Original Problem :
0.60/0.65 c Problem name : instance-4464651-1722386174
0.60/0.65 c Variables : 4288 (4288 binary, 0 integer, 0 implicit integer, 0 continuous)
0.60/0.65 c Constraints : 9504
0.60/0.65 c Objective sense : minimize
0.60/0.65 c Presolved Problem :
0.60/0.65 c Variables : 3386 (3386 binary, 0 integer, 0 implicit integer, 0 continuous)
0.60/0.65 c Constraints : 7798
0.60/0.65 c Constraints : Number
0.60/0.65 c and : 32
0.60/0.65 c linear : 1334
0.60/0.65 c logicor : 6432
0.60/0.65 c ** Instance transfer method used: 0
0.60/0.67 c ** ParaScipInstance copy does not increase the number of variables. **
0.69/0.71 c LC is working with racing ramp-up and with rebuilding tree after racing.
0.69/0.71 c Nodes Active
0.69/0.71 c Time Nodes Left Solvers Best Integer Best Node Gap Best Node(S) Gap(S)
38.75/38.99 c 39 2 1 1 - 0.0000 -
48.61/48.85 c 49 13 12 1 - 0.0000 -
54.50/54.78 c 55 15 14 1 - 0.0000 -
61.57/61.89 c 62 17 16 1 - 0.0000 -
68.54/68.81 c 69 22 21 1 - 0.0000 -
241.10/242.02 c 242 24 23 1 - 0.0000 -
247.27/248.25 c 248 28 27 1 - 0.0000 -
258.93/259.99 c 260 32 31 1 - 0.0000 -
268.00/269.09 c 269 36 35 1 - 0.0000 -
276.26/277.30 c 277 40 39 1 - 0.0000 -
282.24/283.36 c 283 51 50 1 - 0.0000 -
287.32/288.45 c 288 54 53 1 - 0.0000 -
292.60/293.70 c 294 56 55 1 - 0.0000 -
299.47/300.69 c 301 62 61 1 - 0.0000 -
304.65/305.89 c 306 64 63 1 - 0.0000 -
310.22/311.49 c 311 67 66 1 - 0.0000 -
318.80/320.05 c 320 84 83 1 - 0.0000 -
326.57/327.86 c 328 92 91 1 - 0.0000 -
331.76/333.03 c 333 110 109 1 - 0.0000 -
339.73/341.10 c 341 164 163 1 - 0.0000 -
346.49/347.80 c 348 204 203 1 - 0.0000 -
351.68/353.10 c 353 212 211 1 - 0.0000 -
357.15/358.55 c 359 225 224 1 - 0.0000 -
363.64/365.02 c 365 252 251 1 - 0.0000 -
373.09/374.55 c 375 266 265 1 - 0.0000 -
378.67/380.12 c 380 300 299 1 - 0.0000 -
388.82/390.34 c 390 307 306 1 - 0.0000 -
396.99/398.55 c 399 310 309 1 - 0.0000 -
402.27/403.89 c 404 316 315 1 - 0.0000 -
407.56/409.13 c 409 328 327 1 - 0.0000 -
417.31/418.94 c 419 338 337 1 - 0.0000 -
423.69/425.35 c 425 368 367 1 - 0.0000 -
431.06/432.79 c 433 392 391 1 - 0.0000 -
437.73/439.46 c 439 473 472 1 - 0.0000 -
443.01/444.77 c 445 498 497 1 - 0.0000 -
452.87/454.69 c 455 515 514 1 - 0.0000 -
462.04/463.81 c 464 535 534 1 - 0.0000 -
467.61/469.44 c 469 558 557 1 - 0.0000 -
474.59/476.42 c 476 572 571 1 - 0.0000 -
480.97/482.84 c 483 578 577 1 - 0.0000 -
487.25/489.13 c 489 588 587 1 - 0.0000 -
495.61/497.53 c 498 605 604 1 - 0.0000 -
501.79/503.78 c 504 612 611 1 - 0.0000 -
506.97/508.95 c 509 637 636 1 - 0.0000 -
511.95/513.99 c 514 638 637 1 - 0.0000 -
517.62/519.69 c 520 664 663 1 - 0.0000 -
523.30/525.38 c 525 688 687 1 - 0.0000 -
529.58/531.65 c 532 692 691 1 - 0.0000 -
535.06/537.13 c 537 710 709 1 - 0.0000 -
542.93/545.06 c 545 722 721 1 - 0.0000 -
549.70/551.87 c 552 725 724 1 - 0.0000 -
555.47/557.69 c 558 735 734 1 - 0.0000 -
560.55/562.78 c 563 774 773 1 - 0.0000 -
565.95/568.14 c 568 832 831 1 - 0.0000 -
574.30/576.51 c 577 848 847 1 - 0.0000 -
584.66/587.01 c 587 852 851 1 - 0.0000 -
590.04/592.32 c 592 865 864 1 - 0.0000 -
595.11/597.47 c 597 882 881 1 - 0.0000 -
601.49/603.81 c 604 911 910 1 - 0.0000 -
606.97/609.34 c 609 917 916 1 - 0.0000 -
611.95/614.35 c 614 941 940 1 - 0.0000 -
618.02/620.42 c 620 963 962 1 - 0.0000 -
625.60/628.08 c 628 982 981 1 - 0.0000 -
632.08/634.58 c 635 988 987 1 - 0.0000 -
639.65/642.13 c 642 1015 1014 1 - 0.0000 -
646.32/648.85 c 649 1035 1034 1 - 0.0000 -
696.33/699.11 c 699 1051 1 1 - 0.0000 -
706.48/709.27 c 709 1062 12 1 - 0.0000 -
713.75/716.53 c 717 1065 15 1 - 0.0000 -
721.72/724.58 c 725 1069 19 1 - 0.0000 -
731.38/734.20 c 734 1083 33 1 - 0.0000 -
737.37/740.28 c 740 1091 41 1 - 0.0000 -
742.55/745.42 c 745 1112 62 1 - 0.0000 -
753.23/756.16 c 756 1131 81 1 - 0.0000 -
758.80/761.71 c 762 1149 97 1 - 0.0000 -
764.98/767.99 c 768 1163 109 1 - 0.0000 -
770.07/773.09 c 773 1173 119 1 - 0.0000 -
776.94/779.96 c 780 1181 127 1 - 0.0000 -
783.91/786.95 c 787 1213 159 1 - 0.0000 -
790.00/793.06 c 793 1233 179 1 - 0.0000 -
795.67/798.76 c 799 1264 208 1 - 0.0000 -
802.05/805.19 c 805 1318 262 1 - 0.0000 -
810.81/813.95 c 814 1367 311 1 - 0.0000 -
816.29/819.46 c 819 1532 476 1 - 0.0000 -
821.47/824.64 c 825 1580 524 1 - 0.0000 -
826.76/829.90 c 830 1774 706 1 - 0.0000 -
832.85/836.09 c 836 1810 733 1 - 0.0000 -
839.62/842.88 c 843 1825 739 1 - 0.0000 -
847.29/850.51 c 851 1885 785 1 - 0.0000 -
852.28/855.56 c 856 2854 805 1 - 0.0000 -
857.36/860.67 c 861 3415 823 1 - 0.0000 -
862.44/865.76 c 866 4063 871 1 - 0.0000 -
867.52/870.84 c 871 4921 878 1 - 0.0000 -
872.60/875.90 c 876 5759 872 1 - 0.0000 -
877.59/880.95 c 881 6594 882 1 - 0.0000 -
882.67/886.01 c 886 7426 892 1 - 0.0000 -
887.65/891.07 c 891 8258 895 1 - 0.0000 -
892.73/896.12 c 896 8893 883 1 - 0.0000 -
897.71/901.19 c 901 9658 878 1 - 0.0000 -
902.79/906.26 c 906 10414 888 1 - 0.0000 -
907.86/911.31 c 911 11161 883 1 - 0.0000 -
912.85/916.37 c 916 11860 887 1 - 0.0000 -
917.93/921.47 c 921 12515 884 1 - 0.0000 -
923.01/926.53 c 927 13311 898 1 - 0.0000 -
927.99/931.59 c 932 14050 889 1 - 0.0000 -
933.17/936.73 c 937 14722 894 1 - 0.0000 -
938.25/941.88 c 942 15293 884 1 - 0.0000 -
943.33/946.93 c 947 15933 883 1 - 0.0000 -
948.41/952.03 c 952 16582 882 1 - 0.0000 -
953.98/957.69 c 958 16651 897 1 - 0.0000 -
959.07/962.77 c 963 17278 894 1 - 0.0000 -
964.15/967.84 c 968 17916 881 1 - 0.0000 -
969.24/972.96 c 973 18693 885 1 - 0.0000 -
974.33/978.06 c 978 19428 883 1 - 0.0000 -
979.41/983.14 c 983 20241 899 1 - 0.0000 -
984.48/988.21 c 988 20913 900 1 - 0.0000 -
989.46/993.26 c 993 21681 903 1 - 0.0000 -
994.55/998.33 c 998 22428 888 1 - 0.0000 -
999.63/1003.40 c 1003 23230 894 1 - 0.0000 -
1004.61/1008.46 c 1008 24029 881 1 - 0.0000 -
1009.69/1013.51 c 1014 24732 883 1 - 0.0000 -
1014.67/1018.56 c 1019 25481 890 1 - 0.0000 -
1019.76/1023.62 c 1024 26209 909 1 - 0.0000 -
1024.74/1028.66 c 1029 26868 895 1 - 0.0000 -
1029.81/1033.71 c 1034 27577 903 1 - 0.0000 -
1034.81/1038.78 c 1039 28254 890 1 - 0.0000 -
1039.88/1043.86 c 1044 28925 890 1 - 0.0000 -
1044.97/1048.92 c 1049 29646 892 1 - 0.0000 -
1049.95/1053.99 c 1054 30316 896 1 - 0.0000 -
1058.62/1062.66 c 1063 30879 899 1 - 0.0000 -
1063.70/1067.71 c 1068 31579 884 1 - 0.0000 -
1068.68/1072.76 c 1073 32237 892 1 - 0.0000 -
1073.76/1077.82 c 1078 32811 889 1 - 0.0000 -
1078.75/1082.88 c 1083 33496 882 1 - 0.0000 -
1083.82/1087.94 c 1088 34194 881 1 - 0.0000 -
1088.80/1092.99 c 1093 34842 897 1 - 0.0000 -
1093.89/1098.06 c 1098 35517 899 1 - 0.0000 -
1098.97/1103.13 c 1103 36259 908 1 - 0.0000 -
1103.95/1108.19 c 1108 36973 918 1 - 0.0000 -
1109.03/1113.26 c 1113 37657 933 1 - 0.0000 -
1114.10/1118.31 c 1118 38341 935 1 - 0.0000 -
1119.08/1123.39 c 1123 39089 933 1 - 0.0000 -
1124.16/1128.48 c 1128 39743 922 1 - 0.0000 -
1129.24/1133.54 c 1134 40369 920 1 - 0.0000 -
1134.33/1138.61 c 1139 41019 910 1 - 0.0000 -
1139.41/1143.71 c 1144 41676 910 1 - 0.0000 -
1144.39/1148.80 c 1149 42358 905 1 - 0.0000 -
1149.57/1153.92 c 1154 43058 907 1 - 0.0000 -
1154.56/1159.01 c 1159 43749 901 1 - 0.0000 -
1159.65/1164.09 c 1164 44345 900 1 - 0.0000 -
1164.81/1169.22 c 1169 44966 908 1 - 0.0000 -
1169.80/1174.27 c 1174 45578 911 1 - 0.0000 -
1174.88/1179.33 c 1179 46243 917 1 - 0.0000 -
1179.96/1184.40 c 1184 46903 932 1 - 0.0000 -
1184.94/1189.48 c 1189 47619 920 1 - 0.0000 -
1190.02/1194.53 c 1195 48233 924 1 - 0.0000 -
1195.10/1199.61 c 1200 48896 912 1 - 0.0000 -
1200.09/1204.66 c 1205 49517 903 1 - 0.0000 -
1205.27/1209.83 c 1210 50064 902 1 - 0.0000 -
1210.35/1214.91 c 1215 50615 896 1 - 0.0000 -
1215.33/1219.96 c 1220 51210 902 1 - 0.0000 -
1220.43/1225.07 c 1225 51825 910 1 - 0.0000 -
1225.51/1230.15 c 1230 52554 915 1 - 0.0000 -
1230.58/1235.21 c 1235 53177 943 1 - 0.0000 -
1235.56/1240.28 c 1240 53902 950 1 - 0.0000 -
1240.65/1245.34 c 1245 54618 949 1 - 0.0000 -
1245.73/1250.40 c 1250 55354 950 1 - 0.0000 -
1250.71/1255.45 c 1255 56043 976 1 - 0.0000 -
1255.79/1260.50 c 1260 56581 955 1 - 0.0000 -
1260.78/1265.58 c 1266 57233 960 1 - 0.0000 -
1265.86/1270.64 c 1271 57891 966 1 - 0.0000 -
1270.93/1275.70 c 1276 58451 969 1 - 0.0000 -
1275.92/1280.77 c 1281 59041 969 1 - 0.0000 -
1281.00/1285.83 c 1286 59685 974 1 - 0.0000 -
1286.08/1290.92 c 1291 60255 962 1 - 0.0000 -
1291.07/1295.97 c 1296 60885 963 1 - 0.0000 -
1296.16/1301.04 c 1301 61419 961 1 - 0.0000 -
1301.24/1306.11 c 1306 62082 953 1 - 0.0000 -
1306.22/1311.17 c 1311 62777 957 1 - 0.0000 -
1311.30/1316.22 c 1316 63413 956 1 - 0.0000 -
1316.38/1321.32 c 1321 63999 957 1 - 0.0000 -
1321.36/1326.39 c 1326 64541 970 1 - 0.0000 -
1326.44/1331.46 c 1331 65092 962 1 - 0.0000 -
1331.52/1336.53 c 1337 65673 954 1 - 0.0000 -
1336.50/1341.59 c 1342 66266 945 1 - 0.0000 -
1341.59/1346.66 c 1347 66837 933 1 - 0.0000 -
1346.67/1351.72 c 1352 67436 928 1 - 0.0000 -
1351.75/1356.80 c 1357 68092 923 1 - 0.0000 -
1356.73/1361.85 c 1362 68687 919 1 - 0.0000 -
1361.81/1366.93 c 1367 69267 925 1 - 0.0000 -
1366.90/1372.03 c 1372 69930 922 1 - 0.0000 -
1371.88/1377.09 c 1377 70505 933 1 - 0.0000 -
1376.97/1382.14 c 1382 71110 926 1 - 0.0000 -
1382.04/1387.23 c 1387 71791 929 1 - 0.0000 -
1387.11/1392.31 c 1392 72404 931 1 - 0.0000 -
1392.10/1397.37 c 1397 73056 933 1 - 0.0000 -
1397.18/1402.45 c 1402 73719 939 1 - 0.0000 -
1402.26/1407.50 c 1408 74356 941 1 - 0.0000 -
1407.24/1412.56 c 1413 74985 935 1 - 0.0000 -
1412.32/1417.63 c 1418 75588 934 1 - 0.0000 -
1417.41/1422.73 c 1423 76129 929 1 - 0.0000 -
1422.47/1427.80 c 1428 76757 937 1 - 0.0000 -
1427.45/1432.86 c 1433 77386 934 1 - 0.0000 -
1432.53/1437.91 c 1438 77977 923 1 - 0.0000 -
1437.51/1442.96 c 1443 78578 922 1 - 0.0000 -
1442.61/1448.05 c 1448 79203 928 1 - 0.0000 -
1447.69/1453.12 c 1453 79824 930 1 - 0.0000 -
1452.67/1458.18 c 1458 80471 919 1 - 0.0000 -
1457.75/1463.24 c 1463 81178 939 1 - 0.0000 -
1462.83/1468.31 c 1468 81767 933 1 - 0.0000 -
1467.81/1473.37 c 1473 82375 918 1 - 0.0000 -
1472.89/1478.42 c 1478 82975 926 1 - 0.0000 -
1477.97/1483.50 c 1484 83546 918 1 - 0.0000 -
1483.75/1489.30 c 1489 83935 922 1 - 0.0000 -
1488.74/1494.39 c 1494 84514 919 1 - 0.0000 -
1493.82/1499.46 c 1499 85065 930 1 - 0.0000 -
1498.90/1504.51 c 1505 85678 914 1 - 0.0000 -
1503.89/1509.57 c 1510 86265 918 1 - 0.0000 -
1508.96/1514.64 c 1515 86840 918 1 - 0.0000 -
1514.05/1519.71 c 1520 87373 908 1 - 0.0000 -
1519.03/1524.78 c 1525 87958 905 1 - 0.0000 -
1524.11/1529.84 c 1530 88548 912 1 - 0.0000 -
1529.19/1534.91 c 1535 89146 911 1 - 0.0000 -
1534.18/1539.99 c 1540 89757 909 1 - 0.0000 -
1539.27/1545.06 c 1545 90363 918 1 - 0.0000 -
1544.35/1550.11 c 1550 90939 914 1 - 0.0000 -
1549.33/1555.18 c 1555 91574 904 1 - 0.0000 -
1554.40/1560.23 c 1560 92198 906 1 - 0.0000 -
1559.39/1565.29 c 1565 92718 907 1 - 0.0000 -
1564.46/1570.37 c 1570 93288 905 1 - 0.0000 -
1569.55/1575.42 c 1575 93863 903 1 - 0.0000 -
1574.53/1580.49 c 1580 94414 894 1 - 0.0000 -
1579.61/1585.55 c 1586 94993 915 1 - 0.0000 -
1584.69/1590.66 c 1591 95553 914 1 - 0.0000 -
1589.78/1595.71 c 1596 96131 920 1 - 0.0000 -
1594.77/1600.78 c 1601 96724 930 1 - 0.0000 -
1599.85/1605.83 c 1606 97296 922 1 - 0.0000 -
1604.83/1610.90 c 1611 97850 937 1 - 0.0000 -
1609.91/1615.96 c 1616 98402 948 1 - 0.0000 -
1615.00/1621.03 c 1621 98967 957 1 - 0.0000 -
1620.08/1626.12 c 1626 99517 948 1 - 0.0000 -
1625.06/1631.19 c 1631 100076 947 1 - 0.0000 -
1630.13/1636.26 c 1636 100624 939 1 - 0.0000 -
1635.21/1641.31 c 1641 101197 936 1 - 0.0000 -
1640.20/1646.39 c 1646 101753 937 1 - 0.0000 -
1645.28/1651.47 c 1651 102358 935 1 - 0.0000 -
1650.36/1656.55 c 1657 102866 918 1 - 0.0000 -
1655.44/1661.61 c 1662 103391 915 1 - 0.0000 -
1660.42/1666.68 c 1667 103981 901 1 - 0.0000 -
1665.50/1671.79 c 1672 104493 893 1 - 0.0000 -
1670.59/1676.86 c 1677 105052 892 1 - 0.0000 -
1675.67/1681.96 c 1682 105568 889 1 - 0.0000 -
1680.76/1687.02 c 1687 106174 877 1 - 0.0000 -
1685.84/1692.14 c 1692 106748 897 1 - 0.0000 -
1690.92/1697.20 c 1697 107445 889 1 - 0.0000 -
1695.90/1702.28 c 1702 108090 890 1 - 0.0000 -
1700.98/1707.33 c 1707 108654 879 1 - 0.0000 -
1706.07/1712.43 c 1712 109228 901 1 - 0.0000 -
1711.15/1717.57 c 1718 109776 895 1 - 0.0000 -
1716.22/1722.66 c 1723 110360 887 1 - 0.0000 -
1721.31/1727.76 c 1728 110954 888 1 - 0.0000 -
1726.39/1732.84 c 1733 111580 891 1 - 0.0000 -
1731.47/1737.95 c 1738 112138 887 1 - 0.0000 -
1736.45/1743.01 c 1743 112739 891 1 - 0.0000 -
1741.54/1748.07 c 1748 113415 895 1 - 0.0000 -
1746.62/1753.14 c 1753 114076 891 1 - 0.0000 -
1751.69/1758.20 c 1758 114702 878 1 - 0.0000 -
1756.67/1763.27 c 1763 115287 878 1 - 0.0000 -
1761.75/1768.34 c 1768 115940 880 1 - 0.0000 -
1766.84/1773.40 c 1773 116530 881 1 - 0.0000 -
1771.82/1778.47 c 1778 117146 887 1 - 0.0000 -
1776.90/1783.52 c 1784 117767 883 1 - 0.0000 -
1781.98/1788.62 c 1789 118310 881 1 - 0.0000 -
1787.06/1793.70 c 1794 118876 880 1 - 0.0000 -
1792.05/1798.78 c 1799 119575 895 1 - 0.0000 -
1797.13/1803.83 c 1804 120153 890 1 - 0.0000 -
1802.20/1808.92 c 1809 120729 881 1 - 0.0000 -
1807.19/1813.97 c 1814 121304 879 1 - 0.0000 -
1812.27/1819.05 c 1819 121948 874 1 - 0.0000 -
1817.36/1824.12 c 1824 122591 894 1 - 0.0000 -
1822.34/1829.17 c 1829 123219 881 1 - 0.0000 -
1827.41/1834.22 c 1834 123864 881 1 - 0.0000 -
1832.49/1839.30 c 1839 124494 887 1 - 0.0000 -
1837.48/1844.36 c 1844 125140 891 1 - 0.0000 -
1842.55/1849.44 c 1849 125798 888 1 - 0.0000 -
1847.63/1854.57 c 1855 126442 881 1 - 0.0000 -
1852.71/1859.65 c 1860 127106 887 1 - 0.0000 -
1857.79/1864.75 c 1865 127645 879 1 - 0.0000 -
1862.86/1869.84 c 1870 128345 883 1 - 0.0000 -
1867.85/1874.88 c 1875 129005 887 1 - 0.0000 -
1872.93/1879.94 c 1880 129678 886 1 - 0.0000 -
1877.91/1884.99 c 1885 130307 879 1 - 0.0000 -
1883.00/1890.07 c 1890 130945 885 1 - 0.0000 -
1888.09/1895.16 c 1895 131647 895 1 - 0.0000 -
1893.16/1900.26 c 1900 132255 888 1 - 0.0000 -
1898.24/1905.35 c 1905 132814 892 1 - 0.0000 -
1903.31/1910.42 c 1910 133485 898 1 - 0.0000 -
1908.40/1915.50 c 1916 134117 896 1 - 0.0000 -
1913.38/1920.58 c 1921 134775 905 1 - 0.0000 -
1918.47/1925.64 c 1926 135461 899 1 - 0.0000 -
1923.55/1930.73 c 1931 136063 891 1 - 0.0000 -
1928.63/1935.82 c 1936 136699 896 1 - 0.0000 -
1933.60/1940.88 c 1941 137258 890 1 - 0.0000 -
1938.68/1945.93 c 1946 137793 892 1 - 0.0000 -
1943.78/1951.02 c 1951 138383 892 1 - 0.0000 -
1948.77/1956.07 c 1956 139019 898 1 - 0.0000 -
1953.94/1961.20 c 1961 139587 897 1 - 0.0000 -
1958.92/1966.28 c 1966 140238 896 1 - 0.0000 -
1964.00/1971.33 c 1971 140932 894 1 - 0.0000 -
1969.08/1976.40 c 1976 141464 896 1 - 0.0000 -
1974.06/1981.45 c 1981 142045 893 1 - 0.0000 -
1979.15/1986.51 c 1987 142564 896 1 - 0.0000 -
1984.13/1991.59 c 1992 143212 903 1 - 0.0000 -
1989.21/1996.68 c 1997 143780 900 1 - 0.0000 -
1994.29/2001.79 c 2002 144382 902 1 - 0.0000 -
1999.37/2006.85 c 2007 144939 882 1 - 0.0000 -
2004.46/2011.93 c 2012 145480 882 1 - 0.0000 -
2009.55/2017.05 c 2017 146027 880 1 - 0.0000 -
2014.63/2022.15 c 2022 146570 885 1 - 0.0000 -
2019.70/2027.21 c 2027 147103 887 1 - 0.0000 -
2024.69/2032.28 c 2032 147695 884 1 - 0.0000 -
2029.76/2037.38 c 2037 148187 889 1 - 0.0000 -
2034.85/2042.43 c 2042 148774 886 1 - 0.0000 -
2039.83/2047.49 c 2047 149321 884 1 - 0.0000 -
2044.91/2052.56 c 2053 149826 900 1 - 0.0000 -
2049.99/2057.62 c 2058 150336 896 1 - 0.0000 -
2054.98/2062.69 c 2063 150832 894 1 - 0.0000 -
2060.06/2067.76 c 2068 151376 894 1 - 0.0000 -
2065.15/2072.82 c 2073 151945 886 1 - 0.0000 -
2070.13/2077.89 c 2078 152548 894 1 - 0.0000 -
2075.21/2082.94 c 2083 153185 901 1 - 0.0000 -
2080.18/2088.01 c 2088 153786 895 1 - 0.0000 -
2085.27/2093.11 c 2093 154434 902 1 - 0.0000 -
2090.36/2098.16 c 2098 155055 909 1 - 0.0000 -
2095.43/2103.23 c 2103 155686 909 1 - 0.0000 -
2100.51/2108.32 c 2108 156266 905 1 - 0.0000 -
2105.49/2113.37 c 2113 156855 901 1 - 0.0000 -
2110.57/2118.46 c 2118 157403 897 1 - 0.0000 -
2115.66/2123.56 c 2124 157958 907 1 - 0.0000 -
2120.74/2128.62 c 2129 158564 916 1 - 0.0000 -
2125.72/2133.69 c 2134 159097 914 1 - 0.0000 -
2130.80/2138.75 c 2139 159726 917 1 - 0.0000 -
2135.88/2143.83 c 2144 160300 919 1 - 0.0000 -
2140.86/2148.88 c 2149 160919 921 1 - 0.0000 -
2145.94/2153.95 c 2154 161533 908 1 - 0.0000 -
2151.05/2159.03 c 2159 162160 909 1 - 0.0000 -
2156.13/2164.14 c 2164 162776 916 1 - 0.0000 -
2161.20/2169.22 c 2169 163363 913 1 - 0.0000 -
2166.28/2174.30 c 2174 163993 922 1 - 0.0000 -
2171.26/2179.38 c 2179 164606 917 1 - 0.0000 -
2176.34/2184.43 c 2184 165195 924 1 - 0.0000 -
2181.42/2189.50 c 2190 165684 922 1 - 0.0000 -
2186.40/2194.56 c 2195 166240 930 1 - 0.0000 -
2191.48/2199.61 c 2200 166896 928 1 - 0.0000 -
2196.47/2204.68 c 2205 167580 939 1 - 0.0000 -
2201.65/2209.80 c 2210 168117 937 1 - 0.0000 -
2206.63/2214.88 c 2215 168671 942 1 - 0.0000 -
2211.71/2219.95 c 2220 169168 939 1 - 0.0000 -
2216.70/2225.01 c 2225 169776 936 1 - 0.0000 -
2221.80/2230.07 c 2230 170408 939 1 - 0.0000 -
2226.88/2235.15 c 2235 171022 962 1 - 0.0000 -
2231.94/2240.22 c 2240 171591 962 1 - 0.0000 -
2236.93/2245.28 c 2245 172264 966 1 - 0.0000 -
2242.01/2250.34 c 2250 172821 953 1 - 0.0000 -
2247.09/2255.41 c 2255 173464 955 1 - 0.0000 -
2252.08/2260.48 c 2260 174124 965 1 - 0.0000 -
2257.26/2265.60 c 2266 174734 949 1 - 0.0000 -
2262.24/2270.66 c 2271 175306 963 1 - 0.0000 -
2267.32/2275.71 c 2276 175851 956 1 - 0.0000 -
2272.30/2280.78 c 2281 176468 958 1 - 0.0000 -
2277.38/2285.83 c 2286 177040 988 1 - 0.0000 -
2282.47/2290.91 c 2291 177682 997 1 - 0.0000 -
2287.45/2295.98 c 2296 178358 984 1 - 0.0000 -
2292.53/2301.04 c 2301 178951 983 1 - 0.0000 -
2297.61/2306.13 c 2306 179537 982 1 - 0.0000 -
2302.69/2311.22 c 2311 180120 1000 1 - 0.0000 -
2307.67/2316.28 c 2316 180669 980 1 - 0.0000 -
2312.75/2321.33 c 2321 181278 986 1 - 0.0000 -
2317.83/2326.40 c 2326 181911 989 1 - 0.0000 -
2322.82/2331.46 c 2331 182532 962 1 - 0.0000 -
2327.89/2336.53 c 2337 183105 952 1 - 0.0000 -
2332.98/2341.60 c 2342 183672 953 1 - 0.0000 -
2337.95/2346.67 c 2347 184281 950 1 - 0.0000 -
2343.03/2351.73 c 2352 184875 958 1 - 0.0000 -
2348.11/2356.82 c 2357 185448 938 1 - 0.0000 -
2353.09/2361.89 c 2362 186043 937 1 - 0.0000 -
2358.18/2366.99 c 2367 186635 927 1 - 0.0000 -
2363.26/2372.05 c 2372 187184 925 1 - 0.0000 -
2368.34/2377.16 c 2377 187718 925 1 - 0.0000 -
2373.41/2382.23 c 2382 188252 941 1 - 0.0000 -
2378.39/2387.30 c 2387 188750 948 1 - 0.0000 -
2383.48/2392.38 c 2392 189287 947 1 - 0.0000 -
2388.56/2397.47 c 2397 189787 943 1 - 0.0000 -
2393.63/2402.54 c 2403 190324 932 1 - 0.0000 -
2398.71/2407.60 c 2408 190880 950 1 - 0.0000 -
2403.69/2412.67 c 2413 191434 940 1 - 0.0000 -
2408.77/2417.75 c 2418 192015 931 1 - 0.0000 -
2413.85/2422.82 c 2423 192608 933 1 - 0.0000 -
2418.83/2427.88 c 2428 193186 923 1 - 0.0000 -
2423.90/2432.94 c 2433 193753 936 1 - 0.0000 -
2428.89/2437.99 c 2438 194284 960 1 - 0.0000 -
2433.97/2443.05 c 2443 194786 967 1 - 0.0000 -
2439.06/2448.12 c 2448 195327 973 1 - 0.0000 -
2444.04/2453.17 c 2453 195896 973 1 - 0.0000 -
2449.11/2458.24 c 2458 196470 983 1 - 0.0000 -
2454.09/2463.29 c 2463 197013 997 1 - 0.0000 -
2459.17/2468.36 c 2468 197625 990 1 - 0.0000 -
2464.26/2473.48 c 2473 198132 991 1 - 0.0000 -
2469.34/2478.56 c 2479 198625 1009 1 - 0.0000 -
2474.42/2483.63 c 2484 199243 1009 1 - 0.0000 -
2479.40/2488.68 c 2489 199819 997 1 - 0.0000 -
2484.48/2493.76 c 2494 200360 999 1 - 0.0000 -
2489.57/2498.83 c 2499 200901 990 1 - 0.0000 -
2494.65/2503.90 c 2504 201449 981 1 - 0.0000 -
2499.74/2509.07 c 2509 201966 976 1 - 0.0000 -
2504.82/2514.14 c 2514 202544 959 1 - 0.0000 -
2509.89/2519.22 c 2519 203128 955 1 - 0.0000 -
2514.88/2524.28 c 2524 203700 962 1 - 0.0000 -
2519.96/2529.35 c 2529 204289 959 1 - 0.0000 -
2525.04/2534.42 c 2534 204836 945 1 - 0.0000 -
2530.03/2539.49 c 2539 205451 959 1 - 0.0000 -
2535.11/2544.55 c 2545 206061 947 1 - 0.0000 -
2540.19/2549.63 c 2550 206542 943 1 - 0.0000 -
2545.17/2554.69 c 2555 207114 913 1 - 0.0000 -
2550.25/2559.74 c 2560 207669 920 1 - 0.0000 -
2555.33/2564.81 c 2565 208225 913 1 - 0.0000 -
2560.32/2569.89 c 2570 208873 924 1 - 0.0000 -
2565.40/2574.97 c 2575 209466 918 1 - 0.0000 -
2570.48/2580.03 c 2580 210016 936 1 - 0.0000 -
2575.57/2585.11 c 2585 210599 953 1 - 0.0000 -
2580.56/2590.17 c 2590 211143 934 1 - 0.0000 -
2585.63/2595.23 c 2595 211684 923 1 - 0.0000 -
2590.61/2600.29 c 2600 212248 928 1 - 0.0000 -
2595.69/2605.35 c 2605 212786 947 1 - 0.0000 -
2600.77/2610.42 c 2610 213274 933 1 - 0.0000 -
2605.75/2615.47 c 2615 213862 927 1 - 0.0000 -
2610.84/2620.53 c 2621 214394 927 1 - 0.0000 -
2615.82/2625.58 c 2626 214907 925 1 - 0.0000 -
2620.90/2630.65 c 2631 215466 922 1 - 0.0000 -
2625.98/2635.70 c 2636 216009 916 1 - 0.0000 -
2630.96/2640.76 c 2641 216533 921 1 - 0.0000 -
2636.04/2645.84 c 2646 217098 924 1 - 0.0000 -
2641.12/2650.94 c 2651 217602 910 1 - 0.0000 -
2646.11/2655.99 c 2656 218146 921 1 - 0.0000 -
2651.20/2661.07 c 2661 218693 928 1 - 0.0000 -
2656.28/2666.15 c 2666 219275 930 1 - 0.0000 -
2661.35/2671.24 c 2671 219843 927 1 - 0.0000 -
2666.42/2676.33 c 2676 220446 927 1 - 0.0000 -
2671.40/2681.39 c 2681 220954 928 1 - 0.0000 -
2676.49/2686.45 c 2686 221485 920 1 - 0.0000 -
2681.56/2691.52 c 2692 222077 935 1 - 0.0000 -
2686.54/2696.58 c 2697 222596 925 1 - 0.0000 -
2691.62/2701.66 c 2702 223131 924 1 - 0.0000 -
2696.70/2706.75 c 2707 223723 927 1 - 0.0000 -
2701.78/2711.82 c 2712 224255 931 1 - 0.0000 -
2706.76/2716.88 c 2717 224826 937 1 - 0.0000 -
2711.84/2721.95 c 2722 225405 933 1 - 0.0000 -
2716.82/2727.01 c 2727 225980 929 1 - 0.0000 -
2721.91/2732.09 c 2732 226563 932 1 - 0.0000 -
2726.99/2737.16 c 2737 227173 925 1 - 0.0000 -
2732.06/2742.23 c 2742 227734 933 1 - 0.0000 -
2737.14/2747.33 c 2747 228304 926 1 - 0.0000 -
2742.12/2752.39 c 2752 228887 915 1 - 0.0000 -
2747.21/2757.46 c 2757 229461 926 1 - 0.0000 -
2752.28/2762.53 c 2763 230011 936 1 - 0.0000 -
2757.27/2767.59 c 2768 230560 924 1 - 0.0000 -
2762.55/2772.82 c 2773 231069 931 1 - 0.0000 -
2767.53/2777.87 c 2778 231575 917 1 - 0.0000 -
2772.62/2782.94 c 2783 232159 934 1 - 0.0000 -
2777.60/2787.98 c 2788 232654 926 1 - 0.0000 -
2782.69/2793.06 c 2793 233203 932 1 - 0.0000 -
2787.77/2798.12 c 2798 233735 923 1 - 0.0000 -
2792.84/2803.23 c 2803 234278 948 1 - 0.0000 -
2797.92/2808.30 c 2808 234791 945 1 - 0.0000 -
2802.90/2813.38 c 2813 235303 949 1 - 0.0000 -
2807.99/2818.45 c 2818 235804 968 1 - 0.0000 -
2813.07/2823.52 c 2824 236332 957 1 - 0.0000 -
2818.05/2828.58 c 2829 236844 950 1 - 0.0000 -
2823.13/2833.68 c 2834 237333 950 1 - 0.0000 -
2828.22/2838.75 c 2839 237777 934 1 - 0.0000 -
2833.30/2843.81 c 2844 238224 931 1 - 0.0000 -
2838.29/2848.89 c 2849 238717 927 1 - 0.0000 -
2843.37/2853.96 c 2854 239187 916 1 - 0.0000 -
2848.46/2859.04 c 2859 239695 920 1 - 0.0000 -
2853.44/2864.09 c 2864 240175 929 1 - 0.0000 -
2858.53/2869.16 c 2869 240667 927 1 - 0.0000 -
2863.60/2874.22 c 2874 241208 934 1 - 0.0000 -
2868.68/2879.31 c 2879 241749 922 1 - 0.0000 -
2873.66/2884.38 c 2884 242250 920 1 - 0.0000 -
2878.74/2889.43 c 2889 242709 955 1 - 0.0000 -
2883.82/2894.54 c 2895 243216 950 1 - 0.0000 -
2888.80/2899.59 c 2900 243660 946 1 - 0.0000 -
2893.89/2904.65 c 2905 244128 931 1 - 0.0000 -
2898.97/2909.74 c 2910 244585 927 1 - 0.0000 -
2904.05/2914.81 c 2915 245087 928 1 - 0.0000 -
2909.03/2919.89 c 2920 245533 927 1 - 0.0000 -
2914.12/2924.94 c 2925 245993 922 1 - 0.0000 -
2919.10/2929.99 c 2930 246501 921 1 - 0.0000 -
2924.19/2935.06 c 2935 246987 924 1 - 0.0000 -
2929.28/2940.13 c 2940 247486 924 1 - 0.0000 -
2934.26/2945.19 c 2945 248011 926 1 - 0.0000 -
2939.34/2950.25 c 2950 248439 931 1 - 0.0000 -
2944.42/2955.33 c 2955 248885 929 1 - 0.0000 -
2949.40/2960.40 c 2960 249322 925 1 - 0.0000 -
2954.48/2965.48 c 2965 249747 920 1 - 0.0000 -
2959.57/2970.55 c 2971 250245 921 1 - 0.0000 -
2964.65/2975.62 c 2976 250758 921 1 - 0.0000 -
2969.73/2980.70 c 2981 251304 913 1 - 0.0000 -
2974.71/2985.76 c 2986 251758 915 1 - 0.0000 -
2979.79/2990.83 c 2991 252201 916 1 - 0.0000 -
2984.88/2995.95 c 2996 252771 925 1 - 0.0000 -
2989.97/3001.01 c 3001 253319 927 1 - 0.0000 -
2994.96/3006.08 c 3006 253895 927 1 - 0.0000 -
3000.04/3011.18 c 3011 254414 924 1 - 0.0000 -
3005.11/3016.25 c 3016 254908 931 1 - 0.0000 -
3010.19/3021.30 c 3021 255410 923 1 - 0.0000 -
3015.17/3026.38 c 3026 255934 913 1 - 0.0000 -
3020.25/3031.44 c 3031 256516 930 1 - 0.0000 -
3025.33/3036.50 c 3036 257127 943 1 - 0.0000 -
3030.31/3041.58 c 3042 257631 950 1 - 0.0000 -
3035.39/3046.65 c 3047 258188 947 1 - 0.0000 -
3040.49/3051.71 c 3052 258684 951 1 - 0.0000 -
3045.47/3056.79 c 3057 259190 949 1 - 0.0000 -
3050.55/3061.86 c 3062 259704 945 1 - 0.0000 -
3055.63/3066.92 c 3067 260184 943 1 - 0.0000 -
3060.61/3071.99 c 3072 260703 943 1 - 0.0000 -
3065.70/3077.05 c 3077 261230 943 1 - 0.0000 -
3070.78/3082.12 c 3082 261800 943 1 - 0.0000 -
3075.85/3087.23 c 3087 262368 936 1 - 0.0000 -
3080.84/3092.28 c 3092 262969 937 1 - 0.0000 -
3085.92/3097.35 c 3097 263479 944 1 - 0.0000 -
3091.00/3102.42 c 3102 264059 964 1 - 0.0000 -
3096.08/3107.50 c 3108 264603 954 1 - 0.0000 -
3101.06/3112.57 c 3113 265119 944 1 - 0.0000 -
3106.14/3117.64 c 3118 265676 939 1 - 0.0000 -
3111.22/3122.71 c 3123 266196 928 1 - 0.0000 -
3116.21/3127.78 c 3128 266685 928 1 - 0.0000 -
3121.29/3132.83 c 3133 267207 926 1 - 0.0000 -
3126.38/3137.93 c 3138 267742 931 1 - 0.0000 -
3131.35/3142.99 c 3143 268248 928 1 - 0.0000 -
3136.43/3148.07 c 3148 268878 936 1 - 0.0000 -
3141.52/3153.12 c 3153 269473 953 1 - 0.0000 -
3146.50/3158.17 c 3158 270038 949 1 - 0.0000 -
3151.57/3163.23 c 3163 270552 955 1 - 0.0000 -
3156.55/3168.29 c 3168 271140 949 1 - 0.0000 -
3161.64/3173.36 c 3173 271764 946 1 - 0.0000 -
3166.72/3178.45 c 3178 272361 948 1 - 0.0000 -
3171.81/3183.54 c 3184 272921 954 1 - 0.0000 -
3176.88/3188.60 c 3189 273474 940 1 - 0.0000 -
3181.97/3193.72 c 3194 274006 957 1 - 0.0000 -
3186.95/3198.78 c 3199 274553 960 1 - 0.0000 -
3192.03/3203.83 c 3204 275157 962 1 - 0.0000 -
3197.01/3208.88 c 3209 275703 943 1 - 0.0000 -
3202.09/3213.98 c 3214 276224 953 1 - 0.0000 -
3207.19/3219.05 c 3219 276713 942 1 - 0.0000 -
3212.27/3224.12 c 3224 277267 953 1 - 0.0000 -
3217.25/3229.18 c 3229 277740 943 1 - 0.0000 -
3222.32/3234.25 c 3234 278274 947 1 - 0.0000 -
3227.40/3239.31 c 3239 278769 951 1 - 0.0000 -
3232.38/3244.39 c 3244 279259 942 1 - 0.0000 -
3237.47/3249.44 c 3249 279770 936 1 - 0.0000 -
3242.55/3254.51 c 3255 280323 929 1 - 0.0000 -
3247.53/3259.57 c 3260 280847 926 1 - 0.0000 -
3252.62/3264.62 c 3265 281410 924 1 - 0.0000 -
3257.71/3269.70 c 3270 281949 934 1 - 0.0000 -
3262.69/3274.76 c 3275 282561 931 1 - 0.0000 -
3267.77/3279.82 c 3280 283144 936 1 - 0.0000 -
3272.85/3284.90 c 3285 283733 935 1 - 0.0000 -
3277.95/3290.01 c 3290 284323 933 1 - 0.0000 -
3282.94/3295.06 c 3295 284807 930 1 - 0.0000 -
3288.02/3300.13 c 3300 285497 936 1 - 0.0000 -
3293.09/3305.20 c 3305 286081 929 1 - 0.0000 -
3298.07/3310.25 c 3310 286648 933 1 - 0.0000 -
3303.16/3315.34 c 3315 287264 935 1 - 0.0000 -
3308.14/3320.40 c 3320 287919 937 1 - 0.0000 -
3313.32/3325.53 c 3326 288449 944 1 - 0.0000 -
3318.41/3330.61 c 3331 288929 942 1 - 0.0000 -
3323.39/3335.69 c 3336 289437 936 1 - 0.0000 -
3328.48/3340.77 c 3341 289950 942 1 - 0.0000 -
3333.55/3345.83 c 3346 290506 942 1 - 0.0000 -
3338.54/3350.89 c 3351 291091 941 1 - 0.0000 -
3343.62/3356.00 c 3356 291645 952 1 - 0.0000 -
3348.71/3361.05 c 3361 292183 947 1 - 0.0000 -
3353.80/3366.15 c 3366 292688 967 1 - 0.0000 -
3358.87/3371.24 c 3371 293251 967 1 - 0.0000 -
3363.96/3376.34 c 3376 293822 978 1 - 0.0000 -
3369.04/3381.45 c 3381 294316 989 1 - 0.0000 -
3374.12/3386.52 c 3387 294867 979 1 - 0.0000 -
3379.10/3391.59 c 3392 295417 994 1 - 0.0000 -
3384.19/3396.68 c 3397 295912 979 1 - 0.0000 -
3389.28/3401.77 c 3402 296425 971 1 - 0.0000 -
3394.36/3406.83 c 3407 296927 957 1 - 0.0000 -
3399.45/3411.94 c 3412 297449 953 1 - 0.0000 -
3404.43/3417.01 c 3417 298021 958 1 - 0.0000 -
3409.52/3422.08 c 3422 298521 952 1 - 0.0000 -
3414.60/3427.15 c 3427 299094 935 1 - 0.0000 -
3419.67/3432.20 c 3432 299722 932 1 - 0.0000 -
3424.76/3437.31 c 3437 300236 940 1 - 0.0000 -
3429.75/3442.36 c 3442 300880 949 1 - 0.0000 -
3434.83/3447.44 c 3447 301472 946 1 - 0.0000 -
3439.91/3452.51 c 3453 302094 936 1 - 0.0000 -
3444.89/3457.58 c 3458 302706 942 1 - 0.0000 -
3449.98/3462.64 c 3463 303325 939 1 - 0.0000 -
3454.97/3467.69 c 3468 303892 933 1 - 0.0000 -
3460.05/3472.77 c 3473 304500 937 1 - 0.0000 -
3465.13/3477.83 c 3478 305072 932 1 - 0.0000 -
3470.21/3482.91 c 3483 305711 940 1 - 0.0000 -
3475.20/3487.98 c 3488 306249 944 1 - 0.0000 -
3480.29/3493.04 c 3493 306814 931 1 - 0.0000 -
3485.28/3498.11 c 3498 307418 944 1 - 0.0000 -
3490.65/3503.46 c 3503 307827 924 1 - 0.0000 -
3495.73/3508.58 c 3509 308392 928 1 - 0.0000 -
3500.82/3513.65 c 3514 308976 917 1 - 0.0000 -
3505.90/3518.73 c 3519 309543 917 1 - 0.0000 -
3510.88/3523.78 c 3524 310153 904 1 - 0.0000 -
3515.96/3528.86 c 3529 310760 893 1 - 0.0000 -
3521.06/3533.92 c 3534 311292 889 1 - 0.0000 -
3526.04/3538.98 c 3539 311894 902 1 - 0.0000 -
3531.13/3544.07 c 3544 312458 890 1 - 0.0000 -
3536.22/3549.13 c 3549 313085 896 1 - 0.0000 -
3541.20/3554.19 c 3554 313719 890 1 - 0.0000 -
3546.27/3559.26 c 3559 314302 896 1 - 0.0000 -
3551.35/3564.35 c 3564 314891 890 1 - 0.0000 -
3556.44/3569.42 c 3569 315503 908 1 - 0.0000 -
3561.42/3574.49 c 3574 316138 899 1 - 0.0000 -
3566.51/3579.56 c 3580 316782 904 1 - 0.0000 -
3571.59/3584.61 c 3585 317359 892 1 - 0.0000 -
3576.68/3589.73 c 3590 318008 888 1 - 0.0000 -
3581.66/3594.79 c 3595 318649 887 1 - 0.0000 -
3584.96/3598.08 c SCIP Status : c solving was interrupted [hard time limit reached]
3584.96/3598.08 c Total Time : 3598.0800
3584.96/3598.08 c solving : 3598.0800
3584.96/3598.08 c presolving : 0.5545 (included in solving)
3584.96/3598.08 c B&B Tree :
3584.96/3598.08 c nodes (total) : 1
3584.96/3598.08 c Solution :
3584.96/3598.08 c Solutions found : 0
3584.96/3598.08 c Primal Bound : -
3584.96/3598.08 c Dual Bound : +0.00000000000000e+00
3584.96/3598.08 c Gap : -
3584.96/3598.11 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: 64096 MiB (61822 MiB free)
memory of node 1: 64473 MiB (56900 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4464651-1722386174/watcher-4464651-1722386174 -o /tmp/evaluation-result-4464651-1722386174/solver-4464651-1722386174 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC012-1722378594-27293 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4464651-1722386174.opb -qsol -t 3600 -sth 1
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=32156, runsolver pid=32153
[startup+0.100181 s]*
/proc/loadavg: 4.20 4.15 4.12 5/247 32157
/proc/meminfo: memFree=121544356/131655788 swapFree=131071472/131071996
[pid=32156] ppid=32153 vsize=48500 memory=37080 CPUtime=0.1 cores=0,2
/proc/32156/stat : 32156 (fscip) R 32153 32156 27283 0 -1 4194304 6969 0 0 0 8 2 0 0 20 0 1 0 4987496 49664000 9270 134679101440 4194304 16623229 140733359050064 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 34594816 140733359055894 140733359056010 140733359056010 140733359063024 0
/proc/32156/statm: 12125 9270 2582 3035 0 8521 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 48500 KiB
Current children cumulated memory: 37080 KiB
[startup+0.212703 s]*
/proc/loadavg: 4.20 4.15 4.12 6/247 32157
/proc/meminfo: memFree=121536236/131655788 swapFree=131071472/131071996
[pid=32156] ppid=32153 vsize=56740 memory=45700 CPUtime=0.21 cores=0,2
/proc/32156/stat : 32156 (fscip) R 32153 32156 27283 0 -1 4194304 9826 0 0 0 19 2 0 0 20 0 1 0 4987496 58101760 11425 134679101440 4194304 16623229 140733359050064 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 34594816 140733359055894 140733359056010 140733359056010 140733359063024 0
/proc/32156/statm: 14185 11425 2678 3035 0 10581 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 56740 KiB
Current children cumulated memory: 45700 KiB
[startup+0.312648 s]*
/proc/loadavg: 4.20 4.15 4.12 5/247 32157
/proc/meminfo: memFree=121534388/131655788 swapFree=131071472/131071996
[pid=32156] ppid=32153 vsize=58120 memory=47232 CPUtime=0.31 cores=0,2
/proc/32156/stat : 32156 (fscip) R 32153 32156 27283 0 -1 4194304 10742 0 0 0 29 2 0 0 20 0 1 0 4987496 59514880 11808 134679101440 4194304 16623229 140733359050064 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 34594816 140733359055894 140733359056010 140733359056010 140733359063024 0
/proc/32156/statm: 14530 11808 2726 3035 0 10926 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 58120 KiB
Current children cumulated memory: 47232 KiB
[startup+0.701193 s]
/proc/loadavg: 4.20 4.15 4.12 5/247 32157
/proc/meminfo: memFree=121533240/131655788 swapFree=131071472/131071996
[pid=32156] ppid=32153 vsize=144988 memory=65084 CPUtime=0.69 cores=0,2
/proc/32156/stat : 32156 (fscip) S 32153 32156 27283 0 -1 1077936128 17482 0 0 0 64 5 0 0 20 0 2 0 4987496 148467712 16271 134679101440 4194304 16623229 140733359050064 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 34594816 140733359055894 140733359056010 140733359056010 140733359063024 0
/proc/32156/statm: 36247 16271 2774 3035 0 18560 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 144988 KiB
Current children cumulated memory: 65084 KiB
[startup+1.50033 s]
/proc/loadavg: 4.20 4.15 4.12 5/249 32159
/proc/meminfo: memFree=121492668/131655788 swapFree=131071472/131071996
[pid=32156] ppid=32153 vsize=153184 memory=113676 CPUtime=1.47 cores=0,2
/proc/32156/stat : 32156 (fscip) S 32153 32156 27283 0 -1 1077936128 29506 0 0 0 140 7 0 0 20 0 3 0 4987496 156860416 28419 134679101440 4194304 16623229 140733359050064 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 34594816 140733359055894 140733359056010 140733359056010 140733359063024 0
/proc/32156/statm: 38296 28419 2950 3035 0 33094 0
[pid=32156/tid=32158] ppid=32153 vsize=153184 memory=4216 CPUtime=0.8 cores=0,2
/proc/32156/task/32158/stat : 32158 (fscip) R 32153 32156 27283 0 -1 4194368 14303 0 0 0 77 3 0 0 20 0 3 0 4987561 156860416 28419 134679101440 4194304 16623229 140733359050064 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 34594816 140733359055894 140733359056010 140733359056010 140733359063024 0
[pid=32156/tid=32159] ppid=32153 vsize=153184 memory=2244 CPUtime=0 cores=0,2
/proc/32156/task/32159/stat : 32159 (fscip) S 32153 32156 27283 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 4987567 156860416 28419 134679101440 4194304 16623229 140733359050064 0 0 0 0 0 2 1 0 0 -1 0 0 0 0 0 0 18838560 18947056 34594816 140733359055894 140733359056010 140733359056010 140733359063024 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 153184 KiB
Current children cumulated memory: 113676 KiB
[startup+3.11237 s]
/proc/loadavg: 4.20 4.15 4.12 5/249 32160
/proc/meminfo: memFree=121433840/131655788 swapFree=131071472/131071996
[pid=32156] ppid=32153 vsize=218720 memory=148316 CPUtime=3.08 cores=0,2
/proc/32156/stat : 32156 (fscip) S 32153 32156 27283 0 -1 1077936128 45291 0 0 0 297 11 0 0 20 0 3 0 4987496 223969280 37079 134679101440 4194304 16623229 140733359050064 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 34594816 140733359055894 140733359056010 140733359056010 140733359063024 0
/proc/32156/statm: 54680 37079 2966 3035 0 42240 0
[pid=32156/tid=32158] ppid=32153 vsize=218720 memory=2244 CPUtime=2.4 cores=0,2
/proc/32156/task/32158/stat : 32158 (fscip) R 32153 32156 27283 0 -1 4194368 30082 0 0 0 234 6 0 0 20 0 3 0 4987561 223969280 37079 134679101440 4194304 16623229 140733359050064 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 34594816 140733359055894 140733359056010 140733359056010 140733359063024 0
[pid=32156/tid=32159] ppid=32153 vsize=218720 memory=26144 CPUtime=0 cores=0,2
/proc/32156/task/32159/stat : 32159 (fscip) S 32153 32156 27283 0 -1 1077936192 6 0 0 0 0 0 0 0 20 0 3 0 4987567 223969280 37079 134679101440 4194304 16623229 140733359050064 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 34594816 140733359055894 140733359056010 140733359056010 140733359063024 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 218720 KiB
Current children cumulated memory: 148316 KiB
[startup+6.30035 s]
/proc/loadavg: 4.26 4.16 4.13 5/249 32160
/proc/meminfo: memFree=121432716/131655788 swapFree=131071472/131071996
[pid=32156] ppid=32153 vsize=218720 memory=148520 CPUtime=6.26 cores=0,2
/proc/32156/stat : 32156 (fscip) S 32153 32156 27283 0 -1 1077936128 54603 0 0 0 615 11 0 0 20 0 3 0 4987496 223969280 37130 134679101440 4194304 16623229 140733359050064 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 34594816 140733359055894 140733359056010 140733359056010 140733359063024 0
/proc/32156/statm: 54680 37130 2966 3035 0 42240 0
[pid=32156/tid=32158] ppid=32153 vsize=218720 memory=0 CPUtime=5.59 cores=0,2
/proc/32156/task/32158/stat : 32158 (fscip) R 32153 32156 27283 0 -1 4194368 39391 0 0 0 552 7 0 0 20 0 3 0 4987561 223969280 37130 134679101440 4194304 16623229 140733359050064 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 34594816 140733359055894 140733359056010 140733359056010 140733359063024 0
[pid=32156/tid=32159] ppid=32153 vsize=218720 memory=2314990719683084888 CPUtime=0 cores=0,2
/proc/32156/task/32159/stat : 32159 (fscip) S 32153 32156 27283 0 -1 1077936192 9 0 0 0 0 0 0 0 20 0 3 0 4987567 223969280 37130 134679101440 4194304 16623229 140733359050064 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 34594816 140733359055894 140733359056010 140733359056010 140733359063024 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 218720 KiB
Current children cumulated memory: 148520 KiB
[startup+12.7003 s]
/proc/loadavg: 4.40 4.19 4.14 5/249 32160
/proc/meminfo: memFree=121432492/131655788 swapFree=131071472/131071996
[pid=32156] ppid=32153 vsize=218720 memory=148748 CPUtime=12.64 cores=0,2
/proc/32156/stat : 32156 (fscip) S 32153 32156 27283 0 -1 1077936128 75077 0 0 0 1252 12 0 0 20 0 3 0 4987496 223969280 37187 134679101440 4194304 16623229 140733359050064 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 34594816 140733359055894 140733359056010 140733359056010 140733359063024 0
/proc/32156/statm: 54680 37187 2966 3035 0 42240 0
[pid=32156/tid=32158] ppid=32153 vsize=218720 memory=148316 CPUtime=11.97 cores=0,2
/proc/32156/task/32158/stat : 32158 (fscip) R 32153 32156 27283 0 -1 4194368 59852 0 0 0 1189 8 0 0 20 0 3 0 4987561 223969280 37187 134679101440 4194304 16623229 140733359050064 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 34594816 140733359055894 140733359056010 140733359056010 140733359063024 0
[pid=32156/tid=32159] ppid=32153 vsize=218720 memory=148684 CPUtime=0 cores=0,2
/proc/32156/task/32159/stat : 32159 (fscip) S 32153 32156 27283 0 -1 1077936192 22 0 0 0 0 0 0 0 20 0 3 0 4987567 223969280 37187 134679101440 4194304 16623229 140733359050064 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 34594816 140733359055894 140733359056010 140733359056010 140733359063024 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 218720 KiB
Current children cumulated memory: 148748 KiB
[startup+25.5004 s]
/proc/loadavg: 4.41 4.20 4.14 5/249 32163
/proc/meminfo: memFree=121431244/131655788 swapFree=131071472/131071996
[pid=32156] ppid=32153 vsize=218720 memory=148904 CPUtime=25.39 cores=0,2
/proc/32156/stat : 32156 (fscip) S 32153 32156 27283 0 -1 1077936128 98884 0 0 0 2526 13 0 0 20 0 3 0 4987496 223969280 37226 134679101440 4194304 16623229 140733359050064 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 34594816 140733359055894 140733359056010 140733359056010 140733359063024 0
/proc/32156/statm: 54680 37226 2966 3035 0 42240 0
[pid=32156/tid=32158] ppid=32153 vsize=218720 memory=11424 CPUtime=24.72 cores=0,2
/proc/32156/task/32158/stat : 32158 (fscip) R 32153 32156 27283 0 -1 4194368 83642 0 0 0 2463 9 0 0 20 0 3 0 4987561 223969280 37226 134679101440 4194304 16623229 140733359050064 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 34594816 140733359055894 140733359056010 140733359056010 140733359063024 0
[pid=32156/tid=32159] ppid=32153 vsize=218720 memory=148752 CPUtime=0 cores=0,2
/proc/32156/task/32159/stat : 32159 (fscip) S 32153 32156 27283 0 -1 1077936192 39 0 0 0 0 0 0 0 20 0 3 0 4987567 223969280 37226 134679101440 4194304 16623229 140733359050064 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 34594816 140733359055894 140733359056010 140733359056010 140733359063024 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 218720 KiB
Current children cumulated memory: 148904 KiB
[startup+51.1126 s]
/proc/loadavg: 4.77 4.31 4.18 5/250 32167
/proc/meminfo: memFree=121396060/131655788 swapFree=131071472/131071996
[pid=32156] ppid=32153 vsize=218720 memory=172044 CPUtime=50.92 cores=0,2
/proc/32156/stat : 32156 (fscip) S 32153 32156 27283 0 -1 1077936128 133841 0 0 0 5075 17 0 0 20 0 3 0 4987496 223969280 43011 134679101440 4194304 16623229 140733359050064 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 34594816 140733359055894 140733359056010 140733359056010 140733359063024 0
/proc/32156/statm: 54680 43011 3014 3035 0 48676 0
[pid=32156/tid=32158] ppid=32153 vsize=218720 memory=158148 CPUtime=50.24 cores=0,2
/proc/32156/task/32158/stat : 32158 (fscip) R 32153 32156 27283 0 -1 4194368 118527 0 0 0 5012 12 0 0 20 0 3 0 4987561 223969280 43011 134679101440 4194304 16623229 140733359050064 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 34594816 140733359055894 140733359056010 140733359056010 140733359063024 0
[pid=32156/tid=32159] ppid=32153 vsize=218720 memory=171852 CPUtime=0 cores=0,2
/proc/32156/task/32159/stat : 32159 (fscip) S 32153 32156 27283 0 -1 1077936192 46 0 0 0 0 0 0 0 20 0 3 0 4987567 223969280 43011 134679101440 4194304 16623229 140733359050064 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 34594816 140733359055894 140733359056010 140733359056010 140733359063024 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 218720 KiB
Current children cumulated memory: 172044 KiB
[startup+102.3 s]
/proc/loadavg: 4.73 4.39 4.21 5/250 32177
/proc/meminfo: memFree=121298952/131655788 swapFree=131071472/131071996
[pid=32156] ppid=32153 vsize=218720 memory=172044 CPUtime=101.92 cores=0,2
/proc/32156/stat : 32156 (fscip) S 32153 32156 27283 0 -1 1077936128 154146 0 0 0 10174 18 0 0 20 0 3 0 4987496 223969280 43011 134679101440 4194304 16623229 140733359050064 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 34594816 140733359055894 140733359056010 140733359056010 140733359063024 0
/proc/32156/statm: 54680 43011 3014 3035 0 48676 0
[pid=32156/tid=32158] ppid=32153 vsize=218720 memory=11424 CPUtime=101.24 cores=0,2
/proc/32156/task/32158/stat : 32158 (fscip) R 32153 32156 27283 0 -1 4194368 138778 0 0 0 10111 13 0 0 20 0 3 0 4987561 223969280 43011 134679101440 4194304 16623229 140733359050064 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 34594816 140733359055894 140733359056010 140733359056010 140733359063024 0
[pid=32156/tid=32159] ppid=32153 vsize=218720 memory=172044 CPUtime=0 cores=0,2
/proc/32156/task/32159/stat : 32159 (fscip) S 32153 32156 27283 0 -1 1077936192 67 0 0 0 0 0 0 0 20 0 3 0 4987567 223969280 43011 134679101440 4194304 16623229 140733359050064 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 34594816 140733359055894 140733359056010 140733359056010 140733359063024 0
Current children cumulated CPU time: 101.92 s
Current children cumulated vsize: 218720 KiB
Current children cumulated memory: 172044 KiB
[startup+162.3 s]
/proc/loadavg: 4.37 4.35 4.21 5/250 32187
/proc/meminfo: memFree=121286264/131655788 swapFree=131071472/131071996
[pid=32156] ppid=32153 vsize=218720 memory=172044 CPUtime=161.69 cores=0,2
/proc/32156/stat : 32156 (fscip) S 32153 32156 27283 0 -1 1077936128 163228 0 0 0 16151 18 0 0 20 0 3 0 4987496 223969280 43011 134679101440 4194304 16623229 140733359050064 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 34594816 140733359055894 140733359056010 140733359056010 140733359063024 0
/proc/32156/statm: 54680 43011 3014 3035 0 48676 0
[pid=32156/tid=32158] ppid=32153 vsize=218720 memory=172044 CPUtime=161.02 cores=0,2
/proc/32156/task/32158/stat : 32158 (fscip) R 32153 32156 27283 0 -1 4194368 147846 0 0 0 16088 14 0 0 20 0 3 0 4987561 223969280 43011 134679101440 4194304 16623229 140733359050064 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 34594816 140733359055894 140733359056010 140733359056010 140733359063024 0
[pid=32156/tid=32159] ppid=32153 vsize=218720 memory=172044 CPUtime=0 cores=0,2
/proc/32156/task/32159/stat : 32159 (fscip) S 32153 32156 27283 0 -1 1077936192 81 0 0 0 0 0 0 0 20 0 3 0 4987567 223969280 43011 134679101440 4194304 16623229 140733359050064 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 34594816 140733359055894 140733359056010 140733359056010 140733359063024 0
Current children cumulated CPU time: 161.69 s
Current children cumulated vsize: 218720 KiB
Current children cumulated memory: 172044 KiB
[startup+222.3 s]
/proc/loadavg: 4.80 4.47 4.26 5/250 32197
/proc/meminfo: memFree=121247144/131655788 swapFree=131071472/131071996
[pid=32156] ppid=32153 vsize=218720 memory=172044 CPUtime=221.47 cores=0,2
/proc/32156/stat : 32156 (fscip) S 32153 32156 27283 0 -1 1077936128 167852 0 0 0 22128 19 0 0 20 0 3 0 4987496 223969280 43011 134679101440 4194304 16623229 140733359050064 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 34594816 140733359055894 140733359056010 140733359056010 140733359063024 0
/proc/32156/statm: 54680 43011 3014 3035 0 48676 0
[pid=32156/tid=32158] ppid=32153 vsize=218720 memory=11424 CPUtime=220.79 cores=0,2
/proc/32156/task/32158/stat : 32158 (fscip) R 32153 32156 27283 0 -1 4194368 152463 0 0 0 22065 14 0 0 20 0 3 0 4987561 223969280 43011 134679101440 4194304 16623229 140733359050064 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 34594816 140733359055894 140733359056010 140733359056010 140733359063024 0
[pid=32156/tid=32159] ppid=32153 vsize=218720 memory=1944 CPUtime=0 cores=0,2
/proc/32156/task/32159/stat : 32159 (fscip) S 32153 32156 27283 0 -1 1077936192 88 0 0 0 0 0 0 0 20 0 3 0 4987567 223969280 43011 134679101440 4194304 16623229 140733359050064 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 34594816 140733359055894 140733359056010 140733359056010 140733359063024 0
Current children cumulated CPU time: 221.47 s
Current children cumulated vsize: 218720 KiB
Current children cumulated memory: 172044 KiB
################
# More data... #
################
/proc/32156/statm: 104557 97335 3334 3035 0 99824 0
[pid=32156/tid=32158] ppid=32153 vsize=418228 memory=389340 CPUtime=3388.92 cores=0,2
/proc/32156/task/32158/stat : 32158 (fscip) R 32153 32156 27283 0 -1 4194368 693237 0 0 0 338741 151 0 0 20 0 3 0 4987561 428265472 97335 134679101440 4194304 16623229 140733359050064 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 34594816 140733359055894 140733359056010 140733359056010 140733359063024 0
[pid=32156/tid=32159] ppid=32153 vsize=418228 memory=389340 CPUtime=0.04 cores=0,2
/proc/32156/task/32159/stat : 32159 (fscip) S 32153 32156 27283 0 -1 1077936192 248 0 0 0 1 3 0 0 20 0 3 0 4987567 428265472 97335 134679101440 4194304 16623229 140733359050064 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 34594816 140733359055894 140733359056010 140733359056010 140733359063024 0
Current children cumulated CPU time: 3389.88 s
Current children cumulated vsize: 418228 KiB
Current children cumulated memory: 389340 KiB
[startup+3462.3 s]
/proc/loadavg: 1.14 2.46 3.41 2/224 34109
/proc/meminfo: memFree=122182116/131655788 swapFree=131071472/131071996
[pid=32156] ppid=32153 vsize=418228 memory=389340 CPUtime=3449.68 cores=0,2
/proc/32156/stat : 32156 (fscip) S 32153 32156 27283 0 -1 1077936128 710743 0 0 0 344799 169 0 0 20 0 3 0 4987496 428265472 97335 134679101440 4194304 16623229 140733359050064 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 34594816 140733359055894 140733359056010 140733359056010 140733359063024 0
/proc/32156/statm: 104557 97335 3334 3035 0 99824 0
[pid=32156/tid=32158] ppid=32153 vsize=418228 memory=389340 CPUtime=3448.71 cores=0,2
/proc/32156/task/32158/stat : 32158 (fscip) R 32153 32156 27283 0 -1 4194368 694079 0 0 0 344719 152 0 0 20 0 3 0 4987561 428265472 97335 134679101440 4194304 16623229 140733359050064 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 34594816 140733359055894 140733359056010 140733359056010 140733359063024 0
[pid=32156/tid=32159] ppid=32153 vsize=418228 memory=389340 CPUtime=0.04 cores=0,2
/proc/32156/task/32159/stat : 32159 (fscip) S 32153 32156 27283 0 -1 1077936192 250 0 0 0 1 3 0 0 20 0 3 0 4987567 428265472 97335 134679101440 4194304 16623229 140733359050064 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 34594816 140733359055894 140733359056010 140733359056010 140733359063024 0
Current children cumulated CPU time: 3449.68 s
Current children cumulated vsize: 418228 KiB
Current children cumulated memory: 389340 KiB
[startup+3522.3 s]
/proc/loadavg: 1.15 2.22 3.26 2/224 34121
/proc/meminfo: memFree=122179844/131655788 swapFree=131071472/131071996
[pid=32156] ppid=32153 vsize=418228 memory=390796 CPUtime=3509.49 cores=0,2
/proc/32156/stat : 32156 (fscip) S 32153 32156 27283 0 -1 1077936128 713096 0 0 0 350778 171 0 0 20 0 3 0 4987496 428265472 97699 134679101440 4194304 16623229 140733359050064 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 34594816 140733359055894 140733359056010 140733359056010 140733359063024 0
/proc/32156/statm: 104557 97699 3334 3035 0 99824 0
[pid=32156/tid=32158] ppid=32153 vsize=418228 memory=389340 CPUtime=3508.52 cores=0,2
/proc/32156/task/32158/stat : 32158 (fscip) R 32153 32156 27283 0 -1 4194368 696412 0 0 0 350698 154 0 0 20 0 3 0 4987561 428265472 97699 134679101440 4194304 16623229 140733359050064 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 34594816 140733359055894 140733359056010 140733359056010 140733359063024 0
[pid=32156/tid=32159] ppid=32153 vsize=418228 memory=390796 CPUtime=0.04 cores=0,2
/proc/32156/task/32159/stat : 32159 (fscip) S 32153 32156 27283 0 -1 1077936192 252 0 0 0 1 3 0 0 20 0 3 0 4987567 428265472 97699 134679101440 4194304 16623229 140733359050064 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 34594816 140733359055894 140733359056010 140733359056010 140733359063024 0
Current children cumulated CPU time: 3509.49 s
Current children cumulated vsize: 418228 KiB
Current children cumulated memory: 390796 KiB
[startup+3582.3 s]
/proc/loadavg: 1.19 2.03 3.13 2/223 34133
/proc/meminfo: memFree=122179040/131655788 swapFree=131071472/131071996
[pid=32156] ppid=32153 vsize=418228 memory=390796 CPUtime=3569.3 cores=0,2
/proc/32156/stat : 32156 (fscip) S 32153 32156 27283 0 -1 1077936128 714026 0 0 0 356757 173 0 0 20 0 3 0 4987496 428265472 97699 134679101440 4194304 16623229 140733359050064 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 34594816 140733359055894 140733359056010 140733359056010 140733359063024 0
/proc/32156/statm: 104557 97699 3334 3035 0 99824 0
[pid=32156/tid=32158] ppid=32153 vsize=418228 memory=390796 CPUtime=3568.32 cores=0,2
/proc/32156/task/32158/stat : 32158 (fscip) R 32153 32156 27283 0 -1 4194368 697323 0 0 0 356677 155 0 0 20 0 3 0 4987561 428265472 97699 134679101440 4194304 16623229 140733359050064 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 34594816 140733359055894 140733359056010 140733359056010 140733359063024 0
[pid=32156/tid=32159] ppid=32153 vsize=418228 memory=1944 CPUtime=0.06 cores=0,2
/proc/32156/task/32159/stat : 32159 (fscip) S 32153 32156 27283 0 -1 1077936192 254 0 0 0 2 4 0 0 20 0 3 0 4987567 428265472 97699 134679101440 4194304 16623229 140733359050064 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 34594816 140733359055894 140733359056010 140733359056010 140733359063024 0
Current children cumulated CPU time: 3569.3 s
Current children cumulated vsize: 418228 KiB
Current children cumulated memory: 390796 KiB
[startup+3598.13 s]
# the end of solver process 32156 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3583.33 s, system=1.74361 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 1.19 2.03 3.13 2/223 34135
/proc/meminfo: memFree=122178864/131655788 swapFree=131071472/131071996
[pid=32156] ppid=32153 vsize=418228 memory=390796 CPUtime=3571.01 cores=0,2
/proc/32156/stat : 32156 (fscip) S 32153 32156 27283 0 -1 1077936128 714055 0 0 0 356928 173 0 0 20 0 3 0 4987496 428265472 97699 134679101440 4194304 16623229 140733359050064 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 34594816 140733359055894 140733359056010 140733359056010 140733359063024 0
/proc/32156/statm: 104557 97699 3334 3035 0 99824 0
[pid=32156/tid=32158] ppid=32153 vsize=418228 memory=-7596001938098971515 CPUtime=3570.03 cores=0,2
/proc/32156/task/32158/stat : 32158 (fscip) R 32153 32156 27283 0 -1 4194368 697352 0 0 0 356848 155 0 0 20 0 3 0 4987561 428265472 97699 134679101440 4194304 16623229 140733359050064 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 34594816 140733359055894 140733359056010 140733359056010 140733359063024 0
[pid=32156/tid=32159] ppid=32153 vsize=418228 memory=7582772700810676846 CPUtime=0.06 cores=0,2
/proc/32156/task/32159/stat : 32159 (fscip) S 32153 32156 27283 0 -1 1077936192 254 0 0 0 2 4 0 0 20 0 3 0 4987567 428265472 97699 134679101440 4194304 16623229 140733359050064 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 34594816 140733359055894 140733359056010 140733359056010 140733359063024 0
Current children cumulated CPU time: 3571.01 s
Current children cumulated vsize: 418228 KiB
Current children cumulated memory: 390796 KiB
[startup+3590.4 s]
/proc/loadavg: 1.17 2.01 3.12 2/223 34135
/proc/meminfo: memFree=122178864/131655788 swapFree=131071472/131071996
[pid=32156] ppid=32153 vsize=418228 memory=390796 CPUtime=3577.37 cores=0,2
/proc/32156/stat : 32156 (fscip) S 32153 32156 27283 0 -1 1077936128 714099 0 0 0 357564 173 0 0 20 0 3 0 4987496 428265472 97699 134679101440 4194304 16623229 140733359050064 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 34594816 140733359055894 140733359056010 140733359056010 140733359063024 0
/proc/32156/statm: 104557 97699 3334 3035 0 99824 0
[pid=32156/tid=32158] ppid=32153 vsize=418228 memory=11424 CPUtime=3576.4 cores=0,2
/proc/32156/task/32158/stat : 32158 (fscip) R 32153 32156 27283 0 -1 4194368 697395 0 0 0 357485 155 0 0 20 0 3 0 4987561 428265472 97699 134679101440 4194304 16623229 140733359050064 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 34594816 140733359055894 140733359056010 140733359056010 140733359063024 0
[pid=32156/tid=32159] ppid=32153 vsize=418228 memory=11424 CPUtime=0.06 cores=0,2
/proc/32156/task/32159/stat : 32159 (fscip) S 32153 32156 27283 0 -1 1077936192 254 0 0 0 2 4 0 0 20 0 3 0 4987567 428265472 97699 134679101440 4194304 16623229 140733359050064 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 34594816 140733359055894 140733359056010 140733359056010 140733359063024 0
Current children cumulated CPU time: 3577.37 s
Current children cumulated vsize: 418228 KiB
Current children cumulated memory: 390796 KiB
[startup+3593.6 s]
/proc/loadavg: 1.16 2.00 3.11 2/223 34136
/proc/meminfo: memFree=122178788/131655788 swapFree=131071472/131071996
[pid=32156] ppid=32153 vsize=418228 memory=390796 CPUtime=3580.56 cores=0,2
/proc/32156/stat : 32156 (fscip) S 32153 32156 27283 0 -1 1077936128 714112 0 0 0 357883 173 0 0 20 0 3 0 4987496 428265472 97699 134679101440 4194304 16623229 140733359050064 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 34594816 140733359055894 140733359056010 140733359056010 140733359063024 0
/proc/32156/statm: 104557 97699 3334 3035 0 99824 0
[pid=32156/tid=32158] ppid=32153 vsize=418228 memory=390796 CPUtime=3579.58 cores=0,2
/proc/32156/task/32158/stat : 32158 (fscip) R 32153 32156 27283 0 -1 4194368 697408 0 0 0 357803 155 0 0 20 0 3 0 4987561 428265472 97699 134679101440 4194304 16623229 140733359050064 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 34594816 140733359055894 140733359056010 140733359056010 140733359063024 0
[pid=32156/tid=32159] ppid=32153 vsize=418228 memory=11424 CPUtime=0.06 cores=0,2
/proc/32156/task/32159/stat : 32159 (fscip) S 32153 32156 27283 0 -1 1077936192 254 0 0 0 2 4 0 0 20 0 3 0 4987567 428265472 97699 134679101440 4194304 16623229 140733359050064 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 34594816 140733359055894 140733359056010 140733359056010 140733359063024 0
Current children cumulated CPU time: 3580.56 s
Current children cumulated vsize: 418228 KiB
Current children cumulated memory: 390796 KiB
[startup+3595.2 s]
/proc/loadavg: 1.16 2.00 3.11 2/223 34136
/proc/meminfo: memFree=122178796/131655788 swapFree=131071472/131071996
[pid=32156] ppid=32153 vsize=418228 memory=390796 CPUtime=3582.16 cores=0,2
/proc/32156/stat : 32156 (fscip) S 32153 32156 27283 0 -1 1077936128 714115 0 0 0 358043 173 0 0 20 0 3 0 4987496 428265472 97699 134679101440 4194304 16623229 140733359050064 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 34594816 140733359055894 140733359056010 140733359056010 140733359063024 0
/proc/32156/statm: 104557 97699 3334 3035 0 99824 0
[pid=32156/tid=32158] ppid=32153 vsize=418228 memory=11424 CPUtime=3581.18 cores=0,2
/proc/32156/task/32158/stat : 32158 (fscip) R 32153 32156 27283 0 -1 4194368 697411 0 0 0 357963 155 0 0 20 0 3 0 4987561 428265472 97699 134679101440 4194304 16623229 140733359050064 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 34594816 140733359055894 140733359056010 140733359056010 140733359063024 0
[pid=32156/tid=32159] ppid=32153 vsize=418228 memory=-7596001938098971515 CPUtime=0.06 cores=0,2
/proc/32156/task/32159/stat : 32159 (fscip) S 32153 32156 27283 0 -1 1077936192 254 0 0 0 2 4 0 0 20 0 3 0 4987567 428265472 97699 134679101440 4194304 16623229 140733359050064 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 34594816 140733359055894 140733359056010 140733359056010 140733359063024 0
Current children cumulated CPU time: 3582.16 s
Current children cumulated vsize: 418228 KiB
Current children cumulated memory: 390796 KiB
[startup+3596.8 s]
/proc/loadavg: 1.14 1.98 3.10 2/223 34136
/proc/meminfo: memFree=122178764/131655788 swapFree=131071472/131071996
[pid=32156] ppid=32153 vsize=418228 memory=390796 CPUtime=3583.75 cores=0,2
/proc/32156/stat : 32156 (fscip) S 32153 32156 27283 0 -1 1077936128 714116 0 0 0 358202 173 0 0 20 0 3 0 4987496 428265472 97699 134679101440 4194304 16623229 140733359050064 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 34594816 140733359055894 140733359056010 140733359056010 140733359063024 0
/proc/32156/statm: 104557 97699 3334 3035 0 99824 0
[pid=32156/tid=32158] ppid=32153 vsize=418228 memory=12832 CPUtime=3582.77 cores=0,2
/proc/32156/task/32158/stat : 32158 (fscip) R 32153 32156 27283 0 -1 4194368 697412 0 0 0 358122 155 0 0 20 0 3 0 4987561 428265472 97699 134679101440 4194304 16623229 140733359050064 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 34594816 140733359055894 140733359056010 140733359056010 140733359063024 0
[pid=32156/tid=32159] ppid=32153 vsize=418228 memory=11424 CPUtime=0.06 cores=0,2
/proc/32156/task/32159/stat : 32159 (fscip) S 32153 32156 27283 0 -1 1077936192 254 0 0 0 2 4 0 0 20 0 3 0 4987567 428265472 97699 134679101440 4194304 16623229 140733359050064 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 34594816 140733359055894 140733359056010 140733359056010 140733359063024 0
Current children cumulated CPU time: 3583.75 s
Current children cumulated vsize: 418228 KiB
Current children cumulated memory: 390796 KiB
[startup+3597.6 s]
/proc/loadavg: 1.14 1.98 3.10 2/223 34136
/proc/meminfo: memFree=122178796/131655788 swapFree=131071472/131071996
[pid=32156] ppid=32153 vsize=418228 memory=390796 CPUtime=3584.55 cores=0,2
/proc/32156/stat : 32156 (fscip) S 32153 32156 27283 0 -1 1077936128 714116 0 0 0 358282 173 0 0 20 0 3 0 4987496 428265472 97699 134679101440 4194304 16623229 140733359050064 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 34594816 140733359055894 140733359056010 140733359056010 140733359063024 0
/proc/32156/statm: 104557 97699 3334 3035 0 99824 0
[pid=32156/tid=32158] ppid=32153 vsize=418228 memory=5488 CPUtime=3583.57 cores=0,2
/proc/32156/task/32158/stat : 32158 (fscip) R 32153 32156 27283 0 -1 4194368 697412 0 0 0 358202 155 0 0 20 0 3 0 4987561 428265472 97699 134679101440 4194304 16623229 140733359050064 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 34594816 140733359055894 140733359056010 140733359056010 140733359063024 0
[pid=32156/tid=32159] ppid=32153 vsize=418228 memory=16032 CPUtime=0.06 cores=0,2
/proc/32156/task/32159/stat : 32159 (fscip) S 32153 32156 27283 0 -1 1077936192 254 0 0 0 2 4 0 0 20 0 3 0 4987567 428265472 97699 134679101440 4194304 16623229 140733359050064 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 34594816 140733359055894 140733359056010 140733359056010 140733359063024 0
Current children cumulated CPU time: 3584.55 s
Current children cumulated vsize: 418228 KiB
Current children cumulated memory: 390796 KiB
[startup+3598 s]*
/proc/loadavg: 1.14 1.98 3.10 2/223 34137
/proc/meminfo: memFree=122178644/131655788 swapFree=131071472/131071996
[pid=32156] ppid=32153 vsize=418228 memory=390796 CPUtime=3584.96 cores=0,2
/proc/32156/stat : 32156 (fscip) S 32153 32156 27283 0 -1 1077936128 714116 0 0 0 358323 173 0 0 20 0 3 0 4987496 428265472 97699 134679101440 4194304 16623229 140733359050064 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 34594816 140733359055894 140733359056010 140733359056010 140733359063024 0
/proc/32156/statm: 104557 97699 3334 3035 0 99824 0
[pid=32156/tid=32158] ppid=32153 vsize=418228 memory=-7596001938098971515 CPUtime=3583.98 cores=0,2
/proc/32156/task/32158/stat : 32158 (fscip) R 32153 32156 27283 0 -1 4194368 697412 0 0 0 358243 155 0 0 20 0 3 0 4987561 428265472 97699 134679101440 4194304 16623229 140733359050064 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 34594816 140733359055894 140733359056010 140733359056010 140733359063024 0
[pid=32156/tid=32159] ppid=32153 vsize=418228 memory=-4421386491969955684 CPUtime=0.06 cores=0,2
/proc/32156/task/32159/stat : 32159 (fscip) S 32153 32156 27283 0 -1 1077936192 254 0 0 0 2 4 0 0 20 0 3 0 4987567 428265472 97699 134679101440 4194304 16623229 140733359050064 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 34594816 140733359055894 140733359056010 140733359056010 140733359063024 0
Current children cumulated CPU time: 3584.96 s
Current children cumulated vsize: 418228 KiB
Current children cumulated memory: 390796 KiB
Child status: 0
Real time (s): 3598.13
CPU time (s): 3585.07
CPU user time (s): 3583.33
CPU system time (s): 1.74361
CPU usage (%): 99.6372
Max. virtual memory (cumulated for all children) (KiB): 418228
Max. memory (cumulated for all children) (KiB): 390796
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3583.33
system time used= 1.74361
maximum resident set size= 390796
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 714442
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= 9607
involuntary context switches= 21804
# summary of solver processes directly reported to runsolver:
# pid: 32156
# total CPU time (s): 3585.07
# total CPU user time (s): 3583.33
# total CPU system time (s): 1.74361
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.434 second user time and 35.3871 second system time
The end
Begin job on nodeC012 at 2024-07-31 02:36:14
IDJOB=4464651
IDBENCH=162158
IDSOLVER=3092
FILE ID=nodeC012/4464651-1722386174
RUNJOBID= nodeC012-1722378594-27293
SLURM_JOB_ID= 8249842
Free space on /tmp= 723696 MiB
SOLVER NAME= FiberSCIP 2024-07-30
BENCH NAME= PB24/normalized-PB16/DEC-LIN/nossum/normalized-sha1-size128-round23-2.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-4464651-1722386174/watcher-4464651-1722386174 -o /tmp/evaluation-result-4464651-1722386174/solver-4464651-1722386174 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC012-1722378594-27293 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4464651-1722386174.opb -qsol -t 3600 -sth 1
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 47ea31a7c9031906789706eba8e52740
RANDOM SEED=624940052
nodeC012.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 : 0xb00001f
cpu MHz : 2793.485
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.70
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 : 0xb00001f
cpu MHz : 3656.497
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.37
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 : 0xb00001f
cpu MHz : 1197.212
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.70
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 : 0xb00001f
cpu MHz : 1197.228
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.37
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 : 0xb00001f
cpu MHz : 3658.884
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.70
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 : 0xb00001f
cpu MHz : 3624.291
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.37
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 : 0xb00001f
cpu MHz : 1197.479
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.70
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 : 0xb00001f
cpu MHz : 1197.405
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.37
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131655788 kB
MemFree: 121572004 kB
MemAvailable: 129156912 kB
Buffers: 99808 kB
Cached: 8286392 kB
SwapCached: 48 kB
Active: 258844 kB
Inactive: 9321064 kB
Active(anon): 1432 kB
Inactive(anon): 1213528 kB
Active(file): 257412 kB
Inactive(file): 8107536 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071472 kB
Dirty: 28760 kB
Writeback: 0 kB
AnonPages: 1193304 kB
Mapped: 124888 kB
Shmem: 21248 kB
KReclaimable: 120320 kB
Slab: 203424 kB
SReclaimable: 120320 kB
SUnreclaim: 83104 kB
KernelStack: 3920 kB
PageTables: 11560 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196899888 kB
Committed_AS: 1109256 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 6496 kB
HardwareCorrupted: 0 kB
AnonHugePages: 243712 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: 199496 kB
DirectMap2M: 13336576 kB
DirectMap1G: 122683392 kB
Free space on /tmp at the end= 723756 MiB
End job on nodeC012 at 2024-07-31 03:36:12