0.00/0.00 c The following solver is parallelized by UG version 1.0.0 [GitHash: e6e2b6ff-dirty]
0.00/0.00 c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.1.1] [GitHash: 020d91813d]
0.00/0.00 c Copyright (c) 2002-2024 Zuse Institute Berlin (ZIB)
0.00/0.00 c External libraries:
0.00/0.00 c Soplex 7.1.1 Linear Programming Solver developed at Zuse Institute Berlin (soplex.zib.de) [GitHash: b4905e82]
0.00/0.00 c CppAD 20180000.0 Algorithmic Differentiation of C++ algorithms developed by B. Bell (github.com/coin-or/CppAD)
0.00/0.00 c AMPL/MP 690e9e7 AMPL .nl file reader library (github.com/ampl/mp)
0.00/0.00 c PaPILO 2.4.0 parallel presolve for integer and linear optimization (github.com/scipopt/papilo)
0.00/0.00 c Nauty 2.8.8 Computing Graph Automorphism Groups by Brendan D. McKay (users.cecs.anu.edu.au/~bdm/nauty)
0.00/0.00 c sassy 1.1 Symmetry preprocessor by Markus Anders (github.com/markusa4/sassy)
0.00/0.07 c Default LC presolving (default).
0.00/0.07 c ** Before presolving: virtualMemUsedAtLc = 69334672, getVmSize() = 68706304, SCIPgetMemUsed() = 39816037, SCIPgetMemTotal() = 45835717, SCIPgetMemExternEstim() = 23498955
0.00/0.07 c ** set memory limit for presolving in LC to 8.79607e+12 for SCIP **
0.30/0.40 c ** Estimated virtualMemUsedAtSolver = 76003774, getVmSize() = 116981760, SCIPgetMemUsed() = 52794267, SCIPgetMemTotal() = 90506707, SCIPgetMemExternEstim() = 23498955
0.30/0.40 c ** set memory limit for solvers to 4.39804e+12 for each SCIP **
0.30/0.40 c Original Problem :
0.30/0.40 c Problem name : instance-4464216-1722382212
0.30/0.40 c Variables : 9940 (9940 binary, 0 integer, 0 implicit integer, 0 continuous)
0.30/0.40 c Constraints : 14846
0.30/0.40 c Objective sense : minimize
0.30/0.40 c Presolved Problem :
0.30/0.40 c Variables : 4970 (4970 binary, 0 integer, 0 implicit integer, 0 continuous)
0.30/0.40 c Constraints : 5184
0.30/0.40 c Constraints : Number
0.30/0.40 c knapsack : 2625
0.30/0.40 c setppc : 71
0.30/0.40 c linear : 3
0.30/0.40 c logicor : 2485
0.30/0.40 c ** Instance transfer method used: 0
0.39/0.42 c ** ParaScipInstance copy does not increase the number of variables. **
0.39/0.44 c LC is working with racing ramp-up and with rebuilding tree after racing.
0.39/0.44 c Nodes Active
0.39/0.44 c Time Nodes Left Solvers Best Integer Best Node Gap Best Node(S) Gap(S)
0.68/0.78 c * 1 0 1 1 156810855.0000 - -
30.14/30.49 c 30 2 1 1 156810855.0000 2063878.6324 -
38.01/38.36 c 38 3 2 1 156810855.0000 2063878.6324 -
47.87/48.21 c 48 5 4 1 156810855.0000 2063878.6324 -
50.67/51.05 c * 51 6 5 1 9226969.0000 2063878.6324 347.07%
50.77/51.18 c * 51 6 5 1 8954267.0000 2063878.6324 333.86%
51.66/52.02 c * 52 6 5 1 8711433.0000 2063878.6324 322.09%
64.21/64.61 c 65 10 4 1 8711433.0000 2076364.8358 319.55%
70.49/70.90 c 71 11 5 1 8711433.0000 2076364.8358 319.55%
75.57/76.07 c 76 12 6 1 8711433.0000 2076364.8358 319.55%
76.17/76.62 c * 77 12 6 1 7164789.0000 2076364.8358 245.06%
82.05/82.52 c 83 21 8 1 7164789.0000 2076364.8358 245.06%
87.63/88.18 c 88 34 17 1 7164789.0000 2076364.8358 245.06%
93.39/93.92 c 94 72 35 1 7164789.0000 2081328.6492 244.24%
103.16/103.73 c 104 83 42 1 7164789.0000 2081328.6492 244.24%
109.44/110.00 c 110 96 51 1 7164789.0000 2081328.6492 244.24%
114.82/115.45 c 115 112 49 1 7164789.0000 2081328.6492 244.24%
123.39/124.02 c 124 128 55 1 7164789.0000 2081328.6492 244.24%
132.46/133.14 c 133 144 69 1 7164789.0000 2083879.4404 243.82%
183.85/184.76 c 185 171 76 1 7164789.0000 2083879.4404 243.82%
189.52/190.40 c 190 172 77 1 7164789.0000 2091283.3920 242.60%
195.11/196.05 c 196 181 80 1 7164789.0000 2091283.3920 242.60%
200.38/201.38 c 201 243 88 1 7164789.0000 2091283.3920 242.60%
206.55/207.52 c 208 253 88 1 7164789.0000 2112696.2159 239.13%
218.61/219.65 c 220 273 92 1 7164789.0000 2112696.2159 239.13%
227.57/228.66 c 229 293 96 1 7164789.0000 2140527.8157 234.72%
233.94/235.01 c 235 306 100 1 7164789.0000 2142366.9316 234.43%
240.02/241.14 c 241 313 99 1 7164789.0000 2145997.3003 233.87%
246.49/247.69 c 248 340 114 1 7164789.0000 2145997.3003 233.87%
252.67/253.81 c 254 373 111 1 7164789.0000 2159332.8512 231.81%
257.65/258.83 c 259 379 115 1 7164789.0000 2159332.8512 231.81%
258.25/259.45 c * 259 379 115 1 5644923.0000 2159332.8512 161.42%
263.03/264.27 c 264 417 82 1 5644923.0000 2159332.8512 161.42%
271.10/272.37 c 272 443 90 1 5644923.0000 2161264.1034 161.19%
277.17/278.45 c 278 486 95 1 5644923.0000 2161264.1034 161.19%
282.55/283.82 c 284 528 95 1 5644923.0000 2161264.1034 161.19%
290.72/292.06 c 292 553 98 1 5644923.0000 2166421.7266 160.56%
295.90/297.24 c 297 587 100 1 5644923.0000 2166421.7266 160.56%
301.47/302.81 c 303 594 101 1 5644923.0000 2166777.1462 160.52%
310.64/312.04 c 312 612 101 1 5644923.0000 2179918.5994 158.95%
317.61/319.08 c 319 628 107 1 5644923.0000 2179918.5994 158.95%
322.98/324.41 c 324 640 109 1 5644923.0000 2179918.5994 158.95%
329.66/331.16 c 331 660 115 1 5644923.0000 2181126.0731 158.81%
338.83/340.38 c 340 714 123 1 5644923.0000 2184165.8400 158.45%
339.32/340.87 c * 341 714 123 1 4549287.0000 2184165.8400 108.28%
340.02/341.58 c * 342 714 123 1 4459731.0000 2184165.8400 104.18%
345.40/346.98 c 347 730 51 1 4459731.0000 2184165.8400 104.18%
350.59/352.12 c 352 746 57 1 4459731.0000 2184165.8400 104.18%
356.56/358.17 c 358 762 61 1 4459731.0000 2189053.2537 103.73%
362.73/364.38 c 364 799 74 1 4459731.0000 2189053.2537 103.73%
370.50/372.11 c 372 831 72 1 4459731.0000 2189053.2537 103.73%
376.48/378.12 c 378 853 76 1 4459731.0000 2189053.2537 103.73%
383.24/384.99 c 385 873 82 1 4459731.0000 2193850.8688 103.28%
388.62/390.30 c 390 889 82 1 4459731.0000 2193850.8688 103.28%
395.59/397.36 c 397 921 82 1 4459731.0000 2193850.8688 103.28%
403.65/405.44 c 405 938 83 1 4459731.0000 2193850.8688 103.28%
408.73/410.59 c 411 948 81 1 4459731.0000 2193850.8688 103.28%
414.12/415.95 c 416 960 83 1 4459731.0000 2193850.8688 103.28%
419.30/421.13 c 421 983 84 1 4459731.0000 2193850.8688 103.28%
424.87/426.70 c 427 1000 89 1 4459731.0000 2193850.8688 103.28%
430.64/432.59 c 433 1013 90 1 4459731.0000 2193850.8688 103.28%
436.82/438.76 c 439 1038 89 1 4459731.0000 2193850.8688 103.28%
441.89/443.84 c 444 1047 86 1 4459731.0000 2193850.8688 103.28%
447.08/449.06 c 449 1068 89 1 4459731.0000 2193850.8688 103.28%
453.55/455.58 c 456 1082 87 1 4459731.0000 2193850.8688 103.28%
459.92/461.95 c 462 1107 88 1 4459731.0000 2193850.8688 103.28%
464.90/466.95 c 467 1111 88 1 4459731.0000 2193850.8688 103.28%
469.98/472.07 c 472 1126 87 1 4459731.0000 2193850.8688 103.28%
477.45/479.55 c 480 1143 84 1 4459731.0000 2194631.8721 103.21%
483.23/485.36 c 485 1172 91 1 4459731.0000 2194638.2155 103.21%
489.60/491.78 c 492 1198 91 1 4459731.0000 2194638.2155 103.21%
495.58/497.72 c 498 1224 95 1 4459731.0000 2194638.2155 103.21%
502.65/504.81 c 505 1242 95 1 4459731.0000 2206609.1992 102.11%
508.53/510.74 c 511 1270 97 1 4459731.0000 2206609.1992 102.11%
514.51/516.75 c 517 1294 99 1 4459731.0000 2206609.1992 102.11%
520.67/522.93 c 523 1311 88 1 4459731.0000 2215519.2846 101.30%
527.25/529.57 c 530 1323 94 1 4459731.0000 2216000.8586 101.25%
533.83/536.19 c 536 1338 99 1 4459731.0000 2216000.8586 101.25%
539.30/541.62 c 542 1351 104 1 4459731.0000 2216000.8586 101.25%
546.27/548.69 c 549 1364 109 1 4459731.0000 2216000.8586 101.25%
551.46/553.84 c 554 1380 115 1 4459731.0000 2216000.8586 101.25%
558.52/560.96 c 561 1408 115 1 4459731.0000 2216000.8586 101.25%
564.00/566.45 c 566 1426 117 1 4459731.0000 2216000.8586 101.25%
570.08/572.52 c 573 1449 122 1 4459731.0000 2216000.8586 101.25%
576.25/578.72 c 579 1463 124 1 4459731.0000 2216000.8586 101.25%
576.35/578.83 c * 579 1463 124 1 4219117.0000 2216000.8586 90.39%
581.83/584.37 c 584 1480 102 1 4219117.0000 2216000.8586 90.39%
588.41/590.91 c 591 1493 103 1 4219117.0000 2216000.8586 90.39%
593.99/596.51 c 597 1512 102 1 4219117.0000 2216000.8586 90.39%
601.16/603.73 c 604 1532 100 1 4219117.0000 2255061.7852 87.10%
607.34/609.93 c 610 1540 106 1 4219117.0000 2255061.7852 87.10%
612.91/615.57 c 616 1559 113 1 4219117.0000 2255061.7852 87.10%
619.19/621.82 c 622 1592 112 1 4219117.0000 2265324.6662 86.25%
625.17/627.84 c 628 1605 113 1 4219117.0000 2272354.1087 85.67%
630.85/633.54 c 634 1615 113 1 4219117.0000 2302000.9429 83.28%
635.93/638.68 c 639 1631 121 1 4219117.0000 2302000.9429 83.28%
642.41/645.19 c 645 1641 121 1 4219117.0000 2302331.1511 83.25%
648.39/651.18 c 651 1647 123 1 4219117.0000 2302331.1511 83.25%
654.37/657.19 c 657 1655 123 1 4219117.0000 2302331.1511 83.25%
659.73/662.52 c 663 1673 125 1 4219117.0000 2302331.1511 83.25%
664.82/667.69 c 668 1676 126 1 4219117.0000 2302331.1511 83.25%
670.90/673.74 c 674 1688 132 1 4219117.0000 2357060.6704 79.00%
677.57/680.43 c 680 1697 135 1 4219117.0000 2357060.6704 79.00%
683.75/686.63 c 687 1708 136 1 4219117.0000 2357060.6704 79.00%
689.53/692.41 c 692 1720 136 1 4219117.0000 2357060.6704 79.00%
696.40/699.39 c 699 1737 141 1 4219117.0000 2357060.6704 79.00%
701.58/704.59 c 705 1771 141 1 4219117.0000 2357060.6704 79.00%
708.76/711.71 c 712 1788 146 1 4219117.0000 2357749.0343 78.95%
714.63/717.68 c 718 1805 145 1 4219117.0000 2357749.0343 78.95%
721.21/724.20 c 724 1817 145 1 4219117.0000 2357749.0343 78.95%
726.88/729.99 c 730 1832 154 1 4219117.0000 2357749.0343 78.95%
733.47/736.57 c 737 1840 155 1 4219117.0000 2357749.0343 78.95%
739.44/742.58 c 743 1864 159 1 4219117.0000 2357749.0343 78.95%
745.31/748.46 c 748 1873 160 1 4219117.0000 2357749.0343 78.95%
750.99/754.13 c 754 1893 160 1 4219117.0000 2357749.0343 78.95%
757.27/760.45 c 760 1917 164 1 4219117.0000 2357749.0343 78.95%
764.04/767.21 c 767 1926 163 1 4219117.0000 2357749.0343 78.95%
769.82/773.10 c 773 1946 167 1 4219117.0000 2357749.0343 78.95%
776.89/780.16 c 780 1953 170 1 4219117.0000 2405573.1398 75.39%
782.18/785.45 c 785 1980 169 1 4219117.0000 2405573.1398 75.39%
787.25/790.53 c 791 1991 172 1 4219117.0000 2405573.1398 75.39%
792.43/795.78 c 796 1997 172 1 4219117.0000 2405573.1398 75.39%
798.31/801.61 c 802 2010 173 1 4219117.0000 2405573.1398 75.39%
803.59/806.98 c 807 2042 171 1 4219117.0000 2405573.1398 75.39%
810.46/813.86 c 814 2052 169 1 4219117.0000 2407575.6493 75.24%
816.04/819.44 c 819 2059 170 1 4219117.0000 2407575.6493 75.24%
823.01/826.44 c 826 2084 171 1 4219117.0000 2407575.6493 75.24%
828.29/831.75 c 832 2106 173 1 4219117.0000 2407575.6493 75.24%
833.58/837.05 c 837 2135 176 1 4219117.0000 2407575.6493 75.24%
841.24/844.76 c 845 2180 175 1 4219117.0000 2407575.6493 75.24%
847.92/851.49 c 851 2203 175 1 4219117.0000 2407575.6493 75.24%
854.60/858.10 c 858 2223 177 1 4219117.0000 2407575.6493 75.24%
860.67/864.24 c 864 2242 174 1 4219117.0000 2407575.6493 75.24%
869.23/872.87 c 873 2252 176 1 4219117.0000 2448399.4897 72.32%
875.61/879.22 c 879 2264 178 1 4219117.0000 2448399.4897 72.32%
882.78/886.42 c 886 2278 178 1 4219117.0000 2448399.4897 72.32%
888.56/892.26 c 892 2288 176 1 4219117.0000 2448399.4897 72.32%
894.34/898.01 c 898 2304 178 1 4219117.0000 2448399.4897 72.32%
900.11/903.86 c 904 2312 178 1 4219117.0000 2448399.4897 72.32%
906.60/910.39 c 910 2320 176 1 4219117.0000 2448399.4897 72.32%
911.88/915.66 c 916 2333 177 1 4219117.0000 2448399.4897 72.32%
917.16/920.94 c 921 2342 178 1 4219117.0000 2448399.4897 72.32%
923.73/927.57 c 928 2352 178 1 4219117.0000 2448399.4897 72.32%
929.51/933.35 c 933 2370 178 1 4219117.0000 2448399.4897 72.32%
935.30/939.19 c 939 2392 174 1 4219117.0000 2451625.8776 72.09%
943.17/947.06 c 947 2413 173 1 4219117.0000 2451625.8776 72.09%
949.24/953.12 c 953 2423 177 1 4219117.0000 2451625.8776 72.09%
956.01/959.94 c 960 2444 172 1 4219117.0000 2462290.4684 71.35%
962.09/966.06 c 966 2465 177 1 4219117.0000 2462290.4684 71.35%
967.96/971.94 c 972 2491 179 1 4219117.0000 2462290.4684 71.35%
973.35/977.36 c 977 2517 181 1 4219117.0000 2462290.4684 71.35%
978.93/982.90 c 983 2534 182 1 4219117.0000 2462290.4684 71.35%
984.71/988.78 c 989 2568 180 1 4219117.0000 2462290.4684 71.35%
989.99/994.10 c 994 2584 178 1 4219117.0000 2462290.4684 71.35%
996.27/1000.36 c 1000 2592 174 1 4219117.0000 2466886.2505 71.03%
1014.41/1018.53 c 1019 2600 0 1 4219117.0000 2466886.2505 71.03%
1020.19/1024.36 c 1024 2602 2 1 4219117.0000 2466886.2505 71.03%
1025.77/1029.95 c 1030 2611 11 1 4219117.0000 2466886.2505 71.03%
1032.45/1036.65 c 1037 2621 15 1 4219117.0000 2466886.2505 71.03%
1037.94/1042.11 c 1042 2630 14 1 4219117.0000 2466886.2505 71.03%
1045.91/1050.14 c 1050 2636 14 1 4219117.0000 2466886.2505 71.03%
1051.39/1055.60 c 1056 2639 17 1 4219117.0000 2466886.2505 71.03%
1056.57/1060.86 c 1061 2646 18 1 4219117.0000 2466886.2505 71.03%
1066.34/1070.69 c 1071 2651 21 1 4219117.0000 2466886.2505 71.03%
1072.82/1077.12 c 1077 2676 24 1 4219117.0000 2466886.2505 71.03%
1078.60/1082.95 c 1083 2689 25 1 4219117.0000 2466886.2505 71.03%
1084.19/1088.54 c 1089 2704 24 1 4219117.0000 2466886.2505 71.03%
1089.37/1093.75 c 1094 2728 26 1 4219117.0000 2466886.2505 71.03%
1095.94/1100.31 c 1100 2737 29 1 4219117.0000 2466886.2505 71.03%
1101.22/1105.67 c 1106 2745 33 1 4219117.0000 2466886.2505 71.03%
1106.40/1110.83 c 1111 2754 38 1 4219117.0000 2466886.2505 71.03%
1111.88/1116.30 c 1116 2773 45 1 4219117.0000 2466886.2505 71.03%
1118.67/1123.14 c 1123 2827 47 1 4219117.0000 2466886.2505 71.03%
1123.94/1128.46 c 1128 2835 49 1 4219117.0000 2466886.2505 71.03%
1129.53/1134.08 c 1134 2846 50 1 4219117.0000 2466886.2505 71.03%
1135.40/1139.92 c 1140 2871 51 1 4219117.0000 2466886.2505 71.03%
1140.59/1145.14 c 1145 2874 52 1 4219117.0000 2466886.2505 71.03%
1146.76/1151.37 c 1151 2901 55 1 4219117.0000 2466886.2505 71.03%
1153.14/1157.78 c 1158 2918 54 1 4219117.0000 2466886.2505 71.03%
1158.91/1163.57 c 1164 2933 57 1 4219117.0000 2466886.2505 71.03%
1165.50/1170.11 c 1170 2953 59 1 4219117.0000 2466886.2505 71.03%
1171.47/1176.12 c 1176 2966 62 1 4219117.0000 2466886.2505 71.03%
1178.25/1182.97 c 1183 2992 66 1 4219117.0000 2466886.2505 71.03%
1184.73/1189.44 c 1189 3001 67 1 4219117.0000 2466886.2505 71.03%
1190.31/1195.04 c 1195 3011 67 1 4219117.0000 2466886.2505 71.03%
1196.29/1201.05 c 1201 3025 69 1 4219117.0000 2532783.3265 66.58%
1203.16/1207.99 c 1208 3037 71 1 4219117.0000 2576208.6686 63.77%
1208.74/1213.52 c 1214 3081 75 1 4219117.0000 2594674.0577 62.61%
1213.72/1218.58 c 1219 3088 78 1 4219117.0000 2594674.0577 62.61%
1219.40/1224.26 c 1224 3103 76 1 4219117.0000 2594674.0577 62.61%
1225.68/1230.58 c 1231 3121 78 1 4219117.0000 2594674.0577 62.61%
1231.46/1236.31 c 1236 3136 87 1 4219117.0000 2594674.0577 62.61%
1236.94/1241.87 c 1242 3197 90 1 4219117.0000 2594674.0577 62.61%
1242.91/1247.81 c 1248 3224 91 1 4219117.0000 2594674.0577 62.61%
1249.39/1254.34 c 1254 3241 86 1 4219117.0000 2640794.0667 59.77%
1255.47/1260.40 c 1260 3274 89 1 4219117.0000 2640794.0667 59.77%
1260.85/1265.82 c 1266 3311 88 1 4219117.0000 2640794.0667 59.77%
1265.83/1270.89 c 1271 3337 86 1 4219117.0000 2640794.0667 59.77%
1270.92/1275.95 c 1276 3368 93 1 4219117.0000 2640794.0667 59.77%
1276.01/1281.06 c 1281 3405 92 1 4219117.0000 2640794.0667 59.77%
1280.99/1286.10 c 1286 3429 88 1 4219117.0000 2640794.0667 59.77%
1286.76/1291.88 c 1292 3456 89 1 4219117.0000 2640794.0667 59.77%
1292.34/1297.41 c 1297 3477 90 1 4219117.0000 2640794.0667 59.77%
1298.61/1303.70 c 1304 3507 86 1 4219117.0000 2640794.0667 59.77%
1303.79/1308.99 c 1309 3523 86 1 4219117.0000 2767303.5203 52.46%
1309.57/1314.76 c 1315 3559 88 1 4219117.0000 2767303.5203 52.46%
1315.45/1320.64 c 1321 3586 81 1 4219117.0000 2767303.5203 52.46%
1322.02/1327.29 c 1327 3597 80 1 4219117.0000 2767303.5203 52.46%
1327.20/1332.49 c 1332 3630 79 1 4219117.0000 2782332.7584 51.64%
1332.38/1337.66 c 1338 3656 73 1 4219117.0000 2782332.7584 51.64%
1337.47/1342.74 c 1343 3687 72 1 4219117.0000 2782761.5082 51.62%
1343.14/1348.47 c 1348 3696 71 1 4219117.0000 2804660.6992 50.43%
1348.32/1353.63 c 1354 3709 68 1 4219117.0000 2831532.2428 49.00%
1354.71/1360.09 c 1360 3731 68 1 4219117.0000 2831532.2428 49.00%
1360.28/1365.66 c 1366 3749 60 1 4219117.0000 2831532.2428 49.00%
1365.86/1371.28 c 1371 3766 61 1 4219117.0000 2882118.8045 46.39%
1371.54/1376.90 c 1377 3799 58 1 4219117.0000 2927375.4605 44.13%
1377.62/1383.04 c 1383 3819 58 1 4219117.0000 2946323.2225 43.20%
1383.10/1388.55 c 1389 3880 63 1 4219117.0000 2946323.2225 43.20%
1388.87/1394.33 c 1394 3914 59 1 4219117.0000 2946323.2225 43.20%
1394.45/1399.93 c 1400 3928 57 1 4219117.0000 3025098.6560 39.47%
1399.93/1405.46 c 1405 3950 57 1 4219117.0000 3025098.6560 39.47%
1405.01/1410.53 c 1411 3968 57 1 4219117.0000 3025098.6560 39.47%
1410.09/1415.65 c 1416 3993 54 1 4219117.0000 3025098.6560 39.47%
1415.07/1420.65 c 1421 4022 51 1 4219117.0000 3075416.4794 37.19%
1421.15/1426.76 c 1427 4044 47 1 4219117.0000 3086357.3824 36.70%
1427.23/1432.87 c 1433 4073 46 1 4219117.0000 3086357.3824 36.70%
1432.21/1437.89 c 1438 4094 43 1 4219117.0000 3146542.0705 34.09%
1437.89/1443.53 c 1444 4112 39 1 4219117.0000 3146542.0705 34.09%
1443.27/1448.95 c 1449 4127 40 1 4219117.0000 3206218.6753 31.59%
1448.36/1454.01 c 1454 4141 36 1 4219117.0000 3313419.6542 27.33%
1453.73/1459.41 c 1459 4160 31 1 4219117.0000 3313419.6542 27.33%
1458.81/1464.52 c 1465 4174 27 1 4219117.0000 3378369.4070 24.89%
1465.29/1471.10 c 1471 4191 24 1 4219117.0000 3378369.4070 24.89%
1470.97/1476.70 c 1477 4222 21 1 4219117.0000 3435900.0261 22.80%
1477.14/1482.96 c 1483 4236 17 1 4219117.0000 3491334.6502 20.85%
1482.92/1488.73 c 1489 4261 4 1 4219117.0000 3590011.6442 17.52%
1487.41/1493.22 c 1493 4265 0 0 4219117.0000 4219117.0000 0.00%
1487.41/1493.26 c 1493 4265 0 0 4219117.0000 4219117.0000 -
1487.41/1493.26 c SCIP Status : c problem is solved
1487.41/1493.26 c Total Time : 1493.2600
1487.41/1493.26 c solving : 1493.2600
1487.41/1493.26 c presolving : 0.3299 (included in solving)
1487.41/1493.26 c B&B Tree :
1487.41/1493.26 c nodes (total) : 4265
1487.41/1493.26 c Solution :
1487.41/1493.26 c Solutions found : 9
1487.41/1493.26 c Primal Bound : +4.21911700000000e+06
1487.41/1493.26 c Dual Bound : +4.21911700000000e+06
1487.41/1493.26 c Gap : 0.00000 %
1487.41/1493.26 o 4219117
1487.41/1493.26 s OPTIMUM FOUND
1487.41/1493.26 v -x9730 -x9589 -x9518 -x9447 -x9376 -x9305 -x9234 -x9163 -x9092 -x9021 -x8950 -x8809 -x8738 -x8667 -x8596 -x8525 -x8454 -x8383 -x8312
1487.41/1493.26 v -x8241 -x8170 -x8029 -x7958 -x7887 -x7816 -x7745 -x7674 -x7603 -x7532 -x7461 -x7390 -x7249 -x7178 -x7107 -x7036 -x6965
1487.41/1493.26 v -x6894 -x6823 -x6752 -x6681 -x6610 -x6469 -x6398 -x6327 -x6256 -x6185 -x6114 -x6043 -x5972 -x5901 -x5830 -x5689 -x5618 -x5547
1487.41/1493.26 v -x5476 -x5405 -x5334 -x5263 -x5192 -x5121 -x5050 -x9879 -x9808 -x9737 -x9596 -x8825 -x8054 -x7283 -x6512 -x5741 -x4760 -x4619
1487.41/1493.26 v -x4548 -x4477 -x4406 -x4335 -x4264 -x4193 -x4122 -x4051 -x3980 -x3839 -x3768 -x3697 -x3626 -x3555 -x3484 -x3413 -x3342 -x3271
1487.41/1493.26 v -x3200 -x3059 -x2988 -x2917 -x2846 -x2775 -x2704 -x2633 -x2562 -x2491 -x2420 -x2279 -x2208 -x2137 -x2066 -x1995 -x1924 -x1853
1487.41/1493.26 v -x1782 -x1711 -x1640 -x1499 -x1428 -x1357 -x1286 -x1215 -x1144 -x1073 -x1002 -x931 -x860 -x719 -x648 -x577 -x506 -x435 -x364
1487.41/1493.26 v -x293 -x222 -x151 -x80 -x4909 -x4838 -x4767 -x4626 -x3855 -x3084 -x2313 -x1542 -x771 -x70 -x69 -x68 -x67 -x66 -x65 -x64 -x63
1487.41/1493.26 v -x62 -x61 -x60 -x59 -x58 -x57 -x56 -x55 -x54 -x53 -x52 -x51 -x50 -x49 -x48 -x47 -x46 -x45 -x44 -x43 -x42 -x41 -x40 -x39 -x38
1487.41/1493.26 v -x37 -x36 -x35 -x34 -x33 -x32 -x31 -x30 -x29 -x28 -x27 -x26 -x25 -x24 -x23 -x22 -x21 -x20 -x19 -x18 -x17 -x16 -x15 -x14 -x13
1487.41/1493.26 v -x12 -x11 -x10 -x9 x8 -x7 -x6 -x5 -x4 -x3 -x2 -x1 -x9729 -x9728 -x9727 -x9726 -x9725 -x9724 -x9723 -x9722 -x9721 -x9720 -x9719
1487.41/1493.26 v -x9718 -x9717 -x9716 -x9715 -x9714 -x9713 -x9712 -x9711 -x9710 -x9709 -x9708 -x9707 -x9706 -x9705 -x9704 -x9703 -x9702
1487.41/1493.26 v -x9701 -x9700 -x9699 -x9698 -x9697 -x9696 -x9695 -x9694 -x9693 -x9692 -x9691 -x9690 -x9689 -x9688 -x9687 -x9686 -x9685 -x9684
1487.41/1493.26 v -x9683 -x9682 -x9681 -x9680 -x9679 -x9678 -x9677 -x9676 -x9675 -x9674 -x9673 -x9672 -x9671 -x9670 -x9669 -x9668 -x9667 -x9666
1487.41/1493.26 v -x9665 -x9664 -x9663 -x9662 -x9661 -x9590 -x9588 -x9587 -x9586 -x9585 -x9584 -x9583 -x9582 -x9581 -x9580 -x9579 -x9578 -x9577
1487.41/1493.26 v -x9576 -x9575 -x9574 -x9573 -x9572 -x9571 -x9570 -x9569 -x9568 -x9567 -x9566 -x9565 -x9564 -x9563 -x9562 -x9561 -x9560 -x9559
1487.41/1493.26 v -x9558 -x9557 -x9556 -x9555 -x9554 -x9553 -x9552 -x9551 -x9550 -x9549 -x9548 -x9547 -x9546 -x9545 -x9544 -x9543 -x9542 -x9541
1487.41/1493.26 v -x9540 -x9539 -x9538 -x9537 -x9536 -x9535 -x9534 -x9533 -x9532 -x9531 -x9530 -x9529 -x9528 -x9527 -x9526 -x9525 -x9524 -x9523
1487.41/1493.26 v -x9522 -x9521 -x9520 -x9519 -x9517 -x9516 -x9515 -x9514 -x9513 -x9512 -x9511 -x9510 -x9509 -x9508 -x9507 -x9506 -x9505
1487.41/1493.26 v -x9504 -x9503 -x9502 -x9501 -x9500 -x9499 -x9498 -x9497 -x9496 -x9495 -x9494 -x9493 -x9492 -x9491 -x9490 -x9489 -x9488 -x9487
1487.41/1493.26 v -x9486 -x9485 -x9484 -x9483 -x9482 -x9481 -x9480 -x9479 -x9478 -x9477 -x9476 -x9475 -x9474 -x9473 -x9472 -x9471 -x9470 -x9469
1487.41/1493.26 v -x9468 -x9467 -x9466 -x9465 -x9464 -x9463 -x9462 -x9461 -x9460 -x9459 -x9458 -x9457 -x9456 -x9455 -x9454 -x9453 -x9452 -x9451
1487.41/1493.26 v -x9450 -x9449 -x9448 -x9446 -x9445 -x9444 -x9443 -x9442 -x9441 -x9440 -x9439 -x9438 -x9437 -x9436 -x9435 -x9434 -x9433 -x9432
1487.41/1493.26 v -x9431 -x9430 -x9429 -x9428 -x9427 -x9426 -x9425 -x9424 -x9423 -x9422 -x9421 -x9420 -x9419 -x9418 -x9417 -x9416 -x9415 -x9414
1487.41/1493.26 v -x9413 -x9412 -x9411 -x9410 -x9409 -x9408 -x9407 -x9406 -x9405 -x9404 -x9403 -x9402 -x9401 -x9400 -x9399 -x9398 -x9397 -x9396
1487.41/1493.26 v -x9395 -x9394 -x9393 -x9392 -x9391 -x9390 -x9389 -x9388 -x9387 -x9386 -x9385 -x9384 -x9383 -x9382 -x9381 -x9380 -x9379
1487.41/1493.26 v -x9378 -x9377 -x9375 -x9374 -x9373 -x9372 -x9371 -x9370 -x9369 -x9368 -x9367 -x9366 -x9365 -x9364 -x9363 -x9362 -x9361 -x9360
1487.41/1493.26 v -x9359 -x9358 -x9357 -x9356 -x9355 -x9354 -x9353 -x9352 -x9351 -x9350 -x9349 -x9348 -x9347 -x9346 -x9345 -x9344 -x9343 -x9342
1487.41/1493.26 v -x9341 -x9340 -x9339 -x9338 -x9337 -x9336 -x9335 -x9334 -x9333 -x9332 -x9331 -x9330 -x9329 -x9328 -x9327 -x9326 -x9325 -x9324
1487.41/1493.26 v -x9323 -x9322 -x9321 -x9320 -x9319 -x9318 -x9317 -x9316 -x9315 -x9314 -x9313 -x9312 -x9311 -x9310 -x9309 -x9308 -x9307 -x9306
1487.41/1493.26 v -x9304 -x9303 -x9302 -x9301 -x9300 -x9299 -x9298 -x9297 -x9296 -x9295 -x9294 -x9293 -x9292 -x9291 -x9290 -x9289 -x9288 -x9287
1487.41/1493.26 v -x9286 -x9285 -x9284 -x9283 -x9282 -x9281 -x9280 -x9279 -x9278 -x9277 -x9276 -x9275 -x9274 -x9273 -x9272 -x9271 -x9270 -x9269
1487.41/1493.26 v -x9268 -x9267 -x9266 -x9265 -x9264 -x9263 -x9262 -x9261 -x9260 -x9259 -x9258 -x9257 -x9256 -x9255 -x9254 -x9253 -x9252
1487.41/1493.26 v -x9251 -x9250 -x9249 -x9248 -x9247 -x9246 -x9245 -x9244 -x9243 -x9242 -x9241 -x9240 -x9239 -x9238 -x9237 -x9236 -x9235 -x9233
1487.41/1493.26 v -x9232 -x9231 -x9230 -x9229 -x9228 -x9227 -x9226 -x9225 -x9224 -x9223 -x9222 -x9221 -x9220 -x9219 -x9218 -x9217 -x9216 -x9215
1487.41/1493.26 v -x9214 -x9213 -x9212 -x9211 -x9210 -x9209 -x9208 -x9207 -x9206 -x9205 -x9204 -x9203 -x9202 -x9201 -x9200 -x9199 -x9198 -x9197
1487.41/1493.26 v -x9196 -x9195 -x9194 -x9193 -x9192 -x9191 -x9190 -x9189 -x9188 -x9187 -x9186 -x9185 -x9184 -x9183 -x9182 -x9181 -x9180 -x9179
1487.41/1493.26 v -x9178 -x9177 -x9176 -x9175 -x9174 -x9173 -x9172 -x9171 -x9170 -x9169 -x9168 -x9167 -x9166 -x9165 -x9164 -x9162 -x9161 -x9160
1487.41/1493.26 v -x9159 -x9158 -x9157 -x9156 -x9155 -x9154 -x9153 -x9152 -x9151 -x9150 -x9149 -x9148 -x9147 -x9146 -x9145 -x9144 -x9143 -x9142
1487.41/1493.26 v -x9141 -x9140 -x9139 -x9138 -x9137 -x9136 -x9135 -x9134 -x9133 -x9132 -x9131 -x9130 -x9129 -x9128 -x9127 -x9126 -x9125
1487.41/1493.26 v -x9124 -x9123 -x9122 -x9121 -x9120 -x9119 -x9118 -x9117 -x9116 -x9115 -x9114 -x9113 -x9112 -x9111 -x9110 -x9109 -x9108 -x9107
1487.41/1493.26 v -x9106 -x9105 -x9104 -x9103 -x9102 -x9101 -x9100 -x9099 -x9098 -x9097 -x9096 -x9095 -x9094 -x9093 -x9091 -x9090 -x9089 -x9088
1487.41/1493.26 v -x9087 -x9086 -x9085 -x9084 -x9083 -x9082 -x9081 -x9080 -x9079 -x9078 -x9077 -x9076 -x9075 -x9074 -x9073 -x9072 -x9071 -x9070
1487.41/1493.26 v -x9069 -x9068 -x9067 -x9066 -x9065 -x9064 -x9063 -x9062 -x9061 -x9060 -x9059 -x9058 -x9057 -x9056 -x9055 -x9054 -x9053 -x9052
1487.41/1493.26 v -x9051 -x9050 -x9049 -x9048 -x9047 -x9046 -x9045 -x9044 -x9043 -x9042 -x9041 -x9040 -x9039 -x9038 -x9037 -x9036 -x9035 -x9034
1487.41/1493.26 v -x9033 -x9032 -x9031 -x9030 -x9029 -x9028 -x9027 -x9026 -x9025 -x9024 -x9023 -x9022 -x9020 -x9019 -x9018 -x9017 -x9016 -x9015
1487.41/1493.26 v -x9014 -x9013 -x9012 -x9011 -x9010 -x9009 -x9008 -x9007 -x9006 -x9005 -x9004 -x9003 -x9002 -x9001 -x9000 -x8999 -x8998
1487.41/1493.26 v -x8997 -x8996 -x8995 -x8994 -x8993 -x8992 -x8991 -x8990 -x8989 -x8988 -x8987 -x8986 -x8985 -x8984 -x8983 -x8982 -x8981 -x8980
1487.41/1493.26 v -x8979 -x8978 -x8977 -x8976 -x8975 -x8974 -x8973 -x8972 -x8971 -x8970 -x8969 -x8968 -x8967 -x8966 -x8965 -x8964 -x8963 -x8962
1487.41/1493.26 v -x8961 -x8960 -x8959 -x8958 -x8957 -x8956 -x8955 -x8954 -x8953 -x8952 -x8951 -x8949 -x8948 -x8947 -x8946 -x8945 -x8944 -x8943
1487.41/1493.26 v -x8942 -x8941 -x8940 -x8939 -x8938 -x8937 -x8936 -x8935 -x8934 -x8933 -x8932 -x8931 -x8930 -x8929 -x8928 -x8927 -x8926 -x8925
1487.41/1493.26 v -x8924 -x8923 -x8922 -x8921 -x8920 -x8919 -x8918 -x8917 -x8916 -x8915 -x8914 -x8913 -x8912 -x8911 -x8910 -x8909 -x8908 -x8907
1487.41/1493.26 v -x8906 -x8905 -x8904 -x8903 -x8902 -x8901 -x8900 -x8899 -x8898 -x8897 -x8896 -x8895 -x8894 -x8893 -x8892 -x8891 -x8820 -x8819
1487.41/1493.26 v -x8818 -x8817 -x8816 -x8815 -x8814 -x8813 -x8812 -x8811 -x8810 -x8808 -x8807 -x8806 -x8805 -x8804 -x8803 -x8802 -x8801
1487.41/1493.26 v -x8800 -x8799 -x8798 -x8797 -x8796 -x8795 -x8794 -x8793 -x8792 -x8791 -x8790 -x8789 -x8788 -x8787 -x8786 -x8785 -x8784 -x8783
1487.41/1493.26 v -x8782 -x8781 -x8780 -x8779 -x8778 -x8777 -x8776 -x8775 -x8774 -x8773 -x8772 -x8771 -x8770 -x8769 -x8768 -x8767 -x8766 -x8765
1487.41/1493.26 v -x8764 -x8763 -x8762 -x8761 -x8760 -x8759 -x8758 -x8757 -x8756 -x8755 -x8754 -x8753 -x8752 -x8751 -x8750 -x8749 -x8748 -x8747
1487.41/1493.26 v -x8746 -x8745 -x8744 -x8743 -x8742 -x8741 -x8740 -x8739 -x8737 -x8736 -x8735 -x8734 -x8733 -x8732 -x8731 -x8730 -x8729 -x8728
1487.41/1493.26 v -x8727 -x8726 -x8725 -x8724 -x8723 -x8722 -x8721 -x8720 -x8719 -x8718 -x8717 -x8716 -x8715 -x8714 -x8713 -x8712 -x8711 -x8710
1487.41/1493.26 v -x8709 -x8708 -x8707 -x8706 -x8705 -x8704 -x8703 -x8702 -x8701 -x8700 -x8699 -x8698 -x8697 -x8696 -x8695 -x8694 -x8693 -x8692
1487.41/1493.26 v -x8691 -x8690 -x8689 -x8688 -x8687 -x8686 -x8685 -x8684 -x8683 -x8682 -x8681 -x8680 -x8679 -x8678 -x8677 -x8676 -x8675
1487.41/1493.26 v -x8674 -x8673 -x8672 -x8671 -x8670 -x8669 -x8668 -x8666 -x8665 -x8664 -x8663 -x8662 -x8661 -x8660 -x8659 -x8658 -x8657 -x8656
1487.41/1493.26 v -x8655 -x8654 -x8653 -x8652 -x8651 -x8650 -x8649 -x8648 -x8647 -x8646 -x8645 -x8644 -x8643 -x8642 -x8641 -x8640 -x8639 -x8638
1487.41/1493.26 v -x8637 -x8636 -x8635 -x8634 -x8633 -x8632 -x8631 -x8630 -x8629 -x8628 -x8627 -x8626 -x8625 -x8624 -x8623 -x8622 -x8621 -x8620
1487.41/1493.26 v -x8619 -x8618 -x8617 -x8616 -x8615 -x8614 -x8613 -x8612 -x8611 -x8610 -x8609 -x8608 -x8607 -x8606 -x8605 -x8604 -x8603 -x8602
1487.41/1493.26 v -x8601 -x8600 -x8599 -x8598 -x8597 -x8595 -x8594 -x8593 -x8592 -x8591 -x8590 -x8589 -x8588 -x8587 -x8586 -x8585 -x8584 -x8583
1487.41/1493.26 v -x8582 -x8581 -x8580 -x8579 -x8578 -x8577 -x8576 -x8575 -x8574 -x8573 -x8572 -x8571 -x8570 -x8569 -x8568 -x8567 -x8566 -x8565
1487.41/1493.26 v -x8564 -x8563 -x8562 -x8561 -x8560 -x8559 -x8558 -x8557 -x8556 -x8555 -x8554 -x8553 -x8552 -x8551 -x8550 -x8549 -x8548
1487.41/1493.26 v -x8547 -x8546 -x8545 -x8544 -x8543 -x8542 -x8541 -x8540 -x8539 -x8538 -x8537 -x8536 -x8535 -x8534 -x8533 -x8532 -x8531 -x8530
1487.41/1493.26 v -x8529 -x8528 -x8527 -x8526 -x8524 -x8523 -x8522 -x8521 -x8520 -x8519 -x8518 -x8517 -x8516 -x8515 -x8514 -x8513 -x8512 -x8511
1487.41/1493.26 v -x8510 -x8509 -x8508 -x8507 -x8506 -x8505 -x8504 -x8503 -x8502 -x8501 -x8500 -x8499 -x8498 -x8497 -x8496 -x8495 -x8494 -x8493
1487.41/1493.26 v -x8492 -x8491 -x8490 -x8489 -x8488 -x8487 -x8486 -x8485 -x8484 -x8483 -x8482 -x8481 -x8480 -x8479 -x8478 -x8477 -x8476 -x8475
1487.41/1493.26 v -x8474 -x8473 -x8472 -x8471 -x8470 -x8469 -x8468 -x8467 -x8466 -x8465 -x8464 -x8463 -x8462 -x8461 -x8460 -x8459 -x8458 -x8457
1487.41/1493.26 v -x8456 -x8455 -x8453 -x8452 -x8451 -x8450 -x8449 -x8448 -x8447 -x8446 -x8445 -x8444 -x8443 -x8442 -x8441 -x8440 -x8439 -x8438
1487.41/1493.26 v -x8437 -x8436 -x8435 -x8434 -x8433 -x8432 -x8431 -x8430 -x8429 -x8428 -x8427 -x8426 -x8425 -x8424 -x8423 -x8422 -x8421
1487.41/1493.26 v -x8420 -x8419 -x8418 -x8417 -x8416 -x8415 -x8414 -x8413 -x8412 -x8411 -x8410 -x8409 -x8408 -x8407 -x8406 -x8405 -x8404 -x8403
1487.41/1493.26 v -x8402 -x8401 -x8400 -x8399 -x8398 -x8397 -x8396 -x8395 -x8394 -x8393 -x8392 -x8391 -x8390 -x8389 -x8388 -x8387 -x8386 -x8385
1487.41/1493.26 v -x8384 -x8382 -x8381 -x8380 -x8379 -x8378 -x8377 -x8376 -x8375 -x8374 -x8373 -x8372 -x8371 -x8370 -x8369 -x8368 -x8367 -x8366
1487.41/1493.26 v -x8365 -x8364 -x8363 -x8362 -x8361 -x8360 -x8359 -x8358 -x8357 -x8356 -x8355 -x8354 -x8353 -x8352 -x8351 -x8350 -x8349 -x8348
1487.41/1493.26 v -x8347 -x8346 -x8345 -x8344 -x8343 -x8342 -x8341 -x8340 -x8339 -x8338 -x8337 -x8336 -x8335 -x8334 -x8333 -x8332 -x8331 -x8330
1487.41/1493.26 v -x8329 -x8328 -x8327 -x8326 -x8325 -x8324 -x8323 -x8322 -x8321 -x8320 -x8319 -x8318 -x8317 -x8316 -x8315 -x8314 -x8313 -x8311
1487.41/1493.26 v -x8310 -x8309 -x8308 -x8307 -x8306 -x8305 -x8304 -x8303 -x8302 -x8301 -x8300 -x8299 -x8298 -x8297 -x8296 -x8295 -x8294
1487.41/1493.26 v -x8293 -x8292 -x8291 -x8290 -x8289 -x8288 -x8287 -x8286 -x8285 -x8284 -x8283 -x8282 -x8281 -x8280 -x8279 -x8278 -x8277 -x8276
1487.41/1493.26 v -x8275 -x8274 -x8273 -x8272 -x8271 -x8270 -x8269 -x8268 -x8267 -x8266 -x8265 -x8264 -x8263 -x8262 -x8261 -x8260 -x8259 -x8258
1487.41/1493.26 v -x8257 -x8256 -x8255 -x8254 -x8253 -x8252 -x8251 -x8250 -x8249 -x8248 -x8247 -x8246 -x8245 -x8244 -x8243 -x8242 -x8240 -x8239
1487.41/1493.26 v -x8238 -x8237 -x8236 -x8235 -x8234 -x8233 -x8232 -x8231 -x8230 -x8229 -x8228 -x8227 -x8226 -x8225 -x8224 -x8223 -x8222 -x8221
1487.41/1493.26 v -x8220 -x8219 -x8218 -x8217 -x8216 -x8215 -x8214 -x8213 -x8212 -x8211 -x8210 -x8209 -x8208 -x8207 -x8206 -x8205 -x8204 -x8203
1487.41/1493.26 v -x8202 -x8201 -x8200 -x8199 -x8198 -x8197 -x8196 -x8195 -x8194 -x8193 -x8192 -x8191 -x8190 -x8189 -x8188 -x8187 -x8186 -x8185
1487.41/1493.26 v -x8184 -x8183 -x8182 -x8181 -x8180 -x8179 -x8178 -x8177 -x8176 -x8175 -x8174 -x8173 -x8172 -x8171 -x8169 -x8168 -x8167
1487.41/1493.26 v -x8166 -x8165 -x8164 -x8163 -x8162 -x8161 -x8160 -x8159 -x8158 -x8157 -x8156 -x8155 -x8154 -x8153 -x8152 -x8151 -x8150 -x8149
1487.41/1493.26 v -x8148 -x8147 -x8146 -x8145 -x8144 -x8143 -x8142 -x8141 -x8140 -x8139 -x8138 -x8137 -x8136 -x8135 -x8134 -x8133 -x8132 -x8131
1487.41/1493.26 v -x8130 -x8129 -x8128 -x8127 -x8126 -x8125 -x8124 -x8123 -x8122 -x8121 -x8050 -x8049 -x8048 -x8047 -x8046 -x8045 -x8044 -x8043
1487.41/1493.26 v -x8042 -x8041 -x8040 -x8039 -x8038 -x8037 -x8036 -x8035 -x8034 -x8033 -x8032 -x8031 -x8030 -x8028 -x8027 -x8026 -x8025 -x8024
1487.41/1493.26 v -x8023 -x8022 -x8021 -x8020 -x8019 -x8018 -x8017 -x8016 -x8015 -x8014 -x8013 -x8012 -x8011 -x8010 -x8009 -x8008 -x8007 -x8006
1487.41/1493.26 v -x8005 -x8004 -x8003 -x8002 -x8001 -x8000 -x7999 -x7998 -x7997 -x7996 -x7995 -x7994 -x7993 -x7992 -x7991 -x7990 -x7989 -x7988
1487.41/1493.26 v -x7987 -x7986 -x7985 -x7984 -x7983 -x7982 -x7981 -x7980 -x7979 -x7978 -x7977 -x7976 -x7975 -x7974 -x7973 -x7972 -x7971
1487.41/1493.26 v -x7970 -x7969 -x7968 -x7967 -x7966 -x7965 -x7964 -x7963 -x7962 -x7961 -x7960 -x7959 -x7957 -x7956 -x7955 -x7954 -x7953 -x7952
1487.41/1493.26 v -x7951 -x7950 -x7949 -x7948 -x7947 -x7946 -x7945 -x7944 -x7943 -x7942 -x7941 -x7940 -x7939 -x7938 -x7937 -x7936 -x7935 -x7934
1487.41/1493.26 v -x7933 -x7932 -x7931 -x7930 -x7929 -x7928 -x7927 -x7926 -x7925 -x7924 -x7923 -x7922 -x7921 -x7920 -x7919 -x7918 -x7917 -x7916
1487.41/1493.26 v -x7915 -x7914 -x7913 -x7912 -x7911 -x7910 -x7909 -x7908 -x7907 -x7906 -x7905 -x7904 -x7903 -x7902 -x7901 -x7900 -x7899 -x7898
1487.41/1493.26 v -x7897 -x7896 -x7895 -x7894 -x7893 -x7892 -x7891 -x7890 -x7889 -x7888 -x7886 -x7885 -x7884 -x7883 -x7882 -x7881 -x7880 -x7879
1487.41/1493.26 v -x7878 -x7877 -x7876 -x7875 -x7874 -x7873 -x7872 -x7871 -x7870 -x7869 -x7868 -x7867 -x7866 -x7865 -x7864 -x7863 -x7862 -x7861
1487.41/1493.26 v -x7860 -x7859 -x7858 -x7857 -x7856 -x7855 -x7854 -x7853 -x7852 -x7851 -x7850 -x7849 -x7848 -x7847 -x7846 -x7845 -x7844
1487.41/1493.26 v -x7843 -x7842 -x7841 -x7840 -x7839 -x7838 -x7837 -x7836 -x7835 -x7834 -x7833 -x7832 -x7831 -x7830 -x7829 -x7828 -x7827 -x7826
1487.41/1493.26 v -x7825 -x7824 -x7823 -x7822 -x7821 -x7820 -x7819 -x7818 -x7817 -x7815 -x7814 -x7813 -x7812 -x7811 -x7810 -x7809 -x7808 -x7807
1487.41/1493.26 v -x7806 -x7805 -x7804 -x7803 -x7802 -x7801 -x7800 -x7799 -x7798 -x7797 -x7796 -x7795 -x7794 -x7793 -x7792 -x7791 -x7790 -x7789
1487.41/1493.26 v -x7788 -x7787 -x7786 -x7785 -x7784 -x7783 -x7782 -x7781 -x7780 -x7779 -x7778 -x7777 -x7776 -x7775 -x7774 -x7773 -x7772 -x7771
1487.41/1493.26 v -x7770 -x7769 -x7768 -x7767 -x7766 -x7765 -x7764 -x7763 -x7762 -x7761 -x7760 -x7759 -x7758 -x7757 -x7756 -x7755 -x7754 -x7753
1487.41/1493.26 v -x7752 -x7751 -x7750 -x7749 -x7748 -x7747 -x7746 -x7744 -x7743 -x7742 -x7741 -x7740 -x7739 -x7738 -x7737 -x7736 -x7735 -x7734
1487.41/1493.26 v -x7733 -x7732 -x7731 -x7730 -x7729 -x7728 -x7727 -x7726 -x7725 -x7724 -x7723 -x7722 -x7721 -x7720 -x7719 -x7718 -x7717
1487.41/1493.26 v -x7716 -x7715 -x7714 -x7713 -x7712 -x7711 -x7710 -x7709 -x7708 -x7707 -x7706 -x7705 -x7704 -x7703 -x7702 -x7701 -x7700 -x7699
1487.41/1493.26 v -x7698 -x7697 -x7696 -x7695 -x7694 -x7693 -x7692 -x7691 -x7690 -x7689 -x7688 -x7687 -x7686 -x7685 -x7684 -x7683 -x7682 -x7681
1487.41/1493.26 v -x7680 -x7679 -x7678 -x7677 -x7676 -x7675 -x7673 -x7672 -x7671 -x7670 -x7669 -x7668 -x7667 -x7666 -x7665 -x7664 -x7663 -x7662
1487.41/1493.26 v -x7661 -x7660 -x7659 -x7658 -x7657 -x7656 -x7655 -x7654 -x7653 -x7652 -x7651 -x7650 -x7649 -x7648 -x7647 -x7646 -x7645 -x7644
1487.41/1493.26 v -x7643 -x7642 -x7641 -x7640 -x7639 -x7638 -x7637 -x7636 -x7635 -x7634 -x7633 -x7632 -x7631 -x7630 -x7629 -x7628 -x7627 -x7626
1487.41/1493.26 v -x7625 -x7624 -x7623 -x7622 -x7621 -x7620 -x7619 -x7618 -x7617 -x7616 -x7615 -x7614 -x7613 -x7612 -x7611 -x7610 -x7609 -x7608
1487.41/1493.26 v -x7607 -x7606 -x7605 -x7604 -x7602 -x7601 -x7600 -x7599 -x7598 -x7597 -x7596 -x7595 -x7594 -x7593 -x7592 -x7591 -x7590
1487.41/1493.26 v -x7589 -x7588 -x7587 -x7586 -x7585 -x7584 -x7583 -x7582 -x7581 -x7580 -x7579 -x7578 -x7577 -x7576 -x7575 -x7574 -x7573 -x7572
1487.41/1493.26 v -x7571 -x7570 -x7569 -x7568 -x7567 -x7566 -x7565 -x7564 -x7563 -x7562 -x7561 -x7560 -x7559 -x7558 -x7557 -x7556 -x7555 -x7554
1487.41/1493.26 v -x7553 -x7552 -x7551 -x7550 -x7549 -x7548 -x7547 -x7546 -x7545 -x7544 -x7543 -x7542 -x7541 -x7540 -x7539 -x7538 -x7537 -x7536
1487.41/1493.26 v -x7535 -x7534 -x7533 -x7531 -x7530 -x7529 -x7528 -x7527 -x7526 -x7525 -x7524 -x7523 -x7522 -x7521 -x7520 -x7519 -x7518 -x7517
1487.41/1493.26 v -x7516 -x7515 -x7514 -x7513 -x7512 -x7511 -x7510 -x7509 -x7508 -x7507 -x7506 -x7505 -x7504 -x7503 -x7502 -x7501 -x7500 -x7499
1487.41/1493.26 v -x7498 -x7497 -x7496 -x7495 -x7494 -x7493 -x7492 -x7491 -x7490 -x7489 -x7488 -x7487 -x7486 -x7485 -x7484 -x7483 -x7482 -x7481
1487.41/1493.26 v -x7480 -x7479 -x7478 -x7477 -x7476 -x7475 -x7474 -x7473 -x7472 -x7471 -x7470 -x7469 -x7468 -x7467 -x7466 -x7465 -x7464
1487.41/1493.26 v -x7463 -x7462 -x7460 -x7459 -x7458 -x7457 -x7456 -x7455 -x7454 -x7453 -x7452 -x7451 -x7450 -x7449 -x7448 -x7447 -x7446 -x7445
1487.41/1493.26 v -x7444 -x7443 -x7442 -x7441 -x7440 -x7439 -x7438 -x7437 -x7436 -x7435 -x7434 -x7433 -x7432 -x7431 -x7430 -x7429 -x7428 -x7427
1487.41/1493.26 v -x7426 -x7425 -x7424 -x7423 -x7422 -x7421 -x7420 -x7419 -x7418 -x7417 -x7416 -x7415 -x7414 -x7413 -x7412 -x7411 -x7410 -x7409
1487.41/1493.26 v -x7408 -x7407 -x7406 -x7405 -x7404 -x7403 -x7402 -x7401 -x7400 -x7399 -x7398 -x7397 -x7396 -x7395 -x7394 -x7393 -x7392 -x7391
1487.41/1493.26 v -x7389 -x7388 -x7387 -x7386 -x7385 -x7384 -x7383 -x7382 -x7381 -x7380 -x7379 -x7378 -x7377 -x7376 -x7375 -x7374 -x7373 -x7372
1487.41/1493.26 v -x7371 -x7370 -x7369 -x7368 -x7367 -x7366 -x7365 -x7364 -x7363 -x7362 -x7361 -x7360 -x7359 -x7358 -x7357 -x7356 -x7355 -x7354
1487.41/1493.26 v -x7353 -x7352 -x7351 -x7280 -x7279 -x7278 -x7277 -x7276 -x7275 -x7274 -x7273 -x7272 -x7271 -x7270 -x7269 -x7268 -x7267
1487.41/1493.26 v -x7266 -x7265 -x7264 -x7263 -x7262 -x7261 -x7260 -x7259 -x7258 -x7257 -x7256 -x7255 -x7254 -x7253 -x7252 -x7251 -x7250 -x7248
1487.41/1493.26 v -x7247 -x7246 -x7245 -x7244 -x7243 -x7242 -x7241 -x7240 -x7239 -x7238 -x7237 -x7236 -x7235 -x7234 -x7233 -x7232 -x7231 -x7230
1487.41/1493.26 v -x7229 -x7228 -x7227 -x7226 -x7225 -x7224 -x7223 -x7222 -x7221 -x7220 -x7219 -x7218 -x7217 -x7216 -x7215 -x7214 -x7213 -x7212
1487.41/1493.26 v -x7211 -x7210 -x7209 -x7208 -x7207 -x7206 -x7205 -x7204 -x7203 -x7202 -x7201 -x7200 -x7199 -x7198 -x7197 -x7196 -x7195 -x7194
1487.41/1493.26 v -x7193 -x7192 -x7191 -x7190 -x7189 -x7188 -x7187 -x7186 -x7185 -x7184 -x7183 -x7182 -x7181 -x7180 -x7179 -x7177 -x7176 -x7175
1487.41/1493.26 v -x7174 -x7173 -x7172 -x7171 -x7170 -x7169 -x7168 -x7167 -x7166 -x7165 -x7164 -x7163 -x7162 -x7161 -x7160 -x7159 -x7158 -x7157
1487.41/1493.26 v -x7156 -x7155 -x7154 -x7153 -x7152 -x7151 -x7150 -x7149 -x7148 -x7147 -x7146 -x7145 -x7144 -x7143 -x7142 -x7141 -x7140
1487.41/1493.26 v -x7139 -x7138 -x7137 -x7136 -x7135 -x7134 -x7133 -x7132 -x7131 -x7130 -x7129 -x7128 -x7127 -x7126 -x7125 -x7124 -x7123 -x7122
1487.41/1493.26 v -x7121 -x7120 -x7119 -x7118 -x7117 -x7116 -x7115 -x7114 -x7113 -x7112 -x7111 -x7110 -x7109 -x7108 -x7106 -x7105 -x7104 -x7103
1487.41/1493.26 v -x7102 -x7101 -x7100 -x7099 -x7098 -x7097 -x7096 -x7095 -x7094 -x7093 -x7092 -x7091 -x7090 -x7089 -x7088 -x7087 -x7086 -x7085
1487.41/1493.26 v -x7084 -x7083 -x7082 -x7081 -x7080 -x7079 -x7078 -x7077 -x7076 -x7075 -x7074 -x7073 -x7072 -x7071 -x7070 -x7069 -x7068 -x7067
1487.41/1493.26 v -x7066 -x7065 -x7064 -x7063 -x7062 -x7061 -x7060 -x7059 -x7058 -x7057 -x7056 -x7055 -x7054 -x7053 -x7052 -x7051 -x7050 -x7049
1487.41/1493.26 v -x7048 -x7047 -x7046 -x7045 -x7044 -x7043 -x7042 -x7041 -x7040 -x7039 -x7038 -x7037 -x7035 -x7034 -x7033 -x7032 -x7031 -x7030
1487.41/1493.26 v -x7029 -x7028 -x7027 -x7026 -x7025 -x7024 -x7023 -x7022 -x7021 -x7020 -x7019 -x7018 -x7017 -x7016 -x7015 -x7014 -x7013
1487.41/1493.26 v -x7012 -x7011 -x7010 -x7009 -x7008 -x7007 -x7006 -x7005 -x7004 -x7003 -x7002 -x7001 -x7000 -x6999 -x6998 -x6997 -x6996 -x6995
1487.41/1493.26 v -x6994 -x6993 -x6992 -x6991 -x6990 -x6989 -x6988 -x6987 -x6986 -x6985 -x6984 -x6983 -x6982 -x6981 -x6980 -x6979 -x6978 -x6977
1487.41/1493.26 v -x6976 -x6975 -x6974 -x6973 -x6972 -x6971 -x6970 -x6969 -x6968 -x6967 -x6966 -x6964 -x6963 -x6962 -x6961 -x6960 -x6959 -x6958
1487.41/1493.26 v -x6957 -x6956 -x6955 -x6954 -x6953 -x6952 -x6951 -x6950 -x6949 -x6948 -x6947 -x6946 -x6945 -x6944 -x6943 -x6942 -x6941 -x6940
1487.41/1493.26 v -x6939 -x6938 -x6937 -x6936 -x6935 -x6934 -x6933 -x6932 -x6931 -x6930 -x6929 -x6928 -x6927 -x6926 -x6925 -x6924 -x6923 -x6922
1487.41/1493.26 v -x6921 -x6920 -x6919 -x6918 -x6917 -x6916 -x6915 -x6914 -x6913 -x6912 -x6911 -x6910 -x6909 -x6908 -x6907 -x6906 -x6905 -x6904
1487.41/1493.26 v -x6903 -x6902 -x6901 -x6900 -x6899 -x6898 -x6897 -x6896 -x6895 -x6893 -x6892 -x6891 -x6890 -x6889 -x6888 -x6887 -x6886
1487.41/1493.26 v -x6885 -x6884 -x6883 -x6882 -x6881 -x6880 -x6879 -x6878 -x6877 -x6876 -x6875 -x6874 -x6873 -x6872 -x6871 -x6870 -x6869 -x6868
1487.41/1493.26 v -x6867 -x6866 -x6865 -x6864 -x6863 -x6862 -x6861 -x6860 -x6859 -x6858 -x6857 -x6856 -x6855 -x6854 -x6853 -x6852 -x6851 -x6850
1487.41/1493.26 v -x6849 -x6848 -x6847 -x6846 -x6845 -x6844 -x6843 -x6842 -x6841 -x6840 -x6839 -x6838 -x6837 -x6836 -x6835 -x6834 -x6833 -x6832
1487.41/1493.26 v -x6831 -x6830 -x6829 -x6828 -x6827 -x6826 -x6825 -x6824 -x6822 -x6821 -x6820 -x6819 -x6818 -x6817 -x6816 -x6815 -x6814 -x6813
1487.41/1493.26 v -x6812 -x6811 -x6810 -x6809 -x6808 -x6807 -x6806 -x6805 -x6804 -x6803 -x6802 -x6801 -x6800 -x6799 -x6798 -x6797 -x6796 -x6795
1487.41/1493.26 v -x6794 -x6793 -x6792 -x6791 -x6790 -x6789 -x6788 -x6787 -x6786 -x6785 -x6784 -x6783 -x6782 -x6781 -x6780 -x6779 -x6778 -x6777
1487.41/1493.26 v -x6776 -x6775 -x6774 -x6773 -x6772 -x6771 -x6770 -x6769 -x6768 -x6767 -x6766 -x6765 -x6764 -x6763 -x6762 -x6761 -x6760
1487.41/1493.26 v -x6759 -x6758 -x6757 -x6756 -x6755 -x6754 -x6753 -x6751 -x6750 -x6749 -x6748 -x6747 -x6746 -x6745 -x6744 -x6743 -x6742 -x6741
1487.41/1493.26 v -x6740 -x6739 -x6738 -x6737 -x6736 -x6735 -x6734 -x6733 -x6732 -x6731 -x6730 -x6729 -x6728 -x6727 -x6726 -x6725 -x6724 -x6723
1487.41/1493.26 v -x6722 -x6721 -x6720 -x6719 -x6718 -x6717 -x6716 -x6715 -x6714 -x6713 -x6712 -x6711 -x6710 -x6709 -x6708 -x6707 -x6706 -x6705
1487.41/1493.26 v -x6704 -x6703 -x6702 -x6701 -x6700 -x6699 -x6698 -x6697 -x6696 -x6695 -x6694 -x6693 -x6692 -x6691 -x6690 -x6689 -x6688 -x6687
1487.41/1493.26 v -x6686 -x6685 -x6684 -x6683 -x6682 -x6680 -x6679 -x6678 -x6677 -x6676 -x6675 -x6674 -x6673 -x6672 -x6671 -x6670 -x6669 -x6668
1487.41/1493.26 v -x6667 -x6666 -x6665 -x6664 -x6663 -x6662 -x6661 -x6660 -x6659 -x6658 -x6657 -x6656 -x6655 -x6654 -x6653 -x6652 -x6651 -x6650
1487.41/1493.26 v -x6649 -x6648 -x6647 -x6646 -x6645 -x6644 -x6643 -x6642 -x6641 -x6640 -x6639 -x6638 -x6637 -x6636 -x6635 -x6634 -x6633
1487.41/1493.26 v -x6632 -x6631 -x6630 -x6629 -x6628 -x6627 -x6626 -x6625 -x6624 -x6623 -x6622 -x6621 -x6620 -x6619 -x6618 -x6617 -x6616 -x6615
1487.41/1493.26 v -x6614 -x6613 -x6612 -x6611 -x6609 -x6608 -x6607 -x6606 -x6605 -x6604 -x6603 -x6602 -x6601 -x6600 -x6599 -x6598 -x6597 -x6596
1487.41/1493.26 v -x6595 -x6594 -x6593 -x6592 -x6591 -x6590 -x6589 -x6588 -x6587 -x6586 -x6585 -x6584 -x6583 -x6582 -x6581 -x6510 -x6509 -x6508
1487.41/1493.26 v -x6507 -x6506 -x6505 -x6504 -x6503 -x6502 -x6501 -x6500 -x6499 -x6498 -x6497 -x6496 -x6495 -x6494 -x6493 -x6492 -x6491 -x6490
1487.41/1493.26 v -x6489 -x6488 -x6487 -x6486 -x6485 -x6484 -x6483 -x6482 -x6481 -x6480 -x6479 -x6478 -x6477 -x6476 -x6475 -x6474 -x6473 -x6472
1487.41/1493.26 v -x6471 -x6470 -x6468 -x6467 -x6466 -x6465 -x6464 -x6463 -x6462 -x6461 -x6460 -x6459 -x6458 -x6457 -x6456 -x6455 -x6454 -x6453
1487.41/1493.26 v -x6452 -x6451 -x6450 -x6449 -x6448 -x6447 -x6446 -x6445 -x6444 -x6443 -x6442 -x6441 -x6440 -x6439 -x6438 -x6437 -x6436
1487.41/1493.26 v -x6435 -x6434 -x6433 -x6432 -x6431 -x6430 -x6429 -x6428 -x6427 -x6426 -x6425 -x6424 -x6423 -x6422 -x6421 -x6420 -x6419 -x6418
1487.41/1493.26 v -x6417 -x6416 -x6415 -x6414 -x6413 -x6412 -x6411 -x6410 -x6409 -x6408 -x6407 -x6406 -x6405 -x6404 -x6403 -x6402 -x6401 -x6400
1487.41/1493.26 v -x6399 -x6397 -x6396 -x6395 -x6394 -x6393 -x6392 -x6391 -x6390 -x6389 -x6388 -x6387 -x6386 -x6385 -x6384 -x6383 -x6382 -x6381
1487.41/1493.26 v -x6380 -x6379 -x6378 -x6377 -x6376 -x6375 -x6374 -x6373 -x6372 -x6371 -x6370 -x6369 -x6368 -x6367 -x6366 -x6365 -x6364 -x6363
1487.41/1493.26 v -x6362 -x6361 -x6360 -x6359 -x6358 -x6357 -x6356 -x6355 -x6354 -x6353 -x6352 -x6351 -x6350 -x6349 -x6348 -x6347 -x6346 -x6345
1487.41/1493.26 v -x6344 -x6343 -x6342 -x6341 -x6340 -x6339 -x6338 -x6337 -x6336 -x6335 -x6334 -x6333 -x6332 -x6331 -x6330 -x6329 -x6328 -x6326
1487.41/1493.26 v -x6325 -x6324 -x6323 -x6322 -x6321 -x6320 -x6319 -x6318 -x6317 -x6316 -x6315 -x6314 -x6313 -x6312 -x6311 -x6310 -x6309
1487.41/1493.26 v -x6308 -x6307 -x6306 -x6305 -x6304 -x6303 -x6302 -x6301 -x6300 -x6299 -x6298 -x6297 -x6296 -x6295 -x6294 -x6293 -x6292 -x6291
1487.41/1493.26 v -x6290 -x6289 -x6288 -x6287 -x6286 -x6285 -x6284 -x6283 -x6282 -x6281 -x6280 -x6279 -x6278 -x6277 -x6276 -x6275 -x6274 -x6273
1487.41/1493.26 v -x6272 -x6271 -x6270 -x6269 -x6268 -x6267 -x6266 -x6265 -x6264 -x6263 -x6262 -x6261 -x6260 -x6259 -x6258 -x6257 -x6255 -x6254
1487.41/1493.26 v x6253 -x6252 -x6251 -x6250 -x6249 -x6248 -x6247 -x6246 -x6245 -x6244 -x6243 -x6242 -x6241 -x6240 -x6239 x6238 -x6237 -x6236
1487.41/1493.26 v -x6235 -x6234 -x6233 -x6232 -x6231 -x6230 -x6229 -x6228 -x6227 -x6226 -x6225 -x6224 -x6223 -x6222 -x6221 -x6220 -x6219 -x6218
1487.41/1493.26 v -x6217 -x6216 -x6215 -x6214 -x6213 -x6212 -x6211 -x6210 -x6209 -x6208 -x6207 -x6206 -x6205 -x6204 -x6203 -x6202 -x6201 -x6200
1487.41/1493.26 v -x6199 -x6198 -x6197 -x6196 -x6195 -x6194 -x6193 -x6192 -x6191 -x6190 -x6189 -x6188 -x6187 -x6186 -x6184 -x6183 -x6182 -x6181
1487.41/1493.26 v -x6180 -x6179 -x6178 -x6177 -x6176 -x6175 -x6174 -x6173 -x6172 -x6171 -x6170 -x6169 -x6168 -x6167 -x6166 -x6165 -x6164 -x6163
1487.41/1493.26 v -x6162 -x6161 -x6160 -x6159 -x6158 -x6157 -x6156 -x6155 -x6154 -x6153 -x6152 -x6151 -x6150 -x6149 -x6148 -x6147 -x6146
1487.41/1493.26 v -x6145 -x6144 -x6143 -x6142 -x6141 -x6140 -x6139 -x6138 -x6137 -x6136 -x6135 -x6134 -x6133 -x6132 -x6131 -x6130 -x6129 -x6128
1487.41/1493.26 v -x6127 -x6126 -x6125 -x6124 -x6123 -x6122 -x6121 -x6120 -x6119 -x6118 -x6117 -x6116 -x6115 -x6113 -x6112 -x6111 -x6110 -x6109
1487.41/1493.26 v -x6108 -x6107 -x6106 -x6105 -x6104 -x6103 -x6102 -x6101 -x6100 -x6099 -x6098 -x6097 -x6096 -x6095 -x6094 -x6093 -x6092 -x6091
1487.41/1493.26 v -x6090 -x6089 -x6088 -x6087 -x6086 -x6085 -x6084 -x6083 -x6082 -x6081 -x6080 -x6079 -x6078 -x6077 -x6076 -x6075 -x6074 -x6073
1487.41/1493.26 v -x6072 -x6071 -x6070 -x6069 -x6068 -x6067 -x6066 -x6065 -x6064 -x6063 -x6062 -x6061 -x6060 -x6059 -x6058 -x6057 -x6056 -x6055
1487.41/1493.26 v -x6054 -x6053 -x6052 -x6051 -x6050 -x6049 -x6048 -x6047 x6046 -x6045 -x6044 -x6042 -x6041 -x6040 -x6039 -x6038 -x6037 -x6036
1487.41/1493.26 v -x6035 -x6034 -x6033 -x6032 -x6031 -x6030 -x6029 x6028 x6027 -x6026 -x6025 -x6024 -x6023 -x6022 -x6021 -x6020 -x6019 -x6018
1487.41/1493.26 v -x6017 -x6016 -x6015 -x6014 -x6013 -x6012 -x6011 -x6010 -x6009 -x6008 -x6007 -x6006 -x6005 -x6004 -x6003 -x6002 -x6001 -x6000
1487.41/1493.26 v -x5999 -x5998 -x5997 -x5996 -x5995 -x5994 -x5993 -x5992 -x5991 -x5990 -x5989 -x5988 -x5987 -x5986 -x5985 -x5984 -x5983 -x5982
1487.41/1493.26 v -x5981 -x5980 -x5979 -x5978 -x5977 -x5976 -x5975 -x5974 -x5973 -x5971 -x5970 -x5969 -x5968 -x5967 -x5966 -x5965 -x5964
1487.41/1493.26 v -x5963 -x5962 -x5961 -x5960 -x5959 -x5958 -x5957 -x5956 -x5955 -x5954 -x5953 -x5952 -x5951 -x5950 -x5949 -x5948 -x5947 -x5946
1487.41/1493.26 v -x5945 -x5944 -x5943 -x5942 -x5941 -x5940 -x5939 -x5938 -x5937 -x5936 -x5935 -x5934 -x5933 -x5932 -x5931 -x5930 -x5929 -x5928
1487.41/1493.26 v -x5927 -x5926 -x5925 -x5924 -x5923 -x5922 -x5921 -x5920 -x5919 -x5918 -x5917 -x5916 -x5915 -x5914 -x5913 -x5912 -x5911 -x5910
1487.41/1493.26 v -x5909 -x5908 -x5907 -x5906 -x5905 -x5904 -x5903 -x5902 -x5900 -x5899 -x5898 -x5897 -x5896 -x5895 -x5894 -x5893 -x5892 -x5891
1487.41/1493.26 v -x5890 -x5889 -x5888 -x5887 -x5886 -x5885 -x5884 -x5883 -x5882 -x5881 -x5880 -x5879 -x5878 -x5877 -x5876 -x5875 -x5874 -x5873
1487.41/1493.26 v -x5872 -x5871 -x5870 -x5869 -x5868 -x5867 -x5866 -x5865 -x5864 -x5863 -x5862 -x5861 -x5860 -x5859 -x5858 -x5857 -x5856 -x5855
1487.41/1493.26 v -x5854 -x5853 -x5852 -x5851 -x5850 -x5849 -x5848 -x5847 -x5846 -x5845 -x5844 -x5843 -x5842 -x5841 -x5840 -x5839 -x5838
1487.41/1493.26 v -x5837 -x5836 -x5835 -x5834 -x5833 -x5832 -x5831 -x5829 -x5828 -x5827 -x5826 -x5825 -x5824 -x5823 -x5822 -x5821 -x5820 -x5819
1487.41/1493.26 v -x5818 -x5817 -x5816 -x5815 -x5814 -x5813 -x5812 -x5811 -x5740 -x5739 -x5738 -x5737 -x5736 -x5735 -x5734 -x5733 -x5732 -x5731
1487.41/1493.26 v -x5730 -x5729 -x5728 -x5727 -x5726 -x5725 -x5724 -x5723 -x5722 -x5721 -x5720 -x5719 -x5718 -x5717 -x5716 -x5715 -x5714 -x5713
1487.41/1493.26 v -x5712 -x5711 -x5710 -x5709 -x5708 -x5707 -x5706 -x5705 -x5704 -x5703 -x5702 -x5701 -x5700 -x5699 -x5698 -x5697 -x5696 -x5695
1487.41/1493.26 v -x5694 -x5693 -x5692 -x5691 -x5690 -x5688 -x5687 -x5686 -x5685 -x5684 -x5683 -x5682 -x5681 -x5680 -x5679 -x5678 -x5677 -x5676
1487.41/1493.26 v -x5675 -x5674 -x5673 -x5672 -x5671 -x5670 -x5669 -x5668 -x5667 -x5666 -x5665 -x5664 -x5663 -x5662 -x5661 -x5660 -x5659 -x5658
1487.41/1493.26 v -x5657 -x5656 -x5655 -x5654 -x5653 -x5652 -x5651 -x5650 -x5649 -x5648 -x5647 -x5646 -x5645 -x5644 -x5643 -x5642 -x5641
1487.41/1493.26 v -x5640 -x5639 -x5638 -x5637 -x5636 -x5635 -x5634 -x5633 -x5632 -x5631 -x5630 -x5629 -x5628 -x5627 -x5626 -x5625 -x5624 -x5623
1487.41/1493.26 v -x5622 -x5621 -x5620 -x5619 -x5617 -x5616 -x5615 -x5614 -x5613 -x5612 -x5611 -x5610 -x5609 -x5608 -x5607 -x5606 -x5605 -x5604
1487.41/1493.26 v -x5603 -x5602 -x5601 -x5600 -x5599 -x5598 -x5597 -x5596 -x5595 -x5594 -x5593 -x5592 -x5591 -x5590 -x5589 -x5588 -x5587 -x5586
1487.41/1493.26 v -x5585 -x5584 -x5583 -x5582 -x5581 -x5580 -x5579 -x5578 -x5577 -x5576 -x5575 -x5574 -x5573 -x5572 -x5571 -x5570 -x5569 -x5568
1487.41/1493.26 v -x5567 -x5566 -x5565 -x5564 -x5563 -x5562 -x5561 -x5560 -x5559 -x5558 -x5557 -x5556 -x5555 -x5554 -x5553 -x5552 -x5551 -x5550
1487.41/1493.26 v -x5549 -x5548 -x5546 -x5545 -x5544 -x5543 -x5542 -x5541 -x5540 -x5539 -x5538 -x5537 -x5536 -x5535 -x5534 -x5533 -x5532 -x5531
1487.41/1493.26 v -x5530 -x5529 -x5528 -x5527 -x5526 -x5525 -x5524 -x5523 -x5522 -x5521 -x5520 -x5519 -x5518 -x5517 -x5516 -x5515 -x5514
1487.41/1493.26 v -x5513 -x5512 -x5511 -x5510 -x5509 -x5508 -x5507 -x5506 -x5505 -x5504 -x5503 -x5502 -x5501 -x5500 -x5499 -x5498 -x5497 -x5496
1487.41/1493.26 v -x5495 -x5494 -x5493 -x5492 -x5491 -x5490 -x5489 -x5488 -x5487 -x5486 -x5485 -x5484 -x5483 -x5482 -x5481 -x5480 -x5479 -x5478
1487.41/1493.26 v -x5477 -x5475 -x5474 -x5473 -x5472 -x5471 -x5470 -x5469 -x5468 -x5467 -x5466 -x5465 -x5464 -x5463 -x5462 -x5461 -x5460 -x5459
1487.41/1493.26 v -x5458 -x5457 -x5456 -x5455 -x5454 -x5453 -x5452 -x5451 -x5450 -x5449 -x5448 -x5447 -x5446 -x5445 -x5444 -x5443 -x5442 -x5441
1487.41/1493.26 v -x5440 -x5439 -x5438 -x5437 -x5436 -x5435 -x5434 -x5433 -x5432 -x5431 -x5430 -x5429 -x5428 -x5427 -x5426 -x5425 -x5424 -x5423
1487.41/1493.26 v -x5422 -x5421 -x5420 -x5419 -x5418 -x5417 -x5416 -x5415 -x5414 -x5413 -x5412 -x5411 -x5410 -x5409 -x5408 -x5407 -x5406 -x5404
1487.41/1493.26 v -x5403 -x5402 -x5401 -x5400 -x5399 -x5398 -x5397 -x5396 -x5395 -x5394 -x5393 -x5392 -x5391 -x5390 -x5389 -x5388 -x5387
1487.41/1493.26 v -x5386 -x5385 -x5384 -x5383 -x5382 -x5381 -x5380 -x5379 -x5378 -x5377 -x5376 -x5375 -x5374 -x5373 -x5372 -x5371 -x5370 -x5369
1487.41/1493.26 v -x5368 -x5367 -x5366 -x5365 -x5364 -x5363 -x5362 -x5361 -x5360 -x5359 -x5358 -x5357 -x5356 -x5355 -x5354 -x5353 -x5352 -x5351
1487.41/1493.26 v -x5350 -x5349 -x5348 -x5347 -x5346 -x5345 -x5344 -x5343 -x5342 -x5341 -x5340 -x5339 -x5338 -x5337 -x5336 -x5335 -x5333 -x5332
1487.41/1493.26 v -x5331 -x5330 -x5329 -x5328 -x5327 -x5326 -x5325 -x5324 -x5323 -x5322 -x5321 -x5320 -x5319 -x5318 -x5317 -x5316 -x5315 -x5314
1487.41/1493.26 v -x5313 -x5312 -x5311 -x5310 -x5309 -x5308 -x5307 -x5306 -x5305 -x5304 -x5303 -x5302 -x5301 -x5300 -x5299 -x5298 -x5297 -x5296
1487.41/1493.26 v -x5295 -x5294 -x5293 -x5292 -x5291 -x5290 -x5289 -x5288 -x5287 -x5286 -x5285 -x5284 -x5283 -x5282 -x5281 -x5280 -x5279 -x5278
1487.41/1493.26 v -x5277 -x5276 -x5275 -x5274 -x5273 -x5272 -x5271 -x5270 -x5269 -x5268 -x5267 -x5266 -x5265 -x5264 -x5262 -x5261 -x5260
1487.41/1493.26 v -x5259 -x5258 -x5257 -x5256 -x5255 -x5254 -x5253 -x5252 -x5251 -x5250 -x5249 -x5248 -x5247 -x5246 -x5245 -x5244 -x5243 -x5242
1487.41/1493.26 v -x5241 -x5240 -x5239 -x5238 -x5237 -x5236 -x5235 -x5234 -x5233 -x5232 -x5231 -x5230 -x5229 -x5228 -x5227 -x5226 -x5225 -x5224
1487.41/1493.26 v -x5223 -x5222 -x5221 -x5220 -x5219 -x5218 -x5217 -x5216 -x5215 -x5214 -x5213 -x5212 -x5211 -x5210 -x5209 -x5208 -x5207 -x5206
1487.41/1493.26 v -x5205 -x5204 -x5203 -x5202 -x5201 -x5200 -x5199 -x5198 -x5197 -x5196 -x5195 -x5194 -x5193 -x5191 -x5190 -x5189 -x5188 -x5187
1487.41/1493.26 v -x5186 -x5185 -x5184 -x5183 -x5182 -x5181 -x5180 -x5179 -x5178 -x5177 -x5176 -x5175 -x5174 -x5173 -x5172 -x5171 -x5170 -x5169
1487.41/1493.26 v -x5168 -x5167 -x5166 -x5165 -x5164 -x5163 -x5162 -x5161 -x5160 -x5159 -x5158 -x5157 -x5156 -x5155 -x5154 -x5153 -x5152 -x5151
1487.41/1493.26 v -x5150 -x5149 -x5148 -x5147 -x5146 -x5145 -x5144 -x5143 -x5142 -x5141 -x5140 -x5139 -x5138 -x5137 -x5136 -x5135 -x5134
1487.41/1493.26 v -x5133 -x5132 -x5131 -x5130 -x5129 -x5128 -x5127 -x5126 -x5125 -x5124 -x5123 -x5122 -x5120 -x5119 -x5118 -x5117 -x5116 -x5115
1487.41/1493.26 v -x5114 -x5113 -x5112 -x5111 -x5110 -x5109 -x5108 -x5107 -x5106 -x5105 -x5104 -x5103 -x5102 -x5101 -x5100 -x5099 -x5098 -x5097
1487.41/1493.26 v -x5096 -x5095 -x5094 -x5093 -x5092 -x5091 -x5090 -x5089 -x5088 -x5087 -x5086 -x5085 -x5084 -x5083 -x5082 -x5081 -x5080 -x5079
1487.41/1493.26 v -x5078 -x5077 -x5076 -x5075 -x5074 -x5073 -x5072 -x5071 -x5070 -x5069 -x5068 -x5067 -x5066 -x5065 -x5064 -x5063 -x5062 -x5061
1487.41/1493.26 v -x5060 -x5059 -x5058 -x5057 -x5056 -x5055 -x5054 -x5053 -x5052 -x5051 -x5049 -x5048 -x5047 -x5046 -x5045 -x5044 -x5043 -x5042
1487.41/1493.26 v -x5041 -x9940 -x9939 -x9938 -x9937 -x9936 -x9935 -x9934 -x9933 -x9932 -x9931 -x9930 -x9929 -x9928 -x9927 -x9926 -x9925 -x9924
1487.41/1493.26 v -x9923 -x9922 -x9921 -x9920 -x9919 -x9918 -x9917 -x9916 -x9915 -x9914 -x9913 -x9912 -x9911 -x9910 -x9909 -x9908 -x9907
1487.41/1493.26 v -x9906 -x9905 -x9904 -x9903 -x9902 -x9901 -x9900 -x9899 -x9898 -x9897 -x9896 -x9895 -x9894 -x9893 -x9892 -x9891 -x9890 -x9889
1487.41/1493.26 v -x9888 -x9887 -x9886 -x9885 -x9884 -x9883 -x9882 -x9881 -x9880 -x9878 -x9877 -x9876 -x9875 -x9874 -x9873 -x9872 -x9871 -x9870
1487.41/1493.26 v -x9869 -x9868 -x9867 -x9866 -x9865 -x9864 -x9863 -x9862 -x9861 -x9860 -x9859 -x9858 -x9857 -x9856 -x9855 -x9854 -x9853 -x9852
1487.41/1493.26 v -x9851 -x9850 -x9849 -x9848 -x9847 -x9846 -x9845 -x9844 -x9843 -x9842 -x9841 -x9840 -x9839 -x9838 -x9837 -x9836 -x9835 -x9834
1487.41/1493.26 v -x9833 -x9832 -x9831 -x9830 -x9829 -x9828 -x9827 x9826 -x9825 -x9824 x9823 -x9822 -x9821 -x9820 -x9819 -x9818 -x9817 -x9816
1487.41/1493.26 v -x9815 -x9814 -x9813 -x9812 -x9811 -x9810 -x9809 x9807 -x9806 -x9805 -x9804 -x9803 -x9802 -x9801 -x9800 -x9799 -x9798 -x9797
1487.41/1493.26 v -x9796 -x9795 -x9794 -x9793 -x9792 -x9791 -x9790 -x9789 -x9788 -x9787 -x9786 -x9785 -x9784 -x9783 -x9782 -x9781 -x9780 -x9779
1487.41/1493.26 v -x9778 -x9777 -x9776 -x9775 -x9774 -x9773 -x9772 -x9771 -x9770 -x9769 -x9768 -x9767 -x9766 -x9765 -x9764 -x9763 -x9762 -x9761
1487.41/1493.26 v -x9760 -x9759 -x9758 -x9757 -x9756 -x9755 -x9754 x9753 -x9752 -x9751 -x9750 -x9749 -x9748 -x9747 -x9746 -x9745 -x9744 -x9743
1487.41/1493.26 v -x9742 -x9741 -x9740 -x9739 x9738 -x9736 -x9735 -x9734 -x9733 -x9732 -x9731 -x9660 -x9659 -x9658 -x9657 -x9656 -x9655 -x9654
1487.41/1493.26 v -x9653 -x9652 -x9651 -x9650 -x9649 -x9648 -x9647 -x9646 -x9645 -x9644 -x9643 -x9642 -x9641 -x9640 -x9639 -x9638 -x9637 -x9636
1487.41/1493.26 v -x9635 -x9634 -x9633 -x9632 -x9631 -x9630 -x9629 -x9628 -x9627 -x9626 -x9625 -x9624 -x9623 -x9622 -x9621 -x9620 -x9619
1487.41/1493.26 v -x9618 -x9617 -x9616 -x9615 -x9614 -x9613 -x9612 -x9611 -x9610 -x9609 -x9608 -x9607 -x9606 -x9605 -x9604 -x9603 -x9602 -x9601
1487.41/1493.26 v -x9600 -x9599 -x9598 -x9597 -x9595 -x9594 -x9593 -x9592 -x9591 -x8890 -x8889 -x8888 -x8887 -x8886 -x8885 -x8884 -x8883 -x8882
1487.41/1493.26 v -x8881 -x8880 -x8879 -x8878 -x8877 -x8876 -x8875 -x8874 -x8873 -x8872 -x8871 -x8870 -x8869 -x8868 -x8867 -x8866 -x8865 -x8864
1487.41/1493.26 v -x8863 -x8862 -x8861 -x8860 -x8859 -x8858 -x8857 -x8856 -x8855 -x8854 -x8853 -x8852 -x8851 -x8850 -x8849 -x8848 -x8847 -x8846
1487.41/1493.26 v -x8845 -x8844 -x8843 -x8842 -x8841 -x8840 -x8839 -x8838 -x8837 -x8836 -x8835 -x8834 -x8833 -x8832 -x8831 -x8830 -x8829 -x8828
1487.41/1493.26 v -x8827 -x8826 -x8824 -x8823 -x8822 -x8821 -x8120 -x8119 -x8118 -x8117 -x8116 -x8115 -x8114 -x8113 -x8112 -x8111 -x8110 -x8109
1487.41/1493.26 v -x8108 -x8107 -x8106 -x8105 -x8104 -x8103 -x8102 -x8101 -x8100 -x8099 -x8098 -x8097 -x8096 -x8095 -x8094 -x8093 -x8092
1487.41/1493.26 v -x8091 -x8090 -x8089 -x8088 -x8087 -x8086 -x8085 -x8084 -x8083 -x8082 -x8081 -x8080 -x8079 -x8078 -x8077 -x8076 -x8075 -x8074
1487.41/1493.26 v -x8073 -x8072 -x8071 -x8070 -x8069 -x8068 -x8067 -x8066 -x8065 -x8064 -x8063 -x8062 -x8061 -x8060 -x8059 -x8058 -x8057 -x8056
1487.41/1493.26 v -x8055 -x8053 -x8052 -x8051 -x7350 -x7349 -x7348 -x7347 -x7346 -x7345 -x7344 -x7343 -x7342 -x7341 -x7340 -x7339 -x7338 -x7337
1487.41/1493.26 v -x7336 -x7335 -x7334 -x7333 -x7332 -x7331 -x7330 -x7329 -x7328 -x7327 -x7326 -x7325 -x7324 -x7323 -x7322 -x7321 -x7320 -x7319
1487.41/1493.26 v -x7318 -x7317 -x7316 -x7315 -x7314 -x7313 -x7312 -x7311 -x7310 -x7309 -x7308 -x7307 -x7306 -x7305 -x7304 -x7303 -x7302 -x7301
1487.41/1493.26 v -x7300 -x7299 -x7298 -x7297 -x7296 -x7295 -x7294 -x7293 -x7292 -x7291 -x7290 -x7289 -x7288 -x7287 -x7286 -x7285 -x7284 -x7282
1487.41/1493.26 v -x7281 -x6580 -x6579 -x6578 -x6577 -x6576 -x6575 -x6574 -x6573 -x6572 -x6571 -x6570 -x6569 -x6568 -x6567 -x6566 -x6565
1487.41/1493.26 v -x6564 -x6563 -x6562 -x6561 -x6560 -x6559 -x6558 -x6557 -x6556 -x6555 -x6554 -x6553 -x6552 -x6551 -x6550 -x6549 -x6548 -x6547
1487.41/1493.26 v -x6546 -x6545 -x6544 -x6543 -x6542 -x6541 -x6540 -x6539 -x6538 -x6537 -x6536 -x6535 -x6534 -x6533 -x6532 -x6531 -x6530 -x6529
1487.41/1493.26 v -x6528 -x6527 -x6526 -x6525 -x6524 -x6523 -x6522 -x6521 -x6520 -x6519 -x6518 -x6517 -x6516 -x6515 -x6514 -x6513 -x6511 -x5810
1487.41/1493.26 v -x5809 -x5808 -x5807 -x5806 -x5805 -x5804 -x5803 -x5802 -x5801 -x5800 -x5799 -x5798 -x5797 -x5796 -x5795 -x5794 -x5793 -x5792
1487.41/1493.26 v -x5791 -x5790 -x5789 -x5788 -x5787 -x5786 -x5785 -x5784 -x5783 -x5782 -x5781 -x5780 -x5779 -x5778 -x5777 -x5776 -x5775 -x5774
1487.41/1493.26 v -x5773 -x5772 -x5771 -x5770 -x5769 -x5768 -x5767 -x5766 -x5765 -x5764 -x5763 -x5762 -x5761 -x5760 -x5759 -x5758 -x5757 -x5756
1487.41/1493.26 v -x5755 -x5754 -x5753 -x5752 -x5751 -x5750 -x5749 -x5748 -x5747 -x5746 -x5745 -x5744 -x5743 -x5742 -x5040 -x5039 -x5038
1487.41/1493.26 v -x5037 -x5036 -x5035 -x5034 -x5033 -x5032 -x5031 -x5030 -x5029 -x5028 -x5027 -x5026 -x5025 -x5024 -x5023 -x5022 -x5021 -x5020
1487.41/1493.26 v -x5019 -x5018 -x5017 -x5016 -x5015 -x5014 -x5013 -x5012 -x5011 -x5010 -x5009 -x5008 -x5007 -x5006 -x5005 -x5004 -x5003 -x5002
1487.41/1493.26 v -x5001 -x5000 -x4999 -x4998 -x4997 x4996 -x4995 -x4994 x4993 -x4992 -x4991 -x4990 -x4989 -x4988 -x4987 -x4986 -x4985 -x4984
1487.41/1493.26 v -x4983 -x4982 -x4981 -x4980 -x4979 -x4978 x4977 -x4976 -x4975 -x4974 -x4973 -x4972 -x4971 -x4759 -x4758 -x4757 -x4756 -x4755
1487.41/1493.26 v -x4754 -x4753 -x4752 -x4751 -x4750 -x4749 -x4748 -x4747 -x4746 -x4745 -x4744 -x4743 -x4742 -x4741 -x4740 -x4739 -x4738 -x4737
1487.41/1493.26 v -x4736 -x4735 -x4734 -x4733 -x4732 -x4731 -x4730 -x4729 -x4728 -x4727 -x4726 -x4725 -x4724 -x4723 -x4722 -x4721 -x4720 -x4719
1487.41/1493.26 v -x4718 -x4717 -x4716 -x4715 -x4714 -x4713 -x4712 -x4711 -x4710 -x4709 -x4708 -x4707 -x4706 -x4705 -x4704 -x4703 -x4702 -x4701
1487.41/1493.26 v -x4700 -x4699 -x4698 x4697 -x4696 -x4695 -x4694 -x4693 -x4692 -x4691 -x4620 -x4618 -x4617 -x4616 -x4615 -x4614 -x4613 -x4612
1487.41/1493.26 v -x4611 -x4610 -x4609 -x4608 -x4607 -x4606 -x4605 -x4604 -x4603 -x4602 -x4601 -x4600 -x4599 -x4598 -x4597 -x4596 -x4595 -x4594
1487.41/1493.26 v -x4593 -x4592 -x4591 -x4590 -x4589 -x4588 -x4587 -x4586 -x4585 -x4584 -x4583 -x4582 -x4581 -x4580 -x4579 -x4578 -x4577 x4576
1487.41/1493.26 v -x4575 -x4574 -x4573 -x4572 -x4571 -x4570 -x4569 -x4568 -x4567 -x4566 -x4565 -x4564 -x4563 -x4562 -x4561 -x4560 -x4559 -x4558
1487.41/1493.26 v -x4557 -x4556 -x4555 -x4554 -x4553 -x4552 -x4551 -x4550 -x4549 -x4547 -x4546 -x4545 -x4544 -x4543 -x4542 -x4541 -x4540
1487.41/1493.26 v -x4539 -x4538 -x4537 -x4536 -x4535 -x4534 -x4533 -x4532 -x4531 -x4530 -x4529 -x4528 -x4527 -x4526 -x4525 -x4524 -x4523 -x4522
1487.41/1493.26 v -x4521 -x4520 -x4519 -x4518 -x4517 -x4516 -x4515 -x4514 -x4513 -x4512 -x4511 -x4510 -x4509 -x4508 -x4507 -x4506 -x4505 -x4504
1487.41/1493.26 v -x4503 -x4502 -x4501 -x4500 -x4499 -x4498 -x4497 -x4496 -x4495 -x4494 -x4493 -x4492 -x4491 -x4490 -x4489 -x4488 x4487 -x4486
1487.41/1493.26 v -x4485 -x4484 -x4483 -x4482 -x4481 -x4480 -x4479 -x4478 -x4476 -x4475 -x4474 -x4473 -x4472 -x4471 -x4470 -x4469 -x4468 -x4467
1487.41/1493.26 v -x4466 -x4465 -x4464 -x4463 -x4462 -x4461 -x4460 -x4459 -x4458 -x4457 -x4456 -x4455 -x4454 -x4453 -x4452 -x4451 -x4450 -x4449
1487.41/1493.26 v -x4448 -x4447 -x4446 -x4445 -x4444 -x4443 -x4442 -x4441 -x4440 -x4439 -x4438 -x4437 -x4436 -x4435 -x4434 x4433 -x4432 -x4431
1487.41/1493.26 v -x4430 -x4429 -x4428 -x4427 -x4426 -x4425 -x4424 -x4423 -x4422 -x4421 -x4420 -x4419 -x4418 -x4417 -x4416 -x4415 -x4414 -x4413
1487.41/1493.26 v -x4412 -x4411 -x4410 -x4409 -x4408 -x4407 -x4405 -x4404 -x4403 -x4402 -x4401 -x4400 -x4399 -x4398 -x4397 -x4396 -x4395 -x4394
1487.41/1493.26 v -x4393 -x4392 -x4391 -x4390 -x4389 -x4388 -x4387 -x4386 -x4385 -x4384 -x4383 -x4382 -x4381 -x4380 -x4379 -x4378 -x4377
1487.41/1493.26 v -x4376 -x4375 -x4374 -x4373 -x4372 -x4371 -x4370 -x4369 -x4368 -x4367 -x4366 -x4365 -x4364 x4363 -x4362 -x4361 -x4360 -x4359
1487.41/1493.26 v -x4358 -x4357 -x4356 -x4355 -x4354 -x4353 -x4352 -x4351 -x4350 -x4349 -x4348 -x4347 -x4346 -x4345 -x4344 -x4343 -x4342 -x4341
1487.41/1493.26 v -x4340 -x4339 -x4338 -x4337 -x4336 -x4334 -x4333 -x4332 -x4331 -x4330 -x4329 -x4328 -x4327 -x4326 -x4325 -x4324 -x4323 -x4322
1487.41/1493.26 v -x4321 -x4320 -x4319 -x4318 -x4317 -x4316 -x4315 -x4314 -x4313 -x4312 -x4311 -x4310 -x4309 -x4308 -x4307 -x4306 -x4305 -x4304
1487.41/1493.26 v -x4303 -x4302 -x4301 -x4300 -x4299 -x4298 -x4297 -x4296 -x4295 -x4294 -x4293 -x4292 -x4291 -x4290 -x4289 -x4288 -x4287 -x4286
1487.41/1493.26 v -x4285 -x4284 -x4283 -x4282 -x4281 -x4280 -x4279 -x4278 x4277 -x4276 -x4275 -x4274 -x4273 -x4272 -x4271 -x4270 -x4269 -x4268
1487.41/1493.26 v -x4267 -x4266 -x4265 -x4263 -x4262 -x4261 -x4260 -x4259 -x4258 -x4257 -x4256 -x4255 -x4254 -x4253 -x4252 -x4251 -x4250 -x4249
1487.41/1493.26 v -x4248 -x4247 -x4246 -x4245 -x4244 -x4243 -x4242 -x4241 -x4240 -x4239 -x4238 -x4237 -x4236 -x4235 -x4234 -x4233 -x4232 -x4231
1487.41/1493.26 v -x4230 -x4229 -x4228 -x4227 -x4226 -x4225 -x4224 -x4223 -x4222 -x4221 -x4220 -x4219 -x4218 -x4217 -x4216 -x4215 -x4214
1487.41/1493.26 v -x4213 -x4212 -x4211 -x4210 -x4209 -x4208 x4207 -x4206 -x4205 -x4204 -x4203 -x4202 -x4201 -x4200 -x4199 -x4198 -x4197 -x4196
1487.41/1493.26 v -x4195 -x4194 -x4192 -x4191 -x4190 -x4189 -x4188 -x4187 -x4186 -x4185 -x4184 -x4183 -x4182 -x4181 -x4180 -x4179 -x4178 -x4177
1487.41/1493.26 v -x4176 -x4175 -x4174 -x4173 -x4172 -x4171 -x4170 -x4169 -x4168 -x4167 -x4166 -x4165 -x4164 -x4163 -x4162 -x4161 -x4160 -x4159
1487.41/1493.26 v -x4158 -x4157 x4156 -x4155 -x4154 -x4153 -x4152 -x4151 -x4150 -x4149 -x4148 -x4147 -x4146 -x4145 -x4144 -x4143 -x4142 -x4141
1487.41/1493.26 v -x4140 -x4139 -x4138 -x4137 -x4136 -x4135 -x4134 -x4133 -x4132 -x4131 -x4130 -x4129 -x4128 -x4127 -x4126 -x4125 -x4124 -x4123
1487.41/1493.26 v -x4121 -x4120 -x4119 -x4118 -x4117 -x4116 -x4115 -x4114 -x4113 -x4112 -x4111 -x4110 -x4109 -x4108 -x4107 -x4106 -x4105 -x4104
1487.41/1493.26 v -x4103 -x4102 -x4101 -x4100 -x4099 -x4098 -x4097 -x4096 -x4095 -x4094 -x4093 -x4092 -x4091 -x4090 -x4089 -x4088 -x4087 -x4086
1487.41/1493.26 v -x4085 -x4084 x4083 -x4082 -x4081 -x4080 -x4079 -x4078 -x4077 -x4076 -x4075 -x4074 -x4073 -x4072 -x4071 -x4070 -x4069 -x4068
1487.41/1493.26 v -x4067 -x4066 -x4065 -x4064 -x4063 -x4062 -x4061 -x4060 -x4059 -x4058 -x4057 -x4056 -x4055 -x4054 -x4053 -x4052 -x4050 -x4049
1487.41/1493.26 v -x4048 -x4047 -x4046 -x4045 -x4044 -x4043 -x4042 -x4041 -x4040 -x4039 -x4038 -x4037 -x4036 -x4035 -x4034 -x4033 -x4032
1487.41/1493.26 v -x4031 -x4030 -x4029 -x4028 -x4027 -x4026 -x4025 -x4024 -x4023 -x4022 -x4021 -x4020 -x4019 -x4018 -x4017 -x4016 -x4015 -x4014
1487.41/1493.26 v -x4013 -x4012 -x4011 -x4010 -x4009 -x4008 -x4007 -x4006 -x4005 -x4004 -x4003 -x4002 -x4001 -x4000 -x3999 -x3998 x3997 -x3996
1487.41/1493.26 v -x3995 -x3994 -x3993 -x3992 -x3991 -x3990 -x3989 -x3988 -x3987 -x3986 -x3985 -x3984 -x3983 -x3982 -x3981 -x3979 -x3978 -x3977
1487.41/1493.26 v -x3976 -x3975 -x3974 -x3973 -x3972 -x3971 -x3970 -x3969 -x3968 -x3967 -x3966 -x3965 -x3964 -x3963 -x3962 -x3961 -x3960 -x3959
1487.41/1493.26 v -x3958 -x3957 -x3956 -x3955 -x3954 -x3953 -x3952 -x3951 -x3950 -x3949 -x3948 -x3947 x3946 -x3945 -x3944 -x3943 -x3942 -x3941
1487.41/1493.26 v -x3940 -x3939 -x3938 -x3937 -x3936 -x3935 -x3934 -x3933 -x3932 -x3931 -x3930 -x3929 -x3928 -x3927 -x3926 -x3925 -x3924 -x3923
1487.41/1493.26 v -x3922 -x3921 -x3850 -x3849 -x3848 -x3847 -x3846 -x3845 -x3844 -x3843 -x3842 -x3841 -x3840 -x3838 -x3837 -x3836 -x3835 -x3834
1487.41/1493.26 v -x3833 -x3832 -x3831 -x3830 -x3829 -x3828 -x3827 -x3826 -x3825 -x3824 -x3823 -x3822 -x3821 -x3820 -x3819 -x3818 -x3817 -x3816
1487.41/1493.26 v -x3815 -x3814 -x3813 -x3812 -x3811 -x3810 -x3809 -x3808 -x3807 x3806 -x3805 -x3804 -x3803 -x3802 -x3801 -x3800 -x3799 -x3798
1487.41/1493.26 v -x3797 -x3796 -x3795 -x3794 -x3793 -x3792 -x3791 -x3790 -x3789 -x3788 -x3787 -x3786 -x3785 -x3784 -x3783 -x3782 -x3781
1487.41/1493.26 v -x3780 -x3779 -x3778 -x3777 -x3776 -x3775 -x3774 -x3773 -x3772 -x3771 -x3770 -x3769 -x3767 -x3766 -x3765 -x3764 -x3763 -x3762
1487.41/1493.26 v -x3761 -x3760 -x3759 -x3758 -x3757 -x3756 -x3755 -x3754 -x3753 -x3752 -x3751 -x3750 -x3749 -x3748 -x3747 -x3746 -x3745 -x3744
1487.41/1493.26 v -x3743 -x3742 -x3741 -x3740 -x3739 -x3738 -x3737 -x3736 -x3735 -x3734 -x3733 -x3732 -x3731 -x3730 -x3729 -x3728 -x3727 -x3726
1487.41/1493.26 v -x3725 -x3724 -x3723 -x3722 -x3721 -x3720 -x3719 -x3718 x3717 -x3716 -x3715 -x3714 -x3713 -x3712 -x3711 -x3710 -x3709 -x3708
1487.41/1493.26 v -x3707 -x3706 -x3705 -x3704 -x3703 -x3702 -x3701 -x3700 -x3699 -x3698 -x3696 -x3695 -x3694 -x3693 -x3692 -x3691 -x3690 -x3689
1487.41/1493.26 v -x3688 -x3687 -x3686 -x3685 -x3684 -x3683 -x3682 -x3681 -x3680 -x3679 -x3678 -x3677 -x3676 -x3675 -x3674 -x3673 -x3672 -x3671
1487.41/1493.26 v -x3670 -x3669 -x3668 -x3667 -x3666 -x3665 -x3664 x3663 -x3662 -x3661 -x3660 -x3659 -x3658 -x3657 -x3656 -x3655 -x3654 -x3653
1487.41/1493.26 v -x3652 -x3651 -x3650 -x3649 -x3648 -x3647 -x3646 -x3645 -x3644 -x3643 -x3642 -x3641 -x3640 -x3639 -x3638 -x3637 -x3636 -x3635
1487.41/1493.26 v -x3634 -x3633 -x3632 -x3631 -x3630 -x3629 -x3628 -x3627 -x3625 -x3624 -x3623 -x3622 -x3621 -x3620 -x3619 -x3618 -x3617
1487.41/1493.26 v -x3616 -x3615 -x3614 -x3613 -x3612 -x3611 -x3610 -x3609 -x3608 -x3607 -x3606 -x3605 -x3604 -x3603 -x3602 -x3601 -x3600 -x3599
1487.41/1493.26 v -x3598 -x3597 x3596 -x3595 -x3594 -x3593 -x3592 -x3591 -x3590 -x3589 -x3588 -x3587 -x3586 -x3585 -x3584 -x3583 -x3582 -x3581
1487.41/1493.26 v -x3580 -x3579 -x3578 -x3577 -x3576 -x3575 -x3574 -x3573 -x3572 -x3571 -x3570 -x3569 -x3568 -x3567 -x3566 -x3565 -x3564 -x3563
1487.41/1493.26 v -x3562 -x3561 -x3560 -x3559 -x3558 -x3557 -x3556 -x3554 -x3553 -x3552 -x3551 -x3550 -x3549 -x3548 -x3547 -x3546 -x3545 -x3544
1487.41/1493.26 v -x3543 -x3542 -x3541 -x3540 -x3539 -x3538 -x3537 -x3536 -x3535 -x3534 -x3533 -x3532 -x3531 -x3530 -x3529 -x3528 -x3527 x3526
1487.41/1493.26 v -x3525 -x3524 -x3523 -x3522 -x3521 -x3520 -x3519 -x3518 -x3517 -x3516 -x3515 -x3514 -x3513 -x3512 -x3511 -x3510 -x3509 -x3508
1487.41/1493.26 v -x3507 -x3506 -x3505 -x3504 -x3503 -x3502 -x3501 -x3500 -x3499 -x3498 -x3497 -x3496 -x3495 -x3494 -x3493 -x3492 -x3491 -x3490
1487.41/1493.26 v -x3489 -x3488 -x3487 -x3486 -x3485 -x3483 -x3482 -x3481 -x3480 -x3479 -x3478 -x3477 -x3476 -x3475 -x3474 -x3473 -x3472 -x3471
1487.41/1493.26 v -x3470 -x3469 -x3468 -x3467 -x3466 -x3465 -x3464 -x3463 -x3462 -x3461 -x3460 -x3459 -x3458 -x3457 -x3456 -x3455 -x3454
1487.41/1493.26 v -x3453 -x3452 -x3451 -x3450 -x3449 -x3448 -x3447 -x3446 -x3445 -x3444 -x3443 -x3442 -x3441 -x3440 -x3439 -x3438 x3437 -x3436
1487.41/1493.26 v -x3435 -x3434 -x3433 -x3432 -x3431 -x3430 -x3429 -x3428 -x3427 -x3426 -x3425 -x3424 -x3423 -x3422 -x3421 -x3420 -x3419 -x3418
1487.41/1493.26 v -x3417 -x3416 -x3415 -x3414 -x3412 -x3411 -x3410 -x3409 -x3408 -x3407 -x3406 -x3405 -x3404 -x3403 -x3402 -x3401 -x3400 -x3399
1487.41/1493.26 v -x3398 -x3397 -x3396 -x3395 -x3394 -x3393 -x3392 -x3391 -x3390 -x3389 -x3388 -x3387 x3386 -x3385 -x3384 -x3383 -x3382 -x3381
1487.41/1493.26 v -x3380 -x3379 -x3378 -x3377 -x3376 -x3375 -x3374 -x3373 -x3372 -x3371 -x3370 -x3369 -x3368 -x3367 -x3366 -x3365 -x3364 -x3363
1487.41/1493.26 v -x3362 -x3361 -x3360 -x3359 -x3358 -x3357 -x3356 -x3355 -x3354 -x3353 -x3352 -x3351 -x3350 -x3349 -x3348 -x3347 -x3346 -x3345
1487.41/1493.26 v -x3344 -x3343 -x3341 -x3340 -x3339 -x3338 -x3337 -x3336 -x3335 -x3334 -x3333 -x3332 -x3331 -x3330 -x3329 -x3328 -x3327 -x3326
1487.41/1493.26 v -x3325 -x3324 -x3323 -x3322 -x3321 -x3320 -x3319 -x3318 -x3317 -x3316 -x3315 -x3314 -x3313 -x3312 -x3311 -x3310 -x3309 -x3308
1487.41/1493.26 v -x3307 -x3306 -x3305 -x3304 -x3303 -x3302 -x3301 -x3300 -x3299 -x3298 x3297 -x3296 -x3295 -x3294 -x3293 -x3292 -x3291 -x3290
1487.41/1493.26 v -x3289 -x3288 -x3287 -x3286 -x3285 -x3284 -x3283 -x3282 -x3281 -x3280 -x3279 -x3278 -x3277 -x3276 -x3275 -x3274 -x3273
1487.41/1493.26 v -x3272 -x3270 -x3269 -x3268 -x3267 -x3266 -x3265 -x3264 -x3263 -x3262 -x3261 -x3260 -x3259 -x3258 -x3257 -x3256 -x3255 -x3254
1487.41/1493.26 v -x3253 -x3252 -x3251 -x3250 -x3249 -x3248 -x3247 x3246 -x3245 -x3244 -x3243 -x3242 -x3241 -x3240 -x3239 -x3238 -x3237 -x3236
1487.41/1493.26 v -x3235 -x3234 -x3233 -x3232 -x3231 -x3230 -x3229 -x3228 -x3227 -x3226 -x3225 -x3224 -x3223 -x3222 -x3221 -x3220 -x3219 -x3218
1487.41/1493.26 v -x3217 -x3216 -x3215 -x3214 -x3213 -x3212 -x3211 -x3210 -x3209 -x3208 -x3207 -x3206 -x3205 -x3204 -x3203 -x3202 -x3201 -x3199
1487.41/1493.26 v -x3198 -x3197 -x3196 -x3195 -x3194 -x3193 -x3192 -x3191 -x3190 -x3189 -x3188 -x3187 -x3186 -x3185 -x3184 -x3183 -x3182 -x3181
1487.41/1493.26 v -x3180 -x3179 -x3178 -x3177 -x3176 -x3175 -x3174 x3173 -x3172 -x3171 -x3170 -x3169 -x3168 -x3167 -x3166 -x3165 -x3164 -x3163
1487.41/1493.26 v -x3162 -x3161 -x3160 -x3159 -x3158 -x3157 -x3156 -x3155 -x3154 -x3153 -x3152 -x3151 -x3080 -x3079 -x3078 -x3077 -x3076 -x3075
1487.41/1493.26 v -x3074 -x3073 -x3072 -x3071 -x3070 -x3069 -x3068 -x3067 -x3066 -x3065 -x3064 -x3063 -x3062 -x3061 -x3060 -x3058 -x3057 -x3056
1487.41/1493.26 v -x3055 -x3054 -x3053 -x3052 -x3051 -x3050 -x3049 -x3048 -x3047 -x3046 -x3045 -x3044 -x3043 -x3042 -x3041 -x3040 -x3039
1487.41/1493.26 v -x3038 -x3037 -x3036 -x3035 -x3034 x3033 -x3032 -x3031 -x3030 -x3029 -x3028 -x3027 -x3026 -x3025 -x3024 -x3023 -x3022 -x3021
1487.41/1493.26 v -x3020 -x3019 -x3018 -x3017 -x3016 -x3015 -x3014 -x3013 -x3012 -x3011 -x3010 -x3009 -x3008 -x3007 -x3006 -x3005 -x3004 -x3003
1487.41/1493.26 v -x3002 -x3001 -x3000 -x2999 -x2998 -x2997 -x2996 -x2995 -x2994 -x2993 -x2992 -x2991 -x2990 -x2989 -x2987 -x2986 -x2985 -x2984
1487.41/1493.26 v -x2983 -x2982 -x2981 -x2980 -x2979 -x2978 -x2977 -x2976 -x2975 -x2974 -x2973 -x2972 -x2971 -x2970 -x2969 -x2968 -x2967 -x2966
1487.41/1493.26 v -x2965 -x2964 -x2963 -x2962 -x2961 -x2960 -x2959 -x2958 -x2957 -x2956 -x2955 -x2954 -x2953 -x2952 -x2951 -x2950 -x2949 -x2948
1487.41/1493.26 v x2947 -x2946 -x2945 -x2944 -x2943 -x2942 -x2941 -x2940 -x2939 -x2938 -x2937 -x2936 -x2935 -x2934 -x2933 -x2932 -x2931 -x2930
1487.41/1493.26 v -x2929 -x2928 -x2927 -x2926 -x2925 -x2924 -x2923 -x2922 -x2921 -x2920 -x2919 -x2918 -x2916 -x2915 -x2914 -x2913 -x2912 -x2911
1487.41/1493.26 v -x2910 -x2909 -x2908 -x2907 -x2906 -x2905 -x2904 -x2903 -x2902 -x2901 -x2900 -x2899 -x2898 -x2897 x2896 -x2895 -x2894 -x2893
1487.41/1493.26 v -x2892 -x2891 -x2890 -x2889 -x2888 -x2887 -x2886 -x2885 -x2884 -x2883 -x2882 -x2881 -x2880 -x2879 -x2878 -x2877 -x2876 -x2875
1487.41/1493.26 v -x2874 -x2873 -x2872 -x2871 -x2870 -x2869 -x2868 -x2867 -x2866 -x2865 -x2864 -x2863 -x2862 -x2861 -x2860 -x2859 -x2858
1487.41/1493.26 v -x2857 -x2856 -x2855 -x2854 -x2853 -x2852 -x2851 -x2850 -x2849 -x2848 -x2847 -x2845 -x2844 -x2843 -x2842 -x2841 -x2840 -x2839
1487.41/1493.26 v -x2838 -x2837 -x2836 -x2835 -x2834 -x2833 -x2832 -x2831 -x2830 -x2829 -x2828 -x2827 -x2826 -x2825 -x2824 x2823 -x2822 -x2821
1487.41/1493.26 v -x2820 -x2819 -x2818 -x2817 -x2816 -x2815 -x2814 -x2813 -x2812 -x2811 -x2810 -x2809 -x2808 -x2807 -x2806 -x2805 -x2804 -x2803
1487.41/1493.26 v -x2802 -x2801 -x2800 -x2799 -x2798 -x2797 -x2796 -x2795 -x2794 -x2793 -x2792 -x2791 -x2790 -x2789 -x2788 -x2787 -x2786 -x2785
1487.41/1493.26 v -x2784 -x2783 -x2782 -x2781 -x2780 -x2779 -x2778 -x2777 -x2776 -x2774 -x2773 -x2772 -x2771 -x2770 -x2769 -x2768 -x2767 -x2766
1487.41/1493.26 v -x2765 -x2764 -x2763 -x2762 -x2761 -x2760 -x2759 -x2758 -x2757 -x2756 -x2755 -x2754 x2753 -x2752 -x2751 -x2750 -x2749 -x2748
1487.41/1493.26 v -x2747 -x2746 -x2745 -x2744 -x2743 -x2742 -x2741 -x2740 -x2739 -x2738 -x2737 -x2736 -x2735 -x2734 -x2733 -x2732 -x2731 -x2730
1487.41/1493.26 v -x2729 -x2728 -x2727 -x2726 -x2725 -x2724 -x2723 -x2722 -x2721 -x2720 -x2719 -x2718 -x2717 -x2716 -x2715 -x2714 -x2713 -x2712
1487.41/1493.26 v -x2711 -x2710 -x2709 -x2708 -x2707 -x2706 -x2705 -x2703 -x2702 -x2701 -x2700 -x2699 -x2698 -x2697 -x2696 -x2695 -x2694
1487.41/1493.26 v -x2693 -x2692 -x2691 -x2690 -x2689 -x2688 -x2687 -x2686 -x2685 -x2684 x2683 -x2682 -x2681 -x2680 -x2679 -x2678 -x2677 -x2676
1487.41/1493.26 v -x2675 -x2674 -x2673 -x2672 -x2671 -x2670 -x2669 -x2668 -x2667 -x2666 -x2665 -x2664 -x2663 -x2662 -x2661 -x2660 -x2659 -x2658
1487.41/1493.26 v -x2657 -x2656 -x2655 -x2654 -x2653 -x2652 -x2651 -x2650 -x2649 -x2648 -x2647 -x2646 -x2645 -x2644 -x2643 -x2642 -x2641 -x2640
1487.41/1493.26 v -x2639 -x2638 -x2637 -x2636 -x2635 -x2634 -x2632 -x2631 -x2630 -x2629 -x2628 -x2627 -x2626 -x2625 -x2624 -x2623 -x2622 -x2621
1487.41/1493.26 v -x2620 -x2619 -x2618 -x2617 x2616 -x2615 -x2614 -x2613 -x2612 -x2611 -x2610 -x2609 -x2608 -x2607 -x2606 -x2605 -x2604 -x2603
1487.41/1493.26 v -x2602 -x2601 -x2600 -x2599 -x2598 -x2597 -x2596 -x2595 -x2594 -x2593 -x2592 -x2591 -x2590 -x2589 -x2588 -x2587 -x2586 -x2585
1487.41/1493.26 v -x2584 -x2583 -x2582 -x2581 -x2580 -x2579 -x2578 -x2577 -x2576 -x2575 -x2574 -x2573 -x2572 -x2571 -x2570 -x2569 -x2568 -x2567
1487.41/1493.26 v -x2566 -x2565 -x2564 -x2563 -x2561 -x2560 -x2559 -x2558 -x2557 -x2556 -x2555 -x2554 -x2553 -x2552 -x2551 -x2550 -x2549 -x2548
1487.41/1493.26 v -x2547 x2546 -x2545 -x2544 -x2543 -x2542 -x2541 -x2540 -x2539 -x2538 -x2537 -x2536 -x2535 -x2534 -x2533 -x2532 -x2531 -x2530
1487.41/1493.26 v -x2529 -x2528 -x2527 -x2526 -x2525 -x2524 -x2523 -x2522 -x2521 -x2520 -x2519 -x2518 -x2517 -x2516 -x2515 -x2514 -x2513
1487.41/1493.26 v -x2512 -x2511 -x2510 -x2509 -x2508 -x2507 -x2506 -x2505 -x2504 -x2503 -x2502 -x2501 -x2500 -x2499 -x2498 -x2497 -x2496 -x2495
1487.41/1493.26 v -x2494 -x2493 -x2492 -x2490 -x2489 -x2488 -x2487 -x2486 -x2485 -x2484 -x2483 -x2482 -x2481 -x2480 -x2479 -x2478 -x2477 -x2476
1487.41/1493.26 v -x2475 -x2474 x2473 -x2472 -x2471 -x2470 -x2469 -x2468 -x2467 -x2466 -x2465 -x2464 -x2463 -x2462 -x2461 -x2460 -x2459 -x2458
1487.41/1493.26 v -x2457 -x2456 -x2455 -x2454 -x2453 -x2452 -x2451 -x2450 -x2449 -x2448 -x2447 -x2446 -x2445 -x2444 -x2443 -x2442 -x2441 -x2440
1487.41/1493.26 v -x2439 -x2438 -x2437 -x2436 -x2435 -x2434 -x2433 -x2432 -x2431 -x2430 -x2429 -x2428 -x2427 -x2426 -x2425 -x2424 -x2423 -x2422
1487.41/1493.26 v -x2421 -x2419 -x2418 -x2417 -x2416 -x2415 -x2414 -x2413 -x2412 -x2411 -x2410 -x2409 -x2408 -x2407 x2406 -x2405 -x2404 -x2403
1487.41/1493.26 v -x2402 -x2401 -x2400 -x2399 -x2398 -x2397 -x2396 -x2395 -x2394 -x2393 -x2392 -x2391 -x2390 -x2389 -x2388 -x2387 -x2386 -x2385
1487.41/1493.26 v -x2384 -x2383 -x2382 -x2381 -x2310 -x2309 -x2308 -x2307 -x2306 -x2305 -x2304 -x2303 -x2302 -x2301 -x2300 -x2299 -x2298 -x2297
1487.41/1493.26 v -x2296 -x2295 -x2294 -x2293 -x2292 -x2291 -x2290 -x2289 -x2288 -x2287 -x2286 -x2285 -x2284 -x2283 -x2282 -x2281 -x2280
1487.41/1493.26 v -x2278 -x2277 -x2276 -x2275 -x2274 -x2273 -x2272 -x2271 -x2270 -x2269 -x2268 -x2267 x2266 -x2265 -x2264 -x2263 -x2262 -x2261
1487.41/1493.26 v -x2260 -x2259 -x2258 -x2257 -x2256 -x2255 -x2254 -x2253 -x2252 -x2251 -x2250 -x2249 -x2248 -x2247 -x2246 -x2245 -x2244 -x2243
1487.41/1493.26 v -x2242 -x2241 -x2240 -x2239 -x2238 -x2237 -x2236 -x2235 -x2234 -x2233 -x2232 -x2231 -x2230 -x2229 -x2228 -x2227 -x2226 -x2225
1487.41/1493.26 v -x2224 -x2223 -x2222 -x2221 -x2220 -x2219 -x2218 -x2217 -x2216 -x2215 -x2214 -x2213 -x2212 -x2211 -x2210 -x2209 -x2207 -x2206
1487.41/1493.26 v -x2205 -x2204 -x2203 -x2202 -x2201 -x2200 -x2199 -x2198 -x2197 -x2196 -x2195 -x2194 x2193 -x2192 -x2191 -x2190 -x2189 -x2188
1487.41/1493.26 v -x2187 -x2186 -x2185 -x2184 -x2183 -x2182 -x2181 -x2180 -x2179 -x2178 -x2177 -x2176 -x2175 -x2174 -x2173 -x2172 -x2171 -x2170
1487.41/1493.26 v -x2169 -x2168 -x2167 -x2166 -x2165 -x2164 -x2163 -x2162 -x2161 -x2160 -x2159 -x2158 -x2157 -x2156 -x2155 -x2154 -x2153 -x2152
1487.41/1493.26 v -x2151 -x2150 -x2149 -x2148 -x2147 -x2146 -x2145 -x2144 -x2143 -x2142 -x2141 -x2140 -x2139 -x2138 -x2136 -x2135 -x2134 -x2133
1487.41/1493.26 v -x2132 -x2131 -x2130 -x2129 -x2128 -x2127 -x2126 -x2125 -x2124 -x2123 -x2122 -x2121 -x2120 -x2119 -x2118 -x2117 -x2116
1487.41/1493.26 v -x2115 -x2114 -x2113 -x2112 -x2111 -x2110 -x2109 -x2108 x2107 -x2106 -x2105 -x2104 -x2103 -x2102 -x2101 -x2100 -x2099 -x2098
1487.41/1493.26 v -x2097 -x2096 -x2095 -x2094 -x2093 -x2092 -x2091 -x2090 -x2089 -x2088 -x2087 -x2086 -x2085 -x2084 -x2083 -x2082 -x2081 -x2080
1487.41/1493.26 v -x2079 -x2078 -x2077 -x2076 -x2075 -x2074 -x2073 -x2072 -x2071 -x2070 -x2069 -x2068 -x2067 -x2065 -x2064 -x2063 -x2062 -x2061
1487.41/1493.26 v -x2060 -x2059 -x2058 -x2057 -x2056 -x2055 -x2054 x2053 -x2052 -x2051 -x2050 -x2049 -x2048 -x2047 -x2046 -x2045 -x2044 -x2043
1487.41/1493.26 v -x2042 -x2041 -x2040 -x2039 -x2038 -x2037 -x2036 -x2035 -x2034 -x2033 -x2032 -x2031 -x2030 -x2029 -x2028 -x2027 -x2026 -x2025
1487.41/1493.26 v -x2024 -x2023 -x2022 -x2021 -x2020 -x2019 -x2018 -x2017 -x2016 -x2015 -x2014 -x2013 -x2012 -x2011 -x2010 -x2009 -x2008 -x2007
1487.41/1493.26 v -x2006 -x2005 -x2004 -x2003 -x2002 -x2001 -x2000 -x1999 -x1998 -x1997 -x1996 -x1994 -x1993 -x1992 -x1991 -x1990 -x1989 -x1988
1487.41/1493.26 v -x1987 -x1986 -x1985 -x1984 -x1983 -x1982 -x1981 -x1980 -x1979 -x1978 -x1977 -x1976 -x1975 -x1974 -x1973 -x1972 -x1971 -x1970
1487.41/1493.26 v -x1969 -x1968 x1967 -x1966 -x1965 -x1964 -x1963 -x1962 -x1961 -x1960 -x1959 -x1958 -x1957 -x1956 -x1955 -x1954 -x1953 -x1952
1487.41/1493.26 v -x1951 -x1950 -x1949 -x1948 -x1947 -x1946 -x1945 -x1944 -x1943 -x1942 -x1941 -x1940 -x1939 -x1938 -x1937 -x1936 -x1935
1487.41/1493.26 v -x1934 -x1933 -x1932 -x1931 -x1930 -x1929 -x1928 -x1927 -x1926 -x1925 -x1923 -x1922 -x1921 -x1920 -x1919 -x1918 -x1917 -x1916
1487.41/1493.26 v -x1915 -x1914 -x1913 -x1912 -x1911 -x1910 -x1909 -x1908 -x1907 -x1906 -x1905 -x1904 -x1903 -x1902 -x1901 -x1900 -x1899 -x1898
1487.41/1493.26 v x1897 -x1896 -x1895 -x1894 -x1893 -x1892 -x1891 -x1890 -x1889 -x1888 -x1887 -x1886 -x1885 -x1884 -x1883 -x1882 -x1881 -x1880
1487.41/1493.26 v -x1879 -x1878 -x1877 -x1876 -x1875 -x1874 -x1873 -x1872 -x1871 -x1870 -x1869 -x1868 -x1867 -x1866 -x1865 -x1864 -x1863 -x1862
1487.41/1493.26 v -x1861 -x1860 -x1859 -x1858 -x1857 -x1856 -x1855 -x1854 -x1852 -x1851 -x1850 -x1849 -x1848 -x1847 x1846 -x1845 -x1844 -x1843
1487.41/1493.26 v -x1842 -x1841 -x1840 -x1839 -x1838 -x1837 -x1836 -x1835 -x1834 -x1833 -x1832 -x1831 -x1830 -x1829 -x1828 -x1827 -x1826 -x1825
1487.41/1493.26 v -x1824 -x1823 -x1822 -x1821 -x1820 -x1819 -x1818 -x1817 -x1816 -x1815 -x1814 -x1813 -x1812 -x1811 -x1810 -x1809 -x1808 -x1807
1487.41/1493.26 v -x1806 -x1805 -x1804 -x1803 -x1802 -x1801 -x1800 -x1799 -x1798 -x1797 -x1796 -x1795 -x1794 -x1793 -x1792 -x1791 -x1790 -x1789
1487.41/1493.26 v -x1788 -x1787 -x1786 -x1785 -x1784 -x1783 -x1781 -x1780 -x1779 -x1778 -x1777 -x1776 -x1775 -x1774 x1773 -x1772 -x1771 -x1770
1487.41/1493.26 v -x1769 -x1768 -x1767 -x1766 -x1765 -x1764 -x1763 -x1762 -x1761 -x1760 -x1759 -x1758 -x1757 -x1756 -x1755 -x1754 -x1753
1487.41/1493.26 v -x1752 -x1751 -x1750 -x1749 -x1748 -x1747 -x1746 -x1745 -x1744 -x1743 -x1742 -x1741 -x1740 -x1739 -x1738 -x1737 -x1736 -x1735
1487.41/1493.26 v -x1734 -x1733 -x1732 -x1731 -x1730 -x1729 -x1728 -x1727 -x1726 -x1725 -x1724 -x1723 -x1722 -x1721 -x1720 -x1719 -x1718 -x1717
1487.41/1493.26 v -x1716 -x1715 -x1714 -x1713 -x1712 -x1710 -x1709 -x1708 -x1707 -x1706 -x1705 -x1704 x1703 -x1702 -x1701 -x1700 -x1699 -x1698
1487.41/1493.26 v -x1697 -x1696 -x1695 -x1694 -x1693 -x1692 -x1691 -x1690 -x1689 -x1688 -x1687 -x1686 -x1685 -x1684 -x1683 -x1682 -x1681 -x1680
1487.41/1493.26 v -x1679 -x1678 -x1677 -x1676 -x1675 -x1674 -x1673 -x1672 -x1671 -x1670 -x1669 -x1668 -x1667 -x1666 -x1665 -x1664 -x1663 -x1662
1487.41/1493.26 v -x1661 -x1660 -x1659 -x1658 -x1657 -x1656 -x1655 -x1654 -x1653 -x1652 -x1651 -x1650 -x1649 -x1648 -x1647 -x1646 -x1645 -x1644
1487.41/1493.26 v -x1643 -x1642 -x1641 -x1639 -x1638 -x1637 -x1636 -x1635 -x1634 -x1633 -x1632 -x1631 -x1630 -x1629 -x1628 -x1627 -x1626 -x1625
1487.41/1493.26 v -x1624 -x1623 -x1622 -x1621 -x1620 -x1619 -x1618 x1617 -x1616 -x1615 -x1614 -x1613 -x1612 -x1611 -x1540 -x1539 -x1538 -x1537
1487.41/1493.26 v -x1536 -x1535 -x1534 -x1533 -x1532 -x1531 -x1530 -x1529 -x1528 -x1527 -x1526 -x1525 -x1524 -x1523 -x1522 -x1521 -x1520
1487.41/1493.26 v -x1519 -x1518 -x1517 -x1516 -x1515 -x1514 -x1513 -x1512 -x1511 -x1510 -x1509 -x1508 -x1507 -x1506 -x1505 -x1504 -x1503 -x1502
1487.41/1493.26 v -x1501 -x1500 -x1498 -x1497 x1496 -x1495 -x1494 -x1493 -x1492 -x1491 -x1490 -x1489 -x1488 -x1487 -x1486 -x1485 -x1484 -x1483
1487.41/1493.26 v -x1482 -x1481 -x1480 -x1479 -x1478 -x1477 -x1476 -x1475 -x1474 -x1473 -x1472 -x1471 -x1470 -x1469 -x1468 -x1467 -x1466 -x1465
1487.41/1493.26 v -x1464 -x1463 -x1462 -x1461 -x1460 -x1459 -x1458 -x1457 -x1456 -x1455 -x1454 -x1453 -x1452 -x1451 -x1450 -x1449 -x1448 -x1447
1487.41/1493.26 v -x1446 -x1445 -x1444 -x1443 -x1442 -x1441 -x1440 -x1439 -x1438 -x1437 -x1436 -x1435 -x1434 -x1433 -x1432 -x1431 -x1430 -x1429
1487.41/1493.26 v -x1427 -x1426 -x1425 -x1424 x1423 -x1422 -x1421 -x1420 -x1419 -x1418 -x1417 -x1416 -x1415 -x1414 -x1413 -x1412 -x1411 -x1410
1487.41/1493.26 v -x1409 -x1408 -x1407 -x1406 -x1405 -x1404 -x1403 -x1402 -x1401 -x1400 -x1399 -x1398 -x1397 -x1396 -x1395 -x1394 -x1393 -x1392
1487.41/1493.26 v -x1391 -x1390 -x1389 -x1388 -x1387 -x1386 -x1385 -x1384 -x1383 -x1382 -x1381 -x1380 -x1379 -x1378 -x1377 -x1376 -x1375 -x1374
1487.41/1493.26 v -x1373 -x1372 -x1371 -x1370 -x1369 -x1368 -x1367 -x1366 -x1365 -x1364 -x1363 -x1362 -x1361 -x1360 -x1359 -x1358 x1356 -x1355
1487.41/1493.26 v -x1354 -x1353 -x1352 -x1351 -x1350 -x1349 -x1348 -x1347 -x1346 -x1345 -x1344 -x1343 -x1342 -x1341 -x1340 -x1339 -x1338
1487.41/1493.26 v -x1337 -x1336 -x1335 -x1334 -x1333 -x1332 -x1331 -x1330 x1329 -x1328 -x1327 -x1326 -x1325 -x1324 x1323 -x1322 -x1321 x1320 x1319
1487.41/1493.26 v -x1318 -x1317 x1316 x1315 -x1314 x1313 -x1312 x1311 -x1310 -x1309 -x1308 x1307 -x1306 -x1305 -x1304 x1303 x1302 -x1301 x1300
1487.41/1493.26 v x1299 -x1298 -x1297 -x1296 -x1295 -x1294 x1293 -x1292 -x1291 -x1290 x1289 -x1288 x1287 -x1285 -x1284 -x1283 -x1282 x1281
1487.41/1493.26 v -x1280 -x1279 -x1278 -x1277 -x1276 -x1275 -x1274 -x1273 -x1272 x1271 -x1270 -x1269 -x1268 -x1267 x1266 -x1265 x1264 -x1263 x1262
1487.41/1493.26 v x1261 -x1260 -x1259 -x1258 -x1257 -x1256 -x1255 -x1254 -x1253 -x1252 -x1251 -x1250 -x1249 -x1248 -x1247 -x1246 -x1245 -x1244
1487.41/1493.26 v -x1243 -x1242 -x1241 -x1240 -x1239 -x1238 -x1237 -x1236 -x1235 -x1234 -x1233 -x1232 -x1231 -x1230 -x1229 -x1228 -x1227 -x1226
1487.41/1493.26 v -x1225 -x1224 -x1223 -x1222 -x1221 -x1220 -x1219 -x1218 -x1217 -x1216 -x1214 x1213 -x1212 -x1211 -x1210 -x1209 -x1208 -x1207
1487.41/1493.26 v -x1206 -x1205 -x1204 -x1203 -x1202 -x1201 -x1200 -x1199 -x1198 -x1197 -x1196 -x1195 -x1194 -x1193 -x1192 -x1191 -x1190 -x1189
1487.41/1493.26 v -x1188 -x1187 -x1186 -x1185 -x1184 -x1183 -x1182 -x1181 -x1180 -x1179 -x1178 -x1177 -x1176 -x1175 -x1174 -x1173 -x1172
1487.41/1493.26 v -x1171 -x1170 -x1169 -x1168 -x1167 -x1166 -x1165 -x1164 -x1163 -x1162 -x1161 -x1160 -x1159 -x1158 -x1157 -x1156 -x1155 -x1154
1487.41/1493.26 v -x1153 -x1152 -x1151 -x1150 -x1149 -x1148 -x1147 -x1146 -x1145 -x1143 -x1142 -x1141 -x1140 -x1139 -x1138 -x1137 -x1136 -x1135
1487.41/1493.26 v -x1134 -x1133 -x1132 -x1131 -x1130 -x1129 -x1128 x1127 -x1126 -x1125 -x1124 -x1123 -x1122 -x1121 -x1120 -x1119 -x1118 x1117
1487.41/1493.26 v x1116 -x1115 -x1114 -x1113 x1112 -x1111 -x1110 -x1109 -x1108 x1107 -x1106 -x1105 -x1104 -x1103 -x1102 -x1101 x1100 x1099 -x1098
1487.41/1493.26 v -x1097 x1096 x1095 x1094 -x1093 -x1092 x1091 -x1090 -x1089 x1088 -x1087 x1086 -x1085 -x1084 -x1083 x1082 x1081 -x1080 -x1079
1487.41/1493.26 v x1078 -x1077 -x1076 x1075 -x1074 -x1072 -x1071 -x1070 x1069 -x1068 x1067 x1066 -x1065 x1064 x1063 -x1062 -x1061 -x1060 x1059
1487.41/1493.26 v -x1058 -x1057 -x1056 -x1055 -x1054 -x1053 -x1052 -x1051 -x1050 -x1049 -x1048 -x1047 -x1046 -x1045 -x1044 -x1043 -x1042 -x1041
1487.41/1493.26 v -x1040 -x1039 -x1038 -x1037 -x1036 -x1035 -x1034 -x1033 -x1032 -x1031 -x1030 -x1029 -x1028 -x1027 -x1026 -x1025 -x1024 -x1023
1487.41/1493.26 v -x1022 -x1021 -x1020 -x1019 -x1018 -x1017 -x1016 -x1015 -x1014 -x1013 -x1012 -x1011 -x1010 -x1009 -x1008 -x1007 -x1006
1487.41/1493.26 v -x1005 -x1004 -x1003 -x1001 -x1000 -x999 -x998 -x997 -x996 -x995 -x994 -x993 -x992 -x991 -x990 -x989 -x988 x987 -x986 -x985 -x984
1487.41/1493.26 v -x983 -x982 -x981 -x980 -x979 -x978 -x977 -x976 -x975 -x974 -x973 -x972 -x971 -x970 -x969 -x968 -x967 -x966 -x965 -x964
1487.41/1493.26 v -x963 -x962 -x961 -x960 -x959 -x958 -x957 -x956 -x955 -x954 -x953 -x952 -x951 -x950 -x949 -x948 -x947 -x946 -x945 -x944 -x943
1487.41/1493.26 v -x942 -x941 -x940 -x939 -x938 -x937 x936 -x935 -x934 -x933 -x932 -x930 -x929 -x928 -x927 -x926 -x925 -x924 -x923 -x922 -x921
1487.41/1493.26 v -x920 -x919 -x918 -x917 -x916 -x915 -x914 -x913 -x912 -x911 -x910 -x909 -x908 -x907 -x906 -x905 -x904 -x903 -x902 -x901 -x900
1487.41/1493.26 v -x899 -x898 -x897 -x896 -x895 -x894 -x893 -x892 -x891 -x890 -x889 -x888 -x887 -x886 -x885 -x884 -x883 -x882 -x881 -x880 -x879
1487.41/1493.26 v -x878 -x877 -x876 -x875 -x874 -x873 -x872 -x871 -x870 -x869 -x868 -x867 -x866 -x865 -x864 -x863 -x862 -x861 -x859 -x858 -x857
1487.41/1493.26 v -x856 -x855 -x854 -x853 -x852 -x851 -x850 -x849 -x848 x847 -x846 -x845 -x844 -x843 -x842 -x841 -x770 -x769 -x768 -x767 -x766
1487.41/1493.26 v -x765 -x764 -x763 -x762 -x761 -x760 -x759 -x758 -x757 -x756 -x755 -x754 -x753 -x752 -x751 -x750 -x749 -x748 -x747 -x746 -x745
1487.41/1493.26 v -x744 -x743 -x742 -x741 -x740 -x739 -x738 -x737 -x736 -x735 -x734 -x733 -x732 -x731 -x730 -x729 -x728 -x727 -x726 -x725
1487.41/1493.26 v -x724 x723 -x722 -x721 -x720 -x718 -x717 -x716 -x715 -x714 -x713 -x712 -x711 -x710 -x709 -x708 -x707 -x706 -x705 -x704 -x703
1487.41/1493.26 v -x702 -x701 -x700 -x699 -x698 -x697 -x696 -x695 -x694 -x693 -x692 -x691 -x690 -x689 -x688 -x687 -x686 -x685 -x684 -x683 -x682
1487.41/1493.26 v -x681 -x680 -x679 -x678 -x677 -x676 -x675 -x674 -x673 -x672 -x671 -x670 -x669 -x668 -x667 -x666 -x665 -x664 -x663 -x662 -x661
1487.41/1493.26 v -x660 -x659 -x658 -x657 -x656 -x655 -x654 -x653 -x652 -x651 -x650 -x649 -x647 -x646 -x645 -x644 -x643 -x642 -x641 -x640 -x639
1487.41/1493.26 v -x638 x637 -x636 -x635 -x634 -x633 -x632 -x631 -x630 -x629 -x628 -x627 -x626 -x625 -x624 -x623 -x622 -x621 -x620 -x619 -x618
1487.41/1493.26 v -x617 -x616 -x615 -x614 -x613 -x612 -x611 -x610 -x609 -x608 -x607 -x606 -x605 -x604 -x603 -x602 -x601 -x600 -x599 -x598 -x597
1487.41/1493.26 v -x596 -x595 -x594 -x593 -x592 -x591 -x590 -x589 -x588 -x587 -x586 -x585 -x584 x583 -x582 -x581 -x580 -x579 -x578 -x576 -x575
1487.41/1493.26 v -x574 -x573 -x572 -x571 -x570 -x569 -x568 -x567 -x566 -x565 -x564 -x563 -x562 -x561 -x560 -x559 -x558 -x557 -x556 -x555 -x554
1487.41/1493.26 v -x553 -x552 -x551 -x550 -x549 -x548 -x547 -x546 -x545 -x544 -x543 -x542 -x541 -x540 -x539 -x538 -x537 -x536 -x535 -x534
1487.41/1493.26 v -x533 -x532 -x531 -x530 -x529 -x528 -x527 -x526 -x525 -x524 -x523 -x522 -x521 -x520 -x519 -x518 -x517 -x516 -x515 -x514 x513
1487.41/1493.26 v -x512 -x511 -x510 -x509 -x508 -x507 -x505 -x504 -x503 -x502 -x501 -x500 -x499 -x498 -x497 -x496 -x495 -x494 -x493 -x492 -x491
1487.41/1493.26 v -x490 -x489 -x488 -x487 -x486 -x485 -x484 -x483 -x482 -x481 -x480 -x479 -x478 -x477 -x476 -x475 -x474 -x473 -x472 -x471 -x470
1487.41/1493.26 v -x469 -x468 -x467 -x466 -x465 -x464 -x463 -x462 -x461 -x460 -x459 -x458 -x457 -x456 -x455 -x454 -x453 -x452 -x451 -x450 -x449
1487.41/1493.26 v -x448 -x447 -x446 -x445 -x444 -x443 -x442 -x441 -x440 -x439 -x438 -x437 -x436 -x434 -x433 -x432 -x431 -x430 -x429 -x428 x427
1487.41/1493.26 v -x426 -x425 -x424 -x423 -x422 -x421 -x420 -x419 -x418 -x417 -x416 -x415 -x414 -x413 -x412 -x411 -x410 -x409 -x408 -x407 -x406
1487.41/1493.26 v -x405 -x404 -x403 -x402 -x401 -x400 -x399 -x398 -x397 -x396 -x395 -x394 -x393 -x392 -x391 -x390 -x389 -x388 -x387 -x386 -x385
1487.41/1493.26 v -x384 -x383 -x382 -x381 -x380 -x379 -x378 -x377 -x376 -x375 -x374 x373 -x372 -x371 -x370 -x369 -x368 -x367 -x366 -x365 -x363
1487.41/1493.26 v -x362 -x361 -x360 -x359 -x358 -x357 -x356 -x355 -x354 -x353 -x352 -x351 -x350 -x349 -x348 -x347 -x346 -x345 -x344 -x343
1487.41/1493.26 v -x342 -x341 -x340 -x339 -x338 -x337 -x336 -x335 -x334 -x333 -x332 -x331 -x330 -x329 -x328 -x327 -x326 -x325 -x324 -x323 -x322
1487.41/1493.26 v -x321 -x320 -x319 -x318 -x317 -x316 -x315 -x314 -x313 -x312 -x311 -x310 -x309 -x308 -x307 -x306 -x305 -x304 x303 -x302 -x301
1487.41/1493.26 v -x300 -x299 -x298 -x297 -x296 -x295 -x294 -x292 -x291 -x290 -x289 -x288 -x287 -x286 -x285 -x284 -x283 -x282 -x281 -x280 -x279
1487.41/1493.26 v -x278 -x277 -x276 -x275 -x274 -x273 -x272 -x271 -x270 -x269 -x268 -x267 -x266 -x265 -x264 -x263 -x262 -x261 -x260 -x259 -x258
1487.41/1493.26 v -x257 -x256 -x255 -x254 -x253 -x252 -x251 -x250 -x249 -x248 -x247 -x246 -x245 -x244 -x243 -x242 -x241 -x240 -x239 -x238 -x237
1487.41/1493.26 v -x236 -x235 -x234 -x233 -x232 -x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224 -x223 -x221 -x220 -x219 -x218 x217 -x216 -x215
1487.41/1493.26 v -x214 -x213 -x212 -x211 -x210 -x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 -x199 -x198 -x197 -x196 -x195 -x194
1487.41/1493.26 v -x193 -x192 -x191 -x190 -x189 -x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178 -x177 -x176 -x175 -x174
1487.41/1493.26 v -x173 -x172 -x171 -x170 -x169 -x168 -x167 x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153
1487.41/1493.26 v -x152 -x150 -x149 -x148 -x147 -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131
1487.41/1493.26 v -x130 -x129 -x128 -x127 -x126 -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110
1487.41/1493.26 v -x109 -x108 -x107 -x106 -x105 -x104 -x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96 -x95 -x94 -x93 -x92 -x91 -x90 -x89 -x88 -x87
1487.41/1493.26 v -x86 -x85 -x84 -x83 -x82 -x81 -x79 -x78 x77 -x76 -x75 -x74 -x73 -x72 -x71 -x4970 -x4969 -x4968 -x4967 -x4966 -x4965 -x4964
1487.41/1493.26 v -x4963 -x4962 -x4961 -x4960 -x4959 -x4958 -x4957 -x4956 -x4955 -x4954 -x4953 -x4952 -x4951 -x4950 -x4949 -x4948 -x4947 -x4946
1487.41/1493.26 v -x4945 -x4944 -x4943 -x4942 -x4941 -x4940 -x4939 -x4938 -x4937 -x4936 -x4935 -x4934 -x4933 -x4932 -x4931 -x4930 -x4929 -x4928
1487.41/1493.26 v -x4927 -x4926 -x4925 -x4924 x4923 -x4922 -x4921 -x4920 -x4919 -x4918 -x4917 -x4916 -x4915 -x4914 -x4913 -x4912 -x4911 -x4910
1487.41/1493.26 v -x4908 -x4907 -x4906 -x4905 -x4904 -x4903 -x4902 -x4901 -x4900 -x4899 -x4898 -x4897 -x4896 -x4895 -x4894 -x4893 -x4892 -x4891
1487.41/1493.26 v -x4890 -x4889 -x4888 -x4887 -x4886 -x4885 -x4884 -x4883 -x4882 -x4881 -x4880 -x4879 -x4878 -x4877 -x4876 -x4875 -x4874 -x4873
1487.41/1493.26 v -x4872 -x4871 -x4870 -x4869 -x4868 -x4867 -x4866 -x4865 -x4864 -x4863 -x4862 -x4861 -x4860 -x4859 -x4858 -x4857 -x4856 -x4855
1487.41/1493.26 v -x4854 -x4853 -x4852 -x4851 -x4850 -x4849 -x4848 -x4847 -x4846 -x4845 -x4844 -x4843 -x4842 -x4841 -x4840 -x4839 -x4837 -x4836
1487.41/1493.26 v -x4835 -x4834 -x4833 -x4832 -x4831 x4830 -x4829 x4828 -x4827 -x4826 x4825 x4824 -x4823 -x4822 x4821 -x4820 -x4819 x4818
1487.41/1493.26 v -x4817 -x4816 -x4815 x4814 -x4813 x4812 -x4811 -x4810 -x4809 x4808 -x4807 -x4806 -x4805 -x4804 -x4803 -x4802 -x4801 -x4800 -x4799
1487.41/1493.26 v -x4798 x4797 -x4796 x4795 x4794 -x4793 -x4792 -x4791 x4790 -x4789 -x4788 -x4787 -x4786 -x4785 x4784 -x4783 x4782 -x4781
1487.41/1493.26 v x4780 -x4779 x4778 -x4777 -x4776 x4775 -x4774 -x4773 x4772 -x4771 x4770 -x4769 -x4768 -x4766 x4765 -x4764 x4763 -x4762 -x4761
1487.41/1493.26 v -x4690 -x4689 -x4688 -x4687 -x4686 -x4685 -x4684 -x4683 -x4682 -x4681 -x4680 -x4679 -x4678 -x4677 -x4676 -x4675 -x4674 -x4673
1487.41/1493.26 v -x4672 -x4671 -x4670 -x4669 -x4668 -x4667 -x4666 -x4665 -x4664 -x4663 -x4662 -x4661 -x4660 -x4659 -x4658 -x4657 -x4656 -x4655
1487.41/1493.26 v -x4654 -x4653 -x4652 -x4651 -x4650 -x4649 -x4648 -x4647 x4646 -x4645 -x4644 -x4643 -x4642 -x4641 -x4640 -x4639 -x4638 -x4637
1487.41/1493.26 v -x4636 -x4635 -x4634 -x4633 -x4632 -x4631 -x4630 -x4629 -x4628 -x4627 -x4625 -x4624 -x4623 -x4622 -x4621 -x3920 -x3919 -x3918
1487.41/1493.26 v -x3917 -x3916 -x3915 -x3914 -x3913 -x3912 -x3911 -x3910 -x3909 -x3908 -x3907 -x3906 -x3905 -x3904 -x3903 -x3902 -x3901 -x3900
1487.41/1493.26 v -x3899 -x3898 -x3897 -x3896 -x3895 -x3894 -x3893 -x3892 -x3891 -x3890 -x3889 -x3888 -x3887 -x3886 -x3885 -x3884 -x3883
1487.41/1493.26 v -x3882 -x3881 -x3880 -x3879 -x3878 -x3877 -x3876 -x3875 -x3874 -x3873 -x3872 -x3871 -x3870 -x3869 -x3868 -x3867 -x3866 -x3865
1487.41/1493.26 v -x3864 -x3863 -x3862 -x3861 -x3860 -x3859 -x3858 x3857 -x3856 -x3854 -x3853 -x3852 -x3851 -x3150 -x3149 -x3148 -x3147 -x3146
1487.41/1493.26 v -x3145 -x3144 -x3143 -x3142 -x3141 -x3140 -x3139 -x3138 -x3137 -x3136 -x3135 -x3134 -x3133 -x3132 -x3131 -x3130 -x3129 -x3128
1487.41/1493.26 v -x3127 -x3126 -x3125 -x3124 -x3123 -x3122 -x3121 -x3120 -x3119 -x3118 -x3117 -x3116 -x3115 -x3114 -x3113 -x3112 -x3111 -x3110
1487.41/1493.26 v -x3109 -x3108 -x3107 x3106 -x3105 -x3104 -x3103 -x3102 -x3101 -x3100 -x3099 -x3098 -x3097 -x3096 -x3095 -x3094 -x3093 -x3092
1487.41/1493.26 v -x3091 -x3090 -x3089 -x3088 -x3087 -x3086 -x3085 -x3083 -x3082 -x3081 -x2380 -x2379 -x2378 -x2377 -x2376 -x2375 -x2374 -x2373
1487.41/1493.26 v -x2372 -x2371 -x2370 -x2369 -x2368 -x2367 -x2366 -x2365 -x2364 -x2363 -x2362 -x2361 -x2360 -x2359 -x2358 -x2357 -x2356 -x2355
1487.41/1493.26 v -x2354 -x2353 -x2352 -x2351 -x2350 -x2349 -x2348 -x2347 -x2346 -x2345 -x2344 -x2343 -x2342 -x2341 -x2340 -x2339 -x2338 -x2337
1487.41/1493.26 v -x2336 -x2335 -x2334 -x2333 -x2332 -x2331 -x2330 -x2329 -x2328 -x2327 -x2326 -x2325 -x2324 -x2323 -x2322 -x2321 -x2320
1487.41/1493.26 v -x2319 -x2318 x2317 -x2316 -x2315 -x2314 -x2312 -x2311 -x1610 -x1609 -x1608 -x1607 -x1606 -x1605 -x1604 -x1603 -x1602 -x1601
1487.41/1493.26 v -x1600 -x1599 -x1598 -x1597 -x1596 -x1595 -x1594 -x1593 -x1592 -x1591 -x1590 -x1589 -x1588 -x1587 -x1586 -x1585 -x1584 -x1583
1487.41/1493.26 v -x1582 -x1581 -x1580 -x1579 -x1578 -x1577 -x1576 -x1575 -x1574 -x1573 -x1572 -x1571 -x1570 -x1569 -x1568 -x1567 x1566 -x1565
1487.41/1493.26 v -x1564 -x1563 -x1562 -x1561 -x1560 -x1559 -x1558 -x1557 -x1556 -x1555 -x1554 -x1553 -x1552 -x1551 -x1550 -x1549 -x1548 -x1547
1487.41/1493.26 v -x1546 -x1545 -x1544 -x1543 -x1541 -x840 -x839 -x838 -x837 -x836 -x835 -x834 -x833 -x832 -x831 -x830 -x829 -x828 -x827 -x826
1487.41/1493.29 v -x825 -x824 -x823 -x822 -x821 -x820 -x819 -x818 -x817 -x816 -x815 -x814 -x813 -x812 -x811 -x810 -x809 -x808 -x807 -x806 -x805
1487.41/1493.29 v -x804 -x803 -x802 -x801 -x800 -x799 -x798 -x797 x796 -x795 -x794 -x793 -x792 -x791 -x790 -x789 -x788 -x787 -x786 -x785 -x784
1487.41/1493.29 v -x783 -x782 -x781 -x780 -x779 -x778 -x777 -x776 -x775 -x774 -x773 -x772
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 (57613 MiB free)
memory of node 1: 64473 MiB (61929 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4464216-1722382212/watcher-4464216-1722382212 -o /tmp/evaluation-result-4464216-1722382212/solver-4464216-1722382212 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC025-1722378594-31126 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4464216-1722382212.opb -qsol -t 3600 -sth 1
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=34069, runsolver pid=34066
Current StackSize limit: 8192 KiB
[startup+0.100093 s]*
/proc/loadavg: 4.05 4.14 4.07 5/264 34070
/proc/meminfo: memFree=122335844/131524600 swapFree=131071996/131071996
[pid=34069] ppid=34066 vsize=72132 memory=60472 CPUtime=0.1 cores=0,2
/proc/34069/stat : 34069 (fscip) R 34066 34069 31114 0 -1 4194304 12857 0 0 0 9 1 0 0 20 0 1 0 4821110 73863168 15118 134679101440 4194304 16623229 140727974868064 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 47579136 140727974876182 140727974876298 140727974876298 140727974883312 0
/proc/34069/statm: 18033 15118 2630 3035 0 14429 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 72132 KiB
Current children cumulated memory: 60472 KiB
[startup+0.205711 s]*
/proc/loadavg: 4.05 4.14 4.07 5/264 34070
/proc/meminfo: memFree=122301404/131524600 swapFree=131071996/131071996
[pid=34069] ppid=34066 vsize=86312 memory=75004 CPUtime=0.2 cores=0,2
/proc/34069/stat : 34069 (fscip) R 34066 34069 31114 0 -1 4194304 18676 0 0 0 19 1 0 0 20 0 1 0 4821110 88383488 18751 134679101440 4194304 16623229 140727974868064 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 47579136 140727974876182 140727974876298 140727974876298 140727974883312 0
/proc/34069/statm: 21578 18751 2774 3035 0 17974 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 86312 KiB
Current children cumulated memory: 75004 KiB
[startup+0.305652 s]*
/proc/loadavg: 4.05 4.14 4.07 5/264 34070
/proc/meminfo: memFree=122297476/131524600 swapFree=131071996/131071996
[pid=34069] ppid=34066 vsize=87424 memory=76060 CPUtime=0.3 cores=0,2
/proc/34069/stat : 34069 (fscip) R 34066 34069 31114 0 -1 4194304 18924 0 0 0 29 1 0 0 20 0 1 0 4821110 89522176 19015 134679101440 4194304 16623229 140727974868064 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 47579136 140727974876182 140727974876298 140727974876298 140727974883312 0
/proc/34069/statm: 21856 19015 2774 3035 0 18252 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 87424 KiB
Current children cumulated memory: 76060 KiB
[startup+0.70032 s]
/proc/loadavg: 4.05 4.14 4.07 5/266 34072
/proc/meminfo: memFree=122241352/131524600 swapFree=131071996/131071996
[pid=34069] ppid=34066 vsize=207460 memory=150740 CPUtime=0.68 cores=0,2
/proc/34069/stat : 34069 (fscip) S 34066 34069 31114 0 -1 1077936128 40045 0 0 0 64 4 0 0 20 0 3 0 4821110 212439040 37685 134679101440 4194304 16623229 140727974868064 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 47579136 140727974876182 140727974876298 140727974876298 140727974883312 0
/proc/34069/statm: 51865 37685 2806 3035 0 43552 0
[pid=34069/tid=34071] ppid=34066 vsize=207460 memory=52580 CPUtime=0.26 cores=0,2
/proc/34069/task/34071/stat : 34071 (fscip) R 34066 34069 31114 0 -1 4194368 13725 0 0 0 24 2 0 0 20 0 3 0 4821151 212439040 37685 134679101440 4194304 16623229 140727974868064 0 0 0 0 0 2 0 0 0 -1 2 0 0 0 0 0 18838560 18947056 47579136 140727974876182 140727974876298 140727974876298 140727974883312 0
[pid=34069/tid=34072] ppid=34066 vsize=207460 memory=2369 CPUtime=0 cores=0,2
/proc/34069/task/34072/stat : 34072 (fscip) S 34066 34069 31114 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 4821155 212439040 37685 134679101440 4194304 16623229 140727974868064 0 0 0 0 0 2 1 0 0 -1 0 0 0 0 0 0 18838560 18947056 47579136 140727974876182 140727974876298 140727974876298 140727974883312 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 207460 KiB
Current children cumulated memory: 150740 KiB
[startup+1.50032 s]
/proc/loadavg: 4.05 4.14 4.07 5/268 34074
/proc/meminfo: memFree=122072064/131524600 swapFree=131071996/131071996
[pid=34069] ppid=34066 vsize=275048 memory=176468 CPUtime=1.47 cores=0,2
/proc/34069/stat : 34069 (fscip) S 34066 34069 31114 0 -1 1077936128 47786 0 0 0 142 5 0 0 20 0 3 0 4821110 281649152 44117 134679101440 4194304 16623229 140727974868064 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 47579136 140727974876182 140727974876298 140727974876298 140727974883312 0
/proc/34069/statm: 68762 44117 2950 3035 0 50035 0
[pid=34069/tid=34071] ppid=34066 vsize=275048 memory=2369 CPUtime=1.05 cores=0,2
/proc/34069/task/34071/stat : 34071 (fscip) R 34066 34069 31114 0 -1 4194368 21466 0 0 0 102 3 0 0 20 0 3 0 4821151 281649152 44117 134679101440 4194304 16623229 140727974868064 0 0 0 0 0 2 0 0 0 -1 2 0 0 0 0 0 18838560 18947056 47579136 140727974876182 140727974876298 140727974876298 140727974883312 0
[pid=34069/tid=34072] ppid=34066 vsize=275048 memory=0 CPUtime=0 cores=0,2
/proc/34069/task/34072/stat : 34072 (fscip) S 34066 34069 31114 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 4821155 281649152 44117 134679101440 4194304 16623229 140727974868064 0 0 0 0 0 2 1 0 0 -1 0 0 0 0 0 0 18838560 18947056 47579136 140727974876182 140727974876298 140727974876298 140727974883312 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 275048 KiB
Current children cumulated memory: 176468 KiB
[startup+3.10632 s]
/proc/loadavg: 4.05 4.14 4.07 5/268 34075
/proc/meminfo: memFree=121986156/131524600 swapFree=131071996/131071996
[pid=34069] ppid=34066 vsize=275048 memory=192204 CPUtime=3.06 cores=0,2
/proc/34069/stat : 34069 (fscip) S 34066 34069 31114 0 -1 1077936128 59619 0 0 0 300 6 0 0 20 0 3 0 4821110 281649152 48051 134679101440 4194304 16623229 140727974868064 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 47579136 140727974876182 140727974876298 140727974876298 140727974883312 0
/proc/34069/statm: 68762 48051 2950 3035 0 54142 0
[pid=34069/tid=34071] ppid=34066 vsize=275048 memory=0 CPUtime=2.64 cores=0,2
/proc/34069/task/34071/stat : 34071 (fscip) R 34066 34069 31114 0 -1 4194368 33298 0 0 0 260 4 0 0 20 0 3 0 4821151 281649152 48051 134679101440 4194304 16623229 140727974868064 0 0 0 0 0 2 0 0 0 -1 2 0 0 0 0 0 18838560 18947056 47579136 140727974876182 140727974876298 140727974876298 140727974883312 0
[pid=34069/tid=34072] ppid=34066 vsize=275048 memory=0 CPUtime=0 cores=0,2
/proc/34069/task/34072/stat : 34072 (fscip) S 34066 34069 31114 0 -1 1077936192 1 0 0 0 0 0 0 0 20 0 3 0 4821155 281649152 48051 134679101440 4194304 16623229 140727974868064 0 0 0 0 0 2 1 0 0 -1 0 0 0 0 0 0 18838560 18947056 47579136 140727974876182 140727974876298 140727974876298 140727974883312 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 275048 KiB
Current children cumulated memory: 192204 KiB
[startup+6.30034 s]
/proc/loadavg: 4.04 4.14 4.07 5/268 34075
/proc/meminfo: memFree=121972828/131524600 swapFree=131071996/131071996
[pid=34069] ppid=34066 vsize=275048 memory=205084 CPUtime=6.23 cores=0,2
/proc/34069/stat : 34069 (fscip) S 34066 34069 31114 0 -1 1077936128 74031 0 0 0 616 7 0 0 20 0 3 0 4821110 281649152 51271 134679101440 4194304 16623229 140727974868064 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 47579136 140727974876182 140727974876298 140727974876298 140727974883312 0
/proc/34069/statm: 68762 51271 2950 3035 0 57411 0
[pid=34069/tid=34071] ppid=34066 vsize=275048 memory=0 CPUtime=5.8 cores=0,2
/proc/34069/task/34071/stat : 34071 (fscip) R 34066 34069 31114 0 -1 4194368 47710 0 0 0 575 5 0 0 20 0 3 0 4821151 281649152 51271 134679101440 4194304 16623229 140727974868064 0 0 0 0 0 2 0 0 0 -1 2 0 0 0 0 0 18838560 18947056 47579136 140727974876182 140727974876298 140727974876298 140727974883312 0
[pid=34069/tid=34072] ppid=34066 vsize=275048 memory=194216 CPUtime=0 cores=0,2
/proc/34069/task/34072/stat : 34072 (fscip) S 34066 34069 31114 0 -1 1077936192 1 0 0 0 0 0 0 0 20 0 3 0 4821155 281649152 51271 134679101440 4194304 16623229 140727974868064 0 0 0 0 0 2 1 0 0 -1 0 0 0 0 0 0 18838560 18947056 47579136 140727974876182 140727974876298 140727974876298 140727974883312 0
Current children cumulated CPU time: 6.23 s
Current children cumulated vsize: 275048 KiB
Current children cumulated memory: 205084 KiB
[startup+12.7003 s]
/proc/loadavg: 4.04 4.14 4.07 5/268 34077
/proc/meminfo: memFree=121952644/131524600 swapFree=131071996/131071996
[pid=34069] ppid=34066 vsize=275048 memory=217052 CPUtime=12.57 cores=0,2
/proc/34069/stat : 34069 (fscip) S 34066 34069 31114 0 -1 1077936128 96915 0 0 0 1248 9 0 0 20 0 3 0 4821110 281649152 54263 134679101440 4194304 16623229 140727974868064 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 47579136 140727974876182 140727974876298 140727974876298 140727974883312 0
/proc/34069/statm: 68762 54263 2950 3035 0 60467 0
[pid=34069/tid=34071] ppid=34066 vsize=275048 memory=0 CPUtime=12.13 cores=0,2
/proc/34069/task/34071/stat : 34071 (fscip) R 34066 34069 31114 0 -1 4194368 70587 0 0 0 1207 6 0 0 20 0 3 0 4821151 281649152 54263 134679101440 4194304 16623229 140727974868064 0 0 0 0 0 2 0 0 0 -1 2 0 0 0 0 0 18838560 18947056 47579136 140727974876182 140727974876298 140727974876298 140727974883312 0
[pid=34069/tid=34072] ppid=34066 vsize=275048 memory=15016 CPUtime=0 cores=0,2
/proc/34069/task/34072/stat : 34072 (fscip) S 34066 34069 31114 0 -1 1077936192 8 0 0 0 0 0 0 0 20 0 3 0 4821155 281649152 54263 134679101440 4194304 16623229 140727974868064 0 0 0 0 0 2 1 0 0 -1 0 0 0 0 0 0 18838560 18947056 47579136 140727974876182 140727974876298 140727974876298 140727974883312 0
Current children cumulated CPU time: 12.57 s
Current children cumulated vsize: 275048 KiB
Current children cumulated memory: 217052 KiB
[startup+25.5003 s]
/proc/loadavg: 4.03 4.13 4.07 5/268 34079
/proc/meminfo: memFree=121899176/131524600 swapFree=131071996/131071996
[pid=34069] ppid=34066 vsize=342428 memory=243092 CPUtime=25.26 cores=0,2
/proc/34069/stat : 34069 (fscip) S 34066 34069 31114 0 -1 1077936128 127459 0 0 0 2515 11 0 0 20 0 3 0 4821110 350646272 60773 134679101440 4194304 16623229 140727974868064 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 47579136 140727974876182 140727974876298 140727974876298 140727974883312 0
/proc/34069/statm: 85607 60773 2966 3035 0 67176 0
[pid=34069/tid=34071] ppid=34066 vsize=342428 memory=218132 CPUtime=24.84 cores=0,2
/proc/34069/task/34071/stat : 34071 (fscip) R 34066 34069 31114 0 -1 4194368 101124 0 0 0 2475 9 0 0 20 0 3 0 4821151 350646272 60773 134679101440 4194304 16623229 140727974868064 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 47579136 140727974876182 140727974876298 140727974876298 140727974883312 0
[pid=34069/tid=34072] ppid=34066 vsize=342428 memory=15016 CPUtime=0 cores=0,2
/proc/34069/task/34072/stat : 34072 (fscip) S 34066 34069 31114 0 -1 1077936192 15 0 0 0 0 0 0 0 20 0 3 0 4821155 350646272 60773 134679101440 4194304 16623229 140727974868064 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 47579136 140727974876182 140727974876298 140727974876298 140727974883312 0
Current children cumulated CPU time: 25.26 s
Current children cumulated vsize: 342428 KiB
Current children cumulated memory: 243092 KiB
[startup+51.1058 s]
/proc/loadavg: 4.10 4.13 4.07 5/267 34083
/proc/meminfo: memFree=121883876/131524600 swapFree=131071996/131071996
[pid=34069] ppid=34066 vsize=342428 memory=243308 CPUtime=50.77 cores=0,2
/proc/34069/stat : 34069 (fscip) S 34066 34069 31114 0 -1 1077936128 153330 0 0 0 5064 13 0 0 20 0 3 0 4821110 350646272 60827 134679101440 4194304 16623229 140727974868064 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 47579136 140727974876182 140727974876298 140727974876298 140727974883312 0
/proc/34069/statm: 85607 60827 3014 3035 0 67176 0
[pid=34069/tid=34071] ppid=34066 vsize=342428 memory=243112 CPUtime=50.34 cores=0,2
/proc/34069/task/34071/stat : 34071 (fscip) R 34066 34069 31114 0 -1 4194368 125957 0 0 0 5023 11 0 0 20 0 3 0 4821151 350646272 60827 134679101440 4194304 16623229 140727974868064 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 47579136 140727974876182 140727974876298 140727974876298 140727974883312 0
[pid=34069/tid=34072] ppid=34066 vsize=342428 memory=15016 CPUtime=0 cores=0,2
/proc/34069/task/34072/stat : 34072 (fscip) S 34066 34069 31114 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 3 0 4821155 350646272 60827 134679101440 4194304 16623229 140727974868064 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 47579136 140727974876182 140727974876298 140727974876298 140727974883312 0
Current children cumulated CPU time: 50.77 s
Current children cumulated vsize: 342428 KiB
Current children cumulated memory: 243308 KiB
[startup+102.3 s]
/proc/loadavg: 4.12 4.13 4.08 5/268 34094
/proc/meminfo: memFree=121832228/131524600 swapFree=131071996/131071996
[pid=34069] ppid=34066 vsize=342428 memory=245212 CPUtime=101.77 cores=0,2
/proc/34069/stat : 34069 (fscip) S 34066 34069 31114 0 -1 1077936128 192986 0 0 0 10161 16 0 0 20 0 3 0 4821110 350646272 61303 134679101440 4194304 16623229 140727974868064 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 47579136 140727974876182 140727974876298 140727974876298 140727974883312 0
/proc/34069/statm: 85607 61303 3014 3035 0 67912 0
[pid=34069/tid=34071] ppid=34066 vsize=342428 memory=11436 CPUtime=101.34 cores=0,2
/proc/34069/task/34071/stat : 34071 (fscip) R 34066 34069 31114 0 -1 4194368 164388 0 0 0 10120 14 0 0 20 0 3 0 4821151 350646272 61303 134679101440 4194304 16623229 140727974868064 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 47579136 140727974876182 140727974876298 140727974876298 140727974883312 0
[pid=34069/tid=34072] ppid=34066 vsize=342428 memory=245204 CPUtime=0 cores=0,2
/proc/34069/task/34072/stat : 34072 (fscip) S 34066 34069 31114 0 -1 1077936192 42 0 0 0 0 0 0 0 20 0 3 0 4821155 350646272 61303 134679101440 4194304 16623229 140727974868064 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 47579136 140727974876182 140727974876298 140727974876298 140727974883312 0
Current children cumulated CPU time: 101.77 s
Current children cumulated vsize: 342428 KiB
Current children cumulated memory: 245212 KiB
[startup+162.3 s]
/proc/loadavg: 4.21 4.15 4.09 5/266 34151
/proc/meminfo: memFree=120399868/131524600 swapFree=131071996/131071996
[pid=34069] ppid=34066 vsize=342428 memory=254544 CPUtime=161.54 cores=0,2
/proc/34069/stat : 34069 (fscip) S 34066 34069 31114 0 -1 1077936128 223272 0 0 0 16135 19 0 0 20 0 3 0 4821110 350646272 63636 134679101440 4194304 16623229 140727974868064 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 47579136 140727974876182 140727974876298 140727974876298 140727974883312 0
/proc/34069/statm: 85607 63636 3014 3035 0 70258 0
[pid=34069/tid=34071] ppid=34066 vsize=342428 memory=11436 CPUtime=161.1 cores=0,2
/proc/34069/task/34071/stat : 34071 (fscip) R 34066 34069 31114 0 -1 4194368 194567 0 0 0 16094 16 0 0 20 0 3 0 4821151 350646272 63636 134679101440 4194304 16623229 140727974868064 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 47579136 140727974876182 140727974876298 140727974876298 140727974883312 0
[pid=34069/tid=34072] ppid=34066 vsize=342428 memory=245212 CPUtime=0 cores=0,2
/proc/34069/task/34072/stat : 34072 (fscip) S 34066 34069 31114 0 -1 1077936192 52 0 0 0 0 0 0 0 20 0 3 0 4821155 350646272 63636 134679101440 4194304 16623229 140727974868064 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 47579136 140727974876182 140727974876298 140727974876298 140727974883312 0
Current children cumulated CPU time: 161.54 s
Current children cumulated vsize: 342428 KiB
Current children cumulated memory: 254544 KiB
[startup+222.3 s]
/proc/loadavg: 4.12 4.13 4.09 5/265 34162
/proc/meminfo: memFree=120361644/131524600 swapFree=131071996/131071996
[pid=34069] ppid=34066 vsize=342428 memory=261400 CPUtime=221.3 cores=0,2
/proc/34069/stat : 34069 (fscip) S 34066 34069 31114 0 -1 1077936128 247804 0 0 0 22109 21 0 0 20 0 3 0 4821110 350646272 65350 134679101440 4194304 16623229 140727974868064 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 47579136 140727974876182 140727974876298 140727974876298 140727974883312 0
/proc/34069/statm: 85607 65350 3014 3035 0 71627 0
[pid=34069/tid=34071] ppid=34066 vsize=342428 memory=261400 CPUtime=220.86 cores=0,2
/proc/34069/task/34071/stat : 34071 (fscip) R 34066 34069 31114 0 -1 4194368 219009 0 0 0 22068 18 0 0 20 0 3 0 4821151 350646272 65350 134679101440 4194304 16623229 140727974868064 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 47579136 140727974876182 140727974876298 140727974876298 140727974883312 0
[pid=34069/tid=34072] ppid=34066 vsize=342428 memory=11436 CPUtime=0 cores=0,2
/proc/34069/task/34072/stat : 34072 (fscip) S 34066 34069 31114 0 -1 1077936192 58 0 0 0 0 0 0 0 20 0 3 0 4821155 350646272 65350 134679101440 4194304 16623229 140727974868064 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 47579136 140727974876182 140727974876298 140727974876298 140727974883312 0
################
# More data... #
################
/proc/34069/statm: 85607 77964 3318 3035 0 80778 0
[pid=34069/tid=34071] ppid=34066 vsize=342428 memory=311856 CPUtime=1236.94 cores=0,2
/proc/34069/task/34071/stat : 34071 (fscip) R 34066 34069 31114 0 -1 4194368 495153 0 0 0 123645 49 0 0 20 0 3 0 4821151 350646272 77964 134679101440 4194304 16623229 140727974868064 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 47579136 140727974876182 140727974876298 140727974876298 140727974883312 0
[pid=34069/tid=34072] ppid=34066 vsize=342428 memory=11436 CPUtime=0.01 cores=0,2
/proc/34069/task/34072/stat : 34072 (fscip) S 34066 34069 31114 0 -1 1077936192 128 0 0 0 0 1 0 0 20 0 3 0 4821155 350646272 77964 134679101440 4194304 16623229 140727974868064 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 47579136 140727974876182 140727974876298 140727974876298 140727974883312 0
Current children cumulated CPU time: 1237.43 s
Current children cumulated vsize: 342428 KiB
Current children cumulated memory: 311856 KiB
[startup+1302.3 s]
/proc/loadavg: 4.16 4.13 4.09 5/264 34420
/proc/meminfo: memFree=110211688/131524600 swapFree=131071996/131071996
[pid=34069] ppid=34066 vsize=342428 memory=311856 CPUtime=1297.22 cores=0,2
/proc/34069/stat : 34069 (fscip) S 34066 34069 31114 0 -1 1077936128 529374 0 0 0 129666 56 0 0 20 0 3 0 4821110 350646272 77964 134679101440 4194304 16623229 140727974868064 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 47579136 140727974876182 140727974876298 140727974876298 140727974883312 0
/proc/34069/statm: 85607 77964 3318 3035 0 80778 0
[pid=34069/tid=34071] ppid=34066 vsize=342428 memory=311856 CPUtime=1296.72 cores=0,2
/proc/34069/task/34071/stat : 34071 (fscip) R 34066 34069 31114 0 -1 4194368 496669 0 0 0 129622 50 0 0 20 0 3 0 4821151 350646272 77964 134679101440 4194304 16623229 140727974868064 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 47579136 140727974876182 140727974876298 140727974876298 140727974883312 0
[pid=34069/tid=34072] ppid=34066 vsize=342428 memory=311856 CPUtime=0.01 cores=0,2
/proc/34069/task/34072/stat : 34072 (fscip) S 34066 34069 31114 0 -1 1077936192 129 0 0 0 0 1 0 0 20 0 3 0 4821155 350646272 77964 134679101440 4194304 16623229 140727974868064 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 47579136 140727974876182 140727974876298 140727974876298 140727974883312 0
Current children cumulated CPU time: 1297.22 s
Current children cumulated vsize: 342428 KiB
Current children cumulated memory: 311856 KiB
[startup+1362.3 s]
/proc/loadavg: 4.25 4.15 4.10 5/266 34432
/proc/meminfo: memFree=108287724/131524600 swapFree=131071996/131071996
[pid=34069] ppid=34066 vsize=342428 memory=311856 CPUtime=1356.99 cores=0,2
/proc/34069/stat : 34069 (fscip) S 34066 34069 31114 0 -1 1077936128 530494 0 0 0 135643 56 0 0 20 0 3 0 4821110 350646272 77964 134679101440 4194304 16623229 140727974868064 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 47579136 140727974876182 140727974876298 140727974876298 140727974883312 0
/proc/34069/statm: 85607 77964 3318 3035 0 80778 0
[pid=34069/tid=34071] ppid=34066 vsize=342428 memory=311856 CPUtime=1356.49 cores=0,2
/proc/34069/task/34071/stat : 34071 (fscip) R 34066 34069 31114 0 -1 4194368 497770 0 0 0 135599 50 0 0 20 0 3 0 4821151 350646272 77964 134679101440 4194304 16623229 140727974868064 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 47579136 140727974876182 140727974876298 140727974876298 140727974883312 0
[pid=34069/tid=34072] ppid=34066 vsize=342428 memory=311856 CPUtime=0.01 cores=0,2
/proc/34069/task/34072/stat : 34072 (fscip) S 34066 34069 31114 0 -1 1077936192 130 0 0 0 0 1 0 0 20 0 3 0 4821155 350646272 77964 134679101440 4194304 16623229 140727974868064 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 47579136 140727974876182 140727974876298 140727974876298 140727974883312 0
Current children cumulated CPU time: 1356.99 s
Current children cumulated vsize: 342428 KiB
Current children cumulated memory: 311856 KiB
[startup+1422.3 s]
/proc/loadavg: 4.14 4.14 4.10 5/266 34442
/proc/meminfo: memFree=107549932/131524600 swapFree=131071996/131071996
[pid=34069] ppid=34066 vsize=342428 memory=311856 CPUtime=1416.76 cores=0,2
/proc/34069/stat : 34069 (fscip) S 34066 34069 31114 0 -1 1077936128 531614 0 0 0 141619 57 0 0 20 0 3 0 4821110 350646272 77964 134679101440 4194304 16623229 140727974868064 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 47579136 140727974876182 140727974876298 140727974876298 140727974883312 0
/proc/34069/statm: 85607 77964 3318 3035 0 80778 0
[pid=34069/tid=34071] ppid=34066 vsize=342428 memory=311856 CPUtime=1416.26 cores=0,2
/proc/34069/task/34071/stat : 34071 (fscip) R 34066 34069 31114 0 -1 4194368 498869 0 0 0 141575 51 0 0 20 0 3 0 4821151 350646272 77964 134679101440 4194304 16623229 140727974868064 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 47579136 140727974876182 140727974876298 140727974876298 140727974883312 0
[pid=34069/tid=34072] ppid=34066 vsize=342428 memory=311856 CPUtime=0.01 cores=0,2
/proc/34069/task/34072/stat : 34072 (fscip) S 34066 34069 31114 0 -1 1077936192 131 0 0 0 0 1 0 0 20 0 3 0 4821155 350646272 77964 134679101440 4194304 16623229 140727974868064 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 47579136 140727974876182 140727974876298 140727974876298 140727974883312 0
Current children cumulated CPU time: 1416.76 s
Current children cumulated vsize: 342428 KiB
Current children cumulated memory: 311856 KiB
[startup+1482.3 s]
/proc/loadavg: 4.16 4.14 4.10 5/266 34455
/proc/meminfo: memFree=107525060/131524600 swapFree=131071996/131071996
[pid=34069] ppid=34066 vsize=342428 memory=311856 CPUtime=1476.55 cores=0,2
/proc/34069/stat : 34069 (fscip) S 34066 34069 31114 0 -1 1077936128 532719 0 0 0 147597 58 0 0 20 0 3 0 4821110 350646272 77964 134679101440 4194304 16623229 140727974868064 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 47579136 140727974876182 140727974876298 140727974876298 140727974883312 0
/proc/34069/statm: 85607 77964 3318 3035 0 80778 0
[pid=34069/tid=34071] ppid=34066 vsize=342428 memory=311856 CPUtime=1476.03 cores=0,2
/proc/34069/task/34071/stat : 34071 (fscip) R 34066 34069 31114 0 -1 4194368 499954 0 0 0 147552 51 0 0 20 0 3 0 4821151 350646272 77964 134679101440 4194304 16623229 140727974868064 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 47579136 140727974876182 140727974876298 140727974876298 140727974883312 0
[pid=34069/tid=34072] ppid=34066 vsize=342428 memory=311856 CPUtime=0.01 cores=0,2
/proc/34069/task/34072/stat : 34072 (fscip) S 34066 34069 31114 0 -1 1077936192 132 0 0 0 0 1 0 0 20 0 3 0 4821155 350646272 77964 134679101440 4194304 16623229 140727974868064 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 47579136 140727974876182 140727974876298 140727974876298 140727974883312 0
Current children cumulated CPU time: 1476.55 s
Current children cumulated vsize: 342428 KiB
Current children cumulated memory: 311856 KiB
[startup+1493.3 s]
# the end of solver process 34069 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=1486.92 s, system=0.59005 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1484.8 s]
/proc/loadavg: 4.14 4.14 4.10 5/266 34455
/proc/meminfo: memFree=107524884/131524600 swapFree=131071996/131071996
[pid=34069] ppid=34066 vsize=342428 memory=311856 CPUtime=1479.04 cores=0,2
/proc/34069/stat : 34069 (fscip) S 34066 34069 31114 0 -1 1077936128 532726 0 0 0 147846 58 0 0 20 0 3 0 4821110 350646272 77964 134679101440 4194304 16623229 140727974868064 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 47579136 140727974876182 140727974876298 140727974876298 140727974883312 0
/proc/34069/statm: 85607 77964 3318 3035 0 80778 0
[pid=34069/tid=34071] ppid=34066 vsize=342428 memory=12272 CPUtime=1478.52 cores=0,2
/proc/34069/task/34071/stat : 34071 (fscip) R 34066 34069 31114 0 -1 4194368 499961 0 0 0 147801 51 0 0 20 0 3 0 4821151 350646272 77964 134679101440 4194304 16623229 140727974868064 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 47579136 140727974876182 140727974876298 140727974876298 140727974883312 0
[pid=34069/tid=34072] ppid=34066 vsize=342428 memory=15016 CPUtime=0.01 cores=0,2
/proc/34069/task/34072/stat : 34072 (fscip) S 34066 34069 31114 0 -1 1077936192 132 0 0 0 0 1 0 0 20 0 3 0 4821155 350646272 77964 134679101440 4194304 16623229 140727974868064 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 47579136 140727974876182 140727974876298 140727974876298 140727974883312 0
Current children cumulated CPU time: 1479.04 s
Current children cumulated vsize: 342428 KiB
Current children cumulated memory: 311856 KiB
[startup+1488 s]*
/proc/loadavg: 4.14 4.14 4.10 5/266 34456
/proc/meminfo: memFree=107524412/131524600 swapFree=131071996/131071996
[pid=34069] ppid=34066 vsize=342428 memory=311856 CPUtime=1482.23 cores=0,2
/proc/34069/stat : 34069 (fscip) S 34066 34069 31114 0 -1 1077936128 532748 0 0 0 148165 58 0 0 20 0 3 0 4821110 350646272 77964 134679101440 4194304 16623229 140727974868064 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 47579136 140727974876182 140727974876298 140727974876298 140727974883312 0
/proc/34069/statm: 85607 77964 3318 3035 0 80778 0
[pid=34069/tid=34071] ppid=34066 vsize=342428 memory=12272 CPUtime=1481.71 cores=0,2
/proc/34069/task/34071/stat : 34071 (fscip) R 34066 34069 31114 0 -1 4194368 499982 0 0 0 148120 51 0 0 20 0 3 0 4821151 350646272 77964 134679101440 4194304 16623229 140727974868064 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 47579136 140727974876182 140727974876298 140727974876298 140727974883312 0
[pid=34069/tid=34072] ppid=34066 vsize=342428 memory=5420 CPUtime=0.01 cores=0,2
/proc/34069/task/34072/stat : 34072 (fscip) S 34066 34069 31114 0 -1 1077936192 132 0 0 0 0 1 0 0 20 0 3 0 4821155 350646272 77964 134679101440 4194304 16623229 140727974868064 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 47579136 140727974876182 140727974876298 140727974876298 140727974883312 0
Current children cumulated CPU time: 1482.23 s
Current children cumulated vsize: 342428 KiB
Current children cumulated memory: 311856 KiB
[startup+1491.2 s]
/proc/loadavg: 4.13 4.14 4.09 5/266 34456
/proc/meminfo: memFree=107515088/131524600 swapFree=131071996/131071996
[pid=34069] ppid=34066 vsize=342428 memory=311856 CPUtime=1485.41 cores=0,2
/proc/34069/stat : 34069 (fscip) S 34066 34069 31114 0 -1 1077936128 532758 0 0 0 148483 58 0 0 20 0 3 0 4821110 350646272 77964 134679101440 4194304 16623229 140727974868064 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 47579136 140727974876182 140727974876298 140727974876298 140727974883312 0
/proc/34069/statm: 85607 77964 3318 3035 0 80778 0
[pid=34069/tid=34071] ppid=34066 vsize=342428 memory=311856 CPUtime=1484.9 cores=0,2
/proc/34069/task/34071/stat : 34071 (fscip) R 34066 34069 31114 0 -1 4194368 499992 0 0 0 148439 51 0 0 20 0 3 0 4821151 350646272 77964 134679101440 4194304 16623229 140727974868064 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 47579136 140727974876182 140727974876298 140727974876298 140727974883312 0
[pid=34069/tid=34072] ppid=34066 vsize=342428 memory=33340 CPUtime=0.01 cores=0,2
/proc/34069/task/34072/stat : 34072 (fscip) S 34066 34069 31114 0 -1 1077936192 132 0 0 0 0 1 0 0 20 0 3 0 4821155 350646272 77964 134679101440 4194304 16623229 140727974868064 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 47579136 140727974876182 140727974876298 140727974876298 140727974883312 0
Current children cumulated CPU time: 1485.41 s
Current children cumulated vsize: 342428 KiB
Current children cumulated memory: 311856 KiB
[startup+1492 s]*
/proc/loadavg: 4.13 4.14 4.09 5/266 34457
/proc/meminfo: memFree=107514976/131524600 swapFree=131071996/131071996
[pid=34069] ppid=34066 vsize=342428 memory=311856 CPUtime=1486.22 cores=0,2
/proc/34069/stat : 34069 (fscip) S 34066 34069 31114 0 -1 1077936128 532758 0 0 0 148564 58 0 0 20 0 3 0 4821110 350646272 77964 134679101440 4194304 16623229 140727974868064 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 47579136 140727974876182 140727974876298 140727974876298 140727974883312 0
/proc/34069/statm: 85607 77964 3318 3035 0 80778 0
[pid=34069/tid=34071] ppid=34066 vsize=342428 memory=-7451323800069695095 CPUtime=1485.7 cores=0,2
/proc/34069/task/34071/stat : 34071 (fscip) R 34066 34069 31114 0 -1 4194368 499992 0 0 0 148519 51 0 0 20 0 3 0 4821151 350646272 77964 134679101440 4194304 16623229 140727974868064 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 47579136 140727974876182 140727974876298 140727974876298 140727974883312 0
[pid=34069/tid=34072] ppid=34066 vsize=342428 memory=-5155633680935826750 CPUtime=0.01 cores=0,2
/proc/34069/task/34072/stat : 34072 (fscip) S 34066 34069 31114 0 -1 1077936192 132 0 0 0 0 1 0 0 20 0 3 0 4821155 350646272 77964 134679101440 4194304 16623229 140727974868064 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 47579136 140727974876182 140727974876298 140727974876298 140727974883312 0
Current children cumulated CPU time: 1486.22 s
Current children cumulated vsize: 342428 KiB
Current children cumulated memory: 311856 KiB
[startup+1492.8 s]
/proc/loadavg: 4.13 4.14 4.09 5/266 34457
/proc/meminfo: memFree=107514976/131524600 swapFree=131071996/131071996
[pid=34069] ppid=34066 vsize=342428 memory=311856 CPUtime=1487.01 cores=0,2
/proc/34069/stat : 34069 (fscip) S 34066 34069 31114 0 -1 1077936128 532758 0 0 0 148643 58 0 0 20 0 3 0 4821110 350646272 77964 134679101440 4194304 16623229 140727974868064 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 47579136 140727974876182 140727974876298 140727974876298 140727974883312 0
/proc/34069/statm: 85607 77964 3318 3035 0 80778 0
[pid=34069/tid=34071] ppid=34066 vsize=342428 memory=311856 CPUtime=1486.49 cores=0,2
/proc/34069/task/34071/stat : 34071 (fscip) R 34066 34069 31114 0 -1 4194368 499992 0 0 0 148598 51 0 0 20 0 3 0 4821151 350646272 77964 134679101440 4194304 16623229 140727974868064 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 47579136 140727974876182 140727974876298 140727974876298 140727974883312 0
[pid=34069/tid=34072] ppid=34066 vsize=342428 memory=311856 CPUtime=0.01 cores=0,2
/proc/34069/task/34072/stat : 34072 (fscip) S 34066 34069 31114 0 -1 1077936192 132 0 0 0 0 1 0 0 20 0 3 0 4821155 350646272 77964 134679101440 4194304 16623229 140727974868064 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 47579136 140727974876182 140727974876298 140727974876298 140727974883312 0
Current children cumulated CPU time: 1487.01 s
Current children cumulated vsize: 342428 KiB
Current children cumulated memory: 311856 KiB
[startup+1493.2 s]
/proc/loadavg: 4.13 4.14 4.09 5/266 34457
/proc/meminfo: memFree=107513604/131524600 swapFree=131071996/131071996
[pid=34069] ppid=34066 vsize=342428 memory=311856 CPUtime=1487.41 cores=0,2
/proc/34069/stat : 34069 (fscip) S 34066 34069 31114 0 -1 1077936128 532758 0 0 0 148683 58 0 0 20 0 3 0 4821110 350646272 77964 134679101440 4194304 16623229 140727974868064 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 47579136 140727974876182 140727974876298 140727974876298 140727974883312 0
/proc/34069/statm: 85607 77964 3318 3035 0 80778 0
[pid=34069/tid=34071] ppid=34066 vsize=342428 memory=-7667496582183477370 CPUtime=1486.89 cores=0,2
/proc/34069/task/34071/stat : 34071 (fscip) R 34066 34069 31114 0 -1 4194368 499992 0 0 0 148638 51 0 0 20 0 3 0 4821151 350646272 77964 134679101440 4194304 16623229 140727974868064 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 47579136 140727974876182 140727974876298 140727974876298 140727974883312 0
[pid=34069/tid=34072] ppid=34066 vsize=342428 memory=27828 CPUtime=0.01 cores=0,2
/proc/34069/task/34072/stat : 34072 (fscip) S 34066 34069 31114 0 -1 1077936192 132 0 0 0 0 1 0 0 20 0 3 0 4821155 350646272 77964 134679101440 4194304 16623229 140727974868064 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 47579136 140727974876182 140727974876298 140727974876298 140727974883312 0
Current children cumulated CPU time: 1487.41 s
Current children cumulated vsize: 342428 KiB
Current children cumulated memory: 311856 KiB
Child status: 0
Real time (s): 1493.3
CPU time (s): 1487.51
CPU user time (s): 1486.92
CPU system time (s): 0.59005
CPU usage (%): 99.6126
Max. virtual memory (cumulated for all children) (KiB): 342428
Max. memory (cumulated for all children) (KiB): 311856
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1486.92
system time used= 0.59005
maximum resident set size= 311856
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 534271
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= 3311
involuntary context switches= 10318
# summary of solver processes directly reported to runsolver:
# pid: 34069
# total CPU time (s): 1487.51
# total CPU user time (s): 1486.92
# total CPU system time (s): 0.59005
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.09774 second user time and 6.13026 second system time
The end
Begin job on nodeC025 at 2024-07-31 01:30:12
IDJOB=4464216
IDBENCH=155605
IDSOLVER=3092
FILE ID=nodeC025/4464216-1722382212
RUNJOBID= nodeC025-1722378594-31126
SLURM_JOB_ID= 8249848
Free space on /tmp= 889996 MiB
SOLVER NAME= FiberSCIP 2024-07-30
BENCH NAME= PB24/normalized-PB12/OPT-LIN/zahidi/Base/normalized-minisat70_4_22_5.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-4464216-1722382212/watcher-4464216-1722382212 -o /tmp/evaluation-result-4464216-1722382212/solver-4464216-1722382212 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC025-1722378594-31126 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4464216-1722382212.opb -qsol -t 3600 -sth 1
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 90cf94310e57120d5401aeddd838603e
RANDOM SEED=1367756045
nodeC025.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 : 3662.196
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7000.10
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 : 3678.258
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.96
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 : 3671.117
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7000.10
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 : 3620.164
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.96
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 : 3672.781
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7000.10
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 : 3677.057
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.96
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 : 3642.952
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7000.10
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 : 3600.445
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.96
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 122421988 kB
MemAvailable: 128484932 kB
Buffers: 93584 kB
Cached: 6746936 kB
SwapCached: 0 kB
Active: 271224 kB
Inactive: 8227304 kB
Active(anon): 1544 kB
Inactive(anon): 1677824 kB
Active(file): 269680 kB
Inactive(file): 6549480 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 59124 kB
Writeback: 0 kB
AnonPages: 1657872 kB
Mapped: 123132 kB
Shmem: 21336 kB
KReclaimable: 167888 kB
Slab: 257792 kB
SReclaimable: 167888 kB
SUnreclaim: 89904 kB
KernelStack: 4256 kB
PageTables: 12588 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 1256128 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 9664 kB
HardwareCorrupted: 0 kB
AnonHugePages: 372736 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: 248532 kB
DirectMap2M: 11059200 kB
DirectMap1G: 124780544 kB
Free space on /tmp at the end= 889840 MiB
End job on nodeC025 at 2024-07-31 01:55:05