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

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/node7/watcher-36420-1149267772 -o ROOT/results/node7/solver-36420-1149267772 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user8/Pueblo ROOT/tmp/node7/36420-1149267772/instance-36420-1149267772.opb 

Current StackSize limit: 67108864 bytes

/proc/loadavg: 0.92 0.97 0.93 2/64 7769
/proc/meminfo: memFree=1355808/2055920 swapFree=4181500/4192956
[pid=7769] ppid=7767 vsize=2328 CPUtime=0
/proc/7769/stat : 7769 (Pueblo) R 7767 7769 7723 0 -1 4194304 148 0 0 0 0 0 0 0 18 0 1 0 192439450 2383872 129 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 10386296 0 0 4096 0 0 0 0 17 1 0 0
/proc/7769/statm: 582 129 110 16 0 11 0

[startup+10.0023 s]
/proc/loadavg: 0.93 0.97 0.93 2/64 7769
/proc/meminfo: memFree=1345888/2055920 swapFree=4181500/4192956
[pid=7769] ppid=7767 vsize=12316 CPUtime=9.99
/proc/7769/stat : 7769 (Pueblo) R 7767 7769 7723 0 -1 4194304 2709 0 0 0 995 4 0 0 25 0 1 0 192439450 12611584 2680 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/7769/statm: 3079 2680 205 16 0 2520 0
Current children cumulated CPU time (s) 9.99
Current children cumulated vsize (Kb) 12316

[startup+20.0084 s]
/proc/loadavg: 0.94 0.97 0.93 2/64 7769
/proc/meminfo: memFree=1346016/2055920 swapFree=4181500/4192956
[pid=7769] ppid=7767 vsize=12316 CPUtime=20
/proc/7769/stat : 7769 (Pueblo) R 7767 7769 7723 0 -1 4194304 2709 0 0 0 1993 7 0 0 25 0 1 0 192439450 12611584 2680 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/7769/statm: 3079 2680 205 16 0 2520 0
Current children cumulated CPU time (s) 20
Current children cumulated vsize (Kb) 12316

[startup+30.0144 s]
/proc/loadavg: 0.95 0.97 0.93 2/64 7769
/proc/meminfo: memFree=1345632/2055920 swapFree=4181500/4192956
[pid=7769] ppid=7767 vsize=12828 CPUtime=30
/proc/7769/stat : 7769 (Pueblo) R 7767 7769 7723 0 -1 4194304 2821 0 0 0 2991 9 0 0 25 0 1 0 192439450 13135872 2792 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527715 0 0 4096 0 0 0 0 17 1 0 0
/proc/7769/statm: 3207 2792 205 16 0 2648 0
Current children cumulated CPU time (s) 30
Current children cumulated vsize (Kb) 12828

[startup+40.0205 s]
/proc/loadavg: 0.96 0.97 0.93 2/64 7769
/proc/meminfo: memFree=1345312/2055920 swapFree=4181500/4192956
[pid=7769] ppid=7767 vsize=13084 CPUtime=40
/proc/7769/stat : 7769 (Pueblo) R 7767 7769 7723 0 -1 4194304 2900 0 0 0 3989 11 0 0 25 0 1 0 192439450 13398016 2871 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/7769/statm: 3271 2871 205 16 0 2712 0
Current children cumulated CPU time (s) 40
Current children cumulated vsize (Kb) 13084

[startup+50.0266 s]
/proc/loadavg: 0.96 0.97 0.93 2/64 7769
/proc/meminfo: memFree=1344800/2055920 swapFree=4181500/4192956
[pid=7769] ppid=7767 vsize=13600 CPUtime=50
/proc/7769/stat : 7769 (Pueblo) R 7767 7769 7723 0 -1 4194304 3037 0 0 0 4987 13 0 0 25 0 1 0 192439450 13926400 3008 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527812 0 0 4096 0 0 0 0 17 1 0 0
/proc/7769/statm: 3400 3008 205 16 0 2841 0
Current children cumulated CPU time (s) 50
Current children cumulated vsize (Kb) 13600

[startup+60.0326 s]
/proc/loadavg: 0.97 0.97 0.93 2/64 7769
/proc/meminfo: memFree=1344800/2055920 swapFree=4181500/4192956
[pid=7769] ppid=7767 vsize=13600 CPUtime=60.01
/proc/7769/stat : 7769 (Pueblo) R 7767 7769 7723 0 -1 4194304 3037 0 0 0 5986 15 0 0 25 0 1 0 192439450 13926400 3008 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/7769/statm: 3400 3008 205 16 0 2841 0
Current children cumulated CPU time (s) 60.01
Current children cumulated vsize (Kb) 13600

