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