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

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4507405-1751178714/watcher-4507405-1751178714 -o /tmp/evaluation-result-4507405-1751178714/solver-4507405-1751178714 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC012-1751169406-19857 --watchdog 3760 pb_picat HOME/instance-4507405-1751178714.opb 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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


[startup+0.100101 s]*
/proc/loadavg: 4.08 4.11 4.13 6/251 21853
/proc/meminfo: memFree=129703100/131382112 swapFree=33010684/33010684
[pid=21852] ppid=21849 vsize=2027148 memory=28232 CPUtime=0.09 cores=4,6
/proc/21852/stat : 21852 (pb_picat) R 21849 21852 19846 0 -1 4194304 1122 0 0 0 9 0 0 0 20 0 1 0 33551118 2075799552 7058 18446744073709551615 94867980480512 94867981882093 140723171609536 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94867982153520 94867984027824 94868013416448 140723171613086 140723171613162 140723171613162 140723171618764 0
/proc/21852/statm: 506787 7058 1504 343 0 503851 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 2027148 KiB
Current children cumulated memory: 28232 KiB

[startup+0.213105 s]*
/proc/loadavg: 4.08 4.11 4.13 5/251 21853
/proc/meminfo: memFree=129690812/131382112 swapFree=33010684/33010684
[pid=21852] ppid=21849 vsize=2027148 memory=32328 CPUtime=0.2 cores=4,6
/proc/21852/stat : 21852 (pb_picat) R 21849 21852 19846 0 -1 4194304 1124 0 0 0 20 0 0 0 20 0 1 0 33551118 2075799552 8082 18446744073709551615 94867980480512 94867981882093 140723171609536 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94867982153520 94867984027824 94868013416448 140723171613086 140723171613162 140723171613162 140723171618764 0
/proc/21852/statm: 506787 8082 1504 343 0 503851 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 2027148 KiB
Current children cumulated memory: 32328 KiB

[startup+0.313138 s]*
/proc/loadavg: 4.08 4.11 4.13 5/251 21853
/proc/meminfo: memFree=129682620/131382112 swapFree=33010684/33010684
[pid=21852] ppid=21849 vsize=2027148 memory=40836 CPUtime=0.3 cores=4,6
/proc/21852/stat : 21852 (pb_picat) R 21849 21852 19846 0 -1 4194304 1208 0 0 0 30 0 0 0 20 0 1 0 33551118 2075799552 10209 18446744073709551615 94867980480512 94867981882093 140723171609536 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94867982153520 94867984027824 94868013416448 140723171613086 140723171613162 140723171613162 140723171618764 0
/proc/21852/statm: 506787 10209 1504 343 0 503851 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 2027148 KiB
Current children cumulated memory: 40836 KiB

[startup+0.700303 s]
/proc/loadavg: 4.08 4.11 4.13 5/251 21853
/proc/meminfo: memFree=129682620/131382112 swapFree=33010684/33010684
[pid=21852] ppid=21849 vsize=2034460 memory=48828 CPUtime=0.68 cores=4,6
/proc/21852/stat : 21852 (pb_picat) R 21849 21852 19846 0 -1 4194304 2884 0 0 0 67 1 0 0 20 0 1 0 33551118 2083287040 12207 18446744073709551615 94867980480512 94867981882093 140723171609536 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94867982153520 94867984027824 94868013416448 140723171613086 140723171613162 140723171613162 140723171618764 0
/proc/21852/statm: 508615 12207 1600 343 0 505679 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 2034460 KiB
Current children cumulated memory: 48828 KiB

[startup+1.50031 s]
/proc/loadavg: 4.08 4.11 4.13 5/251 21853
/proc/meminfo: memFree=129678476/131382112 swapFree=33010684/33010684
[pid=21852] ppid=21849 vsize=2033748 memory=47412 CPUtime=1.48 cores=4,6
/proc/21852/stat : 21852 (pb_picat) R 21849 21852 19846 0 -1 4194304 5069 0 0 0 146 2 0 0 20 0 1 0 33551118 2082557952 11853 18446744073709551615 94867980480512 94867981882093 140723171609536 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94867982153520 94867984027824 94868013416448 140723171613086 140723171613162 140723171613162 140723171618764 0
/proc/21852/statm: 508437 11853 1600 343 0 505501 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 2033748 KiB
Current children cumulated memory: 47412 KiB