[startup+70.0397 s]
/proc/loadavg: 0.97 0.97 0.93 2/64 7769
/proc/meminfo: memFree=1344288/2055920 swapFree=4181500/4192956
[pid=7769] ppid=7767 vsize=14228 CPUtime=70.01
/proc/7769/stat : 7769 (Pueblo) R 7767 7769 7723 0 -1 4194304 3165 0 0 0 6986 15 0 0 25 0 1 0 192439450 14569472 3136 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527812 0 0 4096 0 0 0 0 17 1 0 0
/proc/7769/statm: 3557 3136 205 16 0 2998 0
Current children cumulated CPU time (s) 70.01
Current children cumulated vsize (Kb) 14228

[startup+80.0457 s]
/proc/loadavg: 0.98 0.97 0.93 2/64 7769
/proc/meminfo: memFree=1343776/2055920 swapFree=4181500/4192956
[pid=7769] ppid=7767 vsize=14612 CPUtime=80.01
/proc/7769/stat : 7769 (Pueblo) R 7767 7769 7723 0 -1 4194304 3285 0 0 0 7985 16 0 0 25 0 1 0 192439450 14962688 3256 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527841 0 0 4096 0 0 0 0 17 1 0 0
/proc/7769/statm: 3653 3256 205 16 0 3094 0
Current children cumulated CPU time (s) 80.01
Current children cumulated vsize (Kb) 14612

[startup+90.0518 s]
/proc/loadavg: 0.98 0.97 0.93 2/64 7769
/proc/meminfo: memFree=1343200/2055920 swapFree=4181500/4192956
[pid=7769] ppid=7767 vsize=15252 CPUtime=90.02
/proc/7769/stat : 7769 (Pueblo) R 7767 7769 7723 0 -1 4194304 3426 0 0 0 8985 17 0 0 25 0 1 0 192439450 15618048 3397 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527395 0 0 4096 0 0 0 0 17 1 0 0
/proc/7769/statm: 3813 3397 205 16 0 3254 0
Current children cumulated CPU time (s) 90.02
Current children cumulated vsize (Kb) 15252

[startup+100.058 s]
/proc/loadavg: 0.98 0.97 0.93 2/64 7769
/proc/meminfo: memFree=1343200/2055920 swapFree=4181500/4192956
[pid=7769] ppid=7767 vsize=15252 CPUtime=100.02
/proc/7769/stat : 7769 (Pueblo) R 7767 7769 7723 0 -1 4194304 3426 0 0 0 9985 17 0 0 25 0 1 0 192439450 15618048 3397 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134528239 0 0 4096 0 0 0 0 17 1 0 0
/proc/7769/statm: 3813 3397 205 16 0 3254 0
Current children cumulated CPU time (s) 100.02
Current children cumulated vsize (Kb) 15252

[startup+110.064 s]
/proc/loadavg: 0.98 0.97 0.93 2/64 7769
/proc/meminfo: memFree=1343200/2055920 swapFree=4181500/4192956
[pid=7769] ppid=7767 vsize=15252 CPUtime=110.03
/proc/7769/stat : 7769 (Pueblo) R 7767 7769 7723 0 -1 4194304 3426 0 0 0 10985 18 0 0 25 0 1 0 192439450 15618048 3397 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527812 0 0 4096 0 0 0 0 17 1 0 0
/proc/7769/statm: 3813 3397 205 16 0 3254 0
Current children cumulated CPU time (s) 110.03
Current children cumulated vsize (Kb) 15252

[startup+120.07 s]
/proc/loadavg: 0.99 0.97 0.93 2/64 7769
/proc/meminfo: memFree=1342752/2055920 swapFree=4181500/4192956
[pid=7769] ppid=7767 vsize=15628 CPUtime=120.03
/proc/7769/stat : 7769 (Pueblo) R 7767 7769 7723 0 -1 4194304 3541 0 0 0 11984 19 0 0 25 0 1 0 192439450 16003072 3512 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527993 0 0 4096 0 0 0 0 17 1 0 0
/proc/7769/statm: 3907 3512 205 16 0 3348 0
Current children cumulated CPU time (s) 120.03
Current children cumulated vsize (Kb) 15628

