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

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4527986-1752245169/watcher-4527986-1752245169 -o /tmp/evaluation-result-4527986-1752245169/solver-4527986-1752245169 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC027-1752245169-110055 --watchdog 3760 pb_picat HOME/instance-4527986-1752245169.opb 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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=110106, runsolver pid=110094

[startup+0.100065 s]*
/proc/loadavg: 3.80 4.08 4.09 5/264 110111
/proc/meminfo: memFree=127923992/131250000 swapFree=33010416/33010684
[pid=110106] ppid=110094 vsize=2027148 memory=36168 CPUtime=0.09 cores=5,7
/proc/110106/stat : 110106 (pb_picat) R 110094 110106 110042 0 -1 4194304 1003 0 0 0 8 1 0 0 20 0 1 0 140196763 2075799552 9042 18446744073709551615 93972125450240 93972126851821 140721968988672 0 0 0 0 0 8389634 0 0 0 17 7 0 0 0 0 0 93972127123248 93972128997488 93972159045632 140721968990620 140721968990696 140721968990696 140721968996300 0
/proc/110106/statm: 506787 9042 1568 343 0 503851 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 2027148 KiB
Current children cumulated memory: 36168 KiB

[startup+0.205423 s]*
/proc/loadavg: 3.80 4.08 4.09 5/264 110111
/proc/meminfo: memFree=127905404/131250000 swapFree=33010416/33010684
[pid=110106] ppid=110094 vsize=2031124 memory=45760 CPUtime=0.19 cores=5,7
/proc/110106/stat : 110106 (pb_picat) R 110094 110106 110042 0 -1 4194304 2076 0 0 0 18 1 0 0 20 0 1 0 140196763 2079870976 11440 18446744073709551615 93972125450240 93972126851821 140721968988672 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 93972127123248 93972128997488 93972159045632 140721968990620 140721968990696 140721968990696 140721968996300 0
/proc/110106/statm: 507781 11440 1664 343 0 504845 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 2031124 KiB
Current children cumulated memory: 45760 KiB

[startup+0.305324 s]*
/proc/loadavg: 3.80 4.08 4.09 5/264 110111
/proc/meminfo: memFree=127902380/131250000 swapFree=33010416/33010684
[pid=110106] ppid=110094 vsize=2030364 memory=45440 CPUtime=0.28 cores=5,7
/proc/110106/stat : 110106 (pb_picat) R 110094 110106 110042 0 -1 4194304 3174 0 0 0 27 1 0 0 20 0 1 0 140196763 2079092736 11360 18446744073709551615 93972125450240 93972126851821 140721968988672 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 93972127123248 93972128997488 93972159045632 140721968990620 140721968990696 140721968990696 140721968996300 0
/proc/110106/statm: 507591 11360 1664 343 0 504655 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 2030364 KiB
Current children cumulated memory: 45440 KiB

[startup+0.700119 s]
/proc/loadavg: 3.80 4.08 4.09 5/264 110111
/proc/meminfo: memFree=127902380/131250000 swapFree=33010416/33010684
[pid=110106] ppid=110094 vsize=2035284 memory=47720 CPUtime=0.67 cores=5,7
/proc/110106/stat : 110106 (pb_picat) R 110094 110106 110042 0 -1 4194304 4896 0 0 0 66 1 0 0 20 0 1 0 140196763 2084130816 11930 18446744073709551615 93972125450240 93972126851821 140721968988672 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 93972127123248 93972128997488 93972159045632 140721968990620 140721968990696 140721968990696 140721968996300 0
/proc/110106/statm: 508821 11930 1664 343 0 505885 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 2035284 KiB
Current children cumulated memory: 47720 KiB

[startup+1.50012 s]
/proc/loadavg: 3.80 4.08 4.09 5/264 110111
/proc/meminfo: memFree=127902380/131250000 swapFree=33010416/33010684
[pid=110106] ppid=110094 vsize=2033748 memory=47476 CPUtime=1.47 cores=5,7
/proc/110106/stat : 110106 (pb_picat) R 110094 110106 110042 0 -1 4194304 7674 0 0 0 145 2 0 0 20 0 1 0 140196763 2082557952 11869 18446744073709551615 93972125450240 93972126851821 140721968988672 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 93972127123248 93972128997488 93972159045632 140721968990620 140721968990696 140721968990696 140721968996300 0
/proc/110106/statm: 508437 11869 1664 343 0 505501 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 2033748 KiB
Current children cumulated memory: 47476 KiB

