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.60/0.65 c Default LC presolving (default).
0.60/0.65 c ** Before presolving: virtualMemUsedAtLc = 261270544, getVmSize() = 215494656, SCIPgetMemUsed() = 182041711, SCIPgetMemTotal() = 191261791, SCIPgetMemExternEstim() = 70008753
0.60/0.65 c ** set memory limit for presolving in LC to 8.79601e+12 for SCIP **
2.17/2.27 c ** Estimated virtualMemUsedAtSolver = 295043716, getVmSize() = 402763776, SCIPgetMemUsed() = 250357646, SCIPgetMemTotal() = 372556822, SCIPgetMemExternEstim() = 70008753
2.17/2.27 c ** set memory limit for solvers to 4.39804e+12 for each SCIP **
2.17/2.27 c Original Problem :
2.17/2.27 c Problem name : instance-4463907-1722378594
2.17/2.27 c Variables : 74400 (74400 binary, 0 integer, 0 implicit integer, 0 continuous)
2.17/2.27 c Constraints : 1408
2.17/2.27 c Objective sense : minimize
2.17/2.27 c Presolved Problem :
2.17/2.27 c Variables : 37478 (37478 binary, 0 integer, 0 implicit integer, 0 continuous)
2.17/2.27 c Constraints : 2028
2.17/2.27 c Constraints : Number
2.17/2.27 c knapsack : 788
2.17/2.27 c linear : 620
2.17/2.27 c logicor : 620
2.17/2.27 c ** Instance transfer method used: 0
2.27/2.34 c ** ParaScipInstance copy does not increase the number of variables. **
2.37/2.45 c LC is working with racing ramp-up and with rebuilding tree after racing.
2.37/2.45 c Nodes Active
2.37/2.45 c Time Nodes Left Solvers Best Integer Best Node Gap Best Node(S) Gap(S)
13.23/13.33 c 13 2 1 1 - 1458176.0000 -
20.41/20.58 c 21 3 2 1 - 1458176.0000 -
26.59/26.74 c 27 5 4 1 - 1458176.0000 -
35.97/36.15 c 36 8 7 1 - 1458176.0000 -
43.64/43.87 c 44 10 9 1 - 1458176.0000 -
52.50/52.78 c 53 12 11 1 - 1458176.0000 -
58.68/58.98 c 59 13 12 1 - 1458176.0000 -
64.46/64.70 c 65 16 15 1 - 1458176.0000 -
69.77/70.10 c 70 20 19 1 - 1458176.0000 -
75.63/75.96 c 76 21 20 1 - 1458176.0000 -
80.83/81.18 c 81 23 22 1 - 1458176.0000 -
87.59/87.90 c 88 27 26 1 - 1458176.0000 -
96.17/96.51 c 97 28 27 1 - 1458176.0000 -
101.45/101.85 c 102 30 29 1 - 1458176.0000 -
108.03/108.42 c 108 36 35 1 - 1458176.0000 -
114.01/114.47 c 114 41 40 1 - 1458176.0000 -
124.77/125.27 c 125 45 44 1 - 1458176.0000 -
130.35/130.86 c 131 47 46 1 - 1458176.0000 -
135.84/136.34 c 136 51 50 1 - 1458176.0000 -
148.31/148.87 c 149 55 54 1 - 1458176.0000 -
153.78/154.39 c 154 56 55 1 - 1458176.0000 -
158.86/159.49 c 160 61 60 1 - 1458176.0000 -
169.24/169.89 c 170 64 63 1 - 1458176.0000 -
174.92/175.55 c 176 70 69 1 - 1458176.0000 -
180.51/181.12 c 181 77 76 1 - 1458176.0000 -
187.56/188.24 c 188 84 83 1 - 1458176.0000 -
204.61/205.31 c 205 87 86 1 - 1458176.0000 -
210.88/211.65 c 212 90 89 1 - 1458176.0000 -
217.56/218.31 c 218 97 96 1 - 1458176.0000 -
231.02/231.82 c 232 103 102 1 - 1458176.0000 -
237.22/238.08 c 238 106 105 1 - 1458176.0000 -
243.20/244.08 c 244 111 110 1 - 1458176.0000 -
249.28/250.17 c 250 117 116 1 - 1458176.0000 -
255.16/256.10 c 256 122 121 1 - 1458176.0000 -
260.24/261.12 c 261 125 124 1 - 1458176.0000 -
267.01/267.99 c 268 132 131 1 - 1458176.0000 -
272.89/273.86 c 274 137 136 1 - 1458176.0000 -
277.96/278.98 c 279 142 141 1 - 1458176.0000 -
285.84/286.85 c 287 145 144 1 - 1458176.0000 -
290.92/291.94 c 292 147 146 1 - 1458176.0000 -
296.90/297.92 c 298 150 149 1 - 1458176.0000 -
302.00/303.02 c 303 152 151 1 - 1458176.0000 -
308.08/309.11 c 309 159 158 1 - 1458176.0000 -
318.94/320.02 c 320 163 162 1 - 1458176.0000 -
325.51/326.68 c 327 166 165 1 - 1458176.0000 -
330.59/331.78 c 332 172 171 1 - 1458176.0000 -
335.99/337.12 c 337 176 175 1 - 1458176.0000 -
348.94/350.13 c 350 180 179 1 - 1458176.0000 -
355.82/357.10 c 357 183 182 1 - 1458176.0000 -
361.69/362.99 c 363 185 184 1 - 1458176.0000 -
367.18/368.48 c 368 189 188 1 - 1458176.0000 -
373.15/374.41 c 374 194 193 1 - 1458176.0000 -
378.86/380.14 c 380 198 197 1 - 1458176.0000 -
384.63/385.97 c 386 202 201 1 - 1458176.0000 -
390.01/391.32 c 391 206 205 1 - 1458176.0000 -
394.99/396.32 c 396 209 208 1 - 1458176.0000 -
405.16/406.60 c 407 213 212 1 - 1458176.0000 -
411.14/412.59 c 413 215 214 1 - 1458176.0000 -
417.12/418.52 c 419 220 219 1 - 1458176.0000 -
422.80/424.23 c 424 225 224 1 - 1458176.0000 -
428.98/430.42 c 430 231 230 1 - 1458176.0000 -
434.36/435.83 c 436 237 236 1 - 1458176.0000 -
449.62/451.17 c 451 244 243 1 - 1458176.0000 -
455.60/457.18 c 457 251 250 1 - 1458176.0000 -
461.27/462.86 c 463 255 254 1 - 1458176.0000 -
467.46/469.06 c 469 260 259 1 - 1458176.0000 -
472.55/474.12 c 474 265 264 1 - 1458176.0000 -
477.82/479.46 c 479 270 269 1 - 1458176.0000 -
485.50/487.16 c 487 277 276 1 - 1458176.0000 -
492.07/493.70 c 494 283 282 1 - 1458176.0000 -
498.15/499.87 c 500 288 287 1 - 1458176.0000 -
503.13/504.89 c 505 292 291 1 - 1458176.0000 -
508.72/510.44 c 510 306 305 1 - 1458176.0000 -
513.90/515.63 c 516 309 308 1 - 1458176.0000 -
519.39/521.18 c 521 312 311 1 - 1458176.0000 -
525.06/526.82 c 527 317 316 1 - 1458176.0000 -
531.64/533.43 c 533 323 322 1 - 1458176.0000 -
538.42/540.27 c 540 328 327 1 - 1458176.0000 -
544.40/546.23 c 546 334 333 1 - 1458176.0000 -
550.09/551.95 c 552 343 342 1 - 1458176.0000 -
555.68/557.59 c 558 347 346 1 - 1458176.0000 -
561.55/563.40 c 563 351 350 1 - 1458176.0000 -
567.93/569.89 c 570 356 355 1 - 1458176.0000 -
574.01/575.92 c 576 363 362 1 - 1458176.0000 -
581.10/583.10 c 583 365 364 1 - 1458176.0000 -
586.67/588.61 c 589 369 368 1 - 1458176.0000 -
591.75/593.80 c 594 373 372 1 - 1458176.0000 -
598.05/600.01 c 600 375 374 1 - 1458176.0000 -
604.21/606.29 c 606 379 378 1 - 1458176.0000 -
610.39/612.41 c 612 383 382 1 - 1458176.0000 -
616.18/618.30 c 618 388 387 1 - 1458176.0000 -
621.66/623.73 c 624 394 393 1 - 1458176.0000 -
627.74/629.84 c 630 398 397 1 - 1458176.0000 -
633.82/635.99 c 636 404 403 1 - 1458176.0000 -
641.01/643.13 c 643 409 408 1 - 1458176.0000 -
646.08/648.21 c 648 411 410 1 - 1458176.0000 -
653.46/655.68 c 656 418 417 1 - 1458176.0000 -
660.14/662.36 c 662 424 423 1 - 1458176.0000 -
665.62/667.85 c 668 427 426 1 - 1458176.0000 -
676.90/679.14 c 679 432 431 1 - 1458176.0000 -
683.77/686.10 c 686 435 434 1 - 1458176.0000 -
689.04/691.31 c 691 445 444 1 - 1458176.0000 -
695.42/697.78 c 698 453 452 1 - 1458176.0000 -
701.20/703.53 c 704 456 455 1 - 1458176.0000 -
707.98/710.34 c 710 461 460 1 - 1458176.0000 -
715.86/718.22 c 718 465 464 1 - 1458176.0000 -
721.34/723.72 c 724 470 469 1 - 1458176.0000 -
727.42/729.88 c 730 474 473 1 - 1458176.0000 -
735.61/738.02 c 738 483 482 1 - 1458176.0000 -
741.78/744.21 c 744 487 486 1 - 1458176.0000 -
746.96/749.43 c 749 492 491 1 - 1458176.0000 -
753.84/756.36 c 756 495 494 1 - 1458176.0000 -
759.53/762.10 c 762 499 498 1 - 1458176.0000 -
764.71/767.21 c 767 503 502 1 - 1458176.0000 -
771.28/773.88 c 774 508 507 1 - 1458176.0000 -
776.58/779.13 c 779 512 511 1 - 1458176.0000 -
782.75/785.35 c 785 518 517 1 - 1458176.0000 -
789.72/792.33 c 792 526 525 1 - 1458176.0000 -
795.52/798.11 c 798 530 529 1 - 1458176.0000 -
800.79/803.49 c 803 534 533 1 - 1458176.0000 -
807.27/810.01 c 810 538 537 1 - 1458176.0000 -
815.73/818.41 c 818 541 540 1 - 1458176.0000 -
821.22/823.93 c 824 544 543 1 - 1458176.0000 -
827.79/830.53 c 831 547 546 1 - 1458176.0000 -
833.48/836.23 c 836 551 550 1 - 1458176.0000 -
840.95/843.71 c 844 554 553 1 - 1458176.0000 -
847.44/850.23 c 850 560 559 1 - 1458176.0000 -
853.24/856.11 c 856 564 563 1 - 1458176.0000 -
860.31/863.15 c 863 571 570 1 - 1458176.0000 -
866.08/868.97 c 869 575 574 1 - 1458176.0000 -
872.56/875.41 c 875 581 580 1 - 1458176.0000 -
881.33/884.26 c 884 584 583 1 - 1458176.0000 -
889.70/892.62 c 893 586 585 1 - 1458176.0000 -
895.10/898.06 c 898 589 588 1 - 1458176.0000 -
903.96/907.01 c 907 593 592 1 - 1458176.0000 -
911.33/914.36 c 914 595 594 1 - 1458176.0000 -
919.20/922.28 c 922 598 597 1 - 1458176.0000 -
924.58/927.64 c 928 600 599 1 - 1458176.0000 -
932.66/935.76 c 936 602 601 1 - 1458176.0000 -
946.31/949.42 c 949 604 603 1 - 1458176.0000 -
951.50/954.61 c 955 607 606 1 - 1458176.0000 -
958.57/961.76 c 962 610 609 1 - 1458176.0000 -
965.35/968.54 c 969 611 610 1 - 1458176.0000 -
972.73/975.93 c 976 614 613 1 - 1458176.0000 -
978.71/981.90 c 982 617 616 1 - 1458176.0000 -
985.29/988.53 c 989 624 623 1 - 1458176.0000 -
990.47/993.74 c 994 628 627 1 - 1458176.0000 -
998.15/1001.40 c 1001 630 629 1 - 1458176.0000 -
1003.44/1006.71 c 1007 631 630 1 - 1458176.0000 -
1009.32/1012.67 c 1013 638 637 1 - 1458176.0000 -
1019.69/1023.06 c 1023 642 641 1 - 1458176.0000 -
1025.86/1029.20 c 1029 645 644 1 - 1458176.0000 -
1032.54/1035.93 c 1036 646 645 1 - 1458176.0000 -
1038.82/1042.29 c 1042 650 649 1 - 1458176.0000 -
1044.41/1047.85 c 1048 656 655 1 - 1458176.0000 -
1051.28/1054.72 c 1055 659 658 1 - 1458176.0000 -
1060.16/1063.60 c 1064 662 661 1 - 1458176.0000 -
1066.04/1069.54 c 1070 665 664 1 - 1458176.0000 -
1072.02/1075.50 c 1076 667 666 1 - 1458176.0000 -
1082.19/1085.77 c 1086 669 668 1 - 1458176.0000 -
1087.48/1091.06 c 1091 671 670 1 - 1458176.0000 -
1093.95/1097.59 c 1098 675 674 1 - 1458176.0000 -
1105.22/1108.83 c 1109 678 677 1 - 1458176.0000 -
1112.41/1116.01 c 1116 681 680 1 - 1458176.0000 -
1119.57/1123.23 c 1123 685 684 1 - 1458176.0000 -
1125.75/1129.41 c 1129 691 690 1 - 1458176.0000 -
1132.34/1136.10 c 1136 696 695 1 - 1458176.0000 -
1137.43/1141.13 c 1141 699 698 1 - 1458176.0000 -
1143.50/1147.20 c 1147 705 704 1 - 1458176.0000 -
1148.98/1152.77 c 1153 711 710 1 - 1458176.0000 -
1155.96/1159.79 c 1160 718 717 1 - 1458176.0000 -
1161.74/1165.52 c 1166 723 722 1 - 1458176.0000 -
1167.82/1171.62 c 1172 731 730 1 - 1458176.0000 -
1173.10/1176.98 c 1177 734 733 1 - 1458176.0000 -
1178.98/1182.88 c 1183 737 736 1 - 1458176.0000 -
1185.06/1188.96 c 1189 739 738 1 - 1458176.0000 -
1194.63/1198.54 c 1199 743 742 1 - 1458176.0000 -
1203.80/1207.76 c 1208 746 745 1 - 1458176.0000 -
1209.68/1213.66 c 1214 751 750 1 - 1458176.0000 -
1216.17/1220.12 c 1220 757 756 1 - 1458176.0000 -
1222.23/1226.27 c 1226 762 761 1 - 1458176.0000 -
1228.02/1232.05 c 1232 764 763 1 - 1458176.0000 -
1233.69/1237.74 c 1238 766 765 1 - 1458176.0000 -
1239.37/1243.40 c 1243 769 768 1 - 1458176.0000 -
1245.25/1249.33 c 1249 771 770 1 - 1458176.0000 -
1251.42/1255.55 c 1256 774 773 1 - 1458176.0000 -
1259.10/1263.30 c 1263 776 775 1 - 1458176.0000 -
1264.48/1268.68 c 1269 780 779 1 - 1458176.0000 -
1270.86/1275.03 c 1275 784 783 1 - 1458176.0000 -
1277.33/1281.50 c 1282 787 786 1 - 1458176.0000 -
1287.49/1291.71 c 1292 793 792 1 - 1458176.0000 -
1294.78/1299.03 c 1299 797 796 1 - 1458176.0000 -
1301.24/1305.59 c 1306 803 802 1 - 1458176.0000 -
1307.12/1311.40 c 1311 807 806 1 - 1458176.0000 -
1313.70/1318.07 c 1318 810 809 1 - 1458176.0000 -
1319.07/1323.48 c 1323 813 812 1 - 1458176.0000 -
1327.54/1331.97 c 1332 818 817 1 - 1458176.0000 -
1333.52/1337.98 c 1338 822 821 1 - 1458176.0000 -
1339.40/1343.80 c 1344 829 828 1 - 1458176.0000 -
1345.88/1350.35 c 1350 834 833 1 - 1458176.0000 -
1350.96/1355.49 c 1355 837 836 1 - 1458176.0000 -
1359.23/1363.79 c 1364 841 840 1 - 1458176.0000 -
1366.41/1370.99 c 1371 844 843 1 - 1458176.0000 -
1372.39/1376.95 c 1377 846 845 1 - 1458176.0000 -
1377.97/1382.51 c 1383 850 849 1 - 1458176.0000 -
1383.06/1387.63 c 1388 853 852 1 - 1458176.0000 -
1388.56/1393.14 c 1393 856 855 1 - 1458176.0000 -
1394.32/1398.93 c 1399 860 859 1 - 1458176.0000 -
1399.91/1404.54 c 1405 864 863 1 - 1458176.0000 -
1405.89/1410.59 c 1411 870 869 1 - 1458176.0000 -
1411.07/1415.78 c 1416 873 872 1 - 1458176.0000 -
1416.37/1421.04 c 1421 877 876 1 - 1458176.0000 -
1421.74/1426.40 c 1426 880 879 1 - 1458176.0000 -
1426.92/1431.63 c 1432 885 884 1 - 1458176.0000 -
1432.31/1437.04 c 1437 889 888 1 - 1458176.0000 -
1437.49/1442.20 c 1442 892 891 1 - 1458176.0000 -
1442.67/1447.47 c 1447 895 894 1 - 1458176.0000 -
1451.36/1456.11 c 1456 902 901 1 - 1458176.0000 -
1458.12/1462.91 c 1463 906 905 1 - 1458176.0000 -
1463.91/1468.79 c 1469 909 908 1 - 1458176.0000 -
1469.69/1474.53 c 1475 913 912 1 - 1458176.0000 -
1477.27/1482.16 c 1482 918 917 1 - 1458176.0000 -
1484.64/1489.51 c 1490 923 922 1 - 1458176.0000 -
1495.70/1500.60 c 1501 925 924 1 - 1458176.0000 -
1502.87/1507.88 c 1508 926 925 1 - 1458176.0000 -
1512.83/1517.84 c 1518 927 926 1 - 1458176.0000 -
1520.02/1525.06 c 1525 928 927 1 - 1458176.0000 -
1525.68/1530.73 c 1531 932 931 1 - 1458176.0000 -
1537.74/1542.88 c 1543 936 935 1 - 1458176.0000 -
1544.41/1549.57 c 1550 939 938 1 - 1458176.0000 -
1551.59/1556.73 c 1557 942 941 1 - 1458176.0000 -
1556.57/1561.78 c 1562 946 945 1 - 1458176.0000 -
1562.15/1567.35 c 1567 952 951 1 - 1458176.0000 -
1568.62/1573.84 c 1574 957 956 1 - 1458176.0000 -
1574.11/1579.38 c 1579 960 959 1 - 1458176.0000 -
1579.39/1584.67 c 1585 963 962 1 - 1458176.0000 -
1586.26/1591.50 c 1592 970 969 1 - 1458176.0000 -
1591.54/1596.87 c 1597 980 979 1 - 1458176.0000 -
1599.72/1605.01 c 1605 985 984 1 - 1458176.0000 -
1604.89/1610.21 c 1610 987 986 1 - 1458176.0000 -
1611.17/1616.54 c 1617 992 991 1 - 1458176.0000 -
1618.04/1623.41 c 1623 997 996 1 - 1458176.0000 -
1623.52/1628.98 c 1629 1002 1001 1 - 1458176.0000 -
1629.90/1635.31 c 1635 1004 1003 1 - 1458176.0000 -
1635.88/1641.30 c 1641 1007 1006 1 - 1458176.0000 -
1643.25/1648.77 c 1649 1010 1009 1 - 1458176.0000 -
1649.24/1654.72 c 1655 1016 1015 1 - 1458176.0000 -
1656.71/1662.20 c 1662 1025 1024 1 - 1458176.0000 -
1662.61/1668.18 c 1668 1028 1027 1 - 1458176.0000 -
1667.78/1673.37 c 1673 1032 1031 1 - 1458176.0000 -
1674.47/1680.07 c 1680 1033 1032 1 - 1458176.0000 -
1680.55/1686.14 c 1686 1039 1038 1 - 1458176.0000 -
1687.12/1692.76 c 1693 1042 1041 1 - 1458176.0000 -
1693.30/1698.95 c 1699 1046 1045 1 - 1458176.0000 -
1699.49/1705.11 c 1705 1050 0 1 - 1458176.0000 -
1706.66/1712.31 c 1712 1056 6 1 - 1458176.0000 -
1712.14/1717.88 c 1718 1057 7 1 - 1458176.0000 -
1717.91/1723.65 c 1724 1069 19 1 - 1458176.0000 -
1723.00/1728.79 c 1729 1074 24 1 - 1458176.0000 -
1729.78/1735.57 c 1736 1077 27 1 - 1458176.0000 -
1738.55/1744.37 c 1744 1081 31 1 - 1458176.0000 -
1744.43/1750.22 c 1750 1083 33 1 - 1458176.0000 -
1750.23/1756.06 c 1756 1091 41 1 - 1458176.0000 -
1757.80/1763.69 c 1764 1096 46 1 - 1458176.0000 -
1766.07/1771.91 c 1772 1101 51 1 - 1458176.0000 -
1772.26/1778.12 c 1778 1112 62 1 - 1458176.0000 -
1780.42/1786.35 c 1786 1116 66 1 - 1458176.0000 -
1786.30/1792.29 c 1792 1123 73 1 - 1458176.0000 -
1792.48/1798.48 c 1798 1126 76 1 - 1458176.0000 -
1800.46/1806.48 c 1806 1129 79 1 - 1458176.0000 -
1805.64/1811.69 c 1812 1138 88 1 - 1458176.0000 -
1811.52/1817.58 c 1818 1141 91 1 - 1458176.0000 -
1817.31/1823.31 c 1823 1143 93 1 - 1458176.0000 -
1822.30/1828.36 c 1828 1145 95 1 - 1458176.0000 -
1828.09/1834.17 c 1834 1151 101 1 - 1458176.0000 -
1833.66/1839.70 c 1840 1156 106 1 - 1458176.0000 -
1838.74/1844.82 c 1845 1158 108 1 - 1458176.0000 -
1844.32/1850.47 c 1850 1165 115 1 - 1458176.0000 -
1855.38/1861.53 c 1862 1169 119 1 - 1458176.0000 -
1861.97/1868.11 c 1868 1174 124 1 - 1458176.0000 -
1867.54/1873.72 c 1874 1175 125 1 - 1458176.0000 -
1874.21/1880.42 c 1880 1177 127 1 - 1458176.0000 -
1880.29/1886.54 c 1887 1179 129 1 - 1458176.0000 -
1887.66/1893.96 c 1894 1181 131 1 - 1458176.0000 -
1893.85/1900.13 c 1900 1183 133 1 - 1458176.0000 -
1900.31/1906.62 c 1907 1185 135 1 - 1458176.0000 -
1907.60/1913.93 c 1914 1195 145 1 - 1458176.0000 -
1913.78/1920.16 c 1920 1200 150 1 - 1458176.0000 -
1919.45/1925.89 c 1926 1207 157 1 - 1458176.0000 -
1924.53/1930.99 c 1931 1214 164 1 - 1458176.0000 -
1930.91/1937.35 c 1937 1224 174 1 - 1458176.0000 -
1936.19/1942.66 c 1943 1227 177 1 - 1458176.0000 -
1943.16/1949.68 c 1950 1233 183 1 - 1458176.0000 -
1948.55/1955.07 c 1955 1243 193 1 - 1458176.0000 -
1954.02/1960.52 c 1961 1249 199 1 - 1458176.0000 -
1959.90/1966.47 c 1966 1259 209 1 - 1458176.0000 -
1966.67/1973.21 c 1973 1273 223 1 - 1458176.0000 -
1972.25/1978.89 c 1979 1276 226 1 - 1458176.0000 -
1978.13/1984.77 c 1985 1281 231 1 - 1458176.0000 -
1985.00/1991.64 c 1992 1282 232 1 - 1458176.0000 -
1995.86/2002.54 c 2003 1288 238 1 - 1458176.0000 -
2004.93/2011.69 c 2012 1297 247 1 - 1458176.0000 -
2010.92/2017.69 c 2018 1302 252 1 - 1458176.0000 -
2016.49/2023.30 c 2023 1305 255 1 - 1458176.0000 -
2024.96/2031.73 c 2032 1312 262 1 - 1458176.0000 -
2031.44/2038.26 c 2038 1317 267 1 - 1458176.0000 -
2037.91/2044.70 c 2045 1319 269 1 - 1458176.0000 -
2045.20/2052.02 c 2052 1328 278 1 - 1458176.0000 -
2051.56/2058.47 c 2058 1333 283 1 - 1458176.0000 -
2056.94/2063.84 c 2064 1336 286 1 - 1458176.0000 -
2064.01/2070.90 c 2071 1340 290 1 - 1458176.0000 -
2069.11/2076.07 c 2076 1342 292 1 - 1458176.0000 -
2077.87/2084.80 c 2085 1348 298 1 - 1458176.0000 -
2084.54/2091.51 c 2092 1358 308 1 - 1458176.0000 -
2089.52/2096.57 c 2097 1362 312 1 - 1458176.0000 -
2095.20/2102.26 c 2102 1367 317 1 - 1458176.0000 -
2100.99/2108.01 c 2108 1374 324 1 - 1458176.0000 -
2107.15/2114.28 c 2114 1380 330 1 - 1458176.0000 -
2113.94/2121.08 c 2121 1393 343 1 - 1458176.0000 -
2119.41/2126.58 c 2127 1395 345 1 - 1458176.0000 -
2124.79/2131.99 c 2132 1400 350 1 - 1458176.0000 -
2130.08/2137.27 c 2137 1403 353 1 - 1458176.0000 -
2135.46/2142.64 c 2143 1406 356 1 - 1458176.0000 -
2144.85/2152.07 c 2152 1410 360 1 - 1458176.0000 -
2150.93/2158.15 c 2158 1412 362 1 - 1458176.0000 -
2157.09/2164.35 c 2164 1415 365 1 - 1458176.0000 -
2162.89/2170.16 c 2170 1417 367 1 - 1458176.0000 -
2169.46/2176.77 c 2177 1419 369 1 - 1458176.0000 -
2175.14/2182.42 c 2182 1421 371 1 - 1458176.0000 -
2180.62/2187.92 c 2188 1425 375 1 - 1458176.0000 -
2188.70/2196.04 c 2196 1428 378 1 - 1458176.0000 -
2194.78/2202.19 c 2202 1431 381 1 - 1458176.0000 -
2212.21/2219.60 c 2220 1434 384 1 - 1458176.0000 -
2219.28/2226.71 c 2227 1436 386 1 - 1458176.0000 -
2224.57/2232.02 c 2232 1438 388 1 - 1458176.0000 -
2229.74/2237.22 c 2237 1440 390 1 - 1458176.0000 -
2241.31/2248.84 c 2249 1442 392 1 - 1458176.0000 -
2247.29/2254.85 c 2255 1443 393 1 - 1458176.0000 -
2256.15/2263.71 c 2264 1444 394 1 - 1458176.0000 -
2261.93/2269.56 c 2270 1445 395 1 - 1458176.0000 -
2272.51/2280.14 c 2280 1446 396 1 - 1458176.0000 -
2277.57/2285.27 c 2285 1449 399 1 - 1458176.0000 -
2285.46/2293.17 c 2293 1453 403 1 - 1458176.0000 -
2291.12/2298.86 c 2299 1457 407 1 - 1458176.0000 -
2300.19/2307.97 c 2308 1459 409 1 - 1458176.0000 -
2309.55/2317.33 c 2317 1464 414 1 - 1458176.0000 -
2316.14/2323.91 c 2324 1466 416 1 - 1458176.0000 -
2323.41/2331.26 c 2331 1469 419 1 - 1458176.0000 -
2336.46/2344.39 c 2344 1470 420 1 - 1458176.0000 -
2341.94/2349.85 c 2350 1473 423 1 - 1458176.0000 -
2352.81/2360.78 c 2361 1475 425 1 - 1458176.0000 -
2358.78/2366.76 c 2367 1479 429 1 - 1458176.0000 -
2366.46/2374.45 c 2374 1482 432 1 - 1458176.0000 -
2371.73/2379.71 c 2380 1484 434 1 - 1458176.0000 -
2379.12/2387.14 c 2387 1489 439 1 - 1458176.0000 -
2394.86/2402.96 c 2403 1490 440 1 - 1458176.0000 -
2400.83/2408.90 c 2409 1495 445 1 - 1458176.0000 -
2405.82/2413.99 c 2414 1505 455 1 - 1458176.0000 -
2411.79/2419.95 c 2420 1510 460 1 - 1458176.0000 -
2417.67/2425.82 c 2426 1514 464 1 - 1458176.0000 -
2423.65/2431.82 c 2432 1519 469 1 - 1458176.0000 -
2431.63/2439.83 c 2440 1523 473 1 - 1458176.0000 -
2437.72/2445.98 c 2446 1525 475 1 - 1458176.0000 -
2445.90/2454.12 c 2454 1531 481 1 - 1458176.0000 -
2452.78/2461.04 c 2461 1533 483 1 - 1458176.0000 -
2458.35/2466.64 c 2467 1536 486 1 - 1458176.0000 -
2466.74/2475.03 c 2475 1539 489 1 - 1458176.0000 -
2473.30/2481.63 c 2482 1547 497 1 - 1458176.0000 -
2483.37/2491.79 c 2492 1550 500 1 - 1458176.0000 -
2490.15/2498.55 c 2499 1551 501 1 - 1458176.0000 -
2495.13/2503.57 c 2504 1555 505 1 - 1458176.0000 -
2500.73/2509.11 c 2509 1560 510 1 - 1458176.0000 -
2507.00/2515.45 c 2515 1564 514 1 - 1458176.0000 -
2512.08/2520.50 c 2521 1570 520 1 - 1458176.0000 -
2518.46/2526.94 c 2527 1575 525 1 - 1458176.0000 -
2523.94/2532.49 c 2532 1578 528 1 - 1458176.0000 -
2529.13/2537.64 c 2538 1582 532 1 - 1458176.0000 -
2535.31/2543.84 c 2544 1584 534 1 - 1458176.0000 -
2552.57/2561.13 c 2561 1588 538 1 - 1458176.0000 -
2559.24/2567.88 c 2568 1589 539 1 - 1458176.0000 -
2570.10/2578.74 c 2579 1592 542 1 - 1458176.0000 -
2578.08/2586.74 c 2587 1594 544 1 - 1458176.0000 -
2586.85/2595.57 c 2596 1596 546 1 - 1458176.0000 -
2595.12/2603.85 c 2604 1597 547 1 - 1458176.0000 -
2601.90/2610.65 c 2611 1599 549 1 - 1458176.0000 -
2607.19/2615.93 c 2616 1602 552 1 - 1458176.0000 -
2613.38/2622.17 c 2622 1606 556 1 - 1458176.0000 -
2620.05/2628.83 c 2629 1619 569 1 - 1458176.0000 -
2625.63/2634.41 c 2634 1622 572 1 - 1458176.0000 -
2632.11/2640.94 c 2641 1624 574 1 - 1458176.0000 -
2637.69/2646.52 c 2647 1626 576 1 - 1458176.0000 -
2653.34/2662.27 c 2662 1630 580 1 - 1458176.0000 -
2660.24/2669.17 c 2669 1632 582 1 - 1458176.0000 -
2665.91/2674.81 c 2675 1634 584 1 - 1458176.0000 -
2673.20/2682.18 c 2682 1639 589 1 - 1458176.0000 -
2679.57/2688.59 c 2689 1641 591 1 - 1458176.0000 -
2688.44/2697.48 c 2697 1646 596 1 - 1458176.0000 -
2693.52/2702.51 c 2703 1657 607 1 - 1458176.0000 -
2700.30/2709.33 c 2709 1665 615 1 - 1458176.0000 -
2710.47/2719.58 c 2720 1670 620 1 - 1458176.0000 -
2716.96/2726.03 c 2726 1673 623 1 - 1458176.0000 -
2723.33/2732.47 c 2732 1677 627 1 - 1458176.0000 -
2729.11/2738.20 c 2738 1679 629 1 - 1458176.0000 -
2735.90/2745.05 c 2745 1681 631 1 - 1458176.0000 -
2740.99/2750.13 c 2750 1688 638 1 - 1458176.0000 -
2746.06/2755.21 c 2755 1696 646 1 - 1458176.0000 -
2751.24/2760.43 c 2760 1698 648 1 - 1458176.0000 -
2756.94/2766.15 c 2766 1700 650 1 - 1458176.0000 -
2763.91/2773.11 c 2773 1702 652 1 - 1458176.0000 -
2768.90/2778.18 c 2778 1704 654 1 - 1458176.0000 -
2775.47/2784.79 c 2785 1706 656 1 - 1458176.0000 -
2781.65/2790.91 c 2791 1718 668 1 - 1458176.0000 -
2787.23/2796.57 c 2797 1722 672 1 - 1458176.0000 -
2794.31/2803.67 c 2804 1725 675 1 - 1458176.0000 -
2801.70/2811.10 c 2811 1727 677 1 - 1458176.0000 -
2808.87/2818.25 c 2818 1729 679 1 - 1458176.0000 -
2817.76/2827.12 c 2827 1730 680 1 - 1458176.0000 -
2831.30/2840.77 c 2841 1732 682 1 - 1458176.0000 -
2838.48/2847.99 c 2848 1734 684 1 - 1458176.0000 -
2846.16/2855.63 c 2856 1736 686 1 - 1458176.0000 -
2852.94/2862.41 c 2862 1738 688 1 - 1458176.0000 -
2858.02/2867.52 c 2868 1739 689 1 - 1458176.0000 -
2863.40/2872.94 c 2873 1740 690 1 - 1458176.0000 -
2869.50/2879.10 c 2879 1742 692 1 - 1458176.0000 -
2875.96/2885.52 c 2886 1755 705 1 - 1458176.0000 -
2881.25/2890.89 c 2891 1757 707 1 - 1458176.0000 -
2886.83/2896.45 c 2896 1759 709 1 - 1458176.0000 -
2892.01/2901.61 c 2902 1760 710 1 - 1458176.0000 -
2897.70/2907.36 c 2907 1762 712 1 - 1458176.0000 -
2904.57/2914.22 c 2914 1763 713 1 - 1458176.0000 -
2909.96/2919.65 c 2920 1765 715 1 - 1458176.0000 -
2915.24/2924.94 c 2925 1768 718 1 - 1458176.0000 -
2922.91/2932.69 c 2933 1773 723 1 - 1458176.0000 -
2930.69/2940.43 c 2940 1777 727 1 - 1458176.0000 -
2936.67/2946.45 c 2946 1786 736 1 - 1458176.0000 -
2942.95/2952.77 c 2953 1797 747 1 - 1458176.0000 -
2949.03/2958.86 c 2959 1798 748 1 - 1458176.0000 -
2954.81/2964.61 c 2965 1801 751 1 - 1458176.0000 -
2960.00/2969.87 c 2970 1803 753 1 - 1458176.0000 -
2966.19/2976.04 c 2976 1807 757 1 - 1458176.0000 -
2971.76/2981.61 c 2982 1810 760 1 - 1458176.0000 -
2978.84/2988.76 c 2989 1813 763 1 - 1458176.0000 -
2984.63/2994.59 c 2995 1818 768 1 - 1458176.0000 -
2990.31/3000.23 c 3000 1820 770 1 - 1458176.0000 -
2996.89/3006.83 c 3007 1822 772 1 - 1458176.0000 -
3002.97/3013.01 c 3013 1824 774 1 - 1458176.0000 -
3010.06/3020.07 c 3020 1827 777 1 - 1458176.0000 -
3016.53/3026.58 c 3027 1828 778 1 - 1458176.0000 -
3022.51/3032.51 c 3033 1830 780 1 - 1458176.0000 -
3029.00/3039.10 c 3039 1833 783 1 - 1458176.0000 -
3034.77/3044.86 c 3045 1835 785 1 - 1458176.0000 -
3040.07/3050.12 c 3050 1837 787 1 - 1458176.0000 -
3045.64/3055.75 c 3056 1841 791 1 - 1458176.0000 -
3050.93/3061.01 c 3061 1845 795 1 - 1458176.0000 -
3056.20/3066.37 c 3066 1850 800 1 - 1458176.0000 -
3063.89/3074.03 c 3074 1857 807 1 - 1458176.0000 -
3069.97/3080.17 c 3080 1861 811 1 - 1458176.0000 -
3077.24/3087.48 c 3087 1868 818 1 - 1458176.0000 -
3082.52/3092.75 c 3093 1874 824 1 - 1458176.0000 -
3089.40/3099.67 c 3100 1878 828 1 - 1458176.0000 -
3095.79/3106.10 c 3106 1881 831 1 - 1458176.0000 -
3103.87/3114.12 c 3114 1889 839 1 - 1458176.0000 -
3110.13/3120.41 c 3120 1892 842 1 - 1458176.0000 -
3116.82/3127.12 c 3127 1901 851 1 - 1458176.0000 -
3123.39/3133.70 c 3134 1909 859 1 - 1458176.0000 -
3128.98/3139.39 c 3139 1915 865 1 - 1458176.0000 -
3135.67/3146.04 c 3146 1920 870 1 - 1458176.0000 -
3140.76/3151.15 c 3151 1928 878 1 - 1458176.0000 -
3147.42/3157.88 c 3158 1934 884 1 - 1458176.0000 -
3152.81/3163.23 c 3163 1948 898 1 - 1458176.0000 -
3159.98/3170.44 c 3170 1964 914 1 - 1458176.0000 -
3165.97/3176.42 c 3176 1975 925 1 - 1458176.0000 -
3174.34/3184.81 c 3185 1978 928 1 - 1458176.0000 -
3179.82/3190.39 c 3190 1982 932 1 - 1458176.0000 -
3185.01/3195.55 c 3196 1985 935 1 - 1458176.0000 -
3190.50/3201.07 c 3201 2003 953 1 - 1458176.0000 -
3195.67/3206.25 c 3206 2006 956 1 - 1458176.0000 -
3202.25/3212.80 c 3213 2011 961 1 - 1458176.0000 -
3207.73/3218.30 c 3218 2013 963 1 - 1458176.0000 -
3215.11/3225.70 c 3226 2019 969 1 - 1458176.0000 -
3225.58/3236.24 c 3236 2030 980 1 - 1458176.0000 -
3231.76/3242.43 c 3242 2034 984 1 - 1458176.0000 -
3237.45/3248.18 c 3248 2036 986 1 - 1458176.0000 -
3244.82/3255.57 c 3256 2041 991 1 - 1458176.0000 -
3250.70/3261.46 c 3261 2044 994 1 - 1458176.0000 -
3256.58/3267.31 c 3267 2054 1004 1 - 1458176.0000 -
3262.56/3273.39 c 3273 2066 1016 1 - 1458176.0000 -
3267.75/3278.54 c 3279 2074 1024 1 - 1458176.0000 -
3273.24/3284.07 c 3284 2077 1027 1 - 1458176.0000 -
3279.41/3290.20 c 3290 2081 1031 1 - 1458176.0000 -
3284.99/3295.80 c 3296 2092 1042 1 - 1458176.0000 -
3291.07/3301.91 c 3302 2102 1052 1 - 1458176.0000 -
3297.85/3308.71 c 3309 2110 1060 1 - 1458176.0000 -
3303.54/3314.44 c 3314 2114 1064 1 - 1458176.0000 -
3308.72/3319.62 c 3320 2118 1068 1 - 1458176.0000 -
3313.70/3324.68 c 3325 2122 1072 1 - 1458176.0000 -
3320.58/3331.53 c 3332 2128 1078 1 - 1458176.0000 -
3325.57/3336.56 c 3337 2133 1083 1 - 1458176.0000 -
3333.84/3344.86 c 3345 2138 1088 1 - 1458176.0000 -
3340.53/3351.58 c 3352 2141 1091 1 - 1458176.0000 -
3346.21/3357.23 c 3357 2149 1099 1 - 1458176.0000 -
3351.49/3362.57 c 3363 2155 1105 1 - 1458176.0000 -
3356.88/3367.94 c 3368 2160 1110 1 - 1458176.0000 -
3362.56/3373.62 c 3374 2164 1114 1 - 1458176.0000 -
3369.74/3380.81 c 3381 2168 1118 1 - 1458176.0000 -
3375.03/3386.13 c 3386 2173 1123 1 - 1458176.0000 -
3382.40/3393.57 c 3394 2178 1128 1 - 1458176.0000 -
3389.57/3400.74 c 3401 2180 1130 1 - 1458176.0000 -
3395.55/3406.79 c 3407 2183 1133 1 - 1458176.0000 -
3401.04/3412.22 c 3412 2186 1136 1 - 1458176.0000 -
3406.02/3417.23 c 3417 2189 1139 1 - 1458176.0000 -
3411.40/3422.69 c 3423 2194 1144 1 - 1458176.0000 -
3417.08/3428.30 c 3428 2202 1152 1 - 1458176.0000 -
3423.77/3435.02 c 3435 2206 1156 1 - 1458176.0000 -
3429.44/3440.74 c 3441 2210 1160 1 - 1458176.0000 -
3437.22/3448.55 c 3449 2214 1164 1 - 1458176.0000 -
3444.30/3455.66 c 3456 2217 1167 1 - 1458176.0000 -
3450.38/3461.71 c 3462 2219 1169 1 - 1458176.0000 -
3459.14/3470.57 c 3471 2222 1172 1 - 1458176.0000 -
3466.42/3477.89 c 3478 2224 1174 1 - 1458176.0000 -
3474.39/3485.88 c 3486 2227 1177 1 - 1458176.0000 -
3480.68/3492.14 c 3492 2229 1179 1 - 1458176.0000 -
3486.44/3497.97 c 3498 2230 1180 1 - 1458176.0000 -
3494.21/3505.79 c 3506 2233 1183 1 - 1458176.0000 -
3501.79/3513.35 c 3513 2235 1185 1 - 1458176.0000 -
3508.66/3520.20 c 3520 2238 1188 1 - 1458176.0000 -
3516.63/3528.28 c 3528 2240 1190 1 - 1458176.0000 -
3523.71/3535.33 c 3535 2242 1192 1 - 1458176.0000 -
3531.18/3542.81 c 3543 2245 1195 1 - 1458176.0000 -
3537.76/3549.40 c 3549 2247 1197 1 - 1458176.0000 -
3544.13/3555.82 c 3556 2250 1200 1 - 1458176.0000 -
3550.52/3562.28 c 3562 2254 1204 1 - 1458176.0000 -
3556.50/3568.29 c 3568 2256 1206 1 - 1458176.0000 -
3566.16/3577.97 c 3578 2260 1210 1 - 1458176.0000 -
3571.84/3583.66 c 3584 2272 1222 1 - 1458176.0000 -
3577.12/3589.01 c 3589 2275 1225 1 - 1458176.0000 -
3584.00/3595.84 c 3596 2278 1228 1 - 1458176.0000 -
3586.30/3598.14 c SCIP Status : c solving was interrupted [hard time limit reached]
3586.30/3598.14 c Total Time : 3598.1500
3586.30/3598.14 c solving : 3598.1500
3586.30/3598.14 c presolving : 1.6140 (included in solving)
3586.30/3598.14 c B&B Tree :
3586.30/3598.14 c nodes (total) : 1
3586.30/3598.14 c Solution :
3586.30/3598.14 c Solutions found : 0
3586.30/3598.14 c Primal Bound : -
3586.30/3598.14 c Dual Bound : +1.45817600000000e+06
3586.30/3598.14 c Gap : -
3586.49/3598.37 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: 64096 MiB (62336 MiB free)
memory of node 1: 64473 MiB (62674 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4463907-1722378594/watcher-4463907-1722378594 -o /tmp/evaluation-result-4463907-1722378594/solver-4463907-1722378594 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1722378594-28498 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4463907-1722378594.opb -qsol -t 3600 -sth 1
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=28556, runsolver pid=28545
[startup+0.100819 s]*
/proc/loadavg: 0.11 0.12 0.09 9/250 28566
/proc/meminfo: memFree=127922676/131655788 swapFree=131071996/131071996
[pid=28556] ppid=28545 vsize=73632 memory=60180 CPUtime=0.11 cores=0,2
/proc/28556/stat : 28556 (fscip) R 28545 28556 28487 0 -1 4194304 12914 0 0 0 6 5 0 0 20 0 1 0 4456450 75399168 15045 134679101440 4194304 16623229 140736259140160 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 30490624 140736259146774 140736259146890 140736259146890 140736259153904 0
/proc/28556/statm: 18408 15045 2347 3035 0 14804 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 73632 KiB
Current children cumulated memory: 60180 KiB
[startup+0.215726 s]*
/proc/loadavg: 0.11 0.12 0.09 6/250 28566
/proc/meminfo: memFree=127892236/131655788 swapFree=131071996/131071996
[pid=28556] ppid=28545 vsize=97928 memory=82644 CPUtime=0.22 cores=0,2
/proc/28556/stat : 28556 (fscip) R 28545 28556 28487 0 -1 4194304 18576 0 0 0 15 7 0 0 20 0 1 0 4456450 100278272 20661 134679101440 4194304 16623229 140736259140160 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 30490624 140736259146774 140736259146890 140736259146890 140736259153904 0
/proc/28556/statm: 24482 20661 2347 3035 0 20878 0
Current children cumulated CPU time: 0.22 s
Current children cumulated vsize: 97928 KiB
Current children cumulated memory: 82644 KiB
[startup+0.315637 s]*
/proc/loadavg: 0.11 0.12 0.09 9/250 28566
/proc/meminfo: memFree=127855600/131655788 swapFree=131071996/131071996
[pid=28556] ppid=28545 vsize=115480 memory=100172 CPUtime=0.32 cores=0,2
/proc/28556/stat : 28556 (fscip) R 28545 28556 28487 0 -1 4194304 22942 0 0 0 23 9 0 0 20 0 1 0 4456450 118251520 25043 134679101440 4194304 16623229 140736259140160 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 30490624 140736259146774 140736259146890 140736259146890 140736259153904 0
/proc/28556/statm: 28870 25043 2347 3035 0 25266 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 115480 KiB
Current children cumulated memory: 100172 KiB
[startup+0.700394 s]
/proc/loadavg: 0.11 0.12 0.09 8/250 28566
/proc/meminfo: memFree=127785784/131655788 swapFree=131071996/131071996
[pid=28556] ppid=28545 vsize=229120 memory=209984 CPUtime=0.68 cores=0,2
/proc/28556/stat : 28556 (fscip) R 28545 28556 28487 0 -1 4194304 52787 0 0 0 49 19 0 0 20 0 1 0 4456450 234618880 52496 134679101440 4194304 16623229 140736259140160 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 30490624 140736259146774 140736259146890 140736259146890 140736259153904 0
/proc/28556/statm: 57280 52496 2598 3035 0 53676 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 229120 KiB
Current children cumulated memory: 209984 KiB
[startup+1.50035 s]
/proc/loadavg: 0.11 0.12 0.09 8/252 28568
/proc/meminfo: memFree=127686536/131655788 swapFree=131071996/131071996
[pid=28556] ppid=28545 vsize=290768 memory=270172 CPUtime=1.48 cores=0,2
/proc/28556/stat : 28556 (fscip) R 28545 28556 28487 0 -1 4194304 74549 0 0 0 123 25 0 0 20 0 1 0 4456450 297746432 67543 134679101440 4194304 16623229 140736259140160 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 30490624 140736259146774 140736259146890 140736259146890 140736259153904 0
/proc/28556/statm: 72692 67543 2758 3035 0 69088 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 290768 KiB
Current children cumulated memory: 270172 KiB
[startup+3.111 s]
/proc/loadavg: 0.11 0.12 0.09 6/252 28664
/proc/meminfo: memFree=127400200/131655788 swapFree=131071996/131071996
[pid=28556] ppid=28545 vsize=646548 memory=478284 CPUtime=3.08 cores=0,2
/proc/28556/stat : 28556 (fscip) S 28545 28556 28487 0 -1 1077936128 128672 0 0 0 268 40 0 0 20 0 3 0 4456450 662065152 119571 134679101440 4194304 16623229 140736259140160 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 30490624 140736259146774 140736259146890 140736259146890 140736259153904 0
/proc/28556/statm: 161637 119571 2806 3035 0 141729 0
[pid=28556/tid=28613] ppid=28545 vsize=646548 memory=451108 CPUtime=0.75 cores=0,2
/proc/28556/task/28613/stat : 28613 (fscip) R 28545 28556 28487 0 -1 4194368 33292 0 0 0 65 10 0 0 20 0 3 0 4456678 662065152 119571 134679101440 4194304 16623229 140736259140160 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 30490624 140736259146774 140736259146890 140736259146890 140736259153904 0
[pid=28556/tid=28621] ppid=28545 vsize=646548 memory=0 CPUtime=0 cores=0,2
/proc/28556/task/28621/stat : 28621 (fscip) S 28545 28556 28487 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 4456697 662065152 119571 134679101440 4194304 16623229 140736259140160 0 0 0 0 0 2 1 0 0 -1 0 0 0 0 0 0 18838560 18947056 30490624 140736259146774 140736259146890 140736259146890 140736259153904 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 646548 KiB
Current children cumulated memory: 478284 KiB
[startup+6.30038 s]
/proc/loadavg: 0.50 0.20 0.12 6/254 28714
/proc/meminfo: memFree=127063936/131655788 swapFree=131071996/131071996
[pid=28556] ppid=28545 vsize=790212 memory=623408 CPUtime=6.26 cores=0,2
/proc/28556/stat : 28556 (fscip) S 28545 28556 28487 0 -1 1077936128 192368 0 0 0 571 55 0 0 20 0 3 0 4456450 809177088 155852 134679101440 4194304 16623229 140736259140160 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 30490624 140736259146774 140736259146890 140736259146890 140736259153904 0
/proc/28556/statm: 197553 155852 2934 3035 0 179509 0
[pid=28556/tid=28613] ppid=28545 vsize=790212 memory=0 CPUtime=3.93 cores=0,2
/proc/28556/task/28613/stat : 28613 (fscip) R 28545 28556 28487 0 -1 4194368 96983 0 0 0 368 25 0 0 20 0 3 0 4456678 809177088 155852 134679101440 4194304 16623229 140736259140160 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 30490624 140736259146774 140736259146890 140736259146890 140736259153904 0
[pid=28556/tid=28621] ppid=28545 vsize=790212 memory=4571041066297100398 CPUtime=0 cores=0,2
/proc/28556/task/28621/stat : 28621 (fscip) S 28545 28556 28487 0 -1 1077936192 5 0 0 0 0 0 0 0 20 0 3 0 4456697 809177088 155852 134679101440 4194304 16623229 140736259140160 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 30490624 140736259146774 140736259146890 140736259146890 140736259153904 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 790212 KiB
Current children cumulated memory: 623408 KiB
[startup+12.7004 s]
/proc/loadavg: 0.78 0.26 0.14 6/254 28716
/proc/meminfo: memFree=126888740/131655788 swapFree=131071996/131071996
[pid=28556] ppid=28545 vsize=840892 memory=711720 CPUtime=12.63 cores=0,2
/proc/28556/stat : 28556 (fscip) S 28545 28556 28487 0 -1 1077936128 228473 0 0 0 1205 58 0 0 20 0 3 0 4456450 861073408 177930 134679101440 4194304 16623229 140736259140160 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 30490624 140736259146774 140736259146890 140736259146890 140736259153904 0
/proc/28556/statm: 210223 177930 3302 3035 0 201199 0
[pid=28556/tid=28613] ppid=28545 vsize=840892 memory=11440 CPUtime=10.3 cores=0,2
/proc/28556/task/28613/stat : 28613 (fscip) R 28545 28556 28487 0 -1 4194368 133081 0 0 0 1002 28 0 0 20 0 3 0 4456678 861073408 177930 134679101440 4194304 16623229 140736259140160 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 30490624 140736259146774 140736259146890 140736259146890 140736259153904 0
[pid=28556/tid=28621] ppid=28545 vsize=840892 memory=12860 CPUtime=0 cores=0,2
/proc/28556/task/28621/stat : 28621 (fscip) S 28545 28556 28487 0 -1 1077936192 12 0 0 0 0 0 0 0 20 0 3 0 4456697 861073408 177930 134679101440 4194304 16623229 140736259140160 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 30490624 140736259146774 140736259146890 140736259146890 140736259153904 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 840892 KiB
Current children cumulated memory: 711720 KiB
[startup+25.5003 s]
/proc/loadavg: 1.50 0.44 0.20 6/254 28765
/proc/meminfo: memFree=126910556/131655788 swapFree=131071996/131071996
[pid=28556] ppid=28545 vsize=840892 memory=712432 CPUtime=25.39 cores=0,2
/proc/28556/stat : 28556 (fscip) S 28545 28556 28487 0 -1 1077936128 263433 0 0 0 2479 60 0 0 20 0 3 0 4456450 861073408 178108 134679101440 4194304 16623229 140736259140160 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 30490624 140736259146774 140736259146890 140736259146890 140736259153904 0
/proc/28556/statm: 210223 178108 3350 3035 0 201199 0
[pid=28556/tid=28613] ppid=28545 vsize=840892 memory=712428 CPUtime=23.07 cores=0,2
/proc/28556/task/28613/stat : 28613 (fscip) R 28545 28556 28487 0 -1 4194368 167970 0 0 0 2277 30 0 0 20 0 3 0 4456678 861073408 178108 134679101440 4194304 16623229 140736259140160 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 30490624 140736259146774 140736259146890 140736259146890 140736259153904 0
[pid=28556/tid=28621] ppid=28545 vsize=840892 memory=712428 CPUtime=0 cores=0,2
/proc/28556/task/28621/stat : 28621 (fscip) S 28545 28556 28487 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 3 0 4456697 861073408 178108 134679101440 4194304 16623229 140736259140160 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 30490624 140736259146774 140736259146890 140736259146890 140736259153904 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 840892 KiB
Current children cumulated memory: 712432 KiB
[startup+51.113 s]
/proc/loadavg: 2.43 0.75 0.31 6/255 28827
/proc/meminfo: memFree=126828580/131655788 swapFree=131071996/131071996
[pid=28556] ppid=28545 vsize=840892 memory=725436 CPUtime=50.92 cores=0,2
/proc/28556/stat : 28556 (fscip) S 28545 28556 28487 0 -1 1077936128 318038 0 0 0 5030 62 0 0 20 0 3 0 4456450 861073408 181359 134679101440 4194304 16623229 140736259140160 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 30490624 140736259146774 140736259146890 140736259146890 140736259153904 0
/proc/28556/statm: 210223 181359 3350 3035 0 204464 0
[pid=28556/tid=28613] ppid=28545 vsize=840892 memory=-7306083811598623100 CPUtime=48.59 cores=0,2
/proc/28556/task/28613/stat : 28613 (fscip) R 28545 28556 28487 0 -1 4194368 222496 0 0 0 4827 32 0 0 20 0 3 0 4456678 861073408 181359 134679101440 4194304 16623229 140736259140160 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 30490624 140736259146774 140736259146890 140736259146890 140736259153904 0
[pid=28556/tid=28621] ppid=28545 vsize=840892 memory=12860 CPUtime=0 cores=0,2
/proc/28556/task/28621/stat : 28621 (fscip) S 28545 28556 28487 0 -1 1077936192 39 0 0 0 0 0 0 0 20 0 3 0 4456697 861073408 181359 134679101440 4194304 16623229 140736259140160 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 30490624 140736259146774 140736259146890 140736259146890 140736259153904 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 840892 KiB
Current children cumulated memory: 725436 KiB
[startup+102.3 s]
/proc/loadavg: 3.46 1.28 0.52 5/253 28882
/proc/meminfo: memFree=124925836/131655788 swapFree=131071996/131071996
[pid=28556] ppid=28545 vsize=840892 memory=730540 CPUtime=101.94 cores=0,2
/proc/28556/stat : 28556 (fscip) S 28545 28556 28487 0 -1 1077936128 375361 0 0 0 10129 65 0 0 20 0 3 0 4456450 861073408 182635 134679101440 4194304 16623229 140736259140160 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 30490624 140736259146774 140736259146890 140736259146890 140736259153904 0
/proc/28556/statm: 210223 182635 3350 3035 0 204464 0
[pid=28556/tid=28613] ppid=28545 vsize=840892 memory=12672 CPUtime=99.62 cores=0,2
/proc/28556/task/28613/stat : 28613 (fscip) R 28545 28556 28487 0 -1 4194368 279723 0 0 0 9926 36 0 0 20 0 3 0 4456678 861073408 182635 134679101440 4194304 16623229 140736259140160 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 30490624 140736259146774 140736259146890 140736259146890 140736259153904 0
[pid=28556/tid=28621] ppid=28545 vsize=840892 memory=12860 CPUtime=0 cores=0,2
/proc/28556/task/28621/stat : 28621 (fscip) S 28545 28556 28487 0 -1 1077936192 55 0 0 0 0 0 0 0 20 0 3 0 4456697 861073408 182635 134679101440 4194304 16623229 140736259140160 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 30490624 140736259146774 140736259146890 140736259146890 140736259153904 0
Current children cumulated CPU time: 101.94 s
Current children cumulated vsize: 840892 KiB
Current children cumulated memory: 730540 KiB
[startup+162.3 s]
/proc/loadavg: 3.85 1.79 0.74 5/253 28942
/proc/meminfo: memFree=126214340/131655788 swapFree=131071996/131071996
[pid=28556] ppid=28545 vsize=840892 memory=734304 CPUtime=161.76 cores=0,2
/proc/28556/stat : 28556 (fscip) S 28545 28556 28487 0 -1 1077936128 413563 0 0 0 16109 67 0 0 20 0 3 0 4456450 861073408 183576 134679101440 4194304 16623229 140736259140160 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 30490624 140736259146774 140736259146890 140736259146890 140736259153904 0
/proc/28556/statm: 210223 183576 3350 3035 0 204464 0
[pid=28556/tid=28613] ppid=28545 vsize=840892 memory=732188 CPUtime=159.43 cores=0,2
/proc/28556/task/28613/stat : 28613 (fscip) R 28545 28556 28487 0 -1 4194368 317866 0 0 0 15905 38 0 0 20 0 3 0 4456678 861073408 183576 134679101440 4194304 16623229 140736259140160 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 30490624 140736259146774 140736259146890 140736259146890 140736259153904 0
[pid=28556/tid=28621] ppid=28545 vsize=840892 memory=12860 CPUtime=0 cores=0,2
/proc/28556/task/28621/stat : 28621 (fscip) S 28545 28556 28487 0 -1 1077936192 69 0 0 0 0 0 0 0 20 0 3 0 4456697 861073408 183576 134679101440 4194304 16623229 140736259140160 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 30490624 140736259146774 140736259146890 140736259146890 140736259153904 0
Current children cumulated CPU time: 161.76 s
Current children cumulated vsize: 840892 KiB
Current children cumulated memory: 734304 KiB
[startup+222.3 s]
/proc/loadavg: 4.06 2.23 0.96 5/255 28954
/proc/meminfo: memFree=125402744/131655788 swapFree=131071996/131071996
[pid=28556] ppid=28545 vsize=840892 memory=735852 CPUtime=221.55 cores=0,2
/proc/28556/stat : 28556 (fscip) S 28545 28556 28487 0 -1 1077936128 451143 0 0 0 22085 70 0 0 20 0 3 0 4456450 861073408 183963 134679101440 4194304 16623229 140736259140160 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 30490624 140736259146774 140736259146890 140736259146890 140736259153904 0
/proc/28556/statm: 210223 183963 3350 3035 0 204464 0
[pid=28556/tid=28613] ppid=28545 vsize=840892 memory=735612 CPUtime=219.22 cores=0,2
/proc/28556/task/28613/stat : 28613 (fscip) R 28545 28556 28487 0 -1 4194368 355397 0 0 0 21881 41 0 0 20 0 3 0 4456678 861073408 183963 134679101440 4194304 16623229 140736259140160 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 30490624 140736259146774 140736259146890 140736259146890 140736259153904 0
[pid=28556/tid=28621] ppid=28545 vsize=840892 memory=735852 CPUtime=0 cores=0,2
/proc/28556/task/28621/stat : 28621 (fscip) S 28545 28556 28487 0 -1 1077936192 81 0 0 0 0 0 0 0 20 0 3 0 4456697 861073408 183963 134679101440 4194304 16623229 140736259140160 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 30490624 140736259146774 140736259146890 140736259146890 140736259153904 0
Current children cumulated CPU time: 221.55 s
Current children cumulated vsize: 840892 KiB
Current children cumulated memory: 735852 KiB
[startup+282.3 s]
/proc/loadavg: 4.08 2.57 1.16 5/254 28965
/proc/meminfo: memFree=125307280/131655788 swapFree=131071996/131071996
[pid=28556] ppid=28545 vsize=840892 memory=737684 CPUtime=281.35 cores=0,2
################
# More data... #
################
/proc/loadavg: 4.11 4.16 4.09 5/251 30503
/proc/meminfo: memFree=124106788/131655788 swapFree=131071996/131071996
[pid=28556] ppid=28545 vsize=986820 memory=849272 CPUtime=3450.97 cores=0,2
/proc/28556/stat : 28556 (fscip) S 28545 28556 28487 0 -1 1077936128 695888 0 0 0 344995 102 0 0 20 0 3 0 4456450 1010503680 212318 134679101440 4194304 16623229 140736259140160 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 30490624 140736259146774 140736259146890 140736259146890 140736259153904 0
/proc/28556/statm: 246705 212318 3350 3035 0 228463 0
[pid=28556/tid=28613] ppid=28545 vsize=986820 memory=849272 CPUtime=3448.45 cores=0,2
/proc/28556/task/28613/stat : 28613 (fscip) R 28545 28556 28487 0 -1 4194368 598444 0 0 0 344782 63 0 0 20 0 3 0 4456678 1010503680 212318 134679101440 4194304 16623229 140736259140160 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 30490624 140736259146774 140736259146890 140736259146890 140736259153904 0
[pid=28556/tid=28621] ppid=28545 vsize=986820 memory=849272 CPUtime=0.05 cores=0,2
/proc/28556/task/28621/stat : 28621 (fscip) S 28545 28556 28487 0 -1 1077936192 418 0 0 0 1 4 0 0 20 0 3 0 4456697 1010503680 212318 134679101440 4194304 16623229 140736259140160 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 30490624 140736259146774 140736259146890 140736259146890 140736259153904 0
Current children cumulated CPU time: 3450.97 s
Current children cumulated vsize: 986820 KiB
Current children cumulated memory: 849272 KiB
[startup+3522.3 s]
/proc/loadavg: 4.09 4.15 4.09 5/251 30514
/proc/meminfo: memFree=124101068/131655788 swapFree=131071996/131071996
[pid=28556] ppid=28545 vsize=986820 memory=849272 CPUtime=3510.75 cores=0,2
/proc/28556/stat : 28556 (fscip) S 28545 28556 28487 0 -1 1077936128 696682 0 0 0 350973 102 0 0 20 0 3 0 4456450 1010503680 212318 134679101440 4194304 16623229 140736259140160 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 30490624 140736259146774 140736259146890 140736259146890 140736259153904 0
/proc/28556/statm: 246705 212318 3350 3035 0 228463 0
[pid=28556/tid=28613] ppid=28545 vsize=986820 memory=849272 CPUtime=3508.23 cores=0,2
/proc/28556/task/28613/stat : 28613 (fscip) R 28545 28556 28487 0 -1 4194368 599191 0 0 0 350760 63 0 0 20 0 3 0 4456678 1010503680 212318 134679101440 4194304 16623229 140736259140160 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 30490624 140736259146774 140736259146890 140736259146890 140736259153904 0
[pid=28556/tid=28621] ppid=28545 vsize=986820 memory=849272 CPUtime=0.05 cores=0,2
/proc/28556/task/28621/stat : 28621 (fscip) S 28545 28556 28487 0 -1 1077936192 429 0 0 0 1 4 0 0 20 0 3 0 4456697 1010503680 212318 134679101440 4194304 16623229 140736259140160 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 30490624 140736259146774 140736259146890 140736259146890 140736259153904 0
Current children cumulated CPU time: 3510.75 s
Current children cumulated vsize: 986820 KiB
Current children cumulated memory: 849272 KiB
[startup+3582.3 s]
/proc/loadavg: 4.20 4.17 4.10 5/253 30696
/proc/meminfo: memFree=124100004/131655788 swapFree=131071996/131071996
[pid=28556] ppid=28545 vsize=986820 memory=849272 CPUtime=3570.55 cores=0,2
/proc/28556/stat : 28556 (fscip) S 28545 28556 28487 0 -1 1077936128 697626 0 0 0 356952 103 0 0 20 0 3 0 4456450 1010503680 212318 134679101440 4194304 16623229 140736259140160 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 30490624 140736259146774 140736259146890 140736259146890 140736259153904 0
/proc/28556/statm: 246705 212318 3350 3035 0 228463 0
[pid=28556/tid=28613] ppid=28545 vsize=986820 memory=11440 CPUtime=3568.01 cores=0,2
/proc/28556/task/28613/stat : 28613 (fscip) R 28545 28556 28487 0 -1 4194368 600112 0 0 0 356738 63 0 0 20 0 3 0 4456678 1010503680 212318 134679101440 4194304 16623229 140736259140160 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 30490624 140736259146774 140736259146890 140736259146890 140736259153904 0
[pid=28556/tid=28621] ppid=28545 vsize=986820 memory=849272 CPUtime=0.05 cores=0,2
/proc/28556/task/28621/stat : 28621 (fscip) S 28545 28556 28487 0 -1 1077936192 434 0 0 0 1 4 0 0 20 0 3 0 4456697 1010503680 212318 134679101440 4194304 16623229 140736259140160 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 30490624 140736259146774 140736259146890 140736259146890 140736259153904 0
Current children cumulated CPU time: 3570.55 s
Current children cumulated vsize: 986820 KiB
Current children cumulated memory: 849272 KiB
[startup+3598.38 s]
# the end of solver process 28556 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3585.51 s, system=1.05712 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.20 4.17 4.10 5/253 30697
/proc/meminfo: memFree=124099892/131655788 swapFree=131071996/131071996
[pid=28556] ppid=28545 vsize=986820 memory=849272 CPUtime=3572.25 cores=0,2
/proc/28556/stat : 28556 (fscip) S 28545 28556 28487 0 -1 1077936128 697638 0 0 0 357122 103 0 0 20 0 3 0 4456450 1010503680 212318 134679101440 4194304 16623229 140736259140160 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 30490624 140736259146774 140736259146890 140736259146890 140736259153904 0
/proc/28556/statm: 246705 212318 3350 3035 0 228463 0
[pid=28556/tid=28613] ppid=28545 vsize=986820 memory=-8316900901535099443 CPUtime=3569.72 cores=0,2
/proc/28556/task/28613/stat : 28613 (fscip) R 28545 28556 28487 0 -1 4194368 600124 0 0 0 356909 63 0 0 20 0 3 0 4456678 1010503680 212318 134679101440 4194304 16623229 140736259140160 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 30490624 140736259146774 140736259146890 140736259146890 140736259153904 0
[pid=28556/tid=28621] ppid=28545 vsize=986820 memory=-5926617737586555202 CPUtime=0.05 cores=0,2
/proc/28556/task/28621/stat : 28621 (fscip) S 28545 28556 28487 0 -1 1077936192 434 0 0 0 1 4 0 0 20 0 3 0 4456697 1010503680 212318 134679101440 4194304 16623229 140736259140160 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 30490624 140736259146774 140736259146890 140736259146890 140736259153904 0
Current children cumulated CPU time: 3572.25 s
Current children cumulated vsize: 986820 KiB
Current children cumulated memory: 849272 KiB
[startup+3590.4 s]
/proc/loadavg: 4.18 4.16 4.10 5/253 30698
/proc/meminfo: memFree=124099260/131655788 swapFree=131071996/131071996
[pid=28556] ppid=28545 vsize=986820 memory=849272 CPUtime=3578.61 cores=0,2
/proc/28556/stat : 28556 (fscip) S 28545 28556 28487 0 -1 1077936128 698031 0 0 0 357758 103 0 0 20 0 3 0 4456450 1010503680 212318 134679101440 4194304 16623229 140736259140160 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 30490624 140736259146774 140736259146890 140736259146890 140736259153904 0
/proc/28556/statm: 246705 212318 3350 3035 0 228463 0
[pid=28556/tid=28613] ppid=28545 vsize=986820 memory=849272 CPUtime=3576.08 cores=0,2
/proc/28556/task/28613/stat : 28613 (fscip) R 28545 28556 28487 0 -1 4194368 600512 0 0 0 357545 63 0 0 20 0 3 0 4456678 1010503680 212318 134679101440 4194304 16623229 140736259140160 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 30490624 140736259146774 140736259146890 140736259146890 140736259153904 0
[pid=28556/tid=28621] ppid=28545 vsize=986820 memory=849272 CPUtime=0.05 cores=0,2
/proc/28556/task/28621/stat : 28621 (fscip) S 28545 28556 28487 0 -1 1077936192 437 0 0 0 1 4 0 0 20 0 3 0 4456697 1010503680 212318 134679101440 4194304 16623229 140736259140160 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 30490624 140736259146774 140736259146890 140736259146890 140736259153904 0
Current children cumulated CPU time: 3578.61 s
Current children cumulated vsize: 986820 KiB
Current children cumulated memory: 849272 KiB
[startup+3593.6 s]
/proc/loadavg: 4.17 4.16 4.10 5/253 30698
/proc/meminfo: memFree=124099332/131655788 swapFree=131071996/131071996
[pid=28556] ppid=28545 vsize=986820 memory=849272 CPUtime=3581.8 cores=0,2
/proc/28556/stat : 28556 (fscip) S 28545 28556 28487 0 -1 1077936128 698049 0 0 0 358077 103 0 0 20 0 3 0 4456450 1010503680 212318 134679101440 4194304 16623229 140736259140160 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 30490624 140736259146774 140736259146890 140736259146890 140736259153904 0
/proc/28556/statm: 246705 212318 3350 3035 0 228463 0
[pid=28556/tid=28613] ppid=28545 vsize=986820 memory=849272 CPUtime=3579.27 cores=0,2
/proc/28556/task/28613/stat : 28613 (fscip) R 28545 28556 28487 0 -1 4194368 600530 0 0 0 357864 63 0 0 20 0 3 0 4456678 1010503680 212318 134679101440 4194304 16623229 140736259140160 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 30490624 140736259146774 140736259146890 140736259146890 140736259153904 0
[pid=28556/tid=28621] ppid=28545 vsize=986820 memory=6680 CPUtime=0.05 cores=0,2
/proc/28556/task/28621/stat : 28621 (fscip) S 28545 28556 28487 0 -1 1077936192 437 0 0 0 1 4 0 0 20 0 3 0 4456697 1010503680 212318 134679101440 4194304 16623229 140736259140160 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 30490624 140736259146774 140736259146890 140736259146890 140736259153904 0
Current children cumulated CPU time: 3581.8 s
Current children cumulated vsize: 986820 KiB
Current children cumulated memory: 849272 KiB
[startup+3596.8 s]
/proc/loadavg: 4.23 4.17 4.10 5/253 30698
/proc/meminfo: memFree=124099332/131655788 swapFree=131071996/131071996
[pid=28556] ppid=28545 vsize=986820 memory=849272 CPUtime=3584.99 cores=0,2
/proc/28556/stat : 28556 (fscip) S 28545 28556 28487 0 -1 1077936128 698050 0 0 0 358396 103 0 0 20 0 3 0 4456450 1010503680 212318 134679101440 4194304 16623229 140736259140160 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 30490624 140736259146774 140736259146890 140736259146890 140736259153904 0
/proc/28556/statm: 246705 212318 3350 3035 0 228463 0
[pid=28556/tid=28613] ppid=28545 vsize=986820 memory=849272 CPUtime=3582.46 cores=0,2
/proc/28556/task/28613/stat : 28613 (fscip) R 28545 28556 28487 0 -1 4194368 600531 0 0 0 358183 63 0 0 20 0 3 0 4456678 1010503680 212318 134679101440 4194304 16623229 140736259140160 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 30490624 140736259146774 140736259146890 140736259146890 140736259153904 0
[pid=28556/tid=28621] ppid=28545 vsize=986820 memory=849272 CPUtime=0.05 cores=0,2
/proc/28556/task/28621/stat : 28621 (fscip) S 28545 28556 28487 0 -1 1077936192 437 0 0 0 1 4 0 0 20 0 3 0 4456697 1010503680 212318 134679101440 4194304 16623229 140736259140160 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 30490624 140736259146774 140736259146890 140736259146890 140736259153904 0
Current children cumulated CPU time: 3584.99 s
Current children cumulated vsize: 986820 KiB
Current children cumulated memory: 849272 KiB
[startup+3597.6 s]
/proc/loadavg: 4.23 4.17 4.10 5/253 30698
/proc/meminfo: memFree=124099332/131655788 swapFree=131071996/131071996
[pid=28556] ppid=28545 vsize=986820 memory=849272 CPUtime=3585.79 cores=0,2
/proc/28556/stat : 28556 (fscip) S 28545 28556 28487 0 -1 1077936128 698050 0 0 0 358476 103 0 0 20 0 3 0 4456450 1010503680 212318 134679101440 4194304 16623229 140736259140160 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 30490624 140736259146774 140736259146890 140736259146890 140736259153904 0
/proc/28556/statm: 246705 212318 3350 3035 0 228463 0
[pid=28556/tid=28613] ppid=28545 vsize=986820 memory=-7017853435446910589 CPUtime=3583.26 cores=0,2
/proc/28556/task/28613/stat : 28613 (fscip) R 28545 28556 28487 0 -1 4194368 600531 0 0 0 358263 63 0 0 20 0 3 0 4456678 1010503680 212318 134679101440 4194304 16623229 140736259140160 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 30490624 140736259146774 140736259146890 140736259146890 140736259153904 0
[pid=28556/tid=28621] ppid=28545 vsize=986820 memory=4715432209094962846 CPUtime=0.05 cores=0,2
/proc/28556/task/28621/stat : 28621 (fscip) S 28545 28556 28487 0 -1 1077936192 437 0 0 0 1 4 0 0 20 0 3 0 4456697 1010503680 212318 134679101440 4194304 16623229 140736259140160 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 30490624 140736259146774 140736259146890 140736259146890 140736259153904 0
Current children cumulated CPU time: 3585.79 s
Current children cumulated vsize: 986820 KiB
Current children cumulated memory: 849272 KiB
[startup+3598 s]*
/proc/loadavg: 4.23 4.17 4.10 5/253 30698
/proc/meminfo: memFree=124099332/131655788 swapFree=131071996/131071996
[pid=28556] ppid=28545 vsize=986820 memory=849272 CPUtime=3586.2 cores=0,2
/proc/28556/stat : 28556 (fscip) S 28545 28556 28487 0 -1 1077936128 698232 0 0 0 358517 103 0 0 20 0 3 0 4456450 1010503680 212318 134679101440 4194304 16623229 140736259140160 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 30490624 140736259146774 140736259146890 140736259146890 140736259153904 0
/proc/28556/statm: 246705 212318 3350 3035 0 228463 0
[pid=28556/tid=28613] ppid=28545 vsize=986820 memory=-7017853435446910589 CPUtime=3583.67 cores=0,2
/proc/28556/task/28613/stat : 28613 (fscip) R 28545 28556 28487 0 -1 4194368 600710 0 0 0 358304 63 0 0 20 0 3 0 4456678 1010503680 212318 134679101440 4194304 16623229 140736259140160 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 30490624 140736259146774 140736259146890 140736259146890 140736259153904 0
[pid=28556/tid=28621] ppid=28545 vsize=986820 memory=4715432209094962846 CPUtime=0.05 cores=0,2
/proc/28556/task/28621/stat : 28621 (fscip) S 28545 28556 28487 0 -1 1077936192 437 0 0 0 1 4 0 0 20 0 3 0 4456697 1010503680 212318 134679101440 4194304 16623229 140736259140160 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 30490624 140736259146774 140736259146890 140736259146890 140736259153904 0
Current children cumulated CPU time: 3586.2 s
Current children cumulated vsize: 986820 KiB
Current children cumulated memory: 849272 KiB
[startup+3598.2 s]
/proc/loadavg: 4.23 4.17 4.10 5/253 30698
/proc/meminfo: memFree=124099332/131655788 swapFree=131071996/131071996
[pid=28556] ppid=28545 vsize=777620 memory=697860 CPUtime=3586.39 cores=0,2
/proc/28556/stat : 28556 (fscip) R 28545 28556 28487 0 -1 4194304 699808 0 0 0 358536 103 0 0 20 0 2 0 4456450 796282880 174465 134679101440 4194304 16623229 140736259140160 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 30490624 140736259146774 140736259146890 140736259146890 140736259153904 0
/proc/28556/statm: 194405 174465 3350 3035 0 190182 0
[pid=28556/tid=28621] ppid=28545 vsize=777620 memory=2696 CPUtime=0.05 cores=0,2
/proc/28556/task/28621/stat : 28621 (fscip) S 28545 28556 28487 0 -1 1077936192 437 0 0 0 1 4 0 0 20 0 2 0 4456697 796282880 174465 134679101440 4194304 16623229 140736259140160 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 30490624 140736259146774 140736259146890 140736259146890 140736259153904 0
Current children cumulated CPU time: 3586.39 s
Current children cumulated vsize: 777620 KiB
Current children cumulated memory: 697860 KiB
[startup+3598.3 s]
/proc/loadavg: 4.23 4.17 4.10 5/253 30698
/proc/meminfo: memFree=124099332/131655788 swapFree=131071996/131071996
[pid=28556] ppid=28545 vsize=746836 memory=667076 CPUtime=3586.49 cores=0,2
/proc/28556/stat : 28556 (fscip) R 28545 28556 28487 0 -1 4194304 703228 0 0 0 358545 104 0 0 20 0 2 0 4456450 764760064 166769 134679101440 4194304 16623229 140736259140160 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 30490624 140736259146774 140736259146890 140736259146890 140736259153904 0
/proc/28556/statm: 186709 166769 3350 3035 0 182486 0
[pid=28556/tid=28621] ppid=28545 vsize=746836 memory=849272 CPUtime=0.05 cores=0,2
/proc/28556/task/28621/stat : 28621 (fscip) S 28545 28556 28487 0 -1 1077936192 437 0 0 0 1 4 0 0 20 0 2 0 4456697 764760064 166769 134679101440 4194304 16623229 140736259140160 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 30490624 140736259146774 140736259146890 140736259146890 140736259153904 0
Current children cumulated CPU time: 3586.49 s
Current children cumulated vsize: 746836 KiB
Current children cumulated memory: 667076 KiB
Child status: 0
Real time (s): 3598.38
CPU time (s): 3586.57
CPU user time (s): 3585.51
CPU system time (s): 1.05712
CPU usage (%): 99.6719
Max. virtual memory (cumulated for all children) (KiB): 1037500
Max. memory (cumulated for all children) (KiB): 884624
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3585.51
system time used= 1.05712
maximum resident set size= 884624
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 707073
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= 6597
involuntary context switches= 25266
# summary of solver processes directly reported to runsolver:
# pid: 28556
# total CPU time (s): 3586.57
# total CPU user time (s): 3585.51
# total CPU system time (s): 1.05712
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.0575 second user time and 35.7085 second system time
The end
Begin job on nodeC005 at 2024-07-31 00:29:54
IDJOB=4463907
IDBENCH=146841
IDSOLVER=3092
FILE ID=nodeC005/4463907-1722378594
RUNJOBID= nodeC005-1722378594-28498
SLURM_JOB_ID= 8249835
Free space on /tmp= 723776 MiB
SOLVER NAME= FiberSCIP 2024-07-30
BENCH NAME= PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-sctap3.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-4463907-1722378594/watcher-4463907-1722378594 -o /tmp/evaluation-result-4463907-1722378594/solver-4463907-1722378594 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1722378594-28498 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4463907-1722378594.opb -qsol -t 3600 -sth 1
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= ae9069a7e4a4f60423faee038f49f7b2
RANDOM SEED=1497379858
nodeC005.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 : 0xb00001f
cpu MHz : 1261.765
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.72
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 : 0xb00001f
cpu MHz : 1193.884
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.37
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 : 0xb00001f
cpu MHz : 1203.251
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.72
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 : 0xb00001f
cpu MHz : 1181.250
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.37
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 : 0xb00001f
cpu MHz : 1195.649
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.72
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 : 0xb00001f
cpu MHz : 1195.708
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.37
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 : 0xb00001f
cpu MHz : 1201.253
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.72
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 : 0xb00001f
cpu MHz : 1195.253
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.37
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131655788 kB
MemFree: 128012680 kB
MemAvailable: 130013840 kB
Buffers: 87184 kB
Cached: 2721644 kB
SwapCached: 0 kB
Active: 245524 kB
Inactive: 2905132 kB
Active(anon): 1372 kB
Inactive(anon): 361876 kB
Active(file): 244152 kB
Inactive(file): 2543256 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 117264 kB
Writeback: 12 kB
AnonPages: 341928 kB
Mapped: 87584 kB
Shmem: 21320 kB
KReclaimable: 107900 kB
Slab: 190672 kB
SReclaimable: 107900 kB
SUnreclaim: 82772 kB
KernelStack: 3648 kB
PageTables: 9088 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196899888 kB
Committed_AS: 726308 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 7008 kB
HardwareCorrupted: 0 kB
AnonHugePages: 225280 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: 187208 kB
DirectMap2M: 14397440 kB
DirectMap1G: 121634816 kB
Free space on /tmp at the end= 723660 MiB
End job on nodeC005 at 2024-07-31 01:29:53