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

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4528670-1752249254/watcher-4528670-1752249254 -o /tmp/evaluation-result-4528670-1752249254/solver-4528670-1752249254 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC034-1752245588-112061 --watchdog 3760 pb_picat HOME/instance-4528670-1752249254.opb 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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


[startup+0.10006 s]*
/proc/loadavg: 4.11 4.09 4.07 5/262 113019
/proc/meminfo: memFree=104639728/131249988 swapFree=33010160/33010684
[pid=113018] ppid=113015 vsize=2034964 memory=34460 CPUtime=0.09 cores=0,2
/proc/113018/stat : 113018 (pb_picat) R 113015 113018 112051 0 -1 4194304 1040 0 0 0 9 0 0 0 20 0 1 0 140604221 2083803136 8615 18446744073709551615 94580110782464 94580112184045 140734381465472 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94580112455472 94580114329712 94580146245632 140734381468060 140734381468136 140734381468136 140734381473740 0
/proc/113018/statm: 508741 8615 1632 343 0 505805 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 2034964 KiB
Current children cumulated memory: 34460 KiB

[startup+0.205452 s]*
/proc/loadavg: 4.11 4.09 4.07 5/262 113019
/proc/meminfo: memFree=104627000/131249988 swapFree=33010160/33010684
[pid=113018] ppid=113015 vsize=2050636 memory=52860 CPUtime=0.2 cores=0,2
/proc/113018/stat : 113018 (pb_picat) R 113015 113018 112051 0 -1 4194304 4694 0 0 0 19 1 0 0 20 0 1 0 140604221 2099851264 13215 18446744073709551615 94580110782464 94580112184045 140734381465472 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94580112455472 94580114329712 94580146245632 140734381468060 140734381468136 140734381468136 140734381473740 0
/proc/113018/statm: 512659 13215 1760 343 0 509723 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 2050636 KiB
Current children cumulated memory: 52860 KiB

[startup+0.305325 s]*
/proc/loadavg: 4.11 4.09 4.07 5/262 113019
/proc/meminfo: memFree=104623976/131249988 swapFree=33010160/33010684
[pid=113018] ppid=113015 vsize=2055356 memory=55860 CPUtime=0.3 cores=0,2
/proc/113018/stat : 113018 (pb_picat) R 113015 113018 112051 0 -1 4194304 6089 0 0 0 29 1 0 0 20 0 1 0 140604221 2104684544 13965 18446744073709551615 94580110782464 94580112184045 140734381465472 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94580112455472 94580114329712 94580146245632 140734381468060 140734381468136 140734381468136 140734381473740 0
/proc/113018/statm: 513839 13965 1760 343 0 510903 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 2055356 KiB
Current children cumulated memory: 55860 KiB

[startup+0.700174 s]
/proc/loadavg: 4.11 4.09 4.07 5/262 113019
/proc/meminfo: memFree=104623976/131249988 swapFree=33010160/33010684
[pid=113018] ppid=113015 vsize=2051012 memory=51944 CPUtime=0.68 cores=0,2
/proc/113018/stat : 113018 (pb_picat) R 113015 113018 112051 0 -1 4194304 8064 0 0 0 67 1 0 0 20 0 1 0 140604221 2100236288 12986 18446744073709551615 94580110782464 94580112184045 140734381465472 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94580112455472 94580114329712 94580146245632 140734381468060 140734381468136 140734381468136 140734381473740 0
/proc/113018/statm: 512753 12986 1760 343 0 509817 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 2051012 KiB
Current children cumulated memory: 51944 KiB

