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

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: 63665 MiB (57623 MiB free)
  memory of node 1: 64507 MiB (60736 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4527942-1752238736/watcher-4527942-1752238736 -o /tmp/evaluation-result-4527942-1752238736/solver-4527942-1752238736 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC021-1752238730-113588 --watchdog 3760 pb_picat HOME/instance-4527942-1752238736.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
solver pid=113826, runsolver pid=113823
Current StackSize limit: 8192 KiB


[startup+0.10006 s]*
/proc/loadavg: 1.32 1.48 2.87 5/265 113827
/proc/meminfo: memFree=121172460/131249996 swapFree=33003468/33010684
[pid=113826] ppid=113823 vsize=2027148 memory=36460 CPUtime=0.08 cores=4,6
/proc/113826/stat : 113826 (pb_picat) R 113823 113826 111934 0 -1 4194304 1092 0 0 0 8 0 0 0 20 0 1 0 139551241 2075799552 9115 18446744073709551615 94804267614208 94804269015789 140724015321808 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94804269287216 94804271161456 94804307550208 140724015327644 140724015327720 140724015327720 140724015333324 0
/proc/113826/statm: 506787 9115 1568 343 0 503851 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 2027148 KiB
Current children cumulated memory: 36460 KiB

[startup+0.20553 s]*
/proc/loadavg: 1.32 1.48 2.87 5/265 113827
/proc/meminfo: memFree=121168364/131249996 swapFree=33003468/33010684
[pid=113826] ppid=113823 vsize=2027148 memory=54952 CPUtime=0.2 cores=4,6
/proc/113826/stat : 113826 (pb_picat) R 113823 113826 111934 0 -1 4194304 1101 0 0 0 19 1 0 0 20 0 1 0 139551241 2075799552 13738 18446744073709551615 94804267614208 94804269015789 140724015321808 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94804269287216 94804271161456 94804307550208 140724015327644 140724015327720 140724015327720 140724015333324 0
/proc/113826/statm: 506787 13738 1568 343 0 503851 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 2027148 KiB
Current children cumulated memory: 54952 KiB

[startup+0.305468 s]*
/proc/loadavg: 1.32 1.48 2.87 5/265 113827
/proc/meminfo: memFree=121147884/131249996 swapFree=33003468/33010684
[pid=113826] ppid=113823 vsize=2027292 memory=78580 CPUtime=0.29 cores=4,6
/proc/113826/stat : 113826 (pb_picat) R 113823 113826 111934 0 -1 4194304 1291 0 0 0 28 1 0 0 20 0 1 0 139551241 2075947008 19645 18446744073709551615 94804267614208 94804269015789 140724015321808 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94804269287216 94804271161456 94804307550208 140724015327644 140724015327720 140724015327720 140724015333324 0
/proc/113826/statm: 506823 19645 1696 343 0 503887 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 2027292 KiB
Current children cumulated memory: 78580 KiB

[startup+0.700111 s]
/proc/loadavg: 1.32 1.48 2.87 5/265 113827
/proc/meminfo: memFree=121143048/131249996 swapFree=33003468/33010684
[pid=113826] ppid=113823 vsize=2037736 memory=88368 CPUtime=0.68 cores=4,6
/proc/113826/stat : 113826 (pb_picat) R 113823 113826 111934 0 -1 4194304 4623 0 0 0 66 2 0 0 20 0 1 0 139551241 2086641664 22092 18446744073709551615 94804267614208 94804269015789 140724015321808 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94804269287216 94804271161456 94804307550208 140724015327644 140724015327720 140724015327720 140724015333324 0
/proc/113826/statm: 509434 22092 1728 343 0 506498 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 2037736 KiB
Current children cumulated memory: 88368 KiB

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

# cumulated CPU time of all completed processes:  user=0.93257 s, system=0.031795 s

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

[startup+0.800118 s]
/proc/loadavg: 1.32 1.48 2.87 5/265 113827
/proc/meminfo: memFree=121143048/131249996 swapFree=33003468/33010684
[pid=113826] ppid=113823 vsize=2037736 memory=88496 CPUtime=0.78 cores=4,6
/proc/113826/stat : 113826 (pb_picat) R 113823 113826 111934 0 -1 4194304 4640 0 0 0 76 2 0 0 20 0 1 0 139551241 2086641664 22124 18446744073709551615 94804267614208 94804269015789 140724015321808 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94804269287216 94804271161456 94804307550208 140724015327644 140724015327720 140724015327720 140724015333324 0
/proc/113826/statm: 509434 22124 1728 343 0 506498 0
Current children cumulated CPU time: 0.78 s
Current children cumulated vsize: 2037736 KiB
Current children cumulated memory: 88496 KiB

[startup+0.900088 s]
/proc/loadavg: 1.32 1.48 2.87 5/265 113827
/proc/meminfo: memFree=121143048/131249996 swapFree=33003468/33010684
[pid=113826] ppid=113823 vsize=2038660 memory=89244 CPUtime=0.88 cores=4,6
/proc/113826/stat : 113826 (pb_picat) R 113823 113826 111934 0 -1 4194304 5559 0 0 0 86 2 0 0 20 0 1 0 139551241 2087587840 22311 18446744073709551615 94804267614208 94804269015789 140724015321808 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94804269287216 94804271161456 94804307550208 140724015327644 140724015327720 140724015327720 140724015333324 0
/proc/113826/statm: 509665 22311 1728 343 0 506729 0
Current children cumulated CPU time: 0.88 s
Current children cumulated vsize: 2038660 KiB
Current children cumulated memory: 89244 KiB

Child status: 0

Real time (s): 0.976565
CPU time (s): 0.964365
CPU user time (s): 0.93257
CPU system time (s): 0.031795
CPU usage (%): 98.7507
Max. virtual memory (cumulated for all children) (KiB): 2038660
Max. memory (cumulated for all children) (KiB): 89244

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.93257
system time used= 0.031795
maximum resident set size= 89244
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 5587
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: 113826
#   total CPU time (s): 0.964365
#   total CPU user time (s): 0.93257
#   total CPU system time (s): 0.031795

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.017296 second user time and 0.032554 second system time

The end

Begin job on nodeC021 at 2025-07-11 14:58:56
IDJOB=4527942
IDBENCH=147758
IDSOLVER=3385
FILE ID=nodeC021/4527942-1752238736
RUNJOBID= nodeC021-1752238730-113588
SLURM_JOB_ID= 9682532
Free space on /tmp= 430832 MiB

SOLVER NAME= pb_picat 2025-07-11
BENCH NAME= PB24/normalized-PB06/DEC-LIN/web/www.ps.uni-sb.de/~walser/benchmarks/ppp-problems/normalized-ppp:1,3-13,19.opb
COMMAND LINE= pb_picat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4527942-1752238736/watcher-4527942-1752238736 -o /tmp/evaluation-result-4527942-1752238736/solver-4527942-1752238736 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC021-1752238730-113588 --watchdog 3760  pb_picat HOME/instance-4527942-1752238736.opb

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

MD5SUM BENCH= d1aade7dcf65cc3dbe16a05e614ec6ef
RANDOM SEED=473556025

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

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


/proc/meminfo:
MemTotal:       131249996 kB
MemFree:        121200816 kB
MemAvailable:   127867112 kB
Buffers:            1056 kB
Cached:          7397248 kB
SwapCached:           32 kB
Active:          2342596 kB
Inactive:        6927616 kB
Active(anon):    1845600 kB
Inactive(anon):    39764 kB
Active(file):     496996 kB
Inactive(file):  6887852 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33003468 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             36256 kB
Writeback:             4 kB
AnonPages:       1875128 kB
Mapped:           111732 kB
Shmem:             13452 kB
KReclaimable:     240972 kB
Slab:             335068 kB
SReclaimable:     240972 kB
SUnreclaim:        94096 kB
KernelStack:        4336 kB
PageTables:         6912 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:    7729468 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150536 kB
VmallocChunk:          0 kB
Percpu:             3808 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1675264 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
CmaTotal:              0 kB
CmaFree:               0 kB
Unaccepted:            0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      205524 kB
DirectMap2M:     7954432 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 430828 MiB
End job on nodeC021 at 2025-07-11 14:58:57