0.00/0.00 c The following solver is parallelized by UG version 1.0.0 [GitHash: cdb00f34-dirty]
0.00/0.00 c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.1.0] [GitHash: 32d2b99657]
0.00/0.00 c Copyright (c) 2002-2024 Zuse Institute Berlin (ZIB)
0.00/0.00 c External libraries:
0.00/0.00 c Soplex 7.1.0 Linear Programming Solver developed at Zuse Institute Berlin (soplex.zib.de) [GitHash: bdec2291]
0.00/0.00 c CppAD 20180000.0 Algorithmic Differentiation of C++ algorithms developed by B. Bell (github.com/coin-or/CppAD)
0.00/0.00 c AMPL/MP 690e9e7 AMPL .nl file reader library (github.com/ampl/mp)
0.00/0.00 c PaPILO 2.2.1 parallel presolve for integer and linear optimization (github.com/scipopt/papilo)
0.00/0.00 c Nauty 2.8.8 Computing Graph Automorphism Groups by Brendan D. McKay (users.cecs.anu.edu.au/~bdm/nauty)
0.00/0.00 c sassy 1.1 Symmetry preprocessor by Markus Anders (github.com/markusa4/sassy)
0.00/0.04 c Default LC presolving (default).
0.00/0.04 c ** Before presolving: virtualMemUsedAtLc = 32313344, getVmSize() = 32313344, SCIPgetMemUsed() = 8873066, SCIPgetMemTotal() = 10493418, SCIPgetMemExternEstim() = 5427093
0.00/0.04 c ** set memory limit for presolving in LC to 8.79608e+12 for SCIP **
0.10/0.16 c ** Estimated virtualMemUsedAtSolver = 24820394, getVmSize() = 42147840, SCIPgetMemUsed() = 10275935, SCIPgetMemTotal() = 18923383, SCIPgetMemExternEstim() = 5427093
0.10/0.16 c ** set memory limit for solvers to 4.39805e+12 for each SCIP **
0.10/0.16 c Original Problem :
0.10/0.16 c Problem name : instance-4434654-1721081341
0.10/0.16 c Variables : 1968 (1968 binary, 0 integer, 0 implicit integer, 0 continuous)
0.10/0.16 c Constraints : 4000
0.10/0.16 c Objective sense : minimize
0.10/0.16 c Presolved Problem :
0.10/0.16 c Variables : 1479 (1479 binary, 0 integer, 0 implicit integer, 0 continuous)
0.10/0.16 c Constraints : 2868
0.10/0.16 c Constraints : Number
0.10/0.16 c setppc : 2868
0.10/0.16 c ** Instance transfer method used: 0
0.10/0.18 c ** ParaScipInstance copy does not increase the number of variables. **
0.10/0.20 c LC is working with racing ramp-up and with rebuilding tree after racing.
0.10/0.20 c Nodes Active
0.10/0.20 c Time Nodes Left Solvers Best Integer Best Node Gap Best Node(S) Gap(S)
0.21/0.22 c * 0 0 1 1 1719.0000 - -
0.31/0.35 c * 0 0 1 1 1169.0000 - -
0.31/0.36 c * 0 0 1 1 1080.0000 - -
0.31/0.42 c * 0 0 1 1 1073.0000 - -
13.33/13.47 c 13 2 1 1 1073.0000 1005.6937 6.69%
19.22/19.38 c 19 5 4 1 1073.0000 1006.0801 6.65%
24.80/24.95 c 25 8 7 1 1073.0000 1006.0801 6.65%
31.28/31.47 c * 31 30 29 1 1057.0000 1006.0801 5.06%
31.28/31.47 c 31 30 29 1 1057.0000 1006.0801 5.06%
31.28/31.47 c * 31 42 41 1 1055.0000 1006.0801 4.86%
31.38/31.51 c * 32 42 41 1 1051.0000 1006.0801 4.46%
31.38/31.53 c * 32 42 41 1 1050.0000 1006.0801 4.37%
34.36/34.57 c * 35 53 40 1 1049.0000 1006.0801 4.27%
37.35/37.52 c 38 71 39 1 1049.0000 1006.0801 4.27%
38.15/38.33 c * 38 71 39 1 1048.0000 1006.0801 4.17%
39.25/39.47 c * 39 71 39 1 1046.0000 1006.0801 3.97%
44.43/44.65 c 45 90 46 1 1046.0000 1006.5531 3.92%
45.73/45.91 c * 46 100 54 1 1045.0000 1006.5531 3.82%
51.11/51.34 c 51 139 61 1 1045.0000 1006.8260 3.79%
56.19/56.45 c 56 162 80 1 1045.0000 1007.5150 3.72%
61.78/62.02 c 62 178 84 1 1045.0000 1007.5150 3.72%
66.95/67.24 c 67 239 105 1 1045.0000 1007.9129 3.68%
72.33/72.64 c 73 290 104 1 1045.0000 1007.9129 3.68%
79.30/79.60 c 80 346 128 1 1045.0000 1007.9208 3.68%
84.48/84.81 c 85 396 124 1 1045.0000 1007.9911 3.67%
90.26/90.61 c 91 481 131 1 1045.0000 1008.1332 3.66%
95.76/96.19 c 96 527 141 1 1045.0000 1008.6308 3.61%
101.74/102.17 c 102 561 147 1 1045.0000 1008.6370 3.61%
109.50/109.99 c 110 616 153 1 1045.0000 1008.7107 3.60%
115.98/116.49 c 116 655 164 1 1045.0000 1008.9781 3.57%
121.06/121.50 c 122 717 174 1 1045.0000 1009.5027 3.52%
127.04/127.58 c 128 843 193 1 1045.0000 1009.7501 3.49%
133.83/134.33 c 134 904 196 1 1045.0000 1009.7869 3.49%
138.62/139.14 c * 139 942 192 1 1044.0000 1009.9242 3.37%
139.70/140.22 c 140 975 196 1 1044.0000 1009.9242 3.37%
144.89/145.48 c 145 1010 205 1 1044.0000 1009.9658 3.37%
150.08/150.62 c 151 1134 215 1 1044.0000 1010.1196 3.35%
155.16/155.79 c 156 1165 224 1 1044.0000 1010.3592 3.33%
160.84/161.40 c 161 1244 227 1 1044.0000 1010.3637 3.33%
166.82/167.43 c 167 1256 233 1 1044.0000 1010.5093 3.31%
172.20/172.85 c 173 1372 241 1 1044.0000 1010.8876 3.28%
178.50/179.11 c 179 1455 254 1 1044.0000 1011.1186 3.25%
184.06/184.77 c 185 1550 257 1 1044.0000 1011.1428 3.25%
189.94/190.64 c 191 1624 267 1 1044.0000 1011.2750 3.24%
196.22/196.96 c 197 1686 277 1 1044.0000 1011.2964 3.23%
201.32/202.02 c 202 1790 293 1 1044.0000 1011.4163 3.22%
206.49/207.22 c 207 1944 293 1 1044.0000 1011.4163 3.22%
213.77/214.56 c 215 1996 307 1 1044.0000 1011.5342 3.21%
221.25/222.04 c 222 2012 313 1 1044.0000 1011.6244 3.20%
228.34/229.15 c 229 2062 323 1 1044.0000 1011.6814 3.19%
233.41/234.22 c 234 2182 341 1 1044.0000 1011.7128 3.19%
240.88/241.75 c 242 2366 351 1 1044.0000 1011.7239 3.19%
246.87/247.77 c 248 2482 355 1 1044.0000 1011.7926 3.18%
252.45/253.30 c 253 2486 359 1 1044.0000 1011.7926 3.18%
259.83/260.79 c 261 2644 361 1 1044.0000 1011.8529 3.18%
265.41/266.36 c 266 2676 369 1 1044.0000 1011.9086 3.17%
272.69/273.60 c 274 2723 376 1 1044.0000 1011.9688 3.17%
278.96/279.91 c 280 2816 391 1 1044.0000 1012.0837 3.15%
283.95/284.92 c 285 2852 397 1 1044.0000 1012.2353 3.14%
289.05/290.06 c 290 2967 400 1 1044.0000 1012.2353 3.14%
294.51/295.57 c 296 3066 405 1 1044.0000 1012.2517 3.14%
299.70/300.70 c 301 3176 411 1 1044.0000 1012.2971 3.13%
307.17/308.24 c 308 3303 416 1 1044.0000 1012.4727 3.11%
313.16/314.29 c 314 3326 429 1 1044.0000 1012.5310 3.11%
320.64/321.74 c 322 3353 436 1 1044.0000 1012.6201 3.10%
326.32/327.49 c 327 3425 442 1 1044.0000 1012.6250 3.10%
331.60/332.78 c 333 3492 459 1 1044.0000 1012.6676 3.09%
337.48/338.63 c 339 3552 463 1 1044.0000 1012.6821 3.09%
344.16/345.34 c 345 3564 471 1 1044.0000 1012.7201 3.09%
349.44/350.65 c 351 3622 479 1 1044.0000 1012.8403 3.08%
355.22/356.43 c 356 3717 482 1 1044.0000 1012.8732 3.07%
363.20/364.49 c 364 3776 485 1 1044.0000 1012.9259 3.07%
372.67/373.97 c 374 3842 493 1 1044.0000 1012.9873 3.06%
378.55/379.83 c 380 3923 504 1 1044.0000 1013.0138 3.06%
378.95/380.23 c * 380 3923 504 1 1041.0000 1013.0138 2.76%
384.54/385.82 c 386 4006 487 1 1041.0000 1013.1089 2.75%
390.12/391.44 c 391 4043 494 1 1041.0000 1013.3036 2.73%
395.82/397.15 c 397 4115 502 1 1041.0000 1013.3128 2.73%
401.28/402.69 c 403 4182 509 1 1041.0000 1013.4081 2.72%
408.86/410.23 c 410 4235 516 1 1041.0000 1013.4132 2.72%
414.55/415.92 c 416 4307 526 1 1041.0000 1013.6165 2.70%
421.82/423.20 c 423 4352 529 1 1041.0000 1013.6290 2.70%
427.31/428.78 c 429 4484 535 1 1041.0000 1013.6290 2.70%
432.70/434.18 c 434 4614 533 1 1041.0000 1013.6290 2.70%
438.17/439.60 c 440 4753 538 1 1041.0000 1013.6290 2.70%
444.05/445.59 c 446 4827 548 1 1041.0000 1013.6695 2.70%
449.33/450.87 c 451 4902 553 1 1041.0000 1013.7434 2.69%
456.91/458.47 c 458 4932 559 1 1041.0000 1013.7542 2.69%
462.39/463.93 c 464 4992 569 1 1041.0000 1013.8333 2.68%
468.07/469.60 c 470 5014 577 1 1041.0000 1013.8464 2.68%
473.26/474.82 c 475 5075 584 1 1041.0000 1013.8631 2.68%
478.46/480.03 c 480 5203 584 1 1041.0000 1013.8631 2.68%
483.93/485.50 c 486 5242 589 1 1041.0000 1013.9665 2.67%
490.70/492.33 c 492 5315 598 1 1041.0000 1013.9956 2.66%
495.79/497.44 c 497 5342 603 1 1041.0000 1014.0722 2.66%
501.68/503.36 c 503 5406 609 1 1041.0000 1014.0722 2.66%
508.75/510.41 c 510 5442 615 1 1041.0000 1014.1268 2.65%
513.84/515.53 c 516 5502 627 1 1041.0000 1014.2000 2.64%
519.22/520.93 c 521 5515 634 1 1041.0000 1014.2414 2.64%
526.50/528.29 c 528 5633 640 1 1041.0000 1014.4046 2.62%
532.39/534.18 c 534 5696 647 1 1041.0000 1014.4199 2.62%
537.56/539.39 c 539 5815 648 1 1041.0000 1014.4199 2.62%
543.14/544.94 c 545 5882 647 1 1041.0000 1014.4228 2.62%
548.82/550.66 c 551 5923 660 1 1041.0000 1014.5015 2.61%
554.11/555.93 c 556 5977 662 1 1041.0000 1014.5048 2.61%
559.99/561.89 c 562 6038 671 1 1041.0000 1014.5420 2.61%
566.18/568.03 c 568 6064 673 1 1041.0000 1014.6184 2.60%
571.27/573.12 c 573 6122 681 1 1041.0000 1014.6600 2.60%
576.44/578.31 c 578 6184 687 1 1041.0000 1014.6600 2.60%
583.02/584.98 c 585 6273 694 1 1041.0000 1014.6821 2.59%
588.50/590.45 c 590 6381 698 1 1041.0000 1014.6821 2.59%
594.20/596.19 c 596 6452 707 1 1041.0000 1014.7274 2.59%
599.27/601.26 c 601 6462 711 1 1041.0000 1014.7727 2.58%
604.96/606.95 c 607 6503 716 1 1041.0000 1014.8419 2.58%
610.24/612.26 c 612 6545 730 1 1041.0000 1014.8503 2.58%
615.32/617.36 c 617 6607 730 1 1041.0000 1014.8503 2.58%
620.90/622.95 c 623 6683 732 1 1041.0000 1014.9053 2.57%
625.88/627.97 c 628 6697 740 1 1041.0000 1014.9087 2.57%
631.36/633.45 c 633 6779 744 1 1041.0000 1014.9333 2.57%
637.54/639.62 c 640 6858 749 1 1041.0000 1014.9424 2.57%
642.83/644.99 c 645 6937 754 1 1041.0000 1014.9553 2.57%
648.61/650.73 c 651 7005 758 1 1041.0000 1014.9771 2.56%
656.00/658.17 c 658 7092 759 1 1041.0000 1014.9801 2.56%
664.46/666.61 c 667 7132 767 1 1041.0000 1015.0276 2.56%
670.35/672.51 c 673 7186 777 1 1041.0000 1015.0465 2.56%
675.53/677.78 c 678 7245 782 1 1041.0000 1015.0561 2.56%
681.21/683.48 c 683 7271 790 1 1041.0000 1015.0839 2.55%
687.90/690.12 c 690 7292 795 1 1041.0000 1015.1257 2.55%
692.98/695.26 c 695 7372 803 1 1041.0000 1015.1432 2.55%
699.95/702.25 c 702 7412 805 1 1041.0000 1015.2346 2.54%
705.94/708.21 c 708 7457 818 1 1041.0000 1015.2346 2.54%
711.92/714.28 c 714 7534 823 1 1041.0000 1015.2552 2.54%
717.20/719.57 c 720 7628 827 1 1041.0000 1015.2552 2.54%
722.49/724.81 c 725 7721 826 1 1041.0000 1015.2552 2.54%
731.86/734.25 c 734 7826 829 1 1041.0000 1015.3055 2.53%
738.04/740.40 c 740 7883 830 1 1041.0000 1015.3224 2.53%
744.02/746.42 c 746 7942 839 1 1041.0000 1015.3647 2.52%
749.71/752.16 c 752 7982 845 1 1041.0000 1015.4294 2.52%
755.78/758.23 c 758 8043 858 1 1041.0000 1015.4384 2.52%
760.86/763.39 c 763 8166 857 1 1041.0000 1015.4384 2.52%
767.14/769.65 c 770 8256 861 1 1041.0000 1015.5185 2.51%
772.42/774.91 c 775 8366 865 1 1041.0000 1015.5878 2.50%
777.51/780.11 c 780 8423 870 1 1041.0000 1015.6138 2.50%
783.19/785.74 c 786 8482 879 1 1041.0000 1015.6163 2.50%
788.98/791.56 c 792 8574 883 1 1041.0000 1015.6163 2.50%
794.85/797.43 c 797 8725 886 1 1041.0000 1015.6328 2.50%
800.14/802.74 c 803 8867 892 1 1041.0000 1015.6328 2.50%
807.21/809.81 c 810 8963 896 1 1041.0000 1015.6661 2.49%
812.51/815.18 c 815 9042 899 1 1041.0000 1015.6661 2.49%
818.68/821.37 c 821 9182 897 1 1041.0000 1015.6661 2.49%
823.76/826.45 c 826 9192 903 1 1041.0000 1015.7435 2.49%
829.45/832.15 c 832 9335 904 1 1041.0000 1015.7435 2.49%
835.03/837.78 c 838 9386 903 1 1041.0000 1015.7435 2.49%
842.21/845.01 c 845 9455 910 1 1041.0000 1015.7552 2.49%
847.69/850.44 c 850 9525 916 1 1041.0000 1015.8189 2.48%
854.28/857.10 c 857 9602 923 1 1041.0000 1015.8352 2.48%
859.45/862.26 c 862 9752 927 1 1041.0000 1015.8352 2.48%
866.03/868.86 c 869 9792 933 1 1041.0000 1015.8707 2.47%
871.33/874.18 c 874 9886 939 1 1041.0000 1015.8707 2.47%
877.10/879.90 c 880 9953 938 1 1041.0000 1015.8707 2.47%
882.48/885.34 c 885 10051 942 1 1041.0000 1015.9479 2.47%
887.46/890.38 c 890 10124 943 1 1041.0000 1015.9572 2.46%
892.55/895.45 c 895 10185 950 1 1041.0000 1015.9752 2.46%
897.63/900.59 c 901 10284 953 1 1041.0000 1016.0030 2.46%
902.81/905.74 c 906 10457 958 1 1041.0000 1016.0030 2.46%
907.99/911.01 c 911 10552 959 1 1041.0000 1016.0030 2.46%
913.09/916.10 c 916 10592 965 1 1041.0000 1016.0444 2.46%
919.75/922.76 c 923 10596 969 1 1041.0000 1016.0444 2.46%
925.44/928.42 c 928 10657 970 1 1041.0000 1016.0525 2.46%
930.52/933.55 c 934 10763 978 1 1041.0000 1016.0600 2.45%
937.12/940.15 c 940 10873 982 1 1041.0000 1016.1050 2.45%
942.38/945.48 c 945 10950 997 1 1041.0000 1016.1519 2.45%
947.57/950.65 c 951 11149 996 1 1041.0000 1016.1519 2.45%
953.35/956.40 c 956 11225 1000 1 1041.0000 1016.1538 2.45%
959.05/962.12 c 962 11302 1005 1 1041.0000 1016.1597 2.44%
964.51/967.60 c 968 11362 1015 1 1041.0000 1016.2108 2.44%
969.70/972.87 c 973 11393 1020 1 1041.0000 1016.2233 2.44%
975.49/978.60 c 979 11519 1024 1 1041.0000 1016.2233 2.44%
980.76/983.90 c 984 11642 1025 1 1041.0000 1016.3278 2.43%
987.75/990.90 c 991 11726 1029 1 1041.0000 1016.3298 2.43%
993.43/996.69 c 997 11800 1037 1 1041.0000 1016.3316 2.43%
998.61/1001.83 c 1002 11980 1035 1 1041.0000 1016.3316 2.43%
1004.19/1007.41 c 1007 12104 1041 1 1041.0000 1016.3372 2.43%
1009.57/1012.85 c 1013 12224 1047 1 1041.0000 1016.3539 2.42%
1015.87/1019.19 c 1019 12256 1059 1 1041.0000 1016.3701 2.42%
1020.94/1024.25 c 1024 12276 1065 1 1041.0000 1016.4049 2.42%
1026.63/1029.93 c 1030 12296 1069 1 1041.0000 1016.4643 2.41%
1031.91/1035.30 c 1035 12452 1073 1 1041.0000 1016.4643 2.41%
1037.09/1040.42 c 1040 12583 1074 1 1041.0000 1016.4643 2.41%
1042.97/1046.36 c 1046 12664 1077 1 1041.0000 1016.4936 2.41%
1049.05/1052.43 c 1052 12686 1079 1 1041.0000 1016.4936 2.41%
1054.43/1057.86 c 1058 12825 1082 1 1041.0000 1016.4936 2.41%
1060.73/1064.17 c 1064 12954 1087 1 1041.0000 1016.5329 2.41%
1068.30/1071.72 c 1072 13004 1101 1 1041.0000 1016.6212 2.40%
1073.98/1077.43 c 1077 13078 1109 1 1041.0000 1016.7641 2.38%
1078.96/1082.49 c 1082 13142 1113 1 1041.0000 1016.8009 2.38%
1085.04/1088.50 c 1088 13205 1122 1 1041.0000 1016.8128 2.38%
1090.22/1093.77 c 1094 13287 1122 1 1041.0000 1016.8128 2.38%
1096.20/1099.72 c 1100 13329 1130 1 1041.0000 1016.8259 2.38%
1101.99/1105.58 c 1106 13465 1134 1 1041.0000 1016.8378 2.38%
1107.28/1110.90 c 1111 13495 1140 1 1041.0000 1016.8378 2.38%
1113.75/1117.32 c 1117 13512 1145 1 1041.0000 1016.8980 2.37%
1120.92/1124.53 c 1125 13592 1157 1 1041.0000 1016.9472 2.37%
1126.52/1130.12 c 1130 13669 1160 1 1041.0000 1016.9472 2.37%
1131.50/1135.16 c 1135 13782 1163 1 1041.0000 1016.9588 2.36%
1137.17/1140.86 c 1141 13856 1171 1 1041.0000 1017.0259 2.36%
1144.25/1147.95 c 1148 14004 1177 1 1041.0000 1017.0394 2.36%
1150.03/1153.71 c 1154 14065 1182 1 1041.0000 1017.0696 2.35%
1157.01/1160.77 c 1161 14103 1192 1 1041.0000 1017.1127 2.35%
1162.79/1166.57 c 1167 14250 1197 1 1041.0000 1017.1127 2.35%
1169.77/1173.52 c 1174 14334 1201 1 1041.0000 1017.1196 2.35%
1175.15/1178.99 c 1179 14453 1208 1 1041.0000 1017.1196 2.35%
1182.23/1186.09 c 1186 14552 1215 1 1041.0000 1017.1560 2.34%
1188.80/1192.66 c 1193 14593 1224 1 1041.0000 1017.1667 2.34%
1194.69/1198.53 c 1199 14703 1230 1 1041.0000 1017.2179 2.34%
1200.77/1204.69 c 1205 14726 1237 1 1041.0000 1017.2351 2.34%
1206.66/1210.56 c 1211 14792 1245 1 1041.0000 1017.2957 2.33%
1211.64/1215.57 c 1216 14836 1247 1 1041.0000 1017.3132 2.33%
1218.82/1222.71 c 1223 14915 1256 1 1041.0000 1017.3230 2.33%
1225.11/1229.09 c 1229 14996 1261 1 1041.0000 1017.3264 2.33%
1230.88/1234.80 c 1235 15082 1265 1 1041.0000 1017.3679 2.32%
1238.26/1242.21 c 1242 15162 1267 1 1041.0000 1017.3696 2.32%
1243.34/1247.34 c 1247 15206 1277 1 1041.0000 1017.3793 2.32%
1248.93/1252.97 c 1253 15242 1281 1 1041.0000 1017.3860 2.32%
1255.91/1259.92 c 1260 15284 1293 1 1041.0000 1017.3999 2.32%
1261.69/1265.71 c 1266 15354 1301 1 1041.0000 1017.4202 2.32%
1267.37/1271.46 c 1271 15392 1303 1 1041.0000 1017.4344 2.32%
1274.55/1278.69 c 1279 15432 1307 1 1041.0000 1017.4363 2.32%
1280.04/1284.13 c 1284 15526 1317 1 1041.0000 1017.4488 2.31%
1285.92/1290.05 c 1290 15544 1325 1 1041.0000 1017.4884 2.31%
1292.19/1296.30 c 1296 15643 1326 1 1041.0000 1017.5000 2.31%
1297.68/1301.81 c 1302 15706 1331 1 1041.0000 1017.5000 2.31%
1303.47/1307.64 c 1308 15835 1332 1 1041.0000 1017.5000 2.31%
1308.96/1313.15 c 1313 15889 5 1 1041.0000 1017.5000 2.31%
1315.53/1319.79 c 1320 15902 18 1 1041.0000 1017.5000 2.31%
1321.11/1325.39 c 1325 15910 24 1 1041.0000 1017.5000 2.31%
1326.19/1330.47 c 1330 15922 24 1 1041.0000 1017.5000 2.31%
1330.17/1334.44 c * 1334 15934 24 1 1039.0000 1017.5000 2.11%
1332.88/1337.14 c 1337 15941 27 1 1039.0000 1017.5000 2.11%
1339.44/1343.71 c 1344 15962 30 1 1039.0000 1017.5000 2.11%
1346.12/1350.40 c 1350 15972 30 1 1039.0000 1017.5000 2.11%
1353.20/1357.54 c 1358 16012 30 1 1039.0000 1017.5000 2.11%
1358.88/1363.27 c 1363 16100 36 1 1039.0000 1017.5000 2.11%
1364.16/1368.59 c 1369 16147 41 1 1039.0000 1017.5000 2.11%
1370.44/1374.87 c 1375 16191 41 1 1039.0000 1017.5000 2.11%
1376.32/1380.71 c 1381 16228 42 1 1039.0000 1017.5000 2.11%
1381.91/1386.33 c 1386 16336 48 1 1039.0000 1017.5000 2.11%
1387.70/1392.14 c 1392 16463 55 1 1039.0000 1017.5000 2.11%
1392.77/1397.28 c 1397 16593 53 1 1039.0000 1017.5000 2.11%
1400.25/1404.75 c 1405 16678 56 1 1039.0000 1017.5000 2.11%
1405.54/1410.03 c 1410 16746 60 1 1039.0000 1017.5000 2.11%
1410.92/1415.41 c 1415 16866 60 1 1039.0000 1017.5000 2.11%
1416.81/1421.39 c 1421 16974 58 1 1039.0000 1017.5000 2.11%
1423.19/1427.75 c 1428 17029 65 1 1039.0000 1017.5820 2.10%
1429.27/1433.84 c 1434 17069 73 1 1039.0000 1017.6125 2.10%
1436.25/1440.87 c 1441 17148 78 1 1039.0000 1017.6906 2.09%
1441.63/1446.24 c 1446 17244 86 1 1039.0000 1017.8183 2.08%
1447.21/1451.81 c 1452 17368 90 1 1039.0000 1017.8572 2.08%
1452.30/1457.01 c 1457 17420 104 1 1039.0000 1017.9237 2.07%
1457.87/1462.57 c 1463 17535 113 1 1039.0000 1018.1619 2.05%
1463.56/1468.25 c 1468 17660 120 1 1039.0000 1018.1952 2.04%
1469.54/1474.28 c 1474 17728 130 1 1039.0000 1018.2723 2.04%
1474.62/1479.32 c 1479 17885 133 1 1039.0000 1018.2731 2.04%
1480.50/1485.29 c 1485 17936 144 1 1039.0000 1018.5011 2.01%
1486.30/1491.01 c 1491 17948 150 1 1039.0000 1018.5482 2.01%
1491.38/1496.18 c 1496 18096 144 1 1039.0000 1018.5482 2.01%
1497.26/1502.05 c 1502 18222 150 1 1039.0000 1018.5866 2.00%
1502.54/1507.38 c 1507 18288 156 1 1039.0000 1018.6103 2.00%
1507.52/1512.39 c 1512 18386 162 1 1039.0000 1018.8103 1.98%
1514.00/1518.86 c 1519 18505 163 1 1039.0000 1018.8312 1.98%
1519.30/1524.16 c 1524 18638 172 1 1039.0000 1018.8312 1.98%
1525.18/1530.06 c 1530 18745 181 1 1039.0000 1018.9977 1.96%
1530.95/1535.84 c 1536 18852 198 1 1039.0000 1019.0024 1.96%
1537.33/1542.27 c 1542 19023 203 1 1039.0000 1019.0081 1.96%
1543.01/1548.01 c 1548 19138 204 1 1039.0000 1019.0520 1.96%
1548.69/1553.66 c 1554 19246 210 1 1039.0000 1019.1730 1.95%
1554.38/1559.38 c 1559 19371 215 1 1039.0000 1019.2278 1.94%
1559.46/1564.47 c 1564 19526 216 1 1039.0000 1019.2278 1.94%
1565.06/1570.09 c 1570 19675 219 1 1039.0000 1019.2844 1.93%
1571.04/1576.03 c 1576 19815 223 1 1039.0000 1019.3967 1.92%
1576.31/1581.38 c 1581 19887 235 1 1039.0000 1019.4453 1.92%
1582.10/1587.18 c 1587 20064 254 1 1039.0000 1019.4677 1.92%
1589.37/1594.44 c 1594 20198 260 1 1039.0000 1019.5024 1.91%
1594.45/1599.58 c 1600 20326 264 1 1039.0000 1019.5118 1.91%
1600.34/1605.44 c 1605 20437 269 1 1039.0000 1019.5457 1.91%
1605.42/1610.57 c 1611 20575 267 1 1039.0000 1019.5457 1.91%
1610.71/1615.83 c 1616 20702 270 1 1039.0000 1019.5858 1.90%
1616.39/1621.58 c 1622 20825 275 1 1039.0000 1019.6150 1.90%
1621.47/1626.62 c 1627 20875 287 1 1039.0000 1019.6428 1.90%
1626.97/1632.19 c 1632 21021 299 1 1039.0000 1019.6737 1.90%
1632.14/1637.30 c 1637 21169 311 1 1039.0000 1019.6862 1.89%
1637.42/1642.63 c 1643 21332 318 1 1039.0000 1019.6862 1.89%
1643.20/1648.42 c 1648 21456 322 1 1039.0000 1019.6917 1.89%
1648.98/1654.22 c 1654 21654 326 1 1039.0000 1019.6920 1.89%
1655.46/1660.79 c 1661 21774 332 1 1039.0000 1019.7475 1.89%
1661.05/1666.35 c 1666 21914 336 1 1039.0000 1019.7609 1.89%
1666.75/1672.06 c 1672 22093 343 1 1039.0000 1019.8300 1.88%
1671.73/1677.07 c 1677 22242 352 1 1039.0000 1019.8437 1.88%
1677.81/1683.16 c 1683 22326 362 1 1039.0000 1019.8490 1.88%
1683.58/1688.98 c 1689 22416 370 1 1039.0000 1019.8490 1.88%
1689.26/1694.62 c 1695 22510 388 1 1039.0000 1019.8718 1.88%
1694.66/1700.04 c 1700 22645 397 1 1039.0000 1019.8761 1.88%
1699.75/1705.14 c 1705 22835 399 1 1039.0000 1019.9005 1.87%
1704.82/1710.25 c 1710 22955 403 1 1039.0000 1019.9404 1.87%
1709.90/1715.38 c 1715 23065 413 1 1039.0000 1019.9725 1.87%
1714.99/1720.50 c 1720 23181 429 1 1039.0000 1020.0043 1.86%
1720.58/1726.02 c 1726 23365 435 1 1039.0000 1020.0276 1.86%
1726.05/1731.56 c 1732 23443 451 1 1039.0000 1020.0428 1.86%
1734.03/1739.56 c 1740 23509 465 1 1039.0000 1020.0901 1.85%
1739.41/1744.98 c 1745 23660 474 1 1039.0000 1020.0943 1.85%
1744.69/1750.29 c 1750 23846 478 1 1039.0000 1020.1121 1.85%
1750.17/1755.72 c 1756 23888 488 1 1039.0000 1020.1292 1.85%
1755.85/1761.48 c 1761 24059 489 1 1039.0000 1020.1748 1.85%
1761.45/1767.08 c 1767 24235 491 1 1039.0000 1020.2178 1.84%
1767.44/1773.11 c 1773 24343 505 1 1039.0000 1020.2276 1.84%
1773.42/1779.07 c 1779 24496 516 1 1039.0000 1020.2746 1.84%
1779.98/1785.68 c 1786 24565 523 1 1039.0000 1020.3424 1.83%
1785.66/1791.38 c 1791 24669 539 1 1039.0000 1020.3570 1.83%
1791.65/1797.39 c 1797 24841 563 1 1039.0000 1020.3736 1.83%
1796.83/1802.52 c 1803 24960 570 1 1039.0000 1020.3863 1.82%
1802.21/1807.96 c 1808 25079 575 1 1039.0000 1020.3892 1.82%
1807.31/1813.04 c 1813 25218 582 1 1039.0000 1020.3923 1.82%
1812.48/1818.25 c 1818 25295 591 1 1039.0000 1020.4094 1.82%
1818.38/1824.18 c 1824 25435 603 1 1039.0000 1020.4531 1.82%
1824.15/1829.95 c 1830 25523 617 1 1039.0000 1020.4682 1.82%
1829.73/1835.58 c 1836 25638 628 1 1039.0000 1020.5035 1.81%
1834.92/1840.77 c 1841 25859 631 1 1039.0000 1020.5035 1.81%
1840.50/1846.31 c 1846 26015 637 1 1039.0000 1020.5193 1.81%
1845.98/1851.86 c 1852 26174 648 1 1039.0000 1020.5255 1.81%
1851.37/1857.25 c 1857 26345 653 1 1039.0000 1020.5735 1.81%
1856.95/1862.85 c 1863 26475 661 1 1039.0000 1020.5891 1.80%
1863.83/1869.77 c 1870 26568 680 1 1039.0000 1020.6296 1.80%
1869.41/1875.36 c 1875 26609 685 1 1039.0000 1020.6315 1.80%
1874.69/1880.68 c 1881 26704 696 1 1039.0000 1020.6728 1.80%
1879.79/1885.70 c 1886 26829 703 1 1039.0000 1020.6729 1.80%
1885.37/1891.31 c 1891 26958 712 1 1039.0000 1020.6783 1.80%
1891.25/1897.25 c 1897 27109 725 1 1039.0000 1020.6919 1.79%
1896.33/1902.35 c 1902 27265 739 1 1039.0000 1020.7122 1.79%
1901.52/1907.57 c 1908 27349 753 1 1039.0000 1020.7122 1.79%
1906.60/1912.65 c 1913 27485 759 1 1039.0000 1020.7483 1.79%
1912.09/1918.12 c 1918 27647 763 1 1039.0000 1020.7483 1.79%
1918.47/1924.57 c 1925 27725 757 1 1039.0000 1020.7489 1.79%
1923.85/1929.98 c 1930 27904 764 1 1039.0000 1020.7526 1.79%
1930.93/1937.02 c 1937 28035 769 1 1039.0000 1020.7761 1.79%
1936.50/1942.63 c 1943 28145 779 1 1039.0000 1020.8003 1.78%
1941.68/1947.89 c 1948 28216 798 1 1039.0000 1020.8187 1.78%
1947.07/1953.25 c 1953 28270 806 1 1039.0000 1020.8260 1.78%
1953.35/1959.59 c 1960 28309 809 1 1039.0000 1020.8440 1.78%
1958.63/1964.87 c 1965 28423 813 1 1039.0000 1020.8440 1.78%
1964.02/1970.26 c 1970 28495 813 1 1039.0000 1020.8490 1.78%
1969.81/1976.05 c 1976 28613 817 1 1039.0000 1020.8490 1.78%
1975.48/1981.72 c 1982 28728 826 1 1039.0000 1020.8609 1.78%
1980.47/1986.73 c 1987 28792 842 1 1039.0000 1020.8748 1.78%
1985.46/1991.76 c 1992 28901 845 1 1039.0000 1020.8763 1.78%
1991.24/1997.59 c 1998 28984 854 1 1039.0000 1020.8782 1.78%
1996.62/2002.90 c 2003 29078 858 1 1039.0000 1020.8832 1.77%
2002.81/2009.20 c 2009 29177 865 1 1039.0000 1020.8851 1.77%
2008.79/2015.13 c 2015 29279 873 1 1039.0000 1020.8923 1.77%
2013.97/2020.31 c 2020 29358 872 1 1039.0000 1020.8980 1.77%
2018.96/2025.39 c 2025 29427 877 1 1039.0000 1020.9263 1.77%
2024.34/2030.78 c 2031 29608 882 1 1039.0000 1020.9263 1.77%
2030.02/2036.41 c 2036 29670 886 1 1039.0000 1020.9271 1.77%
2035.31/2041.79 c 2042 29747 891 1 1039.0000 1020.9330 1.77%
2040.60/2047.04 c 2047 29802 892 1 1039.0000 1020.9330 1.77%
2045.77/2052.30 c 2052 29858 894 1 1039.0000 1020.9339 1.77%
2052.05/2058.57 c 2059 29895 895 1 1039.0000 1020.9382 1.77%
2058.33/2064.83 c 2065 29995 901 1 1039.0000 1020.9477 1.77%
2063.81/2070.33 c 2070 30092 908 1 1039.0000 1020.9477 1.77%
2069.51/2076.01 c 2076 30138 910 1 1039.0000 1020.9509 1.77%
2074.59/2081.17 c 2081 30199 913 1 1039.0000 1020.9686 1.77%
2079.87/2086.42 c 2086 30275 919 1 1039.0000 1020.9786 1.77%
2086.15/2092.77 c 2093 30397 921 1 1039.0000 1020.9837 1.76%
2091.63/2098.22 c 2098 30505 927 1 1039.0000 1020.9983 1.76%
2098.31/2104.96 c 2105 30565 931 1 1039.0000 1021.0085 1.76%
2103.50/2110.15 c 2110 30685 939 1 1039.0000 1021.0143 1.76%
2108.49/2115.16 c 2115 30755 949 1 1039.0000 1021.0376 1.76%
2113.96/2120.66 c 2121 30868 954 1 1039.0000 1021.0376 1.76%
2119.95/2126.61 c 2127 30923 973 1 1039.0000 1021.0911 1.75%
2125.63/2132.39 c 2132 30993 979 1 1039.0000 1021.0978 1.75%
2130.71/2137.46 c 2137 31066 978 1 1039.0000 1021.0981 1.75%
2135.80/2142.55 c 2143 31127 985 1 1039.0000 1021.1228 1.75%
2141.68/2148.41 c 2148 31170 988 1 1039.0000 1021.1228 1.75%
2146.96/2153.73 c 2154 31232 986 1 1039.0000 1021.1228 1.75%
2152.83/2159.68 c 2160 31377 987 1 1039.0000 1021.1230 1.75%
2158.71/2165.59 c 2166 31479 997 1 1039.0000 1021.1270 1.75%
2164.40/2171.28 c 2171 31618 1002 1 1039.0000 1021.1463 1.75%
2170.19/2177.01 c 2177 31740 1010 1 1039.0000 1021.1557 1.75%
2175.17/2182.05 c 2182 31776 1014 1 1039.0000 1021.1855 1.74%
2181.34/2188.21 c 2188 31886 1012 1 1039.0000 1021.1855 1.74%
2186.84/2193.74 c 2194 32031 1021 1 1039.0000 1021.1980 1.74%
2193.12/2200.05 c 2200 32156 1030 1 1039.0000 1021.2143 1.74%
2198.99/2205.95 c 2206 32204 1030 1 1039.0000 1021.2143 1.74%
2204.09/2211.08 c 2211 32305 1031 1 1039.0000 1021.2206 1.74%
2210.46/2217.41 c 2217 32356 1042 1 1039.0000 1021.2580 1.74%
2216.05/2223.10 c 2223 32435 1045 1 1039.0000 1021.2580 1.74%
2221.14/2228.19 c 2228 32585 1041 1 1039.0000 1021.2644 1.74%
2226.60/2233.69 c 2234 32744 1052 1 1039.0000 1021.2656 1.74%
2234.29/2241.31 c 2241 32915 1061 1 1039.0000 1021.2867 1.73%
2240.57/2247.68 c 2248 33045 1065 1 1039.0000 1021.2879 1.73%
2245.75/2252.80 c 2253 33173 1071 1 1039.0000 1021.2879 1.73%
2251.63/2258.79 c 2259 33313 1073 1 1039.0000 1021.2893 1.73%
2256.93/2264.11 c 2264 33455 1079 1 1039.0000 1021.2983 1.73%
2262.01/2269.17 c 2269 33571 1085 1 1039.0000 1021.2983 1.73%
2268.08/2275.23 c 2275 33736 1098 1 1039.0000 1021.3016 1.73%
2273.27/2280.41 c 2280 33825 1097 1 1039.0000 1021.3070 1.73%
2278.45/2285.61 c 2286 33948 1104 1 1039.0000 1021.3204 1.73%
2283.95/2291.19 c 2291 34005 1117 1 1039.0000 1021.3309 1.73%
2290.12/2297.38 c 2297 34029 1125 1 1039.0000 1021.3555 1.73%
2296.00/2303.26 c 2303 34194 1132 1 1039.0000 1021.3611 1.73%
2301.89/2309.19 c 2309 34253 1141 1 1039.0000 1021.3683 1.73%
2307.57/2314.83 c 2315 34315 1145 1 1039.0000 1021.3970 1.72%
2313.45/2320.73 c 2321 34445 1151 1 1039.0000 1021.4041 1.72%
2319.63/2326.93 c 2327 34538 1168 1 1039.0000 1021.4160 1.72%
2325.21/2332.51 c 2333 34645 1177 1 1039.0000 1021.4464 1.72%
2330.40/2337.79 c 2338 34740 1188 1 1039.0000 1021.4574 1.72%
2336.48/2343.88 c 2344 34850 1194 1 1039.0000 1021.4577 1.72%
2341.96/2349.32 c 2349 34955 1199 1 1039.0000 1021.4639 1.72%
2347.05/2354.41 c 2354 34995 1213 1 1039.0000 1021.4698 1.72%
2352.83/2360.26 c 2360 35017 1225 1 1039.0000 1021.5007 1.71%
2360.20/2367.67 c 2368 35089 1227 1 1039.0000 1021.5104 1.71%
2365.49/2372.92 c 2373 35215 1227 1 1039.0000 1021.5195 1.71%
2371.37/2378.84 c 2379 35315 1237 1 1039.0000 1021.5380 1.71%
2377.16/2384.64 c 2385 35372 1248 1 1039.0000 1021.5414 1.71%
2382.55/2390.06 c 2390 35488 1248 1 1039.0000 1021.5695 1.71%
2388.31/2395.88 c 2396 35593 1257 1 1039.0000 1021.5729 1.71%
2393.80/2401.30 c 2401 35746 1262 1 1039.0000 1021.5729 1.71%
2400.08/2407.64 c 2408 35775 1265 1 1039.0000 1021.5919 1.70%
2406.06/2413.66 c 2414 35937 1273 1 1039.0000 1021.5970 1.70%
2411.34/2418.90 c 2419 36064 1288 1 1039.0000 1021.5970 1.70%
2416.32/2423.96 c 2424 36146 1304 1 1039.0000 1021.5992 1.70%
2422.01/2429.64 c 2430 36261 1311 1 1039.0000 1021.5992 1.70%
2428.59/2436.21 c 2436 36347 1321 1 1039.0000 1021.6158 1.70%
2433.67/2441.31 c 2441 36501 1321 1 1039.0000 1021.6158 1.70%
2439.65/2447.36 c 2447 36628 1328 1 1039.0000 1021.6236 1.70%
2444.83/2452.58 c 2453 36742 1330 1 1039.0000 1021.6285 1.70%
2450.52/2458.25 c 2458 36869 1343 1 1039.0000 1021.6298 1.70%
2456.70/2464.49 c 2464 37015 1355 1 1039.0000 1021.6393 1.70%
2461.98/2469.74 c 2470 37103 1359 1 1039.0000 1021.6393 1.70%
2467.46/2475.25 c 2475 37249 1371 1 1039.0000 1021.6416 1.70%
2472.94/2480.75 c 2481 37390 1380 1 1039.0000 1021.6497 1.70%
2478.63/2486.49 c 2486 37515 1381 1 1039.0000 1021.6510 1.70%
2484.71/2492.53 c 2493 37691 1389 1 1039.0000 1021.6848 1.69%
2489.89/2497.70 c 2498 37770 1400 1 1039.0000 1021.6889 1.69%
2495.47/2503.30 c 2503 37886 1406 1 1039.0000 1021.7029 1.69%
2500.56/2508.47 c 2508 38061 1411 1 1039.0000 1021.7029 1.69%
2506.15/2514.02 c 2514 38129 1419 1 1039.0000 1021.7172 1.69%
2512.43/2520.37 c 2520 38235 1427 1 1039.0000 1021.7360 1.69%
2518.31/2526.25 c 2526 38335 1431 1 1039.0000 1021.7374 1.69%
2524.21/2532.17 c 2532 38507 1447 1 1039.0000 1021.7538 1.69%
2530.09/2538.06 c 2538 38694 1452 1 1039.0000 1021.7547 1.69%
2536.25/2544.29 c 2544 38797 1461 1 1039.0000 1021.7683 1.69%
2541.44/2549.47 c 2549 38935 1473 1 1039.0000 1021.7836 1.68%
2546.52/2554.56 c 2555 39105 1479 1 1039.0000 1021.7983 1.68%
2552.31/2560.38 c 2560 39239 1501 1 1039.0000 1021.8094 1.68%
2557.89/2565.92 c 2566 39425 1505 1 1039.0000 1021.8250 1.68%
2562.87/2570.95 c 2571 39568 1510 1 1039.0000 1021.8259 1.68%
2568.76/2576.84 c 2577 39640 1516 1 1039.0000 1021.8337 1.68%
2574.05/2582.18 c 2582 39834 1518 1 1039.0000 1021.8337 1.68%
2579.42/2587.54 c 2588 39860 1528 1 1039.0000 1021.8558 1.68%
2585.92/2594.08 c 2594 39945 1529 1 1039.0000 1021.8619 1.68%
2592.19/2600.34 c 2600 40046 1530 1 1039.0000 1021.8660 1.68%
2597.57/2605.71 c 2606 40088 1538 1 1039.0000 1021.8689 1.68%
2603.05/2611.26 c 2611 40244 1536 1 1039.0000 1021.8689 1.68%
2608.13/2616.39 c 2616 40405 1535 1 1039.0000 1021.8689 1.68%
2613.93/2622.13 c 2622 40555 1547 1 1039.0000 1021.8756 1.68%
2619.61/2627.80 c 2628 40655 1551 1 1039.0000 1021.8807 1.68%
2625.09/2633.37 c 2633 40696 1558 1 1039.0000 1021.8834 1.68%
2630.27/2638.59 c 2639 40719 1561 1 1039.0000 1021.8885 1.67%
2635.76/2644.03 c 2644 40841 1565 1 1039.0000 1021.8902 1.67%
2641.43/2649.72 c 2650 40965 1567 1 1039.0000 1021.8970 1.67%
2647.51/2655.88 c 2656 41067 1583 1 1039.0000 1021.9036 1.67%
2653.49/2661.85 c 2662 41192 1586 1 1039.0000 1021.9107 1.67%
2658.78/2667.13 c 2667 41338 1596 1 1039.0000 1021.9132 1.67%
2664.76/2673.11 c 2673 41425 1613 1 1039.0000 1021.9307 1.67%
2669.75/2678.19 c 2678 41610 1612 1 1039.0000 1021.9307 1.67%
2675.42/2683.87 c 2684 41716 1622 1 1039.0000 1021.9582 1.67%
2681.00/2689.45 c 2689 41843 1627 1 1039.0000 1021.9597 1.67%
2686.28/2694.75 c 2695 41919 1637 1 1039.0000 1021.9723 1.67%
2691.68/2700.14 c 2700 41962 1648 1 1039.0000 1021.9807 1.67%
2696.75/2705.26 c 2705 42104 1650 1 1039.0000 1021.9807 1.67%
2702.44/2710.91 c 2711 42215 1659 1 1039.0000 1022.0038 1.66%
2709.41/2717.90 c 2718 42299 1673 1 1039.0000 1022.0038 1.66%
2715.79/2724.40 c 2724 42395 1677 1 1039.0000 1022.0152 1.66%
2720.89/2729.40 c 2729 42463 1687 1 1039.0000 1022.0403 1.66%
2725.97/2734.51 c 2735 42569 1697 1 1039.0000 1022.0432 1.66%
2731.35/2739.98 c 2740 42710 1708 1 1039.0000 1022.0502 1.66%
2737.55/2746.17 c 2746 42808 1718 1 1039.0000 1022.0663 1.66%
2743.43/2752.07 c 2752 42864 1720 1 1039.0000 1022.0663 1.66%
2748.70/2757.37 c 2757 42988 1718 1 1039.0000 1022.0663 1.66%
2754.49/2763.16 c 2763 43085 1719 1 1039.0000 1022.0761 1.66%
2760.16/2768.82 c 2769 43188 1732 1 1039.0000 1022.0826 1.66%
2765.36/2774.10 c 2774 43275 1737 1 1039.0000 1022.0927 1.65%
2770.93/2779.68 c 2780 43415 1743 1 1039.0000 1022.1088 1.65%
2776.33/2785.07 c 2785 43522 1762 1 1039.0000 1022.1133 1.65%
2782.20/2790.91 c 2791 43648 1764 1 1039.0000 1022.1134 1.65%
2787.29/2796.10 c 2796 43818 1762 1 1039.0000 1022.1134 1.65%
2792.76/2801.50 c 2802 43887 1769 1 1039.0000 1022.1218 1.65%
2802.44/2811.27 c 2811 44039 1773 1 1039.0000 1022.1246 1.65%
2807.62/2816.40 c 2816 44231 1765 1 1039.0000 1022.1246 1.65%
2812.60/2821.41 c 2821 44305 1773 1 1039.0000 1022.1375 1.65%
2818.49/2827.32 c 2827 44373 1783 1 1039.0000 1022.1417 1.65%
2823.87/2832.74 c 2833 44431 1795 1 1039.0000 1022.1740 1.65%
2829.06/2837.94 c 2838 44597 1797 1 1039.0000 1022.1740 1.65%
2834.63/2843.57 c 2844 44733 1813 1 1039.0000 1022.2053 1.64%
2840.42/2849.35 c 2849 44858 1818 1 1039.0000 1022.2103 1.64%
2846.00/2854.96 c 2855 44937 1825 1 1039.0000 1022.2204 1.64%
2850.98/2859.99 c 2860 45079 1829 1 1039.0000 1022.2244 1.64%
2856.46/2865.41 c 2865 45195 1835 1 1039.0000 1022.2300 1.64%
2862.35/2871.34 c 2871 45277 1847 1 1039.0000 1022.2341 1.64%
2868.14/2877.18 c 2877 45425 1855 1 1039.0000 1022.2393 1.64%
2874.51/2883.57 c 2884 45469 1861 1 1039.0000 1022.2436 1.64%
2881.89/2890.94 c 2891 45555 1871 1 1039.0000 1022.2490 1.64%
2887.08/2896.19 c 2896 45706 1880 1 1039.0000 1022.2490 1.64%
2892.85/2901.93 c 2902 45885 1883 1 1039.0000 1022.2549 1.64%
2898.34/2907.43 c 2907 45965 1889 1 1039.0000 1022.2564 1.64%
2904.23/2913.30 c 2913 46102 1902 1 1039.0000 1022.2699 1.64%
2909.21/2918.37 c 2918 46261 1907 1 1039.0000 1022.2750 1.64%
2914.59/2923.75 c 2924 46449 1911 1 1039.0000 1022.2751 1.64%
2919.78/2928.93 c 2929 46625 1917 1 1039.0000 1022.2751 1.64%
2925.56/2934.78 c 2935 46701 1929 1 1039.0000 1022.2789 1.64%
2930.74/2940.01 c 2940 46755 1939 1 1039.0000 1022.2877 1.63%
2936.32/2945.54 c 2946 46795 1947 1 1039.0000 1022.3228 1.63%
2941.70/2950.97 c 2951 46923 1963 1 1039.0000 1022.3236 1.63%
2947.28/2956.50 c 2956 47039 1961 1 1039.0000 1022.3236 1.63%
2952.37/2961.63 c 2962 47191 1967 1 1039.0000 1022.3236 1.63%
2957.45/2966.77 c 2967 47395 1965 1 1039.0000 1022.3236 1.63%
2962.94/2972.27 c 2972 47474 1972 1 1039.0000 1022.3307 1.63%
2968.33/2977.65 c 2978 47571 1971 1 1039.0000 1022.3307 1.63%
2974.00/2983.33 c 2983 47653 1981 1 1039.0000 1022.3423 1.63%
2979.19/2988.55 c 2989 47826 1982 1 1039.0000 1022.3423 1.63%
2984.57/2993.99 c 2994 47905 1995 1 1039.0000 1022.3613 1.63%
2989.76/2999.19 c 2999 47999 2005 1 1039.0000 1022.3646 1.63%
2995.34/3004.79 c 3005 48115 2013 1 1039.0000 1022.3765 1.63%
3000.42/3009.85 c 3010 48218 2030 1 1039.0000 1022.3852 1.63%
3006.80/3016.24 c 3016 48348 2042 1 1039.0000 1022.3885 1.62%
3012.38/3021.83 c 3022 48512 2052 1 1039.0000 1022.3935 1.62%
3017.57/3027.02 c 3027 48595 2057 1 1039.0000 1022.3965 1.62%
3022.75/3032.25 c 3032 48733 2067 1 1039.0000 1022.4032 1.62%
3028.03/3037.56 c 3038 48805 2077 1 1039.0000 1022.4278 1.62%
3034.21/3043.73 c 3044 48938 2082 1 1039.0000 1022.4350 1.62%
3041.09/3050.61 c 3051 49096 2086 1 1039.0000 1022.4465 1.62%
3046.08/3055.69 c 3056 49289 2091 1 1039.0000 1022.4465 1.62%
3052.06/3061.63 c 3062 49467 2099 1 1039.0000 1022.4489 1.62%
3057.15/3066.77 c 3067 49561 2105 1 1039.0000 1022.4690 1.62%
3062.23/3071.87 c 3072 49725 2109 1 1039.0000 1022.4898 1.61%
3067.91/3077.55 c 3078 49838 2118 1 1039.0000 1022.4898 1.61%
3073.10/3082.76 c 3083 49929 2125 1 1039.0000 1022.4899 1.61%
3078.08/3087.78 c 3088 50035 2135 1 1039.0000 1022.4918 1.61%
3084.27/3093.95 c 3094 50099 2149 1 1039.0000 1022.4921 1.61%
3089.36/3099.09 c 3099 50206 2148 1 1039.0000 1022.4921 1.61%
3095.03/3104.73 c 3105 50369 2151 1 1039.0000 1022.4974 1.61%
3100.92/3110.65 c 3111 50504 2162 1 1039.0000 1022.5079 1.61%
3106.10/3115.86 c 3116 50554 2168 1 1039.0000 1022.5128 1.61%
3113.87/3123.69 c 3124 50589 2169 1 1039.0000 1022.5129 1.61%
3119.06/3128.84 c 3129 50762 2170 1 1039.0000 1022.5129 1.61%
3125.04/3134.81 c 3135 50858 2176 1 1039.0000 1022.5167 1.61%
3130.12/3139.96 c 3140 50968 2178 1 1039.0000 1022.5175 1.61%
3136.01/3145.81 c 3146 51082 2192 1 1039.0000 1022.5203 1.61%
3141.79/3151.66 c 3152 51158 2194 1 1039.0000 1022.5310 1.61%
3147.67/3157.55 c 3158 51281 2205 1 1039.0000 1022.5331 1.61%
3152.76/3162.60 c 3163 51415 2201 1 1039.0000 1022.5553 1.61%
3158.44/3168.31 c 3168 51466 2206 1 1039.0000 1022.5553 1.61%
3163.72/3173.68 c 3174 51565 2209 1 1039.0000 1022.5736 1.61%
3169.90/3179.84 c 3180 51611 2219 1 1039.0000 1022.5764 1.61%
3175.29/3185.27 c 3185 51775 2227 1 1039.0000 1022.5800 1.61%
3180.97/3190.92 c 3191 51919 2231 1 1039.0000 1022.5800 1.61%
3186.25/3196.27 c 3196 52025 2237 1 1039.0000 1022.5938 1.60%
3191.44/3201.43 c 3201 52145 2243 1 1039.0000 1022.5955 1.60%
3197.13/3207.11 c 3207 52253 2253 1 1039.0000 1022.6052 1.60%
3202.30/3212.38 c 3212 52426 2252 1 1039.0000 1022.6052 1.60%
3207.89/3217.91 c 3218 52565 2251 1 1039.0000 1022.6110 1.60%
3213.08/3223.14 c 3223 52702 2254 1 1039.0000 1022.6110 1.60%
3219.35/3229.42 c 3229 52773 2255 1 1039.0000 1022.6110 1.60%
3224.74/3234.89 c 3235 52870 2260 1 1039.0000 1022.6134 1.60%
3230.22/3240.32 c 3240 53022 2264 1 1039.0000 1022.6134 1.60%
3235.50/3245.68 c 3246 53107 2273 1 1039.0000 1022.6491 1.60%
3240.69/3250.88 c 3251 53235 2285 1 1039.0000 1022.6522 1.60%
3246.67/3256.83 c 3257 53258 2290 1 1039.0000 1022.6522 1.60%
3252.45/3262.62 c 3263 53344 2298 1 1039.0000 1022.6589 1.60%
3257.74/3267.97 c 3268 53446 2308 1 1039.0000 1022.6615 1.60%
3263.42/3273.69 c 3274 53555 2303 1 1039.0000 1022.6616 1.60%
3269.91/3280.19 c 3280 53677 2311 1 1039.0000 1022.6702 1.60%
3276.08/3286.35 c 3286 53716 2320 1 1039.0000 1022.6774 1.60%
3281.37/3291.61 c 3292 53864 2324 1 1039.0000 1022.6786 1.60%
3287.24/3297.57 c 3298 53937 2335 1 1039.0000 1022.6982 1.59%
3292.42/3302.79 c 3303 54065 2343 1 1039.0000 1022.7093 1.59%
3297.61/3307.98 c 3308 54231 2349 1 1039.0000 1022.7093 1.59%
3304.48/3314.82 c 3315 54365 2357 1 1039.0000 1022.7142 1.59%
3309.57/3319.97 c 3320 54445 2363 1 1039.0000 1022.7191 1.59%
3315.05/3325.41 c 3325 54545 2365 1 1039.0000 1022.7199 1.59%
3320.53/3330.97 c 3331 54649 2383 1 1039.0000 1022.7309 1.59%
3326.21/3336.69 c 3337 54801 2387 1 1039.0000 1022.7309 1.59%
3333.70/3344.19 c 3344 54872 2388 1 1039.0000 1022.7309 1.59%
3339.58/3350.06 c 3350 54909 2391 1 1039.0000 1022.7350 1.59%
3345.46/3355.96 c 3356 55031 2395 1 1039.0000 1022.7357 1.59%
3350.74/3361.21 c 3361 55160 2398 1 1039.0000 1022.7357 1.59%
3357.42/3367.90 c 3368 55235 2403 1 1039.0000 1022.7524 1.59%
3363.30/3373.84 c 3374 55323 2415 1 1039.0000 1022.7551 1.59%
3368.88/3379.40 c 3379 55438 2418 1 1039.0000 1022.7641 1.59%
3374.16/3384.71 c 3385 55527 2427 1 1039.0000 1022.7725 1.59%
3379.94/3390.55 c 3391 55616 2444 1 1039.0000 1022.7849 1.59%
3384.93/3395.55 c 3396 55693 2449 1 1039.0000 1022.7871 1.59%
3390.92/3401.57 c 3402 55774 2448 1 1039.0000 1022.7871 1.59%
3396.60/3407.29 c 3407 55906 2450 1 1039.0000 1022.8029 1.58%
3402.39/3413.07 c 3413 56020 2456 1 1039.0000 1022.8213 1.58%
3408.06/3418.75 c 3419 56110 2460 1 1039.0000 1022.8238 1.58%
3413.15/3423.89 c 3424 56244 2462 1 1039.0000 1022.8238 1.58%
3418.53/3429.25 c 3429 56408 2464 1 1039.0000 1022.8294 1.58%
3424.01/3434.73 c 3435 56519 2469 1 1039.0000 1022.8367 1.58%
3429.99/3440.71 c 3441 56618 2476 1 1039.0000 1022.8462 1.58%
3435.57/3446.38 c 3446 56765 2489 1 1039.0000 1022.8533 1.58%
3441.75/3452.55 c 3453 56896 2494 1 1039.0000 1022.8550 1.58%
3447.84/3458.60 c 3459 56991 2503 1 1039.0000 1022.8606 1.58%
3453.43/3464.21 c 3464 57123 2509 1 1039.0000 1022.8655 1.58%
3458.51/3469.37 c 3469 57202 2518 1 1039.0000 1022.8656 1.58%
3463.60/3474.40 c 3474 57271 2529 1 1039.0000 1022.8697 1.58%
3468.98/3479.87 c 3480 57428 2534 1 1039.0000 1022.8698 1.58%
3474.36/3485.28 c 3485 57594 2540 1 1039.0000 1022.8729 1.58%
3479.84/3490.80 c 3491 57757 2545 1 1039.0000 1022.8730 1.58%
3485.53/3496.45 c 3496 57902 2556 1 1039.0000 1022.8735 1.58%
3490.81/3501.74 c 3502 58015 2563 1 1039.0000 1022.8753 1.58%
3495.99/3506.99 c 3507 58109 2571 1 1039.0000 1022.8844 1.58%
3501.27/3512.24 c 3512 58174 2576 1 1039.0000 1022.8845 1.58%
3506.46/3517.45 c 3517 58300 2588 1 1039.0000 1022.9032 1.57%
3512.35/3523.39 c 3523 58412 2594 1 1039.0000 1022.9074 1.57%
3517.53/3528.57 c 3529 58520 2610 1 1039.0000 1022.9314 1.57%
3522.72/3533.79 c 3534 58605 2613 1 1039.0000 1022.9342 1.57%
3528.20/3539.26 c 3539 58675 2621 1 1039.0000 1022.9397 1.57%
3534.18/3545.27 c 3545 58725 2631 1 1039.0000 1022.9478 1.57%
3539.37/3550.41 c 3550 58880 2638 1 1039.0000 1022.9478 1.57%
3545.64/3556.72 c 3557 59035 2647 1 1039.0000 1022.9536 1.57%
3551.43/3562.50 c 3562 59160 2658 1 1039.0000 1022.9611 1.57%
3556.61/3567.79 c 3568 59222 2670 1 1039.0000 1022.9798 1.57%
3562.19/3573.36 c 3573 59306 2670 1 1039.0000 1022.9893 1.57%
3567.58/3578.77 c 3579 59363 2679 1 1039.0000 1022.9900 1.57%
3573.36/3584.58 c 3585 59454 2690 1 1039.0000 1022.9966 1.56%
3578.44/3589.68 c 3590 59635 2685 1 1039.0000 1022.9966 1.56%
3583.72/3595.01 c 3595 59740 2690 1 1039.0000 1023.0029 1.56%
3588.81/3600.06 c SCIP Status : c solving was interrupted [hard time limit reached]
3588.81/3600.06 c Total Time : 3600.06
3588.81/3600.06 c solving : 3600.06
3588.81/3600.06 c presolving : 0.13 (included in solving)
3588.81/3600.06 c B&B Tree :
3588.81/3600.06 c nodes (total) : 1
3588.81/3600.06 c Solution :
3588.81/3600.06 c Solutions found : 16
3588.81/3600.06 c Primal Bound : +1.03900000000000e+03
3588.81/3600.06 c Dual Bound : +1.02300417322394e+03
3588.81/3600.06 c Gap : 1.56361 %
3588.81/3600.06 c * Warning: final gap: 1.56361e-02 is greater than SCIPepsilon: 1.00000e-09
3588.81/3600.06 o 1039
3588.81/3600.06 s SATISFIABLE
3588.81/3600.06 v -x1968 -x1967 x1966 x1965 x1964 x1963 x1962 x1961 -x1960 -x1959 -x1958 x1957 x1956 -x1955 x1954 x1953 x1952 x1951 x1950 -x1949
3588.81/3600.06 v -x1948 -x1947 -x1946 -x1945 -x1944 -x1943 x1942 x1941 x1940 x1939 x1938 -x1937 -x1936 -x1935 -x1934 -x1933 x1932 -x1931 -x1930
3588.81/3600.06 v x1929 -x1928 x1927 -x1926 -x1925 x1924 x1923 -x1922 -x1921 -x1920 x1919 -x1918 x1917 -x1916 -x1915 x1914 x1913 x1912 x1911
3588.81/3600.06 v x1910 x1909 -x1908 x1907 x1906 x1905 x1904 -x1903 -x1902 -x1901 -x1900 -x1899 x1898 -x1897 x1896 x1895 -x1894 x1893 -x1892 x1891
3588.81/3600.06 v -x1890 -x1889 x1888 x1887 x1886 -x1885 x1884 -x1883 x1882 -x1881 x1880 -x1879 -x1878 -x1877 -x1876 -x1875 -x1874 x1873 x1872
3588.81/3600.06 v -x1871 -x1870 -x1869 x1868 x1867 x1866 x1865 x1864 x1863 -x1862 -x1861 -x1860 x1859 -x1858 x1857 -x1856 -x1855 -x1854 x1853
3588.81/3600.06 v -x1852 x1851 -x1850 -x1849 x1848 x1847 x1846 x1845 x1844 -x1843 -x1842 -x1841 -x1840 x1839 x1838 x1837 x1836 x1835 x1834 x1833
3588.81/3600.06 v -x1832 -x1831 -x1830 x1829 x1828 x1827 x1826 -x1825 -x1824 x1823 x1822 -x1821 -x1820 x1819 x1818 x1817 -x1816 -x1815 x1814
3588.81/3600.06 v -x1813 -x1812 x1811 -x1810 x1809 -x1808 -x1807 x1806 -x1805 x1804 x1803 x1802 x1801 -x1800 x1799 x1798 x1797 x1796 x1795 -x1794
3588.81/3600.06 v x1793 -x1792 -x1791 x1790 -x1789 -x1788 x1787 -x1786 x1785 -x1784 x1783 x1782 -x1781 x1780 -x1779 -x1778 x1777 -x1776 -x1775
3588.81/3600.06 v -x1774 x1773 x1772 -x1771 x1770 x1769 x1768 -x1767 -x1766 x1765 x1764 -x1763 x1762 x1761 -x1760 -x1759 -x1758 -x1757 x1756
3588.81/3600.06 v -x1755 -x1754 x1753 -x1752 x1751 -x1750 x1749 x1748 x1747 -x1746 x1745 x1744 -x1743 -x1742 x1741 x1740 x1739 x1738 x1737
3588.81/3600.06 v -x1736 -x1735 -x1734 -x1733 x1732 x1731 x1730 -x1729 x1728 x1727 x1726 x1725 -x1724 x1723 x1722 -x1721 x1720 -x1719 x1718 x1717
3588.81/3600.06 v -x1716 x1715 x1714 x1713 -x1712 -x1711 -x1710 x1709 x1708 -x1707 -x1706 x1705 -x1704 -x1703 -x1702 -x1701 -x1700 x1699 x1698
3588.81/3600.06 v x1697 x1696 x1695 -x1694 -x1693 -x1692 -x1691 -x1690 x1689 -x1688 -x1687 x1686 -x1685 x1684 -x1683 x1682 x1681 x1680 -x1679
3588.81/3600.06 v x1678 -x1677 -x1676 -x1675 -x1674 x1673 x1672 x1671 -x1670 x1669 x1668 x1667 x1666 x1665 x1664 x1663 x1662 x1661 -x1660 x1659
3588.81/3600.06 v x1658 x1657 x1656 x1655 -x1654 x1653 x1652 x1651 x1650 -x1649 x1648 x1647 -x1646 x1645 -x1644 -x1643 x1642 x1641 x1640 -x1639
3588.81/3600.06 v x1638 -x1637 -x1636 -x1635 x1634 x1633 x1632 x1631 x1630 x1629 x1628 x1627 x1626 -x1625 x1624 -x1623 x1622 x1621 x1620 x1619
3588.81/3600.06 v -x1618 -x1617 x1616 x1615 x1614 x1613 -x1612 -x1611 -x1610 -x1609 -x1608 x1607 -x1606 -x1605 -x1604 x1603 x1602 -x1601 x1600
3588.81/3600.06 v -x1599 x1598 -x1597 x1596 x1595 -x1594 -x1593 x1592 -x1591 -x1590 x1589 -x1588 -x1587 x1586 x1585 -x1584 -x1583 -x1582 x1581
3588.81/3600.06 v -x1580 x1579 x1578 x1577 -x1576 -x1575 x1574 x1573 -x1572 -x1571 x1570 -x1569 x1568 x1567 x1566 x1565 x1564 x1563 x1562 x1561
3588.81/3600.06 v x1560 x1559 x1558 x1557 x1556 -x1555 x1554 x1553 -x1552 x1551 -x1550 -x1549 -x1548 -x1547 x1546 x1545 -x1544 -x1543 x1542
3588.81/3600.06 v -x1541 -x1540 -x1539 -x1538 x1537 -x1536 x1535 -x1534 x1533 -x1532 -x1531 x1530 x1529 -x1528 -x1527 x1526 x1525 -x1524 x1523
3588.81/3600.06 v -x1522 -x1521 x1520 x1519 x1518 -x1517 -x1516 -x1515 x1514 x1513 x1512 x1511 x1510 -x1509 -x1508 -x1507 -x1506 x1505 -x1504
3588.81/3600.06 v x1503 x1502 x1501 x1500 x1499 -x1498 -x1497 x1496 -x1495 x1494 x1493 -x1492 x1491 -x1490 -x1489 x1488 x1487 -x1486 -x1485 -x1484
3588.81/3600.06 v -x1483 x1482 x1481 -x1480 -x1479 -x1478 x1477 -x1476 x1475 x1474 x1473 -x1472 x1471 -x1470 x1469 -x1468 -x1467 -x1466 x1465
3588.81/3600.06 v x1464 -x1463 x1462 x1461 x1460 -x1459 -x1458 -x1457 x1456 -x1455 x1454 x1453 x1452 x1451 -x1450 x1449 -x1448 -x1447 x1446
3588.81/3600.06 v -x1445 x1444 -x1443 -x1442 x1441 x1440 -x1439 -x1438 -x1437 x1436 -x1435 -x1434 x1433 x1432 x1431 -x1430 -x1429 x1428 -x1427
3588.81/3600.06 v x1426 x1425 x1424 x1423 -x1422 x1421 -x1420 -x1419 -x1418 -x1417 -x1416 x1415 -x1414 -x1413 x1412 x1411 -x1410 -x1409 -x1408
3588.81/3600.06 v x1407 -x1406 -x1405 x1404 x1403 x1402 x1401 -x1400 -x1399 x1398 -x1397 x1396 x1395 x1394 -x1393 x1392 -x1391 x1390 x1389 x1388
3588.81/3600.06 v x1387 x1386 -x1385 -x1384 x1383 -x1382 x1381 -x1380 x1379 -x1378 -x1377 x1376 -x1375 x1374 x1373 x1372 -x1371 -x1370 -x1369
3588.81/3600.06 v -x1368 -x1367 -x1366 -x1365 x1364 -x1363 x1362 -x1361 x1360 -x1359 -x1358 -x1357 x1356 x1355 x1354 x1353 -x1352 -x1351 -x1350
3588.81/3600.06 v x1349 -x1348 x1347 x1346 -x1345 x1344 x1343 x1342 x1341 x1340 -x1339 x1338 x1337 -x1336 x1335 x1334 -x1333 x1332 x1331 -x1330
3588.81/3600.06 v x1329 -x1328 x1327 x1326 -x1325 -x1324 x1323 -x1322 x1321 -x1320 x1319 -x1318 x1317 -x1316 -x1315 x1314 -x1313 -x1312 x1311
3588.81/3600.06 v -x1310 x1309 x1308 x1307 -x1306 -x1305 x1304 x1303 x1302 x1301 x1300 x1299 x1298 -x1297 -x1296 -x1295 x1294 x1293 x1292 x1291
3588.81/3600.06 v -x1290 x1289 x1288 x1287 x1286 -x1285 x1284 -x1283 -x1282 -x1281 x1280 -x1279 -x1278 x1277 -x1276 x1275 x1274 -x1273 x1272
3588.81/3600.06 v x1271 -x1270 -x1269 -x1268 x1267 x1266 -x1265 -x1264 -x1263 x1262 -x1261 x1260 x1259 -x1258 x1257 x1256 x1255 -x1254 x1253
3588.81/3600.06 v x1252 x1251 -x1250 x1249 x1248 -x1247 x1246 x1245 x1244 x1243 -x1242 x1241 x1240 -x1239 -x1238 -x1237 x1236 -x1235 x1234 x1233
3588.81/3600.06 v -x1232 -x1231 x1230 -x1229 x1228 x1227 x1226 -x1225 -x1224 x1223 x1222 -x1221 x1220 -x1219 x1218 x1217 -x1216 x1215 -x1214
3588.81/3600.06 v x1213 x1212 -x1211 -x1210 -x1209 x1208 -x1207 x1206 -x1205 x1204 -x1203 -x1202 x1201 -x1200 x1199 -x1198 -x1197 -x1196 -x1195
3588.81/3600.06 v -x1194 -x1193 x1192 x1191 x1190 x1189 -x1188 -x1187 -x1186 -x1185 x1184 -x1183 x1182 x1181 x1180 -x1179 -x1178 -x1177 -x1176
3588.81/3600.06 v -x1175 -x1174 x1173 -x1172 -x1171 x1170 -x1169 -x1168 -x1167 x1166 -x1165 -x1164 x1163 -x1162 x1161 -x1160 -x1159 -x1158 -x1157
3588.81/3600.06 v x1156 -x1155 -x1154 -x1153 x1152 x1151 x1150 x1149 -x1148 x1147 x1146 -x1145 -x1144 -x1143 -x1142 x1141 x1140 -x1139 -x1138
3588.81/3600.06 v x1137 x1136 x1135 -x1134 x1133 x1132 -x1131 -x1130 x1129 -x1128 -x1127 -x1126 -x1125 x1124 x1123 x1122 x1121 -x1120 x1119
3588.81/3600.06 v -x1118 x1117 -x1116 x1115 -x1114 -x1113 -x1112 x1111 x1110 -x1109 x1108 x1107 -x1106 -x1105 x1104 x1103 -x1102 -x1101 -x1100
3588.81/3600.06 v -x1099 -x1098 x1097 -x1096 -x1095 x1094 x1093 x1092 -x1091 -x1090 x1089 -x1088 x1087 x1086 x1085 x1084 -x1083 -x1082 x1081 x1080
3588.81/3600.06 v x1079 x1078 x1077 x1076 x1075 x1074 -x1073 x1072 -x1071 -x1070 -x1069 x1068 -x1067 x1066 x1065 -x1064 -x1063 -x1062 x1061
3588.81/3600.06 v x1060 -x1059 x1058 x1057 -x1056 x1055 -x1054 x1053 x1052 -x1051 x1050 x1049 -x1048 x1047 x1046 x1045 -x1044 -x1043 x1042 -x1041
3588.81/3600.06 v -x1040 x1039 x1038 x1037 x1036 -x1035 x1034 x1033 -x1032 x1031 -x1030 x1029 -x1028 x1027 -x1026 -x1025 x1024 x1023 -x1022
3588.81/3600.06 v x1021 -x1020 -x1019 -x1018 -x1017 -x1016 -x1015 x1014 -x1013 -x1012 x1011 x1010 -x1009 -x1008 -x1007 x1006 x1005 -x1004 -x1003
3588.81/3600.06 v -x1002 x1001 x1000 -x999 -x998 -x997 -x996 -x995 -x994 x993 x992 x991 -x990 -x989 x988 -x987 -x986 -x985 -x984 -x983 x982
3588.81/3600.06 v -x981 x980 -x979 x978 -x977 x976 -x975 -x974 x973 x972 -x971 -x970 -x969 x968 x967 -x966 -x965 x964 -x963 x962 x961 x960 -x959
3588.81/3600.06 v -x958 x957 -x956 x955 x954 -x953 x952 x951 -x950 -x949 -x948 x947 -x946 -x945 x944 -x943 x942 x941 -x940 -x939 x938 -x937 x936
3588.81/3600.06 v x935 x934 x933 -x932 x931 x930 -x929 x928 x927 x926 x925 x924 x923 -x922 -x921 x920 -x919 x918 x917 x916 x915 x914 -x913
3588.81/3600.06 v x912 x911 -x910 x909 x908 -x907 -x906 -x905 x904 -x903 x902 x901 x900 x899 x898 -x897 x896 -x895 x894 -x893 x892 -x891 -x890
3588.81/3600.06 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.81/3600.06 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.81/3600.06 v x842 -x841 -x840 -x839 -x838 -x837 x836 x835 -x834 x833 x832 x831 -x830 -x829 x828 -x827 x826 -x825 -x824 x823 x822 x821
3588.81/3600.06 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.81/3600.06 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.81/3600.06 v x774 x773 -x772 -x771 -x770 -x769 x768 -x767 -x766 -x765 x764 x763 x762 -x761 x760 x759 -x758 x757 x756 x755 x754 x753 -x752
3588.81/3600.06 v x751 x750 -x749 -x748 x747 x746 x745 -x744 -x743 -x742 x741 x740 x739 x738 x737 x736 -x735 x734 x733 -x732 x731 -x730 x729 x728
3588.81/3600.06 v -x727 -x726 x725 x724 x723 -x722 -x721 x720 x719 -x718 x717 -x716 -x715 x714 -x713 -x712 x711 x710 x709 -x708 x707 -x706
3588.81/3600.06 v x705 -x704 -x703 x702 x701 x700 -x699 -x698 x697 -x696 -x695 x694 x693 x692 x691 -x690 -x689 -x688 -x687 x686 x685 -x684 x683
3588.81/3600.07 v -x682 x681 -x680 x679 x678 x677 x676 -x675 -x674 -x673 x672 -x671 -x670 -x669 -x668 x667 x666 -x665 x664 -x663 x662 -x661 -x660
3588.81/3600.07 v -x659 x658 x657 x656 -x655 -x654 x653 -x652 -x651 -x650 x649 x648 -x647 x646 -x645 -x644 x643 x642 -x641 x640 x639 -x638
3588.81/3600.07 v -x637 -x636 -x635 x634 -x633 -x632 -x631 -x630 -x629 -x628 x627 x626 -x625 -x624 -x623 x622 -x621 -x620 x619 -x618 x617 x616
3588.81/3600.07 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.81/3600.07 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.81/3600.07 v -x569 -x568 -x567 x566 x565 -x564 x563 x562 x561 x560 -x559 -x558 x557 x556 x555 x554 -x553 x552 -x551 x550 -x549 x548 -x547
3588.81/3600.07 v x546 x545 -x544 -x543 -x542 -x541 x540 x539 x538 x537 -x536 -x535 -x534 -x533 x532 x531 -x530 -x529 x528 x527 -x526 -x525
3588.81/3600.07 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.81/3600.07 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.81/3600.07 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.81/3600.07 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.81/3600.07 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.81/3600.07 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.81/3600.07 v -x384 -x383 -x382 -x381 -x380 -x379 x378 -x377 x376 -x375 x374 -x373 -x372 x371 -x370 x369 x368 -x367 -x366 -x365 -x364 -x363
3588.81/3600.07 v x362 -x361 x360 x359 x358 -x357 x356 -x355 -x354 -x353 -x352 x351 -x350 x349 x348 -x347 x346 -x345 -x344 x343 -x342 x341 -x340
3588.81/3600.07 v x339 x338 x337 x336 -x335 -x334 x333 -x332 x331 -x330 -x329 -x328 x327 -x326 x325 x324 x323 -x322 -x321 -x320 -x319 -x318
3588.81/3600.07 v x317 x316 x315 x314 -x313 -x312 -x311 -x310 -x309 -x308 x307 -x306 -x305 -x304 -x303 -x302 -x301 x300 x299 x298 x297 x296 -x295
3588.81/3600.07 v -x294 x293 -x292 x291 -x290 x289 x288 x287 x286 -x285 -x284 x283 x282 x281 -x280 x279 x278 x277 x276 -x275 x274 x273 x272
3588.81/3600.07 v x271 x270 x269 x268 x267 x266 -x265 -x264 -x263 x262 x261 -x260 -x259 x258 x257 -x256 -x255 -x254 -x253 -x252 -x251 -x250 -x249
3588.81/3600.07 v -x248 x247 -x246 -x245 -x244 -x243 -x242 -x241 -x240 x239 -x238 x237 x236 x235 x234 -x233 x232 x231 x230 x229 x228 x227 x226
3588.81/3600.07 v -x225 x224 -x223 -x222 -x221 -x220 -x219 x218 x217 -x216 x215 x214 x213 -x212 x211 -x210 x209 x208 -x207 x206 x205 -x204
3588.81/3600.07 v x203 x202 x201 x200 -x199 x198 x197 x196 x195 -x194 x193 -x192 x191 x190 -x189 -x188 -x187 -x186 -x185 x184 x183 -x182 x181 -x180
3588.81/3600.07 v x179 x178 x177 x176 x175 -x174 -x173 x172 x171 -x170 -x169 -x168 -x167 -x166 x165 -x164 -x163 -x162 x161 -x160 -x159 x158
3588.81/3600.07 v -x157 -x156 x155 x154 x153 x152 x151 x150 x149 x148 x147 x146 -x145 -x144 -x143 -x142 x141 x140 -x139 x138 -x137 -x136 x135
3588.81/3600.07 v x134 -x133 x132 -x131 -x130 -x129 -x128 -x127 x126 -x125 -x124 x123 x122 -x121 x120 -x119 x118 -x117 x116 x115 -x114 x113 x112
3588.81/3600.07 v -x111 -x110 x109 x108 x107 x106 x105 -x104 x103 x102 x101 -x100 x99 x98 -x97 -x96 x95 -x94 -x93 -x92 -x91 x90 -x89 -x88 -x87
3588.81/3600.07 v -x86 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
3588.81/3600.07 v x59 -x58 -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.81/3600.07 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
3588.81/3600.07 v 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: 64059 MiB (62379 MiB free)
memory of node 1: 64510 MiB (63309 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4434654-1721081341/watcher-4434654-1721081341 -o /tmp/evaluation-result-4434654-1721081341/solver-4434654-1721081341 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1721081354-814854 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4434654-1721081341.opb -qsol -t 3600 -sth 1
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=814888, runsolver pid=814885
[startup+0.100916 s]*
/proc/loadavg: 3.58 3.98 4.07 5/236 814904
/proc/meminfo: memFree=128688324/131655788 swapFree=131071996/131071996
[pid=814888] ppid=814885 vsize=38080 memory=27408 CPUtime=0.1 cores=0,2
/proc/814888/stat : 814888 (fscip) R 814885 814888 814844 0 -1 4194304 4628 0 0 0 9 1 0 0 20 0 1 0 160290836 38993920 6852 134679101440 4194304 16613245 140732519519184 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 45457408 140732519527445 140732519527561 140732519527561 140732519534576 0
/proc/814888/statm: 9520 6852 2686 3032 0 5920 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 38080 KiB
Current children cumulated memory: 27408 KiB
[startup+0.213913 s]*
/proc/loadavg: 3.58 3.98 4.07 7/250 814921
/proc/meminfo: memFree=128626752/131655788 swapFree=131071996/131071996
[pid=814888] ppid=814885 vsize=129064 memory=41112 CPUtime=0.21 cores=0,2
/proc/814888/stat : 814888 (fscip) R 814885 814888 814844 0 -1 1077936128 8647 0 0 0 19 2 0 0 20 0 3 0 160290836 132161536 10278 134679101440 4194304 16613245 140732519519184 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 45457408 140732519527445 140732519527561 140732519527561 140732519534576 0
/proc/814888/statm: 32266 10278 2782 3032 0 14168 0
[pid=814888/tid=814920] ppid=814885 vsize=129064 memory=7598223999084920963 CPUtime=0.03 cores=0,2
/proc/814888/task/814920/stat : 814920 (fscip) R 814885 814888 814844 0 -1 4194368 2566 0 0 0 3 0 0 0 20 0 3 0 160290853 132161536 10278 134679101440 4194304 16613245 140732519519184 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 45457408 140732519527445 140732519527561 140732519527561 140732519534576 0
[pid=814888/tid=814921] ppid=814885 vsize=129064 memory=5822 CPUtime=0 cores=0,2
/proc/814888/task/814921/stat : 814921 (fscip) S 814885 814888 814844 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 160290856 132161536 10278 134679101440 4194304 16613245 140732519519184 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 45457408 140732519527445 140732519527561 140732519527561 140732519534576 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 129064 KiB
Current children cumulated memory: 41112 KiB
[startup+0.313807 s]*
/proc/loadavg: 3.58 3.98 4.07 5/255 814926
/proc/meminfo: memFree=128589116/131655788 swapFree=131071996/131071996
[pid=814888] ppid=814885 vsize=131116 memory=48352 CPUtime=0.31 cores=0,2
/proc/814888/stat : 814888 (fscip) S 814885 814888 814844 0 -1 1077936128 10475 0 0 0 29 2 0 0 20 0 3 0 160290836 134262784 12088 134679101440 4194304 16613245 140732519519184 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 45457408 140732519527445 140732519527561 140732519527561 140732519534576 0
/proc/814888/statm: 32779 12088 2814 3032 0 15992 0
[pid=814888/tid=814920] ppid=814885 vsize=131116 memory=-6656716543027755879 CPUtime=0.13 cores=0,2
/proc/814888/task/814920/stat : 814920 (fscip) R 814885 814888 814844 0 -1 4194368 4351 0 0 0 12 1 0 0 20 0 3 0 160290853 134262784 12088 134679101440 4194304 16613245 140732519519184 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 45457408 140732519527445 140732519527561 140732519527561 140732519534576 0
[pid=814888/tid=814921] ppid=814885 vsize=131116 memory=0 CPUtime=0 cores=0,2
/proc/814888/task/814921/stat : 814921 (fscip) S 814885 814888 814844 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 160290856 134262784 12088 134679101440 4194304 16613245 140732519519184 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 45457408 140732519527445 140732519527561 140732519527561 140732519534576 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 131116 KiB
Current children cumulated memory: 48352 KiB
[startup+0.700369 s]
/proc/loadavg: 3.58 3.98 4.07 8/257 814928
/proc/meminfo: memFree=128536952/131655788 swapFree=131071996/131071996
[pid=814888] ppid=814885 vsize=132140 memory=52324 CPUtime=0.69 cores=0,2
/proc/814888/stat : 814888 (fscip) S 814885 814888 814844 0 -1 1077936128 11384 0 0 0 66 3 0 0 20 0 3 0 160290836 135311360 13081 134679101440 4194304 16613245 140732519519184 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 45457408 140732519527445 140732519527561 140732519527561 140732519534576 0
/proc/814888/statm: 33035 13081 2894 3032 0 16915 0
[pid=814888/tid=814920] ppid=814885 vsize=132140 memory=0 CPUtime=0.5 cores=0,2
/proc/814888/task/814920/stat : 814920 (fscip) R 814885 814888 814844 0 -1 4194368 5260 0 0 0 49 1 0 0 20 0 3 0 160290853 135311360 13081 134679101440 4194304 16613245 140732519519184 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 45457408 140732519527445 140732519527561 140732519527561 140732519534576 0
[pid=814888/tid=814921] ppid=814885 vsize=132140 memory=0 CPUtime=0 cores=0,2
/proc/814888/task/814921/stat : 814921 (fscip) S 814885 814888 814844 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 160290856 135311360 13081 134679101440 4194304 16613245 140732519519184 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 45457408 140732519527445 140732519527561 140732519527561 140732519534576 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 132140 KiB
Current children cumulated memory: 52324 KiB
[startup+1.50037 s]
/proc/loadavg: 3.58 3.98 4.07 5/256 814929
/proc/meminfo: memFree=128527396/131655788 swapFree=131071996/131071996
[pid=814888] ppid=814885 vsize=133596 memory=57192 CPUtime=1.48 cores=0,2
/proc/814888/stat : 814888 (fscip) S 814885 814888 814844 0 -1 1077936128 15881 0 0 0 144 4 0 0 20 0 3 0 160290836 136802304 14298 134679101440 4194304 16613245 140732519519184 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 45457408 140732519527445 140732519527561 140732519527561 140732519534576 0
/proc/814888/statm: 33399 14298 2910 3032 0 18212 0
[pid=814888/tid=814920] ppid=814885 vsize=133596 memory=0 CPUtime=1.3 cores=0,2
/proc/814888/task/814920/stat : 814920 (fscip) R 814885 814888 814844 0 -1 4194368 9752 0 0 0 128 2 0 0 20 0 3 0 160290853 136802304 14298 134679101440 4194304 16613245 140732519519184 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 45457408 140732519527445 140732519527561 140732519527561 140732519534576 0
[pid=814888/tid=814921] ppid=814885 vsize=133596 memory=132 CPUtime=0 cores=0,2
/proc/814888/task/814921/stat : 814921 (fscip) S 814885 814888 814844 0 -1 1077936192 5 0 0 0 0 0 0 0 20 0 3 0 160290856 136802304 14298 134679101440 4194304 16613245 140732519519184 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 45457408 140732519527445 140732519527561 140732519527561 140732519534576 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 133596 KiB
Current children cumulated memory: 57192 KiB
[startup+3.11296 s]
/proc/loadavg: 3.61 3.98 4.07 5/256 814929
/proc/meminfo: memFree=128480976/131655788 swapFree=131071996/131071996
[pid=814888] ppid=814885 vsize=134916 memory=66836 CPUtime=3.08 cores=0,2
/proc/814888/stat : 814888 (fscip) S 814885 814888 814844 0 -1 1077936128 18478 0 0 0 304 4 0 0 20 0 3 0 160290836 138153984 16709 134679101440 4194304 16613245 140732519519184 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 45457408 140732519527445 140732519527561 140732519527561 140732519534576 0
/proc/814888/statm: 33729 16709 2910 3032 0 20760 0
[pid=814888/tid=814920] ppid=814885 vsize=134916 memory=0 CPUtime=2.9 cores=0,2
/proc/814888/task/814920/stat : 814920 (fscip) R 814885 814888 814844 0 -1 4194368 12349 0 0 0 288 2 0 0 20 0 3 0 160290853 138153984 16709 134679101440 4194304 16613245 140732519519184 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 45457408 140732519527445 140732519527561 140732519527561 140732519534576 0
[pid=814888/tid=814921] ppid=814885 vsize=134916 memory=52324 CPUtime=0 cores=0,2
/proc/814888/task/814921/stat : 814921 (fscip) S 814885 814888 814844 0 -1 1077936192 5 0 0 0 0 0 0 0 20 0 3 0 160290856 138153984 16709 134679101440 4194304 16613245 140732519519184 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 45457408 140732519527445 140732519527561 140732519527561 140732519534576 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 134916 KiB
Current children cumulated memory: 66836 KiB
[startup+6.30037 s]
/proc/loadavg: 3.61 3.98 4.07 5/256 814929
/proc/meminfo: memFree=128325576/131655788 swapFree=131071996/131071996
[pid=814888] ppid=814885 vsize=169136 memory=108728 CPUtime=6.26 cores=0,2
/proc/814888/stat : 814888 (fscip) S 814885 814888 814844 0 -1 1077936128 40108 0 0 0 620 6 0 0 20 0 3 0 160290836 173195264 27182 134679101440 4194304 16613245 140732519519184 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 45457408 140732519527445 140732519527561 140732519527561 140732519534576 0
/proc/814888/statm: 42284 27182 2910 3032 0 31698 0
[pid=814888/tid=814920] ppid=814885 vsize=169136 memory=52324 CPUtime=6.07 cores=0,2
/proc/814888/task/814920/stat : 814920 (fscip) R 814885 814888 814844 0 -1 4194368 33972 0 0 0 603 4 0 0 20 0 3 0 160290853 173195264 27182 134679101440 4194304 16613245 140732519519184 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 45457408 140732519527445 140732519527561 140732519527561 140732519534576 0
[pid=814888/tid=814921] ppid=814885 vsize=169136 memory=0 CPUtime=0 cores=0,2
/proc/814888/task/814921/stat : 814921 (fscip) S 814885 814888 814844 0 -1 1077936192 12 0 0 0 0 0 0 0 20 0 3 0 160290856 173195264 27182 134679101440 4194304 16613245 140732519519184 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 45457408 140732519527445 140732519527561 140732519527561 140732519534576 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 169136 KiB
Current children cumulated memory: 108728 KiB
[startup+12.7004 s]
/proc/loadavg: 3.64 3.98 4.07 5/256 814930
/proc/meminfo: memFree=128108304/131655788 swapFree=131071996/131071996
[pid=814888] ppid=814885 vsize=198740 memory=164132 CPUtime=12.63 cores=0,2
/proc/814888/stat : 814888 (fscip) S 814885 814888 814844 0 -1 1077936128 76405 0 0 0 1254 9 0 0 20 0 3 0 160290836 203509760 41033 134679101440 4194304 16613245 140732519519184 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 45457408 140732519527445 140732519527561 140732519527561 140732519534576 0
/proc/814888/statm: 49685 41033 2910 3032 0 46081 0
[pid=814888/tid=814920] ppid=814885 vsize=198740 memory=0 CPUtime=12.46 cores=0,2
/proc/814888/task/814920/stat : 814920 (fscip) R 814885 814888 814844 0 -1 4194368 70267 0 0 0 1238 8 0 0 20 0 3 0 160290853 203509760 41033 134679101440 4194304 16613245 140732519519184 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 45457408 140732519527445 140732519527561 140732519527561 140732519534576 0
[pid=814888/tid=814921] ppid=814885 vsize=198740 memory=155072 CPUtime=0 cores=0,2
/proc/814888/task/814921/stat : 814921 (fscip) S 814885 814888 814844 0 -1 1077936192 14 0 0 0 0 0 0 0 20 0 3 0 160290856 203509760 41033 134679101440 4194304 16613245 140732519519184 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 45457408 140732519527445 140732519527561 140732519527561 140732519534576 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 198740 KiB
Current children cumulated memory: 164132 KiB
[startup+25.5003 s]
/proc/loadavg: 3.80 4.00 4.07 5/256 814932
/proc/meminfo: memFree=128098376/131655788 swapFree=131071996/131071996
[pid=814888] ppid=814885 vsize=198740 memory=165480 CPUtime=25.39 cores=0,2
/proc/814888/stat : 814888 (fscip) S 814885 814888 814844 0 -1 1077936128 98929 0 0 0 2529 10 0 0 20 0 3 0 160290836 203509760 41370 134679101440 4194304 16613245 140732519519184 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 45457408 140732519527445 140732519527561 140732519527561 140732519534576 0
/proc/814888/statm: 49685 41370 2958 3032 0 46081 0
[pid=814888/tid=814920] ppid=814885 vsize=198740 memory=164436 CPUtime=25.21 cores=0,2
/proc/814888/task/814920/stat : 814920 (fscip) R 814885 814888 814844 0 -1 4194368 92710 0 0 0 2512 9 0 0 20 0 3 0 160290853 203509760 41370 134679101440 4194304 16613245 140732519519184 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 45457408 140732519527445 140732519527561 140732519527561 140732519534576 0
[pid=814888/tid=814921] ppid=814885 vsize=198740 memory=113420 CPUtime=0 cores=0,2
/proc/814888/task/814921/stat : 814921 (fscip) S 814885 814888 814844 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 3 0 160290856 203509760 41370 134679101440 4194304 16613245 140732519519184 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 45457408 140732519527445 140732519527561 140732519527561 140732519534576 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 198740 KiB
Current children cumulated memory: 165480 KiB
[startup+51.1129 s]
/proc/loadavg: 3.87 4.00 4.07 5/256 814937
/proc/meminfo: memFree=127883768/131655788 swapFree=131071996/131071996
[pid=814888] ppid=814885 vsize=267792 memory=223472 CPUtime=50.92 cores=0,2
/proc/814888/stat : 814888 (fscip) S 814885 814888 814844 0 -1 1077936128 156029 0 0 0 5076 16 0 0 20 0 3 0 160290836 274219008 55868 134679101440 4194304 16613245 140732519519184 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 45457408 140732519527445 140732519527561 140732519527561 140732519534576 0
/proc/814888/statm: 66948 55868 2958 3032 0 62511 0
[pid=814888/tid=814920] ppid=814885 vsize=267792 memory=213840 CPUtime=50.73 cores=0,2
/proc/814888/task/814920/stat : 814920 (fscip) R 814885 814888 814844 0 -1 4194368 149219 0 0 0 5059 14 0 0 20 0 3 0 160290853 274219008 55868 134679101440 4194304 16613245 140732519519184 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 45457408 140732519527445 140732519527561 140732519527561 140732519534576 0
[pid=814888/tid=814921] ppid=814885 vsize=267792 memory=199860 CPUtime=0 cores=0,2
/proc/814888/task/814921/stat : 814921 (fscip) S 814885 814888 814844 0 -1 1077936192 35 0 0 0 0 0 0 0 20 0 3 0 160290856 274219008 55868 134679101440 4194304 16613245 140732519519184 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 45457408 140732519527445 140732519527561 140732519527561 140732519534576 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 267792 KiB
Current children cumulated memory: 223472 KiB
[startup+102.3 s]
/proc/loadavg: 4.07 4.03 4.07 5/258 815236
/proc/meminfo: memFree=127790876/131655788 swapFree=131071996/131071996
[pid=814888] ppid=814885 vsize=328760 memory=273584 CPUtime=101.93 cores=0,2
/proc/814888/stat : 814888 (fscip) S 814885 814888 814844 0 -1 1077936128 232937 0 0 0 10171 22 0 0 20 0 3 0 160290836 336650240 68396 134679101440 4194304 16613245 140732519519184 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 45457408 140732519527445 140732519527561 140732519527561 140732519534576 0
/proc/814888/statm: 82190 68396 2974 3032 0 73960 0
[pid=814888/tid=814920] ppid=814885 vsize=328760 memory=6720665463002774384 CPUtime=101.74 cores=0,2
/proc/814888/task/814920/stat : 814920 (fscip) R 814885 814888 814844 0 -1 4194368 226060 0 0 0 10154 20 0 0 20 0 3 0 160290853 336650240 68396 134679101440 4194304 16613245 140732519519184 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 45457408 140732519527445 140732519527561 140732519527561 140732519534576 0
[pid=814888/tid=814921] ppid=814885 vsize=328760 memory=268652 CPUtime=0 cores=0,2
/proc/814888/task/814921/stat : 814921 (fscip) S 814885 814888 814844 0 -1 1077936192 39 0 0 0 0 0 0 0 20 0 3 0 160290856 336650240 68396 134679101440 4194304 16613245 140732519519184 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 45457408 140732519527445 140732519527561 140732519527561 140732519534576 0
Current children cumulated CPU time: 101.93 s
Current children cumulated vsize: 328760 KiB
Current children cumulated memory: 273584 KiB
[startup+162.3 s]
/proc/loadavg: 4.09 4.04 4.07 5/258 815246
/proc/meminfo: memFree=127561840/131655788 swapFree=131071996/131071996
[pid=814888] ppid=814885 vsize=399472 memory=336292 CPUtime=161.74 cores=0,2
/proc/814888/stat : 814888 (fscip) S 814885 814888 814844 0 -1 1077936128 281896 0 0 0 16147 27 0 0 20 0 3 0 160290836 409059328 84073 134679101440 4194304 16613245 140732519519184 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 45457408 140732519527445 140732519527561 140732519527561 140732519534576 0
/proc/814888/statm: 99868 84073 2974 3032 0 89929 0
[pid=814888/tid=814920] ppid=814885 vsize=399472 memory=11408 CPUtime=161.54 cores=0,2
/proc/814888/task/814920/stat : 814920 (fscip) R 814885 814888 814844 0 -1 4194368 274967 0 0 0 16129 25 0 0 20 0 3 0 160290853 409059328 84073 134679101440 4194304 16613245 140732519519184 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 45457408 140732519527445 140732519527561 140732519527561 140732519534576 0
[pid=814888/tid=814921] ppid=814885 vsize=399472 memory=336256 CPUtime=0 cores=0,2
/proc/814888/task/814921/stat : 814921 (fscip) S 814885 814888 814844 0 -1 1077936192 45 0 0 0 0 0 0 0 20 0 3 0 160290856 409059328 84073 134679101440 4194304 16613245 140732519519184 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 45457408 140732519527445 140732519527561 140732519527561 140732519534576 0
Current children cumulated CPU time: 161.74 s
Current children cumulated vsize: 399472 KiB
Current children cumulated memory: 336292 KiB
[startup+222.3 s]
/proc/loadavg: 4.08 4.04 4.07 5/257 815257
################
# More data... #
################
/proc/814888/statm: 150890 142157 2974 3032 0 144686 0
[pid=814888/tid=814920] ppid=814885 vsize=603560 memory=568168 CPUtime=3391.25 cores=0,2
/proc/814888/task/814920/stat : 814920 (fscip) R 814885 814888 814844 0 -1 4194368 1039208 0 0 0 339028 97 0 0 20 0 3 0 160290853 618045440 142157 134679101440 4194304 16613245 140732519519184 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 45457408 140732519527445 140732519527561 140732519527561 140732519534576 0
[pid=814888/tid=814921] ppid=814885 vsize=603560 memory=568168 CPUtime=0.04 cores=0,2
/proc/814888/task/814921/stat : 814921 (fscip) S 814885 814888 814844 0 -1 1077936192 163 0 0 0 1 3 0 0 20 0 3 0 160290856 618045440 142157 134679101440 4194304 16613245 140732519519184 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 45457408 140732519527445 140732519527561 140732519527561 140732519534576 0
Current children cumulated CPU time: 3391.71 s
Current children cumulated vsize: 603560 KiB
Current children cumulated memory: 568628 KiB
[startup+3462.3 s]
/proc/loadavg: 4.23 4.14 4.10 5/250 817021
/proc/meminfo: memFree=126472164/131655788 swapFree=131071996/131071996
[pid=814888] ppid=814885 vsize=603560 memory=568860 CPUtime=3451.53 cores=0,2
/proc/814888/stat : 814888 (fscip) S 814885 814888 814844 0 -1 1077936128 1053140 0 0 0 345042 111 0 0 20 0 3 0 160290836 618045440 142215 134679101440 4194304 16613245 140732519519184 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 45457408 140732519527445 140732519527561 140732519527561 140732519534576 0
/proc/814888/statm: 150890 142215 2974 3032 0 144686 0
[pid=814888/tid=814920] ppid=814885 vsize=603560 memory=568168 CPUtime=3451.06 cores=0,2
/proc/814888/task/814920/stat : 814920 (fscip) R 814885 814888 814844 0 -1 4194368 1045190 0 0 0 345008 98 0 0 20 0 3 0 160290853 618045440 142215 134679101440 4194304 16613245 140732519519184 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 45457408 140732519527445 140732519527561 140732519527561 140732519534576 0
[pid=814888/tid=814921] ppid=814885 vsize=603560 memory=11408 CPUtime=0.04 cores=0,2
/proc/814888/task/814921/stat : 814921 (fscip) S 814885 814888 814844 0 -1 1077936192 165 0 0 0 1 3 0 0 20 0 3 0 160290856 618045440 142215 134679101440 4194304 16613245 140732519519184 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 45457408 140732519527445 140732519527561 140732519527561 140732519534576 0
Current children cumulated CPU time: 3451.53 s
Current children cumulated vsize: 603560 KiB
Current children cumulated memory: 568860 KiB
[startup+3522.3 s]
/proc/loadavg: 4.15 4.12 4.09 5/251 817032
/proc/meminfo: memFree=126471828/131655788 swapFree=131071996/131071996
[pid=814888] ppid=814885 vsize=603560 memory=568860 CPUtime=3511.35 cores=0,2
/proc/814888/stat : 814888 (fscip) S 814885 814888 814844 0 -1 1077936128 1054848 0 0 0 351023 112 0 0 20 0 3 0 160290836 618045440 142215 134679101440 4194304 16613245 140732519519184 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 45457408 140732519527445 140732519527561 140732519527561 140732519534576 0
/proc/814888/statm: 150890 142215 2974 3032 0 144686 0
[pid=814888/tid=814920] ppid=814885 vsize=603560 memory=568860 CPUtime=3510.87 cores=0,2
/proc/814888/task/814920/stat : 814920 (fscip) R 814885 814888 814844 0 -1 4194368 1046882 0 0 0 350989 98 0 0 20 0 3 0 160290853 618045440 142215 134679101440 4194304 16613245 140732519519184 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 45457408 140732519527445 140732519527561 140732519527561 140732519534576 0
[pid=814888/tid=814921] ppid=814885 vsize=603560 memory=6720665463002774384 CPUtime=0.04 cores=0,2
/proc/814888/task/814921/stat : 814921 (fscip) S 814885 814888 814844 0 -1 1077936192 167 0 0 0 1 3 0 0 20 0 3 0 160290856 618045440 142215 134679101440 4194304 16613245 140732519519184 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 45457408 140732519527445 140732519527561 140732519527561 140732519534576 0
Current children cumulated CPU time: 3511.35 s
Current children cumulated vsize: 603560 KiB
Current children cumulated memory: 568860 KiB
[startup+3582.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/251 817042
/proc/meminfo: memFree=126470368/131655788 swapFree=131071996/131071996
[pid=814888] ppid=814885 vsize=603560 memory=569004 CPUtime=3571.17 cores=0,2
/proc/814888/stat : 814888 (fscip) S 814885 814888 814844 0 -1 1077936128 1060281 0 0 0 357004 113 0 0 20 0 3 0 160290836 618045440 142251 134679101440 4194304 16613245 140732519519184 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 45457408 140732519527445 140732519527561 140732519527561 140732519534576 0
/proc/814888/statm: 150890 142251 2974 3032 0 144686 0
[pid=814888/tid=814920] ppid=814885 vsize=603560 memory=569004 CPUtime=3570.68 cores=0,2
/proc/814888/task/814920/stat : 814920 (fscip) R 814885 814888 814844 0 -1 4194368 1052298 0 0 0 356969 99 0 0 20 0 3 0 160290853 618045440 142251 134679101440 4194304 16613245 140732519519184 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 45457408 140732519527445 140732519527561 140732519527561 140732519534576 0
[pid=814888/tid=814921] ppid=814885 vsize=603560 memory=11408 CPUtime=0.04 cores=0,2
/proc/814888/task/814921/stat : 814921 (fscip) S 814885 814888 814844 0 -1 1077936192 169 0 0 0 1 3 0 0 20 0 3 0 160290856 618045440 142251 134679101440 4194304 16613245 140732519519184 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 45457408 140732519527445 140732519527561 140732519527561 140732519534576 0
Current children cumulated CPU time: 3571.17 s
Current children cumulated vsize: 603560 KiB
Current children cumulated memory: 569004 KiB
[startup+3600.08 s]
# the end of solver process 814888 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3587.75 s, system=1.14306 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.17 4.13 4.10 5/251 817042
/proc/meminfo: memFree=126470388/131655788 swapFree=131071996/131071996
[pid=814888] ppid=814885 vsize=603560 memory=569004 CPUtime=3572.88 cores=0,2
/proc/814888/stat : 814888 (fscip) S 814885 814888 814844 0 -1 1077936128 1060284 0 0 0 357175 113 0 0 20 0 3 0 160290836 618045440 142251 134679101440 4194304 16613245 140732519519184 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 45457408 140732519527445 140732519527561 140732519527561 140732519534576 0
/proc/814888/statm: 150890 142251 2974 3032 0 144686 0
[pid=814888/tid=814920] ppid=814885 vsize=603560 memory=569004 CPUtime=3572.39 cores=0,2
/proc/814888/task/814920/stat : 814920 (fscip) R 814885 814888 814844 0 -1 4194368 1052301 0 0 0 357140 99 0 0 20 0 3 0 160290853 618045440 142251 134679101440 4194304 16613245 140732519519184 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 45457408 140732519527445 140732519527561 140732519527561 140732519534576 0
[pid=814888/tid=814921] ppid=814885 vsize=603560 memory=7681903499814411419 CPUtime=0.04 cores=0,2
/proc/814888/task/814921/stat : 814921 (fscip) S 814885 814888 814844 0 -1 1077936192 169 0 0 0 1 3 0 0 20 0 3 0 160290856 618045440 142251 134679101440 4194304 16613245 140732519519184 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 45457408 140732519527445 140732519527561 140732519527561 140732519534576 0
Current children cumulated CPU time: 3572.88 s
Current children cumulated vsize: 603560 KiB
Current children cumulated memory: 569004 KiB
[startup+3590.4 s]
/proc/loadavg: 4.16 4.13 4.09 5/251 817043
/proc/meminfo: memFree=126470336/131655788 swapFree=131071996/131071996
[pid=814888] ppid=814885 vsize=603560 memory=569004 CPUtime=3579.24 cores=0,2
/proc/814888/stat : 814888 (fscip) S 814885 814888 814844 0 -1 1077936128 1060290 0 0 0 357811 113 0 0 20 0 3 0 160290836 618045440 142251 134679101440 4194304 16613245 140732519519184 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 45457408 140732519527445 140732519527561 140732519527561 140732519534576 0
/proc/814888/statm: 150890 142251 2974 3032 0 144686 0
[pid=814888/tid=814920] ppid=814885 vsize=603560 memory=569004 CPUtime=3578.75 cores=0,2
/proc/814888/task/814920/stat : 814920 (fscip) R 814885 814888 814844 0 -1 4194368 1052307 0 0 0 357776 99 0 0 20 0 3 0 160290853 618045440 142251 134679101440 4194304 16613245 140732519519184 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 45457408 140732519527445 140732519527561 140732519527561 140732519534576 0
[pid=814888/tid=814921] ppid=814885 vsize=603560 memory=11408 CPUtime=0.04 cores=0,2
/proc/814888/task/814921/stat : 814921 (fscip) S 814885 814888 814844 0 -1 1077936192 169 0 0 0 1 3 0 0 20 0 3 0 160290856 618045440 142251 134679101440 4194304 16613245 140732519519184 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 45457408 140732519527445 140732519527561 140732519527561 140732519534576 0
Current children cumulated CPU time: 3579.24 s
Current children cumulated vsize: 603560 KiB
Current children cumulated memory: 569004 KiB
[startup+3596.8 s]
/proc/loadavg: 4.15 4.12 4.09 5/251 817045
/proc/meminfo: memFree=126470276/131655788 swapFree=131071996/131071996
[pid=814888] ppid=814885 vsize=603560 memory=569004 CPUtime=3585.62 cores=0,2
/proc/814888/stat : 814888 (fscip) S 814885 814888 814844 0 -1 1077936128 1060298 0 0 0 358449 113 0 0 20 0 3 0 160290836 618045440 142251 134679101440 4194304 16613245 140732519519184 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 45457408 140732519527445 140732519527561 140732519527561 140732519534576 0
/proc/814888/statm: 150890 142251 2974 3032 0 144686 0
[pid=814888/tid=814920] ppid=814885 vsize=603560 memory=569004 CPUtime=3585.13 cores=0,2
/proc/814888/task/814920/stat : 814920 (fscip) R 814885 814888 814844 0 -1 4194368 1052315 0 0 0 358414 99 0 0 20 0 3 0 160290853 618045440 142251 134679101440 4194304 16613245 140732519519184 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 45457408 140732519527445 140732519527561 140732519527561 140732519534576 0
[pid=814888/tid=814921] ppid=814885 vsize=603560 memory=569004 CPUtime=0.04 cores=0,2
/proc/814888/task/814921/stat : 814921 (fscip) S 814885 814888 814844 0 -1 1077936192 169 0 0 0 1 3 0 0 20 0 3 0 160290856 618045440 142251 134679101440 4194304 16613245 140732519519184 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 45457408 140732519527445 140732519527561 140732519527561 140732519534576 0
Current children cumulated CPU time: 3585.62 s
Current children cumulated vsize: 603560 KiB
Current children cumulated memory: 569004 KiB
[startup+3598.4 s]
/proc/loadavg: 4.13 4.12 4.09 5/251 817045
/proc/meminfo: memFree=126470304/131655788 swapFree=131071996/131071996
[pid=814888] ppid=814885 vsize=603560 memory=569004 CPUtime=3587.21 cores=0,2
/proc/814888/stat : 814888 (fscip) S 814885 814888 814844 0 -1 1077936128 1062361 0 0 0 358608 113 0 0 20 0 3 0 160290836 618045440 142251 134679101440 4194304 16613245 140732519519184 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 45457408 140732519527445 140732519527561 140732519527561 140732519534576 0
/proc/814888/statm: 150890 142251 2974 3032 0 144686 0
[pid=814888/tid=814920] ppid=814885 vsize=603560 memory=40964 CPUtime=3586.72 cores=0,2
/proc/814888/task/814920/stat : 814920 (fscip) R 814885 814888 814844 0 -1 4194368 1054378 0 0 0 358573 99 0 0 20 0 3 0 160290853 618045440 142251 134679101440 4194304 16613245 140732519519184 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 45457408 140732519527445 140732519527561 140732519527561 140732519534576 0
[pid=814888/tid=814921] ppid=814885 vsize=603560 memory=569004 CPUtime=0.04 cores=0,2
/proc/814888/task/814921/stat : 814921 (fscip) S 814885 814888 814844 0 -1 1077936192 169 0 0 0 1 3 0 0 20 0 3 0 160290856 618045440 142251 134679101440 4194304 16613245 140732519519184 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 45457408 140732519527445 140732519527561 140732519527561 140732519534576 0
Current children cumulated CPU time: 3587.21 s
Current children cumulated vsize: 603560 KiB
Current children cumulated memory: 569004 KiB
[startup+3599.2 s]
/proc/loadavg: 4.13 4.12 4.09 5/251 817045
/proc/meminfo: memFree=126470192/131655788 swapFree=131071996/131071996
[pid=814888] ppid=814885 vsize=603560 memory=569004 CPUtime=3588 cores=0,2
/proc/814888/stat : 814888 (fscip) S 814885 814888 814844 0 -1 1077936128 1062491 0 0 0 358687 113 0 0 20 0 3 0 160290836 618045440 142251 134679101440 4194304 16613245 140732519519184 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 45457408 140732519527445 140732519527561 140732519527561 140732519534576 0
/proc/814888/statm: 150890 142251 2974 3032 0 144686 0
[pid=814888/tid=814920] ppid=814885 vsize=603560 memory=2288 CPUtime=3587.51 cores=0,2
/proc/814888/task/814920/stat : 814920 (fscip) R 814885 814888 814844 0 -1 4194368 1054498 0 0 0 358652 99 0 0 20 0 3 0 160290853 618045440 142251 134679101440 4194304 16613245 140732519519184 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 45457408 140732519527445 140732519527561 140732519527561 140732519534576 0
[pid=814888/tid=814921] ppid=814885 vsize=603560 memory=26520 CPUtime=0.04 cores=0,2
/proc/814888/task/814921/stat : 814921 (fscip) S 814885 814888 814844 0 -1 1077936192 173 0 0 0 1 3 0 0 20 0 3 0 160290856 618045440 142251 134679101440 4194304 16613245 140732519519184 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 45457408 140732519527445 140732519527561 140732519527561 140732519534576 0
Current children cumulated CPU time: 3588 s
Current children cumulated vsize: 603560 KiB
Current children cumulated memory: 569004 KiB
[startup+3599.6 s]
/proc/loadavg: 4.13 4.12 4.09 5/251 817045
/proc/meminfo: memFree=126470192/131655788 swapFree=131071996/131071996
[pid=814888] ppid=814885 vsize=603560 memory=569004 CPUtime=3588.4 cores=0,2
/proc/814888/stat : 814888 (fscip) S 814885 814888 814844 0 -1 1077936128 1062495 0 0 0 358727 113 0 0 20 0 3 0 160290836 618045440 142251 134679101440 4194304 16613245 140732519519184 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 45457408 140732519527445 140732519527561 140732519527561 140732519534576 0
/proc/814888/statm: 150890 142251 2974 3032 0 144686 0
[pid=814888/tid=814920] ppid=814885 vsize=603560 memory=40964 CPUtime=3587.91 cores=0,2
/proc/814888/task/814920/stat : 814920 (fscip) R 814885 814888 814844 0 -1 4194368 1054502 0 0 0 358692 99 0 0 20 0 3 0 160290853 618045440 142251 134679101440 4194304 16613245 140732519519184 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 45457408 140732519527445 140732519527561 140732519527561 140732519534576 0
[pid=814888/tid=814921] ppid=814885 vsize=603560 memory=12724 CPUtime=0.04 cores=0,2
/proc/814888/task/814921/stat : 814921 (fscip) S 814885 814888 814844 0 -1 1077936192 173 0 0 0 1 3 0 0 20 0 3 0 160290856 618045440 142251 134679101440 4194304 16613245 140732519519184 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 45457408 140732519527445 140732519527561 140732519527561 140732519534576 0
Current children cumulated CPU time: 3588.4 s
Current children cumulated vsize: 603560 KiB
Current children cumulated memory: 569004 KiB
[startup+3600 s]*
/proc/loadavg: 4.13 4.12 4.09 5/251 817045
/proc/meminfo: memFree=126470292/131655788 swapFree=131071996/131071996
[pid=814888] ppid=814885 vsize=603560 memory=569004 CPUtime=3588.81 cores=0,2
/proc/814888/stat : 814888 (fscip) S 814885 814888 814844 0 -1 1077936128 1062577 0 0 0 358768 113 0 0 20 0 3 0 160290836 618045440 142251 134679101440 4194304 16613245 140732519519184 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 45457408 140732519527445 140732519527561 140732519527561 140732519534576 0
/proc/814888/statm: 150890 142251 2974 3032 0 144686 0
[pid=814888/tid=814920] ppid=814885 vsize=603560 memory=6720665432954780528 CPUtime=3588.32 cores=0,2
/proc/814888/task/814920/stat : 814920 (fscip) R 814885 814888 814844 0 -1 4194368 1054583 0 0 0 358733 99 0 0 20 0 3 0 160290853 618045440 142251 134679101440 4194304 16613245 140732519519184 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 45457408 140732519527445 140732519527561 140732519527561 140732519534576 0
[pid=814888/tid=814921] ppid=814885 vsize=603560 memory=7681903499814411419 CPUtime=0.04 cores=0,2
/proc/814888/task/814921/stat : 814921 (fscip) S 814885 814888 814844 0 -1 1077936192 173 0 0 0 1 3 0 0 20 0 3 0 160290856 618045440 142251 134679101440 4194304 16613245 140732519519184 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 45457408 140732519527445 140732519527561 140732519527561 140732519534576 0
Current children cumulated CPU time: 3588.81 s
Current children cumulated vsize: 603560 KiB
Current children cumulated memory: 569004 KiB
Child status: 0
Real time (s): 3600.08
CPU time (s): 3588.89
CPU user time (s): 3587.75
CPU system time (s): 1.14306
CPU usage (%): 99.6892
Max. virtual memory (cumulated for all children) (KiB): 603560
Max. memory (cumulated for all children) (KiB): 569004
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3587.75
system time used= 1.14306
maximum resident set size= 569004
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1063381
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= 9726
involuntary context switches= 25085
# summary of solver processes directly reported to runsolver:
# pid: 814888
# total CPU time (s): 3588.89
# total CPU user time (s): 3587.75
# total CPU system time (s): 1.14306
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.126 second user time and 34.587 second system time
The end
Begin job on nodeC007 at 2024-07-16 00:09:14
IDJOB=4434654
IDBENCH=147524
IDSOLVER=3064
FILE ID=nodeC007/4434654-1721081341
RUNJOBID= nodeC007-1721081354-814854
SLURM_JOB_ID= 7505557
Free space on /tmp= 723784 MiB
SOLVER NAME= FiberSCIP 2024-07-02
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-4434654-1721081341/watcher-4434654-1721081341 -o /tmp/evaluation-result-4434654-1721081341/solver-4434654-1721081341 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1721081354-814854 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4434654-1721081341.opb -qsol -t 3600 -sth 1
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 3986604c534c992b7a4e3e5a4bb881f1
RANDOM SEED=1171985619
nodeC007.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3470.735
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.25
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.137
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.30
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.135
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.25
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.135
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.30
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.138
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.25
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.136
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.30
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.136
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.25
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.135
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.30
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131655788 kB
MemFree: 128705564 kB
MemAvailable: 129942844 kB
Buffers: 380476 kB
Cached: 1688452 kB
SwapCached: 0 kB
Active: 679460 kB
Inactive: 1725692 kB
Active(anon): 1348 kB
Inactive(anon): 372576 kB
Active(file): 678112 kB
Inactive(file): 1353116 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 112716 kB
Writeback: 20 kB
AnonPages: 336244 kB
Mapped: 103552 kB
Shmem: 37704 kB
KReclaimable: 92164 kB
Slab: 187768 kB
SReclaimable: 92164 kB
SUnreclaim: 95604 kB
KernelStack: 3616 kB
PageTables: 10008 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196899888 kB
Committed_AS: 678372 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 51328 kB
HardwareCorrupted: 0 kB
AnonHugePages: 208896 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: 248648 kB
DirectMap2M: 22724608 kB
DirectMap1G: 113246208 kB
Free space on /tmp at the end= 723672 MiB
End job on nodeC007 at 2024-07-16 01:09:15