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

OK	386296

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/node44/watcher-34007-1154035052 -o ROOT/results/node44/solver-34007-1154035052 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user4/pbsmodels_solver-v1.28/runpbsmodels ROOT/tmp/node44/34007-1154035052/instance-34007-1154035052.opb 535092333 ROOT/tmp/node44/34007-1154035052 

Current StackSize limit: 67108864 bytes

/proc/loadavg: 0.92 0.98 0.99 3/64 28749
/proc/meminfo: memFree=1319304/2055920 swapFree=4183100/4192956
[pid=28749] ppid=28747 vsize=5360 CPUtime=0
/proc/28749/stat : 28749 (runpbsmodels) S 28747 28749 28700 0 -1 4194304 287 0 0 0 0 0 0 0 20 0 1 0 150376098 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 264840471364 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/28749/statm: 1340 234 195 169 0 51 0
[pid=28750] ppid=28749 vsize=12132 CPUtime=0
/proc/28750/stat : 28750 (pbsmodels-v1.28) D 28749 28749 28700 0 -1 4194304 273 0 0 0 0 0 0 0 21 0 1 0 150376098 12423168 238 18446744073709551615 4194304 4206940 548682068992 18446744073709551615 264849374206 0 2147483391 4224 0 18446744072099855350 0 0 17 0 0 0
/proc/28750/statm: 3033 238 181 3 0 133 0

[startup+10.0023 s]
/proc/loadavg: 0.93 0.98 0.99 2/68 28754
/proc/meminfo: memFree=1310120/2055920 swapFree=4183100/4192956
[pid=28749] ppid=28747 vsize=5360 CPUtime=0
/proc/28749/stat : 28749 (runpbsmodels) S 28747 28749 28700 0 -1 4194304 287 0 0 0 0 0 0 0 20 0 1 0 150376098 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 264840471364 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/28749/statm: 1340 234 195 169 0 51 0
[pid=28750] ppid=28749 vsize=12268 CPUtime=0
/proc/28750/stat : 28750 (pbsmodels-v1.28) S 28749 28749 28700 0 -1 4194304 425 0 0 0 0 0 0 0 21 0 1 0 150376098 12562432 383 18446744073709551615 4194304 4206940 548682068992 18446744073709551615 264849375124 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/28750/statm: 3067 383 293 3 0 167 0
[pid=28751] ppid=28750 vsize=5356 CPUtime=3.81
/proc/28751/stat : 28751 (sh) S 28750 28749 28700 0 -1 4194304 311 976 0 0 0 0 381 0 16 0 1 0 150376098 5484544 227 18446744073709551615 4194304 4889804 548682069024 18446744073709551615 264840471364 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/28751/statm: 1339 227 188 169 0 50 0
[pid=28753] ppid=28751 vsize=10076 CPUtime=7.94
/proc/28753/stat : 28753 (smodels) R 28751 28749 28700 0 -1 4194304 2174 0 0 0 793 1 0 0 25 0 1 0 150376099 10317824 2138 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134531498 0 0 4096 0 0 0 0 17 1 0 0
/proc/28753/statm: 2519 2138 209 20 0 1956 0
[pid=28754] ppid=28751 vsize=12268 CPUtime=0
/proc/28754/stat : 28754 (pbout.pl) S 28751 28749 28700 0 -1 4194304 430 0 0 0 0 0 0 0 16 0 1 0 150376099 12562432 389 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 264849371234 0 0 4224 0 18446744071563648864 0 0 17 1 0 0
/proc/28754/statm: 3067 389 301 3 0 167 0
Current children cumulated CPU time (s) 11.75
Current children cumulated vsize (Kb) 45328

[startup+20.0093 s]
/proc/loadavg: 0.94 0.98 0.99 2/68 28754
/proc/meminfo: memFree=1310440/2055920 swapFree=4183100/4192956
[pid=28749] ppid=28747 vsize=5360 CPUtime=0
/proc/28749/stat : 28749 (runpbsmodels) S 28747 28749 28700 0 -1 4194304 287 0 0 0 0 0 0 0 20 0 1 0 150376098 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 264840471364 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/28749/statm: 1340 234 195 169 0 51 0
[pid=28750] ppid=28749 vsize=12268 CPUtime=0
/proc/28750/stat : 28750 (pbsmodels-v1.28) S 28749 28749 28700 0 -1 4194304 425 0 0 0 0 0 0 0 21 0 1 0 150376098 12562432 383 18446744073709551615 4194304 4206940 548682068992 18446744073709551615 264849375124 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/28750/statm: 3067 383 293 3 0 167 0
[pid=28751] ppid=28750 vsize=5356 CPUtime=3.81
/proc/28751/stat : 28751 (sh) S 28750 28749 28700 0 -1 4194304 311 976 0 0 0 0 381 0 16 0 1 0 150376098 5484544 227 18446744073709551615 4194304 4889804 548682069024 18446744073709551615 264840471364 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/28751/statm: 1339 227 188 169 0 50 0
[pid=28753] ppid=28751 vsize=10076 CPUtime=17.94
/proc/28753/stat : 28753 (smodels) R 28751 28749 28700 0 -1 4194304 2174 0 0 0 1793 1 0 0 25 0 1 0 150376099 10317824 2138 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134550961 0 0 4096 0 0 0 0 17 0 0 0
/proc/28753/statm: 2519 2138 209 20 0 1956 0
[pid=28754] ppid=28751 vsize=12268 CPUtime=0
/proc/28754/stat : 28754 (pbout.pl) S 28751 28749 28700 0 -1 4194304 430 0 0 0 0 0 0 0 16 0 1 0 150376099 12562432 389 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 264849371234 0 0 4224 0 18446744071563648864 0 0 17 1 0 0
/proc/28754/statm: 3067 389 301 3 0 167 0
Current children cumulated CPU time (s) 21.75
Current children cumulated vsize (Kb) 45328

