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