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

OK	9

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: 63665 MiB (61449 MiB free)
  memory of node 1: 64507 MiB (51855 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4499209-1751399301/watcher-4499209-1751399301 -o /tmp/evaluation-result-4499209-1751399301/solver-4499209-1751399301 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC013-1751393420-59616 --watchdog 3760 pb_picat HOME/instance-4499209-1751399301.opb 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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=60517, runsolver pid=60514

[startup+0.100063 s]*
/proc/loadavg: 4.11 4.11 4.09 5/264 60518
/proc/meminfo: memFree=115922192/131250000 swapFree=33010684/33010684
[pid=60517] ppid=60514 vsize=2027148 memory=38860 CPUtime=0.08 cores=0,2
/proc/60517/stat : 60517 (pb_picat) R 60514 60517 59606 0 -1 4194304 1136 0 0 0 8 0 0 0 20 0 1 0 55610334 2075799552 9715 18446744073709551615 93959075602432 93959077004013 140733094183872 0 0 0 0 0 8389634 0 0 0 17 2 0 0 0 0 0 93959077275440 93959079149744 93959099277312 140733094185374 140733094185450 140733094185450 140733094191052 0
/proc/60517/statm: 506787 9715 1600 343 0 503851 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 2027148 KiB
Current children cumulated memory: 38860 KiB

[startup+0.205399 s]*
/proc/loadavg: 4.11 4.11 4.09 5/264 60518
/proc/meminfo: memFree=115823888/131250000 swapFree=33010684/33010684
[pid=60517] ppid=60514 vsize=2034964 memory=59456 CPUtime=0.19 cores=0,2
/proc/60517/stat : 60517 (pb_picat) R 60514 60517 59606 0 -1 4194304 1175 0 0 0 18 1 0 0 20 0 1 0 55610334 2083803136 14864 18446744073709551615 93959075602432 93959077004013 140733094183872 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 93959077275440 93959079149744 93959099277312 140733094185374 140733094185450 140733094185450 140733094191052 0
/proc/60517/statm: 508741 14864 1600 343 0 505805 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 2034964 KiB
Current children cumulated memory: 59456 KiB

[startup+0.30541 s]*
/proc/loadavg: 4.11 4.11 4.09 5/264 60518
/proc/meminfo: memFree=115721488/131250000 swapFree=33010684/33010684
[pid=60517] ppid=60514 vsize=2034964 memory=84032 CPUtime=0.28 cores=0,2
/proc/60517/stat : 60517 (pb_picat) R 60514 60517 59606 0 -1 4194304 1187 0 0 0 27 1 0 0 20 0 1 0 55610334 2083803136 21008 18446744073709551615 93959075602432 93959077004013 140733094183872 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 93959077275440 93959079149744 93959099277312 140733094185374 140733094185450 140733094185450 140733094191052 0
/proc/60517/statm: 508741 21008 1600 343 0 505805 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 2034964 KiB
Current children cumulated memory: 84032 KiB

[startup+0.700133 s]
/proc/loadavg: 4.11 4.11 4.09 5/264 60518
/proc/meminfo: memFree=115531324/131250000 swapFree=33010684/33010684
[pid=60517] ppid=60514 vsize=2054772 memory=143240 CPUtime=0.67 cores=0,2
/proc/60517/stat : 60517 (pb_picat) R 60514 60517 59606 0 -1 4194304 5344 0 0 0 64 3 0 0 20 0 1 0 55610334 2104086528 35810 18446744073709551615 93959075602432 93959077004013 140733094183872 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 93959077275440 93959079149744 93959099277312 140733094185374 140733094185450 140733094185450 140733094191052 0
/proc/60517/statm: 513693 35810 1728 343 0 510757 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 2054772 KiB
Current children cumulated memory: 143240 KiB

[startup+1.50016 s]
/proc/loadavg: 4.11 4.11 4.09 5/264 60518
/proc/meminfo: memFree=115224696/131250000 swapFree=33010684/33010684
[pid=60517] ppid=60514 vsize=2178036 memory=206268 CPUtime=1.47 cores=0,2
/proc/60517/stat : 60517 (pb_picat) R 60514 60517 59606 0 -1 4194304 12231 0 0 0 135 12 0 0 20 0 1 0 55610334 2230308864 51567 18446744073709551615 93959075602432 93959077004013 140733094183872 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 93959077275440 93959079149744 93959099277312 140733094185374 140733094185450 140733094185450 140733094191052 0
/proc/60517/statm: 544509 51567 1728 343 0 541573 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 2178036 KiB
Current children cumulated memory: 206268 KiB

[startup+3.10529 s]
/proc/loadavg: 4.10 4.11 4.09 5/264 60518
/proc/meminfo: memFree=114733684/131250000 swapFree=33010684/33010684
[pid=60517] ppid=60514 vsize=2189176 memory=240732 CPUtime=3.07 cores=0,2
/proc/60517/stat : 60517 (pb_picat) R 60514 60517 59606 0 -1 4194304 14274 0 0 0 284 23 0 0 20 0 1 0 55610334 2241716224 60183 18446744073709551615 93959075602432 93959077004013 140733094183872 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 93959077275440 93959079149744 93959099277312 140733094185374 140733094185450 140733094185450 140733094191052 0
/proc/60517/statm: 547294 60183 1728 343 0 544358 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 2189176 KiB
Current children cumulated memory: 240732 KiB

[startup+6.30015 s]
/proc/loadavg: 4.10 4.11 4.09 5/264 60518
/proc/meminfo: memFree=114672192/131250000 swapFree=33010684/33010684
[pid=60517] ppid=60514 vsize=2202200 memory=250512 CPUtime=6.26 cores=0,2
/proc/60517/stat : 60517 (pb_picat) R 60514 60517 59606 0 -1 4194304 22284 0 0 0 599 27 0 0 20 0 1 0 55610334 2255052800 62628 18446744073709551615 93959075602432 93959077004013 140733094183872 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 93959077275440 93959079149744 93959099277312 140733094185374 140733094185450 140733094185450 140733094191052 0
/proc/60517/statm: 550550 62628 1728 343 0 547614 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 2202200 KiB
Current children cumulated memory: 250512 KiB

[startup+12.7002 s]
/proc/loadavg: 4.09 4.11 4.09 5/264 60518
/proc/meminfo: memFree=114628092/131250000 swapFree=33010684/33010684
[pid=60517] ppid=60514 vsize=2200600 memory=246656 CPUtime=12.64 cores=0,2
/proc/60517/stat : 60517 (pb_picat) R 60514 60517 59606 0 -1 4194304 29002 0 0 0 1234 30 0 0 20 0 1 0 55610334 2253414400 61664 18446744073709551615 93959075602432 93959077004013 140733094183872 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 93959077275440 93959079149744 93959099277312 140733094185374 140733094185450 140733094185450 140733094191052 0
/proc/60517/statm: 550150 61664 1728 343 0 547214 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 2200600 KiB
Current children cumulated memory: 246656 KiB

[startup+25.5002 s]
/proc/loadavg: 4.15 4.12 4.09 5/264 60519
/proc/meminfo: memFree=114345684/131250000 swapFree=33010684/33010684
[pid=60517] ppid=60514 vsize=2266136 memory=280620 CPUtime=25.4 cores=0,2
/proc/60517/stat : 60517 (pb_picat) R 60514 60517 59606 0 -1 4194304 32150 0 0 0 2507 33 0 0 20 0 1 0 55610334 2320523264 70155 18446744073709551615 93959075602432 93959077004013 140733094183872 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 93959077275440 93959079149744 93959099277312 140733094185374 140733094185450 140733094185450 140733094191052 0
/proc/60517/statm: 566534 70155 1728 343 0 563598 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 2266136 KiB
Current children cumulated memory: 280620 KiB

[startup+51.1057 s]
/proc/loadavg: 4.10 4.11 4.09 5/264 60519
/proc/meminfo: memFree=113960432/131250000 swapFree=33010684/33010684
[pid=60517] ppid=60514 vsize=2200600 memory=245808 CPUtime=50.94 cores=0,2
/proc/60517/stat : 60517 (pb_picat) R 60514 60517 59606 0 -1 4194304 37050 0 0 0 5058 36 0 0 20 0 1 0 55610334 2253414400 61452 18446744073709551615 93959075602432 93959077004013 140733094183872 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 93959077275440 93959079149744 93959099277312 140733094185374 140733094185450 140733094185450 140733094191052 0
/proc/60517/statm: 550150 61452 1728 343 0 547214 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 2200600 KiB
Current children cumulated memory: 245808 KiB

[startup+102.3 s]
/proc/loadavg: 4.04 4.09 4.08 5/264 60521
/proc/meminfo: memFree=115694000/131250000 swapFree=33010684/33010684
[pid=60517] ppid=60514 vsize=2266768 memory=285352 CPUtime=101.98 cores=0,2
/proc/60517/stat : 60517 (pb_picat) R 60514 60517 59606 0 -1 4194304 47398 0 0 0 10155 43 0 0 20 0 1 0 55610334 2321170432 71338 18446744073709551615 93959075602432 93959077004013 140733094183872 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 93959077275440 93959079149744 93959099277312 140733094185374 140733094185450 140733094185450 140733094191052 0
/proc/60517/statm: 566692 71338 1728 343 0 563756 0
Current children cumulated CPU time: 101.98 s
Current children cumulated vsize: 2266768 KiB
Current children cumulated memory: 285352 KiB

[startup+162.3 s]
/proc/loadavg: 4.11 4.10 4.09 5/264 60524
/proc/meminfo: memFree=113624284/131250000 swapFree=33010684/33010684
[pid=60517] ppid=60514 vsize=2201232 memory=275112 CPUtime=161.82 cores=0,2
/proc/60517/stat : 60517 (pb_picat) R 60514 60517 59606 0 -1 4194304 52799 0 0 0 16134 48 0 0 20 0 1 0 55610334 2254061568 68778 18446744073709551615 93959075602432 93959077004013 140733094183872 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 93959077275440 93959079149744 93959099277312 140733094185374 140733094185450 140733094185450 140733094191052 0
/proc/60517/statm: 550308 68778 1728 343 0 547372 0
Current children cumulated CPU time: 161.82 s
Current children cumulated vsize: 2201232 KiB
Current children cumulated memory: 275112 KiB

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

# cumulated CPU time of all completed processes:  user=171.816 s, system=0.513575 s

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

[startup+166.4 s]
/proc/loadavg: 4.10 4.10 4.09 5/264 60524
/proc/meminfo: memFree=113544680/131250000 swapFree=33010684/33010684
[pid=60517] ppid=60514 vsize=2168464 memory=257760 CPUtime=165.91 cores=0,2
/proc/60517/stat : 60517 (pb_picat) R 60514 60517 59606 0 -1 4194304 55118 0 0 0 16541 50 0 0 20 0 1 0 55610334 2220507136 64440 18446744073709551615 93959075602432 93959077004013 140733094183872 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 93959077275440 93959079149744 93959099277312 140733094185374 140733094185450 140733094185450 140733094191052 0
/proc/60517/statm: 542116 64440 1728 343 0 539180 0
Current children cumulated CPU time: 165.91 s
Current children cumulated vsize: 2168464 KiB
Current children cumulated memory: 257760 KiB

[startup+169.6 s]
/proc/loadavg: 4.10 4.10 4.09 5/264 60524
/proc/meminfo: memFree=113548412/131250000 swapFree=33010684/33010684
[pid=60517] ppid=60514 vsize=2201232 memory=262824 CPUtime=169.1 cores=0,2
/proc/60517/stat : 60517 (pb_picat) R 60514 60517 59606 0 -1 4194304 55362 0 0 0 16860 50 0 0 20 0 1 0 55610334 2254061568 65706 18446744073709551615 93959075602432 93959077004013 140733094183872 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 93959077275440 93959079149744 93959099277312 140733094185374 140733094185450 140733094185450 140733094191052 0
/proc/60517/statm: 550308 65706 1728 343 0 547372 0
Current children cumulated CPU time: 169.1 s
Current children cumulated vsize: 2201232 KiB
Current children cumulated memory: 262824 KiB

[startup+171.2 s]
/proc/loadavg: 4.10 4.10 4.09 5/264 60524
/proc/meminfo: memFree=113527932/131250000 swapFree=33010684/33010684
[pid=60517] ppid=60514 vsize=2201232 memory=262824 CPUtime=170.69 cores=0,2
/proc/60517/stat : 60517 (pb_picat) R 60514 60517 59606 0 -1 4194304 55362 0 0 0 17019 50 0 0 20 0 1 0 55610334 2254061568 65706 18446744073709551615 93959075602432 93959077004013 140733094183872 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 93959077275440 93959079149744 93959099277312 140733094185374 140733094185450 140733094185450 140733094191052 0
/proc/60517/statm: 550308 65706 1728 343 0 547372 0
Current children cumulated CPU time: 170.69 s
Current children cumulated vsize: 2201232 KiB
Current children cumulated memory: 262824 KiB

[startup+172 s]*
/proc/loadavg: 4.10 4.10 4.09 5/263 60524
/proc/meminfo: memFree=113523836/131250000 swapFree=33010684/33010684
[pid=60517] ppid=60514 vsize=2201232 memory=262824 CPUtime=171.5 cores=0,2
/proc/60517/stat : 60517 (pb_picat) R 60514 60517 59606 0 -1 4194304 55362 0 0 0 17100 50 0 0 20 0 1 0 55610334 2254061568 65706 18446744073709551615 93959075602432 93959077004013 140733094183872 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 93959077275440 93959079149744 93959099277312 140733094185374 140733094185450 140733094185450 140733094191052 0
/proc/60517/statm: 550308 65706 1728 343 0 547372 0
Current children cumulated CPU time: 171.5 s
Current children cumulated vsize: 2201232 KiB
Current children cumulated memory: 262824 KiB

[startup+172.4 s]
/proc/loadavg: 4.10 4.10 4.09 5/263 60524
/proc/meminfo: memFree=113523836/131250000 swapFree=33010684/33010684
[pid=60517] ppid=60514 vsize=2201232 memory=262824 CPUtime=171.89 cores=0,2
/proc/60517/stat : 60517 (pb_picat) R 60514 60517 59606 0 -1 4194304 55362 0 0 0 17139 50 0 0 20 0 1 0 55610334 2254061568 65706 18446744073709551615 93959075602432 93959077004013 140733094183872 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 93959077275440 93959079149744 93959099277312 140733094185374 140733094185450 140733094185450 140733094191052 0
/proc/60517/statm: 550308 65706 1728 343 0 547372 0
Current children cumulated CPU time: 171.89 s
Current children cumulated vsize: 2201232 KiB
Current children cumulated memory: 262824 KiB

[startup+172.8 s]
/proc/loadavg: 4.10 4.10 4.09 5/263 60524
/proc/meminfo: memFree=113523836/131250000 swapFree=33010684/33010684
[pid=60517] ppid=60514 vsize=2201232 memory=262824 CPUtime=172.29 cores=0,2
/proc/60517/stat : 60517 (pb_picat) R 60514 60517 59606 0 -1 4194304 55362 0 0 0 17179 50 0 0 20 0 1 0 55610334 2254061568 65706 18446744073709551615 93959075602432 93959077004013 140733094183872 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 93959077275440 93959079149744 93959099277312 140733094185374 140733094185450 140733094185450 140733094191052 0
/proc/60517/statm: 550308 65706 1728 343 0 547372 0
Current children cumulated CPU time: 172.29 s
Current children cumulated vsize: 2201232 KiB
Current children cumulated memory: 262824 KiB

Child status: 0

Real time (s): 172.833
CPU time (s): 172.33
CPU user time (s): 171.816
CPU system time (s): 0.513575
CPU usage (%): 99.709
Max. virtual memory (cumulated for all children) (KiB): 2267736
Max. memory (cumulated for all children) (KiB): 297640

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 171.816
system time used= 0.513575
maximum resident set size= 297640
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 55388
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= 66
involuntary context switches= 225


# summary of solver processes directly reported to runsolver:
#   pid: 60517
#   total CPU time (s): 172.33
#   total CPU user time (s): 171.816
#   total CPU system time (s): 0.513575

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.286654 second user time and 0.816133 second system time

The end

Begin job on nodeC013 at 2025-07-01 21:48:21
IDJOB=4499209
IDBENCH=148773
IDSOLVER=3346
FILE ID=nodeC013/4499209-1751399301
RUNJOBID= nodeC013-1751393420-59616
SLURM_JOB_ID= 9598258
Free space on /tmp= 432852 MiB

SOLVER NAME= Picat 2025-06-16
BENCH NAME= PB24/normalized-PB09/OPT-LIN/flexray/normalized-fx92.opb
COMMAND LINE= pb_picat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4499209-1751399301/watcher-4499209-1751399301 -o /tmp/evaluation-result-4499209-1751399301/solver-4499209-1751399301 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC013-1751393420-59616 --watchdog 3760  pb_picat HOME/instance-4499209-1751399301.opb

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

MD5SUM BENCH= 8416d641e22e8376ddac92bbd41682d6
RANDOM SEED=2003503464

nodeC013 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	: 0xb00002a
cpu MHz		: 3600.188
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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	: 6999.67
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	: 0xb00002a
cpu MHz		: 3599.855
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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	: 6999.67
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	: 0xb00002a
cpu MHz		: 3599.856
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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	: 6999.67
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	: 0xb00002a
cpu MHz		: 3600.896
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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	: 6999.67
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	: 0xb00002a
cpu MHz		: 3599.835
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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	: 6999.67
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	: 0xb00002a
cpu MHz		: 3599.639
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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	: 6999.67
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	: 0xb00002a
cpu MHz		: 3667.331
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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	: 6999.67
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	: 0xb00002a
cpu MHz		: 3603.066
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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	: 6999.67
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131250000 kB
MemFree:        116061936 kB
MemAvailable:   116431940 kB
Buffers:            3280 kB
Cached:          1170036 kB
SwapCached:            0 kB
Active:         13637932 kB
Inactive:         925228 kB
Active(anon):   13403128 kB
Inactive(anon):        0 kB
Active(file):     234804 kB
Inactive(file):   925228 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:              4268 kB
Writeback:             8 kB
AnonPages:      13385044 kB
Mapped:           109988 kB
Shmem:             13284 kB
KReclaimable:      98020 kB
Slab:             185828 kB
SReclaimable:      98020 kB
SUnreclaim:        87808 kB
KernelStack:        4288 kB
PageTables:        29524 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635684 kB
Committed_AS:   20515900 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150568 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:  11149312 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:      215764 kB
DirectMap2M:     8992768 kB
DirectMap1G:    126877696 kB

Free space on /tmp at the end= 432848 MiB
End job on nodeC013 at 2025-07-01 21:51:14