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.00/0.05 c Default LC presolving (default).
0.00/0.05 c ** Before presolving: virtualMemUsedAtLc = 36544512, getVmSize() = 36544512, SCIPgetMemUsed() = 10777969, SCIPgetMemTotal() = 14624161, SCIPgetMemExternEstim() = 6549625
0.00/0.05 c ** set memory limit for presolving in LC to 8.79608e+12 for SCIP **
0.11/0.14 c ** Estimated virtualMemUsedAtSolver = 26806954, getVmSize() = 43876352, SCIPgetMemUsed() = 11495603, SCIPgetMemTotal() = 20582835, SCIPgetMemExternEstim() = 6549625
0.11/0.14 c ** set memory limit for solvers to 4.39805e+12 for each SCIP **
0.11/0.14 c Original Problem :
0.11/0.14 c Problem name : instance-4459739-1721939463
0.11/0.14 c Variables : 3302 (200 binary, 0 integer, 3102 implicit integer, 0 continuous)
0.11/0.14 c Constraints : 3502
0.11/0.14 c Objective sense : minimize
0.11/0.14 c Presolved Problem :
0.11/0.14 c Variables : 200 (200 binary, 0 integer, 0 implicit integer, 0 continuous)
0.11/0.14 c Constraints : 3102
0.11/0.14 c Constraints : Number
0.11/0.14 c setppc : 3102
0.11/0.14 c ** Instance transfer method used: 0
0.11/0.15 c ** ParaScipInstance copy does not increase the number of variables. **
0.11/0.17 c LC is working with racing ramp-up and with rebuilding tree after racing.
0.11/0.17 c Nodes Active
0.11/0.17 c Time Nodes Left Solvers Best Integer Best Node Gap Best Node(S) Gap(S)
0.21/0.30 c * 0 0 1 1 -17.0000 - -
0.21/0.31 c * 0 0 1 1 -26.0000 - -
0.30/0.33 c * 0 0 1 1 -27.0000 - -
5.24/5.31 c 5 4 3 1 -27.0000 -48.2895 78.85%
11.04/11.15 c 11 106 31 1 -27.0000 -48.2895 78.85%
16.12/16.21 c 16 318 113 1 -27.0000 -47.1613 74.67%
16.62/16.75 c * 17 357 130 1 -28.0000 -46.6267 66.52%
21.31/21.40 c 21 693 362 1 -28.0000 -46.5116 66.11%
26.91/27.07 c 27 867 500 1 -28.0000 -46.5116 66.11%
32.08/32.21 c 32 1032 645 1 -28.0000 -44.6241 59.37%
37.36/37.52 c 38 1252 829 1 -28.0000 -44.3035 58.23%
42.75/42.96 c 43 1555 1060 1 -28.0000 -44.1121 57.54%
48.14/48.34 c 48 1922 1261 1 -28.0000 -43.9681 57.03%
53.22/53.48 c 53 2352 1499 1 -28.0000 -43.8191 56.50%
58.41/58.69 c 59 2732 1705 1 -28.0000 -43.3583 54.85%
64.10/64.36 c 64 3209 1916 1 -28.0000 -43.3080 54.67%
70.18/70.42 c 70 3727 2152 1 -28.0000 -43.0934 53.90%
75.16/75.47 c 75 4362 2455 1 -28.0000 -42.9025 53.22%
80.25/80.59 c 81 4791 2676 1 -28.0000 -42.7422 52.65%
85.64/85.92 c 86 5085 2834 1 -28.0000 -42.6991 52.50%
91.62/91.94 c 92 5224 1 1 -28.0000 -42.6938 52.48%
96.90/97.26 c 97 5236 13 1 -28.0000 -42.6938 52.48%
102.29/102.67 c 103 5330 105 1 -28.0000 -42.6938 52.48%
107.98/108.35 c 108 5424 193 1 -28.0000 -42.6938 52.48%
113.46/113.85 c 114 5589 356 1 -28.0000 -42.6938 52.48%
119.44/119.89 c 120 5712 475 1 -28.0000 -42.6938 52.48%
124.83/125.23 c 125 5837 596 1 -28.0000 -42.6938 52.48%
130.32/130.75 c 131 5921 676 1 -28.0000 -42.6938 52.48%
135.62/136.05 c 136 6055 788 1 -28.0000 -42.6938 52.48%
141.60/142.01 c 142 6269 978 1 -28.0000 -42.6938 52.48%
147.37/147.84 c 148 6384 1051 1 -28.0000 -42.6938 52.48%
153.67/154.15 c 154 6506 1145 1 -28.0000 -42.6938 52.48%
158.65/159.15 c 159 6645 1246 1 -28.0000 -42.6938 52.48%
164.12/164.68 c 165 6786 1349 1 -28.0000 -42.6938 52.48%
169.53/170.02 c 170 6992 1507 1 -28.0000 -42.6938 52.48%
175.51/176.07 c 176 7193 1670 1 -28.0000 -42.6938 52.48%
180.89/181.46 c 181 7349 1788 1 -28.0000 -42.6938 52.48%
186.37/186.90 c 187 7531 1924 1 -28.0000 -42.6938 52.48%
192.46/193.05 c 193 7670 2015 1 -28.0000 -42.6938 52.48%
198.23/198.83 c 199 7829 2132 1 -28.0000 -42.6938 52.48%
203.53/204.17 c 204 8071 2336 1 -28.0000 -42.6938 52.48%
209.01/209.61 c 210 8312 2505 1 -28.0000 -42.6938 52.48%
214.69/215.38 c 215 8626 2681 1 -28.0000 -42.6938 52.48%
220.08/220.76 c 221 8994 2867 1 -28.0000 -42.6938 52.48%
226.16/226.81 c 227 9393 3074 1 -28.0000 -42.6938 52.48%
231.85/232.59 c 233 9911 3368 1 -28.0000 -42.6938 52.48%
236.54/237.24 c * 237 10494 3741 1 -29.0000 -42.6938 47.22%
236.93/237.64 c 238 10671 3297 1 -29.0000 -42.6938 47.22%
242.33/243.10 c 243 11268 3666 1 -29.0000 -42.6938 47.22%
248.10/248.87 c 249 11713 3885 1 -29.0000 -42.6938 47.22%
253.79/254.56 c 255 12186 4120 1 -29.0000 -42.6938 47.22%
259.77/260.53 c 261 12948 4454 1 -29.0000 -42.6938 47.22%
264.96/265.77 c 266 13629 4863 1 -29.0000 -42.6938 47.22%
270.44/271.23 c 271 13849 5025 1 -29.0000 -42.6938 47.22%
275.92/276.75 c 277 13973 5095 1 -29.0000 -42.6938 47.22%
281.02/281.80 c 282 14239 5209 1 -29.0000 -42.6630 47.11%
286.31/287.12 c 287 14717 5359 1 -29.0000 -42.6233 46.98%
291.88/292.78 c 293 15484 5556 1 -29.0000 -42.2728 45.77%
296.87/297.78 c 298 16111 5707 1 -29.0000 -42.1109 45.21%
302.17/303.09 c 303 17044 5934 1 -29.0000 -41.9783 44.75%
307.15/308.11 c 308 18194 6226 1 -29.0000 -41.7058 43.81%
312.93/313.85 c 314 19151 6441 1 -29.0000 -41.5485 43.27%
318.13/319.09 c 319 19873 6603 1 -29.0000 -41.4831 43.05%
323.38/324.39 c 324 20834 6810 1 -29.0000 -41.3583 42.61%
328.47/329.45 c 329 21504 6980 1 -29.0000 -41.2263 42.16%
333.96/334.93 c 335 22006 7092 1 -29.0000 -41.2220 42.14%
339.24/340.28 c 340 23024 7294 1 -29.0000 -41.1154 41.78%
344.53/345.54 c 346 23768 7444 1 -29.0000 -41.0579 41.58%
350.21/351.24 c 351 24357 7569 1 -29.0000 -41.0438 41.53%
355.19/356.27 c 356 25084 7738 1 -29.0000 -40.9485 41.20%
360.78/361.81 c 362 25744 7884 1 -29.0000 -40.8163 40.75%
366.46/367.52 c 368 26418 8034 1 -29.0000 -40.7614 40.56%
371.85/372.92 c 373 27076 8164 1 -29.0000 -40.7333 40.46%
377.03/378.11 c 378 27664 8276 1 -29.0000 -40.6388 40.13%
382.11/383.25 c 383 28051 8337 1 -29.0000 -40.6355 40.12%
387.09/388.27 c 388 28849 8489 1 -29.0000 -40.6043 40.01%
392.18/393.38 c 393 29774 8650 1 -29.0000 -40.5493 39.83%
398.26/399.48 c 399 30788 8848 1 -29.0000 -40.4796 39.58%
403.65/404.84 c 405 31532 8988 1 -29.0000 -40.4547 39.50%
408.94/410.14 c 410 32094 9086 1 -29.0000 -40.4207 39.38%
414.61/415.88 c 416 32694 9192 1 -29.0000 -40.3546 39.15%
420.10/421.36 c 421 33104 9264 1 -29.0000 -40.3344 39.08%
425.28/426.52 c 427 33584 9374 1 -29.0000 -40.2926 38.94%
430.56/431.83 c 432 33870 9424 1 -29.0000 -40.2759 38.88%
436.54/437.87 c 438 35025 9641 1 -29.0000 -40.2441 38.77%
441.74/443.03 c 443 35704 9774 1 -29.0000 -40.1881 38.58%
446.73/448.05 c 448 36344 9878 1 -29.0000 -40.1491 38.45%
452.00/453.39 c 453 36924 9974 1 -29.0000 -40.0840 38.22%
457.29/458.61 c 459 37764 10106 1 -29.0000 -40.0334 38.05%
463.17/464.51 c 465 38682 10240 1 -29.0000 -40.0049 37.95%
468.25/469.63 c 470 39574 10374 1 -29.0000 -39.9511 37.76%
473.25/474.69 c 475 40364 10488 1 -29.0000 -39.9111 37.62%
478.64/480.02 c 480 41124 10604 1 -29.0000 -39.8280 37.34%
483.92/485.38 c 485 41784 10694 1 -29.0000 -39.8004 37.24%
489.71/491.11 c 491 43004 10854 1 -29.0000 -39.7581 37.10%
494.99/496.44 c 496 44024 10984 1 -29.0000 -39.7056 36.92%
500.18/501.67 c 502 44824 11100 1 -29.0000 -39.6860 36.85%
505.96/507.47 c 507 45848 11234 1 -29.0000 -39.6618 36.76%
511.05/512.54 c 513 46944 11406 1 -29.0000 -39.6000 36.55%
516.24/517.73 c 518 47994 11548 1 -29.0000 -39.5450 36.36%
521.22/522.73 c 523 48874 11674 1 -29.0000 -39.5106 36.24%
526.90/528.40 c 528 49780 11798 1 -29.0000 -39.5000 36.21%
531.89/533.45 c 533 50714 11902 1 -29.0000 -39.4915 36.18%
537.17/538.79 c 539 51514 12024 1 -29.0000 -39.4716 36.11%
543.47/545.10 c 545 52316 12136 1 -29.0000 -39.4376 35.99%
549.64/551.24 c 551 53190 12244 1 -29.0000 -39.4163 35.92%
554.92/556.58 c 557 54234 12370 1 -29.0000 -39.3881 35.82%
560.11/561.74 c 562 55254 12504 1 -29.0000 -39.3390 35.65%
565.78/567.48 c 567 56154 12594 1 -29.0000 -39.3000 35.52%
571.57/573.26 c 573 57122 12722 1 -29.0000 -39.2706 35.42%
577.37/579.10 c 579 57844 12814 1 -29.0000 -39.2491 35.34%
582.64/584.37 c 584 58724 12930 1 -29.0000 -39.2282 35.27%
588.13/589.82 c 590 59784 13058 1 -29.0000 -39.1910 35.14%
593.51/595.28 c 595 60539 13133 1 -29.0000 -39.1791 35.10%
598.80/600.59 c 601 61574 13240 1 -29.0000 -39.1468 34.99%
604.30/606.05 c 606 62514 13366 1 -29.0000 -39.1338 34.94%
609.56/611.36 c 611 63443 13481 1 -29.0000 -39.0824 34.77%
614.65/616.47 c 616 64654 13634 1 -29.0000 -39.0474 34.65%
620.43/622.23 c 622 65411 13743 1 -29.0000 -39.0234 34.56%
626.42/628.27 c 628 66696 13886 1 -29.0000 -39.0000 34.48%
631.51/633.37 c 633 67244 13954 1 -29.0000 -38.9710 34.38%
636.79/638.66 c 639 68432 14092 1 -29.0000 -38.9500 34.31%
642.08/643.97 c 644 69974 14258 1 -29.0000 -38.9235 34.22%
647.27/649.12 c 649 70703 14333 1 -29.0000 -38.9086 34.17%
652.45/654.31 c 654 71484 14412 1 -29.0000 -38.9015 34.14%
658.34/660.22 c 660 72335 14509 1 -29.0000 -38.8857 34.09%
663.82/665.73 c 666 73310 14610 1 -29.0000 -38.8669 34.02%
668.81/670.78 c 671 74474 14736 1 -29.0000 -38.8136 33.84%
673.89/675.83 c 676 75204 14814 1 -29.0000 -38.8075 33.82%
679.20/681.13 c 681 75994 14904 1 -29.0000 -38.7758 33.71%
684.87/686.82 c 687 77313 15045 1 -29.0000 -38.7500 33.62%
690.35/692.34 c 692 78524 15176 1 -29.0000 -38.7333 33.56%
695.74/697.71 c 698 79174 15252 1 -29.0000 -38.7053 33.47%
701.04/703.04 c 703 80284 15368 1 -29.0000 -38.6785 33.37%
706.50/708.56 c 709 81534 15502 1 -29.0000 -38.6487 33.27%
711.90/713.93 c 714 82674 15616 1 -29.0000 -38.6212 33.18%
716.88/718.94 c 719 83594 15720 1 -29.0000 -38.6082 33.13%
722.36/724.47 c 724 84628 15816 1 -29.0000 -38.5802 33.04%
727.85/729.93 c 730 85734 15930 1 -29.0000 -38.5590 32.96%
732.83/734.96 c 735 86844 16034 1 -29.0000 -38.5370 32.89%
738.81/740.92 c 741 87624 16106 1 -29.0000 -38.5310 32.87%
744.20/746.38 c 746 88344 16180 1 -29.0000 -38.5189 32.82%
749.68/751.82 c 752 89274 16254 1 -29.0000 -38.5112 32.80%
755.06/757.28 c 757 89998 16330 1 -29.0000 -38.5000 32.76%
760.44/762.62 c 763 91278 16430 1 -29.0000 -38.4977 32.75%
765.63/767.82 c 768 92334 16520 1 -29.0000 -38.4770 32.68%
771.51/773.78 c 774 93553 16643 1 -29.0000 -38.4427 32.56%
776.81/779.08 c 779 94459 16721 1 -29.0000 -38.4327 32.53%
782.37/784.60 c 785 95544 16832 1 -29.0000 -38.4218 32.49%
787.36/789.63 c 790 96724 16932 1 -29.0000 -38.4000 32.41%
792.94/795.26 c 795 97574 17000 1 -29.0000 -38.3881 32.37%
798.02/800.33 c 800 98614 17078 1 -29.0000 -38.3785 32.34%
803.31/805.60 c 806 99764 17172 1 -29.0000 -38.3607 32.28%
808.59/810.94 c 811 100884 17272 1 -29.0000 -38.3376 32.20%
814.47/816.82 c 817 102024 17394 1 -29.0000 -38.3172 32.13%
819.66/822.04 c 822 102754 17466 1 -29.0000 -38.3017 32.07%
825.34/827.77 c 828 103517 17525 1 -29.0000 -38.2841 32.01%
830.31/832.79 c 833 104354 17606 1 -29.0000 -38.2611 31.93%
836.61/839.10 c 839 105309 17673 1 -29.0000 -38.2500 31.90%
842.38/844.85 c 845 106574 17784 1 -29.0000 -38.2300 31.83%
848.06/850.53 c 851 107199 17841 1 -29.0000 -38.2243 31.81%
853.75/856.21 c 856 108394 17944 1 -29.0000 -38.2089 31.75%
858.82/861.32 c 861 109974 18098 1 -29.0000 -38.1843 31.67%
864.31/866.85 c 867 111254 18216 1 -29.0000 -38.1569 31.58%
869.90/872.49 c 872 112120 18300 1 -29.0000 -38.1402 31.52%
875.59/878.13 c 878 113362 18406 1 -29.0000 -38.1211 31.45%
880.95/883.52 c 884 114171 18465 1 -29.0000 -38.1111 31.42%
886.23/888.88 c 889 115294 18568 1 -29.0000 -38.0938 31.36%
891.43/894.04 c 894 116364 18660 1 -29.0000 -38.0824 31.32%
896.61/899.26 c 899 117652 18746 1 -29.0000 -38.0749 31.29%
901.68/904.30 c 904 118714 18826 1 -29.0000 -38.0688 31.27%
906.87/909.51 c 910 119674 18896 1 -29.0000 -38.0574 31.23%
913.05/915.70 c 916 121551 19069 1 -29.0000 -38.0287 31.13%
918.24/920.99 c 921 122244 19136 1 -29.0000 -38.0251 31.12%
923.82/926.56 c 927 123416 19230 1 -29.0000 -38.0072 31.06%
929.59/932.33 c 932 124459 19299 1 -29.0000 -38.0000 31.03%
935.18/937.99 c 938 125376 19370 1 -29.0000 -38.0000 31.03%
940.27/943.04 c 943 126424 19462 1 -29.0000 -37.9867 30.99%
946.03/948.81 c 949 128164 19590 1 -29.0000 -37.9706 30.93%
951.42/954.26 c 954 128774 19622 1 -29.0000 -37.9524 30.87%
956.50/959.39 c 959 129874 19702 1 -29.0000 -37.9426 30.84%
961.59/964.49 c 964 130484 19756 1 -29.0000 -37.9305 30.79%
966.67/969.57 c 970 131424 19826 1 -29.0000 -37.9167 30.75%
971.95/974.80 c 975 132220 19884 1 -29.0000 -37.9107 30.73%
977.03/979.97 c 980 133324 19970 1 -29.0000 -37.8942 30.67%
982.62/985.57 c 986 134727 20065 1 -29.0000 -37.8781 30.61%
987.90/990.86 c 991 135754 20134 1 -29.0000 -37.8680 30.58%
993.78/996.73 c 997 136591 20191 1 -29.0000 -37.8532 30.53%
999.08/1002.04 c 1002 137710 20272 1 -29.0000 -37.8433 30.49%
1000.26/1003.22 c * 1003 137964 20290 1 -30.0000 -37.8411 26.14%
1004.85/1007.85 c 1008 139096 15346 1 -30.0000 -37.8333 26.11%
1009.93/1012.90 c 1013 140064 15378 1 -30.0000 -37.8129 26.04%
1015.20/1018.21 c 1018 141342 15432 1 -30.0000 -37.7864 25.95%
1019.89/1022.91 c * 1023 142554 15478 1 -31.0000 -37.7686 21.83%
1020.19/1023.27 c 1023 142764 12536 1 -31.0000 -37.7683 21.83%
1025.47/1028.53 c 1029 143794 12526 1 -31.0000 -37.7567 21.80%
1030.77/1033.88 c 1034 144579 12521 1 -31.0000 -37.7500 21.77%
1035.96/1039.02 c 1039 145994 12524 1 -31.0000 -37.7370 21.73%
1041.14/1044.27 c 1044 146944 12530 1 -31.0000 -37.7278 21.70%
1047.13/1050.25 c 1050 148149 12529 1 -31.0000 -37.7077 21.64%
1052.41/1055.58 c 1056 149534 12510 1 -31.0000 -37.6934 21.59%
1057.50/1060.63 c 1061 151004 12504 1 -31.0000 -37.6761 21.54%
1062.89/1066.10 c 1066 151972 12510 1 -31.0000 -37.6667 21.51%
1068.27/1071.44 c 1071 152834 12488 1 -31.0000 -37.6538 21.46%
1073.46/1076.62 c 1077 154190 12464 1 -31.0000 -37.6462 21.44%
1078.85/1082.10 c 1082 155384 12464 1 -31.0000 -37.6324 21.39%
1084.03/1087.25 c 1087 156664 12454 1 -31.0000 -37.6256 21.37%
1089.12/1092.34 c 1092 157636 12448 1 -31.0000 -37.6243 21.37%
1094.30/1097.52 c 1098 158684 12444 1 -31.0000 -37.6138 21.33%
1100.08/1103.32 c 1103 159924 12446 1 -31.0000 -37.6110 21.33%
1105.08/1108.38 c 1108 161214 12440 1 -31.0000 -37.5985 21.29%
1110.96/1114.22 c 1114 162560 12436 1 -31.0000 -37.5833 21.24%
1116.34/1119.63 c 1120 163577 12427 1 -31.0000 -37.5714 21.20%
1121.33/1124.67 c 1125 164894 12412 1 -31.0000 -37.5625 21.17%
1127.02/1130.38 c 1130 166323 12381 1 -31.0000 -37.5455 21.11%
1132.40/1135.77 c 1136 167354 12360 1 -31.0000 -37.5347 21.08%
1137.80/1141.19 c 1141 168074 12356 1 -31.0000 -37.5245 21.05%
1143.18/1146.55 c 1147 168934 12350 1 -31.0000 -37.5124 21.01%
1148.37/1151.73 c 1152 169964 12332 1 -31.0000 -37.5018 20.97%
1153.76/1157.19 c 1157 170852 12312 1 -31.0000 -37.5000 20.97%
1159.14/1162.53 c 1163 172211 12289 1 -31.0000 -37.5000 20.97%
1164.52/1167.95 c 1168 173574 12268 1 -31.0000 -37.4838 20.92%
1170.11/1173.59 c 1174 174974 12236 1 -31.0000 -37.4746 20.89%
1175.79/1179.28 c 1179 176333 12211 1 -31.0000 -37.4444 20.79%
1180.98/1184.45 c 1184 177004 12208 1 -31.0000 -37.4297 20.74%
1186.36/1189.85 c 1190 177874 12192 1 -31.0000 -37.4253 20.73%
1191.45/1194.98 c 1195 179134 12160 1 -31.0000 -37.4115 20.68%
1196.54/1200.01 c 1200 180534 12130 1 -31.0000 -37.4044 20.66%
1202.22/1205.77 c 1206 181817 12117 1 -31.0000 -37.3857 20.60%
1207.30/1210.85 c 1211 183074 12100 1 -31.0000 -37.3509 20.49%
1212.69/1216.22 c 1216 184244 12086 1 -31.0000 -37.3395 20.45%
1218.36/1221.91 c 1222 185663 12069 1 -31.0000 -37.3333 20.43%
1223.65/1227.26 c 1227 186834 12038 1 -31.0000 -37.3209 20.39%
1228.94/1232.56 c 1233 188204 12004 1 -31.0000 -37.3143 20.37%
1234.54/1238.15 c 1238 189164 11986 1 -31.0000 -37.3077 20.35%
1239.71/1243.31 c 1243 190137 11961 1 -31.0000 -37.2961 20.31%
1244.80/1248.40 c 1248 191124 11942 1 -31.0000 -37.2883 20.28%
1250.28/1253.96 c 1254 192614 11928 1 -31.0000 -37.2757 20.24%
1255.48/1259.13 c 1259 193714 11894 1 -31.0000 -37.2670 20.22%
1260.47/1264.18 c 1264 194773 11867 1 -31.0000 -37.2543 20.18%
1265.85/1269.57 c 1270 196194 11842 1 -31.0000 -37.2454 20.15%
1270.83/1274.59 c 1275 197364 11822 1 -31.0000 -37.2295 20.10%
1275.92/1279.66 c 1280 198344 11800 1 -31.0000 -37.2137 20.04%
1281.01/1284.77 c 1285 199314 11782 1 -31.0000 -37.2054 20.02%
1286.19/1289.93 c 1290 199984 11758 1 -31.0000 -37.1969 19.99%
1291.48/1295.28 c 1295 200874 11754 1 -31.0000 -37.1811 19.94%
1297.26/1301.07 c 1301 201974 11744 1 -31.0000 -37.1659 19.89%
1302.94/1306.70 c 1307 203314 11720 1 -31.0000 -37.1500 19.84%
1308.12/1311.98 c 1312 204416 11710 1 -31.0000 -37.1404 19.81%
1313.22/1317.10 c 1317 205819 11697 1 -31.0000 -37.1250 19.76%
1318.40/1322.29 c 1322 207154 11672 1 -31.0000 -37.1069 19.70%
1323.89/1327.73 c 1328 208405 11649 1 -31.0000 -37.0972 19.67%
1329.28/1333.12 c 1333 209404 11618 1 -31.0000 -37.0925 19.65%
1334.95/1338.80 c 1339 210687 11601 1 -31.0000 -37.0825 19.62%
1340.04/1344.00 c 1344 212049 11591 1 -31.0000 -37.0711 19.58%
1345.14/1349.05 c 1349 212904 11574 1 -31.0000 -37.0636 19.56%
1350.22/1354.15 c 1354 213994 11548 1 -31.0000 -37.0563 19.54%
1355.50/1359.46 c 1359 214998 11530 1 -31.0000 -37.0484 19.51%
1360.59/1364.53 c 1365 216094 11512 1 -31.0000 -37.0344 19.47%
1365.68/1369.65 c 1370 217264 11486 1 -31.0000 -37.0264 19.44%
1371.56/1375.54 c 1376 218704 11484 1 -31.0000 -37.0153 19.40%
1376.85/1380.87 c 1381 219936 11472 1 -31.0000 -37.0000 19.35%
1382.04/1386.05 c 1386 221114 11454 1 -31.0000 -37.0000 19.35%
1387.42/1391.45 c 1391 222046 11446 1 -31.0000 -37.0000 19.35%
1393.30/1397.33 c 1397 223067 11437 1 -31.0000 -37.0000 19.35%
1398.49/1402.51 c 1403 223834 11434 1 -31.0000 -36.9847 19.31%
1404.17/1408.20 c 1408 225087 11417 1 -31.0000 -36.9742 19.27%
1409.45/1413.59 c 1414 226084 11402 1 -31.0000 -36.9582 19.22%
1414.96/1419.06 c 1419 227199 11377 1 -31.0000 -36.9452 19.18%
1420.42/1424.54 c 1425 228354 11350 1 -31.0000 -36.9313 19.13%
1425.52/1429.69 c 1430 229214 11342 1 -31.0000 -36.9223 19.10%
1430.70/1434.89 c 1435 230034 11328 1 -31.0000 -36.9195 19.10%
1436.09/1440.26 c 1440 230824 11312 1 -31.0000 -36.9107 19.07%
1441.77/1445.93 c 1446 232234 11286 1 -31.0000 -36.8984 19.03%
1447.97/1452.16 c 1452 233342 11264 1 -31.0000 -36.8902 19.00%
1453.24/1457.47 c 1457 234424 11238 1 -31.0000 -36.8787 18.96%
1458.53/1462.78 c 1463 235447 11217 1 -31.0000 -36.8750 18.95%
1463.83/1468.02 c 1468 236434 11206 1 -31.0000 -36.8626 18.91%
1469.00/1473.22 c 1473 237624 11190 1 -31.0000 -36.8438 18.85%
1475.19/1479.43 c 1479 238520 11162 1 -31.0000 -36.8396 18.84%
1480.57/1484.82 c 1485 239094 11148 1 -31.0000 -36.8348 18.82%
1485.77/1490.07 c 1490 240524 11118 1 -31.0000 -36.8235 18.79%
1491.45/1495.70 c 1496 241444 11104 1 -31.0000 -36.8100 18.74%
1497.24/1501.55 c 1502 242434 11088 1 -31.0000 -36.7965 18.70%
1502.22/1506.57 c 1507 243194 11074 1 -31.0000 -36.7898 18.68%
1507.30/1511.70 c 1512 244072 11060 1 -31.0000 -36.7857 18.66%
1512.39/1516.73 c 1517 244614 11048 1 -31.0000 -36.7792 18.64%
1518.18/1522.50 c 1523 245559 11029 1 -31.0000 -36.7633 18.59%
1523.46/1527.80 c 1528 246284 11010 1 -31.0000 -36.7598 18.58%
1528.55/1532.99 c 1533 247209 10999 1 -31.0000 -36.7460 18.54%
1533.65/1538.10 c 1538 248024 10990 1 -31.0000 -36.7254 18.47%
1539.52/1543.95 c 1544 249385 10961 1 -31.0000 -36.7091 18.42%
1545.01/1549.41 c 1549 250704 10926 1 -31.0000 -36.7036 18.40%
1550.40/1554.81 c 1555 251524 10908 1 -31.0000 -36.6938 18.37%
1555.59/1560.09 c 1560 252444 10880 1 -31.0000 -36.6857 18.34%
1560.76/1565.25 c 1565 253184 10872 1 -31.0000 -36.6750 18.31%
1566.15/1570.62 c 1571 254223 10853 1 -31.0000 -36.6694 18.29%
1572.13/1576.64 c 1577 255153 10837 1 -31.0000 -36.6667 18.28%
1577.23/1581.72 c 1582 255932 10818 1 -31.0000 -36.6579 18.25%
1582.31/1586.88 c 1587 256904 10800 1 -31.0000 -36.6466 18.21%
1587.79/1592.38 c 1592 257934 10780 1 -31.0000 -36.6400 18.19%
1593.17/1597.77 c 1598 258716 10760 1 -31.0000 -36.6354 18.18%
1598.36/1602.96 c 1603 260191 10733 1 -31.0000 -36.6250 18.15%
1604.05/1608.67 c 1609 261094 10712 1 -31.0000 -36.6191 18.13%
1609.22/1613.81 c 1614 262334 10688 1 -31.0000 -36.6121 18.10%
1614.42/1619.06 c 1619 263444 10676 1 -31.0000 -36.5902 18.03%
1619.51/1624.12 c 1624 264364 10658 1 -31.0000 -36.5851 18.02%
1624.57/1629.20 c 1629 265095 10653 1 -31.0000 -36.5729 17.98%
1629.56/1634.28 c 1634 265934 10632 1 -31.0000 -36.5665 17.96%
1635.54/1640.22 c 1640 266921 10615 1 -31.0000 -36.5556 17.92%
1641.02/1645.71 c 1646 268414 10578 1 -31.0000 -36.5479 17.90%
1646.01/1650.73 c 1651 269314 10560 1 -31.0000 -36.5385 17.87%
1651.09/1655.83 c 1656 270204 10544 1 -31.0000 -36.5286 17.83%
1656.78/1661.58 c 1662 271039 10513 1 -31.0000 -36.5217 17.81%
1661.96/1666.76 c 1667 271654 10492 1 -31.0000 -36.5165 17.80%
1666.96/1671.76 c 1672 272456 10476 1 -31.0000 -36.5106 17.78%
1672.74/1677.52 c 1678 273654 10448 1 -31.0000 -36.5000 17.74%
1678.34/1683.18 c 1683 274796 10408 1 -31.0000 -36.5000 17.74%
1683.41/1688.26 c 1688 275784 10380 1 -31.0000 -36.4818 17.68%
1688.70/1693.51 c 1694 276637 10365 1 -31.0000 -36.4750 17.66%
1694.88/1699.74 c 1700 277513 10335 1 -31.0000 -36.4651 17.63%
1700.56/1705.41 c 1705 278381 10327 1 -31.0000 -36.4561 17.60%
1705.75/1710.65 c 1711 279312 10312 1 -31.0000 -36.4473 17.57%
1710.84/1715.74 c 1716 280143 10299 1 -31.0000 -36.4380 17.54%
1716.92/1721.81 c 1722 280942 10282 1 -31.0000 -36.4237 17.50%
1723.01/1727.91 c 1728 282200 10234 1 -31.0000 -36.4167 17.47%
1728.29/1733.28 c 1733 283273 10213 1 -31.0000 -36.4102 17.45%
1733.58/1738.53 c 1739 284318 10198 1 -31.0000 -36.4015 17.42%
1739.27/1744.25 c 1744 285285 10185 1 -31.0000 -36.3874 17.38%
1744.75/1749.73 c 1750 286254 10162 1 -31.0000 -36.3758 17.34%
1749.83/1754.87 c 1755 287024 10144 1 -31.0000 -36.3732 17.33%
1755.92/1760.90 c 1761 288074 10118 1 -31.0000 -36.3687 17.32%
1761.30/1766.33 c 1766 289204 10104 1 -31.0000 -36.3503 17.26%
1766.48/1771.50 c 1772 289884 10080 1 -31.0000 -36.3462 17.25%
1772.17/1777.22 c 1777 291060 10044 1 -31.0000 -36.3333 17.20%
1777.45/1782.55 c 1783 291764 10014 1 -31.0000 -36.3273 17.18%
1783.13/1788.24 c 1788 292914 9982 1 -31.0000 -36.3211 17.16%
1788.22/1793.33 c 1793 293886 9942 1 -31.0000 -36.3069 17.12%
1793.61/1798.75 c 1799 294804 9928 1 -31.0000 -36.2984 17.09%
1798.79/1803.96 c 1804 295784 9906 1 -31.0000 -36.2940 17.08%
1804.09/1809.24 c 1809 296724 9884 1 -31.0000 -36.2797 17.03%
1809.57/1814.77 c 1815 297584 9854 1 -31.0000 -36.2674 16.99%
1815.16/1820.35 c 1820 298464 9828 1 -31.0000 -36.2593 16.97%
1820.34/1825.59 c 1826 299285 9807 1 -31.0000 -36.2541 16.95%
1826.43/1831.60 c 1832 300312 9778 1 -31.0000 -36.2500 16.94%
1831.82/1837.08 c 1837 301129 9755 1 -31.0000 -36.2500 16.94%
1837.99/1843.25 c 1843 301812 9734 1 -31.0000 -36.2462 16.92%
1843.09/1848.33 c 1848 302634 9724 1 -31.0000 -36.2381 16.90%
1848.78/1854.07 c 1854 303607 9699 1 -31.0000 -36.2349 16.89%
1854.16/1859.45 c 1859 304677 9677 1 -31.0000 -36.2273 16.86%
1859.94/1865.21 c 1865 305623 9653 1 -31.0000 -36.2172 16.83%
1865.63/1870.94 c 1871 306728 9622 1 -31.0000 -36.1957 16.76%
1871.51/1876.82 c 1877 307510 9604 1 -31.0000 -36.1903 16.74%
1877.40/1882.74 c 1883 308668 9584 1 -31.0000 -36.1782 16.70%
1882.88/1888.21 c 1888 309671 9553 1 -31.0000 -36.1667 16.67%
1887.97/1893.34 c 1893 310514 9528 1 -31.0000 -36.1642 16.66%
1893.06/1898.47 c 1898 311329 9507 1 -31.0000 -36.1585 16.64%
1898.35/1903.79 c 1904 312438 9478 1 -31.0000 -36.1538 16.63%
1903.53/1908.93 c 1909 313244 9454 1 -31.0000 -36.1419 16.59%
1909.52/1914.93 c 1915 314395 9421 1 -31.0000 -36.1312 16.55%
1915.20/1920.67 c 1921 315096 9402 1 -31.0000 -36.1253 16.53%
1920.29/1925.79 c 1926 316054 9376 1 -31.0000 -36.1140 16.50%
1925.38/1930.82 c 1931 316744 9364 1 -31.0000 -36.1108 16.49%
1931.06/1936.56 c 1937 317883 9325 1 -31.0000 -36.1020 16.46%
1936.24/1941.75 c 1942 319024 9276 1 -31.0000 -36.0893 16.42%
1941.74/1947.23 c 1947 320164 9242 1 -31.0000 -36.0758 16.37%
1947.13/1952.66 c 1953 320764 9224 1 -31.0000 -36.0657 16.34%
1952.21/1957.79 c 1958 322034 9192 1 -31.0000 -36.0608 16.33%
1957.61/1963.18 c 1963 323109 9163 1 -31.0000 -36.0515 16.30%
1962.68/1968.21 c 1968 323974 9138 1 -31.0000 -36.0333 16.24%
1967.86/1973.49 c 1974 324655 9119 1 -31.0000 -36.0249 16.21%
1973.47/1979.06 c 1979 325244 9090 1 -31.0000 -36.0249 16.21%
1978.74/1984.36 c 1984 325988 9064 1 -31.0000 -36.0116 16.17%
1984.71/1990.33 c 1990 326954 9034 1 -31.0000 -36.0000 16.13%
1990.31/1995.99 c 1996 327816 9008 1 -31.0000 -36.0000 16.13%
1995.69/2001.39 c 2001 328753 8969 1 -31.0000 -36.0000 16.13%
2001.68/2007.31 c 2007 329526 8944 1 -31.0000 -35.9966 16.12%
2007.37/2013.08 c 2013 330289 8923 1 -31.0000 -35.9859 16.08%
2012.74/2018.44 c 2018 331344 8876 1 -31.0000 -35.9720 16.04%
2018.02/2023.76 c 2024 332234 8842 1 -31.0000 -35.9643 16.01%
2023.21/2028.93 c 2029 332937 8819 1 -31.0000 -35.9583 15.99%
2028.31/2034.10 c 2034 333944 8792 1 -31.0000 -35.9482 15.96%
2033.89/2039.68 c 2040 335004 8752 1 -31.0000 -35.9238 15.88%
2039.17/2044.96 c 2045 336154 8712 1 -31.0000 -35.9091 15.84%
2044.27/2050.01 c 2050 336904 8682 1 -31.0000 -35.9062 15.83%
2049.84/2055.60 c 2056 337976 8630 1 -31.0000 -35.8951 15.79%
2055.24/2061.04 c 2061 338784 8598 1 -31.0000 -35.8842 15.76%
2060.22/2066.09 c 2066 339318 8570 1 -31.0000 -35.8796 15.74%
2065.80/2071.66 c 2072 340184 8532 1 -31.0000 -35.8725 15.72%
2071.68/2077.54 c 2078 341151 8485 1 -31.0000 -35.8571 15.67%
2076.87/2082.70 c 2083 341854 8464 1 -31.0000 -35.8459 15.63%
2081.86/2087.77 c 2088 342598 8432 1 -31.0000 -35.8333 15.59%
2087.55/2093.48 c 2093 343640 8382 1 -31.0000 -35.8220 15.55%
2092.73/2098.60 c 2099 344454 8348 1 -31.0000 -35.8083 15.51%
2098.71/2104.67 c 2105 345394 8310 1 -31.0000 -35.7975 15.48%
2104.30/2110.24 c 2110 346396 8278 1 -31.0000 -35.7880 15.45%
2109.49/2115.40 c 2115 347334 8252 1 -31.0000 -35.7812 15.42%
2114.57/2120.59 c 2121 348184 8216 1 -31.0000 -35.7692 15.38%
2119.66/2125.66 c 2126 349084 8172 1 -31.0000 -35.7625 15.36%
2125.06/2131.10 c 2131 349856 8136 1 -31.0000 -35.7500 15.32%
2130.83/2136.81 c 2137 350779 8073 1 -31.0000 -35.7482 15.32%
2136.12/2142.11 c 2142 351801 8027 1 -31.0000 -35.7273 15.25%
2141.59/2147.60 c 2148 352774 7980 1 -31.0000 -35.7045 15.18%
2146.78/2152.80 c 2153 353756 7938 1 -31.0000 -35.6870 15.12%
2152.66/2158.70 c 2159 354704 7890 1 -31.0000 -35.6745 15.08%
2157.86/2163.98 c 2164 355504 7850 1 -31.0000 -35.6667 15.05%
2163.14/2169.29 c 2169 356585 7799 1 -31.0000 -35.6602 15.03%
2168.53/2174.62 c 2175 357524 7758 1 -31.0000 -35.6390 14.96%
2173.51/2179.65 c 2180 358504 7702 1 -31.0000 -35.6277 14.93%
2179.20/2185.37 c 2185 359595 7647 1 -31.0000 -35.6154 14.89%
2184.19/2190.39 c 2190 360334 7598 1 -31.0000 -35.6045 14.85%
2189.57/2195.77 c 2196 361144 7568 1 -31.0000 -35.5987 14.83%
2194.65/2200.88 c 2201 362504 7522 1 -31.0000 -35.5745 14.76%
2199.74/2206.01 c 2206 363034 7502 1 -31.0000 -35.5724 14.75%
2205.03/2211.28 c 2211 364014 7464 1 -31.0000 -35.5391 14.64%
2210.21/2216.43 c 2216 364984 7424 1 -31.0000 -35.5256 14.60%
2215.19/2221.45 c 2221 365864 7370 1 -31.0000 -35.5128 14.56%
2221.08/2227.33 c 2227 367183 7297 1 -31.0000 -35.5000 14.52%
2226.78/2233.10 c 2233 368213 7251 1 -31.0000 -35.5000 14.52%
2232.15/2238.47 c 2238 369114 7204 1 -31.0000 -35.4983 14.51%
2237.93/2244.24 c 2244 370064 7168 1 -31.0000 -35.4917 14.49%
2243.73/2250.05 c 2250 371366 7098 1 -31.0000 -35.4737 14.43%
2248.91/2255.29 c 2255 372254 7052 1 -31.0000 -35.4531 14.36%
2253.99/2260.33 c 2260 373294 6998 1 -31.0000 -35.4318 14.30%
2259.48/2265.84 c 2266 374424 6922 1 -31.0000 -35.4161 14.25%
2264.57/2270.98 c 2271 375600 6856 1 -31.0000 -35.4062 14.21%
2269.86/2276.22 c 2276 376894 6792 1 -31.0000 -35.3844 14.14%
2275.34/2281.73 c 2282 377993 6721 1 -31.0000 -35.3633 14.08%
2280.83/2287.22 c 2287 379184 6644 1 -31.0000 -35.3547 14.05%
2286.63/2293.01 c 2293 380234 6580 1 -31.0000 -35.3391 14.00%
2292.71/2299.20 c 2299 381076 6532 1 -31.0000 -35.3216 13.94%
2297.88/2304.34 c 2304 382344 6472 1 -31.0000 -35.2921 13.85%
2302.97/2309.46 c 2309 383304 6414 1 -31.0000 -35.2812 13.81%
2308.35/2314.83 c 2315 384174 6356 1 -31.0000 -35.2692 13.77%
2313.94/2320.47 c 2320 385334 6288 1 -31.0000 -35.2472 13.70%
2319.23/2325.77 c 2326 386164 6228 1 -31.0000 -35.2323 13.65%
2324.51/2331.02 c 2331 386954 6178 1 -31.0000 -35.2145 13.60%
2329.69/2336.22 c 2336 387964 6118 1 -31.0000 -35.1967 13.54%
2335.58/2342.13 c 2342 388991 6047 1 -31.0000 -35.1852 13.50%
2341.16/2347.70 c 2348 390294 5964 1 -31.0000 -35.1691 13.45%
2346.24/2352.84 c 2353 391214 5894 1 -31.0000 -35.1518 13.39%
2351.23/2357.86 c 2358 392444 5806 1 -31.0000 -35.1395 13.35%
2356.91/2363.57 c 2364 393754 5724 1 -31.0000 -35.1282 13.32%
2362.19/2368.83 c 2369 394984 5652 1 -31.0000 -35.1103 13.26%
2367.58/2374.27 c 2374 396134 5582 1 -31.0000 -35.0625 13.10%
2372.76/2379.47 c 2379 397124 5522 1 -31.0000 -35.0400 13.03%
2377.85/2384.52 c 2385 398114 5448 1 -31.0000 -35.0152 12.95%
2383.23/2389.92 c 2390 399047 5385 1 -31.0000 -35.0000 12.90%
2388.62/2395.39 c 2395 400159 5293 1 -31.0000 -35.0000 12.90%
2394.01/2400.78 c 2401 401268 5208 1 -31.0000 -35.0000 12.90%
2399.09/2405.81 c 2406 402444 5130 1 -31.0000 -34.9756 12.82%
2404.29/2411.02 c 2411 403724 5048 1 -31.0000 -34.9536 12.75%
2409.38/2416.15 c 2416 405074 4948 1 -31.0000 -34.9219 12.65%
2415.26/2422.07 c 2422 406134 4864 1 -31.0000 -34.9029 12.59%
2420.35/2427.15 c 2427 407614 4756 1 -31.0000 -34.8710 12.49%
2425.52/2432.33 c 2432 409074 4650 1 -31.0000 -34.8406 12.39%
2430.51/2437.37 c 2437 410414 4554 1 -31.0000 -34.8200 12.32%
2435.79/2442.62 c 2443 411714 4462 1 -31.0000 -34.7778 12.19%
2440.88/2447.74 c 2448 412632 4392 1 -31.0000 -34.7500 12.10%
2445.86/2452.77 c 2453 414004 4278 1 -31.0000 -34.7182 11.99%
2451.26/2458.18 c 2458 415329 4153 1 -31.0000 -34.6923 11.91%
2456.33/2463.27 c 2463 416864 4010 1 -31.0000 -34.6649 11.82%
2461.71/2468.65 c 2469 418204 3884 1 -31.0000 -34.6301 11.71%
2467.40/2474.30 c 2474 419604 3768 1 -31.0000 -34.5930 11.59%
2472.39/2479.37 c 2479 421194 3642 1 -31.0000 -34.5602 11.48%
2477.47/2484.43 c 2484 422734 3504 1 -31.0000 -34.5127 11.33%
2483.25/2490.24 c 2490 424386 3320 1 -31.0000 -34.4995 11.29%
2488.94/2495.94 c 2496 425584 3188 1 -31.0000 -34.4595 11.16%
2493.93/2500.97 c 2501 427184 3004 1 -31.0000 -34.4063 10.99%
2499.51/2506.53 c 2507 428924 2816 1 -31.0000 -34.3480 10.80%
2505.20/2512.22 c 2512 430934 2574 1 -31.0000 -34.2853 10.60%
2510.49/2517.51 c 2518 432664 2352 1 -31.0000 -34.1875 10.28%
2515.57/2522.61 c 2523 434394 2140 1 -31.0000 -34.0945 9.98%
2520.76/2527.82 c 2528 436204 1892 1 -31.0000 -34.0127 9.72%
2526.23/2533.32 c 2533 437832 1640 1 -31.0000 -33.9547 9.53%
2531.32/2538.47 c 2538 439914 1250 1 -31.0000 -33.7500 8.87%
2536.68/2543.80 c 2544 442234 770 1 -31.0000 -33.4952 8.05%
2541.89/2549.05 c 2549 444104 8 1 -31.0000 -32.3333 4.30%
2541.99/2549.12 c 2549 444112 0 0 -31.0000 -31.0000 0.00%
2541.99/2549.15 c 2549 444112 0 0 -31.0000 -31.0000 -
2541.99/2549.15 c SCIP Status : c problem is solved
2541.99/2549.15 c Total Time : 2549.1400
2541.99/2549.15 c solving : 2549.1400
2541.99/2549.15 c presolving : 0.0902 (included in solving)
2541.99/2549.15 c B&B Tree :
2541.99/2549.15 c nodes (total) : 444112
2541.99/2549.15 c Solution :
2541.99/2549.15 c Solutions found : 8
2541.99/2549.15 c Primal Bound : -3.10000000000000e+01
2541.99/2549.15 c Dual Bound : -3.10000000000000e+01
2541.99/2549.15 c Gap : 0.00000 %
2541.99/2549.15 o -31
2541.99/2549.15 s OPTIMUM FOUND
2541.99/2549.15 v -x200 -x199 -x198 -x197 x196 x195 x194 -x193 -x192 -x191 -x190 -x189 -x188 -x187 -x186 -x185 x184 -x183 x182 -x181 x180 -x179 -x178
2541.99/2549.15 v x177 -x176 x175 x174 -x173 x172 -x171 -x170 -x169 -x168 x167 x166 -x165 x164 -x163 -x162 -x161 x160 -x159 -x158 -x157 -x156
2541.99/2549.15 v -x155 -x154 -x153 -x152 -x151 -x150 -x149 x148 -x147 -x146 -x145 -x144 -x143 -x142 -x141 x140 -x139 -x138 -x137 -x136 -x135
2541.99/2549.15 v -x134 x133 -x132 -x131 x130 -x129 -x128 -x127 x126 x125 -x124 -x123 x122 -x121 -x120 -x119 -x118 -x117 x116 x115 -x114 -x113
2541.99/2549.15 v -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105 -x104 -x103 x102 -x101 -x100 -x99 -x98 x97 -x96 -x95 -x94 -x93 -x92 -x91 -x90
2541.99/2549.15 v -x89 x88 -x87 -x86 x85 -x84 -x83 -x82 -x81 -x80 -x79 -x78 -x77 -x76 -x75 -x74 -x73 -x72 -x71 -x70 -x69 -x68 -x67 -x66 -x65
2541.99/2549.15 v -x64 -x63 -x62 -x61 -x60 -x59 -x58 -x57 -x56 -x55 -x54 -x53 -x52 x51 -x50 -x49 -x48 -x47 -x46 -x45 x44 -x43 -x42 -x41 -x40
2541.99/2549.15 v -x39 -x38 -x37 -x36 -x35 -x34 -x33 -x32 -x31 -x30 -x29 -x28 -x27 -x26 -x25 -x24 -x23 -x22 -x21 -x20 -x19 -x18 -x17 x16 -x15 -x14
2541.99/2549.15 v -x13 -x12 -x11 x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2 -x1
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 (60171 MiB free)
memory of node 1: 64473 MiB (61493 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4459739-1721939463/watcher-4459739-1721939463 -o /tmp/evaluation-result-4459739-1721939463/solver-4459739-1721939463 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1721939462-235369 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4459739-1721939463.opb -qsol -t 3600 -sth 1
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=235423, runsolver pid=235420
Current StackSize limit: 8192 KiB
[startup+0.100101 s]*
/proc/loadavg: 0.08 0.09 0.27 5/238 235424
/proc/meminfo: memFree=124564708/131655788 swapFree=131060916/131071996
[pid=235423] ppid=235420 vsize=41764 memory=30572 CPUtime=0.11 cores=1,3
/proc/235423/stat : 235423 (fscip) R 235420 235423 235357 0 -1 4194304 5282 0 0 0 9 2 0 0 20 0 1 0 29935760 42766336 7643 134679101440 4194304 16613245 140728733411760 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 36237312 140728733414424 140728733414540 140728733414540 140728733421552 0
/proc/235423/statm: 10441 7643 2622 3032 0 6841 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 41764 KiB
Current children cumulated memory: 30572 KiB
[startup+0.214126 s]*
/proc/loadavg: 0.08 0.09 0.27 5/246 235436
/proc/meminfo: memFree=124532804/131655788 swapFree=131060916/131071996
[pid=235423] ppid=235420 vsize=128556 memory=45324 CPUtime=0.21 cores=1,3
/proc/235423/stat : 235423 (fscip) S 235420 235423 235357 0 -1 1077936128 8659 0 0 0 18 3 0 0 20 0 3 0 29935760 131641344 11331 134679101440 4194304 16613245 140728733411760 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 36237312 140728733414424 140728733414540 140728733414540 140728733421552 0
/proc/235423/statm: 32139 11331 2734 3032 0 14357 0
[pid=235423/tid=235429] ppid=235420 vsize=128556 memory=8737651120394928259 CPUtime=0.05 cores=1,3
/proc/235423/task/235429/stat : 235429 (fscip) R 235420 235423 235357 0 -1 4194368 2198 0 0 0 5 0 0 0 20 0 3 0 29935774 131641344 11331 134679101440 4194304 16613245 140728733411760 0 0 0 0 0 2 0 0 0 -1 3 0 0 0 0 0 18822208 18930672 36237312 140728733414424 140728733414540 140728733414540 140728733421552 0
[pid=235423/tid=235436] ppid=235420 vsize=128556 memory=1796009 CPUtime=0 cores=1,3
/proc/235423/task/235436/stat : 235436 (fscip) S 235420 235423 235357 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 29935777 131641344 11331 134679101440 4194304 16613245 140728733411760 0 0 0 0 0 2 1 0 0 -1 1 0 0 0 0 0 18822208 18930672 36237312 140728733414424 140728733414540 140728733414540 140728733421552 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 128556 KiB
Current children cumulated memory: 45324 KiB
[startup+0.320127 s]*
/proc/loadavg: 0.08 0.09 0.27 6/246 235436
/proc/meminfo: memFree=124504856/131655788 swapFree=131060916/131071996
[pid=235423] ppid=235420 vsize=130396 memory=51732 CPUtime=0.3 cores=1,3
/proc/235423/stat : 235423 (fscip) S 235420 235423 235357 0 -1 1077936128 10112 0 0 0 27 3 0 0 20 0 3 0 29935760 133525504 12933 134679101440 4194304 16613245 140728733411760 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 36237312 140728733414424 140728733414540 140728733414540 140728733421552 0
/proc/235423/statm: 32599 12933 2894 3032 0 15830 0
[pid=235423/tid=235429] ppid=235420 vsize=130396 memory=-9104702191051711164 CPUtime=0.15 cores=1,3
/proc/235423/task/235429/stat : 235429 (fscip) R 235420 235423 235357 0 -1 4194368 3651 0 0 0 14 1 0 0 20 0 3 0 29935774 133525504 12933 134679101440 4194304 16613245 140728733411760 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 36237312 140728733414424 140728733414540 140728733414540 140728733421552 0
[pid=235423/tid=235436] ppid=235420 vsize=130396 memory=0 CPUtime=0 cores=1,3
/proc/235423/task/235436/stat : 235436 (fscip) S 235420 235423 235357 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 29935777 133525504 12933 134679101440 4194304 16613245 140728733411760 0 0 0 0 0 2 1 0 0 -1 1 0 0 0 0 0 18822208 18930672 36237312 140728733414424 140728733414540 140728733414540 140728733421552 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 130396 KiB
Current children cumulated memory: 51732 KiB
[startup+0.700406 s]
/proc/loadavg: 0.08 0.09 0.27 5/246 235436
/proc/meminfo: memFree=124453868/131655788 swapFree=131060916/131071996
[pid=235423] ppid=235420 vsize=130396 memory=53896 CPUtime=0.66 cores=1,3
/proc/235423/stat : 235423 (fscip) S 235420 235423 235357 0 -1 1077936128 10643 0 0 0 63 3 0 0 20 0 3 0 29935760 133525504 13474 134679101440 4194304 16613245 140728733411760 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 36237312 140728733414424 140728733414540 140728733414540 140728733421552 0
/proc/235423/statm: 32599 13474 2910 3032 0 16601 0
[pid=235423/tid=235429] ppid=235420 vsize=130396 memory=0 CPUtime=0.51 cores=1,3
/proc/235423/task/235429/stat : 235429 (fscip) R 235420 235423 235357 0 -1 4194368 4182 0 0 0 50 1 0 0 20 0 3 0 29935774 133525504 13474 134679101440 4194304 16613245 140728733411760 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 36237312 140728733414424 140728733414540 140728733414540 140728733421552 0
[pid=235423/tid=235436] ppid=235420 vsize=130396 memory=0 CPUtime=0 cores=1,3
/proc/235423/task/235436/stat : 235436 (fscip) S 235420 235423 235357 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 29935777 133525504 13474 134679101440 4194304 16613245 140728733411760 0 0 0 0 0 2 1 0 0 -1 1 0 0 0 0 0 18822208 18930672 36237312 140728733414424 140728733414540 140728733414540 140728733421552 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 130396 KiB
Current children cumulated memory: 53896 KiB
[startup+1.50037 s]
/proc/loadavg: 0.08 0.09 0.27 5/248 235438
/proc/meminfo: memFree=124395300/131655788 swapFree=131060916/131071996
[pid=235423] ppid=235420 vsize=130396 memory=59536 CPUtime=1.47 cores=1,3
/proc/235423/stat : 235423 (fscip) S 235420 235423 235357 0 -1 1077936128 14472 0 0 0 143 4 0 0 20 0 3 0 29935760 133525504 14884 134679101440 4194304 16613245 140728733411760 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 36237312 140728733414424 140728733414540 140728733414540 140728733421552 0
/proc/235423/statm: 32599 14884 2910 3032 0 18384 0
[pid=235423/tid=235429] ppid=235420 vsize=130396 memory=0 CPUtime=1.3 cores=1,3
/proc/235423/task/235429/stat : 235429 (fscip) R 235420 235423 235357 0 -1 4194368 8011 0 0 0 129 1 0 0 20 0 3 0 29935774 133525504 14884 134679101440 4194304 16613245 140728733411760 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 36237312 140728733414424 140728733414540 140728733414540 140728733421552 0
[pid=235423/tid=235436] ppid=235420 vsize=130396 memory=0 CPUtime=0 cores=1,3
/proc/235423/task/235436/stat : 235436 (fscip) S 235420 235423 235357 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 29935777 133525504 14884 134679101440 4194304 16613245 140728733411760 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 36237312 140728733414424 140728733414540 140728733414540 140728733421552 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 130396 KiB
Current children cumulated memory: 59536 KiB
[startup+3.11312 s]
/proc/loadavg: 0.48 0.17 0.29 5/248 235438
/proc/meminfo: memFree=124325952/131655788 swapFree=131060916/131071996
[pid=235423] ppid=235420 vsize=130396 memory=68652 CPUtime=3.06 cores=1,3
/proc/235423/stat : 235423 (fscip) S 235420 235423 235357 0 -1 1077936128 17300 0 0 0 302 4 0 0 20 0 3 0 29935760 133525504 17163 134679101440 4194304 16613245 140728733411760 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 36237312 140728733414424 140728733414540 140728733414540 140728733421552 0
/proc/235423/statm: 32599 17163 2910 3032 0 21865 0
[pid=235423/tid=235429] ppid=235420 vsize=130396 memory=0 CPUtime=2.91 cores=1,3
/proc/235423/task/235429/stat : 235429 (fscip) R 235420 235423 235357 0 -1 4194368 10838 0 0 0 289 2 0 0 20 0 3 0 29935774 133525504 17163 134679101440 4194304 16613245 140728733411760 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 36237312 140728733414424 140728733414540 140728733414540 140728733421552 0
[pid=235423/tid=235436] ppid=235420 vsize=130396 memory=-6586065215872482156 CPUtime=0 cores=1,3
/proc/235423/task/235436/stat : 235436 (fscip) S 235420 235423 235357 0 -1 1077936192 1 0 0 0 0 0 0 0 20 0 3 0 29935777 133525504 17163 134679101440 4194304 16613245 140728733411760 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 36237312 140728733414424 140728733414540 140728733414540 140728733421552 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 130396 KiB
Current children cumulated memory: 68652 KiB
[startup+6.30029 s]
/proc/loadavg: 0.48 0.17 0.29 5/248 235488
/proc/meminfo: memFree=124337036/131655788 swapFree=131060916/131071996
[pid=235423] ppid=235420 vsize=130396 memory=68684 CPUtime=6.25 cores=1,3
/proc/235423/stat : 235423 (fscip) S 235420 235423 235357 0 -1 1077936128 17426 0 0 0 620 5 0 0 20 0 3 0 29935760 133525504 17171 134679101440 4194304 16613245 140728733411760 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 36237312 140728733414424 140728733414540 140728733414540 140728733421552 0
/proc/235423/statm: 32599 17171 2910 3032 0 21865 0
[pid=235423/tid=235429] ppid=235420 vsize=130396 memory=0 CPUtime=6.09 cores=1,3
/proc/235423/task/235429/stat : 235429 (fscip) R 235420 235423 235357 0 -1 4194368 10933 0 0 0 607 2 0 0 20 0 3 0 29935774 133525504 17171 134679101440 4194304 16613245 140728733411760 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 36237312 140728733414424 140728733414540 140728733414540 140728733421552 0
[pid=235423/tid=235436] ppid=235420 vsize=130396 memory=11616 CPUtime=0 cores=1,3
/proc/235423/task/235436/stat : 235436 (fscip) S 235420 235423 235357 0 -1 1077936192 1 0 0 0 0 0 0 0 20 0 3 0 29935777 133525504 17171 134679101440 4194304 16613245 140728733411760 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 36237312 140728733414424 140728733414540 140728733414540 140728733421552 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 130396 KiB
Current children cumulated memory: 68684 KiB
[startup+12.7003 s]
/proc/loadavg: 0.76 0.24 0.31 5/249 235537
/proc/meminfo: memFree=124083208/131655788 swapFree=131060916/131071996
[pid=235423] ppid=235420 vsize=130396 memory=70928 CPUtime=12.63 cores=1,3
/proc/235423/stat : 235423 (fscip) S 235420 235423 235357 0 -1 1077936128 25985 0 0 0 1258 5 0 0 20 0 3 0 29935760 133525504 17732 134679101440 4194304 16613245 140728733411760 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 36237312 140728733414424 140728733414540 140728733414540 140728733421552 0
/proc/235423/statm: 32599 17732 2958 3032 0 24403 0
[pid=235423/tid=235429] ppid=235420 vsize=130396 memory=69308 CPUtime=12.47 cores=1,3
/proc/235423/task/235429/stat : 235429 (fscip) R 235420 235423 235357 0 -1 4194368 19429 0 0 0 1244 3 0 0 20 0 3 0 29935774 133525504 17732 134679101440 4194304 16613245 140728733411760 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 36237312 140728733414424 140728733414540 140728733414540 140728733421552 0
[pid=235423/tid=235436] ppid=235420 vsize=130396 memory=0 CPUtime=0 cores=1,3
/proc/235423/task/235436/stat : 235436 (fscip) S 235420 235423 235357 0 -1 1077936192 3 0 0 0 0 0 0 0 20 0 3 0 29935777 133525504 17732 134679101440 4194304 16613245 140728733411760 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 36237312 140728733414424 140728733414540 140728733414540 140728733421552 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 130396 KiB
Current children cumulated memory: 70928 KiB
[startup+25.5004 s]
/proc/loadavg: 1.48 0.42 0.37 5/249 235540
/proc/meminfo: memFree=123953588/131655788 swapFree=131060916/131071996
[pid=235423] ppid=235420 vsize=201992 memory=100980 CPUtime=25.39 cores=1,3
/proc/235423/stat : 235423 (fscip) S 235420 235423 235357 0 -1 1077936128 54652 0 0 0 2531 8 0 0 20 0 3 0 29935760 206839808 25245 134679101440 4194304 16613245 140728733411760 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 36237312 140728733414424 140728733414540 140728733414540 140728733421552 0
/proc/235423/statm: 50498 25245 2958 3032 0 33423 0
[pid=235423/tid=235429] ppid=235420 vsize=201992 memory=70584 CPUtime=25.24 cores=1,3
/proc/235423/task/235429/stat : 235429 (fscip) R 235420 235423 235357 0 -1 4194368 47919 0 0 0 2518 6 0 0 20 0 3 0 29935774 206839808 25245 134679101440 4194304 16613245 140728733411760 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 36237312 140728733414424 140728733414540 140728733414540 140728733421552 0
[pid=235423/tid=235436] ppid=235420 vsize=201992 memory=99028 CPUtime=0 cores=1,3
/proc/235423/task/235436/stat : 235436 (fscip) S 235420 235423 235357 0 -1 1077936192 6 0 0 0 0 0 0 0 20 0 3 0 29935777 206839808 25245 134679101440 4194304 16613245 140728733411760 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 36237312 140728733414424 140728733414540 140728733414540 140728733421552 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 201992 KiB
Current children cumulated memory: 100980 KiB
[startup+51.1132 s]
/proc/loadavg: 2.42 0.73 0.48 5/249 235544
/proc/meminfo: memFree=123887568/131655788 swapFree=131060916/131071996
[pid=235423] ppid=235420 vsize=219596 memory=144320 CPUtime=50.95 cores=1,3
/proc/235423/stat : 235423 (fscip) S 235420 235423 235357 0 -1 1077936128 108956 0 0 0 5082 13 0 0 20 0 3 0 29935760 224866304 36080 134679101440 4194304 16613245 140728733411760 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 36237312 140728733414424 140728733414540 140728733414540 140728733421552 0
/proc/235423/statm: 54899 36080 2958 3032 0 46089 0
[pid=235423/tid=235429] ppid=235420 vsize=219596 memory=133152 CPUtime=50.78 cores=1,3
/proc/235423/task/235429/stat : 235429 (fscip) R 235420 235423 235357 0 -1 4194368 102082 0 0 0 5068 10 0 0 20 0 3 0 29935774 224866304 36080 134679101440 4194304 16613245 140728733411760 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 36237312 140728733414424 140728733414540 140728733414540 140728733421552 0
[pid=235423/tid=235436] ppid=235420 vsize=219596 memory=130128 CPUtime=0 cores=1,3
/proc/235423/task/235436/stat : 235436 (fscip) S 235420 235423 235357 0 -1 1077936192 13 0 0 0 0 0 0 0 20 0 3 0 29935777 224866304 36080 134679101440 4194304 16613245 140728733411760 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 36237312 140728733414424 140728733414540 140728733414540 140728733421552 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 219596 KiB
Current children cumulated memory: 144320 KiB
[startup+102.3 s]
/proc/loadavg: 3.39 1.25 0.67 5/249 235553
/proc/meminfo: memFree=123684696/131655788 swapFree=131060916/131071996
[pid=235423] ppid=235420 vsize=306348 memory=208044 CPUtime=101.99 cores=1,3
/proc/235423/stat : 235423 (fscip) S 235420 235423 235357 0 -1 1077936128 188088 0 0 0 10179 20 0 0 20 0 3 0 29935760 313700352 52011 134679101440 4194304 16613245 140728733411760 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 36237312 140728733414424 140728733414540 140728733414540 140728733421552 0
/proc/235423/statm: 76587 52011 3278 3032 0 62701 0
[pid=235423/tid=235429] ppid=235420 vsize=306348 memory=204184 CPUtime=101.82 cores=1,3
/proc/235423/task/235429/stat : 235429 (fscip) R 235420 235423 235357 0 -1 4194368 181093 0 0 0 10165 17 0 0 20 0 3 0 29935774 313700352 52011 134679101440 4194304 16613245 140728733411760 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 36237312 140728733414424 140728733414540 140728733414540 140728733421552 0
[pid=235423/tid=235436] ppid=235420 vsize=306348 memory=11616 CPUtime=0 cores=1,3
/proc/235423/task/235436/stat : 235436 (fscip) S 235420 235423 235357 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 3 0 29935777 313700352 52011 134679101440 4194304 16613245 140728733411760 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 36237312 140728733414424 140728733414540 140728733414540 140728733421552 0
Current children cumulated CPU time: 101.99 s
Current children cumulated vsize: 306348 KiB
Current children cumulated memory: 208044 KiB
[startup+162.3 s]
/proc/loadavg: 4.47 1.95 0.95 5/248 235564
/proc/meminfo: memFree=123563436/131655788 swapFree=131060916/131071996
[pid=235423] ppid=235420 vsize=354428 memory=255656 CPUtime=161.83 cores=1,3
/proc/235423/stat : 235423 (fscip) S 235420 235423 235357 0 -1 1077936128 246465 0 0 0 16157 26 0 0 20 0 3 0 29935760 362934272 63914 134679101440 4194304 16613245 140728733411760 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 36237312 140728733414424 140728733414540 140728733414540 140728733421552 0
/proc/235423/statm: 88607 63914 3278 3032 0 76128 0
[pid=235423/tid=235429] ppid=235420 vsize=354428 memory=226104 CPUtime=161.66 cores=1,3
/proc/235423/task/235429/stat : 235429 (fscip) R 235420 235423 235357 0 -1 4194368 239402 0 0 0 16143 23 0 0 20 0 3 0 29935774 362934272 63914 134679101440 4194304 16613245 140728733411760 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 36237312 140728733414424 140728733414540 140728733414540 140728733421552 0
[pid=235423/tid=235436] ppid=235420 vsize=354428 memory=11616 CPUtime=0 cores=1,3
/proc/235423/task/235436/stat : 235436 (fscip) S 235420 235423 235357 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 3 0 29935777 362934272 63914 134679101440 4194304 16613245 140728733411760 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 36237312 140728733414424 140728733414540 140728733414540 140728733421552 0
Current children cumulated CPU time: 161.83 s
Current children cumulated vsize: 354428 KiB
Current children cumulated memory: 255656 KiB
[startup+222.3 s]
/proc/loadavg: 4.32 2.37 1.16 5/248 235574
################
# More data... #
################
/proc/235423/statm: 242102 222063 3294 3032 0 238157 0
[pid=235423/tid=235429] ppid=235420 vsize=968408 memory=888256 CPUtime=2434.93 cores=1,3
/proc/235423/task/235429/stat : 235429 (fscip) R 235420 235423 235357 0 -1 4194368 935345 0 0 0 243331 162 0 0 20 0 3 0 29935774 991649792 222063 134679101440 4194304 16613245 140728733411760 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 36237312 140728733414424 140728733414540 140728733414540 140728733421552 0
[pid=235423/tid=235436] ppid=235420 vsize=968408 memory=886872 CPUtime=0.03 cores=1,3
/proc/235423/task/235436/stat : 235436 (fscip) S 235420 235423 235357 0 -1 1077936192 63 0 0 0 1 2 0 0 20 0 3 0 29935777 991649792 222063 134679101440 4194304 16613245 140728733411760 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 36237312 140728733414424 140728733414540 140728733414540 140728733421552 0
Current children cumulated CPU time: 2435.49 s
Current children cumulated vsize: 968408 KiB
Current children cumulated memory: 888252 KiB
[startup+2502.3 s]
/proc/loadavg: 4.10 4.16 3.95 5/248 236651
/proc/meminfo: memFree=121640956/131655788 swapFree=131060916/131071996
[pid=235423] ppid=235420 vsize=1033944 memory=892108 CPUtime=2495.32 cores=1,3
/proc/235423/stat : 235423 (fscip) S 235420 235423 235357 0 -1 1077936128 947922 0 0 0 249350 182 0 0 20 0 3 0 29935760 1058758656 223027 134679101440 4194304 16613245 140728733411760 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 36237312 140728733414424 140728733414540 140728733414540 140728733421552 0
/proc/235423/statm: 258486 223027 3294 3032 0 239577 0
[pid=235423/tid=235429] ppid=235420 vsize=1033944 memory=886872 CPUtime=2494.74 cores=1,3
/proc/235423/task/235429/stat : 235429 (fscip) R 235420 235423 235357 0 -1 4194368 940054 0 0 0 249310 164 0 0 20 0 3 0 29935774 1058758656 223027 134679101440 4194304 16613245 140728733411760 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 36237312 140728733414424 140728733414540 140728733414540 140728733421552 0
[pid=235423/tid=235436] ppid=235420 vsize=1033944 memory=892108 CPUtime=0.03 cores=1,3
/proc/235423/task/235436/stat : 235436 (fscip) S 235420 235423 235357 0 -1 1077936192 64 0 0 0 1 2 0 0 20 0 3 0 29935777 1058758656 223027 134679101440 4194304 16613245 140728733411760 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 36237312 140728733414424 140728733414540 140728733414540 140728733421552 0
Current children cumulated CPU time: 2495.32 s
Current children cumulated vsize: 1033944 KiB
Current children cumulated memory: 892108 KiB
[startup+2549.16 s]
# the end of solver process 235423 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=2540.16 s, system=1.88868 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2508.8 s]
/proc/loadavg: 4.16 4.18 3.96 5/248 236653
/proc/meminfo: memFree=121640648/131655788 swapFree=131060916/131071996
[pid=235423] ppid=235420 vsize=1033944 memory=892236 CPUtime=2501.81 cores=1,3
/proc/235423/stat : 235423 (fscip) S 235420 235423 235357 0 -1 1077936128 948315 0 0 0 249998 183 0 0 20 0 3 0 29935760 1058758656 223059 134679101440 4194304 16613245 140728733411760 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 36237312 140728733414424 140728733414540 140728733414540 140728733421552 0
/proc/235423/statm: 258486 223059 3294 3032 0 239577 0
[pid=235423/tid=235429] ppid=235420 vsize=1033944 memory=12368 CPUtime=2501.22 cores=1,3
/proc/235423/task/235429/stat : 235429 (fscip) R 235420 235423 235357 0 -1 4194368 940444 0 0 0 249957 165 0 0 20 0 3 0 29935774 1058758656 223059 134679101440 4194304 16613245 140728733411760 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 36237312 140728733414424 140728733414540 140728733414540 140728733421552 0
[pid=235423/tid=235436] ppid=235420 vsize=1033944 memory=888252 CPUtime=0.03 cores=1,3
/proc/235423/task/235436/stat : 235436 (fscip) S 235420 235423 235357 0 -1 1077936192 65 0 0 0 1 2 0 0 20 0 3 0 29935777 1058758656 223059 134679101440 4194304 16613245 140728733411760 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 36237312 140728733414424 140728733414540 140728733414540 140728733421552 0
Current children cumulated CPU time: 2501.81 s
Current children cumulated vsize: 1033944 KiB
Current children cumulated memory: 892236 KiB
[startup+2534.4 s]
/proc/loadavg: 4.10 4.16 3.96 5/248 236656
/proc/meminfo: memFree=121641152/131655788 swapFree=131060916/131071996
[pid=235423] ppid=235420 vsize=1033944 memory=892236 CPUtime=2527.32 cores=1,3
/proc/235423/stat : 235423 (fscip) S 235420 235423 235357 0 -1 1077936128 950093 0 0 0 252547 185 0 0 20 0 3 0 29935760 1058758656 223059 134679101440 4194304 16613245 140728733411760 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 36237312 140728733414424 140728733414540 140728733414540 140728733421552 0
/proc/235423/statm: 258486 223059 3294 3032 0 239577 0
[pid=235423/tid=235429] ppid=235420 vsize=1033944 memory=11616 CPUtime=2526.73 cores=1,3
/proc/235423/task/235429/stat : 235429 (fscip) R 235420 235423 235357 0 -1 4194368 942207 0 0 0 252506 167 0 0 20 0 3 0 29935774 1058758656 223059 134679101440 4194304 16613245 140728733411760 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 36237312 140728733414424 140728733414540 140728733414540 140728733421552 0
[pid=235423/tid=235436] ppid=235420 vsize=1033944 memory=892236 CPUtime=0.03 cores=1,3
/proc/235423/task/235436/stat : 235436 (fscip) S 235420 235423 235357 0 -1 1077936192 65 0 0 0 1 2 0 0 20 0 3 0 29935777 1058758656 223059 134679101440 4194304 16613245 140728733411760 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 36237312 140728733414424 140728733414540 140728733414540 140728733421552 0
Current children cumulated CPU time: 2527.32 s
Current children cumulated vsize: 1033944 KiB
Current children cumulated memory: 892236 KiB
[startup+2540.8 s]
/proc/loadavg: 4.09 4.16 3.96 5/248 236657
/proc/meminfo: memFree=121641068/131655788 swapFree=131060916/131071996
[pid=235423] ppid=235420 vsize=1033944 memory=892236 CPUtime=2533.71 cores=1,3
/proc/235423/stat : 235423 (fscip) S 235420 235423 235357 0 -1 1077936128 951046 0 0 0 253185 186 0 0 20 0 3 0 29935760 1058758656 223059 134679101440 4194304 16613245 140728733411760 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 36237312 140728733414424 140728733414540 140728733414540 140728733421552 0
/proc/235423/statm: 258486 223059 3294 3032 0 239577 0
[pid=235423/tid=235429] ppid=235420 vsize=1033944 memory=11616 CPUtime=2533.11 cores=1,3
/proc/235423/task/235429/stat : 235429 (fscip) R 235420 235423 235357 0 -1 4194368 943160 0 0 0 253143 168 0 0 20 0 3 0 29935774 1058758656 223059 134679101440 4194304 16613245 140728733411760 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 36237312 140728733414424 140728733414540 140728733414540 140728733421552 0
[pid=235423/tid=235436] ppid=235420 vsize=1033944 memory=892236 CPUtime=0.03 cores=1,3
/proc/235423/task/235436/stat : 235436 (fscip) S 235420 235423 235357 0 -1 1077936192 65 0 0 0 1 2 0 0 20 0 3 0 29935777 1058758656 223059 134679101440 4194304 16613245 140728733411760 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 36237312 140728733414424 140728733414540 140728733414540 140728733421552 0
Current children cumulated CPU time: 2533.71 s
Current children cumulated vsize: 1033944 KiB
Current children cumulated memory: 892236 KiB
[startup+2544 s]*
/proc/loadavg: 4.09 4.15 3.96 5/248 236658
/proc/meminfo: memFree=121640984/131655788 swapFree=131060916/131071996
[pid=235423] ppid=235420 vsize=1033944 memory=892236 CPUtime=2536.89 cores=1,3
/proc/235423/stat : 235423 (fscip) S 235420 235423 235357 0 -1 1077936128 951213 0 0 0 253503 186 0 0 20 0 3 0 29935760 1058758656 223059 134679101440 4194304 16613245 140728733411760 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 36237312 140728733414424 140728733414540 140728733414540 140728733421552 0
/proc/235423/statm: 258486 223059 3294 3032 0 239577 0
[pid=235423/tid=235429] ppid=235420 vsize=1033944 memory=6720668761470680419 CPUtime=2536.3 cores=1,3
/proc/235423/task/235429/stat : 235429 (fscip) R 235420 235423 235357 0 -1 4194368 943327 0 0 0 253462 168 0 0 20 0 3 0 29935774 1058758656 223059 134679101440 4194304 16613245 140728733411760 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 36237312 140728733414424 140728733414540 140728733414540 140728733421552 0
[pid=235423/tid=235436] ppid=235420 vsize=1033944 memory=-7305821175587366010 CPUtime=0.03 cores=1,3
/proc/235423/task/235436/stat : 235436 (fscip) S 235420 235423 235357 0 -1 1077936192 65 0 0 0 1 2 0 0 20 0 3 0 29935777 1058758656 223059 134679101440 4194304 16613245 140728733411760 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 36237312 140728733414424 140728733414540 140728733414540 140728733421552 0
Current children cumulated CPU time: 2536.89 s
Current children cumulated vsize: 1033944 KiB
Current children cumulated memory: 892236 KiB
[startup+2547.2 s]
/proc/loadavg: 4.09 4.15 3.96 5/248 236660
/proc/meminfo: memFree=121631656/131655788 swapFree=131060916/131071996
[pid=235423] ppid=235420 vsize=1033944 memory=889564 CPUtime=2540.08 cores=1,3
/proc/235423/stat : 235423 (fscip) S 235420 235423 235357 0 -1 1077936128 952281 0 0 0 253821 187 0 0 20 0 3 0 29935760 1058758656 222391 134679101440 4194304 16613245 140728733411760 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 36237312 140728733414424 140728733414540 140728733414540 140728733421552 0
/proc/235423/statm: 258486 222391 3294 3032 0 239922 0
[pid=235423/tid=235429] ppid=235420 vsize=1033944 memory=12368 CPUtime=2539.47 cores=1,3
/proc/235423/task/235429/stat : 235429 (fscip) R 235420 235423 235357 0 -1 4194368 944395 0 0 0 253779 168 0 0 20 0 3 0 29935774 1058758656 222391 134679101440 4194304 16613245 140728733411760 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 36237312 140728733414424 140728733414540 140728733414540 140728733421552 0
[pid=235423/tid=235436] ppid=235420 vsize=1033944 memory=61156 CPUtime=0.03 cores=1,3
/proc/235423/task/235436/stat : 235436 (fscip) S 235420 235423 235357 0 -1 1077936192 65 0 0 0 1 2 0 0 20 0 3 0 29935777 1058758656 222391 134679101440 4194304 16613245 140728733411760 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 36237312 140728733414424 140728733414540 140728733414540 140728733421552 0
Current children cumulated CPU time: 2540.08 s
Current children cumulated vsize: 1033944 KiB
Current children cumulated memory: 889564 KiB
[startup+2548 s]*
/proc/loadavg: 4.08 4.15 3.96 5/248 236660
/proc/meminfo: memFree=121631544/131655788 swapFree=131060916/131071996
[pid=235423] ppid=235420 vsize=1035092 memory=892616 CPUtime=2540.89 cores=1,3
/proc/235423/stat : 235423 (fscip) S 235420 235423 235357 0 -1 1077936128 953086 0 0 0 253902 187 0 0 20 0 3 0 29935760 1059934208 223154 134679101440 4194304 16613245 140728733411760 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 36237312 140728733414424 140728733414540 140728733414540 140728733421552 0
/proc/235423/statm: 258773 223154 3294 3032 0 240209 0
[pid=235423/tid=235429] ppid=235420 vsize=1035092 memory=6720668761470680419 CPUtime=2540.29 cores=1,3
/proc/235423/task/235429/stat : 235429 (fscip) R 235420 235423 235357 0 -1 4194368 945200 0 0 0 253860 169 0 0 20 0 3 0 29935774 1059934208 223154 134679101440 4194304 16613245 140728733411760 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 36237312 140728733414424 140728733414540 140728733414540 140728733421552 0
[pid=235423/tid=235436] ppid=235420 vsize=1035092 memory=-7305821175587366010 CPUtime=0.03 cores=1,3
/proc/235423/task/235436/stat : 235436 (fscip) S 235420 235423 235357 0 -1 1077936192 65 0 0 0 1 2 0 0 20 0 3 0 29935777 1059934208 223154 134679101440 4194304 16613245 140728733411760 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 36237312 140728733414424 140728733414540 140728733414540 140728733421552 0
Current children cumulated CPU time: 2540.89 s
Current children cumulated vsize: 1035092 KiB
Current children cumulated memory: 892616 KiB
[startup+2548.8 s]
/proc/loadavg: 4.08 4.15 3.96 5/248 236660
/proc/meminfo: memFree=121631544/131655788 swapFree=131060916/131071996
[pid=235423] ppid=235420 vsize=1035928 memory=893488 CPUtime=2541.67 cores=1,3
/proc/235423/stat : 235423 (fscip) S 235420 235423 235357 0 -1 1077936128 954396 0 0 0 253980 187 0 0 20 0 3 0 29935760 1060790272 223372 134679101440 4194304 16613245 140728733411760 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 36237312 140728733414424 140728733414540 140728733414540 140728733421552 0
/proc/235423/statm: 258982 223372 3294 3032 0 240418 0
[pid=235423/tid=235429] ppid=235420 vsize=1035928 memory=892236 CPUtime=2541.07 cores=1,3
/proc/235423/task/235429/stat : 235429 (fscip) R 235420 235423 235357 0 -1 4194368 946510 0 0 0 253938 169 0 0 20 0 3 0 29935774 1060790272 223372 134679101440 4194304 16613245 140728733411760 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 36237312 140728733414424 140728733414540 140728733414540 140728733421552 0
[pid=235423/tid=235436] ppid=235420 vsize=1035928 memory=18416 CPUtime=0.03 cores=1,3
/proc/235423/task/235436/stat : 235436 (fscip) S 235420 235423 235357 0 -1 1077936192 65 0 0 0 1 2 0 0 20 0 3 0 29935777 1060790272 223372 134679101440 4194304 16613245 140728733411760 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 36237312 140728733414424 140728733414540 140728733414540 140728733421552 0
Current children cumulated CPU time: 2541.67 s
Current children cumulated vsize: 1035928 KiB
Current children cumulated memory: 893488 KiB
[startup+2549 s]*
/proc/loadavg: 4.08 4.15 3.96 5/248 236660
/proc/meminfo: memFree=121640108/131655788 swapFree=131060916/131071996
[pid=235423] ppid=235420 vsize=1036328 memory=894260 CPUtime=2541.89 cores=1,3
/proc/235423/stat : 235423 (fscip) S 235420 235423 235357 0 -1 1077936128 954610 0 0 0 254002 187 0 0 20 0 3 0 29935760 1061199872 223565 134679101440 4194304 16613245 140728733411760 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 36237312 140728733414424 140728733414540 140728733414540 140728733421552 0
/proc/235423/statm: 259082 223565 3294 3032 0 240518 0
[pid=235423/tid=235429] ppid=235420 vsize=1036328 memory=6720668761470680419 CPUtime=2541.28 cores=1,3
/proc/235423/task/235429/stat : 235429 (fscip) R 235420 235423 235357 0 -1 4194368 946724 0 0 0 253959 169 0 0 20 0 3 0 29935774 1061199872 223565 134679101440 4194304 16613245 140728733411760 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 36237312 140728733414424 140728733414540 140728733414540 140728733421552 0
[pid=235423/tid=235436] ppid=235420 vsize=1036328 memory=-7305821175587366010 CPUtime=0.03 cores=1,3
/proc/235423/task/235436/stat : 235436 (fscip) S 235420 235423 235357 0 -1 1077936192 65 0 0 0 1 2 0 0 20 0 3 0 29935777 1061199872 223565 134679101440 4194304 16613245 140728733411760 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 36237312 140728733414424 140728733414540 140728733414540 140728733421552 0
Current children cumulated CPU time: 2541.89 s
Current children cumulated vsize: 1036328 KiB
Current children cumulated memory: 894260 KiB
[startup+2549.11 s]
/proc/loadavg: 4.08 4.15 3.96 5/248 236660
/proc/meminfo: memFree=121640108/131655788 swapFree=131060916/131071996
[pid=235423] ppid=235420 vsize=1036328 memory=894516 CPUtime=2541.99 cores=1,3
/proc/235423/stat : 235423 (fscip) S 235420 235423 235357 0 -1 1077936128 954624 0 0 0 254012 187 0 0 20 0 3 0 29935760 1061199872 223629 134679101440 4194304 16613245 140728733411760 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 36237312 140728733414424 140728733414540 140728733414540 140728733421552 0
/proc/235423/statm: 259082 223629 3294 3032 0 240518 0
[pid=235423/tid=235429] ppid=235420 vsize=1036328 memory=886872 CPUtime=2541.38 cores=1,3
/proc/235423/task/235429/stat : 235429 (fscip) R 235420 235423 235357 0 -1 4194368 946738 0 0 0 253969 169 0 0 20 0 3 0 29935774 1061199872 223629 134679101440 4194304 16613245 140728733411760 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 36237312 140728733414424 140728733414540 140728733414540 140728733421552 0
[pid=235423/tid=235436] ppid=235420 vsize=1036328 memory=890320 CPUtime=0.03 cores=1,3
/proc/235423/task/235436/stat : 235436 (fscip) S 235420 235423 235357 0 -1 1077936192 65 0 0 0 1 2 0 0 20 0 3 0 29935777 1061199872 223629 134679101440 4194304 16613245 140728733411760 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 36237312 140728733414424 140728733414540 140728733414540 140728733421552 0
Current children cumulated CPU time: 2541.99 s
Current children cumulated vsize: 1036328 KiB
Current children cumulated memory: 894516 KiB
Child status: 0
Real time (s): 2549.16
CPU time (s): 2542.04
CPU user time (s): 2540.16
CPU system time (s): 1.88868
CPU usage (%): 99.721
Max. virtual memory (cumulated for all children) (KiB): 1036328
Max. memory (cumulated for all children) (KiB): 894516
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2540.16
system time used= 1.88868
maximum resident set size= 895768
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 955395
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= 13568
involuntary context switches= 4175
# summary of solver processes directly reported to runsolver:
# pid: 235423
# total CPU time (s): 2542.04
# total CPU user time (s): 2540.16
# total CPU system time (s): 1.88868
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.1338 second user time and 24.93 second system time
The end
Begin job on nodeC007 at 2024-07-25 22:31:03
IDJOB=4459739
IDBENCH=148531
IDSOLVER=3064
FILE ID=nodeC007/4459739-1721939463
RUNJOBID= nodeC007-1721939462-235369
SLURM_JOB_ID= 8247261
Free space on /tmp= 723728 MiB
SOLVER NAME= FiberSCIP 2024-07-02
BENCH NAME= PB24/normalized-PB07/OPT-NLC/submittedPB07/manquinho/mis/normalized-mis_200_25_1.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-4459739-1721939463/watcher-4459739-1721939463 -o /tmp/evaluation-result-4459739-1721939463/solver-4459739-1721939463 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1721939462-235369 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4459739-1721939463.opb -qsol -t 3600 -sth 1
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 55a6d95658ac1c453318efc30b1d836b
RANDOM SEED=1195961217
nodeC007.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 : 1197.204
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.67
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 : 1197.202
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 : 1197.205
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.67
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.215
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 : 1992.783
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.67
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 : 1197.204
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 : 1197.221
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.67
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.234
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: 124586024 kB
MemAvailable: 129868608 kB
Buffers: 338136 kB
Cached: 5643628 kB
SwapCached: 152 kB
Active: 1798276 kB
Inactive: 4476704 kB
Active(anon): 2204 kB
Inactive(anon): 336124 kB
Active(file): 1796072 kB
Inactive(file): 4140580 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131060916 kB
Dirty: 111976 kB
Writeback: 4 kB
AnonPages: 293564 kB
Mapped: 112432 kB
Shmem: 45112 kB
KReclaimable: 372936 kB
Slab: 485524 kB
SReclaimable: 372936 kB
SUnreclaim: 112588 kB
KernelStack: 3840 kB
PageTables: 9912 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196899888 kB
Committed_AS: 682984 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 14336 kB
HardwareCorrupted: 0 kB
AnonHugePages: 139264 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: 437064 kB
DirectMap2M: 60284928 kB
DirectMap1G: 75497472 kB
Free space on /tmp at the end= 723672 MiB
End job on nodeC007 at 2024-07-25 23:13:32