0.00/0.00 c The following solver is parallelized by UG version 1.0.0 [GitHash: e6e2b6ff-dirty]
0.00/0.00 c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.1.1] [GitHash: 020d91813d]
0.00/0.00 c Copyright (c) 2002-2024 Zuse Institute Berlin (ZIB)
0.00/0.00 c External libraries:
0.00/0.00 c Soplex 7.1.1 Linear Programming Solver developed at Zuse Institute Berlin (soplex.zib.de) [GitHash: b4905e82]
0.00/0.00 c CppAD 20180000.0 Algorithmic Differentiation of C++ algorithms developed by B. Bell (github.com/coin-or/CppAD)
0.00/0.00 c AMPL/MP 690e9e7 AMPL .nl file reader library (github.com/ampl/mp)
0.00/0.00 c PaPILO 2.4.0 parallel presolve for integer and linear optimization (github.com/scipopt/papilo)
0.00/0.00 c Nauty 2.8.8 Computing Graph Automorphism Groups by Brendan D. McKay (users.cecs.anu.edu.au/~bdm/nauty)
0.00/0.00 c sassy 1.1 Symmetry preprocessor by Markus Anders (github.com/markusa4/sassy)
0.00/0.01 c Default LC presolving (default).
0.00/0.01 c ** Before presolving: virtualMemUsedAtLc = 32329728, getVmSize() = 32329728, SCIPgetMemUsed() = 8873146, SCIPgetMemTotal() = 10493418, SCIPgetMemExternEstim() = 5427093
0.00/0.01 c ** set memory limit for presolving in LC to 8.79608e+12 for SCIP **
0.00/0.06 c ** Estimated virtualMemUsedAtSolver = 24831317, getVmSize() = 42164224, SCIPgetMemUsed() = 10276015, SCIPgetMemTotal() = 18923383, SCIPgetMemExternEstim() = 5427093
0.00/0.06 c ** set memory limit for solvers to 4.39805e+12 for each SCIP **
0.00/0.06 c Original Problem :
0.00/0.06 c Problem name : instance-4463986-1722378595
0.00/0.06 c Variables : 1968 (1968 binary, 0 integer, 0 implicit integer, 0 continuous)
0.00/0.06 c Constraints : 4000
0.00/0.06 c Objective sense : minimize
0.00/0.06 c Presolved Problem :
0.00/0.06 c Variables : 1479 (1479 binary, 0 integer, 0 implicit integer, 0 continuous)
0.00/0.06 c Constraints : 2868
0.00/0.06 c Constraints : Number
0.00/0.06 c setppc : 2868
0.00/0.06 c ** Instance transfer method used: 0
0.00/0.06 c ** ParaScipInstance copy does not increase the number of variables. **
0.00/0.07 c LC is working with racing ramp-up and with rebuilding tree after racing.
0.00/0.07 c Nodes Active
0.00/0.07 c Time Nodes Left Solvers Best Integer Best Node Gap Best Node(S) Gap(S)
0.00/0.08 c * 0 0 1 1 1719.0000 - -
0.10/0.13 c * 0 0 1 1 1169.0000 - -
0.10/0.14 c * 0 0 1 1 1080.0000 - -
0.10/0.15 c * 0 0 1 1 1073.0000 - -
12.24/12.30 c 12 2 1 1 1073.0000 1005.6937 6.69%
18.13/18.25 c 18 5 4 1 1073.0000 1006.0801 6.65%
23.72/23.86 c 24 8 7 1 1073.0000 1006.0801 6.65%
30.30/30.48 c * 30 29 28 1 1057.0000 1006.0801 5.06%
30.30/30.48 c 30 29 28 1 1057.0000 1006.0801 5.06%
30.30/30.48 c * 30 42 41 1 1055.0000 1006.0801 4.86%
30.40/30.51 c * 31 42 41 1 1051.0000 1006.0801 4.46%
30.40/30.53 c * 31 42 41 1 1050.0000 1006.0801 4.37%
33.50/33.64 c * 34 53 40 1 1049.0000 1006.0801 4.27%
36.49/36.63 c 37 71 39 1 1049.0000 1006.0801 4.27%
37.29/37.45 c * 37 71 39 1 1048.0000 1006.0801 4.17%
38.48/38.60 c * 39 71 39 1 1046.0000 1006.0801 3.97%
43.67/43.84 c 44 90 46 1 1046.0000 1006.5531 3.92%
44.98/45.13 c * 45 100 54 1 1045.0000 1006.5531 3.82%
50.45/50.62 c 51 139 61 1 1045.0000 1006.8260 3.79%
55.44/55.67 c 56 161 79 1 1045.0000 1007.2543 3.75%
61.33/61.52 c 62 178 84 1 1045.0000 1007.5150 3.72%
66.62/66.83 c 67 239 105 1 1045.0000 1007.9129 3.68%
72.20/72.40 c 72 290 104 1 1045.0000 1007.9129 3.68%
79.28/79.50 c 80 346 128 1 1045.0000 1007.9208 3.68%
84.57/84.86 c 85 396 124 1 1045.0000 1007.9911 3.67%
90.55/90.84 c 91 481 131 1 1045.0000 1008.1332 3.66%
96.34/96.62 c 97 527 141 1 1045.0000 1008.6308 3.61%
102.53/102.82 c 103 561 147 1 1045.0000 1008.6370 3.61%
107.61/107.96 c 108 612 149 1 1045.0000 1008.7107 3.60%
113.00/113.39 c 113 643 158 1 1045.0000 1008.9762 3.57%
118.48/118.83 c 119 663 168 1 1045.0000 1008.9781 3.57%
123.98/124.36 c 124 748 177 1 1045.0000 1009.5541 3.51%
130.46/130.81 c 131 872 192 1 1045.0000 1009.7501 3.49%
135.45/135.89 c 136 904 196 1 1045.0000 1009.7869 3.49%
140.43/140.87 c * 141 942 192 1 1044.0000 1009.9242 3.37%
141.53/141.99 c 142 975 196 1 1044.0000 1009.9242 3.37%
147.02/147.42 c 147 1010 205 1 1044.0000 1009.9658 3.37%
152.20/152.69 c 153 1134 215 1 1044.0000 1010.1196 3.35%
157.60/158.04 c 158 1165 224 1 1044.0000 1010.3592 3.33%
163.38/163.87 c 164 1244 227 1 1044.0000 1010.3637 3.33%
169.57/170.05 c 170 1256 233 1 1044.0000 1010.5093 3.31%
175.15/175.61 c 176 1372 241 1 1044.0000 1010.8876 3.28%
180.15/180.62 c 181 1432 249 1 1044.0000 1011.1186 3.25%
186.33/186.84 c 187 1524 255 1 1044.0000 1011.1428 3.25%
192.31/192.85 c 193 1595 266 1 1044.0000 1011.2750 3.24%
197.61/198.15 c 198 1682 273 1 1044.0000 1011.2964 3.23%
202.89/203.42 c 203 1755 284 1 1044.0000 1011.3167 3.23%
207.97/208.55 c 209 1881 290 1 1044.0000 1011.4163 3.22%
213.06/213.61 c 214 1982 299 1 1044.0000 1011.5079 3.21%
218.15/218.75 c 219 2002 309 1 1044.0000 1011.5377 3.21%
225.54/226.11 c 226 2012 313 1 1044.0000 1011.6244 3.20%
232.82/233.40 c 233 2062 323 1 1044.0000 1011.6814 3.19%
237.90/238.59 c 239 2182 341 1 1044.0000 1011.7128 3.19%
242.99/243.67 c 244 2362 347 1 1044.0000 1011.7239 3.19%
248.68/249.36 c 249 2376 355 1 1044.0000 1011.7362 3.19%
257.56/258.27 c 258 2486 359 1 1044.0000 1011.7926 3.18%
265.24/265.97 c 266 2644 361 1 1044.0000 1011.8529 3.18%
271.02/271.70 c 272 2676 369 1 1044.0000 1011.9086 3.17%
278.51/279.21 c 279 2723 376 1 1044.0000 1011.9688 3.17%
284.89/285.63 c 286 2816 391 1 1044.0000 1012.0837 3.15%
290.08/290.81 c 291 2852 397 1 1044.0000 1012.2353 3.14%
295.27/296.02 c 296 2966 401 1 1044.0000 1012.2353 3.14%
300.96/301.78 c 302 3066 405 1 1044.0000 1012.2517 3.14%
306.25/307.04 c 307 3176 411 1 1044.0000 1012.2971 3.13%
313.92/314.79 c 315 3303 416 1 1044.0000 1012.4727 3.11%
320.11/320.96 c 321 3326 429 1 1044.0000 1012.5310 3.11%
327.70/328.55 c 329 3353 436 1 1044.0000 1012.6201 3.10%
333.68/334.54 c 335 3425 442 1 1044.0000 1012.6250 3.10%
339.07/339.93 c 340 3492 459 1 1044.0000 1012.6676 3.09%
345.05/345.96 c 346 3552 463 1 1044.0000 1012.6821 3.09%
351.84/352.74 c 353 3564 471 1 1044.0000 1012.7201 3.09%
357.23/358.12 c 358 3621 478 1 1044.0000 1012.8403 3.08%
363.11/364.07 c 364 3717 482 1 1044.0000 1012.8732 3.07%
371.39/372.35 c 372 3776 485 1 1044.0000 1012.9259 3.07%
381.08/382.06 c 382 3842 493 1 1044.0000 1012.9873 3.06%
387.06/388.04 c 388 3923 504 1 1044.0000 1013.0138 3.06%
387.46/388.46 c * 388 3923 504 1 1041.0000 1013.0138 2.76%
393.14/394.17 c 394 4006 487 1 1041.0000 1013.1089 2.75%
398.83/399.89 c 400 4043 494 1 1041.0000 1013.3036 2.73%
404.71/405.71 c 406 4115 502 1 1041.0000 1013.3128 2.73%
409.70/410.74 c 411 4175 506 1 1041.0000 1013.3532 2.73%
417.99/419.07 c 419 4235 516 1 1041.0000 1013.4132 2.72%
423.77/424.80 c 425 4305 524 1 1041.0000 1013.6165 2.70%
431.25/432.30 c 432 4352 529 1 1041.0000 1013.6290 2.70%
436.83/437.97 c 438 4481 536 1 1041.0000 1013.6290 2.70%
442.23/443.39 c 443 4608 533 1 1041.0000 1013.6290 2.70%
447.62/448.75 c 449 4752 537 1 1041.0000 1013.6290 2.70%
453.10/454.27 c 454 4797 548 1 1041.0000 1013.6695 2.70%
458.89/460.00 c 460 4884 553 1 1041.0000 1013.7412 2.69%
467.36/468.51 c 469 4932 559 1 1041.0000 1013.7542 2.69%
472.85/474.06 c 474 4992 569 1 1041.0000 1013.8333 2.68%
478.63/479.87 c 480 5014 577 1 1041.0000 1013.8464 2.68%
484.01/485.21 c 485 5074 585 1 1041.0000 1013.8631 2.68%
489.19/490.41 c 490 5195 582 1 1041.0000 1013.8631 2.68%
494.28/495.51 c 496 5235 586 1 1041.0000 1013.9436 2.67%
499.56/500.82 c 501 5312 595 1 1041.0000 1013.9956 2.66%
506.34/507.68 c 508 5335 602 1 1041.0000 1014.0093 2.66%
512.03/513.38 c 513 5368 611 1 1041.0000 1014.0722 2.66%
520.31/521.63 c 522 5442 615 1 1041.0000 1014.1268 2.65%
525.49/526.85 c 527 5502 627 1 1041.0000 1014.2000 2.64%
530.97/532.37 c 532 5515 634 1 1041.0000 1014.2414 2.64%
536.06/537.47 c 537 5632 639 1 1041.0000 1014.4046 2.62%
543.44/544.81 c 545 5676 647 1 1041.0000 1014.4199 2.62%
548.63/550.05 c 550 5788 649 1 1041.0000 1014.4199 2.62%
555.61/557.05 c 557 5882 647 1 1041.0000 1014.4228 2.62%
561.39/562.88 c 563 5923 660 1 1041.0000 1014.5015 2.61%
566.87/568.33 c 568 5977 662 1 1041.0000 1014.5048 2.61%
572.95/574.43 c 574 6038 671 1 1041.0000 1014.5420 2.61%
579.23/580.71 c 581 6064 673 1 1041.0000 1014.6184 2.60%
584.41/585.92 c 586 6122 681 1 1041.0000 1014.6600 2.60%
589.60/591.13 c 591 6183 686 1 1041.0000 1014.6600 2.60%
594.69/596.23 c 596 6272 693 1 1041.0000 1014.6821 2.59%
599.97/601.53 c 602 6331 700 1 1041.0000 1014.6821 2.59%
604.96/606.59 c 607 6397 706 1 1041.0000 1014.6888 2.59%
610.45/612.09 c 612 6456 711 1 1041.0000 1014.7274 2.59%
615.83/617.43 c 617 6487 716 1 1041.0000 1014.7727 2.58%
621.01/622.65 c 623 6529 722 1 1041.0000 1014.8419 2.58%
626.40/628.01 c 628 6569 730 1 1041.0000 1014.8503 2.58%
631.58/633.24 c 633 6657 732 1 1041.0000 1014.8503 2.58%
639.06/640.73 c 641 6695 738 1 1041.0000 1014.9087 2.57%
644.95/646.63 c 647 6772 739 1 1041.0000 1014.9333 2.57%
651.13/652.82 c 653 6855 746 1 1041.0000 1014.9424 2.57%
656.71/658.48 c 658 6923 752 1 1041.0000 1014.9553 2.57%
662.59/664.39 c 664 6987 758 1 1041.0000 1014.9771 2.56%
667.68/669.49 c 670 7073 758 1 1041.0000 1014.9771 2.56%
673.26/675.09 c 675 7102 765 1 1041.0000 1014.9951 2.56%
679.93/681.71 c 682 7132 767 1 1041.0000 1015.0276 2.56%
685.92/687.76 c 688 7186 777 1 1041.0000 1015.0465 2.56%
691.31/693.17 c 693 7245 782 1 1041.0000 1015.0561 2.56%
697.09/698.99 c 699 7271 790 1 1041.0000 1015.0839 2.55%
703.87/705.77 c 706 7292 795 1 1041.0000 1015.1257 2.55%
709.15/711.05 c 711 7372 803 1 1041.0000 1015.1432 2.55%
716.34/718.20 c 718 7412 805 1 1041.0000 1015.2346 2.54%
722.42/724.31 c 724 7457 818 1 1041.0000 1015.2346 2.54%
728.60/730.54 c 731 7534 823 1 1041.0000 1015.2552 2.54%
734.09/736.01 c 736 7628 827 1 1041.0000 1015.2552 2.54%
739.17/741.12 c 741 7711 824 1 1041.0000 1015.2552 2.54%
744.25/746.29 c 746 7822 825 1 1041.0000 1015.3055 2.53%
750.23/752.20 c 752 7912 831 1 1041.0000 1015.3055 2.53%
758.70/760.70 c 761 7926 837 1 1041.0000 1015.3224 2.53%
764.39/766.45 c 766 7983 846 1 1041.0000 1015.3647 2.52%
769.58/771.67 c 772 8029 854 1 1041.0000 1015.4294 2.52%
774.66/776.70 c 777 8162 855 1 1041.0000 1015.4384 2.52%
779.75/781.87 c 782 8244 861 1 1041.0000 1015.4384 2.52%
785.53/787.68 c 788 8316 871 1 1041.0000 1015.5185 2.51%
791.02/793.16 c 793 8432 867 1 1041.0000 1015.5878 2.50%
796.90/799.05 c 799 8491 874 1 1041.0000 1015.5878 2.50%
802.08/804.22 c 804 8672 869 1 1041.0000 1015.6138 2.50%
810.36/812.53 c 813 8686 879 1 1041.0000 1015.6163 2.50%
816.84/819.07 c 819 8726 889 1 1041.0000 1015.6587 2.50%
823.21/825.42 c 825 8843 894 1 1041.0000 1015.6661 2.49%
830.20/832.41 c 832 8922 899 1 1041.0000 1015.6661 2.49%
835.49/837.72 c 838 8953 902 1 1041.0000 1015.6661 2.49%
843.55/845.87 c 846 9002 903 1 1041.0000 1015.7435 2.49%
848.95/851.25 c 851 9032 913 1 1041.0000 1015.8189 2.48%
854.73/857.08 c 857 9087 914 1 1041.0000 1015.8189 2.48%
860.31/862.68 c 863 9150 919 1 1041.0000 1015.8352 2.48%
867.79/870.13 c 870 9202 919 1 1041.0000 1015.8352 2.48%
873.17/875.55 c 876 9263 922 1 1041.0000 1015.8352 2.48%
881.75/884.12 c 884 9322 927 1 1041.0000 1015.8707 2.47%
886.93/889.36 c 889 9402 939 1 1041.0000 1015.9479 2.47%
892.21/894.64 c 895 9424 945 1 1041.0000 1015.9572 2.46%
897.70/900.18 c 900 9509 954 1 1041.0000 1015.9752 2.46%
902.88/905.37 c 905 9717 960 1 1041.0000 1015.9752 2.46%
908.87/911.37 c 911 9833 966 1 1041.0000 1016.0030 2.46%
913.96/916.49 c 916 9994 965 1 1041.0000 1016.0030 2.46%
922.04/924.52 c 925 10072 973 1 1041.0000 1016.0264 2.46%
927.43/929.90 c 930 10154 979 1 1041.0000 1016.0444 2.46%
932.91/935.47 c 935 10249 982 1 1041.0000 1016.0444 2.46%
938.10/940.67 c 941 10407 982 1 1041.0000 1016.0444 2.46%
943.88/946.40 c 946 10511 984 1 1041.0000 1016.0525 2.46%
949.77/952.39 c 952 10647 980 1 1041.0000 1016.0525 2.46%
955.86/958.49 c 958 10714 985 1 1041.0000 1016.0949 2.45%
962.64/965.26 c 965 10873 990 1 1041.0000 1016.1050 2.45%
968.13/970.73 c 971 10977 998 1 1041.0000 1016.1519 2.45%
973.52/976.16 c 976 11097 1006 1 1041.0000 1016.1538 2.45%
979.70/982.35 c 982 11165 1014 1 1041.0000 1016.2079 2.44%
984.69/987.37 c 987 11263 1022 1 1041.0000 1016.2079 2.44%
990.67/993.31 c 993 11402 1027 1 1041.0000 1016.2108 2.44%
996.26/998.93 c 999 11492 1033 1 1041.0000 1016.2954 2.43%
1001.65/1004.38 c 1004 11542 1045 1 1041.0000 1016.3298 2.43%
1006.93/1009.66 c 1010 11611 1048 1 1041.0000 1016.3298 2.43%
1014.01/1016.76 c 1017 11664 1053 1 1041.0000 1016.3372 2.43%
1019.10/1021.89 c 1022 11757 1058 1 1041.0000 1016.3539 2.42%
1024.29/1027.03 c 1027 11945 1054 1 1041.0000 1016.3539 2.42%
1029.48/1032.25 c 1032 12111 1044 1 1041.0000 1016.3539 2.42%
1035.46/1038.28 c 1038 12188 1053 1 1041.0000 1016.3599 2.42%
1043.04/1045.84 c 1046 12263 1060 1 1041.0000 1016.4049 2.42%
1048.73/1051.56 c 1052 12369 1072 1 1041.0000 1016.4643 2.41%
1053.82/1056.65 c 1057 12386 1075 1 1041.0000 1016.4936 2.41%
1059.41/1062.26 c 1062 12429 1080 1 1041.0000 1016.4936 2.41%
1065.79/1068.63 c 1069 12568 1077 1 1041.0000 1016.4936 2.41%
1071.38/1074.26 c 1074 12607 1082 1 1041.0000 1016.5313 2.41%
1078.86/1081.71 c 1082 12684 1091 1 1041.0000 1016.5741 2.40%
1084.05/1086.95 c 1087 12706 1097 1 1041.0000 1016.6212 2.40%
1091.34/1094.26 c 1094 12864 1099 1 1041.0000 1016.7547 2.38%
1096.83/1099.78 c 1100 12942 1107 1 1041.0000 1016.7641 2.38%
1102.61/1105.53 c 1106 12954 1113 1 1041.0000 1016.8000 2.38%
1107.80/1110.70 c 1111 13091 1116 1 1041.0000 1016.8000 2.38%
1112.88/1115.82 c 1116 13189 1122 1 1041.0000 1016.8009 2.38%
1120.17/1123.14 c 1123 13206 1127 1 1041.0000 1016.8128 2.38%
1126.06/1129.03 c 1129 13242 1131 1 1041.0000 1016.8378 2.38%
1132.04/1135.04 c 1135 13293 1134 1 1041.0000 1016.8378 2.38%
1137.63/1140.61 c 1141 13402 1131 1 1041.0000 1016.8378 2.38%
1142.91/1145.90 c 1146 13447 1140 1 1041.0000 1016.8378 2.38%
1148.10/1151.19 c 1151 13496 1143 1 1041.0000 1016.8398 2.38%
1154.18/1157.22 c 1157 13571 1148 1 1041.0000 1016.8980 2.37%
1161.36/1164.46 c 1164 13653 1156 1 1041.0000 1016.9201 2.37%
1166.34/1169.48 c 1169 13722 1163 1 1041.0000 1016.9472 2.37%
1171.94/1175.03 c 1175 13746 1171 1 1041.0000 1016.9477 2.37%
1178.12/1181.21 c 1181 13866 1173 1 1041.0000 1016.9588 2.36%
1183.71/1186.87 c 1187 13987 1182 1 1041.0000 1017.0259 2.36%
1189.09/1192.26 c 1192 14089 1186 1 1041.0000 1017.0394 2.36%
1194.68/1197.88 c 1198 14205 1190 1 1041.0000 1017.0696 2.35%
1199.77/1202.94 c 1203 14302 1195 1 1041.0000 1017.1127 2.35%
1206.25/1209.44 c 1209 14305 1198 1 1041.0000 1017.1127 2.35%
1211.45/1214.66 c 1215 14492 1199 1 1041.0000 1017.1127 2.35%
1219.03/1222.21 c 1222 14635 1204 1 1041.0000 1017.1128 2.35%
1225.02/1228.22 c 1228 14718 1209 1 1041.0000 1017.1196 2.35%
1230.91/1234.12 c 1234 14874 1213 1 1041.0000 1017.1196 2.35%
1237.49/1240.72 c 1241 14922 1217 1 1041.0000 1017.1560 2.34%
1242.67/1245.95 c 1246 15004 1225 1 1041.0000 1017.1560 2.34%
1248.56/1251.88 c 1252 15082 1229 1 1041.0000 1017.1667 2.34%
1256.14/1259.47 c 1259 15156 1233 1 1041.0000 1017.2179 2.34%
1262.13/1265.49 c 1266 15253 1234 1 1041.0000 1017.2351 2.34%
1267.52/1270.87 c 1271 15322 1247 1 1041.0000 1017.3132 2.33%
1273.31/1276.65 c 1277 15362 1253 1 1041.0000 1017.3132 2.33%
1278.90/1282.29 c 1282 15385 1260 1 1041.0000 1017.3230 2.33%
1284.69/1288.04 c 1288 15512 1267 1 1041.0000 1017.3679 2.32%
1291.96/1295.35 c 1295 15522 1271 1 1041.0000 1017.3696 2.32%
1297.55/1300.94 c 1301 15564 1279 1 1041.0000 1017.3793 2.32%
1302.65/1306.05 c 1306 15626 1287 1 1041.0000 1017.3793 2.32%
1308.33/1311.75 c 1312 15702 1289 1 1041.0000 1017.3868 2.32%
1315.61/1319.03 c 1319 15760 1293 1 1041.0000 1017.3868 2.32%
1322.30/1325.74 c 1326 15824 1299 1 1041.0000 1017.3999 2.32%
1327.69/1331.19 c 1331 15865 1304 1 1041.0000 1017.4195 2.32%
1333.37/1336.82 c 1337 16013 1306 1 1041.0000 1017.4195 2.32%
1339.76/1343.21 c 1343 16052 1311 1 1041.0000 1017.4335 2.32%
1345.25/1348.76 c 1349 16123 1314 1 1041.0000 1017.4344 2.32%
1350.34/1353.81 c 1354 16142 1319 1 1041.0000 1017.4363 2.32%
1355.72/1359.20 c 1359 16282 1325 1 1041.0000 1017.4488 2.31%
1361.52/1365.04 c 1365 16431 1330 1 1041.0000 1017.4488 2.31%
1366.70/1370.20 c 1370 16500 1335 1 1041.0000 1017.4528 2.31%
1374.09/1377.65 c 1378 16563 1340 1 1041.0000 1017.5000 2.31%
1379.28/1382.87 c 1383 16624 1351 1 1041.0000 1017.5355 2.31%
1387.06/1390.65 c 1391 16782 1355 1 1041.0000 1017.5546 2.30%
1393.74/1397.32 c 1397 16842 1365 1 1041.0000 1017.5831 2.30%
1399.33/1402.95 c 1403 16903 1372 1 1041.0000 1017.5844 2.30%
1404.52/1408.13 c 1408 17005 1374 1 1041.0000 1017.6140 2.30%
1409.60/1413.24 c 1413 17087 1382 1 1041.0000 1017.6140 2.30%
1417.59/1421.22 c 1421 17136 1389 1 1041.0000 1017.6326 2.30%
1423.48/1427.17 c 1427 17253 1390 1 1041.0000 1017.6491 2.29%
1428.86/1432.52 c 1433 17361 1394 1 1041.0000 1017.6491 2.29%
1433.85/1437.57 c 1438 17466 1397 1 1041.0000 1017.6843 2.29%
1439.83/1443.54 c 1444 17570 1401 1 1041.0000 1017.6843 2.29%
1445.72/1449.40 c 1449 17678 1405 1 1041.0000 1017.6912 2.29%
1452.11/1455.80 c 1456 17746 1413 1 1041.0000 1017.7946 2.28%
1458.60/1462.35 c 1462 17822 1417 1 1041.0000 1017.8007 2.28%
1463.69/1467.49 c 1467 17894 1425 1 1041.0000 1017.8219 2.28%
1468.88/1472.68 c 1473 17952 1433 1 1041.0000 1017.8526 2.27%
1475.46/1479.24 c 1479 18072 1437 1 1041.0000 1017.8568 2.27%
1480.75/1484.53 c 1485 18139 1446 1 1041.0000 1017.8642 2.27%
1487.43/1491.22 c 1491 18203 1450 1 1041.0000 1017.9181 2.27%
1492.62/1496.45 c 1496 18328 1453 1 1041.0000 1017.9181 2.27%
1497.91/1501.73 c 1502 18472 1453 1 1041.0000 1017.9181 2.27%
1503.20/1507.00 c 1507 18545 1460 1 1041.0000 1017.9286 2.27%
1508.68/1512.56 c 1513 18688 1463 1 1041.0000 1017.9333 2.27%
1513.77/1517.64 c 1518 18790 1469 1 1041.0000 1017.9898 2.26%
1520.16/1524.08 c 1524 18935 1470 1 1041.0000 1018.0030 2.26%
1525.34/1529.24 c 1529 19084 1475 1 1041.0000 1018.0030 2.26%
1531.33/1535.27 c 1535 19177 1480 1 1041.0000 1018.0230 2.26%
1536.62/1540.59 c 1541 19245 1486 1 1041.0000 1018.0246 2.26%
1542.00/1545.96 c 1546 19360 1491 1 1041.0000 1018.0304 2.26%
1547.10/1551.01 c 1551 19450 1495 1 1041.0000 1018.0510 2.25%
1552.98/1556.95 c 1557 19539 1498 1 1041.0000 1018.0846 2.25%
1558.57/1562.55 c 1563 19620 1503 1 1041.0000 1018.1343 2.25%
1563.66/1567.60 c 1568 19693 1504 1 1041.0000 1018.1581 2.24%
1569.55/1573.50 c 1574 19769 1510 1 1041.0000 1018.1581 2.24%
1574.54/1578.59 c 1579 19834 1515 1 1041.0000 1018.1667 2.24%
1582.52/1586.59 c 1587 19962 1521 1 1041.0000 1018.1868 2.24%
1587.70/1591.74 c 1592 20132 1525 1 1041.0000 1018.1868 2.24%
1593.29/1597.37 c 1597 20242 1525 1 1041.0000 1018.2074 2.24%
1598.48/1602.54 c 1603 20265 1534 1 1041.0000 1018.2074 2.24%
1603.47/1607.58 c 1608 20313 1544 1 1041.0000 1018.2111 2.24%
1608.96/1613.05 c 1613 20403 1546 1 1041.0000 1018.2181 2.24%
1614.05/1618.16 c 1618 20484 1557 1 1041.0000 1018.2393 2.24%
1619.63/1623.70 c 1624 20572 1563 1 1041.0000 1018.2723 2.23%
1624.92/1629.01 c 1629 20605 1568 1 1041.0000 1018.2732 2.23%
1629.91/1634.07 c 1634 20653 1574 1 1041.0000 1018.2790 2.23%
1636.09/1640.21 c 1640 20682 1583 1 1041.0000 1018.3253 2.23%
1641.39/1645.59 c 1646 20752 1593 1 1041.0000 1018.3271 2.23%
1648.57/1652.74 c 1653 20802 1599 1 1041.0000 1018.3843 2.22%
1654.16/1658.38 c 1658 20941 1612 1 1041.0000 1018.3871 2.22%
1660.54/1664.72 c 1665 20962 1617 1 1041.0000 1018.4098 2.22%
1667.73/1671.95 c 1672 20986 1627 1 1041.0000 1018.4118 2.22%
1673.41/1677.63 c 1678 21128 1635 1 1041.0000 1018.4354 2.22%
1678.70/1682.91 c 1683 21317 1636 1 1041.0000 1018.4354 2.22%
1684.98/1689.28 c 1689 21436 1637 1 1041.0000 1018.4403 2.22%
1690.17/1694.49 c 1694 21497 1644 1 1041.0000 1018.4753 2.21%
1695.46/1699.72 c 1700 21553 1646 1 1041.0000 1018.4839 2.21%
1700.85/1705.14 c 1705 21565 1652 1 1041.0000 1018.4970 2.21%
1707.53/1711.86 c 1712 21605 1658 1 1041.0000 1018.5318 2.21%
1713.11/1717.40 c 1717 21724 1663 1 1041.0000 1018.5516 2.20%
1718.10/1722.49 c 1722 21759 1668 1 1041.0000 1018.5750 2.20%
1725.38/1729.78 c 1730 21816 1673 1 1041.0000 1018.5830 2.20%
1731.17/1735.59 c 1736 21908 1679 1 1041.0000 1018.5960 2.20%
1736.55/1740.96 c 1741 22003 1680 1 1041.0000 1018.6793 2.19%
1742.33/1746.76 c 1747 22119 1682 1 1041.0000 1018.6793 2.19%
1748.32/1752.70 c 1753 22241 1680 1 1041.0000 1018.6849 2.19%
1755.50/1759.90 c 1760 22273 1686 1 1041.0000 1018.7107 2.19%
1760.99/1765.45 c 1765 22348 1693 1 1041.0000 1018.7107 2.19%
1766.78/1771.20 c 1771 22441 1710 1 1041.0000 1018.7148 2.19%
1772.27/1776.76 c 1777 22485 1714 1 1041.0000 1018.7431 2.18%
1777.57/1782.07 c 1782 22528 1721 1 1041.0000 1018.7555 2.18%
1783.44/1787.96 c 1788 22636 1723 1 1041.0000 1018.7555 2.18%
1788.73/1793.22 c 1793 22785 1720 1 1041.0000 1018.7555 2.18%
1793.81/1798.33 c 1798 22843 1726 1 1041.0000 1018.7705 2.18%
1800.99/1805.53 c 1806 22922 1729 1 1041.0000 1018.8162 2.18%
1807.17/1811.72 c 1812 22972 1735 1 1041.0000 1018.8236 2.18%
1812.25/1816.84 c 1817 23026 1741 1 1041.0000 1018.8639 2.17%
1818.24/1822.84 c 1823 23116 1747 1 1041.0000 1018.8702 2.17%
1824.22/1828.89 c 1829 23167 1756 1 1041.0000 1018.8806 2.17%
1829.70/1834.39 c 1834 23212 1761 1 1041.0000 1018.8847 2.17%
1835.19/1839.89 c 1840 23298 1759 1 1041.0000 1018.8847 2.17%
1840.88/1845.51 c 1846 23411 1764 1 1041.0000 1018.8941 2.17%
1846.07/1850.79 c 1851 23457 1768 1 1041.0000 1018.9127 2.17%
1852.05/1856.73 c 1857 23496 1771 1 1041.0000 1018.9152 2.17%
1857.23/1861.91 c 1862 23574 1771 1 1041.0000 1018.9497 2.16%
1863.81/1868.54 c 1869 23633 1780 1 1041.0000 1019.0058 2.16%
1869.69/1874.45 c 1874 23705 1782 1 1041.0000 1019.0058 2.16%
1875.17/1879.97 c 1880 23756 1789 1 1041.0000 1019.0112 2.16%
1882.65/1887.40 c 1887 23823 1794 1 1041.0000 1019.0389 2.16%
1888.34/1893.11 c 1893 23894 1799 1 1041.0000 1019.0412 2.15%
1894.52/1899.30 c 1899 23965 1804 1 1041.0000 1019.0524 2.15%
1899.71/1904.59 c 1905 24022 1811 1 1041.0000 1019.0828 2.15%
1905.49/1910.33 c 1910 24093 1822 1 1041.0000 1019.0828 2.15%
1910.58/1915.46 c 1915 24152 1821 1 1041.0000 1019.1000 2.15%
1915.76/1920.61 c 1921 24208 1829 1 1041.0000 1019.1038 2.15%
1921.25/1926.15 c 1926 24238 1835 1 1041.0000 1019.1088 2.15%
1926.63/1931.53 c 1932 24332 1835 1 1041.0000 1019.1103 2.15%
1931.72/1936.67 c 1937 24402 1841 1 1041.0000 1019.1175 2.15%
1938.89/1943.80 c 1944 24462 1845 1 1041.0000 1019.1282 2.15%
1944.48/1949.42 c 1949 24571 1854 1 1041.0000 1019.1282 2.15%
1949.76/1954.70 c 1955 24608 1867 1 1041.0000 1019.1579 2.14%
1955.24/1960.26 c 1960 24681 1872 1 1041.0000 1019.1698 2.14%
1961.14/1966.19 c 1966 24783 1878 1 1041.0000 1019.1772 2.14%
1968.51/1973.57 c 1974 24883 1874 1 1041.0000 1019.1870 2.14%
1976.69/1981.75 c 1982 25012 1875 1 1041.0000 1019.1953 2.14%
1982.67/1987.73 c 1988 25063 1886 1 1041.0000 1019.2069 2.14%
1988.56/1993.62 c 1994 25143 1890 1 1041.0000 1019.2487 2.13%
1993.84/1998.93 c 1999 25193 1894 1 1041.0000 1019.2913 2.13%
1998.93/2004.03 c 2004 25270 1901 1 1041.0000 1019.2932 2.13%
2004.71/2009.85 c 2010 25315 1912 1 1041.0000 1019.3261 2.13%
2010.09/2015.24 c 2015 25348 1917 1 1041.0000 1019.3601 2.12%
2015.18/2020.33 c 2020 25430 1923 1 1041.0000 1019.3733 2.12%
2020.66/2025.86 c 2026 25473 1922 1 1041.0000 1019.3766 2.12%
2028.54/2033.75 c 2034 25562 1933 1 1041.0000 1019.3938 2.12%
2034.32/2039.54 c 2040 25642 1939 1 1041.0000 1019.4084 2.12%
2039.40/2044.68 c 2045 25762 1947 1 1041.0000 1019.4394 2.11%
2045.79/2051.07 c 2051 25793 1958 1 1041.0000 1019.4471 2.11%
2052.47/2057.71 c 2058 25853 1962 1 1041.0000 1019.4531 2.11%
2058.75/2064.06 c 2064 25907 1970 1 1041.0000 1019.4715 2.11%
2064.03/2069.36 c 2069 25940 1975 1 1041.0000 1019.4784 2.11%
2069.33/2074.64 c 2075 26031 1978 1 1041.0000 1019.4902 2.11%
2075.31/2080.62 c 2081 26100 1981 1 1041.0000 1019.4951 2.11%
2080.99/2086.35 c 2086 26173 1984 1 1041.0000 1019.5006 2.11%
2086.87/2092.22 c 2092 26212 1987 1 1041.0000 1019.5006 2.11%
2092.66/2098.00 c 2098 26269 1996 1 1041.0000 1019.5062 2.11%
2098.44/2103.82 c 2104 26379 1994 1 1041.0000 1019.5062 2.11%
2104.32/2109.76 c 2110 26447 1998 1 1041.0000 1019.5384 2.11%
2110.20/2115.60 c 2116 26532 1997 1 1041.0000 1019.5421 2.10%
2115.79/2121.29 c 2121 26562 2003 1 1041.0000 1019.5554 2.10%
2121.68/2127.14 c 2127 26632 2015 1 1041.0000 1019.5556 2.10%
2128.16/2133.66 c 2134 26662 2017 1 1041.0000 1019.5708 2.10%
2133.24/2138.75 c 2139 26704 2025 1 1041.0000 1019.5751 2.10%
2138.63/2144.13 c 2144 26735 2034 1 1041.0000 1019.5836 2.10%
2144.11/2149.61 c 2150 26828 2039 1 1041.0000 1019.5836 2.10%
2149.59/2155.19 c 2155 26990 2035 1 1041.0000 1019.5836 2.10%
2155.17/2160.76 c 2161 27086 2041 1 1041.0000 1019.5909 2.10%
2160.46/2166.06 c 2166 27141 2044 1 1041.0000 1019.6001 2.10%
2167.54/2173.16 c 2173 27293 2050 1 1041.0000 1019.6293 2.10%
2172.62/2178.26 c 2178 27470 2055 1 1041.0000 1019.6293 2.10%
2178.70/2184.34 c 2184 27612 2053 1 1041.0000 1019.6328 2.10%
2184.50/2190.20 c 2190 27769 2068 1 1041.0000 1019.6436 2.09%
2191.38/2197.09 c 2197 27932 2077 1 1041.0000 1019.6599 2.09%
2196.76/2202.45 c 2202 28072 2097 1 1041.0000 1019.6618 2.09%
2202.84/2208.58 c 2209 28123 2104 1 1041.0000 1019.6867 2.09%
2209.42/2215.12 c 2215 28156 2111 1 1041.0000 1019.7013 2.09%
2215.40/2221.16 c 2221 28186 2117 1 1041.0000 1019.7073 2.09%
2220.58/2226.36 c 2226 28247 2120 1 1041.0000 1019.7183 2.09%
2226.38/2232.15 c 2232 28283 2126 1 1041.0000 1019.7213 2.09%
2231.66/2237.40 c 2237 28381 2128 1 1041.0000 1019.7406 2.08%
2236.74/2242.59 c 2243 28474 2127 1 1041.0000 1019.7645 2.08%
2241.93/2247.74 c 2248 28515 2144 1 1041.0000 1019.7645 2.08%
2247.01/2252.87 c 2253 28729 2146 1 1041.0000 1019.7645 2.08%
2252.80/2258.64 c 2259 28764 2151 1 1041.0000 1019.8233 2.08%
2258.19/2264.10 c 2264 28912 2157 1 1041.0000 1019.8233 2.08%
2265.76/2271.69 c 2272 29022 2167 1 1041.0000 1019.8432 2.07%
2271.94/2277.84 c 2278 29091 2176 1 1041.0000 1019.8470 2.07%
2277.72/2283.60 c 2284 29237 2194 1 1041.0000 1019.9011 2.07%
2282.91/2288.84 c 2289 29301 2198 1 1041.0000 1019.9029 2.07%
2288.89/2294.82 c 2295 29419 2210 1 1041.0000 1019.9594 2.06%
2293.88/2299.89 c 2300 29456 2213 1 1041.0000 1019.9615 2.06%
2301.76/2307.72 c 2308 29466 2217 1 1041.0000 1019.9637 2.06%
2309.34/2315.31 c 2315 29552 2217 1 1041.0000 1019.9662 2.06%
2315.31/2321.31 c 2321 29577 2226 1 1041.0000 1019.9766 2.06%
2320.60/2326.61 c 2327 29638 2227 1 1041.0000 1019.9815 2.06%
2325.59/2331.66 c 2332 29732 2225 1 1041.0000 1019.9830 2.06%
2330.88/2336.91 c 2337 29764 2237 1 1041.0000 1020.0090 2.06%
2337.56/2343.63 c 2344 29922 2233 1 1041.0000 1020.0203 2.06%
2342.54/2348.69 c 2349 29985 2240 1 1041.0000 1020.0225 2.06%
2348.52/2354.66 c 2355 30102 2251 1 1041.0000 1020.0231 2.06%
2353.71/2359.85 c 2360 30165 2256 1 1041.0000 1020.0351 2.06%
2359.39/2365.58 c 2366 30243 2260 1 1041.0000 1020.0536 2.05%
2367.98/2374.11 c 2374 30362 2265 1 1041.0000 1020.0591 2.05%
2373.46/2379.62 c 2380 30442 2281 1 1041.0000 1020.0796 2.05%
2380.74/2386.91 c 2387 30522 2285 1 1041.0000 1020.0804 2.05%
2386.33/2392.52 c 2393 30590 2297 1 1041.0000 1020.0849 2.05%
2392.82/2399.07 c 2399 30634 2303 1 1041.0000 1020.0999 2.05%
2398.10/2404.39 c 2404 30823 2308 1 1041.0000 1020.0999 2.05%
2403.80/2410.03 c 2410 30927 2306 1 1041.0000 1020.1259 2.05%
2408.98/2415.23 c 2415 31002 2307 1 1041.0000 1020.1290 2.05%
2414.07/2420.35 c 2420 31146 2313 1 1041.0000 1020.1290 2.05%
2419.36/2425.63 c 2426 31334 2311 1 1041.0000 1020.1290 2.05%
2425.94/2432.24 c 2432 31356 2317 1 1041.0000 1020.1410 2.04%
2431.43/2437.70 c 2438 31448 2325 1 1041.0000 1020.1439 2.04%
2437.12/2443.42 c 2443 31551 2330 1 1041.0000 1020.1467 2.04%
2443.01/2449.33 c 2449 31676 2339 1 1041.0000 1020.1572 2.04%
2448.49/2454.89 c 2455 31777 2344 1 1041.0000 1020.1888 2.04%
2454.68/2461.04 c 2461 31853 2348 1 1041.0000 1020.1929 2.04%
2460.86/2467.20 c 2467 31873 2352 1 1041.0000 1020.1981 2.04%
2465.95/2472.32 c 2472 32024 2359 1 1041.0000 1020.1981 2.04%
2470.94/2477.34 c 2477 32175 2368 1 1041.0000 1020.2007 2.04%
2476.82/2483.23 c 2483 32277 2372 1 1041.0000 1020.2126 2.04%
2484.50/2490.96 c 2491 32452 2373 1 1041.0000 1020.2134 2.04%
2490.09/2496.55 c 2497 32549 2380 1 1041.0000 1020.2388 2.03%
2495.88/2502.38 c 2502 32635 2390 1 1041.0000 1020.2675 2.03%
2501.96/2508.43 c 2508 32765 2398 1 1041.0000 1020.2675 2.03%
2507.96/2514.49 c 2514 32845 2406 1 1041.0000 1020.2806 2.03%
2514.24/2520.72 c 2521 32903 2406 1 1041.0000 1020.3099 2.03%
2519.43/2525.93 c 2526 33032 2407 1 1041.0000 1020.3099 2.03%
2525.21/2531.73 c 2532 33137 2416 1 1041.0000 1020.3138 2.03%
2530.90/2537.40 c 2537 33175 2420 1 1041.0000 1020.3266 2.03%
2536.28/2542.80 c 2543 33239 2422 1 1041.0000 1020.3760 2.02%
2541.87/2548.44 c 2548 33337 2430 1 1041.0000 1020.3843 2.02%
2546.86/2553.46 c 2553 33429 2440 1 1041.0000 1020.4107 2.02%
2553.74/2560.31 c 2560 33456 2443 1 1041.0000 1020.4107 2.02%
2560.22/2566.80 c 2567 33572 2447 1 1041.0000 1020.4114 2.02%
2566.51/2573.13 c 2573 33664 2455 1 1041.0000 1020.4279 2.02%
2572.49/2579.17 c 2579 33752 2457 1 1041.0000 1020.4297 2.02%
2578.27/2584.98 c 2585 33813 2462 1 1041.0000 1020.4503 2.01%
2583.36/2590.04 c 2590 33842 2465 1 1041.0000 1020.4600 2.01%
2589.34/2596.03 c 2596 33856 2475 1 1041.0000 1020.4627 2.01%
2594.62/2601.39 c 2601 33937 2478 1 1041.0000 1020.4699 2.01%
2601.90/2608.63 c 2609 33984 2493 1 1041.0000 1020.4736 2.01%
2607.58/2614.35 c 2614 34112 2501 1 1041.0000 1020.4863 2.01%
2614.16/2620.91 c 2621 34193 2510 1 1041.0000 1020.5110 2.01%
2621.44/2628.23 c 2628 34227 2518 1 1041.0000 1020.5113 2.01%
2627.53/2634.38 c 2634 34314 2519 1 1041.0000 1020.5417 2.00%
2632.72/2639.55 c 2640 34346 2525 1 1041.0000 1020.5417 2.00%
2638.20/2645.09 c 2645 34413 2530 1 1041.0000 1020.5540 2.00%
2644.48/2651.35 c 2651 34482 2529 1 1041.0000 1020.5585 2.00%
2649.96/2656.82 c 2657 34532 2535 1 1041.0000 1020.5665 2.00%
2655.74/2662.66 c 2663 34604 2541 1 1041.0000 1020.5791 2.00%
2660.83/2667.71 c 2668 34662 2549 1 1041.0000 1020.5953 2.00%
2666.72/2673.60 c 2674 34721 2552 1 1041.0000 1020.5953 2.00%
2674.59/2681.55 c 2682 34812 2551 1 1041.0000 1020.5967 2.00%
2682.27/2689.27 c 2689 34872 2565 1 1041.0000 1020.6000 2.00%
2687.45/2694.44 c 2694 34969 2570 1 1041.0000 1020.6000 2.00%
2694.54/2701.59 c 2702 35023 2570 1 1041.0000 1020.6141 2.00%
2700.43/2707.42 c 2707 35111 2580 1 1041.0000 1020.6141 2.00%
2705.92/2712.97 c 2713 35176 2585 1 1041.0000 1020.6153 2.00%
2711.80/2718.89 c 2719 35220 2591 1 1041.0000 1020.6203 2.00%
2717.49/2724.55 c 2725 35351 2590 1 1041.0000 1020.6203 2.00%
2722.67/2729.77 c 2730 35422 2589 1 1041.0000 1020.6352 2.00%
2729.16/2736.21 c 2736 35427 2594 1 1041.0000 1020.6352 2.00%
2736.25/2743.32 c * 2743 35446 2595 1 1040.0000 1020.6352 1.90%
2736.25/2743.32 c 2743 35446 2595 1 1040.0000 1020.6352 1.90%
2741.94/2749.02 c 2749 35508 2589 1 1040.0000 1020.6429 1.90%
2747.32/2754.43 c 2754 35540 2595 1 1040.0000 1020.6482 1.90%
2752.91/2760.09 c 2760 35564 6 1 1040.0000 1020.6482 1.90%
2758.39/2765.56 c 2766 35576 18 1 1040.0000 1020.6482 1.90%
2763.58/2770.74 c 2771 35597 19 1 1040.0000 1020.6482 1.90%
2769.27/2776.46 c 2776 35646 20 1 1040.0000 1020.6482 1.90%
2775.65/2782.83 c 2783 35655 21 1 1040.0000 1020.6482 1.90%
2781.55/2788.76 c 2789 35684 26 1 1040.0000 1020.6482 1.90%
2788.33/2795.51 c 2796 35723 27 1 1040.0000 1020.6482 1.90%
2795.02/2802.28 c 2802 35784 32 1 1040.0000 1020.6482 1.90%
2800.20/2807.48 c 2807 35864 34 1 1040.0000 1020.6482 1.90%
2805.49/2812.73 c 2813 35944 46 1 1040.0000 1020.6482 1.90%
2811.78/2819.10 c 2819 36024 42 1 1040.0000 1020.6482 1.90%
2817.76/2825.06 c 2825 36074 46 1 1040.0000 1020.6482 1.90%
2822.95/2830.27 c 2830 36177 47 1 1040.0000 1020.6482 1.90%
2828.74/2836.08 c 2836 36228 60 1 1040.0000 1020.6482 1.90%
2834.63/2841.96 c 2842 36343 71 1 1040.0000 1020.6482 1.90%
2840.61/2847.97 c 2848 36408 72 1 1040.0000 1020.6482 1.90%
2846.30/2853.67 c 2854 36509 79 1 1040.0000 1020.6482 1.90%
2851.89/2859.25 c 2859 36602 88 1 1040.0000 1020.6482 1.90%
2858.07/2865.48 c 2865 36622 96 1 1040.0000 1020.6482 1.90%
2865.15/2872.50 c 2873 36661 101 1 1040.0000 1020.6482 1.90%
2870.94/2878.36 c 2878 36702 106 1 1040.0000 1020.6482 1.90%
2876.33/2883.72 c 2884 36754 108 1 1040.0000 1020.6482 1.90%
2882.62/2890.08 c 2890 36780 114 1 1040.0000 1020.6482 1.90%
2887.90/2895.32 c 2895 36872 118 1 1040.0000 1020.6482 1.90%
2893.79/2901.22 c 2901 37009 121 1 1040.0000 1020.6482 1.90%
2898.97/2906.41 c 2906 37129 125 1 1040.0000 1020.6482 1.90%
2904.06/2911.57 c 2912 37278 132 1 1040.0000 1020.6482 1.90%
2909.85/2917.36 c 2917 37372 142 1 1040.0000 1020.6482 1.90%
2915.65/2923.16 c 2923 37524 148 1 1040.0000 1020.6482 1.90%
2921.63/2929.12 c 2929 37600 152 1 1040.0000 1020.6482 1.90%
2927.41/2934.95 c 2935 37692 164 1 1040.0000 1020.6482 1.90%
2933.00/2940.54 c 2941 37824 162 1 1040.0000 1020.6482 1.90%
2938.09/2945.63 c 2946 37970 166 1 1040.0000 1020.6482 1.90%
2944.67/2952.28 c 2952 38071 175 1 1040.0000 1020.6482 1.90%
2949.86/2957.47 c 2957 38204 180 1 1040.0000 1020.6482 1.90%
2955.34/2962.97 c 2963 38408 182 1 1040.0000 1020.6482 1.90%
2960.73/2968.30 c 2968 38490 184 1 1040.0000 1020.6482 1.90%
2966.02/2973.68 c 2974 38549 193 1 1040.0000 1020.6482 1.90%
2971.12/2978.77 c 2979 38662 208 1 1040.0000 1020.6482 1.90%
2976.60/2984.22 c 2984 38751 209 1 1040.0000 1020.6482 1.90%
2982.09/2989.74 c 2990 38799 217 1 1040.0000 1020.6896 1.89%
2987.68/2995.38 c 2995 38979 225 1 1040.0000 1020.7008 1.89%
2994.66/3002.36 c 3002 39002 230 1 1040.0000 1020.7107 1.89%
2999.75/3007.47 c 3007 39126 234 1 1040.0000 1020.7689 1.88%
3004.84/3012.55 c 3013 39273 245 1 1040.0000 1020.7828 1.88%
3010.72/3018.47 c 3018 39418 262 1 1040.0000 1020.8224 1.88%
3016.11/3023.80 c 3024 39519 273 1 1040.0000 1020.8917 1.87%
3021.60/3029.36 c 3029 39609 285 1 1040.0000 1020.9755 1.86%
3027.30/3035.02 c 3035 39669 293 1 1040.0000 1021.0316 1.86%
3032.68/3040.43 c 3040 39799 313 1 1040.0000 1021.1608 1.84%
3037.97/3045.72 c 3046 39890 310 1 1040.0000 1021.1689 1.84%
3043.45/3051.25 c 3051 40063 319 1 1040.0000 1021.1689 1.84%
3048.74/3056.51 c 3057 40203 317 1 1040.0000 1021.2036 1.84%
3054.23/3062.10 c 3062 40376 318 1 1040.0000 1021.2036 1.84%
3062.71/3070.53 c 3071 40542 322 1 1040.0000 1021.2562 1.84%
3069.30/3077.12 c 3077 40649 333 1 1040.0000 1021.2903 1.83%
3075.28/3083.15 c 3083 40751 341 1 1040.0000 1021.3192 1.83%
3080.87/3088.77 c 3089 40839 349 1 1040.0000 1021.4070 1.82%
3086.46/3094.34 c 3094 40922 362 1 1040.0000 1021.4161 1.82%
3092.25/3100.14 c 3100 41113 365 1 1040.0000 1021.4528 1.82%
3097.33/3105.25 c 3105 41180 374 1 1040.0000 1021.4622 1.81%
3102.42/3110.32 c 3110 41290 384 1 1040.0000 1021.4748 1.81%
3107.51/3115.45 c 3115 41414 390 1 1040.0000 1021.4796 1.81%
3113.20/3121.13 c 3121 41560 398 1 1040.0000 1021.5492 1.81%
3118.77/3126.73 c 3127 41738 398 1 1040.0000 1021.5749 1.80%
3123.76/3131.77 c 3132 41895 403 1 1040.0000 1021.5994 1.80%
3130.44/3138.45 c 3138 41932 416 1 1040.0000 1021.6409 1.80%
3135.62/3143.62 c 3144 42057 425 1 1040.0000 1021.6788 1.79%
3140.71/3148.74 c 3149 42300 434 1 1040.0000 1021.6788 1.79%
3146.19/3154.26 c 3154 42516 424 1 1040.0000 1021.6887 1.79%
3151.88/3159.94 c 3160 42709 445 1 1040.0000 1021.6993 1.79%
3157.27/3165.37 c 3165 42800 462 1 1040.0000 1021.7616 1.78%
3162.65/3170.78 c 3171 42954 468 1 1040.0000 1021.8063 1.78%
3168.43/3176.53 c 3177 43107 481 1 1040.0000 1021.8318 1.78%
3174.52/3182.65 c 3183 43271 479 1 1040.0000 1021.8354 1.78%
3179.90/3188.07 c 3188 43332 484 1 1040.0000 1021.8472 1.78%
3185.19/3193.33 c 3193 43419 489 1 1040.0000 1021.8636 1.77%
3190.47/3198.60 c 3199 43499 499 1 1040.0000 1021.8721 1.77%
3196.16/3204.32 c 3204 43538 508 1 1040.0000 1021.8842 1.77%
3201.54/3209.72 c 3210 43689 515 1 1040.0000 1021.9226 1.77%
3207.32/3215.52 c 3216 43806 542 1 1040.0000 1021.9395 1.77%
3212.61/3220.89 c 3221 43929 545 1 1040.0000 1021.9750 1.76%
3217.79/3226.08 c 3226 44060 558 1 1040.0000 1021.9911 1.76%
3222.97/3231.26 c 3231 44189 563 1 1040.0000 1022.0672 1.75%
3228.06/3236.30 c 3236 44284 580 1 1040.0000 1022.1061 1.75%
3233.65/3241.95 c 3242 44409 585 1 1040.0000 1022.1516 1.75%
3238.74/3247.02 c 3247 44462 596 1 1040.0000 1022.1650 1.74%
3244.52/3252.89 c 3253 44483 603 1 1040.0000 1022.1755 1.74%
3250.00/3258.37 c 3258 44542 610 1 1040.0000 1022.1816 1.74%
3256.28/3264.61 c 3265 44669 617 1 1040.0000 1022.2016 1.74%
3262.67/3271.04 c 3271 44739 629 1 1040.0000 1022.2152 1.74%
3267.85/3276.24 c 3276 44872 642 1 1040.0000 1022.2272 1.74%
3273.74/3282.13 c 3282 44978 650 1 1040.0000 1022.2366 1.74%
3278.72/3287.15 c 3287 45120 650 1 1040.0000 1022.2366 1.74%
3285.50/3293.90 c 3294 45230 654 1 1040.0000 1022.2830 1.73%
3290.88/3299.32 c 3299 45341 661 1 1040.0000 1022.2940 1.73%
3296.77/3305.27 c 3305 45449 675 1 1040.0000 1022.3358 1.73%
3302.05/3310.53 c 3311 45589 689 1 1040.0000 1022.3365 1.73%
3307.83/3316.35 c 3316 45762 712 1 1040.0000 1022.3739 1.72%
3313.81/3322.30 c 3322 45997 709 1 1040.0000 1022.3787 1.72%
3320.50/3329.08 c 3329 46079 711 1 1040.0000 1022.3910 1.72%
3326.28/3334.81 c 3335 46186 720 1 1040.0000 1022.3910 1.72%
3331.96/3340.55 c 3341 46309 737 1 1040.0000 1022.4345 1.72%
3337.56/3346.10 c 3346 46397 751 1 1040.0000 1022.4396 1.72%
3342.84/3351.44 c 3351 46504 772 1 1040.0000 1022.4397 1.72%
3348.62/3357.25 c 3357 46615 783 1 1040.0000 1022.4588 1.72%
3355.00/3363.60 c 3364 46689 793 1 1040.0000 1022.4720 1.71%
3360.68/3369.37 c 3369 46749 807 1 1040.0000 1022.4939 1.71%
3366.47/3375.19 c 3375 46906 812 1 1040.0000 1022.4939 1.71%
3373.04/3381.70 c 3382 47079 831 1 1040.0000 1022.5005 1.71%
3378.13/3386.84 c 3387 47254 840 1 1040.0000 1022.5253 1.71%
3384.01/3392.76 c 3393 47434 848 1 1040.0000 1022.5427 1.71%
3389.90/3398.64 c 3399 47590 852 1 1040.0000 1022.5427 1.71%
3396.08/3404.89 c 3405 47739 853 1 1040.0000 1022.5633 1.71%
3401.77/3410.53 c 3411 47817 865 1 1040.0000 1022.5647 1.71%
3406.85/3415.62 c 3416 47949 871 1 1040.0000 1022.5714 1.70%
3412.63/3421.46 c 3421 48039 879 1 1040.0000 1022.5791 1.70%
3418.52/3427.34 c 3427 48152 892 1 1040.0000 1022.5797 1.70%
3423.50/3432.36 c 3432 48273 901 1 1040.0000 1022.5999 1.70%
3428.59/3437.47 c 3437 48494 898 1 1040.0000 1022.5999 1.70%
3434.28/3443.14 c 3443 48581 919 1 1040.0000 1022.6174 1.70%
3439.47/3448.30 c 3448 48778 928 1 1040.0000 1022.6174 1.70%
3444.55/3453.47 c 3453 48839 939 1 1040.0000 1022.6550 1.70%
3449.95/3458.80 c 3459 48883 947 1 1040.0000 1022.6573 1.70%
3455.14/3464.03 c 3464 49039 947 1 1040.0000 1022.6573 1.70%
3462.71/3471.62 c 3472 49199 957 1 1040.0000 1022.6724 1.69%
3468.10/3477.05 c 3477 49304 964 1 1040.0000 1022.6724 1.69%
3473.28/3482.27 c 3482 49399 973 1 1040.0000 1022.6908 1.69%
3478.86/3487.87 c 3488 49443 977 1 1040.0000 1022.6908 1.69%
3484.25/3493.30 c 3493 49577 991 1 1040.0000 1022.7459 1.69%
3490.04/3499.10 c 3499 49644 1002 1 1040.0000 1022.7534 1.69%
3496.02/3505.06 c 3505 49783 1021 1 1040.0000 1022.7633 1.69%
3501.60/3510.65 c 3511 49933 1027 1 1040.0000 1022.7658 1.69%
3506.68/3515.79 c 3516 50113 1025 1 1040.0000 1022.7658 1.69%
3512.07/3521.17 c 3521 50323 1023 1 1040.0000 1022.7661 1.69%
3518.25/3527.39 c 3527 50442 1040 1 1040.0000 1022.8347 1.68%
3523.34/3532.46 c 3532 50565 1057 1 1040.0000 1022.8483 1.68%
3528.72/3537.87 c 3538 50714 1064 1 1040.0000 1022.8492 1.68%
3534.61/3543.71 c 3544 50844 1074 1 1040.0000 1022.8771 1.67%
3540.00/3549.14 c 3549 50996 1082 1 1040.0000 1022.8815 1.67%
3546.77/3555.96 c 3556 51073 1089 1 1040.0000 1022.8882 1.67%
3552.05/3561.23 c 3561 51252 1092 1 1040.0000 1022.8909 1.67%
3557.54/3566.78 c 3567 51433 1091 1 1040.0000 1022.9010 1.67%
3563.12/3572.38 c 3572 51477 1107 1 1040.0000 1022.9120 1.67%
3568.30/3577.56 c 3578 51640 1098 1 1040.0000 1022.9122 1.67%
3573.59/3582.80 c 3583 51812 1108 1 1040.0000 1022.9122 1.67%
3579.48/3588.79 c 3589 51909 1113 1 1040.0000 1022.9194 1.67%
3586.36/3595.63 c 3596 52052 1126 1 1040.0000 1022.9439 1.67%
3588.76/3598.03 c SCIP Status : c solving was interrupted [hard time limit reached]
3588.76/3598.03 c Total Time : 3598.03
3588.76/3598.03 c solving : 3598.03
3588.76/3598.04 c presolving : 0.04 (included in solving)
3588.76/3598.04 c B&B Tree :
3588.76/3598.04 c nodes (total) : 1
3588.76/3598.04 c Solution :
3588.76/3598.04 c Solutions found : 16
3588.76/3598.04 c Primal Bound : +1.04000000000000e+03
3588.76/3598.04 c Dual Bound : +1.02294513367804e+03
3588.76/3598.04 c Gap : 1.66723 %
3588.76/3598.04 c * Warning: final gap: 1.66723e-02 is greater than SCIPepsilon: 1.00000e-09
3588.76/3598.04 o 1040
3588.76/3598.04 s SATISFIABLE
3588.76/3598.04 v -x1968 -x1967 x1966 x1965 x1964 x1963 x1962 x1961 x1960 -x1959 -x1958 x1957 x1956 -x1955 x1954 x1953 x1952 -x1951 x1950 -x1949
3588.76/3598.04 v x1948 -x1947 x1946 -x1945 -x1944 -x1943 x1942 x1941 x1940 x1939 -x1938 -x1937 -x1936 -x1935 -x1934 -x1933 x1932 -x1931 -x1930
3588.76/3598.04 v x1929 x1928 x1927 -x1926 -x1925 x1924 x1923 -x1922 -x1921 -x1920 x1919 -x1918 -x1917 x1916 -x1915 x1914 x1913 x1912 x1911 x1910
3588.76/3598.04 v x1909 -x1908 -x1907 -x1906 x1905 x1904 -x1903 -x1902 -x1901 -x1900 -x1899 x1898 -x1897 x1896 x1895 -x1894 x1893 -x1892 x1891
3588.76/3598.04 v -x1890 -x1889 x1888 x1887 x1886 -x1885 -x1884 -x1883 x1882 -x1881 x1880 -x1879 -x1878 -x1877 -x1876 -x1875 -x1874 x1873 x1872
3588.76/3598.04 v -x1871 -x1870 -x1869 x1868 x1867 x1866 x1865 x1864 x1863 -x1862 x1861 -x1860 x1859 -x1858 x1857 -x1856 -x1855 x1854 x1853
3588.76/3598.04 v -x1852 -x1851 -x1850 -x1849 x1848 x1847 x1846 -x1845 x1844 x1843 x1842 -x1841 -x1840 x1839 x1838 x1837 x1836 x1835 x1834 x1833
3588.76/3598.04 v -x1832 -x1831 x1830 x1829 x1828 x1827 x1826 -x1825 -x1824 x1823 x1822 -x1821 -x1820 x1819 x1818 x1817 -x1816 -x1815 x1814
3588.76/3598.04 v -x1813 -x1812 x1811 -x1810 x1809 -x1808 -x1807 x1806 -x1805 x1804 x1803 x1802 x1801 -x1800 x1799 x1798 x1797 x1796 x1795 -x1794
3588.76/3598.04 v x1793 -x1792 -x1791 x1790 -x1789 -x1788 x1787 -x1786 x1785 -x1784 x1783 x1782 -x1781 x1780 -x1779 -x1778 x1777 -x1776 x1775
3588.76/3598.04 v -x1774 x1773 x1772 -x1771 x1770 x1769 x1768 -x1767 -x1766 x1765 x1764 -x1763 x1762 x1761 -x1760 -x1759 -x1758 x1757 x1756
3588.76/3598.04 v -x1755 -x1754 x1753 -x1752 x1751 -x1750 x1749 x1748 x1747 -x1746 x1745 x1744 -x1743 -x1742 x1741 x1740 x1739 x1738 x1737 -x1736
3588.76/3598.04 v -x1735 -x1734 -x1733 x1732 x1731 x1730 -x1729 x1728 x1727 x1726 x1725 -x1724 x1723 x1722 -x1721 x1720 -x1719 x1718 x1717 -x1716
3588.76/3598.04 v x1715 x1714 x1713 -x1712 x1711 -x1710 x1709 x1708 -x1707 -x1706 x1705 -x1704 -x1703 -x1702 -x1701 -x1700 x1699 x1698 x1697
3588.76/3598.04 v x1696 x1695 -x1694 -x1693 -x1692 -x1691 -x1690 x1689 -x1688 -x1687 x1686 -x1685 x1684 -x1683 x1682 x1681 x1680 -x1679 x1678
3588.76/3598.04 v -x1677 -x1676 -x1675 -x1674 x1673 x1672 x1671 -x1670 x1669 x1668 x1667 x1666 x1665 x1664 x1663 x1662 x1661 -x1660 x1659 x1658
3588.76/3598.04 v x1657 x1656 x1655 -x1654 x1653 x1652 x1651 x1650 -x1649 -x1648 x1647 x1646 x1645 -x1644 x1643 x1642 x1641 x1640 -x1639 -x1638
3588.76/3598.04 v -x1637 -x1636 -x1635 x1634 x1633 x1632 -x1631 x1630 x1629 x1628 x1627 x1626 -x1625 x1624 -x1623 -x1622 x1621 x1620 -x1619
3588.76/3598.04 v -x1618 -x1617 x1616 x1615 x1614 x1613 -x1612 -x1611 -x1610 -x1609 -x1608 x1607 x1606 x1605 -x1604 x1603 x1602 x1601 x1600 -x1599
3588.76/3598.04 v x1598 -x1597 x1596 -x1595 -x1594 -x1593 x1592 -x1591 -x1590 -x1589 -x1588 -x1587 x1586 x1585 -x1584 -x1583 -x1582 x1581
3588.76/3598.04 v x1580 x1579 -x1578 x1577 -x1576 -x1575 x1574 x1573 -x1572 -x1571 -x1570 -x1569 -x1568 x1567 x1566 x1565 x1564 x1563 x1562 x1561
3588.76/3598.04 v x1560 x1559 x1558 x1557 x1556 -x1555 x1554 x1553 -x1552 x1551 -x1550 -x1549 x1548 -x1547 x1546 -x1545 -x1544 -x1543 -x1542
3588.76/3598.04 v x1541 -x1540 -x1539 -x1538 x1537 -x1536 x1535 -x1534 x1533 -x1532 -x1531 x1530 x1529 -x1528 -x1527 x1526 x1525 -x1524 x1523
3588.76/3598.04 v -x1522 -x1521 x1520 x1519 x1518 -x1517 -x1516 -x1515 x1514 x1513 -x1512 x1511 x1510 -x1509 -x1508 -x1507 x1506 x1505 -x1504
3588.76/3598.04 v x1503 x1502 x1501 -x1500 x1499 -x1498 -x1497 x1496 -x1495 x1494 x1493 -x1492 x1491 -x1490 -x1489 x1488 x1487 -x1486 -x1485 -x1484
3588.76/3598.04 v -x1483 x1482 x1481 x1480 -x1479 x1478 -x1477 -x1476 x1475 x1474 x1473 -x1472 -x1471 x1470 x1469 x1468 -x1467 -x1466 x1465
3588.76/3598.04 v x1464 -x1463 x1462 x1461 x1460 -x1459 x1458 -x1457 -x1456 -x1455 x1454 x1453 x1452 x1451 -x1450 x1449 x1448 -x1447 x1446 x1445
3588.76/3598.04 v x1444 -x1443 -x1442 -x1441 x1440 -x1439 -x1438 -x1437 x1436 -x1435 -x1434 x1433 x1432 x1431 -x1430 -x1429 x1428 -x1427 -x1426
3588.76/3598.04 v x1425 -x1424 x1423 -x1422 x1421 -x1420 x1419 -x1418 x1417 -x1416 x1415 -x1414 -x1413 x1412 x1411 x1410 -x1409 -x1408 -x1407
3588.76/3598.04 v -x1406 -x1405 x1404 x1403 x1402 x1401 -x1400 -x1399 x1398 x1397 x1396 x1395 x1394 -x1393 x1392 -x1391 x1390 x1389 x1388 x1387
3588.76/3598.04 v x1386 -x1385 -x1384 -x1383 -x1382 x1381 -x1380 x1379 -x1378 -x1377 x1376 -x1375 x1374 x1373 x1372 -x1371 -x1370 -x1369 -x1368
3588.76/3598.04 v -x1367 -x1366 -x1365 x1364 x1363 x1362 -x1361 x1360 -x1359 -x1358 -x1357 x1356 -x1355 x1354 x1353 -x1352 -x1351 -x1350
3588.76/3598.04 v x1349 -x1348 x1347 x1346 -x1345 x1344 x1343 x1342 x1341 x1340 -x1339 x1338 x1337 -x1336 x1335 x1334 -x1333 x1332 x1331 x1330
3588.76/3598.04 v x1329 -x1328 x1327 -x1326 -x1325 -x1324 x1323 -x1322 x1321 -x1320 x1319 -x1318 x1317 -x1316 -x1315 x1314 -x1313 -x1312 x1311
3588.76/3598.04 v -x1310 x1309 x1308 x1307 -x1306 -x1305 x1304 x1303 x1302 x1301 x1300 x1299 -x1298 -x1297 -x1296 -x1295 x1294 x1293 x1292 -x1291
3588.76/3598.04 v -x1290 x1289 x1288 x1287 x1286 -x1285 x1284 x1283 x1282 -x1281 -x1280 -x1279 x1278 x1277 -x1276 x1275 x1274 -x1273 x1272 x1271
3588.76/3598.04 v -x1270 -x1269 -x1268 x1267 x1266 -x1265 -x1264 -x1263 x1262 -x1261 -x1260 x1259 -x1258 -x1257 x1256 x1255 -x1254 -x1253
3588.76/3598.04 v x1252 x1251 -x1250 x1249 x1248 -x1247 x1246 x1245 x1244 x1243 -x1242 x1241 x1240 -x1239 -x1238 -x1237 -x1236 -x1235 x1234 x1233
3588.76/3598.04 v -x1232 -x1231 x1230 -x1229 x1228 x1227 x1226 -x1225 -x1224 x1223 x1222 -x1221 x1220 -x1219 x1218 x1217 -x1216 x1215 -x1214
3588.76/3598.04 v x1213 x1212 x1211 -x1210 -x1209 -x1208 x1207 x1206 -x1205 x1204 -x1203 -x1202 x1201 -x1200 x1199 -x1198 x1197 -x1196 -x1195
3588.76/3598.04 v -x1194 x1193 x1192 x1191 x1190 x1189 -x1188 -x1187 -x1186 -x1185 x1184 -x1183 x1182 x1181 x1180 -x1179 -x1178 -x1177 -x1176 -x1175
3588.76/3598.04 v -x1174 -x1173 -x1172 -x1171 x1170 -x1169 -x1168 x1167 x1166 -x1165 -x1164 x1163 -x1162 x1161 -x1160 -x1159 -x1158 -x1157
3588.76/3598.04 v x1156 -x1155 -x1154 -x1153 x1152 x1151 x1150 x1149 -x1148 x1147 x1146 -x1145 -x1144 -x1143 -x1142 x1141 -x1140 -x1139 -x1138
3588.76/3598.04 v -x1137 x1136 x1135 -x1134 x1133 x1132 -x1131 -x1130 x1129 -x1128 -x1127 -x1126 -x1125 x1124 x1123 x1122 x1121 -x1120 x1119
3588.76/3598.04 v -x1118 x1117 -x1116 x1115 -x1114 x1113 x1112 x1111 x1110 -x1109 x1108 x1107 -x1106 -x1105 x1104 x1103 -x1102 -x1101 -x1100 x1099
3588.76/3598.04 v -x1098 x1097 -x1096 -x1095 x1094 x1093 x1092 -x1091 -x1090 -x1089 -x1088 x1087 x1086 x1085 x1084 -x1083 -x1082 x1081 x1080
3588.76/3598.04 v x1079 x1078 x1077 x1076 x1075 x1074 -x1073 -x1072 -x1071 -x1070 -x1069 x1068 -x1067 x1066 x1065 -x1064 -x1063 -x1062 x1061
3588.76/3598.04 v x1060 -x1059 x1058 x1057 -x1056 x1055 -x1054 x1053 x1052 -x1051 x1050 x1049 -x1048 x1047 x1046 x1045 -x1044 -x1043 x1042 -x1041
3588.76/3598.04 v -x1040 x1039 x1038 x1037 x1036 -x1035 x1034 -x1033 -x1032 x1031 -x1030 x1029 -x1028 x1027 -x1026 x1025 x1024 x1023 -x1022
3588.76/3598.04 v x1021 -x1020 -x1019 -x1018 -x1017 -x1016 -x1015 x1014 -x1013 -x1012 -x1011 x1010 x1009 -x1008 -x1007 x1006 x1005 -x1004 -x1003
3588.76/3598.04 v -x1002 x1001 x1000 x999 -x998 -x997 -x996 -x995 -x994 x993 x992 x991 -x990 -x989 x988 -x987 -x986 -x985 -x984 x983 x982 -x981
3588.76/3598.04 v x980 -x979 x978 -x977 x976 -x975 -x974 x973 x972 -x971 -x970 x969 x968 x967 -x966 -x965 x964 -x963 x962 x961 x960 -x959 -x958
3588.76/3598.04 v x957 -x956 -x955 x954 -x953 x952 x951 -x950 -x949 -x948 x947 -x946 -x945 x944 -x943 x942 x941 -x940 -x939 x938 -x937 x936
3588.76/3598.04 v x935 x934 x933 x932 x931 -x930 -x929 x928 x927 x926 x925 x924 x923 -x922 -x921 x920 -x919 x918 x917 -x916 x915 -x914 -x913 x912
3588.76/3598.04 v x911 -x910 x909 x908 -x907 -x906 -x905 -x904 -x903 x902 x901 x900 -x899 x898 -x897 x896 -x895 x894 -x893 x892 -x891 -x890
3588.76/3598.04 v x889 x888 x887 x886 -x885 -x884 x883 x882 x881 x880 -x879 -x878 x877 -x876 -x875 -x874 -x873 x872 -x871 x870 x869 x868 -x867
3588.76/3598.04 v -x866 -x865 -x864 x863 -x862 x861 x860 x859 x858 -x857 x856 x855 x854 x853 -x852 x851 x850 -x849 x848 x847 x846 -x845 x844 -x843
3588.76/3598.04 v x842 -x841 x840 -x839 -x838 -x837 x836 -x835 -x834 x833 -x832 x831 -x830 -x829 -x828 -x827 x826 -x825 x824 x823 -x822 x821
3588.76/3598.04 v x820 x819 -x818 x817 -x816 x815 -x814 x813 x812 -x811 -x810 -x809 x808 x807 x806 x805 -x804 -x803 x802 -x801 x800 -x799 x798
3588.76/3598.04 v -x797 -x796 x795 x794 -x793 x792 -x791 x790 x789 -x788 x787 x786 x785 x784 -x783 -x782 -x781 x780 -x779 x778 x777 -x776 -x775
3588.76/3598.04 v x774 x773 -x772 -x771 x770 -x769 x768 -x767 -x766 -x765 -x764 x763 -x762 -x761 -x760 x759 -x758 x757 x756 x755 x754 x753
3588.76/3598.04 v -x752 x751 x750 -x749 -x748 x747 x746 x745 -x744 -x743 -x742 -x741 x740 x739 -x738 x737 x736 -x735 x734 x733 -x732 x731 -x730
3588.76/3598.04 v -x729 x728 -x727 -x726 x725 x724 x723 -x722 -x721 -x720 x719 -x718 x717 -x716 -x715 x714 -x713 -x712 x711 x710 x709 x708 x707
3588.76/3598.04 v x706 -x705 -x704 -x703 x702 x701 x700 -x699 x698 x697 -x696 -x695 x694 x693 x692 x691 -x690 -x689 -x688 -x687 x686 x685 -x684
3588.76/3598.04 v x683 -x682 x681 x680 x679 x678 x677 -x676 -x675 -x674 -x673 x672 -x671 -x670 -x669 -x668 x667 x666 -x665 x664 -x663 x662 -x661
3588.76/3598.04 v -x660 x659 x658 x657 x656 -x655 -x654 x653 -x652 -x651 -x650 x649 x648 -x647 x646 -x645 -x644 x643 x642 -x641 x640 x639
3588.76/3598.04 v -x638 -x637 -x636 -x635 x634 -x633 x632 -x631 -x630 -x629 -x628 x627 x626 x625 -x624 -x623 x622 -x621 -x620 x619 x618 x617 x616
3588.76/3598.04 v -x615 x614 -x613 -x612 x611 x610 x609 -x608 x607 x606 x605 -x604 x603 -x602 -x601 x600 -x599 x598 x597 x596 -x595 -x594 x593
3588.76/3598.04 v -x592 x591 x590 -x589 -x588 x587 x586 x585 -x584 x583 x582 x581 x580 x579 -x578 -x577 x576 -x575 -x574 -x573 x572 -x571 -x570
3588.76/3598.04 v -x569 -x568 -x567 x566 x565 x564 x563 x562 x561 x560 -x559 -x558 -x557 -x556 x555 -x554 x553 x552 -x551 x550 -x549 -x548
3588.76/3598.04 v -x547 x546 x545 -x544 -x543 -x542 -x541 x540 x539 -x538 x537 -x536 -x535 x534 x533 x532 x531 x530 -x529 x528 x527 -x526 -x525
3588.76/3598.04 v x524 -x523 x522 x521 -x520 -x519 x518 -x517 x516 x515 x514 x513 x512 -x511 -x510 x509 x508 x507 x506 -x505 x504 x503 x502 x501
3588.76/3598.04 v -x500 x499 -x498 -x497 x496 -x495 x494 -x493 -x492 x491 -x490 x489 x488 x487 -x486 -x485 -x484 x483 x482 x481 x480 x479 -x478
3588.76/3598.04 v x477 x476 x475 -x474 x473 -x472 x471 -x470 x469 x468 x467 x466 x465 x464 x463 x462 -x461 x460 x459 x458 -x457 -x456 x455
3588.76/3598.04 v -x454 -x453 x452 x451 -x450 -x449 -x448 x447 x446 -x445 -x444 -x443 x442 x441 -x440 -x439 x438 -x437 x436 -x435 -x434 x433 x432
3588.76/3598.04 v x431 x430 x429 x428 x427 x426 -x425 x424 -x423 -x422 x421 x420 -x419 x418 x417 x416 x415 x414 x413 -x412 x411 x410 x409 x408
3588.76/3598.04 v x407 x406 -x405 x404 x403 x402 -x401 x400 -x399 x398 x397 x396 x395 -x394 x393 -x392 -x391 x390 -x389 x388 x387 x386 x385
3588.76/3598.04 v -x384 -x383 -x382 -x381 x380 x379 x378 x377 x376 -x375 x374 -x373 x372 x371 x370 -x369 x368 -x367 -x366 -x365 -x364 -x363 -x362
3588.76/3598.04 v -x361 x360 -x359 x358 x357 x356 -x355 -x354 -x353 -x352 x351 x350 x349 x348 -x347 x346 -x345 -x344 x343 -x342 x341 -x340 -x339
3588.76/3598.04 v x338 x337 x336 -x335 -x334 x333 -x332 x331 -x330 -x329 -x328 x327 -x326 x325 x324 x323 -x322 -x321 -x320 -x319 -x318 x317
3588.76/3598.04 v -x316 x315 x314 -x313 -x312 -x311 -x310 -x309 -x308 x307 x306 x305 -x304 -x303 -x302 -x301 x300 x299 x298 x297 -x296 -x295
3588.76/3598.04 v -x294 x293 -x292 x291 -x290 x289 x288 x287 x286 -x285 -x284 x283 x282 x281 -x280 x279 x278 x277 x276 -x275 x274 x273 x272 x271
3588.76/3598.04 v x270 x269 x268 x267 x266 -x265 -x264 -x263 -x262 x261 -x260 -x259 x258 x257 -x256 x255 -x254 -x253 -x252 -x251 -x250 -x249
3588.76/3598.04 v x248 x247 -x246 x245 -x244 -x243 -x242 -x241 x240 -x239 x238 x237 x236 x235 x234 x233 x232 x231 x230 x229 -x228 x227 x226 -x225
3588.76/3598.04 v x224 -x223 -x222 -x221 -x220 -x219 x218 x217 -x216 x215 x214 x213 -x212 x211 -x210 -x209 x208 -x207 x206 x205 -x204 -x203
3588.76/3598.04 v x202 x201 x200 -x199 x198 x197 x196 x195 -x194 x193 -x192 -x191 x190 -x189 -x188 x187 -x186 -x185 x184 x183 -x182 -x181 -x180
3588.76/3598.04 v x179 x178 x177 x176 x175 -x174 -x173 x172 x171 -x170 -x169 -x168 -x167 -x166 x165 -x164 -x163 -x162 x161 -x160 -x159 x158 -x157
3588.76/3598.04 v -x156 x155 x154 x153 x152 x151 x150 x149 -x148 x147 x146 -x145 x144 -x143 -x142 x141 x140 -x139 x138 -x137 x136 x135 x134
3588.76/3598.04 v -x133 x132 -x131 -x130 -x129 -x128 -x127 x126 x125 -x124 x123 x122 -x121 x120 -x119 -x118 -x117 x116 x115 x114 x113 x112 -x111
3588.76/3598.04 v -x110 x109 x108 x107 x106 x105 -x104 x103 x102 x101 -x100 x99 x98 -x97 -x96 x95 -x94 -x93 -x92 -x91 x90 -x89 -x88 -x87 -x86
3588.76/3598.04 v x85 -x84 -x83 -x82 -x81 -x80 -x79 x78 x77 -x76 -x75 -x74 -x73 -x72 x71 x70 -x69 x68 -x67 x66 x65 x64 x63 x62 -x61 x60 x59 -x58
3588.76/3598.04 v -x57 x56 x55 -x54 x53 x52 -x51 x50 x49 -x48 -x47 -x46 x45 -x44 x43 -x42 -x41 x40 -x39 -x38 x37 -x36 -x35 x34 x33 x32 -x31
3588.76/3598.04 v x30 x29 -x28 -x27 -x26 -x25 -x24 -x23 x22 -x21 x20 -x19 -x18 -x17 x16 x15 x14 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: 63968 MiB (60856 MiB free)
memory of node 1: 64473 MiB (61907 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4463986-1722378595/watcher-4463986-1722378595 -o /tmp/evaluation-result-4463986-1722378595/solver-4463986-1722378595 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC026-1722378594-30205 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4463986-1722378595.opb -qsol -t 3600 -sth 1
running on 2 cores: 4,6
CPU governors:
performance: 4 6
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=30355, runsolver pid=30352
Current StackSize limit: 8192 KiB
[startup+0.109732 s]*
/proc/loadavg: 0.15 0.11 0.09 5/262 30368
/proc/meminfo: memFree=125657100/131524600 swapFree=131071996/131071996
[pid=30355] ppid=30352 vsize=131132 memory=45092 CPUtime=0.1 cores=4,6
/proc/30355/stat : 30355 (fscip) S 30352 30355 30194 0 -1 1077936128 9660 0 0 0 9 1 0 0 20 0 3 0 4459746 134279168 11273 134679101440 4194304 16623229 140723874512624 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 46379008 140723874513942 140723874514058 140723874514058 140723874521072 0
/proc/30355/statm: 32783 11273 2790 3035 0 15163 0
[pid=30355/tid=30367] ppid=30352 vsize=131132 memory=4026531971 CPUtime=0.03 cores=4,6
/proc/30355/task/30367/stat : 30367 (fscip) R 30352 30355 30194 0 -1 4194368 3532 0 0 0 3 0 0 0 20 0 3 0 4459752 134279168 11273 134679101440 4194304 16623229 140723874512624 0 0 0 0 0 2 0 0 0 -1 6 0 0 0 0 0 18838560 18947056 46379008 140723874513942 140723874514058 140723874514058 140723874521072 0
[pid=30355/tid=30368] ppid=30352 vsize=131132 memory=572 CPUtime=0 cores=4,6
/proc/30355/task/30368/stat : 30368 (fscip) S 30352 30355 30194 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 4459754 134279168 11273 134679101440 4194304 16623229 140723874512624 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 46379008 140723874513942 140723874514058 140723874514058 140723874521072 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 131132 KiB
Current children cumulated memory: 45092 KiB
[startup+0.205751 s]*
/proc/loadavg: 0.15 0.11 0.09 5/264 30370
/proc/meminfo: memFree=125626088/131524600 swapFree=131071996/131071996
[pid=30355] ppid=30352 vsize=132156 memory=52464 CPUtime=0.19 cores=4,6
/proc/30355/stat : 30355 (fscip) S 30352 30355 30194 0 -1 1077936128 11395 0 0 0 18 1 0 0 20 0 3 0 4459746 135327744 13116 134679101440 4194304 16623229 140723874512624 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 46379008 140723874513942 140723874514058 140723874514058 140723874521072 0
/proc/30355/statm: 33039 13116 2934 3035 0 16919 0
[pid=30355/tid=30367] ppid=30352 vsize=132156 memory=8505393642823811203 CPUtime=0.12 cores=4,6
/proc/30355/task/30367/stat : 30367 (fscip) R 30352 30355 30194 0 -1 4194368 5267 0 0 0 12 0 0 0 20 0 3 0 4459752 135327744 13116 134679101440 4194304 16623229 140723874512624 0 0 0 0 0 2 0 0 0 -1 6 0 0 0 0 0 18838560 18947056 46379008 140723874513942 140723874514058 140723874514058 140723874521072 0
[pid=30355/tid=30368] ppid=30352 vsize=132156 memory=572 CPUtime=0 cores=4,6
/proc/30355/task/30368/stat : 30368 (fscip) S 30352 30355 30194 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 4459754 135327744 13116 134679101440 4194304 16623229 140723874512624 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 46379008 140723874513942 140723874514058 140723874514058 140723874521072 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 132156 KiB
Current children cumulated memory: 52464 KiB
[startup+0.305734 s]*
/proc/loadavg: 0.15 0.11 0.09 5/264 30370
/proc/meminfo: memFree=125605244/131524600 swapFree=131071996/131071996
[pid=30355] ppid=30352 vsize=132156 memory=52464 CPUtime=0.28 cores=4,6
/proc/30355/stat : 30355 (fscip) S 30352 30355 30194 0 -1 1077936128 11397 0 0 0 27 1 0 0 20 0 3 0 4459746 135327744 13116 134679101440 4194304 16623229 140723874512624 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 46379008 140723874513942 140723874514058 140723874514058 140723874521072 0
/proc/30355/statm: 33039 13116 2934 3035 0 16925 0
[pid=30355/tid=30367] ppid=30352 vsize=132156 memory=-5155633487783160709 CPUtime=0.22 cores=4,6
/proc/30355/task/30367/stat : 30367 (fscip) R 30352 30355 30194 0 -1 4194368 5269 0 0 0 22 0 0 0 20 0 3 0 4459752 135327744 13116 134679101440 4194304 16623229 140723874512624 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 46379008 140723874513942 140723874514058 140723874514058 140723874521072 0
[pid=30355/tid=30368] ppid=30352 vsize=132156 memory=0 CPUtime=0 cores=4,6
/proc/30355/task/30368/stat : 30368 (fscip) S 30352 30355 30194 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 4459754 135327744 13116 134679101440 4194304 16623229 140723874512624 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 46379008 140723874513942 140723874514058 140723874514058 140723874521072 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 132156 KiB
Current children cumulated memory: 52464 KiB
[startup+0.700246 s]
/proc/loadavg: 0.15 0.11 0.09 5/266 30372
/proc/meminfo: memFree=125520300/131524600 swapFree=131071996/131071996
[pid=30355] ppid=30352 vsize=133612 memory=57248 CPUtime=0.67 cores=4,6
/proc/30355/stat : 30355 (fscip) S 30352 30355 30194 0 -1 1077936128 12560 0 0 0 66 1 0 0 20 0 3 0 4459746 136818688 14312 134679101440 4194304 16623229 140723874512624 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 46379008 140723874513942 140723874514058 140723874514058 140723874521072 0
/proc/30355/statm: 33403 14312 2950 3035 0 18216 0
[pid=30355/tid=30367] ppid=30352 vsize=133612 memory=0 CPUtime=0.6 cores=4,6
/proc/30355/task/30367/stat : 30367 (fscip) R 30352 30355 30194 0 -1 4194368 6432 0 0 0 60 0 0 0 20 0 3 0 4459752 136818688 14312 134679101440 4194304 16623229 140723874512624 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 46379008 140723874513942 140723874514058 140723874514058 140723874521072 0
[pid=30355/tid=30368] ppid=30352 vsize=133612 memory=0 CPUtime=0 cores=4,6
/proc/30355/task/30368/stat : 30368 (fscip) S 30352 30355 30194 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 4459754 136818688 14312 134679101440 4194304 16623229 140723874512624 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 46379008 140723874513942 140723874514058 140723874514058 140723874521072 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 133612 KiB
Current children cumulated memory: 57248 KiB
[startup+1.50021 s]
/proc/loadavg: 0.15 0.11 0.09 5/266 30372
/proc/meminfo: memFree=125503184/131524600 swapFree=131071996/131071996
[pid=30355] ppid=30352 vsize=133612 memory=61216 CPUtime=1.47 cores=4,6
/proc/30355/stat : 30355 (fscip) S 30352 30355 30194 0 -1 1077936128 17291 0 0 0 146 1 0 0 20 0 3 0 4459746 136818688 15304 134679101440 4194304 16623229 140723874512624 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 46379008 140723874513942 140723874514058 140723874514058 140723874521072 0
/proc/30355/statm: 33403 15304 2950 3035 0 19274 0
[pid=30355/tid=30367] ppid=30352 vsize=133612 memory=0 CPUtime=1.4 cores=4,6
/proc/30355/task/30367/stat : 30367 (fscip) R 30352 30355 30194 0 -1 4194368 11163 0 0 0 140 0 0 0 20 0 3 0 4459752 136818688 15304 134679101440 4194304 16623229 140723874512624 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 46379008 140723874513942 140723874514058 140723874514058 140723874521072 0
[pid=30355/tid=30368] ppid=30352 vsize=133612 memory=0 CPUtime=0 cores=4,6
/proc/30355/task/30368/stat : 30368 (fscip) S 30352 30355 30194 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 4459754 136818688 15304 134679101440 4194304 16623229 140723874512624 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 46379008 140723874513942 140723874514058 140723874514058 140723874521072 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 133612 KiB
Current children cumulated memory: 61216 KiB
[startup+3.1054 s]
/proc/loadavg: 0.46 0.18 0.11 5/266 30372
/proc/meminfo: memFree=125408388/131524600 swapFree=131071996/131071996
[pid=30355] ppid=30352 vsize=143808 memory=83112 CPUtime=3.07 cores=4,6
/proc/30355/stat : 30355 (fscip) S 30352 30355 30194 0 -1 1077936128 22920 0 0 0 304 3 0 0 20 0 3 0 4459746 147259392 20778 134679101440 4194304 16623229 140723874512624 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 46379008 140723874513942 140723874514058 140723874514058 140723874521072 0
/proc/30355/statm: 35952 20778 2950 3035 0 24964 0
[pid=30355/tid=30367] ppid=30352 vsize=143808 memory=0 CPUtime=3.01 cores=4,6
/proc/30355/task/30367/stat : 30367 (fscip) R 30352 30355 30194 0 -1 4194368 16790 0 0 0 299 2 0 0 20 0 3 0 4459752 147259392 20778 134679101440 4194304 16623229 140723874512624 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 46379008 140723874513942 140723874514058 140723874514058 140723874521072 0
[pid=30355/tid=30368] ppid=30352 vsize=143808 memory=3616446615505891825 CPUtime=0 cores=4,6
/proc/30355/task/30368/stat : 30368 (fscip) S 30352 30355 30194 0 -1 1077936192 2 0 0 0 0 0 0 0 20 0 3 0 4459754 147259392 20778 134679101440 4194304 16623229 140723874512624 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 46379008 140723874513942 140723874514058 140723874514058 140723874521072 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 143808 KiB
Current children cumulated memory: 83112 KiB
[startup+6.30021 s]
/proc/loadavg: 0.46 0.18 0.11 5/266 30374
/proc/meminfo: memFree=125315408/131524600 swapFree=131071996/131071996
[pid=30355] ppid=30352 vsize=182424 memory=122956 CPUtime=6.26 cores=4,6
/proc/30355/stat : 30355 (fscip) S 30352 30355 30194 0 -1 1077936128 44726 0 0 0 621 5 0 0 20 0 3 0 4459746 186802176 30739 134679101440 4194304 16623229 140723874512624 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 46379008 140723874513942 140723874514058 140723874514058 140723874521072 0
/proc/30355/statm: 45606 30739 2950 3035 0 35258 0
[pid=30355/tid=30367] ppid=30352 vsize=182424 memory=0 CPUtime=6.19 cores=4,6
/proc/30355/task/30367/stat : 30367 (fscip) R 30352 30355 30194 0 -1 4194368 38594 0 0 0 615 4 0 0 20 0 3 0 4459752 186802176 30739 134679101440 4194304 16623229 140723874512624 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 46379008 140723874513942 140723874514058 140723874514058 140723874521072 0
[pid=30355/tid=30368] ppid=30352 vsize=182424 memory=89936 CPUtime=0 cores=4,6
/proc/30355/task/30368/stat : 30368 (fscip) S 30352 30355 30194 0 -1 1077936192 4 0 0 0 0 0 0 0 20 0 3 0 4459754 186802176 30739 134679101440 4194304 16623229 140723874512624 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 46379008 140723874513942 140723874514058 140723874514058 140723874521072 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 182424 KiB
Current children cumulated memory: 122956 KiB
[startup+12.7003 s]
/proc/loadavg: 1.00 0.30 0.16 5/266 30374
/proc/meminfo: memFree=125226032/131524600 swapFree=131071996/131071996
[pid=30355] ppid=30352 vsize=264292 memory=164528 CPUtime=12.64 cores=4,6
/proc/30355/stat : 30355 (fscip) S 30352 30355 30194 0 -1 1077936128 78810 0 0 0 1256 8 0 0 20 0 3 0 4459746 270635008 41132 134679101440 4194304 16623229 140723874512624 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 46379008 140723874513942 140723874514058 140723874514058 140723874521072 0
/proc/30355/statm: 66073 41132 2950 3035 0 46637 0
[pid=30355/tid=30367] ppid=30352 vsize=264292 memory=-5155633492078128005 CPUtime=12.57 cores=4,6
/proc/30355/task/30367/stat : 30367 (fscip) R 30352 30355 30194 0 -1 4194368 72636 0 0 0 1250 7 0 0 20 0 3 0 4459752 270635008 41132 134679101440 4194304 16623229 140723874512624 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 46379008 140723874513942 140723874514058 140723874514058 140723874521072 0
[pid=30355/tid=30368] ppid=30352 vsize=264292 memory=0 CPUtime=0 cores=4,6
/proc/30355/task/30368/stat : 30368 (fscip) S 30352 30355 30194 0 -1 1077936192 12 0 0 0 0 0 0 0 20 0 3 0 4459754 270635008 41132 134679101440 4194304 16623229 140723874512624 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 46379008 140723874513942 140723874514058 140723874514058 140723874521072 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 264292 KiB
Current children cumulated memory: 164528 KiB
[startup+25.5003 s]
/proc/loadavg: 1.46 0.42 0.20 5/266 30375
/proc/meminfo: memFree=125155592/131524600 swapFree=131071996/131071996
[pid=30355] ppid=30352 vsize=264292 memory=170848 CPUtime=25.41 cores=4,6
/proc/30355/stat : 30355 (fscip) S 30352 30355 30194 0 -1 1077936128 103745 0 0 0 2530 11 0 0 20 0 3 0 4459746 270635008 42712 134679101440 4194304 16623229 140723874512624 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 46379008 140723874513942 140723874514058 140723874514058 140723874521072 0
/proc/30355/statm: 66073 42712 2998 3035 0 47942 0
[pid=30355/tid=30367] ppid=30352 vsize=264292 memory=165300 CPUtime=25.35 cores=4,6
/proc/30355/task/30367/stat : 30367 (fscip) R 30352 30355 30194 0 -1 4194368 97498 0 0 0 2525 10 0 0 20 0 3 0 4459752 270635008 42712 134679101440 4194304 16623229 140723874512624 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 46379008 140723874513942 140723874514058 140723874514058 140723874521072 0
[pid=30355/tid=30368] ppid=30352 vsize=264292 memory=636 CPUtime=0 cores=4,6
/proc/30355/task/30368/stat : 30368 (fscip) S 30352 30355 30194 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 3 0 4459754 270635008 42712 134679101440 4194304 16623229 140723874512624 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 46379008 140723874513942 140723874514058 140723874514058 140723874521072 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 264292 KiB
Current children cumulated memory: 170848 KiB
[startup+51.1055 s]
/proc/loadavg: 2.33 0.71 0.30 5/268 30439
/proc/meminfo: memFree=124990340/131524600 swapFree=131071996/131071996
[pid=30355] ppid=30352 vsize=329828 memory=223644 CPUtime=50.96 cores=4,6
/proc/30355/stat : 30355 (fscip) S 30352 30355 30194 0 -1 1077936128 185455 0 0 0 5080 16 0 0 20 0 3 0 4459746 337743872 55911 134679101440 4194304 16623229 140723874512624 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 46379008 140723874513942 140723874514058 140723874514058 140723874521072 0
/proc/30355/statm: 82457 55911 2998 3035 0 62642 0
[pid=30355/tid=30367] ppid=30352 vsize=329828 memory=223292 CPUtime=50.89 cores=4,6
/proc/30355/task/30367/stat : 30367 (fscip) R 30352 30355 30194 0 -1 4194368 178337 0 0 0 5074 15 0 0 20 0 3 0 4459752 337743872 55911 134679101440 4194304 16623229 140723874512624 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 46379008 140723874513942 140723874514058 140723874514058 140723874521072 0
[pid=30355/tid=30368] ppid=30352 vsize=329828 memory=2336 CPUtime=0 cores=4,6
/proc/30355/task/30368/stat : 30368 (fscip) S 30352 30355 30194 0 -1 1077936192 33 0 0 0 0 0 0 0 20 0 3 0 4459754 337743872 55911 134679101440 4194304 16623229 140723874512624 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 46379008 140723874513942 140723874514058 140723874514058 140723874521072 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 329828 KiB
Current children cumulated memory: 223644 KiB
[startup+102.3 s]
/proc/loadavg: 3.46 1.31 0.53 5/268 30449
/proc/meminfo: memFree=124816220/131524600 swapFree=131071996/131071996
[pid=30355] ppid=30352 vsize=325260 memory=267356 CPUtime=102.02 cores=4,6
/proc/30355/stat : 30355 (fscip) S 30352 30355 30194 0 -1 1077936128 285794 0 0 0 10178 24 0 0 20 0 3 0 4459746 333066240 66839 134679101440 4194304 16623229 140723874512624 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 46379008 140723874513942 140723874514058 140723874514058 140723874521072 0
/proc/30355/statm: 81315 66839 2998 3035 0 73885 0
[pid=30355/tid=30367] ppid=30352 vsize=325260 memory=12340 CPUtime=101.95 cores=4,6
/proc/30355/task/30367/stat : 30367 (fscip) R 30352 30355 30194 0 -1 4194368 278608 0 0 0 10172 23 0 0 20 0 3 0 4459752 333066240 66839 134679101440 4194304 16623229 140723874512624 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 46379008 140723874513942 140723874514058 140723874514058 140723874521072 0
[pid=30355/tid=30368] ppid=30352 vsize=325260 memory=12340 CPUtime=0 cores=4,6
/proc/30355/task/30368/stat : 30368 (fscip) S 30352 30355 30194 0 -1 1077936192 35 0 0 0 0 0 0 0 20 0 3 0 4459754 333066240 66839 134679101440 4194304 16623229 140723874512624 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 46379008 140723874513942 140723874514058 140723874514058 140723874521072 0
Current children cumulated CPU time: 102.02 s
Current children cumulated vsize: 325260 KiB
Current children cumulated memory: 267356 KiB
[startup+162.3 s]
/proc/loadavg: 3.84 1.82 0.76 5/268 30459
/proc/meminfo: memFree=124621852/131524600 swapFree=131071996/131071996
[pid=30355] ppid=30352 vsize=395972 memory=326544 CPUtime=161.89 cores=4,6
/proc/30355/stat : 30355 (fscip) S 30352 30355 30194 0 -1 1077936128 353561 0 0 0 16158 31 0 0 20 0 3 0 4459746 405475328 81636 134679101440 4194304 16623229 140723874512624 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 46379008 140723874513942 140723874514058 140723874514058 140723874521072 0
/proc/30355/statm: 98993 81636 2998 3035 0 89960 0
[pid=30355/tid=30367] ppid=30352 vsize=395972 memory=316072 CPUtime=161.81 cores=4,6
/proc/30355/task/30367/stat : 30367 (fscip) R 30352 30355 30194 0 -1 4194368 345992 0 0 0 16151 30 0 0 20 0 3 0 4459752 405475328 81636 134679101440 4194304 16623229 140723874512624 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 46379008 140723874513942 140723874514058 140723874514058 140723874521072 0
[pid=30355/tid=30368] ppid=30352 vsize=395972 memory=12560 CPUtime=0 cores=4,6
/proc/30355/task/30368/stat : 30368 (fscip) S 30352 30355 30194 0 -1 1077936192 39 0 0 0 0 0 0 0 20 0 3 0 4459754 405475328 81636 134679101440 4194304 16623229 140723874512624 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 46379008 140723874513942 140723874514058 140723874514058 140723874521072 0
Current children cumulated CPU time: 161.89 s
Current children cumulated vsize: 395972 KiB
################
# More data... #
################
/proc/30355/statm: 157749 145202 2998 3035 0 148134 0
[pid=30355/tid=30367] ppid=30352 vsize=630996 memory=579416 CPUtime=3393.33 cores=4,6
/proc/30355/task/30367/stat : 30367 (fscip) R 30352 30355 30194 0 -1 4194368 1262411 0 0 0 339214 119 0 0 20 0 3 0 4459752 646139904 145202 134679101440 4194304 16623229 140723874512624 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 46379008 140723874513942 140723874514058 140723874514058 140723874521072 0
[pid=30355/tid=30368] ppid=30352 vsize=630996 memory=579416 CPUtime=0.03 cores=4,6
/proc/30355/task/30368/stat : 30368 (fscip) S 30352 30355 30194 0 -1 1077936192 168 0 0 0 1 2 0 0 20 0 3 0 4459754 646139904 145202 134679101440 4194304 16623229 140723874512624 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 46379008 140723874513942 140723874514058 140723874514058 140723874521072 0
Current children cumulated CPU time: 3393.59 s
Current children cumulated vsize: 630996 KiB
Current children cumulated memory: 580808 KiB
[startup+3462.3 s]
/proc/loadavg: 4.10 4.13 4.07 5/264 32009
/proc/meminfo: memFree=121983012/131524600 swapFree=131071996/131071996
[pid=30355] ppid=30352 vsize=630996 memory=580808 CPUtime=3453.44 cores=4,6
/proc/30355/stat : 30355 (fscip) S 30352 30355 30194 0 -1 1077936128 1278463 0 0 0 345216 128 0 0 20 0 3 0 4459746 646139904 145202 134679101440 4194304 16623229 140723874512624 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 46379008 140723874513942 140723874514058 140723874514058 140723874521072 0
/proc/30355/statm: 157749 145202 2998 3035 0 148134 0
[pid=30355/tid=30367] ppid=30352 vsize=630996 memory=579416 CPUtime=3453.17 cores=4,6
/proc/30355/task/30367/stat : 30367 (fscip) R 30352 30355 30194 0 -1 4194368 1269084 0 0 0 345197 120 0 0 20 0 3 0 4459752 646139904 145202 134679101440 4194304 16623229 140723874512624 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 46379008 140723874513942 140723874514058 140723874514058 140723874521072 0
[pid=30355/tid=30368] ppid=30352 vsize=630996 memory=12340 CPUtime=0.03 cores=4,6
/proc/30355/task/30368/stat : 30368 (fscip) S 30352 30355 30194 0 -1 1077936192 173 0 0 0 1 2 0 0 20 0 3 0 4459754 646139904 145202 134679101440 4194304 16623229 140723874512624 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 46379008 140723874513942 140723874514058 140723874514058 140723874521072 0
Current children cumulated CPU time: 3453.44 s
Current children cumulated vsize: 630996 KiB
Current children cumulated memory: 580808 KiB
[startup+3522.3 s]
/proc/loadavg: 4.12 4.13 4.08 5/266 32189
/proc/meminfo: memFree=121967276/131524600 swapFree=131071996/131071996
[pid=30355] ppid=30352 vsize=630996 memory=584592 CPUtime=3513.26 cores=4,6
/proc/30355/stat : 30355 (fscip) S 30352 30355 30194 0 -1 1077936128 1287552 0 0 0 351197 129 0 0 20 0 3 0 4459746 646139904 146148 134679101440 4194304 16623229 140723874512624 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 46379008 140723874513942 140723874514058 140723874514058 140723874521072 0
/proc/30355/statm: 157749 146148 2998 3035 0 149153 0
[pid=30355/tid=30367] ppid=30352 vsize=630996 memory=580808 CPUtime=3513 cores=4,6
/proc/30355/task/30367/stat : 30367 (fscip) R 30352 30355 30194 0 -1 4194368 1278152 0 0 0 351178 122 0 0 20 0 3 0 4459752 646139904 146148 134679101440 4194304 16623229 140723874512624 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 46379008 140723874513942 140723874514058 140723874514058 140723874521072 0
[pid=30355/tid=30368] ppid=30352 vsize=630996 memory=580808 CPUtime=0.03 cores=4,6
/proc/30355/task/30368/stat : 30368 (fscip) S 30352 30355 30194 0 -1 1077936192 175 0 0 0 1 2 0 0 20 0 3 0 4459754 646139904 146148 134679101440 4194304 16623229 140723874512624 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 46379008 140723874513942 140723874514058 140723874514058 140723874521072 0
Current children cumulated CPU time: 3513.26 s
Current children cumulated vsize: 630996 KiB
Current children cumulated memory: 584592 KiB
[startup+3582.3 s]
/proc/loadavg: 4.10 4.12 4.08 5/266 32199
/proc/meminfo: memFree=121952232/131524600 swapFree=131071996/131071996
[pid=30355] ppid=30352 vsize=630996 memory=584592 CPUtime=3573.09 cores=4,6
/proc/30355/stat : 30355 (fscip) S 30352 30355 30194 0 -1 1077936128 1293039 0 0 0 357179 130 0 0 20 0 3 0 4459746 646139904 146148 134679101440 4194304 16623229 140723874512624 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 46379008 140723874513942 140723874514058 140723874514058 140723874521072 0
/proc/30355/statm: 157749 146148 2998 3035 0 149153 0
[pid=30355/tid=30367] ppid=30352 vsize=630996 memory=5596 CPUtime=3572.83 cores=4,6
/proc/30355/task/30367/stat : 30367 (fscip) R 30352 30355 30194 0 -1 4194368 1283616 0 0 0 357160 123 0 0 20 0 3 0 4459752 646139904 146148 134679101440 4194304 16623229 140723874512624 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 46379008 140723874513942 140723874514058 140723874514058 140723874521072 0
[pid=30355/tid=30368] ppid=30352 vsize=630996 memory=584592 CPUtime=0.03 cores=4,6
/proc/30355/task/30368/stat : 30368 (fscip) S 30352 30355 30194 0 -1 1077936192 180 0 0 0 1 2 0 0 20 0 3 0 4459754 646139904 146148 134679101440 4194304 16623229 140723874512624 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 46379008 140723874513942 140723874514058 140723874514058 140723874521072 0
Current children cumulated CPU time: 3573.09 s
Current children cumulated vsize: 630996 KiB
Current children cumulated memory: 584592 KiB
[startup+3598.04 s]
# the end of solver process 30355 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3587.48 s, system=1.31751 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.10 4.12 4.08 5/266 32199
/proc/meminfo: memFree=121952288/131524600 swapFree=131071996/131071996
[pid=30355] ppid=30352 vsize=630996 memory=584592 CPUtime=3574.79 cores=4,6
/proc/30355/stat : 30355 (fscip) S 30352 30355 30194 0 -1 1077936128 1293041 0 0 0 357349 130 0 0 20 0 3 0 4459746 646139904 146148 134679101440 4194304 16623229 140723874512624 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 46379008 140723874513942 140723874514058 140723874514058 140723874521072 0
/proc/30355/statm: 157749 146148 2998 3035 0 149153 0
[pid=30355/tid=30367] ppid=30352 vsize=630996 memory=-7452449699976537210 CPUtime=3574.53 cores=4,6
/proc/30355/task/30367/stat : 30367 (fscip) R 30352 30355 30194 0 -1 4194368 1283618 0 0 0 357330 123 0 0 20 0 3 0 4459752 646139904 146148 134679101440 4194304 16623229 140723874512624 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 46379008 140723874513942 140723874514058 140723874514058 140723874521072 0
[pid=30355/tid=30368] ppid=30352 vsize=630996 memory=4714027033234665119 CPUtime=0.03 cores=4,6
/proc/30355/task/30368/stat : 30368 (fscip) S 30352 30355 30194 0 -1 1077936192 180 0 0 0 1 2 0 0 20 0 3 0 4459754 646139904 146148 134679101440 4194304 16623229 140723874512624 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 46379008 140723874513942 140723874514058 140723874514058 140723874521072 0
Current children cumulated CPU time: 3574.79 s
Current children cumulated vsize: 630996 KiB
Current children cumulated memory: 584592 KiB
[startup+3590.4 s]
/proc/loadavg: 4.09 4.12 4.08 5/266 32201
/proc/meminfo: memFree=121951472/131524600 swapFree=131071996/131071996
[pid=30355] ppid=30352 vsize=630996 memory=584592 CPUtime=3581.18 cores=4,6
/proc/30355/stat : 30355 (fscip) S 30352 30355 30194 0 -1 1077936128 1293204 0 0 0 357987 131 0 0 20 0 3 0 4459746 646139904 146148 134679101440 4194304 16623229 140723874512624 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 46379008 140723874513942 140723874514058 140723874514058 140723874521072 0
/proc/30355/statm: 157749 146148 2998 3035 0 149153 0
[pid=30355/tid=30367] ppid=30352 vsize=630996 memory=12680 CPUtime=3580.91 cores=4,6
/proc/30355/task/30367/stat : 30367 (fscip) R 30352 30355 30194 0 -1 4194368 1283773 0 0 0 357968 123 0 0 20 0 3 0 4459752 646139904 146148 134679101440 4194304 16623229 140723874512624 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 46379008 140723874513942 140723874514058 140723874514058 140723874521072 0
[pid=30355/tid=30368] ppid=30352 vsize=630996 memory=12400 CPUtime=0.03 cores=4,6
/proc/30355/task/30368/stat : 30368 (fscip) S 30352 30355 30194 0 -1 1077936192 180 0 0 0 1 2 0 0 20 0 3 0 4459754 646139904 146148 134679101440 4194304 16623229 140723874512624 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 46379008 140723874513942 140723874514058 140723874514058 140723874521072 0
Current children cumulated CPU time: 3581.18 s
Current children cumulated vsize: 630996 KiB
Current children cumulated memory: 584592 KiB
[startup+3593.6 s]
/proc/loadavg: 4.08 4.12 4.08 5/266 32201
/proc/meminfo: memFree=121943692/131524600 swapFree=131071996/131071996
[pid=30355] ppid=30352 vsize=630996 memory=584592 CPUtime=3584.37 cores=4,6
/proc/30355/stat : 30355 (fscip) S 30352 30355 30194 0 -1 1077936128 1293743 0 0 0 358306 131 0 0 20 0 3 0 4459746 646139904 146148 134679101440 4194304 16623229 140723874512624 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 46379008 140723874513942 140723874514058 140723874514058 140723874521072 0
/proc/30355/statm: 157749 146148 2998 3035 0 149153 0
[pid=30355/tid=30367] ppid=30352 vsize=630996 memory=584592 CPUtime=3584.1 cores=4,6
/proc/30355/task/30367/stat : 30367 (fscip) R 30352 30355 30194 0 -1 4194368 1284310 0 0 0 358287 123 0 0 20 0 3 0 4459752 646139904 146148 134679101440 4194304 16623229 140723874512624 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 46379008 140723874513942 140723874514058 140723874514058 140723874521072 0
[pid=30355/tid=30368] ppid=30352 vsize=630996 memory=12340 CPUtime=0.03 cores=4,6
/proc/30355/task/30368/stat : 30368 (fscip) S 30352 30355 30194 0 -1 1077936192 180 0 0 0 1 2 0 0 20 0 3 0 4459754 646139904 146148 134679101440 4194304 16623229 140723874512624 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 46379008 140723874513942 140723874514058 140723874514058 140723874521072 0
Current children cumulated CPU time: 3584.37 s
Current children cumulated vsize: 630996 KiB
Current children cumulated memory: 584592 KiB
[startup+3595.2 s]
/proc/loadavg: 4.08 4.12 4.08 5/266 32201
/proc/meminfo: memFree=121943664/131524600 swapFree=131071996/131071996
[pid=30355] ppid=30352 vsize=630996 memory=584592 CPUtime=3585.96 cores=4,6
/proc/30355/stat : 30355 (fscip) S 30352 30355 30194 0 -1 1077936128 1294025 0 0 0 358465 131 0 0 20 0 3 0 4459746 646139904 146148 134679101440 4194304 16623229 140723874512624 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 46379008 140723874513942 140723874514058 140723874514058 140723874521072 0
/proc/30355/statm: 157749 146148 2998 3035 0 149153 0
[pid=30355/tid=30367] ppid=30352 vsize=630996 memory=12340 CPUtime=3585.69 cores=4,6
/proc/30355/task/30367/stat : 30367 (fscip) R 30352 30355 30194 0 -1 4194368 1284592 0 0 0 358446 123 0 0 20 0 3 0 4459752 646139904 146148 134679101440 4194304 16623229 140723874512624 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 46379008 140723874513942 140723874514058 140723874514058 140723874521072 0
[pid=30355/tid=30368] ppid=30352 vsize=630996 memory=12680 CPUtime=0.03 cores=4,6
/proc/30355/task/30368/stat : 30368 (fscip) S 30352 30355 30194 0 -1 1077936192 180 0 0 0 1 2 0 0 20 0 3 0 4459754 646139904 146148 134679101440 4194304 16623229 140723874512624 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 46379008 140723874513942 140723874514058 140723874514058 140723874521072 0
Current children cumulated CPU time: 3585.96 s
Current children cumulated vsize: 630996 KiB
Current children cumulated memory: 584592 KiB
[startup+3596.8 s]
/proc/loadavg: 4.08 4.12 4.08 5/266 32202
/proc/meminfo: memFree=121943672/131524600 swapFree=131071996/131071996
[pid=30355] ppid=30352 vsize=630996 memory=584592 CPUtime=3587.56 cores=4,6
/proc/30355/stat : 30355 (fscip) S 30352 30355 30194 0 -1 1077936128 1294035 0 0 0 358625 131 0 0 20 0 3 0 4459746 646139904 146148 134679101440 4194304 16623229 140723874512624 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 46379008 140723874513942 140723874514058 140723874514058 140723874521072 0
/proc/30355/statm: 157749 146148 2998 3035 0 149153 0
[pid=30355/tid=30367] ppid=30352 vsize=630996 memory=584592 CPUtime=3587.29 cores=4,6
/proc/30355/task/30367/stat : 30367 (fscip) R 30352 30355 30194 0 -1 4194368 1284594 0 0 0 358606 123 0 0 20 0 3 0 4459752 646139904 146148 134679101440 4194304 16623229 140723874512624 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 46379008 140723874513942 140723874514058 140723874514058 140723874521072 0
[pid=30355/tid=30368] ppid=30352 vsize=630996 memory=584592 CPUtime=0.03 cores=4,6
/proc/30355/task/30368/stat : 30368 (fscip) S 30352 30355 30194 0 -1 1077936192 180 0 0 0 1 2 0 0 20 0 3 0 4459754 646139904 146148 134679101440 4194304 16623229 140723874512624 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 46379008 140723874513942 140723874514058 140723874514058 140723874521072 0
Current children cumulated CPU time: 3587.56 s
Current children cumulated vsize: 630996 KiB
Current children cumulated memory: 584592 KiB
[startup+3597.6 s]
/proc/loadavg: 4.08 4.12 4.08 5/266 32202
/proc/meminfo: memFree=121944980/131524600 swapFree=131071996/131071996
[pid=30355] ppid=30352 vsize=630996 memory=584592 CPUtime=3588.36 cores=4,6
/proc/30355/stat : 30355 (fscip) S 30352 30355 30194 0 -1 1077936128 1294036 0 0 0 358705 131 0 0 20 0 3 0 4459746 646139904 146148 134679101440 4194304 16623229 140723874512624 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 46379008 140723874513942 140723874514058 140723874514058 140723874521072 0
/proc/30355/statm: 157749 146148 2998 3035 0 149153 0
[pid=30355/tid=30367] ppid=30352 vsize=630996 memory=5420 CPUtime=3588.09 cores=4,6
/proc/30355/task/30367/stat : 30367 (fscip) R 30352 30355 30194 0 -1 4194368 1284595 0 0 0 358686 123 0 0 20 0 3 0 4459752 646139904 146148 134679101440 4194304 16623229 140723874512624 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 46379008 140723874513942 140723874514058 140723874514058 140723874521072 0
[pid=30355/tid=30368] ppid=30352 vsize=630996 memory=16144 CPUtime=0.03 cores=4,6
/proc/30355/task/30368/stat : 30368 (fscip) S 30352 30355 30194 0 -1 1077936192 180 0 0 0 1 2 0 0 20 0 3 0 4459754 646139904 146148 134679101440 4194304 16623229 140723874512624 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 46379008 140723874513942 140723874514058 140723874514058 140723874521072 0
Current children cumulated CPU time: 3588.36 s
Current children cumulated vsize: 630996 KiB
Current children cumulated memory: 584592 KiB
[startup+3598 s]*
/proc/loadavg: 3.99 4.10 4.07 5/254 32236
/proc/meminfo: memFree=124747656/131524600 swapFree=131071996/131071996
[pid=30355] ppid=30352 vsize=630996 memory=584592 CPUtime=3588.76 cores=4,6
/proc/30355/stat : 30355 (fscip) S 30352 30355 30194 0 -1 1077936128 1294054 0 0 0 358745 131 0 0 20 0 3 0 4459746 646139904 146148 134679101440 4194304 16623229 140723874512624 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 46379008 140723874513942 140723874514058 140723874514058 140723874521072 0
/proc/30355/statm: 157749 146148 2998 3035 0 149153 0
[pid=30355/tid=30367] ppid=30352 vsize=630996 memory=-7824251494390783337 CPUtime=3588.49 cores=4,6
/proc/30355/task/30367/stat : 30367 (fscip) R 30352 30355 30194 0 -1 4194368 1284611 0 0 0 358726 123 0 0 20 0 3 0 4459752 646139904 146148 134679101440 4194304 16623229 140723874512624 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 46379008 140723874513942 140723874514058 140723874514058 140723874521072 0
[pid=30355/tid=30368] ppid=30352 vsize=630996 memory=-9032646808924615058 CPUtime=0.03 cores=4,6
/proc/30355/task/30368/stat : 30368 (fscip) S 30352 30355 30194 0 -1 1077936192 180 0 0 0 1 2 0 0 20 0 3 0 4459754 646139904 146148 134679101440 4194304 16623229 140723874512624 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 46379008 140723874513942 140723874514058 140723874514058 140723874521072 0
Current children cumulated CPU time: 3588.76 s
Current children cumulated vsize: 630996 KiB
Current children cumulated memory: 584592 KiB
Child status: 0
Real time (s): 3598.04
CPU time (s): 3588.8
CPU user time (s): 3587.48
CPU system time (s): 1.31751
CPU usage (%): 99.7432
Max. virtual memory (cumulated for all children) (KiB): 636296
Max. memory (cumulated for all children) (KiB): 584592
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3587.48
system time used= 1.31751
maximum resident set size= 584592
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1294904
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= 9178
involuntary context switches= 1655
# summary of solver processes directly reported to runsolver:
# pid: 30355
# total CPU time (s): 3588.8
# total CPU user time (s): 3587.48
# total CPU system time (s): 1.31751
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.10721 second user time and 16.3794 second system time
The end
Begin job on nodeC026 at 2024-07-31 00:29:55
IDJOB=4463986
IDBENCH=147524
IDSOLVER=3092
FILE ID=nodeC026/4463986-1722378595
RUNJOBID= nodeC026-1722378594-30205
SLURM_JOB_ID= 8249849
Free space on /tmp= 890028 MiB
SOLVER NAME= FiberSCIP 2024-07-30
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/vtxcov/normalized-vtxcov_v2000_e4000_12.opb.PB06.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-4463986-1722378595/watcher-4463986-1722378595 -o /tmp/evaluation-result-4463986-1722378595/solver-4463986-1722378595 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC026-1722378594-30205 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4463986-1722378595.opb -qsol -t 3600 -sth 1
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 3986604c534c992b7a4e3e5a4bb881f1
RANDOM SEED=1453536771
nodeC026.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3667.855
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7000.59
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3684.232
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7006.70
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3606.120
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7000.59
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3636.133
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7006.70
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3662.172
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7000.59
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3649.154
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7006.70
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3667.482
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7000.59
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3666.584
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7006.70
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 125727580 kB
MemAvailable: 129724232 kB
Buffers: 87380 kB
Cached: 4726792 kB
SwapCached: 0 kB
Active: 258592 kB
Inactive: 5028064 kB
Active(anon): 1464 kB
Inactive(anon): 492028 kB
Active(file): 257128 kB
Inactive(file): 4536036 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 101264 kB
Writeback: 0 kB
AnonPages: 472248 kB
Mapped: 111564 kB
Shmem: 21336 kB
KReclaimable: 86624 kB
Slab: 170656 kB
SReclaimable: 86624 kB
SUnreclaim: 84032 kB
KernelStack: 4064 kB
PageTables: 9704 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 739280 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 9600 kB
HardwareCorrupted: 0 kB
AnonHugePages: 204800 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: 205524 kB
DirectMap2M: 16345088 kB
DirectMap1G: 119537664 kB
Free space on /tmp at the end= 889972 MiB
End job on nodeC026 at 2024-07-31 01:29:54