[startup+30.0164 s]
/proc/loadavg: 0.95 0.98 0.99 2/68 28754
/proc/meminfo: memFree=1310440/2055920 swapFree=4183100/4192956
[pid=28749] ppid=28747 vsize=5360 CPUtime=0
/proc/28749/stat : 28749 (runpbsmodels) S 28747 28749 28700 0 -1 4194304 287 0 0 0 0 0 0 0 20 0 1 0 150376098 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 264840471364 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/28749/statm: 1340 234 195 169 0 51 0
[pid=28750] ppid=28749 vsize=12268 CPUtime=0
/proc/28750/stat : 28750 (pbsmodels-v1.28) S 28749 28749 28700 0 -1 4194304 425 0 0 0 0 0 0 0 21 0 1 0 150376098 12562432 383 18446744073709551615 4194304 4206940 548682068992 18446744073709551615 264849375124 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/28750/statm: 3067 383 293 3 0 167 0
[pid=28751] ppid=28750 vsize=5356 CPUtime=3.81
/proc/28751/stat : 28751 (sh) S 28750 28749 28700 0 -1 4194304 311 976 0 0 0 0 381 0 16 0 1 0 150376098 5484544 227 18446744073709551615 4194304 4889804 548682069024 18446744073709551615 264840471364 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/28751/statm: 1339 227 188 169 0 50 0
[pid=28753] ppid=28751 vsize=10076 CPUtime=27.94
/proc/28753/stat : 28753 (smodels) R 28751 28749 28700 0 -1 4194304 2174 0 0 0 2793 1 0 0 25 0 1 0 150376099 10317824 2138 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134549899 0 0 4096 0 0 0 0 17 0 0 0
/proc/28753/statm: 2519 2138 209 20 0 1956 0
[pid=28754] ppid=28751 vsize=12268 CPUtime=0
/proc/28754/stat : 28754 (pbout.pl) S 28751 28749 28700 0 -1 4194304 430 0 0 0 0 0 0 0 16 0 1 0 150376099 12562432 389 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 264849371234 0 0 4224 0 18446744071563648864 0 0 17 1 0 0
/proc/28754/statm: 3067 389 301 3 0 167 0
Current children cumulated CPU time (s) 31.75
Current children cumulated vsize (Kb) 45328

[startup+40.0234 s]
/proc/loadavg: 0.96 0.98 0.99 2/68 28754
/proc/meminfo: memFree=1310504/2055920 swapFree=4183100/4192956
[pid=28749] ppid=28747 vsize=5360 CPUtime=0
/proc/28749/stat : 28749 (runpbsmodels) S 28747 28749 28700 0 -1 4194304 287 0 0 0 0 0 0 0 20 0 1 0 150376098 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 264840471364 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/28749/statm: 1340 234 195 169 0 51 0
[pid=28750] ppid=28749 vsize=12268 CPUtime=0
/proc/28750/stat : 28750 (pbsmodels-v1.28) S 28749 28749 28700 0 -1 4194304 425 0 0 0 0 0 0 0 21 0 1 0 150376098 12562432 383 18446744073709551615 4194304 4206940 548682068992 18446744073709551615 264849375124 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/28750/statm: 3067 383 293 3 0 167 0
[pid=28751] ppid=28750 vsize=5356 CPUtime=3.81
/proc/28751/stat : 28751 (sh) S 28750 28749 28700 0 -1 4194304 311 976 0 0 0 0 381 0 16 0 1 0 150376098 5484544 227 18446744073709551615 4194304 4889804 548682069024 18446744073709551615 264840471364 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/28751/statm: 1339 227 188 169 0 50 0
[pid=28753] ppid=28751 vsize=10076 CPUtime=37.94
/proc/28753/stat : 28753 (smodels) R 28751 28749 28700 0 -1 4194304 2174 0 0 0 3793 1 0 0 25 0 1 0 150376099 10317824 2138 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134549899 0 0 4096 0 0 0 0 17 0 0 0
/proc/28753/statm: 2519 2138 209 20 0 1956 0
[pid=28754] ppid=28751 vsize=12268 CPUtime=0
/proc/28754/stat : 28754 (pbout.pl) S 28751 28749 28700 0 -1 4194304 430 0 0 0 0 0 0 0 16 0 1 0 150376099 12562432 389 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 264849371234 0 0 4224 0 18446744071563648864 0 0 17 1 0 0
/proc/28754/statm: 3067 389 301 3 0 167 0
Current children cumulated CPU time (s) 41.75
Current children cumulated vsize (Kb) 45328

