Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.16 | SAT (TO) | 609 | 1800.26 | 1800.71 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ MIPLIB/miplib/normalized-reduced-mps-v2-20-10-air02.opb |
MD5SUM | d237957d2db9f550f313e8cfb724f264 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 313 |
Best CPU time to get the best result obtained on this benchmark | 1.57276 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 313 |
Optimality of the best value was proved | YES |
Number of variables | 6774 |
Total number of constraints | 50 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 50 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 20 |
Maximum length of a constraint | 3729 |
Number of terms in the objective function | 6774 |
Biggest coefficient in the objective function | 381 |
Number of bits for the biggest coefficient in the objective function | 9 |
Sum of the numbers in the objective function | 527695 |
Number of bits of the sum of numbers in the objective function | 20 |
Biggest number in a constraint | 381 |
Number of bits of the biggest number in a constraint | 9 |
Biggest sum of numbers in a constraint | 527695 |
Number of bits of the biggest sum of numbers | 20 |
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 bsolo beta version 3.0.16 - 04/04/2007 : 1458 GMT 0.00/0.00 c Developed by Vasco Manquinho IST/UTL - INESC-ID 0.00/0.00 c type "bsolo -h" for help 0.00/0.00 c Time Limit set via environment variable PBTIMEOUT to 1800 0.00/0.00 c Time Limit set to 1800 0.00/0.00 c Memory Limit set to 1800 MB 0.00/0.00 c Instance file /tmp/evaluation/363233-1177024541/instance-363233-1177024541.opb 0.00/0.00 c File size is 613373 bytes. 0.09/0.11 c Highest Coefficient sum: 527695 0.09/0.11 c Parsing was ok!! 0.09/0.11 c Total parsing time: 0.115 s 0.09/0.12 c Var: 6774 Constr: 100 50/50/0 Lit: 123110 Watch. Lit: 61655 0.09/0.12 c Obj. Vars: 6774 (100 % of total variables) 17.09/17.12 c Pre-processing Time: 17.118 s 17.09/17.12 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 17.09/17.12 c 0 6774 100 123110 1231 61655 48269 0 0 17.12 17.09/17.12 c Switching off LPR mode. 18.59/18.65 c 100 6774 200 280865 1404 61855 53096 100 5 17.41 18.59/18.65 c 250 6774 350 475377 1358 62155 58406 250 13 17.98 18.59/18.65 o 2791 18.648 18.99/19.06 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 18.99/19.06 c 375 6774 476 653787 1373 69172 61817 376 20 18.65 18.99/19.06 c 475 6774 576 884542 1535 69367 67999 476 25 18.87 18.99/19.06 o 2776 19.055 40.78/40.87 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 40.78/40.87 c 497 6774 599 917491 1531 76174 61817 499 26 19.06 40.78/40.87 c 597 6774 699 978285 1399 76280 67999 599 30 19.31 40.78/40.87 c 847 6774 949 1340382 1412 76737 74799 849 38 21.73 40.78/40.87 c 1322 6774 1424 1687299 1184 77681 82279 1324 39 33.12 40.78/40.87 o 2748 40.862 40.98/41.01 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 40.98/41.01 c 1818 6774 1921 2267970 1180 85589 61817 1821 44 40.87 40.98/41.01 o 2263 40.993 41.28/41.37 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 41.28/41.37 c 1842 6774 1946 2321225 1192 92377 61817 1846 44 41.00 41.28/41.37 o 2084 41.36 41.38/41.42 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 41.38/41.42 c 1874 6774 1979 2413736 1219 99190 61817 1879 45 41.37 41.38/41.42 o 2081 41.406 41.38/41.44 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 41.38/41.44 c 1876 6774 1982 2423368 1222 105957 61817 1882 45 41.41 41.38/41.44 o 2066 41.431 41.47/41.54 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 41.47/41.54 c 1877 6774 1984 2430724 1225 112727 61817 1884 45 41.44 41.47/41.54 o 1962 41.531 48.07/48.18 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 48.07/48.18 c 1885 6774 1993 2452371 1230 119497 61817 1893 45 41.54 48.07/48.18 c 1985 6774 2093 2566014 1225 119541 67999 1993 46 42.39 48.07/48.18 c 2235 6774 2343 2895617 1235 119834 74799 2243 49 45.46 48.07/48.18 c 2710 6774 2818 3853596 1367 121114 82279 2718 56 48.11 48.07/48.18 o 1458 48.164 48.58/48.62 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 48.58/48.62 c 2714 6774 2823 3865681 1369 127809 61817 2723 56 48.17 48.58/48.62 o 1363 48.609 79.87/79.98 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 79.87/79.98 c 2792 6774 2902 4018615 1384 134635 61817 2802 57 48.62 79.87/79.98 c 2892 6774 3002 4214559 1403 134910 67999 2902 58 49.30 79.87/79.98 c 3142 6774 3252 4573338 1406 135285 74799 3152 61 50.95 79.87/79.98 c 3617 6774 3727 4883750 1310 136297 82279 3627 67 53.50 79.87/79.98 c 4430 6774 4540 5504448 1212 137587 90507 4440 72 60.86 79.87/79.98 c 5750 6774 5860 6514784 1111 140287 99558 5760 80 71.28 79.87/79.98 o 1353 79.961 80.47/80.52 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 80.47/80.52 c 6651 6774 6762 8086790 1195 149055 61817 6662 83 79.97 80.47/80.52 o 1349 80.499 84.27/84.31 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 84.27/84.31 c 6707 6774 6819 8178317 1199 155928 61817 6719 83 80.50 84.27/84.31 c 6808 6774 6920 8330749 1203 156173 67999 6820 83 81.15 84.27/84.31 c 7058 6774 7170 8568605 1195 156409 74799 7070 85 82.20 84.27/84.31 o 1348 84.283 84.37/84.44 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 84.37/84.44 c 7266 6774 7379 8679362 1176 163812 61817 7279 86 84.29 84.37/84.44 o 1342 84.42 102.06/102.15 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 102.06/102.15 c 7281 6774 7395 8723835 1179 170605 61817 7295 86 84.43 102.06/102.15 c 7383 6774 7497 8979581 1197 170845 67999 7397 86 84.99 102.06/102.15 c 7633 6774 7747 9192346 1186 171047 74799 7647 88 86.63 102.06/102.15 c 8108 6774 8222 9798840 1191 171979 82279 8122 87 92.69 102.06/102.15 o 1335 102.127 122.36/122.48 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 122.36/122.48 c 8636 6774 8751 10290989 1175 180125 61817 8651 84 102.13 122.36/122.48 c 8736 6774 8851 10488131 1184 180102 67999 8751 85 102.73 122.36/122.48 c 8986 6774 9101 10989847 1207 180840 74799 9001 84 106.12 122.36/122.48 c 9461 6774 9576 12029989 1256 181389 82279 9476 85 110.66 122.36/122.48 o 1312 122.451 158.25/158.39 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 158.25/158.39 c 10136 6774 10252 12738129 1242 189838 61817 10152 82 122.46 158.25/158.39 c 10237 6774 10353 13070885 1262 190034 67999 10253 83 123.20 158.25/158.39 c 10487 6774 10603 13315650 1255 190446 74799 10503 83 126.33 158.25/158.39 c 10962 6774 11078 13569133 1224 191136 82279 10978 80 136.60 158.25/158.39 c 11775 6774 11891 14537052 1222 192596 90507 11791 79 147.90 158.25/158.39 o 1309 158.352 163.35/163.49 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 163.35/163.49 c 12546 6774 12663 15848672 1251 201414 61817 12563 79 158.36 163.35/163.49 c 12647 6774 12764 16051533 1257 201585 67999 12664 79 159.44 163.35/163.49 c 12897 6774 13014 16152363 1241 201566 74799 12914 79 161.55 163.35/163.49 o 818 163.447 257.42/257.59 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 257.42/257.59 c 13111 6774 13229 16430347 1241 209262 61817 13129 80 163.46 257.42/257.59 c 13211 6771 13329 16549067 1241 209329 67999 13229 80 164.69 257.42/257.59 c 13461 6771 13579 16978572 1250 209845 74799 13479 80 167.83 257.42/257.59 c 13936 6771 14054 18363356 1306 210583 82279 13954 80 173.56 257.42/257.59 c 14751 6771 14869 20793768 1398 212395 90507 14769 76 193.07 257.42/257.59 c 16071 6771 16189 22749544 1405 215025 99558 16089 71 224.24 257.42/257.59 o 788 257.524 463.98/464.14 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 463.98/464.14 c 17617 6771 17736 24260618 1367 224687 61811 17636 68 257.53 463.98/464.14 c 17717 6771 17836 24551230 1376 224749 67993 17736 68 258.61 463.98/464.14 c 17967 6771 18086 24945693 1379 225324 74793 17986 68 263.42 463.98/464.14 c 18442 6771 18561 25946849 1397 226469 82273 18461 67 272.20 463.98/464.14 c 19255 6771 19374 26575209 1371 227955 90501 19274 68 282.85 463.98/464.14 c 20575 6771 20694 28029959 1354 230699 99552 20594 66 309.59 463.98/464.14 c 22656 6771 22775 30998336 1361 234421 109508 22675 64 350.26 463.98/464.14 c 25879 6771 25998 37554981 1444 241047 120459 25898 59 437.22 463.98/464.14 o 736 464.025 465.78/465.92 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 465.78/465.92 c 26579 6771 26699 37911787 1419 249316 61811 26599 57 464.03 465.78/465.92 o 713 465.809 620.84/621.09 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 620.84/621.09 c 26646 6771 26767 38069166 1422 256214 61811 26667 57 465.82 620.84/621.09 c 26746 6771 26867 38251911 1423 256446 67993 26767 56 471.63 620.84/621.09 c 26996 6771 27117 38808514 1431 256909 74793 27017 54 492.51 620.84/621.09 c 27471 6771 27592 39792088 1442 257959 82273 27492 53 509.24 620.84/621.09 c 28284 6771 28405 42448512 1494 259409 90501 28305 53 533.23 620.84/621.09 c 29604 6771 29725 46888005 1577 262084 99552 29625 52 568.00 620.84/621.09 o 696 620.94 1011.75/1012.00 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1011.75/1012.00 c 31246 6771 31368 51600318 1644 272165 61811 31268 50 620.95 1011.75/1012.00 c 31346 6771 31468 51995826 1652 272590 67993 31368 50 623.93 1011.75/1012.00 c 31596 6771 31718 52500653 1655 272919 74793 31618 49 633.73 1011.75/1012.00 c 32071 6771 32193 52957320 1644 273459 82273 32093 49 648.71 1011.75/1012.00 c 32884 6771 33006 53510841 1621 275196 90501 32906 47 688.14 1011.75/1012.00 c 34204 6771 34326 56910900 1657 277903 99552 34226 46 731.51 1011.75/1012.00 c 36285 6771 36407 60009506 1648 282345 109508 36307 46 776.97 1011.75/1012.00 c 39508 6771 39630 66905626 1688 288692 120459 39530 44 894.46 1011.75/1012.00 o 695 1011.76 1027.34/1027.62 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1027.34/1027.62 c 43313 6771 43436 72674362 1673 303007 61811 43336 42 1011.77 1027.34/1027.62 c 43413 6771 43536 72905606 1674 303271 67993 43436 42 1015.68 1027.34/1027.62 c 43663 6771 43786 73472151 1677 303660 74793 43686 42 1022.20 1027.34/1027.62 o 659 1027.38 1028.74/1029.07 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1028.74/1029.07 c 43901 6771 44025 73805492 1676 310910 61811 43925 42 1027.38 1028.74/1029.07 o 658 1028.82 1155.31/1155.60 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1155.31/1155.60 c 43976 6771 44101 73989734 1677 317817 61811 44001 42 1028.83 1155.31/1155.60 c 44076 6771 44201 74062654 1675 317919 67993 44101 42 1031.95 1155.31/1155.60 c 44328 6771 44453 74322931 1671 318797 74793 44353 42 1042.29 1155.31/1155.60 c 44803 6771 44928 74912268 1667 319558 82273 44828 42 1061.00 1155.31/1155.60 c 45616 6771 45741 75549256 1651 321045 90501 45641 41 1102.16 1155.31/1155.60 o 612 1155.32 1748.66/1749.15 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1748.66/1749.15 c 46453 6771 46579 76448416 1641 329676 61811 46479 40 1155.33 1748.66/1749.15 c 46553 6771 46679 76702519 1643 329777 67993 46579 40 1162.00 1748.66/1749.15 c 46803 6771 46929 76924557 1639 330103 74793 46829 40 1168.71 1748.66/1749.15 c 47280 6771 47406 77823208 1641 331310 82273 47306 39 1184.10 1748.66/1749.15 c 48093 6771 48219 79561447 1650 332733 90501 48119 39 1217.07 1748.66/1749.15 c 49415 6771 49541 81830801 1651 335587 99552 49441 38 1269.85 1748.66/1749.15 c 51496 6771 51622 86410898 1673 339748 109508 51522 35 1455.00 1748.66/1749.15 c 54719 6771 54845 94907001 1730 346133 120459 54745 34 1588.83 1748.66/1749.15 o 609 1748.72 1799.95/1800.49 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1799.95/1800.49 c 57191 6771 57318 100879870 1760 357750 61811 57218 32 1748.73 1799.95/1800.49 c 57292 6771 57419 101090194 1760 357935 67993 57319 32 1751.44 1799.95/1800.49 c 57542 6771 57669 101446477 1759 358397 74793 57569 32 1764.02 1799.95/1800.49 c 58017 6771 58144 101866037 1751 359557 82273 58044 32 1789.55 1799.95/1800.49 c Resources Exceeded 1799.95/1800.49 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 1799.95/1800.49 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 1799.95/1800.49 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 1799.95/1800.49 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 1799.95/1800.49 v -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 1799.95/1800.49 v -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 1799.95/1800.49 v -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 1799.95/1800.49 v -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 1799.95/1800.49 v -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 1799.95/1800.49 v -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 1799.95/1800.49 v -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 1799.95/1800.49 v -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 1799.95/1800.49 v -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 1799.95/1800.49 v -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 1799.95/1800.49 v -x315 -x316 -x317 -x318 -x319 x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 1799.95/1800.49 v -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 x354 -x355 -x356 1799.95/1800.49 v -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 1799.95/1800.49 v -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 1799.95/1800.49 v -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 1799.95/1800.49 v -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 1799.95/1800.49 v -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 1799.95/1800.49 v -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 1799.95/1800.49 v -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 1799.95/1800.49 v -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 1799.95/1800.49 v -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 1799.95/1800.49 v -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 1799.95/1800.49 v -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 1799.95/1800.49 v -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 1799.95/1800.49 v -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 1799.95/1800.49 v -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 1799.95/1800.49 v -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 1799.95/1800.49 v -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 1799.95/1800.49 v -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 1799.95/1800.49 v -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 1799.95/1800.49 v -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 1799.95/1800.49 v -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 1799.95/1800.49 v -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 1799.95/1800.49 v -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 1799.95/1800.49 v -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 1799.95/1800.49 v -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 1799.95/1800.49 v -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 1799.95/1800.49 v -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 1799.95/1800.49 v -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 1799.95/1800.49 v -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 1799.95/1800.49 v -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 1799.95/1800.49 v -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 1799.95/1800.49 v -x987 -x988 x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 1799.95/1800.49 v -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 1799.95/1800.49 v -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 1799.95/1800.49 v -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 1799.95/1800.49 v -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 1799.95/1800.49 v -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 1799.95/1800.49 v -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 1799.95/1800.49 v -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 1799.95/1800.49 v -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 1799.95/1800.49 v -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 1799.95/1800.49 v -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 1799.95/1800.49 v -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 1799.95/1800.49 v -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 1799.95/1800.49 v -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 1799.95/1800.49 v -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 1799.95/1800.49 v -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 1799.95/1800.49 v -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 1799.95/1800.49 v -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 1799.95/1800.49 v -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 1799.95/1800.49 v -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 1799.95/1800.49 v -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 1799.95/1800.49 v -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 1799.95/1800.49 v -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 1799.95/1800.49 v -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 1799.95/1800.49 v -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 1799.95/1800.49 v -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 1799.95/1800.49 v -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 1799.95/1800.49 v -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 1799.95/1800.49 v -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 1799.95/1800.49 v -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 1799.95/1800.49 v -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 1799.95/1800.49 v -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 1799.95/1800.49 v -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 1799.95/1800.49 v -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 1799.95/1800.49 v -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 1799.95/1800.49 v -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 1799.95/1800.49 v -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 1799.95/1800.49 v -x1619 -x1620 -x1621 x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 1799.95/1800.49 v -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 1799.95/1800.49 v -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 1799.95/1800.49 v -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 1799.95/1800.49 v -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 1799.95/1800.49 v -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 1799.95/1800.49 v -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 1799.95/1800.49 v -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 1799.95/1800.49 v -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 1799.95/1800.49 v -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 1799.95/1800.49 v -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 1799.95/1800.49 v -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 1799.95/1800.49 v -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 1799.95/1800.49 v -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 1799.95/1800.49 v -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 1799.95/1800.49 v -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 1799.95/1800.49 v -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 1799.95/1800.49 v -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 1799.95/1800.49 v -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 1799.95/1800.49 v -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 1799.95/1800.49 v -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 1799.95/1800.49 v -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 1799.95/1800.49 v -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 1799.95/1800.49 v -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 1799.95/1800.49 v -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 1799.95/1800.49 v -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 1799.95/1800.49 v -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 1799.95/1800.49 v -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 1799.95/1800.49 v -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 1799.95/1800.49 v -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 1799.95/1800.49 v -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 1799.95/1800.49 v -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 1799.95/1800.49 v -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 1799.95/1800.49 v -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 1799.95/1800.49 v -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 1799.95/1800.49 v -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 1799.95/1800.49 v -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 1799.95/1800.49 v -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 1799.95/1800.49 v -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 1799.95/1800.49 v -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 1799.95/1800.49 v -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 1799.95/1800.49 v -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 1799.95/1800.49 v -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 1799.95/1800.49 v -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 x2361 -x2362 -x2363 -x2364 -x2365 -x2366 1799.95/1800.49 v -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 1799.95/1800.49 v -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 1799.95/1800.49 v -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 1799.95/1800.49 v -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 1799.95/1800.49 v -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 1799.95/1800.49 v -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 1799.95/1800.49 v -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 1799.95/1800.49 v -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 1799.95/1800.49 v -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 1799.95/1800.49 v -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 1799.95/1800.49 v -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 1799.95/1800.49 v -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 1799.95/1800.49 v -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 1799.95/1800.49 v -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 1799.95/1800.49 v -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 1799.95/1800.49 v -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 1799.95/1800.49 v -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 1799.95/1800.49 v -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 1799.95/1800.49 v -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 1799.95/1800.49 v -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 1799.95/1800.49 v -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 1799.95/1800.49 v -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 1799.95/1800.49 v -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 1799.95/1800.49 v -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 1799.95/1800.49 v -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 1799.95/1800.49 v -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 1799.95/1800.49 v -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 1799.95/1800.49 v -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 1799.95/1800.49 v -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 1799.95/1800.49 v -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 1799.95/1800.49 v -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 1799.95/1800.49 v -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 1799.95/1800.49 v -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 1799.95/1800.49 v -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 1799.95/1800.49 v -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 1799.95/1800.49 v -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 1799.95/1800.49 v -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 1799.95/1800.49 v -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 1799.95/1800.49 v -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 1799.95/1800.49 v -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 1799.95/1800.49 v -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 1799.95/1800.49 v -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 1799.95/1800.49 v -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 1799.95/1800.49 v -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 1799.95/1800.49 v -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 1799.95/1800.49 v -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 1799.95/1800.49 v -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 1799.95/1800.49 v -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 1799.95/1800.49 v -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 1799.95/1800.49 v -x3200 -x3201 -x3202 -x3203 x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 1799.95/1800.49 v -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 1799.95/1800.49 v -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 1799.95/1800.49 v -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 1799.95/1800.49 v -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 1799.95/1800.49 v -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 1799.95/1800.49 v -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 1799.95/1800.49 v -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 1799.95/1800.49 v -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 1799.95/1800.49 v -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 1799.95/1800.49 v -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 1799.95/1800.49 v -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 1799.95/1800.49 v -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 1799.95/1800.49 v -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 1799.95/1800.49 v -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 1799.95/1800.49 v -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 1799.95/1800.49 v -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 1799.95/1800.49 v -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 1799.95/1800.49 v -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 1799.95/1800.49 v -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 1799.95/1800.49 v -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 1799.95/1800.49 v -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 1799.95/1800.49 v -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 1799.95/1800.49 v -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 1799.95/1800.49 v -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 1799.95/1800.49 v -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 1799.95/1800.49 v -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 1799.95/1800.49 v -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 1799.95/1800.49 v -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 1799.95/1800.49 v -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 1799.95/1800.49 v -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 1799.95/1800.49 v -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 1799.95/1800.49 v -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 1799.95/1800.49 v -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 1799.95/1800.49 v -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 1799.95/1800.49 v -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 1799.95/1800.49 v -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 1799.95/1800.49 v -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 1799.95/1800.49 v -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 1799.95/1800.49 v -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 1799.95/1800.49 v -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 1799.95/1800.49 v -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 1799.95/1800.49 v -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 1799.95/1800.49 v -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 1799.95/1800.49 v -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 1799.95/1800.49 v -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 1799.95/1800.49 v -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 1799.95/1800.49 v -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 1799.95/1800.49 v -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 1799.95/1800.49 v -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 1799.95/1800.49 v -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 1799.95/1800.49 v -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 1799.95/1800.49 v -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 1799.95/1800.49 v -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 1799.95/1800.49 v -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 1799.95/1800.49 v -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 1799.95/1800.49 v -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 1799.95/1800.49 v -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 1799.95/1800.49 v -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 1799.95/1800.49 v -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 1799.95/1800.49 v -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 1799.95/1800.49 v -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 1799.95/1800.49 v -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 1799.95/1800.49 v -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 1799.95/1800.49 v -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 1799.95/1800.49 v -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 1799.95/1800.49 v -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 1799.95/1800.49 v -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 1799.95/1800.49 v -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 -x4372 1799.95/1800.49 v -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 1799.95/1800.49 v -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 1799.95/1800.49 v -x4407 -x4408 -x4409 -x4410 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 1799.95/1800.49 v -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 1799.95/1800.49 v -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 1799.95/1800.49 v -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 1799.95/1800.49 v -x4475 -x4476 -x4477 -x4478 -x4479 -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 -x4491 1799.95/1800.49 v -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 1799.95/1800.49 v -x4509 -x4510 -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 1799.95/1800.49 v -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 1799.95/1800.49 v -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 1799.95/1800.49 v -x4560 -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 1799.95/1800.49 v -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 -x4591 -x4592 -x4593 1799.95/1800.49 v -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 1799.95/1800.49 v -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 -x4621 -x4622 -x4623 -x4624 -x4625 -x4626 -x4627 1799.95/1800.49 v -x4628 -x4629 -x4630 -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 -x4644 1799.95/1800.49 v -x4645 -x4646 -x4647 -x4648 -x4649 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 1799.95/1800.49 v -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 -x4677 -x4678 1799.95/1800.49 v -x4679 -x4680 -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 -x4687 -x4688 -x4689 -x4690 -x4691 -x4692 -x4693 -x4694 -x4695 1799.95/1800.49 v -x4696 -x4697 -x4698 -x4699 -x4700 -x4701 -x4702 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 -x4711 -x4712 1799.95/1800.49 v -x4713 -x4714 -x4715 -x4716 -x4717 -x4718 -x4719 -x4720 -x4721 -x4722 -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 -x4729 1799.95/1800.49 v -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 -x4741 -x4742 -x4743 -x4744 -x4745 -x4746 1799.95/1800.49 v -x4747 -x4748 -x4749 -x4750 -x4751 -x4752 -x4753 -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 1799.95/1800.49 v -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 -x4780 1799.95/1800.49 v -x4781 -x4782 -x4783 -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 1799.95/1800.49 v -x4798 -x4799 -x4800 -x4801 -x4802 -x4803 -x4804 -x4805 -x4806 -x4807 -x4808 -x4809 -x4810 -x4811 -x4812 -x4813 -x4814 1799.95/1800.49 v -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 -x4821 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 -x4829 -x4830 -x4831 1799.95/1800.49 v -x4832 -x4833 -x4834 -x4835 -x4836 -x4837 -x4838 -x4839 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 -x4847 -x4848 1799.95/1800.49 v -x4849 -x4850 -x4851 -x4852 -x4853 -x4854 -x4855 -x4856 -x4857 -x4858 -x4859 -x4860 -x4861 -x4862 -x4863 -x4864 -x4865 1799.95/1800.49 v -x4866 -x4867 -x4868 -x4869 -x4870 -x4871 -x4872 -x4873 -x4874 -x4875 -x4876 -x4877 -x4878 -x4879 -x4880 -x4881 -x4882 1799.95/1800.49 v -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x4890 -x4891 -x4892 -x4893 -x4894 -x4895 -x4896 -x4897 -x4898 -x4899 1799.95/1800.49 v -x4900 -x4901 -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4909 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 1799.95/1800.49 v -x4917 -x4918 -x4919 -x4920 -x4921 -x4922 -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 -x4932 -x4933 1799.95/1800.49 v -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x4940 -x4941 -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 -x4950 1799.95/1800.49 v -x4951 -x4952 -x4953 -x4954 -x4955 -x4956 -x4957 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 -x4967 1799.95/1800.49 v -x4968 -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4977 -x4978 -x4979 -x4980 -x4981 -x4982 -x4983 -x4984 1799.95/1800.49 v -x4985 -x4986 -x4987 -x4988 -x4989 -x4990 -x4991 -x4992 -x4993 -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000 -x5001 1799.95/1800.49 v -x5002 -x5003 -x5004 -x5005 -x5006 -x5007 -x5008 -x5009 -x5010 -x5011 -x5012 -x5013 -x5014 -x5015 -x5016 -x5017 -x5018 1799.95/1800.49 v -x5019 -x5020 -x5021 -x5022 -x5023 -x5024 -x5025 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5033 -x5034 -x5035 1799.95/1800.49 v -x5036 -x5037 -x5038 -x5039 -x5040 -x5041 -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048 -x5049 -x5050 -x5051 -x5052 1799.95/1800.49 v -x5053 -x5054 -x5055 -x5056 -x5057 -x5058 -x5059 -x5060 -x5061 -x5062 -x5063 -x5064 -x5065 -x5066 -x5067 -x5068 -x5069 1799.95/1800.49 v -x5070 -x5071 -x5072 -x5073 -x5074 -x5075 -x5076 -x5077 -x5078 -x5079 -x5080 -x5081 -x5082 -x5083 -x5084 -x5085 -x5086 1799.95/1800.49 v -x5087 -x5088 -x5089 -x5090 -x5091 -x5092 -x5093 -x5094 -x5095 -x5096 -x5097 -x5098 -x5099 -x5100 -x5101 -x5102 -x5103 1799.95/1800.49 v -x5104 -x5105 -x5106 -x5107 -x5108 -x5109 -x5110 -x5111 -x5112 -x5113 -x5114 -x5115 -x5116 -x5117 -x5118 -x5119 -x5120 1799.95/1800.49 v -x5121 -x5122 -x5123 -x5124 -x5125 -x5126 -x5127 -x5128 -x5129 -x5130 -x5131 -x5132 -x5133 -x5134 -x5135 -x5136 -x5137 1799.95/1800.49 v -x5138 -x5139 -x5140 -x5141 -x5142 -x5143 -x5144 -x5145 -x5146 -x5147 -x5148 -x5149 -x5150 -x5151 -x5152 -x5153 -x5154 1799.95/1800.49 v -x5155 -x5156 -x5157 -x5158 -x5159 -x5160 -x5161 -x5162 -x5163 -x5164 -x5165 -x5166 -x5167 -x5168 -x5169 -x5170 -x5171 1799.95/1800.49 v -x5172 -x5173 -x5174 -x5175 -x5176 -x5177 -x5178 -x5179 -x5180 -x5181 -x5182 -x5183 -x5184 -x5185 -x5186 -x5187 -x5188 1799.95/1800.49 v -x5189 -x5190 -x5191 -x5192 -x5193 -x5194 -x5195 -x5196 -x5197 -x5198 -x5199 -x5200 -x5201 -x5202 -x5203 -x5204 -x5205 1799.95/1800.49 v -x5206 -x5207 -x5208 -x5209 -x5210 -x5211 -x5212 -x5213 -x5214 -x5215 -x5216 -x5217 -x5218 -x5219 -x5220 -x5221 -x5222 1799.95/1800.49 v -x5223 -x5224 -x5225 -x5226 -x5227 -x5228 -x5229 -x5230 -x5231 -x5232 -x5233 -x5234 -x5235 -x5236 -x5237 -x5238 -x5239 1799.95/1800.49 v -x5240 -x5241 -x5242 -x5243 -x5244 -x5245 -x5246 -x5247 -x5248 -x5249 -x5250 -x5251 -x5252 -x5253 -x5254 -x5255 -x5256 1799.95/1800.49 v -x5257 -x5258 -x5259 -x5260 -x5261 -x5262 -x5263 -x5264 -x5265 -x5266 -x5267 -x5268 -x5269 -x5270 -x5271 -x5272 -x5273 1799.95/1800.49 v -x5274 -x5275 -x5276 -x5277 -x5278 -x5279 -x5280 -x5281 -x5282 -x5283 -x5284 -x5285 -x5286 -x5287 -x5288 -x5289 -x5290 1799.95/1800.49 v -x5291 -x5292 -x5293 -x5294 -x5295 -x5296 -x5297 -x5298 -x5299 -x5300 -x5301 -x5302 -x5303 -x5304 -x5305 -x5306 -x5307 1799.95/1800.49 v -x5308 -x5309 -x5310 -x5311 -x5312 -x5313 -x5314 -x5315 -x5316 -x5317 -x5318 -x5319 -x5320 -x5321 -x5322 -x5323 -x5324 1799.95/1800.49 v -x5325 -x5326 -x5327 -x5328 -x5329 -x5330 -x5331 -x5332 -x5333 -x5334 -x5335 -x5336 -x5337 -x5338 -x5339 -x5340 -x5341 1799.95/1800.49 v -x5342 -x5343 -x5344 -x5345 -x5346 -x5347 -x5348 -x5349 -x5350 -x5351 -x5352 -x5353 -x5354 -x5355 -x5356 -x5357 -x5358 1799.95/1800.49 v -x5359 -x5360 -x5361 -x5362 -x5363 -x5364 -x5365 -x5366 -x5367 -x5368 -x5369 -x5370 -x5371 -x5372 -x5373 -x5374 -x5375 1799.95/1800.49 v -x5376 -x5377 -x5378 -x5379 -x5380 -x5381 -x5382 -x5383 -x5384 -x5385 -x5386 -x5387 -x5388 -x5389 -x5390 -x5391 -x5392 1799.95/1800.49 v -x5393 -x5394 -x5395 -x5396 -x5397 -x5398 -x5399 -x5400 -x5401 -x5402 -x5403 -x5404 -x5405 -x5406 -x5407 -x5408 -x5409 1799.95/1800.49 v -x5410 -x5411 -x5412 -x5413 -x5414 -x5415 -x5416 -x5417 -x5418 -x5419 -x5420 -x5421 -x5422 -x5423 -x5424 -x5425 -x5426 1799.95/1800.49 v -x5427 -x5428 -x5429 -x5430 -x5431 -x5432 -x5433 -x5434 -x5435 -x5436 -x5437 -x5438 -x5439 -x5440 -x5441 -x5442 -x5443 1799.95/1800.49 v -x5444 -x5445 -x5446 -x5447 -x5448 -x5449 -x5450 -x5451 -x5452 -x5453 -x5454 -x5455 -x5456 -x5457 -x5458 -x5459 -x5460 1799.95/1800.49 v -x5461 -x5462 -x5463 -x5464 -x5465 -x5466 -x5467 -x5468 -x5469 -x5470 -x5471 -x5472 -x5473 -x5474 -x5475 -x5476 -x5477 1799.95/1800.49 v -x5478 -x5479 -x5480 -x5481 -x5482 -x5483 -x5484 -x5485 -x5486 -x5487 -x5488 -x5489 -x5490 -x5491 -x5492 -x5493 -x5494 1799.95/1800.49 v -x5495 -x5496 -x5497 -x5498 -x5499 -x5500 -x5501 -x5502 -x5503 -x5504 -x5505 -x5506 -x5507 -x5508 -x5509 -x5510 -x5511 1799.95/1800.49 v -x5512 -x5513 -x5514 -x5515 -x5516 -x5517 -x5518 -x5519 -x5520 -x5521 -x5522 -x5523 -x5524 -x5525 -x5526 -x5527 -x5528 1799.95/1800.49 v -x5529 -x5530 -x5531 -x5532 -x5533 -x5534 -x5535 -x5536 -x5537 -x5538 -x5539 -x5540 -x5541 -x5542 -x5543 -x5544 -x5545 1799.95/1800.49 v -x5546 -x5547 -x5548 -x5549 -x5550 -x5551 -x5552 -x5553 -x5554 -x5555 -x5556 -x5557 -x5558 -x5559 -x5560 -x5561 -x5562 1799.95/1800.49 v -x5563 -x5564 -x5565 -x5566 -x5567 -x5568 -x5569 -x5570 -x5571 -x5572 -x5573 -x5574 -x5575 -x5576 -x5577 -x5578 -x5579 1799.95/1800.49 v -x5580 -x5581 -x5582 -x5583 -x5584 -x5585 -x5586 -x5587 -x5588 -x5589 -x5590 -x5591 -x5592 -x5593 -x5594 -x5595 -x5596 1799.95/1800.49 v -x5597 -x5598 -x5599 -x5600 -x5601 -x5602 -x5603 -x5604 -x5605 -x5606 -x5607 -x5608 -x5609 -x5610 -x5611 -x5612 -x5613 1799.95/1800.49 v -x5614 -x5615 -x5616 -x5617 -x5618 -x5619 -x5620 -x5621 -x5622 -x5623 -x5624 -x5625 -x5626 -x5627 -x5628 -x5629 -x5630 1799.95/1800.49 v -x5631 -x5632 -x5633 -x5634 -x5635 -x5636 -x5637 -x5638 -x5639 -x5640 -x5641 -x5642 -x5643 -x5644 -x5645 -x5646 -x5647 1799.95/1800.49 v -x5648 -x5649 -x5650 -x5651 -x5652 -x5653 -x5654 -x5655 -x5656 -x5657 -x5658 -x5659 -x5660 -x5661 -x5662 -x5663 -x5664 1799.95/1800.49 v -x5665 -x5666 -x5667 -x5668 -x5669 -x5670 -x5671 -x5672 -x5673 -x5674 -x5675 -x5676 -x5677 -x5678 -x5679 -x5680 -x5681 1799.95/1800.49 v -x5682 -x5683 -x5684 -x5685 -x5686 -x5687 -x5688 -x5689 -x5690 -x5691 -x5692 -x5693 -x5694 -x5695 -x5696 -x5697 -x5698 1799.95/1800.49 v -x5699 -x5700 -x5701 -x5702 -x5703 -x5704 -x5705 -x5706 -x5707 -x5708 -x5709 -x5710 -x5711 -x5712 -x5713 -x5714 -x5715 1799.95/1800.49 v -x5716 -x5717 -x5718 -x5719 -x5720 -x5721 -x5722 -x5723 -x5724 -x5725 -x5726 -x5727 -x5728 -x5729 -x5730 -x5731 -x5732 1799.95/1800.49 v -x5733 -x5734 -x5735 -x5736 -x5737 -x5738 -x5739 -x5740 -x5741 -x5742 -x5743 -x5744 -x5745 -x5746 -x5747 -x5748 -x5749 1799.95/1800.49 v -x5750 -x5751 -x5752 -x5753 -x5754 -x5755 -x5756 -x5757 -x5758 -x5759 -x5760 -x5761 -x5762 -x5763 -x5764 -x5765 -x5766 1799.95/1800.49 v -x5767 -x5768 -x5769 -x5770 -x5771 -x5772 -x5773 -x5774 -x5775 -x5776 -x5777 -x5778 -x5779 -x5780 -x5781 -x5782 -x5783 1799.95/1800.49 v -x5784 -x5785 -x5786 -x5787 -x5788 -x5789 -x5790 -x5791 -x5792 -x5793 -x5794 -x5795 -x5796 -x5797 -x5798 -x5799 -x5800 1799.95/1800.49 v -x5801 -x5802 -x5803 -x5804 -x5805 -x5806 -x5807 -x5808 -x5809 -x5810 -x5811 -x5812 -x5813 -x5814 -x5815 -x5816 -x5817 1799.95/1800.49 v -x5818 -x5819 -x5820 -x5821 -x5822 -x5823 -x5824 -x5825 -x5826 -x5827 -x5828 -x5829 -x5830 -x5831 -x5832 -x5833 -x5834 1799.95/1800.49 v -x5835 -x5836 -x5837 -x5838 -x5839 -x5840 -x5841 -x5842 -x5843 -x5844 -x5845 -x5846 -x5847 -x5848 -x5849 -x5850 -x5851 1799.95/1800.49 v -x5852 -x5853 -x5854 -x5855 -x5856 -x5857 -x5858 -x5859 -x5860 -x5861 -x5862 -x5863 -x5864 -x5865 -x5866 -x5867 -x5868 1799.95/1800.49 v -x5869 -x5870 -x5871 -x5872 -x5873 -x5874 -x5875 -x5876 -x5877 -x5878 -x5879 -x5880 -x5881 -x5882 -x5883 -x5884 -x5885 1799.95/1800.49 v -x5886 -x5887 -x5888 -x5889 -x5890 -x5891 -x5892 -x5893 -x5894 -x5895 -x5896 -x5897 -x5898 -x5899 -x5900 -x5901 -x5902 1799.95/1800.49 v -x5903 -x5904 -x5905 -x5906 -x5907 -x5908 -x5909 -x5910 -x5911 -x5912 -x5913 -x5914 -x5915 -x5916 -x5917 -x5918 -x5919 1799.95/1800.49 v -x5920 -x5921 -x5922 -x5923 -x5924 -x5925 -x5926 -x5927 -x5928 -x5929 -x5930 -x5931 -x5932 -x5933 -x5934 -x5935 -x5936 1799.95/1800.49 v -x5937 -x5938 -x5939 -x5940 -x5941 -x5942 -x5943 -x5944 -x5945 -x5946 -x5947 -x5948 -x5949 -x5950 -x5951 -x5952 -x5953 1799.95/1800.49 v -x5954 -x5955 -x5956 -x5957 -x5958 -x5959 -x5960 -x5961 -x5962 -x5963 -x5964 -x5965 -x5966 -x5967 -x5968 -x5969 -x5970 1799.95/1800.49 v -x5971 -x5972 -x5973 -x5974 -x5975 -x5976 -x5977 -x5978 -x5979 -x5980 -x5981 -x5982 -x5983 -x5984 -x5985 -x5986 -x5987 1799.95/1800.49 v -x5988 -x5989 -x5990 -x5991 -x5992 -x5993 -x5994 -x5995 -x5996 -x5997 -x5998 -x5999 -x6000 -x6001 -x6002 -x6003 -x6004 1799.95/1800.49 v -x6005 -x6006 -x6007 -x6008 -x6009 -x6010 -x6011 -x6012 -x6013 -x6014 -x6015 -x6016 -x6017 -x6018 -x6019 -x6020 -x6021 1799.95/1800.49 v -x6022 -x6023 -x6024 -x6025 -x6026 -x6027 -x6028 -x6029 -x6030 -x6031 -x6032 -x6033 -x6034 -x6035 -x6036 -x6037 -x6038 1799.95/1800.49 v -x6039 -x6040 -x6041 -x6042 -x6043 -x6044 -x6045 -x6046 -x6047 -x6048 -x6049 -x6050 -x6051 -x6052 -x6053 -x6054 -x6055 1799.95/1800.49 v -x6056 -x6057 -x6058 -x6059 -x6060 -x6061 -x6062 -x6063 -x6064 -x6065 -x6066 -x6067 -x6068 -x6069 -x6070 -x6071 -x6072 1799.95/1800.49 v -x6073 -x6074 -x6075 -x6076 -x6077 -x6078 -x6079 -x6080 -x6081 -x6082 -x6083 -x6084 -x6085 -x6086 -x6087 -x6088 -x6089 1799.95/1800.49 v -x6090 -x6091 -x6092 -x6093 -x6094 -x6095 -x6096 -x6097 -x6098 -x6099 -x6100 -x6101 -x6102 -x6103 -x6104 -x6105 -x6106 1799.95/1800.49 v -x6107 -x6108 -x6109 -x6110 -x6111 -x6112 -x6113 -x6114 -x6115 -x6116 -x6117 -x6118 -x6119 -x6120 -x6121 -x6122 -x6123 1799.95/1800.49 v -x6124 -x6125 -x6126 -x6127 -x6128 -x6129 -x6130 -x6131 -x6132 -x6133 -x6134 -x6135 -x6136 -x6137 -x6138 -x6139 -x6140 1799.95/1800.49 v -x6141 -x6142 -x6143 -x6144 -x6145 -x6146 -x6147 -x6148 -x6149 -x6150 -x6151 -x6152 -x6153 -x6154 -x6155 -x6156 -x6157 1799.95/1800.49 v -x6158 -x6159 -x6160 -x6161 -x6162 -x6163 -x6164 -x6165 -x6166 -x6167 -x6168 -x6169 -x6170 -x6171 -x6172 -x6173 -x6174 1799.95/1800.49 v -x6175 -x6176 -x6177 -x6178 -x6179 -x6180 -x6181 -x6182 -x6183 -x6184 -x6185 -x6186 -x6187 -x6188 -x6189 -x6190 -x6191 1799.95/1800.49 v -x6192 -x6193 -x6194 -x6195 -x6196 -x6197 -x6198 -x6199 -x6200 -x6201 -x6202 -x6203 -x6204 -x6205 -x6206 -x6207 -x6208 1799.95/1800.49 v -x6209 -x6210 -x6211 -x6212 -x6213 -x6214 -x6215 -x6216 -x6217 -x6218 -x6219 -x6220 -x6221 -x6222 -x6223 -x6224 -x6225 1799.95/1800.49 v -x6226 -x6227 -x6228 -x6229 -x6230 -x6231 -x6232 -x6233 -x6234 -x6235 -x6236 -x6237 -x6238 -x6239 -x6240 -x6241 -x6242 1799.95/1800.49 v -x6243 -x6244 -x6245 -x6246 -x6247 -x6248 -x6249 -x6250 -x6251 -x6252 -x6253 -x6254 -x6255 -x6256 -x6257 -x6258 -x6259 1799.95/1800.49 v -x6260 -x6261 -x6262 -x6263 -x6264 -x6265 -x6266 -x6267 -x6268 -x6269 -x6270 -x6271 -x6272 -x6273 -x6274 -x6275 -x6276 1799.95/1800.49 v -x6277 -x6278 -x6279 -x6280 -x6281 -x6282 -x6283 -x6284 -x6285 -x6286 -x6287 -x6288 -x6289 -x6290 -x6291 -x6292 -x6293 1799.95/1800.49 v -x6294 -x6295 -x6296 -x6297 -x6298 -x6299 -x6300 -x6301 -x6302 -x6303 -x6304 -x6305 -x6306 -x6307 -x6308 -x6309 -x6310 1799.95/1800.49 v -x6311 -x6312 -x6313 -x6314 -x6315 -x6316 -x6317 -x6318 -x6319 -x6320 -x6321 -x6322 -x6323 -x6324 -x6325 -x6326 -x6327 1799.95/1800.49 v -x6328 -x6329 -x6330 -x6331 -x6332 -x6333 -x6334 -x6335 -x6336 -x6337 -x6338 -x6339 -x6340 -x6341 -x6342 -x6343 -x6344 1799.95/1800.49 v -x6345 -x6346 -x6347 -x6348 -x6349 -x6350 -x6351 -x6352 -x6353 -x6354 -x6355 -x6356 -x6357 -x6358 -x6359 -x6360 -x6361 1799.95/1800.49 v -x6362 -x6363 -x6364 -x6365 -x6366 -x6367 -x6368 -x6369 -x6370 -x6371 -x6372 -x6373 -x6374 -x6375 -x6376 -x6377 -x6378 1799.95/1800.49 v -x6379 -x6380 -x6381 -x6382 -x6383 -x6384 -x6385 -x6386 -x6387 -x6388 -x6389 -x6390 -x6391 -x6392 -x6393 -x6394 -x6395 1799.95/1800.49 v -x6396 -x6397 -x6398 -x6399 -x6400 -x6401 -x6402 -x6403 -x6404 -x6405 -x6406 -x6407 -x6408 -x6409 -x6410 -x6411 -x6412 1799.95/1800.49 v -x6413 -x6414 -x6415 -x6416 -x6417 -x6418 -x6419 -x6420 -x6421 -x6422 -x6423 -x6424 -x6425 -x6426 -x6427 -x6428 -x6429 1799.95/1800.49 v -x6430 -x6431 -x6432 -x6433 -x6434 -x6435 -x6436 -x6437 -x6438 -x6439 -x6440 -x6441 -x6442 -x6443 -x6444 -x6445 -x6446 1799.95/1800.49 v -x6447 -x6448 -x6449 -x6450 -x6451 -x6452 -x6453 -x6454 -x6455 -x6456 -x6457 -x6458 -x6459 -x6460 -x6461 -x6462 -x6463 1799.95/1800.49 v -x6464 -x6465 -x6466 -x6467 -x6468 -x6469 -x6470 -x6471 -x6472 -x6473 -x6474 -x6475 -x6476 -x6477 -x6478 -x6479 -x6480 1799.95/1800.49 v -x6481 -x6482 -x6483 -x6484 -x6485 -x6486 -x6487 -x6488 -x6489 -x6490 -x6491 -x6492 -x6493 -x6494 -x6495 -x6496 -x6497 1799.95/1800.49 v -x6498 -x6499 -x6500 -x6501 -x6502 -x6503 -x6504 -x6505 -x6506 -x6507 -x6508 -x6509 -x6510 -x6511 -x6512 -x6513 -x6514 1799.95/1800.49 v -x6515 -x6516 -x6517 -x6518 -x6519 -x6520 -x6521 -x6522 -x6523 -x6524 -x6525 -x6526 -x6527 -x6528 -x6529 -x6530 -x6531 1799.95/1800.49 v -x6532 -x6533 -x6534 -x6535 -x6536 -x6537 -x6538 -x6539 -x6540 -x6541 -x6542 -x6543 -x6544 -x6545 -x6546 -x6547 -x6548 1799.95/1800.49 v -x6549 -x6550 -x6551 -x6552 -x6553 -x6554 -x6555 -x6556 -x6557 -x6558 -x6559 -x6560 -x6561 -x6562 -x6563 -x6564 -x6565 1799.95/1800.49 v -x6566 -x6567 -x6568 -x6569 -x6570 -x6571 -x6572 -x6573 -x6574 -x6575 -x6576 -x6577 -x6578 -x6579 -x6580 -x6581 -x6582 1799.95/1800.49 v -x6583 -x6584 -x6585 -x6586 -x6587 -x6588 -x6589 -x6590 -x6591 -x6592 -x6593 -x6594 -x6595 -x6596 -x6597 -x6598 x6599 1799.95/1800.49 v -x6600 -x6601 -x6602 -x6603 -x6604 -x6605 -x6606 -x6607 -x6608 -x6609 -x6610 -x6611 -x6612 -x6613 -x6614 -x6615 -x6616 1799.95/1800.49 v -x6617 -x6618 -x6619 -x6620 -x6621 -x6622 -x6623 -x6624 -x6625 -x6626 -x6627 -x6628 -x6629 -x6630 -x6631 -x6632 -x6633 1799.95/1800.49 v -x6634 -x6635 -x6636 -x6637 -x6638 -x6639 -x6640 -x6641 -x6642 -x6643 -x6644 -x6645 -x6646 -x6647 -x6648 -x6649 -x6650 1799.95/1800.49 v -x6651 -x6652 -x6653 -x6654 -x6655 -x6656 -x6657 -x6658 -x6659 -x6660 -x6661 -x6662 -x6663 -x6664 -x6665 -x6666 -x6667 1799.95/1800.49 v -x6668 -x6669 -x6670 -x6671 -x6672 -x6673 -x6674 -x6675 -x6676 -x6677 -x6678 -x6679 -x6680 -x6681 -x6682 -x6683 -x6684 1799.95/1800.49 v -x6685 -x6686 -x6687 -x6688 -x6689 -x6690 -x6691 -x6692 -x6693 -x6694 -x6695 -x6696 -x6697 -x6698 -x6699 -x6700 -x6701 1799.95/1800.49 v -x6702 -x6703 -x6704 -x6705 -x6706 -x6707 -x6708 -x6709 -x6710 -x6711 -x6712 -x6713 -x6714 -x6715 -x6716 -x6717 -x6718 1799.95/1800.49 v -x6719 -x6720 -x6721 -x6722 -x6723 -x6724 -x6725 -x6726 -x6727 -x6728 -x6729 -x6730 -x6731 -x6732 -x6733 -x6734 -x6735 1799.95/1800.49 v -x6736 -x6737 -x6738 -x6739 -x6740 -x6741 -x6742 -x6743 -x6744 -x6745 -x6746 -x6747 -x6748 -x6749 -x6750 -x6751 -x6752 1799.95/1800.49 v -x6753 -x6754 -x6755 -x6756 -x6757 -x6758 -x6759 -x6760 -x6761 -x6762 -x6763 -x6764 -x6765 -x6766 -x6767 -x6768 -x6769 1799.95/1800.49 v -x6770 -x6771 -x6772 -x6773 -x6774 1799.95/1800.49 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1799.95/1800.49 c 95 58159 51551 30333128 58286 101985949 58186 32 1800.05 1799.95/1800.49 c Objective: 609 1799.95/1800.49 s SATISFIABLE 1799.95/1800.49 c Total time: 1800.05 s
OK 609
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node29/watcher-363233-1177024541 -o ROOT/results/node29/solver-363233-1177024541 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/363233-1177024541/instance-363233-1177024541.opb 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.99 3/77 5061 /proc/meminfo: memFree=1783824/2055920 swapFree=4146452/4192956 [pid=5061] ppid=5059 vsize=12336 CPUtime=0 /proc/5061/stat : 5061 (bsolo3.0.16) R 5059 5061 3178 0 -1 4194304 368 0 0 0 0 0 0 0 18 0 1 0 150369886 12632064 336 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4564603 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5061/statm: 3084 336 281 324 0 2003 0 [startup+0.076466 s] /proc/loadavg: 0.92 0.98 0.99 3/77 5061 /proc/meminfo: memFree=1783824/2055920 swapFree=4146452/4192956 [pid=5061] ppid=5059 vsize=13792 CPUtime=0.06 /proc/5061/stat : 5061 (bsolo3.0.16) R 5059 5061 3178 0 -1 4194304 831 0 0 0 6 0 0 0 18 0 1 0 150369886 14123008 799 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134525046 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5061/statm: 3448 799 376 324 0 2367 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 13792 [startup+0.102476 s] /proc/loadavg: 0.92 0.98 0.99 3/77 5061 /proc/meminfo: memFree=1783824/2055920 swapFree=4146452/4192956 [pid=5061] ppid=5059 vsize=14324 CPUtime=0.09 /proc/5061/stat : 5061 (bsolo3.0.16) R 5059 5061 3178 0 -1 4194304 976 0 0 0 9 0 0 0 18 0 1 0 150369886 14667776 944 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134525286 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5061/statm: 3581 944 410 324 0 2500 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 14324 [startup+0.302487 s] /proc/loadavg: 0.92 0.98 0.99 3/77 5061 /proc/meminfo: memFree=1783824/2055920 swapFree=4146452/4192956 [pid=5061] ppid=5059 vsize=15948 CPUtime=0.29 /proc/5061/stat : 5061 (bsolo3.0.16) R 5059 5061 3178 0 -1 4194304 1565 0 0 0 29 0 0 0 19 0 1 0 150369886 16330752 1383 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5061/statm: 3987 1383 305 324 0 3056 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 15948 [startup+0.701513 s] /proc/loadavg: 0.92 0.98 0.99 3/77 5061 /proc/meminfo: memFree=1783824/2055920 swapFree=4146452/4192956 [pid=5061] ppid=5059 vsize=15948 CPUtime=0.69 /proc/5061/stat : 5061 (bsolo3.0.16) R 5059 5061 3178 0 -1 4194304 1570 0 0 0 69 0 0 0 23 0 1 0 150369886 16330752 1388 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134520488 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5061/statm: 3987 1388 305 324 0 3056 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 15948 [startup+1.50156 s] /proc/loadavg: 0.92 0.98 0.99 2/78 5062 /proc/meminfo: memFree=1779400/2055920 swapFree=4146452/4192956 [pid=5061] ppid=5059 vsize=15948 CPUtime=1.49 /proc/5061/stat : 5061 (bsolo3.0.16) R 5059 5061 3178 0 -1 4194304 1576 0 0 0 148 1 0 0 25 0 1 0 150369886 16330752 1394 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134552264 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5061/statm: 3987 1394 305 324 0 3056 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 15948 [startup+3.10166 s] /proc/loadavg: 0.92 0.98 0.99 2/78 5062 /proc/meminfo: memFree=1779080/2055920 swapFree=4146452/4192956 [pid=5061] ppid=5059 vsize=15948 CPUtime=3.09 /proc/5061/stat : 5061 (bsolo3.0.16) R 5059 5061 3178 0 -1 4194304 1588 0 0 0 308 1 0 0 25 0 1 0 150369886 16330752 1406 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4558917 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5061/statm: 3987 1406 305 324 0 3056 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 15948 [startup+6.30186 s] /proc/loadavg: 0.93 0.98 0.99 2/78 5062 /proc/meminfo: memFree=1779016/2055920 swapFree=4146452/4192956 [pid=5061] ppid=5059 vsize=15948 CPUtime=6.29 /proc/5061/stat : 5061 (bsolo3.0.16) R 5059 5061 3178 0 -1 4194304 1591 0 0 0 628 1 0 0 25 0 1 0 150369886 16330752 1409 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4563094 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5061/statm: 3987 1409 305 324 0 3056 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 15948 [startup+12.7012 s] /proc/loadavg: 0.93 0.98 0.99 2/78 5062 /proc/meminfo: memFree=1779048/2055920 swapFree=4146452/4192956 [pid=5061] ppid=5059 vsize=15948 CPUtime=12.68 /proc/5061/stat : 5061 (bsolo3.0.16) R 5059 5061 3178 0 -1 4194304 1591 0 0 0 1267 1 0 0 25 0 1 0 150369886 16330752 1409 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551904 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5061/statm: 3987 1409 305 324 0 3056 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 15948 [startup+25.501 s] /proc/loadavg: 0.95 0.98 0.99 2/78 5062 /proc/meminfo: memFree=1759784/2055920 swapFree=4146452/4192956 [pid=5061] ppid=5059 vsize=27516 CPUtime=25.48 /proc/5061/stat : 5061 (bsolo3.0.16) R 5059 5061 3178 0 -1 4194304 7243 0 0 0 2473 75 0 0 25 0 1 0 150369886 28176384 6247 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5061/statm: 6879 6247 312 324 0 5948 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 27516 [startup+51.1016 s] /proc/loadavg: 0.96 0.98 0.99 2/78 5062 /proc/meminfo: memFree=1721896/2055920 swapFree=4146452/4192956 [pid=5061] ppid=5059 vsize=66992 CPUtime=51.08 /proc/5061/stat : 5061 (bsolo3.0.16) R 5059 5061 3178 0 -1 4194304 17122 0 0 0 4907 201 0 0 25 0 1 0 150369886 68599808 16126 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551288 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5061/statm: 16748 16126 312 324 0 15817 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 66992 [startup+102.306 s] /proc/loadavg: 0.98 0.98 0.99 2/78 5062 /proc/meminfo: memFree=1646440/2055920 swapFree=4146452/4192956 [pid=5061] ppid=5059 vsize=140684 CPUtime=102.26 /proc/5061/stat : 5061 (bsolo3.0.16) R 5059 5061 3178 0 -1 4194304 35556 0 0 0 9847 379 0 0 25 0 1 0 150369886 144060416 34560 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551257 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5061/statm: 35171 34560 312 324 0 34240 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 140684 [startup+162.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 5062 /proc/meminfo: memFree=1571176/2055920 swapFree=4146452/4192956 [pid=5061] ppid=5059 vsize=216296 CPUtime=162.25 /proc/5061/stat : 5061 (bsolo3.0.16) R 5059 5061 3178 0 -1 4194304 54441 0 0 0 15598 627 0 0 25 0 1 0 150369886 221487104 53445 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551268 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5061/statm: 54074 53445 312 324 0 53143 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 216296 [startup+222.301 s] /proc/loadavg: 0.99 0.98 0.99 2/78 5062 /proc/meminfo: memFree=1490920/2055920 swapFree=4146452/4192956 [pid=5061] ppid=5059 vsize=296092 CPUtime=222.23 /proc/5061/stat : 5061 (bsolo3.0.16) R 5059 5061 3178 0 -1 4194304 74392 0 0 0 21537 686 0 0 25 0 1 0 150369886 303198208 73396 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5061/statm: 74023 73396 312 324 0 73092 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 296092 [startup+282.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 5062 /proc/meminfo: memFree=1437992/2055920 swapFree=4146452/4192956 [pid=5061] ppid=5059 vsize=348756 CPUtime=282.22 /proc/5061/stat : 5061 (bsolo3.0.16) R 5059 5061 3178 0 -1 4194304 87573 0 0 0 27420 802 0 0 25 0 1 0 150369886 357126144 86577 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551070 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5061/statm: 87189 86577 312 324 0 86258 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 348756 [startup+342.303 s] /proc/loadavg: 0.99 0.98 0.99 2/78 5062 /proc/meminfo: memFree=1386152/2055920 swapFree=4146452/4192956 [pid=5061] ppid=5059 vsize=400380 CPUtime=342.21 /proc/5061/stat : 5061 (bsolo3.0.16) R 5059 5061 3178 0 -1 4194304 100471 0 0 0 33268 953 0 0 25 0 1 0 150369886 409989120 99475 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551244 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5061/statm: 100095 99475 312 324 0 99164 0 Current children cumulated CPU time (s) 342.21 Current children cumulated vsize (KiB) 400380 [startup+402.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 5062 /proc/meminfo: memFree=1334440/2055920 swapFree=4146452/4192956 [pid=5061] ppid=5059 vsize=452992 CPUtime=402.19 /proc/5061/stat : 5061 (bsolo3.0.16) R 5059 5061 3178 0 -1 4194304 113618 0 0 0 39232 987 0 0 25 0 1 0 150369886 463863808 112622 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5061/statm: 113248 112622 312 324 0 112317 0 Current children cumulated CPU time (s) 402.19 Current children cumulated vsize (KiB) 452992 [startup+462.302 s] /proc/loadavg: 1.06 1.00 1.00 2/78 5062 /proc/meminfo: memFree=1292776/2055920 swapFree=4146452/4192956 [pid=5061] ppid=5059 vsize=493596 CPUtime=462.18 /proc/5061/stat : 5061 (bsolo3.0.16) R 5059 5061 3178 0 -1 4194304 123777 0 0 0 45187 1031 0 0 25 0 1 0 150369886 505442304 122781 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551070 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5061/statm: 123399 122781 312 324 0 122468 0 Current children cumulated CPU time (s) 462.18 Current children cumulated vsize (KiB) 493596 [startup+522.303 s] /proc/loadavg: 1.06 1.01 1.00 2/78 5062 /proc/meminfo: memFree=1249896/2055920 swapFree=4146452/4192956 [pid=5061] ppid=5059 vsize=537728 CPUtime=522.16 /proc/5061/stat : 5061 (bsolo3.0.16) R 5059 5061 3178 0 -1 4194304 134807 0 0 0 51139 1077 0 0 25 0 1 0 150369886 550633472 133811 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5061/statm: 134432 133811 312 324 0 133501 0 Current children cumulated CPU time (s) 522.16 Current children cumulated vsize (KiB) 537728 [startup+582.303 s] /proc/loadavg: 1.02 1.01 1.00 2/78 5062 /proc/meminfo: memFree=1157608/2055920 swapFree=4146452/4192956 [pid=5061] ppid=5059 vsize=628596 CPUtime=582.15 /proc/5061/stat : 5061 (bsolo3.0.16) R 5059 5061 3178 0 -1 4194304 157530 0 0 0 57120 1095 0 0 25 0 1 0 150369886 643682304 156534 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551288 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5061/statm: 157149 156534 312 324 0 156218 0 Current children cumulated CPU time (s) 582.15 Current children cumulated vsize (KiB) 628596 [startup+642.301 s] /proc/loadavg: 1.01 1.00 1.00 2/78 5062 /proc/meminfo: memFree=1101864/2055920 swapFree=4146452/4192956 [pid=5061] ppid=5059 vsize=683956 CPUtime=642.14 /proc/5061/stat : 5061 (bsolo3.0.16) R 5059 5061 3178 0 -1 4194304 171369 0 0 0 63046 1168 0 0 25 0 1 0 150369886 700370944 170373 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4160091726 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5061/statm: 170989 170373 312 324 0 170058 0 Current children cumulated CPU time (s) 642.14 Current children cumulated vsize (KiB) 683956 ################ # More data... # ################ [startup+942.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 5062 /proc/meminfo: memFree=886888/2055920 swapFree=4146452/4192956 [pid=5061] ppid=5059 vsize=898532 CPUtime=942.06 /proc/5061/stat : 5061 (bsolo3.0.16) R 5059 5061 3178 0 -1 4194304 225014 0 0 0 92814 1392 0 0 25 0 1 0 150369886 920096768 224018 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551296 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5061/statm: 224633 224018 312 324 0 223702 0 Current children cumulated CPU time (s) 942.06 Current children cumulated vsize (KiB) 898532 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 5062 /proc/meminfo: memFree=856744/2055920 swapFree=4146452/4192956 [pid=5061] ppid=5059 vsize=928964 CPUtime=1002.05 /proc/5061/stat : 5061 (bsolo3.0.16) R 5059 5061 3178 0 -1 4194304 232621 0 0 0 98703 1502 0 0 25 0 1 0 150369886 951259136 231625 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5061/statm: 232241 231625 312 324 0 231310 0 Current children cumulated CPU time (s) 1002.05 Current children cumulated vsize (KiB) 928964 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 5062 /proc/meminfo: memFree=818344/2055920 swapFree=4146452/4192956 [pid=5061] ppid=5059 vsize=966960 CPUtime=1062.03 /proc/5061/stat : 5061 (bsolo3.0.16) R 5059 5061 3178 0 -1 4194304 242111 0 0 0 104640 1563 0 0 25 0 1 0 150369886 990167040 241115 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551378 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5061/statm: 241740 241115 312 324 0 240809 0 Current children cumulated CPU time (s) 1062.03 Current children cumulated vsize (KiB) 966960 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 5062 /proc/meminfo: memFree=805096/2055920 swapFree=4146452/4192956 [pid=5061] ppid=5059 vsize=980136 CPUtime=1122.01 /proc/5061/stat : 5061 (bsolo3.0.16) R 5059 5061 3178 0 -1 4194304 245399 0 0 0 110579 1622 0 0 25 0 1 0 150369886 1003659264 244403 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5061/statm: 245034 244403 312 324 0 244103 0 Current children cumulated CPU time (s) 1122.01 Current children cumulated vsize (KiB) 980136 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 5062 /proc/meminfo: memFree=782696/2055920 swapFree=4146452/4192956 [pid=5061] ppid=5059 vsize=1003048 CPUtime=1182 /proc/5061/stat : 5061 (bsolo3.0.16) R 5059 5061 3178 0 -1 4194304 251132 0 0 0 116512 1688 0 0 25 0 1 0 150369886 1027121152 250136 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551111 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5061/statm: 250762 250136 312 324 0 249831 0 Current children cumulated CPU time (s) 1182 Current children cumulated vsize (KiB) 1003048 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 5062 /proc/meminfo: memFree=750760/2055920 swapFree=4146452/4192956 [pid=5061] ppid=5059 vsize=1034212 CPUtime=1241.99 /proc/5061/stat : 5061 (bsolo3.0.16) R 5059 5061 3178 0 -1 4194304 258928 0 0 0 122475 1724 0 0 25 0 1 0 150369886 1059033088 257932 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551378 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5061/statm: 258553 257932 312 324 0 257622 0 Current children cumulated CPU time (s) 1241.99 Current children cumulated vsize (KiB) 1034212 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 5062 /proc/meminfo: memFree=711272/2055920 swapFree=4146452/4192956 [pid=5061] ppid=5059 vsize=1073568 CPUtime=1301.98 /proc/5061/stat : 5061 (bsolo3.0.16) R 5059 5061 3178 0 -1 4194304 268761 0 0 0 128465 1733 0 0 25 0 1 0 150369886 1099333632 267765 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551276 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5061/statm: 268392 267765 312 324 0 267461 0 Current children cumulated CPU time (s) 1301.98 Current children cumulated vsize (KiB) 1073568 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 5064 /proc/meminfo: memFree=699048/2055920 swapFree=4146452/4192956 [pid=5061] ppid=5059 vsize=1085600 CPUtime=1361.96 /proc/5061/stat : 5061 (bsolo3.0.16) R 5059 5061 3178 0 -1 4194304 271779 0 0 0 134460 1736 0 0 25 0 1 0 150369886 1111654400 270783 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551288 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5061/statm: 271400 270783 312 324 0 270469 0 Current children cumulated CPU time (s) 1361.96 Current children cumulated vsize (KiB) 1085600 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/78 5064 /proc/meminfo: memFree=687528/2055920 swapFree=4146452/4192956 [pid=5061] ppid=5059 vsize=1097036 CPUtime=1421.95 /proc/5061/stat : 5061 (bsolo3.0.16) R 5059 5061 3178 0 -1 4194304 274642 0 0 0 140456 1739 0 0 25 0 1 0 150369886 1123364864 273646 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5061/statm: 274259 273646 312 324 0 273328 0 Current children cumulated CPU time (s) 1421.95 Current children cumulated vsize (KiB) 1097036 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 5064 /proc/meminfo: memFree=655592/2055920 swapFree=4146452/4192956 [pid=5061] ppid=5059 vsize=1129608 CPUtime=1481.93 /proc/5061/stat : 5061 (bsolo3.0.16) R 5059 5061 3178 0 -1 4194304 282780 0 0 0 146439 1754 0 0 25 0 1 0 150369886 1156718592 281784 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5061/statm: 282402 281784 312 324 0 281471 0 Current children cumulated CPU time (s) 1481.93 Current children cumulated vsize (KiB) 1129608 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 5064 /proc/meminfo: memFree=602152/2055920 swapFree=4146452/4192956 [pid=5061] ppid=5059 vsize=1182448 CPUtime=1541.91 /proc/5061/stat : 5061 (bsolo3.0.16) R 5059 5061 3178 0 -1 4194304 295981 0 0 0 152425 1766 0 0 25 0 1 0 150369886 1210826752 294985 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5061/statm: 295612 294985 312 324 0 294681 0 Current children cumulated CPU time (s) 1541.91 Current children cumulated vsize (KiB) 1182448 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 5064 /proc/meminfo: memFree=554600/2055920 swapFree=4146452/4192956 [pid=5061] ppid=5059 vsize=1232280 CPUtime=1601.89 /proc/5061/stat : 5061 (bsolo3.0.16) R 5059 5061 3178 0 -1 4194304 308457 0 0 0 158407 1782 0 0 25 0 1 0 150369886 1261854720 307461 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134587014 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5061/statm: 308070 307461 312 324 0 307139 0 Current children cumulated CPU time (s) 1601.89 Current children cumulated vsize (KiB) 1232280 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 5064 /proc/meminfo: memFree=525352/2055920 swapFree=4146452/4192956 [pid=5061] ppid=5059 vsize=1259328 CPUtime=1661.88 /proc/5061/stat : 5061 (bsolo3.0.16) R 5059 5061 3178 0 -1 4194304 315200 0 0 0 164396 1792 0 0 25 0 1 0 150369886 1289551872 314204 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5061/statm: 314832 314204 312 324 0 313901 0 Current children cumulated CPU time (s) 1661.88 Current children cumulated vsize (KiB) 1259328 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 5064 /proc/meminfo: memFree=499176/2055920 swapFree=4146452/4192956 [pid=5061] ppid=5059 vsize=1285012 CPUtime=1721.87 /proc/5061/stat : 5061 (bsolo3.0.16) R 5059 5061 3178 0 -1 4194304 321622 0 0 0 170390 1797 0 0 25 0 1 0 150369886 1315852288 320626 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5061/statm: 321253 320626 312 324 0 320322 0 Current children cumulated CPU time (s) 1721.87 Current children cumulated vsize (KiB) 1285012 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 5064 /proc/meminfo: memFree=475048/2055920 swapFree=4146452/4192956 [pid=5061] ppid=5059 vsize=1308936 CPUtime=1781.86 /proc/5061/stat : 5061 (bsolo3.0.16) R 5059 5061 3178 0 -1 4194304 327624 0 0 0 176373 1813 0 0 25 0 1 0 150369886 1340350464 326628 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134572902 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5061/statm: 327234 326628 312 324 0 326303 0 Current children cumulated CPU time (s) 1781.86 Current children cumulated vsize (KiB) 1308936 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 1.00 1.00 1.00 2/78 5064 /proc/meminfo: memFree=479592/2055920 swapFree=4146452/4192956 [pid=5061] ppid=5059 vsize=0 CPUtime=1800.06 /proc/5061/stat : 5061 (bsolo3.0.16) R 5059 5061 3178 0 -1 4194308 328493 0 0 0 178188 1818 0 0 25 0 1 0 150369886 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5061/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.06 Current children cumulated vsize (KiB) 0 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.61 s] /proc/loadavg: 1.00 1.00 1.00 2/79 5065 /proc/meminfo: memFree=1129504/2055920 swapFree=4146452/4192956 [pid=5061] ppid=5059 vsize=0 CPUtime=1800.16 /proc/5061/stat : 5061 (bsolo3.0.16) R 5059 5061 3178 0 -1 4194308 328493 0 0 0 178188 1828 0 0 25 0 1 0 150369886 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5061/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.16 Current children cumulated vsize (KiB) 0 [startup+1800.71 s] /proc/loadavg: 1.00 1.00 1.00 2/79 5065 /proc/meminfo: memFree=1129504/2055920 swapFree=4146452/4192956 [pid=5061] ppid=5059 vsize=0 CPUtime=1800.26 /proc/5061/stat : 5061 (bsolo3.0.16) R 5059 5061 3178 0 -1 4194308 328493 0 0 0 178188 1838 0 0 25 0 1 0 150369886 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5061/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.26 Current children cumulated vsize (KiB) 0 Child status: 0 Real time (s): 1800.71 CPU time (s): 1800.26 CPU user time (s): 1781.88 CPU system time (s): 18.3832 CPU usage (%): 99.9752 Max. virtual memory (cumulated for all children) (KiB): 1312392 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1781.88 system time used= 18.3832 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 328493 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= 13 involuntary context switches= 2530 runsolver used 2.13667 second user time and 4.38833 second system time The end
Begin job on node29 on Thu Apr 19 23:15:41 UTC 2007 IDJOB= 363233 IDBENCH= 1765 IDSOLVER= 163 FILE ID= node29/363233-1177024541 PBS_JOBID= 4630594 Free space on /tmp= 66463 MiB SOLVER NAME= bsolo 3.0.16 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib/normalized-reduced-mps-v2-20-10-air02.opb COMMAND LINE= bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/363233-1177024541/instance-363233-1177024541.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node29/watcher-363233-1177024541 -o ROOT/results/node29/solver-363233-1177024541 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/363233-1177024541/instance-363233-1177024541.opb META MD5SUM SOLVER= b11bf0769a124f73ad50b0fdfcd50482 MD5SUM BENCH= d237957d2db9f550f313e8cfb724f264 RANDOM SEED= 533624786 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node29.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.224 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.224 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: 1784232 kB Buffers: 47472 kB Cached: 136464 kB SwapCached: 11360 kB Active: 99752 kB Inactive: 118712 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1784232 kB SwapTotal: 4192956 kB SwapFree: 4146452 kB Dirty: 5004 kB Writeback: 0 kB Mapped: 33820 kB Slab: 38640 kB Committed_AS: 2532152 kB PageTables: 1892 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= 66463 MiB End job on node29 on Thu Apr 19 23:45:44 UTC 2007