0.00/0.00 c The following solver is parallelized by UG version 1.0.0 [GitHash: e6e2b6ff-dirty]
0.00/0.00 c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.1.1] [GitHash: 020d91813d]
0.00/0.00 c Copyright (c) 2002-2024 Zuse Institute Berlin (ZIB)
0.00/0.00 c External libraries:
0.00/0.00 c Soplex 7.1.1 Linear Programming Solver developed at Zuse Institute Berlin (soplex.zib.de) [GitHash: b4905e82]
0.00/0.00 c CppAD 20180000.0 Algorithmic Differentiation of C++ algorithms developed by B. Bell (github.com/coin-or/CppAD)
0.00/0.00 c AMPL/MP 690e9e7 AMPL .nl file reader library (github.com/ampl/mp)
0.00/0.00 c PaPILO 2.4.0 parallel presolve for integer and linear optimization (github.com/scipopt/papilo)
0.00/0.00 c Nauty 2.8.8 Computing Graph Automorphism Groups by Brendan D. McKay (users.cecs.anu.edu.au/~bdm/nauty)
0.00/0.00 c sassy 1.1 Symmetry preprocessor by Markus Anders (github.com/markusa4/sassy)
0.29/0.33 c Default LC presolving (default).
0.29/0.33 c ** Before presolving: virtualMemUsedAtLc = 249559155, getVmSize() = 171851776, SCIPgetMemUsed() = 136371553, SCIPgetMemTotal() = 143214937, SCIPgetMemExternEstim() = 106344218
0.29/0.33 c ** set memory limit for presolving in LC to 8.79602e+12 for SCIP **
62.96/63.29 c ** Estimated virtualMemUsedAtSolver = 294437838, getVmSize() = 470163456, SCIPgetMemUsed() = 253802187, SCIPgetMemTotal() = 335312539, SCIPgetMemExternEstim() = 106344218
62.96/63.29 c ** set memory limit for solvers to 4.39804e+12 for each SCIP **
62.96/63.29 c Original Problem :
62.96/63.29 c Problem name : instance-4465006-1722390185
62.96/63.29 c Variables : 40402 (40402 binary, 0 integer, 0 implicit integer, 0 continuous)
62.96/63.29 c Constraints : 75038
62.96/63.29 c Objective sense : minimize
62.96/63.29 c Presolved Problem :
62.96/63.29 c Variables : 3459 (3459 binary, 0 integer, 0 implicit integer, 0 continuous)
62.96/63.29 c Constraints : 35456
62.96/63.29 c Constraints : Number
62.96/63.29 c setppc : 29007
62.96/63.29 c linear : 563
62.96/63.29 c logicor : 5564
62.96/63.29 c indicator : 322
62.96/63.29 c ** Instance transfer method used: 0
63.06/63.36 c ** ParaScipInstance copy does not increase the number of variables. **
63.15/63.42 c LC is working with racing ramp-up and with rebuilding tree after racing.
63.15/63.42 c Nodes Active
63.15/63.42 c Time Nodes Left Solvers Best Integer Best Node Gap Best Node(S) Gap(S)
300.69/301.67 c * 302 0 1 1 515597.0000 - -
300.69/301.67 c 302 0 1 1 515597.0000 - -
300.88/301.81 c * 302 0 1 1 507592.0000 - -
301.78/302.73 c * 303 0 1 1 498598.0000 - -
324.93/325.90 c 326 2 1 1 498598.0000 444588.1991 12.15%
330.51/331.50 c 332 9 8 1 498598.0000 445535.2442 11.91%
336.60/337.62 c 338 18 17 1 498598.0000 445833.3593 11.84%
342.29/343.32 c 343 24 23 1 498598.0000 446063.0220 11.78%
349.76/350.89 c 351 29 28 1 498598.0000 446063.0220 11.78%
355.24/356.38 c 356 34 33 1 498598.0000 446063.0220 11.78%
360.42/361.54 c 362 40 39 1 498598.0000 446063.0220 11.78%
366.40/367.51 c 368 47 46 1 498598.0000 446147.3371 11.76%
372.58/373.72 c 374 54 53 1 498598.0000 446147.3371 11.76%
378.66/379.84 c 380 61 60 1 498598.0000 446147.3371 11.76%
384.64/385.84 c 386 66 65 1 498598.0000 446147.3371 11.76%
389.83/391.02 c 391 71 70 1 498598.0000 446147.3371 11.76%
394.90/396.17 c * 396 77 76 1 479608.0000 446147.3371 7.50%
394.90/396.17 c 396 77 76 1 479608.0000 446147.3371 7.50%
395.01/396.26 c * 396 77 76 1 479607.0000 446147.3371 7.50%
398.80/400.05 c * 400 94 93 1 477593.0000 446147.3371 7.05%
399.29/400.58 c * 401 94 93 1 477591.0000 446147.3371 7.05%
400.59/401.82 c * 402 102 101 1 473599.0000 446147.3371 6.15%
400.59/401.82 c 402 102 101 1 473599.0000 446147.3371 6.15%
400.69/401.92 c * 402 107 106 1 471599.0000 446147.3371 5.70%
410.05/411.35 c 411 161 152 1 471599.0000 446147.3371 5.70%
416.03/417.32 c 417 187 176 1 471599.0000 446214.2078 5.69%
422.01/423.33 c 423 226 201 1 471599.0000 446214.2078 5.69%
427.09/428.48 c 428 250 223 1 471599.0000 446414.8871 5.64%
432.47/433.86 c 434 268 235 1 471599.0000 446528.2610 5.61%
438.16/439.51 c 440 300 261 1 471599.0000 446528.2610 5.61%
440.85/442.28 c * 442 305 264 1 471590.0000 446528.2610 5.61%
444.34/445.73 c 446 315 270 1 471590.0000 446609.6648 5.59%
452.50/453.94 c 454 338 293 1 471590.0000 446789.0259 5.55%
458.18/459.64 c 460 373 328 1 471590.0000 446789.0259 5.55%
463.36/464.86 c 465 401 356 1 471590.0000 446789.0259 5.55%
469.24/470.73 c 471 433 388 1 471590.0000 446789.0259 5.55%
475.42/476.91 c 477 478 433 1 471590.0000 446789.0259 5.55%
480.11/481.63 c * 482 505 460 1 469576.0000 446789.0259 5.10%
481.61/483.11 c 483 515 417 1 469576.0000 446789.0259 5.10%
485.50/487.04 c * 487 533 435 1 467603.0000 446789.0259 4.66%
486.19/487.73 c * 488 533 435 1 467595.0000 446789.0259 4.66%
487.59/489.16 c 489 547 404 1 467595.0000 446789.0259 4.66%
494.36/495.93 c 496 577 434 1 467595.0000 446789.0259 4.66%
499.84/501.47 c 501 616 473 1 467595.0000 446789.0259 4.66%
502.33/503.99 c * 504 627 482 1 465594.0000 446789.0259 4.21%
505.22/506.86 c 507 652 408 1 465594.0000 446999.9704 4.16%
511.91/513.50 c 514 698 438 1 465594.0000 446999.9704 4.16%
515.69/517.38 c * 517 704 442 1 463590.0000 446999.9704 3.71%
516.88/518.52 c 519 709 364 1 463590.0000 446999.9704 3.71%
521.27/522.99 c * 523 745 384 1 461653.0000 446999.9704 3.28%
521.47/523.19 c * 523 745 384 1 461651.0000 446999.9704 3.28%
521.77/523.45 c * 523 745 384 1 461640.0000 446999.9704 3.28%
522.27/523.96 c * 524 757 311 1 461627.0000 446999.9704 3.27%
522.27/523.96 c 524 757 311 1 461627.0000 446999.9704 3.27%
522.37/524.08 c * 524 757 311 1 461615.0000 446999.9704 3.27%
522.77/524.49 c * 524 757 311 1 461608.0000 446999.9704 3.27%
523.26/524.92 c * 525 777 330 1 461602.0000 446999.9704 3.27%
523.26/524.94 c * 525 777 330 1 461601.0000 446999.9704 3.27%
523.38/525.07 c * 525 777 330 1 461583.0000 446999.9704 3.26%
524.67/526.37 c * 526 832 342 1 461582.0000 446999.9704 3.26%
528.15/529.86 c 530 1005 372 1 461582.0000 446999.9704 3.26%
533.33/535.03 c 535 1106 403 1 461582.0000 447132.9525 3.23%
538.71/540.48 c 540 1175 412 1 461582.0000 447132.9525 3.23%
544.68/546.47 c 546 1354 421 1 461582.0000 447262.4646 3.20%
549.77/551.57 c 552 1442 431 1 461582.0000 447389.6781 3.17%
555.74/557.50 c 558 1592 457 1 461582.0000 447456.8500 3.16%
561.33/563.15 c 563 1734 475 1 461582.0000 447456.8500 3.16%
567.10/568.92 c 569 1827 494 1 461582.0000 447491.1233 3.15%
572.68/574.52 c 575 1892 503 1 461582.0000 447724.1898 3.10%
578.57/580.48 c 580 1968 507 1 461582.0000 447767.6759 3.09%
584.64/586.54 c 587 2052 519 1 461582.0000 447780.8512 3.08%
590.12/592.04 c 592 2132 535 1 461582.0000 447781.7095 3.08%
595.30/597.21 c 597 2281 536 1 461582.0000 447781.7512 3.08%
600.28/602.26 c 602 2310 549 1 461582.0000 447862.0815 3.06%
605.76/607.78 c 608 2402 557 1 461582.0000 448281.8345 2.97%
611.25/613.25 c 613 2483 578 1 461582.0000 448444.2230 2.93%
626.89/628.94 c 629 2633 0 1 461582.0000 450007.7044 2.57%
632.38/634.45 c 634 2643 10 1 461582.0000 450035.7462 2.57%
639.45/641.58 c 642 2647 14 1 461582.0000 450038.4076 2.57%
645.63/647.70 c 648 2685 52 1 461582.0000 450038.4076 2.57%
651.11/653.23 c 653 2720 87 1 461582.0000 450038.4076 2.57%
656.79/659.00 c 659 2762 129 1 461582.0000 450040.7038 2.56%
662.28/664.40 c 664 2792 159 1 461582.0000 450138.6142 2.54%
667.56/669.71 c 670 2830 197 1 461582.0000 450379.1163 2.49%
673.43/675.67 c 676 2883 250 1 461582.0000 450411.9428 2.48%
678.82/681.01 c 681 2927 292 1 461582.0000 450480.1888 2.46%
684.80/687.02 c 687 2994 335 1 461582.0000 450489.2541 2.46%
690.79/693.08 c 693 3037 358 1 461582.0000 450490.5890 2.46%
697.25/699.56 c 700 3069 378 1 461582.0000 450490.5890 2.46%
702.84/705.12 c 705 3122 421 1 461582.0000 450490.5890 2.46%
708.61/710.95 c 711 3161 444 1 461582.0000 450490.5890 2.46%
714.19/716.56 c 717 3218 493 1 461582.0000 450490.5890 2.46%
719.98/722.35 c 722 3283 530 1 461582.0000 450490.5890 2.46%
725.06/727.48 c 727 3337 570 1 461582.0000 450490.5890 2.46%
730.94/733.32 c 733 3388 601 1 461582.0000 450523.3676 2.45%
736.02/738.45 c 738 3393 606 1 461582.0000 450523.3676 2.45%
742.00/744.49 c 744 3439 652 1 461582.0000 450590.4515 2.44%
747.48/749.97 c 750 3484 689 1 461582.0000 450600.1706 2.44%
752.97/755.41 c 755 3534 717 1 461582.0000 450634.1804 2.43%
758.05/760.59 c 761 3571 738 1 461582.0000 450637.1016 2.43%
763.82/766.32 c 766 3614 759 1 461582.0000 450646.6756 2.43%
769.51/772.03 c 772 3644 763 1 461582.0000 450646.6756 2.43%
775.29/777.85 c 778 3652 771 1 461582.0000 450646.6756 2.43%
780.96/783.56 c 784 3663 782 1 461582.0000 450646.6756 2.43%
784.05/786.66 c * 787 3670 789 1 461579.0000 450646.6756 2.43%
784.16/786.74 c * 787 3670 789 1 461578.0000 450646.6756 2.43%
784.36/786.90 c * 787 3670 789 1 461576.0000 450646.6756 2.43%
784.66/787.21 c * 787 3670 789 1 461575.0000 450646.6756 2.43%
784.76/787.31 c * 787 3680 789 1 461574.0000 450646.6756 2.42%
786.25/788.85 c 789 3694 792 1 461574.0000 450692.7084 2.41%
791.54/794.15 c 794 3834 822 1 461574.0000 450785.4475 2.39%
796.62/799.28 c 799 3964 854 1 461574.0000 451008.7924 2.34%
802.40/805.04 c 805 4091 879 1 461574.0000 451157.3273 2.31%
807.97/810.64 c 811 4234 898 1 461574.0000 451193.7144 2.30%
813.46/816.19 c 816 4344 924 1 461574.0000 451241.7489 2.29%
815.15/817.89 c * 818 4364 934 1 461573.0000 451268.1540 2.28%
818.53/821.24 c 821 4428 941 1 461573.0000 451292.2971 2.28%
820.34/823.07 c * 823 4453 948 1 461572.0000 451292.2971 2.28%
828.11/830.83 c 831 4506 946 1 461572.0000 451293.9920 2.28%
834.08/836.86 c 837 4703 961 1 461572.0000 451302.9128 2.28%
839.95/842.78 c 843 4858 992 1 461572.0000 451370.4613 2.26%
845.73/848.56 c 849 5015 1005 1 461572.0000 451379.1814 2.26%
851.70/854.56 c 855 5156 1012 1 461572.0000 451394.9586 2.25%
857.08/859.93 c 860 5381 1027 1 461572.0000 451396.4519 2.25%
862.17/865.04 c 865 5534 1040 1 461572.0000 451413.9119 2.25%
868.04/870.94 c 871 5753 1063 1 461572.0000 451463.1922 2.24%
873.62/876.56 c 877 5965 1093 1 461572.0000 451514.6356 2.23%
879.29/882.29 c 882 6189 1117 1 461572.0000 451557.5520 2.22%
884.87/887.84 c 888 6408 1126 1 461572.0000 451590.7072 2.21%
890.95/893.95 c 894 6644 1138 1 461572.0000 451606.6689 2.21%
896.73/899.76 c 900 6922 1152 1 461572.0000 451608.2874 2.21%
901.80/904.83 c 905 7163 1160 1 461572.0000 451615.0535 2.20%
907.68/910.78 c 911 7334 1173 1 461572.0000 451626.7380 2.20%
912.96/916.05 c 916 7464 1204 1 461572.0000 451661.7894 2.19%
918.34/921.50 c 922 7716 1214 1 461572.0000 451682.0620 2.19%
924.22/927.36 c 927 7995 1227 1 461572.0000 451686.1755 2.19%
929.30/932.44 c 932 8158 1246 1 461572.0000 451697.3143 2.19%
934.38/937.53 c 938 8364 1264 1 461572.0000 451758.3668 2.17%
939.56/942.79 c 943 8554 1290 1 461572.0000 451779.3607 2.17%
945.55/948.75 c 949 8761 1333 1 461572.0000 451807.2296 2.16%
951.52/954.73 c 955 8975 1361 1 461572.0000 451816.8815 2.16%
957.20/960.43 c 960 9059 1371 1 461572.0000 451824.8319 2.16%
962.48/965.79 c 966 9313 1377 1 461572.0000 451847.5447 2.15%
968.45/971.75 c 972 9497 1399 1 461572.0000 451852.8084 2.15%
973.43/976.76 c 977 9740 1410 1 461572.0000 451869.3932 2.15%
979.31/982.64 c 983 9998 1410 1 461572.0000 451877.8463 2.15%
984.89/988.28 c 988 10264 1428 1 461572.0000 451885.9825 2.14%
990.47/993.86 c 994 10524 1458 1 461572.0000 451903.4682 2.14%
995.55/998.99 c 999 10714 1486 1 461572.0000 451915.1321 2.14%
1001.33/1004.74 c 1005 11014 1518 1 461572.0000 451945.2260 2.13%
1007.71/1011.12 c 1011 11128 1532 1 461572.0000 451948.3954 2.13%
1012.88/1016.33 c 1016 11379 1543 1 461572.0000 451958.4466 2.13%
1018.46/1021.94 c 1022 11554 1566 1 461572.0000 452003.0531 2.12%
1023.84/1027.33 c 1027 11734 1596 1 461572.0000 452007.0691 2.12%
1029.22/1032.79 c 1033 11924 1620 1 461572.0000 452035.3075 2.11%
1034.61/1038.17 c 1038 12124 1650 1 461572.0000 452051.1227 2.11%
1039.68/1043.22 c 1043 12356 1664 1 461572.0000 452060.7243 2.10%
1045.07/1048.68 c 1049 12614 1678 1 461572.0000 452071.7092 2.10%
1050.74/1054.36 c 1054 12714 1674 1 461572.0000 452072.9577 2.10%
1056.53/1060.13 c 1060 12866 1682 1 461572.0000 452089.9963 2.10%
1061.60/1065.21 c 1065 12997 1703 1 461572.0000 452095.9312 2.10%
1066.77/1070.46 c 1070 13065 1711 1 461572.0000 452096.0922 2.10%
1072.65/1076.36 c 1076 13151 1723 1 461572.0000 452097.0846 2.10%
1078.62/1082.32 c 1082 13219 1729 1 461572.0000 452099.1966 2.10%
1084.00/1087.79 c 1088 13345 1730 1 461572.0000 452099.9750 2.10%
1089.38/1093.14 c 1093 13484 1738 1 461572.0000 452106.6042 2.09%
1094.75/1098.57 c 1099 13609 1753 1 461572.0000 452113.8081 2.09%
1100.73/1104.54 c 1105 13737 1767 1 461572.0000 452113.8081 2.09%
1106.41/1110.24 c 1110 13888 1782 1 461572.0000 452113.8081 2.09%
1111.78/1115.63 c 1116 14030 1792 1 461572.0000 452113.8081 2.09%
1117.46/1121.35 c 1121 14188 1810 1 461572.0000 452113.8081 2.09%
1124.53/1128.41 c 1128 14277 1821 1 461572.0000 452113.8081 2.09%
1129.71/1133.65 c 1134 14428 1828 1 461572.0000 452127.7864 2.09%
1134.79/1138.73 c 1139 14560 1840 1 461572.0000 452130.3824 2.09%
1140.08/1144.09 c 1144 14790 1840 1 461572.0000 452130.3824 2.09%
1145.95/1149.97 c 1150 14950 1874 1 461572.0000 452155.1055 2.08%
1151.73/1155.74 c 1156 15168 1884 1 461572.0000 452166.2129 2.08%
1156.80/1160.80 c 1161 15374 1902 1 461572.0000 452187.4475 2.08%
1162.09/1166.17 c 1166 15547 1919 1 461572.0000 452189.3214 2.07%
1167.26/1171.33 c 1171 15724 1922 1 461572.0000 452197.9453 2.07%
1172.25/1176.34 c 1176 15954 1938 1 461572.0000 452198.3599 2.07%
1177.73/1181.84 c 1182 15997 1949 1 461572.0000 452204.4455 2.07%
1183.20/1187.38 c 1187 16264 1954 1 461572.0000 452205.3243 2.07%
1189.48/1193.66 c 1194 16419 1967 1 461572.0000 452210.9994 2.07%
1194.56/1198.76 c 1199 16548 1988 1 461572.0000 452215.1728 2.07%
1199.74/1203.96 c 1204 16691 1991 1 461572.0000 452240.3445 2.06%
1204.82/1209.07 c 1209 16824 1998 1 461572.0000 452249.9044 2.06%
1210.40/1214.65 c 1215 17004 2034 1 461572.0000 452262.2265 2.06%
1215.67/1219.96 c 1220 17194 2050 1 461572.0000 452268.5368 2.06%
1221.15/1225.45 c 1225 17399 2067 1 461572.0000 452280.4825 2.05%
1226.73/1231.05 c 1231 17644 2078 1 461572.0000 452303.2252 2.05%
1232.01/1236.35 c 1236 17824 2108 1 461572.0000 452322.2059 2.04%
1236.99/1241.36 c 1241 17964 2120 1 461572.0000 452337.6467 2.04%
1242.67/1247.03 c 1247 18155 2151 1 461572.0000 452346.0019 2.04%
1247.75/1252.10 c 1252 18311 2169 1 461572.0000 452351.8985 2.04%
1252.73/1257.13 c 1257 18492 2182 1 461572.0000 452367.6741 2.03%
1258.50/1262.93 c 1263 18648 2206 1 461572.0000 452379.1137 2.03%
1263.58/1268.01 c 1268 18824 2210 1 461572.0000 452385.4245 2.03%
1269.15/1273.67 c 1274 19042 2226 1 461572.0000 452396.8272 2.03%
1274.33/1278.83 c 1279 19185 2233 1 461572.0000 452398.3919 2.03%
1279.52/1284.06 c 1284 19344 2252 1 461572.0000 452406.5041 2.03%
1285.09/1289.60 c 1290 19530 2263 1 461572.0000 452406.5041 2.03%
1290.76/1295.32 c 1295 19791 2267 1 461572.0000 452411.6595 2.02%
1296.24/1300.85 c 1301 20034 2284 1 461572.0000 452416.2623 2.02%
1302.12/1306.79 c 1307 20246 2312 1 461572.0000 452418.6310 2.02%
1308.09/1312.74 c 1313 20419 2323 1 461572.0000 452419.0448 2.02%
1313.27/1317.99 c 1318 20613 2351 1 461572.0000 452429.2214 2.02%
1318.65/1323.39 c 1323 20824 2376 1 461572.0000 452443.0295 2.02%
1324.63/1329.36 c 1329 20986 2398 1 461572.0000 452450.9010 2.02%
1329.70/1334.43 c 1334 21152 2420 1 461572.0000 452462.6548 2.01%
1334.88/1339.69 c 1340 21337 2428 1 461572.0000 452464.9463 2.01%
1340.65/1345.44 c 1345 21522 2437 1 461572.0000 452473.2608 2.01%
1346.43/1351.20 c 1351 21754 2453 1 461572.0000 452484.3860 2.01%
1352.11/1356.94 c 1357 21942 2479 1 461572.0000 452491.6289 2.01%
1357.38/1362.24 c 1362 22154 2503 1 461572.0000 452502.1205 2.00%
1362.87/1367.77 c 1368 22348 2529 1 461572.0000 452506.8710 2.00%
1368.84/1373.75 c 1374 22626 2539 1 461572.0000 452514.9970 2.00%
1374.52/1379.47 c 1379 22872 2545 1 461572.0000 452518.5758 2.00%
1379.51/1384.48 c 1384 23144 2563 1 461572.0000 452524.2248 2.00%
1384.89/1389.81 c 1390 23332 2573 1 461572.0000 452529.9872 2.00%
1390.78/1395.72 c 1396 23644 2599 1 461572.0000 452552.6108 1.99%
1396.27/1401.29 c 1401 23827 2630 1 461572.0000 452560.3434 1.99%
1401.75/1406.77 c 1407 24058 2639 1 461572.0000 452561.0200 1.99%
1407.64/1412.65 c 1413 24360 2661 1 461572.0000 452562.2418 1.99%
1412.62/1417.68 c 1418 24604 2675 1 461572.0000 452566.7344 1.99%
1418.60/1423.67 c 1424 24884 2689 1 461572.0000 452568.6821 1.99%
1423.99/1429.01 c 1429 25067 2699 1 461572.0000 452576.9513 1.99%
1428.98/1434.06 c 1434 25196 2718 1 461572.0000 452581.0182 1.99%
1434.16/1439.26 c 1439 25364 2734 1 461572.0000 452600.4533 1.98%
1439.25/1444.39 c 1444 25634 2748 1 461572.0000 452601.9539 1.98%
1444.94/1450.00 c 1450 25794 2762 1 461572.0000 452605.5802 1.98%
1450.03/1455.18 c 1455 25898 2766 1 461572.0000 452605.5802 1.98%
1455.41/1460.56 c 1461 26070 2774 1 461572.0000 452608.4753 1.98%
1460.39/1465.58 c 1466 26206 2782 1 461572.0000 452613.1096 1.98%
1466.27/1471.48 c 1471 26359 2801 1 461572.0000 452628.9960 1.98%
1471.57/1476.70 c 1477 26556 2806 1 461572.0000 452628.9960 1.98%
1477.45/1482.64 c 1483 26803 2817 1 461572.0000 452633.2561 1.97%
1483.04/1488.22 c 1488 26980 2842 1 461572.0000 452634.9719 1.97%
1490.32/1495.50 c 1496 27117 2845 1 461572.0000 452636.8817 1.97%
1495.50/1500.71 c 1501 27287 2855 1 461572.0000 452637.3852 1.97%
1501.68/1506.99 c 1507 27459 2871 1 461572.0000 452640.4458 1.97%
1506.78/1512.08 c 1512 27648 2900 1 461572.0000 452648.8840 1.97%
1511.86/1517.18 c 1517 27874 2916 1 461572.0000 452654.9043 1.97%
1517.14/1522.43 c 1522 28114 2931 1 461572.0000 452667.4877 1.97%
1522.93/1528.23 c 1528 28335 2942 1 461572.0000 452670.9853 1.97%
1528.02/1533.30 c 1533 28664 2977 1 461572.0000 452687.1267 1.96%
1535.39/1540.74 c 1541 28918 3017 1 461572.0000 452693.8352 1.96%
1540.49/1545.89 c 1546 29121 3044 1 461572.0000 452703.4783 1.96%
1545.77/1551.16 c 1551 29464 3047 1 461572.0000 452712.8461 1.96%
1551.15/1556.56 c 1557 29674 3053 1 461572.0000 452718.3539 1.96%
1556.53/1561.90 c 1562 29854 3055 1 461572.0000 452721.1817 1.96%
1562.21/1567.68 c 1568 30089 3066 1 461572.0000 452722.7667 1.95%
1567.38/1572.84 c 1573 30294 3075 1 461572.0000 452733.7278 1.95%
1573.17/1578.66 c 1579 30534 3101 1 461572.0000 452738.0232 1.95%
1578.65/1584.10 c 1584 30754 3123 1 461572.0000 452751.8659 1.95%
1584.23/1589.76 c 1590 31010 3141 1 461572.0000 452755.8220 1.95%
1590.20/1595.71 c 1596 31387 3166 1 461572.0000 452755.8905 1.95%
1595.98/1601.55 c 1602 31647 3182 1 461572.0000 452758.5654 1.95%
1601.56/1607.12 c 1607 31914 3207 1 461572.0000 452760.5334 1.95%
1607.45/1613.07 c 1613 32152 3226 1 461572.0000 452764.3785 1.95%
1613.42/1619.06 c 1619 32389 3251 1 461572.0000 452767.5173 1.94%
1618.99/1624.65 c 1625 32674 3272 1 461572.0000 452784.3163 1.94%
1623.98/1629.69 c 1630 32889 3291 1 461572.0000 452797.6275 1.94%
1629.47/1635.13 c 1635 33086 3304 1 461572.0000 452804.2872 1.94%
1634.64/1640.32 c 1640 33289 3313 1 461572.0000 452811.1775 1.93%
1640.02/1645.71 c 1646 33613 3331 1 461572.0000 452816.4960 1.93%
1645.69/1651.41 c 1651 33863 3344 1 461572.0000 452822.6350 1.93%
1651.47/1657.24 c 1657 34134 3357 1 461572.0000 452830.3588 1.93%
1657.05/1662.83 c 1663 34394 3381 1 461572.0000 452832.0536 1.93%
1662.03/1667.86 c 1668 34624 3395 1 461572.0000 452835.7452 1.93%
1668.01/1673.83 c 1674 34949 3410 1 461572.0000 452848.7786 1.93%
1673.59/1679.44 c 1679 35244 3425 1 461572.0000 452857.6374 1.92%
1678.97/1684.80 c 1685 35544 3445 1 461572.0000 452861.9281 1.92%
1684.26/1690.11 c 1690 35775 3468 1 461572.0000 452873.1346 1.92%
1689.93/1695.83 c 1696 36121 3484 1 461572.0000 452879.3250 1.92%
1695.40/1701.32 c 1701 36418 3505 1 461572.0000 452886.0164 1.92%
1701.29/1707.25 c 1707 36674 3519 1 461572.0000 452890.3908 1.92%
1706.27/1712.27 c 1712 36970 3539 1 461572.0000 452891.7119 1.92%
1711.94/1717.94 c 1718 37235 3554 1 461572.0000 452896.1519 1.92%
1717.33/1723.31 c 1723 37444 3565 1 461572.0000 452901.2561 1.91%
1722.81/1728.87 c 1729 37684 3581 1 461572.0000 452909.8704 1.91%
1728.59/1734.69 c 1735 38004 3605 1 461572.0000 452914.1293 1.91%
1733.77/1739.88 c 1740 38246 3617 1 461572.0000 452919.5568 1.91%
1739.16/1745.21 c 1745 38549 3636 1 461572.0000 452922.1992 1.91%
1744.63/1750.75 c 1751 38878 3649 1 461572.0000 452924.5951 1.91%
1750.41/1756.57 c 1757 39024 3671 1 461572.0000 452929.4276 1.91%
1756.19/1762.35 c 1762 39339 3686 1 461572.0000 452932.3830 1.91%
1761.47/1767.66 c 1768 39677 3692 1 461572.0000 452935.4732 1.91%
1767.44/1773.67 c 1774 39876 3707 1 461572.0000 452943.3450 1.91%
1772.83/1779.08 c 1779 40090 3715 1 461572.0000 452947.8484 1.90%
1778.91/1785.16 c 1785 40230 3735 1 461572.0000 452962.5022 1.90%
1784.28/1790.51 c 1791 40406 3739 1 461572.0000 452965.7436 1.90%
1789.87/1796.12 c 1796 40542 3757 1 461572.0000 452965.8235 1.90%
1795.04/1801.39 c 1801 40711 3772 1 461572.0000 452966.2303 1.90%
1800.51/1806.86 c 1807 40894 3783 1 461572.0000 452969.9934 1.90%
1805.69/1812.03 c 1812 41030 3795 1 461572.0000 452972.6864 1.90%
1811.16/1817.55 c 1818 41154 3797 1 461572.0000 452973.2804 1.90%
1816.66/1823.05 c 1823 41264 3799 1 461572.0000 452979.5592 1.90%
1821.83/1828.25 c 1828 41444 3811 1 461572.0000 452979.8785 1.90%
1827.01/1833.43 c 1833 41604 3821 1 461572.0000 452979.8785 1.90%
1832.88/1839.30 c 1839 41758 3829 1 461572.0000 452982.5925 1.90%
1838.08/1844.54 c 1845 41954 3851 1 461572.0000 452998.2211 1.89%
1843.26/1849.72 c 1850 42133 3872 1 461572.0000 453005.6939 1.89%
1848.83/1855.37 c 1855 42456 3891 1 461572.0000 453008.3960 1.89%
1854.70/1861.25 c 1861 42655 3902 1 461572.0000 453012.2023 1.89%
1859.69/1866.27 c 1866 42924 3907 1 461572.0000 453012.8565 1.89%
1864.67/1871.28 c 1871 43096 3911 1 461572.0000 453014.2930 1.89%
1870.14/1876.73 c 1877 43284 3929 1 461572.0000 453014.9970 1.89%
1875.52/1882.16 c 1882 43450 3945 1 461572.0000 453018.6815 1.89%
1881.40/1888.06 c 1888 43671 3966 1 461572.0000 453030.7069 1.89%
1886.88/1893.51 c 1894 43893 3976 1 461572.0000 453036.2642 1.88%
1892.15/1898.83 c 1899 44214 3978 1 461572.0000 453037.4131 1.88%
1897.24/1903.97 c 1904 44402 3994 1 461572.0000 453045.2879 1.88%
1902.52/1909.27 c 1909 44577 4011 1 461572.0000 453053.0723 1.88%
1907.90/1914.64 c 1915 44816 4038 1 461572.0000 453054.2920 1.88%
1912.97/1919.74 c 1920 45034 4048 1 461572.0000 453060.5601 1.88%
1918.55/1925.38 c 1925 45285 4067 1 461572.0000 453063.6932 1.88%
1924.33/1931.12 c 1931 45528 4096 1 461572.0000 453069.5540 1.88%
1929.81/1936.69 c 1937 45719 4111 1 461572.0000 453074.7071 1.88%
1935.49/1942.30 c 1942 45794 4124 1 461572.0000 453079.6315 1.87%
1940.57/1947.44 c 1947 45974 4150 1 461572.0000 453092.7955 1.87%
1946.15/1953.03 c 1953 46180 4178 1 461572.0000 453103.6791 1.87%
1951.32/1958.25 c 1958 46444 4200 1 461572.0000 453110.4816 1.87%
1956.41/1963.35 c 1963 46714 4214 1 461572.0000 453118.2758 1.87%
1961.49/1968.43 c 1968 46964 4244 1 461572.0000 453120.9608 1.87%
1966.46/1973.50 c 1974 47194 4278 1 461572.0000 453133.0839 1.86%
1972.25/1979.25 c 1979 47484 4306 1 461572.0000 453137.3123 1.86%
1977.33/1984.30 c 1984 47734 4318 1 461572.0000 453139.4108 1.86%
1983.20/1990.23 c 1990 48032 4330 1 461572.0000 453143.0432 1.86%
1988.28/1995.35 c 1995 48274 4342 1 461572.0000 453153.4679 1.86%
1993.76/2000.85 c 2001 48479 4393 1 461572.0000 453159.3115 1.86%
1999.23/2006.34 c 2006 48714 4420 1 461572.0000 453162.7790 1.86%
2006.41/2013.57 c 2014 48861 4451 1 461572.0000 453164.7174 1.86%
2012.19/2019.33 c 2019 49159 4451 1 461572.0000 453165.1940 1.86%
2017.17/2024.35 c 2024 49404 4460 1 461572.0000 453168.3726 1.85%
2022.45/2029.67 c 2030 49654 4498 1 461572.0000 453177.2547 1.85%
2028.32/2035.50 c 2036 49992 4518 1 461572.0000 453178.3276 1.85%
2033.91/2041.16 c 2041 50339 4537 1 461572.0000 453181.7438 1.85%
2039.58/2046.89 c 2047 50624 4554 1 461572.0000 453185.4834 1.85%
2045.05/2052.30 c 2052 50914 4572 1 461572.0000 453193.5988 1.85%
2050.93/2058.22 c 2058 51234 4602 1 461572.0000 453194.4066 1.85%
2056.82/2064.15 c 2064 51601 4633 1 461572.0000 453203.7081 1.85%
2062.39/2069.74 c 2070 51879 4665 1 461572.0000 453210.7178 1.84%
2067.47/2074.81 c 2075 52274 4672 1 461572.0000 453212.8619 1.84%
2072.54/2079.98 c 2080 52634 4692 1 461572.0000 453215.2830 1.84%
2077.74/2085.11 c 2085 53064 4704 1 461572.0000 453217.4918 1.84%
2083.40/2090.82 c 2091 53374 4734 1 461572.0000 453218.1486 1.84%
2089.18/2096.69 c 2097 53743 4743 1 461572.0000 453219.4189 1.84%
2094.36/2101.89 c 2102 54077 4753 1 461572.0000 453225.0603 1.84%
2100.33/2107.82 c 2108 54428 4768 1 461572.0000 453225.7943 1.84%
2106.32/2113.82 c 2114 54734 4788 1 461572.0000 453227.4711 1.84%
2111.79/2119.36 c 2119 55034 4804 1 461572.0000 453232.1372 1.84%
2116.97/2124.56 c 2125 55347 4813 1 461572.0000 453235.2103 1.84%
2122.14/2129.73 c 2130 55675 4821 1 461572.0000 453238.8761 1.84%
2127.43/2135.09 c 2135 55944 4838 1 461572.0000 453245.1439 1.84%
2132.61/2140.26 c 2140 56210 4856 1 461572.0000 453245.5365 1.84%
2137.79/2145.47 c 2145 56514 4866 1 461572.0000 453246.4790 1.84%
2143.26/2150.95 c 2151 56801 4879 1 461572.0000 453253.0963 1.84%
2148.54/2156.24 c 2156 57174 4888 1 461572.0000 453258.3608 1.83%
2153.72/2161.49 c 2161 57454 4900 1 461572.0000 453266.1055 1.83%
2159.31/2167.00 c 2167 57824 4908 1 461572.0000 453271.7324 1.83%
2164.29/2172.03 c 2172 58049 4919 1 461572.0000 453272.9831 1.83%
2170.05/2177.84 c 2178 58366 4938 1 461572.0000 453277.0837 1.83%
2175.24/2183.02 c 2183 58620 4940 1 461572.0000 453279.2854 1.83%
2180.32/2188.18 c 2188 58814 4960 1 461572.0000 453281.8392 1.83%
2186.19/2194.02 c 2194 59080 4992 1 461572.0000 453288.3181 1.83%
2191.27/2199.16 c 2199 59341 5007 1 461572.0000 453288.5908 1.83%
2197.04/2204.92 c 2205 59618 5032 1 461572.0000 453296.7014 1.83%
2202.62/2210.52 c 2211 59814 5060 1 461572.0000 453303.4034 1.82%
2208.01/2215.98 c 2216 60094 5074 1 461572.0000 453304.5518 1.82%
2213.48/2221.49 c 2221 60434 5090 1 461572.0000 453313.2258 1.82%
2219.06/2227.10 c 2227 60735 5103 1 461572.0000 453320.1736 1.82%
2224.74/2232.78 c 2233 61030 5140 1 461572.0000 453335.0109 1.82%
2230.72/2238.71 c 2239 61308 5186 1 461572.0000 453346.3251 1.81%
2236.60/2244.67 c 2245 61616 5216 1 461572.0000 453353.5044 1.81%
2241.87/2249.93 c 2250 61874 5234 1 461572.0000 453357.2719 1.81%
2247.36/2255.42 c 2255 62093 5255 1 461572.0000 453360.9575 1.81%
2253.05/2261.12 c 2261 62366 5266 1 461572.0000 453362.7912 1.81%
2258.22/2266.34 c 2266 62649 5275 1 461572.0000 453365.8049 1.81%
2263.30/2271.45 c 2271 62874 5294 1 461572.0000 453372.6927 1.81%
2269.28/2277.47 c 2277 63120 5314 1 461572.0000 453378.9858 1.81%
2274.27/2282.48 c 2282 63355 5335 1 461572.0000 453383.8813 1.81%
2279.74/2287.90 c 2288 63664 5350 1 461572.0000 453387.2560 1.81%
2285.42/2293.66 c 2294 63998 5357 1 461572.0000 453389.9285 1.80%
2290.80/2299.06 c 2299 64294 5375 1 461572.0000 453392.0485 1.80%
2296.27/2304.56 c 2305 64558 5391 1 461572.0000 453398.4941 1.80%
2301.87/2310.11 c 2310 64832 5421 1 461572.0000 453399.8361 1.80%
2307.75/2316.07 c 2316 65114 5443 1 461572.0000 453401.3584 1.80%
2313.41/2321.76 c 2322 65494 5459 1 461572.0000 453404.0513 1.80%
2318.59/2326.91 c 2327 65680 5479 1 461572.0000 453409.5317 1.80%
2324.18/2332.56 c 2333 65989 5490 1 461572.0000 453414.7535 1.80%
2329.55/2337.90 c 2338 66324 5511 1 461572.0000 453420.0627 1.80%
2334.65/2343.06 c 2343 66704 5517 1 461572.0000 453421.9357 1.80%
2339.92/2348.38 c 2348 67010 5549 1 461572.0000 453424.6686 1.80%
2345.00/2353.47 c 2353 67206 5563 1 461572.0000 453427.1203 1.80%
2350.59/2359.05 c 2359 67559 5580 1 461572.0000 453429.0275 1.80%
2355.57/2364.07 c 2364 67879 5588 1 461572.0000 453430.2859 1.80%
2361.15/2369.60 c 2370 68174 5603 1 461572.0000 453433.2936 1.79%
2366.83/2375.35 c 2375 68448 5618 1 461572.0000 453441.4381 1.79%
2371.91/2380.45 c 2380 68654 5642 1 461572.0000 453446.1464 1.79%
2377.09/2385.63 c 2386 68908 5658 1 461572.0000 453453.5931 1.79%
2382.97/2391.50 c 2392 69214 5670 1 461572.0000 453453.6794 1.79%
2388.36/2396.91 c 2397 69470 5686 1 461572.0000 453455.7925 1.79%
2393.35/2401.99 c 2402 69740 5690 1 461572.0000 453456.4569 1.79%
2399.32/2407.95 c 2408 69963 5703 1 461572.0000 453456.5477 1.79%
2405.00/2413.60 c 2414 70164 5708 1 461572.0000 453457.7324 1.79%
2410.40/2419.01 c 2419 70301 5721 1 461572.0000 453461.4580 1.79%
2416.38/2425.04 c 2425 70339 5733 1 461572.0000 453465.8394 1.79%
2421.55/2430.20 c 2430 70544 5742 1 461572.0000 453469.9521 1.79%
2426.63/2435.33 c 2435 70759 5755 1 461572.0000 453472.0330 1.79%
2432.32/2441.01 c 2441 71031 5773 1 461572.0000 453473.2099 1.79%
2437.50/2446.26 c 2446 71334 5782 1 461572.0000 453474.7665 1.79%
2442.88/2451.63 c 2452 71544 5798 1 461572.0000 453479.4841 1.78%
2448.66/2457.41 c 2457 71767 5819 1 461572.0000 453492.5031 1.78%
2454.04/2462.82 c 2463 72014 5828 1 461572.0000 453493.9759 1.78%
2459.23/2468.07 c 2468 72304 5844 1 461572.0000 453496.3588 1.78%
2464.71/2473.50 c 2474 72544 5862 1 461572.0000 453497.9716 1.78%
2469.80/2478.62 c 2479 72794 5886 1 461572.0000 453503.5753 1.78%
2475.48/2484.36 c 2484 73020 5894 1 461572.0000 453508.3152 1.78%
2481.27/2490.11 c 2490 73314 5918 1 461572.0000 453512.2163 1.78%
2486.45/2495.30 c 2495 73508 5930 1 461572.0000 453515.4234 1.78%
2491.53/2500.46 c 2500 73774 5932 1 461572.0000 453519.9575 1.78%
2496.61/2505.52 c 2506 73984 5960 1 461572.0000 453523.2577 1.77%
2501.90/2510.81 c 2511 74324 5972 1 461572.0000 453527.2707 1.77%
2507.38/2516.38 c 2516 74544 5998 1 461572.0000 453529.4176 1.77%
2512.46/2521.45 c 2521 74811 6013 1 461572.0000 453529.4176 1.77%
2517.54/2526.56 c 2527 75049 6035 1 461572.0000 453533.2037 1.77%
2523.23/2532.28 c 2532 75309 6041 1 461572.0000 453538.8627 1.77%
2528.41/2537.45 c 2537 75602 6054 1 461572.0000 453543.2508 1.77%
2533.49/2542.55 c 2543 75883 6069 1 461572.0000 453548.4496 1.77%
2538.78/2547.87 c 2548 76100 6092 1 461572.0000 453551.3778 1.77%
2544.26/2553.34 c 2553 76328 6106 1 461572.0000 453553.4533 1.77%
2549.74/2558.85 c 2559 76744 6124 1 461572.0000 453556.6162 1.77%
2555.03/2564.17 c 2564 76904 6144 1 461572.0000 453559.4878 1.77%
2560.11/2569.25 c 2569 77124 6160 1 461572.0000 453563.0176 1.77%
2565.60/2574.72 c 2575 77407 6185 1 461572.0000 453567.7282 1.76%
2571.37/2580.59 c 2581 77788 6198 1 461572.0000 453569.7655 1.76%
2576.55/2585.78 c 2586 77990 6214 1 461572.0000 453572.2291 1.76%
2581.94/2591.10 c 2591 78292 6228 1 461572.0000 453575.7510 1.76%
2586.93/2596.15 c 2596 78649 6235 1 461572.0000 453576.4883 1.76%
2592.21/2601.46 c 2601 78924 6248 1 461572.0000 453578.8170 1.76%
2598.19/2607.42 c 2607 79230 6256 1 461572.0000 453581.9700 1.76%
2603.67/2612.95 c 2613 79551 6269 1 461572.0000 453583.4814 1.76%
2608.85/2618.12 c 2618 79814 6292 1 461572.0000 453587.4010 1.76%
2614.63/2623.92 c 2624 80020 6314 1 461572.0000 453592.1252 1.76%
2620.31/2629.64 c 2630 80314 6348 1 461572.0000 453596.4760 1.76%
2626.20/2635.53 c 2636 80474 6374 1 461572.0000 453597.1964 1.76%
2631.28/2640.64 c 2641 80727 6381 1 461572.0000 453598.6023 1.76%
2636.86/2646.28 c 2646 81050 6398 1 461572.0000 453600.7727 1.76%
2642.44/2651.80 c 2652 81403 6413 1 461572.0000 453603.8386 1.76%
2648.42/2657.87 c 2658 81788 6422 1 461572.0000 453604.7847 1.76%
2653.90/2663.35 c 2663 82068 6448 1 461572.0000 453609.9586 1.76%
2659.18/2668.66 c 2669 82414 6456 1 461572.0000 453612.1928 1.75%
2665.17/2674.60 c 2675 82654 6482 1 461572.0000 453614.3344 1.75%
2670.45/2679.97 c 2680 82922 6510 1 461572.0000 453614.7788 1.75%
2675.64/2685.15 c 2685 83230 6518 1 461572.0000 453615.0338 1.75%
2681.32/2690.89 c 2691 83524 6538 1 461572.0000 453615.2788 1.75%
2686.51/2696.06 c 2696 83779 6551 1 461572.0000 453615.4839 1.75%
2691.79/2701.31 c 2701 84001 6567 1 461572.0000 453616.0743 1.75%
2697.17/2706.78 c 2707 84258 6590 1 461572.0000 453619.9521 1.75%
2702.25/2711.81 c 2712 84472 6606 1 461572.0000 453623.4132 1.75%
2707.84/2717.44 c 2717 84774 6624 1 461572.0000 453629.6621 1.75%
2712.92/2722.50 c 2723 85063 6633 1 461572.0000 453631.1192 1.75%
2718.41/2728.03 c 2728 85274 6660 1 461572.0000 453633.2259 1.75%
2723.50/2733.10 c 2733 85463 6669 1 461572.0000 453634.2552 1.75%
2729.27/2738.95 c 2739 85690 6684 1 461572.0000 453635.2871 1.75%
2734.95/2744.70 c 2745 85915 6693 1 461572.0000 453637.0734 1.75%
2740.34/2750.04 c 2750 86164 6702 1 461572.0000 453638.6487 1.75%
2745.32/2755.09 c 2755 86319 6723 1 461572.0000 453643.8889 1.75%
2750.90/2760.66 c 2761 86544 6742 1 461572.0000 453646.0916 1.75%
2756.09/2765.85 c 2766 86794 6752 1 461572.0000 453646.8940 1.75%
2761.77/2771.52 c 2772 87044 6760 1 461572.0000 453649.1981 1.75%
2767.36/2777.16 c 2777 87314 6784 1 461572.0000 453653.6193 1.75%
2772.64/2782.40 c 2782 87534 6804 1 461572.0000 453656.1735 1.74%
2777.72/2787.53 c 2788 87794 6822 1 461572.0000 453657.5482 1.74%
2783.50/2793.34 c 2793 88084 6836 1 461572.0000 453659.3775 1.74%
2788.88/2798.77 c 2799 88374 6842 1 461572.0000 453660.4892 1.74%
2793.97/2803.82 c 2804 88556 6860 1 461572.0000 453663.8919 1.74%
2799.75/2809.64 c 2810 88839 6881 1 461572.0000 453664.8919 1.74%
2805.14/2815.03 c 2815 89088 6896 1 461572.0000 453674.8591 1.74%
2810.12/2820.08 c 2820 89369 6907 1 461572.0000 453675.1798 1.74%
2815.40/2825.34 c 2825 89624 6906 1 461572.0000 453677.0670 1.74%
2820.67/2830.68 c 2831 89884 6930 1 461572.0000 453680.5274 1.74%
2826.56/2836.50 c 2836 90144 6944 1 461572.0000 453683.1089 1.74%
2832.44/2842.44 c 2842 90400 6962 1 461572.0000 453685.6810 1.74%
2837.53/2847.55 c 2848 90634 6986 1 461572.0000 453687.8827 1.74%
2842.91/2852.93 c 2853 90874 7016 1 461572.0000 453691.2680 1.74%
2848.29/2858.36 c 2858 91094 7034 1 461572.0000 453695.0348 1.74%
2854.08/2864.13 c 2864 91398 7060 1 461572.0000 453697.1187 1.74%
2859.06/2869.16 c 2869 91644 7082 1 461572.0000 453700.0270 1.74%
2864.95/2875.00 c 2875 91883 7111 1 461572.0000 453704.5012 1.73%
2870.73/2880.88 c 2881 92185 7135 1 461572.0000 453708.9105 1.73%
2876.20/2886.38 c 2886 92512 7142 1 461572.0000 453715.1269 1.73%
2881.38/2891.59 c 2892 92804 7168 1 461572.0000 453715.6560 1.73%
2887.27/2897.42 c 2897 93144 7190 1 461572.0000 453720.2813 1.73%
2892.45/2902.68 c 2903 93408 7200 1 461572.0000 453721.5106 1.73%
2898.43/2908.66 c 2909 93684 7218 1 461572.0000 453721.9745 1.73%
2904.01/2914.23 c 2914 93954 7234 1 461572.0000 453723.0596 1.73%
2909.10/2919.31 c 2919 94147 7244 1 461572.0000 453723.0596 1.73%
2914.59/2924.86 c 2925 94344 7259 1 461572.0000 453725.4512 1.73%
2919.97/2930.21 c 2930 94620 7277 1 461572.0000 453725.8138 1.73%
2925.15/2935.41 c 2935 94820 7297 1 461572.0000 453727.8753 1.73%
2930.33/2940.64 c 2941 95093 7312 1 461572.0000 453729.6300 1.73%
2935.41/2945.79 c 2946 95384 7317 1 461572.0000 453731.7731 1.73%
2941.39/2951.72 c 2952 95704 7335 1 461572.0000 453734.3381 1.73%
2946.78/2957.13 c 2957 95924 7353 1 461572.0000 453737.3886 1.73%
2952.67/2963.09 c 2963 96255 7368 1 461572.0000 453740.3261 1.73%
2958.14/2968.51 c 2969 96544 7387 1 461572.0000 453743.6988 1.73%
2963.73/2974.12 c 2974 96824 7407 1 461572.0000 453744.2988 1.73%
2969.40/2979.80 c 2980 97087 7418 1 461572.0000 453744.5607 1.73%
2974.69/2985.16 c 2985 97406 7423 1 461572.0000 453745.1115 1.72%
2979.77/2990.30 c 2990 97754 7439 1 461572.0000 453745.7504 1.72%
2985.55/2996.08 c 2996 98004 7461 1 461572.0000 453747.8166 1.72%
2991.23/3001.73 c 3002 98277 7486 1 461572.0000 453748.9839 1.72%
2996.71/3007.21 c 3007 98594 7487 1 461572.0000 453749.2756 1.72%
3002.10/3012.60 c 3013 98784 7501 1 461572.0000 453751.5104 1.72%
3007.28/3017.87 c 3018 98949 7520 1 461572.0000 453751.5215 1.72%
3012.46/3023.05 c 3023 99204 7531 1 461572.0000 453753.0954 1.72%
3018.14/3028.72 c 3029 99461 7554 1 461572.0000 453755.8957 1.72%
3023.33/3033.93 c 3034 99728 7561 1 461572.0000 453763.9020 1.72%
3028.90/3039.56 c 3040 100098 7569 1 461572.0000 453763.9020 1.72%
3034.58/3045.27 c 3045 100399 7578 1 461572.0000 453766.2633 1.72%
3040.48/3051.14 c 3051 100693 7592 1 461572.0000 453769.7194 1.72%
3045.95/3056.62 c 3057 100914 7605 1 461572.0000 453772.3141 1.72%
3051.44/3062.16 c 3062 101196 7619 1 461572.0000 453773.2345 1.72%
3056.81/3067.58 c 3068 101444 7641 1 461572.0000 453775.9730 1.72%
3062.69/3073.42 c 3073 101630 7657 1 461572.0000 453777.6744 1.72%
3067.97/3078.75 c 3079 101864 7675 1 461572.0000 453779.6746 1.72%
3073.06/3083.83 c 3084 102057 7692 1 461572.0000 453782.5292 1.72%
3078.14/3088.98 c 3089 102304 7715 1 461572.0000 453786.6197 1.72%
3083.12/3093.99 c 3094 102544 7721 1 461572.0000 453787.8058 1.72%
3088.21/3099.05 c 3099 102652 7733 1 461572.0000 453788.4969 1.72%
3093.98/3104.82 c 3105 102916 7745 1 461572.0000 453788.5557 1.72%
3099.67/3110.50 c 3110 103074 7754 1 461572.0000 453796.0462 1.71%
3105.16/3116.03 c 3116 103263 7770 1 461572.0000 453796.6541 1.71%
3110.43/3121.35 c 3121 103427 7778 1 461572.0000 453797.3983 1.71%
3116.41/3127.36 c 3127 103617 7804 1 461572.0000 453798.2306 1.71%
3122.19/3133.17 c 3133 103882 7821 1 461572.0000 453798.3769 1.71%
3128.17/3139.14 c 3139 104124 7847 1 461572.0000 453799.7085 1.71%
3133.85/3144.82 c 3145 104422 7865 1 461572.0000 453800.1664 1.71%
3139.33/3150.34 c 3150 104682 7881 1 461572.0000 453801.3574 1.71%
3144.61/3155.60 c 3156 104924 7899 1 461572.0000 453803.3644 1.71%
3150.10/3161.19 c 3161 105142 7923 1 461572.0000 453807.4540 1.71%
3155.99/3167.02 c 3167 105404 7947 1 461572.0000 453809.3441 1.71%
3160.96/3172.06 c 3172 105634 7968 1 461572.0000 453810.4996 1.71%
3165.95/3177.06 c 3177 105804 7985 1 461572.0000 453811.7951 1.71%
3171.93/3183.06 c 3183 106076 8013 1 461572.0000 453814.3025 1.71%
3177.61/3188.77 c 3189 106354 8023 1 461572.0000 453815.8193 1.71%
3183.38/3194.59 c 3195 106625 8044 1 461572.0000 453816.8569 1.71%
3189.26/3200.41 c 3200 106894 8057 1 461572.0000 453817.1765 1.71%
3194.44/3205.65 c 3206 107124 8059 1 461572.0000 453817.8512 1.71%
3200.22/3211.46 c 3211 107342 8069 1 461572.0000 453823.1631 1.71%
3206.00/3217.29 c 3217 107569 8088 1 461572.0000 453826.0120 1.71%
3211.58/3222.86 c 3223 107798 8109 1 461572.0000 453829.2728 1.71%
3217.06/3228.31 c 3228 108044 8128 1 461572.0000 453831.9154 1.71%
3222.44/3233.77 c 3234 108255 8155 1 461572.0000 453834.7656 1.70%
3227.53/3238.81 c 3239 108454 8170 1 461572.0000 453838.9913 1.70%
3233.01/3244.35 c 3244 108722 8182 1 461572.0000 453840.1828 1.70%
3238.19/3249.56 c 3250 108949 8184 1 461572.0000 453841.1401 1.70%
3244.17/3255.54 c 3256 109209 8194 1 461572.0000 453842.4769 1.70%
3249.15/3260.56 c 3261 109472 8209 1 461572.0000 453842.7315 1.70%
3254.23/3265.66 c 3266 109664 8219 1 461572.0000 453844.8346 1.70%
3260.22/3271.69 c 3272 109879 8243 1 461572.0000 453847.9247 1.70%
3265.70/3277.15 c 3277 110086 8272 1 461572.0000 453853.6288 1.70%
3271.28/3282.77 c 3283 110371 8279 1 461572.0000 453854.3556 1.70%
3276.56/3288.02 c 3288 110560 8292 1 461572.0000 453857.5128 1.70%
3281.54/3293.10 c 3293 110744 8304 1 461572.0000 453859.1661 1.70%
3287.53/3299.07 c 3299 111036 8317 1 461572.0000 453860.3570 1.70%
3293.40/3304.96 c 3305 111317 8338 1 461572.0000 453862.6340 1.70%
3298.38/3309.98 c 3310 111610 8355 1 461572.0000 453863.5377 1.70%
3303.37/3314.99 c 3315 111924 8363 1 461572.0000 453868.4957 1.70%
3309.05/3320.65 c 3321 112139 8386 1 461572.0000 453872.8671 1.70%
3314.74/3326.37 c 3326 112474 8405 1 461572.0000 453875.8554 1.70%
3319.92/3331.58 c 3332 112732 8419 1 461572.0000 453880.5169 1.69%
3325.41/3337.00 c 3337 113023 8445 1 461572.0000 453882.7905 1.69%
3330.69/3342.33 c 3342 113294 8464 1 461572.0000 453886.3055 1.69%
3335.99/3347.64 c 3348 113558 8492 1 461572.0000 453888.7701 1.69%
3341.57/3353.30 c 3353 113977 8508 1 461572.0000 453890.2273 1.69%
3346.86/3358.51 c 3359 114270 8521 1 461572.0000 453890.8415 1.69%
3352.64/3364.39 c 3364 114582 8528 1 461572.0000 453891.3130 1.69%
3357.73/3369.44 c 3369 114874 8538 1 461572.0000 453894.5655 1.69%
3362.82/3374.50 c 3374 115204 8544 1 461572.0000 453897.2380 1.69%
3368.31/3380.02 c 3380 115484 8557 1 461572.0000 453897.8566 1.69%
3373.89/3385.65 c 3386 115774 8585 1 461572.0000 453899.1981 1.69%
3384.17/3395.98 c 3396 116020 8599 1 461572.0000 453900.2108 1.69%
3389.26/3401.03 c 3401 116304 8601 1 461572.0000 453901.2045 1.69%
3394.44/3406.26 c 3406 116614 8617 1 461572.0000 453902.8498 1.69%
3399.73/3411.59 c 3412 116954 8651 1 461572.0000 453903.2942 1.69%
3405.01/3416.82 c 3417 117299 8664 1 461572.0000 453903.2942 1.69%
3410.79/3422.67 c 3423 117678 8687 1 461572.0000 453904.3077 1.69%
3415.89/3427.77 c 3428 117964 8707 1 461572.0000 453905.6530 1.69%
3420.88/3432.79 c 3433 118191 8728 1 461572.0000 453906.6975 1.69%
3426.46/3438.35 c 3438 118513 8744 1 461572.0000 453914.2637 1.69%
3431.65/3443.53 c 3444 118754 8761 1 461572.0000 453917.4023 1.69%
3437.14/3449.06 c 3449 119052 8779 1 461572.0000 453919.4882 1.69%
3443.12/3455.07 c 3455 119361 8796 1 461572.0000 453922.3692 1.69%
3449.11/3461.01 c 3461 119670 8819 1 461572.0000 453926.7138 1.68%
3454.29/3466.24 c 3466 119994 8825 1 461572.0000 453928.4767 1.68%
3459.67/3471.63 c 3472 120284 8847 1 461572.0000 453929.9758 1.68%
3465.17/3477.14 c 3477 120534 8857 1 461572.0000 453932.0642 1.68%
3470.65/3482.67 c 3483 120674 8869 1 461572.0000 453934.3373 1.68%
3476.04/3488.01 c 3488 120894 8883 1 461572.0000 453936.7490 1.68%
3481.42/3493.48 c 3493 121084 8905 1 461572.0000 453937.7577 1.68%
3486.70/3498.70 c 3499 121333 8916 1 461572.0000 453937.7994 1.68%
3492.39/3504.40 c 3504 121646 8915 1 461572.0000 453938.3827 1.68%
3498.18/3510.28 c 3510 121815 8928 1 461572.0000 453941.6926 1.68%
3503.37/3515.48 c 3515 121984 8921 1 461572.0000 453943.0960 1.68%
3508.45/3520.52 c 3521 122164 8925 1 461572.0000 453943.2533 1.68%
3514.14/3526.24 c 3526 122435 8932 1 461572.0000 453946.4016 1.68%
3519.72/3531.88 c 3532 122744 8949 1 461572.0000 453948.2440 1.68%
3525.21/3537.37 c 3537 123094 8969 1 461572.0000 453949.9825 1.68%
3530.91/3543.08 c 3543 123427 8998 1 461572.0000 453952.1377 1.68%
3536.58/3548.73 c 3549 123744 9005 1 461572.0000 453960.2912 1.68%
3542.47/3554.62 c 3555 124088 9017 1 461572.0000 453960.8074 1.68%
3548.35/3560.53 c 3561 124416 9025 1 461572.0000 453965.1859 1.68%
3553.54/3565.72 c 3566 124704 9041 1 461572.0000 453965.7361 1.68%
3559.23/3571.48 c 3571 124989 9082 1 461572.0000 453966.5436 1.68%
3564.51/3576.70 c 3577 125313 9104 1 461572.0000 453966.5819 1.68%
3569.90/3582.14 c 3582 125622 9107 1 461572.0000 453967.0581 1.68%
3575.38/3587.68 c 3588 125874 9110 1 461572.0000 453968.7522 1.67%
3580.37/3592.68 c 3593 126212 9120 1 461572.0000 453969.5427 1.67%
3585.77/3598.00 c 3598 126498 9136 0 461572.0000 453971.8934 1.67%
3585.87/3598.16 c SCIP Status : c solving was interrupted [hard time limit reached]
3585.87/3598.16 c Total Time : 3598.16
3585.87/3598.16 c solving : 3598.16
3585.87/3598.16 c presolving : 62.95 (included in solving)
3585.87/3598.16 c B&B Tree :
3585.87/3598.16 c nodes (total) : 1
3585.87/3598.16 c Solution :
3585.87/3598.16 c Solutions found : 32
3585.87/3598.16 c Primal Bound : +4.61572000000000e+05
3585.87/3598.16 c Dual Bound : +4.53971893391552e+05
3585.87/3598.16 c Gap : 1.67414 %
3585.87/3598.16 c * Warning: final gap: 1.67414e-02 is greater than SCIPepsilon: 1.00000e-09
3585.87/3598.19 o 461572
3585.87/3598.19 s SATISFIABLE
3585.87/3598.19 v -x3412 x3411 -x3410 -x3409 x3408 -x3407 -x3406 -x3405 x3404 -x3403 -x3402 -x3401 x3400 -x3399 -x3398 -x3397 -x3396 -x3395 x3394
3585.87/3598.19 v -x3393 x3392 -x3391 -x3390 -x3389 x3388 -x3387 -x3386 -x3385 x3384 -x3383 -x3382 -x3381 x3380 -x3379 -x3378 -x3377 x3376 -x3375
3585.87/3598.19 v -x3374 -x3373 -x3372 -x3371 -x3370 x3369 x3368 -x3367 -x3366 -x3365 x3364 -x3363 -x3362 -x3361 x3360 -x3359 -x3358 -x3357
3585.87/3598.19 v x3356 -x3355 -x3354 -x3353 x3352 -x3351 -x3350 -x3349 x3348 -x3347 -x3346 -x3345 x3344 -x3343 -x3342 -x3341 x3340 -x3339 -x3338
3585.87/3598.19 v -x3337 -x3336 -x3335 -x3334 x3333 x3332 -x3331 -x3330 -x3329 -x3328 x3327 -x3326 -x3325 -x3324 -x3323 x3322 -x3321 x3320
3585.87/3598.19 v -x3319 -x3318 -x3317 x3316 -x3315 -x3314 -x3313 x3312 -x3311 -x3310 -x3309 x3308 -x3307 -x3306 -x3305 x3304 -x3303 -x3302 -x3301
3585.87/3598.19 v x3300 -x3299 -x3298 -x3297 -x3296 -x3295 -x3294 x3293 x3292 -x3291 -x3290 -x3289 -x3288 x3287 -x3286 -x3285 -x3284 -x3283
3585.87/3598.19 v x3282 -x3281 x3280 -x3279 -x3278 -x3277 x3276 -x3275 x3274 -x3273 x3272 -x3271 -x3270 -x3269 -x3268 x3267 x3266 -x3265 x3264
3585.87/3598.19 v -x3263 x3262 -x3261 x3260 -x3259 x3258 -x3257 -x3256 -x3255 -x3254 x3253 -x3252 -x3251 x3250 -x3249 -x3248 -x3247 x3246 -x3245
3585.87/3598.19 v -x3244 -x3243 x3242 -x3241 x3240 -x3239 x3238 -x3237 x3236 -x3235 x3234 -x3233 -x3232 -x3231 x3230 -x3229 x3228 -x3227 x3226
3585.87/3598.19 v -x3225 -x3224 -x3223 -x3222 -x3221 x3220 -x3219 -x3218 x3217 x3216 -x3215 x3214 -x3213 x3212 -x3211 x3210 -x3209 x3208 -x3207
3585.87/3598.19 v -x3206 -x3205 -x3204 -x3203 x3202 -x3201 x3200 -x3199 -x3198 -x3197 x3196 -x3195 x3194 -x3193 -x3192 -x3191 -x3190 x3189
3585.87/3598.19 v x3188 -x3187 x3186 -x3185 x3184 -x3183 x3182 -x3181 -x3180 -x3179 x3178 -x3177 -x3176 -x3175 -x3174 -x3173 x3172 -x3171 x3170
3585.87/3598.19 v -x3169 -x3168 -x3167 x3166 -x3165 x3164 -x3163 -x3162 x3161 x3160 -x3159 x3158 -x3157 -x3156 -x3155 x3154 -x3153 -x3152 -x3151
3585.87/3598.19 v -x3150 -x3149 x3148 -x3147 x3146 -x3145 x3144 -x3143 -x3142 x3141 x3140 -x3139 -x3138 -x3137 x3136 -x3135 -x3134 -x3133 x3132
3585.87/3598.19 v -x3131 x3130 -x3129 -x3128 -x3127 -x3126 -x3125 x3124 -x3123 -x3122 -x3121 -x3120 x3119 -x3118 x3117 -x3116 -x3115 x3114
3585.87/3598.19 v -x3113 -x3112 -x3111 x3110 -x3109 -x3108 -x3107 -x3106 -x3105 x3104 -x3103 -x3102 -x3101 -x3100 x3099 x3098 -x3097 -x3096 -x3095
3585.87/3598.19 v x3094 -x3093 -x3092 -x3091 -x3090 -x3089 x3088 -x3087 -x3086 -x3085 x3084 -x3083 -x3082 -x3081 x3080 -x3079 -x3078 x3077
3585.87/3598.19 v -x3076 -x3075 -x3074 -x3073 x3072 -x3071 -x3070 x3069 -x3068 -x3067 x3066 -x3065 -x3064 -x3063 -x3062 -x3061 -x3060 x3059 x3058
3585.87/3598.19 v -x3057 -x3056 -x3055 -x3054 x3053 x3052 -x3051 -x3050 -x3049 -x3048 -x3047 -x3046 x3045 x3044 -x3043 -x3042 -x3041 -x3040
3585.87/3598.19 v x3039 -x3038 -x3037 -x3036 x3035 -x3034 x3033 -x3032 -x3031 -x3030 -x3029 x3028 -x3027 -x3026 -x3025 -x3024 x3023 x3022 -x3021
3585.87/3598.19 v -x3020 -x3019 x3018 -x3017 -x3016 -x3015 x3014 -x3013 -x3012 -x3011 x3010 -x3009 -x3008 -x3007 -x3006 x3005 -x3004 -x3003 x3002
3585.87/3598.19 v -x3001 -x3000 -x2999 x2998 -x2997 -x2996 -x2995 -x2994 -x2993 x2992 -x2991 x2990 -x2989 -x2988 -x2987 -x2986 -x2985 -x2984
3585.87/3598.19 v x2983 x2982 -x2981 -x2980 -x2979 x2978 -x2977 -x2976 -x2975 x2974 -x2973 -x2972 -x2971 x2970 -x2969 -x2968 -x2967 -x2966 x2965
3585.87/3598.19 v -x2964 -x2963 x2962 -x2961 -x2960 -x2959 x2958 -x2957 -x2956 -x2955 -x2954 -x2953 x2952 -x2951 x2950 -x2949 -x2948 -x2947
3585.87/3598.19 v x2946 -x2945 -x2944 -x2943 x2942 -x2941 -x2940 -x2939 x2938 -x2937 -x2936 -x2935 -x2934 -x2933 -x2932 x2931 x2930 -x2929 -x2928
3585.87/3598.19 v -x2927 x2926 -x2925 -x2924 -x2923 -x2922 x2921 -x2920 -x2919 x2918 -x2917 -x2916 -x2915 x2914 -x2913 -x2912 -x2911 x2910
3585.87/3598.19 v -x2909 -x2908 -x2907 -x2906 -x2905 -x2904 x2903 x2902 -x2901 -x2900 -x2899 -x2898 -x2897 x2896 -x2895 -x2894 x2893 -x2892 -x2891
3585.87/3598.19 v x2890 -x2889 -x2888 -x2887 x2886 -x2885 -x2884 -x2883 -x2882 -x2881 -x2880 x2879 -x2878 -x2877 -x2876 x2875 -x2874 -x2873
3585.87/3598.19 v -x2872 x2871 x2870 -x2869 -x2868 -x2867 -x2866 x2865 -x2864 -x2863 x2862 -x2861 -x2860 -x2859 -x2858 -x2857 x2856 -x2855 x2854
3585.87/3598.19 v -x2853 -x2852 -x2851 x2850 -x2849 -x2848 -x2847 x2846 -x2845 -x2844 -x2843 x2842 -x2841 -x2840 -x2839 x2838 -x2837 -x2836
3585.87/3598.19 v -x2835 x2834 -x2833 -x2832 -x2831 -x2830 -x2829 -x2828 x2827 x2826 -x2825 -x2824 -x2823 x2822 -x2821 -x2820 -x2819 -x2818 -x2817
3585.87/3598.19 v x2816 -x2815 x2814 -x2813 -x2812 -x2811 x2810 -x2809 -x2808 -x2807 x2806 -x2805 -x2804 -x2803 -x2802 -x2801 -x2800 x2799
3585.87/3598.19 v -x2798 x2797 -x2796 -x2795 x2794 -x2793 -x2792 -x2791 -x2790 -x2789 x2788 -x2787 x2786 -x2785 -x2784 -x2783 -x2782 x2781 -x2780
3585.87/3598.19 v -x2779 x2778 -x2777 -x2776 -x2775 -x2774 -x2773 -x2772 x2771 -x2770 -x2769 x2768 -x2767 -x2766 -x2765 x2764 -x2763 -x2762
3585.87/3598.19 v x2761 -x2760 -x2759 -x2758 -x2757 -x2756 x2755 x2754 -x2753 -x2752 -x2751 x2750 -x2749 -x2748 -x2747 x2746 -x2745 -x2744 -x2743
3585.87/3598.19 v -x2742 -x2741 x2740 -x2739 -x2738 x2737 -x2736 -x2735 x2734 -x2733 -x2732 -x2731 -x2730 -x2729 -x2728 x2727 x2726 -x2725
3585.87/3598.19 v -x2724 -x2723 x2722 -x2721 -x2720 -x2719 x2718 -x2717 -x2716 -x2715 x2714 -x2713 -x2712 -x2711 x2710 -x2709 -x2708 -x2707 x2706
3585.87/3598.19 v -x2705 -x2704 -x2703 x2702 -x2701 -x2700 -x2699 -x2698 -x2697 x2696 -x2695 -x2694 x2693 -x2692 -x2691 x2690 -x2689 -x2688
3585.87/3598.19 v -x2687 -x2686 -x2685 -x2684 x2683 x2682 -x2681 -x2680 -x2679 x2678 -x2677 -x2676 -x2675 x2674 -x2673 -x2672 -x2671 x2670 -x2669
3585.87/3598.19 v -x2668 -x2667 x2666 -x2665 -x2664 -x2663 x2662 -x2661 -x2660 -x2659 x2658 -x2657 -x2656 -x2655 x2654 -x2653 -x2652 -x2651
3585.87/3598.19 v x2650 -x2649 -x2648 -x2647 x2646 -x2645 -x2644 -x2643 x2642 -x2641 -x2640 -x2639 -x2638 -x2637 x2636 -x2635 -x2634 x2633 -x2632
3585.87/3598.19 v -x2631 x2630 -x2629 -x2628 -x2627 -x2626 -x2625 -x2624 x2623 x2622 -x2621 -x2620 -x2619 x2618 -x2617 -x2616 -x2615 x2614 -x2613
3585.87/3598.19 v -x2612 -x2611 x2610 -x2609 -x2608 -x2607 x2606 -x2605 -x2604 -x2603 x2602 -x2601 -x2600 -x2599 x2598 -x2597 -x2596 -x2595
3585.87/3598.19 v x2594 -x2593 -x2592 -x2591 x2590 -x2589 -x2588 -x2587 x2586 -x2585 -x2584 -x2583 x2582 -x2581 -x2580 -x2579 x2578 -x2577 -x2576
3585.87/3598.19 v -x2575 x2574 -x2573 -x2572 -x2571 x2570 -x2569 -x2568 -x2567 x2566 -x2565 -x2564 -x2563 -x2562 -x2561 x2560 -x2559 -x2558
3585.87/3598.19 v x2557 -x2556 -x2555 x2554 -x2553 -x2552 -x2551 -x2550 -x2549 -x2548 x2547 x2546 -x2545 -x2544 -x2543 x2542 -x2541 -x2540 -x2539
3585.87/3598.19 v x2538 -x2537 -x2536 -x2535 x2534 -x2533 -x2532 -x2531 x2530 -x2529 -x2528 -x2527 x2526 -x2525 -x2524 -x2523 x2522 -x2521
3585.87/3598.19 v -x2520 -x2519 x2518 -x2517 -x2516 -x2515 x2514 -x2513 -x2512 -x2511 x2510 -x2509 -x2508 -x2507 x2506 -x2505 -x2504 -x2503 x2502
3585.87/3598.19 v -x2501 -x2500 -x2499 -x2498 -x2497 x2496 -x2495 -x2494 x2493 -x2492 -x2491 x2490 -x2489 -x2488 -x2487 -x2486 -x2485 -x2484
3585.87/3598.19 v x2483 x2482 -x2481 -x2480 -x2479 x2478 -x2477 -x2476 -x2475 x2474 -x2473 -x2472 -x2471 x2470 -x2469 -x2468 -x2467 x2466 -x2465
3585.87/3598.19 v -x2464 -x2463 x2462 -x2461 -x2460 -x2459 x2458 -x2457 -x2456 -x2455 x2454 -x2453 -x2452 -x2451 x2450 -x2449 -x2448 -x2447
3585.87/3598.19 v x2446 -x2445 -x2444 -x2443 x2442 -x2441 -x2440 -x2439 x2438 -x2437 -x2436 -x2435 -x2434 -x2433 x2432 -x2431 -x2430 x2429 -x2428
3585.87/3598.19 v -x2427 x2426 -x2425 -x2424 -x2423 -x2422 -x2421 -x2420 x2419 x2418 -x2417 -x2416 -x2415 x2414 -x2413 -x2412 -x2411 x2410
3585.87/3598.19 v -x2409 -x2408 -x2407 x2406 -x2405 -x2404 -x2403 x2402 -x2401 -x2400 -x2399 x2398 -x2397 -x2396 -x2395 x2394 -x2393 -x2392 -x2391
3585.87/3598.19 v x2390 -x2389 -x2388 -x2387 x2386 -x2385 -x2384 -x2383 x2382 -x2381 -x2380 -x2379 x2378 -x2377 -x2376 -x2375 -x2374 -x2373
3585.87/3598.19 v x2372 -x2371 -x2370 x2369 -x2368 -x2367 x2366 -x2365 -x2364 -x2363 -x2362 -x2361 -x2360 x2359 x2358 -x2357 -x2356 -x2355 x2354
3585.87/3598.19 v -x2353 -x2352 -x2351 x2350 -x2349 -x2348 -x2347 x2346 -x2345 -x2344 -x2343 x2342 -x2341 -x2340 -x2339 x2338 -x2337 -x2336
3585.87/3598.19 v -x2335 x2334 -x2333 -x2332 -x2331 x2330 -x2329 -x2328 -x2327 x2326 -x2325 -x2324 -x2323 x2322 -x2321 -x2320 -x2319 x2318 -x2317
3585.87/3598.19 v -x2316 -x2315 -x2314 -x2313 x2312 -x2311 -x2310 x2309 -x2308 -x2307 x2306 -x2305 -x2304 -x2303 -x2302 -x2301 -x2300 x2299
3585.87/3598.19 v -x2298 x2297 x2296 -x2295 x2294 -x2293 -x2292 -x2291 x2290 -x2289 x2288 -x2287 -x2286 -x2285 x2284 -x2283 -x2282 -x2281 x2280
3585.87/3598.19 v -x2279 -x2278 -x2277 x2276 -x2275 x2274 -x2273 -x2272 x2271 x2270 -x2269 -x2268 -x2267 x2266 -x2265 x2264 -x2263 -x2262 -x2261
3585.87/3598.19 v x2260 -x2259 x2258 -x2257 -x2256 -x2255 x2254 -x2253 -x2252 -x2251 x2250 -x2249 x2248 -x2247 -x2246 -x2245 -x2244 x2243 -x2242
3585.87/3598.19 v -x2241 x2240 -x2239 x2238 -x2237 -x2236 -x2235 x2234 -x2233 -x2232 -x2231 x2230 -x2229 x2228 -x2227 -x2226 -x2225 x2224
3585.87/3598.19 v -x2223 -x2222 -x2221 -x2220 x2219 -x2218 -x2217 x2216 -x2215 -x2214 x2213 -x2212 x2211 -x2210 -x2209 -x2208 -x2207 -x2206 x2205
3585.87/3598.19 v -x2204 -x2203 x2202 -x2201 x2200 -x2199 -x2198 -x2197 x2196 -x2195 -x2194 -x2193 x2192 -x2191 -x2190 x2189 x2188 -x2187 -x2186
3585.87/3598.19 v x2185 -x2184 -x2183 x2182 -x2181 x2180 -x2179 -x2178 -x2177 -x2176 x2175 x2174 -x2173 x2172 -x2171 -x2170 -x2169 x2168
3585.87/3598.19 v -x2167 -x2166 -x2165 x2164 -x2163 -x2162 -x2161 -x2160 -x2159 x2158 -x2157 -x2156 x2155 -x2154 -x2153 -x2152 -x2151 x2150 -x2149
3585.87/3598.19 v -x2148 x2147 -x2146 -x2145 -x2144 -x2143 x2142 -x2141 -x2140 x2139 -x2138 -x2137 x2136 -x2135 x2134 -x2133 x2132 -x2131 -x2130
3585.87/3598.19 v x2129 -x2128 -x2127 x2126 -x2125 -x2124 -x2123 x2122 -x2121 -x2120 -x2119 -x2118 -x2117 -x2116 x2115 -x2114 x2113 x2112
3585.87/3598.19 v -x2111 x2110 -x2109 x2108 -x2107 -x2106 -x2105 -x2104 -x2103 -x2102 x2101 -x2100 x2099 x2098 -x2097 x2096 -x2095 x2094 -x2093
3585.87/3598.19 v x2092 -x2091 x2090 -x2089 -x2088 -x2087 -x2086 -x2085 -x2084 x2083 x2082 -x2081 -x2080 -x2079 x2078 -x2077 -x2076 -x2075 x2074
3585.87/3598.19 v -x2073 -x2072 -x2071 x2070 -x2069 -x2068 -x2067 x2066 -x2065 -x2064 -x2063 x2062 -x2061 -x2060 -x2059 x2058 -x2057 -x2056
3585.87/3598.19 v -x2055 x2054 -x2053 -x2052 -x2051 x2050 -x2049 x2048 -x2047 -x2046 -x2045 x2044 -x2043 -x2042 -x2041 x2040 -x2039 x2038 -x2037
3585.87/3598.19 v x2036 -x2035 x2034 -x2033 -x2032 -x2031 -x2030 -x2029 -x2028 x2027 x2026 -x2025 -x2024 -x2023 x2022 -x2021 -x2020 -x2019 x2018
3585.87/3598.19 v -x2017 -x2016 -x2015 x2014 -x2013 -x2012 -x2011 x2010 -x2009 -x2008 -x2007 -x2006 -x2005 x2004 -x2003 -x2002 x2001 -x2000
3585.87/3598.19 v -x1999 x1998 -x1997 -x1996 -x1995 x1994 -x1993 -x1992 -x1991 x1990 -x1989 x1988 -x1987 x1986 -x1985 -x1984 -x1983 x1982 -x1981
3585.87/3598.19 v -x1980 -x1979 -x1978 -x1977 -x1976 x1975 x1974 -x1973 -x1972 -x1971 x1970 -x1969 -x1968 -x1967 x1966 -x1965 -x1964 -x1963
3585.87/3598.19 v x1962 -x1961 -x1960 -x1959 x1958 -x1957 -x1956 -x1955 x1954 -x1953 -x1952 -x1951 x1950 -x1949 -x1948 -x1947 x1946 -x1945 -x1944
3585.87/3598.19 v -x1943 -x1942 -x1941 x1940 -x1939 -x1938 x1937 -x1936 -x1935 x1934 -x1933 -x1932 -x1931 x1930 -x1929 x1928 -x1927 x1926 -x1925
3585.87/3598.19 v -x1924 -x1923 x1922 -x1921 -x1920 -x1919 x1918 -x1917 -x1916 -x1915 x1914 -x1913 -x1912 -x1911 x1910 -x1909 -x1908 -x1907
3585.87/3598.19 v x1906 -x1905 -x1904 -x1903 x1902 -x1901 -x1900 -x1899 x1898 -x1897 -x1896 -x1895 -x1894 -x1893 x1892 -x1891 -x1890 x1889 -x1888
3585.87/3598.19 v -x1887 x1886 -x1885 -x1884 -x1883 -x1882 -x1881 -x1880 x1879 x1878 -x1877 -x1876 -x1875 x1874 -x1873 -x1872 -x1871 x1870
3585.87/3598.19 v -x1869 -x1868 -x1867 -x1866 -x1865 -x1864 x1863 -x1862 x1861 -x1860 -x1859 x1858 -x1857 x1856 -x1855 x1854 -x1853 x1852 -x1851
3585.87/3598.19 v x1850 -x1849 x1848 -x1847 x1846 -x1845 x1844 -x1843 x1842 -x1841 x1840 -x1839 x1838 -x1837 x1836 -x1835 x1834 -x1833 x1832
3585.87/3598.19 v -x1831 x1830 -x1829 -x1828 -x1827 x1826 -x1825 -x1824 -x1823 x1822 -x1821 x1820 -x1819 x1818 -x1817 -x1816 x1815 -x1814 -x1813
3585.87/3598.19 v -x1812 x1811 -x1810 x1809 -x1808 x1807 -x1806 -x1805 -x1804 -x1803 -x1802 x1801 -x1800 x1799 -x1798 -x1797 -x1796 x1795 x1794
3585.87/3598.19 v -x1793 x1792 -x1791 x1790 -x1789 x1788 -x1787 -x1786 x1785 x1784 -x1783 -x1782 -x1781 x1780 -x1779 x1778 -x1777 x1776 -x1775
3585.87/3598.19 v -x1774 x1773 x1772 -x1771 x1770 -x1769 -x1768 -x1767 -x1766 x1765 -x1764 x1763 -x1762 -x1761 x1760 -x1759 -x1758 -x1757
3585.87/3598.19 v -x1756 -x1755 -x1754 x1753 x1752 -x1751 -x1750 -x1749 -x1748 x1747 -x1746 -x1745 x1744 -x1743 -x1742 -x1741 -x1740 -x1739 -x1738
3585.87/3598.19 v x1737 x1736 -x1735 -x1734 -x1733 -x1732 x1731 -x1730 -x1729 x1728 -x1727 -x1726 -x1725 -x1724 -x1723 -x1722 x1721 -x1720
3585.87/3598.19 v -x1719 x1718 -x1717 -x1716 -x1715 -x1714 x1713 -x1712 -x1711 x1710 -x1709 -x1708 -x1707 -x1706 x1705 -x1704 -x1703 -x1702 x1701
3585.87/3598.19 v -x1700 x1699 -x1698 x1697 -x1696 x1695 -x1694 x1693 x1692 -x1691 x1690 -x1689 -x1688 x1687 x1686 -x1685 x1684 -x1683 x1682
3585.87/3598.19 v -x1681 x1680 -x1679 -x1678 x1677 x1676 -x1675 x1674 -x1673 x1672 -x1671 x1670 -x1669 -x1668 x1667 x1666 -x1665 -x1664 x1663
3585.87/3598.19 v x1662 -x1661 x1660 -x1659 -x1658 x1657 -x1656 x1655 x1654 -x1653 -x1652 -x1651 x1650 -x1649 -x1648 x1647 -x1646 -x1645 x1644
3585.87/3598.19 v -x1643 -x1642 -x1641 x1640 -x1639 -x1638 -x1637 x1636 -x1635 -x1634 -x1633 -x1632 -x1631 x1630 -x1629 -x1628 x1627 -x1626 -x1625
3585.87/3598.19 v x1624 -x1623 -x1622 -x1621 x1620 -x1619 -x1618 -x1617 x1616 -x1615 -x1614 -x1613 -x1612 -x1611 x1610 -x1609 -x1608 x1607
3585.87/3598.19 v -x1606 -x1605 x1604 -x1603 -x1602 -x1601 -x1600 -x1599 -x1598 x1597 -x1596 -x1595 x1594 -x1593 -x1592 -x1591 -x1590 x1589 -x1588
3585.87/3598.19 v -x1587 x1586 -x1585 -x1584 x1583 -x1582 -x1581 -x1580 -x1579 -x1578 x1577 -x1576 -x1575 x1574 -x1573 -x1572 x1571 -x1570
3585.87/3598.19 v -x1569 -x1568 -x1567 -x1566 x1565 -x1564 -x1563 x1562 -x1561 x1560 -x1559 -x1558 -x1557 -x1556 x1555 -x1554 -x1553 -x1552 x1551
3585.87/3598.19 v -x1550 -x1549 -x1548 -x1547 -x1546 x1545 x1544 -x1543 -x1542 -x1541 x1540 -x1539 -x1538 -x1537 x1536 -x1535 -x1534 -x1533
3585.87/3598.19 v x1532 -x1531 -x1530 -x1529 x1528 -x1527 -x1526 -x1525 -x1524 -x1523 x1522 -x1521 -x1520 x1519 -x1518 -x1517 -x1516 -x1515 -x1514
3585.87/3598.19 v x1513 x1512 -x1511 -x1510 -x1509 x1508 -x1507 -x1506 -x1505 x1504 -x1503 -x1502 -x1501 x1500 -x1499 -x1498 -x1497 x1496 -x1495
3585.87/3598.19 v -x1494 -x1493 -x1492 -x1491 x1490 -x1489 -x1488 x1487 -x1486 -x1485 -x1484 -x1483 -x1482 x1481 x1480 -x1479 -x1478 -x1477
3585.87/3598.19 v x1476 -x1475 -x1474 -x1473 x1472 -x1471 -x1470 -x1469 x1468 -x1467 -x1466 -x1465 x1464 -x1463 -x1462 -x1461 x1460 -x1459 -x1458
3585.87/3598.19 v -x1457 -x1456 x1455 x1454 -x1453 -x1452 -x1451 x1450 -x1449 -x1448 -x1447 x1446 -x1445 -x1444 -x1443 -x1442 -x1441 x1440
3585.87/3598.19 v -x1439 -x1438 x1437 -x1436 -x1435 -x1434 -x1433 -x1432 x1431 -x1430 -x1429 x1428 -x1427 -x1426 x1425 -x1424 -x1423 -x1422 -x1421
3585.87/3598.19 v -x1420 x1419 x1418 -x1417 -x1416 -x1415 -x1414 x1413 -x1412 x1411 -x1410 x1409 -x1408 x1407 x1406 -x1405 x1404 -x1403 x1402
3585.87/3598.19 v -x1401 -x1400 x1399 x1398 -x1397 -x1396 x1395 -x1394 x1393 -x1392 x1391 -x1390 x1389 x1388 -x1387 x1386 -x1385 -x1384 x1383
3585.87/3598.19 v x1382 -x1381 -x1380 x1379 x1378 -x1377 -x1376 x1375 -x1374 -x1373 x1372 -x1371 -x1370 -x1369 -x1368 x1367 -x1366 x1365 -x1364
3585.87/3598.19 v x1363 -x1362 x1361 -x1360 x1359 x1358 -x1357 x1356 -x1355 x1354 -x1353 x1352 -x1351 -x1350 x1349 x1348 -x1347 x1346 -x1345
3585.87/3598.19 v x1344 -x1343 x1342 -x1341 x1340 -x1339 x1338 -x1337 x1336 -x1335 x1334 -x1333 x1332 -x1331 -x1330 -x1329 x1328 -x1327 -x1326
3585.87/3598.19 v -x1325 -x1324 x1323 -x1322 x1321 -x1320 -x1319 -x1318 -x1317 x1316 -x1315 -x1314 -x1313 -x1312 x1311 -x1310 x1309 -x1308 -x1307
3585.87/3598.19 v -x1306 -x1305 x1304 -x1303 x1302 -x1301 -x1300 x1299 -x1298 x1297 x1296 -x1295 x1294 -x1293 x1292 -x1291 -x1290 x1289 x1288
3585.87/3598.19 v -x1287 -x1286 x1285 -x1284 x1283 x1282 -x1281 -x1280 x1279 -x1278 x1277 x1276 -x1275 -x1274 x1273 x1272 -x1271 -x1270 x1269
3585.87/3598.19 v -x1268 -x1267 -x1266 x1265 -x1264 -x1263 x1262 -x1261 -x1260 x1259 -x1258 -x1257 -x1256 -x1255 -x1254 x1253 -x1252 -x1251
3585.87/3598.19 v x1250 -x1249 x1248 -x1247 -x1246 -x1245 x1244 -x1243 -x1242 -x1241 -x1240 x1239 -x1238 -x1237 -x1236 -x1235 -x1234 x1233 -x1232
3585.87/3598.19 v -x1231 x1230 -x1229 x1228 -x1227 -x1226 -x1225 x1224 -x1223 -x1222 -x1221 -x1220 x1219 -x1218 -x1217 x1216 -x1215 -x1214
3585.87/3598.19 v -x1213 -x1212 -x1211 x1210 -x1209 -x1208 -x1207 -x1206 x1205 x1204 -x1203 -x1202 -x1201 -x1200 x1199 -x1198 x1197 -x1196 x1195
3585.87/3598.19 v -x1194 -x1193 x1192 -x1191 -x1190 x1189 -x1188 -x1187 -x1186 -x1185 -x1184 x1183 -x1182 -x1181 x1180 -x1179 -x1178 x1177 -x1176
3585.87/3598.19 v -x1175 -x1174 -x1173 -x1172 x1171 -x1170 -x1169 x1168 -x1167 -x1166 x1165 -x1164 -x1163 x1162 -x1161 -x1160 -x1159 x1158
3585.87/3598.19 v -x1157 x1156 -x1155 -x1154 -x1153 -x1152 x1151 -x1150 -x1149 x1148 -x1147 -x1146 x1145 -x1144 -x1143 x1142 -x1141 -x1140 -x1139
3585.87/3598.19 v x1138 -x1137 x1136 -x1135 -x1134 -x1133 x1132 -x1131 -x1130 -x1129 -x1128 x1127 -x1126 -x1125 x1124 -x1123 -x1122 x1121 -x1120
3585.87/3598.19 v -x1119 x1118 -x1117 -x1116 -x1115 x1114 -x1113 -x1112 -x1111 -x1110 -x1109 -x1108 x1107 -x1106 -x1105 x1104 -x1103 -x1102
3585.87/3598.19 v x1101 -x1100 -x1099 x1098 -x1097 -x1096 -x1095 x1094 -x1093 -x1092 -x1091 x1090 -x1089 -x1088 -x1087 -x1086 -x1085 -x1084
3585.87/3598.19 v x1083 -x1082 -x1081 x1080 -x1079 x1078 -x1077 -x1076 x1075 x1074 -x1073 x1072 -x1071 -x1070 x1069 x1068 -x1067 x1066 -x1065 -x1064
3585.87/3598.19 v x1063 x1062 -x1061 x1060 -x1059 x1058 -x1057 -x1056 x1055 -x1054 x1053 x1052 -x1051 x1050 -x1049 x1048 -x1047 -x1046 x1045
3585.87/3598.19 v -x1044 -x1043 -x1042 x1041 x1040 -x1039 x1038 -x1037 -x1036 -x1035 x1034 -x1033 x1032 -x1031 x1030 -x1029 -x1028 -x1027 -x1026
3585.87/3598.19 v -x1025 -x1024 x1023 x1022 -x1021 -x1020 -x1019 x1018 -x1017 -x1016 -x1015 x1014 -x1013 -x1012 -x1011 -x1010 x1009 x1008
3585.87/3598.19 v -x1007 x1006 -x1005 x1004 -x1003 -x1002 -x1001 x1000 -x999 x998 -x997 -x996 -x995 -x994 -x993 -x992 x991 x990 -x989 -x988 -x987
3585.87/3598.19 v x986 -x985 -x984 -x983 x982 -x981 -x980 -x979 -x978 x977 -x976 -x975 x974 -x973 -x972 x971 x970 -x969 x968 -x967 x966 -x965
3585.87/3598.19 v -x964 -x963 x962 -x961 x960 -x959 -x958 -x957 -x956 -x955 -x954 x953 x952 -x951 -x950 -x949 x948 -x947 -x946 -x945 x944 -x943
3585.87/3598.19 v -x942 -x941 x940 -x939 -x938 -x937 -x936 x935 -x934 -x933 x932 -x931 x930 -x929 x928 -x927 x926 -x925 -x924 -x923 x922 -x921
3585.87/3598.19 v -x920 -x919 x918 -x917 -x916 -x915 -x914 x913 x912 -x911 x910 -x909 x908 -x907 -x906 -x905 x904 -x903 x902 -x901 -x900 -x899
3585.87/3598.19 v -x898 -x897 -x896 x895 x894 -x893 -x892 -x891 x890 -x889 -x888 -x887 x886 -x885 -x884 -x883 x882 -x881 -x880 -x879 -x878
3585.87/3598.19 v x877 -x876 -x875 x874 -x873 x872 -x871 x870 -x869 x868 -x867 x866 -x865 -x864 -x863 -x862 x861 x860 -x859 x858 -x857 x856 -x855
3585.87/3598.19 v -x854 -x853 x852 -x851 x850 -x849 -x848 -x847 -x846 -x845 -x844 x843 x842 -x841 -x840 -x839 x838 -x837 -x836 -x835 x834 -x833
3585.87/3598.19 v -x832 -x831 x830 -x829 -x828 -x827 -x826 x825 -x824 -x823 x822 -x821 x820 -x819 x818 -x817 x816 -x815 x814 -x813 x812 -x811
3585.87/3598.19 v x810 -x809 x808 -x807 -x806 -x805 x804 -x803 x802 -x801 -x800 -x799 -x798 -x797 -x796 x795 x794 -x793 -x792 -x791 x790 -x789
3585.87/3598.19 v -x788 -x787 x786 -x785 -x784 -x783 x782 -x781 -x780 -x779 -x778 x777 -x776 -x775 x774 -x773 x772 -x771 x770 -x769 x768 -x767
3585.87/3598.19 v x766 -x765 x764 -x763 -x762 -x761 x760 -x759 x758 -x757 x756 -x755 -x754 -x753 x752 -x751 x750 -x749 -x748 -x747 x746 -x745
3585.87/3598.19 v -x744 -x743 x742 -x741 -x740 -x739 x738 -x737 -x736 -x735 x734 -x733 -x732 -x731 x730 -x729 -x728 -x727 -x726 x725 -x724 -x723
3585.87/3598.19 v x722 -x721 x720 -x719 x718 -x717 x716 -x715 x714 -x713 x712 -x711 x710 -x709 -x708 -x707 x706 -x705 x704 -x703 -x702 -x701
3585.87/3598.19 v x700 -x699 x698 -x697 -x696 -x695 x694 -x693 -x692 -x691 x690 -x689 -x688 -x687 x686 -x685 -x684 -x683 -x682 -x681 -x680 x679
3585.87/3598.19 v -x678 -x677 x676 -x675 -x674 x673 -x672 -x671 x670 -x669 x668 -x667 x666 -x665 x664 -x663 x662 -x661 x660 -x659 x658 -x657
3585.87/3598.19 v -x656 -x655 x654 -x653 x652 -x651 -x650 -x649 x648 -x647 x646 -x645 -x644 -x643 x642 -x641 -x640 -x639 x638 -x637 -x636 -x635
3585.87/3598.19 v x634 -x633 -x632 -x631 -x630 -x629 -x628 x627 -x626 -x625 x624 -x623 -x622 x621 -x620 -x619 x618 -x617 x616 -x615 x614 -x613
3585.87/3598.19 v x612 -x611 x610 -x609 -x608 -x607 x606 -x605 -x604 -x603 x602 -x601 x600 -x599 -x598 -x597 x596 -x595 -x594 -x593 x592 -x591
3585.87/3598.19 v -x590 -x589 x588 -x587 -x586 -x585 -x584 -x583 -x582 x581 -x580 -x579 x578 -x577 -x576 x575 -x574 -x573 x572 -x571 x570 -x569
3585.87/3598.19 v x568 -x567 x566 -x565 x564 -x563 -x562 -x561 x560 -x559 -x558 -x557 x556 -x555 -x554 -x553 -x552 -x551 -x550 x549 -x548 -x547
3585.87/3598.19 v x546 -x545 -x544 x543 -x542 -x541 x540 -x539 x538 -x537 x536 -x535 x534 -x533 -x532 -x531 -x530 x529 -x528 -x527 x526 -x525
3585.87/3598.19 v -x524 x523 -x522 -x521 x520 -x519 x518 -x517 x516 -x515 x514 -x513 x512 -x511 x510 -x509 x508 -x507 -x506 -x505 x504 -x503
3585.87/3598.19 v -x502 -x501 x500 -x499 -x498 -x497 -x496 -x495 -x494 x493 x492 -x491 x490 -x489 x488 -x487 -x486 -x485 x484 -x483 -x482 -x481
3585.87/3598.19 v -x480 x479 -x478 -x477 x476 -x475 -x474 -x473 x472 -x471 -x470 -x469 -x468 -x467 x466 -x465 x464 -x463 x462 -x461 x460 -x459
3585.87/3598.19 v x458 -x457 x456 -x455 -x454 -x453 -x452 -x451 -x450 x449 x448 -x447 -x446 -x445 x444 -x443 -x442 -x441 -x440 x439 -x438 -x437
3585.87/3598.19 v -x436 -x435 x434 -x433 x432 -x431 x430 -x429 x428 -x427 x426 -x425 -x424 -x423 x422 -x421 -x420 -x419 x418 -x417 -x416 -x415
3585.87/3598.19 v x414 -x413 -x412 -x411 x410 -x409 -x408 -x407 -x406 x405 -x404 -x403 -x402 -x401 x400 -x399 x398 -x397 x396 -x395 x394 -x393
3585.87/3598.19 v x392 -x391 x390 -x389 -x388 -x387 x386 -x385 -x384 -x383 x382 -x381 -x380 -x379 x378 -x377 x376 -x375 -x374 -x373 x372 -x371
3585.87/3598.19 v -x370 -x369 -x368 x367 -x366 -x365 x364 -x363 -x362 -x361 -x360 -x359 x358 -x357 x356 -x355 x354 -x353 x352 -x351 x350 -x349
3585.87/3598.19 v x348 -x347 x346 -x345 -x344 -x343 -x342 -x341 -x340 x339 x338 -x337 -x336 -x335 x334 -x333 x332 -x331 -x330 -x329 x328 -x327
3586.06/3598.33 v -x326 -x325 x324 -x323 -x322 -x321 -x320 x319 -x318 -x317 -x316 -x315 x314 -x313 x312 -x311 x310 -x309 x308 -x307 x306 -x305
3586.06/3598.33 v x304 -x303 x302 -x301 x300 -x299 x298 -x297 -x296 -x295 x294 -x293 -x292 -x291 x290 -x289 -x288 -x287 x286 -x285 -x284 -x283
3586.06/3598.33 v -x282 -x281 -x280 x279 x278 -x277 -x276 -x275 x274 -x273 -x272 -x271 x270 -x269 -x268 -x267 x266 -x265 -x264 -x263 x262 -x261
3586.06/3598.33 v -x260 x259 -x258 -x257 x256 -x255 x254 -x253 -x252 -x251 -x250 -x249 -x248 x247 x246 -x245 -x244 -x243 -x242 -x241 x240 -x239
3586.06/3598.33 v x238 -x237 -x236 x235 -x234 -x233 x232 -x231 x230 -x229 x228 -x227 -x226 -x225 x224 -x223 -x222 -x221 -x220 x219 x218 -x217
3586.06/3598.33 v -x216 -x215 x214 -x213 -x212 -x211 x210 -x209 -x208 x207 -x206 -x205 x204 -x203 x202 -x201 x200 -x199 x198 -x197 -x196 -x195
3586.06/3598.33 v -x194 x193 x192 -x191 x190 -x189 x188 -x187 -x186 x185 x184 -x183 x182 -x181 x180 -x179 x178 -x177 -x176 x175 x174 -x173
3586.06/3598.33 v x172 -x171 x170 -x169 x168 -x167 x166 -x165 -x164 x163 -x162 x161 x160 -x159 x158 -x157 x156 -x155 x154 -x153 x152 -x151 -x150
3586.06/3598.33 v x149 x148 -x147 x146 -x145 x144 -x143 x142 -x141 x140 -x139 x138 -x137 x136 -x135 x134 -x133 -x132 x131 -x130 -x129 -x128 x127
3586.06/3598.33 v x126 -x125 x124 -x123 -x122 x121 -x120 x119 -x118 -x117 x116 -x115 x114 -x113 -x112 x111 x110 -x109 x108 -x107 x106 -x105
3586.06/3598.33 v -x104 x103 x102 -x101 -x100 -x99 x98 -x97 -x96 x95 x94 -x93 x92 -x91 x90 -x89 x88 -x87 x86 -x85 -x84 -x83 -x82 x81 x80 -x79
3586.06/3598.33 v -x78 -x77 x76 -x75 x74 -x73 x72 -x71 -x70 x69 x68 -x67 x66 -x65 -x64 x63 x62 -x61 x60 -x59 -x58 x57 x56 -x55 x54 -x53 -x52 x51
3586.06/3598.33 v x50 -x49 x48 -x47 -x46 x45 x44 -x43 x42 -x41 -x40 x39 x38 -x37 x36 -x35 -x34 x33 x32 -x31 x30 -x29 -x28 x27 x26 -x25 x24 -x23
3586.06/3598.33 v -x22 x21 x20 -x19 x18 -x17 -x16 x15 x14 -x13 x12 -x11 -x10 x9 x8 -x7 x6 -x5 -x4 x3 -x2 x1
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63968 MiB (61040 MiB free)
memory of node 1: 64473 MiB (61784 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4465006-1722390185/watcher-4465006-1722390185 -o /tmp/evaluation-result-4465006-1722390185/solver-4465006-1722390185 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC032-1722389405-35195 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4465006-1722390185.wbo -qsol -t 3600 -sth 1
running on 2 cores: 5,7
CPU governors:
performance: 5 7
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=37284, runsolver pid=37281
[startup+0.100377 s]*
/proc/loadavg: 4.13 4.11 4.11 5/266 37285
/proc/meminfo: memFree=125730920/131524600 swapFree=131071996/131071996
[pid=37284] ppid=37281 vsize=62708 memory=51184 CPUtime=0.09 cores=5,7
/proc/37284/stat : 37284 (fscip) R 37281 37284 35128 0 -1 4194304 10714 0 0 0 8 1 0 0 20 0 1 0 5620534 64212992 12796 134679101440 4194304 16623229 140734644158240 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 57085952 140734644159508 140734644159624 140734644159624 140734644166640 0
/proc/37284/statm: 15677 12796 2347 3035 0 12073 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 62708 KiB
Current children cumulated memory: 51184 KiB
[startup+0.206396 s]*
/proc/loadavg: 4.13 4.11 4.11 5/266 37285
/proc/meminfo: memFree=125676428/131524600 swapFree=131071996/131071996
[pid=37284] ppid=37281 vsize=118264 memory=106928 CPUtime=0.19 cores=5,7
/proc/37284/stat : 37284 (fscip) R 37281 37284 35128 0 -1 4194304 24857 0 0 0 16 3 0 0 20 0 1 0 5620534 121102336 26732 134679101440 4194304 16623229 140734644158240 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 57085952 140734644159508 140734644159624 140734644159624 140734644166640 0
/proc/37284/statm: 29566 26732 2555 3035 0 25962 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 118264 KiB
Current children cumulated memory: 106928 KiB
[startup+0.305674 s]*
/proc/loadavg: 4.13 4.11 4.11 5/266 37285
/proc/meminfo: memFree=125634808/131524600 swapFree=131071996/131071996
[pid=37284] ppid=37281 vsize=160156 memory=148640 CPUtime=0.29 cores=5,7
/proc/37284/stat : 37284 (fscip) R 37281 37284 35128 0 -1 4194304 35322 0 0 0 24 5 0 0 20 0 1 0 5620534 163999744 37160 134679101440 4194304 16623229 140734644158240 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 57085952 140734644159508 140734644159624 140734644159624 140734644166640 0
/proc/37284/statm: 40039 37160 2555 3035 0 36435 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 160156 KiB
Current children cumulated memory: 148640 KiB
[startup+0.700241 s]
/proc/loadavg: 4.13 4.11 4.11 5/266 37285
/proc/meminfo: memFree=125564248/131524600 swapFree=131071996/131071996
[pid=37284] ppid=37281 vsize=307292 memory=289696 CPUtime=0.67 cores=5,7
/proc/37284/stat : 37284 (fscip) R 37281 37284 35128 0 -1 4194304 71613 0 0 0 57 10 0 0 20 0 1 0 5620534 314667008 72424 134679101440 4194304 16623229 140734644158240 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 57085952 140734644159508 140734644159624 140734644159624 140734644166640 0
/proc/37284/statm: 76823 72424 2614 3035 0 73219 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 307292 KiB
Current children cumulated memory: 289696 KiB
[startup+1.50024 s]
/proc/loadavg: 4.12 4.11 4.11 5/266 37285
/proc/meminfo: memFree=125489432/131524600 swapFree=131071996/131071996
[pid=37284] ppid=37281 vsize=318396 memory=300944 CPUtime=1.47 cores=5,7
/proc/37284/stat : 37284 (fscip) R 37281 37284 35128 0 -1 4194304 75647 0 0 0 136 11 0 0 20 0 1 0 5620534 326037504 75236 134679101440 4194304 16623229 140734644158240 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 57085952 140734644159508 140734644159624 140734644159624 140734644166640 0
/proc/37284/statm: 79599 75236 2646 3035 0 75995 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 318396 KiB
Current children cumulated memory: 300944 KiB
[startup+3.10573 s]
/proc/loadavg: 4.12 4.11 4.11 5/266 37285
/proc/meminfo: memFree=125480940/131524600 swapFree=131071996/131071996
[pid=37284] ppid=37281 vsize=319164 memory=301736 CPUtime=3.07 cores=5,7
/proc/37284/stat : 37284 (fscip) R 37281 37284 35128 0 -1 4194304 75839 0 0 0 296 11 0 0 20 0 1 0 5620534 326823936 75434 134679101440 4194304 16623229 140734644158240 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 57085952 140734644159508 140734644159624 140734644159624 140734644166640 0
/proc/37284/statm: 79791 75434 2646 3035 0 76187 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 319164 KiB
Current children cumulated memory: 301736 KiB
[startup+6.30023 s]
/proc/loadavg: 4.11 4.11 4.11 5/266 37286
/proc/meminfo: memFree=125479508/131524600 swapFree=131071996/131071996
[pid=37284] ppid=37281 vsize=320192 memory=302792 CPUtime=6.25 cores=5,7
/proc/37284/stat : 37284 (fscip) R 37281 37284 35128 0 -1 4194304 76095 0 0 0 613 12 0 0 20 0 1 0 5620534 327876608 75698 134679101440 4194304 16623229 140734644158240 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 57085952 140734644159508 140734644159624 140734644159624 140734644166640 0
/proc/37284/statm: 80048 75698 2646 3035 0 76444 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 320192 KiB
Current children cumulated memory: 302792 KiB
[startup+12.7002 s]
/proc/loadavg: 4.10 4.11 4.10 5/266 37286
/proc/meminfo: memFree=125401148/131524600 swapFree=131071996/131071996
[pid=37284] ppid=37281 vsize=393776 memory=364752 CPUtime=12.63 cores=5,7
/proc/37284/stat : 37284 (fscip) R 37281 37284 35128 0 -1 4194304 91960 0 0 0 1247 16 0 0 20 0 1 0 5620534 403226624 91188 134679101440 4194304 16623229 140734644158240 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 57085952 140734644159508 140734644159624 140734644159624 140734644166640 0
/proc/37284/statm: 98444 91188 2950 3035 0 94840 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 393776 KiB
Current children cumulated memory: 364752 KiB
[startup+25.5002 s]
/proc/loadavg: 4.08 4.10 4.10 5/266 37289
/proc/meminfo: memFree=125341644/131524600 swapFree=131071996/131071996
[pid=37284] ppid=37281 vsize=440508 memory=402748 CPUtime=25.38 cores=5,7
/proc/37284/stat : 37284 (fscip) R 37281 37284 35128 0 -1 4194304 101579 0 0 0 2520 18 0 0 20 0 1 0 5620534 451080192 100687 134679101440 4194304 16623229 140734644158240 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 57085952 140734644159508 140734644159624 140734644159624 140734644166640 0
/proc/37284/statm: 110127 100687 2950 3035 0 106523 0
Current children cumulated CPU time: 25.38 s
Current children cumulated vsize: 440508 KiB
Current children cumulated memory: 402748 KiB
[startup+51.1057 s]
/proc/loadavg: 4.05 4.09 4.10 5/267 37293
/proc/meminfo: memFree=125314496/131524600 swapFree=131071996/131071996
[pid=37284] ppid=37281 vsize=468616 memory=424896 CPUtime=50.9 cores=5,7
/proc/37284/stat : 37284 (fscip) R 37281 37284 35128 0 -1 4194304 110589 0 0 0 5067 23 0 0 20 0 1 0 5620534 479862784 106224 134679101440 4194304 16623229 140734644158240 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 57085952 140734644159508 140734644159624 140734644159624 140734644166640 0
/proc/37284/statm: 117154 106224 2950 3035 0 113550 0
Current children cumulated CPU time: 50.9 s
Current children cumulated vsize: 468616 KiB
Current children cumulated memory: 424896 KiB
[startup+102.3 s]
/proc/loadavg: 4.06 4.09 4.09 5/269 37304
/proc/meminfo: memFree=125120112/131524600 swapFree=131071996/131071996
[pid=37284] ppid=37281 vsize=737680 memory=599860 CPUtime=101.92 cores=5,7
/proc/37284/stat : 37284 (fscip) S 37281 37284 35128 0 -1 1077936128 204642 0 0 0 10158 34 0 0 20 0 3 0 5620534 755384320 149965 134679101440 4194304 16623229 140734644158240 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 57085952 140734644159508 140734644159624 140734644159624 140734644166640 0
/proc/37284/statm: 184420 149965 2966 3035 0 166773 0
[pid=37284/tid=37297] ppid=37281 vsize=737680 memory=12916 CPUtime=38.79 cores=5,7
/proc/37284/task/37297/stat : 37297 (fscip) R 37281 37284 35128 0 -1 4194368 90927 0 0 0 3870 9 0 0 20 0 3 0 5626863 755384320 149965 134679101440 4194304 16623229 140734644158240 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 57085952 140734644159508 140734644159624 140734644159624 140734644166640 0
[pid=37284/tid=37298] ppid=37281 vsize=737680 memory=-5155634578721172357 CPUtime=0 cores=5,7
/proc/37284/task/37298/stat : 37298 (fscip) S 37281 37284 35128 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 3 0 5626876 755384320 149965 134679101440 4194304 16623229 140734644158240 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 57085952 140734644159508 140734644159624 140734644159624 140734644166640 0
Current children cumulated CPU time: 101.92 s
Current children cumulated vsize: 737680 KiB
Current children cumulated memory: 599860 KiB
[startup+162.3 s]
/proc/loadavg: 4.12 4.10 4.09 5/267 37316
/proc/meminfo: memFree=124454436/131524600 swapFree=131071996/131071996
[pid=37284] ppid=37281 vsize=868752 memory=663224 CPUtime=161.74 cores=5,7
/proc/37284/stat : 37284 (fscip) S 37281 37284 35128 0 -1 1077936128 255518 0 0 0 16134 40 0 0 20 0 3 0 5620534 889602048 165806 134679101440 4194304 16623229 140734644158240 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 57085952 140734644159508 140734644159624 140734644159624 140734644166640 0
/proc/37284/statm: 217188 165806 2966 3035 0 200230 0
[pid=37284/tid=37297] ppid=37281 vsize=868752 memory=655540 CPUtime=98.62 cores=5,7
/proc/37284/task/37297/stat : 37297 (fscip) R 37281 37284 35128 0 -1 4194368 141790 0 0 0 9847 15 0 0 20 0 3 0 5626863 889602048 165806 134679101440 4194304 16623229 140734644158240 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 57085952 140734644159508 140734644159624 140734644159624 140734644166640 0
[pid=37284/tid=37298] ppid=37281 vsize=868752 memory=660976 CPUtime=0 cores=5,7
/proc/37284/task/37298/stat : 37298 (fscip) S 37281 37284 35128 0 -1 1077936192 36 0 0 0 0 0 0 0 20 0 3 0 5626876 889602048 165806 134679101440 4194304 16623229 140734644158240 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 57085952 140734644159508 140734644159624 140734644159624 140734644166640 0
Current children cumulated CPU time: 161.74 s
Current children cumulated vsize: 868752 KiB
Current children cumulated memory: 663224 KiB
[startup+222.3 s]
/proc/loadavg: 3.65 3.98 4.05 4/258 37359
/proc/meminfo: memFree=125672704/131524600 swapFree=131071996/131071996
[pid=37284] ppid=37281 vsize=955272 memory=751708 CPUtime=221.59 cores=5,7
/proc/37284/stat : 37284 (fscip) S 37281 37284 35128 0 -1 1077936128 295449 0 0 0 22114 45 0 0 20 0 3 0 5620534 978198528 187927 134679101440 4194304 16623229 140734644158240 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 57085952 140734644159508 140734644159624 140734644159624 140734644166640 0
/proc/37284/statm: 238818 187927 2966 3035 0 231171 0
[pid=37284/tid=37297] ppid=37281 vsize=955272 memory=11556 CPUtime=158.46 cores=5,7
/proc/37284/task/37297/stat : 37297 (fscip) R 37281 37284 35128 0 -1 4194368 181718 0 0 0 15827 19 0 0 20 0 3 0 5626863 978198528 187927 134679101440 4194304 16623229 140734644158240 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 57085952 140734644159508 140734644159624 140734644159624 140734644166640 0
[pid=37284/tid=37298] ppid=37281 vsize=955272 memory=736028 CPUtime=0 cores=5,7
/proc/37284/task/37298/stat : 37298 (fscip) S 37281 37284 35128 0 -1 1077936192 39 0 0 0 0 0 0 0 20 0 3 0 5626876 978198528 187927 134679101440 4194304 16623229 140734644158240 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 57085952 140734644159508 140734644159624 140734644159624 140734644166640 0
Current children cumulated CPU time: 221.59 s
Current children cumulated vsize: 955272 KiB
Current children cumulated memory: 751708 KiB
[startup+282.3 s]
/proc/loadavg: 3.31 3.82 3.99 4/258 37370
/proc/meminfo: memFree=125638856/131524600 swapFree=131071996/131071996
[pid=37284] ppid=37281 vsize=959472 memory=776548 CPUtime=281.44 cores=5,7
/proc/37284/stat : 37284 (fscip) S 37281 37284 35128 0 -1 1077936128 332058 0 0 0 28096 48 0 0 20 0 3 0 5620534 982499328 194137 134679101440 4194304 16623229 140734644158240 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 57085952 140734644159508 140734644159624 140734644159624 140734644166640 0
/proc/37284/statm: 239868 194137 2966 3035 0 234748 0
[pid=37284/tid=37297] ppid=37281 vsize=959472 memory=11556 CPUtime=218.31 cores=5,7
/proc/37284/task/37297/stat : 37297 (fscip) R 37281 37284 35128 0 -1 4194368 218324 0 0 0 21809 22 0 0 20 0 3 0 5626863 982499328 194137 134679101440 4194304 16623229 140734644158240 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 57085952 140734644159508 140734644159624 140734644159624 140734644166640 0
[pid=37284/tid=37298] ppid=37281 vsize=959472 memory=768964 CPUtime=0 cores=5,7
/proc/37284/task/37298/stat : 37298 (fscip) S 37281 37284 35128 0 -1 1077936192 42 0 0 0 0 0 0 0 20 0 3 0 5626876 982499328 194137 134679101440 4194304 16623229 140734644158240 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 57085952 140734644159508 140734644159624 140734644159624 140734644166640 0
Current children cumulated CPU time: 281.44 s
Current children cumulated vsize: 959472 KiB
Current children cumulated memory: 776548 KiB
[startup+342.3 s]
/proc/loadavg: 3.17 3.68 3.93 4/256 37380
/proc/meminfo: memFree=125646096/131524600 swapFree=131071996/131071996
[pid=37284] ppid=37281 vsize=934288 memory=768480 CPUtime=341.29 cores=5,7
/proc/37284/stat : 37284 (fscip) S 37281 37284 35128 0 -1 1077936128 396224 0 0 0 34076 53 0 0 20 0 3 0 5620534 956710912 192120 134679101440 4194304 16623229 140734644158240 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 57085952 140734644159508 140734644159624 140734644159624 140734644166640 0
/proc/37284/statm: 233572 192120 3014 3035 0 228452 0
[pid=37284/tid=37297] ppid=37281 vsize=934288 memory=768964 CPUtime=278.16 cores=5,7
/proc/37284/task/37297/stat : 37297 (fscip) R 37281 37284 35128 0 -1 4194368 281418 0 0 0 27789 27 0 0 20 0 3 0 5626863 956710912 192120 134679101440 4194304 16623229 140734644158240 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 57085952 140734644159508 140734644159624 140734644159624 140734644166640 0
[pid=37284/tid=37298] ppid=37281 vsize=934288 memory=757852 CPUtime=0 cores=5,7
/proc/37284/task/37298/stat : 37298 (fscip) S 37281 37284 35128 0 -1 1077936192 44 0 0 0 0 0 0 0 20 0 3 0 5626876 956710912 192120 134679101440 4194304 16623229 140734644158240 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 57085952 140734644159508 140734644159624 140734644159624 140734644166640 0
Current children cumulated CPU time: 341.29 s
################
# More data... #
################
/proc/loadavg: 1.15 2.02 2.68 2/238 39205
/proc/meminfo: memFree=127573860/131524600 swapFree=131071996/131071996
[pid=37284] ppid=37281 vsize=1982864 memory=1778716 CPUtime=3450.4 cores=5,7
/proc/37284/stat : 37284 (fscip) S 37281 37284 35128 0 -1 1077936128 1891952 0 0 0 344766 274 0 0 20 0 3 0 5620534 2030452736 444679 134679101440 4194304 16623229 140734644158240 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 57085952 140734644159508 140734644159624 140734644159624 140734644166640 0
/proc/37284/statm: 495716 444679 3014 3035 0 477507 0
[pid=37284/tid=37297] ppid=37281 vsize=1982864 memory=1764920 CPUtime=3386.98 cores=5,7
/proc/37284/task/37297/stat : 37297 (fscip) R 37281 37284 35128 0 -1 4194368 1768628 0 0 0 338459 239 0 0 20 0 3 0 5626863 2030452736 444679 134679101440 4194304 16623229 140734644158240 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 57085952 140734644159508 140734644159624 140734644159624 140734644166640 0
[pid=37284/tid=37298] ppid=37281 vsize=1982864 memory=-7522536969177490808 CPUtime=0.03 cores=5,7
/proc/37284/task/37298/stat : 37298 (fscip) S 37281 37284 35128 0 -1 1077936192 150 0 0 0 1 2 0 0 20 0 3 0 5626876 2030452736 444679 134679101440 4194304 16623229 140734644158240 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 57085952 140734644159508 140734644159624 140734644159624 140734644166640 0
Current children cumulated CPU time: 3450.4 s
Current children cumulated vsize: 1982864 KiB
Current children cumulated memory: 1778716 KiB
[startup+3522.3 s]
/proc/loadavg: 1.09 1.84 2.58 2/240 39219
/proc/meminfo: memFree=127571800/131524600 swapFree=131071996/131071996
[pid=37284] ppid=37281 vsize=1982864 memory=1779808 CPUtime=3510.25 cores=5,7
/proc/37284/stat : 37284 (fscip) S 37281 37284 35128 0 -1 1077936128 1895798 0 0 0 350750 275 0 0 20 0 3 0 5620534 2030452736 444952 134679101440 4194304 16623229 140734644158240 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 57085952 140734644159508 140734644159624 140734644159624 140734644166640 0
/proc/37284/statm: 495716 444952 3014 3035 0 477507 0
[pid=37284/tid=37297] ppid=37281 vsize=1982864 memory=1778716 CPUtime=3446.83 cores=5,7
/proc/37284/task/37297/stat : 37297 (fscip) R 37281 37284 35128 0 -1 4194368 1772438 0 0 0 344443 240 0 0 20 0 3 0 5626863 2030452736 444952 134679101440 4194304 16623229 140734644158240 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 57085952 140734644159508 140734644159624 140734644159624 140734644166640 0
[pid=37284/tid=37298] ppid=37281 vsize=1982864 memory=11556 CPUtime=0.03 cores=5,7
/proc/37284/task/37298/stat : 37298 (fscip) S 37281 37284 35128 0 -1 1077936192 152 0 0 0 1 2 0 0 20 0 3 0 5626876 2030452736 444952 134679101440 4194304 16623229 140734644158240 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 57085952 140734644159508 140734644159624 140734644159624 140734644166640 0
Current children cumulated CPU time: 3510.25 s
Current children cumulated vsize: 1982864 KiB
Current children cumulated memory: 1779808 KiB
[startup+3582.3 s]
/proc/loadavg: 1.07 1.70 2.48 2/240 39229
/proc/meminfo: memFree=127563028/131524600 swapFree=131071996/131071996
[pid=37284] ppid=37281 vsize=1982864 memory=1787660 CPUtime=3570.09 cores=5,7
/proc/37284/stat : 37284 (fscip) S 37281 37284 35128 0 -1 1077936128 1900264 0 0 0 356732 277 0 0 20 0 3 0 5620534 2030452736 446915 134679101440 4194304 16623229 140734644158240 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 57085952 140734644159508 140734644159624 140734644159624 140734644166640 0
/proc/37284/statm: 495716 446915 3014 3035 0 479760 0
[pid=37284/tid=37297] ppid=37281 vsize=1982864 memory=11556 CPUtime=3506.67 cores=5,7
/proc/37284/task/37297/stat : 37297 (fscip) R 37281 37284 35128 0 -1 4194368 1776873 0 0 0 350425 242 0 0 20 0 3 0 5626863 2030452736 446915 134679101440 4194304 16623229 140734644158240 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 57085952 140734644159508 140734644159624 140734644159624 140734644166640 0
[pid=37284/tid=37298] ppid=37281 vsize=1982864 memory=12916 CPUtime=0.03 cores=5,7
/proc/37284/task/37298/stat : 37298 (fscip) S 37281 37284 35128 0 -1 1077936192 154 0 0 0 1 2 0 0 20 0 3 0 5626876 2030452736 446915 134679101440 4194304 16623229 140734644158240 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 57085952 140734644159508 140734644159624 140734644159624 140734644166640 0
Current children cumulated CPU time: 3570.09 s
Current children cumulated vsize: 1982864 KiB
Current children cumulated memory: 1787660 KiB
[startup+3598.34 s]
# the end of solver process 37284 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3583.31 s, system=2.79922 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 1.07 1.70 2.48 2/240 39229
/proc/meminfo: memFree=127563028/131524600 swapFree=131071996/131071996
[pid=37284] ppid=37281 vsize=1982864 memory=1787660 CPUtime=3571.8 cores=5,7
/proc/37284/stat : 37284 (fscip) S 37281 37284 35128 0 -1 1077936128 1900269 0 0 0 356903 277 0 0 20 0 3 0 5620534 2030452736 446915 134679101440 4194304 16623229 140734644158240 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 57085952 140734644159508 140734644159624 140734644159624 140734644166640 0
/proc/37284/statm: 495716 446915 3014 3035 0 479760 0
[pid=37284/tid=37297] ppid=37281 vsize=1982864 memory=-7522536969177490808 CPUtime=3508.37 cores=5,7
/proc/37284/task/37297/stat : 37297 (fscip) R 37281 37284 35128 0 -1 4194368 1776878 0 0 0 350595 242 0 0 20 0 3 0 5626863 2030452736 446915 134679101440 4194304 16623229 140734644158240 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 57085952 140734644159508 140734644159624 140734644159624 140734644166640 0
[pid=37284/tid=37298] ppid=37281 vsize=1982864 memory=8200 CPUtime=0.03 cores=5,7
/proc/37284/task/37298/stat : 37298 (fscip) S 37281 37284 35128 0 -1 1077936192 154 0 0 0 1 2 0 0 20 0 3 0 5626876 2030452736 446915 134679101440 4194304 16623229 140734644158240 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 57085952 140734644159508 140734644159624 140734644159624 140734644166640 0
Current children cumulated CPU time: 3571.8 s
Current children cumulated vsize: 1982864 KiB
Current children cumulated memory: 1787660 KiB
[startup+3590.4 s]
/proc/loadavg: 1.07 1.69 2.48 2/240 39230
/proc/meminfo: memFree=127562916/131524600 swapFree=131071996/131071996
[pid=37284] ppid=37281 vsize=1982864 memory=1787660 CPUtime=3578.17 cores=5,7
/proc/37284/stat : 37284 (fscip) S 37281 37284 35128 0 -1 1077936128 1900726 0 0 0 357540 277 0 0 20 0 3 0 5620534 2030452736 446915 134679101440 4194304 16623229 140734644158240 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 57085952 140734644159508 140734644159624 140734644159624 140734644166640 0
/proc/37284/statm: 495716 446915 3014 3035 0 479760 0
[pid=37284/tid=37297] ppid=37281 vsize=1982864 memory=1787660 CPUtime=3514.75 cores=5,7
/proc/37284/task/37297/stat : 37297 (fscip) R 37281 37284 35128 0 -1 4194368 1777331 0 0 0 351233 242 0 0 20 0 3 0 5626863 2030452736 446915 134679101440 4194304 16623229 140734644158240 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 57085952 140734644159508 140734644159624 140734644159624 140734644166640 0
[pid=37284/tid=37298] ppid=37281 vsize=1982864 memory=279891610257344 CPUtime=0.03 cores=5,7
/proc/37284/task/37298/stat : 37298 (fscip) S 37281 37284 35128 0 -1 1077936192 156 0 0 0 1 2 0 0 20 0 3 0 5626876 2030452736 446915 134679101440 4194304 16623229 140734644158240 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 57085952 140734644159508 140734644159624 140734644159624 140734644166640 0
Current children cumulated CPU time: 3578.17 s
Current children cumulated vsize: 1982864 KiB
Current children cumulated memory: 1787660 KiB
[startup+3593.6 s]
/proc/loadavg: 1.14 1.70 2.47 2/240 39230
/proc/meminfo: memFree=127562916/131524600 swapFree=131071996/131071996
[pid=37284] ppid=37281 vsize=1982864 memory=1787660 CPUtime=3581.37 cores=5,7
/proc/37284/stat : 37284 (fscip) S 37281 37284 35128 0 -1 1077936128 1900738 0 0 0 357860 277 0 0 20 0 3 0 5620534 2030452736 446915 134679101440 4194304 16623229 140734644158240 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 57085952 140734644159508 140734644159624 140734644159624 140734644166640 0
/proc/37284/statm: 495716 446915 3014 3035 0 479760 0
[pid=37284/tid=37297] ppid=37281 vsize=1982864 memory=12192 CPUtime=3517.94 cores=5,7
/proc/37284/task/37297/stat : 37297 (fscip) R 37281 37284 35128 0 -1 4194368 1777343 0 0 0 351552 242 0 0 20 0 3 0 5626863 2030452736 446915 134679101440 4194304 16623229 140734644158240 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 57085952 140734644159508 140734644159624 140734644159624 140734644166640 0
[pid=37284/tid=37298] ppid=37281 vsize=1982864 memory=1787660 CPUtime=0.03 cores=5,7
/proc/37284/task/37298/stat : 37298 (fscip) S 37281 37284 35128 0 -1 1077936192 156 0 0 0 1 2 0 0 20 0 3 0 5626876 2030452736 446915 134679101440 4194304 16623229 140734644158240 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 57085952 140734644159508 140734644159624 140734644159624 140734644166640 0
Current children cumulated CPU time: 3581.37 s
Current children cumulated vsize: 1982864 KiB
Current children cumulated memory: 1787660 KiB
[startup+3596.8 s]
/proc/loadavg: 1.14 1.70 2.47 2/240 39232
/proc/meminfo: memFree=127562916/131524600 swapFree=131071996/131071996
[pid=37284] ppid=37281 vsize=1982864 memory=1787660 CPUtime=3584.57 cores=5,7
/proc/37284/stat : 37284 (fscip) S 37281 37284 35128 0 -1 1077936128 1900834 0 0 0 358179 278 0 0 20 0 3 0 5620534 2030452736 446915 134679101440 4194304 16623229 140734644158240 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 57085952 140734644159508 140734644159624 140734644159624 140734644166640 0
/proc/37284/statm: 495716 446915 3014 3035 0 479760 0
[pid=37284/tid=37297] ppid=37281 vsize=1982864 memory=1787660 CPUtime=3521.14 cores=5,7
/proc/37284/task/37297/stat : 37297 (fscip) R 37281 37284 35128 0 -1 4194368 1777425 0 0 0 351871 243 0 0 20 0 3 0 5626863 2030452736 446915 134679101440 4194304 16623229 140734644158240 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 57085952 140734644159508 140734644159624 140734644159624 140734644166640 0
[pid=37284/tid=37298] ppid=37281 vsize=1982864 memory=1787660 CPUtime=0.03 cores=5,7
/proc/37284/task/37298/stat : 37298 (fscip) S 37281 37284 35128 0 -1 1077936192 156 0 0 0 1 2 0 0 20 0 3 0 5626876 2030452736 446915 134679101440 4194304 16623229 140734644158240 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 57085952 140734644159508 140734644159624 140734644159624 140734644166640 0
Current children cumulated CPU time: 3584.57 s
Current children cumulated vsize: 1982864 KiB
Current children cumulated memory: 1787660 KiB
[startup+3597.6 s]
/proc/loadavg: 1.13 1.68 2.46 2/240 39232
/proc/meminfo: memFree=127562916/131524600 swapFree=131071996/131071996
[pid=37284] ppid=37281 vsize=1982864 memory=1787660 CPUtime=3585.36 cores=5,7
/proc/37284/stat : 37284 (fscip) S 37281 37284 35128 0 -1 1077936128 1900868 0 0 0 358258 278 0 0 20 0 3 0 5620534 2030452736 446915 134679101440 4194304 16623229 140734644158240 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 57085952 140734644159508 140734644159624 140734644159624 140734644166640 0
/proc/37284/statm: 495716 446915 3014 3035 0 479760 0
[pid=37284/tid=37297] ppid=37281 vsize=1982864 memory=12916 CPUtime=3521.94 cores=5,7
/proc/37284/task/37297/stat : 37297 (fscip) R 37281 37284 35128 0 -1 4194368 1777455 0 0 0 351951 243 0 0 20 0 3 0 5626863 2030452736 446915 134679101440 4194304 16623229 140734644158240 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 57085952 140734644159508 140734644159624 140734644159624 140734644166640 0
[pid=37284/tid=37298] ppid=37281 vsize=1982864 memory=12192 CPUtime=0.03 cores=5,7
/proc/37284/task/37298/stat : 37298 (fscip) S 37281 37284 35128 0 -1 1077936192 156 0 0 0 1 2 0 0 20 0 3 0 5626876 2030452736 446915 134679101440 4194304 16623229 140734644158240 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 57085952 140734644159508 140734644159624 140734644159624 140734644166640 0
Current children cumulated CPU time: 3585.36 s
Current children cumulated vsize: 1982864 KiB
Current children cumulated memory: 1787660 KiB
[startup+3598 s]*
/proc/loadavg: 1.13 1.68 2.46 2/240 39232
/proc/meminfo: memFree=127562916/131524600 swapFree=131071996/131071996
[pid=37284] ppid=37281 vsize=1982864 memory=1787660 CPUtime=3585.77 cores=5,7
/proc/37284/stat : 37284 (fscip) S 37281 37284 35128 0 -1 1077936128 1900868 0 0 0 358299 278 0 0 20 0 3 0 5620534 2030452736 446915 134679101440 4194304 16623229 140734644158240 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 57085952 140734644159508 140734644159624 140734644159624 140734644166640 0
/proc/37284/statm: 495716 446915 3014 3035 0 479760 0
[pid=37284/tid=37297] ppid=37281 vsize=1982864 memory=-7522536969177490808 CPUtime=3522.34 cores=5,7
/proc/37284/task/37297/stat : 37297 (fscip) R 37281 37284 35128 0 -1 4194368 1777455 0 0 0 351991 243 0 0 20 0 3 0 5626863 2030452736 446915 134679101440 4194304 16623229 140734644158240 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 57085952 140734644159508 140734644159624 140734644159624 140734644166640 0
[pid=37284/tid=37298] ppid=37281 vsize=1982864 memory=4209913046527274655 CPUtime=0.03 cores=5,7
/proc/37284/task/37298/stat : 37298 (fscip) S 37281 37284 35128 0 -1 1077936192 156 0 0 0 1 2 0 0 20 0 3 0 5626876 2030452736 446915 134679101440 4194304 16623229 140734644158240 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 57085952 140734644159508 140734644159624 140734644159624 140734644166640 0
Current children cumulated CPU time: 3585.77 s
Current children cumulated vsize: 1982864 KiB
Current children cumulated memory: 1787660 KiB
[startup+3598.2 s]
/proc/loadavg: 1.13 1.68 2.46 2/240 39232
/proc/meminfo: memFree=127562916/131524600 swapFree=131071996/131071996
[pid=37284] ppid=37281 vsize=1982864 memory=1786788 CPUtime=3585.96 cores=5,7
/proc/37284/stat : 37284 (fscip) R 37281 37284 35128 0 -1 4194304 1907501 0 0 0 358318 278 0 0 20 0 2 0 5620534 2030452736 446697 134679101440 4194304 16623229 140734644158240 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 57085952 140734644159508 140734644159624 140734644159624 140734644166640 0
/proc/37284/statm: 495716 446697 3014 3035 0 479760 0
[pid=37284/tid=37298] ppid=37281 vsize=1982864 memory=8200 CPUtime=0.03 cores=5,7
/proc/37284/task/37298/stat : 37298 (fscip) S 37281 37284 35128 0 -1 1077936192 156 0 0 0 1 2 0 0 20 0 2 0 5626876 2030452736 446697 134679101440 4194304 16623229 140734644158240 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 57085952 140734644159508 140734644159624 140734644159624 140734644166640 0
Current children cumulated CPU time: 3585.96 s
Current children cumulated vsize: 1982864 KiB
Current children cumulated memory: 1786788 KiB
[startup+3598.3 s]
/proc/loadavg: 1.13 1.68 2.46 2/240 39232
/proc/meminfo: memFree=127562916/131524600 swapFree=131071996/131071996
[pid=37284] ppid=37281 vsize=1866232 memory=1669616 CPUtime=3586.06 cores=5,7
/proc/37284/stat : 37284 (fscip) R 37281 37284 35128 0 -1 4194304 1910491 0 0 0 358328 278 0 0 20 0 2 0 5620534 1911021568 417404 134679101440 4194304 16623229 140734644158240 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 57085952 140734644159508 140734644159624 140734644159624 140734644166640 0
/proc/37284/statm: 466558 417404 3014 3035 0 450602 0
[pid=37284/tid=37298] ppid=37281 vsize=1866232 memory=1787660 CPUtime=0.03 cores=5,7
/proc/37284/task/37298/stat : 37298 (fscip) S 37281 37284 35128 0 -1 1077936192 156 0 0 0 1 2 0 0 20 0 2 0 5626876 1911021568 417404 134679101440 4194304 16623229 140734644158240 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 57085952 140734644159508 140734644159624 140734644159624 140734644166640 0
Current children cumulated CPU time: 3586.06 s
Current children cumulated vsize: 1866232 KiB
Current children cumulated memory: 1669616 KiB
Child status: 0
Real time (s): 3598.34
CPU time (s): 3586.11
CPU user time (s): 3583.31
CPU system time (s): 2.79922
CPU usage (%): 99.6601
Max. virtual memory (cumulated for all children) (KiB): 1982864
Max. memory (cumulated for all children) (KiB): 1787660
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3583.31
system time used= 2.79922
maximum resident set size= 1787660
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1913848
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= 11418
involuntary context switches= 2393
# summary of solver processes directly reported to runsolver:
# pid: 37284
# total CPU time (s): 3586.11
# total CPU user time (s): 3583.31
# total CPU system time (s): 2.79922
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.9548 second user time and 14.9163 second system time
The end
Begin job on nodeC032 at 2024-07-31 03:43:05
IDJOB=4465006
IDBENCH=144042
IDSOLVER=3093
FILE ID=nodeC032/4465006-1722390185
RUNJOBID= nodeC032-1722389405-35195
SLURM_JOB_ID= 8249861
Free space on /tmp= 889996 MiB
SOLVER NAME= FiberSCIP 2024-07-30
BENCH NAME= PB24/WBO/PARTIAL-LIN/wcsp/spot5/normalized-spot5-1407_wcsp.wbo
COMMAND LINE= ./fscip settings/racing.prm BENCHNAME -qsol -t TIMEOUT -sth 1
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4465006-1722390185/watcher-4465006-1722390185 -o /tmp/evaluation-result-4465006-1722390185/solver-4465006-1722390185 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC032-1722389405-35195 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4465006-1722390185.wbo -qsol -t 3600 -sth 1
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 1d8b1e0defd9ae59134635ae9ca4f432
RANDOM SEED=1311551512
nodeC032.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3667.741
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.77
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3676.702
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.64
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.178
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.77
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.040
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.64
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3667.761
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.77
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3678.128
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.64
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.141
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.77
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3668.443
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.64
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 125773752 kB
MemAvailable: 126307748 kB
Buffers: 107420 kB
Cached: 1258816 kB
SwapCached: 0 kB
Active: 284000 kB
Inactive: 4974072 kB
Active(anon): 1536 kB
Inactive(anon): 3911628 kB
Active(file): 282464 kB
Inactive(file): 1062444 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 30060 kB
Writeback: 0 kB
AnonPages: 3891844 kB
Mapped: 123920 kB
Shmem: 21332 kB
KReclaimable: 57824 kB
Slab: 140748 kB
SReclaimable: 57824 kB
SUnreclaim: 82924 kB
KernelStack: 4256 kB
PageTables: 16780 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 2440152 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 10048 kB
HardwareCorrupted: 0 kB
AnonHugePages: 921600 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: 191188 kB
DirectMap2M: 7970816 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 890056 MiB
End job on nodeC032 at 2024-07-31 04:43:04