[startup+3.11271 s]
/proc/loadavg: 4.08 4.11 4.13 5/251 21853
/proc/meminfo: memFree=129650572/131382112 swapFree=33010684/33010684
[pid=21852] ppid=21849 vsize=2040404 memory=52256 CPUtime=3.09 cores=4,6
/proc/21852/stat : 21852 (pb_picat) R 21849 21852 19846 0 -1 4194304 10108 0 0 0 306 3 0 0 20 0 1 0 33551118 2089373696 13064 18446744073709551615 94867980480512 94867981882093 140723171609536 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94867982153520 94867984027824 94868013416448 140723171613086 140723171613162 140723171613162 140723171618764 0
/proc/21852/statm: 510101 13064 1600 343 0 507165 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 2040404 KiB
Current children cumulated memory: 52256 KiB

[startup+6.30029 s]
/proc/loadavg: 4.15 4.12 4.13 5/251 21853
/proc/meminfo: memFree=129608800/131382112 swapFree=33010684/33010684
[pid=21852] ppid=21849 vsize=2040404 memory=54048 CPUtime=6.26 cores=4,6
/proc/21852/stat : 21852 (pb_picat) R 21849 21852 19846 0 -1 4194304 19885 0 0 0 621 5 0 0 20 0 1 0 33551118 2089373696 13512 18446744073709551615 94867980480512 94867981882093 140723171609536 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94867982153520 94867984027824 94868013416448 140723171613086 140723171613162 140723171613162 140723171618764 0
/proc/21852/statm: 510101 13512 1600 343 0 507165 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 2040404 KiB
Current children cumulated memory: 54048 KiB

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

# cumulated CPU time of all completed processes:  user=12.0194 s, system=0.102564 s

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

[startup+6.40033 s]
/proc/loadavg: 4.15 4.12 4.13 5/251 21853
/proc/meminfo: memFree=129608800/131382112 swapFree=33010684/33010684
[pid=21852] ppid=21849 vsize=2034260 memory=48160 CPUtime=6.37 cores=4,6
/proc/21852/stat : 21852 (pb_picat) R 21849 21852 19846 0 -1 4194304 20145 0 0 0 631 6 0 0 20 0 1 0 33551118 2083082240 12040 18446744073709551615 94867980480512 94867981882093 140723171609536 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94867982153520 94867984027824 94868013416448 140723171613086 140723171613162 140723171613162 140723171618764 0
/proc/21852/statm: 508565 12040 1600 343 0 505629 0
Current children cumulated CPU time: 6.37 s
Current children cumulated vsize: 2034260 KiB
Current children cumulated memory: 48160 KiB

[startup+9.60028 s]
/proc/loadavg: 4.15 4.12 4.13 5/251 21853
/proc/meminfo: memFree=129553884/131382112 swapFree=33010684/33010684
[pid=21852] ppid=21849 vsize=2038356 memory=51872 CPUtime=9.55 cores=4,6
/proc/21852/stat : 21852 (pb_picat) R 21849 21852 19846 0 -1 4194304 28724 0 0 0 947 8 0 0 20 0 1 0 33551118 2087276544 12968 18446744073709551615 94867980480512 94867981882093 140723171609536 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94867982153520 94867984027824 94868013416448 140723171613086 140723171613162 140723171613162 140723171618764 0
/proc/21852/statm: 509589 12968 1600 343 0 506653 0
Current children cumulated CPU time: 9.55 s
Current children cumulated vsize: 2038356 KiB
Current children cumulated memory: 51872 KiB

[startup+11.2003 s]
/proc/loadavg: 4.14 4.12 4.13 5/251 21853
/proc/meminfo: memFree=129656708/131382112 swapFree=33010684/33010684
[pid=21852] ppid=21849 vsize=2048596 memory=57736 CPUtime=11.15 cores=4,6
/proc/21852/stat : 21852 (pb_picat) R 21849 21852 19846 0 -1 4194304 32135 0 0 0 1106 9 0 0 20 0 1 0 33551118 2097762304 14434 18446744073709551615 94867980480512 94867981882093 140723171609536 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94867982153520 94867984027824 94868013416448 140723171613086 140723171613162 140723171613162 140723171618764 0
/proc/21852/statm: 512149 14434 1600 343 0 509213 0
Current children cumulated CPU time: 11.15 s
Current children cumulated vsize: 2048596 KiB
Current children cumulated memory: 57736 KiB

[startup+11.6003 s]
/proc/loadavg: 4.14 4.12 4.13 5/251 21853
/proc/meminfo: memFree=129656708/131382112 swapFree=33010684/33010684
[pid=21852] ppid=21849 vsize=2042452 memory=55112 CPUtime=11.55 cores=4,6
/proc/21852/stat : 21852 (pb_picat) R 21849 21852 19846 0 -1 4194304 33006 0 0 0 1146 9 0 0 20 0 1 0 33551118 2091470848 13778 18446744073709551615 94867980480512 94867981882093 140723171609536 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94867982153520 94867984027824 94868013416448 140723171613086 140723171613162 140723171613162 140723171618764 0
/proc/21852/statm: 510613 13778 1600 343 0 507677 0
Current children cumulated CPU time: 11.55 s
Current children cumulated vsize: 2042452 KiB
Current children cumulated memory: 55112 KiB

