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