0.00/0.00 c The following solver is parallelized by UG version 1.0.0 [GitHash: cdb00f34-dirty]
0.00/0.00 c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.1.0] [GitHash: 32d2b99657]
0.00/0.00 c Copyright (c) 2002-2024 Zuse Institute Berlin (ZIB)
0.00/0.00 c External libraries:
0.00/0.00 c Soplex 7.1.0 Linear Programming Solver developed at Zuse Institute Berlin (soplex.zib.de) [GitHash: bdec2291]
0.00/0.00 c CppAD 20180000.0 Algorithmic Differentiation of C++ algorithms developed by B. Bell (github.com/coin-or/CppAD)
0.00/0.00 c AMPL/MP 690e9e7 AMPL .nl file reader library (github.com/ampl/mp)
0.00/0.00 c PaPILO 2.2.1 parallel presolve for integer and linear optimization (github.com/scipopt/papilo)
0.00/0.00 c Nauty 2.8.8 Computing Graph Automorphism Groups by Brendan D. McKay (users.cecs.anu.edu.au/~bdm/nauty)
0.00/0.00 c sassy 1.1 Symmetry preprocessor by Markus Anders (github.com/markusa4/sassy)
0.99/1.02 c Default LC presolving (default).
0.99/1.03 c ** Before presolving: virtualMemUsedAtLc = 839184802, getVmSize() = 494661632, SCIPgetMemUsed() = 431767500, SCIPgetMemTotal() = 444312052, SCIPgetMemExternEstim() = 394872750
0.99/1.03 c ** set memory limit for presolving in LC to 8.79584e+12 for SCIP **
29.51/29.61 c ** Estimated virtualMemUsedAtSolver = 679811860, getVmSize() = 776638464, SCIPgetMemUsed() = 542659016, SCIPgetMemTotal() = 624845040, SCIPgetMemExternEstim() = 394872750
29.51/29.61 c ** set memory limit for solvers to 4.39803e+12 for each SCIP **
29.51/29.61 c Original Problem :
29.51/29.61 c Problem name : instance-4442720-1721297848
29.51/29.61 c Variables : 8550 (8550 binary, 0 integer, 0 implicit integer, 0 continuous)
29.51/29.61 c Constraints : 401945
29.51/29.61 c Objective sense : minimize
29.51/29.61 c Presolved Problem :
29.51/29.61 c Variables : 8550 (8550 binary, 0 integer, 0 implicit integer, 0 continuous)
29.51/29.61 c Constraints : 402128
29.51/29.61 c Constraints : Number
29.51/29.61 c setppc : 401850
29.51/29.61 c linear : 183
29.51/29.61 c logicor : 95
29.51/29.61 c ** Instance transfer method used: 0
30.11/30.26 c ** ParaScipInstance copy does not increase the number of variables. **
30.60/30.76 c LC is working with racing ramp-up and with rebuilding tree after racing.
30.60/30.76 c Nodes Active
30.60/30.76 c Time Nodes Left Solvers Best Integer Best Node Gap Best Node(S) Gap(S)
201.10/201.73 c 202 2 1 1 - 0.0000 -
208.18/208.83 c 209 7 6 1 - 0.0000 -
224.23/224.94 c 225 16 15 1 - 0.0000 -
242.18/242.90 c 243 26 25 1 - 0.0000 -
255.34/256.12 c 256 32 31 1 - 0.0000 -
262.32/263.12 c 263 34 35 1 - 0.0000 -
270.38/271.23 c 271 40 39 1 - 0.0000 -
277.16/278.04 c 278 43 42 1 - 0.0000 -
283.15/284.00 c 284 46 45 1 - 0.0000 -
288.92/289.85 c 290 49 48 1 - 0.0000 -
297.59/298.58 c 299 55 54 1 - 0.0000 -
306.66/307.64 c 308 63 62 1 - 0.0000 -
314.62/315.67 c 316 67 66 1 - 0.0000 -
321.50/322.53 c 323 70 69 1 - 0.0000 -
326.79/327.86 c 328 75 74 1 - 0.0000 -
334.25/335.33 c 335 78 77 1 - 0.0000 -
339.33/340.41 c 340 94 93 1 - 0.0000 -
350.20/351.34 c 351 102 101 1 - 0.0000 -
356.27/357.45 c 357 107 106 1 - 0.0000 -
362.05/363.24 c 363 109 108 1 - 0.0000 -
370.22/371.46 c 371 122 121 1 - 0.0000 -
375.41/376.68 c 377 132 131 1 - 0.0000 -
381.79/383.02 c 383 152 151 1 - 0.0000 -
388.36/389.61 c 390 170 169 1 - 0.0000 -
393.74/395.00 c 395 181 180 1 - 0.0000 -
398.92/400.28 c 400 189 188 1 - 0.0000 -
410.08/411.43 c 411 194 193 1 - 0.0000 -
418.65/420.06 c 420 202 201 1 - 0.0000 -
425.23/426.62 c 427 210 209 1 - 0.0000 -
432.00/433.43 c 433 224 223 1 - 0.0000 -
442.57/444.06 c 444 232 231 1 - 0.0000 -
456.71/458.20 c 458 244 243 1 - 0.0000 -
471.45/473.01 c 473 250 249 1 - 0.0000 -
481.30/482.97 c 483 255 254 1 - 0.0000 -
487.58/489.24 c 489 278 277 1 - 0.0000 -
492.66/494.30 c 494 309 304 1 - 0.0000 -
498.03/499.78 c 500 349 328 1 - 0.0000 -
503.21/504.99 c 505 404 359 1 - 0.0000 -
508.49/510.22 c 510 462 381 1 - 0.0000 -
525.71/527.54 c 528 491 392 1 - 0.0000 -
530.89/532.75 c 533 549 404 1 - 0.0000 -
536.07/537.99 c 538 609 391 1 - 0.0000 -
541.25/543.19 c 543 645 399 1 - 0.0000 -
546.62/548.57 c 549 697 405 1 - 0.0000 -
551.80/553.71 c 554 750 384 1 - 0.0000 -
556.89/558.80 c 559 794 381 1 - 0.0000 -
562.17/564.10 c 564 845 384 1 - 0.0000 -
568.34/570.37 c 570 897 387 1 - 0.0000 -
573.52/575.57 c 576 948 388 1 - 0.0000 -
578.70/580.74 c 581 998 384 1 - 0.0000 -
583.98/586.03 c 586 1049 385 1 - 0.0000 -
589.36/591.47 c 591 1098 386 1 - 0.0000 -
594.33/596.48 c 596 1133 389 1 - 0.0000 -
599.61/601.71 c 602 1183 393 1 - 0.0000 -
605.49/607.65 c 608 1239 397 1 - 0.0000 -
610.77/612.98 c 613 1290 400 1 - 0.0000 -
616.15/618.30 c 618 1343 403 1 - 0.0000 -
621.23/623.44 c 623 1398 406 1 - 0.0000 -
626.41/628.65 c 629 1455 407 1 - 0.0000 -
631.58/633.90 c 634 1514 410 1 - 0.0000 -
636.87/639.16 c 639 1576 410 1 - 0.0000 -
642.15/644.40 c 644 1640 408 1 - 0.0000 -
647.23/649.57 c 650 1699 409 1 - 0.0000 -
652.40/654.79 c 655 1765 407 1 - 0.0000 -
657.58/659.94 c 660 1830 400 1 - 0.0000 -
663.25/665.63 c 666 1892 393 1 - 0.0000 -
669.03/671.47 c 671 1939 400 1 - 0.0000 -
675.01/677.45 c 677 1987 406 1 - 0.0000 -
680.88/683.32 c 683 2033 412 1 - 0.0000 -
686.17/688.62 c 689 2086 415 1 - 0.0000 -
691.45/693.99 c 694 2139 418 1 - 0.0000 -
696.82/699.38 c 699 2188 419 1 - 0.0000 -
702.00/704.57 c 705 2239 422 1 - 0.0000 -
707.49/710.02 c 710 2295 424 1 - 0.0000 -
712.75/715.35 c 715 2349 422 1 - 0.0000 -
718.24/720.83 c 721 2405 424 1 - 0.0000 -
723.52/726.16 c 726 2458 421 1 - 0.0000 -
729.19/731.84 c 732 2511 422 1 - 0.0000 -
735.26/737.90 c 738 2572 429 1 - 0.0000 -
740.34/743.05 c 743 2634 431 1 - 0.0000 -
745.51/748.27 c 748 2701 434 1 - 0.0000 -
750.78/753.51 c 754 2765 438 1 - 0.0000 -
756.06/758.81 c 759 2821 440 1 - 0.0000 -
761.43/764.28 c 764 2864 451 1 - 0.0000 -
766.60/769.48 c 769 2915 452 1 - 0.0000 -
772.28/775.14 c 775 2973 452 1 - 0.0000 -
777.64/780.50 c 780 3028 453 1 - 0.0000 -
782.82/785.70 c 786 3078 455 1 - 0.0000 -
788.00/790.96 c 791 3137 458 1 - 0.0000 -
793.08/796.10 c 796 3202 457 1 - 0.0000 -
798.35/801.33 c 801 3269 456 1 - 0.0000 -
803.72/806.75 c 807 3338 457 1 - 0.0000 -
808.99/812.03 c 812 3401 454 1 - 0.0000 -
814.27/817.33 c 817 3452 457 1 - 0.0000 -
820.13/823.25 c 823 3506 461 1 - 0.0000 -
825.61/828.78 c 829 3560 463 1 - 0.0000 -
831.38/834.51 c 835 3609 466 1 - 0.0000 -
837.25/840.48 c 840 3661 470 1 - 0.0000 -
842.43/845.64 c 846 3712 471 1 - 0.0000 -
847.70/850.96 c 851 3755 472 1 - 0.0000 -
853.67/856.94 c 857 3807 476 1 - 0.0000 -
858.85/862.15 c 862 3850 479 1 - 0.0000 -
864.42/867.77 c 868 3899 486 1 - 0.0000 -
869.60/872.94 c 873 3951 488 1 - 0.0000 -
874.77/878.17 c 878 3995 492 1 - 0.0000 -
880.34/883.75 c 884 4045 494 1 - 0.0000 -
886.22/889.67 c 890 4096 497 1 - 0.0000 -
891.89/895.32 c 895 4145 498 1 - 0.0000 -
897.06/900.59 c 901 4196 501 1 - 0.0000 -
902.74/906.22 c 906 4246 503 1 - 0.0000 -
908.32/911.84 c 912 4297 504 1 - 0.0000 -
914.68/918.20 c 918 4341 508 1 - 0.0000 -
920.16/923.72 c 924 4394 511 1 - 0.0000 -
925.33/928.91 c 929 4446 513 1 - 0.0000 -
930.61/934.22 c 934 4498 515 1 - 0.0000 -
936.38/940.00 c 940 4552 519 1 - 0.0000 -
941.85/945.54 c 946 4600 521 1 - 0.0000 -
947.23/950.99 c 951 4643 524 1 - 0.0000 -
952.40/956.19 c 956 4684 527 1 - 0.0000 -
957.97/961.76 c 962 4736 529 1 - 0.0000 -
964.15/967.90 c 968 4762 529 1 - 0.0000 -
969.73/973.50 c 974 4813 532 1 - 0.0000 -
975.01/978.85 c 979 4856 535 1 - 0.0000 -
980.49/984.32 c 984 4908 537 1 - 0.0000 -
985.87/989.76 c 990 4961 542 1 - 0.0000 -
991.25/995.13 c 995 5010 549 1 - 0.0000 -
996.42/1000.34 c 1000 5074 551 1 - 0.0000 -
1001.71/1005.67 c 1006 5131 554 1 - 0.0000 -
1007.20/1011.14 c 1011 5186 557 1 - 0.0000 -
1012.47/1016.44 c 1016 5250 557 1 - 0.0000 -
1017.75/1021.75 c 1022 5306 559 1 - 0.0000 -
1023.03/1027.03 c 1027 5361 562 1 - 0.0000 -
1028.31/1032.31 c 1032 5419 562 1 - 0.0000 -
1033.58/1037.65 c 1038 5467 564 1 - 0.0000 -
1038.76/1042.84 c 1043 5526 567 1 - 0.0000 -
1044.23/1048.30 c 1048 5583 568 1 - 0.0000 -
1049.70/1053.82 c 1054 5624 571 1 - 0.0000 -
1055.48/1059.62 c 1060 5678 573 1 - 0.0000 -
1061.05/1065.20 c 1065 5735 574 1 - 0.0000 -
1066.13/1070.39 c 1070 5795 574 1 - 0.0000 -
1071.50/1075.72 c 1076 5854 577 1 - 0.0000 -
1076.67/1080.94 c 1081 5906 581 1 - 0.0000 -
1081.95/1086.25 c 1086 5968 583 1 - 0.0000 -
1087.22/1091.53 c 1092 6029 586 1 - 0.0000 -
1092.40/1096.75 c 1097 6086 585 1 - 0.0000 -
1097.68/1102.09 c 1102 6145 586 1 - 0.0000 -
1103.04/1107.42 c 1107 6209 588 1 - 0.0000 -
1108.32/1112.72 c 1113 6272 589 1 - 0.0000 -
1113.50/1117.94 c 1118 6327 590 1 - 0.0000 -
1118.87/1123.36 c 1123 6386 591 1 - 0.0000 -
1124.14/1128.63 c 1129 6439 592 1 - 0.0000 -
1129.91/1134.41 c 1134 6494 595 1 - 0.0000 -
1135.50/1140.03 c 1140 6555 596 1 - 0.0000 -
1140.76/1145.31 c 1145 6608 599 1 - 0.0000 -
1145.93/1150.58 c 1151 6672 599 1 - 0.0000 -
1151.20/1155.86 c 1156 6735 606 1 - 0.0000 -
1156.48/1161.12 c 1161 6800 607 1 - 0.0000 -
1161.65/1166.32 c 1166 6863 606 1 - 0.0000 -
1166.73/1171.46 c 1171 6926 607 1 - 0.0000 -
1172.09/1176.83 c 1177 6988 609 1 - 0.0000 -
1177.38/1182.12 c 1182 7051 608 1 - 0.0000 -
1182.54/1187.35 c 1187 7113 610 1 - 0.0000 -
1187.81/1192.60 c 1193 7179 608 1 - 0.0000 -
1192.89/1197.75 c 1198 7242 609 1 - 0.0000 -
1198.17/1203.08 c 1203 7304 611 1 - 0.0000 -
1203.44/1208.30 c 1208 7367 610 1 - 0.0000 -
1208.62/1213.55 c 1214 7427 610 1 - 0.0000 -
1213.89/1218.83 c 1219 7491 612 1 - 0.0000 -
1219.07/1224.00 c 1224 7553 614 1 - 0.0000 -
1224.23/1229.29 c 1229 7615 616 1 - 0.0000 -
1229.51/1234.51 c 1235 7680 615 1 - 0.0000 -
1234.70/1239.78 c 1240 7743 616 1 - 0.0000 -
1240.17/1245.24 c 1245 7800 617 1 - 0.0000 -
1245.35/1250.47 c 1250 7862 617 1 - 0.0000 -
1250.63/1255.74 c 1256 7924 619 1 - 0.0000 -
1255.81/1260.98 c 1261 7987 620 1 - 0.0000 -
1261.09/1266.29 c 1266 8054 619 1 - 0.0000 -
1266.36/1271.51 c 1272 8118 621 1 - 0.0000 -
1271.53/1276.75 c 1277 8184 621 1 - 0.0000 -
1277.00/1282.27 c 1282 8253 622 1 - 0.0000 -
1282.18/1287.48 c 1287 8315 622 1 - 0.0000 -
1287.45/1292.70 c 1293 8379 622 1 - 0.0000 -
1292.63/1297.93 c 1298 8444 621 1 - 0.0000 -
1297.80/1303.13 c 1303 8507 622 1 - 0.0000 -
1302.87/1308.27 c 1308 8570 623 1 - 0.0000 -
1308.05/1313.44 c 1313 8633 624 1 - 0.0000 -
1313.33/1318.72 c 1319 8699 626 1 - 0.0000 -
1318.50/1323.98 c 1324 8762 627 1 - 0.0000 -
1323.77/1329.23 c 1329 8827 628 1 - 0.0000 -
1328.95/1334.42 c 1334 8891 628 1 - 0.0000 -
1334.13/1339.68 c 1340 8955 630 1 - 0.0000 -
1339.30/1344.88 c 1345 9019 630 1 - 0.0000 -
1344.58/1350.18 c 1350 9079 630 1 - 0.0000 -
1349.75/1355.32 c 1355 9142 631 1 - 0.0000 -
1354.93/1360.55 c 1361 9208 631 1 - 0.0000 -
1360.01/1365.68 c 1366 9266 631 1 - 0.0000 -
1365.50/1371.13 c 1371 9329 632 1 - 0.0000 -
1370.67/1376.33 c 1376 9389 632 1 - 0.0000 -
1375.86/1381.55 c 1382 9448 633 1 - 0.0000 -
1381.14/1386.82 c 1387 9513 634 1 - 0.0000 -
1386.32/1392.09 c 1392 9577 634 1 - 0.0000 -
1391.49/1397.29 c 1397 9640 633 1 - 0.0000 -
1396.87/1402.64 c 1403 9705 632 1 - 0.0000 -
1402.05/1407.82 c 1408 9771 632 1 - 0.0000 -
1407.13/1412.95 c 1413 9831 634 1 - 0.0000 -
1412.41/1418.22 c 1418 9897 632 1 - 0.0000 -
1417.79/1423.61 c 1424 9964 633 1 - 0.0000 -
1423.07/1428.92 c 1429 10028 633 1 - 0.0000 -
1428.45/1434.35 c 1434 10095 634 1 - 0.0000 -
1433.63/1439.56 c 1440 10161 634 1 - 0.0000 -
1438.81/1444.70 c 1445 10223 634 1 - 0.0000 -
1443.99/1449.91 c 1450 10284 633 1 - 0.0000 -
1449.18/1455.14 c 1455 10348 633 1 - 0.0000 -
1454.45/1460.41 c 1460 10412 633 1 - 0.0000 -
1459.63/1465.67 c 1466 10476 633 1 - 0.0000 -
1464.81/1470.85 c 1471 10541 634 1 - 0.0000 -
1470.09/1476.12 c 1476 10605 634 1 - 0.0000 -
1475.27/1481.34 c 1481 10670 633 1 - 0.0000 -
1480.55/1486.67 c 1487 10737 634 1 - 0.0000 -
1486.03/1492.14 c 1492 10807 634 1 - 0.0000 -
1491.20/1497.30 c 1497 10869 634 1 - 0.0000 -
1496.38/1502.57 c 1503 10932 633 1 - 0.0000 -
1501.55/1507.78 c 1508 10996 633 1 - 0.0000 -
1506.93/1513.17 c 1513 11063 634 1 - 0.0000 -
1512.20/1518.42 c 1518 11126 633 1 - 0.0000 -
1517.37/1523.61 c 1524 11187 634 1 - 0.0000 -
1522.65/1528.91 c 1529 11251 634 1 - 0.0000 -
1527.83/1534.12 c 1534 11317 634 1 - 0.0000 -
1533.10/1539.46 c 1539 11383 634 1 - 0.0000 -
1538.37/1544.75 c 1545 11450 633 1 - 0.0000 -
1543.55/1549.98 c 1550 11512 633 1 - 0.0000 -
1548.72/1555.12 c 1555 11579 634 1 - 0.0000 -
1553.91/1560.35 c 1560 11643 634 1 - 0.0000 -
1559.18/1565.62 c 1566 11708 633 1 - 0.0000 -
1564.26/1570.78 c 1571 11773 634 1 - 0.0000 -
1569.45/1575.92 c 1576 11837 638 1 - 0.0000 -
1574.63/1581.18 c 1581 11906 640 1 - 0.0000 -
1579.80/1586.38 c 1586 11974 638 1 - 0.0000 -
1586.48/1593.01 c 1593 12037 641 1 - 0.0000 -
1591.66/1598.27 c 1598 12100 638 1 - 0.0000 -
1596.85/1603.49 c 1603 12166 640 1 - 0.0000 -
1602.13/1608.70 c 1609 12232 640 1 - 0.0000 -
1607.21/1613.89 c 1614 12298 640 1 - 0.0000 -
1612.49/1619.15 c 1619 12364 640 1 - 0.0000 -
1617.77/1624.49 c 1624 12432 640 1 - 0.0000 -
1623.04/1629.75 c 1630 12499 641 1 - 0.0000 -
1628.22/1634.91 c 1635 12564 643 1 - 0.0000 -
1633.41/1640.11 c 1640 12630 645 1 - 0.0000 -
1638.59/1645.38 c 1645 12695 646 1 - 0.0000 -
1643.96/1650.71 c 1651 12759 646 1 - 0.0000 -
1649.14/1655.93 c 1656 12825 646 1 - 0.0000 -
1654.33/1661.13 c 1661 12888 645 1 - 0.0000 -
1659.50/1666.32 c 1666 12954 645 1 - 0.0000 -
1664.59/1671.49 c 1672 13017 646 1 - 0.0000 -
1669.77/1676.65 c 1677 13080 645 1 - 0.0000 -
1675.15/1682.07 c 1682 13147 646 1 - 0.0000 -
1680.52/1687.45 c 1687 13211 642 1 - 0.0000 -
1685.70/1692.68 c 1693 13277 642 1 - 0.0000 -
1690.98/1697.94 c 1698 13343 641 1 - 0.0000 -
1696.17/1703.13 c 1703 13409 641 1 - 0.0000 -
1701.74/1708.76 c 1709 13477 643 1 - 0.0000 -
1707.22/1714.26 c 1714 13542 650 1 - 0.0000 -
1712.51/1719.54 c 1720 13608 650 1 - 0.0000 -
1717.89/1724.94 c 1725 13675 657 1 - 0.0000 -
1723.17/1730.25 c 1730 13741 657 1 - 0.0000 -
1728.45/1735.54 c 1736 13805 657 1 - 0.0000 -
1733.63/1740.75 c 1741 13867 652 1 - 0.0000 -
1738.91/1746.00 c 1746 13933 646 1 - 0.0000 -
1743.99/1751.18 c 1751 13997 646 1 - 0.0000 -
1749.26/1756.44 c 1756 14061 648 1 - 0.0000 -
1754.44/1761.64 c 1762 14127 646 1 - 0.0000 -
1759.62/1766.82 c 1767 14189 646 1 - 0.0000 -
1764.80/1772.00 c 1772 14257 645 1 - 0.0000 -
1769.97/1777.22 c 1777 14324 646 1 - 0.0000 -
1775.06/1782.38 c 1782 14390 646 1 - 0.0000 -
1780.24/1787.57 c 1788 14457 646 1 - 0.0000 -
1785.72/1793.02 c 1793 14525 646 1 - 0.0000 -
1790.99/1798.30 c 1798 14591 648 1 - 0.0000 -
1796.27/1803.60 c 1804 14658 647 1 - 0.0000 -
1801.56/1808.94 c 1809 14723 648 1 - 0.0000 -
1806.84/1814.21 c 1814 14791 648 1 - 0.0000 -
1812.02/1819.43 c 1819 14859 648 1 - 0.0000 -
1817.20/1824.65 c 1825 14922 649 1 - 0.0000 -
1822.38/1829.80 c 1830 14985 658 1 - 0.0000 -
1827.46/1834.91 c 1835 15050 659 1 - 0.0000 -
1832.65/1840.17 c 1840 15117 660 1 - 0.0000 -
1837.92/1845.41 c 1845 15185 666 1 - 0.0000 -
1843.10/1850.63 c 1851 15253 678 1 - 0.0000 -
1848.28/1855.80 c 1856 15323 676 1 - 0.0000 -
1853.37/1860.98 c 1861 15388 667 1 - 0.0000 -
1858.56/1866.17 c 1866 15453 670 1 - 0.0000 -
1863.83/1871.42 c 1871 15518 671 1 - 0.0000 -
1869.01/1876.61 c 1877 15580 677 1 - 0.0000 -
1874.19/1881.83 c 1882 15646 677 1 - 0.0000 -
1879.37/1887.02 c 1887 15709 680 1 - 0.0000 -
1884.54/1892.25 c 1892 15775 686 1 - 0.0000 -
1889.72/1897.46 c 1897 15843 683 1 - 0.0000 -
1894.90/1902.63 c 1903 15908 682 1 - 0.0000 -
1900.08/1907.89 c 1908 15974 684 1 - 0.0000 -
1905.37/1913.14 c 1913 16040 679 1 - 0.0000 -
1910.54/1918.34 c 1918 16106 679 1 - 0.0000 -
1915.73/1923.58 c 1924 16173 678 1 - 0.0000 -
1921.01/1928.80 c 1929 16243 686 1 - 0.0000 -
1926.20/1934.00 c 1934 16311 678 1 - 0.0000 -
1931.37/1939.25 c 1939 16376 674 1 - 0.0000 -
1936.75/1944.61 c 1945 16441 675 1 - 0.0000 -
1941.83/1949.78 c 1950 16502 674 1 - 0.0000 -
1947.01/1954.98 c 1955 16568 672 1 - 0.0000 -
1952.29/1960.20 c 1960 16631 671 1 - 0.0000 -
1957.47/1965.40 c 1965 16694 667 1 - 0.0000 -
1962.64/1970.64 c 1971 16761 667 1 - 0.0000 -
1967.82/1975.87 c 1976 16829 665 1 - 0.0000 -
1973.19/1981.20 c 1981 16899 667 1 - 0.0000 -
1978.37/1986.49 c 1986 16967 666 1 - 0.0000 -
1983.64/1991.71 c 1992 17031 668 1 - 0.0000 -
1988.63/1996.79 c 1997 17095 673 1 - 0.0000 -
1994.01/2002.13 c 2002 17165 672 1 - 0.0000 -
1999.08/2007.25 c 2007 17230 671 1 - 0.0000 -
2004.35/2012.52 c 2013 17297 674 1 - 0.0000 -
2009.43/2017.69 c 2018 17365 672 1 - 0.0000 -
2014.71/2022.90 c 2023 17435 672 1 - 0.0000 -
2019.79/2028.02 c 2028 17502 671 1 - 0.0000 -
2024.95/2033.21 c 2033 17570 671 1 - 0.0000 -
2030.13/2038.46 c 2038 17637 670 1 - 0.0000 -
2035.41/2043.72 c 2044 17704 671 1 - 0.0000 -
2040.58/2048.95 c 2049 17774 669 1 - 0.0000 -
2045.77/2054.15 c 2054 17841 670 1 - 0.0000 -
2051.04/2059.45 c 2059 17907 669 1 - 0.0000 -
2056.22/2064.66 c 2065 17977 663 1 - 0.0000 -
2061.39/2069.87 c 2070 18045 663 1 - 0.0000 -
2066.67/2075.12 c 2075 18114 663 1 - 0.0000 -
2071.94/2080.42 c 2080 18183 658 1 - 0.0000 -
2077.02/2085.56 c 2086 18246 657 1 - 0.0000 -
2082.29/2090.85 c 2091 18310 661 1 - 0.0000 -
2087.48/2096.01 c 2096 18378 669 1 - 0.0000 -
2092.65/2101.27 c 2101 18416 655 1 - 0.0000 -
2097.83/2106.40 c 2106 18479 656 1 - 0.0000 -
2102.91/2111.57 c 2112 18543 655 1 - 0.0000 -
2108.08/2116.76 c 2117 18608 653 1 - 0.0000 -
2113.36/2122.04 c 2122 18674 653 1 - 0.0000 -
2118.53/2127.25 c 2127 18734 651 1 - 0.0000 -
2124.01/2132.77 c 2133 18802 644 1 - 0.0000 -
2129.29/2138.01 c 2138 18863 641 1 - 0.0000 -
2134.36/2143.14 c 2143 18924 640 1 - 0.0000 -
2139.63/2148.43 c 2148 18988 638 1 - 0.0000 -
2144.91/2153.78 c 2154 19048 630 1 - 0.0000 -
2150.39/2159.22 c 2159 19112 628 1 - 0.0000 -
2155.46/2164.35 c 2164 19174 627 1 - 0.0000 -
2160.74/2169.65 c 2170 19240 629 1 - 0.0000 -
2166.02/2174.91 c 2175 19301 628 1 - 0.0000 -
2171.29/2180.24 c 2180 19365 628 1 - 0.0000 -
2176.66/2185.68 c 2186 19432 626 1 - 0.0000 -
2181.84/2190.86 c 2191 19497 625 1 - 0.0000 -
2187.02/2196.03 c 2196 19561 625 1 - 0.0000 -
2192.19/2201.29 c 2201 19627 625 1 - 0.0000 -
2197.38/2206.49 c 2206 19687 624 1 - 0.0000 -
2202.66/2211.73 c 2212 19753 628 1 - 0.0000 -
2207.84/2216.99 c 2217 19810 620 1 - 0.0000 -
2213.52/2222.64 c 2223 19870 630 1 - 0.0000 -
2219.30/2228.49 c 2228 19919 643 1 - 0.0000 -
2225.67/2234.83 c 2235 19977 645 1 - 0.0000 -
2231.25/2240.48 c 2240 20035 645 1 - 0.0000 -
2236.63/2245.83 c 2246 20078 644 1 - 0.0000 -
2241.93/2251.14 c 2251 20135 647 1 - 0.0000 -
2247.40/2256.69 c 2257 20189 647 1 - 0.0000 -
2252.68/2261.99 c 2262 20249 647 1 - 0.0000 -
2257.96/2267.27 c 2267 20314 648 1 - 0.0000 -
2263.24/2272.56 c 2273 20380 648 1 - 0.0000 -
2268.51/2277.84 c 2278 20440 648 1 - 0.0000 -
2273.79/2283.18 c 2283 20505 649 1 - 0.0000 -
2279.06/2288.48 c 2288 20569 650 1 - 0.0000 -
2284.34/2293.70 c 2294 20629 652 1 - 0.0000 -
2289.51/2298.99 c 2299 20690 657 1 - 0.0000 -
2294.69/2304.15 c 2304 20752 664 1 - 0.0000 -
2299.86/2309.37 c 2309 20818 672 1 - 0.0000 -
2305.03/2314.58 c 2315 20881 681 1 - 0.0000 -
2310.42/2319.97 c 2320 20947 673 1 - 0.0000 -
2315.60/2325.18 c 2325 21012 676 1 - 0.0000 -
2320.97/2330.51 c 2331 21076 674 1 - 0.0000 -
2326.24/2335.88 c 2336 21133 672 1 - 0.0000 -
2331.42/2341.08 c 2341 21194 668 1 - 0.0000 -
2337.49/2347.15 c 2347 21246 656 1 - 0.0000 -
2342.76/2352.44 c 2352 21302 666 1 - 0.0000 -
2348.34/2358.01 c 2358 21361 679 1 - 0.0000 -
2353.51/2363.29 c 2363 21415 690 1 - 0.0000 -
2358.79/2368.55 c 2369 21464 693 1 - 0.0000 -
2363.96/2373.70 c 2374 21531 706 1 - 0.0000 -
2369.35/2379.18 c 2379 21584 700 1 - 0.0000 -
2374.72/2384.52 c 2385 21644 702 1 - 0.0000 -
2379.90/2389.77 c 2390 21706 704 1 - 0.0000 -
2385.08/2394.97 c 2395 21767 703 1 - 0.0000 -
2390.36/2400.26 c 2400 21829 703 1 - 0.0000 -
2395.64/2405.53 c 2406 21894 704 1 - 0.0000 -
2400.82/2410.75 c 2411 21960 704 1 - 0.0000 -
2406.00/2415.95 c 2416 22022 708 1 - 0.0000 -
2411.28/2421.26 c 2421 22087 713 1 - 0.0000 -
2416.56/2426.57 c 2427 22152 720 1 - 0.0000 -
2421.84/2431.80 c 2432 22215 719 1 - 0.0000 -
2426.92/2436.99 c 2437 22281 727 1 - 0.0000 -
2432.20/2442.23 c 2442 22347 731 1 - 0.0000 -
2437.48/2447.50 c 2448 22414 732 1 - 0.0000 -
2442.55/2452.66 c 2453 22482 730 1 - 0.0000 -
2447.73/2457.85 c 2458 22547 731 1 - 0.0000 -
2452.91/2463.02 c 2463 22611 731 1 - 0.0000 -
2458.67/2468.83 c 2469 22677 735 1 - 0.0000 -
2463.85/2474.00 c 2474 22740 738 1 - 0.0000 -
2469.04/2479.25 c 2479 22802 740 1 - 0.0000 -
2474.21/2484.49 c 2484 22870 740 1 - 0.0000 -
2479.48/2489.72 c 2490 22937 741 1 - 0.0000 -
2484.56/2494.87 c 2495 22997 741 1 - 0.0000 -
2489.84/2500.15 c 2500 23060 742 1 - 0.0000 -
2495.11/2505.45 c 2505 23124 742 1 - 0.0000 -
2500.18/2510.59 c 2511 23185 745 1 - 0.0000 -
2505.36/2515.77 c 2516 23249 747 1 - 0.0000 -
2510.53/2520.99 c 2521 23310 754 1 - 0.0000 -
2515.81/2526.28 c 2526 23374 764 1 - 0.0000 -
2521.09/2531.55 c 2532 23441 763 1 - 0.0000 -
2526.67/2537.15 c 2537 23494 764 1 - 0.0000 -
2531.94/2542.43 c 2542 23562 761 1 - 0.0000 -
2537.11/2547.60 c 2548 23627 757 1 - 0.0000 -
2542.39/2552.99 c 2553 23688 756 1 - 0.0000 -
2547.66/2558.25 c 2558 23753 750 1 - 0.0000 -
2553.04/2563.68 c 2564 23812 758 1 - 0.0000 -
2558.31/2568.90 c 2569 23846 780 1 - 0.0000 -
2563.99/2574.62 c 2575 23888 804 1 - 0.0000 -
2569.16/2579.88 c 2580 23939 831 1 - 0.0000 -
2575.23/2585.99 c 2586 23988 854 1 - 0.0000 -
2580.42/2591.18 c 2591 24055 851 1 - 0.0000 -
2585.78/2596.52 c 2597 24121 850 1 - 0.0000 -
2590.86/2601.68 c 2602 24178 842 1 - 0.0000 -
2596.03/2606.89 c 2607 24240 842 1 - 0.0000 -
2601.21/2612.07 c 2612 24304 846 1 - 0.0000 -
2606.39/2617.27 c 2617 24369 847 1 - 0.0000 -
2611.57/2622.41 c 2622 24434 847 1 - 0.0000 -
2616.65/2627.60 c 2628 24500 845 1 - 0.0000 -
2622.03/2632.90 c 2633 24562 851 1 - 0.0000 -
2627.21/2638.14 c 2638 24629 857 1 - 0.0000 -
2632.40/2643.37 c 2643 24698 855 1 - 0.0000 -
2637.68/2648.60 c 2649 24768 860 1 - 0.0000 -
2642.85/2653.80 c 2654 24837 865 1 - 0.0000 -
2647.93/2658.98 c 2659 24902 857 1 - 0.0000 -
2653.02/2664.09 c 2664 24967 865 1 - 0.0000 -
2659.00/2670.07 c 2670 25011 849 1 - 0.0000 -
2665.07/2676.11 c 2676 25061 877 1 - 0.0000 -
2670.15/2681.20 c 2681 25099 891 1 - 0.0000 -
2675.83/2686.93 c 2687 25157 895 1 - 0.0000 -
2681.71/2692.83 c 2693 25196 900 1 - 0.0000 -
2687.09/2698.23 c 2698 25245 911 1 - 0.0000 -
2692.98/2704.19 c 2704 25297 913 1 - 0.0000 -
2698.35/2709.55 c 2710 25344 920 1 - 0.0000 -
2703.73/2714.90 c 2715 25399 921 1 - 0.0000 -
2709.61/2720.83 c 2721 25451 925 1 - 0.0000 -
2715.28/2726.55 c 2727 25501 927 1 - 0.0000 -
2720.67/2731.98 c 2732 25559 924 1 - 0.0000 -
2726.04/2737.36 c 2737 25606 927 1 - 0.0000 -
2731.91/2743.25 c 2743 25670 935 1 - 0.0000 -
2737.59/2748.90 c 2749 25719 936 1 - 0.0000 -
2743.06/2754.45 c 2754 25770 937 1 - 0.0000 -
2748.33/2759.74 c 2760 25824 937 1 - 0.0000 -
2753.51/2764.92 c 2765 25873 936 1 - 0.0000 -
2758.69/2770.16 c 2770 25924 939 1 - 0.0000 -
2764.46/2775.94 c 2776 25980 949 1 - 0.0000 -
2769.83/2781.36 c 2781 26038 955 1 - 0.0000 -
2775.61/2787.17 c 2787 26092 957 1 - 0.0000 -
2780.88/2792.45 c 2792 26146 955 1 - 0.0000 -
2786.15/2797.71 c 2798 26196 957 1 - 0.0000 -
2791.44/2803.06 c 2803 26243 966 1 - 0.0000 -
2796.91/2808.59 c 2809 26305 978 1 - 0.0000 -
2801.98/2813.64 c 2814 26345 984 1 - 0.0000 -
2807.16/2818.87 c 2819 26403 988 1 - 0.0000 -
2812.63/2824.31 c 2824 26458 991 1 - 0.0000 -
2818.21/2829.97 c 2830 26511 992 1 - 0.0000 -
2823.39/2835.17 c 2835 26578 993 1 - 0.0000 -
2829.06/2840.88 c 2841 26634 995 1 - 0.0000 -
2834.24/2846.08 c 2846 26680 995 1 - 0.0000 -
2839.51/2851.32 c 2851 26729 994 1 - 0.0000 -
2844.68/2856.53 c 2857 26782 995 1 - 0.0000 -
2849.86/2861.78 c 2862 26842 995 1 - 0.0000 -
2855.24/2867.13 c 2867 26905 994 1 - 0.0000 -
2860.91/2872.85 c 2873 26961 994 1 - 0.0000 -
2866.19/2878.17 c 2878 27017 994 1 - 0.0000 -
2871.26/2883.27 c 2883 27063 996 1 - 0.0000 -
2876.34/2888.31 c 2888 27111 996 1 - 0.0000 -
2882.12/2894.15 c 2894 27168 997 1 - 0.0000 -
2887.59/2899.62 c 2900 27231 998 1 - 0.0000 -
2892.86/2904.98 c 2905 27286 1001 1 - 0.0000 -
2898.54/2910.62 c 2911 27342 1003 1 - 0.0000 -
2904.30/2916.44 c 2916 27402 1007 1 - 0.0000 -
2909.68/2921.84 c 2922 27458 1009 1 - 0.0000 -
2914.96/2927.16 c 2927 27520 1009 1 - 0.0000 -
2920.13/2932.33 c 2932 27583 1012 1 - 0.0000 -
2925.30/2937.54 c 2938 27638 1013 1 - 0.0000 -
2930.58/2942.82 c 2943 27698 1015 1 - 0.0000 -
2935.86/2948.13 c 2948 27763 1016 1 - 0.0000 -
2941.43/2953.74 c 2954 27828 1017 1 - 0.0000 -
2946.71/2959.03 c 2959 27886 1017 1 - 0.0000 -
2951.98/2964.37 c 2964 27949 1016 1 - 0.0000 -
2957.26/2969.61 c 2970 28012 1017 1 - 0.0000 -
2962.53/2974.93 c 2975 28075 1018 1 - 0.0000 -
2968.11/2980.50 c 2980 28133 1020 1 - 0.0000 -
2973.28/2985.76 c 2986 28185 1022 1 - 0.0000 -
2978.66/2991.15 c 2991 28244 1023 1 - 0.0000 -
2983.93/2996.45 c 2996 28308 1023 1 - 0.0000 -
2989.21/3001.78 c 3002 28372 1025 1 - 0.0000 -
2994.38/3006.95 c 3007 28430 1029 1 - 0.0000 -
2999.46/3012.08 c 3012 28489 1030 1 - 0.0000 -
3004.83/3017.44 c 3017 28545 1032 1 - 0.0000 -
3010.01/3022.66 c 3023 28609 1032 1 - 0.0000 -
3015.18/3027.89 c 3028 28668 1031 1 - 0.0000 -
3021.06/3033.73 c 3034 28721 1034 1 - 0.0000 -
3026.24/3038.93 c 3039 28778 1035 1 - 0.0000 -
3031.51/3044.20 c 3044 28843 1036 1 - 0.0000 -
3036.69/3049.44 c 3049 28909 1036 1 - 0.0000 -
3041.96/3054.75 c 3055 28976 1035 1 - 0.0000 -
3047.04/3059.88 c 3060 29037 1036 1 - 0.0000 -
3052.22/3065.10 c 3065 29100 1035 1 - 0.0000 -
3057.59/3070.40 c 3070 29165 1036 1 - 0.0000 -
3063.76/3076.67 c 3077 29225 1038 1 - 0.0000 -
3069.25/3082.18 c 3082 29279 1040 1 - 0.0000 -
3074.51/3087.46 c 3087 29347 1040 1 - 0.0000 -
3079.79/3092.74 c 3093 29412 1041 1 - 0.0000 -
3085.07/3098.01 c 3098 29476 1041 1 - 0.0000 -
3090.24/3103.30 c 3103 29535 1042 1 - 0.0000 -
3095.41/3108.43 c 3108 29594 1045 1 - 0.0000 -
3100.79/3113.87 c 3114 29661 1044 1 - 0.0000 -
3106.16/3119.22 c 3119 29726 1045 1 - 0.0000 -
3111.33/3124.49 c 3124 29785 1046 1 - 0.0000 -
3116.62/3129.70 c 3130 29843 1048 1 - 0.0000 -
3121.90/3135.02 c 3135 29905 1048 1 - 0.0000 -
3127.17/3140.31 c 3140 29970 1047 1 - 0.0000 -
3132.44/3145.65 c 3146 30035 1048 1 - 0.0000 -
3137.62/3150.86 c 3151 30101 1048 1 - 0.0000 -
3142.89/3156.12 c 3156 30163 1050 1 - 0.0000 -
3148.27/3161.55 c 3162 30224 1051 1 - 0.0000 -
3153.55/3166.89 c 3167 30284 1053 1 - 0.0000 -
3158.93/3172.22 c 3172 30345 1056 1 - 0.0000 -
3164.21/3177.50 c 3178 30408 1057 1 - 0.0000 -
3169.49/3182.89 c 3183 30474 1057 1 - 0.0000 -
3174.67/3188.07 c 3188 30537 1056 1 - 0.0000 -
3179.94/3193.33 c 3193 30601 1056 1 - 0.0000 -
3185.02/3198.49 c 3198 30663 1056 1 - 0.0000 -
3190.20/3203.65 c 3204 30729 1056 1 - 0.0000 -
3195.48/3208.98 c 3209 30797 1056 1 - 0.0000 -
3200.76/3214.23 c 3214 30862 1057 1 - 0.0000 -
3205.95/3219.46 c 3219 30927 1058 1 - 0.0000 -
3211.13/3224.61 c 3225 30991 1060 1 - 0.0000 -
3216.31/3229.83 c 3230 31056 1061 1 - 0.0000 -
3221.39/3234.96 c 3235 31117 1062 1 - 0.0000 -
3226.57/3240.20 c 3240 31177 1062 1 - 0.0000 -
3231.85/3245.41 c 3245 31245 1060 1 - 0.0000 -
3237.13/3250.78 c 3251 31301 1062 1 - 0.0000 -
3242.41/3256.08 c 3256 31363 1062 1 - 0.0000 -
3247.69/3261.38 c 3261 31426 1061 1 - 0.0000 -
3252.87/3266.53 c 3267 31486 1061 1 - 0.0000 -
3258.15/3271.80 c 3272 31550 1063 1 - 0.0000 -
3263.33/3277.10 c 3277 31612 1063 1 - 0.0000 -
3268.61/3282.31 c 3282 31674 1063 1 - 0.0000 -
3273.79/3287.56 c 3288 31736 1065 1 - 0.0000 -
3278.97/3292.75 c 3293 31801 1066 1 - 0.0000 -
3284.25/3298.01 c 3298 31868 1065 1 - 0.0000 -
3289.44/3303.29 c 3303 31931 1066 1 - 0.0000 -
3294.52/3308.39 c 3308 31995 1068 1 - 0.0000 -
3299.80/3313.62 c 3314 32058 1067 1 - 0.0000 -
3304.98/3318.81 c 3319 32120 1071 1 - 0.0000 -
3310.06/3323.97 c 3324 32181 1072 1 - 0.0000 -
3315.25/3329.15 c 3329 32245 1074 1 - 0.0000 -
3320.52/3334.45 c 3334 32311 1078 1 - 0.0000 -
3325.80/3339.77 c 3340 32376 1079 1 - 0.0000 -
3331.08/3345.02 c 3345 32443 1078 1 - 0.0000 -
3336.36/3350.31 c 3350 32501 1080 1 - 0.0000 -
3341.55/3355.58 c 3356 32563 1080 1 - 0.0000 -
3346.73/3360.79 c 3361 32623 1082 1 - 0.0000 -
3351.90/3365.98 c 3366 32684 1081 1 - 0.0000 -
3357.18/3371.22 c 3371 32751 1082 1 - 0.0000 -
3362.36/3376.46 c 3376 32817 1086 1 - 0.0000 -
3367.83/3381.91 c 3382 32883 1086 1 - 0.0000 -
3372.91/3387.09 c 3387 32945 1090 1 - 0.0000 -
3378.18/3392.39 c 3392 33012 1093 1 - 0.0000 -
3383.46/3397.68 c 3398 33079 1094 1 - 0.0000 -
3388.84/3403.00 c 3403 33146 1095 1 - 0.0000 -
3393.92/3408.16 c 3408 33210 1099 1 - 0.0000 -
3399.20/3413.44 c 3413 33274 1103 1 - 0.0000 -
3404.38/3418.62 c 3419 33338 1107 1 - 0.0000 -
3409.66/3423.90 c 3424 33402 1113 1 - 0.0000 -
3414.94/3429.20 c 3429 33466 1115 1 - 0.0000 -
3420.12/3434.40 c 3434 33533 1118 1 - 0.0000 -
3425.20/3439.52 c 3440 33596 1121 1 - 0.0000 -
3430.48/3444.83 c 3445 33665 1124 1 - 0.0000 -
3435.76/3450.12 c 3450 33731 1128 1 - 0.0000 -
3440.95/3455.31 c 3455 33797 1132 1 - 0.0000 -
3446.03/3460.47 c 3460 33860 1133 1 - 0.0000 -
3451.21/3465.67 c 3466 33925 1136 1 - 0.0000 -
3456.49/3470.99 c 3471 33989 1138 1 - 0.0000 -
3461.77/3476.24 c 3476 34056 1141 1 - 0.0000 -
3466.95/3481.40 c 3481 34119 1142 1 - 0.0000 -
3472.03/3486.58 c 3487 34183 1144 1 - 0.0000 -
3477.31/3491.80 c 3492 34247 1144 1 - 0.0000 -
3482.49/3497.03 c 3497 34314 1145 1 - 0.0000 -
3487.66/3502.28 c 3502 34384 1145 1 - 0.0000 -
3492.93/3507.55 c 3508 34453 1148 1 - 0.0000 -
3498.11/3512.72 c 3513 34519 1148 1 - 0.0000 -
3503.29/3517.94 c 3518 34584 1149 1 - 0.0000 -
3508.57/3523.26 c 3523 34651 1150 1 - 0.0000 -
3513.84/3528.55 c 3529 34718 1151 1 - 0.0000 -
3519.01/3533.79 c 3534 34783 1154 1 - 0.0000 -
3524.29/3539.06 c 3539 34849 1158 1 - 0.0000 -
3529.56/3544.32 c 3544 34914 1161 1 - 0.0000 -
3534.74/3549.52 c 3550 34979 1160 1 - 0.0000 -
3540.02/3554.86 c 3555 35045 1160 1 - 0.0000 -
3545.20/3560.09 c 3560 35110 1159 1 - 0.0000 -
3550.37/3565.27 c 3565 35175 1160 1 - 0.0000 -
3555.65/3570.53 c 3571 35243 1160 1 - 0.0000 -
3560.92/3575.85 c 3576 35307 1164 1 - 0.0000 -
3566.19/3581.13 c 3581 35373 1168 1 - 0.0000 -
3571.37/3586.35 c 3586 35440 1169 1 - 0.0000 -
3576.65/3591.62 c 3592 35507 1170 1 - 0.0000 -
3581.83/3596.88 c 3597 35575 1172 1 - 0.0000 -
3585.81/3600.85 c SCIP Status : c solving was interrupted [hard time limit reached]
3585.81/3600.85 c Total Time : 3600.8500
3585.81/3600.85 c solving : 3600.8500
3585.81/3600.85 c presolving : 28.5823 (included in solving)
3585.81/3600.85 c B&B Tree :
3585.81/3600.85 c nodes (total) : 1
3585.81/3600.85 c Solution :
3585.81/3600.85 c Solutions found : 0
3585.81/3600.85 c Primal Bound : -
3585.81/3600.85 c Dual Bound : +0.00000000000000e+00
3585.81/3600.85 c Gap : -
3586.31/3601.39 s UNKNOWN
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63968 MiB (60802 MiB free)
memory of node 1: 64473 MiB (62419 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4442720-1721297848/watcher-4442720-1721297848 -o /tmp/evaluation-result-4442720-1721297848/solver-4442720-1721297848 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC032-1721294255-950168 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4442720-1721297848.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=952649, runsolver pid=952646
[startup+0.100423 s]*
/proc/loadavg: 4.08 4.10 4.09 5/261 952650
/proc/meminfo: memFree=126111652/131524600 swapFree=131071996/131071996
[pid=952649] ppid=952646 vsize=66852 memory=54632 CPUtime=0.09 cores=5,7
/proc/952649/stat : 952649 (fscip) R 952646 952649 950155 0 -1 4194304 11579 0 0 0 8 1 0 0 20 0 1 0 181953696 68456448 13658 134679101440 4194304 16613245 140723977969392 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 45400064 140723977970708 140723977970824 140723977970824 140723977977840 0
/proc/952649/statm: 16713 13658 2318 3032 0 13113 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 66852 KiB
Current children cumulated memory: 54632 KiB
[startup+0.205454 s]*
/proc/loadavg: 4.08 4.10 4.09 5/261 952650
/proc/meminfo: memFree=126076092/131524600 swapFree=131071996/131071996
[pid=952649] ppid=952646 vsize=102732 memory=90300 CPUtime=0.19 cores=5,7
/proc/952649/stat : 952649 (fscip) R 952646 952649 950155 0 -1 4194304 20533 0 0 0 17 2 0 0 20 0 1 0 181953696 105197568 22575 134679101440 4194304 16613245 140723977969392 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 45400064 140723977970708 140723977970824 140723977970824 140723977977840 0
/proc/952649/statm: 25683 22575 2318 3032 0 22083 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 102732 KiB
Current children cumulated memory: 90300 KiB
[startup+0.305319 s]*
/proc/loadavg: 4.08 4.10 4.09 5/261 952650
/proc/meminfo: memFree=126043268/131524600 swapFree=131071996/131071996
[pid=952649] ppid=952646 vsize=135436 memory=123220 CPUtime=0.29 cores=5,7
/proc/952649/stat : 952649 (fscip) R 952646 952649 950155 0 -1 4194304 28712 0 0 0 26 3 0 0 20 0 1 0 181953696 138686464 30805 134679101440 4194304 16613245 140723977969392 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 45400064 140723977970708 140723977970824 140723977970824 140723977977840 0
/proc/952649/statm: 33859 30805 2318 3032 0 30259 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 135436 KiB
Current children cumulated memory: 123220 KiB
[startup+0.700223 s]
/proc/loadavg: 4.08 4.10 4.09 5/261 952650
/proc/meminfo: memFree=125974112/131524600 swapFree=131071996/131071996
[pid=952649] ppid=952646 vsize=299864 memory=288924 CPUtime=0.68 cores=5,7
/proc/952649/stat : 952649 (fscip) R 952646 952649 950155 0 -1 4194304 70927 0 0 0 58 10 0 0 20 0 1 0 181953696 307060736 72231 134679101440 4194304 16613245 140723977969392 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 45400064 140723977970708 140723977970824 140723977970824 140723977977840 0
/proc/952649/statm: 74966 72231 2542 3032 0 71366 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 299864 KiB
Current children cumulated memory: 288924 KiB
[startup+1.5002 s]
/proc/loadavg: 4.08 4.10 4.09 5/254 952686
/proc/meminfo: memFree=125830960/131524600 swapFree=131071996/131071996
[pid=952649] ppid=952646 vsize=528976 memory=517456 CPUtime=1.48 cores=5,7
/proc/952649/stat : 952649 (fscip) R 952646 952649 950155 0 -1 4194304 126467 0 0 0 130 18 0 0 20 0 1 0 181953696 541671424 129364 134679101440 4194304 16613245 140723977969392 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 45400064 140723977970708 140723977970824 140723977970824 140723977977840 0
/proc/952649/statm: 132244 129364 2590 3032 0 128644 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 528976 KiB
Current children cumulated memory: 517456 KiB
[startup+3.10576 s]
/proc/loadavg: 4.07 4.10 4.09 5/259 952744
/proc/meminfo: memFree=125040736/131524600 swapFree=131071996/131071996
[pid=952649] ppid=952646 vsize=723160 memory=707704 CPUtime=3.08 cores=5,7
/proc/952649/stat : 952649 (fscip) R 952646 952649 950155 0 -1 4194304 175927 0 0 0 278 30 0 0 20 0 1 0 181953696 740515840 176926 134679101440 4194304 16613245 140723977969392 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 45400064 140723977970708 140723977970824 140723977970824 140723977977840 0
/proc/952649/statm: 180790 176926 2670 3032 0 177190 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 723160 KiB
Current children cumulated memory: 707704 KiB
[startup+6.30023 s]
/proc/loadavg: 4.07 4.10 4.09 5/259 952744
/proc/meminfo: memFree=125053440/131524600 swapFree=131071996/131071996
[pid=952649] ppid=952646 vsize=723160 memory=707704 CPUtime=6.26 cores=5,7
/proc/952649/stat : 952649 (fscip) R 952646 952649 950155 0 -1 4194304 175964 0 0 0 595 31 0 0 20 0 1 0 181953696 740515840 176926 134679101440 4194304 16613245 140723977969392 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 45400064 140723977970708 140723977970824 140723977970824 140723977977840 0
/proc/952649/statm: 180790 176926 2670 3032 0 177190 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 723160 KiB
Current children cumulated memory: 707704 KiB
[startup+12.7002 s]
/proc/loadavg: 4.14 4.11 4.09 5/258 952746
/proc/meminfo: memFree=124887096/131524600 swapFree=131071996/131071996
[pid=952649] ppid=952646 vsize=874088 memory=801348 CPUtime=12.65 cores=5,7
/proc/952649/stat : 952649 (fscip) R 952646 952649 950155 0 -1 4194304 188121 0 0 0 1230 35 0 0 20 0 1 0 181953696 895066112 200337 134679101440 4194304 16613245 140723977969392 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 45400064 140723977970708 140723977970824 140723977970824 140723977977840 0
/proc/952649/statm: 218522 200337 2750 3032 0 214922 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 874088 KiB
Current children cumulated memory: 801348 KiB
[startup+25.5002 s]
/proc/loadavg: 4.12 4.11 4.09 5/260 952750
/proc/meminfo: memFree=124405156/131524600 swapFree=131071996/131071996
[pid=952649] ppid=952646 vsize=874088 memory=809708 CPUtime=25.42 cores=5,7
/proc/952649/stat : 952649 (fscip) R 952646 952649 950155 0 -1 4194304 188146 0 0 0 2507 35 0 0 20 0 1 0 181953696 895066112 202427 134679101440 4194304 16613245 140723977969392 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 45400064 140723977970708 140723977970824 140723977970824 140723977977840 0
/proc/952649/statm: 218522 202427 2750 3032 0 214922 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 874088 KiB
Current children cumulated memory: 809708 KiB
[startup+51.1056 s]
/proc/loadavg: 4.08 4.10 4.09 5/262 952756
/proc/meminfo: memFree=122800788/131524600 swapFree=131071996/131071996
[pid=952649] ppid=952646 vsize=1877840 memory=1777208 CPUtime=50.94 cores=5,7
/proc/952649/stat : 952649 (fscip) S 952646 952649 950155 0 -1 1077936128 615643 0 0 0 5006 88 0 0 20 0 3 0 181953696 1922908160 444302 134679101440 4194304 16613245 140723977969392 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 45400064 140723977970708 140723977970824 140723977970824 140723977977840 0
/proc/952649/statm: 469460 444302 2926 3032 0 451444 0
[pid=952649/tid=952751] ppid=952646 vsize=1877840 memory=809708 CPUtime=20.76 cores=5,7
/proc/952649/task/952751/stat : 952751 (fscip) R 952646 952649 950155 0 -1 4194368 390034 0 0 0 2030 46 0 0 20 0 3 0 181956658 1922908160 444302 134679101440 4194304 16613245 140723977969392 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 45400064 140723977970708 140723977970824 140723977970824 140723977977840 0
[pid=952649/tid=952753] ppid=952646 vsize=1877840 memory=1570440 CPUtime=0 cores=5,7
/proc/952649/task/952753/stat : 952753 (fscip) S 952646 952649 950155 0 -1 1077936192 19 0 0 0 0 0 0 0 20 0 3 0 181956773 1922908160 444302 134679101440 4194304 16613245 140723977969392 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 45400064 140723977970708 140723977970824 140723977970824 140723977977840 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 1877840 KiB
Current children cumulated memory: 1777208 KiB
[startup+102.3 s]
/proc/loadavg: 4.07 4.10 4.09 5/263 952766
/proc/meminfo: memFree=122732776/131524600 swapFree=131071996/131071996
[pid=952649] ppid=952646 vsize=2125788 memory=1844080 CPUtime=101.99 cores=5,7
/proc/952649/stat : 952649 (fscip) S 952646 952649 950155 0 -1 1077936128 862860 0 0 0 10097 102 0 0 20 0 3 0 181953696 2176806912 461020 134679101440 4194304 16613245 140723977969392 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 45400064 140723977970708 140723977970824 140723977970824 140723977977840 0
/proc/952649/statm: 531447 461020 2926 3032 0 518770 0
[pid=952649/tid=952751] ppid=952646 vsize=2125788 memory=1844072 CPUtime=71.81 cores=5,7
/proc/952649/task/952751/stat : 952751 (fscip) R 952646 952649 950155 0 -1 4194368 637240 0 0 0 7121 60 0 0 20 0 3 0 181956658 2176806912 461020 134679101440 4194304 16613245 140723977969392 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 45400064 140723977970708 140723977970824 140723977970824 140723977977840 0
[pid=952649/tid=952753] ppid=952646 vsize=2125788 memory=12088 CPUtime=0 cores=5,7
/proc/952649/task/952753/stat : 952753 (fscip) S 952646 952649 950155 0 -1 1077936192 30 0 0 0 0 0 0 0 20 0 3 0 181956773 2176806912 461020 134679101440 4194304 16613245 140723977969392 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 45400064 140723977970708 140723977970824 140723977970824 140723977977840 0
Current children cumulated CPU time: 101.99 s
Current children cumulated vsize: 2125788 KiB
Current children cumulated memory: 1844080 KiB
[startup+162.3 s]
/proc/loadavg: 4.14 4.11 4.09 5/263 952776
/proc/meminfo: memFree=122536248/131524600 swapFree=131071996/131071996
[pid=952649] ppid=952646 vsize=2235256 memory=1844092 CPUtime=161.81 cores=5,7
/proc/952649/stat : 952649 (fscip) S 952646 952649 950155 0 -1 1077936128 993399 0 0 0 16073 108 0 0 20 0 3 0 181953696 2288902144 461023 134679101440 4194304 16613245 140723977969392 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 45400064 140723977970708 140723977970824 140723977970824 140723977977840 0
/proc/952649/statm: 558814 461023 2926 3032 0 546137 0
[pid=952649/tid=952751] ppid=952646 vsize=2235256 memory=1844084 CPUtime=131.63 cores=5,7
/proc/952649/task/952751/stat : 952751 (fscip) R 952646 952649 950155 0 -1 4194368 767768 0 0 0 13097 66 0 0 20 0 3 0 181956658 2288902144 461023 134679101440 4194304 16613245 140723977969392 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 45400064 140723977970708 140723977970824 140723977970824 140723977977840 0
[pid=952649/tid=952753] ppid=952646 vsize=2235256 memory=1844088 CPUtime=0 cores=5,7
/proc/952649/task/952753/stat : 952753 (fscip) S 952646 952649 950155 0 -1 1077936192 41 0 0 0 0 0 0 0 20 0 3 0 181956773 2288902144 461023 134679101440 4194304 16613245 140723977969392 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 45400064 140723977970708 140723977970824 140723977970824 140723977977840 0
Current children cumulated CPU time: 161.81 s
Current children cumulated vsize: 2235256 KiB
Current children cumulated memory: 1844092 KiB
[startup+222.3 s]
/proc/loadavg: 4.09 4.10 4.09 5/266 952889
/proc/meminfo: memFree=121982312/131524600 swapFree=131071996/131071996
[pid=952649] ppid=952646 vsize=2691096 memory=2193908 CPUtime=221.64 cores=5,7
/proc/952649/stat : 952649 (fscip) S 952646 952649 950155 0 -1 1077936128 1208590 0 0 0 22036 128 0 0 20 0 3 0 181953696 2755682304 548477 134679101440 4194304 16613245 140723977969392 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 45400064 140723977970708 140723977970824 140723977970824 140723977977840 0
/proc/952649/statm: 672774 548477 2926 3032 0 659834 0
[pid=952649/tid=952751] ppid=952646 vsize=2691096 memory=12088 CPUtime=191.46 cores=5,7
/proc/952649/task/952751/stat : 952751 (fscip) R 952646 952649 950155 0 -1 4194368 982913 0 0 0 19060 86 0 0 20 0 3 0 181956658 2755682304 548477 134679101440 4194304 16613245 140723977969392 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 45400064 140723977970708 140723977970824 140723977970824 140723977977840 0
[pid=952649/tid=952753] ppid=952646 vsize=2691096 memory=12088 CPUtime=0 cores=5,7
/proc/952649/task/952753/stat : 952753 (fscip) S 952646 952649 950155 0 -1 1077936192 48 0 0 0 0 0 0 0 20 0 3 0 181956773 2755682304 548477 134679101440 4194304 16613245 140723977969392 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 45400064 140723977970708 140723977970824 140723977970824 140723977977840 0
Current children cumulated CPU time: 221.64 s
Current children cumulated vsize: 2691096 KiB
Current children cumulated memory: 2193908 KiB
[startup+282.3 s]
/proc/loadavg: 4.13 4.11 4.09 5/266 952947
/proc/meminfo: memFree=121327856/131524600 swapFree=131071996/131071996
[pid=952649] ppid=952646 vsize=2891620 memory=2358208 CPUtime=281.45 cores=5,7
/proc/952649/stat : 952649 (fscip) S 952646 952649 950155 0 -1 1077936128 1429043 0 0 0 27997 148 0 0 20 0 3 0 181953696 2961018880 589552 134679101440 4194304 16613245 140723977969392 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 45400064 140723977970708 140723977970824 140723977970824 140723977977840 0
/proc/952649/statm: 722905 589552 2974 3032 0 709578 0
[pid=952649/tid=952751] ppid=952646 vsize=2891620 memory=2193908 CPUtime=251.26 cores=5,7
/proc/952649/task/952751/stat : 952751 (fscip) R 952646 952649 950155 0 -1 4194368 1203320 0 0 0 25021 105 0 0 20 0 3 0 181956658 2961018880 589552 134679101440 4194304 16613245 140723977969392 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 45400064 140723977970708 140723977970824 140723977970824 140723977977840 0
[pid=952649/tid=952753] ppid=952646 vsize=2891620 memory=2358016 CPUtime=0 cores=5,7
/proc/952649/task/952753/stat : 952753 (fscip) S 952646 952649 950155 0 -1 1077936192 53 0 0 0 0 0 0 0 20 0 3 0 181956773 2961018880 589552 134679101440 4194304 16613245 140723977969392 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 45400064 140723977970708 140723977970824 140723977970824 140723977977840 0
Current children cumulated CPU time: 281.45 s
Current children cumulated vsize: 2891620 KiB
Current children cumulated memory: 2358208 KiB
[startup+342.3 s]
/proc/loadavg: 4.05 4.09 4.09 5/266 952958
/proc/meminfo: memFree=121326360/131524600 swapFree=131071996/131071996
[pid=952649] ppid=952646 vsize=2891620 memory=2358208 CPUtime=341.23 cores=5,7
/proc/952649/stat : 952649 (fscip) S 952646 952649 950155 0 -1 1077936128 1523604 0 0 0 33970 153 0 0 20 0 3 0 181953696 2961018880 589552 134679101440 4194304 16613245 140723977969392 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 45400064 140723977970708 140723977970824 140723977970824 140723977977840 0
/proc/952649/statm: 722905 589552 2974 3032 0 709578 0
################
# More data... #
################
[pid=952649/tid=952753] ppid=952646 vsize=3371236 memory=25944 CPUtime=0.03 cores=5,7
/proc/952649/task/952753/stat : 952753 (fscip) S 952646 952649 950155 0 -1 1077936192 185 0 0 0 1 2 0 0 20 0 3 0 181956773 3452145664 664168 134679101440 4194304 16613245 140723977969392 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 45400064 140723977970708 140723977970824 140723977970824 140723977977840 0
Current children cumulated CPU time: 3328.39 s
Current children cumulated vsize: 3371236 KiB
Current children cumulated memory: 2656672 KiB
[startup+3402.3 s]
/proc/loadavg: 4.05 4.10 4.09 5/264 954707
/proc/meminfo: memFree=120265244/131524600 swapFree=131071996/131071996
[pid=952649] ppid=952646 vsize=3371236 memory=2656672 CPUtime=3388.14 cores=5,7
/proc/952649/stat : 952649 (fscip) S 952646 952649 950155 0 -1 1077936128 3338125 0 0 0 338516 298 0 0 20 0 3 0 181953696 3452145664 664168 134679101440 4194304 16613245 140723977969392 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 45400064 140723977970708 140723977970824 140723977970824 140723977977840 0
/proc/952649/statm: 842809 664168 2974 3032 0 819817 0
[pid=952649/tid=952751] ppid=952646 vsize=3371236 memory=2656672 CPUtime=3357.74 cores=5,7
/proc/952649/task/952751/stat : 952751 (fscip) R 952646 952649 950155 0 -1 4194368 3111046 0 0 0 335527 247 0 0 20 0 3 0 181956658 3452145664 664168 134679101440 4194304 16613245 140723977969392 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 45400064 140723977970708 140723977970824 140723977970824 140723977977840 0
[pid=952649/tid=952753] ppid=952646 vsize=3371236 memory=2656672 CPUtime=0.03 cores=5,7
/proc/952649/task/952753/stat : 952753 (fscip) S 952646 952649 950155 0 -1 1077936192 187 0 0 0 1 2 0 0 20 0 3 0 181956773 3452145664 664168 134679101440 4194304 16613245 140723977969392 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 45400064 140723977970708 140723977970824 140723977970824 140723977977840 0
Current children cumulated CPU time: 3388.14 s
Current children cumulated vsize: 3371236 KiB
Current children cumulated memory: 2656672 KiB
[startup+3462.3 s]
/proc/loadavg: 4.12 4.11 4.09 5/264 954718
/proc/meminfo: memFree=120262480/131524600 swapFree=131071996/131071996
[pid=952649] ppid=952646 vsize=3371236 memory=2656672 CPUtime=3447.92 cores=5,7
/proc/952649/stat : 952649 (fscip) S 952646 952649 950155 0 -1 1077936128 3341340 0 0 0 344493 299 0 0 20 0 3 0 181953696 3452145664 664168 134679101440 4194304 16613245 140723977969392 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 45400064 140723977970708 140723977970824 140723977970824 140723977977840 0
/proc/952649/statm: 842809 664168 2974 3032 0 819817 0
[pid=952649/tid=952751] ppid=952646 vsize=3371236 memory=2656672 CPUtime=3417.51 cores=5,7
/proc/952649/task/952751/stat : 952751 (fscip) R 952646 952649 950155 0 -1 4194368 3114237 0 0 0 341503 248 0 0 20 0 3 0 181956658 3452145664 664168 134679101440 4194304 16613245 140723977969392 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 45400064 140723977970708 140723977970824 140723977970824 140723977977840 0
[pid=952649/tid=952753] ppid=952646 vsize=3371236 memory=2656672 CPUtime=0.04 cores=5,7
/proc/952649/task/952753/stat : 952753 (fscip) S 952646 952649 950155 0 -1 1077936192 189 0 0 0 1 3 0 0 20 0 3 0 181956773 3452145664 664168 134679101440 4194304 16613245 140723977969392 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 45400064 140723977970708 140723977970824 140723977970824 140723977977840 0
Current children cumulated CPU time: 3447.92 s
Current children cumulated vsize: 3371236 KiB
Current children cumulated memory: 2656672 KiB
[startup+3522.3 s]
/proc/loadavg: 4.17 4.12 4.09 5/262 954728
/proc/meminfo: memFree=120261692/131524600 swapFree=131071996/131071996
[pid=952649] ppid=952646 vsize=3371236 memory=2656672 CPUtime=3507.67 cores=5,7
/proc/952649/stat : 952649 (fscip) S 952646 952649 950155 0 -1 1077936128 3344721 0 0 0 350467 300 0 0 20 0 3 0 181953696 3452145664 664168 134679101440 4194304 16613245 140723977969392 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 45400064 140723977970708 140723977970824 140723977970824 140723977977840 0
/proc/952649/statm: 842809 664168 2974 3032 0 819817 0
[pid=952649/tid=952751] ppid=952646 vsize=3371236 memory=2656672 CPUtime=3477.26 cores=5,7
/proc/952649/task/952751/stat : 952751 (fscip) R 952646 952649 950155 0 -1 4194368 3117593 0 0 0 347477 249 0 0 20 0 3 0 181956658 3452145664 664168 134679101440 4194304 16613245 140723977969392 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 45400064 140723977970708 140723977970824 140723977970824 140723977977840 0
[pid=952649/tid=952753] ppid=952646 vsize=3371236 memory=2656672 CPUtime=0.04 cores=5,7
/proc/952649/task/952753/stat : 952753 (fscip) S 952646 952649 950155 0 -1 1077936192 191 0 0 0 1 3 0 0 20 0 3 0 181956773 3452145664 664168 134679101440 4194304 16613245 140723977969392 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 45400064 140723977970708 140723977970824 140723977970824 140723977977840 0
Current children cumulated CPU time: 3507.67 s
Current children cumulated vsize: 3371236 KiB
Current children cumulated memory: 2656672 KiB
[startup+3582.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/262 954738
/proc/meminfo: memFree=120259136/131524600 swapFree=131071996/131071996
[pid=952649] ppid=952646 vsize=3371236 memory=2656672 CPUtime=3567.38 cores=5,7
/proc/952649/stat : 952649 (fscip) S 952646 952649 950155 0 -1 1077936128 3350094 0 0 0 356437 301 0 0 20 0 3 0 181953696 3452145664 664168 134679101440 4194304 16613245 140723977969392 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 45400064 140723977970708 140723977970824 140723977970824 140723977977840 0
/proc/952649/statm: 842809 664168 2974 3032 0 819817 0
[pid=952649/tid=952751] ppid=952646 vsize=3371236 memory=12512 CPUtime=3536.98 cores=5,7
/proc/952649/task/952751/stat : 952751 (fscip) R 952646 952649 950155 0 -1 4194368 3122942 0 0 0 353447 251 0 0 20 0 3 0 181956658 3452145664 664168 134679101440 4194304 16613245 140723977969392 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 45400064 140723977970708 140723977970824 140723977970824 140723977977840 0
[pid=952649/tid=952753] ppid=952646 vsize=3371236 memory=12512 CPUtime=0.04 cores=5,7
/proc/952649/task/952753/stat : 952753 (fscip) S 952646 952649 950155 0 -1 1077936192 193 0 0 0 1 3 0 0 20 0 3 0 181956773 3452145664 664168 134679101440 4194304 16613245 140723977969392 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 45400064 140723977970708 140723977970824 140723977970824 140723977977840 0
Current children cumulated CPU time: 3567.38 s
Current children cumulated vsize: 3371236 KiB
Current children cumulated memory: 2656672 KiB
[startup+3601.41 s]
# the end of solver process 952649 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3583.36 s, system=3.05965 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.10 4.11 4.09 6/262 954738
/proc/meminfo: memFree=120259132/131524600 swapFree=131071996/131071996
[pid=952649] ppid=952646 vsize=3371236 memory=2656672 CPUtime=3569.08 cores=5,7
/proc/952649/stat : 952649 (fscip) S 952646 952649 950155 0 -1 1077936128 3350130 0 0 0 356607 301 0 0 20 0 3 0 181953696 3452145664 664168 134679101440 4194304 16613245 140723977969392 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 45400064 140723977970708 140723977970824 140723977970824 140723977977840 0
/proc/952649/statm: 842809 664168 2974 3032 0 819817 0
[pid=952649/tid=952751] ppid=952646 vsize=3371236 memory=6720661043498073965 CPUtime=3538.68 cores=5,7
/proc/952649/task/952751/stat : 952751 (fscip) R 952646 952649 950155 0 -1 4194368 3122978 0 0 0 353617 251 0 0 20 0 3 0 181956658 3452145664 664168 134679101440 4194304 16613245 140723977969392 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 45400064 140723977970708 140723977970824 140723977970824 140723977977840 0
[pid=952649/tid=952753] ppid=952646 vsize=3371236 memory=-4421386487607551842 CPUtime=0.04 cores=5,7
/proc/952649/task/952753/stat : 952753 (fscip) S 952646 952649 950155 0 -1 1077936192 193 0 0 0 1 3 0 0 20 0 3 0 181956773 3452145664 664168 134679101440 4194304 16613245 140723977969392 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 45400064 140723977970708 140723977970824 140723977970824 140723977977840 0
Current children cumulated CPU time: 3569.08 s
Current children cumulated vsize: 3371236 KiB
Current children cumulated memory: 2656672 KiB
[startup+3590.4 s]
/proc/loadavg: 4.09 4.11 4.09 5/262 954742
/proc/meminfo: memFree=120259044/131524600 swapFree=131071996/131071996
[pid=952649] ppid=952646 vsize=3371236 memory=2656672 CPUtime=3575.45 cores=5,7
/proc/952649/stat : 952649 (fscip) S 952646 952649 950155 0 -1 1077936128 3351376 0 0 0 357244 301 0 0 20 0 3 0 181953696 3452145664 664168 134679101440 4194304 16613245 140723977969392 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 45400064 140723977970708 140723977970824 140723977970824 140723977977840 0
/proc/952649/statm: 842809 664168 2974 3032 0 819817 0
[pid=952649/tid=952751] ppid=952646 vsize=3371236 memory=2656672 CPUtime=3545.05 cores=5,7
/proc/952649/task/952751/stat : 952751 (fscip) R 952646 952649 950155 0 -1 4194368 3124224 0 0 0 354254 251 0 0 20 0 3 0 181956658 3452145664 664168 134679101440 4194304 16613245 140723977969392 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 45400064 140723977970708 140723977970824 140723977970824 140723977977840 0
[pid=952649/tid=952753] ppid=952646 vsize=3371236 memory=2656672 CPUtime=0.04 cores=5,7
/proc/952649/task/952753/stat : 952753 (fscip) S 952646 952649 950155 0 -1 1077936192 193 0 0 0 1 3 0 0 20 0 3 0 181956773 3452145664 664168 134679101440 4194304 16613245 140723977969392 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 45400064 140723977970708 140723977970824 140723977970824 140723977977840 0
Current children cumulated CPU time: 3575.45 s
Current children cumulated vsize: 3371236 KiB
Current children cumulated memory: 2656672 KiB
[startup+3596.8 s]
/proc/loadavg: 4.08 4.11 4.09 5/262 954742
/proc/meminfo: memFree=120259036/131524600 swapFree=131071996/131071996
[pid=952649] ppid=952646 vsize=3371236 memory=2656672 CPUtime=3581.83 cores=5,7
/proc/952649/stat : 952649 (fscip) S 952646 952649 950155 0 -1 1077936128 3351536 0 0 0 357882 301 0 0 20 0 3 0 181953696 3452145664 664168 134679101440 4194304 16613245 140723977969392 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 45400064 140723977970708 140723977970824 140723977970824 140723977977840 0
/proc/952649/statm: 842809 664168 2974 3032 0 819817 0
[pid=952649/tid=952751] ppid=952646 vsize=3371236 memory=2656672 CPUtime=3551.42 cores=5,7
/proc/952649/task/952751/stat : 952751 (fscip) R 952646 952649 950155 0 -1 4194368 3124384 0 0 0 354891 251 0 0 20 0 3 0 181956658 3452145664 664168 134679101440 4194304 16613245 140723977969392 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 45400064 140723977970708 140723977970824 140723977970824 140723977977840 0
[pid=952649/tid=952753] ppid=952646 vsize=3371236 memory=12088 CPUtime=0.04 cores=5,7
/proc/952649/task/952753/stat : 952753 (fscip) S 952646 952649 950155 0 -1 1077936192 193 0 0 0 1 3 0 0 20 0 3 0 181956773 3452145664 664168 134679101440 4194304 16613245 140723977969392 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 45400064 140723977970708 140723977970824 140723977970824 140723977977840 0
Current children cumulated CPU time: 3581.83 s
Current children cumulated vsize: 3371236 KiB
Current children cumulated memory: 2656672 KiB
[startup+3600 s]*
/proc/loadavg: 4.07 4.10 4.09 5/262 954744
/proc/meminfo: memFree=120258896/131524600 swapFree=131071996/131071996
[pid=952649] ppid=952646 vsize=3371236 memory=2656672 CPUtime=3585.02 cores=5,7
/proc/952649/stat : 952649 (fscip) S 952646 952649 950155 0 -1 1077936128 3351566 0 0 0 358201 301 0 0 20 0 3 0 181953696 3452145664 664168 134679101440 4194304 16613245 140723977969392 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 45400064 140723977970708 140723977970824 140723977970824 140723977977840 0
/proc/952649/statm: 842809 664168 2974 3032 0 819817 0
[pid=952649/tid=952751] ppid=952646 vsize=3371236 memory=6720661043498073965 CPUtime=3554.61 cores=5,7
/proc/952649/task/952751/stat : 952751 (fscip) R 952646 952649 950155 0 -1 4194368 3124414 0 0 0 355210 251 0 0 20 0 3 0 181956658 3452145664 664168 134679101440 4194304 16613245 140723977969392 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 45400064 140723977970708 140723977970824 140723977970824 140723977977840 0
[pid=952649/tid=952753] ppid=952646 vsize=3371236 memory=22460 CPUtime=0.04 cores=5,7
/proc/952649/task/952753/stat : 952753 (fscip) S 952646 952649 950155 0 -1 1077936192 193 0 0 0 1 3 0 0 20 0 3 0 181956773 3452145664 664168 134679101440 4194304 16613245 140723977969392 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 45400064 140723977970708 140723977970824 140723977970824 140723977977840 0
Current children cumulated CPU time: 3585.02 s
Current children cumulated vsize: 3371236 KiB
Current children cumulated memory: 2656672 KiB
[startup+3600.8 s]
/proc/loadavg: 4.07 4.10 4.09 5/262 954744
/proc/meminfo: memFree=120258896/131524600 swapFree=131071996/131071996
[pid=952649] ppid=952646 vsize=3371236 memory=2656672 CPUtime=3585.81 cores=5,7
/proc/952649/stat : 952649 (fscip) S 952646 952649 950155 0 -1 1077936128 3355296 0 0 0 358280 301 0 0 20 0 3 0 181953696 3452145664 664168 134679101440 4194304 16613245 140723977969392 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 45400064 140723977970708 140723977970824 140723977970824 140723977977840 0
/proc/952649/statm: 842809 664168 2974 3032 0 819817 0
[pid=952649/tid=952751] ppid=952646 vsize=3371236 memory=2656672 CPUtime=3555.41 cores=5,7
/proc/952649/task/952751/stat : 952751 (fscip) R 952646 952649 950155 0 -1 4194368 3128138 0 0 0 355290 251 0 0 20 0 3 0 181956658 3452145664 664168 134679101440 4194304 16613245 140723977969392 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 45400064 140723977970708 140723977970824 140723977970824 140723977977840 0
[pid=952649/tid=952753] ppid=952646 vsize=3371236 memory=31912 CPUtime=0.04 cores=5,7
/proc/952649/task/952753/stat : 952753 (fscip) S 952646 952649 950155 0 -1 1077936192 193 0 0 0 1 3 0 0 20 0 3 0 181956773 3452145664 664168 134679101440 4194304 16613245 140723977969392 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 45400064 140723977970708 140723977970824 140723977970824 140723977977840 0
Current children cumulated CPU time: 3585.81 s
Current children cumulated vsize: 3371236 KiB
Current children cumulated memory: 2656672 KiB
[startup+3601.2 s]
/proc/loadavg: 4.07 4.10 4.09 5/261 954744
/proc/meminfo: memFree=120555224/131524600 swapFree=131071996/131071996
[pid=952649] ppid=952646 vsize=2488816 memory=2359476 CPUtime=3586.22 cores=5,7
/proc/952649/stat : 952649 (fscip) R 952646 952649 950155 0 -1 4194304 3357519 0 0 0 358319 303 0 0 20 0 1 0 181953696 2548547584 589869 134679101440 4194304 16613245 140723977969392 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 45400064 140723977970708 140723977970824 140723977970824 140723977977840 0
/proc/952649/statm: 622204 589869 2974 3032 0 609119 0
Current children cumulated CPU time: 3586.22 s
Current children cumulated vsize: 2488816 KiB
Current children cumulated memory: 2359476 KiB
[startup+3601.4 s]*
/proc/loadavg: 4.07 4.10 4.09 5/260 954744
/proc/meminfo: memFree=122908876/131524600 swapFree=131071996/131071996
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
Child status: 0
Real time (s): 3601.41
CPU time (s): 3586.42
CPU user time (s): 3583.36
CPU system time (s): 3.05965
CPU usage (%): 99.5839
Max. virtual memory (cumulated for all children) (KiB): 3371236
Max. memory (cumulated for all children) (KiB): 2656672
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3583.36
system time used= 3.05965
maximum resident set size= 2656672
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3369652
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= 9656
involuntary context switches= 1366
# summary of solver processes directly reported to runsolver:
# pid: 952649
# total CPU time (s): 3586.42
# total CPU user time (s): 3583.36
# total CPU system time (s): 3.05965
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.83673 second user time and 16.7079 second system time
The end
Begin job on nodeC032 at 2024-07-18 12:17:40
IDJOB=4442720
IDBENCH=147844
IDSOLVER=3064
FILE ID=nodeC032/4442720-1721297848
RUNJOBID= nodeC032-1721294255-950168
SLURM_JOB_ID= 7542614
Free space on /tmp= 889988 MiB
SOLVER NAME= FiberSCIP 2024-07-02
BENCH NAME= PB24/normalized-PB06/DEC-LIN/submitted-PB06/roussel/normalized-pigeon-clauses-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-4442720-1721297848/watcher-4442720-1721297848 -o /tmp/evaluation-result-4442720-1721297848/solver-4442720-1721297848 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC032-1721294255-950168 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4442720-1721297848.opb -qsol -t 3600 -sth 1
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 6537247428469e6459e4298d22ed7785
RANDOM SEED=112561548
nodeC032.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 : 3671.177
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.33
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 : 3676.645
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.03
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 : 3599.833
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.33
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 : 3599.994
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.03
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 : 3672.582
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.33
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 : 3678.074
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.03
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 : 3609.062
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.33
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 : 3668.663
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.03
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 126199652 kB
MemAvailable: 128719544 kB
Buffers: 486156 kB
Cached: 2849424 kB
SwapCached: 0 kB
Active: 924876 kB
Inactive: 3744556 kB
Active(anon): 1532 kB
Inactive(anon): 1370032 kB
Active(file): 923344 kB
Inactive(file): 2374524 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 66852 kB
Writeback: 8 kB
AnonPages: 1333880 kB
Mapped: 140368 kB
Shmem: 37720 kB
KReclaimable: 123696 kB
Slab: 239140 kB
SReclaimable: 123696 kB
SUnreclaim: 115444 kB
KernelStack: 4144 kB
PageTables: 12032 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 1097476 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 69056 kB
HardwareCorrupted: 0 kB
AnonHugePages: 1032192 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: 226004 kB
DirectMap2M: 21567488 kB
DirectMap1G: 114294784 kB
Free space on /tmp at the end= 889952 MiB
End job on nodeC032 at 2024-07-18 13:17:42