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