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