0.00/0.00 c NaPS 1.02b.
16.98/17.07 s SATISFIABLE
16.98/17.07 c _____________________________________________________________________________
16.98/17.07 c
16.98/17.07 c std/band forms : 1,1
16.98/17.07 c 2cl/3cl ITE-codings : 740,1343
16.98/17.07 c BDD/srt/adr Max costs : 1427,0,0
16.98/17.07 c BDDraw/bin/mul/srt/adr: 2,0,0,0,0
16.98/17.07 c BDD nodes : 2254
16.98/17.07 c Es1/CC detections : 0,0
16.98/17.07 c SAT/UNSAT calls : 1,0
16.98/17.07 c restarts : 138
16.98/17.07 c conflicts : 41506 (2440 /sec)
16.98/17.07 c decisions : 127140 (7473 /sec)
16.98/17.07 c propagations : 22571257 (1326674 /sec)
16.98/17.07 c inspects : 0 (0 /sec)
16.98/17.07 c CPU time (solving tm) : 17.01 s (14.38 s)
16.98/17.07 c Time for Opt-base : 0 s
16.98/17.07 c _____________________________________________________________________________
16.98/17.07 v x1 x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 x29 -x30 -x31 x32 -x33 -x34 -x35 -x36 -x37 -x38 x39 -x40 -x41 x42 -x43 -x44 x45 -x46 -x47 x48 -x49 x50 -x51 x52 -x53 x54 -x55 x56 -x57 x58 x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 x68 -x69 x70 -x71 -x72 -x73 -x74 -x75 -x76 x77 -x78 -x79 -x80 x81 x82 x83 x84 -x85 x86 x87 x175 -x261 -x347 -x433 -x519 -x605 -x691 -x777 -x863 -x949 -x1035 -x1121 -x1207 -x1293 -x1379 -x1465 -x1551 -x1637 -x1723 -x1809 -x1895 -x1981 -x2067 -x2153 -x2239 -x2325 -x2411 -x2497 -x2583 -x2669 -x2755 -x2841 -x2927 -x3013 -x3099 -x3185 -x3271 -x3357 -x3443 -x3529 -x3615 -x3701 -x3787 -x3873 -x3959 -x4045 -x4131 -x4217 -x4303 -x4389 -x4475 -x4561 -x4647 -x4733 -x4819 -x4905 -x4991 x5077 -x5163 -x5249 -x5335 -x5421 -x5507 -x5593 -x176 -x262 -x348 -x434 -x520 -x606 -x692 -x778 -x864 -x950 -x1036 -x1122 -x1208 -x1294 -x1380 -x1466 -x1552 -x1638 -x1724 -x1810 -x1896 -x1982 -x2068 -x2154 -x2240 -x2326 -x2412 -x2498 -x2584 -x2670 -x2756 -x2842 -x2928 -x3014 -x3100 -x3186 -x3272 -x3358 -x3444 -x3530 -x3616 -x3702 -x3788 -x3874 -x3960 -x4046 -x4132 x4218 -x4304 -x4390 -x4476 -x4562 -x4648 -x4734 -x4820 -x4906 -x4992 -x5078 -x5164 -x5250 -x5336 -x5422 -x5508 -x5594 -x177 -x263 -x349 -x435 -x521 -x607 -x693 -x779 -x865 -x951 -x1037 -x1123 -x1209 -x1295 -x1381 -x1467 -x1553 -x1639 -x1725 -x1811 -x1897 -x1983 -x2069 -x2155 -x2241 -x2327 -x2413 -x2499 -x2585 -x2671 -x2757 -x2843 -x2929 -x3015 -x3101 -x3187 -x3273 -x3359 -x3445 -x3531 -x3617 -x3703 -x3789 -x3875 -x3961 -x4047 -x4133 -x4219 -x4305 -x4391 -x4477 -x4563 -x4649 -x4735 -x4821 x4907 -x4993 -x5079 -x5165 -x5251 -x5337 -x5423 -x5509 -x5595 -x178 -x264 -x350 -x436 -x522 -x608 -x694 -x780 -x866 -x952 -x1038 -x1124 -x1210 -x1296 -x1382 -x1468 -x1554 -x1640 -x1726 -x1812 -x1898 -x1984 -x2070 -x2156 -x2242 -x2328 -x2414 -x2500 -x2586 -x2672 -x2758 -x2844 -x2930 -x3016 -x3102 -x3188 -x3274 -x3360 -x3446 -x3532 -x3618 -x3704 -x3790 -x3876 -x3962 -x4048 -x4134 x4220 -x4306 -x4392 -x4478 -x4564 -x4650 -x4736 -x4822 -x4908 -x4994 -x5080 -x5166 -x5252 -x5338 -x5424 -x5510 -x5596 -x179 -x265 -x351 -x437 -x523 -x609 -x695 -x781 -x867 -x953 -x1039 -x1125 -x1211 -x1297 -x1383 -x1469 -x1555 -x1641 -x1727 -x1813 -x1899 -x1985 -x2071 -x2157 -x2243 -x2329 -x2415 -x2501 -x2587 -x2673 -x2759 -x2845 -x2931 -x3017 -x3103 -x3189 -x3275 -x3361 -x3447 -x3533 -x3619 -x3705 -x3791 -x3877 x3963 -x4049 -x4135 -x4221 -x4307 -x4393 -x4479 -x4565 -x4651 -x4737 -x4823 -x4909 -x4995 -x5081 -x5167 -x5253 -x5339 -x5425 -x5511 -x5597 -x180 -x266 -x352 -x438 -x524 -x610 -x696 -x782 -x868 -x954 -x1040 -x1126 -x1212 -x1298 -x1384 -x1470 -x1556 -x1642 -x1728 -x1814 -x1900 -x1986 -x2072 -x2158 -x2244 -x2330 -x2416 -x2502 -x2588 -x2674 -x2760 -x2846 -x2932 -x3018 -x3104 -x3190 -x3276 -x3362 -x3448 -x3534 -x3620 -x3706 -x3792 -x3878 -x3964 -x4050 -x4136 x4222 -x4308 -x4394 -x4480 -x4566 -x4652 -x4738 -x4824 -x4910 -x4996 -x5082 -x5168 -x5254 -x5340 -x5426 -x5512 -x5598 -x181 -x267 -x353 -x439 -x525 -x611 -x697 -x783 -x869 -x955 -x1041 -x1127 -x1213 -x1299 -x1385 -x1471 -x1557 -x1643 -x1729 -x1815 -x1901 -x1987 -x2073 -x2159 -x2245 -x2331 -x2417 -x2503 -x2589 -x2675 -x2761 -x2847 -x2933 -x3019 -x3105 -x3191 -x3277 -x3363 -x3449 -x3535 -x3621 -x3707 -x3793 -x3879 x3965 -x4051 -x4137 -x4223 -x4309 -x4395 -x4481 x4567 -x4653 -x4739 -x4825 -x4911 -x4997 -x5083 -x5169 -x5255 -x5341 -x5427 -x5513 -x5599 -x182 -x268 -x354 -x440 -x526 -x612 -x698 -x784 -x870 -x956 -x1042 -x1128 -x1214 -x1300 -x1386 -x1472 -x1558 -x1644 -x1730 -x1816 -x1902 -x1988 -x2074 -x2160 -x2246 -x2332 -x2418 -x2504 -x2590 -x2676 -x2762 -x2848 -x2934 -x3020 -x3106 -x3192 -x3278 -x3364 -x3450 -x3536 -x3622 x3708 -x3794 -x3880 -x3966 -x4052 -x4138 -x4224 -x4310 -x4396 -x4482 -x4568 -x4654 -x4740 -x4826 -x4912 -x4998 -x5084 -x5170 -x5256 -x5342 -x5428 -x5514 -x5600 -x183 -x269 -x355 -x441 -x527 -x613 -x699 -x785 -x871 -x957 -x1043 -x1129 -x1215 -x1301 -x1387 -x1473 -x1559 -x1645 -x1731 -x1817 -x1903 -x1989 -x2075 -x2161 -x2247 -x2333 -x2419 -x2505 -x2591 -x2677 -x2763 -x2849 -x2935 -x3021 -x3107 -x3193 -x3279 -x3365 -x3451 -x3537 -x3623 -x3709 -x3795 -x3881 x3967 -x4053 -x4139 -x4225 -x4311 -x4397 -x4483 -x4569 -x4655 -x4741 -x4827 -x4913 -x4999 -x5085 -x5171 -x5257 -x5343 -x5429 -x5515 -x5601 -x184 -x270 -x356 -x442 -x528 -x614 -x700 -x786 -x872 -x958 -x1044 -x1130 -x1216 -x1302 -x1388 -x1474 -x1560 -x1646 -x1732 -x1818 -x1904 -x1990 -x2076 -x2162 -x2248 -x2334 -x2420 -x2506 -x2592 -x2678 -x2764 -x2850 -x2936 -x3022 -x3108 -x3194 -x3280 -x3366 -x3452 -x3538 -x3624 x3710 -x3796 -x3882 -x3968 -x4054 -x4140 -x4226 -x4312 -x4398 -x4484 -x4570 -x4656 -x4742 -x4828 -x4914 -x5000 -x5086 -x5172 -x5258 -x5344 -x5430 -x5516 -x5602 -x185 -x271 -x357 -x443 -x529 -x615 -x701 -x787 -x873 -x959 -x1045 -x1131 -x1217 -x1303 -x1389 -x1475 -x1561 -x1647 -x1733 -x1819 -x1905 -x1991 -x2077 -x2163 -x2249 -x2335 -x2421 -x2507 -x2593 -x2679 -x2765 -x2851 -x2937 -x3023 -x3109 -x3195 -x3281 -x3367 -x3453 -x3539 -x3625 -x3711 -x3797 -x3883 x3969 -x4055 -x4141 -x4227 -x4313 -x4399 -x4485 -x4571 -x4657 -x4743 -x4829 -x4915 -x5001 -x5087 -x5173 -x5259 -x5345 -x5431 -x5517 -x5603 -x186 -x272 -x358 -x444 -x530 -x616 -x702 -x788 -x874 -x960 -x1046 -x1132 -x1218 -x1304 -x1390 -x1476 -x1562 -x1648 -x1734 -x1820 -x1906 -x1992 -x2078 -x2164 -x2250 -x2336 -x2422 -x2508 -x2594 -x2680 -x2766 -x2852 -x2938 -x3024 -x3110 -x3196 -x3282 -x3368 -x3454 -x3540 -x3626 x3712 -x3798 -x3884 -x3970 -x4056 -x4142 -x4228 -x4314 -x4400 -x4486 -x4572 -x4658 -x4744 -x4830 -x4916 -x5002 -x5088 -x5174 -x5260 -x5346 -x5432 -x5518 -x5604 -x187 -x273 -x359 -x445 -x531 -x617 -x703 -x789 -x875 -x961 -x1047 -x1133 -x1219 -x1305 -x1391 -x1477 -x1563 -x1649 -x1735 -x1821 -x1907 -x1993 -x2079 -x2165 -x2251 -x2337 -x2423 -x2509 -x2595 -x2681 -x2767 -x2853 -x2939 -x3025 -x3111 -x3197 -x3283 -x3369 x3455 -x3541 -x3627 -x3713 -x3799 -x3885 -x3971 -x4057 -x4143 -x4229 -x4315 -x4401 -x4487 -x4573 -x4659 -x4745 -x4831 -x4917 -x5003 -x5089 -x5175 -x5261 -x5347 -x5433 -x5519 -x5605 -x188 -x274 -x360 -x446 -x532 -x618 -x704 -x790 -x876 -x962 -x1048 -x1134 -x1220 -x1306 -x1392 -x1478 -x1564 -x1650 -x1736 -x1822 -x1908 -x1994 -x2080 -x2166 -x2252 -x2338 -x2424 -x2510 -x2596 -x2682 -x2768 -x2854 -x2940 -x3026 -x3112 -x3198 -x3284 -x3370 -x3456 -x3542 -x3628 x3714 -x3800 -x3886 -x3972 -x4058 -x4144 -x4230 -x4316 -x4402 -x4488 -x4574 -x4660 -x4746 -x4832 -x4918 -x5004 -x5090 -x5176 -x5262 -x5348 -x5434 -x5520 -x5606 -x189 -x275 -x361 -x447 -x533 -x619 -x705 -x791 -x877 -x963 -x1049 -x1135 -x1221 -x1307 -x1393 -x1479 -x1565 -x1651 -x1737 -x1823 -x1909 -x1995 -x2081 -x2167 -x2253 -x2339 -x2425 -x2511 -x2597 -x2683 -x2769 -x2855 -x2941 -x3027 -x3113 -x3199 -x3285 -x3371 x3457 -x3543 -x3629 -x3715 -x3801 -x3887 -x3973 -x4059 -x4145 -x4231 -x4317 -x4403 -x4489 -x4575 -x4661 -x4747 -x4833 -x4919 -x5005 -x5091 -x5177 -x5263 -x5349 -x5435 -x5521 -x5607 -x190 -x276 -x362 -x448 -x534 -x620 -x706 -x792 -x878 -x964 -x1050 -x1136 -x1222 -x1308 -x1394 -x1480 -x1566 -x1652 -x1738 -x1824 -x1910 -x1996 -x2082 -x2168 -x2254 -x2340 -x2426 -x2512 -x2598 -x2684 -x2770 -x2856 -x2942 -x3028 -x3114 -x3200 -x3286 -x3372 -x3458 -x3544 -x3630 x3716 -x3802 -x3888 -x3974 -x4060 -x4146 -x4232 -x4318 -x4404 -x4490 -x4576 -x4662 -x4748 -x4834 -x4920 -x5006 -x5092 -x5178 -x5264 -x5350 -x5436 -x5522 -x5608 -x191 -x277 -x363 -x449 -x535 -x621 -x707 -x793 -x879 -x965 -x1051 -x1137 -x1223 -x1309 -x1395 -x1481 -x1567 -x1653 -x1739 -x1825 -x1911 -x1997 -x2083 -x2169 -x2255 -x2341 -x2427 -x2513 -x2599 -x2685 -x2771 -x2857 -x2943 -x3029 -x3115 -x3201 -x3287 -x3373 x3459 -x3545 -x3631 -x3717 -x3803 -x3889 -x3975 -x4061 -x4147 -x4233 -x4319 -x4405 -x4491 -x4577 -x4663 -x4749 -x4835 -x4921 -x5007 -x5093 -x5179 -x5265 -x5351 -x5437 -x5523 -x5609 -x192 -x278 -x364 -x450 -x536 -x622 -x708 -x794 -x880 -x966 -x1052 -x1138 -x1224 -x1310 -x1396 -x1482 -x1568 -x1654 -x1740 -x1826 -x1912 -x1998 -x2084 -x2170 -x2256 -x2342 -x2428 -x2514 -x2600 -x2686 -x2772 x2858 -x2944 -x3030 -x3116 -x3202 -x3288 -x3374 -x3460 -x3546 -x3632 -x3718 -x3804 -x3890 -x3976 -x4062 -x4148 -x4234 -x4320 -x4406 -x4492 -x4578 -x4664 -x4750 -x4836 -x4922 -x5008 -x5094 -x5180 -x5266 -x5352 -x5438 -x5524 -x5610 -x193 -x279 -x365 -x451 -x537 -x623 -x709 -x795 -x881 -x967 -x1053 -x1139 -x1225 -x1311 -x1397 -x1483 -x1569 -x1655 -x1741 -x1827 -x1913 -x1999 -x2085 -x2171 -x2257 -x2343 -x2429 -x2515 -x2601 -x2687 -x2773 -x2859 -x2945 -x3031 -x3117 -x3203 -x3289 -x3375 x3461 -x3547 -x3633 -x3719 -x3805 -x3891 -x3977 -x4063 -x4149 -x4235 -x4321 -x4407 -x4493 -x4579 -x4665 -x4751 -x4837 -x4923 -x5009 -x5095 -x5181 -x5267 -x5353 -x5439 -x5525 -x5611 -x194 -x280 -x366 -x452 -x538 -x624 -x710 -x796 -x882 -x968 -x1054 -x1140 -x1226 -x1312 -x1398 -x1484 -x1570 -x1656 -x1742 -x1828 -x1914 -x2000 -x2086 -x2172 -x2258 -x2344 -x2430 -x2516 -x2602 -x2688 -x2774 x2860 -x2946 -x3032 -x3118 -x3204 -x3290 -x3376 -x3462 -x3548 -x3634 -x3720 -x3806 -x3892 -x3978 -x4064 -x4150 -x4236 -x4322 -x4408 -x4494 -x4580 -x4666 -x4752 -x4838 -x4924 -x5010 -x5096 -x5182 -x5268 -x5354 -x5440 -x5526 -x5612 -x195 -x281 -x367 -x453 -x539 -x625 -x711 -x797 -x883 -x969 -x1055 -x1141 -x1227 -x1313 -x1399 -x1485 -x1571 -x1657 -x1743 -x1829 -x1915 -x2001 -x2087 -x2173 -x2259 -x2345 -x2431 -x2517 x2603 -x2689 -x2775 -x2861 -x2947 -x3033 -x3119 -x3205 -x3291 -x3377 -x3463 -x3549 -x3635 -x3721 -x3807 -x3893 -x3979 -x4065 -x4151 -x4237 -x4323 -x4409 -x4495 -x4581 -x4667 -x4753 -x4839 x4925 -x5011 -x5097 -x5183 -x5269 -x5355 -x5441 -x5527 -x5613 -x196 -x282 -x368 -x454 -x540 -x626 -x712 -x798 -x884 -x970 -x1056 -x1142 -x1228 -x1314 -x1400 -x1486 -x1572 -x1658 -x1744 -x1830 -x1916 -x2002 -x2088 -x2174 -x2260 -x2346 -x2432 -x2518 -x2604 -x2690 -x2776 x2862 -x2948 -x3034 -x3120 -x3206 -x3292 -x3378 -x3464 -x3550 -x3636 -x3722 -x3808 -x3894 -x3980 -x4066 -x4152 -x4238 -x4324 -x4410 -x4496 -x4582 -x4668 -x4754 -x4840 -x4926 -x5012 -x5098 x5184 -x5270 -x5356 -x5442 -x5528 -x5614 -x197 -x283 -x369 -x455 -x541 -x627 -x713 -x799 -x885 -x971 -x1057 -x1143 -x1229 -x1315 -x1401 -x1487 -x1573 -x1659 -x1745 -x1831 -x1917 -x2003 -x2089 -x2175 -x2261 -x2347 -x2433 -x2519 x2605 -x2691 -x2777 -x2863 -x2949 -x3035 -x3121 -x3207 -x3293 -x3379 -x3465 -x3551 -x3637 -x3723 -x3809 -x3895 -x3981 -x4067 -x4153 -x4239 -x4325 -x4411 -x4497 -x4583 -x4669 x4755 -x4841 -x4927 -x5013 -x5099 -x5185 -x5271 -x5357 -x5443 -x5529 -x5615 -x198 -x284 -x370 -x456 -x542 -x628 -x714 -x800 -x886 -x972 -x1058 -x1144 -x1230 -x1316 -x1402 -x1488 -x1574 -x1660 -x1746 -x1832 -x1918 -x2004 -x2090 -x2176 -x2262 -x2348 -x2434 -x2520 -x2606 -x2692 -x2778 x2864 -x2950 -x3036 -x3122 -x3208 -x3294 -x3380 -x3466 -x3552 -x3638 -x3724 -x3810 -x3896 -x3982 -x4068 -x4154 -x4240 -x4326 -x4412 -x4498 -x4584 -x4670 -x4756 -x4842 -x4928 -x5014 -x5100 x5186 -x5272 -x5358 -x5444 -x5530 -x5616 -x199 -x285 -x371 -x457 -x543 -x629 -x715 -x801 -x887 -x973 -x1059 -x1145 -x1231 -x1317 -x1403 -x1489 -x1575 -x1661 -x1747 -x1833 -x1919 -x2005 -x2091 -x2177 -x2263 -x2349 -x2435 -x2521 x2607 -x2693 -x2779 -x2865 -x2951 -x3037 -x3123 -x3209 -x3295 -x3381 -x3467 -x3553 -x3639 -x3725 -x3811 -x3897 -x3983 -x4069 -x4155 -x4241 -x4327 -x4413 -x4499 x4585 -x4671 -x4757 -x4843 -x4929 -x5015 -x5101 -x5187 -x5273 -x5359 -x5445 -x5531 -x5617 -x200 -x286 -x372 -x458 -x544 -x630 -x716 -x802 -x888 -x974 -x1060 -x1146 -x1232 -x1318 -x1404 -x1490 -x1576 -x1662 -x1748 -x1834 -x1920 -x2006 -x2092 -x2178 -x2264 -x2350 -x2436 -x2522 -x2608 -x2694 -x2780 x2866 -x2952 -x3038 -x3124 -x3210 -x3296 -x3382 -x3468 -x3554 -x3640 -x3726 -x3812 -x3898 -x3984 -x4070 -x4156 -x4242 -x4328 -x4414 -x4500 -x4586 -x4672 -x4758 -x4844 -x4930 -x5016 x5102 -x5188 -x5274 -x5360 -x5446 -x5532 -x5618 -x201 -x287 -x373 -x459 -x545 -x631 -x717 -x803 -x889 -x975 -x1061 -x1147 -x1233 -x1319 -x1405 -x1491 -x1577 -x1663 -x1749 -x1835 -x1921 -x2007 -x2093 -x2179 -x2265 -x2351 -x2437 -x2523 x2609 -x2695 -x2781 -x2867 -x2953 -x3039 -x3125 -x3211 -x3297 -x3383 -x3469 -x3555 -x3641 -x3727 -x3813 -x3899 -x3985 -x4071 -x4157 -x4243 -x4329 -x4415 -x4501 -x4587 -x4673 -x4759 -x4845 -x4931 -x5017 -x5103 x5189 -x5275 -x5361 -x5447 -x5533 -x5619 x202 -x288 -x374 -x460 -x546 -x632 -x718 -x804 -x890 -x976 -x1062 -x1148 -x1234 -x1320 -x1406 -x1492 -x1578 -x1664 -x1750 -x1836 -x1922 -x2008 -x2094 -x2180 -x2266 -x2352 -x2438 -x2524 -x2610 -x2696 -x2782 -x2868 -x2954 -x3040 -x3126 -x3212 -x3298 -x3384 -x3470 -x3556 -x3642 -x3728 -x3814 -x3900 -x3986 -x4072 -x4158 -x4244 -x4330 -x4416 -x4502 -x4588 -x4674 -x4760 -x4846 -x4932 -x5018 -x5104 x5190 -x5276 -x5362 -x5448 -x5534 -x5620 -x203 -x289 -x375 -x461 -x547 -x633 -x719 -x805 -x891 -x977 -x1063 -x1149 -x1235 -x1321 -x1407 -x1493 -x1579 -x1665 -x1751 -x1837 -x1923 -x2009 -x2095 -x2181 -x2267 -x2353 -x2439 -x2525 x2611 -x2697 -x2783 -x2869 -x2955 -x3041 -x3127 -x3213 -x3299 -x3385 -x3471 -x3557 -x3643 -x3729 -x3815 -x3901 -x3987 -x4073 -x4159 -x4245 -x4331 -x4417 -x4503 -x4589 -x4675 -x4761 -x4847 -x4933 -x5019 -x5105 x5191 -x5277 -x5363 -x5449 -x5535 -x5621 -x204 -x290 -x376 -x462 -x548 -x634 -x720 -x806 -x892 -x978 -x1064 -x1150 -x1236 -x1322 -x1408 -x1494 -x1580 -x1666 -x1752 -x1838 -x1924 -x2010 -x2096 -x2182 -x2268 -x2354 -x2440 -x2526 -x2612 -x2698 -x2784 -x2870 -x2956 -x3042 -x3128 -x3214 -x3300 -x3386 -x3472 -x3558 -x3644 -x3730 -x3816 -x3902 -x3988 -x4074 -x4160 -x4246 -x4332 -x4418 -x4504 -x4590 -x4676 x4762 -x4848 -x4934
16.98/17.07 v -x5020 -x5106 -x5192 -x5278 -x5364 -x5450 -x5536 -x5622 x205 -x291 -x377 -x463 -x549 -x635 -x721 -x807 -x893 -x979 -x1065 -x1151 -x1237 -x1323 -x1409 -x1495 -x1581 -x1667 -x1753 -x1839 -x1925 -x2011 -x2097 -x2183 -x2269 -x2355 -x2441 -x2527 -x2613 -x2699 -x2785 -x2871 -x2957 -x3043 -x3129 -x3215 -x3301 -x3387 -x3473 -x3559 -x3645 -x3731 -x3817 -x3903 -x3989 -x4075 -x4161 -x4247 -x4333 -x4419 -x4505 -x4591 -x4677 -x4763 -x4849 -x4935 -x5021 x5107 -x5193 -x5279 -x5365 -x5451 -x5537 -x5623 -x206 -x292 -x378 -x464 -x550 -x636 -x722 -x808 -x894 -x980 -x1066 -x1152 -x1238 -x1324 -x1410 -x1496 -x1582 -x1668 -x1754 -x1840 -x1926 -x2012 -x2098 -x2184 -x2270 -x2356 -x2442 -x2528 -x2614 -x2700 -x2786 -x2872 -x2958 -x3044 -x3130 -x3216 -x3302 -x3388 -x3474 -x3560 -x3646 -x3732 -x3818 -x3904 -x3990 -x4076 -x4162 -x4248 -x4334 -x4420 -x4506 x4592 -x4678 -x4764 -x4850 -x4936 -x5022 -x5108 -x5194 -x5280 -x5366 -x5452 -x5538 -x5624 -x207 -x293 -x379 -x465 -x551 -x637 -x723 -x809 -x895 -x981 -x1067 -x1153 -x1239 -x1325 -x1411 -x1497 -x1583 -x1669 -x1755 -x1841 -x1927 -x2013 -x2099 -x2185 -x2271 -x2357 -x2443 -x2529 -x2615 -x2701 -x2787 -x2873 -x2959 -x3045 -x3131 -x3217 -x3303 -x3389 -x3475 -x3561 -x3647 -x3733 -x3819 -x3905 -x3991 -x4077 -x4163 -x4249 -x4335 -x4421 -x4507 -x4593 -x4679 -x4765 -x4851 x4937 -x5023 -x5109 -x5195 -x5281 -x5367 -x5453 -x5539 -x5625 -x208 -x294 -x380 -x466 -x552 -x638 -x724 -x810 -x896 -x982 -x1068 -x1154 -x1240 -x1326 -x1412 -x1498 -x1584 -x1670 -x1756 -x1842 -x1928 -x2014 -x2100 -x2186 -x2272 -x2358 -x2444 -x2530 -x2616 -x2702 -x2788 -x2874 -x2960 -x3046 -x3132 -x3218 -x3304 -x3390 -x3476 -x3562 -x3648 -x3734 -x3820 -x3906 -x3992 -x4078 -x4164 x4250 -x4336 -x4422 -x4508 -x4594 -x4680 -x4766 -x4852 -x4938 -x5024 -x5110 -x5196 -x5282 -x5368 -x5454 -x5540 -x5626 -x209 -x295 -x381 -x467 -x553 -x639 -x725 -x811 -x897 -x983 -x1069 -x1155 -x1241 -x1327 -x1413 -x1499 -x1585 -x1671 -x1757 -x1843 -x1929 -x2015 -x2101 -x2187 -x2273 -x2359 -x2445 -x2531 -x2617 -x2703 -x2789 -x2875 -x2961 -x3047 -x3133 -x3219 -x3305 -x3391 -x3477 -x3563 -x3649 -x3735 -x3821 -x3907 -x3993 -x4079 -x4165 x4251 -x4337 -x4423 -x4509 -x4595 -x4681 -x4767 -x4853 -x4939 -x5025 -x5111 -x5197 -x5283 -x5369 -x5455 -x5541 -x5627 -x210 -x296 -x382 -x468 -x554 -x640 -x726 -x812 -x898 -x984 -x1070 -x1156 -x1242 -x1328 -x1414 -x1500 -x1586 -x1672 -x1758 -x1844 -x1930 -x2016 -x2102 -x2188 -x2274 -x2360 -x2446 -x2532 -x2618 -x2704 -x2790 -x2876 -x2962 -x3048 -x3134 -x3220 -x3306 -x3392 -x3478 -x3564 -x3650 -x3736 -x3822 -x3908 x3994 -x4080 -x4166 -x4252 -x4338 -x4424 -x4510 -x4596 -x4682 -x4768 -x4854 -x4940 -x5026 -x5112 -x5198 -x5284 -x5370 -x5456 -x5542 -x5628 -x211 -x297 -x383 -x469 -x555 -x641 -x727 -x813 -x899 -x985 -x1071 -x1157 -x1243 -x1329 -x1415 -x1501 -x1587 -x1673 -x1759 -x1845 -x1931 -x2017 -x2103 -x2189 -x2275 -x2361 -x2447 -x2533 -x2619 -x2705 -x2791 -x2877 -x2963 -x3049 -x3135 -x3221 -x3307 -x3393 -x3479 -x3565 -x3651 -x3737 -x3823 -x3909 -x3995 -x4081 -x4167 -x4253 -x4339 -x4425 -x4511 x4597 -x4683 -x4769 -x4855 -x4941 -x5027 -x5113 -x5199 -x5285 -x5371 -x5457 -x5543 -x5629 x212 -x298 -x384 -x470 -x556 -x642 -x728 -x814 -x900 -x986 -x1072 -x1158 -x1244 -x1330 -x1416 -x1502 -x1588 -x1674 -x1760 -x1846 -x1932 -x2018 -x2104 -x2190 -x2276 -x2362 -x2448 -x2534 -x2620 -x2706 -x2792 -x2878 -x2964 -x3050 -x3136 -x3222 -x3308 -x3394 -x3480 -x3566 -x3652 -x3738 -x3824 -x3910 -x3996 -x4082 -x4168 x4254 -x4340 -x4426 -x4512 -x4598 -x4684 -x4770 -x4856 -x4942 -x5028 -x5114 -x5200 -x5286 -x5372 -x5458 -x5544 -x5630 -x213 -x299 -x385 -x471 -x557 -x643 -x729 -x815 -x901 -x987 -x1073 -x1159 -x1245 -x1331 -x1417 -x1503 -x1589 -x1675 -x1761 -x1847 -x1933 -x2019 -x2105 -x2191 -x2277 -x2363 -x2449 -x2535 -x2621 -x2707 -x2793 -x2879 -x2965 -x3051 -x3137 -x3223 -x3309 -x3395 -x3481 -x3567 -x3653 -x3739 -x3825 -x3911 -x3997 -x4083 -x4169 -x4255 -x4341 x4427 -x4513 -x4599 -x4685 -x4771 -x4857 -x4943 -x5029 -x5115 -x5201 -x5287 -x5373 -x5459 -x5545 -x5631 -x214 -x300 -x386 -x472 -x558 -x644 -x730 -x816 -x902 -x988 -x1074 -x1160 -x1246 -x1332 -x1418 -x1504 -x1590 -x1676 -x1762 -x1848 -x1934 -x2020 -x2106 -x2192 -x2278 -x2364 -x2450 -x2536 -x2622 -x2708 -x2794 -x2880 -x2966 -x3052 -x3138 -x3224 -x3310 -x3396 -x3482 -x3568 -x3654 x3740 -x3826 -x3912 -x3998 -x4084 -x4170 -x4256 -x4342 -x4428 -x4514 -x4600 -x4686 -x4772 -x4858 -x4944 -x5030 -x5116 -x5202 -x5288 -x5374 -x5460 -x5546 -x5632 x215 -x301 -x387 -x473 -x559 -x645 -x731 -x817 -x903 -x989 -x1075 -x1161 -x1247 -x1333 -x1419 -x1505 -x1591 -x1677 -x1763 -x1849 -x1935 -x2021 -x2107 -x2193 -x2279 -x2365 -x2451 -x2537 -x2623 -x2709 -x2795 -x2881 -x2967 -x3053 -x3139 -x3225 -x3311 -x3397 -x3483 -x3569 -x3655 x3741 -x3827 -x3913 -x3999 -x4085 -x4171 -x4257 -x4343 -x4429 -x4515 -x4601 -x4687 -x4773 -x4859 -x4945 -x5031 -x5117 -x5203 -x5289 -x5375 -x5461 -x5547 -x5633 -x216 -x302 -x388 -x474 -x560 -x646 -x732 -x818 -x904 -x990 -x1076 -x1162 -x1248 -x1334 -x1420 -x1506 -x1592 -x1678 -x1764 -x1850 -x1936 -x2022 -x2108 -x2194 -x2280 -x2366 -x2452 -x2538 -x2624 -x2710 -x2796 -x2882 -x2968 -x3054 -x3140 -x3226 -x3312 -x3398 -x3484 -x3570 -x3656 -x3742 -x3828 -x3914 x4000 -x4086 -x4172 -x4258 -x4344 -x4430 -x4516 -x4602 -x4688 -x4774 -x4860 -x4946 -x5032 -x5118 -x5204 -x5290 -x5376 -x5462 -x5548 -x5634 -x217 -x303 -x389 -x475 -x561 -x647 -x733 -x819 -x905 -x991 -x1077 -x1163 -x1249 -x1335 -x1421 -x1507 -x1593 -x1679 -x1765 -x1851 -x1937 -x2023 -x2109 -x2195 -x2281 -x2367 -x2453 -x2539 -x2625 -x2711 -x2797 -x2883 -x2969 -x3055 -x3141 -x3227 -x3313 -x3399 x3485 -x3571 -x3657 -x3743 -x3829 -x3915 -x4001 -x4087 -x4173 -x4259 -x4345 -x4431 -x4517 -x4603 -x4689 -x4775 -x4861 -x4947 -x5033 -x5119 -x5205 -x5291 -x5377 -x5463 -x5549 -x5635 x218 -x304 -x390 -x476 -x562 -x648 -x734 -x820 -x906 -x992 -x1078 -x1164 -x1250 -x1336 -x1422 -x1508 -x1594 -x1680 -x1766 -x1852 -x1938 -x2024 -x2110 -x2196 -x2282 -x2368 -x2454 -x2540 -x2626 -x2712 -x2798 -x2884 -x2970 -x3056 -x3142 -x3228 -x3314 -x3400 -x3486 -x3572 -x3658 x3744 -x3830 -x3916 -x4002 -x4088 -x4174 -x4260 -x4346 -x4432 -x4518 -x4604 -x4690 -x4776 -x4862 -x4948 -x5034 -x5120 -x5206 -x5292 -x5378 -x5464 -x5550 -x5636 -x219 -x305 -x391 -x477 -x563 -x649 -x735 -x821 -x907 -x993 -x1079 -x1165 -x1251 -x1337 -x1423 -x1509 -x1595 -x1681 -x1767 -x1853 -x1939 -x2025 -x2111 -x2197 -x2283 -x2369 -x2455 -x2541 -x2627 -x2713 -x2799 -x2885 -x2971 -x3057 -x3143 -x3229 -x3315 -x3401 -x3487 -x3573 -x3659 x3745 -x3831 -x3917 -x4003 -x4089 -x4175 -x4261 -x4347 -x4433 -x4519 -x4605 -x4691 -x4777 -x4863 -x4949 -x5035 -x5121 -x5207 -x5293 -x5379 -x5465 -x5551 -x5637 -x220 -x306 -x392 -x478 -x564 -x650 -x736 -x822 -x908 -x994 -x1080 -x1166 -x1252 -x1338 -x1424 -x1510 -x1596 -x1682 -x1768 -x1854 -x1940 -x2026 -x2112 -x2198 -x2284 -x2370 -x2456 -x2542 -x2628 -x2714 -x2800 -x2886 -x2972 -x3058 -x3144 -x3230 -x3316 -x3402 -x3488 -x3574 -x3660 x3746 -x3832 -x3918 -x4004 -x4090 -x4176 -x4262 -x4348 -x4434 -x4520 -x4606 -x4692 -x4778 -x4864 -x4950 -x5036 -x5122 -x5208 -x5294 -x5380 -x5466 -x5552 -x5638 -x221 -x307 -x393 -x479 -x565 -x651 -x737 -x823 -x909 -x995 -x1081 -x1167 -x1253 -x1339 -x1425 -x1511 -x1597 -x1683 -x1769 -x1855 -x1941 -x2027 -x2113 -x2199 -x2285 -x2371 -x2457 -x2543 -x2629 -x2715 -x2801 -x2887 -x2973 -x3059 -x3145 -x3231 -x3317 -x3403 x3489 -x3575 -x3661 -x3747 -x3833 -x3919 -x4005 -x4091 -x4177 -x4263 -x4349 -x4435 -x4521 -x4607 -x4693 -x4779 -x4865 -x4951 -x5037 -x5123 -x5209 -x5295 -x5381 -x5467 -x5553 -x5639 -x222 -x308 -x394 -x480 -x566 -x652 -x738 -x824 -x910 -x996 -x1082 -x1168 -x1254 -x1340 -x1426 -x1512 -x1598 -x1684 -x1770 -x1856 -x1942 -x2028 -x2114 -x2200 -x2286 -x2372 -x2458 -x2544 -x2630 -x2716 -x2802 -x2888 -x2974 -x3060 -x3146 -x3232 -x3318 -x3404 x3490 -x3576 -x3662 -x3748 -x3834 -x3920 -x4006 -x4092 -x4178 -x4264 -x4350 -x4436 -x4522 -x4608 -x4694 -x4780 -x4866 -x4952 -x5038 -x5124 -x5210 -x5296 -x5382 -x5468 -x5554 -x5640 -x223 -x309 -x395 -x481 -x567 -x653 -x739 -x825 -x911 -x997 -x1083 -x1169 -x1255 -x1341 -x1427 -x1513 -x1599 -x1685 -x1771 -x1857 -x1943 -x2029 -x2115 -x2201 -x2287 -x2373 -x2459 -x2545 -x2631 -x2717 -x2803 -x2889 -x2975 -x3061 -x3147 -x3233 -x3319 -x3405 x3491 -x3577 -x3663 -x3749 -x3835 -x3921 -x4007 -x4093 -x4179 -x4265 -x4351 -x4437 -x4523 -x4609 -x4695 -x4781 -x4867 -x4953 -x5039 -x5125 -x5211 -x5297 -x5383 -x5469 -x5555 -x5641 -x224 x310 -x396 -x482 -x568 -x654 -x740 -x826 -x912 -x998 -x1084 -x1170 -x1256 -x1342 -x1428 -x1514 -x1600 -x1686 -x1772 -x1858 -x1944 -x2030 -x2116 -x2202 -x2288 -x2374 -x2460 -x2546 -x2632 -x2718 -x2804 x2890 -x2976 -x3062 -x3148 -x3234 -x3320 -x3406 -x3492 -x3578 -x3664 -x3750 -x3836 -x3922 -x4008 -x4094 -x4180 -x4266 -x4352 -x4438 -x4524 -x4610 -x4696 -x4782 -x4868 -x4954 -x5040 -x5126 -x5212 -x5298 -x5384 -x5470 -x5556 -x5642 -x225 -x311 -x397 -x483 -x569 -x655 -x741 -x827 -x913 -x999 -x1085 -x1171 -x1257 -x1343 -x1429 -x1515 -x1601 -x1687 -x1773 -x1859 -x1945 -x2031 -x2117 -x2203 -x2289 -x2375 -x2461 -x2547 -x2633 -x2719 -x2805 x2891 -x2977 -x3063 -x3149 -x3235 -x3321 -x3407 -x3493 -x3579 -x3665 -x3751 -x3837 -x3923 -x4009 -x4095 -x4181 -x4267 -x4353 -x4439 -x4525 -x4611 -x4697 -x4783 -x4869 -x4955 -x5041 -x5127 -x5213 -x5299 -x5385 -x5471 -x5557 -x5643 -x226 -x312 -x398 -x484 -x570 -x656 -x742 -x828 -x914 -x1000 -x1086 -x1172 -x1258 -x1344 -x1430 -x1516 -x1602 -x1688 -x1774 -x1860 -x1946 -x2032 -x2118 -x2204 -x2290 -x2376 -x2462 -x2548 x2634 -x2720 -x2806 -x2892 -x2978 -x3064 -x3150 -x3236 -x3322 -x3408 -x3494 -x3580 -x3666 -x3752 -x3838 -x3924 -x4010 -x4096 -x4182 -x4268 -x4354 -x4440 -x4526 -x4612 -x4698 -x4784 -x4870 -x4956 -x5042 -x5128 -x5214 -x5300 -x5386 -x5472 -x5558 -x5644 -x227 -x313 -x399 -x485 -x571 -x657 -x743 -x829 -x915 -x1001 -x1087 -x1173 -x1259 -x1345 -x1431 -x1517 -x1603 -x1689 -x1775 -x1861 -x1947 -x2033 -x2119 -x2205 -x2291 -x2377 -x2463 -x2549 x2635 -x2721 -x2807 -x2893 -x2979 -x3065 -x3151 -x3237 -x3323 -x3409 -x3495 -x3581 -x3667 -x3753 -x3839 -x3925 -x4011 -x4097 -x4183 -x4269 -x4355 -x4441 -x4527 -x4613 -x4699 -x4785 -x4871 -x4957 -x5043 -x5129 -x5215 -x5301 -x5387 -x5473 -x5559 -x5645 -x228 x314 -x400 -x486 -x572 -x658 -x744 -x830 -x916 -x1002 -x1088 -x1174 -x1260 -x1346 -x1432 -x1518 -x1604 -x1690 -x1776 -x1862 -x1948 -x2034 -x2120 -x2206 -x2292 -x2378 -x2464 -x2550 -x2636 -x2722 -x2808 x2894 -x2980 -x3066 -x3152 -x3238 -x3324 -x3410 -x3496 -x3582 -x3668 -x3754 -x3840 -x3926 -x4012 -x4098 -x4184 -x4270 -x4356 -x4442 -x4528 -x4614 -x4700 -x4786 -x4872 -x4958 -x5044 -x5130 -x5216 -x5302 -x5388 -x5474 -x5560 -x5646 -x229 -x315 -x401 -x487 -x573 -x659 -x745 -x831 -x917 -x1003 -x1089 -x1175 -x1261 -x1347 -x1433 -x1519 -x1605 -x1691 -x1777 -x1863 -x1949 -x2035 -x2121 -x2207 -x2293 -x2379 -x2465 -x2551 -x2637 -x2723 -x2809 x2895 -x2981 -x3067 -x3153 -x3239 -x3325 -x3411 -x3497 -x3583 -x3669 -x3755 -x3841 -x3927 -x4013 -x4099 -x4185 -x4271 -x4357 -x4443 -x4529 -x4615 -x4701 -x4787 -x4873 -x4959 -x5045 -x5131 -x5217 -x5303 -x5389 -x5475 -x5561 -x5647 -x230 x316 -x402 -x488 -x574 -x660 -x746 -x832 -x918 -x1004 -x1090 -x1176 -x1262 -x1348 -x1434 -x1520 -x1606 -x1692 -x1778 -x1864 -x1950 -x2036 -x2122 -x2208 -x2294 -x2380 -x2466 -x2552 -x2638 -x2724 -x2810 x2896 -x2982 -x3068 -x3154 -x3240 -x3326 -x3412 -x3498 -x3584 -x3670 -x3756 -x3842 -x3928 -x4014 -x4100 -x4186 -x4272 -x4358 -x4444 -x4530 -x4616 -x4702 -x4788 -x4874 -x4960 -x5046 -x5132 -x5218 -x5304 -x5390 -x5476 -x5562 -x5648 -x231 -x317 -x403 -x489 -x575 -x661 -x747 -x833 -x919 -x1005 -x1091 -x1177 -x1263 -x1349 -x1435 -x1521 -x1607 -x1693 -x1779 -x1865 -x1951 -x2037 -x2123 -x2209 -x2295 -x2381 -x2467 -x2553 x2639 -x2725 -x2811 -x2897 -x2983 -x3069 -x3155 -x3241 -x3327 -x3413 -x3499 -x3585 -x3671 -x3757 -x3843 -x3929 -x4015 -x4101 -x4187 -x4273 -x4359 -x4445 -x4531 -x4617 -x4703 -x4789 -x4875 -x4961 -x5047 -x5133 -x5219 -x5305 -x5391 -x5477 -x5563 -x5649 x232 -x318 -x404 -x490 -x576 -x662 -x748 -x834 -x920 -x1006 -x1092 -x1178 -x1264 -x1350 -x1436 -x1522 -x1608 -x1694 -x1780 -x1866 -x1952 -x2038 -x2124 -x2210 -x2296 -x2382 -x2468 -x2554 -x2640 -x2726 -x2812 -x2898 -x2984 -x3070 -x3156 -x3242 -x3328 -x3414 -x3500 -x3586 -x3672 -x3758 -x3844 -x3930 -x4016 -x4102 -x4188 -x4274 -x4360 -x4446 -x4532 -x4618 -x4704 -x4790 -x4876 -x4962 -x5048 x5134 -x5220 -x5306 -x5392 -x5478 -x5564 -x5650 -x233 -x319 -x405 -x491 -x577 -x663 -x749 -x835 -x921 -x1007 -x1093 -x1179 -x1265 -x1351 -x1437 -x1523 -x1609 -x1695 -x1781 -x1867 -x1953 -x2039 -x2125 -x2211 -x2297 -x2383 -x2469 -x2555 x2641 -x2727 -x2813 -x2899 -x2985 -x3071 -x3157 -x3243 -x3329 -x3415 -x3501 -x3587 -x3673 -x3759 -x3845 -x3931 -x4017 -x4103 -x4189 -x4275 -x4361 -x4447 -x4533 -x4619 -x4705 -x4791 -x4877 -x4963 -x5049 -x5135 -x5221 -x5307 -x5393 -x5479 -x5565 -x5651 -x234 -x320 -x406 -x492 -x578 -x664 -x750 -x836 -x922 -x1008 -x1094 -x1180 -x1266 -x1352 -x1438 -x1524 -x1610 -x1696 -x1782 -x1868 -x1954 -x2040 -x2126 -x2212 -x2298 -x2384 -x2470 -x2556 -x2642 -x2728 -x2814 -x2900 -x2986 -x3072 -x3158 -x3244 -x3330 -x3416 -x3502 -x3588 -x3674 -x3760 -x3846 -x3932 -x4018 -x4104 -x4190 -x4276 -x4362 -x4448 -x4534 -x4620 -x4706 -x4792 -x4878 x4964 -x5050 -x5136 -x5222 -x5308 -x5394 -x5480 -x5566 -x5652 -x235 -x321 -x407 -x493 -x579 -x665 -x751 -x837 -x923 -x1009 -x1095 -x1181 -x1267 -x1353 -x1439 -x1525 -x1611 -x1697 -x1783 -x1869 -x1955 -x2041 -x2127 -x2213 -x2299 -x2385 -x2471 -x2557 -x2643 -x2729 -x2815 -x2901 -x2987 -x3073 -x3159 -x3245 -x3331 -x3417 -x3503 -x3589 -x3675 -x3761 -x3847 -x3933 -x4019 -x4105 -x4191 -x4277 -x4363 -x4449 -x4535 -x4621 -x4707 -x4793 -x4879 -x4965 -x5051 x5137 -x5223 -x5309 -x5395 -x5481 -x5567 -x5653 -x236 -x322 -x408 -x494 -x580 -x666 -x752 -x838
16.98/17.07 v -x924 -x1010 -x1096 -x1182 -x1268 -x1354 -x1440 -x1526 -x1612 -x1698 -x1784 -x1870 -x1956 -x2042 -x2128 -x2214 -x2300 -x2386 -x2472 -x2558 -x2644 -x2730 -x2816 -x2902 -x2988 -x3074 -x3160 -x3246 -x3332 -x3418 -x3504 -x3590 -x3676 -x3762 -x3848 -x3934 -x4020 -x4106 -x4192 -x4278 -x4364 -x4450 -x4536 -x4622 -x4708 x4794 -x4880 -x4966 -x5052 -x5138 -x5224 -x5310 -x5396 -x5482 -x5568 -x5654 -x237 -x323 -x409 -x495 -x581 -x667 -x753 -x839 -x925 -x1011 -x1097 -x1183 -x1269 -x1355 -x1441 -x1527 -x1613 -x1699 -x1785 -x1871 -x1957 -x2043 -x2129 -x2215 -x2301 -x2387 -x2473 -x2559 -x2645 -x2731 -x2817 -x2903 -x2989 -x3075 -x3161 -x3247 -x3333 -x3419 -x3505 -x3591 -x3677 -x3763 -x3849 -x3935 -x4021 -x4107 -x4193 -x4279 -x4365 -x4451 -x4537 -x4623 -x4709 -x4795 -x4881 x4967 -x5053 -x5139 -x5225 -x5311 -x5397 -x5483 -x5569 -x5655 -x238 -x324 -x410 -x496 -x582 -x668 -x754 -x840 -x926 -x1012 -x1098 -x1184 -x1270 -x1356 -x1442 -x1528 -x1614 -x1700 -x1786 -x1872 -x1958 -x2044 -x2130 -x2216 -x2302 -x2388 -x2474 -x2560 -x2646 -x2732 -x2818 -x2904 -x2990 -x3076 -x3162 -x3248 -x3334 -x3420 -x3506 -x3592 -x3678 -x3764 -x3850 -x3936 -x4022 -x4108 -x4194 -x4280 -x4366 -x4452 -x4538 x4624 -x4710 -x4796 -x4882 -x4968 -x5054 -x5140 -x5226 -x5312 -x5398 -x5484 -x5570 -x5656 -x239 -x325 -x411 -x497 -x583 -x669 -x755 -x841 -x927 -x1013 -x1099 -x1185 -x1271 -x1357 -x1443 -x1529 -x1615 -x1701 -x1787 -x1873 -x1959 -x2045 -x2131 -x2217 -x2303 -x2389 -x2475 -x2561 -x2647 -x2733 -x2819 -x2905 -x2991 -x3077 -x3163 -x3249 -x3335 -x3421 -x3507 -x3593 -x3679 -x3765 -x3851 -x3937 -x4023 -x4109 -x4195 -x4281 -x4367 -x4453 -x4539 -x4625 -x4711 x4797 -x4883 -x4969 -x5055 -x5141 -x5227 -x5313 -x5399 -x5485 -x5571 -x5657 -x240 -x326 -x412 -x498 -x584 -x670 -x756 -x842 -x928 -x1014 -x1100 -x1186 -x1272 -x1358 -x1444 -x1530 -x1616 -x1702 -x1788 -x1874 -x1960 -x2046 -x2132 -x2218 -x2304 -x2390 -x2476 -x2562 -x2648 -x2734 -x2820 -x2906 -x2992 -x3078 -x3164 -x3250 -x3336 -x3422 -x3508 -x3594 -x3680 -x3766 -x3852 -x3938 -x4024 -x4110 -x4196 -x4282 -x4368 x4454 -x4540 -x4626 -x4712 -x4798 -x4884 -x4970 -x5056 -x5142 -x5228 -x5314 -x5400 -x5486 -x5572 -x5658 x241 -x327 -x413 -x499 -x585 -x671 -x757 -x843 -x929 -x1015 -x1101 -x1187 -x1273 -x1359 -x1445 -x1531 -x1617 -x1703 -x1789 -x1875 -x1961 -x2047 -x2133 -x2219 -x2305 -x2391 -x2477 -x2563 -x2649 -x2735 -x2821 -x2907 -x2993 -x3079 -x3165 -x3251 -x3337 -x3423 -x3509 -x3595 -x3681 -x3767 -x3853 -x3939 -x4025 -x4111 -x4197 -x4283 -x4369 -x4455 -x4541 x4627 -x4713 -x4799 -x4885 -x4971 -x5057 -x5143 -x5229 -x5315 -x5401 -x5487 -x5573 -x5659 -x242 -x328 -x414 -x500 -x586 -x672 -x758 -x844 -x930 -x1016 -x1102 -x1188 -x1274 -x1360 -x1446 -x1532 -x1618 -x1704 -x1790 -x1876 -x1962 -x2048 -x2134 -x2220 -x2306 -x2392 -x2478 -x2564 -x2650 -x2736 -x2822 -x2908 -x2994 -x3080 -x3166 -x3252 -x3338 -x3424 -x3510 -x3596 -x3682 -x3768 -x3854 -x3940 -x4026 -x4112 -x4198 -x4284 -x4370 -x4456 -x4542 -x4628 -x4714 -x4800 -x4886 -x4972 -x5058 x5144 -x5230 -x5316 -x5402 -x5488 -x5574 -x5660 x243 -x329 -x415 -x501 -x587 -x673 -x759 -x845 -x931 -x1017 -x1103 -x1189 -x1275 -x1361 -x1447 -x1533 -x1619 -x1705 -x1791 -x1877 -x1963 -x2049 -x2135 -x2221 -x2307 -x2393 -x2479 -x2565 -x2651 -x2737 -x2823 -x2909 -x2995 -x3081 -x3167 -x3253 -x3339 -x3425 -x3511 -x3597 -x3683 -x3769 -x3855 -x3941 -x4027 -x4113 -x4199 -x4285 -x4371 x4457 -x4543 -x4629 -x4715 -x4801 -x4887 -x4973 -x5059 -x5145 -x5231 -x5317 -x5403 -x5489 -x5575 -x5661 -x244 -x330 -x416 -x502 -x588 -x674 -x760 -x846 -x932 -x1018 -x1104 -x1190 -x1276 -x1362 -x1448 -x1534 -x1620 -x1706 -x1792 -x1878 -x1964 -x2050 -x2136 -x2222 -x2308 -x2394 -x2480 -x2566 -x2652 -x2738 -x2824 -x2910 -x2996 -x3082 -x3168 -x3254 -x3340 -x3426 -x3512 -x3598 -x3684 -x3770 -x3856 -x3942 -x4028 -x4114 -x4200 -x4286 -x4372 -x4458 -x4544 -x4630 -x4716 -x4802 -x4888 x4974 -x5060 -x5146 -x5232 -x5318 -x5404 -x5490 -x5576 -x5662 -x245 -x331 -x417 -x503 -x589 -x675 -x761 -x847 -x933 -x1019 -x1105 -x1191 -x1277 -x1363 -x1449 -x1535 -x1621 -x1707 -x1793 -x1879 -x1965 -x2051 -x2137 -x2223 -x2309 -x2395 -x2481 -x2567 -x2653 -x2739 -x2825 -x2911 -x2997 -x3083 -x3169 -x3255 -x3341 -x3427 -x3513 -x3599 -x3685 -x3771 -x3857 -x3943 -x4029 -x4115 -x4201 -x4287 -x4373 -x4459 -x4545 -x4631 -x4717 -x4803 -x4889 -x4975 -x5061 x5147 -x5233 -x5319 -x5405 -x5491 -x5577 -x5663 -x246 -x332 -x418 -x504 -x590 -x676 -x762 -x848 -x934 -x1020 -x1106 -x1192 -x1278 -x1364 -x1450 -x1536 -x1622 -x1708 -x1794 -x1880 -x1966 -x2052 -x2138 -x2224 -x2310 -x2396 -x2482 -x2568 -x2654 -x2740 -x2826 -x2912 -x2998 -x3084 -x3170 -x3256 -x3342 -x3428 -x3514 -x3600 -x3686 -x3772 -x3858 -x3944 -x4030 -x4116 -x4202 -x4288 -x4374 -x4460 -x4546 -x4632 -x4718 x4804 -x4890 -x4976 -x5062 -x5148 -x5234 -x5320 -x5406 -x5492 -x5578 -x5664 -x247 -x333 -x419 -x505 -x591 -x677 -x763 -x849 -x935 -x1021 -x1107 -x1193 -x1279 -x1365 -x1451 -x1537 -x1623 -x1709 -x1795 -x1881 -x1967 -x2053 -x2139 -x2225 -x2311 -x2397 -x2483 -x2569 -x2655 -x2741 -x2827 -x2913 -x2999 -x3085 -x3171 -x3257 -x3343 -x3429 -x3515 -x3601 -x3687 -x3773 -x3859 -x3945 -x4031 -x4117 -x4203 -x4289 -x4375 -x4461 -x4547 -x4633 -x4719 -x4805 -x4891 x4977 -x5063 -x5149 -x5235 -x5321 -x5407 -x5493 -x5579 -x5665 -x248 -x334 -x420 -x506 -x592 -x678 -x764 -x850 -x936 -x1022 -x1108 -x1194 -x1280 -x1366 -x1452 -x1538 -x1624 -x1710 -x1796 -x1882 -x1968 -x2054 -x2140 -x2226 -x2312 -x2398 -x2484 -x2570 -x2656 -x2742 -x2828 -x2914 -x3000 -x3086 -x3172 -x3258 -x3344 -x3430 -x3516 -x3602 -x3688 -x3774 -x3860 -x3946 -x4032 -x4118 -x4204 -x4290 -x4376 -x4462 -x4548 x4634 -x4720 -x4806 -x4892 -x4978 -x5064 -x5150 -x5236 -x5322 -x5408 -x5494 -x5580 -x5666 -x249 -x335 -x421 -x507 -x593 -x679 -x765 -x851 -x937 -x1023 -x1109 -x1195 -x1281 -x1367 -x1453 -x1539 -x1625 -x1711 -x1797 -x1883 -x1969 -x2055 -x2141 -x2227 -x2313 -x2399 -x2485 -x2571 -x2657 -x2743 -x2829 -x2915 -x3001 -x3087 -x3173 -x3259 -x3345 -x3431 -x3517 -x3603 -x3689 -x3775 -x3861 -x3947 -x4033 -x4119 -x4205 -x4291 -x4377 -x4463 -x4549 -x4635 -x4721 x4807 -x4893 -x4979 -x5065 -x5151 -x5237 -x5323 -x5409 -x5495 -x5581 -x5667 x250 -x336 -x422 -x508 -x594 -x680 -x766 -x852 -x938 -x1024 -x1110 -x1196 -x1282 -x1368 -x1454 -x1540 -x1626 -x1712 -x1798 -x1884 -x1970 -x2056 -x2142 -x2228 -x2314 -x2400 -x2486 -x2572 -x2658 -x2744 -x2830 -x2916 -x3002 -x3088 -x3174 -x3260 -x3346 -x3432 -x3518 -x3604 -x3690 -x3776 -x3862 -x3948 -x4034 -x4120 -x4206 -x4292 -x4378 -x4464 -x4550 -x4636 -x4722 -x4808 -x4894 x4980 -x5066 -x5152 -x5238 -x5324 -x5410 -x5496 -x5582 -x5668 -x251 -x337 -x423 -x509 -x595 -x681 -x767 -x853 -x939 -x1025 -x1111 -x1197 -x1283 -x1369 -x1455 -x1541 -x1627 -x1713 -x1799 -x1885 -x1971 -x2057 -x2143 -x2229 -x2315 -x2401 -x2487 -x2573 -x2659 -x2745 -x2831 -x2917 -x3003 -x3089 -x3175 -x3261 -x3347 -x3433 -x3519 -x3605 -x3691 -x3777 -x3863 -x3949 -x4035 -x4121 -x4207 -x4293 -x4379 -x4465 -x4551 x4637 -x4723 -x4809 -x4895 -x4981 -x5067 -x5153 -x5239 -x5325 -x5411 -x5497 -x5583 -x5669 -x252 -x338 -x424 -x510 -x596 -x682 -x768 -x854 -x940 -x1026 -x1112 -x1198 -x1284 -x1370 -x1456 -x1542 -x1628 -x1714 -x1800 -x1886 -x1972 -x2058 -x2144 -x2230 -x2316 -x2402 -x2488 -x2574 -x2660 -x2746 -x2832 -x2918 -x3004 -x3090 -x3176 -x3262 -x3348 -x3434 -x3520 -x3606 -x3692 -x3778 -x3864 -x3950 -x4036 -x4122 -x4208 -x4294 -x4380 -x4466 -x4552 -x4638 -x4724 x4810 -x4896 -x4982 -x5068 -x5154 -x5240 -x5326 -x5412 -x5498 -x5584 -x5670 -x253 x339 -x425 -x511 -x597 -x683 -x769 -x855 -x941 -x1027 -x1113 -x1199 -x1285 -x1371 -x1457 -x1543 -x1629 -x1715 -x1801 -x1887 -x1973 -x2059 -x2145 -x2231 -x2317 -x2403 -x2489 -x2575 -x2661 -x2747 -x2833 -x2919 -x3005 -x3091 -x3177 -x3263 -x3349 -x3435 -x3521 -x3607 -x3693 -x3779 -x3865 -x3951 -x4037 -x4123 -x4209 -x4295 -x4381 -x4467 -x4553 -x4639 -x4725 -x4811 -x4897 x4983 -x5069 -x5155 -x5241 -x5327 -x5413 -x5499 -x5585 -x5671 -x254 x340 -x426 -x512 -x598 -x684 -x770 -x856 -x942 -x1028 -x1114 -x1200 -x1286 -x1372 -x1458 -x1544 -x1630 -x1716 -x1802 -x1888 -x1974 -x2060 -x2146 -x2232 -x2318 -x2404 -x2490 -x2576 -x2662 -x2748 -x2834 -x2920 -x3006 -x3092 -x3178 -x3264 -x3350 -x3436 -x3522 -x3608 -x3694 -x3780 -x3866 -x3952 -x4038 -x4124 -x4210 -x4296 -x4382 -x4468 -x4554 x4640 -x4726 -x4812 -x4898 -x4984 -x5070 -x5156 x5242 -x5328 -x5414 -x5500 -x5586 -x5672 -x255 x341 -x427 -x513 -x599 -x685 -x771 -x857 -x943 -x1029 -x1115 -x1201 -x1287 -x1373 -x1459 -x1545 -x1631 -x1717 -x1803 -x1889 -x1975 -x2061 -x2147 -x2233 -x2319 -x2405 -x2491 -x2577 -x2663 -x2749 -x2835 -x2921 -x3007 -x3093 -x3179 -x3265 -x3351 -x3437 -x3523 -x3609 -x3695 -x3781 -x3867 -x3953 -x4039 -x4125 -x4211 -x4297 -x4383 -x4469 -x4555 -x4641 -x4727 x4813 -x4899 -x4985 -x5071 -x5157 -x5243 -x5329 -x5415 -x5501 -x5587 -x5673 -x256 -x342 -x428 -x514 -x600 -x686 -x772 -x858 -x944 -x1030 -x1116 -x1202 -x1288 -x1374 -x1460 -x1546 -x1632 -x1718 -x1804 -x1890 -x1976 -x2062 -x2148 -x2234 -x2320 -x2406 -x2492 -x2578 -x2664 -x2750 -x2836 -x2922 -x3008 -x3094 -x3180 -x3266 -x3352 -x3438 -x3524 -x3610 -x3696 -x3782 -x3868 -x3954 -x4040 -x4126 -x4212 -x4298 -x4384 x4470 -x4556 -x4642 -x4728 -x4814 -x4900 -x4986 -x5072 -x5158 -x5244 -x5330 -x5416 -x5502 -x5588 -x5674 x257 -x343 -x429 -x515 -x601 -x687 -x773 -x859 -x945 -x1031 -x1117 -x1203 -x1289 -x1375 -x1461 -x1547 -x1633 -x1719 -x1805 -x1891 -x1977 -x2063 -x2149 -x2235 -x2321 -x2407 -x2493 -x2579 -x2665 -x2751 -x2837 -x2923 -x3009 -x3095 -x3181 -x3267 -x3353 -x3439 -x3525 -x3611 -x3697 -x3783 -x3869 -x3955 -x4041 -x4127 -x4213 -x4299 -x4385 -x4471 -x4557 x4643 -x4729 -x4815 -x4901 -x4987 -x5073 -x5159 -x5245 -x5331 -x5417 -x5503 -x5589 -x5675 -x258 -x344 -x430 -x516 -x602 -x688 -x774 -x860 -x946 -x1032 -x1118 -x1204 -x1290 -x1376 -x1462 -x1548 -x1634 -x1720 -x1806 -x1892 -x1978 -x2064 -x2150 -x2236 -x2322 -x2408 -x2494 -x2580 -x2666 -x2752 -x2838 -x2924 -x3010 -x3096 -x3182 -x3268 -x3354 -x3440 -x3526 -x3612 -x3698 -x3784 -x3870 -x3956 -x4042 -x4128 -x4214 -x4300 -x4386 -x4472 -x4558 -x4644 -x4730 -x4816 -x4902 -x4988 -x5074 -x5160 x5246 -x5332 -x5418 -x5504 -x5590 -x5676 -x259 -x345 -x431 -x517 -x603 -x689 -x775 -x861 -x947 -x1033 -x1119 -x1205 -x1291 -x1377 -x1463 -x1549 -x1635 -x1721 -x1807 -x1893 -x1979 -x2065 -x2151 -x2237 -x2323 -x2409 -x2495 -x2581 -x2667 -x2753 -x2839 -x2925 -x3011 -x3097 -x3183 -x3269 -x3355 -x3441 -x3527 -x3613 -x3699 -x3785 -x3871 -x3957 -x4043 -x4129 -x4215 -x4301 -x4387 x4473 -x4559 -x4645 -x4731 -x4817 -x4903 -x4989 -x5075 -x5161 -x5247 -x5333 -x5419 -x5505 -x5591 -x5677 -x260 x346 -x432 -x518 -x604 -x690 -x776 -x862 -x948 -x1034 -x1120 -x1206 -x1292 -x1378 -x1464 -x1550 -x1636 -x1722 -x1808 -x1894 -x1980 -x2066 -x2152 -x2238 -x2324 -x2410 -x2496 -x2582 -x2668 -x2754 -x2840 -x2926 -x3012 -x3098 -x3184 -x3270 -x3356 -x3442 -x3528 -x3614 -x3700 -x3786 -x3872 -x3958 -x4044 -x4130 -x4216 -x4302 -x4388 -x4474 -x4560 -x4646 -x4732 -x4818 -x4904 -x4990 -x5076 -x5162 x5248 -x5334 -x5420 -x5506 -x5592 -x5678 -x5679 -x5680 -x5681 -x5682 -x5683 -x5684 -x5685 -x5686 -x5687 -x5688 -x5689 -x5690 -x5691 -x5692 -x5693 -x5694 -x5695 -x5696 -x5697 -x5698 -x5699 -x5700 -x5701 -x5702 -x5703 -x5704 -x5705 -x5706 -x5707 -x5708 -x5709 -x5710 -x5711 -x5712 -x5713 -x5714 -x5715 -x5716 -x5717 -x5718 -x5719 -x5720 -x5721 -x5722 -x5723 -x5724 -x5725 -x5726 -x5727 -x5728 -x5729 -x5730 -x5731 -x5732 -x5733 -x5734 -x5735 -x5736 -x5737 -x5738 -x5739 -x5740 -x5741 -x5742 -x5743 -x5744 -x5745 -x5746 -x5747 -x5748 -x5749 -x5750 -x5751 -x5752 -x5753 -x5754 -x5755 -x5756 -x5757 -x5758 -x5759 -x5760 -x5761 -x5762 -x5763 -x5764 -x5765 -x5766 -x5767 -x5768 -x5769 -x5770 -x5771 -x5772 -x5773 -x5774 -x5775 -x5776 -x5777 -x5778 -x5779 -x5780 -x5781 -x5782 -x5783 -x5784 -x5785 -x5786 -x5787 -x5788 -x5789 -x5790 -x5791 -x5792 -x5793 -x5794 -x5795 -x5796 -x5797 -x5798 -x5799 -x5800 -x5801 -x5802 -x5803 -x5804 -x5805 -x5806 -x5807 -x5808 -x5809 -x5810 -x5811 -x5812 -x5813 -x5814 -x5815 -x5816 -x5817 -x5818 -x5819 -x5820 -x5821 -x5822 -x5823 -x5824 -x5825 -x5826 -x5827 -x5828 -x5829 -x5830 -x5831 -x5832 -x5833 -x5834 -x5835 -x5836 -x5837 -x5838 -x5839 -x5840 -x5841 -x5842 -x5843 -x5844 -x5845 -x5846 -x5847 -x5848 -x5849 -x5850 -x5851 -x5852 -x5853 -x5854 -x5855 -x5856 -x5857 -x5858 -x5859 -x5860 -x5861 -x5862 -x5863 -x5864 -x5865 -x5866 -x5867 -x5868 -x5869 -x5870 -x5871 -x5872 -x5873 -x5874 -x5875 -x5876 -x5877 -x5878 -x5879 -x5880 -x5881 -x5882 -x5883 -x5884 -x5885 -x5886 -x5887 -x5888 -x5889 -x5890 -x5891 -x5892 -x5893 -x5894 -x5895 -x5896 -x5897 -x5898 -x5899 -x5900 -x5901 -x5902 -x5903 -x5904 -x5905 -x5906 -x5907 -x5908 -x5909 -x5910 -x5911 -x5912 -x5913 -x5914 -x5915 -x5916 -x5917 -x5918 -x5919 -x5920 -x5921 -x5922 -x5923 -x5924 -x5925 -x5926 -x5927 -x5928 -x5929 -x5930 -x5931 -x5932 -x5933 -x5934 -x5935 -x5936 -x5937 -x5938 -x5939 -x5940 -x5941 -x5942 -x5943 -x5944 -x5945 -x5946 -x5947 -x5948 -x5949 x5950 x5951 -x5952 -x5953 -x5954 x5955 x5956 -x5957 -x5958 -x5959 -x5960 -x5961 -x5962 -x5963 -x5964 -x5965 -x5966 -x5967 -x5968 -x5969 -x5970 -x5971 -x5972 -x5973 -x5974 -x5975 -x5976 -x5977 -x5978 -x5979 -x5980 -x5981 -x5982 -x5983 -x5984 -x5985 -x5986 -x5987 -x5988 -x5989 -x5990 -x5991 -x5992 -x5993 -x5994 -x5995 -x5996 -x5997 -x5998 -x5999 -x6000 -x6001 -x6002 -x6003 -x6004 -x6005 -x6006 -x6007 -x6008 -x6009 -x6010 -x6011 -x6012 -x6013 -x6014 -x6015 -x6016 -x6017 -x6018 -x6019 -x6020 -x6021 -x6022 -x6023 -x6024 -x6025 -x6026 -x6027 -x6028 -x6029 -x6030 -x6031 -x6032 -x6033 -x6034 -x6035 -x6036 -x6037 -x6038 -x6039 -x6040 -x6041 -x6042 -x6043 -x6044 -x6045 -x6046 -x6047 -x6048 -x6049 -x6050 -x6051 -x6052 -x6053 -x6054 -x6055 -x6056 -x6057 -x6058 -x6059 -x6060 -x6061 -x6062 -x6063 -x6064 -x6065 -x6066 -x6067 -x6068 -x6069 -x6070 -x6071 -x6072 -x6073 -x6074 -x6075 -x6076 -x6077 -x6078 -x6079 -x6080 -x6081 -x6082 -x6083 -x6084 -x6085 -x6086
16.98/17.07 v -x6087 -x6088 -x6089 -x6090 -x6091 -x6092 -x6093 -x6094 -x6095 -x6096 -x6097 -x6098 -x6099 -x6100 -x6101 -x6102 -x6103 -x6104 -x6105 -x6106 -x6107 -x6108 -x6109 -x6110 -x6111 -x6112 -x6113 -x6114 -x6115 -x6116 -x6117 -x6118 -x6119 x6120 x6121 -x6122 -x6123 x6124 x6125 x6126 -x6127 -x6128 -x6129 -x6130 -x6131 -x6132 -x6133 -x6134 -x6135 -x6136 -x6137 -x6138 -x6139 -x6140 -x6141 -x6142 -x6143 -x6144 -x6145 -x6146 -x6147 -x6148 -x6149 -x6150 -x6151 -x6152 -x6153 -x6154 -x6155 -x6156 -x6157 -x6158 -x6159 -x6160 -x6161 -x6162 -x6163 -x6164 -x6165 -x6166 -x6167 -x6168 -x6169 -x6170 -x6171 -x6172 -x6173 -x6174 -x6175 -x6176 -x6177 -x6178 -x6179 -x6180 -x6181 -x6182 -x6183 -x6184 -x6185 -x6186 -x6187 -x6188 -x6189 -x6190 -x6191 -x6192 -x6193 -x6194 -x6195 -x6196 -x6197 -x6198 -x6199 -x6200 -x6201 -x6202 -x6203 -x6204 -x6205 -x6206 -x6207 -x6208 -x6209 -x6210 -x6211 -x6212 -x6213 -x6214 -x6215 -x6216 -x6217 -x6218 -x6219 -x6220 -x6221 -x6222 -x6223 -x6224 -x6225 -x6226 -x6227 -x6228 -x6229 -x6230 -x6231 -x6232 -x6233 -x6234 -x6235 -x6236 -x6237 -x6238 -x6239 -x6240 -x6241 -x6242 -x6243 -x6244 -x6245 -x6246 -x6247 -x6248 -x6249 -x6250 -x6251 -x6252 -x6253 -x6254 -x6255 -x6256 -x6257 -x6258 -x6259 -x6260 -x6261 -x6262 -x6263 -x6264 -x6265 -x6266 -x6267 -x6268 -x6269 -x6270 -x6271 -x6272 -x6273 -x6274 -x6275 -x6276 -x6277 -x6278 -x6279 -x6280 -x6281 -x6282 -x6283 -x6284 -x6285 -x6286 -x6287 -x6288 -x6289 -x6290 -x6291 -x6292 -x6293 -x6294 -x6295 -x6296 -x6297 -x6298 -x6299 -x6300 -x6301 -x6302 -x6303 -x6304 -x6305 -x6306 -x6307 -x6308 -x6309 -x6310 -x6311 -x6312 -x6313 -x6314 -x6315 -x6316 -x6317 -x6318 -x6319 -x6320 -x6321 -x6322 -x6323 -x6324 -x6325 -x6326 -x6327 -x6328 -x6329 -x6330 -x6331 -x6332 -x6333 -x6334 -x6335 -x6336 -x6337 -x6338 -x6339 -x6340 -x6341 -x6342 -x6343 -x6344 -x6345 -x6346 -x6347 -x6348 -x6349 -x6350 -x6351 -x6352 -x6353 -x6354 -x6355 -x6356 -x6357 -x6358 -x6359 -x6360 -x6361 -x6362 -x6363 -x6364 -x6365 -x6366 -x6367 -x6368 -x6369 -x6370 -x6371 -x6372 -x6373 -x6374 -x6375 -x6376 -x6377 -x6378 -x6379 -x6380 -x6381 -x6382 -x6383 -x6384 -x6385 -x6386 -x6387 -x6388 -x6389 -x6390 -x6391 -x6392 -x6393 -x6394 -x6395 -x6396 -x6397 -x6398 -x6399 -x6400 -x6401 -x6402 -x6403 -x6404 -x6405 -x6406 -x6407 -x6408 -x6409 -x6410 -x6411 -x6412 -x6413 -x6414 -x6415 -x6416 -x6417 -x6418 -x6419 -x6420 -x6421 -x6422 -x6423 -x6424 -x6425 -x6426 -x6427 -x6428 -x6429 -x6430 -x6431 -x6432 -x6433 -x6434 -x6435 -x6436 -x6437 -x6438 -x6439 -x6440 -x6441 -x6442 -x6443 -x6444 -x6445 -x6446 -x6447 -x6448 -x6449 -x6450 -x6451 -x6452 -x6453 -x6454 -x6455 -x6456 -x6457 -x6458 -x6459 -x6460 -x6461 -x6462 -x6463 -x6464 -x6465 -x6466 -x6467 -x6468 -x6469 -x6470 -x6471 -x6472 -x6473 -x6474 -x6475 -x6476 -x6477 -x6478 -x6479 -x6480 -x6481 -x6482 -x6483 -x6484 -x6485 -x6486 -x6487 -x6488 -x6489 -x6490 -x6491 -x6492 -x6493 -x6494 -x6495 -x6496 -x6497 -x6498 -x6499 -x6500 -x6501 -x6502 -x6503 -x6504 -x6505 -x6506 -x6507 -x6508 -x6509 -x6510 -x6511 -x6512 -x6513 -x6514 -x6515 -x6516 -x6517 -x6518 -x6519 -x6520 -x6521 -x6522 -x6523 -x6524 -x6525 -x6526 -x6527 -x6528 -x6529 -x6530 -x6531 -x6532 -x6533 -x6534 -x6535 -x6536 -x6537 -x6538 -x6539 -x6540 -x6541 -x6542 -x6543 -x6544 -x6545 -x6546 -x6547 -x6548 -x6549 -x6550 -x6551 -x6552 -x6553 -x6554 -x6555 -x6556 -x6557 -x6558 -x6559 -x6560 -x6561 -x6562 -x6563 -x6564 -x6565 -x6566 -x6567 -x6568 -x6569 -x6570 -x6571 -x6572 -x6573 -x6574 -x6575 -x6576 -x6577 -x6578 -x6579 -x6580 -x6581 -x6582 -x6583 -x6584 -x6585 -x6586 -x6587 -x6588 -x6589 -x6590 -x6591 -x6592 -x6593 -x6594 -x6595 -x6596 -x6597 -x6598 -x6599 -x6600 -x6601 -x6602 -x6603 -x6604 -x6605 -x6606 -x6607 -x6608 -x6609 -x6610 -x6611 -x6612 -x6613 -x6614 -x6615 -x6616 -x6617 -x6618 -x6619 -x6620 -x6621 -x6622 -x6623 -x6624 -x6625 -x6626 -x6627 -x6628 -x6629 -x6630 -x6631 -x6632 -x6633 -x6634 -x6635 -x6636 -x6637 -x6638 -x6639 -x6640 -x6641 -x6642 -x6643 -x6644 -x6645 -x6646 -x6647 -x6648 -x6649 -x6650 -x6651 -x6652 -x6653 -x6654 -x6655 -x6656 -x6657 -x6658 -x6659 -x6660 -x6661 -x6662 -x6663 -x6664 -x6665 -x6666 -x6667 -x6668 -x6669 -x6670 -x6671 -x6672 -x6673 -x6674 -x6675 -x6676 -x6677 -x6678 -x6679 -x6680 -x6681 -x6682 -x6683 -x6684 -x6685 -x6686 -x6687 -x6688 -x6689 -x6690 -x6691 -x6692 -x6693 -x6694 -x6695 -x6696 -x6697 -x6698 -x6699 -x6700 -x6701 -x6702 -x6703 -x6704 -x6705 -x6706 -x6707 -x6708 -x6709 -x6710 -x6711 -x6712 -x6713 x6714 x6715 -x6716 -x6717 -x6718 x6719 x6720 x6721 -x6722 -x6723 -x6724 -x6725 -x6726 -x6727 -x6728 -x6729 -x6730 -x6731 -x6732 -x6733 -x6734 -x6735 -x6736 -x6737 -x6738 -x6739 -x6740 -x6741 -x6742 -x6743 -x6744 -x6745 -x6746 -x6747 -x6748 -x6749 -x6750 -x6751 -x6752 -x6753 -x6754 -x6755 -x6756 -x6757 -x6758 -x6759 -x6760 -x6761 -x6762 -x6763 -x6764 -x6765 -x6766 -x6767 -x6768 -x6769 -x6770 -x6771 x6772 -x6773 -x6774 -x6775 x6776 -x6777 -x6778 -x6779 -x6780 -x6781 -x6782 -x6783 -x6784 -x6785 -x6786 -x6787 -x6788 -x6789 -x6790 -x6791 -x6792 -x6793 -x6794 -x6795 -x6796 -x6797 -x6798 -x6799 -x6800 -x6801 -x6802 -x6803 -x6804 -x6805 -x6806 -x6807 -x6808 -x6809 -x6810 -x6811 -x6812 -x6813 -x6814 -x6815 -x6816 -x6817 -x6818 -x6819 -x6820 -x6821 -x6822 -x6823 -x6824 -x6825 -x6826 -x6827 -x6828 -x6829 -x6830 -x6831 -x6832 -x6833 -x6834 -x6835 -x6836 -x6837 -x6838 -x6839 -x6840 -x6841 -x6842 -x6843 -x6844 -x6845 -x6846 -x6847 -x6848 -x6849 -x6850 -x6851 -x6852 -x6853 -x6854 -x6855 -x6856 -x6857 -x6858 -x6859 -x6860 -x6861 -x6862 -x6863 -x6864 -x6865 -x6866 -x6867 -x6868 -x6869 -x6870 -x6871 -x6872 -x6873 -x6874 -x6875 -x6876 -x6877 -x6878 -x6879 -x6880 -x6881 -x6882 -x6883 -x6884 -x6885 -x6886 -x6887 -x6888 -x6889 -x6890 -x6891 -x6892 -x6893 -x6894 -x6895 -x6896 -x6897 -x6898 -x6899 -x6900 -x6901 -x6902 -x6903 -x6904 -x6905 -x6906 -x6907 -x6908 -x6909 -x6910 -x6911 -x6912 -x6913 -x6914 -x6915 -x6916 -x6917 -x6918 -x6919 -x6920 -x6921 -x6922 -x6923 -x6924 -x6925 -x6926 -x6927 -x6928 -x6929 -x6930 -x6931 -x6932 -x6933 -x6934 -x6935 -x6936 -x6937 -x6938 -x6939 -x6940 -x6941 -x6942 -x6943 -x6944 -x6945 -x6946 -x6947 -x6948 -x6949 -x6950 -x6951 -x6952 -x6953 -x6954 -x6955 -x6956 -x6957 -x6958 -x6959 -x6960 -x6961 -x6962 -x6963 -x6964 -x6965 -x6966 -x6967 -x6968 -x6969 -x6970 -x6971 -x6972 -x6973 -x6974 -x6975 -x6976 -x6977 -x6978 -x6979 -x6980 -x6981 -x6982 -x6983 -x6984 -x6985 -x6986 -x6987 -x6988 -x6989 -x6990 -x6991 -x6992 -x6993 -x6994 -x6995 -x6996 -x6997 -x6998 -x6999 -x7000 -x7001 -x7002 -x7003 -x7004 -x7005 -x7006 -x7007 -x7008 -x7009 -x7010 -x7011 -x7012 -x7013 -x7014 -x7015 -x7016 -x7017 -x7018 -x7019 -x7020 -x7021 -x7022 -x7023 -x7024 -x7025 -x7026 -x7027 -x7028 -x7029 -x7030 -x7031 -x7032 -x7033 -x7034 -x7035 -x7036 -x7037 -x7038 -x7039 -x7040 -x7041 -x7042 -x7043 -x7044 -x7045 -x7046 -x7047 -x7048 -x7049 -x7050 -x7051 -x7052 -x7053 -x7054 -x7055 -x7056 -x7057 -x7058 -x7059 -x7060 -x7061 x7062 -x7063 -x7064 -x7065 -x7066 -x7067 -x7068 -x7069 -x7070 -x7071 -x7072 -x7073 -x7074 -x7075 -x7076 -x7077 -x7078 -x7079 -x7080 -x7081 -x7082 -x7083 -x7084 -x7085 -x7086 -x7087 -x7088 x7089 -x7090 -x7091 -x7092 -x7093 -x7094 -x7095 -x7096 -x7097 -x7098 -x7099 -x7100 -x7101 -x7102 -x7103 -x7104 x7105 -x7106 -x7107 -x7108 -x7109 -x7110 -x7111 -x7112 -x7113 -x7114 -x7115 -x7116 -x7117 -x7118 x7119 -x7120 -x7121 -x7122 -x7123 -x7124 -x7125 -x7126 -x7127 x7128 -x7129 -x7130 -x7131 -x7132 -x7133 -x7134 -x7135 -x7136 -x7137 -x7138 -x7139 -x7140 -x7141 x7142 -x7143 -x7144 -x7145 -x7146 x7147 -x7148 -x7149 -x7150 -x7151 -x7152 -x7153 -x7154 -x7155 -x7156 -x7157 -x7158 -x7159 -x7160 -x7161 -x7162 -x7163 -x7164 -x7165 -x7166 -x7167 -x7168 -x7169 -x7170 -x7171 -x7172 -x7173 x7174 -x7175 -x7176 x7177 -x7178 -x7179 -x7180 -x7181 -x7182 -x7183 -x7184 -x7185 -x7186 x7187 -x7188 -x7189 -x7190 -x7191 -x7192 -x7193 -x7194 -x7195 -x7196 -x7197 -x7198 -x7199 -x7200 -x7201 -x7202 -x7203 x7204 -x7205 -x7206 -x7207 -x7208 -x7209 -x7210 -x7211 -x7212 x7213 -x7214 x7215 -x7216 -x7217 -x7218 -x7219 -x7220 -x7221 x7222 -x7223 -x7224 -x7225 -x7226 -x7227 -x7228 -x7229 -x7230 -x7231 x7232 -x7233 -x7234 -x7235 -x7236 -x7237 -x7238 -x7239 -x7240 -x7241 -x7242 -x7243 -x7244 -x7245 -x7246 -x7247 -x7248 -x7249 -x7250 -x7251 -x7252 -x7253 -x7254 -x7255 -x7256 -x7257 -x7258 -x7259 -x7260 -x7261 x7262 -x7263 -x7264 -x7265 -x7266 -x7267 -x7268 -x7269 -x7270 -x7271 -x7272 -x7273 -x7274 x7275 -x7276 -x7277 x7278 -x7279 -x7280 -x7281 -x7282 -x7283 -x7284 -x7285 -x7286 -x7287 -x7288 x7289 -x7290 -x7291 -x7292 -x7293 -x7294 -x7295 -x7296 -x7297 x7298 -x7299 -x7300 -x7301 -x7302 -x7303 -x7304 -x7305 -x7306 -x7307 -x7308 -x7309 -x7310 -x7311 -x7312 -x7313 -x7314 -x7315 -x7316 -x7317 -x7318 -x7319 -x7320 -x7321 -x7322 -x7323 -x7324 -x7325 -x7326 -x7327 -x7328 -x7329 -x7330 -x7331 -x7332 -x7333 -x7334 -x7335 -x7336 -x7337 -x7338 -x7339 -x7340 -x7341 -x7342 -x7343 -x7344 -x7345 -x7346 -x7347 -x7348 -x7349 -x7350 -x7351 -x7352 -x7353 -x7354 -x7355 -x7356 -x7357 -x7358 -x7359 -x7360 -x7361 -x7362 -x7363 -x7364 x7365 -x7366 x7367 -x7368 x7369 -x7370 -x7371 -x7372 x7373 -x7374 -x7375 -x7376 -x7377 -x7378 -x7379 -x7380 -x7381 -x7382 -x7383 -x7384 -x7385 -x7386 -x7387 -x7388 -x7389 -x7390 -x7391 -x7392 -x7393 -x7394 -x7395 x7396 x7397 -x7398 -x7399 -x7400 -x7401 -x7402 -x7403 -x7404 -x7405 -x7406 -x7407 -x7408 -x7409 -x7410 -x7411 -x7412 -x7413 -x7414 -x7415 -x7416 -x7417 -x7418 -x7419 -x7420 -x7421 -x7422 -x7423 -x7424 -x7425 -x7426 -x7427 -x7428 -x7429 -x7430 -x7431 -x7432 -x7433 -x7434 -x7435 -x7436 -x7437 -x7438 -x7439 -x7440 -x7441 -x7442 -x7443 -x7444 -x7445 -x7446 -x7447 -x7448 -x7449 -x7450 -x7451 -x7452 -x7453 -x7454 -x7455 -x7456 -x7457 -x7458 -x7459 -x7460 -x7461 -x7462 -x7463 -x7464 -x7465 -x7466 -x7467 -x7468 -x7469 -x7470 -x7471 -x7472 -x7473 -x7474 -x7475 -x7476 -x7477 -x7478 -x7479 -x7480 -x7481 -x7482 -x7483 -x7484 -x7485 -x7486 x7487 -x7488 -x7489 -x7490 -x7491 -x7492 -x7493 -x7494 -x7495 -x7496 -x7497 -x7498 -x7499 -x7500 -x7501 -x7502 -x7503 -x7504 -x7505 -x7506 -x7507 -x7508 -x7509 -x7510 -x7511 -x7512 -x7513 x7514 -x7515 -x7516 x7517 -x7518 -x7519 -x7520 -x7521 -x7522 -x7523 x7524 -x7525 -x7526 x7527 -x7528 -x7529 x7530 -x7531 -x7532 -x7533 -x7534 -x7535 -x7536 -x7537 -x7538 -x7539 -x7540 -x7541 -x7542 -x7543 x7544 -x7545 -x7546 -x7547 -x7548 -x7549 -x7550 -x7551 -x7552 -x7553 -x7554 x7555 -x7556 -x7557 -x7558 -x7559 -x7560 -x7561 x7562 -x7563 -x7564 -x7565 -x7566 -x7567 -x7568 -x7569 -x7570 -x7571 -x7572 -x7573 -x7574 -x7575 -x7576 -x7577 -x7578 -x7579 -x7580 -x7581 -x7582 -x7583 -x7584 -x7585 -x7586 -x7587 -x7588 -x7589 -x7590 -x7591 -x7592 -x7593 -x7594 -x7595 -x7596 -x7597 -x7598 -x7599 -x7600 -x7601 x7602 -x7603 -x7604 -x7605 -x7606 -x7607 -x7608 x7609 -x7610 -x7611 x7612 -x7613 -x7614 x7615 -x7616 -x7617 x7618 -x7619 -x7620 -x7621 -x7622 -x7623 -x7624 -x7625 -x7626 -x7627 -x7628 x7629 -x7630 -x7631 -x7632 -x7633 -x7634 -x7635 -x7636 -x7637 x7638 -x7639 x7640 -x7641 -x7642 -x7643 -x7644 -x7645 -x7646 x7647 -x7648 -x7649 -x7650 -x7651 -x7652 -x7653 -x7654 -x7655 -x7656 x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 x137 -x138 x139 -x140 x141 -x142 x143 -x144 x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 x168 x169 x170 -x171 -x172 x173 x174
runsolver Copyright (C) 2010-2013 Olivier ROUSSEL
This is runsolver version 3.3.7 (svn: 2553)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4098061-1466118440/watcher-4098061-1466118440 -o /tmp/evaluation-result-4098061-1466118440/solver-4098061-1466118440 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node126-1466118432-29317 --watchdog 1960 naps-1.02 HOME/instance-4098061-1466118440.opb
pid=29574
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.10 1.48 1.78 3/176 29577
/proc/meminfo: memFree=31605564/32872528 swapFree=338160/354512
[pid=29577] ppid=29574 vsize=6420 CPUtime=0 cores=0,2,4,6
/proc/29577/stat : 29577 (naps-1.02) R 29574 29577 27941 0 -1 4202496 312 0 0 0 0 0 0 0 20 0 1 0 13890740 6574080 187 33554432000 4194304 5796924 140733901570016 140735377102152 5183584 0 0 4096 17954 0 0 0 17 0 0 0 0 0 0
/proc/29577/statm: 1605 187 127 392 0 1204 0
[startup+0.100178 s]
/proc/loadavg: 1.10 1.48 1.78 3/176 29577
/proc/meminfo: memFree=31605564/32872528 swapFree=338160/354512
[pid=29577] ppid=29574 vsize=8140 CPUtime=0.08 cores=0,2,4,6
/proc/29577/stat : 29577 (naps-1.02) R 29574 29577 27941 0 -1 4202496 729 0 0 0 8 0 0 0 20 0 1 0 13890740 8335360 604 33554432000 4194304 5796924 140733901570016 140733901569240 5183584 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/29577/statm: 2035 604 127 392 0 1634 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 8140
[startup+0.200398 s]
/proc/loadavg: 1.10 1.48 1.78 3/176 29577
/proc/meminfo: memFree=31605564/32872528 swapFree=338160/354512
[pid=29577] ppid=29574 vsize=8280 CPUtime=0.19 cores=0,2,4,6
/proc/29577/stat : 29577 (naps-1.02) R 29574 29577 27941 0 -1 4202496 776 0 0 0 19 0 0 0 20 0 1 0 13890740 8478720 651 33554432000 4194304 5796924 140733901570016 140733901569240 5093096 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/29577/statm: 2070 651 127 392 0 1669 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 8280
[startup+0.300265 s]
/proc/loadavg: 1.10 1.48 1.78 3/176 29577
/proc/meminfo: memFree=31605564/32872528 swapFree=338160/354512
[pid=29577] ppid=29574 vsize=8404 CPUtime=0.28 cores=0,2,4,6
/proc/29577/stat : 29577 (naps-1.02) R 29574 29577 27941 0 -1 4202496 837 0 0 0 28 0 0 0 20 0 1 0 13890740 8605696 712 33554432000 4194304 5796924 140733901570016 140733901569240 5183584 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/29577/statm: 2101 712 127 392 0 1700 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 8404
[startup+0.700248 s]
/proc/loadavg: 1.10 1.48 1.78 3/176 29577
/proc/meminfo: memFree=31605564/32872528 swapFree=338160/354512
[pid=29577] ppid=29574 vsize=9348 CPUtime=0.68 cores=0,2,4,6
/proc/29577/stat : 29577 (naps-1.02) R 29574 29577 27941 0 -1 4202496 1133 0 0 0 68 0 0 0 20 0 1 0 13890740 9572352 1007 33554432000 4194304 5796924 140733901570016 140733901569240 5183584 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/29577/statm: 2337 1007 127 392 0 1936 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 9348
[startup+1.50026 s]
/proc/loadavg: 1.17 1.49 1.78 4/177 29578
/proc/meminfo: memFree=31599656/32872528 swapFree=338160/354512
[pid=29577] ppid=29574 vsize=10488 CPUtime=1.48 cores=0,2,4,6
/proc/29577/stat : 29577 (naps-1.02) R 29574 29577 27941 0 -1 4202496 1426 0 0 0 148 0 0 0 20 0 1 0 13890740 10739712 1806 33554432000 4194304 5796924 140733901570016 140733901569240 5183584 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/29577/statm: 2622 1806 127 392 0 2221 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 10488
[startup+3.10024 s]
/proc/loadavg: 1.17 1.49 1.78 3/177 29578
/proc/meminfo: memFree=31593572/32872528 swapFree=338160/354512
[pid=29577] ppid=29574 vsize=14860 CPUtime=3.09 cores=0,2,4,6
/proc/29577/stat : 29577 (naps-1.02) R 29574 29577 27941 0 -1 4202496 3318 0 0 0 308 1 0 0 20 0 1 0 13890740 15216640 2946 33554432000 4194304 5796924 140733901570016 140733901569288 4648638 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/29577/statm: 3715 2946 147 392 0 3314 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 14860
[startup+6.30028 s]
/proc/loadavg: 1.32 1.51 1.78 3/177 29578
/proc/meminfo: memFree=31575108/32872528 swapFree=338160/354512
[pid=29577] ppid=29574 vsize=25592 CPUtime=6.29 cores=0,2,4,6
/proc/29577/stat : 29577 (naps-1.02) R 29574 29577 27941 0 -1 4202496 6163 0 0 0 627 2 0 0 20 0 1 0 13890740 26206208 5684 33554432000 4194304 5796924 140733901570016 140733901567656 4606799 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/29577/statm: 6398 5684 166 392 0 5997 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 25592
[startup+12.7002 s]
/proc/loadavg: 1.37 1.52 1.78 3/177 29578
/proc/meminfo: memFree=31541776/32872528 swapFree=338160/354512
[pid=29577] ppid=29574 vsize=75336 CPUtime=12.68 cores=0,2,4,6
/proc/29577/stat : 29577 (naps-1.02) R 29574 29577 27941 0 -1 4202496 9129 0 0 0 1264 4 0 0 20 0 1 0 13890740 77144064 15140 33554432000 4194304 5796924 140733901570016 140733901567304 4606555 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/29577/statm: 18834 15140 166 392 0 18433 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 75336
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 29577 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+12.8003 s]
/proc/loadavg: 1.37 1.52 1.78 3/177 29578
/proc/meminfo: memFree=31541776/32872528 swapFree=338160/354512
[pid=29577] ppid=29574 vsize=75336 CPUtime=12.78 cores=0,2,4,6
/proc/29577/stat : 29577 (naps-1.02) R 29574 29577 27941 0 -1 4202496 9130 0 0 0 1274 4 0 0 20 0 1 0 13890740 77144064 15652 33554432000 4194304 5796924 140733901570016 140733901567304 4606789 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/29577/statm: 18834 15652 166 392 0 18433 0
Current children cumulated CPU time (s) 12.78
Current children cumulated vsize (KiB) 75336
[startup+14.4072 s]
/proc/loadavg: 1.37 1.52 1.78 3/177 29578
/proc/meminfo: memFree=31522312/32872528 swapFree=338160/354512
[pid=29577] ppid=29574 vsize=94304 CPUtime=14.39 cores=0,2,4,6
/proc/29577/stat : 29577 (naps-1.02) R 29574 29577 27941 0 -1 4202496 9177 0 0 0 1435 4 0 0 20 0 1 0 13890740 96567296 18254 33554432000 4194304 5796924 140733901570016 140733901567656 4596172 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/29577/statm: 23576 18254 166 392 0 23175 0
Current children cumulated CPU time (s) 14.39
Current children cumulated vsize (KiB) 94304
[startup+16.0003 s]
/proc/loadavg: 1.42 1.53 1.79 3/177 29578
/proc/meminfo: memFree=31516168/32872528 swapFree=338160/354512
[pid=29577] ppid=29574 vsize=94304 CPUtime=15.98 cores=0,2,4,6
/proc/29577/stat : 29577 (naps-1.02) R 29574 29577 27941 0 -1 4202496 9181 0 0 0 1594 4 0 0 20 0 1 0 13890740 96567296 20302 33554432000 4194304 5796924 140733901570016 140733901567656 4607258 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/29577/statm: 23576 20302 166 392 0 23175 0
Current children cumulated CPU time (s) 15.98
Current children cumulated vsize (KiB) 94304
[startup+16.8003 s]
/proc/loadavg: 1.42 1.53 1.79 3/177 29578
/proc/meminfo: memFree=31548040/32872528 swapFree=338160/354512
[pid=29577] ppid=29574 vsize=52228 CPUtime=16.78 cores=0,2,4,6
/proc/29577/stat : 29577 (naps-1.02) R 29574 29577 27941 0 -1 4202496 9704 0 0 0 1673 5 0 0 20 0 1 0 13890740 53481472 12202 33554432000 4194304 5796924 140733901570016 140733901567656 4607192 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/29577/statm: 13057 12202 166 392 0 12656 0
Current children cumulated CPU time (s) 16.78
Current children cumulated vsize (KiB) 52228
[startup+17.0002 s]
/proc/loadavg: 1.42 1.53 1.79 3/177 29578
/proc/meminfo: memFree=31548040/32872528 swapFree=338160/354512
[pid=29577] ppid=29574 vsize=52228 CPUtime=16.98 cores=0,2,4,6
/proc/29577/stat : 29577 (naps-1.02) R 29574 29577 27941 0 -1 4202496 9704 0 0 0 1693 5 0 0 20 0 1 0 13890740 53481472 12202 33554432000 4194304 5796924 140733901570016 140733901567656 4592040 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/29577/statm: 13057 12202 166 392 0 12656 0
Current children cumulated CPU time (s) 16.98
Current children cumulated vsize (KiB) 52228
Child status: 20
Real time (s): 17.0773
CPU time (s): 17.0684
CPU user time (s): 17.0144
CPU system time (s): 0.053991
CPU usage (%): 99.9481
Max. virtual memory (cumulated for all children) (KiB): 94304
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 17.0144
system time used= 0.053991
maximum resident set size= 95544
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9763
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3
involuntary context switches= 24
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.087986 second user time and 0.096985 second system time
The end
Begin job on node126 at 2016-06-17 01:07:20
IDJOB=4098061
IDBENCH=107846
IDSOLVER=2544
FILE ID=node126/4098061-1466118440
RUNJOBID= node126-1466118432-29317
PBS_JOBID= 19904128
Free space on /tmp= 71732 MiB
SOLVER NAME= NaPS 1.02
BENCH NAME= PB16/normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d-equals-n_k/normalized-compression64_23.opb
COMMAND LINE= naps-1.02 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4098061-1466118440/watcher-4098061-1466118440 -o /tmp/evaluation-result-4098061-1466118440/solver-4098061-1466118440 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node126-1466118432-29317 --watchdog 1960 naps-1.02 HOME/instance-4098061-1466118440.opb
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4
MD5SUM BENCH= 60625a8f4cfa2ca63ddafc7817561234
RANDOM SEED=1213041298
node126.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.121
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips : 5332.24
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.121
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips : 5332.55
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.121
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips : 5332.55
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.121
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips : 5332.55
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.121
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips : 5332.55
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.121
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips : 5332.55
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.121
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips : 5332.55
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.121
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips : 5332.55
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 32872528 kB
MemFree: 31605828 kB
Buffers: 59832 kB
Cached: 125140 kB
SwapCached: 1752 kB
Active: 106708 kB
Inactive: 101472 kB
Active(anon): 24832 kB
Inactive(anon): 608 kB
Active(file): 81876 kB
Inactive(file): 100864 kB
Unevictable: 354512 kB
Mlocked: 338160 kB
SwapTotal: 67108856 kB
SwapFree: 67099252 kB
Dirty: 14140 kB
Writeback: 0 kB
AnonPages: 378936 kB
Mapped: 7648 kB
Shmem: 0 kB
Slab: 570376 kB
SReclaimable: 13548 kB
SUnreclaim: 556828 kB
KernelStack: 1472 kB
PageTables: 4984 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 83545120 kB
Committed_AS: 499320 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 346412 kB
VmallocChunk: 34341988032 kB
HardwareCorrupted: 0 kB
AnonHugePages: 26624 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
DirectMap4k: 7552 kB
DirectMap2M: 33538048 kB
Free space on /tmp at the end= 71728 MiB
End job on node126 at 2016-06-17 01:07:37