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

OK	-342

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

command line: runsolver --timestamp -w ROOT/results/node83/watcher-36608-1149273624 -o ROOT/results/node83/solver-36608-1149273624 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user8/Pueblo ROOT/tmp/node83/36608-1149273624/instance-36608-1149273624.opb 

Current StackSize limit: 67108864 bytes

/proc/loadavg: 0.93 1.02 0.96 2/67 27820
/proc/meminfo: memFree=1560032/2055888 swapFree=4085416/4096564
[pid=27820] ppid=27818 vsize=172 CPUtime=0
/proc/27820/stat : 27820 (Pueblo) D 27818 27820 27774 0 -1 4194304 37 0 0 0 0 0 0 0 20 0 1 0 193001730 176128 23 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 11735988 0 2147483391 4096 0 18446744072099917094 0 0 17 1 0 0
/proc/27820/statm: 43 23 18 16 0 2 0

[startup+10.0026 s]
/proc/loadavg: 0.94 1.02 0.96 2/67 27820
/proc/meminfo: memFree=1507424/2055888 swapFree=4085416/4096564
[pid=27820] ppid=27818 vsize=55044 CPUtime=9.99
/proc/27820/stat : 27820 (Pueblo) R 27818 27820 27774 0 -1 4194304 13370 0 0 0 991 8 0 0 25 0 1 0 193001730 56365056 13342 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134557279 0 0 4096 0 0 0 0 17 1 0 0
/proc/27820/statm: 13761 13342 205 16 0 13201 0
Current children cumulated CPU time (s) 9.99
Current children cumulated vsize (Kb) 55044

[startup+20.0085 s]
/proc/loadavg: 0.95 1.02 0.96 2/67 27820
/proc/meminfo: memFree=1485344/2055888 swapFree=4085416/4096564
[pid=27820] ppid=27818 vsize=77104 CPUtime=19.99
/proc/27820/stat : 27820 (Pueblo) R 27818 27820 27774 0 -1 4194304 18885 0 0 0 1988 11 0 0 25 0 1 0 193001730 78954496 18857 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527762 0 0 4096 0 0 0 0 17 1 0 0
/proc/27820/statm: 19276 18857 205 16 0 18716 0
Current children cumulated CPU time (s) 19.99
Current children cumulated vsize (Kb) 77104

[startup+30.0145 s]
/proc/loadavg: 0.96 1.02 0.96 2/67 27820
/proc/meminfo: memFree=1481312/2055888 swapFree=4085416/4096564
[pid=27820] ppid=27818 vsize=81228 CPUtime=29.99
/proc/27820/stat : 27820 (Pueblo) R 27818 27820 27774 0 -1 4194304 19918 0 0 0 2987 12 0 0 25 0 1 0 193001730 83177472 19890 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/27820/statm: 20307 19890 205 16 0 19747 0
Current children cumulated CPU time (s) 29.99
Current children cumulated vsize (Kb) 81228

[startup+40.0204 s]
/proc/loadavg: 0.96 1.02 0.96 2/67 27820
/proc/meminfo: memFree=1475616/2055888 swapFree=4085416/4096564
[pid=27820] ppid=27818 vsize=86932 CPUtime=39.99
/proc/27820/stat : 27820 (Pueblo) R 27818 27820 27774 0 -1 4194304 21324 0 0 0 3985 14 0 0 25 0 1 0 193001730 89018368 21296 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/27820/statm: 21733 21296 205 16 0 21173 0
Current children cumulated CPU time (s) 39.99
Current children cumulated vsize (Kb) 86932

[startup+50.0263 s]
/proc/loadavg: 0.97 1.02 0.96 2/67 27820
/proc/meminfo: memFree=1473952/2055888 swapFree=4085416/4096564
[pid=27820] ppid=27818 vsize=88708 CPUtime=49.99
/proc/27820/stat : 27820 (Pueblo) R 27818 27820 27774 0 -1 4194304 22122 0 0 0 4984 15 0 0 25 0 1 0 193001730 90836992 21736 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527815 0 0 4096 0 0 0 0 17 1 0 0
/proc/27820/statm: 22177 21736 205 16 0 21617 0
Current children cumulated CPU time (s) 49.99
Current children cumulated vsize (Kb) 88708

