Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.16 | SAT (TO) | 4003 | 1800.26 | 1800.82 |
Name | normalized-PB06/OPT-MEDINT/mps-v2-20-10/MIPLIB/ miplib2003/normalized-mps-v2-20-10-aflow30a.opb |
MD5SUM | d5ffb80d8d2a9d2ae5f84f17eeb42612 |
Bench Category | OPT-MEDINT (optimisation, medium integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 4003 |
Best CPU time to get the best result obtained on this benchmark | 1800.27 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 2754 |
Optimality of the best value was proved | NO |
Number of variables | 7195 |
Total number of constraints | 900 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 29 |
Number of constraints which are nor clauses,nor cardinality constraints | 871 |
Minimum length of a constraint | 10 |
Maximum length of a constraint | 555 |
Number of terms in the objective function | 421 |
Biggest coefficient in the objective function | 500 |
Number of bits for the biggest coefficient in the objective function | 9 |
Sum of the numbers in the objective function | 72290 |
Number of bits of the sum of numbers in the objective function | 17 |
Biggest number in a constraint | 102400 |
Number of bits of the biggest number in a constraint | 17 |
Biggest sum of numbers in a constraint | 3334110 |
Number of bits of the biggest sum of numbers | 22 |
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/350590-1176523994/instance-350590-1176523994.opb 0.00/0.00 c File size is 309376 bytes. 0.00/0.02 c Coefficients are big enough for not using lower bounding. 0.00/0.03 c Coefficients are big enough for not using lower bounding. 0.00/0.03 c Coefficients are big enough for not using lower bounding. 0.00/0.03 c Coefficients are big enough for not using lower bounding. 0.00/0.03 c Coefficients are big enough for not using lower bounding. 0.00/0.03 c Coefficients are big enough for not using lower bounding. 0.00/0.03 c Coefficients are big enough for not using lower bounding. 0.00/0.04 c Coefficients are big enough for not using lower bounding. 0.00/0.04 c Coefficients are big enough for not using lower bounding. 0.00/0.04 c Coefficients are big enough for not using lower bounding. 0.00/0.04 c Coefficients are big enough for not using lower bounding. 0.00/0.04 c Coefficients are big enough for not using lower bounding. 0.00/0.04 c Coefficients are big enough for not using lower bounding. 0.00/0.05 c Coefficients are big enough for not using lower bounding. 0.00/0.05 c Coefficients are big enough for not using lower bounding. 0.00/0.05 c Coefficients are big enough for not using lower bounding. 0.00/0.05 c Coefficients are big enough for not using lower bounding. 0.00/0.05 c Coefficients are big enough for not using lower bounding. 0.00/0.05 c Coefficients are big enough for not using lower bounding. 0.00/0.06 c Coefficients are big enough for not using lower bounding. 0.00/0.06 c Coefficients are big enough for not using lower bounding. 0.00/0.06 c Coefficients are big enough for not using lower bounding. 0.00/0.06 c Highest Coefficient sum: 3.33411e+06 0.00/0.06 c Parsing was ok!! 0.00/0.06 c Total parsing time: 0.059 s 0.00/0.06 c Var: 7195 Constr: 958 29/29/900 Lit: 41461 Watch. Lit: 10758 0.00/0.06 c Obj. Vars: 421 (5.85129 % of total variables) 2.89/2.91 c Pre-processing Time: 2.914 s 201.63/201.76 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 201.63/201.76 c 0 7170 956 41361 43 17172 83002 0 0 2.91 201.63/201.76 c 101 7170 1057 115540 109 27097 91303 101 33 3.04 201.63/201.76 c 252 7170 1208 210632 174 27482 100434 252 78 3.23 201.63/201.76 c 478 7170 1434 316533 220 28352 110478 478 140 3.39 201.63/201.76 c 826 7170 1782 483411 271 29300 121526 826 226 3.64 201.63/201.76 c 1335 7170 2291 641385 279 30666 133679 1335 328 4.06 201.63/201.76 c 2098 7170 3054 1094668 358 32419 147047 2098 436 4.81 201.63/201.76 c 3244 7170 4200 1981465 471 35450 161752 3244 493 6.58 201.63/201.76 c 4965 7170 5921 2906105 490 38271 177928 4965 550 9.01 201.63/201.76 c 7550 7170 8506 4421357 519 41873 195721 7550 556 13.57 201.63/201.76 c 11430 7170 12386 8534003 689 49794 215294 11430 463 24.66 201.63/201.76 c 17253 7170 18209 11940278 655 61608 236824 17253 558 30.90 201.63/201.76 c 25997 7170 26953 15752970 584 78340 260507 25997 591 43.97 201.63/201.76 c 39126 7170 40082 20759304 517 105192 286558 39126 493 79.23 201.63/201.76 c 58800 7170 59756 36959269 618 144348 315214 58800 411 142.95 201.63/201.76 o 5218 201.705 371.98/372.13 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 371.98/372.13 c 71886 7170 72843 50536848 693 171044 83844 71887 356 201.71 371.98/372.13 c 71988 7170 72945 50635338 694 170738 92229 71989 353 203.50 371.98/372.13 c 72245 7170 73202 50726049 692 170894 101452 72246 354 203.88 371.98/372.13 c 72734 7170 73691 51132782 693 172532 111598 72735 350 207.31 371.98/372.13 c 73547 7170 74504 51695489 693 174323 122758 73548 347 211.52 371.98/372.13 c 74868 7170 75825 52443312 691 176941 135034 74869 348 215.09 371.98/372.13 c 76951 7170 77908 55494545 712 180814 148538 76952 334 230.02 371.98/372.13 c 80174 7170 81131 59900153 738 187355 163392 80175 323 248.15 371.98/372.13 c 85110 7170 86067 64433911 748 197721 179732 85111 323 263.31 371.98/372.13 c 92624 7170 93581 75937123 811 212421 197706 92625 263 351.51 371.98/372.13 o 4026 372.018 976.80/977.11 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 976.80/977.11 c 95161 7170 96119 78506095 816 217571 83844 95163 255 372.02 976.80/977.11 c 95261 7170 13523 16293294 1204 51712 92229 12567 253 375.51 976.80/977.11 c 95511 7170 13773 16502238 1198 52501 101452 12817 253 376.55 976.80/977.11 c 95987 7170 14249 16751749 1175 52993 111598 13293 254 377.19 976.80/977.11 c 96802 7170 15064 17306190 1148 55244 122758 14108 255 378.81 976.80/977.11 c 98123 7170 16385 18492092 1128 58023 135034 15429 255 383.49 976.80/977.11 c 100204 7170 18466 20447528 1107 62563 148538 17510 256 390.03 976.80/977.11 c 103428 7170 21690 22895632 1055 68809 163392 20734 260 397.66 976.80/977.11 c 108365 7170 26627 26657120 1001 78710 179732 25671 261 413.87 976.80/977.11 c 115872 7170 34134 34318478 1005 93252 197706 33178 243 476.13 976.80/977.11 c 127233 7170 45495 44838073 985 115577 217477 44539 235 539.37 976.80/977.11 c 144378 7170 62640 51800354 826 149814 239225 61684 257 561.25 976.80/977.11 c 170212 7170 88474 79257005 895 202268 263148 87518 207 821.76 976.80/977.11 o 4014 976.826 1125.57/1125.92 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1125.57/1125.92 c 183907 7170 102170 95761465 937 230103 83844 101214 188 976.83 1125.57/1125.92 c 184013 7170 13642 15066566 1104 51779 92229 12686 187 980.61 1125.57/1125.92 c 184265 7170 13894 15226407 1095 52709 101452 12938 187 981.22 1125.57/1125.92 c 184742 7170 14371 15427777 1073 53934 111598 13415 188 982.38 1125.57/1125.92 c 185555 7170 15184 15960249 1051 55290 122758 14228 188 985.03 1125.57/1125.92 c 186877 7170 16506 16619835 1006 58317 135034 15550 189 986.00 1125.57/1125.92 c 188958 7170 18587 17803925 957 62599 148538 17631 190 989.72 1125.57/1125.92 c 192228 7170 21857 20598899 942 69034 163392 20901 192 999.05 1125.57/1125.92 c 197167 7170 26796 22607463 843 79059 179732 25840 195 1006.69 1125.57/1125.92 c 204674 7170 34303 29830598 869 94182 197706 33347 199 1027.04 1125.57/1125.92 c 216037 7170 45666 36219829 793 116748 217477 44710 205 1051.07 1125.57/1125.92 c 233181 7170 62810 46412778 738 151094 239225 61854 213 1092.50 1125.57/1125.92 o 4003 1125.59 1799.94/1800.55 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1799.94/1800.55 c 240280 7170 69910 51757614 740 166085 83844 68954 213 1125.59 1799.94/1800.55 c 240382 7170 70012 51812443 740 165420 92229 69056 213 1126.10 1799.94/1800.55 c 240635 7170 70265 51930471 739 165780 101452 69309 213 1126.25 1799.94/1800.55 c 241110 7170 70740 52403799 740 167540 111598 69784 213 1129.52 1799.94/1800.55 c 241923 7170 71553 53144733 742 168364 122758 70597 213 1131.48 1799.94/1800.55 c 243244 7170 72874 53666776 736 170175 135034 71918 214 1132.67 1799.94/1800.55 c 245325 7170 74955 54486545 726 175765 148538 73999 215 1140.11 1799.94/1800.55 c 248550 7170 78180 59284164 758 181804 163392 77224 212 1169.56 1799.94/1800.55 c 253487 7170 83117 64070769 770 191742 179732 82161 211 1199.46 1799.94/1800.55 c 260993 7170 90623 77555975 855 207124 197706 89667 200 1303.27 1799.94/1800.55 c 272354 7170 101984 89788129 880 230013 217477 101028 186 1463.53 1799.94/1800.55 c 289498 7170 119128 107453564 902 263952 239225 118172 179 1612.18 1799.94/1800.55 c 315317 7170 144947 120623293 832 315413 263148 143991 179 1752.77 1799.94/1800.55 c Resources Exceeded 1799.94/1800.55 v x1 -x112 x223 -x334 -x1632 -x3257 x4877 -x6486 -x7185 x2 -x13 -x24 -x35 -x46 -x57 -x68 x79 -x90 x101 -x113 -x124 -x135 -x146 1799.94/1800.55 v -x157 -x168 -x179 x190 -x201 -x212 -x224 -x235 -x246 x257 -x268 -x279 -x290 -x301 -x312 -x323 -x335 -x346 -x357 -x489 -x653 1799.94/1800.55 v -x817 -x981 x1140 x1304 -x1464 -x1633 -x1793 -x1957 -x2119 -x2284 -x2444 -x2606 -x2767 -x2928 -x3094 -x3258 -x3417 -x3580 1799.94/1800.55 v -x3746 -x3909 -x4071 -x4235 -x4393 -x4557 -x4717 -x4878 -x5037 -x5194 -x5353 x5515 -x5680 -x5840 -x6000 -x6166 -x6326 1799.94/1800.55 v x6487 -x6650 -x6816 -x6974 -x7131 -x7180 -x7181 -x7182 -x7183 -x7184 -x7186 -x7187 -x7188 -x7189 -x7190 -x7191 -x7192 1799.94/1800.55 v -x7193 -x7194 -x7195 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 x14 -x15 -x16 -x17 x18 -x19 -x20 -x21 -x22 -x23 -x25 x26 -x27 -x28 1799.94/1800.55 v -x29 -x30 -x31 -x32 -x33 -x34 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x47 -x48 x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 1799.94/1800.55 v -x58 -x59 -x60 -x61 x62 -x63 -x64 -x65 -x66 -x67 -x69 -x70 -x71 -x72 -x73 x74 -x75 -x76 -x77 -x78 -x80 -x81 -x82 -x83 -x84 -x85 1799.94/1800.55 v -x86 -x87 -x88 -x89 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 1799.94/1800.55 v -x111 x114 -x115 x116 -x117 -x118 -x119 x120 -x121 -x122 -x123 -x125 -x126 -x127 -x128 x129 x130 -x131 -x132 -x133 -x134 -x136 1799.94/1800.55 v -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x158 -x159 1799.94/1800.55 v -x160 -x161 -x162 -x163 -x164 -x165 -x166 x167 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x180 -x181 -x182 1799.94/1800.55 v -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x202 -x203 -x204 -x205 1799.94/1800.55 v -x206 -x207 -x208 -x209 -x210 -x211 -x213 -x214 -x215 -x216 x217 -x218 -x219 -x220 -x221 -x222 -x225 -x226 -x227 -x228 -x229 1799.94/1800.55 v -x230 -x231 -x232 -x233 -x234 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x247 -x248 -x249 -x250 x251 -x252 1799.94/1800.55 v -x253 -x254 -x255 -x256 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x269 -x270 -x271 -x272 -x273 -x274 -x275 1799.94/1800.55 v -x276 -x277 -x278 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 1799.94/1800.55 v -x299 -x300 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 1799.94/1800.55 v -x322 -x324 -x325 -x326 -x327 x328 -x329 -x330 -x331 -x332 -x333 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 1799.94/1800.55 v -x347 -x348 x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 1799.94/1800.55 v -x369 x370 x371 -x372 -x373 -x374 -x375 x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 1799.94/1800.55 v -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 1799.94/1800.55 v -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 1799.94/1800.55 v -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 1799.94/1800.55 v -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 1799.94/1800.55 v -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x490 -x491 -x492 -x493 -x494 -x495 1799.94/1800.55 v -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 1799.94/1800.55 v -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 1799.94/1800.55 v -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 1799.94/1800.55 v -x559 -x560 -x561 -x562 -x563 -x564 -x565 x566 x567 x568 -x569 -x570 x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 1799.94/1800.55 v -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 x599 -x600 1799.94/1800.55 v x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 1799.94/1800.55 v -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 1799.94/1800.55 v -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 1799.94/1800.55 v -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 1799.94/1800.55 v -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 1799.94/1800.55 v -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 1799.94/1800.55 v -x728 -x729 -x730 x731 x732 x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 1799.94/1800.55 v -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 1799.94/1800.55 v -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 1799.94/1800.55 v -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 1799.94/1800.55 v -x812 -x813 -x814 -x815 -x816 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 1799.94/1800.55 v -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 1799.94/1800.55 v -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 1799.94/1800.55 v -x876 -x877 -x878 x879 x880 -x881 x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 1799.94/1800.55 v -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 1799.94/1800.55 v -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 1799.94/1800.55 v -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 1799.94/1800.55 v -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 1799.94/1800.55 v -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 1799.94/1800.55 v -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 1799.94/1800.55 v -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 1799.94/1800.55 v -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 1799.94/1800.55 v -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 1799.94/1800.55 v -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 1799.94/1800.55 v -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 1799.94/1800.55 v -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 1799.94/1800.55 v -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 1799.94/1800.55 v -x1138 -x1139 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 1799.94/1800.55 v -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 1799.94/1800.55 v -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 1799.94/1800.55 v -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 1799.94/1800.55 v -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 1799.94/1800.55 v -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 1799.94/1800.55 v -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 1799.94/1800.55 v -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 1799.94/1800.55 v -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 1799.94/1800.55 v -x1292 -x1293 -x1294 -x1295 -x1296 x1297 x1298 -x1299 -x1300 x1301 -x1302 -x1303 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 1799.94/1800.55 v -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 1799.94/1800.55 v -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 1799.94/1800.55 v -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 1799.94/1800.55 v -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 1799.94/1800.55 v -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 1799.94/1800.55 v -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 1799.94/1800.55 v -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 1799.94/1800.55 v -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 1799.94/1800.55 v -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 1799.94/1800.55 v -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 1799.94/1800.55 v -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 1799.94/1800.55 v -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 x1507 x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 1799.94/1800.55 v -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 1799.94/1800.55 v -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 1799.94/1800.55 v -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 1799.94/1800.55 v -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 1799.94/1800.55 v -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 1799.94/1800.55 v -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 1799.94/1800.55 v -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1634 -x1635 -x1636 -x1637 1799.94/1800.55 v -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 1799.94/1800.55 v -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 1799.94/1800.55 v -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 1799.94/1800.55 v -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 1799.94/1800.55 v -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 1799.94/1800.55 v -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 1799.94/1800.55 v -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 1799.94/1800.55 v -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 1799.94/1800.55 v -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 1799.94/1800.55 v -x1791 -x1792 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 1799.94/1800.55 v -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 1799.94/1800.55 v -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 1799.94/1800.55 v -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 1799.94/1800.55 v -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 1799.94/1800.55 v -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 1799.94/1800.55 v -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 1799.94/1800.55 v -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 1799.94/1800.55 v -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 1799.94/1800.55 v -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1958 -x1959 -x1960 -x1961 -x1962 1799.94/1800.55 v -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 1799.94/1800.55 v -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 1799.94/1800.55 v -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 1799.94/1800.55 v -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 1799.94/1800.55 v -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 1799.94/1800.55 v -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 1799.94/1800.55 v -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 1799.94/1800.55 v -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 1799.94/1800.55 v -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 1799.94/1800.55 v -x2116 -x2117 -x2118 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 x2131 x2132 -x2133 -x2134 1799.94/1800.55 v -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 1799.94/1800.55 v -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 x2165 x2166 -x2167 x2168 -x2169 1799.94/1800.55 v -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 1799.94/1800.55 v -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 1799.94/1800.55 v -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 1799.94/1800.55 v -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 1799.94/1800.55 v -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 1799.94/1800.55 v -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 1799.94/1800.55 v -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2285 -x2286 -x2287 -x2288 -x2289 1799.94/1800.55 v -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 1799.94/1800.55 v -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 1799.94/1800.55 v -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 1799.94/1800.55 v -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 1799.94/1800.55 v -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 1799.94/1800.55 v -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 x2390 x2391 x2392 1799.94/1800.55 v x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 1799.94/1800.55 v -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 1799.94/1800.55 v -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 1799.94/1800.55 v -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 1799.94/1800.55 v -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 1799.94/1800.55 v -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 1799.94/1800.55 v -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 1799.94/1800.55 v -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 1799.94/1800.55 v -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 1799.94/1800.55 v -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 1799.94/1800.55 v -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 1799.94/1800.55 v -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 1799.94/1800.55 v -x2598 -x2599 -x2600 -x2601 x2602 x2603 x2604 -x2605 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 1799.94/1800.55 v -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 1799.94/1800.55 v -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 1799.94/1800.55 v -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 1799.94/1800.55 v -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 1799.94/1800.55 v -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 1799.94/1800.55 v -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 1799.94/1800.55 v -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 1799.94/1800.55 v -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 1799.94/1800.55 v -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2768 -x2769 -x2770 1799.94/1800.55 v -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 1799.94/1800.55 v -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 1799.94/1800.55 v -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 1799.94/1800.55 v -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 1799.94/1800.55 v -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 1799.94/1800.55 v -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 1799.94/1800.55 v -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 1799.94/1800.55 v -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 1799.94/1800.55 v -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 1799.94/1800.55 v -x2924 -x2925 -x2926 -x2927 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 1799.94/1800.55 v -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 1799.94/1800.55 v -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 1799.94/1800.55 v -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 1799.94/1800.55 v -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 1799.94/1800.55 v -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 1799.94/1800.55 v -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 1799.94/1800.55 v -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 1799.94/1800.55 v -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 1799.94/1800.55 v -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3095 1799.94/1800.55 v -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 1799.94/1800.55 v -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 1799.94/1800.55 v -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 1799.94/1800.55 v -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 1799.94/1800.55 v -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 x3171 x3172 x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 1799.94/1800.55 v -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 1799.94/1800.55 v -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 1799.94/1800.55 v -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 1799.94/1800.55 v -x3233 -x3234 -x3235 x3236 x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 1799.94/1800.55 v -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 1799.94/1800.55 v -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 1799.94/1800.55 v -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 1799.94/1800.55 v -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 1799.94/1800.55 v -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 1799.94/1800.55 v -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 1799.94/1800.55 v -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 1799.94/1800.55 v -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 1799.94/1800.55 v -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 1799.94/1800.55 v -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 1799.94/1800.55 v -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 1799.94/1800.55 v -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 1799.94/1800.55 v -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 1799.94/1800.55 v -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 1799.94/1800.55 v -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 1799.94/1800.55 v -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 1799.94/1800.55 v -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 1799.94/1800.55 v -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 1799.94/1800.55 v -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 1799.94/1800.55 v -x3577 -x3578 -x3579 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 1799.94/1800.55 v -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 1799.94/1800.55 v -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 1799.94/1800.55 v -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 1799.94/1800.55 v -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 1799.94/1800.55 v -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 1799.94/1800.55 v -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 1799.94/1800.55 v -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 1799.94/1800.55 v -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 1799.94/1800.55 v -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3747 -x3748 1799.94/1800.55 v -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 1799.94/1800.55 v -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 1799.94/1800.55 v -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 1799.94/1800.55 v -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 1799.94/1800.55 v -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 1799.94/1800.55 v -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 1799.94/1800.55 v -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 1799.94/1800.55 v -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 1799.94/1800.55 v -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 1799.94/1800.55 v -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 1799.94/1800.55 v -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 1799.94/1800.55 v -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 x3953 1799.94/1800.55 v x3954 x3955 x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 1799.94/1800.55 v -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 1799.94/1800.55 v -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 1799.94/1800.55 v -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 1799.94/1800.55 v -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 1799.94/1800.55 v -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 1799.94/1800.55 v -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4072 -x4073 -x4074 1799.94/1800.55 v -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 1799.94/1800.55 v -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 1799.94/1800.55 v -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 1799.94/1800.55 v -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 1799.94/1800.55 v -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 1799.94/1800.55 v -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 1799.94/1800.55 v -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 1799.94/1800.55 v -x4194 -x4195 -x4196 x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 1799.94/1800.55 v -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 1799.94/1800.55 v -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 1799.94/1800.55 v -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 1799.94/1800.55 v -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 1799.94/1800.55 v -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 1799.94/1800.55 v -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 1799.94/1800.55 v -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 x4327 -x4328 x4329 -x4330 -x4331 1799.94/1800.55 v -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 1799.94/1800.55 v -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 1799.94/1800.55 v -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 1799.94/1800.55 v -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 -x4391 -x4392 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 1799.94/1800.55 v -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 1799.94/1800.55 v -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 1799.94/1800.55 v -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 1799.94/1800.55 v -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 1799.94/1800.55 v -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 1799.94/1800.55 v -x4486 -x4487 -x4488 -x4489 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 -x4500 -x4501 -x4502 1799.94/1800.55 v -x4503 x4504 x4505 -x4506 -x4507 -x4508 -x4509 -x4510 -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 1799.94/1800.55 v -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 -x4535 -x4536 -x4537 1799.94/1800.55 v -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 1799.94/1800.55 v -x4555 -x4556 -x4558 -x4559 -x4560 -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 1799.94/1800.55 v -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 1799.94/1800.55 v -x4590 -x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 1799.94/1800.55 v -x4607 -x4608 -x4609 -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 -x4621 -x4622 -x4623 1799.94/1800.55 v -x4624 -x4625 -x4626 -x4627 -x4628 -x4629 -x4630 -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 -x4637 -x4638 -x4639 -x4640 1799.94/1800.55 v -x4641 -x4642 -x4643 -x4644 -x4645 -x4646 -x4647 -x4648 -x4649 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 1799.94/1800.55 v -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 1799.94/1800.55 v -x4675 -x4676 -x4677 -x4678 -x4679 -x4680 -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 -x4687 -x4688 -x4689 -x4690 -x4691 1799.94/1800.55 v -x4692 -x4693 -x4694 -x4695 -x4696 -x4697 -x4698 -x4699 -x4700 -x4701 -x4702 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 1799.94/1800.55 v -x4709 -x4710 -x4711 -x4712 -x4713 -x4714 -x4715 -x4716 -x4718 -x4719 -x4720 -x4721 -x4722 -x4723 -x4724 -x4725 -x4726 1799.94/1800.55 v -x4727 -x4728 -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 -x4741 -x4742 -x4743 1799.94/1800.55 v -x4744 -x4745 -x4746 -x4747 -x4748 -x4749 -x4750 -x4751 -x4752 -x4753 -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 1799.94/1800.55 v -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 1799.94/1800.55 v -x4778 -x4779 -x4780 -x4781 -x4782 -x4783 -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 1799.94/1800.55 v -x4795 -x4796 -x4797 -x4798 -x4799 -x4800 -x4801 -x4802 -x4803 -x4804 -x4805 -x4806 -x4807 -x4808 -x4809 -x4810 -x4811 1799.94/1800.55 v -x4812 -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 -x4821 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 1799.94/1800.55 v -x4829 -x4830 -x4831 -x4832 -x4833 -x4834 -x4835 -x4836 -x4837 -x4838 -x4839 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 1799.94/1800.55 v -x4846 -x4847 -x4848 -x4849 -x4850 -x4851 -x4852 -x4853 -x4854 -x4855 -x4856 -x4857 -x4858 -x4859 -x4860 -x4861 -x4862 1799.94/1800.55 v -x4863 -x4864 -x4865 -x4866 -x4867 -x4868 -x4869 -x4870 -x4871 -x4872 -x4873 -x4874 -x4875 -x4876 -x4879 -x4880 -x4881 1799.94/1800.55 v -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x4890 -x4891 -x4892 -x4893 -x4894 -x4895 -x4896 -x4897 -x4898 1799.94/1800.55 v -x4899 -x4900 -x4901 -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4909 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 1799.94/1800.55 v -x4916 -x4917 -x4918 -x4919 -x4920 -x4921 -x4922 -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 -x4932 1799.94/1800.55 v -x4933 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x4940 -x4941 -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 1799.94/1800.55 v -x4950 -x4951 -x4952 -x4953 -x4954 -x4955 -x4956 -x4957 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 1799.94/1800.55 v -x4967 -x4968 -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4977 -x4978 -x4979 -x4980 -x4981 -x4982 -x4983 1799.94/1800.55 v -x4984 -x4985 -x4986 -x4987 -x4988 -x4989 -x4990 -x4991 -x4992 -x4993 -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000 1799.94/1800.55 v -x5001 -x5002 -x5003 -x5004 -x5005 -x5006 -x5007 -x5008 -x5009 -x5010 -x5011 -x5012 -x5013 -x5014 -x5015 -x5016 -x5017 1799.94/1800.55 v -x5018 -x5019 -x5020 -x5021 -x5022 -x5023 -x5024 -x5025 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5033 -x5034 1799.94/1800.55 v -x5035 -x5036 -x5038 -x5039 -x5040 -x5041 -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048 -x5049 -x5050 -x5051 -x5052 1799.94/1800.55 v -x5053 -x5054 -x5055 -x5056 -x5057 -x5058 -x5059 -x5060 -x5061 -x5062 -x5063 -x5064 -x5065 -x5066 -x5067 -x5068 -x5069 1799.94/1800.55 v -x5070 -x5071 -x5072 -x5073 -x5074 -x5075 -x5076 -x5077 -x5078 -x5079 -x5080 -x5081 -x5082 -x5083 -x5084 -x5085 -x5086 1799.94/1800.55 v -x5087 -x5088 -x5089 -x5090 -x5091 -x5092 -x5093 -x5094 -x5095 -x5096 -x5097 -x5098 -x5099 -x5100 -x5101 -x5102 -x5103 1799.94/1800.55 v -x5104 -x5105 -x5106 -x5107 -x5108 -x5109 -x5110 -x5111 -x5112 -x5113 -x5114 -x5115 -x5116 -x5117 -x5118 -x5119 -x5120 1799.94/1800.55 v -x5121 -x5122 -x5123 x5124 x5125 x5126 -x5127 -x5128 -x5129 -x5130 -x5131 -x5132 -x5133 -x5134 -x5135 -x5136 -x5137 -x5138 1799.94/1800.55 v -x5139 -x5140 -x5141 x5142 x5143 -x5144 x5145 -x5146 -x5147 -x5148 -x5149 -x5150 -x5151 -x5152 -x5153 -x5154 -x5155 -x5156 1799.94/1800.55 v -x5157 -x5158 -x5159 -x5160 -x5161 -x5162 -x5163 -x5164 -x5165 -x5166 -x5167 -x5168 -x5169 -x5170 -x5171 -x5172 -x5173 1799.94/1800.55 v -x5174 -x5175 -x5176 -x5177 -x5178 -x5179 -x5180 -x5181 -x5182 -x5183 -x5184 -x5185 -x5186 -x5187 -x5188 -x5189 -x5190 1799.94/1800.55 v -x5191 -x5192 -x5193 -x5195 -x5196 -x5197 -x5198 -x5199 -x5200 -x5201 -x5202 -x5203 -x5204 -x5205 -x5206 -x5207 -x5208 1799.94/1800.55 v -x5209 -x5210 -x5211 -x5212 -x5213 -x5214 -x5215 -x5216 -x5217 -x5218 -x5219 -x5220 -x5221 -x5222 -x5223 -x5224 -x5225 1799.94/1800.55 v -x5226 -x5227 -x5228 -x5229 -x5230 -x5231 -x5232 -x5233 -x5234 -x5235 -x5236 -x5237 -x5238 -x5239 -x5240 -x5241 -x5242 1799.94/1800.55 v -x5243 -x5244 -x5245 -x5246 -x5247 -x5248 -x5249 -x5250 -x5251 -x5252 -x5253 -x5254 -x5255 -x5256 -x5257 -x5258 -x5259 1799.94/1800.55 v -x5260 -x5261 -x5262 -x5263 -x5264 -x5265 -x5266 -x5267 -x5268 -x5269 -x5270 -x5271 -x5272 -x5273 -x5274 -x5275 -x5276 1799.94/1800.55 v -x5277 -x5278 -x5279 -x5280 -x5281 -x5282 -x5283 -x5284 -x5285 -x5286 -x5287 -x5288 -x5289 -x5290 -x5291 -x5292 -x5293 1799.94/1800.55 v -x5294 -x5295 -x5296 -x5297 -x5298 -x5299 -x5300 -x5301 -x5302 -x5303 -x5304 -x5305 -x5306 -x5307 -x5308 -x5309 -x5310 1799.94/1800.55 v -x5311 -x5312 -x5313 -x5314 -x5315 -x5316 -x5317 -x5318 -x5319 -x5320 -x5321 -x5322 -x5323 -x5324 -x5325 -x5326 -x5327 1799.94/1800.55 v -x5328 -x5329 -x5330 -x5331 -x5332 -x5333 -x5334 -x5335 -x5336 -x5337 -x5338 -x5339 -x5340 -x5341 -x5342 -x5343 -x5344 1799.94/1800.55 v -x5345 -x5346 -x5347 x5348 -x5349 -x5350 -x5351 -x5352 -x5354 -x5355 -x5356 -x5357 -x5358 -x5359 -x5360 -x5361 -x5362 1799.94/1800.55 v -x5363 -x5364 x5365 -x5366 -x5367 -x5368 -x5369 -x5370 -x5371 -x5372 -x5373 -x5374 -x5375 -x5376 -x5377 -x5378 -x5379 1799.94/1800.55 v -x5380 -x5381 -x5382 -x5383 -x5384 -x5385 -x5386 -x5387 -x5388 -x5389 -x5390 -x5391 -x5392 -x5393 -x5394 -x5395 -x5396 1799.94/1800.55 v -x5397 -x5398 -x5399 -x5400 -x5401 -x5402 -x5403 -x5404 -x5405 -x5406 -x5407 -x5408 -x5409 -x5410 -x5411 -x5412 -x5413 1799.94/1800.55 v -x5414 -x5415 -x5416 -x5417 -x5418 -x5419 -x5420 -x5421 -x5422 -x5423 -x5424 -x5425 -x5426 -x5427 -x5428 -x5429 -x5430 1799.94/1800.55 v -x5431 -x5432 -x5433 -x5434 -x5435 -x5436 -x5437 -x5438 -x5439 -x5440 -x5441 -x5442 -x5443 -x5444 -x5445 -x5446 -x5447 1799.94/1800.55 v -x5448 -x5449 -x5450 -x5451 -x5452 -x5453 -x5454 -x5455 -x5456 -x5457 -x5458 -x5459 -x5460 -x5461 -x5462 -x5463 -x5464 1799.94/1800.55 v -x5465 -x5466 -x5467 -x5468 -x5469 -x5470 -x5471 -x5472 -x5473 -x5474 -x5475 -x5476 -x5477 -x5478 -x5479 -x5480 -x5481 1799.94/1800.55 v -x5482 -x5483 -x5484 -x5485 -x5486 -x5487 -x5488 -x5489 -x5490 -x5491 -x5492 -x5493 -x5494 -x5495 -x5496 -x5497 -x5498 1799.94/1800.55 v -x5499 -x5500 -x5501 -x5502 -x5503 -x5504 -x5505 -x5506 -x5507 -x5508 -x5509 -x5510 -x5511 -x5512 -x5513 -x5514 -x5516 1799.94/1800.55 v -x5517 -x5518 -x5519 -x5520 -x5521 -x5522 -x5523 -x5524 -x5525 -x5526 -x5527 -x5528 -x5529 -x5530 -x5531 -x5532 -x5533 1799.94/1800.55 v -x5534 -x5535 -x5536 -x5537 -x5538 -x5539 -x5540 -x5541 -x5542 -x5543 -x5544 -x5545 -x5546 -x5547 -x5548 -x5549 -x5550 1799.94/1800.55 v -x5551 -x5552 -x5553 -x5554 -x5555 -x5556 -x5557 -x5558 -x5559 -x5560 -x5561 -x5562 -x5563 -x5564 -x5565 -x5566 -x5567 1799.94/1800.55 v -x5568 -x5569 -x5570 -x5571 -x5572 -x5573 -x5574 -x5575 -x5576 -x5577 -x5578 -x5579 -x5580 -x5581 -x5582 -x5583 -x5584 1799.94/1800.55 v -x5585 -x5586 -x5587 -x5588 -x5589 -x5590 -x5591 -x5592 -x5593 -x5594 -x5595 -x5596 -x5597 -x5598 -x5599 -x5600 -x5601 1799.94/1800.55 v -x5602 -x5603 -x5604 -x5605 -x5606 -x5607 -x5608 -x5609 -x5610 -x5611 -x5612 -x5613 -x5614 -x5615 -x5616 -x5617 -x5618 1799.94/1800.55 v -x5619 -x5620 -x5621 -x5622 -x5623 -x5624 -x5625 -x5626 -x5627 -x5628 -x5629 -x5630 -x5631 -x5632 -x5633 -x5634 -x5635 1799.94/1800.55 v -x5636 -x5637 -x5638 -x5639 -x5640 -x5641 -x5642 -x5643 -x5644 -x5645 -x5646 -x5647 -x5648 -x5649 -x5650 -x5651 -x5652 1799.94/1800.55 v -x5653 -x5654 -x5655 -x5656 -x5657 -x5658 -x5659 -x5660 -x5661 -x5662 -x5663 -x5664 -x5665 -x5666 -x5667 -x5668 -x5669 1799.94/1800.55 v -x5670 -x5671 -x5672 -x5673 -x5674 -x5675 -x5676 -x5677 -x5678 -x5679 -x5681 -x5682 -x5683 -x5684 -x5685 -x5686 -x5687 1799.94/1800.55 v -x5688 -x5689 -x5690 -x5691 -x5692 -x5693 -x5694 -x5695 -x5696 -x5697 -x5698 -x5699 -x5700 -x5701 -x5702 -x5703 -x5704 1799.94/1800.55 v -x5705 -x5706 -x5707 -x5708 -x5709 -x5710 -x5711 -x5712 -x5713 -x5714 -x5715 -x5716 -x5717 -x5718 -x5719 -x5720 -x5721 1799.94/1800.55 v -x5722 -x5723 -x5724 -x5725 -x5726 -x5727 -x5728 -x5729 -x5730 -x5731 -x5732 -x5733 -x5734 -x5735 -x5736 -x5737 -x5738 1799.94/1800.55 v -x5739 -x5740 -x5741 -x5742 -x5743 -x5744 -x5745 -x5746 -x5747 -x5748 -x5749 -x5750 -x5751 -x5752 -x5753 -x5754 -x5755 1799.94/1800.55 v -x5756 -x5757 -x5758 -x5759 -x5760 -x5761 -x5762 -x5763 -x5764 -x5765 -x5766 -x5767 -x5768 -x5769 -x5770 -x5771 -x5772 1799.94/1800.55 v -x5773 -x5774 -x5775 -x5776 -x5777 -x5778 -x5779 -x5780 -x5781 -x5782 -x5783 -x5784 -x5785 -x5786 -x5787 -x5788 -x5789 1799.94/1800.55 v -x5790 -x5791 -x5792 -x5793 -x5794 -x5795 -x5796 -x5797 -x5798 -x5799 -x5800 -x5801 -x5802 -x5803 -x5804 -x5805 -x5806 1799.94/1800.55 v -x5807 -x5808 -x5809 -x5810 -x5811 -x5812 -x5813 -x5814 -x5815 -x5816 -x5817 -x5818 -x5819 -x5820 -x5821 -x5822 -x5823 1799.94/1800.55 v -x5824 -x5825 -x5826 -x5827 -x5828 -x5829 -x5830 -x5831 -x5832 -x5833 -x5834 -x5835 -x5836 -x5837 -x5838 -x5839 -x5841 1799.94/1800.55 v -x5842 -x5843 -x5844 -x5845 -x5846 -x5847 -x5848 -x5849 -x5850 -x5851 -x5852 -x5853 -x5854 -x5855 -x5856 -x5857 -x5858 1799.94/1800.55 v -x5859 -x5860 -x5861 -x5862 -x5863 -x5864 -x5865 -x5866 -x5867 -x5868 -x5869 -x5870 -x5871 -x5872 -x5873 -x5874 -x5875 1799.94/1800.55 v -x5876 -x5877 -x5878 -x5879 -x5880 -x5881 -x5882 -x5883 x5884 x5885 -x5886 -x5887 -x5888 -x5889 -x5890 -x5891 -x5892 -x5893 1799.94/1800.55 v -x5894 -x5895 -x5896 -x5897 -x5898 -x5899 -x5900 -x5901 -x5902 -x5903 -x5904 -x5905 -x5906 -x5907 -x5908 -x5909 -x5910 1799.94/1800.55 v -x5911 -x5912 -x5913 -x5914 -x5915 -x5916 -x5917 -x5918 -x5919 -x5920 -x5921 -x5922 -x5923 -x5924 -x5925 -x5926 -x5927 1799.94/1800.55 v -x5928 -x5929 -x5930 -x5931 -x5932 -x5933 -x5934 -x5935 -x5936 -x5937 -x5938 -x5939 -x5940 -x5941 -x5942 -x5943 -x5944 1799.94/1800.55 v -x5945 -x5946 -x5947 -x5948 -x5949 -x5950 -x5951 -x5952 -x5953 -x5954 -x5955 -x5956 -x5957 -x5958 -x5959 -x5960 -x5961 1799.94/1800.55 v -x5962 -x5963 -x5964 x5965 -x5966 x5967 -x5968 -x5969 -x5970 -x5971 -x5972 -x5973 -x5974 -x5975 -x5976 -x5977 -x5978 -x5979 1799.94/1800.55 v -x5980 -x5981 -x5982 -x5983 -x5984 -x5985 -x5986 -x5987 -x5988 -x5989 -x5990 -x5991 -x5992 -x5993 -x5994 -x5995 -x5996 1799.94/1800.55 v -x5997 -x5998 -x5999 -x6001 -x6002 -x6003 -x6004 -x6005 -x6006 -x6007 -x6008 -x6009 -x6010 -x6011 -x6012 -x6013 -x6014 1799.94/1800.55 v -x6015 -x6016 -x6017 -x6018 -x6019 -x6020 -x6021 -x6022 -x6023 -x6024 -x6025 -x6026 -x6027 -x6028 -x6029 -x6030 -x6031 1799.94/1800.55 v -x6032 -x6033 -x6034 -x6035 -x6036 -x6037 -x6038 -x6039 -x6040 -x6041 -x6042 -x6043 -x6044 -x6045 -x6046 -x6047 -x6048 1799.94/1800.55 v -x6049 -x6050 -x6051 -x6052 -x6053 -x6054 -x6055 -x6056 -x6057 -x6058 -x6059 -x6060 -x6061 -x6062 -x6063 -x6064 -x6065 1799.94/1800.55 v -x6066 -x6067 -x6068 -x6069 -x6070 -x6071 -x6072 -x6073 -x6074 -x6075 -x6076 -x6077 -x6078 -x6079 -x6080 -x6081 -x6082 1799.94/1800.55 v -x6083 -x6084 -x6085 -x6086 -x6087 -x6088 -x6089 -x6090 -x6091 -x6092 -x6093 -x6094 -x6095 -x6096 -x6097 -x6098 -x6099 1799.94/1800.55 v -x6100 -x6101 -x6102 -x6103 -x6104 -x6105 -x6106 -x6107 -x6108 -x6109 -x6110 -x6111 -x6112 -x6113 -x6114 -x6115 -x6116 1799.94/1800.55 v -x6117 -x6118 -x6119 -x6120 -x6121 -x6122 -x6123 -x6124 -x6125 -x6126 -x6127 -x6128 -x6129 -x6130 -x6131 -x6132 -x6133 1799.94/1800.55 v -x6134 -x6135 -x6136 -x6137 -x6138 -x6139 -x6140 -x6141 -x6142 -x6143 -x6144 -x6145 -x6146 -x6147 -x6148 -x6149 -x6150 1799.94/1800.55 v -x6151 -x6152 -x6153 -x6154 -x6155 -x6156 -x6157 -x6158 -x6159 -x6160 -x6161 -x6162 -x6163 -x6164 -x6165 -x6167 -x6168 1799.94/1800.55 v -x6169 -x6170 -x6171 -x6172 -x6173 -x6174 -x6175 -x6176 -x6177 -x6178 -x6179 -x6180 -x6181 -x6182 -x6183 -x6184 -x6185 1799.94/1800.55 v -x6186 -x6187 -x6188 -x6189 -x6190 -x6191 -x6192 -x6193 -x6194 -x6195 -x6196 -x6197 -x6198 -x6199 -x6200 -x6201 -x6202 1799.94/1800.55 v -x6203 -x6204 -x6205 -x6206 -x6207 -x6208 -x6209 -x6210 -x6211 -x6212 -x6213 -x6214 -x6215 -x6216 -x6217 -x6218 -x6219 1799.94/1800.55 v -x6220 -x6221 -x6222 -x6223 -x6224 -x6225 -x6226 -x6227 -x6228 -x6229 -x6230 -x6231 -x6232 -x6233 -x6234 -x6235 -x6236 1799.94/1800.55 v -x6237 -x6238 -x6239 -x6240 -x6241 -x6242 -x6243 -x6244 -x6245 -x6246 -x6247 -x6248 -x6249 -x6250 -x6251 -x6252 -x6253 1799.94/1800.55 v -x6254 -x6255 -x6256 -x6257 -x6258 -x6259 -x6260 -x6261 -x6262 -x6263 -x6264 -x6265 -x6266 -x6267 -x6268 -x6269 -x6270 1799.94/1800.55 v -x6271 -x6272 -x6273 -x6274 -x6275 -x6276 -x6277 -x6278 -x6279 -x6280 -x6281 -x6282 -x6283 -x6284 -x6285 -x6286 -x6287 1799.94/1800.55 v -x6288 -x6289 -x6290 -x6291 -x6292 -x6293 -x6294 -x6295 -x6296 -x6297 -x6298 -x6299 -x6300 -x6301 -x6302 -x6303 -x6304 1799.94/1800.55 v -x6305 -x6306 -x6307 -x6308 -x6309 -x6310 -x6311 -x6312 -x6313 -x6314 -x6315 -x6316 -x6317 -x6318 -x6319 -x6320 -x6321 1799.94/1800.55 v -x6322 -x6323 -x6324 -x6325 -x6327 -x6328 -x6329 -x6330 -x6331 -x6332 -x6333 -x6334 -x6335 -x6336 -x6337 -x6338 -x6339 1799.94/1800.55 v -x6340 -x6341 -x6342 -x6343 -x6344 -x6345 -x6346 -x6347 -x6348 -x6349 -x6350 -x6351 -x6352 -x6353 -x6354 -x6355 -x6356 1799.94/1800.55 v -x6357 -x6358 -x6359 -x6360 -x6361 -x6362 -x6363 -x6364 -x6365 -x6366 -x6367 -x6368 -x6369 -x6370 -x6371 -x6372 -x6373 1799.94/1800.55 v -x6374 -x6375 -x6376 -x6377 -x6378 -x6379 -x6380 -x6381 -x6382 -x6383 -x6384 -x6385 -x6386 -x6387 -x6388 -x6389 -x6390 1799.94/1800.55 v -x6391 -x6392 -x6393 -x6394 -x6395 -x6396 -x6397 -x6398 -x6399 -x6400 -x6401 -x6402 -x6403 -x6404 -x6405 -x6406 -x6407 1799.94/1800.55 v -x6408 -x6409 -x6410 -x6411 -x6412 -x6413 -x6414 -x6415 -x6416 -x6417 -x6418 -x6419 -x6420 -x6421 -x6422 -x6423 -x6424 1799.94/1800.55 v -x6425 -x6426 -x6427 -x6428 -x6429 -x6430 -x6431 -x6432 -x6433 -x6434 -x6435 -x6436 -x6437 -x6438 -x6439 -x6440 -x6441 1799.94/1800.55 v -x6442 -x6443 -x6444 -x6445 -x6446 -x6447 -x6448 -x6449 -x6450 x6451 -x6452 -x6453 -x6454 -x6455 -x6456 -x6457 -x6458 1799.94/1800.55 v -x6459 -x6460 -x6461 -x6462 -x6463 -x6464 -x6465 -x6466 -x6467 -x6468 -x6469 -x6470 -x6471 -x6472 -x6473 -x6474 -x6475 1799.94/1800.55 v -x6476 -x6477 -x6478 -x6479 -x6480 -x6481 -x6482 -x6483 -x6484 -x6485 -x6488 -x6489 -x6490 -x6491 -x6492 -x6493 -x6494 1799.94/1800.55 v -x6495 -x6496 -x6497 -x6498 -x6499 -x6500 -x6501 -x6502 -x6503 -x6504 -x6505 -x6506 -x6507 -x6508 -x6509 -x6510 -x6511 1799.94/1800.55 v -x6512 -x6513 -x6514 -x6515 -x6516 -x6517 -x6518 -x6519 -x6520 -x6521 -x6522 -x6523 -x6524 -x6525 -x6526 -x6527 -x6528 1799.94/1800.55 v -x6529 -x6530 -x6531 -x6532 -x6533 -x6534 -x6535 -x6536 -x6537 -x6538 -x6539 -x6540 -x6541 -x6542 -x6543 -x6544 -x6545 1799.94/1800.55 v -x6546 -x6547 -x6548 -x6549 -x6550 -x6551 -x6552 -x6553 -x6554 -x6555 -x6556 -x6557 -x6558 -x6559 -x6560 -x6561 -x6562 1799.94/1800.55 v -x6563 -x6564 -x6565 -x6566 -x6567 -x6568 -x6569 -x6570 -x6571 -x6572 -x6573 -x6574 -x6575 -x6576 -x6577 -x6578 -x6579 1799.94/1800.55 v -x6580 -x6581 -x6582 -x6583 -x6584 -x6585 -x6586 -x6587 -x6588 -x6589 -x6590 -x6591 -x6592 -x6593 -x6594 -x6595 -x6596 1799.94/1800.55 v -x6597 -x6598 -x6599 -x6600 -x6601 -x6602 -x6603 -x6604 -x6605 -x6606 -x6607 -x6608 -x6609 -x6610 -x6611 -x6612 -x6613 1799.94/1800.55 v -x6614 -x6615 -x6616 -x6617 -x6618 -x6619 -x6620 -x6621 -x6622 -x6623 -x6624 -x6625 -x6626 -x6627 -x6628 -x6629 -x6630 1799.94/1800.55 v -x6631 -x6632 -x6633 -x6634 -x6635 -x6636 -x6637 -x6638 -x6639 -x6640 -x6641 -x6642 -x6643 -x6644 -x6645 -x6646 -x6647 1799.94/1800.55 v -x6648 -x6649 -x6651 -x6652 -x6653 -x6654 -x6655 -x6656 -x6657 -x6658 -x6659 -x6660 -x6661 -x6662 -x6663 -x6664 -x6665 1799.94/1800.55 v -x6666 -x6667 -x6668 -x6669 -x6670 -x6671 -x6672 -x6673 -x6674 -x6675 -x6676 -x6677 -x6678 -x6679 -x6680 -x6681 -x6682 1799.94/1800.55 v -x6683 -x6684 -x6685 -x6686 -x6687 -x6688 -x6689 -x6690 -x6691 -x6692 -x6693 -x6694 -x6695 -x6696 -x6697 -x6698 -x6699 1799.94/1800.55 v -x6700 -x6701 -x6702 -x6703 -x6704 -x6705 -x6706 -x6707 -x6708 -x6709 -x6710 -x6711 -x6712 -x6713 -x6714 -x6715 -x6716 1799.94/1800.55 v -x6717 -x6718 -x6719 -x6720 -x6721 -x6722 -x6723 -x6724 -x6725 -x6726 x6727 -x6728 -x6729 x6730 -x6731 -x6732 -x6733 -x6734 1799.94/1800.55 v -x6735 -x6736 -x6737 -x6738 -x6739 -x6740 -x6741 -x6742 -x6743 -x6744 -x6745 -x6746 -x6747 -x6748 -x6749 -x6750 -x6751 1799.94/1800.55 v -x6752 -x6753 -x6754 -x6755 -x6756 -x6757 -x6758 -x6759 -x6760 -x6761 -x6762 -x6763 -x6764 -x6765 -x6766 -x6767 -x6768 1799.94/1800.55 v -x6769 -x6770 -x6771 -x6772 -x6773 -x6774 -x6775 -x6776 -x6777 -x6778 -x6779 -x6780 -x6781 -x6782 -x6783 -x6784 -x6785 1799.94/1800.55 v -x6786 -x6787 -x6788 -x6789 -x6790 -x6791 -x6792 -x6793 -x6794 -x6795 -x6796 -x6797 -x6798 -x6799 -x6800 -x6801 -x6802 1799.94/1800.55 v -x6803 -x6804 -x6805 -x6806 -x6807 -x6808 -x6809 -x6810 -x6811 -x6812 -x6813 -x6814 -x6815 -x6817 -x6818 -x6819 -x6820 1799.94/1800.55 v -x6821 -x6822 -x6823 -x6824 -x6825 -x6826 -x6827 -x6828 -x6829 -x6830 -x6831 -x6832 -x6833 -x6834 -x6835 -x6836 -x6837 1799.94/1800.55 v -x6838 -x6839 -x6840 -x6841 -x6842 -x6843 -x6844 -x6845 -x6846 -x6847 -x6848 -x6849 -x6850 -x6851 -x6852 -x6853 -x6854 1799.94/1800.55 v -x6855 -x6856 -x6857 -x6858 -x6859 -x6860 -x6861 -x6862 -x6863 -x6864 -x6865 -x6866 -x6867 -x6868 -x6869 -x6870 -x6871 1799.94/1800.55 v -x6872 -x6873 -x6874 -x6875 -x6876 -x6877 -x6878 -x6879 -x6880 -x6881 -x6882 -x6883 -x6884 -x6885 -x6886 -x6887 -x6888 1799.94/1800.55 v -x6889 -x6890 -x6891 -x6892 -x6893 -x6894 -x6895 -x6896 -x6897 -x6898 -x6899 -x6900 -x6901 -x6902 -x6903 -x6904 -x6905 1799.94/1800.55 v -x6906 -x6907 -x6908 -x6909 -x6910 -x6911 -x6912 -x6913 -x6914 -x6915 -x6916 -x6917 -x6918 -x6919 -x6920 -x6921 -x6922 1799.94/1800.55 v -x6923 -x6924 -x6925 -x6926 -x6927 -x6928 -x6929 -x6930 -x6931 -x6932 -x6933 -x6934 -x6935 -x6936 -x6937 -x6938 -x6939 1799.94/1800.55 v -x6940 -x6941 -x6942 -x6943 -x6944 -x6945 -x6946 -x6947 -x6948 -x6949 -x6950 -x6951 -x6952 -x6953 -x6954 -x6955 -x6956 1799.94/1800.55 v -x6957 -x6958 -x6959 -x6960 -x6961 -x6962 -x6963 -x6964 -x6965 -x6966 -x6967 -x6968 -x6969 -x6970 -x6971 -x6972 -x6973 1799.94/1800.55 v -x6975 -x6976 -x6977 -x6978 -x6979 -x6980 -x6981 -x6982 -x6983 -x6984 -x6985 -x6986 -x6987 -x6988 -x6989 -x6990 -x6991 1799.94/1800.55 v -x6992 -x6993 -x6994 -x6995 -x6996 -x6997 -x6998 -x6999 -x7000 -x7001 -x7002 -x7003 -x7004 -x7005 -x7006 -x7007 -x7008 1799.94/1800.55 v -x7009 -x7010 -x7011 -x7012 -x7013 -x7014 -x7015 -x7016 -x7017 -x7018 -x7019 -x7020 -x7021 -x7022 -x7023 -x7024 -x7025 1799.94/1800.55 v -x7026 -x7027 -x7028 -x7029 -x7030 -x7031 -x7032 -x7033 -x7034 -x7035 -x7036 -x7037 -x7038 -x7039 -x7040 -x7041 -x7042 1799.94/1800.55 v -x7043 -x7044 -x7045 -x7046 -x7047 -x7048 -x7049 -x7050 -x7051 -x7052 -x7053 -x7054 -x7055 -x7056 -x7057 -x7058 -x7059 1799.94/1800.55 v -x7060 -x7061 -x7062 -x7063 -x7064 -x7065 -x7066 -x7067 -x7068 -x7069 -x7070 -x7071 -x7072 -x7073 -x7074 -x7075 -x7076 1799.94/1800.55 v -x7077 -x7078 -x7079 -x7080 -x7081 -x7082 -x7083 -x7084 -x7085 -x7086 -x7087 -x7088 -x7089 -x7090 -x7091 -x7092 -x7093 1799.94/1800.55 v -x7094 -x7095 -x7096 -x7097 -x7098 -x7099 -x7100 -x7101 -x7102 -x7103 -x7104 -x7105 -x7106 -x7107 -x7108 x7109 -x7110 1799.94/1800.55 v -x7111 -x7112 -x7113 -x7114 -x7115 -x7116 -x7117 -x7118 -x7119 -x7120 -x7121 -x7122 -x7123 -x7124 -x7125 -x7126 -x7127 1799.94/1800.55 v -x7128 -x7129 -x7130 -x7132 -x7133 -x7134 -x7135 -x7136 -x7137 -x7138 -x7139 -x7140 -x7141 -x7142 -x7143 -x7144 -x7145 1799.94/1800.55 v -x7146 -x7147 -x7148 -x7149 -x7150 -x7151 -x7152 -x7153 -x7154 -x7155 -x7156 -x7157 -x7158 -x7159 -x7160 -x7161 -x7162 1799.94/1800.55 v -x7163 -x7164 -x7165 -x7166 -x7167 -x7168 -x7169 -x7170 -x7171 -x7172 -x7173 -x7174 -x7175 -x7176 -x7177 -x7178 -x7179 1799.94/1800.56 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1799.94/1800.56 c 62 319457 31945 1757896 149087 125417677 148131 177 1800.00 1799.94/1800.56 c Objective: 4003 1799.94/1800.56 s SATISFIABLE 1799.94/1800.56 c Total time: 1800 s
OK 4003
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node5/watcher-350590-1176523994 -o ROOT/results/node5/solver-350590-1176523994 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/350590-1176523994/instance-350590-1176523994.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 2/77 19380 /proc/meminfo: memFree=1296392/2055920 swapFree=4192956/4192956 [pid=19380] ppid=19378 vsize=19852 CPUtime=0 /proc/19380/stat : 19380 (bsolo3.0.16) R 19378 19380 18999 0 -1 4194304 364 0 0 0 0 0 0 0 18 0 1 0 128437046 20328448 332 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 8328827 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19380/statm: 4963 332 280 324 0 3956 0 [startup+0.0887959 s] /proc/loadavg: 0.92 0.98 0.99 2/77 19380 /proc/meminfo: memFree=1296392/2055920 swapFree=4192956/4192956 [pid=19380] ppid=19378 vsize=6044 CPUtime=0.08 /proc/19380/stat : 19380 (bsolo3.0.16) R 19378 19380 18999 0 -1 4194304 963 0 0 0 8 0 0 0 18 0 1 0 128437046 6189056 855 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19380/statm: 1511 855 306 324 0 580 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 6044 [startup+0.102797 s] /proc/loadavg: 0.92 0.98 0.99 2/77 19380 /proc/meminfo: memFree=1296392/2055920 swapFree=4192956/4192956 [pid=19380] ppid=19378 vsize=6044 CPUtime=0.09 /proc/19380/stat : 19380 (bsolo3.0.16) R 19378 19380 18999 0 -1 4194304 963 0 0 0 9 0 0 0 18 0 1 0 128437046 6189056 855 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19380/statm: 1511 855 306 324 0 580 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 6044 [startup+0.302819 s] /proc/loadavg: 0.92 0.98 0.99 2/77 19380 /proc/meminfo: memFree=1296392/2055920 swapFree=4192956/4192956 [pid=19380] ppid=19378 vsize=6044 CPUtime=0.29 /proc/19380/stat : 19380 (bsolo3.0.16) R 19378 19380 18999 0 -1 4194304 965 0 0 0 29 0 0 0 20 0 1 0 128437046 6189056 857 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19380/statm: 1511 857 306 324 0 580 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 6044 [startup+0.701865 s] /proc/loadavg: 0.92 0.98 0.99 2/77 19380 /proc/meminfo: memFree=1296392/2055920 swapFree=4192956/4192956 [pid=19380] ppid=19378 vsize=6608 CPUtime=0.68 /proc/19380/stat : 19380 (bsolo3.0.16) R 19378 19380 18999 0 -1 4194304 1248 0 0 0 68 0 0 0 23 0 1 0 128437046 6766592 1016 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19380/statm: 1652 1016 308 324 0 721 0 Current children cumulated CPU time (s) 0.68 Current children cumulated vsize (KiB) 6608 [startup+1.50195 s] /proc/loadavg: 0.92 0.98 0.99 2/78 19381 /proc/meminfo: memFree=1293248/2055920 swapFree=4192956/4192956 [pid=19380] ppid=19378 vsize=6608 CPUtime=1.49 /proc/19380/stat : 19380 (bsolo3.0.16) R 19378 19380 18999 0 -1 4194304 1248 0 0 0 148 1 0 0 25 0 1 0 128437046 6766592 1016 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19380/statm: 1652 1016 308 324 0 721 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 6608 [startup+3.10114 s] /proc/loadavg: 0.92 0.98 0.99 2/78 19381 /proc/meminfo: memFree=1293120/2055920 swapFree=4192956/4192956 [pid=19380] ppid=19378 vsize=7484 CPUtime=3.09 /proc/19380/stat : 19380 (bsolo3.0.16) R 19378 19380 18999 0 -1 4194304 1478 0 0 0 307 2 0 0 25 0 1 0 128437046 7663616 1246 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 8328827 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19380/statm: 1871 1246 312 324 0 940 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 7484 [startup+6.3015 s] /proc/loadavg: 0.93 0.98 0.99 2/78 19381 /proc/meminfo: memFree=1276288/2055920 swapFree=4192956/4192956 [pid=19380] ppid=19378 vsize=29720 CPUtime=6.29 /proc/19380/stat : 19380 (bsolo3.0.16) R 19378 19380 18999 0 -1 4194304 7036 0 0 0 622 7 0 0 25 0 1 0 128437046 30433280 6804 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 8328827 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19380/statm: 7430 6804 312 324 0 6499 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 29720 [startup+12.7012 s] /proc/loadavg: 0.93 0.98 0.99 2/78 19381 /proc/meminfo: memFree=1243776/2055920 swapFree=4192956/4192956 [pid=19380] ppid=19378 vsize=58768 CPUtime=12.68 /proc/19380/stat : 19380 (bsolo3.0.16) R 19378 19380 18999 0 -1 4194304 14294 0 0 0 1254 14 0 0 25 0 1 0 128437046 60178432 14062 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19380/statm: 14692 14062 312 324 0 13761 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 58768 [startup+25.5017 s] /proc/loadavg: 0.95 0.98 0.99 2/78 19381 /proc/meminfo: memFree=1177536/2055920 swapFree=4192956/4192956 [pid=19380] ppid=19378 vsize=125492 CPUtime=25.48 /proc/19380/stat : 19380 (bsolo3.0.16) R 19378 19380 18999 0 -1 4194304 30965 0 0 0 2527 21 0 0 25 0 1 0 128437046 128503808 30733 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19380/statm: 31373 30733 312 324 0 30442 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 125492 [startup+51.1016 s] /proc/loadavg: 0.96 0.98 0.99 2/78 19381 /proc/meminfo: memFree=1070144/2055920 swapFree=4192956/4192956 [pid=19380] ppid=19378 vsize=230628 CPUtime=51.07 /proc/19380/stat : 19380 (bsolo3.0.16) R 19378 19380 18999 0 -1 4194304 57255 0 0 0 5069 38 0 0 25 0 1 0 128437046 236163072 57023 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 8328827 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19380/statm: 57657 57023 312 324 0 56726 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 230628 [startup+102.305 s] /proc/loadavg: 0.98 0.98 0.99 2/78 19381 /proc/meminfo: memFree=930176/2055920 swapFree=4192956/4192956 [pid=19380] ppid=19378 vsize=369612 CPUtime=102.26 /proc/19380/stat : 19380 (bsolo3.0.16) R 19378 19380 18999 0 -1 4194304 91997 0 0 0 10164 62 0 0 25 0 1 0 128437046 378482688 91765 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134587020 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19380/statm: 92403 91765 312 324 0 91472 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 369612 [startup+162.301 s] /proc/loadavg: 0.99 0.98 0.99 2/78 19381 /proc/meminfo: memFree=759552/2055920 swapFree=4192956/4192956 [pid=19380] ppid=19378 vsize=541580 CPUtime=162.24 /proc/19380/stat : 19380 (bsolo3.0.16) R 19378 19380 18999 0 -1 4194304 135005 0 0 0 16131 93 0 0 25 0 1 0 128437046 554577920 134773 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551244 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19380/statm: 135395 134773 312 324 0 134464 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 541580 [startup+222.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 19381 /proc/meminfo: memFree=597632/2055920 swapFree=4192956/4192956 [pid=19380] ppid=19378 vsize=701392 CPUtime=222.23 /proc/19380/stat : 19380 (bsolo3.0.16) R 19378 19380 18999 0 -1 4194304 174941 0 0 0 22105 118 0 0 25 0 1 0 128437046 718225408 174709 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551674 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19380/statm: 175348 174709 313 324 0 174417 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 701392 [startup+282.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 19381 /proc/meminfo: memFree=437312/2055920 swapFree=4192956/4192956 [pid=19380] ppid=19378 vsize=862284 CPUtime=282.21 /proc/19380/stat : 19380 (bsolo3.0.16) R 19378 19380 18999 0 -1 4194304 215176 0 0 0 28081 140 0 0 25 0 1 0 128437046 882978816 214944 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551545 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19380/statm: 215571 214944 313 324 0 214640 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 862284 [startup+342.303 s] /proc/loadavg: 0.99 0.98 0.99 2/78 19381 /proc/meminfo: memFree=335680/2055920 swapFree=4192956/4192956 [pid=19380] ppid=19378 vsize=962864 CPUtime=342.19 /proc/19380/stat : 19380 (bsolo3.0.16) R 19378 19380 18999 0 -1 4194304 240326 0 0 0 34067 152 0 0 25 0 1 0 128437046 985972736 240094 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551094 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19380/statm: 240716 240094 313 324 0 239785 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 962864 [startup+402.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 19381 /proc/meminfo: memFree=284352/2055920 swapFree=4192956/4192956 [pid=19380] ppid=19378 vsize=1013380 CPUtime=402.17 /proc/19380/stat : 19380 (bsolo3.0.16) R 19378 19380 18999 0 -1 4194304 253050 0 0 0 40047 170 0 0 25 0 1 0 128437046 1037701120 252725 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19380/statm: 253345 252725 313 324 0 252414 0 Current children cumulated CPU time (s) 402.17 Current children cumulated vsize (KiB) 1013380 [startup+462.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 19381 /proc/meminfo: memFree=284352/2055920 swapFree=4192956/4192956 [pid=19380] ppid=19378 vsize=1013380 CPUtime=462.16 /proc/19380/stat : 19380 (bsolo3.0.16) R 19378 19380 18999 0 -1 4194304 253050 0 0 0 46043 173 0 0 25 0 1 0 128437046 1037701120 252725 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551378 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19380/statm: 253345 252725 313 324 0 252414 0 Current children cumulated CPU time (s) 462.16 Current children cumulated vsize (KiB) 1013380 [startup+522.303 s] /proc/loadavg: 0.99 0.98 0.99 2/78 19381 /proc/meminfo: memFree=284416/2055920 swapFree=4192956/4192956 [pid=19380] ppid=19378 vsize=1013380 CPUtime=522.14 /proc/19380/stat : 19380 (bsolo3.0.16) R 19378 19380 18999 0 -1 4194304 253050 0 0 0 52034 180 0 0 25 0 1 0 128437046 1037701120 252725 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19380/statm: 253345 252725 313 324 0 252414 0 Current children cumulated CPU time (s) 522.14 Current children cumulated vsize (KiB) 1013380 [startup+582.303 s] /proc/loadavg: 0.99 0.98 0.99 2/78 19381 /proc/meminfo: memFree=284480/2055920 swapFree=4192956/4192956 [pid=19380] ppid=19378 vsize=1013380 CPUtime=582.12 /proc/19380/stat : 19380 (bsolo3.0.16) R 19378 19380 18999 0 -1 4194304 253050 0 0 0 58026 186 0 0 25 0 1 0 128437046 1037701120 252725 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 8326900 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19380/statm: 253345 252725 313 324 0 252414 0 Current children cumulated CPU time (s) 582.12 Current children cumulated vsize (KiB) 1013380 [startup+642.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 19381 /proc/meminfo: memFree=284480/2055920 swapFree=4192956/4192956 [pid=19380] ppid=19378 vsize=1013380 CPUtime=642.11 /proc/19380/stat : 19380 (bsolo3.0.16) R 19378 19380 18999 0 -1 4194304 253051 0 0 0 64020 191 0 0 25 0 1 0 128437046 1037701120 252726 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551064 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19380/statm: 253345 252726 313 324 0 252414 0 Current children cumulated CPU time (s) 642.11 Current children cumulated vsize (KiB) 1013380 ################ # More data... # ################ [startup+882.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 19381 /proc/meminfo: memFree=172096/2055920 swapFree=4192956/4192956 [pid=19380] ppid=19378 vsize=1125892 CPUtime=882.03 /proc/19380/stat : 19380 (bsolo3.0.16) R 19378 19380 18999 0 -1 4194304 281185 0 0 0 87995 208 0 0 25 0 1 0 128437046 1152913408 280860 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19380/statm: 281507 280865 313 324 0 280576 0 Current children cumulated CPU time (s) 882.03 Current children cumulated vsize (KiB) 1125892 [startup+942.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 19381 /proc/meminfo: memFree=102272/2055920 swapFree=4192956/4192956 [pid=19380] ppid=19378 vsize=1196676 CPUtime=942.02 /proc/19380/stat : 19380 (bsolo3.0.16) R 19378 19380 18999 0 -1 4194304 298860 0 0 0 93985 217 0 0 25 0 1 0 128437046 1225396224 298535 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551009 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19380/statm: 299169 298535 313 324 0 298238 0 Current children cumulated CPU time (s) 942.02 Current children cumulated vsize (KiB) 1196676 [startup+1002.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 19381 /proc/meminfo: memFree=64000/2055920 swapFree=4192956/4192956 [pid=19380] ppid=19378 vsize=1233184 CPUtime=1002 /proc/19380/stat : 19380 (bsolo3.0.16) R 19378 19380 18999 0 -1 4194304 308110 0 0 0 99972 228 0 0 25 0 1 0 128437046 1262780416 307686 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551250 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19380/statm: 308296 307686 313 324 0 307365 0 Current children cumulated CPU time (s) 1002 Current children cumulated vsize (KiB) 1233184 [startup+1062.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 19383 /proc/meminfo: memFree=64064/2055920 swapFree=4192956/4192956 [pid=19380] ppid=19378 vsize=1233184 CPUtime=1061.98 /proc/19380/stat : 19380 (bsolo3.0.16) R 19378 19380 18999 0 -1 4194304 308110 0 0 0 105959 239 0 0 25 0 1 0 128437046 1262780416 307686 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 8326995 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19380/statm: 308296 307686 313 324 0 307365 0 Current children cumulated CPU time (s) 1061.98 Current children cumulated vsize (KiB) 1233184 [startup+1122.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 19383 /proc/meminfo: memFree=64128/2055920 swapFree=4192956/4192956 [pid=19380] ppid=19378 vsize=1233184 CPUtime=1121.96 /proc/19380/stat : 19380 (bsolo3.0.16) R 19378 19380 18999 0 -1 4194304 308110 0 0 0 111950 246 0 0 25 0 1 0 128437046 1262780416 307686 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19380/statm: 308296 307686 313 324 0 307365 0 Current children cumulated CPU time (s) 1121.96 Current children cumulated vsize (KiB) 1233184 [startup+1182.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 19383 /proc/meminfo: memFree=64128/2055920 swapFree=4192956/4192956 [pid=19380] ppid=19378 vsize=1233184 CPUtime=1181.94 /proc/19380/stat : 19380 (bsolo3.0.16) R 19378 19380 18999 0 -1 4194304 308110 0 0 0 117940 254 0 0 25 0 1 0 128437046 1262780416 307686 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 8323141 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19380/statm: 308296 307686 313 324 0 307365 0 Current children cumulated CPU time (s) 1181.94 Current children cumulated vsize (KiB) 1233184 [startup+1242.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 19383 /proc/meminfo: memFree=64192/2055920 swapFree=4192956/4192956 [pid=19380] ppid=19378 vsize=1233184 CPUtime=1241.92 /proc/19380/stat : 19380 (bsolo3.0.16) R 19378 19380 18999 0 -1 4194304 308110 0 0 0 123935 257 0 0 25 0 1 0 128437046 1262780416 307686 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551108 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19380/statm: 308296 307686 313 324 0 307365 0 Current children cumulated CPU time (s) 1241.92 Current children cumulated vsize (KiB) 1233184 [startup+1302.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 19383 /proc/meminfo: memFree=64192/2055920 swapFree=4192956/4192956 [pid=19380] ppid=19378 vsize=1233184 CPUtime=1301.91 /proc/19380/stat : 19380 (bsolo3.0.16) R 19378 19380 18999 0 -1 4194304 308110 0 0 0 129933 258 0 0 25 0 1 0 128437046 1262780416 307686 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551244 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19380/statm: 308296 307686 313 324 0 307365 0 Current children cumulated CPU time (s) 1301.91 Current children cumulated vsize (KiB) 1233184 [startup+1362.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 19383 /proc/meminfo: memFree=64192/2055920 swapFree=4192956/4192956 [pid=19380] ppid=19378 vsize=1233184 CPUtime=1361.89 /proc/19380/stat : 19380 (bsolo3.0.16) R 19378 19380 18999 0 -1 4194304 308110 0 0 0 135929 260 0 0 25 0 1 0 128437046 1262780416 307686 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551268 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19380/statm: 308296 307686 313 324 0 307365 0 Current children cumulated CPU time (s) 1361.89 Current children cumulated vsize (KiB) 1233184 [startup+1422.31 s] /proc/loadavg: 0.99 0.98 0.99 2/78 19383 /proc/meminfo: memFree=64192/2055920 swapFree=4192956/4192956 [pid=19380] ppid=19378 vsize=1233184 CPUtime=1421.88 /proc/19380/stat : 19380 (bsolo3.0.16) R 19378 19380 18999 0 -1 4194304 308110 0 0 0 141924 264 0 0 25 0 1 0 128437046 1262780416 307686 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551522 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19380/statm: 308296 307686 313 324 0 307365 0 Current children cumulated CPU time (s) 1421.88 Current children cumulated vsize (KiB) 1233184 [startup+1482.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 19383 /proc/meminfo: memFree=64192/2055920 swapFree=4192956/4192956 [pid=19380] ppid=19378 vsize=1233192 CPUtime=1481.86 /proc/19380/stat : 19380 (bsolo3.0.16) R 19378 19380 18999 0 -1 4194304 308112 0 0 0 147920 266 0 0 25 0 1 0 128437046 1262788608 307688 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134572786 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19380/statm: 308298 307688 313 324 0 307367 0 Current children cumulated CPU time (s) 1481.86 Current children cumulated vsize (KiB) 1233192 [startup+1542.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 19383 /proc/meminfo: memFree=41664/2055920 swapFree=4192956/4192956 [pid=19380] ppid=19378 vsize=1256012 CPUtime=1541.84 /proc/19380/stat : 19380 (bsolo3.0.16) R 19378 19380 18999 0 -1 4194304 313809 0 0 0 153912 272 0 0 25 0 1 0 128437046 1286156288 313385 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19380/statm: 314003 313385 313 324 0 313072 0 Current children cumulated CPU time (s) 1541.84 Current children cumulated vsize (KiB) 1256012 [startup+1602.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 19383 /proc/meminfo: memFree=14912/2055920 swapFree=4192956/4192956 [pid=19380] ppid=19378 vsize=1364436 CPUtime=1601.79 /proc/19380/stat : 19380 (bsolo3.0.16) R 19378 19380 18999 0 -1 4194304 340912 0 0 0 159893 286 0 0 25 0 1 0 128437046 1397182464 340488 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551290 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19380/statm: 341109 340488 313 324 0 340178 0 Current children cumulated CPU time (s) 1601.79 Current children cumulated vsize (KiB) 1364436 [startup+1662.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 19383 /proc/meminfo: memFree=16064/2055920 swapFree=4192956/4192956 [pid=19380] ppid=19378 vsize=1474056 CPUtime=1661.78 /proc/19380/stat : 19380 (bsolo3.0.16) R 19378 19380 18999 0 -1 4194304 368316 0 0 0 165873 305 0 0 25 0 1 0 128437046 1509433344 367892 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19380/statm: 368514 367892 313 324 0 367583 0 Current children cumulated CPU time (s) 1661.78 Current children cumulated vsize (KiB) 1474056 [startup+1722.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 19383 /proc/meminfo: memFree=15424/2055920 swapFree=4192956/4192956 [pid=19380] ppid=19378 vsize=1533160 CPUtime=1721.76 /proc/19380/stat : 19380 (bsolo3.0.16) R 19378 19380 18999 0 -1 4194304 383080 0 0 0 171860 316 0 0 25 0 1 0 128437046 1569955840 382656 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551296 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19380/statm: 383290 382656 313 324 0 382359 0 Current children cumulated CPU time (s) 1721.76 Current children cumulated vsize (KiB) 1533160 [startup+1782.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 19383 /proc/meminfo: memFree=14912/2055920 swapFree=4192956/4192956 [pid=19380] ppid=19378 vsize=1595968 CPUtime=1781.74 /proc/19380/stat : 19380 (bsolo3.0.16) R 19378 19380 18999 0 -1 4194304 398784 0 0 0 177847 327 0 0 25 0 1 0 128437046 1634271232 398360 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19380/statm: 398992 398360 313 324 0 398061 0 Current children cumulated CPU time (s) 1781.74 Current children cumulated vsize (KiB) 1595968 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 0.99 0.98 0.99 2/78 19383 /proc/meminfo: memFree=301248/2055920 swapFree=4192956/4192956 [pid=19380] ppid=19378 vsize=0 CPUtime=1800.05 /proc/19380/stat : 19380 (bsolo3.0.16) R 19378 19380 18999 0 -1 4194308 403590 0 0 0 179670 335 0 0 17 0 1 0 128437046 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19380/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.05 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.8 s] /proc/loadavg: 0.99 0.98 0.99 2/78 19383 /proc/meminfo: memFree=301248/2055920 swapFree=4192956/4192956 [pid=19380] ppid=19378 vsize=0 CPUtime=1800.24 /proc/19380/stat : 19380 (bsolo3.0.16) R 19378 19380 18999 0 -1 4194308 403590 0 0 0 179670 354 0 0 18 0 1 0 128437046 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19380/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.24 Current children cumulated vsize (KiB) 0 Child status: 0 Real time (s): 1800.82 CPU time (s): 1800.26 CPU user time (s): 1796.7 CPU system time (s): 3.55946 CPU usage (%): 99.9689 Max. virtual memory (cumulated for all children) (KiB): 1615024 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1796.7 system time used= 3.55946 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 403590 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= 15 involuntary context switches= 36461 runsolver used 2.11568 second user time and 4.24535 second system time The end
Begin job on node5 on Sat Apr 14 04:13:14 UTC 2007 IDJOB= 350590 IDBENCH= 1525 IDSOLVER= 163 FILE ID= node5/350590-1176523994 PBS_JOBID= 4556710 Free space on /tmp= 66553 MiB SOLVER NAME= bsolo 3.0.16 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-MEDINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-aflow30a.opb COMMAND LINE= bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/350590-1176523994/instance-350590-1176523994.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node5/watcher-350590-1176523994 -o ROOT/results/node5/solver-350590-1176523994 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/350590-1176523994/instance-350590-1176523994.opb META MD5SUM SOLVER= b11bf0769a124f73ad50b0fdfcd50482 MD5SUM BENCH= d5ffb80d8d2a9d2ae5f84f17eeb42612 RANDOM SEED= 136219585 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node5.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.232 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.232 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: 1296800 kB Buffers: 71256 kB Cached: 555364 kB SwapCached: 0 kB Active: 226392 kB Inactive: 456456 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1296800 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 4708 kB Writeback: 0 kB Mapped: 74540 kB Slab: 61876 kB Committed_AS: 4700412 kB PageTables: 1724 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= 66553 MiB End job on node5 on Sat Apr 14 04:43:17 UTC 2007