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

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: 63665 MiB (57633 MiB free)
  memory of node 1: 64507 MiB (60844 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4527941-1752238734/watcher-4527941-1752238734 -o /tmp/evaluation-result-4527941-1752238734/solver-4527941-1752238734 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC021-1752238730-113590 --watchdog 3760 pb_picat HOME/instance-4527941-1752238734.opb 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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
solver pid=113781, runsolver pid=113778
Current StackSize limit: 8192 KiB


[startup+0.100064 s]*
/proc/loadavg: 1.32 1.48 2.87 6/265 113782
/proc/meminfo: memFree=121256284/131249996 swapFree=33003468/33010684
[pid=113781] ppid=113778 vsize=2027148 memory=36012 CPUtime=0.09 cores=5,7
/proc/113781/stat : 113781 (pb_picat) R 113778 113781 111934 0 -1 4194304 993 0 0 0 9 0 0 0 20 0 1 0 139551120 2075799552 9003 18446744073709551615 94133037674496 94133039076077 140731578936640 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94133039347504 94133041221744 94133065482240 140731578939804 140731578939880 140731578939880 140731578945484 0
/proc/113781/statm: 506787 9003 1536 343 0 503851 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 2027148 KiB
Current children cumulated memory: 36012 KiB

[startup+0.205418 s]*
/proc/loadavg: 1.32 1.48 2.87 5/265 113782
/proc/meminfo: memFree=121219708/131249996 swapFree=33003468/33010684
[pid=113781] ppid=113778 vsize=2027148 memory=54444 CPUtime=0.2 cores=5,7
/proc/113781/stat : 113781 (pb_picat) R 113778 113781 111934 0 -1 4194304 1002 0 0 0 19 1 0 0 20 0 1 0 139551120 2075799552 13611 18446744073709551615 94133037674496 94133039076077 140731578936640 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94133039347504 94133041221744 94133065482240 140731578939804 140731578939880 140731578939880 140731578945484 0
/proc/113781/statm: 506787 13611 1536 343 0 503851 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 2027148 KiB
Current children cumulated memory: 54444 KiB

[startup+0.30531 s]*
/proc/loadavg: 1.32 1.48 2.87 4/262 113782
/proc/meminfo: memFree=121213848/131249996 swapFree=33003468/33010684
[pid=113781] ppid=113778 vsize=2027148 memory=75768 CPUtime=0.29 cores=5,7
/proc/113781/stat : 113781 (pb_picat) R 113778 113781 111934 0 -1 4194304 1163 0 0 0 28 1 0 0 20 0 1 0 139551120 2075799552 18942 18446744073709551615 94133037674496 94133039076077 140731578936640 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94133039347504 94133041221744 94133065482240 140731578939804 140731578939880 140731578939880 140731578945484 0
/proc/113781/statm: 506787 18942 1600 343 0 503851 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 2027148 KiB
Current children cumulated memory: 75768 KiB

[startup+0.700112 s]
/proc/loadavg: 1.32 1.48 2.87 4/261 113790
/proc/meminfo: memFree=121204396/131249996 swapFree=33003468/33010684
[pid=113781] ppid=113778 vsize=2034688 memory=87116 CPUtime=0.68 cores=5,7
/proc/113781/stat : 113781 (pb_picat) R 113778 113781 111934 0 -1 4194304 4477 0 0 0 66 2 0 0 20 0 1 0 139551120 2083520512 21779 18446744073709551615 94133037674496 94133039076077 140731578936640 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94133039347504 94133041221744 94133065482240 140731578939804 140731578939880 140731578939880 140731578945484 0
/proc/113781/statm: 508672 21779 1696 343 0 505736 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 2034688 KiB
Current children cumulated memory: 87116 KiB

[startup+1.5001 s]
/proc/loadavg: 1.32 1.48 2.87 5/261 113803
/proc/meminfo: memFree=121207684/131249996 swapFree=33003468/33010684
[pid=113781] ppid=113778 vsize=2037012 memory=88036 CPUtime=1.48 cores=5,7
/proc/113781/stat : 113781 (pb_picat) R 113778 113781 111934 0 -1 4194304 7153 0 0 0 146 2 0 0 20 0 1 0 139551120 2085900288 22009 18446744073709551615 94133037674496 94133039076077 140731578936640 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94133039347504 94133041221744 94133065482240 140731578939804 140731578939880 140731578939880 140731578945484 0
/proc/113781/statm: 509253 22009 1696 343 0 506317 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 2037012 KiB
Current children cumulated memory: 88036 KiB

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

# cumulated CPU time of all completed processes:  user=1.98387 s, system=0.037882 s

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

[startup+1.60012 s]
/proc/loadavg: 1.32 1.48 2.87 5/261 113803
/proc/meminfo: memFree=121207684/131249996 swapFree=33003468/33010684
[pid=113781] ppid=113778 vsize=2036768 memory=88016 CPUtime=1.58 cores=5,7
/proc/113781/stat : 113781 (pb_picat) R 113778 113781 111934 0 -1 4194304 7482 0 0 0 155 3 0 0 20 0 1 0 139551120 2085650432 22004 18446744073709551615 94133037674496 94133039076077 140731578936640 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94133039347504 94133041221744 94133065482240 140731578939804 140731578939880 140731578939880 140731578945484 0
/proc/113781/statm: 509192 22004 1696 343 0 506256 0
Current children cumulated CPU time: 1.58 s
Current children cumulated vsize: 2036768 KiB
Current children cumulated memory: 88016 KiB

[startup+2.00009 s]*
/proc/loadavg: 1.32 1.48 2.87 6/265 113827
/proc/meminfo: memFree=121142040/131249996 swapFree=33003468/33010684
[pid=113781] ppid=113778 vsize=2041044 memory=89640 CPUtime=1.99 cores=5,7
/proc/113781/stat : 113781 (pb_picat) R 113778 113781 111934 0 -1 4194304 8600 0 0 0 196 3 0 0 20 0 1 0 139551120 2090029056 22410 18446744073709551615 94133037674496 94133039076077 140731578936640 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94133039347504 94133041221744 94133065482240 140731578939804 140731578939880 140731578939880 140731578945484 0
/proc/113781/statm: 510261 22410 1696 343 0 507325 0
Current children cumulated CPU time: 1.99 s
Current children cumulated vsize: 2041044 KiB
Current children cumulated memory: 89640 KiB

Child status: 0

Real time (s): 2.03191
CPU time (s): 2.02175
CPU user time (s): 1.98387
CPU system time (s): 0.037882
CPU usage (%): 99.4999
Max. virtual memory (cumulated for all children) (KiB): 2041044
Max. memory (cumulated for all children) (KiB): 89640

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.98387
system time used= 0.037882
maximum resident set size= 89768
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8639
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= 15


# summary of solver processes directly reported to runsolver:
#   pid: 113781
#   total CPU time (s): 2.02175
#   total CPU user time (s): 1.98387
#   total CPU system time (s): 0.037882

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.018368 second user time and 0.040849 second system time

The end

Begin job on nodeC021 at 2025-07-11 14:58:54
IDJOB=4527941
IDBENCH=147755
IDSOLVER=3385
FILE ID=nodeC021/4527941-1752238734
RUNJOBID= nodeC021-1752238730-113590
SLURM_JOB_ID= 9682532
Free space on /tmp= 430836 MiB

SOLVER NAME= pb_picat 2025-07-11
BENCH NAME= PB24/normalized-PB06/DEC-LIN/web/www.ps.uni-sb.de/~walser/benchmarks/ppp-problems/normalized-ppp:1-13.opb
COMMAND LINE= pb_picat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4527941-1752238734/watcher-4527941-1752238734 -o /tmp/evaluation-result-4527941-1752238734/solver-4527941-1752238734 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC021-1752238730-113590 --watchdog 3760  pb_picat HOME/instance-4527941-1752238734.opb

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

MD5SUM BENCH= 0255b3d891da2276599e5fcb43348962
RANDOM SEED=904683582

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131249996 kB
MemFree:        121335384 kB
MemAvailable:   128000596 kB
Buffers:            1056 kB
Cached:          7396164 kB
SwapCached:           32 kB
Active:          2219604 kB
Inactive:        6926532 kB
Active(anon):    1722608 kB
Inactive(anon):    39764 kB
Active(file):     496996 kB
Inactive(file):  6886768 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33003468 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             35268 kB
Writeback:             0 kB
AnonPages:       1752032 kB
Mapped:           108436 kB
Shmem:             13452 kB
KReclaimable:     240972 kB
Slab:             335100 kB
SReclaimable:     240972 kB
SUnreclaim:        94128 kB
KernelStack:        4304 kB
PageTables:         6332 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:    5624664 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150488 kB
VmallocChunk:          0 kB
Percpu:             3808 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1570816 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:      205524 kB
DirectMap2M:     7954432 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 430828 MiB
End job on nodeC021 at 2025-07-11 14:58:57