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

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

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

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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=14347, runsolver pid=14344

[startup+0.100062 s]*
/proc/loadavg: 3.08 2.51 3.25 5/267 14348
/proc/meminfo: memFree=127580796/131250000 swapFree=33010684/33010684
[pid=14347] ppid=14344 vsize=2027148 memory=36516 CPUtime=0.09 cores=5,7
/proc/14347/stat : 14347 (pb_picat) R 14344 14347 11578 0 -1 4194304 1121 0 0 0 9 0 0 0 20 0 1 0 29790355 2075799552 9129 18446744073709551615 93976284499968 93976285901549 140726076215664 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 93976286172976 93976288047280 93976299798528 140726076217758 140726076217834 140726076217834 140726076223436 0
/proc/14347/statm: 506787 9129 1536 343 0 503851 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 2027148 KiB
Current children cumulated memory: 36516 KiB

[startup+0.205755 s]*
/proc/loadavg: 3.08 2.51 3.25 5/267 14348
/proc/meminfo: memFree=127552188/131250000 swapFree=33010684/33010684
[pid=14347] ppid=14344 vsize=2027148 memory=54948 CPUtime=0.2 cores=5,7
/proc/14347/stat : 14347 (pb_picat) R 14344 14347 11578 0 -1 4194304 1130 0 0 0 19 1 0 0 20 0 1 0 29790355 2075799552 13737 18446744073709551615 93976284499968 93976285901549 140726076215664 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 93976286172976 93976288047280 93976299798528 140726076217758 140726076217834 140726076217834 140726076223436 0
/proc/14347/statm: 506787 13737 1536 343 0 503851 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 2027148 KiB
Current children cumulated memory: 54948 KiB

[startup+0.305688 s]*
/proc/loadavg: 3.08 2.51 3.25 5/267 14348
/proc/meminfo: memFree=127531708/131250000 swapFree=33010684/33010684
[pid=14347] ppid=14344 vsize=2027148 memory=76272 CPUtime=0.29 cores=5,7
/proc/14347/stat : 14347 (pb_picat) R 14344 14347 11578 0 -1 4194304 1291 0 0 0 28 1 0 0 20 0 1 0 29790355 2075799552 19068 18446744073709551615 93976284499968 93976285901549 140726076215664 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 93976286172976 93976288047280 93976299798528 140726076217758 140726076217834 140726076217834 140726076223436 0
/proc/14347/statm: 506787 19068 1600 343 0 503851 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 2027148 KiB
Current children cumulated memory: 76272 KiB

[startup+0.700157 s]
/proc/loadavg: 3.08 2.51 3.25 5/267 14348
/proc/meminfo: memFree=127519420/131250000 swapFree=33010684/33010684
[pid=14347] ppid=14344 vsize=2034688 memory=87492 CPUtime=0.69 cores=5,7
/proc/14347/stat : 14347 (pb_picat) R 14344 14347 11578 0 -1 4194304 4604 0 0 0 66 3 0 0 20 0 1 0 29790355 2083520512 21873 18446744073709551615 93976284499968 93976285901549 140726076215664 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 93976286172976 93976288047280 93976299798528 140726076217758 140726076217834 140726076217834 140726076223436 0
/proc/14347/statm: 508672 21873 1664 343 0 505736 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 2034688 KiB
Current children cumulated memory: 87492 KiB

[startup+1.50016 s]
/proc/loadavg: 3.08 2.51 3.25 5/267 14348
/proc/meminfo: memFree=127511228/131250000 swapFree=33010684/33010684
[pid=14347] ppid=14344 vsize=2037012 memory=88284 CPUtime=1.48 cores=5,7
/proc/14347/stat : 14347 (pb_picat) R 14344 14347 11578 0 -1 4194304 7274 0 0 0 145 3 0 0 20 0 1 0 29790355 2085900288 22071 18446744073709551615 93976284499968 93976285901549 140726076215664 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 93976286172976 93976288047280 93976299798528 140726076217758 140726076217834 140726076217834 140726076223436 0
/proc/14347/statm: 509253 22071 1664 343 0 506317 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 2037012 KiB
Current children cumulated memory: 88284 KiB

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

# cumulated CPU time of all completed processes:  user=1.99934 s, system=0.041854 s

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