[startup+130.076 s]
/proc/loadavg: 0.99 0.97 0.93 2/64 7769
/proc/meminfo: memFree=1342752/2055920 swapFree=4181500/4192956
[pid=7769] ppid=7767 vsize=15628 CPUtime=130.03
/proc/7769/stat : 7769 (Pueblo) R 7767 7769 7723 0 -1 4194304 3541 0 0 0 12984 19 0 0 25 0 1 0 192439450 16003072 3512 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134559161 0 0 4096 0 0 0 0 17 1 0 0
/proc/7769/statm: 3907 3512 205 16 0 3348 0
Current children cumulated CPU time (s) 130.03
Current children cumulated vsize (Kb) 15628

[startup+140.082 s]
/proc/loadavg: 0.99 0.97 0.93 2/64 7769
/proc/meminfo: memFree=1342752/2055920 swapFree=4181500/4192956
[pid=7769] ppid=7767 vsize=15628 CPUtime=140.04
/proc/7769/stat : 7769 (Pueblo) R 7767 7769 7723 0 -1 4194304 3541 0 0 0 13984 20 0 0 25 0 1 0 192439450 16003072 3512 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517911 0 0 4096 0 0 0 0 17 1 0 0
/proc/7769/statm: 3907 3512 205 16 0 3348 0
Current children cumulated CPU time (s) 140.04
Current children cumulated vsize (Kb) 15628

[startup+150.088 s]
/proc/loadavg: 0.99 0.97 0.93 2/64 7769
/proc/meminfo: memFree=1342752/2055920 swapFree=4181500/4192956
[pid=7769] ppid=7767 vsize=15628 CPUtime=150.04
/proc/7769/stat : 7769 (Pueblo) R 7767 7769 7723 0 -1 4194304 3541 0 0 0 14983 21 0 0 25 0 1 0 192439450 16003072 3512 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527737 0 0 4096 0 0 0 0 17 1 0 0
/proc/7769/statm: 3907 3512 205 16 0 3348 0
Current children cumulated CPU time (s) 150.04
Current children cumulated vsize (Kb) 15628

[startup+160.094 s]
/proc/loadavg: 0.99 0.97 0.93 2/64 7769
/proc/meminfo: memFree=1342752/2055920 swapFree=4181500/4192956
[pid=7769] ppid=7767 vsize=15628 CPUtime=160.04
/proc/7769/stat : 7769 (Pueblo) R 7767 7769 7723 0 -1 4194304 3541 0 0 0 15983 21 0 0 25 0 1 0 192439450 16003072 3512 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527839 0 0 4096 0 0 0 0 17 1 0 0
/proc/7769/statm: 3907 3512 205 16 0 3348 0
Current children cumulated CPU time (s) 160.04
Current children cumulated vsize (Kb) 15628

[startup+170.1 s]
/proc/loadavg: 0.99 0.97 0.93 2/64 7769
/proc/meminfo: memFree=1342752/2055920 swapFree=4181500/4192956
[pid=7769] ppid=7767 vsize=15628 CPUtime=170.05
/proc/7769/stat : 7769 (Pueblo) R 7767 7769 7723 0 -1 4194304 3541 0 0 0 16983 22 0 0 25 0 1 0 192439450 16003072 3512 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527772 0 0 4096 0 0 0 0 17 1 0 0
/proc/7769/statm: 3907 3512 205 16 0 3348 0
Current children cumulated CPU time (s) 170.05
Current children cumulated vsize (Kb) 15628

[startup+180.106 s]
/proc/loadavg: 0.99 0.97 0.93 2/64 7769
/proc/meminfo: memFree=1342752/2055920 swapFree=4181500/4192956
[pid=7769] ppid=7767 vsize=15628 CPUtime=180.05
/proc/7769/stat : 7769 (Pueblo) R 7767 7769 7723 0 -1 4194304 3541 0 0 0 17983 22 0 0 25 0 1 0 192439450 16003072 3512 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527821 0 0 4096 0 0 0 0 17 1 0 0
/proc/7769/statm: 3907 3512 205 16 0 3348 0
Current children cumulated CPU time (s) 180.05
Current children cumulated vsize (Kb) 15628

