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