0.00/0.00 c NaPS 1.03.
0.00/0.00 c We set -no-flip-min because your selected sat solver does not support it.
0.00/0.00 c Input file name: HOME/instance-4458146-1721876463.opb
0.30/0.42 c single stage optimization mode
0.41/0.47 o 0
3600.03/3610.30 c
3600.03/3610.30 c *** TERMINATED *** by signal 15
3600.03/3610.30 s SATISFIABLE
3600.03/3610.30 c _____________________________________________________________________________
3600.03/3610.30 c std/band forms : 2,1404
3600.03/3610.30 c 2cl/3cl ITE-codings : 157,6858
3600.03/3610.30 c BDD/srt/adr Max costs : 14248,0,0
3600.03/3610.30 c BDDraw/bin/mul/srt/adr: 1406,0,0,0,0
3600.03/3610.30 c BDD nodes : 17056
3600.03/3610.30 c Es1/CC detections : 0,0
3600.03/3610.30 c CC sort : 0
3600.03/3610.30 c SAT/UNSAT calls : 1,1
3600.03/3610.30 c regenrated variables : 0
3600.03/3610.30 c eliminated fixed lits : 0
3600.03/3610.30 c goal lit flips : 0
3600.03/3610.30 c goal stages : 1
3600.03/3610.30 c goal shrink : 0
3600.03/3610.30 c goal coeff separations: 10
3600.03/3610.30 c restarts : 3
3600.03/3610.30 c conflicts : 67 (0 /sec)
3600.03/3610.30 c decisions : 468 (0 /sec)
3600.03/3610.30 c propagations : 66932 (19 /sec)
3600.03/3610.30 c inspects : 0 (0 /sec)
3600.03/3610.30 c CPU time (solving tm) : 3599 s (3599 s, SAT 0.04946 s, UNSAT 0.001794 s)
3600.03/3610.30 c Time for Opt-base : 0 s
3600.03/3610.30 c Steps for Opt-base : 0
3600.03/3610.30 c Time for BDD coding : 0.1895 s
3600.03/3610.30 c Time for srt coding : 0 s
3600.03/3610.30 c _____________________________________________________________________________
3600.03/3610.30 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.03/3610.30 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.03/3610.30 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: 64059 MiB (57329 MiB free)
memory of node 1: 64510 MiB (54351 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4458146-1721876463/watcher-4458146-1721876463 -o /tmp/evaluation-result-4458146-1721876463/solver-4458146-1721876463 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1721876463-263952 --watchdog 3760 HOME/naps-1.03.sh -GM HOME/instance-4458146-1721876463.opb
running on 2 cores: 4,6
CPU governors:
performance: 4 6
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=264015, runsolver pid=264005
[startup+0.100094 s]*
/proc/loadavg: 0.43 1.59 2.91 7/246 264031
/proc/meminfo: memFree=114349524/131655788 swapFree=131061124/131071996
[pid=264015] ppid=264005 vsize=9932 memory=2696 CPUtime=0 cores=4,6
/proc/264015/stat : 264015 (naps-1.03.sh) S 264005 264015 263941 0 -1 4194304 220 243 0 0 0 0 0 0 20 0 1 0 23635701 10170368 674 134679101440 93928055791616 93928056870936 140724637940592 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 93928058969392 93928059016580 93928066662400 140724637946852 140724637946981 140724637946981 140724637953992 0
/proc/264015/statm: 2483 674 596 264 0 134 0
[pid=264030] ppid=264015 vsize=10892 memory=4904 CPUtime=0.1 cores=4,6
/proc/264030/stat : 264030 (naps-1.03) R 264015 264015 263941 0 -1 4194304 852 0 0 0 10 0 0 0 20 0 1 0 23635701 11153408 1226 134679101440 4194304 6891213 140732725465936 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 28327936 140732725470197 140732725470313 140732725470313 140732725477323 0
/proc/264030/statm: 2723 1226 436 659 0 1927 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 20824 KiB
Current children cumulated memory: 7600 KiB
[startup+0.215293 s]*
/proc/loadavg: 0.43 1.59 2.91 7/246 264031
/proc/meminfo: memFree=114341320/131655788 swapFree=131061124/131071996
[pid=264015] ppid=264005 vsize=9932 memory=2696 CPUtime=0 cores=4,6
/proc/264015/stat : 264015 (naps-1.03.sh) S 264005 264015 263941 0 -1 4194304 220 243 0 0 0 0 0 0 20 0 1 0 23635701 10170368 674 134679101440 93928055791616 93928056870936 140724637940592 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 93928058969392 93928059016580 93928066662400 140724637946852 140724637946981 140724637946981 140724637953992 0
/proc/264015/statm: 2483 674 596 264 0 134 0
[pid=264030] ppid=264015 vsize=12944 memory=6968 CPUtime=0.21 cores=4,6
/proc/264030/stat : 264030 (naps-1.03) R 264015 264015 263941 0 -1 4194304 1412 0 0 0 21 0 0 0 20 0 1 0 23635701 13254656 1742 134679101440 4194304 6891213 140732725465936 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 28327936 140732725470197 140732725470313 140732725470313 140732725477323 0
/proc/264030/statm: 3236 1742 436 659 0 2440 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 22876 KiB
Current children cumulated memory: 9664 KiB
[startup+0.314162 s]*
/proc/loadavg: 0.72 1.63 2.91 7/246 264031
/proc/meminfo: memFree=114339160/131655788 swapFree=131061124/131071996
[pid=264015] ppid=264005 vsize=9932 memory=2696 CPUtime=0 cores=4,6
/proc/264015/stat : 264015 (naps-1.03.sh) S 264005 264015 263941 0 -1 4194304 220 243 0 0 0 0 0 0 20 0 1 0 23635701 10170368 674 134679101440 93928055791616 93928056870936 140724637940592 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 93928058969392 93928059016580 93928066662400 140724637946852 140724637946981 140724637946981 140724637953992 0
/proc/264015/statm: 2483 674 596 264 0 134 0
[pid=264030] ppid=264015 vsize=13304 memory=7348 CPUtime=0.3 cores=4,6
/proc/264030/stat : 264030 (naps-1.03) R 264015 264015 263941 0 -1 4194304 1494 0 0 0 30 0 0 0 20 0 1 0 23635701 13623296 1837 134679101440 4194304 6891213 140732725465936 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 28327936 140732725470197 140732725470313 140732725470313 140732725477323 0
/proc/264030/statm: 3326 1837 468 659 0 2530 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 23236 KiB
Current children cumulated memory: 10044 KiB
[startup+0.70038 s]
/proc/loadavg: 0.72 1.63 2.91 7/246 264031
/proc/meminfo: memFree=114320500/131655788 swapFree=131061124/131071996
[pid=264015] ppid=264005 vsize=9932 memory=2696 CPUtime=0 cores=4,6
/proc/264015/stat : 264015 (naps-1.03.sh) S 264005 264015 263941 0 -1 4194304 220 243 0 0 0 0 0 0 20 0 1 0 23635701 10170368 674 134679101440 93928055791616 93928056870936 140724637940592 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 93928058969392 93928059016580 93928066662400 140724637946852 140724637946981 140724637946981 140724637953992 0
/proc/264015/statm: 2483 674 596 264 0 134 0
[pid=264030] ppid=264015 vsize=16588 memory=14028 CPUtime=0.67 cores=4,6
/proc/264030/stat : 264030 (naps-1.03) R 264015 264015 263941 0 -1 4194304 3329 0 0 0 66 1 0 0 20 0 1 0 23635701 16986112 3507 134679101440 4194304 6891213 140732725465936 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 28327936 140732725470197 140732725470313 140732725470313 140732725477323 0
/proc/264030/statm: 4147 3507 468 659 0 3351 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 26520 KiB
Current children cumulated memory: 16724 KiB
[startup+1.50036 s]
/proc/loadavg: 0.72 1.63 2.91 7/246 264031
/proc/meminfo: memFree=114316408/131655788 swapFree=131061124/131071996
[pid=264015] ppid=264005 vsize=9932 memory=2696 CPUtime=0 cores=4,6
/proc/264015/stat : 264015 (naps-1.03.sh) S 264005 264015 263941 0 -1 4194304 220 243 0 0 0 0 0 0 20 0 1 0 23635701 10170368 674 134679101440 93928055791616 93928056870936 140724637940592 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 93928058969392 93928059016580 93928066662400 140724637946852 140724637946981 140724637946981 140724637953992 0
/proc/264015/statm: 2483 674 596 264 0 134 0
[pid=264030] ppid=264015 vsize=19700 memory=16380 CPUtime=1.48 cores=4,6
/proc/264030/stat : 264030 (naps-1.03) R 264015 264015 263941 0 -1 4194304 3943 0 0 0 146 2 0 0 20 0 1 0 23635701 20172800 4095 134679101440 4194304 6891213 140732725465936 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 28327936 140732725470197 140732725470313 140732725470313 140732725477323 0
/proc/264030/statm: 4925 4095 468 659 0 4129 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 29632 KiB
Current children cumulated memory: 19076 KiB
[startup+3.11406 s]
/proc/loadavg: 0.72 1.63 2.91 7/246 264031
/proc/meminfo: memFree=114251508/131655788 swapFree=131061124/131071996
[pid=264015] ppid=264005 vsize=9932 memory=2696 CPUtime=0 cores=4,6
/proc/264015/stat : 264015 (naps-1.03.sh) S 264005 264015 263941 0 -1 4194304 220 243 0 0 0 0 0 0 20 0 1 0 23635701 10170368 674 134679101440 93928055791616 93928056870936 140724637940592 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 93928058969392 93928059016580 93928066662400 140724637946852 140724637946981 140724637946981 140724637953992 0
/proc/264015/statm: 2483 674 596 264 0 134 0
[pid=264030] ppid=264015 vsize=25832 memory=22928 CPUtime=3.08 cores=4,6
/proc/264030/stat : 264030 (naps-1.03) R 264015 264015 263941 0 -1 4194304 6094 0 0 0 306 2 0 0 20 0 1 0 23635701 26451968 5732 134679101440 4194304 6891213 140732725465936 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 28327936 140732725470197 140732725470313 140732725470313 140732725477323 0
/proc/264030/statm: 6458 5732 468 659 0 5662 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 35764 KiB
Current children cumulated memory: 25624 KiB
[startup+6.30036 s]
/proc/loadavg: 0.98 1.67 2.92 7/246 264031
/proc/meminfo: memFree=114250296/131655788 swapFree=131061124/131071996
[pid=264015] ppid=264005 vsize=9932 memory=2696 CPUtime=0 cores=4,6
/proc/264015/stat : 264015 (naps-1.03.sh) S 264005 264015 263941 0 -1 4194304 220 243 0 0 0 0 0 0 20 0 1 0 23635701 10170368 674 134679101440 93928055791616 93928056870936 140724637940592 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 93928058969392 93928059016580 93928066662400 140724637946852 140724637946981 140724637946981 140724637953992 0
/proc/264015/statm: 2483 674 596 264 0 134 0
[pid=264030] ppid=264015 vsize=24144 memory=21068 CPUtime=6.26 cores=4,6
/proc/264030/stat : 264030 (naps-1.03) R 264015 264015 263941 0 -1 4194304 7229 0 0 0 623 3 0 0 20 0 1 0 23635701 24723456 5267 134679101440 4194304 6891213 140732725465936 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 28327936 140732725470197 140732725470313 140732725470313 140732725477323 0
/proc/264030/statm: 6036 5267 468 659 0 5240 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 34076 KiB
Current children cumulated memory: 23764 KiB
[startup+12.7004 s]
/proc/loadavg: 1.22 1.71 2.93 7/246 264033
/proc/meminfo: memFree=114224848/131655788 swapFree=131061124/131071996
[pid=264015] ppid=264005 vsize=9932 memory=2696 CPUtime=0 cores=4,6
/proc/264015/stat : 264015 (naps-1.03.sh) S 264005 264015 263941 0 -1 4194304 220 243 0 0 0 0 0 0 20 0 1 0 23635701 10170368 674 134679101440 93928055791616 93928056870936 140724637940592 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 93928058969392 93928059016580 93928066662400 140724637946852 140724637946981 140724637946981 140724637953992 0
/proc/264015/statm: 2483 674 596 264 0 134 0
[pid=264030] ppid=264015 vsize=35824 memory=32628 CPUtime=12.65 cores=4,6
/proc/264030/stat : 264030 (naps-1.03) R 264015 264015 263941 0 -1 4194304 7580 0 0 0 1261 4 0 0 20 0 1 0 23635701 36683776 8157 134679101440 4194304 6891213 140732725465936 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 28327936 140732725470197 140732725470313 140732725470313 140732725477323 0
/proc/264030/statm: 8956 8157 468 659 0 8160 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 45756 KiB
Current children cumulated memory: 35324 KiB
[startup+25.5004 s]
/proc/loadavg: 1.65 1.78 2.94 7/246 264035
/proc/meminfo: memFree=114188548/131655788 swapFree=131061124/131071996
[pid=264015] ppid=264005 vsize=9932 memory=2696 CPUtime=0 cores=4,6
/proc/264015/stat : 264015 (naps-1.03.sh) S 264005 264015 263941 0 -1 4194304 220 243 0 0 0 0 0 0 20 0 1 0 23635701 10170368 674 134679101440 93928055791616 93928056870936 140724637940592 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 93928058969392 93928059016580 93928066662400 140724637946852 140724637946981 140724637946981 140724637953992 0
/proc/264015/statm: 2483 674 596 264 0 134 0
[pid=264030] ppid=264015 vsize=54500 memory=38568 CPUtime=25.41 cores=4,6
/proc/264030/stat : 264030 (naps-1.03) R 264015 264015 263941 0 -1 4194304 8387 0 0 0 2537 4 0 0 20 0 1 0 23635701 55808000 9642 134679101440 4194304 6891213 140732725465936 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 28327936 140732725470197 140732725470313 140732725470313 140732725477323 0
/proc/264030/statm: 13625 9642 468 659 0 12829 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 64432 KiB
Current children cumulated memory: 41264 KiB
[startup+51.1138 s]
/proc/loadavg: 2.64 2.01 2.98 7/246 264040
/proc/meminfo: memFree=114148596/131655788 swapFree=131061124/131071996
[pid=264015] ppid=264005 vsize=9932 memory=2696 CPUtime=0 cores=4,6
/proc/264015/stat : 264015 (naps-1.03.sh) S 264005 264015 263941 0 -1 4194304 220 243 0 0 0 0 0 0 20 0 1 0 23635701 10170368 674 134679101440 93928055791616 93928056870936 140724637940592 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 93928058969392 93928059016580 93928066662400 140724637946852 140724637946981 140724637946981 140724637953992 0
/proc/264015/statm: 2483 674 596 264 0 134 0
[pid=264030] ppid=264015 vsize=54500 memory=52120 CPUtime=50.95 cores=4,6
/proc/264030/stat : 264030 (naps-1.03) R 264015 264015 263941 0 -1 4194304 8814 0 0 0 5090 5 0 0 20 0 1 0 23635701 55808000 13030 134679101440 4194304 6891213 140732725465936 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 28327936 140732725470197 140732725470313 140732725470313 140732725477323 0
/proc/264030/statm: 13625 13030 468 659 0 12829 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 64432 KiB
Current children cumulated memory: 54816 KiB
[startup+102.3 s]
/proc/loadavg: 3.47 2.34 3.04 7/246 264048
/proc/meminfo: memFree=114100924/131655788 swapFree=131061124/131071996
[pid=264015] ppid=264005 vsize=9932 memory=2696 CPUtime=0 cores=4,6
/proc/264015/stat : 264015 (naps-1.03.sh) S 264005 264015 263941 0 -1 4194304 220 243 0 0 0 0 0 0 20 0 1 0 23635701 10170368 674 134679101440 93928055791616 93928056870936 140724637940592 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 93928058969392 93928059016580 93928066662400 140724637946852 140724637946981 140724637946981 140724637953992 0
/proc/264015/statm: 2483 674 596 264 0 134 0
[pid=264030] ppid=264015 vsize=73356 memory=60016 CPUtime=101.98 cores=4,6
/proc/264030/stat : 264030 (naps-1.03) R 264015 264015 263941 0 -1 4194304 10334 0 0 0 10192 6 0 0 20 0 1 0 23635701 75116544 15004 134679101440 4194304 6891213 140732725465936 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 28327936 140732725470197 140732725470313 140732725470313 140732725477323 0
/proc/264030/statm: 18339 15004 468 659 0 17543 0
Current children cumulated CPU time: 101.98 s
Current children cumulated vsize: 83288 KiB
Current children cumulated memory: 62712 KiB
[startup+162.3 s]
/proc/loadavg: 3.93 2.67 3.11 7/246 264060
/proc/meminfo: memFree=114046396/131655788 swapFree=131061124/131071996
[pid=264015] ppid=264005 vsize=9932 memory=2696 CPUtime=0 cores=4,6
/proc/264015/stat : 264015 (naps-1.03.sh) S 264005 264015 263941 0 -1 4194304 220 243 0 0 0 0 0 0 20 0 1 0 23635701 10170368 674 134679101440 93928055791616 93928056870936 140724637940592 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 93928058969392 93928059016580 93928066662400 140724637946852 140724637946981 140724637946981 140724637953992 0
/proc/264015/statm: 2483 674 596 264 0 134 0
[pid=264030] ppid=264015 vsize=86408 memory=80756 CPUtime=161.79 cores=4,6
/proc/264030/stat : 264030 (naps-1.03) R 264015 264015 263941 0 -1 4194304 11490 0 0 0 16170 9 0 0 20 0 1 0 23635701 88481792 20189 134679101440 4194304 6891213 140732725465936 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 28327936 140732725470197 140732725470313 140732725470313 140732725477323 0
/proc/264030/statm: 21602 20189 468 659 0 20806 0
Current children cumulated CPU time: 161.79 s
Current children cumulated vsize: 96340 KiB
Current children cumulated memory: 83452 KiB
[startup+222.3 s]
/proc/loadavg: 4.04 2.93 3.18 7/246 264070
/proc/meminfo: memFree=113992544/131655788 swapFree=131061124/131071996
[pid=264015] ppid=264005 vsize=9932 memory=2696 CPUtime=0 cores=4,6
/proc/264015/stat : 264015 (naps-1.03.sh) S 264005 264015 263941 0 -1 4194304 220 243 0 0 0 0 0 0 20 0 1 0 23635701 10170368 674 134679101440 93928055791616 93928056870936 140724637940592 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 93928058969392 93928059016580 93928066662400 140724637946852 140724637946981 140724637946981 140724637953992 0
/proc/264015/statm: 2483 674 596 264 0 134 0
[pid=264030] ppid=264015 vsize=86408 memory=80924 CPUtime=221.6 cores=4,6
/proc/264030/stat : 264030 (naps-1.03) R 264015 264015 263941 0 -1 4194304 12076 0 0 0 22149 11 0 0 20 0 1 0 23635701 88481792 20231 134679101440 4194304 6891213 140732725465936 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 28327936 140732725470197 140732725470313 140732725470313 140732725477323 0
/proc/264030/statm: 21602 20231 468 659 0 20806 0
Current children cumulated CPU time: 221.6 s
################
# More data... #
################
/proc/loadavg: 4.53 4.21 4.09 7/245 265202
/proc/meminfo: memFree=113779892/131655788 swapFree=131061124/131071996
[pid=264015] ppid=264005 vsize=9932 memory=2696 CPUtime=0 cores=4,6
/proc/264015/stat : 264015 (naps-1.03.sh) S 264005 264015 263941 0 -1 4194304 220 243 0 0 0 0 0 0 20 0 1 0 23635701 10170368 674 134679101440 93928055791616 93928056870936 140724637940592 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 93928058969392 93928059016580 93928066662400 140724637946852 140724637946981 140724637946981 140724637953992 0
/proc/264015/statm: 2483 674 596 264 0 134 0
[pid=264030] ppid=264015 vsize=173172 memory=165648 CPUtime=3093.61 cores=4,6
/proc/264030/stat : 264030 (naps-1.03) R 264015 264015 263941 0 -1 4194304 41914 0 0 0 309289 72 0 0 20 0 1 0 23635701 177328128 41412 134679101440 4194304 6891213 140732725465936 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 28327936 140732725470197 140732725470313 140732725470313 140732725477323 0
/proc/264030/statm: 43293 41412 468 659 0 42497 0
Current children cumulated CPU time: 3093.61 s
Current children cumulated vsize: 183104 KiB
Current children cumulated memory: 168344 KiB
[startup+3162.3 s]
/proc/loadavg: 4.62 4.32 4.14 7/245 265213
/proc/meminfo: memFree=113685636/131655788 swapFree=131061124/131071996
[pid=264015] ppid=264005 vsize=9932 memory=2696 CPUtime=0 cores=4,6
/proc/264015/stat : 264015 (naps-1.03.sh) S 264005 264015 263941 0 -1 4194304 220 243 0 0 0 0 0 0 20 0 1 0 23635701 10170368 674 134679101440 93928055791616 93928056870936 140724637940592 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 93928058969392 93928059016580 93928066662400 140724637946852 140724637946981 140724637946981 140724637953992 0
/proc/264015/statm: 2483 674 596 264 0 134 0
[pid=264030] ppid=264015 vsize=203992 memory=186396 CPUtime=3153.42 cores=4,6
/proc/264030/stat : 264030 (naps-1.03) R 264015 264015 263941 0 -1 4194304 42543 0 0 0 315269 73 0 0 20 0 1 0 23635701 208887808 46599 134679101440 4194304 6891213 140732725465936 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 28327936 140732725470197 140732725470313 140732725470313 140732725477323 0
/proc/264030/statm: 50998 46599 468 659 0 50202 0
Current children cumulated CPU time: 3153.42 s
Current children cumulated vsize: 213924 KiB
Current children cumulated memory: 189092 KiB
[startup+3222.3 s]
/proc/loadavg: 4.34 4.29 4.14 7/244 265223
/proc/meminfo: memFree=113679536/131655788 swapFree=131061124/131071996
[pid=264015] ppid=264005 vsize=9932 memory=2696 CPUtime=0 cores=4,6
/proc/264015/stat : 264015 (naps-1.03.sh) S 264005 264015 263941 0 -1 4194304 220 243 0 0 0 0 0 0 20 0 1 0 23635701 10170368 674 134679101440 93928055791616 93928056870936 140724637940592 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 93928058969392 93928059016580 93928066662400 140724637946852 140724637946981 140724637946981 140724637953992 0
/proc/264015/statm: 2483 674 596 264 0 134 0
[pid=264030] ppid=264015 vsize=139656 memory=129044 CPUtime=3213.22 cores=4,6
/proc/264030/stat : 264030 (naps-1.03) R 264015 264015 263941 0 -1 4194304 42945 0 0 0 321249 73 0 0 20 0 1 0 23635701 143007744 32261 134679101440 4194304 6891213 140732725465936 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 28327936 140732725470197 140732725470313 140732725470313 140732725477323 0
/proc/264030/statm: 34914 32261 468 659 0 34118 0
Current children cumulated CPU time: 3213.22 s
Current children cumulated vsize: 149588 KiB
Current children cumulated memory: 131740 KiB
[startup+3282.3 s]
/proc/loadavg: 4.22 4.27 4.14 7/244 265617
/proc/meminfo: memFree=113687600/131655788 swapFree=131061124/131071996
[pid=264015] ppid=264005 vsize=9932 memory=2696 CPUtime=0 cores=4,6
/proc/264015/stat : 264015 (naps-1.03.sh) S 264005 264015 263941 0 -1 4194304 220 243 0 0 0 0 0 0 20 0 1 0 23635701 10170368 674 134679101440 93928055791616 93928056870936 140724637940592 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 93928058969392 93928059016580 93928066662400 140724637946852 140724637946981 140724637946981 140724637953992 0
/proc/264015/statm: 2483 674 596 264 0 134 0
[pid=264030] ppid=264015 vsize=219796 memory=195860 CPUtime=3273.03 cores=4,6
/proc/264030/stat : 264030 (naps-1.03) R 264015 264015 263941 0 -1 4194304 43888 0 0 0 327228 75 0 0 20 0 1 0 23635701 225071104 48965 134679101440 4194304 6891213 140732725465936 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 28327936 140732725470197 140732725470313 140732725470313 140732725477323 0
/proc/264030/statm: 54949 48965 468 659 0 54153 0
Current children cumulated CPU time: 3273.03 s
Current children cumulated vsize: 229728 KiB
Current children cumulated memory: 198556 KiB
[startup+3342.3 s]
/proc/loadavg: 4.18 4.25 4.14 7/244 265628
/proc/meminfo: memFree=113669976/131655788 swapFree=131061124/131071996
[pid=264015] ppid=264005 vsize=9932 memory=2696 CPUtime=0 cores=4,6
/proc/264015/stat : 264015 (naps-1.03.sh) S 264005 264015 263941 0 -1 4194304 220 243 0 0 0 0 0 0 20 0 1 0 23635701 10170368 674 134679101440 93928055791616 93928056870936 140724637940592 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 93928058969392 93928059016580 93928066662400 140724637946852 140724637946981 140724637946981 140724637953992 0
/proc/264015/statm: 2483 674 596 264 0 134 0
[pid=264030] ppid=264015 vsize=219796 memory=217112 CPUtime=3332.84 cores=4,6
/proc/264030/stat : 264030 (naps-1.03) R 264015 264015 263941 0 -1 4194304 44114 0 0 0 333208 76 0 0 20 0 1 0 23635701 225071104 54278 134679101440 4194304 6891213 140732725465936 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 28327936 140732725470197 140732725470313 140732725470313 140732725477323 0
/proc/264030/statm: 54949 54278 468 659 0 54153 0
Current children cumulated CPU time: 3332.84 s
Current children cumulated vsize: 229728 KiB
Current children cumulated memory: 219808 KiB
[startup+3402.3 s]
/proc/loadavg: 4.17 4.23 4.14 7/244 265638
/proc/meminfo: memFree=113633804/131655788 swapFree=131061124/131071996
[pid=264015] ppid=264005 vsize=9932 memory=2696 CPUtime=0 cores=4,6
/proc/264015/stat : 264015 (naps-1.03.sh) S 264005 264015 263941 0 -1 4194304 220 243 0 0 0 0 0 0 20 0 1 0 23635701 10170368 674 134679101440 93928055791616 93928056870936 140724637940592 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 93928058969392 93928059016580 93928066662400 140724637946852 140724637946981 140724637946981 140724637953992 0
/proc/264015/statm: 2483 674 596 264 0 134 0
[pid=264030] ppid=264015 vsize=188976 memory=173260 CPUtime=3392.65 cores=4,6
/proc/264030/stat : 264030 (naps-1.03) R 264015 264015 263941 0 -1 4194304 44596 0 0 0 339188 77 0 0 20 0 1 0 23635701 193511424 43315 134679101440 4194304 6891213 140732725465936 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 28327936 140732725470197 140732725470313 140732725470313 140732725477323 0
/proc/264030/statm: 47244 43315 468 659 0 46448 0
Current children cumulated CPU time: 3392.65 s
Current children cumulated vsize: 198908 KiB
Current children cumulated memory: 175956 KiB
[startup+3462.3 s]
/proc/loadavg: 4.11 4.20 4.13 7/244 265817
/proc/meminfo: memFree=113674280/131655788 swapFree=131061124/131071996
[pid=264015] ppid=264005 vsize=9932 memory=2696 CPUtime=0 cores=4,6
/proc/264015/stat : 264015 (naps-1.03.sh) S 264005 264015 263941 0 -1 4194304 220 243 0 0 0 0 0 0 20 0 1 0 23635701 10170368 674 134679101440 93928055791616 93928056870936 140724637940592 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 93928058969392 93928059016580 93928066662400 140724637946852 140724637946981 140724637946981 140724637953992 0
/proc/264015/statm: 2483 674 596 264 0 134 0
[pid=264030] ppid=264015 vsize=219796 memory=198028 CPUtime=3452.46 cores=4,6
/proc/264030/stat : 264030 (naps-1.03) R 264015 264015 263941 0 -1 4194304 45226 0 0 0 345168 78 0 0 20 0 1 0 23635701 225071104 49507 134679101440 4194304 6891213 140732725465936 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 28327936 140732725470197 140732725470313 140732725470313 140732725477323 0
/proc/264030/statm: 54949 49507 468 659 0 54153 0
Current children cumulated CPU time: 3452.46 s
Current children cumulated vsize: 229728 KiB
Current children cumulated memory: 200724 KiB
[startup+3522.3 s]
/proc/loadavg: 4.16 4.19 4.13 7/244 265829
/proc/meminfo: memFree=113691580/131655788 swapFree=131061124/131071996
[pid=264015] ppid=264005 vsize=9932 memory=2696 CPUtime=0 cores=4,6
/proc/264015/stat : 264015 (naps-1.03.sh) S 264005 264015 263941 0 -1 4194304 220 243 0 0 0 0 0 0 20 0 1 0 23635701 10170368 674 134679101440 93928055791616 93928056870936 140724637940592 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 93928058969392 93928059016580 93928066662400 140724637946852 140724637946981 140724637946981 140724637953992 0
/proc/264015/statm: 2483 674 596 264 0 134 0
[pid=264030] ppid=264015 vsize=219796 memory=214488 CPUtime=3512.28 cores=4,6
/proc/264030/stat : 264030 (naps-1.03) R 264015 264015 263941 0 -1 4194304 45282 0 0 0 351149 79 0 0 20 0 1 0 23635701 225071104 53622 134679101440 4194304 6891213 140732725465936 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 28327936 140732725470197 140732725470313 140732725470313 140732725477323 0
/proc/264030/statm: 54949 53622 468 659 0 54153 0
Current children cumulated CPU time: 3512.28 s
Current children cumulated vsize: 229728 KiB
Current children cumulated memory: 217184 KiB
[startup+3582.3 s]
/proc/loadavg: 4.12 4.17 4.13 7/244 265842
/proc/meminfo: memFree=113645244/131655788 swapFree=131061124/131071996
[pid=264015] ppid=264005 vsize=9932 memory=2696 CPUtime=0 cores=4,6
/proc/264015/stat : 264015 (naps-1.03.sh) S 264005 264015 263941 0 -1 4194304 220 243 0 0 0 0 0 0 20 0 1 0 23635701 10170368 674 134679101440 93928055791616 93928056870936 140724637940592 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 93928058969392 93928059016580 93928066662400 140724637946852 140724637946981 140724637946981 140724637953992 0
/proc/264015/statm: 2483 674 596 264 0 134 0
[pid=264030] ppid=264015 vsize=188976 memory=181452 CPUtime=3572.11 cores=4,6
/proc/264030/stat : 264030 (naps-1.03) R 264015 264015 263941 0 -1 4194304 45637 0 0 0 357131 80 0 0 20 0 1 0 23635701 193511424 45363 134679101440 4194304 6891213 140732725465936 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 28327936 140732725470197 140732725470313 140732725470313 140732725477323 0
/proc/264030/statm: 47244 45363 468 659 0 46448 0
Current children cumulated CPU time: 3572.11 s
Current children cumulated vsize: 198908 KiB
Current children cumulated memory: 184148 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.3 s]
/proc/loadavg: 4.08 4.16 4.12 7/241 265858
/proc/meminfo: memFree=113869524/131655788 swapFree=131061124/131071996
[pid=264015] ppid=264005 vsize=9932 memory=2696 CPUtime=0 cores=4,6
/proc/264015/stat : 264015 (naps-1.03.sh) S 264005 264015 263941 0 -1 4194304 220 243 0 0 0 0 0 0 20 0 1 0 23635701 10170368 674 134679101440 93928055791616 93928056870936 140724637940592 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 93928058969392 93928059016580 93928066662400 140724637946852 140724637946981 140724637946981 140724637953992 0
/proc/264015/statm: 2483 674 596 264 0 134 0
[pid=264030] ppid=264015 vsize=219796 memory=191884 CPUtime=3600.03 cores=4,6
/proc/264030/stat : 264030 (naps-1.03) R 264015 264015 263941 0 -1 4194304 46220 0 0 0 359923 80 0 0 20 0 1 0 23635701 225071104 47971 134679101440 4194304 6891213 140732725465936 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 28327936 140732725470197 140732725470313 140732725470313 140732725477323 0
/proc/264030/statm: 54949 47971 468 659 0 54153 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 229728 KiB
Current children cumulated memory: 194580 KiB
Sending SIGTERM to process tree (bottom up)
[startup+3610.3 s]
# the end of solver process 264015 was just reported to runsolver
# Child status: 10
# cumulated CPU time of all completed processes: user=3599.24 s, system=0.814346 s
Solver just ended.
Sleeping 2 seconds
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3610.3 s]
/proc/loadavg: 4.08 4.16 4.12 7/241 265858
/proc/meminfo: memFree=113869524/131655788 swapFree=131061124/131071996
[pid=264015] ppid=264005 vsize=9932 memory=2696 CPUtime=0 cores=4,6
/proc/264015/stat : 264015 (naps-1.03.sh) S 264005 264015 263941 0 -1 4194304 220 243 0 0 0 0 0 0 20 0 1 0 23635701 10170368 674 134679101440 93928055791616 93928056870936 140724637940592 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 93928058969392 93928059016580 93928066662400 140724637946852 140724637946981 140724637946981 140724637953992 0
/proc/264015/statm: 2483 674 596 264 0 134 0
[pid=264030] ppid=264015 vsize=219796 memory=191884 CPUtime=3600.03 cores=4,6
/proc/264030/stat : 264030 (naps-1.03) R 264015 264015 263941 0 -1 4194304 46220 0 0 0 359923 80 0 0 20 0 1 0 23635701 225071104 47971 134679101440 4194304 6891213 140732725465936 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 28327936 140732725470197 140732725470313 140732725470313 140732725477323 0
/proc/264030/statm: 54949 47971 468 659 0 54153 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 229728 KiB
Current children cumulated memory: 194580 KiB
Child status: 10
Real time (s): 3610.3
CPU time (s): 3600.06
CPU user time (s): 3599.24
CPU system time (s): 0.814346
CPU usage (%): 99.7161
Max. virtual memory (cumulated for all children) (KiB): 279816
Max. memory (cumulated for all children) (KiB): 227160
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.24
system time used= 0.814346
maximum resident set size= 224464
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 46697
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= 62
involuntary context switches= 2722
# summary of solver processes directly reported to runsolver:
# pid: 264015
# total CPU time (s): 3600.06
# total CPU user time (s): 3599.24
# total CPU system time (s): 0.814346
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.9669 second user time and 40.2619 second system time
The end
Begin job on nodeC005 at 2024-07-25 05:01:03
IDJOB=4458146
IDBENCH=177166
IDSOLVER=3062
FILE ID=nodeC005/4458146-1721876463
RUNJOBID= nodeC005-1721876463-263952
SLURM_JOB_ID= 8089258
Free space on /tmp= 723776 MiB
SOLVER NAME= NaPS-GM 1.03
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.03.sh -GM BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4458146-1721876463/watcher-4458146-1721876463 -o /tmp/evaluation-result-4458146-1721876463/solver-4458146-1721876463 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1721876463-263952 --watchdog 3760 HOME/naps-1.03.sh -GM HOME/instance-4458146-1721876463.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= f787a6cdbf9022e9105f9cdbff614d2d
RANDOM SEED=291892733
nodeC005.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.118
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 : 6983.14
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.122
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.31
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.119
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 : 6983.14
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.112
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.31
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.127
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 : 6983.14
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.124
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.31
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.116
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 : 6983.14
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.116
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.31
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131655788 kB
MemFree: 114364844 kB
MemAvailable: 129961840 kB
Buffers: 285848 kB
Cached: 16086568 kB
SwapCached: 620 kB
Active: 2544288 kB
Inactive: 14089712 kB
Active(anon): 1552 kB
Inactive(anon): 313304 kB
Active(file): 2542736 kB
Inactive(file): 13776408 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131061124 kB
Dirty: 22440 kB
Writeback: 0 kB
AnonPages: 261196 kB
Mapped: 119772 kB
Shmem: 53264 kB
KReclaimable: 235768 kB
Slab: 346404 kB
SReclaimable: 235768 kB
SUnreclaim: 110636 kB
KernelStack: 3600 kB
PageTables: 10176 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196899888 kB
Committed_AS: 544800 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 11616 kB
HardwareCorrupted: 0 kB
AnonHugePages: 141312 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: 406344 kB
DirectMap2M: 45635584 kB
DirectMap1G: 90177536 kB
Free space on /tmp at the end= 723760 MiB
End job on nodeC005 at 2024-07-25 06:01:13