[startup+3.10511 s]
/proc/loadavg: 3.82 4.08 4.09 4/260 110119
/proc/meminfo: memFree=127926196/131250000 swapFree=33010416/33010684
[pid=110106] ppid=110094 vsize=2037332 memory=49396 CPUtime=3.08 cores=5,7
/proc/110106/stat : 110106 (pb_picat) R 110094 110106 110042 0 -1 4194304 13163 0 0 0 305 3 0 0 20 0 1 0 140196763 2086227968 12349 18446744073709551615 93972125450240 93972126851821 140721968988672 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 93972127123248 93972128997488 93972159045632 140721968990620 140721968990696 140721968990696 140721968996300 0
/proc/110106/statm: 509333 12349 1664 343 0 506397 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 2037332 KiB
Current children cumulated memory: 49396 KiB

[startup+6.30017 s]
/proc/loadavg: 3.82 4.08 4.09 5/264 110156
/proc/meminfo: memFree=127787708/131250000 swapFree=33010416/33010684
[pid=110106] ppid=110094 vsize=2044500 memory=53832 CPUtime=6.26 cores=5,7
/proc/110106/stat : 110106 (pb_picat) R 110094 110106 110042 0 -1 4194304 23145 0 0 0 621 5 0 0 20 0 1 0 140196763 2093568000 13458 18446744073709551615 93972125450240 93972126851821 140721968988672 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 93972127123248 93972128997488 93972159045632 140721968990620 140721968990696 140721968990696 140721968996300 0
/proc/110106/statm: 511125 13458 1664 343 0 508189 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 2044500 KiB
Current children cumulated memory: 53832 KiB

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

# cumulated CPU time of all completed processes:  user=11.0686 s, system=0.101699 s

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

[startup+6.4002 s]
/proc/loadavg: 3.82 4.08 4.09 5/264 110156
/proc/meminfo: memFree=127787708/131250000 swapFree=33010416/33010684
[pid=110106] ppid=110094 vsize=2044500 memory=56956 CPUtime=6.36 cores=5,7
/proc/110106/stat : 110106 (pb_picat) R 110094 110106 110042 0 -1 4194304 23403 0 0 0 631 5 0 0 20 0 1 0 140196763 2093568000 14239 18446744073709551615 93972125450240 93972126851821 140721968988672 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 93972127123248 93972128997488 93972159045632 140721968990620 140721968990696 140721968990696 140721968996300 0
/proc/110106/statm: 511125 14239 1664 343 0 508189 0
Current children cumulated CPU time: 6.36 s
Current children cumulated vsize: 2044500 KiB
Current children cumulated memory: 56956 KiB

[startup+9.60016 s]
/proc/loadavg: 3.91 4.10 4.10 5/264 110201
/proc/meminfo: memFree=127673592/131250000 swapFree=33010416/33010684
[pid=110106] ppid=110094 vsize=2038356 memory=51316 CPUtime=9.55 cores=5,7
/proc/110106/stat : 110106 (pb_picat) R 110094 110106 110042 0 -1 4194304 31959 0 0 0 947 8 0 0 20 0 1 0 140196763 2087276544 12829 18446744073709551615 93972125450240 93972126851821 140721968988672 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 93972127123248 93972128997488 93972159045632 140721968990620 140721968990696 140721968990696 140721968996300 0
/proc/110106/statm: 509589 12829 1664 343 0 506653 0
Current children cumulated CPU time: 9.55 s
Current children cumulated vsize: 2038356 KiB
Current children cumulated memory: 51316 KiB

[startup+10.4002 s]
/proc/loadavg: 3.91 4.10 4.10 5/264 110201
/proc/meminfo: memFree=127661788/131250000 swapFree=33010416/33010684
[pid=110106] ppid=110094 vsize=2037332 memory=50548 CPUtime=10.34 cores=5,7
/proc/110106/stat : 110106 (pb_picat) R 110094 110106 110042 0 -1 4194304 33495 0 0 0 1026 8 0 0 20 0 1 0 140196763 2086227968 12637 18446744073709551615 93972125450240 93972126851821 140721968988672 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 93972127123248 93972128997488 93972159045632 140721968990620 140721968990696 140721968990696 140721968996300 0
/proc/110106/statm: 509333 12637 1664 343 0 506397 0
Current children cumulated CPU time: 10.34 s
Current children cumulated vsize: 2037332 KiB
Current children cumulated memory: 50548 KiB

