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

OK	0

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

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

NUMA information:
  number of nodes: 2
  memory of node 0: 63931 MiB (60290 MiB free)
  memory of node 1: 64510 MiB (60105 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4447192-1721334802/watcher-4447192-1721334802 -o /tmp/evaluation-result-4447192-1721334802/solver-4447192-1721334802 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1721329244-992563 --watchdog 3760 pb_picat HOME/instance-4447192-1721334802.opb 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=996480, runsolver pid=996477

[startup+0.100135 s]*
/proc/loadavg: 4.18 4.13 4.10 5/257 996481
/proc/meminfo: memFree=123253580/131524600 swapFree=131071996/131071996
[pid=996480] ppid=996477 vsize=2035616 memory=32552 CPUtime=0.09 cores=5,7
/proc/996480/stat : 996480 (pb_picat) R 996477 996480 992550 0 -1 4194304 1103 0 0 0 9 0 0 0 20 0 1 0 185649933 2084470784 8138 134679101440 4194304 5989780 140721470868656 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 24334336 140721470874648 140721470874724 140721470874724 140721470881740 0
/proc/996480/statm: 508904 8138 1676 439 0 504333 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 2035616 KiB
Current children cumulated memory: 32552 KiB

[startup+0.205452 s]*
/proc/loadavg: 4.18 4.13 4.10 5/257 996481
/proc/meminfo: memFree=123252464/131524600 swapFree=131071996/131071996
[pid=996480] ppid=996477 vsize=2036012 memory=32920 CPUtime=0.19 cores=5,7
/proc/996480/stat : 996480 (pb_picat) R 996477 996480 992550 0 -1 4194304 1977 0 0 0 19 0 0 0 20 0 1 0 185649933 2084876288 8230 134679101440 4194304 5989780 140721470868656 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 24334336 140721470874648 140721470874724 140721470874724 140721470881740 0
/proc/996480/statm: 509003 8230 1676 439 0 504432 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 2036012 KiB
Current children cumulated memory: 32920 KiB

[startup+0.305548 s]*
/proc/loadavg: 4.18 4.13 4.10 5/257 996481
/proc/meminfo: memFree=123245772/131524600 swapFree=131071996/131071996
[pid=996480] ppid=996477 vsize=2036012 memory=32892 CPUtime=0.29 cores=5,7
/proc/996480/stat : 996480 (pb_picat) R 996477 996480 992550 0 -1 4194304 2200 0 0 0 29 0 0 0 20 0 1 0 185649933 2084876288 8223 134679101440 4194304 5989780 140721470868656 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 24334336 140721470874648 140721470874724 140721470874724 140721470881740 0
/proc/996480/statm: 509003 8223 1676 439 0 504432 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 2036012 KiB
Current children cumulated memory: 32892 KiB

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

# cumulated CPU time of all completed processes:  user=0.457722 s, system=0.017911 s

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

[startup+0.405414 s]*
/proc/loadavg: 4.18 4.13 4.10 5/257 996481
/proc/meminfo: memFree=123239196/131524600 swapFree=131071996/131071996
[pid=996480] ppid=996477 vsize=2040108 memory=35528 CPUtime=0.39 cores=5,7
/proc/996480/stat : 996480 (pb_picat) R 996477 996480 992550 0 -1 4194304 2864 0 0 0 39 0 0 0 20 0 1 0 185649933 2089070592 8882 134679101440 4194304 5989780 140721470868656 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 24334336 140721470874648 140721470874724 140721470874724 140721470881740 0
/proc/996480/statm: 510027 8882 1676 439 0 505456 0
Current children cumulated CPU time: 0.39 s
Current children cumulated vsize: 2040108 KiB
Current children cumulated memory: 35528 KiB

Child status: 0

Real time (s): 0.482399
CPU time (s): 0.475633
CPU user time (s): 0.457722
CPU system time (s): 0.017911
CPU usage (%): 98.5975
Max. virtual memory (cumulated for all children) (KiB): 2040108
Max. memory (cumulated for all children) (KiB): 35528

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.457722
system time used= 0.017911
maximum resident set size= 36764
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3398
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4
involuntary context switches= 5


# summary of solver processes directly reported to runsolver:
#   pid: 996480
#   total CPU time (s): 0.475633
#   total CPU user time (s): 0.457722
#   total CPU system time (s): 0.017911

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.011091 second user time and 0.029046 second system time

The end

Begin job on nodeC033 at 2024-07-18 22:33:34
IDJOB=4447192
IDBENCH=158370
IDSOLVER=3068
FILE ID=nodeC033/4447192-1721334802
RUNJOBID= nodeC033-1721329244-992563
SLURM_JOB_ID= 7542695
Free space on /tmp= 890072 MiB

SOLVER NAME= Picat 2024-06-18
BENCH NAME= PB24/normalized-PB12/DEC-LIN/sroussel/ShortestPathBA/normalized-BeauxArts_K70.opb
COMMAND LINE= pb_picat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4447192-1721334802/watcher-4447192-1721334802 -o /tmp/evaluation-result-4447192-1721334802/solver-4447192-1721334802 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1721329244-992563 --watchdog 3760  pb_picat HOME/instance-4447192-1721334802.opb

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

MD5SUM BENCH= 50081d64c9df1fe5f37c653f2c9a5c32
RANDOM SEED=1902244607

nodeC033.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021

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

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

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


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        123285304 kB
MemAvailable:   129212616 kB
Buffers:          534404 kB
Cached:          6163564 kB
SwapCached:            0 kB
Active:           979544 kB
Inactive:        6488688 kB
Active(anon):       1580 kB
Inactive(anon):   814272 kB
Active(file):     977964 kB
Inactive(file):  5674416 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:              3800 kB
Writeback:            12 kB
AnonPages:        766604 kB
Mapped:           115996 kB
Shmem:             45908 kB
KReclaimable:     229160 kB
Slab:             355952 kB
SReclaimable:     229160 kB
SUnreclaim:       126792 kB
KernelStack:        4108 kB
PageTables:        10772 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:    7139864 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            68768 kB
HardwareCorrupted:     0 kB
AnonHugePages:    534528 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      273108 kB
DirectMap2M:    28860416 kB
DirectMap1G:    106954752 kB

Free space on /tmp at the end= 890068 MiB
End job on nodeC033 at 2024-07-18 22:33:35