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