0.00/0.01 c initialize IPBHS solver
0.00/0.01 c IPBHS 0.0.0 beta (8d0f613-dirty, Jun 3 2025 11:30:33), compiled with satsolvers: , optimizers: , GreedyOptimizer, Gurobi 12.0.2, RoundingSat 2, , , pbsolvers: RoundingSat 2, BreakID 0.0.0
0.00/0.01 c optimizer = "gurobi"
0.00/0.01 c pbsolver = "roundingsat"
0.00/0.01 c use separate pbsolver for SIS
0.00/0.01 c load symmetries from file ""
0.00/0.01 c set time limit for symmetry computation to 100 seconds.
0.00/0.01 c set interchangeable summation variable limit to 3
0.00/0.01 c set sym compact max subset size to 5
0.00/0.01 c set explicit symmetry matrix usage to 1
0.00/0.01 c sym budget explicit to 100
0.00/0.01 c sym budget explicit lits to 6000
0.00/0.01 c sym budget compact to 100
0.00/0.01 c sym budget compact lits to 6000
0.00/0.01 c sym budget common to 0
0.00/0.01 c sym budget common lits to 0
0.00/0.01 c set sym generation to 's'
0.00/0.01 c set abstraction set creation to 10 iterations without LB change
0.00/0.01 c set abstraction set inputs to 0
0.00/0.01 c set abstraction set cluster min size to 2
0.00/0.01 c set abstraction set cluster max size to 100000000
0.00/0.01 c set abstraction set cluster activation limit to 2
0.00/0.01 c enable abstraction set require equal cost
0.00/0.01 c set abstraction set assumptions to 0
0.00/0.01 c set abstraction set constraint type to 0
0.00/0.01 c set abstract core extraction strategy to b
0.00/0.01 c set core extraction strategy to 2
0.00/0.01 c set core extraction shuffles 10
0.00/0.01 c set cores per iteration to 5
0.00/0.01 c set optimizer bound usage strategy to 2
0.00/0.01 c set optimizer max non-optimal iterations to 1000
0.00/0.01 c set small core cardinality limit to 2
0.00/0.01 c set max coef in cores to 1000000000
0.00/0.01 c set core processing techniques to 4095
0.00/0.01 c set SIS iterations to 5
0.00/0.01 c set SIS budget abs to 1000
0.00/0.01 c set SIS budget rel to 0.05
0.68/0.71 c limit for coefficient in constraints and objective to 1000000000
0.68/0.71 c will solve HOME/instance-4502308-1751434963.opb
0.68/0.71 c [0.01] will start solving
20.44/20.54 c [3.37] solve iteration 1, LB=0, UB=10081
20.44/20.54 c [6.43] solve iteration 2, LB=14, UB=16
20.44/20.54 c [19.54] LB=UB after core extraction
20.44/20.54 c [19.54] instance solved in 19.54s (optimization: 15.63s, core-extraction: 0.1s, SIS: 0s), 2 iterations, LB=15, UB=15,
20.44/20.54 d ITERATIONS 2
20.44/20.54 d SIS 0
20.44/20.54 d SIS_SAT 0
20.44/20.54 d SIS_UNSAT 0
20.44/20.54 d SIS_OUT_OF_BUDGET 0
20.44/20.54 d CORES_EXTRACTED 0
20.44/20.54 d CORES_IN_OPTIMIZER 0
20.44/20.54 d CLAUSAL_CORES_IN_OPTIMIZER 0
20.44/20.54 d CARDINALITY_CORES_IN_OPTIMIZER 0
20.44/20.54 d PB_CORES_IN_OPTIMIZER 0
20.44/20.54 d TIME_EXTRACT_CORES 0.100000
20.44/20.54 d TIME_OPTIMIZE 15.630000
20.44/20.54 d TIME_SIS 0.000000
20.44/20.54 c solve_time: 19.540000
20.44/20.54 s OPTIMUM FOUND
20.44/20.54 o 15
20.44/20.54 v -x10080 -x10068 -x10064 -x10060 -x10056 -x10052 -x10036 -x10032 -x10028 -x10024 -x10004 -x10000 -x9996 -x9976 -x9972 -x9968 -x9940 -x9912 -x9900 -x9896 -x9892 -x9888 -x9884 -x9868 -x9864 -x9860 -x9856 -x9836 -x9832 -x9828 -x9808 -x9804 -x9800 -x9772 -x9744 -x9732 -x9728 -x9724 -x9720 -x9716 -x9700 -x9696 -x9692 -x9688 -x9668 -x9664 -x9660 -x9640 -x9636 -x9632 -x9604 -x9576 -x9564 -x9560 -x9556 -x9552 -x9548 -x9532 -x9528 -x9524 -x9520 -x9500 -x9496 -x9492 -x9472 -x9468 -x9464 -x9436 -x9408 -x9396 -x9392 -x9388 -x9384 -x9380 -x9364 -x9360 -x9356 -x9352 -x9332 -x9328 -x9324 -x9304 -x9300 -x9296 -x9268 -x9240 -x9228 -x9224 -x9220 -x9216 -x9212 -x9196 -x9192 -x9188 -x9184 -x9164 -x9160 -x9156 -x9136 -x9132 -x9128 -x9100 -x9072 -x9060 -x9056 -x9052 -x9048 -x9044 -x9028 -x9024 -x9020 -x9016 -x8996 -x8992 -x8988 -x8968 -x8964 -x8960 -x8932 -x8904 -x8892 -x8888 -x8884 -x8880 -x8876 -x8860 -x8856 -x8852 -x8848 -x8828 -x8824 -x8820 -x8800 -x8796 -x8792 -x8764 -x8736 -x8724 -x8720 -x8716 -x8712 -x8708 -x8692 -x8688 -x8684 -x8680 -x8660 -x8656 -x8652 -x8632 -x8628 -x8624 -x8596 -x8568 -x8556 -x8552 -x8548 -x8544 -x8540 -x8524 -x8520 -x8516 -x8512 -x8492 -x8488 -x8484 -x8464 -x8460 -x8456 -x8428 -x8400 -x8388 -x8384 -x8380 -x8376 -x8372 -x8356 -x8352 -x8348 -x8344 -x8324 -x8320 -x8316 x8296 -x8292 -x8288 -x8260 -x8232 -x8220 -x8216 -x8212 -x8208 -x8204 -x8188 -x8184 -x8180 -x8176 -x8156 -x8152 -x8148 -x8128 -x8124 -x8120 -x8092 -x8064 -x8052 -x8048 -x8044 -x8040 -x8036 -x8020 -x8016 -x8012 -x8008 -x7988 -x7984 -x7980 -x7960 -x7956 x7952 -x7924 -x7896 -x7884 -x7880 -x7876 -x7872 -x7868 -x7852 -x7848 -x7844 -x7840 -x7820 -x7816 -x7812 -x7792 -x7788 -x7784 -x7756 -x7728 -x7716 -x7712 -x7708 -x7704 -x7700 -x7684 -x7680 -x7676 -x7672 -x7652 -x7648 -x7644 -x7624 -x7620 -x7616 -x7588 -x7560 -x7548 -x7544 -x7540 -x7536 -x7532 -x7516 -x7512 -x7508 -x7504 -x7484 -x7480 -x7476 -x7456 -x7452 -x7448 -x7420 -x7392 -x7380 -x7376 -x7372 -x7368 -x7364 -x7348 -x7344 -x7340 -x7336 -x7316 -x7312 -x7308 -x7288 -x7284 -x7280 -x7252 -x7224 -x7212 -x7208 -x7204 -x7200 -x7196 -x7180 -x7176 -x7172 -x7168 -x7148 -x7144 -x7140 -x7120 -x7116 -x7112 -x7084 -x7056 -x7044 -x7040 -x7036 -x7032 -x7028 -x7012 -x7008 -x7004 -x7000 -x6980 -x6976 -x6972 -x6952 -x6948 -x6944 -x6916 -x6888 -x6876 -x6872 -x6868 -x6864 -x6860 -x6844 -x6840 -x6836 -x6832 -x6812 -x6808 -x6804 -x6784 -x6780 -x6776 -x6748 -x6645 -x6641 -x6637 -x6617 -x6613 -x6609 -x6477 -x6473 -x6469 -x6449 -x6445 -x6441 -x6309 -x6305 -x6301 -x6281 -x6277 -x6273 -x6141 -x6137 -x6133 -x6113 -x6109 -x6105 -x5973 -x5969 -x5965 -x5945 -x5941 -x5937 -x5805 -x5801 -x5797 -x5777 -x5773 -x5769 -x5637 -x5633 -x5629 -x5609 -x5605 -x5601 -x5469 -x5465 -x5461 -x5441 -x5437 -x5433 -x5301 -x5297 -x5293 -x5273 -x5269 -x5265 -x5133 -x5129 -x5125 -x5105 -x5101 -x5097 -x4965 -x4961 -x4957 -x4937 -x4933 -x4929 -x4797 -x4793 -x4789 -x4769 -x4765 -x4761 -x4629 -x4625 -x4621 -x4601 -x4597 -x4593 -x4461 -x4457 -x4453 -x4433 -x4429 -x4425 -x4293 -x4289 -x4285 -x4265 -x4261 -x4257 -x4125 -x4121 -x4117 -x4097 -x4093 -x4089 -x3957 -x3953 -x3949 -x3929 -x3925 -x3921 -x3789 -x3785 -x3781 -x3761 -x3757 -x3753 -x3621 -x3617 -x3613 -x3593 -x3589 -x3585 -x3453 -x3449 -x3445 -x3425 -x3421 -x3417 -x3351 -x3350 -x3349 -x3347 -x3346 -x3345 -x3343 -x3342 -x3341 -x3339 -x3338 -x3337 -x3335 -x3334 -x3333 -x3320 -x3319 -x3318 -x3317 -x3316 -x3315 -x3314 -x3313 -x3312 -x3311 -x3310 -x3309 -x3308 -x3307 -x3306 -x3305 -x3288 -x3287 -x3286 -x3285 -x3284 -x3283 -x3282 -x3281 -x3280 -x3279 -x3278 x3277 -x3260 -x3259 -x3258 -x3257 -x3256 -x3255 -x3254 -x3253 -x3252 -x3251 -x3250 -x3249 -x3183 -x3182 -x3181 -x3179 -x3178 -x3177 -x3175 -x3174 -x3173 -x3171 -x3170 -x3169 -x3167 -x3166 -x3165 -x3152 -x3151 -x3150 -x3149 -x3148 -x3147 -x3146 -x3145 -x3144 -x3143 -x3142 -x3141 -x3140 -x3139 -x3138 -x3137 -x3120 -x3119 -x3118 -x3117 -x3116 -x3115 -x3114 -x3113 -x3112 -x3111 -x3110 -x3109 -x3092 -x3091 -x3090 -x3089 -x3088 -x3087 -x3086 -x3085 -x3084 -x3083 -x3082 -x3081 -x3015 -x3014 -x3013 -x3011 -x3010 -x3009 -x3007 -x3006 -x3005 -x3003 -x3002 -x3001 -x2999 -x2998 -x2997 -x2984 -x2983 -x2982 -x2981 -x2980 -x2979 -x2978 -x2977 -x2976 -x2975 -x2974 -x2973 -x2972 -x2971 -x2970 -x2969 -x2952 -x2951 -x2950 -x2949 -x2948 -x2947 -x2946 -x2945 -x2944 -x2943 -x2942 -x2941 -x2924 -x2923 -x2922 -x2921 -x2920 -x2919 -x2918 -x2917 -x2916 -x2915 -x2914 -x2913 -x2847 -x2846 -x2845 -x2843 -x2842 -x2841 -x2839 -x2838 -x2837 -x2835 -x2834 -x2833 -x2831 -x2830 -x2829 -x2816 -x2815 -x2814 -x2813 -x2812 -x2811 -x2810 -x2809 -x2808 -x2807 -x2806 -x2805 -x2804 -x2803 -x2802 -x2801 -x2784 -x2783 -x2782 -x2781 -x2780 -x2779 -x2778 -x2777 -x2776 -x2775 -x2774 -x2773 -x2756 -x2755 -x2754 -x2753 -x2752 -x2751 -x2750 -x2749 -x2748 -x2747 -x2746 -x2745 -x2679 -x2678 -x2677 -x2675 -x2674 -x2673 -x2671 -x2670 -x2669 -x2667 -x2666 -x2665 -x2663 -x2662 -x2661 -x2648 -x2647 -x2646 -x2645 -x2644 -x2643 -x2642 -x2641 -x2640 -x2639 -x2638 -x2637 -x2636 -x2635 -x2634 -x2633 -x2616 -x2615 -x2614 -x2613 -x2612 -x2611 -x2610 -x2609 -x2608 -x2607 -x2606 -x2605 -x2588 -x2587 -x2586 -x2585 -x2584 -x2583 -x2582 -x2581 -x2580 -x2579 -x2578 -x2577 -x2511 -x2510 -x2509 -x2507 -x2506 -x2505 -x2503 -x2502 -x2501 -x2499 -x2498 -x2497 -x2495 -x2494 -x2493 -x2480 -x2479 -x2478 -x2477 -x2476 -x2475 -x2474 -x2473 -x2472 -x2471 -x2470 -x2469 -x2468 -x2467 -x2466 -x2465 -x2448 -x2447 -x2446 -x2445 -x2444 -x2443 -x2442 -x2441 -x2440 -x2439 -x2438 -x2437 -x2420 -x2419 -x2418 -x2417 -x2416 -x2415 -x2414 -x2413 -x2412 -x2411 -x2410 -x2409 -x2343 -x2342 -x2341 -x2339 -x2338 -x2337 -x2335 -x2334 -x2333 -x2331 -x2330 -x2329 -x2327 -x2326 -x2325 -x2312 -x2311 -x2310 -x2309 -x2308 -x2307 -x2306 -x2305 -x2304 -x2303 -x2302 -x2301 -x2300 -x2299 -x2298 -x2297 -x2280 -x2279 -x2278 -x2277 -x2276 -x2275 -x2274 -x2273 -x2272 -x2271 -x2270 -x2269 -x2252 -x2251 -x2250 -x2249 -x2248 -x2247 -x2246 -x2245 -x2244 -x2243 -x2242 -x2241 -x2175 -x2174 -x2173 -x2171 -x2170 -x2169 -x2167 -x2166 -x2165 -x2163 -x2162 -x2161 -x2159 -x2158 -x2157 -x2144 -x2143 -x2142 -x2141 -x2140 -x2139 -x2138 -x2137 -x2136 -x2135 -x2134 -x2133 -x2132 -x2131 -x2130 -x2129 -x2112 -x2111 -x2110 -x2109 -x2108 -x2107 -x2106 -x2105 -x2104 -x2103 -x2102 -x2101 -x2084 -x2083 -x2082 -x2081 -x2080 -x2079 -x2078 -x2077 -x2076 -x2075 -x2074 -x2073 -x2007 -x2006 -x2005 -x2003 -x2002 -x2001 -x1999 -x1998 -x1997 -x1995 -x1994 -x1993 -x1991 -x1990 -x1989 -x1976 -x1975 -x1974 -x1973 -x1972 -x1971 -x1970 -x1969 -x1968 -x1967 -x1966 -x1965 -x1964 -x1963 -x1962 -x1961 -x1944 -x1943 -x1942 -x1941 -x1940 -x1939 -x1938 -x1937 -x1936 -x1935 -x1934 -x1933 -x1916 -x1915 -x1914 -x1913 -x1912 -x1911 -x1910 -x1909 -x1908 -x1907 -x1906 -x1905 -x1839 -x1838 -x1837 -x1835 -x1834 -x1833 -x1831 -x1830 -x1829 -x1827 -x1826 -x1825 -x1823 -x1822 -x1821 -x1808 -x1807 -x1806 -x1805 -x1804 -x1803 -x1802 -x1801 -x1800 -x1799 -x1798 -x1797 -x1796 -x1795 -x1794 -x1793 -x1776 -x1775 -x1774 -x1773 -x1772 -x1771 -x1770 -x1769 -x1768 -x1767 -x1766 -x1765 -x1748 -x1747 -x1746 -x1745 -x1744 -x1743 -x1742 -x1741 -x1740 -x1739 -x1738 -x1737 -x1671 -x1670 -x1669 -x1667 -x1666 -x1665 -x1663 -x1662 -x1661 -x1659 -x1658 -x1657 -x1655 -x1654 -x1653 -x1640 -x1639 -x1638 -x1637 -x1636 -x1635 -x1634 -x1633 -x1632 -x1631 -x1630 -x1629 -x1628 -x1627 -x1626 -x1625 -x1608 -x1607 -x1606 -x1605 -x1604 -x1603 -x1602 -x1601 -x1600 -x1599 -x1598 -x1597 -x1580 -x1579 -x1578 -x1577 -x1576 -x1575 -x1574 -x1573 -x1572 -x1571 -x1570 -x1569 -x1503 -x1502 -x1501 -x1499 -x1498 -x1497 -x1495 -x1494 -x1493 -x1491 -x1490 -x1489 -x1487 -x1486 -x1485 -x1472 -x1471 -x1470 -x1469 -x1468 -x1467 -x1466 -x1465 -x1464 -x1463 -x1462 -x1461 -x1460 -x1459 -x1458 -x1457 -x1440 -x1439 -x1438 -x1437 -x1436 -x1435 -x1434 -x1433 -x1432 -x1431 -x1430 -x1429 -x1412 -x1411 -x1410 -x1409 -x1408 -x1407 -x1406 -x1405 -x1404 -x1403 -x1402 -x1401 -x1335 -x1334 -x1333 -x1331 -x1330 -x1329 -x1327 -x1326 -x1325 -x1323 -x1322 -x1321 -x1319 -x1318 -x1317 -x1304 -x1303 -x1302 -x1301 -x1300 -x1299 -x1298 -x1297 -x1296 -x1295 -x1294 -x1293 -x1292 -x1291 -x1290 -x1289 -x1272 -x1271 -x1270 -x1269 -x1268 -x1267 -x1266 -x1265 -x1264 -x1263 -x1262 -x1261 -x1244 -x1243 -x1242 -x1241 -x1240 -x1239 -x1238 -x1237 -x1236 -x1235 -x1234 -x1233 -x1167 -x1166 -x1165 -x1163 -x1162 -x1161 -x1159 -x1158 -x1157 -x1155 -x1154 -x1153 -x1151 -x1150 -x1149 -x1136 -x1135 -x1134 -x1133 -x1132 -x1131 -x1130 -x1129 -x1128 -x1127 -x1126 -x1125 -x1124 -x1123 -x1122 -x1121 -x1104 -x1103 -x1102 -x1101 -x1100 -x1099 -x1098 -x1097 -x1096 -x1095 -x1094 -x1093 -x1076 -x1075 -x1074 -x1073 -x1072 -x1071 -x1070 -x1069 -x1068 -x1067 -x1066 -x1065 -x999 -x998 -x997 -x995 -x994 -x993 -x991 -x990 -x989 x987 -x986 -x985 -x983 -x982 -x981 -x968 -x967 -x966 -x965 -x964 -x963 -x962 -x961 -x960 -x959 -x958 -x957 -x956 -x955 -x954 -x953 -x936 -x935 -x934 -x933 -x932 -x931 -x930 -x929 -x928 -x927 -x926 -x925 -x908 -x907 -x906 -x905 -x904 -x903 -x902 -x901 -x900 -x899 -x898 -x897 -x831 -x830 -x829 -x827 -x826 -x825 -x823 -x822 -x821 -x819 -x818 -x817 -x815 -x814 -x813 -x800 -x799 -x798 -x797 -x796 -x795 -x794 -x793 -x792 -x791 -x790 -x789 -x788 -x787 -x786 -x785 -x768 -x767 -x766 -x765 -x764 -x763 -x762 -x761 -x760 -x759 -x758 -x757 -x740 -x739 -x738 -x737 -x736 -x735 -x734 -x733 -x732 -x731 -x730 -x729 -x663 -x662 -x661 -x659 -x658 -x657 -x655 -x654 -x653 -x651 -x650 -x649 -x647 -x646 -x645 -x632 -x631 -x630 -x629 -x628 -x627 -x626 -x625 -x624 -x623 -x622 -x621 -x620 -x619 -x618 -x617 -x600 -x599 -x598 -x597 -x596 -x595 -x594 -x593 -x592 -x591 -x590 -x589 -x572 -x571 -x570 -x569 -x568 -x567 -x566 -x565 -x564 -x563 -x562 -x561 -x495 -x494 -x493 -x491 -x490 -x489 -x487 -x486 -x485 -x483 -x482 -x481 -x479 -x478 -x477 -x464 -x463 -x462 -x461 -x460 -x459 -x458 -x457 -x456 -x455 -x454 -x453 -x452 -x451 -x450 -x449 -x432 -x431 -x430 -x429 -x428 -x427 -x426 -x425 -x424 -x423 -x422 -x421 -x404 -x403 -x402 -x401 -x400 -x399 -x398 -x397 -x396 -x395 -x394 -x393 -x327 -x326 -x325 -x323 -x322 -x321 -x319 -x318 -x317 -x315 -x314 -x313 -x311 -x310 -x309 -x296 -x295 -x294 -x293 -x292 -x291 -x290 -x289 -x288 -x287 -x286 -x285 -x284 -x283 -x282 -x281 -x264 -x263 -x262 -x261 -x260 -x259 -x258 -x257 -x256 -x255 -x254 -x253 -x236 -x235 -x234 -x233 -x232 -x231 -x230 -x229 -x228 -x227 -x226 -x225 -x159 -x158 -x157 -x155 -x154 -x153 -x151 -x150 -x149 -x147 -x146 -x145 -x143 -x142 -x141 -x128 -x127 -x126 -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 -x96 -x95 -x94 -x93 -x92 -x91 -x90 -x89 -x88 -x87 -x86 -x85 -x68 -x67 -x66 -x65 -x64 -x63 -x62 -x61 -x60 -x59 -x58 -x57 -x10076 -x10048 -x10020 -x9992 -x9967 -x9966 -x9965 -x9964 -x9939 -x9938 -x9937 -x9936 -x9908 -x9880 -x9852 -x9824 -x9799 -x9798 -x9797 -x9796 -x9771 -x9770 -x9769 -x9768 -x9740 -x9712 -x9684 -x9656 -x9631 -x9630 -x9629 -x9628 -x9603 -x9602 -x9601 -x9600 -x9572 -x9544 -x9516 -x9488 -x9463 -x9462 -x9461 -x9460 -x9435 -x9434 -x9433 -x9432 -x9404 -x9376 -x9348 -x9320 -x9295 -x9294 -x9293 -x9292 -x9267 -x9266 -x9265 -x9264 -x9236 -x9208 -x9180 -x9152 -x9127 -x9126 -x9125 -x9124 -x9099 -x9098 -x9097 -x9096 -x9068 -x9040 -x9012 -x8984 -x8959 -x8958 -x8957 -x8956 -x8931 -x8930 -x8929 -x8928 -x8900 -x8872 -x8844 -x8816 -x8791 -x8790 -x8789 -x8788 -x8763 -x8762 -x8761 -x8760 -x8732 -x8704 -x8676 -x8648 -x8623 -x8622 -x8621 -x8620 -x8595 -x8594 -x8593 -x8592 -x8564 -x8536 -x8508 -x8480 -x8455 -x8454 -x8453 -x8452 -x8427 -x8426 -x8425 -x8424 -x8396 -x8368 -x8340 -x8312 -x8287 -x8286 -x8285 -x8284 -x8259 -x8258 -x8257 -x8256 -x8228 -x8200 -x8172 -x8144 -x8119 -x8118 -x8117 -x8116 -x8091 -x8090 -x8089 -x8088 -x8060 -x8032 -x8004 -x7976 -x7951 -x7950 -x7949 -x7948 -x7923 -x7922 -x7921 -x7920 -x7892 -x7864 -x7836 -x7808 -x7783 -x7782 -x7781 -x7780 -x7755 -x7754 -x7753 -x7752 -x7724 -x7696 -x7668 -x7640 -x7615 -x7614 -x7613 -x7612 -x7587 -x7586 -x7585 -x7584 -x7556 -x7528 -x7500 -x7472 -x7447 -x7446 -x7445 -x7444 -x7419 -x7418 -x7417 -x7416 -x7388 -x7360 -x7332 -x7304 -x7279 -x7278 -x7277 -x7276 -x7251 -x7250 -x7249 -x7248 -x7220 -x7192 -x7164 -x7136 -x7111 -x7110 -x7109 -x7108 -x7083 -x7082 -x7081 x7080 -x7052 -x7024 -x6996 -x6968 -x6943 -x6942 -x6941 -x6940 -x6915 -x6914 -x6913 -x6912 -x6884 -x6856 -x6828 -x6800 -x6775 -x6774 -x6773 -x6772 -x6747 -x6746 -x6745 -x6744 -x6661 -x6633 -x6608 -x6607 -x6606 -x6605 -x6580 -x6579 -x6578 -x6577 -x6493 -x6465 -x6440 -x6439 -x6438 -x6437 -x6412 -x6411 -x6410 -x6409 -x6325 -x6297 -x6272 -x6271 -x6270 -x6269 -x6244 -x6243 -x6242 -x6241 -x6157 -x6129 -x6104 -x6103 -x6102 -x6101 -x6076 -x6075 -x6074 -x6073 -x5989 -x5961 -x5936 -x5935 -x5934 -x5933 -x5908 -x5907 -x5906 -x5905 -x5821 -x5793 -x5768 -x5767 -x5766 -x5765 -x5740 -x5739 -x5738 -x5737 -x5653 -x5625 -x5600 -x5599 -x5598 -x5597 -x5572 -x5571 -x5570 -x5569 -x5485 -x5457 -x5432 -x5431 -x5430 -x5429 -x5404 -x5403 -x5402 -x5401 -x5317 -x5289 -x5264 -x5263 -x5262 -x5261 -x5236 -x5235 -x5234 -x5233 -x5149 -x5121 -x5096 -x5095 -x5094 -x5093 -x5068 -x5067 -x5066 -x5065 -x4981 -x4953 -x4928 -x4927 -x4926 -x4925 -x4900 -x4899 -x4898 -x4897 -x4813 -x4785 -x4760 -x4759 -x4758 -x4757 -x4732 -x4731 -x4730 -x4729 -x4645 -x4617 -x4592 -x4591 -x4590 -x4589 -x4564 -x4563 -x4562 -x4561 -x4477 -x4449 -x4424 -x4423 -x4422 -x4421 -x4396 -x4395 -x4394 -x4393 -x4309 -x4281 -x4256 -x4255 -x4254 -x4253 -x4228 -x4227 -x4226 -x4225 -x4141 -x4113 -x4088 -x4087 -x4086 -x4085 -x4060 -x4059 -x4058 -x4057 -x3973 -x3945 -x3920 -x3919 -x3918 -x3917 -x3892 -x3891 -x3890 -x3889 -x3805 -x3777 -x3752 -x3751 -x3750 -x3749 -x3724 -x3723 -x3722 -x3721 -x3637 -x3609 -x3584 -x3583 -x3582 -x3581 -x3556 -x3555 -x3554 -x3553 -x3469 -x3441 -x3416 -x3415 -x3414 -x3413 -x3388 -x3387 -x3386 -x3385 -x3359 -x3358 -x3357 -x3332 -x3331 -x3330 -x3329 -x3304 -x3303 -x3302 -x3301 -x3276 -x3275 -x3274 -x3273 -x3248 -x3247 -x3246 -x3245 -x3220 -x3219 -x3218 -x3217 -x3191 -x3190 -x3189 -x3164 -x3163 -x3162 -x3161 -x3136 -x3135 -x3134 -x3133 -x3108 -x3107 -x3106 -x3105 -x3080 -x3079 -x3078 -x3077 -x3052 -x3051 -x3050 -x3049 -x3023 -x3022 -x3021 -x2996 -x2995 -x2994 -x2993 -x2968 -x2967 -x2966 -x2965 -x2940 -x2939 -x2938 -x2937 -x2912 -x2911 -x2910 -x2909 -x2884 -x2883 -x2882 -x2881 -x2855 -x2854 -x2853 -x2828 -x2827 -x2826 -x2825 -x2800 -x2799 -x2798 -x2797 -x2772 -x2771 -x2770 -x2769 -x2744 -x2743 -x2742 -x2741 -x2716 -x2715 -x2714 -x2713 -x2687 -x2686 -x2685 -x2660 -x2659 -x2658 -x2657 -x2632 -x2631 -x2630 -x2629 -x2604 -x2603 -x2602 -x2601 -x2576 -x2575 -x2574 -x2573 -x2548 -x2547 -x2546 -x2545 -x2519 -x2518 -x2517 -x2492 -x2491 -x2490 -x2489 -x2464 -x2463 -x2462 -x2461 -x2436 -x2435 -x2434 -x2433 -x2408 -x2407 -x2406 -x2405 -x2380 -x2379 -x2378 -x2377 -x2351 -x2350 -x2349 -x2324 -x2323 -x2322 -x2321 -x2296 -x2295 -x2294 -x2293 -x2268 -x2267 -x2266 -x2265 -x2240 -x2239 -x2238 -x2237 -x2212 -x2211 -x2210 -x2209 -x2183 -x2182 -x2181 -x2156 -x2155 -x2154 -x2153 -x2128 -x2127 -x2126 -x2125 -x2100 -x2099 -x2098 -x2097 -x2072 -x2071 -x2070 -x2069 -x2044 -x2043 -x2042 -x2041 -x2015 -x2014 -x2013 -x1988 -x1987 -x1986 -x1985 -x1960 -x1959 -x1958 -x1957 -x1932 -x1931 -x1930 -x1929 -x1904 -x1903 -x1902 -x1901 -x1876 -x1875 -x1874 -x1873 -x1847 -x1846 -x1845 -x1820 -x1819 -x1818 -x1817 -x1792 -x1791 -x1790 -x1789 -x1764 -x1763 -x1762 -x1761 -x1736 -x1735 -x1734 -x1733 -x1708 -x1707 -x1706 -x1705 -x1679 -x1678 -x1677 -x1652 -x1651 -x1650 -x1649 -x1624 -x1623 -x1622 -x1621 -x1596 -x1595 -x1594 -x1593 -x1568 -x1567 -x1566 -x1565 -x1540 -x1539 -x1538 -x1537 -x1511 -x1510 -x1509 -x1484 -x1483 -x1482 -x1481 -x1456 -x1455 -x1454 -x1453 -x1428 -x1427 -x1426 -x1425 -x1400 -x1399 -x1398 -x1397 -x1372 -x1371 -x1370 -x1369 -x1343 -x1342 -x1341 -x1316 -x1315 -x1314 -x1313 -x1288 -x1287 -x1286 -x1285 -x1260 -x1259 -x1258 -x1257 -x1232 -x1231 -x1230 -x1229 -x1204 -x1203 -x1202 -x1201 -x1175 -x1174 -x1173 -x1148 -x1147 -x1146 -x1145 -x1120 -x1119 -x1118 -x1117 -x1092 -x1091 -x1090 -x1089 -x1064 -x1063 -x1062 -x1061 -x1036 -x1035 -x1034 -x1033 -x1007 -x1006 -x1005 -x980 -x979 -x978 -x977 -x952 -x951 -x950 -x949 -x924 -x923 -x922 -x921 -x896 -x895 -x894 -x893 -x868 -x867 -x866 -x865 -x839 -x838 -x837 -x812 -x811 -x810 -x809 -x784 -x783 -x782 -x781 -x756 -x755 -x754 -x753 -x728 -x727 -x726 -x725 -x700 -x699 -x698 -x697 -x671 -x670 -x669 -x644 -x643 -x642 -x641 -x616 -x615 -x614 -x613 -x588 -x587 -x586 -x585 -x560 -x559 -x558 -x557 -x532 -x531 -x530 -x529 -x503 -x502 -x501 -x476 -x475 -x474 -x473 -x448 -x447 -x446 -x445 -x420 -x419 -x418 -x417 -x392 -x391 -x390 -x389 -x364 -x363 -x362 -x361 -x335 -x334 -x333 -x308 -x307 -x306 -x305 -x280 -x279 -x278 -x277 -x252 -x251 -x250 -x249 -x224 -x223 -x222 -x221 -x196 -x195 -x194 -x193 -x167 -x166 -x165 -x140 -x139 -x138 -x137 -x112 -x111 -x110 -x109 -x84 -x83 -x82 -x81 -x56 -x55 -x54 -x53 -x28 -x27 -x26 -x25 -x10072 -x10044 -x10016 -x9988 -x9963 -x9962 -x9961 -x9960 -x9935 -x9934 -x9933 -x9932 -x9904 -x9876 -x9848 -x9820 -x9795 -x9794 -x9793 -x9792 -x9767 -x9766 -x9765 -x9764 -x9736 -x9708 -x9680 -x9652 -x9627 -x9626 -x9625 -x9624 -x9599 -x9598 -x9597 -x9596 -x9568 -x9540 -x9512 -x9484 -x9459 -x9458 -x9457 -x9456 -x9431 -x9430 -x9429 -x9428 -x9400 -x9372 -x9344 -x9316 -x9291 -x9290 -x9289 -x9288 -x9263 -x9262 -x9261 -x9260 -x9232 -x9204 -x9176 -x9148 -x9123 -x9122 -x9121 -x9120 -x9095 -x9094 -x9093 -x9092 -x9064 -x9036 -x9008 -x8980 -x8955 -x8954 -x8953 -x8952 -x8927 -x8926 -x8925 -x8924 -x8896 -x8868 -x8840 -x8812 -x8787 -x8786 -x8785 -x8784 -x8759 -x8758 -x8757 -x8756 -x8728 -x8700 -x8672 -x8644 -x8619 -x8618 -x8617 -x8616 -x8591 -x8590 -x8589 -x8588 -x8560 -x8532 -x8504 -x8476 -x8451 -x8450 -x8449 -x8448 -x8423 -x8422 -x8421 -x8420 -x8392 -x8364 -x8336 -x8308 -x8283 -x8282 -x8281 -x8280 -x8255 -x8254 -x8253 -x8252 -x8224 -x8196 -x8168 -x8140 -x8115 -x8114 -x8113 -x8112 -x8087 -x8086 -x8085 -x8084 -x8056 -x8028 -x8000 -x7972 -x7947 -x7946 -x7945 -x7944 -x7919 -x7918 -x7917 -x7916 -x7888 -x7860 -x7832 -x7804 -x7779 -x7778 -x7777 -x7776 -x7751 -x7750 -x7749 -x7748 -x7720 -x7692 -x7664 -x7636 -x7611 -x7610 -x7609 -x7608 -x7583 -x7582 -x7581 -x7580 -x7552 -x7524 -x7496 -x7468 -x7443 -x7442 -x7441 -x7440 -x7415 -x7414 -x7413 -x7412 -x7384 -x7356 -x7328 -x7300 -x7275 -x7274 -x7273 -x7272 -x7247 -x7246 -x7245 -x7244 -x7216 -x7188 -x7160 -x7132 -x7107 -x7106 -x7105 -x7104 -x7079 -x7078 -x7077 -x7076 -x7048 -x7020 -x6992 -x6964 -x6939 -x6938 -x6937 -x6936 -x6911 -x6910 -x6909 -x6908 -x6880 -x6852 -x6824 -x6796 -x6771 -x6770 -x6769 -x6768 -x6743 -x6742 -x6741 -x6740 -x6657 -x6629 -x6604 -x6603 -x6602 -x6601 -x6576 -x6575 -x6574 -x6573 -x6489 -x6461 -x6436 -x6435 -x6434 -x6433 -x6408 -x6407 -x6406 -x6405 -x6321 -x6293 -x6268 -x6267 -x6266 -x6265 -x6240 -x6239 -x6238 -x6237 -x6153 -x6125 -x6100 -x6099 -x6098 -x6097 -x6072 -x6071 -x6070 -x6069 -x5985 -x5957 -x5932 -x5931 -x5930 -x5929 -x5904 -x5903 -x5902 -x5901 -x5817 -x5789 -x5764 -x5763 -x5762 -x5761 -x5736 -x5735 -x5734 -x5733 -x5649 -x5621 -x5596 -x5595 -x5594 -x5593 -x5568 -x5567 -x5566 -x5565 -x5481 -x5453 -x5428 -x5427 -x5426 -x5425 -x5400 -x5399 -x5398 -x5397 -x5313 -x5285 -x5260 -x5259 -x5258 -x5257 -x5232 -x5231 -x5230 -x5229 -x5145 -x5117 -x5092 -x5091 -x5090 -x5089 -x5064 -x5063 -x5062 -x5061 -x4977 -x4949 -x4924 -x4923 -x4922 -x4921 -x4896 -x4895 -x4894 -x4893 -x4809 -x4781 -x4756 -x4755 -x4754 -x4753 -x4728 -x4727 -x4726 -x4725 -x4641 -x4613 -x4588 -x4587 -x4586 -x4585 -x4560 -x4559 -x4558 -x4557 -x4473 -x4445 -x4420 -x4419 -x4418 -x4417 -x4392 -x4391 -x4390 -x4389 -x4305 -x4277 -x4252 -x4251 -x4250 -x4249 -x4224 -x4223 -x4222 -x4221 -x4137 -x4109 -x4084 -x4083 -x4082 -x4081 -x4056 -x4055 -x4054 -x4053 -x3969 -x3941 -x3916 -x3915 -x3914 -x3913 -x3888 -x3887 -x3886 -x3885 -x3801 -x3773 -x3748 -x3747 -x3746 -x3745 -x3720 -x3719 -x3718 -x3717 -x3633 -x3605 -x3580 -x3579 -x3578 -x3577 -x3552 -x3551 -x3550 -x3549 -x3465 -x3437 -x3412 -x3411 -x3410 -x3409 -x3384 -x3383 -x3382 -x3381 -x3355 -x3354 -x3353 -x3328 -x3327 -x3326 -x3325 -x3300 -x3299 -x3298 -x3297 -x3272 -x3271 -x3270 -x3269 -x3244 -x3243 -x3242 -x3241 -x3216 -x3215 -x3214 -x3213 -x3187 -x3186 -x3185 -x3160 -x3159 -x3158 -x3157 -x3132 -x3131 -x3130 -x3129 -x3104 -x3103 -x3102 -x3101 -x3076 -x3075 -x3074 -x3073 -x3048 -x3047 -x3046 -x3045 -x3019 -x3018 -x3017 -x2992 -x2991 -x2990 -x2989 -x2964 -x2963 -x2962 -x2961 -x2936 -x2935 -x2934 -x2933 -x2908 -x2907 -x2906 -x2905 -x2880 -x2879 -x2878 -x2877 -x2851 -x2850 -x2849 -x2824 -x2823 -x2822 -x2821 -x2796 -x2795 -x2794 -x2793 -x2768 -x2767 -x2766 -x2765 -x2740 -x2739 -x2738 -x2737 -x2712 -x2711 -x2710 -x2709 -x2683 -x2682 -x2681 -x2656 -x2655 -x2654 -x2653 -x2628 -x2627 -x2626 -x2625 -x2600 -x2599 -x2598 -x2597 -x2572 -x2571 -x2570 -x2569 -x2544 -x2543 -x2542 -x2541 -x2515 -x2514 -x2513 -x2488 -x2487 -x2486 -x2485 -x2460 -x2459 -x2458 -x2457 -x2432 -x2431 -x2430 -x2429 -x2404 -x2403 -x2402 -x2401 -x2376 -x2375 -x2374 -x2373 -x2347 -x2346 -x2345 -x2320 -x2319 -x2318 -x2317 -x2292 -x2291 -x2290 -x2289 -x2264 -x2263 -x2262 -x2261 -x2236 -x2235 -x2234 -x2233 -x2208 -x2207 -x2206 -x2205 -x2179 -x2178 -x2177 -x2152 -x2151 -x2150 -x2149 -x2124 -x2123 -x2122 -x2121 -x2096 -x2095 -x2094 -x2093 -x2068 -x2067 -x2066 -x2065 -x2040 -x2039 -x2038 -x2037 -x2011 -x2010 -x2009 -x1984 -x1983 -x1982 -x1981 -x1956 -x1955 -x1954 -x1953 -x1928 -x1927 -x1926 -x1925 -x1900 -x1899 -x1898 -x1897 -x1872 -x1871 -x1870 -x1869 -x1843 -x1842 -x1841 -x1816 -x1815 -x1814 -x1813 -x1788 -x1787 -x1786 -x1785 -x1760 -x1759 -x1758 -x1757 -x1732 -x1731 -x1730 -x1729 -x1704 -x1703 -x1702 -x1701 -x1675 -x1674 -x1673 -x1648 -x1647 -x1646 -x1645 -x1620 -x1619 -x1618 -x1617 -x1592 -x1591 -x1590 -x1589 -x1564 -x1563 -x1562 -x1561 -x1536 -x1535 -x1534 -x1533 -x1507 -x1506 -x1505 -x1480 -x1479 -x1478 -x1477 -x1452 -x1451 -x1450 -x1449 -x1424 -x1423 -x1422 -x1421 -x1396 -x1395 -x1394 -x1393 -x1368 -x1367 -x1366 -x1365 -x1339 -x1338 -x1337 -x1312 -x1311 -x1310 -x1309 -x1284 -x1283 -x1282 -x1281 -x1256 -x1255 -x1254 -x1253 -x1228 -x1227 -x1226 -x1225 -x1200 -x1199 -x1198 -x1197 -x1171 -x1170 -x1169 -x1144 -x1143 -x1142 -x1141 -x1116 -x1115 -x1114 -x1113 -x1088 -x1087 -x1086 -x1085 -x1060 -x1059 -x1058 -x1057 -x1032 -x1031 -x1030 -x1029 -x1003 -x1002 -x1001 -x976 -x975 -x974 -x973 -x948 -x947 -x946 -x945 -x920 -x919 -x918 -x917 -x892 -x891 -x890 -x889 -x864 -x863 -x862 -x861 -x835 -x834 -x833 -x808 -x807 -x806 -x805 -x780 -x779 -x778 -x777 -x752 -x751 -x750 -x749 -x724 -x723 -x722 -x721 -x696 -x695 -x694 -x693 -x667 -x666 -x665 -x640 -x639 -x638 -x637 -x612 -x611 -x610 -x609 -x584 -x583 -x582 -x581 -x556 -x555 -x554 -x553 -x528 -x527 -x526 -x525 -x499 -x498 -x497 -x472 -x471 -x470 -x469 -x444 -x443 -x442 -x441 -x416 -x415 -x414 -x413 -x388 -x387 -x386 -x385 -x360 -x359 -x358 -x357 -x331 -x330 -x329 -x304 -x303 -x302 -x301 -x276 -x275 -x274 -x273 -x248 -x247 -x246 -x245 -x220 -x219 -x218 -x217 -x192 -x191 -x190 -x189 -x163 -x162 -x161 -x136 -x135 -x134 -x133 -x108 -x107 -x106 -x105 -x80 -x79 -x78 -x77 -x52 -x51 -x50 -x49 -x24 -x23 -x22 -x21 -x10040 -x10012 -x9984 -x9959 -x9958 -x9957 -x9956 -x9931 -x9930 -x9929 -x9928 -x9872 -x9844 -x9816 -x9791 -x9790 -x9789 -x9788 -x9763 -x9762 -x9761 -x9760 -x9704 -x9676 -x9648 -x9623 -x9622 -x9621 -x9620 -x9595 -x9594 -x9593 -x9592 -x9536 x9508 -x9480 -x9455 -x9454 -x9453 -x9452 -x9427 -x9426 -x9425 -x9424 -x9368 -x9340 -x9312 -x9287 -x9286 -x9285 -x9284 -x9259 -x9258 -x9257 -x9256 -x9200 -x9172 -x9144 -x9119 -x9118 -x9117 -x9116 -x9091 -x9090 -x9089 -x9088 -x9032 -x9004 -x8976 -x8951 -x8950 -x8949 -x8948 -x8923 -x8922 -x8921 -x8920 -x8864 -x8836 -x8808 -x8783 -x8782 -x8781 -x8780 -x8755 -x8754 -x8753 -x8752 -x8696 -x8668 -x8640 -x8615 -x8614 -x8613 -x8612 -x8587 -x8586 -x8585 -x8584 -x8528 -x8500 -x8472 -x8447 -x8446 -x8445 -x8444 -x8419 -x8418 -x8417 -x8416 -x8360 -x8332 -x8304 -x8279 -x8278 -x8277 -x8276 -x8251 -x8250 -x8249 -x8248 -x8192 -x8164 -x8136 -x8111 -x8110 -x8109 -x8108 -x8083 -x8082 -x8081 -x8080 -x8024 -x7996 -x7968 -x7943 -x7942 -x7941 -x7940 -x7915 -x7914 -x7913 -x7912 -x7856 -x7828 -x7800 -x7775 -x7774 -x7773 -x7772 -x7747 -x7746 -x7745 -x7744 -x7688 -x7660 -x7632 -x7607 -x7606 -x7605 -x7604 -x7579 -x7578 -x7577 -x7576 -x7520 -x7492 -x7464 -x7439 -x7438 -x7437 -x7436 -x7411 -x7410 -x7409 -x7408 -x7352 -x7324 -x7296 -x7271 -x7270 -x7269 -x7268 -x7243 -x7242 -x7241 -x7240 -x7184 -x7156 -x7128 -x7103 -x7102 -x7101 -x7100 -x7075 -x7074 -x7073 -x7072 -x7016 -x6988 -x6960 -x6935 -x6934 -x6933 -x6932 -x6907 -x6906 -x6905 -x6904 -x6848 -x6820 -x6792 -x6767 -x6766 -x6765 -x6764 -x6739 -x6738 -x6737 -x6736 -x6653 -x6625 -x6600 -x6599 -x6598 -x6597 -x6572 -x6571 -x6570 -x6569 -x6485 -x6457 -x6432 -x6431 -x6430 -x6429 -x6404 -x6403 -x6402 -x6401 -x6317 -x6289 -x6264 -x6263 -x6262 -x6261 -x6236 -x6235 -x6234 -x6233 -x6149 -x6121 -x6096 -x6095 -x6094 -x6093 -x6068 -x6067 -x6066 -x6065 -x5981 -x5953 -x5928 -x5927 -x5926 -x5925 -x5900 -x5899 -x5898 -x5897 -x5813 -x5785 -x5760 -x5759 -x5758 -x5757 -x5732 -x5731 -x5730 -x5729 -x5645 -x5617 -x5592 -x5591 -x5590 -x5589 -x5564 -x5563 -x5562 -x5561 -x5477 -x5449 -x5424 -x5423 -x5422 -x5421 -x5396 -x5395 -x5394 -x5393 -x5309 -x5281 -x5256 -x5255 -x5254 -x5253 -x5228 -x5227 -x5226 -x5225 -x5141 -x5113 -x5088 -x5087 -x5086 -x5085 -x5060 -x5059 -x5058 -x5057 -x4973 -x4945 -x4920 -x4919 -x4918 -x4917 -x4892 -x4891 -x4890 -x4889 -x4805 -x4777 -x4752 -x4751 -x4750 -x4749 -x4724 -x4723 -x4722 -x4721 -x4637 -x4609 -x4584 -x4583 -x4582 -x4581 -x4556 -x4555 -x4554 -x4553 -x4469 -x4441 -x4416 -x4415 -x4414 -x4413 -x4388 -x4387 -x4386 -x4385 -x4301 -x4273 -x4248 -x4247 -x4246 -x4245 -x4220 -x4219 -x4218 -x4217 -x4133 -x4105 -x4080 -x4079 -x4078 -x4077 -x4052 -x4051 -x4050 -x4049 -x3965 -x3937 -x3912 -x3911 -x3910 -x3909 -x3884 -x3883 -x3882 -x3881 -x3797 -x3769 -x3744 -x3743 -x3742 -x3741 -x3716 -x3715 -x3714 -x3713 -x3629 -x3601 -x3576 -x3575 -x3574 -x3573 -x3548 -x3547 -x3546 -x3545 -x3461 -x3433 -x3408 -x3407 -x3406 -x3405 -x3380 -x3379 -x3378 -x3377 -x3324 -x3323 -x3322 -x3321 -x3296 -x3295 -x3294 -x3293 -x3268 -x3267 -x3266 -x3265 -x3240 -x3239 -x3238 -x3237 -x3212 -x3211 -x3210 -x3209 -x3156 -x3155 -x3154 -x3153 -x3128 -x3127 -x3126 -x3125 -x3100 -x3099 -x3098 -x3097 -x3072 -x3071 -x3070 -x3069 -x3044 -x3043 -x3042 -x3041 -x2988 -x2987 -x2986 -x2985 -x2960 -x2959 -x2958 -x2957 -x2932 -x2931 -x2930 -x2929 -x2904 -x2903 -x2902 -x2901 -x2876 -x2875 -x2874 -x2873 -x2820 -x2819 -x2818 -x2817 -x2792 -x2791 -x2790 -x2789 -x2764 -x2763 -x2762 -x2761 -x2736 -x2735 -x2734 -x2733 -x2708 -x2707 -x2706 -x2705 -x2652 -x2651 -x2650 -x2649 -x2624 -x2623 -x2622 -x2621 -x2596 -x2595 -x2594 -x2593 -x2568 -x2567 -x2566 -x2565 -x2540 -x2539 -x2538 -x2537 -x2484 -x2483 -x2482 -x2481 -x2456 -x2455 -x2454 -x2453 -x2428 -x2427 -x2426 -x2425 -x2400 -x2399 -x2398 -x2397 -x2372 -x2371 -x2370 -x2369 -x2316 -x2315 -x2314 -x2313 -x2288 -x2287 -x2286 -x2285 -x2260 -x2259 -x2258 -x2257 -x2232 -x2231 -x2230 -x2229 -x2204 -x2203 -x2202 -x2201 -x2148 -x2147 -x2146 -x2145 -x2120 -x2119 -x2118 -x2117 -x2092 -x2091 -x2090 -x2089 -x2064 -x2063 -x2062 -x2061 -x2036 -x2035 -x2034 -x2033 -x1980 -x1979 -x1978 -x1977 -x1952 -x1951 -x1950 -x1949 -x1924 -x1923 -x1922 -x1921 -x1896 -x1895 -x1894 -x1893 -x1868 -x1867 -x1866 -x1865 -x1812 -x1811 -x1810 -x1809 -x1784 -x1783 -x1782 -x1781 -x1756 -x1755 -x1754 -x1753 -x1728 -x1727 -x1726 -x1725 -x1700 -x1699 -x1698 -x1697 -x1644 -x1643 -x1642 -x1641 -x1616 -x1615 -x1614 -x1613 -x1588 -x1587 -x1586 -x1585 -x1560 -x1559 -x1558 -x1557 -x1532 -x1531 -x1530 -x1529 -x1476 -x1475 -x1474 -x1473 -x1448 -x1447 -x1446 -x1445 -x1420 -x1419 -x1418 -x1417 -x1392 -x1391 -x1390 -x1389 -x1364 -x1363 -x1362 -x1361 -x1308 -x1307 -x1306 -x1305 -x1280 -x1279 -x1278 -x1277 -x1252 -x1251 -x1250 -x1249 -x1224 -x1223 -x1222 -x1221 -x1196 -x1195 -x1194 -x1193 -x1140 -x1139 -x1138 -x1137 -x1112 -x1111 -x1110 -x1109 -x1084 -x1083 -x1082 -x1081 -x1056 -x1055 -x1054 -x1053 -x1028 -x1027 -x1026 -x1025 -x972 -x971 -x970 -x969 -x944 -x943 -x942 -x941 -x916 -x915 -x914 -x913 -x888 -x887 -x886 -x885 -x860 -x859 -x858 -x857 -x804 -x803 -x802 -x801 -x776 -x775 -x774 -x773 -x748 -x747 -x746 -x745 -x720 -x719 -x718 -x717 -x692 -x691 -x690 -x689 -x636 -x635 -x634 -x633 -x608 -x607 -x606 -x605 -x580 -x579 -x578 -x577 -x552 -x551 -x550 -x549 -x524 -x523 -x522 -x521 -x468 -x467 -x466 -x465 -x440 -x439 -x438 -x437 -x412 -x411 -x410 -x409 -x384 -x383 -x382 -x381 -x356 -x355 -x354 -x353 -x300 -x299 -x298 -x297 -x272 -x271 -x270 -x269 -x244 -x243 -x242 -x241 -x216 -x215 -x214 -x213 -x188 -x187 -x186 -x185 -x132 -x131 -x130 -x129 -x104 -x103 -x102 -x101 -x76 -x75 -x74 -x73 -x48 -x47 -x46 -x45 -x20 -x19 -x18 -x17 -x10008 -x9980 -x9955 -x9954 -x9953 -x9952 -x9927 -x9926 -x9925 -x9924 -x9840 -x9812 -x9787 -x9786 -x9785 -x9784 -x9759 -x9758 -x9757 -x9756 -x9672 -x9644 -x9619 -x9618 -x9617 -x9616 -x9591 -x9590 -x9589 -x9588 -x9504 -x9476 -x9451 -x9450 -x9449 -x9448 -x9423 -x9422 -x9421 -x9420 -x9336 -x9308 -x9283 -x9282 -x9281 -x9280 -x9255 -x9254 -x9253 -x9252 -x9168 -x9140 -x9115 -x9114 -x9113 -x9112 -x9087 -x9086 -x9085 -x9084 -x9000 -x8972 -x8947 -x8946 -x8945 -x8944 -x8919 -x8918 -x8917 -x8916 -x8832 -x8804 -x8779 -x8778 -x8777 -x8776 -x8751 -x8750 -x8749 -x8748 -x8664 -x8636 -x8611 -x8610 -x8609 -x8608 -x8583 -x8582 -x8581 -x8580 -x8496 -x8468 -x8443 -x8442 -x8441 -x8440 -x8415 -x8414 -x8413 -x8412 -x8328 -x8300 -x8275 -x8274 -x8273 -x8272 -x8247 -x8246 -x8245 -x8244 -x8160 -x8132 -x8107 -x8106 -x8105 -x8104 -x8079 -x8078 -x8077 -x8076 -x7992 -x7964 -x7939 -x7938 -x7937 -x7936 -x7911 -x7910 -x7909 -x7908 -x7824 -x7796 -x7771 -x7770 -x7769 -x7768 -x7743 -x7742 -x7741 -x7740 -x7656 -x7628 -x7603 -x7602 -x7601 -x7600 -x7575 -x7574 -x7573 -x7572 -x7488 -x7460 -x7435 -x7434 -x7433 -x7432 -x7407 -x7406 -x7405 -x7404 -x7320 -x7292 -x7267 -x7266 -x7265 -x7264 -x7239 -x7238 -x7237 -x7236 -x7152 -x7124 -x7099 -x7098 -x7097 -x7096 -x7071 -x7070 -x7069 -x7068 -x6984 -x6956 -x6931 -x6930 -x6929 -x6928 -x6903 -x6902 -x6901 -x6900 -x6816 -x6788 -x6763 -x6762 -x6761 -x6760 -x6735 -x6734 -x6733 -x6732 -x6649 -x6621 -x6596 -x6595 -x6594 -x6593 -x6568 -x6567 -x6566 -x6565 -x6481 -x6453 -x6428 -x6427 -x6426 -x6425 -x6400 -x6399 -x6398 -x6397 -x6313 -x6285 -x6260 -x6259 -x6258 -x6257 -x6232 -x6231 -x6230 -x6229 -x6145 -x6117 -x6092 -x6091 -x6090 -x6089 -x6064 -x6063 -x6062 -x6061 -x5977 -x5949 -x5924 -x5923 -x5922 -x5921 -x5896 -x5895 -x5894 -x5893 -x5809 -x5781 -x5756 -x5755 -x5754 -x5753 -x5728 -x5727 -x5726 -x5725 -x5641 -x5613 -x5588 -x5587 -x5586 -x5585 -x5560 -x5559 -x5558 -x5557 -x5473 -x5445 -x5420 -x5419 -x5418 -x5417 -x5392 -x5391 -x5390 -x5389 -x5305 -x5277 -x5252 -x5251 -x5250 -x5249 -x5224 -x5223 -x5222 -x5221 -x5137 -x5109 -x5084 -x5083 -x5082 -x5081 -x5056 -x5055 -x5054 -x5053 -x4969 -x4941 -x4916 -x4915 -x4914 -x4913 -x4888 -x4887 -x4886 -x4885 -x4801 -x4773 -x4748 -x4747 -x4746 -x4745 -x4720 -x4719 -x4718 -x4717 -x4633 -x4605 -x4580 -x4579 -x4578 -x4577 -x4552 -x4551 -x4550 -x4549 -x4465 -x4437 -x4412 -x4411 -x4410 -x4409 -x4384 -x4383 -x4382 -x4381 -x4297 -x4269 -x4244 -x4243 -x4242 -x4241 -x4216 -x4215 -x4214 -x4213 -x4129 -x4101 -x4076 -x4075 -x4074 -x4073 -x4048 -x4047 -x4046 -x4045 -x3961 -x3933 -x3908 -x3907 -x3906 -x3905 -x3880 -x3879 -x3878 -x3877 -x3793 -x3765 -x3740 -x3739 -x3738 -x3737 -x3712 -x3711 -x3710 -x3709 -x3625 -x3597 -x3572 -x3571 -x3570 -x3569 -x3544 -x3543 -x3542 -x3541 -x3457 -x3429 -x3404 -x3403 -x3402 -x3401 -x3376 -x3375 -x3374 -x3373 -x3292 -x3291 -x3290 -x3289 -x3264 -x3263 -x3262 -x3261 -x3236 -x3235 -x3234 -x3233 -x3208 -x3207 -x3206 -x3205 -x3124 -x3123 -x3122 -x3121 -x3096 -x3095 -x3094 -x3093 -x3068 -x3067 -x3066 -x3065 -x3040 -x3039 -x3038 -x3037 -x2956 -x2955 -x2954 -x2953 -x2928 -x2927 -x2926 -x2925 -x2900 -x2899 -x2898 -x2897 -x2872 -x2871 -x2870 -x2869 -x2788 -x2787 -x2786 -x2785 -x2760 -x2759 -x2758 -x2757 -x2732 -x2731 -x2730 -x2729 -x2704 -x2703 -x2702 -x2701 -x2620 -x2619 -x2618 -x2617 -x2592 -x2591 -x2590 -x2589 -x2564 -x2563 -x2562 -x2561 -x2536 -x2535 -x2534 -x2533 -x2452 -x2451 -x2450 -x2449 -x2424 -x2423 -x2422 -x2421 -x2396 -x2395 -x2394 -x2393 -x2368 -x2367 -x2366 -x2365 -x2284 -x2283 -x2282 -x2281 -x2256 -x2255 -x2254 -x2253 -x2228 -x2227 -x2226 -x2225 -x2200 -x2199 -x2198 -x2197 -x2116 -x2115 -x2114 -x2113 -x2088 -x2087 -x2086 -x2085 -x2060 -x2059 -x2058 -x2057 -x2032 -x2031 -x2030 -x2029 -x1948 -x1947 -x1946 -x1945 -x1920 -x1919 -x1918 -x1917 -x1892 -x1891 -x1890 -x1889 -x1864 -x1863 -x1862 -x1861 -x1780 -x1779 -x1778 -x1777 -x1752 -x1751 -x1750 -x1749 -x1724 -x1723 -x1722 -x1721 -x1696 -x1695 -x1694 -x1693 -x1612 -x1611 -x1610 -x1609 -x1584 -x1583 -x1582 -x1581 -x1556 -x1555 -x1554 -x1553 -x1528 -x1527 -x1526 -x1525 -x1444 -x1443 -x1442 -x1441 -x1416 -x1415 -x1414 -x1413 -x1388 -x1387 -x1386 -x1385 -x1360 -x1359 -x1358 -x1357 -x1276 -x1275 -x1274 -x1273 -x1248 -x1247 -x1246 -x1245 -x1220 -x1219 -x1218 -x1217 -x1192 -x1191 -x1190 -x1189 -x1108 -x1107 -x1106 -x1105 -x1080 -x1079 -x1078 -x1077 -x1052 -x1051 -x1050 -x1049 -x1024 -x1023 -x1022 -x1021 -x940 -x939 -x938 -x937 -x912 -x911 -x910 -x909 -x884 -x883 -x882 -x881 -x856 -x855 -x854 -x853 -x772 -x771 -x770 -x769 -x744 -x743 -x742 -x741 -x716 -x715 -x714 -x713 -x688 -x687 -x686 -x685 -x604 -x603 -x602 -x601 -x576 -x575 -x574 -x573 -x548 -x547 -x546 -x545 -x520 -x519 -x518 -x517 -x436 -x435 -x434 -x433 -x408 -x407 -x406 -x405 -x380 -x379 -x378 -x377 -x352 -x351 -x350 -x349 -x268 -x267 -x266 -x265 -x240 -x239 -x238 -x237 -x212 -x211 -x210 -x209 -x184 -x183 -x182 -x181 -x100 -x99 -x98 -x97 -x72 -x71 -x70 -x69 -x44 -x43 -x42 -x41 -x16 -x15 -x14 -x13 -x9951 -x9950 -x9949 -x9948 -x9923 -x9922 -x9921 -x9920 -x9783 -x9782 -x9781 -x9780 -x9755 -x9754 -x9753 -x9752 -x9615 -x9614 -x9613 -x9612 -x9587 -x9586 -x9585 -x9584 -x9447 -x9446 -x9445 -x9444 -x9419 -x9418 -x9417 -x9416 -x9279 -x9278 -x9277 -x9276 -x9251 -x9250 -x9249 -x9248 -x9111 -x9110 -x9109 -x9108 -x9083 -x9082 -x9081 -x9080 -x8943 -x8942 -x8941 -x8940 -x8915 -x8914 -x8913 -x8912 -x8775 -x8774 -x8773 -x8772 -x8747 -x8746 -x8745 -x8744 -x8607 -x8606 -x8605 -x8604 -x8579 -x8578 -x8577 -x8576 -x8439 -x8438 -x8437 -x8436 -x8411 -x8410 -x8409 -x8408 -x8271 -x8270 -x8269 -x8268 -x8243 -x8242 -x8241 -x8240 -x8103 -x8102 -x8101 -x8100 -x8075 -x8074 -x8073 -x8072 -x7935 -x7934 -x7933 -x7932 -x7907 -x7906 -x7905 -x7904 -x7767 -x7766 -x7765 -x7764 -x7739 -x7738 -x7737 -x7736 -x7599 -x7598 -x7597 -x7596 -x7571 -x7570 -x7569 -x7568 -x7431 -x7430 -x7429 -x7428 -x7403 -x7402 -x7401 -x7400 -x7263 -x7262 -x7261 -x7260 -x7235 -x7234 -x7233 -x7232 -x7095 -x7094 -x7093 -x7092 -x7067 -x7066 -x7065 -x7064 -x6927 -x6926 -x6925 -x6924 -x6899 -x6898 -x6897 -x6896 -x6759 -x6758 -x6757 -x6756 -x6731 -x6730 -x6729 -x6728 -x6592 -x6591 -x6590 -x6589 -x6564 -x6563 -x6562 -x6561 -x6424 -x6423 -x6422 -x6421 -x6396 -x6395 -x6394 -x6393 -x6256 -x6255 -x6254 -x6253 -x6228 -x6227 -x6226 -x6225 -x6088 -x6087 -x6086 -x6085 -x6060 -x6059 -x6058 -x6057 -x5920 -x5919 -x5918 -x5917 -x5892 -x5891 -x5890 -x5889 -x5752 -x5751 -x5750 -x5749 -x5724 -x5723 -x5722 -x5721 -x5584 -x5583 -x5582 -x5581 -x5556 -x5555 -x5554 -x5553 -x5416 -x5415 -x5414 -x5413 -x5388 -x5387 -x5386 -x5385 -x5248 -x5247 -x5246 -x5245 -x5220 -x5219 -x5218 -x5217 -x5080 -x5079 -x5078 -x5077 -x5052 -x5051 -x5050 -x5049 -x4912 -x4911 -x4910 -x4909 -x4884 -x4883 -x4882 -x4881 -x4744 -x4743 -x4742 -x4741 -x4716 -x4715 -x4714 -x4713 -x4576 -x4575 -x4574 -x4573 -x4548 -x4547 -x4546 -x4545 -x4408 -x4407 -x4406 -x4405 -x4380 -x4379 -x4378 -x4377 -x4240 -x4239 -x4238 -x4237 -x4212 -x4211 -x4210 -x4209 -x4072 -x4071 -x4070 -x4069 -x4044 -x4043 -x4042 -x4041 -x3904 -x3903 -x3902 -x3901 -x3876 -x3875 -x3874 -x3873 -x3736 -x3735 -x3734 -x3733 -x3708 -x3707 -x3706 -x3705 -x3568 -x3567 -x3566 -x3565 -x3540 -x3539 -x3538 -x3537 -x3400 -x3399 -x3398 -x3397 -x3372 -x3371 -x3370 -x3369 -x3232 -x3231 -x3230 -x3229 -x3204 -x3203 -x3202 -x3201 -x3064 -x3063 -x3062 -x3061 -x3036 -x3035 -x3034 -x3033 -x2896 -x2895 -x2894 -x2893 -x2868 -x2867 -x2866 -x2865 -x2728 -x2727 -x2726 -x2725 -x2700 -x2699 -x2698 -x2697 -x2560 -x2559 -x2558 -x2557 -x2532 -x2531 -x2530 -x2529 -x2392 -x2391 -x2390 -x2389 -x2364 -x2363 -x2362 -x2361 -x2224 -x2223 -x2222 -x2221 -x2196 -x2195 -x2194 -x2193 -x2056 -x2055 -x2054 -x2053 -x2028 -x2027 -x2026 -x2025 -x1888 -x1887 -x1886 -x1885 -x1860 -x1859 -x1858 -x1857 -x1720 -x1719 -x1718 -x1717 -x1692 -x1691 -x1690 -x1689 -x1552 -x1551 -x1550 -x1549 -x1524 -x1523 -x1522 -x1521 -x1384 -x1383 -x1382 -x1381 -x1356 -x1355 -x1354 -x1353 -x1216 -x1215 -x1214 -x1213 -x1188 -x1187 -x1186 -x1185 -x1048 -x1047 -x1046 -x1045 -x1020 -x1019 -x1018 -x1017 -x880 -x879 -x878 -x877 -x852 -x851 -x850 -x849 -x712 -x711 -x710 -x709 -x684 -x683 -x682 -x681 -x544 -x543 -x542 -x541 -x516 -x515 -x514 -x513 -x376 -x375 -x374 -x373 -x348 -x347 -x346 -x345 -x208 -x207 -x206 -x205 -x180 -x179 -x178 -x177 -x40 -x39 -x38 -x37 -x12 -x11 -x10 -x9 -x9947 -x9946 -x9945 -x9944 -x9919 -x9918 -x9917 -x9916 -x9779 -x9778 -x9777 -x9776 -x9751 -x9750 -x9749 -x9748 -x9611 -x9610 -x9609 -x9608 -x9583 -x9582 -x9581 -x9580 -x9443 -x9442 -x9441 -x9440 -x9415 -x9414 -x9413 -x9412 -x9275 -x9274 -x9273 -x9272 -x9247 -x9246 -x9245 -x9244 -x9107 -x9106 -x9105 -x9104 -x9079 -x9078 -x9077 -x9076 -x8939 -x8938 -x8937 -x8936 -x8911 -x8910 -x8909 -x8908 -x8771 -x8770 -x8769 -x8768 -x8743 -x8742 -x8741 -x8740 -x8603 -x8602 -x8601 -x8600 -x8575 -x8574 -x8573 -x8572 -x8435 -x8434 -x8433 -x8432 -x8407 -x8406 -x8405 -x8404 -x8267 -x8266 -x8265 -x8264 -x8239 -x8238 -x8237 -x8236 -x8099 -x8098 -x8097 -x8096 -x8071 -x8070 -x8069 -x8068 -x7931 -x7930 -x7929 -x7928 -x7903 -x7902 -x7901 -x7900 -x7763 -x7762 -x7761 -x7760 -x7735 -x7734 -x7733 -x7732 -x7595 -x7594 -x7593 -x7592 -x7567 -x7566 -x7565 -x7564 -x7427 -x7426 -x7425 -x7424 -x7399 -x7398 -x7397 -x7396 -x7259 -x7258 -x7257 -x7256 -x7231 -x7230 -x7229 -x7228 -x7091 -x7090 -x7089 -x7088 -x7063 -x7062 -x7061 -x7060 -x6923 -x6922 -x6921 -x6920 -x6895 -x6894 -x6893 -x6892 -x6755 -x6754 -x6753 -x6752 -x6727 -x6726 -x6725 -x6724 -x6588 -x6587 -x6586 -x6585 -x6560 -x6559 -x6558 -x6557 -x6420 -x6419 -x6418 -x6417 -x6392 -x6391 -x6390 -x6389 -x6252 -x6251 -x6250 -x6249 -x6224 -x6223 -x6222 -x6221 -x6084 -x6083 -x6082 -x6081 -x6056 -x6055 -x6054 -x6053 -x5916 -x5915 -x5914 -x5913 -x5888 -x5887 -x5886 -x5885 -x5748 -x5747 -x5746 -x5745 -x5720 -x5719 -x5718 -x5717 -x5580 -x5579 -x5578 -x5577 -x5552 -x5551 -x5550 -x5549 -x5412 -x5411 -x5410 -x5409 -x5384 -x5383 -x5382 -x5381 -x5244 -x5243 -x5242 -x5241 -x5216 -x5215 -x5214 -x5213 -x5076 -x5075 -x5074 -x5073 -x5048 -x5047 -x5046 -x5045 -x4908 -x4907 -x4906 -x4905 -x4880 -x4879 -x4878 -x4877 -x4740 -x4739 -x4738 -x4737 -x4712 -x4711 -x4710 -x4709 -x4572 -x4571 -x4570 -x4569 -x4544 -x4543 -x4542 -x4541 -x4404 -x4403 -x4402 -x4401 -x4376 -x4375 -x4374 -x4373 -x4236 -x4235 -x4234 -x4233 -x4208 -x4207 -x4206 -x4205 -x4068 x4067 -x4066 -x4065 -x4040 -x4039 -x4038 -x4037 -x3900 -x3899 -x3898 -x3897 -x3872 -x3871 -x3870 -x3869 -x3732 -x3731 -x3730 -x3729 -x3704 -x3703 -x3702 -x3701 -x3564 -x3563 -x3562 -x3561 -x3536 -x3535 -x3534 -x3533 -x3396 -x3395 -x3394 -x3393 -x3368 -x3367 -x3366 -x3365 -x3228 -x3227 -x3226 -x3225 -x3200 -x3199 -x3198 -x3197 -x3060 -x3059 -x3058 -x3057 -x3032 -x3031 -x3030 -x3029 -x2892 -x2891 -x2890 -x2889 -x2864 -x2863 -x2862 -x2861 -x2724 -x2723 -x2722 -x2721 -x2696 -x2695 -x2694 -x2693 -x2556 -x2555 -x2554 -x2553 -x2528 -x2527 -x2526 -x2525 -x2388 -x2387 -x2386 -x2385 -x2360 -x2359 -x2358 -x2357 -x2220 -x2219 -x2218 -x2217 -x2192 -x2191 -x2190 -x2189 -x2052 -x2051 -x2050 -x2049 -x2024 -x2023 -x2022 -x2021 -x1884 -x1883 -x1882 -x1881 -x1856 -x1855 -x1854 -x1853 -x1716 -x1715 -x1714 -x1713 -x1688 -x1687 -x1686 -x1685 -x1548 -x1547 -x1546 -x1545 -x1520 -x1519 -x1518 -x1517 -x1380 -x1379 -x1378 -x1377 -x1352 -x1351 -x1350 -x1349 -x1212 -x1211 -x1210 -x1209 -x1184 -x1183 -x1182 -x1181 -x1044 -x1043 -x1042 -x1041 -x1016 -x1015 -x1014 -x1013 -x876 -x875 -x874 -x873 -x848 -x847 -x846 -x845 -x708 -x707 -x706 -x705 -x680 -x679 -x678 -x677 -x540 -x539 -x538 -x537 -x512 -x511 -x510 -x509 -x372 -x371 -x370 -x369 -x344 -x343 -x342 -x341 -x204 -x203 -x202 -x201 -x176 -x175 -x174 -x173 -x36 -x35 -x34 -x33 -x8 -x7 -x6 -x5 -x9943 -x9942 -x9941 -x9915 -x9914 -x9913 -x9775 -x9774 -x9773 -x9747 -x9746 -x9745 -x9607 -x9606 -x9605 -x9579 -x9578 -x9577 -x9439 -x9438 -x9437 -x9411 -x9410 -x9409 -x9271 -x9270 -x9269 -x9243 -x9242 -x9241 -x9103 -x9102 -x9101 -x9075 -x9074 -x9073 -x8935 -x8934 -x8933 -x8907 -x8906 -x8905 -x8767 -x8766 -x8765 -x8739 -x8738 -x8737 -x8599 -x8598 -x8597 -x8571 -x8570 -x8569 -x8431 -x8430 -x8429 -x8403 -x8402 -x8401 -x8263 -x8262 -x8261 -x8235 -x8234 -x8233 -x8095 -x8094 -x8093 -x8067 -x8066 -x8065 -x7927 -x7926 -x7925 -x7899 -x7898 -x7897 -x7759 -x7758 -x7757 -x7731 -x7730 -x7729 -x7591 -x7590 -x7589 -x7563 -x7562 -x7561 -x7423 -x7422 -x7421 -x7395 -x7394 -x7393 -x7255 -x7254 -x7253 -x7227 -x7226 -x7225 -x7087 -x7086 -x7085 -x7059 -x7058 -x7057 -x6919 -x6918 -x6917 -x6891 -x6890 -x6889 -x6751 -x6750 -x6749 -x6723 -x6722 -x6721 -x6584 -x6583 -x6582 -x6581 -x6556 -x6555 -x6554 -x6553 -x6416 -x6415 -x6414 -x6413 -x6388 -x6387 -x6386 -x6385 -x6248 -x6247 -x6246 -x6245 -x6220 -x6219 -x6218 -x6217 -x6080 -x6079 -x6078 -x6077 -x6052 -x6051 -x6050 -x6049 -x5912 -x5911 -x5910 -x5909 -x5884 -x5883 -x5882 -x5881 -x5744 -x5743 -x5742 -x5741 -x5716 -x5715 -x5714 -x5713 -x5576 -x5575 -x5574 -x5573 -x5548 -x5547 -x5546 -x5545 -x5408 -x5407 -x5406 -x5405 -x5380 -x5379 -x5378 -x5377 -x5240 -x5239 -x5238 -x5237 -x5212 -x5211 -x5210 -x5209 -x5072 -x5071 -x5070 -x5069 -x5044 -x5043 -x5042 -x5041 -x4904 -x4903 -x4902 -x4901 -x4876 -x4875 -x4874 -x4873 -x4736 -x4735 -x4734 -x4733 -x4708 -x4707 -x4706 -x4705 -x4568 -x4567 -x4566 -x4565 -x4540 -x4539 -x4538 -x4537 -x4400 -x4399 -x4398 -x4397 -x4372 -x4371 -x4370 -x4369 -x4232 -x4231 -x4230 -x4229 -x4204 -x4203 -x4202 -x4201 -x4064 -x4063 -x4062 -x4061 -x4036 -x4035 -x4034 -x4033 -x3896 -x3895 -x3894 -x3893 -x3868 -x3867 -x3866 -x3865 -x3728 -x3727 -x3726 -x3725 -x3700 -x3699 -x3698 -x3697 -x3560 -x3559 -x3558 -x3557 -x3532 -x3531 -x3530 -x3529 -x3392 -x3391 -x3390 -x3389 -x3364 -x3363 -x3362 -x3361 -x3224 -x3223 -x3222 -x3221 -x3196 -x3195 -x3194 -x3193 -x3056 -x3055 -x3054 -x3053 -x3028 -x3027 -x3026 -x3025 -x2888 -x2887 -x2886 -x2885 -x2860 -x2859 -x2858 -x2857 -x2720 -x2719 -x2718 -x2717 -x2692 -x2691 -x2690 -x2689 -x2552 -x2551 -x2550 -x2549 -x2524 -x2523 -x2522 -x2521 -x2384 -x2383 -x2382 -x2381 -x2356 -x2355 -x2354 -x2353 -x2216 -x2215 -x2214 -x2213 -x2188 -x2187 -x2186 -x2185 -x2048 -x2047 -x2046 -x2045 -x2020 -x2019 -x2018 -x2017 -x1880 -x1879 -x1878 -x1877 -x1852 -x1851 -x1850 -x1849 -x1712 -x1711 -x1710 -x1709 -x1684 -x1683 -x1682 -x1681 -x1544 -x1543 -x1542 -x1541 -x1516 -x1515 -x1514 -x1513 -x1376 -x1375 -x1374 -x1373 -x1348 -x1347 -x1346 -x1345 -x1208 -x1207 -x1206 -x1205 -x1180 -x1179 -x1178 -x1177 -x1040 -x1039 -x1038 -x1037 -x1012 -x1011 -x1010 -x1009 -x872 -x871 -x870 -x869 -x844 -x843 -x842 -x841 -x704 -x703 -x702 -x701 -x676 -x675 -x674 -x673 -x536 -x535 -x534 -x533 -x508 -x507 -x506 -x505 -x368 -x367 -x366 -x365 -x340 -x339 -x338 -x337 -x200 -x199 -x198 -x197 -x172 -x171 -x170 -x169 -x32 -x31 -x30 -x29 -x4 -x3 -x2 -x1 -x10079 -x10067 -x10063 -x10059 -x10055 -x10051 -x10035 -x10031 -x10027 -x10023 -x10003 -x9999 -x9995 -x9975 -x9971 -x9911 -x9899 -x9895 -x9891 -x9887 -x9883 -x9867 -x9863 -x9859 -x9855 -x9835 -x9831 -x9827 -x9807 -x9803 -x9743 -x9731 -x9727 -x9723 -x9719 -x9715 -x9699 -x9695 -x9691 -x9687 -x9667 -x9663 -x9659 -x9639 -x9635 -x9575 -x9563 -x9559 -x9555 -x9551 -x9547 -x9531 -x9527 -x9523 -x9519 -x9499 -x9495 -x9491 -x9471 -x9467 -x9407 -x9395 -x9391 -x9387 -x9383 -x9379 -x9363 -x9359 -x9355 -x9351 -x9331 -x9327 -x9323 -x9303 -x9299 -x9239 -x9227 -x9223 -x9219 -x9215 -x9211 -x9195 -x9191 -x9187 -x9183 -x9163 -x9159 -x9155 -x9135 -x9131 -x9071 -x9059 -x9055 -x9051 -x9047 -x9043 -x9027 -x9023 -x9019 -x9015 -x8995 -x8991 -x8987 -x8967 -x8963 -x8903 -x8891 -x8887 -x8883 -x8879 -x8875 -x8859 -x8855 -x8851 -x8847 -x8827 -x8823 -x8819 -x8799 -x8795 -x8735 -x8723 -x8719 -x8715 -x8711 -x8707 -x8691 -x8687 -x8683 -x8679 -x8659 -x8655 -x8651 -x8631 -x8627 -x8567 -x8555 -x8551 -x8547 -x8543 -x8539 -x8523 -x8519 -x8515 -x8511 -x8491 -x8487 -x8483 -x8463 -x8459 -x8399 -x8387 -x8383 -x8379 -x8375 -x8371 -x8355 -x8351 -x8347 -x8343 -x8323 -x8319 -x8315 -x8295 -x8291 -x8231 -x8219 -x8215 -x8211 -x8207 -x8203 -x8187 -x8183 -x8179 -x8175 -x8155 -x8151 -x8147 -x8127 -x8123 -x8063 -x8051 -x8047 -x8043 -x8039 -x8035 -x8019 -x8015 -x8011 -x8007 -x7987 -x7983 -x7979 -x7959 -x7955 -x7895 -x7883 -x7879 -x7875 -x7871 -x7867 -x7851 -x7847 -x7843 -x7839 -x7819 -x7815 -x7811 -x7791 -x7787 -x7727 -x7715 -x7711 -x7707 -x7703 -x7699 -x7683 -x7679 -x7675 -x7671 -x7651 -x7647 -x7643 -x7623 -x7619 -x7559 -x7547 -x7543 -x7539 -x7535 -x7531 -x7515 -x7511 -x7507 -x7503 -x7483 -x7479 -x7475 -x7455 -x7451 -x7391 -x7379 -x7375 -x7371 -x7367 -x7363 -x7347 -x7343 -x7339 -x7335 -x7315 -x7311 -x7307 -x7287 -x7283 -x7223 -x7211 -x7207 -x7203 -x7199 -x7195 -x7179 -x7175 -x7171 -x7167 -x7147 -x7143 -x7139 -x7119 -x7115 -x7055 -x7043 -x7039 -x7035 -x7031 -x7027 -x7011 -x7007 -x7003 -x6999 -x6979 -x6975 -x6971 -x6951 -x6947 -x6887 -x6875 -x6871 -x6867 -x6863 -x6859 -x6843 -x6839 -x6835 -x6831 -x6811 -x6807 -x6803 -x6783 -x6779 -x10075 -x10047 -x10019 -x9991 -x9907 -x9879 -x9851 -x9823 -x9739 -x9711 -x9683 -x9655 -x9571 -x9543 -x9515 -x9487 -x9403 -x9375 -x9347 -x9319 -x9235 -x9207 -x9179 -x9151 -x9067 -x9039 -x9011 -x8983 -x8899 -x8871 -x8843 -x8815 -x8731 -x8703 -x8675 -x8647 -x8563 -x8535 -x8507 -x8479 -x8395 -x8367 -x8339 -x8311 -x8227 -x8199 -x8171 -x8143 -x8059 -x8031 -x8003 -x7975 -x7891 -x7863 -x7835 -x7807 -x7723 -x7695 -x7667 -x7639 -x7555 -x7527 -x7499 -x7471 -x7387 -x7359 -x7331 -x7303 -x7219 -x7191 -x7163 -x7135 -x7051 -x7023 -x6995 -x6967 -x6883 -x6855 -x6827 -x6799 -x10071 -x10043 -x10015 -x9987 -x9903 -x9875 -x9847 -x9819 -x9735 -x9707 -x9679 -x9651 -x9567 -x9539 -x9511 -x9483 -x9399 -x9371 -x9343 -x9315 -x9231 -x9203 -x9175 -x9147 -x9063 -x9035 -x9007 -x8979 -x8895 -x8867 -x8839 -x8811 -x8727 -x8699 -x8671 -x8643 -x8559 -x8531 -x8503 -x8475 -x8391 -x8363 -x8335 -x8307 -x8223 -x8195 -x8167 -x8139 -x8055 -x8027 -x7999 -x7971 -x7887 -x7859 -x7831 -x7803 -x7719 -x7691 -x7663 -x7635 -x7551 -x7523 -x7495 -x7467 -x7383 -x7355 -x7327 -x7299 -x7215 -x7187 -x7159 -x7131 -x7047 -x7019 -x6991 -x6963 -x6879 -x6851 -x6823 -x6795 -x10039 -x10011 -x9983 -x9871 -x9843 -x9815 -x9703 -x9675 -x9647 -x9535 -x9507 -x9479 -x9367 -x9339 -x9311 -x9199 -x9171 -x9143 -x9031 -x9003 -x8975 -x8863 -x8835 -x8807 -x8695 -x8667 -x8639 -x8527 -x8499 -x8471 -x8359 -x8331 -x8303 -x8191 -x8163 -x8135 -x8023 -x7995 -x7967 -x7855 -x7827 -x7799 -x7687 -x7659 -x7631 -x7519 -x7491 -x7463 -x7351 -x7323 -x7295 -x7183 -x7155 -x7127 -x7015 -x6987 -x6959 -x6847 -x6819 -x6791 -x10007 -x9979 -x9839 -x9811 -x9671 -x9643 -x9503 -x9475 -x9335 -x9307 -x9167 -x9139 -x8999 -x8971 -x8831 -x8803 -x8663 -x8635 -x8495 -x8467 -x8327 -x8299 -x8159 -x8131 -x7991 -x7963 -x7823 -x7795 -x7655 -x7627 -x7487 -x7459 -x7319 -x7291 -x7151 -x7123 -x6983 -x6955 -x6815 -x6787 -x10078 -x10066 -x10062 -x10058 -x10054 -x10050 -x10034 -x10030 -x10026 -x10022 -x10002 -x9998 -x9994 -x9974 -x9970 -x9910 -x9898 -x9894 -x9890 -x9886 -x9882 -x9866 -x9862 -x9858 -x9854 -x9834 -x9830 -x9826 -x9806 -x9802 -x9742 -x9730 -x9726 -x9722 -x9718 -x9714 -x9698 -x9694 -x9690 -x9686 -x9666 -x9662 -x9658 -x9638 -x9634 -x9574 -x9562 -x9558 -x9554 -x9550 -x9546 -x9530 -x9526 -x9522 -x9518 -x9498 -x9494 -x9490 -x9470 -x9466 -x9406 -x9394 -x9390 -x9386 -x9382 -x9378 -x9362 -x9358 -x9354 -x9350 -x9330 -x9326 -x9322 -x9302 -x9298 -x9238 -x9226 -x9222 -x9218 -x9214 -x9210 -x9194 -x9190 -x9186 -x9182 -x9162 -x9158 -x9154 -x9134 -x9130 -x9070 -x9058 -x9054 -x9050 -x9046 -x9042 -x9026 -x9022 -x9018 -x9014 -x8994 -x8990 -x8986 -x8966 -x8962 -x8902 -x8890 -x8886 -x8882 -x8878 -x8874 -x8858 -x8854 -x8850 -x8846 -x8826 -x8822 -x8818 -x8798 -x8794 -x8734 -x8722 -x8718 -x8714 -x8710 -x8706 -x8690 -x8686 -x8682 -x8678 -x8658 -x8654 -x8650 -x8630 -x8626 -x8566 -x8554 -x8550 -x8546 -x8542 -x8538 -x8522 -x8518 -x8514 -x8510 -x8490 -x8486 -x8482 -x8462 -x8458 -x8398 -x8386 -x8382 -x8378 -x8374 -x8370 -x8354 -x8350 -x8346 -x8342 -x8322 -x8318 -x8314 -x8294 -x8290 -x8230 -x8218 -x8214 -x8210 -x8206 -x8202 -x8186 -x8182 -x8178 -x8174 -x8154 -x8150 -x8146 -x8126 -x8122 -x8062 -x8050 -x8046 -x8042 -x8038 -x8034 -x8018 -x8014 -x8010 -x8006 -x7986 -x7982 -x7978 -x7958 -x7954 -x7894 -x7882 -x7878 -x7874 -x7870 -x7866 -x7850 -x7846 -x7842 -x7838 -x7818 -x7814 -x7810 -x7790 -x7786 -x7726 -x7714 -x7710 -x7706 -x7702 -x7698 -x7682 -x7678 -x7674 -x7670 -x7650 -x7646 -x7642 -x7622 -x7618 -x7558 -x7546 -x7542 -x7538 -x7534 -x7530 -x7514 -x7510 -x7506 -x7502 -x7482 -x7478 -x7474 -x7454 -x7450 -x7390 -x7378 -x7374 -x7370 -x7366 -x7362 -x7346 -x7342 -x7338 -x7334 -x7314 -x7310 -x7306 -x7286 -x7282 -x7222 -x7210 -x7206 -x7202 -x7198 -x7194 -x7178 -x7174 -x7170 -x7166 -x7146 -x7142 -x7138 -x7118 -x7114 -x7054 -x7042 -x7038 -x7034 -x7030 -x7026 -x7010 -x7006 -x7002 -x6998 -x6978 -x6974 -x6970 -x6950 -x6946 -x6886 -x6874 -x6870 -x6866 -x6862 -x6858 -x6842 -x6838 -x6834 -x6830 -x6810 -x6806 -x6802 -x6782 -x6778 -x10074 -x10046 -x10018 -x9990 -x9906 -x9878 -x9850 -x9822 -x9738 -x9710 -x9682 -x9654 -x9570 -x9542 -x9514 -x9486 -x9402 -x9374 -x9346 -x9318 -x9234 x9206 -x9178 -x9150 -x9066 -x9038 -x9010 -x8982 -x8898 -x8870 -x8842 -x8814 -x8730 -x8702 -x8674 -x8646 -x8562 -x8534 -x8506 -x8478 -x8394 -x8366 -x8338 -x8310 -x8226 -x8198 -x8170 -x8142 -x8058 -x8030 -x8002 -x7974 -x7890 -x7862 -x7834 -x7806 -x7722 -x7694 -x7666 -x7638 -x7554 -x7526 -x7498 -x7470 -x7386 -x7358 -x7330 -x7302 -x7218 -x7190 -x7162 -x7134 -x7050 -x7022 -x6994 -x6966 -x6882 -x6854 -x6826 -x6798 -x10070 -x10042 -x10014 -x9986 -x9902 -x9874 -x9846 -x9818 -x9734 -x9706 -x9678 -x9650 -x9566 -x9538 -x9510 -x9482 -x9398 -x9370 -x9342 -x9314 -x9230 -x9202 -x9174 -x9146 -x9062 -x9034 -x9006 -x8978 -x8894 -x8866 -x8838 -x8810 -x8726 -x8698 -x8670 -x8642 -x8558 -x8530 -x8502 -x8474 -x8390 -x8362 -x8334 -x8306 -x8222 -x8194 -x8166 -x8138 -x8054 -x8026 -x7998 -x7970 -x7886 -x7858 -x7830 -x7802 -x7718 -x7690 -x7662 -x7634 -x7550 -x7522 -x7494 -x7466 -x7382 -x7354 -x7326 -x7298 -x7214 -x7186 -x7158 -x7130 -x7046 -x7018 -x6990 -x6962 -x6878 -x6850 -x6822 -x6794 -x10038 -x10010 -x9982 -x9870 -x9842 -x9814 -x9702 -x9674 -x9646 -x9534 -x9506 -x9478 -x9366 -x9338 -x9310 -x9198 -x9170 -x9142 -x9030 -x9002 -x8974 -x8862 -x8834 -x8806 -x8694 -x8666 -x8638 -x8526 -x8498 -x8470 -x8358 -x8330 -x8302 -x8190 -x8162 -x8134 -x8022 -x7994 -x7966 -x7854 -x7826 -x7798 -x7686 -x7658 -x7630 -x7518 -x7490 -x7462 -x7350 -x7322 -x7294 -x7182 -x7154 -x7126 -x7014 -x6986 -x6958 -x6846 -x6818 -x6790 -x10006 -x9978 -x9838 -x9810 -x9670 -x9642 -x9502 -x9474 -x9334 -x9306 -x9166 -x9138 -x8998 -x8970 -x8830 -x8802 -x8662 -x8634 -x8494 -x8466 -x8326 -x8298 -x8158 -x8130 -x7990 -x7962 -x7822 -x7794 -x7654 -x7626 -x7486 -x7458 -x7318 -x7290 -x7150 -x7122 -x6982 -x6954 -x6814 -x6786 -x10077 -x10065 -x10061 -x10057 -x10053 -x10049 -x10033 -x10029 -x10025 -x10021 -x10001 -x9997 -x9993 -x9973 -x9969 -x9909 -x9897 -x9893 -x9889 -x9885 -x9881 -x9865 -x9861 -x9857 -x9853 -x9833 -x9829 -x9825 -x9805 -x9801 -x9741 -x9729 -x9725 -x9721 -x9717 -x9713 -x9697 -x9693 -x9689 -x9685 -x9665 -x9661 -x9657 -x9637 -x9633 -x9573 -x9561 -x9557 -x9553 -x9549 -x9545 -x9529 -x9525 -x9521 -x9517 -x9497 -x9493 -x9489 -x9469 -x9465 -x9405 -x9393 -x9389 -x9385 -x9381 -x9377 -x9361 -x9357 -x9353 -x9349 -x9329 -x9325 -x9321 -x9301 -x9297 -x9237 -x9225 -x9221 -x9217 -x9213 -x9209 -x9193 -x9189 -x9185 -x9181 -x9161 -x9157 -x9153 -x9133 -x9129 -x9069 -x9057 -x9053 -x9049 -x9045 -x9041 -x9025 -x9021 -x9017 -x9013 -x8993 -x8989 -x8985 -x8965 -x8961 -x8901 -x8889 -x8885 -x8881 -x8877 -x8873 -x8857 -x8853 -x8849 -x8845 -x8825 -x8821 -x8817 -x8797 -x8793 -x8733 -x8721 -x8717 -x8713 -x8709 -x8705 -x8689 -x8685 -x8681 -x8677 -x8657 -x8653 -x8649 -x8629 -x8625 -x8565 -x8553 -x8549 -x8545 -x8541 -x8537 -x8521 -x8517 -x8513 -x8509 -x8489 -x8485 -x8481 -x8461 -x8457 -x8397 -x8385 -x8381 -x8377 -x8373 -x8369 -x8353 -x8349 -x8345 -x8341 -x8321 -x8317 -x8313 -x8293 -x8289 -x8229 -x8217 -x8213 -x8209 -x8205 -x8201 -x8185 -x8181 -x8177 -x8173 -x8153 -x8149 -x8145 -x8125 -x8121 -x8061 -x8049 -x8045 -x8041 -x8037 -x8033 -x8017 -x8013 -x8009 -x8005 -x7985 -x7981 -x7977 -x7957 -x7953 -x7893 -x7881 -x7877 -x7873 -x7869 -x7865 -x7849 -x7845 -x7841 -x7837 -x7817 -x7813 -x7809 -x7789 -x7785 -x7725 -x7713 -x7709 -x7705 -x7701 -x7697 -x7681 -x7677 -x7673 -x7669 -x7649 -x7645 -x7641 -x7621 -x7617 -x7557 -x7545 -x7541 -x7537 -x7533 -x7529 -x7513 -x7509 -x7505 -x7501 -x7481 -x7477 -x7473 -x7453 -x7449 -x7389 -x7377 -x7373 -x7369 -x7365 -x7361 -x7345 -x7341 -x7337 -x7333 -x7313 -x7309 -x7305 -x7285 -x7281 -x7221 -x7209 -x7205 -x7201 -x7197 -x7193 -x7177 -x7173 -x7169 -x7165 -x7145 -x7141 -x7137 -x7117 -x7113 -x7053 -x7041 -x7037 -x7033 -x7029 -x7025 -x7009 -x7005 -x7001 -x6997 -x6977 -x6973 -x6969 -x6949 -x6945 -x6885 -x6873 -x6869 -x6865 -x6861 -x6857 -x6841 -x6837 -x6833 -x6829 -x6809 -x6805 -x6801 -x6781 -x6777 -x10073 -x10045 -x10017 -x9989 -x9905 -x9877 -x9849 -x9821 -x9737 -x9709 -x9681 -x9653 -x9569 -x9541 -x9513 -x9485 -x9401 -x9373 -x9345 -x9317 -x9233 -x9205 -x9177 -x9149 -x9065 -x9037 -x9009 -x8981 -x8897 -x8869 -x8841 -x8813 -x8729 -x8701 -x8673 -x8645 -x8561 -x8533 -x8505 -x8477 -x8393 -x8365 -x8337 -x8309 -x8225 -x8197 -x8169 -x8141 -x8057 -x8029 -x8001 -x7973 -x7889 -x7861 -x7833 -x7805 -x7721 -x7693 -x7665 -x7637 -x7553 -x7525 -x7497 -x7469 -x7385 -x7357 -x7329 -x7301 -x7217 -x7189 -x7161 -x7133 -x7049 -x7021 -x6993 -x6965 -x6881 -x6853 -x6825 -x6797 -x10069 -x10041 -x10013 -x9985 -x9901 -x9873 -x9845 -x9817 -x9733 -x9705 -x9677 -x9649 -x9565 -x9537 -x9509 -x9481 -x9397 -x9369 -x9341 -x9313 -x9229 -x9201 -x9173 -x9145 -x9061 -x9033 -x9005 -x8977 -x8893 -x8865 -x8837 -x8809 -x8725 -x8697 -x8669 -x8641 -x8557 -x8529 -x8501 -x8473 -x8389 -x8361 -x8333 -x8305 -x8221 -x8193 -x8165 -x8137 -x8053 -x8025 -x7997 -x7969 -x7885 -x7857 -x7829 -x7801 -x7717 -x7689 -x7661 -x7633 -x7549 -x7521 -x7493 -x7465 -x7381 -x7353 -x7325 -x7297 -x7213 -x7185 -x7157 -x7129 -x7045 -x7017 -x6989 -x6961 -x6877 -x6849 -x6821 -x6793 -x10037 -x10009 -x9981 -x9869 -x9841 -x9813 -x9701 -x9673 -x9645 -x9533 -x9505 -x9477 -x9365 -x9337 -x9309 -x9197 -x9169 -x9141 -x9029 -x9001 -x8973 -x8861 -x8833 -x8805 -x8693 -x8665 -x8637 -x8525 -x8497 -x8469 -x8357 -x8329 -x8301 -x8189 -x8161 -x8133 -x8021 -x7993 -x7965 -x7853 -x7825 -x7797 -x7685 -x7657 -x7629 -x7517 -x7489 -x7461 -x7349 -x7321 -x7293 -x7181 -x7153 -x7125 -x7013 -x6985 -x6957 -x6845 -x6817 -x6789 -x10005 -x9977 -x9837 -x9809 -x9669 -x9641 -x9501 -x9473 -x9333 -x9305 -x9165 -x9137 -x8997 -x8969 -x8829 -x8801 -x8661 -x8633 -x8493 -x8465 -x8325 -x8297 -x8157 -x8129 -x7989 -x7961 -x7821 -x7793 -x7653 -x7625 -x7485 -x7457 -x7317 -x7289 -x7149 -x7121 -x6981 -x6953 -x6813 -x6785 -x6720 -x6708 -x6704 -x6700 -x6696 -x6692 -x6676 -x6672 -x6668 -x6664 -x6644 -x6640 -x6636 -x6616 -x6612 -x6552 -x6540 -x6536 -x6532 -x6528 -x6524 -x6508 -x6504 -x6500 -x6496 -x6476 -x6472 -x6468 -x6448 -x6444 -x6384 -x6372 -x6368 -x6364 -x6360 -x6356 -x6340 -x6336 -x6332 -x6328 -x6308 -x6304 -x6300 -x6280 -x6276 -x6216 -x6204 -x6200 -x6196 -x6192 -x6188 -x6172 -x6168 -x6164 -x6160 -x6140 -x6136 -x6132 -x6112 -x6108 -x6048 -x6036 -x6032 -x6028 -x6024 -x6020 -x6004 -x6000 -x5996 -x5992 -x5972 -x5968 -x5964 -x5944 -x5940 -x5880 -x5868 -x5864 -x5860 -x5856 -x5852 -x5836 -x5832 -x5828 -x5824 -x5804 -x5800 -x5796 -x5776 -x5772 -x5712 -x5700 -x5696 -x5692 -x5688 -x5684 -x5668 -x5664 -x5660 -x5656 -x5636 -x5632 -x5628 -x5608 -x5604 -x5544 -x5532 -x5528 -x5524 -x5520 -x5516 -x5500 -x5496 -x5492 -x5488 -x5468 -x5464 -x5460 -x5440 -x5436 -x5376 -x5364 -x5360 -x5356 -x5352 -x5348 -x5332 -x5328 -x5324 -x5320 -x5300 -x5296 -x5292 -x5272 -x5268 -x5208 -x5196 -x5192 -x5188 -x5184 -x5180 -x5164 -x5160 -x5156 -x5152 -x5132 -x5128 -x5124 -x5104 -x5100 -x5040 -x5028 -x5024 -x5020 -x5016 -x5012 -x4996 -x4992 -x4988 -x4984 -x4964 -x4960 -x4956 -x4936 -x4932 -x4872 -x4860 -x4856 -x4852 -x4848 -x4844 -x4828 -x4824 -x4820 -x4816 -x4796 -x4792 -x4788 -x4768 -x4764 -x4704 -x4692 -x4688 -x4684 -x4680 -x4676 -x4660 -x4656 -x4652 -x4648 -x4628 -x4624 -x4620 -x4600 -x4596 -x4536 -x4524 -x4520 -x4516 -x4512 -x4508 -x4492 -x4488 -x4484 -x4480 -x4460 -x4456 -x4452 -x4432 -x4428 -x4368 -x4356 -x4352 -x4348 -x4344 -x4340 -x4324 -x4320 -x4316 -x4312 -x4292 -x4288 -x4284 -x4264 -x4260 -x4200 -x4188 -x4184 -x4180 -x4176 -x4172 -x4156 -x4152 -x4148 -x4144 -x4124 -x4120 -x4116 -x4096 -x4092 -x4032 -x4020 -x4016 -x4012 -x4008 -x4004 -x3988 -x3984 -x3980 -x3976 -x3956 -x3952 -x3948 -x3928 -x3924 -x3864 -x3852 -x3848 -x3844 -x3840 -x3836 -x3820 -x3816 -x3812 -x3808 -x3788 -x3784 -x3780 -x3760 -x3756 -x3696 -x3684 -x3680 -x3676 -x3672 -x3668 -x3652 -x3648 -x3644 -x3640 -x3620 -x3616 -x3612 -x3592 -x3588 -x3528 -x3516 -x3512 -x3508 -x3504 -x3500 -x3484 -x3480 -x3476 -x3472 -x3452 -x3448 -x3444 -x3424 -x3420 -x6716 -x6688 -x6660 -x6632 -x6548 -x6520 -x6492 -x6464 -x6380 -x6352 -x6324 -x6296 -x6212 -x6184 -x6156 -x6128 -x6044 -x6016 -x5988 -x5960 -x5876 -x5848 -x5820 -x5792 -x5708 -x5680 -x5652 -x5624 -x5540 -x5512 -x5484 -x5456 -x5372 -x5344 -x5316 -x5288 -x5204 -x5176 -x5148 -x5120 -x5036 -x5008 -x4980 -x4952 -x4868 -x4840 -x4812 -x4784 -x4700 -x4672 -x4644 -x4616 -x4532 -x4504 -x4476 -x4448 -x4364 -x4336 -x4308 -x4280 -x4196 -x4168 -x4140 -x4112 -x4028 -x4000 -x3972 -x3944 -x3860 -x3832 -x3804 -x3776 -x3692 -x3664 -x3636 -x3608 -x3524 -x3496 -x3468 -x3440 -x6712 -x6684 -x6656 -x6628 -x6544 -x6516 -x6488 -x6460 -x6376 -x6348 -x6320 -x6292 -x6208 -x6180 -x6152 -x6124 -x6040 -x6012 -x5984 -x5956 -x5872 -x5844 -x5816 -x5788 -x5704 -x5676 -x5648 -x5620 -x5536 -x5508 -x5480 -x5452 -x5368 -x5340 -x5312 -x5284 -x5200 -x5172 -x5144 -x5116 -x5032 -x5004 -x4976 -x4948 -x4864 -x4836 -x4808 -x4780 x4696 -x4668 -x4640 -x4612 -x4528 -x4500 -x4472 -x4444 -x4360 -x4332 -x4304 -x4276 -x4192 -x4164 -x4136 -x4108 -x4024 -x3996 -x3968 -x3940 -x3856 -x3828 -x3800 -x3772 -x3688 -x3660 -x3632 -x3604 -x3520 -x3492 -x3464 -x3436 -x6680 -x6652 -x6624 -x6512 -x6484 -x6456 -x6344 -x6316 -x6288 -x6176 -x6148 -x6120 -x6008 -x5980 -x5952 -x5840 -x5812 -x5784 -x5672 -x5644 -x5616 -x5504 -x5476 -x5448 -x5336 -x5308 -x5280 -x5168 -x5140 -x5112 -x5000 -x4972 -x4944 -x4832 -x4804 -x4776 -x4664 -x4636 -x4608 -x4496 -x4468 -x4440 -x4328 -x4300 -x4272 -x4160 -x4132 -x4104 -x3992 -x3964 -x3936 -x3824 -x3796 -x3768 -x3656 -x3628 -x3600 -x3488 -x3460 -x3432 -x6648 -x6620 -x6480 -x6452 -x6312 -x6284 -x6144 -x6116 -x5976 -x5948 -x5808 -x5780 -x5640 -x5612 -x5472 -x5444 -x5304 -x5276 -x5136 -x5108 -x4968 -x4940 -x4800 -x4772 -x4632 -x4604 -x4464 -x4436 -x4296 -x4268 -x4128 -x4100 -x3960 -x3932 -x3792 -x3764 -x3624 -x3596 -x3456 -x3428 -x6719 -x6707 -x6703 -x6699 -x6695 -x6691 -x6675 -x6671 -x6667 -x6663 -x6643 -x6639 -x6635 -x6615 -x6611 -x6551 -x6539 -x6535 -x6531 -x6527 -x6523 -x6507 -x6503 -x6499 -x6495 -x6475 -x6471 -x6467 -x6447 -x6443 -x6383 -x6371 -x6367 -x6363 x6359 -x6355 -x6339 -x6335 -x6331 -x6327 -x6307 -x6303 -x6299 -x6279 -x6275 -x6215 -x6203 -x6199 -x6195 -x6191 -x6187 -x6171 -x6167 -x6163 -x6159 -x6139 -x6135 -x6131 -x6111 -x6107 -x6047 -x6035 -x6031 -x6027 -x6023 -x6019 -x6003 -x5999 -x5995 -x5991 -x5971 -x5967 -x5963 -x5943 x5939 -x5879 -x5867 -x5863 -x5859 -x5855 -x5851 -x5835 -x5831 -x5827 -x5823 -x5803 -x5799 -x5795 -x5775 -x5771 -x5711 -x5699 -x5695 -x5691 -x5687 -x5683 -x5667 -x5663 -x5659 -x5655 -x5635 -x5631 -x5627 -x5607 -x5603 -x5543 -x5531 -x5527 -x5523 -x5519 -x5515 -x5499 -x5495 -x5491 -x5487 -x5467 -x5463 -x5459 -x5439 -x5435 -x5375 -x5363 -x5359 -x5355 -x5351 -x5347 -x5331 -x5327 -x5323 -x5319 -x5299 -x5295 -x5291 -x5271 -x5267 -x5207 -x5195 -x5191 -x5187 -x5183 -x5179 -x5163 -x5159 -x5155 -x5151 -x5131 -x5127 -x5123 -x5103 -x5099 -x5039 -x5027 -x5023 -x5019 -x5015 -x5011 -x4995 -x4991 -x4987 -x4983 -x4963 -x4959 -x4955 -x4935 -x4931 -x4871 -x4859 -x4855 -x4851 -x4847 -x4843 -x4827 -x4823 -x4819 -x4815 -x4795 -x4791 -x4787 -x4767 -x4763 -x4703 -x4691 -x4687 -x4683 -x4679 -x4675 -x4659 -x4655 -x4651 -x4647 -x4627 -x4623 -x4619 -x4599 -x4595 -x4535 -x4523 -x4519 -x4515 -x4511 -x4507 -x4491 -x4487 -x4483 -x4479 -x4459 -x4455 -x4451 -x4431 -x4427 -x4367 -x4355 -x4351 -x4347 -x4343 -x4339 -x4323 -x4319 -x4315 -x4311 -x4291 -x4287 -x4283 -x4263 -x4259 -x4199 -x4187 -x4183 -x4179 -x4175 -x4171 -x4155 -x4151 -x4147 -x4143 -x4123 -x4119 -x4115 -x4095 -x4091 -x4031 -x4019 -x4015 -x4011 -x4007 -x4003 -x3987 -x3983 -x3979 -x3975 -x3955 -x3951 -x3947 -x3927 -x3923 -x3863 -x3851 -x3847 -x3843 -x3839 -x3835 -x3819 -x3815 -x3811 -x3807 -x3787 -x3783 -x3779 -x3759 -x3755 -x3695 -x3683 -x3679 -x3675 -x3671 -x3667 -x3651 -x3647 -x3643 -x3639 -x3619 -x3615 -x3611 -x3591 -x3587 -x3527 -x3515 -x3511 -x3507 -x3503 -x3499 -x3483 -x3479 -x3475 -x3471 -x3451 -x3447 -x3443 -x3423 -x3419 -x6715 -x6687 -x6659 -x6631 -x6547 -x6519 -x6491 -x6463 -x6379 -x6351 -x6323 -x6295 -x6211 -x6183 -x6155 -x6127 -x6043 -x6015 -x5987 -x5959 -x5875 -x5847 -x5819 -x5791 -x5707 -x5679 -x5651 -x5623 -x5539 -x5511 -x5483 -x5455 -x5371 -x5343 -x5315 -x5287 -x5203 -x5175 -x5147 -x5119 -x5035 -x5007 -x4979 -x4951 -x4867 -x4839 -x4811 -x4783 -x4699 -x4671 -x4643 -x4615 -x4531 -x4503 -x4475 -x4447 -x4363 -x4335 -x4307 -x4279 -x4195 -x4167 -x4139 -x4111 -x4027 -x3999 -x3971 -x3943 -x3859 -x3831 -x3803 -x3775 -x3691 -x3663 -x3635 -x3607 -x3523 -x3495 -x3467 -x3439 -x6711 -x6683 -x6655 -x6627 -x6543 -x6515 -x6487 -x6459 -x6375 -x6347 -x6319 -x6291 -x6207 -x6179 -x6151 -x6123 -x6039 -x6011 -x5983 -x5955 -x5871 -x5843 -x5815 -x5787 -x5703 -x5675 -x5647 -x5619 -x5535 -x5507 -x5479 -x5451 -x5367 -x5339 -x5311 -x5283 -x5199 -x5171 -x5143 -x5115 -x5031 -x5003 -x4975 -x4947 -x4863 -x4835 -x4807 -x4779 -x4695 -x4667 -x4639 -x4611 -x4527 -x4499 -x4471 -x4443 -x4359 -x4331 -x4303 -x4275 -x4191 -x4163 -x4135 -x4107 -x4023 -x3995 -x3967 -x3939 -x3855 -x3827 -x3799 -x3771 -x3687 -x3659 -x3631 -x3603 -x3519 -x3491 -x3463 -x3435 -x6679 -x6651 -x6623 -x6511 -x6483 -x6455 -x6343 -x6315 -x6287 -x6175 -x6147 -x6119 -x6007 -x5979 -x5951 -x5839 -x5811 -x5783 -x5671 -x5643 -x5615 -x5503 -x5475 -x5447 -x5335 -x5307 -x5279 -x5167 -x5139 -x5111 -x4999 -x4971 -x4943 -x4831 -x4803 -x4775 -x4663 -x4635 -x4607 -x4495 -x4467 -x4439 -x4327 -x4299 -x4271 -x4159 -x4131 -x4103 -x3991 -x3963 -x3935 -x3823 -x3795 -x3767 -x3655 -x3627 -x3599 -x3487 -x3459 -x3431 -x6647 -x6619 -x6479 -x6451 -x6311 -x6283 -x6143 -x6115 -x5975 -x5947 -x5807 -x5779 -x5639 -x5611 -x5471 -x5443 -x5303 -x5275 -x5135 -x5107 -x4967 -x4939 -x4799 -x4771 -x4631 -x4603 -x4463 -x4435 -x4295 -x4267 -x4127 -x4099 -x3959 -x3931 -x3791 -x3763 -x3623 -x3595 -x3455 -x3427 -x6718 -x6706 -x6702 -x6698 -x6694 -x6690 -x6674 -x6670 -x6666 -x6662 -x6642 -x6638 -x6634 -x6614 -x6610 -x6550 -x6538 -x6534 -x6530 -x6526 -x6522 -x6506 -x6502 -x6498 -x6494 -x6474 -x6470 -x6466 -x6446 -x6442 -x6382 -x6370 -x6366 -x6362 -x6358 -x6354 -x6338 -x6334 -x6330 -x6326 -x6306 -x6302 -x6298 -x6278 -x6274 -x6214 -x6202 -x6198 -x6194 -x6190 -x6186 -x6170 -x6166 -x6162 -x6158 -x6138 -x6134 -x6130 -x6110 -x6106 -x6046 -x6034 -x6030 -x6026 -x6022 -x6018 -x6002 -x5998 -x5994 -x5990 -x5970 -x5966 -x5962 -x5942 -x5938 -x5878 -x5866 -x5862 -x5858 -x5854 -x5850 -x5834 -x5830 -x5826 -x5822 -x5802 -x5798 -x5794 -x5774 -x5770 -x5710 -x5698 -x5694 -x5690 -x5686 -x5682 -x5666 -x5662 -x5658 -x5654 -x5634 -x5630 -x5626 -x5606 -x5602 -x5542 -x5530 -x5526 -x5522 -x5518 -x5514 -x5498 -x5494 -x5490 -x5486 -x5466 -x5462 -x5458 -x5438 -x5434 -x5374 -x5362 -x5358 -x5354 -x5350 -x5346 -x5330 -x5326 -x5322 -x5318 -x5298 -x5294 -x5290 -x5270 -x5266 -x5206 -x5194 -x5190 -x5186 -x5182 -x5178 -x5162 -x5158 -x5154 -x5150 -x5130 -x5126 -x5122 -x5102 -x5098 -x5038 -x5026 -x5022 -x5018 -x5014 -x5010 -x4994 -x4990 -x4986 -x4982 -x4962 -x4958 -x4954 -x4934 -x4930 -x4870 -x4858 -x4854 -x4850 -x4846 -x4842 -x4826 -x4822 -x4818 -x4814 -x4794 -x4790 -x4786 -x4766 -x4762 -x4702 -x4690 -x4686 -x4682 -x4678 -x4674 -x4658 -x4654 -x4650 -x4646 -x4626 -x4622 -x4618 -x4598 -x4594 -x4534 -x4522 -x4518 -x4514 -x4510 -x4506 -x4490 -x4486 -x4482 -x4478 -x4458 -x4454 -x4450 -x4430 -x4426 -x4366 -x4354 -x4350 -x4346 -x4342 -x4338 -x4322 -x4318 -x4314 -x4310 -x4290 -x4286 -x4282 -x4262 x4258 -x4198 -x4186 -x4182 -x4178 -x4174 -x4170 -x4154 -x4150 -x4146 -x4142 -x4122 -x4118 -x4114 -x4094 -x4090 -x4030 -x4018 -x4014 -x4010 -x4006 -x4002 -x3986 -x3982 -x3978 -x3974 -x3954 -x3950 -x3946 -x3926 -x3922 -x3862 -x3850 -x3846 -x3842 -x3838 -x3834 -x3818 -x3814 -x3810 -x3806 -x3786 -x3782 -x3778 -x3758 -x3754 -x3694 -x3682 -x3678 -x3674 -x3670 -x3666 -x3650 -x3646 -x3642 -x3638 -x3618 -x3614 -x3610 -x3590 -x3586 -x3526 -x3514 -x3510 -x3506 -x3502 -x3498 -x3482 -x3478 -x3474 -x3470 -x3450 -x3446 -x3442 -x3422 -x3418 -x6714 -x6686 -x6658 -x6630 -x6546 -x6518 -x6490 -x6462 -x6378 -x6350 -x6322 -x6294 -x6210 -x6182 -x6154 -x6126 -x6042 -x6014 -x5986 -x5958 -x5874 -x5846 -x5818 -x5790 -x5706 -x5678 -x5650 -x5622 -x5538 -x5510 -x5482 -x5454 -x5370 -x5342 -x5314 -x5286 -x5202 -x5174 -x5146 -x5118 -x5034 -x5006 -x4978 -x4950 -x4866 -x4838 -x4810 -x4782 -x4698 -x4670 -x4642 -x4614 -x4530 -x4502 -x4474 -x4446 -x4362 -x4334 -x4306 -x4278 -x4194 -x4166 -x4138 -x4110 -x4026 -x3998 -x3970 -x3942 -x3858 -x3830 -x3802 -x3774 -x3690 -x3662 -x3634 -x3606 -x3522 -x3494 -x3466 -x3438 -x6710 -x6682 -x6654 -x6626 -x6542 -x6514 -x6486 -x6458 -x6374 -x6346 -x6318 -x6290 -x6206 -x6178 -x6150 -x6122 -x6038 -x6010 -x5982 -x5954 -x5870 -x5842 -x5814 -x5786 -x5702 -x5674 -x5646 -x5618 -x5534 -x5506 -x5478 -x5450 -x5366 -x5338 -x5310 -x5282 -x5198 -x5170 -x5142 -x5114 -x5030 -x5002 -x4974 -x4946 -x4862 -x4834 -x4806 -x4778 -x4694 -x4666 -x4638 -x4610 -x4526 -x4498 -x4470 -x4442 -x4358 -x4330 -x4302 -x4274 -x4190 -x4162 -x4134 -x4106 -x4022 -x3994 -x3966 -x3938 -x3854 -x3826 -x3798 -x3770 -x3686 -x3658 -x3630 -x3602 -x3518 -x3490 -x3462 -x3434 -x6678 -x6650 -x6622 -x6510 -x6482 -x6454 -x6342 -x6314 -x6286 -x6174 -x6146 -x6118 -x6006 -x5978 -x5950 -x5838 -x5810 -x5782 -x5670 -x5642 x5614 -x5502 -x5474 -x5446 -x5334 -x5306 -x5278 -x5166 -x5138 -x5110 -x4998 -x4970 -x4942 -x4830 -x4802 -x4774 -x4662 -x4634 -x4606 -x4494 -x4466 -x4438 -x4326 -x4298 -x4270 -x4158 -x4130 -x4102 -x3990 -x3962 -x3934 -x3822 -x3794 -x3766 -x3654 -x3626 -x3598 -x3486 -x3458 -x3430 -x6646 -x6618 -x6478 -x6450 -x6310 -x6282 -x6142 -x6114 -x5974 -x5946 -x5806 -x5778 -x5638 -x5610 -x5470 -x5442 -x5302 -x5274 -x5134 -x5106 -x4966 -x4938 -x4798 -x4770 -x4630 -x4602 -x4462 -x4434 -x4294 -x4266 -x4126 -x4098 -x3958 -x3930 -x3790 -x3762 -x3622 -x3594 -x3454 -x3426 -x6717 -x6705 -x6701 -x6697 -x6693 -x6689 -x6673 -x6669 -x6665 -x6549 -x6537 -x6533 -x6529 -x6525 -x6521 -x6505 -x6501 -x6497 -x6381 -x6369 -x6365 -x6361 -x6357 -x6353 -x6337 -x6333 -x6329 -x6213 -x6201 -x6197 -x6193 -x6189 -x6185 -x6169 -x6165 -x6161 -x6045 -x6033 -x6029 -x6025 -x6021 -x6017 -x6001 -x5997 -x5993 -x5877 -x5865 -x5861 -x5857 -x5853 -x5849 -x5833 -x5829 -x5825 -x5709 -x5697 -x5693 -x5689 -x5685 -x5681 -x5665 -x5661 -x5657 -x5541 -x5529 -x5525 -x5521 -x5517 -x5513 -x5497 -x5493 -x5489 -x5373 -x5361 -x5357 -x5353 -x5349 -x5345 -x5329 -x5325 -x5321 -x5205 -x5193 -x5189 -x5185 -x5181 -x5177 -x5161 -x5157 -x5153 -x5037 -x5025 -x5021 -x5017 -x5013 -x5009 -x4993 -x4989 -x4985 -x4869 -x4857 -x4853 -x4849 -x4845 -x4841 -x4825 -x4821 -x4817 -x4701 -x4689 -x4685 -x4681 -x4677 -x4673 -x4657 -x4653 -x4649 -x4533 -x4521 -x4517 -x4513 -x4509 -x4505 -x4489 -x4485 -x4481 -x4365 -x4353 -x4349 -x4345 -x4341 -x4337 -x4321 -x4317 -x4313 -x4197 -x4185 -x4181 -x4177 -x4173 -x4169 -x4153 -x4149 -x4145 -x4029 -x4017 -x4013 -x4009 -x4005 -x4001 -x3985 -x3981 -x3977 -x3861 -x3849 -x3845 -x3841 -x3837 -x3833 -x3817 -x3813 -x3809 -x3693 -x3681 -x3677 -x3673 -x3669 -x3665 -x3649 -x3645 -x3641 -x3525 -x3513 -x3509 -x3505 -x3501 -x3497 -x3481 -x3477 -x3473 -x6713 -x6685 -x6545 -x6517 -x6377 -x6349 -x6209 -x6181 -x6041 -x6013 -x5873 -x5845 -x5705 -x5677 -x5537 -x5509 -x5369 -x5341 -x5201 -x5173 -x5033 x5005 -x4865 -x4837 -x4697 -x4669 -x4529 -x4501 -x4361 -x4333 -x4193 -x4165 -x4025 -x3997 -x3857 -x3829 -x3689 -x3661 -x3521 -x3493 -x6709 -x6681 -x6541 -x6513 -x6373 -x6345 -x6205 -x6177 -x6037 -x6009 -x5869 -x5841 -x5701 -x5673 -x5533 -x5505 -x5365 -x5337 -x5197 -x5169 -x5029 -x5001 -x4861 -x4833 -x4693 -x4665 -x4525 -x4497 -x4357 -x4329 -x4189 -x4161 -x4021 -x3993 -x3853 -x3825 -x3685 -x3657 -x3517 -x3489 -x6677 -x6509 -x6341 -x6173 -x6005 -x5837 -x5669 -x5501 -x5333 -x5165 -x4997 -x4829 -x4661 -x4493 -x4325 -x4157 -x3989 -x3821 -x3653 -x3485 -x3360 -x3348 -x3344 -x3340 -x3336 -x3192 -x3180 -x3176 -x3172 -x3168 -x3024 -x3012 -x3008 -x3004 -x3000 -x2856 -x2844 -x2840 -x2836 -x2832 -x2688 -x2676 -x2672 -x2668 -x2664 -x2520 -x2508 -x2504 -x2500 -x2496 -x2352 -x2340 -x2336 -x2332 -x2328 -x2184 -x2172 -x2168 -x2164 -x2160 -x2016 -x2004 -x2000 -x1996 -x1992 -x1848 -x1836 -x1832 -x1828 -x1824 -x1680 -x1668 -x1664 -x1660 -x1656 -x1512 -x1500 -x1496 -x1492 -x1488 -x1344 -x1332 -x1328 -x1324 -x1320 -x1176 -x1164 -x1160 -x1156 -x1152 -x1008 -x996 -x992 -x988 -x984 -x840 -x828 -x824 -x820 -x816 -x672 -x660 -x656 -x652 -x648 -x504 -x492 -x488 -x484 -x480 -x336 -x324 -x320 -x316 -x312 -x168 -x156 -x152 -x148 -x144 -x3356 -x3188 -x3020 -x2852 -x2684 -x2516 -x2348 -x2180 -x2012 -x1844 -x1676 -x1508 -x1340 -x1172 -x1004 -x836 -x668 -x500 -x332 -x164 -x3352 -x3184 -x3016 -x2848 -x2680 -x2512 -x2344 -x2176 x2008 -x1840 -x1672 -x1504 -x1336 -x1168 -x1000 -x832 -x664 -x496 -x328 -x160
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: 63708 MiB (62439 MiB free)
memory of node 1: 64465 MiB (62788 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4502308-1751434963/watcher-4502308-1751434963 -o /tmp/evaluation-result-4502308-1751434963/solver-4502308-1751434963 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC023-1751434963-62506 --watchdog 3760 ./ipbhs_gurobi HOME/instance-4502308-1751434963.opb --max-coef 1000000000
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=62562, runsolver pid=62558
Current StackSize limit: 8192 KiB
[startup+0.100064 s]*
/proc/loadavg: 0.85 2.85 3.63 5/266 62563
/proc/meminfo: memFree=127332176/131249996 swapFree=33005272/33010684
[pid=62562] ppid=62558 vsize=81792 memory=16252 CPUtime=0.09 cores=5,7
/proc/62562/stat : 62562 (ipbhs_gurobi) R 62558 62562 62461 0 -1 4194304 2728 0 0 0 8 1 0 0 20 0 1 0 59174172 83755008 4063 18446744073709551615 94656042262528 94656044887581 140721465831456 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 94656045506456 94656045539418 94656074817536 140721465833887 140721465833991 140721465833991 140721465839593 0
/proc/62562/statm: 20448 4063 1632 641 0 5205 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 81792 KiB
Current children cumulated memory: 16252 KiB
[startup+0.205777 s]*
/proc/loadavg: 0.85 2.85 3.63 5/266 62563
/proc/meminfo: memFree=126373148/131249996 swapFree=33005272/33010684
[pid=62562] ppid=62558 vsize=92580 memory=24700 CPUtime=0.19 cores=5,7
/proc/62562/stat : 62562 (ipbhs_gurobi) R 62558 62562 62461 0 -1 4194304 4844 0 0 0 18 1 0 0 20 0 1 0 59174172 94801920 6175 18446744073709551615 94656042262528 94656044887581 140721465831456 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 94656045506456 94656045539418 94656074817536 140721465833887 140721465833991 140721465833991 140721465839593 0
/proc/62562/statm: 23145 6175 1632 641 0 7902 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 92580 KiB
Current children cumulated memory: 24700 KiB
[startup+0.305746 s]*
/proc/loadavg: 0.85 2.85 3.63 5/266 62563
/proc/meminfo: memFree=125881128/131249996 swapFree=33005272/33010684
[pid=62562] ppid=62558 vsize=103468 memory=33020 CPUtime=0.29 cores=5,7
/proc/62562/stat : 62562 (ipbhs_gurobi) R 62558 62562 62461 0 -1 4194304 6940 0 0 0 28 1 0 0 20 0 1 0 59174172 105951232 8255 18446744073709551615 94656042262528 94656044887581 140721465831456 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 94656045506456 94656045539418 94656074817536 140721465833887 140721465833991 140721465833991 140721465839593 0
/proc/62562/statm: 25867 8255 1632 641 0 10624 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 103468 KiB
Current children cumulated memory: 33020 KiB
[startup+0.700171 s]
/proc/loadavg: 0.85 2.85 3.63 4/265 62568
/proc/meminfo: memFree=126889612/131249996 swapFree=33005272/33010684
[pid=62562] ppid=62558 vsize=142628 memory=79020 CPUtime=0.68 cores=5,7
/proc/62562/stat : 62562 (ipbhs_gurobi) R 62558 62562 62461 0 -1 4194304 16970 0 0 0 65 3 0 0 20 0 1 0 59174172 146051072 19755 18446744073709551615 94656042262528 94656044887581 140721465831456 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 94656045506456 94656045539418 94656074817536 140721465833887 140721465833991 140721465833991 140721465839593 0
/proc/62562/statm: 35657 19755 1760 641 0 20414 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 142628 KiB
Current children cumulated memory: 79020 KiB
[startup+1.50011 s]
/proc/loadavg: 0.85 2.85 3.63 4/264 62574
/proc/meminfo: memFree=126804752/131249996 swapFree=33005272/33010684
[pid=62562] ppid=62558 vsize=214264 memory=133352 CPUtime=1.48 cores=5,7
/proc/62562/stat : 62562 (ipbhs_gurobi) R 62558 62562 62461 0 -1 4194304 29469 0 0 0 142 6 0 0 20 0 2 0 59174172 219406336 33338 18446744073709551615 94656042262528 94656044887581 140721465831456 0 0 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 94656045506456 94656045539418 94656074817536 140721465833887 140721465833991 140721465833991 140721465839593 0
/proc/62562/statm: 53566 33338 2336 641 0 36049 0
[pid=62562/tid=62574] ppid=62558 vsize=214264 memory=0 CPUtime=0 cores=5,7
/proc/62562/task/62574/stat : 62574 (ipbhs_gurobi) S 62558 62562 62461 0 -1 4194368 1 0 0 0 0 0 0 0 20 0 2 0 59174242 219406336 33338 18446744073709551615 94656042262528 94656044887581 140721465831456 0 0 0 0 4096 0 1 0 0 -1 7 0 0 0 0 0 94656045506456 94656045539418 94656074817536 140721465833887 140721465833991 140721465833991 140721465839593 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 214264 KiB
Current children cumulated memory: 133352 KiB
[startup+3.10529 s]
/proc/loadavg: 1.11 2.87 3.63 4/263 62602
/proc/meminfo: memFree=126738204/131249996 swapFree=33005272/33010684
[pid=62562] ppid=62558 vsize=226372 memory=143220 CPUtime=3.08 cores=5,7
/proc/62562/stat : 62562 (ipbhs_gurobi) R 62558 62562 62461 0 -1 4194304 34213 0 0 0 301 7 0 0 20 0 2 0 59174172 231804928 35805 18446744073709551615 94656042262528 94656044887581 140721465831456 0 0 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 94656045506456 94656045539418 94656074817536 140721465833887 140721465833991 140721465833991 140721465839593 0
/proc/62562/statm: 56593 35805 2336 641 0 39076 0
[pid=62562/tid=62574] ppid=62558 vsize=226372 memory=133736 CPUtime=0 cores=5,7
/proc/62562/task/62574/stat : 62574 (ipbhs_gurobi) S 62558 62562 62461 0 -1 4194368 4 0 0 0 0 0 0 0 20 0 2 0 59174242 231804928 35805 18446744073709551615 94656042262528 94656044887581 140721465831456 0 0 0 0 4096 0 1 0 0 -1 7 0 0 0 0 0 94656045506456 94656045539418 94656074817536 140721465833887 140721465833991 140721465833991 140721465839593 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 226372 KiB
Current children cumulated memory: 143220 KiB
[startup+6.30018 s]
/proc/loadavg: 1.11 2.87 3.63 4/263 62602
/proc/meminfo: memFree=126573064/131249996 swapFree=33005272/33010684
[pid=62562] ppid=62558 vsize=336828 memory=252720 CPUtime=6.27 cores=5,7
/proc/62562/stat : 62562 (ipbhs_gurobi) R 62558 62562 62461 0 -1 4194304 65581 0 0 0 613 14 0 0 20 0 2 0 59174172 344911872 63180 18446744073709551615 94656042262528 94656044887581 140721465831456 0 0 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 94656045506456 94656045539418 94656074817536 140721465833887 140721465833991 140721465833991 140721465839593 0
/proc/62562/statm: 84207 63180 3392 641 0 66690 0
[pid=62562/tid=62574] ppid=62558 vsize=336828 memory=14208 CPUtime=0 cores=5,7
/proc/62562/task/62574/stat : 62574 (ipbhs_gurobi) S 62558 62562 62461 0 -1 4194368 7 0 0 0 0 0 0 0 20 0 2 0 59174242 344911872 63180 18446744073709551615 94656042262528 94656044887581 140721465831456 0 0 0 0 4096 0 1 0 0 -1 7 0 0 0 0 0 94656045506456 94656045539418 94656074817536 140721465833887 140721465833991 140721465833991 140721465839593 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 336828 KiB
Current children cumulated memory: 252720 KiB
[startup+12.7001 s]
/proc/loadavg: 1.48 2.90 3.63 4/263 62603
/proc/meminfo: memFree=126584292/131249996 swapFree=33005272/33010684
[pid=62562] ppid=62558 vsize=406996 memory=324236 CPUtime=12.65 cores=5,7
/proc/62562/stat : 62562 (ipbhs_gurobi) R 62558 62562 62461 0 -1 4194304 111183 0 0 0 1241 24 0 0 20 0 2 0 59174172 416763904 81059 18446744073709551615 94656042262528 94656044887581 140721465831456 0 0 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 94656045506456 94656045539418 94656074817536 140721465833887 140721465833991 140721465833991 140721465839593 0
/proc/62562/statm: 101749 81059 3744 641 0 84232 0
[pid=62562/tid=62574] ppid=62558 vsize=406996 memory=311180 CPUtime=0 cores=5,7
/proc/62562/task/62574/stat : 62574 (ipbhs_gurobi) S 62558 62562 62461 0 -1 4194368 9 0 0 0 0 0 0 0 20 0 2 0 59174242 416763904 81059 18446744073709551615 94656042262528 94656044887581 140721465831456 0 0 0 0 4096 0 1 0 0 -1 7 0 0 0 0 0 94656045506456 94656045539418 94656074817536 140721465833887 140721465833991 140721465833991 140721465839593 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 406996 KiB
Current children cumulated memory: 324236 KiB
[startup+20.5666 s]
# the end of solver process 62562 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=20.2013 s, system=0.302134 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+12.8001 s]
/proc/loadavg: 1.48 2.90 3.63 4/263 62603
/proc/meminfo: memFree=126584292/131249996 swapFree=33005272/33010684
[pid=62562] ppid=62558 vsize=406996 memory=324236 CPUtime=12.75 cores=5,7
/proc/62562/stat : 62562 (ipbhs_gurobi) R 62558 62562 62461 0 -1 4194304 111183 0 0 0 1251 24 0 0 20 0 2 0 59174172 416763904 81059 18446744073709551615 94656042262528 94656044887581 140721465831456 0 0 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 94656045506456 94656045539418 94656074817536 140721465833887 140721465833991 140721465833991 140721465839593 0
/proc/62562/statm: 101749 81059 3744 641 0 84232 0
[pid=62562/tid=62574] ppid=62558 vsize=406996 memory=14208 CPUtime=0 cores=5,7
/proc/62562/task/62574/stat : 62574 (ipbhs_gurobi) S 62558 62562 62461 0 -1 4194368 9 0 0 0 0 0 0 0 20 0 2 0 59174242 416763904 81059 18446744073709551615 94656042262528 94656044887581 140721465831456 0 0 0 0 4096 0 1 0 0 -1 7 0 0 0 0 0 94656045506456 94656045539418 94656074817536 140721465833887 140721465833991 140721465833991 140721465839593 0
Current children cumulated CPU time: 12.75 s
Current children cumulated vsize: 406996 KiB
Current children cumulated memory: 324236 KiB
[startup+16.0001 s]*
/proc/loadavg: 1.48 2.90 3.63 4/263 62603
/proc/meminfo: memFree=126595320/131249996 swapFree=33005272/33010684
[pid=62562] ppid=62558 vsize=418208 memory=332092 CPUtime=15.95 cores=5,7
/proc/62562/stat : 62562 (ipbhs_gurobi) R 62558 62562 62461 0 -1 4194304 122629 0 0 0 1570 25 0 0 20 0 2 0 59174172 428244992 83023 18446744073709551615 94656042262528 94656044887581 140721465831456 0 0 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 94656045506456 94656045539418 94656074817536 140721465833887 140721465833991 140721465833991 140721465839593 0
/proc/62562/statm: 104552 83023 3744 641 0 87035 0
[pid=62562/tid=62574] ppid=62558 vsize=418208 memory=302476 CPUtime=0 cores=5,7
/proc/62562/task/62574/stat : 62574 (ipbhs_gurobi) S 62558 62562 62461 0 -1 4194368 10 0 0 0 0 0 0 0 20 0 2 0 59174242 428244992 83023 18446744073709551615 94656042262528 94656044887581 140721465831456 0 0 0 0 4096 0 1 0 0 -1 7 0 0 0 0 0 94656045506456 94656045539418 94656074817536 140721465833887 140721465833991 140721465833991 140721465839593 0
Current children cumulated CPU time: 15.95 s
Current children cumulated vsize: 418208 KiB
Current children cumulated memory: 332092 KiB
[startup+17.6001 s]
/proc/loadavg: 1.68 2.91 3.63 4/263 62603
/proc/meminfo: memFree=126584252/131249996 swapFree=33005272/33010684
[pid=62562] ppid=62558 vsize=435060 memory=351972 CPUtime=17.54 cores=5,7
/proc/62562/stat : 62562 (ipbhs_gurobi) R 62558 62562 62461 0 -1 4194304 125617 0 0 0 1728 26 0 0 20 0 2 0 59174172 445501440 87993 18446744073709551615 94656042262528 94656044887581 140721465831456 0 0 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 94656045506456 94656045539418 94656074817536 140721465833887 140721465833991 140721465833991 140721465839593 0
/proc/62562/statm: 108765 87993 3744 641 0 91248 0
[pid=62562/tid=62574] ppid=62558 vsize=435060 memory=1792 CPUtime=0 cores=5,7
/proc/62562/task/62574/stat : 62574 (ipbhs_gurobi) S 62558 62562 62461 0 -1 4194368 10 0 0 0 0 0 0 0 20 0 2 0 59174242 445501440 87993 18446744073709551615 94656042262528 94656044887581 140721465831456 0 0 0 0 4096 0 1 0 0 -1 7 0 0 0 0 0 94656045506456 94656045539418 94656074817536 140721465833887 140721465833991 140721465833991 140721465839593 0
Current children cumulated CPU time: 17.54 s
Current children cumulated vsize: 435060 KiB
Current children cumulated memory: 351972 KiB
[startup+19.2001 s]
/proc/loadavg: 1.68 2.91 3.63 4/263 62603
/proc/meminfo: memFree=126581988/131249996 swapFree=33005272/33010684
[pid=62562] ppid=62558 vsize=435060 memory=351972 CPUtime=19.14 cores=5,7
/proc/62562/stat : 62562 (ipbhs_gurobi) R 62558 62562 62461 0 -1 4194304 127597 0 0 0 1888 26 0 0 20 0 2 0 59174172 445501440 87993 18446744073709551615 94656042262528 94656044887581 140721465831456 0 0 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 94656045506456 94656045539418 94656074817536 140721465833887 140721465833991 140721465833991 140721465839593 0
/proc/62562/statm: 108765 87993 3744 641 0 91248 0
[pid=62562/tid=62574] ppid=62558 vsize=435060 memory=290604 CPUtime=0 cores=5,7
/proc/62562/task/62574/stat : 62574 (ipbhs_gurobi) S 62558 62562 62461 0 -1 4194368 12 0 0 0 0 0 0 0 20 0 2 0 59174242 445501440 87993 18446744073709551615 94656042262528 94656044887581 140721465831456 0 0 0 0 4096 0 1 0 0 -1 7 0 0 0 0 0 94656045506456 94656045539418 94656074817536 140721465833887 140721465833991 140721465833991 140721465839593 0
Current children cumulated CPU time: 19.14 s
Current children cumulated vsize: 435060 KiB
Current children cumulated memory: 351972 KiB
[startup+20.0001 s]*
/proc/loadavg: 1.68 2.91 3.63 4/263 62603
/proc/meminfo: memFree=126579512/131249996 swapFree=33005272/33010684
[pid=62562] ppid=62558 vsize=435060 memory=351972 CPUtime=19.94 cores=5,7
/proc/62562/stat : 62562 (ipbhs_gurobi) R 62558 62562 62461 0 -1 4194304 127597 0 0 0 1968 26 0 0 20 0 2 0 59174172 445501440 87993 18446744073709551615 94656042262528 94656044887581 140721465831456 0 0 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 94656045506456 94656045539418 94656074817536 140721465833887 140721465833991 140721465833991 140721465839593 0
/proc/62562/statm: 108765 87993 3744 641 0 91248 0
[pid=62562/tid=62574] ppid=62558 vsize=435060 memory=6212 CPUtime=0 cores=5,7
/proc/62562/task/62574/stat : 62574 (ipbhs_gurobi) S 62558 62562 62461 0 -1 4194368 12 0 0 0 0 0 0 0 20 0 2 0 59174242 445501440 87993 18446744073709551615 94656042262528 94656044887581 140721465831456 0 0 0 0 4096 0 1 0 0 -1 7 0 0 0 0 0 94656045506456 94656045539418 94656074817536 140721465833887 140721465833991 140721465833991 140721465839593 0
Current children cumulated CPU time: 19.94 s
Current children cumulated vsize: 435060 KiB
Current children cumulated memory: 351972 KiB
[startup+20.4002 s]
/proc/loadavg: 1.68 2.91 3.63 4/263 62603
/proc/meminfo: memFree=126579512/131249996 swapFree=33005272/33010684
[pid=62562] ppid=62558 vsize=507348 memory=389692 CPUtime=20.34 cores=5,7
/proc/62562/stat : 62562 (ipbhs_gurobi) R 62558 62562 62461 0 -1 4194304 134361 0 0 0 2007 27 0 0 20 0 2 0 59174172 519524352 97423 18446744073709551615 94656042262528 94656044887581 140721465831456 0 0 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 94656045506456 94656045539418 94656074817536 140721465833887 140721465833991 140721465833991 140721465839593 0
/proc/62562/statm: 126837 97423 3744 641 0 109320 0
[pid=62562/tid=62574] ppid=62558 vsize=507348 memory=5632 CPUtime=0 cores=5,7
/proc/62562/task/62574/stat : 62574 (ipbhs_gurobi) S 62558 62562 62461 0 -1 4194368 12 0 0 0 0 0 0 0 20 0 2 0 59174242 519524352 97423 18446744073709551615 94656042262528 94656044887581 140721465831456 0 0 0 0 4096 0 1 0 0 -1 7 0 0 0 0 0 94656045506456 94656045539418 94656074817536 140721465833887 140721465833991 140721465833991 140721465839593 0
Current children cumulated CPU time: 20.34 s
Current children cumulated vsize: 507348 KiB
Current children cumulated memory: 389692 KiB
[startup+20.5002 s]
/proc/loadavg: 1.68 2.91 3.63 4/263 62603
/proc/meminfo: memFree=126579512/131249996 swapFree=33005272/33010684
[pid=62562] ppid=62558 vsize=403352 memory=320836 CPUtime=20.44 cores=5,7
/proc/62562/stat : 62562 (ipbhs_gurobi) R 62558 62562 62461 0 -1 4194304 135567 0 0 0 2016 28 0 0 20 0 2 0 59174172 413032448 80209 18446744073709551615 94656042262528 94656044887581 140721465831456 0 0 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 94656045506456 94656045539418 94656074817536 140721465833887 140721465833991 140721465833991 140721465839593 0
/proc/62562/statm: 100838 80209 3744 641 0 83321 0
[pid=62562/tid=62574] ppid=62558 vsize=403352 memory=324492 CPUtime=0 cores=5,7
/proc/62562/task/62574/stat : 62574 (ipbhs_gurobi) S 62558 62562 62461 0 -1 4194368 12 0 0 0 0 0 0 0 20 0 2 0 59174242 413032448 80209 18446744073709551615 94656042262528 94656044887581 140721465831456 0 0 0 0 4096 0 1 0 0 -1 7 0 0 0 0 0 94656045506456 94656045539418 94656074817536 140721465833887 140721465833991 140721465833991 140721465839593 0
Current children cumulated CPU time: 20.44 s
Current children cumulated vsize: 403352 KiB
Current children cumulated memory: 320836 KiB
Child status: 0
Real time (s): 20.5667
CPU time (s): 20.5035
CPU user time (s): 20.2013
CPU system time (s): 0.302134
CPU usage (%): 99.6926
Max. virtual memory (cumulated for all children) (KiB): 507348
Max. memory (cumulated for all children) (KiB): 389692
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 20.2013
system time used= 0.302134
maximum resident set size= 424508
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 140208
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= 2148
involuntary context switches= 131
# summary of solver processes directly reported to runsolver:
# pid: 62562
# total CPU time (s): 20.5035
# total CPU user time (s): 20.2013
# total CPU system time (s): 0.302134
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.051632 second user time and 0.111293 second system time
The end
Begin job on nodeC023 at 2025-07-02 07:42:43
IDJOB=4502308
IDBENCH=155319
IDSOLVER=3333
FILE ID=nodeC023/4502308-1751434963
RUNJOBID= nodeC023-1751434963-62506
SLURM_JOB_ID= 9598388
Free space on /tmp= 431888 MiB
SOLVER NAME= IPBHS-GUROBI 2025-06-09
BENCH NAME= PB24/normalized-PB11/OPT-LIN/heinz/normalized-neos-544324.opb
COMMAND LINE= ./ipbhs_gurobi BENCHNAME --max-coef 1000000000
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4502308-1751434963/watcher-4502308-1751434963 -o /tmp/evaluation-result-4502308-1751434963/solver-4502308-1751434963 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC023-1751434963-62506 --watchdog 3760 ./ipbhs_gurobi HOME/instance-4502308-1751434963.opb --max-coef 1000000000
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 8c6c1213a1160c9558cfabfe880ab91b
RANDOM SEED=1804491401
nodeC023 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.78
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.512
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.78
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.028
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.78
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.944
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.78
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.897
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.78
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.248
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.78
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.008
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.78
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.895
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.78
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249996 kB
MemFree: 128599108 kB
MemAvailable: 129738316 kB
Buffers: 1328 kB
Cached: 1936860 kB
SwapCached: 372 kB
Active: 250500 kB
Inactive: 1767904 kB
Active(anon): 39096 kB
Inactive(anon): 54560 kB
Active(file): 211404 kB
Inactive(file): 1713344 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33005272 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 253412 kB
Writeback: 0 kB
AnonPages: 82600 kB
Mapped: 99660 kB
Shmem: 13440 kB
KReclaimable: 107396 kB
Slab: 195760 kB
SReclaimable: 107396 kB
SUnreclaim: 88364 kB
KernelStack: 4208 kB
PageTables: 2868 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 341320 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150376 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 24576 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
CmaTotal: 0 kB
CmaFree: 0 kB
Unaccepted: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 197332 kB
DirectMap2M: 9011200 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 431828 MiB
End job on nodeC023 at 2025-07-02 07:43:04