0.00/0.00 c The following solver is parallelized by UG version 1.0.0 [GitHash: e6e2b6ff-dirty]
0.00/0.00 c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.1.1] [GitHash: 020d91813d]
0.00/0.00 c Copyright (c) 2002-2024 Zuse Institute Berlin (ZIB)
0.00/0.00 c External libraries:
0.00/0.00 c Soplex 7.1.1 Linear Programming Solver developed at Zuse Institute Berlin (soplex.zib.de) [GitHash: b4905e82]
0.00/0.00 c CppAD 20180000.0 Algorithmic Differentiation of C++ algorithms developed by B. Bell (github.com/coin-or/CppAD)
0.00/0.00 c AMPL/MP 690e9e7 AMPL .nl file reader library (github.com/ampl/mp)
0.00/0.00 c PaPILO 2.4.0 parallel presolve for integer and linear optimization (github.com/scipopt/papilo)
0.00/0.00 c Nauty 2.8.8 Computing Graph Automorphism Groups by Brendan D. McKay (users.cecs.anu.edu.au/~bdm/nauty)
0.00/0.00 c sassy 1.1 Symmetry preprocessor by Markus Anders (github.com/markusa4/sassy)
0.89/0.96 c Default LC presolving (default).
0.89/0.97 c ** Before presolving: virtualMemUsedAtLc = 768443976, getVmSize() = 457093120, SCIPgetMemUsed() = 393927596, SCIPgetMemTotal() = 405999068, SCIPgetMemExternEstim() = 362444908
0.89/0.97 c ** set memory limit for presolving in LC to 8.79586e+12 for SCIP **
52.31/52.53 c ** Estimated virtualMemUsedAtSolver = 632232616, getVmSize() = 780267520, SCIPgetMemUsed() = 502095417, SCIPgetMemTotal() = 585904017, SCIPgetMemExternEstim() = 362444908
52.31/52.53 c ** set memory limit for solvers to 4.39803e+12 for each SCIP **
52.31/52.53 c Original Problem :
52.31/52.53 c Problem name : instance-4464409-1722378603
52.31/52.53 c Variables : 8190 (8190 binary, 0 integer, 0 implicit integer, 0 continuous)
52.31/52.53 c Constraints : 368641
52.31/52.53 c Objective sense : minimize
52.31/52.53 c Presolved Problem :
52.31/52.53 c Variables : 8190 (8190 binary, 0 integer, 0 implicit integer, 0 continuous)
52.31/52.53 c Constraints : 368820
52.31/52.53 c Constraints : Number
52.31/52.53 c setppc : 368550
52.31/52.53 c linear : 179
52.31/52.53 c logicor : 91
52.31/52.53 c ** Instance transfer method used: 0
52.81/53.10 c ** ParaScipInstance copy does not increase the number of variables. **
53.31/53.59 c LC is working with racing ramp-up and with rebuilding tree after racing.
53.31/53.59 c Nodes Active
53.31/53.59 c Time Nodes Left Solvers Best Integer Best Node Gap Best Node(S) Gap(S)
194.87/195.97 c 196 2 1 1 - 0.0000 -
207.03/208.14 c 208 14 13 1 - 0.0000 -
219.08/220.25 c 220 17 16 1 - 0.0000 -
230.22/231.47 c 231 19 18 1 - 0.0000 -
239.68/240.95 c 241 21 20 1 - 0.0000 -
244.85/246.15 c 246 34 33 1 - 0.0000 -
256.58/257.93 c 258 36 35 1 - 0.0000 -
271.11/272.59 c 273 39 38 1 - 0.0000 -
278.07/279.53 c 280 45 44 1 - 0.0000 -
283.46/284.95 c 285 48 47 1 - 0.0000 -
289.93/291.46 c 291 52 51 1 - 0.0000 -
295.90/297.40 c 297 55 54 1 - 0.0000 -
301.08/302.69 c 303 62 61 1 - 0.0000 -
307.56/309.14 c 309 66 65 1 - 0.0000 -
312.84/314.49 c 314 69 68 1 - 0.0000 -
319.41/321.10 c 321 75 74 1 - 0.0000 -
328.47/330.14 c 330 86 85 1 - 0.0000 -
334.93/336.61 c 337 103 102 1 - 0.0000 -
341.41/343.13 c 343 120 119 1 - 0.0000 -
347.77/349.54 c 350 133 132 1 - 0.0000 -
353.65/355.41 c 355 142 141 1 - 0.0000 -
359.42/361.21 c 361 151 150 1 - 0.0000 -
364.50/366.32 c 366 159 158 1 - 0.0000 -
369.97/371.84 c 372 162 161 1 - 0.0000 -
375.05/376.94 c 377 165 164 1 - 0.0000 -
383.13/385.09 c 385 178 177 1 - 0.0000 -
389.10/391.05 c 391 188 187 1 - 0.0000 -
395.08/397.09 c 397 196 195 1 - 0.0000 -
400.64/402.65 c 403 203 202 1 - 0.0000 -
406.21/408.21 c 408 205 204 1 - 0.0000 -
411.70/413.75 c 414 209 208 1 - 0.0000 -
417.08/419.17 c 419 222 221 1 - 0.0000 -
422.84/424.92 c 425 228 227 1 - 0.0000 -
429.11/431.25 c 431 242 241 1 - 0.0000 -
434.10/436.28 c 436 249 248 1 - 0.0000 -
439.58/441.76 c 442 264 263 1 - 0.0000 -
445.36/447.59 c 448 273 272 1 - 0.0000 -
450.83/453.08 c 453 282 281 1 - 0.0000 -
458.09/460.38 c 460 302 301 1 - 0.0000 -
464.66/466.98 c 467 324 323 1 - 0.0000 -
475.12/477.47 c 477 339 338 1 - 0.0000 -
480.99/483.30 c 483 344 343 1 - 0.0000 -
494.34/496.75 c 497 352 351 1 - 0.0000 -
507.08/509.57 c 510 357 356 1 - 0.0000 -
514.73/517.25 c 517 359 358 1 - 0.0000 -
528.06/530.60 c 531 365 364 1 - 0.0000 -
533.44/536.03 c 536 370 369 1 - 0.0000 -
542.69/545.39 c 545 377 376 1 - 0.0000 -
548.26/550.97 c 551 420 419 1 - 0.0000 -
553.92/556.66 c 557 470 439 1 - 0.0000 -
559.79/562.59 c 563 519 468 1 - 0.0000 -
565.45/568.23 c 568 568 495 1 - 0.0000 -
570.73/573.54 c 574 616 511 1 - 0.0000 -
576.69/579.57 c 580 670 537 1 - 0.0000 -
582.35/585.26 c 585 718 557 1 - 0.0000 -
587.72/590.65 c 591 768 575 1 - 0.0000 -
592.99/595.95 c 596 822 581 1 - 0.0000 -
598.16/601.12 c 601 870 593 1 - 0.0000 -
603.83/606.84 c 607 924 609 1 - 0.0000 -
609.40/612.44 c 612 981 622 1 - 0.0000 -
614.76/617.87 c 618 1029 630 1 - 0.0000 -
620.23/623.37 c 623 1083 642 1 - 0.0000 -
625.60/628.73 c 629 1135 658 1 - 0.0000 -
631.26/634.41 c 634 1191 664 1 - 0.0000 -
636.63/639.87 c 640 1237 672 1 - 0.0000 -
642.30/645.50 c 646 1291 678 1 - 0.0000 -
647.37/650.68 c 651 1348 681 1 - 0.0000 -
652.74/656.05 c 656 1406 685 1 - 0.0000 -
658.40/661.79 c 662 1452 691 1 - 0.0000 -
663.87/667.24 c 667 1508 695 1 - 0.0000 -
669.04/672.44 c 672 1564 697 1 - 0.0000 -
674.51/677.95 c 678 1622 703 1 - 0.0000 -
680.18/683.60 c 684 1683 706 1 - 0.0000 -
686.25/689.73 c 690 1742 709 1 - 0.0000 -
691.72/695.28 c 695 1801 714 1 - 0.0000 -
696.99/700.51 c 701 1854 721 1 - 0.0000 -
702.66/706.25 c 706 1912 729 1 - 0.0000 -
708.32/711.94 c 712 1971 732 1 - 0.0000 -
713.89/717.57 c 718 2030 739 1 - 0.0000 -
719.56/723.21 c 723 2090 743 1 - 0.0000 -
724.63/728.33 c 728 2141 746 1 - 0.0000 -
729.70/733.47 c 733 2173 752 1 - 0.0000 -
735.28/739.02 c 739 2233 754 1 - 0.0000 -
740.65/744.41 c 744 2292 757 1 - 0.0000 -
746.22/750.02 c 750 2351 764 1 - 0.0000 -
751.68/755.56 c 756 2411 768 1 - 0.0000 -
756.85/760.70 c 761 2468 771 1 - 0.0000 -
762.32/766.20 c 766 2528 773 1 - 0.0000 -
767.49/771.42 c 771 2581 780 1 - 0.0000 -
772.95/776.93 c 777 2639 786 1 - 0.0000 -
778.33/782.35 c 782 2698 789 1 - 0.0000 -
783.70/787.73 c 788 2764 795 1 - 0.0000 -
789.26/793.39 c 793 2822 801 1 - 0.0000 -
794.64/798.70 c 799 2883 804 1 - 0.0000 -
800.01/804.14 c 804 2942 809 1 - 0.0000 -
805.47/809.63 c 810 3000 813 1 - 0.0000 -
810.84/815.08 c 815 3060 815 1 - 0.0000 -
816.11/820.38 c 820 3118 819 1 - 0.0000 -
821.58/825.86 c 826 3178 823 1 - 0.0000 -
826.76/831.05 c 831 3229 830 1 - 0.0000 -
832.22/836.59 c 837 3288 833 1 - 0.0000 -
837.69/842.04 c 842 3349 836 1 - 0.0000 -
842.86/847.27 c 847 3408 839 1 - 0.0000 -
848.43/852.80 c 853 3464 849 1 - 0.0000 -
853.60/858.08 c 858 3512 857 1 - 0.0000 -
859.17/863.61 c 864 3572 863 1 - 0.0000 -
864.34/868.83 c 869 3620 869 1 - 0.0000 -
869.61/874.15 c 874 3676 875 1 - 0.0000 -
874.99/879.56 c 880 3735 878 1 - 0.0000 -
880.15/884.78 c 885 3791 882 1 - 0.0000 -
885.33/889.92 c 890 3845 888 1 - 0.0000 -
890.59/895.28 c 895 3892 897 1 - 0.0000 -
896.07/900.71 c 901 3949 906 1 - 0.0000 -
901.34/906.01 c 906 4008 911 1 - 0.0000 -
906.70/911.41 c 911 4069 918 1 - 0.0000 -
911.98/916.72 c 917 4127 920 1 - 0.0000 -
917.26/922.02 c 922 4191 926 1 - 0.0000 -
922.32/927.15 c 927 4250 929 1 - 0.0000 -
927.79/932.65 c 933 4309 934 1 - 0.0000 -
933.26/938.10 c 938 4369 938 1 - 0.0000 -
938.43/943.34 c 943 4426 941 1 - 0.0000 -
943.61/948.52 c 949 4488 943 1 - 0.0000 -
948.97/953.95 c 954 4554 947 1 - 0.0000 -
954.15/959.17 c 959 4613 950 1 - 0.0000 -
959.31/964.32 c 964 4672 953 1 - 0.0000 -
964.69/969.70 c 970 4735 958 1 - 0.0000 -
969.87/974.93 c 975 4797 960 1 - 0.0000 -
975.25/980.35 c 980 4857 964 1 - 0.0000 -
980.43/985.58 c 986 4918 967 1 - 0.0000 -
985.90/991.06 c 991 4977 970 1 - 0.0000 -
991.17/996.30 c 996 5036 973 1 - 0.0000 -
996.55/1001.80 c 1002 5097 978 1 - 0.0000 -
1001.83/1007.07 c 1007 5168 977 1 - 0.0000 -
1007.10/1012.33 c 1012 5241 978 1 - 0.0000 -
1012.18/1017.49 c 1018 5304 979 1 - 0.0000 -
1017.76/1023.07 c 1023 5364 981 1 - 0.0000 -
1023.22/1028.51 c 1029 5437 980 1 - 0.0000 -
1029.09/1034.42 c 1034 5496 987 1 - 0.0000 -
1034.37/1039.73 c 1040 5571 990 1 - 0.0000 -
1039.54/1044.95 c 1045 5646 991 1 - 0.0000 -
1044.91/1050.37 c 1050 5719 992 1 - 0.0000 -
1050.09/1055.53 c 1056 5779 994 1 - 0.0000 -
1055.17/1060.69 c 1061 5833 1002 1 - 0.0000 -
1060.65/1066.13 c 1066 5894 1005 1 - 0.0000 -
1065.82/1071.30 c 1071 5959 1006 1 - 0.0000 -
1071.69/1077.25 c 1077 6009 1010 1 - 0.0000 -
1076.88/1082.43 c 1082 6072 1013 1 - 0.0000 -
1082.05/1087.62 c 1088 6132 1017 1 - 0.0000 -
1087.32/1092.96 c 1093 6195 1020 1 - 0.0000 -
1097.58/1103.21 c 1103 6221 1028 1 - 0.0000 -
1103.25/1108.96 c 1109 6255 1032 1 - 0.0000 -
1108.53/1114.23 c 1114 6313 1040 1 - 0.0000 -
1113.90/1119.60 c 1120 6368 1055 1 - 0.0000 -
1119.28/1125.07 c 1125 6432 1059 1 - 0.0000 -
1124.65/1130.43 c 1130 6488 1067 1 - 0.0000 -
1129.93/1135.75 c 1136 6541 1076 1 - 0.0000 -
1135.10/1140.93 c 1141 6598 1091 1 - 0.0000 -
1140.37/1146.21 c 1146 6655 1104 1 - 0.0000 -
1145.55/1151.49 c 1152 6713 1108 1 - 0.0000 -
1151.23/1157.19 c 1157 6779 1110 1 - 0.0000 -
1156.60/1162.55 c 1163 6833 1116 1 - 0.0000 -
1161.78/1167.75 c 1168 6882 1121 1 - 0.0000 -
1167.16/1173.11 c 1173 6942 1125 1 - 0.0000 -
1172.33/1178.30 c 1178 6996 1129 1 - 0.0000 -
1179.79/1185.81 c 1186 7053 1136 1 - 0.0000 -
1185.27/1191.37 c 1191 7112 1141 1 - 0.0000 -
1190.54/1196.65 c 1197 7170 1147 1 - 0.0000 -
1195.72/1201.86 c 1202 7231 1148 1 - 0.0000 -
1201.09/1207.21 c 1207 7287 1160 1 - 0.0000 -
1206.37/1212.53 c 1213 7344 1167 1 - 0.0000 -
1212.04/1218.20 c 1218 7406 1171 1 - 0.0000 -
1217.72/1223.92 c 1224 7471 1178 1 - 0.0000 -
1222.90/1229.15 c 1229 7531 1184 1 - 0.0000 -
1228.27/1234.52 c 1235 7585 1192 1 - 0.0000 -
1233.44/1239.74 c 1240 7643 1198 1 - 0.0000 -
1238.72/1245.08 c 1245 7698 1207 1 - 0.0000 -
1243.90/1250.29 c 1250 7751 1212 1 - 0.0000 -
1249.27/1255.63 c 1256 7810 1215 1 - 0.0000 -
1254.44/1260.88 c 1261 7864 1223 1 - 0.0000 -
1260.02/1266.48 c 1266 7921 1232 1 - 0.0000 -
1265.50/1271.95 c 1272 7984 1235 1 - 0.0000 -
1270.77/1277.20 c 1277 8039 1240 1 - 0.0000 -
1276.35/1282.83 c 1283 8092 1243 1 - 0.0000 -
1281.81/1288.38 c 1288 8152 1247 1 - 0.0000 -
1286.99/1293.56 c 1294 8206 1253 1 - 0.0000 -
1292.27/1298.89 c 1299 8261 1256 1 - 0.0000 -
1297.44/1304.03 c 1304 8316 1261 1 - 0.0000 -
1302.72/1309.32 c 1309 8369 1266 1 - 0.0000 -
1308.49/1315.15 c 1315 8428 1273 1 - 0.0000 -
1313.67/1320.37 c 1320 8489 1276 1 - 0.0000 -
1318.84/1325.52 c 1326 8544 1279 1 - 0.0000 -
1324.32/1331.07 c 1331 8604 1283 1 - 0.0000 -
1329.58/1336.33 c 1336 8661 1286 1 - 0.0000 -
1335.06/1341.84 c 1342 8714 1295 1 - 0.0000 -
1340.34/1347.10 c 1347 8776 1297 1 - 0.0000 -
1345.61/1352.42 c 1352 8830 1301 1 - 0.0000 -
1350.99/1357.82 c 1358 8892 1303 1 - 0.0000 -
1356.36/1363.22 c 1363 8947 1312 1 - 0.0000 -
1361.63/1368.51 c 1369 9002 1317 1 - 0.0000 -
1366.91/1373.81 c 1374 9060 1323 1 - 0.0000 -
1372.10/1379.01 c 1379 9115 1326 1 - 0.0000 -
1377.17/1384.15 c 1384 9176 1327 1 - 0.0000 -
1382.54/1389.54 c 1390 9234 1331 1 - 0.0000 -
1387.82/1394.87 c 1395 9290 1339 1 - 0.0000 -
1392.99/1400.03 c 1400 9352 1341 1 - 0.0000 -
1398.47/1405.53 c 1406 9417 1344 1 - 0.0000 -
1404.24/1411.33 c 1411 9472 1349 1 - 0.0000 -
1410.01/1417.13 c 1417 9534 1353 1 - 0.0000 -
1415.09/1422.22 c 1422 9593 1356 1 - 0.0000 -
1420.26/1427.41 c 1427 9646 1363 1 - 0.0000 -
1425.34/1432.59 c 1433 9705 1366 1 - 0.0000 -
1430.61/1437.85 c 1438 9760 1371 1 - 0.0000 -
1435.99/1443.20 c 1443 9819 1376 1 - 0.0000 -
1441.16/1448.45 c 1448 9874 1381 1 - 0.0000 -
1446.34/1453.61 c 1454 9936 1383 1 - 0.0000 -
1451.51/1458.84 c 1459 9992 1387 1 - 0.0000 -
1456.80/1464.13 c 1464 10051 1390 1 - 0.0000 -
1462.07/1469.48 c 1469 10110 1393 1 - 0.0000 -
1467.44/1474.86 c 1475 10172 1395 1 - 0.0000 -
1472.63/1480.06 c 1480 10232 1397 1 - 0.0000 -
1477.80/1485.22 c 1485 10286 1403 1 - 0.0000 -
1482.97/1490.46 c 1490 10342 1409 1 - 0.0000 -
1488.15/1495.69 c 1496 10405 1410 1 - 0.0000 -
1493.53/1501.02 c 1501 10469 1412 1 - 0.0000 -
1498.70/1506.27 c 1506 10522 1415 1 - 0.0000 -
1504.18/1511.72 c 1512 10582 1417 1 - 0.0000 -
1509.35/1516.95 c 1517 10642 1419 1 - 0.0000 -
1514.62/1522.20 c 1522 10697 1426 1 - 0.0000 -
1519.70/1527.39 c 1527 10755 1428 1 - 0.0000 -
1525.18/1532.80 c 1533 10813 1434 1 - 0.0000 -
1530.25/1537.94 c 1538 10870 1437 1 - 0.0000 -
1535.92/1543.60 c 1544 10936 1439 1 - 0.0000 -
1541.10/1548.84 c 1549 11006 1441 1 - 0.0000 -
1546.28/1554.06 c 1554 11064 1459 1 - 0.0000 -
1551.45/1559.29 c 1559 11121 1466 1 - 0.0000 -
1556.83/1564.69 c 1565 11179 1476 1 - 0.0000 -
1562.60/1570.48 c 1570 11234 1483 1 - 0.0000 -
1568.57/1576.42 c 1576 11292 1493 1 - 0.0000 -
1573.75/1581.66 c 1582 11345 1498 1 - 0.0000 -
1578.93/1586.88 c 1587 11407 1506 1 - 0.0000 -
1584.49/1592.40 c 1592 11465 1514 1 - 0.0000 -
1589.87/1597.87 c 1598 11521 1516 1 - 0.0000 -
1595.05/1603.04 c 1603 11578 1521 1 - 0.0000 -
1600.52/1608.57 c 1609 11637 1528 1 - 0.0000 -
1605.80/1613.81 c 1614 11696 1533 1 - 0.0000 -
1611.08/1619.15 c 1619 11750 1541 1 - 0.0000 -
1616.34/1624.42 c 1624 11811 1548 1 - 0.0000 -
1621.92/1630.01 c 1630 11871 1554 1 - 0.0000 -
1627.10/1635.21 c 1635 11925 1564 1 - 0.0000 -
1632.48/1640.66 c 1641 11979 1574 1 - 0.0000 -
1637.85/1646.05 c 1646 12040 1579 1 - 0.0000 -
1643.13/1651.36 c 1651 12093 1586 1 - 0.0000 -
1648.40/1656.68 c 1657 12154 1589 1 - 0.0000 -
1654.37/1662.68 c 1663 12204 1601 1 - 0.0000 -
1660.34/1668.61 c 1669 12272 1605 1 - 0.0000 -
1665.52/1673.80 c 1674 12327 1612 1 - 0.0000 -
1670.50/1678.88 c 1679 12387 1616 1 - 0.0000 -
1675.87/1684.26 c 1684 12435 1634 1 - 0.0000 -
1680.94/1689.38 c 1689 12472 1641 1 - 0.0000 -
1686.33/1694.78 c 1695 12527 1648 1 - 0.0000 -
1691.50/1699.93 c 1700 12562 1655 1 - 0.0000 -
1696.69/1705.19 c 1705 12624 1659 1 - 0.0000 -
1702.15/1710.63 c 1711 12685 1670 1 - 0.0000 -
1707.73/1716.20 c 1716 12746 1675 1 - 0.0000 -
1713.10/1721.65 c 1722 12800 1681 1 - 0.0000 -
1718.37/1726.92 c 1727 12860 1683 1 - 0.0000 -
1723.56/1732.14 c 1732 12912 1687 1 - 0.0000 -
1729.03/1737.64 c 1738 12969 1696 1 - 0.0000 -
1734.41/1743.05 c 1743 13021 1702 1 - 0.0000 -
1740.07/1748.76 c 1749 13077 1710 1 - 0.0000 -
1745.25/1753.92 c 1754 13128 1717 1 - 0.0000 -
1750.73/1759.44 c 1759 13182 1723 1 - 0.0000 -
1755.90/1764.64 c 1765 13239 1736 1 - 0.0000 -
1761.07/1769.86 c 1770 13298 1741 1 - 0.0000 -
1766.25/1775.09 c 1775 13358 1745 1 - 0.0000 -
1771.93/1780.76 c 1781 13415 1756 1 - 0.0000 -
1777.40/1786.20 c 1786 13477 1758 1 - 0.0000 -
1782.77/1791.63 c 1792 13535 1762 1 - 0.0000 -
1788.15/1797.06 c 1797 13594 1769 1 - 0.0000 -
1793.43/1802.30 c 1802 13654 1771 1 - 0.0000 -
1798.80/1807.78 c 1808 13712 1775 1 - 0.0000 -
1804.08/1813.10 c 1813 13771 1782 1 - 0.0000 -
1809.34/1818.34 c 1818 13832 1783 1 - 0.0000 -
1814.73/1823.70 c 1824 13891 1788 1 - 0.0000 -
1819.89/1828.93 c 1829 13947 1790 1 - 0.0000 -
1825.28/1834.36 c 1834 13998 1795 1 - 0.0000 -
1830.45/1839.53 c 1840 14054 1799 1 - 0.0000 -
1835.62/1844.79 c 1845 14109 1804 1 - 0.0000 -
1840.80/1849.96 c 1850 14169 1808 1 - 0.0000 -
1846.28/1855.44 c 1855 14229 1810 1 - 0.0000 -
1851.75/1860.94 c 1861 14291 1818 1 - 0.0000 -
1857.02/1866.24 c 1866 14352 1819 1 - 0.0000 -
1862.50/1871.74 c 1872 14414 1823 1 - 0.0000 -
1867.67/1876.94 c 1877 14470 1825 1 - 0.0000 -
1872.95/1882.22 c 1882 14531 1826 1 - 0.0000 -
1878.42/1887.72 c 1888 14593 1828 1 - 0.0000 -
1883.50/1892.86 c 1893 14649 1832 1 - 0.0000 -
1888.97/1898.33 c 1898 14706 1839 1 - 0.0000 -
1894.14/1903.57 c 1904 14766 1841 1 - 0.0000 -
1899.92/1909.34 c 1909 14817 1858 1 - 0.0000 -
1904.99/1914.49 c 1914 14871 1872 1 - 0.0000 -
1910.48/1919.90 c 1920 14920 1879 1 - 0.0000 -
1915.85/1925.30 c 1925 14976 1885 1 - 0.0000 -
1920.83/1930.35 c 1930 15022 1887 1 - 0.0000 -
1926.30/1935.85 c 1936 15074 1895 1 - 0.0000 -
1931.67/1941.21 c 1941 15128 1905 1 - 0.0000 -
1937.15/1946.72 c 1947 15190 1909 1 - 0.0000 -
1942.32/1951.92 c 1952 15248 1913 1 - 0.0000 -
1947.41/1957.07 c 1957 15302 1919 1 - 0.0000 -
1952.68/1962.34 c 1962 15363 1922 1 - 0.0000 -
1958.64/1968.39 c 1968 15419 1928 1 - 0.0000 -
1964.22/1973.98 c 1974 15475 1936 1 - 0.0000 -
1969.49/1979.21 c 1979 15536 1939 1 - 0.0000 -
1974.86/1984.66 c 1985 15594 1945 1 - 0.0000 -
1980.24/1990.05 c 1990 15649 1952 1 - 0.0000 -
1985.41/1995.28 c 1995 15706 1957 1 - 0.0000 -
1990.69/2000.51 c 2001 15757 1964 1 - 0.0000 -
1995.76/2005.69 c 2006 15815 1972 1 - 0.0000 -
2001.25/2011.19 c 2011 15873 1976 1 - 0.0000 -
2006.51/2016.46 c 2016 15927 1982 1 - 0.0000 -
2012.39/2022.36 c 2022 15982 1987 1 - 0.0000 -
2017.67/2027.65 c 2028 16035 1996 1 - 0.0000 -
2023.04/2033.02 c 2033 16093 2000 1 - 0.0000 -
2028.51/2038.55 c 2039 16152 2005 1 - 0.0000 -
2033.68/2043.72 c 2044 16214 2007 1 - 0.0000 -
2038.87/2048.92 c 2049 16271 2010 1 - 0.0000 -
2044.05/2054.14 c 2054 16329 2018 1 - 0.0000 -
2049.61/2059.76 c 2060 16389 2024 1 - 0.0000 -
2054.88/2065.02 c 2065 16443 2028 1 - 0.0000 -
2060.54/2070.74 c 2071 16490 2033 1 - 0.0000 -
2066.21/2076.41 c 2076 16553 2036 1 - 0.0000 -
2071.48/2081.78 c 2082 16608 2043 1 - 0.0000 -
2076.65/2086.98 c 2087 16661 2048 1 - 0.0000 -
2081.92/2092.26 c 2092 16717 2054 1 - 0.0000 -
2087.09/2097.47 c 2097 16778 2055 1 - 0.0000 -
2092.66/2103.09 c 2103 16829 2060 1 - 0.0000 -
2097.82/2108.20 c 2108 16888 2063 1 - 0.0000 -
2102.99/2113.45 c 2113 16945 2066 1 - 0.0000 -
2108.57/2119.07 c 2119 17003 2072 1 - 0.0000 -
2114.03/2124.56 c 2125 17064 2075 1 - 0.0000 -
2119.60/2130.11 c 2130 17129 2078 1 - 0.0000 -
2124.68/2135.23 c 2135 17189 2080 1 - 0.0000 -
2129.74/2140.31 c 2140 17247 2084 1 - 0.0000 -
2135.01/2145.63 c 2146 17305 2090 1 - 0.0000 -
2140.18/2150.83 c 2151 17360 2095 1 - 0.0000 -
2145.55/2156.26 c 2156 17418 2099 1 - 0.0000 -
2151.02/2161.78 c 2162 17480 2103 1 - 0.0000 -
2156.18/2166.92 c 2167 17539 2104 1 - 0.0000 -
2161.37/2172.16 c 2172 17591 2110 1 - 0.0000 -
2166.53/2177.39 c 2177 17650 2115 1 - 0.0000 -
2171.70/2182.55 c 2183 17701 2118 1 - 0.0000 -
2176.97/2187.80 c 2188 17762 2121 1 - 0.0000 -
2182.14/2193.07 c 2193 17824 2125 1 - 0.0000 -
2187.51/2198.41 c 2198 17877 2134 1 - 0.0000 -
2193.18/2204.13 c 2204 17939 2140 1 - 0.0000 -
2198.34/2209.35 c 2209 18001 2142 1 - 0.0000 -
2203.91/2214.93 c 2215 18064 2145 1 - 0.0000 -
2209.18/2220.29 c 2220 18126 2147 1 - 0.0000 -
2214.65/2225.71 c 2226 18177 2154 1 - 0.0000 -
2219.81/2230.93 c 2231 18245 2156 1 - 0.0000 -
2225.00/2236.14 c 2236 18303 2164 1 - 0.0000 -
2230.15/2241.31 c 2241 18352 2179 1 - 0.0000 -
2235.72/2246.98 c 2247 18410 2197 1 - 0.0000 -
2241.29/2252.57 c 2253 18470 2205 1 - 0.0000 -
2246.66/2257.91 c 2258 18528 2211 1 - 0.0000 -
2251.84/2263.17 c 2263 18576 2223 1 - 0.0000 -
2257.00/2268.39 c 2268 18636 2229 1 - 0.0000 -
2262.27/2273.65 c 2274 18690 2235 1 - 0.0000 -
2267.34/2278.76 c 2279 18749 2238 1 - 0.0000 -
2272.92/2284.37 c 2284 18809 2244 1 - 0.0000 -
2278.09/2289.58 c 2290 18863 2248 1 - 0.0000 -
2283.37/2294.80 c 2295 18912 2255 1 - 0.0000 -
2288.65/2300.11 c 2300 18965 2272 1 - 0.0000 -
2293.92/2305.47 c 2305 19021 2280 1 - 0.0000 -
2299.20/2310.77 c 2311 19081 2286 1 - 0.0000 -
2304.58/2316.15 c 2316 19136 2293 1 - 0.0000 -
2309.74/2321.36 c 2321 19195 2300 1 - 0.0000 -
2315.02/2326.60 c 2327 19251 2306 1 - 0.0000 -
2320.51/2332.10 c 2332 19307 2314 1 - 0.0000 -
2325.77/2337.44 c 2337 19366 2323 1 - 0.0000 -
2330.95/2342.68 c 2343 19419 2328 1 - 0.0000 -
2336.22/2347.93 c 2348 19473 2336 1 - 0.0000 -
2341.31/2353.03 c 2353 19522 2343 1 - 0.0000 -
2346.47/2358.26 c 2358 19582 2347 1 - 0.0000 -
2351.75/2363.53 c 2364 19638 2355 1 - 0.0000 -
2357.33/2369.13 c 2369 19694 2367 1 - 0.0000 -
2362.60/2374.49 c 2374 19745 2374 1 - 0.0000 -
2367.76/2379.67 c 2380 19801 2376 1 - 0.0000 -
2373.14/2385.10 c 2385 19863 2380 1 - 0.0000 -
2378.41/2390.40 c 2390 19922 2385 1 - 0.0000 -
2383.69/2395.68 c 2396 19977 2390 1 - 0.0000 -
2389.56/2401.58 c 2402 20031 2402 1 - 0.0000 -
2394.94/2406.98 c 2407 20093 2408 1 - 0.0000 -
2400.51/2412.54 c 2413 20154 2415 1 - 0.0000 -
2405.68/2417.77 c 2418 20209 2418 1 - 0.0000 -
2411.06/2423.16 c 2423 20266 2425 1 - 0.0000 -
2416.33/2428.46 c 2428 20321 2430 1 - 0.0000 -
2421.50/2433.60 c 2434 20379 2438 1 - 0.0000 -
2426.58/2438.73 c 2439 20436 2441 1 - 0.0000 -
2432.16/2444.31 c 2444 20495 2450 1 - 0.0000 -
2437.23/2449.47 c 2449 20557 2452 1 - 0.0000 -
2442.81/2455.00 c 2455 20617 2458 1 - 0.0000 -
2447.98/2460.24 c 2460 20673 2462 1 - 0.0000 -
2453.35/2465.60 c 2466 20736 2465 1 - 0.0000 -
2458.83/2471.14 c 2471 20794 2469 1 - 0.0000 -
2464.20/2476.53 c 2477 20853 2472 1 - 0.0000 -
2469.68/2482.04 c 2482 20916 2477 1 - 0.0000 -
2475.05/2487.42 c 2487 20977 2484 1 - 0.0000 -
2480.52/2492.94 c 2493 21042 2485 1 - 0.0000 -
2486.10/2498.54 c 2499 21103 2486 1 - 0.0000 -
2491.27/2503.75 c 2504 21163 2488 1 - 0.0000 -
2496.66/2509.10 c 2509 21227 2488 1 - 0.0000 -
2501.82/2514.38 c 2514 21285 2492 1 - 0.0000 -
2507.50/2520.05 c 2520 21347 2498 1 - 0.0000 -
2512.67/2525.28 c 2525 21408 2501 1 - 0.0000 -
2517.94/2530.57 c 2531 21467 2502 1 - 0.0000 -
2523.22/2535.81 c 2536 21533 2508 1 - 0.0000 -
2528.50/2541.18 c 2541 21586 2509 1 - 0.0000 -
2533.86/2546.55 c 2547 21648 2509 1 - 0.0000 -
2539.35/2552.04 c 2552 21709 2512 1 - 0.0000 -
2544.82/2557.59 c 2558 21776 2515 1 - 0.0000 -
2550.68/2563.46 c 2563 21823 2522 1 - 0.0000 -
2555.96/2568.78 c 2569 21879 2530 1 - 0.0000 -
2561.54/2574.32 c 2574 21941 2546 1 - 0.0000 -
2566.82/2579.66 c 2580 21996 2545 1 - 0.0000 -
2572.19/2585.07 c 2585 22055 2550 1 - 0.0000 -
2577.87/2590.79 c 2591 22116 2553 1 - 0.0000 -
2583.15/2596.00 c 2596 22180 2553 1 - 0.0000 -
2588.41/2601.31 c 2601 22240 2553 1 - 0.0000 -
2593.99/2606.94 c 2607 22302 2555 1 - 0.0000 -
2599.26/2612.23 c 2612 22371 2570 1 - 0.0000 -
2604.34/2617.34 c 2617 22430 2575 1 - 0.0000 -
2610.01/2623.03 c 2623 22491 2582 1 - 0.0000 -
2615.18/2628.25 c 2628 22554 2581 1 - 0.0000 -
2620.45/2633.57 c 2634 22615 2582 1 - 0.0000 -
2626.04/2639.14 c 2639 22672 2589 1 - 0.0000 -
2631.41/2644.55 c 2645 22728 2595 1 - 0.0000 -
2636.68/2649.84 c 2650 22791 2598 1 - 0.0000 -
2641.96/2655.15 c 2655 22856 2599 1 - 0.0000 -
2647.03/2660.27 c 2660 22912 2603 1 - 0.0000 -
2652.31/2665.50 c 2666 22975 2608 1 - 0.0000 -
2657.48/2670.73 c 2671 23042 2615 1 - 0.0000 -
2662.66/2675.95 c 2676 23103 2620 1 - 0.0000 -
2668.13/2681.47 c 2681 23166 2629 1 - 0.0000 -
2673.51/2686.81 c 2687 23235 2634 1 - 0.0000 -
2678.69/2692.05 c 2692 23297 2638 1 - 0.0000 -
2683.96/2697.30 c 2697 23360 2641 1 - 0.0000 -
2689.13/2702.52 c 2703 23428 2641 1 - 0.0000 -
2694.31/2707.71 c 2708 23493 2644 1 - 0.0000 -
2699.39/2712.87 c 2713 23554 2649 1 - 0.0000 -
2704.47/2717.95 c 2718 23618 2655 1 - 0.0000 -
2709.65/2723.15 c 2723 23681 2660 1 - 0.0000 -
2714.71/2728.29 c 2728 23743 2664 1 - 0.0000 -
2720.18/2733.79 c 2734 23811 2672 1 - 0.0000 -
2725.76/2739.30 c 2739 23868 2679 1 - 0.0000 -
2730.94/2744.54 c 2745 23934 2681 1 - 0.0000 -
2736.01/2749.65 c 2750 24005 2686 1 - 0.0000 -
2741.39/2755.01 c 2755 24074 2691 1 - 0.0000 -
2746.47/2760.17 c 2760 24117 2694 1 - 0.0000 -
2751.64/2765.34 c 2765 24180 2693 1 - 0.0000 -
2757.12/2770.80 c 2771 24244 2697 1 - 0.0000 -
2762.30/2776.03 c 2776 24311 2696 1 - 0.0000 -
2767.47/2781.29 c 2781 24374 2701 1 - 0.0000 -
2772.75/2786.51 c 2787 24435 2704 1 - 0.0000 -
2778.12/2791.95 c 2792 24502 2704 1 - 0.0000 -
2783.60/2797.46 c 2797 24566 2708 1 - 0.0000 -
2788.77/2802.63 c 2803 24631 2711 1 - 0.0000 -
2794.15/2808.00 c 2808 24689 2713 1 - 0.0000 -
2799.23/2813.18 c 2813 24751 2715 1 - 0.0000 -
2805.10/2819.00 c 2819 24811 2717 1 - 0.0000 -
2810.57/2824.50 c 2825 24868 2716 1 - 0.0000 -
2815.76/2829.72 c 2830 24931 2717 1 - 0.0000 -
2820.93/2834.99 c 2835 25005 2719 1 - 0.0000 -
2826.20/2840.20 c 2840 25074 2720 1 - 0.0000 -
2831.48/2845.51 c 2846 25137 2719 1 - 0.0000 -
2836.66/2850.71 c 2851 25201 2719 1 - 0.0000 -
2841.83/2855.98 c 2856 25267 2719 1 - 0.0000 -
2847.21/2861.39 c 2861 25318 2722 1 - 0.0000 -
2852.39/2866.52 c 2867 25385 2721 1 - 0.0000 -
2857.77/2871.94 c 2872 25442 2722 1 - 0.0000 -
2863.03/2877.22 c 2877 25508 2720 1 - 0.0000 -
2868.42/2882.60 c 2883 25571 2721 1 - 0.0000 -
2873.79/2888.00 c 2888 25629 2729 1 - 0.0000 -
2878.87/2893.16 c 2893 25689 2747 1 - 0.0000 -
2884.04/2898.37 c 2898 25748 2754 1 - 0.0000 -
2889.32/2903.64 c 2904 25810 2762 1 - 0.0000 -
2894.89/2909.28 c 2909 25873 2771 1 - 0.0000 -
2900.46/2914.84 c 2915 25930 2782 1 - 0.0000 -
2905.65/2920.05 c 2920 25991 2789 1 - 0.0000 -
2910.92/2925.39 c 2925 26051 2797 1 - 0.0000 -
2916.29/2930.74 c 2931 26113 2809 1 - 0.0000 -
2921.68/2936.14 c 2936 26173 2817 1 - 0.0000 -
2926.85/2941.33 c 2941 26223 2835 1 - 0.0000 -
2932.13/2946.61 c 2947 26283 2845 1 - 0.0000 -
2937.30/2951.85 c 2952 26338 2856 1 - 0.0000 -
2942.59/2957.12 c 2957 26397 2871 1 - 0.0000 -
2948.56/2963.11 c 2963 26444 2894 1 - 0.0000 -
2953.93/2968.59 c 2969 26501 2901 1 - 0.0000 -
2959.30/2973.90 c 2974 26561 2913 1 - 0.0000 -
2964.49/2979.18 c 2979 26611 2931 1 - 0.0000 -
2970.15/2984.81 c 2985 26670 2946 1 - 0.0000 -
2975.33/2990.01 c 2990 26728 2950 1 - 0.0000 -
2981.10/2995.82 c 2996 26781 2955 1 - 0.0000 -
2986.57/3001.37 c 3001 26841 2961 1 - 0.0000 -
2991.86/3006.68 c 3007 26904 2964 1 - 0.0000 -
2997.43/3012.27 c 3012 26967 2969 1 - 0.0000 -
3002.80/3017.65 c 3018 27027 2979 1 - 0.0000 -
3007.98/3022.86 c 3023 27087 2983 1 - 0.0000 -
3013.16/3028.09 c 3028 27149 2987 1 - 0.0000 -
3018.53/3033.43 c 3033 27203 2999 1 - 0.0000 -
3024.00/3038.92 c 3039 27264 3008 1 - 0.0000 -
3029.38/3044.33 c 3044 27322 3022 1 - 0.0000 -
3034.86/3049.86 c 3050 27386 3030 1 - 0.0000 -
3040.63/3055.64 c 3056 27439 3047 1 - 0.0000 -
3046.40/3061.42 c 3061 27506 3052 1 - 0.0000 -
3052.08/3067.15 c 3067 27564 3062 1 - 0.0000 -
3057.35/3072.49 c 3072 27619 3073 1 - 0.0000 -
3062.63/3077.75 c 3078 27677 3079 1 - 0.0000 -
3068.50/3083.65 c 3084 27744 3086 1 - 0.0000 -
3074.17/3089.36 c 3089 27778 3090 1 - 0.0000 -
3079.35/3094.57 c 3095 27841 3091 1 - 0.0000 -
3084.63/3099.83 c 3100 27898 3102 1 - 0.0000 -
3089.90/3105.12 c 3105 27956 3118 1 - 0.0000 -
3095.17/3110.49 c 3110 28009 3137 1 - 0.0000 -
3100.45/3115.76 c 3116 28067 3143 1 - 0.0000 -
3106.03/3121.39 c 3121 28130 3154 1 - 0.0000 -
3111.30/3126.60 c 3127 28187 3159 1 - 0.0000 -
3116.48/3131.87 c 3132 28249 3163 1 - 0.0000 -
3121.85/3137.23 c 3137 28299 3169 1 - 0.0000 -
3127.42/3142.85 c 3143 28361 3169 1 - 0.0000 -
3132.61/3148.02 c 3148 28428 3172 1 - 0.0000 -
3137.98/3153.40 c 3153 28488 3188 1 - 0.0000 -
3143.45/3158.90 c 3159 28550 3192 1 - 0.0000 -
3148.53/3164.05 c 3164 28619 3195 1 - 0.0000 -
3153.71/3169.20 c 3169 28677 3201 1 - 0.0000 -
3159.18/3174.72 c 3175 28741 3211 1 - 0.0000 -
3164.66/3180.21 c 3180 28796 3216 1 - 0.0000 -
3169.73/3185.38 c 3185 28851 3227 1 - 0.0000 -
3175.31/3190.94 c 3191 28897 3237 1 - 0.0000 -
3180.58/3196.23 c 3196 28951 3243 1 - 0.0000 -
3186.06/3201.73 c 3202 29018 3244 1 - 0.0000 -
3192.03/3207.70 c 3208 29082 3254 1 - 0.0000 -
3197.60/3213.38 c 3213 29149 3259 1 - 0.0000 -
3203.39/3219.11 c 3219 29208 3272 1 - 0.0000 -
3208.96/3224.71 c 3225 29276 3274 1 - 0.0000 -
3214.13/3229.93 c 3230 29334 3280 1 - 0.0000 -
3219.41/3235.20 c 3235 29388 3294 1 - 0.0000 -
3225.08/3240.97 c 3241 29455 3299 1 - 0.0000 -
3230.95/3246.87 c 3247 29513 3307 1 - 0.0000 -
3236.63/3252.53 c 3253 29570 3318 1 - 0.0000 -
3241.70/3257.69 c 3258 29629 3327 1 - 0.0000 -
3247.27/3263.25 c 3263 29691 3337 1 - 0.0000 -
3252.66/3268.63 c 3269 29754 3344 1 - 0.0000 -
3257.93/3273.92 c 3274 29810 3350 1 - 0.0000 -
3263.21/3279.27 c 3279 29872 3358 1 - 0.0000 -
3268.58/3284.65 c 3285 29927 3363 1 - 0.0000 -
3273.75/3289.89 c 3290 29983 3369 1 - 0.0000 -
3279.04/3295.18 c 3295 30035 3379 1 - 0.0000 -
3284.21/3300.37 c 3300 30101 3383 1 - 0.0000 -
3290.17/3306.33 c 3306 30161 3395 1 - 0.0000 -
3295.65/3311.84 c 3312 30228 3396 1 - 0.0000 -
3301.32/3317.54 c 3318 30291 3403 1 - 0.0000 -
3306.99/3323.24 c 3323 30352 3414 1 - 0.0000 -
3312.27/3328.52 c 3329 30408 3424 1 - 0.0000 -
3317.95/3334.21 c 3334 30476 3428 1 - 0.0000 -
3323.72/3340.10 c 3340 30529 3445 1 - 0.0000 -
3328.89/3345.26 c 3345 30578 3454 1 - 0.0000 -
3334.57/3350.98 c 3351 30640 3464 1 - 0.0000 -
3340.05/3356.47 c 3356 30700 3472 1 - 0.0000 -
3345.32/3361.70 c 3362 30760 3482 1 - 0.0000 -
3350.79/3367.26 c 3367 30819 3491 1 - 0.0000 -
3355.98/3372.49 c 3372 30876 3494 1 - 0.0000 -
3361.35/3377.80 c 3378 30934 3500 1 - 0.0000 -
3366.63/3383.15 c 3383 31001 3509 1 - 0.0000 -
3372.10/3388.64 c 3389 31062 3514 1 - 0.0000 -
3377.77/3394.33 c 3394 31127 3519 1 - 0.0000 -
3382.95/3399.51 c 3400 31187 3523 1 - 0.0000 -
3388.13/3404.72 c 3405 31253 3529 1 - 0.0000 -
3393.60/3410.21 c 3410 31316 3530 1 - 0.0000 -
3398.88/3415.54 c 3416 31385 3533 1 - 0.0000 -
3404.15/3420.83 c 3421 31451 3537 1 - 0.0000 -
3409.33/3426.08 c 3426 31513 3541 1 - 0.0000 -
3414.70/3431.46 c 3431 31572 3542 1 - 0.0000 -
3420.18/3436.94 c 3437 31629 3547 1 - 0.0000 -
3425.37/3442.19 c 3442 31698 3554 1 - 0.0000 -
3430.63/3447.49 c 3448 31758 3556 1 - 0.0000 -
3436.00/3452.80 c 3453 31822 3558 1 - 0.0000 -
3441.37/3458.26 c 3458 31880 3564 1 - 0.0000 -
3446.55/3463.45 c 3463 31943 3567 1 - 0.0000 -
3452.42/3469.30 c 3469 32002 3570 1 - 0.0000 -
3457.59/3474.57 c 3475 32065 3573 1 - 0.0000 -
3463.07/3480.07 c 3480 32125 3577 1 - 0.0000 -
3468.53/3485.57 c 3486 32195 3584 1 - 0.0000 -
3474.01/3491.03 c 3491 32261 3592 1 - 0.0000 -
3479.37/3496.49 c 3496 32329 3602 1 - 0.0000 -
3484.85/3501.90 c 3502 32391 3606 1 - 0.0000 -
3489.92/3507.07 c 3507 32445 3612 1 - 0.0000 -
3495.10/3512.24 c 3512 32506 3615 1 - 0.0000 -
3501.07/3518.25 c 3518 32562 3621 1 - 0.0000 -
3506.53/3523.77 c 3524 32624 3629 1 - 0.0000 -
3512.21/3529.44 c 3529 32687 3634 1 - 0.0000 -
3517.79/3535.10 c 3535 32754 3635 1 - 0.0000 -
3523.55/3540.81 c 3541 32819 3640 1 - 0.0000 -
3528.92/3546.20 c 3546 32883 3642 1 - 0.0000 -
3534.00/3551.35 c 3551 32950 3649 1 - 0.0000 -
3539.37/3556.74 c 3557 33010 3657 1 - 0.0000 -
3544.75/3562.18 c 3562 33065 3662 1 - 0.0000 -
3549.91/3567.38 c 3567 33125 3666 1 - 0.0000 -
3555.19/3572.68 c 3573 33188 3669 1 - 0.0000 -
3560.37/3577.82 c 3578 33244 3671 1 - 0.0000 -
3565.74/3583.26 c 3583 33307 3674 1 - 0.0000 -
3571.10/3588.66 c 3589 33368 3675 1 - 0.0000 -
3576.48/3594.03 c 3594 33430 3677 1 - 0.0000 -
3581.26/3598.87 c SCIP Status : c solving was interrupted [hard time limit reached]
3581.26/3598.87 c Total Time : 3598.8600
3581.26/3598.87 c solving : 3598.8600
3581.26/3598.87 c presolving : 51.5604 (included in solving)
3581.26/3598.87 c B&B Tree :
3581.26/3598.87 c nodes (total) : 1
3581.26/3598.87 c Solution :
3581.26/3598.87 c Solutions found : 0
3581.26/3598.87 c Primal Bound : -
3581.26/3598.87 c Dual Bound : +0.00000000000000e+00
3581.26/3598.87 c Gap : -
3581.76/3599.33 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 (61754 MiB free)
memory of node 1: 64510 MiB (59720 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4464409-1722378603/watcher-4464409-1722378603 -o /tmp/evaluation-result-4464409-1722378603/solver-4464409-1722378603 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC031-1722378597-29425 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4464409-1722378603.opb -qsol -t 3600 -sth 1
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=30059, runsolver pid=30056
Current StackSize limit: 8192 KiB
[startup+0.100097 s]*
/proc/loadavg: 0.57 0.18 0.12 5/263 30060
/proc/meminfo: memFree=124338332/131524600 swapFree=131071996/131071996
[pid=30059] ppid=30056 vsize=66992 memory=54772 CPUtime=0.1 cores=1,3
/proc/30059/stat : 30059 (fscip) R 30056 30059 29413 0 -1 4194304 11621 0 0 0 9 1 0 0 20 0 1 0 4461989 68599808 13693 134679101440 4194304 16623229 140723628924464 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 34037760 140723628925974 140723628926090 140723628926090 140723628933104 0
/proc/30059/statm: 16748 13693 2347 3035 0 13144 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 66992 KiB
Current children cumulated memory: 54772 KiB
[startup+0.205856 s]*
/proc/loadavg: 0.57 0.18 0.12 5/263 30060
/proc/meminfo: memFree=124293416/131524600 swapFree=131071996/131071996
[pid=30059] ppid=30056 vsize=101716 memory=89384 CPUtime=0.2 cores=1,3
/proc/30059/stat : 30059 (fscip) R 30056 30059 29413 0 -1 4194304 20279 0 0 0 18 2 0 0 20 0 1 0 4461989 104157184 22346 134679101440 4194304 16623229 140723628924464 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 34037760 140723628925974 140723628926090 140723628926090 140723628933104 0
/proc/30059/statm: 25429 22346 2347 3035 0 21825 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 101716 KiB
Current children cumulated memory: 89384 KiB
[startup+0.305804 s]*
/proc/loadavg: 0.57 0.18 0.12 5/263 30060
/proc/meminfo: memFree=124216548/131524600 swapFree=131071996/131071996
[pid=30059] ppid=30056 vsize=133264 memory=120984 CPUtime=0.3 cores=1,3
/proc/30059/stat : 30059 (fscip) R 30056 30059 29413 0 -1 4194304 28163 0 0 0 27 3 0 0 20 0 1 0 4461989 136462336 30246 134679101440 4194304 16623229 140723628924464 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 34037760 140723628925974 140723628926090 140723628926090 140723628933104 0
/proc/30059/statm: 33316 30246 2347 3035 0 29712 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 133264 KiB
Current children cumulated memory: 120984 KiB
[startup+0.70025 s]
/proc/loadavg: 0.57 0.18 0.12 5/263 30060
/proc/meminfo: memFree=123984024/131524600 swapFree=131071996/131071996
[pid=30059] ppid=30056 vsize=304452 memory=291840 CPUtime=0.68 cores=1,3
/proc/30059/stat : 30059 (fscip) R 30056 30059 29413 0 -1 4194304 71669 0 0 0 60 8 0 0 20 0 1 0 4461989 311758848 72960 134679101440 4194304 16623229 140723628924464 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 34037760 140723628925974 140723628926090 140723628926090 140723628933104 0
/proc/30059/statm: 76113 72960 2539 3035 0 72509 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 304452 KiB
Current children cumulated memory: 291840 KiB
[startup+1.50024 s]
/proc/loadavg: 0.57 0.18 0.12 5/263 30060
/proc/meminfo: memFree=123865784/131524600 swapFree=131071996/131071996
[pid=30059] ppid=30056 vsize=533172 memory=489808 CPUtime=1.48 cores=1,3
/proc/30059/stat : 30059 (fscip) R 30056 30059 29413 0 -1 4194304 117534 0 0 0 134 14 0 0 20 0 1 0 4461989 545968128 122452 134679101440 4194304 16623229 140723628924464 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 34037760 140723628925974 140723628926090 140723628926090 140723628933104 0
/proc/30059/statm: 133293 122452 2598 3035 0 129689 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 533172 KiB
Current children cumulated memory: 489808 KiB
[startup+3.10589 s]
/proc/loadavg: 0.57 0.18 0.12 5/263 30062
/proc/meminfo: memFree=123509472/131524600 swapFree=131071996/131071996
[pid=30059] ppid=30056 vsize=670912 memory=654128 CPUtime=3.09 cores=1,3
/proc/30059/stat : 30059 (fscip) R 30056 30059 29413 0 -1 4194304 163156 0 0 0 282 27 0 0 20 0 1 0 4461989 687013888 163532 134679101440 4194304 16623229 140723628924464 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 34037760 140723628925974 140723628926090 140723628926090 140723628933104 0
/proc/30059/statm: 167728 163532 2694 3035 0 164124 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 670912 KiB
Current children cumulated memory: 654128 KiB
[startup+6.30024 s]
/proc/loadavg: 0.84 0.25 0.14 5/261 30108
/proc/meminfo: memFree=123692912/131524600 swapFree=131071996/131071996
[pid=30059] ppid=30056 vsize=670912 memory=654476 CPUtime=6.26 cores=1,3
/proc/30059/stat : 30059 (fscip) R 30056 30059 29413 0 -1 4194304 163190 0 0 0 599 27 0 0 20 0 1 0 4461989 687013888 163619 134679101440 4194304 16623229 140723628924464 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 34037760 140723628925974 140723628926090 140723628926090 140723628933104 0
/proc/30059/statm: 167728 163619 2742 3035 0 164124 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 670912 KiB
Current children cumulated memory: 654476 KiB
[startup+12.7002 s]
/proc/loadavg: 1.09 0.31 0.16 5/266 30217
/proc/meminfo: memFree=123521832/131524600 swapFree=131071996/131071996
[pid=30059] ppid=30056 vsize=807984 memory=736168 CPUtime=12.64 cores=1,3
/proc/30059/stat : 30059 (fscip) R 30056 30059 29413 0 -1 4194304 174979 0 0 0 1234 30 0 0 20 0 1 0 4461989 827375616 184042 134679101440 4194304 16623229 140723628924464 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 34037760 140723628925974 140723628926090 140723628926090 140723628933104 0
/proc/30059/statm: 201996 184042 2758 3035 0 198392 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 807984 KiB
Current children cumulated memory: 736168 KiB
[startup+25.5003 s]
/proc/loadavg: 1.74 0.49 0.23 5/264 30268
/proc/meminfo: memFree=123430456/131524600 swapFree=131071996/131071996
[pid=30059] ppid=30056 vsize=807984 memory=742524 CPUtime=25.41 cores=1,3
/proc/30059/stat : 30059 (fscip) R 30056 30059 29413 0 -1 4194304 175000 0 0 0 2510 31 0 0 20 0 1 0 4461989 827375616 185631 134679101440 4194304 16623229 140723628924464 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 34037760 140723628925974 140723628926090 140723628926090 140723628933104 0
/proc/30059/statm: 201996 185631 2758 3035 0 198392 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 807984 KiB
Current children cumulated memory: 742524 KiB
[startup+51.106 s]
/proc/loadavg: 2.57 0.79 0.33 5/266 30275
/proc/meminfo: memFree=122634464/131524600 swapFree=131071996/131071996
[pid=30059] ppid=30056 vsize=807984 memory=746620 CPUtime=50.92 cores=1,3
/proc/30059/stat : 30059 (fscip) R 30056 30059 29413 0 -1 4194304 175019 0 0 0 5061 31 0 0 20 0 1 0 4461989 827375616 186655 134679101440 4194304 16623229 140723628924464 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 34037760 140723628925974 140723628926090 140723628926090 140723628933104 0
/proc/30059/statm: 201996 186655 2758 3035 0 198392 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 807984 KiB
Current children cumulated memory: 746620 KiB
[startup+102.3 s]
/proc/loadavg: 3.59 1.35 0.55 5/268 30333
/proc/meminfo: memFree=117123648/131524600 swapFree=131071996/131071996
[pid=30059] ppid=30056 vsize=1966112 memory=1773268 CPUtime=101.65 cores=1,3
/proc/30059/stat : 30059 (fscip) S 30056 30059 29413 0 -1 1077936128 766717 0 0 0 10073 92 0 0 20 0 3 0 4461989 2013298688 443317 134679101440 4194304 16623229 140723628924464 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 34037760 140723628925974 140723628926090 140723628926090 140723628933104 0
/proc/30059/statm: 491528 443317 2950 3035 0 479018 0
[pid=30059/tid=30278] ppid=30056 vsize=1966112 memory=1773264 CPUtime=48.72 cores=1,3
/proc/30059/task/30278/stat : 30278 (fscip) R 30056 30059 29413 0 -1 4194368 565873 0 0 0 4816 56 0 0 20 0 3 0 4467242 2013298688 443317 134679101440 4194304 16623229 140723628924464 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 34037760 140723628925974 140723628926090 140723628926090 140723628933104 0
[pid=30059/tid=30279] ppid=30056 vsize=1966112 memory=11480 CPUtime=0 cores=1,3
/proc/30059/task/30279/stat : 30279 (fscip) S 30056 30059 29413 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 3 0 4467348 2013298688 443317 134679101440 4194304 16623229 140723628924464 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 34037760 140723628925974 140723628926090 140723628926090 140723628933104 0
Current children cumulated CPU time: 101.65 s
Current children cumulated vsize: 1966112 KiB
Current children cumulated memory: 1773268 KiB
[startup+162.3 s]
/proc/loadavg: 3.89 1.85 0.77 5/267 30390
/proc/meminfo: memFree=118534020/131524600 swapFree=131071996/131071996
[pid=30059] ppid=30056 vsize=2133288 memory=1778868 CPUtime=161.41 cores=1,3
/proc/30059/stat : 30059 (fscip) S 30056 30059 29413 0 -1 1077936128 976598 0 0 0 16038 103 0 0 20 0 3 0 4461989 2184486912 444717 134679101440 4194304 16623229 140723628924464 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 34037760 140723628925974 140723628926090 140723628926090 140723628933104 0
/proc/30059/statm: 533322 444717 2950 3035 0 522205 0
[pid=30059/tid=30278] ppid=30056 vsize=2133288 memory=0 CPUtime=108.49 cores=1,3
/proc/30059/task/30278/stat : 30278 (fscip) R 30056 30059 29413 0 -1 4194368 775743 0 0 0 10781 68 0 0 20 0 3 0 4467242 2184486912 444717 134679101440 4194304 16623229 140723628924464 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 34037760 140723628925974 140723628926090 140723628926090 140723628933104 0
[pid=30059/tid=30279] ppid=30056 vsize=2133288 memory=13616 CPUtime=0 cores=1,3
/proc/30059/task/30279/stat : 30279 (fscip) S 30056 30059 29413 0 -1 1077936192 37 0 0 0 0 0 0 0 20 0 3 0 4467348 2184486912 444717 134679101440 4194304 16623229 140723628924464 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 34037760 140723628925974 140723628926090 140723628926090 140723628933104 0
Current children cumulated CPU time: 161.41 s
Current children cumulated vsize: 2133288 KiB
Current children cumulated memory: 1778868 KiB
[startup+222.3 s]
/proc/loadavg: 4.02 2.26 0.98 5/267 30449
/proc/meminfo: memFree=120626168/131524600 swapFree=131071996/131071996
[pid=30059] ppid=30056 vsize=2628148 memory=2107148 CPUtime=221.18 cores=1,3
/proc/30059/stat : 30059 (fscip) S 30056 30059 29413 0 -1 1077936128 1201334 0 0 0 21993 125 0 0 20 0 3 0 4461989 2691223552 526787 134679101440 4194304 16623229 140723628924464 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 34037760 140723628925974 140723628926090 140723628926090 140723628933104 0
/proc/30059/statm: 657037 526787 2950 3035 0 645909 0
[pid=30059/tid=30278] ppid=30056 vsize=2628148 memory=2106928 CPUtime=168.25 cores=1,3
/proc/30059/task/30278/stat : 30278 (fscip) R 30056 30059 29413 0 -1 4194368 1000442 0 0 0 16735 90 0 0 20 0 3 0 4467242 2691223552 526787 134679101440 4194304 16623229 140723628924464 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 34037760 140723628925974 140723628926090 140723628926090 140723628933104 0
[pid=30059/tid=30279] ppid=30056 vsize=2628148 memory=11480 CPUtime=0 cores=1,3
/proc/30059/task/30279/stat : 30279 (fscip) S 30056 30059 29413 0 -1 1077936192 41 0 0 0 0 0 0 0 20 0 3 0 4467348 2691223552 526787 134679101440 4194304 16623229 140723628924464 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 34037760 140723628925974 140723628926090 140723628926090 140723628933104 0
Current children cumulated CPU time: 221.18 s
Current children cumulated vsize: 2628148 KiB
Current children cumulated memory: 2107148 KiB
[startup+282.3 s]
/proc/loadavg: 4.06 2.59 1.18 5/267 30461
/proc/meminfo: memFree=120378552/131524600 swapFree=131071996/131071996
[pid=30059] ppid=30056 vsize=2792648 memory=2207192 CPUtime=280.87 cores=1,3
/proc/30059/stat : 30059 (fscip) S 30056 30059 29413 0 -1 1077936128 1414172 0 0 0 27947 140 0 0 20 0 3 0 4461989 2859671552 551798 134679101440 4194304 16623229 140723628924464 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 34037760 140723628925974 140723628926090 140723628926090 140723628933104 0
/proc/30059/statm: 698162 551798 2950 3035 0 680199 0
[pid=30059/tid=30278] ppid=30056 vsize=2792648 memory=11480 CPUtime=227.94 cores=1,3
/proc/30059/task/30278/stat : 30278 (fscip) R 30056 30059 29413 0 -1 4194368 1213247 0 0 0 22689 105 0 0 20 0 3 0 4467242 2859671552 551798 134679101440 4194304 16623229 140723628924464 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 34037760 140723628925974 140723628926090 140723628926090 140723628933104 0
[pid=30059/tid=30279] ppid=30056 vsize=2792648 memory=2207192 CPUtime=0 cores=1,3
/proc/30059/task/30279/stat : 30279 (fscip) S 30056 30059 29413 0 -1 1077936192 47 0 0 0 0 0 0 0 20 0 3 0 4467348 2859671552 551798 134679101440 4194304 16623229 140723628924464 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 34037760 140723628925974 140723628926090 140723628926090 140723628933104 0
Current children cumulated CPU time: 280.87 s
Current children cumulated vsize: 2792648 KiB
Current children cumulated memory: 2207192 KiB
[startup+342.3 s]
/proc/loadavg: 4.14 2.88 1.37 6/264 30664
/proc/meminfo: memFree=119758272/131524600 swapFree=131071996/131071996
[pid=30059] ppid=30056 vsize=2792648 memory=2207388 CPUtime=340.61 cores=1,3
/proc/30059/stat : 30059 (fscip) S 30056 30059 29413 0 -1 1077936128 1499154 0 0 0 33917 144 0 0 20 0 3 0 4461989 2859671552 551847 134679101440 4194304 16623229 140723628924464 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 34037760 140723628925974 140723628926090 140723628926090 140723628933104 0
/proc/30059/statm: 698162 551847 2998 3035 0 680199 0
[pid=30059/tid=30278] ppid=30056 vsize=2792648 memory=11480 CPUtime=287.68 cores=1,3
/proc/30059/task/30278/stat : 30278 (fscip) R 30056 30059 29413 0 -1 4194368 1298197 0 0 0 28659 109 0 0 20 0 3 0 4467242 2859671552 551847 134679101440 4194304 16623229 140723628924464 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 34037760 140723628925974 140723628926090 140723628926090 140723628933104 0
[pid=30059/tid=30279] ppid=30056 vsize=2792648 memory=2207388 CPUtime=0 cores=1,3
/proc/30059/task/30279/stat : 30279 (fscip) S 30056 30059 29413 0 -1 1077936192 53 0 0 0 0 0 0 0 20 0 3 0 4467348 2859671552 551847 134679101440 4194304 16623229 140723628924464 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 34037760 140723628925974 140723628926090 140723628926090 140723628933104 0
################
# More data... #
################
Current children cumulated vsize: 3419888 KiB
Current children cumulated memory: 2627572 KiB
[startup+3462.3 s]
/proc/loadavg: 4.20 4.21 4.09 5/263 32384
/proc/meminfo: memFree=117520684/131524600 swapFree=131071996/131071996
[pid=30059] ppid=30056 vsize=3419888 memory=2627572 CPUtime=3445.46 cores=1,3
/proc/30059/stat : 30059 (fscip) S 30056 30059 29413 0 -1 1077936128 6530348 0 0 0 344052 494 0 0 20 0 3 0 4461989 3501965312 656893 134679101440 4194304 16623229 140723628924464 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 34037760 140723628925974 140723628926090 140723628926090 140723628933104 0
/proc/30059/statm: 854972 656893 2998 3035 0 842561 0
[pid=30059/tid=30278] ppid=30056 vsize=3419888 memory=2627572 CPUtime=3392.28 cores=1,3
/proc/30059/task/30278/stat : 30278 (fscip) R 30056 30059 29413 0 -1 4194368 6327848 0 0 0 338779 449 0 0 20 0 3 0 4467242 3501965312 656893 134679101440 4194304 16623229 140723628924464 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 34037760 140723628925974 140723628926090 140723628926090 140723628933104 0
[pid=30059/tid=30279] ppid=30056 vsize=3419888 memory=2627572 CPUtime=0.05 cores=1,3
/proc/30059/task/30279/stat : 30279 (fscip) S 30056 30059 29413 0 -1 1077936192 199 0 0 0 1 4 0 0 20 0 3 0 4467348 3501965312 656893 134679101440 4194304 16623229 140723628924464 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 34037760 140723628925974 140723628926090 140723628926090 140723628933104 0
Current children cumulated CPU time: 3445.46 s
Current children cumulated vsize: 3419888 KiB
Current children cumulated memory: 2627572 KiB
[startup+3522.3 s]
/proc/loadavg: 4.26 4.22 4.10 5/265 32564
/proc/meminfo: memFree=117509628/131524600 swapFree=131071996/131071996
[pid=30059] ppid=30056 vsize=3419888 memory=2628272 CPUtime=3505.14 cores=1,3
/proc/30059/stat : 30059 (fscip) S 30056 30059 29413 0 -1 1077936128 6656542 0 0 0 350012 502 0 0 20 0 3 0 4461989 3501965312 657068 134679101440 4194304 16623229 140723628924464 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 34037760 140723628925974 140723628926090 140723628926090 140723628933104 0
/proc/30059/statm: 854972 657068 2998 3035 0 842561 0
[pid=30059/tid=30278] ppid=30056 vsize=3419888 memory=2628272 CPUtime=3451.97 cores=1,3
/proc/30059/task/30278/stat : 30278 (fscip) R 30056 30059 29413 0 -1 4194368 6454015 0 0 0 344739 458 0 0 20 0 3 0 4467242 3501965312 657068 134679101440 4194304 16623229 140723628924464 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 34037760 140723628925974 140723628926090 140723628926090 140723628933104 0
[pid=30059/tid=30279] ppid=30056 vsize=3419888 memory=2628272 CPUtime=0.05 cores=1,3
/proc/30059/task/30279/stat : 30279 (fscip) S 30056 30059 29413 0 -1 1077936192 201 0 0 0 1 4 0 0 20 0 3 0 4467348 3501965312 657068 134679101440 4194304 16623229 140723628924464 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 34037760 140723628925974 140723628926090 140723628926090 140723628933104 0
Current children cumulated CPU time: 3505.14 s
Current children cumulated vsize: 3419888 KiB
Current children cumulated memory: 2628272 KiB
[startup+3582.3 s]
/proc/loadavg: 4.16 4.19 4.09 5/265 32575
/proc/meminfo: memFree=117499576/131524600 swapFree=131071996/131071996
[pid=30059] ppid=30056 vsize=3419888 memory=2628272 CPUtime=3564.83 cores=1,3
/proc/30059/stat : 30059 (fscip) S 30056 30059 29413 0 -1 1077936128 6752782 0 0 0 355975 508 0 0 20 0 3 0 4461989 3501965312 657068 134679101440 4194304 16623229 140723628924464 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 34037760 140723628925974 140723628926090 140723628926090 140723628933104 0
/proc/30059/statm: 854972 657068 2998 3035 0 842561 0
[pid=30059/tid=30278] ppid=30056 vsize=3419888 memory=11480 CPUtime=3511.66 cores=1,3
/proc/30059/task/30278/stat : 30278 (fscip) R 30056 30059 29413 0 -1 4194368 6550229 0 0 0 350702 464 0 0 20 0 3 0 4467242 3501965312 657068 134679101440 4194304 16623229 140723628924464 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 34037760 140723628925974 140723628926090 140723628926090 140723628933104 0
[pid=30059/tid=30279] ppid=30056 vsize=3419888 memory=16136 CPUtime=0.05 cores=1,3
/proc/30059/task/30279/stat : 30279 (fscip) S 30056 30059 29413 0 -1 1077936192 203 0 0 0 1 4 0 0 20 0 3 0 4467348 3501965312 657068 134679101440 4194304 16623229 140723628924464 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 34037760 140723628925974 140723628926090 140723628926090 140723628933104 0
Current children cumulated CPU time: 3564.83 s
Current children cumulated vsize: 3419888 KiB
Current children cumulated memory: 2628272 KiB
[startup+3599.38 s]
# the end of solver process 30059 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3576.58 s, system=5.27537 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.16 4.19 4.09 5/265 32577
/proc/meminfo: memFree=117499472/131524600 swapFree=131071996/131071996
[pid=30059] ppid=30056 vsize=3419888 memory=2628272 CPUtime=3566.54 cores=1,3
/proc/30059/stat : 30059 (fscip) S 30056 30059 29413 0 -1 1077936128 6753445 0 0 0 356145 509 0 0 20 0 3 0 4461989 3501965312 657068 134679101440 4194304 16623229 140723628924464 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 34037760 140723628925974 140723628926090 140723628926090 140723628933104 0
/proc/30059/statm: 854972 657068 2998 3035 0 842561 0
[pid=30059/tid=30278] ppid=30056 vsize=3419888 memory=11396 CPUtime=3513.36 cores=1,3
/proc/30059/task/30278/stat : 30278 (fscip) R 30056 30059 29413 0 -1 4194368 6550892 0 0 0 350872 464 0 0 20 0 3 0 4467242 3501965312 657068 134679101440 4194304 16623229 140723628924464 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 34037760 140723628925974 140723628926090 140723628926090 140723628933104 0
[pid=30059/tid=30279] ppid=30056 vsize=3419888 memory=4571037745065651865 CPUtime=0.05 cores=1,3
/proc/30059/task/30279/stat : 30279 (fscip) S 30056 30059 29413 0 -1 1077936192 203 0 0 0 1 4 0 0 20 0 3 0 4467348 3501965312 657068 134679101440 4194304 16623229 140723628924464 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 34037760 140723628925974 140723628926090 140723628926090 140723628933104 0
Current children cumulated CPU time: 3566.54 s
Current children cumulated vsize: 3419888 KiB
Current children cumulated memory: 2628272 KiB
[startup+3590.4 s]
/proc/loadavg: 4.13 4.19 4.09 5/265 32578
/proc/meminfo: memFree=117499040/131524600 swapFree=131071996/131071996
[pid=30059] ppid=30056 vsize=3419888 memory=2628272 CPUtime=3572.9 cores=1,3
/proc/30059/stat : 30059 (fscip) S 30056 30059 29413 0 -1 1077936128 6759793 0 0 0 356781 509 0 0 20 0 3 0 4461989 3501965312 657068 134679101440 4194304 16623229 140723628924464 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 34037760 140723628925974 140723628926090 140723628926090 140723628933104 0
/proc/30059/statm: 854972 657068 2998 3035 0 842561 0
[pid=30059/tid=30278] ppid=30056 vsize=3419888 memory=-7668622482090319995 CPUtime=3519.73 cores=1,3
/proc/30059/task/30278/stat : 30278 (fscip) R 30056 30059 29413 0 -1 4194368 6557240 0 0 0 351508 465 0 0 20 0 3 0 4467242 3501965312 657068 134679101440 4194304 16623229 140723628924464 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 34037760 140723628925974 140723628926090 140723628926090 140723628933104 0
[pid=30059/tid=30279] ppid=30056 vsize=3419888 memory=2628272 CPUtime=0.05 cores=1,3
/proc/30059/task/30279/stat : 30279 (fscip) S 30056 30059 29413 0 -1 1077936192 203 0 0 0 1 4 0 0 20 0 3 0 4467348 3501965312 657068 134679101440 4194304 16623229 140723628924464 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 34037760 140723628925974 140723628926090 140723628926090 140723628933104 0
Current children cumulated CPU time: 3572.9 s
Current children cumulated vsize: 3419888 KiB
Current children cumulated memory: 2628272 KiB
[startup+3593.6 s]
/proc/loadavg: 4.13 4.19 4.09 5/264 32579
/proc/meminfo: memFree=117830152/131524600 swapFree=131071996/131071996
[pid=30059] ppid=30056 vsize=3419888 memory=2628272 CPUtime=3576.08 cores=1,3
/proc/30059/stat : 30059 (fscip) S 30056 30059 29413 0 -1 1077936128 6761103 0 0 0 357099 509 0 0 20 0 3 0 4461989 3501965312 657068 134679101440 4194304 16623229 140723628924464 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 34037760 140723628925974 140723628926090 140723628926090 140723628933104 0
/proc/30059/statm: 854972 657068 2998 3035 0 842561 0
[pid=30059/tid=30278] ppid=30056 vsize=3419888 memory=2628272 CPUtime=3522.91 cores=1,3
/proc/30059/task/30278/stat : 30278 (fscip) R 30056 30059 29413 0 -1 4194368 6558547 0 0 0 351826 465 0 0 20 0 3 0 4467242 3501965312 657068 134679101440 4194304 16623229 140723628924464 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 34037760 140723628925974 140723628926090 140723628926090 140723628933104 0
[pid=30059/tid=30279] ppid=30056 vsize=3419888 memory=0 CPUtime=0.05 cores=1,3
/proc/30059/task/30279/stat : 30279 (fscip) S 30056 30059 29413 0 -1 1077936192 205 0 0 0 1 4 0 0 20 0 3 0 4467348 3501965312 657068 134679101440 4194304 16623229 140723628924464 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 34037760 140723628925974 140723628926090 140723628926090 140723628933104 0
Current children cumulated CPU time: 3576.08 s
Current children cumulated vsize: 3419888 KiB
Current children cumulated memory: 2628272 KiB
[startup+3596.8 s]
/proc/loadavg: 4.12 4.18 4.09 5/263 32625
/proc/meminfo: memFree=119381408/131524600 swapFree=131071996/131071996
[pid=30059] ppid=30056 vsize=3419888 memory=2628272 CPUtime=3579.26 cores=1,3
/proc/30059/stat : 30059 (fscip) S 30056 30059 29413 0 -1 1077936128 6761359 0 0 0 357417 509 0 0 20 0 3 0 4461989 3501965312 657068 134679101440 4194304 16623229 140723628924464 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 34037760 140723628925974 140723628926090 140723628926090 140723628933104 0
/proc/30059/statm: 854972 657068 2998 3035 0 842561 0
[pid=30059/tid=30278] ppid=30056 vsize=3419888 memory=2628272 CPUtime=3526.09 cores=1,3
/proc/30059/task/30278/stat : 30278 (fscip) R 30056 30059 29413 0 -1 4194368 6558802 0 0 0 352144 465 0 0 20 0 3 0 4467242 3501965312 657068 134679101440 4194304 16623229 140723628924464 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 34037760 140723628925974 140723628926090 140723628926090 140723628933104 0
[pid=30059/tid=30279] ppid=30056 vsize=3419888 memory=351623 CPUtime=0.05 cores=1,3
/proc/30059/task/30279/stat : 30279 (fscip) S 30056 30059 29413 0 -1 1077936192 205 0 0 0 1 4 0 0 20 0 3 0 4467348 3501965312 657068 134679101440 4194304 16623229 140723628924464 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 34037760 140723628925974 140723628926090 140723628926090 140723628933104 0
Current children cumulated CPU time: 3579.26 s
Current children cumulated vsize: 3419888 KiB
Current children cumulated memory: 2628272 KiB
[startup+3598.4 s]
/proc/loadavg: 4.12 4.18 4.09 4/259 32625
/proc/meminfo: memFree=122069408/131524600 swapFree=131071996/131071996
[pid=30059] ppid=30056 vsize=3419888 memory=2628272 CPUtime=3580.86 cores=1,3
/proc/30059/stat : 30059 (fscip) S 30056 30059 29413 0 -1 1077936128 6831198 0 0 0 357572 514 0 0 20 0 3 0 4461989 3501965312 657068 134679101440 4194304 16623229 140723628924464 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 34037760 140723628925974 140723628926090 140723628926090 140723628933104 0
/proc/30059/statm: 854972 657068 2998 3035 0 842561 0
[pid=30059/tid=30278] ppid=30056 vsize=3419888 memory=0 CPUtime=3527.69 cores=1,3
/proc/30059/task/30278/stat : 30278 (fscip) R 30056 30059 29413 0 -1 4194368 6628628 0 0 0 352300 469 0 0 20 0 3 0 4467242 3501965312 657068 134679101440 4194304 16623229 140723628924464 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 34037760 140723628925974 140723628926090 140723628926090 140723628933104 0
[pid=30059/tid=30279] ppid=30056 vsize=3419888 memory=0 CPUtime=0.05 cores=1,3
/proc/30059/task/30279/stat : 30279 (fscip) S 30056 30059 29413 0 -1 1077936192 205 0 0 0 1 4 0 0 20 0 3 0 4467348 3501965312 657068 134679101440 4194304 16623229 140723628924464 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 34037760 140723628925974 140723628926090 140723628926090 140723628933104 0
Current children cumulated CPU time: 3580.86 s
Current children cumulated vsize: 3419888 KiB
Current children cumulated memory: 2628272 KiB
[startup+3598.8 s]
/proc/loadavg: 4.12 4.18 4.09 4/259 32625
/proc/meminfo: memFree=122069408/131524600 swapFree=131071996/131071996
[pid=30059] ppid=30056 vsize=3419888 memory=2628272 CPUtime=3581.26 cores=1,3
/proc/30059/stat : 30059 (fscip) S 30056 30059 29413 0 -1 1077936128 6871308 0 0 0 357611 515 0 0 20 0 3 0 4461989 3501965312 657068 134679101440 4194304 16623229 140723628924464 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 34037760 140723628925974 140723628926090 140723628926090 140723628933104 0
/proc/30059/statm: 854972 657068 2998 3035 0 842561 0
[pid=30059/tid=30278] ppid=30056 vsize=3419888 memory=2628272 CPUtime=3528.09 cores=1,3
/proc/30059/task/30278/stat : 30278 (fscip) R 30056 30059 29413 0 -1 4194368 6668760 0 0 0 352338 471 0 0 20 0 3 0 4467242 3501965312 657068 134679101440 4194304 16623229 140723628924464 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 34037760 140723628925974 140723628926090 140723628926090 140723628933104 0
[pid=30059/tid=30279] ppid=30056 vsize=3419888 memory=0 CPUtime=0.05 cores=1,3
/proc/30059/task/30279/stat : 30279 (fscip) S 30056 30059 29413 0 -1 1077936192 205 0 0 0 1 4 0 0 20 0 3 0 4467348 3501965312 657068 134679101440 4194304 16623229 140723628924464 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 34037760 140723628925974 140723628926090 140723628926090 140723628933104 0
Current children cumulated CPU time: 3581.26 s
Current children cumulated vsize: 3419888 KiB
Current children cumulated memory: 2628272 KiB
[startup+3599.2 s]
/proc/loadavg: 4.12 4.18 4.09 5/259 32671
/proc/meminfo: memFree=122043380/131524600 swapFree=131071996/131071996
[pid=30059] ppid=30056 vsize=2633084 memory=2543176 CPUtime=3581.66 cores=1,3
/proc/30059/stat : 30059 (fscip) R 30056 30059 29413 0 -1 4194304 6934265 0 0 0 357647 519 0 0 20 0 1 0 4461989 2696278016 635794 134679101440 4194304 16623229 140723628924464 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 34037760 140723628925974 140723628926090 140723628926090 140723628933104 0
/proc/30059/statm: 658271 635794 2998 3035 0 646155 0
Current children cumulated CPU time: 3581.66 s
Current children cumulated vsize: 2633084 KiB
Current children cumulated memory: 2543176 KiB
[startup+3599.3 s]
/proc/loadavg: 4.12 4.18 4.09 5/259 32671
/proc/meminfo: memFree=122043380/131524600 swapFree=131071996/131071996
[pid=30059] ppid=30056 vsize=2516208 memory=2426300 CPUtime=3581.76 cores=1,3
/proc/30059/stat : 30059 (fscip) R 30056 30059 29413 0 -1 4194304 6961851 0 0 0 357655 521 0 0 20 0 1 0 4461989 2576596992 606575 134679101440 4194304 16623229 140723628924464 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 34037760 140723628925974 140723628926090 140723628926090 140723628933104 0
/proc/30059/statm: 629052 606575 2998 3035 0 616936 0
Current children cumulated CPU time: 3581.76 s
Current children cumulated vsize: 2516208 KiB
Current children cumulated memory: 2426300 KiB
Child status: 0
Real time (s): 3599.38
CPU time (s): 3581.85
CPU user time (s): 3576.58
CPU system time (s): 5.27537
CPU usage (%): 99.5129
Max. virtual memory (cumulated for all children) (KiB): 3485424
Max. memory (cumulated for all children) (KiB): 2677832
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3576.58
system time used= 5.27537
maximum resident set size= 2678008
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 6969609
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= 9516
involuntary context switches= 1837
# summary of solver processes directly reported to runsolver:
# pid: 30059
# total CPU time (s): 3581.85
# total CPU user time (s): 3576.58
# total CPU system time (s): 5.27537
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.11295 second user time and 20.1109 second system time
The end
Begin job on nodeC031 at 2024-07-31 00:30:03
IDJOB=4464409
IDBENCH=147857
IDSOLVER=3092
FILE ID=nodeC031/4464409-1722378603
RUNJOBID= nodeC031-1722378597-29425
SLURM_JOB_ID= 8249854
Free space on /tmp= 889972 MiB
SOLVER NAME= FiberSCIP 2024-07-30
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-4464409-1722378603/watcher-4464409-1722378603 -o /tmp/evaluation-result-4464409-1722378603/solver-4464409-1722378603 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC031-1722378597-29425 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4464409-1722378603.opb -qsol -t 3600 -sth 1
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 01a2d7031971d4d75da01f2dca43b6c9
RANDOM SEED=483359291
nodeC031.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 : 3675.103
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.95
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3664.367
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7007.12
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.133
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.95
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 : 3673.448
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7007.12
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 : 3675.130
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.95
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 : 3672.800
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7007.12
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.218
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.95
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.349
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7007.12
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 124394308 kB
MemAvailable: 128427488 kB
Buffers: 84860 kB
Cached: 4778584 kB
SwapCached: 0 kB
Active: 270484 kB
Inactive: 6372592 kB
Active(anon): 1564 kB
Inactive(anon): 1799408 kB
Active(file): 268920 kB
Inactive(file): 4573184 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 113312 kB
Writeback: 4 kB
AnonPages: 1779464 kB
Mapped: 121672 kB
Shmem: 21336 kB
KReclaimable: 61448 kB
Slab: 142276 kB
SReclaimable: 61448 kB
SUnreclaim: 80828 kB
KernelStack: 4224 kB
PageTables: 12552 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 1917796 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 9216 kB
HardwareCorrupted: 0 kB
AnonHugePages: 374784 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: 236244 kB
DirectMap2M: 8974336 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 889912 MiB
End job on nodeC031 at 2024-07-31 01:30:02