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

OK	2520

runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 2
  memory of node 0: 63708 MiB (61256 MiB free)
  memory of node 1: 64465 MiB (62030 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4521673-1751582819/watcher-4521673-1751582819 -o /tmp/evaluation-result-4521673-1751582819/solver-4521673-1751582819 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC026-1751578635-80431 --watchdog 3760 pb_picat HOME/instance-4521673-1751582819.opb 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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

solver pid=81339, runsolver pid=81336

[startup+0.10006 s]*
/proc/loadavg: 4.09 4.11 4.06 5/266 81340
/proc/meminfo: memFree=126225320/131250000 swapFree=33010672/33010684
[pid=81339] ppid=81336 vsize=2034964 memory=34728 CPUtime=0.09 cores=5,7
/proc/81339/stat : 81339 (pb_picat) R 81336 81339 80418 0 -1 4194304 1123 0 0 0 8 1 0 0 20 0 1 0 73960548 2083803136 8682 18446744073709551615 94757699203072 94757700604653 140728055154336 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94757700876080 94757702750384 94757714534400 140728055163294 140728055163370 140728055163370 140728055168972 0
/proc/81339/statm: 508741 8682 1600 343 0 505805 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 2034964 KiB
Current children cumulated memory: 34728 KiB

[startup+0.205108 s]*
/proc/loadavg: 4.09 4.11 4.06 6/266 81340
/proc/meminfo: memFree=126219020/131250000 swapFree=33010672/33010684
[pid=81339] ppid=81336 vsize=2050640 memory=54952 CPUtime=0.19 cores=5,7
/proc/81339/stat : 81339 (pb_picat) R 81336 81339 80418 0 -1 4194304 4743 0 0 0 18 1 0 0 20 0 1 0 73960548 2099855360 13706 18446744073709551615 94757699203072 94757700604653 140728055154336 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94757700876080 94757702750384 94757714534400 140728055163294 140728055163370 140728055163370 140728055168972 0
/proc/81339/statm: 512660 13706 1696 343 0 509724 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 2050640 KiB
Current children cumulated memory: 54952 KiB

[startup+0.305563 s]*
/proc/loadavg: 4.09 4.11 4.06 5/266 81340
/proc/meminfo: memFree=126217004/131250000 swapFree=33010672/33010684
[pid=81339] ppid=81336 vsize=2055360 memory=58076 CPUtime=0.29 cores=5,7
/proc/81339/stat : 81339 (pb_picat) R 81336 81339 80418 0 -1 4194304 6194 0 0 0 27 2 0 0 20 0 1 0 73960548 2104688640 14519 18446744073709551615 94757699203072 94757700604653 140728055154336 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94757700876080 94757702750384 94757714534400 140728055163294 140728055163370 140728055163370 140728055168972 0
/proc/81339/statm: 513840 14519 1696 343 0 510904 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 2055360 KiB
Current children cumulated memory: 58076 KiB

[startup+0.700139 s]
/proc/loadavg: 4.09 4.11 4.06 5/266 81340
/proc/meminfo: memFree=126217004/131250000 swapFree=33010672/33010684
[pid=81339] ppid=81336 vsize=2051016 memory=54288 CPUtime=0.68 cores=5,7
/proc/81339/stat : 81339 (pb_picat) R 81336 81339 80418 0 -1 4194304 8203 0 0 0 66 2 0 0 20 0 1 0 73960548 2100240384 13572 18446744073709551615 94757699203072 94757700604653 140728055154336 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94757700876080 94757702750384 94757714534400 140728055163294 140728055163370 140728055163370 140728055168972 0
/proc/81339/statm: 512754 13572 1696 343 0 509818 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 2051016 KiB
Current children cumulated memory: 54288 KiB

[startup+1.50014 s]
/proc/loadavg: 4.09 4.11 4.06 5/266 81340
/proc/meminfo: memFree=126217004/131250000 swapFree=33010672/33010684
[pid=81339] ppid=81336 vsize=2049344 memory=54100 CPUtime=1.48 cores=5,7
/proc/81339/stat : 81339 (pb_picat) R 81336 81339 80418 0 -1 4194304 11711 0 0 0 145 3 0 0 20 0 1 0 73960548 2098528256 13525 18446744073709551615 94757699203072 94757700604653 140728055154336 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94757700876080 94757702750384 94757714534400 140728055163294 140728055163370 140728055163370 140728055168972 0
/proc/81339/statm: 512336 13525 1696 343 0 509400 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 2049344 KiB
Current children cumulated memory: 54100 KiB

[startup+3.10539 s]
/proc/loadavg: 4.08 4.10 4.06 4/262 81348
/proc/meminfo: memFree=126257424/131250000 swapFree=33010672/33010684
[pid=81339] ppid=81336 vsize=2047156 memory=54280 CPUtime=3.08 cores=5,7
/proc/81339/stat : 81339 (pb_picat) R 81336 81339 80418 0 -1 4194304 15290 0 0 0 304 4 0 0 20 0 1 0 73960548 2096287744 13570 18446744073709551615 94757699203072 94757700604653 140728055154336 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94757700876080 94757702750384 94757714534400 140728055163294 140728055163370 140728055163370 140728055168972 0
/proc/81339/statm: 511789 13570 1696 343 0 508853 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 2047156 KiB
Current children cumulated memory: 54280 KiB

[startup+6.30014 s]
/proc/loadavg: 4.08 4.10 4.06 5/266 81385
/proc/meminfo: memFree=126228172/131250000 swapFree=33010672/33010684
[pid=81339] ppid=81336 vsize=2060480 memory=64132 CPUtime=6.26 cores=5,7
/proc/81339/stat : 81339 (pb_picat) R 81336 81339 80418 0 -1 4194304 27591 0 0 0 621 5 0 0 20 0 1 0 73960548 2109931520 16033 18446744073709551615 94757699203072 94757700604653 140728055154336 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94757700876080 94757702750384 94757714534400 140728055163294 140728055163370 140728055163370 140728055168972 0
/proc/81339/statm: 515120 16033 1696 343 0 512184 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 2060480 KiB
Current children cumulated memory: 64132 KiB

[startup+12.7001 s]
/proc/loadavg: 4.08 4.10 4.06 5/265 81385
/proc/meminfo: memFree=126249808/131250000 swapFree=33010672/33010684
[pid=81339] ppid=81336 vsize=2065208 memory=72080 CPUtime=12.65 cores=5,7
/proc/81339/stat : 81339 (pb_picat) R 81336 81339 80418 0 -1 4194304 35750 0 0 0 1257 8 0 0 20 0 1 0 73960548 2114772992 18020 18446744073709551615 94757699203072 94757700604653 140728055154336 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94757700876080 94757702750384 94757714534400 140728055163294 140728055163370 140728055163370 140728055168972 0
/proc/81339/statm: 516302 18020 1696 343 0 513366 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 2065208 KiB
Current children cumulated memory: 72080 KiB

[startup+25.5002 s]
/proc/loadavg: 4.13 4.11 4.07 5/265 81431
/proc/meminfo: memFree=126230356/131250000 swapFree=33010672/33010684
[pid=81339] ppid=81336 vsize=2065208 memory=70032 CPUtime=25.42 cores=5,7
/proc/81339/stat : 81339 (pb_picat) R 81336 81339 80418 0 -1 4194304 39783 0 0 0 2533 9 0 0 20 0 1 0 73960548 2114772992 17508 18446744073709551615 94757699203072 94757700604653 140728055154336 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94757700876080 94757702750384 94757714534400 140728055163294 140728055163370 140728055163370 140728055168972 0
/proc/81339/statm: 516302 17508 1696 343 0 513366 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 2065208 KiB
Current children cumulated memory: 70032 KiB

[startup+51.1054 s]
/proc/loadavg: 4.16 4.12 4.07 5/264 81431
/proc/meminfo: memFree=126227560/131250000 swapFree=33010672/33010684
[pid=81339] ppid=81336 vsize=2065344 memory=71948 CPUtime=50.96 cores=5,7
/proc/81339/stat : 81339 (pb_picat) R 81336 81339 80418 0 -1 4194304 45072 0 0 0 5085 11 0 0 20 0 1 0 73960548 2114912256 17987 18446744073709551615 94757699203072 94757700604653 140728055154336 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94757700876080 94757702750384 94757714534400 140728055163294 140728055163370 140728055163370 140728055168972 0
/proc/81339/statm: 516336 17987 1696 343 0 513400 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 2065344 KiB
Current children cumulated memory: 71948 KiB

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

# cumulated CPU time of all completed processes:  user=90.81 s, system=0.142587 s

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

[startup+51.2002 s]
/proc/loadavg: 4.16 4.12 4.07 5/264 81431
/proc/meminfo: memFree=126227560/131250000 swapFree=33010672/33010684
[pid=81339] ppid=81336 vsize=2065344 memory=71948 CPUtime=51.05 cores=5,7
/proc/81339/stat : 81339 (pb_picat) R 81336 81339 80418 0 -1 4194304 45072 0 0 0 5094 11 0 0 20 0 1 0 73960548 2114912256 17987 18446744073709551615 94757699203072 94757700604653 140728055154336 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94757700876080 94757702750384 94757714534400 140728055163294 140728055163370 140728055163370 140728055168972 0
/proc/81339/statm: 516336 17987 1696 343 0 513400 0
Current children cumulated CPU time: 51.05 s
Current children cumulated vsize: 2065344 KiB
Current children cumulated memory: 71948 KiB

[startup+76.8001 s]
/proc/loadavg: 4.11 4.11 4.07 5/264 81431
/proc/meminfo: memFree=126218928/131250000 swapFree=33010672/33010684
[pid=81339] ppid=81336 vsize=2063296 memory=72008 CPUtime=76.59 cores=5,7
/proc/81339/stat : 81339 (pb_picat) R 81336 81339 80418 0 -1 4194304 50812 0 0 0 7646 13 0 0 20 0 1 0 73960548 2112815104 18002 18446744073709551615 94757699203072 94757700604653 140728055154336 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94757700876080 94757702750384 94757714534400 140728055163294 140728055163370 140728055163370 140728055168972 0
/proc/81339/statm: 515824 18002 1696 343 0 512888 0
Current children cumulated CPU time: 76.59 s
Current children cumulated vsize: 2063296 KiB
Current children cumulated memory: 72008 KiB

[startup+83.2001 s]
/proc/loadavg: 4.09 4.11 4.07 5/264 81433
/proc/meminfo: memFree=126215132/131250000 swapFree=33010672/33010684
[pid=81339] ppid=81336 vsize=2063296 memory=72008 CPUtime=82.97 cores=5,7
/proc/81339/stat : 81339 (pb_picat) R 81336 81339 80418 0 -1 4194304 53174 0 0 0 8284 13 0 0 20 0 1 0 73960548 2112815104 18002 18446744073709551615 94757699203072 94757700604653 140728055154336 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94757700876080 94757702750384 94757714534400 140728055163294 140728055163370 140728055163370 140728055168972 0
/proc/81339/statm: 515824 18002 1696 343 0 512888 0
Current children cumulated CPU time: 82.97 s
Current children cumulated vsize: 2063296 KiB
Current children cumulated memory: 72008 KiB

[startup+86.4001 s]
/proc/loadavg: 4.09 4.11 4.07 5/264 81433
/proc/meminfo: memFree=126215132/131250000 swapFree=33010672/33010684
[pid=81339] ppid=81336 vsize=2063296 memory=72008 CPUtime=86.16 cores=5,7
/proc/81339/stat : 81339 (pb_picat) R 81336 81339 80418 0 -1 4194304 53174 0 0 0 8603 13 0 0 20 0 1 0 73960548 2112815104 18002 18446744073709551615 94757699203072 94757700604653 140728055154336 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94757700876080 94757702750384 94757714534400 140728055163294 140728055163370 140728055163370 140728055168972 0
/proc/81339/statm: 515824 18002 1696 343 0 512888 0
Current children cumulated CPU time: 86.16 s
Current children cumulated vsize: 2063296 KiB
Current children cumulated memory: 72008 KiB

[startup+89.6001 s]
/proc/loadavg: 4.08 4.10 4.07 5/264 81433
/proc/meminfo: memFree=126214376/131250000 swapFree=33010672/33010684
[pid=81339] ppid=81336 vsize=2063296 memory=72008 CPUtime=89.35 cores=5,7
/proc/81339/stat : 81339 (pb_picat) R 81336 81339 80418 0 -1 4194304 53174 0 0 0 8922 13 0 0 20 0 1 0 73960548 2112815104 18002 18446744073709551615 94757699203072 94757700604653 140728055154336 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94757700876080 94757702750384 94757714534400 140728055163294 140728055163370 140728055163370 140728055168972 0
/proc/81339/statm: 515824 18002 1696 343 0 512888 0
Current children cumulated CPU time: 89.35 s
Current children cumulated vsize: 2063296 KiB
Current children cumulated memory: 72008 KiB

[startup+90.4001 s]
/proc/loadavg: 4.08 4.10 4.07 5/264 81433
/proc/meminfo: memFree=126213368/131250000 swapFree=33010672/33010684
[pid=81339] ppid=81336 vsize=2063296 memory=72008 CPUtime=90.15 cores=5,7
/proc/81339/stat : 81339 (pb_picat) R 81336 81339 80418 0 -1 4194304 53174 0 0 0 9002 13 0 0 20 0 1 0 73960548 2112815104 18002 18446744073709551615 94757699203072 94757700604653 140728055154336 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94757700876080 94757702750384 94757714534400 140728055163294 140728055163370 140728055163370 140728055168972 0
/proc/81339/statm: 515824 18002 1696 343 0 512888 0
Current children cumulated CPU time: 90.15 s
Current children cumulated vsize: 2063296 KiB
Current children cumulated memory: 72008 KiB

[startup+90.8001 s]
/proc/loadavg: 4.08 4.10 4.07 5/264 81433
/proc/meminfo: memFree=126213368/131250000 swapFree=33010672/33010684
[pid=81339] ppid=81336 vsize=2063296 memory=72008 CPUtime=90.55 cores=5,7
/proc/81339/stat : 81339 (pb_picat) R 81336 81339 80418 0 -1 4194304 53174 0 0 0 9042 13 0 0 20 0 1 0 73960548 2112815104 18002 18446744073709551615 94757699203072 94757700604653 140728055154336 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94757700876080 94757702750384 94757714534400 140728055163294 140728055163370 140728055163370 140728055168972 0
/proc/81339/statm: 515824 18002 1696 343 0 512888 0
Current children cumulated CPU time: 90.55 s
Current children cumulated vsize: 2063296 KiB
Current children cumulated memory: 72008 KiB

[startup+91.0001 s]*
/proc/loadavg: 4.08 4.10 4.07 5/264 81433
/proc/meminfo: memFree=126213368/131250000 swapFree=33010672/33010684
[pid=81339] ppid=81336 vsize=2063296 memory=72008 CPUtime=90.75 cores=5,7
/proc/81339/stat : 81339 (pb_picat) R 81336 81339 80418 0 -1 4194304 53174 0 0 0 9062 13 0 0 20 0 1 0 73960548 2112815104 18002 18446744073709551615 94757699203072 94757700604653 140728055154336 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94757700876080 94757702750384 94757714534400 140728055163294 140728055163370 140728055163370 140728055168972 0
/proc/81339/statm: 515824 18002 1696 343 0 512888 0
Current children cumulated CPU time: 90.75 s
Current children cumulated vsize: 2063296 KiB
Current children cumulated memory: 72008 KiB

[startup+91.1053 s]
/proc/loadavg: 4.08 4.10 4.07 5/264 81433
/proc/meminfo: memFree=126213368/131250000 swapFree=33010672/33010684
[pid=81339] ppid=81336 vsize=2063296 memory=72008 CPUtime=90.85 cores=5,7
/proc/81339/stat : 81339 (pb_picat) R 81336 81339 80418 0 -1 4194304 53174 0 0 0 9072 13 0 0 20 0 1 0 73960548 2112815104 18002 18446744073709551615 94757699203072 94757700604653 140728055154336 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94757700876080 94757702750384 94757714534400 140728055163294 140728055163370 140728055163370 140728055168972 0
/proc/81339/statm: 515824 18002 1696 343 0 512888 0
Current children cumulated CPU time: 90.85 s
Current children cumulated vsize: 2063296 KiB
Current children cumulated memory: 72008 KiB

Child status: 0

Real time (s): 91.1934
CPU time (s): 90.9526
CPU user time (s): 90.81
CPU system time (s): 0.142587
CPU usage (%): 99.736
Max. virtual memory (cumulated for all children) (KiB): 2065720
Max. memory (cumulated for all children) (KiB): 72464

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 90.81
system time used= 0.142587
maximum resident set size= 72464
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 53179
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= 95


# summary of solver processes directly reported to runsolver:
#   pid: 81339
#   total CPU time (s): 90.9526
#   total CPU user time (s): 90.81
#   total CPU system time (s): 0.142587

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.169753 second user time and 0.420079 second system time

The end

Begin job on nodeC026 at 2025-07-04 00:46:59
IDJOB=4521673
IDBENCH=178411
IDSOLVER=3346
FILE ID=nodeC026/4521673-1751582819
RUNJOBID= nodeC026-1751578635-80431
SLURM_JOB_ID= 9598811
Free space on /tmp= 430540 MiB

SOLVER NAME= Picat 2025-06-16
BENCH NAME= PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/vertex_cover/vertexcover_opt_grid_oddrowevencolsquare/normalized-vertexcover_opt_grid_oddrowevencolsquare_dim_070.opb
COMMAND LINE= pb_picat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4521673-1751582819/watcher-4521673-1751582819 -o /tmp/evaluation-result-4521673-1751582819/solver-4521673-1751582819 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC026-1751578635-80431 --watchdog 3760  pb_picat HOME/instance-4521673-1751582819.opb

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

MD5SUM BENCH= 0db82a785ca934c3491ed1e2c41fa4ed
RANDOM SEED=307111611

nodeC026 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.790
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.59
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.721
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.59
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3600.782
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.59
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		: 3583.359
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.59
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.783
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.59
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		: 3693.111
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.59
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		: 3827.436
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.59
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		: 3599.809
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.59
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131250000 kB
MemFree:        126245720 kB
MemAvailable:   128550416 kB
Buffers:            2128 kB
Cached:          2933152 kB
SwapCached:            4 kB
Active:          1761352 kB
Inactive:        2263044 kB
Active(anon):    1097504 kB
Inactive(anon):     9688 kB
Active(file):     663848 kB
Inactive(file):  2253356 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010672 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:              3572 kB
Writeback:             0 kB
AnonPages:       1088128 kB
Mapped:           114864 kB
Shmem:             18076 kB
KReclaimable:     448292 kB
Slab:             548376 kB
SReclaimable:     448292 kB
SUnreclaim:       100084 kB
KernelStack:        4320 kB
PageTables:         5184 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635684 kB
Committed_AS:    6721828 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150536 kB
VmallocChunk:          0 kB
Percpu:             3680 kB
HardwareCorrupted:     0 kB
AnonHugePages:    948224 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:      187092 kB
DirectMap2M:     9021440 kB
DirectMap1G:    126877696 kB

Free space on /tmp at the end= 430536 MiB
End job on nodeC026 at 2025-07-04 00:48:30