[startup+190.112 s]
/proc/loadavg: 0.99 0.97 0.93 2/64 7769
/proc/meminfo: memFree=1342752/2055920 swapFree=4181500/4192956
[pid=7769] ppid=7767 vsize=15628 CPUtime=190.06
/proc/7769/stat : 7769 (Pueblo) R 7767 7769 7723 0 -1 4194304 3541 0 0 0 18983 23 0 0 25 0 1 0 192439450 16003072 3512 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 10851342 0 0 4096 0 0 0 0 17 1 0 0
/proc/7769/statm: 3907 3512 205 16 0 3348 0
Current children cumulated CPU time (s) 190.06
Current children cumulated vsize (Kb) 15628

[startup+200.118 s]
/proc/loadavg: 0.99 0.97 0.93 2/64 7769
/proc/meminfo: memFree=1342816/2055920 swapFree=4181500/4192956
[pid=7769] ppid=7767 vsize=15628 CPUtime=200.05
/proc/7769/stat : 7769 (Pueblo) R 7767 7769 7723 0 -1 4194304 3541 0 0 0 19982 23 0 0 25 0 1 0 192439450 16003072 3512 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527748 0 0 4096 0 0 0 0 17 1 0 0
/proc/7769/statm: 3907 3512 205 16 0 3348 0
Current children cumulated CPU time (s) 200.05
Current children cumulated vsize (Kb) 15628

[startup+210.125 s]
/proc/loadavg: 0.99 0.97 0.93 2/64 7769
/proc/meminfo: memFree=1342816/2055920 swapFree=4181500/4192956

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

/proc/7769/statm: 12112 11718 205 16 0 11553 0
Current children cumulated CPU time (s) 1590.55
Current children cumulated vsize (Kb) 48448

[startup+1600.98 s]
/proc/loadavg: 0.99 0.97 0.93 2/64 7769
/proc/meminfo: memFree=1311016/2055920 swapFree=4181500/4192956
[pid=7769] ppid=7767 vsize=47132 CPUtime=1600.57
/proc/7769/stat : 7769 (Pueblo) R 7767 7769 7723 0 -1 4194304 13059 0 0 0 159778 279 0 0 25 0 1 0 192439450 48263168 11389 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/7769/statm: 11783 11389 205 16 0 11224 0
Current children cumulated CPU time (s) 1600.57
Current children cumulated vsize (Kb) 47132

[startup+1610.99 s]
/proc/loadavg: 0.99 0.97 0.93 2/64 7769
/proc/meminfo: memFree=1311016/2055920 swapFree=4181500/4192956
[pid=7769] ppid=7767 vsize=47132 CPUtime=1610.57
/proc/7769/stat : 7769 (Pueblo) R 7767 7769 7723 0 -1 4194304 13059 0 0 0 160776 281 0 0 25 0 1 0 192439450 48263168 11389 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527815 0 0 4096 0 0 0 0 17 1 0 0
/proc/7769/statm: 11783 11389 205 16 0 11224 0
Current children cumulated CPU time (s) 1610.57
Current children cumulated vsize (Kb) 47132

[startup+1621 s]
/proc/loadavg: 0.99 0.97 0.93 2/64 7769
/proc/meminfo: memFree=1311016/2055920 swapFree=4181500/4192956
[pid=7769] ppid=7767 vsize=47132 CPUtime=1620.57
/proc/7769/stat : 7769 (Pueblo) R 7767 7769 7723 0 -1 4194304 13059 0 0 0 161775 282 0 0 25 0 1 0 192439450 48263168 11389 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/7769/statm: 11783 11389 205 16 0 11224 0
Current children cumulated CPU time (s) 1620.57
Current children cumulated vsize (Kb) 47132

[startup+1631 s]
/proc/loadavg: 0.99 0.97 0.93 2/64 7769
/proc/meminfo: memFree=1311016/2055920 swapFree=4181500/4192956
[pid=7769] ppid=7767 vsize=47132 CPUtime=1630.57
/proc/7769/stat : 7769 (Pueblo) R 7767 7769 7723 0 -1 4194304 13059 0 0 0 162773 284 0 0 25 0 1 0 192439450 48263168 11389 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/7769/statm: 11783 11389 205 16 0 11224 0
Current children cumulated CPU time (s) 1630.57
Current children cumulated vsize (Kb) 47132

