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

OK	23

/tmp/evaluation/373046-1177159907/instance-373046-1177159907.opb is already a linear file

runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr

command line: runsolver --timestamp -w ROOT/results/node71/watcher-373046-1177159907 -o ROOT/results/node71/solver-373046-1177159907 -C 1800 -W 3600 -M 1800 --output-limit 1,15 Pueblo /tmp/evaluation/373046-1177159907/instance-373046-1177159907.opb 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 6487
/proc/meminfo: memFree=1686728/2055920 swapFree=4184240/4192956
[pid=6487] ppid=6485 vsize=2552 CPUtime=0
/proc/6487/stat : 6487 (Pueblo) R 6485 6487 5935 0 -1 4194304 260 0 0 0 0 0 0 0 18 0 1 0 191980005 2613248 230 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 7671511 0 0 4096 0 0 0 0 17 1 0 0
/proc/6487/statm: 638 230 193 16 0 77 0

[startup+0.073239 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 6487
/proc/meminfo: memFree=1686728/2055920 swapFree=4184240/4192956
[pid=6487] ppid=6485 vsize=3616 CPUtime=0.06
/proc/6487/stat : 6487 (Pueblo) R 6485 6487 5935 0 -1 4194304 524 0 0 0 6 0 0 0 18 0 1 0 191980005 3702784 494 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/6487/statm: 904 494 199 16 0 343 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 3616

[startup+0.101243 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 6487
/proc/meminfo: memFree=1686728/2055920 swapFree=4184240/4192956
[pid=6487] ppid=6485 vsize=4016 CPUtime=0.09
/proc/6487/stat : 6487 (Pueblo) R 6485 6487 5935 0 -1 4194304 622 0 0 0 9 0 0 0 18 0 1 0 191980005 4112384 592 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 7671511 0 0 4096 0 0 0 0 17 1 0 0
/proc/6487/statm: 1004 592 199 16 0 443 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 4016

[startup+0.30127 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 6487
/proc/meminfo: memFree=1686728/2055920 swapFree=4184240/4192956
[pid=6487] ppid=6485 vsize=6784 CPUtime=0.3
/proc/6487/stat : 6487 (Pueblo) R 6485 6487 5935 0 -1 4194304 1303 0 0 0 29 1 0 0 19 0 1 0 191980005 6946816 1273 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 134532044 0 0 4096 0 0 0 0 17 1 0 0
/proc/6487/statm: 1696 1273 204 16 0 1135 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 6784

[startup+0.701324 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 6487
/proc/meminfo: memFree=1686728/2055920 swapFree=4184240/4192956
[pid=6487] ppid=6485 vsize=7724 CPUtime=0.69
/proc/6487/stat : 6487 (Pueblo) R 6485 6487 5935 0 -1 4194304 1513 0 0 0 68 1 0 0 22 0 1 0 191980005 7909376 1483 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 134523377 0 0 4096 0 0 0 0 17 1 0 0
/proc/6487/statm: 1931 1483 205 16 0 1370 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 7724

[startup+1.50244 s]
/proc/loadavg: 0.92 0.98 0.99 2/65 6488
/proc/meminfo: memFree=1681600/2055920 swapFree=4184240/4192956
[pid=6487] ppid=6485 vsize=7724 CPUtime=1.49
/proc/6487/stat : 6487 (Pueblo) R 6485 6487 5935 0 -1 4194304 1519 0 0 0 148 1 0 0 25 0 1 0 191980005 7909376 1489 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 134522729 0 0 4096 0 0 0 0 17 1 0 0
/proc/6487/statm: 1931 1489 205 16 0 1370 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 7724

[startup+3.10165 s]
/proc/loadavg: 0.92 0.98 0.99 2/65 6488
/proc/meminfo: memFree=1681088/2055920 swapFree=4184240/4192956
[pid=6487] ppid=6485 vsize=8580 CPUtime=3.09
/proc/6487/stat : 6487 (Pueblo) R 6485 6487 5935 0 -1 4194304 1812 0 0 0 308 1 0 0 25 0 1 0 191980005 8785920 1723 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 134522701 0 0 4096 0 0 0 0 17 1 0 0
/proc/6487/statm: 2145 1723 205 16 0 1584 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 8580

[startup+6.30109 s]
/proc/loadavg: 0.93 0.98 0.99 2/65 6488
/proc/meminfo: memFree=1679168/2055920 swapFree=4184240/4192956
[pid=6487] ppid=6485 vsize=9792 CPUtime=6.29
/proc/6487/stat : 6487 (Pueblo) R 6485 6487 5935 0 -1 4194304 2189 0 0 0 627 2 0 0 25 0 1 0 191980005 10027008 2024 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 134522701 0 0 4096 0 0 0 0 17 1 0 0
/proc/6487/statm: 2448 2024 205 16 0 1887 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 9792

[startup+12.702 s]
/proc/loadavg: 0.93 0.98 0.99 2/65 6488
/proc/meminfo: memFree=1674560/2055920 swapFree=4184240/4192956
[pid=6487] ppid=6485 vsize=14272 CPUtime=12.69
/proc/6487/stat : 6487 (Pueblo) R 6485 6487 5935 0 -1 4194304 3421 0 0 0 1266 3 0 0 25 0 1 0 191980005 14614528 3151 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 134522731 0 0 4096 0 0 0 0 17 1 0 0
/proc/6487/statm: 3568 3151 205 16 0 3007 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 14272

[startup+25.5017 s]
/proc/loadavg: 0.95 0.98 0.99 2/65 6488
/proc/meminfo: memFree=1667264/2055920 swapFree=4184240/4192956
[pid=6487] ppid=6485 vsize=22172 CPUtime=25.48
/proc/6487/stat : 6487 (Pueblo) R 6485 6487 5935 0 -1 4194304 5487 0 0 0 2543 5 0 0 25 0 1 0 191980005 22704128 5101 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 134522731 0 0 4096 0 0 0 0 17 1 0 0
/proc/6487/statm: 5543 5101 205 16 0 4982 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 22172

[startup+51.1012 s]
/proc/loadavg: 0.96 0.98 0.99 2/65 6488
/proc/meminfo: memFree=1649984/2055920 swapFree=4184240/4192956
[pid=6487] ppid=6485 vsize=39616 CPUtime=51.07
/proc/6487/stat : 6487 (Pueblo) R 6485 6487 5935 0 -1 4194304 9841 0 0 0 5099 8 0 0 25 0 1 0 191980005 40566784 9455 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0
/proc/6487/statm: 9904 9455 205 16 0 9343 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 39616

[startup+102.305 s]
/proc/loadavg: 0.98 0.98 0.99 2/65 6488
/proc/meminfo: memFree=1620928/2055920 swapFree=4184240/4192956
[pid=6487] ppid=6485 vsize=67964 CPUtime=102.27
/proc/6487/stat : 6487 (Pueblo) R 6485 6487 5935 0 -1 4194304 17236 0 0 0 10214 13 0 0 25 0 1 0 191980005 69595136 16551 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 134524559 0 0 4096 0 0 0 0 17 1 0 0
/proc/6487/statm: 16991 16551 205 16 0 16430 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 67964

[startup+162.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 6488
/proc/meminfo: memFree=1589440/2055920 swapFree=4184240/4192956
[pid=6487] ppid=6485 vsize=99952 CPUtime=162.25
/proc/6487/stat : 6487 (Pueblo) R 6485 6487 5935 0 -1 4194304 25294 0 0 0 16206 19 0 0 25 0 1 0 191980005 102350848 24536 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 134522742 0 0 4096 0 0 0 0 17 1 0 0
/proc/6487/statm: 24988 24536 205 16 0 24427 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 99952

[startup+222.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 6488
/proc/meminfo: memFree=1566656/2055920 swapFree=4184240/4192956
[pid=6487] ppid=6485 vsize=121976 CPUtime=222.23
/proc/6487/stat : 6487 (Pueblo) R 6485 6487 5935 0 -1 4194304 30839 0 0 0 22200 23 0 0 25 0 1 0 191980005 124903424 30068 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 134519093 0 0 4096 0 0 0 0 17 1 0 0
/proc/6487/statm: 30494 30068 205 16 0 29933 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 121976

[startup+282.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 6488
/proc/meminfo: memFree=1566656/2055920 swapFree=4184240/4192956
[pid=6487] ppid=6485 vsize=121976 CPUtime=282.2
/proc/6487/stat : 6487 (Pueblo) R 6485 6487 5935 0 -1 4194304 30839 0 0 0 28195 25 0 0 25 0 1 0 191980005 124903424 30068 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 134527737 0 0 4096 0 0 0 0 17 1 0 0
/proc/6487/statm: 30494 30068 205 16 0 29933 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 121976

[startup+342.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 6488
/proc/meminfo: memFree=1559232/2055920 swapFree=4184240/4192956
[pid=6487] ppid=6485 vsize=129384 CPUtime=342.18
/proc/6487/stat : 6487 (Pueblo) R 6485 6487 5935 0 -1 4194304 32715 0 0 0 34190 28 0 0 25 0 1 0 191980005 132489216 31918 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 134522695 0 0 4096 0 0 0 0 17 1 0 0
/proc/6487/statm: 32346 31918 205 16 0 31785 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 129384

[startup+402.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 6488
/proc/meminfo: memFree=1559232/2055920 swapFree=4184240/4192956
[pid=6487] ppid=6485 vsize=129384 CPUtime=402.16
/proc/6487/stat : 6487 (Pueblo) R 6485 6487 5935 0 -1 4194304 32715 0 0 0 40186 30 0 0 25 0 1 0 191980005 132489216 31918 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 134522688 0 0 4096 0 0 0 0 17 1 0 0
/proc/6487/statm: 32346 31918 205 16 0 31785 0
Current children cumulated CPU time (s) 402.16
Current children cumulated vsize (KiB) 129384

[startup+462.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 6488
/proc/meminfo: memFree=1559232/2055920 swapFree=4184240/4192956
[pid=6487] ppid=6485 vsize=129384 CPUtime=462.15
/proc/6487/stat : 6487 (Pueblo) R 6485 6487 5935 0 -1 4194304 32717 0 0 0 46182 33 0 0 25 0 1 0 191980005 132489216 31920 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 134527740 0 0 4096 0 0 0 0 17 1 0 0
/proc/6487/statm: 32346 31920 205 16 0 31785 0
Current children cumulated CPU time (s) 462.15
Current children cumulated vsize (KiB) 129384

[startup+522.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 6488
/proc/meminfo: memFree=1559232/2055920 swapFree=4184240/4192956
[pid=6487] ppid=6485 vsize=129384 CPUtime=522.13
/proc/6487/stat : 6487 (Pueblo) R 6485 6487 5935 0 -1 4194304 32717 0 0 0 52175 38 0 0 25 0 1 0 191980005 132489216 31920 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 134528622 0 0 4096 0 0 0 0 17 1 0 0
/proc/6487/statm: 32346 31920 205 16 0 31785 0
Current children cumulated CPU time (s) 522.13
Current children cumulated vsize (KiB) 129384

[startup+582.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/71 6644
/proc/meminfo: memFree=1556104/2055920 swapFree=4184240/4192956
[pid=6487] ppid=6485 vsize=131572 CPUtime=582.05
/proc/6487/stat : 6487 (Pueblo) R 6485 6487 5935 0 -1 4194304 33235 0 0 0 58164 41 0 0 25 0 1 0 191980005 134729728 32438 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 134532827 0 0 4096 0 0 0 0 17 1 0 0
/proc/6487/statm: 32893 32438 205 16 0 32332 0
Current children cumulated CPU time (s) 582.05
Current children cumulated vsize (KiB) 131572

[startup+642.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 6686
/proc/meminfo: memFree=1535104/2055920 swapFree=4184240/4192956
[pid=6487] ppid=6485 vsize=153468 CPUtime=642
/proc/6487/stat : 6487 (Pueblo) R 6485 6487 5935 0 -1 4194304 38719 0 0 0 64151 49 0 0 25 0 1 0 191980005 157151232 37922 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 134522755 0 0 4096 0 0 0 0 17 1 0 0
/proc/6487/statm: 38367 37922 205 16 0 37806 0
Current children cumulated CPU time (s) 642
Current children cumulated vsize (KiB) 153468


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

/proc/meminfo: memFree=1506112/2055920 swapFree=4184240/4192956
[pid=6487] ppid=6485 vsize=182440 CPUtime=881.92
/proc/6487/stat : 6487 (Pueblo) R 6485 6487 5935 0 -1 4194304 45960 0 0 0 88108 84 0 0 25 0 1 0 191980005 186818560 45163 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/6487/statm: 45610 45163 205 16 0 45049 0
Current children cumulated CPU time (s) 881.92
Current children cumulated vsize (KiB) 182440

[startup+942.303 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 6686
/proc/meminfo: memFree=1490048/2055920 swapFree=4184240/4192956
[pid=6487] ppid=6485 vsize=198364 CPUtime=941.9
/proc/6487/stat : 6487 (Pueblo) R 6485 6487 5935 0 -1 4194304 49962 0 0 0 94103 87 0 0 25 0 1 0 191980005 203124736 49143 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 134522755 0 0 4096 0 0 0 0 17 1 0 0
/proc/6487/statm: 49591 49143 205 16 0 49030 0
Current children cumulated CPU time (s) 941.9
Current children cumulated vsize (KiB) 198364

[startup+1002.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 6686
/proc/meminfo: memFree=1490112/2055920 swapFree=4184240/4192956
[pid=6487] ppid=6485 vsize=198364 CPUtime=1001.89
/proc/6487/stat : 6487 (Pueblo) R 6485 6487 5935 0 -1 4194304 49962 0 0 0 100100 89 0 0 25 0 1 0 191980005 203124736 49143 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 134522688 0 0 4096 0 0 0 0 17 1 0 0
/proc/6487/statm: 49591 49143 205 16 0 49030 0
Current children cumulated CPU time (s) 1001.89
Current children cumulated vsize (KiB) 198364

[startup+1062.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 6686
/proc/meminfo: memFree=1490112/2055920 swapFree=4184240/4192956
[pid=6487] ppid=6485 vsize=198364 CPUtime=1061.87
/proc/6487/stat : 6487 (Pueblo) R 6485 6487 5935 0 -1 4194304 49962 0 0 0 106097 90 0 0 25 0 1 0 191980005 203124736 49143 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 134522729 0 0 4096 0 0 0 0 17 1 0 0
/proc/6487/statm: 49591 49143 205 16 0 49030 0
Current children cumulated CPU time (s) 1061.87
Current children cumulated vsize (KiB) 198364

[startup+1122.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 6686
/proc/meminfo: memFree=1490112/2055920 swapFree=4184240/4192956
[pid=6487] ppid=6485 vsize=198364 CPUtime=1121.85
/proc/6487/stat : 6487 (Pueblo) R 6485 6487 5935 0 -1 4194304 49962 0 0 0 112094 91 0 0 25 0 1 0 191980005 203124736 49143 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 134522706 0 0 4096 0 0 0 0 17 1 0 0
/proc/6487/statm: 49591 49143 205 16 0 49030 0
Current children cumulated CPU time (s) 1121.85
Current children cumulated vsize (KiB) 198364

[startup+1182.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 6686
/proc/meminfo: memFree=1464000/2055920 swapFree=4184240/4192956
[pid=6487] ppid=6485 vsize=224576 CPUtime=1181.83
/proc/6487/stat : 6487 (Pueblo) R 6485 6487 5935 0 -1 4194304 56505 0 0 0 118087 96 0 0 25 0 1 0 191980005 229965824 55686 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 134522733 0 0 4096 0 0 0 0 17 1 0 0
/proc/6487/statm: 56144 55686 205 16 0 55583 0
Current children cumulated CPU time (s) 1181.83
Current children cumulated vsize (KiB) 224576

[startup+1242.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 6686
/proc/meminfo: memFree=1443136/2055920 swapFree=4184240/4192956
[pid=6487] ppid=6485 vsize=245208 CPUtime=1241.81
/proc/6487/stat : 6487 (Pueblo) R 6485 6487 5935 0 -1 4194304 61757 0 0 0 124082 99 0 0 25 0 1 0 191980005 251092992 60848 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 134517928 0 0 4096 0 0 0 0 17 1 0 0
/proc/6487/statm: 61302 60848 205 16 0 60741 0
Current children cumulated CPU time (s) 1241.81
Current children cumulated vsize (KiB) 245208

[startup+1302.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 6686
/proc/meminfo: memFree=1443136/2055920 swapFree=4184240/4192956
[pid=6487] ppid=6485 vsize=245208 CPUtime=1301.79
/proc/6487/stat : 6487 (Pueblo) R 6485 6487 5935 0 -1 4194304 61757 0 0 0 130079 100 0 0 25 0 1 0 191980005 251092992 60848 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 134522706 0 0 4096 0 0 0 0 17 1 0 0
/proc/6487/statm: 61302 60848 205 16 0 60741 0
Current children cumulated CPU time (s) 1301.79
Current children cumulated vsize (KiB) 245208

[startup+1362.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 6686
/proc/meminfo: memFree=1443136/2055920 swapFree=4184240/4192956
[pid=6487] ppid=6485 vsize=245208 CPUtime=1361.77
/proc/6487/stat : 6487 (Pueblo) R 6485 6487 5935 0 -1 4194304 61758 0 0 0 136075 102 0 0 25 0 1 0 191980005 251092992 60849 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 134527824 0 0 4096 0 0 0 0 17 1 0 0
/proc/6487/statm: 61302 60849 205 16 0 60741 0
Current children cumulated CPU time (s) 1361.77
Current children cumulated vsize (KiB) 245208

[startup+1422.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 6686
/proc/meminfo: memFree=1443136/2055920 swapFree=4184240/4192956
[pid=6487] ppid=6485 vsize=245208 CPUtime=1421.76
/proc/6487/stat : 6487 (Pueblo) R 6485 6487 5935 0 -1 4194304 61758 0 0 0 142071 105 0 0 25 0 1 0 191980005 251092992 60849 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 134533489 0 0 4096 0 0 0 0 17 1 0 0
/proc/6487/statm: 61302 60849 205 16 0 60741 0
Current children cumulated CPU time (s) 1421.76
Current children cumulated vsize (KiB) 245208

[startup+1482.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 6686
/proc/meminfo: memFree=1443136/2055920 swapFree=4184240/4192956
[pid=6487] ppid=6485 vsize=245208 CPUtime=1481.73
/proc/6487/stat : 6487 (Pueblo) R 6485 6487 5935 0 -1 4194304 61758 0 0 0 148066 107 0 0 25 0 1 0 191980005 251092992 60849 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 134527753 0 0 4096 0 0 0 0 17 1 0 0
/proc/6487/statm: 61302 60849 205 16 0 60741 0
Current children cumulated CPU time (s) 1481.73
Current children cumulated vsize (KiB) 245208

[startup+1542.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 6686
/proc/meminfo: memFree=1426752/2055920 swapFree=4184240/4192956
[pid=6487] ppid=6485 vsize=261760 CPUtime=1541.72
/proc/6487/stat : 6487 (Pueblo) R 6485 6487 5935 0 -1 4194304 65873 0 0 0 154062 110 0 0 25 0 1 0 191980005 268042240 64964 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 134519120 0 0 4096 0 0 0 0 17 1 0 0
/proc/6487/statm: 65440 64964 205 16 0 64879 0
Current children cumulated CPU time (s) 1541.72
Current children cumulated vsize (KiB) 261760

[startup+1602.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 6686
/proc/meminfo: memFree=1400576/2055920 swapFree=4184240/4192956
[pid=6487] ppid=6485 vsize=287748 CPUtime=1601.69
/proc/6487/stat : 6487 (Pueblo) R 6485 6487 5935 0 -1 4194304 72389 0 0 0 160056 113 0 0 25 0 1 0 191980005 294653952 71480 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 134527715 0 0 4096 0 0 0 0 17 1 0 0
/proc/6487/statm: 71937 71480 205 16 0 71376 0
Current children cumulated CPU time (s) 1601.69
Current children cumulated vsize (KiB) 287748

[startup+1662.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 6686
/proc/meminfo: memFree=1400576/2055920 swapFree=4184240/4192956
[pid=6487] ppid=6485 vsize=287748 CPUtime=1661.68
/proc/6487/stat : 6487 (Pueblo) R 6485 6487 5935 0 -1 4194304 72389 0 0 0 166053 115 0 0 25 0 1 0 191980005 294653952 71480 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 134520048 0 0 4096 0 0 0 0 17 1 0 0
/proc/6487/statm: 71937 71480 205 16 0 71376 0
Current children cumulated CPU time (s) 1661.68
Current children cumulated vsize (KiB) 287748

[startup+1722.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 6686
/proc/meminfo: memFree=1400512/2055920 swapFree=4184240/4192956
[pid=6487] ppid=6485 vsize=287748 CPUtime=1721.65
/proc/6487/stat : 6487 (Pueblo) R 6485 6487 5935 0 -1 4194304 72389 0 0 0 172050 115 0 0 25 0 1 0 191980005 294653952 71480 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 134522742 0 0 4096 0 0 0 0 17 1 0 0
/proc/6487/statm: 71937 71480 205 16 0 71376 0
Current children cumulated CPU time (s) 1721.65
Current children cumulated vsize (KiB) 287748

[startup+1782.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 6686
/proc/meminfo: memFree=1400704/2055920 swapFree=4184240/4192956
[pid=6487] ppid=6485 vsize=287748 CPUtime=1781.64
/proc/6487/stat : 6487 (Pueblo) R 6485 6487 5935 0 -1 4194304 72389 0 0 0 178047 117 0 0 25 0 1 0 191980005 294653952 71480 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 134527740 0 0 4096 0 0 0 0 17 1 0 0
/proc/6487/statm: 71937 71480 205 16 0 71376 0
Current children cumulated CPU time (s) 1781.64
Current children cumulated vsize (KiB) 287748

Solver just ended. Dumping a history of the last processes samples

[startup+1783.11 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 6686
/proc/meminfo: memFree=1400704/2055920 swapFree=4184240/4192956
[pid=6487] ppid=6485 vsize=287748 CPUtime=1782.45
/proc/6487/stat : 6487 (Pueblo) R 6485 6487 5935 0 -1 4194304 72389 0 0 0 178128 117 0 0 25 0 1 0 191980005 294653952 71480 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 134519100 0 0 4096 0 0 0 0 17 1 0 0
/proc/6487/statm: 71937 71480 205 16 0 71376 0
Current children cumulated CPU time (s) 1782.45
Current children cumulated vsize (KiB) 287748

[startup+1783.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 6686
/proc/meminfo: memFree=1400704/2055920 swapFree=4184240/4192956
[pid=6487] ppid=6485 vsize=287748 CPUtime=1782.64
/proc/6487/stat : 6487 (Pueblo) R 6485 6487 5935 0 -1 4194304 72389 0 0 0 178147 117 0 0 25 0 1 0 191980005 294653952 71480 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 134559533 0 0 4096 0 0 0 0 17 1 0 0
/proc/6487/statm: 71937 71480 205 16 0 71376 0
Current children cumulated CPU time (s) 1782.64
Current children cumulated vsize (KiB) 287748

[startup+1783.4 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 6686
/proc/meminfo: memFree=1400704/2055920 swapFree=4184240/4192956
[pid=6487] ppid=6485 vsize=0 CPUtime=1782.74
/proc/6487/stat : 6487 (Pueblo) R 6485 6487 5935 0 -1 4194308 72396 0 0 0 178156 118 0 0 16 0 1 0 191980005 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 0 0 0 0 17 1 0 0
/proc/6487/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1782.74
Current children cumulated vsize (KiB) 0

Child status: 10
Real time (s): 1783.44
CPU time (s): 1782.79
CPU user time (s): 1781.57
CPU system time (s): 1.22081
CPU usage (%): 99.9633
Max. virtual memory (cumulated for all children) (KiB): 287748

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1781.57
system time used= 1.22081
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 72396
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= 17
involuntary context switches= 3039

runsolver used 1.26981 second user time and 3.65444 second system time

The end

Begin job on node71 on Sat Apr 21 12:51:47 UTC 2007

IDJOB= 373046
IDBENCH= 25015
IDSOLVER= 165
FILE ID= node71/373046-1177159907

PBS_JOBID= 4648908

Free space on /tmp= 66444 MiB

SOLVER NAME= Pueblo 1.4
BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/decomp/normalized-matrix_5x3_6.opb
COMMAND LINE= Pueblo /tmp/evaluation/373046-1177159907/instance-373046-1177159907.opb
CONVERSION COMMAND LINE= runsolver -w ROOT/results/node71/convwatcher-373046-1177159907 -o ROOT/results/node71/conversion-373046-1177159907 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/373046-1177159907/instance-373046-1177159907.opb
CONVERSION RUNSOLVER STATUS CODE= 0
CONVERSION STATUS CODE= 0

RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node71/watcher-373046-1177159907 -o ROOT/results/node71/solver-373046-1177159907 -C 1800 -W 3600 -M 1800 --output-limit 1,15  Pueblo /tmp/evaluation/373046-1177159907/instance-373046-1177159907.opb

META MD5SUM SOLVER= 9ebec3e8d890fdeefad01654ad9b68b7
MD5SUM BENCH=  d25f6086317f033c233c4700493f03d1

RANDOM SEED= 382527603

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node71.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.234
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.234
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:       1687200 kB
Buffers:         53520 kB
Cached:         239124 kB
SwapCached:       2612 kB
Active:          77812 kB
Inactive:       225528 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1687200 kB
SwapTotal:     4192956 kB
SwapFree:      4184240 kB
Dirty:            2872 kB
Writeback:           0 kB
Mapped:          15880 kB
Slab:            51376 kB
Committed_AS:  3575404 kB
PageTables:       1448 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= 66444 MiB

End job on node71 on Sat Apr 21 13:21:30 UTC 2007