0.00/0.00 c The following solver is parallelized by UG version 1.0.0 [GitHash: cdb00f34-dirty]
0.00/0.00 c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.1.0] [GitHash: 32d2b99657]
0.00/0.00 c Copyright (c) 2002-2024 Zuse Institute Berlin (ZIB)
0.00/0.00 c External libraries:
0.00/0.00 c Soplex 7.1.0 Linear Programming Solver developed at Zuse Institute Berlin (soplex.zib.de) [GitHash: bdec2291]
0.00/0.00 c CppAD 20180000.0 Algorithmic Differentiation of C++ algorithms developed by B. Bell (github.com/coin-or/CppAD)
0.00/0.00 c AMPL/MP 690e9e7 AMPL .nl file reader library (github.com/ampl/mp)
0.00/0.00 c PaPILO 2.2.1 parallel presolve for integer and linear optimization (github.com/scipopt/papilo)
0.00/0.00 c Nauty 2.8.8 Computing Graph Automorphism Groups by Brendan D. McKay (users.cecs.anu.edu.au/~bdm/nauty)
0.00/0.00 c sassy 1.1 Symmetry preprocessor by Markus Anders (github.com/markusa4/sassy)
0.00/0.03 c Default LC presolving (default).
0.00/0.03 c ** Before presolving: virtualMemUsedAtLc = 47222784, getVmSize() = 47222784, SCIPgetMemUsed() = 21359457, SCIPgetMemTotal() = 24920777, SCIPgetMemExternEstim() = 13393220
0.00/0.03 c ** set memory limit for presolving in LC to 8.79608e+12 for SCIP **
0.20/0.30 c ** Estimated virtualMemUsedAtSolver = 39654970, getVmSize() = 70418432, SCIPgetMemUsed() = 25265795, SCIPgetMemTotal() = 46089235, SCIPgetMemExternEstim() = 13393220
0.20/0.30 c ** set memory limit for solvers to 4.39805e+12 for each SCIP **
0.20/0.30 c Original Problem :
0.20/0.30 c Problem name : instance-4450540-1721412346
0.20/0.30 c Variables : 4288 (4288 binary, 0 integer, 0 implicit integer, 0 continuous)
0.20/0.30 c Constraints : 9504
0.20/0.30 c Objective sense : minimize
0.20/0.30 c Presolved Problem :
0.20/0.30 c Variables : 3386 (3386 binary, 0 integer, 0 implicit integer, 0 continuous)
0.20/0.30 c Constraints : 7798
0.20/0.30 c Constraints : Number
0.20/0.30 c and : 32
0.20/0.30 c linear : 1334
0.20/0.30 c logicor : 6432
0.20/0.30 c ** Instance transfer method used: 0
0.30/0.32 c ** ParaScipInstance copy does not increase the number of variables. **
0.30/0.33 c LC is working with racing ramp-up and with rebuilding tree after racing.
0.30/0.33 c Nodes Active
0.30/0.33 c Time Nodes Left Solvers Best Integer Best Node Gap Best Node(S) Gap(S)
37.43/37.64 c 38 2 1 1 - 0.0000 -
47.19/47.50 c 48 13 12 1 - 0.0000 -
53.18/53.43 c 53 15 14 1 - 0.0000 -
60.26/60.52 c 61 17 16 1 - 0.0000 -
67.13/67.46 c 67 22 21 1 - 0.0000 -
240.52/241.31 c 241 24 23 1 - 0.0000 -
246.70/247.54 c 248 28 27 1 - 0.0000 -
258.46/259.31 c 259 32 31 1 - 0.0000 -
267.53/268.43 c 268 36 35 1 - 0.0000 -
275.71/276.66 c 277 40 39 1 - 0.0000 -
281.79/282.73 c 283 51 50 1 - 0.0000 -
286.88/287.82 c 288 54 53 1 - 0.0000 -
292.07/293.07 c 293 56 55 1 - 0.0000 -
299.04/300.05 c 300 62 61 1 - 0.0000 -
304.22/305.25 c 305 64 63 1 - 0.0000 -
309.81/310.84 c 311 67 66 1 - 0.0000 -
318.28/319.38 c 319 84 83 1 - 0.0000 -
326.15/327.20 c 327 92 91 1 - 0.0000 -
331.24/332.37 c 332 110 109 1 - 0.0000 -
339.31/340.43 c 340 164 163 1 - 0.0000 -
345.89/347.09 c 347 204 203 1 - 0.0000 -
351.17/352.34 c 352 212 211 1 - 0.0000 -
356.55/357.76 c 358 225 224 1 - 0.0000 -
363.03/364.20 c 364 252 251 1 - 0.0000 -
372.41/373.68 c 374 266 265 1 - 0.0000 -
377.89/379.18 c 379 300 299 1 - 0.0000 -
388.05/389.35 c 389 307 306 1 - 0.0000 -
396.13/397.48 c 397 310 309 1 - 0.0000 -
401.41/402.76 c 403 316 315 1 - 0.0000 -
406.60/407.95 c 408 328 327 1 - 0.0000 -
416.27/417.69 c 418 338 337 1 - 0.0000 -
422.55/423.96 c 424 368 367 1 - 0.0000 -
429.93/431.33 c 431 392 391 1 - 0.0000 -
436.51/437.90 c 438 473 472 1 - 0.0000 -
441.70/443.12 c 443 498 497 1 - 0.0000 -
451.47/452.94 c 453 515 514 1 - 0.0000 -
460.44/461.95 c 462 535 534 1 - 0.0000 -
465.92/467.45 c 467 558 557 1 - 0.0000 -
472.80/474.33 c 474 572 571 1 - 0.0000 -
479.08/480.69 c 481 578 577 1 - 0.0000 -
485.36/486.92 c 487 588 587 1 - 0.0000 -
493.64/495.20 c 495 605 604 1 - 0.0000 -
499.82/501.41 c 501 612 611 1 - 0.0000 -
504.81/506.48 c 506 637 636 1 - 0.0000 -
509.89/511.51 c 512 638 637 1 - 0.0000 -
515.38/517.10 c 517 664 663 1 - 0.0000 -
521.06/522.72 c 523 688 687 1 - 0.0000 -
527.24/528.94 c 529 692 691 1 - 0.0000 -
532.52/534.29 c 534 710 709 1 - 0.0000 -
540.40/542.14 c 542 722 721 1 - 0.0000 -
547.08/548.88 c 549 725 724 1 - 0.0000 -
552.86/554.64 c 555 735 734 1 - 0.0000 -
557.85/559.65 c 560 774 773 1 - 0.0000 -
563.03/564.87 c 565 832 831 1 - 0.0000 -
571.31/573.15 c 573 848 847 1 - 0.0000 -
581.68/583.55 c 584 852 851 1 - 0.0000 -
586.97/588.80 c 589 865 864 1 - 0.0000 -
591.95/593.87 c 594 882 881 1 - 0.0000 -
598.14/600.09 c 600 911 910 1 - 0.0000 -
603.72/605.60 c 606 918 917 1 - 0.0000 -
613.28/615.21 c 615 945 944 1 - 0.0000 -
622.06/624.04 c 624 982 981 1 - 0.0000 -
628.44/630.47 c 630 988 987 1 - 0.0000 -
635.81/637.89 c 638 1015 1014 1 - 0.0000 -
642.50/644.52 c 645 1035 1034 1 - 0.0000 -
691.55/693.78 c 694 1051 1 1 - 0.0000 -
701.62/703.85 c 704 1062 12 1 - 0.0000 -
708.80/711.07 c 711 1065 15 1 - 0.0000 -
716.78/719.06 c 719 1069 19 1 - 0.0000 -
726.35/728.61 c 729 1083 33 1 - 0.0000 -
732.33/734.64 c 735 1091 41 1 - 0.0000 -
737.41/739.73 c 740 1112 62 1 - 0.0000 -
748.08/750.44 c 750 1131 81 1 - 0.0000 -
753.57/755.97 c 756 1149 97 1 - 0.0000 -
759.85/762.23 c 762 1163 109 1 - 0.0000 -
764.93/767.31 c 767 1173 119 1 - 0.0000 -
771.72/774.16 c 774 1181 127 1 - 0.0000 -
778.69/781.11 c 781 1213 159 1 - 0.0000 -
784.77/787.20 c 787 1233 179 1 - 0.0000 -
790.45/792.90 c 793 1264 208 1 - 0.0000 -
796.84/799.33 c 799 1318 262 1 - 0.0000 -
805.52/808.08 c 808 1367 311 1 - 0.0000 -
810.99/813.55 c 814 1533 477 1 - 0.0000 -
816.18/818.72 c 819 1580 524 1 - 0.0000 -
821.36/823.95 c 824 1774 706 1 - 0.0000 -
827.55/830.14 c 830 1810 733 1 - 0.0000 -
834.32/836.96 c 837 1825 739 1 - 0.0000 -
841.90/844.59 c 845 1885 785 1 - 0.0000 -
846.98/849.69 c 850 2894 813 1 - 0.0000 -
852.06/854.78 c 855 3440 821 1 - 0.0000 -
857.25/859.94 c 860 4139 872 1 - 0.0000 -
862.24/864.99 c 865 5005 882 1 - 0.0000 -
867.32/870.05 c 870 5888 872 1 - 0.0000 -
872.31/875.10 c 875 6759 891 1 - 0.0000 -
877.39/880.16 c 880 7597 888 1 - 0.0000 -
882.47/885.23 c 885 8394 888 1 - 0.0000 -
887.55/890.30 c 890 9108 892 1 - 0.0000 -
892.54/895.38 c 895 9880 885 1 - 0.0000 -
897.62/900.45 c 900 10654 887 1 - 0.0000 -
902.70/905.55 c 906 11423 880 1 - 0.0000 -
907.79/910.60 c 911 12131 887 1 - 0.0000 -
912.77/915.67 c 916 12813 906 1 - 0.0000 -
917.86/920.72 c 921 13643 898 1 - 0.0000 -
922.84/925.79 c 926 14367 895 1 - 0.0000 -
927.92/930.89 c 931 14989 889 1 - 0.0000 -
933.00/935.97 c 936 15589 882 1 - 0.0000 -
938.09/941.04 c 941 16277 882 1 - 0.0000 -
946.17/949.12 c 949 16651 897 1 - 0.0000 -
951.16/954.17 c 954 17299 901 1 - 0.0000 -
956.23/959.24 c 959 17949 881 1 - 0.0000 -
961.22/964.30 c 964 18742 887 1 - 0.0000 -
966.30/969.39 c 969 19502 886 1 - 0.0000 -
971.38/974.49 c 974 20343 893 1 - 0.0000 -
976.46/979.58 c 980 21063 906 1 - 0.0000 -
981.65/984.70 c 985 21839 887 1 - 0.0000 -
986.63/989.74 c 990 22551 881 1 - 0.0000 -
991.71/994.82 c 995 23420 891 1 - 0.0000 -
996.70/999.88 c 1000 24236 890 1 - 0.0000 -
1001.79/1004.93 c 1005 24979 891 1 - 0.0000 -
1006.77/1009.98 c 1010 25740 889 1 - 0.0000 -
1011.85/1015.06 c 1015 26444 893 1 - 0.0000 -
1016.94/1020.11 c 1020 27152 894 1 - 0.0000 -
1021.93/1025.16 c 1025 27849 893 1 - 0.0000 -
1027.00/1030.23 c 1030 28574 892 1 - 0.0000 -
1032.08/1035.31 c 1035 29244 881 1 - 0.0000 -
1037.06/1040.36 c 1040 30001 890 1 - 0.0000 -
1042.15/1045.43 c 1045 30720 892 1 - 0.0000 -
1048.03/1051.30 c 1051 30879 899 1 - 0.0000 -
1053.01/1056.37 c 1056 31610 886 1 - 0.0000 -
1058.10/1061.46 c 1061 32287 892 1 - 0.0000 -
1063.18/1066.52 c 1067 32885 889 1 - 0.0000 -
1068.17/1071.58 c 1072 33610 882 1 - 0.0000 -
1073.26/1076.66 c 1077 34317 879 1 - 0.0000 -
1078.34/1081.72 c 1082 34993 899 1 - 0.0000 -
1083.32/1086.76 c 1087 35660 902 1 - 0.0000 -
1088.40/1091.83 c 1092 36452 921 1 - 0.0000 -
1093.38/1096.89 c 1097 37179 927 1 - 0.0000 -
1098.47/1101.94 c 1102 37871 920 1 - 0.0000 -
1103.56/1107.00 c 1107 38649 929 1 - 0.0000 -
1108.54/1112.08 c 1112 39328 927 1 - 0.0000 -
1113.63/1117.14 c 1117 40025 917 1 - 0.0000 -
1118.70/1122.20 c 1122 40652 915 1 - 0.0000 -
1123.78/1127.32 c 1127 41322 918 1 - 0.0000 -
1128.86/1132.40 c 1132 42043 899 1 - 0.0000 -
1133.85/1137.48 c 1137 42718 901 1 - 0.0000 -
1138.93/1142.54 c 1143 43417 900 1 - 0.0000 -
1144.02/1147.61 c 1148 44098 899 1 - 0.0000 -
1149.01/1152.66 c 1153 44676 905 1 - 0.0000 -
1154.09/1157.75 c 1158 45372 919 1 - 0.0000 -
1159.17/1162.81 c 1163 46015 922 1 - 0.0000 -
1164.15/1167.86 c 1168 46717 931 1 - 0.0000 -
1169.24/1172.92 c 1173 47391 921 1 - 0.0000 -
1174.32/1178.00 c 1178 48078 916 1 - 0.0000 -
1179.31/1183.09 c 1183 48734 919 1 - 0.0000 -
1184.40/1188.14 c 1188 49396 900 1 - 0.0000 -
1189.47/1193.21 c 1193 49948 906 1 - 0.0000 -
1194.45/1198.26 c 1198 50516 897 1 - 0.0000 -
1199.54/1203.31 c 1203 51123 903 1 - 0.0000 -
1204.52/1208.38 c 1208 51718 908 1 - 0.0000 -
1209.60/1213.44 c 1213 52477 923 1 - 0.0000 -
1214.69/1218.50 c 1218 53114 946 1 - 0.0000 -
1219.67/1223.56 c 1224 53871 949 1 - 0.0000 -
1224.76/1228.60 c 1229 54606 952 1 - 0.0000 -
1229.74/1233.66 c 1234 55355 951 1 - 0.0000 -
1234.82/1238.73 c 1239 56054 970 1 - 0.0000 -
1239.90/1243.80 c 1244 56616 965 1 - 0.0000 -
1244.88/1248.89 c 1249 57285 957 1 - 0.0000 -
1249.97/1253.95 c 1254 57970 975 1 - 0.0000 -
1255.06/1259.03 c 1259 58560 969 1 - 0.0000 -
1260.04/1264.09 c 1264 59175 982 1 - 0.0000 -
1265.13/1269.16 c 1269 59818 969 1 - 0.0000 -
1270.21/1274.25 c 1274 60393 961 1 - 0.0000 -
1275.19/1279.29 c 1279 61046 971 1 - 0.0000 -
1280.38/1284.40 c 1284 61634 961 1 - 0.0000 -
1285.36/1289.46 c 1289 62329 948 1 - 0.0000 -
1290.44/1294.56 c 1295 63051 957 1 - 0.0000 -
1295.53/1299.64 c 1300 63670 954 1 - 0.0000 -
1300.61/1304.71 c 1305 64213 969 1 - 0.0000 -
1305.59/1309.76 c 1310 64767 961 1 - 0.0000 -
1310.67/1314.83 c 1315 65359 957 1 - 0.0000 -
1315.75/1319.91 c 1320 65948 949 1 - 0.0000 -
1320.75/1324.97 c 1325 66590 950 1 - 0.0000 -
1325.83/1330.03 c 1330 67186 930 1 - 0.0000 -
1330.81/1335.09 c 1335 67807 929 1 - 0.0000 -
1335.89/1340.14 c 1340 68458 918 1 - 0.0000 -
1340.98/1345.20 c 1345 69066 922 1 - 0.0000 -
1345.96/1350.25 c 1350 69711 927 1 - 0.0000 -
1351.05/1355.31 c 1355 70340 944 1 - 0.0000 -
1356.02/1360.37 c 1360 70933 908 1 - 0.0000 -
1361.11/1365.44 c 1365 71651 930 1 - 0.0000 -
1366.19/1370.50 c 1371 72277 932 1 - 0.0000 -
1371.17/1375.58 c 1376 72931 933 1 - 0.0000 -
1376.26/1380.64 c 1381 73621 938 1 - 0.0000 -
1381.34/1385.70 c 1386 74278 945 1 - 0.0000 -
1386.33/1390.76 c 1391 74946 938 1 - 0.0000 -
1391.41/1395.83 c 1396 75549 920 1 - 0.0000 -
1396.40/1400.88 c 1401 76100 931 1 - 0.0000 -
1401.48/1405.93 c 1406 76750 937 1 - 0.0000 -
1406.57/1411.02 c 1411 77406 929 1 - 0.0000 -
1411.55/1416.06 c 1416 78023 928 1 - 0.0000 -
1416.64/1421.14 c 1421 78632 923 1 - 0.0000 -
1421.71/1426.21 c 1426 79265 927 1 - 0.0000 -
1426.70/1431.26 c 1431 79914 920 1 - 0.0000 -
1431.78/1436.34 c 1436 80597 915 1 - 0.0000 -
1436.76/1441.38 c 1441 81294 935 1 - 0.0000 -
1441.85/1446.47 c 1446 81903 921 1 - 0.0000 -
1446.93/1451.53 c 1452 82495 919 1 - 0.0000 -
1451.92/1456.59 c 1457 83103 925 1 - 0.0000 -
1457.00/1461.64 c 1462 83682 920 1 - 0.0000 -
1462.48/1467.17 c 1467 84037 923 1 - 0.0000 -
1467.56/1472.23 c 1472 84641 924 1 - 0.0000 -
1472.54/1477.29 c 1477 85240 921 1 - 0.0000 -
1477.63/1482.35 c 1482 85855 918 1 - 0.0000 -
1482.71/1487.42 c 1487 86447 919 1 - 0.0000 -
1487.70/1492.49 c 1492 87005 904 1 - 0.0000 -
1492.78/1497.54 c 1498 87604 905 1 - 0.0000 -
1497.86/1502.60 c 1503 88175 904 1 - 0.0000 -
1502.85/1507.68 c 1508 88795 908 1 - 0.0000 -
1507.93/1512.73 c 1513 89480 912 1 - 0.0000 -
1512.92/1517.79 c 1518 90043 899 1 - 0.0000 -
1518.00/1522.86 c 1523 90645 917 1 - 0.0000 -
1523.08/1527.93 c 1528 91247 903 1 - 0.0000 -
1528.07/1532.98 c 1533 91961 909 1 - 0.0000 -
1533.15/1538.07 c 1538 92518 908 1 - 0.0000 -
1538.24/1543.13 c 1543 93079 918 1 - 0.0000 -
1543.23/1548.18 c 1548 93689 900 1 - 0.0000 -
1548.30/1553.23 c 1553 94265 902 1 - 0.0000 -
1553.38/1558.33 c 1558 94834 913 1 - 0.0000 -
1558.37/1563.38 c 1563 95425 910 1 - 0.0000 -
1563.45/1568.45 c 1568 96004 918 1 - 0.0000 -
1568.53/1573.53 c 1574 96641 928 1 - 0.0000 -
1573.51/1578.59 c 1579 97212 920 1 - 0.0000 -
1578.60/1583.63 c 1584 97809 938 1 - 0.0000 -
1583.58/1588.69 c 1589 98364 947 1 - 0.0000 -
1588.67/1593.77 c 1594 98940 958 1 - 0.0000 -
1593.76/1598.83 c 1599 99514 949 1 - 0.0000 -
1598.84/1603.92 c 1604 100087 945 1 - 0.0000 -
1603.82/1608.97 c 1609 100648 935 1 - 0.0000 -
1608.91/1614.04 c 1614 101243 940 1 - 0.0000 -
1613.99/1619.13 c 1619 101818 939 1 - 0.0000 -
1619.07/1624.20 c 1624 102432 935 1 - 0.0000 -
1624.06/1629.25 c 1629 102951 932 1 - 0.0000 -
1629.14/1634.32 c 1634 103524 917 1 - 0.0000 -
1634.12/1639.37 c 1639 104082 898 1 - 0.0000 -
1639.20/1644.41 c 1644 104628 889 1 - 0.0000 -
1644.29/1649.50 c 1650 105168 889 1 - 0.0000 -
1649.27/1654.57 c 1655 105743 888 1 - 0.0000 -
1654.35/1659.66 c 1660 106367 889 1 - 0.0000 -
1659.44/1664.71 c 1665 106989 892 1 - 0.0000 -
1664.53/1669.82 c 1670 107696 894 1 - 0.0000 -
1669.50/1674.87 c 1675 108315 882 1 - 0.0000 -
1674.59/1679.95 c 1680 108864 874 1 - 0.0000 -
1679.68/1685.01 c 1685 109505 895 1 - 0.0000 -
1684.66/1690.09 c 1690 110038 889 1 - 0.0000 -
1689.75/1695.16 c 1695 110640 888 1 - 0.0000 -
1694.83/1700.23 c 1700 111338 893 1 - 0.0000 -
1699.91/1705.32 c 1705 111899 893 1 - 0.0000 -
1704.89/1710.38 c 1710 112522 891 1 - 0.0000 -
1709.98/1715.45 c 1715 113154 883 1 - 0.0000 -
1715.06/1720.55 c 1721 113888 887 1 - 0.0000 -
1720.14/1725.60 c 1726 114542 876 1 - 0.0000 -
1725.12/1730.64 c 1731 115159 879 1 - 0.0000 -
1730.11/1735.69 c 1736 115830 883 1 - 0.0000 -
1735.19/1740.75 c 1741 116444 882 1 - 0.0000 -
1740.28/1745.81 c 1746 117063 886 1 - 0.0000 -
1745.26/1750.86 c 1751 117715 883 1 - 0.0000 -
1750.34/1755.96 c 1756 118276 875 1 - 0.0000 -
1755.43/1761.03 c 1761 118863 883 1 - 0.0000 -
1760.42/1766.10 c 1766 119575 895 1 - 0.0000 -
1765.50/1771.19 c 1771 120179 891 1 - 0.0000 -
1770.58/1776.26 c 1776 120765 881 1 - 0.0000 -
1775.66/1781.34 c 1781 121366 879 1 - 0.0000 -
1780.65/1786.39 c 1786 122052 873 1 - 0.0000 -
1785.73/1791.45 c 1791 122681 889 1 - 0.0000 -
1790.81/1796.52 c 1797 123349 885 1 - 0.0000 -
1795.89/1801.60 c 1802 124013 879 1 - 0.0000 -
1800.87/1806.65 c 1807 124646 889 1 - 0.0000 -
1805.86/1811.69 c 1812 125321 894 1 - 0.0000 -
1810.94/1816.78 c 1817 125967 885 1 - 0.0000 -
1816.02/1821.82 c 1822 126656 876 1 - 0.0000 -
1821.01/1826.88 c 1827 127295 883 1 - 0.0000 -
1826.09/1831.95 c 1832 127919 879 1 - 0.0000 -
1831.18/1837.00 c 1837 128622 877 1 - 0.0000 -
1836.16/1842.05 c 1842 129281 884 1 - 0.0000 -
1841.24/1847.13 c 1847 129982 882 1 - 0.0000 -
1846.23/1852.19 c 1852 130645 892 1 - 0.0000 -
1851.31/1857.25 c 1857 131322 894 1 - 0.0000 -
1856.39/1862.30 c 1862 131995 893 1 - 0.0000 -
1861.48/1867.46 c 1867 132553 884 1 - 0.0000 -
1866.56/1872.51 c 1873 133237 901 1 - 0.0000 -
1871.54/1877.58 c 1878 133892 891 1 - 0.0000 -
1876.62/1882.62 c 1883 134567 895 1 - 0.0000 -
1881.61/1887.68 c 1888 135229 892 1 - 0.0000 -
1886.70/1892.75 c 1893 135884 892 1 - 0.0000 -
1891.78/1897.80 c 1898 136551 890 1 - 0.0000 -
1896.77/1902.86 c 1903 137142 898 1 - 0.0000 -
1901.85/1907.95 c 1908 137698 895 1 - 0.0000 -
1906.93/1913.04 c 1913 138292 901 1 - 0.0000 -
1912.02/1918.11 c 1918 138942 897 1 - 0.0000 -
1917.09/1923.20 c 1923 139529 893 1 - 0.0000 -
1922.18/1928.30 c 1928 140192 897 1 - 0.0000 -
1927.16/1933.35 c 1933 140917 892 1 - 0.0000 -
1932.25/1938.42 c 1938 141465 897 1 - 0.0000 -
1937.33/1943.51 c 1944 142071 891 1 - 0.0000 -
1942.31/1948.57 c 1949 142603 898 1 - 0.0000 -
1947.39/1953.64 c 1954 143272 899 1 - 0.0000 -
1952.48/1958.70 c 1959 143854 901 1 - 0.0000 -
1957.46/1963.78 c 1964 144451 898 1 - 0.0000 -
1962.55/1968.85 c 1969 145043 883 1 - 0.0000 -
1967.63/1973.94 c 1974 145583 879 1 - 0.0000 -
1972.71/1979.03 c 1979 146153 887 1 - 0.0000 -
1977.81/1984.11 c 1984 146716 883 1 - 0.0000 -
1982.79/1989.16 c 1989 147283 885 1 - 0.0000 -
1987.86/1994.24 c 1994 147859 879 1 - 0.0000 -
1992.85/1999.28 c 1999 148381 885 1 - 0.0000 -
1997.93/2004.39 c 2004 148994 898 1 - 0.0000 -
2003.02/2009.46 c 2009 149536 889 1 - 0.0000 -
2008.10/2014.53 c 2015 150062 899 1 - 0.0000 -
2013.18/2019.60 c 2020 150576 888 1 - 0.0000 -
2018.17/2024.67 c 2025 151107 900 1 - 0.0000 -
2023.25/2029.75 c 2030 151648 886 1 - 0.0000 -
2028.34/2034.81 c 2035 152272 889 1 - 0.0000 -
2033.42/2039.91 c 2040 152888 897 1 - 0.0000 -
2038.40/2044.97 c 2045 153541 899 1 - 0.0000 -
2043.48/2050.05 c 2050 154196 901 1 - 0.0000 -
2048.57/2055.12 c 2055 154851 909 1 - 0.0000 -
2053.56/2060.17 c 2060 155467 902 1 - 0.0000 -
2058.63/2065.23 c 2065 156071 902 1 - 0.0000 -
2063.62/2070.28 c 2070 156681 902 1 - 0.0000 -
2068.70/2075.37 c 2075 157247 896 1 - 0.0000 -
2073.78/2080.42 c 2080 157857 910 1 - 0.0000 -
2078.77/2085.48 c 2085 158432 911 1 - 0.0000 -
2083.85/2090.54 c 2091 159014 922 1 - 0.0000 -
2088.83/2095.59 c 2096 159655 921 1 - 0.0000 -
2094.01/2100.71 c 2101 160233 918 1 - 0.0000 -
2099.00/2105.75 c 2106 160872 920 1 - 0.0000 -
2104.08/2110.82 c 2111 161511 907 1 - 0.0000 -
2109.06/2115.89 c 2116 162160 909 1 - 0.0000 -
2114.14/2120.96 c 2121 162797 911 1 - 0.0000 -
2119.24/2126.04 c 2126 163396 915 1 - 0.0000 -
2124.32/2131.10 c 2131 164042 918 1 - 0.0000 -
2129.30/2136.15 c 2136 164696 920 1 - 0.0000 -
2134.37/2141.21 c 2141 165268 923 1 - 0.0000 -
2139.36/2146.28 c 2146 165774 918 1 - 0.0000 -
2144.44/2151.33 c 2151 166368 931 1 - 0.0000 -
2149.53/2156.41 c 2156 167050 925 1 - 0.0000 -
2154.51/2161.46 c 2161 167742 935 1 - 0.0000 -
2159.59/2166.53 c 2167 168252 939 1 - 0.0000 -
2164.57/2171.59 c 2172 168819 939 1 - 0.0000 -
2169.65/2176.65 c 2177 169377 939 1 - 0.0000 -
2174.64/2181.69 c 2182 170022 939 1 - 0.0000 -
2179.72/2186.75 c 2187 170652 957 1 - 0.0000 -
2184.81/2191.81 c 2192 171244 964 1 - 0.0000 -
2189.89/2196.90 c 2197 171892 969 1 - 0.0000 -
2194.88/2201.95 c 2202 172522 953 1 - 0.0000 -
2199.96/2207.05 c 2207 173178 955 1 - 0.0000 -
2204.95/2212.10 c 2212 173849 962 1 - 0.0000 -
2210.03/2217.15 c 2217 174501 945 1 - 0.0000 -
2215.10/2222.21 c 2222 175091 950 1 - 0.0000 -
2220.09/2227.29 c 2227 175661 955 1 - 0.0000 -
2225.17/2232.34 c 2232 176222 955 1 - 0.0000 -
2230.25/2237.40 c 2237 176851 953 1 - 0.0000 -
2235.24/2242.44 c 2242 177498 1007 1 - 0.0000 -
2240.32/2247.50 c 2248 178165 993 1 - 0.0000 -
2245.30/2252.55 c 2253 178799 975 1 - 0.0000 -
2250.38/2257.63 c 2258 179390 975 1 - 0.0000 -
2255.46/2262.70 c 2263 180002 994 1 - 0.0000 -
2260.45/2267.75 c 2268 180565 981 1 - 0.0000 -
2265.53/2272.82 c 2273 181195 985 1 - 0.0000 -
2270.52/2277.89 c 2278 181859 989 1 - 0.0000 -
2275.60/2282.94 c 2283 182494 964 1 - 0.0000 -
2280.68/2288.02 c 2288 183082 954 1 - 0.0000 -
2285.67/2293.08 c 2293 183672 953 1 - 0.0000 -
2290.75/2298.13 c 2298 184300 948 1 - 0.0000 -
2295.83/2303.26 c 2303 184905 955 1 - 0.0000 -
2300.91/2308.33 c 2308 185517 942 1 - 0.0000 -
2305.99/2313.40 c 2313 186130 934 1 - 0.0000 -
2310.97/2318.49 c 2318 186731 927 1 - 0.0000 -
2316.06/2323.54 c 2324 187299 926 1 - 0.0000 -
2321.04/2328.59 c 2329 187848 934 1 - 0.0000 -
2326.12/2333.64 c 2334 188359 944 1 - 0.0000 -
2331.21/2338.71 c 2339 188906 940 1 - 0.0000 -
2336.19/2343.79 c 2344 189425 942 1 - 0.0000 -
2341.27/2348.88 c 2349 189965 938 1 - 0.0000 -
2346.35/2353.98 c 2354 190534 925 1 - 0.0000 -
2351.44/2359.02 c 2359 191104 943 1 - 0.0000 -
2356.43/2364.09 c 2364 191653 936 1 - 0.0000 -
2361.51/2369.14 c 2369 192279 941 1 - 0.0000 -
2366.49/2374.19 c 2374 192887 931 1 - 0.0000 -
2371.57/2379.25 c 2379 193457 932 1 - 0.0000 -
2376.65/2384.32 c 2384 194062 944 1 - 0.0000 -
2381.74/2389.43 c 2389 194590 975 1 - 0.0000 -
2386.71/2394.49 c 2394 195116 975 1 - 0.0000 -
2391.80/2399.56 c 2400 195671 968 1 - 0.0000 -
2396.88/2404.69 c 2405 196271 985 1 - 0.0000 -
2401.96/2409.73 c 2410 196855 994 1 - 0.0000 -
2407.04/2414.80 c 2415 197466 997 1 - 0.0000 -
2412.03/2419.84 c 2420 198006 988 1 - 0.0000 -
2417.11/2424.94 c 2425 198500 1004 1 - 0.0000 -
2422.19/2430.01 c 2430 199119 1004 1 - 0.0000 -
2427.17/2435.07 c 2435 199719 1002 1 - 0.0000 -
2432.25/2440.12 c 2440 200276 993 1 - 0.0000 -
2437.24/2445.19 c 2445 200813 992 1 - 0.0000 -
2442.32/2450.28 c 2450 201389 981 1 - 0.0000 -
2447.40/2455.37 c 2455 201924 975 1 - 0.0000 -
2452.49/2460.43 c 2460 202506 962 1 - 0.0000 -
2457.47/2465.49 c 2466 203114 956 1 - 0.0000 -
2462.55/2470.55 c 2471 203700 962 1 - 0.0000 -
2467.62/2475.63 c 2476 204315 961 1 - 0.0000 -
2472.71/2480.73 c 2481 204894 953 1 - 0.0000 -
2477.69/2485.78 c 2486 205512 956 1 - 0.0000 -
2482.77/2490.87 c 2491 206132 945 1 - 0.0000 -
2487.86/2495.97 c 2496 206639 938 1 - 0.0000 -
2492.95/2501.03 c 2501 207221 918 1 - 0.0000 -
2497.93/2506.08 c 2506 207822 920 1 - 0.0000 -
2503.01/2511.14 c 2511 208377 912 1 - 0.0000 -
2508.09/2516.20 c 2516 209044 921 1 - 0.0000 -
2513.07/2521.26 c 2521 209659 926 1 - 0.0000 -
2518.15/2526.32 c 2526 210205 935 1 - 0.0000 -
2523.13/2531.39 c 2531 210791 949 1 - 0.0000 -
2528.22/2536.45 c 2536 211356 925 1 - 0.0000 -
2533.30/2541.54 c 2542 211952 933 1 - 0.0000 -
2538.38/2546.61 c 2547 212520 930 1 - 0.0000 -
2543.36/2551.66 c 2552 212989 930 1 - 0.0000 -
2548.45/2556.74 c 2557 213610 934 1 - 0.0000 -
2553.54/2561.80 c 2562 214153 930 1 - 0.0000 -
2558.52/2566.89 c 2567 214713 924 1 - 0.0000 -
2563.70/2572.00 c 2572 215263 925 1 - 0.0000 -
2568.68/2577.05 c 2577 215817 913 1 - 0.0000 -
2573.76/2582.11 c 2582 216357 916 1 - 0.0000 -
2578.75/2587.17 c 2587 216923 922 1 - 0.0000 -
2583.82/2592.28 c 2592 217485 920 1 - 0.0000 -
2588.91/2597.36 c 2597 218050 929 1 - 0.0000 -
2593.99/2602.44 c 2602 218610 934 1 - 0.0000 -
2599.08/2607.51 c 2608 219177 932 1 - 0.0000 -
2604.06/2612.57 c 2613 219778 924 1 - 0.0000 -
2609.14/2617.66 c 2618 220380 927 1 - 0.0000 -
2614.22/2622.74 c 2623 220918 933 1 - 0.0000 -
2619.30/2627.81 c 2628 221457 922 1 - 0.0000 -
2624.39/2632.91 c 2633 222085 933 1 - 0.0000 -
2629.38/2637.99 c 2638 222625 926 1 - 0.0000 -
2634.46/2643.07 c 2643 223176 925 1 - 0.0000 -
2639.55/2648.14 c 2648 223781 925 1 - 0.0000 -
2644.53/2653.19 c 2653 224339 934 1 - 0.0000 -
2649.61/2658.26 c 2658 224897 928 1 - 0.0000 -
2654.69/2663.34 c 2663 225518 935 1 - 0.0000 -
2659.77/2668.42 c 2668 226124 927 1 - 0.0000 -
2664.75/2673.49 c 2673 226719 925 1 - 0.0000 -
2669.84/2678.55 c 2679 227311 917 1 - 0.0000 -
2674.92/2683.64 c 2684 227934 923 1 - 0.0000 -
2680.00/2688.70 c 2689 228509 925 1 - 0.0000 -
2684.98/2693.78 c 2694 229133 918 1 - 0.0000 -
2690.07/2698.84 c 2699 229713 929 1 - 0.0000 -
2695.15/2703.94 c 2704 230253 924 1 - 0.0000 -
2700.24/2709.00 c 2709 230873 926 1 - 0.0000 -
2705.33/2714.14 c 2714 231318 920 1 - 0.0000 -
2710.40/2719.27 c 2719 231899 911 1 - 0.0000 -
2715.49/2724.34 c 2724 232472 930 1 - 0.0000 -
2720.57/2729.42 c 2729 232969 919 1 - 0.0000 -
2725.55/2734.49 c 2734 233556 929 1 - 0.0000 -
2730.64/2739.56 c 2740 234105 951 1 - 0.0000 -
2735.72/2744.62 c 2745 234648 948 1 - 0.0000 -
2740.71/2749.68 c 2750 235179 963 1 - 0.0000 -
2745.79/2754.77 c 2755 235679 961 1 - 0.0000 -
2750.87/2759.84 c 2760 236227 964 1 - 0.0000 -
2755.95/2764.91 c 2765 236755 947 1 - 0.0000 -
2760.93/2769.97 c 2770 237254 947 1 - 0.0000 -
2766.03/2775.03 c 2775 237728 939 1 - 0.0000 -
2771.11/2780.11 c 2780 238170 928 1 - 0.0000 -
2776.09/2785.19 c 2785 238678 929 1 - 0.0000 -
2781.27/2790.30 c 2790 239177 917 1 - 0.0000 -
2786.25/2795.35 c 2795 239695 920 1 - 0.0000 -
2791.34/2800.43 c 2800 240201 929 1 - 0.0000 -
2796.42/2805.55 c 2806 240716 928 1 - 0.0000 -
2801.50/2810.61 c 2811 241273 933 1 - 0.0000 -
2806.58/2815.70 c 2816 241834 930 1 - 0.0000 -
2811.57/2820.76 c 2821 242346 944 1 - 0.0000 -
2816.65/2825.82 c 2826 242817 950 1 - 0.0000 -
2821.63/2830.87 c 2831 243325 962 1 - 0.0000 -
2826.71/2835.95 c 2836 243788 945 1 - 0.0000 -
2831.80/2841.03 c 2841 244263 934 1 - 0.0000 -
2836.89/2846.12 c 2846 244741 925 1 - 0.0000 -
2841.96/2851.22 c 2851 245247 933 1 - 0.0000 -
2847.05/2856.34 c 2856 245708 930 1 - 0.0000 -
2852.12/2861.40 c 2861 246215 922 1 - 0.0000 -
2857.21/2866.55 c 2867 246706 916 1 - 0.0000 -
2862.29/2871.61 c 2872 247228 926 1 - 0.0000 -
2867.37/2876.74 c 2877 247747 925 1 - 0.0000 -
2872.45/2881.83 c 2882 248231 934 1 - 0.0000 -
2877.54/2886.91 c 2887 248693 924 1 - 0.0000 -
2882.52/2891.95 c 2892 249140 925 1 - 0.0000 -
2887.62/2897.03 c 2897 249576 922 1 - 0.0000 -
2892.69/2902.13 c 2902 250020 915 1 - 0.0000 -
2897.77/2907.23 c 2907 250570 919 1 - 0.0000 -
2902.85/2912.32 c 2912 251131 916 1 - 0.0000 -
2907.94/2917.40 c 2917 251625 917 1 - 0.0000 -
2912.92/2922.47 c 2922 252060 914 1 - 0.0000 -
2918.00/2927.52 c 2928 252637 923 1 - 0.0000 -
2922.98/2932.59 c 2933 253212 934 1 - 0.0000 -
2928.07/2937.66 c 2938 253769 925 1 - 0.0000 -
2933.15/2942.74 c 2943 254330 924 1 - 0.0000 -
2938.24/2947.82 c 2948 254844 922 1 - 0.0000 -
2943.22/2952.88 c 2953 255350 915 1 - 0.0000 -
2948.30/2957.97 c 2958 255907 915 1 - 0.0000 -
2953.39/2963.03 c 2963 256496 933 1 - 0.0000 -
2958.37/2968.10 c 2968 257126 942 1 - 0.0000 -
2963.46/2973.16 c 2973 257646 949 1 - 0.0000 -
2968.53/2978.24 c 2978 258209 945 1 - 0.0000 -
2973.61/2983.32 c 2983 258717 951 1 - 0.0000 -
2978.60/2988.37 c 2988 259249 946 1 - 0.0000 -
2983.68/2993.42 c 2993 259763 944 1 - 0.0000 -
2988.66/2998.48 c 2998 260274 933 1 - 0.0000 -
2993.74/3003.56 c 3004 260785 933 1 - 0.0000 -
2998.83/3008.60 c 3009 261359 939 1 - 0.0000 -
3003.81/3013.68 c 3014 261953 933 1 - 0.0000 -
3008.89/3018.74 c 3019 262524 936 1 - 0.0000 -
3013.97/3023.85 c 3024 263120 935 1 - 0.0000 -
3019.05/3028.91 c 3029 263666 958 1 - 0.0000 -
3024.04/3033.99 c 3034 264235 955 1 - 0.0000 -
3029.13/3039.06 c 3039 264806 951 1 - 0.0000 -
3034.21/3044.12 c 3044 265347 947 1 - 0.0000 -
3039.19/3049.19 c 3049 265936 942 1 - 0.0000 -
3044.27/3054.28 c 3054 266427 931 1 - 0.0000 -
3049.36/3059.35 c 3059 266953 926 1 - 0.0000 -
3054.44/3064.43 c 3064 267500 920 1 - 0.0000 -
3059.52/3069.53 c 3070 268056 937 1 - 0.0000 -
3064.50/3074.58 c 3075 268670 949 1 - 0.0000 -
3069.58/3079.64 c 3080 269271 946 1 - 0.0000 -
3074.56/3084.69 c 3085 269855 935 1 - 0.0000 -
3079.75/3089.80 c 3090 270437 954 1 - 0.0000 -
3084.74/3094.86 c 3095 270995 955 1 - 0.0000 -
3089.82/3099.94 c 3100 271638 950 1 - 0.0000 -
3094.91/3105.02 c 3105 272235 943 1 - 0.0000 -
3099.89/3110.08 c 3110 272836 956 1 - 0.0000 -
3104.97/3115.15 c 3115 273410 946 1 - 0.0000 -
3110.05/3120.20 c 3120 273952 962 1 - 0.0000 -
3115.13/3125.31 c 3125 274525 960 1 - 0.0000 -
3120.11/3130.36 c 3130 275145 961 1 - 0.0000 -
3125.19/3135.41 c 3135 275716 945 1 - 0.0000 -
3130.18/3140.46 c 3140 276242 955 1 - 0.0000 -
3135.27/3145.52 c 3146 276744 942 1 - 0.0000 -
3140.24/3150.59 c 3151 277294 953 1 - 0.0000 -
3145.33/3155.64 c 3156 277786 946 1 - 0.0000 -
3150.41/3160.71 c 3161 278315 943 1 - 0.0000 -
3155.40/3165.77 c 3166 278824 946 1 - 0.0000 -
3160.48/3170.88 c 3171 279325 941 1 - 0.0000 -
3165.56/3175.94 c 3176 279835 930 1 - 0.0000 -
3170.65/3181.01 c 3181 280397 930 1 - 0.0000 -
3175.63/3186.08 c 3186 280948 922 1 - 0.0000 -
3180.71/3191.17 c 3191 281510 924 1 - 0.0000 -
3185.80/3196.25 c 3196 282078 938 1 - 0.0000 -
3190.88/3201.30 c 3201 282691 934 1 - 0.0000 -
3195.86/3206.34 c 3206 283288 923 1 - 0.0000 -
3200.94/3211.43 c 3211 283894 930 1 - 0.0000 -
3205.93/3216.49 c 3216 284442 940 1 - 0.0000 -
3211.01/3221.58 c 3222 284959 938 1 - 0.0000 -
3216.09/3226.67 c 3227 285638 929 1 - 0.0000 -
3221.18/3231.76 c 3232 286249 934 1 - 0.0000 -
3226.26/3236.83 c 3237 286847 937 1 - 0.0000 -
3231.34/3241.90 c 3242 287492 941 1 - 0.0000 -
3236.32/3246.98 c 3247 288106 940 1 - 0.0000 -
3241.41/3252.02 c 3252 288628 937 1 - 0.0000 -
3246.50/3257.13 c 3257 289124 944 1 - 0.0000 -
3251.57/3262.29 c 3262 289647 941 1 - 0.0000 -
3256.65/3267.34 c 3267 290188 940 1 - 0.0000 -
3261.74/3272.41 c 3272 290757 939 1 - 0.0000 -
3266.82/3277.51 c 3278 291366 948 1 - 0.0000 -
3271.80/3282.57 c 3283 291912 948 1 - 0.0000 -
3276.89/3287.61 c 3288 292436 954 1 - 0.0000 -
3281.97/3292.71 c 3293 292939 960 1 - 0.0000 -
3286.95/3297.78 c 3298 293532 973 1 - 0.0000 -
3292.04/3302.89 c 3303 294062 986 1 - 0.0000 -
3297.12/3307.95 c 3308 294589 979 1 - 0.0000 -
3302.21/3313.02 c 3313 295124 990 1 - 0.0000 -
3307.19/3318.06 c 3318 295685 1004 1 - 0.0000 -
3312.27/3323.15 c 3323 296193 979 1 - 0.0000 -
3317.36/3328.23 c 3328 296680 958 1 - 0.0000 -
3322.44/3333.34 c 3333 297213 957 1 - 0.0000 -
3327.42/3338.39 c 3338 297765 954 1 - 0.0000 -
3332.50/3343.46 c 3343 298287 950 1 - 0.0000 -
3337.58/3348.56 c 3349 298839 941 1 - 0.0000 -
3342.67/3353.61 c 3354 299466 942 1 - 0.0000 -
3347.65/3358.68 c 3359 299984 933 1 - 0.0000 -
3352.74/3363.75 c 3364 300587 941 1 - 0.0000 -
3357.82/3368.82 c 3369 301203 949 1 - 0.0000 -
3362.80/3373.87 c 3374 301764 943 1 - 0.0000 -
3367.88/3378.94 c 3379 302411 931 1 - 0.0000 -
3372.97/3384.01 c 3384 303039 939 1 - 0.0000 -
3377.95/3389.06 c 3389 303601 934 1 - 0.0000 -
3383.04/3394.13 c 3394 304201 938 1 - 0.0000 -
3388.11/3399.20 c 3399 304785 934 1 - 0.0000 -
3393.09/3404.27 c 3404 305417 933 1 - 0.0000 -
3398.18/3409.33 c 3409 306014 937 1 - 0.0000 -
3403.16/3414.38 c 3414 306532 936 1 - 0.0000 -
3408.25/3419.44 c 3419 307127 935 1 - 0.0000 -
3413.33/3424.50 c 3424 307746 928 1 - 0.0000 -
3418.82/3430.08 c 3430 308176 935 1 - 0.0000 -
3423.90/3435.17 c 3435 308754 918 1 - 0.0000 -
3428.98/3440.24 c 3440 309342 913 1 - 0.0000 -
3434.06/3445.32 c 3445 309934 905 1 - 0.0000 -
3439.05/3450.38 c 3450 310565 906 1 - 0.0000 -
3444.13/3455.44 c 3455 311123 899 1 - 0.0000 -
3449.21/3460.50 c 3460 311695 895 1 - 0.0000 -
3454.29/3465.63 c 3466 312294 892 1 - 0.0000 -
3459.28/3470.69 c 3471 312910 893 1 - 0.0000 -
3464.36/3475.73 c 3476 313542 897 1 - 0.0000 -
3469.44/3480.84 c 3481 314128 894 1 - 0.0000 -
3474.53/3485.90 c 3486 314731 896 1 - 0.0000 -
3479.51/3490.96 c 3491 315383 903 1 - 0.0000 -
3484.60/3496.05 c 3496 315976 906 1 - 0.0000 -
3489.68/3501.12 c 3501 316638 896 1 - 0.0000 -
3494.76/3506.22 c 3506 317230 888 1 - 0.0000 -
3499.84/3511.32 c 3511 317873 890 1 - 0.0000 -
3504.82/3516.38 c 3516 318533 894 1 - 0.0000 -
3509.91/3521.46 c 3521 319195 893 1 - 0.0000 -
3514.99/3526.55 c 3527 319760 886 1 - 0.0000 -
3520.07/3531.60 c 3532 320396 886 1 - 0.0000 -
3525.06/3536.66 c 3537 321029 888 1 - 0.0000 -
3530.14/3541.72 c 3542 321657 897 1 - 0.0000 -
3535.13/3546.79 c 3547 322198 893 1 - 0.0000 -
3540.31/3551.91 c 3552 322732 892 1 - 0.0000 -
3545.29/3556.95 c 3557 323277 907 1 - 0.0000 -
3550.37/3562.03 c 3562 323848 902 1 - 0.0000 -
3555.36/3567.10 c 3567 324440 903 1 - 0.0000 -
3560.45/3572.15 c 3572 325009 915 1 - 0.0000 -
3565.52/3577.20 c 3577 325576 920 1 - 0.0000 -
3570.51/3582.29 c 3582 326126 924 1 - 0.0000 -
3575.59/3587.39 c 3587 326633 928 1 - 0.0000 -
3580.67/3592.49 c 3592 327193 936 1 - 0.0000 -
3585.76/3597.59 c 3598 327746 935 1 - 0.0000 -
3588.26/3600.08 c SCIP Status : c solving was interrupted [hard time limit reached]
3588.26/3600.08 c Total Time : 3600.0700
3588.26/3600.08 c solving : 3600.0700
3588.26/3600.08 c presolving : 0.2659 (included in solving)
3588.26/3600.08 c B&B Tree :
3588.26/3600.08 c nodes (total) : 1
3588.26/3600.08 c Solution :
3588.26/3600.08 c Solutions found : 0
3588.26/3600.08 c Primal Bound : -
3588.26/3600.08 c Dual Bound : +0.00000000000000e+00
3588.26/3600.08 c Gap : -
3588.26/3600.08 s UNKNOWN
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63931 MiB (60352 MiB free)
memory of node 1: 64510 MiB (59539 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4450540-1721412346/watcher-4450540-1721412346 -o /tmp/evaluation-result-4450540-1721412346/solver-4450540-1721412346 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1721410598-1040498 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4450540-1721412346.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
solver pid=1041829, runsolver pid=1041826
Current StackSize limit: 8192 KiB
[startup+0.100087 s]*
/proc/loadavg: 4.15 4.10 3.73 5/259 1041830
/proc/meminfo: memFree=122734992/131524600 swapFree=131071996/131071996
[pid=1041829] ppid=1041826 vsize=54792 memory=43704 CPUtime=0.1 cores=0,2
/proc/1041829/stat : 1041829 (fscip) R 1041826 1041829 1040488 0 -1 4194304 9877 0 0 0 8 2 0 0 20 0 1 0 193404274 56107008 10926 134679101440 4194304 16613245 140720320867968 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 29560832 140720320869395 140720320869511 140720320869511 140720320876528 0
/proc/1041829/statm: 13698 10926 2702 3032 0 10098 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 54792 KiB
Current children cumulated memory: 43704 KiB
[startup+0.205904 s]*
/proc/loadavg: 4.15 4.10 3.73 5/259 1041830
/proc/meminfo: memFree=122730752/131524600 swapFree=131071996/131071996
[pid=1041829] ppid=1041826 vsize=59268 memory=48512 CPUtime=0.2 cores=0,2
/proc/1041829/stat : 1041829 (fscip) R 1041826 1041829 1040488 0 -1 4194304 11016 0 0 0 18 2 0 0 20 0 1 0 193404274 60690432 12128 134679101440 4194304 16613245 140720320867968 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 29560832 140720320869395 140720320869511 140720320869511 140720320876528 0
/proc/1041829/statm: 14817 12128 2718 3032 0 11217 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 59268 KiB
Current children cumulated memory: 48512 KiB
[startup+0.305766 s]*
/proc/loadavg: 4.15 4.10 3.73 5/260 1041831
/proc/meminfo: memFree=122723048/131524600 swapFree=131071996/131071996
[pid=1041829] ppid=1041826 vsize=149192 memory=61804 CPUtime=0.3 cores=0,2
/proc/1041829/stat : 1041829 (fscip) R 1041826 1041829 1040488 0 -1 4194304 14148 0 0 0 28 2 0 0 20 0 2 0 193404274 152772608 15451 134679101440 4194304 16613245 140720320867968 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 29560832 140720320869395 140720320869511 140720320869511 140720320876528 0
/proc/1041829/statm: 37298 15451 2766 3032 0 17346 0
[pid=1041829/tid=1041831] ppid=1041826 vsize=149192 memory=-7740101692125833567 CPUtime=0 cores=0,2
/proc/1041829/task/1041831/stat : 1041831 (fscip) S 1041826 1041829 1040488 0 -1 1077936192 1 0 0 0 0 0 0 0 20 0 2 0 193404305 152772608 15451 134679101440 4194304 16613245 140720320867968 0 0 0 0 0 2 0 0 0 -1 2 0 0 0 0 0 18822208 18930672 29560832 140720320869395 140720320869511 140720320869511 140720320876528 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 149192 KiB
Current children cumulated memory: 61804 KiB
[startup+0.701132 s]
/proc/loadavg: 4.15 4.10 3.73 5/261 1041832
/proc/meminfo: memFree=122685412/131524600 swapFree=131071996/131071996
[pid=1041829] ppid=1041826 vsize=153164 memory=117756 CPUtime=0.67 cores=0,2
/proc/1041829/stat : 1041829 (fscip) S 1041826 1041829 1040488 0 -1 1077936128 29507 0 0 0 63 4 0 0 20 0 3 0 193404274 156839936 29439 134679101440 4194304 16613245 140720320867968 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 29560832 140720320869395 140720320869511 140720320869511 140720320876528 0
/proc/1041829/statm: 38291 29439 2926 3032 0 33135 0
[pid=1041829/tid=1041831] ppid=1041826 vsize=153164 memory=15976 CPUtime=0.35 cores=0,2
/proc/1041829/task/1041831/stat : 1041831 (fscip) R 1041826 1041829 1040488 0 -1 4194368 14353 0 0 0 34 1 0 0 20 0 3 0 193404305 156839936 29439 134679101440 4194304 16613245 140720320867968 0 0 0 0 0 2 0 0 0 -1 2 0 0 0 0 0 18822208 18930672 29560832 140720320869395 140720320869511 140720320869511 140720320876528 0
[pid=1041829/tid=1041832] ppid=1041826 vsize=153164 memory=257 CPUtime=0 cores=0,2
/proc/1041829/task/1041832/stat : 1041832 (fscip) S 1041826 1041829 1040488 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 193404308 156839936 29439 134679101440 4194304 16613245 140720320867968 0 0 0 0 0 2 1 0 0 -1 0 0 0 0 0 0 18822208 18930672 29560832 140720320869395 140720320869511 140720320869511 140720320876528 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 153164 KiB
Current children cumulated memory: 117756 KiB
[startup+1.50111 s]
/proc/loadavg: 4.15 4.10 3.73 5/261 1041832
/proc/meminfo: memFree=122626820/131524600 swapFree=131071996/131071996
[pid=1041829] ppid=1041826 vsize=218700 memory=152108 CPUtime=1.47 cores=0,2
/proc/1041829/stat : 1041829 (fscip) S 1041826 1041829 1040488 0 -1 1077936128 42177 0 0 0 141 6 0 0 20 0 3 0 193404274 223948800 38027 134679101440 4194304 16613245 140720320867968 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 29560832 140720320869395 140720320869511 140720320869511 140720320876528 0
/proc/1041829/statm: 54675 38027 2942 3032 0 42235 0
[pid=1041829/tid=1041831] ppid=1041826 vsize=218700 memory=257 CPUtime=1.15 cores=0,2
/proc/1041829/task/1041831/stat : 1041831 (fscip) R 1041826 1041829 1040488 0 -1 4194368 27023 0 0 0 112 3 0 0 20 0 3 0 193404305 223948800 38027 134679101440 4194304 16613245 140720320867968 0 0 0 0 0 2 0 0 0 -1 2 0 0 0 0 0 18822208 18930672 29560832 140720320869395 140720320869511 140720320869511 140720320876528 0
[pid=1041829/tid=1041832] ppid=1041826 vsize=218700 memory=0 CPUtime=0 cores=0,2
/proc/1041829/task/1041832/stat : 1041832 (fscip) S 1041826 1041829 1040488 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 193404308 223948800 38027 134679101440 4194304 16613245 140720320867968 0 0 0 0 0 2 1 0 0 -1 0 0 0 0 0 0 18822208 18930672 29560832 140720320869395 140720320869511 140720320869511 140720320876528 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 218700 KiB
Current children cumulated memory: 152108 KiB
[startup+3.10611 s]
/proc/loadavg: 4.15 4.10 3.73 5/261 1041832
/proc/meminfo: memFree=122626120/131524600 swapFree=131071996/131071996
[pid=1041829] ppid=1041826 vsize=218700 memory=152144 CPUtime=3.06 cores=0,2
/proc/1041829/stat : 1041829 (fscip) S 1041826 1041829 1040488 0 -1 1077936128 46750 0 0 0 300 6 0 0 20 0 3 0 193404274 223948800 38036 134679101440 4194304 16613245 140720320867968 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 29560832 140720320869395 140720320869511 140720320869511 140720320876528 0
/proc/1041829/statm: 54675 38036 2942 3032 0 42235 0
[pid=1041829/tid=1041831] ppid=1041826 vsize=218700 memory=0 CPUtime=2.74 cores=0,2
/proc/1041829/task/1041831/stat : 1041831 (fscip) R 1041826 1041829 1040488 0 -1 4194368 31594 0 0 0 271 3 0 0 20 0 3 0 193404305 223948800 38036 134679101440 4194304 16613245 140720320867968 0 0 0 0 0 2 0 0 0 -1 2 0 0 0 0 0 18822208 18930672 29560832 140720320869395 140720320869511 140720320869511 140720320876528 0
[pid=1041829/tid=1041832] ppid=1041826 vsize=218700 memory=0 CPUtime=0 cores=0,2
/proc/1041829/task/1041832/stat : 1041832 (fscip) S 1041826 1041829 1040488 0 -1 1077936192 2 0 0 0 0 0 0 0 20 0 3 0 193404308 223948800 38036 134679101440 4194304 16613245 140720320867968 0 0 0 0 0 2 1 0 0 -1 0 0 0 0 0 0 18822208 18930672 29560832 140720320869395 140720320869511 140720320869511 140720320876528 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 218700 KiB
Current children cumulated memory: 152144 KiB
[startup+6.30113 s]
/proc/loadavg: 4.14 4.10 3.73 5/261 1041832
/proc/meminfo: memFree=122625672/131524600 swapFree=131071996/131071996
[pid=1041829] ppid=1041826 vsize=218700 memory=152332 CPUtime=6.23 cores=0,2
/proc/1041829/stat : 1041829 (fscip) S 1041826 1041829 1040488 0 -1 1077936128 56114 0 0 0 617 6 0 0 20 0 3 0 193404274 223948800 38083 134679101440 4194304 16613245 140720320867968 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 29560832 140720320869395 140720320869511 140720320869511 140720320876528 0
/proc/1041829/statm: 54675 38083 2942 3032 0 42235 0
[pid=1041829/tid=1041831] ppid=1041826 vsize=218700 memory=0 CPUtime=5.91 cores=0,2
/proc/1041829/task/1041831/stat : 1041831 (fscip) R 1041826 1041829 1040488 0 -1 4194368 40958 0 0 0 588 3 0 0 20 0 3 0 193404305 223948800 38083 134679101440 4194304 16613245 140720320867968 0 0 0 0 0 2 0 0 0 -1 2 0 0 0 0 0 18822208 18930672 29560832 140720320869395 140720320869511 140720320869511 140720320876528 0
[pid=1041829/tid=1041832] ppid=1041826 vsize=218700 memory=-7664417297291370111 CPUtime=0 cores=0,2
/proc/1041829/task/1041832/stat : 1041832 (fscip) S 1041826 1041829 1040488 0 -1 1077936192 2 0 0 0 0 0 0 0 20 0 3 0 193404308 223948800 38083 134679101440 4194304 16613245 140720320867968 0 0 0 0 0 2 1 0 0 -1 0 0 0 0 0 0 18822208 18930672 29560832 140720320869395 140720320869511 140720320869511 140720320876528 0
Current children cumulated CPU time: 6.23 s
Current children cumulated vsize: 218700 KiB
Current children cumulated memory: 152332 KiB
[startup+12.7002 s]
/proc/loadavg: 4.12 4.10 3.73 5/261 1041833
/proc/meminfo: memFree=122625584/131524600 swapFree=131071996/131071996
[pid=1041829] ppid=1041826 vsize=218700 memory=152540 CPUtime=12.6 cores=0,2
/proc/1041829/stat : 1041829 (fscip) S 1041826 1041829 1040488 0 -1 1077936128 77086 0 0 0 1254 6 0 0 20 0 3 0 193404274 223948800 38135 134679101440 4194304 16613245 140720320867968 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 29560832 140720320869395 140720320869511 140720320869511 140720320876528 0
/proc/1041829/statm: 54675 38135 2942 3032 0 42235 0
[pid=1041829/tid=1041831] ppid=1041826 vsize=218700 memory=-7664417297291370111 CPUtime=12.28 cores=0,2
/proc/1041829/task/1041831/stat : 1041831 (fscip) R 1041826 1041829 1040488 0 -1 4194368 61917 0 0 0 1225 3 0 0 20 0 3 0 193404305 223948800 38135 134679101440 4194304 16613245 140720320867968 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 29560832 140720320869395 140720320869511 140720320869511 140720320876528 0
[pid=1041829/tid=1041832] ppid=1041826 vsize=218700 memory=152332 CPUtime=0 cores=0,2
/proc/1041829/task/1041832/stat : 1041832 (fscip) S 1041826 1041829 1040488 0 -1 1077936192 15 0 0 0 0 0 0 0 20 0 3 0 193404308 223948800 38135 134679101440 4194304 16613245 140720320867968 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 29560832 140720320869395 140720320869511 140720320869511 140720320876528 0
Current children cumulated CPU time: 12.6 s
Current children cumulated vsize: 218700 KiB
Current children cumulated memory: 152540 KiB
[startup+25.5002 s]
/proc/loadavg: 4.10 4.09 3.73 5/261 1041835
/proc/meminfo: memFree=122622236/131524600 swapFree=131071996/131071996
[pid=1041829] ppid=1041826 vsize=218700 memory=152880 CPUtime=25.36 cores=0,2
/proc/1041829/stat : 1041829 (fscip) S 1041826 1041829 1040488 0 -1 1077936128 100425 0 0 0 2528 8 0 0 20 0 3 0 193404274 223948800 38220 134679101440 4194304 16613245 140720320867968 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 29560832 140720320869395 140720320869511 140720320869511 140720320876528 0
/proc/1041829/statm: 54675 38220 2942 3032 0 42235 0
[pid=1041829/tid=1041831] ppid=1041826 vsize=218700 memory=152876 CPUtime=25.04 cores=0,2
/proc/1041829/task/1041831/stat : 1041831 (fscip) R 1041826 1041829 1040488 0 -1 4194368 85248 0 0 0 2499 5 0 0 20 0 3 0 193404305 223948800 38220 134679101440 4194304 16613245 140720320867968 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 29560832 140720320869395 140720320869511 140720320869511 140720320876528 0
[pid=1041829/tid=1041832] ppid=1041826 vsize=218700 memory=5492 CPUtime=0 cores=0,2
/proc/1041829/task/1041832/stat : 1041832 (fscip) S 1041826 1041829 1040488 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 3 0 193404308 223948800 38220 134679101440 4194304 16613245 140720320867968 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 29560832 140720320869395 140720320869511 140720320869511 140720320876528 0
Current children cumulated CPU time: 25.36 s
Current children cumulated vsize: 218700 KiB
Current children cumulated memory: 152880 KiB
[startup+51.1056 s]
/proc/loadavg: 4.06 4.08 3.74 5/259 1041839
/proc/meminfo: memFree=122598136/131524600 swapFree=131071996/131071996
[pid=1041829] ppid=1041826 vsize=218700 memory=172248 CPUtime=50.88 cores=0,2
/proc/1041829/stat : 1041829 (fscip) S 1041826 1041829 1040488 0 -1 1077936128 138597 0 0 0 5078 10 0 0 20 0 3 0 193404274 223948800 43062 134679101440 4194304 16613245 140720320867968 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 29560832 140720320869395 140720320869511 140720320869511 140720320876528 0
/proc/1041829/statm: 54675 43062 2942 3032 0 48681 0
[pid=1041829/tid=1041831] ppid=1041826 vsize=218700 memory=172248 CPUtime=50.56 cores=0,2
/proc/1041829/task/1041831/stat : 1041831 (fscip) R 1041826 1041829 1040488 0 -1 4194368 123365 0 0 0 5049 7 0 0 20 0 3 0 193404305 223948800 43062 134679101440 4194304 16613245 140720320867968 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 29560832 140720320869395 140720320869511 140720320869511 140720320876528 0
[pid=1041829/tid=1041832] ppid=1041826 vsize=218700 memory=12340 CPUtime=0 cores=0,2
/proc/1041829/task/1041832/stat : 1041832 (fscip) S 1041826 1041829 1040488 0 -1 1077936192 37 0 0 0 0 0 0 0 20 0 3 0 193404308 223948800 43062 134679101440 4194304 16613245 140720320867968 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 29560832 140720320869395 140720320869511 140720320869511 140720320876528 0
Current children cumulated CPU time: 50.88 s
Current children cumulated vsize: 218700 KiB
Current children cumulated memory: 172248 KiB
[startup+102.3 s]
/proc/loadavg: 4.49 4.18 3.79 5/258 1041849
/proc/meminfo: memFree=122591800/131524600 swapFree=131071996/131071996
[pid=1041829] ppid=1041826 vsize=218700 memory=172440 CPUtime=101.93 cores=0,2
/proc/1041829/stat : 1041829 (fscip) S 1041826 1041829 1040488 0 -1 1077936128 161443 0 0 0 10182 11 0 0 20 0 3 0 193404274 223948800 43110 134679101440 4194304 16613245 140720320867968 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 29560832 140720320869395 140720320869511 140720320869511 140720320876528 0
/proc/1041829/statm: 54675 43110 2990 3032 0 48681 0
[pid=1041829/tid=1041831] ppid=1041826 vsize=218700 memory=172440 CPUtime=101.61 cores=0,2
/proc/1041829/task/1041831/stat : 1041831 (fscip) R 1041826 1041829 1040488 0 -1 4194368 146138 0 0 0 10153 8 0 0 20 0 3 0 193404305 223948800 43110 134679101440 4194304 16613245 140720320867968 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 29560832 140720320869395 140720320869511 140720320869511 140720320876528 0
[pid=1041829/tid=1041832] ppid=1041826 vsize=218700 memory=172440 CPUtime=0 cores=0,2
/proc/1041829/task/1041832/stat : 1041832 (fscip) S 1041826 1041829 1040488 0 -1 1077936192 49 0 0 0 0 0 0 0 20 0 3 0 193404308 223948800 43110 134679101440 4194304 16613245 140720320867968 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 29560832 140720320869395 140720320869511 140720320869511 140720320876528 0
Current children cumulated CPU time: 101.93 s
Current children cumulated vsize: 218700 KiB
Current children cumulated memory: 172440 KiB
[startup+162.3 s]
/proc/loadavg: 4.22 4.16 3.82 5/258 1041859
/proc/meminfo: memFree=122577820/131524600 swapFree=131071996/131071996
[pid=1041829] ppid=1041826 vsize=218700 memory=172440 CPUtime=161.75 cores=0,2
/proc/1041829/stat : 1041829 (fscip) S 1041826 1041829 1040488 0 -1 1077936128 166164 0 0 0 16164 11 0 0 20 0 3 0 193404274 223948800 43110 134679101440 4194304 16613245 140720320867968 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 29560832 140720320869395 140720320869511 140720320869511 140720320876528 0
/proc/1041829/statm: 54675 43110 2990 3032 0 48681 0
[pid=1041829/tid=1041831] ppid=1041826 vsize=218700 memory=172440 CPUtime=161.43 cores=0,2
/proc/1041829/task/1041831/stat : 1041831 (fscip) R 1041826 1041829 1040488 0 -1 4194368 150847 0 0 0 16135 8 0 0 20 0 3 0 193404305 223948800 43110 134679101440 4194304 16613245 140720320867968 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 29560832 140720320869395 140720320869511 140720320869511 140720320876528 0
[pid=1041829/tid=1041832] ppid=1041826 vsize=218700 memory=5492 CPUtime=0 cores=0,2
/proc/1041829/task/1041832/stat : 1041832 (fscip) S 1041826 1041829 1040488 0 -1 1077936192 61 0 0 0 0 0 0 0 20 0 3 0 193404308 223948800 43110 134679101440 4194304 16613245 140720320867968 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 29560832 140720320869395 140720320869511 140720320869511 140720320876528 0
Current children cumulated CPU time: 161.75 s
Current children cumulated vsize: 218700 KiB
Current children cumulated memory: 172440 KiB
[startup+222.3 s]
/proc/loadavg: 4.25 4.18 3.85 5/259 1041870
/proc/meminfo: memFree=122546508/131524600 swapFree=131071996/131071996
[pid=1041829] ppid=1041826 vsize=218700 memory=172440 CPUtime=221.58 cores=0,2
/proc/1041829/stat : 1041829 (fscip) S 1041826 1041829 1040488 0 -1 1077936128 175113 0 0 0 22146 12 0 0 20 0 3 0 193404274 223948800 43110 134679101440 4194304 16613245 140720320867968 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 29560832 140720320869395 140720320869511 140720320869511 140720320876528 0
/proc/1041829/statm: 54675 43110 2990 3032 0 48681 0
[pid=1041829/tid=1041831] ppid=1041826 vsize=218700 memory=12340 CPUtime=221.26 cores=0,2
/proc/1041829/task/1041831/stat : 1041831 (fscip) R 1041826 1041829 1040488 0 -1 4194368 159784 0 0 0 22117 9 0 0 20 0 3 0 193404305 223948800 43110 134679101440 4194304 16613245 140720320867968 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 29560832 140720320869395 140720320869511 140720320869511 140720320876528 0
################
# More data... #
################
/proc/1041829/statm: 104427 98002 3310 3032 0 99671 0
[pid=1041829/tid=1041831] ppid=1041826 vsize=417708 memory=392008 CPUtime=3390.7 cores=0,2
/proc/1041829/task/1041831/stat : 1041831 (fscip) R 1041826 1041829 1040488 0 -1 4194368 759217 0 0 0 338920 150 0 0 20 0 3 0 193404305 427732992 98002 134679101440 4194304 16613245 140720320867968 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 29560832 140720320869395 140720320869511 140720320869511 140720320876528 0
[pid=1041829/tid=1041832] ppid=1041826 vsize=417708 memory=392008 CPUtime=0.02 cores=0,2
/proc/1041829/task/1041832/stat : 1041832 (fscip) S 1041826 1041829 1040488 0 -1 1077936192 207 0 0 0 0 2 0 0 20 0 3 0 193404308 427732992 98002 134679101440 4194304 16613245 140720320867968 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 29560832 140720320869395 140720320869511 140720320869511 140720320876528 0
Current children cumulated CPU time: 3391.2 s
Current children cumulated vsize: 417708 KiB
Current children cumulated memory: 392008 KiB
[startup+3462.3 s]
/proc/loadavg: 4.16 4.15 4.11 5/265 1043777
/proc/meminfo: memFree=124182196/131524600 swapFree=131071996/131071996
[pid=1041829] ppid=1041826 vsize=417708 memory=389040 CPUtime=3451.01 cores=0,2
/proc/1041829/stat : 1041829 (fscip) S 1041826 1041829 1040488 0 -1 1077936128 780074 0 0 0 344940 161 0 0 20 0 3 0 193404274 427732992 97260 134679101440 4194304 16613245 140720320867968 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 29560832 140720320869395 140720320869511 140720320869511 140720320876528 0
/proc/1041829/statm: 104427 97260 3310 3032 0 99671 0
[pid=1041829/tid=1041831] ppid=1041826 vsize=417708 memory=12340 CPUtime=3450.5 cores=0,2
/proc/1041829/task/1041831/stat : 1041831 (fscip) R 1041826 1041829 1040488 0 -1 4194368 763695 0 0 0 344898 152 0 0 20 0 3 0 193404305 427732992 97260 134679101440 4194304 16613245 140720320867968 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 29560832 140720320869395 140720320869511 140720320869511 140720320876528 0
[pid=1041829/tid=1041832] ppid=1041826 vsize=417708 memory=12340 CPUtime=0.02 cores=0,2
/proc/1041829/task/1041832/stat : 1041832 (fscip) S 1041826 1041829 1040488 0 -1 1077936192 209 0 0 0 0 2 0 0 20 0 3 0 193404308 427732992 97260 134679101440 4194304 16613245 140720320867968 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 29560832 140720320869395 140720320869511 140720320869511 140720320876528 0
Current children cumulated CPU time: 3451.01 s
Current children cumulated vsize: 417708 KiB
Current children cumulated memory: 389040 KiB
[startup+3522.3 s]
/proc/loadavg: 4.10 4.14 4.10 5/263 1043788
/proc/meminfo: memFree=124181580/131524600 swapFree=131071996/131071996
[pid=1041829] ppid=1041826 vsize=417708 memory=389040 CPUtime=3510.81 cores=0,2
/proc/1041829/stat : 1041829 (fscip) S 1041826 1041829 1040488 0 -1 1077936128 781164 0 0 0 350918 163 0 0 20 0 3 0 193404274 427732992 97260 134679101440 4194304 16613245 140720320867968 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 29560832 140720320869395 140720320869511 140720320869511 140720320876528 0
/proc/1041829/statm: 104427 97260 3310 3032 0 99671 0
[pid=1041829/tid=1041831] ppid=1041826 vsize=417708 memory=12340 CPUtime=3510.3 cores=0,2
/proc/1041829/task/1041831/stat : 1041831 (fscip) R 1041826 1041829 1040488 0 -1 4194368 764767 0 0 0 350876 154 0 0 20 0 3 0 193404305 427732992 97260 134679101440 4194304 16613245 140720320867968 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 29560832 140720320869395 140720320869511 140720320869511 140720320876528 0
[pid=1041829/tid=1041832] ppid=1041826 vsize=417708 memory=389040 CPUtime=0.03 cores=0,2
/proc/1041829/task/1041832/stat : 1041832 (fscip) S 1041826 1041829 1040488 0 -1 1077936192 211 0 0 0 1 2 0 0 20 0 3 0 193404308 427732992 97260 134679101440 4194304 16613245 140720320867968 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 29560832 140720320869395 140720320869511 140720320869511 140720320876528 0
Current children cumulated CPU time: 3510.81 s
Current children cumulated vsize: 417708 KiB
Current children cumulated memory: 389040 KiB
[startup+3582.3 s]
/proc/loadavg: 4.10 4.13 4.10 5/263 1043798
/proc/meminfo: memFree=124181084/131524600 swapFree=131071996/131071996
[pid=1041829] ppid=1041826 vsize=417708 memory=389040 CPUtime=3570.61 cores=0,2
/proc/1041829/stat : 1041829 (fscip) S 1041826 1041829 1040488 0 -1 1077936128 782207 0 0 0 356896 165 0 0 20 0 3 0 193404274 427732992 97260 134679101440 4194304 16613245 140720320867968 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 29560832 140720320869395 140720320869511 140720320869511 140720320876528 0
/proc/1041829/statm: 104427 97260 3310 3032 0 99671 0
[pid=1041829/tid=1041831] ppid=1041826 vsize=417708 memory=389040 CPUtime=3570.1 cores=0,2
/proc/1041829/task/1041831/stat : 1041831 (fscip) R 1041826 1041829 1040488 0 -1 4194368 765792 0 0 0 356854 156 0 0 20 0 3 0 193404305 427732992 97260 134679101440 4194304 16613245 140720320867968 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 29560832 140720320869395 140720320869511 140720320869511 140720320876528 0
[pid=1041829/tid=1041832] ppid=1041826 vsize=417708 memory=12312 CPUtime=0.03 cores=0,2
/proc/1041829/task/1041832/stat : 1041832 (fscip) S 1041826 1041829 1040488 0 -1 1077936192 213 0 0 0 1 2 0 0 20 0 3 0 193404308 427732992 97260 134679101440 4194304 16613245 140720320867968 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 29560832 140720320869395 140720320869511 140720320869511 140720320876528 0
Current children cumulated CPU time: 3570.61 s
Current children cumulated vsize: 417708 KiB
Current children cumulated memory: 389040 KiB
[startup+3600.09 s]
# the end of solver process 1041829 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3586.68 s, system=1.6645 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.10 4.13 4.10 5/263 1043798
/proc/meminfo: memFree=124181056/131524600 swapFree=131071996/131071996
[pid=1041829] ppid=1041826 vsize=417708 memory=389040 CPUtime=3572.31 cores=0,2
/proc/1041829/stat : 1041829 (fscip) S 1041826 1041829 1040488 0 -1 1077936128 782216 0 0 0 357066 165 0 0 20 0 3 0 193404274 427732992 97260 134679101440 4194304 16613245 140720320867968 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 29560832 140720320869395 140720320869511 140720320869511 140720320876528 0
/proc/1041829/statm: 104427 97260 3310 3032 0 99671 0
[pid=1041829/tid=1041831] ppid=1041826 vsize=417708 memory=-6880510419367202409 CPUtime=3571.8 cores=0,2
/proc/1041829/task/1041831/stat : 1041831 (fscip) R 1041826 1041829 1040488 0 -1 4194368 765801 0 0 0 357024 156 0 0 20 0 3 0 193404305 427732992 97260 134679101440 4194304 16613245 140720320867968 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 29560832 140720320869395 140720320869511 140720320869511 140720320876528 0
[pid=1041829/tid=1041832] ppid=1041826 vsize=417708 memory=19804 CPUtime=0.03 cores=0,2
/proc/1041829/task/1041832/stat : 1041832 (fscip) S 1041826 1041829 1040488 0 -1 1077936192 213 0 0 0 1 2 0 0 20 0 3 0 193404308 427732992 97260 134679101440 4194304 16613245 140720320867968 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 29560832 140720320869395 140720320869511 140720320869511 140720320876528 0
Current children cumulated CPU time: 3572.31 s
Current children cumulated vsize: 417708 KiB
Current children cumulated memory: 389040 KiB
[startup+3590.4 s]
/proc/loadavg: 4.08 4.12 4.09 5/263 1043799
/proc/meminfo: memFree=124180748/131524600 swapFree=131071996/131071996
[pid=1041829] ppid=1041826 vsize=417708 memory=389040 CPUtime=3578.68 cores=0,2
/proc/1041829/stat : 1041829 (fscip) S 1041826 1041829 1040488 0 -1 1077936128 782504 0 0 0 357703 165 0 0 20 0 3 0 193404274 427732992 97260 134679101440 4194304 16613245 140720320867968 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 29560832 140720320869395 140720320869511 140720320869511 140720320876528 0
/proc/1041829/statm: 104427 97260 3310 3032 0 99671 0
[pid=1041829/tid=1041831] ppid=1041826 vsize=417708 memory=389040 CPUtime=3578.17 cores=0,2
/proc/1041829/task/1041831/stat : 1041831 (fscip) R 1041826 1041829 1040488 0 -1 4194368 766074 0 0 0 357661 156 0 0 20 0 3 0 193404305 427732992 97260 134679101440 4194304 16613245 140720320867968 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 29560832 140720320869395 140720320869511 140720320869511 140720320876528 0
[pid=1041829/tid=1041832] ppid=1041826 vsize=417708 memory=5568 CPUtime=0.03 cores=0,2
/proc/1041829/task/1041832/stat : 1041832 (fscip) S 1041826 1041829 1040488 0 -1 1077936192 214 0 0 0 1 2 0 0 20 0 3 0 193404308 427732992 97260 134679101440 4194304 16613245 140720320867968 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 29560832 140720320869395 140720320869511 140720320869511 140720320876528 0
Current children cumulated CPU time: 3578.68 s
Current children cumulated vsize: 417708 KiB
Current children cumulated memory: 389040 KiB
[startup+3596.8 s]
/proc/loadavg: 4.08 4.12 4.09 5/263 1043799
/proc/meminfo: memFree=124180748/131524600 swapFree=131071996/131071996
[pid=1041829] ppid=1041826 vsize=417708 memory=389040 CPUtime=3585.06 cores=0,2
/proc/1041829/stat : 1041829 (fscip) S 1041826 1041829 1040488 0 -1 1077936128 782527 0 0 0 358340 166 0 0 20 0 3 0 193404274 427732992 97260 134679101440 4194304 16613245 140720320867968 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 29560832 140720320869395 140720320869511 140720320869511 140720320876528 0
/proc/1041829/statm: 104427 97260 3310 3032 0 99671 0
[pid=1041829/tid=1041831] ppid=1041826 vsize=417708 memory=389040 CPUtime=3584.54 cores=0,2
/proc/1041829/task/1041831/stat : 1041831 (fscip) R 1041826 1041829 1040488 0 -1 4194368 766097 0 0 0 358298 156 0 0 20 0 3 0 193404305 427732992 97260 134679101440 4194304 16613245 140720320867968 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 29560832 140720320869395 140720320869511 140720320869511 140720320876528 0
[pid=1041829/tid=1041832] ppid=1041826 vsize=417708 memory=389040 CPUtime=0.03 cores=0,2
/proc/1041829/task/1041832/stat : 1041832 (fscip) S 1041826 1041829 1040488 0 -1 1077936192 214 0 0 0 1 2 0 0 20 0 3 0 193404308 427732992 97260 134679101440 4194304 16613245 140720320867968 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 29560832 140720320869395 140720320869511 140720320869511 140720320876528 0
Current children cumulated CPU time: 3585.06 s
Current children cumulated vsize: 417708 KiB
Current children cumulated memory: 389040 KiB
[startup+3598.4 s]
/proc/loadavg: 4.08 4.12 4.09 5/263 1043801
/proc/meminfo: memFree=124180484/131524600 swapFree=131071996/131071996
[pid=1041829] ppid=1041826 vsize=417708 memory=389040 CPUtime=3586.66 cores=0,2
/proc/1041829/stat : 1041829 (fscip) S 1041826 1041829 1040488 0 -1 1077936128 782533 0 0 0 358500 166 0 0 20 0 3 0 193404274 427732992 97260 134679101440 4194304 16613245 140720320867968 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 29560832 140720320869395 140720320869511 140720320869511 140720320876528 0
/proc/1041829/statm: 104427 97260 3310 3032 0 99671 0
[pid=1041829/tid=1041831] ppid=1041826 vsize=417708 memory=49348 CPUtime=3586.14 cores=0,2
/proc/1041829/task/1041831/stat : 1041831 (fscip) R 1041826 1041829 1040488 0 -1 4194368 766103 0 0 0 358458 156 0 0 20 0 3 0 193404305 427732992 97260 134679101440 4194304 16613245 140720320867968 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 29560832 140720320869395 140720320869511 140720320869511 140720320876528 0
[pid=1041829/tid=1041832] ppid=1041826 vsize=417708 memory=12312 CPUtime=0.03 cores=0,2
/proc/1041829/task/1041832/stat : 1041832 (fscip) S 1041826 1041829 1040488 0 -1 1077936192 214 0 0 0 1 2 0 0 20 0 3 0 193404308 427732992 97260 134679101440 4194304 16613245 140720320867968 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 29560832 140720320869395 140720320869511 140720320869511 140720320876528 0
Current children cumulated CPU time: 3586.66 s
Current children cumulated vsize: 417708 KiB
Current children cumulated memory: 389040 KiB
[startup+3599.2 s]
/proc/loadavg: 4.08 4.12 4.09 5/263 1043801
/proc/meminfo: memFree=124180484/131524600 swapFree=131071996/131071996
[pid=1041829] ppid=1041826 vsize=417708 memory=389040 CPUtime=3587.45 cores=0,2
/proc/1041829/stat : 1041829 (fscip) S 1041826 1041829 1040488 0 -1 1077936128 782534 0 0 0 358579 166 0 0 20 0 3 0 193404274 427732992 97260 134679101440 4194304 16613245 140720320867968 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 29560832 140720320869395 140720320869511 140720320869511 140720320876528 0
/proc/1041829/statm: 104427 97260 3310 3032 0 99671 0
[pid=1041829/tid=1041831] ppid=1041826 vsize=417708 memory=49348 CPUtime=3586.93 cores=0,2
/proc/1041829/task/1041831/stat : 1041831 (fscip) R 1041826 1041829 1040488 0 -1 4194368 766104 0 0 0 358537 156 0 0 20 0 3 0 193404305 427732992 97260 134679101440 4194304 16613245 140720320867968 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 29560832 140720320869395 140720320869511 140720320869511 140720320876528 0
[pid=1041829/tid=1041832] ppid=1041826 vsize=417708 memory=2000 CPUtime=0.03 cores=0,2
/proc/1041829/task/1041832/stat : 1041832 (fscip) S 1041826 1041829 1040488 0 -1 1077936192 214 0 0 0 1 2 0 0 20 0 3 0 193404308 427732992 97260 134679101440 4194304 16613245 140720320867968 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 29560832 140720320869395 140720320869511 140720320869511 140720320876528 0
Current children cumulated CPU time: 3587.45 s
Current children cumulated vsize: 417708 KiB
Current children cumulated memory: 389040 KiB
[startup+3599.6 s]
/proc/loadavg: 4.08 4.12 4.09 5/263 1043801
/proc/meminfo: memFree=124180484/131524600 swapFree=131071996/131071996
[pid=1041829] ppid=1041826 vsize=417708 memory=389040 CPUtime=3587.85 cores=0,2
/proc/1041829/stat : 1041829 (fscip) S 1041826 1041829 1040488 0 -1 1077936128 782537 0 0 0 358619 166 0 0 20 0 3 0 193404274 427732992 97260 134679101440 4194304 16613245 140720320867968 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 29560832 140720320869395 140720320869511 140720320869511 140720320876528 0
/proc/1041829/statm: 104427 97260 3310 3032 0 99671 0
[pid=1041829/tid=1041831] ppid=1041826 vsize=417708 memory=1816 CPUtime=3587.33 cores=0,2
/proc/1041829/task/1041831/stat : 1041831 (fscip) R 1041826 1041829 1040488 0 -1 4194368 766107 0 0 0 358577 156 0 0 20 0 3 0 193404305 427732992 97260 134679101440 4194304 16613245 140720320867968 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 29560832 140720320869395 140720320869511 140720320869511 140720320876528 0
[pid=1041829/tid=1041832] ppid=1041826 vsize=417708 memory=-6809015775182228843 CPUtime=0.03 cores=0,2
/proc/1041829/task/1041832/stat : 1041832 (fscip) S 1041826 1041829 1040488 0 -1 1077936192 214 0 0 0 1 2 0 0 20 0 3 0 193404308 427732992 97260 134679101440 4194304 16613245 140720320867968 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 29560832 140720320869395 140720320869511 140720320869511 140720320876528 0
Current children cumulated CPU time: 3587.85 s
Current children cumulated vsize: 417708 KiB
Current children cumulated memory: 389040 KiB
[startup+3600 s]*
/proc/loadavg: 4.07 4.12 4.09 5/262 1043801
/proc/meminfo: memFree=124180484/131524600 swapFree=131071996/131071996
[pid=1041829] ppid=1041826 vsize=417708 memory=389040 CPUtime=3588.26 cores=0,2
/proc/1041829/stat : 1041829 (fscip) S 1041826 1041829 1040488 0 -1 1077936128 782537 0 0 0 358660 166 0 0 20 0 3 0 193404274 427732992 97260 134679101440 4194304 16613245 140720320867968 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 29560832 140720320869395 140720320869511 140720320869511 140720320876528 0
/proc/1041829/statm: 104427 97260 3310 3032 0 99671 0
[pid=1041829/tid=1041831] ppid=1041826 vsize=417708 memory=-6880510419367202409 CPUtime=3587.73 cores=0,2
/proc/1041829/task/1041831/stat : 1041831 (fscip) R 1041826 1041829 1040488 0 -1 4194368 766107 0 0 0 358617 156 0 0 20 0 3 0 193404305 427732992 97260 134679101440 4194304 16613245 140720320867968 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 29560832 140720320869395 140720320869511 140720320869511 140720320876528 0
[pid=1041829/tid=1041832] ppid=1041826 vsize=417708 memory=6600 CPUtime=0.03 cores=0,2
/proc/1041829/task/1041832/stat : 1041832 (fscip) S 1041826 1041829 1040488 0 -1 1077936192 214 0 0 0 1 2 0 0 20 0 3 0 193404308 427732992 97260 134679101440 4194304 16613245 140720320867968 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 29560832 140720320869395 140720320869511 140720320869511 140720320876528 0
Current children cumulated CPU time: 3588.26 s
Current children cumulated vsize: 417708 KiB
Current children cumulated memory: 389040 KiB
Child status: 0
Real time (s): 3600.09
CPU time (s): 3588.35
CPU user time (s): 3586.68
CPU system time (s): 1.6645
CPU usage (%): 99.6738
Max. virtual memory (cumulated for all children) (KiB): 417708
Max. memory (cumulated for all children) (KiB): 393484
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3586.68
system time used= 1.6645
maximum resident set size= 393484
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 783421
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= 9566
involuntary context switches= 25378
# summary of solver processes directly reported to runsolver:
# pid: 1041829
# total CPU time (s): 3588.35
# total CPU user time (s): 3586.68
# total CPU system time (s): 1.6645
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.58712 second user time and 16.7491 second system time
The end
Begin job on nodeC033 at 2024-07-19 20:05:58
IDJOB=4450540
IDBENCH=162158
IDSOLVER=3064
FILE ID=nodeC033/4450540-1721412346
RUNJOBID= nodeC033-1721410598-1040498
SLURM_JOB_ID= 7545470
Free space on /tmp= 889996 MiB
SOLVER NAME= FiberSCIP 2024-07-02
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-4450540-1721412346/watcher-4450540-1721412346 -o /tmp/evaluation-result-4450540-1721412346/solver-4450540-1721412346 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1721410598-1040498 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4450540-1721412346.opb -qsol -t 3600 -sth 1
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 47ea31a7c9031906789706eba8e52740
RANDOM SEED=1686349929
nodeC033.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 : 3642.995
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.50
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 : 3682.456
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7006.25
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 : 3672.974
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.50
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.055
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7006.25
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 : 3663.380
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.50
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 : 3682.504
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7006.25
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 : 3603.260
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.50
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 : 3600.034
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7006.25
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 122768624 kB
MemAvailable: 127151232 kB
Buffers: 569288 kB
Cached: 4606116 kB
SwapCached: 0 kB
Active: 1032060 kB
Inactive: 6991992 kB
Active(anon): 1556 kB
Inactive(anon): 2893044 kB
Active(file): 1030504 kB
Inactive(file): 4098948 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 28648 kB
Writeback: 0 kB
AnonPages: 2846056 kB
Mapped: 141832 kB
Shmem: 45908 kB
KReclaimable: 185604 kB
Slab: 308540 kB
SReclaimable: 185604 kB
SUnreclaim: 122936 kB
KernelStack: 4168 kB
PageTables: 15208 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 2837928 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 71104 kB
HardwareCorrupted: 0 kB
AnonHugePages: 1847296 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: 273108 kB
DirectMap2M: 28860416 kB
DirectMap1G: 106954752 kB
Free space on /tmp at the end= 889972 MiB
End job on nodeC033 at 2024-07-19 21:05:58