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