[startup+60.0322 s]
/proc/loadavg: 0.97 1.02 0.96 2/67 27820
/proc/meminfo: memFree=1472864/2055888 swapFree=4085416/4096564
[pid=27820] ppid=27818 vsize=89684 CPUtime=60
/proc/27820/stat : 27820 (Pueblo) R 27818 27820 27774 0 -1 4194304 22390 0 0 0 5984 16 0 0 25 0 1 0 193001730 91836416 22004 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134557302 0 0 4096 0 0 0 0 17 1 0 0
/proc/27820/statm: 22421 22004 205 16 0 21861 0
Current children cumulated CPU time (s) 60
Current children cumulated vsize (Kb) 89684

[startup+70.0381 s]
/proc/loadavg: 0.98 1.02 0.96 2/67 27820
/proc/meminfo: memFree=1473568/2055888 swapFree=4085416/4096564
[pid=27820] ppid=27818 vsize=88792 CPUtime=70
/proc/27820/stat : 27820 (Pueblo) R 27818 27820 27774 0 -1 4194304 22390 0 0 0 6983 17 0 0 25 0 1 0 193001730 90923008 21782 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134528544 0 0 4096 0 0 0 0 17 1 0 0
/proc/27820/statm: 22198 21782 205 16 0 21638 0
Current children cumulated CPU time (s) 70
Current children cumulated vsize (Kb) 88792

[startup+80.044 s]
/proc/loadavg: 0.98 1.02 0.96 2/67 27820
/proc/meminfo: memFree=1468576/2055888 swapFree=4085416/4096564
[pid=27820] ppid=27818 vsize=94000 CPUtime=80.01
/proc/27820/stat : 27820 (Pueblo) R 27818 27820 27774 0 -1 4194304 23676 0 0 0 7982 19 0 0 25 0 1 0 193001730 96256000 23068 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134529081 0 0 4096 0 0 0 0 17 1 0 0
/proc/27820/statm: 23500 23068 205 16 0 22940 0
Current children cumulated CPU time (s) 80.01
Current children cumulated vsize (Kb) 94000

[startup+90.0499 s]
/proc/loadavg: 0.98 1.02 0.96 2/67 27820
/proc/meminfo: memFree=1466656/2055888 swapFree=4085416/4096564
[pid=27820] ppid=27818 vsize=95864 CPUtime=90
/proc/27820/stat : 27820 (Pueblo) R 27818 27820 27774 0 -1 4194304 24146 0 0 0 8980 20 0 0 25 0 1 0 193001730 98164736 23538 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/27820/statm: 23966 23538 205 16 0 23406 0
Current children cumulated CPU time (s) 90
Current children cumulated vsize (Kb) 95864

[startup+100.056 s]
/proc/loadavg: 0.98 1.02 0.96 2/67 27820
/proc/meminfo: memFree=1467168/2055888 swapFree=4085416/4096564
[pid=27820] ppid=27818 vsize=95328 CPUtime=100.01
/proc/27820/stat : 27820 (Pueblo) R 27818 27820 27774 0 -1 4194304 24234 0 0 0 9979 22 0 0 25 0 1 0 193001730 97615872 23415 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/27820/statm: 23832 23415 205 16 0 23272 0
Current children cumulated CPU time (s) 100.01
Current children cumulated vsize (Kb) 95328

[startup+110.062 s]
/proc/loadavg: 0.99 1.01 0.96 2/67 27820
/proc/meminfo: memFree=1463200/2055888 swapFree=4085416/4096564
[pid=27820] ppid=27818 vsize=99360 CPUtime=110.01
/proc/27820/stat : 27820 (Pueblo) R 27818 27820 27774 0 -1 4194304 25239 0 0 0 10978 23 0 0 25 0 1 0 193001730 101744640 24420 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/27820/statm: 24840 24420 205 16 0 24280 0
Current children cumulated CPU time (s) 110.01
Current children cumulated vsize (Kb) 99360

[startup+120.068 s]
/proc/loadavg: 0.99 1.01 0.96 2/67 27820
/proc/meminfo: memFree=1462944/2055888 swapFree=4085416/4096564
[pid=27820] ppid=27818 vsize=99596 CPUtime=120.02
/proc/27820/stat : 27820 (Pueblo) R 27818 27820 27774 0 -1 4194304 25299 0 0 0 11978 24 0 0 25 0 1 0 193001730 101986304 24480 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134520072 0 0 4096 0 0 0 0 17 1 0 0
/proc/27820/statm: 24899 24480 205 16 0 24339 0
Current children cumulated CPU time (s) 120.02
Current children cumulated vsize (Kb) 99596

