| Solver Name | Answer | Objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| PB-smodels 1.28 | SAT (TO) | 183 | 1800.42 | 1800.31 |
| Name | normalized-PB06/OPT-SMALLINT/web/www.ps.uni-sb.de/~walser/ benchmarks/radar/normalized-30:70:4.5:0.5:100.opb |
| MD5SUM | 9d611ad786b3505d4cca46af1ba2bc6d |
| Bench Category | OPT-SMALLINT (optimisation, small integers) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 116 |
| Best CPU time to get the best result obtained on this benchmark | 1800.75 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 116 |
| Optimality of the best value was proved | NO |
| Number of variables | 10772 |
| Total number of constraints | 12051 |
| Number of constraints which are clauses | 10247 |
| Number of constraints which are cardinality constraints (but not clauses) | 1804 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 31 |
| Number of terms in the objective function | 10772 |
| Biggest coefficient in the objective function | 5356 |
| Number of bits for the biggest coefficient in the objective function | 13 |
| Sum of the numbers in the objective function | 30986 |
| Number of bits of the sum of numbers in the objective function | 15 |
| Biggest number in a constraint | 5356 |
| Number of bits of the biggest number in a constraint | 13 |
| Biggest sum of numbers in a constraint | 30986 |
| Number of bits of the biggest sum of numbers | 15 |
| 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 89.76 o 183 1800.29 sh: line 1: 8627 Done pbsmodels.trans ROOT/tmp/node57/34454-1154048964/instance-34454-1154048964.opb ROOT/tmp/node57/34454-1154048964 1800.29 8628 Terminated | smodels -seed 421654086 1800.29 8629 Terminated | pbout.pl ROOT/tmp/node57/34454-1154048964/instance-34454-1154048964.opb ROOT/tmp/node57/34454-1154048964 1800.29 s SATISFIABLE 1800.29 v x1 x9583 x6786 x3806 x3805 x1036 x6785 x4507 x1040 x6788 x4509 x2198 x2197 x756 x6789 x6791 x2200 x755 x6792 x5269 x4594 x5268 1800.29 v x4593 x2204 x4598 x2202 x7678 x6453 x5270 x7680 x5272 x1889 x7681 x1888 x7682 x5273 x1890 x7689 x1891 x968 x7683 x1892 x970 1800.29 v x7684 x6091 x1899 x6092 x2089 x1893 x6538 x2093 x1894 x6539 x5949 x1895 x6542 x4138 x7331 x6540 x5950 x7330 x6541 x1110 x7743 1800.29 v x7332 x1113 x7742 x7336 x1112 x9770 x7744 x1117 x7745 x7639 x2390 x7746 x7640 x2389 x8728 x7753 x2391 x8729 x7747 x2394 x10160 1800.29 v x7748 x2393 x10162 x6596 x2398 x6595 x2698 x157 x10163 x6597 x6598 x2702 x160 x6599 x161 x6606 x5076 x2705 x6600 x2706 x6601 1800.29 v x5075 x2709 x4090 x2707 x2708 x1373 x8355 x4091 x1849 x1848 x1377 x9363 x8356 x9362 x1854 x1380 x9364 x1853 x1381 x9368 x1851 1800.29 v x513 x6334 x1095 x514 x6333 x3597 x1094 x6335 x3598 x1099 x7882 x6691 x6339 x8288 x6693 x6338 x8287 x6697 x6336 x6696 x6337 1800.29 v x8289 x6694 x463 x8291 x6695 x4370 x466 x8292 x6552 x4372 x8898 x6554 x8896 x6557 x4373 x9187 x6556 x9193 x8897 x6561 x9192 1800.29 v x8454 x6560 x9194 x8455 x6558 x9198 x6559 x6500 x2487 x6499 x2486 x9582 x6782 x1034 x10437 x1033 x6787 x884 x6790 x4506 x6794 1800.29 v x4517 x6793 x2199 x2196 x757 x4592 x2205 x4606 x6455 x5271 x6459 x5274 x5278 x7693 x5277 x7688 x1902 x966 x1903 x967 x7686 1800.29 v x7015 x2085 x6537 x6103 x2086 x6534 x5948 x2245 x6543 x5951 x5955 x4134 x10362 x4143 x7329 x1111 x10364 x1125 x10365 x9767 1800.29 v x8977 x7635 x8975 x7644 x8724 x564 x8733 x2392 x10161 x2406 x567 x10164 x2402 x2401 x2697 x159 x8923 x2699 x156 x6610 x2704 1800.29 v x165 x9345 x3294 x2701 x9346 x2710 x5077 x4089 x4092 x4096 x8357 x8099 x1372 x1374 x589 x9359 x1847 x1379 x9360 x1858 x1376 1800.29 v x9361 x512 x9858 x509 x1704 x1093 x518 x6331 x1107 x6332 x3609 x1103 x7878 x6689 x6343 x7887 x6690 x6701 x4392 x8290 x460 1800.29 v x8293 x465 x8297 x4371 x462 x4374 x471 x8899 x4378 x6555 x4377 x6569 x5970 x9189 x6565 x9190 x8456 x6564 x9191 x3691 x6496 1800.29 v x6495 x2484 x2488 x2750 x2754 x10757 x9584 x876 x10436 x6781 x880 x6783 x877 x6784 x888 x6798 x750 x2195 x2213 x758 x2209 1800.29 v x762 x9994 x2208 x766 x9998 x10464 x6456 x5266 x6460 x5267 x10728 x6464 x5282 x10732 x7003 x7005 x683 x7011 x7007 x691 x5942 1800.29 v x2101 x6551 x5943 x2244 x5944 x4981 x4133 x5959 x4151 x10363 x4147 x10367 x1122 x10366 x1124 x8966 x9782 x8978 x7652 x7648 1800.29 v x8741 x8210 x556 x9333 x8211 x568 x10156 x9332 x10157 x10172 x9340 x9344 x155 x9348 x8924 x9347 x2700 x3295 x1410 x2714 x9043 1800.29 v x7725 x4084 x5078 x4085 x5074 x8350 x8098 x581 x1694 x1375 x1693 x1393 x9376 x1389 x508 x9860 x1701 x1388 x1705 x522 x10235 1800.29 v x1709 x10239 x7877 x6347 x7895 x3120 x7891 x6705 x5319 x4394 x240 x5318 x8285 x1576 x8286 x461 x8301 x4366 x479 x8895 x4367 1800.29 v x8891 x6566 x6568 x5969 x3686 x9205 x8457 x3685 x9206 x8460 x6069 x3692 x6497 x2485 x6498 x2749 x2496 x2753 x2492 x9581 x10438 1800.29 v x9580 x875 x9596 x896 x6802 x892 x6797 x420 x2212 x752 x6145 x753 x754 x6153 x2206 x770 x9990 x6804 x10456 x10006 x6803 x10468 1800.29 v x6452 x5286 x10723 x6811 x6468 x10724 x6815 x10740 x3910 x7006 x679 x7027 x695 x7023 x5962 x4978 x2246 x5963 x4982 x1794 1800.29 v x10354 x4986 x1793 x10355 x6644 x1123 x6640 x1801 x6652 x1809 x8982 x8209 x8981 x8213 x5852 x8212 x555 x9932 x576 x9936 x9940 1800.29 v x3966 x10176 x9334 x7087 x9335 x9336 x8920 x9352 x8916 x1397 x3291 x1398 x3287 x3299 x9042 x7720 x7530 x7721 x5073 x7737 1800.29 v x5094 x8369 x8100 x1390 x601 x1392 x1449 x1695 x9861 x1696 x1386 x1697 x7892 x1713 x1387 x10231 x7894 x3116 x10247 x3112 1800.29 v x5307 x5323 x4395 x242 x4399 x2043 x1571 x247 x8305 x2047 x1572 x8300 x5103 x4385 x8890 x4386 x8298 x5965 x5111 x8445 x8447 1800.29 v x5971 x8453 x8449 x5976 x8461 x3687 x6071 x3688 x3700 x2495 x6077 x2751 x6504 x2755 x2491 x10435 x8603 x7616 x10439 x9600 1800.29 v x5144 x10443 x9595 x5161 x2599 x416 x9593 x2600 x412 x2601 x424 x8528 x6140 x2617 x8532 x6141 x8536 x8006 x6157 x10010 x8010 1800.29 v x8014 x1431 x10472 x6805 x6472 x10743 x6806 x1155 x10744 x6807 x6823 x4907 x3930 x3926 x2240 x699 x5961 x2239 x694 x5960 1800.29 v x4973 x2247 x4974 x10103 x2255 x10375 x6639 x1795 x6660 x1822 x1796 x6656 x1797 x8200 x6655 x8201 x8217 x5844 x5399 x5856 1800.29 v x575 x9927 x9928 x9944 x3965 x7089 x7131 x8915 x9351 x8936 x5993 x8932 x3286 x8931 x7517 x3307 x7518 x9044 x6615 x90 x7741 1800.29 v x91 x9049 x8097 x7736 x8101 x1391 x8105 x7734 x1451 x9853 x2851 x9865 x1717 x6360 x2347 x1712 x2351 x10246 x2355 x5327 x3128 1800.29 v x5322 x4390 x3127 x4391 x243 x5320 x2038 x239 x2039 x1592 x251 x9319 x4203 x5099 x8299 x5115 x5964 x5966 x4214 x8448 x5972 1800.29 v x8469 x5968 x8465 x5980 x8503 x8464 x3703 x6072 x3704 x8511 x6068 x3699 x6079 x2752 x1557 x3826 x2756 x2489 x10431 x8605 1800.29 v x7617 x10430 x10447 x411 x9594 x2580 x432 x6886 x428 x8523 x6882 x4878 x8524 x6894 x6161 x8540 x8001 x5802 x8002 x1427 x10742 1800.29 v x6222 x1423 x10741 x1435 x3792 x1175 x4903 x1171 x6822 x4899 x4547 x4551 x5246 x4555 x5250 x2241 x5254 x2242 x2243 x5827 1800.29 v x10105 x1821 x10106 x5397 x1842 x10107 x1838 x9000 x6653 x5400 x9001 x5398 x8216 x6654 x7079 x5860 x9947 x8214 x7078 x9948 1800.29 v x9246 x3967 x7090 x7130 x1138 x5992 x6013 x1141 x85 x6009 x89 x8929 x995 x93 x6614 x92 x10020 x6635 x9045 x6631 x9041 x6630 1800.29 v x9053 x8093 x8109 x7735 x3270 x3192 x2838 x2839 x1452 x9873 x2855 x1448 x9869 x6356 x2936 x9868 x6352 x2935 x6364 x5574 x2343 1800.29 v x5570 x2943 x2359 x5582 x2947 x7308 x2951 x7312 x4411 x6170 x2058 x259 x6174 x2059 x255 x9311 x5119 x4202 x6911 x4204 x4210 1800.29 v x10260 x4206 x10264 x5967 x10268 x5988 x3702 x3701 x1544 x8498 x1546 x8499 x6067 x8515 x1548 x341 x6083 x2746 x1559 x7115 1800.29 v x2747 x3827 x2748 x2490 x10450 x8606 x7618 x10451 x7622 x10446 x2102 x1058 x2575 x2110 x6881 x2576 x2114 x6902 x4873 x2592 1800.29 v x8544 x5798 x4874 x5794 x4890 x737 x8022 x3785 x6221 x6124 x3781 x3793 x4898 x4160 x4919 x4156 x4113 x4915 x4543 x5241 x4559 1800.29 v x7981 x5242 x7977 x5647 x5258 x2263 x8995 x5819 x8999 x5393 x10126 x9003 x5389 x10127 x9002 x5401 x9244 x9945 x9247 x9245 1800.29 v x7080 x7081 x3968 x7082 x7132 x6010 x3971 x1130 x6012 x1142 x7137 x991 x81 x9907 x987 x97 x9911 x999 x10022 x9915 x6628 x9057 1800.29 v x8108 x6629 x3262 x6517 x3274 x6521 x3194 x10 x6520 x2859 x2854 x18 x9866 x2852 x6368 x2937 x9867 x6367 x5590 x2938 x8553 1800.29 v x5586 x2939 x8549 x7303 x2955 x8561 x7304 x2056 x7320 x6165 x9310 x6166 x9331 x2818 x9327 x2822 x1724 x1503 x6907 x4205 x10255 1800.29 v x5028 x4949 x10256 x4961 x4222 x10272 x5036 x2890 x8841 x1547 x7105 x1567 x340 x7111 x1563 x7107 x3818 x2899 x7116 x3819 1800.29 v x2760 x10448 x8607 x7630 x8611 x7626 x7625 x1053 x7201 x2104 x1057 x7200 x2105 x2596 x2106 x7208 x2122 x7212 x4894 x733 x6217 1800.29 v x5814 x729 x5810 x3780 x6223 x6116 x3801 x6128 x3797 x4916 x3796 x4918 x4176 x4108 x4172 x4109 x4125 x4043 x7976 x5262 x7772 1800.29 v x5646 x5257 x8989 x7993 x10125 x8990 x5839 x10124 x8991 x5835 x5834 x5409 x9232 x9234 x7590 x9240 x9236 x2272 x9248 x2276 1800.29 v x2280 x7930 x3960 x7102 x3972 x1129 x2440 x1150 x7133 x2444 x7129 x2448 x3856 x986 x101 x9902 x9415 x3852 x10305 x9903 x1003 1800.29 v x10309 x10023 x9919 x10026 x7262 x10024 x3261 x6508 x3282 x3190 x6509 x3278 x6525 x3195 x5 x6 x4932 x22 x5587 x5225 x5589 1800.29 v x10060 x6365 x8548 x8569 x6366 x1986 x8565 x7324 x6026 x10068 x7319 x6030 x6186 x7317 x2814 x2830 x1723 x1505 x6927 x4948 1800.29 v x5023 x4969 x5024 x4965 x5040 x4964 x2892 x2897 x8840 x8842 x2900 x342 x8848 x7106 x2898 x8844 x7124 x8853 x7120 x3831 x10449 1800.29 v x8619 x7623 x1055 x1059 x7624 x2125 x7202 x6246 x2126 x8126 x7203 x7204 x728 x7220 x6219 x749 x6115 x745 x6224 x6136 x3526 1800.29 v x4917 x7765 x3794 x2507 x7770 x3795 x4129 x4039 x7773 x4035 x7771 x4047 x5648 x5545 x5652 x5557 x9010 x5406 x9011 x5408 x5832 1800.29 v x9501 x9235 x7589 x9256 x7591 x2267 x7597 x2268 x7593 x6278 x2284 x9403 x9402 x7931 x1147 x58 x7935 x3976 x1149 x7939 x2435 1800.29 v x7938 x7128 x2436 x9418 x8826 x2452 x9417 x7145 x3851 x6764 x3872 x10297 x9923 x3868 x10313 x10015 x6772 x10027 x7258 x7254 1800.29 v x5752 x7266 x3183 x8378 x3185 x103 x8382 x6529 x3191 x8386 x3187 x25 x3199 x1974 x26 x4924 x1973 x114 x5221 x5217 x1981 x117 1800.29 v x5229 x1989 x10061 x1988 x10057 x6017 x10069 x8678 x6018 x8674 x8686 x3170 x2222 x2834 x2226 x2829 x1725 x1506 x4968 x4721 1800.29 v x2827 x1184 x4962 x2372 x1180 x2893 x1192 x2889 x2380 x2901 x7121 x343 x8843 x7123 x348 x8857 x7119 x349 x8618 x1278 x1050 1800.29 v x1207 x1056 x1060 x8116 x1064 x6248 x8118 x3434 x8130 x748 x7219 x3519 x6220 x7217 x6216 x3527 x6228 x3531 x8407 x2506 x7766 1800.29 v x7762 x7774 x4034 x296 x4055 x4051 x5649 x5565 x9008 x5653 x5407 x5657 x3455 x1684 x3459 x9502 x8576 x3463 x3462 x9505 x6265 1800.29 v x7592 x6266 x3318 x7613 x6282 x7609 x8816 x57 x9404 x7927 x9405 x7943 x9406 x2456 x9422 x8827 x2451 x6759 x2449 x10317 x10014 1800.29 v x6760 x10035 x6776 x4236 x10031 x7253 x5748 x7575 x7274 x5744 x5756 x8373 x8374 x3186 x102 x8390 x3207 x104 x4923 x4944 x106 1800.29 v x5216 x1975 x118 x6936 x1976 x5233 x1977 x6944 x6311 x1993 x10056 x6315 x10077 x5524 x10073 x8673 x6038 x8694 x5532 x3618 1800.29 v x8690 x3622 x3166 x3162 x2217 x1718 x2218 x1502 x1726 x1498 x1510 x4723 x2662 x1734 x1733 x4728 x2367 x1200 x2888 x2368 x1196 1800.29 v x2909 x2384 x7122 x2905 x3017 x338 x339 x353 x8856 x7117 x1277 x1202 x1281 x1049 x1208 x1051 x1212 x1052 x1216 x1068 x8117 1800.29 v x6249 x3430 x8138 x6253 x3426 x8134 x6252 x3438 x7831 x3521 x7836 x6236 x3522 x6232 x3523 x8399 x5873 x2508 x8411 x5877 x5881 1800.29 v x293 x7778 x297 x3993 x3552 x2511 x8628 x3556 x8624 x5644 x8636 x5645 x2010 x2534 x2014 x1671 x1672 x9492 x9498 x3451 x9494 1800.29 v x8575 x9506 x7610 x6965 x7612 x3317 x6281 x59 x8815 x139 x8817 x7942 x143 x9426 x8823 x9421 x8819 x7940 x8831 x7565 x2450 1800.29 v x1749 x6780 x5049 x4238 x1752 x5743 x5061 x7576 x5764 x5760 x8330 x5449 x8394 x5453 x8874 x2297 x2301 x105 x8877 x7547 x8875 1800.29 v x6930 x7555 x6931 x2555 x6932 x2559 x1997 x8474 x6306 x2563 x9070 x8486 x6307 x9066 x6323 x5519 x9078 x5520 x5361 x9961 x5536 1800.29 v x5357 x5369 x3614 x3161 x6867 x3182 x2238 x1720 x1497 x2651 x1721 x1305 x2663 x1722 x1514 x1738 x1197 x4724 x1199 x4720 x1478 1800.29 v x4732 x2908 x2388 x8941 x2383 x8953 x3018 x2381 x356 x3022 x357 x3023 x352 x4532 x3024 x1279 x1283 x1201 x1203 x1071 x1204 1800.29 v x1072 x6240 x3660 x1220 x6741 x6241 x712 x3446 x716 x3672 x3442 x5597 x3676 x7832 x7860 x7828 x3542 x8398 x7840 x3543 x8419 1800.29 v x5868 x2509 x8415 x5869 x7863 x5885 x2512 x3989 x2510 x289 x10136 x3985 x10140 x3997 x3548 x10144 x8644 x3564 x8640 x5665 1800.29 v x2002 x2526 x2018 x1363 x2538 x1692 x6191 x9493 x3471 x9514 x8577 x4068 x9510 x7611 x6041 x6957 x6042 x6043 x3319 x8583 x3237 1800.29 v x8584 x130 x60 x131 x64 x147 x8818 x1020 x7941 x7238 x1748 x7564 x5048 x7566 x4239 x1754 x5065 x7568 x4242 x8326 x7580 x4240 1800.29 v x8864 x8322 x8334 x5445 x8866 x4278 x2292 x8878 x2293 x4286 x2309 x7543 x7559 x6951 x2550 x8473 x6952 x2551 x6435 x2567 x202 1800.29 v x8490 x6327 x206 x9086 x6865 x210 x9957 x9082 x5356 x9953 x6868 x5377 x9965 x6866 x5373 x9211 x9223 x2650 x2671 x1741 x1300 1800.29 v x2667 x1742 x1301 x2179 x1737 x1317 x4719 x1735 x1480 x8940 x4736 x8961 x8957 x354 x3013 x2382 x3014 x4619 x3028 x350 x4531 1800.29 v x3733 x1280 x1284 x1069 x9448 x1288 x1287 x1224 x6260 x703 x6740 x6261 x3662 x704 x7850 x3663 x3664 x5596 x3541 x7827 x3540 1800.29 v x7861 x7848 x2505 x7864 x5888 x2501 x7862 x5889 x2513 x5884 x3984 x10131 x5882 x10132 x3568 x1349 x10148 x1350 x322 x2525 1800.29 v x2022 x1351 x4853 x2546 x1367 x6190 x4857 x2542 x9145 x6211 x2541 x9149 x6207 x9153 x8578 x4060 x8582 x4072 x8586 x6977 x3316 1800.29 v x8585 x6973 x3320 x6972 x3253 x54 x10704 x55 x151 x56 x7233 x1011 x7237 x1012 x7241 x1328 x1028 x7240 x1750 x4235 x4231 x1755 1800.29 v x7567 x4243 x7588 x5672 x8321 x7584 x7583 x816 x8865 x8338 x4272 x8886 x4273 x2312 x7185 x4274 x2313 x4290 x1776 x6949 x1780 1800.29 v x10605 x1784 x10609 x2571 x10613 x6427 x197 x6861 x6439 x198 x6857 x5344 x214 x9952 x9170 x6869 x9973 x9166 x9969 x9210 x2668 1800.29 v x1740 x9227 x2670 x1739 x1470 x2175 x1321 x2413 x2171 x1316 x2183 x8958 x1736 x1481 x1314 x8960 x9265 x9269 x3761 x9273 x3407 1800.29 v x4615 x3032 x6484 x4611 x351 x4620 x4533 x3732 x1276 x1076 x9444 x1275 x952 x9440 x1292 x9452 x7160 x6738 x6742 x3683 x7849 1800.29 v x3684 x7851 x7280 x5598 x7857 x7853 x5887 x7865 x5886 x2521 x2517 x6578 x6582 x6586 x5883 x318 x10215 x4189 x2543 x314 x10216 1800.29 v x2545 x326 x6208 x4848 x6210 x4849 x4865 x2539 x9141 x4059 x9157 x8573 x2540 x8574 x4076 x1527 x3311 x3045 x1523 x3312 x6970 1800.29 v x3328 x10706 x6971 x6667 x76 x6990 x7229 x1032 x7245 x2143 x1327 x1743 x1745 x4230 x1751 x4251 x1747 x7587 x4247 x9292 x5671 1800.29 v x804 x7581 x2311 x820 x2310 x7582 x5416 x7184 x4294 x1771 x366 x1772 x370 x10600 x374 x10601 x6426 x9658 x6447 x5331 x6856 1800.29 v x5332 x218 x6877 x3363 x1931 x6873 x3091 x1935 x9186 x4699 x3087 x9182 x4703 x5924 x5898 x5902 x1469 x2412 x1471 x8959 x1473 1800.29 v x1315 x1485 x9260 x7668 x9261 x7666 x3763 x4522 x3402 x4610 x3403 x6485 x4628 x4530 x4624 x4534 x3734 x2065 x1077 x9438 x2069 1800.29 v x951 x9460 x2073 x9456 x7159 x6739 x6743 x38 x7353 x7282 x7852 x7357 x5599 x7361 x5595 x268 x272 x662 x276 x6572 x6573 x10214 1800.29 v x6574 x10218 x6590 x5499 x10217 x5503 x313 x5507 x4181 x6209 x4868 x4869 x4864 x9161 x9835 x5632 x4862 x8594 x3041 x1522 1800.29 v x3037 x2797 x1543 x9563 x3332 x9559 x10707 x8146 x6666 x8151 x6982 x838 x7249 x6994 x8154 x1329 x2142 x2144 x1334 x2150 x1746 1800.29 v x2146 x1767 x2158 x1763 x9291 x5673 x1762 x824 x5415 x1597 x7186 x1609 x5716 x361 x1792 x362 x7040 x532 x378 x10621 x9654 1800.29 v x9650 x5727 x9662 x5352 x9183 x3365 x1926 x9185 x3086 x1927 x3107 x934 x4695 x3103 x1237 x5926 x5893 x1241 x5894 x10183 x2414 1800.29 v x2418 x1472 x7657 x1493 x7669 x1489 x8178 x9281 x3764 x3768 x610 x6481 x4524 x614 x6477 x4525 x615 x6486 x4526 x616 x5287 1800.29 v x3735 x949 x2060 x1085 x953 x8744 x3743 x8756 x3742 x7161 x6734 x35 x6735 x39 x6751 x7348 x7283 x5011 x7349 x7287 x5594 x7365 1800.29 v x7291 x5615 x5611 x658 x264 x3716 x654 x280 x1258 x10205 x6593 x1254 x10328 x10206 x6594 x10222 x5494 x5495 x4180 x7375 x4867 1800.29 v x7379 x4866 x9825 x5619 x5620 x4461 x9836 x5636 x4457 x4469 x2793 x3057 x2789 x2469 x9558 x3053 x9579 x3052 x833 x10703 x837 1800.29 v x10699 x6668 x841 x8147 x840 x8143 x7002 x8155 x6998 x3334 x3333 x1330 x3341 x1326 x3345 x2145 x1338 x7956 x3349 x2166 x7960 1800.29 v x9293 x7964 x5674 x5682 x9095 x9091 x5417 x1617 x7187 x5421 x381 x5715 x382 x7032 x5717 x534 x9649 x7044 x9670 x5719 x539 1800.29 v x9184 x5731 x3366 x3104 x3106 x1947 x926 x4715 x1229 x938 x5927 x2631 x1245 x5914 x3484 x2407 x10182 x2415 x1960 x7656 x2419 1800.29 v x7677 x2423 x3754 x2993 x8177 x3755 x2989 x3756 x3001 x4805 x605 x4809 x606 x6494 x4810 x620 x10048 x4811 x5289 x3731 x950 1800.29 v x3730 x2081 x954 x8764 x3747 x958 x8760 x957 x9807 x7162 x30 x9811 x31 x6750 x4670 x47 x4999 x4682 x6748 x5015 x4485 x7369 1800.29 v x7279 x7295 x4490 x485 x653 x284 x10510 x3717 x674 x6591 x670 x10518 x1274 x10327 x10226 x10480 x10481 x10497 x7377 x7381 1800.29 v x9824 x10559 x9826 x7383 x9832 x4456 x10564 x9828 x4746 x4473 x2788 x2465 x8653 x6718 x2461 x8657 x2805 x8661 x3050 x828 1800.29 v x10698 x829 x9120 x3051 x845 x8142 x6669 x9128 x6665 x8159 x6677 x8158 x3335 x1325 x9283 x3336 x1346 x3337 x2165 x1342 x7951 1800.29 v x3353 x7952 x5668 x2918 x9294 x5669 x2914 x5670 x2926 x9297 x7907 x5686 x9295 x9090 x8432 x5418 x380 x7179 x5422 x379 x7910 1800.29 v x7031 x7052 x3649 x7048 x5718 x535 x9382 x5739 x531 x5735 x3105 x787 x5734 x3361 x3362 x4299 x3378 x5923 x4311 x1249 x5919 1800.29 v x3475 x2633 x5931 x3476 x3492 x2409 x1956 x10184 x2410 x1952 x2411 x10189 x2427 x2988 x9539 x8179 x3009 x8183 x3776 x3005 1800.29 v x5132 x225 x4801 x624 x8185 x4815 x230 x10040 x8186 x5290 x3750 x10758 x5294 x3751 x5298 x3746 x962 x5297 x10535 x9802 x7154 1800.29 v x9803 x7166 x4669 x9819 x4017 x5019 x4686 x8237 x6749 x1873 x4486 x7485 x4482 x487 x4494 x3713 x3709 x2322 x492 x10506 x3721 1800.29 v x2326 x10522 x4776 x2330 x10329 x7371 x10500 x7370 x10501 x10496 x10331 x7378 x10332 x7382 x7386 x4342 x7385 x10560 x9827 1800.29 v x10556 x9848 x4748 x10568 x9844 x6714 x8648 x6710 x2481 x8649 x6722 x8665 x4754 x4755 x849 x9115 x5192 x844 x9116 x5204 x9132 1800.29 v x6685 x842 x3943 x3947 x909 x3946 x858 x2968 x854 x9282 x2972 x866 x9284 x7897 x2976 x9290 x7972 x9286 x2934 x2685 x9298 x5690 1800.29 v x2930 x7908 x3642 x8424 x7911 x7198 x7909 x7199 x5414 x3650 x3648 x5736 x5738 x530 x9384 x551 x779 x395 x5732 x795 x399 x4298 1800.29 v x5733 x3377 x5918 x4315 x5939 x3375 x2634 x5935 x3496 x4419 x2637 x10177 x2635 x10179 x8704 x2430 x10185 x2431 x1968 x10181 1800.29 v x2426 x9541 x8180 x3384 x2424 x9545 x8184 x5128 x8188 x5124 x8187 x4819 x226 x3394 x10052 x10759 x10760 x3748 x5302 x4007 1800.29 v x961 x7153 x10530 x7174 x959 x10531 x9823 x7170 x7169 x4018 x8239 x4021 x1872 x4481 x480 x4502 x482 x7481 x4498 x488 x10525 1800.29 v x8245 x484 x10526 x3725 x2318 x10326 x4775 x4576 x10330 x10334 x10333 x7372 x7404 x7373 x7374 x4341 x7390 x4362 x4358 x9845 1800.29 v x7798 x9847 x7796 x9738 x4749 x10572 x6709 x4753 x10571 x6730 x4757 x6726 x4756 x9754 x6836 x6840 x5191 x9135 x6844 x9136 1800.29 v x3933 x9131 x3934 x843 x3935 x9129 x2672 x901 x913 x853 x2680 x874 x2964 x870 x2688 x9285 x7896 x2687 x9306 x7898 x9302 x7904 1800.29 v x3635 x7900 x7197 x4826 x3637 x7912 x7196 x3643 x8444 x3639 x3651 x8033 x5737 x548 x550 x9385 x799 x387 x10413 x9393 x10417 1800.29 v x9392 x10582 x10421 x2630 x7448 x3376 x2626 x4412 x2638 x7451 x4414 x4420 x8706 x4416 x10180 x10201 x10197 x10196 x9542 1800.29 v x2425 x9546 x8176 x3383 x8192 x5143 x3385 x5139 x222 x234 x10761 x3749 x5301 x4006 x5299 x4008 x960 x10551 x7167 x4010 x2865 1800.29 v x4022 x8240 x7168 x4499 x1874 x4501 x8248 x10523 x8247 x483 x504 x4572 x2338 x10321 x4777 x4568 x10322 x10338 x7403 x7393 1800.29 v x7394 x7787 x7389 x9846 x7799 x7387 x4743 x4744 x9740 x4745 x10569 x9741 x4761 x9742 x9635 x10570 x9133 x6832 x9707 x3954 1800.29 v x3876 x3955 x3877 x9130 x3893 x3058 x2674 x3060 x2675 x3066 x2676 x3062 x2692 x3074 x7899 x8441 x4825 x8443 x3638 x8029 x439 1800.29 v x443 x8032 x549 x9379 x9524 x9380 x406 x9381 x407 x10408 x9397 x10409 x10581 x7817 x2625 x10587 x7440 x2646 x7452 x2642 x8702 1800.29 v x4415 x10198 x8707 x4436 x10200 x4432 x4431 x9537 x10194 x9538 x8195 x8196 x8191 x3386 x233 x8189 x3398 x5300 x4009 x4030 1800.29 v x2867 x4500 x4026 x4025 x1875 x8236 x8252 x1878 x10398 x1876 x9792 x4773 x4567 x10341 x4778 x4588 x10342 x10337 x7399 x7392 1800.29 v x7391 x10335 x7405 x7807 x7803 x1913 x7802 x4764 x4765 x9630 x4760 x9634 x9703 x4758 x9706 x9470 x9474 x3897 x5777 x3892 1800.29 v x9608 x8054 x9612 x3061 x2696 x5471 x3082 x2691 x3078 x9614 x3077 x2689 x9615 x4827 x8028 x438 x442 x8034 x4835 x4833 x405 1800.29 v x404 x9523 x9400 x8037 x9401 x10578 x9396 x10429 x10583 x9394 x7816 x7439 x10588 x7460 x7456 x8697 x7455 x4433 x10199 x8703 1800.29 v x4435 x8699 x8711 x8194 x4429 x8193 x9553 x9554 x3395 x3397 x8190 x10762 x3832 x4027 x2860 x4029 x1863 x2868 x1865 x2872 1800.29 v x1871 x8255 x2876 x1867 x8256 x1879 x9788 x10397 x9791 x4585 x4774 x4587 x4770 x4782 x9679 x7401 x10336 x7406 x7806 x1908 1800.29 v x1912 x10380 x7800 x4763 x4762 x10638 x9632 x9636 x9702 x4759 x9708 x9472 x7466 x9476 x7470 x5773 x9601 x5769 x9609 x8053 1800.29 v x9613 x3081 x9617 x5473 x9616 x3075 x2690 x8024 x6296 x4828 x8030 x4824 x440 x4836 x444 x8035 x9399 x8038 x446 x9398 x8036 1800.29 v x9525 x10577 x10579 x9395 x7818 x7457 x10584 x7459 x4434 x10763 x7453 x10627 x8698 x8719 x8715 x9552 x8714 x179 x9551 x182 1800.29 v x3396 x9462 x3834 x2862 x2863 x8253 x2864 x1866 x1887 x1883 x10395 x9787 x8794 x10399 x4586 x9793 x4790 x7395 x4786 x7397 1800.29 v x4785 x9675 x7402 x9691 x1910 x1914 x10379 x10381 x1916 x10640 x9633 x9637 x9704 x9641 x9709 x9473 x7465 x9477 x7469 x9712 1800.29 v x9481 x9710 x5789 x9603 x5785 x9604 x8055 x5784 x9605 x8059 x5474 x6292 x5482 x434 x6295 x433 x8023 x8025 x441 x8031 x4840 1800.29 v x445 x8027 x4839 x449 x8039 x448 x9521 x9724 x9526 x7814 x9730 x7819 x10580 x9731 x10596 x10624 x8716 x10626 x8718 x8712 1800.29 v x178 x8713 x184 x2132 x9461 x3835 x5378 x10749 x2883 x2884 x1886 x10755 x10389 x9784 x10396 x9789 x8814 x10400 x8810 x10404 1800.29 v x9794 x4787 x10403 x4789 x9797 x9795 x10681 x4783 x7398 x2028 x7410 x4784 x1911 x1915 x10635 x10383 x1918 x10634 x9628 x10641 1800.29 v x10385 x9629 x9698 x9700 x9645 x9705 x9467 x9468 x7467 x9713 x9469 x7471 x9485 x5788 x7473 x9624 x8307 x8056 x9625 x8060 1800.29 v x8064 x5469 x8063 x5470 x6291 x5486 x1626 x6297 x435 x436 x8026 x437 x8085 x6300 x453 x9719 x8086 x8043 x9718 x9517 x8042 1800.29 v x9522 x9725 x9729 x7808 x9733 x7810 x9732 x7815 x10593 x10595 x10628 x10764 x4439 x180 x4443 x10344 x185 x7506 x2131 x9463 1800.29 v x5380 x3843 x2882 x2881 x10751 x10756 x10391 x9783 x10392 x9785 x9790 x4788 x9798 x10675 x10682 x7407 x7409 x2027 x10690 1800.29 v x1906 x10376 x1907 x10384 x10388 x10636 x10387 x10637 x7461 x9701 x9488 x7468 x9717 x9489 x7472 x9716 x9484 x7476 x7475 1800.29 v x9482 x9622 x8050 x8306 x8051 x8052 x8312 x8068 x6288 x1620 x8073 x6293 x1621 x1622 x6298 x1638 x8088 x6301 x4795 x8087 x6299 1800.29 v x457 x452 x8040 x9720 x9518 x10277 x9721 x9534 x9737 x9533 x10594 x7811 x7823 x10623 x10622 x10629 x10633 x8595 x10632 x4440 1800.29 v x176 x4444 x181 x10343 x7508 x2133 x8343 x5384 x3846 x9464 x3847 x3842 x10745 x10747 x3840 x10752 x9786 x10677 x10678 x5435 1800.29 v x2025 x2029 x10694 x1921 x10378 x1922 x9486 x7463 x7464 x9714 x9715 x9483 x8308 x8222 x8071 x8226 x8072 x8313 x6287 x8316 1800.29 v x6289 x8314 x8075 x6294 x8076 x1637 x6302 x4794 x10279 x10284 x9736 x7820 x8169 x7822 x10287 x8597 x177 x10345 x8600 x4452 1800.29 v x2127 x189 x7509 x2129 x188 x2134 x8345 x5383 x6111 x10748 x5437 x2026 x5440 x2030 x10693 x2034 x2033 x10691 x8069 x8224 1800.29 v x8309 x8228 x8317 x6290 x4791 x4796 x10769 x10280 x8164 x3898 x10288 x8168 x8598 x8601 x8599 x10346 x9974 x10350 x7505 x2130 1800.29 v x7513 x2141 x6107 x7921 x8225 x8229 x4793 x8166 x3900 x10292 x8170 x9436 x3903 x8602 x9976 x9980 x2140 x9982 x7512 x2137 1800.29 v x9432 x8167 x3901 x8171 x9437 x3904 x3902 x9977 x9981 x9985 x9984 x7510 x2135 x9433 x3905 x10771 x10772 x7511 x2136 -x5147 1800.29 v -x4651 -x4504 -x1035 -x879 -x9585 -x5151 -x4508 -x4652 -x3804 -x2193 -x883 -x9586 -x4653 -x3802 -x1039 -x881 -x4656 -x4590 1800.29 v -x4513 -x3803 -x2603 -x1037 -x418 -x4654 -x4589 -x4512 -x2607 -x1038 -x882 -x9992 -x6143 -x4655 -x4591 -x4510 -x886 -x6147 1800.29 v -x4511 -x2201 -x759 -x10458 -x9991 -x6454 -x9995 -x7679 -x760 -x10726 -x10461 -x4597 -x2203 -x10462 -x9996 -x6457 -x4595 1800.29 v -x964 -x10725 -x7009 -x6809 -x5167 -x4596 -x3912 -x1161 -x963 -x681 -x10729 -x6813 -x6458 -x6089 -x5172 -x2083 -x969 -x7008 1800.29 v -x6531 -x6404 -x6088 -x5275 -x5171 -x3915 -x2082 -x680 -x10730 -x6536 -x6408 -x6090 -x5946 -x5276 -x3916 -x2088 -x684 1800.29 v -x7014 -x6535 -x5945 -x5174 -x4131 -x2087 -x974 -x7685 -x7012 -x5175 -x4136 -x973 -x685 -x10357 -x6099 -x5947 -x5178 -x4976 1800.29 v -x4135 -x971 -x7326 -x7013 -x6093 -x5176 -x4980 -x2092 -x972 -x10356 -x8968 -x8775 -x7325 -x7017 -x6642 -x6094 -x5177 1800.29 v -x2090 -x1109 -x10360 -x9764 -x6095 -x4139 -x2091 -x1108 -x9763 -x8967 -x7632 -x6645 -x5952 -x4630 -x4142 -x1828 -x1799 1800.29 v -x10361 -x9769 -x7637 -x6646 -x5953 -x4629 -x4140 -x1803 -x9768 -x8973 -x8721 -x8203 -x7636 -x4631 -x4141 -x558 -x8971 1800.29 v -x8726 -x8207 -x7335 -x4634 -x9774 -x8725 -x7333 -x5850 -x4633 -x3498 -x1116 -x557 -x10159 -x9773 -x8972 -x7334 -x4638 1800.29 v -x3503 -x1114 -x10158 -x9930 -x9771 -x8976 -x7643 -x4637 -x3502 -x1115 -x563 -x9934 -x9772 -x7641 -x4635 -x561 -x9338 1800.29 v -x8732 -x7642 -x4636 -x3505 -x153 -x8730 -x7749 -x3506 -x2767 -x562 -x158 -x9337 -x8918 -x8731 -x4253 -x3509 -x2766 -x2397 1800.29 v -x1400 -x566 -x9341 -x4252 -x3507 -x2703 -x2395 -x10165 -x8921 -x5999 -x4254 -x3508 -x3289 -x2768 -x2396 -x1399 -x10166 1800.29 v -x9342 -x8922 -x4257 -x4087 -x2770 -x1403 -x7723 -x7520 -x4256 -x4086 -x3292 -x164 -x8352 -x7524 -x4261 -x3293 -x2771 1800.29 v -x1404 -x162 -x9018 -x8351 -x7722 -x6621 -x4260 -x4088 -x2773 -x583 -x163 -x7726 -x6602 -x4258 -x2774 -x1844 -x9017 -x8353 1800.29 v -x5081 -x4259 -x1843 -x582 -x9358 -x9021 -x7727 -x5079 -x1378 -x9357 -x4093 -x588 -x506 -x9022 -x5080 -x4094 -x1850 -x586 1800.29 v -x511 -x8358 -x5084 -x1699 -x1091 -x510 -x8359 -x6329 -x3595 -x1090 -x587 -x10233 -x9859 -x7875 -x6328 -x3594 -x1698 -x1384 1800.29 v -x1092 -x591 -x9367 -x7880 -x6687 -x3596 -x1852 -x1702 -x1382 -x10232 -x9365 -x7879 -x6686 -x5309 -x4321 -x3114 -x1383 1800.29 v -x517 -x10236 -x9366 -x6692 -x4320 -x1703 -x515 -x5308 -x4322 -x3605 -x3117 -x1098 -x516 -x10237 -x7883 -x5312 -x4325 1800.29 v -x3599 -x3118 -x1096 -x7886 -x4393 -x4324 -x3600 -x1574 -x1097 -x459 -x7884 -x5313 -x4397 -x4369 -x4329 -x3601 -x464 -x8893 1800.29 v -x7885 -x4368 -x4328 -x2041 -x1573 -x245 -x4326 -x2045 -x1577 -x8892 -x6553 -x5101 -x4327 -x5105 -x1578 -x467 -x8294 -x470 1800.29 v -x9188 -x8295 -x468 -x8451 -x4375 -x469 -x4376 -x8901 -x5974 -x3690 -x3689 -x2483 -x9197 -x9195 -x6074 -x9196 -x10433 1800.29 v -x5146 -x4648 -x3814 -x878 -x9587 -x5150 -x4650 -x4503 -x3810 -x4649 -x4505 -x3809 -x1044 -x414 -x4657 -x2192 -x9589 -x2602 1800.29 v -x2194 -x887 -x635 -x417 -x9590 -x2606 -x885 -x8526 -x6888 -x6142 -x8530 -x6146 -x5264 -x761 -x10457 -x9993 -x8004 -x5263 1800.29 v -x9997 -x8008 -x4602 -x10463 -x4601 -x1429 -x1157 -x763 -x764 -x10727 -x9999 -x9880 -x7692 -x7004 -x6808 -x3911 -x1160 1800.29 v -x10731 -x10000 -x9884 -x6812 -x5166 -x965 -x10466 -x7010 -x6461 -x6403 -x5168 -x4905 -x3917 -x682 -x6530 -x6462 -x6407 1800.29 v -x5941 -x5173 -x2084 -x686 -x10733 -x6532 -x6102 -x5940 -x5170 -x1898 -x978 -x10734 -x5179 -x4130 -x8771 -x7018 -x6098 1800.29 v -x4975 -x4132 -x3920 -x2097 -x1896 -x688 -x7016 -x4979 -x4137 -x2249 -x689 -x10358 -x8963 -x8774 -x6641 -x6096 -x1824 1800.29 v -x7327 -x5954 -x10109 -x8969 -x7328 -x6647 -x1827 -x1798 -x10113 -x9765 -x7631 -x1802 -x9766 -x8974 -x8202 -x7633 -x7340 1800.29 v -x5846 -x553 -x8720 -x8206 -x7638 -x4632 -x1121 -x9778 -x8722 -x7756 -x6650 -x5849 -x4646 -x1120 -x559 -x10154 -x8727 1800.29 v -x7757 -x4642 -x3497 -x10153 -x9929 -x7752 -x4641 -x3499 -x9933 -x3504 -x7750 -x3501 -x3510 -x2762 -x565 -x152 -x10168 1800.29 v -x9339 -x8917 -x5995 -x2761 -x154 -x10167 -x9343 -x6609 -x5998 -x3288 -x2769 -x1401 -x4255 -x4082 -x2772 -x1405 -x7519 1800.29 v -x6617 -x6605 -x5071 -x4269 -x4081 -x2776 -x8347 -x7523 -x4265 -x2775 -x8926 -x8346 -x7724 -x6620 -x6603 -x4264 -x1407 1800.29 v -x578 -x7728 -x1408 -x9047 -x9019 -x8354 -x8095 -x5082 -x3297 -x584 -x9023 -x4095 -x1845 -x8361 -x7730 -x5085 -x1846 -x8360 1800.29 v -x7731 -x5083 -x505 -x9855 -x9025 -x2841 -x592 -x507 -x9026 -x2845 -x1385 -x590 -x9372 -x1700 -x1454 -x7874 -x6330 -x10234 1800.29 v -x7876 -x6358 -x3608 -x3113 -x2345 -x10238 -x7881 -x6688 -x2349 -x5576 -x5310 -x3604 -x3119 -x1706 -x1102 -x8283 -x5314 1800.29 v -x4323 -x1707 -x10240 -x8282 -x4337 -x3602 -x1649 -x241 -x10241 -x4396 -x4364 -x4333 -x1653 -x458 -x8888 -x5316 -x4363 1800.29 v -x4332 -x3122 -x2040 -x1575 -x244 -x5317 -x2044 -x1579 -x9317 -x8894 -x5100 -x8296 -x5104 -x1581 -x1582 -x8902 -x8450 1800.29 v -x4212 -x8900 -x5973 -x9202 -x8501 -x6070 -x8505 -x2482 -x8459 -x6073 -x1554 -x3693 -x3694 -x10432 -x7615 -x5148 -x3813 1800.29 v -x1047 -x9588 -x5152 -x4647 -x1048 -x9592 -x4665 -x4520 -x3807 -x1043 -x631 -x413 -x9591 -x4661 -x4521 -x751 -x6884 -x5154 1800.29 v -x4660 -x4516 -x3808 -x2604 -x2578 -x1041 -x634 -x419 -x9987 -x5155 -x2608 -x2582 -x10453 -x9986 -x8525 -x6887 -x6144 1800.29 v -x4876 -x4603 -x4514 -x8529 -x6449 -x6148 -x4880 -x4605 -x10459 -x8003 -x6448 -x5800 -x2610 -x1425 -x422 -x10721 -x8007 1800.29 v -x5265 -x2611 -x765 -x10720 -x10002 -x7691 -x6150 -x4599 -x3907 -x3787 -x1428 -x1156 -x10001 -x7690 -x6151 -x676 -x10467 1800.29 v -x9879 -x6810 -x4901 -x4600 -x3913 -x1901 -x1162 -x675 -x10465 -x9883 -x6814 -x6463 -x1900 -x10736 -x6405 -x6101 -x4904 1800.29 v -x4545 -x4162 -x3918 -x981 -x10735 -x6409 -x6100 -x5169 -x4549 -x982 -x687 -x7687 -x6816 -x5244 -x5187 -x3921 -x2100 -x1165 1800.29 v -x977 -x10352 -x7019 -x6817 -x6533 -x5248 -x5183 -x3919 -x690 -x10351 -x8770 -x7983 -x6637 -x6411 -x5182 -x4977 -x2096 1800.29 v -x1897 -x975 -x6547 -x6412 -x2248 -x10359 -x8776 -x6643 -x6546 -x6097 -x5825 -x2094 -x1823 -x8962 -x10108 -x8964 -x7343 1800.29 v -x6648 -x5395 -x4983 -x4146 -x1829 -x1800 -x10112 -x8970 -x7344 -x4984 -x1804 -x9781 -x8779 -x8204 -x7755 -x7339 -x6651 1800.29 v -x5845 -x4643 -x8208 -x7754 -x7634 -x6649 -x4645 -x552 -x9777 -x7337 -x5851 -x1832 -x1806 -x1118 -x554 -x8723 -x1807 -x560 1800.29 v -x9931 -x9775 -x7647 -x4639 -x2403 -x1119 -x10155 -x9935 -x8737 -x3500 -x2405 -x8913 -x8736 -x7751 -x7084 -x5854 -x4640 1800.29 v -x3518 -x7088 -x3514 -x1395 -x9937 -x8919 -x6608 -x5994 -x3513 -x3284 -x2399 -x1394 -x1136 -x9938 -x6607 -x2763 -x6000 1800.29 v -x4266 -x3290 -x2764 -x2400 -x1402 -x173 -x83 -x7718 -x4268 -x2765 -x1406 -x169 -x87 -x8927 -x7717 -x7521 -x6616 -x2780 1800.29 v -x2718 -x993 -x168 -x9013 -x8925 -x7525 -x5070 -x4083 -x1409 -x9012 -x6622 -x6604 -x6003 -x5072 -x4262 -x3298 -x2713 -x8348 1800.29 v -x7729 -x3296 -x577 -x9046 -x9020 -x8349 -x8094 -x7733 -x7527 -x4263 -x4100 -x579 -x9024 -x7732 -x7528 -x5086 -x585 -x9028 1800.29 v -x8365 -x6625 -x3268 -x1861 -x9027 -x1862 -x593 -x9854 -x9375 -x2840 -x1857 -x1450 -x10228 -x2844 -x10227 -x9371 -x6354 1800.29 v -x3607 -x3109 -x1855 -x1453 -x1104 -x526 -x5304 -x3606 -x1106 -x9369 -x6357 -x6346 -x5572 -x5303 -x3115 -x2344 -x521 -x2348 1800.29 v -x1708 -x10243 -x9863 -x6704 -x6342 -x5575 -x5311 -x4334 -x2941 -x1100 -x10242 -x5315 -x4336 -x2945 -x1569 -x8555 -x7890 1800.29 v -x7306 -x6700 -x6340 -x3603 -x3123 -x1648 -x1568 -x1101 -x8284 -x7310 -x4398 -x3121 -x1652 -x9313 -x6698 -x6168 -x4330 1800.29 v -x2042 -x246 -x8887 -x6172 -x4365 -x2046 -x1580 -x9316 -x8889 -x5102 -x4400 -x4331 -x1584 -x5106 -x4401 -x1583 -x475 -x8446 1800.29 v -x6909 -x4382 -x4208 -x2048 -x474 -x249 -x8903 -x6913 -x2049 -x10258 -x8452 -x5108 -x4955 -x4211 -x10262 -x5109 -x6562 1800.29 v -x5975 -x9201 -x8500 -x6563 -x1550 -x8504 -x8458 -x9199 -x6075 -x5978 -x3696 -x1553 -x3695 -x7113 -x3821 -x3825 -x10434 1800.29 v -x8604 -x7614 -x5149 -x4662 -x4519 -x3811 -x1045 -x409 -x5153 -x4664 -x4518 -x2598 -x6801 -x5157 -x2597 -x630 -x415 -x6138 1800.29 v -x5156 -x10440 -x6883 -x6137 -x4658 -x2605 -x2577 -x2210 -x2108 -x1042 -x891 -x636 -x10441 -x4604 -x2609 -x2581 -x2112 1800.29 v -x8527 -x6889 -x6795 -x5796 -x4875 -x4659 -x4515 -x2613 -x423 -x10452 -x9988 -x8531 -x6149 -x4879 -x2612 -x421 -x10454 1800.29 v -x9989 -x8005 -x5799 -x3783 -x1424 -x1152 -x735 -x639 -x10460 -x8009 -x6450 -x6152 -x8533 -x6892 -x6451 -x6122 -x5285 1800.29 v -x3786 -x2207 -x1430 -x1158 -x10722 -x8534 -x6399 -x3906 -x9881 -x8011 -x6398 -x5281 -x4900 -x4158 -x3908 -x1163 -x980 1800.29 v -x9885 -x8012 -x3914 -x979 -x677 -x6819 -x6406 -x5279 -x5184 -x4906 -x4544 -x4161 -x4111 -x2099 -x1433 -x1166 -x678 -x6818 1800.29 v -x6410 -x5186 -x4971 -x4548 -x4115 -x3922 -x2098 -x1164 -x9887 -x8766 -x7979 -x6548 -x6414 -x5243 -x4970 -x9888 -x6550 1800.29 v -x6413 -x5247 -x8772 -x7982 -x7022 -x5821 -x5180 -x4909 -x4148 -x1819 -x976 -x10353 -x6636 -x4150 -x2250 -x8993 -x8777 1800.29 v -x7342 -x6638 -x6544 -x5958 -x5824 -x5391 -x5181 -x2095 -x1825 -x8997 -x8198 -x7341 -x4985 -x10371 -x10110 -x9780 -x8780 1800.29 v -x8197 -x6545 -x5956 -x5841 -x5394 -x4144 -x2252 -x1830 -x10114 -x9779 -x8965 -x8778 -x4644 -x2253 -x1805 -x8986 -x8205 1800.29 v -x7649 -x5847 -x4145 -x1833 -x9925 -x7651 -x1831 -x1808 -x10116 -x9924 -x9242 -x8738 -x7338 -x10117 -x8740 -x2404 -x9776 1800.29 v -x7645 -x5855 -x3515 -x5853 -x3517 -x572 -x10175 -x8734 -x7646 -x7083 -x5990 -x1132 -x571 -x9939 -x8912 -x10171 -x8914 1800.29 v -x8735 -x5996 -x3511 -x1135 -x170 -x7515 -x4267 -x3283 -x1396 -x172 -x10169 -x7514 -x7135 -x6612 -x6001 -x3512 -x3285 1800.29 v -x2783 -x2715 -x989 -x82 -x8928 -x2784 -x2717 -x86 -x9905 -x7522 -x6618 -x6004 -x3858 -x2779 -x1414 -x992 -x166 -x9909 1800.29 v -x7719 -x7526 -x6002 -x6623 -x4103 -x2777 -x2711 -x167 -x9014 -x7529 -x4104 -x9048 -x9015 -x8368 -x8096 -x6626 -x4099 1800.29 v -x3264 -x2712 -x1860 -x9016 -x6624 -x5090 -x1859 -x580 -x9850 -x9374 -x9032 -x8364 -x6511 -x5089 -x4097 -x3267 -x9373 1800.29 v -x6515 -x597 -x9856 -x9051 -x8362 -x8102 -x2842 -x596 -x523 -x8 -x8103 -x2846 -x1105 -x525 -x12 -x6353 -x6345 -x1856 -x1455 1800.29 v -x10229 -x6344 -x3108 -x10230 -x9864 -x9370 -x6703 -x6359 -x5571 -x3110 -x2848 -x2346 -x519 -x9862 -x6702 -x5305 -x4388 1800.29 v -x4335 -x2849 -x2350 -x8551 -x5577 -x5306 -x4387 -x2940 -x1458 -x520 -x236 -x3124 -x2944 -x2036 -x8554 -x7888 -x7305 -x6362 1800.29 v -x6341 -x2352 -x2035 -x1650 -x7309 -x5096 -x2353 -x1654 -x1570 -x9312 -x8304 -x7889 -x6699 -x6167 -x5580 -x5095 -x4403 1800.29 v -x476 -x6171 -x4402 -x478 -x9318 -x2816 -x2051 -x1656 -x1588 -x250 -x6567 -x5107 -x2820 -x2050 -x1657 -x248 -x8911 -x6908 1800.29 v -x4951 -x4381 -x4207 -x472 -x8907 -x6912 -x5110 -x10257 -x9321 -x9204 -x8906 -x5026 -x4954 -x4379 -x4213 -x473 -x10261 1800.29 v -x9203 -x5030 -x6065 -x8502 -x5979 -x4216 -x1549 -x8506 -x5977 -x9200 -x7109 -x6076 -x5701 -x2493 -x1555 -x8850 -x8508 1800.29 v -x7112 -x6503 -x3820 -x8509 -x6078 -x3824 -x9599 -x6800 -x5145 -x4663 -x3812 -x1046 -x893 -x626 -x6799 -x895 -x408 -x6879 1800.29 v -x632 -x410 -x10442 -x8521 -x2211 -x8520 -x7620 -x6885 -x2579 -x2107 -x889 -x637 -x7999 -x6139 -x2583 -x2111 -x7998 -x7206 1800.29 v -x6890 -x6796 -x5795 -x4877 -x1420 -x890 -x773 -x731 -x640 -x7210 -x4881 -x774 -x638 -x10009 -x6893 -x6118 -x5801 -x5284 1800.29 v -x3782 -x2585 -x1426 -x769 -x734 -x10455 -x9875 -x8535 -x6891 -x5283 -x2586 -x1151 -x10476 -x10005 -x9874 -x6471 -x6121 1800.29 v -x4896 -x4883 -x3788 -x1153 -x767 -x8013 -x4884 -x1159 -x10471 -x10003 -x9882 -x6467 -x5804 -x4902 -x4157 -x1434 -x9886 1800.29 v -x6400 -x5185 -x3909 -x1432 -x1167 -x10739 -x9890 -x7024 -x6465 -x6401 -x5280 -x4546 -x4163 -x4110 -x3791 -x698 -x9889 1800.29 v -x7026 -x6549 -x6402 -x4550 -x4114 -x10737 -x7978 -x6418 -x5245 -x4910 -x4041 -x3925 -x8765 -x5249 -x4972 -x4908 -x4149 1800.29 v -x8767 -x7984 -x7020 -x5820 -x5551 -x4552 -x4166 -x692 -x10104 -x8773 -x4553 -x2251 -x1818 -x10374 -x8992 -x8769 -x7021 1800.29 v -x5826 -x5390 -x5251 -x4990 -x3143 -x1820 -x8996 -x8781 -x5252 -x2254 -x1826 -x10370 -x10111 -x8983 -x7987 -x5957 -x5396 1800.29 v -x10115 -x8985 -x8199 -x7650 -x5840 -x1834 -x10368 -x10119 -x9238 -x5842 -x5829 -x1813 -x10118 -x8739 -x5848 -x9241 -x8979 1800.29 v -x2270 -x573 -x9926 -x3516 -x2274 -x10174 -x8980 -x7599 -x3962 -x10173 -x7085 -x1131 -x569 -x5989 -x171 -x9355 -x5991 1800.29 v -x2782 -x2438 -x1137 -x570 -x9356 -x5997 -x2781 -x2716 -x2442 -x10170 -x7134 -x7091 -x3854 -x1417 -x988 -x84 -x7516 -x7092 1800.29 v -x6611 -x6005 -x1418 -x88 -x10299 -x9904 -x9349 -x9038 -x6613 -x4102 -x3857 -x1413 -x1140 -x994 -x10303 -x9908 -x8090 1800.29 v -x6619 -x4101 -x3303 -x10021 -x8367 -x8089 -x7740 -x7534 -x5091 -x3302 -x2778 -x1411 -x8366 -x6627 -x5093 -x9035 -x7260 1800.29 v -x3263 -x997 -x598 -x9036 -x2836 -x600 -x9052 -x9031 -x6510 -x5087 -x4098 -x3269 -x2835 -x1445 -x9849 -x9050 -x8104 -x6514 1800.29 v -x524 -x9851 -x9029 -x8363 -x6349 -x5088 -x3193 -x2843 -x594 -x7 -x9857 -x2847 -x2340 -x11 -x6355 -x5567 -x4930 -x3272 1800.29 v -x2339 -x1716 -x1456 -x595 -x7893 -x2850 -x10250 -x5573 -x5223 -x1459 -x10251 -x3111 -x1644 -x1457 -x8550 -x6363 -x5578 1800.29 v -x5326 -x3132 -x2942 -x1710 -x1643 -x6361 -x4389 -x2946 -x2354 -x235 -x10244 -x10063 -x9308 -x8556 -x8303 -x7307 -x6020 1800.29 v -x5581 -x1651 -x237 -x8302 -x7311 -x6024 -x5579 -x2037 -x1655 -x477 -x9314 -x8680 -x6169 -x4407 -x4384 -x2948 -x1659 -x1591 1800.29 v -x6173 -x5097 -x4383 -x2949 -x1658 -x8908 -x8559 -x7313 -x5098 -x2815 -x2055 -x1587 -x8910 -x7314 -x2819 -x9322 -x6910 1800.29 v -x6175 -x4950 -x4209 -x1585 -x9320 -x6914 -x6176 -x10259 -x8904 -x5025 -x4956 -x4380 -x10263 -x8496 -x5029 -x8905 -x8495 1800.29 v -x6916 -x4217 -x1545 -x1186 -x6917 -x6064 -x4215 -x10265 -x6066 -x5697 -x4959 -x2895 -x1551 -x10266 -x8507 -x2745 -x2494 1800.29 v -x8846 -x7108 -x6502 -x5700 -x2744 -x1556 -x8510 -x6501 -x8849 -x7114 -x3822 -x3697 -x1558 -x9597 -x5164 -x894 -x5165 1800.29 v -x2573 -x625 -x7621 -x5160 -x2572 -x627 -x7619 -x6878 -x4871 -x633 -x8609 -x6880 -x5791 -x5158 -x4870 -x2620 -x2109 -x772 1800.29 v -x629 -x8522 -x2621 -x2584 -x2113 -x771 -x641 -x10008 -x8124 -x7205 -x6160 -x5797 -x3778 -x2616 -x2588 -x730 -x427 -x10007 1800.29 v -x8000 -x7209 -x4882 -x2587 -x1419 -x10473 -x6470 -x6156 -x6117 -x4886 -x3784 -x2614 -x2115 -x1421 -x736 -x10475 -x6469 1800.29 v -x4885 -x2116 -x8018 -x6154 -x6123 -x5805 -x4153 -x3789 -x768 -x9876 -x5803 -x4895 -x4540 -x1154 -x10469 -x10004 -x9877 1800.29 v -x6826 -x4897 -x4539 -x4159 -x3927 -x739 -x697 -x9878 -x7025 -x6827 -x5239 -x3929 -x3790 -x696 -x10470 -x9894 -x7974 -x7768 1800.29 v -x6466 -x6421 -x6126 -x5238 -x4164 -x4112 -x4037 -x1170 -x6422 -x4911 -x4116 -x10738 -x7980 -x6820 -x6417 -x5816 -x5547 1800.29 v -x4167 -x4040 -x3923 -x4554 -x4165 -x10373 -x7985 -x6415 -x5822 -x5550 -x5386 -x4993 -x4118 -x3924 -x3139 -x693 -x10372 1800.29 v -x8768 -x5253 -x4994 -x4119 -x8994 -x8789 -x7988 -x6657 -x5392 -x4989 -x3142 -x2259 -x8998 -x8984 -x8785 -x7986 -x6659 1800.29 v -x8784 -x5830 -x4987 -x1816 -x5828 -x1817 -x10369 -x10123 -x9237 -x8220 -x1837 -x1812 -x8221 -x5843 -x574 -x9243 -x7595 1800.29 v -x6268 -x5864 -x2269 -x1810 -x6272 -x2273 -x7598 -x5859 -x3961 -x1127 -x9943 -x9354 -x7929 -x7086 -x1133 -x9353 -x7933 1800.29 v -x78 -x9941 -x9408 -x8933 -x7094 -x2437 -x1416 -x984 -x77 -x9412 -x8935 -x7093 -x2441 -x1415 -x7136 -x3970 -x3853 -x3304 1800.29 v -x990 -x3306 -x1139 -x10298 -x10017 -x9906 -x9350 -x7739 -x7537 -x6762 -x6008 -x3859 -x10302 -x9910 -x9037 -x7738 -x7538 1800.29 v -x6766 -x5092 -x9039 -x9034 -x8930 -x7533 -x7256 -x7139 -x3300 -x3259 -x1412 -x998 -x9033 -x8091 -x996 -x599 -x9912 -x8092 1800.29 v -x7531 -x7259 -x5750 -x3862 -x3301 -x3265 -x9913 -x8376 -x6512 -x3579 -x3189 -x8380 -x6516 -x2837 -x1444 -x9030 -x4926 1800.29 v -x3273 -x1715 -x1446 -x9 -x9852 -x6348 -x3271 -x1714 -x13 -x10249 -x6518 -x6350 -x5219 -x4929 -x112 -x10248 -x6519 -x5566 1800.29 v -x2341 -x1460 -x8546 -x5568 -x5325 -x5222 -x3129 -x2342 -x1979 -x15 -x7301 -x5324 -x3131 -x1983 -x16 -x10059 -x8552 -x7300 1800.29 v -x1711 -x6163 -x1645 -x10245 -x10062 -x8676 -x8557 -x6162 -x6019 -x4410 -x3125 -x1646 -x1590 -x9307 -x6023 -x2950 -x1647 1800.29 v -x1589 -x238 -x9309 -x8679 -x8560 -x7316 -x5321 -x4406 -x3126 -x1663 -x9315 -x8909 -x8558 -x7315 -x6904 -x6903 -x6178 1800.29 v -x5118 -x4946 -x4404 -x3168 -x2817 -x2220 -x2054 -x254 -x10253 -x9323 -x6177 -x2821 -x2224 -x10252 -x5114 -x4952 -x2052 1800.29 v -x1586 -x1504 -x6915 -x8466 -x6919 -x5112 -x5027 -x4957 -x2823 -x1182 -x8468 -x6918 -x5031 -x4218 -x2824 -x4960 -x2891 1800.29 v -x2370 -x1185 -x10267 -x8497 -x5984 -x4958 -x2374 -x8462 -x7104 -x5983 -x5696 -x5033 -x2894 -x5034 -x3816 -x1552 -x8845 1800.29 v -x8463 -x7110 -x6087 -x5702 -x3815 -x345 -x8851 -x6082 -x3823 -x3698 -x9598 -x5162 -x2103 -x8610 -x2619 -x1054 -x429 -x8608 1800.29 v -x2618 -x2574 -x628 -x431 -x10444 -x8120 -x6159 -x5159 -x726 -x649 -x6158 -x5790 -x4872 -x645 -x8543 -x8123 -x7207 -x6113 1800.29 v -x5792 -x3432 -x2118 -x732 -x644 -x425 -x10474 -x7211 -x6898 -x3777 -x2117 -x8539 -x8021 -x6897 -x6218 -x6119 -x3779 -x2615 1800.29 v -x426 -x5806 -x1422 -x8537 -x8017 -x7213 -x6825 -x6155 -x3525 -x1443 -x1172 -x740 -x7214 -x6824 -x4152 -x4106 -x3928 -x3529 1800.29 v -x1439 -x1174 -x738 -x9897 -x8405 -x8015 -x7764 -x6420 -x6127 -x4154 -x4105 -x1438 -x9898 -x6419 -x6125 -x4541 -x9893 1800.29 v -x7767 -x4542 -x4036 -x1168 -x7973 -x5240 -x4168 -x4117 -x9891 -x7975 -x6821 -x5546 -x4992 -x4914 -x4121 -x4042 -x1169 1800.29 v -x8988 -x5815 -x4991 -x4120 -x8987 -x8786 -x8630 -x6416 -x5817 -x5552 -x3138 -x2262 -x8788 -x7989 -x6658 -x5823 -x5651 1800.29 v -x5385 -x5387 -x4045 -x3144 -x2258 -x1839 -x1815 -x1674 -x5831 -x1841 -x1814 -x1678 -x9233 -x8782 -x8219 -x5555 -x4988 1800.29 v -x3453 -x2256 -x8218 -x3457 -x10122 -x9500 -x9239 -x8783 -x5861 -x3147 -x1835 -x5863 -x10120 -x9946 -x7594 -x6267 -x3957 1800.29 v -x2271 -x1836 -x1811 -x6271 -x2275 -x8215 -x7600 -x5857 -x3963 -x1126 -x7928 -x7126 -x5858 -x2277 -x1128 -x8934 -x7932 1800.29 v -x2278 -x1134 -x9942 -x9407 -x7603 -x7098 -x3849 -x2439 -x9900 -x9411 -x3969 -x3305 -x2443 -x983 -x79 -x9899 -x8825 -x7536 1800.29 v -x3855 -x985 -x80 -x7535 -x10300 -x10016 -x7140 -x6761 -x6632 -x6006 -x3860 -x2445 -x10304 -x7138 -x6765 -x6634 -x2446 1800.29 v -x7255 -x6007 -x5746 -x5055 -x3863 -x9914 -x9040 -x6506 -x3861 -x3258 -x10306 -x9061 -x8112 -x7532 -x7261 -x6505 -x5749 1800.29 v -x3575 -x3260 -x10307 -x8113 -x3266 -x3 -x10025 -x9056 -x8375 -x6513 -x3578 -x3188 -x2 -x8379 -x9870 -x8106 -x7264 -x4925 1800.29 v -x2858 -x108 -x9872 -x1447 -x14 -x5218 -x4931 -x1468 -x111 -x6351 -x3130 -x1464 -x17 -x6934 -x6372 -x5224 -x3197 -x2362 1800.29 v -x1978 -x1463 -x8545 -x6938 -x5569 -x2363 -x1982 -x10058 -x8547 -x8480 -x6309 -x4934 -x4409 -x2358 -x7302 -x6313 -x4408 1800.29 v -x10064 -x9072 -x8675 -x6021 -x5585 -x5522 -x5227 -x2356 -x2057 -x1666 -x256 -x6164 -x6025 -x5526 -x2811 -x1667 -x258 1800.29 v -x8681 -x5363 -x5117 -x3616 -x3164 -x2810 -x1662 -x5116 -x3620 -x10067 -x6182 -x6027 -x4405 -x3167 -x2219 -x1660 -x1500 1800.29 v -x252 -x6905 -x6028 -x5021 -x4945 -x2223 -x9326 -x8684 -x6906 -x5020 -x4947 -x2826 -x2657 -x2053 -x253 -x10254 -x8467 1800.29 v -x4953 -x2825 -x1728 -x6923 -x5985 -x5113 -x4226 -x1181 -x5987 -x5032 -x5692 -x4726 -x4221 -x2369 -x1187 -x5035 -x2373 1800.29 v -x8947 -x8518 -x6084 -x5981 -x5698 -x2896 -x8519 -x7103 -x6086 -x8847 -x8514 -x5982 -x5703 -x1190 -x3817 -x344 -x8852 1800.29 v -x8512 -x6080 -x5704 -x2759 -x1562 -x5705 -x5163 -x430 -x1206 -x646 -x1210 -x648 -x10445 -x8542 -x8119 -x6899 -x6243 -x3428 1800.29 v -x2595 -x8541 -x6901 -x6247 -x725 -x8125 -x8020 -x4893 -x3431 -x2591 -x727 -x642 -x8019 -x6112 -x5793 -x7216 -x6895 -x6114 1800.29 v -x4889 -x2589 -x1440 -x643 -x7215 -x6120 -x1442 -x1173 -x741 -x9896 -x8538 -x8401 -x8128 -x7834 -x6896 -x5809 -x4887 -x3524 1800.29 v -x9895 -x3528 -x8404 -x8016 -x7763 -x5871 -x4032 -x1436 -x5875 -x4155 -x4107 -x7769 -x6226 -x5542 -x4562 -x4038 -x1437 1800.29 v -x291 -x4563 -x295 -x9892 -x8626 -x5548 -x5261 -x4912 -x4558 -x4171 -x3991 -x3550 -x3134 -x2261 -x8787 -x3554 -x2260 -x8629 1800.29 v -x7997 -x5553 -x4913 -x4556 -x4046 -x3140 -x2004 -x5818 -x5650 -x4044 -x2008 -x1840 -x7992 -x5556 -x5255 -x3145 -x2532 1800.29 v -x1673 -x5554 -x5388 -x1677 -x9496 -x9007 -x6197 -x3452 -x3148 -x2257 -x5862 -x5405 -x3456 -x3146 -x2265 -x10088 -x9499 1800.29 v -x5404 -x2264 -x10121 -x7596 -x6963 -x6269 -x6045 -x6273 -x6049 -x3956 -x7601 -x3958 -x3243 -x3964 -x2433 -x2279 -x7604 1800.29 v -x7101 -x6275 -x2432 -x133 -x7934 -x7602 -x7125 -x6276 -x6011 -x137 -x9409 -x8821 -x7127 -x7097 -x10294 -x9413 -x3848 1800.29 v -x1146 -x10293 -x10012 -x8824 -x7936 -x7095 -x3850 -x1145 -x100 -x9901 -x7937 -x7141 -x6633 -x2447 -x10301 -x10018 -x7251 1800.29 v -x6763 -x5051 -x1007 -x96 -x9416 -x6767 -x3864 -x9058 -x8111 -x7257 -x5745 -x5054 -x1002 -x94 -x10308 -x9060 -x8110 -x7574 1800.29 v -x6769 -x5751 -x3574 -x3184 -x6770 -x6507 -x9054 -x8377 -x8328 -x7265 -x5447 -x4921 -x3580 -x2857 -x9871 -x8381 -x7263 1800.29 v -x5451 -x2856 -x4 -x9055 -x8872 -x8107 -x5754 -x5214 -x4927 -x3277 -x2295 -x1465 -x107 -x2299 -x1467 -x8383 -x7545 -x6369 1800.29 v -x5220 -x3583 -x3198 -x2361 -x113 -x8384 -x7549 -x6371 -x3196 -x2360 -x10054 -x8476 -x6933 -x4935 -x2853 -x2553 -x1980 1800.29 v -x1461 -x6937 -x6015 -x4933 -x2557 -x1984 -x9068 -x8671 -x8479 -x6308 -x6014 -x5228 -x2958 -x1665 -x1462 -x116 -x6312 1800.29 v -x5226 -x2959 -x1664 -x257 -x10065 -x9071 -x8677 -x7323 -x6022 -x5583 -x5521 -x5359 -x2954 -x2357 -x5525 -x1987 -x9959 1800.29 v -x9328 -x8682 -x8564 -x6185 -x5584 -x5362 -x3615 -x3163 -x2952 -x10066 -x9330 -x6029 -x3619 -x2812 -x9217 -x8685 -x6181 1800.29 v -x3169 -x2813 -x2653 -x2221 -x1661 -x1499 -x8683 -x2225 -x9324 -x6926 -x6179 -x4223 -x2656 -x1303 -x1177 -x5986 -x5022 1800.29 v -x4225 -x1727 -x1307 -x10275 -x9325 -x6922 -x4722 -x3172 -x2886 -x2227 -x1183 -x10276 -x2228 -x10271 -x8943 -x8517 -x6920 1800.29 v -x4725 -x4219 -x2371 -x1508 -x1188 -x8516 -x6085 -x5691 -x2375 -x10269 -x8946 -x5693 -x4220 -x1564 -x1191 -x5699 -x1566 1800.29 v -x1189 -x5695 -x3016 -x2758 -x2377 -x5706 -x3020 -x2757 -x2378 -x346 -x8513 -x6081 -x3830 -x1560 -x7629 -x8615 -x647 -x8614 1800.29 v -x8115 -x2594 -x1205 -x6900 -x2593 -x1209 -x8121 -x6242 -x4892 -x3427 -x706 -x4891 -x710 -x6213 -x5811 -x3666 -x3433 -x2121 1800.29 v -x1061 -x5813 -x3670 -x1441 -x1062 -x8129 -x7830 -x3798 -x2590 -x2119 -x8127 -x3800 -x8400 -x7833 -x7759 -x5807 -x4888 1800.29 v -x3436 -x744 -x6132 -x3530 -x8406 -x6227 -x6131 -x5870 -x5808 -x4561 -x4173 -x6225 -x5874 -x4560 -x4175 -x4031 -x5260 1800.29 v -x4128 -x4033 -x3987 -x3532 -x290 -x5541 -x5259 -x3533 -x294 -x10134 -x8625 -x8409 -x7994 -x5543 -x4169 -x4124 -x3990 1800.29 v -x3549 -x10138 -x7996 -x5549 -x3553 -x3133 -x8631 -x5836 -x4557 -x4170 -x4122 -x3135 -x2528 -x2003 -x1353 -x5838 -x3141 1800.29 v -x2007 -x1357 -x7990 -x6193 -x5256 -x3137 -x2531 -x1675 -x3149 -x1679 -x10084 -x9495 -x9006 -x8634 -x7991 -x6196 -x5654 1800.29 v -x3454 -x6263 -x5655 -x3458 -x10087 -x9004 -x6959 -x6262 -x5833 -x5402 -x4066 -x1681 -x2266 -x1682 -x6962 -x6270 -x6044 1800.29 v -x5403 -x3460 -x3239 -x9252 -x7924 -x6274 -x6048 -x3461 -x9504 -x9251 -x7923 -x7100 -x3242 -x7605 -x7099 -x6277 -x3959 1800.29 v -x3980 -x132 -x2434 -x136 -x62 -x9410 -x8820 -x3975 -x1014 -x99 -x9414 -x6757 -x1018 -x98 -x7149 -x7096 -x6756 -x1143 -x1004 1800.29 v -x10295 -x10011 -x1006 -x10296 -x10013 -x9922 -x7144 -x5741 -x5050 -x1144 -x10019 -x9059 -x7250 -x6768 -x9918 -x8829 1800.29 v -x7570 -x7252 -x5747 -x5056 -x4237 -x3867 -x3570 -x1000 -x95 -x8371 -x6771 -x9916 -x8370 -x8324 -x7573 -x3576 -x3279 -x1001 1800.29 v -x3281 -x8868 -x8327 -x6528 -x5755 -x5446 -x5059 -x3581 -x5753 -x5450 -x4920 -x1466 -x8871 -x6524 -x4922 -x4276 -x3584 1800.29 v -x3275 -x2294 -x109 -x8385 -x6370 -x5213 -x4928 -x4280 -x3582 -x2298 -x7544 -x6522 -x5215 -x3276 -x21 -x7548 -x5588 -x4936 1800.29 v -x8475 -x6935 -x2957 -x2552 -x19 -x10053 -x6939 -x2956 -x2556 -x1985 -x115 -x10055 -x9067 -x8566 -x8481 -x7322 -x6433 1800.29 v -x6310 -x200 -x8670 -x8568 -x7321 -x6314 -x6016 -x204 -x9955 -x9073 -x8672 -x6941 -x6863 -x6184 -x5523 -x5358 -x3159 -x9329 1800.29 v -x6942 -x6183 -x5527 -x2215 -x9958 -x9213 -x9172 -x8562 -x8484 -x6316 -x6034 -x5364 -x3617 -x3165 -x2953 -x2214 -x1495 1800.29 v -x6317 -x3621 -x9216 -x9076 -x8563 -x7318 -x6925 -x5529 -x2833 -x2652 -x1501 -x6924 -x5530 -x4224 -x10274 -x6180 -x5367 1800.29 v -x4966 -x3623 -x3173 -x2658 -x2230 -x1302 -x10273 -x3624 -x3171 -x2365 -x2229 -x1729 -x1306 -x1176 -x5043 -x2364 -x2177 1800.29 v -x1509 -x1178 -x5044 -x2885 -x1507 -x8942 -x6921 -x5039 -x4727 -x2887 -x2661 -x1731 -x2376 -x1732 -x1565 -x336 -x10270 1800.29 v -x8948 -x5037 -x4963 -x335 -x5694 -x2379 -x5714 -x4730 -x3829 -x3015 -x5710 -x3828 -x3019 -x347 -x8951 -x8861 -x5709 -x4617 1800.29 v -x1561 -x7627 -x1282 -x9446 -x8612 -x3423 -x2124 -x8114 -x2123 -x1211 -x8613 -x6244 -x3429 -x705 -x8122 -x5812 -x1063 1800.29 v -x709 -x7223 -x3665 -x1213 -x746 -x7224 -x6212 -x3799 -x3669 -x3520 -x1214 -x8396 -x7829 -x6250 -x6214 -x6133 -x3437 -x2120 1800.29 v -x6251 -x6135 -x3435 -x8402 -x7859 -x7835 -x2503 -x742 -x7758 -x4174 -x7760 -x6129 -x5872 -x4127 -x3535 -x743 -x5876 -x4126 1800.29 v -x3534 -x8621 -x8410 -x7838 -x6130 -x3986 -x292 -x8408 -x7995 -x5642 -x10133 -x8627 -x5878 -x5641 -x3992 -x3551 -x10137 1800.29 v -x5879 -x5837 -x5544 -x3555 -x1669 -x9009 -x8632 -x4123 -x4050 -x2527 -x2005 -x1668 -x1352 -x320 -x298 -x5561 -x3448 -x3136 1800.29 v -x2009 -x1356 -x299 -x9491 -x8635 -x6192 -x5560 -x4851 -x3995 -x3557 -x3447 -x3157 -x2533 -x1676 -x8633 -x5656 -x4855 1800.29 v -x3558 -x3153 -x1680 -x10083 -x9497 -x9143 -x6198 -x4062 -x3152 -x2011 -x9147 -x2012 -x1683 -x10089 -x9253 -x9005 -x6958 1800.29 v -x4065 -x2536 -x9255 -x8580 -x6264 -x6964 -x6201 -x6046 -x3314 -x3238 -x2287 -x1529 -x9503 -x6050 -x2288 -x10092 -x9249 1800.29 v -x3977 -x3244 -x2283 -x7925 -x3979 -x1148 -x9250 -x7926 -x7608 -x6967 -x6052 -x2281 -x134 -x6053 -x138 -x61 -x8822 -x7231 1800.29 v -x7146 -x3973 -x3247 -x2455 -x1013 -x7235 -x7148 -x1017 -x1005 -x9921 -x5046 -x3974 -x3869 -x140 -x9920 -x6758 -x3871 1800.29 v -x141 -x10316 -x8830 -x7142 -x5052 -x4233 -x8828 -x5740 -x10312 -x7569 -x7143 -x5742 -x5057 -x3865 -x1753 -x3569 -x3280 1800.29 v -x10310 -x10030 -x9917 -x8323 -x6527 -x5060 -x3866 -x3571 -x806 -x8372 -x7270 -x6526 -x5058 -x3577 -x810 -x8867 -x8329 1800.29 v -x7269 -x5448 -x3573 -x24 -x5452 -x3585 -x23 -x8873 -x7578 -x4275 -x2296 -x6929 -x4279 -x3203 -x2300 -x110 -x8471 -x8332 1800.29 v -x7546 -x6928 -x6523 -x5454 -x3202 -x1774 -x7550 -x6304 -x5455 -x4940 -x1778 -x10603 -x9063 -x8876 -x8477 -x6429 -x6303 1800.29 v -x5237 -x4939 -x2554 -x2302 -x20 -x10607 -x8567 -x6940 -x5517 -x2558 -x2303 -x9069 -x8482 -x7552 -x6859 -x6432 -x5516 1800.29 v -x5354 -x5334 -x5232 -x199 -x7553 -x6943 -x5338 -x3611 -x203 -x9954 -x9168 -x9074 -x8485 -x8263 -x6862 -x6319 -x6037 -x5360 1800.29 v -x3610 -x3218 -x2560 -x8483 -x8267 -x6318 -x5528 -x3158 -x2561 -x10072 -x9960 -x9212 -x9171 -x9077 -x6033 -x5365 -x3160 1800.29 v -x3093 -x2832 -x2648 -x9075 -x5531 -x2831 -x2216 -x1719 -x1494 -x9218 -x8689 -x6031 -x5368 -x3626 -x2654 -x1496 -x5366 1800.29 v -x4967 -x3625 -x3174 -x9963 -x5042 -x4717 -x2659 -x2234 -x2173 -x1304 -x5041 -x1730 -x1308 -x9221 -x8938 -x2828 -x2176 1800.29 v -x2660 -x2366 -x1179 -x8944 -x1479 -x1310 -x1311 -x9263 -x8949 -x5711 -x5038 -x4731 -x1195 -x9267 -x5713 -x4729 -x337 1800.29 v -x8952 -x8858 -x4613 -x3405 -x2904 -x8950 -x8860 -x3409 -x3021 -x5707 -x4616 -x9442 -x8616 -x7628 -x1074 -x6238 -x9445 1800.29 v -x6237 -x3422 -x7222 -x6245 -x3424 -x707 -x7221 -x1215 -x747 -x711 -x7825 -x3667 -x6134 -x3671 -x8133 -x7855 -x713 -x8395 1800.29 v -x6215 -x5866 -x714 -x8397 -x7858 -x7218 -x5865 -x5601 -x3673 -x2502 -x8403 -x3674 -x286 -x7839 -x6231 -x3982 -x3539 -x285 1800.29 v -x7837 -x7761 -x3545 -x7782 -x6576 -x4052 -x3988 -x3544 -x8620 -x6580 -x5880 -x4054 -x1999 -x10135 -x8622 -x7777 -x5562 1800.29 v -x2523 -x1998 -x316 -x301 -x10139 -x5643 -x5564 -x300 -x6188 -x4187 -x4048 -x3996 -x3560 -x3154 -x2529 -x2006 -x1354 -x319 1800.29 v -x3994 -x3559 -x3156 -x1670 -x1358 -x10141 -x10079 -x6194 -x5661 -x5558 -x4850 -x4049 -x10142 -x9490 -x4854 -x3449 -x2013 1800.29 v -x10085 -x9142 -x6954 -x6199 -x5559 -x4061 -x3450 -x3150 -x2537 -x1688 -x1360 -x9254 -x9146 -x6040 -x2535 -x1361 -x10090 1800.29 v -x6960 -x6202 -x6039 -x4067 -x3467 -x3234 -x3151 -x2286 -x1525 -x8579 -x6200 -x2285 -x10093 -x6285 -x6047 -x3313 -x3240 1800.29 v -x3043 -x1528 -x10091 -x6286 -x6051 -x3978 -x128 -x9565 -x6968 -x6055 -x4070 -x3245 -x127 -x6966 -x6054 -x7946 -x7606 1800.29 v -x6279 -x3248 -x2454 -x2282 -x135 -x7947 -x7147 -x3246 -x2453 -x63 -x9425 -x7607 -x7230 -x6988 -x1015 -x7234 -x3870 -x1019 1800.29 v -x142 -x10315 -x65 -x10314 -x5045 -x66 -x10032 -x9419 -x6779 -x5047 -x4232 -x1021 -x10034 -x5053 -x1022 -x8319 -x7571 1800.29 v -x7271 -x6775 -x2152 -x7273 -x5442 -x10311 -x10028 -x8863 -x8325 -x6773 -x5441 -x805 -x3572 -x2290 -x809 -x10029 -x8869 1800.29 v -x8393 -x7579 -x7267 -x5759 -x4241 -x3593 -x3204 -x2289 -x7577 -x7540 -x3589 -x3206 -x8389 -x8333 -x7539 -x7268 -x5457 1800.29 v -x4941 -x4277 -x3588 -x1603 -x8331 -x5456 -x4943 -x4281 -x2548 -x8387 -x5234 -x3200 -x2547 -x2305 -x1773 -x364 -x126 -x8470 1800.29 v -x7551 -x5236 -x2304 -x1777 -x368 -x122 -x10602 -x8472 -x6428 -x4937 -x4283 -x3201 -x1996 -x121 -x10606 -x9062 -x8478 1800.29 v -x7554 -x6305 -x4284 -x10074 -x9950 -x9656 -x9064 -x6948 -x6858 -x6434 -x6036 -x5333 -x5230 -x4938 -x3214 -x1992 -x201 1800.29 v -x10076 -x6035 -x5518 -x5353 -x5337 -x2562 -x205 -x9956 -x9208 -x9167 -x8691 -x8262 -x6864 -x5355 -x5231 -x3217 -x3089 1800.29 v -x1990 -x1929 -x8693 -x8266 -x3612 -x1933 -x10070 -x9214 -x9173 -x6437 -x4697 -x3613 -x3092 -x207 -x4701 -x2647 -x1298 1800.29 v -x208 -x10071 -x9964 -x9219 -x8687 -x6032 -x5896 -x3630 -x2649 -x2237 -x1297 -x9962 -x5900 -x3178 -x2655 -x9222 -x9176 1800.29 v -x8688 -x3177 -x2233 -x2172 -x1518 -x9220 -x4716 -x1309 -x4718 -x2231 -x2178 -x1513 -x1475 -x1313 -x8937 -x1312 -x8939 1800.29 v -x7663 -x2906 -x2387 -x8945 -x5712 -x3011 -x9262 -x3010 -x2181 -x1193 -x9266 -x8859 -x4612 -x3404 -x2902 -x1194 -x3408 1800.29 v -x6483 -x5708 -x4618 -x4528 -x2903 -x8854 -x7118 -x9441 -x8617 -x2063 -x1073 -x2067 -x701 -x9447 -x8750 -x700 -x6239 -x3661 1800.29 v -x8135 -x6737 -x1285 -x1067 -x708 -x8137 -x3425 -x1286 -x9450 -x6257 -x3668 -x1065 -x7824 -x715 -x8131 -x7854 -x7826 -x7351 1800.29 v -x6233 -x3441 -x2498 -x7355 -x6235 -x3675 -x8132 -x5600 -x2504 -x266 -x5867 -x270 -x7779 -x6229 -x3538 -x660 -x10129 -x7781 1800.29 v -x4053 -x3981 -x287 -x10208 -x10128 -x8414 -x6575 -x6230 -x3983 -x3536 -x1260 -x288 -x10212 -x6579 -x5563 -x3546 -x1348 1800.29 v -x7775 -x5497 -x4183 -x3547 -x1347 -x315 -x305 -x8623 -x5501 -x3155 -x2522 -x2000 -x7776 -x5664 -x4186 -x2524 -x2001 -x1355 1800.29 v -x321 -x10143 -x6187 -x2530 -x1359 -x8639 -x6189 -x5660 -x4852 -x4057 -x1691 -x10078 -x6195 -x4856 -x1362 -x10080 -x9144 1800.29 v -x5658 -x5622 -x4063 -x3470 -x1687 -x324 -x10086 -x9148 -x6953 -x6203 -x5626 -x10082 -x6955 -x6284 -x4858 -x4463 -x3466 1800.29 v -x3039 -x1685 -x1524 -x10094 -x8581 -x6961 -x6283 -x4859 -x3233 -x9561 -x9509 -x9150 -x4071 -x3464 -x3315 -x3235 -x3042 1800.29 v -x2795 -x1530 -x9151 -x6969 -x4069 -x3241 -x53 -x9564 -x7945 -x6059 -x52 -x7944 -x3249 -x1009 -x129 -x10705 -x9424 -x6984 1800.29 v -x6280 -x3321 -x1533 -x1008 -x9423 -x3322 -x8149 -x7232 -x6987 -x1016 -x68 -x7236 -x67 -x8839 -x6778 -x6379 -x4228 -x1024 1800.29 v -x10033 -x8835 -x6777 -x6383 -x1023 -x9420 -x8834 -x4234 -x2148 -x1332 -x7272 -x7239 -x5761 -x5069 -x2151 -x8318 -x7572 1800.29 v -x5763 -x8392 -x8320 -x6774 -x5064 -x3590 -x807 -x8862 -x8391 -x5443 -x4271 -x3592 -x3205 -x811 -x5757 -x5444 -x4270 -x1757 1800.29 v -x1599 -x8870 -x4942 -x2291 -x9097 -x5758 -x5461 -x3586 -x1602 -x813 -x123 -x7541 -x5235 -x4282 -x814 -x125 -x8388 -x7542 1800.29 v -x6424 -x3587 -x1995 -x1775 -x363 -x4285 -x2549 -x1994 -x1779 -x367 -x195 -x10604 -x9652 -x7038 -x6854 -x6430 -x194 -x119 1800.29 v -x10608 -x10075 -x9655 -x9163 -x8494 -x6947 -x6860 -x6326 -x5725 -x5335 -x3213 -x1781 -x120 -x9949 -x9065 -x8692 -x5339 1800.29 v -x1782 -x10610 -x9951 -x9169 -x8489 -x8264 -x6945 -x6438 -x6322 -x5539 -x3219 -x3088 -x1991 -x1928 -x10611 -x9207 -x8268 1800.29 v -x6436 -x5540 -x1932 -x209 -x9209 -x9174 -x9081 -x6320 -x5535 -x5341 -x4696 -x3633 -x3179 -x3094 -x2236 -x1231 -x932 -x9215 1800.29 v -x5342 -x4700 -x3634 -x3181 -x2235 -x1235 -x9177 -x8270 -x5895 -x5533 -x5372 -x3629 -x3222 -x2168 -x1515 -x9175 -x8271 1800.29 v -x5899 -x1517 -x1299 -x3627 -x3175 -x3097 -x2174 -x1198 -x7659 -x3176 -x2666 -x2386 -x2232 -x1511 -x1474 -x2907 -x2385 1800.29 v -x10660 -x7662 -x4740 -x2182 -x1512 -x2180 -x9264 -x4735 -x4608 -x3758 -x2995 -x355 -x9268 -x3762 -x3012 -x8956 -x6479 1800.29 v -x4614 -x3406 -x1483 -x608 -x3410 -x612 -x9270 -x6482 -x4527 -x9271 -x8855 -x9443 -x8746 -x2062 -x1075 -x1070 -x3737 -x2066 1800.29 v -x8749 -x7702 -x1223 -x8136 -x702 -x9451 -x6736 -x3443 -x1219 -x1079 -x33 -x9449 -x3445 -x37 -x6256 -x5001 -x4676 -x1217 1800.29 v -x1066 -x720 -x6234 -x5005 -x7856 -x7350 -x7281 -x6254 -x3680 -x3439 -x7354 -x7285 -x2497 -x8416 -x5602 -x3440 -x2499 1800.29 v -x656 -x265 -x8418 -x7844 -x7780 -x269 -x7843 -x1256 -x659 -x10207 -x8412 -x6577 -x5605 -x3537 -x1259 -x311 -x308 -x10211 1800.29 v -x10130 -x6581 -x309 -x10483 -x8641 -x8413 -x5663 -x5496 -x4182 -x4005 -x3567 -x317 -x304 -x10487 -x8643 -x5662 -x5500 1800.29 v -x4846 -x4001 -x6583 -x4845 -x4188 -x4000 -x3563 -x2021 -x1690 -x302 -x9138 -x6584 -x1689 -x9137 -x8637 -x3561 -x3469 1800.29 v -x2017 -x325 -x8571 -x4056 -x3468 -x323 -x9511 -x8638 -x8570 -x5659 -x5621 -x4861 -x4459 -x4191 -x4058 -x2015 -x1520 -x10081 1800.29 v -x9513 -x5625 -x4860 -x4064 -x3309 -x10102 -x9834 -x6206 -x4462 -x3308 -x3038 -x2791 -x1686 -x1526 -x10098 -x9152 -x6956 1800.29 v -x10097 -x9560 -x9507 -x7417 -x6062 -x3465 -x3044 -x2794 -x2467 -x1531 -x7421 -x6063 -x3236 -x10701 -x9566 -x9508 -x6058 1800.29 v -x3324 -x3257 -x1534 -x831 -x7226 -x3323 -x1532 -x835 -x8145 -x7225 -x6983 -x6056 -x3252 -x3047 -x150 -x1010 -x9569 -x8836 1800.29 v -x8148 -x6989 -x6671 -x146 -x72 -x8838 -x6378 -x1744 -x144 -x6382 -x4227 -x8832 -x6992 -x5066 -x4229 -x3339 -x2147 -x1331 1800.29 v -x5762 -x5068 -x3343 -x801 -x8833 -x7954 -x2153 -x800 -x7958 -x3591 -x5062 -x2920 -x1758 -x808 -x5676 -x1756 -x812 -x9093 1800.29 v -x8342 -x5464 -x5063 -x2156 -x1598 -x5465 -x1769 -x815 -x124 -x9096 -x8337 -x7181 -x5460 -x1768 -x1604 -x10598 -x8882 1800.29 v -x10597 -x8881 -x7562 -x7034 -x6950 -x5458 -x2308 -x365 -x7563 -x6423 -x5329 -x369 -x9651 -x8491 -x7558 -x7059 -x7037 1800.29 v -x6425 -x6325 -x5721 -x5328 -x3209 -x2570 -x2306 -x1607 -x8493 -x8258 -x7063 -x6853 -x6431 -x6324 -x1783 -x196 -x9657 1800.29 v -x9083 -x8257 -x7556 -x6855 -x5724 -x5538 -x5336 -x3215 -x3084 -x2566 -x537 -x371 -x10612 -x9162 -x9085 -x5537 -x5340 1800.29 v -x372 -x9164 -x8487 -x8265 -x6946 -x5374 -x3632 -x3364 -x3220 -x3090 -x2564 -x1930 -x928 -x8269 -x5376 -x5343 -x3631 -x3368 1800.29 v -x3180 -x1934 -x9660 -x9079 -x8488 -x8273 -x6321 -x4698 -x4305 -x3223 -x3095 -x1230 -x931 -x9178 -x8272 -x4702 -x3221 1800.29 v -x1516 -x1234 -x9968 -x9231 -x9080 -x5925 -x5897 -x5534 -x5370 -x3478 -x3098 -x1936 -x5901 -x3482 -x3096 -x2167 -x1937 1800.29 v -x9226 -x5371 -x4704 -x3628 -x2169 -x1320 -x4705 -x10656 -x7658 -x5903 -x4737 -x2664 -x1958 -x1476 -x9258 -x5904 -x4739 1800.29 v -x2417 -x10659 -x9257 -x7664 -x2991 -x2665 -x3400 -x4733 -x3757 -x3399 -x2994 -x1484 -x4607 -x1482 -x8954 -x7667 -x6478 1800.29 v -x4803 -x4734 -x4609 -x3031 -x607 -x9272 -x4807 -x3411 -x611 -x10042 -x8955 -x4529 -x3412 -x3027 -x10046 -x3413 -x9439 1800.29 v -x8745 -x7698 -x2064 -x1222 -x948 -x3736 -x2068 -x1221 -x8751 -x7701 -x6259 -x1080 -x6258 -x3444 -x1078 -x9805 -x4672 1800.29 v -x2070 -x723 -x32 -x9809 -x2071 -x724 -x36 -x8754 -x5592 -x5000 -x4675 -x1218 -x719 -x5004 -x7845 -x7352 -x6744 -x6255 1800.29 v -x3679 -x717 -x8417 -x7847 -x7356 -x7284 -x6745 -x5603 -x4488 -x3677 -x655 -x267 -x6571 -x2500 -x271 -x10508 -x7841 -x7358 1800.29 v -x6570 -x5606 -x3715 -x1255 -x661 -x307 -x10512 -x7359 -x5604 -x306 -x10209 -x7842 -x4178 -x4002 -x3566 -x2516 -x1261 1800.29 v -x273 -x10213 -x8642 -x4004 -x3565 -x310 -x274 -x10482 -x10151 -x5498 -x4184 -x2020 -x664 -x312 -x10486 -x10152 -x6585 1800.29 v -x5502 -x2019 -x10147 -x3998 -x1370 -x1264 -x303 -x4847 -x1371 -x10145 -x5504 -x4348 -x4192 -x3999 -x3562 -x1366 -x9512 1800.29 v -x9139 -x5505 -x4190 -x10099 -x9830 -x9140 -x5623 -x4458 -x3034 -x2016 -x1364 -x10101 -x8572 -x5627 -x1519 -x10562 -x9833 1800.29 v -x9556 -x6974 -x6204 -x6061 -x4464 -x4080 -x3040 -x2790 -x2463 -x1521 -x6976 -x6060 -x3310 -x10095 -x9562 -x8651 -x8590 1800.29 v -x7416 -x6716 -x6205 -x5629 -x4075 -x3254 -x2796 -x2466 -x8655 -x7420 -x5630 -x3256 -x1535 -x10700 -x10096 -x9567 -x6979 1800.29 v -x4467 -x3048 -x830 -x149 -x3046 -x834 -x148 -x9570 -x9118 -x8144 -x6985 -x6057 -x5198 -x3250 -x2799 -x75 -x9568 -x9122 1800.29 v -x8837 -x7227 -x8150 -x7228 -x6670 -x3251 -x1031 -x71 -x10709 -x6993 -x6380 -x1027 -x145 -x69 -x6991 -x6384 -x5067 -x8153 1800.29 v -x3338 -x2149 -x1333 -x1025 -x860 -x3342 -x7953 -x7585 -x6386 -x2916 -x2154 -x7957 -x6387 -x1759 -x802 -x8339 -x5463 -x4246 1800.29 v -x2919 -x2157 -x1594 -x1336 -x803 -x8341 -x5675 -x5462 -x2155 -x9092 -x8883 -x1600 -x8885 -x359 -x9098 -x8430 -x8335 -x7561 1800.29 v -x7180 -x4293 -x1605 -x358 -x7560 -x5420 -x1770 -x9647 -x8879 -x8336 -x7033 -x5459 -x4289 -x2569 -x1608 -x10599 -x8492 1800.29 v -x2568 -x1606 -x9653 -x9101 -x8880 -x7058 -x7039 -x5720 -x4287 -x2307 -x1788 -x533 -x9084 -x7062 -x5330 -x3208 -x1924 1800.29 v -x373 -x10617 -x7557 -x5726 -x3210 -x1923 -x781 -x536 -x217 -x8259 -x6443 -x5375 -x4692 -x3216 -x3083 -x785 -x9970 -x9661 1800.29 v -x8260 -x7042 -x6442 -x5348 -x4691 -x4301 -x3212 -x3085 -x2565 -x927 -x213 -x9972 -x9659 -x9165 -x8261 -x5891 -x3367 -x3224 1800.29 v -x9228 -x8277 -x6872 -x5921 -x5890 -x5729 -x4304 -x1939 -x1232 -x933 -x211 -x9230 -x3099 -x2669 -x1938 -x1236 -x9966 -x9181 1800.29 v -x4707 -x3477 -x1319 -x4706 -x3481 -x1318 -x9967 -x9224 -x7654 -x5906 -x1954 -x1238 -x936 -x5905 -x4738 -x2170 -x1239 1800.29 v -x10655 -x9225 -x7660 -x2191 -x1957 -x2416 -x2187 -x1477 -x10661 -x10187 -x7665 -x2990 -x2186 -x9259 -x6474 -x3759 -x3030 1800.29 v -x2996 -x4523 -x3401 -x3029 -x10664 -x9277 -x6480 -x5130 -x4802 -x609 -x4806 -x613 -x10041 -x3765 -x3417 -x3025 -x2999 1800.29 v -x228 -x10045 -x3766 -x8747 -x7697 -x5288 -x1295 -x947 -x6732 -x5292 -x3738 -x1296 -x1081 -x8752 -x7703 -x7156 -x6731 1800.29 v -x1291 -x722 -x2072 -x721 -x10533 -x9804 -x9455 -x8755 -x4671 -x3740 -x3682 -x1289 -x34 -x10537 -x9808 -x8753 -x7346 -x3741 1800.29 v -x3681 -x7706 -x7345 -x6747 -x5002 -x4677 -x7846 -x6746 -x5591 -x5006 -x261 -x5593 -x4484 -x718 -x651 -x260 -x40 -x7286 1800.29 v -x41 -x7873 -x7483 -x5008 -x4680 -x4487 -x3711 -x3678 -x2518 -x1251 -x657 -x10203 -x7869 -x7487 -x7360 -x5607 -x5009 -x2520 1800.29 v -x10507 -x10202 -x7868 -x7288 -x3714 -x2320 -x1257 -x490 -x10511 -x7289 -x5492 -x4003 -x2324 -x275 -x10210 -x10150 -x5491 1800.29 v -x2514 -x1262 -x665 -x10149 -x4177 -x663 -x10484 -x4179 -x2515 -x1369 -x1265 -x10488 -x4185 -x2544 -x1368 -x1263 -x7376 1800.29 v -x4344 -x334 -x7380 -x5617 -x5506 -x4193 -x330 -x10490 -x10146 -x5616 -x4454 -x4347 -x329 -x10491 -x10100 -x10558 -x9829 1800.29 v -x9160 -x5624 -x4460 -x4077 -x2786 -x1365 -x6975 -x5628 -x4079 -x3033 -x10561 -x9156 -x8593 -x6712 -x4465 -x3035 -x2792 1800.29 v -x2462 -x9555 -x5631 -x3255 -x10696 -x9557 -x9154 -x8650 -x8589 -x7418 -x6715 -x4468 -x4073 -x3331 -x2729 -x2468 -x8654 1800.29 v -x7422 -x4466 -x3049 -x1539 -x10702 -x9838 -x8587 -x8140 -x5194 -x4074 -x3327 -x2800 -x1538 -x832 -x74 -x9571 -x6978 -x2798 1800.29 v -x836 -x73 -x9117 -x7424 -x6980 -x5197 -x3325 -x2471 -x1030 -x9121 -x7425 -x6986 -x6374 -x1029 -x10710 -x7248 -x6672 -x6373 1800.29 v -x3937 -x1323 -x10708 -x3941 -x839 -x7244 -x6381 -x907 -x856 -x70 -x8152 -x6385 -x7242 -x6675 -x6389 -x4248 -x3340 -x2966 1800.29 v -x1026 -x859 -x7586 -x6388 -x4250 -x3344 -x2970 -x9288 -x7955 -x2915 -x1337 -x8340 -x7959 -x1335 -x9088 -x4244 -x3346 1800.29 v -x2921 -x823 -x8884 -x5677 -x3347 -x1593 -x9094 -x8426 -x7961 -x7906 -x4292 -x4245 -x1595 -x819 -x7962 -x4291 -x1601 -x9099 1800.29 v -x8429 -x7182 -x7029 -x5679 -x3645 -x2924 -x817 -x5680 -x5419 -x360 -x9102 -x7035 -x1791 -x9646 -x9100 -x10620 -x9648 1800.29 v -x7188 -x7060 -x6444 -x5722 -x4288 -x1787 -x216 -x7189 -x7064 -x6446 -x215 -x10616 -x7043 -x6874 -x5351 -x1785 -x923 -x780 1800.29 v -x538 -x389 -x9971 -x7041 -x6876 -x3211 -x1925 -x1226 -x784 -x393 -x10614 -x8280 -x7066 -x6440 -x5730 -x5347 -x4300 -x3232 1800.29 v -x1225 -x929 -x9229 -x8281 -x7067 -x5728 -x4693 -x3369 -x3228 -x8276 -x6870 -x6441 -x5920 -x5345 -x4694 -x4306 -x3227 1800.29 v -x1943 -x1233 -x541 -x212 -x5892 -x9179 -x8274 -x6871 -x4711 -x3479 -x3371 -x3102 -x2632 -x937 -x3483 -x3372 -x1240 -x935 1800.29 v -x10651 -x9180 -x5910 -x4309 -x2188 -x1953 -x7653 -x2190 -x10657 -x7655 -x5929 -x4422 -x3485 -x2986 -x1959 -x7661 -x3753 1800.29 v -x3486 -x10662 -x10186 -x3752 -x2992 -x2184 -x603 -x10665 -x9280 -x5126 -x3760 -x2997 -x2420 -x2185 -x1962 -x1488 -x602 1800.29 v -x10663 -x8182 -x6473 -x2421 -x9276 -x6475 -x5129 -x4804 -x4625 -x3420 -x3000 -x224 -x4808 -x4627 -x3767 -x3421 -x2998 1800.29 v -x10043 -x9274 -x3416 -x3392 -x3026 -x227 -x10047 -x4623 -x9457 -x8743 -x7699 -x2061 -x1293 -x1089 -x9459 -x8748 -x5291 1800.29 v -x3739 -x28 -x7704 -x7155 -x4667 -x2077 -x1084 -x27 -x6733 -x4996 -x10532 -x9806 -x9453 -x7707 -x4995 -x4673 -x1290 -x955 1800.29 v -x10536 -x9810 -x7705 -x7276 -x956 -x9454 -x7275 -x5003 -x4678 -x4016 -x43 -x7347 -x5007 -x42 -x9812 -x7870 -x7164 -x4681 1800.29 v -x4483 -x9813 -x7872 -x5010 -x4679 -x2519 -x650 -x262 -x7482 -x4489 -x3710 -x652 -x486 -x263 -x7486 -x7290 -x1250 -x10509 1800.29 v -x7866 -x5610 -x2319 -x1252 -x489 -x10513 -x10478 -x10204 -x2323 -x666 -x10477 -x10324 -x7867 -x4574 -x4492 -x5493 -x1266 1800.29 v -x10515 -x10485 -x6589 -x3719 -x331 -x10516 -x10489 -x333 -x10493 -x6587 -x5511 -x4343 -x4201 -x10492 -x4197 -x9159 -x7793 1800.29 v -x4349 -x4196 -x327 -x9158 -x5618 -x4453 -x4078 -x10557 -x9831 -x8592 -x4455 -x2458 -x328 -x8591 -x7412 -x2785 -x10563 1800.29 v -x7411 -x6711 -x4863 -x4747 -x4352 -x3330 -x2787 -x2725 -x2464 -x1540 -x4751 -x3329 -x3036 -x1542 -x826 -x9839 -x9744 1800.29 v -x9155 -x8652 -x7419 -x6717 -x2728 -x825 -x10695 -x9837 -x9748 -x8656 -x7423 -x2801 -x10697 -x10566 -x8588 -x7427 -x6834 1800.29 v -x6662 -x5193 -x2472 -x1536 -x9575 -x8139 -x7426 -x6838 -x2470 -x9574 -x9119 -x8658 -x8141 -x7247 -x6720 -x5199 -x3326 1800.29 v -x1537 -x10711 -x9123 -x8659 -x7246 -x6981 -x6673 -x3936 -x3879 -x903 -x6375 -x3940 -x3883 -x1322 -x9125 -x6997 -x6676 1800.29 v -x6376 -x5202 -x1324 -x906 -x855 -x9126 -x7949 -x6674 -x6377 -x4249 -x7948 -x7243 -x6393 -x2965 -x2911 -x2678 -x1764 -x861 1800.29 v -x5667 -x2969 -x2682 -x1766 -x9287 -x5666 -x3068 -x2917 -x822 -x3348 -x2162 -x821 -x7902 -x2922 -x2161 -x1760 -x864 -x9087 1800.29 v -x7963 -x7176 -x5678 -x9089 -x8425 -x7905 -x7175 -x3641 -x2925 -x1761 -x5681 -x2923 -x1596 -x9296 -x8431 -x7183 -x3644 1800.29 v -x1790 -x818 -x9103 -x7054 -x7028 -x1789 -x1613 -x10619 -x7191 -x7053 -x7030 -x1612 -x528 -x10618 -x7190 -x7036 -x6445 1800.29 v -x8434 -x7061 -x5423 -x5350 -x377 -x7065 -x6875 -x5723 -x5424 -x5349 -x3359 -x9383 -x8279 -x7069 -x4296 -x3358 -x3229 1800.29 v -x1786 -x782 -x388 -x375 -x9666 -x9387 -x8278 -x7068 -x3231 -x922 -x786 -x392 -x10615 -x10411 -x9665 -x5916 -x4302 -x1946 1800.29 v -x924 -x542 -x10415 -x3473 -x3370 -x1227 -x930 -x540 -x5922 -x5346 -x4714 -x4307 -x3472 -x3374 -x3225 -x2628 -x1942 -x1228 1800.29 v -x788 -x3373 -x789 -x8275 -x7446 -x5913 -x4710 -x4310 -x3480 -x3226 -x3100 -x1949 -x1940 -x4308 -x2408 -x2189 -x5930 -x5909 1800.29 v -x4708 -x4418 -x3488 -x3101 -x1955 -x10650 -x5928 -x3487 -x10652 -x5907 -x4421 -x1490 -x10658 -x2985 -x1492 -x10654 -x10188 1800.29 v -x9279 -x2987 -x1963 -x10666 -x9278 -x7673 -x4798 -x2422 -x1961 -x9540 -x7672 -x5125 -x4797 -x3419 -x1486 -x10037 -x9544 1800.29 v -x8181 -x4626 -x3418 -x604 -x10191 -x10036 -x5131 -x3772 -x3388 -x1487 -x223 -x6476 -x10044 -x9275 -x4537 -x3414 -x3391 1800.29 v -x229 -x6490 -x4621 -x4538 -x9458 -x7695 -x7151 -x2080 -x1294 -x1088 -x9800 -x8742 -x7700 -x5293 -x9799 -x7696 -x7157 1800.29 v -x2076 -x1082 -x7708 -x4666 -x29 -x10534 -x8759 -x6754 -x5295 -x4668 -x4012 -x2074 -x1083 -x10538 -x6755 -x5296 -x4997 1800.29 v -x4674 -x9815 -x7165 -x4998 -x4479 -x4015 -x9814 -x7871 -x7277 -x7163 -x10540 -x8238 -x7368 -x7278 -x5612 -x3706 -x10541 1800.29 v -x10503 -x8242 -x5614 -x10502 -x7484 -x7364 -x3712 -x283 -x7488 -x7362 -x6592 -x5608 -x4570 -x4493 -x2321 -x491 -x279 1800.29 v -x10514 -x4491 -x2325 -x1253 -x10323 -x10225 -x7490 -x5609 -x4573 -x3720 -x669 -x277 -x10517 -x10479 -x7491 -x3718 -x1270 1800.29 v -x332 -x10221 -x5514 -x4339 -x4198 -x2327 -x1269 -x494 -x5515 -x4200 -x2328 -x10219 -x7789 -x6588 -x5510 -x4345 -x10553 1800.29 v -x7792 -x5508 -x4350 -x4194 -x6707 -x5639 -x4353 -x4195 -x8646 -x7384 -x5640 -x4351 -x2457 -x1541 -x8645 -x6713 -x5635 1800.29 v -x4477 -x3054 -x2724 -x2459 -x9840 -x7413 -x4750 -x3056 -x10567 -x9743 -x9576 -x7414 -x5633 -x5189 -x4472 -x2809 -x2730 1800.29 v -x10565 -x9747 -x9578 -x9113 -x7415 -x2473 -x827 -x9112 -x7431 -x6833 -x6721 -x5195 -x2804 -x8660 -x6837 -x6719 -x6661 1800.29 v -x10719 -x9572 -x6999 -x6663 -x5200 -x2733 -x10715 -x9124 -x7001 -x10714 -x9573 -x8163 -x5203 -x3938 -x3878 -x902 -x851 1800.29 v -x9127 -x5201 -x3942 -x3882 -x6995 -x6396 -x908 -x857 -x6397 -x1765 -x6996 -x6392 -x3944 -x3064 -x2967 -x2677 -x2163 -x862 1800.29 v -x7950 -x3945 -x2971 -x2910 -x2681 -x9289 -x6390 -x3067 -x2912 -x1341 -x911 -x865 -x863 -x8421 -x7968 -x7901 -x2973 -x2159 1800.29 v -x5411 -x2974 -x8427 -x5410 -x3640 -x2160 -x1614 -x7177 -x1616 -x9111 -x7178 -x3646 -x9107 -x9106 -x8435 -x7195 -x5426 1800.29 v -x1610 -x8433 -x7055 -x5425 -x776 -x527 -x9667 -x7056 -x1611 -x775 -x529 -x9669 -x7057 -x3230 -x7073 -x7047 -x1945 -x783 1800.29 v -x390 -x376 -x9386 -x4295 -x3360 -x1944 -x543 -x394 -x10410 -x9663 -x4713 -x4297 -x791 -x10414 -x5915 -x4712 -x4303 -x925 1800.29 v -x790 -x9664 -x7442 -x5917 -x5912 -x2627 -x1248 -x946 -x396 -x5911 -x3474 -x942 -x397 -x7445 -x1941 -x1244 -x941 -x1948 1800.29 v -x10178 -x4709 -x4417 -x1950 -x1242 -x1491 -x8705 -x7674 -x5908 -x4423 -x2636 -x10653 -x7676 -x1964 -x10674 -x5121 -x10670 1800.29 v -x10669 -x10192 -x7670 -x5127 -x4426 -x3775 -x220 -x10190 -x9543 -x4799 -x7671 -x6491 -x4800 -x4536 -x3771 -x3387 -x3004 1800.29 v -x623 -x10038 -x6493 -x4535 -x10039 -x5133 -x3769 -x3415 -x3393 -x619 -x6489 -x5134 -x4622 -x8761 -x2078 -x1086 -x10528 1800.29 v -x8763 -x7694 -x7150 -x10527 -x7716 -x7152 -x6753 -x9801 -x7712 -x7158 -x6752 -x8757 -x7711 -x4011 -x3744 -x2075 -x50 1800.29 v -x10539 -x51 -x10543 -x8758 -x7367 -x5018 -x4690 -x46 -x10542 -x7478 -x7366 -x5613 -x4478 -x7477 -x7298 -x5014 -x4685 1800.29 v -x4480 -x481 -x282 -x44 -x8241 -x7299 -x3705 -x2315 -x281 -x7294 -x5012 -x4020 -x3707 -x2314 -x671 -x10504 -x7489 -x673 1800.29 v -x10505 -x10224 -x7493 -x7363 -x7292 -x4569 -x1271 -x10223 -x7492 -x1273 -x10325 -x5513 -x4575 -x667 -x495 -x278 -x5512 1800.29 v -x4199 -x2329 -x493 -x1267 -x668 -x4338 -x10220 -x7788 -x4578 -x4340 -x1268 -x4346 -x10494 -x7794 -x5638 -x5509 -x10552 1800.29 v -x5637 -x4354 -x10554 -x4474 -x2720 -x6706 -x4476 -x3055 -x7797 -x6708 -x2806 -x2726 -x9577 -x8647 -x4752 -x2808 -x2460 1800.29 v -x9843 -x9745 -x7434 -x5634 -x4470 -x2731 -x9749 -x7435 -x5188 -x2477 -x10716 -x7430 -x6835 -x5190 -x4471 -x2802 -x2734 1800.29 v -x2476 -x848 -x10718 -x9114 -x7000 -x6839 -x5196 -x3932 -x2732 -x9751 -x8160 -x7428 -x3931 -x2803 -x898 -x9752 -x8162 1800.29 v -x6664 -x10712 -x6841 -x6395 -x3939 -x3880 -x904 -x6842 -x6681 -x6394 -x3884 -x2961 -x850 -x10713 -x8156 -x6680 -x5775 1800.29 v -x2960 -x1343 -x852 -x2164 -x1345 -x8157 -x3886 -x3356 -x3063 -x2679 -x912 -x3887 -x3357 -x2683 -x910 -x7971 -x6391 -x3352 1800.29 v -x3069 -x1339 -x2975 -x2913 -x7967 -x7903 -x5689 -x3636 -x3350 -x1340 -x8420 -x2686 -x1615 -x9108 -x8422 -x7965 -x5685 1800.29 v -x3072 -x2929 -x9110 -x8428 -x5412 -x5683 -x5413 -x4830 -x3647 -x8436 -x9104 -x7194 -x7049 -x5430 -x9668 -x7051 -x384 1800.29 v -x9105 -x7192 -x7076 -x383 -x7077 -x777 -x7072 -x7045 -x778 -x391 -x9388 -x547 -x10412 -x7070 -x7046 -x3381 -x2623 -x1247 1800.29 v -x943 -x546 -x10416 -x3382 -x1246 -x945 -x398 -x9390 -x7441 -x4319 -x2629 -x9391 -x10586 -x10418 -x7447 -x4413 -x4314 1800.29 v -x3495 -x939 -x10419 -x8701 -x5934 -x3491 -x1243 -x940 -x7675 -x1951 -x10671 -x7450 -x4424 -x3489 -x1972 -x10673 -x8173 1800.29 v -x8172 -x4427 -x3774 -x3006 -x1967 -x10193 -x5120 -x4425 -x3773 -x3008 -x10667 -x5122 -x622 -x6492 -x621 -x219 -x10668 1800.29 v -x4818 -x3389 -x3002 -x221 -x5135 -x10051 -x9547 -x4814 -x3770 -x3003 -x617 -x9548 -x6487 -x8762 -x7713 -x2079 -x1087 1800.29 v -x7715 -x49 -x10529 -x48 -x9822 -x7709 -x5017 -x4687 -x4013 -x3745 -x5016 -x4689 -x10547 -x9818 -x7710 -x7297 -x2866 -x1869 1800.29 v -x7296 -x2870 -x9816 -x4683 -x45 -x8243 -x7479 -x4019 -x672 -x8800 -x7480 -x5013 -x4684 -x4565 -x10319 -x3708 -x2316 -x1272 1800.29 v -x10318 -x7497 -x7293 -x4772 -x4571 -x4497 -x3729 -x2317 -x8246 -x496 -x10521 -x10499 -x3724 -x2334 -x10498 -x10519 -x9677 1800.29 v -x7784 -x4579 -x9681 -x4577 -x7790 -x10495 -x7795 -x4742 -x4475 -x4741 -x4357 -x10555 -x9739 -x2807 -x2719 -x10576 -x7433 1800.29 v -x2721 -x2478 -x7432 -x6829 -x2727 -x2480 -x9841 -x9746 -x8668 -x6828 -x2723 -x847 -x10717 -x9750 -x8669 -x2735 -x846 1800.29 v -x9842 -x8664 -x6725 -x2474 -x9753 -x8161 -x3874 -x8662 -x7429 -x6682 -x5212 -x3873 -x2475 -x6843 -x6684 -x5208 -x897 1800.29 v -x5771 -x5207 -x3881 -x899 -x3885 -x2673 -x1344 -x905 -x6678 -x5774 -x3951 -x3889 -x3355 -x3059 -x3888 -x3354 -x2962 -x9607 1800.29 v -x7970 -x6679 -x3065 -x2963 -x9611 -x7969 -x2684 -x5688 -x3070 -x2980 -x2931 -x869 -x5687 -x2933 -x3351 -x3073 -x9109 1800.29 v -x3071 -x9301 -x7966 -x2927 -x8423 -x5684 -x5433 -x4829 -x2928 -x8440 -x7050 -x5434 -x8439 -x7075 -x5429 -x9378 -x7074 1800.29 v -x9377 -x7193 -x5427 -x10406 -x385 -x10405 -x3380 -x798 -x386 -x9389 -x3379 -x944 -x7437 -x7071 -x4316 -x794 -x544 -x403 1800.29 v -x4318 -x2622 -x7443 -x5936 -x3494 -x2624 -x792 -x545 -x10420 -x5938 -x3493 -x10585 -x4312 -x8700 -x5932 -x4313 -x2429 1800.29 v -x1969 -x10672 -x7449 -x2428 -x1971 -x5933 -x3490 -x9536 -x4428 -x3007 -x9535 -x1965 -x8174 -x8709 -x8175 -x4817 -x1966 1800.29 v -x5123 -x4816 -x10050 -x9550 -x10049 -x9549 -x3390 -x5138 -x4812 -x618 -x6488 -x7714 -x9821 -x7171 -x9820 -x7173 -x4688 1800.29 v -x10550 -x8233 -x4014 -x10546 -x8232 -x1868 -x2869 -x10544 -x9817 -x8796 -x8244 -x10524 -x8799 -x7500 -x3726 -x7501 -x4564 1800.29 v -x3728 -x7496 -x4771 -x4566 -x4495 -x2337 -x1877 -x10320 -x500 -x7494 -x4496 -x3722 -x2333 -x499 -x4580 -x10520 -x9676 1800.29 v -x7400 -x3723 -x2331 -x9680 -x7783 -x7785 -x4780 -x4359 -x7791 -x4361 -x10573 -x4355 -x10575 -x2479 -x8667 -x6727 -x4356 1800.29 v -x8666 -x6729 -x2722 -x9631 -x2743 -x6830 -x2739 -x9758 -x9134 -x6831 -x6723 -x5209 -x2738 -x6683 -x5211 -x9471 -x8663 1800.29 v -x6848 -x6724 -x9475 -x3875 -x5770 -x5205 -x900 -x5776 -x5206 -x3950 -x921 -x871 -x917 -x873 -x9606 -x3948 -x2983 -x916 1800.29 v -x9610 -x2984 -x2932 -x9303 -x5779 -x5472 -x2979 -x867 -x9305 -x5476 -x2977 -x868 -x9299 -x7920 -x5432 -x7916 -x5431 -x9300 1800.29 v -x7915 -x4831 -x3659 -x3655 -x8437 -x3654 -x8438 -x5428 -x4834 -x797 -x796 -x10407 -x4317 -x402 -x7436 -x5937 -x10425 1800.29 v -x7438 -x793 -x400 -x7444 -x8696 -x1970 -x2641 -x10590 -x8710 -x8708 -x5140 -x5142 -x10195 -x231 -x5136 -x4813 -x7172 1800.29 v -x10549 -x10548 -x3833 -x1864 -x1870 -x8234 -x2871 -x10545 -x8795 -x8235 -x7499 -x7498 -x3727 -x10394 -x8801 -x4767 -x2873 1800.29 v -x2336 -x501 -x2874 -x2335 -x503 -x8804 -x7495 -x497 -x4584 -x9678 -x4781 -x4583 -x2332 -x498 -x9682 -x4779 -x4360 -x7786 1800.29 v -x9684 -x1909 -x10574 -x9685 -x7388 -x6728 -x2740 -x2742 -x10639 -x9761 -x10643 -x9762 -x5210 -x9757 -x6851 -x2736 -x6852 1800.29 v -x9755 -x6847 -x5766 -x3953 -x2737 -x3952 -x6845 -x5772 -x3896 -x918 -x920 -x872 -x2982 -x2981 -x5780 -x3949 -x3890 -x2695 1800.29 v -x914 -x9304 -x8058 -x5778 -x915 -x5475 -x7917 -x4821 -x2978 -x1624 -x8442 -x7919 -x1628 -x3656 -x3658 -x7913 -x4832 -x7914 1800.29 v -x3652 -x9520 -x3653 -x9723 -x9727 -x10428 -x7813 -x10424 -x2643 -x401 -x2645 -x10422 -x8695 -x10591 -x2639 -x10589 -x2640 1800.29 v -x5141 -x4430 -x183 -x232 -x5137 -x2861 -x8791 -x10754 -x8797 -x4023 -x2875 -x502 -x10393 -x8802 -x8251 -x4024 -x4766 1800.29 v -x10340 -x8805 -x8249 -x4768 -x10339 -x9672 -x8803 -x9671 -x7396 -x10680 -x4581 -x10684 -x9683 -x9687 -x7804 -x4582 -x9686 1800.29 v -x10382 -x2741 -x9760 -x7801 -x9759 -x6850 -x10642 -x6849 -x9756 -x9638 -x3895 -x9639 -x5765 -x3894 -x919 -x6846 -x5767 1800.29 v -x9602 -x9711 -x9478 -x2694 -x9479 -x5781 -x2693 -x3891 -x3079 -x8057 -x7918 -x5477 -x1623 -x4820 -x3657 -x1627 -x8078 1800.29 v -x5479 -x4822 -x3076 -x8082 -x5480 -x9519 -x447 -x10427 -x9722 -x10426 -x9726 -x7812 -x2644 -x9528 -x10423 -x10592 -x10625 1800.29 v -x7454 -x4438 -x4442 -x4028 -x10750 -x8254 -x3836 -x8790 -x3837 -x10753 -x8792 -x2880 -x8798 -x1882 -x8806 -x8250 -x4769 1800.29 v -x10401 -x10402 -x9673 -x10679 -x9796 -x9674 -x10683 -x7805 -x9627 -x9626 -x1917 -x9699 -x10644 -x9466 -x9465 -x9640 1800.29 v -x10646 -x10647 -x9480 -x5768 -x5467 -x3080 -x5466 -x9621 -x8311 -x5478 -x8061 -x1625 -x8062 -x5481 -x1629 -x8077 -x8081 1800.29 v -x4823 -x4844 -x1631 -x1632 -x9516 -x7809 -x9728 -x10282 -x9529 -x9527 -x7458 -x4437 -x4441 -x7507 -x3839 -x5379 -x3838 1800.29 v -x6109 -x1884 -x10390 -x2879 -x8793 -x2877 -x1880 -x8809 -x1881 -x9694 -x2024 -x10685 -x9695 -x1905 -x9690 -x1904 -x10687 1800.29 v -x9688 -x10688 -x10645 -x10386 -x10649 -x10648 -x5786 -x8049 -x8048 -x7474 -x5782 -x5468 -x1619 -x9620 -x8310 -x5783 1800.29 v -x1618 -x9618 -x1630 -x8079 -x4841 -x1634 -x8083 -x4843 -x1633 -x8047 -x4837 -x9515 -x4838 -x10278 -x9530 -x10281 -x8717 1800.29 v -x8596 -x175 -x10630 -x10631 -x10348 -x4445 -x4446 -x8344 -x10746 -x6105 -x1885 -x6108 -x8811 -x8813 -x2878 -x8807 -x10676 1800.29 v -x9693 -x8808 -x9692 -x5436 -x2023 -x10686 -x5439 -x10689 -x10377 -x9689 -x7462 -x9644 -x9642 -x5787 -x9623 -x8223 -x8227 1800.29 v -x5489 -x8074 -x5490 -x9619 -x5485 -x4842 -x8315 -x8080 -x5483 -x8084 -x8044 -x456 -x8046 -x450 -x8041 -x10283 -x10286 1800.29 v -x10765 -x174 -x4448 -x2128 -x10347 -x4447 -x10766 -x6104 -x6110 -x8812 -x7408 -x5438 -x2031 -x2032 -x9487 -x9643 -x10767 1800.29 v -x9697 -x5488 -x5487 -x8067 -x8065 -x1641 -x1642 -x5484 -x4792 -x455 -x8045 -x454 -x1635 -x451 -x9531 -x8165 -x3899 -x9734 1800.29 v -x9532 -x9435 -x10285 -x7503 -x9975 -x7502 -x193 -x10349 -x9979 -x3845 -x3844 -x6106 -x5381 -x3841 -x1920 -x1919 -x7922 1800.29 v -x9696 -x8070 -x1640 -x1639 -x8230 -x8066 -x8231 -x1636 -x10768 -x7821 -x9431 -x9735 -x9434 -x10770 -x190 -x192 -x4451 1800.29 v -x9978 -x7504 -x4449 -x186 -x187 -x5382 -x10692 -x9430 -x10291 -x191 -x4450 -x2138 -x9983 -x9429 -x10289 -x10290 -x2139 1800.29 v -x9428 -x9427 1800.30 c Somebody sent me a SIGTERM 1800.30 smodels: no process killed 1800.31 pbsmodels.trans: no process killed
OK 183
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/node57/watcher-34454-1154048964 -o ROOT/results/node57/solver-34454-1154048964 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user4/pbsmodels_solver-v1.28/runpbsmodels ROOT/tmp/node57/34454-1154048964/instance-34454-1154048964.opb 421654086 ROOT/tmp/node57/34454-1154048964 Current StackSize limit: 67108864 bytes /proc/loadavg: 1.00 1.00 1.00 3/64 8624 /proc/meminfo: memFree=740668/2055920 swapFree=4183068/4192956 [pid=8624] ppid=8622 vsize=5360 CPUtime=0 /proc/8624/stat : 8624 (runpbsmodels) S 8622 8624 8575 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 151766751 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 246004900676 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/8624/statm: 1340 234 195 169 0 51 0 [pid=8625] ppid=8624 vsize=2504 CPUtime=0 /proc/8625/stat : 8625 (pbsmodels-v1.28) R 8624 8624 8575 0 -1 4194304 41 0 0 0 0 0 0 0 20 0 1 0 151766752 2564096 23 18446744073709551615 4194304 4206940 548682068992 18446744073709551615 246002284681 0 0 4096 0 0 0 0 17 1 0 0 /proc/8625/statm: 626 26 19 3 0 5 0 [startup+10.0027 s] /proc/loadavg: 1.00 1.00 1.00 2/68 8629 /proc/meminfo: memFree=733732/2055920 swapFree=4183068/4192956 [pid=8624] ppid=8622 vsize=5360 CPUtime=0 /proc/8624/stat : 8624 (runpbsmodels) S 8622 8624 8575 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 151766751 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 246004900676 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/8624/statm: 1340 234 195 169 0 51 0 [pid=8625] ppid=8624 vsize=12268 CPUtime=0 /proc/8625/stat : 8625 (pbsmodels-v1.28) S 8624 8624 8575 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 151766752 12562432 383 18446744073709551615 4194304 4206940 548682068992 18446744073709551615 246013804436 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0 /proc/8625/statm: 3067 383 293 3 0 167 0 [pid=8626] ppid=8625 vsize=5356 CPUtime=2.03 /proc/8626/stat : 8626 (sh) S 8625 8624 8575 0 -1 4194304 311 1308 0 0 0 0 203 0 16 0 1 0 151766753 5484544 227 18446744073709551615 4194304 4889804 548682069024 18446744073709551615 246004900676 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/8626/statm: 1339 227 188 169 0 50 0 [pid=8628] ppid=8626 vsize=7896 CPUtime=8.54 /proc/8628/stat : 8628 (smodels) R 8626 8624 8575 0 -1 4194304 1629 0 0 0 854 0 0 0 25 0 1 0 151766754 8085504 1593 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134521079 0 0 4096 0 0 0 0 17 1 0 0 /proc/8628/statm: 1974 1593 210 20 0 1411 0 [pid=8629] ppid=8626 vsize=12268 CPUtime=0 /proc/8629/stat : 8629 (pbout.pl) S 8626 8624 8575 0 -1 4194304 430 0 0 0 0 0 0 0 16 0 1 0 151766754 12562432 389 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 246013800546 0 0 4224 0 18446744071563648864 0 0 17 1 0 0 /proc/8629/statm: 3067 389 301 3 0 167 0 Current children cumulated CPU time (s) 10.57 Current children cumulated vsize (Kb) 43148 [startup+20.0095 s] /proc/loadavg: 1.00 1.00 1.00 2/68 8629 /proc/meminfo: memFree=733924/2055920 swapFree=4183068/4192956 [pid=8624] ppid=8622 vsize=5360 CPUtime=0 /proc/8624/stat : 8624 (runpbsmodels) S 8622 8624 8575 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 151766751 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 246004900676 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/8624/statm: 1340 234 195 169 0 51 0 [pid=8625] ppid=8624 vsize=12268 CPUtime=0 /proc/8625/stat : 8625 (pbsmodels-v1.28) S 8624 8624 8575 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 151766752 12562432 383 18446744073709551615 4194304 4206940 548682068992 18446744073709551615 246013804436 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0 /proc/8625/statm: 3067 383 293 3 0 167 0 [pid=8626] ppid=8625 vsize=5356 CPUtime=2.03 /proc/8626/stat : 8626 (sh) S 8625 8624 8575 0 -1 4194304 311 1308 0 0 0 0 203 0 16 0 1 0 151766753 5484544 227 18446744073709551615 4194304 4889804 548682069024 18446744073709551615 246004900676 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/8626/statm: 1339 227 188 169 0 50 0 [pid=8628] ppid=8626 vsize=7896 CPUtime=18.55 /proc/8628/stat : 8628 (smodels) R 8626 8624 8575 0 -1 4194304 1629 0 0 0 1855 0 0 0 25 0 1 0 151766754 8085504 1593 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134549108 0 0 4096 0 0 0 0 17 1 0 0 /proc/8628/statm: 1974 1593 210 20 0 1411 0 [pid=8629] ppid=8626 vsize=12268 CPUtime=0 /proc/8629/stat : 8629 (pbout.pl) S 8626 8624 8575 0 -1 4194304 430 0 0 0 0 0 0 0 16 0 1 0 151766754 12562432 389 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 246013800546 0 0 4224 0 18446744071563648864 0 0 17 1 0 0 /proc/8629/statm: 3067 389 301 3 0 167 0 Current children cumulated CPU time (s) 20.58 Current children cumulated vsize (Kb) 43148 [startup+30.0154 s] /proc/loadavg: 1.00 1.00 1.00 2/68 8629 /proc/meminfo: memFree=733860/2055920 swapFree=4183068/4192956 [pid=8624] ppid=8622 vsize=5360 CPUtime=0 /proc/8624/stat : 8624 (runpbsmodels) S 8622 8624 8575 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 151766751 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 246004900676 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/8624/statm: 1340 234 195 169 0 51 0 [pid=8625] ppid=8624 vsize=12268 CPUtime=0 /proc/8625/stat : 8625 (pbsmodels-v1.28) S 8624 8624 8575 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 151766752 12562432 383 18446744073709551615 4194304 4206940 548682068992 18446744073709551615 246013804436 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0 /proc/8625/statm: 3067 383 293 3 0 167 0 [pid=8626] ppid=8625 vsize=5356 CPUtime=2.03 /proc/8626/stat : 8626 (sh) S 8625 8624 8575 0 -1 4194304 311 1308 0 0 0 0 203 0 16 0 1 0 151766753 5484544 227 18446744073709551615 4194304 4889804 548682069024 18446744073709551615 246004900676 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/8626/statm: 1339 227 188 169 0 50 0 [pid=8628] ppid=8626 vsize=7896 CPUtime=28.55 /proc/8628/stat : 8628 (smodels) R 8626 8624 8575 0 -1 4194304 1630 0 0 0 2855 0 0 0 25 0 1 0 151766754 8085504 1594 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134550870 0 0 4096 0 0 0 0 17 1 0 0 /proc/8628/statm: 1974 1594 210 20 0 1411 0 [pid=8629] ppid=8626 vsize=12268 CPUtime=0 /proc/8629/stat : 8629 (pbout.pl) S 8626 8624 8575 0 -1 4194304 430 0 0 0 0 0 0 0 16 0 1 0 151766754 12562432 389 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 246013800546 0 0 4224 0 18446744071563648864 0 0 17 1 0 0 /proc/8629/statm: 3067 389 301 3 0 167 0 Current children cumulated CPU time (s) 30.58 Current children cumulated vsize (Kb) 43148 [startup+40.0213 s] /proc/loadavg: 1.00 1.00 1.00 2/68 8629 /proc/meminfo: memFree=733924/2055920 swapFree=4183068/4192956 [pid=8624] ppid=8622 vsize=5360 CPUtime=0 /proc/8624/stat : 8624 (runpbsmodels) S 8622 8624 8575 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 151766751 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 246004900676 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/8624/statm: 1340 234 195 169 0 51 0 [pid=8625] ppid=8624 vsize=12268 CPUtime=0 /proc/8625/stat : 8625 (pbsmodels-v1.28) S 8624 8624 8575 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 151766752 12562432 383 18446744073709551615 4194304 4206940 548682068992 18446744073709551615 246013804436 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0 /proc/8625/statm: 3067 383 293 3 0 167 0 [pid=8626] ppid=8625 vsize=5356 CPUtime=2.03 /proc/8626/stat : 8626 (sh) S 8625 8624 8575 0 -1 4194304 311 1308 0 0 0 0 203 0 16 0 1 0 151766753 5484544 227 18446744073709551615 4194304 4889804 548682069024 18446744073709551615 246004900676 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/8626/statm: 1339 227 188 169 0 50 0 [pid=8628] ppid=8626 vsize=7896 CPUtime=38.55 /proc/8628/stat : 8628 (smodels) R 8626 8624 8575 0 -1 4194304 1630 0 0 0 3855 0 0 0 25 0 1 0 151766754 8085504 1594 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134531271 0 0 4096 0 0 0 0 17 1 0 0 /proc/8628/statm: 1974 1594 210 20 0 1411 0 [pid=8629] ppid=8626 vsize=12268 CPUtime=0 /proc/8629/stat : 8629 (pbout.pl) S 8626 8624 8575 0 -1 4194304 430 0 0 0 0 0 0 0 16 0 1 0 151766754 12562432 389 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 246013800546 0 0 4224 0 18446744071563648864 0 0 17 1 0 0 /proc/8629/statm: 3067 389 301 3 0 167 0 Current children cumulated CPU time (s) 40.58 Current children cumulated vsize (Kb) 43148 [startup+50.0282 s] /proc/loadavg: 1.00 1.00 1.00 2/68 8629 /proc/meminfo: memFree=733924/2055920 swapFree=4183068/4192956 [pid=8624] ppid=8622 vsize=5360 CPUtime=0 /proc/8624/stat : 8624 (runpbsmodels) S 8622 8624 8575 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 151766751 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 246004900676 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/8624/statm: 1340 234 195 169 0 51 0 [pid=8625] ppid=8624 vsize=12268 CPUtime=0 /proc/8625/stat : 8625 (pbsmodels-v1.28) S 8624 8624 8575 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 151766752 12562432 383 18446744073709551615 4194304 4206940 548682068992 18446744073709551615 246013804436 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0 /proc/8625/statm: 3067 383 293 3 0 167 0 [pid=8626] ppid=8625 vsize=5356 CPUtime=2.03 /proc/8626/stat : 8626 (sh) S 8625 8624 8575 0 -1 4194304 311 1308 0 0 0 0 203 0 16 0 1 0 151766753 5484544 227 18446744073709551615 4194304 4889804 548682069024 18446744073709551615 246004900676 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/8626/statm: 1339 227 188 169 0 50 0 [pid=8628] ppid=8626 vsize=7896 CPUtime=48.56 /proc/8628/stat : 8628 (smodels) R 8626 8624 8575 0 -1 4194304 1631 0 0 0 4856 0 0 0 25 0 1 0 151766754 8085504 1595 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134530978 0 0 4096 0 0 0 0 17 1 0 0 /proc/8628/statm: 1974 1595 210 20 0 1411 0 [pid=8629] ppid=8626 vsize=12268 CPUtime=0 /proc/8629/stat : 8629 (pbout.pl) S 8626 8624 8575 0 -1 4194304 430 0 0 0 0 0 0 0 16 0 1 0 151766754 12562432 389 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 246013800546 0 0 4224 0 18446744071563648864 0 0 17 1 0 0 /proc/8629/statm: 3067 389 301 3 0 167 0 Current children cumulated CPU time (s) 50.59 Current children cumulated vsize (Kb) 43148 [startup+60.035 s] /proc/loadavg: 1.00 1.00 1.00 2/68 8629 /proc/meminfo: memFree=733924/2055920 swapFree=4183068/4192956 [pid=8624] ppid=8622 vsize=5360 CPUtime=0 /proc/8624/stat : 8624 (runpbsmodels) S 8622 8624 8575 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 151766751 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 246004900676 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/8624/statm: 1340 234 195 169 0 51 0 [pid=8625] ppid=8624 vsize=12268 CPUtime=0 /proc/8625/stat : 8625 (pbsmodels-v1.28) S 8624 8624 8575 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 151766752 12562432 383 18446744073709551615 4194304 4206940 548682068992 18446744073709551615 246013804436 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0 /proc/8625/statm: 3067 383 293 3 0 167 0 [pid=8626] ppid=8625 vsize=5356 CPUtime=2.03 /proc/8626/stat : 8626 (sh) S 8625 8624 8575 0 -1 4194304 311 1308 0 0 0 0 203 0 16 0 1 0 151766753 5484544 227 18446744073709551615 4194304 4889804 548682069024 18446744073709551615 246004900676 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/8626/statm: 1339 227 188 169 0 50 0 [pid=8628] ppid=8626 vsize=7896 CPUtime=58.56 /proc/8628/stat : 8628 (smodels) R 8626 8624 8575 0 -1 4194304 1632 0 0 0 5856 0 0 0 25 0 1 0 151766754 8085504 1596 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134530983 0 0 4096 0 0 0 0 17 1 0 0 /proc/8628/statm: 1974 1596 210 20 0 1411 0 [pid=8629] ppid=8626 vsize=12268 CPUtime=0 /proc/8629/stat : 8629 (pbout.pl) S 8626 8624 8575 0 -1 4194304 430 0 0 0 0 0 0 0 16 0 1 0 151766754 12562432 389 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 246013800546 0 0 4224 0 18446744071563648864 0 0 17 1 0 0 /proc/8629/statm: 3067 389 301 3 0 167 0 Current children cumulated CPU time (s) 60.59 Current children cumulated vsize (Kb) 43148 [startup+70.0419 s] /proc/loadavg: 1.00 1.00 1.00 2/68 8629 /proc/meminfo: memFree=733924/2055920 swapFree=4183068/4192956 [pid=8624] ppid=8622 vsize=5360 CPUtime=0 /proc/8624/stat : 8624 (runpbsmodels) S 8622 8624 8575 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 151766751 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 246004900676 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/8624/statm: 1340 234 195 169 0 51 0 [pid=8625] ppid=8624 vsize=12268 CPUtime=0 /proc/8625/stat : 8625 (pbsmodels-v1.28) S 8624 8624 8575 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 151766752 12562432 383 18446744073709551615 4194304 4206940 548682068992 18446744073709551615 246013804436 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0 /proc/8625/statm: 3067 383 293 3 0 167 0 [pid=8626] ppid=8625 vsize=5356 CPUtime=2.03 /proc/8626/stat : 8626 (sh) S 8625 8624 8575 0 -1 4194304 311 1308 0 0 0 0 203 0 16 0 1 0 151766753 5484544 227 18446744073709551615 4194304 4889804 548682069024 18446744073709551615 246004900676 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/8626/statm: 1339 227 188 169 0 50 0 [pid=8628] ppid=8626 vsize=7896 CPUtime=68.57 /proc/8628/stat : 8628 (smodels) R 8626 8624 8575 0 -1 4194304 1633 0 0 0 6857 0 0 0 25 0 1 0 151766754 8085504 1597 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134531207 0 0 4096 0 0 0 0 17 1 0 0 /proc/8628/statm: 1974 1597 210 20 0 1411 0 [pid=8629] ppid=8626 vsize=12268 CPUtime=0 /proc/8629/stat : 8629 (pbout.pl) S 8626 8624 8575 0 -1 4194304 430 0 0 0 0 0 0 0 16 0 1 0 151766754 12562432 389 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 246013800546 0 0 4224 0 18446744071563648864 0 0 17 1 0 0 /proc/8629/statm: 3067 389 301 3 0 167 0 Current children cumulated CPU time (s) 70.6 Current children cumulated vsize (Kb) 43148 [startup+80.0478 s] /proc/loadavg: 1.00 1.00 1.00 2/68 8629 /proc/meminfo: memFree=733924/2055920 swapFree=4183068/4192956 [pid=8624] ppid=8622 vsize=5360 CPUtime=0 /proc/8624/stat : 8624 (runpbsmodels) S 8622 8624 8575 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 151766751 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 246004900676 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/8624/statm: 1340 234 195 169 0 51 0 [pid=8625] ppid=8624 vsize=12268 CPUtime=0 /proc/8625/stat : 8625 (pbsmodels-v1.28) S 8624 8624 8575 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 151766752 12562432 383 18446744073709551615 4194304 4206940 548682068992 18446744073709551615 246013804436 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0 /proc/8625/statm: 3067 383 293 3 0 167 0 [pid=8626] ppid=8625 vsize=5356 CPUtime=2.03 /proc/8626/stat : 8626 (sh) S 8625 8624 8575 0 -1 4194304 311 1308 0 0 0 0 203 0 16 0 1 0 151766753 5484544 227 18446744073709551615 4194304 4889804 548682069024 18446744073709551615 246004900676 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/8626/statm: 1339 227 188 169 0 50 0 [pid=8628] ppid=8626 vsize=7896 CPUtime=78.57 /proc/8628/stat : 8628 (smodels) R 8626 8624 8575 0 -1 4194304 1634 0 0 0 7857 0 0 0 25 0 1 0 151766754 8085504 1598 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134531202 0 0 4096 0 0 0 0 17 1 0 0 /proc/8628/statm: 1974 1598 210 20 0 1411 0 [pid=8629] ppid=8626 vsize=12268 CPUtime=0 /proc/8629/stat : 8629 (pbout.pl) S 8626 8624 8575 0 -1 4194304 430 0 0 0 0 0 0 0 16 0 1 0 151766754 12562432 389 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 246013800546 0 0 4224 0 18446744071563648864 0 0 17 1 0 0 /proc/8629/statm: 3067 389 301 3 0 167 0 Current children cumulated CPU time (s) 80.6 Current children cumulated vsize (Kb) 43148 [startup+90.0537 s] /proc/loadavg: 1.00 1.00 1.00 2/68 8629 /proc/meminfo: memFree=733604/2055920 swapFree=4183068/4192956 [pid=8624] ppid=8622 vsize=5360 CPUtime=0 /proc/8624/stat : 8624 (runpbsmodels) S 8622 8624 8575 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 151766751 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 246004900676 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/8624/statm: 1340 234 195 169 0 51 0 [pid=8625] ppid=8624 vsize=12268 CPUtime=0 /proc/8625/stat : 8625 (pbsmodels-v1.28) S 8624 8624 8575 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 151766752 12562432 383 18446744073709551615 4194304 4206940 548682068992 18446744073709551615 246013804436 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0 /proc/8625/statm: 3067 383 293 3 0 167 0 [pid=8626] ppid=8625 vsize=5356 CPUtime=2.03 /proc/8626/stat : 8626 (sh) S 8625 8624 8575 0 -1 4194304 311 1308 0 0 0 0 203 0 16 0 1 0 151766753 5484544 227 18446744073709551615 4194304 4889804 548682069024 18446744073709551615 246004900676 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 ################ # More data... # ################ /proc/8628/stat : 8628 (smodels) R 8626 8624 8575 0 -1 4194304 1640 0 0 0 179135 0 0 0 25 0 1 0 151766754 8085504 1604 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134521500 0 0 4096 0 0 0 0 17 1 0 0 /proc/8628/statm: 1974 1604 212 20 0 1411 0 [pid=8629] ppid=8626 vsize=12692 CPUtime=0 /proc/8629/stat : 8629 (pbout.pl) S 8626 8624 8575 0 -1 4194304 551 0 0 0 0 0 0 0 16 0 1 0 151766754 12996608 510 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 246013800546 0 0 4224 0 18446744071563648864 0 0 17 0 0 0 /proc/8629/statm: 3173 510 333 3 0 273 0 Current children cumulated CPU time (s) 1793.38 Current children cumulated vsize (Kb) 43572 [startup+1794.25 s] /proc/loadavg: 1.00 1.00 1.00 2/68 8631 /proc/meminfo: memFree=733092/2055920 swapFree=4183068/4192956 [pid=8624] ppid=8622 vsize=5360 CPUtime=0 /proc/8624/stat : 8624 (runpbsmodels) S 8622 8624 8575 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 151766751 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 246004900676 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/8624/statm: 1340 234 195 169 0 51 0 [pid=8625] ppid=8624 vsize=12268 CPUtime=0 /proc/8625/stat : 8625 (pbsmodels-v1.28) S 8624 8624 8575 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 151766752 12562432 383 18446744073709551615 4194304 4206940 548682068992 18446744073709551615 246013804436 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0 /proc/8625/statm: 3067 383 293 3 0 167 0 [pid=8626] ppid=8625 vsize=5356 CPUtime=2.03 /proc/8626/stat : 8626 (sh) S 8625 8624 8575 0 -1 4194304 311 1308 0 0 0 0 203 0 16 0 1 0 151766753 5484544 227 18446744073709551615 4194304 4889804 548682069024 18446744073709551615 246004900676 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/8626/statm: 1339 227 188 169 0 50 0 [pid=8628] ppid=8626 vsize=7896 CPUtime=1792.36 /proc/8628/stat : 8628 (smodels) R 8626 8624 8575 0 -1 4194304 1640 0 0 0 179236 0 0 0 25 0 1 0 151766754 8085504 1604 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134520865 0 0 4096 0 0 0 0 17 1 0 0 /proc/8628/statm: 1974 1604 212 20 0 1411 0 [pid=8629] ppid=8626 vsize=12692 CPUtime=0 /proc/8629/stat : 8629 (pbout.pl) S 8626 8624 8575 0 -1 4194304 551 0 0 0 0 0 0 0 16 0 1 0 151766754 12996608 510 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 246013800546 0 0 4224 0 18446744071563648864 0 0 17 0 0 0 /proc/8629/statm: 3173 510 333 3 0 273 0 Current children cumulated CPU time (s) 1794.39 Current children cumulated vsize (Kb) 43572 [startup+1795.25 s] /proc/loadavg: 1.00 1.00 1.00 2/68 8631 /proc/meminfo: memFree=733092/2055920 swapFree=4183068/4192956 [pid=8624] ppid=8622 vsize=5360 CPUtime=0 /proc/8624/stat : 8624 (runpbsmodels) S 8622 8624 8575 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 151766751 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 246004900676 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/8624/statm: 1340 234 195 169 0 51 0 [pid=8625] ppid=8624 vsize=12268 CPUtime=0 /proc/8625/stat : 8625 (pbsmodels-v1.28) S 8624 8624 8575 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 151766752 12562432 383 18446744073709551615 4194304 4206940 548682068992 18446744073709551615 246013804436 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0 /proc/8625/statm: 3067 383 293 3 0 167 0 [pid=8626] ppid=8625 vsize=5356 CPUtime=2.03 /proc/8626/stat : 8626 (sh) S 8625 8624 8575 0 -1 4194304 311 1308 0 0 0 0 203 0 16 0 1 0 151766753 5484544 227 18446744073709551615 4194304 4889804 548682069024 18446744073709551615 246004900676 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/8626/statm: 1339 227 188 169 0 50 0 [pid=8628] ppid=8626 vsize=7896 CPUtime=1793.36 /proc/8628/stat : 8628 (smodels) R 8626 8624 8575 0 -1 4194304 1640 0 0 0 179336 0 0 0 25 0 1 0 151766754 8085504 1604 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134531207 0 0 4096 0 0 0 0 17 1 0 0 /proc/8628/statm: 1974 1604 212 20 0 1411 0 [pid=8629] ppid=8626 vsize=12692 CPUtime=0 /proc/8629/stat : 8629 (pbout.pl) S 8626 8624 8575 0 -1 4194304 551 0 0 0 0 0 0 0 16 0 1 0 151766754 12996608 510 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 246013800546 0 0 4224 0 18446744071563648864 0 0 17 0 0 0 /proc/8629/statm: 3173 510 333 3 0 273 0 Current children cumulated CPU time (s) 1795.39 Current children cumulated vsize (Kb) 43572 [startup+1796.26 s] /proc/loadavg: 1.00 1.00 1.00 2/68 8631 /proc/meminfo: memFree=733092/2055920 swapFree=4183068/4192956 [pid=8624] ppid=8622 vsize=5360 CPUtime=0 /proc/8624/stat : 8624 (runpbsmodels) S 8622 8624 8575 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 151766751 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 246004900676 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/8624/statm: 1340 234 195 169 0 51 0 [pid=8625] ppid=8624 vsize=12268 CPUtime=0 /proc/8625/stat : 8625 (pbsmodels-v1.28) S 8624 8624 8575 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 151766752 12562432 383 18446744073709551615 4194304 4206940 548682068992 18446744073709551615 246013804436 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0 /proc/8625/statm: 3067 383 293 3 0 167 0 [pid=8626] ppid=8625 vsize=5356 CPUtime=2.03 /proc/8626/stat : 8626 (sh) S 8625 8624 8575 0 -1 4194304 311 1308 0 0 0 0 203 0 16 0 1 0 151766753 5484544 227 18446744073709551615 4194304 4889804 548682069024 18446744073709551615 246004900676 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/8626/statm: 1339 227 188 169 0 50 0 [pid=8628] ppid=8626 vsize=7896 CPUtime=1794.37 /proc/8628/stat : 8628 (smodels) R 8626 8624 8575 0 -1 4194304 1640 0 0 0 179437 0 0 0 25 0 1 0 151766754 8085504 1604 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134555230 0 0 4096 0 0 0 0 17 1 0 0 /proc/8628/statm: 1974 1604 212 20 0 1411 0 [pid=8629] ppid=8626 vsize=12692 CPUtime=0 /proc/8629/stat : 8629 (pbout.pl) S 8626 8624 8575 0 -1 4194304 551 0 0 0 0 0 0 0 16 0 1 0 151766754 12996608 510 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 246013800546 0 0 4224 0 18446744071563648864 0 0 17 0 0 0 /proc/8629/statm: 3173 510 333 3 0 273 0 Current children cumulated CPU time (s) 1796.4 Current children cumulated vsize (Kb) 43572 [startup+1797.27 s] /proc/loadavg: 1.00 1.00 1.00 2/68 8631 /proc/meminfo: memFree=733092/2055920 swapFree=4183068/4192956 [pid=8624] ppid=8622 vsize=5360 CPUtime=0 /proc/8624/stat : 8624 (runpbsmodels) S 8622 8624 8575 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 151766751 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 246004900676 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/8624/statm: 1340 234 195 169 0 51 0 [pid=8625] ppid=8624 vsize=12268 CPUtime=0 /proc/8625/stat : 8625 (pbsmodels-v1.28) S 8624 8624 8575 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 151766752 12562432 383 18446744073709551615 4194304 4206940 548682068992 18446744073709551615 246013804436 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0 /proc/8625/statm: 3067 383 293 3 0 167 0 [pid=8626] ppid=8625 vsize=5356 CPUtime=2.03 /proc/8626/stat : 8626 (sh) S 8625 8624 8575 0 -1 4194304 311 1308 0 0 0 0 203 0 16 0 1 0 151766753 5484544 227 18446744073709551615 4194304 4889804 548682069024 18446744073709551615 246004900676 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/8626/statm: 1339 227 188 169 0 50 0 [pid=8628] ppid=8626 vsize=7896 CPUtime=1795.37 /proc/8628/stat : 8628 (smodels) R 8626 8624 8575 0 -1 4194304 1640 0 0 0 179537 0 0 0 25 0 1 0 151766754 8085504 1604 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134548901 0 0 4096 0 0 0 0 17 1 0 0 /proc/8628/statm: 1974 1604 212 20 0 1411 0 [pid=8629] ppid=8626 vsize=12692 CPUtime=0 /proc/8629/stat : 8629 (pbout.pl) S 8626 8624 8575 0 -1 4194304 551 0 0 0 0 0 0 0 16 0 1 0 151766754 12996608 510 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 246013800546 0 0 4224 0 18446744071563648864 0 0 17 0 0 0 /proc/8629/statm: 3173 510 333 3 0 273 0 Current children cumulated CPU time (s) 1797.4 Current children cumulated vsize (Kb) 43572 [startup+1798.27 s] /proc/loadavg: 1.00 1.00 1.00 2/68 8631 /proc/meminfo: memFree=733092/2055920 swapFree=4183068/4192956 [pid=8624] ppid=8622 vsize=5360 CPUtime=0 /proc/8624/stat : 8624 (runpbsmodels) S 8622 8624 8575 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 151766751 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 246004900676 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/8624/statm: 1340 234 195 169 0 51 0 [pid=8625] ppid=8624 vsize=12268 CPUtime=0 /proc/8625/stat : 8625 (pbsmodels-v1.28) S 8624 8624 8575 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 151766752 12562432 383 18446744073709551615 4194304 4206940 548682068992 18446744073709551615 246013804436 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0 /proc/8625/statm: 3067 383 293 3 0 167 0 [pid=8626] ppid=8625 vsize=5356 CPUtime=2.03 /proc/8626/stat : 8626 (sh) S 8625 8624 8575 0 -1 4194304 311 1308 0 0 0 0 203 0 16 0 1 0 151766753 5484544 227 18446744073709551615 4194304 4889804 548682069024 18446744073709551615 246004900676 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/8626/statm: 1339 227 188 169 0 50 0 [pid=8628] ppid=8626 vsize=7896 CPUtime=1796.38 /proc/8628/stat : 8628 (smodels) R 8626 8624 8575 0 -1 4194304 1640 0 0 0 179638 0 0 0 25 0 1 0 151766754 8085504 1604 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134520559 0 0 4096 0 0 0 0 17 1 0 0 /proc/8628/statm: 1974 1604 212 20 0 1411 0 [pid=8629] ppid=8626 vsize=12692 CPUtime=0 /proc/8629/stat : 8629 (pbout.pl) S 8626 8624 8575 0 -1 4194304 551 0 0 0 0 0 0 0 16 0 1 0 151766754 12996608 510 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 246013800546 0 0 4224 0 18446744071563648864 0 0 17 0 0 0 /proc/8629/statm: 3173 510 333 3 0 273 0 Current children cumulated CPU time (s) 1798.41 Current children cumulated vsize (Kb) 43572 [startup+1799.28 s] /proc/loadavg: 1.00 1.00 1.00 2/68 8631 /proc/meminfo: memFree=733092/2055920 swapFree=4183068/4192956 [pid=8624] ppid=8622 vsize=5360 CPUtime=0 /proc/8624/stat : 8624 (runpbsmodels) S 8622 8624 8575 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 151766751 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 246004900676 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/8624/statm: 1340 234 195 169 0 51 0 [pid=8625] ppid=8624 vsize=12268 CPUtime=0 /proc/8625/stat : 8625 (pbsmodels-v1.28) S 8624 8624 8575 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 151766752 12562432 383 18446744073709551615 4194304 4206940 548682068992 18446744073709551615 246013804436 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0 /proc/8625/statm: 3067 383 293 3 0 167 0 [pid=8626] ppid=8625 vsize=5356 CPUtime=2.03 /proc/8626/stat : 8626 (sh) S 8625 8624 8575 0 -1 4194304 311 1308 0 0 0 0 203 0 16 0 1 0 151766753 5484544 227 18446744073709551615 4194304 4889804 548682069024 18446744073709551615 246004900676 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/8626/statm: 1339 227 188 169 0 50 0 [pid=8628] ppid=8626 vsize=7896 CPUtime=1797.38 /proc/8628/stat : 8628 (smodels) R 8626 8624 8575 0 -1 4194304 1640 0 0 0 179738 0 0 0 25 0 1 0 151766754 8085504 1604 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134544742 0 0 4096 0 0 0 0 17 1 0 0 /proc/8628/statm: 1974 1604 212 20 0 1411 0 [pid=8629] ppid=8626 vsize=12692 CPUtime=0 /proc/8629/stat : 8629 (pbout.pl) S 8626 8624 8575 0 -1 4194304 551 0 0 0 0 0 0 0 16 0 1 0 151766754 12996608 510 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 246013800546 0 0 4224 0 18446744071563648864 0 0 17 0 0 0 /proc/8629/statm: 3173 510 333 3 0 273 0 Current children cumulated CPU time (s) 1799.41 Current children cumulated vsize (Kb) 43572 [startup+1800.28 s] /proc/loadavg: 1.00 1.00 1.00 2/68 8631 /proc/meminfo: memFree=733092/2055920 swapFree=4183068/4192956 [pid=8624] ppid=8622 vsize=5360 CPUtime=0 /proc/8624/stat : 8624 (runpbsmodels) S 8622 8624 8575 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 151766751 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 246004900676 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/8624/statm: 1340 234 195 169 0 51 0 [pid=8625] ppid=8624 vsize=12268 CPUtime=0 /proc/8625/stat : 8625 (pbsmodels-v1.28) S 8624 8624 8575 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 151766752 12562432 383 18446744073709551615 4194304 4206940 548682068992 18446744073709551615 246013804436 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0 /proc/8625/statm: 3067 383 293 3 0 167 0 [pid=8626] ppid=8625 vsize=5356 CPUtime=2.03 /proc/8626/stat : 8626 (sh) S 8625 8624 8575 0 -1 4194304 311 1308 0 0 0 0 203 0 16 0 1 0 151766753 5484544 227 18446744073709551615 4194304 4889804 548682069024 18446744073709551615 246004900676 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/8626/statm: 1339 227 188 169 0 50 0 [pid=8628] ppid=8626 vsize=7896 CPUtime=1798.39 /proc/8628/stat : 8628 (smodels) R 8626 8624 8575 0 -1 4194304 1640 0 0 0 179839 0 0 0 25 0 1 0 151766754 8085504 1604 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134519805 0 0 4096 0 0 0 0 17 1 0 0 /proc/8628/statm: 1974 1604 212 20 0 1411 0 [pid=8629] ppid=8626 vsize=12692 CPUtime=0 /proc/8629/stat : 8629 (pbout.pl) S 8626 8624 8575 0 -1 4194304 551 0 0 0 0 0 0 0 16 0 1 0 151766754 12996608 510 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 246013800546 0 0 4224 0 18446744071563648864 0 0 17 0 0 0 /proc/8629/statm: 3173 510 333 3 0 273 0 Current children cumulated CPU time (s) 1800.42 Current children cumulated vsize (Kb) 43572 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.29 s] /proc/loadavg: 1.00 1.00 1.00 2/68 8631 /proc/meminfo: memFree=733092/2055920 swapFree=4183068/4192956 [pid=8624] ppid=8622 vsize=5360 CPUtime=0 /proc/8624/stat : 8624 (runpbsmodels) S 8622 8624 8575 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 151766751 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 246004900676 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/8624/statm: 1340 234 195 169 0 51 0 [pid=8625] ppid=8624 vsize=12268 CPUtime=0 /proc/8625/stat : 8625 (pbsmodels-v1.28) S 8624 8624 8575 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 151766752 12562432 383 18446744073709551615 4194304 4206940 548682068992 18446744073709551615 246013804436 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0 /proc/8625/statm: 3067 383 293 3 0 167 0 [pid=8626] ppid=8625 vsize=5356 CPUtime=2.03 /proc/8626/stat : 8626 (sh) S 8625 8624 8575 0 -1 4194304 311 1308 0 0 0 0 203 0 16 0 1 0 151766753 5484544 227 18446744073709551615 4194304 4889804 548682069024 18446744073709551615 246004900676 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/8626/statm: 1339 227 188 169 0 50 0 [pid=8628] ppid=8626 vsize=7896 CPUtime=1798.39 /proc/8628/stat : 8628 (smodels) R 8626 8624 8575 0 -1 4194304 1640 0 0 0 179839 0 0 0 25 0 1 0 151766754 8085504 1604 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134531154 0 0 4096 0 0 0 0 17 1 0 0 /proc/8628/statm: 1974 1604 212 20 0 1411 0 [pid=8629] ppid=8626 vsize=12692 CPUtime=0 /proc/8629/stat : 8629 (pbout.pl) S 8626 8624 8575 0 -1 4194304 551 0 0 0 0 0 0 0 16 0 1 0 151766754 12996608 510 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 246013800546 0 0 4224 0 18446744071563648864 0 0 17 0 0 0 /proc/8629/statm: 3173 510 333 3 0 273 0 Current children cumulated CPU time (s) 1800.42 Current children cumulated vsize (Kb) 43572 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 8624 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.42 Solver probably didn't/couldn't wait for its children Using last known CPU time as value... Real time (s): 1800.31 CPU time (s): 1800.42 CPU user time (s): 1800.42 CPU system time (s): 0 CPU usage (%): 100.006 Max. virtual memory (cumulated for all children) (Kb): 43572 The end
Begin job on node57 on Fri Jul 28 01:09:24 UTC 2006 FILE ID= 34454-1154048964 PBS_JOBID= 881792 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/web/www.ps.uni-sb.de/~walser/benchmarks/radar/normalized-30:70:4.5:0.5:100.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user4/pbsmodels_solver-v1.28/runpbsmodels ROOT/tmp/node57/34454-1154048964/instance-34454-1154048964.opb 421654086 ROOT/tmp/node57/34454-1154048964 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node57/watcher-34454-1154048964 -o ROOT/results/node57/solver-34454-1154048964 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user4/pbsmodels_solver-v1.28/runpbsmodels ROOT/tmp/node57/34454-1154048964/instance-34454-1154048964.opb 421654086 ROOT/tmp/node57/34454-1154048964 MD5SUM SOLVER= f639f6b7f53e3afd14340f75c0e271ee 82c14a26114306e436bf36ef1d1c85a0 c893ceb51a2aaa4ab2f96d97b043cdf0 8c810dcfce02286b111d075d14837741 79b233270d136fcdcf9d8f80d20efef0 MD5SUM BENCH= 9d611ad786b3505d4cca46af1ba2bc6d RANDOM SEED= 421654086 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.235 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.235 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: 740876 kB Buffers: 30652 kB Cached: 1216868 kB SwapCached: 3884 kB Active: 305616 kB Inactive: 950676 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 740876 kB SwapTotal: 4192956 kB SwapFree: 4183068 kB Dirty: 188 kB Writeback: 0 kB Mapped: 14728 kB Slab: 44684 kB Committed_AS: 538264 kB PageTables: 1480 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node57 on Fri Jul 28 01:39:24 UTC 2006