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