[startup+130.074 s]
/proc/loadavg: 0.99 1.01 0.96 2/67 27820
/proc/meminfo: memFree=1462944/2055888 swapFree=4085416/4096564
[pid=27820] ppid=27818 vsize=99368 CPUtime=130.01
/proc/27820/stat : 27820 (Pueblo) R 27818 27820 27774 0 -1 4194304 25299 0 0 0 12977 24 0 0 25 0 1 0 193001730 101752832 24426 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134520051 0 0 4096 0 0 0 0 17 1 0 0
/proc/27820/statm: 24842 24426 205 16 0 24282 0
Current children cumulated CPU time (s) 130.01
Current children cumulated vsize (Kb) 99368

[startup+140.079 s]
/proc/loadavg: 0.99 1.01 0.96 2/67 27820
/proc/meminfo: memFree=1462688/2055888 swapFree=4085416/4096564
[pid=27820] ppid=27818 vsize=99920 CPUtime=140.01
/proc/27820/stat : 27820 (Pueblo) R 27818 27820 27774 0 -1 4194304 25424 0 0 0 13976 25 0 0 25 0 1 0 193001730 102318080 24537 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134557926 0 0 4096 0 0 0 0 17 1 0 0
/proc/27820/statm: 24980 24537 205 16 0 24420 0
Current children cumulated CPU time (s) 140.01
Current children cumulated vsize (Kb) 99920

[startup+150.085 s]
/proc/loadavg: 0.99 1.01 0.96 2/67 27820
/proc/meminfo: memFree=1457312/2055888 swapFree=4085416/4096564
[pid=27820] ppid=27818 vsize=105292 CPUtime=150.03
/proc/27820/stat : 27820 (Pueblo) R 27818 27820 27774 0 -1 4194304 26898 0 0 0 14976 27 0 0 25 0 1 0 193001730 107819008 25881 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134557282 0 0 4096 0 0 0 0 17 1 0 0
/proc/27820/statm: 26323 25881 205 16 0 25763 0
Current children cumulated CPU time (s) 150.03
Current children cumulated vsize (Kb) 105292

[startup+160.091 s]
/proc/loadavg: 0.99 1.01 0.96 2/67 27820
/proc/meminfo: memFree=1457312/2055888 swapFree=4085416/4096564
[pid=27820] ppid=27818 vsize=105156 CPUtime=160.02
/proc/27820/stat : 27820 (Pueblo) R 27818 27820 27774 0 -1 4194304 26898 0 0 0 15975 27 0 0 25 0 1 0 193001730 107679744 25871 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517908 0 0 4096 0 0 0 0 17 1 0 0
/proc/27820/statm: 26289 25871 205 16 0 25729 0
Current children cumulated CPU time (s) 160.02
Current children cumulated vsize (Kb) 105156

[startup+170.097 s]
/proc/loadavg: 0.99 1.01 0.96 2/67 27820
/proc/meminfo: memFree=1457248/2055888 swapFree=4085416/4096564
[pid=27820] ppid=27818 vsize=105388 CPUtime=170.03
/proc/27820/stat : 27820 (Pueblo) R 27818 27820 27774 0 -1 4194304 26929 0 0 0 16975 28 0 0 25 0 1 0 193001730 107917312 25902 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/27820/statm: 26347 25902 205 16 0 25787 0
Current children cumulated CPU time (s) 170.03
Current children cumulated vsize (Kb) 105388

[startup+180.103 s]
/proc/loadavg: 0.99 1.01 0.96 2/67 27820
/proc/meminfo: memFree=1456416/2055888 swapFree=4085416/4096564
[pid=27820] ppid=27818 vsize=106120 CPUtime=180.03
/proc/27820/stat : 27820 (Pueblo) R 27818 27820 27774 0 -1 4194304 27132 0 0 0 17974 29 0 0 25 0 1 0 193001730 108666880 26105 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134520067 0 0 4096 0 0 0 0 17 1 0 0
/proc/27820/statm: 26530 26105 205 16 0 25970 0
Current children cumulated CPU time (s) 180.03
Current children cumulated vsize (Kb) 106120

