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

OK	394243446

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: 63708 MiB (45105 MiB free)
  memory of node 1: 64465 MiB (62707 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4528471-1752241812/watcher-4528471-1752241812 -o /tmp/evaluation-result-4528471-1752241812/solver-4528471-1752241812 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC014-1752238179-118416 --watchdog 3760 pb_picat HOME/instance-4528471-1752241812.opb 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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

solver pid=119288, runsolver pid=119285

[startup+0.100032 s]*
/proc/loadavg: 4.06 4.10 4.09 5/263 119289
/proc/meminfo: memFree=110367912/131250000 swapFree=33008356/33010684
[pid=119288] ppid=119285 vsize=2027148 memory=36788 CPUtime=0.09 cores=1,3
/proc/119288/stat : 119288 (pb_picat) R 119285 119288 117353 0 -1 4194304 1128 0 0 0 9 0 0 0 20 0 1 0 139857755 2075799552 9197 18446744073709551615 94118113333248 94118114734829 140724037756224 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94118115006256 94118116880496 94118134239232 140724037761436 140724037761512 140724037761512 140724037767116 0
/proc/119288/statm: 506787 9197 1600 343 0 503851 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 2027148 KiB
Current children cumulated memory: 36788 KiB

[startup+0.20554 s]*
/proc/loadavg: 4.06 4.10 4.09 5/263 119289
/proc/meminfo: memFree=110359720/131250000 swapFree=33008356/33010684
[pid=119288] ppid=119285 vsize=2034964 memory=53312 CPUtime=0.2 cores=1,3
/proc/119288/stat : 119288 (pb_picat) R 119285 119288 117353 0 -1 4194304 1163 0 0 0 19 1 0 0 20 0 1 0 139857755 2083803136 13328 18446744073709551615 94118113333248 94118114734829 140724037756224 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94118115006256 94118116880496 94118134239232 140724037761436 140724037761512 140724037761512 140724037767116 0
/proc/119288/statm: 508741 13328 1632 343 0 505805 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 2034964 KiB
Current children cumulated memory: 53312 KiB

[startup+0.305539 s]*
/proc/loadavg: 4.06 4.10 4.09 5/263 119289
/proc/meminfo: memFree=110343752/131250000 swapFree=33008356/33010684
[pid=119288] ppid=119285 vsize=2039940 memory=71608 CPUtime=0.29 cores=1,3
/proc/119288/stat : 119288 (pb_picat) R 119285 119288 117353 0 -1 4194304 2156 0 0 0 28 1 0 0 20 0 1 0 139857755 2088898560 17902 18446744073709551615 94118113333248 94118114734829 140724037756224 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94118115006256 94118116880496 94118134239232 140724037761436 140724037761512 140724037761512 140724037767116 0
/proc/119288/statm: 509985 17902 1760 343 0 507049 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 2039940 KiB
Current children cumulated memory: 71608 KiB

[startup+0.700191 s]
/proc/loadavg: 4.06 4.10 4.09 5/263 119289
/proc/meminfo: memFree=110335560/131250000 swapFree=33008356/33010684
[pid=119288] ppid=119285 vsize=2047812 memory=83584 CPUtime=0.68 cores=1,3
/proc/119288/stat : 119288 (pb_picat) R 119285 119288 117353 0 -1 4194304 5272 0 0 0 66 2 0 0 20 0 1 0 139857755 2096959488 20896 18446744073709551615 94118113333248 94118114734829 140724037756224 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94118115006256 94118116880496 94118134239232 140724037761436 140724037761512 140724037761512 140724037767116 0
/proc/119288/statm: 511953 20896 1760 343 0 509017 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 2047812 KiB
Current children cumulated memory: 83584 KiB

[startup+1.50014 s]
/proc/loadavg: 4.06 4.10 4.09 5/263 119289
/proc/meminfo: memFree=110347848/131250000 swapFree=33008356/33010684
[pid=119288] ppid=119285 vsize=2046020 memory=83936 CPUtime=1.48 cores=1,3
/proc/119288/stat : 119288 (pb_picat) R 119285 119288 117353 0 -1 4194304 7981 0 0 0 145 3 0 0 20 0 1 0 139857755 2095124480 20984 18446744073709551615 94118113333248 94118114734829 140724037756224 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94118115006256 94118116880496 94118134239232 140724037761436 140724037761512 140724037761512 140724037767116 0
/proc/119288/statm: 511505 20984 1760 343 0 508569 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 2046020 KiB
Current children cumulated memory: 83936 KiB

[startup+3.10529 s]
/proc/loadavg: 3.98 4.08 4.08 5/263 119380
/proc/meminfo: memFree=110499732/131250000 swapFree=33008356/33010684
[pid=119288] ppid=119285 vsize=2048548 memory=85312 CPUtime=3.08 cores=1,3
/proc/119288/stat : 119288 (pb_picat) R 119285 119288 117353 0 -1 4194304 13986 0 0 0 304 4 0 0 20 0 1 0 139857755 2097713152 21328 18446744073709551615 94118113333248 94118114734829 140724037756224 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94118115006256 94118116880496 94118134239232 140724037761436 140724037761512 140724037761512 140724037767116 0
/proc/119288/statm: 512137 21328 1760 343 0 509201 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 2048548 KiB
Current children cumulated memory: 85312 KiB

[startup+6.30012 s]
/proc/loadavg: 3.98 4.08 4.08 5/263 119380
/proc/meminfo: memFree=110331124/131250000 swapFree=33008356/33010684
[pid=119288] ppid=119285 vsize=2048548 memory=85304 CPUtime=6.26 cores=1,3
/proc/119288/stat : 119288 (pb_picat) R 119285 119288 117353 0 -1 4194304 21376 0 0 0 620 6 0 0 20 0 1 0 139857755 2097713152 21326 18446744073709551615 94118113333248 94118114734829 140724037756224 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94118115006256 94118116880496 94118134239232 140724037761436 140724037761512 140724037761512 140724037767116 0
/proc/119288/statm: 512137 21326 1760 343 0 509201 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 2048548 KiB
Current children cumulated memory: 85304 KiB

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

# cumulated CPU time of all completed processes:  user=11.2813 s, system=0.092755 s

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

[startup+6.40015 s]
/proc/loadavg: 3.98 4.08 4.08 5/263 119380
/proc/meminfo: memFree=110331124/131250000 swapFree=33008356/33010684
[pid=119288] ppid=119285 vsize=2048548 memory=85304 CPUtime=6.36 cores=1,3
/proc/119288/stat : 119288 (pb_picat) R 119285 119288 117353 0 -1 4194304 21376 0 0 0 630 6 0 0 20 0 1 0 139857755 2097713152 21326 18446744073709551615 94118113333248 94118114734829 140724037756224 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94118115006256 94118116880496 94118134239232 140724037761436 140724037761512 140724037761512 140724037767116 0
/proc/119288/statm: 512137 21326 1760 343 0 509201 0
Current children cumulated CPU time: 6.36 s
Current children cumulated vsize: 2048548 KiB
Current children cumulated memory: 85304 KiB

[startup+9.60014 s]
/proc/loadavg: 4.06 4.09 4.09 5/263 119380
/proc/meminfo: memFree=110331156/131250000 swapFree=33008356/33010684
[pid=119288] ppid=119285 vsize=2048548 memory=85304 CPUtime=9.56 cores=1,3
/proc/119288/stat : 119288 (pb_picat) R 119285 119288 117353 0 -1 4194304 26900 0 0 0 948 8 0 0 20 0 1 0 139857755 2097713152 21326 18446744073709551615 94118113333248 94118114734829 140724037756224 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94118115006256 94118116880496 94118134239232 140724037761436 140724037761512 140724037761512 140724037767116 0
/proc/119288/statm: 512137 21326 1760 343 0 509201 0
Current children cumulated CPU time: 9.56 s
Current children cumulated vsize: 2048548 KiB
Current children cumulated memory: 85304 KiB

[startup+10.4001 s]
/proc/loadavg: 4.06 4.09 4.09 5/263 119380
/proc/meminfo: memFree=110331408/131250000 swapFree=33008356/33010684
[pid=119288] ppid=119285 vsize=2048548 memory=85172 CPUtime=10.36 cores=1,3
/proc/119288/stat : 119288 (pb_picat) R 119285 119288 117353 0 -1 4194304 28746 0 0 0 1028 8 0 0 20 0 1 0 139857755 2097713152 21293 18446744073709551615 94118113333248 94118114734829 140724037756224 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94118115006256 94118116880496 94118134239232 140724037761436 140724037761512 140724037761512 140724037767116 0
/proc/119288/statm: 512137 21293 1760 343 0 509201 0
Current children cumulated CPU time: 10.36 s
Current children cumulated vsize: 2048548 KiB
Current children cumulated memory: 85172 KiB

[startup+11.2001 s]
/proc/loadavg: 4.06 4.09 4.09 5/263 119380
/proc/meminfo: memFree=110331408/131250000 swapFree=33008356/33010684
[pid=119288] ppid=119285 vsize=2048548 memory=85300 CPUtime=11.15 cores=1,3
/proc/119288/stat : 119288 (pb_picat) R 119285 119288 117353 0 -1 4194304 30582 0 0 0 1107 8 0 0 20 0 1 0 139857755 2097713152 21325 18446744073709551615 94118113333248 94118114734829 140724037756224 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94118115006256 94118116880496 94118134239232 140724037761436 140724037761512 140724037761512 140724037767116 0
/proc/119288/statm: 512137 21325 1760 343 0 509201 0
Current children cumulated CPU time: 11.15 s
Current children cumulated vsize: 2048548 KiB
Current children cumulated memory: 85300 KiB

[startup+11.4067 s]
/proc/loadavg: 4.06 4.09 4.09 5/263 119380
/proc/meminfo: memFree=110331408/131250000 swapFree=33008356/33010684
[pid=119288] ppid=119285 vsize=2048548 memory=85556 CPUtime=11.37 cores=1,3
/proc/119288/stat : 119288 (pb_picat) R 119285 119288 117353 0 -1 4194304 30584 0 0 0 1128 9 0 0 20 0 1 0 139857755 2097713152 21357 18446744073709551615 94118113333248 94118114734829 140724037756224 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94118115006256 94118116880496 94118134239232 140724037761436 140724037761512 140724037761512 140724037767116 0
/proc/119288/statm: 512137 21357 1792 343 0 509201 0
Current children cumulated CPU time: 11.37 s
Current children cumulated vsize: 2048548 KiB
Current children cumulated memory: 85556 KiB

Child status: 0

Real time (s): 11.4081
CPU time (s): 11.374
CPU user time (s): 11.2813
CPU system time (s): 0.092755
CPU usage (%): 99.7011
Max. virtual memory (cumulated for all children) (KiB): 2048548
Max. memory (cumulated for all children) (KiB): 85556

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 11.2813
system time used= 0.092755
maximum resident set size= 85556
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 30586
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 66
involuntary context switches= 29


# summary of solver processes directly reported to runsolver:
#   pid: 119288
#   total CPU time (s): 11.374
#   total CPU user time (s): 11.2813
#   total CPU system time (s): 0.092755

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.037329 second user time and 0.080327 second system time

The end

Begin job on nodeC014 at 2025-07-11 15:50:12
IDJOB=4528471
IDBENCH=150916
IDSOLVER=3385
FILE ID=nodeC014/4528471-1752241812
RUNJOBID= nodeC014-1752238179-118416
SLURM_JOB_ID= 9682525
Free space on /tmp= 430496 MiB

SOLVER NAME= pb_picat 2025-07-11
BENCH NAME= PB24/normalized-PB10/OPT-LIN/leberre/opb-trendy/misc2010/random/rand.biglist/normalized-rand902db1.cudf.trendy.opb
COMMAND LINE= pb_picat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4528471-1752241812/watcher-4528471-1752241812 -o /tmp/evaluation-result-4528471-1752241812/solver-4528471-1752241812 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC014-1752238179-118416 --watchdog 3760  pb_picat HOME/instance-4528471-1752241812.opb

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

MD5SUM BENCH= b65c3f9116d0beadc5ed0efdf405ad30
RANDOM SEED=726543700

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

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

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3600.120
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	: 7000.23
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		: 3600.670
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	: 7000.23
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		: 3581.167
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	: 7000.23
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3600.154
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	: 7000.23
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		: 3600.033
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	: 7000.23
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		: 3600.232
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	: 7000.23
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		: 3600.631
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	: 7000.23
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		: 3590.441
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	: 7000.23
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131250000 kB
MemFree:        110401220 kB
MemAvailable:   127842012 kB
Buffers:             696 kB
Cached:         18190996 kB
SwapCached:         1628 kB
Active:          2312500 kB
Inactive:       17820744 kB
Active(anon):    1935136 kB
Inactive(anon):    31012 kB
Active(file):     377364 kB
Inactive(file): 17789732 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33008356 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:              4232 kB
Writeback:             4 kB
AnonPages:       1940104 kB
Mapped:           115972 kB
Shmem:             24596 kB
KReclaimable:     225872 kB
Slab:             319836 kB
SReclaimable:     225872 kB
SUnreclaim:        93964 kB
KernelStack:        4268 kB
PageTables:         7052 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635684 kB
Committed_AS:    7813084 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150520 kB
VmallocChunk:          0 kB
Percpu:             3872 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1523712 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:     7956480 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 430492 MiB
End job on nodeC014 at 2025-07-11 15:50:23