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