[startup+190.109 s]
/proc/loadavg: 0.99 1.01 0.96 2/67 27820
/proc/meminfo: memFree=1456416/2055888 swapFree=4085416/4096564
[pid=27820] ppid=27818 vsize=106156 CPUtime=190.03
/proc/27820/stat : 27820 (Pueblo) R 27818 27820 27774 0 -1 4194304 27206 0 0 0 18973 30 0 0 25 0 1 0 193001730 108703744 26106 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/27820/statm: 26539 26106 205 16 0 25979 0
Current children cumulated CPU time (s) 190.03
Current children cumulated vsize (Kb) 106156

[startup+200.115 s]
/proc/loadavg: 0.99 1.01 0.96 2/67 27820
/proc/meminfo: memFree=1456416/2055888 swapFree=4085416/4096564
[pid=27820] ppid=27818 vsize=106004 CPUtime=200.03
/proc/27820/stat : 27820 (Pueblo) R 27818 27820 27774 0 -1 4194304 27206 0 0 0 19973 30 0 0 25 0 1 0 193001730 108548096 26083 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517874 0 0 4096 0 0 0 0 17 1 0 0
/proc/27820/statm: 26501 26083 205 16 0 25941 0
Current children cumulated CPU time (s) 200.03
Current children cumulated vsize (Kb) 106004

[startup+210.121 s]
/proc/loadavg: 0.99 1.00 0.96 2/67 27820
/proc/meminfo: memFree=1454112/2055888 swapFree=4085416/4096564

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

/proc/27820/statm: 42050 41630 205 16 0 41490 0
Current children cumulated CPU time (s) 1590.33
Current children cumulated vsize (Kb) 168200

[startup+1600.94 s]
/proc/loadavg: 1.00 1.00 0.97 2/67 28015
/proc/meminfo: memFree=1393824/2055888 swapFree=4085416/4096564
[pid=27820] ppid=27818 vsize=168188 CPUtime=1600.33
/proc/27820/stat : 27820 (Pueblo) R 27818 27820 27774 0 -1 4194304 46628 0 0 0 159869 164 0 0 25 0 1 0 193001730 172224512 41627 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134520072 0 0 4096 0 0 0 0 17 1 0 0
/proc/27820/statm: 42047 41627 205 16 0 41487 0
Current children cumulated CPU time (s) 1600.33
Current children cumulated vsize (Kb) 168188

[startup+1610.95 s]
/proc/loadavg: 1.00 1.00 0.97 2/67 28015
/proc/meminfo: memFree=1394016/2055888 swapFree=4085416/4096564
[pid=27820] ppid=27818 vsize=167980 CPUtime=1610.33
/proc/27820/stat : 27820 (Pueblo) R 27818 27820 27774 0 -1 4194304 46628 0 0 0 160868 165 0 0 25 0 1 0 193001730 172011520 41575 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/27820/statm: 41995 41575 205 16 0 41435 0
Current children cumulated CPU time (s) 1610.33
Current children cumulated vsize (Kb) 167980

[startup+1620.96 s]
/proc/loadavg: 1.00 1.00 0.97 2/67 28015
/proc/meminfo: memFree=1394272/2055888 swapFree=4085416/4096564
[pid=27820] ppid=27818 vsize=167700 CPUtime=1620.34
/proc/27820/stat : 27820 (Pueblo) R 27818 27820 27774 0 -1 4194304 46628 0 0 0 161868 166 0 0 25 0 1 0 193001730 171724800 41505 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134528632 0 0 4096 0 0 0 0 17 1 0 0
/proc/27820/statm: 41925 41505 205 16 0 41365 0
Current children cumulated CPU time (s) 1620.34
Current children cumulated vsize (Kb) 167700

[startup+1630.96 s]
/proc/loadavg: 1.00 1.00 0.97 2/67 28015
/proc/meminfo: memFree=1394464/2055888 swapFree=4085416/4096564
[pid=27820] ppid=27818 vsize=167536 CPUtime=1630.34
/proc/27820/stat : 27820 (Pueblo) R 27818 27820 27774 0 -1 4194304 46628 0 0 0 162868 166 0 0 25 0 1 0 193001730 171556864 41464 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134520075 0 0 4096 0 0 0 0 17 1 0 0
/proc/27820/statm: 41884 41464 205 16 0 41324 0
Current children cumulated CPU time (s) 1630.34
Current children cumulated vsize (Kb) 167536