[startup+50.0305 s]
/proc/loadavg: 0.96 0.98 0.99 2/68 28754
/proc/meminfo: memFree=1310504/2055920 swapFree=4183100/4192956
[pid=28749] ppid=28747 vsize=5360 CPUtime=0
/proc/28749/stat : 28749 (runpbsmodels) S 28747 28749 28700 0 -1 4194304 287 0 0 0 0 0 0 0 20 0 1 0 150376098 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 264840471364 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/28749/statm: 1340 234 195 169 0 51 0
[pid=28750] ppid=28749 vsize=12268 CPUtime=0
/proc/28750/stat : 28750 (pbsmodels-v1.28) S 28749 28749 28700 0 -1 4194304 425 0 0 0 0 0 0 0 21 0 1 0 150376098 12562432 383 18446744073709551615 4194304 4206940 548682068992 18446744073709551615 264849375124 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/28750/statm: 3067 383 293 3 0 167 0
[pid=28751] ppid=28750 vsize=5356 CPUtime=3.81
/proc/28751/stat : 28751 (sh) S 28750 28749 28700 0 -1 4194304 311 976 0 0 0 0 381 0 16 0 1 0 150376098 5484544 227 18446744073709551615 4194304 4889804 548682069024 18446744073709551615 264840471364 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/28751/statm: 1339 227 188 169 0 50 0
[pid=28753] ppid=28751 vsize=10076 CPUtime=47.94
/proc/28753/stat : 28753 (smodels) R 28751 28749 28700 0 -1 4194304 2174 0 0 0 4793 1 0 0 25 0 1 0 150376099 10317824 2138 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134549899 0 0 4096 0 0 0 0 17 0 0 0
/proc/28753/statm: 2519 2138 209 20 0 1956 0
[pid=28754] ppid=28751 vsize=12268 CPUtime=0
/proc/28754/stat : 28754 (pbout.pl) S 28751 28749 28700 0 -1 4194304 430 0 0 0 0 0 0 0 16 0 1 0 150376099 12562432 389 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 264849371234 0 0 4224 0 18446744071563648864 0 0 17 1 0 0
/proc/28754/statm: 3067 389 301 3 0 167 0
Current children cumulated CPU time (s) 51.75
Current children cumulated vsize (Kb) 45328

[startup+60.0375 s]
/proc/loadavg: 0.97 0.98 0.99 2/68 28754
/proc/meminfo: memFree=1310568/2055920 swapFree=4183100/4192956
[pid=28749] ppid=28747 vsize=5360 CPUtime=0
/proc/28749/stat : 28749 (runpbsmodels) S 28747 28749 28700 0 -1 4194304 287 0 0 0 0 0 0 0 20 0 1 0 150376098 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 264840471364 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/28749/statm: 1340 234 195 169 0 51 0
[pid=28750] ppid=28749 vsize=12268 CPUtime=0
/proc/28750/stat : 28750 (pbsmodels-v1.28) S 28749 28749 28700 0 -1 4194304 425 0 0 0 0 0 0 0 21 0 1 0 150376098 12562432 383 18446744073709551615 4194304 4206940 548682068992 18446744073709551615 264849375124 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/28750/statm: 3067 383 293 3 0 167 0
[pid=28751] ppid=28750 vsize=5356 CPUtime=3.81
/proc/28751/stat : 28751 (sh) S 28750 28749 28700 0 -1 4194304 311 976 0 0 0 0 381 0 16 0 1 0 150376098 5484544 227 18446744073709551615 4194304 4889804 548682069024 18446744073709551615 264840471364 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/28751/statm: 1339 227 188 169 0 50 0
[pid=28753] ppid=28751 vsize=10076 CPUtime=57.94
/proc/28753/stat : 28753 (smodels) R 28751 28749 28700 0 -1 4194304 2174 0 0 0 5793 1 0 0 25 0 1 0 150376099 10317824 2138 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134549899 0 0 4096 0 0 0 0 17 0 0 0
/proc/28753/statm: 2519 2138 209 20 0 1956 0
[pid=28754] ppid=28751 vsize=12268 CPUtime=0
/proc/28754/stat : 28754 (pbout.pl) S 28751 28749 28700 0 -1 4194304 430 0 0 0 0 0 0 0 16 0 1 0 150376099 12562432 389 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 264849371234 0 0 4224 0 18446744071563648864 0 0 17 1 0 0
/proc/28754/statm: 3067 389 301 3 0 167 0
Current children cumulated CPU time (s) 61.75
Current children cumulated vsize (Kb) 45328

