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

OK	0

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: 63794 MiB (62531 MiB free)
  memory of node 1: 64507 MiB (62537 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4527905-1752238913/watcher-4527905-1752238913 -o /tmp/evaluation-result-4527905-1752238913/solver-4527905-1752238913 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC001-1752238731-113183 --watchdog 3760 pb_picat HOME/instance-4527905-1752238913.opb 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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
Current StackSize limit: 8192 KiB

solver pid=113620, runsolver pid=113617

[startup+0.100097 s]*
/proc/loadavg: 4.06 3.02 3.62 5/254 113621
/proc/meminfo: memFree=128058748/131382112 swapFree=33009904/33010684
[pid=113620] ppid=113617 vsize=2027148 memory=28064 CPUtime=0.09 cores=1,3
/proc/113620/stat : 113620 (pb_picat) R 113617 113620 111409 0 -1 4194304 1034 0 0 0 9 0 0 0 20 0 1 0 139570174 2075799552 7016 18446744073709551615 94294032359424 94294033761005 140727409997840 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94294034032432 94294035906672 94294047723520 140727410002332 140727410002408 140727410002408 140727410008012 0
/proc/113620/statm: 506787 7016 1568 343 0 503851 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 2027148 KiB
Current children cumulated memory: 28064 KiB

[startup+0.213332 s]*
/proc/loadavg: 4.06 3.02 3.62 5/254 113621
/proc/meminfo: memFree=128042364/131382112 swapFree=33009904/33010684
[pid=113620] ppid=113617 vsize=2027148 memory=36264 CPUtime=0.21 cores=1,3
/proc/113620/stat : 113620 (pb_picat) R 113617 113620 111409 0 -1 4194304 1038 0 0 0 20 1 0 0 20 0 1 0 139570174 2075799552 9066 18446744073709551615 94294032359424 94294033761005 140727409997840 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94294034032432 94294035906672 94294047723520 140727410002332 140727410002408 140727410002408 140727410008012 0
/proc/113620/statm: 506787 9066 1568 343 0 503851 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 2027148 KiB
Current children cumulated memory: 36264 KiB

[startup+0.313299 s]*
/proc/loadavg: 4.06 3.02 3.62 5/254 113621
/proc/meminfo: memFree=128059084/131382112 swapFree=33009904/33010684
[pid=113620] ppid=113617 vsize=2027148 memory=44456 CPUtime=0.31 cores=1,3
/proc/113620/stat : 113620 (pb_picat) R 113617 113620 111409 0 -1 4194304 1042 0 0 0 30 1 0 0 20 0 1 0 139570174 2075799552 11114 18446744073709551615 94294032359424 94294033761005 140727409997840 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94294034032432 94294035906672 94294047723520 140727410002332 140727410002408 140727410002408 140727410008012 0
/proc/113620/statm: 506787 11114 1568 343 0 503851 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 2027148 KiB
Current children cumulated memory: 44456 KiB

[startup+0.700293 s]
/proc/loadavg: 4.06 3.02 3.62 5/254 113621
/proc/meminfo: memFree=128029720/131382112 swapFree=33009904/33010684
[pid=113620] ppid=113617 vsize=2098720 memory=111176 CPUtime=0.68 cores=1,3
/proc/113620/stat : 113620 (pb_picat) R 113617 113620 111409 0 -1 4194304 9179 0 0 0 64 4 0 0 20 0 1 0 139570174 2149089280 27794 18446744073709551615 94294032359424 94294033761005 140727409997840 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94294034032432 94294035906672 94294047723520 140727410002332 140727410002408 140727410002408 140727410008012 0
/proc/113620/statm: 524680 27794 1632 343 0 521744 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 2098720 KiB
Current children cumulated memory: 111176 KiB

[startup+1.50033 s]
/proc/loadavg: 4.06 3.02 3.62 5/254 113621
/proc/meminfo: memFree=127937504/131382112 swapFree=33009904/33010684
[pid=113620] ppid=113617 vsize=2443552 memory=312824 CPUtime=1.48 cores=1,3
/proc/113620/stat : 113620 (pb_picat) R 113617 113620 111409 0 -1 4194304 23138 0 0 0 138 10 0 0 20 0 1 0 139570174 2502197248 78206 18446744073709551615 94294032359424 94294033761005 140727409997840 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94294034032432 94294035906672 94294047723520 140727410002332 140727410002408 140727410002408 140727410008012 0
/proc/113620/statm: 610888 78206 1632 343 0 607952 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 2443552 KiB
Current children cumulated memory: 312824 KiB

[startup+3.11305 s]
/proc/loadavg: 4.06 3.04 3.62 5/254 113621
/proc/meminfo: memFree=127556044/131382112 swapFree=33009904/33010684
[pid=113620] ppid=113617 vsize=2858660 memory=553924 CPUtime=3.09 cores=1,3
/proc/113620/stat : 113620 (pb_picat) R 113617 113620 111409 0 -1 4194304 36709 0 0 0 292 17 0 0 20 0 1 0 139570174 2927267840 138481 18446744073709551615 94294032359424 94294033761005 140727409997840 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94294034032432 94294035906672 94294047723520 140727410002332 140727410002408 140727410002408 140727410008012 0
/proc/113620/statm: 714665 138481 1664 343 0 711729 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 2858660 KiB
Current children cumulated memory: 553924 KiB

[startup+6.30026 s]
/proc/loadavg: 4.06 3.04 3.62 5/254 113621
/proc/meminfo: memFree=127391464/131382112 swapFree=33009904/33010684
[pid=113620] ppid=113617 vsize=2869908 memory=615860 CPUtime=6.27 cores=1,3
/proc/113620/stat : 113620 (pb_picat) R 113617 113620 111409 0 -1 4194304 47348 0 0 0 606 21 0 0 20 0 1 0 139570174 2938785792 153965 18446744073709551615 94294032359424 94294033761005 140727409997840 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94294034032432 94294035906672 94294047723520 140727410002332 140727410002408 140727410002408 140727410008012 0
/proc/113620/statm: 717477 153965 1664 343 0 714541 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 2869908 KiB
Current children cumulated memory: 615860 KiB

[startup+12.7003 s]
/proc/loadavg: 4.05 3.05 3.62 5/254 113621
/proc/meminfo: memFree=127379420/131382112 swapFree=33009904/33010684
[pid=113620] ppid=113617 vsize=2919756 memory=727204 CPUtime=12.65 cores=1,3
/proc/113620/stat : 113620 (pb_picat) R 113617 113620 111409 0 -1 4194304 52174 0 0 0 1241 24 0 0 20 0 1 0 139570174 2989830144 181801 18446744073709551615 94294032359424 94294033761005 140727409997840 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94294034032432 94294035906672 94294047723520 140727410002332 140727410002408 140727410002408 140727410008012 0
/proc/113620/statm: 729939 181801 1664 343 0 727003 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 2919756 KiB
Current children cumulated memory: 727204 KiB

[startup+25.5003 s]
/proc/loadavg: 4.12 3.12 3.63 5/254 113621
/proc/meminfo: memFree=127356248/131382112 swapFree=33009904/33010684
[pid=113620] ppid=113617 vsize=2888000 memory=737536 CPUtime=25.41 cores=1,3
/proc/113620/stat : 113620 (pb_picat) R 113617 113620 111409 0 -1 4194304 54640 0 0 0 2509 32 0 0 20 0 1 0 139570174 2957312000 184384 18446744073709551615 94294032359424 94294033761005 140727409997840 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94294034032432 94294035906672 94294047723520 140727410002332 140727410002408 140727410002408 140727410008012 0
/proc/113620/statm: 722000 184384 1664 343 0 719064 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 2888000 KiB
Current children cumulated memory: 737536 KiB

[startup+51.1131 s]
/proc/loadavg: 4.08 3.19 3.64 5/254 113621
/proc/meminfo: memFree=127433280/131382112 swapFree=33009904/33010684
[pid=113620] ppid=113617 vsize=2920772 memory=671752 CPUtime=50.96 cores=1,3
/proc/113620/stat : 113620 (pb_picat) R 113617 113620 111409 0 -1 4194304 60355 0 0 0 5047 49 0 0 20 0 1 0 139570174 2990870528 167938 18446744073709551615 94294032359424 94294033761005 140727409997840 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94294034032432 94294035906672 94294047723520 140727410002332 140727410002408 140727410002408 140727410008012 0
/proc/113620/statm: 730193 167938 1664 343 0 727257 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 2920772 KiB
Current children cumulated memory: 671752 KiB

[startup+102.3 s]
/proc/loadavg: 4.08 3.33 3.67 5/254 113623
/proc/meminfo: memFree=127494092/131382112 swapFree=33009904/33010684
[pid=113620] ppid=113617 vsize=2625856 memory=559368 CPUtime=102 cores=1,3
/proc/113620/stat : 113620 (pb_picat) R 113617 113620 111409 0 -1 4194304 66175 0 0 0 10131 69 0 0 20 0 1 0 139570174 2688876544 139842 18446744073709551615 94294032359424 94294033761005 140727409997840 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94294034032432 94294035906672 94294047723520 140727410002332 140727410002408 140727410002408 140727410008012 0
/proc/113620/statm: 656464 139842 1664 343 0 653528 0
Current children cumulated CPU time: 102 s
Current children cumulated vsize: 2625856 KiB
Current children cumulated memory: 559368 KiB

[startup+162.3 s]
/proc/loadavg: 4.15 3.49 3.70 5/254 113627
/proc/meminfo: memFree=127283284/131382112 swapFree=33009904/33010684
[pid=113620] ppid=113617 vsize=2888000 memory=823560 CPUtime=161.84 cores=1,3
/proc/113620/stat : 113620 (pb_picat) R 113617 113620 111409 0 -1 4194304 71753 0 0 0 16086 98 0 0 20 0 1 0 139570174 2957312000 205890 18446744073709551615 94294032359424 94294033761005 140727409997840 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94294034032432 94294035906672 94294047723520 140727410002332 140727410002408 140727410002408 140727410008012 0
/proc/113620/statm: 722000 205890 1664 343 0 719064 0
Current children cumulated CPU time: 161.84 s
Current children cumulated vsize: 2888000 KiB
Current children cumulated memory: 823560 KiB

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

# cumulated CPU time of all completed processes:  user=193.108 s, system=1.1499 s

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

[startup+179.2 s]
/proc/loadavg: 4.10 3.52 3.71 5/254 113627
/proc/meminfo: memFree=127356848/131382112 swapFree=33009904/33010684
[pid=113620] ppid=113617 vsize=2888000 memory=751880 CPUtime=178.69 cores=1,3
/proc/113620/stat : 113620 (pb_picat) R 113617 113620 111409 0 -1 4194304 72790 0 0 0 17764 105 0 0 20 0 1 0 139570174 2957312000 187970 18446744073709551615 94294032359424 94294033761005 140727409997840 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94294034032432 94294035906672 94294047723520 140727410002332 140727410002408 140727410002408 140727410008012 0
/proc/113620/statm: 722000 187970 1664 343 0 719064 0
Current children cumulated CPU time: 178.69 s
Current children cumulated vsize: 2888000 KiB
Current children cumulated memory: 751880 KiB

[startup+185.6 s]
/proc/loadavg: 4.10 3.53 3.71 5/254 113633
/proc/meminfo: memFree=127353952/131382112 swapFree=33009904/33010684
[pid=113620] ppid=113617 vsize=2888000 memory=753928 CPUtime=185.07 cores=1,3
/proc/113620/stat : 113620 (pb_picat) R 113617 113620 111409 0 -1 4194304 73811 0 0 0 18401 106 0 0 20 0 1 0 139570174 2957312000 188482 18446744073709551615 94294032359424 94294033761005 140727409997840 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94294034032432 94294035906672 94294047723520 140727410002332 140727410002408 140727410002408 140727410008012 0
/proc/113620/statm: 722000 188482 1664 343 0 719064 0
Current children cumulated CPU time: 185.07 s
Current children cumulated vsize: 2888000 KiB
Current children cumulated memory: 753928 KiB

[startup+188.8 s]
/proc/loadavg: 4.09 3.54 3.72 5/253 113633
/proc/meminfo: memFree=127353368/131382112 swapFree=33009904/33010684
[pid=113620] ppid=113617 vsize=2888000 memory=753928 CPUtime=188.26 cores=1,3
/proc/113620/stat : 113620 (pb_picat) R 113617 113620 111409 0 -1 4194304 73811 0 0 0 18720 106 0 0 20 0 1 0 139570174 2957312000 188482 18446744073709551615 94294032359424 94294033761005 140727409997840 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94294034032432 94294035906672 94294047723520 140727410002332 140727410002408 140727410002408 140727410008012 0
/proc/113620/statm: 722000 188482 1664 343 0 719064 0
Current children cumulated CPU time: 188.26 s
Current children cumulated vsize: 2888000 KiB
Current children cumulated memory: 753928 KiB

[startup+192 s]*
/proc/loadavg: 4.09 3.54 3.72 5/253 113633
/proc/meminfo: memFree=127417856/131382112 swapFree=33009904/33010684
[pid=113620] ppid=113617 vsize=2888000 memory=710920 CPUtime=191.46 cores=1,3
/proc/113620/stat : 113620 (pb_picat) R 113617 113620 111409 0 -1 4194304 74758 0 0 0 19036 110 0 0 20 0 1 0 139570174 2957312000 177730 18446744073709551615 94294032359424 94294033761005 140727409997840 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94294034032432 94294035906672 94294047723520 140727410002332 140727410002408 140727410002408 140727410008012 0
/proc/113620/statm: 722000 177730 1664 343 0 719064 0
Current children cumulated CPU time: 191.46 s
Current children cumulated vsize: 2888000 KiB
Current children cumulated memory: 710920 KiB

[startup+193.6 s]
/proc/loadavg: 4.16 3.56 3.72 5/253 113633
/proc/meminfo: memFree=127384332/131382112 swapFree=33009904/33010684
[pid=113620] ppid=113617 vsize=2920772 memory=739640 CPUtime=193.04 cores=1,3
/proc/113620/stat : 113620 (pb_picat) R 113617 113620 111409 0 -1 4194304 74784 0 0 0 19194 110 0 0 20 0 1 0 139570174 2990870528 184910 18446744073709551615 94294032359424 94294033761005 140727409997840 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94294034032432 94294035906672 94294047723520 140727410002332 140727410002408 140727410002408 140727410008012 0
/proc/113620/statm: 730193 184910 1664 343 0 727257 0
Current children cumulated CPU time: 193.04 s
Current children cumulated vsize: 2920772 KiB
Current children cumulated memory: 739640 KiB

[startup+194.4 s]
/proc/loadavg: 4.16 3.56 3.72 5/253 113633
/proc/meminfo: memFree=127314196/131382112 swapFree=33009904/33010684
[pid=113620] ppid=113617 vsize=2888000 memory=782600 CPUtime=193.84 cores=1,3
/proc/113620/stat : 113620 (pb_picat) R 113617 113620 111409 0 -1 4194304 74819 0 0 0 19272 112 0 0 20 0 1 0 139570174 2957312000 195650 18446744073709551615 94294032359424 94294033761005 140727409997840 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94294034032432 94294035906672 94294047723520 140727410002332 140727410002408 140727410002408 140727410008012 0
/proc/113620/statm: 722000 195650 1664 343 0 719064 0
Current children cumulated CPU time: 193.84 s
Current children cumulated vsize: 2888000 KiB
Current children cumulated memory: 782600 KiB

[startup+194.6 s]
/proc/loadavg: 4.16 3.56 3.72 5/253 113633
/proc/meminfo: memFree=127314196/131382112 swapFree=33009904/33010684
[pid=113620] ppid=113617 vsize=2888000 memory=782600 CPUtime=194.04 cores=1,3
/proc/113620/stat : 113620 (pb_picat) R 113617 113620 111409 0 -1 4194304 74819 0 0 0 19292 112 0 0 20 0 1 0 139570174 2957312000 195650 18446744073709551615 94294032359424 94294033761005 140727409997840 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94294034032432 94294035906672 94294047723520 140727410002332 140727410002408 140727410002408 140727410008012 0
/proc/113620/statm: 722000 195650 1664 343 0 719064 0
Current children cumulated CPU time: 194.04 s
Current children cumulated vsize: 2888000 KiB
Current children cumulated memory: 782600 KiB

[startup+194.7 s]
/proc/loadavg: 4.16 3.56 3.72 5/253 113633
/proc/meminfo: memFree=127314196/131382112 swapFree=33009904/33010684
[pid=113620] ppid=113617 vsize=2888000 memory=782600 CPUtime=194.14 cores=1,3
/proc/113620/stat : 113620 (pb_picat) R 113617 113620 111409 0 -1 4194304 74819 0 0 0 19302 112 0 0 20 0 1 0 139570174 2957312000 195650 18446744073709551615 94294032359424 94294033761005 140727409997840 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94294034032432 94294035906672 94294047723520 140727410002332 140727410002408 140727410002408 140727410008012 0
/proc/113620/statm: 722000 195650 1664 343 0 719064 0
Current children cumulated CPU time: 194.14 s
Current children cumulated vsize: 2888000 KiB
Current children cumulated memory: 782600 KiB

Child status: 0

Real time (s): 194.806
CPU time (s): 194.258
CPU user time (s): 193.108
CPU system time (s): 1.1499
CPU usage (%): 99.7185
Max. virtual memory (cumulated for all children) (KiB): 2947680
Max. memory (cumulated for all children) (KiB): 870060

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 193.108
system time used= 1.1499
maximum resident set size= 876076
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 74837
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= 252


# summary of solver processes directly reported to runsolver:
#   pid: 113620
#   total CPU time (s): 194.258
#   total CPU user time (s): 193.108
#   total CPU system time (s): 1.1499

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.995596 second user time and 1.94636 second system time

The end

Begin job on nodeC001 at 2025-07-11 15:01:53
IDJOB=4527905
IDBENCH=147860
IDSOLVER=3385
FILE ID=nodeC001/4527905-1752238913
RUNJOBID= nodeC001-1752238731-113183
SLURM_JOB_ID= 9682512
Free space on /tmp= 432496 MiB

SOLVER NAME= pb_picat 2025-07-11
BENCH NAME= PB24/normalized-PB06/DEC-LIN/submitted-PB06/prestwich/robin/normalized-robin14.opb
COMMAND LINE= pb_picat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4527905-1752238913/watcher-4527905-1752238913 -o /tmp/evaluation-result-4527905-1752238913/solver-4527905-1752238913 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC001-1752238731-113183 --watchdog 3760  pb_picat HOME/instance-4527905-1752238913.opb

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

MD5SUM BENCH= 946fa793c8e40fdbe884453e390b9fbe
RANDOM SEED=473070830

nodeC001 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		: 3661.038
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.49
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.246
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.49
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.544
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.49
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.169
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.49
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		: 3660.825
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.49
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		: 3662.582
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.49
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.327
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.49
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.404
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.49
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131382112 kB
MemFree:        128075356 kB
MemAvailable:   129594280 kB
Buffers:            1668 kB
Cached:          2300928 kB
SwapCached:          128 kB
Active:           620128 kB
Inactive:        2051268 kB
Active(anon):     358740 kB
Inactive(anon):    27836 kB
Active(file):     261388 kB
Inactive(file):  2023432 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33009904 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:              4324 kB
Writeback:             0 kB
AnonPages:        369936 kB
Mapped:           115588 kB
Shmem:             17776 kB
KReclaimable:     147080 kB
Slab:             235492 kB
SReclaimable:     147080 kB
SUnreclaim:        88412 kB
KernelStack:        4124 kB
PageTables:         3952 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701740 kB
Committed_AS:    6619852 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      149464 kB
VmallocChunk:          0 kB
Percpu:             3872 kB
HardwareCorrupted:     0 kB
AnonHugePages:    258048 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:      195400 kB
DirectMap2M:     9144320 kB
DirectMap1G:    126877696 kB

Free space on /tmp at the end= 432492 MiB
End job on nodeC001 at 2025-07-11 15:05:08