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