Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
PB-smodels 1.28 | SAT (TO) | 390033 | 1800.37 | 1799.4 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/ pub/unibo/normalized-reduced-mps-v2-20-10-nsrand_ipx.opb |
MD5SUM | 5afe2e688387cc46a3d150d955d27ab1 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 310937 |
Best CPU time to get the best result obtained on this benchmark | 1800.04 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 294914 |
Optimality of the best value was proved | NO |
Number of variables | 6651 |
Total number of constraints | 721 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 331 |
Number of constraints which are nor clauses,nor cardinality constraints | 390 |
Minimum length of a constraint | 20 |
Maximum length of a constraint | 6651 |
Number of terms in the objective function | 31 |
Biggest coefficient in the objective function | 262145 |
Number of bits for the biggest coefficient in the objective function | 19 |
Sum of the numbers in the objective function | 524318 |
Number of bits of the sum of numbers in the objective function | 20 |
Biggest number in a constraint | 262145 |
Number of bits of the biggest number in a constraint | 19 |
Biggest sum of numbers in a constraint | 527653 |
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.28 813.40 o 390101 813.41 o 390097 1789.68 o 390037 1789.70 o 390033 1799.38 s SATISFIABLE 1799.38 v x6621 x6622 x6623 x6624 x6625 x6626 x6627 x6628 x6629 x6630 x6631 x6632 x6633 x6634 x6635 x6637 x6638 x6639 x6641 x6642 x6645 1799.38 v x6646 x6647 x6648 x6649 x6651 x3224 x3891 x348 x736 x1359 x1636 x1947 x2102 x2892 x3769 x4225 x4636 x4769 x5003 x5302 x6213 1799.38 v x6259 x6299 x6323 x6347 x6467 x6528 x6575 x6601 x6 x29 x61 x123 x187 x218 x231 x355 x368 x382 x458 x643 x700 x752 x828 x865 x878 1799.38 v x908 x919 x997 x1078 x1131 x1141 x1211 x1245 x1290 x1299 x1350 x1361 x1382 x1462 x1508 x1560 x1583 x1657 x1727 x1757 x1759 1799.38 v x1784 x1812 x1866 x1911 x2041 x2050 x2123 x2167 x2265 x2299 x2326 x2399 x2410 x2444 x2567 x2597 x2633 x2749 x2759 x2801 x2850 1799.38 v x2878 x3082 x3095 x3123 x3157 x3175 x3198 x3244 x3254 x3289 x3309 x3329 x3372 x3412 x3442 x3541 x3657 x3688 x3808 x3854 x3902 1799.38 v x3939 x3970 x3986 x4005 x4110 x4140 x4166 x4232 x4253 x4274 x4325 x4387 x4472 x4507 x4539 x4574 x4590 x4604 x4676 x4696 x4721 1799.38 v x4737 x4778 x4812 x4831 x4888 x4893 x4949 x4983 x5011 x5041 x5052 x5131 x5161 x5260 x5310 x5348 x5442 x5464 x5503 x5528 x5582 1799.38 v x5688 x5712 x5742 x5873 x5944 x5971 x5981 x6011 x6057 x6151 x6188 -x6636 -x6640 -x6643 -x6644 -x6650 -x1 -x2 -x1113 -x2224 1799.38 v -x3335 -x4446 -x5557 -x6288 -x6399 -x6510 -x3 -x114 -x225 -x336 -x447 -x558 -x669 -x780 -x891 -x1002 -x1114 -x1225 -x1336 1799.38 v -x1447 -x1558 -x1669 -x1780 -x1891 -x2002 -x2113 -x2225 -x2336 -x2447 -x2558 -x2669 -x2780 -x2891 -x3002 -x3113 -x3336 1799.38 v -x3447 -x3558 -x3669 -x3780 -x4002 -x4113 -x4224 -x4335 -x4447 -x4558 -x4669 -x4780 -x4891 -x5002 -x5113 -x5224 -x5335 1799.38 v -x5446 -x5558 -x5669 -x5780 -x5891 -x6002 -x6113 -x6224 -x6255 -x6266 -x6277 -x6289 -x6300 -x6311 -x6322 -x6333 -x6344 1799.38 v -x6355 -x6366 -x6377 -x6388 -x6400 -x6411 -x6422 -x6433 -x6444 -x6455 -x6466 -x6477 -x6488 -x6499 -x6511 -x6522 -x6533 1799.38 v -x6544 -x6555 -x6566 -x6577 -x6588 -x6599 -x6610 -x4 -x15 -x26 -x37 -x48 -x59 -x70 -x81 -x92 -x103 -x115 -x126 -x137 -x148 1799.38 v -x159 -x170 -x181 -x192 -x203 -x214 -x226 -x237 -x248 -x259 -x270 -x281 -x292 -x303 -x314 -x325 -x337 -x359 -x370 -x381 -x392 1799.38 v -x403 -x414 -x425 -x436 -x448 -x459 -x470 -x481 -x492 -x503 -x514 -x525 -x536 -x547 -x559 -x570 -x581 -x592 -x603 -x614 -x625 1799.38 v -x636 -x647 -x658 -x670 -x681 -x692 -x703 -x714 -x725 -x747 -x758 -x769 -x781 -x792 -x803 -x814 -x825 -x836 -x847 -x858 -x869 1799.38 v -x880 -x892 -x903 -x914 -x925 -x936 -x947 -x958 -x969 -x980 -x991 -x1003 -x1014 -x1025 -x1036 -x1047 -x1058 -x1069 -x1080 1799.38 v -x1091 -x1102 -x1115 -x1126 -x1137 -x1148 -x1159 -x1170 -x1181 -x1192 -x1203 -x1214 -x1226 -x1237 -x1248 -x1259 -x1270 1799.38 v -x1281 -x1292 -x1303 -x1314 -x1325 -x1337 -x1348 -x1370 -x1381 -x1392 -x1403 -x1414 -x1425 -x1436 -x1448 -x1459 -x1470 1799.38 v -x1481 -x1492 -x1503 -x1514 -x1525 -x1536 -x1547 -x1559 -x1570 -x1581 -x1592 -x1603 -x1614 -x1625 -x1647 -x1658 -x1670 1799.38 v -x1681 -x1692 -x1703 -x1714 -x1725 -x1736 -x1747 -x1758 -x1769 -x1781 -x1792 -x1803 -x1814 -x1825 -x1836 -x1847 -x1858 1799.38 v -x1869 -x1880 -x1892 -x1903 -x1914 -x1925 -x1936 -x1958 -x1969 -x1980 -x1991 -x2003 -x2014 -x2025 -x2036 -x2047 -x2058 1799.38 v -x2069 -x2080 -x2091 -x2114 -x2125 -x2136 -x2147 -x2158 -x2169 -x2180 -x2191 -x2202 -x2213 -x2226 -x2237 -x2248 -x2259 1799.38 v -x2270 -x2281 -x2292 -x2303 -x2314 -x2325 -x2337 -x2348 -x2359 -x2370 -x2381 -x2392 -x2403 -x2414 -x2425 -x2436 -x2448 1799.38 v -x2459 -x2470 -x2481 -x2492 -x2503 -x2514 -x2525 -x2536 -x2547 -x2559 -x2570 -x2581 -x2592 -x2603 -x2614 -x2625 -x2636 1799.38 v -x2647 -x2658 -x2670 -x2681 -x2692 -x2703 -x2714 -x2725 -x2736 -x2747 -x2758 -x2769 -x2781 -x2792 -x2803 -x2814 -x2825 1799.38 v -x2836 -x2847 -x2858 -x2869 -x2880 -x2903 -x2914 -x2925 -x2936 -x2947 -x2958 -x2969 -x2980 -x2991 -x3003 -x3014 -x3025 1799.38 v -x3036 -x3047 -x3058 -x3069 -x3080 -x3091 -x3102 -x3114 -x3125 -x3136 -x3147 -x3158 -x3169 -x3180 -x3191 -x3202 -x3213 1799.38 v -x3225 -x3236 -x3247 -x3258 -x3269 -x3280 -x3291 -x3302 -x3313 -x3324 -x3337 -x3348 -x3359 -x3370 -x3381 -x3392 -x3403 1799.38 v -x3414 -x3425 -x3436 -x3448 -x3459 -x3470 -x3481 -x3492 -x3503 -x3514 -x3525 -x3536 -x3547 -x3559 -x3570 -x3581 -x3592 1799.38 v -x3603 -x3614 -x3625 -x3636 -x3647 -x3658 -x3670 -x3681 -x3692 -x3703 -x3714 -x3725 -x3736 -x3747 -x3758 -x3781 -x3792 1799.38 v -x3803 -x3814 -x3825 -x3836 -x3847 -x3858 -x3869 -x3880 -x3892 -x3903 -x3914 -x3925 -x3936 -x3947 -x3958 -x3969 -x3980 1799.38 v -x3991 -x4003 -x4014 -x4025 -x4036 -x4047 -x4058 -x4069 -x4080 -x4091 -x4102 -x4114 -x4125 -x4136 -x4147 -x4158 -x4169 1799.38 v -x4180 -x4191 -x4202 -x4213 -x4236 -x4247 -x4258 -x4269 -x4280 -x4291 -x4302 -x4313 -x4324 -x4336 -x4347 -x4358 -x4369 1799.38 v -x4380 -x4391 -x4402 -x4413 -x4424 -x4435 -x4448 -x4459 -x4470 -x4481 -x4492 -x4503 -x4514 -x4525 -x4536 -x4547 -x4559 1799.38 v -x4570 -x4581 -x4592 -x4603 -x4614 -x4625 -x4647 -x4658 -x4670 -x4681 -x4692 -x4703 -x4714 -x4725 -x4736 -x4747 -x4758 1799.38 v -x4781 -x4792 -x4803 -x4814 -x4825 -x4836 -x4847 -x4858 -x4869 -x4880 -x4892 -x4903 -x4914 -x4925 -x4936 -x4947 -x4958 1799.38 v -x4969 -x4980 -x4991 -x5014 -x5025 -x5036 -x5047 -x5058 -x5069 -x5080 -x5091 -x5102 -x5114 -x5125 -x5136 -x5147 -x5158 1799.38 v -x5169 -x5180 -x5191 -x5202 -x5213 -x5225 -x5236 -x5247 -x5258 -x5269 -x5280 -x5291 -x5313 -x5324 -x5336 -x5347 -x5358 1799.38 v -x5369 -x5380 -x5391 -x5402 -x5413 -x5424 -x5435 -x5447 -x5458 -x5469 -x5480 -x5491 -x5502 -x5513 -x5524 -x5535 -x5546 1799.38 v -x5559 -x5570 -x5581 -x5592 -x5603 -x5614 -x5625 -x5636 -x5647 -x5658 -x5670 -x5681 -x5692 -x5703 -x5714 -x5725 -x5736 1799.38 v -x5747 -x5758 -x5769 -x5781 -x5792 -x5803 -x5814 -x5825 -x5836 -x5847 -x5858 -x5869 -x5880 -x5892 -x5903 -x5914 -x5925 1799.38 v -x5936 -x5947 -x5958 -x5969 -x5980 -x5991 -x6003 -x6014 -x6025 -x6036 -x6047 -x6058 -x6069 -x6080 -x6091 -x6102 -x6114 1799.38 v -x6125 -x6136 -x6147 -x6158 -x6169 -x6180 -x6191 -x6202 -x6225 -x6236 -x6247 -x6248 -x6249 -x6250 -x6251 -x6252 -x6253 1799.38 v -x6254 -x6256 -x6257 -x6258 -x6260 -x6261 -x6262 -x6263 -x6264 -x6265 -x6267 -x6268 -x6269 -x6270 -x6271 -x6272 -x6273 1799.38 v -x6274 -x6275 -x6276 -x6278 -x6279 -x6280 -x6281 -x6282 -x6283 -x6284 -x6285 -x6286 -x6287 -x6290 -x6291 -x6292 -x6293 1799.38 v -x6294 -x6295 -x6296 -x6297 -x6298 -x6301 -x6302 -x6303 -x6304 -x6305 -x6306 -x6307 -x6308 -x6309 -x6310 -x6312 -x6313 1799.38 v -x6314 -x6315 -x6316 -x6317 -x6318 -x6319 -x6320 -x6321 -x6324 -x6325 -x6326 -x6327 -x6328 -x6329 -x6330 -x6331 -x6332 1799.38 v -x6334 -x6335 -x6336 -x6337 -x6338 -x6339 -x6340 -x6341 -x6342 -x6343 -x6345 -x6346 -x6348 -x6349 -x6350 -x6351 -x6352 1799.38 v -x6353 -x6354 -x6356 -x6357 -x6358 -x6359 -x6360 -x6361 -x6362 -x6363 -x6364 -x6365 -x6367 -x6368 -x6369 -x6370 -x6371 1799.38 v -x6372 -x6373 -x6374 -x6375 -x6376 -x6378 -x6379 -x6380 -x6381 -x6382 -x6383 -x6384 -x6385 -x6386 -x6387 -x6389 -x6390 1799.38 v -x6391 -x6392 -x6393 -x6394 -x6395 -x6396 -x6397 -x6398 -x6401 -x6402 -x6403 -x6404 -x6405 -x6406 -x6407 -x6408 -x6409 1799.38 v -x6410 -x6412 -x6413 -x6414 -x6415 -x6416 -x6417 -x6418 -x6419 -x6420 -x6421 -x6423 -x6424 -x6425 -x6426 -x6427 -x6428 1799.38 v -x6429 -x6430 -x6431 -x6432 -x6434 -x6435 -x6436 -x6437 -x6438 -x6439 -x6440 -x6441 -x6442 -x6443 -x6445 -x6446 -x6447 1799.38 v -x6448 -x6449 -x6450 -x6451 -x6452 -x6453 -x6454 -x6456 -x6457 -x6458 -x6459 -x6460 -x6461 -x6462 -x6463 -x6464 -x6465 1799.38 v -x6468 -x6469 -x6470 -x6471 -x6472 -x6473 -x6474 -x6475 -x6476 -x6478 -x6479 -x6480 -x6481 -x6482 -x6483 -x6484 -x6485 1799.38 v -x6486 -x6487 -x6489 -x6490 -x6491 -x6492 -x6493 -x6494 -x6495 -x6496 -x6497 -x6498 -x6500 -x6501 -x6502 -x6503 -x6504 1799.38 v -x6505 -x6506 -x6507 -x6508 -x6509 -x6512 -x6513 -x6514 -x6515 -x6516 -x6517 -x6518 -x6519 -x6520 -x6521 -x6523 -x6524 1799.38 v -x6525 -x6526 -x6527 -x6529 -x6530 -x6531 -x6532 -x6534 -x6535 -x6536 -x6537 -x6538 -x6539 -x6540 -x6541 -x6542 -x6543 1799.38 v -x6545 -x6546 -x6547 -x6548 -x6549 -x6550 -x6551 -x6552 -x6553 -x6554 -x6556 -x6557 -x6558 -x6559 -x6560 -x6561 -x6562 1799.38 v -x6563 -x6564 -x6565 -x6567 -x6568 -x6569 -x6570 -x6571 -x6572 -x6573 -x6574 -x6576 -x6578 -x6579 -x6580 -x6581 -x6582 1799.38 v -x6583 -x6584 -x6585 -x6586 -x6587 -x6589 -x6590 -x6591 -x6592 -x6593 -x6594 -x6595 -x6596 -x6597 -x6598 -x6600 -x6602 1799.38 v -x6603 -x6604 -x6605 -x6606 -x6607 -x6608 -x6609 -x6611 -x6612 -x6613 -x6614 -x6615 -x6616 -x6617 -x6618 -x6619 -x6620 1799.38 v -x5 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x27 -x28 -x30 -x31 -x32 -x33 -x34 -x35 1799.38 v -x36 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x60 -x62 -x63 -x64 -x65 1799.38 v -x66 -x67 -x68 -x69 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x93 -x94 1799.38 v -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x116 -x117 -x118 -x119 1799.38 v -x120 -x121 -x122 -x124 -x125 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x138 -x139 -x140 -x141 -x142 -x143 1799.38 v -x144 -x145 -x146 -x147 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x160 -x161 -x162 -x163 -x164 -x165 -x166 1799.38 v -x167 -x168 -x169 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x182 -x183 -x184 -x185 -x186 -x188 -x189 -x190 1799.38 v -x191 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 1799.38 v -x215 -x216 -x217 -x219 -x220 -x221 -x222 -x223 -x224 -x227 -x228 -x229 -x230 -x232 -x233 -x234 -x235 -x236 -x238 -x239 -x240 1799.38 v -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x260 -x261 -x262 -x263 1799.38 v -x264 -x265 -x266 -x267 -x268 -x269 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x282 -x283 -x284 -x285 -x286 1799.38 v -x287 -x288 -x289 -x290 -x291 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x304 -x305 -x306 -x307 -x308 -x309 1799.38 v -x310 -x311 -x312 -x313 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x326 -x327 -x328 -x329 -x330 -x331 -x332 1799.38 v -x333 -x334 -x335 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x349 -x350 -x351 -x352 -x353 -x354 -x356 -x357 1799.38 v -x358 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x369 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x383 1799.38 v -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x404 -x405 -x406 1799.38 v -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x426 -x427 -x428 -x429 1799.38 v -x430 -x431 -x432 -x433 -x434 -x435 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x449 -x450 -x451 -x452 -x453 1799.38 v -x454 -x455 -x456 -x457 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x471 -x472 -x473 -x474 -x475 -x476 -x477 1799.38 v -x478 -x479 -x480 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 1799.38 v -x501 -x502 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 1799.38 v -x524 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 1799.38 v -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x571 1799.38 v -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x593 -x594 1799.38 v -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x615 -x616 -x617 1799.38 v -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x637 -x638 -x639 -x640 1799.38 v -x641 -x642 -x644 -x645 -x646 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x659 -x660 -x661 -x662 -x663 -x664 1799.38 v -x665 -x666 -x667 -x668 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x682 -x683 -x684 -x685 -x686 -x687 -x688 1799.38 v -x689 -x690 -x691 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x701 -x702 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 1799.38 v -x713 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 1799.38 v -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x748 -x749 -x750 -x751 -x753 -x754 -x755 -x756 -x757 -x759 -x760 1799.38 v -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x782 -x783 -x784 1799.38 v -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x804 -x805 -x806 -x807 1799.38 v -x808 -x809 -x810 -x811 -x812 -x813 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x826 -x827 -x829 -x830 -x831 1799.38 v -x832 -x833 -x834 -x835 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x848 -x849 -x850 -x851 -x852 -x853 -x854 1799.38 v -x855 -x856 -x857 -x859 -x860 -x861 -x862 -x863 -x864 -x866 -x867 -x868 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x879 1799.38 v -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x904 1799.38 v -x905 -x906 -x907 -x909 -x910 -x911 -x912 -x913 -x915 -x916 -x917 -x918 -x920 -x921 -x922 -x923 -x924 -x926 -x927 -x928 -x929 1799.38 v -x930 -x931 -x932 -x933 -x934 -x935 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x948 -x949 -x950 -x951 -x952 1799.38 v -x953 -x954 -x955 -x956 -x957 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x970 -x971 -x972 -x973 -x974 -x975 1799.38 v -x976 -x977 -x978 -x979 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x992 -x993 -x994 -x995 -x996 -x998 -x999 1799.38 v -x1000 -x1001 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1015 -x1016 -x1017 -x1018 -x1019 1799.38 v -x1020 -x1021 -x1022 -x1023 -x1024 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1037 -x1038 1799.38 v -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 1799.38 v -x1057 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 1799.38 v -x1076 -x1077 -x1079 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1092 -x1093 -x1094 -x1095 1799.38 v -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1116 1799.38 v -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1127 -x1128 -x1129 -x1130 -x1132 -x1133 -x1134 -x1135 1799.38 v -x1136 -x1138 -x1139 -x1140 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 1799.38 v -x1156 -x1157 -x1158 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1171 -x1172 -x1173 -x1174 1799.38 v -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1193 1799.38 v -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1212 1799.38 v -x1213 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 1799.38 v -x1233 -x1234 -x1235 -x1236 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1246 -x1247 -x1249 -x1250 -x1251 -x1252 1799.38 v -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1271 1799.38 v -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 1799.38 v -x1291 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1300 -x1301 -x1302 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 1799.38 v -x1311 -x1312 -x1313 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1326 -x1327 -x1328 -x1329 1799.38 v -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1349 1799.38 v -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1360 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 1799.38 v -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 1799.38 v -x1390 -x1391 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1404 -x1405 -x1406 -x1407 -x1408 1799.38 v -x1409 -x1410 -x1411 -x1412 -x1413 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1426 -x1427 1799.38 v -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 1799.38 v -x1446 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1460 -x1461 -x1463 -x1464 -x1465 -x1466 1799.38 v -x1467 -x1468 -x1469 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1482 -x1483 -x1484 -x1485 1799.38 v -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1504 1799.38 v -x1505 -x1506 -x1507 -x1509 -x1510 -x1511 -x1512 -x1513 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 1799.38 v -x1524 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 1799.38 v -x1543 -x1544 -x1545 -x1546 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1561 -x1562 -x1563 1799.38 v -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1582 1799.38 v -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 1799.38 v -x1602 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 1799.38 v -x1621 -x1622 -x1623 -x1624 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1637 -x1638 -x1639 1799.38 v -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1659 1799.38 v -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 1799.38 v -x1679 -x1680 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1693 -x1694 -x1695 -x1696 -x1697 1799.38 v -x1698 -x1699 -x1700 -x1701 -x1702 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1715 -x1716 1799.38 v -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1726 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 1799.38 v -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 1799.38 v -x1755 -x1756 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 1799.38 v -x1776 -x1777 -x1778 -x1779 -x1782 -x1783 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1793 -x1794 -x1795 -x1796 1799.38 v -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1813 -x1815 -x1816 1799.38 v -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 1799.38 v -x1835 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 1799.38 v -x1854 -x1855 -x1856 -x1857 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1867 -x1868 -x1870 -x1871 -x1872 -x1873 1799.38 v -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1893 1799.38 v -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1912 1799.38 v -x1913 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 1799.38 v -x1932 -x1933 -x1934 -x1935 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1948 -x1949 -x1950 1799.38 v -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 1799.38 v -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 1799.38 v -x1988 -x1989 -x1990 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2004 -x2005 -x2006 -x2007 1799.38 v -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2026 1799.38 v -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2037 -x2038 -x2039 -x2040 -x2042 -x2043 -x2044 -x2045 1799.38 v -x2046 -x2048 -x2049 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 1799.38 v -x2066 -x2067 -x2068 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2081 -x2082 -x2083 -x2084 1799.38 v -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2103 1799.38 v -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 1799.38 v -x2124 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 1799.38 v -x2143 -x2144 -x2145 -x2146 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2159 -x2160 -x2161 1799.38 v -x2162 -x2163 -x2164 -x2165 -x2166 -x2168 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2181 1799.38 v -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 1799.38 v -x2200 -x2201 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2214 -x2215 -x2216 -x2217 -x2218 1799.38 v -x2219 -x2220 -x2221 -x2222 -x2223 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2238 -x2239 1799.38 v -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 1799.38 v -x2258 -x2260 -x2261 -x2262 -x2263 -x2264 -x2266 -x2267 -x2268 -x2269 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 1799.38 v -x2278 -x2279 -x2280 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2293 -x2294 -x2295 -x2296 1799.38 v -x2297 -x2298 -x2300 -x2301 -x2302 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2315 -x2316 1799.38 v -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 1799.38 v -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 1799.38 v -x2356 -x2357 -x2358 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2371 -x2372 -x2373 -x2374 1799.38 v -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2393 1799.38 v -x2394 -x2395 -x2396 -x2397 -x2398 -x2400 -x2401 -x2402 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2411 -x2412 -x2413 1799.38 v -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 1799.38 v -x2433 -x2434 -x2435 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2445 -x2446 -x2449 -x2450 -x2451 -x2452 -x2453 1799.38 v -x2454 -x2455 -x2456 -x2457 -x2458 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2471 -x2472 1799.38 v -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 1799.38 v -x2491 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 1799.38 v -x2510 -x2511 -x2512 -x2513 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2526 -x2527 -x2528 1799.38 v -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 1799.38 v -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 1799.38 v -x2568 -x2569 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2582 -x2583 -x2584 -x2585 -x2586 1799.38 v -x2587 -x2588 -x2589 -x2590 -x2591 -x2593 -x2594 -x2595 -x2596 -x2598 -x2599 -x2600 -x2601 -x2602 -x2604 -x2605 -x2606 1799.38 v -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 1799.38 v -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2634 -x2635 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 1799.38 v -x2645 -x2646 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2659 -x2660 -x2661 -x2662 -x2663 1799.38 v -x2664 -x2665 -x2666 -x2667 -x2668 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2682 -x2683 1799.38 v -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 1799.38 v -x2702 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 1799.38 v -x2721 -x2722 -x2723 -x2724 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2737 -x2738 -x2739 1799.38 v -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2748 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2760 1799.38 v -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 1799.38 v -x2779 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 1799.38 v -x2799 -x2800 -x2802 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2815 -x2816 -x2817 -x2818 1799.38 v -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2837 1799.38 v -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2848 -x2849 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 1799.38 v -x2857 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 1799.38 v -x2876 -x2877 -x2879 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2893 -x2894 -x2895 -x2896 1799.38 v -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2915 1799.38 v -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 1799.38 v -x2934 -x2935 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2948 -x2949 -x2950 -x2951 -x2952 1799.38 v -x2953 -x2954 -x2955 -x2956 -x2957 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2970 -x2971 1799.38 v -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 1799.38 v -x2990 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 1799.38 v -x3010 -x3011 -x3012 -x3013 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3026 -x3027 -x3028 1799.38 v -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 1799.38 v -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 1799.38 v -x3066 -x3067 -x3068 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3081 -x3083 -x3084 -x3085 1799.38 v -x3086 -x3087 -x3088 -x3089 -x3090 -x3092 -x3093 -x3094 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3103 -x3104 -x3105 1799.38 v -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3124 -x3126 1799.38 v -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 1799.38 v -x3145 -x3146 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 1799.38 v -x3165 -x3166 -x3167 -x3168 -x3170 -x3171 -x3172 -x3173 -x3174 -x3176 -x3177 -x3178 -x3179 -x3181 -x3182 -x3183 -x3184 1799.38 v -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3199 -x3200 -x3201 -x3203 -x3204 1799.38 v -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 1799.38 v -x3223 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 1799.38 v -x3243 -x3245 -x3246 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3255 -x3256 -x3257 -x3259 -x3260 -x3261 -x3262 -x3263 1799.38 v -x3264 -x3265 -x3266 -x3267 -x3268 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3281 -x3282 1799.38 v -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3290 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 1799.38 v -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3310 -x3311 -x3312 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 1799.38 v -x3322 -x3323 -x3325 -x3326 -x3327 -x3328 -x3330 -x3331 -x3332 -x3333 -x3334 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 1799.38 v -x3344 -x3345 -x3346 -x3347 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3360 -x3361 -x3362 1799.38 v -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3371 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3382 1799.38 v -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 1799.38 v -x3401 -x3402 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3413 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 1799.38 v -x3421 -x3422 -x3423 -x3424 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3437 -x3438 -x3439 1799.38 v -x3440 -x3441 -x3443 -x3444 -x3445 -x3446 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3460 1799.38 v -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 1799.38 v -x3479 -x3480 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3493 -x3494 -x3495 -x3496 -x3497 1799.38 v -x3498 -x3499 -x3500 -x3501 -x3502 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3515 -x3516 1799.38 v -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 1799.38 v -x3535 -x3537 -x3538 -x3539 -x3540 -x3542 -x3543 -x3544 -x3545 -x3546 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 1799.38 v -x3555 -x3556 -x3557 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3571 -x3572 -x3573 -x3574 1799.38 v -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3593 1799.38 v -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 1799.38 v -x3612 -x3613 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3626 -x3627 -x3628 -x3629 -x3630 1799.38 v -x3631 -x3632 -x3633 -x3634 -x3635 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3648 -x3649 1799.38 v -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 1799.38 v -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3689 1799.38 v -x3690 -x3691 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3704 -x3705 -x3706 -x3707 -x3708 1799.38 v -x3709 -x3710 -x3711 -x3712 -x3713 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3726 -x3727 1799.38 v -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 1799.38 v -x3746 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 1799.38 v -x3765 -x3766 -x3767 -x3768 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3782 -x3783 -x3784 1799.38 v -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 1799.38 v -x3804 -x3805 -x3806 -x3807 -x3809 -x3810 -x3811 -x3812 -x3813 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 1799.38 v -x3823 -x3824 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3837 -x3838 -x3839 -x3840 -x3841 1799.38 v -x3842 -x3843 -x3844 -x3845 -x3846 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3855 -x3856 -x3857 -x3859 -x3860 -x3861 1799.38 v -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 1799.38 v -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 1799.38 v -x3900 -x3901 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3915 -x3916 -x3917 -x3918 -x3919 1799.38 v -x3920 -x3921 -x3922 -x3923 -x3924 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3937 -x3938 1799.38 v -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 1799.38 v -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 1799.38 v -x3978 -x3979 -x3981 -x3982 -x3983 -x3984 -x3985 -x3987 -x3988 -x3989 -x3990 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 1799.38 v -x3998 -x3999 -x4000 -x4001 -x4004 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4015 -x4016 -x4017 -x4018 1799.38 v -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4037 1799.38 v -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 1799.38 v -x4056 -x4057 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4070 -x4071 -x4072 -x4073 -x4074 1799.38 v -x4075 -x4076 -x4077 -x4078 -x4079 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4092 -x4093 1799.38 v -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4111 -x4112 1799.38 v -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 1799.38 v -x4133 -x4134 -x4135 -x4137 -x4138 -x4139 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4148 -x4149 -x4150 -x4151 -x4152 1799.38 v -x4153 -x4154 -x4155 -x4156 -x4157 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4167 -x4168 -x4170 -x4171 -x4172 1799.38 v -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 1799.38 v -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 1799.38 v -x4210 -x4211 -x4212 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4226 -x4227 -x4228 -x4229 1799.38 v -x4230 -x4231 -x4233 -x4234 -x4235 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4248 -x4249 1799.38 v -x4250 -x4251 -x4252 -x4254 -x4255 -x4256 -x4257 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 1799.38 v -x4270 -x4271 -x4272 -x4273 -x4275 -x4276 -x4277 -x4278 -x4279 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 1799.38 v -x4289 -x4290 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4303 -x4304 -x4305 -x4306 -x4307 1799.38 v -x4308 -x4309 -x4310 -x4311 -x4312 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4326 -x4327 1799.38 v -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 1799.38 v -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 1799.38 v -x4366 -x4367 -x4368 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4381 -x4382 -x4383 -x4384 1799.38 v -x4385 -x4386 -x4388 -x4389 -x4390 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4403 -x4404 1799.38 v -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 -x4411 -x4412 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 1799.38 v -x4423 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4436 -x4437 -x4438 -x4439 -x4440 -x4441 1799.38 v -x4442 -x4443 -x4444 -x4445 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4460 -x4461 -x4462 1799.38 v -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4471 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x4480 -x4482 1799.38 v -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 -x4491 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 -x4500 1799.38 v -x4501 -x4502 -x4504 -x4505 -x4506 -x4508 -x4509 -x4510 -x4511 -x4512 -x4513 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 1799.38 v -x4521 -x4522 -x4523 -x4524 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 -x4535 -x4537 -x4538 -x4540 1799.38 v -x4541 -x4542 -x4543 -x4544 -x4545 -x4546 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4560 1799.38 v -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x4571 -x4572 -x4573 -x4575 -x4576 -x4577 -x4578 -x4579 1799.38 v -x4580 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4591 -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 1799.38 v -x4600 -x4601 -x4602 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 -x4612 -x4613 -x4615 -x4616 -x4617 -x4618 -x4619 1799.38 v -x4620 -x4621 -x4622 -x4623 -x4624 -x4626 -x4627 -x4628 -x4629 -x4630 -x4631 -x4632 -x4633 -x4634 -x4635 -x4637 -x4638 1799.38 v -x4639 -x4640 -x4641 -x4642 -x4643 -x4644 -x4645 -x4646 -x4648 -x4649 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 1799.38 v -x4657 -x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4671 -x4672 -x4673 -x4674 -x4675 -x4677 1799.38 v -x4678 -x4679 -x4680 -x4682 -x4683 -x4684 -x4685 -x4686 -x4687 -x4688 -x4689 -x4690 -x4691 -x4693 -x4694 -x4695 -x4697 1799.38 v -x4698 -x4699 -x4700 -x4701 -x4702 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 -x4711 -x4712 -x4713 -x4715 -x4716 1799.38 v -x4717 -x4718 -x4719 -x4720 -x4722 -x4723 -x4724 -x4726 -x4727 -x4728 -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 1799.38 v -x4738 -x4739 -x4740 -x4741 -x4742 -x4743 -x4744 -x4745 -x4746 -x4748 -x4749 -x4750 -x4751 -x4752 -x4753 -x4754 -x4755 1799.38 v -x4756 -x4757 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4770 -x4771 -x4772 -x4773 -x4774 1799.38 v -x4775 -x4776 -x4777 -x4779 -x4782 -x4783 -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 -x4790 -x4791 -x4793 -x4794 -x4795 1799.38 v -x4796 -x4797 -x4798 -x4799 -x4800 -x4801 -x4802 -x4804 -x4805 -x4806 -x4807 -x4808 -x4809 -x4810 -x4811 -x4813 -x4815 1799.38 v -x4816 -x4817 -x4818 -x4819 -x4820 -x4821 -x4822 -x4823 -x4824 -x4826 -x4827 -x4828 -x4829 -x4830 -x4832 -x4833 -x4834 1799.38 v -x4835 -x4837 -x4838 -x4839 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 -x4848 -x4849 -x4850 -x4851 -x4852 -x4853 1799.38 v -x4854 -x4855 -x4856 -x4857 -x4859 -x4860 -x4861 -x4862 -x4863 -x4864 -x4865 -x4866 -x4867 -x4868 -x4870 -x4871 -x4872 1799.38 v -x4873 -x4874 -x4875 -x4876 -x4877 -x4878 -x4879 -x4881 -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 -x4889 -x4890 -x4894 1799.38 v -x4895 -x4896 -x4897 -x4898 -x4899 -x4900 -x4901 -x4902 -x4904 -x4905 -x4906 -x4907 -x4908 -x4909 -x4910 -x4911 -x4912 1799.38 v -x4913 -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 -x4921 -x4922 -x4923 -x4924 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 1799.38 v -x4932 -x4933 -x4934 -x4935 -x4937 -x4938 -x4939 -x4940 -x4941 -x4942 -x4943 -x4944 -x4945 -x4946 -x4948 -x4950 -x4951 1799.38 v -x4952 -x4953 -x4954 -x4955 -x4956 -x4957 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 -x4967 -x4968 -x4970 1799.38 v -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4977 -x4978 -x4979 -x4981 -x4982 -x4984 -x4985 -x4986 -x4987 -x4988 -x4989 1799.38 v -x4990 -x4992 -x4993 -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000 -x5001 -x5004 -x5005 -x5006 -x5007 -x5008 -x5009 1799.38 v -x5010 -x5012 -x5013 -x5015 -x5016 -x5017 -x5018 -x5019 -x5020 -x5021 -x5022 -x5023 -x5024 -x5026 -x5027 -x5028 -x5029 1799.38 v -x5030 -x5031 -x5032 -x5033 -x5034 -x5035 -x5037 -x5038 -x5039 -x5040 -x5042 -x5043 -x5044 -x5045 -x5046 -x5048 -x5049 1799.38 v -x5050 -x5051 -x5053 -x5054 -x5055 -x5056 -x5057 -x5059 -x5060 -x5061 -x5062 -x5063 -x5064 -x5065 -x5066 -x5067 -x5068 1799.38 v -x5070 -x5071 -x5072 -x5073 -x5074 -x5075 -x5076 -x5077 -x5078 -x5079 -x5081 -x5082 -x5083 -x5084 -x5085 -x5086 -x5087 1799.38 v -x5088 -x5089 -x5090 -x5092 -x5093 -x5094 -x5095 -x5096 -x5097 -x5098 -x5099 -x5100 -x5101 -x5103 -x5104 -x5105 -x5106 1799.38 v -x5107 -x5108 -x5109 -x5110 -x5111 -x5112 -x5115 -x5116 -x5117 -x5118 -x5119 -x5120 -x5121 -x5122 -x5123 -x5124 -x5126 1799.38 v -x5127 -x5128 -x5129 -x5130 -x5132 -x5133 -x5134 -x5135 -x5137 -x5138 -x5139 -x5140 -x5141 -x5142 -x5143 -x5144 -x5145 1799.38 v -x5146 -x5148 -x5149 -x5150 -x5151 -x5152 -x5153 -x5154 -x5155 -x5156 -x5157 -x5159 -x5160 -x5162 -x5163 -x5164 -x5165 1799.38 v -x5166 -x5167 -x5168 -x5170 -x5171 -x5172 -x5173 -x5174 -x5175 -x5176 -x5177 -x5178 -x5179 -x5181 -x5182 -x5183 -x5184 1799.38 v -x5185 -x5186 -x5187 -x5188 -x5189 -x5190 -x5192 -x5193 -x5194 -x5195 -x5196 -x5197 -x5198 -x5199 -x5200 -x5201 -x5203 1799.38 v -x5204 -x5205 -x5206 -x5207 -x5208 -x5209 -x5210 -x5211 -x5212 -x5214 -x5215 -x5216 -x5217 -x5218 -x5219 -x5220 -x5221 1799.38 v -x5222 -x5223 -x5226 -x5227 -x5228 -x5229 -x5230 -x5231 -x5232 -x5233 -x5234 -x5235 -x5237 -x5238 -x5239 -x5240 -x5241 1799.38 v -x5242 -x5243 -x5244 -x5245 -x5246 -x5248 -x5249 -x5250 -x5251 -x5252 -x5253 -x5254 -x5255 -x5256 -x5257 -x5259 -x5261 1799.38 v -x5262 -x5263 -x5264 -x5265 -x5266 -x5267 -x5268 -x5270 -x5271 -x5272 -x5273 -x5274 -x5275 -x5276 -x5277 -x5278 -x5279 1799.38 v -x5281 -x5282 -x5283 -x5284 -x5285 -x5286 -x5287 -x5288 -x5289 -x5290 -x5292 -x5293 -x5294 -x5295 -x5296 -x5297 -x5298 1799.38 v -x5299 -x5300 -x5301 -x5303 -x5304 -x5305 -x5306 -x5307 -x5308 -x5309 -x5311 -x5312 -x5314 -x5315 -x5316 -x5317 -x5318 1799.38 v -x5319 -x5320 -x5321 -x5322 -x5323 -x5325 -x5326 -x5327 -x5328 -x5329 -x5330 -x5331 -x5332 -x5333 -x5334 -x5337 -x5338 1799.38 v -x5339 -x5340 -x5341 -x5342 -x5343 -x5344 -x5345 -x5346 -x5349 -x5350 -x5351 -x5352 -x5353 -x5354 -x5355 -x5356 -x5357 1799.38 v -x5359 -x5360 -x5361 -x5362 -x5363 -x5364 -x5365 -x5366 -x5367 -x5368 -x5370 -x5371 -x5372 -x5373 -x5374 -x5375 -x5376 1799.38 v -x5377 -x5378 -x5379 -x5381 -x5382 -x5383 -x5384 -x5385 -x5386 -x5387 -x5388 -x5389 -x5390 -x5392 -x5393 -x5394 -x5395 1799.38 v -x5396 -x5397 -x5398 -x5399 -x5400 -x5401 -x5403 -x5404 -x5405 -x5406 -x5407 -x5408 -x5409 -x5410 -x5411 -x5412 -x5414 1799.38 v -x5415 -x5416 -x5417 -x5418 -x5419 -x5420 -x5421 -x5422 -x5423 -x5425 -x5426 -x5427 -x5428 -x5429 -x5430 -x5431 -x5432 1799.38 v -x5433 -x5434 -x5436 -x5437 -x5438 -x5439 -x5440 -x5441 -x5443 -x5444 -x5445 -x5448 -x5449 -x5450 -x5451 -x5452 -x5453 1799.38 v -x5454 -x5455 -x5456 -x5457 -x5459 -x5460 -x5461 -x5462 -x5463 -x5465 -x5466 -x5467 -x5468 -x5470 -x5471 -x5472 -x5473 1799.38 v -x5474 -x5475 -x5476 -x5477 -x5478 -x5479 -x5481 -x5482 -x5483 -x5484 -x5485 -x5486 -x5487 -x5488 -x5489 -x5490 -x5492 1799.38 v -x5493 -x5494 -x5495 -x5496 -x5497 -x5498 -x5499 -x5500 -x5501 -x5504 -x5505 -x5506 -x5507 -x5508 -x5509 -x5510 -x5511 1799.38 v -x5512 -x5514 -x5515 -x5516 -x5517 -x5518 -x5519 -x5520 -x5521 -x5522 -x5523 -x5525 -x5526 -x5527 -x5529 -x5530 -x5531 1799.38 v -x5532 -x5533 -x5534 -x5536 -x5537 -x5538 -x5539 -x5540 -x5541 -x5542 -x5543 -x5544 -x5545 -x5547 -x5548 -x5549 -x5550 1799.38 v -x5551 -x5552 -x5553 -x5554 -x5555 -x5556 -x5560 -x5561 -x5562 -x5563 -x5564 -x5565 -x5566 -x5567 -x5568 -x5569 -x5571 1799.38 v -x5572 -x5573 -x5574 -x5575 -x5576 -x5577 -x5578 -x5579 -x5580 -x5583 -x5584 -x5585 -x5586 -x5587 -x5588 -x5589 -x5590 1799.38 v -x5591 -x5593 -x5594 -x5595 -x5596 -x5597 -x5598 -x5599 -x5600 -x5601 -x5602 -x5604 -x5605 -x5606 -x5607 -x5608 -x5609 1799.38 v -x5610 -x5611 -x5612 -x5613 -x5615 -x5616 -x5617 -x5618 -x5619 -x5620 -x5621 -x5622 -x5623 -x5624 -x5626 -x5627 -x5628 1799.38 v -x5629 -x5630 -x5631 -x5632 -x5633 -x5634 -x5635 -x5637 -x5638 -x5639 -x5640 -x5641 -x5642 -x5643 -x5644 -x5645 -x5646 1799.38 v -x5648 -x5649 -x5650 -x5651 -x5652 -x5653 -x5654 -x5655 -x5656 -x5657 -x5659 -x5660 -x5661 -x5662 -x5663 -x5664 -x5665 1799.38 v -x5666 -x5667 -x5668 -x5671 -x5672 -x5673 -x5674 -x5675 -x5676 -x5677 -x5678 -x5679 -x5680 -x5682 -x5683 -x5684 -x5685 1799.38 v -x5686 -x5687 -x5689 -x5690 -x5691 -x5693 -x5694 -x5695 -x5696 -x5697 -x5698 -x5699 -x5700 -x5701 -x5702 -x5704 -x5705 1799.38 v -x5706 -x5707 -x5708 -x5709 -x5710 -x5711 -x5713 -x5715 -x5716 -x5717 -x5718 -x5719 -x5720 -x5721 -x5722 -x5723 -x5724 1799.38 v -x5726 -x5727 -x5728 -x5729 -x5730 -x5731 -x5732 -x5733 -x5734 -x5735 -x5737 -x5738 -x5739 -x5740 -x5741 -x5743 -x5744 1799.38 v -x5745 -x5746 -x5748 -x5749 -x5750 -x5751 -x5752 -x5753 -x5754 -x5755 -x5756 -x5757 -x5759 -x5760 -x5761 -x5762 -x5763 1799.38 v -x5764 -x5765 -x5766 -x5767 -x5768 -x5770 -x5771 -x5772 -x5773 -x5774 -x5775 -x5776 -x5777 -x5778 -x5779 -x5782 -x5783 1799.38 v -x5784 -x5785 -x5786 -x5787 -x5788 -x5789 -x5790 -x5791 -x5793 -x5794 -x5795 -x5796 -x5797 -x5798 -x5799 -x5800 -x5801 1799.38 v -x5802 -x5804 -x5805 -x5806 -x5807 -x5808 -x5809 -x5810 -x5811 -x5812 -x5813 -x5815 -x5816 -x5817 -x5818 -x5819 -x5820 1799.38 v -x5821 -x5822 -x5823 -x5824 -x5826 -x5827 -x5828 -x5829 -x5830 -x5831 -x5832 -x5833 -x5834 -x5835 -x5837 -x5838 -x5839 1799.38 v -x5840 -x5841 -x5842 -x5843 -x5844 -x5845 -x5846 -x5848 -x5849 -x5850 -x5851 -x5852 -x5853 -x5854 -x5855 -x5856 -x5857 1799.38 v -x5859 -x5860 -x5861 -x5862 -x5863 -x5864 -x5865 -x5866 -x5867 -x5868 -x5870 -x5871 -x5872 -x5874 -x5875 -x5876 -x5877 1799.38 v -x5878 -x5879 -x5881 -x5882 -x5883 -x5884 -x5885 -x5886 -x5887 -x5888 -x5889 -x5890 -x5893 -x5894 -x5895 -x5896 -x5897 1799.38 v -x5898 -x5899 -x5900 -x5901 -x5902 -x5904 -x5905 -x5906 -x5907 -x5908 -x5909 -x5910 -x5911 -x5912 -x5913 -x5915 -x5916 1799.38 v -x5917 -x5918 -x5919 -x5920 -x5921 -x5922 -x5923 -x5924 -x5926 -x5927 -x5928 -x5929 -x5930 -x5931 -x5932 -x5933 -x5934 1799.38 v -x5935 -x5937 -x5938 -x5939 -x5940 -x5941 -x5942 -x5943 -x5945 -x5946 -x5948 -x5949 -x5950 -x5951 -x5952 -x5953 -x5954 1799.38 v -x5955 -x5956 -x5957 -x5959 -x5960 -x5961 -x5962 -x5963 -x5964 -x5965 -x5966 -x5967 -x5968 -x5970 -x5972 -x5973 -x5974 1799.38 v -x5975 -x5976 -x5977 -x5978 -x5979 -x5982 -x5983 -x5984 -x5985 -x5986 -x5987 -x5988 -x5989 -x5990 -x5992 -x5993 -x5994 1799.38 v -x5995 -x5996 -x5997 -x5998 -x5999 -x6000 -x6001 -x6004 -x6005 -x6006 -x6007 -x6008 -x6009 -x6010 -x6012 -x6013 -x6015 1799.38 v -x6016 -x6017 -x6018 -x6019 -x6020 -x6021 -x6022 -x6023 -x6024 -x6026 -x6027 -x6028 -x6029 -x6030 -x6031 -x6032 -x6033 1799.38 v -x6034 -x6035 -x6037 -x6038 -x6039 -x6040 -x6041 -x6042 -x6043 -x6044 -x6045 -x6046 -x6048 -x6049 -x6050 -x6051 -x6052 1799.38 v -x6053 -x6054 -x6055 -x6056 -x6059 -x6060 -x6061 -x6062 -x6063 -x6064 -x6065 -x6066 -x6067 -x6068 -x6070 -x6071 -x6072 1799.38 v -x6073 -x6074 -x6075 -x6076 -x6077 -x6078 -x6079 -x6081 -x6082 -x6083 -x6084 -x6085 -x6086 -x6087 -x6088 -x6089 -x6090 1799.38 v -x6092 -x6093 -x6094 -x6095 -x6096 -x6097 -x6098 -x6099 -x6100 -x6101 -x6103 -x6104 -x6105 -x6106 -x6107 -x6108 -x6109 1799.38 v -x6110 -x6111 -x6112 -x6115 -x6116 -x6117 -x6118 -x6119 -x6120 -x6121 -x6122 -x6123 -x6124 -x6126 -x6127 -x6128 -x6129 1799.38 v -x6130 -x6131 -x6132 -x6133 -x6134 -x6135 -x6137 -x6138 -x6139 -x6140 -x6141 -x6142 -x6143 -x6144 -x6145 -x6146 -x6148 1799.38 v -x6149 -x6150 -x6152 -x6153 -x6154 -x6155 -x6156 -x6157 -x6159 -x6160 -x6161 -x6162 -x6163 -x6164 -x6165 -x6166 -x6167 1799.38 v -x6168 -x6170 -x6171 -x6172 -x6173 -x6174 -x6175 -x6176 -x6177 -x6178 -x6179 -x6181 -x6182 -x6183 -x6184 -x6185 -x6186 1799.38 v -x6187 -x6189 -x6190 -x6192 -x6193 -x6194 -x6195 -x6196 -x6197 -x6198 -x6199 -x6200 -x6201 -x6203 -x6204 -x6205 -x6206 1799.38 v -x6207 -x6208 -x6209 -x6210 -x6211 -x6212 -x6214 -x6215 -x6216 -x6217 -x6218 -x6219 -x6220 -x6221 -x6222 -x6223 -x6226 1799.38 v -x6227 -x6228 -x6229 -x6230 -x6231 -x6232 -x6233 -x6234 -x6235 -x6237 -x6238 -x6239 -x6240 -x6241 -x6242 -x6243 -x6244 1799.38 v -x6245 -x6246 1799.40 c Somebody sent me a SIGTERM 1799.40 smodels: no process killed 1799.40 pbsmodels.trans: no process killed
OK 390033
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/node59/watcher-33852-1154026899 -o ROOT/results/node59/solver-33852-1154026899 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user4/pbsmodels_solver-v1.28/runpbsmodels ROOT/tmp/node59/33852-1154026899/instance-33852-1154026899.opb 161167846 ROOT/tmp/node59/33852-1154026899 Current StackSize limit: 67108864 bytes /proc/loadavg: 1.00 1.00 1.00 3/64 8724 /proc/meminfo: memFree=1133304/2055920 swapFree=4182992/4192956 [pid=8724] ppid=8722 vsize=5356 CPUtime=0 /proc/8724/stat : 8724 (runpbsmodels) R 8722 8724 8675 0 -1 4194304 211 0 0 0 0 0 0 0 19 0 1 0 149559707 5484544 177 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 4437552 0 0 4100 0 0 0 0 17 1 0 0 /proc/8724/statm: 1339 190 156 169 0 50 0 [startup+10.0031 s] /proc/loadavg: 1.00 1.00 1.00 2/68 8729 /proc/meminfo: memFree=1124072/2055920 swapFree=4182992/4192956 [pid=8724] ppid=8722 vsize=5360 CPUtime=0 /proc/8724/stat : 8724 (runpbsmodels) S 8722 8724 8675 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 149559707 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 217051620164 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/8724/statm: 1340 234 195 169 0 51 0 [pid=8725] ppid=8724 vsize=12268 CPUtime=0 /proc/8725/stat : 8725 (pbsmodels-v1.28) S 8724 8724 8675 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 149559708 12562432 383 18446744073709551615 4194304 4206940 548682068992 18446744073709551615 217060523924 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/8725/statm: 3067 383 293 3 0 167 0 [pid=8726] ppid=8725 vsize=5356 CPUtime=4.1 /proc/8726/stat : 8726 (sh) S 8725 8724 8675 0 -1 4194304 311 976 0 0 0 0 410 0 16 0 1 0 149559708 5484544 227 18446744073709551615 4194304 4889804 548682069024 18446744073709551615 217051620164 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/8726/statm: 1339 227 188 169 0 50 0 [pid=8728] ppid=8726 vsize=9972 CPUtime=7.53 /proc/8728/stat : 8728 (smodels) R 8726 8724 8675 0 -1 4194304 2174 0 0 0 752 1 0 0 25 0 1 0 149559709 10211328 2138 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134549872 0 0 4096 0 0 0 0 17 1 0 0 /proc/8728/statm: 2493 2138 209 20 0 1930 0 [pid=8729] ppid=8726 vsize=12268 CPUtime=0 /proc/8729/stat : 8729 (pbout.pl) S 8726 8724 8675 0 -1 4194304 430 0 0 0 0 0 0 0 16 0 1 0 149559709 12562432 389 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 217060520034 0 0 4224 0 18446744071563648864 0 0 17 0 0 0 /proc/8729/statm: 3067 389 301 3 0 167 0 Current children cumulated CPU time (s) 11.63 Current children cumulated vsize (Kb) 45224 [startup+20.01 s] /proc/loadavg: 1.00 1.00 1.00 2/68 8729 /proc/meminfo: memFree=1124200/2055920 swapFree=4182992/4192956 [pid=8724] ppid=8722 vsize=5360 CPUtime=0 /proc/8724/stat : 8724 (runpbsmodels) S 8722 8724 8675 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 149559707 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 217051620164 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/8724/statm: 1340 234 195 169 0 51 0 [pid=8725] ppid=8724 vsize=12268 CPUtime=0 /proc/8725/stat : 8725 (pbsmodels-v1.28) S 8724 8724 8675 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 149559708 12562432 383 18446744073709551615 4194304 4206940 548682068992 18446744073709551615 217060523924 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/8725/statm: 3067 383 293 3 0 167 0 [pid=8726] ppid=8725 vsize=5356 CPUtime=4.1 /proc/8726/stat : 8726 (sh) S 8725 8724 8675 0 -1 4194304 311 976 0 0 0 0 410 0 16 0 1 0 149559708 5484544 227 18446744073709551615 4194304 4889804 548682069024 18446744073709551615 217051620164 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/8726/statm: 1339 227 188 169 0 50 0 [pid=8728] ppid=8726 vsize=9972 CPUtime=17.53 /proc/8728/stat : 8728 (smodels) R 8726 8724 8675 0 -1 4194304 2174 0 0 0 1752 1 0 0 25 0 1 0 149559709 10211328 2138 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134549899 0 0 4096 0 0 0 0 17 1 0 0 /proc/8728/statm: 2493 2138 209 20 0 1930 0 [pid=8729] ppid=8726 vsize=12268 CPUtime=0 /proc/8729/stat : 8729 (pbout.pl) S 8726 8724 8675 0 -1 4194304 430 0 0 0 0 0 0 0 16 0 1 0 149559709 12562432 389 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 217060520034 0 0 4224 0 18446744071563648864 0 0 17 0 0 0 /proc/8729/statm: 3067 389 301 3 0 167 0 Current children cumulated CPU time (s) 21.63 Current children cumulated vsize (Kb) 45224 [startup+30.0169 s] /proc/loadavg: 1.00 1.00 1.00 2/68 8729 /proc/meminfo: memFree=1124264/2055920 swapFree=4182992/4192956 [pid=8724] ppid=8722 vsize=5360 CPUtime=0 /proc/8724/stat : 8724 (runpbsmodels) S 8722 8724 8675 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 149559707 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 217051620164 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/8724/statm: 1340 234 195 169 0 51 0 [pid=8725] ppid=8724 vsize=12268 CPUtime=0 /proc/8725/stat : 8725 (pbsmodels-v1.28) S 8724 8724 8675 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 149559708 12562432 383 18446744073709551615 4194304 4206940 548682068992 18446744073709551615 217060523924 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/8725/statm: 3067 383 293 3 0 167 0 [pid=8726] ppid=8725 vsize=5356 CPUtime=4.1 /proc/8726/stat : 8726 (sh) S 8725 8724 8675 0 -1 4194304 311 976 0 0 0 0 410 0 16 0 1 0 149559708 5484544 227 18446744073709551615 4194304 4889804 548682069024 18446744073709551615 217051620164 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/8726/statm: 1339 227 188 169 0 50 0 [pid=8728] ppid=8726 vsize=9972 CPUtime=27.53 /proc/8728/stat : 8728 (smodels) R 8726 8724 8675 0 -1 4194304 2174 0 0 0 2752 1 0 0 25 0 1 0 149559709 10211328 2138 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134550967 0 0 4096 0 0 0 0 17 1 0 0 /proc/8728/statm: 2493 2138 209 20 0 1930 0 [pid=8729] ppid=8726 vsize=12268 CPUtime=0 /proc/8729/stat : 8729 (pbout.pl) S 8726 8724 8675 0 -1 4194304 430 0 0 0 0 0 0 0 16 0 1 0 149559709 12562432 389 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 217060520034 0 0 4224 0 18446744071563648864 0 0 17 0 0 0 /proc/8729/statm: 3067 389 301 3 0 167 0 Current children cumulated CPU time (s) 31.63 Current children cumulated vsize (Kb) 45224 [startup+40.0238 s] /proc/loadavg: 1.00 1.00 1.00 2/68 8729 /proc/meminfo: memFree=1124264/2055920 swapFree=4182992/4192956 [pid=8724] ppid=8722 vsize=5360 CPUtime=0 /proc/8724/stat : 8724 (runpbsmodels) S 8722 8724 8675 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 149559707 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 217051620164 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/8724/statm: 1340 234 195 169 0 51 0 [pid=8725] ppid=8724 vsize=12268 CPUtime=0 /proc/8725/stat : 8725 (pbsmodels-v1.28) S 8724 8724 8675 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 149559708 12562432 383 18446744073709551615 4194304 4206940 548682068992 18446744073709551615 217060523924 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/8725/statm: 3067 383 293 3 0 167 0 [pid=8726] ppid=8725 vsize=5356 CPUtime=4.1 /proc/8726/stat : 8726 (sh) S 8725 8724 8675 0 -1 4194304 311 976 0 0 0 0 410 0 16 0 1 0 149559708 5484544 227 18446744073709551615 4194304 4889804 548682069024 18446744073709551615 217051620164 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/8726/statm: 1339 227 188 169 0 50 0 [pid=8728] ppid=8726 vsize=9972 CPUtime=37.53 /proc/8728/stat : 8728 (smodels) R 8726 8724 8675 0 -1 4194304 2174 0 0 0 3752 1 0 0 25 0 1 0 149559709 10211328 2138 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134549899 0 0 4096 0 0 0 0 17 1 0 0 /proc/8728/statm: 2493 2138 209 20 0 1930 0 [pid=8729] ppid=8726 vsize=12268 CPUtime=0 /proc/8729/stat : 8729 (pbout.pl) S 8726 8724 8675 0 -1 4194304 430 0 0 0 0 0 0 0 16 0 1 0 149559709 12562432 389 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 217060520034 0 0 4224 0 18446744071563648864 0 0 17 0 0 0 /proc/8729/statm: 3067 389 301 3 0 167 0 Current children cumulated CPU time (s) 41.63 Current children cumulated vsize (Kb) 45224 [startup+50.0308 s] /proc/loadavg: 1.00 1.00 1.00 2/68 8729 /proc/meminfo: memFree=1124328/2055920 swapFree=4182992/4192956 [pid=8724] ppid=8722 vsize=5360 CPUtime=0 /proc/8724/stat : 8724 (runpbsmodels) S 8722 8724 8675 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 149559707 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 217051620164 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/8724/statm: 1340 234 195 169 0 51 0 [pid=8725] ppid=8724 vsize=12268 CPUtime=0 /proc/8725/stat : 8725 (pbsmodels-v1.28) S 8724 8724 8675 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 149559708 12562432 383 18446744073709551615 4194304 4206940 548682068992 18446744073709551615 217060523924 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/8725/statm: 3067 383 293 3 0 167 0 [pid=8726] ppid=8725 vsize=5356 CPUtime=4.1 /proc/8726/stat : 8726 (sh) S 8725 8724 8675 0 -1 4194304 311 976 0 0 0 0 410 0 16 0 1 0 149559708 5484544 227 18446744073709551615 4194304 4889804 548682069024 18446744073709551615 217051620164 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/8726/statm: 1339 227 188 169 0 50 0 [pid=8728] ppid=8726 vsize=9972 CPUtime=47.53 /proc/8728/stat : 8728 (smodels) R 8726 8724 8675 0 -1 4194304 2174 0 0 0 4752 1 0 0 25 0 1 0 149559709 10211328 2138 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134550961 0 0 4096 0 0 0 0 17 1 0 0 /proc/8728/statm: 2493 2138 209 20 0 1930 0 [pid=8729] ppid=8726 vsize=12268 CPUtime=0 /proc/8729/stat : 8729 (pbout.pl) S 8726 8724 8675 0 -1 4194304 430 0 0 0 0 0 0 0 16 0 1 0 149559709 12562432 389 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 217060520034 0 0 4224 0 18446744071563648864 0 0 17 0 0 0 /proc/8729/statm: 3067 389 301 3 0 167 0 Current children cumulated CPU time (s) 51.63 Current children cumulated vsize (Kb) 45224 [startup+60.0377 s] /proc/loadavg: 1.00 1.00 1.00 2/68 8729 /proc/meminfo: memFree=1124328/2055920 swapFree=4182992/4192956 [pid=8724] ppid=8722 vsize=5360 CPUtime=0 /proc/8724/stat : 8724 (runpbsmodels) S 8722 8724 8675 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 149559707 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 217051620164 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/8724/statm: 1340 234 195 169 0 51 0 [pid=8725] ppid=8724 vsize=12268 CPUtime=0 /proc/8725/stat : 8725 (pbsmodels-v1.28) S 8724 8724 8675 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 149559708 12562432 383 18446744073709551615 4194304 4206940 548682068992 18446744073709551615 217060523924 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/8725/statm: 3067 383 293 3 0 167 0 [pid=8726] ppid=8725 vsize=5356 CPUtime=4.1 /proc/8726/stat : 8726 (sh) S 8725 8724 8675 0 -1 4194304 311 976 0 0 0 0 410 0 16 0 1 0 149559708 5484544 227 18446744073709551615 4194304 4889804 548682069024 18446744073709551615 217051620164 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/8726/statm: 1339 227 188 169 0 50 0 [pid=8728] ppid=8726 vsize=9972 CPUtime=57.54 /proc/8728/stat : 8728 (smodels) R 8726 8724 8675 0 -1 4194304 2174 0 0 0 5753 1 0 0 25 0 1 0 149559709 10211328 2138 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134549872 0 0 4096 0 0 0 0 17 1 0 0 /proc/8728/statm: 2493 2138 209 20 0 1930 0 [pid=8729] ppid=8726 vsize=12268 CPUtime=0 /proc/8729/stat : 8729 (pbout.pl) S 8726 8724 8675 0 -1 4194304 430 0 0 0 0 0 0 0 16 0 1 0 149559709 12562432 389 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 217060520034 0 0 4224 0 18446744071563648864 0 0 17 0 0 0 /proc/8729/statm: 3067 389 301 3 0 167 0 Current children cumulated CPU time (s) 61.64 Current children cumulated vsize (Kb) 45224 [startup+70.0446 s] /proc/loadavg: 1.00 1.00 1.00 2/68 8729 /proc/meminfo: memFree=1124328/2055920 swapFree=4182992/4192956 [pid=8724] ppid=8722 vsize=5360 CPUtime=0 /proc/8724/stat : 8724 (runpbsmodels) S 8722 8724 8675 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 149559707 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 217051620164 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/8724/statm: 1340 234 195 169 0 51 0 [pid=8725] ppid=8724 vsize=12268 CPUtime=0 /proc/8725/stat : 8725 (pbsmodels-v1.28) S 8724 8724 8675 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 149559708 12562432 383 18446744073709551615 4194304 4206940 548682068992 18446744073709551615 217060523924 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/8725/statm: 3067 383 293 3 0 167 0 [pid=8726] ppid=8725 vsize=5356 CPUtime=4.1 /proc/8726/stat : 8726 (sh) S 8725 8724 8675 0 -1 4194304 311 976 0 0 0 0 410 0 16 0 1 0 149559708 5484544 227 18446744073709551615 4194304 4889804 548682069024 18446744073709551615 217051620164 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/8726/statm: 1339 227 188 169 0 50 0 [pid=8728] ppid=8726 vsize=9972 CPUtime=67.54 /proc/8728/stat : 8728 (smodels) R 8726 8724 8675 0 -1 4194304 2174 0 0 0 6753 1 0 0 25 0 1 0 149559709 10211328 2138 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134531490 0 0 4096 0 0 0 0 17 1 0 0 /proc/8728/statm: 2493 2138 209 20 0 1930 0 [pid=8729] ppid=8726 vsize=12268 CPUtime=0 /proc/8729/stat : 8729 (pbout.pl) S 8726 8724 8675 0 -1 4194304 430 0 0 0 0 0 0 0 16 0 1 0 149559709 12562432 389 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 217060520034 0 0 4224 0 18446744071563648864 0 0 17 0 0 0 /proc/8729/statm: 3067 389 301 3 0 167 0 Current children cumulated CPU time (s) 71.64 Current children cumulated vsize (Kb) 45224 [startup+80.0515 s] /proc/loadavg: 1.00 1.00 1.00 2/68 8729 /proc/meminfo: memFree=1124328/2055920 swapFree=4182992/4192956 [pid=8724] ppid=8722 vsize=5360 CPUtime=0 /proc/8724/stat : 8724 (runpbsmodels) S 8722 8724 8675 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 149559707 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 217051620164 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/8724/statm: 1340 234 195 169 0 51 0 [pid=8725] ppid=8724 vsize=12268 CPUtime=0 /proc/8725/stat : 8725 (pbsmodels-v1.28) S 8724 8724 8675 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 149559708 12562432 383 18446744073709551615 4194304 4206940 548682068992 18446744073709551615 217060523924 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/8725/statm: 3067 383 293 3 0 167 0 [pid=8726] ppid=8725 vsize=5356 CPUtime=4.1 /proc/8726/stat : 8726 (sh) S 8725 8724 8675 0 -1 4194304 311 976 0 0 0 0 410 0 16 0 1 0 149559708 5484544 227 18446744073709551615 4194304 4889804 548682069024 18446744073709551615 217051620164 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/8726/statm: 1339 227 188 169 0 50 0 [pid=8728] ppid=8726 vsize=9972 CPUtime=77.55 /proc/8728/stat : 8728 (smodels) R 8726 8724 8675 0 -1 4194304 2174 0 0 0 7753 2 0 0 25 0 1 0 149559709 10211328 2138 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134531207 0 0 4096 0 0 0 0 17 1 0 0 /proc/8728/statm: 2493 2138 209 20 0 1930 0 [pid=8729] ppid=8726 vsize=12268 CPUtime=0 /proc/8729/stat : 8729 (pbout.pl) S 8726 8724 8675 0 -1 4194304 430 0 0 0 0 0 0 0 16 0 1 0 149559709 12562432 389 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 217060520034 0 0 4224 0 18446744071563648864 0 0 17 0 0 0 /proc/8729/statm: 3067 389 301 3 0 167 0 Current children cumulated CPU time (s) 81.65 Current children cumulated vsize (Kb) 45224 [startup+90.0585 s] /proc/loadavg: 1.00 1.00 1.00 2/68 8729 /proc/meminfo: memFree=1124328/2055920 swapFree=4182992/4192956 [pid=8724] ppid=8722 vsize=5360 CPUtime=0 /proc/8724/stat : 8724 (runpbsmodels) S 8722 8724 8675 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 149559707 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 217051620164 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/8724/statm: 1340 234 195 169 0 51 0 [pid=8725] ppid=8724 vsize=12268 CPUtime=0 /proc/8725/stat : 8725 (pbsmodels-v1.28) S 8724 8724 8675 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 149559708 12562432 383 18446744073709551615 4194304 4206940 548682068992 18446744073709551615 217060523924 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/8725/statm: 3067 383 293 3 0 167 0 [pid=8726] ppid=8725 vsize=5356 CPUtime=4.1 /proc/8726/stat : 8726 (sh) S 8725 8724 8675 0 -1 4194304 311 976 0 0 0 0 410 0 16 0 1 0 149559708 5484544 227 18446744073709551615 4194304 4889804 548682069024 18446744073709551615 217051620164 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/8726/statm: 1339 227 188 169 0 50 0 [pid=8728] ppid=8726 vsize=9972 CPUtime=87.56 /proc/8728/stat : 8728 (smodels) R 8726 8724 8675 0 -1 4194304 2174 0 0 0 8754 2 0 0 25 0 1 0 149559709 10211328 2138 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134550961 0 0 4096 0 0 0 0 17 1 0 0 ################ # More data... # ################ /proc/8728/stat : 8728 (smodels) R 8726 8724 8675 0 -1 4194304 2176 0 0 0 178918 5 0 0 25 0 1 0 149559709 10211328 2140 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134531031 0 0 4096 0 0 0 0 17 1 0 0 /proc/8728/statm: 2493 2140 211 20 0 1930 0 [pid=8729] ppid=8726 vsize=12424 CPUtime=0 /proc/8729/stat : 8729 (pbout.pl) S 8726 8724 8675 0 -1 4194304 498 0 0 0 0 0 0 0 16 0 1 0 149559709 12722176 457 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 217060520034 0 0 4224 0 18446744071563648864 0 0 17 0 0 0 /proc/8729/statm: 3106 457 333 3 0 206 0 Current children cumulated CPU time (s) 1793.33 Current children cumulated vsize (Kb) 45380 [startup+1793.34 s] /proc/loadavg: 1.00 1.00 1.00 2/68 8729 /proc/meminfo: memFree=1124264/2055920 swapFree=4182992/4192956 [pid=8724] ppid=8722 vsize=5360 CPUtime=0 /proc/8724/stat : 8724 (runpbsmodels) S 8722 8724 8675 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 149559707 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 217051620164 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/8724/statm: 1340 234 195 169 0 51 0 [pid=8725] ppid=8724 vsize=12268 CPUtime=0 /proc/8725/stat : 8725 (pbsmodels-v1.28) S 8724 8724 8675 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 149559708 12562432 383 18446744073709551615 4194304 4206940 548682068992 18446744073709551615 217060523924 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/8725/statm: 3067 383 293 3 0 167 0 [pid=8726] ppid=8725 vsize=5356 CPUtime=4.1 /proc/8726/stat : 8726 (sh) S 8725 8724 8675 0 -1 4194304 311 976 0 0 0 0 410 0 16 0 1 0 149559708 5484544 227 18446744073709551615 4194304 4889804 548682069024 18446744073709551615 217051620164 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/8726/statm: 1339 227 188 169 0 50 0 [pid=8728] ppid=8726 vsize=9972 CPUtime=1790.23 /proc/8728/stat : 8728 (smodels) R 8726 8724 8675 0 -1 4194304 2176 0 0 0 179018 5 0 0 25 0 1 0 149559709 10211328 2140 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134518588 0 0 4096 0 0 0 0 17 1 0 0 /proc/8728/statm: 2493 2140 211 20 0 1930 0 [pid=8729] ppid=8726 vsize=12424 CPUtime=0 /proc/8729/stat : 8729 (pbout.pl) S 8726 8724 8675 0 -1 4194304 498 0 0 0 0 0 0 0 16 0 1 0 149559709 12722176 457 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 217060520034 0 0 4224 0 18446744071563648864 0 0 17 0 0 0 /proc/8729/statm: 3106 457 333 3 0 206 0 Current children cumulated CPU time (s) 1794.33 Current children cumulated vsize (Kb) 45380 [startup+1794.34 s] /proc/loadavg: 1.00 1.00 1.00 2/68 8729 /proc/meminfo: memFree=1124264/2055920 swapFree=4182992/4192956 [pid=8724] ppid=8722 vsize=5360 CPUtime=0 /proc/8724/stat : 8724 (runpbsmodels) S 8722 8724 8675 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 149559707 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 217051620164 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/8724/statm: 1340 234 195 169 0 51 0 [pid=8725] ppid=8724 vsize=12268 CPUtime=0 /proc/8725/stat : 8725 (pbsmodels-v1.28) S 8724 8724 8675 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 149559708 12562432 383 18446744073709551615 4194304 4206940 548682068992 18446744073709551615 217060523924 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/8725/statm: 3067 383 293 3 0 167 0 [pid=8726] ppid=8725 vsize=5356 CPUtime=4.1 /proc/8726/stat : 8726 (sh) S 8725 8724 8675 0 -1 4194304 311 976 0 0 0 0 410 0 16 0 1 0 149559708 5484544 227 18446744073709551615 4194304 4889804 548682069024 18446744073709551615 217051620164 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/8726/statm: 1339 227 188 169 0 50 0 [pid=8728] ppid=8726 vsize=9972 CPUtime=1791.24 /proc/8728/stat : 8728 (smodels) R 8726 8724 8675 0 -1 4194304 2176 0 0 0 179119 5 0 0 25 0 1 0 149559709 10211328 2140 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134549899 0 0 4096 0 0 0 0 17 1 0 0 /proc/8728/statm: 2493 2140 211 20 0 1930 0 [pid=8729] ppid=8726 vsize=12424 CPUtime=0 /proc/8729/stat : 8729 (pbout.pl) S 8726 8724 8675 0 -1 4194304 498 0 0 0 0 0 0 0 16 0 1 0 149559709 12722176 457 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 217060520034 0 0 4224 0 18446744071563648864 0 0 17 0 0 0 /proc/8729/statm: 3106 457 333 3 0 206 0 Current children cumulated CPU time (s) 1795.34 Current children cumulated vsize (Kb) 45380 [startup+1795.35 s] /proc/loadavg: 1.00 1.00 1.00 2/68 8729 /proc/meminfo: memFree=1124264/2055920 swapFree=4182992/4192956 [pid=8724] ppid=8722 vsize=5360 CPUtime=0 /proc/8724/stat : 8724 (runpbsmodels) S 8722 8724 8675 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 149559707 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 217051620164 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/8724/statm: 1340 234 195 169 0 51 0 [pid=8725] ppid=8724 vsize=12268 CPUtime=0 /proc/8725/stat : 8725 (pbsmodels-v1.28) S 8724 8724 8675 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 149559708 12562432 383 18446744073709551615 4194304 4206940 548682068992 18446744073709551615 217060523924 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/8725/statm: 3067 383 293 3 0 167 0 [pid=8726] ppid=8725 vsize=5356 CPUtime=4.1 /proc/8726/stat : 8726 (sh) S 8725 8724 8675 0 -1 4194304 311 976 0 0 0 0 410 0 16 0 1 0 149559708 5484544 227 18446744073709551615 4194304 4889804 548682069024 18446744073709551615 217051620164 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/8726/statm: 1339 227 188 169 0 50 0 [pid=8728] ppid=8726 vsize=9972 CPUtime=1792.24 /proc/8728/stat : 8728 (smodels) R 8726 8724 8675 0 -1 4194304 2176 0 0 0 179219 5 0 0 25 0 1 0 149559709 10211328 2140 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134531495 0 0 4096 0 0 0 0 17 1 0 0 /proc/8728/statm: 2493 2140 211 20 0 1930 0 [pid=8729] ppid=8726 vsize=12424 CPUtime=0 /proc/8729/stat : 8729 (pbout.pl) S 8726 8724 8675 0 -1 4194304 498 0 0 0 0 0 0 0 16 0 1 0 149559709 12722176 457 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 217060520034 0 0 4224 0 18446744071563648864 0 0 17 0 0 0 /proc/8729/statm: 3106 457 333 3 0 206 0 Current children cumulated CPU time (s) 1796.34 Current children cumulated vsize (Kb) 45380 [startup+1796.35 s] /proc/loadavg: 1.00 1.00 1.00 2/68 8729 /proc/meminfo: memFree=1124264/2055920 swapFree=4182992/4192956 [pid=8724] ppid=8722 vsize=5360 CPUtime=0 /proc/8724/stat : 8724 (runpbsmodels) S 8722 8724 8675 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 149559707 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 217051620164 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/8724/statm: 1340 234 195 169 0 51 0 [pid=8725] ppid=8724 vsize=12268 CPUtime=0 /proc/8725/stat : 8725 (pbsmodels-v1.28) S 8724 8724 8675 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 149559708 12562432 383 18446744073709551615 4194304 4206940 548682068992 18446744073709551615 217060523924 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/8725/statm: 3067 383 293 3 0 167 0 [pid=8726] ppid=8725 vsize=5356 CPUtime=4.1 /proc/8726/stat : 8726 (sh) S 8725 8724 8675 0 -1 4194304 311 976 0 0 0 0 410 0 16 0 1 0 149559708 5484544 227 18446744073709551615 4194304 4889804 548682069024 18446744073709551615 217051620164 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/8726/statm: 1339 227 188 169 0 50 0 [pid=8728] ppid=8726 vsize=9972 CPUtime=1793.25 /proc/8728/stat : 8728 (smodels) R 8726 8724 8675 0 -1 4194304 2176 0 0 0 179320 5 0 0 25 0 1 0 149559709 10211328 2140 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134550970 0 0 4096 0 0 0 0 17 1 0 0 /proc/8728/statm: 2493 2140 211 20 0 1930 0 [pid=8729] ppid=8726 vsize=12424 CPUtime=0 /proc/8729/stat : 8729 (pbout.pl) S 8726 8724 8675 0 -1 4194304 498 0 0 0 0 0 0 0 16 0 1 0 149559709 12722176 457 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 217060520034 0 0 4224 0 18446744071563648864 0 0 17 0 0 0 /proc/8729/statm: 3106 457 333 3 0 206 0 Current children cumulated CPU time (s) 1797.35 Current children cumulated vsize (Kb) 45380 [startup+1797.36 s] /proc/loadavg: 1.00 1.00 1.00 2/68 8729 /proc/meminfo: memFree=1124264/2055920 swapFree=4182992/4192956 [pid=8724] ppid=8722 vsize=5360 CPUtime=0 /proc/8724/stat : 8724 (runpbsmodels) S 8722 8724 8675 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 149559707 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 217051620164 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/8724/statm: 1340 234 195 169 0 51 0 [pid=8725] ppid=8724 vsize=12268 CPUtime=0 /proc/8725/stat : 8725 (pbsmodels-v1.28) S 8724 8724 8675 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 149559708 12562432 383 18446744073709551615 4194304 4206940 548682068992 18446744073709551615 217060523924 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/8725/statm: 3067 383 293 3 0 167 0 [pid=8726] ppid=8725 vsize=5356 CPUtime=4.1 /proc/8726/stat : 8726 (sh) S 8725 8724 8675 0 -1 4194304 311 976 0 0 0 0 410 0 16 0 1 0 149559708 5484544 227 18446744073709551615 4194304 4889804 548682069024 18446744073709551615 217051620164 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/8726/statm: 1339 227 188 169 0 50 0 [pid=8728] ppid=8726 vsize=9972 CPUtime=1794.25 /proc/8728/stat : 8728 (smodels) R 8726 8724 8675 0 -1 4194304 2176 0 0 0 179420 5 0 0 25 0 1 0 149559709 10211328 2140 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134550961 0 0 4096 0 0 0 0 17 1 0 0 /proc/8728/statm: 2493 2140 211 20 0 1930 0 [pid=8729] ppid=8726 vsize=12424 CPUtime=0 /proc/8729/stat : 8729 (pbout.pl) S 8726 8724 8675 0 -1 4194304 498 0 0 0 0 0 0 0 16 0 1 0 149559709 12722176 457 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 217060520034 0 0 4224 0 18446744071563648864 0 0 17 0 0 0 /proc/8729/statm: 3106 457 333 3 0 206 0 Current children cumulated CPU time (s) 1798.35 Current children cumulated vsize (Kb) 45380 [startup+1798.36 s] /proc/loadavg: 1.00 1.00 1.00 2/68 8729 /proc/meminfo: memFree=1124264/2055920 swapFree=4182992/4192956 [pid=8724] ppid=8722 vsize=5360 CPUtime=0 /proc/8724/stat : 8724 (runpbsmodels) S 8722 8724 8675 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 149559707 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 217051620164 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/8724/statm: 1340 234 195 169 0 51 0 [pid=8725] ppid=8724 vsize=12268 CPUtime=0 /proc/8725/stat : 8725 (pbsmodels-v1.28) S 8724 8724 8675 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 149559708 12562432 383 18446744073709551615 4194304 4206940 548682068992 18446744073709551615 217060523924 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/8725/statm: 3067 383 293 3 0 167 0 [pid=8726] ppid=8725 vsize=5356 CPUtime=4.1 /proc/8726/stat : 8726 (sh) S 8725 8724 8675 0 -1 4194304 311 976 0 0 0 0 410 0 16 0 1 0 149559708 5484544 227 18446744073709551615 4194304 4889804 548682069024 18446744073709551615 217051620164 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/8726/statm: 1339 227 188 169 0 50 0 [pid=8728] ppid=8726 vsize=9972 CPUtime=1795.26 /proc/8728/stat : 8728 (smodels) R 8726 8724 8675 0 -1 4194304 2176 0 0 0 179521 5 0 0 25 0 1 0 149559709 10211328 2140 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134550785 0 0 4096 0 0 0 0 17 1 0 0 /proc/8728/statm: 2493 2140 211 20 0 1930 0 [pid=8729] ppid=8726 vsize=12424 CPUtime=0 /proc/8729/stat : 8729 (pbout.pl) S 8726 8724 8675 0 -1 4194304 498 0 0 0 0 0 0 0 16 0 1 0 149559709 12722176 457 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 217060520034 0 0 4224 0 18446744071563648864 0 0 17 0 0 0 /proc/8729/statm: 3106 457 333 3 0 206 0 Current children cumulated CPU time (s) 1799.36 Current children cumulated vsize (Kb) 45380 [startup+1799.37 s] /proc/loadavg: 1.00 1.00 1.00 2/68 8729 /proc/meminfo: memFree=1124264/2055920 swapFree=4182992/4192956 [pid=8724] ppid=8722 vsize=5360 CPUtime=0 /proc/8724/stat : 8724 (runpbsmodels) S 8722 8724 8675 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 149559707 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 217051620164 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/8724/statm: 1340 234 195 169 0 51 0 [pid=8725] ppid=8724 vsize=12268 CPUtime=0 /proc/8725/stat : 8725 (pbsmodels-v1.28) S 8724 8724 8675 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 149559708 12562432 383 18446744073709551615 4194304 4206940 548682068992 18446744073709551615 217060523924 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/8725/statm: 3067 383 293 3 0 167 0 [pid=8726] ppid=8725 vsize=5356 CPUtime=4.1 /proc/8726/stat : 8726 (sh) S 8725 8724 8675 0 -1 4194304 311 976 0 0 0 0 410 0 16 0 1 0 149559708 5484544 227 18446744073709551615 4194304 4889804 548682069024 18446744073709551615 217051620164 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/8726/statm: 1339 227 188 169 0 50 0 [pid=8728] ppid=8726 vsize=9972 CPUtime=1796.26 /proc/8728/stat : 8728 (smodels) R 8726 8724 8675 0 -1 4194304 2176 0 0 0 179621 5 0 0 25 0 1 0 149559709 10211328 2140 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134551055 0 0 4096 0 0 0 0 17 1 0 0 /proc/8728/statm: 2493 2140 211 20 0 1930 0 [pid=8729] ppid=8726 vsize=12424 CPUtime=0 /proc/8729/stat : 8729 (pbout.pl) S 8726 8724 8675 0 -1 4194304 498 0 0 0 0 0 0 0 16 0 1 0 149559709 12722176 457 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 217060520034 0 0 4224 0 18446744071563648864 0 0 17 0 0 0 /proc/8729/statm: 3106 457 333 3 0 206 0 Current children cumulated CPU time (s) 1800.36 Current children cumulated vsize (Kb) 45380 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1799.37 s] /proc/loadavg: 1.00 1.00 1.00 2/68 8729 /proc/meminfo: memFree=1124264/2055920 swapFree=4182992/4192956 [pid=8724] ppid=8722 vsize=5360 CPUtime=0 /proc/8724/stat : 8724 (runpbsmodels) S 8722 8724 8675 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 149559707 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 217051620164 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/8724/statm: 1340 234 195 169 0 51 0 [pid=8725] ppid=8724 vsize=12268 CPUtime=0 /proc/8725/stat : 8725 (pbsmodels-v1.28) S 8724 8724 8675 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 149559708 12562432 383 18446744073709551615 4194304 4206940 548682068992 18446744073709551615 217060523924 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/8725/statm: 3067 383 293 3 0 167 0 [pid=8726] ppid=8725 vsize=5356 CPUtime=4.1 /proc/8726/stat : 8726 (sh) S 8725 8724 8675 0 -1 4194304 311 976 0 0 0 0 410 0 16 0 1 0 149559708 5484544 227 18446744073709551615 4194304 4889804 548682069024 18446744073709551615 217051620164 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/8726/statm: 1339 227 188 169 0 50 0 [pid=8728] ppid=8726 vsize=9972 CPUtime=1796.27 /proc/8728/stat : 8728 (smodels) R 8726 8724 8675 0 -1 4194304 2176 0 0 0 179622 5 0 0 25 0 1 0 149559709 10211328 2140 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134549873 0 0 4096 0 0 0 0 17 1 0 0 /proc/8728/statm: 2493 2140 211 20 0 1930 0 [pid=8729] ppid=8726 vsize=12424 CPUtime=0 /proc/8729/stat : 8729 (pbout.pl) S 8726 8724 8675 0 -1 4194304 498 0 0 0 0 0 0 0 16 0 1 0 149559709 12722176 457 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 217060520034 0 0 4224 0 18446744071563648864 0 0 17 0 0 0 /proc/8729/statm: 3106 457 333 3 0 206 0 Current children cumulated CPU time (s) 1800.37 Current children cumulated vsize (Kb) 45380 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 8724 and gives childrusage.ru_utime.tv_sec=0 childrusage.ru_utime.tv_usec=999 childrusage.ru_stime.tv_sec=0 childrusage.ru_stime.tv_usec=1999 CPU time returned by wait4() is 0.002998 while last known CPU time is 1800.37 Solver probably didn't/couldn't wait for its children Using last known CPU time as value... Real time (s): 1799.4 CPU time (s): 1800.37 CPU user time (s): 1800.32 CPU system time (s): 0.05 CPU usage (%): 100.054 Max. virtual memory (cumulated for all children) (Kb): 45380 The end
Begin job on node59 on Thu Jul 27 19:01:39 UTC 2006 FILE ID= 33852-1154026899 PBS_JOBID= 880810 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-reduced-mps-v2-20-10-nsrand_ipx.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user4/pbsmodels_solver-v1.28/runpbsmodels ROOT/tmp/node59/33852-1154026899/instance-33852-1154026899.opb 161167846 ROOT/tmp/node59/33852-1154026899 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node59/watcher-33852-1154026899 -o ROOT/results/node59/solver-33852-1154026899 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user4/pbsmodels_solver-v1.28/runpbsmodels ROOT/tmp/node59/33852-1154026899/instance-33852-1154026899.opb 161167846 ROOT/tmp/node59/33852-1154026899 MD5SUM SOLVER= f639f6b7f53e3afd14340f75c0e271ee 82c14a26114306e436bf36ef1d1c85a0 c893ceb51a2aaa4ab2f96d97b043cdf0 8c810dcfce02286b111d075d14837741 79b233270d136fcdcf9d8f80d20efef0 MD5SUM BENCH= 5afe2e688387cc46a3d150d955d27ab1 RANDOM SEED= 161167846 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.263 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.263 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: 1133512 kB Buffers: 37108 kB Cached: 811692 kB SwapCached: 3852 kB Active: 219352 kB Inactive: 638124 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1133512 kB SwapTotal: 4192956 kB SwapFree: 4182992 kB Dirty: 212 kB Writeback: 0 kB Mapped: 14760 kB Slab: 50884 kB Committed_AS: 1026356 kB PageTables: 1488 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node59 on Thu Jul 27 19:31:38 UTC 2006