0.00	c Pueblo version 1.4 (September 2005)
0.00	c Developed @ University of Michigan, Ann Arbor, MI
0.00	c  by Hossein Sheini
0.86	c starting to Solve
0.86	c #variables read: 6651 - #constraints read: 722
0.93	o 393218
1783.46	c total time              : 1783 s
1783.46	s SATISFIABLE
1783.46	v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28
1783.46	v -x29 x30 x31 -x1142 -x2253 -x3364 -x4475 -x5586 -x6319 -x6430 -x6541 -x32 -x143 -x254 -x365 -x476 -x587 -x698 -x809 -x920
1783.46	v -x1031 -x1143 -x1254 -x1365 -x1476 -x1587 -x1698 -x1809 -x1920 -x2031 -x2142 -x2254 -x2365 -x2476 -x2587 -x2698 -x2809
1783.46	v -x2920 -x3031 -x3142 -x3253 -x3365 -x3476 -x3587 -x3698 -x3809 -x3920 -x4031 -x4142 -x4253 -x4364 -x4476 -x4587 -x4698
1783.46	v -x4809 -x4920 -x5031 -x5142 -x5253 -x5364 -x5475 -x5587 -x5698 -x5809 -x5920 -x6031 -x6142 -x6253 -x6286 -x6297 -x6308
1783.46	v -x6320 -x6331 -x6342 -x6353 -x6364 -x6375 -x6386 -x6397 -x6408 -x6419 -x6431 -x6442 -x6453 -x6464 -x6475 -x6486 -x6497
1783.46	v -x6508 -x6519 -x6530 -x6542 -x6553 -x6564 -x6575 -x6586 -x6597 -x6608 -x6619 -x6630 -x6641 -x33 -x44 -x55 -x66 -x77 -x88
1783.46	v -x99 -x110 -x121 -x132 -x144 -x155 -x166 -x177 -x188 -x199 -x210 -x221 -x232 -x243 -x255 -x266 -x277 -x288 -x299 -x310 -x321
1783.46	v -x332 -x343 -x354 -x366 -x377 -x388 -x399 -x410 -x421 -x432 -x443 -x454 -x465 -x477 -x488 -x499 -x510 -x521 -x532 -x543 -x554
1783.46	v -x565 -x576 -x588 -x599 -x610 -x621 -x632 -x643 -x654 -x665 -x676 -x687 -x699 -x710 -x721 -x732 -x743 -x754 -x765 -x776 -x787
1783.46	v -x798 -x810 -x821 -x832 -x843 -x854 -x865 -x876 -x887 -x898 -x909 -x921 -x932 -x943 -x954 -x965 -x976 -x987 -x998 -x1009
1783.46	v -x1020 -x1032 -x1043 -x1054 -x1065 -x1076 -x1087 -x1098 -x1109 -x1120 -x1131 -x1144 -x1155 -x1166 -x1177 -x1188 -x1199
1783.46	v -x1210 -x1221 -x1232 -x1243 -x1255 -x1266 -x1277 -x1288 -x1299 -x1310 -x1321 -x1332 -x1343 -x1354 -x1366 -x1377 -x1388
1783.46	v -x1399 -x1410 -x1421 -x1432 -x1443 -x1454 -x1465 -x1477 -x1488 -x1499 -x1510 -x1521 -x1532 -x1543 -x1554 -x1565 -x1576
1783.46	v -x1588 -x1599 -x1610 -x1621 -x1632 -x1643 -x1654 -x1665 -x1676 -x1687 -x1699 -x1710 -x1721 -x1732 -x1743 -x1754 -x1765
1783.46	v -x1776 -x1787 -x1798 -x1810 -x1821 -x1832 -x1843 -x1854 -x1865 -x1876 -x1887 -x1898 -x1909 -x1921 -x1932 -x1943 -x1954
1783.46	v -x1965 -x1976 -x1987 -x1998 -x2009 -x2020 -x2032 -x2043 -x2054 -x2065 -x2076 -x2087 -x2098 -x2109 -x2120 -x2131 -x2143
1783.46	v -x2154 -x2165 -x2176 -x2187 -x2198 -x2209 -x2220 -x2231 -x2242 -x2255 -x2266 -x2277 -x2288 -x2299 -x2310 -x2321 -x2332
1783.46	v -x2343 -x2354 -x2366 -x2377 -x2388 -x2399 -x2410 -x2421 -x2432 -x2443 -x2454 -x2465 -x2477 -x2488 -x2499 -x2510 -x2521
1783.46	v -x2532 -x2543 -x2554 -x2565 -x2576 -x2588 -x2599 -x2610 -x2621 -x2632 -x2643 -x2654 -x2665 -x2676 -x2687 -x2699 -x2710
1783.46	v -x2721 -x2732 -x2743 -x2754 -x2765 -x2776 -x2787 -x2798 -x2810 -x2821 -x2832 -x2843 -x2854 -x2865 -x2876 -x2887 -x2898
1783.46	v -x2909 -x2921 -x2932 -x2943 -x2954 -x2965 -x2976 -x2987 -x2998 -x3009 -x3020 -x3032 -x3043 -x3054 -x3065 -x3076 -x3087
1783.46	v -x3098 -x3109 -x3120 -x3131 -x3143 -x3154 -x3165 -x3176 -x3187 -x3198 -x3209 -x3220 -x3231 -x3242 -x3254 -x3265 -x3276
1783.46	v -x3287 -x3298 -x3309 -x3320 -x3331 -x3342 -x3353 -x3366 -x3377 -x3388 -x3399 -x3410 -x3421 -x3432 -x3443 -x3454 -x3465
1783.46	v -x3477 -x3488 -x3499 -x3510 -x3521 -x3532 -x3543 -x3554 -x3565 -x3576 -x3588 -x3599 -x3610 -x3621 -x3632 -x3643 -x3654
1783.46	v -x3665 -x3676 -x3687 -x3699 -x3710 -x3721 -x3732 -x3743 -x3754 -x3765 -x3776 -x3787 -x3798 -x3810 -x3821 -x3832 -x3843
1783.46	v -x3854 -x3865 -x3876 -x3887 -x3898 -x3909 -x3921 -x3932 -x3943 -x3954 -x3965 -x3976 -x3987 -x3998 -x4009 -x4020 -x4032
1783.46	v -x4043 -x4054 -x4065 -x4076 -x4087 -x4098 -x4109 -x4120 -x4131 -x4143 -x4154 -x4165 -x4176 -x4187 -x4198 -x4209 -x4220
1783.46	v -x4231 -x4242 -x4254 -x4265 -x4276 -x4287 -x4298 -x4309 -x4320 -x4331 -x4342 -x4353 -x4365 -x4376 -x4387 -x4398 -x4409
1783.46	v -x4420 -x4431 -x4442 -x4453 -x4464 -x4477 -x4488 -x4499 -x4510 -x4521 -x4532 -x4543 -x4554 -x4565 -x4576 -x4588 -x4599
1783.46	v -x4610 -x4621 -x4632 -x4643 -x4654 -x4665 -x4676 -x4687 -x4699 -x4710 -x4721 -x4732 -x4743 -x4754 -x4765 -x4776 -x4787
1783.46	v -x4798 -x4810 -x4821 -x4832 -x4843 -x4854 -x4865 -x4876 -x4887 -x4898 -x4909 -x4921 -x4932 -x4943 -x4954 -x4965 -x4976
1783.46	v -x4987 -x4998 -x5009 -x5020 -x5032 -x5043 -x5054 -x5065 -x5076 -x5087 -x5098 -x5109 -x5120 -x5131 -x5143 -x5154 -x5165
1783.46	v -x5176 -x5187 -x5198 -x5209 -x5220 -x5231 -x5242 -x5254 -x5265 -x5276 -x5287 -x5298 -x5309 -x5320 -x5331 -x5342 -x5353
1783.46	v -x5365 -x5376 -x5387 -x5398 -x5409 -x5420 -x5431 -x5442 -x5453 -x5464 -x5476 -x5487 -x5498 -x5509 -x5520 -x5531 -x5542
1783.46	v -x5553 -x5564 -x5575 -x5588 -x5599 -x5610 -x5621 -x5632 -x5643 -x5654 -x5665 -x5676 -x5687 -x5699 -x5710 -x5721 -x5732
1783.46	v -x5743 -x5754 -x5765 -x5776 -x5787 -x5798 -x5810 -x5821 -x5832 -x5843 -x5854 -x5865 -x5876 -x5887 -x5898 -x5909 -x5921
1783.46	v -x5932 -x5943 -x5954 -x5965 -x5976 -x5987 -x5998 -x6009 -x6020 -x6032 -x6043 -x6054 -x6065 -x6076 -x6087 -x6098 -x6109
1783.46	v -x6120 -x6131 -x6143 -x6154 -x6165 -x6176 -x6187 -x6198 -x6209 -x6220 -x6231 -x6242 -x6254 -x6265 -x6276 -x6279 -x6280
1783.46	v -x6281 -x6282 -x6283 -x6284 -x6285 -x6287 -x6288 -x6289 -x6290 -x6291 -x6292 -x6293 -x6294 -x6295 -x6296 -x6298 -x6299
1783.46	v -x6300 -x6301 -x6302 -x6303 -x6304 -x6305 -x6306 -x6307 -x6309 -x6310 -x6311 -x6312 -x6313 -x6314 -x6315 -x6316 -x6317
1783.46	v -x6318 -x6321 x6322 -x6323 -x6324 -x6325 -x6326 -x6327 -x6328 -x6329 -x6330 -x6332 -x6333 -x6334 -x6335 -x6336 -x6337
1783.46	v -x6338 -x6339 -x6340 -x6341 -x6343 -x6344 -x6345 -x6346 -x6347 -x6348 -x6349 -x6350 -x6351 -x6352 -x6354 -x6355 -x6356
1783.46	v -x6357 -x6358 -x6359 -x6360 -x6361 -x6362 -x6363 -x6365 -x6366 -x6367 -x6368 -x6369 -x6370 -x6371 -x6372 -x6373 -x6374
1783.46	v -x6376 -x6377 -x6378 -x6379 -x6380 -x6381 -x6382 -x6383 -x6384 -x6385 -x6387 -x6388 -x6389 -x6390 -x6391 -x6392 -x6393
1783.46	v -x6394 -x6395 -x6396 -x6398 -x6399 -x6400 -x6401 -x6402 -x6403 -x6404 -x6405 -x6406 -x6407 -x6409 -x6410 -x6411 -x6412
1783.46	v -x6413 -x6414 -x6415 -x6416 -x6417 -x6418 -x6420 -x6421 -x6422 -x6423 -x6424 -x6425 -x6426 -x6427 -x6428 -x6429 -x6432
1783.46	v -x6433 -x6434 -x6435 -x6436 -x6437 -x6438 -x6439 -x6440 -x6441 -x6443 -x6444 -x6445 -x6446 -x6447 -x6448 -x6449 -x6450
1783.46	v -x6451 -x6452 -x6454 -x6455 -x6456 -x6457 -x6458 -x6459 -x6460 -x6461 -x6462 -x6463 -x6465 -x6466 -x6467 -x6468 -x6469
1783.46	v -x6470 -x6471 -x6472 -x6473 -x6474 -x6476 -x6477 -x6478 -x6479 -x6480 -x6481 -x6482 -x6483 -x6484 -x6485 -x6487 -x6488
1783.46	v -x6489 -x6490 -x6491 -x6492 -x6493 -x6494 -x6495 -x6496 -x6498 -x6499 -x6500 -x6501 -x6502 -x6503 -x6504 -x6505 -x6506
1783.46	v -x6507 -x6509 -x6510 -x6511 -x6512 -x6513 -x6514 -x6515 -x6516 -x6517 -x6518 -x6520 -x6521 -x6522 -x6523 -x6524 -x6525
1783.46	v -x6526 -x6527 -x6528 -x6529 -x6531 -x6532 -x6533 -x6534 -x6535 -x6536 -x6537 -x6538 -x6539 -x6540 -x6543 -x6544 -x6545
1783.46	v -x6546 -x6547 -x6548 -x6549 -x6550 -x6551 -x6552 -x6554 -x6555 -x6556 -x6557 -x6558 -x6559 -x6560 -x6561 -x6562 -x6563
1783.46	v -x6565 x6566 -x6567 -x6568 -x6569 -x6570 -x6571 -x6572 -x6573 -x6574 -x6576 -x6577 -x6578 -x6579 -x6580 -x6581 -x6582
1783.46	v -x6583 -x6584 -x6585 -x6587 -x6588 -x6589 -x6590 -x6591 -x6592 -x6593 -x6594 -x6595 -x6596 -x6598 -x6599 -x6600 -x6601
1783.46	v -x6602 -x6603 -x6604 -x6605 -x6606 -x6607 -x6609 -x6610 -x6611 -x6612 -x6613 -x6614 -x6615 -x6616 -x6617 -x6618 -x6620
1783.46	v -x6621 -x6622 -x6623 -x6624 -x6625 -x6626 -x6627 -x6628 -x6629 -x6631 -x6632 -x6633 -x6634 -x6635 -x6636 -x6637 -x6638
1783.46	v -x6639 -x6640 -x6642 -x6643 -x6644 -x6645 -x6646 -x6647 -x6648 -x6649 -x6650 -x6651 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41
1783.46	v -x42 -x43 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x67 -x68 -x69 -x70
1783.46	v -x71 -x72 -x73 -x74 -x75 -x76 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98
1783.46	v -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x122
1783.46	v -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x145 -x146
1783.46	v -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x167 -x168 -x169
1783.46	v -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x189 -x190 -x191 -x192
1783.46	v -x193 -x194 -x195 -x196 -x197 -x198 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x211 -x212 -x213 -x214 -x215
1783.46	v -x216 -x217 -x218 -x219 -x220 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x233 -x234 -x235 -x236 -x237 -x238
1783.46	v -x239 -x240 -x241 -x242 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x256 -x257 -x258 -x259 -x260 -x261 -x262
1783.46	v -x263 -x264 -x265 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285
1783.46	v -x286 -x287 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308
1783.46	v -x309 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331
1783.46	v -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x355
1783.46	v -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x378 -x379
1783.46	v -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x400 -x401 -x402
1783.46	v -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x422 -x423 -x424 -x425
1783.46	v -x426 -x427 -x428 -x429 -x430 -x431 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x444 -x445 -x446 -x447 -x448
1783.46	v -x449 -x450 -x451 -x452 -x453 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x466 -x467 -x468 -x469 -x470 -x471
1783.46	v -x472 -x473 -x474 -x475 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x489 -x490 -x491 -x492 -x493 -x494 -x495
1783.46	v -x496 -x497 -x498 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518
1783.46	v -x519 -x520 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541
1783.46	v -x542 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564
1783.46	v -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x589
1783.46	v -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x611 -x612
1783.46	v -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x633 -x634 -x635
1783.46	v -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x655 -x656 -x657 -x658
1783.46	v -x659 -x660 -x661 -x662 -x663 -x664 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x677 -x678 -x679 -x680 -x681
1783.46	v -x682 -x683 -x684 -x685 -x686 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x700 -x701 -x702 -x703 -x704 -x705
1783.46	v -x706 -x707 -x708 -x709 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x722 -x723 -x724 -x725 -x726 -x727 -x728
1783.46	v -x729 -x730 -x731 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751
1783.46	v -x752 -x753 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774
1783.46	v -x775 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797
1783.46	v -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x811 x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x822
1783.46	v -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x844 -x845
1783.46	v -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x866 -x867 -x868
1783.46	v -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x888 -x889 -x890 -x891
1783.46	v -x892 -x893 -x894 -x895 -x896 -x897 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x910 -x911 -x912 -x913 -x914
1783.46	v -x915 -x916 -x917 -x918 -x919 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x933 -x934 -x935 -x936 -x937 -x938
1783.46	v -x939 -x940 -x941 -x942 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x955 -x956 -x957 -x958 -x959 -x960 -x961
1783.46	v -x962 -x963 -x964 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984
1783.46	v -x985 -x986 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005
1783.46	v -x1006 -x1007 -x1008 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1021 -x1022 -x1023 -x1024
1783.46	v -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1044
1783.46	v -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062
1783.46	v -x1063 -x1064 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1077 -x1078 -x1079 -x1080 -x1081
1783.46	v -x1082 -x1083 -x1084 -x1085 -x1086 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1099 -x1100
1783.46	v -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118
1783.46	v -x1119 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137
1783.46	v -x1138 -x1139 -x1140 -x1141 -x1145 x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1156 -x1157 -x1158
1783.46	v -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1167 x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176
1783.46	v -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195
1783.46	v -x1196 -x1197 -x1198 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1211 -x1212 -x1213 -x1214
1783.46	v -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1233
1783.46	v -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251
1783.46	v -x1252 -x1253 -x1256 x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1267 -x1268 -x1269 -x1270 -x1271
1783.46	v -x1272 -x1273 -x1274 -x1275 -x1276 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1289 -x1290
1783.46	v -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1300 x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308
1783.46	v -x1309 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327
1783.46	v -x1328 -x1329 -x1330 -x1331 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1344 -x1345 -x1346
1783.46	v -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364
1783.46	v -x1367 x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384
1783.46	v -x1385 -x1386 -x1387 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1400 -x1401 -x1402 -x1403
1783.46	v -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1411 x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1422
1783.46	v -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440
1783.46	v -x1441 -x1442 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1455 -x1456 -x1457 -x1458 -x1459
1783.46	v -x1460 -x1461 -x1462 -x1463 -x1464 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1478 -x1479
1783.46	v -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497
1783.46	v -x1498 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516
1783.46	v -x1517 -x1518 -x1519 -x1520 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1533 -x1534 -x1535
1783.46	v -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553
1783.46	v -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572
1783.46	v -x1573 -x1574 -x1575 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1589 -x1590 -x1591 -x1592
1783.46	v -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1611
1783.46	v -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629
1783.46	v -x1630 -x1631 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1644 -x1645 -x1646 -x1647 -x1648
1783.46	v -x1649 -x1650 -x1651 -x1652 -x1653 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1666 -x1667
1783.46	v -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685
1783.46	v -x1686 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705
1783.46	v -x1706 -x1707 -x1708 -x1709 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1722 -x1723 -x1724
1783.46	v -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742
1783.46	v -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761
1783.46	v -x1762 -x1763 -x1764 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1777 -x1778 -x1779 -x1780
1783.46	v -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1799
1783.46	v -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818
1783.46	v -x1819 -x1820 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1833 -x1834 -x1835 -x1836 -x1837
1783.46	v -x1838 -x1839 -x1840 -x1841 -x1842 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1855 -x1856
1783.46	v -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874
1783.46	v -x1875 -x1877 x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893
1783.46	v -x1894 -x1895 -x1896 -x1897 -x1899 x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1910 -x1911 -x1912
1783.46	v -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931
1783.46	v -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950
1783.46	v -x1951 -x1952 -x1953 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1966 -x1967 -x1968 -x1969
1783.46	v -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1988
1783.46	v -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006
1783.46	v -x2007 -x2008 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2021 -x2022 -x2023 -x2024 -x2025
1783.46	v -x2026 -x2027 -x2028 -x2029 -x2030 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2044 -x2045
1783.46	v -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063
1783.46	v -x2064 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082
1783.46	v -x2083 -x2084 -x2085 -x2086 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2099 -x2100 -x2101
1783.46	v -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119
1783.46	v -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138
1783.46	v -x2139 -x2140 -x2141 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2155 -x2156 -x2157 -x2158
1783.46	v -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2177
1783.46	v -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195
1783.46	v -x2196 -x2197 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2210 -x2211 -x2212 -x2213 -x2214
1783.46	v -x2215 -x2216 -x2217 -x2218 -x2219 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2232 -x2233
1783.46	v -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251
1783.46	v -x2252 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272
1783.46	v -x2273 -x2274 -x2275 -x2276 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2289 -x2290 -x2291
1783.46	v -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309
1783.46	v -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328
1783.46	v -x2329 -x2330 -x2331 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2344 -x2345 -x2346 -x2347
1783.46	v -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2367
1783.46	v -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385
1783.46	v -x2386 -x2387 -x2389 x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2400 -x2401 -x2402 -x2403 -x2404
1783.46	v -x2405 -x2406 -x2407 -x2408 -x2409 -x2411 x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2422 -x2423
1783.46	v -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441
1783.46	v -x2442 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460
1783.46	v -x2461 -x2462 -x2463 -x2464 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2478 -x2479 -x2480
1783.46	v -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498
1783.46	v -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517
1783.46	v -x2518 -x2519 -x2520 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2533 -x2534 -x2535 -x2536
1783.46	v -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2555
1783.46	v -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573
1783.46	v -x2574 -x2575 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2589 x2590 -x2591 -x2592 -x2593
1783.46	v -x2594 -x2595 -x2596 -x2597 -x2598 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2611 -x2612
1783.46	v -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630
1783.46	v -x2631 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649
1783.46	v -x2650 -x2651 -x2652 -x2653 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2666 -x2667 -x2668
1783.46	v -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686
1783.46	v -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2700 x2701 -x2702 -x2703 -x2704 -x2705 -x2706
1783.46	v -x2707 -x2708 -x2709 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2722 -x2723 -x2724 -x2725
1783.46	v -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2744
1783.46	v -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762
1783.46	v -x2763 -x2764 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2777 -x2778 -x2779 -x2780 -x2781
1783.46	v -x2782 -x2783 -x2784 -x2785 -x2786 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2799 -x2800
1783.46	v -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2811 x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819
1783.46	v -x2820 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838
1783.46	v -x2839 -x2840 -x2841 -x2842 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2855 -x2856 -x2857
1783.46	v -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875
1783.46	v -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894
1783.46	v -x2895 -x2896 -x2897 -x2899 x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2910 -x2911 -x2912 -x2913
1783.46	v -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2933
1783.46	v -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951
1783.46	v -x2952 -x2953 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2966 -x2967 -x2968 -x2969 -x2970
1783.46	v -x2971 -x2972 -x2973 -x2974 -x2975 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2988 -x2989
1783.46	v -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007
1783.46	v -x3008 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026
1783.46	v -x3027 -x3028 -x3029 -x3030 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3044 -x3045 -x3046
1783.46	v -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064
1783.46	v -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083
1783.46	v -x3084 -x3085 -x3086 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3099 -x3100 -x3101 -x3102
1783.46	v -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3121
1783.46	v -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139
1783.46	v -x3140 -x3141 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3155 -x3156 -x3157 -x3158 -x3159
1783.46	v -x3160 -x3161 -x3162 -x3163 -x3164 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3177 -x3178
1783.46	v -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196
1783.46	v -x3197 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215
1783.46	v -x3216 -x3217 -x3218 -x3219 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3232 -x3233 -x3234
1783.46	v -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252
1783.46	v -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272
1783.46	v -x3273 -x3274 -x3275 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3288 -x3289 -x3290 -x3291
1783.46	v -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3310
1783.46	v -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328
1783.46	v -x3329 -x3330 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3343 -x3344 -x3345 -x3346 -x3347
1783.46	v -x3348 -x3349 -x3350 -x3351 -x3352 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3367 x3368
1783.46	v -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386
1783.46	v -x3387 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405
1783.46	v -x3406 -x3407 -x3408 -x3409 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3422 -x3423 -x3424
1783.46	v -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442
1783.46	v -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461
1783.46	v -x3462 -x3463 -x3464 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3478 -x3479 -x3480 -x3481
1783.46	v -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3500
1783.46	v -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518
1783.46	v -x3519 -x3520 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3533 -x3534 -x3535 -x3536 -x3537
1783.46	v -x3538 -x3539 -x3540 -x3541 -x3542 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3555 -x3556
1783.46	v -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574
1783.46	v -x3575 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594
1783.46	v -x3595 -x3596 -x3597 -x3598 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3611 -x3612 -x3613
1783.46	v -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631
1783.46	v -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650
1783.46	v -x3651 -x3652 -x3653 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3666 -x3667 -x3668 -x3669
1783.46	v -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3688
1783.46	v -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707
1783.46	v -x3708 -x3709 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3722 -x3723 -x3724 -x3725 -x3726
1783.46	v -x3727 -x3728 -x3729 -x3730 -x3731 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3744 -x3745
1783.46	v -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763
1783.46	v -x3764 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782
1783.46	v -x3783 -x3784 -x3785 -x3786 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3799 -x3800 -x3801
1783.46	v -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820
1783.46	v -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839
1783.46	v -x3840 -x3841 -x3842 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3855 -x3856 -x3857 -x3858
1783.46	v -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3877
1783.46	v -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895
1783.46	v -x3896 -x3897 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3910 -x3911 -x3912 -x3913 -x3914
1783.46	v -x3915 -x3916 -x3917 -x3918 -x3919 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3933 -x3934
1783.46	v -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952
1783.46	v -x3953 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971
1783.46	v -x3972 -x3973 -x3974 -x3975 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3988 -x3989 -x3990
1783.46	v -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008
1783.46	v -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027
1783.46	v -x4028 -x4029 -x4030 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4044 -x4045 -x4046 -x4047
1783.46	v -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4066
1783.46	v -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084
1783.46	v -x4085 -x4086 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4099 -x4100 -x4101 -x4102 -x4103
1783.46	v -x4104 -x4105 -x4106 -x4107 -x4108 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4121 -x4122
1783.46	v -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140
1783.46	v -x4141 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160
1783.46	v -x4161 -x4162 -x4163 -x4164 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4177 -x4178 -x4179
1783.46	v -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197
1783.46	v -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216
1783.46	v -x4217 -x4218 -x4219 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4232 -x4233 -x4234 -x4235
1783.46	v -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4255
1783.46	v -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4266 -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 -x4273
1783.46	v -x4274 -x4275 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4288 -x4289 -x4290 -x4291 -x4292
1783.46	v -x4293 -x4294 -x4295 -x4296 -x4297 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4310 -x4311
1783.46	v -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329
1783.46	v -x4330 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348
1783.46	v -x4349 -x4350 -x4351 -x4352 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4366 -x4367 -x4368
1783.46	v -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386
1783.46	v -x4388 -x4389 -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405
1783.46	v -x4406 -x4407 -x4408 -x4410 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4421 -x4422 -x4423 -x4424
1783.46	v -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4443
1783.46	v -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461
1783.46	v -x4462 -x4463 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 -x4478 -x4479 -x4480 -x4481 -x4482
1783.46	v -x4483 -x4484 -x4485 -x4486 -x4487 -x4489 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4500 -x4501
1783.46	v -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519
1783.46	v -x4520 -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538
1783.46	v -x4539 -x4540 -x4541 -x4542 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4555 -x4556 -x4557
1783.46	v -x4558 -x4559 -x4560 -x4561 -x4562 -x4563 -x4564 -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575
1783.46	v -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4589 -x4590 -x4591 -x4592 -x4593 -x4594 -x4595
1783.46	v -x4596 -x4597 -x4598 -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4611 -x4612 -x4613 -x4614
1783.46	v -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 -x4622 -x4623 -x4624 -x4625 -x4626 -x4627 -x4628 -x4629 -x4630 -x4631 -x4633
1783.46	v -x4634 -x4635 -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4644 -x4645 -x4646 -x4647 -x4648 -x4649 -x4650 -x4651
1783.46	v -x4652 -x4653 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4666 -x4667 -x4668 -x4669 -x4670
1783.46	v -x4671 -x4672 -x4673 -x4674 -x4675 -x4677 -x4678 -x4679 -x4680 -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 -x4688 -x4689
1783.46	v -x4690 -x4691 -x4692 -x4693 -x4694 -x4695 -x4696 -x4697 -x4700 -x4701 -x4702 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708
1783.46	v -x4709 -x4711 -x4712 -x4713 -x4714 -x4715 -x4716 -x4717 -x4718 -x4719 -x4720 -x4722 -x4723 -x4724 -x4725 -x4726 -x4727
1783.46	v -x4728 -x4729 -x4730 -x4731 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 -x4741 -x4742 -x4744 -x4745 -x4746
1783.46	v -x4747 -x4748 -x4749 -x4750 -x4751 -x4752 -x4753 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764
1783.46	v -x4766 -x4767 -x4768 -x4769 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x4777 -x4778 -x4779 -x4780 -x4781 -x4782 -x4783
1783.46	v -x4784 -x4785 -x4786 -x4788 -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4799 -x4800 -x4801 -x4802
1783.46	v -x4803 -x4804 -x4805 -x4806 -x4807 -x4808 -x4811 -x4812 -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 -x4822
1783.46	v -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 -x4829 -x4830 -x4831 -x4833 -x4834 -x4835 -x4836 -x4837 -x4838 -x4839 -x4840
1783.46	v -x4841 -x4842 -x4844 -x4845 -x4846 -x4847 -x4848 -x4849 -x4850 -x4851 -x4852 -x4853 -x4855 -x4856 -x4857 -x4858 -x4859
1783.46	v -x4860 -x4861 -x4862 -x4863 -x4864 -x4866 -x4867 -x4868 -x4869 -x4870 -x4871 -x4872 -x4873 -x4874 -x4875 -x4877 -x4878
1783.46	v -x4879 -x4880 -x4881 -x4882 -x4883 -x4884 -x4885 -x4886 -x4888 -x4889 -x4890 -x4891 -x4892 -x4893 -x4894 -x4895 -x4896
1783.46	v -x4897 -x4899 -x4900 -x4901 -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915
1783.46	v -x4916 -x4917 -x4918 -x4919 -x4922 -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 -x4933 -x4934 -x4935
1783.46	v -x4936 -x4937 -x4938 -x4939 -x4940 -x4941 -x4942 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 -x4950 -x4951 -x4952 -x4953
1783.46	v -x4955 -x4956 -x4957 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4966 -x4967 -x4968 -x4969 -x4970 -x4971 -x4972
1783.46	v -x4973 -x4974 -x4975 -x4977 -x4978 -x4979 -x4980 -x4981 -x4982 -x4983 -x4984 -x4985 -x4986 -x4988 -x4989 -x4990 -x4991
1783.46	v -x4992 -x4993 -x4994 -x4995 -x4996 -x4997 -x4999 -x5000 -x5001 -x5002 -x5003 -x5004 -x5005 -x5006 -x5007 -x5008 -x5010
1783.46	v -x5011 -x5012 -x5013 -x5014 -x5015 -x5016 -x5017 -x5018 -x5019 -x5021 -x5022 -x5023 -x5024 -x5025 -x5026 -x5027 -x5028
1783.46	v -x5029 -x5030 -x5033 -x5034 -x5035 -x5036 -x5037 -x5038 -x5039 -x5040 -x5041 -x5042 -x5044 -x5045 -x5046 -x5047 -x5048
1783.46	v -x5049 -x5050 -x5051 -x5052 -x5053 -x5055 -x5056 -x5057 -x5058 -x5059 -x5060 -x5061 -x5062 -x5063 -x5064 -x5066 -x5067
1783.46	v -x5068 -x5069 -x5070 -x5071 -x5072 -x5073 -x5074 -x5075 -x5077 -x5078 -x5079 -x5080 -x5081 -x5082 -x5083 -x5084 -x5085
1783.46	v -x5086 -x5088 -x5089 -x5090 -x5091 -x5092 -x5093 -x5094 -x5095 -x5096 -x5097 -x5099 -x5100 -x5101 -x5102 -x5103 -x5104
1783.46	v -x5105 -x5106 -x5107 -x5108 -x5110 -x5111 -x5112 -x5113 -x5114 -x5115 -x5116 -x5117 -x5118 -x5119 -x5121 -x5122 -x5123
1783.46	v -x5124 -x5125 -x5126 -x5127 -x5128 -x5129 -x5130 -x5132 -x5133 -x5134 -x5135 -x5136 -x5137 -x5138 -x5139 -x5140 -x5141
1783.46	v -x5144 -x5145 -x5146 -x5147 -x5148 -x5149 -x5150 -x5151 -x5152 -x5153 -x5155 -x5156 -x5157 -x5158 -x5159 -x5160 -x5161
1783.46	v -x5162 -x5163 -x5164 -x5166 -x5167 -x5168 -x5169 -x5170 -x5171 -x5172 -x5173 -x5174 -x5175 -x5177 -x5178 -x5179 -x5180
1783.46	v -x5181 -x5182 -x5183 -x5184 -x5185 -x5186 -x5188 -x5189 -x5190 -x5191 -x5192 -x5193 -x5194 -x5195 -x5196 -x5197 -x5199
1783.46	v -x5200 -x5201 -x5202 -x5203 -x5204 -x5205 -x5206 -x5207 -x5208 -x5210 -x5211 -x5212 -x5213 -x5214 -x5215 -x5216 -x5217
1783.46	v -x5218 -x5219 -x5221 -x5222 -x5223 -x5224 -x5225 -x5226 -x5227 -x5228 -x5229 -x5230 -x5232 -x5233 -x5234 -x5235 -x5236
1783.46	v -x5237 -x5238 -x5239 -x5240 -x5241 -x5243 -x5244 -x5245 -x5246 -x5247 -x5248 -x5249 -x5250 -x5251 -x5252 -x5255 -x5256
1783.46	v -x5257 -x5258 -x5259 -x5260 -x5261 -x5262 -x5263 -x5264 -x5266 -x5267 -x5268 -x5269 -x5270 -x5271 -x5272 -x5273 -x5274
1783.46	v -x5275 -x5277 -x5278 -x5279 -x5280 -x5281 -x5282 -x5283 -x5284 -x5285 -x5286 -x5288 -x5289 -x5290 -x5291 -x5292 -x5293
1783.46	v -x5294 -x5295 -x5296 -x5297 -x5299 -x5300 -x5301 -x5302 -x5303 -x5304 -x5305 -x5306 -x5307 -x5308 -x5310 -x5311 -x5312
1783.46	v -x5313 -x5314 -x5315 -x5316 -x5317 -x5318 -x5319 -x5321 -x5322 -x5323 -x5324 -x5325 -x5326 -x5327 -x5328 -x5329 -x5330
1783.46	v -x5332 -x5333 -x5334 -x5335 -x5336 -x5337 -x5338 -x5339 -x5340 -x5341 -x5343 -x5344 -x5345 -x5346 -x5347 -x5348 -x5349
1783.46	v -x5350 -x5351 -x5352 -x5354 -x5355 -x5356 -x5357 -x5358 -x5359 -x5360 -x5361 -x5362 -x5363 -x5366 -x5367 -x5368 -x5369
1783.46	v -x5370 -x5371 -x5372 -x5373 -x5374 -x5375 -x5377 -x5378 -x5379 -x5380 -x5381 -x5382 -x5383 -x5384 -x5385 -x5386 -x5388
1783.46	v -x5389 -x5390 -x5391 -x5392 -x5393 -x5394 -x5395 -x5396 -x5397 -x5399 -x5400 -x5401 -x5402 -x5403 -x5404 -x5405 -x5406
1783.46	v -x5407 -x5408 -x5410 -x5411 -x5412 -x5413 -x5414 -x5415 -x5416 -x5417 -x5418 -x5419 -x5421 -x5422 -x5423 -x5424 -x5425
1783.46	v -x5426 -x5427 -x5428 -x5429 -x5430 -x5432 -x5433 -x5434 -x5435 -x5436 -x5437 -x5438 -x5439 -x5440 -x5441 -x5443 -x5444
1783.46	v -x5445 -x5446 -x5447 -x5448 -x5449 -x5450 -x5451 -x5452 -x5454 -x5455 -x5456 -x5457 -x5458 -x5459 -x5460 -x5461 -x5462
1783.46	v -x5463 -x5465 -x5466 -x5467 -x5468 -x5469 -x5470 -x5471 -x5472 -x5473 -x5474 -x5477 -x5478 -x5479 -x5480 -x5481 -x5482
1783.46	v -x5483 -x5484 -x5485 -x5486 -x5488 -x5489 -x5490 -x5491 -x5492 -x5493 -x5494 -x5495 -x5496 -x5497 -x5499 -x5500 -x5501
1783.46	v -x5502 -x5503 -x5504 -x5505 -x5506 -x5507 -x5508 -x5510 -x5511 -x5512 -x5513 -x5514 -x5515 -x5516 -x5517 -x5518 -x5519
1783.46	v -x5521 -x5522 -x5523 -x5524 -x5525 -x5526 -x5527 -x5528 -x5529 -x5530 -x5532 -x5533 -x5534 -x5535 -x5536 -x5537 -x5538
1783.46	v -x5539 -x5540 -x5541 -x5543 -x5544 -x5545 -x5546 -x5547 -x5548 -x5549 -x5550 -x5551 -x5552 -x5554 -x5555 -x5556 -x5557
1783.46	v -x5558 -x5559 -x5560 -x5561 -x5562 -x5563 -x5565 -x5566 -x5567 -x5568 -x5569 -x5570 -x5571 -x5572 -x5573 -x5574 -x5576
1783.46	v -x5577 -x5578 -x5579 -x5580 -x5581 -x5582 -x5583 -x5584 -x5585 -x5589 -x5590 -x5591 -x5592 -x5593 -x5594 -x5595 -x5596
1783.46	v -x5597 -x5598 -x5600 -x5601 -x5602 -x5603 -x5604 -x5605 -x5606 -x5607 -x5608 -x5609 -x5611 -x5612 -x5613 -x5614 -x5615
1783.46	v -x5616 -x5617 -x5618 -x5619 -x5620 -x5622 -x5623 -x5624 -x5625 -x5626 -x5627 -x5628 -x5629 -x5630 -x5631 -x5633 -x5634
1783.46	v -x5635 -x5636 -x5637 -x5638 -x5639 -x5640 -x5641 -x5642 -x5644 -x5645 -x5646 -x5647 -x5648 -x5649 -x5650 -x5651 -x5652
1783.46	v -x5653 -x5655 -x5656 -x5657 -x5658 -x5659 -x5660 -x5661 -x5662 -x5663 -x5664 -x5666 -x5667 -x5668 -x5669 -x5670 -x5671
1783.46	v -x5672 -x5673 -x5674 -x5675 -x5677 -x5678 -x5679 -x5680 -x5681 -x5682 -x5683 -x5684 -x5685 -x5686 -x5688 -x5689 -x5690
1783.46	v -x5691 -x5692 -x5693 -x5694 -x5695 -x5696 -x5697 -x5700 -x5701 -x5702 -x5703 -x5704 -x5705 -x5706 -x5707 -x5708 -x5709
1783.46	v -x5711 -x5712 -x5713 -x5714 -x5715 -x5716 -x5717 -x5718 -x5719 -x5720 -x5722 -x5723 -x5724 -x5725 -x5726 -x5727 -x5728
1783.46	v -x5729 -x5730 -x5731 -x5733 -x5734 -x5735 -x5736 -x5737 -x5738 -x5739 -x5740 -x5741 -x5742 -x5744 -x5745 -x5746 -x5747
1783.46	v -x5748 -x5749 -x5750 -x5751 -x5752 -x5753 -x5755 -x5756 -x5757 -x5758 -x5759 -x5760 -x5761 -x5762 -x5763 -x5764 -x5766
1783.46	v -x5767 -x5768 -x5769 -x5770 -x5771 -x5772 -x5773 -x5774 -x5775 -x5777 -x5778 -x5779 -x5780 -x5781 -x5782 -x5783 -x5784
1783.46	v -x5785 -x5786 -x5788 -x5789 -x5790 -x5791 -x5792 -x5793 -x5794 -x5795 -x5796 -x5797 -x5799 -x5800 -x5801 -x5802 -x5803
1783.46	v -x5804 -x5805 -x5806 -x5807 -x5808 -x5811 -x5812 -x5813 -x5814 -x5815 -x5816 -x5817 -x5818 -x5819 -x5820 -x5822 -x5823
1783.46	v -x5824 -x5825 -x5826 -x5827 -x5828 -x5829 -x5830 -x5831 -x5833 -x5834 -x5835 -x5836 -x5837 -x5838 -x5839 -x5840 -x5841
1783.46	v -x5842 -x5844 -x5845 -x5846 -x5847 -x5848 -x5849 -x5850 -x5851 -x5852 -x5853 -x5855 -x5856 -x5857 -x5858 -x5859 -x5860
1783.46	v -x5861 -x5862 -x5863 -x5864 -x5866 -x5867 -x5868 -x5869 -x5870 -x5871 -x5872 -x5873 -x5874 -x5875 -x5877 -x5878 -x5879
1783.46	v -x5880 -x5881 -x5882 -x5883 -x5884 -x5885 -x5886 -x5888 -x5889 -x5890 -x5891 -x5892 -x5893 -x5894 -x5895 -x5896 -x5897
1783.46	v -x5899 -x5900 -x5901 -x5902 -x5903 -x5904 -x5905 -x5906 -x5907 -x5908 -x5910 -x5911 -x5912 -x5913 -x5914 -x5915 -x5916
1783.46	v -x5917 -x5918 -x5919 -x5922 -x5923 -x5924 -x5925 -x5926 -x5927 -x5928 -x5929 -x5930 -x5931 -x5933 -x5934 -x5935 -x5936
1783.46	v -x5937 -x5938 -x5939 -x5940 -x5941 -x5942 -x5944 -x5945 -x5946 -x5947 -x5948 -x5949 -x5950 -x5951 -x5952 -x5953 -x5955
1783.46	v -x5956 -x5957 -x5958 -x5959 -x5960 -x5961 -x5962 -x5963 -x5964 -x5966 -x5967 -x5968 -x5969 -x5970 -x5971 -x5972 -x5973
1783.46	v -x5974 -x5975 -x5977 -x5978 -x5979 -x5980 -x5981 -x5982 -x5983 -x5984 -x5985 -x5986 -x5988 -x5989 -x5990 -x5991 -x5992
1783.46	v -x5993 -x5994 -x5995 -x5996 -x5997 -x5999 -x6000 -x6001 -x6002 -x6003 -x6004 -x6005 -x6006 -x6007 -x6008 -x6010 -x6011
1783.46	v -x6012 -x6013 -x6014 -x6015 -x6016 -x6017 -x6018 -x6019 -x6021 -x6022 -x6023 -x6024 -x6025 -x6026 -x6027 -x6028 -x6029
1783.46	v -x6030 -x6033 -x6034 -x6035 -x6036 -x6037 -x6038 -x6039 -x6040 -x6041 -x6042 -x6044 -x6045 -x6046 -x6047 -x6048 -x6049
1783.46	v -x6050 -x6051 -x6052 -x6053 -x6055 -x6056 -x6057 -x6058 -x6059 -x6060 -x6061 -x6062 -x6063 -x6064 -x6066 -x6067 -x6068
1783.46	v -x6069 -x6070 -x6071 -x6072 -x6073 -x6074 -x6075 -x6077 -x6078 -x6079 -x6080 -x6081 -x6082 -x6083 -x6084 -x6085 -x6086
1783.46	v -x6088 -x6089 -x6090 -x6091 -x6092 -x6093 -x6094 -x6095 -x6096 -x6097 -x6099 -x6100 -x6101 -x6102 -x6103 -x6104 -x6105
1783.46	v -x6106 -x6107 -x6108 -x6110 -x6111 -x6112 -x6113 -x6114 -x6115 -x6116 -x6117 -x6118 -x6119 -x6121 -x6122 -x6123 -x6124
1783.46	v -x6125 -x6126 -x6127 -x6128 -x6129 -x6130 -x6132 -x6133 -x6134 -x6135 -x6136 -x6137 -x6138 -x6139 -x6140 -x6141 -x6144
1783.46	v -x6145 -x6146 -x6147 -x6148 -x6149 -x6150 -x6151 -x6152 -x6153 -x6155 -x6156 -x6157 -x6158 -x6159 -x6160 -x6161 -x6162
1783.46	v -x6163 -x6164 -x6166 -x6167 -x6168 -x6169 -x6170 -x6171 -x6172 -x6173 -x6174 -x6175 -x6177 -x6178 -x6179 -x6180 -x6181
1783.46	v -x6182 -x6183 -x6184 -x6185 -x6186 -x6188 -x6189 -x6190 -x6191 -x6192 -x6193 -x6194 -x6195 -x6196 -x6197 -x6199 -x6200
1783.46	v -x6201 -x6202 -x6203 -x6204 -x6205 -x6206 -x6207 -x6208 -x6210 -x6211 -x6212 -x6213 -x6214 -x6215 -x6216 -x6217 -x6218
1783.46	v -x6219 -x6221 -x6222 -x6223 -x6224 -x6225 -x6226 -x6227 -x6228 -x6229 -x6230 -x6232 -x6233 -x6234 -x6235 -x6236 -x6237
1783.46	v -x6238 -x6239 -x6240 -x6241 -x6243 -x6244 -x6245 -x6246 -x6247 -x6248 -x6249 -x6250 -x6251 -x6252 -x6255 -x6256 -x6257
1783.46	v -x6258 -x6259 -x6260 -x6261 -x6262 -x6263 -x6264 -x6266 -x6267 -x6268 -x6269 -x6270 -x6271 -x6272 -x6273 -x6274 -x6275
1783.46	v -x6277 x6278