[startup+1640.97 s]
/proc/loadavg: 1.00 1.00 0.97 2/67 28015
/proc/meminfo: memFree=1394464/2055888 swapFree=4085416/4096564
[pid=27820] ppid=27818 vsize=167524 CPUtime=1640.35
/proc/27820/stat : 27820 (Pueblo) R 27818 27820 27774 0 -1 4194304 46628 0 0 0 163868 167 0 0 25 0 1 0 193001730 171544576 41461 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/27820/statm: 41881 41461 205 16 0 41321 0
Current children cumulated CPU time (s) 1640.35
Current children cumulated vsize (Kb) 167524

[startup+1650.97 s]
/proc/loadavg: 1.00 1.00 0.97 2/67 28015
/proc/meminfo: memFree=1394528/2055888 swapFree=4085416/4096564
[pid=27820] ppid=27818 vsize=167524 CPUtime=1650.35
/proc/27820/stat : 27820 (Pueblo) R 27818 27820 27774 0 -1 4194304 46628 0 0 0 164867 168 0 0 25 0 1 0 193001730 171544576 41461 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134520048 0 0 4096 0 0 0 0 17 1 0 0
/proc/27820/statm: 41881 41461 205 16 0 41321 0
Current children cumulated CPU time (s) 1650.35
Current children cumulated vsize (Kb) 167524

[startup+1660.98 s]
/proc/loadavg: 1.00 1.00 0.97 2/67 28015
/proc/meminfo: memFree=1394528/2055888 swapFree=4085416/4096564
[pid=27820] ppid=27818 vsize=167524 CPUtime=1660.35
/proc/27820/stat : 27820 (Pueblo) R 27818 27820 27774 0 -1 4194304 46628 0 0 0 165866 169 0 0 25 0 1 0 193001730 171544576 41461 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134528788 0 0 4096 0 0 0 0 17 1 0 0
/proc/27820/statm: 41881 41461 205 16 0 41321 0
Current children cumulated CPU time (s) 1660.35
Current children cumulated vsize (Kb) 167524

[startup+1670.99 s]
/proc/loadavg: 1.00 1.00 0.97 2/67 28015
/proc/meminfo: memFree=1398944/2055888 swapFree=4085416/4096564
[pid=27820] ppid=27818 vsize=163068 CPUtime=1670.35
/proc/27820/stat : 27820 (Pueblo) R 27818 27820 27774 0 -1 4194304 46628 0 0 0 166865 170 0 0 25 0 1 0 193001730 166981632 40347 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517805 0 0 4096 0 0 0 0 17 1 0 0
/proc/27820/statm: 40767 40347 205 16 0 40207 0
Current children cumulated CPU time (s) 1670.35
Current children cumulated vsize (Kb) 163068

[startup+1680.99 s]
/proc/loadavg: 1.00 1.00 0.97 2/67 28015
/proc/meminfo: memFree=1396256/2055888 swapFree=4085416/4096564
[pid=27820] ppid=27818 vsize=165948 CPUtime=1680.36
/proc/27820/stat : 27820 (Pueblo) R 27818 27820 27774 0 -1 4194304 47343 0 0 0 167865 171 0 0 25 0 1 0 193001730 169930752 41062 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517790 0 0 4096 0 0 0 0 17 1 0 0
/proc/27820/statm: 41487 41062 205 16 0 40927 0
Current children cumulated CPU time (s) 1680.36
Current children cumulated vsize (Kb) 165948

[startup+1691 s]
/proc/loadavg: 1.00 1.00 0.97 2/67 28015
/proc/meminfo: memFree=1396256/2055888 swapFree=4085416/4096564
[pid=27820] ppid=27818 vsize=165948 CPUtime=1690.36
/proc/27820/stat : 27820 (Pueblo) R 27818 27820 27774 0 -1 4194304 47343 0 0 0 168864 172 0 0 25 0 1 0 193001730 169930752 41062 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/27820/statm: 41487 41062 205 16 0 40927 0
Current children cumulated CPU time (s) 1690.36
Current children cumulated vsize (Kb) 165948