[startup+10.8002 s]
/proc/loadavg: 3.91 4.10 4.10 5/264 110201
/proc/meminfo: memFree=127661788/131250000 swapFree=33010416/33010684
[pid=110106] ppid=110094 vsize=2050644 memory=57184 CPUtime=10.75 cores=5,7
/proc/110106/stat : 110106 (pb_picat) R 110094 110106 110042 0 -1 4194304 34654 0 0 0 1066 9 0 0 20 0 1 0 140196763 2099859456 14296 18446744073709551615 93972125450240 93972126851821 140721968988672 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 93972127123248 93972128997488 93972159045632 140721968990620 140721968990696 140721968990696 140721968996300 0
/proc/110106/statm: 512661 14296 1664 343 0 509725 0
Current children cumulated CPU time: 10.75 s
Current children cumulated vsize: 2050644 KiB
Current children cumulated memory: 57184 KiB

[startup+11.2002 s]
/proc/loadavg: 3.91 4.10 4.10 5/264 110201
/proc/meminfo: memFree=127662176/131250000 swapFree=33010416/33010684
[pid=110106] ppid=110094 vsize=2037332 memory=50292 CPUtime=11.15 cores=5,7
/proc/110106/stat : 110106 (pb_picat) R 110094 110106 110042 0 -1 4194304 35129 0 0 0 1106 9 0 0 20 0 1 0 140196763 2086227968 12573 18446744073709551615 93972125450240 93972126851821 140721968988672 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 93972127123248 93972128997488 93972159045632 140721968990620 140721968990696 140721968990696 140721968996300 0
/proc/110106/statm: 509333 12573 1664 343 0 506397 0
Current children cumulated CPU time: 11.15 s
Current children cumulated vsize: 2037332 KiB
Current children cumulated memory: 50292 KiB

Child status: 0

Real time (s): 11.2136
CPU time (s): 11.1703
CPU user time (s): 11.0686
CPU system time (s): 0.101699
CPU usage (%): 99.6142
Max. virtual memory (cumulated for all children) (KiB): 2052692
Max. memory (cumulated for all children) (KiB): 61284

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 11.0686
system time used= 0.101699
maximum resident set size= 62144
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 35140
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= 75
involuntary context switches= 24


# summary of solver processes directly reported to runsolver:
#   pid: 110106
#   total CPU time (s): 11.1703
#   total CPU user time (s): 11.0686
#   total CPU system time (s): 0.101699

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.038986 second user time and 0.077939 second system time

The end

Begin job on nodeC027 at 2025-07-11 16:46:09
IDJOB=4527986
IDBENCH=158352
IDSOLVER=3385
FILE ID=nodeC027/4527986-1752245169
RUNJOBID= nodeC027-1752245169-110055
SLURM_JOB_ID= 9682567
Free space on /tmp= 431184 MiB

SOLVER NAME= pb_picat 2025-07-11
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-4527986-1752245169/watcher-4527986-1752245169 -o /tmp/evaluation-result-4527986-1752245169/solver-4527986-1752245169 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC027-1752245169-110055 --watchdog 3760  pb_picat HOME/instance-4527986-1752245169.opb

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

MD5SUM BENCH= 433935bc469f703143ab8083d95aeb05
RANDOM SEED=1561136521

nodeC027 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		: 3599.701
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.29
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		: 3602.850
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.29
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		: 3597.857
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.29
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		: 3601.159
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.29
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.648
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.29
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.598
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.29
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		: 3599.504
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.29
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		: 3599.746
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.29
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131250000 kB
MemFree:        128049944 kB
MemAvailable:   129755856 kB
Buffers:            2488 kB
Cached:          2498668 kB
SwapCached:           12 kB
Active:           636480 kB
Inactive:        1938184 kB
Active(anon):      88772 kB
Inactive(anon):     2792 kB
Active(file):     547708 kB
Inactive(file):  1935392 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010416 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             11996 kB
Writeback:             0 kB
AnonPages:         76684 kB
Mapped:           105880 kB
Shmem:             18056 kB
KReclaimable:     123704 kB
Slab:             215740 kB
SReclaimable:     123704 kB
SUnreclaim:        92036 kB
KernelStack:        4080 kB
PageTables:         2816 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635684 kB
Committed_AS:     340284 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150392 kB
VmallocChunk:          0 kB
Percpu:             3872 kB
HardwareCorrupted:     0 kB
AnonHugePages:     16384 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:      203476 kB
DirectMap2M:     9005056 kB
DirectMap1G:    126877696 kB

Free space on /tmp at the end= 431168 MiB
End job on nodeC027 at 2025-07-11 16:46:20