[startup+70.0445 s]
/proc/loadavg: 0.97 0.98 0.99 2/68 28754
/proc/meminfo: memFree=1310568/2055920 swapFree=4183100/4192956
[pid=28749] ppid=28747 vsize=5360 CPUtime=0
/proc/28749/stat : 28749 (runpbsmodels) S 28747 28749 28700 0 -1 4194304 287 0 0 0 0 0 0 0 20 0 1 0 150376098 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 264840471364 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/28749/statm: 1340 234 195 169 0 51 0
[pid=28750] ppid=28749 vsize=12268 CPUtime=0
/proc/28750/stat : 28750 (pbsmodels-v1.28) S 28749 28749 28700 0 -1 4194304 425 0 0 0 0 0 0 0 21 0 1 0 150376098 12562432 383 18446744073709551615 4194304 4206940 548682068992 18446744073709551615 264849375124 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/28750/statm: 3067 383 293 3 0 167 0
[pid=28751] ppid=28750 vsize=5356 CPUtime=3.81
/proc/28751/stat : 28751 (sh) S 28750 28749 28700 0 -1 4194304 311 976 0 0 0 0 381 0 16 0 1 0 150376098 5484544 227 18446744073709551615 4194304 4889804 548682069024 18446744073709551615 264840471364 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/28751/statm: 1339 227 188 169 0 50 0
[pid=28753] ppid=28751 vsize=10076 CPUtime=67.95
/proc/28753/stat : 28753 (smodels) R 28751 28749 28700 0 -1 4194304 2174 0 0 0 6794 1 0 0 25 0 1 0 150376099 10317824 2138 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134548919 0 0 4096 0 0 0 0 17 0 0 0
/proc/28753/statm: 2519 2138 209 20 0 1956 0
[pid=28754] ppid=28751 vsize=12268 CPUtime=0
/proc/28754/stat : 28754 (pbout.pl) S 28751 28749 28700 0 -1 4194304 430 0 0 0 0 0 0 0 16 0 1 0 150376099 12562432 389 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 264849371234 0 0 4224 0 18446744071563648864 0 0 17 1 0 0
/proc/28754/statm: 3067 389 301 3 0 167 0
Current children cumulated CPU time (s) 71.76
Current children cumulated vsize (Kb) 45328

[startup+80.0516 s]
/proc/loadavg: 0.98 0.98 0.99 2/68 28754
/proc/meminfo: memFree=1310568/2055920 swapFree=4183100/4192956
[pid=28749] ppid=28747 vsize=5360 CPUtime=0
/proc/28749/stat : 28749 (runpbsmodels) S 28747 28749 28700 0 -1 4194304 287 0 0 0 0 0 0 0 20 0 1 0 150376098 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 264840471364 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/28749/statm: 1340 234 195 169 0 51 0
[pid=28750] ppid=28749 vsize=12268 CPUtime=0
/proc/28750/stat : 28750 (pbsmodels-v1.28) S 28749 28749 28700 0 -1 4194304 425 0 0 0 0 0 0 0 21 0 1 0 150376098 12562432 383 18446744073709551615 4194304 4206940 548682068992 18446744073709551615 264849375124 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/28750/statm: 3067 383 293 3 0 167 0
[pid=28751] ppid=28750 vsize=5356 CPUtime=3.81
/proc/28751/stat : 28751 (sh) S 28750 28749 28700 0 -1 4194304 311 976 0 0 0 0 381 0 16 0 1 0 150376098 5484544 227 18446744073709551615 4194304 4889804 548682069024 18446744073709551615 264840471364 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/28751/statm: 1339 227 188 169 0 50 0
[pid=28753] ppid=28751 vsize=10076 CPUtime=77.94
/proc/28753/stat : 28753 (smodels) R 28751 28749 28700 0 -1 4194304 2174 0 0 0 7793 1 0 0 25 0 1 0 150376099 10317824 2138 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134549899 0 0 4096 0 0 0 0 17 1 0 0
/proc/28753/statm: 2519 2138 209 20 0 1956 0
[pid=28754] ppid=28751 vsize=12268 CPUtime=0
/proc/28754/stat : 28754 (pbout.pl) S 28751 28749 28700 0 -1 4194304 430 0 0 0 0 0 0 0 16 0 1 0 150376099 12562432 389 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 264849371234 0 0 4224 0 18446744071563648864 0 0 17 1 0 0
/proc/28754/statm: 3067 389 301 3 0 167 0
Current children cumulated CPU time (s) 81.75
Current children cumulated vsize (Kb) 45328

[startup+90.0586 s]
/proc/loadavg: 0.98 0.98 0.99 2/68 28754
/proc/meminfo: memFree=1310568/2055920 swapFree=4183100/4192956
[pid=28749] ppid=28747 vsize=5360 CPUtime=0
/proc/28749/stat : 28749 (runpbsmodels) S 28747 28749 28700 0 -1 4194304 287 0 0 0 0 0 0 0 20 0 1 0 150376098 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 264840471364 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/28749/statm: 1340 234 195 169 0 51 0
[pid=28750] ppid=28749 vsize=12268 CPUtime=0
/proc/28750/stat : 28750 (pbsmodels-v1.28) S 28749 28749 28700 0 -1 4194304 425 0 0 0 0 0 0 0 21 0 1 0 150376098 12562432 383 18446744073709551615 4194304 4206940 548682068992 18446744073709551615 264849375124 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/28750/statm: 3067 383 293 3 0 167 0
[pid=28751] ppid=28750 vsize=5356 CPUtime=3.81
/proc/28751/stat : 28751 (sh) S 28750 28749 28700 0 -1 4194304 311 976 0 0 0 0 381 0 16 0 1 0 150376098 5484544 227 18446744073709551615 4194304 4889804 548682069024 18446744073709551615 264840471364 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0

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