[startup+1.50016 s]
/proc/loadavg: 4.11 4.09 4.07 5/262 113019
/proc/meminfo: memFree=104623976/131249988 swapFree=33010160/33010684
[pid=113018] ppid=113015 vsize=2055484 memory=56872 CPUtime=1.48 cores=0,2
/proc/113018/stat : 113018 (pb_picat) R 113015 113018 112051 0 -1 4194304 11592 0 0 0 146 2 0 0 20 0 1 0 140604221 2104815616 14218 18446744073709551615 94580110782464 94580112184045 140734381465472 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94580112455472 94580114329712 94580146245632 140734381468060 140734381468136 140734381468136 140734381473740 0
/proc/113018/statm: 513871 14218 1760 343 0 510935 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 2055484 KiB
Current children cumulated memory: 56872 KiB

[startup+3.10519 s]
/proc/loadavg: 4.11 4.09 4.07 5/262 113019
/proc/meminfo: memFree=104624016/131249988 swapFree=33010160/33010684
[pid=113018] ppid=113015 vsize=2047152 memory=51680 CPUtime=3.08 cores=0,2
/proc/113018/stat : 113018 (pb_picat) R 113015 113018 112051 0 -1 4194304 15084 0 0 0 305 3 0 0 20 0 1 0 140604221 2096283648 12920 18446744073709551615 94580110782464 94580112184045 140734381465472 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94580112455472 94580114329712 94580146245632 140734381468060 140734381468136 140734381468136 140734381473740 0
/proc/113018/statm: 511788 12920 1760 343 0 508852 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 2047152 KiB
Current children cumulated memory: 51680 KiB

[startup+6.30015 s]
/proc/loadavg: 4.10 4.09 4.07 5/262 113019
/proc/meminfo: memFree=104610556/131249988 swapFree=33010160/33010684
[pid=113018] ppid=113015 vsize=2056380 memory=60892 CPUtime=6.27 cores=0,2
/proc/113018/stat : 113018 (pb_picat) R 113015 113018 112051 0 -1 4194304 27234 0 0 0 621 6 0 0 20 0 1 0 140604221 2105733120 15223 18446744073709551615 94580110782464 94580112184045 140734381465472 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94580112455472 94580114329712 94580146245632 140734381468060 140734381468136 140734381468136 140734381473740 0
/proc/113018/statm: 514095 15223 1760 343 0 511159 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 2056380 KiB
Current children cumulated memory: 60892 KiB

[startup+12.7002 s]
/proc/loadavg: 4.09 4.09 4.06 5/262 113019
/proc/meminfo: memFree=104597592/131249988 swapFree=33010160/33010684
[pid=113018] ppid=113015 vsize=2065204 memory=69108 CPUtime=12.65 cores=0,2
/proc/113018/stat : 113018 (pb_picat) R 113015 113018 112051 0 -1 4194304 36088 0 0 0 1257 8 0 0 20 0 1 0 140604221 2114768896 17277 18446744073709551615 94580110782464 94580112184045 140734381465472 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94580112455472 94580114329712 94580146245632 140734381468060 140734381468136 140734381468136 140734381473740 0
/proc/113018/statm: 516301 17277 1760 343 0 513365 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 2065204 KiB
Current children cumulated memory: 69108 KiB

[startup+25.5002 s]
/proc/loadavg: 4.07 4.08 4.06 5/262 113019
/proc/meminfo: memFree=104589408/131249988 swapFree=33010160/33010684
[pid=113018] ppid=113015 vsize=2065204 memory=69292 CPUtime=25.42 cores=0,2
/proc/113018/stat : 113018 (pb_picat) R 113015 113018 112051 0 -1 4194304 38917 0 0 0 2533 9 0 0 20 0 1 0 140604221 2114768896 17323 18446744073709551615 94580110782464 94580112184045 140734381465472 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94580112455472 94580114329712 94580146245632 140734381468060 140734381468136 140734381468136 140734381473740 0
/proc/113018/statm: 516301 17323 1760 343 0 513365 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 2065204 KiB
Current children cumulated memory: 69292 KiB

