Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
oree 0.1.2 alpha | SAT (TO) | 194 | 1801.07 | 1801.65 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/logic-synthesis/normalized-test4.pi.opb |
MD5SUM | cca57c347e264f92fb70010109aa24c5 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 108 |
Best CPU time to get the best result obtained on this benchmark | 1800.05 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 104 |
Optimality of the best value was proved | NO |
Number of variables | 6139 |
Total number of constraints | 1437 |
Number of constraints which are clauses | 1437 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 5 |
Maximum length of a constraint | 172 |
Number of terms in the objective function | 6139 |
Biggest coefficient in the objective function | 1 |
Number of bits for the biggest coefficient in the objective function | 1 |
Sum of the numbers in the objective function | 6139 |
Number of bits of the sum of numbers in the objective function | 13 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 6139 |
Number of bits of the biggest sum of numbers | 13 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.00 c This is oree version 0.1.2 alpha 0.00/0.00 c (c) roussel@cril.univ-artois.fr 0.00/0.00 c using __gmp_expr<__gmpz_value, __gmpz_value> 0.00/0.00 c parsing... 0.19/0.25 c ...done 0.19/0.25 c #vars=6139 #constraints=1438 hasObjective=yes 0.40/0.43 c res. mode=mod 0.40/0.43 c VSIDS like heuristics 0.40/0.43 c complete search running 0.40/0.46 c restart after 401 decisions 0.40/0.47 c nbDecision=500 #constraints=1438 0.40/0.48 c restart after 801 decisions 0.49/0.50 c nbDecision=1000 #constraints=1438 0.49/0.53 c nbDecision=1500 #constraints=1438 0.49/0.53 c restart after 1601 decisions 0.49/0.56 c nbDecision=2000 #constraints=1438 0.49/0.59 c nbDecision=2500 #constraints=1438 0.59/0.62 c nbDecision=3000 #constraints=1438 0.59/0.63 c restart after 3201 decisions 0.59/0.65 c nbDecision=3500 #constraints=1438 0.59/0.68 c nbDecision=4000 #constraints=1438 0.69/0.71 c nbDecision=4500 #constraints=1438 0.69/0.73 c nbDecision=5000 #constraints=1438 0.69/0.76 c nbDecision=5500 #constraints=1438 0.69/0.78 c nbDecision=6000 #constraints=1438 0.69/0.80 c restart after 6401 decisions 0.79/0.81 c nbDecision=6500 #constraints=1438 0.79/0.84 c nbDecision=7000 #constraints=1438 0.79/0.87 c nbDecision=7500 #constraints=1438 0.89/0.90 c nbDecision=8000 #constraints=1438 0.89/0.92 c nbDecision=8500 #constraints=1438 0.89/0.94 c nbDecision=9000 #constraints=1438 0.89/0.97 c nbDecision=9500 #constraints=1438 0.89/0.98 c nbDecision=10000 #constraints=1438 1.00/1.00 c nbDecision=10500 #constraints=1438 1.00/1.02 c nbDecision=11000 #constraints=1438 1.00/1.03 c nbDecision=11500 #constraints=1438 1.00/1.05 c nbDecision=12000 #constraints=1438 1.00/1.05 c nbDecision=12345 #constraints=1438 1.00/1.05 c linear search for optimum 1.00/1.05 o 195 1.19/1.23 c nbDecision=12500 #constraints=1502 1.39/1.43 c nbDecision=12753 #constraints=1565 1.39/1.43 o 194 1.39/1.48 c restart after 12801 decisions 1.49/1.52 c nbDecision=13000 #constraints=1579 1.49/1.55 c nbDecision=13500 #constraints=1579 1.49/1.58 c nbDecision=14000 #constraints=1579 1.59/1.61 c nbDecision=14500 #constraints=1579 1.59/1.63 c nbDecision=15000 #constraints=1579 1.59/1.66 c nbDecision=15500 #constraints=1579 1.59/1.68 c nbDecision=16000 #constraints=1579 1.69/1.70 c nbDecision=16500 #constraints=1579 1.69/1.72 c nbDecision=17000 #constraints=1579 1.69/1.73 c nbDecision=17500 #constraints=1579 1.69/1.75 c nbDecision=18000 #constraints=1579 1.69/1.76 c nbDecision=18500 #constraints=1579 1.99/2.02 c nbDecision=19000 #constraints=1648 2.40/2.43 c nbDecision=19500 #constraints=1763 2.79/2.86 c nbDecision=20000 #constraints=1875 3.39/3.45 c nbDecision=20500 #constraints=2013 3.80/3.89 c nbDecision=21000 #constraints=2118 4.30/4.38 c nbDecision=21500 #constraints=2226 4.79/4.89 c nbDecision=22000 #constraints=2334 5.40/5.42 c nbDecision=22500 #constraints=2437 6.09/6.17 c nbDecision=23000 #constraints=2571 6.89/6.97 c nbDecision=23500 #constraints=2719 7.79/7.82 c nbDecision=24000 #constraints=2869 8.70/8.73 c nbDecision=24500 #constraints=3021 9.89/9.97 c nbDecision=25000 #constraints=3217 11.29/11.33 c nbDecision=25500 #constraints=3408 11.59/11.67 c restart after 25601 decisions 11.89/11.91 c nbDecision=26000 #constraints=3459 11.89/11.96 c nbDecision=26500 #constraints=3459 12.00/12.01 c nbDecision=27000 #constraints=3459 12.00/12.05 c nbDecision=27500 #constraints=3459 12.00/12.10 c nbDecision=28000 #constraints=3459 12.10/12.14 c nbDecision=28500 #constraints=3459 12.10/12.18 c nbDecision=29000 #constraints=3459 12.19/12.22 c nbDecision=29500 #constraints=3459 12.19/12.26 c nbDecision=30000 #constraints=3459 12.19/12.29 c nbDecision=30500 #constraints=3459 12.29/12.33 c nbDecision=31000 #constraints=3459 12.39/12.43 c nbDecision=31500 #constraints=3466 13.89/13.94 c nbDecision=32000 #constraints=3674 15.08/15.10 c nbDecision=32500 #constraints=3820 16.09/16.11 c nbDecision=33000 #constraints=3947 16.99/17.09 c nbDecision=33500 #constraints=4065 18.09/18.16 c nbDecision=34000 #constraints=4189 19.19/19.20 c nbDecision=34500 #constraints=4303 20.18/20.20 c nbDecision=35000 #constraints=4412 21.09/21.18 c nbDecision=35500 #constraints=4515 22.18/22.28 c nbDecision=36000 #constraints=4627 23.58/23.69 c nbDecision=36500 #constraints=4746 25.29/25.37 c nbDecision=37000 #constraints=4889 27.08/27.19 c nbDecision=37500 #constraints=5044 28.88/28.97 c nbDecision=38000 #constraints=5184 31.19/31.30 c nbDecision=38500 #constraints=5374 33.68/33.73 c nbDecision=39000 #constraints=5567 36.38/36.41 c nbDecision=39500 #constraints=5762 39.19/39.26 c nbDecision=40000 #constraints=5967 41.58/41.67 c nbDecision=40500 #constraints=6126 44.18/44.25 c nbDecision=41000 #constraints=6295 46.78/46.89 c nbDecision=41500 #constraints=6476 49.48/49.59 c nbDecision=42000 #constraints=6642 52.18/52.25 c nbDecision=42500 #constraints=6798 55.08/55.13 c nbDecision=43000 #constraints=6975 56.87/56.97 c nbDecision=43500 #constraints=7112 58.47/58.56 c nbDecision=44000 #constraints=7219 60.88/60.90 c nbDecision=44500 #constraints=7352 63.78/63.86 c nbDecision=45000 #constraints=7508 66.08/66.14 c nbDecision=45500 #constraints=7640 67.87/67.91 c nbDecision=46000 #constraints=7759 70.38/70.42 c nbDecision=46500 #constraints=7885 73.48/73.58 c nbDecision=47000 #constraints=8035 76.77/76.87 c nbDecision=47500 #constraints=8183 79.98/80.09 c nbDecision=48000 #constraints=8328 81.97/82.06 c nbDecision=48500 #constraints=8438 84.27/84.30 c nbDecision=49000 #constraints=8576 86.17/86.29 c nbDecision=49500 #constraints=8693 88.47/88.50 c nbDecision=50000 #constraints=8820 90.47/90.60 c nbDecision=50500 #constraints=8929 92.57/92.63 c nbDecision=51000 #constraints=9041 93.37/93.49 c restart after 51201 decisions 94.87/94.96 c nbDecision=51500 #constraints=9083 95.07/95.10 c nbDecision=52000 #constraints=9083 95.17/95.22 c nbDecision=52500 #constraints=9083 95.27/95.37 c nbDecision=53000 #constraints=9083 95.37/95.47 c nbDecision=53500 #constraints=9083 95.57/95.63 c nbDecision=54000 #constraints=9083 95.67/95.77 c nbDecision=54500 #constraints=9083 95.87/95.90 c nbDecision=55000 #constraints=9083 95.97/96.06 c nbDecision=55500 #constraints=9083 96.17/96.20 c nbDecision=56000 #constraints=9083 96.27/96.38 c nbDecision=56500 #constraints=9083 96.57/96.62 c nbDecision=57000 #constraints=9083 98.16/98.25 c nbDecision=57500 #constraints=9170 100.36/100.41 c nbDecision=58000 #constraints=9278 103.77/103.85 c nbDecision=58500 #constraints=9415 107.16/107.29 c nbDecision=59000 #constraints=9554 111.26/111.34 c nbDecision=59500 #constraints=9720 114.66/114.76 c nbDecision=60000 #constraints=9856 119.57/119.61 c nbDecision=60500 #constraints=10060 124.56/124.62 c nbDecision=61000 #constraints=10259 129.56/129.67 c nbDecision=61500 #constraints=10461 134.46/134.59 c nbDecision=62000 #constraints=10635 139.35/139.49 c nbDecision=62500 #constraints=10811 144.15/144.24 c nbDecision=63000 #constraints=10978 148.26/148.37 c nbDecision=63500 #constraints=11133 150.75/150.81 c nbDecision=64000 #constraints=11249 153.96/154.03 c nbDecision=64500 #constraints=11365 158.15/158.27 c nbDecision=65000 #constraints=11501 163.35/163.41 c nbDecision=65500 #constraints=11656 167.94/168.07 c nbDecision=66000 #constraints=11795 173.35/173.41 c nbDecision=66500 #constraints=11970 178.44/178.53 c nbDecision=67000 #constraints=12137 181.05/181.12 c nbDecision=67500 #constraints=12245 183.75/183.86 c nbDecision=68000 #constraints=12353 188.24/188.38 c nbDecision=68500 #constraints=12497 193.15/193.29 c nbDecision=69000 #constraints=12671 195.65/195.77 c nbDecision=69500 #constraints=12774 199.44/199.52 c nbDecision=70000 #constraints=12899 204.54/204.67 c nbDecision=70500 #constraints=13060 210.44/210.57 c nbDecision=71000 #constraints=13221 214.04/214.19 c nbDecision=71500 #constraints=13330 216.84/216.96 c nbDecision=72000 #constraints=13435 221.33/221.48 c nbDecision=72500 #constraints=13569 227.33/227.47 c nbDecision=73000 #constraints=13752 233.13/233.21 c nbDecision=73500 #constraints=13882 239.03/239.15 c nbDecision=74000 #constraints=14044 245.13/245.29 c nbDecision=74500 #constraints=14211 250.53/250.62 c nbDecision=75000 #constraints=14355 253.53/253.60 c nbDecision=75500 #constraints=14467 257.72/257.88 c nbDecision=76000 #constraints=14589 262.83/262.98 c nbDecision=76500 #constraints=14717 269.52/269.68 c nbDecision=77000 #constraints=14889 272.72/272.90 c nbDecision=77500 #constraints=15000 276.72/276.86 c nbDecision=78000 #constraints=15115 282.22/282.39 c nbDecision=78500 #constraints=15244 289.72/289.80 c nbDecision=79000 #constraints=15422 295.92/296.02 c nbDecision=79500 #constraints=15561 301.01/301.16 c nbDecision=80000 #constraints=15685 304.41/304.60 c nbDecision=80500 #constraints=15803 308.91/309.08 c nbDecision=81000 #constraints=15917 314.92/315.04 c nbDecision=81500 #constraints=16053 322.31/322.43 c nbDecision=82000 #constraints=16215 328.01/328.11 c nbDecision=82500 #constraints=16345 331.71/331.80 c nbDecision=83000 #constraints=16464 336.31/336.45 c nbDecision=83500 #constraints=16590 340.20/340.35 c nbDecision=84000 #constraints=16714 344.50/344.64 c nbDecision=84500 #constraints=16831 348.10/348.28 c nbDecision=85000 #constraints=16941 352.10/352.26 c nbDecision=85500 #constraints=17049 355.40/355.59 c nbDecision=86000 #constraints=17152 359.90/360.10 c nbDecision=86500 #constraints=17261 366.60/366.78 c nbDecision=87000 #constraints=17401 373.60/373.71 c nbDecision=87500 #constraints=17549 380.59/380.74 c nbDecision=88000 #constraints=17701 387.29/387.47 c nbDecision=88500 #constraints=17848 396.49/396.69 c nbDecision=89000 #constraints=18060 405.49/405.62 c nbDecision=89500 #constraints=18250 414.69/414.81 c nbDecision=90000 #constraints=18454 423.58/423.71 c nbDecision=90500 #constraints=18635 431.78/431.95 c nbDecision=91000 #constraints=18796 440.38/440.59 c nbDecision=91500 #constraints=18964 447.18/447.30 c nbDecision=92000 #constraints=19115 451.58/451.75 c nbDecision=92500 #constraints=19227 457.38/457.59 c nbDecision=93000 #constraints=19347 465.27/465.50 c nbDecision=93500 #constraints=19498 474.27/474.46 c nbDecision=94000 #constraints=19649 481.97/482.18 c nbDecision=94500 #constraints=19783 488.06/488.24 c nbDecision=95000 #constraints=19920 492.46/492.69 c nbDecision=95500 #constraints=20028 498.96/499.18 c nbDecision=96000 #constraints=20154 508.16/508.33 c nbDecision=96500 #constraints=20337 516.25/516.44 c nbDecision=97000 #constraints=20467 523.86/524.08 c nbDecision=97500 #constraints=20615 528.55/528.75 c nbDecision=98000 #constraints=20733 534.65/534.83 c nbDecision=98500 #constraints=20851 542.65/542.82 c nbDecision=99000 #constraints=20987 552.14/552.37 c nbDecision=99500 #constraints=21142 559.85/560.06 c nbDecision=100000 #constraints=21274 564.15/564.34 c nbDecision=100500 #constraints=21373 570.04/570.27 c nbDecision=101000 #constraints=21492 579.14/579.34 c nbDecision=101500 #constraints=21658 585.84/586.09 c nbDecision=102000 #constraints=21802 589.84/590.05 c restart after 102401 decisions 593.74/593.96 c nbDecision=102500 #constraints=21886 593.94/594.18 c nbDecision=103000 #constraints=21886 594.24/594.47 c nbDecision=103500 #constraints=21886 594.54/594.79 c nbDecision=104000 #constraints=21886 594.84/595.05 c nbDecision=104500 #constraints=21886 595.24/595.44 c nbDecision=105000 #constraints=21886 595.54/595.74 c nbDecision=105500 #constraints=21886 595.84/596.10 c nbDecision=106000 #constraints=21886 596.34/596.52 c nbDecision=106500 #constraints=21886 596.64/596.84 c nbDecision=107000 #constraints=21886 597.04/597.21 c nbDecision=107500 #constraints=21886 597.44/597.69 c nbDecision=108000 #constraints=21886 600.14/600.37 c nbDecision=108500 #constraints=21926 608.04/608.24 c nbDecision=109000 #constraints=22068 618.33/618.59 c nbDecision=109500 #constraints=22255 627.03/627.26 c nbDecision=110000 #constraints=22372 631.82/632.00 c nbDecision=110500 #constraints=22485 637.63/637.86 c nbDecision=111000 #constraints=22596 646.92/647.18 c nbDecision=111500 #constraints=22756 657.02/657.24 c nbDecision=112000 #constraints=22919 666.22/666.43 c nbDecision=112500 #constraints=23041 670.82/671.02 c nbDecision=113000 #constraints=23149 676.72/676.99 c nbDecision=113500 #constraints=23259 686.61/686.89 c nbDecision=114000 #constraints=23425 696.61/696.84 c nbDecision=114500 #constraints=23582 706.11/706.37 c nbDecision=115000 #constraints=23717 716.91/717.10 c nbDecision=115500 #constraints=23891 727.70/727.98 c nbDecision=116000 #constraints=24057 737.91/738.12 c nbDecision=116500 #constraints=24210 747.00/747.28 c nbDecision=117000 #constraints=24323 758.20/758.46 c nbDecision=117500 #constraints=24490 769.09/769.31 c nbDecision=118000 #constraints=24641 780.08/780.40 c nbDecision=118500 #constraints=24805 791.09/791.35 c nbDecision=119000 #constraints=24934 801.39/801.66 c nbDecision=119500 #constraints=25072 811.88/812.19 c nbDecision=120000 #constraints=25218 822.27/822.56 c nbDecision=120500 #constraints=25353 832.88/833.13 c nbDecision=121000 #constraints=25503 842.17/842.41 c nbDecision=121500 #constraints=25628 853.47/853.77 c nbDecision=122000 #constraints=25754 864.37/864.66 c nbDecision=122500 #constraints=25880 875.96/876.24 c nbDecision=123000 #constraints=26049 886.56/886.86 c nbDecision=123500 #constraints=26179 896.55/896.81 c nbDecision=124000 #constraints=26294 907.76/908.05 c nbDecision=124500 #constraints=26452 918.16/918.47 c nbDecision=125000 #constraints=26592 928.35/928.64 c nbDecision=125500 #constraints=26729 937.65/937.94 c nbDecision=126000 #constraints=26842 950.15/950.46 c nbDecision=126500 #constraints=27019 962.04/962.32 c nbDecision=127000 #constraints=27180 972.39/972.79 c nbDecision=127500 #constraints=27309 984.27/984.62 c nbDecision=128000 #constraints=27433 996.54/996.91 c nbDecision=128500 #constraints=27600 1007.93/1008.36 c nbDecision=129000 #constraints=27730 1018.71/1019.13 c nbDecision=129500 #constraints=27871 1030.32/1030.74 c nbDecision=130000 #constraints=28023 1041.00/1041.46 c nbDecision=130500 #constraints=28148 1053.41/1053.80 c nbDecision=131000 #constraints=28266 1064.50/1064.95 c nbDecision=131500 #constraints=28409 1076.29/1076.78 c nbDecision=132000 #constraints=28555 1088.19/1088.67 c nbDecision=132500 #constraints=28693 1099.19/1099.65 c nbDecision=133000 #constraints=28812 1111.08/1111.57 c nbDecision=133500 #constraints=28962 1122.78/1123.21 c nbDecision=134000 #constraints=29110 1133.28/1133.74 c nbDecision=134500 #constraints=29235 1143.98/1144.42 c nbDecision=135000 #constraints=29361 1156.78/1157.24 c nbDecision=135500 #constraints=29522 1170.87/1171.33 c nbDecision=136000 #constraints=29706 1181.86/1182.33 c nbDecision=136500 #constraints=29826 1194.57/1195.01 c nbDecision=137000 #constraints=29952 1207.86/1208.31 c nbDecision=137500 #constraints=30124 1218.46/1218.96 c nbDecision=138000 #constraints=30228 1231.65/1232.14 c nbDecision=138500 #constraints=30394 1243.56/1244.05 c nbDecision=139000 #constraints=30534 1256.05/1256.57 c nbDecision=139500 #constraints=30664 1268.54/1269.01 c nbDecision=140000 #constraints=30777 1281.84/1282.35 c nbDecision=140500 #constraints=30948 1294.14/1294.63 c nbDecision=141000 #constraints=31067 1305.44/1305.91 c nbDecision=141500 #constraints=31196 1318.53/1319.08 c nbDecision=142000 #constraints=31335 1331.22/1331.70 c nbDecision=142500 #constraints=31487 1343.53/1344.03 c nbDecision=143000 #constraints=31627 1353.22/1353.78 c nbDecision=143500 #constraints=31739 1358.92/1359.43 c nbDecision=144000 #constraints=31858 1365.72/1366.28 c nbDecision=144500 #constraints=31975 1372.23/1372.78 c nbDecision=145000 #constraints=32107 1379.32/1379.84 c nbDecision=145500 #constraints=32227 1384.61/1385.19 c nbDecision=146000 #constraints=32334 1390.51/1391.09 c nbDecision=146500 #constraints=32435 1396.11/1396.69 c nbDecision=147000 #constraints=32546 1403.41/1403.90 c nbDecision=147500 #constraints=32657 1413.70/1414.24 c nbDecision=148000 #constraints=32789 1425.30/1425.86 c nbDecision=148500 #constraints=32936 1437.10/1437.60 c nbDecision=149000 #constraints=33092 1448.00/1448.59 c nbDecision=149500 #constraints=33244 1462.29/1462.86 c nbDecision=150000 #constraints=33449 1477.89/1478.45 c nbDecision=150500 #constraints=33646 1492.78/1493.33 c nbDecision=151000 #constraints=33850 1503.48/1504.03 c nbDecision=151500 #constraints=34003 1510.68/1511.25 c nbDecision=152000 #constraints=34126 1518.08/1518.61 c nbDecision=152500 #constraints=34250 1524.78/1525.38 c nbDecision=153000 #constraints=34372 1532.68/1533.21 c nbDecision=153500 #constraints=34490 1538.38/1538.96 c nbDecision=154000 #constraints=34591 1545.27/1545.87 c nbDecision=154500 #constraints=34702 1551.37/1551.95 c nbDecision=155000 #constraints=34804 1561.26/1561.90 c nbDecision=155500 #constraints=34927 1572.86/1573.49 c nbDecision=156000 #constraints=35068 1586.16/1586.78 c nbDecision=156500 #constraints=35221 1598.46/1599.04 c nbDecision=157000 #constraints=35371 1611.86/1612.46 c nbDecision=157500 #constraints=35545 1628.85/1629.45 c nbDecision=158000 #constraints=35754 1644.85/1645.45 c nbDecision=158500 #constraints=35949 1661.74/1662.32 c nbDecision=159000 #constraints=36143 1677.34/1677.93 c nbDecision=159500 #constraints=36304 1694.24/1694.88 c nbDecision=160000 #constraints=36482 1710.63/1711.24 c nbDecision=160500 #constraints=36662 1725.82/1726.41 c nbDecision=161000 #constraints=36817 1741.82/1742.49 c nbDecision=161500 #constraints=36981 1758.92/1759.58 c nbDecision=162000 #constraints=37165 1768.02/1768.68 c nbDecision=162500 #constraints=37299 1775.82/1776.46 c nbDecision=163000 #constraints=37408 1787.61/1788.24 c nbDecision=163500 #constraints=37535 1800.02/1800.61 Received signal 15 1800.91/1801.53 1800.91/1801.53 s SATISFIABLE 1800.91/1801.53 v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 1800.91/1801.53 v -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 1800.91/1801.53 v -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 1800.91/1801.53 v -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 1800.91/1801.53 v -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 1800.91/1801.53 v -x126 x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 1800.91/1801.53 v -x147 x148 -x149 x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 1800.91/1801.53 v -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 1800.91/1801.53 v -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 1800.91/1801.53 v -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 1800.91/1801.53 v -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 1800.91/1801.53 v -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 1800.91/1801.53 v -x273 -x274 -x275 x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 1800.91/1801.53 v -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 1800.91/1801.53 v -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 1800.91/1801.53 v -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 1800.91/1801.53 v -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 1800.91/1801.53 v -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 x388 -x389 -x390 -x391 -x392 x393 -x394 x395 -x396 -x397 -x398 1800.91/1801.53 v -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 1800.91/1801.53 v -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 1800.91/1801.53 v -x441 -x442 -x443 -x444 -x445 -x446 x447 x448 x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 1800.91/1801.53 v -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 1800.91/1801.53 v -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 1800.91/1801.53 v -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 1800.91/1801.53 v -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 x543 -x544 -x545 1800.91/1801.53 v -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 1800.91/1801.53 v -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 1800.91/1801.53 v -x588 -x589 -x590 x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 1800.91/1801.53 v -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 1800.91/1801.53 v -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 x641 -x642 -x643 -x644 -x645 x646 -x647 -x648 -x649 -x650 1800.91/1801.53 v -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 x669 -x670 -x671 1800.91/1801.53 v x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 x684 x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 1800.91/1801.53 v -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 x708 -x709 -x710 -x711 -x712 -x713 1800.91/1801.53 v -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 1800.91/1801.53 v -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 1800.91/1801.53 v -x756 -x757 x758 -x759 -x760 -x761 -x762 x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 1800.91/1801.53 v -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 1800.91/1801.53 v -x798 -x799 -x800 x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 1800.91/1801.53 v -x819 x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 x835 -x836 -x837 -x838 -x839 1800.91/1801.53 v -x840 -x841 -x842 -x843 x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 1800.91/1801.53 v -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 1800.91/1801.53 v -x882 -x883 -x884 -x885 -x886 -x887 x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 1800.91/1801.53 v -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 1800.91/1801.53 v -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 1800.91/1801.53 v -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 1800.91/1801.53 v -x966 x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 1800.91/1801.53 v -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 1800.91/1801.53 v -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 1800.91/1801.53 v -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 1800.91/1801.53 v -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 1800.91/1801.53 v -x1057 -x1058 -x1059 -x1060 x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 1800.91/1801.53 v -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 1800.91/1801.53 v -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 1800.91/1801.53 v -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 1800.91/1801.53 v -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 1800.91/1801.53 v -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 1800.91/1801.53 v -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 1800.91/1801.53 v -x1176 -x1177 -x1178 x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 x1192 -x1193 1800.91/1801.53 v -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 1800.91/1801.53 v -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 1800.91/1801.53 v -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 1800.91/1801.53 v -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 1800.91/1801.53 v -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 x1273 -x1274 -x1275 -x1276 -x1277 x1278 -x1279 1800.91/1801.53 v -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 1800.91/1801.53 v -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 x1309 -x1310 -x1311 -x1312 -x1313 1800.91/1801.53 v -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 x1325 x1326 -x1327 x1328 -x1329 -x1330 -x1331 1800.91/1801.53 v -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 1800.91/1801.53 v -x1349 x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 x1357 x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 1800.91/1801.53 v -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 1800.91/1801.53 v -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 1800.91/1801.53 v -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 1800.91/1801.53 v -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 1800.91/1801.53 v -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 1800.91/1801.53 v -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 1800.91/1801.53 v -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 1800.91/1801.53 v -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 1800.91/1801.53 v -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 1800.91/1801.53 v -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 1800.91/1801.53 v -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 x1543 -x1544 x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 1800.91/1801.53 v -x1555 x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 x1565 -x1566 x1567 -x1568 -x1569 -x1570 -x1571 -x1572 1800.91/1801.53 v -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 1800.91/1801.53 v -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 1800.91/1801.53 v -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 1800.91/1801.53 v -x1624 -x1625 -x1626 -x1627 x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 1800.91/1801.53 v -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 x1653 -x1654 -x1655 -x1656 -x1657 1800.91/1801.53 v -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 1800.91/1801.53 v -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 1800.91/1801.53 v -x1692 -x1693 x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 1800.91/1801.53 v -x1709 -x1710 -x1711 x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 1800.91/1801.53 v -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 1800.91/1801.53 v -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 1800.91/1801.53 v -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 1800.91/1801.53 v -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 x1792 -x1793 1800.91/1801.53 v -x1794 -x1795 x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 1800.91/1801.53 v -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 1800.91/1801.53 v -x1828 -x1829 x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 x1841 -x1842 -x1843 -x1844 -x1845 1800.91/1801.53 v -x1846 -x1847 x1848 -x1849 x1850 x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 1800.91/1801.53 v -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 1800.91/1801.53 v -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 1800.91/1801.53 v -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 1800.91/1801.53 v -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 x1922 x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 1800.91/1801.53 v -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 1800.91/1801.53 v -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 1800.91/1801.53 v -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 1800.91/1801.53 v -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 1800.91/1801.53 v -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 x2013 -x2014 -x2015 -x2016 -x2017 1800.91/1801.53 v -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 1800.91/1801.53 v -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 1800.91/1801.53 v -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 1800.91/1801.53 v -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 x2085 1800.91/1801.53 v -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 1800.91/1801.53 v -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 1800.91/1801.53 v -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 1800.91/1801.53 v -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 1800.91/1801.53 v -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 1800.91/1801.53 v -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 1800.91/1801.53 v -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 1800.91/1801.53 v -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 x2220 -x2221 1800.91/1801.53 v -x2222 -x2223 -x2224 x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 1800.91/1801.53 v -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 1800.91/1801.53 v -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 1800.91/1801.53 v -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 x2285 x2286 -x2287 -x2288 -x2289 -x2290 1800.91/1801.53 v -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 1800.91/1801.53 v -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 1800.91/1801.53 v -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 1800.91/1801.53 v -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 1800.91/1801.53 v -x2359 -x2360 -x2361 x2362 -x2363 -x2364 -x2365 -x2366 -x2367 x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 x2375 -x2376 1800.91/1801.53 v -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 1800.91/1801.53 v -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 1800.91/1801.53 v -x2411 -x2412 -x2413 x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 1800.91/1801.53 v -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 1800.91/1801.53 v x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 1800.91/1801.53 v -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 1800.91/1801.53 v -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 1800.91/1801.53 v -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 x2506 -x2507 -x2508 x2509 -x2510 -x2511 -x2512 -x2513 -x2514 1800.91/1801.53 v -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 1800.91/1801.53 v -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 1800.91/1801.53 v -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 1800.91/1801.53 v -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 1800.91/1801.53 v -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 1800.91/1801.53 v -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 1800.91/1801.53 v -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 1800.91/1801.53 v -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 1800.91/1801.53 v -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 1800.91/1801.53 v -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 1800.91/1801.53 v -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 x2700 -x2701 1800.91/1801.53 v -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 x2717 -x2718 -x2719 1800.91/1801.53 v x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 1800.91/1801.53 v -x2737 -x2738 -x2739 -x2740 -x2741 x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 1800.91/1801.53 v -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 1800.91/1801.53 v -x2771 -x2772 -x2773 x2774 -x2775 -x2776 -x2777 -x2778 -x2779 x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 1800.91/1801.53 v -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 1800.91/1801.53 v -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 1800.91/1801.53 v -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 x2834 -x2835 -x2836 -x2837 -x2838 -x2839 1800.91/1801.53 v -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 1800.91/1801.53 v -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 1800.91/1801.53 v -x2874 -x2875 -x2876 -x2877 -x2878 x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 1800.91/1801.53 v -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 1800.91/1801.53 v -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 1800.91/1801.53 v -x2925 x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 1800.91/1801.53 v -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 1800.91/1801.53 v -x2959 x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 1800.91/1801.53 v -x2976 -x2977 x2978 x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 x2990 -x2991 -x2992 -x2993 1800.91/1801.53 v -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 x3008 -x3009 -x3010 1800.91/1801.53 v -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 1800.91/1801.53 v -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 1800.91/1801.53 v -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 1800.91/1801.53 v -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 1800.91/1801.53 v -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 x3090 -x3091 -x3092 -x3093 -x3094 -x3095 1800.91/1801.53 v -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 x3112 1800.91/1801.53 v -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 1800.91/1801.53 v -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 x3146 1800.91/1801.53 v -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 1800.91/1801.53 v -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 1800.91/1801.53 v -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 1800.91/1801.53 v -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 1800.91/1801.53 v -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 x3229 -x3230 -x3231 1800.91/1801.53 v -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 1800.91/1801.53 v -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 1800.91/1801.53 v -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 x3281 -x3282 1800.91/1801.53 v -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 1800.91/1801.53 v -x3300 -x3301 x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 1800.91/1801.53 v -x3317 -x3318 x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 1800.91/1801.53 v -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 x3346 -x3347 -x3348 -x3349 -x3350 1800.91/1801.53 v -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 1800.91/1801.53 v -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 1800.91/1801.53 v x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 1800.91/1801.53 v -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 1800.91/1801.53 v -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 x3432 -x3433 -x3434 -x3435 1800.91/1801.53 v -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 1800.91/1801.53 v -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 1800.91/1801.53 v -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 1800.91/1801.53 v -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 x3499 -x3500 -x3501 -x3502 -x3503 1800.91/1801.53 v x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 1800.91/1801.53 v -x3521 -x3522 -x3523 -x3524 x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 1800.91/1801.53 v -x3538 x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 1800.91/1801.53 v -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 1800.91/1801.53 v -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 1800.91/1801.53 v -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 1800.91/1801.53 v -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 1800.91/1801.53 v -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 1800.91/1801.53 v -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 1800.91/1801.53 v -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 1800.91/1801.53 v -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 1800.91/1801.53 v -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 1800.91/1801.53 v -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 1800.91/1801.53 v -x3725 -x3726 -x3727 x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 1800.91/1801.53 v -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 1800.91/1801.53 v -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 1800.91/1801.53 v -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 1800.91/1801.53 v -x3793 -x3794 x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 x3805 -x3806 -x3807 -x3808 -x3809 -x3810 1800.91/1801.53 v -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 1800.91/1801.53 v -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 1800.91/1801.53 v -x3845 x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 1800.91/1801.53 v -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 1800.91/1801.53 v -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 x3894 -x3895 1800.91/1801.53 v -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 x3908 -x3909 -x3910 -x3911 -x3912 1800.91/1801.53 v -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 1800.91/1801.53 v x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 1800.91/1801.53 v -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 x3953 -x3954 -x3955 -x3956 x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 1800.91/1801.53 v -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 x3976 -x3977 -x3978 -x3979 -x3980 -x3981 1800.91/1801.53 v -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 1800.91/1801.53 v -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 x4011 -x4012 -x4013 -x4014 -x4015 1800.91/1801.53 v -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 1800.91/1801.53 v -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 x4044 -x4045 -x4046 -x4047 -x4048 -x4049 1800.91/1801.53 v -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 1800.91/1801.53 v -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 1800.91/1801.53 v -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 1800.91/1801.53 v -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 1800.91/1801.53 v -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 1800.91/1801.53 v -x4135 -x4136 -x4137 x4138 -x4139 -x4140 -x4141 -x4142 x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 1800.91/1801.53 v -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 1800.91/1801.53 v -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 1800.91/1801.53 v -x4187 -x4188 -x4189 x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 1800.91/1801.53 v -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 1800.91/1801.53 v -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 1800.91/1801.53 v -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 1800.91/1801.53 v -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 x4271 1800.91/1801.53 v -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 1800.91/1801.53 v -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 x4299 -x4300 x4301 -x4302 -x4303 -x4304 -x4305 -x4306 1800.91/1801.53 v -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 1800.91/1801.53 v -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 1800.91/1801.53 v -x4341 -x4342 -x4343 x4344 -x4345 -x4346 -x4347 -x4348 x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 1800.91/1801.53 v -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 1800.91/1801.53 v -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 -x4391 -x4392 1800.91/1801.53 v -x4393 x4394 -x4395 -x4396 x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 1800.91/1801.53 v -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 1800.91/1801.53 v -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 1800.91/1801.53 v -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 1800.91/1801.53 v -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 1800.91/1801.53 v -x4479 -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 x4491 -x4492 -x4493 -x4494 -x4495 1800.91/1801.53 v -x4496 x4497 -x4498 -x4499 -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 -x4511 -x4512 1800.91/1801.53 v -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 x4521 -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 1800.91/1801.53 v -x4530 -x4531 -x4532 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4546 1800.91/1801.53 v -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560 -x4561 -x4562 -x4563 1800.91/1801.53 v -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580 1800.91/1801.53 v -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 -x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 1800.91/1801.53 v -x4598 -x4599 -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 -x4612 -x4613 -x4614 1800.91/1801.53 v -x4615 -x4616 -x4617 x4618 -x4619 -x4620 -x4621 -x4622 -x4623 -x4624 -x4625 -x4626 -x4627 -x4628 -x4629 -x4630 -x4631 1800.91/1801.53 v -x4632 x4633 -x4634 x4635 -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 -x4644 -x4645 -x4646 -x4647 -x4648 -x4649 1800.91/1801.53 v -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 1800.91/1801.53 v -x4667 -x4668 -x4669 -x4670 -x4671 x4672 -x4673 -x4674 -x4675 -x4676 -x4677 -x4678 -x4679 -x4680 -x4681 -x4682 -x4683 1800.91/1801.53 v -x4684 x4685 -x4686 -x4687 -x4688 -x4689 -x4690 -x4691 -x4692 -x4693 -x4694 -x4695 -x4696 -x4697 -x4698 -x4699 x4700 -x4701 1800.91/1801.53 v -x4702 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 -x4711 -x4712 -x4713 -x4714 -x4715 -x4716 -x4717 -x4718 1800.91/1801.53 v -x4719 -x4720 -x4721 -x4722 -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 x4729 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 1800.91/1801.53 v -x4736 -x4737 -x4738 -x4739 -x4740 -x4741 -x4742 -x4743 -x4744 -x4745 -x4746 -x4747 -x4748 -x4749 -x4750 -x4751 -x4752 1800.91/1801.53 v -x4753 -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 1800.91/1801.53 v -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 -x4780 -x4781 -x4782 -x4783 -x4784 -x4785 -x4786 1800.91/1801.53 v -x4787 -x4788 -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 -x4800 -x4801 x4802 -x4803 1800.91/1801.53 v -x4804 -x4805 -x4806 -x4807 -x4808 -x4809 -x4810 -x4811 -x4812 -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 1800.91/1801.53 v -x4821 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 -x4829 -x4830 x4831 -x4832 -x4833 -x4834 -x4835 -x4836 -x4837 1800.91/1801.53 v -x4838 -x4839 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 -x4847 -x4848 -x4849 -x4850 -x4851 -x4852 -x4853 -x4854 1800.91/1801.53 v -x4855 -x4856 -x4857 -x4858 -x4859 -x4860 -x4861 -x4862 -x4863 -x4864 -x4865 -x4866 -x4867 -x4868 -x4869 -x4870 -x4871 1800.91/1801.53 v -x4872 -x4873 -x4874 -x4875 -x4876 -x4877 -x4878 -x4879 -x4880 -x4881 -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 1800.91/1801.53 v -x4889 -x4890 -x4891 -x4892 -x4893 -x4894 -x4895 -x4896 -x4897 -x4898 -x4899 -x4900 -x4901 -x4902 -x4903 -x4904 -x4905 1800.91/1801.53 v -x4906 -x4907 -x4908 x4909 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 -x4921 -x4922 1800.91/1801.53 v -x4923 -x4924 -x4925 x4926 -x4927 -x4928 -x4929 -x4930 -x4931 -x4932 -x4933 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 1800.91/1801.53 v -x4940 -x4941 -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 -x4950 -x4951 -x4952 -x4953 -x4954 -x4955 -x4956 1800.91/1801.53 v -x4957 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 -x4967 -x4968 -x4969 -x4970 -x4971 -x4972 -x4973 1800.91/1801.53 v -x4974 -x4975 -x4976 -x4977 -x4978 -x4979 -x4980 -x4981 -x4982 -x4983 -x4984 x4985 -x4986 -x4987 -x4988 -x4989 -x4990 1800.91/1801.53 v -x4991 -x4992 -x4993 -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000 -x5001 -x5002 -x5003 -x5004 -x5005 -x5006 -x5007 1800.91/1801.53 v x5008 -x5009 -x5010 -x5011 -x5012 -x5013 -x5014 -x5015 -x5016 -x5017 -x5018 -x5019 -x5020 -x5021 -x5022 -x5023 -x5024 1800.91/1801.53 v -x5025 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5033 -x5034 -x5035 -x5036 -x5037 -x5038 -x5039 -x5040 -x5041 1800.91/1801.53 v -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048 -x5049 -x5050 -x5051 -x5052 -x5053 -x5054 x5055 -x5056 -x5057 -x5058 1800.91/1801.53 v -x5059 -x5060 -x5061 -x5062 -x5063 -x5064 -x5065 -x5066 -x5067 -x5068 -x5069 -x5070 -x5071 -x5072 -x5073 -x5074 -x5075 1800.91/1801.53 v x5076 x5077 -x5078 -x5079 -x5080 x5081 -x5082 -x5083 -x5084 -x5085 -x5086 -x5087 -x5088 -x5089 -x5090 -x5091 -x5092 -x5093 1800.91/1801.53 v -x5094 -x5095 -x5096 -x5097 -x5098 -x5099 -x5100 -x5101 -x5102 -x5103 -x5104 -x5105 -x5106 -x5107 -x5108 -x5109 -x5110 1800.91/1801.53 v -x5111 -x5112 -x5113 x5114 -x5115 -x5116 -x5117 -x5118 -x5119 -x5120 -x5121 -x5122 -x5123 -x5124 -x5125 -x5126 -x5127 1800.91/1801.53 v -x5128 -x5129 -x5130 -x5131 -x5132 -x5133 -x5134 -x5135 -x5136 -x5137 -x5138 -x5139 -x5140 -x5141 -x5142 -x5143 -x5144 1800.91/1801.53 v -x5145 -x5146 -x5147 -x5148 -x5149 -x5150 -x5151 -x5152 -x5153 -x5154 -x5155 -x5156 -x5157 -x5158 -x5159 -x5160 -x5161 1800.91/1801.53 v -x5162 -x5163 -x5164 -x5165 -x5166 -x5167 -x5168 -x5169 -x5170 -x5171 -x5172 -x5173 -x5174 -x5175 -x5176 -x5177 -x5178 1800.91/1801.53 v -x5179 -x5180 -x5181 -x5182 -x5183 -x5184 -x5185 -x5186 -x5187 -x5188 -x5189 -x5190 -x5191 -x5192 -x5193 -x5194 -x5195 1800.91/1801.53 v -x5196 -x5197 -x5198 -x5199 -x5200 -x5201 -x5202 -x5203 -x5204 -x5205 x5206 -x5207 -x5208 -x5209 -x5210 -x5211 -x5212 1800.91/1801.53 v -x5213 -x5214 -x5215 -x5216 -x5217 -x5218 -x5219 -x5220 -x5221 -x5222 -x5223 -x5224 -x5225 -x5226 -x5227 -x5228 -x5229 1800.91/1801.53 v -x5230 -x5231 -x5232 -x5233 -x5234 -x5235 -x5236 -x5237 -x5238 -x5239 -x5240 -x5241 -x5242 -x5243 -x5244 -x5245 x5246 1800.91/1801.53 v -x5247 -x5248 -x5249 -x5250 -x5251 -x5252 -x5253 -x5254 -x5255 -x5256 -x5257 -x5258 -x5259 -x5260 -x5261 -x5262 -x5263 1800.91/1801.53 v -x5264 -x5265 -x5266 -x5267 -x5268 -x5269 -x5270 -x5271 -x5272 -x5273 -x5274 -x5275 -x5276 -x5277 -x5278 -x5279 -x5280 1800.91/1801.53 v -x5281 -x5282 -x5283 -x5284 -x5285 -x5286 -x5287 -x5288 -x5289 -x5290 -x5291 -x5292 -x5293 -x5294 -x5295 -x5296 -x5297 1800.91/1801.53 v -x5298 -x5299 -x5300 -x5301 -x5302 -x5303 -x5304 -x5305 -x5306 -x5307 -x5308 -x5309 -x5310 -x5311 -x5312 -x5313 -x5314 1800.91/1801.53 v -x5315 -x5316 -x5317 -x5318 -x5319 -x5320 -x5321 -x5322 -x5323 -x5324 -x5325 -x5326 -x5327 -x5328 -x5329 -x5330 -x5331 1800.91/1801.53 v -x5332 -x5333 -x5334 -x5335 -x5336 -x5337 -x5338 -x5339 -x5340 -x5341 -x5342 -x5343 -x5344 -x5345 -x5346 -x5347 -x5348 1800.91/1801.53 v -x5349 -x5350 -x5351 -x5352 -x5353 -x5354 -x5355 -x5356 -x5357 -x5358 -x5359 -x5360 -x5361 -x5362 -x5363 -x5364 -x5365 1800.91/1801.53 v -x5366 -x5367 -x5368 x5369 -x5370 -x5371 -x5372 -x5373 -x5374 -x5375 -x5376 -x5377 -x5378 -x5379 -x5380 -x5381 -x5382 1800.91/1801.53 v -x5383 -x5384 -x5385 -x5386 -x5387 -x5388 -x5389 -x5390 -x5391 -x5392 -x5393 -x5394 -x5395 -x5396 x5397 -x5398 -x5399 1800.91/1801.53 v -x5400 -x5401 -x5402 -x5403 -x5404 -x5405 -x5406 -x5407 -x5408 -x5409 -x5410 -x5411 -x5412 -x5413 -x5414 -x5415 -x5416 1800.91/1801.53 v -x5417 -x5418 -x5419 x5420 -x5421 -x5422 -x5423 -x5424 -x5425 -x5426 -x5427 -x5428 -x5429 -x5430 -x5431 -x5432 -x5433 1800.91/1801.53 v -x5434 -x5435 -x5436 -x5437 -x5438 x5439 -x5440 -x5441 -x5442 -x5443 -x5444 -x5445 -x5446 -x5447 -x5448 -x5449 -x5450 1800.91/1801.53 v -x5451 -x5452 -x5453 -x5454 -x5455 -x5456 -x5457 -x5458 -x5459 -x5460 -x5461 -x5462 -x5463 -x5464 -x5465 -x5466 x5467 1800.91/1801.53 v -x5468 -x5469 -x5470 -x5471 -x5472 -x5473 x5474 -x5475 -x5476 -x5477 -x5478 -x5479 -x5480 -x5481 -x5482 -x5483 -x5484 1800.91/1801.53 v -x5485 -x5486 -x5487 -x5488 -x5489 -x5490 -x5491 -x5492 -x5493 -x5494 -x5495 -x5496 -x5497 -x5498 -x5499 -x5500 -x5501 1800.91/1801.53 v -x5502 -x5503 -x5504 -x5505 -x5506 -x5507 -x5508 -x5509 -x5510 -x5511 -x5512 -x5513 -x5514 -x5515 -x5516 -x5517 -x5518 1800.91/1801.53 v -x5519 -x5520 -x5521 -x5522 -x5523 -x5524 -x5525 -x5526 -x5527 -x5528 -x5529 -x5530 -x5531 -x5532 -x5533 -x5534 -x5535 1800.91/1801.53 v -x5536 -x5537 -x5538 -x5539 -x5540 -x5541 -x5542 -x5543 -x5544 -x5545 -x5546 -x5547 -x5548 -x5549 -x5550 -x5551 -x5552 1800.91/1801.53 v -x5553 -x5554 -x5555 -x5556 -x5557 -x5558 -x5559 -x5560 -x5561 -x5562 -x5563 -x5564 -x5565 -x5566 -x5567 -x5568 -x5569 1800.91/1801.53 v -x5570 -x5571 -x5572 -x5573 -x5574 -x5575 -x5576 -x5577 -x5578 -x5579 -x5580 -x5581 -x5582 -x5583 -x5584 -x5585 -x5586 1800.91/1801.53 v -x5587 -x5588 -x5589 -x5590 -x5591 -x5592 -x5593 -x5594 -x5595 -x5596 -x5597 -x5598 -x5599 -x5600 -x5601 -x5602 -x5603 1800.91/1801.53 v -x5604 -x5605 -x5606 -x5607 -x5608 -x5609 -x5610 -x5611 -x5612 -x5613 -x5614 -x5615 -x5616 -x5617 -x5618 -x5619 -x5620 1800.91/1801.53 v -x5621 -x5622 -x5623 -x5624 -x5625 -x5626 -x5627 -x5628 -x5629 -x5630 -x5631 -x5632 -x5633 -x5634 -x5635 -x5636 -x5637 1800.91/1801.53 v -x5638 -x5639 -x5640 -x5641 -x5642 x5643 -x5644 -x5645 -x5646 -x5647 -x5648 -x5649 x5650 -x5651 -x5652 -x5653 -x5654 -x5655 1800.91/1801.53 v -x5656 -x5657 -x5658 -x5659 -x5660 -x5661 -x5662 -x5663 -x5664 -x5665 -x5666 -x5667 -x5668 -x5669 -x5670 -x5671 -x5672 1800.91/1801.53 v -x5673 -x5674 -x5675 -x5676 -x5677 -x5678 -x5679 -x5680 -x5681 -x5682 -x5683 -x5684 -x5685 x5686 -x5687 -x5688 -x5689 1800.91/1801.53 v -x5690 -x5691 -x5692 -x5693 x5694 -x5695 -x5696 -x5697 -x5698 -x5699 -x5700 -x5701 -x5702 -x5703 -x5704 -x5705 -x5706 1800.91/1801.53 v -x5707 -x5708 -x5709 -x5710 x5711 -x5712 -x5713 -x5714 -x5715 -x5716 -x5717 -x5718 -x5719 -x5720 -x5721 -x5722 -x5723 1800.91/1801.53 v -x5724 -x5725 -x5726 -x5727 -x5728 -x5729 -x5730 -x5731 -x5732 -x5733 -x5734 -x5735 -x5736 -x5737 -x5738 -x5739 -x5740 1800.91/1801.53 v -x5741 -x5742 -x5743 -x5744 -x5745 -x5746 -x5747 -x5748 -x5749 -x5750 -x5751 -x5752 -x5753 -x5754 -x5755 -x5756 -x5757 1800.91/1801.53 v -x5758 -x5759 -x5760 -x5761 -x5762 -x5763 -x5764 -x5765 -x5766 -x5767 -x5768 -x5769 -x5770 -x5771 -x5772 -x5773 -x5774 1800.91/1801.53 v -x5775 -x5776 -x5777 -x5778 -x5779 -x5780 -x5781 -x5782 -x5783 -x5784 -x5785 -x5786 -x5787 -x5788 -x5789 -x5790 -x5791 1800.91/1801.53 v -x5792 -x5793 -x5794 -x5795 -x5796 -x5797 -x5798 -x5799 x5800 -x5801 -x5802 -x5803 -x5804 -x5805 -x5806 -x5807 -x5808 1800.91/1801.53 v -x5809 -x5810 -x5811 -x5812 -x5813 -x5814 -x5815 -x5816 -x5817 -x5818 -x5819 -x5820 -x5821 -x5822 -x5823 -x5824 -x5825 1800.91/1801.53 v -x5826 -x5827 -x5828 -x5829 -x5830 -x5831 -x5832 -x5833 -x5834 -x5835 x5836 -x5837 -x5838 -x5839 -x5840 -x5841 -x5842 1800.91/1801.53 v -x5843 -x5844 -x5845 -x5846 -x5847 -x5848 -x5849 -x5850 -x5851 x5852 -x5853 -x5854 -x5855 -x5856 -x5857 -x5858 -x5859 1800.91/1801.53 v -x5860 -x5861 -x5862 -x5863 -x5864 -x5865 -x5866 -x5867 -x5868 -x5869 -x5870 -x5871 -x5872 -x5873 -x5874 -x5875 -x5876 1800.91/1801.53 v -x5877 -x5878 -x5879 -x5880 -x5881 -x5882 -x5883 -x5884 -x5885 -x5886 -x5887 -x5888 -x5889 -x5890 -x5891 -x5892 -x5893 1800.91/1801.53 v -x5894 -x5895 -x5896 -x5897 x5898 -x5899 x5900 -x5901 -x5902 -x5903 -x5904 x5905 -x5906 -x5907 -x5908 -x5909 -x5910 -x5911 1800.91/1801.53 v -x5912 -x5913 -x5914 -x5915 -x5916 -x5917 -x5918 -x5919 -x5920 -x5921 -x5922 -x5923 -x5924 -x5925 -x5926 -x5927 -x5928 1800.91/1801.53 v -x5929 -x5930 -x5931 -x5932 -x5933 -x5934 -x5935 -x5936 -x5937 -x5938 -x5939 -x5940 -x5941 -x5942 -x5943 -x5944 -x5945 1800.91/1801.53 v -x5946 -x5947 -x5948 -x5949 -x5950 -x5951 x5952 -x5953 -x5954 -x5955 -x5956 -x5957 -x5958 -x5959 -x5960 -x5961 -x5962 1800.91/1801.53 v -x5963 -x5964 -x5965 -x5966 -x5967 -x5968 x5969 -x5970 -x5971 x5972 -x5973 -x5974 -x5975 -x5976 -x5977 -x5978 -x5979 -x5980 1800.91/1801.53 v -x5981 -x5982 -x5983 -x5984 -x5985 -x5986 -x5987 x5988 -x5989 -x5990 -x5991 -x5992 -x5993 -x5994 x5995 -x5996 -x5997 -x5998 1800.91/1801.53 v -x5999 -x6000 -x6001 -x6002 -x6003 -x6004 -x6005 -x6006 -x6007 -x6008 -x6009 x6010 -x6011 -x6012 -x6013 -x6014 -x6015 1800.91/1801.53 v -x6016 -x6017 -x6018 -x6019 -x6020 -x6021 -x6022 -x6023 -x6024 -x6025 -x6026 -x6027 -x6028 -x6029 -x6030 -x6031 -x6032 1800.91/1801.53 v -x6033 -x6034 -x6035 -x6036 -x6037 -x6038 x6039 -x6040 -x6041 -x6042 -x6043 -x6044 -x6045 -x6046 -x6047 -x6048 -x6049 1800.91/1801.53 v -x6050 -x6051 x6052 -x6053 -x6054 -x6055 -x6056 -x6057 -x6058 -x6059 -x6060 -x6061 -x6062 -x6063 -x6064 -x6065 -x6066 1800.91/1801.53 v -x6067 -x6068 -x6069 -x6070 -x6071 -x6072 -x6073 -x6074 x6075 -x6076 -x6077 -x6078 x6079 -x6080 -x6081 -x6082 -x6083 -x6084 1800.91/1801.53 v -x6085 -x6086 -x6087 -x6088 -x6089 -x6090 -x6091 -x6092 x6093 -x6094 -x6095 -x6096 -x6097 -x6098 -x6099 -x6100 -x6101 1800.91/1801.53 v -x6102 -x6103 -x6104 -x6105 -x6106 -x6107 -x6108 -x6109 -x6110 -x6111 -x6112 -x6113 -x6114 -x6115 -x6116 -x6117 -x6118 1800.91/1801.53 v -x6119 -x6120 -x6121 -x6122 -x6123 -x6124 -x6125 -x6126 -x6127 -x6128 -x6129 -x6130 -x6131 x6132 -x6133 -x6134 -x6135 1800.91/1801.53 v -x6136 -x6137 -x6138 -x6139 1800.91/1801.53 1800.91/1801.53 c user time= 1799.92 s 1800.91/1801.53 c system time= 1.03484 s 1800.91/1801.53 c wall clock time=1801.54
OK 194
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node34/watcher-357115-1176986699 -o ROOT/results/node34/solver-357115-1176986699 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/357115-1176986699/instance-357115-1176986699.opb mod Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.92 0.98 0.92 3/77 21581 /proc/meminfo: memFree=1878400/2055920 swapFree=4159620/4192956 [pid=21581] ppid=21579 vsize=1620 CPUtime=0 /proc/21581/stat : 21581 (oree) R 21579 21581 20026 0 -1 4194304 193 0 0 0 0 0 0 0 18 0 1 0 146585337 1658880 175 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134541358 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21581/statm: 405 175 126 317 0 84 0 [startup+0.0763331 s] /proc/loadavg: 0.92 0.98 0.92 3/77 21581 /proc/meminfo: memFree=1878400/2055920 swapFree=4159620/4192956 [pid=21581] ppid=21579 vsize=2940 CPUtime=0.07 /proc/21581/stat : 21581 (oree) R 21579 21581 20026 0 -1 4194304 528 0 0 0 7 0 0 0 18 0 1 0 146585337 3010560 510 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21581/statm: 735 510 130 317 0 414 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 2940 [startup+0.101334 s] /proc/loadavg: 0.92 0.98 0.92 3/77 21581 /proc/meminfo: memFree=1878400/2055920 swapFree=4159620/4192956 [pid=21581] ppid=21579 vsize=3336 CPUtime=0.09 /proc/21581/stat : 21581 (oree) R 21579 21581 20026 0 -1 4194304 651 0 0 0 9 0 0 0 18 0 1 0 146585337 3416064 633 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21581/statm: 834 633 130 317 0 513 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3336 [startup+0.301351 s] /proc/loadavg: 0.92 0.98 0.92 3/77 21581 /proc/meminfo: memFree=1878400/2055920 swapFree=4159620/4192956 [pid=21581] ppid=21579 vsize=7040 CPUtime=0.29 /proc/21581/stat : 21581 (oree) R 21579 21581 20026 0 -1 4194304 1564 0 0 0 29 0 0 0 19 0 1 0 146585337 7208960 1546 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21581/statm: 1760 1546 137 317 0 1439 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 7040 [startup+0.701383 s] /proc/loadavg: 0.92 0.98 0.92 3/77 21581 /proc/meminfo: memFree=1878400/2055920 swapFree=4159620/4192956 [pid=21581] ppid=21579 vsize=8360 CPUtime=0.69 /proc/21581/stat : 21581 (oree) R 21579 21581 20026 0 -1 4194304 1888 0 0 0 68 1 0 0 22 0 1 0 146585337 8560640 1870 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606698 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21581/statm: 2090 1870 138 317 0 1769 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 8360 [startup+1.50144 s] /proc/loadavg: 0.92 0.98 0.92 2/78 21582 /proc/meminfo: memFree=1871480/2055920 swapFree=4159620/4192956 [pid=21581] ppid=21579 vsize=10808 CPUtime=1.49 /proc/21581/stat : 21581 (oree) R 21579 21581 20026 0 -1 4194304 2551 0 0 0 148 1 0 0 25 0 1 0 146585337 11067392 2533 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21581/statm: 2702 2533 170 317 0 2381 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 10808 [startup+3.10157 s] /proc/loadavg: 0.93 0.98 0.92 2/78 21582 /proc/meminfo: memFree=1867384/2055920 swapFree=4159620/4192956 [pid=21581] ppid=21579 vsize=16676 CPUtime=3.09 /proc/21581/stat : 21581 (oree) R 21579 21581 20026 0 -1 4194304 4012 0 0 0 307 2 0 0 25 0 1 0 146585337 17076224 3994 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713850 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21581/statm: 4169 3994 170 317 0 3848 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 16676 [startup+6.30183 s] /proc/loadavg: 0.93 0.98 0.92 2/78 21582 /proc/meminfo: memFree=1854008/2055920 swapFree=4159620/4192956 [pid=21581] ppid=21579 vsize=29656 CPUtime=6.29 /proc/21581/stat : 21581 (oree) R 21579 21581 20026 0 -1 4194304 7163 0 0 0 626 3 0 0 25 0 1 0 146585337 30367744 7145 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134746931 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21581/statm: 7414 7145 170 317 0 7093 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 29656 [startup+12.7013 s] /proc/loadavg: 0.94 0.98 0.92 2/78 21582 /proc/meminfo: memFree=1835896/2055920 swapFree=4159620/4192956 [pid=21581] ppid=21579 vsize=47504 CPUtime=12.69 /proc/21581/stat : 21581 (oree) R 21579 21581 20026 0 -1 4194304 11365 0 0 0 1264 5 0 0 25 0 1 0 146585337 48644096 11347 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21581/statm: 11876 11347 170 317 0 11555 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 47504 [startup+25.5013 s] /proc/loadavg: 0.95 0.98 0.92 2/78 21582 /proc/meminfo: memFree=1810552/2055920 swapFree=4159620/4192956 [pid=21581] ppid=21579 vsize=70512 CPUtime=25.49 /proc/21581/stat : 21581 (oree) R 21579 21581 20026 0 -1 4194304 17145 0 0 0 2541 8 0 0 25 0 1 0 146585337 72204288 17127 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21581/statm: 17628 17127 170 317 0 17307 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 70512 [startup+51.1014 s] /proc/loadavg: 0.96 0.98 0.92 2/78 21582 /proc/meminfo: memFree=1777656/2055920 swapFree=4159620/4192956 [pid=21581] ppid=21579 vsize=105500 CPUtime=51.08 /proc/21581/stat : 21581 (oree) R 21579 21581 20026 0 -1 4194304 25499 0 0 0 5097 11 0 0 25 0 1 0 146585337 108032000 25444 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21581/statm: 26375 25444 170 317 0 26054 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 105500 [startup+102.305 s] /proc/loadavg: 0.98 0.98 0.92 2/78 21582 /proc/meminfo: memFree=1733688/2055920 swapFree=4159620/4192956 [pid=21581] ppid=21579 vsize=147880 CPUtime=102.26 /proc/21581/stat : 21581 (oree) R 21579 21581 20026 0 -1 4194304 36287 0 0 0 10208 18 0 0 25 0 1 0 146585337 151429120 36232 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564062 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21581/statm: 36970 36232 170 317 0 36649 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 147880 [startup+162.301 s] /proc/loadavg: 0.99 0.98 0.92 2/78 21582 /proc/meminfo: memFree=1690744/2055920 swapFree=4159620/4192956 [pid=21581] ppid=21579 vsize=195924 CPUtime=162.25 /proc/21581/stat : 21581 (oree) R 21579 21581 20026 0 -1 4194304 47135 0 0 0 16199 26 0 0 25 0 1 0 146585337 200626176 47008 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564078 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21581/statm: 48981 47008 170 317 0 48660 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 195924 [startup+222.302 s] /proc/loadavg: 0.99 0.98 0.92 2/78 21582 /proc/meminfo: memFree=1657272/2055920 swapFree=4159620/4192956 [pid=21581] ppid=21579 vsize=230444 CPUtime=222.23 /proc/21581/stat : 21581 (oree) R 21579 21581 20026 0 -1 4194304 55430 0 0 0 22193 30 0 0 25 0 1 0 146585337 235974656 55303 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21581/statm: 57611 55303 170 317 0 57290 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 230444 [startup+282.302 s] /proc/loadavg: 0.99 0.98 0.92 2/78 21582 /proc/meminfo: memFree=1629176/2055920 swapFree=4159620/4192956 [pid=21581] ppid=21579 vsize=259068 CPUtime=282.22 /proc/21581/stat : 21581 (oree) R 21579 21581 20026 0 -1 4194304 62473 0 0 0 28188 34 0 0 25 0 1 0 146585337 265285632 62346 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21581/statm: 64767 62346 170 317 0 64446 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 259068 [startup+342.301 s] /proc/loadavg: 0.99 0.98 0.92 2/78 21582 /proc/meminfo: memFree=1604472/2055920 swapFree=4159620/4192956 [pid=21581] ppid=21579 vsize=281460 CPUtime=342.2 /proc/21581/stat : 21581 (oree) R 21579 21581 20026 0 -1 4194304 68610 0 0 0 34183 37 0 0 25 0 1 0 146585337 288215040 68483 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718431 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21581/statm: 70365 68483 170 317 0 70044 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 281460 [startup+402.301 s] /proc/loadavg: 0.99 0.98 0.92 2/78 21582 /proc/meminfo: memFree=1575480/2055920 swapFree=4159620/4192956 [pid=21581] ppid=21579 vsize=327508 CPUtime=402.19 /proc/21581/stat : 21581 (oree) R 21579 21581 20026 0 -1 4194304 78977 0 0 0 40177 42 0 0 25 0 1 0 146585337 335368192 75715 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21581/statm: 81877 75715 170 317 0 81556 0 Current children cumulated CPU time (s) 402.19 Current children cumulated vsize (KiB) 327508 [startup+462.302 s] /proc/loadavg: 0.99 0.98 0.92 2/78 21582 /proc/meminfo: memFree=1554232/2055920 swapFree=4159620/4192956 [pid=21581] ppid=21579 vsize=346208 CPUtime=462.17 /proc/21581/stat : 21581 (oree) R 21579 21581 20026 0 -1 4194304 84248 0 0 0 46172 45 0 0 25 0 1 0 146585337 354516992 80986 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21581/statm: 86552 80986 170 317 0 86231 0 Current children cumulated CPU time (s) 462.17 Current children cumulated vsize (KiB) 346208 [startup+522.302 s] /proc/loadavg: 0.99 0.98 0.92 2/78 21582 /proc/meminfo: memFree=1535160/2055920 swapFree=4159620/4192956 [pid=21581] ppid=21579 vsize=363348 CPUtime=522.16 /proc/21581/stat : 21581 (oree) R 21579 21581 20026 0 -1 4194304 89057 0 0 0 52167 49 0 0 25 0 1 0 146585337 372068352 85795 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135277270 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21581/statm: 90837 85795 170 317 0 90516 0 Current children cumulated CPU time (s) 522.16 Current children cumulated vsize (KiB) 363348 [startup+582.301 s] /proc/loadavg: 0.99 0.98 0.92 2/78 21582 /proc/meminfo: memFree=1515960/2055920 swapFree=4159620/4192956 [pid=21581] ppid=21579 vsize=384020 CPUtime=582.14 /proc/21581/stat : 21581 (oree) R 21579 21581 20026 0 -1 4194304 94270 0 0 0 58163 51 0 0 25 0 1 0 146585337 393236480 90536 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21581/statm: 96005 90536 170 317 0 95684 0 Current children cumulated CPU time (s) 582.14 Current children cumulated vsize (KiB) 384020 [startup+642.301 s] /proc/loadavg: 0.99 0.98 0.92 2/78 21582 /proc/meminfo: memFree=1499576/2055920 swapFree=4159620/4192956 [pid=21581] ppid=21579 vsize=398860 CPUtime=642.13 /proc/21581/stat : 21581 (oree) R 21579 21581 20026 0 -1 4194304 98406 0 0 0 64159 54 0 0 25 0 1 0 146585337 408432640 94573 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563639 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21581/statm: 99715 94573 170 317 0 99394 0 Current children cumulated CPU time (s) 642.13 Current children cumulated vsize (KiB) 398860 ################ # More data... # ################ [startup+942.302 s] /proc/loadavg: 0.99 0.98 0.92 2/78 21582 /proc/meminfo: memFree=1423736/2055920 swapFree=4159620/4192956 [pid=21581] ppid=21579 vsize=479784 CPUtime=942.05 /proc/21581/stat : 21581 (oree) R 21579 21581 20026 0 -1 4194304 119749 0 0 0 94138 67 0 0 25 0 1 0 146585337 491298816 113474 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715600 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21581/statm: 119946 113474 170 317 0 119625 0 Current children cumulated CPU time (s) 942.05 Current children cumulated vsize (KiB) 479784 [startup+1002.3 s] /proc/loadavg: 0.99 0.98 0.92 2/84 21752 /proc/meminfo: memFree=1408640/2055920 swapFree=4159620/4192956 [pid=21581] ppid=21579 vsize=491292 CPUtime=1001.93 /proc/21581/stat : 21581 (oree) R 21579 21581 20026 0 -1 4194304 123106 0 0 0 100124 69 0 0 25 0 1 0 146585337 503083008 116831 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21581/statm: 122823 116831 170 317 0 122502 0 Current children cumulated CPU time (s) 1001.93 Current children cumulated vsize (KiB) 491292 [startup+1062.3 s] /proc/loadavg: 0.99 0.98 0.92 2/78 21780 /proc/meminfo: memFree=1397752/2055920 swapFree=4159620/4192956 [pid=21581] ppid=21579 vsize=503012 CPUtime=1061.9 /proc/21581/stat : 21581 (oree) R 21579 21581 20026 0 -1 4194304 126203 0 0 0 106118 72 0 0 25 0 1 0 146585337 515084288 119895 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710960 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21581/statm: 125753 119895 170 317 0 125432 0 Current children cumulated CPU time (s) 1061.9 Current children cumulated vsize (KiB) 503012 [startup+1122.3 s] /proc/loadavg: 0.99 0.98 0.92 2/78 21780 /proc/meminfo: memFree=1384248/2055920 swapFree=4159620/4192956 [pid=21581] ppid=21579 vsize=514428 CPUtime=1121.88 /proc/21581/stat : 21581 (oree) R 21579 21581 20026 0 -1 4194304 129551 0 0 0 112114 74 0 0 25 0 1 0 146585337 526774272 123243 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718431 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21581/statm: 128607 123243 170 317 0 128286 0 Current children cumulated CPU time (s) 1121.88 Current children cumulated vsize (KiB) 514428 [startup+1182.3 s] /proc/loadavg: 0.99 0.98 0.92 2/78 21780 /proc/meminfo: memFree=1371576/2055920 swapFree=4159620/4192956 [pid=21581] ppid=21579 vsize=525716 CPUtime=1181.86 /proc/21581/stat : 21581 (oree) R 21579 21581 20026 0 -1 4194304 132726 0 0 0 118110 76 0 0 25 0 1 0 146585337 538333184 126418 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21581/statm: 131429 126418 170 317 0 131108 0 Current children cumulated CPU time (s) 1181.86 Current children cumulated vsize (KiB) 525716 [startup+1242.3 s] /proc/loadavg: 0.99 0.98 0.92 2/78 21780 /proc/meminfo: memFree=1359480/2055920 swapFree=4159620/4192956 [pid=21581] ppid=21579 vsize=536364 CPUtime=1241.85 /proc/21581/stat : 21581 (oree) R 21579 21581 20026 0 -1 4194304 135711 0 0 0 124107 78 0 0 25 0 1 0 146585337 549236736 129403 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134540728 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21581/statm: 134091 129405 170 317 0 133770 0 Current children cumulated CPU time (s) 1241.85 Current children cumulated vsize (KiB) 536364 [startup+1302.3 s] /proc/loadavg: 0.99 0.98 0.92 2/78 21780 /proc/meminfo: memFree=1347448/2055920 swapFree=4159620/4192956 [pid=21581] ppid=21579 vsize=546636 CPUtime=1301.83 /proc/21581/stat : 21581 (oree) R 21579 21581 20026 0 -1 4194304 138679 0 0 0 130103 80 0 0 25 0 1 0 146585337 559755264 132371 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21581/statm: 136659 132371 170 317 0 136338 0 Current children cumulated CPU time (s) 1301.83 Current children cumulated vsize (KiB) 546636 [startup+1362.3 s] /proc/loadavg: 0.99 0.98 0.92 2/78 21780 /proc/meminfo: memFree=1334200/2055920 swapFree=4159620/4192956 [pid=21581] ppid=21579 vsize=560872 CPUtime=1361.82 /proc/21581/stat : 21581 (oree) R 21579 21581 20026 0 -1 4194304 142473 0 0 0 136099 83 0 0 25 0 1 0 146585337 574332928 135703 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21581/statm: 140218 135703 170 317 0 139897 0 Current children cumulated CPU time (s) 1361.82 Current children cumulated vsize (KiB) 560872 [startup+1422.31 s] /proc/loadavg: 0.99 0.98 0.92 2/78 21780 /proc/meminfo: memFree=1317624/2055920 swapFree=4159620/4192956 [pid=21581] ppid=21579 vsize=575536 CPUtime=1421.81 /proc/21581/stat : 21581 (oree) R 21579 21581 20026 0 -1 4194304 146617 0 0 0 142095 86 0 0 25 0 1 0 146585337 589348864 139814 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21581/statm: 143884 139814 170 317 0 143563 0 Current children cumulated CPU time (s) 1421.81 Current children cumulated vsize (KiB) 575536 [startup+1482.3 s] /proc/loadavg: 0.99 0.98 0.92 2/78 21780 /proc/meminfo: memFree=1303992/2055920 swapFree=4159620/4192956 [pid=21581] ppid=21579 vsize=587764 CPUtime=1481.79 /proc/21581/stat : 21581 (oree) R 21579 21581 20026 0 -1 4194304 150131 0 0 0 148091 88 0 0 25 0 1 0 146585337 601870336 143229 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21581/statm: 146941 143229 170 317 0 146620 0 Current children cumulated CPU time (s) 1481.79 Current children cumulated vsize (KiB) 587764 [startup+1542.3 s] /proc/loadavg: 1.06 1.00 0.93 2/78 21780 /proc/meminfo: memFree=1283576/2055920 swapFree=4159620/4192956 [pid=21581] ppid=21579 vsize=649880 CPUtime=1541.77 /proc/21581/stat : 21581 (oree) R 21579 21581 20026 0 -1 4194304 164672 0 0 0 154084 93 0 0 25 0 1 0 146585337 665477120 148245 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21581/statm: 162470 148245 170 317 0 162149 0 Current children cumulated CPU time (s) 1541.77 Current children cumulated vsize (KiB) 649880 [startup+1602.3 s] /proc/loadavg: 1.07 1.01 0.93 2/78 21780 /proc/meminfo: memFree=1270520/2055920 swapFree=4159620/4192956 [pid=21581] ppid=21579 vsize=661348 CPUtime=1601.75 /proc/21581/stat : 21581 (oree) R 21579 21581 20026 0 -1 4194304 168017 0 0 0 160080 95 0 0 25 0 1 0 146585337 677220352 151557 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21581/statm: 165337 151557 170 317 0 165016 0 Current children cumulated CPU time (s) 1601.75 Current children cumulated vsize (KiB) 661348 [startup+1662.3 s] /proc/loadavg: 1.07 1.02 0.94 2/78 21780 /proc/meminfo: memFree=1258040/2055920 swapFree=4159620/4192956 [pid=21581] ppid=21579 vsize=673140 CPUtime=1661.74 /proc/21581/stat : 21581 (oree) R 21579 21581 20026 0 -1 4194304 171332 0 0 0 166076 98 0 0 25 0 1 0 146585337 689295360 154608 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21581/statm: 168285 154608 170 317 0 167964 0 Current children cumulated CPU time (s) 1661.74 Current children cumulated vsize (KiB) 673140 [startup+1722.3 s] /proc/loadavg: 1.02 1.02 0.94 2/78 21780 /proc/meminfo: memFree=1246584/2055920 swapFree=4159620/4192956 [pid=21581] ppid=21579 vsize=683604 CPUtime=1721.73 /proc/21581/stat : 21581 (oree) R 21579 21581 20026 0 -1 4194304 174429 0 0 0 172073 100 0 0 25 0 1 0 146585337 700010496 157474 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604466 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21581/statm: 170901 157474 170 317 0 170580 0 Current children cumulated CPU time (s) 1721.73 Current children cumulated vsize (KiB) 683604 [startup+1782.3 s] /proc/loadavg: 1.01 1.01 0.94 2/78 21780 /proc/meminfo: memFree=1234680/2055920 swapFree=4159620/4192956 [pid=21581] ppid=21579 vsize=693876 CPUtime=1781.71 /proc/21581/stat : 21581 (oree) R 21579 21581 20026 0 -1 4194304 177360 0 0 0 178069 102 0 0 25 0 1 0 146585337 710529024 160405 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134595720 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21581/statm: 173469 160405 170 317 0 173148 0 Current children cumulated CPU time (s) 1781.71 Current children cumulated vsize (KiB) 693876 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 1.00 1.01 0.94 2/78 21780 /proc/meminfo: memFree=1231672/2055920 swapFree=4159620/4192956 [pid=21581] ppid=21579 vsize=696676 CPUtime=1800.02 /proc/21581/stat : 21581 (oree) R 21579 21581 20026 0 -1 4194304 178089 0 0 0 179899 103 0 0 25 0 1 0 146585337 713396224 161134 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563976 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21581/statm: 174169 161134 170 317 0 173848 0 Current children cumulated CPU time (s) 1800.02 Current children cumulated vsize (KiB) 696676 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1801.4 s] /proc/loadavg: 1.00 1.01 0.94 2/78 21780 /proc/meminfo: memFree=1231672/2055920 swapFree=4159620/4192956 [pid=21581] ppid=21579 vsize=696676 CPUtime=1800.81 /proc/21581/stat : 21581 (oree) R 21579 21581 20026 0 -1 4194304 178112 0 0 0 179978 103 0 0 25 0 1 0 146585337 713396224 161157 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21581/statm: 174169 161157 170 317 0 173848 0 Current children cumulated CPU time (s) 1800.81 Current children cumulated vsize (KiB) 696676 [startup+1801.6 s] /proc/loadavg: 1.00 1.01 0.94 2/78 21780 /proc/meminfo: memFree=1231672/2055920 swapFree=4159620/4192956 [pid=21581] ppid=21579 vsize=0 CPUtime=1801 /proc/21581/stat : 21581 (oree) R 21579 21581 20026 0 -1 4194308 178128 0 0 0 179992 108 0 0 25 0 1 0 146585337 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21581/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1801 Current children cumulated vsize (KiB) 0 Child status: 0 Real time (s): 1801.65 CPU time (s): 1801.07 CPU user time (s): 1799.93 CPU system time (s): 1.13983 CPU usage (%): 99.9673 Max. virtual memory (cumulated for all children) (KiB): 696676 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.93 system time used= 1.13983 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 178128 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= 9 involuntary context switches= 4492 runsolver used 2.10668 second user time and 4.44332 second system time The end
Begin job on node34 on Thu Apr 19 12:44:59 UTC 2007 IDJOB= 357115 IDBENCH= 2042 IDSOLVER= 172 FILE ID= node34/357115-1176986699 PBS_JOBID= 4630396 Free space on /tmp= 66411 MiB SOLVER NAME= oree 0.1.2 alpha BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/logic-synthesis/normalized-test4.pi.opb COMMAND LINE= oree /tmp/evaluation/357115-1176986699/instance-357115-1176986699.opb mod RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node34/watcher-357115-1176986699 -o ROOT/results/node34/solver-357115-1176986699 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/357115-1176986699/instance-357115-1176986699.opb mod META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b MD5SUM BENCH= cca57c347e264f92fb70010109aa24c5 RANDOM SEED= 811550878 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node34.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.236 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 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 syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5914.62 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.236 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 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 syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5586.94 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1878872 kB Buffers: 17596 kB Cached: 73348 kB SwapCached: 2896 kB Active: 66416 kB Inactive: 48840 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1878872 kB SwapTotal: 4192956 kB SwapFree: 4159620 kB Dirty: 2300 kB Writeback: 0 kB Mapped: 31380 kB Slab: 47152 kB Committed_AS: 446844 kB PageTables: 1980 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 66411 MiB End job on node34 on Thu Apr 19 13:15:02 UTC 2007