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