[startup+1641.01 s]
/proc/loadavg: 0.99 0.97 0.93 2/64 7769
/proc/meminfo: memFree=1311016/2055920 swapFree=4181500/4192956
[pid=7769] ppid=7767 vsize=47132 CPUtime=1640.58
/proc/7769/stat : 7769 (Pueblo) R 7767 7769 7723 0 -1 4194304 13059 0 0 0 163772 286 0 0 25 0 1 0 192439450 48263168 11389 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134528360 0 0 4096 0 0 0 0 17 1 0 0
/proc/7769/statm: 11783 11389 205 16 0 11224 0
Current children cumulated CPU time (s) 1640.58
Current children cumulated vsize (Kb) 47132

[startup+1651.02 s]
/proc/loadavg: 0.99 0.97 0.93 2/64 7769
/proc/meminfo: memFree=1311400/2055920 swapFree=4181500/4192956
[pid=7769] ppid=7767 vsize=46784 CPUtime=1650.58
/proc/7769/stat : 7769 (Pueblo) R 7767 7769 7723 0 -1 4194304 13059 0 0 0 164770 288 0 0 25 0 1 0 192439450 47906816 11302 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134528061 0 0 4096 0 0 0 0 17 1 0 0
/proc/7769/statm: 11696 11302 205 16 0 11137 0
Current children cumulated CPU time (s) 1650.58
Current children cumulated vsize (Kb) 46784

[startup+1661.02 s]
/proc/loadavg: 0.99 0.97 0.93 2/64 7769
/proc/meminfo: memFree=1311400/2055920 swapFree=4181500/4192956
[pid=7769] ppid=7767 vsize=46784 CPUtime=1660.59
/proc/7769/stat : 7769 (Pueblo) R 7767 7769 7723 0 -1 4194304 13059 0 0 0 165769 290 0 0 25 0 1 0 192439450 47906816 11302 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/7769/statm: 11696 11302 205 16 0 11137 0
Current children cumulated CPU time (s) 1660.59
Current children cumulated vsize (Kb) 46784

[startup+1671.03 s]
/proc/loadavg: 0.99 0.97 0.93 2/64 7769
/proc/meminfo: memFree=1311400/2055920 swapFree=4181500/4192956
[pid=7769] ppid=7767 vsize=46784 CPUtime=1670.59
/proc/7769/stat : 7769 (Pueblo) R 7767 7769 7723 0 -1 4194304 13059 0 0 0 166768 291 0 0 25 0 1 0 192439450 47906816 11302 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/7769/statm: 11696 11302 205 16 0 11137 0
Current children cumulated CPU time (s) 1670.59
Current children cumulated vsize (Kb) 46784

[startup+1681.03 s]
/proc/loadavg: 0.99 0.97 0.93 2/64 7769
/proc/meminfo: memFree=1311400/2055920 swapFree=4181500/4192956
[pid=7769] ppid=7767 vsize=46784 CPUtime=1680.59
/proc/7769/stat : 7769 (Pueblo) R 7767 7769 7723 0 -1 4194304 13059 0 0 0 167766 293 0 0 25 0 1 0 192439450 47906816 11302 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527821 0 0 4096 0 0 0 0 17 1 0 0
/proc/7769/statm: 11696 11302 205 16 0 11137 0
Current children cumulated CPU time (s) 1680.59
Current children cumulated vsize (Kb) 46784

[startup+1691.04 s]
/proc/loadavg: 0.99 0.97 0.93 2/64 7769
/proc/meminfo: memFree=1311400/2055920 swapFree=4181500/4192956
[pid=7769] ppid=7767 vsize=46784 CPUtime=1690.59
/proc/7769/stat : 7769 (Pueblo) R 7767 7769 7723 0 -1 4194304 13059 0 0 0 168763 296 0 0 25 0 1 0 192439450 47906816 11302 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134558890 0 0 4096 0 0 0 0 17 1 0 0
/proc/7769/statm: 11696 11302 205 16 0 11137 0
Current children cumulated CPU time (s) 1690.59
Current children cumulated vsize (Kb) 46784

[startup+1701.05 s]
/proc/loadavg: 0.99 0.97 0.93 2/64 7769
/proc/meminfo: memFree=1311400/2055920 swapFree=4181500/4192956
[pid=7769] ppid=7767 vsize=46784 CPUtime=1700.59
/proc/7769/stat : 7769 (Pueblo) R 7767 7769 7723 0 -1 4194304 13059 0 0 0 169762 297 0 0 25 0 1 0 192439450 47906816 11302 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134559161 0 0 4096 0 0 0 0 17 1 0 0
/proc/7769/statm: 11696 11302 205 16 0 11137 0
Current children cumulated CPU time (s) 1700.59
Current children cumulated vsize (Kb) 46784

