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