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

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: 63794 MiB (62557 MiB free)
  memory of node 1: 64507 MiB (62526 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4527940-1752238738/watcher-4527940-1752238738 -o /tmp/evaluation-result-4527940-1752238738/solver-4527940-1752238738 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC001-1752238731-113182 --watchdog 3760 pb_picat HOME/instance-4527940-1752238738.opb 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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

solver pid=113376, runsolver pid=113373

[startup+0.100067 s]*
/proc/loadavg: 1.38 2.08 3.49 5/254 113377
/proc/meminfo: memFree=128072372/131382112 swapFree=33009904/33010684
[pid=113376] ppid=113373 vsize=2027148 memory=23952 CPUtime=0.08 cores=4,6
/proc/113376/stat : 113376 (pb_picat) R 113373 113376 111409 0 -1 4194304 990 0 0 0 8 0 0 0 20 0 1 0 139552708 2075799552 5988 18446744073709551615 94001816993792 94001818395373 140731869949408 0 0 0 0 0 8389634 0 0 0 17 6 0 0 0 0 0 94001818666800 94001820541040 94001837826048 140731869956508 140731869956584 140731869956584 140731869962188 0
/proc/113376/statm: 506787 5988 1600 343 0 503851 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 2027148 KiB
Current children cumulated memory: 23952 KiB

[startup+0.217368 s]*
/proc/loadavg: 1.38 2.08 3.49 5/254 113377
/proc/meminfo: memFree=128063172/131382112 swapFree=33009904/33010684
[pid=113376] ppid=113373 vsize=2027148 memory=30120 CPUtime=0.18 cores=4,6
/proc/113376/stat : 113376 (pb_picat) R 113373 113376 111409 0 -1 4194304 994 0 0 0 18 0 0 0 20 0 1 0 139552708 2075799552 7530 18446744073709551615 94001816993792 94001818395373 140731869949408 0 0 0 0 0 8389634 0 0 0 17 6 0 0 0 0 0 94001818666800 94001820541040 94001837826048 140731869956508 140731869956584 140731869956584 140731869962188 0
/proc/113376/statm: 506787 7530 1600 343 0 503851 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 2027148 KiB
Current children cumulated memory: 30120 KiB

[startup+0.313028 s]*
/proc/loadavg: 1.38 2.08 3.49 5/254 113377
/proc/meminfo: memFree=128059076/131382112 swapFree=33009904/33010684
[pid=113376] ppid=113373 vsize=2027148 memory=36264 CPUtime=0.28 cores=4,6
/proc/113376/stat : 113376 (pb_picat) R 113373 113376 111409 0 -1 4194304 997 0 0 0 27 1 0 0 20 0 1 0 139552708 2075799552 9066 18446744073709551615 94001816993792 94001818395373 140731869949408 0 0 0 0 0 8389634 0 0 0 17 6 0 0 0 0 0 94001818666800 94001820541040 94001837826048 140731869956508 140731869956584 140731869956584 140731869962188 0
/proc/113376/statm: 506787 9066 1600 343 0 503851 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 2027148 KiB
Current children cumulated memory: 36264 KiB

[startup+0.700143 s]
/proc/loadavg: 1.38 2.08 3.49 5/254 113377
/proc/meminfo: memFree=128046788/131382112 swapFree=33009904/33010684
[pid=113376] ppid=113373 vsize=2027148 memory=62888 CPUtime=0.62 cores=4,6
/proc/113376/stat : 113376 (pb_picat) R 113373 113376 111409 0 -1 4194304 1029 0 0 0 61 1 0 0 20 0 1 0 139552708 2075799552 15722 18446744073709551615 94001816993792 94001818395373 140731869949408 0 0 0 0 0 8389634 0 0 0 17 6 0 0 0 0 0 94001818666800 94001820541040 94001837826048 140731869956508 140731869956584 140731869956584 140731869962188 0
/proc/113376/statm: 506787 15722 1600 343 0 503851 0
Current children cumulated CPU time: 0.62 s
Current children cumulated vsize: 2027148 KiB
Current children cumulated memory: 62888 KiB

[startup+1.50012 s]
/proc/loadavg: 1.38 2.08 3.49 5/254 113377
/proc/meminfo: memFree=128006208/131382112 swapFree=33009904/33010684
[pid=113376] ppid=113373 vsize=2037736 memory=90576 CPUtime=1.41 cores=4,6
/proc/113376/stat : 113376 (pb_picat) R 113373 113376 111409 0 -1 4194304 4743 0 0 0 137 4 0 0 20 0 1 0 139552708 2086641664 22644 18446744073709551615 94001816993792 94001818395373 140731869949408 0 0 0 0 0 8389634 0 0 0 17 6 0 0 0 0 0 94001818666800 94001820541040 94001837826048 140731869956508 140731869956584 140731869956584 140731869962188 0
/proc/113376/statm: 509434 22644 1760 343 0 506498 0
Current children cumulated CPU time: 1.41 s
Current children cumulated vsize: 2037736 KiB
Current children cumulated memory: 90576 KiB

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

# cumulated CPU time of all completed processes:  user=1.62303 s, system=0.051794 s

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

[startup+1.60017 s]
/proc/loadavg: 1.38 2.08 3.49 5/254 113377
/proc/meminfo: memFree=128006208/131382112 swapFree=33009904/33010684
[pid=113376] ppid=113373 vsize=2037736 memory=89944 CPUtime=1.51 cores=4,6
/proc/113376/stat : 113376 (pb_picat) R 113373 113376 111409 0 -1 4194304 5274 0 0 0 147 4 0 0 20 0 1 0 139552708 2086641664 22486 18446744073709551615 94001816993792 94001818395373 140731869949408 0 0 0 0 0 8389634 0 0 0 17 6 0 0 0 0 0 94001818666800 94001820541040 94001837826048 140731869956508 140731869956584 140731869956584 140731869962188 0
/proc/113376/statm: 509434 22486 1760 343 0 506498 0
Current children cumulated CPU time: 1.51 s
Current children cumulated vsize: 2037736 KiB
Current children cumulated memory: 89944 KiB

[startup+1.70011 s]
/proc/loadavg: 1.38 2.08 3.49 5/254 113377
/proc/meminfo: memFree=128006208/131382112 swapFree=33009904/33010684
[pid=113376] ppid=113373 vsize=2037736 memory=90412 CPUtime=1.61 cores=4,6
/proc/113376/stat : 113376 (pb_picat) R 113373 113376 111409 0 -1 4194304 5704 0 0 0 157 4 0 0 20 0 1 0 139552708 2086641664 22603 18446744073709551615 94001816993792 94001818395373 140731869949408 0 0 0 0 0 8389634 0 0 0 17 6 0 0 0 0 0 94001818666800 94001820541040 94001837826048 140731869956508 140731869956584 140731869956584 140731869962188 0
/proc/113376/statm: 509434 22603 1760 343 0 506498 0
Current children cumulated CPU time: 1.61 s
Current children cumulated vsize: 2037736 KiB
Current children cumulated memory: 90412 KiB

Child status: 0

Real time (s): 1.75415
CPU time (s): 1.67482
CPU user time (s): 1.62303
CPU system time (s): 0.051794
CPU usage (%): 95.4779
Max. virtual memory (cumulated for all children) (KiB): 2037736
Max. memory (cumulated for all children) (KiB): 90576

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.62303
system time used= 0.051794
maximum resident set size= 91352
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 5718
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 67
involuntary context switches= 37


# summary of solver processes directly reported to runsolver:
#   pid: 113376
#   total CPU time (s): 1.67482
#   total CPU user time (s): 1.62303
#   total CPU system time (s): 0.051794

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.033589 second user time and 0.065237 second system time

The end

Begin job on nodeC001 at 2025-07-11 14:58:58
IDJOB=4527940
IDBENCH=147760
IDSOLVER=3385
FILE ID=nodeC001/4527940-1752238738
RUNJOBID= nodeC001-1752238731-113182
SLURM_JOB_ID= 9682512
Free space on /tmp= 432492 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-12,16.opb
COMMAND LINE= pb_picat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4527940-1752238738/watcher-4527940-1752238738 -o /tmp/evaluation-result-4527940-1752238738/solver-4527940-1752238738 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC001-1752238731-113182 --watchdog 3760  pb_picat HOME/instance-4527940-1752238738.opb

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

MD5SUM BENCH= 6f51c740b20225a3e31589ba684183f5
RANDOM SEED=1793988001

nodeC001 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	: 0xb00001f
cpu MHz		: 3662.772
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.49
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	: 0xb00001f
cpu MHz		: 3491.718
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.49
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	: 0xb00001f
cpu MHz		: 1197.511
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.49
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	: 0xb00001f
cpu MHz		: 1197.621
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.49
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	: 0xb00001f
cpu MHz		: 1198.019
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.49
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	: 0xb00001f
cpu MHz		: 3691.217
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.49
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	: 0xb00001f
cpu MHz		: 1197.165
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.49
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	: 0xb00001f
cpu MHz		: 1198.055
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.49
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131382112 kB
MemFree:        128085544 kB
MemAvailable:   129606808 kB
Buffers:            1668 kB
Cached:          2303300 kB
SwapCached:          128 kB
Active:           648636 kB
Inactive:        2053628 kB
Active(anon):     387248 kB
Inactive(anon):    27836 kB
Active(file):     261388 kB
Inactive(file):  2025792 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33009904 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             20744 kB
Writeback:             0 kB
AnonPages:        400732 kB
Mapped:           116120 kB
Shmem:             17776 kB
KReclaimable:     147040 kB
Slab:             235160 kB
SReclaimable:     147040 kB
SUnreclaim:        88120 kB
KernelStack:        4096 kB
PageTables:         3876 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701740 kB
Committed_AS:    6507396 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      149416 kB
VmallocChunk:          0 kB
Percpu:             3872 kB
HardwareCorrupted:     0 kB
AnonHugePages:    290816 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:      195400 kB
DirectMap2M:     9144320 kB
DirectMap1G:    126877696 kB

Free space on /tmp at the end= 432488 MiB
End job on nodeC001 at 2025-07-11 14:59:00