/proc/28753/stat : 28753 (smodels) R 28751 28749 28700 0 -1 4194304 2176 0 0 0 178917 4 0 0 25 0 1 0 150376099 10317824 2140 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134549899 0 0 4096 0 0 0 0 17 0 0 0
/proc/28753/statm: 2519 2140 211 20 0 1956 0
[pid=28754] ppid=28751 vsize=12568 CPUtime=0.03
/proc/28754/stat : 28754 (pbout.pl) S 28751 28749 28700 0 -1 4194304 520 0 0 0 1 2 0 0 16 0 1 0 150376099 12869632 479 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 264849371234 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/28754/statm: 3142 479 333 3 0 242 0
Current children cumulated CPU time (s) 1793.05
Current children cumulated vsize (Kb) 45628

[startup+1793.28 s]
/proc/loadavg: 1.00 1.00 1.00 2/68 28756
/proc/meminfo: memFree=1309672/2055920 swapFree=4183100/4192956
[pid=28749] ppid=28747 vsize=5360 CPUtime=0
/proc/28749/stat : 28749 (runpbsmodels) S 28747 28749 28700 0 -1 4194304 287 0 0 0 0 0 0 0 20 0 1 0 150376098 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 264840471364 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/28749/statm: 1340 234 195 169 0 51 0
[pid=28750] ppid=28749 vsize=12268 CPUtime=0
/proc/28750/stat : 28750 (pbsmodels-v1.28) S 28749 28749 28700 0 -1 4194304 425 0 0 0 0 0 0 0 21 0 1 0 150376098 12562432 383 18446744073709551615 4194304 4206940 548682068992 18446744073709551615 264849375124 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/28750/statm: 3067 383 293 3 0 167 0
[pid=28751] ppid=28750 vsize=5356 CPUtime=3.81
/proc/28751/stat : 28751 (sh) S 28750 28749 28700 0 -1 4194304 311 976 0 0 0 0 381 0 16 0 1 0 150376098 5484544 227 18446744073709551615 4194304 4889804 548682069024 18446744073709551615 264840471364 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/28751/statm: 1339 227 188 169 0 50 0
[pid=28753] ppid=28751 vsize=10076 CPUtime=1790.21
/proc/28753/stat : 28753 (smodels) R 28751 28749 28700 0 -1 4194304 2176 0 0 0 179017 4 0 0 25 0 1 0 150376099 10317824 2140 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134549899 0 0 4096 0 0 0 0 17 0 0 0
/proc/28753/statm: 2519 2140 211 20 0 1956 0
[pid=28754] ppid=28751 vsize=12568 CPUtime=0.03
/proc/28754/stat : 28754 (pbout.pl) S 28751 28749 28700 0 -1 4194304 520 0 0 0 1 2 0 0 16 0 1 0 150376099 12869632 479 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 264849371234 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/28754/statm: 3142 479 333 3 0 242 0
Current children cumulated CPU time (s) 1794.05
Current children cumulated vsize (Kb) 45628

[startup+1794.29 s]
/proc/loadavg: 1.00 1.00 1.00 2/68 28756
/proc/meminfo: memFree=1309672/2055920 swapFree=4183100/4192956
[pid=28749] ppid=28747 vsize=5360 CPUtime=0
/proc/28749/stat : 28749 (runpbsmodels) S 28747 28749 28700 0 -1 4194304 287 0 0 0 0 0 0 0 20 0 1 0 150376098 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 264840471364 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/28749/statm: 1340 234 195 169 0 51 0
[pid=28750] ppid=28749 vsize=12268 CPUtime=0
/proc/28750/stat : 28750 (pbsmodels-v1.28) S 28749 28749 28700 0 -1 4194304 425 0 0 0 0 0 0 0 21 0 1 0 150376098 12562432 383 18446744073709551615 4194304 4206940 548682068992 18446744073709551615 264849375124 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/28750/statm: 3067 383 293 3 0 167 0
[pid=28751] ppid=28750 vsize=5356 CPUtime=3.81
/proc/28751/stat : 28751 (sh) S 28750 28749 28700 0 -1 4194304 311 976 0 0 0 0 381 0 16 0 1 0 150376098 5484544 227 18446744073709551615 4194304 4889804 548682069024 18446744073709551615 264840471364 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/28751/statm: 1339 227 188 169 0 50 0
[pid=28753] ppid=28751 vsize=10076 CPUtime=1791.22
/proc/28753/stat : 28753 (smodels) R 28751 28749 28700 0 -1 4194304 2176 0 0 0 179118 4 0 0 25 0 1 0 150376099 10317824 2140 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134519782 0 0 4096 0 0 0 0 17 0 0 0
/proc/28753/statm: 2519 2140 211 20 0 1956 0
[pid=28754] ppid=28751 vsize=12568 CPUtime=0.03
/proc/28754/stat : 28754 (pbout.pl) S 28751 28749 28700 0 -1 4194304 520 0 0 0 1 2 0 0 16 0 1 0 150376099 12869632 479 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 264849371234 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/28754/statm: 3142 479 333 3 0 242 0
Current children cumulated CPU time (s) 1795.06
Current children cumulated vsize (Kb) 45628

