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

OK	391121

Enforcing CPU limit (will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1830 seconds
Enforcing Stack size limit: 67108864 bytes

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

Enforcing memory limit (will send SIGKILL): 1843200 Kb
Enforcing VSIZE limit: 1887436800 bytes
command line: runsolver --timestamp -w ROOT/results/node6/watcher-45430-1154035068 -o ROOT/results/node6/solver-45430-1154035068 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user4/pbsmodels-v1.31/runpbsmodels ROOT/tmp/node6/45430-1154035068/instance-45430-1154035068.opb 275005138 ROOT/tmp/node6/45430-1154035068 

Current StackSize limit: 67108864 bytes

/proc/loadavg: 0.91 0.95 0.98 3/63 24768
/proc/meminfo: memFree=746816/2055924 swapFree=4183160/4192956
[pid=24768] ppid=24766 vsize=5356 CPUtime=0
/proc/24768/stat : 24768 (runpbsmodels) R 24766 24768 24719 0 -1 4194304 261 0 0 0 0 0 0 0 19 0 1 0 150368168 5484544 227 18446744073709551615 4194304 4889804 548682069184 18446744073709551615 4417408 0 0 4100 65536 0 0 0 17 1 0 0
/proc/24768/statm: 1339 230 193 169 0 50 0

[startup+10.0017 s]
/proc/loadavg: 1.00 0.97 0.99 2/67 24773
/proc/meminfo: memFree=736800/2055924 swapFree=4183160/4192956
[pid=24768] ppid=24766 vsize=5360 CPUtime=0
/proc/24768/stat : 24768 (runpbsmodels) S 24766 24768 24719 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 150368168 5488640 234 18446744073709551615 4194304 4889804 548682069184 18446744073709551615 268582839108 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/24768/statm: 1340 234 195 169 0 51 0
[pid=24769] ppid=24768 vsize=12268 CPUtime=0
/proc/24769/stat : 24769 (pbsmodels-v1.31) S 24768 24768 24719 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 150368168 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 268591742868 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/24769/statm: 3067 383 293 3 0 167 0
[pid=24770] ppid=24769 vsize=5356 CPUtime=4.04
/proc/24770/stat : 24770 (sh) S 24769 24768 24719 0 -1 4194304 309 978 0 0 0 0 403 1 16 0 1 0 150368169 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 268582839108 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/24770/statm: 1339 227 188 169 0 50 0
[pid=24772] ppid=24770 vsize=10764 CPUtime=7.54
/proc/24772/stat : 24772 (smodels-2.31) R 24770 24768 24719 0 -1 4194304 2364 0 0 0 754 0 0 0 25 0 1 0 150368169 11022336 2328 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134532999 0 0 4096 0 0 0 0 17 1 0 0
/proc/24772/statm: 2691 2328 211 21 0 2127 0
[pid=24773] ppid=24770 vsize=12268 CPUtime=0
/proc/24773/stat : 24773 (pbout.new.pl) S 24770 24768 24719 0 -1 4194304 429 0 0 0 0 0 0 0 16 0 1 0 150368169 12562432 389 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 268591738978 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/24773/statm: 3067 389 301 3 0 167 0
Current children cumulated CPU time (s) 11.58
Current children cumulated vsize (Kb) 46016

[startup+20.0076 s]
/proc/loadavg: 1.00 0.97 0.99 2/67 24773
/proc/meminfo: memFree=736992/2055924 swapFree=4183160/4192956
[pid=24768] ppid=24766 vsize=5360 CPUtime=0
/proc/24768/stat : 24768 (runpbsmodels) S 24766 24768 24719 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 150368168 5488640 234 18446744073709551615 4194304 4889804 548682069184 18446744073709551615 268582839108 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/24768/statm: 1340 234 195 169 0 51 0
[pid=24769] ppid=24768 vsize=12268 CPUtime=0
/proc/24769/stat : 24769 (pbsmodels-v1.31) S 24768 24768 24719 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 150368168 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 268591742868 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/24769/statm: 3067 383 293 3 0 167 0
[pid=24770] ppid=24769 vsize=5356 CPUtime=4.04
/proc/24770/stat : 24770 (sh) S 24769 24768 24719 0 -1 4194304 309 978 0 0 0 0 403 1 16 0 1 0 150368169 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 268582839108 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/24770/statm: 1339 227 188 169 0 50 0
[pid=24772] ppid=24770 vsize=10764 CPUtime=17.54
/proc/24772/stat : 24772 (smodels-2.31) R 24770 24768 24719 0 -1 4194304 2364 0 0 0 1754 0 0 0 25 0 1 0 150368169 11022336 2328 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134553320 0 0 4096 0 0 0 0 17 1 0 0
/proc/24772/statm: 2691 2328 211 21 0 2127 0
[pid=24773] ppid=24770 vsize=12268 CPUtime=0
/proc/24773/stat : 24773 (pbout.new.pl) S 24770 24768 24719 0 -1 4194304 429 0 0 0 0 0 0 0 16 0 1 0 150368169 12562432 389 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 268591738978 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/24773/statm: 3067 389 301 3 0 167 0
Current children cumulated CPU time (s) 21.58
Current children cumulated vsize (Kb) 46016

[startup+30.0136 s]
/proc/loadavg: 1.00 0.97 0.99 2/67 24773
/proc/meminfo: memFree=736992/2055924 swapFree=4183160/4192956
[pid=24768] ppid=24766 vsize=5360 CPUtime=0
/proc/24768/stat : 24768 (runpbsmodels) S 24766 24768 24719 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 150368168 5488640 234 18446744073709551615 4194304 4889804 548682069184 18446744073709551615 268582839108 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/24768/statm: 1340 234 195 169 0 51 0
[pid=24769] ppid=24768 vsize=12268 CPUtime=0
/proc/24769/stat : 24769 (pbsmodels-v1.31) S 24768 24768 24719 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 150368168 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 268591742868 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/24769/statm: 3067 383 293 3 0 167 0
[pid=24770] ppid=24769 vsize=5356 CPUtime=4.04
/proc/24770/stat : 24770 (sh) S 24769 24768 24719 0 -1 4194304 309 978 0 0 0 0 403 1 16 0 1 0 150368169 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 268582839108 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/24770/statm: 1339 227 188 169 0 50 0
[pid=24772] ppid=24770 vsize=10764 CPUtime=27.54
/proc/24772/stat : 24772 (smodels-2.31) R 24770 24768 24719 0 -1 4194304 2364 0 0 0 2754 0 0 0 25 0 1 0 150368169 11022336 2328 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134552090 0 0 4096 0 0 0 0 17 1 0 0
/proc/24772/statm: 2691 2328 211 21 0 2127 0
[pid=24773] ppid=24770 vsize=12268 CPUtime=0
/proc/24773/stat : 24773 (pbout.new.pl) S 24770 24768 24719 0 -1 4194304 429 0 0 0 0 0 0 0 16 0 1 0 150368169 12562432 389 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 268591738978 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/24773/statm: 3067 389 301 3 0 167 0
Current children cumulated CPU time (s) 31.58
Current children cumulated vsize (Kb) 46016

[startup+40.0196 s]
/proc/loadavg: 1.00 0.97 0.99 2/67 24773
/proc/meminfo: memFree=737056/2055924 swapFree=4183160/4192956
[pid=24768] ppid=24766 vsize=5360 CPUtime=0
/proc/24768/stat : 24768 (runpbsmodels) S 24766 24768 24719 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 150368168 5488640 234 18446744073709551615 4194304 4889804 548682069184 18446744073709551615 268582839108 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/24768/statm: 1340 234 195 169 0 51 0
[pid=24769] ppid=24768 vsize=12268 CPUtime=0
/proc/24769/stat : 24769 (pbsmodels-v1.31) S 24768 24768 24719 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 150368168 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 268591742868 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/24769/statm: 3067 383 293 3 0 167 0
[pid=24770] ppid=24769 vsize=5356 CPUtime=4.04
/proc/24770/stat : 24770 (sh) S 24769 24768 24719 0 -1 4194304 309 978 0 0 0 0 403 1 16 0 1 0 150368169 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 268582839108 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/24770/statm: 1339 227 188 169 0 50 0
[pid=24772] ppid=24770 vsize=10764 CPUtime=37.55
/proc/24772/stat : 24772 (smodels-2.31) R 24770 24768 24719 0 -1 4194304 2364 0 0 0 3755 0 0 0 25 0 1 0 150368169 11022336 2328 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134532711 0 0 4096 0 0 0 0 17 1 0 0
/proc/24772/statm: 2691 2328 211 21 0 2127 0
[pid=24773] ppid=24770 vsize=12268 CPUtime=0
/proc/24773/stat : 24773 (pbout.new.pl) S 24770 24768 24719 0 -1 4194304 429 0 0 0 0 0 0 0 16 0 1 0 150368169 12562432 389 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 268591738978 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/24773/statm: 3067 389 301 3 0 167 0
Current children cumulated CPU time (s) 41.59
Current children cumulated vsize (Kb) 46016

[startup+50.0255 s]
/proc/loadavg: 1.00 0.97 0.99 2/67 24773
/proc/meminfo: memFree=737120/2055924 swapFree=4183160/4192956
[pid=24768] ppid=24766 vsize=5360 CPUtime=0
/proc/24768/stat : 24768 (runpbsmodels) S 24766 24768 24719 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 150368168 5488640 234 18446744073709551615 4194304 4889804 548682069184 18446744073709551615 268582839108 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/24768/statm: 1340 234 195 169 0 51 0
[pid=24769] ppid=24768 vsize=12268 CPUtime=0
/proc/24769/stat : 24769 (pbsmodels-v1.31) S 24768 24768 24719 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 150368168 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 268591742868 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/24769/statm: 3067 383 293 3 0 167 0
[pid=24770] ppid=24769 vsize=5356 CPUtime=4.04
/proc/24770/stat : 24770 (sh) S 24769 24768 24719 0 -1 4194304 309 978 0 0 0 0 403 1 16 0 1 0 150368169 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 268582839108 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/24770/statm: 1339 227 188 169 0 50 0
[pid=24772] ppid=24770 vsize=10764 CPUtime=47.55
/proc/24772/stat : 24772 (smodels-2.31) R 24770 24768 24719 0 -1 4194304 2364 0 0 0 4755 0 0 0 25 0 1 0 150368169 11022336 2328 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134553296 0 0 4096 0 0 0 0 17 1 0 0
/proc/24772/statm: 2691 2328 211 21 0 2127 0
[pid=24773] ppid=24770 vsize=12268 CPUtime=0
/proc/24773/stat : 24773 (pbout.new.pl) S 24770 24768 24719 0 -1 4194304 429 0 0 0 0 0 0 0 16 0 1 0 150368169 12562432 389 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 268591738978 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/24773/statm: 3067 389 301 3 0 167 0
Current children cumulated CPU time (s) 51.59
Current children cumulated vsize (Kb) 46016

[startup+60.0315 s]
/proc/loadavg: 1.00 0.97 0.99 2/67 24773
/proc/meminfo: memFree=737120/2055924 swapFree=4183160/4192956
[pid=24768] ppid=24766 vsize=5360 CPUtime=0
/proc/24768/stat : 24768 (runpbsmodels) S 24766 24768 24719 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 150368168 5488640 234 18446744073709551615 4194304 4889804 548682069184 18446744073709551615 268582839108 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/24768/statm: 1340 234 195 169 0 51 0
[pid=24769] ppid=24768 vsize=12268 CPUtime=0
/proc/24769/stat : 24769 (pbsmodels-v1.31) S 24768 24768 24719 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 150368168 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 268591742868 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/24769/statm: 3067 383 293 3 0 167 0
[pid=24770] ppid=24769 vsize=5356 CPUtime=4.04
/proc/24770/stat : 24770 (sh) S 24769 24768 24719 0 -1 4194304 309 978 0 0 0 0 403 1 16 0 1 0 150368169 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 268582839108 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/24770/statm: 1339 227 188 169 0 50 0
[pid=24772] ppid=24770 vsize=10764 CPUtime=57.55
/proc/24772/stat : 24772 (smodels-2.31) R 24770 24768 24719 0 -1 4194304 2364 0 0 0 5755 0 0 0 25 0 1 0 150368169 11022336 2328 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134553538 0 0 4096 0 0 0 0 17 1 0 0
/proc/24772/statm: 2691 2328 211 21 0 2127 0
[pid=24773] ppid=24770 vsize=12268 CPUtime=0
/proc/24773/stat : 24773 (pbout.new.pl) S 24770 24768 24719 0 -1 4194304 429 0 0 0 0 0 0 0 16 0 1 0 150368169 12562432 389 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 268591738978 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/24773/statm: 3067 389 301 3 0 167 0
Current children cumulated CPU time (s) 61.59
Current children cumulated vsize (Kb) 46016

[startup+70.0385 s]
/proc/loadavg: 1.00 0.97 0.99 2/67 24773
/proc/meminfo: memFree=737120/2055924 swapFree=4183160/4192956
[pid=24768] ppid=24766 vsize=5360 CPUtime=0
/proc/24768/stat : 24768 (runpbsmodels) S 24766 24768 24719 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 150368168 5488640 234 18446744073709551615 4194304 4889804 548682069184 18446744073709551615 268582839108 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/24768/statm: 1340 234 195 169 0 51 0
[pid=24769] ppid=24768 vsize=12268 CPUtime=0
/proc/24769/stat : 24769 (pbsmodels-v1.31) S 24768 24768 24719 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 150368168 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 268591742868 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/24769/statm: 3067 383 293 3 0 167 0
[pid=24770] ppid=24769 vsize=5356 CPUtime=4.04
/proc/24770/stat : 24770 (sh) S 24769 24768 24719 0 -1 4194304 309 978 0 0 0 0 403 1 16 0 1 0 150368169 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 268582839108 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/24770/statm: 1339 227 188 169 0 50 0
[pid=24772] ppid=24770 vsize=10764 CPUtime=67.55
/proc/24772/stat : 24772 (smodels-2.31) R 24770 24768 24719 0 -1 4194304 2364 0 0 0 6755 0 0 0 25 0 1 0 150368169 11022336 2328 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134552090 0 0 4096 0 0 0 0 17 1 0 0
/proc/24772/statm: 2691 2328 211 21 0 2127 0
[pid=24773] ppid=24770 vsize=12268 CPUtime=0
/proc/24773/stat : 24773 (pbout.new.pl) S 24770 24768 24719 0 -1 4194304 429 0 0 0 0 0 0 0 16 0 1 0 150368169 12562432 389 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 268591738978 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/24773/statm: 3067 389 301 3 0 167 0
Current children cumulated CPU time (s) 71.59
Current children cumulated vsize (Kb) 46016

[startup+80.0455 s]
/proc/loadavg: 1.00 0.97 0.99 2/67 24773
/proc/meminfo: memFree=737120/2055924 swapFree=4183160/4192956
[pid=24768] ppid=24766 vsize=5360 CPUtime=0
/proc/24768/stat : 24768 (runpbsmodels) S 24766 24768 24719 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 150368168 5488640 234 18446744073709551615 4194304 4889804 548682069184 18446744073709551615 268582839108 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/24768/statm: 1340 234 195 169 0 51 0
[pid=24769] ppid=24768 vsize=12268 CPUtime=0
/proc/24769/stat : 24769 (pbsmodels-v1.31) S 24768 24768 24719 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 150368168 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 268591742868 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/24769/statm: 3067 383 293 3 0 167 0
[pid=24770] ppid=24769 vsize=5356 CPUtime=4.04
/proc/24770/stat : 24770 (sh) S 24769 24768 24719 0 -1 4194304 309 978 0 0 0 0 403 1 16 0 1 0 150368169 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 268582839108 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/24770/statm: 1339 227 188 169 0 50 0
[pid=24772] ppid=24770 vsize=10764 CPUtime=77.56
/proc/24772/stat : 24772 (smodels-2.31) R 24770 24768 24719 0 -1 4194304 2364 0 0 0 7756 0 0 0 25 0 1 0 150368169 11022336 2328 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134553314 0 0 4096 0 0 0 0 17 1 0 0
/proc/24772/statm: 2691 2328 211 21 0 2127 0
[pid=24773] ppid=24770 vsize=12268 CPUtime=0
/proc/24773/stat : 24773 (pbout.new.pl) S 24770 24768 24719 0 -1 4194304 429 0 0 0 0 0 0 0 16 0 1 0 150368169 12562432 389 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 268591738978 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/24773/statm: 3067 389 301 3 0 167 0
Current children cumulated CPU time (s) 81.6
Current children cumulated vsize (Kb) 46016

[startup+90.0524 s]
/proc/loadavg: 1.00 0.97 0.99 2/67 24773
/proc/meminfo: memFree=737120/2055924 swapFree=4183160/4192956
[pid=24768] ppid=24766 vsize=5360 CPUtime=0
/proc/24768/stat : 24768 (runpbsmodels) S 24766 24768 24719 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 150368168 5488640 234 18446744073709551615 4194304 4889804 548682069184 18446744073709551615 268582839108 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/24768/statm: 1340 234 195 169 0 51 0
[pid=24769] ppid=24768 vsize=12268 CPUtime=0
/proc/24769/stat : 24769 (pbsmodels-v1.31) S 24768 24768 24719 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 150368168 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 268591742868 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/24769/statm: 3067 383 293 3 0 167 0
[pid=24770] ppid=24769 vsize=5356 CPUtime=4.04
/proc/24770/stat : 24770 (sh) S 24769 24768 24719 0 -1 4194304 309 978 0 0 0 0 403 1 16 0 1 0 150368169 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 268582839108 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/24770/statm: 1339 227 188 169 0 50 0
[pid=24772] ppid=24770 vsize=10764 CPUtime=87.56
/proc/24772/stat : 24772 (smodels-2.31) R 24770 24768 24719 0 -1 4194304 2364 0 0 0 8756 0 0 0 25 0 1 0 150368169 11022336 2328 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134552090 0 0 4096 0 0 0 0 17 1 0 0

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

/proc/24772/stat : 24772 (smodels-2.31) R 24770 24768 24719 0 -1 4194304 2376 0 0 0 178907 2 0 0 25 0 1 0 150368169 11022336 2340 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134532999 0 0 4096 0 0 0 0 17 1 0 0
/proc/24772/statm: 2691 2340 214 21 0 2127 0
[pid=24773] ppid=24770 vsize=12424 CPUtime=0
/proc/24773/stat : 24773 (pbout.new.pl) S 24770 24768 24719 0 -1 4194304 496 0 0 0 0 0 0 0 17 0 1 0 150368169 12722176 456 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 268591738978 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/24773/statm: 3106 456 333 3 0 206 0
Current children cumulated CPU time (s) 1793.13
Current children cumulated vsize (Kb) 46172

[startup+1793.21 s]
/proc/loadavg: 1.00 0.97 0.99 2/67 24775
/proc/meminfo: memFree=736744/2055924 swapFree=4183160/4192956
[pid=24768] ppid=24766 vsize=5360 CPUtime=0
/proc/24768/stat : 24768 (runpbsmodels) S 24766 24768 24719 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 150368168 5488640 234 18446744073709551615 4194304 4889804 548682069184 18446744073709551615 268582839108 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/24768/statm: 1340 234 195 169 0 51 0
[pid=24769] ppid=24768 vsize=12268 CPUtime=0
/proc/24769/stat : 24769 (pbsmodels-v1.31) S 24768 24768 24719 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 150368168 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 268591742868 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/24769/statm: 3067 383 293 3 0 167 0
[pid=24770] ppid=24769 vsize=5356 CPUtime=4.04
/proc/24770/stat : 24770 (sh) S 24769 24768 24719 0 -1 4194304 309 978 0 0 0 0 403 1 16 0 1 0 150368169 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 268582839108 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/24770/statm: 1339 227 188 169 0 50 0
[pid=24772] ppid=24770 vsize=10764 CPUtime=1790.09
/proc/24772/stat : 24772 (smodels-2.31) R 24770 24768 24719 0 -1 4194304 2376 0 0 0 179007 2 0 0 25 0 1 0 150368169 11022336 2340 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134532935 0 0 4096 0 0 0 0 17 1 0 0
/proc/24772/statm: 2691 2340 214 21 0 2127 0
[pid=24773] ppid=24770 vsize=12424 CPUtime=0
/proc/24773/stat : 24773 (pbout.new.pl) S 24770 24768 24719 0 -1 4194304 496 0 0 0 0 0 0 0 17 0 1 0 150368169 12722176 456 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 268591738978 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/24773/statm: 3106 456 333 3 0 206 0
Current children cumulated CPU time (s) 1794.13
Current children cumulated vsize (Kb) 46172

[startup+1794.22 s]
/proc/loadavg: 1.00 0.97 0.99 2/67 24775
/proc/meminfo: memFree=736744/2055924 swapFree=4183160/4192956
[pid=24768] ppid=24766 vsize=5360 CPUtime=0
/proc/24768/stat : 24768 (runpbsmodels) S 24766 24768 24719 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 150368168 5488640 234 18446744073709551615 4194304 4889804 548682069184 18446744073709551615 268582839108 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/24768/statm: 1340 234 195 169 0 51 0
[pid=24769] ppid=24768 vsize=12268 CPUtime=0
/proc/24769/stat : 24769 (pbsmodels-v1.31) S 24768 24768 24719 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 150368168 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 268591742868 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/24769/statm: 3067 383 293 3 0 167 0
[pid=24770] ppid=24769 vsize=5356 CPUtime=4.04
/proc/24770/stat : 24770 (sh) S 24769 24768 24719 0 -1 4194304 309 978 0 0 0 0 403 1 16 0 1 0 150368169 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 268582839108 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/24770/statm: 1339 227 188 169 0 50 0
[pid=24772] ppid=24770 vsize=10764 CPUtime=1791.09
/proc/24772/stat : 24772 (smodels-2.31) R 24770 24768 24719 0 -1 4194304 2376 0 0 0 179107 2 0 0 25 0 1 0 150368169 11022336 2340 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134553320 0 0 4096 0 0 0 0 17 1 0 0
/proc/24772/statm: 2691 2340 214 21 0 2127 0
[pid=24773] ppid=24770 vsize=12424 CPUtime=0
/proc/24773/stat : 24773 (pbout.new.pl) S 24770 24768 24719 0 -1 4194304 496 0 0 0 0 0 0 0 17 0 1 0 150368169 12722176 456 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 268591738978 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/24773/statm: 3106 456 333 3 0 206 0
Current children cumulated CPU time (s) 1795.13
Current children cumulated vsize (Kb) 46172

[startup+1795.22 s]
/proc/loadavg: 1.00 0.97 0.99 2/67 24775
/proc/meminfo: memFree=736744/2055924 swapFree=4183160/4192956
[pid=24768] ppid=24766 vsize=5360 CPUtime=0
/proc/24768/stat : 24768 (runpbsmodels) S 24766 24768 24719 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 150368168 5488640 234 18446744073709551615 4194304 4889804 548682069184 18446744073709551615 268582839108 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/24768/statm: 1340 234 195 169 0 51 0
[pid=24769] ppid=24768 vsize=12268 CPUtime=0
/proc/24769/stat : 24769 (pbsmodels-v1.31) S 24768 24768 24719 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 150368168 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 268591742868 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/24769/statm: 3067 383 293 3 0 167 0
[pid=24770] ppid=24769 vsize=5356 CPUtime=4.04
/proc/24770/stat : 24770 (sh) S 24769 24768 24719 0 -1 4194304 309 978 0 0 0 0 403 1 16 0 1 0 150368169 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 268582839108 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/24770/statm: 1339 227 188 169 0 50 0
[pid=24772] ppid=24770 vsize=10764 CPUtime=1792.1
/proc/24772/stat : 24772 (smodels-2.31) R 24770 24768 24719 0 -1 4194304 2376 0 0 0 179208 2 0 0 25 0 1 0 150368169 11022336 2340 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134552032 0 0 4096 0 0 0 0 17 1 0 0
/proc/24772/statm: 2691 2340 214 21 0 2127 0
[pid=24773] ppid=24770 vsize=12424 CPUtime=0
/proc/24773/stat : 24773 (pbout.new.pl) S 24770 24768 24719 0 -1 4194304 496 0 0 0 0 0 0 0 17 0 1 0 150368169 12722176 456 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 268591738978 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/24773/statm: 3106 456 333 3 0 206 0
Current children cumulated CPU time (s) 1796.14
Current children cumulated vsize (Kb) 46172

[startup+1796.23 s]
/proc/loadavg: 1.00 0.97 0.99 2/67 24775
/proc/meminfo: memFree=736744/2055924 swapFree=4183160/4192956
[pid=24768] ppid=24766 vsize=5360 CPUtime=0
/proc/24768/stat : 24768 (runpbsmodels) S 24766 24768 24719 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 150368168 5488640 234 18446744073709551615 4194304 4889804 548682069184 18446744073709551615 268582839108 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/24768/statm: 1340 234 195 169 0 51 0
[pid=24769] ppid=24768 vsize=12268 CPUtime=0
/proc/24769/stat : 24769 (pbsmodels-v1.31) S 24768 24768 24719 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 150368168 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 268591742868 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/24769/statm: 3067 383 293 3 0 167 0
[pid=24770] ppid=24769 vsize=5356 CPUtime=4.04
/proc/24770/stat : 24770 (sh) S 24769 24768 24719 0 -1 4194304 309 978 0 0 0 0 403 1 16 0 1 0 150368169 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 268582839108 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/24770/statm: 1339 227 188 169 0 50 0
[pid=24772] ppid=24770 vsize=10764 CPUtime=1793.1
/proc/24772/stat : 24772 (smodels-2.31) R 24770 24768 24719 0 -1 4194304 2376 0 0 0 179308 2 0 0 25 0 1 0 150368169 11022336 2340 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134553326 0 0 4096 0 0 0 0 17 1 0 0
/proc/24772/statm: 2691 2340 214 21 0 2127 0
[pid=24773] ppid=24770 vsize=12424 CPUtime=0
/proc/24773/stat : 24773 (pbout.new.pl) S 24770 24768 24719 0 -1 4194304 496 0 0 0 0 0 0 0 17 0 1 0 150368169 12722176 456 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 268591738978 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/24773/statm: 3106 456 333 3 0 206 0
Current children cumulated CPU time (s) 1797.14
Current children cumulated vsize (Kb) 46172

[startup+1797.23 s]
/proc/loadavg: 1.00 0.97 0.99 2/67 24775
/proc/meminfo: memFree=736744/2055924 swapFree=4183160/4192956
[pid=24768] ppid=24766 vsize=5360 CPUtime=0
/proc/24768/stat : 24768 (runpbsmodels) S 24766 24768 24719 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 150368168 5488640 234 18446744073709551615 4194304 4889804 548682069184 18446744073709551615 268582839108 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/24768/statm: 1340 234 195 169 0 51 0
[pid=24769] ppid=24768 vsize=12268 CPUtime=0
/proc/24769/stat : 24769 (pbsmodels-v1.31) S 24768 24768 24719 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 150368168 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 268591742868 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/24769/statm: 3067 383 293 3 0 167 0
[pid=24770] ppid=24769 vsize=5356 CPUtime=4.04
/proc/24770/stat : 24770 (sh) S 24769 24768 24719 0 -1 4194304 309 978 0 0 0 0 403 1 16 0 1 0 150368169 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 268582839108 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/24770/statm: 1339 227 188 169 0 50 0
[pid=24772] ppid=24770 vsize=10764 CPUtime=1794.11
/proc/24772/stat : 24772 (smodels-2.31) R 24770 24768 24719 0 -1 4194304 2376 0 0 0 179409 2 0 0 25 0 1 0 150368169 11022336 2340 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134552047 0 0 4096 0 0 0 0 17 1 0 0
/proc/24772/statm: 2691 2340 214 21 0 2127 0
[pid=24773] ppid=24770 vsize=12424 CPUtime=0
/proc/24773/stat : 24773 (pbout.new.pl) S 24770 24768 24719 0 -1 4194304 496 0 0 0 0 0 0 0 17 0 1 0 150368169 12722176 456 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 268591738978 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/24773/statm: 3106 456 333 3 0 206 0
Current children cumulated CPU time (s) 1798.15
Current children cumulated vsize (Kb) 46172

[startup+1798.24 s]
/proc/loadavg: 1.00 0.97 0.99 2/67 24775
/proc/meminfo: memFree=736744/2055924 swapFree=4183160/4192956
[pid=24768] ppid=24766 vsize=5360 CPUtime=0
/proc/24768/stat : 24768 (runpbsmodels) S 24766 24768 24719 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 150368168 5488640 234 18446744073709551615 4194304 4889804 548682069184 18446744073709551615 268582839108 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/24768/statm: 1340 234 195 169 0 51 0
[pid=24769] ppid=24768 vsize=12268 CPUtime=0
/proc/24769/stat : 24769 (pbsmodels-v1.31) S 24768 24768 24719 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 150368168 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 268591742868 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/24769/statm: 3067 383 293 3 0 167 0
[pid=24770] ppid=24769 vsize=5356 CPUtime=4.04
/proc/24770/stat : 24770 (sh) S 24769 24768 24719 0 -1 4194304 309 978 0 0 0 0 403 1 16 0 1 0 150368169 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 268582839108 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/24770/statm: 1339 227 188 169 0 50 0
[pid=24772] ppid=24770 vsize=10764 CPUtime=1795.11
/proc/24772/stat : 24772 (smodels-2.31) R 24770 24768 24719 0 -1 4194304 2376 0 0 0 179509 2 0 0 25 0 1 0 150368169 11022336 2340 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134532999 0 0 4096 0 0 0 0 17 1 0 0
/proc/24772/statm: 2691 2340 214 21 0 2127 0
[pid=24773] ppid=24770 vsize=12424 CPUtime=0
/proc/24773/stat : 24773 (pbout.new.pl) S 24770 24768 24719 0 -1 4194304 496 0 0 0 0 0 0 0 17 0 1 0 150368169 12722176 456 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 268591738978 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/24773/statm: 3106 456 333 3 0 206 0
Current children cumulated CPU time (s) 1799.15
Current children cumulated vsize (Kb) 46172

[startup+1799.24 s]
/proc/loadavg: 1.00 0.97 0.99 2/67 24775
/proc/meminfo: memFree=736744/2055924 swapFree=4183160/4192956
[pid=24768] ppid=24766 vsize=5360 CPUtime=0
/proc/24768/stat : 24768 (runpbsmodels) S 24766 24768 24719 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 150368168 5488640 234 18446744073709551615 4194304 4889804 548682069184 18446744073709551615 268582839108 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/24768/statm: 1340 234 195 169 0 51 0
[pid=24769] ppid=24768 vsize=12268 CPUtime=0
/proc/24769/stat : 24769 (pbsmodels-v1.31) S 24768 24768 24719 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 150368168 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 268591742868 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/24769/statm: 3067 383 293 3 0 167 0
[pid=24770] ppid=24769 vsize=5356 CPUtime=4.04
/proc/24770/stat : 24770 (sh) S 24769 24768 24719 0 -1 4194304 309 978 0 0 0 0 403 1 16 0 1 0 150368169 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 268582839108 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/24770/statm: 1339 227 188 169 0 50 0
[pid=24772] ppid=24770 vsize=10764 CPUtime=1796.12
/proc/24772/stat : 24772 (smodels-2.31) R 24770 24768 24719 0 -1 4194304 2376 0 0 0 179610 2 0 0 25 0 1 0 150368169 11022336 2340 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134532930 0 0 4096 0 0 0 0 17 1 0 0
/proc/24772/statm: 2691 2340 214 21 0 2127 0
[pid=24773] ppid=24770 vsize=12424 CPUtime=0
/proc/24773/stat : 24773 (pbout.new.pl) S 24770 24768 24719 0 -1 4194304 496 0 0 0 0 0 0 0 17 0 1 0 150368169 12722176 456 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 268591738978 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/24773/statm: 3106 456 333 3 0 206 0
Current children cumulated CPU time (s) 1800.16
Current children cumulated vsize (Kb) 46172



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1799.25 s]
/proc/loadavg: 1.00 0.97 0.99 2/67 24775
/proc/meminfo: memFree=736744/2055924 swapFree=4183160/4192956
[pid=24768] ppid=24766 vsize=5360 CPUtime=0
/proc/24768/stat : 24768 (runpbsmodels) S 24766 24768 24719 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 150368168 5488640 234 18446744073709551615 4194304 4889804 548682069184 18446744073709551615 268582839108 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/24768/statm: 1340 234 195 169 0 51 0
[pid=24769] ppid=24768 vsize=12268 CPUtime=0
/proc/24769/stat : 24769 (pbsmodels-v1.31) S 24768 24768 24719 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 150368168 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 268591742868 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/24769/statm: 3067 383 293 3 0 167 0
[pid=24770] ppid=24769 vsize=5356 CPUtime=4.04
/proc/24770/stat : 24770 (sh) S 24769 24768 24719 0 -1 4194304 309 978 0 0 0 0 403 1 16 0 1 0 150368169 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 268582839108 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/24770/statm: 1339 227 188 169 0 50 0
[pid=24772] ppid=24770 vsize=10764 CPUtime=1796.12
/proc/24772/stat : 24772 (smodels-2.31) R 24770 24768 24719 0 -1 4194304 2376 0 0 0 179610 2 0 0 25 0 1 0 150368169 11022336 2340 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134552090 0 0 4096 0 0 0 0 17 1 0 0
/proc/24772/statm: 2691 2340 214 21 0 2127 0
[pid=24773] ppid=24770 vsize=12424 CPUtime=0
/proc/24773/stat : 24773 (pbout.new.pl) S 24770 24768 24719 0 -1 4194304 496 0 0 0 0 0 0 0 17 0 1 0 150368169 12722176 456 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 268591738978 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/24773/statm: 3106 456 333 3 0 206 0
Current children cumulated CPU time (s) 1800.16
Current children cumulated vsize (Kb) 46172

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

