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.89/0.93 c Default LC presolving (default).
0.89/0.94 c ** Before presolving: virtualMemUsedAtLc = 768443976, getVmSize() = 457076736, SCIPgetMemUsed() = 393927516, SCIPgetMemTotal() = 405999068, SCIPgetMemExternEstim() = 362444908
0.89/0.94 c ** set memory limit for presolving in LC to 8.79586e+12 for SCIP **
56.78/57.06 c ** Estimated virtualMemUsedAtSolver = 632232616, getVmSize() = 780251136, SCIPgetMemUsed() = 502095337, SCIPgetMemTotal() = 585904017, SCIPgetMemExternEstim() = 362444908
56.78/57.06 c ** set memory limit for solvers to 4.39803e+12 for each SCIP **
56.78/57.06 c Original Problem :
56.78/57.06 c Problem name : instance-4442930-1721300959
56.78/57.06 c Variables : 8190 (8190 binary, 0 integer, 0 implicit integer, 0 continuous)
56.78/57.06 c Constraints : 368641
56.78/57.06 c Objective sense : minimize
56.78/57.06 c Presolved Problem :
56.78/57.06 c Variables : 8190 (8190 binary, 0 integer, 0 implicit integer, 0 continuous)
56.78/57.06 c Constraints : 368820
56.78/57.06 c Constraints : Number
56.78/57.06 c setppc : 368550
56.78/57.06 c linear : 179
56.78/57.06 c logicor : 91
56.78/57.06 c ** Instance transfer method used: 0
57.38/57.67 c ** ParaScipInstance copy does not increase the number of variables. **
57.88/58.16 c LC is working with racing ramp-up and with rebuilding tree after racing.
57.88/58.16 c Nodes Active
57.88/58.16 c Time Nodes Left Solvers Best Integer Best Node Gap Best Node(S) Gap(S)
188.31/189.96 c 190 2 1 1 - 0.0000 -
199.70/201.48 c 201 14 13 1 - 0.0000 -
211.49/213.33 c 213 17 16 1 - 0.0000 -
222.09/224.05 c 224 19 18 1 - 0.0000 -
231.00/233.09 c 233 21 20 1 - 0.0000 -
236.14/238.24 c 238 34 33 1 - 0.0000 -
247.14/249.39 c 249 36 35 1 - 0.0000 -
260.60/262.97 c 263 39 38 1 - 0.0000 -
266.84/269.22 c 269 45 44 1 - 0.0000 -
272.01/274.46 c 274 48 47 1 - 0.0000 -
278.39/280.80 c 281 52 51 1 - 0.0000 -
284.07/286.56 c 287 55 54 1 - 0.0000 -
289.15/291.60 c 292 62 61 1 - 0.0000 -
295.33/297.88 c 298 66 65 1 - 0.0000 -
300.42/302.90 c 303 69 68 1 - 0.0000 -
306.69/309.23 c 309 75 74 1 - 0.0000 -
315.36/317.96 c 318 86 85 1 - 0.0000 -
321.54/324.18 c 324 103 102 1 - 0.0000 -
327.71/330.33 c 330 120 119 1 - 0.0000 -
333.59/336.28 c 336 133 132 1 - 0.0000 -
339.27/341.92 c 342 142 141 1 - 0.0000 -
344.66/347.35 c 347 151 150 1 - 0.0000 -
354.91/357.61 c 358 162 161 1 - 0.0000 -
363.49/366.25 c 366 173 172 1 - 0.0000 -
368.76/371.58 c 372 180 179 1 - 0.0000 -
376.94/379.74 c 380 189 188 1 - 0.0000 -
382.92/385.72 c 386 202 201 1 - 0.0000 -
389.69/392.51 c 393 205 204 1 - 0.0000 -
394.97/397.85 c 398 209 208 1 - 0.0000 -
400.16/403.04 c 403 222 221 1 - 0.0000 -
405.33/408.26 c 408 228 227 1 - 0.0000 -
411.41/414.38 c 414 242 241 1 - 0.0000 -
417.69/420.69 c 421 254 253 1 - 0.0000 -
425.17/428.12 c 428 267 266 1 - 0.0000 -
432.34/435.31 c 435 282 281 1 - 0.0000 -
439.31/442.35 c 442 302 301 1 - 0.0000 -
445.69/448.75 c 449 324 323 1 - 0.0000 -
455.55/458.66 c 459 339 338 1 - 0.0000 -
461.04/464.18 c 464 344 343 1 - 0.0000 -
473.79/476.98 c 477 352 351 1 - 0.0000 -
485.56/488.74 c 489 357 356 1 - 0.0000 -
492.53/495.79 c 496 359 358 1 - 0.0000 -
504.29/507.59 c 508 365 364 1 - 0.0000 -
517.95/521.27 c 521 377 376 1 - 0.0000 -
523.22/526.58 c 527 423 422 1 - 0.0000 -
528.81/532.17 c 532 477 442 1 - 0.0000 -
534.69/538.06 c 538 532 471 1 - 0.0000 -
539.95/543.38 c 543 578 501 1 - 0.0000 -
545.54/548.94 c 549 635 518 1 - 0.0000 -
551.21/554.64 c 555 689 544 1 - 0.0000 -
556.59/560.09 c 560 741 564 1 - 0.0000 -
562.37/565.87 c 566 802 579 1 - 0.0000 -
567.55/571.08 c 571 853 588 1 - 0.0000 -
573.02/576.58 c 577 912 603 1 - 0.0000 -
578.21/581.78 c 582 965 620 1 - 0.0000 -
583.69/587.22 c 587 1021 626 1 - 0.0000 -
588.96/592.51 c 593 1076 641 1 - 0.0000 -
594.44/598.06 c 598 1132 657 1 - 0.0000 -
600.01/603.66 c 604 1192 663 1 - 0.0000 -
605.20/608.85 c 609 1240 671 1 - 0.0000 -
610.67/614.31 c 614 1298 677 1 - 0.0000 -
616.46/620.15 c 620 1366 681 1 - 0.0000 -
622.03/625.76 c 626 1420 687 1 - 0.0000 -
627.21/630.90 c 631 1475 692 1 - 0.0000 -
632.29/636.05 c 636 1535 696 1 - 0.0000 -
637.76/641.58 c 642 1597 700 1 - 0.0000 -
643.14/646.97 c 647 1660 705 1 - 0.0000 -
648.62/652.40 c 652 1722 709 1 - 0.0000 -
654.10/657.91 c 658 1780 711 1 - 0.0000 -
659.48/663.33 c 663 1840 719 1 - 0.0000 -
664.66/668.50 c 669 1897 726 1 - 0.0000 -
669.94/673.80 c 674 1954 731 1 - 0.0000 -
675.13/679.07 c 679 2013 736 1 - 0.0000 -
680.40/684.35 c 684 2073 742 1 - 0.0000 -
685.78/689.72 c 690 2126 747 1 - 0.0000 -
690.95/694.94 c 695 2165 752 1 - 0.0000 -
696.44/700.48 c 700 2230 755 1 - 0.0000 -
702.22/706.26 c 706 2300 757 1 - 0.0000 -
707.29/711.36 c 711 2357 764 1 - 0.0000 -
712.77/716.84 c 717 2421 768 1 - 0.0000 -
718.15/722.28 c 722 2484 771 1 - 0.0000 -
723.34/727.48 c 727 2545 774 1 - 0.0000 -
728.52/732.68 c 733 2605 782 1 - 0.0000 -
733.80/737.92 c 738 2666 787 1 - 0.0000 -
738.98/743.12 c 743 2730 791 1 - 0.0000 -
744.16/748.32 c 748 2795 798 1 - 0.0000 -
749.43/753.64 c 754 2855 802 1 - 0.0000 -
754.81/759.10 c 759 2917 808 1 - 0.0000 -
760.29/764.55 c 765 2980 811 1 - 0.0000 -
765.87/770.13 c 770 3046 815 1 - 0.0000 -
771.15/775.48 c 775 3108 819 1 - 0.0000 -
776.83/781.15 c 781 3177 822 1 - 0.0000 -
781.90/786.29 c 786 3234 829 1 - 0.0000 -
787.18/791.56 c 792 3295 834 1 - 0.0000 -
792.46/796.84 c 797 3359 836 1 - 0.0000 -
797.84/802.21 c 802 3424 841 1 - 0.0000 -
803.82/808.27 c 808 3482 849 1 - 0.0000 -
809.40/813.83 c 814 3540 861 1 - 0.0000 -
814.59/819.03 c 819 3600 867 1 - 0.0000 -
819.76/824.29 c 824 3654 873 1 - 0.0000 -
825.04/829.57 c 830 3714 877 1 - 0.0000 -
830.71/835.25 c 835 3777 882 1 - 0.0000 -
836.10/840.63 c 841 3840 889 1 - 0.0000 -
841.97/846.56 c 847 3895 900 1 - 0.0000 -
847.35/851.92 c 852 3956 909 1 - 0.0000 -
852.63/857.25 c 857 4022 913 1 - 0.0000 -
857.91/862.54 c 863 4088 919 1 - 0.0000 -
863.29/867.95 c 868 4149 924 1 - 0.0000 -
868.48/873.18 c 873 4218 927 1 - 0.0000 -
873.95/878.65 c 879 4279 932 1 - 0.0000 -
879.12/883.84 c 884 4342 935 1 - 0.0000 -
884.61/889.35 c 889 4406 941 1 - 0.0000 -
889.99/894.77 c 895 4472 943 1 - 0.0000 -
895.17/899.97 c 900 4540 945 1 - 0.0000 -
900.35/905.18 c 905 4603 950 1 - 0.0000 -
905.62/910.45 c 910 4669 954 1 - 0.0000 -
910.81/915.63 c 916 4734 957 1 - 0.0000 -
916.29/921.10 c 921 4799 962 1 - 0.0000 -
921.67/926.50 c 927 4865 964 1 - 0.0000 -
927.15/932.05 c 932 4934 967 1 - 0.0000 -
932.42/937.30 c 937 4996 971 1 - 0.0000 -
937.80/942.73 c 943 5057 976 1 - 0.0000 -
942.98/947.93 c 948 5127 978 1 - 0.0000 -
948.16/953.16 c 953 5203 978 1 - 0.0000 -
953.34/958.34 c 958 5276 979 1 - 0.0000 -
958.72/963.74 c 964 5338 981 1 - 0.0000 -
963.90/968.98 c 969 5410 981 1 - 0.0000 -
969.37/974.48 c 974 5473 986 1 - 0.0000 -
974.85/979.91 c 980 5551 988 1 - 0.0000 -
980.04/985.11 c 985 5630 991 1 - 0.0000 -
985.21/990.31 c 990 5710 991 1 - 0.0000 -
990.30/995.48 c 995 5771 994 1 - 0.0000 -
995.67/1000.82 c 1001 5833 1002 1 - 0.0000 -
1000.86/1006.05 c 1006 5896 1005 1 - 0.0000 -
1006.13/1011.30 c 1011 5963 1006 1 - 0.0000 -
1012.11/1017.34 c 1017 6024 1011 1 - 0.0000 -
1017.49/1022.78 c 1023 6092 1015 1 - 0.0000 -
1022.67/1027.95 c 1028 6158 1017 1 - 0.0000 -
1035.43/1040.74 c 1041 6221 1028 1 - 0.0000 -
1041.10/1046.46 c 1046 6259 1032 1 - 0.0000 -
1046.38/1051.77 c 1052 6324 1045 1 - 0.0000 -
1051.76/1057.10 c 1057 6384 1055 1 - 0.0000 -
1057.14/1062.56 c 1063 6447 1060 1 - 0.0000 -
1062.52/1067.90 c 1068 6508 1071 1 - 0.0000 -
1067.61/1073.09 c 1073 6565 1086 1 - 0.0000 -
1073.08/1078.51 c 1079 6627 1102 1 - 0.0000 -
1078.36/1083.81 c 1084 6691 1108 1 - 0.0000 -
1083.64/1089.19 c 1089 6760 1109 1 - 0.0000 -
1089.01/1094.57 c 1095 6827 1112 1 - 0.0000 -
1094.50/1100.09 c 1100 6878 1121 1 - 0.0000 -
1099.87/1105.45 c 1105 6940 1125 1 - 0.0000 -
1105.05/1110.69 c 1111 6999 1130 1 - 0.0000 -
1111.83/1117.47 c 1117 7053 1136 1 - 0.0000 -
1117.11/1122.70 c 1123 7113 1142 1 - 0.0000 -
1122.49/1128.11 c 1128 7179 1146 1 - 0.0000 -
1127.67/1133.32 c 1133 7241 1148 1 - 0.0000 -
1132.75/1138.50 c 1138 7297 1166 1 - 0.0000 -
1138.22/1143.91 c 1144 7364 1169 1 - 0.0000 -
1143.41/1149.15 c 1149 7431 1172 1 - 0.0000 -
1148.99/1154.72 c 1155 7496 1181 1 - 0.0000 -
1154.07/1159.81 c 1160 7560 1187 1 - 0.0000 -
1159.55/1165.34 c 1165 7622 1197 1 - 0.0000 -
1164.82/1170.67 c 1171 7682 1205 1 - 0.0000 -
1170.31/1176.16 c 1176 7747 1210 1 - 0.0000 -
1175.48/1181.31 c 1181 7803 1214 1 - 0.0000 -
1181.36/1187.21 c 1187 7873 1224 1 - 0.0000 -
1186.94/1192.83 c 1193 7937 1232 1 - 0.0000 -
1192.02/1197.94 c 1198 7995 1236 1 - 0.0000 -
1197.30/1203.29 c 1203 8057 1242 1 - 0.0000 -
1203.27/1209.22 c 1209 8117 1246 1 - 0.0000 -
1208.66/1214.63 c 1215 8182 1249 1 - 0.0000 -
1214.23/1220.28 c 1220 8246 1255 1 - 0.0000 -
1219.91/1225.98 c 1226 8310 1261 1 - 0.0000 -
1225.19/1231.30 c 1231 8370 1267 1 - 0.0000 -
1230.67/1236.74 c 1237 8430 1273 1 - 0.0000 -
1236.15/1242.26 c 1242 8496 1277 1 - 0.0000 -
1241.62/1247.70 c 1248 8561 1280 1 - 0.0000 -
1246.91/1253.06 c 1253 8626 1285 1 - 0.0000 -
1252.29/1258.41 c 1258 8685 1288 1 - 0.0000 -
1257.47/1263.60 c 1264 8745 1296 1 - 0.0000 -
1262.95/1269.19 c 1269 8810 1299 1 - 0.0000 -
1268.42/1274.61 c 1275 8877 1302 1 - 0.0000 -
1273.91/1280.18 c 1280 8938 1313 1 - 0.0000 -
1279.38/1285.60 c 1286 8999 1318 1 - 0.0000 -
1284.65/1290.90 c 1291 9063 1322 1 - 0.0000 -
1289.94/1296.25 c 1296 9126 1325 1 - 0.0000 -
1295.12/1301.49 c 1301 9188 1329 1 - 0.0000 -
1300.40/1306.72 c 1307 9251 1334 1 - 0.0000 -
1305.79/1312.13 c 1312 9316 1341 1 - 0.0000 -
1311.06/1317.45 c 1317 9381 1344 1 - 0.0000 -
1316.44/1322.82 c 1323 9448 1347 1 - 0.0000 -
1321.42/1327.86 c 1328 9502 1349 1 - 0.0000 -
1326.60/1333.08 c 1333 9562 1355 1 - 0.0000 -
1332.17/1338.65 c 1339 9627 1362 1 - 0.0000 -
1337.56/1344.06 c 1344 9690 1367 1 - 0.0000 -
1342.83/1349.32 c 1349 9756 1369 1 - 0.0000 -
1348.01/1354.53 c 1355 9814 1375 1 - 0.0000 -
1353.39/1359.91 c 1360 9877 1380 1 - 0.0000 -
1358.87/1365.43 c 1365 9945 1384 1 - 0.0000 -
1364.35/1370.90 c 1371 10011 1388 1 - 0.0000 -
1369.43/1376.05 c 1376 10071 1390 1 - 0.0000 -
1374.71/1381.33 c 1381 10139 1392 1 - 0.0000 -
1380.19/1386.83 c 1387 10207 1396 1 - 0.0000 -
1385.47/1392.11 c 1392 10267 1402 1 - 0.0000 -
1390.65/1397.39 c 1397 10329 1406 1 - 0.0000 -
1396.02/1402.77 c 1403 10395 1410 1 - 0.0000 -
1401.60/1408.36 c 1408 10469 1412 1 - 0.0000 -
1407.68/1414.42 c 1414 10535 1416 1 - 0.0000 -
1413.05/1419.80 c 1420 10603 1418 1 - 0.0000 -
1418.25/1425.10 c 1425 10667 1422 1 - 0.0000 -
1423.82/1430.62 c 1431 10730 1427 1 - 0.0000 -
1429.30/1436.10 c 1436 10795 1432 1 - 0.0000 -
1434.67/1441.51 c 1442 10860 1435 1 - 0.0000 -
1439.96/1446.87 c 1447 10928 1439 1 - 0.0000 -
1445.14/1452.09 c 1452 11000 1439 1 - 0.0000 -
1450.41/1457.32 c 1457 11064 1459 1 - 0.0000 -
1455.90/1462.82 c 1463 11125 1468 1 - 0.0000 -
1461.27/1468.30 c 1468 11191 1478 1 - 0.0000 -
1467.16/1474.16 c 1474 11250 1487 1 - 0.0000 -
1472.63/1479.67 c 1480 11312 1497 1 - 0.0000 -
1477.91/1484.91 c 1485 11371 1500 1 - 0.0000 -
1483.18/1490.23 c 1490 11433 1512 1 - 0.0000 -
1488.56/1495.61 c 1496 11493 1516 1 - 0.0000 -
1493.95/1501.03 c 1501 11559 1518 1 - 0.0000 -
1499.12/1506.28 c 1506 11622 1527 1 - 0.0000 -
1504.60/1511.73 c 1512 11685 1532 1 - 0.0000 -
1510.18/1517.36 c 1517 11750 1541 1 - 0.0000 -
1515.36/1522.59 c 1523 11814 1549 1 - 0.0000 -
1520.94/1528.15 c 1528 11876 1555 1 - 0.0000 -
1526.11/1533.36 c 1533 11939 1568 1 - 0.0000 -
1531.50/1538.75 c 1539 12001 1576 1 - 0.0000 -
1537.08/1544.36 c 1544 12065 1582 1 - 0.0000 -
1542.36/1549.65 c 1550 12125 1588 1 - 0.0000 -
1547.74/1555.07 c 1555 12188 1595 1 - 0.0000 -
1553.52/1560.84 c 1561 12246 1603 1 - 0.0000 -
1558.80/1566.12 c 1566 12308 1609 1 - 0.0000 -
1564.17/1571.55 c 1572 12374 1615 1 - 0.0000 -
1569.76/1577.12 c 1577 12432 1633 1 - 0.0000 -
1575.63/1583.08 c 1583 12481 1642 1 - 0.0000 -
1581.41/1588.85 c 1589 12535 1650 1 - 0.0000 -
1586.78/1594.27 c 1594 12596 1657 1 - 0.0000 -
1592.26/1599.77 c 1600 12664 1665 1 - 0.0000 -
1597.65/1605.13 c 1605 12728 1673 1 - 0.0000 -
1602.92/1610.41 c 1610 12785 1680 1 - 0.0000 -
1608.30/1615.81 c 1616 12848 1683 1 - 0.0000 -
1613.58/1621.12 c 1621 12910 1687 1 - 0.0000 -
1618.96/1626.58 c 1627 12970 1695 1 - 0.0000 -
1624.44/1632.04 c 1632 13029 1702 1 - 0.0000 -
1630.11/1637.77 c 1638 13087 1712 1 - 0.0000 -
1636.09/1643.78 c 1644 13147 1722 1 - 0.0000 -
1641.67/1649.30 c 1649 13212 1731 1 - 0.0000 -
1646.74/1654.45 c 1654 13277 1740 1 - 0.0000 -
1651.93/1659.66 c 1660 13345 1744 1 - 0.0000 -
1657.31/1665.00 c 1665 13407 1752 1 - 0.0000 -
1662.58/1670.33 c 1670 13472 1757 1 - 0.0000 -
1667.96/1675.70 c 1676 13531 1762 1 - 0.0000 -
1673.25/1681.03 c 1681 13595 1768 1 - 0.0000 -
1678.42/1686.22 c 1686 13661 1770 1 - 0.0000 -
1683.71/1691.56 c 1692 13724 1775 1 - 0.0000 -
1688.98/1696.87 c 1697 13790 1781 1 - 0.0000 -
1694.27/1702.17 c 1702 13853 1786 1 - 0.0000 -
1700.04/1707.91 c 1708 13919 1790 1 - 0.0000 -
1705.12/1713.09 c 1713 13973 1792 1 - 0.0000 -
1710.40/1718.32 c 1718 14036 1797 1 - 0.0000 -
1715.78/1723.70 c 1724 14096 1805 1 - 0.0000 -
1721.16/1729.11 c 1729 14166 1807 1 - 0.0000 -
1726.74/1734.73 c 1735 14235 1810 1 - 0.0000 -
1732.02/1740.05 c 1740 14297 1818 1 - 0.0000 -
1737.30/1745.37 c 1745 14366 1821 1 - 0.0000 -
1742.48/1750.56 c 1751 14429 1824 1 - 0.0000 -
1747.86/1755.94 c 1756 14497 1826 1 - 0.0000 -
1753.73/1761.81 c 1762 14568 1829 1 - 0.0000 -
1759.11/1767.27 c 1767 14637 1832 1 - 0.0000 -
1764.49/1772.65 c 1773 14703 1836 1 - 0.0000 -
1769.97/1778.14 c 1778 14768 1841 1 - 0.0000 -
1775.65/1783.88 c 1784 14825 1862 1 - 0.0000 -
1781.12/1789.33 c 1789 14888 1873 1 - 0.0000 -
1786.40/1794.63 c 1795 14940 1881 1 - 0.0000 -
1791.98/1800.23 c 1800 15003 1886 1 - 0.0000 -
1797.66/1805.94 c 1806 15062 1893 1 - 0.0000 -
1803.04/1811.33 c 1811 15121 1902 1 - 0.0000 -
1808.32/1816.60 c 1817 15184 1909 1 - 0.0000 -
1813.59/1821.96 c 1822 15249 1914 1 - 0.0000 -
1818.98/1827.37 c 1827 15314 1919 1 - 0.0000 -
1824.15/1832.57 c 1833 15376 1923 1 - 0.0000 -
1829.93/1838.32 c 1838 15433 1932 1 - 0.0000 -
1835.41/1843.83 c 1844 15498 1937 1 - 0.0000 -
1840.60/1849.05 c 1849 15562 1943 1 - 0.0000 -
1846.07/1854.55 c 1855 15625 1950 1 - 0.0000 -
1851.35/1859.80 c 1860 15690 1957 1 - 0.0000 -
1856.73/1865.28 c 1865 15754 1963 1 - 0.0000 -
1862.52/1871.06 c 1871 15816 1973 1 - 0.0000 -
1868.09/1876.62 c 1877 15882 1979 1 - 0.0000 -
1873.36/1881.90 c 1882 15938 1983 1 - 0.0000 -
1878.74/1887.38 c 1887 16001 1990 1 - 0.0000 -
1883.92/1892.50 c 1892 16061 1998 1 - 0.0000 -
1889.31/1897.91 c 1898 16127 2002 1 - 0.0000 -
1894.69/1903.37 c 1903 16195 2006 1 - 0.0000 -
1900.07/1908.70 c 1909 16262 2009 1 - 0.0000 -
1905.35/1914.05 c 1914 16326 2017 1 - 0.0000 -
1910.82/1919.52 c 1920 16392 2023 1 - 0.0000 -
1916.21/1924.91 c 1925 16456 2029 1 - 0.0000 -
1921.79/1930.52 c 1931 16505 2034 1 - 0.0000 -
1926.87/1935.68 c 1936 16572 2037 1 - 0.0000 -
1932.25/1941.03 c 1941 16630 2045 1 - 0.0000 -
1937.72/1946.55 c 1947 16696 2051 1 - 0.0000 -
1942.90/1951.76 c 1952 16760 2055 1 - 0.0000 -
1948.19/1957.01 c 1957 16814 2059 1 - 0.0000 -
1953.37/1962.25 c 1962 16878 2063 1 - 0.0000 -
1958.85/1967.75 c 1968 16947 2066 1 - 0.0000 -
1964.23/1973.19 c 1973 17011 2072 1 - 0.0000 -
1969.70/1978.64 c 1979 17080 2075 1 - 0.0000 -
1974.78/1983.79 c 1984 17148 2079 1 - 0.0000 -
1980.36/1989.35 c 1989 17218 2083 1 - 0.0000 -
1985.55/1994.55 c 1995 17283 2088 1 - 0.0000 -
1990.93/1999.93 c 2000 17347 2094 1 - 0.0000 -
1996.30/2005.39 c 2005 17413 2098 1 - 0.0000 -
2002.09/2011.10 c 2011 17480 2103 1 - 0.0000 -
2007.57/2016.69 c 2017 17545 2108 1 - 0.0000 -
2012.95/2022.08 c 2022 17610 2113 1 - 0.0000 -
2018.13/2027.22 c 2027 17673 2116 1 - 0.0000 -
2023.41/2032.58 c 2033 17739 2120 1 - 0.0000 -
2028.89/2038.07 c 2038 17807 2126 1 - 0.0000 -
2034.06/2043.22 c 2043 17873 2132 1 - 0.0000 -
2039.44/2048.62 c 2049 17937 2138 1 - 0.0000 -
2044.93/2054.15 c 2054 18002 2143 1 - 0.0000 -
2050.11/2059.35 c 2059 18067 2146 1 - 0.0000 -
2055.49/2064.72 c 2065 18132 2149 1 - 0.0000 -
2060.67/2069.90 c 2070 18197 2154 1 - 0.0000 -
2066.05/2075.35 c 2075 18270 2157 1 - 0.0000 -
2071.43/2080.72 c 2081 18330 2173 1 - 0.0000 -
2076.81/2086.11 c 2086 18391 2190 1 - 0.0000 -
2081.89/2091.25 c 2091 18452 2203 1 - 0.0000 -
2087.37/2096.71 c 2097 18520 2211 1 - 0.0000 -
2092.94/2102.35 c 2102 18577 2224 1 - 0.0000 -
2098.32/2107.71 c 2108 18641 2230 1 - 0.0000 -
2103.40/2112.89 c 2113 18708 2235 1 - 0.0000 -
2108.89/2118.31 c 2118 18772 2241 1 - 0.0000 -
2114.07/2123.57 c 2124 18837 2246 1 - 0.0000 -
2119.55/2129.02 c 2129 18900 2253 1 - 0.0000 -
2125.02/2134.56 c 2135 18952 2267 1 - 0.0000 -
2130.40/2139.94 c 2140 19016 2279 1 - 0.0000 -
2136.08/2145.61 c 2146 19083 2286 1 - 0.0000 -
2141.47/2151.08 c 2151 19147 2294 1 - 0.0000 -
2146.64/2156.28 c 2156 19209 2300 1 - 0.0000 -
2152.03/2161.65 c 2162 19271 2310 1 - 0.0000 -
2157.20/2166.89 c 2167 19335 2316 1 - 0.0000 -
2162.49/2172.19 c 2172 19393 2328 1 - 0.0000 -
2167.96/2177.63 c 2178 19456 2335 1 - 0.0000 -
2173.35/2183.02 c 2183 19520 2341 1 - 0.0000 -
2178.82/2188.52 c 2189 19586 2347 1 - 0.0000 -
2184.41/2194.18 c 2194 19648 2359 1 - 0.0000 -
2190.18/2199.94 c 2200 19712 2367 1 - 0.0000 -
2195.46/2205.23 c 2205 19777 2376 1 - 0.0000 -
2200.64/2210.48 c 2210 19839 2378 1 - 0.0000 -
2205.92/2215.74 c 2216 19908 2381 1 - 0.0000 -
2211.60/2221.49 c 2222 19972 2391 1 - 0.0000 -
2217.38/2227.28 c 2227 20033 2402 1 - 0.0000 -
2222.85/2232.71 c 2233 20104 2409 1 - 0.0000 -
2228.34/2238.27 c 2238 20172 2415 1 - 0.0000 -
2233.52/2243.47 c 2243 20229 2420 1 - 0.0000 -
2239.00/2248.96 c 2249 20296 2427 1 - 0.0000 -
2244.28/2254.23 c 2254 20359 2432 1 - 0.0000 -
2249.56/2259.52 c 2260 20423 2440 1 - 0.0000 -
2255.14/2265.16 c 2265 20492 2447 1 - 0.0000 -
2260.52/2270.51 c 2271 20559 2452 1 - 0.0000 -
2265.70/2275.77 c 2276 20623 2458 1 - 0.0000 -
2270.88/2280.94 c 2281 20686 2461 1 - 0.0000 -
2276.36/2286.40 c 2286 20753 2466 1 - 0.0000 -
2281.54/2291.67 c 2292 20814 2471 1 - 0.0000 -
2286.82/2296.91 c 2297 20877 2474 1 - 0.0000 -
2292.10/2302.24 c 2302 20943 2484 1 - 0.0000 -
2297.29/2307.44 c 2307 21014 2485 1 - 0.0000 -
2302.67/2312.87 c 2313 21081 2486 1 - 0.0000 -
2307.85/2318.02 c 2318 21147 2486 1 - 0.0000 -
2313.22/2323.44 c 2323 21217 2488 1 - 0.0000 -
2318.70/2328.92 c 2329 21286 2493 1 - 0.0000 -
2324.08/2334.32 c 2334 21353 2498 1 - 0.0000 -
2329.47/2339.75 c 2340 21421 2502 1 - 0.0000 -
2334.85/2345.16 c 2345 21487 2508 1 - 0.0000 -
2340.32/2350.64 c 2351 21562 2509 1 - 0.0000 -
2345.71/2356.10 c 2356 21625 2510 1 - 0.0000 -
2351.18/2361.56 c 2362 21695 2512 1 - 0.0000 -
2356.66/2367.01 c 2367 21765 2514 1 - 0.0000 -
2362.45/2372.85 c 2373 21822 2521 1 - 0.0000 -
2367.73/2378.13 c 2378 21884 2531 1 - 0.0000 -
2372.91/2383.37 c 2383 21945 2546 1 - 0.0000 -
2378.09/2388.53 c 2389 22005 2546 1 - 0.0000 -
2383.47/2393.94 c 2394 22073 2552 1 - 0.0000 -
2388.85/2399.36 c 2399 22142 2553 1 - 0.0000 -
2394.32/2404.83 c 2405 22210 2553 1 - 0.0000 -
2399.61/2410.18 c 2410 22277 2554 1 - 0.0000 -
2404.79/2415.39 c 2415 22353 2566 1 - 0.0000 -
2410.27/2420.81 c 2421 22419 2576 1 - 0.0000 -
2415.55/2426.12 c 2426 22489 2580 1 - 0.0000 -
2421.03/2431.63 c 2432 22559 2582 1 - 0.0000 -
2426.31/2436.98 c 2437 22628 2581 1 - 0.0000 -
2431.78/2442.48 c 2442 22684 2593 1 - 0.0000 -
2437.16/2447.86 c 2448 22753 2594 1 - 0.0000 -
2442.35/2453.10 c 2453 22820 2601 1 - 0.0000 -
2447.73/2458.46 c 2458 22888 2603 1 - 0.0000 -
2453.01/2463.78 c 2464 22958 2605 1 - 0.0000 -
2458.39/2469.19 c 2469 23033 2614 1 - 0.0000 -
2463.67/2474.40 c 2474 23102 2621 1 - 0.0000 -
2468.95/2479.78 c 2480 23171 2630 1 - 0.0000 -
2474.23/2485.01 c 2485 23242 2635 1 - 0.0000 -
2479.31/2490.13 c 2490 23316 2637 1 - 0.0000 -
2484.69/2495.51 c 2496 23386 2643 1 - 0.0000 -
2489.88/2500.71 c 2501 23459 2644 1 - 0.0000 -
2495.06/2505.94 c 2506 23531 2648 1 - 0.0000 -
2500.24/2511.11 c 2511 23601 2650 1 - 0.0000 -
2505.51/2516.44 c 2516 23674 2659 1 - 0.0000 -
2510.79/2521.70 c 2522 23746 2665 1 - 0.0000 -
2516.66/2527.67 c 2528 23818 2675 1 - 0.0000 -
2521.84/2532.88 c 2533 23888 2681 1 - 0.0000 -
2527.03/2538.05 c 2538 23963 2686 1 - 0.0000 -
2532.21/2543.23 c 2543 24041 2690 1 - 0.0000 -
2538.19/2549.24 c 2549 24105 2694 1 - 0.0000 -
2543.37/2554.46 c 2554 24172 2693 1 - 0.0000 -
2548.74/2559.83 c 2560 24242 2697 1 - 0.0000 -
2553.93/2565.10 c 2565 24314 2697 1 - 0.0000 -
2559.20/2570.30 c 2570 24386 2703 1 - 0.0000 -
2564.49/2575.63 c 2576 24453 2706 1 - 0.0000 -
2569.87/2581.00 c 2581 24524 2706 1 - 0.0000 -
2575.24/2586.40 c 2586 24596 2708 1 - 0.0000 -
2580.42/2591.66 c 2592 24660 2712 1 - 0.0000 -
2585.60/2596.89 c 2597 24729 2715 1 - 0.0000 -
2591.09/2602.32 c 2602 24792 2716 1 - 0.0000 -
2596.47/2607.78 c 2608 24856 2716 1 - 0.0000 -
2601.75/2613.07 c 2613 24924 2716 1 - 0.0000 -
2607.03/2618.33 c 2618 25005 2719 1 - 0.0000 -
2612.11/2623.44 c 2623 25080 2720 1 - 0.0000 -
2617.39/2628.79 c 2629 25150 2720 1 - 0.0000 -
2622.57/2633.98 c 2634 25221 2719 1 - 0.0000 -
2628.15/2639.57 c 2640 25282 2722 1 - 0.0000 -
2633.43/2644.82 c 2645 25355 2721 1 - 0.0000 -
2638.62/2650.06 c 2650 25418 2722 1 - 0.0000 -
2643.89/2655.33 c 2655 25490 2722 1 - 0.0000 -
2649.27/2660.79 c 2661 25559 2721 1 - 0.0000 -
2654.95/2666.42 c 2666 25629 2729 1 - 0.0000 -
2660.04/2671.51 c 2672 25696 2746 1 - 0.0000 -
2665.42/2676.92 c 2677 25765 2753 1 - 0.0000 -
2670.50/2682.10 c 2682 25828 2768 1 - 0.0000 -
2675.77/2687.33 c 2687 25892 2774 1 - 0.0000 -
2681.46/2693.03 c 2693 25959 2785 1 - 0.0000 -
2686.83/2698.48 c 2698 26030 2790 1 - 0.0000 -
2692.01/2703.66 c 2704 26096 2806 1 - 0.0000 -
2697.19/2708.83 c 2709 26157 2815 1 - 0.0000 -
2702.48/2714.19 c 2714 26217 2835 1 - 0.0000 -
2707.96/2719.62 c 2720 26284 2846 1 - 0.0000 -
2713.35/2725.04 c 2725 26350 2858 1 - 0.0000 -
2718.52/2730.26 c 2730 26407 2877 1 - 0.0000 -
2723.80/2735.53 c 2736 26453 2897 1 - 0.0000 -
2728.98/2740.73 c 2741 26517 2909 1 - 0.0000 -
2734.36/2746.14 c 2746 26581 2925 1 - 0.0000 -
2739.53/2751.31 c 2751 26637 2939 1 - 0.0000 -
2744.82/2756.64 c 2757 26700 2948 1 - 0.0000 -
2750.60/2762.42 c 2762 26761 2955 1 - 0.0000 -
2755.78/2767.62 c 2768 26822 2960 1 - 0.0000 -
2761.16/2773.10 c 2773 26890 2964 1 - 0.0000 -
2766.33/2778.24 c 2778 26957 2967 1 - 0.0000 -
2771.61/2783.53 c 2784 27021 2979 1 - 0.0000 -
2776.79/2788.70 c 2789 27088 2984 1 - 0.0000 -
2781.87/2793.85 c 2794 27156 2988 1 - 0.0000 -
2787.34/2799.32 c 2799 27219 3001 1 - 0.0000 -
2792.42/2804.46 c 2804 27281 3009 1 - 0.0000 -
2797.70/2809.70 c 2810 27347 3025 1 - 0.0000 -
2803.18/2815.27 c 2815 27406 3034 1 - 0.0000 -
2808.55/2820.69 c 2821 27470 3050 1 - 0.0000 -
2813.73/2825.87 c 2826 27538 3054 1 - 0.0000 -
2819.12/2831.29 c 2831 27597 3071 1 - 0.0000 -
2824.49/2836.64 c 2837 27660 3076 1 - 0.0000 -
2829.67/2841.86 c 2842 27722 3082 1 - 0.0000 -
2835.45/2847.68 c 2848 27770 3088 1 - 0.0000 -
2840.62/2852.88 c 2853 27834 3092 1 - 0.0000 -
2846.20/2858.47 c 2858 27899 3103 1 - 0.0000 -
2851.78/2864.02 c 2864 27965 3123 1 - 0.0000 -
2857.05/2869.37 c 2869 28029 3139 1 - 0.0000 -
2862.24/2874.56 c 2875 28094 3144 1 - 0.0000 -
2867.51/2879.86 c 2880 28156 3156 1 - 0.0000 -
2872.70/2885.09 c 2885 28223 3161 1 - 0.0000 -
2877.87/2890.20 c 2890 28280 3166 1 - 0.0000 -
2882.95/2895.33 c 2895 28342 3168 1 - 0.0000 -
2888.43/2900.82 c 2901 28417 3173 1 - 0.0000 -
2893.61/2906.04 c 2906 28483 3189 1 - 0.0000 -
2899.08/2911.55 c 2912 28554 3192 1 - 0.0000 -
2904.26/2916.78 c 2917 28627 3197 1 - 0.0000 -
2909.43/2921.94 c 2922 28697 3201 1 - 0.0000 -
2914.92/2927.42 c 2927 28762 3214 1 - 0.0000 -
2919.99/2932.57 c 2933 28819 3217 1 - 0.0000 -
2925.17/2937.77 c 2938 28875 3235 1 - 0.0000 -
2930.35/2942.98 c 2943 28925 3241 1 - 0.0000 -
2935.63/2948.21 c 2948 28995 3243 1 - 0.0000 -
2940.81/2953.44 c 2953 29061 3247 1 - 0.0000 -
2946.00/2958.62 c 2959 29126 3256 1 - 0.0000 -
2951.18/2963.85 c 2964 29187 3269 1 - 0.0000 -
2956.26/2968.98 c 2969 29256 3272 1 - 0.0000 -
2961.44/2974.17 c 2974 29317 3279 1 - 0.0000 -
2966.62/2979.39 c 2979 29384 3294 1 - 0.0000 -
2971.91/2984.60 c 2985 29447 3299 1 - 0.0000 -
2976.98/2989.72 c 2990 29502 3306 1 - 0.0000 -
2982.27/2995.05 c 2995 29568 3316 1 - 0.0000 -
2987.64/3000.41 c 3000 29633 3327 1 - 0.0000 -
2992.72/3005.57 c 3006 29697 3337 1 - 0.0000 -
2998.10/3010.93 c 3011 29763 3345 1 - 0.0000 -
3003.20/3016.06 c 3016 29831 3349 1 - 0.0000 -
3008.77/3021.61 c 3022 29892 3360 1 - 0.0000 -
3014.15/3027.07 c 3027 29959 3367 1 - 0.0000 -
3019.62/3032.51 c 3033 30021 3377 1 - 0.0000 -
3024.80/3037.76 c 3038 30090 3384 1 - 0.0000 -
3029.98/3042.99 c 3043 30156 3392 1 - 0.0000 -
3035.17/3048.13 c 3048 30220 3396 1 - 0.0000 -
3040.74/3053.73 c 3054 30291 3403 1 - 0.0000 -
3046.02/3059.02 c 3059 30355 3413 1 - 0.0000 -
3051.20/3064.21 c 3064 30417 3423 1 - 0.0000 -
3056.87/3069.92 c 3070 30484 3430 1 - 0.0000 -
3062.16/3075.22 c 3075 30546 3450 1 - 0.0000 -
3067.64/3080.72 c 3081 30601 3459 1 - 0.0000 -
3072.93/3086.10 c 3086 30669 3467 1 - 0.0000 -
3078.40/3091.50 c 3092 30736 3480 1 - 0.0000 -
3083.58/3096.74 c 3097 30799 3485 1 - 0.0000 -
3088.76/3101.98 c 3102 30863 3493 1 - 0.0000 -
3093.94/3107.15 c 3107 30922 3500 1 - 0.0000 -
3099.02/3112.29 c 3112 30994 3510 1 - 0.0000 -
3104.49/3117.79 c 3118 31064 3514 1 - 0.0000 -
3109.78/3123.00 c 3123 31131 3519 1 - 0.0000 -
3114.87/3128.14 c 3128 31199 3523 1 - 0.0000 -
3120.04/3133.32 c 3133 31267 3529 1 - 0.0000 -
3125.22/3138.55 c 3139 31340 3532 1 - 0.0000 -
3130.30/3143.66 c 3144 31410 3534 1 - 0.0000 -
3135.47/3148.89 c 3149 31484 3538 1 - 0.0000 -
3140.95/3154.38 c 3154 31553 3541 1 - 0.0000 -
3146.13/3159.60 c 3160 31614 3544 1 - 0.0000 -
3151.51/3164.90 c 3165 31687 3555 1 - 0.0000 -
3156.61/3170.00 c 3170 31755 3555 1 - 0.0000 -
3161.68/3175.17 c 3175 31822 3558 1 - 0.0000 -
3166.96/3180.44 c 3180 31886 3564 1 - 0.0000 -
3172.33/3185.82 c 3186 31961 3567 1 - 0.0000 -
3177.41/3190.98 c 3191 32018 3570 1 - 0.0000 -
3182.69/3196.25 c 3196 32084 3574 1 - 0.0000 -
3188.18/3201.71 c 3202 32159 3577 1 - 0.0000 -
3193.36/3206.92 c 3207 32228 3587 1 - 0.0000 -
3198.63/3212.27 c 3212 32304 3597 1 - 0.0000 -
3204.01/3217.61 c 3218 32368 3607 1 - 0.0000 -
3209.40/3223.01 c 3223 32439 3610 1 - 0.0000 -
3214.57/3228.26 c 3228 32505 3616 1 - 0.0000 -
3220.05/3233.74 c 3234 32562 3621 1 - 0.0000 -
3225.23/3238.95 c 3239 32629 3628 1 - 0.0000 -
3230.42/3244.13 c 3244 32693 3634 1 - 0.0000 -
3235.49/3249.25 c 3249 32762 3635 1 - 0.0000 -
3240.67/3254.44 c 3254 32828 3639 1 - 0.0000 -
3246.15/3259.94 c 3260 32898 3643 1 - 0.0000 -
3251.34/3265.19 c 3265 32972 3653 1 - 0.0000 -
3256.61/3270.41 c 3270 33029 3662 1 - 0.0000 -
3261.99/3275.80 c 3276 33102 3663 1 - 0.0000 -
3267.37/3281.24 c 3281 33170 3669 1 - 0.0000 -
3272.55/3286.43 c 3286 33240 3671 1 - 0.0000 -
3278.03/3291.91 c 3292 33308 3675 1 - 0.0000 -
3283.21/3297.19 c 3297 33376 3675 1 - 0.0000 -
3288.38/3302.33 c 3302 33444 3677 1 - 0.0000 -
3293.47/3307.49 c 3308 33516 3681 1 - 0.0000 -
3298.65/3312.62 c 3313 33587 3682 1 - 0.0000 -
3303.83/3317.86 c 3318 33660 3683 1 - 0.0000 -
3309.11/3323.18 c 3323 33731 3686 1 - 0.0000 -
3314.28/3328.32 c 3328 33792 3693 1 - 0.0000 -
3319.37/3333.49 c 3334 33860 3695 1 - 0.0000 -
3324.65/3338.71 c 3339 33926 3699 1 - 0.0000 -
3329.73/3343.88 c 3344 33992 3699 1 - 0.0000 -
3335.02/3349.12 c 3349 34060 3699 1 - 0.0000 -
3340.19/3354.35 c 3354 34132 3703 1 - 0.0000 -
3345.27/3359.44 c 3359 34199 3704 1 - 0.0000 -
3350.55/3364.75 c 3365 34268 3705 1 - 0.0000 -
3355.63/3369.85 c 3370 34336 3705 1 - 0.0000 -
3360.81/3375.07 c 3375 34407 3706 1 - 0.0000 -
3365.98/3380.25 c 3380 34474 3713 1 - 0.0000 -
3371.17/3385.45 c 3385 34548 3717 1 - 0.0000 -
3376.35/3390.62 c 3391 34615 3724 1 - 0.0000 -
3381.53/3395.83 c 3396 34679 3732 1 - 0.0000 -
3386.90/3401.29 c 3401 34749 3734 1 - 0.0000 -
3392.28/3406.65 c 3407 34815 3738 1 - 0.0000 -
3397.37/3411.77 c 3412 34883 3740 1 - 0.0000 -
3402.55/3416.98 c 3417 34951 3744 1 - 0.0000 -
3407.82/3422.23 c 3422 35020 3747 1 - 0.0000 -
3413.10/3427.50 c 3428 35090 3749 1 - 0.0000 -
3418.28/3432.72 c 3433 35152 3755 1 - 0.0000 -
3423.76/3438.27 c 3438 35221 3764 1 - 0.0000 -
3429.04/3443.57 c 3444 35300 3763 1 - 0.0000 -
3434.42/3448.97 c 3449 35365 3766 1 - 0.0000 -
3439.79/3454.30 c 3454 35433 3768 1 - 0.0000 -
3444.98/3459.59 c 3460 35505 3770 1 - 0.0000 -
3450.16/3464.79 c 3465 35574 3771 1 - 0.0000 -
3455.45/3470.05 c 3470 35633 3770 1 - 0.0000 -
3460.92/3475.52 c 3476 35705 3770 1 - 0.0000 -
3466.00/3480.64 c 3481 35772 3777 1 - 0.0000 -
3471.28/3485.96 c 3486 35841 3784 1 - 0.0000 -
3476.46/3491.14 c 3491 35912 3783 1 - 0.0000 -
3481.74/3496.43 c 3496 35981 3784 1 - 0.0000 -
3486.92/3501.62 c 3502 36048 3787 1 - 0.0000 -
3492.40/3507.14 c 3507 36122 3789 1 - 0.0000 -
3497.58/3512.32 c 3512 36191 3790 1 - 0.0000 -
3502.66/3517.46 c 3517 36264 3791 1 - 0.0000 -
3507.74/3522.56 c 3523 36335 3792 1 - 0.0000 -
3513.11/3527.95 c 3528 36404 3793 1 - 0.0000 -
3518.20/3533.04 c 3533 36471 3796 1 - 0.0000 -
3523.37/3538.22 c 3538 36542 3795 1 - 0.0000 -
3528.46/3543.38 c 3543 36612 3795 1 - 0.0000 -
3533.74/3548.65 c 3549 36687 3796 1 - 0.0000 -
3538.82/3553.79 c 3554 36758 3795 1 - 0.0000 -
3544.30/3559.20 c 3559 36830 3807 1 - 0.0000 -
3549.48/3564.40 c 3564 36898 3807 1 - 0.0000 -
3554.86/3569.81 c 3570 36969 3808 1 - 0.0000 -
3560.33/3575.31 c 3575 37041 3808 1 - 0.0000 -
3565.51/3580.51 c 3581 37112 3807 1 - 0.0000 -
3570.69/3585.80 c 3586 37181 3808 1 - 0.0000 -
3576.17/3591.22 c 3591 37251 3810 1 - 0.0000 -
3581.25/3596.38 c 3596 37324 3820 1 - 0.0000 -
3585.64/3600.76 c SCIP Status : c solving was interrupted [hard time limit reached]
3585.64/3600.76 c Total Time : 3600.7700
3585.64/3600.76 c solving : 3600.7700
3585.64/3600.76 c presolving : 56.1216 (included in solving)
3585.64/3600.76 c B&B Tree :
3585.64/3600.76 c nodes (total) : 1
3585.64/3600.76 c Solution :
3585.64/3600.78 c Solutions found : 0
3585.64/3600.78 c Primal Bound : -
3585.64/3600.78 c Dual Bound : +0.00000000000000e+00
3585.64/3600.78 c Gap : -
3586.13/3601.20 s UNKNOWN
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63968 MiB (62357 MiB free)
memory of node 1: 64473 MiB (61598 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4442930-1721300959/watcher-4442930-1721300959 -o /tmp/evaluation-result-4442930-1721300959/solver-4442930-1721300959 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC026-1721293769-954237 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4442930-1721300959.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=959236, runsolver pid=959233
Current StackSize limit: 8192 KiB
[startup+0.100091 s]*
/proc/loadavg: 4.08 4.13 4.10 5/259 959237
/proc/meminfo: memFree=126884760/131524600 swapFree=131071996/131071996
[pid=959236] ppid=959233 vsize=66976 memory=54656 CPUtime=0.09 cores=0,2
/proc/959236/stat : 959236 (fscip) R 959233 959236 954227 0 -1 4194304 11617 0 0 0 8 1 0 0 20 0 1 0 182262088 68583424 13664 134679101440 4194304 16613245 140731368006416 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 51855360 140731368014868 140731368014984 140731368014984 140731368022000 0
/proc/959236/statm: 16744 13664 2318 3032 0 13144 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 66976 KiB
Current children cumulated memory: 54656 KiB
[startup+0.205787 s]*
/proc/loadavg: 4.08 4.13 4.10 5/259 959237
/proc/meminfo: memFree=126848640/131524600 swapFree=131071996/131071996
[pid=959236] ppid=959233 vsize=102856 memory=90588 CPUtime=0.2 cores=0,2
/proc/959236/stat : 959236 (fscip) R 959233 959236 954227 0 -1 4194304 20570 0 0 0 18 2 0 0 20 0 1 0 182262088 105324544 22647 134679101440 4194304 16613245 140731368006416 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 51855360 140731368014868 140731368014984 140731368014984 140731368022000 0
/proc/959236/statm: 25714 22647 2318 3032 0 22114 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 102856 KiB
Current children cumulated memory: 90588 KiB
[startup+0.305774 s]*
/proc/loadavg: 4.08 4.13 4.10 6/259 959237
/proc/meminfo: memFree=126816916/131524600 swapFree=131071996/131071996
[pid=959236] ppid=959233 vsize=135560 memory=123244 CPUtime=0.3 cores=0,2
/proc/959236/stat : 959236 (fscip) R 959233 959236 954227 0 -1 4194304 28749 0 0 0 26 4 0 0 20 0 1 0 182262088 138813440 30811 134679101440 4194304 16613245 140731368006416 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 51855360 140731368014868 140731368014984 140731368014984 140731368022000 0
/proc/959236/statm: 33890 30811 2318 3032 0 30290 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 135560 KiB
Current children cumulated memory: 123244 KiB
[startup+0.700237 s]
/proc/loadavg: 4.08 4.13 4.10 5/259 959237
/proc/meminfo: memFree=126722536/131524600 swapFree=131071996/131071996
[pid=959236] ppid=959233 vsize=311348 memory=300028 CPUtime=0.69 cores=0,2
/proc/959236/stat : 959236 (fscip) R 959233 959236 954227 0 -1 4194304 73690 0 0 0 58 11 0 0 20 0 1 0 182262088 318820352 75007 134679101440 4194304 16613245 140731368006416 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 51855360 140731368014868 140731368014984 140731368014984 140731368022000 0
/proc/959236/statm: 77837 75007 2542 3032 0 74237 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 311348 KiB
Current children cumulated memory: 300028 KiB
[startup+1.50024 s]
/proc/loadavg: 4.08 4.13 4.10 5/259 959237
/proc/meminfo: memFree=126466992/131524600 swapFree=131071996/131071996
[pid=959236] ppid=959233 vsize=574544 memory=538512 CPUtime=1.48 cores=0,2
/proc/959236/stat : 959236 (fscip) R 959233 959236 954227 0 -1 4194304 123556 0 0 0 130 18 0 0 20 0 1 0 182262088 588333056 134628 134679101440 4194304 16613245 140731368006416 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 51855360 140731368014868 140731368014984 140731368014984 140731368022000 0
/proc/959236/statm: 143636 134628 2606 3032 0 140036 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 574544 KiB
Current children cumulated memory: 538512 KiB
[startup+3.10562 s]
/proc/loadavg: 4.08 4.13 4.10 5/261 959239
/proc/meminfo: memFree=126079732/131524600 swapFree=131071996/131071996
[pid=959236] ppid=959233 vsize=670896 memory=654224 CPUtime=3.09 cores=0,2
/proc/959236/stat : 959236 (fscip) R 959233 959236 954227 0 -1 4194304 163671 0 0 0 280 29 0 0 20 0 1 0 182262088 686997504 163556 134679101440 4194304 16613245 140731368006416 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 51855360 140731368014868 140731368014984 140731368014984 140731368022000 0
/proc/959236/statm: 167724 163556 2670 3032 0 164124 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 670896 KiB
Current children cumulated memory: 654224 KiB
[startup+6.30022 s]
/proc/loadavg: 4.16 4.14 4.11 5/260 959241
/proc/meminfo: memFree=125996788/131524600 swapFree=131071996/131071996
[pid=959236] ppid=959233 vsize=675312 memory=658980 CPUtime=6.26 cores=0,2
/proc/959236/stat : 959236 (fscip) R 959233 959236 954227 0 -1 4194304 163803 0 0 0 597 29 0 0 20 0 1 0 182262088 691519488 164745 134679101440 4194304 16613245 140731368006416 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 51855360 140731368014868 140731368014984 140731368014984 140731368022000 0
/proc/959236/statm: 168828 164745 2750 3032 0 165228 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 675312 KiB
Current children cumulated memory: 658980 KiB
[startup+12.7002 s]
/proc/loadavg: 4.14 4.14 4.11 5/258 959335
/proc/meminfo: memFree=125941748/131524600 swapFree=131071996/131071996
[pid=959236] ppid=959233 vsize=807968 memory=735756 CPUtime=12.64 cores=0,2
/proc/959236/stat : 959236 (fscip) R 959233 959236 954227 0 -1 4194304 174862 0 0 0 1232 32 0 0 20 0 1 0 182262088 827359232 183939 134679101440 4194304 16613245 140731368006416 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 51855360 140731368014868 140731368014984 140731368014984 140731368022000 0
/proc/959236/statm: 201992 183939 2750 3032 0 198392 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 807968 KiB
Current children cumulated memory: 735756 KiB
[startup+25.5002 s]
/proc/loadavg: 4.11 4.14 4.10 6/258 959336
/proc/meminfo: memFree=125824792/131524600 swapFree=131071996/131071996
[pid=959236] ppid=959233 vsize=807968 memory=740024 CPUtime=25.39 cores=0,2
/proc/959236/stat : 959236 (fscip) R 959233 959236 954227 0 -1 4194304 174885 0 0 0 2506 33 0 0 20 0 1 0 182262088 827359232 185006 134679101440 4194304 16613245 140731368006416 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 51855360 140731368014868 140731368014984 140731368014984 140731368022000 0
/proc/959236/statm: 201992 185006 2750 3032 0 198392 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 807968 KiB
Current children cumulated memory: 740024 KiB
[startup+51.1059 s]
/proc/loadavg: 4.21 4.16 4.11 5/260 959393
/proc/meminfo: memFree=127145260/131524600 swapFree=131071996/131071996
[pid=959236] ppid=959233 vsize=807968 memory=744120 CPUtime=50.91 cores=0,2
/proc/959236/stat : 959236 (fscip) R 959233 959236 954227 0 -1 4194304 174904 0 0 0 5057 34 0 0 20 0 1 0 182262088 827359232 186030 134679101440 4194304 16613245 140731368006416 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 51855360 140731368014868 140731368014984 140731368014984 140731368022000 0
/proc/959236/statm: 201992 186030 2750 3032 0 198392 0
Current children cumulated CPU time: 50.91 s
Current children cumulated vsize: 807968 KiB
Current children cumulated memory: 744120 KiB
[startup+102.3 s]
/proc/loadavg: 4.17 4.15 4.11 5/264 959407
/proc/meminfo: memFree=125882836/131524600 swapFree=131071996/131071996
[pid=959236] ppid=959233 vsize=1966096 memory=1771096 CPUtime=101.57 cores=0,2
/proc/959236/stat : 959236 (fscip) S 959233 959236 954227 0 -1 1077936128 640364 0 0 0 10067 90 0 0 20 0 3 0 182262088 2013282304 442774 134679101440 4194304 16613245 140731368006416 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 51855360 140731368014868 140731368014984 140731368014984 140731368022000 0
/proc/959236/statm: 491524 442774 2926 3032 0 479017 0
[pid=959236/tid=959395] ppid=959233 vsize=1966096 memory=11664 CPUtime=44.12 cores=0,2
/proc/959236/task/959395/stat : 959395 (fscip) R 959233 959236 954227 0 -1 4194368 440358 0 0 0 4359 53 0 0 20 0 3 0 182267795 2013282304 442774 134679101440 4194304 16613245 140731368006416 0 0 0 0 0 2 0 0 0 -1 2 0 0 0 0 0 18822208 18930672 51855360 140731368014868 140731368014984 140731368014984 140731368022000 0
[pid=959236/tid=959396] ppid=959233 vsize=1966096 memory=1771092 CPUtime=0 cores=0,2
/proc/959236/task/959396/stat : 959396 (fscip) S 959233 959236 954227 0 -1 1077936192 15 0 0 0 0 0 0 0 20 0 3 0 182267904 2013282304 442774 134679101440 4194304 16613245 140731368006416 0 0 0 0 0 2 1 0 0 -1 0 0 0 0 0 0 18822208 18930672 51855360 140731368014868 140731368014984 140731368014984 140731368022000 0
Current children cumulated CPU time: 101.57 s
Current children cumulated vsize: 1966096 KiB
Current children cumulated memory: 1771096 KiB
[startup+162.3 s]
/proc/loadavg: 4.19 4.15 4.11 5/264 959417
/proc/meminfo: memFree=125845612/131524600 swapFree=131071996/131071996
[pid=959236] ppid=959233 vsize=2133272 memory=1776700 CPUtime=160.98 cores=0,2
/proc/959236/stat : 959236 (fscip) S 959233 959236 954227 0 -1 1077936128 796524 0 0 0 15998 100 0 0 20 0 3 0 182262088 2184470528 444175 134679101440 4194304 16613245 140731368006416 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 51855360 140731368014868 140731368014984 140731368014984 140731368022000 0
/proc/959236/statm: 533318 444175 2926 3032 0 522204 0
[pid=959236/tid=959395] ppid=959233 vsize=2133272 memory=1771120 CPUtime=103.52 cores=0,2
/proc/959236/task/959395/stat : 959395 (fscip) R 959233 959236 954227 0 -1 4194368 596507 0 0 0 10290 62 0 0 20 0 3 0 182267795 2184470528 444175 134679101440 4194304 16613245 140731368006416 0 0 0 0 0 2 0 0 0 -1 2 0 0 0 0 0 18822208 18930672 51855360 140731368014868 140731368014984 140731368014984 140731368022000 0
[pid=959236/tid=959396] ppid=959233 vsize=2133272 memory=1771120 CPUtime=0 cores=0,2
/proc/959236/task/959396/stat : 959396 (fscip) S 959233 959236 954227 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 3 0 182267904 2184470528 444175 134679101440 4194304 16613245 140731368006416 0 0 0 0 0 2 1 0 0 -1 0 0 0 0 0 0 18822208 18930672 51855360 140731368014868 140731368014984 140731368014984 140731368022000 0
Current children cumulated CPU time: 160.98 s
Current children cumulated vsize: 2133272 KiB
Current children cumulated memory: 1776700 KiB
[startup+222.3 s]
/proc/loadavg: 4.19 4.15 4.11 5/264 959428
/proc/meminfo: memFree=125510544/131524600 swapFree=131071996/131071996
[pid=959236] ppid=959233 vsize=2594700 memory=2104396 CPUtime=220.4 cores=0,2
/proc/959236/stat : 959236 (fscip) S 959233 959236 954227 0 -1 1077936128 995335 0 0 0 21922 118 0 0 20 0 3 0 182262088 2656972800 526099 134679101440 4194304 16613245 140731368006416 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 51855360 140731368014868 140731368014984 140731368014984 140731368022000 0
/proc/959236/statm: 648675 526099 2926 3032 0 637447 0
[pid=959236/tid=959395] ppid=959233 vsize=2594700 memory=12420 CPUtime=162.94 cores=0,2
/proc/959236/task/959395/stat : 959395 (fscip) R 959233 959236 954227 0 -1 4194368 795268 0 0 0 16214 80 0 0 20 0 3 0 182267795 2656972800 526099 134679101440 4194304 16613245 140731368006416 0 0 0 0 0 2 0 0 0 -1 2 0 0 0 0 0 18822208 18930672 51855360 140731368014868 140731368014984 140731368014984 140731368022000 0
[pid=959236/tid=959396] ppid=959233 vsize=2594700 memory=11664 CPUtime=0 cores=0,2
/proc/959236/task/959396/stat : 959396 (fscip) S 959233 959236 954227 0 -1 1077936192 32 0 0 0 0 0 0 0 20 0 3 0 182267904 2656972800 526099 134679101440 4194304 16613245 140731368006416 0 0 0 0 0 2 1 0 0 -1 0 0 0 0 0 0 18822208 18930672 51855360 140731368014868 140731368014984 140731368014984 140731368022000 0
Current children cumulated CPU time: 220.4 s
Current children cumulated vsize: 2594700 KiB
Current children cumulated memory: 2104396 KiB
[startup+282.3 s]
/proc/loadavg: 4.13 4.14 4.10 5/264 959440
/proc/meminfo: memFree=125353508/131524600 swapFree=131071996/131071996
[pid=959236] ppid=959233 vsize=2762036 memory=2179992 CPUtime=279.88 cores=0,2
/proc/959236/stat : 959236 (fscip) S 959233 959236 954227 0 -1 1077936128 1200439 0 0 0 27854 134 0 0 20 0 3 0 182262088 2828324864 544998 134679101440 4194304 16613245 140731368006416 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 51855360 140731368014868 140731368014984 140731368014984 140731368022000 0
/proc/959236/statm: 690509 544998 2974 3032 0 678639 0
[pid=959236/tid=959395] ppid=959233 vsize=2762036 memory=2104392 CPUtime=222.42 cores=0,2
/proc/959236/task/959395/stat : 959395 (fscip) R 959233 959236 954227 0 -1 4194368 1000334 0 0 0 22146 96 0 0 20 0 3 0 182267795 2828324864 544998 134679101440 4194304 16613245 140731368006416 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 51855360 140731368014868 140731368014984 140731368014984 140731368022000 0
[pid=959236/tid=959396] ppid=959233 vsize=2762036 memory=11664 CPUtime=0 cores=0,2
/proc/959236/task/959396/stat : 959396 (fscip) S 959233 959236 954227 0 -1 1077936192 37 0 0 0 0 0 0 0 20 0 3 0 182267904 2828324864 544998 134679101440 4194304 16613245 140731368006416 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 51855360 140731368014868 140731368014984 140731368014984 140731368022000 0
Current children cumulated CPU time: 279.88 s
Current children cumulated vsize: 2762036 KiB
Current children cumulated memory: 2179992 KiB
[startup+342.3 s]
/proc/loadavg: 4.09 4.13 4.10 5/264 959451
/proc/meminfo: memFree=125348092/131524600 swapFree=131071996/131071996
[pid=959236] ppid=959233 vsize=2762036 memory=2179992 CPUtime=339.67 cores=0,2
/proc/959236/stat : 959236 (fscip) S 959233 959236 954227 0 -1 1077936128 1289618 0 0 0 33829 138 0 0 20 0 3 0 182262088 2828324864 544998 134679101440 4194304 16613245 140731368006416 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 51855360 140731368014868 140731368014984 140731368014984 140731368022000 0
/proc/959236/statm: 690509 544998 2974 3032 0 678639 0
[pid=959236/tid=959395] ppid=959233 vsize=2762036 memory=2179992 CPUtime=282.21 cores=0,2
/proc/959236/task/959395/stat : 959395 (fscip) R 959233 959236 954227 0 -1 4194368 1089485 0 0 0 28120 101 0 0 20 0 3 0 182267795 2828324864 544998 134679101440 4194304 16613245 140731368006416 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 51855360 140731368014868 140731368014984 140731368014984 140731368022000 0
[pid=959236/tid=959396] ppid=959233 vsize=2762036 memory=2179992 CPUtime=0 cores=0,2
/proc/959236/task/959396/stat : 959396 (fscip) S 959233 959236 954227 0 -1 1077936192 39 0 0 0 0 0 0 0 20 0 3 0 182267904 2828324864 544998 134679101440 4194304 16613245 140731368006416 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 51855360 140731368014868 140731368014984 140731368014984 140731368022000 0
################
# More data... #
################
/proc/loadavg: 4.21 4.15 4.10 5/262 961196
/proc/meminfo: memFree=124171884/131524600 swapFree=131071996/131071996
[pid=959236] ppid=959233 vsize=3486916 memory=2794008 CPUtime=3388 cores=0,2
/proc/959236/stat : 959236 (fscip) S 959233 959236 954227 0 -1 1077936128 3798755 0 0 0 338457 343 0 0 20 0 3 0 182262088 3570601984 698502 134679101440 4194304 16613245 140731368006416 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 51855360 140731368014868 140731368014984 140731368014984 140731368022000 0
/proc/959236/statm: 871729 698502 2974 3032 0 856773 0
[pid=959236/tid=959395] ppid=959233 vsize=3486916 memory=2794008 CPUtime=3330.33 cores=0,2
/proc/959236/task/959395/stat : 959395 (fscip) R 959233 959236 954227 0 -1 4194368 3597408 0 0 0 332736 297 0 0 20 0 3 0 182267795 3570601984 698502 134679101440 4194304 16613245 140731368006416 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 51855360 140731368014868 140731368014984 140731368014984 140731368022000 0
[pid=959236/tid=959396] ppid=959233 vsize=3486916 memory=4880 CPUtime=0.04 cores=0,2
/proc/959236/task/959396/stat : 959396 (fscip) S 959233 959236 954227 0 -1 1077936192 174 0 0 0 1 3 0 0 20 0 3 0 182267904 3570601984 698502 134679101440 4194304 16613245 140731368006416 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 51855360 140731368014868 140731368014984 140731368014984 140731368022000 0
Current children cumulated CPU time: 3388 s
Current children cumulated vsize: 3486916 KiB
Current children cumulated memory: 2794008 KiB
[startup+3462.3 s]
/proc/loadavg: 4.22 4.16 4.10 5/262 961206
/proc/meminfo: memFree=124154476/131524600 swapFree=131071996/131071996
[pid=959236] ppid=959233 vsize=3486916 memory=2794008 CPUtime=3447.77 cores=0,2
/proc/959236/stat : 959236 (fscip) S 959233 959236 954227 0 -1 1077936128 3807041 0 0 0 344432 345 0 0 20 0 3 0 182262088 3570601984 698502 134679101440 4194304 16613245 140731368006416 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 51855360 140731368014868 140731368014984 140731368014984 140731368022000 0
/proc/959236/statm: 871729 698502 2974 3032 0 856773 0
[pid=959236/tid=959395] ppid=959233 vsize=3486916 memory=2794008 CPUtime=3390.09 cores=0,2
/proc/959236/task/959395/stat : 959395 (fscip) R 959233 959236 954227 0 -1 4194368 3605673 0 0 0 338711 298 0 0 20 0 3 0 182267795 3570601984 698502 134679101440 4194304 16613245 140731368006416 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 51855360 140731368014868 140731368014984 140731368014984 140731368022000 0
[pid=959236/tid=959396] ppid=959233 vsize=3486916 memory=2794008 CPUtime=0.04 cores=0,2
/proc/959236/task/959396/stat : 959396 (fscip) S 959233 959236 954227 0 -1 1077936192 176 0 0 0 1 3 0 0 20 0 3 0 182267904 3570601984 698502 134679101440 4194304 16613245 140731368006416 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 51855360 140731368014868 140731368014984 140731368014984 140731368022000 0
Current children cumulated CPU time: 3447.77 s
Current children cumulated vsize: 3486916 KiB
Current children cumulated memory: 2794008 KiB
[startup+3522.3 s]
/proc/loadavg: 3.64 4.01 4.06 4/253 961248
/proc/meminfo: memFree=124534828/131524600 swapFree=131071996/131071996
[pid=959236] ppid=959233 vsize=3552452 memory=2870892 CPUtime=3507.54 cores=0,2
/proc/959236/stat : 959236 (fscip) S 959233 959236 954227 0 -1 1077936128 3898285 0 0 0 350400 354 0 0 20 0 3 0 182262088 3637710848 717723 134679101440 4194304 16613245 140731368006416 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 51855360 140731368014868 140731368014984 140731368014984 140731368022000 0
/proc/959236/statm: 888113 717723 2974 3032 0 875455 0
[pid=959236/tid=959395] ppid=959233 vsize=3552452 memory=2870892 CPUtime=3449.86 cores=0,2
/proc/959236/task/959395/stat : 959395 (fscip) R 959233 959236 954227 0 -1 4194368 3696894 0 0 0 344678 308 0 0 20 0 3 0 182267795 3637710848 717723 134679101440 4194304 16613245 140731368006416 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 51855360 140731368014868 140731368014984 140731368014984 140731368022000 0
[pid=959236/tid=959396] ppid=959233 vsize=3552452 memory=2870892 CPUtime=0.04 cores=0,2
/proc/959236/task/959396/stat : 959396 (fscip) S 959233 959236 954227 0 -1 1077936192 178 0 0 0 1 3 0 0 20 0 3 0 182267904 3637710848 717723 134679101440 4194304 16613245 140731368006416 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 51855360 140731368014868 140731368014984 140731368014984 140731368022000 0
Current children cumulated CPU time: 3507.54 s
Current children cumulated vsize: 3552452 KiB
Current children cumulated memory: 2870892 KiB
[startup+3582.3 s]
/proc/loadavg: 3.35 3.86 4.00 4/253 961258
/proc/meminfo: memFree=124535604/131524600 swapFree=131071996/131071996
[pid=959236] ppid=959233 vsize=3552452 memory=2870892 CPUtime=3567.3 cores=0,2
/proc/959236/stat : 959236 (fscip) S 959233 959236 954227 0 -1 1077936128 3904961 0 0 0 356375 355 0 0 20 0 3 0 182262088 3637710848 717723 134679101440 4194304 16613245 140731368006416 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 51855360 140731368014868 140731368014984 140731368014984 140731368022000 0
/proc/959236/statm: 888113 717723 2974 3032 0 875455 0
[pid=959236/tid=959395] ppid=959233 vsize=3552452 memory=11664 CPUtime=3509.62 cores=0,2
/proc/959236/task/959395/stat : 959395 (fscip) R 959233 959236 954227 0 -1 4194368 3703549 0 0 0 350654 308 0 0 20 0 3 0 182267795 3637710848 717723 134679101440 4194304 16613245 140731368006416 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 51855360 140731368014868 140731368014984 140731368014984 140731368022000 0
[pid=959236/tid=959396] ppid=959233 vsize=3552452 memory=-6514284690057378667 CPUtime=0.04 cores=0,2
/proc/959236/task/959396/stat : 959396 (fscip) S 959233 959236 954227 0 -1 1077936192 180 0 0 0 1 3 0 0 20 0 3 0 182267904 3637710848 717723 134679101440 4194304 16613245 140731368006416 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 51855360 140731368014868 140731368014984 140731368014984 140731368022000 0
Current children cumulated CPU time: 3567.3 s
Current children cumulated vsize: 3552452 KiB
Current children cumulated memory: 2870892 KiB
[startup+3601.24 s]
# the end of solver process 959236 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3582.56 s, system=3.61912 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 3.35 3.86 4.00 4/253 961258
/proc/meminfo: memFree=124535604/131524600 swapFree=131071996/131071996
[pid=959236] ppid=959233 vsize=3552452 memory=2870892 CPUtime=3569 cores=0,2
/proc/959236/stat : 959236 (fscip) S 959233 959236 954227 0 -1 1077936128 3905203 0 0 0 356545 355 0 0 20 0 3 0 182262088 3637710848 717723 134679101440 4194304 16613245 140731368006416 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 51855360 140731368014868 140731368014984 140731368014984 140731368022000 0
/proc/959236/statm: 888113 717723 2974 3032 0 875455 0
[pid=959236/tid=959395] ppid=959233 vsize=3552452 memory=-6514284690057378667 CPUtime=3511.32 cores=0,2
/proc/959236/task/959395/stat : 959395 (fscip) R 959233 959236 954227 0 -1 4194368 3703791 0 0 0 350824 308 0 0 20 0 3 0 182267795 3637710848 717723 134679101440 4194304 16613245 140731368006416 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 51855360 140731368014868 140731368014984 140731368014984 140731368022000 0
[pid=959236/tid=959396] ppid=959233 vsize=3552452 memory=-7737314618303276151 CPUtime=0.04 cores=0,2
/proc/959236/task/959396/stat : 959396 (fscip) S 959233 959236 954227 0 -1 1077936192 180 0 0 0 1 3 0 0 20 0 3 0 182267904 3637710848 717723 134679101440 4194304 16613245 140731368006416 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 51855360 140731368014868 140731368014984 140731368014984 140731368022000 0
Current children cumulated CPU time: 3569 s
Current children cumulated vsize: 3552452 KiB
Current children cumulated memory: 2870892 KiB
[startup+3590.4 s]
/proc/loadavg: 3.30 3.83 3.99 4/253 961260
/proc/meminfo: memFree=124535484/131524600 swapFree=131071996/131071996
[pid=959236] ppid=959233 vsize=3552452 memory=2870892 CPUtime=3575.37 cores=0,2
/proc/959236/stat : 959236 (fscip) S 959233 959236 954227 0 -1 1077936128 3905732 0 0 0 357182 355 0 0 20 0 3 0 182262088 3637710848 717723 134679101440 4194304 16613245 140731368006416 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 51855360 140731368014868 140731368014984 140731368014984 140731368022000 0
/proc/959236/statm: 888113 717723 2974 3032 0 875455 0
[pid=959236/tid=959395] ppid=959233 vsize=3552452 memory=5468 CPUtime=3517.69 cores=0,2
/proc/959236/task/959395/stat : 959395 (fscip) R 959233 959236 954227 0 -1 4194368 3704320 0 0 0 351461 308 0 0 20 0 3 0 182267795 3637710848 717723 134679101440 4194304 16613245 140731368006416 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 51855360 140731368014868 140731368014984 140731368014984 140731368022000 0
[pid=959236/tid=959396] ppid=959233 vsize=3552452 memory=2870892 CPUtime=0.04 cores=0,2
/proc/959236/task/959396/stat : 959396 (fscip) S 959233 959236 954227 0 -1 1077936192 180 0 0 0 1 3 0 0 20 0 3 0 182267904 3637710848 717723 134679101440 4194304 16613245 140731368006416 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 51855360 140731368014868 140731368014984 140731368014984 140731368022000 0
Current children cumulated CPU time: 3575.37 s
Current children cumulated vsize: 3552452 KiB
Current children cumulated memory: 2870892 KiB
[startup+3596.8 s]
/proc/loadavg: 3.27 3.82 3.98 4/253 961262
/proc/meminfo: memFree=124535388/131524600 swapFree=131071996/131071996
[pid=959236] ppid=959233 vsize=3552452 memory=2870892 CPUtime=3581.75 cores=0,2
/proc/959236/stat : 959236 (fscip) S 959233 959236 954227 0 -1 1077936128 3907318 0 0 0 357820 355 0 0 20 0 3 0 182262088 3637710848 717723 134679101440 4194304 16613245 140731368006416 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 51855360 140731368014868 140731368014984 140731368014984 140731368022000 0
/proc/959236/statm: 888113 717723 2974 3032 0 875455 0
[pid=959236/tid=959395] ppid=959233 vsize=3552452 memory=2870892 CPUtime=3524.06 cores=0,2
/proc/959236/task/959395/stat : 959395 (fscip) R 959233 959236 954227 0 -1 4194368 3705906 0 0 0 352098 308 0 0 20 0 3 0 182267795 3637710848 717723 134679101440 4194304 16613245 140731368006416 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 51855360 140731368014868 140731368014984 140731368014984 140731368022000 0
[pid=959236/tid=959396] ppid=959233 vsize=3552452 memory=43644 CPUtime=0.04 cores=0,2
/proc/959236/task/959396/stat : 959396 (fscip) S 959233 959236 954227 0 -1 1077936192 180 0 0 0 1 3 0 0 20 0 3 0 182267904 3637710848 717723 134679101440 4194304 16613245 140731368006416 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 51855360 140731368014868 140731368014984 140731368014984 140731368022000 0
Current children cumulated CPU time: 3581.75 s
Current children cumulated vsize: 3552452 KiB
Current children cumulated memory: 2870892 KiB
[startup+3598.4 s]
/proc/loadavg: 3.27 3.82 3.98 4/253 961262
/proc/meminfo: memFree=124535404/131524600 swapFree=131071996/131071996
[pid=959236] ppid=959233 vsize=3552452 memory=2870892 CPUtime=3583.34 cores=0,2
/proc/959236/stat : 959236 (fscip) S 959233 959236 954227 0 -1 1077936128 3907340 0 0 0 357979 355 0 0 20 0 3 0 182262088 3637710848 717723 134679101440 4194304 16613245 140731368006416 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 51855360 140731368014868 140731368014984 140731368014984 140731368022000 0
/proc/959236/statm: 888113 717723 2974 3032 0 875455 0
[pid=959236/tid=959395] ppid=959233 vsize=3552452 memory=11664 CPUtime=3525.65 cores=0,2
/proc/959236/task/959395/stat : 959395 (fscip) R 959233 959236 954227 0 -1 4194368 3705928 0 0 0 352257 308 0 0 20 0 3 0 182267795 3637710848 717723 134679101440 4194304 16613245 140731368006416 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 51855360 140731368014868 140731368014984 140731368014984 140731368022000 0
[pid=959236/tid=959396] ppid=959233 vsize=3552452 memory=43644 CPUtime=0.04 cores=0,2
/proc/959236/task/959396/stat : 959396 (fscip) S 959233 959236 954227 0 -1 1077936192 180 0 0 0 1 3 0 0 20 0 3 0 182267904 3637710848 717723 134679101440 4194304 16613245 140731368006416 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 51855360 140731368014868 140731368014984 140731368014984 140731368022000 0
Current children cumulated CPU time: 3583.34 s
Current children cumulated vsize: 3552452 KiB
Current children cumulated memory: 2870892 KiB
[startup+3600 s]*
/proc/loadavg: 3.25 3.80 3.98 3/244 961293
/proc/meminfo: memFree=125582524/131524600 swapFree=131071996/131071996
[pid=959236] ppid=959233 vsize=3552452 memory=2870892 CPUtime=3584.94 cores=0,2
/proc/959236/stat : 959236 (fscip) R 959233 959236 954227 0 -1 1077936128 3908199 0 0 0 358139 355 0 0 20 0 3 0 182262088 3637710848 717723 134679101440 4194304 16613245 140731368006416 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 51855360 140731368014868 140731368014984 140731368014984 140731368022000 0
/proc/959236/statm: 888113 717723 2974 3032 0 875455 0
[pid=959236/tid=959395] ppid=959233 vsize=3552452 memory=28564 CPUtime=3527.25 cores=0,2
/proc/959236/task/959395/stat : 959395 (fscip) R 959233 959236 954227 0 -1 4194368 3706787 0 0 0 352417 308 0 0 20 0 3 0 182267795 3637710848 717723 134679101440 4194304 16613245 140731368006416 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 51855360 140731368014868 140731368014984 140731368014984 140731368022000 0
[pid=959236/tid=959396] ppid=959233 vsize=3552452 memory=3692 CPUtime=0.04 cores=0,2
/proc/959236/task/959396/stat : 959396 (fscip) S 959233 959236 954227 0 -1 1077936192 180 0 0 0 1 3 0 0 20 0 3 0 182267904 3637710848 717723 134679101440 4194304 16613245 140731368006416 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 51855360 140731368014868 140731368014984 140731368014984 140731368022000 0
Current children cumulated CPU time: 3584.94 s
Current children cumulated vsize: 3552452 KiB
Current children cumulated memory: 2870892 KiB
[startup+3600.8 s]
/proc/loadavg: 3.25 3.80 3.98 3/244 961293
/proc/meminfo: memFree=125582524/131524600 swapFree=131071996/131071996
[pid=959236] ppid=959233 vsize=2786152 memory=2712592 CPUtime=3585.73 cores=0,2
/proc/959236/stat : 959236 (fscip) R 959233 959236 954227 0 -1 4194304 3935129 0 0 0 358216 357 0 0 20 0 2 0 182262088 2853019648 678148 134679101440 4194304 16613245 140731368006416 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 51855360 140731368014868 140731368014984 140731368014984 140731368022000 0
/proc/959236/statm: 696538 678148 2974 3032 0 684083 0
[pid=959236/tid=959396] ppid=959233 vsize=2786152 memory=39476 CPUtime=0.04 cores=0,2
/proc/959236/task/959396/stat : 959396 (fscip) S 959233 959236 954227 0 -1 1077936192 180 0 0 0 1 3 0 0 20 0 2 0 182267904 2853019648 678148 134679101440 4194304 16613245 140731368006416 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 51855360 140731368014868 140731368014984 140731368014984 140731368022000 0
Current children cumulated CPU time: 3585.73 s
Current children cumulated vsize: 2786152 KiB
Current children cumulated memory: 2712592 KiB
[startup+3601.2 s]
/proc/loadavg: 3.25 3.80 3.98 3/243 961293
/proc/meminfo: memFree=125739776/131524600 swapFree=131071996/131071996
[pid=959236] ppid=959233 vsize=2628500 memory=2555484 CPUtime=3586.13 cores=0,2
/proc/959236/stat : 959236 (fscip) R 959233 959236 954227 0 -1 4194304 3946735 0 0 0 358254 359 0 0 20 0 2 0 182262088 2691584000 638871 134679101440 4194304 16613245 140731368006416 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 51855360 140731368014868 140731368014984 140731368014984 140731368022000 0
/proc/959236/statm: 657125 638871 2974 3032 0 644670 0
[pid=959236/tid=959396] ppid=959233 vsize=2628500 memory=1984 CPUtime=0.04 cores=0,2
/proc/959236/task/959396/stat : 959396 (fscip) S 959233 959236 954227 0 -1 1077936192 180 0 0 0 1 3 0 0 20 0 2 0 182267904 2691584000 638871 134679101440 4194304 16613245 140731368006416 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 51855360 140731368014868 140731368014984 140731368014984 140731368022000 0
Current children cumulated CPU time: 3586.13 s
Current children cumulated vsize: 2628500 KiB
Current children cumulated memory: 2555484 KiB
Child status: 0
Real time (s): 3601.24
CPU time (s): 3586.18
CPU user time (s): 3582.56
CPU system time (s): 3.61912
CPU usage (%): 99.5819
Max. virtual memory (cumulated for all children) (KiB): 3617988
Max. memory (cumulated for all children) (KiB): 2918132
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3582.56
system time used= 3.61912
maximum resident set size= 2918132
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3947210
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= 9554
involuntary context switches= 26237
# summary of solver processes directly reported to runsolver:
# pid: 959236
# total CPU time (s): 3586.18
# total CPU user time (s): 3582.56
# total CPU system time (s): 3.61912
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.1603 second user time and 18.5234 second system time
The end
Begin job on nodeC026 at 2024-07-18 13:09:32
IDJOB=4442930
IDBENCH=147857
IDSOLVER=3064
FILE ID=nodeC026/4442930-1721300959
RUNJOBID= nodeC026-1721293769-954237
SLURM_JOB_ID= 7542600
Free space on /tmp= 889988 MiB
SOLVER NAME= FiberSCIP 2024-07-02
BENCH NAME= PB24/normalized-PB06/DEC-LIN/submitted-PB06/roussel/normalized-pigeon-clauses-91-90.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-4442930-1721300959/watcher-4442930-1721300959 -o /tmp/evaluation-result-4442930-1721300959/solver-4442930-1721300959 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC026-1721293769-954237 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4442930-1721300959.opb -qsol -t 3600 -sth 1
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 01a2d7031971d4d75da01f2dca43b6c9
RANDOM SEED=359297667
nodeC026.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 : 3663.645
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.74
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.236
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.45
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 : 3669.832
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.74
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.241
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.45
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 : 3668.644
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.74
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.219
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.45
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 : 3608.076
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.74
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.058
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.45
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 126931352 kB
MemAvailable: 127571472 kB
Buffers: 505960 kB
Cached: 971564 kB
SwapCached: 0 kB
Active: 990896 kB
Inactive: 2988772 kB
Active(anon): 1548 kB
Inactive(anon): 2538308 kB
Active(file): 989348 kB
Inactive(file): 450464 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 67724 kB
Writeback: 4 kB
AnonPages: 2493700 kB
Mapped: 140460 kB
Shmem: 37720 kB
KReclaimable: 80264 kB
Slab: 190616 kB
SReclaimable: 80264 kB
SUnreclaim: 110352 kB
KernelStack: 4144 kB
PageTables: 14112 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 1210072 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 67808 kB
HardwareCorrupted: 0 kB
AnonHugePages: 1716224 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: 260820 kB
DirectMap2M: 27824128 kB
DirectMap1G: 108003328 kB
Free space on /tmp at the end= 890016 MiB
End job on nodeC026 at 2024-07-18 14:09:33