[startup+12.0003 s]*
/proc/loadavg: 4.14 4.12 4.13 5/251 21853
/proc/meminfo: memFree=129640672/131382112 swapFree=33010684/33010684
[pid=21852] ppid=21849 vsize=2052692 memory=61592 CPUtime=11.96 cores=4,6
/proc/21852/stat : 21852 (pb_picat) R 21849 21852 19846 0 -1 4194304 33603 0 0 0 1187 9 0 0 20 0 1 0 33551118 2101956608 15398 18446744073709551615 94867980480512 94867981882093 140723171609536 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94867982153520 94867984027824 94868013416448 140723171613086 140723171613162 140723171613162 140723171618764 0
/proc/21852/statm: 513173 15398 1600 343 0 510237 0
Current children cumulated CPU time: 11.96 s
Current children cumulated vsize: 2052692 KiB
Current children cumulated memory: 61592 KiB

[startup+12.1126 s]
/proc/loadavg: 4.14 4.12 4.13 5/251 21853
/proc/meminfo: memFree=129640672/131382112 swapFree=33010684/33010684
[pid=21852] ppid=21849 vsize=2037332 memory=49824 CPUtime=12.06 cores=4,6
/proc/21852/stat : 21852 (pb_picat) R 21849 21852 19846 0 -1 4194304 33672 0 0 0 1197 9 0 0 20 0 1 0 33551118 2086227968 12456 18446744073709551615 94867980480512 94867981882093 140723171609536 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94867982153520 94867984027824 94868013416448 140723171613086 140723171613162 140723171613162 140723171618764 0
/proc/21852/statm: 509333 12456 1600 343 0 506397 0
Current children cumulated CPU time: 12.06 s
Current children cumulated vsize: 2037332 KiB
Current children cumulated memory: 49824 KiB

Child status: 0

Real time (s): 12.162
CPU time (s): 12.122
CPU user time (s): 12.0194
CPU system time (s): 0.102564
CPU usage (%): 99.6712
Max. virtual memory (cumulated for all children) (KiB): 2052692
Max. memory (cumulated for all children) (KiB): 61592

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 12.0194
system time used= 0.102564
maximum resident set size= 62852
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 33872
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= 20


# summary of solver processes directly reported to runsolver:
#   pid: 21852
#   total CPU time (s): 12.122
#   total CPU user time (s): 12.0194
#   total CPU system time (s): 0.102564

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.085901 second user time and 0.195773 second system time

The end

Begin job on nodeC012 at 2025-06-29 08:31:54
IDJOB=4507405
IDBENCH=158352
IDSOLVER=3346
FILE ID=nodeC012/4507405-1751178714
RUNJOBID= nodeC012-1751169406-19857
SLURM_JOB_ID= 9587519
Free space on /tmp= 433044 MiB

SOLVER NAME= Picat 2025-06-16
BENCH NAME= PB24/normalized-PB12/DEC-LIN/sroussel/ShortestPathTate/normalized-TateBritain_K102.opb
COMMAND LINE= pb_picat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4507405-1751178714/watcher-4507405-1751178714 -o /tmp/evaluation-result-4507405-1751178714/solver-4507405-1751178714 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC012-1751169406-19857 --watchdog 3760  pb_picat HOME/instance-4507405-1751178714.opb

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

MD5SUM BENCH= 433935bc469f703143ab8083d95aeb05
RANDOM SEED=66487755

nodeC012 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		: 3662.028
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.39
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		: 3575.560
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.39
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.440
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.39
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		: 1198.098
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.39
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		: 1396.963
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.39
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		: 3691.226
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.39
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.159
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.39
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.705
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.39
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131382112 kB
MemFree:        129715676 kB
MemAvailable:   129367944 kB
Buffers:            3280 kB
Cached:           463416 kB
SwapCached:            0 kB
Active:           852516 kB
Inactive:         230668 kB
Active(anon):     634448 kB
Inactive(anon):        0 kB
Active(file):     218068 kB
Inactive(file):   230668 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:              4116 kB
Writeback:            36 kB
AnonPages:        618216 kB
Mapped:           111828 kB
Shmem:             17960 kB
KReclaimable:      85932 kB
Slab:             168132 kB
SReclaimable:      85932 kB
SUnreclaim:        82200 kB
KernelStack:        4048 kB
PageTables:         4276 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701740 kB
Committed_AS:    6862184 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      149384 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:    471040 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:      187208 kB
DirectMap2M:     8103936 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 433040 MiB
End job on nodeC012 at 2025-06-29 08:32:07