0.00/0.00 c NaPS 1.03.
0.00/0.00 c Input file name: HOME/instance-4458147-1721876531.opb
0.39/0.45 c single stage optimization mode
0.39/0.45 o 0
3600.00/3609.80 c
3600.00/3609.80 c *** TERMINATED *** by signal 15
3600.00/3609.80 s SATISFIABLE
3600.00/3609.80 c _____________________________________________________________________________
3600.00/3609.80 c std/band forms : 2,1404
3600.00/3609.80 c 2cl/3cl ITE-codings : 157,6858
3600.00/3609.80 c BDD/srt/adr Max costs : 14248,0,0
3600.00/3609.80 c BDDraw/bin/mul/srt/adr: 1406,0,0,0,0
3600.00/3609.80 c BDD nodes : 17056
3600.00/3609.80 c Es1/CC detections : 0,0
3600.00/3609.80 c CC sort : 0
3600.00/3609.80 c SAT/UNSAT calls : 1,1
3600.00/3609.80 c regenrated variables : 0
3600.00/3609.80 c eliminated fixed lits : 0
3600.00/3609.80 c goal lit flips : 0
3600.00/3609.80 c goal stages : 1
3600.00/3609.80 c goal shrink : 0
3600.00/3609.80 c goal coeff separations: 10
3600.00/3609.80 c restarts : 0
3600.00/3609.80 c conflicts : 32 (0 /sec)
3600.00/3609.80 c decisions : 37 (0 /sec)
3600.00/3609.80 c propagations : 14050 (4 /sec)
3600.00/3609.80 c inspects : 0 (0 /sec)
3600.00/3609.80 c CPU time (solving tm) : 3600 s (3599 s, SAT 0.008355 s, UNSAT 0.003508 s)
3600.00/3609.80 c Time for Opt-base : 0 s
3600.00/3609.80 c Steps for Opt-base : 0
3600.00/3609.80 c Time for BDD coding : 0.1913 s
3600.00/3609.80 c Time for srt coding : 0 s
3600.00/3609.80 c _____________________________________________________________________________
3600.00/3609.80 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.00/3609.80 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.00/3609.80 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: 64096 MiB (62010 MiB free)
memory of node 1: 64473 MiB (61530 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4458147-1721876531/watcher-4458147-1721876531 -o /tmp/evaluation-result-4458147-1721876531/solver-4458147-1721876531 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC002-1721876531-221820 --watchdog 3760 HOME/naps-1.03.sh HOME/instance-4458147-1721876531.opb
running on 2 cores: 5,7
CPU governors:
performance: 5 7
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
solver pid=221893, runsolver pid=221890
Current StackSize limit: 8192 KiB
[startup+0.100221 s]*
/proc/loadavg: 0.99 1.87 3.02 6/249 221898
/proc/meminfo: memFree=126493772/131655788 swapFree=131070192/131071996
[pid=221893] ppid=221890 vsize=9932 memory=2760 CPUtime=0 cores=5,7
/proc/221893/stat : 221893 (naps-1.03.sh) S 221890 221893 221807 0 -1 4194304 218 240 0 0 0 0 0 0 20 0 1 0 23641994 10170368 690 134679101440 93969205338112 93969206417432 140735933971872 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 93969208515888 93969208563076 93969241690112 140735933973476 140735933973601 140735933973601 140735933980616 0
/proc/221893/statm: 2483 690 611 264 0 134 0
[pid=221898] ppid=221893 vsize=6432 memory=5052 CPUtime=0.08 cores=5,7
/proc/221898/stat : 221898 (naps-1.03) R 221893 221893 221807 0 -1 4194304 793 0 0 0 8 0 0 0 20 0 1 0 23641994 6586368 1263 134679101440 4194304 6891213 140725426476240 0 0 0 0 0 17922 0 0 0 17 7 0 0 0 0 0 7398840 7447120 21721088 140725426484213 140725426484325 140725426484325 140725426491339 0
/proc/221898/statm: 1608 1263 580 659 0 812 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 16364 KiB
Current children cumulated memory: 7812 KiB
[startup+0.221219 s]*
/proc/loadavg: 0.99 1.87 3.02 5/249 221898
/proc/meminfo: memFree=126484372/131655788 swapFree=131070192/131071996
[pid=221893] ppid=221890 vsize=9932 memory=2760 CPUtime=0 cores=5,7
/proc/221893/stat : 221893 (naps-1.03.sh) S 221890 221893 221807 0 -1 4194304 218 240 0 0 0 0 0 0 20 0 1 0 23641994 10170368 690 134679101440 93969205338112 93969206417432 140735933971872 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 93969208515888 93969208563076 93969241690112 140735933973476 140735933973601 140735933973601 140735933980616 0
/proc/221893/statm: 2483 690 611 264 0 134 0
[pid=221898] ppid=221893 vsize=9288 memory=8084 CPUtime=0.19 cores=5,7
/proc/221898/stat : 221898 (naps-1.03) R 221893 221893 221807 0 -1 4194304 1593 0 0 0 19 0 0 0 20 0 1 0 23641994 9510912 2021 134679101440 4194304 6891213 140725426476240 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 21721088 140725426484213 140725426484325 140725426484325 140725426491339 0
/proc/221898/statm: 2322 2021 580 659 0 1526 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 19220 KiB
Current children cumulated memory: 10844 KiB
[startup+0.313469 s]*
/proc/loadavg: 0.99 1.87 3.02 5/249 221898
/proc/meminfo: memFree=126480788/131655788 swapFree=131070192/131071996
[pid=221893] ppid=221890 vsize=9932 memory=2760 CPUtime=0 cores=5,7
/proc/221893/stat : 221893 (naps-1.03.sh) S 221890 221893 221807 0 -1 4194304 218 240 0 0 0 0 0 0 20 0 1 0 23641994 10170368 690 134679101440 93969205338112 93969206417432 140735933971872 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 93969208515888 93969208563076 93969241690112 140735933973476 140735933973601 140735933973601 140735933980616 0
/proc/221893/statm: 2483 690 611 264 0 134 0
[pid=221898] ppid=221893 vsize=9720 memory=8404 CPUtime=0.29 cores=5,7
/proc/221898/stat : 221898 (naps-1.03) R 221893 221893 221807 0 -1 4194304 1669 0 0 0 28 1 0 0 20 0 1 0 23641994 9953280 2101 134679101440 4194304 6891213 140725426476240 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 21721088 140725426484213 140725426484325 140725426484325 140725426491339 0
/proc/221898/statm: 2430 2101 596 659 0 1634 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 19652 KiB
Current children cumulated memory: 11164 KiB
[startup+0.700358 s]
/proc/loadavg: 0.99 1.87 3.02 6/249 221898
/proc/meminfo: memFree=126466900/131655788 swapFree=131070192/131071996
[pid=221893] ppid=221890 vsize=9932 memory=2760 CPUtime=0 cores=5,7
/proc/221893/stat : 221893 (naps-1.03.sh) S 221890 221893 221807 0 -1 4194304 218 240 0 0 0 0 0 0 20 0 1 0 23641994 10170368 690 134679101440 93969205338112 93969206417432 140735933971872 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 93969208515888 93969208563076 93969241690112 140735933973476 140735933973601 140735933973601 140735933980616 0
/proc/221893/statm: 2483 690 611 264 0 134 0
[pid=221898] ppid=221893 vsize=18120 memory=16120 CPUtime=0.66 cores=5,7
/proc/221898/stat : 221898 (naps-1.03) R 221893 221893 221807 0 -1 4194304 3855 0 0 0 64 2 0 0 20 0 1 0 23641994 18554880 4030 134679101440 4194304 6891213 140725426476240 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 21721088 140725426484213 140725426484325 140725426484325 140725426491339 0
/proc/221898/statm: 4530 4030 644 659 0 3734 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 28052 KiB
Current children cumulated memory: 18880 KiB
[startup+1.50044 s]
/proc/loadavg: 0.99 1.87 3.02 6/249 221898
/proc/meminfo: memFree=126452136/131655788 swapFree=131070192/131071996
[pid=221893] ppid=221890 vsize=9932 memory=2760 CPUtime=0 cores=5,7
/proc/221893/stat : 221893 (naps-1.03.sh) S 221890 221893 221807 0 -1 4194304 218 240 0 0 0 0 0 0 20 0 1 0 23641994 10170368 690 134679101440 93969205338112 93969206417432 140735933971872 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 93969208515888 93969208563076 93969241690112 140735933973476 140735933973601 140735933973601 140735933980616 0
/proc/221893/statm: 2483 690 611 264 0 134 0
[pid=221898] ppid=221893 vsize=20912 memory=19216 CPUtime=1.45 cores=5,7
/proc/221898/stat : 221898 (naps-1.03) R 221893 221893 221807 0 -1 4194304 6658 0 0 0 143 2 0 0 20 0 1 0 23641994 21413888 4804 134679101440 4194304 6891213 140725426476240 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 21721088 140725426484213 140725426484325 140725426484325 140725426491339 0
/proc/221898/statm: 5228 4804 660 659 0 4432 0
Current children cumulated CPU time: 1.45 s
Current children cumulated vsize: 30844 KiB
Current children cumulated memory: 21976 KiB
[startup+3.11264 s]
/proc/loadavg: 1.31 1.92 3.03 5/249 221898
/proc/meminfo: memFree=126416792/131655788 swapFree=131070192/131071996
[pid=221893] ppid=221890 vsize=9932 memory=2760 CPUtime=0 cores=5,7
/proc/221893/stat : 221893 (naps-1.03.sh) S 221890 221893 221807 0 -1 4194304 218 240 0 0 0 0 0 0 20 0 1 0 23641994 10170368 690 134679101440 93969205338112 93969206417432 140735933971872 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 93969208515888 93969208563076 93969241690112 140735933973476 140735933973601 140735933973601 140735933980616 0
/proc/221893/statm: 2483 690 611 264 0 134 0
[pid=221898] ppid=221893 vsize=21164 memory=19024 CPUtime=3.07 cores=5,7
/proc/221898/stat : 221898 (naps-1.03) R 221893 221893 221807 0 -1 4194304 8277 0 0 0 304 3 0 0 20 0 1 0 23641994 21671936 4756 134679101440 4194304 6891213 140725426476240 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 21721088 140725426484213 140725426484325 140725426484325 140725426491339 0
/proc/221898/statm: 5291 4756 660 659 0 4495 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 31096 KiB
Current children cumulated memory: 21784 KiB
[startup+6.30035 s]
/proc/loadavg: 1.31 1.92 3.03 5/249 221898
/proc/meminfo: memFree=126413496/131655788 swapFree=131070192/131071996
[pid=221893] ppid=221890 vsize=9932 memory=2760 CPUtime=0 cores=5,7
/proc/221893/stat : 221893 (naps-1.03.sh) S 221890 221893 221807 0 -1 4194304 218 240 0 0 0 0 0 0 20 0 1 0 23641994 10170368 690 134679101440 93969205338112 93969206417432 140735933971872 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 93969208515888 93969208563076 93969241690112 140735933973476 140735933973601 140735933973601 140735933980616 0
/proc/221893/statm: 2483 690 611 264 0 134 0
[pid=221898] ppid=221893 vsize=19804 memory=18372 CPUtime=6.24 cores=5,7
/proc/221898/stat : 221898 (naps-1.03) R 221893 221893 221807 0 -1 4194304 9301 0 0 0 621 3 0 0 20 0 1 0 23641994 20279296 4593 134679101440 4194304 6891213 140725426476240 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 21721088 140725426484213 140725426484325 140725426484325 140725426491339 0
/proc/221898/statm: 4951 4593 660 659 0 4155 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 29736 KiB
Current children cumulated memory: 21132 KiB
[startup+12.7004 s]
/proc/loadavg: 1.53 1.96 3.03 5/249 221900
/proc/meminfo: memFree=126402844/131655788 swapFree=131070192/131071996
[pid=221893] ppid=221890 vsize=9932 memory=2760 CPUtime=0 cores=5,7
/proc/221893/stat : 221893 (naps-1.03.sh) S 221890 221893 221807 0 -1 4194304 218 240 0 0 0 0 0 0 20 0 1 0 23641994 10170368 690 134679101440 93969205338112 93969206417432 140735933971872 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 93969208515888 93969208563076 93969241690112 140735933973476 140735933973601 140735933973601 140735933980616 0
/proc/221893/statm: 2483 690 611 264 0 134 0
[pid=221898] ppid=221893 vsize=24652 memory=22936 CPUtime=12.63 cores=5,7
/proc/221898/stat : 221898 (naps-1.03) R 221893 221893 221807 0 -1 4194304 11144 0 0 0 1259 4 0 0 20 0 1 0 23641994 25243648 5734 134679101440 4194304 6891213 140725426476240 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 21721088 140725426484213 140725426484325 140725426484325 140725426491339 0
/proc/221898/statm: 6163 5734 660 659 0 5367 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 34584 KiB
Current children cumulated memory: 25696 KiB
[startup+25.5004 s]
/proc/loadavg: 2.08 2.06 3.05 5/249 221901
/proc/meminfo: memFree=126390672/131655788 swapFree=131070192/131071996
[pid=221893] ppid=221890 vsize=9932 memory=2760 CPUtime=0 cores=5,7
/proc/221893/stat : 221893 (naps-1.03.sh) S 221890 221893 221807 0 -1 4194304 218 240 0 0 0 0 0 0 20 0 1 0 23641994 10170368 690 134679101440 93969205338112 93969206417432 140735933971872 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 93969208515888 93969208563076 93969241690112 140735933973476 140735933973601 140735933973601 140735933980616 0
/proc/221893/statm: 2483 690 611 264 0 134 0
[pid=221898] ppid=221893 vsize=30148 memory=28532 CPUtime=25.39 cores=5,7
/proc/221898/stat : 221898 (naps-1.03) R 221893 221893 221807 0 -1 4194304 14608 0 0 0 2535 4 0 0 20 0 1 0 23641994 30871552 7133 134679101440 4194304 6891213 140725426476240 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 21721088 140725426484213 140725426484325 140725426484325 140725426491339 0
/proc/221898/statm: 7537 7133 660 659 0 6741 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 40080 KiB
Current children cumulated memory: 31292 KiB
[startup+51.1127 s]
/proc/loadavg: 2.81 2.23 3.08 5/249 221906
/proc/meminfo: memFree=126368552/131655788 swapFree=131070192/131071996
[pid=221893] ppid=221890 vsize=9932 memory=2760 CPUtime=0 cores=5,7
/proc/221893/stat : 221893 (naps-1.03.sh) S 221890 221893 221807 0 -1 4194304 218 240 0 0 0 0 0 0 20 0 1 0 23641994 10170368 690 134679101440 93969205338112 93969206417432 140735933971872 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 93969208515888 93969208563076 93969241690112 140735933973476 140735933973601 140735933973601 140735933980616 0
/proc/221893/statm: 2483 690 611 264 0 134 0
[pid=221898] ppid=221893 vsize=37548 memory=36028 CPUtime=50.93 cores=5,7
/proc/221898/stat : 221898 (naps-1.03) R 221893 221893 221807 0 -1 4194304 17026 0 0 0 5088 5 0 0 20 0 1 0 23641994 38449152 9007 134679101440 4194304 6891213 140725426476240 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 21721088 140725426484213 140725426484325 140725426484325 140725426491339 0
/proc/221898/statm: 9387 9007 660 659 0 8591 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 47480 KiB
Current children cumulated memory: 38788 KiB
[startup+102.3 s]
/proc/loadavg: 3.56 2.53 3.14 5/249 221915
/proc/meminfo: memFree=126324788/131655788 swapFree=131070192/131071996
[pid=221893] ppid=221890 vsize=9932 memory=2760 CPUtime=0 cores=5,7
/proc/221893/stat : 221893 (naps-1.03.sh) S 221890 221893 221807 0 -1 4194304 218 240 0 0 0 0 0 0 20 0 1 0 23641994 10170368 690 134679101440 93969205338112 93969206417432 140735933971872 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 93969208515888 93969208563076 93969241690112 140735933973476 140735933973601 140735933973601 140735933980616 0
/proc/221893/statm: 2483 690 611 264 0 134 0
[pid=221898] ppid=221893 vsize=47456 memory=45524 CPUtime=101.98 cores=5,7
/proc/221898/stat : 221898 (naps-1.03) R 221893 221893 221807 0 -1 4194304 24691 0 0 0 10191 7 0 0 20 0 1 0 23641994 48594944 11381 134679101440 4194304 6891213 140725426476240 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 21721088 140725426484213 140725426484325 140725426484325 140725426491339 0
/proc/221898/statm: 11864 11381 660 659 0 11068 0
Current children cumulated CPU time: 101.98 s
Current children cumulated vsize: 57388 KiB
Current children cumulated memory: 48284 KiB
[startup+162.3 s]
/proc/loadavg: 4.02 2.84 3.21 5/249 221925
/proc/meminfo: memFree=126314036/131655788 swapFree=131070192/131071996
[pid=221893] ppid=221890 vsize=9932 memory=2760 CPUtime=0 cores=5,7
/proc/221893/stat : 221893 (naps-1.03.sh) S 221890 221893 221807 0 -1 4194304 218 240 0 0 0 0 0 0 20 0 1 0 23641994 10170368 690 134679101440 93969205338112 93969206417432 140735933971872 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 93969208515888 93969208563076 93969241690112 140735933973476 140735933973601 140735933973601 140735933980616 0
/proc/221893/statm: 2483 690 611 264 0 134 0
[pid=221898] ppid=221893 vsize=48608 memory=46968 CPUtime=161.82 cores=5,7
/proc/221898/stat : 221898 (naps-1.03) R 221893 221893 221807 0 -1 4194304 27703 0 0 0 16173 9 0 0 20 0 1 0 23641994 49774592 11742 134679101440 4194304 6891213 140725426476240 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 21721088 140725426484213 140725426484325 140725426484325 140725426491339 0
/proc/221898/statm: 12152 11742 660 659 0 11356 0
Current children cumulated CPU time: 161.82 s
Current children cumulated vsize: 58540 KiB
Current children cumulated memory: 49728 KiB
[startup+222.3 s]
/proc/loadavg: 4.08 3.07 3.27 5/247 221936
/proc/meminfo: memFree=126304688/131655788 swapFree=131070192/131071996
[pid=221893] ppid=221890 vsize=9932 memory=2760 CPUtime=0 cores=5,7
/proc/221893/stat : 221893 (naps-1.03.sh) S 221890 221893 221807 0 -1 4194304 218 240 0 0 0 0 0 0 20 0 1 0 23641994 10170368 690 134679101440 93969205338112 93969206417432 140735933971872 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 93969208515888 93969208563076 93969241690112 140735933973476 140735933973601 140735933973601 140735933980616 0
/proc/221893/statm: 2483 690 611 264 0 134 0
[pid=221898] ppid=221893 vsize=62036 memory=60584 CPUtime=221.66 cores=5,7
/proc/221898/stat : 221898 (naps-1.03) R 221893 221893 221807 0 -1 4194304 30094 0 0 0 22156 10 0 0 20 0 1 0 23641994 63524864 15146 134679101440 4194304 6891213 140725426476240 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 21721088 140725426484213 140725426484325 140725426484325 140725426491339 0
/proc/221898/statm: 15509 15146 660 659 0 14713 0
Current children cumulated CPU time: 221.66 s
################
# More data... #
################
/proc/loadavg: 4.12 4.14 4.09 5/247 223065
/proc/meminfo: memFree=126009540/131655788 swapFree=131070192/131071996
[pid=221893] ppid=221890 vsize=9932 memory=2760 CPUtime=0 cores=5,7
/proc/221893/stat : 221893 (naps-1.03.sh) S 221890 221893 221807 0 -1 4194304 218 240 0 0 0 0 0 0 20 0 1 0 23641994 10170368 690 134679101440 93969205338112 93969206417432 140735933971872 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 93969208515888 93969208563076 93969241690112 140735933973476 140735933973601 140735933973601 140735933980616 0
/proc/221893/statm: 2483 690 611 264 0 134 0
[pid=221898] ppid=221893 vsize=110312 memory=109400 CPUtime=3034.06 cores=5,7
/proc/221898/stat : 221898 (naps-1.03) R 221893 221893 221807 0 -1 4194304 62557 0 0 0 303371 35 0 0 20 0 1 0 23641994 112959488 27350 134679101440 4194304 6891213 140725426476240 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 21721088 140725426484213 140725426484325 140725426484325 140725426491339 0
/proc/221898/statm: 27578 27350 660 659 0 26782 0
Current children cumulated CPU time: 3034.06 s
Current children cumulated vsize: 120244 KiB
Current children cumulated memory: 112160 KiB
[startup+3102.3 s]
/proc/loadavg: 4.11 4.14 4.09 5/247 223076
/proc/meminfo: memFree=126029544/131655788 swapFree=131070192/131071996
[pid=221893] ppid=221890 vsize=9932 memory=2760 CPUtime=0 cores=5,7
/proc/221893/stat : 221893 (naps-1.03.sh) S 221890 221893 221807 0 -1 4194304 218 240 0 0 0 0 0 0 20 0 1 0 23641994 10170368 690 134679101440 93969205338112 93969206417432 140735933971872 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 93969208515888 93969208563076 93969241690112 140735933973476 140735933973601 140735933973601 140735933980616 0
/proc/221893/statm: 2483 690 611 264 0 134 0
[pid=221898] ppid=221893 vsize=137596 memory=136556 CPUtime=3093.89 cores=5,7
/proc/221898/stat : 221898 (naps-1.03) R 221893 221893 221807 0 -1 4194304 63258 0 0 0 309354 35 0 0 20 0 1 0 23641994 140898304 34139 134679101440 4194304 6891213 140725426476240 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 21721088 140725426484213 140725426484325 140725426484325 140725426491339 0
/proc/221898/statm: 34399 34139 660 659 0 33603 0
Current children cumulated CPU time: 3093.89 s
Current children cumulated vsize: 147528 KiB
Current children cumulated memory: 139316 KiB
[startup+3162.3 s]
/proc/loadavg: 4.22 4.16 4.10 5/247 223086
/proc/meminfo: memFree=125945860/131655788 swapFree=131070192/131071996
[pid=221893] ppid=221890 vsize=9932 memory=2760 CPUtime=0 cores=5,7
/proc/221893/stat : 221893 (naps-1.03.sh) S 221890 221893 221807 0 -1 4194304 218 240 0 0 0 0 0 0 20 0 1 0 23641994 10170368 690 134679101440 93969205338112 93969206417432 140735933971872 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 93969208515888 93969208563076 93969241690112 140735933973476 140735933973601 140735933973601 140735933980616 0
/proc/221893/statm: 2483 690 611 264 0 134 0
[pid=221898] ppid=221893 vsize=193684 memory=192644 CPUtime=3153.74 cores=5,7
/proc/221898/stat : 221898 (naps-1.03) R 221893 221893 221807 0 -1 4194304 63540 0 0 0 315337 37 0 0 20 0 1 0 23641994 198332416 48161 134679101440 4194304 6891213 140725426476240 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 21721088 140725426484213 140725426484325 140725426484325 140725426491339 0
/proc/221898/statm: 48421 48161 660 659 0 47625 0
Current children cumulated CPU time: 3153.74 s
Current children cumulated vsize: 203616 KiB
Current children cumulated memory: 195404 KiB
[startup+3222.3 s]
/proc/loadavg: 4.90 4.36 4.17 5/247 223481
/proc/meminfo: memFree=125961088/131655788 swapFree=131070192/131071996
[pid=221893] ppid=221890 vsize=9932 memory=2760 CPUtime=0 cores=5,7
/proc/221893/stat : 221893 (naps-1.03.sh) S 221890 221893 221807 0 -1 4194304 218 240 0 0 0 0 0 0 20 0 1 0 23641994 10170368 690 134679101440 93969205338112 93969206417432 140735933971872 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 93969208515888 93969208563076 93969241690112 140735933973476 140735933973601 140735933973601 140735933980616 0
/proc/221893/statm: 2483 690 611 264 0 134 0
[pid=221898] ppid=221893 vsize=137240 memory=136200 CPUtime=3213.59 cores=5,7
/proc/221898/stat : 221898 (naps-1.03) R 221893 221893 221807 0 -1 4194304 64308 0 0 0 321321 38 0 0 20 0 1 0 23641994 140533760 34050 134679101440 4194304 6891213 140725426476240 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 21721088 140725426484213 140725426484325 140725426484325 140725426491339 0
/proc/221898/statm: 34310 34050 660 659 0 33514 0
Current children cumulated CPU time: 3213.59 s
Current children cumulated vsize: 147172 KiB
Current children cumulated memory: 138960 KiB
[startup+3282.3 s]
/proc/loadavg: 4.78 4.41 4.20 5/247 223492
/proc/meminfo: memFree=125984696/131655788 swapFree=131070192/131071996
[pid=221893] ppid=221890 vsize=9932 memory=2760 CPUtime=0 cores=5,7
/proc/221893/stat : 221893 (naps-1.03.sh) S 221890 221893 221807 0 -1 4194304 218 240 0 0 0 0 0 0 20 0 1 0 23641994 10170368 690 134679101440 93969205338112 93969206417432 140735933971872 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 93969208515888 93969208563076 93969241690112 140735933973476 140735933973601 140735933973601 140735933980616 0
/proc/221893/statm: 2483 690 611 264 0 134 0
[pid=221898] ppid=221893 vsize=167612 memory=166492 CPUtime=3273.42 cores=5,7
/proc/221898/stat : 221898 (naps-1.03) R 221893 221893 221807 0 -1 4194304 64804 0 0 0 327304 38 0 0 20 0 1 0 23641994 171634688 41623 134679101440 4194304 6891213 140725426476240 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 21721088 140725426484213 140725426484325 140725426484325 140725426491339 0
/proc/221898/statm: 41903 41623 660 659 0 41107 0
Current children cumulated CPU time: 3273.42 s
Current children cumulated vsize: 177544 KiB
Current children cumulated memory: 169252 KiB
[startup+3342.3 s]
/proc/loadavg: 5.94 4.79 4.35 5/247 223502
/proc/meminfo: memFree=125974576/131655788 swapFree=131070192/131071996
[pid=221893] ppid=221890 vsize=9932 memory=2760 CPUtime=0 cores=5,7
/proc/221893/stat : 221893 (naps-1.03.sh) S 221890 221893 221807 0 -1 4194304 218 240 0 0 0 0 0 0 20 0 1 0 23641994 10170368 690 134679101440 93969205338112 93969206417432 140735933971872 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 93969208515888 93969208563076 93969241690112 140735933973476 140735933973601 140735933973601 140735933980616 0
/proc/221893/statm: 2483 690 611 264 0 134 0
[pid=221898] ppid=221893 vsize=137240 memory=136200 CPUtime=3333.26 cores=5,7
/proc/221898/stat : 221898 (naps-1.03) R 221893 221893 221807 0 -1 4194304 64883 0 0 0 333288 38 0 0 20 0 1 0 23641994 140533760 34050 134679101440 4194304 6891213 140725426476240 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 21721088 140725426484213 140725426484325 140725426484325 140725426491339 0
/proc/221898/statm: 34310 34050 660 659 0 33514 0
Current children cumulated CPU time: 3333.26 s
Current children cumulated vsize: 147172 KiB
Current children cumulated memory: 138960 KiB
[startup+3402.3 s]
/proc/loadavg: 5.39 4.85 4.40 5/248 223682
/proc/meminfo: memFree=125942616/131655788 swapFree=131070192/131071996
[pid=221893] ppid=221890 vsize=9932 memory=2760 CPUtime=0 cores=5,7
/proc/221893/stat : 221893 (naps-1.03.sh) S 221890 221893 221807 0 -1 4194304 218 240 0 0 0 0 0 0 20 0 1 0 23641994 10170368 690 134679101440 93969205338112 93969206417432 140735933971872 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 93969208515888 93969208563076 93969241690112 140735933973476 140735933973601 140735933973601 140735933980616 0
/proc/221893/statm: 2483 690 611 264 0 134 0
[pid=221898] ppid=221893 vsize=137240 memory=136200 CPUtime=3393.11 cores=5,7
/proc/221898/stat : 221898 (naps-1.03) R 221893 221893 221807 0 -1 4194304 64896 0 0 0 339273 38 0 0 20 0 1 0 23641994 140533760 34050 134679101440 4194304 6891213 140725426476240 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 21721088 140725426484213 140725426484325 140725426484325 140725426491339 0
/proc/221898/statm: 34310 34050 660 659 0 33514 0
Current children cumulated CPU time: 3393.11 s
Current children cumulated vsize: 147172 KiB
Current children cumulated memory: 138960 KiB
[startup+3462.3 s]
/proc/loadavg: 4.61 4.73 4.38 5/249 223695
/proc/meminfo: memFree=125869644/131655788 swapFree=131070192/131071996
[pid=221893] ppid=221890 vsize=9932 memory=2760 CPUtime=0 cores=5,7
/proc/221893/stat : 221893 (naps-1.03.sh) S 221890 221893 221807 0 -1 4194304 218 240 0 0 0 0 0 0 20 0 1 0 23641994 10170368 690 134679101440 93969205338112 93969206417432 140735933971872 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 93969208515888 93969208563076 93969241690112 140735933973476 140735933973601 140735933973601 140735933980616 0
/proc/221893/statm: 2483 690 611 264 0 134 0
[pid=221898] ppid=221893 vsize=178076 memory=176932 CPUtime=3452.95 cores=5,7
/proc/221898/stat : 221898 (naps-1.03) R 221893 221893 221807 0 -1 4194304 65445 0 0 0 345256 39 0 0 20 0 1 0 23641994 182349824 44233 134679101440 4194304 6891213 140725426476240 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 21721088 140725426484213 140725426484325 140725426484325 140725426491339 0
/proc/221898/statm: 44519 44233 660 659 0 43723 0
Current children cumulated CPU time: 3452.95 s
Current children cumulated vsize: 188008 KiB
Current children cumulated memory: 179692 KiB
[startup+3522.3 s]
/proc/loadavg: 4.31 4.63 4.37 5/248 223707
/proc/meminfo: memFree=125925784/131655788 swapFree=131070192/131071996
[pid=221893] ppid=221890 vsize=9932 memory=2760 CPUtime=0 cores=5,7
/proc/221893/stat : 221893 (naps-1.03.sh) S 221890 221893 221807 0 -1 4194304 218 240 0 0 0 0 0 0 20 0 1 0 23641994 10170368 690 134679101440 93969205338112 93969206417432 140735933971872 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 93969208515888 93969208563076 93969241690112 140735933973476 140735933973601 140735933973601 140735933980616 0
/proc/221893/statm: 2483 690 611 264 0 134 0
[pid=221898] ppid=221893 vsize=137240 memory=136200 CPUtime=3512.78 cores=5,7
/proc/221898/stat : 221898 (naps-1.03) R 221893 221893 221807 0 -1 4194304 66112 0 0 0 351238 40 0 0 20 0 1 0 23641994 140533760 34050 134679101440 4194304 6891213 140725426476240 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 21721088 140725426484213 140725426484325 140725426484325 140725426491339 0
/proc/221898/statm: 34310 34050 660 659 0 33514 0
Current children cumulated CPU time: 3512.78 s
Current children cumulated vsize: 147172 KiB
Current children cumulated memory: 138960 KiB
[startup+3582.3 s]
/proc/loadavg: 4.23 4.54 4.35 5/248 223729
/proc/meminfo: memFree=125915288/131655788 swapFree=131070192/131071996
[pid=221893] ppid=221890 vsize=9932 memory=2760 CPUtime=0 cores=5,7
/proc/221893/stat : 221893 (naps-1.03.sh) S 221890 221893 221807 0 -1 4194304 218 240 0 0 0 0 0 0 20 0 1 0 23641994 10170368 690 134679101440 93969205338112 93969206417432 140735933971872 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 93969208515888 93969208563076 93969241690112 140735933973476 140735933973601 140735933973601 140735933980616 0
/proc/221893/statm: 2483 690 611 264 0 134 0
[pid=221898] ppid=221893 vsize=179252 memory=177952 CPUtime=3572.59 cores=5,7
/proc/221898/stat : 221898 (naps-1.03) R 221893 221893 221807 0 -1 4194304 66968 0 0 0 357218 41 0 0 20 0 1 0 23641994 183554048 44488 134679101440 4194304 6891213 140725426476240 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 21721088 140725426484213 140725426484325 140725426484325 140725426491339 0
/proc/221898/statm: 44813 44488 660 659 0 44017 0
Current children cumulated CPU time: 3572.59 s
Current children cumulated vsize: 189184 KiB
Current children cumulated memory: 180712 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.8 s]
/proc/loadavg: 4.14 4.49 4.34 5/248 223734
/proc/meminfo: memFree=125907148/131655788 swapFree=131070192/131071996
[pid=221893] ppid=221890 vsize=9932 memory=2760 CPUtime=0 cores=5,7
/proc/221893/stat : 221893 (naps-1.03.sh) S 221890 221893 221807 0 -1 4194304 218 240 0 0 0 0 0 0 20 0 1 0 23641994 10170368 690 134679101440 93969205338112 93969206417432 140735933971872 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 93969208515888 93969208563076 93969241690112 140735933973476 140735933973601 140735933973601 140735933980616 0
/proc/221893/statm: 2483 690 611 264 0 134 0
[pid=221898] ppid=221893 vsize=179252 memory=178212 CPUtime=3600 cores=5,7
/proc/221898/stat : 221898 (naps-1.03) R 221893 221893 221807 0 -1 4194304 67020 0 0 0 359959 41 0 0 20 0 1 0 23641994 183554048 44553 134679101440 4194304 6891213 140725426476240 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 21721088 140725426484213 140725426484325 140725426484325 140725426491339 0
/proc/221898/statm: 44813 44553 660 659 0 44017 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 189184 KiB
Current children cumulated memory: 180972 KiB
Sending SIGTERM to process tree (bottom up)
[startup+3609.8 s]
# the end of solver process 221893 was just reported to runsolver
# Child status: 10
# cumulated CPU time of all completed processes: user=3599.6 s, system=0.415046 s
Solver just ended.
Sleeping 2 seconds
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 10
Real time (s): 3609.8
CPU time (s): 3600.02
CPU user time (s): 3599.6
CPU system time (s): 0.415046
CPU usage (%): 99.729
Max. virtual memory (cumulated for all children) (KiB): 203616
Max. memory (cumulated for all children) (KiB): 195404
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.6
system time used= 0.415046
maximum resident set size= 192644
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 67493
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= 40
involuntary context switches= 1361
# summary of solver processes directly reported to runsolver:
# pid: 221893
# total CPU time (s): 3600.02
# total CPU user time (s): 3599.6
# total CPU system time (s): 0.415046
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.8493 second user time and 35.8158 second system time
The end
Begin job on nodeC002 at 2024-07-25 05:02:12
IDJOB=4458147
IDBENCH=177166
IDSOLVER=3063
FILE ID=nodeC002/4458147-1721876531
RUNJOBID= nodeC002-1721876531-221820
SLURM_JOB_ID= 8089260
Free space on /tmp= 723768 MiB
SOLVER NAME= NaPS 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 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4458147-1721876531/watcher-4458147-1721876531 -o /tmp/evaluation-result-4458147-1721876531/solver-4458147-1721876531 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC002-1721876531-221820 --watchdog 3760 HOME/naps-1.03.sh HOME/instance-4458147-1721876531.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= f787a6cdbf9022e9105f9cdbff614d2d
RANDOM SEED=12584182
nodeC002.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.203
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.43
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.159
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.41
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.158
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.43
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.430
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.41
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.163
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.43
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.159
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.41
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.173
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.43
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.386
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.41
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131655788 kB
MemFree: 126508764 kB
MemAvailable: 129936316 kB
Buffers: 311412 kB
Cached: 3928972 kB
SwapCached: 72 kB
Active: 2313904 kB
Inactive: 2245364 kB
Active(anon): 1444 kB
Inactive(anon): 371312 kB
Active(file): 2312460 kB
Inactive(file): 1874052 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131070192 kB
Dirty: 21784 kB
Writeback: 16 kB
AnonPages: 317668 kB
Mapped: 104304 kB
Shmem: 53844 kB
KReclaimable: 162480 kB
Slab: 273892 kB
SReclaimable: 162480 kB
SUnreclaim: 111412 kB
KernelStack: 3600 kB
PageTables: 10220 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196899888 kB
Committed_AS: 832348 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 11872 kB
HardwareCorrupted: 0 kB
AnonHugePages: 196608 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: 316232 kB
DirectMap2M: 36288512 kB
DirectMap1G: 99614720 kB
Free space on /tmp at the end= 723760 MiB
End job on nodeC002 at 2024-07-25 06:02:21