[startup+1795.29 s]
/proc/loadavg: 1.00 1.00 1.00 2/68 28756
/proc/meminfo: memFree=1309672/2055920 swapFree=4183100/4192956
[pid=28749] ppid=28747 vsize=5360 CPUtime=0
/proc/28749/stat : 28749 (runpbsmodels) S 28747 28749 28700 0 -1 4194304 287 0 0 0 0 0 0 0 20 0 1 0 150376098 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 264840471364 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/28749/statm: 1340 234 195 169 0 51 0
[pid=28750] ppid=28749 vsize=12268 CPUtime=0
/proc/28750/stat : 28750 (pbsmodels-v1.28) S 28749 28749 28700 0 -1 4194304 425 0 0 0 0 0 0 0 21 0 1 0 150376098 12562432 383 18446744073709551615 4194304 4206940 548682068992 18446744073709551615 264849375124 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/28750/statm: 3067 383 293 3 0 167 0
[pid=28751] ppid=28750 vsize=5356 CPUtime=3.81
/proc/28751/stat : 28751 (sh) S 28750 28749 28700 0 -1 4194304 311 976 0 0 0 0 381 0 16 0 1 0 150376098 5484544 227 18446744073709551615 4194304 4889804 548682069024 18446744073709551615 264840471364 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/28751/statm: 1339 227 188 169 0 50 0
[pid=28753] ppid=28751 vsize=10076 CPUtime=1792.23
/proc/28753/stat : 28753 (smodels) R 28751 28749 28700 0 -1 4194304 2176 0 0 0 179219 4 0 0 25 0 1 0 150376099 10317824 2140 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134531495 0 0 4096 0 0 0 0 17 0 0 0
/proc/28753/statm: 2519 2140 211 20 0 1956 0
[pid=28754] ppid=28751 vsize=12568 CPUtime=0.03
/proc/28754/stat : 28754 (pbout.pl) S 28751 28749 28700 0 -1 4194304 520 0 0 0 1 2 0 0 16 0 1 0 150376099 12869632 479 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 264849371234 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/28754/statm: 3142 479 333 3 0 242 0
Current children cumulated CPU time (s) 1796.07
Current children cumulated vsize (Kb) 45628

