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

OK	2964

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: 63968 MiB (52902 MiB free)
  memory of node 1: 64473 MiB (54156 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4458971-1721897635/watcher-4458971-1721897635 -o /tmp/evaluation-result-4458971-1721897635/solver-4458971-1721897635 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC027-1721897355-277358 --watchdog 3760 pb_picat HOME/instance-4458971-1721897635.opb 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

Enforcing FSIZE limit: 104857600 KiB
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 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=277564, runsolver pid=277561

[startup+0.100884 s]*
/proc/loadavg: 4.20 3.20 2.53 5/255 277565
/proc/meminfo: memFree=109599276/131524600 swapFree=131063756/131071996
[pid=277564] ppid=277561 vsize=2041424 memory=34456 CPUtime=0.09 cores=5,7
/proc/277564/stat : 277564 (pb_picat) R 277561 277564 272613 0 -1 4194304 1172 0 0 0 9 0 0 0 20 0 1 0 26291755 2090418176 8614 134679101440 4194304 5989780 140730535270160 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 31879168 140730535277597 140730535277673 140730535277673 140730535284684 0
/proc/277564/statm: 510356 8614 1508 439 0 505785 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 2041424 KiB
Current children cumulated memory: 34456 KiB

[startup+0.205669 s]*
/proc/loadavg: 4.20 3.20 2.53 5/255 277565
/proc/meminfo: memFree=109575400/131524600 swapFree=131063756/131071996
[pid=277564] ppid=277561 vsize=2060736 memory=60780 CPUtime=0.2 cores=5,7
/proc/277564/stat : 277564 (pb_picat) R 277561 277564 272613 0 -1 4194304 4528 0 0 0 19 1 0 0 20 0 1 0 26291755 2110193664 15195 134679101440 4194304 5989780 140730535270160 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 31879168 140730535277597 140730535277673 140730535277673 140730535284684 0
/proc/277564/statm: 515184 15195 1667 439 0 510613 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 2060736 KiB
Current children cumulated memory: 60780 KiB

[startup+0.305665 s]*
/proc/loadavg: 4.20 3.20 2.53 5/255 277565
/proc/meminfo: memFree=109567800/131524600 swapFree=131063756/131071996
[pid=277564] ppid=277561 vsize=2066244 memory=64236 CPUtime=0.29 cores=5,7
/proc/277564/stat : 277564 (pb_picat) R 277561 277564 272613 0 -1 4194304 7292 0 0 0 28 1 0 0 20 0 1 0 26291755 2115833856 16059 134679101440 4194304 5989780 140730535270160 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 31879168 140730535277597 140730535277673 140730535277673 140730535284684 0
/proc/277564/statm: 516561 16059 1715 439 0 511990 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 2066244 KiB
Current children cumulated memory: 64236 KiB

[startup+0.700239 s]
/proc/loadavg: 4.20 3.20 2.53 5/255 277567
/proc/meminfo: memFree=109563732/131524600 swapFree=131063756/131071996
[pid=277564] ppid=277561 vsize=2066636 memory=68108 CPUtime=0.68 cores=5,7
/proc/277564/stat : 277564 (pb_picat) R 277561 277564 272613 0 -1 4194304 9082 0 0 0 66 2 0 0 20 0 1 0 26291755 2116235264 17027 134679101440 4194304 5989780 140730535270160 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 31879168 140730535277597 140730535277673 140730535277673 140730535284684 0
/proc/277564/statm: 516659 17027 1731 439 0 512088 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 2066636 KiB
Current children cumulated memory: 68108 KiB

[startup+1.50024 s]
/proc/loadavg: 4.20 3.20 2.53 5/255 277567
/proc/meminfo: memFree=109553836/131524600 swapFree=131063756/131071996
[pid=277564] ppid=277561 vsize=2074832 memory=76616 CPUtime=1.48 cores=5,7
/proc/277564/stat : 277564 (pb_picat) R 277561 277564 272613 0 -1 4194304 12368 0 0 0 145 3 0 0 20 0 1 0 26291755 2124627968 19154 134679101440 4194304 5989780 140730535270160 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 31879168 140730535277597 140730535277673 140730535277673 140730535284684 0
/proc/277564/statm: 518708 19154 1731 439 0 514137 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 2074832 KiB
Current children cumulated memory: 76616 KiB

[startup+3.10586 s]
/proc/loadavg: 4.20 3.20 2.53 5/255 277567
/proc/meminfo: memFree=109551348/131524600 swapFree=131063756/131071996
[pid=277564] ppid=277561 vsize=2070736 memory=71912 CPUtime=3.09 cores=5,7
/proc/277564/stat : 277564 (pb_picat) R 277561 277564 272613 0 -1 4194304 15678 0 0 0 305 4 0 0 20 0 1 0 26291755 2120433664 17978 134679101440 4194304 5989780 140730535270160 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 31879168 140730535277597 140730535277673 140730535277673 140730535284684 0
/proc/277564/statm: 517684 17978 1731 439 0 513113 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 2070736 KiB
Current children cumulated memory: 71912 KiB

[startup+6.30021 s]
/proc/loadavg: 4.19 3.21 2.54 5/255 277567
/proc/meminfo: memFree=109554148/131524600 swapFree=131063756/131071996
[pid=277564] ppid=277561 vsize=2070736 memory=72444 CPUtime=6.27 cores=5,7
/proc/277564/stat : 277564 (pb_picat) R 277561 277564 272613 0 -1 4194304 24766 0 0 0 621 6 0 0 20 0 1 0 26291755 2120433664 18111 134679101440 4194304 5989780 140730535270160 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 31879168 140730535277597 140730535277673 140730535277673 140730535284684 0
/proc/277564/statm: 517684 18111 1731 439 0 513113 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 2070736 KiB
Current children cumulated memory: 72444 KiB

[startup+12.7002 s]
/proc/loadavg: 4.17 3.22 2.55 5/255 277568
/proc/meminfo: memFree=109550456/131524600 swapFree=131063756/131071996
[pid=277564] ppid=277561 vsize=2076880 memory=78644 CPUtime=12.65 cores=5,7
/proc/277564/stat : 277564 (pb_picat) R 277561 277564 272613 0 -1 4194304 41407 0 0 0 1255 10 0 0 20 0 1 0 26291755 2126725120 19661 134679101440 4194304 5989780 140730535270160 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 31879168 140730535277597 140730535277673 140730535277673 140730535284684 0
/proc/277564/statm: 519220 19661 1731 439 0 514649 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 2076880 KiB
Current children cumulated memory: 78644 KiB

[startup+25.5002 s]
/proc/loadavg: 4.14 3.25 2.57 5/255 277570
/proc/meminfo: memFree=109548236/131524600 swapFree=131063756/131071996
[pid=277564] ppid=277561 vsize=2076880 memory=78640 CPUtime=25.42 cores=5,7
/proc/277564/stat : 277564 (pb_picat) R 277561 277564 272613 0 -1 4194304 66134 0 0 0 2527 15 0 0 20 0 1 0 26291755 2126725120 19660 134679101440 4194304 5989780 140730535270160 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 31879168 140730535277597 140730535277673 140730535277673 140730535284684 0
/proc/277564/statm: 519220 19660 1731 439 0 514649 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 2076880 KiB
Current children cumulated memory: 78640 KiB

[startup+51.1059 s]
/proc/loadavg: 4.14 3.34 2.62 5/254 277574
/proc/meminfo: memFree=109539628/131524600 swapFree=131063756/131071996
[pid=277564] ppid=277561 vsize=2072784 memory=74512 CPUtime=50.96 cores=5,7
/proc/277564/stat : 277564 (pb_picat) R 277561 277564 272613 0 -1 4194304 96009 0 0 0 5073 23 0 0 20 0 1 0 26291755 2122530816 18628 134679101440 4194304 5989780 140730535270160 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 31879168 140730535277597 140730535277673 140730535277673 140730535284684 0
/proc/277564/statm: 518196 18628 1731 439 0 513625 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 2072784 KiB
Current children cumulated memory: 74512 KiB

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

# cumulated CPU time of all completed processes:  user=98.396 s, system=0.431912 s

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

[startup+51.2003 s]
/proc/loadavg: 4.14 3.34 2.62 5/254 277574
/proc/meminfo: memFree=109539628/131524600 swapFree=131063756/131071996
[pid=277564] ppid=277561 vsize=2076880 memory=75832 CPUtime=51.05 cores=5,7
/proc/277564/stat : 277564 (pb_picat) R 277561 277564 272613 0 -1 4194304 96287 0 0 0 5082 23 0 0 20 0 1 0 26291755 2126725120 18958 134679101440 4194304 5989780 140730535270160 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 31879168 140730535277597 140730535277673 140730535277673 140730535284684 0
/proc/277564/statm: 519220 18958 1731 439 0 514649 0
Current children cumulated CPU time: 51.05 s
Current children cumulated vsize: 2076880 KiB
Current children cumulated memory: 75832 KiB

[startup+76.8002 s]
/proc/loadavg: 4.09 3.39 2.66 5/255 277961
/proc/meminfo: memFree=109533700/131524600 swapFree=131063756/131071996
[pid=277564] ppid=277561 vsize=2076880 memory=78652 CPUtime=76.59 cores=5,7
/proc/277564/stat : 277564 (pb_picat) R 277561 277564 272613 0 -1 4194304 147563 0 0 0 7624 35 0 0 20 0 1 0 26291755 2126725120 19663 134679101440 4194304 5989780 140730535270160 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 31879168 140730535277597 140730535277673 140730535277673 140730535284684 0
/proc/277564/statm: 519220 19663 1731 439 0 514649 0
Current children cumulated CPU time: 76.59 s
Current children cumulated vsize: 2076880 KiB
Current children cumulated memory: 78652 KiB

[startup+89.6002 s]
/proc/loadavg: 4.08 3.41 2.67 5/254 277963
/proc/meminfo: memFree=109534968/131524600 swapFree=131063756/131071996
[pid=277564] ppid=277561 vsize=2076880 memory=80888 CPUtime=89.35 cores=5,7
/proc/277564/stat : 277564 (pb_picat) R 277561 277564 272613 0 -1 4194304 167106 0 0 0 8896 39 0 0 20 0 1 0 26291755 2126725120 20222 134679101440 4194304 5989780 140730535270160 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 31879168 140730535277597 140730535277673 140730535277673 140730535284684 0
/proc/277564/statm: 519220 20222 1731 439 0 514649 0
Current children cumulated CPU time: 89.35 s
Current children cumulated vsize: 2076880 KiB
Current children cumulated memory: 80888 KiB

[startup+96.0002 s]*
/proc/loadavg: 4.07 3.43 2.69 5/254 277964
/proc/meminfo: memFree=109545396/131524600 swapFree=131063756/131071996
[pid=277564] ppid=277561 vsize=2076880 memory=78688 CPUtime=95.74 cores=5,7
/proc/277564/stat : 277564 (pb_picat) R 277561 277564 272613 0 -1 4194304 179824 0 0 0 9533 41 0 0 20 0 1 0 26291755 2126725120 19672 134679101440 4194304 5989780 140730535270160 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 31879168 140730535277597 140730535277673 140730535277673 140730535284684 0
/proc/277564/statm: 519220 19672 1731 439 0 514649 0
Current children cumulated CPU time: 95.74 s
Current children cumulated vsize: 2076880 KiB
Current children cumulated memory: 78688 KiB

[startup+97.6002 s]
/proc/loadavg: 4.07 3.43 2.69 5/254 277964
/proc/meminfo: memFree=109549452/131524600 swapFree=131063756/131071996
[pid=277564] ppid=277561 vsize=2076880 memory=78688 CPUtime=97.34 cores=5,7
/proc/277564/stat : 277564 (pb_picat) R 277561 277564 272613 0 -1 4194304 182249 0 0 0 9692 42 0 0 20 0 1 0 26291755 2126725120 19672 134679101440 4194304 5989780 140730535270160 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 31879168 140730535277597 140730535277673 140730535277673 140730535284684 0
/proc/277564/statm: 519220 19672 1731 439 0 514649 0
Current children cumulated CPU time: 97.34 s
Current children cumulated vsize: 2076880 KiB
Current children cumulated memory: 78688 KiB

[startup+98.4002 s]
/proc/loadavg: 4.07 3.43 2.69 5/254 277964
/proc/meminfo: memFree=109541908/131524600 swapFree=131063756/131071996
[pid=277564] ppid=277561 vsize=2076880 memory=76344 CPUtime=98.13 cores=5,7
/proc/277564/stat : 277564 (pb_picat) R 277561 277564 272613 0 -1 4194304 183035 0 0 0 9771 42 0 0 20 0 1 0 26291755 2126725120 19086 134679101440 4194304 5989780 140730535270160 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 31879168 140730535277597 140730535277673 140730535277673 140730535284684 0
/proc/277564/statm: 519220 19086 1731 439 0 514649 0
Current children cumulated CPU time: 98.13 s
Current children cumulated vsize: 2076880 KiB
Current children cumulated memory: 76344 KiB

[startup+98.8002 s]
/proc/loadavg: 4.07 3.43 2.69 5/254 277964
/proc/meminfo: memFree=109541908/131524600 swapFree=131063756/131071996
[pid=277564] ppid=277561 vsize=2076880 memory=78656 CPUtime=98.53 cores=5,7
/proc/277564/stat : 277564 (pb_picat) R 277561 277564 272613 0 -1 4194304 183069 0 0 0 9811 42 0 0 20 0 1 0 26291755 2126725120 19664 134679101440 4194304 5989780 140730535270160 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 31879168 140730535277597 140730535277673 140730535277673 140730535284684 0
/proc/277564/statm: 519220 19664 1731 439 0 514649 0
Current children cumulated CPU time: 98.53 s
Current children cumulated vsize: 2076880 KiB
Current children cumulated memory: 78656 KiB

[startup+99.0002 s]*
/proc/loadavg: 4.07 3.43 2.69 5/254 277964
/proc/meminfo: memFree=109544684/131524600 swapFree=131063756/131071996
[pid=277564] ppid=277561 vsize=2076880 memory=78656 CPUtime=98.74 cores=5,7
/proc/277564/stat : 277564 (pb_picat) R 277561 277564 272613 0 -1 4194304 183069 0 0 0 9832 42 0 0 20 0 1 0 26291755 2126725120 19664 134679101440 4194304 5989780 140730535270160 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 31879168 140730535277597 140730535277673 140730535277673 140730535284684 0
/proc/277564/statm: 519220 19664 1731 439 0 514649 0
Current children cumulated CPU time: 98.74 s
Current children cumulated vsize: 2076880 KiB
Current children cumulated memory: 78656 KiB

Child status: 0

Real time (s): 99.087
CPU time (s): 98.8279
CPU user time (s): 98.396
CPU system time (s): 0.431912
CPU usage (%): 99.7385
Max. virtual memory (cumulated for all children) (KiB): 2085072
Max. memory (cumulated for all children) (KiB): 80964

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 98.396
system time used= 0.431912
maximum resident set size= 80964
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 183081
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= 4
involuntary context switches= 127


# summary of solver processes directly reported to runsolver:
#   pid: 277564
#   total CPU time (s): 98.8279
#   total CPU user time (s): 98.396
#   total CPU system time (s): 0.431912

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.218249 second user time and 0.488153 second system time

The end

Begin job on nodeC027 at 2024-07-25 10:53:55
IDJOB=4458971
IDBENCH=178428
IDSOLVER=3068
FILE ID=nodeC027/4458971-1721897635
RUNJOBID= nodeC027-1721897355-277358
SLURM_JOB_ID= 8089324
Free space on /tmp= 890056 MiB

SOLVER NAME= Picat 2024-06-18
BENCH NAME= PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/vertex_cover/vertexcover_opt_grid_oddrowevencolsquare/normalized-vertexcover_opt_grid_oddrowevencolsquare_dim_076.opb
COMMAND LINE= pb_picat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4458971-1721897635/watcher-4458971-1721897635 -o /tmp/evaluation-result-4458971-1721897635/solver-4458971-1721897635 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC027-1721897355-277358 --watchdog 3760  pb_picat HOME/instance-4458971-1721897635.opb

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

MD5SUM BENCH= 2d114d9e78979e0e0ab8cd5fe6a8e6da
RANDOM SEED=1391636307

nodeC027.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021

/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		: 3661.346
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.74
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		: 3668.971
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7005.65
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.899
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.74
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		: 3622.724
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7005.65
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		: 3661.391
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.74
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		: 3648.302
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7005.65
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.882
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.74
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		: 3651.632
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7005.65
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        109628588 kB
MemAvailable:   128613156 kB
Buffers:          300580 kB
Cached:         19364876 kB
SwapCached:          472 kB
Active:          2553832 kB
Inactive:       18442556 kB
Active(anon):       1712 kB
Inactive(anon):  1382632 kB
Active(file):    2552120 kB
Inactive(file): 17059924 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131063756 kB
Dirty:              3976 kB
Writeback:             0 kB
AnonPages:       1324980 kB
Mapped:           125812 kB
Shmem:             53416 kB
KReclaimable:     424696 kB
Slab:             548144 kB
SReclaimable:     424696 kB
SUnreclaim:       123448 kB
KernelStack:        4108 kB
PageTables:        12384 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:    6909712 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            17376 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1173504 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      359124 kB
DirectMap2M:    40308736 kB
DirectMap1G:    95420416 kB

Free space on /tmp at the end= 890052 MiB
End job on nodeC027 at 2024-07-25 10:55:34