[startup+1711.05 s]
/proc/loadavg: 0.99 0.97 0.93 2/64 7769
/proc/meminfo: memFree=1311400/2055920 swapFree=4181500/4192956
[pid=7769] ppid=7767 vsize=46784 CPUtime=1710.6
/proc/7769/stat : 7769 (Pueblo) R 7767 7769 7723 0 -1 4194304 13059 0 0 0 170761 299 0 0 25 0 1 0 192439450 47906816 11302 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/7769/statm: 11696 11302 205 16 0 11137 0
Current children cumulated CPU time (s) 1710.6
Current children cumulated vsize (Kb) 46784

[startup+1721.06 s]
/proc/loadavg: 0.99 0.97 0.93 2/64 7769
/proc/meminfo: memFree=1311400/2055920 swapFree=4181500/4192956
[pid=7769] ppid=7767 vsize=46784 CPUtime=1720.61
/proc/7769/stat : 7769 (Pueblo) R 7767 7769 7723 0 -1 4194304 13059 0 0 0 171760 301 0 0 25 0 1 0 192439450 47906816 11302 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527715 0 0 4096 0 0 0 0 17 1 0 0
/proc/7769/statm: 11696 11302 205 16 0 11137 0
Current children cumulated CPU time (s) 1720.61
Current children cumulated vsize (Kb) 46784

[startup+1731.06 s]
/proc/loadavg: 0.99 0.97 0.93 2/64 7769
/proc/meminfo: memFree=1311400/2055920 swapFree=4181500/4192956
[pid=7769] ppid=7767 vsize=46784 CPUtime=1730.61
/proc/7769/stat : 7769 (Pueblo) R 7767 7769 7723 0 -1 4194304 13059 0 0 0 172759 302 0 0 25 0 1 0 192439450 47906816 11302 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/7769/statm: 11696 11302 205 16 0 11137 0
Current children cumulated CPU time (s) 1730.61
Current children cumulated vsize (Kb) 46784

[startup+1741.07 s]
/proc/loadavg: 0.99 0.97 0.93 2/64 7769
/proc/meminfo: memFree=1311400/2055920 swapFree=4181500/4192956
[pid=7769] ppid=7767 vsize=46784 CPUtime=1740.61
/proc/7769/stat : 7769 (Pueblo) R 7767 7769 7723 0 -1 4194304 13059 0 0 0 173757 304 0 0 25 0 1 0 192439450 47906816 11302 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527718 0 0 4096 0 0 0 0 17 1 0 0
/proc/7769/statm: 11696 11302 205 16 0 11137 0
Current children cumulated CPU time (s) 1740.61
Current children cumulated vsize (Kb) 46784

[startup+1751.08 s]
/proc/loadavg: 0.99 0.97 0.93 2/64 7769
/proc/meminfo: memFree=1311400/2055920 swapFree=4181500/4192956
[pid=7769] ppid=7767 vsize=46784 CPUtime=1750.61
/proc/7769/stat : 7769 (Pueblo) R 7767 7769 7723 0 -1 4194304 13059 0 0 0 174756 305 0 0 25 0 1 0 192439450 47906816 11302 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134520070 0 0 4096 0 0 0 0 17 1 0 0
/proc/7769/statm: 11696 11302 205 16 0 11137 0
Current children cumulated CPU time (s) 1750.61
Current children cumulated vsize (Kb) 46784

[startup+1761.08 s]
/proc/loadavg: 0.99 0.97 0.93 2/64 7769
/proc/meminfo: memFree=1311400/2055920 swapFree=4181500/4192956
[pid=7769] ppid=7767 vsize=46784 CPUtime=1760.62
/proc/7769/stat : 7769 (Pueblo) R 7767 7769 7723 0 -1 4194304 13059 0 0 0 175755 307 0 0 25 0 1 0 192439450 47906816 11302 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527715 0 0 4096 0 0 0 0 17 1 0 0
/proc/7769/statm: 11696 11302 205 16 0 11137 0
Current children cumulated CPU time (s) 1760.62
Current children cumulated vsize (Kb) 46784

