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.51/0.57 c Default LC presolving (default).
0.51/0.57 c ** Before presolving: virtualMemUsedAtLc = 261270544, getVmSize() = 215478272, SCIPgetMemUsed() = 182041631, SCIPgetMemTotal() = 191261791, SCIPgetMemExternEstim() = 70008753
0.51/0.57 c ** set memory limit for presolving in LC to 8.79601e+12 for SCIP **
1.88/2.00 c ** Estimated virtualMemUsedAtSolver = 295043716, getVmSize() = 402747392, SCIPgetMemUsed() = 250357566, SCIPgetMemTotal() = 372556822, SCIPgetMemExternEstim() = 70008753
1.88/2.00 c ** set memory limit for solvers to 4.39804e+12 for each SCIP **
1.88/2.00 c Original Problem :
1.88/2.00 c Problem name : instance-4434575-1721064881
1.88/2.00 c Variables : 74400 (74400 binary, 0 integer, 0 implicit integer, 0 continuous)
1.88/2.00 c Constraints : 1408
1.88/2.00 c Objective sense : minimize
1.88/2.00 c Presolved Problem :
1.88/2.00 c Variables : 37478 (37478 binary, 0 integer, 0 implicit integer, 0 continuous)
1.88/2.00 c Constraints : 2028
1.88/2.00 c Constraints : Number
1.88/2.00 c knapsack : 788
1.88/2.00 c linear : 620
1.88/2.00 c logicor : 620
1.88/2.00 c ** Instance transfer method used: 0
1.99/2.06 c ** ParaScipInstance copy does not increase the number of variables. **
2.09/2.17 c LC is working with racing ramp-up and with rebuilding tree after racing.
2.09/2.17 c Nodes Active
2.09/2.17 c Time Nodes Left Solvers Best Integer Best Node Gap Best Node(S) Gap(S)
13.23/13.34 c 13 2 1 1 - 1458176.0000 -
20.51/20.69 c 21 3 2 1 - 1458176.0000 -
26.90/27.04 c 27 5 4 1 - 1458176.0000 -
36.45/36.64 c 37 8 7 1 - 1458176.0000 -
44.33/44.57 c 45 10 9 1 - 1458176.0000 -
53.50/53.74 c 54 12 11 1 - 1458176.0000 -
59.79/60.07 c 60 13 12 1 - 1458176.0000 -
65.66/65.96 c 66 16 15 1 - 1458176.0000 -
71.24/71.54 c 72 20 19 1 - 1458176.0000 -
77.22/77.52 c 78 21 20 1 - 1458176.0000 -
82.50/82.89 c 83 23 22 1 - 1458176.0000 -
89.48/89.84 c 90 27 26 1 - 1458176.0000 -
98.14/98.56 c 99 28 27 1 - 1458176.0000 -
103.53/103.97 c 104 30 29 1 - 1458176.0000 -
110.31/110.73 c 111 36 35 1 - 1458176.0000 -
116.49/116.98 c 117 41 40 1 - 1458176.0000 -
127.57/128.04 c 128 45 44 1 - 1458176.0000 -
133.23/133.77 c 134 47 46 1 - 1458176.0000 -
138.91/139.40 c 139 51 50 1 - 1458176.0000 -
151.67/152.20 c 152 55 54 1 - 1458176.0000 -
157.25/157.87 c 158 56 55 1 - 1458176.0000 -
162.54/163.11 c 163 61 60 1 - 1458176.0000 -
173.00/173.68 c 174 64 63 1 - 1458176.0000 -
178.88/179.51 c 180 70 69 1 - 1458176.0000 -
184.56/185.25 c 185 77 76 1 - 1458176.0000 -
191.84/192.57 c 193 84 83 1 - 1458176.0000 -
209.30/210.04 c 210 87 86 1 - 1458176.0000 -
215.76/216.57 c 217 90 89 1 - 1458176.0000 -
220.85/221.67 c 222 95 94 1 - 1458176.0000 -
226.24/227.02 c 227 101 100 1 - 1458176.0000 -
236.50/237.30 c 237 103 102 1 - 1458176.0000 -
242.88/243.79 c 244 106 105 1 - 1458176.0000 -
249.06/249.99 c 250 111 110 1 - 1458176.0000 -
255.34/256.29 c 256 117 116 1 - 1458176.0000 -
261.51/262.43 c 262 122 121 1 - 1458176.0000 -
266.70/267.60 c 268 125 124 1 - 1458176.0000 -
271.68/272.66 c 273 131 130 1 - 1458176.0000 -
276.86/277.81 c 278 135 134 1 - 1458176.0000 -
282.74/283.71 c 284 140 139 1 - 1458176.0000 -
287.92/288.90 c 289 144 143 1 - 1458176.0000 -
293.12/294.13 c 294 145 144 1 - 1458176.0000 -
298.30/299.37 c 299 147 146 1 - 1458176.0000 -
304.48/305.54 c 306 150 149 1 - 1458176.0000 -
309.76/310.80 c 311 152 151 1 - 1458176.0000 -
315.95/317.11 c 317 159 158 1 - 1458176.0000 -
327.20/328.35 c 328 163 162 1 - 1458176.0000 -
334.08/335.24 c 335 166 165 1 - 1458176.0000 -
339.36/340.51 c 341 172 171 1 - 1458176.0000 -
344.85/346.04 c 346 176 175 1 - 1458176.0000 -
358.20/359.46 c 359 180 179 1 - 1458176.0000 -
365.37/366.66 c 367 183 182 1 - 1458176.0000 -
371.45/372.73 c 373 185 184 1 - 1458176.0000 -
377.13/378.43 c 378 189 188 1 - 1458176.0000 -
383.21/384.56 c 385 194 193 1 - 1458176.0000 -
389.19/390.50 c 390 198 197 1 - 1458176.0000 -
395.17/396.51 c 396 202 201 1 - 1458176.0000 -
400.67/402.04 c 402 206 205 1 - 1458176.0000 -
405.84/407.25 c 407 209 208 1 - 1458176.0000 -
416.50/417.99 c 418 213 212 1 - 1458176.0000 -
422.78/424.25 c 424 215 214 1 - 1458176.0000 -
428.96/430.42 c 430 220 219 1 - 1458176.0000 -
434.84/436.39 c 436 225 224 1 - 1458176.0000 -
441.32/442.86 c 443 231 230 1 - 1458176.0000 -
446.90/448.48 c 448 237 236 1 - 1458176.0000 -
462.65/464.26 c 464 244 243 1 - 1458176.0000 -
468.83/470.49 c 470 251 250 1 - 1458176.0000 -
474.71/476.37 c 476 255 254 1 - 1458176.0000 -
481.09/482.78 c 483 260 259 1 - 1458176.0000 -
486.38/488.03 c 488 265 264 1 - 1458176.0000 -
491.85/493.55 c 494 270 269 1 - 1458176.0000 -
499.83/501.56 c 502 277 276 1 - 1458176.0000 -
504.91/506.64 c 507 282 281 1 - 1458176.0000 -
510.31/512.05 c 512 286 285 1 - 1458176.0000 -
518.17/519.96 c 520 292 291 1 - 1458176.0000 -
523.95/525.72 c 526 306 305 1 - 1458176.0000 -
529.24/531.09 c 531 309 308 1 - 1458176.0000 -
535.01/536.86 c 537 312 311 1 - 1458176.0000 -
540.90/542.71 c 543 317 316 1 - 1458176.0000 -
547.67/549.57 c 550 323 322 1 - 1458176.0000 -
554.75/556.69 c 557 328 327 1 - 1458176.0000 -
560.93/562.87 c 563 334 333 1 - 1458176.0000 -
566.91/568.83 c 569 343 342 1 - 1458176.0000 -
572.79/574.70 c 575 347 346 1 - 1458176.0000 -
578.77/580.76 c 581 351 350 1 - 1458176.0000 -
583.96/585.97 c 586 354 353 1 - 1458176.0000 -
589.23/591.27 c 591 360 359 1 - 1458176.0000 -
596.41/598.41 c 598 364 363 1 - 1458176.0000 -
601.89/603.90 c 604 367 366 1 - 1458176.0000 -
608.67/610.77 c 611 372 371 1 - 1458176.0000 -
616.64/618.77 c 619 375 374 1 - 1458176.0000 -
623.12/625.27 c 625 379 378 1 - 1458176.0000 -
629.50/631.61 c 632 383 382 1 - 1458176.0000 -
635.58/637.72 c 638 388 387 1 - 1458176.0000 -
641.16/643.37 c 643 394 393 1 - 1458176.0000 -
647.53/649.72 c 650 398 397 1 - 1458176.0000 -
653.92/656.11 c 656 404 403 1 - 1458176.0000 -
661.40/663.66 c 664 409 408 1 - 1458176.0000 -
666.68/668.94 c 669 411 410 1 - 1458176.0000 -
674.45/676.72 c 677 418 417 1 - 1458176.0000 -
681.32/683.65 c 684 424 423 1 - 1458176.0000 -
687.00/689.32 c 689 427 426 1 - 1458176.0000 -
698.57/700.92 c 701 432 431 1 - 1458176.0000 -
705.66/708.10 c 708 435 434 1 - 1458176.0000 -
711.13/713.53 c 714 445 444 1 - 1458176.0000 -
716.21/718.66 c 719 452 451 1 - 1458176.0000 -
722.71/725.12 c 725 455 454 1 - 1458176.0000 -
727.78/730.22 c 730 458 457 1 - 1458176.0000 -
734.45/736.97 c 737 463 462 1 - 1458176.0000 -
740.73/743.25 c 743 466 465 1 - 1458176.0000 -
746.41/748.99 c 749 472 471 1 - 1458176.0000 -
751.99/754.52 c 755 475 474 1 - 1458176.0000 -
759.37/761.93 c 762 483 482 1 - 1458176.0000 -
765.75/768.33 c 768 487 486 1 - 1458176.0000 -
771.13/773.78 c 774 492 491 1 - 1458176.0000 -
776.22/778.83 c 779 493 492 1 - 1458176.0000 -
782.51/785.11 c 785 497 496 1 - 1458176.0000 -
788.39/791.01 c 791 502 501 1 - 1458176.0000 -
793.66/796.39 c 796 506 505 1 - 1458176.0000 -
799.46/802.13 c 802 510 509 1 - 1458176.0000 -
806.22/808.98 c 809 516 515 1 - 1458176.0000 -
812.10/814.81 c 815 521 520 1 - 1458176.0000 -
818.17/820.96 c 821 528 527 1 - 1458176.0000 -
827.15/829.92 c 830 534 533 1 - 1458176.0000 -
833.92/836.72 c 837 538 537 1 - 1458176.0000 -
842.49/845.36 c 845 541 540 1 - 1458176.0000 -
848.19/851.07 c 851 544 543 1 - 1458176.0000 -
854.96/857.88 c 858 547 546 1 - 1458176.0000 -
860.93/863.80 c 864 551 550 1 - 1458176.0000 -
868.61/871.53 c 872 554 553 1 - 1458176.0000 -
875.39/878.31 c 878 560 559 1 - 1458176.0000 -
881.47/884.40 c 884 564 563 1 - 1458176.0000 -
888.74/891.78 c 892 571 570 1 - 1458176.0000 -
894.82/897.86 c 898 575 574 1 - 1458176.0000 -
901.50/904.55 c 905 581 580 1 - 1458176.0000 -
910.67/913.74 c 914 584 583 1 - 1458176.0000 -
919.24/922.39 c 922 586 585 1 - 1458176.0000 -
924.94/928.03 c 928 589 588 1 - 1458176.0000 -
930.02/933.13 c 933 592 591 1 - 1458176.0000 -
939.17/942.36 c 942 594 593 1 - 1458176.0000 -
945.16/948.37 c 948 597 596 1 - 1458176.0000 -
953.63/956.84 c 957 599 598 1 - 1458176.0000 -
963.69/966.96 c 967 602 601 1 - 1458176.0000 -
977.65/980.98 c 981 604 603 1 - 1458176.0000 -
983.03/986.36 c 986 607 606 1 - 1458176.0000 -
990.41/993.75 c 994 610 609 1 - 1458176.0000 -
997.28/1000.69 c 1001 611 610 1 - 1458176.0000 -
1002.37/1005.70 c 1006 613 612 1 - 1458176.0000 -
1010.04/1013.41 c 1013 616 615 1 - 1458176.0000 -
1016.12/1019.56 c 1020 622 621 1 - 1458176.0000 -
1021.81/1025.24 c 1025 627 626 1 - 1458176.0000 -
1031.27/1034.72 c 1035 630 629 1 - 1458176.0000 -
1036.67/1040.19 c 1040 631 630 1 - 1458176.0000 -
1042.84/1046.38 c 1046 638 637 1 - 1458176.0000 -
1053.51/1057.11 c 1057 642 641 1 - 1458176.0000 -
1059.88/1063.46 c 1063 645 644 1 - 1458176.0000 -
1066.85/1070.41 c 1070 646 645 1 - 1458176.0000 -
1073.45/1077.06 c 1077 650 649 1 - 1458176.0000 -
1079.21/1082.89 c 1083 656 655 1 - 1458176.0000 -
1086.40/1090.01 c 1090 659 658 1 - 1458176.0000 -
1095.47/1099.15 c 1099 662 661 1 - 1458176.0000 -
1101.64/1105.31 c 1105 665 664 1 - 1458176.0000 -
1107.72/1111.44 c 1111 667 666 1 - 1458176.0000 -
1118.18/1122.01 c 1122 669 668 1 - 1458176.0000 -
1123.66/1127.43 c 1127 671 670 1 - 1458176.0000 -
1130.35/1134.17 c 1134 675 674 1 - 1458176.0000 -
1141.90/1145.70 c 1146 678 677 1 - 1458176.0000 -
1149.19/1153.09 c 1153 681 680 1 - 1458176.0000 -
1156.65/1160.55 c 1161 685 684 1 - 1458176.0000 -
1162.93/1166.90 c 1167 691 690 1 - 1458176.0000 -
1169.91/1173.80 c 1174 696 695 1 - 1458176.0000 -
1174.99/1179.01 c 1179 699 698 1 - 1458176.0000 -
1181.26/1185.29 c 1185 705 704 1 - 1458176.0000 -
1187.05/1191.06 c 1191 711 710 1 - 1458176.0000 -
1192.22/1196.22 c 1196 716 715 1 - 1458176.0000 -
1197.40/1201.49 c 1201 721 720 1 - 1458176.0000 -
1202.79/1206.86 c 1207 727 726 1 - 1458176.0000 -
1208.36/1212.47 c 1212 732 731 1 - 1458176.0000 -
1216.23/1220.36 c 1220 736 735 1 - 1458176.0000 -
1224.19/1228.38 c 1228 739 738 1 - 1458176.0000 -
1233.97/1238.18 c 1238 743 742 1 - 1458176.0000 -
1243.43/1247.64 c 1248 746 745 1 - 1458176.0000 -
1249.51/1253.73 c 1254 751 750 1 - 1458176.0000 -
1255.29/1259.53 c 1260 756 755 1 - 1458176.0000 -
1261.17/1265.49 c 1265 761 760 1 - 1458176.0000 -
1268.35/1272.67 c 1273 764 763 1 - 1458176.0000 -
1274.23/1278.53 c 1279 766 765 1 - 1458176.0000 -
1280.01/1284.35 c 1284 769 768 1 - 1458176.0000 -
1286.09/1290.40 c 1290 771 770 1 - 1458176.0000 -
1292.36/1296.78 c 1297 774 773 1 - 1458176.0000 -
1300.34/1304.75 c 1305 776 775 1 - 1458176.0000 -
1305.92/1310.30 c 1310 780 779 1 - 1458176.0000 -
1312.40/1316.81 c 1317 784 783 1 - 1458176.0000 -
1317.38/1321.82 c 1322 786 785 1 - 1458176.0000 -
1323.67/1328.17 c 1328 791 790 1 - 1458176.0000 -
1329.44/1333.91 c 1334 793 792 1 - 1458176.0000 -
1336.92/1341.41 c 1341 797 796 1 - 1458176.0000 -
1343.61/1348.17 c 1348 803 802 1 - 1458176.0000 -
1349.59/1354.12 c 1354 807 806 1 - 1458176.0000 -
1356.35/1360.95 c 1361 810 809 1 - 1458176.0000 -
1361.93/1366.52 c 1367 813 812 1 - 1458176.0000 -
1370.60/1375.26 c 1375 818 817 1 - 1458176.0000 -
1376.79/1381.44 c 1381 822 821 1 - 1458176.0000 -
1382.77/1387.43 c 1387 829 828 1 - 1458176.0000 -
1389.36/1394.09 c 1394 834 833 1 - 1458176.0000 -
1394.63/1399.38 c 1399 837 836 1 - 1458176.0000 -
1399.61/1404.39 c 1404 840 839 1 - 1458176.0000 -
1406.89/1411.63 c 1412 842 841 1 - 1458176.0000 -
1414.17/1418.96 c 1419 845 844 1 - 1458176.0000 -
1419.26/1424.10 c 1424 848 847 1 - 1458176.0000 -
1425.53/1430.30 c 1430 852 851 1 - 1458176.0000 -
1433.22/1438.04 c 1438 856 855 1 - 1458176.0000 -
1439.09/1444.01 c 1444 860 859 1 - 1458176.0000 -
1444.87/1449.76 c 1450 864 863 1 - 1458176.0000 -
1451.05/1455.97 c 1456 870 869 1 - 1458176.0000 -
1456.33/1461.27 c 1461 873 872 1 - 1458176.0000 -
1461.71/1466.66 c 1467 877 876 1 - 1458176.0000 -
1467.21/1472.14 c 1472 880 879 1 - 1458176.0000 -
1472.58/1477.51 c 1478 885 884 1 - 1458176.0000 -
1478.07/1483.06 c 1483 889 888 1 - 1458176.0000 -
1483.34/1488.33 c 1488 892 891 1 - 1458176.0000 -
1488.73/1493.75 c 1494 895 894 1 - 1458176.0000 -
1497.50/1502.57 c 1503 902 901 1 - 1458176.0000 -
1504.38/1509.46 c 1509 906 905 1 - 1458176.0000 -
1510.26/1515.39 c 1515 909 908 1 - 1458176.0000 -
1516.06/1521.18 c 1521 913 912 1 - 1458176.0000 -
1523.72/1528.86 c 1529 918 917 1 - 1458176.0000 -
1531.20/1536.30 c 1536 923 922 1 - 1458176.0000 -
1542.37/1547.51 c 1548 925 924 1 - 1458176.0000 -
1549.65/1554.87 c 1555 926 925 1 - 1458176.0000 -
1559.62/1564.89 c 1565 927 926 1 - 1458176.0000 -
1566.91/1572.16 c 1572 928 927 1 - 1458176.0000 -
1572.60/1577.83 c 1578 932 931 1 - 1458176.0000 -
1584.77/1590.04 c 1590 936 935 1 - 1458176.0000 -
1591.44/1596.79 c 1597 939 938 1 - 1458176.0000 -
1598.73/1604.04 c 1604 942 941 1 - 1458176.0000 -
1604.60/1609.95 c 1610 947 946 1 - 1458176.0000 -
1611.88/1617.30 c 1617 954 953 1 - 1458176.0000 -
1616.97/1622.37 c 1622 958 957 1 - 1458176.0000 -
1625.84/1631.21 c 1631 962 961 1 - 1458176.0000 -
1631.83/1637.22 c 1637 968 967 1 - 1458176.0000 -
1638.01/1643.42 c 1643 977 976 1 - 1458176.0000 -
1647.28/1652.74 c 1653 985 984 1 - 1458176.0000 -
1652.47/1657.96 c 1658 987 986 1 - 1458176.0000 -
1658.85/1664.37 c 1664 992 991 1 - 1458176.0000 -
1665.73/1671.29 c 1671 997 996 1 - 1458176.0000 -
1671.42/1676.92 c 1677 1002 1001 1 - 1458176.0000 -
1677.70/1683.29 c 1683 1004 1003 1 - 1458176.0000 -
1683.78/1689.33 c 1689 1007 1006 1 - 1458176.0000 -
1691.26/1696.82 c 1697 1010 1009 1 - 1458176.0000 -
1697.24/1702.83 c 1703 1016 1015 1 - 1458176.0000 -
1704.62/1710.29 c 1710 1025 1024 1 - 1458176.0000 -
1710.71/1716.35 c 1716 1028 1027 1 - 1458176.0000 -
1715.99/1721.61 c 1722 1032 1031 1 - 1458176.0000 -
1722.67/1728.35 c 1728 1033 1032 1 - 1458176.0000 -
1727.67/1733.37 c 1733 1038 1037 1 - 1458176.0000 -
1735.46/1741.19 c 1741 1042 1041 1 - 1458176.0000 -
1741.73/1747.46 c 1747 1046 1045 1 - 1458176.0000 -
1747.91/1753.68 c 1754 1050 0 1 - 1458176.0000 -
1755.19/1760.95 c 1761 1056 6 1 - 1458176.0000 -
1760.77/1766.52 c 1767 1057 7 1 - 1458176.0000 -
1766.46/1772.25 c 1772 1069 19 1 - 1458176.0000 -
1771.54/1777.32 c 1777 1074 24 1 - 1458176.0000 -
1778.33/1784.15 c 1784 1077 27 1 - 1458176.0000 -
1787.10/1792.92 c 1793 1081 31 1 - 1458176.0000 -
1792.88/1798.79 c 1799 1083 33 1 - 1458176.0000 -
1798.86/1804.71 c 1805 1091 41 1 - 1458176.0000 -
1806.54/1812.42 c 1812 1096 46 1 - 1458176.0000 -
1814.72/1820.62 c 1821 1101 51 1 - 1458176.0000 -
1820.90/1826.85 c 1827 1112 62 1 - 1458176.0000 -
1829.19/1835.13 c 1835 1116 66 1 - 1458176.0000 -
1835.07/1841.03 c 1841 1123 73 1 - 1458176.0000 -
1841.24/1847.27 c 1847 1126 76 1 - 1458176.0000 -
1849.32/1855.32 c 1855 1129 79 1 - 1458176.0000 -
1854.41/1860.42 c 1860 1138 88 1 - 1458176.0000 -
1860.29/1866.39 c 1866 1141 91 1 - 1458176.0000 -
1866.09/1872.17 c 1872 1143 93 1 - 1458176.0000 -
1871.16/1877.25 c 1877 1145 95 1 - 1458176.0000 -
1877.06/1883.12 c 1883 1151 101 1 - 1458176.0000 -
1882.63/1888.71 c 1889 1156 106 1 - 1458176.0000 -
1887.72/1893.88 c 1894 1158 108 1 - 1458176.0000 -
1893.40/1899.56 c 1900 1165 115 1 - 1458176.0000 -
1904.37/1910.54 c 1911 1169 119 1 - 1458176.0000 -
1910.97/1917.16 c 1917 1174 124 1 - 1458176.0000 -
1916.64/1922.80 c 1923 1175 125 1 - 1458176.0000 -
1923.32/1929.55 c 1930 1177 127 1 - 1458176.0000 -
1929.41/1935.68 c 1936 1179 129 1 - 1458176.0000 -
1936.90/1943.14 c 1943 1181 131 1 - 1458176.0000 -
1943.07/1949.33 c 1949 1183 133 1 - 1458176.0000 -
1949.55/1955.89 c 1956 1185 135 1 - 1458176.0000 -
1956.84/1963.18 c 1963 1195 145 1 - 1458176.0000 -
1963.11/1969.48 c 1969 1200 150 1 - 1458176.0000 -
1968.81/1975.17 c 1975 1207 157 1 - 1458176.0000 -
1973.98/1980.32 c 1980 1214 164 1 - 1458176.0000 -
1980.26/1986.66 c 1987 1224 174 1 - 1458176.0000 -
1985.55/1992.01 c 1992 1227 177 1 - 1458176.0000 -
1992.63/1999.08 c 1999 1233 183 1 - 1458176.0000 -
1998.00/2004.45 c 2004 1243 193 1 - 1458176.0000 -
2003.49/2009.92 c 2010 1249 199 1 - 1458176.0000 -
2009.47/2015.94 c 2016 1259 209 1 - 1458176.0000 -
2016.06/2022.56 c 2023 1273 223 1 - 1458176.0000 -
2021.74/2028.29 c 2028 1276 226 1 - 1458176.0000 -
2027.72/2034.24 c 2034 1281 231 1 - 1458176.0000 -
2034.62/2041.16 c 2041 1282 232 1 - 1458176.0000 -
2045.49/2052.03 c 2052 1288 238 1 - 1458176.0000 -
2054.56/2061.18 c 2061 1297 247 1 - 1458176.0000 -
2060.63/2067.23 c 2067 1302 252 1 - 1458176.0000 -
2066.21/2072.87 c 2073 1305 255 1 - 1458176.0000 -
2074.69/2081.34 c 2081 1312 262 1 - 1458176.0000 -
2081.17/2087.85 c 2088 1317 267 1 - 1458176.0000 -
2087.66/2094.35 c 2094 1319 269 1 - 1458176.0000 -
2095.04/2101.74 c 2102 1328 278 1 - 1458176.0000 -
2101.52/2108.27 c 2108 1333 283 1 - 1458176.0000 -
2106.90/2113.68 c 2114 1336 286 1 - 1458176.0000 -
2114.08/2120.82 c 2121 1340 290 1 - 1458176.0000 -
2119.17/2126.01 c 2126 1342 292 1 - 1458176.0000 -
2127.74/2134.57 c 2135 1348 298 1 - 1458176.0000 -
2134.42/2141.25 c 2141 1358 308 1 - 1458176.0000 -
2139.41/2146.27 c 2146 1362 312 1 - 1458176.0000 -
2145.09/2151.93 c 2152 1367 317 1 - 1458176.0000 -
2150.78/2157.70 c 2158 1374 324 1 - 1458176.0000 -
2156.96/2163.85 c 2164 1380 330 1 - 1458176.0000 -
2163.75/2170.66 c 2171 1393 343 1 - 1458176.0000 -
2169.25/2176.18 c 2176 1395 345 1 - 1458176.0000 -
2174.72/2181.64 c 2182 1400 350 1 - 1458176.0000 -
2180.00/2186.92 c 2187 1403 353 1 - 1458176.0000 -
2185.39/2192.32 c 2192 1406 356 1 - 1458176.0000 -
2194.86/2201.81 c 2202 1410 360 1 - 1458176.0000 -
2200.94/2207.94 c 2208 1412 362 1 - 1458176.0000 -
2207.14/2214.18 c 2214 1415 365 1 - 1458176.0000 -
2213.02/2220.01 c 2220 1417 367 1 - 1458176.0000 -
2219.59/2226.68 c 2227 1419 369 1 - 1458176.0000 -
2225.28/2232.38 c 2232 1421 371 1 - 1458176.0000 -
2230.86/2237.92 c 2238 1425 375 1 - 1458176.0000 -
2238.95/2246.08 c 2246 1428 378 1 - 1458176.0000 -
2245.12/2252.27 c 2252 1431 381 1 - 1458176.0000 -
2262.57/2269.76 c 2270 1434 384 1 - 1458176.0000 -
2269.75/2276.93 c 2277 1436 386 1 - 1458176.0000 -
2275.04/2282.27 c 2282 1438 388 1 - 1458176.0000 -
2280.32/2287.50 c 2288 1440 390 1 - 1458176.0000 -
2291.90/2299.15 c 2299 1442 392 1 - 1458176.0000 -
2297.97/2305.20 c 2305 1443 393 1 - 1458176.0000 -
2306.76/2314.10 c 2314 1444 394 1 - 1458176.0000 -
2312.62/2319.98 c 2320 1445 395 1 - 1458176.0000 -
2323.29/2330.66 c 2331 1446 396 1 - 1458176.0000 -
2328.48/2335.81 c 2336 1449 399 1 - 1458176.0000 -
2336.36/2343.73 c 2344 1453 403 1 - 1458176.0000 -
2342.04/2349.46 c 2349 1457 407 1 - 1458176.0000 -
2351.11/2358.58 c 2359 1459 409 1 - 1458176.0000 -
2360.48/2367.96 c 2368 1464 414 1 - 1458176.0000 -
2367.06/2374.57 c 2375 1466 416 1 - 1458176.0000 -
2374.44/2381.95 c 2382 1469 419 1 - 1458176.0000 -
2387.51/2395.07 c 2395 1470 420 1 - 1458176.0000 -
2392.98/2400.57 c 2401 1473 423 1 - 1458176.0000 -
2403.94/2411.53 c 2412 1475 425 1 - 1458176.0000 -
2409.92/2417.54 c 2418 1479 429 1 - 1458176.0000 -
2417.60/2425.27 c 2425 1482 432 1 - 1458176.0000 -
2422.88/2430.54 c 2431 1484 434 1 - 1458176.0000 -
2430.26/2437.98 c 2438 1489 439 1 - 1458176.0000 -
2446.11/2453.80 c 2454 1490 440 1 - 1458176.0000 -
2451.99/2459.79 c 2460 1495 445 1 - 1458176.0000 -
2457.17/2464.91 c 2465 1505 455 1 - 1458176.0000 -
2463.15/2470.90 c 2471 1510 460 1 - 1458176.0000 -
2469.03/2476.81 c 2477 1514 464 1 - 1458176.0000 -
2475.01/2482.86 c 2483 1519 469 1 - 1458176.0000 -
2482.98/2490.87 c 2491 1523 473 1 - 1458176.0000 -
2489.18/2497.03 c 2497 1525 475 1 - 1458176.0000 -
2497.26/2505.16 c 2505 1531 481 1 - 1458176.0000 -
2504.14/2512.08 c 2512 1533 483 1 - 1458176.0000 -
2509.81/2517.73 c 2518 1536 486 1 - 1458176.0000 -
2518.19/2526.13 c 2526 1539 489 1 - 1458176.0000 -
2524.86/2532.81 c 2533 1547 497 1 - 1458176.0000 -
2535.04/2543.08 c 2543 1550 500 1 - 1458176.0000 -
2541.80/2549.87 c 2550 1551 501 1 - 1458176.0000 -
2546.89/2554.97 c 2555 1555 505 1 - 1458176.0000 -
2552.47/2560.56 c 2561 1560 510 1 - 1458176.0000 -
2558.85/2566.91 c 2567 1564 514 1 - 1458176.0000 -
2563.83/2572.01 c 2572 1570 520 1 - 1458176.0000 -
2570.41/2578.50 c 2578 1575 525 1 - 1458176.0000 -
2575.90/2584.08 c 2584 1578 528 1 - 1458176.0000 -
2581.07/2589.28 c 2589 1582 532 1 - 1458176.0000 -
2587.35/2595.52 c 2596 1584 534 1 - 1458176.0000 -
2604.60/2612.85 c 2613 1588 538 1 - 1458176.0000 -
2611.38/2619.67 c 2620 1589 539 1 - 1458176.0000 -
2622.34/2630.62 c 2631 1592 542 1 - 1458176.0000 -
2630.32/2638.66 c 2639 1594 544 1 - 1458176.0000 -
2639.19/2647.54 c 2648 1596 546 1 - 1458176.0000 -
2647.46/2655.85 c 2656 1597 547 1 - 1458176.0000 -
2654.35/2662.72 c 2663 1599 549 1 - 1458176.0000 -
2659.64/2668.05 c 2668 1602 552 1 - 1458176.0000 -
2665.91/2674.36 c 2674 1606 556 1 - 1458176.0000 -
2672.49/2681.01 c 2681 1619 569 1 - 1458176.0000 -
2678.07/2686.58 c 2687 1622 572 1 - 1458176.0000 -
2684.66/2693.14 c 2693 1624 574 1 - 1458176.0000 -
2690.23/2698.76 c 2699 1626 576 1 - 1458176.0000 -
2706.08/2714.61 c 2715 1630 580 1 - 1458176.0000 -
2712.95/2721.53 c 2722 1632 582 1 - 1458176.0000 -
2718.64/2727.20 c 2727 1634 584 1 - 1458176.0000 -
2726.01/2734.62 c 2735 1639 589 1 - 1458176.0000 -
2732.40/2741.07 c 2741 1641 591 1 - 1458176.0000 -
2741.26/2749.95 c 2750 1646 596 1 - 1458176.0000 -
2748.24/2756.98 c 2757 1663 613 1 - 1458176.0000 -
2763.30/2772.05 c 2772 1670 620 1 - 1458176.0000 -
2769.77/2778.55 c 2779 1673 623 1 - 1458176.0000 -
2776.26/2785.05 c 2785 1677 627 1 - 1458176.0000 -
2782.04/2790.83 c 2791 1679 629 1 - 1458176.0000 -
2788.92/2797.74 c 2798 1681 631 1 - 1458176.0000 -
2793.90/2802.78 c 2803 1688 638 1 - 1458176.0000 -
2798.98/2807.89 c 2808 1696 646 1 - 1458176.0000 -
2804.28/2813.16 c 2813 1698 648 1 - 1458176.0000 -
2810.05/2818.91 c 2819 1700 650 1 - 1458176.0000 -
2817.03/2825.94 c 2826 1702 652 1 - 1458176.0000 -
2822.12/2831.06 c 2831 1704 654 1 - 1458176.0000 -
2828.79/2837.72 c 2838 1706 656 1 - 1458176.0000 -
2834.87/2843.85 c 2844 1718 668 1 - 1458176.0000 -
2840.55/2849.54 c 2850 1722 672 1 - 1458176.0000 -
2847.73/2856.70 c 2857 1725 675 1 - 1458176.0000 -
2855.11/2864.15 c 2864 1727 677 1 - 1458176.0000 -
2862.28/2871.33 c 2871 1729 679 1 - 1458176.0000 -
2871.15/2880.22 c 2880 1730 680 1 - 1458176.0000 -
2884.81/2893.91 c 2894 1732 682 1 - 1458176.0000 -
2892.00/2901.18 c 2901 1734 684 1 - 1458176.0000 -
2899.66/2908.85 c 2909 1736 686 1 - 1458176.0000 -
2906.44/2915.68 c 2916 1738 688 1 - 1458176.0000 -
2911.62/2920.82 c 2921 1739 689 1 - 1458176.0000 -
2917.00/2926.27 c 2926 1740 690 1 - 1458176.0000 -
2923.18/2932.46 c 2932 1742 692 1 - 1458176.0000 -
2929.66/2938.92 c 2939 1755 705 1 - 1458176.0000 -
2935.04/2944.32 c 2944 1757 707 1 - 1458176.0000 -
2940.63/2949.91 c 2950 1759 709 1 - 1458176.0000 -
2945.72/2955.09 c 2955 1760 710 1 - 1458176.0000 -
2951.59/2960.90 c 2961 1762 712 1 - 1458176.0000 -
2958.37/2967.77 c 2968 1763 713 1 - 1458176.0000 -
2963.85/2973.25 c 2973 1765 715 1 - 1458176.0000 -
2969.14/2978.59 c 2979 1768 718 1 - 1458176.0000 -
2977.02/2986.42 c 2986 1773 723 1 - 1458176.0000 -
2984.79/2994.21 c 2994 1777 727 1 - 1458176.0000 -
2990.77/3000.26 c 3000 1786 736 1 - 1458176.0000 -
2997.15/3006.62 c 3007 1797 747 1 - 1458176.0000 -
3003.23/3012.72 c 3013 1798 748 1 - 1458176.0000 -
3009.02/3018.50 c 3018 1801 751 1 - 1458176.0000 -
3014.30/3023.81 c 3024 1803 753 1 - 1458176.0000 -
3020.49/3030.04 c 3030 1807 757 1 - 1458176.0000 -
3026.06/3035.66 c 3036 1810 760 1 - 1458176.0000 -
3033.24/3042.88 c 3043 1813 763 1 - 1458176.0000 -
3039.12/3048.77 c 3049 1818 768 1 - 1458176.0000 -
3044.80/3054.44 c 3054 1820 770 1 - 1458176.0000 -
3051.39/3061.06 c 3061 1822 772 1 - 1458176.0000 -
3057.56/3067.27 c 3067 1824 774 1 - 1458176.0000 -
3064.64/3074.39 c 3074 1827 777 1 - 1458176.0000 -
3071.22/3080.93 c 3081 1828 778 1 - 1458176.0000 -
3077.10/3086.90 c 3087 1830 780 1 - 1458176.0000 -
3083.77/3093.53 c 3094 1833 783 1 - 1458176.0000 -
3089.55/3099.34 c 3099 1835 785 1 - 1458176.0000 -
3094.85/3104.63 c 3105 1837 787 1 - 1458176.0000 -
3100.53/3110.31 c 3110 1841 791 1 - 1458176.0000 -
3105.81/3115.62 c 3116 1845 795 1 - 1458176.0000 -
3111.20/3121.04 c 3121 1850 800 1 - 1458176.0000 -
3118.87/3128.76 c 3129 1857 807 1 - 1458176.0000 -
3125.05/3134.94 c 3135 1861 811 1 - 1458176.0000 -
3132.42/3142.32 c 3142 1868 818 1 - 1458176.0000 -
3137.71/3147.65 c 3148 1874 824 1 - 1458176.0000 -
3144.68/3154.61 c 3155 1878 828 1 - 1458176.0000 -
3151.07/3161.08 c 3161 1881 831 1 - 1458176.0000 -
3159.05/3169.10 c 3169 1889 839 1 - 1458176.0000 -
3165.42/3175.45 c 3175 1892 842 1 - 1458176.0000 -
3172.20/3182.21 c 3182 1901 851 1 - 1458176.0000 -
3178.67/3188.75 c 3189 1909 859 1 - 1458176.0000 -
3184.36/3194.48 c 3194 1915 865 1 - 1458176.0000 -
3191.05/3201.16 c 3201 1920 870 1 - 1458176.0000 -
3196.12/3206.28 c 3206 1928 878 1 - 1458176.0000 -
3202.91/3213.07 c 3213 1934 884 1 - 1458176.0000 -
3208.18/3218.38 c 3218 1948 898 1 - 1458176.0000 -
3215.45/3225.64 c 3226 1964 914 1 - 1458176.0000 -
3221.44/3231.62 c 3232 1975 925 1 - 1458176.0000 -
3229.82/3240.06 c 3240 1978 928 1 - 1458176.0000 -
3235.39/3245.68 c 3246 1982 932 1 - 1458176.0000 -
3240.57/3250.81 c 3251 1985 935 1 - 1458176.0000 -
3245.95/3256.29 c 3256 2003 953 1 - 1458176.0000 -
3251.24/3261.53 c 3262 2006 956 1 - 1458176.0000 -
3257.83/3268.11 c 3268 2011 961 1 - 1458176.0000 -
3263.30/3273.65 c 3274 2013 963 1 - 1458176.0000 -
3270.79/3281.11 c 3281 2019 969 1 - 1458176.0000 -
3281.34/3291.71 c 3292 2030 980 1 - 1458176.0000 -
3287.52/3297.93 c 3298 2034 984 1 - 1458176.0000 -
3293.31/3303.75 c 3304 2036 986 1 - 1458176.0000 -
3300.79/3311.23 c 3311 2041 991 1 - 1458176.0000 -
3306.77/3317.21 c 3317 2044 994 1 - 1458176.0000 -
3312.66/3323.11 c 3323 2054 1004 1 - 1458176.0000 -
3318.73/3329.22 c 3329 2066 1016 1 - 1458176.0000 -
3323.91/3334.41 c 3334 2074 1024 1 - 1458176.0000 -
3329.40/3339.99 c 3340 2077 1027 1 - 1458176.0000 -
3335.59/3346.19 c 3346 2081 1031 1 - 1458176.0000 -
3341.26/3351.83 c 3352 2092 1042 1 - 1458176.0000 -
3347.24/3357.88 c 3358 2102 1052 1 - 1458176.0000 -
3354.12/3364.70 c 3365 2110 1060 1 - 1458176.0000 -
3359.90/3370.52 c 3371 2114 1064 1 - 1458176.0000 -
3365.08/3375.77 c 3376 2118 1068 1 - 1458176.0000 -
3370.16/3380.89 c 3381 2122 1072 1 - 1458176.0000 -
3377.04/3387.79 c 3388 2128 1078 1 - 1458176.0000 -
3382.13/3392.87 c 3393 2133 1083 1 - 1458176.0000 -
3390.41/3401.17 c 3401 2138 1088 1 - 1458176.0000 -
3397.18/3407.97 c 3408 2141 1091 1 - 1458176.0000 -
3402.86/3413.67 c 3414 2149 1099 1 - 1458176.0000 -
3408.25/3419.08 c 3419 2155 1105 1 - 1458176.0000 -
3413.73/3424.52 c 3425 2160 1110 1 - 1458176.0000 -
3419.51/3430.30 c 3430 2164 1114 1 - 1458176.0000 -
3426.68/3437.57 c 3438 2168 1118 1 - 1458176.0000 -
3432.07/3442.95 c 3443 2173 1123 1 - 1458176.0000 -
3439.54/3450.46 c 3450 2178 1128 1 - 1458176.0000 -
3446.82/3457.72 c 3458 2180 1130 1 - 1458176.0000 -
3452.80/3463.78 c 3464 2183 1133 1 - 1458176.0000 -
3458.28/3469.21 c 3469 2186 1136 1 - 1458176.0000 -
3464.96/3475.98 c 3476 2190 1140 1 - 1458176.0000 -
3471.24/3482.20 c 3482 2198 1148 1 - 1458176.0000 -
3476.52/3487.56 c 3488 2204 1154 1 - 1458176.0000 -
3482.20/3493.25 c 3493 2207 1157 1 - 1458176.0000 -
3490.28/3501.35 c 3501 2212 1162 1 - 1458176.0000 -
3498.45/3509.52 c 3510 2215 1165 1 - 1458176.0000 -
3503.83/3514.96 c 3515 2218 1168 1 - 1458176.0000 -
3509.32/3520.45 c 3520 2220 1170 1 - 1458176.0000 -
3516.79/3527.98 c 3528 2222 1172 1 - 1458176.0000 -
3524.17/3535.38 c 3535 2224 1174 1 - 1458176.0000 -
3532.24/3543.41 c 3543 2227 1177 1 - 1458176.0000 -
3538.52/3549.72 c 3550 2229 1179 1 - 1458176.0000 -
3544.30/3555.58 c 3556 2230 1180 1 - 1458176.0000 -
3552.18/3563.48 c 3563 2233 1183 1 - 1458176.0000 -
3559.77/3571.10 c 3571 2235 1185 1 - 1458176.0000 -
3566.64/3577.99 c 3578 2238 1188 1 - 1458176.0000 -
3574.82/3586.13 c 3586 2240 1190 1 - 1458176.0000 -
3581.89/3593.23 c 3593 2242 1192 1 - 1458176.0000 -
3588.57/3600.01 c 3600 2244 1194 0 - 1458176.0000 -
3588.79/3600.15 c SCIP Status : c solving was interrupted [hard time limit reached]
3588.79/3600.15 c Total Time : 3600.1500
3588.79/3600.15 c solving : 3600.1500
3588.79/3600.15 c presolving : 1.4292 (included in solving)
3588.79/3600.15 c B&B Tree :
3588.79/3600.15 c nodes (total) : 1
3588.79/3600.15 c Solution :
3588.79/3600.15 c Solutions found : 0
3588.79/3600.15 c Primal Bound : -
3588.79/3600.15 c Dual Bound : +1.45817600000000e+06
3588.79/3600.15 c Gap : -
3588.97/3600.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: 64059 MiB (62947 MiB free)
memory of node 1: 64510 MiB (61939 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4434575-1721064881/watcher-4434575-1721064881 -o /tmp/evaluation-result-4434575-1721064881/solver-4434575-1721064881 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC002-1721061290-811947 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4434575-1721064881.opb -qsol -t 3600 -sth 1
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=814100, runsolver pid=814097
Current StackSize limit: 8192 KiB
[startup+0.100097 s]*
/proc/loadavg: 4.17 4.21 4.23 5/249 814101
/proc/meminfo: memFree=127824624/131655788 swapFree=131071996/131071996
[pid=814100] ppid=814097 vsize=76696 memory=63228 CPUtime=0.1 cores=0,2
/proc/814100/stat : 814100 (fscip) R 814097 814100 811937 0 -1 4194304 13697 0 0 0 6 4 0 0 20 0 1 0 158646197 78536704 15807 134679101440 4194304 16613245 140722019307760 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 26996736 140722019316757 140722019316873 140722019316873 140722019323888 0
/proc/814100/statm: 19174 15807 2318 3032 0 15574 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 76696 KiB
Current children cumulated memory: 63228 KiB
[startup+0.213387 s]*
/proc/loadavg: 4.17 4.21 4.23 5/249 814101
/proc/meminfo: memFree=127761448/131655788 swapFree=131071996/131071996
[pid=814100] ppid=814097 vsize=99120 memory=83844 CPUtime=0.21 cores=0,2
/proc/814100/stat : 814100 (fscip) R 814097 814100 811937 0 -1 4194304 18879 0 0 0 16 5 0 0 20 0 1 0 158646197 101498880 20961 134679101440 4194304 16613245 140722019307760 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 26996736 140722019316757 140722019316873 140722019316873 140722019323888 0
/proc/814100/statm: 24780 20961 2318 3032 0 21180 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 99120 KiB
Current children cumulated memory: 83844 KiB
[startup+0.313145 s]*
/proc/loadavg: 4.16 4.21 4.23 5/249 814101
/proc/meminfo: memFree=127739868/131655788 swapFree=131071996/131071996
[pid=814100] ppid=814097 vsize=115612 memory=100320 CPUtime=0.32 cores=0,2
/proc/814100/stat : 814100 (fscip) R 814097 814100 811937 0 -1 4194304 22970 0 0 0 25 7 0 0 20 0 1 0 158646197 118386688 25080 134679101440 4194304 16613245 140722019307760 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 26996736 140722019316757 140722019316873 140722019316873 140722019323888 0
/proc/814100/statm: 28903 25080 2318 3032 0 25303 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 115612 KiB
Current children cumulated memory: 100320 KiB
[startup+0.700328 s]
/proc/loadavg: 4.16 4.21 4.23 5/249 814101
/proc/meminfo: memFree=127611936/131655788 swapFree=131071996/131071996
[pid=814100] ppid=814097 vsize=231564 memory=212708 CPUtime=0.69 cores=0,2
/proc/814100/stat : 814100 (fscip) R 814097 814100 811937 0 -1 4194304 53438 0 0 0 56 13 0 0 20 0 1 0 158646197 237121536 53177 134679101440 4194304 16613245 140722019307760 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 26996736 140722019316757 140722019316873 140722019316873 140722019323888 0
/proc/814100/statm: 57891 53177 2622 3032 0 54291 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 231564 KiB
Current children cumulated memory: 212708 KiB
[startup+1.50033 s]
/proc/loadavg: 4.16 4.21 4.23 5/249 814101
/proc/meminfo: memFree=127513144/131655788 swapFree=131071996/131071996
[pid=814100] ppid=814097 vsize=292516 memory=271144 CPUtime=1.48 cores=0,2
/proc/814100/stat : 814100 (fscip) R 814097 814100 811937 0 -1 4194304 74312 0 0 0 131 17 0 0 20 0 1 0 158646197 299536384 67786 134679101440 4194304 16613245 140722019307760 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 26996736 140722019316757 140722019316873 140722019316873 140722019323888 0
/proc/814100/statm: 73129 67786 2734 3032 0 69529 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 292516 KiB
Current children cumulated memory: 271144 KiB
[startup+3.10863 s]
/proc/loadavg: 4.16 4.21 4.23 5/251 814105
/proc/meminfo: memFree=127214780/131655788 swapFree=131071996/131071996
[pid=814100] ppid=814097 vsize=646532 memory=519688 CPUtime=3.07 cores=0,2
/proc/814100/stat : 814100 (fscip) S 814097 814100 811937 0 -1 1077936128 146957 0 0 0 274 33 0 0 20 0 3 0 158646197 662048768 129922 134679101440 4194304 16613245 140722019307760 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 26996736 140722019316757 140722019316873 140722019316873 140722019323888 0
/proc/814100/statm: 161633 129922 2798 3032 0 150866 0
[pid=814100/tid=814104] ppid=814097 vsize=646532 memory=198340509722 CPUtime=1.02 cores=0,2
/proc/814100/task/814104/stat : 814104 (fscip) R 814097 814100 811937 0 -1 4194368 53070 0 0 0 88 14 0 0 20 0 3 0 158646397 662048768 129922 134679101440 4194304 16613245 140722019307760 0 0 0 0 0 2 0 0 0 -1 2 0 0 0 0 0 18822208 18930672 26996736 140722019316757 140722019316873 140722019316873 140722019323888 0
[pid=814100/tid=814105] ppid=814097 vsize=646532 memory=0 CPUtime=0 cores=0,2
/proc/814100/task/814105/stat : 814105 (fscip) S 814097 814100 811937 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 158646415 662048768 129922 134679101440 4194304 16613245 140722019307760 0 0 0 0 0 2 1 0 0 -1 0 0 0 0 0 0 18822208 18930672 26996736 140722019316757 140722019316873 140722019316873 140722019323888 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 646532 KiB
Current children cumulated memory: 519688 KiB
[startup+6.30039 s]
/proc/loadavg: 4.14 4.20 4.22 5/251 814105
/proc/meminfo: memFree=127092564/131655788 swapFree=131071996/131071996
[pid=814100] ppid=814097 vsize=790196 memory=647320 CPUtime=6.24 cores=0,2
/proc/814100/stat : 814100 (fscip) S 814097 814100 811937 0 -1 1077936128 195006 0 0 0 582 42 0 0 20 0 3 0 158646197 809160704 161830 134679101440 4194304 16613245 140722019307760 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 26996736 140722019316757 140722019316873 140722019316873 140722019323888 0
/proc/814100/statm: 197549 161830 3230 3032 0 183959 0
[pid=814100/tid=814104] ppid=814097 vsize=790196 memory=-6082789065514728293 CPUtime=4.19 cores=0,2
/proc/814100/task/814104/stat : 814104 (fscip) R 814097 814100 811937 0 -1 4194368 101113 0 0 0 396 23 0 0 20 0 3 0 158646397 809160704 161830 134679101440 4194304 16613245 140722019307760 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 26996736 140722019316757 140722019316873 140722019316873 140722019323888 0
[pid=814100/tid=814105] ppid=814097 vsize=790196 memory=297312 CPUtime=0 cores=0,2
/proc/814100/task/814105/stat : 814105 (fscip) S 814097 814100 811937 0 -1 1077936192 6 0 0 0 0 0 0 0 20 0 3 0 158646415 809160704 161830 134679101440 4194304 16613245 140722019307760 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 26996736 140722019316757 140722019316873 140722019316873 140722019323888 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 790196 KiB
Current children cumulated memory: 647320 KiB
[startup+12.7004 s]
/proc/loadavg: 4.21 4.22 4.23 5/251 814106
/proc/meminfo: memFree=126958964/131655788 swapFree=131071996/131071996
[pid=814100] ppid=814097 vsize=840876 memory=712624 CPUtime=12.63 cores=0,2
/proc/814100/stat : 814100 (fscip) S 814097 814100 811937 0 -1 1077936128 228093 0 0 0 1218 45 0 0 20 0 3 0 158646197 861057024 178156 134679101440 4194304 16613245 140722019307760 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 26996736 140722019316757 140722019316873 140722019316873 140722019323888 0
/proc/814100/statm: 210219 178156 3262 3032 0 200174 0
[pid=814100/tid=814104] ppid=814097 vsize=840876 memory=651072 CPUtime=10.57 cores=0,2
/proc/814100/task/814104/stat : 814104 (fscip) R 814097 814100 811937 0 -1 4194368 134193 0 0 0 1032 25 0 0 20 0 3 0 158646397 861057024 178156 134679101440 4194304 16613245 140722019307760 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 26996736 140722019316757 140722019316873 140722019316873 140722019323888 0
[pid=814100/tid=814105] ppid=814097 vsize=840876 memory=546344 CPUtime=0 cores=0,2
/proc/814100/task/814105/stat : 814105 (fscip) S 814097 814100 811937 0 -1 1077936192 13 0 0 0 0 0 0 0 20 0 3 0 158646415 861057024 178156 134679101440 4194304 16613245 140722019307760 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 26996736 140722019316757 140722019316873 140722019316873 140722019323888 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 840876 KiB
Current children cumulated memory: 712624 KiB
[startup+25.5004 s]
/proc/loadavg: 4.18 4.21 4.23 5/251 814109
/proc/meminfo: memFree=126941400/131655788 swapFree=131071996/131071996
[pid=814100] ppid=814097 vsize=840876 memory=713320 CPUtime=25.39 cores=0,2
/proc/814100/stat : 814100 (fscip) S 814097 814100 811937 0 -1 1077936128 262154 0 0 0 2492 47 0 0 20 0 3 0 158646197 861057024 178330 134679101440 4194304 16613245 140722019307760 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 26996736 140722019316757 140722019316873 140722019316873 140722019323888 0
/proc/814100/statm: 210219 178330 3310 3032 0 200174 0
[pid=814100/tid=814104] ppid=814097 vsize=840876 memory=280125417954080 CPUtime=23.33 cores=0,2
/proc/814100/task/814104/stat : 814104 (fscip) R 814097 814100 811937 0 -1 4194368 168187 0 0 0 2306 27 0 0 20 0 3 0 158646397 861057024 178330 134679101440 4194304 16613245 140722019307760 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 26996736 140722019316757 140722019316873 140722019316873 140722019323888 0
[pid=814100/tid=814105] ppid=814097 vsize=840876 memory=12440 CPUtime=0 cores=0,2
/proc/814100/task/814105/stat : 814105 (fscip) S 814097 814100 811937 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 3 0 158646415 861057024 178330 134679101440 4194304 16613245 140722019307760 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 26996736 140722019316757 140722019316873 140722019316873 140722019323888 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 840876 KiB
Current children cumulated memory: 713320 KiB
[startup+51.1131 s]
/proc/loadavg: 4.11 4.19 4.22 5/250 814113
/proc/meminfo: memFree=126854892/131655788 swapFree=131071996/131071996
[pid=814100] ppid=814097 vsize=840876 memory=720424 CPUtime=50.92 cores=0,2
/proc/814100/stat : 814100 (fscip) S 814097 814100 811937 0 -1 1077936128 318778 0 0 0 5042 50 0 0 20 0 3 0 158646197 861057024 180106 134679101440 4194304 16613245 140722019307760 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 26996736 140722019316757 140722019316873 140722019316873 140722019323888 0
/proc/814100/statm: 210219 180106 3310 3032 0 201948 0
[pid=814100/tid=814104] ppid=814097 vsize=840876 memory=713328 CPUtime=48.86 cores=0,2
/proc/814100/task/814104/stat : 814104 (fscip) R 814097 814100 811937 0 -1 4194368 224731 0 0 0 4856 30 0 0 20 0 3 0 158646397 861057024 180106 134679101440 4194304 16613245 140722019307760 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 26996736 140722019316757 140722019316873 140722019316873 140722019323888 0
[pid=814100/tid=814105] ppid=814097 vsize=840876 memory=713320 CPUtime=0 cores=0,2
/proc/814100/task/814105/stat : 814105 (fscip) S 814097 814100 811937 0 -1 1077936192 41 0 0 0 0 0 0 0 20 0 3 0 158646415 861057024 180106 134679101440 4194304 16613245 140722019307760 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 26996736 140722019316757 140722019316873 140722019316873 140722019323888 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 840876 KiB
Current children cumulated memory: 720424 KiB
[startup+102.3 s]
/proc/loadavg: 4.16 4.19 4.21 5/249 814124
/proc/meminfo: memFree=126777664/131655788 swapFree=131071996/131071996
[pid=814100] ppid=814097 vsize=840876 memory=726332 CPUtime=101.94 cores=0,2
/proc/814100/stat : 814100 (fscip) S 814097 814100 811937 0 -1 1077936128 376685 0 0 0 10141 53 0 0 20 0 3 0 158646197 861057024 181583 134679101440 4194304 16613245 140722019307760 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 26996736 140722019316757 140722019316873 140722019316873 140722019323888 0
/proc/814100/statm: 210219 181583 3310 3032 0 203438 0
[pid=814100/tid=814104] ppid=814097 vsize=840876 memory=726332 CPUtime=99.88 cores=0,2
/proc/814100/task/814104/stat : 814104 (fscip) R 814097 814100 811937 0 -1 4194368 282538 0 0 0 9955 33 0 0 20 0 3 0 158646397 861057024 181583 134679101440 4194304 16613245 140722019307760 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 26996736 140722019316757 140722019316873 140722019316873 140722019323888 0
[pid=814100/tid=814105] ppid=814097 vsize=840876 memory=726332 CPUtime=0 cores=0,2
/proc/814100/task/814105/stat : 814105 (fscip) S 814097 814100 811937 0 -1 1077936192 58 0 0 0 0 0 0 0 20 0 3 0 158646415 861057024 181583 134679101440 4194304 16613245 140722019307760 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 26996736 140722019316757 140722019316873 140722019316873 140722019323888 0
Current children cumulated CPU time: 101.94 s
Current children cumulated vsize: 840876 KiB
Current children cumulated memory: 726332 KiB
[startup+162.3 s]
/proc/loadavg: 4.18 4.18 4.21 5/249 814134
/proc/meminfo: memFree=126628336/131655788 swapFree=131071996/131071996
[pid=814100] ppid=814097 vsize=840876 memory=726332 CPUtime=161.73 cores=0,2
/proc/814100/stat : 814100 (fscip) S 814097 814100 811937 0 -1 1077936128 413279 0 0 0 16118 55 0 0 20 0 3 0 158646197 861057024 181583 134679101440 4194304 16613245 140722019307760 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 26996736 140722019316757 140722019316873 140722019316873 140722019323888 0
/proc/814100/statm: 210219 181583 3310 3032 0 203438 0
[pid=814100/tid=814104] ppid=814097 vsize=840876 memory=726332 CPUtime=159.67 cores=0,2
/proc/814100/task/814104/stat : 814104 (fscip) R 814097 814100 811937 0 -1 4194368 319073 0 0 0 15932 35 0 0 20 0 3 0 158646397 861057024 181583 134679101440 4194304 16613245 140722019307760 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 26996736 140722019316757 140722019316873 140722019316873 140722019323888 0
[pid=814100/tid=814105] ppid=814097 vsize=840876 memory=2216 CPUtime=0 cores=0,2
/proc/814100/task/814105/stat : 814105 (fscip) S 814097 814100 811937 0 -1 1077936192 69 0 0 0 0 0 0 0 20 0 3 0 158646415 861057024 181583 134679101440 4194304 16613245 140722019307760 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 26996736 140722019316757 140722019316873 140722019316873 140722019323888 0
Current children cumulated CPU time: 161.73 s
Current children cumulated vsize: 840876 KiB
Current children cumulated memory: 726332 KiB
[startup+222.3 s]
/proc/loadavg: 4.11 4.16 4.20 5/249 814144
/proc/meminfo: memFree=126595420/131655788 swapFree=131071996/131071996
[pid=814100] ppid=814097 vsize=840876 memory=726336 CPUtime=221.54 cores=0,2
/proc/814100/stat : 814100 (fscip) S 814097 814100 811937 0 -1 1077936128 432735 0 0 0 22097 57 0 0 20 0 3 0 158646197 861057024 181584 134679101440 4194304 16613245 140722019307760 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 26996736 140722019316757 140722019316873 140722019316873 140722019323888 0
/proc/814100/statm: 210219 181584 3310 3032 0 203438 0
[pid=814100/tid=814104] ppid=814097 vsize=840876 memory=726332 CPUtime=219.47 cores=0,2
/proc/814100/task/814104/stat : 814104 (fscip) R 814097 814100 811937 0 -1 4194368 338498 0 0 0 21911 36 0 0 20 0 3 0 158646397 861057024 181584 134679101440 4194304 16613245 140722019307760 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 26996736 140722019316757 140722019316873 140722019316873 140722019323888 0
[pid=814100/tid=814105] ppid=814097 vsize=840876 memory=12440 CPUtime=0 cores=0,2
/proc/814100/task/814105/stat : 814105 (fscip) S 814097 814100 811937 0 -1 1077936192 76 0 0 0 0 0 0 0 20 0 3 0 158646415 861057024 181584 134679101440 4194304 16613245 140722019307760 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 26996736 140722019316757 140722019316873 140722019316873 140722019323888 0
Current children cumulated CPU time: 221.54 s
Current children cumulated vsize: 840876 KiB
Current children cumulated memory: 726336 KiB
[startup+282.3 s]
/proc/loadavg: 4.14 4.16 4.19 5/249 814156
/proc/meminfo: memFree=126570348/131655788 swapFree=131071996/131071996
[pid=814100] ppid=814097 vsize=840876 memory=726336 CPUtime=281.34 cores=0,2
################
# More data... #
################
/proc/loadavg: 4.19 4.23 4.18 5/252 816026
/proc/meminfo: memFree=126082444/131655788 swapFree=131071996/131071996
[pid=814100] ppid=814097 vsize=986804 memory=850616 CPUtime=3451.4 cores=0,2
/proc/814100/stat : 814100 (fscip) S 814097 814100 811937 0 -1 1077936128 1028224 0 0 0 345033 107 0 0 20 0 3 0 158646197 1010487296 212654 134679101440 4194304 16613245 140722019307760 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 26996736 140722019316757 140722019316873 140722019316873 140722019323888 0
/proc/814100/statm: 246701 212654 3310 3032 0 227400 0
[pid=814100/tid=814104] ppid=814097 vsize=986804 memory=12440 CPUtime=3449.16 cores=0,2
/proc/814100/task/814104/stat : 814104 (fscip) R 814097 814100 811937 0 -1 4194368 932764 0 0 0 344838 78 0 0 20 0 3 0 158646397 1010487296 212654 134679101440 4194304 16613245 140722019307760 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 26996736 140722019316757 140722019316873 140722019316873 140722019323888 0
[pid=814100/tid=814105] ppid=814097 vsize=986804 memory=850616 CPUtime=0.04 cores=0,2
/proc/814100/task/814105/stat : 814105 (fscip) S 814097 814100 811937 0 -1 1077936192 382 0 0 0 1 3 0 0 20 0 3 0 158646415 1010487296 212654 134679101440 4194304 16613245 140722019307760 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 26996736 140722019316757 140722019316873 140722019316873 140722019323888 0
Current children cumulated CPU time: 3451.4 s
Current children cumulated vsize: 986804 KiB
Current children cumulated memory: 850616 KiB
[startup+3522.3 s]
/proc/loadavg: 4.12 4.20 4.17 5/252 816036
/proc/meminfo: memFree=126062552/131655788 swapFree=131071996/131071996
[pid=814100] ppid=814097 vsize=986804 memory=850616 CPUtime=3511.21 cores=0,2
/proc/814100/stat : 814100 (fscip) S 814097 814100 811937 0 -1 1077936128 1029503 0 0 0 351014 107 0 0 20 0 3 0 158646197 1010487296 212654 134679101440 4194304 16613245 140722019307760 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 26996736 140722019316757 140722019316873 140722019316873 140722019323888 0
/proc/814100/statm: 246701 212654 3310 3032 0 227400 0
[pid=814100/tid=814104] ppid=814097 vsize=986804 memory=12440 CPUtime=3508.97 cores=0,2
/proc/814100/task/814104/stat : 814104 (fscip) R 814097 814100 811937 0 -1 4194368 934025 0 0 0 350819 78 0 0 20 0 3 0 158646397 1010487296 212654 134679101440 4194304 16613245 140722019307760 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 26996736 140722019316757 140722019316873 140722019316873 140722019323888 0
[pid=814100/tid=814105] ppid=814097 vsize=986804 memory=42604 CPUtime=0.05 cores=0,2
/proc/814100/task/814105/stat : 814105 (fscip) S 814097 814100 811937 0 -1 1077936192 388 0 0 0 1 4 0 0 20 0 3 0 158646415 1010487296 212654 134679101440 4194304 16613245 140722019307760 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 26996736 140722019316757 140722019316873 140722019316873 140722019323888 0
Current children cumulated CPU time: 3511.21 s
Current children cumulated vsize: 986804 KiB
Current children cumulated memory: 850616 KiB
[startup+3582.3 s]
/proc/loadavg: 4.08 4.18 4.17 5/250 816046
/proc/meminfo: memFree=126028472/131655788 swapFree=131071996/131071996
[pid=814100] ppid=814097 vsize=986804 memory=850616 CPUtime=3571.02 cores=0,2
/proc/814100/stat : 814100 (fscip) S 814097 814100 811937 0 -1 1077936128 1031195 0 0 0 356995 107 0 0 20 0 3 0 158646197 1010487296 212654 134679101440 4194304 16613245 140722019307760 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 26996736 140722019316757 140722019316873 140722019316873 140722019323888 0
/proc/814100/statm: 246701 212654 3310 3032 0 227400 0
[pid=814100/tid=814104] ppid=814097 vsize=986804 memory=42604 CPUtime=3568.78 cores=0,2
/proc/814100/task/814104/stat : 814104 (fscip) R 814097 814100 811937 0 -1 4194368 935695 0 0 0 356800 78 0 0 20 0 3 0 158646397 1010487296 212654 134679101440 4194304 16613245 140722019307760 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 26996736 140722019316757 140722019316873 140722019316873 140722019323888 0
[pid=814100/tid=814105] ppid=814097 vsize=986804 memory=2216 CPUtime=0.05 cores=0,2
/proc/814100/task/814105/stat : 814105 (fscip) S 814097 814100 811937 0 -1 1077936192 393 0 0 0 1 4 0 0 20 0 3 0 158646415 1010487296 212654 134679101440 4194304 16613245 140722019307760 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 26996736 140722019316757 140722019316873 140722019316873 140722019323888 0
Current children cumulated CPU time: 3571.02 s
Current children cumulated vsize: 986804 KiB
Current children cumulated memory: 850616 KiB
[startup+3600.38 s]
# the end of solver process 814100 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3587.95 s, system=1.10664 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.08 4.18 4.17 5/250 816046
/proc/meminfo: memFree=126028676/131655788 swapFree=131071996/131071996
[pid=814100] ppid=814097 vsize=986804 memory=850616 CPUtime=3572.73 cores=0,2
/proc/814100/stat : 814100 (fscip) S 814097 814100 811937 0 -1 1077936128 1031195 0 0 0 357166 107 0 0 20 0 3 0 158646197 1010487296 212654 134679101440 4194304 16613245 140722019307760 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 26996736 140722019316757 140722019316873 140722019316873 140722019323888 0
/proc/814100/statm: 246701 212654 3310 3032 0 227400 0
[pid=814100/tid=814104] ppid=814097 vsize=986804 memory=-6587191124268596070 CPUtime=3570.48 cores=0,2
/proc/814100/task/814104/stat : 814104 (fscip) R 814097 814100 811937 0 -1 4194368 935695 0 0 0 356970 78 0 0 20 0 3 0 158646397 1010487296 212654 134679101440 4194304 16613245 140722019307760 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 26996736 140722019316757 140722019316873 140722019316873 140722019323888 0
[pid=814100/tid=814105] ppid=814097 vsize=986804 memory=850616 CPUtime=0.05 cores=0,2
/proc/814100/task/814105/stat : 814105 (fscip) S 814097 814100 811937 0 -1 1077936192 393 0 0 0 1 4 0 0 20 0 3 0 158646415 1010487296 212654 134679101440 4194304 16613245 140722019307760 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 26996736 140722019316757 140722019316873 140722019316873 140722019323888 0
Current children cumulated CPU time: 3572.73 s
Current children cumulated vsize: 986804 KiB
Current children cumulated memory: 850616 KiB
[startup+3590.4 s]
/proc/loadavg: 4.16 4.19 4.17 5/250 816046
/proc/meminfo: memFree=126027444/131655788 swapFree=131071996/131071996
[pid=814100] ppid=814097 vsize=986804 memory=850616 CPUtime=3579.1 cores=0,2
/proc/814100/stat : 814100 (fscip) S 814097 814100 811937 0 -1 1077936128 1031210 0 0 0 357803 107 0 0 20 0 3 0 158646197 1010487296 212654 134679101440 4194304 16613245 140722019307760 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 26996736 140722019316757 140722019316873 140722019316873 140722019323888 0
/proc/814100/statm: 246701 212654 3310 3032 0 227400 0
[pid=814100/tid=814104] ppid=814097 vsize=986804 memory=850616 CPUtime=3576.85 cores=0,2
/proc/814100/task/814104/stat : 814104 (fscip) R 814097 814100 811937 0 -1 4194368 935710 0 0 0 357607 78 0 0 20 0 3 0 158646397 1010487296 212654 134679101440 4194304 16613245 140722019307760 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 26996736 140722019316757 140722019316873 140722019316873 140722019323888 0
[pid=814100/tid=814105] ppid=814097 vsize=986804 memory=42604 CPUtime=0.05 cores=0,2
/proc/814100/task/814105/stat : 814105 (fscip) S 814097 814100 811937 0 -1 1077936192 393 0 0 0 1 4 0 0 20 0 3 0 158646415 1010487296 212654 134679101440 4194304 16613245 140722019307760 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 26996736 140722019316757 140722019316873 140722019316873 140722019323888 0
Current children cumulated CPU time: 3579.1 s
Current children cumulated vsize: 986804 KiB
Current children cumulated memory: 850616 KiB
[startup+3596.8 s]
/proc/loadavg: 4.13 4.19 4.17 5/250 816048
/proc/meminfo: memFree=126026548/131655788 swapFree=131071996/131071996
[pid=814100] ppid=814097 vsize=986804 memory=850616 CPUtime=3585.48 cores=0,2
/proc/814100/stat : 814100 (fscip) S 814097 814100 811937 0 -1 1077936128 1031237 0 0 0 358441 107 0 0 20 0 3 0 158646197 1010487296 212654 134679101440 4194304 16613245 140722019307760 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 26996736 140722019316757 140722019316873 140722019316873 140722019323888 0
/proc/814100/statm: 246701 212654 3310 3032 0 227400 0
[pid=814100/tid=814104] ppid=814097 vsize=986804 memory=0 CPUtime=3583.23 cores=0,2
/proc/814100/task/814104/stat : 814104 (fscip) R 814097 814100 811937 0 -1 4194368 935735 0 0 0 358245 78 0 0 20 0 3 0 158646397 1010487296 212654 134679101440 4194304 16613245 140722019307760 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 26996736 140722019316757 140722019316873 140722019316873 140722019323888 0
[pid=814100/tid=814105] ppid=814097 vsize=986804 memory=850616 CPUtime=0.05 cores=0,2
/proc/814100/task/814105/stat : 814105 (fscip) S 814097 814100 811937 0 -1 1077936192 395 0 0 0 1 4 0 0 20 0 3 0 158646415 1010487296 212654 134679101440 4194304 16613245 140722019307760 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 26996736 140722019316757 140722019316873 140722019316873 140722019323888 0
Current children cumulated CPU time: 3585.48 s
Current children cumulated vsize: 986804 KiB
Current children cumulated memory: 850616 KiB
[startup+3598.4 s]
/proc/loadavg: 4.13 4.19 4.17 5/245 816062
/proc/meminfo: memFree=126573600/131655788 swapFree=131071996/131071996
[pid=814100] ppid=814097 vsize=986804 memory=850616 CPUtime=3587.07 cores=0,2
/proc/814100/stat : 814100 (fscip) S 814097 814100 811937 0 -1 1077936128 1031596 0 0 0 358600 107 0 0 20 0 3 0 158646197 1010487296 212654 134679101440 4194304 16613245 140722019307760 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 26996736 140722019316757 140722019316873 140722019316873 140722019323888 0
/proc/814100/statm: 246701 212654 3310 3032 0 227400 0
[pid=814100/tid=814104] ppid=814097 vsize=986804 memory=850616 CPUtime=3584.83 cores=0,2
/proc/814100/task/814104/stat : 814104 (fscip) R 814097 814100 811937 0 -1 4194368 936093 0 0 0 358405 78 0 0 20 0 3 0 158646397 1010487296 212654 134679101440 4194304 16613245 140722019307760 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 26996736 140722019316757 140722019316873 140722019316873 140722019323888 0
[pid=814100/tid=814105] ppid=814097 vsize=986804 memory=16328 CPUtime=0.05 cores=0,2
/proc/814100/task/814105/stat : 814105 (fscip) S 814097 814100 811937 0 -1 1077936192 395 0 0 0 1 4 0 0 20 0 3 0 158646415 1010487296 212654 134679101440 4194304 16613245 140722019307760 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 26996736 140722019316757 140722019316873 140722019316873 140722019323888 0
Current children cumulated CPU time: 3587.07 s
Current children cumulated vsize: 986804 KiB
Current children cumulated memory: 850616 KiB
[startup+3599.2 s]
/proc/loadavg: 4.13 4.19 4.17 5/242 816132
/proc/meminfo: memFree=127624844/131655788 swapFree=131071996/131071996
[pid=814100] ppid=814097 vsize=986804 memory=850616 CPUtime=3587.87 cores=0,2
/proc/814100/stat : 814100 (fscip) S 814097 814100 811937 0 -1 1077936128 1031596 0 0 0 358680 107 0 0 20 0 3 0 158646197 1010487296 212654 134679101440 4194304 16613245 140722019307760 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 26996736 140722019316757 140722019316873 140722019316873 140722019323888 0
/proc/814100/statm: 246701 212654 3310 3032 0 227400 0
[pid=814100/tid=814104] ppid=814097 vsize=986804 memory=12440 CPUtime=3585.62 cores=0,2
/proc/814100/task/814104/stat : 814104 (fscip) R 814097 814100 811937 0 -1 4194368 936093 0 0 0 358484 78 0 0 20 0 3 0 158646397 1010487296 212654 134679101440 4194304 16613245 140722019307760 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 26996736 140722019316757 140722019316873 140722019316873 140722019323888 0
[pid=814100/tid=814105] ppid=814097 vsize=986804 memory=42604 CPUtime=0.05 cores=0,2
/proc/814100/task/814105/stat : 814105 (fscip) S 814097 814100 811937 0 -1 1077936192 395 0 0 0 1 4 0 0 20 0 3 0 158646415 1010487296 212654 134679101440 4194304 16613245 140722019307760 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 26996736 140722019316757 140722019316873 140722019316873 140722019323888 0
Current children cumulated CPU time: 3587.87 s
Current children cumulated vsize: 986804 KiB
Current children cumulated memory: 850616 KiB
[startup+3600 s]*
/proc/loadavg: 4.13 4.19 4.17 5/243 816180
/proc/meminfo: memFree=127604924/131655788 swapFree=131071996/131071996
[pid=814100] ppid=814097 vsize=986804 memory=850616 CPUtime=3588.68 cores=0,2
/proc/814100/stat : 814100 (fscip) S 814097 814100 811937 0 -1 1077936128 1031669 0 0 0 358761 107 0 0 20 0 3 0 158646197 1010487296 212654 134679101440 4194304 16613245 140722019307760 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 26996736 140722019316757 140722019316873 140722019316873 140722019323888 0
/proc/814100/statm: 246701 212654 3310 3032 0 227400 0
[pid=814100/tid=814104] ppid=814097 vsize=986804 memory=-6514850955742329700 CPUtime=3586.43 cores=0,2
/proc/814100/task/814104/stat : 814104 (fscip) R 814097 814100 811937 0 -1 4194368 936163 0 0 0 358565 78 0 0 20 0 3 0 158646397 1010487296 212654 134679101440 4194304 16613245 140722019307760 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 26996736 140722019316757 140722019316873 140722019316873 140722019323888 0
[pid=814100/tid=814105] ppid=814097 vsize=986804 memory=-6170700474962901445 CPUtime=0.05 cores=0,2
/proc/814100/task/814105/stat : 814105 (fscip) S 814097 814100 811937 0 -1 1077936192 395 0 0 0 1 4 0 0 20 0 3 0 158646415 1010487296 212654 134679101440 4194304 16613245 140722019307760 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 26996736 140722019316757 140722019316873 140722019316873 140722019323888 0
Current children cumulated CPU time: 3588.68 s
Current children cumulated vsize: 986804 KiB
Current children cumulated memory: 850616 KiB
[startup+3600.21 s]
/proc/loadavg: 4.13 4.19 4.17 5/243 816180
/proc/meminfo: memFree=127604924/131655788 swapFree=131071996/131071996
[pid=814100] ppid=814097 vsize=843140 memory=742368 CPUtime=3588.88 cores=0,2
/proc/814100/stat : 814100 (fscip) R 814097 814100 811937 0 -1 4194304 1033356 0 0 0 358780 108 0 0 20 0 2 0 158646197 863375360 185592 134679101440 4194304 16613245 140722019307760 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 26996736 140722019316757 140722019316873 140722019316873 140722019323888 0
/proc/814100/statm: 210785 185592 3310 3032 0 206700 0
[pid=814100/tid=814105] ppid=814097 vsize=843140 memory=31900 CPUtime=0.05 cores=0,2
/proc/814100/task/814105/stat : 814105 (fscip) S 814097 814100 811937 0 -1 1077936192 395 0 0 0 1 4 0 0 20 0 2 0 158646415 863375360 185592 134679101440 4194304 16613245 140722019307760 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 26996736 140722019316757 140722019316873 140722019316873 140722019323888 0
Current children cumulated CPU time: 3588.88 s
Current children cumulated vsize: 843140 KiB
Current children cumulated memory: 742368 KiB
[startup+3600.3 s]
/proc/loadavg: 4.13 4.19 4.17 5/243 816180
/proc/meminfo: memFree=127604924/131655788 swapFree=131071996/131071996
[pid=814100] ppid=814097 vsize=815436 memory=714664 CPUtime=3588.97 cores=0,2
/proc/814100/stat : 814100 (fscip) R 814097 814100 811937 0 -1 4194304 1036139 0 0 0 358789 108 0 0 20 0 2 0 158646197 835006464 178666 134679101440 4194304 16613245 140722019307760 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 26996736 140722019316757 140722019316873 140722019316873 140722019323888 0
/proc/814100/statm: 203859 178666 3310 3032 0 199774 0
[pid=814100/tid=814105] ppid=814097 vsize=815436 memory=850616 CPUtime=0.05 cores=0,2
/proc/814100/task/814105/stat : 814105 (fscip) S 814097 814100 811937 0 -1 1077936192 395 0 0 0 1 4 0 0 20 0 2 0 158646415 835006464 178666 134679101440 4194304 16613245 140722019307760 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 26996736 140722019316757 140722019316873 140722019316873 140722019323888 0
Current children cumulated CPU time: 3588.97 s
Current children cumulated vsize: 815436 KiB
Current children cumulated memory: 714664 KiB
Child status: 0
Real time (s): 3600.38
CPU time (s): 3589.06
CPU user time (s): 3587.95
CPU system time (s): 1.10664
CPU usage (%): 99.6856
Max. virtual memory (cumulated for all children) (KiB): 986804
Max. memory (cumulated for all children) (KiB): 893976
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3587.95
system time used= 1.10664
maximum resident set size= 893976
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1039326
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= 6613
involuntary context switches= 24589
# summary of solver processes directly reported to runsolver:
# pid: 814100
# total CPU time (s): 3589.06
# total CPU user time (s): 3587.95
# total CPU system time (s): 1.10664
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.332 second user time and 33.7659 second system time
The end
Begin job on nodeC002 at 2024-07-15 19:34:54
IDJOB=4434575
IDBENCH=146841
IDSOLVER=3064
FILE ID=nodeC002/4434575-1721064881
RUNJOBID= nodeC002-1721061290-811947
SLURM_JOB_ID= 7505511
Free space on /tmp= 723688 MiB
SOLVER NAME= FiberSCIP 2024-07-02
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-4434575-1721064881/watcher-4434575-1721064881 -o /tmp/evaluation-result-4434575-1721064881/solver-4434575-1721064881 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC002-1721061290-811947 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4434575-1721064881.opb -qsol -t 3600 -sth 1
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= ae9069a7e4a4f60423faee038f49f7b2
RANDOM SEED=799762747
nodeC002.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 : 3458.078
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.38
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 : 3405.483
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.31
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 : 1197.152
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.38
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 : 1197.266
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.31
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 : 3516.063
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.38
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 : 3491.693
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.31
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 : 1276.693
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.38
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 : 1197.155
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.31
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131655788 kB
MemFree: 127894404 kB
MemAvailable: 129251284 kB
Buffers: 386532 kB
Cached: 1799444 kB
SwapCached: 0 kB
Active: 615372 kB
Inactive: 2591504 kB
Active(anon): 2692 kB
Inactive(anon): 1055904 kB
Active(file): 612680 kB
Inactive(file): 1535600 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 123456 kB
Writeback: 0 kB
AnonPages: 1020008 kB
Mapped: 138052 kB
Shmem: 37704 kB
KReclaimable: 97264 kB
Slab: 194972 kB
SReclaimable: 97264 kB
SUnreclaim: 97708 kB
KernelStack: 3968 kB
PageTables: 11104 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196899888 kB
Committed_AS: 1257264 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 52800 kB
HardwareCorrupted: 0 kB
AnonHugePages: 274432 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: 201544 kB
DirectMap2M: 20674560 kB
DirectMap1G: 115343360 kB
Free space on /tmp at the end= 723664 MiB
End job on nodeC002 at 2024-07-15 20:34:54