0.00/0.00 c NaPS 1.02b.
13.88/13.92 s SATISFIABLE
13.88/13.92 c _____________________________________________________________________________
13.88/13.92 c
13.88/13.92 c std/band forms : 1,1
13.88/13.92 c 2cl/3cl ITE-codings : 900,1535
13.88/13.92 c BDD/srt/adr Max costs : 1622,0,0
13.88/13.92 c BDDraw/bin/mul/srt/adr: 2,0,0,0,0
13.88/13.92 c BDD nodes : 2612
13.88/13.92 c Es1/CC detections : 0,0
13.88/13.92 c SAT/UNSAT calls : 1,0
13.88/13.92 c restarts : 38
13.88/13.92 c conflicts : 30129 (2173 /sec)
13.88/13.92 c decisions : 62376 (4498 /sec)
13.88/13.92 c propagations : 13863502 (999756 /sec)
13.88/13.92 c inspects : 0 (0 /sec)
13.88/13.92 c CPU time (solving tm) : 13.87 s (11.08 s)
13.88/13.92 c Time for Opt-base : 0 s
13.88/13.92 c _____________________________________________________________________________
13.88/13.92 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 -x88 x89 -x90 x181 -x270 -x359 -x448 -x537 -x626 -x715 -x804 -x893 -x982 -x1071 -x1160 -x1249 -x1338 -x1427 -x1516 -x1605 -x1694 -x1783 -x1872 -x1961 -x2050 -x2139 -x2228 -x2317 -x2406 -x2495 -x2584 -x2673 -x2762 -x2851 -x2940 -x3029 -x3118 -x3207 -x3296 -x3385 -x3474 -x3563 -x3652 x3741 -x3830 -x3919 -x4008 -x4097 -x4186 -x4275 -x4364 -x4453 -x4542 -x4631 -x4720 -x4809 -x4898 -x4987 -x5076 -x5165 -x5254 -x5343 -x5432 -x5521 -x5610 -x5699 -x5788 -x182 x271 -x360 -x449 -x538 -x627 -x716 -x805 -x894 -x983 -x1072 -x1161 -x1250 -x1339 -x1428 -x1517 -x1606 -x1695 -x1784 -x1873 -x1962 -x2051 -x2140 -x2229 -x2318 -x2407 -x2496 -x2585 -x2674 -x2763 -x2852 -x2941 -x3030 -x3119 -x3208 -x3297 -x3386 -x3475 -x3564 -x3653 -x3742 -x3831 -x3920 -x4009 -x4098 -x4187 -x4276 -x4365 -x4454 -x4543 -x4632 -x4721 -x4810 -x4899 -x4988 -x5077 -x5166 -x5255 -x5344 -x5433 -x5522 -x5611 -x5700 x5789 -x183 -x272 -x361 -x450 -x539 -x628 -x717 -x806 -x895 -x984 -x1073 -x1162 -x1251 -x1340 -x1429 -x1518 -x1607 -x1696 -x1785 -x1874 -x1963 -x2052 x2141 -x2230 -x2319 -x2408 -x2497 -x2586 -x2675 -x2764 -x2853 -x2942 -x3031 -x3120 -x3209 -x3298 -x3387 -x3476 -x3565 -x3654 -x3743 -x3832 -x3921 -x4010 -x4099 -x4188 -x4277 -x4366 -x4455 -x4544 -x4633 -x4722 -x4811 -x4900 -x4989 -x5078 -x5167 -x5256 -x5345 -x5434 -x5523 -x5612 -x5701 -x5790 -x184 -x273 -x362 -x451 -x540 -x629 -x718 -x807 -x896 -x985 -x1074 -x1163 -x1252 -x1341 -x1430 -x1519 -x1608 -x1697 -x1786 -x1875 -x1964 -x2053 -x2142 -x2231 -x2320 -x2409 -x2498 -x2587 -x2676 -x2765 -x2854 -x2943 -x3032 -x3121 -x3210 -x3299 -x3388 -x3477 -x3566 -x3655 x3744 -x3833 -x3922 -x4011 -x4100 -x4189 -x4278 -x4367 -x4456 -x4545 -x4634 -x4723 -x4812 -x4901 -x4990 -x5079 -x5168 -x5257 -x5346 -x5435 -x5524 -x5613 -x5702 -x5791 -x185 -x274 -x363 -x452 -x541 -x630 -x719 -x808 -x897 -x986 -x1075 -x1164 -x1253 -x1342 -x1431 -x1520 -x1609 -x1698 -x1787 -x1876 x1965 -x2054 -x2143 -x2232 -x2321 -x2410 -x2499 -x2588 -x2677 -x2766 -x2855 -x2944 -x3033 -x3122 -x3211 -x3300 -x3389 -x3478 -x3567 -x3656 -x3745 -x3834 -x3923 -x4012 -x4101 -x4190 -x4279 -x4368 -x4457 -x4546 -x4635 -x4724 -x4813 -x4902 -x4991 -x5080 -x5169 -x5258 -x5347 -x5436 -x5525 -x5614 -x5703 -x5792 -x186 -x275 -x364 -x453 -x542 -x631 -x720 -x809 -x898 -x987 -x1076 -x1165 -x1254 -x1343 x1432 -x1521 -x1610 -x1699 -x1788 -x1877 -x1966 -x2055 -x2144 -x2233 -x2322 -x2411 -x2500 -x2589 -x2678 -x2767 -x2856 -x2945 -x3034 -x3123 -x3212 -x3301 -x3390 -x3479 -x3568 -x3657 -x3746 -x3835 -x3924 -x4013 -x4102 -x4191 -x4280 -x4369 -x4458 -x4547 -x4636 -x4725 -x4814 -x4903 -x4992 -x5081 -x5170 -x5259 -x5348 -x5437 -x5526 -x5615 -x5704 -x5793 -x187 -x276 -x365 -x454 -x543 -x632 -x721 -x810 -x899 -x988 -x1077 -x1166 -x1255 -x1344 -x1433 -x1522 -x1611 -x1700 -x1789 -x1878 x1967 -x2056 -x2145 -x2234 -x2323 -x2412 -x2501 -x2590 -x2679 -x2768 -x2857 -x2946 -x3035 -x3124 -x3213 -x3302 -x3391 -x3480 -x3569 -x3658 -x3747 -x3836 -x3925 -x4014 -x4103 -x4192 -x4281 -x4370 -x4459 -x4548 -x4637 -x4726 -x4815 -x4904 -x4993 -x5082 -x5171 -x5260 -x5349 -x5438 -x5527 -x5616 -x5705 -x5794 -x188 -x277 -x366 -x455 -x544 -x633 -x722 -x811 -x900 -x989 -x1078 -x1167 -x1256 -x1345 x1434 -x1523 -x1612 -x1701 -x1790 -x1879 -x1968 -x2057 -x2146 -x2235 -x2324 -x2413 -x2502 -x2591 -x2680 -x2769 -x2858 -x2947 -x3036 -x3125 -x3214 -x3303 -x3392 -x3481 -x3570 -x3659 -x3748 -x3837 -x3926 -x4015 -x4104 -x4193 -x4282 -x4371 -x4460 -x4549 -x4638 -x4727 -x4816 -x4905 -x4994 -x5083 -x5172 -x5261 -x5350 -x5439 -x5528 -x5617 -x5706 x5795 -x189 -x278 -x367 -x456 -x545 -x634 -x723 -x812 -x901 -x990 -x1079 -x1168 -x1257 -x1346 -x1435 -x1524 -x1613 -x1702 -x1791 -x1880 -x1969 -x2058 -x2147 -x2236 -x2325 -x2414 -x2503 -x2592 -x2681 -x2770 -x2859 -x2948 x3037 -x3126 -x3215 -x3304 -x3393 -x3482 -x3571 -x3660 -x3749 -x3838 -x3927 -x4016 -x4105 -x4194 -x4283 -x4372 -x4461 -x4550 -x4639 -x4728 -x4817 -x4906 -x4995 -x5084 -x5173 -x5262 -x5351 -x5440 -x5529 -x5618 -x5707 x5796 -x190 -x279 -x368 -x457 -x546 -x635 -x724 -x813 -x902 -x991 -x1080 -x1169 -x1258 -x1347 -x1436 -x1525 -x1614 -x1703 -x1792 -x1881 -x1970 -x2059 x2148 -x2237 -x2326 -x2415 -x2504 -x2593 -x2682 -x2771 -x2860 -x2949 -x3038 -x3127 -x3216 -x3305 -x3394 -x3483 -x3572 -x3661 -x3750 -x3839 -x3928 -x4017 -x4106 -x4195 -x4284 -x4373 -x4462 -x4551 -x4640 -x4729 -x4818 -x4907 -x4996 -x5085 -x5174 -x5263 -x5352 -x5441 -x5530 -x5619 -x5708 -x5797 -x191 -x280 x369 -x458 -x547 -x636 -x725 -x814 -x903 -x992 -x1081 -x1170 -x1259 -x1348 -x1437 -x1526 -x1615 -x1704 -x1793 -x1882 -x1971 -x2060 -x2149 -x2238 -x2327 -x2416 -x2505 -x2594 -x2683 -x2772 -x2861 -x2950 -x3039 -x3128 -x3217 -x3306 -x3395 -x3484 -x3573 -x3662 -x3751 -x3840 -x3929 -x4018 -x4107 -x4196 -x4285 -x4374 -x4463 -x4552 -x4641 -x4730 -x4819 -x4908 -x4997 -x5086 -x5175 -x5264 -x5353 -x5442 -x5531 -x5620 -x5709 -x5798 -x192 -x281 x370 -x459 -x548 -x637 -x726 -x815 -x904 -x993 -x1082 -x1171 -x1260 -x1349 -x1438 -x1527 -x1616 -x1705 -x1794 -x1883 x1972 -x2061 -x2150 -x2239 -x2328 -x2417 -x2506 -x2595 -x2684 -x2773 -x2862 -x2951 x3040 -x3129 -x3218 -x3307 -x3396 -x3485 -x3574 -x3663 -x3752 -x3841 -x3930 -x4019 -x4108 -x4197 -x4286 -x4375 -x4464 -x4553 -x4642 -x4731 -x4820 -x4909 -x4998 -x5087 -x5176 -x5265 -x5354 -x5443 -x5532 -x5621 -x5710 -x5799 x193 -x282 -x371 -x460 -x549 -x638 -x727 -x816 -x905 -x994 -x1083 -x1172 -x1261 -x1350 -x1439 -x1528 -x1617 -x1706 -x1795 -x1884 -x1973 -x2062 -x2151 -x2240 -x2329 -x2418 -x2507 -x2596 -x2685 -x2774 -x2863 -x2952 -x3041 -x3130 -x3219 -x3308 -x3397 -x3486 -x3575 -x3664 x3753 -x3842 -x3931 -x4020 -x4109 -x4198 -x4287 -x4376 -x4465 -x4554 -x4643 -x4732 -x4821 -x4910 -x4999 -x5088 -x5177 -x5266 -x5355 -x5444 -x5533 -x5622 -x5711 -x5800 -x194 -x283 -x372 -x461 -x550 -x639 -x728 -x817 -x906 -x995 -x1084 -x1173 -x1262 -x1351 -x1440 -x1529 -x1618 -x1707 -x1796 -x1885 -x1974 -x2063 -x2152 -x2241 -x2330 -x2419 -x2508 x2597 -x2686 -x2775 -x2864 -x2953 -x3042 -x3131 -x3220 -x3309 -x3398 -x3487 -x3576 -x3665 -x3754 -x3843 -x3932 -x4021 -x4110 -x4199 -x4288 -x4377 -x4466 -x4555 -x4644 -x4733 -x4822 -x4911 -x5000 -x5089 -x5178 -x5267 -x5356 -x5445 -x5534 -x5623 -x5712 -x5801 -x195 -x284 -x373 -x462 -x551 x640 -x729 -x818 -x907 -x996 -x1085 -x1174 -x1263 -x1352 -x1441 -x1530 -x1619 -x1708 -x1797 -x1886 -x1975 -x2064 -x2153 -x2242 -x2331 -x2420 -x2509 -x2598 -x2687 -x2776 -x2865 -x2954 -x3043 -x3132 -x3221 -x3310 -x3399 -x3488 -x3577 -x3666 -x3755 -x3844 -x3933 -x4022 -x4111 -x4200 -x4289 -x4378 -x4467 -x4556 -x4645 -x4734 -x4823 -x4912 -x5001 -x5090 -x5179 -x5268 -x5357 -x5446 -x5535 -x5624 -x5713 -x5802 -x196 -x285 -x374 -x463 -x552 -x641 -x730 -x819 -x908 -x997 -x1086 -x1175 -x1264 -x1353 -x1442 -x1531 -x1620 -x1709 -x1798 -x1887 -x1976 -x2065 -x2154 -x2243 -x2332 x2421 -x2510 -x2599 -x2688 -x2777 -x2866 -x2955 -x3044 -x3133 -x3222 -x3311 -x3400 -x3489 -x3578 -x3667 -x3756 -x3845 -x3934 -x4023 -x4112 -x4201 -x4290 -x4379 -x4468 -x4557 -x4646 -x4735 -x4824 -x4913 -x5002 -x5091 -x5180 -x5269 -x5358 -x5447 -x5536 -x5625 -x5714 -x5803 -x197 -x286 -x375 -x464 -x553 -x642 -x731 -x820 -x909 -x998 -x1087 -x1176 -x1265 -x1354 -x1443 -x1532 -x1621 -x1710 -x1799 -x1888 -x1977 -x2066 -x2155 -x2244 -x2333 -x2422 -x2511 x2600 -x2689 -x2778 -x2867 -x2956 -x3045 -x3134 -x3223 -x3312 -x3401 -x3490 -x3579 -x3668 -x3757 -x3846 -x3935 -x4024 -x4113 -x4202 -x4291 -x4380 -x4469 -x4558 -x4647 -x4736 -x4825 -x4914 -x5003 -x5092 -x5181 -x5270 -x5359 -x5448 -x5537 -x5626 -x5715 -x5804 -x198 -x287 -x376 -x465 -x554 -x643 -x732 -x821 -x910 -x999 -x1088 -x1177 -x1266 -x1355 -x1444 -x1533 -x1622 -x1711 -x1800 -x1889 -x1978 -x2067 x2156 -x2245 -x2334 -x2423 -x2512 -x2601 -x2690 -x2779 -x2868 -x2957 -x3046 -x3135 -x3224 -x3313 -x3402 -x3491 -x3580 -x3669 -x3758 -x3847 -x3936 -x4025 -x4114 -x4203 -x4292 -x4381 -x4470 -x4559 -x4648 -x4737 -x4826 -x4915 -x5004 -x5093 -x5182 -x5271 -x5360 -x5449 -x5538 -x5627 -x5716 -x5805 -x199 -x288 -x377 -x466 -x555 -x644 -x733 -x822 -x911 -x1000 -x1089 -x1178 -x1267 -x1356 -x1445 -x1534 -x1623 -x1712 -x1801 -x1890 -x1979 -x2068 -x2157 -x2246 -x2335 -x2424 -x2513 -x2602 -x2691 -x2780 -x2869 -x2958 -x3047 -x3136 -x3225 -x3314 -x3403 -x3492 -x3581 -x3670 -x3759 -x3848 -x3937 -x4026 x4115 -x4204 -x4293 -x4382 -x4471 -x4560 -x4649 -x4738 -x4827 -x4916 -x5005 -x5094 -x5183 -x5272 -x5361 -x5450 -x5539 -x5628 -x5717 -x5806 -x200 -x289 -x378 -x467 -x556 -x645 -x734 -x823 -x912 -x1001 -x1090 -x1179 -x1268 -x1357 -x1446 -x1535 -x1624 -x1713 -x1802 -x1891 x1980 -x2069 -x2158 -x2247 -x2336 -x2425 -x2514 -x2603 -x2692 -x2781 -x2870 -x2959 -x3048 -x3137 -x3226 -x3315 -x3404 -x3493 -x3582 -x3671 -x3760 -x3849 -x3938 -x4027 -x4116 -x4205 -x4294 -x4383 -x4472 -x4561 -x4650 -x4739 -x4828 -x4917 -x5006 -x5095 -x5184 -x5273 -x5362 -x5451 -x5540 -x5629 -x5718 -x5807 -x201 x290 -x379 -x468 -x557 -x646 -x735 -x824 -x913 -x1002 -x1091 -x1180 -x1269 -x1358 -x1447 -x1536 -x1625 -x1714 -x1803 -x1892 -x1981 -x2070 -x2159 -x2248 -x2337 -x2426 -x2515 -x2604 -x2693 -x2782 -x2871 -x2960 x3049 -x3138 -x3227 -x3316 -x3405 -x3494 -x3583 -x3672 -x3761 -x3850 -x3939 -x4028 -x4117 -x4206 -x4295 -x4384 -x4473 -x4562 -x4651 -x4740 -x4829 -x4918 -x5007 -x5096 -x5185 -x5274 -x5363 -x5452 -x5541 -x5630 -x5719 -x5808 -x202 -x291 -x380 x469 -x558 -x647 -x736 -x825 -x914 -x1003 -x1092 -x1181 -x1270 -x1359 -x1448 -x1537 -x1626 -x1715 -x1804 -x1893 -x1982 -x2071 -x2160 -x2249 -x2338 -x2427 -x2516 -x2605 -x2694 -x2783 -x2872 -x2961 -x3050 -x3139 -x3228 -x3317 -x3406 -x3495 -x3584 -x3673 -x3762 -x3851 -x3940 -x4029 -x4118 -x4207 -x4296 -x4385 -x4474 -x4563 -x4652 -x4741 -x4830 x4919 -x5008 -x5097 -x5186 -x5275 -x5364 -x5453 -x5542 -x5631 -x5720 -x5809 -x203 -x292 x381 -x470 -x559 -x648 -x737 -x826 -x915 -x1004 -x1093 -x1182 -x1271 -x1360 -x1449 -x1538 -x1627 -x1716 -x1805 -x1894 -x1983 -x2072 -x2161 -x2250 -x2339 -x2428 -x2517 -x2606 -x2695 -x2784 -x2873 -x2962 -x3051 -x3140 -x3229 -x3318 -x3407 -x3496 -x3585 -x3674 -x3763 -x3852 -x3941 -x4030 -x4119 -x4208 -x4297 -x4386 -x4475 -x4564 -x4653 -x4742 -x4831 x4920 -x5009 -x5098 -x5187 -x5276 -x5365 -x5454 -x5543 -x5632 -x5721 -x5810 -x204 -x293 -x382 x471 -x560 -x649 -x738 -x827 -x916 -x1005 -x1094 -x1183 -x1272 -x1361 -x1450 -x1539 -x1628 -x1717 -x1806 -x1895 -x1984 -x2073 -x2162 -x2251 -x2340 -x2429 -x2518 -x2607 -x2696 -x2785 -x2874 -x2963 -x3052 -x3141 -x3230 -x3319 -x3408 -x3497 -x3586 -x3675 -x3764 -x3853 -x3942 -x4031 -x4120 -x4209 -x4298 -x4387 -x4476 -x4565 -x4654 -x4743 -x4832 -x4921 -x5010 -x5099 -x5188 -x5277 -x5366 -x5455 -x5544 -x5633 -x5722 -x5811 x205 -x294 -x383 -x472 -x561 -x650 -x739 -x828 -x917 -x1006 -x1095 -x1184 -x1273 -x1362 -x1451 -x1540 -x1629 -x1718 -x1807 -x1896 -x1985 -x2074 -x2163 -x2252 -x2341 -x2430 -x2519 -x2608 -x2697 -x2786 -x2875 -x2964 -x3053 -x3142 -x3231 -x3320 -x3409 -x3498 -x3587 -x3676 -x3765 x3854 -x3943 -x4032 -x4121 -x4210 -x4299 -x4388 -x4477 -x4566 -x4655 -x4744 -x4833 -x4922 -x5011 -x5100 -x5189 -x5278 -x5367 -x5456 -x5545 -x5634 -x5723 -x5812 -x206 -x295 -x384 -x473 -x562 -x651 -x740 -x829 -x918 -x1007 -x1096 -x1185 -x1274 -x1363 -x1452 -x1541 -x1630 -x1719 -x1808 -x1897 -x1986 -x2075 -x2164 -x2253 -x2342 -x2431 -x2520 x2609 -x2698 -x2787 -x2876 -x2965 -x3054 -x3143 -x3232 -x3321 -x3410 -x3499 -x3588 -x3677 -x3766 -x3855 -x3944 -x4033 -x4122 -x4211 -x4300 -x4389 -x4478 -x4567 -x4656 -x4745 -x4834 -x4923 -x5012 -x5101 -x5190 -x5279 -x5368 -x5457 -x5546 -x5635 -x5724 -x5813 x207 -x296 -x385 -x474 -x563 -x652 -x741 -x830 -x919 -x1008 -x1097 -x1186 -x1275 -x1364 -x1453 -x1542 -x1631 -x1720 -x1809 -x1898 -x1987 -x2076 -x2165 -x2254 -x2343 -x2432 -x2521 -x2610 -x2699 -x2788 -x2877 -x2966 -x3055 -x3144 -x3233 -x3322 -x3411 -x3500 -x3589 -x3678 -x3767 -x3856 -x3945 -x4034 -x4123 -x4212 -x4301 -x4390 -x4479 -x4568 -x4657 -x4746 -x4835 -x4924 -x5013 -x5102 -x5191 -x5280 -x5369 -x5458 -x5547 -x5636 -x5725 x5814 -x208 -x297 -x386 -x475 -x564 -x653 -x742 -x831 -x920 -x1009 -x1098 -x1187 -x1276 -x1365 -x1454 -x1543 -x1632 -x1721 -x1810 -x1899 -x1988 -x2077 -x2166 -x2255 -x2344 x2433 -x2522 -x2611 -x2700 -x2789 -x2878 -x2967 -x3056 -x3145 -x3234 -x3323 -x3412 -x3501 -x3590 -x3679 -x3768 -x3857 -x3946 -x4035 -x4124 -x4213 -x4302 -x4391 -x4480 -x4569 -x4658 -x4747 -x4836 -x4925 -x5014 -x5103 -x5192 -x5281 -x5370 -x5459 -x5548 -x5637 -x5726 -x5815 -x209 -x298 -x387 x476 -x565 -x654 -x743 -x832 -x921 -x1010 -x1099 -x1188 -x1277 -x1366 -x1455 -x1544 -x1633 -x1722 -x1811 -x1900 -x1989 -x2078 -x2167 -x2256 -x2345 -x2434 -x2523 -x2612 -x2701 -x2790 -x2879 -x2968 -x3057 -x3146 -x3235 -x3324 -x3413 -x3502 -x3591 -x3680 -x3769 -x3858 -x3947 -x4036 -x4125 -x4214 -x4303 -x4392 -x4481 -x4570 -x4659 -x4748 -x4837 -x4926 -x5015 -x5104 -x5193 -x5282 -x5371 -x5460 -x5549 -x5638 -x5727 x5816 -x210 -x299 x388 -x477 -x566 -x655 -x744 -x833 -x922 -x1011 -x1100 -x1189 -x1278 -x1367 -x1456 -x1545 -x1634 -x1723 -x1812 -x1901 -x1990 -x2079 -x2168 -x2257 -x2346 -x2435 -x2524 -x2613 -x2702 -x2791 -x2880 -x2969 -x3058 -x3147 -x3236 -x3325 -x3414 -x3503 -x3592 -x3681 -x3770 -x3859 -x3948 -x4037 -x4126 -x4215 -x4304 -x4393 -x4482 -x4571 -x4660 -x4749 -x4838
13.88/13.92 v -x4927 -x5016 -x5105 -x5194 -x5283 -x5372 -x5461 -x5550 -x5639 -x5728 x5817 -x211 -x300 -x389 -x478 -x567 -x656 -x745 -x834 -x923 -x1012 -x1101 -x1190 -x1279 -x1368 -x1457 -x1546 -x1635 -x1724 -x1813 -x1902 -x1991 -x2080 -x2169 -x2258 -x2347 -x2436 -x2525 -x2614 -x2703 -x2792 -x2881 -x2970 -x3059 -x3148 -x3237 -x3326 -x3415 -x3504 -x3593 -x3682 -x3771 -x3860 -x3949 -x4038 x4127 -x4216 -x4305 -x4394 -x4483 -x4572 -x4661 -x4750 -x4839 -x4928 -x5017 -x5106 -x5195 -x5284 -x5373 -x5462 -x5551 -x5640 -x5729 -x5818 x212 -x301 -x390 -x479 -x568 -x657 -x746 -x835 -x924 -x1013 -x1102 -x1191 -x1280 -x1369 -x1458 -x1547 -x1636 -x1725 -x1814 -x1903 -x1992 -x2081 -x2170 -x2259 -x2348 -x2437 -x2526 -x2615 -x2704 -x2793 -x2882 -x2971 -x3060 -x3149 -x3238 -x3327 -x3416 -x3505 -x3594 -x3683 x3772 -x3861 -x3950 -x4039 -x4128 -x4217 -x4306 -x4395 -x4484 -x4573 -x4662 -x4751 -x4840 -x4929 -x5018 -x5107 -x5196 -x5285 -x5374 -x5463 -x5552 -x5641 -x5730 -x5819 -x213 -x302 -x391 -x480 -x569 -x658 -x747 -x836 -x925 -x1014 -x1103 -x1192 -x1281 -x1370 -x1459 -x1548 -x1637 -x1726 -x1815 -x1904 -x1993 -x2082 -x2171 -x2260 -x2349 -x2438 -x2527 -x2616 -x2705 -x2794 -x2883 -x2972 x3061 -x3150 -x3239 -x3328 -x3417 -x3506 -x3595 -x3684 -x3773 -x3862 -x3951 -x4040 -x4129 -x4218 -x4307 -x4396 -x4485 -x4574 -x4663 -x4752 -x4841 -x4930 -x5019 -x5108 -x5197 -x5286 -x5375 -x5464 -x5553 -x5642 -x5731 -x5820 -x214 -x303 -x392 -x481 -x570 -x659 -x748 -x837 -x926 -x1015 -x1104 -x1193 -x1282 -x1371 -x1460 -x1549 -x1638 -x1727 -x1816 -x1905 -x1994 -x2083 -x2172 -x2261 -x2350 -x2439 -x2528 -x2617 -x2706 -x2795 -x2884 -x2973 -x3062 -x3151 -x3240 -x3329 -x3418 -x3507 -x3596 -x3685 -x3774 x3863 -x3952 -x4041 -x4130 -x4219 -x4308 -x4397 -x4486 -x4575 -x4664 -x4753 -x4842 -x4931 -x5020 -x5109 -x5198 -x5287 -x5376 -x5465 -x5554 -x5643 -x5732 -x5821 -x215 -x304 -x393 -x482 -x571 -x660 -x749 -x838 -x927 -x1016 -x1105 -x1194 -x1283 -x1372 -x1461 -x1550 -x1639 -x1728 -x1817 -x1906 -x1995 -x2084 -x2173 -x2262 -x2351 -x2440 -x2529 -x2618 -x2707 -x2796 -x2885 -x2974 -x3063 -x3152 -x3241 -x3330 -x3419 -x3508 -x3597 -x3686 -x3775 x3864 -x3953 -x4042 -x4131 -x4220 -x4309 -x4398 -x4487 -x4576 -x4665 -x4754 -x4843 -x4932 -x5021 -x5110 -x5199 -x5288 -x5377 -x5466 -x5555 -x5644 -x5733 -x5822 -x216 -x305 -x394 -x483 -x572 x661 -x750 -x839 -x928 -x1017 -x1106 -x1195 -x1284 -x1373 -x1462 -x1551 -x1640 -x1729 -x1818 -x1907 -x1996 -x2085 -x2174 -x2263 -x2352 -x2441 -x2530 -x2619 -x2708 -x2797 -x2886 -x2975 -x3064 -x3153 -x3242 -x3331 -x3420 -x3509 -x3598 -x3687 -x3776 -x3865 -x3954 -x4043 -x4132 -x4221 -x4310 -x4399 -x4488 -x4577 -x4666 -x4755 -x4844 -x4933 -x5022 -x5111 -x5200 -x5289 -x5378 -x5467 -x5556 -x5645 -x5734 -x5823 -x217 -x306 -x395 x484 -x573 -x662 -x751 -x840 -x929 -x1018 -x1107 -x1196 -x1285 -x1374 -x1463 -x1552 -x1641 -x1730 -x1819 -x1908 -x1997 -x2086 -x2175 -x2264 -x2353 -x2442 -x2531 -x2620 -x2709 -x2798 -x2887 -x2976 -x3065 -x3154 -x3243 -x3332 -x3421 -x3510 -x3599 -x3688 -x3777 -x3866 -x3955 -x4044 -x4133 -x4222 -x4311 -x4400 -x4489 -x4578 -x4667 -x4756 -x4845 -x4934 -x5023 -x5112 -x5201 -x5290 -x5379 -x5468 -x5557 -x5646 -x5735 -x5824 -x218 -x307 x396 -x485 -x574 -x663 -x752 -x841 -x930 -x1019 -x1108 -x1197 -x1286 -x1375 -x1464 -x1553 -x1642 -x1731 -x1820 -x1909 -x1998 -x2087 -x2176 -x2265 -x2354 -x2443 -x2532 -x2621 -x2710 -x2799 -x2888 -x2977 -x3066 -x3155 -x3244 -x3333 -x3422 -x3511 -x3600 -x3689 -x3778 -x3867 -x3956 -x4045 -x4134 -x4223 -x4312 -x4401 -x4490 -x4579 -x4668 -x4757 -x4846 x4935 -x5024 -x5113 -x5202 -x5291 -x5380 -x5469 -x5558 -x5647 -x5736 -x5825 -x219 -x308 -x397 -x486 -x575 -x664 -x753 -x842 -x931 -x1020 -x1109 -x1198 -x1287 -x1376 -x1465 -x1554 -x1643 -x1732 -x1821 -x1910 -x1999 -x2088 -x2177 -x2266 -x2355 -x2444 -x2533 -x2622 -x2711 -x2800 -x2889 -x2978 x3067 -x3156 -x3245 -x3334 -x3423 -x3512 -x3601 -x3690 -x3779 -x3868 -x3957 -x4046 -x4135 -x4224 -x4313 -x4402 -x4491 -x4580 -x4669 -x4758 -x4847 -x4936 -x5025 -x5114 -x5203 -x5292 -x5381 -x5470 -x5559 -x5648 -x5737 -x5826 x220 -x309 -x398 -x487 -x576 -x665 -x754 -x843 -x932 -x1021 -x1110 -x1199 -x1288 -x1377 -x1466 -x1555 -x1644 -x1733 -x1822 -x1911 -x2000 -x2089 -x2178 -x2267 -x2356 -x2445 -x2534 -x2623 -x2712 -x2801 -x2890 -x2979 x3068 -x3157 -x3246 -x3335 -x3424 -x3513 -x3602 -x3691 -x3780 -x3869 -x3958 -x4047 -x4136 -x4225 -x4314 -x4403 -x4492 -x4581 -x4670 -x4759 -x4848 -x4937 -x5026 -x5115 -x5204 -x5293 -x5382 -x5471 -x5560 -x5649 -x5738 -x5827 -x221 -x310 -x399 -x488 -x577 -x666 -x755 -x844 -x933 -x1022 -x1111 -x1200 -x1289 -x1378 -x1467 -x1556 -x1645 -x1734 -x1823 -x1912 -x2001 -x2090 x2179 -x2268 -x2357 -x2446 -x2535 -x2624 -x2713 -x2802 -x2891 -x2980 -x3069 -x3158 -x3247 -x3336 -x3425 -x3514 -x3603 -x3692 -x3781 -x3870 -x3959 -x4048 -x4137 -x4226 -x4315 -x4404 -x4493 -x4582 -x4671 -x4760 -x4849 -x4938 -x5027 -x5116 -x5205 -x5294 -x5383 -x5472 -x5561 -x5650 -x5739 -x5828 -x222 -x311 -x400 -x489 -x578 -x667 -x756 -x845 -x934 -x1023 -x1112 -x1201 -x1290 -x1379 -x1468 -x1557 -x1646 -x1735 -x1824 -x1913 -x2002 -x2091 -x2180 -x2269 -x2358 x2447 -x2536 -x2625 -x2714 -x2803 -x2892 -x2981 -x3070 -x3159 -x3248 -x3337 -x3426 -x3515 -x3604 -x3693 -x3782 -x3871 -x3960 -x4049 -x4138 -x4227 -x4316 -x4405 -x4494 -x4583 -x4672 -x4761 -x4850 x4939 -x5028 -x5117 -x5206 -x5295 -x5384 -x5473 -x5562 -x5651 -x5740 -x5829 -x223 -x312 -x401 -x490 -x579 -x668 -x757 -x846 -x935 -x1024 -x1113 -x1202 -x1291 -x1380 -x1469 -x1558 -x1647 -x1736 -x1825 -x1914 x2003 -x2092 -x2181 -x2270 -x2359 -x2448 -x2537 -x2626 -x2715 -x2804 -x2893 -x2982 -x3071 -x3160 -x3249 -x3338 -x3427 -x3516 -x3605 -x3694 -x3783 -x3872 -x3961 -x4050 -x4139 -x4228 -x4317 -x4406 -x4495 -x4584 -x4673 -x4762 -x4851 -x4940 -x5029 -x5118 -x5207 -x5296 -x5385 -x5474 -x5563 -x5652 -x5741 -x5830 -x224 -x313 -x402 -x491 -x580 -x669 -x758 -x847 -x936 -x1025 -x1114 -x1203 -x1292 -x1381 -x1470 -x1559 -x1648 -x1737 -x1826 -x1915 -x2004 -x2093 -x2182 -x2271 -x2360 -x2449 -x2538 -x2627 -x2716 -x2805 -x2894 -x2983 -x3072 -x3161 -x3250 -x3339 -x3428 -x3517 -x3606 -x3695 -x3784 -x3873 -x3962 -x4051 x4140 -x4229 -x4318 -x4407 -x4496 -x4585 -x4674 -x4763 -x4852 -x4941 -x5030 -x5119 -x5208 -x5297 -x5386 -x5475 -x5564 -x5653 -x5742 -x5831 -x225 -x314 -x403 -x492 -x581 -x670 -x759 -x848 -x937 -x1026 -x1115 -x1204 -x1293 -x1382 -x1471 -x1560 -x1649 -x1738 -x1827 -x1916 -x2005 -x2094 -x2183 -x2272 -x2361 -x2450 -x2539 x2628 -x2717 -x2806 -x2895 -x2984 -x3073 -x3162 -x3251 -x3340 -x3429 -x3518 -x3607 -x3696 -x3785 -x3874 -x3963 -x4052 -x4141 -x4230 -x4319 -x4408 -x4497 -x4586 -x4675 -x4764 -x4853 -x4942 -x5031 -x5120 -x5209 -x5298 -x5387 -x5476 -x5565 -x5654 -x5743 -x5832 -x226 -x315 -x404 -x493 -x582 -x671 -x760 -x849 -x938 -x1027 -x1116 -x1205 -x1294 -x1383 -x1472 -x1561 -x1650 -x1739 -x1828 -x1917 x2006 -x2095 -x2184 -x2273 -x2362 -x2451 -x2540 -x2629 -x2718 -x2807 -x2896 -x2985 -x3074 -x3163 -x3252 -x3341 -x3430 -x3519 -x3608 -x3697 -x3786 -x3875 -x3964 -x4053 -x4142 -x4231 -x4320 -x4409 -x4498 -x4587 -x4676 -x4765 -x4854 -x4943 -x5032 -x5121 -x5210 -x5299 -x5388 -x5477 -x5566 -x5655 -x5744 -x5833 -x227 -x316 -x405 -x494 -x583 -x672 -x761 -x850 -x939 -x1028 -x1117 -x1206 -x1295 -x1384 -x1473 -x1562 -x1651 -x1740 -x1829 -x1918 -x2007 -x2096 -x2185 -x2274 -x2363 x2452 -x2541 -x2630 -x2719 -x2808 -x2897 -x2986 -x3075 -x3164 -x3253 -x3342 -x3431 -x3520 -x3609 -x3698 -x3787 -x3876 -x3965 -x4054 -x4143 -x4232 -x4321 -x4410 -x4499 -x4588 -x4677 -x4766 -x4855 -x4944 -x5033 -x5122 -x5211 -x5300 -x5389 -x5478 -x5567 -x5656 -x5745 x5834 -x228 -x317 -x406 -x495 -x584 x673 -x762 -x851 -x940 -x1029 -x1118 -x1207 -x1296 -x1385 -x1474 -x1563 -x1652 -x1741 -x1830 -x1919 -x2008 -x2097 -x2186 -x2275 -x2364 -x2453 -x2542 -x2631 -x2720 -x2809 -x2898 -x2987 -x3076 -x3165 -x3254 -x3343 -x3432 -x3521 -x3610 -x3699 -x3788 -x3877 -x3966 -x4055 -x4144 -x4233 -x4322 -x4411 -x4500 -x4589 -x4678 -x4767 -x4856 -x4945 -x5034 -x5123 -x5212 -x5301 -x5390 -x5479 -x5568 -x5657 -x5746 -x5835 -x229 -x318 -x407 -x496 -x585 -x674 -x763 -x852 -x941 -x1030 -x1119 -x1208 -x1297 -x1386 -x1475 -x1564 -x1653 -x1742 -x1831 -x1920 -x2009 -x2098 -x2187 -x2276 -x2365 -x2454 -x2543 -x2632 -x2721 -x2810 -x2899 -x2988 x3077 -x3166 -x3255 -x3344 -x3433 -x3522 -x3611 -x3700 -x3789 -x3878 -x3967 -x4056 -x4145 -x4234 -x4323 -x4412 -x4501 -x4590 -x4679 -x4768 -x4857 -x4946 -x5035 -x5124 -x5213 -x5302 -x5391 -x5480 -x5569 -x5658 -x5747 x5836 -x230 -x319 -x408 -x497 -x586 -x675 -x764 -x853 -x942 -x1031 -x1120 -x1209 -x1298 -x1387 -x1476 -x1565 -x1654 -x1743 -x1832 -x1921 -x2010 -x2099 -x2188 -x2277 -x2366 -x2455 -x2544 -x2633 -x2722 -x2811 -x2900 -x2989 -x3078 -x3167 -x3256 -x3345 -x3434 -x3523 -x3612 -x3701 -x3790 x3879 -x3968 -x4057 -x4146 -x4235 -x4324 -x4413 -x4502 -x4591 -x4680 -x4769 -x4858 -x4947 -x5036 -x5125 -x5214 -x5303 -x5392 -x5481 -x5570 -x5659 -x5748 -x5837 -x231 -x320 -x409 -x498 -x587 -x676 -x765 -x854 -x943 -x1032 -x1121 -x1210 -x1299 -x1388 -x1477 -x1566 -x1655 -x1744 -x1833 -x1922 -x2011 -x2100 -x2189 -x2278 -x2367 -x2456 -x2545 -x2634 -x2723 -x2812 -x2901 -x2990 -x3079 -x3168 -x3257 -x3346 -x3435 -x3524 -x3613 -x3702 -x3791 -x3880 -x3969 -x4058 x4147 -x4236 -x4325 -x4414 -x4503 -x4592 -x4681 -x4770 -x4859 -x4948 -x5037 -x5126 -x5215 -x5304 -x5393 -x5482 -x5571 -x5660 -x5749 -x5838 -x232 x321 -x410 -x499 -x588 -x677 -x766 -x855 -x944 -x1033 -x1122 -x1211 -x1300 -x1389 -x1478 -x1567 -x1656 -x1745 -x1834 -x1923 -x2012 -x2101 -x2190 -x2279 -x2368 -x2457 -x2546 -x2635 -x2724 -x2813 -x2902 -x2991 -x3080 -x3169 -x3258 -x3347 -x3436 -x3525 -x3614 -x3703 x3792 -x3881 -x3970 -x4059 -x4148 -x4237 -x4326 -x4415 -x4504 -x4593 -x4682 -x4771 -x4860 -x4949 -x5038 -x5127 -x5216 -x5305 -x5394 -x5483 -x5572 -x5661 -x5750 -x5839 -x233 -x322 -x411 -x500 -x589 -x678 -x767 -x856 -x945 -x1034 -x1123 -x1212 -x1301 -x1390 x1479 -x1568 -x1657 -x1746 -x1835 -x1924 -x2013 -x2102 -x2191 -x2280 -x2369 -x2458 -x2547 -x2636 -x2725 -x2814 -x2903 -x2992 -x3081 -x3170 -x3259 -x3348 -x3437 -x3526 -x3615 -x3704 x3793 -x3882 -x3971 -x4060 -x4149 -x4238 -x4327 -x4416 -x4505 -x4594 -x4683 -x4772 -x4861 -x4950 -x5039 -x5128 -x5217 -x5306 -x5395 -x5484 -x5573 -x5662 -x5751 -x5840 -x234 -x323 -x412 -x501 -x590 -x679 -x768 -x857 -x946 -x1035 -x1124 -x1213 -x1302 x1391 -x1480 -x1569 -x1658 -x1747 -x1836 -x1925 -x2014 -x2103 -x2192 -x2281 -x2370 -x2459 -x2548 -x2637 -x2726 -x2815 -x2904 -x2993 -x3082 -x3171 -x3260 -x3349 -x3438 -x3527 -x3616 -x3705 -x3794 x3883 -x3972 -x4061 -x4150 -x4239 -x4328 -x4417 -x4506 -x4595 -x4684 -x4773 -x4862 -x4951 -x5040 -x5129 -x5218 -x5307 -x5396 -x5485 -x5574 -x5663 -x5752 -x5841 -x235 -x324 -x413 -x502 -x591 -x680 -x769 -x858 -x947 -x1036 -x1125 -x1214 -x1303 -x1392 -x1481 -x1570 -x1659 -x1748 -x1837 -x1926 x2015 -x2104 -x2193 -x2282 -x2371 -x2460 -x2549 -x2638 -x2727 -x2816 -x2905 -x2994 -x3083 -x3172 -x3261 -x3350 -x3439 -x3528 -x3617 -x3706 -x3795 -x3884 -x3973 -x4062 -x4151 -x4240 -x4329 -x4418 -x4507 -x4596 -x4685 -x4774 -x4863 -x4952 -x5041 -x5130 -x5219 -x5308 -x5397 -x5486 -x5575 -x5664 -x5753 -x5842 -x236 -x325 -x414 -x503 -x592 -x681 -x770 -x859 -x948 -x1037 -x1126 -x1215 -x1304 -x1393 -x1482 -x1571 -x1660 -x1749 -x1838 -x1927 -x2016 -x2105 -x2194 -x2283 -x2372 x2461 -x2550 -x2639 -x2728 -x2817 -x2906 -x2995 -x3084 -x3173 -x3262 -x3351 -x3440 -x3529 -x3618 -x3707 -x3796 -x3885 -x3974 -x4063 -x4152 -x4241 -x4330 -x4419 -x4508 -x4597 -x4686 -x4775 -x4864 -x4953 -x5042 -x5131 -x5220 -x5309 -x5398 -x5487 -x5576 -x5665 -x5754 -x5843 -x237 -x326 -x415 -x504 -x593 -x682 -x771 -x860 -x949 -x1038 -x1127 -x1216 -x1305 -x1394 x1483 -x1572 -x1661 -x1750 -x1839 -x1928 -x2017 -x2106 -x2195 -x2284 -x2373 -x2462 -x2551 -x2640 -x2729 -x2818 -x2907 -x2996 -x3085 -x3174 -x3263 -x3352 -x3441 -x3530 -x3619 -x3708 -x3797 -x3886 -x3975 -x4064 -x4153 -x4242 -x4331 -x4420 -x4509 -x4598 -x4687 -x4776 -x4865 -x4954 -x5043 -x5132 -x5221 -x5310 -x5399 -x5488 -x5577 -x5666 -x5755 -x5844 -x238 -x327 -x416 -x505 -x594 -x683 -x772 -x861 -x950 -x1039 -x1128 -x1217 -x1306 -x1395 -x1484 -x1573 -x1662 -x1751 -x1840 -x1929 -x2018 -x2107 -x2196 -x2285 -x2374 -x2463 -x2552 -x2641 -x2730 -x2819 -x2908 -x2997 x3086 -x3175 -x3264 -x3353 -x3442 -x3531 -x3620 -x3709 -x3798 -x3887 -x3976 -x4065 -x4154 -x4243 -x4332 -x4421 -x4510 -x4599 -x4688 -x4777 -x4866 -x4955 -x5044 -x5133 -x5222 -x5311 -x5400 -x5489 -x5578 -x5667 -x5756 -x5845 -x239 -x328 -x417 -x506 -x595 -x684 -x773 -x862 -x951 -x1040 -x1129 -x1218 -x1307 x1396 -x1485 -x1574 -x1663 -x1752 -x1841 -x1930 -x2019 -x2108 -x2197 -x2286 -x2375 -x2464 -x2553 -x2642 -x2731 -x2820 -x2909 -x2998 -x3087 -x3176 -x3265 -x3354 -x3443 -x3532 -x3621 -x3710 -x3799 -x3888 -x3977 -x4066 -x4155 -x4244 -x4333 -x4422 -x4511 -x4600 -x4689 -x4778 -x4867 -x4956 -x5045 -x5134 -x5223 -x5312 -x5401 -x5490 -x5579 -x5668 -x5757 -x5846 -x240 -x329 -x418 x507 -x596 -x685 -x774 -x863 -x952 -x1041 -x1130 -x1219 -x1308 -x1397 -x1486 -x1575 -x1664 -x1753 -x1842 -x1931 -x2020 -x2109 -x2198 -x2287 -x2376 -x2465 -x2554 -x2643 -x2732 -x2821 -x2910 -x2999 x3088 -x3177 -x3266 -x3355 -x3444 -x3533 -x3622 -x3711 -x3800 -x3889 -x3978 -x4067 -x4156 -x4245 -x4334 -x4423 -x4512 -x4601 -x4690 -x4779 -x4868 -x4957 -x5046 -x5135 -x5224 -x5313 -x5402 -x5491 -x5580 -x5669 -x5758 -x5847 -x241 -x330 x419 -x508 -x597 -x686 -x775 -x864 -x953 -x1042 -x1131 -x1220 -x1309 -x1398 -x1487 -x1576 -x1665 -x1754 -x1843 -x1932 -x2021 -x2110 -x2199 -x2288 -x2377 -x2466 -x2555 -x2644 -x2733 -x2822 -x2911 -x3000 x3089 -x3178 -x3267 -x3356 -x3445 -x3534 -x3623 -x3712 -x3801 -x3890 -x3979 -x4068 -x4157 -x4246 -x4335 -x4424 -x4513 -x4602 -x4691 -x4780 -x4869 -x4958 -x5047 -x5136 -x5225 -x5314 -x5403 -x5492 -x5581 -x5670 -x5759 -x5848 -x242 -x331 -x420 -x509 -x598
13.88/13.92 v x687 -x776 -x865 -x954 -x1043 -x1132 -x1221 -x1310 -x1399 -x1488 -x1577 -x1666 -x1755 -x1844 -x1933 -x2022 -x2111 -x2200 -x2289 -x2378 -x2467 -x2556 -x2645 -x2734 -x2823 -x2912 -x3001 -x3090 -x3179 -x3268 -x3357 -x3446 -x3535 -x3624 -x3713 -x3802 -x3891 -x3980 -x4069 -x4158 -x4247 -x4336 -x4425 -x4514 -x4603 -x4692 -x4781 -x4870 x4959 -x5048 -x5137 -x5226 -x5315 -x5404 -x5493 -x5582 -x5671 -x5760 -x5849 x243 -x332 -x421 -x510 -x599 -x688 -x777 -x866 -x955 -x1044 -x1133 -x1222 -x1311 -x1400 -x1489 -x1578 -x1667 -x1756 -x1845 -x1934 -x2023 -x2112 -x2201 -x2290 -x2379 -x2468 -x2557 x2646 -x2735 -x2824 -x2913 -x3002 -x3091 -x3180 -x3269 -x3358 -x3447 -x3536 -x3625 -x3714 -x3803 -x3892 -x3981 -x4070 -x4159 -x4248 -x4337 -x4426 -x4515 -x4604 -x4693 -x4782 -x4871 -x4960 -x5049 -x5138 -x5227 -x5316 -x5405 -x5494 -x5583 -x5672 -x5761 -x5850 -x244 x333 -x422 -x511 -x600 -x689 -x778 -x867 -x956 -x1045 -x1134 -x1223 -x1312 -x1401 -x1490 -x1579 -x1668 -x1757 -x1846 -x1935 -x2024 -x2113 -x2202 -x2291 -x2380 -x2469 -x2558 -x2647 -x2736 -x2825 -x2914 -x3003 -x3092 -x3181 -x3270 -x3359 -x3448 -x3537 -x3626 -x3715 -x3804 -x3893 -x3982 -x4071 -x4160 -x4249 -x4338 -x4427 -x4516 -x4605 -x4694 -x4783 -x4872 x4961 -x5050 -x5139 -x5228 -x5317 -x5406 -x5495 -x5584 -x5673 -x5762 -x5851 -x245 -x334 -x423 -x512 -x601 -x690 -x779 -x868 -x957 -x1046 -x1135 -x1224 -x1313 -x1402 -x1491 -x1580 -x1669 -x1758 -x1847 -x1936 -x2025 -x2114 -x2203 -x2292 -x2381 x2470 -x2559 -x2648 -x2737 -x2826 -x2915 -x3004 -x3093 -x3182 -x3271 -x3360 -x3449 -x3538 -x3627 -x3716 -x3805 -x3894 -x3983 -x4072 -x4161 -x4250 -x4339 -x4428 -x4517 -x4606 -x4695 -x4784 -x4873 -x4962 -x5051 -x5140 -x5229 -x5318 -x5407 -x5496 -x5585 -x5674 -x5763 -x5852 x246 -x335 -x424 -x513 -x602 -x691 -x780 -x869 -x958 -x1047 -x1136 -x1225 -x1314 -x1403 -x1492 -x1581 -x1670 -x1759 -x1848 -x1937 -x2026 -x2115 -x2204 -x2293 -x2382 -x2471 -x2560 x2649 -x2738 -x2827 -x2916 -x3005 -x3094 -x3183 -x3272 -x3361 -x3450 -x3539 -x3628 -x3717 -x3806 -x3895 -x3984 -x4073 -x4162 -x4251 -x4340 -x4429 -x4518 -x4607 -x4696 -x4785 -x4874 -x4963 -x5052 -x5141 -x5230 -x5319 -x5408 -x5497 -x5586 -x5675 -x5764 -x5853 -x247 -x336 -x425 -x514 -x603 -x692 -x781 -x870 -x959 -x1048 -x1137 -x1226 -x1315 -x1404 -x1493 -x1582 -x1671 -x1760 -x1849 -x1938 -x2027 -x2116 -x2205 -x2294 -x2383 x2472 -x2561 -x2650 -x2739 -x2828 -x2917 -x3006 -x3095 -x3184 -x3273 -x3362 -x3451 -x3540 -x3629 -x3718 -x3807 -x3896 -x3985 -x4074 -x4163 -x4252 -x4341 -x4430 -x4519 -x4608 -x4697 -x4786 -x4875 -x4964 -x5053 -x5142 -x5231 -x5320 -x5409 -x5498 -x5587 -x5676 -x5765 -x5854 -x248 -x337 -x426 -x515 -x604 -x693 -x782 -x871 -x960 -x1049 -x1138 -x1227 -x1316 -x1405 -x1494 -x1583 -x1672 -x1761 -x1850 -x1939 x2028 -x2117 -x2206 -x2295 -x2384 -x2473 -x2562 -x2651 -x2740 -x2829 -x2918 -x3007 -x3096 -x3185 -x3274 -x3363 -x3452 -x3541 -x3630 -x3719 -x3808 -x3897 -x3986 -x4075 -x4164 -x4253 -x4342 -x4431 -x4520 -x4609 -x4698 -x4787 -x4876 -x4965 -x5054 -x5143 -x5232 -x5321 -x5410 -x5499 -x5588 -x5677 -x5766 x5855 -x249 -x338 -x427 -x516 -x605 -x694 -x783 -x872 -x961 -x1050 -x1139 -x1228 -x1317 -x1406 -x1495 -x1584 -x1673 -x1762 -x1851 -x1940 -x2029 -x2118 -x2207 -x2296 -x2385 -x2474 -x2563 -x2652 -x2741 -x2830 -x2919 -x3008 -x3097 -x3186 -x3275 -x3364 -x3453 -x3542 -x3631 -x3720 -x3809 -x3898 -x3987 -x4076 -x4165 -x4254 -x4343 -x4432 -x4521 -x4610 -x4699 -x4788 -x4877 x4966 -x5055 -x5144 -x5233 -x5322 -x5411 -x5500 -x5589 -x5678 -x5767 -x5856 -x250 x339 -x428 -x517 -x606 -x695 -x784 -x873 -x962 -x1051 -x1140 -x1229 -x1318 -x1407 -x1496 -x1585 -x1674 -x1763 -x1852 -x1941 -x2030 -x2119 -x2208 -x2297 -x2386 -x2475 -x2564 -x2653 -x2742 -x2831 -x2920 -x3009 -x3098 -x3187 -x3276 -x3365 -x3454 -x3543 -x3632 -x3721 x3810 -x3899 -x3988 -x4077 -x4166 -x4255 -x4344 -x4433 -x4522 -x4611 -x4700 -x4789 -x4878 -x4967 -x5056 -x5145 -x5234 -x5323 -x5412 -x5501 -x5590 -x5679 -x5768 -x5857 -x251 x340 -x429 -x518 -x607 -x696 -x785 -x874 -x963 -x1052 -x1141 -x1230 -x1319 -x1408 -x1497 -x1586 -x1675 -x1764 -x1853 -x1942 -x2031 -x2120 -x2209 -x2298 -x2387 -x2476 -x2565 -x2654 -x2743 -x2832 -x2921 -x3010 -x3099 -x3188 -x3277 -x3366 -x3455 -x3544 -x3633 -x3722 -x3811 -x3900 -x3989 -x4078 -x4167 -x4256 -x4345 -x4434 -x4523 -x4612 -x4701 -x4790 -x4879 -x4968 -x5057 -x5146 -x5235 -x5324 -x5413 -x5502 -x5591 -x5680 -x5769 x5858 -x252 -x341 -x430 x519 -x608 -x697 -x786 -x875 -x964 -x1053 -x1142 -x1231 -x1320 -x1409 -x1498 -x1587 -x1676 -x1765 -x1854 -x1943 -x2032 -x2121 -x2210 -x2299 -x2388 -x2477 -x2566 -x2655 -x2744 -x2833 -x2922 -x3011 -x3100 -x3189 -x3278 -x3367 -x3456 -x3545 -x3634 -x3723 x3812 -x3901 -x3990 -x4079 -x4168 -x4257 -x4346 -x4435 -x4524 -x4613 -x4702 -x4791 -x4880 -x4969 -x5058 -x5147 -x5236 -x5325 -x5414 -x5503 -x5592 -x5681 -x5770 -x5859 -x253 -x342 -x431 -x520 -x609 -x698 -x787 -x876 -x965 -x1054 -x1143 -x1232 -x1321 -x1410 -x1499 -x1588 -x1677 -x1766 -x1855 -x1944 -x2033 -x2122 -x2211 -x2300 -x2389 -x2478 -x2567 -x2656 -x2745 -x2834 -x2923 -x3012 -x3101 -x3190 -x3279 -x3368 -x3457 -x3546 -x3635 -x3724 -x3813 -x3902 -x3991 -x4080 x4169 -x4258 -x4347 -x4436 -x4525 -x4614 -x4703 -x4792 -x4881 -x4970 -x5059 -x5148 -x5237 -x5326 -x5415 -x5504 -x5593 -x5682 -x5771 -x5860 -x254 -x343 -x432 -x521 -x610 -x699 -x788 -x877 -x966 -x1055 -x1144 -x1233 -x1322 -x1411 -x1500 -x1589 -x1678 -x1767 -x1856 -x1945 -x2034 -x2123 -x2212 -x2301 -x2390 -x2479 -x2568 -x2657 -x2746 -x2835 -x2924 -x3013 -x3102 -x3191 -x3280 -x3369 -x3458 -x3547 -x3636 -x3725 -x3814 x3903 -x3992 -x4081 -x4170 -x4259 -x4348 -x4437 -x4526 -x4615 -x4704 -x4793 -x4882 -x4971 -x5060 -x5149 -x5238 -x5327 -x5416 -x5505 -x5594 -x5683 -x5772 -x5861 x255 -x344 -x433 -x522 -x611 -x700 -x789 -x878 -x967 -x1056 -x1145 -x1234 -x1323 -x1412 -x1501 -x1590 -x1679 -x1768 -x1857 -x1946 x2035 -x2124 -x2213 -x2302 -x2391 -x2480 -x2569 -x2658 -x2747 -x2836 -x2925 -x3014 -x3103 -x3192 -x3281 -x3370 -x3459 -x3548 -x3637 -x3726 -x3815 -x3904 -x3993 -x4082 -x4171 -x4260 -x4349 -x4438 -x4527 -x4616 -x4705 -x4794 -x4883 -x4972 -x5061 -x5150 -x5239 -x5328 -x5417 -x5506 -x5595 -x5684 -x5773 -x5862 x256 -x345 -x434 -x523 -x612 -x701 -x790 -x879 -x968 -x1057 -x1146 -x1235 -x1324 -x1413 -x1502 -x1591 -x1680 -x1769 -x1858 -x1947 -x2036 -x2125 -x2214 -x2303 -x2392 -x2481 -x2570 -x2659 -x2748 -x2837 -x2926 -x3015 -x3104 -x3193 -x3282 -x3371 -x3460 -x3549 -x3638 -x3727 -x3816 x3905 -x3994 -x4083 -x4172 -x4261 -x4350 -x4439 -x4528 -x4617 -x4706 -x4795 -x4884 -x4973 -x5062 -x5151 -x5240 -x5329 -x5418 -x5507 -x5596 -x5685 -x5774 -x5863 -x257 -x346 -x435 -x524 -x613 -x702 -x791 -x880 -x969 -x1058 -x1147 -x1236 -x1325 x1414 -x1503 -x1592 -x1681 -x1770 -x1859 -x1948 -x2037 -x2126 -x2215 -x2304 -x2393 -x2482 -x2571 -x2660 -x2749 -x2838 -x2927 -x3016 -x3105 -x3194 -x3283 -x3372 -x3461 -x3550 -x3639 -x3728 -x3817 -x3906 -x3995 -x4084 -x4173 -x4262 -x4351 -x4440 -x4529 -x4618 -x4707 -x4796 -x4885 x4974 -x5063 -x5152 -x5241 -x5330 -x5419 -x5508 -x5597 -x5686 -x5775 -x5864 -x258 -x347 -x436 -x525 -x614 -x703 -x792 -x881 -x970 -x1059 -x1148 -x1237 -x1326 -x1415 x1504 -x1593 -x1682 -x1771 -x1860 -x1949 -x2038 -x2127 -x2216 -x2305 -x2394 -x2483 -x2572 -x2661 -x2750 -x2839 -x2928 -x3017 x3106 -x3195 -x3284 -x3373 -x3462 -x3551 -x3640 -x3729 -x3818 -x3907 -x3996 -x4085 x4174 -x4263 -x4352 -x4441 -x4530 -x4619 -x4708 -x4797 -x4886 -x4975 -x5064 -x5153 -x5242 -x5331 -x5420 -x5509 -x5598 -x5687 -x5776 -x5865 -x259 -x348 -x437 -x526 -x615 -x704 -x793 -x882 -x971 -x1060 -x1149 -x1238 -x1327 x1416 -x1505 -x1594 -x1683 -x1772 -x1861 -x1950 -x2039 -x2128 -x2217 -x2306 -x2395 -x2484 -x2573 -x2662 -x2751 -x2840 -x2929 -x3018 -x3107 -x3196 -x3285 -x3374 -x3463 -x3552 -x3641 -x3730 -x3819 -x3908 -x3997 -x4086 -x4175 -x4264 -x4353 -x4442 -x4531 -x4620 -x4709 -x4798 -x4887 -x4976 -x5065 -x5154 -x5243 -x5332 -x5421 -x5510 -x5599 -x5688 -x5777 -x5866 -x260 x349 -x438 -x527 -x616 -x705 -x794 -x883 -x972 -x1061 -x1150 -x1239 -x1328 -x1417 -x1506 -x1595 -x1684 -x1773 -x1862 -x1951 -x2040 -x2129 -x2218 -x2307 -x2396 -x2485 -x2574 -x2663 -x2752 -x2841 -x2930 -x3019 -x3108 -x3197 -x3286 -x3375 -x3464 -x3553 -x3642 -x3731 -x3820 -x3909 -x3998 -x4087 -x4176 -x4265 -x4354 -x4443 -x4532 -x4621 -x4710 -x4799 -x4888 -x4977 -x5066 -x5155 -x5244 -x5333 -x5422 -x5511 -x5600 -x5689 -x5778 x5867 -x261 -x350 -x439 -x528 -x617 -x706 -x795 -x884 -x973 -x1062 -x1151 -x1240 -x1329 -x1418 -x1507 -x1596 -x1685 -x1774 -x1863 -x1952 -x2041 -x2130 -x2219 -x2308 -x2397 -x2486 -x2575 -x2664 -x2753 -x2842 -x2931 -x3020 -x3109 -x3198 -x3287 -x3376 -x3465 -x3554 -x3643 -x3732 -x3821 x3910 -x3999 -x4088 -x4177 -x4266 -x4355 -x4444 -x4533 -x4622 -x4711 -x4800 -x4889 -x4978 -x5067 -x5156 -x5245 -x5334 -x5423 -x5512 -x5601 -x5690 -x5779 -x5868 -x262 -x351 -x440 -x529 -x618 -x707 -x796 -x885 -x974 -x1063 -x1152 -x1241 -x1330 -x1419 -x1508 -x1597 -x1686 -x1775 -x1864 -x1953 -x2042 -x2131 x2220 -x2309 -x2398 -x2487 -x2576 -x2665 -x2754 -x2843 -x2932 -x3021 -x3110 -x3199 -x3288 -x3377 -x3466 -x3555 -x3644 -x3733 -x3822 -x3911 -x4000 -x4089 -x4178 -x4267 -x4356 -x4445 -x4534 -x4623 -x4712 -x4801 -x4890 -x4979 -x5068 -x5157 -x5246 -x5335 -x5424 -x5513 -x5602 -x5691 -x5780 -x5869 -x263 -x352 -x441 -x530 -x619 -x708 -x797 -x886 -x975 -x1064 -x1153 -x1242 -x1331 -x1420 -x1509 -x1598 -x1687 -x1776 -x1865 -x1954 -x2043 -x2132 -x2221 -x2310 -x2399 -x2488 -x2577 x2666 -x2755 -x2844 -x2933 -x3022 -x3111 -x3200 -x3289 -x3378 -x3467 -x3556 -x3645 -x3734 -x3823 -x3912 -x4001 -x4090 -x4179 -x4268 -x4357 -x4446 -x4535 -x4624 -x4713 -x4802 -x4891 -x4980 -x5069 -x5158 -x5247 -x5336 -x5425 -x5514 -x5603 -x5692 -x5781 -x5870 -x264 -x353 -x442 -x531 -x620 -x709 -x798 -x887 -x976 -x1065 -x1154 -x1243 -x1332 -x1421 -x1510 -x1599 -x1688 -x1777 -x1866 -x1955 x2044 -x2133 -x2222 -x2311 -x2400 -x2489 -x2578 -x2667 -x2756 -x2845 -x2934 -x3023 -x3112 -x3201 -x3290 -x3379 -x3468 -x3557 -x3646 -x3735 -x3824 -x3913 -x4002 -x4091 -x4180 -x4269 -x4358 -x4447 -x4536 -x4625 -x4714 -x4803 -x4892 -x4981 -x5070 -x5159 -x5248 -x5337 -x5426 -x5515 -x5604 -x5693 -x5782 -x5871 -x265 -x354 -x443 -x532 -x621 -x710 -x799 -x888 -x977 -x1066 -x1155 -x1244 -x1333 -x1422 -x1511 -x1600 -x1689 -x1778 -x1867 -x1956 -x2045 -x2134 -x2223 -x2312 -x2401 x2490 -x2579 -x2668 -x2757 -x2846 -x2935 -x3024 -x3113 -x3202 -x3291 -x3380 -x3469 -x3558 -x3647 -x3736 -x3825 -x3914 -x4003 -x4092 -x4181 -x4270 -x4359 -x4448 -x4537 -x4626 -x4715 -x4804 -x4893 -x4982 -x5071 -x5160 -x5249 -x5338 -x5427 -x5516 -x5605 -x5694 -x5783 -x5872 -x266 -x355 x444 -x533 -x622 -x711 -x800 -x889 -x978 -x1067 -x1156 -x1245 -x1334 -x1423 -x1512 -x1601 -x1690 -x1779 -x1868 -x1957 -x2046 -x2135 -x2224 -x2313 -x2402 -x2491 -x2580 -x2669 -x2758 -x2847 -x2936 -x3025 -x3114 -x3203 -x3292 -x3381 -x3470 -x3559 -x3648 -x3737 -x3826 -x3915 -x4004 -x4093 x4182 -x4271 -x4360 -x4449 -x4538 -x4627 -x4716 -x4805 -x4894 -x4983 -x5072 -x5161 -x5250 -x5339 -x5428 -x5517 -x5606 -x5695 -x5784 -x5873 -x267 -x356 -x445 -x534 -x623 -x712 -x801 -x890 -x979 -x1068 -x1157 -x1246 -x1335 -x1424 -x1513 -x1602 -x1691 -x1780 -x1869 -x1958 -x2047 -x2136 -x2225 -x2314 -x2403 x2492 -x2581 -x2670 -x2759 -x2848 -x2937 -x3026 -x3115 -x3204 -x3293 -x3382 -x3471 -x3560 -x3649 -x3738 -x3827 -x3916 -x4005 -x4094 -x4183 -x4272 -x4361 -x4450 -x4539 -x4628 -x4717 -x4806 -x4895 -x4984 -x5073 -x5162 -x5251 -x5340 -x5429 -x5518 -x5607 -x5696 -x5785 -x5874 -x268 -x357 -x446 x535 -x624 -x713 -x802 -x891 -x980 -x1069 -x1158 -x1247 -x1336 -x1425 -x1514 -x1603 -x1692 -x1781 -x1870 -x1959 -x2048 -x2137 -x2226 -x2315 -x2404 -x2493 -x2582 -x2671 -x2760 -x2849 -x2938 -x3027 -x3116 -x3205 -x3294 -x3383 -x3472 -x3561 -x3650 -x3739 -x3828 -x3917 -x4006 -x4095 -x4184 -x4273 -x4362 -x4451 -x4540 -x4629 -x4718 -x4807 -x4896 -x4985 -x5074 -x5163 -x5252 -x5341 -x5430 -x5519 -x5608 -x5697 -x5786 -x5875 -x269 x358 -x447 -x536 -x625 -x714 -x803 -x892 -x981 -x1070 -x1159 -x1248 -x1337 -x1426 -x1515 -x1604 -x1693 -x1782 -x1871 -x1960 -x2049 -x2138 -x2227 -x2316 -x2405 -x2494 -x2583 -x2672 -x2761 -x2850 -x2939 -x3028 -x3117 -x3206 -x3295 -x3384 -x3473 -x3562 -x3651 -x3740 -x3829 x3918 -x4007 -x4096 -x4185 -x4274 -x4363 -x4452 -x4541 -x4630 -x4719 -x4808 -x4897 -x4986 -x5075 -x5164 -x5253 -x5342 -x5431 -x5520 -x5609 -x5698 -x5787 -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 -x6087 -x6088 -x6089
13.88/13.92 v -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 -x7657 -x7658 -x7659 -x7660 -x7661 -x7662 -x7663 -x7664 -x7665 -x7666 -x7667 -x7668 -x7669 -x7670 -x7671 -x7672 -x7673 -x7674 -x7675 -x7676 -x7677 -x7678 -x7679 -x7680 -x7681 -x7682 -x7683 -x7684 -x7685 -x7686 -x7687 -x7688 -x7689 -x7690 -x7691 -x7692 -x7693 -x7694 -x7695 -x7696 -x7697 -x7698 -x7699 -x7700 -x7701 -x7702 -x7703 -x7704 -x7705 -x7706 -x7707 -x7708 -x7709 -x7710 -x7711 -x7712 -x7713 -x7714 -x7715 -x7716 -x7717 -x7718 -x7719 -x7720 -x7721 -x7722 -x7723 -x7724 -x7725 -x7726 -x7727 -x7728 -x7729 -x7730 -x7731 -x7732 -x7733 -x7734 -x7735 -x7736 -x7737 -x7738 -x7739 -x7740 -x7741 -x7742 -x7743 -x7744 -x7745 -x7746 -x7747 -x7748 -x7749 -x7750 -x7751 -x7752 -x7753 -x7754 -x7755 -x7756 -x7757 -x7758 -x7759 -x7760 -x7761 -x7762 -x7763 -x7764 -x7765 -x7766 -x7767 -x7768 -x7769 -x7770 -x7771 -x7772 -x7773 -x7774 -x7775 -x7776 -x7777 -x7778 -x7779 -x7780 -x7781 -x7782 -x7783 -x7784 -x7785 -x7786 -x7787 -x7788 -x7789 -x7790 -x7791 -x7792 -x7793 -x7794 -x7795 -x7796 -x7797 -x7798 -x7799 -x7800 -x7801 -x7802 -x7803 -x7804 -x7805 -x7806 -x7807 -x7808 -x7809 -x7810 -x7811 -x7812 -x7813 -x7814 -x7815 -x7816 -x7817 -x7818 -x7819 -x7820 -x7821 -x7822 -x7823 -x7824 -x7825 -x7826 -x7827 -x7828 -x7829 -x7830 -x7831 -x7832 -x7833 -x7834 -x7835 -x7836 -x7837 -x7838 -x7839 -x7840 -x7841 -x7842 -x7843 -x7844 -x7845 -x7846 -x7847 -x7848 -x7849 -x7850 -x7851 -x7852 -x7853 -x7854 -x7855 -x7856 -x7857 -x7858 -x7859 -x7860 -x7861 -x7862 -x7863 -x7864 -x7865 -x7866 -x7867 -x7868 -x7869 -x7870 -x7871 -x7872 -x7873 -x7874 -x7875 -x7876 -x7877 -x7878 -x7879 -x7880 -x7881 -x7882 -x7883 -x7884 -x7885 -x7886 -x7887 -x7888 -x7889 -x7890 -x7891 -x7892 -x7893 -x7894 -x7895 -x7896 -x7897 -x7898 -x7899 -x7900 -x7901 -x7902 -x7903 -x7904 -x7905 -x7906 -x7907 -x7908 -x7909 -x7910 -x7911 -x7912 -x7913 -x7914 -x7915 -x7916 -x7917 -x7918 -x7919 -x7920 -x7921 -x7922 -x7923 -x7924 -x7925 -x7926 -x7927 -x7928 -x7929 -x7930 -x7931 -x7932 -x7933 -x7934 -x7935 -x7936 -x7937 -x7938 -x7939 -x7940 -x7941 -x7942 -x7943 -x7944 -x7945 -x7946 -x7947 -x7948 -x7949 -x7950 -x7951 -x7952 -x7953 -x7954 -x7955 -x7956 -x7957 -x7958 -x7959 -x7960 -x7961 -x7962 -x7963 -x7964 -x7965 -x7966 -x7967 -x7968 -x7969 -x7970 -x7971 -x7972 -x7973 -x7974 -x7975 -x7976 -x7977 -x7978 -x7979 -x7980 -x7981 -x7982 -x7983 -x7984 -x7985 -x7986 -x7987 -x7988 -x7989 -x7990 -x7991 -x7992 -x7993 -x7994 -x7995 -x7996 -x7997 -x7998 -x7999 -x8000 -x8001 -x8002 -x8003 -x8004 -x8005 -x8006 -x8007 -x8008 -x8009 -x8010 -x8011 -x8012 -x8013 -x8014 -x8015 x8016 -x8017 -x8018 -x8019 -x8020 -x8021 -x8022 -x8023 -x8024 -x8025 -x8026 -x8027 -x8028 -x8029 -x8030 -x8031 -x8032 -x8033 -x8034 -x8035 -x8036 -x8037 -x8038 -x8039 -x8040 -x8041 -x8042 -x8043 -x8044 -x8045 -x8046 -x8047 -x8048 -x8049 -x8050 -x8051 -x8052 -x8053 -x8054 -x8055 -x8056 -x8057 -x8058 -x8059 -x8060 -x8061 -x8062 -x8063 -x8064 -x8065 -x8066 -x8067 -x8068 -x8069 -x8070 -x8071 -x8072 -x8073 -x8074 -x8075 -x8076 -x8077 -x8078 -x8079 -x8080 x8081 -x8082 -x8083 -x8084 x8085 x8086 -x8087 -x8088 -x8089
13.88/13.92 v -x8090 -x8091 -x8092 -x8093 -x8094 x8095 -x8096 -x8097 -x8098 -x8099 -x8100 -x8101 -x8102 -x8103 -x8104 -x8105 -x8106 -x8107 -x8108 -x8109 -x8110 -x8111 -x8112 -x8113 -x8114 -x8115 -x8116 -x8117 -x8118 -x8119 -x8120 -x8121 -x8122 -x8123 -x8124 -x8125 -x8126 -x8127 -x8128 -x8129 -x8130 -x8131 -x8132 -x8133 -x8134 -x8135 -x8136 -x8137 -x8138 -x8139 -x8140 -x8141 -x8142 -x8143 -x8144 -x8145 -x8146 -x8147 -x8148 -x8149 -x8150 -x8151 -x8152 -x8153 -x8154 -x8155 -x8156 -x8157 -x8158 -x8159 -x8160 -x8161 -x8162 -x8163 -x8164 -x8165 -x8166 -x8167 -x8168 -x8169 -x8170 -x8171 -x8172 -x8173 -x8174 -x8175 -x8176 -x8177 -x8178 -x8179 -x8180 -x8181 -x8182 -x8183 -x8184 -x8185 -x8186 -x8187 -x8188 -x8189 -x8190 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 -x175 -x176 -x177 -x178 -x179 -x180
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-4098215-1466118552/watcher-4098215-1466118552 -o /tmp/evaluation-result-4098215-1466118552/solver-4098215-1466118552 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node135-1466112658-21718 --watchdog 1960 naps-1.02 HOME/instance-4098215-1466118552.opb
pid=25161
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: 2.18 2.22 2.18 3/178 25164
/proc/meminfo: memFree=30090468/32872528 swapFree=1504664/1684536
[pid=25164] ppid=25161 vsize=6684 CPUtime=0 cores=0,2,4,6
/proc/25164/stat : 25164 (naps-1.02) R 25161 25164 19260 0 -1 4202496 374 0 0 0 0 0 0 0 20 0 1 0 13901183 6844416 248 33554432000 4194304 5796924 140734452220288 140737101410488 4659057 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/25164/statm: 1671 248 127 392 0 1270 0
[startup+0.100157 s]
/proc/loadavg: 2.18 2.22 2.18 3/178 25164
/proc/meminfo: memFree=30090468/32872528 swapFree=1504664/1684536
[pid=25164] ppid=25161 vsize=8244 CPUtime=0.09 cores=0,2,4,6
/proc/25164/stat : 25164 (naps-1.02) R 25161 25164 19260 0 -1 4202496 743 0 0 0 9 0 0 0 20 0 1 0 13901183 8441856 617 33554432000 4194304 5796924 140734452220288 140737101410488 5183584 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/25164/statm: 2061 617 127 392 0 1660 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 8244
[startup+0.200271 s]
/proc/loadavg: 2.18 2.22 2.18 3/178 25164
/proc/meminfo: memFree=30090468/32872528 swapFree=1504664/1684536
[pid=25164] ppid=25161 vsize=8244 CPUtime=0.19 cores=0,2,4,6
/proc/25164/stat : 25164 (naps-1.02) R 25161 25164 19260 0 -1 4202496 790 0 0 0 19 0 0 0 20 0 1 0 13901183 8441856 664 33554432000 4194304 5796924 140734452220288 140737101410488 5183584 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/25164/statm: 2061 664 127 392 0 1660 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 8244
[startup+0.300259 s]
/proc/loadavg: 2.18 2.22 2.18 3/178 25164
/proc/meminfo: memFree=30090468/32872528 swapFree=1504664/1684536
[pid=25164] ppid=25161 vsize=8520 CPUtime=0.29 cores=0,2,4,6
/proc/25164/stat : 25164 (naps-1.02) R 25161 25164 19260 0 -1 4202496 859 0 0 0 29 0 0 0 20 0 1 0 13901183 8724480 732 33554432000 4194304 5796924 140734452220288 140737101410488 5183584 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/25164/statm: 2130 732 127 392 0 1729 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 8520
[startup+0.700231 s]
/proc/loadavg: 2.18 2.22 2.18 3/178 25164
/proc/meminfo: memFree=30090468/32872528 swapFree=1504664/1684536
[pid=25164] ppid=25161 vsize=9268 CPUtime=0.69 cores=0,2,4,6
/proc/25164/stat : 25164 (naps-1.02) R 25161 25164 19260 0 -1 4202496 1128 0 0 0 69 0 0 0 20 0 1 0 13901183 9490432 1511 33554432000 4194304 5796924 140734452220288 140737101410488 5183584 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/25164/statm: 2317 1511 127 392 0 1916 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 9268
[startup+1.5002 s]
/proc/loadavg: 2.17 2.21 2.18 3/179 25165
/proc/meminfo: memFree=30084420/32872528 swapFree=1504664/1684536
[pid=25164] ppid=25161 vsize=10804 CPUtime=1.48 cores=0,2,4,6
/proc/25164/stat : 25164 (naps-1.02) R 25161 25164 19260 0 -1 4202496 1428 0 0 0 148 0 0 0 20 0 1 0 13901183 11063296 1806 33554432000 4194304 5796924 140734452220288 140734452219512 5183584 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/25164/statm: 2701 1806 127 392 0 2300 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 10804
[startup+3.10023 s]
/proc/loadavg: 2.17 2.21 2.18 3/179 25165
/proc/meminfo: memFree=30080280/32872528 swapFree=1504664/1684536
[pid=25164] ppid=25161 vsize=15420 CPUtime=3.09 cores=0,2,4,6
/proc/25164/stat : 25164 (naps-1.02) R 25161 25164 19260 0 -1 4202496 3604 0 0 0 308 1 0 0 20 0 1 0 13901183 15790080 3147 33554432000 4194304 5796924 140734452220288 140734452218680 4648630 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/25164/statm: 3855 3147 147 392 0 3454 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 15420
[startup+6.30027 s]
/proc/loadavg: 2.17 2.21 2.18 3/179 25165
/proc/meminfo: memFree=30061072/32872528 swapFree=1504664/1684536
[pid=25164] ppid=25161 vsize=43000 CPUtime=6.29 cores=0,2,4,6
/proc/25164/stat : 25164 (naps-1.02) R 25161 25164 19260 0 -1 4202496 6439 0 0 0 627 2 0 0 20 0 1 0 13901183 44032000 8531 33554432000 4194304 5796924 140734452220288 140734452217400 4606789 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/25164/statm: 10750 8531 155 392 0 10349 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 43000
[startup+12.7003 s]
/proc/loadavg: 2.14 2.21 2.18 3/179 25165
/proc/meminfo: memFree=30027264/32872528 swapFree=1504664/1684536
[pid=25164] ppid=25161 vsize=64028 CPUtime=12.68 cores=0,2,4,6
/proc/25164/stat : 25164 (naps-1.02) R 25161 25164 19260 0 -1 4202496 10877 0 0 0 1264 4 0 0 20 0 1 0 13901183 65564672 14856 33554432000 4194304 5796924 140734452220288 140734452217528 4606789 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/25164/statm: 16007 14856 164 392 0 15606 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 64028
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 25164 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+12.8003 s]
/proc/loadavg: 2.14 2.21 2.18 3/179 25165
/proc/meminfo: memFree=30027264/32872528 swapFree=1504664/1684536
[pid=25164] ppid=25161 vsize=64028 CPUtime=12.78 cores=0,2,4,6
/proc/25164/stat : 25164 (naps-1.02) R 25161 25164 19260 0 -1 4202496 10877 0 0 0 1274 4 0 0 20 0 1 0 13901183 65564672 14856 33554432000 4194304 5796924 140734452220288 140734452217528 4606531 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/25164/statm: 16007 14856 164 392 0 15606 0
Current children cumulated CPU time (s) 12.78
Current children cumulated vsize (KiB) 64028
[startup+13.6003 s]
/proc/loadavg: 2.14 2.21 2.18 3/179 25165
/proc/meminfo: memFree=30021368/32872528 swapFree=1504664/1684536
[pid=25164] ppid=25161 vsize=113348 CPUtime=13.58 cores=0,2,4,6
/proc/25164/stat : 25164 (naps-1.02) R 25161 25164 19260 0 -1 4202496 11207 0 0 0 1353 5 0 0 20 0 1 0 13901183 116068352 23872 33554432000 4194304 5796924 140734452220288 140734452217528 4606789 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/25164/statm: 28337 23872 164 392 0 27936 0
Current children cumulated CPU time (s) 13.58
Current children cumulated vsize (KiB) 113348
[startup+13.8003 s]
/proc/loadavg: 2.14 2.21 2.18 3/179 25165
/proc/meminfo: memFree=30021368/32872528 swapFree=1504664/1684536
[pid=25164] ppid=25161 vsize=113348 CPUtime=13.78 cores=0,2,4,6
/proc/25164/stat : 25164 (naps-1.02) R 25161 25164 19260 0 -1 4202496 11210 0 0 0 1373 5 0 0 20 0 1 0 13901183 116068352 23875 33554432000 4194304 5796924 140734452220288 140734452217528 4606789 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/25164/statm: 28337 23875 166 392 0 27936 0
Current children cumulated CPU time (s) 13.78
Current children cumulated vsize (KiB) 113348
[startup+13.9003 s]
/proc/loadavg: 2.14 2.21 2.18 3/179 25165
/proc/meminfo: memFree=30021368/32872528 swapFree=1504664/1684536
[pid=25164] ppid=25161 vsize=113348 CPUtime=13.88 cores=0,2,4,6
/proc/25164/stat : 25164 (naps-1.02) R 25161 25164 19260 0 -1 4202496 11210 0 0 0 1383 5 0 0 20 0 1 0 13901183 116068352 23875 33554432000 4194304 5796924 140734452220288 140734452217576 4607168 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/25164/statm: 28337 23875 166 392 0 27936 0
Current children cumulated CPU time (s) 13.88
Current children cumulated vsize (KiB) 113348
Child status: 20
Real time (s): 13.9306
CPU time (s): 13.9269
CPU user time (s): 13.8689
CPU system time (s): 0.057991
CPU usage (%): 99.9733
Max. virtual memory (cumulated for all children) (KiB): 113348
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 13.8689
system time used= 0.057991
maximum resident set size= 95564
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 11226
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= 15
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.030995 second user time and 0.06299 second system time
The end
Begin job on node135 at 2016-06-17 01:09:13
IDJOB=4098215
IDBENCH=107868
IDSOLVER=2544
FILE ID=node135/4098215-1466118552
RUNJOBID= node135-1466112658-21718
PBS_JOBID= 19904061
Free space on /tmp= 71692 MiB
SOLVER NAME= NaPS 1.02
BENCH NAME= PB16/normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d-equals-n_k/normalized-compression64_26.opb
COMMAND LINE= naps-1.02 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4098215-1466118552/watcher-4098215-1466118552 -o /tmp/evaluation-result-4098215-1466118552/solver-4098215-1466118552 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node135-1466112658-21718 --watchdog 1960 naps-1.02 HOME/instance-4098215-1466118552.opb
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4
MD5SUM BENCH= 787242a9ec472b67f7e3c250c21ec4a3
RANDOM SEED=823542932
node135.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 : 2667.004
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 : 5334.00
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 : 2667.004
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 : 2667.004
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.57
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 : 2667.004
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 : 2667.004
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 : 2667.004
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 : 2667.004
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 : 2667.004
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: 30091112 kB
Buffers: 67212 kB
Cached: 173860 kB
SwapCached: 2296 kB
Active: 263388 kB
Inactive: 118240 kB
Active(anon): 141104 kB
Inactive(anon): 1700 kB
Active(file): 122284 kB
Inactive(file): 116540 kB
Unevictable: 1684536 kB
Mlocked: 1504664 kB
SwapTotal: 67108856 kB
SwapFree: 67099424 kB
Dirty: 9624 kB
Writeback: 0 kB
AnonPages: 1836188 kB
Mapped: 7876 kB
Shmem: 0 kB
Slab: 571672 kB
SReclaimable: 15148 kB
SUnreclaim: 556524 kB
KernelStack: 1448 kB
PageTables: 7852 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 83545120 kB
Committed_AS: 1967996 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 346412 kB
VmallocChunk: 34341987908 kB
HardwareCorrupted: 0 kB
AnonHugePages: 274432 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= 71688 MiB
End job on node135 at 2016-06-17 01:09:27