[startup+1771.09 s]
/proc/loadavg: 0.99 0.97 0.93 2/64 7769
/proc/meminfo: memFree=1311400/2055920 swapFree=4181500/4192956
[pid=7769] ppid=7767 vsize=46784 CPUtime=1770.62
/proc/7769/stat : 7769 (Pueblo) R 7767 7769 7723 0 -1 4194304 13059 0 0 0 176754 308 0 0 25 0 1 0 192439450 47906816 11302 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/7769/statm: 11696 11302 205 16 0 11137 0
Current children cumulated CPU time (s) 1770.62
Current children cumulated vsize (Kb) 46784

[startup+1781.09 s]
/proc/loadavg: 0.99 0.97 0.93 2/64 7769
/proc/meminfo: memFree=1311400/2055920 swapFree=4181500/4192956
[pid=7769] ppid=7767 vsize=46784 CPUtime=1780.63
/proc/7769/stat : 7769 (Pueblo) R 7767 7769 7723 0 -1 4194304 13059 0 0 0 177752 311 0 0 25 0 1 0 192439450 47906816 11302 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/7769/statm: 11696 11302 205 16 0 11137 0
Current children cumulated CPU time (s) 1780.63
Current children cumulated vsize (Kb) 46784

[startup+1782.1 s]
/proc/loadavg: 0.99 0.97 0.93 2/64 7769
/proc/meminfo: memFree=1311400/2055920 swapFree=4181500/4192956
[pid=7769] ppid=7767 vsize=46784 CPUtime=1781.63
/proc/7769/stat : 7769 (Pueblo) R 7767 7769 7723 0 -1 4194304 13059 0 0 0 177852 311 0 0 25 0 1 0 192439450 47906816 11302 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/7769/statm: 11696 11302 205 16 0 11137 0
Current children cumulated CPU time (s) 1781.63
Current children cumulated vsize (Kb) 46784

[startup+1783.1 s]
/proc/loadavg: 0.99 0.97 0.93 2/64 7769
/proc/meminfo: memFree=1311400/2055920 swapFree=4181500/4192956
[pid=7769] ppid=7767 vsize=46784 CPUtime=1782.63
/proc/7769/stat : 7769 (Pueblo) R 7767 7769 7723 0 -1 4194304 13059 0 0 0 177952 311 0 0 25 0 1 0 192439450 47906816 11302 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527718 0 0 4096 0 0 0 0 17 1 0 0
/proc/7769/statm: 11696 11302 205 16 0 11137 0
Current children cumulated CPU time (s) 1782.63
Current children cumulated vsize (Kb) 46784

Child status: 10
Real time (s): 1783.21
CPU time (s): 1782.75
CPU user time (s): 1779.62
CPU system time (s): 3.12552
CPU usage (%): 99.9739
Max. virtual memory (cumulated for all children) (Kb): 51344

Begin job on node7 on Fri Jun  2 17:02:53 UTC 2006


FILE ID= 36420-1149267772

PBS_JOBID= 298924

BENCH NAME= ROOT/tmp/node7/36420-1149267772/instance-36420-1149267772.opb
COMMAND LINE= ROOT/solvers/PB/PB06final/user8/Pueblo ROOT/tmp/node7/36420-1149267772/instance-36420-1149267772.opb
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node7/watcher-36420-1149267772 -o ROOT/results/node7/solver-36420-1149267772 -C 1800 -M 1800 -S 64  ROOT/solvers/PB/PB06final/user8/Pueblo ROOT/tmp/node7/36420-1149267772/instance-36420-1149267772.opb

MD5SUM SOLVER= 80c24de60e85bc4a9ec18ca4764e7dff
MD5SUM BENCH=  5afe2e688387cc46a3d150d955d27ab1

RANDOM SEED= 82033561


/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.232
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5914.62
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.232
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1356080 kB
Buffers:         35348 kB
Cached:         591856 kB
SwapCached:       3564 kB
Active:         205912 kB
Inactive:       430384 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1356080 kB
SwapTotal:     4192956 kB
SwapFree:      4181500 kB
Dirty:             168 kB
Writeback:           0 kB
Mapped:          14972 kB
Slab:            49608 kB
Committed_AS:   251160 kB
PageTables:       1480 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB


End job on node7 on Fri Jun  2 17:32:36 UTC 2006