[startup+51.1052 s]
/proc/loadavg: 4.11 4.09 4.07 5/262 113020
/proc/meminfo: memFree=104567276/131249988 swapFree=33010160/33010684
[pid=113018] ppid=113015 vsize=2065340 memory=69124 CPUtime=50.96 cores=0,2
/proc/113018/stat : 113018 (pb_picat) R 113015 113018 112051 0 -1 4194304 44811 0 0 0 5085 11 0 0 20 0 1 0 140604221 2114908160 17281 18446744073709551615 94580110782464 94580112184045 140734381465472 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94580112455472 94580114329712 94580146245632 140734381468060 140734381468136 140734381468136 140734381473740 0
/proc/113018/statm: 516335 17281 1760 343 0 513399 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 2065340 KiB
Current children cumulated memory: 69124 KiB

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

# cumulated CPU time of all completed processes:  user=90.1423 s, system=0.148554 s

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

[startup+51.2002 s]
/proc/loadavg: 4.11 4.09 4.07 5/262 113020
/proc/meminfo: memFree=104567276/131249988 swapFree=33010160/33010684
[pid=113018] ppid=113015 vsize=2065340 memory=69124 CPUtime=51.05 cores=0,2
/proc/113018/stat : 113018 (pb_picat) R 113015 113018 112051 0 -1 4194304 44811 0 0 0 5094 11 0 0 20 0 1 0 140604221 2114908160 17281 18446744073709551615 94580110782464 94580112184045 140734381465472 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94580112455472 94580114329712 94580146245632 140734381468060 140734381468136 140734381468136 140734381473740 0
/proc/113018/statm: 516335 17281 1760 343 0 513399 0
Current children cumulated CPU time: 51.05 s
Current children cumulated vsize: 2065340 KiB
Current children cumulated memory: 69124 KiB

[startup+76.8001 s]
/proc/loadavg: 4.07 4.08 4.06 5/262 113021
/proc/meminfo: memFree=104605764/131249988 swapFree=33010160/33010684
[pid=113018] ppid=113015 vsize=2063292 memory=68836 CPUtime=76.59 cores=0,2
/proc/113018/stat : 113018 (pb_picat) R 113015 113018 112051 0 -1 4194304 51057 0 0 0 7646 13 0 0 20 0 1 0 140604221 2112811008 17209 18446744073709551615 94580110782464 94580112184045 140734381465472 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94580112455472 94580114329712 94580146245632 140734381468060 140734381468136 140734381468136 140734381473740 0
/proc/113018/statm: 515823 17209 1760 343 0 512887 0
Current children cumulated CPU time: 76.59 s
Current children cumulated vsize: 2063292 KiB
Current children cumulated memory: 68836 KiB

[startup+83.2001 s]
/proc/loadavg: 4.15 4.10 4.07 5/262 113021
/proc/meminfo: memFree=104580684/131249988 swapFree=33010160/33010684
[pid=113018] ppid=113015 vsize=2063292 memory=69028 CPUtime=82.97 cores=0,2
/proc/113018/stat : 113018 (pb_picat) R 113015 113018 112051 0 -1 4194304 53779 0 0 0 8283 14 0 0 20 0 1 0 140604221 2112811008 17257 18446744073709551615 94580110782464 94580112184045 140734381465472 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94580112455472 94580114329712 94580146245632 140734381468060 140734381468136 140734381468136 140734381473740 0
/proc/113018/statm: 515823 17257 1760 343 0 512887 0
Current children cumulated CPU time: 82.97 s
Current children cumulated vsize: 2063292 KiB
Current children cumulated memory: 69028 KiB