OK	393218

Enforcing CPU limit (will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1830 seconds
Enforcing Stack size limit: 67108864 bytes
Enforcing memory limit (will send SIGKILL): 1843200 Kb
Enforcing VSIZE limit: 1887436800 bytes
runsolver version 3.0.0 (c) roussel@cril.univ-artois.fr

command line: runsolver --timestamp -w ROOT/results/node44/watcher-37725-1149356582 -o ROOT/results/node44/solver-37725-1149356582 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user8/Pueblo13 ROOT/tmp/node44/37725-1149356582/instance-37725-1149356582.opb 

Current StackSize limit: 67108864 bytes

/proc/loadavg: 0.91 0.95 0.97 2/64 24083
/proc/meminfo: memFree=1745960/2055920 swapFree=4181400/4192956
[pid=24083] ppid=24081 vsize=916 CPUtime=0
/proc/24083/stat : 24083 (Pueblo13) R 24081 24083 24037 0 -1 4194304 41 0 0 0 0 0 0 0 18 0 1 0 201325037 937984 26 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 11235420 0 0 4096 0 0 0 0 17 1 0 0
/proc/24083/statm: 229 28 20 16 0 8 0

[startup+10.0025 s]
/proc/loadavg: 0.93 0.95 0.97 2/64 24083
/proc/meminfo: memFree=1736056/2055920 swapFree=4181400/4192956
[pid=24083] ppid=24081 vsize=12348 CPUtime=9.99
/proc/24083/stat : 24083 (Pueblo13) R 24081 24083 24037 0 -1 4194304 2709 0 0 0 995 4 0 0 25 0 1 0 201325037 12644352 2680 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/24083/statm: 3087 2680 205 16 0 2528 0
Current children cumulated CPU time (s) 9.99
Current children cumulated vsize (Kb) 12348

[startup+20.0084 s]
/proc/loadavg: 0.94 0.96 0.97 2/64 24083
/proc/meminfo: memFree=1735352/2055920 swapFree=4181400/4192956
[pid=24083] ppid=24081 vsize=13124 CPUtime=19.99
/proc/24083/stat : 24083 (Pueblo13) R 24081 24083 24037 0 -1 4194304 2894 0 0 0 1993 6 0 0 25 0 1 0 201325037 13438976 2865 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527547 0 0 4096 0 0 0 0 17 1 0 0
/proc/24083/statm: 3281 2865 205 16 0 2722 0
Current children cumulated CPU time (s) 19.99
Current children cumulated vsize (Kb) 13124

[startup+30.0142 s]
/proc/loadavg: 0.95 0.96 0.97 2/64 24083
/proc/meminfo: memFree=1735416/2055920 swapFree=4181400/4192956
[pid=24083] ppid=24081 vsize=13124 CPUtime=29.99
/proc/24083/stat : 24083 (Pueblo13) R 24081 24083 24037 0 -1 4194304 2900 0 0 0 2990 9 0 0 25 0 1 0 201325037 13438976 2871 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/24083/statm: 3281 2871 205 16 0 2722 0
Current children cumulated CPU time (s) 29.99
Current children cumulated vsize (Kb) 13124

[startup+40.0201 s]
/proc/loadavg: 0.95 0.96 0.97 2/64 24083
/proc/meminfo: memFree=1732600/2055920 swapFree=4181400/4192956
[pid=24083] ppid=24081 vsize=15892 CPUtime=39.99
/proc/24083/stat : 24083 (Pueblo13) R 24081 24083 24037 0 -1 4194304 3590 0 0 0 3989 10 0 0 25 0 1 0 201325037 16273408 3561 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134528325 0 0 4096 0 0 0 0 17 1 0 0
/proc/24083/statm: 3973 3561 205 16 0 3414 0
Current children cumulated CPU time (s) 39.99
Current children cumulated vsize (Kb) 15892

[startup+50.0259 s]
/proc/loadavg: 0.96 0.96 0.97 2/64 24083
/proc/meminfo: memFree=1732600/2055920 swapFree=4181400/4192956
[pid=24083] ppid=24081 vsize=15888 CPUtime=50
/proc/24083/stat : 24083 (Pueblo13) R 24081 24083 24037 0 -1 4194304 3590 0 0 0 4989 11 0 0 25 0 1 0 201325037 16269312 3561 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527748 0 0 4096 0 0 0 0 17 1 0 0
/proc/24083/statm: 3972 3561 205 16 0 3413 0
Current children cumulated CPU time (s) 50
Current children cumulated vsize (Kb) 15888

[startup+60.0317 s]
/proc/loadavg: 0.97 0.96 0.97 2/64 24083
/proc/meminfo: memFree=1732600/2055920 swapFree=4181400/4192956
[pid=24083] ppid=24081 vsize=15888 CPUtime=60
/proc/24083/stat : 24083 (Pueblo13) R 24081 24083 24037 0 -1 4194304 3590 0 0 0 5983 17 0 0 25 0 1 0 201325037 16269312 3561 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134528590 0 0 4096 0 0 0 0 17 1 0 0
/proc/24083/statm: 3972 3561 205 16 0 3413 0
Current children cumulated CPU time (s) 60
Current children cumulated vsize (Kb) 15888

[startup+70.0376 s]
/proc/loadavg: 0.97 0.96 0.97 2/64 24083
/proc/meminfo: memFree=1731384/2055920 swapFree=4181400/4192956
[pid=24083] ppid=24081 vsize=17148 CPUtime=70.01
/proc/24083/stat : 24083 (Pueblo13) R 24081 24083 24037 0 -1 4194304 3894 0 0 0 6974 27 0 0 25 0 1 0 201325037 17559552 3865 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134558884 0 0 4096 0 0 0 0 17 1 0 0
/proc/24083/statm: 4287 3865 205 16 0 3728 0
Current children cumulated CPU time (s) 70.01
Current children cumulated vsize (Kb) 17148

[startup+80.0514 s]
/proc/loadavg: 0.98 0.96 0.97 2/64 24083
/proc/meminfo: memFree=1727352/2055920 swapFree=4181400/4192956
[pid=24083] ppid=24081 vsize=21160 CPUtime=80.01
/proc/24083/stat : 24083 (Pueblo13) R 24081 24083 24037 0 -1 4194304 4905 0 0 0 7968 33 0 0 25 0 1 0 201325037 21667840 4876 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/24083/statm: 5290 4876 205 16 0 4731 0
Current children cumulated CPU time (s) 80.01
Current children cumulated vsize (Kb) 21160

[startup+90.0572 s]
/proc/loadavg: 0.98 0.96 0.97 2/64 24083
/proc/meminfo: memFree=1727224/2055920 swapFree=4181400/4192956
[pid=24083] ppid=24081 vsize=20972 CPUtime=90.01
/proc/24083/stat : 24083 (Pueblo13) R 24081 24083 24037 0 -1 4194304 5145 0 0 0 8966 35 0 0 25 0 1 0 201325037 21475328 4849 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527973 0 0 4096 0 0 0 0 17 1 0 0
/proc/24083/statm: 5243 4849 205 16 0 4684 0
Current children cumulated CPU time (s) 90.01
Current children cumulated vsize (Kb) 20972

[startup+100.063 s]
/proc/loadavg: 0.98 0.96 0.97 2/64 24083
/proc/meminfo: memFree=1727288/2055920 swapFree=4181400/4192956
[pid=24083] ppid=24081 vsize=20972 CPUtime=100.01
/proc/24083/stat : 24083 (Pueblo13) R 24081 24083 24037 0 -1 4194304 5145 0 0 0 9965 36 0 0 25 0 1 0 201325037 21475328 4849 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/24083/statm: 5243 4849 205 16 0 4684 0
Current children cumulated CPU time (s) 100.01
Current children cumulated vsize (Kb) 20972

[startup+110.069 s]
/proc/loadavg: 0.98 0.96 0.97 2/64 24083
/proc/meminfo: memFree=1727288/2055920 swapFree=4181400/4192956
[pid=24083] ppid=24081 vsize=20972 CPUtime=110.02
/proc/24083/stat : 24083 (Pueblo13) R 24081 24083 24037 0 -1 4194304 5145 0 0 0 10965 37 0 0 25 0 1 0 201325037 21475328 4849 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134528062 0 0 4096 0 0 0 0 17 1 0 0
/proc/24083/statm: 5243 4849 205 16 0 4684 0
Current children cumulated CPU time (s) 110.02
Current children cumulated vsize (Kb) 20972

[startup+120.075 s]
/proc/loadavg: 0.99 0.97 0.97 2/64 24083
/proc/meminfo: memFree=1727288/2055920 swapFree=4181400/4192956
[pid=24083] ppid=24081 vsize=20972 CPUtime=120.02
/proc/24083/stat : 24083 (Pueblo13) R 24081 24083 24037 0 -1 4194304 5145 0 0 0 11964 38 0 0 25 0 1 0 201325037 21475328 4849 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527830 0 0 4096 0 0 0 0 17 1 0 0
/proc/24083/statm: 5243 4849 205 16 0 4684 0
Current children cumulated CPU time (s) 120.02
Current children cumulated vsize (Kb) 20972

[startup+130.081 s]
/proc/loadavg: 0.99 0.97 0.97 2/64 24083
/proc/meminfo: memFree=1727288/2055920 swapFree=4181400/4192956
[pid=24083] ppid=24081 vsize=20972 CPUtime=130.02
/proc/24083/stat : 24083 (Pueblo13) R 24081 24083 24037 0 -1 4194304 5145 0 0 0 12963 39 0 0 25 0 1 0 201325037 21475328 4849 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527815 0 0 4096 0 0 0 0 17 1 0 0
/proc/24083/statm: 5243 4849 205 16 0 4684 0
Current children cumulated CPU time (s) 130.02
Current children cumulated vsize (Kb) 20972

[startup+140.086 s]
/proc/loadavg: 0.99 0.97 0.97 2/64 24083
/proc/meminfo: memFree=1727288/2055920 swapFree=4181400/4192956
[pid=24083] ppid=24081 vsize=20972 CPUtime=140.02
/proc/24083/stat : 24083 (Pueblo13) R 24081 24083 24037 0 -1 4194304 5145 0 0 0 13962 40 0 0 25 0 1 0 201325037 21475328 4849 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134557813 0 0 4096 0 0 0 0 17 1 0 0
/proc/24083/statm: 5243 4849 205 16 0 4684 0
Current children cumulated CPU time (s) 140.02
Current children cumulated vsize (Kb) 20972

[startup+150.092 s]
/proc/loadavg: 0.99 0.97 0.97 2/64 24083
/proc/meminfo: memFree=1727288/2055920 swapFree=4181400/4192956
[pid=24083] ppid=24081 vsize=20972 CPUtime=150.03
/proc/24083/stat : 24083 (Pueblo13) R 24081 24083 24037 0 -1 4194304 5145 0 0 0 14962 41 0 0 25 0 1 0 201325037 21475328 4849 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134528062 0 0 4096 0 0 0 0 17 1 0 0
/proc/24083/statm: 5243 4849 205 16 0 4684 0
Current children cumulated CPU time (s) 150.03
Current children cumulated vsize (Kb) 20972

[startup+160.098 s]
/proc/loadavg: 0.99 0.97 0.97 2/64 24083
/proc/meminfo: memFree=1727288/2055920 swapFree=4181400/4192956
[pid=24083] ppid=24081 vsize=20972 CPUtime=160.03
/proc/24083/stat : 24083 (Pueblo13) R 24081 24083 24037 0 -1 4194304 5145 0 0 0 15961 42 0 0 25 0 1 0 201325037 21475328 4849 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/24083/statm: 5243 4849 205 16 0 4684 0
Current children cumulated CPU time (s) 160.03
Current children cumulated vsize (Kb) 20972

[startup+170.104 s]
/proc/loadavg: 0.99 0.97 0.97 2/64 24083
/proc/meminfo: memFree=1727288/2055920 swapFree=4181400/4192956
[pid=24083] ppid=24081 vsize=20972 CPUtime=170.03
/proc/24083/stat : 24083 (Pueblo13) R 24081 24083 24037 0 -1 4194304 5145 0 0 0 16960 43 0 0 25 0 1 0 201325037 21475328 4849 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527815 0 0 4096 0 0 0 0 17 1 0 0
/proc/24083/statm: 5243 4849 205 16 0 4684 0
Current children cumulated CPU time (s) 170.03
Current children cumulated vsize (Kb) 20972

[startup+180.11 s]
/proc/loadavg: 0.99 0.97 0.97 2/64 24083
/proc/meminfo: memFree=1727288/2055920 swapFree=4181400/4192956
[pid=24083] ppid=24081 vsize=20972 CPUtime=180.04
/proc/24083/stat : 24083 (Pueblo13) R 24081 24083 24037 0 -1 4194304 5145 0 0 0 17960 44 0 0 25 0 1 0 201325037 21475328 4849 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/24083/statm: 5243 4849 205 16 0 4684 0
Current children cumulated CPU time (s) 180.04
Current children cumulated vsize (Kb) 20972

[startup+190.116 s]
/proc/loadavg: 0.99 0.97 0.97 2/64 24083
/proc/meminfo: memFree=1727288/2055920 swapFree=4181400/4192956
[pid=24083] ppid=24081 vsize=20972 CPUtime=190.04
/proc/24083/stat : 24083 (Pueblo13) R 24081 24083 24037 0 -1 4194304 5145 0 0 0 18959 45 0 0 25 0 1 0 201325037 21475328 4849 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134528515 0 0 4096 0 0 0 0 17 1 0 0
/proc/24083/statm: 5243 4849 205 16 0 4684 0
Current children cumulated CPU time (s) 190.04
Current children cumulated vsize (Kb) 20972

[startup+200.121 s]
/proc/loadavg: 0.99 0.97 0.97 2/64 24083
/proc/meminfo: memFree=1727288/2055920 swapFree=4181400/4192956
[pid=24083] ppid=24081 vsize=20972 CPUtime=200.04
/proc/24083/stat : 24083 (Pueblo13) R 24081 24083 24037 0 -1 4194304 5145 0 0 0 19958 46 0 0 25 0 1 0 201325037 21475328 4849 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134528590 0 0 4096 0 0 0 0 17 1 0 0
/proc/24083/statm: 5243 4849 205 16 0 4684 0
Current children cumulated CPU time (s) 200.04
Current children cumulated vsize (Kb) 20972

[startup+210.128 s]
/proc/loadavg: 0.99 0.97 0.97 2/64 24083
/proc/meminfo: memFree=1727288/2055920 swapFree=4181400/4192956

################
# More data... #
################

/proc/24083/statm: 9545 9126 205 16 0 8986 0
Current children cumulated CPU time (s) 1590.29
Current children cumulated vsize (Kb) 38180

[startup+1600.96 s]
/proc/loadavg: 0.99 0.97 0.97 2/64 24278
/proc/meminfo: memFree=1710008/2055920 swapFree=4181400/4192956
[pid=24083] ppid=24081 vsize=38016 CPUtime=1600.28
/proc/24083/stat : 24083 (Pueblo13) R 24081 24083 24037 0 -1 4194304 14698 0 0 0 159460 568 0 0 25 0 1 0 201325037 38928384 9111 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/24083/statm: 9504 9111 205 16 0 8945 0
Current children cumulated CPU time (s) 1600.28
Current children cumulated vsize (Kb) 38016

[startup+1610.97 s]
/proc/loadavg: 0.99 0.97 0.97 2/64 24278
/proc/meminfo: memFree=1710008/2055920 swapFree=4181400/4192956
[pid=24083] ppid=24081 vsize=37992 CPUtime=1610.28
/proc/24083/stat : 24083 (Pueblo13) R 24081 24083 24037 0 -1 4194304 14698 0 0 0 160458 570 0 0 25 0 1 0 201325037 38903808 9105 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/24083/statm: 9498 9105 205 16 0 8939 0
Current children cumulated CPU time (s) 1610.28
Current children cumulated vsize (Kb) 37992

[startup+1620.97 s]
/proc/loadavg: 0.99 0.97 0.97 2/64 24278
/proc/meminfo: memFree=1710904/2055920 swapFree=4181400/4192956
[pid=24083] ppid=24081 vsize=37020 CPUtime=1620.29
/proc/24083/stat : 24083 (Pueblo13) R 24081 24083 24037 0 -1 4194304 14698 0 0 0 161457 572 0 0 25 0 1 0 201325037 37908480 8862 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/24083/statm: 9255 8862 205 16 0 8696 0
Current children cumulated CPU time (s) 1620.29
Current children cumulated vsize (Kb) 37020

[startup+1630.98 s]
/proc/loadavg: 0.99 0.97 0.97 2/64 24278
/proc/meminfo: memFree=1711736/2055920 swapFree=4181400/4192956
[pid=24083] ppid=24081 vsize=36168 CPUtime=1630.29
/proc/24083/stat : 24083 (Pueblo13) R 24081 24083 24037 0 -1 4194304 14698 0 0 0 162454 575 0 0 25 0 1 0 201325037 37036032 8649 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/24083/statm: 9042 8649 205 16 0 8483 0
Current children cumulated CPU time (s) 1630.29
Current children cumulated vsize (Kb) 36168

[startup+1640.98 s]
/proc/loadavg: 0.99 0.97 0.97 2/64 24278
/proc/meminfo: memFree=1711736/2055920 swapFree=4181400/4192956
[pid=24083] ppid=24081 vsize=36168 CPUtime=1640.29
/proc/24083/stat : 24083 (Pueblo13) R 24081 24083 24037 0 -1 4194304 14698 0 0 0 163451 578 0 0 25 0 1 0 201325037 37036032 8649 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/24083/statm: 9042 8649 205 16 0 8483 0
Current children cumulated CPU time (s) 1640.29
Current children cumulated vsize (Kb) 36168

[startup+1650.99 s]
/proc/loadavg: 0.99 0.97 0.97 2/64 24278
/proc/meminfo: memFree=1712120/2055920 swapFree=4181400/4192956
[pid=24083] ppid=24081 vsize=35736 CPUtime=1650.3
/proc/24083/stat : 24083 (Pueblo13) R 24081 24083 24037 0 -1 4194304 14698 0 0 0 164448 582 0 0 25 0 1 0 201325037 36593664 8541 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/24083/statm: 8934 8541 205 16 0 8375 0
Current children cumulated CPU time (s) 1650.3
Current children cumulated vsize (Kb) 35736

[startup+1661 s]
/proc/loadavg: 0.99 0.97 0.97 2/64 24278
/proc/meminfo: memFree=1712120/2055920 swapFree=4181400/4192956
[pid=24083] ppid=24081 vsize=35736 CPUtime=1660.3
/proc/24083/stat : 24083 (Pueblo13) R 24081 24083 24037 0 -1 4194304 14698 0 0 0 165444 586 0 0 25 0 1 0 201325037 36593664 8541 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/24083/statm: 8934 8541 205 16 0 8375 0
Current children cumulated CPU time (s) 1660.3
Current children cumulated vsize (Kb) 35736

[startup+1671 s]
/proc/loadavg: 0.99 0.97 0.97 2/64 24278
/proc/meminfo: memFree=1712120/2055920 swapFree=4181400/4192956
[pid=24083] ppid=24081 vsize=35736 CPUtime=1670.3
/proc/24083/stat : 24083 (Pueblo13) R 24081 24083 24037 0 -1 4194304 14698 0 0 0 166441 589 0 0 25 0 1 0 201325037 36593664 8541 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/24083/statm: 8934 8541 205 16 0 8375 0
Current children cumulated CPU time (s) 1670.3
Current children cumulated vsize (Kb) 35736

[startup+1681.01 s]
/proc/loadavg: 0.99 0.97 0.97 2/64 24278
/proc/meminfo: memFree=1713016/2055920 swapFree=4181400/4192956
[pid=24083] ppid=24081 vsize=34848 CPUtime=1680.31
/proc/24083/stat : 24083 (Pueblo13) R 24081 24083 24037 0 -1 4194304 14698 0 0 0 167436 595 0 0 25 0 1 0 201325037 35684352 8319 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/24083/statm: 8712 8319 205 16 0 8153 0
Current children cumulated CPU time (s) 1680.31
Current children cumulated vsize (Kb) 34848

[startup+1691.01 s]
/proc/loadavg: 0.99 0.97 0.97 2/64 24278
/proc/meminfo: memFree=1713016/2055920 swapFree=4181400/4192956
[pid=24083] ppid=24081 vsize=34848 CPUtime=1690.3
/proc/24083/stat : 24083 (Pueblo13) R 24081 24083 24037 0 -1 4194304 14698 0 0 0 168433 597 0 0 25 0 1 0 201325037 35684352 8319 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134528312 0 0 4096 0 0 0 0 17 1 0 0
/proc/24083/statm: 8712 8319 205 16 0 8153 0
Current children cumulated CPU time (s) 1690.3
Current children cumulated vsize (Kb) 34848

[startup+1701.02 s]
/proc/loadavg: 0.99 0.97 0.97 2/64 24278
/proc/meminfo: memFree=1713016/2055920 swapFree=4181400/4192956
[pid=24083] ppid=24081 vsize=34848 CPUtime=1700.31
/proc/24083/stat : 24083 (Pueblo13) R 24081 24083 24037 0 -1 4194304 14698 0 0 0 169431 600 0 0 25 0 1 0 201325037 35684352 8319 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/24083/statm: 8712 8319 205 16 0 8153 0
Current children cumulated CPU time (s) 1700.31
Current children cumulated vsize (Kb) 34848

[startup+1711.02 s]
/proc/loadavg: 0.99 0.97 0.97 2/64 24278
/proc/meminfo: memFree=1713016/2055920 swapFree=4181400/4192956
[pid=24083] ppid=24081 vsize=34848 CPUtime=1710.31
/proc/24083/stat : 24083 (Pueblo13) R 24081 24083 24037 0 -1 4194304 14698 0 0 0 170430 601 0 0 25 0 1 0 201325037 35684352 8319 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0
/proc/24083/statm: 8712 8319 205 16 0 8153 0
Current children cumulated CPU time (s) 1710.31
Current children cumulated vsize (Kb) 34848

[startup+1721.03 s]
/proc/loadavg: 0.99 0.97 0.97 2/64 24278
/proc/meminfo: memFree=1712760/2055920 swapFree=4181400/4192956
[pid=24083] ppid=24081 vsize=35328 CPUtime=1720.31
/proc/24083/stat : 24083 (Pueblo13) R 24081 24083 24037 0 -1 4194304 14812 0 0 0 171426 605 0 0 25 0 1 0 201325037 36175872 8433 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 11716219 0 0 4096 0 0 0 0 17 1 0 0
/proc/24083/statm: 8832 8433 205 16 0 8273 0
Current children cumulated CPU time (s) 1720.31
Current children cumulated vsize (Kb) 35328

[startup+1731.04 s]
/proc/loadavg: 0.99 0.97 0.97 2/64 24278
/proc/meminfo: memFree=1709624/2055920 swapFree=4181400/4192956
[pid=24083] ppid=24081 vsize=38464 CPUtime=1730.32
/proc/24083/stat : 24083 (Pueblo13) R 24081 24083 24037 0 -1 4194304 15579 0 0 0 172422 610 0 0 25 0 1 0 201325037 39387136 9200 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/24083/statm: 9616 9200 205 16 0 9057 0
Current children cumulated CPU time (s) 1730.32
Current children cumulated vsize (Kb) 38464

[startup+1741.04 s]
/proc/loadavg: 0.99 0.97 0.97 2/64 24278
/proc/meminfo: memFree=1709624/2055920 swapFree=4181400/4192956
[pid=24083] ppid=24081 vsize=38464 CPUtime=1740.32
/proc/24083/stat : 24083 (Pueblo13) R 24081 24083 24037 0 -1 4194304 15579 0 0 0 173420 612 0 0 25 0 1 0 201325037 39387136 9200 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/24083/statm: 9616 9200 205 16 0 9057 0
Current children cumulated CPU time (s) 1740.32
Current children cumulated vsize (Kb) 38464

[startup+1751.05 s]
/proc/loadavg: 0.99 0.97 0.97 2/64 24278
/proc/meminfo: memFree=1710072/2055920 swapFree=4181400/4192956
[pid=24083] ppid=24081 vsize=37728 CPUtime=1750.32
/proc/24083/stat : 24083 (Pueblo13) R 24081 24083 24037 0 -1 4194304 15579 0 0 0 174419 613 0 0 25 0 1 0 201325037 38633472 9039 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527836 0 0 4096 0 0 0 0 17 1 0 0
/proc/24083/statm: 9432 9039 205 16 0 8873 0
Current children cumulated CPU time (s) 1750.32
Current children cumulated vsize (Kb) 37728

[startup+1761.05 s]
/proc/loadavg: 0.99 0.97 0.97 2/64 24278
/proc/meminfo: memFree=1712952/2055920 swapFree=4181400/4192956
[pid=24083] ppid=24081 vsize=34848 CPUtime=1760.33
/proc/24083/stat : 24083 (Pueblo13) R 24081 24083 24037 0 -1 4194304 15579 0 0 0 175417 616 0 0 25 0 1 0 201325037 35684352 8319 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/24083/statm: 8712 8319 205 16 0 8153 0
Current children cumulated CPU time (s) 1760.33
Current children cumulated vsize (Kb) 34848

[startup+1771.06 s]
/proc/loadavg: 0.99 0.97 0.97 2/64 24278
/proc/meminfo: memFree=1712952/2055920 swapFree=4181400/4192956
[pid=24083] ppid=24081 vsize=34848 CPUtime=1770.32
/proc/24083/stat : 24083 (Pueblo13) R 24081 24083 24037 0 -1 4194304 15579 0 0 0 176414 618 0 0 25 0 1 0 201325037 35684352 8319 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527759 0 0 4096 0 0 0 0 17 1 0 0
/proc/24083/statm: 8712 8319 205 16 0 8153 0
Current children cumulated CPU time (s) 1770.32
Current children cumulated vsize (Kb) 34848

[startup+1781.07 s]
/proc/loadavg: 0.99 0.97 0.97 2/64 24278
/proc/meminfo: memFree=1712952/2055920 swapFree=4181400/4192956
[pid=24083] ppid=24081 vsize=34848 CPUtime=1780.32
/proc/24083/stat : 24083 (Pueblo13) R 24081 24083 24037 0 -1 4194304 15579 0 0 0 177412 620 0 0 25 0 1 0 201325037 35684352 8319 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/24083/statm: 8712 8319 205 16 0 8153 0
Current children cumulated CPU time (s) 1780.32
Current children cumulated vsize (Kb) 34848

[startup+1782.07 s]
/proc/loadavg: 0.99 0.97 0.97 2/64 24278
/proc/meminfo: memFree=1712952/2055920 swapFree=4181400/4192956
[pid=24083] ppid=24081 vsize=34848 CPUtime=1781.34
/proc/24083/stat : 24083 (Pueblo13) R 24081 24083 24037 0 -1 4194304 15579 0 0 0 177513 621 0 0 25 0 1 0 201325037 35684352 8319 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/24083/statm: 8712 8319 205 16 0 8153 0
Current children cumulated CPU time (s) 1781.34
Current children cumulated vsize (Kb) 34848

[startup+1783.08 s]
/proc/loadavg: 0.99 0.97 0.97 2/64 24278
/proc/meminfo: memFree=1712952/2055920 swapFree=4181400/4192956
[pid=24083] ppid=24081 vsize=34848 CPUtime=1782.34
/proc/24083/stat : 24083 (Pueblo13) R 24081 24083 24037 0 -1 4194304 15579 0 0 0 177613 621 0 0 25 0 1 0 201325037 35684352 8319 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134558794 0 0 4096 0 0 0 0 17 1 0 0
/proc/24083/statm: 8712 8319 205 16 0 8153 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (Kb) 34848

Child status: 10
Real time (s): 1783.57
CPU time (s): 1782.74
CPU user time (s): 1776.52
CPU system time (s): 6.21705
CPU usage (%): 99.9536
Max. virtual memory (cumulated for all children) (Kb): 41520

Begin job on node44 on Sat Jun  3 17:43:02 UTC 2006


FILE ID= 37725-1149356582

PBS_JOBID= 311279

BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib2003/normalized-reduced-mps-v2-20-10-nsrand-ipx.opb
COMMAND LINE= ROOT/solvers/PB/PB06final/user8/Pueblo13 ROOT/tmp/node44/37725-1149356582/instance-37725-1149356582.opb
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node44/watcher-37725-1149356582 -o ROOT/results/node44/solver-37725-1149356582 -C 1800 -M 1800 -S 64  ROOT/solvers/PB/PB06final/user8/Pueblo13 ROOT/tmp/node44/37725-1149356582/instance-37725-1149356582.opb

MD5SUM SOLVER= b45add8200bccdf53727749bff226bd1
MD5SUM BENCH=  b75dadb532de8158b35ca12cd6b47e2f

RANDOM SEED= 242083231


/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.261
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.261
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:       1746168 kB
Buffers:         21284 kB
Cached:         224052 kB
SwapCached:       3272 kB
Active:          50656 kB
Inactive:       203460 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1746168 kB
SwapTotal:     4192956 kB
SwapFree:      4181400 kB
Dirty:             180 kB
Writeback:           0 kB
Mapped:          14948 kB
Slab:            41664 kB
Committed_AS:   343252 kB
PageTables:       1412 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB


End job on node44 on Sat Jun  3 18:12:46 UTC 2006