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

OK	939

runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL

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.

NUMA information:
  number of nodes: 2
  memory of node 0: 63837 MiB (63008 MiB free)
  memory of node 1: 64465 MiB (63468 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4528366-1752237840/watcher-4528366-1752237840 -o /tmp/evaluation-result-4528366-1752237840/solver-4528366-1752237840 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC003-1752237840-114857 --watchdog 3760 pb_picat HOME/instance-4528366-1752237840.opb 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=114914, runsolver pid=114899
Current StackSize limit: 8192 KiB


[startup+0.100074 s]*
/proc/loadavg: 2.06 2.29 3.29 7/251 114915
/proc/meminfo: memFree=129492124/131382120 swapFree=33010416/33010684
[pid=114914] ppid=114899 vsize=2027148 memory=28128 CPUtime=0.09 cores=4,6
/proc/114914/stat : 114914 (pb_picat) R 114899 114914 113044 0 -1 4194304 1005 0 0 0 8 1 0 0 20 0 1 0 139462698 2075799552 7032 18446744073709551615 93835806556160 93835807957741 140734548636640 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 93835808229168 93835810103408 93835845427200 140734548638108 140734548638184 140734548638184 140734548643788 0
/proc/114914/statm: 506787 7032 1600 343 0 503851 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 2027148 KiB
Current children cumulated memory: 28128 KiB

[startup+0.212933 s]*
/proc/loadavg: 2.06 2.29 3.29 8/251 114915
/proc/meminfo: memFree=129488284/131382120 swapFree=33010416/33010684
[pid=114914] ppid=114899 vsize=2027148 memory=34272 CPUtime=0.2 cores=4,6
/proc/114914/stat : 114914 (pb_picat) R 114899 114914 113044 0 -1 4194304 1009 0 0 0 19 1 0 0 20 0 1 0 139462698 2075799552 8568 18446744073709551615 93835806556160 93835807957741 140734548636640 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 93835808229168 93835810103408 93835845427200 140734548638108 140734548638184 140734548638184 140734548643788 0
/proc/114914/statm: 506787 8568 1600 343 0 503851 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 2027148 KiB
Current children cumulated memory: 34272 KiB

[startup+0.312681 s]*
/proc/loadavg: 2.06 2.29 3.29 7/251 114915
/proc/meminfo: memFree=129484364/131382120 swapFree=33010416/33010684
[pid=114914] ppid=114899 vsize=2027148 memory=40416 CPUtime=0.31 cores=4,6
/proc/114914/stat : 114914 (pb_picat) R 114899 114914 113044 0 -1 4194304 1012 0 0 0 29 2 0 0 20 0 1 0 139462698 2075799552 10104 18446744073709551615 93835806556160 93835807957741 140734548636640 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 93835808229168 93835810103408 93835845427200 140734548638108 140734548638184 140734548638184 140734548643788 0
/proc/114914/statm: 506787 10104 1600 343 0 503851 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 2027148 KiB
Current children cumulated memory: 40416 KiB

[startup+0.700307 s]
/proc/loadavg: 2.06 2.29 3.29 7/251 114915
/proc/meminfo: memFree=129467476/131382120 swapFree=33010416/33010684
[pid=114914] ppid=114899 vsize=2034964 memory=76020 CPUtime=0.68 cores=4,6
/proc/114914/stat : 114914 (pb_picat) R 114899 114914 113044 0 -1 4194304 1166 0 0 0 65 3 0 0 20 0 1 0 139462698 2083803136 19005 18446744073709551615 93835806556160 93835807957741 140734548636640 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 93835808229168 93835810103408 93835845427200 140734548638108 140734548638184 140734548638184 140734548643788 0
/proc/114914/statm: 508741 19005 1664 343 0 505805 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 2034964 KiB
Current children cumulated memory: 76020 KiB

[startup+1.50033 s]
/proc/loadavg: 2.06 2.29 3.29 7/251 114915
/proc/meminfo: memFree=129413792/131382120 swapFree=33010416/33010684
[pid=114914] ppid=114899 vsize=2098244 memory=126796 CPUtime=1.47 cores=4,6
/proc/114914/stat : 114914 (pb_picat) R 114899 114914 113044 0 -1 4194304 12428 0 0 0 140 7 0 0 20 0 1 0 139462698 2148601856 31699 18446744073709551615 93835806556160 93835807957741 140734548636640 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 93835808229168 93835810103408 93835845427200 140734548638108 140734548638184 140734548638184 140734548643788 0
/proc/114914/statm: 524561 31699 1760 343 0 521625 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 2098244 KiB
Current children cumulated memory: 126796 KiB

[startup+3.1123 s]
/proc/loadavg: 2.22 2.31 3.30 6/247 114923
/proc/meminfo: memFree=129366096/131382120 swapFree=33010416/33010684
[pid=114914] ppid=114899 vsize=2118540 memory=145088 CPUtime=3.08 cores=4,6
/proc/114914/stat : 114914 (pb_picat) R 114899 114914 113044 0 -1 4194304 16893 0 0 0 299 9 0 0 20 0 1 0 139462698 2169384960 36272 18446744073709551615 93835806556160 93835807957741 140734548636640 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 93835808229168 93835810103408 93835845427200 140734548638108 140734548638184 140734548638184 140734548643788 0
/proc/114914/statm: 529635 36272 1760 343 0 526699 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 2118540 KiB
Current children cumulated memory: 145088 KiB

[startup+6.30028 s]
/proc/loadavg: 2.22 2.31 3.30 7/251 114960
/proc/meminfo: memFree=129321088/131382120 swapFree=33010416/33010684
[pid=114914] ppid=114899 vsize=2118044 memory=144508 CPUtime=6.26 cores=4,6
/proc/114914/stat : 114914 (pb_picat) R 114899 114914 113044 0 -1 4194304 23304 0 0 0 615 11 0 0 20 0 1 0 139462698 2168877056 36127 18446744073709551615 93835806556160 93835807957741 140734548636640 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 93835808229168 93835810103408 93835845427200 140734548638108 140734548638184 140734548638184 140734548643788 0
/proc/114914/statm: 529511 36127 1760 343 0 526575 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 2118044 KiB
Current children cumulated memory: 144508 KiB

[startup+12.7003 s]
/proc/loadavg: 2.49 2.37 3.31 7/251 114960
/proc/meminfo: memFree=129328100/131382120 swapFree=33010416/33010684
[pid=114914] ppid=114899 vsize=2118044 memory=143276 CPUtime=12.65 cores=4,6
/proc/114914/stat : 114914 (pb_picat) R 114899 114914 113044 0 -1 4194304 30325 0 0 0 1251 14 0 0 20 0 1 0 139462698 2168877056 35819 18446744073709551615 93835806556160 93835807957741 140734548636640 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 93835808229168 93835810103408 93835845427200 140734548638108 140734548638184 140734548638184 140734548643788 0
/proc/114914/statm: 529511 35819 1760 343 0 526575 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 2118044 KiB
Current children cumulated memory: 143276 KiB

[startup+25.5003 s]
/proc/loadavg: 2.72 2.43 3.31 7/251 114961
/proc/meminfo: memFree=129314036/131382120 swapFree=33010416/33010684
[pid=114914] ppid=114899 vsize=2118044 memory=141228 CPUtime=25.4 cores=4,6
/proc/114914/stat : 114914 (pb_picat) R 114899 114914 113044 0 -1 4194304 36073 0 0 0 2524 16 0 0 20 0 1 0 139462698 2168877056 35307 18446744073709551615 93835806556160 93835807957741 140734548636640 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 93835808229168 93835810103408 93835845427200 140734548638108 140734548638184 140734548638184 140734548643788 0
/proc/114914/statm: 529511 35307 1760 343 0 526575 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 2118044 KiB
Current children cumulated memory: 141228 KiB

[startup+51.1128 s]
/proc/loadavg: 3.23 2.57 3.34 7/251 114961
/proc/meminfo: memFree=129298256/131382120 swapFree=33010416/33010684
[pid=114914] ppid=114899 vsize=2121056 memory=145324 CPUtime=50.93 cores=4,6
/proc/114914/stat : 114914 (pb_picat) R 114899 114914 113044 0 -1 4194304 59875 0 0 0 5068 25 0 0 20 0 1 0 139462698 2171961344 36331 18446744073709551615 93835806556160 93835807957741 140734548636640 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 93835808229168 93835810103408 93835845427200 140734548638108 140734548638184 140734548638184 140734548643788 0
/proc/114914/statm: 530264 36331 1760 343 0 527328 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 2121056 KiB
Current children cumulated memory: 145324 KiB

[startup+102.3 s]
/proc/loadavg: 3.70 2.81 3.38 7/251 114963
/proc/meminfo: memFree=129274708/131382120 swapFree=33010416/33010684
[pid=114914] ppid=114899 vsize=2121392 memory=147292 CPUtime=101.97 cores=4,6
/proc/114914/stat : 114914 (pb_picat) R 114899 114914 113044 0 -1 4194304 94082 0 0 0 10156 41 0 0 20 0 1 0 139462698 2172305408 36823 18446744073709551615 93835806556160 93835807957741 140734548636640 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 93835808229168 93835810103408 93835845427200 140734548638108 140734548638184 140734548638184 140734548643788 0
/proc/114914/statm: 530348 36823 1760 343 0 527412 0
Current children cumulated CPU time: 101.97 s
Current children cumulated vsize: 2121392 KiB
Current children cumulated memory: 147292 KiB

[startup+162.3 s]
/proc/loadavg: 4.66 3.20 3.48 7/251 114965
/proc/meminfo: memFree=129286612/131382120 swapFree=33010416/33010684
[pid=114914] ppid=114899 vsize=2121400 memory=149456 CPUtime=161.78 cores=4,6
/proc/114914/stat : 114914 (pb_picat) R 114899 114914 113044 0 -1 4194304 120487 0 0 0 16126 52 0 0 20 0 1 0 139462698 2172313600 37364 18446744073709551615 93835806556160 93835807957741 140734548636640 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 93835808229168 93835810103408 93835845427200 140734548638108 140734548638184 140734548638184 140734548643788 0
/proc/114914/statm: 530350 37364 1760 343 0 527414 0
Current children cumulated CPU time: 161.78 s
Current children cumulated vsize: 2121400 KiB
Current children cumulated memory: 149456 KiB

[startup+222.3 s]
/proc/loadavg: 5.43 3.71 3.64 7/251 114967
/proc/meminfo: memFree=129288236/131382120 swapFree=33010416/33010684
[pid=114914] ppid=114899 vsize=2121916 memory=147812 CPUtime=221.6 cores=4,6
/proc/114914/stat : 114914 (pb_picat) R 114899 114914 113044 0 -1 4194304 155199 0 0 0 22092 68 0 0 20 0 1 0 139462698 2172841984 36953 18446744073709551615 93835806556160 93835807957741 140734548636640 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 93835808229168 93835810103408 93835845427200 140734548638108 140734548638184 140734548638184 140734548643788 0
/proc/114914/statm: 530479 36953 1760 343 0 527543 0
Current children cumulated CPU time: 221.6 s
Current children cumulated vsize: 2121916 KiB
Current children cumulated memory: 147812 KiB

[startup+282.3 s]
/proc/loadavg: 4.72 3.84 3.69 7/250 114969
/proc/meminfo: memFree=129268624/131382120 swapFree=33010416/33010684
[pid=114914] ppid=114899 vsize=2122424 memory=146680 CPUtime=281.42 cores=4,6
/proc/114914/stat : 114914 (pb_picat) R 114899 114914 113044 0 -1 4194304 203966 0 0 0 28051 91 0 0 20 0 1 0 139462698 2173362176 36670 18446744073709551615 93835806556160 93835807957741 140734548636640 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 93835808229168 93835810103408 93835845427200 140734548638108 140734548638184 140734548638184 140734548643788 0
/proc/114914/statm: 530606 36670 1760 343 0 527670 0
Current children cumulated CPU time: 281.42 s
Current children cumulated vsize: 2122424 KiB
Current children cumulated memory: 146680 KiB

[startup+342.3 s]
/proc/loadavg: 4.39 3.90 3.73 7/250 114971
/proc/meminfo: memFree=129239524/131382120 swapFree=33010416/33010684
[pid=114914] ppid=114899 vsize=2152140 memory=176056 CPUtime=341.23 cores=4,6
/proc/114914/stat : 114914 (pb_picat) R 114899 114914 113044 0 -1 4194304 219460 0 0 0 34023 100 0 0 20 0 1 0 139462698 2203791360 44014 18446744073709551615 93835806556160 93835807957741 140734548636640 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 93835808229168 93835810103408 93835845427200 140734548638108 140734548638184 140734548638184 140734548643788 0
/proc/114914/statm: 538035 44014 1760 343 0 535099 0
Current children cumulated CPU time: 341.23 s
Current children cumulated vsize: 2152140 KiB
Current children cumulated memory: 176056 KiB

[startup+402.3 s]
/proc/loadavg: 4.20 3.94 3.75 7/250 114973
/proc/meminfo: memFree=129252560/131382120 swapFree=33010416/33010684
[pid=114914] ppid=114899 vsize=2122680 memory=152672 CPUtime=401.05 cores=4,6
/proc/114914/stat : 114914 (pb_picat) R 114899 114914 113044 0 -1 4194304 255465 0 0 0 39987 118 0 0 20 0 1 0 139462698 2173624320 38168 18446744073709551615 93835806556160 93835807957741 140734548636640 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 93835808229168 93835810103408 93835845427200 140734548638108 140734548638184 140734548638184 140734548643788 0
/proc/114914/statm: 530670 38168 1760 343 0 527734 0
Current children cumulated CPU time: 401.05 s
Current children cumulated vsize: 2122680 KiB
Current children cumulated memory: 152672 KiB

[startup+462.3 s]
/proc/loadavg: 4.12 3.97 3.77 7/249 114975
/proc/meminfo: memFree=129243552/131382120 swapFree=33010416/33010684
[pid=114914] ppid=114899 vsize=2122688 memory=150632 CPUtime=460.87 cores=4,6
/proc/114914/stat : 114914 (pb_picat) R 114899 114914 113044 0 -1 4194304 284136 0 0 0 45953 134 0 0 20 0 1 0 139462698 2173632512 37658 18446744073709551615 93835806556160 93835807957741 140734548636640 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 93835808229168 93835810103408 93835845427200 140734548638108 140734548638184 140734548638184 140734548643788 0
/proc/114914/statm: 530672 37658 1760 343 0 527736 0
Current children cumulated CPU time: 460.87 s

################
# More data... #
################

/proc/loadavg: 4.08 4.07 3.93 7/251 114998
/proc/meminfo: memFree=129198612/131382120 swapFree=33010416/33010684
[pid=114914] ppid=114899 vsize=2154856 memory=179188 CPUtime=939.41 cores=4,6
/proc/114914/stat : 114914 (pb_picat) R 114899 114914 113044 0 -1 4194304 491729 0 0 0 93706 235 0 0 20 0 1 0 139462698 2206572544 44797 18446744073709551615 93835806556160 93835807957741 140734548636640 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 93835808229168 93835810103408 93835845427200 140734548638108 140734548638184 140734548638184 140734548643788 0
/proc/114914/statm: 538714 44797 1760 343 0 535778 0
Current children cumulated CPU time: 939.41 s
Current children cumulated vsize: 2154856 KiB
Current children cumulated memory: 179188 KiB

[startup+1002.3 s]
/proc/loadavg: 4.13 4.09 3.94 7/251 115000
/proc/meminfo: memFree=129210496/131382120 swapFree=33010416/33010684
[pid=114914] ppid=114899 vsize=2113896 memory=157712 CPUtime=999.23 cores=4,6
/proc/114914/stat : 114914 (pb_picat) R 114899 114914 113044 0 -1 4194304 511411 0 0 0 99680 243 0 0 20 0 1 0 139462698 2164629504 39428 18446744073709551615 93835806556160 93835807957741 140734548636640 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 93835808229168 93835810103408 93835845427200 140734548638108 140734548638184 140734548638184 140734548643788 0
/proc/114914/statm: 528474 39428 1760 343 0 525538 0
Current children cumulated CPU time: 999.23 s
Current children cumulated vsize: 2113896 KiB
Current children cumulated memory: 157712 KiB

[startup+1062.3 s]
/proc/loadavg: 4.09 4.08 3.95 7/251 115013
/proc/meminfo: memFree=129207264/131382120 swapFree=33010416/33010684
[pid=114914] ppid=114899 vsize=2154856 memory=174608 CPUtime=1059.04 cores=4,6
/proc/114914/stat : 114914 (pb_picat) R 114899 114914 113044 0 -1 4194304 541362 0 0 0 105645 259 0 0 20 0 1 0 139462698 2206572544 43652 18446744073709551615 93835806556160 93835807957741 140734548636640 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 93835808229168 93835810103408 93835845427200 140734548638108 140734548638184 140734548638184 140734548643788 0
/proc/114914/statm: 538714 43652 1760 343 0 535778 0
Current children cumulated CPU time: 1059.04 s
Current children cumulated vsize: 2154856 KiB
Current children cumulated memory: 174608 KiB

[startup+1122.3 s]
/proc/loadavg: 4.15 4.10 3.97 7/251 115015
/proc/meminfo: memFree=129205076/131382120 swapFree=33010416/33010684
[pid=114914] ppid=114899 vsize=2154856 memory=175024 CPUtime=1118.86 cores=4,6
/proc/114914/stat : 114914 (pb_picat) R 114899 114914 113044 0 -1 4194304 561395 0 0 0 111617 269 0 0 20 0 1 0 139462698 2206572544 43756 18446744073709551615 93835806556160 93835807957741 140734548636640 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 93835808229168 93835810103408 93835845427200 140734548638108 140734548638184 140734548638184 140734548643788 0
/proc/114914/statm: 538714 43756 1760 343 0 535778 0
Current children cumulated CPU time: 1118.86 s
Current children cumulated vsize: 2154856 KiB
Current children cumulated memory: 175024 KiB

[startup+1182.3 s]
/proc/loadavg: 4.12 4.09 3.98 6/252 115339
/proc/meminfo: memFree=129237336/131382120 swapFree=33010416/33010684
[pid=114914] ppid=114899 vsize=2122088 memory=162320 CPUtime=1178.68 cores=4,6
/proc/114914/stat : 114914 (pb_picat) R 114899 114914 113044 0 -1 4194304 589118 0 0 0 117588 280 0 0 20 0 1 0 139462698 2173018112 40580 18446744073709551615 93835806556160 93835807957741 140734548636640 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 93835808229168 93835810103408 93835845427200 140734548638108 140734548638184 140734548638184 140734548643788 0
/proc/114914/statm: 530522 40580 1760 343 0 527586 0
Current children cumulated CPU time: 1178.68 s
Current children cumulated vsize: 2122088 KiB
Current children cumulated memory: 162320 KiB

[startup+1242.3 s]
/proc/loadavg: 4.08 4.09 3.99 6/251 115521
/proc/meminfo: memFree=129210280/131382120 swapFree=33010416/33010684
[pid=114914] ppid=114899 vsize=2154856 memory=180752 CPUtime=1238.49 cores=4,6
/proc/114914/stat : 114914 (pb_picat) R 114899 114914 113044 0 -1 4194304 621854 0 0 0 123554 295 0 0 20 0 1 0 139462698 2206572544 45188 18446744073709551615 93835806556160 93835807957741 140734548636640 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 93835808229168 93835810103408 93835845427200 140734548638108 140734548638184 140734548638184 140734548643788 0
/proc/114914/statm: 538714 45188 1760 343 0 535778 0
Current children cumulated CPU time: 1238.49 s
Current children cumulated vsize: 2154856 KiB
Current children cumulated memory: 180752 KiB

[startup+1302.3 s]
/proc/loadavg: 4.13 4.10 4.00 7/251 115657
/proc/meminfo: memFree=128222240/131382120 swapFree=33010416/33010684
[pid=114914] ppid=114899 vsize=2122088 memory=158224 CPUtime=1298.3 cores=4,6
/proc/114914/stat : 114914 (pb_picat) R 114899 114914 113044 0 -1 4194304 637661 0 0 0 129528 302 0 0 20 0 1 0 139462698 2173018112 39556 18446744073709551615 93835806556160 93835807957741 140734548636640 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 93835808229168 93835810103408 93835845427200 140734548638108 140734548638184 140734548638184 140734548643788 0
/proc/114914/statm: 530522 39556 1760 343 0 527586 0
Current children cumulated CPU time: 1298.3 s
Current children cumulated vsize: 2122088 KiB
Current children cumulated memory: 158224 KiB

[startup+1337.03 s]
# the end of solver process 114914 was just reported to runsolver
# Child status: 0

# cumulated CPU time of all completed processes:  user=1329.86 s, system=3.07162 s

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

[startup+1305.6 s]
/proc/loadavg: 4.12 4.10 4.00 7/251 115657
/proc/meminfo: memFree=128128604/131382120 swapFree=33010416/33010684
[pid=114914] ppid=114899 vsize=2113896 memory=155280 CPUtime=1301.58 cores=4,6
/proc/114914/stat : 114914 (pb_picat) R 114899 114914 113044 0 -1 4194304 639251 0 0 0 129856 302 0 0 20 0 1 0 139462698 2164629504 38820 18446744073709551615 93835806556160 93835807957741 140734548636640 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 93835808229168 93835810103408 93835845427200 140734548638108 140734548638184 140734548638184 140734548643788 0
/proc/114914/statm: 528474 38820 1760 343 0 525538 0
Current children cumulated CPU time: 1301.58 s
Current children cumulated vsize: 2113896 KiB
Current children cumulated memory: 155280 KiB

[startup+1318.4 s]
/proc/loadavg: 4.09 4.09 4.00 6/252 115705
/proc/meminfo: memFree=128134980/131382120 swapFree=33010416/33010684
[pid=114914] ppid=114899 vsize=2113896 memory=154128 CPUtime=1314.35 cores=4,6
/proc/114914/stat : 114914 (pb_picat) R 114899 114914 113044 0 -1 4194304 643857 0 0 0 131131 304 0 0 20 0 1 0 139462698 2164629504 38532 18446744073709551615 93835806556160 93835807957741 140734548636640 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 93835808229168 93835810103408 93835845427200 140734548638108 140734548638184 140734548638184 140734548643788 0
/proc/114914/statm: 528474 38532 1760 343 0 525538 0
Current children cumulated CPU time: 1314.35 s
Current children cumulated vsize: 2113896 KiB
Current children cumulated memory: 154128 KiB

[startup+1324.8 s]
/proc/loadavg: 4.08 4.09 4.00 5/248 115713
/proc/meminfo: memFree=129177220/131382120 swapFree=33010416/33010684
[pid=114914] ppid=114899 vsize=2113896 memory=154384 CPUtime=1320.73 cores=4,6
/proc/114914/stat : 114914 (pb_picat) R 114899 114914 113044 0 -1 4194304 645583 0 0 0 131768 305 0 0 20 0 1 0 139462698 2164629504 38596 18446744073709551615 93835806556160 93835807957741 140734548636640 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 93835808229168 93835810103408 93835845427200 140734548638108 140734548638184 140734548638184 140734548643788 0
/proc/114914/statm: 528474 38596 1760 343 0 525538 0
Current children cumulated CPU time: 1320.73 s
Current children cumulated vsize: 2113896 KiB
Current children cumulated memory: 154384 KiB

[startup+1331.2 s]
/proc/loadavg: 4.08 4.09 4.00 6/252 115750
/proc/meminfo: memFree=128483272/131382120 swapFree=33010416/33010684
[pid=114914] ppid=114899 vsize=2113896 memory=154128 CPUtime=1327.11 cores=4,6
/proc/114914/stat : 114914 (pb_picat) R 114899 114914 113044 0 -1 4194304 648313 0 0 0 132406 305 0 0 20 0 1 0 139462698 2164629504 38532 18446744073709551615 93835806556160 93835807957741 140734548636640 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 93835808229168 93835810103408 93835845427200 140734548638108 140734548638184 140734548638184 140734548643788 0
/proc/114914/statm: 528474 38532 1760 343 0 525538 0
Current children cumulated CPU time: 1327.11 s
Current children cumulated vsize: 2113896 KiB
Current children cumulated memory: 154128 KiB

[startup+1334.4 s]
/proc/loadavg: 4.15 4.10 4.01 6/252 115750
/proc/meminfo: memFree=127938788/131382120 swapFree=33010416/33010684
[pid=114914] ppid=114899 vsize=2122088 memory=158224 CPUtime=1330.3 cores=4,6
/proc/114914/stat : 114914 (pb_picat) R 114899 114914 113044 0 -1 4194304 649698 0 0 0 132725 305 0 0 20 0 1 0 139462698 2173018112 39556 18446744073709551615 93835806556160 93835807957741 140734548636640 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 93835808229168 93835810103408 93835845427200 140734548638108 140734548638184 140734548638184 140734548643788 0
/proc/114914/statm: 530522 39556 1760 343 0 527586 0
Current children cumulated CPU time: 1330.3 s
Current children cumulated vsize: 2122088 KiB
Current children cumulated memory: 158224 KiB

[startup+1336 s]*
/proc/loadavg: 4.15 4.10 4.01 6/252 115750
/proc/meminfo: memFree=127582688/131382120 swapFree=33010416/33010684
[pid=114914] ppid=114899 vsize=2113896 memory=154640 CPUtime=1331.9 cores=4,6
/proc/114914/stat : 114914 (pb_picat) R 114899 114914 113044 0 -1 4194304 649933 0 0 0 132885 305 0 0 20 0 1 0 139462698 2164629504 38660 18446744073709551615 93835806556160 93835807957741 140734548636640 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 93835808229168 93835810103408 93835845427200 140734548638108 140734548638184 140734548638184 140734548643788 0
/proc/114914/statm: 528474 38660 1760 343 0 525538 0
Current children cumulated CPU time: 1331.9 s
Current children cumulated vsize: 2113896 KiB
Current children cumulated memory: 154640 KiB

[startup+1336.8 s]
/proc/loadavg: 4.15 4.10 4.01 6/252 115750
/proc/meminfo: memFree=127582688/131382120 swapFree=33010416/33010684
[pid=114914] ppid=114899 vsize=2113896 memory=154896 CPUtime=1332.69 cores=4,6
/proc/114914/stat : 114914 (pb_picat) R 114899 114914 113044 0 -1 4194304 650019 0 0 0 132964 305 0 0 20 0 1 0 139462698 2164629504 38724 18446744073709551615 93835806556160 93835807957741 140734548636640 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 93835808229168 93835810103408 93835845427200 140734548638108 140734548638184 140734548638184 140734548643788 0
/proc/114914/statm: 528474 38724 1760 343 0 525538 0
Current children cumulated CPU time: 1332.69 s
Current children cumulated vsize: 2113896 KiB
Current children cumulated memory: 154896 KiB

[startup+1337 s]*
/proc/loadavg: 4.15 4.10 4.01 6/252 115750
/proc/meminfo: memFree=127398368/131382120 swapFree=33010416/33010684
[pid=114914] ppid=114899 vsize=2113896 memory=155024 CPUtime=1332.9 cores=4,6
/proc/114914/stat : 114914 (pb_picat) R 114899 114914 113044 0 -1 4194304 650039 0 0 0 132985 305 0 0 20 0 1 0 139462698 2164629504 38756 18446744073709551615 93835806556160 93835807957741 140734548636640 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 93835808229168 93835810103408 93835845427200 140734548638108 140734548638184 140734548638184 140734548643788 0
/proc/114914/statm: 528474 38756 1760 343 0 525538 0
Current children cumulated CPU time: 1332.9 s
Current children cumulated vsize: 2113896 KiB
Current children cumulated memory: 155024 KiB

Child status: 0

Real time (s): 1337.03
CPU time (s): 1332.93
CPU user time (s): 1329.86
CPU system time (s): 3.07162
CPU usage (%): 99.6935
Max. virtual memory (cumulated for all children) (KiB): 2154856
Max. memory (cumulated for all children) (KiB): 190992

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1329.86
system time used= 3.07162
maximum resident set size= 190992
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 650043
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= 67
involuntary context switches= 1687


# summary of solver processes directly reported to runsolver:
#   pid: 114914
#   total CPU time (s): 1332.93
#   total CPU user time (s): 1329.86
#   total CPU system time (s): 3.07162

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.35297 second user time and 12.3478 second system time

The end

Begin job on nodeC003 at 2025-07-11 14:44:00
IDJOB=4528366
IDBENCH=146652
IDSOLVER=3385
FILE ID=nodeC003/4528366-1752237840
RUNJOBID= nodeC003-1752237840-114857
SLURM_JOB_ID= 9682514
Free space on /tmp= 432032 MiB

SOLVER NAME= pb_picat 2025-07-11
BENCH NAME= PB24/normalized-PB06/OPT-LIN/web/www.ps.uni-sb.de/~walser/benchmarks/course-ass/normalized-ss97-2.opb
COMMAND LINE= pb_picat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4528366-1752237840/watcher-4528366-1752237840 -o /tmp/evaluation-result-4528366-1752237840/solver-4528366-1752237840 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC003-1752237840-114857 --watchdog 3760  pb_picat HOME/instance-4528366-1752237840.opb

TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2

MD5SUM BENCH= b97b9bf3767749854a32fccedb37d823
RANDOM SEED=1429338271

nodeC003 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.324
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.44
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.085
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.44
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.150
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.44
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.181
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.44
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.160
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.44
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.123
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.44
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.163
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.44
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.149
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.44
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131382120 kB
MemFree:        129524964 kB
MemAvailable:   129846452 kB
Buffers:            2736 kB
Cached:          1114784 kB
SwapCached:           36 kB
Active:           567116 kB
Inactive:         618880 kB
Active(anon):      78844 kB
Inactive(anon):     7604 kB
Active(file):     488272 kB
Inactive(file):   611276 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010416 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             15184 kB
Writeback:             4 kB
AnonPages:         71600 kB
Mapped:           105668 kB
Shmem:             17924 kB
KReclaimable:     123132 kB
Slab:             211716 kB
SReclaimable:     123132 kB
SUnreclaim:        88584 kB
KernelStack:        3872 kB
PageTables:         2892 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701744 kB
Committed_AS:     335312 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      149304 kB
VmallocChunk:          0 kB
Percpu:             3872 kB
HardwareCorrupted:     0 kB
AnonHugePages:     10240 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
CmaTotal:              0 kB
CmaFree:               0 kB
Unaccepted:            0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      191304 kB
DirectMap2M:    11245568 kB
DirectMap1G:    124780544 kB

Free space on /tmp at the end= 431932 MiB
End job on nodeC003 at 2025-07-11 15:06:18