[startup+1701 s]
/proc/loadavg: 1.00 1.00 0.97 2/67 28015
/proc/meminfo: memFree=1396256/2055888 swapFree=4085416/4096564
[pid=27820] ppid=27818 vsize=165800 CPUtime=1700.36
/proc/27820/stat : 27820 (Pueblo) R 27818 27820 27774 0 -1 4194304 47343 0 0 0 169863 173 0 0 25 0 1 0 193001730 169779200 41030 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134559533 0 0 4096 0 0 0 0 17 1 0 0
/proc/27820/statm: 41450 41030 205 16 0 40890 0
Current children cumulated CPU time (s) 1700.36
Current children cumulated vsize (Kb) 165800

[startup+1711.01 s]
/proc/loadavg: 1.00 1.00 0.97 2/67 28015
/proc/meminfo: memFree=1396256/2055888 swapFree=4085416/4096564
[pid=27820] ppid=27818 vsize=165784 CPUtime=1710.37
/proc/27820/stat : 27820 (Pueblo) R 27818 27820 27774 0 -1 4194304 47343 0 0 0 170863 174 0 0 25 0 1 0 193001730 169762816 41026 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134557338 0 0 4096 0 0 0 0 17 1 0 0
/proc/27820/statm: 41446 41026 205 16 0 40886 0
Current children cumulated CPU time (s) 1710.37
Current children cumulated vsize (Kb) 165784

[startup+1721.02 s]
/proc/loadavg: 1.00 1.00 0.97 2/67 28015
/proc/meminfo: memFree=1396320/2055888 swapFree=4085416/4096564
[pid=27820] ppid=27818 vsize=165764 CPUtime=1720.36
/proc/27820/stat : 27820 (Pueblo) R 27818 27820 27774 0 -1 4194304 47343 0 0 0 171862 174 0 0 25 0 1 0 193001730 169742336 41021 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 12169826 0 0 4096 0 0 0 0 17 1 0 0
/proc/27820/statm: 41441 41021 205 16 0 40881 0
Current children cumulated CPU time (s) 1720.36
Current children cumulated vsize (Kb) 165764

[startup+1731.02 s]
/proc/loadavg: 1.00 1.00 0.97 2/67 28015
/proc/meminfo: memFree=1396320/2055888 swapFree=4085416/4096564
[pid=27820] ppid=27818 vsize=165708 CPUtime=1730.37
/proc/27820/stat : 27820 (Pueblo) R 27818 27820 27774 0 -1 4194304 47343 0 0 0 172862 175 0 0 25 0 1 0 193001730 169684992 41007 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/27820/statm: 41427 41007 205 16 0 40867 0
Current children cumulated CPU time (s) 1730.37
Current children cumulated vsize (Kb) 165708

[startup+1741.03 s]
/proc/loadavg: 1.00 1.00 0.97 2/67 28015
/proc/meminfo: memFree=1396320/2055888 swapFree=4085416/4096564
[pid=27820] ppid=27818 vsize=165696 CPUtime=1740.37
/proc/27820/stat : 27820 (Pueblo) R 27818 27820 27774 0 -1 4194304 47343 0 0 0 173861 176 0 0 25 0 1 0 193001730 169672704 41004 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134520048 0 0 4096 0 0 0 0 17 1 0 0
/proc/27820/statm: 41424 41004 205 16 0 40864 0
Current children cumulated CPU time (s) 1740.37
Current children cumulated vsize (Kb) 165696

[startup+1751.03 s]
/proc/loadavg: 1.00 1.00 0.97 2/67 28015
/proc/meminfo: memFree=1396320/2055888 swapFree=4085416/4096564
[pid=27820] ppid=27818 vsize=165808 CPUtime=1750.38
/proc/27820/stat : 27820 (Pueblo) R 27818 27820 27774 0 -1 4194304 47349 0 0 0 174861 177 0 0 25 0 1 0 193001730 169787392 41010 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517901 0 0 4096 0 0 0 0 17 1 0 0
/proc/27820/statm: 41452 41010 205 16 0 40892 0
Current children cumulated CPU time (s) 1750.38
Current children cumulated vsize (Kb) 165808

[startup+1761.04 s]
/proc/loadavg: 1.00 1.00 0.97 2/67 28015
/proc/meminfo: memFree=1396320/2055888 swapFree=4085416/4096564
[pid=27820] ppid=27818 vsize=165808 CPUtime=1760.38
/proc/27820/stat : 27820 (Pueblo) R 27818 27820 27774 0 -1 4194304 47349 0 0 0 175860 178 0 0 25 0 1 0 193001730 169787392 41010 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134528052 0 0 4096 0 0 0 0 17 1 0 0
/proc/27820/statm: 41452 41010 205 16 0 40892 0
Current children cumulated CPU time (s) 1760.38
Current children cumulated vsize (Kb) 165808

