0.00/0.00 c The following solver is parallelized by UG version 1.0.0 [GitHash: cdb00f34-dirty]
0.00/0.00 c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.1.0] [GitHash: 32d2b99657]
0.00/0.00 c Copyright (c) 2002-2024 Zuse Institute Berlin (ZIB)
0.00/0.00 c External libraries:
0.00/0.00 c Soplex 7.1.0 Linear Programming Solver developed at Zuse Institute Berlin (soplex.zib.de) [GitHash: bdec2291]
0.00/0.00 c CppAD 20180000.0 Algorithmic Differentiation of C++ algorithms developed by B. Bell (github.com/coin-or/CppAD)
0.00/0.00 c AMPL/MP 690e9e7 AMPL .nl file reader library (github.com/ampl/mp)
0.00/0.00 c PaPILO 2.2.1 parallel presolve for integer and linear optimization (github.com/scipopt/papilo)
0.00/0.00 c Nauty 2.8.8 Computing Graph Automorphism Groups by Brendan D. McKay (users.cecs.anu.edu.au/~bdm/nauty)
0.00/0.00 c sassy 1.1 Symmetry preprocessor by Markus Anders (github.com/markusa4/sassy)
0.11/0.13 c Default LC presolving (default).
0.11/0.13 c ** Before presolving: virtualMemUsedAtLc = 59064320, getVmSize() = 59064320, SCIPgetMemUsed() = 31380932, SCIPgetMemTotal() = 36239012, SCIPgetMemExternEstim() = 17858785
0.11/0.13 c ** set memory limit for presolving in LC to 8.79608e+12 for SCIP **
0.68/0.80 c ** Estimated virtualMemUsedAtSolver = 94696142, getVmSize() = 149155840, SCIPgetMemUsed() = 91694805, SCIPgetMemTotal() = 124185429, SCIPgetMemExternEstim() = 17858785
0.68/0.80 c ** set memory limit for solvers to 4.39804e+12 for each SCIP **
0.68/0.80 c Original Problem :
0.68/0.80 c Problem name : instance-4434720-1721055523
0.68/0.80 c Variables : 8405 (8405 binary, 0 integer, 0 implicit integer, 0 continuous)
0.68/0.80 c Constraints : 10667
0.68/0.80 c Objective sense : minimize
0.68/0.80 c Presolved Problem :
0.68/0.80 c Variables : 8404 (8404 binary, 0 integer, 0 implicit integer, 0 continuous)
0.68/0.80 c Constraints : 10642
0.68/0.80 c Constraints : Number
0.68/0.80 c setppc : 10618
0.68/0.80 c linear : 24
0.68/0.80 c ** Instance transfer method used: 0
0.79/0.84 c ** ParaScipInstance copy does not increase the number of variables. **
0.79/0.89 c LC is working with racing ramp-up and with rebuilding tree after racing.
0.79/0.89 c Nodes Active
0.79/0.89 c Time Nodes Left Solvers Best Integer Best Node Gap Best Node(S) Gap(S)
3.26/3.39 c * 3 0 1 1 30394.0000 - -
6.35/6.49 c * 6 0 1 1 1951.0000 - -
6.35/6.49 c 6 0 1 1 1951.0000 - -
6.56/6.63 c * 7 0 1 1 939.0000 - -
6.56/6.63 c 7 1 0 0 939.0000 939.0000 0.00%
6.56/6.69 c 7 1 0 0 939.0000 939.0000 -
6.56/6.69 c SCIP Status : c problem is solved
6.56/6.69 c Total Time : 6.6800
6.56/6.69 c solving : 6.6800
6.56/6.69 c presolving : 0.6643 (included in solving)
6.56/6.69 c B&B Tree :
6.56/6.69 c nodes (total) : 1
6.56/6.69 c Solution :
6.56/6.69 c Solutions found : 3
6.56/6.69 c Primal Bound : +9.39000000000000e+02
6.56/6.69 c Dual Bound : +9.39000000000000e+02
6.56/6.69 c Gap : 0.00000 %
6.56/6.70 o 939
6.56/6.70 s OPTIMUM FOUND
6.56/6.70 v -x8391 -x8389 -x8378 -x8368 -x8363 -x8343 -x8339 -x8333 -x8329 -x8323 -x8293 -x8274 -x8270 -x8266 -x8254 -x8252 -x8250 -x8242 -x8237
6.56/6.70 v -x8234 -x8231 -x8209 -x8199 -x8198 -x8187 -x8164 -x8161 -x8160 -x8154 -x8153 -x8148 -x8145 -x8100 -x8090 -x8085 -x8084
6.56/6.70 v -x8079 -x8071 -x8062 -x8060 -x8059 -x8057 -x8045 -x8042 -x8037 -x8027 -x8022 -x8012 -x8009 -x7996 -x7995 -x7994 -x7986 -x7982
6.56/6.70 v -x7977 x7969 -x7967 -x7965 -x7961 -x7950 -x7945 -x7942 -x7941 -x7939 -x7928 -x7924 -x7918 -x7916 -x7915 x7913 -x7899 x7891 x7890
6.56/6.70 v -x7889 -x7886 -x7882 -x7880 -x7873 -x7867 -x7858 -x7853 -x7848 -x7835 x7834 x7826 x7821 -x7814 -x7811 -x7810 -x7807 -x7803
6.56/6.70 v -x7801 -x7800 x7795 -x7778 -x7767 -x7749 -x7748 -x7747 -x7746 -x7744 x7743 -x7742 -x7741 -x7739 -x7725 -x7710 x7709 -x7694
6.56/6.70 v -x7691 -x7686 -x7676 -x7671 x7661 -x7658 -x7645 -x7644 -x7643 -x7635 -x7631 -x7626 -x7618 -x7616 -x7614 -x7610 -x7599 -x7594
6.56/6.70 v x7591 -x7590 -x7588 -x7577 -x7573 -x7567 -x7565 -x7564 -x7562 -x7548 -x7545 -x7540 -x7539 -x7538 -x7535 -x7531 -x7529 -x7522
6.56/6.70 v x7516 -x7507 -x7502 -x7497 -x7483 -x7475 -x7470 -x7463 -x7460 -x7459 -x7456 -x7452 -x7450 -x7449 -x7444 -x7427 -x7416 -x7398
6.56/6.70 v -x7397 -x7396 -x7395 -x7393 -x7392 -x7391 -x7390 -x7388 -x7387 x7374 x7359 -x7358 -x7343 -x7340 -x7335 -x7325 -x7320 -x7310
6.56/6.70 v -x7307 -x7294 -x7293 x7292 -x7284 -x7280 -x7275 -x7267 -x7265 -x7263 -x7259 -x7248 -x7243 -x7240 -x7239 -x7237 -x7226 -x7222
6.56/6.70 v -x7216 -x7214 -x7213 -x7211 -x7197 -x7194 -x7189 -x7188 -x7187 -x7184 -x7180 -x7178 -x7171 -x7165 -x7156 -x7151 -x7146 -x7133
6.56/6.70 v -x7132 -x7124 -x7119 -x7112 -x7109 -x7108 -x7105 -x7101 -x7099 -x7098 -x7093 -x7076 -x7065 -x7047 -x7046 -x7045 -x7044 -x7042
6.56/6.70 v -x7041 -x7040 -x7039 -x7037 -x7036 -x7023 -x7008 -x7007 -x6992 -x6989 -x6984 -x6974 -x6969 -x6959 -x6956 -x6943 -x6942 -x6941
6.56/6.70 v -x6933 -x6929 -x6924 -x6916 -x6914 -x6912 -x6908 -x6897 -x6892 -x6889 x6888 -x6886 -x6875 -x6871 -x6865 -x6863 -x6860 -x6846
6.56/6.70 v -x6843 -x6838 -x6837 -x6836 -x6833 -x6829 -x6827 -x6820 -x6814 -x6805 -x6800 -x6795 -x6782 -x6781 -x6773 -x6768 -x6761 -x6758
6.56/6.70 v -x6757 -x6754 -x6750 -x6748 -x6747 -x6742 -x6725 -x6714 -x6696 -x6695 -x6694 x6693 -x6691 -x6690 -x6689 -x6688 -x6686 -x6685
6.56/6.70 v -x6672 -x6657 -x6656 -x6648 -x6646 -x6641 -x6636 -x6629 -x6627 -x6624 -x6623 -x6608 -x6607 -x6605 -x6595 -x6588 -x6574 -x6565
6.56/6.70 v -x6563 -x6561 -x6550 -x6548 -x6546 -x6541 -x6539 -x6538 -x6535 -x6524 -x6521 -x6520 -x6519 -x6509 -x6504 -x6487 -x6486 -x6485
6.56/6.70 v -x6476 -x6463 -x6460 -x6446 -x6444 -x6443 x6434 -x6432 -x6430 -x6426 -x6424 -x6422 -x6417 -x6416 -x6410 -x6407 -x6399 -x6397
6.56/6.70 v -x6390 -x6389 -x6379 -x6369 -x6363 -x6348 -x6345 -x6342 -x6340 -x6337 -x6335 -x6325 -x6323 -x6321 -x6307 -x6304 -x6297
6.56/6.70 v -x6295 -x6290 -x6278 -x6276 -x6273 -x6272 -x6257 x6256 x6244 -x6237 -x6223 -x6214 -x6212 -x6210 -x6199 -x6197 -x6195 -x6188 -x6187
6.56/6.70 v -x6184 -x6170 -x6168 -x6158 -x6153 -x6136 -x6135 -x6134 -x6125 -x6112 -x6109 -x6095 -x6093 -x6092 -x6083 -x6081 -x6079
6.56/6.70 v -x6075 x6073 -x6071 -x6066 -x6065 -x6059 -x6056 -x6048 -x6046 -x6039 -x6038 -x6028 x6018 -x6012 -x5997 -x5994 -x5993 -x5991 -x5989
6.56/6.70 v -x5986 -x5984 -x5974 -x5972 -x5970 -x5956 -x5953 x5944 -x5939 -x5934 -x5927 -x5925 -x5922 -x5921 -x5906 -x5905 -x5903 -x5893
6.56/6.70 v -x5886 -x5872 -x5863 -x5861 -x5859 -x5848 -x5846 -x5839 -x5837 -x5836 -x5833 -x5822 -x5819 -x5818 -x5807 -x5802 -x5785
6.56/6.70 v -x5784 -x5783 -x5774 -x5761 -x5758 -x5744 -x5741 -x5732 -x5730 -x5728 -x5724 -x5722 -x5720 -x5715 -x5714 -x5708 -x5705 x5697
6.56/6.70 v -x5695 -x5688 -x5687 -x5677 -x5667 -x5661 -x5646 -x5643 -x5642 -x5640 -x5638 -x5635 -x5633 -x5623 -x5621 -x5619 x5605 -x5595
6.56/6.70 v -x5593 -x5588 -x5583 -x5580 -x5571 -x5570 -x5555 -x5549 -x5542 -x5535 -x5529 -x5525 -x5523 -x5520 -x5515 -x5510 -x5495 -x5488
6.56/6.70 v -x5486 -x5485 -x5482 -x5480 -x5479 -x5476 -x5471 -x5468 -x5467 -x5466 -x5457 -x5456 -x5451 x5441 -x5434 -x5433 -x5432 -x5410
6.56/6.70 v -x5407 -x5391 -x5390 -x5379 -x5373 -x5363 -x5356 -x5354 -x5353 -x5352 -x5350 -x5348 -x5346 -x5345 -x5344 -x5343 -x5340 -x5337
6.56/6.70 v -x5336 -x5333 -x5327 -x5326 -x5292 -x5286 -x5282 -x5272 -x5268 -x5267 -x5260 -x5252 -x5249 -x5244 -x5237 -x5220 -x5218 -x5209
6.56/6.70 v -x5204 -x5188 -x5187 -x5186 -x5174 -x5172 -x5158 -x5153 -x5140 -x5138 -x5134 -x5131 -x5114 -x5091 -x5087 -x5083 -x5082 -x5081
6.56/6.70 v x5078 -x5072 -x5070 -x5065 -x5059 x5058 x5056 -x5051 -x5048 -x5047 -x5038 -x5028 -x5026 -x5022 -x5018 -x5017 -x5015 -x5001
6.56/6.70 v -x4997 -x4995 -x4989 -x4986 -x4976 -x4960 -x4947 -x4941 -x4940 -x4939 -x4938 -x4936 x4934 -x4933 -x4931 -x4917 -x4903 -x4902
6.56/6.70 v -x4901 -x4893 -x4886 -x4883 -x4869 -x4867 -x4858 -x4853 -x4850 -x4837 -x4836 -x4835 -x4823 -x4821 -x4807 -x4802 -x4789 -x4787
6.56/6.70 v -x4786 -x4783 -x4780 -x4769 -x4763 -x4756 -x4740 -x4736 -x4732 -x4731 -x4730 -x4727 -x4719 -x4714 -x4708 -x4707 -x4705 -x4700
6.56/6.70 v -x4697 -x4696 -x4687 -x4677 -x4675 -x4671 -x4667 -x4666 -x4664 -x4650 -x4646 -x4644 -x4638 -x4635 -x4625 -x4609 -x4596 -x4590
6.56/6.70 v -x4589 -x4588 -x4587 -x4585 -x4583 -x4582 -x4580 -x4566 -x4552 -x4551 -x4550 -x4542 -x4535 -x4532 -x4518 -x4516 -x4507 -x4502
6.56/6.70 v -x4499 -x4486 -x4485 -x4484 -x4472 -x4470 -x4456 -x4451 -x4438 x4436 -x4435 -x4432 -x4429 -x4418 -x4412 -x4405 -x4389 -x4385
6.56/6.70 v -x4381 -x4380 x4379 -x4376 -x4370 -x4368 -x4363 -x4357 -x4356 -x4354 -x4349 -x4346 -x4345 -x4336 -x4326 -x4324 -x4320 -x4316
6.56/6.70 v -x4315 -x4313 -x4299 -x4295 -x4293 -x4287 -x4284 -x4274 x4258 -x4245 -x4239 -x4238 -x4237 -x4236 -x4234 -x4232 -x4231 -x4229
6.56/6.70 v -x4215 -x4201 -x4200 -x4199 -x4192 -x4186 -x4184 -x4172 -x4170 -x4167 -x4151 -x4148 -x4138 -x4136 -x4131 -x4125 -x4111
6.56/6.70 v -x4108 -x4106 -x4091 -x4080 -x4078 -x4075 -x4072 -x4067 -x4065 -x4063 -x4062 -x4059 -x4058 -x4054 -x4052 -x4048 -x4047 -x4045
6.56/6.70 v -x4038 -x4030 -x4029 -x4028 -x4025 -x4020 -x4019 -x4018 -x4012 -x4011 -x3987 -x3986 -x3974 -x3960 -x3959 -x3952 -x3948 -x3942
6.56/6.70 v -x3936 -x3906 -x3894 -x3887 -x3886 -x3883 -x3880 -x3864 -x3859 -x3857 -x3852 x3851 -x3849 -x3848 -x3847 -x3845 -x3836 -x3835
6.56/6.70 v -x3834 -x3830 -x3829 -x3828 -x3805 -x3800 -x3787 -x3785 -x3782 -x3780 -x3778 -x3767 -x3738 -x3730 -x3714 -x3708 -x3703 -x3697
6.56/6.70 v -x3691 -x3689 -x3680 -x3678 -x3677 -x3674 -x3671 -x3629 -x3618 -x3609 -x3597 -x3591 -x3585 -x3537 -x3533 -x3530 -x3527 -x3517
6.56/6.70 v -x3513 -x3507 -x3499 -x3497 -x3496 -x3492 -x3489 -x3482 -x3481 -x3478 -x3473 -x3463 -x3458 -x3452 -x3447 -x3444 -x3437 -x3431
6.56/6.70 v -x3430 -x3429 -x3421 -x3413 -x3405 x3403 -x3401 x3397 -x3386 -x3381 -x3378 -x3377 x3375 -x3363 -x3359 -x3353 -x3351 -x3350
6.56/6.70 v -x3348 -x3334 -x3331 -x3326 -x3325 -x3324 -x3320 -x3316 -x3308 -x3302 -x3293 -x3288 -x3283 -x3270 -x3269 -x3261 -x3256 -x3249
6.56/6.70 v -x3246 -x3245 -x3243 -x3239 -x3237 -x3236 -x3231 -x3215 x3204 -x3188 -x3187 -x3186 -x3185 -x3183 -x3182 x3181 -x3180 -x3178
6.56/6.70 v -x3177 -x3164 -x3149 -x3148 -x3135 -x3134 -x3129 -x3128 -x3127 -x3104 -x3103 -x3098 x3084 -x3080 -x3078 -x3076 x3066 -x3037
6.56/6.70 v -x3029 -x3019 -x3012 -x3006 -x3001 -x2995 -x2989 -x2987 -x2978 -x2976 -x2975 -x2971 -x2968 -x2927 -x2916 -x2907 -x2895 -x2890
6.56/6.70 v -x2884 -x2839 -x2835 -x2832 -x2829 -x2819 -x2815 x2809 -x2801 -x2799 -x2798 -x2794 x2792 -x2791 -x2788 -x2765 -x2755 -x2754
6.56/6.70 v -x2749 -x2746 -x2737 -x2735 -x2729 -x2725 -x2724 -x2717 -x2716 -x2710 -x2698 -x2690 -x2680 -x2677 -x2674 -x2671 -x2660 -x2656
6.56/6.70 v -x2652 -x2640 -x2638 -x2636 x2635 -x2628 -x2622 -x2619 -x2595 -x2585 -x2584 -x2573 -x2567 -x2559 -x2547 -x2546 -x2541 -x2535
6.56/6.70 v -x2532 -x2518 -x2484 -x2478 -x2475 -x2474 -x2469 -x2460 -x2452 -x2450 -x2447 -x2442 -x2439 -x2434 -x2429 -x2422 -x2420 -x2417
6.56/6.70 v -x2416 -x2405 -x2400 -x2399 -x2397 -x2386 -x2380 -x2367 -x2358 -x2356 -x2354 -x2343 -x2341 -x2339 x2334 -x2332 -x2331 -x2328
6.56/6.70 v -x2321 -x2316 -x2313 -x2312 -x2311 -x2301 -x2296 -x2279 -x2278 -x2277 x2255 -x2252 -x2238 -x2235 -x2226 -x2224 -x2222 -x2218
6.56/6.70 v -x2216 -x2214 -x2209 -x2208 -x2202 -x2199 -x2192 -x2190 -x2183 -x2182 -x2172 -x2163 -x2157 x2144 -x2141 -x2140 -x2138 x2136
6.56/6.70 v -x2133 -x2131 -x2121 -x2119 -x2117 -x2103 -x2100 -x2093 -x2090 -x2085 -x2080 -x2077 -x2073 -x2071 -x2068 -x2067 -x2056 -x2051
6.56/6.70 v -x2050 -x2037 -x2031 -x2020 -x2017 -x2012 -x2009 -x2007 -x1994 -x1992 -x1985 -x1982 -x1979 -x1977 -x1972 -x1967 -x1964 -x1963
6.56/6.70 v -x1962 -x1952 -x1947 -x1930 -x1929 -x1928 -x1906 -x1903 -x1889 -x1886 -x1877 -x1875 -x1869 -x1867 -x1860 -x1853 -x1852 -x1850
6.56/6.70 v -x1848 -x1847 -x1845 -x1843 -x1842 -x1841 -x1840 -x1837 -x1834 -x1833 -x1824 -x1823 -x1814 -x1808 -x1795 -x1792 -x1791
6.56/6.70 v -x1789 -x1787 -x1784 -x1782 -x1772 -x1770 -x1768 -x1751 -x1744 -x1743 -x1736 -x1733 -x1719 -x1717 -x1708 -x1702 -x1699 -x1686
6.56/6.70 v -x1685 -x1684 -x1671 -x1657 -x1652 -x1639 -x1637 -x1636 -x1633 -x1630 -x1618 -x1612 -x1605 -x1589 -x1585 -x1581 -x1580 -x1579
6.56/6.70 v -x1575 -x1568 -x1563 -x1557 -x1556 -x1554 -x1549 -x1546 -x1545 -x1536 -x1526 -x1524 -x1520 -x1516 -x1515 -x1513 -x1499 -x1496
6.56/6.70 v -x1494 -x1488 -x1485 -x1475 -x1460 -x1449 -x1443 -x1442 -x1441 -x1440 -x1438 -x1436 -x1435 -x1433 -x1419 -x1405 -x1404 -x1403
6.56/6.70 v -x1395 -x1388 -x1387 -x1384 -x1379 -x1369 -x1364 -x1358 -x1353 -x1350 -x1343 -x1337 -x1336 -x1335 -x1327 -x1319 -x1311 -x1309
6.56/6.70 v -x1307 -x1303 -x1292 -x1287 -x1284 -x1283 -x1281 -x1269 -x1265 -x1259 -x1257 -x1254 -x1240 -x1237 -x1232 -x1231 -x1230 x1226
6.56/6.70 v -x1222 -x1214 -x1208 x1199 -x1194 -x1189 -x1176 -x1175 -x1167 -x1162 -x1155 -x1152 -x1151 -x1149 -x1145 -x1143 -x1142 -x1137
6.56/6.70 v -x1121 -x1110 -x1094 -x1093 -x1092 -x1091 -x1089 -x1088 -x1087 -x1086 -x1084 -x1083 -x1070 -x1055 -x1054 -x1046 -x1045 -x1043
6.56/6.70 v -x1038 -x1033 -x1026 -x1024 -x1021 -x1020 -x1009 -x1004 -x1003 -x1001 -x990 -x984 -x971 -x962 -x960 -x958 -x947 -x945 -x943
6.56/6.70 v -x938 -x936 -x935 -x932 -x925 -x920 -x917 -x916 -x915 -x907 -x905 -x900 -x883 -x882 x881 -x859 -x856 -x842 -x840 -x839 -x830
6.56/6.70 v -x828 -x826 -x822 -x820 -x818 -x813 -x812 -x806 -x803 -x796 -x794 -x787 -x786 -x776 -x767 -x761 -x748 -x745 -x744 -x742
6.56/6.70 v -x740 x737 -x735 -x725 -x723 x721 -x707 -x704 -x697 -x696 -x694 -x689 -x684 -x677 -x675 -x672 -x671 -x660 x655 -x654 -x652 -x641
6.56/6.70 v -x635 -x622 -x613 -x611 -x609 -x598 -x596 -x594 -x589 -x587 x586 -x583 -x576 x571 -x568 -x567 -x566 -x558 -x556 -x551 x534
6.56/6.70 v -x533 -x532 -x510 -x507 -x493 -x491 -x490 -x481 -x479 -x477 -x473 -x471 -x469 -x464 -x463 -x457 -x454 -x447 -x445 -x438 -x437
6.56/6.70 v -x427 -x418 -x412 -x399 -x396 -x395 -x393 -x391 -x388 -x386 -x376 -x372 -x358 -x355 -x348 -x347 -x340 -x337 -x323 -x321 -x312
6.56/6.70 v -x306 -x303 -x290 -x289 -x288 -x275 -x261 -x256 -x243 -x241 -x240 -x237 -x234 -x222 -x216 -x193 -x189 -x185 x184 -x183 -x179
6.56/6.70 v -x172 x167 -x161 -x160 -x158 -x153 -x150 -x149 -x140 -x130 -x128 -x124 -x120 -x119 -x117 -x103 -x100 x98 -x92 -x89 -x79 -x64
6.56/6.70 v -x53 -x47 x46 -x45 x44 -x42 -x40 -x39 -x37 -x23 -x9 -x8 -x7 x1 -x8405 -x8054 -x7703 -x7352 x7001 -x6650 -x6299 -x5948 -x5597
6.56/6.70 v -x5246 -x4895 -x4544 -x4193 -x3842 -x3491 -x3142 -x2444 -x1746 -x1397 -x1048 -x699 -x350 -x3490 -x3141 -x2443 -x2094 -x1745
6.56/6.70 v -x1396 -x1047 -x698 -x349 -x8404 -x6649 -x6298 -x5947 -x5596 -x5245 -x4894 -x4543 -x3841 -x8403 -x2790 -x8402 -x4190 -x3839
6.56/6.70 v -x3138 -x2789 -x5242 -x4891 -x4540 -x4189 -x3838 -x3137 -x1741 -x345 -x8400 -x5592 -x2787 -x2089 -x8399 -x8048 -x7697 -x7346
6.56/6.70 v -x6995 -x5591 -x5240 -x4889 -x4538 -x4187 -x3484 -x2088 -x1739 -x1390 -x343 -x8398 -x8047 -x7696 -x7345 -x6994 -x6643 -x6292
6.56/6.70 v -x5941 -x3483 -x2785 -x2436 -x2087 -x1389 -x1040 -x691 -x8397 -x6642 -x6291 -x5940 -x5589 -x5238 -x4887 -x4536 -x4185 -x3133
6.56/6.70 v -x2784 -x8395 -x4183 -x3832 -x3131 -x2782 -x8043 -x7692 -x7341 -x6990 -x6639 -x6288 -x5937 -x5586 -x5235 -x4884 -x4533 -x4182
6.56/6.70 v -x3831 -x3479 -x3130 -x2781 -x2432 -x1734 -x1385 -x1036 -x687 -x338 -x4181 -x8040 -x7689 -x7338 -x6987 -x5232 -x4881 -x4530
6.56/6.70 v -x3476 -x1731 -x1382 -x335 -x8390 -x4178 -x3827 -x3126 -x2777 -x8038 -x7687 -x7336 -x6985 -x6634 -x6283 -x5932 -x5230 -x4879
6.56/6.70 v -x4528 -x3474 -x2776 -x2427 -x2078 -x1729 -x1380 -x1031 -x682 -x333 -x8388 -x4176 -x3825 -x3124 -x2775 -x8036 -x7685 -x7334
6.56/6.70 v -x6983 -x6632 -x6281 -x5930 -x5579 -x5228 -x4877 -x4526 -x4175 -x3472 -x2425 -x2076 -x1727 -x1378 -x1029 -x680 -x331 -x8386
6.56/6.70 v -x6631 -x6280 -x5929 -x5578 -x4174 -x2773 -x2424 -x2075 -x1028 -x679 -x8034 -x7683 -x7332 -x6981 -x6630 -x6279 -x5928 -x5577
6.56/6.70 v -x5226 -x4875 -x4524 -x4173 -x3470 -x2423 -x2074 -x1725 -x1376 -x1027 -x678 -x329 -x8384 -x3821 -x3120 -x2771 -x8383 -x6628 -x6277
6.56/6.70 v -x5926 -x5224 -x4873 -x4522 -x4171 -x3820 -x3119 -x2770 -x2421 -x2072 -x1723 -x1025 -x676 -x327 -x8382 -x3819 -x3118 -x2769
6.56/6.70 v -x8381 -x5222 -x4871 -x4520 -x4169 -x3818 -x3117 -x2768 -x1721 -x325 -x8380 -x8029 -x7678 -x7327 -x6976 -x6625 -x6274 -x5923
6.56/6.70 v -x5221 -x4870 -x4519 -x4168 -x3817 -x3465 -x3116 -x2767 -x2418 -x2069 -x1720 -x1371 x1022 -x673 -x324 -x8379 -x2766 -x8377
6.56/6.70 v -x6622 -x6271 -x5920 -x5569 -x4165 -x2764 -x2415 -x2066 -x1019 -x670 -x8376 -x8025 -x7674 -x7323 -x6972 -x5217 -x4866 -x4515
6.56/6.70 v -x3813 -x3461 -x3112 -x2763 -x1716 -x1367 -x320 -x8375 -x8024 -x7673 -x7322 -x6971 -x6620 -x6269 -x5918 -x5567 -x3812 -x3460
6.56/6.70 v -x3111 -x2762 -x2413 -x2064 -x1366 -x1017 -x668 -x8374 -x8023 -x7672 -x7321 -x6970 -x4162 -x3811 -x3459 -x3110 -x2761 -x1365
6.56/6.70 v -x8373 -x6618 -x6267 -x5916 -x5214 -x4863 -x4512 -x4161 -x2760 -x2411 -x1713 -x1015 -x666 -x317 -x8372 -x8021 -x7670 -x7319
6.56/6.70 v -x6968 -x5564 -x5213 -x4862 -x4511 -x4160 -x3457 -x2759 -x2061 -x1712 -x1363 -x316 -x8371 -x6616 -x6265 -x5914 -x5212 -x4861
6.56/6.70 v -x4510 -x4159 -x2758 -x2409 -x2060 -x1711 -x1013 -x664 -x315 -x8370 -x4158 -x3807 -x3106 -x2757 -x8369 -x2756 -x8367 -x3804
6.56/6.70 v -x3102 -x2753 -x8366 -x8015 -x7664 -x7313 -x6962 -x5207 -x4856 -x4505 -x3450 -x2752 -x1705 -x1356 -x309 -x8014 -x7663 -x7312
6.56/6.70 v -x6961 -x5206 -x4855 -x4504 -x3449 -x1704 -x1355 -x308 -x8013 -x7662 -x7311 -x6960 -x6609 -x6258 -x5907 -x5556 -x5205 -x4854
6.56/6.70 v -x4503 -x4152 -x3448 -x2401 -x2052 -x1703 -x1354 -x1005 -x656 -x307 -x8362 -x8011 -x7660 -x7309 -x6958 -x4150 -x3799 -x3446
6.56/6.70 v -x3097 -x2748 -x1352 -x8361 -x8010 -x7659 -x7308 -x6957 -x4149 -x3445 -x2747 -x1351 -x4147 -x3796 -x3094 -x2745 -x8358 -x8007
6.56/6.70 v -x7656 x7305 -x6954 -x6603 -x6252 -x5901 -x5550 -x5199 -x4848 -x4497 -x4146 -x3795 -x3442 -x3093 -x2744 -x2395 -x2046 -x1697
6.56/6.70 v -x1348 -x999 x650 -x301 -x8357 -x8006 -x7655 -x7304 -x6953 -x4145 -x3794 -x3441 -x3092 -x2743 -x1347 -x8356 -x4144 -x3793 -x3091
6.56/6.70 v -x2742 -x8355 -x4143 -x3792 -x3090 -x2741 -x8354 -x5195 -x4844 -x4493 -x4142 -x3791 -x3089 -x2740 -x1693 -x297 -x2739 -x2041
6.56/6.70 v -x8353 -x4141 -x3790 -x3087 -x2738 -x8001 -x7650 -x7299 -x6948 -x6597 -x6246 -x5895 -x5544 -x4140 -x3789 -x3435 -x3086 -x2388
6.56/6.70 v -x2039 -x1341 -x992 -x643 -x6596 -x6245 -x5894 -x5543 -x5192 -x4841 -x4490 -x4139 -x3788 -x3085 -x2387 -x2038 -x1689 -x991
6.56/6.70 v -x642 -x293 -x7999 -x7648 -x7297 -x6946 -x5191 -x4840 -x4489 -x3433 -x1688 -x1339 -x292 -x6594 -x6243 -x5892 -x5541 -x4137
6.56/6.70 v -x3786 -x3083 -x2385 -x2036 -x989 -x640 -x7997 -x7646 -x7295 -x6944 -x6593 -x6242 -x5891 -x5540 -x5189 -x4838 -x4487 -x8347
6.56/6.70 v -x2733 -x8346 -x3783 -x3081 -x2732 -x6590 -x6239 -x5888 -x4133 -x2382 -x2033 -x986 -x637 -x8344 -x6589 -x6238 -x5887 -x5536
6.56/6.70 v -x5185 -x4834 -x4483 -x4132 -x2730 -x2381 -x2032 -x1683 -x985 -x636 -x287 -x8342 -x6587 -x6236 -x5885 -x5183 -x4832 -x4481 -x4130
6.56/6.70 v -x3779 -x3077 -x2728 -x2379 -x2030 -x1681 -x983 -x634 -x285 -x6586 -x6235 -x5884 -x5182 -x4831 -x4480 -x4129 -x2378 -x2029
6.56/6.70 v -x1680 -x982 -x633 -x284 -x8340 -x6585 -x6234 -x5883 -x5532 -x3777 -x3075 -x2726 -x2377 -x2028 -x981 -x632 -x6584 -x6233 -x5882
6.56/6.70 v -x5531 -x4127 -x3776 -x3074 -x2376 -x2027 -x980 -x631 -x7987 -x7636 -x7285 -x6934 -x6583 -x6232 -x5881 -x5179 -x4828 -x4477
6.56/6.70 v -x4126 -x3422 -x2375 -x2026 -x1677 -x1328 -x979 -x630 -x281 -x8337 -x2723 -x8336 -x4124 -x3773 -x3071 -x2722 -x8335 -x6580
6.56/6.70 v -x6229 -x5878 -x5527 -x4123 -x3772 -x3070 -x2721 -x2372 -x2023 -x976 -x627 -x8334 -x4122 -x3771 -x3069 -x2720 -x3770 -x7981
6.56/6.70 v -x7630 -x7279 -x6928 -x6577 -x6226 -x5875 -x5524 -x5173 -x4822 -x4471 -x4120 -x3417 -x2370 -x2021 -x1672 -x1323 -x974 -x625
6.56/6.70 v -x276 -x8331 -x4119 -x3768 -x3067 -x2718 -x7979 -x7628 -x7277 -x6926 -x6575 -x6224 -x5873 -x5171 -x4820 -x4469 -x4118 -x3415
6.56/6.70 v -x2368 -x2019 -x1670 -x1321 -x972 -x623 -x274 -x5521 -x3766 -x3065 -x2018 -x8328 -x4116 -x3765 -x3064 -x2715 -x8327 -x6572 -x6221
6.56/6.70 v -x5870 -x5519 -x5168 -x4817 -x4466 -x4115 -x3764 -x3063 -x2714 -x2365 -x1667 -x969 -x620 -x271 -x7975 -x7624 -x7273 -x6922
6.56/6.70 v -x6571 -x6220 -x5869 -x5518 -x5167 -x4816 -x4465 -x4114 -x3411 -x2713 -x2364 -x2015 -x1666 -x1317 -x968 -x619 -x270 -x7974
6.56/6.70 v -x7623 -x7272 -x6921 -x5166 -x4815 -x4464 -x4113 -x3762 -x3410 -x3061 -x1665 -x1316 -x269 -x7973 -x7622 -x7271 -x6920 -x6569
6.56/6.70 v -x6218 -x5867 -x5516 -x4112 -x3761 -x3409 -x3060 -x2711 -x2362 -x2013 -x1315 -x966 -x617 -x3760 -x3059 -x7971 -x7620 -x7269
6.56/6.70 v -x6918 -x6567 -x6216 -x5865 -x5163 -x4812 -x4461 -x4110 -x3759 -x3407 -x3058 -x2360 -x2011 -x1662 -x1313 -x964 -x615 -x266 -x8321
6.56/6.70 v -x7970 -x7619 -x7268 -x6917 -x6566 -x6215 -x5864 -x4109 -x3758 -x3406 -x3057 -x2708 -x2359 -x2010 -x1312 -x963 -x614 -x5161
6.56/6.70 v -x4810 -x4459 -x3757 -x3056 -x1660 -x264 -x7968 -x7617 -x7266 -x6915 -x6564 -x6213 -x5862 -x5511 -x4107 -x3756 -x3404 -x3055
6.56/6.70 v -x2706 -x2357 -x2008 -x1310 -x961 -x612 -x8318 -x3755 -x3054 -x2705 -x8317 -x4105 -x3754 -x3053 -x2704 -x8316 -x5508 -x4104
6.56/6.70 v -x3753 -x3052 -x2703 -x8315 -x7964 -x7613 -x7262 -x6911 -x6560 -x6209 -x5858 -x5156 -x4805 -x4454 -x4103 -x3400 -x2702 -x2353
6.56/6.70 v -x2004 -x1655 -x1306 -x957 -x608 -x259 -x8314 -x7963 -x7612 -x7261 -x6910 -x4102 -x3751 -x3399 -x3050 -x2701 -x1305 -x8313
6.56/6.70 v -x7962 -x7611 -x7260 -x6909 -x6558 -x6207 -x5856 -x4101 -x3750 -x3398 -x3049 -x2700 -x2351 -x1304 -x955 -x606 -x8312 -x4100
6.56/6.70 v -x3749 -x3048 -x2699 -x7960 -x7609 -x7258 -x6907 -x6556 -x6205 -x5854 -x5503 -x5152 -x4801 -x4450 -x4099 -x3396 -x2349 -x2000
6.56/6.70 v -x1651 -x1302 -x953 -x604 -x255 -x8310 -x5502 -x3747 -x3046 -x2697 -x1999 -x8309 -x4097 -x3746 -x3045 -x2696 -x8308 -x7957
6.56/6.70 v -x7606 -x7255 -x6904 -x6553 -x6202 -x5851 -x5149 -x4798 -x4447 -x4096 -x3393 -x2695 -x2346 -x1997 -x1648 -x1299 -x950 -x601
6.56/6.70 v -x252 -x8307 -x6552 -x6201 -x5850 -x5499 -x4095 -x3744 -x3043 -x2694 -x2345 -x1996 -x949 -x600 -x8306 -x5498 -x4094 -x3743 -x3042
6.56/6.70 v -x2693 -x1995 -x7954 -x7603 -x7252 -x6901 -x5146 -x4795 -x4444 -x4093 -x3742 -x3390 -x3041 -x1645 -x1296 -x249 -x8304 -x7953
6.56/6.70 v -x7602 -x7251 -x6900 -x6549 -x6198 -x5847 -x5145 -x4794 -x4443 -x4092 -x3389 -x2691 -x2342 -x1993 -x1644 -x1295 -x946 -x597
6.56/6.70 v -x248 -x3740 -x3039 -x8302 -x6547 -x6196 -x5845 -x5494 -x4090 -x3739 -x3038 -x2689 -x2340 -x1991 -x944 -x595 -x5142 -x4791
6.56/6.70 v -x4440 -x4089 -x1641 -x245 -x6545 -x6194 -x5843 -x5492 -x4088 -x3737 -x3036 -x2338 -x1989 -x942 -x593 -x8299 -x4087 -x3736
6.56/6.70 v -x3035 -x2686 -x6543 -x6192 -x5841 -x5490 -x4086 -x3735 -x3034 -x2336 -x1987 -x940 -x591 -x8297 -x7946 -x7595 -x7244 -x6893 -x6542
6.56/6.70 v -x6191 -x5840 -x4085 -x3734 -x3382 -x3033 -x2684 -x2335 -x1288 -x939 -x590 -x8296 -x4084 -x3733 -x3032 -x2683 -x8295 -x5487
6.56/6.70 v -x5136 -x4785 -x4434 -x3732 -x3031 -x2682 -x1984 -x1635 -x239 -x8294 -x7943 -x7592 -x7241 -x6890 -x4082 -x3731 -x3379 -x3030
6.56/6.70 v -x2681 -x1285 -x4081 -x6537 -x6186 -x5835 -x5133 -x4782 -x4431 -x3729 -x3028 -x2330 -x1632 -x934 -x585 -x236 -x8291 -x7940
6.56/6.70 v -x7589 -x7238 -x6887 -x6536 -x6185 -x5834 -x5483 -x4079 -x3728 -x3376 -x3027 -x2678 -x2329 -x1282 -x933 -x584 -x7938 -x7587
6.56/6.70 v -x7236 -x6885 -x5481 -x5130 -x4779 -x4428 -x3726 -x3374 -x3025 -x1978 -x1629 -x1280 -x233 -x8288 -x3725 -x3024 -x2675 -x7936
6.56/6.70 v -x7585 -x7234 -x6883 -x6532 -x6181 -x5830 -x3724 -x3372 -x3023 -x2325 -x1976 -x1278 -x929 -x580 -x7935 -x7584 -x7233 -x6882
6.56/6.70 v -x6531 -x6180 -x5829 -x4074 -x3371 -x2673 -x2324 -x1975 -x1277 -x928 -x579 -x8285 -x4073 -x3722 -x3021 -x2672 -x7933 -x7582
6.56/6.70 v -x7231 -x6880 -x6529 -x6178 -x5827 -x3721 -x3369 -x3020 -x2322 -x1973 -x1275 -x926 -x577 -x2670 -x8283 -x4071 -x3720 -x3018 -x2669
6.56/6.70 v -x8282 -x7931 -x7580 -x7229 -x6878 -x6527 -x6176 -x5825 -x5474 -x3719 -x3366 -x3017 -x2668 -x2319 -x1970 -x1272 -x923 -x574
6.56/6.70 v -x8281 -x7930 -x7579 x7228 -x6877 -x6526 -x6175 -x5824 -x5122 -x4771 -x4420 -x4069 -x3718 -x3365 -x3016 -x2667 -x2318 -x1620
6.56/6.70 v -x1271 -x922 -x573 -x224 -x6525 -x6174 -x5823 -x5472 -x4068 -x2317 -x1968 -x921 -x572 -x8279 -x3716 -x3014 -x2665 -x8278
6.56/6.70 v -x7927 -x7576 -x7225 -x6874 -x6523 -x6172 -x5821 -x3715 -x3362 -x3013 -x2664 -x2315 -x1966 -x1268 -x919 -x570 -x8277 -x5118
6.56/6.70 v -x4767 -x4416 -x2663 -x1616 -x220 -x8276 -x4064 -x3713 -x3011 -x2662 -x8275 -x5116 -x4765 -x4414 -x2661 -x1614 -x218 -x5115 -x4764
6.56/6.70 v -x4413 -x3711 -x3009 -x1613 -x217 -x8273 -x7922 -x7571 -x7220 -x6869 -x6518 -x6167 -x5816 -x4061 -x3357 -x2659 -x2310 -x1961
6.56/6.70 v -x1263 -x914 -x565 -x7921 -x7570 -x7219 -x6868 -x6517 -x6166 -x5815 -x4060 -x3709 -x3356 -x3007 -x2309 -x1960 -x1262 -x913
6.56/6.70 v -x564 -x8271 -x7920 -x7569 -x7218 -x6867 -x6516 -x6165 -x5814 -x5463 -x3355 -x2308 -x1959 -x1261 -x912 -x563 -x7919 -x7568
6.56/6.70 v -x7217 -x6866 -x5111 -x4760 -x4409 -x3707 -x3354 -x3005 -x1609 -x1260 -x213 -x6514 -x6163 -x5812 -x4057 -x3706 -x3004 -x2655
6.56/6.70 v -x2306 -x910 -x561 -x8268 -x7917 -x7566 -x7215 -x6864 -x6513 -x6162 -x5811 -x5460 -x3705 -x3352 -x3003 -x2305 -x1956 -x1258
6.56/6.70 v -x909 -x560 -x6512 -x6161 -x5810 -x4055 -x3704 -x3002 -x2653 -x2304 -x908 -x559 -x8265 -x4053 -x3702 -x3000 -x2651 -x8264 -x3701
6.56/6.70 v -x2999 -x2650 -x8263 -x7912 -x7561 -x7210 -x6859 -x3700 -x3347 -x2998 -x2649 -x1253 -x8262 -x7911 -x7560 -x7209 -x6858 -x4050
6.56/6.70 v -x3699 -x3346 -x2997 -x2648 -x1252 -x8261 -x4049 -x3698 -x2996 -x2647 -x7909 -x7558 -x7207 -x6856 -x3344 -x1250 -x5100
6.56/6.70 v -x4749 -x4398 -x3696 -x2994 -x1598 -x202 -x7907 -x7556 -x7205 -x6854 -x6503 -x6152 -x5801 -x5450 -x4046 -x3342 -x2295 -x1946
6.56/6.70 v -x1248 -x899 -x550 -x6502 -x6151 -x5800 -x5449 -x5098 -x4747 -x4396 -x3694 -x2992 -x2294 -x1945 -x1596 -x898 -x549 -x200 -x8256
6.56/6.70 v -x6501 -x6150 -x5799 -x5448 -x5097 -x4746 -x4395 -x3693 -x2991 -x2642 -x2293 -x1944 -x1595 -x897 -x548 -x199 -x8255 -x4043
6.56/6.70 v -x3692 -x2990 -x2641 -x6499 -x6148 -x5797 -x5446 -x4042 -x2291 -x1942 -x895 -x546 -x8253 -x4041 -x3690 -x2988 -x2639 -x6497
6.56/6.70 v -x6146 -x5795 -x5444 -x4040 -x2289 -x1940 -x893 -x544 -x8251 -x4039 -x3688 -x2986 -x2637 -x3687 -x2985 -x7898 -x7547 -x7196 -x6845
6.56/6.70 v -x6494 -x6143 -x5792 -x5090 -x4739 -x4388 -x4037 -x3686 -x3333 -x2984 -x2286 -x1937 -x1588 -x1239 -x890 -x541 -x192 -x3685
6.56/6.70 v -x2983 -x2634 -x6492 -x6141 -x5790 -x5439 -x4035 -x3684 -x2982 -x2633 -x2284 -x1935 -x888 -x539 -x8246 -x3683 -x2981 -x2632
6.56/6.70 v -x6490 -x6139 -x5788 -x5437 -x5086 -x4735 -x4384 -x4033 -x3682 -x2980 -x2631 -x2282 -x1933 -x1584 -x886 -x537 -x188 -x8244
6.56/6.70 v -x5436 -x3681 -x2979 -x2630 -x1932 -x8243 -x6488 -x6137 -x5786 -x5435 -x4031 -x2629 -x2280 -x1931 -x884 -x535 -x3679 -x2977
6.56/6.70 v -x8241 -x2627 -x8240 -x2626 -x8239 -x6484 -x6133 -x5782 -x5431 -x4027 -x2625 -x2276 -x1927 -x880 -x531 -x3322 -x2624 -x1228 -x6483
6.56/6.70 v -x6132 -x5781 -x5079 -x4728 -x4377 -x4026 -x3675 -x2972 -x2274 -x1925 -x1576 -x878 -x529 -x180 -x6482 -x6131 -x5780 -x5429
6.56/6.70 v -x2273 -x1924 -x877 -x528 -x8236 -x5428 -x5077 -x4726 -x4375 -x3673 -x2970 -x2621 -x1923 -x1574 -x178 -x8235 -x6480 -x6129
6.56/6.70 v -x5778 -x5076 -x4725 -x4374 -x3672 -x2969 -x2620 -x2271 -x1573 -x875 -x526 -x177 -x7883 -x7532 -x7181 -x6830 -x5075 -x4724
6.56/6.70 v -x4373 -x4022 -x3317 -x1572 -x1223 -x176 -x8233 -x6478 -x6127 -x5776 -x5425 -x4021 -x2618 -x2269 -x1920 -x873 -x524 -x8232 -x7881
6.56/6.70 v -x7530 -x7179 -x6828 -x3669 -x3315 -x2966 -x2617 -x1221 -x3668 -x8230 -x7879 -x7528 -x7177 -x6826 -x3667 -x3314 -x2965 -x2616
6.56/6.70 v -x1220 -x7878 -x7527 -x7176 -x6825 -x6474 -x6123 -x5772 -x5421 -x4017 -x3666 -x3313 -x2964 -x2615 -x2266 -x1219 -x870 -x521
6.56/6.70 v -x8228 -x7877 -x7526 -x7175 -x6824 -x3665 -x3312 -x2963 -x2614 -x1218 -x7876 -x7525 -x7174 -x6823 -x6472 -x6121 -x5770 -x4015
6.56/6.70 v -x3311 -x2613 -x2264 -x1915 -x1217 -x868 -x519 -x8226 -x5067 -x4716 -x4365 -x3663 -x2961 -x2612 -x1565 -x169 -x8225 -x7874
6.56/6.70 v -x7523 -x7172 -x6821 -x5066 -x4715 -x4364 -x4013 -x3309 -x2611 -x1564 -x1215 -x168 -x8224 -x3661 -x2959 -x2610 -x8223 -x7872
6.56/6.70 v -x7521 -x7170 -x6819 -x3660 -x3307 -x2958 -x2609 -x1213 -x8222 -x7871 -x7520 -x7169 -x6818 -x6467 -x6116 -x5765 -x5414 -x3306
6.56/6.70 v -x2608 -x2259 -x1910 -x1212 -x863 -x514 -x8221 -x4009 -x3658 -x2956 -x2607 -x8220 -x6465 -x6114 -x5763 -x5412 -x3657 -x2955
6.56/6.70 v -x2606 -x2257 -x1908 -x861 -x512 -x7868 -x7517 -x7166 -x6815 -x6464 -x6113 -x5762 -x5060 -x4709 -x4358 -x4007 -x3656 -x3303
6.56/6.70 v -x2954 -x2256 -x1558 -x1209 -x860 -x511 -x162 -x8218 -x4006 -x3655 -x2953 -x2604 -x8217 -x7866 -x7515 -x7164 -x6813 -x4005
6.56/6.70 v -x3654 -x3301 -x2952 -x2603 -x1207 -x8216 -x4004 -x3653 -x2951 -x2602 -x8215 -x4003 -x3652 -x2950 -x2601 -x8214 -x7863 -x7512
6.56/6.70 v -x7161 -x6810 -x5055 -x4704 -x4353 -x4002 -x3651 -x3298 -x2949 -x2600 -x1553 -x1204 -x157 -x7862 -x7511 -x7160 -x6809 -x6458
6.56/6.70 v -x6107 -x5756 -x4001 -x3297 -x2599 -x2250 -x1901 -x1203 -x854 -x505 -x7861 -x7510 -x7159 -x6808 -x6457 -x6106 -x5755 -x5404
6.56/6.70 v -x4000 -x3649 -x3296 -x2947 -x2598 -x2249 -x1202 -x853 -x504 -x8211 -x3999 -x3648 -x2946 -x2597 -x7859 -x7508 -x7157 -x6806
6.56/6.70 v -x6455 -x6104 -x5753 -x5402 -x3998 -x3294 -x2247 -x1898 -x1200 -x851 -x502 -x5050 -x4699 -x4348 -x3997 -x3646 -x2944 -x1548 -x152
6.56/6.70 v -x7857 -x7506 -x7155 -x6804 -x6453 -x6102 -x5751 -x5049 -x4698 -x4347 -x3996 -x3292 -x2245 -x1896 -x1547 -x1198 -x849 -x500
6.56/6.70 v -x151 -x8207 -x7856 -x7505 -x7154 -x6803 -x3995 -x3291 -x2593 -x1197 -x8206 -x7855 -x7504 -x7153 -x6802 -x3643 -x3290 -x2941
6.56/6.70 v -x2592 -x1196 -x8205 -x5046 -x4695 -x4344 -x3993 -x3642 -x2940 -x2591 -x1544 -x148 -x8204 -x6449 -x6098 -x5747 -x5396 -x3992
6.56/6.70 v -x3641 -x2939 -x2241 -x1892 -x845 -x496 -x8203 -x6448 -x6097 -x5746 -x5395 -x3991 -x2589 -x2240 -x1891 -x844 -x495 -x8202
6.56/6.70 v -x7851 x7500 -x7149 -x6798 -x6447 -x6096 -x5745 -x5394 -x5043 -x4692 -x4341 -x3990 -x3639 -x3286 -x2937 -x2588 -x2239 -x1890
6.56/6.70 v -x1541 -x1192 -x843 -x494 x145 -x8201 -x3989 -x3638 -x2936 -x2587 -x8200 -x5041 -x4690 -x4339 -x3988 -x3637 -x2935 -x2586 -x1539
6.56/6.70 v -x143 -x5039 -x4688 -x4337 -x1537 -x141 -x8197 -x3985 -x3634 -x2932 -x2583 -x8196 -x5037 -x4686 -x4335 -x3984 -x3633 -x2931
6.56/6.70 v -x2582 -x1535 -x139 -x8195 -x7844 -x7493 -x7142 -x6791 -x3983 -x3632 -x3279 -x2930 -x2581 -x1185 -x8194 -x3982 -x3631 -x2929
6.56/6.70 v -x2580 -x7842 -x7491 -x7140 -x6789 -x6438 -x6087 -x5736 -x5385 -x5034 -x4683 -x4332 -x3981 -x3630 -x3277 -x2928 -x2579 -x2230
6.56/6.70 v -x1532 -x1183 -x834 -x485 -x136 -x8192 -x6437 -x6086 -x5735 -x5033 -x4682 -x4331 -x3980 -x2578 -x2229 -x1531 -x833 -x484
6.56/6.70 v -x135 -x8191 -x3979 -x3628 -x2926 -x2577 -x5031 -x4680 -x4329 -x3978 -x3627 -x2925 -x1529 -x133 -x8189 -x7838 -x7487 -x7136
6.56/6.70 v -x6785 -x3977 -x3626 -x3273 -x2924 -x2575 -x1179 -x8188 -x7837 -x7486 -x7135 -x6784 -x3976 -x3625 -x3272 -x2923 -x2574 -x1178
6.56/6.70 v -x3975 -x8186 -x3623 -x2921 -x2572 -x8185 -x3973 -x3622 -x2920 -x2571 -x8184 -x7833 -x7482 -x7131 -x6780 -x6429 -x6078 -x5727
6.56/6.70 v -x3972 -x3621 -x3268 -x2919 -x2570 -x2221 -x1872 -x1174 -x825 -x476 -x8183 -x5375 -x2569 -x1871 -x8182 -x7831 -x7480 -x7129
6.56/6.70 v -x6778 -x5023 -x4672 -x4321 -x3970 -x3619 -x3266 -x2917 -x2568 -x1521 -x1172 -x125 -x8180 -x7829 -x7478 -x7127 -x6776 -x5372
6.56/6.70 v -x3968 -x3264 -x2566 -x1868 -x1170 -x8179 -x7828 -x7477 -x7126 -x6775 -x3967 -x3616 -x3263 -x2914 -x2565 -x1169 -x8178 -x5019
6.56/6.70 v -x4668 -x4317 -x3966 -x2564 -x1517 -x121 -x8177 -x3965 -x3614 -x2912 -x2563 -x8176 -x7825 -x7474 -x7123 -x6772 -x6421 -x6070
6.56/6.70 v -x5719 -x3964 -x3260 -x2562 -x2213 -x1864 -x1166 -x817 -x468 -x8175 -x7824 -x7473 -x7122 -x6771 -x3259 -x2561 -x1165 -x8174
6.56/6.70 v -x6419 -x6068 -x5717 -x5366 -x3611 -x2909 -x2560 -x2211 -x1862 -x815 -x466 -x7822 -x7471 -x7120 -x6769 -x6418 -x6067 -x5716
6.56/6.70 v -x5365 -x5014 -x4663 -x4312 -x3961 -x3257 -x2210 -x1861 -x1512 -x1163 -x814 -x465 -x116 -x8172 -x2558 -x8171 -x7820 -x7469 -x7118
6.56/6.70 v -x6767 -x3608 -x3255 -x2906 -x2557 -x1161 -x7819 -x7468 -x7117 -x6766 -x6415 -x6064 -x5713 -x5362 -x5011 -x4660 -x4309 -x3958
6.56/6.70 v -x3254 -x2556 -x2207 -x1858 -x1509 -x1160 -x811 -x462 -x113 -x8169 -x7818 -x7467 -x7116 -x6765 -x3957 -x3606 -x3253 -x2904
6.56/6.70 v -x2555 -x1159 -x7817 -x7466 -x7115 -x6764 -x6413 -x6062 -x5711 -x5360 -x5009 -x4658 -x4307 -x3956 -x3252 -x2205 -x1856 -x1507
6.56/6.70 v -x1158 -x809 -x460 -x111 -x8167 -x5008 -x4657 -x4306 -x3604 -x2902 -x2553 -x1506 -x110 -x7815 -x7464 -x7113 -x6762 -x5007
6.56/6.70 v -x4656 -x4305 -x3954 -x3250 -x1505 -x1156 -x109 -x5006 -x4655 -x4304 -x3953 -x3602 -x2900 -x1504 -x108 -x5005 -x4654 -x4303
6.56/6.70 v -x3601 -x2899 -x2550 -x1503 -x107 -x8163 -x7812 -x7461 -x7110 -x6759 -x5004 -x4653 -x4302 -x3951 -x3600 -x3247 -x2898 -x2549
6.56/6.70 v -x1502 -x1153 -x106 -x8162 -x3599 -x2897 -x2548 -x6406 -x6055 -x5704 -x3949 -x3598 -x2896 -x2198 -x802 -x453 -x8159 -x7808 -x7457
6.56/6.70 v -x7106 -x6755 -x6404 -x6053 -x5702 -x5000 -x4649 -x4298 -x3947 -x8158 -x3946 -x3595 -x2894 -x2545 -x8157 -x7806 -x7455
6.56/6.70 v -x7104 -x6753 -x6402 -x6051 -x5700 -x3945 -x3594 -x3242 -x2893 -x2544 -x2195 -x1846 -x1148 -x799 -x450 -x8156 -x3944 -x3593 -x2892
6.56/6.70 v -x2543 -x8155 -x7804 -x7453 -x7102 -x6751 -x6400 -x6049 -x5698 -x3943 -x3592 -x3240 -x2891 -x2542 -x2193 -x1146 -x797 -x448
6.56/6.70 v -x4994 -x4643 -x4292 -x3941 -x3590 -x2889 -x2540 -x1493 -x97 -x8152 -x3589 -x2888 -x2539 -x8151 -x3939 -x3588 -x2887 -x2538
6.56/6.70 v -x6395 -x6044 -x5693 -x5342 -x2188 -x1839 -x792 -x443 -x8149 -x7798 -x7447 -x7096 -x6745 -x6394 -x6043 -x5692 -x4990 -x4639
6.56/6.70 v -x4288 -x3937 -x3234 -x2536 -x2187 -x1489 -x1140 -x791 -x442 -x93 -x8147 -x7796 -x7445 -x7094 -x6743 -x5339 -x3935 -x3584
6.56/6.70 v -x3232 -x2883 -x2534 -x1836 -x1138 -x8146 -x6391 -x6040 -x5689 -x3934 -x3583 -x2882 -x2533 -x2184 -x1835 -x788 -x439 -x3582 -x2881
6.56/6.70 v -x8144 -x3932 -x3581 -x2880 -x2531 -x8143 -x7792 -x7441 -x7090 -x6739 -x6388 -x6037 -x5686 -x3931 -x3580 -x3228 -x2879
6.56/6.70 v -x2530 -x2181 -x1832 -x1134 -x785 -x436 -x8142 -x7791 -x7440 -x7089 -x6738 -x4983 -x4632 -x4281 -x3930 -x3579 -x3227 -x2878 -x2529
6.56/6.70 v -x1482 -x1133 -x86 -x8141 -x3929 -x3578 -x2877 -x2528 -x8140 -x7789 -x7438 -x7087 -x6736 -x6385 -x6034 -x5683 -x3928 -x3577
6.56/6.70 v -x3225 -x2876 -x2527 -x2178 -x1131 -x782 -x433 -x7788 -x7437 -x7086 -x6735 -x6384 -x6033 -x5682 -x3927 -x3576 -x3224 -x2875
6.56/6.70 v -x2526 -x2177 -x1828 -x1130 -x781 -x432 -x8138 -x7787 -x7436 -x7085 -x6734 -x3926 -x3575 -x3223 -x2874 -x2525 -x1129 -x8137
6.56/6.70 v -x7786 -x7435 -x7084 -x6733 -x6382 -x6031 -x5680 -x5329 -x3925 -x3222 -x2524 -x2175 -x1826 -x1128 -x779 -x430 -x8136 -x6381
6.56/6.70 v -x6030 -x5679 -x5328 -x3924 -x3573 -x2872 -x2523 -x2174 -x1825 -x778 -x429 -x8135 -x3923 -x3572 -x2871 -x2522 -x8134 -x3922
6.56/6.70 v -x3571 -x2870 -x2521 -x8133 -x7782 -x7431 -x7080 -x6729 -x7781 -x7430 -x7079 -x6728 -x6377 -x6026 -x5675 -x5324 -x4973 -x4622
6.56/6.70 v -x4271 -x3920 -x3569 -x3218 -x2869 -x2520 -x2171 -x1822 -x1473 -x1124 -x775 x426 -x77 -x8131 -x7780 -x7429 -x7078 -x6727 -x6376
6.56/6.70 v -x6025 -x5674 -x5323 -x3919 -x3217 -x2519 -x2170 -x1821 -x1123 -x774 -x425 -x7779 -x7428 -x7077 -x6726 -x6375 -x6024 -x5673
6.56/6.70 v -x5322 -x4971 -x4620 -x4269 -x3918 -x3216 -x2169 -x1820 -x1471 -x1122 -x773 -x424 -x75 -x8129 -x6374 -x6023 -x5672 -x5321
6.56/6.70 v -x3917 -x2517 -x2168 -x1819 -x772 -x423 -x8128 -x3916 -x3565 -x2865 -x2516 -x8127 -x7776 -x7425 -x7074 -x6723 -x3915 -x3564
6.56/6.70 v -x3213 -x2864 -x2515 -x1119 -x8126 -x7775 -x7424 -x7073 -x6722 -x3914 -x3563 -x3212 -x2863 -x2514 -x1118 -x8125 -x7774 -x7423
6.56/6.70 v -x7072 -x6721 -x6370 -x6019 -x5668 -x4966 -x4615 -x4264 -x3913 -x3211 -x2513 -x2164 -x1815 -x1466 -x1117 -x768 -x419 -x70 -x8124
6.56/6.70 v -x7773 -x7422 -x7071 -x6720 -x3912 -x3561 -x3210 -x2861 -x2512 -x1116 -x8123 -x7772 -x7421 -x7070 -x6719 -x6368 -x6017 -x5666
6.56/6.70 v -x3911 -x3209 -x2511 -x2162 -x1813 -x1115 -x766 -x417 -x7771 -x7420 -x7069 -x6718 -x6367 -x6016 -x5665 -x5314 -x4963 -x4612
6.56/6.70 v -x4261 -x3910 -x3208 -x2510 -x2161 -x1812 -x1463 -x1114 -x765 -x416 -x67 -x8121 -x4962 -x4611 -x4260 -x3909 -x3558 -x2858
6.56/6.70 v -x2509 -x1462 -x66 -x7769 -x7418 -x7067 -x6716 -x6365 -x6014 -x5663 -x5312 -x4961 -x4610 -x4259 -x3908 -x3206 -x2508 -x2159
6.56/6.70 v -x1810 -x1461 -x1112 -x763 -x414 -x65 -x8119 -x7768 -x7417 -x7066 -x6715 -x3907 -x3556 -x3205 -x2856 -x2507 -x1111 -x8118 -x3555
6.56/6.70 v -x2855 -x2506 -x7766 -x7415 -x7064 -x6713 -x6362 -x6011 -x5660 -x4958 -x4607 -x4256 -x3905 -x8116 -x5308 -x3904 -x3553 -x2854
6.56/6.70 v -x2505 -x8115 -x5307 -x3903 -x3552 -x2853 -x2504 -x8114 -x7763 -x7412 -x7061 -x6710 -x3902 -x3551 -x3201 -x2852 -x2503
6.56/6.70 v -x1107 -x7762 -x7411 -x7060 -x6709 -x6358 -x6007 -x5656 -x5305 -x4954 -x4603 -x4252 -x3901 -x3200 -x2502 -x2153 -x1804 -x1455
6.56/6.70 v -x1106 -x757 -x408 -x59 -x8112 -x7761 -x7410 -x7059 -x6708 -x6357 -x6006 -x5655 -x5304 -x4953 -x4602 -x4251 -x3199 -x2501 -x2152
6.56/6.70 v -x1803 -x1454 -x1105 -x756 -x407 -x58 -x8111 -x3899 -x3548 -x2849 -x2500 -x8110 -x7759 -x7408 -x7057 -x6706 -x6355 -x6004
6.56/6.70 v -x5653 -x4951 -x4600 -x4249 -x3898 -x3197 -x2499 -x2150 -x1801 -x1452 -x1103 -x754 -x405 -x56 -x7758 -x7407 -x7056 -x6705 -x6354
6.56/6.70 v -x6003 -x5652 -x4950 -x4599 -x4248 -x3897 -x8108 -x7757 -x7406 -x7055 -x6704 -x3896 -x3545 -x3196 -x2847 -x2498 -x1102
6.56/6.70 v -x7756 -x7405 -x7054 -x6703 -x3895 -x3544 -x3195 -x2846 -x1101 -x8106 -x3543 -x2845 -x2496 -x8105 -x6350 -x5999 -x5648 -x5297
6.56/6.70 v -x3893 -x3542 -x2844 -x2495 -x2146 -x1797 -x750 -x401 -x8104 -x7753 -x7402 -x7051 -x6700 -x3892 -x3541 -x3192 -x2843 -x2494
6.56/6.70 v -x1098 -x8103 -x7752 -x7401 -x7050 -x6699 -x3891 -x3540 -x3191 -x2842 -x2493 -x1097 -x7751 -x7400 -x7049 -x6698 -x3890 -x3539
6.56/6.70 v -x3190 -x2841 -x1096 -x8101 -x7750 -x7399 -x7048 -x6697 -x6346 -x5995 -x5644 -x5293 -x3889 -x3189 -x2491 -x2142 -x1793 -x1095
6.56/6.70 v -x746 -x397 -x8099 -x3536 -x2838 -x2489 -x6343 -x5992 -x5641 -x5290 -x2139 -x1790 -x743 -x394 -x8097 -x3885 -x3534 -x2836 -x2487
6.56/6.70 v -x8096 -x7745 -x7394 -x7043 -x6692 -x4937 -x4586 -x4235 -x3184 -x2486 -x1439 -x1090 -x43 -x8095 -x2485 -x6339 -x5988 -x5637
6.56/6.70 v -x3882 -x3531 -x2833 -x2135 -x1786 -x739 -x390 -x8093 -x6338 -x5987 -x5636 -x5285 -x3881 -x2483 -x2134 -x1785 -x738 -x389
6.56/6.70 v -x8092 -x2482 -x7740 -x7389 -x7038 -x6687 -x4932 -x4581 -x4230 -x3528 -x3179 -x2830 -x1434 -x1085 -x38 -x8089 -x6334 -x5983
6.56/6.70 v -x5632 -x3877 -x2479 -x2130 -x1781 -x734 -x385 -x7737 -x7386 -x7035 -x6684 -x6333 -x5982 -x5631 -x5280 -x4929 -x4578 -x4227
6.56/6.70 v -x3876 -x3525 -x3176 -x2827 -x2129 -x1431 -x1082 -x733 -x384 -x35 -x7736 -x7385 -x7034 -x6683 -x6332 -x5981 -x5630 -x5279 -x4928
6.56/6.70 v -x4577 -x4226 -x3875 -x3175 -x2477 -x2128 -x1430 -x1081 -x732 -x383 -x34 -x8086 -x3874 -x3523 -x2825 -x2476 -x6330 -x5979
6.56/6.70 v -x5628 -x5277 -x4926 -x4575 -x4224 -x3522 -x2824 -x2126 -x1777 -x1428 -x730 -x381 -x32 -x6329 -x5978 -x5627 -x5276 -x4925 -x4574
6.56/6.70 v -x4223 -x3521 -x2823 -x2125 -x1776 -x1427 -x729 -x380 -x31 -x8083 -x7732 -x7381 -x7030 -x6679 -x6328 -x5977 -x5626 -x4924
6.56/6.70 v -x4573 -x4222 -x3871 -x3171 -x2473 -x2124 -x1775 -x1426 -x1077 -x728 -x379 -x30 -x7731 -x7380 -x7029 -x6678 -x4923 -x4572 -x4221
6.56/6.70 v -x3870 -x3519 -x3170 -x2821 -x2472 -x1425 -x1076 -x29 -x7730 -x7379 -x7028 -x6677 -x6326 -x5975 -x5624 -x5273 -x4922 -x4571
6.56/6.70 v -x4220 -x3869 -x3169 -x2471 -x2122 -x1773 -x1424 -x1075 -x726 -x377 -x28 -x7729 -x7378 -x7027 -x6676 -x3868 -x3168 -x2470
6.56/6.70 v -x1074 -x5271 -x3867 -x3516 -x2818 -x8078 -x7727 -x7376 -x7025 -x6674 -x4919 -x4568 -x4217 -x3866 -x3515 -x3166 -x2817 -x1421
6.56/6.70 v -x1072 -x25 -x8077 -x7726 -x7375 -x7024 -x6673 -x6322 -x5971 -x5620 -x5269 -x4918 -x4567 -x4216 -x3165 -x2467 -x2118 -x1769
6.56/6.70 v -x1420 -x1071 -x722 -x373 -x24 -x8076 -x2466 -x8075 -x3863 -x3512 -x2814 -x2465 -x8074 -x3862 -x3511 -x2813 -x2464 -x8073 -x7722
6.56/6.70 v -x7371 -x7020 -x6669 -x6318 -x5967 -x5616 -x5265 -x4914 -x4563 -x4212 -x3861 -x3161 -x2463 -x2114 -x1416 -x1067 -x718 -x369
6.56/6.70 v -x20 -x7721 -x7370 -x7019 -x6668 -x6317 -x5966 -x5615 -x5264 -x4913 -x4562 -x4211 -x3860 -x3509 -x3160 -x2811 -x2462 -x2113
6.56/6.70 v -x1764 -x1415 -x1066 -x717 x368 -x19 -x7720 -x7369 -x7018 -x6667 -x5263 -x4912 -x4561 -x4210 -x3508 -x3159 -x2810 -x1763
6.56/6.70 v -x1414 -x1065 -x18 -x7719 -x7368 -x7017 -x6666 -x6315 -x5964 -x5613 -x5262 -x4911 -x4560 -x4209 -x3858 -x3158 -x2111 -x1762 -x1413
6.56/6.70 v -x1064 -x715 -x366 -x17 -x8069 -x7718 -x7367 -x7016 -x6665 -x5261 -x4910 -x4559 -x4208 -x3506 -x3157 -x2808 -x1761 -x1412
6.56/6.70 v -x1063 -x16 -x7717 -x7366 -x7015 -x6664 -x4909 -x4558 -x4207 -x3856 -x3505 -x3156 -x2807 -x1411 -x1062 -x15 -x8067 -x4908
6.56/6.70 v -x4557 -x4206 -x3855 -x3504 -x2806 -x2457 -x1410 -x14 -x8066 -x3854 -x3503 -x2805 -x2456 -x8065 -x5257 -x3853 -x3502 -x2804 -x2455
6.56/6.70 v -x8064 -x5256 -x3501 -x2803 -x2454 -x8063 -x7712 -x7361 -x7010 -x6659 -x6308 -x5957 -x5606 -x5255 -x4904 -x4553 -x4202
6.56/6.70 v -x3500 -x3151 -x2802 -x2453 -x2104 -x1406 -x1057 -x708 -x359 -x10 -x5254 -x3850 -x1754 -x8061 -x5253 -x3498 -x2800 -x2451 -x1753
6.56/6.70 v -x5251 -x4900 -x4549 -x4198 -x1402 -x6 -x8058 -x7707 -x7356 -x7005 -x6654 -x6303 -x5952 -x5601 -x3846 -x3495 -x3146 -x2797
6.56/6.70 v -x2448 -x2099 -x1750 -x1052 -x703 -x354 -x7706 -x7355 -x7004 -x6653 -x6302 -x5951 -x5600 -x3145 -x2098 -x1749 -x1051 -x702
6.56/6.70 v -x353 -x8056 -x6301 -x5950 -x5599 -x5248 -x3844 -x3493 -x2795 -x2446 -x2097 -x1748 -x701 -x352 -x6300 -x5949 -x5598 -x5247 -x3843
6.56/6.70 v -x2096 -x1747 -x700 -x351 x2793 -x2095 -x8053 x7702 -x7351 -x7000 x3140 -x8052 -x7701 x7350 -x6999 -x5946 -x4191 -x3840
6.56/6.70 v -x3488 -x3139 x2441 -x2092 -x1394 x8051 -x7700 -x7349 -x6998 -x6647 -x6296 -x5945 -x5594 -x5243 -x4892 -x4541 -x3487 -x2440 -x2091
6.56/6.70 v -x1742 -x1393 x1044 -x695 -x346 -x8401 -x8050 -x7699 -x7348 -x6997 x3486 -x1392 -x8049 -x7698 -x7347 -x6996 x6645 -x6294
6.56/6.70 v -x5943 -x5241 -x4890 -x4539 -x4188 -x3837 x3485 -x3136 -x2438 -x1740 -x1391 -x1042 -x693 -x344 -x6644 -x6293 x5942 x2786 -x2437
6.56/6.70 v -x1041 -x692 x5590 -x5239 -x4888 -x4537 x1738 -x342 -x8046 x7695 -x7344 -x6993 -x2435 -x2086 -x1737 x1039 -x690 -x341 -x8396
6.56/6.70 v x3833 -x3132 x2783 -x8044 x7693 -x7342 -x6991 -x6640 -x6289 -x5938 -x5587 -x5236 -x4885 -x4534 -x3480 -x2433 -x2084 -x1735
6.56/6.70 v -x1386 -x1037 -x688 x339 x8394 x2083 -x8393 -x6638 -x6287 -x5936 -x5585 x5234 -x2780 -x2431 -x2082 -x1035 x686 -x8392 -x8041
6.56/6.70 v x7690 -x7339 -x6988 -x6637 -x6286 -x5935 -x5584 -x5233 -x4882 -x4531 -x4180 -x3477 -x2779 -x2430 -x2081 -x1732 -x1383 -x1034
6.56/6.70 v x685 -x336 x6285 -x4179 x2778 -x8039 -x7688 -x7337 -x6986 -x6635 x6284 -x5933 -x5582 -x5231 -x4880 -x4529 -x3475 -x2428 -x2079
6.56/6.70 v -x1730 x1381 -x1032 -x683 -x334 -x5581 x4177 -x3826 x3125 -x6633 -x6282 x5931 -x5229 -x4878 -x4527 -x2426 x1728 -x1030 -x681
6.56/6.70 v -x332 -x8387 x3824 -x3123 x2774 -x8035 -x7684 -x7333 x6982 -x5227 -x4876 -x4525 -x3823 -x3471 -x3122 x1726 -x1377 -x330
6.56/6.70 v -x8385 x3822 -x3121 x2772 -x8033 -x7682 -x7331 -x6980 -x5576 -x5225 x4874 -x4523 -x3469 -x1724 x1375 -x328 -x8032 -x7681 -x7330
6.56/6.70 v -x6979 x5575 -x3468 x1374 -x8031 -x7680 -x7329 -x6978 -x5574 -x5223 -x4872 x4521 -x3467 -x1722 x1373 -x326 -x8030 -x7679 -x7328
6.56/6.70 v -x6977 -x6626 -x6275 x5924 -x5573 -x3466 -x2419 -x2070 x1372 -x1023 -x674 x5572 -x8028 -x7677 -x7326 -x6975 x3816 x3464
6.56/6.70 v -x3115 -x1370 -x5219 -x4868 -x4517 x4166 -x3815 -x3114 x1718 -x322 -x8026 x7675 -x7324 -x6973 -x3814 -x3462 x3113 -x1368 -x6621
6.56/6.70 v -x6270 -x5919 -x5568 x4164 -x2414 x2065 -x1018 -x669 -x5216 -x4865 -x4514 x4163 x1715 -x319 -x6619 -x6268 -x5917 -x5566 -x5215
6.56/6.70 v x4864 -x4513 -x2412 -x2063 -x1714 -x1016 x667 -x318 -x5565 x3810 -x3109 x2062 -x6617 -x6266 -x5915 x3809 -x3108 x2410 -x1014
6.56/6.70 v -x665 x8020 -x7669 -x7318 -x6967 -x5563 -x3808 -x3456 x3107 -x1362 -x8019 -x7668 -x7317 -x6966 x6615 -x6264 -x5913 -x5562
6.56/6.70 v -x5211 -x4860 -x4509 -x3455 -x2408 -x2059 -x1710 x1361 -x1012 -x663 -x314 -x8018 -x7667 x7316 -x6965 -x6614 -x6263 -x5912
6.56/6.70 v -x5561 -x5210 -x4859 -x4508 -x4157 -x3806 -x3454 -x3105 -x2407 -x2058 -x1709 -x1360 -x1011 -x662 x313 -x8017 -x7666 x7315 -x6964
6.56/6.70 v -x6613 -x6262 -x5911 -x5560 -x4156 -x3453 x2406 -x2057 -x1359 -x1010 -x661 -x1707 x311 -x8016 -x7665 -x7314 -x6963 x6612
6.56/6.70 v -x6261 -x5910 -x5559 -x5208 -x4857 -x4506 -x4155 -x3451 -x2404 -x2055 -x1706 x1357 -x1008 -x659 -x310 -x6611 -x6260 -x5909 -x5558
6.56/6.70 v x4154 -x3803 -x3101 -x2403 -x2054 x1007 -x658 -x8365 -x6610 -x6259 -x5908 -x5557 x4153 -x3802 -x3100 -x2751 x2402 -x2053
6.56/6.70 v -x1006 -x657 -x8364 x3801 -x3099 x2750 -x5554 -x5203 -x4852 -x4501 -x1701 x305 -x6606 -x6255 -x5904 -x5553 -x5202 x4851 -x4500
6.56/6.70 v -x3798 -x3096 x2398 -x2049 -x1700 -x1002 -x653 -x304 -x8360 x6254 -x5552 -x5201 -x3797 x3095 -x2048 -x8359 -x8008 -x7657 -x7306
6.56/6.70 v -x6955 -x6604 x6253 -x5902 -x5551 -x5200 -x4849 -x4498 -x3443 -x2396 -x2047 -x1698 x1349 -x1000 -x651 -x302 -x6602 -x6251
6.56/6.70 v -x5900 -x5198 -x4847 x4496 -x2394 -x2045 -x1696 x998 -x649 -x300 -x8005 -x7654 -x7303 -x6952 -x6601 -x6250 x5899 -x5548 -x5197
6.56/6.70 v -x4846 -x4495 -x3440 -x2393 -x2044 -x1695 -x1346 -x997 -x648 x299 -x8004 -x7653 x7302 -x6951 -x6600 -x6249 -x5898 -x5547
6.56/6.70 v -x5196 -x4845 -x4494 -x3439 x2392 -x2043 -x1694 -x1345 -x996 -x647 -x298 -x8003 -x7652 -x7301 x6950 -x6599 -x6248 -x5897 -x5546
6.56/6.70 v -x3438 -x2391 -x2042 -x1344 -x995 x646 -x3088 -x2390 -x1692 x994 -x645 -x296 -x8002 -x7651 -x7300 x6949 -x6598 -x6247 -x5896
6.56/6.70 v -x5545 -x5194 -x4843 -x4492 -x3436 -x2389 -x2040 -x1691 -x1342 x993 -x644 -x295 x8352 -x5193 -x4842 -x4491 -x1690 x294 -x8351
6.56/6.70 v -x8000 -x7649 x7298 -x6947 -x3434 x2736 -x1340 -x8350 -x8349 -x7998 -x7647 -x7296 -x6945 -x5190 x4839 -x4488 -x3432 -x2734
6.56/6.70 v -x1687 x1338 -x291 x8348 -x6592 -x6241 -x5890 -x5539 x4135 -x3784 -x3082 -x2384 -x2035 -x988 x639 -x6591 -x6240 -x5889 -x5538
6.56/6.70 v x4134 -x2383 -x2034 x987 -x638 -x8345 -x5537 x2731 x7993 -x7642 -x7291 -x6940 -x3781 -x3428 x3079 -x1334 -x7992 -x7641 -x7290
6.56/6.70 v -x6939 x5184 -x4833 -x4482 -x3427 -x1682 x1333 -x286 -x7991 -x7640 -x7289 -x6938 x5534 -x3426 x1332 -x8341 x7990 -x7639
6.56/6.70 v -x7288 -x6937 -x5533 -x3425 x2727 -x1331 -x7989 -x7638 x7287 -x6936 -x5181 -x4830 -x4479 -x4128 -x3424 -x1679 -x1330 x283 -x7988
6.56/6.70 v -x7637 -x7286 x6935 -x5180 -x4829 -x4478 -x3423 x1678 -x1329 -x282 x8338 -x5530 -x3775 x3073 -x6582 -x6231 x5880 -x5178 -x4827
6.56/6.70 v -x4476 -x3774 -x3072 -x2374 -x2025 -x1676 -x978 -x629 x280 -x7985 -x7634 -x7283 x6932 -x6581 -x6230 -x5879 -x5528 -x5177
6.56/6.70 v -x4826 -x4475 -x3420 -x2373 -x2024 -x1675 -x1326 x977 -x628 -x279 -x7984 -x7633 -x7282 -x6931 -x5176 x4825 -x4474 -x3419 -x1674
6.56/6.70 v x1325 -x278 -x7983 x7632 -x7281 -x6930 -x6579 -x6228 -x5877 -x5526 -x5175 -x4824 -x4473 -x3418 -x2371 -x2022 -x1673 -x1324
6.56/6.70 v x975 -x626 -x277 -x6578 -x6227 x5876 -x4121 -x8332 x3769 -x3068 x2719 -x7980 -x7629 -x7278 -x6927 x6576 -x6225 -x5874 -x3416
6.56/6.70 v -x2369 x1322 -x973 -x624 x8330 -x5522 -x7978 -x7627 -x7276 -x6925 -x5170 x4819 -x4468 -x4117 x3414 -x1669 -x1320 -x273 -x6573
6.56/6.70 v -x6222 -x5871 -x5169 -x4818 x4467 -x2366 -x1668 -x970 x621 -x272 x7976 -x7625 -x7274 -x6923 -x3412 x2016 -x1318 x8326 -x3763
6.56/6.70 v x3062 -x8325 -x6570 x6219 -x5868 -x5517 x2712 -x2363 -x2014 -x967 -x618 x8324 -x5165 -x4814 -x4463 x1664 -x268 -x7972 -x7621
6.56/6.70 v x7270 -x6919 -x6568 -x6217 -x5866 -x5164 -x4813 -x4462 -x3408 -x2361 -x1663 -x1314 x965 -x616 -x267 -x8322 x5514 x2709 x5513
6.56/6.70 v -x5162 -x4811 -x4460 x1661 -x265 -x8320 -x5512 x2707 x8319 -x5160 -x4809 -x4458 x1659 -x263 -x5159 -x4808 x4457 -x1658 -x262
6.56/6.70 v -x7966 -x7615 -x7264 -x6913 -x6562 x6211 -x5860 -x5509 -x3402 -x2355 -x2006 x1308 -x959 -x610 -x5157 x4806 -x4455 x2005 -x1656
6.56/6.70 v -x260 x5507 -x3752 x3051 -x6559 x6208 -x5857 -x5506 -x5155 -x4804 -x4453 -x2352 -x2003 x1654 -x956 -x607 -x258 -x5505 x5154
6.56/6.70 v -x4803 -x4452 x2002 -x1653 -x257 -x6557 -x6206 x5855 -x5504 -x2350 -x2001 -x954 -x605 x8311 -x3748 x3047 -x7959 x7608 -x7257
6.56/6.70 v -x6906 -x6555 -x6204 -x5853 -x5151 -x4800 -x4449 -x4098 -x3395 -x2348 -x1650 -x1301 -x952 x603 -x254 -x7958 -x7607 -x7256
6.56/6.70 v -x6905 -x6554 -x6203 -x5852 -x5501 x5150 -x4799 -x4448 -x3394 -x2347 -x1998 -x1649 -x1300 x951 -x602 -x253 x5500 -x3745 x3044
6.56/6.70 v -x7956 -x7605 -x7254 -x6903 -x5148 x4797 -x4446 -x3392 -x1647 x1298 -x251 -x7955 -x7604 x7253 -x6902 -x6551 -x6200 -x5849
6.56/6.70 v -x5147 -x4796 -x4445 -x3391 -x2344 -x1646 -x1297 x948 -x599 -x250 -x8305 x5497 x2692 x5496 -x3741 x3040 -x8303 -x7952 -x7601
6.56/6.70 v -x7250 -x6899 -x5144 -x4793 x4442 x3388 -x1643 -x1294 -x247 -x7951 -x7600 -x7249 -x6898 -x5143 -x4792 x4441 -x3387 -x1642 x1293
6.56/6.70 v -x246 -x8301 x5844 -x5493 x2688 -x1990 -x8300 -x7949 -x7598 -x7247 -x6896 -x5141 x4790 -x4439 x3385 -x2687 -x1640 -x1291 -x244
6.56/6.70 v -x7948 -x7597 x7246 -x6895 -x6544 -x6193 -x5842 -x5491 -x3384 x2337 -x1988 -x1290 -x941 -x592 -x8298 -x7947 x7596 -x7245
6.56/6.70 v -x6894 -x5139 -x4788 -x4437 -x3383 -x2685 -x1638 -x1289 x242 -x5489 x1986 -x6190 x5137 -x7944 -x7593 -x7242 -x6891 -x6540 -x6189
6.56/6.70 v x5838 -x4083 x3380 -x2333 -x1286 -x937 -x588 -x5135 x4784 -x4433 x1983 -x1634 -x238 -x8292 -x5484 -x2679 x1981 -x5132 -x4781
6.56/6.70 v x4430 x1980 -x1631 -x235 -x8290 x3727 -x3026 -x8289 -x6534 -x6183 -x5832 x4077 -x2676 x2327 -x931 -x582 -x7937 -x7586 -x7235
6.56/6.70 v x6884 -x6533 -x6182 -x5831 -x5129 -x4778 -x4427 -x4076 -x3373 x2326 -x1628 -x1279 -x930 -x581 -x232 x8287 -x5128 -x4777
6.56/6.70 v -x4426 x1627 -x231 -x8286 -x5478 -x5127 -x4776 -x4425 x3723 -x3022 -x1626 x230 -x7934 x7583 -x7232 -x6881 -x6530 -x6179 -x5828
6.56/6.70 v -x5477 -x5126 -x4775 -x4424 -x3370 x2323 -x1974 -x1625 -x1276 -x927 -x578 -x229 x8284 -x5125 -x4774 -x4423 x1624 -x228 x3368
6.56/6.70 v -x1623 -x1274 -x227 -x7932 -x7581 x7230 -x6879 -x6528 -x6177 -x5826 -x5475 -x5124 -x4773 -x4422 -x3367 x2320 -x1971 -x1622
6.56/6.70 v -x1273 -x924 -x575 -x226 -x5123 -x4772 -x4421 x4070 -x1621 x225 -x5473 x1969 -x8280 -x7929 -x7578 -x7227 -x6876 -x5121 x4770
6.56/6.70 v -x4419 -x3717 x3364 -x3015 -x2666 -x1619 -x1270 -x223 -x6173 x5120 -x5470 -x5119 -x4768 -x4417 x4066 x1617 -x221 -x7926 -x7575
6.56/6.70 v -x7224 -x6873 -x6522 -x6171 x5820 -x5469 x3361 -x2314 -x1965 -x1267 -x918 -x569 -x7925 -x7574 -x7223 -x6872 -x5117 x4766 -x4415
6.56/6.70 v x3360 -x1615 -x1266 -x219 x6169 -x3712 x3010 -x7923 -x7572 -x7221 -x6870 x5817 -x3358 x1264 x5465 -x3710 x3008 -x8272 -x5464
6.56/6.70 v x5113 -x4762 -x4411 x2658 -x1611 -x215 x5112 -x4761 -x4410 x2657 -x1610 -x214 -x6515 -x6164 -x5813 x5462 -x2307 -x1958 x911
6.56/6.70 v -x562 -x8269 -x5461 x5110 -x4759 -x4408 x1957 -x1608 -x212 -x5109 -x4758 -x4407 x4056 -x2654 -x1607 x211 -x8267 -x5459 -x5108
6.56/6.70 v x4757 -x4406 x1955 -x1606 -x210 -x6862 x6511 -x6160 -x5809 -x5458 -x5107 -x2303 -x1954 x1256 -x209 -x7914 -x7563 -x7212
6.56/6.70 v x6861 -x6510 -x6159 -x5808 -x5106 -x4755 -x4404 -x3349 -x2302 -x1953 -x1604 -x1255 -x906 -x557 x208 -x5105 -x4754 -x4403 x1603
6.56/6.70 v -x207 -x6508 -x6157 x5806 -x5455 -x5104 -x4753 -x4402 -x4051 -x2300 -x1951 -x1602 -x904 -x555 x206 x6507 -x6156 -x5805 -x5454
6.56/6.70 v -x5103 -x4752 -x4401 -x2299 -x1950 -x1601 -x903 -x554 x205 -x7910 x7559 -x7208 -x6857 -x6506 -x6155 -x5804 -x5453 -x5102 -x4751
6.56/6.70 v -x4400 -x3345 -x2298 -x1949 -x1600 -x1251 -x902 x553 -x204 -x8260 -x6505 -x6154 -x5803 -x5452 -x5101 x4750 -x4399 -x2646
6.56/6.70 v x2297 -x1948 -x1599 -x901 -x552 -x203 -x8259 -x7908 -x7557 -x7206 x6855 -x3343 x2645 -x1249 -x8258 -x5099 -x4748 x4397 -x3695
6.56/6.70 v -x2993 x2644 -x1597 -x201 -x8257 -x7906 -x7555 x7204 -x6853 -x3341 x2643 -x1247 -x7905 -x7554 -x7203 -x6852 x4044 x3340 -x1246
6.56/6.70 v -x7904 -x7553 -x7202 -x6851 x6500 -x6149 -x5798 -x5447 -x5096 -x4745 -x4394 x3339 -x2292 -x1943 -x1594 -x1245 -x896 -x547
6.56/6.70 v -x198 -x7903 -x7552 x7201 -x6850 -x5095 -x4744 -x4393 -x3338 x1593 -x1244 -x197 -x7902 -x7551 -x7200 -x6849 x6498 -x6147 -x5796
6.56/6.70 v -x5445 -x5094 -x4743 -x4392 x3337 -x2290 -x1941 -x1592 -x1243 -x894 -x545 -x196 -x7901 -x7550 -x7199 x6848 -x5093 -x4742
6.56/6.70 v -x4391 -x3336 x1591 -x1242 -x195 -x7900 -x7549 -x7198 -x6847 x6496 -x6145 -x5794 -x5443 -x5092 -x4741 -x4390 x3335 -x2288 -x1939
6.56/6.70 v -x1590 -x1241 -x892 -x543 -x194 -x6495 -x6144 -x5793 x5442 -x2287 -x1938 -x891 x542 -x8249 -x8248 -x7897 -x7546 x7195 -x6844
6.56/6.70 v -x6493 -x6142 -x5791 -x5440 -x5089 -x4738 -x4387 -x4036 -x3332 x2285 -x1936 -x1587 -x1238 -x889 -x540 -x191 -x8247 x7896
6.56/6.70 v -x5088 -x4737 -x4386 -x1586 x190 -x7895 -x7544 -x7193 -x6842 x6491 -x6140 -x5789 -x5438 -x4034 -x3330 -x2283 -x1934 x1236 -x887
6.56/6.70 v -x538 x8245 -x7894 -x7543 -x7192 -x6841 -x3329 x1235 -x7893 -x7542 -x7191 x6840 -x6489 -x6138 -x5787 -x5085 -x4734 -x4383
6.56/6.70 v -x4032 -x3328 -x2281 -x1583 -x1234 -x885 x536 -x187 -x7892 -x7541 -x7190 -x6839 -x5084 x4733 -x4382 x3327 -x1582 -x1233 -x186
6.56/6.70 v -x7888 -x7537 -x7186 -x6835 x5080 -x4729 -x4378 -x3676 x3323 -x2974 -x1578 -x1229 -x182 -x2973 x2275 -x1926 -x1577 -x879 -x530
6.56/6.70 v -x181 -x8238 -x7887 -x7536 -x7185 x6834 -x5430 -x3321 x2623 -x1227 -x7885 -x7534 -x7183 -x6832 -x6481 x6130 -x5779 -x4024
6.56/6.70 v x3319 -x2272 -x1225 -x876 -x527 -x7884 -x7533 x7182 -x6831 -x5427 -x4023 -x3318 x1922 -x1224 -x6479 -x6128 -x5777 x5426 x2270
6.56/6.70 v -x1921 -x874 -x525 -x5074 x4723 -x4372 -x3670 x2967 -x1571 -x175 x6477 -x6126 -x5775 -x5424 -x5073 -x4722 -x4371 -x2268 -x1919
6.56/6.70 v x1570 -x872 -x523 -x174 -x5423 x4721 -x6475 x6124 -x5773 -x5422 -x5071 -x4720 -x4369 -x2267 -x1918 x1569 -x871 -x522 -x173
6.56/6.70 v x8229 x1917 -x6473 -x6122 -x5771 -x5420 x5069 -x4718 -x4367 -x4016 -x2265 x1916 -x1567 -x869 -x520 -x171 -x8227 -x5419 -x5068
6.56/6.70 v -x4717 -x4366 x3664 -x2962 x1566 -x170 -x7875 -x7524 x7173 -x6822 -x6471 -x6120 -x5769 -x5418 -x4014 -x3310 x2263 -x1914 -x1216
6.56/6.70 v -x867 -x518 -x6470 -x6119 -x5768 -x5417 x3662 -x2960 -x2262 -x1913 x866 -x517 -x6469 x6118 -x5767 -x5416 -x2261 -x1912
6.56/6.70 v -x865 -x516 -x6468 -x6117 -x5766 -x5415 x5064 -x4713 -x4362 x2260 -x1911 -x1562 -x864 -x515 -x166 -x5063 -x4712 -x4361 x4010
6.56/6.70 v -x3659 -x2957 x1561 -x165 -x7870 -x7519 -x7168 -x6817 x6466 -x6115 -x5764 -x5413 -x5062 -x4711 -x4360 x3305 -x2258 -x1909 -x1560
6.56/6.70 v -x1211 -x862 -x513 -x164 -x7869 -x7518 -x7167 -x6816 x5061 -x4710 -x4359 -x4008 x3304 -x1559 -x1210 -x163 x8219 -x5411 -x2605
6.56/6.70 v x1907 -x6462 -x6111 -x5760 -x5409 -x2254 x1905 -x858 -x509 -x7865 -x7514 -x7163 -x6812 -x6461 -x6110 -x5759 -x5408 -x5057
6.56/6.70 v -x4706 x4355 -x3300 -x2253 -x1904 -x1555 x1206 -x857 -x508 -x159 -x7864 -x7513 -x7162 -x6811 -x3299 x1205 -x6459 -x6108 -x5757
6.56/6.70 v x5406 -x2251 -x1902 -x855 x506 -x8213 -x5405 -x5054 -x4703 -x4352 x3650 -x2948 -x1552 x156 -x8212 -x5053 x4702 -x4351 x1900
6.56/6.70 v -x1551 -x155 -x7860 -x7509 -x7158 -x6807 -x6456 -x6105 -x5754 -x5403 -x5052 -x4701 x4350 -x3295 -x2248 -x1899 -x1550 x1201
6.56/6.70 v -x852 -x503 -x154 -x8210 x3647 -x2945 x2596 x6454 -x6103 -x5752 -x5401 -x2246 -x1897 -x850 -x501 -x8208 -x5400 x3645 -x2943
6.56/6.70 v x2594 x6452 -x6101 -x5750 -x5399 -x3644 x2942 -x2244 -x1895 -x848 -x499 -x6451 -x6100 -x5749 -x5398 x3994 x2243 -x1894 -x847
6.56/6.70 v -x498 -x7854 -x7503 -x7152 x6801 -x6450 -x6099 -x5748 -x5397 -x3289 -x2242 -x1893 -x1195 x846 -x497 x5045 -x4694 -x4343 x2590
6.56/6.70 v -x1543 -x147 -x7852 -x7501 -x7150 -x6799 -x5044 -x4693 x4342 -x3640 x3287 -x2938 -x1542 -x1193 -x146 -x7850 -x7499 -x7148 -x6797
6.56/6.70 v -x5393 -x5042 -x4691 x4340 x3285 -x1540 -x1191 -x144 -x7849 -x7498 -x7147 x6796 -x6445 -x6094 -x5743 -x5392 -x3284 x2237
6.56/6.70 v -x1888 -x1190 -x841 -x492 x5742 -x5040 -x4689 -x4338 -x3636 -x2934 -x2236 -x1887 x1538 -x142 -x7847 -x7496 -x7145 -x6794 x3635
6.56/6.70 v -x3282 -x2933 x1188 x7846 -x7495 -x7144 -x6793 -x6442 -x6091 -x5740 -x5389 -x3281 -x2234 -x1885 -x1187 x838 -x489 -x7845 x7494
6.56/6.70 v -x7143 -x6792 -x6441 -x6090 -x5739 -x5388 -x3280 -x2233 -x1884 -x1186 -x837 x488 x6440 -x6089 -x5738 -x5387 -x5036 -x4685
6.56/6.70 v -x4334 -x2232 -x1883 x1534 -x836 -x487 -x138 x7843 -x7492 -x7141 -x6790 -x6439 -x6088 -x5737 -x5386 -x5035 -x4684 -x4333 -x3278
6.56/6.70 v -x2231 -x1882 -x1533 -x1184 x835 -x486 -x137 x8193 x1881 -x7841 -x7490 x7139 -x6788 -x5384 -x3276 x1880 -x1182 x7840 -x7489
6.56/6.70 v -x7138 -x6787 -x6436 -x6085 -x5734 -x5383 -x5032 -x4681 -x4330 -x3275 -x2228 -x1879 -x1530 -x1181 -x832 x483 -x134 -x8190
6.56/6.70 v -x7839 -x7488 -x7137 x6786 -x6435 -x6084 -x5733 -x5382 -x3274 -x2576 -x2227 -x1878 -x1180 -x831 x482 -x5381 -x5030 -x4679 -x4328
6.56/6.70 v x1528 -x132 -x6433 x6082 -x5731 -x5380 -x5029 -x4678 -x4327 -x2225 -x1876 -x1527 -x829 -x480 x131 -x7836 -x7485 -x7134 -x6783
6.56/6.70 v x3624 -x3271 -x2922 x1177 x7484 -x6431 -x6080 -x5729 -x5378 -x5027 -x4676 -x4325 -x2223 -x1874 -x1525 -x827 x478 -x129
6.56/6.70 v -x5377 x1873 x5376 -x5025 -x4674 -x4323 -x1523 x127 -x7832 x7481 -x7130 -x6779 -x6428 -x6077 -x5726 -x5024 -x4673 -x4322 -x3971
6.56/6.70 v -x3620 -x3267 -x2918 -x2220 -x1522 -x1173 -x824 x475 -x126 -x6427 -x6076 -x5725 x5374 x2219 -x1870 -x823 -x474 -x8181 -x7830
6.56/6.70 v -x7479 -x7128 -x6777 x3969 -x3265 x1171 -x6425 -x6074 -x5723 x5021 -x4670 -x4319 -x3617 -x2915 -x2217 -x1519 x821 -x472 -x123
6.56/6.70 v -x5371 -x5020 -x4669 -x4318 -x1518 x122 -x7827 -x7476 -x7125 -x6774 -x6423 x6072 -x5721 -x5370 -x3615 -x3262 -x2913 -x2215
6.56/6.70 v -x1866 x1168 -x819 -x470 -x5369 x1865 x5368 -x3613 x2911 -x6420 -x6069 x5718 -x5367 -x5016 -x4665 -x4314 -x3963 -x3612 -x2910
6.56/6.70 v -x2212 -x1863 -x1514 -x816 -x467 x118 -x7823 -x7472 -x7121 -x6770 x3962 -x3258 x1164 x8173 -x3610 x2908 -x5364 -x5013 -x4662
6.56/6.70 v -x4311 -x1511 x115 x5012 -x4661 -x4310 x1859 -x1510 -x114 x8170 -x3607 x2905 -x6414 -x6063 -x5712 -x5361 -x5010 -x4659 x4308
6.56/6.70 v -x2206 -x1857 -x1508 -x810 x461 -x112 -x8168 x3605 -x2903 x2554 -x7816 -x7465 -x7114 -x6763 -x6412 -x6061 -x5710 -x5359 x3955
6.56/6.70 v -x3251 -x2204 -x1855 -x1157 -x808 x459 -x8166 -x6411 x6060 -x5709 -x5358 -x3603 -x2901 x2552 -x2203 -x1854 -x807 -x458 -x8165
6.56/6.70 v x5357 x2551 x7813 -x7462 -x7111 -x6760 -x6409 -x6058 -x5707 -x3248 -x2201 -x1154 -x805 x456 -x6408 -x6057 -x5706 x5355 x2200
6.56/6.70 v -x1851 -x804 -x455 -x5003 -x4652 -x4301 x3950 x1501 -x105 -x5002 x4651 -x4300 x1849 -x1500 -x104 x7809 -x7458 -x7107 -x6756
6.56/6.70 v -x6405 -x6054 -x5703 -x3244 -x2197 -x1150 -x801 x452 -x5351 x3596 -x6403 x6052 -x5701 -x4999 -x4648 -x4297 -x2196 -x1498
6.56/6.70 v -x800 -x451 x102 x5349 -x4998 -x4647 -x4296 -x1497 x101 x7805 -x7454 -x7103 -x6752 -x6401 -x6050 -x5699 -x3241 -x2194 -x1147
6.56/6.70 v -x798 x449 -x5347 -x4996 -x4645 x4294 x1844 -x1495 -x99 x7802 -x7451 -x7100 -x6749 -x6398 -x6047 -x5696 -x3238 -x2191 -x1144
6.56/6.70 v -x795 x446 -x4993 -x4642 -x4291 x3940 x1492 -x96 -x6396 -x6045 -x5694 -x4992 -x4641 x4290 -x2189 -x1491 -x793 x444 -x95 -x8150
6.56/6.70 v -x7799 -x7448 -x7097 -x6746 -x4991 -x4640 x4289 -x3938 -x3587 -x3235 -x2886 -x2537 -x1490 x1141 -x94 -x5341 x3586 -x2885 x1838
6.56/6.70 v x7797 -x7446 -x7095 -x6744 -x6393 -x6042 -x5691 -x3233 -x2186 -x1139 -x790 x441 -x6392 -x6041 -x5690 -x4988 x4637 -x4286
6.56/6.70 v x2185 -x1487 -x789 -x440 -x91 -x5338 -x4987 -x4636 -x4285 -x1486 x90 -x7794 -x7443 -x7092 -x6741 x3933 x3230 -x1136 -x7793 x7442
6.56/6.70 v -x7091 -x6740 -x4985 -x4634 -x4283 -x3229 x1484 -x1135 -x88 x5335 -x4984 -x4633 -x4282 x1483 -x87 -x6387 -x6036 -x5685 x5334
6.56/6.70 v -x2180 -x1831 x784 -x435 -x7790 -x7439 x7088 -x6737 -x6386 -x6035 -x5684 -x4982 -x4631 -x4280 -x3226 -x2179 -x1830 -x1481
6.56/6.70 v -x1132 -x783 x434 -x85 -x5332 -x4981 -x4630 x4279 x1829 -x1480 -x84 x8139 -x5331 -x4980 -x4629 -x4278 x1479 -x83 -x6383 x6032
6.56/6.70 v -x5681 -x5330 -x4979 -x4628 -x4277 -x2176 -x1827 x1478 -x780 -x431 -x82 -x4978 -x4627 -x4276 x3574 -x2873 x1477 -x81 -x7785
6.56/6.70 v -x7434 -x7083 -x6732 x4977 -x4626 -x4275 x3221 -x1476 -x1127 -x80 x7784 -x7433 -x7082 -x6731 -x6380 -x6029 -x5678 -x3220 -x2173
6.56/6.70 v -x1126 x777 -x428 -x7783 -x7432 x7081 -x6730 -x4975 -x4624 -x4273 -x3219 -x1474 -x1125 x78 x6378 -x6027 -x5676 -x5325 -x4974
6.56/6.70 v -x4623 -x4272 -x3921 -x3570 x8132 -x4972 -x4621 x4270 -x3568 x2868 -x1472 -x76 x8130 -x3567 x2867 -x4970 -x4619 -x4268 x3566
6.56/6.70 v -x2866 -x1470 x74 -x7777 -x7426 -x7075 x6724 -x6373 -x6022 -x5671 -x5320 -x4969 -x4618 -x4267 -x3214 -x2167 x1818 -x1469
6.56/6.70 v -x1120 -x771 -x422 -x73 -x6372 -x6021 x5670 -x5319 -x4968 -x4617 -x4266 -x2166 -x1817 x1468 -x770 -x421 -x72 -x6371 -x6020 -x5669
6.56/6.70 v -x5318 -x4967 x4616 -x4265 -x2165 x1816 -x1467 -x769 -x420 -x71 x5317 -x3562 x2862 -x5316 -x4965 -x4614 -x4263 -x1465 x69
6.56/6.70 v -x5315 -x4964 x4613 -x4262 -x3560 x2860 -x1464 -x68 x8122 -x3559 x2859 -x7770 -x7419 x7068 -x6717 -x6366 -x6015 -x5664 -x5313
6.56/6.70 v -x3207 -x2160 -x1811 -x1113 x764 -x415 x8120 -x3557 x2857 -x6364 -x6013 -x5662 -x5311 -x2158 -x1809 x762 -x413 -x5310 -x4959
6.56/6.70 v -x4608 x4257 -x1459 -x63 -x8117 -x5309 x3554 -x7765 x7414 -x7063 -x6712 -x6361 -x6010 -x5659 -x4957 -x4606 -x4255 -x3203 -x2156
6.56/6.70 v -x1807 -x1458 -x1109 -x760 x411 -x62 -x7764 -x7413 -x7062 -x6711 x6360 -x6009 -x5658 -x4956 -x4605 -x4254 -x3202 -x2155
6.56/6.70 v -x1806 -x1457 x1108 -x759 -x410 -x61 -x6359 -x6008 x5657 -x5306 -x4955 -x4604 -x4253 -x2154 -x1805 -x1456 -x758 -x409 x60 x8113
6.56/6.70 v -x3550 x2851 x3900 -x3549 x2850 -x7760 -x7409 -x7058 -x6707 x6356 -x6005 -x5654 -x5303 -x4952 -x4601 -x4250 -x3198 -x2151
6.56/6.70 v -x1802 -x1453 -x1104 -x755 -x406 x57 x5302 -x3547 x2848 -x8109 -x5301 x3546 -x6353 -x6002 x5651 -x5300 -x4949 -x4598 -x4247
6.56/6.70 v -x2149 -x1800 x1451 -x753 -x404 -x55 -x8107 -x6352 -x6001 -x5650 -x5299 -x4948 x4597 -x4246 -x2497 -x2148 x1799 -x1450 -x752
6.56/6.70 v -x403 -x54 -x7755 -x7404 -x7053 x6702 -x6351 -x6000 -x5649 -x5298 -x3194 -x2147 -x1798 -x1100 x751 -x402 -x7754 -x7403 -x7052
6.56/6.70 v -x6701 -x4946 -x4595 x4244 x3193 -x1448 -x1099 -x52 -x6349 -x5998 x5647 -x5296 -x4945 -x4594 -x4243 -x2145 -x1796 x1447 -x749
6.56/6.70 v -x400 -x51 -x5295 x4944 -x4593 -x4242 -x1446 -x50 -x8102 -x6347 -x5996 x5645 -x5294 -x4943 -x4592 -x4241 -x2492 -x2143 -x1794
6.56/6.70 v -x1445 -x747 -x398 x49 -x4942 -x4591 x4240 -x3538 x2840 -x1444 -x48 x3888 x2490 x6344 -x5291 -x8098 x3535 -x2837 x2488 -x5289
6.56/6.70 v -x6341 -x5990 -x5639 -x5288 x3884 -x2137 -x1788 -x741 x392 -x5287 x3532 -x2834 -x8094 -x4935 -x4584 -x4233 x1437 -x41 -x5284
6.56/6.70 v x3529 -x2831 -x8091 x6336 -x5985 -x5634 -x5283 -x3879 x2481 -x2132 -x1783 -x736 -x387 x3878 x2480 -x7738 -x5281 -x4930 -x4579
6.56/6.70 v x4228 -x3526 x2828 -x1432 -x36 x8088 x1780 -x8087 x3524 -x2826 x1779 -x7735 x7384 -x7033 -x6682 -x6331 -x5980 -x5629 -x5278
6.56/6.70 v -x4927 -x4576 -x4225 -x3174 x2127 -x1778 -x1429 -x1080 -x731 -x382 -x33 -x7734 -x7383 -x7032 -x6681 x3873 x3173 -x1079 -x7733
6.56/6.70 v -x7382 -x7031 -x6680 x3872 -x3172 x1078 x5275 -x3520 x2822 x8082 -x6327 -x5976 -x5625 -x5274 -x2123 -x1774 -x727 x378 x8081
6.56/6.70 v -x3518 x2820 x8080 -x4921 -x4570 -x4219 x1423 -x27 -x7728 -x7377 -x7026 x6675 -x6324 -x5973 -x5622 -x4920 -x4569 -x4218 -x3167
6.56/6.70 v -x2120 -x1771 -x1422 -x1073 x724 -x375 -x26 x5270 -x2468 x374 x3865 -x3514 x2816 -x7724 -x7373 -x7022 x6671 -x6320 -x5969
6.56/6.70 v -x5618 -x4916 -x4565 -x4214 -x3163 -x2116 x1767 -x1418 -x1069 -x720 -x371 -x22 -x7723 -x7372 -x7021 -x6670 -x6319 -x5968 x5617
6.56/6.70 v -x5266 -x4915 -x4564 -x4213 x3162 -x2115 -x1766 -x1417 -x1068 -x719 -x370 -x21 x3510 -x2812 x1765 x8072 x6316 -x5965 -x5614
6.66/6.77 v x2461 -x2112 -x716 -x367 x8070 -x6314 -x5963 x5612 x2459 -x2110 -x714 -x365 -x8068 -x6313 -x5962 x5611 x2458 -x2109 -x1760
6.66/6.77 v -x713 -x364 -x7716 -x7365 -x7014 x6663 -x6312 -x5961 -x5610 -x5259 -x3155 x2108 -x1759 -x1061 -x712 -x363 -x7715 -x7364 -x7013
6.66/6.77 v -x6662 -x6311 -x5960 x5609 -x5258 -x4907 -x4556 -x4205 -x3154 -x2107 -x1758 -x1409 x1060 -x711 -x362 -x13 -x7714 -x7363 -x7012
6.66/6.77 v -x6661 -x6310 x5959 -x5608 -x4906 -x4555 -x4204 x3153 -x2106 -x1757 -x1408 -x1059 -x710 -x361 -x12 -x7713 -x7362 -x7011
6.66/6.77 v -x6660 -x6309 x5958 -x5607 -x4905 -x4554 -x4203 x3152 -x2105 -x1756 -x1407 -x1058 -x709 -x360 -x11 x1755 -x7711 -x7360 -x7009
6.66/6.77 v -x6658 -x3150 x1056 -x6306 -x5955 -x5604 -x2102 -x706 x357 -x6305 -x5954 -x5603 -x2101 x1752 -x705 -x356 -x7708 -x7357 -x7006
6.66/6.77 v -x6655 x5602 -x3147 -x2449 x1053 x5250 -x4899 -x4548 -x4197 x1401 -x5 -x4898 -x4547 x4196 -x3494 x2796 -x1400 -x4 -x7705 x7354
6.66/6.77 v -x7003 -x6652 -x4897 -x4546 -x4195 -x3144 x1399 -x1050 -x3 -x8055 -x7704 -x7353 -x7002 -x6651 -x4896 -x4545 x4194 -x3143
6.66/6.77 v -x2445 -x1398 x1049 -x2
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 64096 MiB (57560 MiB free)
memory of node 1: 64473 MiB (59911 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4434720-1721055523/watcher-4434720-1721055523 -o /tmp/evaluation-result-4434720-1721055523/solver-4434720-1721055523 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC011-1721054725-801074 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4434720-1721055523.opb -qsol -t 3600 -sth 1
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=802132, runsolver pid=802129
Current StackSize limit: 8192 KiB
[startup+0.100104 s]*
/proc/loadavg: 4.05 3.93 3.18 5/251 802133
/proc/meminfo: memFree=120263868/131655788 swapFree=131071996/131071996
[pid=802132] ppid=802129 vsize=50528 memory=40424 CPUtime=0.11 cores=5,7
/proc/802132/stat : 802132 (fscip) R 802129 802132 797687 0 -1 4194304 7834 0 0 0 9 2 0 0 20 0 1 0 157709523 51740672 10106 134679101440 4194304 16613245 140721650568224 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 33398784 140721650570261 140721650570377 140721650570377 140721650577392 0
/proc/802132/statm: 12632 10106 2558 3032 0 9032 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 50528 KiB
Current children cumulated memory: 40424 KiB
[startup+0.213653 s]*
/proc/loadavg: 4.05 3.93 3.18 5/251 802133
/proc/meminfo: memFree=120247572/131655788 swapFree=131071996/131071996
[pid=802132] ppid=802129 vsize=68940 memory=56496 CPUtime=0.22 cores=5,7
/proc/802132/stat : 802132 (fscip) R 802129 802132 797687 0 -1 4194304 11742 0 0 0 19 3 0 0 20 0 1 0 157709523 70594560 14058 134679101440 4194304 16613245 140721650568224 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 33398784 140721650570261 140721650570377 140721650570377 140721650577392 0
/proc/802132/statm: 17235 14124 2638 3032 0 13635 0
Current children cumulated CPU time: 0.22 s
Current children cumulated vsize: 68940 KiB
Current children cumulated memory: 56496 KiB
[startup+0.313458 s]*
/proc/loadavg: 4.05 3.93 3.18 5/251 802133
/proc/meminfo: memFree=120246688/131655788 swapFree=131071996/131071996
[pid=802132] ppid=802129 vsize=66852 memory=55296 CPUtime=0.32 cores=5,7
/proc/802132/stat : 802132 (fscip) R 802129 802132 797687 0 -1 4194304 14276 0 0 0 28 4 0 0 20 0 1 0 157709523 68456448 13824 134679101440 4194304 16613245 140721650568224 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 33398784 140721650570261 140721650570377 140721650570377 140721650577392 0
/proc/802132/statm: 16713 13824 2686 3032 0 13113 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 66852 KiB
Current children cumulated memory: 55296 KiB
[startup+0.700309 s]
/proc/loadavg: 4.05 3.93 3.18 5/251 802133
/proc/meminfo: memFree=120240040/131655788 swapFree=131071996/131071996
[pid=802132] ppid=802129 vsize=96124 memory=70820 CPUtime=0.68 cores=5,7
/proc/802132/stat : 802132 (fscip) R 802129 802132 797687 0 -1 4194304 18113 0 0 0 64 4 0 0 20 0 1 0 157709523 98430976 17705 134679101440 4194304 16613245 140721650568224 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 33398784 140721650570261 140721650570377 140721650570377 140721650577392 0
/proc/802132/statm: 24031 17705 2766 3032 0 20431 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 96124 KiB
Current children cumulated memory: 70820 KiB
[startup+1.50128 s]
/proc/loadavg: 4.05 3.93 3.18 5/253 802137
/proc/meminfo: memFree=120148912/131655788 swapFree=131071996/131071996
[pid=802132] ppid=802129 vsize=297488 memory=181548 CPUtime=1.47 cores=5,7
/proc/802132/stat : 802132 (fscip) S 802129 802132 797687 0 -1 1077936128 51151 0 0 0 134 13 0 0 20 0 3 0 157709523 304627712 45387 134679101440 4194304 16613245 140721650568224 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 33398784 140721650570261 140721650570377 140721650570377 140721650577392 0
/proc/802132/statm: 74372 45387 2814 3032 0 55662 0
[pid=802132/tid=802134] ppid=802129 vsize=297488 memory=2588 CPUtime=0.63 cores=5,7
/proc/802132/task/802134/stat : 802134 (fscip) R 802129 802132 797687 0 -1 4194368 19004 0 0 0 58 5 0 0 20 0 3 0 157709603 304627712 45387 134679101440 4194304 16613245 140721650568224 0 0 0 0 0 2 0 0 0 -1 7 0 0 0 0 0 18822208 18930672 33398784 140721650570261 140721650570377 140721650570377 140721650577392 0
[pid=802132/tid=802135] ppid=802129 vsize=297488 memory=2264 CPUtime=0 cores=5,7
/proc/802132/task/802135/stat : 802135 (fscip) S 802129 802132 797687 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 157709612 304627712 45387 134679101440 4194304 16613245 140721650568224 0 0 0 0 0 2 1 0 0 -1 5 0 0 0 0 0 18822208 18930672 33398784 140721650570261 140721650570377 140721650570377 140721650577392 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 297488 KiB
Current children cumulated memory: 181548 KiB
[startup+3.11341 s]
/proc/loadavg: 4.05 3.93 3.18 5/253 802137
/proc/meminfo: memFree=120096180/131655788 swapFree=131071996/131071996
[pid=802132] ppid=802129 vsize=297488 memory=205860 CPUtime=3.07 cores=5,7
/proc/802132/stat : 802132 (fscip) S 802129 802132 797687 0 -1 1077936128 68565 0 0 0 290 17 0 0 20 0 3 0 157709523 304627712 51465 134679101440 4194304 16613245 140721650568224 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 33398784 140721650570261 140721650570377 140721650570377 140721650577392 0
/proc/802132/statm: 74372 51465 2926 3032 0 62328 0
[pid=802132/tid=802134] ppid=802129 vsize=297488 memory=2264 CPUtime=2.23 cores=5,7
/proc/802132/task/802134/stat : 802134 (fscip) R 802129 802132 797687 0 -1 4194368 36412 0 0 0 214 9 0 0 20 0 3 0 157709603 304627712 51465 134679101440 4194304 16613245 140721650568224 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 33398784 140721650570261 140721650570377 140721650570377 140721650577392 0
[pid=802132/tid=802135] ppid=802129 vsize=297488 memory=110416 CPUtime=0 cores=5,7
/proc/802132/task/802135/stat : 802135 (fscip) S 802129 802132 797687 0 -1 1077936192 6 0 0 0 0 0 0 0 20 0 3 0 157709612 304627712 51465 134679101440 4194304 16613245 140721650568224 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 33398784 140721650570261 140721650570377 140721650570377 140721650577392 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 297488 KiB
Current children cumulated memory: 205860 KiB
[startup+6.30039 s]
/proc/loadavg: 4.13 3.95 3.19 5/253 802137
/proc/meminfo: memFree=120075056/131655788 swapFree=131071996/131071996
[pid=802132] ppid=802129 vsize=306124 memory=228884 CPUtime=6.25 cores=5,7
/proc/802132/stat : 802132 (fscip) S 802129 802132 797687 0 -1 1077936128 86927 0 0 0 606 19 0 0 20 0 3 0 157709523 313470976 57221 134679101440 4194304 16613245 140721650568224 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 33398784 140721650570261 140721650570377 140721650570377 140721650577392 0
/proc/802132/statm: 76531 57221 2974 3032 0 70258 0
[pid=802132/tid=802134] ppid=802129 vsize=306124 memory=11420 CPUtime=5.4 cores=5,7
/proc/802132/task/802134/stat : 802134 (fscip) R 802129 802132 797687 0 -1 4194368 53538 0 0 0 530 10 0 0 20 0 3 0 157709603 313470976 57221 134679101440 4194304 16613245 140721650568224 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 33398784 140721650570261 140721650570377 140721650570377 140721650577392 0
[pid=802132/tid=802135] ppid=802129 vsize=306124 memory=213528 CPUtime=0 cores=5,7
/proc/802132/task/802135/stat : 802135 (fscip) S 802129 802132 797687 0 -1 1077936192 6 0 0 0 0 0 0 0 20 0 3 0 157709612 313470976 57221 134679101440 4194304 16613245 140721650568224 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 33398784 140721650570261 140721650570377 140721650570377 140721650577392 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 306124 KiB
Current children cumulated memory: 228884 KiB
[startup+6.79403 s]
# the end of solver process 802132 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=6.50657 s, system=0.255794 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+6.40048 s]
/proc/loadavg: 4.13 3.95 3.19 5/253 802137
/proc/meminfo: memFree=120075056/131655788 swapFree=131071996/131071996
[pid=802132] ppid=802129 vsize=306124 memory=230992 CPUtime=6.35 cores=5,7
/proc/802132/stat : 802132 (fscip) S 802129 802132 797687 0 -1 1077936128 87913 0 0 0 616 19 0 0 20 0 3 0 157709523 313470976 57748 134679101440 4194304 16613245 140721650568224 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 33398784 140721650570261 140721650570377 140721650570377 140721650577392 0
/proc/802132/statm: 76531 57748 2974 3032 0 71312 0
[pid=802132/tid=802134] ppid=802129 vsize=306124 memory=3445117823777451 CPUtime=5.51 cores=5,7
/proc/802132/task/802134/stat : 802134 (fscip) R 802129 802132 797687 0 -1 4194368 54524 0 0 0 540 11 0 0 20 0 3 0 157709603 313470976 57748 134679101440 4194304 16613245 140721650568224 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 33398784 140721650570261 140721650570377 140721650570377 140721650577392 0
[pid=802132/tid=802135] ppid=802129 vsize=306124 memory=225772 CPUtime=0 cores=5,7
/proc/802132/task/802135/stat : 802135 (fscip) S 802129 802132 797687 0 -1 1077936192 6 0 0 0 0 0 0 0 20 0 3 0 157709612 313470976 57748 134679101440 4194304 16613245 140721650568224 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 33398784 140721650570261 140721650570377 140721650570377 140721650577392 0
Current children cumulated CPU time: 6.35 s
Current children cumulated vsize: 306124 KiB
Current children cumulated memory: 230992 KiB
[startup+6.60034 s]
/proc/loadavg: 4.13 3.95 3.19 5/253 802137
/proc/meminfo: memFree=120075056/131655788 swapFree=131071996/131071996
[pid=802132] ppid=802129 vsize=306124 memory=231008 CPUtime=6.56 cores=5,7
/proc/802132/stat : 802132 (fscip) S 802129 802132 797687 0 -1 1077936128 91619 0 0 0 636 20 0 0 20 0 3 0 157709523 313470976 57752 134679101440 4194304 16613245 140721650568224 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 33398784 140721650570261 140721650570377 140721650570377 140721650577392 0
/proc/802132/statm: 76531 57752 2974 3032 0 72623 0
[pid=802132/tid=802134] ppid=802129 vsize=306124 memory=16192 CPUtime=5.71 cores=5,7
/proc/802132/task/802134/stat : 802134 (fscip) R 802129 802132 797687 0 -1 4194368 57002 0 0 0 560 11 0 0 20 0 3 0 157709603 313470976 57752 134679101440 4194304 16613245 140721650568224 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 33398784 140721650570261 140721650570377 140721650570377 140721650577392 0
[pid=802132/tid=802135] ppid=802129 vsize=306124 memory=6720669835161909866 CPUtime=0 cores=5,7
/proc/802132/task/802135/stat : 802135 (fscip) S 802129 802132 797687 0 -1 1077936192 6 0 0 0 0 0 0 0 20 0 3 0 157709612 313470976 57752 134679101440 4194304 16613245 140721650568224 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 33398784 140721650570261 140721650570377 140721650570377 140721650577392 0
Current children cumulated CPU time: 6.56 s
Current children cumulated vsize: 306124 KiB
Current children cumulated memory: 231008 KiB
[startup+6.71028 s]
/proc/loadavg: 4.13 3.95 3.19 5/253 802137
/proc/meminfo: memFree=120075056/131655788 swapFree=131071996/131071996
[pid=802132] ppid=802129 vsize=295452 memory=213360 CPUtime=6.66 cores=5,7
/proc/802132/stat : 802132 (fscip) R 802129 802132 797687 0 -1 4194304 103784 0 0 0 645 21 0 0 20 0 2 0 157709523 302542848 53340 134679101440 4194304 16613245 140721650568224 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 33398784 140721650570261 140721650570377 140721650570377 140721650577392 0
/proc/802132/statm: 73863 53340 2974 3032 0 69955 0
[pid=802132/tid=802135] ppid=802129 vsize=295452 memory=213528 CPUtime=0 cores=5,7
/proc/802132/task/802135/stat : 802135 (fscip) S 802129 802132 797687 0 -1 1077936192 6 0 0 0 0 0 0 0 20 0 2 0 157709612 302542848 53340 134679101440 4194304 16613245 140721650568224 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 33398784 140721650570261 140721650570377 140721650570377 140721650577392 0
Current children cumulated CPU time: 6.66 s
Current children cumulated vsize: 295452 KiB
Current children cumulated memory: 213360 KiB
Child status: 0
Real time (s): 6.7941
CPU time (s): 6.76237
CPU user time (s): 6.50657
CPU system time (s): 0.255794
CPU usage (%): 99.5329
Max. virtual memory (cumulated for all children) (KiB): 306124
Max. memory (cumulated for all children) (KiB): 231008
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 6.50657
system time used= 0.255794
maximum resident set size= 231104
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 116003
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= 17
involuntary context switches= 27
# summary of solver processes directly reported to runsolver:
# pid: 802132
# total CPU time (s): 6.76237
# total CPU user time (s): 6.50657
# total CPU system time (s): 0.255794
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.056644 second user time and 0.129398 second system time
The end
Begin job on nodeC011 at 2024-07-15 16:58:56
IDJOB=4434720
IDBENCH=146652
IDSOLVER=3064
FILE ID=nodeC011/4434720-1721055523
RUNJOBID= nodeC011-1721054725-801074
SLURM_JOB_ID= 7505475
Free space on /tmp= 723684 MiB
SOLVER NAME= FiberSCIP 2024-07-02
BENCH NAME= PB24/normalized-PB06/OPT-LIN/web/www.ps.uni-sb.de/~walser/benchmarks/course-ass/normalized-ss97-2.opb
COMMAND LINE= ./fscip settings/racing.prm BENCHNAME -qsol -t TIMEOUT -sth 1
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4434720-1721055523/watcher-4434720-1721055523 -o /tmp/evaluation-result-4434720-1721055523/solver-4434720-1721055523 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC011-1721054725-801074 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4434720-1721055523.opb -qsol -t 3600 -sth 1
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= b97b9bf3767749854a32fccedb37d823
RANDOM SEED=522025817
nodeC011.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3604.677
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.20
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3669.324
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.31
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.158
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.20
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.195
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.31
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3508.905
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.20
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.126
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.31
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.135
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.20
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.123
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.31
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131655788 kB
MemFree: 120291928 kB
MemAvailable: 125455948 kB
Buffers: 379252 kB
Cached: 5562560 kB
SwapCached: 0 kB
Active: 661544 kB
Inactive: 10027408 kB
Active(anon): 1428 kB
Inactive(anon): 4783408 kB
Active(file): 660116 kB
Inactive(file): 5244000 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 28856 kB
Writeback: 0 kB
AnonPages: 4745480 kB
Mapped: 139316 kB
Shmem: 37704 kB
KReclaimable: 200208 kB
Slab: 309656 kB
SReclaimable: 200208 kB
SUnreclaim: 109448 kB
KernelStack: 4000 kB
PageTables: 18880 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196899888 kB
Committed_AS: 3267188 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 51392 kB
HardwareCorrupted: 0 kB
AnonHugePages: 858112 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: 262984 kB
DirectMap2M: 33196032 kB
DirectMap1G: 102760448 kB
Free space on /tmp at the end= 723656 MiB
End job on nodeC011 at 2024-07-15 16:59:03