[startup+1796.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/68 28756
/proc/meminfo: memFree=1309672/2055920 swapFree=4183100/4192956
[pid=28749] ppid=28747 vsize=5360 CPUtime=0
/proc/28749/stat : 28749 (runpbsmodels) S 28747 28749 28700 0 -1 4194304 287 0 0 0 0 0 0 0 20 0 1 0 150376098 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 264840471364 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/28749/statm: 1340 234 195 169 0 51 0
[pid=28750] ppid=28749 vsize=12268 CPUtime=0
/proc/28750/stat : 28750 (pbsmodels-v1.28) S 28749 28749 28700 0 -1 4194304 425 0 0 0 0 0 0 0 21 0 1 0 150376098 12562432 383 18446744073709551615 4194304 4206940 548682068992 18446744073709551615 264849375124 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/28750/statm: 3067 383 293 3 0 167 0
[pid=28751] ppid=28750 vsize=5356 CPUtime=3.81
/proc/28751/stat : 28751 (sh) S 28750 28749 28700 0 -1 4194304 311 976 0 0 0 0 381 0 16 0 1 0 150376098 5484544 227 18446744073709551615 4194304 4889804 548682069024 18446744073709551615 264840471364 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/28751/statm: 1339 227 188 169 0 50 0
[pid=28753] ppid=28751 vsize=10076 CPUtime=1793.23
/proc/28753/stat : 28753 (smodels) R 28751 28749 28700 0 -1 4194304 2176 0 0 0 179319 4 0 0 25 0 1 0 150376099 10317824 2140 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134531131 0 0 4096 0 0 0 0 17 0 0 0
/proc/28753/statm: 2519 2140 211 20 0 1956 0
[pid=28754] ppid=28751 vsize=12568 CPUtime=0.03
/proc/28754/stat : 28754 (pbout.pl) S 28751 28749 28700 0 -1 4194304 520 0 0 0 1 2 0 0 16 0 1 0 150376099 12869632 479 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 264849371234 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/28754/statm: 3142 479 333 3 0 242 0
Current children cumulated CPU time (s) 1797.07
Current children cumulated vsize (Kb) 45628

[startup+1797.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/68 28756
/proc/meminfo: memFree=1309672/2055920 swapFree=4183100/4192956
[pid=28749] ppid=28747 vsize=5360 CPUtime=0
/proc/28749/stat : 28749 (runpbsmodels) S 28747 28749 28700 0 -1 4194304 287 0 0 0 0 0 0 0 20 0 1 0 150376098 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 264840471364 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/28749/statm: 1340 234 195 169 0 51 0
[pid=28750] ppid=28749 vsize=12268 CPUtime=0
/proc/28750/stat : 28750 (pbsmodels-v1.28) S 28749 28749 28700 0 -1 4194304 425 0 0 0 0 0 0 0 21 0 1 0 150376098 12562432 383 18446744073709551615 4194304 4206940 548682068992 18446744073709551615 264849375124 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/28750/statm: 3067 383 293 3 0 167 0
[pid=28751] ppid=28750 vsize=5356 CPUtime=3.81
/proc/28751/stat : 28751 (sh) S 28750 28749 28700 0 -1 4194304 311 976 0 0 0 0 381 0 16 0 1 0 150376098 5484544 227 18446744073709551615 4194304 4889804 548682069024 18446744073709551615 264840471364 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/28751/statm: 1339 227 188 169 0 50 0
[pid=28753] ppid=28751 vsize=10076 CPUtime=1794.24
/proc/28753/stat : 28753 (smodels) R 28751 28749 28700 0 -1 4194304 2176 0 0 0 179420 4 0 0 25 0 1 0 150376099 10317824 2140 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134549876 0 0 4096 0 0 0 0 17 0 0 0
/proc/28753/statm: 2519 2140 211 20 0 1956 0
[pid=28754] ppid=28751 vsize=12568 CPUtime=0.03
/proc/28754/stat : 28754 (pbout.pl) S 28751 28749 28700 0 -1 4194304 520 0 0 0 1 2 0 0 16 0 1 0 150376099 12869632 479 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 264849371234 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/28754/statm: 3142 479 333 3 0 242 0
Current children cumulated CPU time (s) 1798.08
Current children cumulated vsize (Kb) 45628

[startup+1798.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/68 28756
/proc/meminfo: memFree=1309672/2055920 swapFree=4183100/4192956
[pid=28749] ppid=28747 vsize=5360 CPUtime=0
/proc/28749/stat : 28749 (runpbsmodels) S 28747 28749 28700 0 -1 4194304 287 0 0 0 0 0 0 0 20 0 1 0 150376098 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 264840471364 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/28749/statm: 1340 234 195 169 0 51 0
[pid=28750] ppid=28749 vsize=12268 CPUtime=0
/proc/28750/stat : 28750 (pbsmodels-v1.28) S 28749 28749 28700 0 -1 4194304 425 0 0 0 0 0 0 0 21 0 1 0 150376098 12562432 383 18446744073709551615 4194304 4206940 548682068992 18446744073709551615 264849375124 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/28750/statm: 3067 383 293 3 0 167 0
[pid=28751] ppid=28750 vsize=5356 CPUtime=3.81
/proc/28751/stat : 28751 (sh) S 28750 28749 28700 0 -1 4194304 311 976 0 0 0 0 381 0 16 0 1 0 150376098 5484544 227 18446744073709551615 4194304 4889804 548682069024 18446744073709551615 264840471364 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/28751/statm: 1339 227 188 169 0 50 0
[pid=28753] ppid=28751 vsize=10076 CPUtime=1795.24
/proc/28753/stat : 28753 (smodels) R 28751 28749 28700 0 -1 4194304 2176 0 0 0 179520 4 0 0 25 0 1 0 150376099 10317824 2140 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134551055 0 0 4096 0 0 0 0 17 0 0 0
/proc/28753/statm: 2519 2140 211 20 0 1956 0
[pid=28754] ppid=28751 vsize=12568 CPUtime=0.03
/proc/28754/stat : 28754 (pbout.pl) S 28751 28749 28700 0 -1 4194304 520 0 0 0 1 2 0 0 16 0 1 0 150376099 12869632 479 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 264849371234 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/28754/statm: 3142 479 333 3 0 242 0
Current children cumulated CPU time (s) 1799.08
Current children cumulated vsize (Kb) 45628

[startup+1799.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/68 28756
/proc/meminfo: memFree=1309672/2055920 swapFree=4183100/4192956
[pid=28749] ppid=28747 vsize=5360 CPUtime=0
/proc/28749/stat : 28749 (runpbsmodels) S 28747 28749 28700 0 -1 4194304 287 0 0 0 0 0 0 0 20 0 1 0 150376098 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 264840471364 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/28749/statm: 1340 234 195 169 0 51 0
[pid=28750] ppid=28749 vsize=12268 CPUtime=0
/proc/28750/stat : 28750 (pbsmodels-v1.28) S 28749 28749 28700 0 -1 4194304 425 0 0 0 0 0 0 0 21 0 1 0 150376098 12562432 383 18446744073709551615 4194304 4206940 548682068992 18446744073709551615 264849375124 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/28750/statm: 3067 383 293 3 0 167 0
[pid=28751] ppid=28750 vsize=5356 CPUtime=3.81
/proc/28751/stat : 28751 (sh) S 28750 28749 28700 0 -1 4194304 311 976 0 0 0 0 381 0 16 0 1 0 150376098 5484544 227 18446744073709551615 4194304 4889804 548682069024 18446744073709551615 264840471364 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/28751/statm: 1339 227 188 169 0 50 0
[pid=28753] ppid=28751 vsize=10076 CPUtime=1796.25
/proc/28753/stat : 28753 (smodels) R 28751 28749 28700 0 -1 4194304 2176 0 0 0 179621 4 0 0 25 0 1 0 150376099 10317824 2140 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134550961 0 0 4096 0 0 0 0 17 0 0 0
/proc/28753/statm: 2519 2140 211 20 0 1956 0
[pid=28754] ppid=28751 vsize=12568 CPUtime=0.03
/proc/28754/stat : 28754 (pbout.pl) S 28751 28749 28700 0 -1 4194304 520 0 0 0 1 2 0 0 16 0 1 0 150376099 12869632 479 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 264849371234 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/28754/statm: 3142 479 333 3 0 242 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (Kb) 45628



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1799.32 s]
/proc/loadavg: 1.00 1.00 1.00 2/68 28756
/proc/meminfo: memFree=1309672/2055920 swapFree=4183100/4192956
[pid=28749] ppid=28747 vsize=5360 CPUtime=0
/proc/28749/stat : 28749 (runpbsmodels) S 28747 28749 28700 0 -1 4194304 287 0 0 0 0 0 0 0 20 0 1 0 150376098 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 264840471364 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/28749/statm: 1340 234 195 169 0 51 0
[pid=28750] ppid=28749 vsize=12268 CPUtime=0
/proc/28750/stat : 28750 (pbsmodels-v1.28) S 28749 28749 28700 0 -1 4194304 425 0 0 0 0 0 0 0 21 0 1 0 150376098 12562432 383 18446744073709551615 4194304 4206940 548682068992 18446744073709551615 264849375124 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/28750/statm: 3067 383 293 3 0 167 0
[pid=28751] ppid=28750 vsize=5356 CPUtime=3.81
/proc/28751/stat : 28751 (sh) S 28750 28749 28700 0 -1 4194304 311 976 0 0 0 0 381 0 16 0 1 0 150376098 5484544 227 18446744073709551615 4194304 4889804 548682069024 18446744073709551615 264840471364 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/28751/statm: 1339 227 188 169 0 50 0
[pid=28753] ppid=28751 vsize=10076 CPUtime=1796.25
/proc/28753/stat : 28753 (smodels) R 28751 28749 28700 0 -1 4194304 2176 0 0 0 179621 4 0 0 25 0 1 0 150376099 10317824 2140 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134531271 0 0 4096 0 0 0 0 17 0 0 0
/proc/28753/statm: 2519 2140 211 20 0 1956 0
[pid=28754] ppid=28751 vsize=12568 CPUtime=0.03
/proc/28754/stat : 28754 (pbout.pl) S 28751 28749 28700 0 -1 4194304 520 0 0 0 1 2 0 0 16 0 1 0 150376099 12869632 479 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 264849371234 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/28754/statm: 3142 479 333 3 0 242 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (Kb) 45628

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 28749 and gives childrusage.ru_utime.tv_sec=0 childrusage.ru_utime.tv_usec=0 childrusage.ru_stime.tv_sec=0 childrusage.ru_stime.tv_usec=999
CPU time returned by wait4() is 0.000999
while last known CPU time is 1800.09

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

Real time (s): 1799.34
CPU time (s): 1800.09
CPU user time (s): 1800.03
CPU system time (s): 0.06
CPU usage (%): 100.042
Max. virtual memory (cumulated for all children) (Kb): 45628
The end

Begin job on node44 on Thu Jul 27 21:17:32 UTC 2006


FILE ID= 34007-1154035052

PBS_JOBID= 881108

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_solver-v1.28/runpbsmodels ROOT/tmp/node44/34007-1154035052/instance-34007-1154035052.opb 535092333  ROOT/tmp/node44/34007-1154035052
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node44/watcher-34007-1154035052 -o ROOT/results/node44/solver-34007-1154035052 -C 1800 -M 1800 -S 64  ROOT/solvers/PB/PB06final/user4/pbsmodels_solver-v1.28/runpbsmodels ROOT/tmp/node44/34007-1154035052/instance-34007-1154035052.opb 535092333  ROOT/tmp/node44/34007-1154035052

MD5SUM SOLVER= f639f6b7f53e3afd14340f75c0e271ee 82c14a26114306e436bf36ef1d1c85a0 c893ceb51a2aaa4ab2f96d97b043cdf0 8c810dcfce02286b111d075d14837741 79b233270d136fcdcf9d8f80d20efef0
MD5SUM BENCH=  b75dadb532de8158b35ca12cd6b47e2f

RANDOM SEED= 535092333

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.238
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.238
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:       1319512 kB
Buffers:         26828 kB
Cached:         653304 kB
SwapCached:       3540 kB
Active:         272520 kB
Inactive:       416072 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1319512 kB
SwapTotal:     4192956 kB
SwapFree:      4183100 kB
Dirty:             212 kB
Writeback:           0 kB
Mapped:          14480 kB
Slab:            33764 kB
Committed_AS:   609332 kB
PageTables:       1408 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB


End job on node44 on Thu Jul 27 21:47:31 UTC 2006