Child ended because it received signal 15 (SIGTERM)

!!! problem with CPU time !!!
wait4(...,&childrusage) returns 24768 and gives childrusage.ru_utime.tv_sec=0 childrusage.ru_utime.tv_usec=999 childrusage.ru_stime.tv_sec=0 childrusage.ru_stime.tv_usec=999
CPU time returned by wait4() is 0.001998
while last known CPU time is 1800.16

Solver probably didn't/couldn't wait for its children
Using last known CPU time as value...

Real time (s): 1799.27
CPU time (s): 1800.16
CPU user time (s): 1800.13
CPU system time (s): 0.03
CPU usage (%): 100.049
Max. virtual memory (cumulated for all children) (Kb): 46172
The end

Begin job on node6 on Thu Jul 27 21:17:48 UTC 2006


FILE ID= 45430-1154035068

PBS_JOBID= 881109

BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib2003/normalized-reduced-mps-v2-20-10-nsrand-ipx.opb
COMMAND LINE= ROOT/solvers/PB/PB06final/user4/pbsmodels-v1.31/runpbsmodels ROOT/tmp/node6/45430-1154035068/instance-45430-1154035068.opb 275005138  ROOT/tmp/node6/45430-1154035068
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node6/watcher-45430-1154035068 -o ROOT/results/node6/solver-45430-1154035068 -C 1800 -M 1800 -S 64  ROOT/solvers/PB/PB06final/user4/pbsmodels-v1.31/runpbsmodels ROOT/tmp/node6/45430-1154035068/instance-45430-1154035068.opb 275005138  ROOT/tmp/node6/45430-1154035068

MD5SUM SOLVER= 95562bc622ddb1f976359072aec5ad24 7fcd858753252b26b88f3383e979819a c732bc4c3aeda9195daa74a308a1f78e b7e54d975d35ab28450b6de5c14d303e f7da3270b2cd5190fa0cd9af9b854ca4
MD5SUM BENCH=  b75dadb532de8158b35ca12cd6b47e2f

RANDOM SEED= 275005138

TIMEOUT= 1800 seconds


/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.255
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.255
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:      2055924 kB
MemFree:        747024 kB
Buffers:         46996 kB
Cached:        1166564 kB
SwapCached:       3980 kB
Active:         294408 kB
Inactive:       928104 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055924 kB
LowFree:        747024 kB
SwapTotal:     4192956 kB
SwapFree:      4183160 kB
Dirty:             200 kB
Writeback:           0 kB
Mapped:          14832 kB
Slab:            72444 kB
Committed_AS:   573436 kB
PageTables:       1460 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB


End job on node6 on Thu Jul 27 21:47:47 UTC 2006