[startup+1.60019 s]
/proc/loadavg: 3.08 2.51 3.25 5/267 14348
/proc/meminfo: memFree=127511228/131250000 swapFree=33010684/33010684
[pid=14347] ppid=14344 vsize=2037944 memory=89436 CPUtime=1.58 cores=5,7
/proc/14347/stat : 14347 (pb_picat) R 14344 14347 11578 0 -1 4194304 7612 0 0 0 155 3 0 0 20 0 1 0 29790355 2086854656 22359 18446744073709551615 93976284499968 93976285901549 140726076215664 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 93976286172976 93976288047280 93976299798528 140726076217758 140726076217834 140726076217834 140726076223436 0
/proc/14347/statm: 509486 22359 1664 343 0 506550 0
Current children cumulated CPU time: 1.58 s
Current children cumulated vsize: 2037944 KiB
Current children cumulated memory: 89436 KiB

[startup+2.00014 s]*
/proc/loadavg: 3.15 2.53 3.25 5/267 14348
/proc/meminfo: memFree=127486716/131250000 swapFree=33010684/33010684
[pid=14347] ppid=14344 vsize=2036948 memory=89760 CPUtime=1.98 cores=5,7
/proc/14347/stat : 14347 (pb_picat) R 14344 14347 11578 0 -1 4194304 8663 0 0 0 195 3 0 0 20 0 1 0 29790355 2085834752 22440 18446744073709551615 93976284499968 93976285901549 140726076215664 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 93976286172976 93976288047280 93976299798528 140726076217758 140726076217834 140726076217834 140726076223436 0
/proc/14347/statm: 509237 22440 1664 343 0 506301 0
Current children cumulated CPU time: 1.98 s
Current children cumulated vsize: 2036948 KiB
Current children cumulated memory: 89760 KiB

Child status: 0

Real time (s): 2.05153
CPU time (s): 2.04119
CPU user time (s): 1.99934
CPU system time (s): 0.041854
CPU usage (%): 99.4962
Max. virtual memory (cumulated for all children) (KiB): 2037944
Max. memory (cumulated for all children) (KiB): 89760

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.99934
system time used= 0.041854
maximum resident set size= 90144
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8773
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= 5


# summary of solver processes directly reported to runsolver:
#   pid: 14347
#   total CPU time (s): 2.04119
#   total CPU user time (s): 1.99934
#   total CPU system time (s): 0.041854

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.012156 second user time and 0.051264 second system time

The end

Begin job on nodeC028 at 2025-06-28 22:14:38
IDJOB=4491965
IDBENCH=147755
IDSOLVER=3346
FILE ID=nodeC028/4491965-1751141678
RUNJOBID= nodeC028-1751141617-13750
SLURM_JOB_ID= 9587428
Free space on /tmp= 433020 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-13.opb
COMMAND LINE= pb_picat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4491965-1751141678/watcher-4491965-1751141678 -o /tmp/evaluation-result-4491965-1751141678/solver-4491965-1751141678 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC028-1751141617-13750 --watchdog 3760  pb_picat HOME/instance-4491965-1751141678.opb

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

MD5SUM BENCH= 0255b3d891da2276599e5fcb43348962
RANDOM SEED=436279511

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.086
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.040
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		: 3493.100
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		: 3600.368
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		: 3600.145
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.081
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		: 3598.794
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		: 3405.118
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:        127605052 kB
MemAvailable:   127224608 kB
Buffers:            3280 kB
Cached:           404596 kB
SwapCached:            0 kB
Active:          2850276 kB
Inactive:         182852 kB
Active(anon):    2643320 kB
Inactive(anon):        0 kB
Active(file):     206956 kB
Inactive(file):   182852 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:              4872 kB
Writeback:             0 kB
AnonPages:       2624612 kB
Mapped:           113224 kB
Shmem:             18068 kB
KReclaimable:      84664 kB
Slab:             167184 kB
SReclaimable:      84664 kB
SUnreclaim:        82520 kB
KernelStack:        4304 kB
PageTables:         8440 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635684 kB
Committed_AS:    8215088 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150552 kB
VmallocChunk:          0 kB
Percpu:             3712 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2365440 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= 433016 MiB
End job on nodeC028 at 2025-06-28 22:14:41