[startup+1771.05 s]
/proc/loadavg: 1.00 1.00 0.97 2/67 28015
/proc/meminfo: memFree=1396320/2055888 swapFree=4085416/4096564
[pid=27820] ppid=27818 vsize=165740 CPUtime=1770.38
/proc/27820/stat : 27820 (Pueblo) R 27818 27820 27774 0 -1 4194304 47349 0 0 0 176860 178 0 0 25 0 1 0 193001730 169717760 41010 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134528556 0 0 4096 0 0 0 0 17 1 0 0
/proc/27820/statm: 41435 41010 205 16 0 40875 0
Current children cumulated CPU time (s) 1770.38
Current children cumulated vsize (Kb) 165740

[startup+1781.05 s]
/proc/loadavg: 1.00 1.00 0.97 2/67 28015
/proc/meminfo: memFree=1394080/2055888 swapFree=4085416/4096564
[pid=27820] ppid=27818 vsize=168088 CPUtime=1780.38
/proc/27820/stat : 27820 (Pueblo) R 27818 27820 27774 0 -1 4194304 47927 0 0 0 177859 179 0 0 25 0 1 0 193001730 172122112 41588 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517879 0 0 4096 0 0 0 0 17 1 0 0
/proc/27820/statm: 42022 41588 205 16 0 41462 0
Current children cumulated CPU time (s) 1780.38
Current children cumulated vsize (Kb) 168088

[startup+1782.06 s]
/proc/loadavg: 1.00 1.00 0.97 2/67 28015
/proc/meminfo: memFree=1394080/2055888 swapFree=4085416/4096564
[pid=27820] ppid=27818 vsize=168088 CPUtime=1781.38
/proc/27820/stat : 27820 (Pueblo) R 27818 27820 27774 0 -1 4194304 47927 0 0 0 177959 179 0 0 25 0 1 0 193001730 172122112 41588 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134520204 0 0 4096 0 0 0 0 17 1 0 0
/proc/27820/statm: 42022 41588 205 16 0 41462 0
Current children cumulated CPU time (s) 1781.38
Current children cumulated vsize (Kb) 168088

[startup+1783.06 s]
/proc/loadavg: 1.00 1.00 0.97 2/67 28015
/proc/meminfo: memFree=1394080/2055888 swapFree=4085416/4096564
[pid=27820] ppid=27818 vsize=168088 CPUtime=1782.39
/proc/27820/stat : 27820 (Pueblo) R 27818 27820 27774 0 -1 4194304 47927 0 0 0 178060 179 0 0 25 0 1 0 193001730 172122112 41588 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134520051 0 0 4096 0 0 0 0 17 1 0 0
/proc/27820/statm: 42022 41588 205 16 0 41462 0
Current children cumulated CPU time (s) 1782.39
Current children cumulated vsize (Kb) 168088

Child status: 10
Real time (s): 1783.43
CPU time (s): 1782.77
CPU user time (s): 1780.94
CPU system time (s): 1.82372
CPU usage (%): 99.9625
Max. virtual memory (cumulated for all children) (Kb): 170580

Begin job on node83 on Fri Jun  2 18:40:24 UTC 2006


FILE ID= 36608-1149273624

PBS_JOBID= 301362

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

MD5SUM SOLVER= 80c24de60e85bc4a9ec18ca4764e7dff
MD5SUM BENCH=  7ddc5796bc843f2bf9bc94a0b22fd8e4

RANDOM SEED= 84469596


/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.265
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	: 6006.16
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.265
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	: 5999.44
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055888 kB
MemFree:       1560304 kB
Buffers:         30948 kB
Cached:         390592 kB
SwapCached:       2440 kB
Active:          38932 kB
Inactive:       391416 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055888 kB
LowFree:       1560304 kB
SwapTotal:     4096564 kB
SwapFree:      4085416 kB
Dirty:             148 kB
Writeback:           0 kB
Mapped:          16892 kB
Slab:            51924 kB
Committed_AS:   313292 kB
PageTables:       1284 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264388 kB
VmallocChunk: 536606243 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB


End job on node83 on Fri Jun  2 19:10:07 UTC 2006