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

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: 63708 MiB (63102 MiB free)
  memory of node 1: 64465 MiB (63794 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4492145-1751141827/watcher-4492145-1751141827 -o /tmp/evaluation-result-4492145-1751141827/solver-4492145-1751141827 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC028-1751141617-13748 --watchdog 3760 pb_picat HOME/instance-4492145-1751141827.opb 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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

solver pid=14615, runsolver pid=14611

[startup+0.100062 s]*
/proc/loadavg: 4.10 3.17 3.39 5/264 14627
/proc/meminfo: memFree=129902064/131250000 swapFree=33010684/33010684
[pid=14615] ppid=14611 vsize=2027148 memory=36484 CPUtime=0.08 cores=4,6
/proc/14615/stat : 14615 (pb_picat) R 14611 14615 11578 0 -1 4194304 1124 0 0 0 8 0 0 0 20 0 1 0 29805234 2075799552 9121 18446744073709551615 94671558815744 94671560217325 140730956927648 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94671560488752 94671562363056 94671590768640 140730956933534 140730956933610 140730956933610 140730956939212 0
/proc/14615/statm: 506787 9121 1536 343 0 503851 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 2027148 KiB
Current children cumulated memory: 36484 KiB

[startup+0.205367 s]*
/proc/loadavg: 4.10 3.17 3.39 5/264 14627
/proc/meminfo: memFree=129858408/131250000 swapFree=33010684/33010684
[pid=14615] ppid=14611 vsize=2027148 memory=54916 CPUtime=0.2 cores=4,6
/proc/14615/stat : 14615 (pb_picat) R 14611 14615 11578 0 -1 4194304 1133 0 0 0 19 1 0 0 20 0 1 0 29805234 2075799552 13729 18446744073709551615 94671558815744 94671560217325 140730956927648 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94671560488752 94671562363056 94671590768640 140730956933534 140730956933610 140730956933610 140730956939212 0
/proc/14615/statm: 506787 13729 1536 343 0 503851 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 2027148 KiB
Current children cumulated memory: 54916 KiB

[startup+0.305019 s]*
/proc/loadavg: 4.10 3.17 3.39 5/264 14627
/proc/meminfo: memFree=129834148/131250000 swapFree=33010684/33010684
[pid=14615] ppid=14611 vsize=2027148 memory=75984 CPUtime=0.29 cores=4,6
/proc/14615/stat : 14615 (pb_picat) R 14611 14615 11578 0 -1 4194304 1291 0 0 0 28 1 0 0 20 0 1 0 29805234 2075799552 18996 18446744073709551615 94671558815744 94671560217325 140730956927648 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94671560488752 94671562363056 94671590768640 140730956933534 140730956933610 140730956933610 140730956939212 0
/proc/14615/statm: 506787 18996 1536 343 0 503851 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 2027148 KiB
Current children cumulated memory: 75984 KiB

[startup+0.700115 s]
/proc/loadavg: 4.10 3.17 3.39 5/264 14627
/proc/meminfo: memFree=129829860/131250000 swapFree=33010684/33010684
[pid=14615] ppid=14611 vsize=2037736 memory=90668 CPUtime=0.68 cores=4,6
/proc/14615/stat : 14615 (pb_picat) R 14611 14615 11578 0 -1 4194304 4856 0 0 0 65 3 0 0 20 0 1 0 29805234 2086641664 22667 18446744073709551615 94671558815744 94671560217325 140730956927648 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94671560488752 94671562363056 94671590768640 140730956933534 140730956933610 140730956933610 140730956939212 0
/proc/14615/statm: 509434 22667 1664 343 0 506498 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 2037736 KiB
Current children cumulated memory: 90668 KiB

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

# cumulated CPU time of all completed processes:  user=0.954529 s, system=0.041726 s

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

[startup+0.800156 s]
/proc/loadavg: 4.10 3.17 3.39 5/264 14627
/proc/meminfo: memFree=129829860/131250000 swapFree=33010684/33010684
[pid=14615] ppid=14611 vsize=2037736 memory=90668 CPUtime=0.78 cores=4,6
/proc/14615/stat : 14615 (pb_picat) R 14611 14615 11578 0 -1 4194304 4871 0 0 0 75 3 0 0 20 0 1 0 29805234 2086641664 22667 18446744073709551615 94671558815744 94671560217325 140730956927648 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94671560488752 94671562363056 94671590768640 140730956933534 140730956933610 140730956933610 140730956939212 0
/proc/14615/statm: 509434 22667 1664 343 0 506498 0
Current children cumulated CPU time: 0.78 s
Current children cumulated vsize: 2037736 KiB
Current children cumulated memory: 90668 KiB

[startup+0.900099 s]
/proc/loadavg: 4.10 3.17 3.39 5/264 14627
/proc/meminfo: memFree=129829860/131250000 swapFree=33010684/33010684
[pid=14615] ppid=14611 vsize=2037736 memory=90420 CPUtime=0.88 cores=4,6
/proc/14615/stat : 14615 (pb_picat) R 14611 14615 11578 0 -1 4194304 5490 0 0 0 85 3 0 0 20 0 1 0 29805234 2086641664 22605 18446744073709551615 94671558815744 94671560217325 140730956927648 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94671560488752 94671562363056 94671590768640 140730956933534 140730956933610 140730956933610 140730956939212 0
/proc/14615/statm: 509434 22605 1664 343 0 506498 0
Current children cumulated CPU time: 0.88 s
Current children cumulated vsize: 2037736 KiB
Current children cumulated memory: 90420 KiB

Child status: 0

Real time (s): 1.00417
CPU time (s): 0.996255
CPU user time (s): 0.954529
CPU system time (s): 0.041726
CPU usage (%): 99.2119
Max. virtual memory (cumulated for all children) (KiB): 2037736
Max. memory (cumulated for all children) (KiB): 90668

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.954529
system time used= 0.041726
maximum resident set size= 91444
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 5844
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= 67
involuntary context switches= 4


# summary of solver processes directly reported to runsolver:
#   pid: 14615
#   total CPU time (s): 0.996255
#   total CPU user time (s): 0.954529
#   total CPU system time (s): 0.041726

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.016854 second user time and 0.028747 second system time

The end

Begin job on nodeC028 at 2025-06-28 22:17:07
IDJOB=4492145
IDBENCH=147760
IDSOLVER=3346
FILE ID=nodeC028/4492145-1751141827
RUNJOBID= nodeC028-1751141617-13748
SLURM_JOB_ID= 9587428
Free space on /tmp= 433044 MiB

SOLVER NAME= Picat 2025-06-16
BENCH NAME= PB24/normalized-PB06/DEC-LIN/web/www.ps.uni-sb.de/~walser/benchmarks/ppp-problems/normalized-ppp:1-12,16.opb
COMMAND LINE= pb_picat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4492145-1751141827/watcher-4492145-1751141827 -o /tmp/evaluation-result-4492145-1751141827/solver-4492145-1751141827 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC028-1751141617-13748 --watchdog 3760  pb_picat HOME/instance-4492145-1751141827.opb

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

MD5SUM BENCH= 6f51c740b20225a3e31589ba684183f5
RANDOM SEED=1460898103

nodeC028 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.164
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.16
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.154
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.16
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.816
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.16
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		: 3569.469
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt 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.16
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		: 3602.822
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.16
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.087
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.16
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.111
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.16
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		: 3539.767
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.16
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131250000 kB
MemFree:        129942700 kB
MemAvailable:   129547180 kB
Buffers:            3280 kB
Cached:           374508 kB
SwapCached:            0 kB
Active:           553620 kB
Inactive:         152720 kB
Active(anon):     346664 kB
Inactive(anon):        0 kB
Active(file):     206956 kB
Inactive(file):   152720 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:              4908 kB
Writeback:             0 kB
AnonPages:        331820 kB
Mapped:           109572 kB
Shmem:             18068 kB
KReclaimable:      84640 kB
Slab:             167144 kB
SReclaimable:      84640 kB
SUnreclaim:        82504 kB
KernelStack:        4156 kB
PageTables:         3832 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635684 kB
Committed_AS:    4475716 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150488 kB
VmallocChunk:          0 kB
Percpu:             3712 kB
HardwareCorrupted:     0 kB
AnonHugePages:    229376 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:      197332 kB
DirectMap2M:     7962624 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 433044 MiB
End job on nodeC028 at 2025-06-28 22:17:08