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.97/1.02 c Default LC presolving (default).
0.97/1.03 c ** Before presolving: virtualMemUsedAtLc = 839184802, getVmSize() = 494678016, SCIPgetMemUsed() = 431767580, SCIPgetMemTotal() = 444312052, SCIPgetMemExternEstim() = 394872750
0.97/1.03 c ** set memory limit for presolving in LC to 8.79584e+12 for SCIP **
35.15/35.32 c ** Estimated virtualMemUsedAtSolver = 679811860, getVmSize() = 776654848, SCIPgetMemUsed() = 542659096, SCIPgetMemTotal() = 624845040, SCIPgetMemExternEstim() = 394872750
35.15/35.32 c ** set memory limit for solvers to 4.39803e+12 for each SCIP **
35.15/35.32 c Original Problem :
35.15/35.32 c Problem name : instance-4464410-1722378601
35.15/35.32 c Variables : 8550 (8550 binary, 0 integer, 0 implicit integer, 0 continuous)
35.15/35.32 c Constraints : 401945
35.15/35.32 c Objective sense : minimize
35.15/35.32 c Presolved Problem :
35.15/35.32 c Variables : 8550 (8550 binary, 0 integer, 0 implicit integer, 0 continuous)
35.15/35.32 c Constraints : 402128
35.15/35.32 c Constraints : Number
35.15/35.32 c setppc : 401850
35.15/35.32 c linear : 183
35.15/35.32 c logicor : 95
35.15/35.32 c ** Instance transfer method used: 0
35.75/35.93 c ** ParaScipInstance copy does not increase the number of variables. **
36.24/36.43 c LC is working with racing ramp-up and with rebuilding tree after racing.
36.24/36.43 c Nodes Active
36.24/36.43 c Time Nodes Left Solvers Best Integer Best Node Gap Best Node(S) Gap(S)
223.51/224.48 c 224 2 1 1 - 0.0000 -
230.79/231.71 c 232 7 6 1 - 0.0000 -
247.31/248.36 c 248 16 15 1 - 0.0000 -
266.13/267.24 c 267 26 25 1 - 0.0000 -
279.77/280.94 c 281 32 31 1 - 0.0000 -
286.65/287.85 c 288 34 35 1 - 0.0000 -
294.52/295.79 c 296 40 39 1 - 0.0000 -
301.40/302.62 c 303 43 42 1 - 0.0000 -
307.48/308.75 c 309 46 45 1 - 0.0000 -
313.16/314.48 c 314 49 48 1 - 0.0000 -
321.73/323.02 c 323 55 54 1 - 0.0000 -
330.40/331.71 c 332 63 62 1 - 0.0000 -
338.27/339.62 c 340 67 66 1 - 0.0000 -
345.04/346.42 c 346 70 69 1 - 0.0000 -
350.22/351.62 c 352 75 74 1 - 0.0000 -
357.20/358.67 c 359 78 77 1 - 0.0000 -
365.47/366.94 c 367 99 98 1 - 0.0000 -
372.74/374.20 c 374 102 101 1 - 0.0000 -
378.72/380.27 c 380 107 106 1 - 0.0000 -
384.51/386.06 c 386 109 108 1 - 0.0000 -
392.57/394.11 c 394 122 121 1 - 0.0000 -
397.65/399.24 c 399 132 131 1 - 0.0000 -
403.82/405.48 c 405 152 151 1 - 0.0000 -
410.20/411.87 c 412 170 169 1 - 0.0000 -
419.76/421.43 c 421 182 181 1 - 0.0000 -
431.63/433.35 c 433 194 193 1 - 0.0000 -
440.00/441.79 c 442 202 201 1 - 0.0000 -
446.48/448.22 c 448 210 209 1 - 0.0000 -
452.85/454.66 c 455 224 223 1 - 0.0000 -
463.42/465.26 c 465 232 231 1 - 0.0000 -
477.47/479.30 c 479 244 243 1 - 0.0000 -
491.51/493.49 c 494 250 249 1 - 0.0000 -
501.18/503.19 c 503 255 254 1 - 0.0000 -
507.05/509.10 c 509 278 277 1 - 0.0000 -
513.22/515.23 c 515 320 313 1 - 0.0000 -
518.39/520.43 c 520 362 333 1 - 0.0000 -
523.58/525.68 c 526 419 368 1 - 0.0000 -
528.75/530.88 c 531 481 382 1 - 0.0000 -
544.39/546.59 c 547 491 392 1 - 0.0000 -
549.76/551.92 c 552 549 404 1 - 0.0000 -
554.95/557.18 c 557 608 392 1 - 0.0000 -
560.31/562.55 c 563 645 399 1 - 0.0000 -
565.79/568.02 c 568 697 405 1 - 0.0000 -
570.95/573.23 c 573 750 384 1 - 0.0000 -
576.13/578.42 c 578 794 381 1 - 0.0000 -
581.50/583.80 c 584 845 384 1 - 0.0000 -
587.77/590.18 c 590 897 387 1 - 0.0000 -
593.15/595.51 c 596 948 388 1 - 0.0000 -
598.32/600.72 c 601 998 384 1 - 0.0000 -
603.59/606.05 c 606 1049 385 1 - 0.0000 -
608.87/611.37 c 611 1097 385 1 - 0.0000 -
614.64/617.13 c 617 1136 390 1 - 0.0000 -
620.11/622.63 c 623 1188 394 1 - 0.0000 -
625.68/628.21 c 628 1239 397 1 - 0.0000 -
630.86/633.47 c 633 1289 401 1 - 0.0000 -
636.23/638.81 c 639 1341 403 1 - 0.0000 -
641.40/644.06 c 644 1396 406 1 - 0.0000 -
646.68/649.32 c 649 1453 407 1 - 0.0000 -
651.95/654.64 c 655 1512 410 1 - 0.0000 -
657.12/659.87 c 660 1572 410 1 - 0.0000 -
662.30/665.06 c 665 1635 409 1 - 0.0000 -
667.67/670.47 c 670 1696 410 1 - 0.0000 -
672.95/675.73 c 676 1762 406 1 - 0.0000 -
678.11/680.94 c 681 1827 399 1 - 0.0000 -
683.19/686.06 c 686 1881 392 1 - 0.0000 -
688.97/691.87 c 692 1927 400 1 - 0.0000 -
694.94/697.85 c 698 1974 407 1 - 0.0000 -
700.01/702.91 c 703 2019 410 1 - 0.0000 -
705.20/708.19 c 708 2064 413 1 - 0.0000 -
710.46/713.41 c 713 2116 415 1 - 0.0000 -
715.73/718.76 c 719 2166 419 1 - 0.0000 -
721.12/724.19 c 724 2216 421 1 - 0.0000 -
726.38/729.41 c 729 2268 423 1 - 0.0000 -
731.56/734.65 c 735 2320 423 1 - 0.0000 -
736.94/740.02 c 740 2376 423 1 - 0.0000 -
742.21/745.30 c 745 2429 424 1 - 0.0000 -
747.39/750.50 c 751 2479 422 1 - 0.0000 -
753.75/756.95 c 757 2532 427 1 - 0.0000 -
758.93/762.18 c 762 2595 430 1 - 0.0000 -
764.20/767.49 c 767 2660 433 1 - 0.0000 -
769.47/772.73 c 773 2726 435 1 - 0.0000 -
774.64/777.98 c 778 2790 437 1 - 0.0000 -
780.02/783.39 c 783 2835 446 1 - 0.0000 -
785.59/788.94 c 789 2878 453 1 - 0.0000 -
790.77/794.13 c 794 2934 453 1 - 0.0000 -
795.93/799.31 c 799 2990 453 1 - 0.0000 -
801.71/805.19 c 805 3041 454 1 - 0.0000 -
807.28/810.72 c 811 3099 458 1 - 0.0000 -
812.45/815.96 c 816 3163 458 1 - 0.0000 -
817.64/821.12 c 821 3228 457 1 - 0.0000 -
822.70/826.24 c 826 3292 457 1 - 0.0000 -
827.88/831.43 c 831 3358 455 1 - 0.0000 -
833.05/836.62 c 837 3415 454 1 - 0.0000 -
838.83/842.45 c 842 3474 459 1 - 0.0000 -
844.00/847.69 c 848 3518 461 1 - 0.0000 -
849.57/853.29 c 853 3573 464 1 - 0.0000 -
855.35/859.09 c 859 3621 466 1 - 0.0000 -
860.42/864.12 c 864 3661 470 1 - 0.0000 -
865.60/869.37 c 869 3712 471 1 - 0.0000 -
870.97/874.77 c 875 3755 472 1 - 0.0000 -
877.04/880.82 c 881 3807 476 1 - 0.0000 -
882.22/886.05 c 886 3849 480 1 - 0.0000 -
887.99/891.88 c 892 3899 486 1 - 0.0000 -
893.27/897.13 c 897 3951 488 1 - 0.0000 -
898.44/902.37 c 902 3994 493 1 - 0.0000 -
904.12/908.04 c 908 4044 495 1 - 0.0000 -
909.10/913.07 c 913 4084 497 1 - 0.0000 -
914.96/918.91 c 919 4134 499 1 - 0.0000 -
920.33/924.32 c 924 4185 500 1 - 0.0000 -
926.01/930.02 c 930 4236 503 1 - 0.0000 -
931.68/935.74 c 936 4286 505 1 - 0.0000 -
937.55/941.67 c 942 4328 507 1 - 0.0000 -
943.42/947.54 c 948 4383 508 1 - 0.0000 -
949.00/953.13 c 953 4439 512 1 - 0.0000 -
954.37/958.51 c 959 4485 514 1 - 0.0000 -
960.24/964.40 c 964 4539 518 1 - 0.0000 -
965.83/970.04 c 970 4588 521 1 - 0.0000 -
971.39/975.61 c 976 4632 523 1 - 0.0000 -
977.56/981.80 c 982 4684 527 1 - 0.0000 -
983.13/987.44 c 987 4736 529 1 - 0.0000 -
989.40/993.72 c 994 4762 529 1 - 0.0000 -
994.97/999.37 c 999 4812 531 1 - 0.0000 -
1000.35/1004.72 c 1005 4854 535 1 - 0.0000 -
1005.73/1010.17 c 1010 4904 537 1 - 0.0000 -
1011.10/1015.50 c 1016 4953 542 1 - 0.0000 -
1016.67/1021.10 c 1021 5004 549 1 - 0.0000 -
1021.94/1026.43 c 1026 5068 551 1 - 0.0000 -
1027.21/1031.70 c 1032 5124 553 1 - 0.0000 -
1032.39/1036.93 c 1037 5176 555 1 - 0.0000 -
1037.57/1042.18 c 1042 5235 556 1 - 0.0000 -
1042.94/1047.59 c 1048 5290 559 1 - 0.0000 -
1048.21/1052.87 c 1053 5342 561 1 - 0.0000 -
1053.39/1058.06 c 1058 5402 561 1 - 0.0000 -
1058.86/1063.54 c 1064 5453 564 1 - 0.0000 -
1064.03/1068.73 c 1069 5509 566 1 - 0.0000 -
1069.31/1074.08 c 1074 5565 568 1 - 0.0000 -
1074.69/1079.45 c 1079 5605 570 1 - 0.0000 -
1079.96/1084.74 c 1085 5653 572 1 - 0.0000 -
1085.25/1090.05 c 1090 5703 572 1 - 0.0000 -
1090.51/1095.34 c 1095 5758 575 1 - 0.0000 -
1095.79/1100.63 c 1101 5823 576 1 - 0.0000 -
1101.17/1106.03 c 1106 5880 577 1 - 0.0000 -
1106.44/1111.33 c 1111 5935 582 1 - 0.0000 -
1111.72/1116.60 c 1117 5997 584 1 - 0.0000 -
1116.79/1121.70 c 1122 6054 585 1 - 0.0000 -
1121.96/1126.91 c 1127 6110 585 1 - 0.0000 -
1127.14/1132.18 c 1132 6168 587 1 - 0.0000 -
1132.51/1137.55 c 1138 6231 588 1 - 0.0000 -
1137.89/1142.92 c 1143 6294 589 1 - 0.0000 -
1143.16/1148.25 c 1148 6349 590 1 - 0.0000 -
1148.63/1153.74 c 1154 6407 592 1 - 0.0000 -
1154.11/1159.23 c 1159 6453 594 1 - 0.0000 -
1159.38/1164.50 c 1164 6509 596 1 - 0.0000 -
1164.66/1169.89 c 1170 6565 598 1 - 0.0000 -
1169.93/1175.18 c 1175 6622 599 1 - 0.0000 -
1175.30/1180.51 c 1181 6685 600 1 - 0.0000 -
1180.58/1185.80 c 1186 6749 606 1 - 0.0000 -
1185.76/1191.01 c 1191 6812 607 1 - 0.0000 -
1190.83/1196.20 c 1196 6875 606 1 - 0.0000 -
1196.00/1201.39 c 1201 6937 608 1 - 0.0000 -
1201.28/1206.60 c 1207 6997 608 1 - 0.0000 -
1206.55/1211.92 c 1212 7060 609 1 - 0.0000 -
1211.73/1217.18 c 1217 7121 610 1 - 0.0000 -
1216.91/1222.36 c 1222 7185 608 1 - 0.0000 -
1222.07/1227.58 c 1228 7248 609 1 - 0.0000 -
1227.46/1232.94 c 1233 7309 610 1 - 0.0000 -
1232.64/1238.13 c 1238 7371 610 1 - 0.0000 -
1237.80/1243.35 c 1243 7429 610 1 - 0.0000 -
1243.08/1248.65 c 1249 7493 612 1 - 0.0000 -
1248.25/1253.86 c 1254 7555 614 1 - 0.0000 -
1253.43/1259.08 c 1259 7616 615 1 - 0.0000 -
1258.70/1264.31 c 1264 7681 616 1 - 0.0000 -
1263.88/1269.55 c 1270 7743 616 1 - 0.0000 -
1269.36/1275.09 c 1275 7800 617 1 - 0.0000 -
1274.62/1280.38 c 1280 7862 617 1 - 0.0000 -
1280.00/1285.73 c 1286 7923 620 1 - 0.0000 -
1285.28/1291.01 c 1291 7986 619 1 - 0.0000 -
1290.45/1296.24 c 1296 8051 620 1 - 0.0000 -
1295.62/1301.45 c 1301 8114 621 1 - 0.0000 -
1301.00/1306.83 c 1307 8181 622 1 - 0.0000 -
1306.17/1312.01 c 1312 8245 622 1 - 0.0000 -
1311.34/1317.20 c 1317 8308 621 1 - 0.0000 -
1316.52/1322.46 c 1322 8371 622 1 - 0.0000 -
1321.69/1327.67 c 1328 8433 622 1 - 0.0000 -
1326.86/1332.81 c 1333 8496 621 1 - 0.0000 -
1332.05/1338.01 c 1338 8558 621 1 - 0.0000 -
1337.21/1343.21 c 1343 8620 623 1 - 0.0000 -
1342.39/1348.40 c 1348 8684 623 1 - 0.0000 -
1347.47/1353.55 c 1354 8744 627 1 - 0.0000 -
1352.64/1358.72 c 1359 8807 628 1 - 0.0000 -
1357.92/1364.00 c 1364 8872 627 1 - 0.0000 -
1363.00/1369.16 c 1369 8933 628 1 - 0.0000 -
1368.16/1374.30 c 1374 8996 629 1 - 0.0000 -
1373.34/1379.54 c 1380 9057 630 1 - 0.0000 -
1378.52/1384.73 c 1385 9116 629 1 - 0.0000 -
1383.69/1389.98 c 1390 9180 629 1 - 0.0000 -
1388.87/1395.15 c 1395 9240 631 1 - 0.0000 -
1394.14/1400.42 c 1400 9300 631 1 - 0.0000 -
1399.32/1405.68 c 1406 9359 632 1 - 0.0000 -
1404.69/1411.00 c 1411 9418 633 1 - 0.0000 -
1409.96/1416.34 c 1416 9479 634 1 - 0.0000 -
1415.23/1421.64 c 1422 9541 634 1 - 0.0000 -
1420.41/1426.81 c 1427 9603 634 1 - 0.0000 -
1425.68/1432.14 c 1432 9665 634 1 - 0.0000 -
1430.85/1437.31 c 1437 9729 634 1 - 0.0000 -
1435.93/1442.47 c 1442 9792 633 1 - 0.0000 -
1441.31/1447.82 c 1448 9853 634 1 - 0.0000 -
1446.49/1453.03 c 1453 9917 632 1 - 0.0000 -
1451.66/1458.23 c 1458 9980 633 1 - 0.0000 -
1456.74/1463.37 c 1463 10039 634 1 - 0.0000 -
1461.92/1468.54 c 1469 10102 633 1 - 0.0000 -
1467.19/1473.81 c 1474 10166 633 1 - 0.0000 -
1472.36/1479.06 c 1479 10228 633 1 - 0.0000 -
1477.74/1484.43 c 1484 10289 634 1 - 0.0000 -
1483.01/1489.72 c 1490 10352 633 1 - 0.0000 -
1488.19/1494.95 c 1495 10413 634 1 - 0.0000 -
1493.37/1500.19 c 1500 10475 634 1 - 0.0000 -
1498.64/1505.40 c 1505 10538 633 1 - 0.0000 -
1503.81/1510.63 c 1511 10599 634 1 - 0.0000 -
1508.99/1515.86 c 1516 10662 633 1 - 0.0000 -
1514.26/1521.15 c 1521 10726 633 1 - 0.0000 -
1519.43/1526.31 c 1526 10790 633 1 - 0.0000 -
1524.61/1531.52 c 1532 10851 634 1 - 0.0000 -
1529.79/1536.79 c 1537 10912 633 1 - 0.0000 -
1535.07/1542.07 c 1542 10973 634 1 - 0.0000 -
1540.33/1547.34 c 1547 11036 633 1 - 0.0000 -
1545.51/1552.51 c 1553 11097 632 1 - 0.0000 -
1550.79/1557.81 c 1558 11157 634 1 - 0.0000 -
1555.97/1563.06 c 1563 11217 634 1 - 0.0000 -
1561.23/1568.38 c 1568 11283 634 1 - 0.0000 -
1566.41/1573.54 c 1574 11347 634 1 - 0.0000 -
1571.78/1578.90 c 1579 11411 634 1 - 0.0000 -
1576.97/1584.19 c 1584 11476 633 1 - 0.0000 -
1582.13/1589.34 c 1589 11536 633 1 - 0.0000 -
1587.40/1594.63 c 1595 11603 634 1 - 0.0000 -
1592.68/1599.93 c 1600 11664 633 1 - 0.0000 -
1598.05/1605.35 c 1605 11729 634 1 - 0.0000 -
1603.23/1610.56 c 1611 11791 634 1 - 0.0000 -
1608.40/1615.79 c 1616 11856 638 1 - 0.0000 -
1613.58/1620.99 c 1621 11922 640 1 - 0.0000 -
1618.85/1626.27 c 1626 11987 639 1 - 0.0000 -
1624.63/1632.03 c 1632 12037 641 1 - 0.0000 -
1629.71/1637.19 c 1637 12096 640 1 - 0.0000 -
1634.98/1642.43 c 1642 12160 640 1 - 0.0000 -
1640.16/1647.68 c 1648 12224 640 1 - 0.0000 -
1645.43/1652.93 c 1653 12288 640 1 - 0.0000 -
1650.70/1658.20 c 1658 12352 640 1 - 0.0000 -
1655.97/1663.53 c 1664 12417 641 1 - 0.0000 -
1661.15/1668.75 c 1669 12481 641 1 - 0.0000 -
1666.42/1674.03 c 1674 12545 642 1 - 0.0000 -
1671.60/1679.21 c 1679 12609 644 1 - 0.0000 -
1676.67/1684.39 c 1684 12670 645 1 - 0.0000 -
1681.95/1689.68 c 1690 12734 645 1 - 0.0000 -
1687.23/1694.99 c 1695 12796 645 1 - 0.0000 -
1692.50/1700.23 c 1700 12859 646 1 - 0.0000 -
1697.68/1705.40 c 1705 12920 645 1 - 0.0000 -
1702.95/1710.70 c 1711 12983 644 1 - 0.0000 -
1708.12/1715.97 c 1716 13042 645 1 - 0.0000 -
1713.40/1721.26 c 1721 13107 646 1 - 0.0000 -
1718.68/1726.59 c 1727 13170 645 1 - 0.0000 -
1723.95/1731.84 c 1732 13229 642 1 - 0.0000 -
1729.23/1737.20 c 1737 13296 643 1 - 0.0000 -
1734.50/1742.49 c 1742 13360 642 1 - 0.0000 -
1739.77/1747.78 c 1748 13423 641 1 - 0.0000 -
1745.24/1753.25 c 1753 13487 647 1 - 0.0000 -
1750.52/1758.51 c 1759 13547 649 1 - 0.0000 -
1755.69/1763.75 c 1764 13609 651 1 - 0.0000 -
1760.77/1768.87 c 1769 13672 654 1 - 0.0000 -
1765.95/1774.04 c 1774 13732 656 1 - 0.0000 -
1771.21/1779.32 c 1779 13793 657 1 - 0.0000 -
1776.40/1784.50 c 1785 13854 651 1 - 0.0000 -
1781.47/1789.69 c 1790 13914 647 1 - 0.0000 -
1786.64/1794.82 c 1795 13978 647 1 - 0.0000 -
1791.82/1800.01 c 1800 14036 647 1 - 0.0000 -
1796.99/1805.20 c 1805 14100 647 1 - 0.0000 -
1802.17/1810.48 c 1810 14162 647 1 - 0.0000 -
1807.34/1815.62 c 1816 14224 644 1 - 0.0000 -
1812.42/1820.77 c 1821 14289 645 1 - 0.0000 -
1817.80/1826.16 c 1826 14355 645 1 - 0.0000 -
1823.07/1831.40 c 1831 14419 647 1 - 0.0000 -
1828.24/1836.65 c 1837 14484 645 1 - 0.0000 -
1833.52/1841.93 c 1842 14545 646 1 - 0.0000 -
1838.79/1847.21 c 1847 14609 648 1 - 0.0000 -
1844.06/1852.50 c 1853 14674 647 1 - 0.0000 -
1849.34/1857.82 c 1858 14736 647 1 - 0.0000 -
1854.52/1863.08 c 1863 14801 648 1 - 0.0000 -
1859.68/1868.20 c 1868 14865 648 1 - 0.0000 -
1864.86/1873.45 c 1873 14925 650 1 - 0.0000 -
1870.14/1878.78 c 1879 14987 660 1 - 0.0000 -
1875.41/1884.05 c 1884 15052 659 1 - 0.0000 -
1880.58/1889.29 c 1889 15116 661 1 - 0.0000 -
1885.76/1894.49 c 1894 15181 664 1 - 0.0000 -
1890.94/1899.65 c 1900 15245 676 1 - 0.0000 -
1896.11/1904.88 c 1905 15312 677 1 - 0.0000 -
1901.38/1910.16 c 1910 15376 667 1 - 0.0000 -
1906.55/1915.38 c 1915 15439 668 1 - 0.0000 -
1911.83/1920.61 c 1921 15503 670 1 - 0.0000 -
1917.00/1925.86 c 1926 15564 671 1 - 0.0000 -
1922.19/1931.04 c 1931 15624 675 1 - 0.0000 -
1927.45/1936.32 c 1936 15689 680 1 - 0.0000 -
1932.63/1941.54 c 1942 15749 684 1 - 0.0000 -
1937.90/1946.80 c 1947 15814 685 1 - 0.0000 -
1943.09/1952.04 c 1952 15879 683 1 - 0.0000 -
1948.36/1957.33 c 1957 15941 681 1 - 0.0000 -
1953.53/1962.54 c 1963 16005 681 1 - 0.0000 -
1958.80/1967.83 c 1968 16070 679 1 - 0.0000 -
1963.98/1973.06 c 1973 16135 678 1 - 0.0000 -
1969.25/1978.35 c 1978 16201 682 1 - 0.0000 -
1974.43/1983.50 c 1984 16267 683 1 - 0.0000 -
1979.60/1988.78 c 1989 16333 675 1 - 0.0000 -
1984.88/1994.03 c 1994 16394 674 1 - 0.0000 -
1989.96/1999.19 c 1999 16455 675 1 - 0.0000 -
1995.22/2004.47 c 2004 16515 677 1 - 0.0000 -
2000.40/2009.65 c 2010 16577 671 1 - 0.0000 -
2005.78/2015.08 c 2015 16641 671 1 - 0.0000 -
2011.15/2020.42 c 2020 16704 667 1 - 0.0000 -
2016.32/2025.65 c 2026 16768 666 1 - 0.0000 -
2021.50/2030.87 c 2031 16833 665 1 - 0.0000 -
2026.78/2036.12 c 2036 16899 667 1 - 0.0000 -
2031.95/2041.34 c 2041 16963 666 1 - 0.0000 -
2037.22/2046.65 c 2047 17026 667 1 - 0.0000 -
2042.50/2051.93 c 2052 17090 672 1 - 0.0000 -
2047.67/2057.19 c 2057 17156 671 1 - 0.0000 -
2052.84/2062.35 c 2062 17219 672 1 - 0.0000 -
2058.01/2067.55 c 2068 17282 673 1 - 0.0000 -
2063.19/2072.75 c 2073 17347 672 1 - 0.0000 -
2068.46/2078.05 c 2078 17415 672 1 - 0.0000 -
2073.64/2083.22 c 2083 17480 673 1 - 0.0000 -
2078.91/2088.51 c 2089 17547 670 1 - 0.0000 -
2083.98/2093.65 c 2094 17611 670 1 - 0.0000 -
2089.06/2098.79 c 2099 17673 670 1 - 0.0000 -
2094.34/2104.05 c 2104 17739 670 1 - 0.0000 -
2099.50/2109.29 c 2109 17804 671 1 - 0.0000 -
2104.78/2114.58 c 2115 17868 670 1 - 0.0000 -
2110.05/2119.83 c 2120 17934 668 1 - 0.0000 -
2115.23/2125.00 c 2125 17999 663 1 - 0.0000 -
2120.31/2130.18 c 2130 18064 666 1 - 0.0000 -
2125.67/2135.50 c 2136 18131 662 1 - 0.0000 -
2130.74/2140.69 c 2141 18195 658 1 - 0.0000 -
2136.02/2145.98 c 2146 18256 659 1 - 0.0000 -
2141.29/2151.22 c 2151 18317 662 1 - 0.0000 -
2146.46/2156.40 c 2156 18383 668 1 - 0.0000 -
2151.54/2161.53 c 2162 18416 655 1 - 0.0000 -
2156.82/2166.82 c 2167 18478 657 1 - 0.0000 -
2161.99/2172.05 c 2172 18540 656 1 - 0.0000 -
2167.27/2177.39 c 2177 18604 653 1 - 0.0000 -
2172.54/2182.61 c 2183 18668 651 1 - 0.0000 -
2177.91/2188.00 c 2188 18728 651 1 - 0.0000 -
2183.08/2193.22 c 2193 18787 647 1 - 0.0000 -
2188.25/2198.46 c 2198 18848 640 1 - 0.0000 -
2193.43/2203.64 c 2204 18906 642 1 - 0.0000 -
2198.61/2208.83 c 2209 18966 638 1 - 0.0000 -
2204.08/2214.30 c 2214 19024 638 1 - 0.0000 -
2209.35/2219.68 c 2220 19087 627 1 - 0.0000 -
2214.72/2225.07 c 2225 19146 629 1 - 0.0000 -
2220.09/2230.40 c 2230 19207 628 1 - 0.0000 -
2225.27/2235.65 c 2236 19269 628 1 - 0.0000 -
2230.44/2240.84 c 2241 19324 629 1 - 0.0000 -
2235.51/2245.93 c 2246 19388 629 1 - 0.0000 -
2240.69/2251.14 c 2251 19450 626 1 - 0.0000 -
2245.86/2256.39 c 2256 19512 626 1 - 0.0000 -
2251.23/2261.75 c 2262 19576 626 1 - 0.0000 -
2256.41/2266.90 c 2267 19639 625 1 - 0.0000 -
2261.68/2272.25 c 2272 19697 624 1 - 0.0000 -
2266.85/2277.47 c 2277 19761 630 1 - 0.0000 -
2272.62/2283.20 c 2283 19820 622 1 - 0.0000 -
2278.99/2289.65 c 2290 19877 631 1 - 0.0000 -
2284.56/2295.21 c 2295 19931 643 1 - 0.0000 -
2290.03/2300.73 c 2301 19977 645 1 - 0.0000 -
2295.91/2306.60 c 2307 20035 645 1 - 0.0000 -
2301.39/2312.14 c 2312 20078 644 1 - 0.0000 -
2306.76/2317.56 c 2318 20134 646 1 - 0.0000 -
2312.53/2323.31 c 2323 20188 648 1 - 0.0000 -
2317.91/2328.77 c 2329 20247 647 1 - 0.0000 -
2323.08/2333.97 c 2334 20309 647 1 - 0.0000 -
2328.36/2339.24 c 2339 20372 648 1 - 0.0000 -
2333.43/2344.37 c 2344 20430 648 1 - 0.0000 -
2338.80/2349.72 c 2350 20492 648 1 - 0.0000 -
2343.98/2354.90 c 2355 20551 650 1 - 0.0000 -
2349.16/2360.19 c 2360 20612 651 1 - 0.0000 -
2354.42/2365.42 c 2365 20671 656 1 - 0.0000 -
2359.59/2370.61 c 2371 20729 658 1 - 0.0000 -
2364.86/2375.95 c 2376 20792 668 1 - 0.0000 -
2370.03/2381.16 c 2381 20852 678 1 - 0.0000 -
2375.30/2386.43 c 2386 20916 674 1 - 0.0000 -
2380.47/2391.68 c 2392 20980 676 1 - 0.0000 -
2385.84/2397.00 c 2397 21041 673 1 - 0.0000 -
2390.91/2402.19 c 2402 21100 674 1 - 0.0000 -
2396.18/2407.42 c 2407 21154 668 1 - 0.0000 -
2401.45/2412.79 c 2413 21216 650 1 - 0.0000 -
2407.03/2418.34 c 2418 21251 659 1 - 0.0000 -
2412.70/2424.06 c 2424 21311 666 1 - 0.0000 -
2417.97/2429.35 c 2429 21362 680 1 - 0.0000 -
2423.75/2435.19 c 2435 21421 684 1 - 0.0000 -
2429.12/2440.51 c 2441 21476 695 1 - 0.0000 -
2434.70/2446.12 c 2446 21541 699 1 - 0.0000 -
2439.96/2451.48 c 2451 21597 701 1 - 0.0000 -
2445.24/2456.78 c 2457 21654 702 1 - 0.0000 -
2450.52/2462.00 c 2462 21713 703 1 - 0.0000 -
2455.69/2467.26 c 2467 21771 703 1 - 0.0000 -
2460.96/2472.52 c 2473 21831 703 1 - 0.0000 -
2466.13/2477.70 c 2478 21894 704 1 - 0.0000 -
2471.22/2482.89 c 2483 21957 705 1 - 0.0000 -
2476.49/2488.16 c 2488 22018 708 1 - 0.0000 -
2481.66/2493.35 c 2493 22080 712 1 - 0.0000 -
2486.93/2498.65 c 2499 22141 719 1 - 0.0000 -
2492.11/2503.85 c 2504 22201 719 1 - 0.0000 -
2497.29/2509.04 c 2509 22264 724 1 - 0.0000 -
2502.45/2514.29 c 2514 22327 729 1 - 0.0000 -
2507.73/2519.51 c 2520 22392 730 1 - 0.0000 -
2512.91/2524.75 c 2525 22457 731 1 - 0.0000 -
2518.08/2529.96 c 2530 22524 730 1 - 0.0000 -
2523.35/2535.29 c 2535 22584 732 1 - 0.0000 -
2528.63/2540.50 c 2540 22640 734 1 - 0.0000 -
2533.81/2545.74 c 2546 22704 736 1 - 0.0000 -
2539.08/2551.07 c 2551 22766 738 1 - 0.0000 -
2544.25/2556.24 c 2556 22827 739 1 - 0.0000 -
2549.43/2561.40 c 2561 22892 740 1 - 0.0000 -
2554.51/2566.59 c 2567 22956 740 1 - 0.0000 -
2559.88/2571.91 c 2572 23016 740 1 - 0.0000 -
2565.15/2577.23 c 2577 23077 741 1 - 0.0000 -
2570.53/2582.61 c 2583 23138 742 1 - 0.0000 -
2575.91/2588.01 c 2588 23201 745 1 - 0.0000 -
2580.98/2593.13 c 2593 23260 752 1 - 0.0000 -
2586.16/2598.35 c 2598 23319 755 1 - 0.0000 -
2591.53/2603.73 c 2604 23383 765 1 - 0.0000 -
2596.70/2608.90 c 2609 23446 764 1 - 0.0000 -
2601.88/2614.16 c 2614 23493 763 1 - 0.0000 -
2607.05/2619.38 c 2619 23558 761 1 - 0.0000 -
2612.52/2624.88 c 2625 23623 757 1 - 0.0000 -
2617.80/2630.12 c 2630 23680 754 1 - 0.0000 -
2622.97/2635.34 c 2635 23742 751 1 - 0.0000 -
2628.44/2640.82 c 2641 23802 750 1 - 0.0000 -
2633.72/2646.18 c 2646 23843 777 1 - 0.0000 -
2640.69/2653.14 c 2653 23888 804 1 - 0.0000 -
2646.06/2658.55 c 2659 23939 831 1 - 0.0000 -
2651.04/2663.59 c 2664 23977 845 1 - 0.0000 -
2656.31/2668.80 c 2669 24037 851 1 - 0.0000 -
2661.38/2673.95 c 2674 24099 850 1 - 0.0000 -
2666.57/2679.15 c 2679 24153 841 1 - 0.0000 -
2671.94/2684.57 c 2685 24217 843 1 - 0.0000 -
2677.11/2689.76 c 2690 24279 843 1 - 0.0000 -
2682.39/2695.01 c 2695 24340 846 1 - 0.0000 -
2687.56/2700.25 c 2700 24403 848 1 - 0.0000 -
2692.73/2705.49 c 2706 24468 847 1 - 0.0000 -
2698.01/2710.79 c 2711 24529 848 1 - 0.0000 -
2703.18/2715.90 c 2716 24589 851 1 - 0.0000 -
2708.36/2721.15 c 2721 24654 855 1 - 0.0000 -
2713.54/2726.36 c 2726 24720 859 1 - 0.0000 -
2718.70/2731.56 c 2732 24786 860 1 - 0.0000 -
2723.88/2736.73 c 2737 24851 862 1 - 0.0000 -
2729.15/2742.02 c 2742 24915 859 1 - 0.0000 -
2736.13/2749.04 c 2749 24975 851 1 - 0.0000 -
2741.69/2754.64 c 2755 25027 859 1 - 0.0000 -
2747.47/2760.41 c 2760 25070 884 1 - 0.0000 -
2752.95/2765.90 c 2766 25123 891 1 - 0.0000 -
2758.82/2771.82 c 2772 25175 897 1 - 0.0000 -
2763.79/2776.85 c 2777 25207 905 1 - 0.0000 -
2769.67/2782.70 c 2783 25250 912 1 - 0.0000 -
2775.44/2788.51 c 2789 25308 914 1 - 0.0000 -
2780.82/2793.97 c 2794 25353 921 1 - 0.0000 -
2786.79/2799.96 c 2800 25406 924 1 - 0.0000 -
2792.47/2805.63 c 2806 25462 924 1 - 0.0000 -
2798.24/2811.49 c 2812 25512 926 1 - 0.0000 -
2803.82/2817.03 c 2817 25563 926 1 - 0.0000 -
2809.39/2822.61 c 2823 25619 926 1 - 0.0000 -
2815.36/2828.66 c 2829 25676 935 1 - 0.0000 -
2820.94/2834.29 c 2834 25731 936 1 - 0.0000 -
2826.71/2840.08 c 2840 25782 937 1 - 0.0000 -
2832.19/2845.59 c 2846 25830 937 1 - 0.0000 -
2837.46/2850.86 c 2851 25886 937 1 - 0.0000 -
2842.64/2856.03 c 2856 25934 939 1 - 0.0000 -
2847.82/2861.26 c 2861 25982 949 1 - 0.0000 -
2853.79/2867.26 c 2867 26039 956 1 - 0.0000 -
2859.16/2872.64 c 2873 26093 956 1 - 0.0000 -
2864.44/2877.90 c 2878 26145 956 1 - 0.0000 -
2869.71/2883.20 c 2883 26196 957 1 - 0.0000 -
2875.00/2888.59 c 2889 26242 967 1 - 0.0000 -
2880.66/2894.21 c 2894 26304 977 1 - 0.0000 -
2885.75/2899.36 c 2899 26345 984 1 - 0.0000 -
2891.03/2904.64 c 2905 26403 988 1 - 0.0000 -
2896.40/2910.06 c 2910 26457 990 1 - 0.0000 -
2902.16/2915.86 c 2916 26510 991 1 - 0.0000 -
2907.35/2921.06 c 2921 26576 993 1 - 0.0000 -
2912.72/2926.41 c 2926 26626 995 1 - 0.0000 -
2918.40/2932.13 c 2932 26679 994 1 - 0.0000 -
2923.47/2937.27 c 2937 26726 995 1 - 0.0000 -
2928.85/2942.61 c 2943 26778 995 1 - 0.0000 -
2934.13/2947.93 c 2948 26838 995 1 - 0.0000 -
2939.50/2953.37 c 2953 26901 994 1 - 0.0000 -
2944.87/2958.76 c 2959 26953 994 1 - 0.0000 -
2950.05/2963.95 c 2964 27005 994 1 - 0.0000 -
2956.02/2969.95 c 2970 27061 996 1 - 0.0000 -
2961.30/2975.25 c 2975 27111 996 1 - 0.0000 -
2966.87/2980.83 c 2981 27164 997 1 - 0.0000 -
2972.05/2986.01 c 2986 27221 998 1 - 0.0000 -
2977.22/2991.24 c 2991 27280 999 1 - 0.0000 -
2982.80/2996.86 c 2997 27329 1004 1 - 0.0000 -
2988.09/3002.17 c 3002 27388 1005 1 - 0.0000 -
2993.25/3007.38 c 3007 27443 1008 1 - 0.0000 -
2998.63/3012.71 c 3013 27495 1010 1 - 0.0000 -
3003.81/3017.93 c 3018 27558 1011 1 - 0.0000 -
3008.98/3023.18 c 3023 27617 1012 1 - 0.0000 -
3014.36/3028.52 c 3029 27671 1014 1 - 0.0000 -
3019.53/3033.74 c 3034 27734 1015 1 - 0.0000 -
3024.71/3038.93 c 3039 27801 1016 1 - 0.0000 -
3030.48/3044.79 c 3045 27858 1017 1 - 0.0000 -
3035.66/3049.99 c 3050 27919 1016 1 - 0.0000 -
3041.04/3055.35 c 3055 27982 1017 1 - 0.0000 -
3046.31/3060.63 c 3061 28045 1018 1 - 0.0000 -
3052.09/3066.49 c 3066 28110 1019 1 - 0.0000 -
3057.67/3072.05 c 3072 28167 1020 1 - 0.0000 -
3063.14/3077.52 c 3078 28220 1023 1 - 0.0000 -
3068.41/3082.83 c 3083 28281 1022 1 - 0.0000 -
3073.59/3088.08 c 3088 28343 1026 1 - 0.0000 -
3078.86/3093.31 c 3093 28406 1027 1 - 0.0000 -
3084.03/3098.57 c 3099 28460 1029 1 - 0.0000 -
3089.41/3103.96 c 3104 28521 1030 1 - 0.0000 -
3094.68/3109.28 c 3109 28582 1031 1 - 0.0000 -
3099.96/3114.55 c 3115 28644 1031 1 - 0.0000 -
3105.94/3120.53 c 3121 28700 1033 1 - 0.0000 -
3111.21/3125.84 c 3126 28752 1035 1 - 0.0000 -
3116.39/3131.03 c 3131 28815 1036 1 - 0.0000 -
3121.47/3136.17 c 3136 28877 1036 1 - 0.0000 -
3126.64/3141.37 c 3141 28943 1036 1 - 0.0000 -
3132.21/3146.95 c 3147 29008 1035 1 - 0.0000 -
3137.50/3152.23 c 3152 29072 1035 1 - 0.0000 -
3142.67/3157.49 c 3158 29136 1035 1 - 0.0000 -
3147.95/3162.78 c 3163 29195 1036 1 - 0.0000 -
3153.83/3168.61 c 3169 29248 1039 1 - 0.0000 -
3159.00/3173.88 c 3174 29306 1041 1 - 0.0000 -
3164.18/3179.09 c 3179 29372 1041 1 - 0.0000 -
3169.45/3184.33 c 3184 29437 1040 1 - 0.0000 -
3174.62/3189.58 c 3190 29495 1040 1 - 0.0000 -
3180.00/3194.91 c 3195 29556 1043 1 - 0.0000 -
3185.18/3200.12 c 3200 29618 1043 1 - 0.0000 -
3190.35/3205.38 c 3205 29682 1045 1 - 0.0000 -
3195.64/3210.60 c 3211 29744 1045 1 - 0.0000 -
3201.12/3216.15 c 3216 29804 1047 1 - 0.0000 -
3206.29/3221.33 c 3221 29862 1049 1 - 0.0000 -
3211.46/3226.52 c 3227 29923 1048 1 - 0.0000 -
3216.64/3231.79 c 3232 29988 1049 1 - 0.0000 -
3221.92/3237.05 c 3237 30051 1048 1 - 0.0000 -
3227.00/3242.19 c 3242 30118 1049 1 - 0.0000 -
3232.67/3247.80 c 3248 30183 1050 1 - 0.0000 -
3237.74/3252.99 c 3253 30240 1051 1 - 0.0000 -
3242.93/3258.11 c 3258 30294 1053 1 - 0.0000 -
3248.30/3263.51 c 3264 30357 1056 1 - 0.0000 -
3253.68/3268.91 c 3269 30420 1057 1 - 0.0000 -
3259.05/3274.33 c 3274 30488 1055 1 - 0.0000 -
3264.13/3279.45 c 3279 30548 1057 1 - 0.0000 -
3269.31/3284.69 c 3285 30613 1056 1 - 0.0000 -
3274.39/3289.78 c 3290 30673 1056 1 - 0.0000 -
3279.56/3295.00 c 3295 30740 1057 1 - 0.0000 -
3284.84/3300.21 c 3300 30805 1058 1 - 0.0000 -
3290.01/3305.45 c 3305 30870 1057 1 - 0.0000 -
3295.29/3310.75 c 3311 30934 1061 1 - 0.0000 -
3300.56/3316.00 c 3316 30998 1061 1 - 0.0000 -
3305.84/3321.30 c 3321 31065 1062 1 - 0.0000 -
3311.01/3326.56 c 3327 31127 1062 1 - 0.0000 -
3316.29/3331.88 c 3332 31189 1062 1 - 0.0000 -
3321.47/3337.07 c 3337 31253 1062 1 - 0.0000 -
3326.75/3342.32 c 3342 31310 1061 1 - 0.0000 -
3332.02/3347.64 c 3348 31372 1061 1 - 0.0000 -
3337.30/3352.91 c 3353 31435 1060 1 - 0.0000 -
3342.57/3358.30 c 3358 31497 1062 1 - 0.0000 -
3347.75/3363.42 c 3363 31558 1063 1 - 0.0000 -
3352.93/3368.60 c 3369 31618 1063 1 - 0.0000 -
3358.11/3373.84 c 3374 31680 1063 1 - 0.0000 -
3363.49/3379.21 c 3379 31743 1066 1 - 0.0000 -
3368.66/3384.47 c 3384 31809 1066 1 - 0.0000 -
3373.94/3389.73 c 3390 31875 1066 1 - 0.0000 -
3379.22/3395.03 c 3395 31938 1065 1 - 0.0000 -
3384.49/3400.37 c 3400 32003 1068 1 - 0.0000 -
3390.07/3405.90 c 3406 32068 1069 1 - 0.0000 -
3395.25/3411.18 c 3411 32131 1070 1 - 0.0000 -
3400.52/3416.41 c 3416 32194 1075 1 - 0.0000 -
3405.80/3421.72 c 3422 32257 1076 1 - 0.0000 -
3410.97/3426.99 c 3427 32323 1080 1 - 0.0000 -
3416.35/3432.34 c 3432 32389 1080 1 - 0.0000 -
3421.53/3437.57 c 3438 32454 1079 1 - 0.0000 -
3426.80/3442.88 c 3443 32513 1080 1 - 0.0000 -
3432.07/3448.13 c 3448 32572 1081 1 - 0.0000 -
3437.45/3453.51 c 3454 32635 1082 1 - 0.0000 -
3442.62/3458.71 c 3459 32697 1082 1 - 0.0000 -
3447.79/3463.99 c 3464 32764 1083 1 - 0.0000 -
3453.06/3469.28 c 3469 32829 1086 1 - 0.0000 -
3458.33/3474.55 c 3475 32891 1086 1 - 0.0000 -
3463.50/3479.72 c 3480 32954 1091 1 - 0.0000 -
3468.67/3484.99 c 3485 33018 1093 1 - 0.0000 -
3473.94/3490.24 c 3490 33083 1094 1 - 0.0000 -
3479.22/3495.50 c 3496 33149 1096 1 - 0.0000 -
3484.29/3500.67 c 3501 33213 1098 1 - 0.0000 -
3489.66/3506.03 c 3506 33276 1105 1 - 0.0000 -
3494.74/3511.18 c 3511 33340 1109 1 - 0.0000 -
3500.10/3516.58 c 3517 33404 1113 1 - 0.0000 -
3505.37/3521.87 c 3522 33468 1115 1 - 0.0000 -
3510.65/3527.12 c 3527 33535 1118 1 - 0.0000 -
3515.71/3532.28 c 3532 33598 1121 1 - 0.0000 -
3520.88/3537.48 c 3537 33665 1124 1 - 0.0000 -
3526.26/3542.85 c 3543 33731 1128 1 - 0.0000 -
3531.33/3547.98 c 3548 33795 1132 1 - 0.0000 -
3536.60/3553.24 c 3553 33858 1133 1 - 0.0000 -
3541.77/3558.48 c 3558 33923 1136 1 - 0.0000 -
3547.24/3563.92 c 3564 33988 1137 1 - 0.0000 -
3552.42/3569.18 c 3569 34054 1141 1 - 0.0000 -
3557.69/3574.49 c 3574 34118 1141 1 - 0.0000 -
3562.86/3579.64 c 3580 34181 1144 1 - 0.0000 -
3568.23/3585.00 c 3585 34246 1145 1 - 0.0000 -
3573.40/3590.20 c 3590 34312 1145 1 - 0.0000 -
3578.68/3595.52 c 3596 34382 1145 1 - 0.0000 -
3581.96/3598.80 c SCIP Status : c solving was interrupted [hard time limit reached]
3581.96/3598.80 c Total Time : 3598.8000
3581.96/3598.80 c solving : 3598.8000
3581.96/3598.80 c presolving : 34.2902 (included in solving)
3581.96/3598.80 c B&B Tree :
3581.96/3598.80 c nodes (total) : 1
3581.96/3598.80 c Solution :
3581.96/3598.80 c Solutions found : 0
3581.96/3598.80 c Primal Bound : -
3581.96/3598.80 c Dual Bound : +0.00000000000000e+00
3581.96/3598.80 c Gap : -
3582.45/3599.31 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 (61759 MiB free)
memory of node 1: 64510 MiB (60041 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4464410-1722378601/watcher-4464410-1722378601 -o /tmp/evaluation-result-4464410-1722378601/solver-4464410-1722378601 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC031-1722378597-29426 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4464410-1722378601.opb -qsol -t 3600 -sth 1
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=30013, runsolver pid=30010
[startup+0.100947 s]*
/proc/loadavg: 0.27 0.12 0.10 5/265 30014
/proc/meminfo: memFree=124678188/131524600 swapFree=131071996/131071996
[pid=30013] ppid=30010 vsize=66868 memory=54748 CPUtime=0.09 cores=5,7
/proc/30013/stat : 30013 (fscip) R 30010 30013 29413 0 -1 4194304 11580 0 0 0 8 1 0 0 20 0 1 0 4461855 68472832 13687 134679101440 4194304 16623229 140721393180896 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 41312256 140721393189910 140721393190026 140721393190026 140721393197040 0
/proc/30013/statm: 16717 13687 2347 3035 0 13113 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 66868 KiB
Current children cumulated memory: 54748 KiB
[startup+0.224949 s]*
/proc/loadavg: 0.27 0.12 0.10 5/265 30014
/proc/meminfo: memFree=124636864/131524600 swapFree=131071996/131071996
[pid=30013] ppid=30010 vsize=107248 memory=95168 CPUtime=0.2 cores=5,7
/proc/30013/stat : 30013 (fscip) R 30010 30013 29413 0 -1 4194304 21679 0 0 0 18 2 0 0 20 0 1 0 4461855 109821952 23792 134679101440 4194304 16623229 140721393180896 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 41312256 140721393189910 140721393190026 140721393190026 140721393197040 0
/proc/30013/statm: 26812 23792 2347 3035 0 23208 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 107248 KiB
Current children cumulated memory: 95168 KiB
[startup+0.305948 s]*
/proc/loadavg: 0.27 0.12 0.10 5/265 30014
/proc/meminfo: memFree=124609956/131524600 swapFree=131071996/131071996
[pid=30013] ppid=30010 vsize=132240 memory=119904 CPUtime=0.28 cores=5,7
/proc/30013/stat : 30013 (fscip) R 30010 30013 29413 0 -1 4194304 27895 0 0 0 25 3 0 0 20 0 1 0 4461855 135413760 29976 134679101440 4194304 16623229 140721393180896 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 41312256 140721393189910 140721393190026 140721393190026 140721393197040 0
/proc/30013/statm: 33060 29976 2347 3035 0 29456 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 132240 KiB
Current children cumulated memory: 119904 KiB
[startup+0.700247 s]
/proc/loadavg: 0.57 0.18 0.12 5/265 30014
/proc/meminfo: memFree=124544652/131524600 swapFree=131071996/131071996
[pid=30013] ppid=30010 vsize=293992 memory=282584 CPUtime=0.67 cores=5,7
/proc/30013/stat : 30013 (fscip) R 30010 30013 29413 0 -1 4194304 69332 0 0 0 58 9 0 0 20 0 1 0 4461855 301047808 70646 134679101440 4194304 16623229 140721393180896 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 41312256 140721393189910 140721393190026 140721393190026 140721393197040 0
/proc/30013/statm: 73498 70646 2539 3035 0 69894 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 293992 KiB
Current children cumulated memory: 282584 KiB
[startup+1.50025 s]
/proc/loadavg: 0.57 0.18 0.12 4/260 30028
/proc/meminfo: memFree=124452656/131524600 swapFree=131071996/131071996
[pid=30013] ppid=30010 vsize=528672 memory=516960 CPUtime=1.47 cores=5,7
/proc/30013/stat : 30013 (fscip) R 30010 30013 29413 0 -1 4194304 126350 0 0 0 129 18 0 0 20 0 1 0 4461855 541360128 129240 134679101440 4194304 16623229 140721393180896 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 41312256 140721393189910 140721393190026 140721393190026 140721393197040 0
/proc/30013/statm: 132168 129240 2598 3035 0 128564 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 528672 KiB
Current children cumulated memory: 516960 KiB
[startup+3.10575 s]
/proc/loadavg: 0.57 0.18 0.12 5/263 30060
/proc/meminfo: memFree=123616168/131524600 swapFree=131071996/131071996
[pid=30013] ppid=30010 vsize=723176 memory=707488 CPUtime=3.06 cores=5,7
/proc/30013/stat : 30013 (fscip) R 30010 30013 29413 0 -1 4194304 175883 0 0 0 277 29 0 0 20 0 1 0 4461855 740532224 176872 134679101440 4194304 16623229 140721393180896 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 41312256 140721393189910 140721393190026 140721393190026 140721393197040 0
/proc/30013/statm: 180794 176872 2694 3035 0 177190 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 723176 KiB
Current children cumulated memory: 707488 KiB
[startup+6.30026 s]
/proc/loadavg: 0.84 0.25 0.14 4/256 30093
/proc/meminfo: memFree=123763484/131524600 swapFree=131071996/131071996
[pid=30013] ppid=30010 vsize=723176 memory=707704 CPUtime=6.25 cores=5,7
/proc/30013/stat : 30013 (fscip) R 30010 30013 29413 0 -1 4194304 175918 0 0 0 595 30 0 0 20 0 1 0 4461855 740532224 176926 134679101440 4194304 16623229 140721393180896 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 41312256 140721393189910 140721393190026 140721393190026 140721393197040 0
/proc/30013/statm: 180794 176926 2694 3035 0 177190 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 723176 KiB
Current children cumulated memory: 707704 KiB
[startup+12.7002 s]
/proc/loadavg: 1.09 0.31 0.16 5/263 30110
/proc/meminfo: memFree=123470384/131524600 swapFree=131071996/131071996
[pid=30013] ppid=30010 vsize=874104 memory=799300 CPUtime=12.63 cores=5,7
/proc/30013/stat : 30013 (fscip) R 30010 30013 29413 0 -1 4194304 188065 0 0 0 1230 33 0 0 20 0 1 0 4461855 895082496 199825 134679101440 4194304 16623229 140721393180896 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 41312256 140721393189910 140721393190026 140721393190026 140721393197040 0
/proc/30013/statm: 218526 199825 2758 3035 0 214922 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 874104 KiB
Current children cumulated memory: 799300 KiB
[startup+25.5003 s]
/proc/loadavg: 1.54 0.43 0.20 5/264 30268
/proc/meminfo: memFree=123436260/131524600 swapFree=131071996/131071996
[pid=30013] ppid=30010 vsize=874104 memory=807492 CPUtime=25.38 cores=5,7
/proc/30013/stat : 30013 (fscip) R 30010 30013 29413 0 -1 4194304 188096 0 0 0 2505 33 0 0 20 0 1 0 4461855 895082496 201873 134679101440 4194304 16623229 140721393180896 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 41312256 140721393189910 140721393190026 140721393190026 140721393197040 0
/proc/30013/statm: 218526 201873 2758 3035 0 214922 0
Current children cumulated CPU time: 25.38 s
Current children cumulated vsize: 874104 KiB
Current children cumulated memory: 807492 KiB
[startup+51.1062 s]
/proc/loadavg: 2.57 0.79 0.33 5/266 30275
/proc/meminfo: memFree=122803604/131524600 swapFree=131071996/131071996
[pid=30013] ppid=30010 vsize=1484640 memory=1423992 CPUtime=50.88 cores=5,7
/proc/30013/stat : 30013 (fscip) S 30010 30013 29413 0 -1 1077936128 495390 0 0 0 5017 71 0 0 20 0 3 0 4461855 1520271360 355998 134679101440 4194304 16623229 140721393180896 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 41312256 140721393189910 140721393190026 140721393190026 140721393197040 0
/proc/30013/statm: 371160 355998 2774 3035 0 361322 0
[pid=30013/tid=30270] ppid=30010 vsize=1484640 memory=-5155635708331584389 CPUtime=15.08 cores=5,7
/proc/30013/task/30270/stat : 30270 (fscip) R 30010 30013 29413 0 -1 4194368 269833 0 0 0 1477 31 0 0 20 0 3 0 4465388 1520271360 355998 134679101440 4194304 16623229 140721393180896 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 41312256 140721393189910 140721393190026 140721393190026 140721393197040 0
[pid=30013/tid=30271] ppid=30010 vsize=1484640 memory=104 CPUtime=0 cores=5,7
/proc/30013/task/30271/stat : 30271 (fscip) S 30010 30013 29413 0 -1 1077936192 16 0 0 0 0 0 0 0 20 0 3 0 4465499 1520271360 355998 134679101440 4194304 16623229 140721393180896 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 41312256 140721393189910 140721393190026 140721393190026 140721393197040 0
Current children cumulated CPU time: 50.88 s
Current children cumulated vsize: 1484640 KiB
Current children cumulated memory: 1423992 KiB
[startup+102.3 s]
/proc/loadavg: 3.59 1.35 0.55 5/268 30333
/proc/meminfo: memFree=117344492/131524600 swapFree=131071996/131071996
[pid=30013] ppid=30010 vsize=2089320 memory=1839572 CPUtime=101.89 cores=5,7
/proc/30013/stat : 30013 (fscip) S 30010 30013 29413 0 -1 1077936128 852673 0 0 0 10085 104 0 0 20 0 3 0 4461855 2139463680 459893 134679101440 4194304 16623229 140721393180896 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 41312256 140721393189910 140721393190026 140721393190026 140721393197040 0
/proc/30013/statm: 522330 459893 2950 3035 0 508128 0
[pid=30013/tid=30270] ppid=30010 vsize=2089320 memory=11480 CPUtime=66.09 cores=5,7
/proc/30013/task/30270/stat : 30270 (fscip) R 30010 30013 29413 0 -1 4194368 627101 0 0 0 6545 64 0 0 20 0 3 0 4465388 2139463680 459893 134679101440 4194304 16623229 140721393180896 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 41312256 140721393189910 140721393190026 140721393190026 140721393197040 0
[pid=30013/tid=30271] ppid=30010 vsize=2089320 memory=-5155635708331584389 CPUtime=0 cores=5,7
/proc/30013/task/30271/stat : 30271 (fscip) S 30010 30013 29413 0 -1 1077936192 31 0 0 0 0 0 0 0 20 0 3 0 4465499 2139463680 459893 134679101440 4194304 16623229 140721393180896 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 41312256 140721393189910 140721393190026 140721393190026 140721393197040 0
Current children cumulated CPU time: 101.89 s
Current children cumulated vsize: 2089320 KiB
Current children cumulated memory: 1839572 KiB
[startup+162.3 s]
/proc/loadavg: 3.89 1.85 0.77 5/267 30390
/proc/meminfo: memFree=118421100/131524600 swapFree=131071996/131071996
[pid=30013] ppid=30010 vsize=2198780 memory=1839588 CPUtime=161.66 cores=5,7
/proc/30013/stat : 30013 (fscip) S 30010 30013 29413 0 -1 1077936128 1018407 0 0 0 16052 114 0 0 20 0 3 0 4461855 2251550720 459897 134679101440 4194304 16623229 140721393180896 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 41312256 140721393189910 140721393190026 140721393190026 140721393197040 0
/proc/30013/statm: 549695 459897 2950 3035 0 535493 0
[pid=30013/tid=30270] ppid=30010 vsize=2198780 memory=1839580 CPUtime=125.86 cores=5,7
/proc/30013/task/30270/stat : 30270 (fscip) R 30010 30013 29413 0 -1 4194368 792825 0 0 0 12512 74 0 0 20 0 3 0 4465388 2251550720 459897 134679101440 4194304 16623229 140721393180896 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 41312256 140721393189910 140721393190026 140721393190026 140721393197040 0
[pid=30013/tid=30271] ppid=30010 vsize=2198780 memory=1839584 CPUtime=0 cores=5,7
/proc/30013/task/30271/stat : 30271 (fscip) S 30010 30013 29413 0 -1 1077936192 41 0 0 0 0 0 0 0 20 0 3 0 4465499 2251550720 459897 134679101440 4194304 16623229 140721393180896 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 41312256 140721393189910 140721393190026 140721393190026 140721393197040 0
Current children cumulated CPU time: 161.66 s
Current children cumulated vsize: 2198780 KiB
Current children cumulated memory: 1839588 KiB
[startup+222.3 s]
/proc/loadavg: 4.02 2.26 0.98 5/267 30449
/proc/meminfo: memFree=120626200/131524600 swapFree=131071996/131071996
[pid=30013] ppid=30010 vsize=2672432 memory=2174444 CPUtime=221.42 cores=5,7
/proc/30013/stat : 30013 (fscip) S 30010 30013 29413 0 -1 1077936128 1259350 0 0 0 22005 137 0 0 20 0 3 0 4461855 2736570368 543611 134679101440 4194304 16623229 140721393180896 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 41312256 140721393189910 140721393190026 140721393190026 140721393197040 0
/proc/30013/statm: 668108 543611 2950 3035 0 654374 0
[pid=30013/tid=30270] ppid=30010 vsize=2672432 memory=13616 CPUtime=185.63 cores=5,7
/proc/30013/task/30270/stat : 30270 (fscip) R 30010 30013 29413 0 -1 4194368 1033761 0 0 0 18466 97 0 0 20 0 3 0 4465388 2736570368 543611 134679101440 4194304 16623229 140721393180896 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 41312256 140721393189910 140721393190026 140721393190026 140721393197040 0
[pid=30013/tid=30271] ppid=30010 vsize=2672432 memory=11480 CPUtime=0 cores=5,7
/proc/30013/task/30271/stat : 30271 (fscip) S 30010 30013 29413 0 -1 1077936192 48 0 0 0 0 0 0 0 20 0 3 0 4465499 2736570368 543611 134679101440 4194304 16623229 140721393180896 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 41312256 140721393189910 140721393190026 140721393190026 140721393197040 0
Current children cumulated CPU time: 221.42 s
Current children cumulated vsize: 2672432 KiB
Current children cumulated memory: 2174444 KiB
[startup+282.3 s]
/proc/loadavg: 4.06 2.59 1.18 5/267 30461
/proc/meminfo: memFree=120378560/131524600 swapFree=131071996/131071996
[pid=30013] ppid=30010 vsize=2839988 memory=2304652 CPUtime=281.16 cores=5,7
/proc/30013/stat : 30013 (fscip) S 30010 30013 29413 0 -1 1077936128 1438421 0 0 0 27967 149 0 0 20 0 3 0 4461855 2908147712 576163 134679101440 4194304 16623229 140721393180896 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 41312256 140721393189910 140721393190026 140721393190026 140721393197040 0
/proc/30013/statm: 709997 576163 2998 3035 0 695909 0
[pid=30013/tid=30270] ppid=30010 vsize=2839988 memory=1839592 CPUtime=245.37 cores=5,7
/proc/30013/task/30270/stat : 30270 (fscip) R 30010 30013 29413 0 -1 4194368 1212763 0 0 0 24428 109 0 0 20 0 3 0 4465388 2908147712 576163 134679101440 4194304 16623229 140721393180896 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 41312256 140721393189910 140721393190026 140721393190026 140721393197040 0
[pid=30013/tid=30271] ppid=30010 vsize=2839988 memory=2174460 CPUtime=0 cores=5,7
/proc/30013/task/30271/stat : 30271 (fscip) S 30010 30013 29413 0 -1 1077936192 54 0 0 0 0 0 0 0 20 0 3 0 4465499 2908147712 576163 134679101440 4194304 16623229 140721393180896 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 41312256 140721393189910 140721393190026 140721393190026 140721393197040 0
Current children cumulated CPU time: 281.16 s
Current children cumulated vsize: 2839988 KiB
Current children cumulated memory: 2304652 KiB
[startup+342.3 s]
/proc/loadavg: 4.14 2.88 1.37 5/259 30558
/proc/meminfo: memFree=119790460/131524600 swapFree=131071996/131071996
[pid=30013] ppid=30010 vsize=2920960 memory=2361136 CPUtime=340.97 cores=5,7
/proc/30013/stat : 30013 (fscip) S 30010 30013 29413 0 -1 1077936128 1543990 0 0 0 33940 157 0 0 20 0 3 0 4461855 2991063040 590284 134679101440 4194304 16623229 140721393180896 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 41312256 140721393189910 140721393190026 140721393190026 140721393197040 0
/proc/30013/statm: 730240 590284 2998 3035 0 710532 0
################
# More data... #
################
Current children cumulated vsize: 3394584 KiB
Current children cumulated memory: 2698404 KiB
[startup+3462.3 s]
/proc/loadavg: 4.20 4.21 4.09 5/263 32384
/proc/meminfo: memFree=117520716/131524600 swapFree=131071996/131071996
[pid=30013] ppid=30010 vsize=3394584 memory=2698404 CPUtime=3446.2 cores=5,7
/proc/30013/stat : 30013 (fscip) S 30010 30013 29413 0 -1 1077936128 5283816 0 0 0 344189 431 0 0 20 0 3 0 4461855 3476054016 674601 134679101440 4194304 16623229 140721393180896 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 41312256 140721393189910 140721393190026 140721393190026 140721393197040 0
/proc/30013/statm: 848646 674601 2998 3035 0 820522 0
[pid=30013/tid=30270] ppid=30010 vsize=3394584 memory=2694884 CPUtime=3410.16 cores=5,7
/proc/30013/task/30270/stat : 30270 (fscip) R 30010 30013 29413 0 -1 4194368 5056624 0 0 0 340637 379 0 0 20 0 3 0 4465388 3476054016 674601 134679101440 4194304 16623229 140721393180896 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 41312256 140721393189910 140721393190026 140721393190026 140721393197040 0
[pid=30013/tid=30271] ppid=30010 vsize=3394584 memory=2698404 CPUtime=0.05 cores=5,7
/proc/30013/task/30271/stat : 30271 (fscip) S 30010 30013 29413 0 -1 1077936192 160 0 0 0 1 4 0 0 20 0 3 0 4465499 3476054016 674601 134679101440 4194304 16623229 140721393180896 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 41312256 140721393189910 140721393190026 140721393190026 140721393197040 0
Current children cumulated CPU time: 3446.2 s
Current children cumulated vsize: 3394584 KiB
Current children cumulated memory: 2698404 KiB
[startup+3522.3 s]
/proc/loadavg: 4.26 4.22 4.10 5/265 32564
/proc/meminfo: memFree=117509676/131524600 swapFree=131071996/131071996
[pid=30013] ppid=30010 vsize=3394584 memory=2698404 CPUtime=3505.87 cores=5,7
/proc/30013/stat : 30013 (fscip) S 30010 30013 29413 0 -1 1077936128 5286905 0 0 0 350155 432 0 0 20 0 3 0 4461855 3476054016 674601 134679101440 4194304 16623229 140721393180896 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 41312256 140721393189910 140721393190026 140721393190026 140721393197040 0
/proc/30013/statm: 848646 674601 2998 3035 0 820522 0
[pid=30013/tid=30270] ppid=30010 vsize=3394584 memory=12840 CPUtime=3469.82 cores=5,7
/proc/30013/task/30270/stat : 30270 (fscip) R 30010 30013 29413 0 -1 4194368 5059672 0 0 0 346602 380 0 0 20 0 3 0 4465388 3476054016 674601 134679101440 4194304 16623229 140721393180896 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 41312256 140721393189910 140721393190026 140721393190026 140721393197040 0
[pid=30013/tid=30271] ppid=30010 vsize=3394584 memory=4571037745065651865 CPUtime=0.05 cores=5,7
/proc/30013/task/30271/stat : 30271 (fscip) S 30010 30013 29413 0 -1 1077936192 161 0 0 0 1 4 0 0 20 0 3 0 4465499 3476054016 674601 134679101440 4194304 16623229 140721393180896 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 41312256 140721393189910 140721393190026 140721393190026 140721393197040 0
Current children cumulated CPU time: 3505.87 s
Current children cumulated vsize: 3394584 KiB
Current children cumulated memory: 2698404 KiB
[startup+3582.3 s]
/proc/loadavg: 4.16 4.19 4.09 5/265 32575
/proc/meminfo: memFree=117499564/131524600 swapFree=131071996/131071996
[pid=30013] ppid=30010 vsize=3394584 memory=2698404 CPUtime=3565.54 cores=5,7
/proc/30013/stat : 30013 (fscip) S 30010 30013 29413 0 -1 1077936128 5289705 0 0 0 356121 433 0 0 20 0 3 0 4461855 3476054016 674601 134679101440 4194304 16623229 140721393180896 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 41312256 140721393189910 140721393190026 140721393190026 140721393197040 0
/proc/30013/statm: 848646 674601 2998 3035 0 820522 0
[pid=30013/tid=30270] ppid=30010 vsize=3394584 memory=25988 CPUtime=3529.5 cores=5,7
/proc/30013/task/30270/stat : 30270 (fscip) R 30010 30013 29413 0 -1 4194368 5062449 0 0 0 352569 381 0 0 20 0 3 0 4465388 3476054016 674601 134679101440 4194304 16623229 140721393180896 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 41312256 140721393189910 140721393190026 140721393190026 140721393197040 0
[pid=30013/tid=30271] ppid=30010 vsize=3394584 memory=2668 CPUtime=0.05 cores=5,7
/proc/30013/task/30271/stat : 30271 (fscip) S 30010 30013 29413 0 -1 1077936192 162 0 0 0 1 4 0 0 20 0 3 0 4465499 3476054016 674601 134679101440 4194304 16623229 140721393180896 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 41312256 140721393189910 140721393190026 140721393190026 140721393197040 0
Current children cumulated CPU time: 3565.54 s
Current children cumulated vsize: 3394584 KiB
Current children cumulated memory: 2698404 KiB
[startup+3599.32 s]
# the end of solver process 30013 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3578.12 s, system=4.36629 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=117499536/131524600 swapFree=131071996/131071996
[pid=30013] ppid=30010 vsize=3394584 memory=2698404 CPUtime=3567.24 cores=5,7
/proc/30013/stat : 30013 (fscip) S 30010 30013 29413 0 -1 1077936128 5289716 0 0 0 356291 433 0 0 20 0 3 0 4461855 3476054016 674601 134679101440 4194304 16623229 140721393180896 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 41312256 140721393189910 140721393190026 140721393190026 140721393197040 0
/proc/30013/statm: 848646 674601 2998 3035 0 820522 0
[pid=30013/tid=30270] ppid=30010 vsize=3394584 memory=-7092161729786896763 CPUtime=3531.19 cores=5,7
/proc/30013/task/30270/stat : 30270 (fscip) R 30010 30013 29413 0 -1 4194368 5062460 0 0 0 352738 381 0 0 20 0 3 0 4465388 3476054016 674601 134679101440 4194304 16623229 140721393180896 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 41312256 140721393189910 140721393190026 140721393190026 140721393197040 0
[pid=30013/tid=30271] ppid=30010 vsize=3394584 memory=4571037745065651865 CPUtime=0.05 cores=5,7
/proc/30013/task/30271/stat : 30271 (fscip) S 30010 30013 29413 0 -1 1077936192 162 0 0 0 1 4 0 0 20 0 3 0 4465499 3476054016 674601 134679101440 4194304 16623229 140721393180896 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 41312256 140721393189910 140721393190026 140721393190026 140721393197040 0
Current children cumulated CPU time: 3567.24 s
Current children cumulated vsize: 3394584 KiB
Current children cumulated memory: 2698404 KiB
[startup+3590.4 s]
/proc/loadavg: 4.14 4.19 4.09 5/265 32578
/proc/meminfo: memFree=117498864/131524600 swapFree=131071996/131071996
[pid=30013] ppid=30010 vsize=3394584 memory=2698404 CPUtime=3573.6 cores=5,7
/proc/30013/stat : 30013 (fscip) S 30010 30013 29413 0 -1 1077936128 5289824 0 0 0 356927 433 0 0 20 0 3 0 4461855 3476054016 674601 134679101440 4194304 16623229 140721393180896 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 41312256 140721393189910 140721393190026 140721393190026 140721393197040 0
/proc/30013/statm: 848646 674601 2998 3035 0 820522 0
[pid=30013/tid=30270] ppid=30010 vsize=3394584 memory=2698404 CPUtime=3537.55 cores=5,7
/proc/30013/task/30270/stat : 30270 (fscip) R 30010 30013 29413 0 -1 4194368 5062568 0 0 0 353374 381 0 0 20 0 3 0 4465388 3476054016 674601 134679101440 4194304 16623229 140721393180896 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 41312256 140721393189910 140721393190026 140721393190026 140721393197040 0
[pid=30013/tid=30271] ppid=30010 vsize=3394584 memory=2698404 CPUtime=0.05 cores=5,7
/proc/30013/task/30271/stat : 30271 (fscip) S 30010 30013 29413 0 -1 1077936192 162 0 0 0 1 4 0 0 20 0 3 0 4465499 3476054016 674601 134679101440 4194304 16623229 140721393180896 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 41312256 140721393189910 140721393190026 140721393190026 140721393197040 0
Current children cumulated CPU time: 3573.6 s
Current children cumulated vsize: 3394584 KiB
Current children cumulated memory: 2698404 KiB
[startup+3593.6 s]
/proc/loadavg: 4.13 4.19 4.09 5/265 32578
/proc/meminfo: memFree=117499028/131524600 swapFree=131071996/131071996
[pid=30013] ppid=30010 vsize=3394584 memory=2698404 CPUtime=3576.78 cores=5,7
/proc/30013/stat : 30013 (fscip) S 30010 30013 29413 0 -1 1077936128 5289976 0 0 0 357245 433 0 0 20 0 3 0 4461855 3476054016 674601 134679101440 4194304 16623229 140721393180896 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 41312256 140721393189910 140721393190026 140721393190026 140721393197040 0
/proc/30013/statm: 848646 674601 2998 3035 0 820522 0
[pid=30013/tid=30270] ppid=30010 vsize=3394584 memory=2698404 CPUtime=3540.74 cores=5,7
/proc/30013/task/30270/stat : 30270 (fscip) R 30010 30013 29413 0 -1 4194368 5062720 0 0 0 353693 381 0 0 20 0 3 0 4465388 3476054016 674601 134679101440 4194304 16623229 140721393180896 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 41312256 140721393189910 140721393190026 140721393190026 140721393197040 0
[pid=30013/tid=30271] ppid=30010 vsize=3394584 memory=11480 CPUtime=0.05 cores=5,7
/proc/30013/task/30271/stat : 30271 (fscip) S 30010 30013 29413 0 -1 1077936192 162 0 0 0 1 4 0 0 20 0 3 0 4465499 3476054016 674601 134679101440 4194304 16623229 140721393180896 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 41312256 140721393189910 140721393190026 140721393190026 140721393197040 0
Current children cumulated CPU time: 3576.78 s
Current children cumulated vsize: 3394584 KiB
Current children cumulated memory: 2698404 KiB
[startup+3596.8 s]
/proc/loadavg: 4.13 4.19 4.09 5/263 32625
/proc/meminfo: memFree=119488384/131524600 swapFree=131071996/131071996
[pid=30013] ppid=30010 vsize=3394584 memory=2698404 CPUtime=3579.97 cores=5,7
/proc/30013/stat : 30013 (fscip) S 30010 30013 29413 0 -1 1077936128 5290009 0 0 0 357564 433 0 0 20 0 3 0 4461855 3476054016 674601 134679101440 4194304 16623229 140721393180896 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 41312256 140721393189910 140721393190026 140721393190026 140721393197040 0
/proc/30013/statm: 848646 674601 2998 3035 0 820522 0
[pid=30013/tid=30270] ppid=30010 vsize=3394584 memory=140692056382609 CPUtime=3543.92 cores=5,7
/proc/30013/task/30270/stat : 30270 (fscip) R 30010 30013 29413 0 -1 4194368 5062753 0 0 0 354011 381 0 0 20 0 3 0 4465388 3476054016 674601 134679101440 4194304 16623229 140721393180896 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 41312256 140721393189910 140721393190026 140721393190026 140721393197040 0
[pid=30013/tid=30271] ppid=30010 vsize=3394584 memory=4571037745065651865 CPUtime=0.05 cores=5,7
/proc/30013/task/30271/stat : 30271 (fscip) S 30010 30013 29413 0 -1 1077936192 162 0 0 0 1 4 0 0 20 0 3 0 4465499 3476054016 674601 134679101440 4194304 16623229 140721393180896 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 41312256 140721393189910 140721393190026 140721393190026 140721393197040 0
Current children cumulated CPU time: 3579.97 s
Current children cumulated vsize: 3394584 KiB
Current children cumulated memory: 2698404 KiB
[startup+3598.4 s]
/proc/loadavg: 4.12 4.18 4.09 5/263 32625
/proc/meminfo: memFree=119381072/131524600 swapFree=131071996/131071996
[pid=30013] ppid=30010 vsize=3394584 memory=2698404 CPUtime=3581.56 cores=5,7
/proc/30013/stat : 30013 (fscip) S 30010 30013 29413 0 -1 1077936128 5292030 0 0 0 357723 433 0 0 20 0 3 0 4461855 3476054016 674601 134679101440 4194304 16623229 140721393180896 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 41312256 140721393189910 140721393190026 140721393190026 140721393197040 0
/proc/30013/statm: 848646 674601 2998 3035 0 820522 0
[pid=30013/tid=30270] ppid=30010 vsize=3394584 memory=11480 CPUtime=3545.51 cores=5,7
/proc/30013/task/30270/stat : 30270 (fscip) R 30010 30013 29413 0 -1 4194368 5064767 0 0 0 354170 381 0 0 20 0 3 0 4465388 3476054016 674601 134679101440 4194304 16623229 140721393180896 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 41312256 140721393189910 140721393190026 140721393190026 140721393197040 0
[pid=30013/tid=30271] ppid=30010 vsize=3394584 memory=11480 CPUtime=0.05 cores=5,7
/proc/30013/task/30271/stat : 30271 (fscip) S 30010 30013 29413 0 -1 1077936192 162 0 0 0 1 4 0 0 20 0 3 0 4465499 3476054016 674601 134679101440 4194304 16623229 140721393180896 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 41312256 140721393189910 140721393190026 140721393190026 140721393197040 0
Current children cumulated CPU time: 3581.56 s
Current children cumulated vsize: 3394584 KiB
Current children cumulated memory: 2698404 KiB
[startup+3598.8 s]
/proc/loadavg: 4.12 4.18 4.09 5/263 32625
/proc/meminfo: memFree=119381072/131524600 swapFree=131071996/131071996
[pid=30013] ppid=30010 vsize=2810796 memory=2664664 CPUtime=3581.96 cores=5,7
/proc/30013/stat : 30013 (fscip) D 30010 30013 29413 0 -1 4194304 5294001 0 0 0 357763 433 0 0 20 0 3 0 4461855 2878255104 666166 134679101440 4194304 16623229 140721393180896 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 41312256 140721393189910 140721393190026 140721393190026 140721393197040 0
/proc/30013/statm: 702699 666166 2998 3035 0 674575 0
[pid=30013/tid=30270] ppid=30010 vsize=2745260 memory=2698404 CPUtime=3545.91 cores=5,7
/proc/30013/task/30270/stat : 30270 (fscip) R 30010 30013 29413 0 -1 4194368 5066738 0 0 0 354210 381 0 0 20 0 3 0 4465388 2811146240 666166 134679101440 4194304 16623229 140721393180896 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 41312256 140721393189910 140721393190026 140721393190026 140721393197040 0
[pid=30013/tid=30271] ppid=30010 vsize=2745260 memory=13592 CPUtime=0.05 cores=5,7
/proc/30013/task/30271/stat : 30271 (fscip) S 30010 30013 29413 0 -1 1077936192 162 0 0 0 1 4 0 0 20 0 3 0 4465499 2811146240 666166 134679101440 4194304 16623229 140721393180896 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 41312256 140721393189910 140721393190026 140721393190026 140721393197040 0
Current children cumulated CPU time: 3581.96 s
Current children cumulated vsize: 2810796 KiB
Current children cumulated memory: 2664664 KiB
[startup+3599.2 s]
/proc/loadavg: 4.12 4.18 4.09 5/261 32625
/proc/meminfo: memFree=119462228/131524600 swapFree=131071996/131071996
[pid=30013] ppid=30010 vsize=2700116 memory=2564408 CPUtime=3582.35 cores=5,7
/proc/30013/stat : 30013 (fscip) R 30010 30013 29413 0 -1 4194304 5297363 0 0 0 357801 434 0 0 20 0 1 0 4461855 2764918784 641102 134679101440 4194304 16623229 140721393180896 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 41312256 140721393189910 140721393190026 140721393190026 140721393197040 0
/proc/30013/statm: 675029 641102 2998 3035 0 660343 0
Current children cumulated CPU time: 3582.35 s
Current children cumulated vsize: 2700116 KiB
Current children cumulated memory: 2564408 KiB
[startup+3599.3 s]
/proc/loadavg: 4.12 4.18 4.09 5/261 32625
/proc/meminfo: memFree=119462228/131524600 swapFree=131071996/131071996
[pid=30013] ppid=30010 vsize=2582952 memory=2447244 CPUtime=3582.45 cores=5,7
/proc/30013/stat : 30013 (fscip) R 30010 30013 29413 0 -1 4194304 5304621 0 0 0 357810 435 0 0 20 0 1 0 4461855 2644942848 611811 134679101440 4194304 16623229 140721393180896 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 41312256 140721393189910 140721393190026 140721393190026 140721393197040 0
/proc/30013/statm: 645738 611811 2998 3035 0 631052 0
Current children cumulated CPU time: 3582.45 s
Current children cumulated vsize: 2582952 KiB
Current children cumulated memory: 2447244 KiB
Child status: 0
Real time (s): 3599.32
CPU time (s): 3582.49
CPU user time (s): 3578.12
CPU system time (s): 4.36629
CPU usage (%): 99.5322
Max. virtual memory (cumulated for all children) (KiB): 3394584
Max. memory (cumulated for all children) (KiB): 2698404
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3578.12
system time used= 4.36629
maximum resident set size= 2698404
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 5306227
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= 9613
involuntary context switches= 3096
# summary of solver processes directly reported to runsolver:
# pid: 30013
# total CPU time (s): 3582.49
# total CPU user time (s): 3578.12
# total CPU system time (s): 4.36629
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.79102 second user time and 18.5223 second system time
The end
Begin job on nodeC031 at 2024-07-31 00:30:02
IDJOB=4464410
IDBENCH=147844
IDSOLVER=3092
FILE ID=nodeC031/4464410-1722378601
RUNJOBID= nodeC031-1722378597-29426
SLURM_JOB_ID= 8249854
Free space on /tmp= 889984 MiB
SOLVER NAME= FiberSCIP 2024-07-30
BENCH NAME= PB24/normalized-PB06/DEC-LIN/submitted-PB06/roussel/normalized-pigeon-clauses-95-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-4464410-1722378601/watcher-4464410-1722378601 -o /tmp/evaluation-result-4464410-1722378601/solver-4464410-1722378601 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC031-1722378597-29426 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4464410-1722378601.opb -qsol -t 3600 -sth 1
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 6537247428469e6459e4298d22ed7785
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 : 3673.779
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 : 3677.462
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.229
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 : 3600.375
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 : 3673.747
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 : 3680.380
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.334
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 : 3666.999
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: 124725324 kB
MemAvailable: 128748588 kB
Buffers: 84824 kB
Cached: 4769152 kB
SwapCached: 0 kB
Active: 260004 kB
Inactive: 6054416 kB
Active(anon): 1532 kB
Inactive(anon): 1480564 kB
Active(file): 258472 kB
Inactive(file): 4573852 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 131884 kB
Writeback: 0 kB
AnonPages: 1460612 kB
Mapped: 122776 kB
Shmem: 21336 kB
KReclaimable: 61176 kB
Slab: 141844 kB
SReclaimable: 61176 kB
SUnreclaim: 80668 kB
KernelStack: 4224 kB
PageTables: 11920 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 1629604 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 9216 kB
HardwareCorrupted: 0 kB
AnonHugePages: 366592 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= 889948 MiB
End job on nodeC031 at 2024-07-31 01:30:01