[startup+86.4001 s]
/proc/loadavg: 4.13 4.10 4.07 5/262 113021
/proc/meminfo: memFree=104560204/131249988 swapFree=33010160/33010684
[pid=113018] ppid=113015 vsize=2063292 memory=69028 CPUtime=86.16 cores=0,2
/proc/113018/stat : 113018 (pb_picat) R 113015 113018 112051 0 -1 4194304 53779 0 0 0 8602 14 0 0 20 0 1 0 140604221 2112811008 17257 18446744073709551615 94580110782464 94580112184045 140734381465472 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94580112455472 94580114329712 94580146245632 140734381468060 140734381468136 140734381468136 140734381473740 0
/proc/113018/statm: 515823 17257 1760 343 0 512887 0
Current children cumulated CPU time: 86.16 s
Current children cumulated vsize: 2063292 KiB
Current children cumulated memory: 69028 KiB

[startup+88.0001 s]*
/proc/loadavg: 4.13 4.10 4.07 5/262 113021
/proc/meminfo: memFree=104601456/131249988 swapFree=33010160/33010684
[pid=113018] ppid=113015 vsize=2063292 memory=69028 CPUtime=87.76 cores=0,2
/proc/113018/stat : 113018 (pb_picat) R 113015 113018 112051 0 -1 4194304 53779 0 0 0 8762 14 0 0 20 0 1 0 140604221 2112811008 17257 18446744073709551615 94580110782464 94580112184045 140734381465472 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94580112455472 94580114329712 94580146245632 140734381468060 140734381468136 140734381468136 140734381473740 0
/proc/113018/statm: 515823 17257 1760 343 0 512887 0
Current children cumulated CPU time: 87.76 s
Current children cumulated vsize: 2063292 KiB
Current children cumulated memory: 69028 KiB

[startup+89.6001 s]
/proc/loadavg: 4.13 4.10 4.07 5/262 113021
/proc/meminfo: memFree=104601456/131249988 swapFree=33010160/33010684
[pid=113018] ppid=113015 vsize=2063292 memory=69028 CPUtime=89.36 cores=0,2
/proc/113018/stat : 113018 (pb_picat) R 113015 113018 112051 0 -1 4194304 53779 0 0 0 8922 14 0 0 20 0 1 0 140604221 2112811008 17257 18446744073709551615 94580110782464 94580112184045 140734381465472 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94580112455472 94580114329712 94580146245632 140734381468060 140734381468136 140734381468136 140734381473740 0
/proc/113018/statm: 515823 17257 1760 343 0 512887 0
Current children cumulated CPU time: 89.36 s
Current children cumulated vsize: 2063292 KiB
Current children cumulated memory: 69028 KiB

[startup+90.0001 s]*
/proc/loadavg: 4.12 4.10 4.07 5/262 113021
/proc/meminfo: memFree=104601456/131249988 swapFree=33010160/33010684
[pid=113018] ppid=113015 vsize=2063292 memory=69028 CPUtime=89.76 cores=0,2
/proc/113018/stat : 113018 (pb_picat) R 113015 113018 112051 0 -1 4194304 53779 0 0 0 8962 14 0 0 20 0 1 0 140604221 2112811008 17257 18446744073709551615 94580110782464 94580112184045 140734381465472 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94580112455472 94580114329712 94580146245632 140734381468060 140734381468136 140734381468136 140734381473740 0
/proc/113018/statm: 515823 17257 1760 343 0 512887 0
Current children cumulated CPU time: 89.76 s
Current children cumulated vsize: 2063292 KiB
Current children cumulated memory: 69028 KiB

[startup+90.4001 s]
/proc/loadavg: 4.12 4.10 4.07 5/262 113021
/proc/meminfo: memFree=104601456/131249988 swapFree=33010160/33010684
[pid=113018] ppid=113015 vsize=2063292 memory=69028 CPUtime=90.15 cores=0,2
/proc/113018/stat : 113018 (pb_picat) R 113015 113018 112051 0 -1 4194304 53779 0 0 0 9001 14 0 0 20 0 1 0 140604221 2112811008 17257 18446744073709551615 94580110782464 94580112184045 140734381465472 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94580112455472 94580114329712 94580146245632 140734381468060 140734381468136 140734381468136 140734381473740 0
/proc/113018/statm: 515823 17257 1760 343 0 512887 0
Current children cumulated CPU time: 90.15 s
Current children cumulated vsize: 2063292 KiB
Current children cumulated memory: 69028 KiB

