0.00/0.00	c solving HOME/instance-4441942-1721293842.opb (Picat 3.6#12)
3.88/3.92	s SATISFIABLE
3.88/3.92	v ~x806 ~x4188 ~x1651 ~x3342 ~x2496 x807 ~x4189 ~x1652 ~x3343 ~x2497 
3.88/3.92	v ~x808 x4190 ~x1653 ~x3344 ~x2498 ~x809 ~x4191 ~x1654 ~x3345 ~x2499 
3.88/3.92	v ~x810 ~x4192 x1655 ~x3346 ~x2500 ~x811 ~x4193 ~x1656 x3347 ~x2501 
3.88/3.92	v ~x812 ~x4194 ~x1657 ~x3348 x2502 x813 x4195 ~x1658 ~x3349 ~x2503 
3.88/3.92	v x814 ~x4196 x1659 ~x3350 ~x2504 ~x815 ~x4197 ~x1660 ~x3351 ~x2505 
3.88/3.92	v ~x816 ~x4198 ~x1661 ~x3352 x2506 x817 ~x4199 x1662 x3353 ~x2507 
3.88/3.92	v ~x818 ~x4200 ~x1663 ~x3354 ~x2508 ~x819 x4201 ~x1664 x3355 ~x2509 
3.88/3.92	v ~x820 ~x4202 ~x1665 ~x3356 x2510 ~x821 ~x4203 ~x1666 ~x3357 ~x2511 
3.88/3.92	v ~x822 ~x4204 ~x1667 ~x3358 ~x2512 ~x823 ~x4205 ~x1668 ~x3359 ~x2513 
3.88/3.92	v ~x824 ~x4206 ~x1669 ~x3360 ~x2514 ~x825 x4207 ~x1670 ~x3361 ~x2515 
3.88/3.92	v ~x826 ~x4208 ~x1671 ~x3362 x2516 ~x827 ~x4209 ~x1672 ~x3363 ~x2517 
3.88/3.92	v ~x828 ~x4210 ~x1673 x3364 ~x2518 ~x829 ~x4211 ~x1674 ~x3365 ~x2519 
3.88/3.92	v ~x830 ~x4212 ~x1675 ~x3366 ~x2520 ~x831 ~x4213 ~x1676 ~x3367 ~x2521 
3.88/3.92	v ~x832 x4214 ~x1677 ~x3368 ~x2522 ~x833 ~x4215 ~x1678 x3369 x2523 
3.88/3.92	v ~x834 ~x4216 ~x1679 ~x3370 ~x2524 ~x835 ~x4217 ~x1680 ~x3371 ~x2525 
3.88/3.92	v ~x836 ~x4218 x1681 ~x3372 ~x2526 ~x837 x4219 ~x1682 ~x3373 ~x2527 
3.88/3.92	v ~x838 ~x4220 ~x1683 ~x3374 ~x2528 ~x1 ~x839 ~x4221 ~x1684 ~x3375 
3.88/3.92	v x2529 ~x2 ~x840 ~x4222 ~x1685 x3376 ~x2530 ~x3 ~x841 ~x4223 
3.88/3.92	v x1686 ~x3377 ~x2531 ~x4 ~x842 ~x4224 ~x1687 ~x3378 ~x2532 ~x5 
3.88/3.92	v ~x843 ~x4225 ~x1688 ~x3379 ~x2533 x6 ~x844 ~x4226 ~x1689 ~x3380 
3.88/3.92	v ~x2534 ~x7 ~x845 ~x4227 x1690 ~x3381 x2535 ~x8 ~x846 ~x4228 
3.88/3.92	v ~x1691 x3382 ~x2536 ~x9 ~x847 x4229 ~x1692 ~x3383 ~x2537 ~x10 
3.88/3.92	v ~x848 ~x4230 ~x1693 ~x3384 ~x2538 ~x11 ~x849 ~x4231 ~x1694 ~x3385 
3.88/3.92	v x2539 ~x12 ~x850 ~x1695 x3386 ~x2540 x13 x851 ~x1696 ~x3387 
3.88/3.92	v ~x2541 ~x4232 ~x14 ~x852 ~x1697 ~x3388 ~x2542 ~x4233 ~x15 x853 
3.88/3.92	v ~x1698 ~x3389 ~x2543 ~x4234 ~x16 ~x854 ~x1699 ~x3390 ~x2544 x4235 
3.88/3.92	v ~x17 ~x855 ~x1700 ~x3391 ~x2545 ~x4236 ~x18 ~x856 ~x1701 ~x3392 
3.88/3.92	v ~x2546 ~x4237 ~x19 ~x857 x1702 x3393 ~x2547 ~x4238 ~x20 ~x858 
3.88/3.92	v ~x1703 ~x3394 ~x2548 x4239 ~x21 ~x859 ~x1704 ~x3395 x2549 ~x4240 
3.88/3.92	v ~x22 ~x860 ~x1705 ~x3396 ~x2550 ~x4241 ~x23 ~x861 ~x1706 ~x3397 
3.88/3.92	v ~x2551 ~x4242 ~x24 ~x862 ~x1707 ~x3398 ~x2552 ~x4243 x863 ~x1708 
3.88/3.92	v ~x3399 ~x2553 x4244 ~x864 ~x1709 ~x3400 ~x2554 ~x4245 ~x865 ~x25 
3.88/3.92	v ~x1710 x3401 x2555 ~x4246 ~x866 ~x26 ~x1711 ~x3402 ~x2556 ~x4247 
3.88/3.92	v ~x867 ~x27 ~x1712 ~x3403 ~x2557 ~x4248 ~x868 ~x28 ~x1713 ~x3404 
3.88/3.92	v ~x2558 ~x4249 ~x869 ~x29 ~x1714 ~x3405 x2559 ~x4250 x870 ~x30 
3.88/3.92	v ~x1715 x3406 ~x2560 ~x4251 ~x871 ~x31 ~x1716 ~x3407 ~x2561 ~x4252 
3.88/3.92	v x872 ~x32 ~x1717 ~x3408 ~x2562 ~x4253 ~x873 ~x33 ~x1718 ~x3409 
3.88/3.92	v ~x2563 ~x4254 ~x874 ~x34 ~x1719 x3410 ~x2564 ~x4255 ~x875 ~x35 
3.88/3.92	v ~x1720 ~x3411 x2565 x4256 ~x876 ~x36 ~x1721 ~x3412 ~x2566 ~x4257 
3.88/3.92	v ~x877 ~x37 ~x1722 ~x3413 ~x2567 ~x4258 ~x878 ~x38 ~x1723 ~x3414 
3.88/3.92	v ~x2568 ~x4259 ~x879 ~x39 ~x1724 ~x3415 ~x2569 ~x4260 ~x880 ~x40 
3.88/3.92	v ~x1725 ~x3416 ~x2570 x4261 ~x881 ~x41 x1726 ~x3417 ~x2571 ~x4262 
3.88/3.92	v ~x882 ~x42 ~x1727 ~x3418 ~x2572 ~x4263 ~x883 ~x43 ~x1728 x3419 
3.88/3.92	v x2573 ~x4264 ~x884 ~x44 ~x1729 ~x3420 ~x2574 ~x4265 ~x885 x45 
3.88/3.92	v ~x1730 ~x3421 ~x2575 ~x4266 ~x886 ~x46 ~x1731 ~x3422 x2576 ~x4267 
3.88/3.92	v ~x887 ~x47 x1732 ~x3423 ~x2577 ~x4268 ~x888 ~x48 ~x1733 x3424 
3.88/3.92	v ~x2578 x4269 ~x889 ~x1734 ~x3425 ~x2579 ~x4270 ~x890 ~x1735 ~x3426 
3.88/3.92	v ~x2580 ~x4271 ~x49 ~x891 ~x1736 ~x3427 ~x2581 ~x4272 ~x50 ~x892 
3.88/3.92	v ~x1737 ~x3428 ~x2582 ~x4273 ~x51 ~x893 ~x1738 x3429 ~x2583 ~x4274 
3.88/3.92	v ~x52 ~x894 ~x1739 ~x3430 ~x2584 x4275 ~x53 x895 ~x1740 ~x3431 
3.88/3.92	v x2585 ~x4276 ~x54 ~x896 x1741 ~x3432 ~x2586 ~x4277 ~x55 ~x897 
3.88/3.92	v ~x1742 x3433 ~x2587 ~x4278 ~x56 ~x898 ~x1743 ~x3434 ~x2588 ~x4279 
3.88/3.92	v x57 ~x899 ~x1744 ~x3435 x2589 x4280 ~x58 ~x900 ~x1745 ~x3436 
3.88/3.92	v ~x2590 ~x4281 ~x59 ~x901 ~x1746 ~x3437 ~x2591 ~x4282 ~x60 ~x902 
3.88/3.92	v ~x1747 ~x3438 ~x2592 ~x4283 ~x61 x903 ~x1748 x3439 x2593 ~x4284 
3.88/3.92	v ~x62 ~x904 ~x1749 ~x3440 ~x2594 ~x4285 ~x63 ~x905 x1750 ~x3441 
3.88/3.92	v ~x2595 ~x4286 ~x64 ~x906 ~x1751 ~x3442 ~x2596 ~x4287 ~x65 ~x907 
3.88/3.92	v ~x1752 ~x3443 ~x2597 ~x4288 ~x66 ~x908 x1753 ~x3444 ~x2598 ~x4289 
3.88/3.92	v ~x67 ~x909 x1754 ~x3445 ~x2599 x4290 ~x68 ~x910 ~x1755 ~x3446 
3.88/3.92	v ~x2600 ~x4291 ~x69 ~x911 ~x1756 ~x3447 ~x2601 ~x4292 ~x70 ~x912 
3.88/3.92	v ~x1757 x3448 x2602 x4293 ~x71 ~x913 ~x1758 ~x3449 ~x2603 ~x4294 
3.88/3.92	v ~x72 ~x914 ~x1759 ~x3450 ~x2604 ~x4295 x915 ~x1760 ~x3451 ~x2605 
3.88/3.92	v ~x4296 ~x73 ~x916 ~x1761 ~x3452 ~x2606 ~x4297 ~x74 x917 ~x1762 
3.88/3.92	v x3453 ~x2607 ~x4298 ~x75 ~x918 ~x1763 ~x3454 ~x2608 ~x4299 ~x76 
3.88/3.92	v ~x919 ~x1764 ~x3455 x2609 ~x4300 ~x77 ~x920 ~x1765 ~x3456 ~x2610 
3.88/3.92	v ~x4301 ~x78 ~x921 ~x1766 ~x3457 ~x2611 x4302 x79 ~x922 ~x1767 
3.88/3.92	v x3458 ~x2612 ~x4303 ~x80 ~x923 ~x1768 ~x3459 ~x2613 ~x4304 ~x81 
3.88/3.92	v ~x924 ~x1769 ~x3460 ~x2614 ~x4305 ~x82 ~x925 ~x1770 ~x3461 x2615 
3.88/3.92	v ~x4306 ~x83 ~x926 ~x1771 ~x3462 ~x2616 x4307 ~x84 ~x927 ~x1772 
3.88/3.92	v x3463 ~x2617 ~x4308 ~x85 ~x928 ~x1773 ~x3464 x2618 ~x4309 ~x86 
3.88/3.92	v ~x929 ~x1774 ~x3465 ~x2619 ~x4310 x87 ~x930 ~x1775 ~x3466 ~x2620 
3.88/3.92	v x4311 ~x88 ~x931 ~x1776 ~x3467 ~x2621 ~x4312 ~x89 ~x932 ~x1777 
3.88/3.92	v ~x3468 ~x2622 ~x4313 ~x90 ~x933 ~x1778 ~x3469 ~x2623 ~x4314 ~x91 
3.88/3.92	v ~x934 ~x1779 ~x3470 ~x2624 x4315 ~x92 ~x935 ~x1780 x3471 ~x2625 
3.88/3.92	v ~x4316 ~x93 ~x936 ~x1781 ~x3472 ~x2626 ~x4317 ~x94 ~x937 ~x1782 
3.88/3.92	v ~x3473 x2627 ~x4318 ~x95 ~x938 ~x1783 ~x3474 ~x2628 ~x4319 ~x96 
3.88/3.92	v x939 ~x1784 x3475 ~x2629 ~x4320 ~x97 ~x940 ~x1785 ~x3476 ~x2630 
3.88/3.92	v ~x4321 x98 ~x941 ~x1786 ~x3477 ~x2631 ~x4322 ~x99 ~x942 ~x1787 
3.88/3.92	v ~x3478 x2632 x4323 ~x100 ~x943 ~x1788 ~x3479 ~x2633 ~x4324 ~x101 
3.88/3.92	v ~x944 x1789 ~x3480 ~x2634 ~x4325 ~x102 x945 ~x1790 ~x3481 ~x2635 
3.88/3.92	v ~x4326 ~x103 ~x946 ~x1791 ~x3482 ~x2636 x4327 ~x104 ~x947 x1792 
3.88/3.92	v ~x3483 ~x2637 ~x4328 ~x105 ~x948 ~x1793 ~x3484 ~x2638 ~x4329 ~x106 
3.88/3.92	v ~x949 ~x1794 x3485 x2639 ~x4330 ~x107 ~x950 ~x1795 ~x3486 ~x2640 
3.88/3.92	v ~x4331 ~x108 ~x951 ~x1796 ~x3487 ~x2641 ~x4332 ~x109 ~x952 x1797 
3.88/3.92	v ~x3488 ~x2642 ~x4333 ~x110 ~x953 x1798 ~x3489 ~x2643 ~x4334 ~x111 
3.88/3.92	v ~x954 ~x1799 ~x3490 ~x2644 x4335 ~x112 ~x955 ~x1800 x3491 x2645 
3.88/3.92	v ~x4336 ~x113 x956 ~x1801 ~x3492 ~x2646 ~x4337 ~x114 ~x957 ~x1802 
3.88/3.92	v ~x3493 ~x2647 ~x4338 ~x115 ~x958 ~x1803 ~x3494 ~x2648 ~x4339 ~x116 
3.88/3.92	v ~x959 ~x1804 ~x3495 x2649 x4340 ~x117 ~x960 ~x1805 ~x3496 ~x2650 
3.88/3.92	v ~x4341 ~x118 ~x961 ~x1806 ~x3497 ~x2651 ~x4342 ~x119 ~x962 ~x1807 
3.88/3.92	v x3498 ~x2652 ~x4343 ~x120 ~x963 ~x1808 ~x3499 ~x2653 ~x4344 ~x121 
3.88/3.92	v x964 ~x1809 ~x3500 ~x2654 x4345 ~x122 ~x965 ~x1810 ~x3501 x2655 
3.88/3.92	v ~x4346 ~x123 ~x966 ~x1811 ~x3502 ~x2656 ~x4347 ~x124 ~x967 ~x1812 
3.88/3.92	v ~x3503 ~x2657 ~x4348 ~x125 ~x968 ~x1813 x3504 ~x2658 ~x4349 ~x126 
3.88/3.92	v ~x969 ~x1814 ~x3505 ~x2659 ~x4350 ~x127 ~x970 ~x1815 ~x3506 ~x2660 
3.88/3.92	v ~x4351 ~x128 ~x971 x1816 ~x3507 x2661 ~x4352 ~x129 ~x972 ~x1817 
3.88/3.92	v ~x3508 ~x2662 ~x4353 ~x130 ~x973 ~x1818 ~x3509 ~x2663 ~x4354 ~x131 
3.88/3.92	v ~x974 ~x1819 x3510 ~x2664 ~x4355 ~x132 ~x975 ~x1820 ~x3511 ~x2665 
3.88/3.92	v x4356 ~x133 ~x976 ~x1821 ~x3512 ~x2666 ~x4357 ~x134 ~x977 ~x1822 
3.88/3.92	v ~x3513 ~x2667 ~x4358 ~x135 x978 ~x1823 x3514 ~x2668 ~x4359 ~x136 
3.88/3.92	v ~x979 x1824 ~x3515 x2669 ~x4360 ~x137 ~x980 ~x1825 ~x3516 ~x2670 
3.88/3.92	v ~x4361 ~x138 ~x981 ~x1826 ~x3517 x2671 x4362 ~x139 ~x982 ~x1827 
3.88/3.92	v ~x3518 ~x2672 ~x4363 x140 ~x983 ~x1828 ~x3519 ~x2673 ~x4364 ~x141 
3.88/3.92	v ~x984 ~x1829 x3520 ~x2674 ~x4365 ~x142 ~x985 ~x1830 ~x3521 ~x2675 
3.88/3.92	v ~x4366 ~x143 ~x986 ~x1831 ~x3522 ~x2676 x4367 ~x144 ~x987 x1832 
3.88/3.92	v ~x3523 ~x2677 ~x4368 ~x988 ~x1833 ~x3524 ~x2678 ~x4369 x145 ~x989 
3.88/3.92	v ~x1834 ~x3525 ~x2679 x4370 ~x146 ~x990 ~x1835 ~x3526 ~x2680 ~x4371 
3.88/3.92	v ~x147 ~x991 ~x1836 ~x3527 ~x2681 ~x4372 ~x148 ~x992 ~x1837 x3528 
3.88/3.92	v ~x2682 ~x4373 ~x149 ~x993 ~x1838 ~x3529 ~x2683 ~x4374 ~x150 ~x994 
3.88/3.92	v ~x1839 ~x3530 ~x2684 ~x4375 ~x151 ~x995 ~x1840 ~x3531 ~x2685 ~x4376 
3.88/3.92	v ~x152 ~x996 ~x1841 ~x3532 ~x2686 ~x4377 ~x153 ~x997 ~x1842 x3533 
3.88/3.92	v x2687 ~x4378 ~x154 ~x998 x1843 ~x3534 ~x2688 ~x4379 ~x155 ~x999 
3.88/3.92	v ~x1844 ~x3535 ~x2689 ~x4380 ~x156 ~x1000 ~x1845 ~x3536 x2690 ~x4381 
3.88/3.92	v ~x157 ~x1001 ~x1846 ~x3537 ~x2691 ~x4382 ~x158 ~x1002 ~x1847 x3538 
3.88/3.92	v ~x2692 ~x4383 ~x159 ~x1003 ~x1848 ~x3539 ~x2693 x4384 ~x160 ~x1004 
3.88/3.92	v ~x1849 ~x3540 ~x2694 ~x4385 ~x161 x1005 ~x1850 x3541 x2695 ~x4386 
3.88/3.92	v x162 ~x1006 ~x1851 ~x3542 ~x2696 ~x4387 ~x163 ~x1007 x1852 ~x3543 
3.88/3.92	v ~x2697 ~x4388 ~x164 ~x1008 ~x1853 ~x3544 ~x2698 ~x4389 ~x165 ~x1009 
3.88/3.92	v ~x1854 ~x3545 ~x2699 x4390 ~x166 ~x1010 ~x1855 ~x3546 ~x2700 ~x4391 
3.88/3.92	v ~x167 ~x1011 ~x1856 ~x3547 ~x2701 ~x4392 ~x168 x1012 ~x1857 ~x3548 
3.88/3.92	v ~x2702 x4393 ~x169 ~x1013 ~x1858 ~x3549 ~x2703 ~x4394 ~x170 ~x1014 
3.88/3.92	v x1859 ~x3550 ~x2704 ~x4395 ~x171 ~x1015 ~x1860 x3551 ~x2705 ~x4396 
3.88/3.92	v ~x172 ~x1016 ~x1861 ~x3552 ~x2706 ~x4397 ~x173 ~x1017 ~x1862 x3553 
3.88/3.92	v ~x2707 ~x4398 ~x174 ~x1018 ~x1863 ~x3554 x2708 ~x4399 ~x175 ~x1019 
3.88/3.92	v ~x1864 ~x3555 ~x2709 ~x4400 ~x176 ~x1020 ~x1865 ~x3556 ~x2710 ~x4401 
3.88/3.92	v ~x177 ~x1021 ~x1866 ~x3557 ~x2711 ~x4402 ~x178 ~x1022 ~x1867 ~x3558 
3.88/3.92	v ~x2712 x4403 ~x179 ~x1023 ~x1868 x3559 ~x2713 ~x4404 ~x180 x1024 
3.88/3.92	v ~x1869 ~x3560 ~x2714 ~x4405 ~x181 ~x1025 ~x1870 ~x3561 ~x2715 ~x4406 
3.88/3.92	v ~x182 ~x1026 ~x1871 ~x3562 x2716 ~x4407 ~x183 ~x1027 ~x1872 ~x3563 
3.88/3.92	v ~x2717 ~x4408 ~x184 ~x1028 ~x1873 ~x3564 ~x2718 x4409 ~x185 ~x1029 
3.88/3.92	v ~x1874 x3565 ~x2719 ~x4410 x186 ~x1030 ~x1875 ~x3566 ~x2720 x4411 
3.88/3.92	v ~x187 ~x1031 ~x1876 ~x3567 ~x2721 ~x4412 ~x188 ~x1032 ~x1877 ~x3568 
3.88/3.92	v ~x2722 ~x4413 ~x189 ~x1033 ~x1878 ~x3569 x2723 ~x4414 ~x190 ~x1034 
3.88/3.92	v ~x1879 ~x3570 ~x2724 ~x4415 ~x191 ~x1035 x1880 ~x3571 ~x2725 ~x4416 
3.88/3.92	v x192 ~x1036 ~x1881 ~x3572 ~x2726 ~x4417 ~x193 ~x1037 ~x1882 ~x3573 
3.88/3.92	v x2727 ~x4418 ~x194 ~x1038 ~x1883 x3574 ~x2728 ~x4419 ~x195 x1039 
3.88/3.92	v ~x1884 ~x3575 ~x2729 ~x4420 ~x196 ~x1040 ~x1885 ~x3576 ~x2730 x4421 
3.88/3.92	v ~x197 ~x1041 ~x1886 x3577 x2731 ~x4422 ~x198 ~x1042 ~x1887 ~x3578 
3.88/3.92	v ~x2732 x4423 ~x199 ~x1043 ~x1888 ~x3579 ~x2733 ~x4424 ~x200 ~x1044 
3.88/3.92	v ~x1889 ~x3580 ~x2734 ~x4425 ~x201 ~x1045 ~x1890 ~x3581 ~x2735 ~x4426 
3.88/3.92	v ~x202 ~x1046 ~x1891 ~x3582 ~x2736 ~x4427 ~x203 ~x1047 ~x1892 x3583 
3.88/3.92	v ~x2737 ~x4428 ~x204 ~x1048 ~x1893 ~x3584 ~x2738 ~x4429 ~x205 ~x1049 
3.88/3.92	v ~x1894 ~x3585 ~x2739 ~x4430 ~x206 ~x1050 ~x1895 ~x3586 ~x2740 ~x4431 
3.88/3.92	v ~x207 ~x1051 ~x1896 ~x3587 x2741 x4432 ~x208 ~x1052 ~x1897 ~x3588 
3.88/3.92	v ~x2742 ~x4433 ~x209 ~x1053 ~x1898 ~x3589 ~x2743 ~x4434 x210 ~x1054 
3.88/3.92	v ~x1899 ~x3590 ~x2744 x4435 ~x211 ~x1055 x1900 ~x3591 ~x2745 ~x4436 
3.88/3.92	v ~x212 ~x1056 ~x1901 x3592 ~x2746 ~x4437 ~x213 ~x1057 ~x1902 ~x3593 
3.88/3.92	v ~x2747 ~x4438 ~x214 ~x1058 ~x1903 ~x3594 x2748 ~x4439 ~x215 ~x1059 
3.88/3.92	v ~x1904 ~x3595 ~x2749 ~x4440 ~x216 ~x1060 ~x1905 ~x3596 ~x2750 x4441 
3.88/3.92	v ~x217 ~x1061 ~x1906 ~x3597 ~x2751 ~x4442 ~x218 ~x1062 ~x1907 ~x3598 
3.88/3.92	v x2752 ~x4443 ~x219 ~x1063 ~x1908 ~x3599 ~x2753 ~x4444 ~x220 ~x1064 
3.88/3.92	v ~x1909 x3600 ~x2754 ~x4445 ~x221 ~x1065 x1910 x3601 ~x2755 ~x4446 
3.88/3.92	v ~x222 x1066 ~x1911 ~x3602 ~x2756 ~x4447 ~x223 ~x1067 ~x1912 ~x3603 
3.88/3.92	v ~x2757 x4448 ~x224 ~x1068 ~x1913 ~x3604 x2758 ~x4449 x225 ~x1069 
3.88/3.92	v ~x1914 ~x3605 ~x2759 ~x4450 ~x226 ~x1070 ~x1915 ~x3606 ~x2760 ~x4451 
3.88/3.92	v ~x227 x1071 ~x1916 x3607 ~x2761 ~x4452 ~x228 ~x1072 ~x1917 ~x3608 
3.88/3.92	v ~x2762 x4453 ~x229 ~x1918 ~x3609 ~x2763 ~x4454 ~x230 ~x1919 ~x3610 
3.88/3.92	v ~x1073 ~x2764 ~x4455 ~x231 x1920 ~x3611 ~x1074 x2765 ~x4456 ~x232 
3.88/3.92	v ~x1921 ~x3612 ~x1075 ~x2766 ~x4457 ~x233 ~x1922 ~x3613 ~x1076 ~x2767 
3.88/3.92	v ~x4458 ~x234 ~x1923 ~x3614 ~x1077 ~x2768 ~x4459 ~x235 ~x1924 ~x3615 
3.88/3.92	v ~x1078 ~x2769 ~x4460 ~x236 ~x1925 ~x3616 ~x1079 ~x2770 ~x4461 ~x237 
3.88/3.92	v ~x1926 x3617 ~x1080 x2771 ~x4462 ~x238 ~x1927 ~x3618 ~x1081 ~x2772 
3.88/3.92	v ~x4463 ~x239 ~x1928 ~x3619 ~x1082 ~x2773 x4464 ~x240 ~x1929 ~x3620 
3.88/3.92	v x1083 ~x2774 ~x4465 ~x241 ~x1930 ~x3621 ~x1084 ~x2775 ~x4466 x242 
3.88/3.92	v ~x1931 ~x3622 ~x1085 ~x2776 ~x4467 ~x243 ~x1932 ~x3623 ~x1086 x2777 
3.88/3.92	v ~x4468 ~x244 ~x1933 x3624 ~x1087 ~x2778 x4469 ~x245 ~x1934 ~x3625 
3.88/3.92	v ~x1088 ~x2779 ~x4470 ~x246 ~x1935 ~x3626 ~x1089 ~x2780 ~x4471 ~x247 
3.88/3.92	v ~x1936 ~x3627 x1090 ~x2781 ~x4472 ~x248 ~x1937 x3628 ~x1091 ~x2782 
3.88/3.92	v x4473 ~x249 ~x1938 ~x3629 ~x1092 ~x2783 ~x4474 ~x250 ~x1939 ~x3630 
3.88/3.92	v ~x1093 ~x2784 ~x4475 ~x251 ~x1940 x3631 ~x1094 ~x2785 ~x4476 ~x252 
3.88/3.92	v ~x1941 ~x3632 ~x1095 ~x2786 ~x4477 ~x253 ~x1942 ~x3633 ~x1096 ~x2787 
3.88/3.92	v ~x4478 ~x254 ~x1943 ~x3634 ~x1097 ~x2788 ~x4479 ~x255 ~x1944 ~x3635 
3.88/3.92	v ~x1098 x2789 x4480 ~x256 ~x1945 ~x3636 ~x1099 ~x2790 ~x4481 x257 
3.88/3.92	v ~x1946 ~x3637 ~x1100 ~x2791 ~x4482 ~x258 ~x1947 x3638 ~x1101 ~x2792 
3.88/3.92	v ~x4483 ~x259 ~x1948 ~x3639 ~x1102 ~x2793 ~x4484 ~x260 ~x1949 ~x3640 
3.88/3.92	v ~x1103 ~x2794 x4485 ~x1950 ~x3641 x1104 x2795 ~x4486 ~x261 ~x1951 
3.88/3.92	v ~x3642 x1105 ~x2796 ~x4487 ~x262 ~x1952 ~x3643 ~x1106 ~x2797 ~x4488 
3.88/3.92	v ~x263 ~x1953 ~x3644 ~x1107 ~x2798 ~x4489 ~x264 ~x1954 ~x3645 ~x1108 
3.88/3.92	v ~x2799 ~x4490 ~x265 ~x1955 ~x3646 ~x1109 ~x2800 ~x4491 ~x266 ~x1956 
3.88/3.92	v ~x3647 ~x1110 ~x2801 ~x4492 ~x267 ~x1957 x3648 ~x1111 ~x2802 x4493 
3.88/3.92	v ~x268 ~x1958 ~x3649 ~x1112 ~x2803 ~x4494 ~x269 ~x1959 ~x3650 ~x1113 
3.88/3.92	v ~x2804 ~x4495 ~x270 ~x1960 ~x3651 ~x1114 ~x2805 x4496 ~x271 ~x1961 
3.88/3.92	v ~x3652 ~x1115 x2806 ~x4497 x272 x1962 ~x3653 ~x1116 ~x2807 ~x4498 
3.88/3.92	v ~x273 ~x1963 x3654 ~x1117 ~x2808 ~x4499 ~x274 ~x1964 ~x3655 ~x1118 
3.88/3.92	v ~x2809 ~x4500 ~x275 ~x1965 ~x3656 ~x1119 ~x2810 ~x4501 ~x276 ~x1966 
3.88/3.92	v x3657 ~x1120 ~x2811 ~x4502 ~x277 ~x1967 ~x3658 ~x1121 x2812 ~x4503 
3.88/3.92	v ~x278 ~x1968 ~x3659 ~x1122 ~x2813 ~x4504 ~x279 ~x1969 ~x3660 ~x1123 
3.88/3.92	v ~x2814 x4505 ~x280 ~x1970 ~x3661 ~x1124 ~x2815 ~x4506 x281 ~x1971 
3.88/3.92	v ~x3662 ~x1125 ~x2816 ~x4507 ~x282 ~x1972 ~x3663 ~x1126 ~x2817 x4508 
3.88/3.92	v ~x283 x1973 ~x3664 ~x1127 ~x2818 ~x4509 ~x284 ~x1974 x3665 ~x1128 
3.88/3.92	v ~x2819 ~x4510 ~x285 ~x1975 ~x3666 ~x1129 ~x2820 ~x4511 ~x286 ~x1976 
3.88/3.92	v ~x3667 ~x1130 ~x2821 ~x4512 ~x287 ~x1977 x3668 ~x1131 ~x2822 x4513 
3.88/3.92	v ~x288 x1978 ~x3669 ~x1132 ~x2823 ~x4514 ~x289 ~x1979 ~x3670 ~x1133 
3.88/3.92	v x2824 ~x4515 ~x290 ~x1980 ~x3671 ~x1134 ~x2825 ~x4516 ~x291 ~x1981 
3.88/3.92	v ~x3672 ~x1135 ~x2826 ~x4517 ~x292 ~x1982 x3673 ~x1136 ~x2827 ~x4518 
3.88/3.92	v ~x293 ~x1983 ~x3674 ~x1137 ~x2828 ~x4519 ~x294 ~x1984 ~x3675 ~x1138 
3.88/3.92	v ~x2829 ~x4520 ~x295 ~x1985 ~x3676 ~x1139 x2830 ~x4521 ~x296 ~x1986 
3.88/3.92	v ~x3677 ~x1140 ~x2831 ~x4522 ~x297 ~x1987 ~x3678 ~x1141 ~x2832 x4523 
3.88/3.92	v ~x298 ~x1988 ~x3679 ~x1142 ~x2833 ~x4524 ~x299 ~x1989 ~x3680 ~x1143 
3.88/3.92	v ~x2834 x4525 ~x300 ~x1990 ~x3681 ~x1144 ~x2835 ~x4526 ~x301 ~x1991 
3.88/3.92	v ~x3682 x1145 ~x2836 ~x4527 ~x302 ~x1992 x3683 x1146 x2837 ~x4528 
3.88/3.92	v ~x303 ~x1993 ~x3684 ~x1147 ~x2838 ~x4529 ~x304 ~x1994 x3685 ~x1148 
3.88/3.92	v ~x2839 ~x4530 ~x305 ~x1995 ~x3686 ~x1149 ~x2840 ~x4531 ~x306 ~x1996 
3.88/3.92	v ~x3687 x1150 ~x2841 x4532 ~x307 ~x1997 ~x3688 ~x1151 ~x2842 ~x4533 
3.88/3.92	v ~x308 ~x1998 ~x3689 ~x1152 x2843 ~x4534 ~x309 ~x1999 ~x3690 ~x1153 
3.88/3.92	v ~x2844 ~x4535 ~x310 ~x2000 ~x3691 ~x1154 ~x2845 ~x4536 x311 ~x2001 
3.88/3.92	v ~x3692 ~x1155 ~x2846 ~x4537 ~x312 ~x2002 ~x3693 ~x1156 ~x2847 ~x4538 
3.88/3.92	v ~x313 ~x2003 ~x3694 ~x1157 ~x2848 ~x4539 ~x314 ~x2004 ~x3695 ~x1158 
3.88/3.92	v x2849 x4540 ~x315 ~x2005 x3696 ~x1159 ~x2850 ~x4541 ~x316 ~x2006 
3.88/3.92	v ~x3697 ~x1160 ~x2851 ~x4542 ~x317 ~x2007 ~x3698 ~x1161 x2852 x4543 
3.88/3.92	v ~x318 ~x2008 ~x3699 ~x2853 ~x1162 ~x4544 ~x319 x2009 ~x3700 ~x1163 
3.88/3.92	v ~x2854 ~x4545 ~x320 ~x2010 x3701 ~x1164 ~x2855 ~x4546 ~x321 ~x2011 
3.88/3.92	v ~x3702 ~x1165 ~x2856 ~x4547 ~x322 ~x2012 ~x3703 x1166 ~x2857 ~x4548 
3.88/3.92	v ~x323 ~x2013 ~x3704 x1167 ~x2858 x4549 ~x324 ~x2014 ~x3705 ~x1168 
3.88/3.92	v ~x2859 ~x4550 ~x325 ~x2015 ~x3706 ~x1169 ~x2860 ~x4551 ~x326 ~x2016 
3.88/3.92	v x3707 ~x1170 x2861 ~x4552 ~x327 ~x2017 ~x3708 ~x1171 ~x2862 ~x4553 
3.88/3.92	v ~x328 ~x2018 x3709 x1172 x2863 ~x4554 ~x329 ~x2019 ~x3710 ~x1173 
3.88/3.92	v ~x2864 x4555 ~x330 ~x2020 ~x3711 ~x1174 ~x2865 ~x4556 ~x331 ~x2021 
3.88/3.92	v ~x3712 ~x1175 ~x2866 ~x4557 ~x332 ~x2022 ~x3713 x1176 ~x2867 ~x4558 
3.88/3.92	v ~x333 ~x2023 ~x3714 ~x1177 ~x2868 ~x4559 ~x334 ~x2024 ~x3715 ~x1178 
3.88/3.92	v ~x2869 ~x4560 ~x335 ~x2025 ~x3716 ~x1179 ~x2870 x4561 ~x336 ~x2026 
3.88/3.92	v ~x3717 ~x1180 ~x2871 ~x4562 ~x337 ~x2027 ~x3718 ~x1181 ~x2872 ~x4563 
3.88/3.92	v x338 ~x2028 ~x3719 ~x1182 x2873 ~x4564 ~x339 ~x2029 x3720 ~x1183 
3.88/3.92	v ~x2874 ~x4565 ~x340 ~x2030 ~x3721 ~x1184 ~x2875 ~x4566 ~x341 ~x2031 
3.88/3.92	v x3722 ~x1185 ~x2876 ~x4567 x342 ~x2032 ~x3723 ~x1186 ~x2877 ~x4568 
3.88/3.92	v ~x343 ~x2033 ~x3724 ~x1187 ~x2878 ~x4569 ~x344 ~x2034 ~x3725 ~x1188 
3.88/3.92	v x2879 ~x4570 ~x345 ~x2035 ~x3726 ~x1189 ~x2880 x4571 ~x346 ~x2036 
3.88/3.92	v ~x3727 x1190 ~x2881 ~x4572 ~x347 ~x2037 ~x3728 ~x1191 ~x2882 ~x4573 
3.88/3.92	v ~x348 ~x2038 ~x3729 ~x1192 ~x2883 ~x4574 ~x349 ~x2039 ~x3730 ~x1193 
3.88/3.92	v ~x2884 ~x4575 ~x350 x2040 x3731 ~x1194 x2885 ~x4576 ~x351 ~x2041 
3.88/3.92	v ~x3732 ~x1195 ~x2886 ~x4577 ~x352 ~x2042 ~x3733 ~x1196 x2887 ~x4578 
3.88/3.92	v x353 ~x2043 x3734 ~x1197 ~x2888 x4579 x354 ~x2044 ~x3735 ~x1198 
3.88/3.92	v ~x2889 ~x4580 ~x355 ~x2045 ~x3736 ~x1199 ~x2890 ~x4581 ~x356 ~x2046 
3.88/3.92	v ~x3737 ~x1200 ~x2891 ~x4582 ~x357 ~x2047 ~x3738 ~x1201 ~x2892 ~x4583 
3.88/3.92	v ~x358 ~x2048 ~x3739 ~x1202 ~x2893 ~x4584 ~x359 x2049 ~x3740 ~x1203 
3.88/3.92	v ~x2894 ~x4585 ~x360 ~x2050 ~x3741 ~x1204 ~x2895 ~x4586 ~x361 ~x2051 
3.88/3.92	v ~x3742 ~x1205 x2896 ~x4587 ~x362 ~x2052 ~x3743 ~x1206 ~x2897 ~x4588 
3.88/3.92	v ~x363 ~x2053 x3744 ~x1207 ~x2898 x4589 ~x364 ~x2054 ~x3745 ~x1208 
3.88/3.92	v ~x2899 ~x4590 ~x365 ~x2055 x3746 ~x1209 ~x2900 ~x4591 ~x366 ~x2056 
3.88/3.92	v ~x3747 ~x1210 ~x2901 ~x4592 ~x367 x2057 ~x3748 ~x1211 ~x2902 ~x4593 
3.88/3.92	v x368 ~x2058 ~x3749 ~x1212 ~x2903 ~x4594 ~x369 ~x2059 ~x3750 ~x1213 
3.88/3.92	v x2904 x4595 ~x370 ~x2060 ~x3751 ~x1214 x2905 ~x4596 ~x371 ~x2061 
3.88/3.92	v ~x3752 x1215 ~x2906 ~x4597 ~x372 ~x2062 ~x3753 ~x1216 ~x2907 ~x4598 
3.88/3.92	v ~x373 ~x2063 x3754 ~x1217 ~x2908 ~x4599 ~x374 ~x2064 ~x3755 ~x1218 
3.88/3.92	v ~x2909 ~x4600 ~x375 ~x2065 ~x3756 ~x1219 ~x2910 x4601 ~x376 ~x2066 
3.88/3.92	v ~x3757 ~x1220 ~x2911 ~x4602 ~x377 ~x2067 ~x3758 ~x1221 x2912 ~x4603 
3.88/3.92	v ~x378 ~x2068 ~x3759 x1222 ~x2913 x4604 x379 ~x2069 ~x3760 ~x1223 
3.88/3.92	v ~x2914 ~x4605 ~x380 ~x2070 ~x3761 ~x1224 ~x2915 ~x4606 ~x381 ~x2071 
3.88/3.92	v x3762 ~x1225 ~x2916 ~x4607 ~x382 ~x2072 ~x3763 ~x1226 ~x2917 ~x4608 
3.88/3.92	v ~x383 ~x2073 ~x3764 ~x1227 x2918 ~x4609 ~x384 ~x2074 ~x3765 ~x1228 
3.88/3.92	v ~x2919 ~x4610 ~x385 ~x2075 ~x3766 ~x1229 ~x2920 x4611 ~x386 ~x2076 
3.88/3.92	v ~x3767 ~x1230 ~x2921 ~x4612 ~x387 ~x2077 x3768 ~x1231 ~x2922 ~x4613 
3.88/3.92	v ~x388 ~x2078 ~x3769 ~x1232 ~x2923 ~x4614 ~x389 ~x2079 ~x3770 ~x1233 
3.88/3.92	v ~x2924 ~x4615 x390 ~x2080 ~x3771 ~x1234 ~x2925 ~x4616 ~x391 ~x2081 
3.88/3.92	v ~x3772 ~x1235 ~x2926 ~x4617 ~x392 ~x2082 ~x3773 ~x1236 ~x2927 x4618 
3.88/3.92	v ~x393 ~x2083 ~x3774 x1237 x2928 ~x4619 ~x394 ~x2084 ~x3775 ~x1238 
3.88/3.92	v ~x2929 ~x4620 ~x395 ~x2085 x3776 ~x1239 x2930 ~x4621 ~x396 ~x2086 
3.88/3.92	v ~x3777 ~x1240 ~x2931 ~x4622 ~x397 ~x2087 ~x3778 ~x1241 ~x2932 ~x4623 
3.88/3.92	v ~x398 ~x2088 ~x3779 ~x1242 ~x2933 ~x4624 ~x399 ~x2089 ~x3780 ~x1243 
3.88/3.92	v ~x2934 ~x4625 ~x400 ~x2090 x3781 ~x1244 ~x2935 ~x4626 ~x401 ~x2091 
3.88/3.92	v ~x3782 ~x1245 ~x2936 ~x4627 ~x402 ~x2092 ~x3783 x1246 ~x2937 ~x4628 
3.88/3.92	v x403 ~x2093 ~x3784 ~x1247 ~x2938 ~x4629 ~x404 ~x2094 ~x3785 ~x1248 
3.88/3.92	v ~x2939 x4630 ~x405 x2095 ~x3786 ~x1249 ~x2940 ~x4631 ~x406 ~x2096 
3.88/3.92	v ~x3787 x1250 ~x2941 ~x4632 ~x407 ~x2097 ~x3788 ~x1251 ~x2942 ~x4633 
3.88/3.92	v ~x408 ~x2098 ~x3789 ~x1252 ~x2943 ~x4634 ~x409 ~x2099 ~x3790 x1253 
3.88/3.92	v ~x2944 ~x4635 x410 ~x2100 x3791 ~x1254 ~x2945 ~x4636 ~x411 ~x2101 
3.88/3.92	v ~x3792 ~x1255 x2946 x4637 ~x412 ~x2102 ~x3793 ~x1256 ~x2947 ~x4638 
3.88/3.92	v ~x413 ~x2103 ~x3794 ~x1257 ~x2948 x4639 ~x414 ~x2104 ~x3795 ~x1258 
3.88/3.92	v ~x2949 ~x4640 ~x415 ~x2105 ~x3796 ~x1259 x2950 ~x4641 ~x416 ~x2106 
3.88/3.92	v x3797 ~x1260 ~x2951 ~x4642 ~x417 ~x2107 ~x3798 ~x1261 ~x2952 ~x4643 
3.88/3.92	v x418 x2108 ~x3799 ~x1262 ~x2953 ~x4644 ~x419 ~x2109 x3800 ~x1263 
3.88/3.92	v x2954 ~x420 ~x2110 ~x3801 ~x1264 ~x2955 ~x421 ~x2111 ~x3802 ~x1265 
3.88/3.92	v ~x2956 ~x422 ~x2112 ~x3803 ~x1266 ~x2957 ~x423 ~x2113 ~x3804 ~x1267 
3.88/3.92	v ~x2958 ~x424 ~x2114 ~x3805 ~x1268 ~x2959 ~x425 x2115 x3806 ~x1269 
3.88/3.92	v ~x2960 ~x426 ~x2116 ~x3807 ~x1270 ~x2961 ~x427 ~x2117 ~x3808 ~x1271 
3.88/3.92	v ~x2962 ~x428 ~x2118 ~x3809 ~x1272 x2963 ~x429 ~x2119 ~x3810 ~x1273 
3.88/3.92	v ~x2964 ~x430 ~x2120 ~x3811 ~x1274 ~x2965 ~x431 ~x2121 ~x3812 ~x1275 
3.88/3.92	v ~x2966 ~x432 ~x2122 ~x3813 ~x1276 ~x2967 x433 ~x2123 ~x3814 ~x1277 
3.88/3.92	v ~x2968 ~x434 ~x2124 ~x3815 ~x1278 x2969 ~x435 ~x2125 x3816 ~x1279 
3.88/3.92	v ~x2970 ~x436 ~x2126 ~x3817 ~x1280 ~x2971 ~x437 ~x2127 ~x3818 ~x1281 
3.88/3.92	v ~x2972 ~x438 ~x3819 ~x1282 ~x2973 ~x439 ~x3820 ~x1283 ~x2974 ~x2128 
3.88/3.92	v ~x440 ~x3821 ~x1284 x2975 ~x2129 ~x441 x3822 x1285 ~x2976 ~x2130 
3.88/3.92	v ~x442 ~x3823 ~x1286 ~x2977 ~x2131 x443 ~x3824 ~x1287 ~x2978 ~x2132 
3.88/3.92	v ~x444 x3825 ~x1288 ~x2979 ~x2133 ~x445 ~x3826 ~x1289 ~x2980 ~x2134 
3.88/3.92	v ~x446 ~x3827 ~x1290 x2981 ~x2135 ~x447 ~x3828 ~x1291 ~x2982 ~x2136 
3.88/3.92	v ~x448 ~x3829 ~x1292 ~x2983 ~x2137 ~x449 x3830 ~x1293 ~x2984 ~x2138 
3.88/3.92	v ~x450 ~x3831 ~x1294 ~x2985 ~x2139 ~x451 ~x3832 ~x1295 ~x2986 ~x2140 
3.88/3.92	v ~x452 ~x3833 x1296 x2987 ~x2141 ~x453 ~x3834 ~x1297 ~x2988 ~x2142 
3.88/3.92	v ~x454 ~x3835 ~x1298 ~x2989 ~x2143 ~x455 x3836 ~x1299 ~x2990 ~x2144 
3.88/3.92	v ~x456 ~x3837 ~x1300 ~x2991 ~x2145 x457 ~x3838 ~x1301 ~x2992 ~x2146 
3.88/3.92	v ~x458 ~x3839 ~x1302 x2993 ~x2147 ~x459 ~x3840 ~x1303 ~x2994 x2148 
3.88/3.92	v ~x460 ~x3841 ~x1304 ~x2995 ~x2149 ~x461 ~x3842 ~x1305 ~x2996 ~x2150 
3.88/3.92	v ~x462 ~x3843 ~x1306 ~x2997 ~x2151 ~x463 ~x3844 ~x1307 ~x2998 ~x2152 
3.88/3.92	v x464 x3845 ~x1308 ~x2999 ~x2153 ~x465 ~x3846 ~x1309 ~x3000 ~x2154 
3.88/3.92	v ~x466 ~x3847 ~x1310 ~x3001 x2155 ~x467 ~x3848 ~x1311 x3002 ~x2156 
3.88/3.92	v ~x468 ~x3849 ~x1312 ~x3003 ~x2157 ~x469 ~x3850 ~x1313 ~x3004 x2158 
3.88/3.92	v ~x470 ~x3851 ~x1314 ~x3005 ~x2159 ~x471 x3852 ~x1315 ~x3006 ~x2160 
3.88/3.92	v ~x472 ~x3853 ~x1316 ~x3007 ~x2161 x473 x3854 x1317 ~x3008 ~x2162 
3.88/3.92	v x474 ~x3855 x1318 ~x3009 ~x2163 ~x475 ~x3856 ~x1319 ~x3010 ~x2164 
3.88/3.92	v ~x476 ~x3857 ~x1320 x3011 ~x2165 ~x477 ~x3858 ~x1321 ~x3012 ~x2166 
3.88/3.92	v ~x478 ~x3859 ~x1322 ~x3013 ~x2167 ~x479 ~x3860 ~x1323 ~x3014 ~x2168 
3.88/3.92	v ~x480 ~x3861 ~x1324 ~x3015 ~x2169 ~x481 ~x3862 ~x1325 x3016 ~x2170 
3.88/3.92	v ~x482 x3863 ~x1326 ~x3017 ~x2171 ~x483 ~x3864 ~x1327 ~x3018 ~x2172 
3.88/3.92	v ~x484 ~x3865 x1328 ~x3019 ~x2173 ~x485 ~x3866 ~x1329 ~x3020 ~x2174 
3.88/3.92	v ~x486 ~x3867 ~x1330 ~x3021 ~x2175 ~x487 ~x3868 ~x1331 x3022 ~x2176 
3.88/3.92	v ~x488 x3869 ~x1332 ~x3023 ~x2177 ~x489 ~x3870 ~x1333 ~x3024 ~x2178 
3.88/3.92	v ~x490 x3871 ~x1334 ~x3025 ~x2179 ~x491 ~x3872 ~x1335 x3026 ~x2180 
3.88/3.92	v ~x492 ~x3873 ~x1336 ~x3027 ~x2181 ~x493 ~x3874 ~x1337 ~x3028 ~x2182 
3.88/3.92	v ~x494 ~x3875 ~x1338 ~x3029 ~x2183 ~x495 ~x3876 ~x1339 ~x3030 ~x2184 
3.88/3.92	v ~x496 ~x3877 ~x1340 ~x3031 ~x2185 ~x497 ~x3878 ~x1341 ~x3032 ~x2186 
3.88/3.92	v ~x498 ~x3879 ~x1342 ~x3033 ~x2187 ~x499 ~x3880 ~x1343 ~x3034 ~x2188 
3.88/3.92	v x500 x3881 ~x1344 ~x3035 ~x2189 ~x501 ~x3882 x1345 x3036 ~x2190 
3.88/3.92	v ~x502 ~x3883 ~x1346 ~x3037 ~x2191 ~x503 ~x3884 ~x1347 ~x3038 ~x2192 
3.88/3.92	v ~x504 ~x3885 ~x1348 x3039 ~x2193 ~x505 x3886 ~x1349 ~x3040 ~x2194 
3.88/3.92	v ~x506 ~x3887 ~x1350 ~x3041 ~x2195 x507 ~x3888 ~x1351 ~x3042 ~x2196 
3.88/3.92	v ~x508 ~x3889 ~x1352 ~x3043 ~x2197 ~x509 ~x3890 ~x1353 x3044 ~x2198 
3.88/3.92	v ~x510 ~x3891 ~x1354 ~x3045 ~x2199 ~x511 x3892 ~x1355 ~x3046 ~x2200 
3.88/3.92	v ~x512 ~x3893 ~x1356 ~x3047 ~x2201 x513 ~x3894 ~x1357 ~x3048 ~x2202 
3.88/3.92	v ~x514 ~x3895 ~x1358 ~x3049 ~x2203 ~x515 x3896 x1359 ~x3050 ~x2204 
3.88/3.92	v ~x516 ~x3897 ~x1360 x3051 ~x2205 ~x517 ~x3898 ~x1361 ~x3052 ~x2206 
3.88/3.92	v ~x518 ~x3899 ~x1362 ~x3053 x2207 ~x519 ~x3900 ~x1363 ~x3054 x2208 
3.88/3.92	v ~x520 ~x3901 ~x1364 ~x3055 ~x2209 ~x521 x3902 ~x1365 ~x3056 ~x2210 
3.88/3.92	v ~x522 ~x3903 ~x1366 ~x3057 ~x2211 ~x523 ~x3904 ~x1367 ~x3058 ~x2212 
3.88/3.92	v ~x524 ~x3905 x1368 ~x3059 ~x2213 ~x525 ~x3906 ~x1369 x3060 x2214 
3.88/3.92	v ~x526 x3907 ~x1370 ~x3061 ~x2215 ~x527 ~x3908 x1371 ~x3062 ~x2216 
3.88/3.93	v ~x528 ~x3909 ~x1372 ~x3063 x2217 ~x529 ~x3910 ~x1373 ~x3064 ~x2218 
3.88/3.93	v x530 ~x3911 ~x1374 x3065 ~x2219 ~x531 ~x3912 ~x1375 ~x3066 ~x2220 
3.88/3.93	v ~x532 ~x3913 ~x1376 ~x3067 ~x2221 ~x533 x3914 ~x1377 ~x3068 ~x2222 
3.88/3.93	v ~x534 ~x3915 ~x1378 ~x3069 ~x2223 ~x535 ~x3916 ~x1379 ~x3070 ~x2224 
3.88/3.93	v ~x536 ~x3917 ~x1380 ~x3071 x2225 ~x537 ~x3918 ~x1381 x3072 ~x2226 
3.88/3.93	v ~x538 x3919 ~x1382 ~x3073 ~x2227 x539 ~x3920 ~x1383 x3074 ~x2228 
3.88/3.93	v ~x540 ~x3921 ~x1384 ~x3075 x2229 ~x541 ~x3922 ~x1385 ~x3076 ~x2230 
3.88/3.93	v ~x542 ~x3923 ~x1386 ~x3077 ~x2231 ~x543 ~x3924 ~x1387 ~x3078 ~x2232 
3.88/3.93	v ~x544 ~x3925 ~x1388 ~x3079 ~x2233 ~x545 ~x3926 ~x1389 ~x3080 ~x2234 
3.88/3.93	v ~x546 ~x3927 ~x1390 ~x3081 x2235 ~x547 ~x3928 x1391 x3082 ~x2236 
3.88/3.93	v ~x548 ~x3929 ~x1392 ~x3083 ~x2237 ~x549 x3930 ~x1393 ~x3084 ~x2238 
3.88/3.93	v ~x550 ~x3931 ~x1394 ~x3085 ~x2239 ~x3932 x1395 ~x3086 x2240 ~x551 
3.88/3.93	v x3933 ~x1396 ~x3087 ~x2241 ~x552 ~x3934 ~x1397 ~x3088 ~x2242 ~x553 
3.88/3.93	v ~x3935 ~x1398 ~x3089 ~x2243 ~x554 ~x3936 x1399 ~x3090 ~x2244 ~x555 
3.88/3.93	v ~x3937 ~x1400 x3091 x2245 ~x556 ~x3938 ~x1401 ~x3092 ~x2246 ~x557 
3.88/3.93	v x3939 ~x1402 ~x3093 ~x2247 ~x558 ~x3940 ~x1403 ~x3094 ~x2248 ~x559 
3.88/3.93	v ~x3941 ~x1404 ~x3095 ~x2249 ~x560 ~x3942 ~x1405 ~x3096 ~x2250 ~x561 
3.88/3.93	v ~x3943 ~x1406 ~x3097 ~x2251 x562 ~x3944 ~x1407 ~x3098 ~x2252 x563 
3.88/3.93	v ~x3945 ~x1408 ~x3099 ~x2253 ~x564 x3946 ~x1409 ~x3100 ~x2254 ~x565 
3.88/3.93	v ~x3947 ~x1410 ~x3101 ~x2255 ~x566 ~x3948 ~x1411 ~x3102 x2256 ~x567 
3.88/3.93	v x3949 ~x1412 ~x3103 ~x2257 ~x568 ~x3950 ~x1413 ~x3104 ~x2258 ~x569 
3.88/3.93	v ~x3951 ~x1414 x3105 ~x2259 ~x570 ~x3952 ~x1415 ~x3106 ~x2260 ~x571 
3.88/3.93	v ~x3953 ~x1416 ~x3107 ~x2261 ~x572 ~x3954 ~x1417 ~x3108 ~x2262 ~x573 
3.88/3.93	v ~x3955 ~x1418 ~x3109 ~x2263 ~x574 x3956 ~x1419 ~x3110 ~x2264 x575 
3.88/3.93	v ~x3957 ~x1420 ~x3111 ~x2265 ~x576 ~x3958 ~x1421 x3112 x2266 ~x577 
3.88/3.93	v ~x3959 x1422 ~x3113 ~x2267 ~x578 ~x3960 ~x1423 ~x3114 ~x2268 ~x579 
3.88/3.93	v x3961 ~x1424 ~x3115 ~x2269 ~x580 ~x3962 ~x1425 ~x3116 ~x2270 ~x581 
3.88/3.93	v ~x3963 ~x1426 ~x3117 x2271 ~x582 ~x3964 ~x1427 ~x3118 ~x2272 ~x583 
3.88/3.93	v ~x3965 ~x1428 ~x3119 ~x2273 ~x584 ~x3966 ~x1429 x3120 ~x2274 x585 
3.88/3.93	v ~x3967 ~x1430 ~x3121 ~x2275 ~x586 ~x3968 ~x1431 ~x3122 ~x2276 ~x587 
3.88/3.93	v ~x3969 ~x1432 x3123 ~x2277 ~x588 ~x3970 ~x1433 ~x3124 ~x2278 ~x589 
3.88/3.93	v ~x3971 ~x1434 ~x3125 x2279 ~x590 x3972 ~x1435 ~x3126 ~x2280 ~x591 
3.88/3.93	v ~x3973 ~x1436 ~x3127 ~x2281 ~x592 ~x3974 ~x1437 x3128 ~x2282 ~x593 
3.88/3.93	v ~x3975 ~x1438 ~x3129 ~x2283 ~x594 ~x3976 ~x1439 ~x3130 x2284 ~x595 
3.88/3.93	v ~x3977 x1440 ~x3131 ~x2285 ~x596 x3978 ~x1441 ~x3132 ~x2286 ~x597 
3.88/3.93	v ~x3979 ~x1442 ~x3133 ~x2287 ~x598 x3980 ~x1443 ~x3134 ~x2288 x599 
3.88/3.93	v ~x3981 ~x1444 ~x3135 ~x2289 ~x600 ~x3982 ~x1445 ~x3136 ~x2290 ~x601 
3.88/3.93	v ~x3983 ~x1446 x3137 ~x2291 ~x602 ~x3984 ~x1447 ~x3138 x2292 ~x603 
3.88/3.93	v ~x3985 ~x1448 ~x3139 ~x2293 ~x604 ~x3986 ~x1449 ~x3140 ~x2294 ~x605 
3.88/3.93	v ~x3987 ~x1450 ~x3141 ~x2295 ~x606 ~x3988 ~x1451 x3142 ~x2296 ~x607 
3.88/3.93	v x3989 ~x1452 ~x3143 x2297 ~x608 ~x3990 ~x1453 ~x3144 ~x2298 ~x609 
3.88/3.93	v x3991 ~x1454 ~x3145 x2299 ~x610 ~x3992 ~x1455 x3146 ~x2300 ~x611 
3.88/3.93	v ~x3993 ~x1456 ~x3147 ~x2301 x612 ~x3994 ~x1457 ~x3148 ~x2302 ~x613 
3.88/3.93	v ~x3995 ~x1458 ~x3149 ~x2303 ~x614 ~x3996 ~x1459 ~x3150 ~x2304 ~x615 
3.88/3.93	v ~x3997 ~x1460 ~x3151 ~x2305 ~x616 ~x3998 ~x1461 ~x3152 ~x2306 ~x617 
3.88/3.93	v ~x3999 ~x1462 ~x3153 ~x2307 ~x618 x4000 ~x1463 ~x3154 ~x2308 x619 
3.88/3.93	v ~x4001 ~x1464 x3155 x2309 ~x620 ~x4002 ~x1465 ~x3156 ~x2310 ~x621 
3.88/3.93	v ~x4003 ~x1466 ~x3157 ~x2311 ~x622 ~x4004 ~x1467 ~x3158 ~x2312 ~x623 
3.88/3.93	v ~x4005 ~x1468 x3159 ~x2313 ~x624 ~x4006 ~x1469 ~x3160 ~x2314 ~x625 
3.88/3.93	v x4007 ~x1470 ~x3161 x2315 ~x626 ~x4008 x1471 ~x3162 ~x2316 ~x627 
3.88/3.93	v ~x4009 ~x1472 ~x3163 x2317 ~x628 x4010 ~x1473 ~x3164 ~x2318 ~x629 
3.88/3.93	v ~x4011 ~x1474 ~x3165 ~x2319 ~x630 ~x4012 ~x1475 ~x3166 ~x2320 ~x631 
3.88/3.93	v ~x4013 ~x1476 ~x3167 ~x2321 ~x632 ~x4014 ~x1477 x3168 ~x2322 ~x633 
3.88/3.93	v ~x4015 ~x1478 ~x3169 ~x2323 ~x634 ~x4016 ~x1479 x3170 x2324 ~x635 
3.88/3.93	v ~x4017 ~x1480 ~x3171 ~x2325 ~x636 x4018 ~x1481 ~x3172 ~x2326 ~x637 
3.88/3.93	v ~x4019 ~x1482 ~x3173 ~x2327 ~x638 ~x4020 ~x1483 ~x3174 ~x2328 ~x639 
3.88/3.93	v ~x4021 ~x1484 x3175 ~x2329 ~x640 ~x4022 ~x1485 ~x3176 ~x2330 ~x641 
3.88/3.93	v ~x4023 ~x1486 ~x3177 ~x2331 ~x642 ~x4024 ~x1487 ~x3178 ~x2332 ~x643 
3.88/3.93	v x4025 ~x1488 ~x3179 x2333 ~x644 ~x4026 ~x1489 ~x3180 ~x2334 ~x645 
3.88/3.93	v ~x4027 ~x1490 ~x3181 ~x2335 ~x646 x4028 ~x1491 x3182 ~x2336 ~x647 
3.88/3.93	v ~x4029 ~x1492 ~x3183 ~x2337 ~x648 ~x4030 ~x1493 ~x3184 ~x2338 ~x649 
3.88/3.93	v ~x4031 ~x1494 ~x3185 ~x2339 ~x650 ~x4032 ~x1495 ~x3186 x2340 x651 
3.88/3.93	v ~x4033 ~x1496 x3187 ~x2341 ~x652 ~x4034 ~x1497 ~x3188 x2342 x653 
3.88/3.93	v ~x4035 ~x1498 ~x3189 ~x2343 ~x654 ~x4036 ~x1499 ~x3190 ~x2344 ~x655 
3.88/3.93	v ~x4037 ~x1500 ~x3191 ~x2345 x656 x4038 ~x1501 ~x3192 ~x2346 ~x657 
3.88/3.93	v ~x4039 ~x1502 ~x3193 ~x2347 ~x658 ~x4040 ~x1503 ~x3194 ~x2348 ~x659 
3.88/3.93	v ~x4041 ~x1504 ~x3195 ~x2349 ~x660 x4042 x1505 ~x3196 ~x2350 ~x661 
3.88/3.93	v ~x4043 x1506 ~x3197 x2351 ~x662 ~x4044 ~x1507 x3198 ~x2352 ~x663 
3.88/3.93	v ~x4045 ~x1508 ~x3199 ~x2353 ~x664 ~x4046 ~x1509 ~x3200 ~x2354 ~x665 
3.88/3.93	v ~x4047 ~x1510 ~x3201 ~x2355 ~x666 ~x4048 ~x1511 ~x3202 ~x2356 ~x667 
3.88/3.93	v ~x4049 ~x1512 ~x3203 ~x2357 ~x668 ~x4050 ~x1513 x3204 x2358 ~x669 
3.88/3.93	v ~x4051 ~x1514 ~x3205 ~x2359 ~x670 x4052 ~x1515 ~x3206 ~x2360 x671 
3.88/3.93	v ~x4053 ~x1516 ~x3207 ~x2361 ~x672 ~x4054 ~x1517 ~x3208 ~x2362 ~x673 
3.88/3.93	v ~x4055 ~x1518 x3209 ~x2363 ~x674 ~x4056 ~x1519 ~x3210 x2364 ~x675 
3.88/3.93	v ~x4057 ~x1520 ~x3211 ~x2365 ~x676 ~x4058 ~x1521 ~x3212 x2366 ~x677 
3.88/3.93	v ~x4059 x1522 x3213 ~x2367 ~x678 ~x4060 ~x1523 ~x3214 ~x2368 ~x679 
3.88/3.93	v ~x4061 ~x1524 ~x3215 ~x2369 ~x680 ~x4062 x1525 ~x3216 ~x2370 ~x681 
3.88/3.93	v ~x4063 ~x1526 x3217 ~x2371 ~x682 x4064 ~x1527 ~x3218 ~x2372 ~x683 
3.88/3.93	v ~x4065 ~x1528 ~x3219 ~x2373 ~x684 ~x4066 ~x1529 ~x3220 ~x2374 ~x685 
3.88/3.93	v ~x4067 ~x1530 ~x3221 ~x2375 ~x686 ~x4068 ~x1531 ~x3222 ~x2376 ~x687 
3.88/3.93	v ~x4069 ~x1532 ~x3223 ~x2377 ~x688 ~x4070 ~x1533 ~x3224 ~x2378 ~x689 
3.88/3.93	v ~x4071 ~x1534 ~x3225 ~x2379 ~x690 ~x4072 ~x1535 x3226 ~x2380 ~x691 
3.88/3.93	v x4073 ~x1536 ~x3227 x2381 x692 ~x4074 ~x1537 ~x3228 ~x2382 ~x693 
3.88/3.93	v x4075 ~x1538 ~x3229 x2383 ~x694 ~x4076 ~x1539 ~x3230 ~x2384 ~x695 
3.88/3.93	v ~x4077 x1540 ~x3231 ~x2385 ~x696 ~x4078 ~x1541 ~x3232 ~x2386 ~x697 
3.88/3.93	v ~x4079 ~x1542 x3233 ~x2387 ~x698 ~x4080 ~x1543 ~x3234 ~x2388 ~x699 
3.88/3.93	v ~x4081 ~x1544 ~x3235 ~x2389 ~x700 x4082 ~x1545 ~x3236 ~x2390 ~x701 
3.88/3.93	v ~x4083 ~x1546 ~x3237 ~x2391 ~x702 ~x4084 ~x1547 ~x3238 ~x2392 ~x703 
3.88/3.93	v ~x4085 ~x1548 x3239 x2393 ~x704 ~x4086 ~x1549 ~x3240 ~x2394 ~x705 
3.88/3.93	v ~x4087 ~x1550 ~x3241 ~x2395 ~x706 x4088 ~x1551 ~x3242 ~x2396 ~x707 
3.88/3.93	v ~x4089 ~x1552 ~x3243 x2397 ~x708 ~x4090 ~x1553 ~x3244 ~x2398 ~x709 
3.88/3.93	v ~x4091 ~x1554 ~x3245 ~x2399 ~x710 ~x4092 x1555 x3246 ~x2400 x711 
3.88/3.93	v ~x4093 ~x1556 ~x3247 ~x2401 x712 ~x4094 ~x1557 ~x3248 ~x2402 ~x713 
3.88/3.93	v ~x4095 ~x1558 ~x3249 ~x2403 ~x714 ~x4096 ~x1559 x3250 ~x2404 ~x715 
3.88/3.93	v ~x4097 ~x1560 ~x3251 x2405 ~x716 x4098 ~x1561 ~x3252 ~x2406 ~x717 
3.88/3.93	v ~x4099 ~x1562 ~x3253 ~x2407 ~x718 x4100 ~x1563 x3254 ~x2408 ~x719 
3.88/3.93	v ~x4101 ~x1564 ~x3255 ~x2409 ~x720 ~x4102 ~x1565 ~x3256 x2410 ~x721 
3.88/3.93	v ~x4103 ~x1566 ~x3257 ~x2411 x722 ~x4104 ~x1567 ~x3258 ~x2412 ~x723 
3.88/3.93	v x4105 ~x1568 x3259 ~x2413 ~x724 ~x4106 ~x1569 ~x3260 ~x2414 ~x725 
3.88/3.93	v ~x4107 ~x1570 ~x3261 ~x2415 ~x726 ~x4108 ~x1571 ~x3262 ~x2416 ~x727 
3.88/3.93	v ~x4109 ~x1572 ~x3263 x2417 ~x728 ~x4110 ~x1573 ~x3264 ~x2418 ~x729 
3.88/3.93	v ~x4111 ~x1574 ~x3265 x2419 ~x730 ~x4112 ~x1575 ~x3266 ~x2420 ~x731 
3.88/3.93	v x4113 ~x1576 x3267 ~x2421 ~x732 ~x4114 x1577 ~x3268 ~x2422 ~x733 
3.88/3.93	v ~x4115 ~x1578 ~x3269 ~x2423 ~x734 ~x4116 ~x1579 ~x3270 ~x2424 ~x735 
3.88/3.93	v ~x4117 ~x1580 ~x3271 ~x2425 ~x736 ~x4118 ~x1581 ~x3272 ~x2426 ~x737 
3.88/3.93	v ~x4119 ~x1582 x3273 ~x2427 ~x738 ~x4120 ~x1583 ~x3274 ~x2428 ~x739 
3.88/3.93	v x4121 ~x1584 ~x3275 x2429 ~x4122 ~x740 ~x1585 ~x3276 ~x2430 ~x741 
3.88/3.93	v ~x4123 ~x1586 ~x3277 ~x2431 ~x742 ~x4124 x1587 ~x3278 ~x2432 ~x743 
3.88/3.93	v ~x4125 ~x1588 ~x3279 x2433 ~x744 ~x4126 ~x1589 x3280 ~x2434 ~x745 
3.88/3.93	v ~x4127 ~x1590 ~x3281 ~x2435 x746 x4128 ~x1591 ~x3282 ~x2436 ~x747 
3.88/3.93	v ~x4129 ~x1592 ~x3283 ~x2437 ~x748 ~x4130 ~x1593 ~x3284 ~x2438 ~x749 
3.88/3.93	v x4131 ~x1594 ~x3285 ~x2439 ~x750 ~x4132 x1595 ~x3286 x2440 ~x751 
3.88/3.93	v ~x4133 ~x1596 x3287 ~x2441 ~x752 ~x4134 ~x1597 ~x3288 ~x2442 ~x753 
3.88/3.93	v ~x4135 ~x1598 ~x3289 ~x2443 ~x754 ~x4136 ~x1599 x3290 x2444 ~x755 
3.88/3.93	v ~x4137 x1600 ~x3291 ~x2445 ~x756 ~x4138 ~x1601 ~x3292 ~x2446 ~x757 
3.88/3.93	v x4139 ~x1602 ~x3293 ~x2447 ~x758 ~x4140 ~x1603 ~x3294 ~x2448 ~x759 
3.88/3.93	v ~x4141 ~x1604 x3295 ~x2449 x760 ~x4142 ~x1605 ~x3296 ~x2450 ~x761 
3.88/3.93	v ~x4143 ~x1606 ~x3297 x2451 ~x762 ~x4144 ~x1607 ~x3298 ~x2452 ~x763 
3.88/3.93	v x4145 ~x1608 ~x3299 ~x2453 ~x764 ~x4146 x1609 ~x3300 ~x2454 ~x765 
3.88/3.93	v x4147 ~x1610 x3301 ~x2455 ~x766 ~x4148 ~x1611 ~x3302 ~x2456 ~x767 
3.88/3.93	v ~x4149 ~x1612 ~x3303 ~x2457 x768 ~x4150 ~x1613 ~x3304 x2458 ~x769 
3.88/3.93	v ~x4151 ~x1614 ~x3305 ~x2459 ~x770 ~x4152 ~x1615 ~x3306 ~x2460 ~x771 
3.88/3.93	v ~x4153 ~x1616 ~x3307 ~x2461 ~x772 ~x4154 ~x1617 ~x3308 x2462 ~x773 
3.88/3.93	v ~x4155 ~x1618 ~x3309 ~x2463 ~x774 ~x4156 ~x1619 x3310 ~x2464 ~x775 
3.88/3.93	v ~x4157 ~x1620 ~x3311 ~x2465 ~x776 x4158 ~x1621 ~x3312 ~x2466 x777 
3.88/3.93	v ~x4159 x1622 ~x3313 ~x2467 ~x778 ~x4160 ~x1623 ~x3314 ~x2468 ~x779 
3.88/3.93	v x4161 ~x1624 ~x3315 ~x2469 ~x780 ~x4162 x1625 ~x3316 ~x2470 ~x781 
3.88/3.93	v ~x4163 ~x1626 x3317 ~x2471 ~x782 ~x4164 ~x1627 ~x3318 x2472 ~x783 
3.88/3.93	v x4165 ~x1628 ~x3319 ~x2473 ~x784 ~x4166 ~x1629 x3320 ~x2474 ~x785 
3.88/3.93	v ~x4167 ~x1630 ~x3321 x2475 ~x786 ~x4168 ~x1631 ~x3322 ~x2476 ~x787 
3.88/3.93	v ~x4169 ~x1632 ~x3323 ~x2477 ~x788 ~x4170 ~x1633 ~x3324 ~x2478 ~x789 
3.88/3.93	v x4171 ~x1634 ~x3325 ~x2479 ~x790 ~x4172 ~x1635 ~x3326 x2480 ~x791 
3.88/3.93	v ~x4173 ~x1636 ~x3327 ~x2481 ~x792 ~x4174 ~x1637 ~x3328 ~x2482 ~x793 
3.88/3.93	v ~x4175 ~x1638 x3329 ~x2483 ~x794 ~x4176 ~x1639 ~x3330 ~x2484 ~x795 
3.88/3.93	v x4177 x1640 ~x3331 ~x2485 ~x796 ~x4178 ~x1641 ~x3332 ~x2486 ~x797 
3.88/3.93	v ~x4179 ~x1642 ~x3333 x2487 ~x798 ~x4180 ~x1643 x3334 ~x2488 ~x799 
3.88/3.93	v ~x4181 ~x1644 ~x3335 ~x2489 ~x800 ~x4182 ~x1645 ~x3336 ~x2490 x801 
3.88/3.93	v ~x4183 ~x1646 ~x3337 x2491 ~x802 ~x4184 ~x1647 x3338 ~x2492 ~x803 
3.88/3.93	v x4185 x1648 ~x3339 ~x2493 ~x804 ~x4186 ~x1649 ~x3340 ~x2494 ~x805 
3.88/3.93	v ~x4187 ~x1650 ~x3341 ~x2495 

OK	0

runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 2
  memory of node 0: 64059 MiB (57111 MiB free)
  memory of node 1: 64510 MiB (59894 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4441942-1721293842/watcher-4441942-1721293842 -o /tmp/evaluation-result-4441942-1721293842/solver-4441942-1721293842 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1721293773-946211 --watchdog 3760 pb_picat HOME/instance-4441942-1721293842.opb 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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

solver pid=946933, runsolver pid=946930

[startup+0.100093 s]*
/proc/loadavg: 3.32 1.85 1.42 5/247 946934
/proc/meminfo: memFree=119779072/131655788 swapFree=131071996/131071996
[pid=946933] ppid=946930 vsize=2033608 memory=35792 CPUtime=0.1 cores=4,6
/proc/946933/stat : 946933 (pb_picat) R 946930 946933 946200 0 -1 4194304 867 0 0 0 10 0 0 0 20 0 1 0 181542893 2082414592 8948 134679101440 4194304 5989780 140727353507472 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 39604224 140727353508888 140727353508964 140727353508964 140727353515980 0
/proc/946933/statm: 508402 8948 1602 439 0 503831 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 2033608 KiB
Current children cumulated memory: 35792 KiB

[startup+0.213288 s]*
/proc/loadavg: 3.32 1.85 1.42 5/247 946934
/proc/meminfo: memFree=119758388/131655788 swapFree=131071996/131071996
[pid=946933] ppid=946930 vsize=2033608 memory=52176 CPUtime=0.22 cores=4,6
/proc/946933/stat : 946933 (pb_picat) R 946930 946933 946200 0 -1 4194304 875 0 0 0 21 1 0 0 20 0 1 0 181542893 2082414592 13044 134679101440 4194304 5989780 140727353507472 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 39604224 140727353508888 140727353508964 140727353508964 140727353515980 0
/proc/946933/statm: 508402 13044 1602 439 0 503831 0
Current children cumulated CPU time: 0.22 s
Current children cumulated vsize: 2033608 KiB
Current children cumulated memory: 52176 KiB

[startup+0.313188 s]*
/proc/loadavg: 3.32 1.85 1.42 5/247 946934
/proc/meminfo: memFree=119745984/131655788 swapFree=131071996/131071996
[pid=946933] ppid=946930 vsize=2033608 memory=64652 CPUtime=0.31 cores=4,6
/proc/946933/stat : 946933 (pb_picat) R 946930 946933 946200 0 -1 4194304 955 0 0 0 30 1 0 0 20 0 1 0 181542893 2082414592 16163 134679101440 4194304 5989780 140727353507472 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 39604224 140727353508888 140727353508964 140727353508964 140727353515980 0
/proc/946933/statm: 508402 16163 1602 439 0 503831 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 2033608 KiB
Current children cumulated memory: 64652 KiB

[startup+0.700339 s]
/proc/loadavg: 3.32 1.85 1.42 5/247 946934
/proc/meminfo: memFree=119721568/131655788 swapFree=131071996/131071996
[pid=946933] ppid=946930 vsize=2041912 memory=86836 CPUtime=0.69 cores=4,6
/proc/946933/stat : 946933 (pb_picat) R 946930 946933 946200 0 -1 4194304 3524 0 0 0 66 3 0 0 20 0 1 0 181542893 2090917888 21709 134679101440 4194304 5989780 140727353507472 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 39604224 140727353508888 140727353508964 140727353508964 140727353515980 0
/proc/946933/statm: 510478 21709 1774 439 0 505907 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 2041912 KiB
Current children cumulated memory: 86836 KiB

[startup+1.50032 s]
/proc/loadavg: 3.32 1.85 1.42 5/247 946934
/proc/meminfo: memFree=119702008/131655788 swapFree=131071996/131071996
[pid=946933] ppid=946930 vsize=2043904 memory=88220 CPUtime=1.48 cores=4,6
/proc/946933/stat : 946933 (pb_picat) R 946930 946933 946200 0 -1 4194304 5975 0 0 0 145 3 0 0 20 0 1 0 181542893 2092957696 22055 134679101440 4194304 5989780 140727353507472 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 39604224 140727353508888 140727353508964 140727353508964 140727353515980 0
/proc/946933/statm: 510976 22055 1774 439 0 506405 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 2043904 KiB
Current children cumulated memory: 88220 KiB

[startup+3.11317 s]
/proc/loadavg: 3.32 1.85 1.42 5/247 946934
/proc/meminfo: memFree=119695768/131655788 swapFree=131071996/131071996
[pid=946933] ppid=946930 vsize=2043712 memory=88432 CPUtime=3.09 cores=4,6
/proc/946933/stat : 946933 (pb_picat) R 946930 946933 946200 0 -1 4194304 10302 0 0 0 305 4 0 0 20 0 1 0 181542893 2092761088 22108 134679101440 4194304 5989780 140727353507472 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 39604224 140727353508888 140727353508964 140727353508964 140727353515980 0
/proc/946933/statm: 510928 22108 1774 439 0 506357 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 2043712 KiB
Current children cumulated memory: 88432 KiB

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

# cumulated CPU time of all completed processes:  user=3.86189 s, system=0.061838 s

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

[startup+3.20034 s]
/proc/loadavg: 3.32 1.85 1.42 5/247 946934
/proc/meminfo: memFree=119695768/131655788 swapFree=131071996/131071996
[pid=946933] ppid=946930 vsize=2043968 memory=88960 CPUtime=3.18 cores=4,6
/proc/946933/stat : 946933 (pb_picat) R 946930 946933 946200 0 -1 4194304 10412 0 0 0 314 4 0 0 20 0 1 0 181542893 2093023232 22240 134679101440 4194304 5989780 140727353507472 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 39604224 140727353508888 140727353508964 140727353508964 140727353515980 0
/proc/946933/statm: 510992 22240 1774 439 0 506421 0
Current children cumulated CPU time: 3.18 s
Current children cumulated vsize: 2043968 KiB
Current children cumulated memory: 88960 KiB

[startup+3.60026 s]
/proc/loadavg: 3.32 1.85 1.42 5/247 946934
/proc/meminfo: memFree=119695768/131655788 swapFree=131071996/131071996
[pid=946933] ppid=946930 vsize=2048064 memory=89984 CPUtime=3.58 cores=4,6
/proc/946933/stat : 946933 (pb_picat) R 946930 946933 946200 0 -1 4194304 10686 0 0 0 353 5 0 0 20 0 1 0 181542893 2097217536 22496 134679101440 4194304 5989780 140727353507472 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 39604224 140727353508888 140727353508964 140727353508964 140727353515980 0
/proc/946933/statm: 512016 22496 1774 439 0 507445 0
Current children cumulated CPU time: 3.58 s
Current children cumulated vsize: 2048064 KiB
Current children cumulated memory: 89984 KiB

[startup+3.80027 s]
/proc/loadavg: 3.32 1.85 1.42 5/247 946934
/proc/meminfo: memFree=119695768/131655788 swapFree=131071996/131071996
[pid=946933] ppid=946930 vsize=2043968 memory=89288 CPUtime=3.78 cores=4,6
/proc/946933/stat : 946933 (pb_picat) R 946930 946933 946200 0 -1 4194304 11319 0 0 0 373 5 0 0 20 0 1 0 181542893 2093023232 22322 134679101440 4194304 5989780 140727353507472 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 39604224 140727353508888 140727353508964 140727353508964 140727353515980 0
/proc/946933/statm: 510992 22322 1774 439 0 506421 0
Current children cumulated CPU time: 3.78 s
Current children cumulated vsize: 2043968 KiB
Current children cumulated memory: 89288 KiB

[startup+3.90026 s]
/proc/loadavg: 3.32 1.85 1.42 5/247 946934
/proc/meminfo: memFree=119695768/131655788 swapFree=131071996/131071996
[pid=946933] ppid=946930 vsize=2043968 memory=87848 CPUtime=3.88 cores=4,6
/proc/946933/stat : 946933 (pb_picat) R 946930 946933 946200 0 -1 4194304 11587 0 0 0 383 5 0 0 20 0 1 0 181542893 2093023232 21962 134679101440 4194304 5989780 140727353507472 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 39604224 140727353508888 140727353508964 140727353508964 140727353515980 0
/proc/946933/statm: 510992 21962 1774 439 0 506421 0
Current children cumulated CPU time: 3.88 s
Current children cumulated vsize: 2043968 KiB
Current children cumulated memory: 87848 KiB

Child status: 0

Real time (s): 3.93364
CPU time (s): 3.92373
CPU user time (s): 3.86189
CPU system time (s): 0.061838
CPU usage (%): 99.7482
Max. virtual memory (cumulated for all children) (KiB): 2048064
Max. memory (cumulated for all children) (KiB): 89984

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3.86189
system time used= 0.061838
maximum resident set size= 90104
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 11693
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4
involuntary context switches= 8


# summary of solver processes directly reported to runsolver:
#   pid: 946933
#   total CPU time (s): 3.92373
#   total CPU user time (s): 3.86189
#   total CPU system time (s): 0.061838

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.049935 second user time and 0.098694 second system time

The end

Begin job on nodeC006 at 2024-07-18 11:10:54
IDJOB=4441942
IDBENCH=147757
IDSOLVER=3068
FILE ID=nodeC006/4441942-1721293842
RUNJOBID= nodeC006-1721293773-946211
SLURM_JOB_ID= 7542603
Free space on /tmp= 723736 MiB

SOLVER NAME= Picat 2024-06-18
BENCH NAME= PB24/normalized-PB06/DEC-LIN/web/www.ps.uni-sb.de/~walser/benchmarks/ppp-problems/normalized-ppp:3-13,25,26.opb
COMMAND LINE= pb_picat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4441942-1721293842/watcher-4441942-1721293842 -o /tmp/evaluation-result-4441942-1721293842/solver-4441942-1721293842 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1721293773-946211 --watchdog 3760  pb_picat HOME/instance-4441942-1721293842.opb

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

MD5SUM BENCH= b71388011e4b80d0b0325c4a241ada38
RANDOM SEED=1339998492

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

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

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 3501.663
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.94
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	: 0xb00001f
cpu MHz		: 3615.463
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.26
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	: 0xb00001f
cpu MHz		: 1197.398
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.94
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	: 0xb00001f
cpu MHz		: 1197.295
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.26
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	: 0xb00001f
cpu MHz		: 3492.001
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.94
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	: 0xb00001f
cpu MHz		: 3565.927
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.26
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	: 0xb00001f
cpu MHz		: 1197.249
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.94
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	: 0xb00001f
cpu MHz		: 1197.456
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.26
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        119823576 kB
MemAvailable:   125980952 kB
Buffers:          477536 kB
Cached:          6442152 kB
SwapCached:            0 kB
Active:           950796 kB
Inactive:       10154860 kB
Active(anon):       1468 kB
Inactive(anon):  4222196 kB
Active(file):     949328 kB
Inactive(file):  5932664 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:              4700 kB
Writeback:            48 kB
AnonPages:       4180052 kB
Mapped:           115576 kB
Shmem:             37704 kB
KReclaimable:     230832 kB
Slab:             348692 kB
SReclaimable:     230832 kB
SUnreclaim:       117860 kB
KernelStack:        3968 kB
PageTables:        17804 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:    9324452 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            57792 kB
HardwareCorrupted:     0 kB
AnonHugePages:   3657728 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      310088 kB
DirectMap2M:    40488960 kB
DirectMap1G:    95420416 kB

Free space on /tmp at the end= 723732 MiB
End job on nodeC006 at 2024-07-18 11:10:58