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