[startup+90.5001 s]
/proc/loadavg: 4.12 4.10 4.07 5/262 113021
/proc/meminfo: memFree=104601456/131249988 swapFree=33010160/33010684
[pid=113018] ppid=113015 vsize=2063292 memory=69028 CPUtime=90.25 cores=0,2
/proc/113018/stat : 113018 (pb_picat) R 113015 113018 112051 0 -1 4194304 53779 0 0 0 9011 14 0 0 20 0 1 0 140604221 2112811008 17257 18446744073709551615 94580110782464 94580112184045 140734381465472 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94580112455472 94580114329712 94580146245632 140734381468060 140734381468136 140734381468136 140734381473740 0
/proc/113018/statm: 515823 17257 1760 343 0 512887 0
Current children cumulated CPU time: 90.25 s
Current children cumulated vsize: 2063292 KiB
Current children cumulated memory: 69028 KiB

Child status: 0

Real time (s): 90.5309
CPU time (s): 90.2909
CPU user time (s): 90.1423
CPU system time (s): 0.148554
CPU usage (%): 99.7349
Max. virtual memory (cumulated for all children) (KiB): 2065716
Max. memory (cumulated for all children) (KiB): 70004

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 90.1423
system time used= 0.148554
maximum resident set size= 70004
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 53784
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= 208


# summary of solver processes directly reported to runsolver:
#   pid: 113018
#   total CPU time (s): 90.2909
#   total CPU user time (s): 90.1423
#   total CPU system time (s): 0.148554

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.180992 second user time and 0.397597 second system time

The end

Begin job on nodeC034 at 2025-07-11 17:54:14
IDJOB=4528670
IDBENCH=178411
IDSOLVER=3385
FILE ID=nodeC034/4528670-1752249254
RUNJOBID= nodeC034-1752245588-112061
SLURM_JOB_ID= 9682578
Free space on /tmp= 429932 MiB

SOLVER NAME= pb_picat 2025-07-11
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-4528670-1752249254/watcher-4528670-1752249254 -o /tmp/evaluation-result-4528670-1752249254/solver-4528670-1752249254 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC034-1752245588-112061 --watchdog 3760  pb_picat HOME/instance-4528670-1752249254.opb

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

MD5SUM BENCH= 0db82a785ca934c3491ed1e2c41fa4ed
RANDOM SEED=1224155824

nodeC034 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.761
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.53
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.691
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.53
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		: 3589.740
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.53
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		: 3592.197
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.53
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.744
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.53
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.806
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.53
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		: 3518.171
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.53
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		: 3615.159
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.53
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131249988 kB
MemFree:        104652016 kB
MemAvailable:   129356452 kB
Buffers:            2128 kB
Cached:         25439696 kB
SwapCached:           36 kB
Active:           859304 kB
Inactive:       24959352 kB
Active(anon):     392740 kB
Inactive(anon):     2160 kB
Active(file):     466564 kB
Inactive(file): 24957192 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010160 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:              3820 kB
Writeback:            12 kB
AnonPages:        378076 kB
Mapped:           116524 kB
Shmem:             18068 kB
KReclaimable:     239436 kB
Slab:             335684 kB
SReclaimable:     239436 kB
SUnreclaim:        96248 kB
KernelStack:        4192 kB
PageTables:         3776 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635676 kB
Committed_AS:    6622288 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150520 kB
VmallocChunk:          0 kB
Percpu:             3872 kB
HardwareCorrupted:     0 kB
AnonHugePages:    251904 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:      189140 kB
DirectMap2M:     7970816 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 429928 MiB
End job on nodeC034 at 2025-07-11 17:55:44