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

OK	18

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

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

NUMA information:
  number of nodes: 2
  memory of node 0: 63665 MiB (62824 MiB free)
  memory of node 1: 64507 MiB (63917 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4497695-1751394922/watcher-4497695-1751394922 -o /tmp/evaluation-result-4497695-1751394922/solver-4497695-1751394922 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC022-1751394922-57654 --watchdog 3760 pb_picat HOME/instance-4497695-1751394922.opb 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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=57701, runsolver pid=57690

[startup+0.100061 s]*
/proc/loadavg: 0.82 1.77 2.58 6/264 57711
/proc/meminfo: memFree=129710224/131249996 swapFree=33010416/33010684
[pid=57701] ppid=57690 vsize=2027148 memory=38024 CPUtime=0.08 cores=1,3
/proc/57701/stat : 57701 (pb_picat) R 57690 57701 57642 0 -1 4194304 990 0 0 0 8 0 0 0 20 0 1 0 55169947 2075799552 9506 18446744073709551615 93855287947264 93855289348845 140724282199232 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 93855289620272 93855291494576 93855305101312 140724282202526 140724282202602 140724282202602 140724282208204 0
/proc/57701/statm: 506787 9506 1536 343 0 503851 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 2027148 KiB
Current children cumulated memory: 38024 KiB

[startup+0.205528 s]*
/proc/loadavg: 0.82 1.77 2.58 5/264 57711
/proc/meminfo: memFree=129656352/131249996 swapFree=33010416/33010684
[pid=57701] ppid=57690 vsize=2039284 memory=49012 CPUtime=0.19 cores=1,3
/proc/57701/stat : 57701 (pb_picat) R 57690 57701 57642 0 -1 4194304 2556 0 0 0 18 1 0 0 20 0 1 0 55169947 2088226816 12253 18446744073709551615 93855287947264 93855289348845 140724282199232 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 93855289620272 93855291494576 93855305101312 140724282202526 140724282202602 140724282202602 140724282208204 0
/proc/57701/statm: 509821 12253 1696 343 0 506885 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 2039284 KiB
Current children cumulated memory: 49012 KiB

[startup+0.305163 s]*
/proc/loadavg: 0.82 1.77 2.58 5/264 57711
/proc/meminfo: memFree=129622828/131249996 swapFree=33010416/33010684
[pid=57701] ppid=57690 vsize=2037904 memory=48112 CPUtime=0.29 cores=1,3
/proc/57701/stat : 57701 (pb_picat) R 57690 57701 57642 0 -1 4194304 2796 0 0 0 28 1 0 0 20 0 1 0 55169947 2086813696 12028 18446744073709551615 93855287947264 93855289348845 140724282199232 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 93855289620272 93855291494576 93855305101312 140724282202526 140724282202602 140724282202602 140724282208204 0
/proc/57701/statm: 509476 12028 1696 343 0 506540 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 2037904 KiB
Current children cumulated memory: 48112 KiB

[startup+0.700133 s]
/proc/loadavg: 0.82 1.77 2.58 5/264 57711
/proc/meminfo: memFree=129552584/131249996 swapFree=33010416/33010684
[pid=57701] ppid=57690 vsize=2046812 memory=56740 CPUtime=0.68 cores=1,3
/proc/57701/stat : 57701 (pb_picat) R 57690 57701 57642 0 -1 4194304 5697 0 0 0 66 2 0 0 20 0 1 0 55169947 2095935488 14185 18446744073709551615 93855287947264 93855289348845 140724282199232 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 93855289620272 93855291494576 93855305101312 140724282202526 140724282202602 140724282202602 140724282208204 0
/proc/57701/statm: 511703 14185 1696 343 0 508767 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 2046812 KiB
Current children cumulated memory: 56740 KiB

[startup+1.50013 s]
/proc/loadavg: 1.08 1.80 2.59 5/264 57711
/proc/meminfo: memFree=129408976/131249996 swapFree=33010416/33010684
[pid=57701] ppid=57690 vsize=2044764 memory=56548 CPUtime=1.48 cores=1,3
/proc/57701/stat : 57701 (pb_picat) R 57690 57701 57642 0 -1 4194304 7495 0 0 0 146 2 0 0 20 0 1 0 55169947 2093838336 14137 18446744073709551615 93855287947264 93855289348845 140724282199232 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 93855289620272 93855291494576 93855305101312 140724282202526 140724282202602 140724282202602 140724282208204 0
/proc/57701/statm: 511191 14137 1696 343 0 508255 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 2044764 KiB
Current children cumulated memory: 56548 KiB

[startup+3.10527 s]
/proc/loadavg: 1.08 1.80 2.59 5/264 57711
/proc/meminfo: memFree=129067104/131249996 swapFree=33010416/33010684
[pid=57701] ppid=57690 vsize=2049752 memory=58428 CPUtime=3.08 cores=1,3
/proc/57701/stat : 57701 (pb_picat) R 57690 57701 57642 0 -1 4194304 7969 0 0 0 306 2 0 0 20 0 1 0 55169947 2098946048 14607 18446744073709551615 93855287947264 93855289348845 140724282199232 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 93855289620272 93855291494576 93855305101312 140724282202526 140724282202602 140724282202602 140724282208204 0
/proc/57701/statm: 512438 14607 1696 343 0 509502 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 2049752 KiB
Current children cumulated memory: 58428 KiB

[startup+6.30019 s]
/proc/loadavg: 1.31 1.84 2.60 5/264 57711
/proc/meminfo: memFree=128831180/131249996 swapFree=33010416/33010684
[pid=57701] ppid=57690 vsize=2049752 memory=60348 CPUtime=6.27 cores=1,3
/proc/57701/stat : 57701 (pb_picat) R 57690 57701 57642 0 -1 4194304 8457 0 0 0 624 3 0 0 20 0 1 0 55169947 2098946048 15087 18446744073709551615 93855287947264 93855289348845 140724282199232 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 93855289620272 93855291494576 93855305101312 140724282202526 140724282202602 140724282202602 140724282208204 0
/proc/57701/statm: 512438 15087 1696 343 0 509502 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 2049752 KiB
Current children cumulated memory: 60348 KiB

[startup+12.7002 s]
/proc/loadavg: 1.53 1.88 2.60 5/264 57711
/proc/meminfo: memFree=128786972/131249996 swapFree=33010416/33010684
[pid=57701] ppid=57690 vsize=2053852 memory=65212 CPUtime=12.65 cores=1,3
/proc/57701/stat : 57701 (pb_picat) R 57690 57701 57642 0 -1 4194304 10498 0 0 0 1261 4 0 0 20 0 1 0 55169947 2103144448 16303 18446744073709551615 93855287947264 93855289348845 140724282199232 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 93855289620272 93855291494576 93855305101312 140724282202526 140724282202602 140724282202602 140724282208204 0
/proc/57701/statm: 513463 16303 1696 343 0 510527 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 2053852 KiB
Current children cumulated memory: 65212 KiB

[startup+25.5002 s]
/proc/loadavg: 1.91 1.95 2.62 5/264 57711
/proc/meminfo: memFree=128774908/131249996 swapFree=33010416/33010684
[pid=57701] ppid=57690 vsize=2057948 memory=67924 CPUtime=25.41 cores=1,3
/proc/57701/stat : 57701 (pb_picat) R 57690 57701 57642 0 -1 4194304 11293 0 0 0 2537 4 0 0 20 0 1 0 55169947 2107338752 16981 18446744073709551615 93855287947264 93855289348845 140724282199232 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 93855289620272 93855291494576 93855305101312 140724282202526 140724282202602 140724282202602 140724282208204 0
/proc/57701/statm: 514487 16981 1696 343 0 511551 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 2057948 KiB
Current children cumulated memory: 67924 KiB

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

# cumulated CPU time of all completed processes:  user=30.2967 s, system=0.059848 s

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

[startup+25.6002 s]
/proc/loadavg: 1.91 1.95 2.62 5/264 57711
/proc/meminfo: memFree=128774908/131249996 swapFree=33010416/33010684
[pid=57701] ppid=57690 vsize=2057948 memory=67924 CPUtime=25.51 cores=1,3
/proc/57701/stat : 57701 (pb_picat) R 57690 57701 57642 0 -1 4194304 11293 0 0 0 2547 4 0 0 20 0 1 0 55169947 2107338752 16981 18446744073709551615 93855287947264 93855289348845 140724282199232 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 93855289620272 93855291494576 93855305101312 140724282202526 140724282202602 140724282202602 140724282208204 0
/proc/57701/statm: 514487 16981 1696 343 0 511551 0
Current children cumulated CPU time: 25.51 s
Current children cumulated vsize: 2057948 KiB
Current children cumulated memory: 67924 KiB

[startup+28.8001 s]
/proc/loadavg: 2.08 1.98 2.63 5/264 57711
/proc/meminfo: memFree=128774908/131249996 swapFree=33010416/33010684
[pid=57701] ppid=57690 vsize=2046820 memory=57948 CPUtime=28.71 cores=1,3
/proc/57701/stat : 57701 (pb_picat) R 57690 57701 57642 0 -1 4194304 12919 0 0 0 2866 5 0 0 20 0 1 0 55169947 2095943680 14487 18446744073709551615 93855287947264 93855289348845 140724282199232 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 93855289620272 93855291494576 93855305101312 140724282202526 140724282202602 140724282202602 140724282208204 0
/proc/57701/statm: 511705 14487 1696 343 0 508769 0
Current children cumulated CPU time: 28.71 s
Current children cumulated vsize: 2046820 KiB
Current children cumulated memory: 57948 KiB

[startup+29.6002 s]
/proc/loadavg: 2.08 1.98 2.63 5/264 57711
/proc/meminfo: memFree=128774908/131249996 swapFree=33010416/33010684
[pid=57701] ppid=57690 vsize=2046820 memory=57948 CPUtime=29.51 cores=1,3
/proc/57701/stat : 57701 (pb_picat) R 57690 57701 57642 0 -1 4194304 12919 0 0 0 2946 5 0 0 20 0 1 0 55169947 2095943680 14487 18446744073709551615 93855287947264 93855289348845 140724282199232 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 93855289620272 93855291494576 93855305101312 140724282202526 140724282202602 140724282202602 140724282208204 0
/proc/57701/statm: 511705 14487 1696 343 0 508769 0
Current children cumulated CPU time: 29.51 s
Current children cumulated vsize: 2046820 KiB
Current children cumulated memory: 57948 KiB

[startup+30.0001 s]*
/proc/loadavg: 2.08 1.98 2.63 6/264 57711
/proc/meminfo: memFree=128774908/131249996 swapFree=33010416/33010684
[pid=57701] ppid=57690 vsize=2047332 memory=58460 CPUtime=29.91 cores=1,3
/proc/57701/stat : 57701 (pb_picat) R 57690 57701 57642 0 -1 4194304 13028 0 0 0 2986 5 0 0 20 0 1 0 55169947 2096467968 14615 18446744073709551615 93855287947264 93855289348845 140724282199232 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 93855289620272 93855291494576 93855305101312 140724282202526 140724282202602 140724282202602 140724282208204 0
/proc/57701/statm: 511833 14615 1696 343 0 508897 0
Current children cumulated CPU time: 29.91 s
Current children cumulated vsize: 2047332 KiB
Current children cumulated memory: 58460 KiB

[startup+30.4001 s]
/proc/loadavg: 2.08 1.98 2.63 6/264 57711
/proc/meminfo: memFree=128774908/131249996 swapFree=33010416/33010684
[pid=57701] ppid=57690 vsize=2047332 memory=58460 CPUtime=30.31 cores=1,3
/proc/57701/stat : 57701 (pb_picat) R 57690 57701 57642 0 -1 4194304 13028 0 0 0 3026 5 0 0 20 0 1 0 55169947 2096467968 14615 18446744073709551615 93855287947264 93855289348845 140724282199232 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 93855289620272 93855291494576 93855305101312 140724282202526 140724282202602 140724282202602 140724282208204 0
/proc/57701/statm: 511833 14615 1696 343 0 508897 0
Current children cumulated CPU time: 30.31 s
Current children cumulated vsize: 2047332 KiB
Current children cumulated memory: 58460 KiB

Child status: 0

Real time (s): 30.4396
CPU time (s): 30.3565
CPU user time (s): 30.2967
CPU system time (s): 0.059848
CPU usage (%): 99.7272
Max. virtual memory (cumulated for all children) (KiB): 2057948
Max. memory (cumulated for all children) (KiB): 67924

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 30.2967
system time used= 0.059848
maximum resident set size= 67924
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 13032
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= 69
involuntary context switches= 39


# summary of solver processes directly reported to runsolver:
#   pid: 57701
#   total CPU time (s): 30.3565
#   total CPU user time (s): 30.2967
#   total CPU system time (s): 0.059848

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.064401 second user time and 0.167231 second system time

The end

Begin job on nodeC022 at 2025-07-01 20:35:22
IDJOB=4497695
IDBENCH=148191
IDSOLVER=3346
FILE ID=nodeC022/4497695-1751394922
RUNJOBID= nodeC022-1751394922-57654
SLURM_JOB_ID= 9598265
Free space on /tmp= 433056 MiB

SOLVER NAME= Picat 2025-06-16
BENCH NAME= PB24/normalized-PB07/OPT-LIN/submittedPB07/aksoy/decomp/normalized-matrix_5x3_8.opb
COMMAND LINE= pb_picat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4497695-1751394922/watcher-4497695-1751394922 -o /tmp/evaluation-result-4497695-1751394922/solver-4497695-1751394922 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC022-1751394922-57654 --watchdog 3760  pb_picat HOME/instance-4497695-1751394922.opb

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

MD5SUM BENCH= beae51edba02eeda3c8007d8306fd545
RANDOM SEED=989098788

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

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

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3600.171
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.44
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.468
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.44
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		: 3662.236
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.44
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		: 3599.722
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.44
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		: 3605.513
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.44
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3600.689
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.44
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.960
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.44
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.729
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.44
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131249996 kB
MemFree:        129805436 kB
MemAvailable:   129730624 kB
Buffers:            2128 kB
Cached:           727804 kB
SwapCached:           32 kB
Active:           462480 kB
Inactive:         339832 kB
Active(anon):      86212 kB
Inactive(anon):     4196 kB
Active(file):     376268 kB
Inactive(file):   335636 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010416 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             21400 kB
Writeback:             4 kB
AnonPages:         75804 kB
Mapped:           102996 kB
Shmem:             18028 kB
KReclaimable:     104648 kB
Slab:             191956 kB
SReclaimable:     104648 kB
SUnreclaim:        87308 kB
KernelStack:        4036 kB
PageTables:         2528 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:     341304 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150392 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:     18432 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
CmaTotal:              0 kB
CmaFree:               0 kB
Unaccepted:            0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      205524 kB
DirectMap2M:     7954432 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 433032 MiB
End job on nodeC022 at 2025-07-01 20:35:52