Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
oree 0.1.2 alpha | SAT (TO) | 87 | 1800.13 | 1800.8 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mds/normalized-mds_500_10_4.opb |
MD5SUM | 7603a459a5769ea7e43f52c522eb87aa |
Bench Category | OPT-SMALLINT-NLC (optimisation, small integers, non linear constraints) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 68 |
Best CPU time to get the best result obtained on this benchmark | 1800.13 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 68 |
Optimality of the best value was proved | NO |
Number of variables | 500 |
Total number of constraints | 500 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 500 |
Minimum length of a constraint | 11 |
Maximum length of a constraint | 22 |
Number of terms in the objective function | 500 |
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 | 500 |
Number of bits of the sum of numbers in the objective function | 9 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 500 |
Number of bits of the biggest sum of numbers | 9 |
Number of products (including duplicates) | 6326 |
Sum of products size (including duplicates) | 12652 |
Number of different products | 6326 |
Sum of products size | 12652 |
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.02/0.08 c ...done 0.02/0.08 c #vars=6826 #constraints=13153 hasObjective=yes 0.09/0.16 c res. mode=mod 0.09/0.16 c VSIDS like heuristics 0.09/0.16 c complete search running 0.19/0.21 c restart after 401 decisions 0.19/0.23 c nbDecision=500 #constraints=13153 0.19/0.26 c restart after 801 decisions 0.19/0.30 c nbDecision=1000 #constraints=13153 0.29/0.32 c nbDecision=1210 #constraints=13153 0.29/0.32 c linear search for optimum 0.29/0.32 o 91 0.49/0.55 c nbDecision=1500 #constraints=13299 0.59/0.64 c restart after 1601 decisions 0.69/0.71 c nbDecision=2000 #constraints=13351 1.09/1.19 c nbDecision=2500 #constraints=13585 1.69/1.71 c nbDecision=2982 #constraints=13783 1.69/1.71 o 90 1.69/1.75 c nbDecision=3000 #constraints=13795 1.99/2.06 c restart after 3201 decisions 2.09/2.15 c nbDecision=3500 #constraints=13892 2.78/2.82 c nbDecision=4000 #constraints=14068 3.79/3.82 c nbDecision=4500 #constraints=14289 4.89/4.90 c nbDecision=5000 #constraints=14526 5.49/5.58 c nbDecision=5334 #constraints=14673 5.49/5.58 o 89 5.89/5.92 c nbDecision=5500 #constraints=14735 6.89/6.92 c nbDecision=6000 #constraints=14914 7.88/7.93 c restart after 6401 decisions 7.98/8.07 c nbDecision=6500 #constraints=15072 8.89/8.94 c nbDecision=7000 #constraints=15179 9.79/9.86 c nbDecision=7310 #constraints=15302 9.79/9.86 o 88 10.39/10.44 c nbDecision=7500 #constraints=15373 11.99/12.03 c nbDecision=8000 #constraints=15541 13.18/13.27 c nbDecision=8500 #constraints=15678 14.59/14.69 c nbDecision=9000 #constraints=15837 15.99/16.03 c nbDecision=9500 #constraints=15995 17.59/17.69 c nbDecision=10000 #constraints=16154 19.98/20.02 c nbDecision=10500 #constraints=16364 22.08/22.11 c nbDecision=11000 #constraints=16523 24.78/24.82 c nbDecision=11500 #constraints=16729 27.18/27.27 c nbDecision=12000 #constraints=16910 29.58/29.61 c nbDecision=12500 #constraints=17063 30.78/30.84 c restart after 12801 decisions 31.18/31.21 c nbDecision=13000 #constraints=17144 32.67/32.79 c nbDecision=13500 #constraints=17238 34.98/35.04 c nbDecision=14000 #constraints=17385 37.38/37.41 c nbDecision=14500 #constraints=17526 40.07/40.12 c nbDecision=15000 #constraints=17713 42.88/42.96 c nbDecision=15500 #constraints=17895 45.88/45.96 c nbDecision=16000 #constraints=18090 48.57/48.64 c nbDecision=16500 #constraints=18239 52.78/52.84 c nbDecision=17000 #constraints=18467 56.57/56.60 c nbDecision=17500 #constraints=18662 60.16/60.21 c nbDecision=18000 #constraints=18824 64.17/64.22 c nbDecision=18500 #constraints=19004 68.67/68.77 c nbDecision=19000 #constraints=19179 72.76/72.85 c nbDecision=19500 #constraints=19343 76.16/76.29 c nbDecision=20000 #constraints=19488 79.66/79.73 c nbDecision=20500 #constraints=19639 84.06/84.19 c nbDecision=21000 #constraints=19851 87.96/88.05 c nbDecision=21500 #constraints=20007 93.16/93.27 c nbDecision=22000 #constraints=20184 97.15/97.28 c nbDecision=22500 #constraints=20361 101.35/101.44 c nbDecision=23000 #constraints=20517 105.95/106.07 c nbDecision=23500 #constraints=20690 111.85/111.92 c nbDecision=24000 #constraints=20914 117.45/117.60 c nbDecision=24500 #constraints=21107 122.44/122.58 c nbDecision=25000 #constraints=21268 128.05/128.15 c nbDecision=25500 #constraints=21435 129.25/129.31 c restart after 25601 decisions 130.65/130.75 c nbDecision=26000 #constraints=21472 137.34/137.48 c nbDecision=26500 #constraints=21709 143.04/143.17 c nbDecision=27000 #constraints=21904 148.44/148.59 c nbDecision=27500 #constraints=22065 154.54/154.61 c nbDecision=28000 #constraints=22242 161.83/161.91 c nbDecision=28500 #constraints=22421 168.23/168.37 c nbDecision=29000 #constraints=22587 173.42/173.52 c nbDecision=29500 #constraints=22737 179.13/179.26 c nbDecision=30000 #constraints=22905 184.22/184.31 c nbDecision=30500 #constraints=23048 190.72/190.88 c nbDecision=31000 #constraints=23269 196.41/196.54 c nbDecision=31500 #constraints=23428 203.61/203.70 c nbDecision=32000 #constraints=23591 209.71/209.86 c nbDecision=32500 #constraints=23741 216.01/216.17 c nbDecision=33000 #constraints=23864 222.41/222.58 c nbDecision=33500 #constraints=24009 229.40/229.58 c nbDecision=34000 #constraints=24221 235.70/235.89 c nbDecision=34500 #constraints=24380 242.20/242.31 c nbDecision=35000 #constraints=24539 249.10/249.26 c nbDecision=35500 #constraints=24721 256.39/256.50 c nbDecision=36000 #constraints=24921 263.79/263.94 c nbDecision=36500 #constraints=25086 270.59/270.75 c nbDecision=37000 #constraints=25242 278.89/279.03 c nbDecision=37500 #constraints=25464 286.58/286.71 c nbDecision=38000 #constraints=25651 295.68/295.88 c nbDecision=38500 #constraints=25833 303.68/303.84 c nbDecision=39000 #constraints=25988 311.08/311.24 c nbDecision=39500 #constraints=26149 319.57/319.79 c nbDecision=40000 #constraints=26332 328.06/328.29 c nbDecision=40500 #constraints=26523 337.17/337.32 c nbDecision=41000 #constraints=26730 346.06/346.26 c nbDecision=41500 #constraints=26934 356.45/356.66 c nbDecision=42000 #constraints=27136 367.26/367.41 c nbDecision=42500 #constraints=27306 374.96/375.12 c nbDecision=43000 #constraints=27470 384.24/384.43 c nbDecision=43500 #constraints=27613 392.64/392.82 c nbDecision=44000 #constraints=27748 398.74/398.90 c nbDecision=44500 #constraints=27879 406.94/407.12 c nbDecision=45000 #constraints=28045 414.63/414.84 c nbDecision=45500 #constraints=28195 424.23/424.45 c nbDecision=46000 #constraints=28386 432.43/432.63 c nbDecision=46500 #constraints=28533 441.93/442.12 c nbDecision=47000 #constraints=28698 453.02/453.27 c nbDecision=47500 #constraints=28917 462.11/462.37 c nbDecision=48000 #constraints=29084 469.71/469.93 c nbDecision=48500 #constraints=29213 481.81/482.02 c nbDecision=49000 #constraints=29432 491.20/491.41 c nbDecision=49500 #constraints=29600 500.70/500.96 c nbDecision=50000 #constraints=29736 508.50/508.75 c nbDecision=50500 #constraints=29865 516.90/517.19 c nbDecision=51000 #constraints=30029 520.10/520.39 c restart after 51201 decisions 522.10/522.38 c nbDecision=51500 #constraints=30083 530.29/530.54 c nbDecision=52000 #constraints=30205 539.29/539.60 c nbDecision=52500 #constraints=30351 548.79/549.05 c nbDecision=53000 #constraints=30505 557.39/557.67 c nbDecision=53500 #constraints=30640 569.68/569.91 c nbDecision=54000 #constraints=30839 580.97/581.24 c nbDecision=54500 #constraints=31014 589.76/590.09 c nbDecision=55000 #constraints=31141 599.76/600.03 c nbDecision=55500 #constraints=31283 613.06/613.32 c nbDecision=56000 #constraints=31478 623.65/623.91 c nbDecision=56500 #constraints=31629 635.76/636.04 c nbDecision=57000 #constraints=31812 648.45/648.70 c nbDecision=57500 #constraints=32021 658.04/658.36 c nbDecision=58000 #constraints=32171 668.34/668.63 c nbDecision=58500 #constraints=32325 682.64/682.90 c nbDecision=59000 #constraints=32541 693.43/693.71 c nbDecision=59500 #constraints=32696 703.23/703.56 c nbDecision=60000 #constraints=32814 712.92/713.28 c nbDecision=60500 #constraints=32953 722.91/723.23 c nbDecision=61000 #constraints=33113 732.92/733.30 c nbDecision=61500 #constraints=33263 743.11/743.44 c nbDecision=62000 #constraints=33420 752.31/752.61 c nbDecision=62500 #constraints=33558 764.10/764.44 c nbDecision=63000 #constraints=33726 777.30/777.66 c nbDecision=63500 #constraints=33909 789.69/790.03 c nbDecision=64000 #constraints=34061 805.79/806.10 c nbDecision=64500 #constraints=34287 820.09/820.44 c nbDecision=65000 #constraints=34479 832.28/832.70 c nbDecision=65500 #constraints=34642 846.07/846.42 c nbDecision=66000 #constraints=34804 859.77/860.17 c nbDecision=66500 #constraints=34978 878.76/879.13 c nbDecision=67000 #constraints=35245 893.76/894.11 c nbDecision=67500 #constraints=35432 898.36/898.73 c nbDecision=67626 #constraints=35495 898.36/898.73 o 87 909.05/909.49 c nbDecision=68000 #constraints=35635 922.15/922.51 c nbDecision=68500 #constraints=35782 936.44/936.82 c nbDecision=69000 #constraints=35955 951.43/951.86 c nbDecision=69500 #constraints=36112 965.34/965.78 c nbDecision=70000 #constraints=36271 976.53/976.99 c nbDecision=70500 #constraints=36404 987.72/988.12 c nbDecision=71000 #constraints=36532 1001.21/1001.63 c nbDecision=71500 #constraints=36725 1013.82/1014.27 c nbDecision=72000 #constraints=36885 1026.80/1027.20 c nbDecision=72500 #constraints=37021 1042.10/1042.51 c nbDecision=73000 #constraints=37186 1054.10/1054.50 c nbDecision=73500 #constraints=37348 1066.69/1067.15 c nbDecision=74000 #constraints=37509 1078.59/1079.09 c nbDecision=74500 #constraints=37655 1095.58/1096.03 c nbDecision=75000 #constraints=37861 1111.58/1112.09 c nbDecision=75500 #constraints=38036 1126.17/1126.64 c nbDecision=76000 #constraints=38203 1141.16/1141.61 c nbDecision=76500 #constraints=38349 1157.15/1157.64 c nbDecision=77000 #constraints=38547 1174.75/1175.27 c nbDecision=77500 #constraints=38751 1189.34/1189.87 c nbDecision=78000 #constraints=38917 1204.94/1205.41 c nbDecision=78500 #constraints=39074 1221.54/1222.05 c nbDecision=79000 #constraints=39244 1240.33/1240.89 c nbDecision=79500 #constraints=39428 1254.22/1254.70 c nbDecision=80000 #constraints=39559 1266.82/1267.38 c nbDecision=80500 #constraints=39696 1280.71/1281.23 c nbDecision=81000 #constraints=39855 1292.90/1293.46 c nbDecision=81500 #constraints=39978 1308.90/1309.41 c nbDecision=82000 #constraints=40186 1323.29/1323.85 c nbDecision=82500 #constraints=40341 1339.19/1339.78 c nbDecision=83000 #constraints=40484 1356.68/1357.28 c nbDecision=83500 #constraints=40648 1373.87/1374.47 c nbDecision=84000 #constraints=40805 1391.37/1391.98 c nbDecision=84500 #constraints=40973 1406.67/1407.28 c nbDecision=85000 #constraints=41104 1420.35/1420.98 c nbDecision=85500 #constraints=41238 1438.26/1438.81 c nbDecision=86000 #constraints=41428 1457.74/1458.37 c nbDecision=86500 #constraints=41576 1475.64/1476.22 c nbDecision=87000 #constraints=41717 1489.74/1490.35 c nbDecision=87500 #constraints=41860 1507.73/1508.32 c nbDecision=88000 #constraints=42074 1522.72/1523.38 c nbDecision=88500 #constraints=42223 1535.72/1536.35 c nbDecision=89000 #constraints=42349 1551.61/1552.23 c nbDecision=89500 #constraints=42519 1570.81/1571.44 c nbDecision=90000 #constraints=42727 1589.10/1589.76 c nbDecision=90500 #constraints=42937 1607.69/1608.32 c nbDecision=91000 #constraints=43124 1621.89/1622.54 c nbDecision=91500 #constraints=43251 1635.88/1636.59 c nbDecision=92000 #constraints=43382 1656.87/1657.53 c nbDecision=92500 #constraints=43625 1673.07/1673.72 c nbDecision=93000 #constraints=43775 1694.36/1695.04 c nbDecision=93500 #constraints=43946 1710.35/1711.08 c nbDecision=94000 #constraints=44099 1728.44/1729.10 c nbDecision=94500 #constraints=44250 1744.24/1744.91 c nbDecision=95000 #constraints=44385 1763.13/1763.84 c nbDecision=95500 #constraints=44562 1781.93/1782.64 c nbDecision=96000 #constraints=44739 1800.03/1800.71 Received signal 15 1800.03/1800.74 1800.03/1800.74 s SATISFIABLE 1800.03/1800.74 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.03/1800.74 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.03/1800.74 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.03/1800.74 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.03/1800.74 v -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 1800.03/1800.74 v -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 1800.03/1800.74 v -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 1800.03/1800.74 v -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 1800.03/1800.74 v -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 1800.03/1800.74 v -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 1800.03/1800.74 v -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 1800.03/1800.74 v -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 1800.03/1800.74 v -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 1800.03/1800.74 v -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 1800.03/1800.74 v -x315 -x316 x317 -x318 -x319 -x320 x321 x322 -x323 -x324 -x325 -x326 -x327 x328 -x329 -x330 x331 -x332 -x333 -x334 x335 -x336 1800.03/1800.74 v -x337 -x338 x339 -x340 x341 x342 -x343 -x344 -x345 x346 -x347 -x348 -x349 x350 -x351 -x352 -x353 x354 -x355 -x356 x357 -x358 1800.03/1800.74 v -x359 -x360 x361 -x362 -x363 x364 -x365 -x366 -x367 x368 -x369 -x370 -x371 -x372 -x373 -x374 x375 -x376 -x377 -x378 x379 x380 1800.03/1800.74 v -x381 x382 -x383 -x384 x385 x386 -x387 x388 x389 x390 -x391 -x392 -x393 x394 x395 -x396 -x397 -x398 x399 x400 -x401 x402 -x403 1800.03/1800.74 v x404 x405 x406 -x407 -x408 -x409 x410 -x411 -x412 -x413 x414 x415 x416 x417 x418 -x419 x420 x421 -x422 x423 x424 x425 x426 -x427 1800.03/1800.74 v -x428 -x429 -x430 x431 -x432 -x433 x434 -x435 x436 x437 -x438 x439 x440 x441 x442 -x443 x444 x445 -x446 x447 -x448 x449 -x450 1800.03/1800.74 v -x451 x452 x453 -x454 -x455 x456 -x457 -x458 x459 x460 x461 x462 x463 -x464 x465 x466 x467 x468 -x469 -x470 x471 x472 x473 x474 1800.03/1800.74 v -x475 x476 -x477 -x478 -x479 x480 -x481 -x482 x483 x484 -x485 x486 -x487 x488 -x489 x490 -x491 x492 x493 x494 x495 x496 -x497 1800.03/1800.74 v x498 -x499 -x500 -x501 -x502 -x503 -x504 x505 -x506 -x507 -x508 x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 1800.03/1800.74 v x519 x520 x521 -x522 x523 x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 x532 x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 1800.03/1800.74 v -x541 x542 -x543 -x544 -x545 -x546 -x547 -x548 x549 -x550 -x551 -x552 -x553 -x554 x555 -x556 x557 -x558 -x559 -x560 -x561 1800.03/1800.74 v -x562 -x563 x564 x565 -x566 -x567 -x568 -x569 -x570 -x571 x572 -x573 -x574 -x575 -x576 -x577 -x578 x579 x580 -x581 -x582 -x583 1800.03/1800.74 v x584 -x585 -x586 x587 -x588 -x589 x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 x599 -x600 -x601 -x602 -x603 -x604 1800.03/1800.74 v -x605 -x606 -x607 -x608 x609 -x610 x611 -x612 -x613 -x614 -x615 -x616 x617 x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 1800.03/1800.74 v x626 -x627 x628 -x629 -x630 x631 -x632 x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 x642 x643 -x644 -x645 x646 -x647 1800.03/1800.74 v -x648 -x649 -x650 -x651 x652 x653 -x654 -x655 -x656 -x657 x658 x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 x667 -x668 -x669 1800.03/1800.74 v -x670 -x671 -x672 -x673 x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 x683 -x684 -x685 -x686 -x687 -x688 -x689 x690 1800.03/1800.74 v -x691 -x692 -x693 -x694 x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 x706 x707 x708 x709 -x710 -x711 -x712 1800.03/1800.74 v x713 -x714 -x715 -x716 x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 x725 -x726 x727 -x728 -x729 -x730 -x731 x732 -x733 x734 1800.03/1800.74 v -x735 -x736 x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 1800.03/1800.74 v -x756 -x757 x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 x773 -x774 x775 -x776 1800.03/1800.74 v -x777 -x778 -x779 x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 1800.03/1800.74 v -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 x818 1800.03/1800.74 v -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 1800.03/1800.74 v -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 x854 -x855 x856 -x857 x858 x859 -x860 1800.03/1800.74 v -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 x873 -x874 -x875 x876 -x877 x878 -x879 -x880 -x881 1800.03/1800.74 v -x882 x883 -x884 x885 x886 x887 x888 -x889 -x890 x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 x901 -x902 -x903 1800.03/1800.74 v -x904 -x905 x906 -x907 -x908 -x909 x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 x922 -x923 -x924 1800.03/1800.74 v -x925 -x926 -x927 x928 -x929 -x930 -x931 -x932 x933 -x934 -x935 -x936 x937 -x938 -x939 -x940 -x941 -x942 x943 -x944 -x945 1800.03/1800.74 v x946 -x947 -x948 -x949 -x950 -x951 -x952 x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 1800.03/1800.74 v -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 1800.03/1800.74 v -x988 -x989 -x990 -x991 x992 -x993 -x994 -x995 -x996 -x997 -x998 x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 x1007 1800.03/1800.74 v -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 x1023 x1024 -x1025 1800.03/1800.74 v -x1026 -x1027 x1028 -x1029 -x1030 x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 1800.03/1800.74 v x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 x1057 -x1058 x1059 -x1060 -x1061 1800.03/1800.74 v -x1062 x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 x1074 x1075 -x1076 -x1077 -x1078 x1079 1800.03/1800.74 v -x1080 x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 x1090 x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 1800.03/1800.74 v -x1098 -x1099 -x1100 x1101 -x1102 x1103 -x1104 x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 x1112 -x1113 -x1114 x1115 1800.03/1800.74 v -x1116 -x1117 -x1118 -x1119 x1120 -x1121 -x1122 -x1123 -x1124 -x1125 x1126 -x1127 -x1128 -x1129 -x1130 -x1131 x1132 -x1133 1800.03/1800.74 v -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 x1146 -x1147 -x1148 -x1149 -x1150 1800.03/1800.74 v -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 1800.03/1800.74 v -x1168 -x1169 -x1170 -x1171 x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 1800.03/1800.74 v -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 x1200 -x1201 -x1202 1800.03/1800.74 v -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 1800.03/1800.74 v -x1220 -x1221 -x1222 -x1223 -x1224 x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 x1234 -x1235 -x1236 -x1237 1800.03/1800.74 v -x1238 -x1239 -x1240 -x1241 -x1242 x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 x1250 -x1251 -x1252 -x1253 -x1254 -x1255 1800.03/1800.74 v -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 x1271 -x1272 1800.03/1800.74 v -x1273 -x1274 x1275 x1276 x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 x1287 x1288 -x1289 -x1290 1800.03/1800.74 v -x1291 -x1292 -x1293 -x1294 -x1295 x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 x1305 x1306 x1307 -x1308 1800.03/1800.74 v x1309 x1310 -x1311 -x1312 x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 1800.03/1800.74 v -x1327 -x1328 -x1329 -x1330 x1331 -x1332 -x1333 x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 1800.03/1800.74 v -x1345 x1346 x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 1800.03/1800.74 v -x1363 -x1364 x1365 -x1366 -x1367 x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 1800.03/1800.74 v -x1381 -x1382 x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 x1392 x1393 -x1394 -x1395 -x1396 -x1397 -x1398 1800.03/1800.74 v -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 1800.03/1800.74 v -x1416 -x1417 -x1418 x1419 -x1420 x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 1800.03/1800.74 v -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 1800.03/1800.74 v -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 x1467 -x1468 1800.03/1800.74 v -x1469 -x1470 -x1471 -x1472 x1473 -x1474 -x1475 -x1476 -x1477 -x1478 x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 1800.03/1800.74 v -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 1800.03/1800.74 v -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 1800.03/1800.74 v x1521 x1522 -x1523 -x1524 -x1525 x1526 -x1527 -x1528 -x1529 x1530 x1531 -x1532 -x1533 -x1534 -x1535 x1536 -x1537 -x1538 1800.03/1800.74 v -x1539 -x1540 -x1541 x1542 -x1543 -x1544 -x1545 x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 1800.03/1800.74 v x1557 -x1558 -x1559 x1560 -x1561 -x1562 -x1563 -x1564 -x1565 x1566 -x1567 -x1568 -x1569 x1570 -x1571 -x1572 -x1573 -x1574 1800.03/1800.74 v -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 x1584 x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 1800.03/1800.74 v x1593 x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 x1607 -x1608 -x1609 -x1610 1800.03/1800.74 v -x1611 -x1612 x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 x1620 x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 1800.03/1800.74 v -x1629 -x1630 -x1631 -x1632 -x1633 x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 x1643 -x1644 -x1645 -x1646 1800.03/1800.74 v -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 x1655 -x1656 -x1657 -x1658 x1659 -x1660 -x1661 -x1662 -x1663 -x1664 1800.03/1800.74 v -x1665 -x1666 x1667 x1668 -x1669 -x1670 -x1671 -x1672 x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 x1682 1800.03/1800.74 v x1683 -x1684 -x1685 -x1686 -x1687 x1688 x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 1800.03/1800.74 v -x1701 -x1702 -x1703 -x1704 x1705 x1706 x1707 -x1708 x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 1800.03/1800.74 v -x1719 -x1720 -x1721 x1722 x1723 -x1724 x1725 x1726 x1727 x1728 -x1729 x1730 -x1731 -x1732 -x1733 -x1734 -x1735 x1736 -x1737 1800.03/1800.74 v -x1738 x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 x1747 x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 1800.03/1800.74 v -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 x1762 -x1763 x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 x1773 1800.03/1800.74 v -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 1800.03/1800.74 v x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 x1806 -x1807 x1808 1800.03/1800.74 v -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 1800.03/1800.74 v -x1826 x1827 x1828 -x1829 -x1830 -x1831 x1832 x1833 -x1834 -x1835 -x1836 x1837 -x1838 -x1839 -x1840 -x1841 -x1842 x1843 1800.03/1800.74 v -x1844 -x1845 -x1846 -x1847 -x1848 x1849 -x1850 x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 1800.03/1800.74 v -x1862 x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 1800.03/1800.74 v x1879 -x1880 x1881 x1882 -x1883 -x1884 -x1885 -x1886 -x1887 x1888 -x1889 x1890 -x1891 x1892 -x1893 -x1894 x1895 x1896 x1897 1800.03/1800.74 v -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 x1910 -x1911 -x1912 -x1913 x1914 -x1915 1800.03/1800.74 v -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 x1931 -x1932 1800.03/1800.74 v -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 x1947 x1948 -x1949 -x1950 1800.03/1800.74 v -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 1800.03/1800.74 v -x1968 -x1969 -x1970 -x1971 -x1972 x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 1800.03/1800.74 v -x1985 -x1986 -x1987 x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 x1997 -x1998 -x1999 -x2000 -x2001 -x2002 1800.03/1800.74 v x2003 -x2004 -x2005 x2006 -x2007 -x2008 -x2009 -x2010 x2011 -x2012 x2013 -x2014 -x2015 -x2016 -x2017 x2018 -x2019 -x2020 1800.03/1800.74 v x2021 x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 1800.03/1800.74 v -x2039 -x2040 -x2041 -x2042 x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 1800.03/1800.74 v -x2056 -x2057 -x2058 x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 1800.03/1800.74 v -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 x2085 -x2086 -x2087 x2088 -x2089 -x2090 -x2091 1800.03/1800.74 v -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 1800.03/1800.74 v -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 x2117 -x2118 -x2119 -x2120 -x2121 -x2122 x2123 x2124 -x2125 -x2126 1800.03/1800.74 v -x2127 -x2128 -x2129 -x2130 -x2131 x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 1800.03/1800.74 v -x2144 -x2145 -x2146 x2147 x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 x2157 -x2158 -x2159 -x2160 -x2161 1800.03/1800.74 v -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 1800.03/1800.74 v -x2179 -x2180 x2181 -x2182 -x2183 -x2184 x2185 x2186 -x2187 -x2188 -x2189 -x2190 x2191 -x2192 x2193 -x2194 -x2195 -x2196 1800.03/1800.74 v -x2197 -x2198 -x2199 -x2200 x2201 -x2202 x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 x2210 -x2211 -x2212 -x2213 -x2214 1800.03/1800.74 v -x2215 x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 x2224 -x2225 -x2226 -x2227 -x2228 -x2229 x2230 -x2231 x2232 1800.03/1800.74 v -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 x2246 -x2247 -x2248 -x2249 1800.03/1800.74 v -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 x2263 -x2264 -x2265 -x2266 1800.03/1800.74 v x2267 x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 x2279 -x2280 -x2281 -x2282 -x2283 -x2284 1800.03/1800.74 v x2285 x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 x2293 x2294 -x2295 -x2296 -x2297 x2298 -x2299 -x2300 -x2301 -x2302 1800.03/1800.74 v -x2303 x2304 -x2305 x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 x2313 x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 1800.03/1800.74 v x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 1800.03/1800.74 v -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 x2348 -x2349 -x2350 -x2351 -x2352 x2353 -x2354 x2355 -x2356 1800.03/1800.74 v x2357 x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 x2370 x2371 -x2372 -x2373 -x2374 1800.03/1800.74 v -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 x2384 -x2385 -x2386 -x2387 x2388 -x2389 -x2390 -x2391 -x2392 1800.03/1800.74 v x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 x2402 x2403 x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 1800.03/1800.74 v -x2411 -x2412 -x2413 x2414 -x2415 -x2416 -x2417 x2418 x2419 -x2420 -x2421 -x2422 -x2423 -x2424 x2425 x2426 x2427 -x2428 1800.03/1800.74 v -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 x2437 x2438 -x2439 x2440 -x2441 x2442 -x2443 -x2444 -x2445 x2446 1800.03/1800.74 v -x2447 -x2448 -x2449 -x2450 -x2451 x2452 x2453 x2454 -x2455 x2456 -x2457 -x2458 -x2459 -x2460 x2461 x2462 -x2463 -x2464 1800.03/1800.74 v -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 x2472 -x2473 -x2474 x2475 -x2476 -x2477 -x2478 -x2479 -x2480 x2481 -x2482 1800.03/1800.74 v -x2483 x2484 -x2485 x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 x2496 -x2497 -x2498 -x2499 -x2500 1800.03/1800.74 v -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 1800.03/1800.74 v -x2518 x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 1800.03/1800.74 v x2535 -x2536 -x2537 -x2538 x2539 -x2540 -x2541 -x2542 -x2543 x2544 x2545 x2546 -x2547 -x2548 -x2549 x2550 -x2551 -x2552 1800.03/1800.74 v -x2553 -x2554 x2555 -x2556 x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 1800.03/1800.74 v -x2571 -x2572 x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 x2587 -x2588 1800.03/1800.74 v -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 x2596 x2597 x2598 -x2599 -x2600 x2601 -x2602 -x2603 -x2604 -x2605 -x2606 1800.03/1800.74 v -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 x2622 x2623 x2624 1800.03/1800.74 v -x2625 -x2626 -x2627 x2628 x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 1800.03/1800.74 v -x2643 -x2644 x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 x2653 -x2654 x2655 -x2656 -x2657 -x2658 -x2659 -x2660 1800.03/1800.74 v -x2661 -x2662 -x2663 -x2664 -x2665 x2666 -x2667 -x2668 x2669 -x2670 -x2671 x2672 x2673 -x2674 -x2675 x2676 -x2677 x2678 1800.03/1800.74 v x2679 -x2680 x2681 -x2682 -x2683 -x2684 -x2685 x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 x2694 -x2695 x2696 1800.03/1800.74 v -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 x2708 x2709 -x2710 -x2711 -x2712 -x2713 -x2714 1800.03/1800.74 v -x2715 x2716 x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 x2727 -x2728 -x2729 -x2730 -x2731 -x2732 1800.03/1800.74 v -x2733 -x2734 -x2735 x2736 x2737 x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 1800.03/1800.74 v -x2751 x2752 -x2753 -x2754 -x2755 -x2756 x2757 -x2758 -x2759 -x2760 -x2761 -x2762 x2763 -x2764 x2765 -x2766 -x2767 -x2768 1800.03/1800.74 v -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 1800.03/1800.74 v -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 x2792 -x2793 -x2794 -x2795 -x2796 -x2797 x2798 -x2799 -x2800 -x2801 -x2802 -x2803 1800.03/1800.74 v -x2804 -x2805 -x2806 x2807 x2808 -x2809 -x2810 -x2811 -x2812 -x2813 x2814 -x2815 -x2816 -x2817 -x2818 -x2819 x2820 -x2821 1800.03/1800.74 v -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 x2832 -x2833 -x2834 x2835 -x2836 -x2837 -x2838 -x2839 1800.03/1800.74 v -x2840 -x2841 -x2842 x2843 -x2844 -x2845 x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 1800.03/1800.74 v -x2858 x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 x2870 -x2871 -x2872 -x2873 -x2874 -x2875 1800.03/1800.74 v -x2876 -x2877 x2878 -x2879 -x2880 x2881 -x2882 -x2883 -x2884 -x2885 -x2886 x2887 x2888 -x2889 -x2890 -x2891 -x2892 -x2893 1800.03/1800.74 v -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 x2905 x2906 -x2907 -x2908 -x2909 -x2910 -x2911 1800.03/1800.74 v -x2912 x2913 x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 x2926 x2927 -x2928 -x2929 1800.03/1800.74 v -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 x2938 -x2939 -x2940 x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 1800.03/1800.74 v -x2948 x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 1800.03/1800.74 v -x2965 -x2966 x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 1800.03/1800.74 v x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 1800.03/1800.74 v x3000 -x3001 x3002 -x3003 x3004 -x3005 x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 x3014 -x3015 x3016 -x3017 1800.03/1800.74 v x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 1800.03/1800.74 v -x3036 -x3037 -x3038 -x3039 -x3040 x3041 x3042 x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 x3050 -x3051 -x3052 -x3053 1800.03/1800.74 v -x3054 x3055 -x3056 -x3057 -x3058 -x3059 x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 x3067 -x3068 -x3069 -x3070 -x3071 1800.03/1800.74 v -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 x3079 -x3080 x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 1800.03/1800.74 v -x3090 x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 x3103 -x3104 -x3105 -x3106 x3107 1800.03/1800.74 v -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 1800.03/1800.74 v -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 x3140 -x3141 -x3142 1800.03/1800.74 v -x3143 -x3144 -x3145 -x3146 -x3147 x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 x3156 -x3157 x3158 -x3159 -x3160 1800.03/1800.74 v -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 x3167 -x3168 -x3169 x3170 -x3171 x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 1800.03/1800.74 v -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 x3186 x3187 -x3188 -x3189 -x3190 -x3191 x3192 -x3193 -x3194 x3195 x3196 1800.03/1800.74 v -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 x3210 x3211 x3212 -x3213 -x3214 1800.03/1800.74 v -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 1800.03/1800.74 v x3232 -x3233 x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 x3244 -x3245 -x3246 -x3247 -x3248 -x3249 1800.03/1800.74 v -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 x3263 -x3264 -x3265 -x3266 1800.03/1800.74 v -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 x3274 -x3275 x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 x3283 -x3284 1800.03/1800.74 v -x3285 x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 x3296 x3297 x3298 -x3299 -x3300 -x3301 x3302 1800.03/1800.74 v -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 x3318 -x3319 1800.03/1800.74 v -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 x3328 -x3329 x3330 x3331 -x3332 x3333 x3334 -x3335 -x3336 -x3337 1800.03/1800.74 v -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 1800.03/1800.74 v -x3355 x3356 -x3357 -x3358 x3359 -x3360 x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 x3368 x3369 -x3370 x3371 -x3372 1800.03/1800.74 v -x3373 -x3374 x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 x3386 -x3387 -x3388 -x3389 -x3390 1800.03/1800.74 v -x3391 -x3392 -x3393 -x3394 x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 1800.03/1800.74 v -x3408 -x3409 -x3410 x3411 x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 x3422 -x3423 -x3424 -x3425 1800.03/1800.74 v -x3426 -x3427 -x3428 x3429 -x3430 x3431 -x3432 -x3433 x3434 -x3435 -x3436 -x3437 -x3438 -x3439 x3440 -x3441 x3442 -x3443 1800.03/1800.74 v -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 x3455 -x3456 -x3457 x3458 -x3459 -x3460 -x3461 1800.03/1800.74 v -x3462 -x3463 -x3464 -x3465 -x3466 x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 x3476 -x3477 -x3478 x3479 1800.03/1800.74 v -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 x3496 1800.03/1800.74 v -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 x3509 -x3510 -x3511 -x3512 -x3513 1800.03/1800.74 v -x3514 x3515 x3516 -x3517 x3518 x3519 -x3520 x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 x3529 -x3530 -x3531 1800.03/1800.74 v -x3532 -x3533 x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 x3542 x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 1800.03/1800.74 v -x3550 -x3551 -x3552 -x3553 -x3554 x3555 x3556 -x3557 x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 x3565 -x3566 -x3567 1800.03/1800.74 v -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 1800.03/1800.74 v -x3585 -x3586 x3587 -x3588 -x3589 -x3590 -x3591 x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 1800.03/1800.74 v x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 x3617 x3618 -x3619 -x3620 1800.03/1800.74 v -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 x3636 x3637 -x3638 1800.03/1800.74 v x3639 -x3640 x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 x3654 -x3655 -x3656 1800.03/1800.74 v -x3657 -x3658 -x3659 -x3660 -x3661 x3662 -x3663 x3664 -x3665 x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 x3673 -x3674 1800.03/1800.74 v x3675 -x3676 -x3677 -x3678 -x3679 x3680 x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 x3689 -x3690 x3691 x3692 1800.03/1800.74 v -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 x3703 -x3704 -x3705 -x3706 -x3707 x3708 -x3709 -x3710 1800.03/1800.74 v -x3711 -x3712 x3713 -x3714 x3715 -x3716 -x3717 -x3718 x3719 -x3720 x3721 -x3722 -x3723 x3724 -x3725 -x3726 -x3727 -x3728 1800.03/1800.74 v -x3729 -x3730 -x3731 x3732 -x3733 x3734 -x3735 x3736 x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 x3745 -x3746 1800.03/1800.74 v x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 x3759 -x3760 -x3761 x3762 -x3763 -x3764 1800.03/1800.74 v -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 x3773 -x3774 -x3775 -x3776 -x3777 -x3778 x3779 -x3780 -x3781 -x3782 1800.03/1800.74 v -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 x3794 -x3795 -x3796 -x3797 -x3798 -x3799 1800.03/1800.74 v -x3800 -x3801 x3802 -x3803 -x3804 -x3805 x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 x3814 -x3815 -x3816 -x3817 1800.03/1800.74 v -x3818 -x3819 x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 x3829 -x3830 x3831 -x3832 -x3833 -x3834 -x3835 1800.03/1800.74 v -x3836 -x3837 x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 x3851 -x3852 x3853 1800.03/1800.74 v -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 1800.03/1800.74 v x3871 -x3872 -x3873 x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 x3885 -x3886 -x3887 -x3888 1800.03/1800.74 v -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 x3896 -x3897 -x3898 x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 1800.03/1800.74 v -x3907 -x3908 -x3909 x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 1800.03/1800.74 v x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 1800.03/1800.74 v -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 x3951 x3952 -x3953 -x3954 -x3955 -x3956 -x3957 x3958 -x3959 1800.03/1800.74 v -x3960 -x3961 -x3962 -x3963 x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 x3974 -x3975 -x3976 -x3977 1800.03/1800.74 v -x3978 x3979 x3980 x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 x3992 -x3993 -x3994 -x3995 1800.03/1800.74 v -x3996 -x3997 -x3998 -x3999 -x4000 x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 x4010 x4011 -x4012 -x4013 1800.03/1800.74 v -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 x4025 -x4026 -x4027 -x4028 -x4029 -x4030 1800.03/1800.74 v -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 x4042 -x4043 -x4044 -x4045 -x4046 -x4047 1800.03/1800.74 v -x4048 -x4049 x4050 -x4051 x4052 x4053 -x4054 x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 x4063 x4064 -x4065 1800.03/1800.74 v -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 x4074 x4075 x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 1800.03/1800.74 v -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 x4098 -x4099 -x4100 -x4101 1800.03/1800.74 v -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 1800.03/1800.74 v -x4119 x4120 -x4121 x4122 x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 x4134 -x4135 -x4136 1800.03/1800.74 v -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 x4149 -x4150 -x4151 -x4152 -x4153 1800.03/1800.74 v -x4154 -x4155 -x4156 -x4157 x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 1800.03/1800.74 v x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 x4184 -x4185 x4186 -x4187 -x4188 1800.03/1800.74 v -x4189 -x4190 -x4191 -x4192 x4193 -x4194 x4195 x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 x4205 -x4206 1800.03/1800.74 v x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 x4217 x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 1800.03/1800.74 v -x4225 -x4226 x4227 -x4228 -x4229 x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 x4240 -x4241 x4242 1800.03/1800.74 v -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 x4258 -x4259 1800.03/1800.74 v -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 1800.03/1800.74 v x4277 -x4278 -x4279 -x4280 -x4281 x4282 -x4283 -x4284 x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 1800.03/1800.74 v -x4295 -x4296 -x4297 x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 x4305 x4306 -x4307 x4308 -x4309 -x4310 -x4311 -x4312 1800.03/1800.74 v -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 x4319 -x4320 x4321 x4322 -x4323 -x4324 -x4325 -x4326 x4327 x4328 x4329 -x4330 1800.03/1800.74 v x4331 x4332 -x4333 -x4334 -x4335 -x4336 x4337 x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 x4346 x4347 -x4348 1800.03/1800.74 v -x4349 x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 1800.03/1800.74 v -x4367 -x4368 -x4369 -x4370 -x4371 x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 x4383 x4384 1800.03/1800.74 v -x4385 -x4386 x4387 -x4388 -x4389 -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 x4398 -x4399 -x4400 -x4401 -x4402 1800.03/1800.74 v -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 1800.03/1800.74 v -x4420 -x4421 -x4422 x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 x4432 -x4433 -x4434 -x4435 -x4436 -x4437 1800.03/1800.74 v -x4438 -x4439 -x4440 -x4441 x4442 -x4443 -x4444 -x4445 -x4446 -x4447 x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 1800.03/1800.74 v x4456 x4457 -x4458 -x4459 x4460 -x4461 -x4462 -x4463 -x4464 -x4465 x4466 -x4467 -x4468 x4469 x4470 -x4471 -x4472 -x4473 1800.03/1800.74 v -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x4480 x4481 x4482 -x4483 x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 -x4491 1800.03/1800.74 v x4492 x4493 x4494 -x4495 x4496 -x4497 -x4498 -x4499 -x4500 -x4501 -x4502 -x4503 x4504 x4505 -x4506 x4507 -x4508 -x4509 1800.03/1800.74 v -x4510 -x4511 -x4512 -x4513 -x4514 x4515 -x4516 x4517 -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 1800.03/1800.74 v -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 x4543 -x4544 x4545 1800.03/1800.74 v x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 x4559 -x4560 -x4561 -x4562 -x4563 1800.03/1800.74 v -x4564 -x4565 -x4566 -x4567 -x4568 x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 x4580 -x4581 1800.03/1800.74 v -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 x4590 -x4591 x4592 -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 1800.03/1800.74 v -x4600 x4601 -x4602 x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 -x4612 -x4613 -x4614 x4615 -x4616 -x4617 1800.03/1800.74 v -x4618 -x4619 -x4620 -x4621 -x4622 -x4623 x4624 -x4625 -x4626 -x4627 -x4628 -x4629 -x4630 -x4631 -x4632 x4633 x4634 x4635 1800.03/1800.74 v x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 x4644 -x4645 x4646 -x4647 x4648 -x4649 -x4650 -x4651 -x4652 -x4653 1800.03/1800.74 v -x4654 -x4655 -x4656 -x4657 -x4658 x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x4670 1800.03/1800.74 v -x4671 -x4672 -x4673 -x4674 x4675 -x4676 -x4677 -x4678 -x4679 -x4680 -x4681 -x4682 x4683 x4684 -x4685 -x4686 -x4687 -x4688 1800.03/1800.74 v -x4689 -x4690 -x4691 -x4692 -x4693 -x4694 -x4695 -x4696 x4697 -x4698 -x4699 -x4700 -x4701 -x4702 -x4703 -x4704 -x4705 1800.03/1800.74 v -x4706 -x4707 x4708 -x4709 -x4710 -x4711 -x4712 -x4713 -x4714 -x4715 -x4716 x4717 x4718 -x4719 -x4720 -x4721 -x4722 -x4723 1800.03/1800.74 v -x4724 -x4725 -x4726 -x4727 -x4728 -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 x4740 1800.03/1800.74 v x4741 x4742 -x4743 -x4744 -x4745 -x4746 -x4747 -x4748 -x4749 -x4750 -x4751 x4752 -x4753 -x4754 -x4755 -x4756 -x4757 -x4758 1800.03/1800.74 v -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 x4766 -x4767 -x4768 -x4769 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 1800.03/1800.74 v -x4776 -x4777 -x4778 x4779 -x4780 -x4781 -x4782 -x4783 -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 x4790 -x4791 -x4792 -x4793 1800.03/1800.74 v -x4794 -x4795 -x4796 -x4797 -x4798 x4799 -x4800 -x4801 x4802 -x4803 -x4804 -x4805 -x4806 -x4807 -x4808 -x4809 -x4810 -x4811 1800.03/1800.74 v -x4812 -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 x4819 x4820 -x4821 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 -x4829 1800.03/1800.74 v x4830 -x4831 -x4832 -x4833 -x4834 -x4835 -x4836 -x4837 -x4838 -x4839 x4840 x4841 x4842 -x4843 -x4844 -x4845 -x4846 -x4847 1800.03/1800.74 v -x4848 -x4849 -x4850 -x4851 -x4852 -x4853 -x4854 -x4855 -x4856 -x4857 -x4858 x4859 x4860 -x4861 -x4862 -x4863 -x4864 -x4865 1800.03/1800.74 v -x4866 -x4867 -x4868 -x4869 -x4870 -x4871 -x4872 -x4873 -x4874 x4875 x4876 x4877 -x4878 -x4879 -x4880 -x4881 -x4882 -x4883 1800.03/1800.74 v -x4884 -x4885 -x4886 x4887 -x4888 x4889 x4890 x4891 -x4892 -x4893 -x4894 -x4895 -x4896 -x4897 -x4898 -x4899 -x4900 -x4901 1800.03/1800.74 v -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4909 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 1800.03/1800.74 v -x4919 -x4920 -x4921 -x4922 -x4923 -x4924 -x4925 -x4926 x4927 x4928 -x4929 -x4930 -x4931 -x4932 -x4933 -x4934 -x4935 -x4936 1800.03/1800.74 v -x4937 -x4938 x4939 -x4940 -x4941 -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 x4948 -x4949 x4950 x4951 -x4952 x4953 -x4954 1800.03/1800.74 v -x4955 -x4956 -x4957 -x4958 -x4959 -x4960 -x4961 -x4962 x4963 -x4964 -x4965 -x4966 -x4967 -x4968 -x4969 -x4970 x4971 -x4972 1800.03/1800.74 v -x4973 -x4974 -x4975 -x4976 -x4977 -x4978 -x4979 -x4980 -x4981 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4988 -x4989 1800.03/1800.74 v -x4990 -x4991 -x4992 x4993 -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000 -x5001 x5002 -x5003 -x5004 -x5005 -x5006 -x5007 1800.03/1800.74 v -x5008 -x5009 -x5010 -x5011 -x5012 -x5013 -x5014 -x5015 -x5016 -x5017 -x5018 -x5019 -x5020 -x5021 -x5022 -x5023 x5024 1800.03/1800.74 v x5025 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5033 -x5034 -x5035 -x5036 -x5037 x5038 -x5039 -x5040 -x5041 -x5042 1800.03/1800.74 v -x5043 -x5044 -x5045 -x5046 -x5047 -x5048 -x5049 x5050 -x5051 -x5052 -x5053 -x5054 -x5055 -x5056 -x5057 -x5058 -x5059 1800.03/1800.74 v -x5060 -x5061 -x5062 -x5063 -x5064 -x5065 -x5066 -x5067 -x5068 -x5069 -x5070 -x5071 x5072 -x5073 -x5074 -x5075 -x5076 1800.03/1800.74 v -x5077 -x5078 -x5079 -x5080 -x5081 x5082 -x5083 -x5084 -x5085 -x5086 -x5087 -x5088 -x5089 -x5090 -x5091 x5092 -x5093 x5094 1800.03/1800.74 v -x5095 -x5096 -x5097 -x5098 -x5099 -x5100 -x5101 -x5102 -x5103 -x5104 -x5105 -x5106 -x5107 -x5108 -x5109 -x5110 -x5111 1800.03/1800.74 v -x5112 -x5113 -x5114 -x5115 -x5116 -x5117 -x5118 x5119 -x5120 -x5121 -x5122 -x5123 -x5124 -x5125 -x5126 -x5127 -x5128 1800.03/1800.74 v -x5129 -x5130 -x5131 -x5132 -x5133 -x5134 -x5135 -x5136 -x5137 -x5138 -x5139 -x5140 -x5141 -x5142 -x5143 -x5144 -x5145 1800.03/1800.74 v -x5146 -x5147 x5148 x5149 -x5150 -x5151 -x5152 -x5153 -x5154 -x5155 -x5156 -x5157 -x5158 -x5159 x5160 -x5161 -x5162 -x5163 1800.03/1800.74 v x5164 -x5165 -x5166 -x5167 -x5168 -x5169 -x5170 -x5171 -x5172 -x5173 -x5174 -x5175 x5176 -x5177 -x5178 -x5179 -x5180 -x5181 1800.03/1800.74 v -x5182 -x5183 -x5184 -x5185 -x5186 -x5187 -x5188 -x5189 -x5190 -x5191 -x5192 -x5193 -x5194 -x5195 -x5196 -x5197 -x5198 1800.03/1800.74 v -x5199 x5200 -x5201 x5202 -x5203 -x5204 -x5205 -x5206 -x5207 -x5208 -x5209 x5210 -x5211 x5212 -x5213 -x5214 -x5215 -x5216 1800.03/1800.74 v -x5217 x5218 x5219 x5220 -x5221 -x5222 -x5223 -x5224 -x5225 -x5226 -x5227 -x5228 -x5229 -x5230 -x5231 -x5232 -x5233 -x5234 1800.03/1800.74 v -x5235 -x5236 -x5237 -x5238 -x5239 -x5240 -x5241 -x5242 -x5243 x5244 -x5245 -x5246 -x5247 -x5248 -x5249 -x5250 -x5251 1800.03/1800.74 v -x5252 x5253 -x5254 -x5255 x5256 -x5257 -x5258 -x5259 -x5260 -x5261 -x5262 -x5263 -x5264 -x5265 -x5266 x5267 -x5268 -x5269 1800.03/1800.74 v -x5270 -x5271 -x5272 -x5273 -x5274 -x5275 -x5276 -x5277 -x5278 -x5279 -x5280 -x5281 -x5282 -x5283 -x5284 -x5285 -x5286 1800.03/1800.74 v -x5287 x5288 -x5289 -x5290 -x5291 -x5292 -x5293 -x5294 -x5295 -x5296 -x5297 x5298 -x5299 -x5300 -x5301 -x5302 -x5303 -x5304 1800.03/1800.74 v -x5305 -x5306 -x5307 -x5308 -x5309 -x5310 -x5311 -x5312 -x5313 -x5314 -x5315 -x5316 -x5317 -x5318 -x5319 x5320 -x5321 1800.03/1800.74 v -x5322 -x5323 -x5324 -x5325 -x5326 -x5327 -x5328 -x5329 x5330 x5331 -x5332 -x5333 -x5334 -x5335 -x5336 -x5337 -x5338 -x5339 1800.03/1800.74 v x5340 x5341 x5342 -x5343 -x5344 -x5345 -x5346 -x5347 -x5348 -x5349 -x5350 -x5351 -x5352 -x5353 -x5354 -x5355 -x5356 -x5357 1800.03/1800.74 v -x5358 -x5359 -x5360 -x5361 -x5362 -x5363 x5364 -x5365 -x5366 -x5367 -x5368 -x5369 -x5370 -x5371 -x5372 -x5373 -x5374 1800.03/1800.74 v x5375 -x5376 -x5377 -x5378 -x5379 -x5380 -x5381 -x5382 -x5383 -x5384 -x5385 -x5386 -x5387 -x5388 -x5389 -x5390 -x5391 1800.03/1800.74 v -x5392 -x5393 -x5394 -x5395 -x5396 x5397 x5398 x5399 -x5400 -x5401 -x5402 -x5403 -x5404 -x5405 -x5406 -x5407 x5408 -x5409 1800.03/1800.74 v -x5410 -x5411 -x5412 -x5413 -x5414 -x5415 -x5416 -x5417 -x5418 x5419 x5420 x5421 -x5422 -x5423 -x5424 -x5425 -x5426 -x5427 1800.03/1800.74 v -x5428 -x5429 -x5430 -x5431 -x5432 -x5433 -x5434 -x5435 -x5436 -x5437 -x5438 -x5439 -x5440 x5441 -x5442 -x5443 -x5444 1800.03/1800.74 v -x5445 -x5446 -x5447 -x5448 -x5449 -x5450 -x5451 -x5452 x5453 -x5454 -x5455 -x5456 -x5457 -x5458 -x5459 -x5460 -x5461 1800.03/1800.74 v -x5462 x5463 -x5464 -x5465 -x5466 -x5467 -x5468 -x5469 -x5470 -x5471 -x5472 x5473 -x5474 -x5475 -x5476 -x5477 -x5478 -x5479 1800.03/1800.74 v -x5480 -x5481 -x5482 -x5483 x5484 -x5485 -x5486 -x5487 -x5488 -x5489 -x5490 -x5491 -x5492 -x5493 -x5494 -x5495 -x5496 1800.03/1800.74 v -x5497 -x5498 x5499 -x5500 -x5501 -x5502 -x5503 -x5504 -x5505 -x5506 -x5507 -x5508 -x5509 -x5510 -x5511 -x5512 -x5513 1800.03/1800.74 v -x5514 -x5515 -x5516 -x5517 -x5518 -x5519 x5520 x5521 -x5522 x5523 -x5524 -x5525 -x5526 -x5527 -x5528 -x5529 -x5530 -x5531 1800.03/1800.74 v x5532 -x5533 -x5534 -x5535 -x5536 -x5537 -x5538 -x5539 -x5540 -x5541 -x5542 x5543 -x5544 -x5545 -x5546 -x5547 -x5548 -x5549 1800.03/1800.74 v -x5550 -x5551 -x5552 -x5553 -x5554 -x5555 -x5556 -x5557 -x5558 -x5559 -x5560 -x5561 -x5562 -x5563 -x5564 -x5565 -x5566 1800.03/1800.74 v -x5567 -x5568 -x5569 -x5570 -x5571 -x5572 -x5573 -x5574 -x5575 -x5576 x5577 -x5578 -x5579 -x5580 -x5581 -x5582 -x5583 1800.03/1800.74 v -x5584 -x5585 -x5586 -x5587 -x5588 -x5589 -x5590 -x5591 -x5592 -x5593 -x5594 x5595 -x5596 x5597 -x5598 -x5599 -x5600 -x5601 1800.03/1800.74 v -x5602 -x5603 -x5604 -x5605 x5606 -x5607 -x5608 x5609 -x5610 -x5611 -x5612 -x5613 -x5614 -x5615 -x5616 -x5617 -x5618 -x5619 1800.03/1800.74 v -x5620 -x5621 -x5622 -x5623 -x5624 -x5625 -x5626 -x5627 -x5628 -x5629 -x5630 -x5631 -x5632 -x5633 -x5634 -x5635 -x5636 1800.03/1800.74 v -x5637 -x5638 -x5639 -x5640 -x5641 x5642 -x5643 -x5644 -x5645 -x5646 -x5647 -x5648 -x5649 -x5650 -x5651 -x5652 -x5653 1800.03/1800.74 v -x5654 -x5655 -x5656 -x5657 -x5658 -x5659 -x5660 -x5661 -x5662 -x5663 -x5664 -x5665 -x5666 -x5667 -x5668 -x5669 -x5670 1800.03/1800.74 v -x5671 -x5672 -x5673 -x5674 -x5675 -x5676 -x5677 -x5678 -x5679 -x5680 -x5681 -x5682 x5683 -x5684 -x5685 -x5686 -x5687 1800.03/1800.74 v -x5688 -x5689 -x5690 -x5691 x5692 -x5693 x5694 -x5695 -x5696 -x5697 -x5698 -x5699 -x5700 -x5701 -x5702 -x5703 x5704 -x5705 1800.03/1800.74 v -x5706 -x5707 -x5708 -x5709 -x5710 -x5711 -x5712 -x5713 -x5714 -x5715 -x5716 -x5717 -x5718 -x5719 -x5720 -x5721 -x5722 1800.03/1800.74 v -x5723 -x5724 -x5725 -x5726 -x5727 -x5728 -x5729 -x5730 -x5731 -x5732 -x5733 -x5734 -x5735 -x5736 x5737 -x5738 -x5739 1800.03/1800.74 v -x5740 -x5741 -x5742 -x5743 -x5744 -x5745 -x5746 -x5747 -x5748 x5749 -x5750 -x5751 -x5752 -x5753 -x5754 -x5755 -x5756 1800.03/1800.74 v -x5757 -x5758 -x5759 -x5760 x5761 x5762 x5763 -x5764 -x5765 -x5766 -x5767 -x5768 -x5769 -x5770 -x5771 -x5772 -x5773 -x5774 1800.03/1800.74 v -x5775 -x5776 -x5777 -x5778 -x5779 -x5780 -x5781 -x5782 -x5783 -x5784 -x5785 -x5786 -x5787 -x5788 -x5789 -x5790 -x5791 1800.03/1800.74 v -x5792 -x5793 -x5794 x5795 -x5796 -x5797 -x5798 -x5799 -x5800 -x5801 -x5802 -x5803 -x5804 -x5805 -x5806 -x5807 -x5808 1800.03/1800.74 v -x5809 -x5810 -x5811 -x5812 -x5813 -x5814 -x5815 x5816 x5817 -x5818 -x5819 -x5820 -x5821 -x5822 -x5823 -x5824 -x5825 -x5826 1800.03/1800.74 v -x5827 -x5828 -x5829 -x5830 -x5831 -x5832 -x5833 -x5834 -x5835 -x5836 -x5837 -x5838 -x5839 -x5840 -x5841 -x5842 -x5843 1800.03/1800.74 v -x5844 -x5845 -x5846 -x5847 -x5848 -x5849 -x5850 -x5851 -x5852 -x5853 -x5854 -x5855 x5856 -x5857 x5858 x5859 -x5860 -x5861 1800.03/1800.74 v -x5862 -x5863 -x5864 -x5865 x5866 x5867 -x5868 x5869 -x5870 -x5871 -x5872 -x5873 -x5874 -x5875 -x5876 -x5877 -x5878 x5879 1800.03/1800.74 v -x5880 -x5881 -x5882 -x5883 -x5884 -x5885 -x5886 -x5887 -x5888 -x5889 -x5890 -x5891 -x5892 -x5893 -x5894 -x5895 -x5896 1800.03/1800.74 v -x5897 -x5898 x5899 x5900 -x5901 -x5902 -x5903 -x5904 -x5905 -x5906 -x5907 -x5908 -x5909 -x5910 -x5911 -x5912 x5913 -x5914 1800.03/1800.74 v -x5915 -x5916 -x5917 -x5918 -x5919 -x5920 -x5921 -x5922 -x5923 x5924 -x5925 -x5926 -x5927 -x5928 -x5929 -x5930 -x5931 1800.03/1800.74 v -x5932 -x5933 -x5934 -x5935 -x5936 -x5937 -x5938 -x5939 -x5940 -x5941 -x5942 -x5943 -x5944 -x5945 -x5946 -x5947 -x5948 1800.03/1800.74 v -x5949 -x5950 -x5951 -x5952 -x5953 -x5954 -x5955 -x5956 -x5957 -x5958 -x5959 -x5960 -x5961 -x5962 -x5963 -x5964 -x5965 1800.03/1800.74 v -x5966 -x5967 -x5968 -x5969 -x5970 -x5971 -x5972 -x5973 -x5974 -x5975 -x5976 -x5977 -x5978 -x5979 -x5980 -x5981 -x5982 1800.03/1800.74 v -x5983 -x5984 -x5985 -x5986 x5987 x5988 -x5989 -x5990 -x5991 -x5992 -x5993 -x5994 -x5995 -x5996 -x5997 -x5998 -x5999 -x6000 1800.03/1800.74 v -x6001 -x6002 -x6003 -x6004 -x6005 -x6006 -x6007 -x6008 -x6009 -x6010 -x6011 -x6012 -x6013 -x6014 x6015 -x6016 -x6017 1800.03/1800.74 v -x6018 -x6019 x6020 -x6021 -x6022 -x6023 -x6024 -x6025 -x6026 -x6027 -x6028 -x6029 -x6030 -x6031 -x6032 -x6033 -x6034 1800.03/1800.74 v -x6035 -x6036 -x6037 -x6038 -x6039 -x6040 -x6041 -x6042 -x6043 -x6044 -x6045 -x6046 -x6047 -x6048 -x6049 -x6050 -x6051 1800.03/1800.74 v -x6052 -x6053 -x6054 -x6055 -x6056 -x6057 -x6058 -x6059 -x6060 -x6061 -x6062 -x6063 -x6064 -x6065 -x6066 -x6067 -x6068 1800.03/1800.74 v -x6069 -x6070 x6071 -x6072 -x6073 -x6074 -x6075 -x6076 -x6077 -x6078 -x6079 -x6080 x6081 -x6082 -x6083 -x6084 -x6085 -x6086 1800.03/1800.74 v -x6087 -x6088 -x6089 -x6090 -x6091 x6092 -x6093 -x6094 -x6095 -x6096 -x6097 -x6098 -x6099 x6100 -x6101 -x6102 x6103 -x6104 1800.03/1800.74 v -x6105 -x6106 -x6107 -x6108 -x6109 -x6110 -x6111 -x6112 -x6113 -x6114 -x6115 -x6116 -x6117 -x6118 -x6119 -x6120 -x6121 1800.03/1800.74 v -x6122 x6123 -x6124 -x6125 -x6126 -x6127 -x6128 -x6129 -x6130 -x6131 -x6132 x6133 -x6134 -x6135 -x6136 -x6137 -x6138 -x6139 1800.03/1800.74 v -x6140 -x6141 -x6142 -x6143 -x6144 -x6145 -x6146 -x6147 -x6148 -x6149 -x6150 -x6151 -x6152 -x6153 x6154 -x6155 x6156 -x6157 1800.03/1800.74 v -x6158 -x6159 -x6160 -x6161 -x6162 -x6163 -x6164 -x6165 -x6166 -x6167 -x6168 -x6169 -x6170 -x6171 -x6172 -x6173 -x6174 1800.03/1800.74 v -x6175 -x6176 -x6177 -x6178 -x6179 -x6180 -x6181 -x6182 -x6183 -x6184 -x6185 x6186 x6187 -x6188 -x6189 -x6190 -x6191 -x6192 1800.03/1800.74 v -x6193 -x6194 -x6195 -x6196 -x6197 -x6198 -x6199 -x6200 -x6201 -x6202 -x6203 -x6204 -x6205 -x6206 -x6207 -x6208 -x6209 1800.03/1800.74 v -x6210 -x6211 -x6212 -x6213 -x6214 -x6215 -x6216 -x6217 -x6218 -x6219 -x6220 -x6221 -x6222 -x6223 -x6224 -x6225 -x6226 1800.03/1800.74 v -x6227 -x6228 -x6229 -x6230 -x6231 -x6232 -x6233 -x6234 -x6235 -x6236 -x6237 x6238 -x6239 -x6240 -x6241 -x6242 -x6243 1800.03/1800.74 v -x6244 -x6245 -x6246 -x6247 -x6248 -x6249 -x6250 -x6251 -x6252 -x6253 -x6254 -x6255 -x6256 -x6257 -x6258 -x6259 -x6260 1800.03/1800.74 v -x6261 -x6262 -x6263 -x6264 -x6265 -x6266 -x6267 -x6268 -x6269 -x6270 x6271 -x6272 -x6273 -x6274 -x6275 -x6276 -x6277 1800.03/1800.74 v -x6278 -x6279 -x6280 -x6281 -x6282 -x6283 -x6284 -x6285 -x6286 -x6287 -x6288 -x6289 -x6290 -x6291 -x6292 x6293 -x6294 1800.03/1800.74 v -x6295 -x6296 -x6297 -x6298 -x6299 -x6300 -x6301 -x6302 -x6303 -x6304 -x6305 -x6306 -x6307 -x6308 -x6309 -x6310 -x6311 1800.03/1800.74 v -x6312 -x6313 x6314 -x6315 -x6316 -x6317 -x6318 -x6319 -x6320 -x6321 -x6322 x6323 -x6324 -x6325 -x6326 -x6327 -x6328 -x6329 1800.03/1800.74 v -x6330 -x6331 -x6332 -x6333 -x6334 -x6335 -x6336 -x6337 -x6338 -x6339 -x6340 -x6341 -x6342 -x6343 -x6344 -x6345 -x6346 1800.03/1800.74 v -x6347 -x6348 -x6349 -x6350 -x6351 x6352 x6353 x6354 x6355 -x6356 -x6357 -x6358 -x6359 -x6360 -x6361 -x6362 -x6363 -x6364 1800.03/1800.74 v -x6365 -x6366 x6367 -x6368 -x6369 -x6370 -x6371 -x6372 -x6373 -x6374 -x6375 -x6376 -x6377 -x6378 -x6379 -x6380 -x6381 1800.03/1800.74 v -x6382 -x6383 -x6384 x6385 -x6386 x6387 -x6388 -x6389 -x6390 -x6391 -x6392 -x6393 -x6394 -x6395 x6396 x6397 -x6398 -x6399 1800.03/1800.74 v -x6400 -x6401 -x6402 -x6403 -x6404 -x6405 -x6406 -x6407 -x6408 -x6409 -x6410 -x6411 -x6412 -x6413 -x6414 -x6415 -x6416 1800.03/1800.74 v -x6417 -x6418 -x6419 -x6420 -x6421 -x6422 -x6423 -x6424 -x6425 -x6426 -x6427 -x6428 -x6429 -x6430 -x6431 -x6432 -x6433 1800.03/1800.74 v -x6434 -x6435 -x6436 -x6437 -x6438 -x6439 -x6440 -x6441 -x6442 -x6443 -x6444 -x6445 -x6446 -x6447 -x6448 -x6449 -x6450 1800.03/1800.74 v -x6451 -x6452 -x6453 -x6454 -x6455 -x6456 -x6457 -x6458 -x6459 x6460 -x6461 -x6462 -x6463 -x6464 -x6465 -x6466 -x6467 1800.03/1800.74 v -x6468 -x6469 -x6470 -x6471 -x6472 -x6473 -x6474 -x6475 -x6476 -x6477 -x6478 -x6479 -x6480 -x6481 -x6482 -x6483 -x6484 1800.03/1800.74 v -x6485 -x6486 -x6487 -x6488 -x6489 -x6490 -x6491 -x6492 -x6493 -x6494 -x6495 -x6496 -x6497 -x6498 -x6499 -x6500 -x6501 1800.03/1800.74 v -x6502 -x6503 -x6504 -x6505 -x6506 x6507 -x6508 -x6509 -x6510 -x6511 -x6512 -x6513 -x6514 -x6515 -x6516 -x6517 -x6518 1800.03/1800.74 v x6519 -x6520 -x6521 -x6522 -x6523 -x6524 -x6525 -x6526 -x6527 -x6528 -x6529 -x6530 -x6531 -x6532 -x6533 -x6534 -x6535 1800.03/1800.74 v -x6536 -x6537 -x6538 -x6539 -x6540 -x6541 -x6542 -x6543 -x6544 -x6545 -x6546 -x6547 -x6548 -x6549 -x6550 -x6551 -x6552 1800.03/1800.74 v -x6553 -x6554 -x6555 -x6556 -x6557 -x6558 -x6559 -x6560 -x6561 -x6562 -x6563 -x6564 -x6565 -x6566 -x6567 -x6568 x6569 1800.03/1800.74 v -x6570 x6571 -x6572 -x6573 -x6574 -x6575 -x6576 -x6577 -x6578 -x6579 -x6580 -x6581 -x6582 -x6583 -x6584 -x6585 -x6586 1800.03/1800.74 v -x6587 x6588 x6589 -x6590 x6591 -x6592 -x6593 -x6594 -x6595 -x6596 -x6597 -x6598 x6599 x6600 -x6601 -x6602 -x6603 -x6604 1800.03/1800.74 v -x6605 -x6606 -x6607 x6608 -x6609 -x6610 -x6611 -x6612 -x6613 -x6614 -x6615 -x6616 -x6617 -x6618 -x6619 -x6620 -x6621 1800.03/1800.74 v -x6622 -x6623 -x6624 -x6625 -x6626 -x6627 -x6628 -x6629 -x6630 x6631 -x6632 -x6633 -x6634 -x6635 -x6636 -x6637 -x6638 1800.03/1800.74 v -x6639 x6640 x6641 -x6642 -x6643 -x6644 -x6645 -x6646 -x6647 -x6648 -x6649 -x6650 -x6651 -x6652 -x6653 -x6654 -x6655 -x6656 1800.03/1800.74 v -x6657 -x6658 -x6659 -x6660 -x6661 -x6662 -x6663 -x6664 -x6665 -x6666 -x6667 -x6668 -x6669 -x6670 x6671 -x6672 -x6673 1800.03/1800.74 v -x6674 -x6675 -x6676 -x6677 -x6678 -x6679 -x6680 -x6681 -x6682 -x6683 -x6684 -x6685 -x6686 -x6687 -x6688 -x6689 -x6690 1800.03/1800.74 v x6691 -x6692 -x6693 -x6694 -x6695 -x6696 -x6697 -x6698 -x6699 -x6700 -x6701 -x6702 -x6703 -x6704 -x6705 -x6706 -x6707 1800.03/1800.74 v -x6708 -x6709 -x6710 -x6711 x6712 -x6713 -x6714 -x6715 -x6716 -x6717 -x6718 -x6719 -x6720 -x6721 -x6722 -x6723 -x6724 1800.03/1800.74 v -x6725 -x6726 -x6727 -x6728 -x6729 -x6730 -x6731 x6732 -x6733 -x6734 -x6735 -x6736 -x6737 -x6738 -x6739 -x6740 -x6741 1800.03/1800.74 v -x6742 -x6743 -x6744 -x6745 -x6746 -x6747 -x6748 -x6749 -x6750 -x6751 -x6752 -x6753 -x6754 -x6755 -x6756 -x6757 -x6758 1800.03/1800.74 v -x6759 -x6760 -x6761 -x6762 -x6763 -x6764 -x6765 -x6766 -x6767 -x6768 -x6769 -x6770 -x6771 -x6772 -x6773 -x6774 -x6775 1800.03/1800.74 v -x6776 -x6777 -x6778 -x6779 -x6780 -x6781 -x6782 -x6783 -x6784 -x6785 -x6786 -x6787 -x6788 -x6789 -x6790 -x6791 -x6792 1800.03/1800.74 v -x6793 -x6794 x6795 x6796 -x6797 -x6798 -x6799 -x6800 -x6801 -x6802 -x6803 -x6804 -x6805 -x6806 -x6807 -x6808 -x6809 -x6810 1800.03/1800.74 v -x6811 -x6812 -x6813 -x6814 x6815 x6816 -x6817 -x6818 -x6819 -x6820 -x6821 -x6822 -x6823 x6824 -x6825 -x6826 1800.03/1800.75 1800.03/1800.75 c user time= 1799.56 s 1800.03/1800.75 c system time= 0.516921 s 1800.03/1800.75 c wall clock time=1800.75
OK 87
sed -e s/sizeproduct=/#sizeproduct=/ /tmp/evaluation/453260-1178126592/instance-453260-1178126592.opb mv /tmp/evaluation/453260-1178126592/instance-453260-1178126592.opb.tmp /tmp/evaluation/453260-1178126592/instance-453260-1178126592.opb
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node10/watcher-453260-1178126592 -o ROOT/results/node10/solver-453260-1178126592 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/453260-1178126592/instance-453260-1178126592.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.91 0.95 0.96 3/77 13842 /proc/meminfo: memFree=1801496/2055920 swapFree=4145576/4192956 [pid=13842] ppid=13840 vsize=1468 CPUtime=0 /proc/13842/stat : 13842 (oree) R 13840 13842 13419 0 -1 4194304 182 0 0 0 0 0 0 0 18 0 1 0 288696781 1503232 165 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13842/statm: 367 165 130 317 0 46 0 [startup+0.032487 s] /proc/loadavg: 0.91 0.95 0.96 3/77 13842 /proc/meminfo: memFree=1801496/2055920 swapFree=4145576/4192956 [pid=13842] ppid=13840 vsize=2264 CPUtime=0.02 /proc/13842/stat : 13842 (oree) R 13840 13842 13419 0 -1 4194304 375 0 0 0 2 0 0 0 18 0 1 0 288696781 2318336 358 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13842/statm: 566 358 132 317 0 245 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 2264 [startup+0.101502 s] /proc/loadavg: 0.91 0.95 0.96 3/77 13842 /proc/meminfo: memFree=1801496/2055920 swapFree=4145576/4192956 [pid=13842] ppid=13840 vsize=5892 CPUtime=0.09 /proc/13842/stat : 13842 (oree) R 13840 13842 13419 0 -1 4194304 1282 0 0 0 9 0 0 0 18 0 1 0 288696781 6033408 1265 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13842/statm: 1473 1265 137 317 0 1152 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 5892 [startup+0.301545 s] /proc/loadavg: 0.91 0.95 0.96 3/77 13842 /proc/meminfo: memFree=1801496/2055920 swapFree=4145576/4192956 [pid=13842] ppid=13840 vsize=6288 CPUtime=0.29 /proc/13842/stat : 13842 (oree) R 13840 13842 13419 0 -1 4194304 1385 0 0 0 29 0 0 0 19 0 1 0 288696781 6438912 1368 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134752702 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13842/statm: 1572 1368 138 317 0 1251 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 6288 [startup+0.701632 s] /proc/loadavg: 0.91 0.95 0.96 3/77 13842 /proc/meminfo: memFree=1801496/2055920 swapFree=4145576/4192956 [pid=13842] ppid=13840 vsize=7968 CPUtime=0.69 /proc/13842/stat : 13842 (oree) R 13840 13842 13419 0 -1 4194304 1832 0 0 0 69 0 0 0 22 0 1 0 288696781 8159232 1725 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134606713 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13842/statm: 1992 1725 170 317 0 1671 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 7968 [startup+1.5018 s] /proc/loadavg: 0.91 0.95 0.96 2/78 13843 /proc/meminfo: memFree=1794000/2055920 swapFree=4145576/4192956 [pid=13842] ppid=13840 vsize=10480 CPUtime=1.49 /proc/13842/stat : 13842 (oree) R 13840 13842 13419 0 -1 4194304 2477 0 0 0 149 0 0 0 25 0 1 0 288696781 10731520 2370 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134563634 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13842/statm: 2620 2370 170 317 0 2299 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 10480 [startup+3.10115 s] /proc/loadavg: 0.91 0.95 0.96 2/78 13843 /proc/meminfo: memFree=1791312/2055920 swapFree=4145576/4192956 [pid=13842] ppid=13840 vsize=13264 CPUtime=3.09 /proc/13842/stat : 13842 (oree) R 13840 13842 13419 0 -1 4194304 3160 0 0 0 308 1 0 0 25 0 1 0 288696781 13582336 3053 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134604429 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13842/statm: 3316 3053 170 317 0 2995 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 13264 [startup+6.30184 s] /proc/loadavg: 0.92 0.95 0.96 2/78 13843 /proc/meminfo: memFree=1785872/2055920 swapFree=4145576/4192956 [pid=13842] ppid=13840 vsize=18052 CPUtime=6.29 /proc/13842/stat : 13842 (oree) R 13840 13842 13419 0 -1 4194304 4371 0 0 0 628 1 0 0 25 0 1 0 288696781 18485248 4264 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13842/statm: 4513 4264 170 317 0 4192 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 18052 [startup+12.7022 s] /proc/loadavg: 0.93 0.95 0.96 2/78 13843 /proc/meminfo: memFree=1779496/2055920 swapFree=4145576/4192956 [pid=13842] ppid=13840 vsize=24528 CPUtime=12.68 /proc/13842/stat : 13842 (oree) R 13840 13842 13419 0 -1 4194304 5884 0 0 0 1266 2 0 0 25 0 1 0 288696781 25116672 5777 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134712518 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13842/statm: 6132 5777 170 317 0 5811 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 24528 [startup+25.502 s] /proc/loadavg: 0.94 0.96 0.96 2/78 13843 /proc/meminfo: memFree=1770856/2055920 swapFree=4145576/4192956 [pid=13842] ppid=13840 vsize=32148 CPUtime=25.48 /proc/13842/stat : 13842 (oree) R 13840 13842 13419 0 -1 4194304 7885 0 0 0 2545 3 0 0 25 0 1 0 288696781 32919552 7778 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13842/statm: 8037 7778 170 317 0 7716 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 32148 [startup+51.1015 s] /proc/loadavg: 0.96 0.96 0.96 2/78 13843 /proc/meminfo: memFree=1759016/2055920 swapFree=4145576/4192956 [pid=13842] ppid=13840 vsize=45260 CPUtime=51.08 /proc/13842/stat : 13842 (oree) R 13840 13842 13419 0 -1 4194304 10851 0 0 0 5101 7 0 0 25 0 1 0 288696781 46346240 10744 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13842/statm: 11315 10744 170 317 0 10994 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 45260 [startup+102.306 s] /proc/loadavg: 0.98 0.96 0.96 2/78 13843 /proc/meminfo: memFree=1743464/2055920 swapFree=4145576/4192956 [pid=13842] ppid=13840 vsize=60024 CPUtime=102.25 /proc/13842/stat : 13842 (oree) R 13840 13842 13419 0 -1 4194304 14686 0 0 0 10216 9 0 0 25 0 1 0 288696781 61464576 14579 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134564078 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13842/statm: 15006 14579 170 317 0 14685 0 Current children cumulated CPU time (s) 102.25 Current children cumulated vsize (KiB) 60024 [startup+162.302 s] /proc/loadavg: 0.99 0.97 0.96 2/78 13843 /proc/meminfo: memFree=1728232/2055920 swapFree=4145576/4192956 [pid=13842] ppid=13840 vsize=77432 CPUtime=162.23 /proc/13842/stat : 13842 (oree) R 13840 13842 13419 0 -1 4194304 18489 0 0 0 16211 12 0 0 25 0 1 0 288696781 79290368 18382 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134718431 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13842/statm: 19358 18382 170 317 0 19037 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 77432 [startup+222.302 s] /proc/loadavg: 0.99 0.97 0.96 2/78 13843 /proc/meminfo: memFree=1716264/2055920 swapFree=4145576/4192956 [pid=13842] ppid=13840 vsize=88868 CPUtime=222.21 /proc/13842/stat : 13842 (oree) R 13840 13842 13419 0 -1 4194304 21450 0 0 0 22207 14 0 0 25 0 1 0 288696781 91000832 21343 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13842/statm: 22217 21343 170 317 0 21896 0 Current children cumulated CPU time (s) 222.21 Current children cumulated vsize (KiB) 88868 [startup+282.302 s] /proc/loadavg: 0.99 0.97 0.96 2/78 13843 /proc/meminfo: memFree=1705320/2055920 swapFree=4145576/4192956 [pid=13842] ppid=13840 vsize=100032 CPUtime=282.19 /proc/13842/stat : 13842 (oree) R 13840 13842 13419 0 -1 4194304 24192 0 0 0 28203 16 0 0 25 0 1 0 288696781 102432768 24085 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13842/statm: 25008 24085 170 317 0 24687 0 Current children cumulated CPU time (s) 282.19 Current children cumulated vsize (KiB) 100032 [startup+342.302 s] /proc/loadavg: 0.99 0.97 0.96 2/78 13843 /proc/meminfo: memFree=1695464/2055920 swapFree=4145576/4192956 [pid=13842] ppid=13840 vsize=110688 CPUtime=342.16 /proc/13842/stat : 13842 (oree) R 13840 13842 13419 0 -1 4194304 26810 0 0 0 34198 18 0 0 25 0 1 0 288696781 113344512 26523 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134564046 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13842/statm: 27672 26523 170 317 0 27351 0 Current children cumulated CPU time (s) 342.16 Current children cumulated vsize (KiB) 110688 [startup+402.302 s] /proc/loadavg: 0.99 0.97 0.96 2/78 13843 /proc/meminfo: memFree=1686952/2055920 swapFree=4145576/4192956 [pid=13842] ppid=13840 vsize=118872 CPUtime=402.14 /proc/13842/stat : 13842 (oree) R 13840 13842 13419 0 -1 4194304 28925 0 0 0 40194 20 0 0 25 0 1 0 288696781 121724928 28638 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13842/statm: 29718 28638 170 317 0 29397 0 Current children cumulated CPU time (s) 402.14 Current children cumulated vsize (KiB) 118872 [startup+462.302 s] /proc/loadavg: 0.99 0.97 0.96 2/78 13843 /proc/meminfo: memFree=1679656/2055920 swapFree=4145576/4192956 [pid=13842] ppid=13840 vsize=125456 CPUtime=462.11 /proc/13842/stat : 13842 (oree) R 13840 13842 13419 0 -1 4194304 30711 0 0 0 46190 21 0 0 25 0 1 0 288696781 128466944 30424 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13842/statm: 31364 30424 170 317 0 31043 0 Current children cumulated CPU time (s) 462.11 Current children cumulated vsize (KiB) 125456 [startup+522.301 s] /proc/loadavg: 0.99 0.97 0.96 2/78 13843 /proc/meminfo: memFree=1671080/2055920 swapFree=4145576/4192956 [pid=13842] ppid=13840 vsize=140816 CPUtime=522.1 /proc/13842/stat : 13842 (oree) R 13840 13842 13419 0 -1 4194304 34048 0 0 0 52187 23 0 0 25 0 1 0 288696781 144195584 32540 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13842/statm: 35204 32540 170 317 0 34883 0 Current children cumulated CPU time (s) 522.1 Current children cumulated vsize (KiB) 140816 [startup+582.301 s] /proc/loadavg: 0.99 0.97 0.96 2/78 13843 /proc/meminfo: memFree=1665000/2055920 swapFree=4145576/4192956 [pid=13842] ppid=13840 vsize=146464 CPUtime=582.07 /proc/13842/stat : 13842 (oree) R 13840 13842 13419 0 -1 4194304 35570 0 0 0 58183 24 0 0 25 0 1 0 288696781 149979136 34062 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13842/statm: 36616 34062 170 317 0 36295 0 Current children cumulated CPU time (s) 582.07 Current children cumulated vsize (KiB) 146464 [startup+642.301 s] /proc/loadavg: 0.99 0.97 0.96 2/78 13843 /proc/meminfo: memFree=1658920/2055920 swapFree=4145576/4192956 [pid=13842] ppid=13840 vsize=152008 CPUtime=642.06 /proc/13842/stat : 13842 (oree) R 13840 13842 13419 0 -1 4194304 37081 0 0 0 64180 26 0 0 25 0 1 0 288696781 155656192 35540 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13842/statm: 38002 35540 170 317 0 37681 0 Current children cumulated CPU time (s) 642.06 Current children cumulated vsize (KiB) 152008 ################ # More data... # ################ [startup+882.302 s] /proc/loadavg: 0.99 0.97 0.96 2/78 13845 /proc/meminfo: memFree=1636008/2055920 swapFree=4145576/4192956 [pid=13842] ppid=13840 vsize=174220 CPUtime=881.95 /proc/13842/stat : 13842 (oree) R 13840 13842 13419 0 -1 4194304 43019 0 0 0 88164 31 0 0 25 0 1 0 288696781 178401280 41214 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134718431 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13842/statm: 43555 41214 170 317 0 43234 0 Current children cumulated CPU time (s) 881.95 Current children cumulated vsize (KiB) 174220 [startup+942.303 s] /proc/loadavg: 0.99 0.97 0.96 2/78 13845 /proc/meminfo: memFree=1630760/2055920 swapFree=4145576/4192956 [pid=13842] ppid=13840 vsize=180032 CPUtime=941.94 /proc/13842/stat : 13842 (oree) R 13840 13842 13419 0 -1 4194304 44408 0 0 0 94161 33 0 0 25 0 1 0 288696781 184352768 42537 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134710943 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13842/statm: 45008 42537 170 317 0 44687 0 Current children cumulated CPU time (s) 941.94 Current children cumulated vsize (KiB) 180032 [startup+1002.3 s] /proc/loadavg: 0.99 0.97 0.96 2/78 13845 /proc/meminfo: memFree=1625128/2055920 swapFree=4145576/4192956 [pid=13842] ppid=13840 vsize=184772 CPUtime=1001.91 /proc/13842/stat : 13842 (oree) R 13840 13842 13419 0 -1 4194304 45781 0 0 0 100157 34 0 0 25 0 1 0 288696781 189206528 43910 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13842/statm: 46193 43910 170 317 0 45872 0 Current children cumulated CPU time (s) 1001.91 Current children cumulated vsize (KiB) 184772 [startup+1062.3 s] /proc/loadavg: 0.99 0.97 0.96 2/78 13845 /proc/meminfo: memFree=1620008/2055920 swapFree=4145576/4192956 [pid=13842] ppid=13840 vsize=190084 CPUtime=1061.89 /proc/13842/stat : 13842 (oree) R 13840 13842 13419 0 -1 4194304 47070 0 0 0 106153 36 0 0 25 0 1 0 288696781 194646016 45199 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13842/statm: 47521 45199 170 317 0 47200 0 Current children cumulated CPU time (s) 1061.89 Current children cumulated vsize (KiB) 190084 [startup+1122.3 s] /proc/loadavg: 0.99 0.97 0.96 2/78 13845 /proc/meminfo: memFree=1614888/2055920 swapFree=4145576/4192956 [pid=13842] ppid=13840 vsize=195320 CPUtime=1121.87 /proc/13842/stat : 13842 (oree) R 13840 13842 13419 0 -1 4194304 48344 0 0 0 112150 37 0 0 25 0 1 0 288696781 200007680 46473 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13842/statm: 48830 46473 170 317 0 48509 0 Current children cumulated CPU time (s) 1121.87 Current children cumulated vsize (KiB) 195320 [startup+1182.3 s] /proc/loadavg: 0.99 0.97 0.96 2/78 13845 /proc/meminfo: memFree=1610408/2055920 swapFree=4145576/4192956 [pid=13842] ppid=13840 vsize=199128 CPUtime=1181.85 /proc/13842/stat : 13842 (oree) R 13840 13842 13419 0 -1 4194304 49480 0 0 0 118147 38 0 0 25 0 1 0 288696781 203907072 47609 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13842/statm: 49782 47609 170 317 0 49461 0 Current children cumulated CPU time (s) 1181.85 Current children cumulated vsize (KiB) 199128 [startup+1242.3 s] /proc/loadavg: 0.99 0.97 0.96 2/78 13845 /proc/meminfo: memFree=1605928/2055920 swapFree=4145576/4192956 [pid=13842] ppid=13840 vsize=203148 CPUtime=1241.82 /proc/13842/stat : 13842 (oree) R 13840 13842 13419 0 -1 4194304 50582 0 0 0 124143 39 0 0 25 0 1 0 288696781 208023552 48711 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13842/statm: 50787 48711 170 317 0 50466 0 Current children cumulated CPU time (s) 1241.82 Current children cumulated vsize (KiB) 203148 [startup+1302.3 s] /proc/loadavg: 0.99 0.97 0.96 2/78 13845 /proc/meminfo: memFree=1601320/2055920 swapFree=4145576/4192956 [pid=13842] ppid=13840 vsize=207212 CPUtime=1301.81 /proc/13842/stat : 13842 (oree) R 13840 13842 13419 0 -1 4194304 51711 0 0 0 130140 41 0 0 25 0 1 0 288696781 212185088 49840 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13842/statm: 51803 49840 170 317 0 51482 0 Current children cumulated CPU time (s) 1301.81 Current children cumulated vsize (KiB) 207212 [startup+1362.3 s] /proc/loadavg: 0.99 0.97 0.96 2/78 13845 /proc/meminfo: memFree=1596840/2055920 swapFree=4145576/4192956 [pid=13842] ppid=13840 vsize=211312 CPUtime=1361.78 /proc/13842/stat : 13842 (oree) R 13840 13842 13419 0 -1 4194304 52838 0 0 0 136136 42 0 0 25 0 1 0 288696781 216383488 50967 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13842/statm: 52828 50967 170 317 0 52507 0 Current children cumulated CPU time (s) 1361.78 Current children cumulated vsize (KiB) 211312 [startup+1422.31 s] /proc/loadavg: 0.99 0.97 0.96 2/78 13845 /proc/meminfo: memFree=1591976/2055920 swapFree=4145576/4192956 [pid=13842] ppid=13840 vsize=217536 CPUtime=1421.77 /proc/13842/stat : 13842 (oree) R 13840 13842 13419 0 -1 4194304 54336 0 0 0 142133 44 0 0 25 0 1 0 288696781 222756864 52168 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13842/statm: 54384 52168 170 317 0 54063 0 Current children cumulated CPU time (s) 1421.77 Current children cumulated vsize (KiB) 217536 [startup+1482.3 s] /proc/loadavg: 0.99 0.97 0.96 2/78 13845 /proc/meminfo: memFree=1586728/2055920 swapFree=4145576/4192956 [pid=13842] ppid=13840 vsize=223296 CPUtime=1481.73 /proc/13842/stat : 13842 (oree) R 13840 13842 13419 0 -1 4194304 55623 0 0 0 148129 44 0 0 25 0 1 0 288696781 228655104 53455 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13842/statm: 55824 53455 170 317 0 55503 0 Current children cumulated CPU time (s) 1481.73 Current children cumulated vsize (KiB) 223296 [startup+1542.3 s] /proc/loadavg: 0.99 0.97 0.96 2/78 13845 /proc/meminfo: memFree=1582120/2055920 swapFree=4145576/4192956 [pid=13842] ppid=13840 vsize=227412 CPUtime=1541.72 /proc/13842/stat : 13842 (oree) R 13840 13842 13419 0 -1 4194304 56771 0 0 0 154126 46 0 0 25 0 1 0 288696781 232869888 54603 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13842/statm: 56853 54603 170 317 0 56532 0 Current children cumulated CPU time (s) 1541.72 Current children cumulated vsize (KiB) 227412 [startup+1602.3 s] /proc/loadavg: 0.99 0.97 0.96 2/78 13845 /proc/meminfo: memFree=1577384/2055920 swapFree=4145576/4192956 [pid=13842] ppid=13840 vsize=231600 CPUtime=1601.69 /proc/13842/stat : 13842 (oree) R 13840 13842 13419 0 -1 4194304 57959 0 0 0 160122 47 0 0 25 0 1 0 288696781 237158400 55791 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13842/statm: 57900 55791 170 317 0 57579 0 Current children cumulated CPU time (s) 1601.69 Current children cumulated vsize (KiB) 231600 [startup+1662.3 s] /proc/loadavg: 0.99 0.97 0.96 2/78 13845 /proc/meminfo: memFree=1572968/2055920 swapFree=4145576/4192956 [pid=13842] ppid=13840 vsize=235756 CPUtime=1661.67 /proc/13842/stat : 13842 (oree) R 13840 13842 13419 0 -1 4194304 59052 0 0 0 166118 49 0 0 25 0 1 0 288696781 241414144 56884 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13842/statm: 58939 56884 170 317 0 58618 0 Current children cumulated CPU time (s) 1661.67 Current children cumulated vsize (KiB) 235756 [startup+1722.3 s] /proc/loadavg: 0.99 0.97 0.96 2/78 13845 /proc/meminfo: memFree=1568936/2055920 swapFree=4145576/4192956 [pid=13842] ppid=13840 vsize=239292 CPUtime=1721.65 /proc/13842/stat : 13842 (oree) R 13840 13842 13419 0 -1 4194304 60070 0 0 0 172115 50 0 0 25 0 1 0 288696781 245035008 57869 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13842/statm: 59823 57869 170 317 0 59502 0 Current children cumulated CPU time (s) 1721.65 Current children cumulated vsize (KiB) 239292 [startup+1782.3 s] /proc/loadavg: 0.99 0.97 0.96 2/78 13845 /proc/meminfo: memFree=1565032/2055920 swapFree=4145576/4192956 [pid=13842] ppid=13840 vsize=242836 CPUtime=1781.63 /proc/13842/stat : 13842 (oree) R 13840 13842 13419 0 -1 4194304 61037 0 0 0 178112 51 0 0 25 0 1 0 288696781 248664064 58836 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13842/statm: 60709 58836 170 317 0 60388 0 Current children cumulated CPU time (s) 1781.63 Current children cumulated vsize (KiB) 242836 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.71 s] /proc/loadavg: 0.99 0.97 0.96 2/78 13845 /proc/meminfo: memFree=1563688/2055920 swapFree=4145576/4192956 [pid=13842] ppid=13840 vsize=243888 CPUtime=1800.03 /proc/13842/stat : 13842 (oree) R 13840 13842 13419 0 -1 4194304 61359 0 0 0 179952 51 0 0 25 0 1 0 288696781 249741312 59158 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13842/statm: 60972 59158 170 317 0 60651 0 Current children cumulated CPU time (s) 1800.03 Current children cumulated vsize (KiB) 243888 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.71 s] /proc/loadavg: 0.99 0.97 0.96 2/78 13845 /proc/meminfo: memFree=1563688/2055920 swapFree=4145576/4192956 [pid=13842] ppid=13840 vsize=243888 CPUtime=1800.03 /proc/13842/stat : 13842 (oree) R 13840 13842 13419 0 -1 4194304 61359 0 0 0 179952 51 0 0 25 0 1 0 288696781 249741312 59158 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13842/statm: 60972 59158 170 317 0 60651 0 Current children cumulated CPU time (s) 1800.03 Current children cumulated vsize (KiB) 243888 Child status: 0 Real time (s): 1800.8 CPU time (s): 1800.13 CPU user time (s): 1799.57 CPU system time (s): 0.558915 CPU usage (%): 99.9624 Max. virtual memory (cumulated for all children) (KiB): 243888 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.57 system time used= 0.558915 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 61375 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= 1554 runsolver used 1.44178 second user time and 4.23436 second system time The end
Begin job on node10 on Wed May 2 17:23:12 UTC 2007 IDJOB= 453260 IDBENCH= 48118 IDSOLVER= 172 FILE ID= node10/453260-1178126592 PBS_JOBID= 4751045 Free space on /tmp= 66563 MiB SOLVER NAME= oree 0.1.2 alpha BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mds/normalized-mds_500_10_4.opb COMMAND LINE= oree /tmp/evaluation/453260-1178126592/instance-453260-1178126592.opb mod CONVERSION COMMAND LINE= runsolver -w ROOT/results/node10/convwatcher-453260-1178126592 -o ROOT/results/node10/conversion-453260-1178126592 -C 600 -M 1800 /tmp/evaluation/453260-1178126592/substituteSizeProductKeyword /tmp/evaluation/453260-1178126592/instance-453260-1178126592.opb CONVERSION RUNSOLVER STATUS CODE= 0 CONVERSION STATUS CODE= 0 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node10/watcher-453260-1178126592 -o ROOT/results/node10/solver-453260-1178126592 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/453260-1178126592/instance-453260-1178126592.opb mod META MD5SUM SOLVER= 51f0e1a06bbb15374571c5c5129b7f5e MD5SUM BENCH= 7603a459a5769ea7e43f52c522eb87aa RANDOM SEED= 473676101 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node10.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.259 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.259 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: 1801904 kB Buffers: 105164 kB Cached: 62312 kB SwapCached: 15988 kB Active: 79296 kB Inactive: 115752 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1801904 kB SwapTotal: 4192956 kB SwapFree: 4145576 kB Dirty: 1420 kB Writeback: 0 kB Mapped: 30380 kB Slab: 44584 kB Committed_AS: 4954324 kB PageTables: 1708 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= 66563 MiB End job on node10 on Wed May 2 17:53:15 UTC 2007