0.00/0.08 c initialize IPBHS solver
0.00/0.08 c IPBHS 0.0.0 beta (471c63a-dirty, Jul 9 2024 15:19:29), with Glucose 3.0, with Gurobi 10.0.1, with RoundingSat 2, with SSPB2SAT 0.2.0, with BreakID 0.0.0
0.00/0.08 c optimizer = "gurobi"
0.00/0.08 c pbsolver = "roundingsat"
0.00/0.08 c load symmetries from file ""
0.00/0.08 c set time limit for symmetry computation to 100 seconds.
0.00/0.08 c set interchangeable summation variable limit to 3
0.00/0.08 c find symmetric cores by applying each permutation and add them to optimizer
0.00/0.08 c set abs symmetric core budget per WCE-iteration to 100
0.00/0.08 c set rel symmetric core budget per WCE-iteration to 0
0.00/0.08 c set lit symmetric core budget per WCE-iteration to 0
0.00/0.08 c set sym generation to 's'
0.00/0.08 c set abstraction set creation to 10 iterations without LB change
0.00/0.08 c set abstraction set inputs to 0
0.00/0.08 c set abstraction set cluster min size to 2
0.00/0.08 c set abstraction set cluster max size to 100000000
0.00/0.08 c set abstraction set cluster activation limit to 2
0.00/0.08 c enable abstraction set require equal cost
0.00/0.08 c set abstraction set assumptions to 0
0.00/0.08 c set abstraction set constraint type to 0
0.00/0.08 c set abstract core extraction strategy to b
0.00/0.08 c set core extraction strategy to 2
0.00/0.08 c set core extraction shuffles 10
0.00/0.08 c set cores per iteration to 5
0.00/0.08 c set optimizer bound usage strategy to 2
0.00/0.08 c set optimizer max non-optimal iterations to 1000
0.00/0.08 c set small core cardinality limit to 2
0.00/0.08 c set max coef in cores to 1000000000
0.00/0.08 c set SIS iterations to 5
0.00/0.08 c set SIS budget abs to 1000
0.00/0.08 c set SIS budget rel to 0.05
0.00/0.08 c limit for coefficient in constraints and objective to 9223372036854775807
0.00/0.08 c will solve HOME/instance-4431170-1721116323.opb
2.58/2.60 c [0.37] solve iteration 1, LB=0, UB=9
2.58/2.60 c LB=UB after core extraction
2.58/2.60 c instance solved in 2.49s (IP-solver: 0s, core-extraction: 2.12s, SIS: 0s), 1 iterations, LB=8, UB=8,
2.58/2.60 d ITERATIONS 1
2.58/2.60 d SIS 0
2.58/2.60 d SIS_SAT 0
2.58/2.60 d SIS_UNSAT 0
2.58/2.60 d SIS_OUT_OF_BUDGET 0
2.58/2.60 d CORES_EXTRACTED 0
2.58/2.60 d CORES_IN_OPTIMIZER 0
2.58/2.60 d CLAUSAL_CORES_IN_OPTIMIZER 0
2.58/2.60 d CARDINALITY_CORES_IN_OPTIMIZER 0
2.58/2.60 d PB_CORES_IN_OPTIMIZER 0
2.58/2.60 d TIME_EXTRACT_CORES 2.120000
2.58/2.60 d TIME_OPTIMIZE 0.000000
2.58/2.60 d TIME_SIS 0.000000
2.58/2.60 c solve_time: 2.490000
2.58/2.60 s OPTIMUM FOUND
2.58/2.60 o 8
2.58/2.60 v x1 -x3241 -x3267 -x3286 -x3304 x2 -x5676 -x5697 -x5621 -x5647 x4 -x4618 x4641 -x4860 -x4895 x5 -x1247 -x1226 -x1294 -x1272 x6 -x538 -x514 -x673 -x650 x8 -x2936 -x2908 -x3001 -x2971 x10 -x2205 -x2232 -x2102 -x2063 x12 -x1373 -x1398 -x1320 -x1345 -x614 -x60 -x719 -x1369 -x2207 -x3111 -x3872 x4628 -x3602 -x3578 -x3657 -x3629 -x5922 -x5894 -x6083 -x6061 -x5175 -x5139 -x5238 -x5208 -x871 -x889 x759 -x779 -x226 -x239 -x190 -x206 -x2428 -x2456 -x2483 -x2512 -x1554 -x1582 -x1495 -x1533 -x4419 -x4444 -x3931 -x3907 -x3919 -x3950 -x3969 -x3990 -x1613 x1585 -x1557 -x1526 -x2488 -x2565 -x2541 -x2394 -x2662 -x235 -x219 -x207 -x487 -x408 -x426 -x856 -x1017 -x1043 -x1071 -x1077 -x5516 -x5586 -x5563 -x5639 -x4671 -x4825 -x4801 -x4771 -x3473 -x3500 -x3532 -x3563 -x3364 -x3389 -x3413 -x3441 -x1820 -x1841 -x1866 -x1888 -x1710 -x1732 -x1759 -x1785 -x1376 -x1354 -x1647 -x1623 -x1681 -x1665 -x1544 -x1514 -x1604 -x1551 -x2747 -x2768 -x2701 x2723 -x2650 -x2679 -x2225 -x2197 -x2168 -x2132 -x2579 -x2554 -x2530 -x2508 -x2463 -x2433 -x2398 -x2369 -x302 -x325 -x348 -x368 -x91 -x70 -x127 -x117 -x166 -x150 -x200 -x176 -x231 -x215 -x258 -x250 -x289 -x276 -x984 -x1002 -x751 -x732 -x711 -x694 -x828 -x807 -x785 -x770 -x877 -x863 -x853 -x839 -x943 -x934 -x918 -x900 -x5031 -x5004 -x4851 -x4876 -x4903 -x4928 -x4754 -x4774 -x4804 -x4829 -x4662 -x4686 -x4714 -x4730 -x4567 -x4587 -x5791 -x5766 -x5742 -x5718 -x5656 -x5683 -x5618 -x5641 -x5560 -x5585 -x5507 -x5536 -x5478 -x5503 -x5404 -x5430 -x3449 -x3422 -x3495 -x3469 -x3546 -x3515 -x3214 -x3234 -x3248 -x3270 -x3299 -x3314 -x3335 -x3354 -x3018 -x3061 -x3549 -x4222 -x5119 -x5971 x2375 -x1620 -x840 -x1113 -x5124 -x5149 -x5186 -x5217 -x5233 -x5249 -x5277 -x5294 -x833 -x847 -x1120 -x1095 -x1072 -x1054 -x1023 -x1008 -x183 -x202 -x217 -x233 -x435 -x403 -x400 -x474 -x2386 -x2419 -x2543 -x2573 -x2493 -x2521 -x2656 -x2676 -x1507 -x1536 -x1576 -x1599 -x1630 -x1653 -x1668 -x1686 -x4463 -x4434 -x4291 -x4260 -x4355 -x4319 -x4175 -x4150 -x3674 -x3649 -x3624 -x3600 -x3545 -x3518 -x3494 x3464 -x5965 -x5935 -x6026 -x5991 -x6066 -x6042 -x5741 -x5722 -x2318 -x2293 -x2265 -x2231 -x1501 -x1489 -x1461 -x1442 -x2367 -x2450 -x2424 -x2299 -x189 -x292 -x280 -x265 -x842 -x888 -x870 -x914 -x1098 x4694 -x4718 -x4646 -x5209 -x5176 -x5142 -x5412 -x6044 -x5921 -x5893 -x5978 -x342 -x432 -x396 -x477 -x460 -x537 -x510 -x582 -x565 -x624 -x601 -x667 -x647 -x21 -x40 -x56 -x84 -x111 -x135 -x155 -x168 -x182 -x197 -x210 -x234 -x245 -x256 -x267 -x281 -x2754 -x2732 -x2717 -x2729 -x2704 -x2671 -x2641 -x2617 -x2598 -x2997 -x2966 -x2925 -x2896 -x2875 -x2851 -x2823 -x2786 -x2327 -x2349 -x2247 -x2280 -x2188 -x2212 -x2134 -x2164 -x2550 -x2580 -x2498 -x2522 -x2441 -x2472 -x2382 -x2409 -x1832 -x1806 -x2718 -x2730 -x2705 -x2672 -x2642 -x2618 -x2599 -x2998 -x2967 -x2926 -x2897 -x2876 -x2852 -x2824 -x2787 -x2328 -x2350 -x2248 -x2281 -x2189 -x2213 -x2135 -x2165 -x2551 -x2581 -x2499 -x2523 -x2442 -x2473 -x2383 -x2410 -x1833 -x1807 -x1817 -x1878 -x1856 -x1746 -x1712 -x1793 -x1770 -x2031 -x2010 -x2106 -x2071 -x1924 -x1892 -x1980 -x1953 -x1421 x1425 -x1446 -x1475 -x1306 -x1335 -x1352 -x1386 -x1624 -x1648 -x1671 -x1689 -x1508 -x1539 -x1570 -x1595 -x1834 -x1808 -x1818 -x1879 -x1857 -x1747 -x1713 -x1794 -x1771 -x2032 -x2011 -x2107 -x2072 -x1925 -x1893 -x1981 -x1954 -x1422 -x1426 -x1447 -x1476 -x1307 -x1336 -x1353 -x1387 -x1625 -x1649 -x1672 -x1690 -x1509 -x1540 -x1571 -x1596 -x4429 -x4424 -x4451 -x4374 -x4394 -x4509 -x4535 -x4468 -x4488 -x4215 -x4239 -x4161 -x4186 -x4336 -x4362 -x4277 -x4308 -x4056 -x4038 -x4019 -x3998 -x4137 -x4115 -x4093 -x4071 -x3861 -x3835 -x3811 -x3787 -x3965 -x3937 -x1572 -x1597 -x4430 -x4425 -x4452 -x4375 -x4395 -x4510 -x4536 -x4469 -x4489 -x4216 -x4240 -x4162 -x4187 -x4337 -x4363 -x4278 -x4309 -x4057 -x4039 -x4020 -x3999 -x4138 -x4116 -x4094 -x4072 -x3862 -x3836 -x3812 -x3788 -x3966 -x3938 -x3914 -x3888 -x3896 -x3576 -x3603 -x3631 -x3659 -x3686 -x3712 -x3740 -x3760 -x3376 -x3406 -x3430 -x3457 -x3479 -x3507 -x3537 -x3556 -x3230 -x3212 -x3273 -x3249 -x3316 -x3297 -x3352 -x3333 -x3044 -x3024 -x3091 -x3068 -x3967 -x3939 -x3915 -x3889 -x3897 -x3577 -x3604 -x3632 -x3660 -x3687 -x3713 -x3741 -x3761 -x3377 -x3407 -x3431 -x3458 -x3480 -x3508 -x3538 -x3557 -x3231 -x3213 -x3274 -x3250 -x3317 -x3298 -x3353 -x3334 -x3045 -x3025 -x3092 -x3069 -x3135 -x3112 -x3182 -x3201 -x3174 -x6062 -x6084 -x6013 -x6037 -x5949 -x5979 -x5897 -x5924 -x5840 -x5858 -x5794 -x5815 -x5754 -x5774 -x5712 -x5733 -x5693 -x5666 -x5642 -x5615 -x5583 -x5561 -x5540 -x5517 -x5499 -x5474 -x3093 -x3070 -x3136 -x3113 -x3183 -x3202 -x3175 -x6063 -x6085 -x6014 -x6038 -x5950 -x5980 -x5898 -x5925 -x5841 -x5859 -x5795 -x5816 -x5755 -x5775 -x5713 -x5734 -x5694 -x5667 -x5643 -x5616 -x5584 -x5562 -x5541 -x5518 -x5500 -x5475 -x5448 -x5422 -x5400 -x5384 -x5366 -x5354 -x5337 -x5251 -x5272 -x5298 -x5316 -x5143 -x5172 -x5195 -x5225 -x5047 -x5067 -x5086 -x5105 -x4951 -x4989 -x5015 -x5035 -x4873 -x4848 -x4926 -x4896 -x4775 -x4747 -x4826 -x4799 -x5501 -x5476 -x5449 -x5423 -x5401 -x5385 -x5367 -x5355 -x5338 -x5252 -x5273 -x5299 -x5317 -x5144 -x5173 -x5196 -x5226 -x5048 -x5068 -x5087 -x5106 -x4952 -x4990 -x5016 -x5036 -x4874 -x4849 -x4927 -x4897 -x4776 -x4748 -x4827 -x4800 -x4691 -x4670 -x4739 -x4717 -x4600 -x4594 -x4571 -x4640 -x4615 -x4518 -x4546 -x4479 -x4500 -x4433 -x4458 -x4378 -x4400 -x4322 -x4350 -x4262 -x4300 -x4221 -x4246 -x4168 -x4193 -x4130 -x4106 -x4085 -x4061 -x4042 -x4023 -x4824 -x4798 -x4690 -x4669 -x4738 -x4716 -x4599 -x4593 -x4570 -x4639 -x4614 -x4517 -x4545 -x4478 -x4499 -x4432 -x4457 -x4377 -x4399 -x4321 -x4349 -x4261 -x4299 -x4220 -x4245 -x4167 -x4192 -x4129 -x4105 -x4084 -x4060 -x4041 -x4022 -x4006 -x3986 -x3981 -x3955 -x3928 -x3903 -x3887 -x3865 -x3842 -x3816 -x3789 -x3698 -x3722 -x3755 -x3770 -x3599 -x3626 -x3650 -x3681 -x3467 -x3492 -x3522 -x3571 -x3370 -x3403 -x3426 -x3453 -x3306 -x3288 -x3341 -x3321 -x3610 -x2319 -x1365 -x797 -x589 -x5837 -x5001 x4334 -x1896 -x1928 -x2070 -x2104 -x1999 -x2036 -x1772 -x1795 -x1719 -x1741 -x1855 -x1882 -x1810 -x1830 -x1594 -x1569 -x1534 -x1511 -x1691 -x1669 -x1646 -x1627 -x1384 -x1359 -x1330 -x1305 -x1477 -x1448 -x1462 -x1444 -x1420 -x2790 -x2813 -x2847 -x2878 -x2899 -x2935 -x2965 -x2995 -x2593 -x2614 -x2644 -x2675 -x2703 -x2715 -x2736 -x2756 -x2418 -x2390 -x2471 -x2440 -x2525 -x2505 -x2577 -x2553 -x2163 -x2144 -x2219 -x2187 -x2277 -x2286 -x2255 -x2348 -x2326 -x2789 -x2812 -x2846 -x2877 -x2898 -x2934 -x2964 -x2994 -x2592 -x2613 -x2643 -x2674 -x2702 -x2714 -x2735 -x2755 -x2417 -x2389 -x2470 -x2439 -x2524 -x2504 -x2576 -x2552 -x2162 -x2143 -x2218 -x2186 -x2276 -x2285 -x2254 -x2347 -x2325 -x642 -x671 -x603 -x621 -x560 -x585 -x507 -x534 -x456 -x472 -x399 -x434 -x362 -x384 -x315 -x336 -x283 -x270 x255 -x244 -x228 -x212 -x199 -x178 -x172 -x153 -x132 -x115 -x97 -x81 -x55 -x2346 -x2324 -x641 -x670 -x602 -x620 -x559 -x584 -x506 -x533 -x455 -x471 -x398 -x433 -x361 -x383 -x314 -x335 -x282 -x269 -x254 -x243 -x227 -x211 -x198 -x177 -x171 -x152 -x131 -x114 -x96 -x80 -x54 -x39 -x16 -x1234 -x1258 -x1277 -x1291 -x1144 -x1166 -x1188 -x1213 -x1026 -x1053 -x1079 -x1116 -x956 -x978 -x994 -x1016 -x912 -x896 -x937 -x923 -x850 -x836 -x883 -x862 -x791 -x774 -x825 -x822 -x796 -x79 -x53 -x38 -x15 -x1233 -x1257 -x1276 -x1290 -x1143 -x1165 -x1187 -x1212 -x1025 -x1052 -x1078 -x1115 -x955 -x977 -x993 -x1015 -x911 -x895 -x936 -x922 -x849 -x835 -x882 -x861 -x790 -x773 -x824 -x821 -x795 -x698 -x681 -x742 -x718 -x4582 -x4564 -x4634 -x4611 -x4677 -x4651 -x4728 -x4696 -x4784 -x4760 -x4821 -x4796 -x4882 -x4856 -x4937 -x4911 -x4966 -x4986 -x5020 -x5040 -x5051 -x5074 -x5093 -x5111 -x5134 -x5160 -x5166 -x820 -x794 -x697 -x680 -x741 -x717 -x4581 -x4563 -x4633 -x4610 -x4676 -x4650 -x4727 -x4695 -x4783 -x4759 -x4820 -x4795 -x4881 -x4855 -x4936 -x4910 -x4965 -x4985 -x5019 -x5039 -x5050 -x5073 -x5092 -x5110 -x5133 -x5159 -x5165 -x5199 -x5230 -x5254 -x5284 -x5301 -x5324 -x5394 -x5373 -x5353 -x5332 -x5492 -x5464 -x5443 -x5421 -x5598 -x5572 -x5538 -x5510 -x5690 -x5658 -x5638 -x5612 -x5770 -x5782 -x5716 -x5740 -x5854 -x5874 -x5810 -x5831 -x5939 -x5158 -x5164 -x5198 -x5229 -x5253 -x5283 -x5300 -x5323 -x5393 -x5372 -x5352 -x5331 -x5491 -x5463 -x5442 -x5420 -x5597 -x5571 -x5537 -x5509 -x5689 -x5657 -x5637 -x5611 -x5769 -x5781 -x5715 -x5739 -x5853 -x5873 -x5809 -x5830 -x5938 -x5954 -x5987 -x5902 -x5929 -x6054 -x6077 -x6008 -x6028 -x3153 -x3131 -x3197 -x3173 -x3053 -x3028 -x3102 -x3078 -x3313 -x3295 -x3347 -x3329 -x3238 -x3218 -x3279 -x3257 -x3472 -x3499 -x3531 -x3562 -x3363 -x3388 -x3412 -x5829 -x5937 -x5953 -x5986 -x5901 -x5928 -x6053 -x6076 -x6007 -x6027 -x3152 -x3130 -x3196 -x3172 -x3052 -x3027 -x3101 -x3077 -x3312 -x3294 -x3346 -x3328 -x3237 -x3217 -x3278 -x3256 -x3471 -x3498 -x3530 -x3561 -x3362 -x3387 -x3411 -x3440 -x3460 -x3683 -x3707 -x3736 -x3759 -x3581 -x3609 -x3639 -x3662 -x3975 -x3949 -x3918 -x3895 -x3879 -x3855 -x3829 -x3782 -x4144 -x4122 -x4097 -x4079 -x4050 -x4031 -x4016 -x3997 -x4314 -x4343 -x4255 -x4285 -x4210 -x3386 -x3410 -x3439 -x3459 -x3682 -x3706 -x3735 -x3758 -x3580 -x3608 -x3638 -x3661 -x3974 -x3948 -x3917 -x3894 -x3878 -x3854 -x3828 -x3781 -x4143 -x4121 -x4096 -x4078 -x4049 -x4030 -x4015 -x3996 -x4313 -x4342 -x4254 -x4284 -x4209 -x4238 -x4155 -x4166 -x4188 -x4514 -x4540 -x4471 -x4492 -x4418 -x4443 -x4376 -x4398 -x1506 -x1532 -x1563 -x1586 -x1606 -x1636 -x1667 -x1685 -x1302 -x1327 -x1348 -x1381 -x1407 -x1429 -x1445 -x1473 -x1940 -x1916 -x1996 -x3223 -x3573 -x3544 -x3512 -x3485 -x3451 -x3427 -x3393 -x4009 -x4029 -x4046 -x4304 -x4272 -x4360 -x4333 -x4191 -x4777 -x4916 -x4943 -x4867 -x4887 -x5024 -x5000 -x4978 -x5557 -x5579 -x5601 -x5626 -x5650 -x5679 -x5698 -x5727 -x566 -x422 -x388 -x480 -x458 -x319 -x298 -x365 -x1184 -x1159 -x1137 -x1104 -x1076 -x1060 -x1032 -x1005 -x1952 -x2042 -x2012 -x2105 -x2068 -x1739 -x1711 -x1792 -x2843 -x2822 -x2782 -x2991 -x2961 x2924 -x2909 -x2668 -x2497 -x2468 -x2426 -x2393 -x3445 -x3369 -x3394 -x3543 -x3292 -x4145 -x4173 -x4200 -x4075 -x4142 -x4120 -x5097 -x4859 -x4819 -x4797 -x4770 -x5609 -x5684 -x5662 -x5544 -x257 -x66 -x88 x25 -x907 -x926 -x938 -x690 -x2568 -x3167 -x3952 -x4923 -x5670 -x418 x1065 -x1616 -x4229 -x4258 -x4293 -x4325 -x4352 -x4010 -x4001 -x4053 -x3444 -x3368 -x3398 -x3523 -x3548 -x3463 -x3493 -x3272 -x2636 -x2940 -x2911 -x3007 -x2972 -x2833 -x2804 -x2888 -x1738 -x1724 -x1695 -x2123 -x2094 -x2055 -x2023 -x1993 -x1059 -x1029 -x1045 -x1122 -x1097 -x1147 -x1127 -x1191 -x318 -x296 -x479 -x485 -x464 -x442 -x407 -x578 -x5678 -x5699 -x5625 -x5652 -x5636 -x5567 -x5590 -x5515 x5726 -x5705 -x4868 -x4890 -x4917 -x4912 -x4938 -x4745 -x2243 -x2334 -x2304 -x2420 -x105 -x92 -x68 -x41 -x760 -x812 -x809 -x713 x1207 -x4811 -x4843 -x4749 -x5082 -x5062 -x5042 -x5523 -x5752 -x5822 -x5800 -x5862 -x3540 -x3514 -x3481 -x3454 -x4426 -x4302 -x4273 -x4356 -x1720 -x2611 -x337 -x979 -x925 -x4644 x5502 -x3094 -x2869 -x2300 -x2266 -x2359 -x3127 -x3198 -x3180 -x3574 -x3805 -x3970 -x3944 -x3925 -x4661 -x4729 -x4697 -x4592 -x5530 -x5484 -x5465 -x5444 -x122 -x137 -x156 -x186 -x700 -x798 -x817 -x765 -x1438 -x1463 x1492 -x1317 -x552 -x574 -x500 -x523 -x637 -x664 -x600 -x619 -x830 -x808 -x1131 -x1154 -x1177 -x1199 -x1217 -x1240 -x1377 -x1350 -x1334 -x1311 -x2087 -x2117 -x2021 -x2052 -x2335 -x2305 -x2171 -x2133 -x2223 -x2194 -x2923 -x2953 -x4483 -x4507 -x4530 -x4557 -x4386 -x4410 -x4439 -x4461 -x3367 -x3397 -x3746 -x3768 -x3697 -x3726 -x3646 -x3673 -x5804 -x5826 -x5850 -x5868 -x5885 -x5914 -x5933 -x5968 -x4963 x4982 -x5099 -x5117 -x5059 -x5077 -x5185 -x5222 -x1126 -x1911 -x2801 -x3601 x4397 -x5177 -x5923 -x5466 -x5818 -x5799 -x5773 -x5749 -x5728 -x5704 -x4865 -x4893 -x4922 -x4950 -x4755 -x4781 -x4805 -x4831 -x4658 -x4663 -x5066 -x5045 -x5102 -x5081 -x4977 -x4956 -x5025 -x5003 -x737 -x721 -x702 -x684 -x818 x801 -x781 -x763 -x1047 -x1055 -x1190 -x1214 -x1142 -x1167 -x1270 -x1292 -x1229 -x1259 -x33 -x17 -x82 -x57 -x119 -x98 -x402 -x438 -x454 -x475 -x511 -x543 -x564 -x583 -x607 -x630 -x646 -x666 -x2344 -x2314 -x2284 -x2257 -x2687 -x2716 -x2631 -x2677 -x2590 -x2615 -x2969 -x2996 -x2910 -x2937 -x2834 -x2879 -x2781 -x2814 -x1441 -x1423 -x1809 -x1835 -x1853 -x1875 -x1717 -x1745 -x1769 -x1790 -x2002 -x2034 -x2066 -x2103 -x1900 -x1923 -x1948 -x1974 -x1575 -x1600 -x1836 -x1812 -x1871 -x1859 -x1737 -x1714 -x1791 -x1766 -x2037 -x2004 -x2099 -x2076 -x1920 -x1894 -x2449 -x2477 -x2385 -x2421 -x2757 -x2737 -x2731 -x2706 -x2667 -x2637 -x2616 -x2591 -x3002 -x2970 -x2928 -x2903 -x395 -x431 -x457 -x476 -x4838 -x4814 -x4886 -x4861 -x5600 -x5575 -x5552 -x5529 -x5801 -x5820 -x3307 -x3289 -x3399 -x3402 -x3428 -x3455 -x4292 -x4199 -x4218 -x4243 -x1912 x1989 -x1964 -x1960 -x2686 -x2893 -x2862 -x2829 -x334 -x323 -x300 -x364 -x1246 -x1223 -x1227 -x1010 -x1936 -x1907 -x1994 x1984 -x2943 -x2915 -x2891 -x2858 -x3071 -x3089 -x3026 -x3048 -x3719 -x3691 -x3785 -x3809 -x4504 -x4484 -x4558 -x4525 -x5269 -x5244 -x5212 -x5181 -x4223 -x4248 -x4274 -x4301 -x2384 -x2474 -x2455 -x2425 -x1411 -x1591 -x1573 -x1559 -x692 -x753 -x734 -x909 -x108 -x87 -x67 -x44 x5542 -x5568 -x5593 -x5610 -x5057 -x4802 -x4828 -x4750 -x4146 -x4228 -x4201 -x4080 -x1949 -x1973 -x1439 -x1418 -x1490 -x1464 -x1342 -x1316 -x1390 x1364 -x1643 -x1621 -x1682 -x1662 -x1546 -x1518 -x1267 -x1296 -x1237 -x1261 -x743 -x723 -x699 -x679 -x819 -x804 -x789 -x771 -x878 -x864 -x851 -x837 -x561 -x586 -x604 -x622 -x643 -x672 -x36 -x23 -x77 -x51 -x133 -x116 -x173 -x154 -x201 -x179 -x5861 -x5843 -x5821 -x5793 -x5778 -x5757 -x5730 -x5708 -x5672 -x5696 -x5622 -x5646 -x5559 -x5582 -x5508 -x5535 -x5237 -x5210 -x5063 -x5043 -x5104 -x5084 -x4975 -x4955 -x5023 -x4999 -x4870 -x4894 -x4898 -x4930 -x4752 -x4773 -x4538 -x4511 -x4490 -x4467 -x4244 -x4214 -x4185 -x4164 -x4366 -x4335 -x4310 -x4279 -x4026 -x4058 -x4000 -x4017 -x3658 -x3628 -x3710 -x3688 -x3767 -x3737 -x3409 -x3373 -x3456 -x3432 -x3506 -x3477 -x3566 -x3539 -x3210 -x3233 -x2271 -x2301 -x2330 -x2356 -x2147 -x2175 -x2202 -x2235 -x2481 -x2511 -x2534 -x2558 -x2368 -x2399 -x2431 -x2462 -x3763 -x3733 -x3708 -x3684 -x3667 -x3635 -x3611 -x3585 -x3909 -x3885 -x3911 -x3936 -x3961 -x3790 -x3818 -x3841 -x4249 -x4219 -x4495 -x4473 -x4539 -x4515 -x4392 -x4369 -x4446 -x4417 -x4436 -x4623 -x4645 -x4579 -x4602 -x4712 -x5100 -x5079 -x5064 -x5046 -x5232 -x5201 -x5162 -x5138 -x5325 -x5304 -x5280 -x5261 -x5239 -x5344 -x5361 -x5381 -x5772 -x5753 -x5819 -x5796 -x5857 -x5838 -x5927 -x5903 -x5990 -x5961 -x6029 -x6005 -x5999 x6067 -x6045 -x286 -x654 -x677 -x610 -x632 -x558 -x591 -x516 -x544 -x451 -x469 -x389 -x425 -x344 -x358 -x378 -x308 -x747 -x728 -x1225 -x1248 -x1273 -x1293 -x1139 -x1163 -x1180 -x1202 -x1034 -x1061 -x1085 -x1108 -x1109 -x961 -x1487 -x1457 -x1435 -x1412 -x1955 -x1985 -x1905 -x1922 -x2075 -x2109 -x2009 -x2044 -x1761 -x1786 -x1708 -x1699 -x2233 -x2203 -x2294 -x2268 -x2355 -x2331 -x2778 -x2806 -x2844 -x2874 -x2901 -x2930 -x2962 -x2993 -x2600 -x2623 -x4508 -x4198 -x4226 -x4149 -x4176 -x4317 -x4346 -x4250 -x1694 -x1778 -x1750 -x2054 -x2026 -x2115 -x2079 -x1942 -x2684 -x2663 -x2630 x2612 -x2589 -x3003 -x2985 -x2952 -x317 -x382 -x359 -x436 -x404 -x488 -x465 -x528 -x284 -x1014 -x997 -x973 -x957 -x1117 -x1094 -x1073 -x898 -x897 -x913 -x4904 -x4941 -x4858 -x4878 -x4794 -x5026 -x5002 -x5005 -x4983 -x4967 -x5614 -x5631 -x5665 -x5860 -x5842 -x5729 -x5743 -x5717 -x5792 -x5771 -x3252 -x1082 -x1100 -x1030 -x1058 -x240 -x220 -x394 -x429 -x2561 -x2538 -x2514 -x2485 -x1588 -x1562 -x1635 -x1609 -x4268 -x4303 -x4328 -x4357 -x3593 -x3623 -x3541 -x3572 -x5995 -x6020 -x6039 x6080 -x5123 -x5150 -x5289 -x5313 -x831 -x695 -x714 -x733 -x729 -x748 -x1252 -x1231 x163 -x110 -x128 -x69 -x93 -x71 -x11 -x30 -x2569 -x2145 -x2172 -x2198 -x2226 -x2244 -x2269 -x2295 -x1687 -x1631 -x1651 -x1351 -x1378 -x1298 -x1325 -x1344 -x3940 -x3810 -x3784 -x3863 -x3839 -x4100 -x4077 -x4141 -x3161 -x3133 -x3114 -x3090 -x3067 -x3043 -x3023 -x3348 -x3619 -x5363 -x5346 -x5403 -x5383 -x5447 -x5425 -x5498 -x6023 -x6049 -x6070 -x4642 -x4621 -x4601 -x4577 -x4741 -x2091 -x2127 -x2861 -x2892 -x3547 -x3519 -x4456 -x4435 -x5320 -x5288 -x5981 -x5945 -x2360 -x2392 -x1840 x1815 -x279 -x2427 -x1883 -x2727 x1748 -x1050 -x541 -x5797 -x1733 -x3798 -x3822 -x3849 -x3875 x3901 -x3922 -x3945 -x4472 -x4542 -x4516 -x3083 -x3104 -x3037 -x3062 -x3179 -x3586 -x3756 -x3732 -x3709 -x3685 -x5406 -x5431 -x5458 -x6000 -x6075 -x6055 -x5926 -x5899 -x5984 -x5957 -x4703 -x4970 -x5308 -x5305 -x5281 -x5257 -x5228 -x5202 -x5163 -x935 -x893 -x905 -x720 -x740 -x682 -x704 -x802 -x230 -x249 -x259 -x272 -x291 -x20 -x35 -x58 -x2574 -x2501 -x2528 -x2437 -x2465 -x2371 -x2402 -x2311 -x2180 -x2315 -x2345 -x2258 -x3285 -x3338 -x3322 -x3225 -x3801 -x4133 -x4111 -x4088 -x4649 -x4722 -x4706 -x4778 -x5333 -x5496 -x5470 -x5433 -x1205 -x1146 x1168 -x1268 -x761 -x508 -x535 -x562 -x101 -x161 -x145 -x2968 -x4857 -x4877 -x4902 -x4939 -x5347 -x5364 -x5663 -x5685 -x3115 -x3134 -x3155 -x3184 -x3791 -x3819 -x3941 -x3964 -x1644 -x1622 -x1683 -x1666 -x2582 -x2604 -x2575 -x2549 -x415 -x447 x467 -x490 -x963 -x982 -x1089 -x1114 -x4124 -x4102 -x3103 -x3075 -x5488 -x5467 x4635 -x4619 -x1230 -x1255 -x28 -x9 -x2298 -x2267 -x1341 -x1321 -x3391 x3358 -x5832 -x5805 -x5154 -x5129 -x1041 -x1068 -x306 -x331 -x2699 -x2722 -x1519 -x1496 -x4339 -x4367 -x2077 -x2110 -x1703 -x1734 -x1760 -x1784 -x1824 -x1827 -x2043 -x2013 -x2108 -x2069 -x1731 -x1702 -x1788 -x1765 -x2810 -x2783 -x2992 -x2963 -x2927 -x2902 -x2678 -x2649 -x631 -x606 -x668 -x644 -x547 -x519 -x590 -x569 -x48 -x74 -x1288 -x1279 -x1256 -x1236 -x1204 -x1181 -x727 -x750 -x688 -x707 -x4954 -x4976 -x4997 -x5022 -x4845 -x4812 -x4891 -x4869 -x4942 -x4924 -x5756 -x5776 -x5594 -x5574 -x5551 -x5524 x5700 -x5680 -x5649 -x5623 -x5130 -x5155 -x5190 -x5218 -x5242 -x5265 -x5285 -x5310 x5813 -x5834 -x5934 -x5969 -x5878 -x5905 -x6050 -x6071 -x3378 -x3381 -x3415 -x3443 -x3699 -x3729 -x3751 -x3774 -x4276 -x4305 -x4204 -x4232 -x4160 -x4181 -x4522 -x4547 -x1926 -x1895 -x1975 -x1972 -x2046 -x2015 -x2121 -x2082 -x2262 -x2292 -x2882 -x2850 -x2827 -x2797 -x3010 -x2981 -x22 -x34 -x59 -x83 -x625 -x595 -x665 -x640 -x764 -x782 -x722 -x738 -x685 -x703 -x1280 -x1262 -x4440 -x4465 -x4383 -x4407 x4320 -x4353 -x4269 -x4294 -x3752 -x3773 -x3591 -x3614 -x3644 -x3678 -x3465 -x3491 -x2166 -x2136 -x2214 -x2190 -x2282 -x2249 -x2336 -x2307 -x2019 -x2048 -x1389 -x1362 -x1329 -x1304 -x1478 -x1453 -x1135 -x1151 -x1173 -x1195 -x787 -x775 -x826 -x803 -x623 -x613 -x553 -x576 -x494 -x526 -x170 -x151 -x5707 -x5777 -x5784 -x5758 -x5833 -x5814 -x5875 -x5855 -x5259 -x5021 -x4998 -x5017 -x4988 -x4971 -x5116 -x5088 -x4289 -x3496 -x5825 -x5078 x61 -x735 -x1360 -x2195 x437 -x1074 -x4715 -x5461 -x3176 -x3946 -x4396 -x1816 -x5956 -x5817 -x5806 -x5876 -x5856 -x5735 -x5714 -x5785 -x5759 -x5617 -x5640 -x5655 -x5681 -x5519 -x5539 -x5569 -x5592 -x5424 -x5417 -x5441 -x5462 -x5490 -x5334 -x5348 -x5374 -x5390 -x5322 -x5306 -x5282 -x5258 -x5231 -x5203 -x5204 -x5168 -x5136 -x5112 -x5089 -x5075 -x5053 -x5041 -x5018 -x4987 -x4972 -x4905 -x4940 -x4852 -x4875 -x4793 -x4822 -x4751 -x4772 -x4786 -x4702 -x4726 -x4647 -x4674 -x4612 -x4636 -x4574 -x4585 -x4390 -x4370 -x4449 -x4412 -x4413 -x4494 -x4474 -x4541 -x4523 -x4177 -x4156 -x4235 -x4205 -x4288 -x4256 -x4340 -x4326 -x3992 -x4011 -x4032 -x4052 -x4074 -x4095 -x4123 -x4101 -x4125 -x3803 -x3834 -x3856 -x3882 -x3891 -x3920 -x3954 -x3976 -x3666 -x3636 -x3637 -x3606 -x3579 -x3762 -x3734 -x3730 -x3704 -x3434 -x3414 -x3382 -x3355 -x3558 -x3534 -x3497 -x3468 -x3258 -x3275 -x3219 -x3240 -x3330 -x3345 -x3344 -x3287 -x3305 -x3076 x3095 -x3036 -x3057 -x3170 -x3192 -x3124 -x3146 -x3147 -x2700 -x2728 -x2744 -x2766 -x2602 -x2605 -x2628 -x2655 -x2916 -x2955 -x2982 -x3011 -x2796 -x2830 -x2863 -x2894 -x2275 -x2242 -x2337 -x2306 -x2169 -x2176 -x2150 -x2229 -x2201 -x2513 -x2484 -x2566 -x2542 -x2403 -x2372 -x2373 -x2457 -x2429 -x1867 -x1889 -x1821 -x1842 -x1751 -x1780 -x1701 -x1729 -x2085 -x2119 -x2016 -x2049 -x1965 -x1990 -x1913 -x1938 -x1481 -x1454 -x1433 -x1409 -x1414 -x1400 -x1374 -x1343 -x1322 -x1673 -x1654 -x1637 -x1614 -x1615 -x1584 -x1556 -x1520 -x1497 -x945 -x966 -x985 -x1021 -x1038 -x1066 -x1092 -x1110 -x1136 -x1156 -x1174 -x1192 -x1221 -x1244 -x1266 -x1283 -x709 -x691 -x754 -x745 -x725 -x780 -x762 -x813 -x793 -x857 -x843 -x844 -x884 -x867 -x919 -x903 -x944 -x933 -x351 -x373 -x313 -x333 -x468 -x491 -x414 -x445 -x550 -x577 -x505 -x532 -x633 -x657 -x593 -x612 -x89 -x63 -x50 -x27 -x3 -x162 -x144 -x125 -x103 -x2578 -x2555 -x2159 -x2140 -x1661 x1663 -x1645 -x1626 -x2363 -x2562 -x2572 -x2546 -x1502 -x1589 -x1560 -x1574 -x1880 -x940 -x930 -x916 -x1007 -x950 -x970 -x266 -x481 -x297 -x321 -x343 -x5947 -x5919 -x5896 -x6088 -x906 -x892 -x196 -x181 -x2527 -x2503 -x1709 -x1726 -x953 -x974 -x412 -x441 x2588 -x2608 -x2027 -x2062 -x5132 -x5161 -x5877 -x5904 -x3589 -x3615 x4387 -x4408 -x1941 -x1915 -x2828 -x2799 -x525 -x497 -x1158 -x1132 -x1852 -x1831 -x1805 -x1992 -x1963 -x1939 -x1914 -x2126 -x4548 -x4382 -x4402 -x4431 -x4453 -x4259 -x4290 -x4327 -x3772 -x3705 -x3716 -x3652 -x3679 -x3595 -x3627 -x3520 -x5477 -x5879 -x5906 -x5940 -x5974 -x5996 -x6016 x6043 -x4713 -x4687 -x4665 -x5189 -x5216 -x5122 -x5148 -x5291 -x522 -x636 -x663 -x599 -x618 -x90 -x62 -x42 -x1153 -x1176 -x1198 -x1216 -x1239 -x1264 -x1284 -x710 -x1727 -x2086 -x2116 -x2020 -x2051 -x1969 -x1995 -x1906 -x4964 -x4984 -x4935 -x4909 -x4915 -x4889 -x4866 -x4836 -x4817 -x4785 -x4761 -x4725 -x4704 -x4682 -x4659 -x4629 -x4608 -x4584 -x4559 -x5328 -x5286 -x5263 -x5240 -x5220 -x5194 -x5153 -x5128 -x5115 -x5096 -x5076 -x5058 -x5028 -x5009 -x4981 -x4962 -x4901 -x4919 -x4946 -x4863 -x4885 -x4810 -x4842 -x4764 -x4791 -x4708 -x4733 -x4657 -x4679 -x4607 -x4627 -x4566 -x4591 -x6022 -x5998 -x6069 -x6048 -x5908 -x5883 -x5967 -x5932 -x5824 -x5803 -x5867 -x5849 -x5027 -x5008 -x4980 -x4961 -x4900 -x4918 -x4945 -x4862 -x4884 -x4809 -x4841 -x4763 -x4790 -x4707 -x4732 -x4656 -x4678 -x4606 -x4626 -x4565 -x4590 -x6021 -x5997 -x6068 -x6047 -x5907 -x5882 -x5966 -x5931 -x5823 -x5802 -x5866 -x5848 -x5748 -x5721 -x5790 -x5768 -x5751 -x5629 -x5654 -x5674 -x5703 -x5522 -x5548 -x5578 -x5603 -x5410 -x5437 -x5455 -x5486 -x5342 -x5359 -x5379 -x5397 -x3671 -x3642 -x3618 -x3588 -x3776 -x3754 -x3725 -x3696 -x3448 -x3421 -x5865 -x5847 -x5747 -x5720 -x5789 -x5767 -x5750 -x5628 -x5653 -x5673 -x5702 -x5521 -x5547 -x5577 -x5602 -x5409 -x5436 -x5454 -x5485 -x5341 -x5358 -x5378 -x5396 -x3670 -x3641 -x3617 -x3587 -x3775 -x3753 -x3724 -x3695 -x3447 -x3420 -x3396 -x3366 -x3552 -x3525 -x3488 -x3511 -x3484 -x3243 -x3262 -x3204 -x3222 -x3326 -x3340 -x3282 -x3303 -x3085 -x3110 -x3040 -x3060 -x3163 -x3190 -x3118 -x3139 -x4406 -x4385 -x4460 -x4438 -x4502 -x4477 -x4556 -x4529 -x3446 -x3419 -x3395 -x3365 -x3551 -x3524 -x3487 -x3510 -x3483 -x3242 -x3261 -x3203 -x3221 -x3325 -x3339 -x3281 -x3302 -x3084 -x3109 -x3039 -x3059 -x3162 -x3189 -x3117 -x3138 -x4405 -x4384 -x4459 -x4437 -x4501 -x4476 -x4555 -x4528 -x4172 -x4148 -x4225 -x4196 -x4296 -x4267 -x4271 -x4359 -x4332 -x3989 -x4008 -x4028 -x4045 -x4066 -x4090 -x4113 -x4132 -x3797 -x3821 -x3848 -x3874 -x3900 -x3913 -x3933 -x3960 -x1847 -x1870 -x1801 -x1826 -x1757 -x1777 -x4554 -x4527 -x4171 -x4147 -x4224 -x4195 -x4295 -x4266 -x4270 -x4358 -x4331 -x3988 -x4007 -x4027 -x4044 -x4065 -x4089 -x4112 -x4131 -x3796 -x3820 -x3847 -x3873 -x3899 -x3912 -x3932 -x3959 -x1846 -x1869 -x1800 -x1825 -x1756 -x1776 -x1693 -x1722 -x2090 -x2129 -x2025 -x2057 -x1967 -x1958 -x1983 -x1903 -x1935 -x1486 -x1459 -x1437 -x1417 -x1396 -x1368 -x1340 -x1314 -x1680 -x1660 -x1642 -x1619 -x1603 -x1580 -x1543 -x1516 -x2693 -x2721 -x2742 -x2762 -x1755 -x1775 -x1692 -x1721 -x2089 -x2128 -x2024 -x2056 -x1966 -x1957 -x1982 -x1902 -x1934 -x1485 -x1458 -x1436 -x1416 -x1395 -x1367 -x1339 -x1313 -x1679 -x1659 -x1641 -x1618 -x1602 -x1579 -x1542 -x1515 -x2692 -x2720 -x2741 -x2761 -x2587 -x2610 -x2633 -x2661 -x2914 -x2942 -x2974 -x3005 -x3000 -x2777 -x2808 -x2838 -x2867 -x2297 -x2264 -x2358 -x2317 -x2179 -x2155 -x2237 -x2211 -x2510 -x2480 -x2557 -x2548 -x2408 -x2377 -x2461 -x2436 -x356 -x381 -x2740 x2760 -x2586 -x2609 -x2632 -x2660 -x2913 -x2941 -x2973 -x3004 -x2999 -x2776 -x2807 -x2837 -x2866 -x2296 -x2263 -x2357 -x2316 -x2178 -x2154 -x2236 -x2210 -x2509 -x2479 -x2556 -x2547 -x2407 -x2376 -x2460 -x2435 -x355 -x380 -x310 -x339 -x462 -x483 -x411 -x440 -x557 -x580 -x502 -x513 -x540 -x649 -x676 -x609 -x628 -x73 -x46 -x32 -x19 -x160 -x140 -x121 -x100 -x242 -x224 -x193 -x175 -x288 -x274 -x261 -x248 -x354 -x379 -x309 -x338 -x461 -x482 -x410 -x439 -x556 -x579 -x501 -x512 -x539 -x648 -x675 -x608 -x627 -x72 -x45 -x31 -x18 -x159 -x139 -x120 -x99 -x241 -x223 -x192 -x174 -x287 -x273 -x260 -x247 -x962 -x981 -x996 -x1018 -x1044 -x1070 -x1093 -x1119 -x1128 -x1149 -x1164 -x1189 -x1211 -x1224 -x1251 -x1269 -x1289 -x706 -x686 -x739 -x716 -x784 -x766 -x816 -x799 -x854 -x838 -x879 -x860 -x908 -x891 x661 -x1013 -x1876 -x2657 -x3748 -x3047 -x3813 -x4597 -x185 x846 -x1318 -x2149 -x3668 -x4442 -x3902 -x4569 -x2627 -x2652 -x2691 -x2719 -x1754 x1782 -x1698 -x1728 -x881 -x866 -x1040 -x1069 -x225 -x214 -x195 -x180 -x5391 -x5408 -x5427 -x5450 -x4632 -x4560 -x4583 -x4603 -x4043 -x3906 -x3930 -x3953 -x3266 -x3206 -x3224 -x3168 -x3634 -x4421 x1531 -x2391 -x209 -x855 -x1087 -x5227 -x3633 -x3677 -x3598 -x3625 -x2864 -x2836 -x2707 -x2685 -x1988 -x1961 -x1932 -x1910 -x1206 -x1186 -x1249 x1232 -x581 -x563 -x536 -x509 -x102 -x124 -x5468 -x5497 -x5982 -x5952 -x5916 -x5892 -x5314 -x5295 -x5179 -x5146 -x3082 -x3105 -x3123 -x3145 -x3169 -x3191 -x3186 -x4462 -x3846 -x3871 -x3795 -x3824 -x3951 -x3977 -x3908 x3884 -x4806 -x4830 -x4660 -x4683 -x4705 -x4734 -x4562 -x4580 -x5573 -x5604 -x5531 -x5556 -x5460 -x5483 -x5407 -x5432 -x1051 -x1022 -x1001 -x987 -x968 -x948 -x1297 -x1275 -x430 -x397 -x473 -x453 -x324 -x301 -x374 -x347 -x2491 -x2515 -x2673 -x2640 -x2624 -x2601 -x2767 -x2746 -x1611 -x1633 -x1658 -x1677 -x1744 -x1704 -x1787 -x1763 -x147 -x123 -x104 -x75 -x47 -x29 -x14 -x290 -x542 -x5528 -x5553 -x5576 -x5599 -x5627 -x5651 -x5671 -x5798 -x5863 -x5844 -x4818 -x4835 -x4766 -x4792 -x4913 -x4957 x5101 -x5080 -x5065 -x5044 -x4064 -x4081 -x4104 -x4265 -x4351 -x4330 -x4190 -x4169 -x4247 -x4217 -x3327 -x3592 -x3555 -x3521 -x3509 -x3486 -x3452 -x3425 -x3401 -x2338 -x2240 -x2272 -x2448 -x2453 -x2366 -x2396 -x2535 -x1379 -x1408 -x1432 -x1452 -x1480 -x1504 -x1525 -x1561 -x1121 -x1099 -x1145 -x1169 -x484 -x409 x393 -x428 -x4744 -x4934 -x4908 -x4914 -x5514 -x5589 -x5566 -x5635 -x3392 -x3350 -x3331 -x3310 -x4174 -x4197 -x4227 -x4098 -x1909 -x2130 -x2095 -x2058 -x2803 -x2890 -x2857 -x2944 -x5274 -x5250 -x5236 -x5206 -x5174 -x5141 -x5411 -x5438 x6034 -x6012 -x6082 -x6057 -x5918 -x5895 -x5977 -x5946 -x3505 -x3478 -x3656 -x3630 -x3605 -x3575 -x3766 -x3739 -x4307 -x4280 -x4361 -x4329 -x4393 -x4373 -x4450 -x4420 -x2008 -x2038 -x1951 -x1979 -x1904 -x1933 -x1858 -x1877 -x2895 -x2929 -x2959 -x2990 -x2785 -x2805 -x2840 -x2871 -x118 -x94 -x568 -x588 -x515 -x546 -x651 -x674 -x783 -x767 -x815 -x800 -x1140 -x1162 -x1178 -x1209 x587 -x387 -x421 -x450 -x4568 -x4631 -x4609 -x4892 -x5405 -x5395 -x5377 -x5360 -x3038 -x3108 -x3081 -x3143 -x4493 -x3870 -x3845 -x3823 -x1700 -x1789 -x1762 -x1617 -x2690 -x2654 -x2647 -x2625 -x312 -x375 -x353 -x420 -x275 -x2406 -x1545 -x3793 -x3019 -x5506 -x4753 x4929 -x4551 -x4524 -x3792 -x3817 -x3840 -x3866 -x3886 -x3910 -x3934 -x3962 -x3985 -x4005 -x4021 -x4040 -x4067 -x4087 -x3771 -x3747 -x3715 -x3703 -x3066 -x3088 -x3017 -x3041 -x3160 -x3187 -x3119 -x3142 -x3246 -x3268 -x3205 -x3229 -x6065 -x6041 -x5915 -x5888 -x5970 -x5936 -x5429 -x5453 -x5479 -x5505 -x5343 -x5362 -x5376 -x5392 -x5624 -x5648 -x5309 -x5290 -x5268 -x5243 -x5215 -x5188 -x5157 -x5131 -x4711 -x4735 -x4668 -x4688 -x4622 -x4630 -x4561 -x4586 -x1265 -x1286 -x954 -x976 -x995 -x1012 -x1037 -x1067 -x1091 -x1112 -x852 -x834 -x880 -x865 -x921 -x902 -x634 -x656 -x594 -x611 -x360 -x385 -x316 -x332 -x466 -x489 -x417 -x444 -x229 -x213 -x194 -x191 -x2977 -x3006 -x2800 -x2831 -x2859 -x2889 -x2688 -x2712 -x2743 -x2764 -x2583 -x2603 -x2626 x2651 -x2526 -x2502 -x2101 -x2125 -x2030 -x2061 -x1962 -x1991 -x1908 -x1937 -x1851 -x1868 -x1803 -x1828 -x1752 -x1781 -x1697 -x1725 -x3154 x4036 -x4944 -x5596 -x146 -x1210 -x2100 -x2865 -x5260 -x4411 x3122 -x2405 -x1650 -x848 -x126 -x5944 -x1107 -x1036 -x1064 -x885 -x1887 -x1707 -x1730 -x1764 -x2773 -x2698 -x2726 -x2648 x3757 -x3374 -x3408 -x3429 -x4534 -x4470 -x4491 -x4213 -x5318 -x5145 -x5171 -x5197 -x6079 -x6015 -x6035 -x5960 -x5329 -x320 -x295 -x367 -x2454 x2362 -x2397 -x2320 -x1674 -x1500 -x1529 -x1550 -x3852 -x3833 -x3808 -x3968 -x4487 -x3051 -x3031 -x3098 -x3711 -x3738 -x3764 -x5489 -x6036 -x5948 -x5976 -x5891 -x5271 -x5297 -x5315 -x5140 -x924 -x705 -x687 -x749 -x3513 -x3482 -x3570 x3542 -x2906 -x2933 -x2839 -x2870 -x2000 -x2035 -x2065 -x2098 -x1028 -x1057 -x1185 -x1208 -x392 -x427 -x459 -x478 -x5695 -x5677 -x5550 -x5527 -x4949 -x4925 -x4888 -x4864 -x4338 -x4365 -x4004 -x3987 -x216 -x232 -x184 -x203 -x2185 -x2227 -x2492 -x2520 -x1361 -x1393 -x1301 -x1326 -x3731 -x3702 -x3672 -x3655 -x4496 -x4475 -x4549 -x4521 -x3843 -x3864 -x5219 -x5187 x4709 -x4736 -x4664 -x4684 -x5382 -x5398 -x5426 -x5451 -x1250 -x5246 -x6011 -x3690 -x4466 -x2064 x2945 -x530 -x1171 -x1148 -x1125 -x811 -x814 -x758 -x778 -x726 x746 -x689 -x708 -x929 -x942 -x901 -x917 -x868 -x1968 -x2059 -x2029 -x2122 -x2093 -x1319 -x1346 -x1370 -x1399 -x1413 -x1434 -x1460 -x1488 -x1499 -x1523 -x1549 -x2860 -x2832 -x2802 -x3009 -x2976 -x2939 -x2907 -x2204 -x2230 -x2148 -x2177 -x2329 -x2354 -x2270 -x2287 -x2432 -x1802 -x1998 -x1971 -x1945 -x1918 -x2112 -x2083 -x2041 -x2005 -x1366 -x1394 -x1312 -x1338 -x1470 -x1493 -x1415 -x2694 -x2763 -x2738 -x2826 -x2795 -x2887 -x2856 -x2951 -x2900 -x2987 -x2960 -x2151 -x2181 -x2206 -x2234 -x2259 -x406 -x377 -x357 -x330 -x307 -x662 -x635 -x617 -x598 -x592 -x567 -x545 -x517 -x138 -x158 -x95 -x1042 -x1124 -x1088 -x983 -x959 -x1020 -x999 -x1242 -x1219 -x1281 -x1274 -x1160 -x1141 -x1200 -x1183 -x768 -x874 -x5184 -x5211 -x5127 -x5156 -x5287 -x5307 -x5241 -x5264 -x5013 -x5038 -x4953 -x4974 -x5085 -x5107 -x5049 -x264 -x251 -x78 -x52 -x37 -x13 -x157 -x141 x2395 -x2361 -x2459 -x2430 -x2283 -x2256 -x2343 -x2313 -x1634 -x1605 -x1587 -x1552 -x1522 -x1498 -x1491 -x1466 -x3804 -x3832 -x3853 -x3877 -x3898 -x3929 -x3958 -x3978 -x4533 -x4512 -x3074 -x3100 -x3033 -x3063 -x3164 -x3188 -x3765 -x3742 -x3714 -x3689 -x5419 -x5440 -x5459 -x5487 -x6078 -x6056 -x5920 -x5889 -x5983 -x5951 -x4701 -x4731 -x5319 -x5296 -x5270 -x5245 -x5235 -x5207 -x5178 -x5147 -x2713 -x2447 -x1565 x2496 -x1629 -x777 -x109 -x5632 -x5943 -x5975 -x5992 -x6019 -x6040 -x6064 -x5719 -x5732 -x3745 -x3769 -x3694 -x3718 -x3651 -x3680 -x3594 -x3620 x3054 -x3021 -x4482 -x4503 -x4526 -x4550 -x4381 -x4401 -x3827 -x3802 -x3860 -x3837 -x1324 -x1300 -x1375 -x1347 -x1959 -x1986 -x2003 -x2060 -x2088 -x2124 -x2224 -x2199 -x2835 -x2868 -x2779 -x2809 -x2975 -x3008 -x2912 -x2938 -x340 -x366 -x605 -x629 -x653 -x655 -x504 -x531 -x992 -x1011 -x952 -x972 -x1271 -x1287 -x1220 -x1243 -x3783 -x3717 -x2200 -x1451 -x730 x268 -x5399 -x4740 -x2921 -x2948 -x2629 -x2653 -x2014 -x2050 -x2081 -x2114 -x3087 -x3064 x3137 -x3116 -x3867 -x3844 -x3815 -x3794 -x5193 -x5221 -x4689 -x4666 -x5959 -x5964 -x5884 -x5911 -x372 -x346 -x446 -x413 -x1004 -x989 -x965 -x958 -x1899 -x1927 -x1863 -x1891 -x2780 -x2811 -x2845 -x2883 -x3400 -x3372 -x3565 -x3536 -x4194 -x4170 -x4241 -x4212 -x4103 -x4128 -x5103 -x5083 -x4813 -x4837 -x4765 -x4787 -x5675 -x5701 -x5520 -x5549 -x1049 x1024 -x1101 -x1075 -x5706 -x5731 -x5738 -x5762 -x5783 -x6001 -x6025 -x6046 -x3375 -x3405 -x3535 -x3533 -x3560 -x3470 x3502 -x3643 -x4163 -x4184 -x4211 -x4242 -x4231 -x4257 -x4287 -x4312 -x2745 -x2769 -x2401 -x2370 -x2458 -x2464 -x2438 -x2529 -x1865 -x1890 -x1822 -x1844 -x1583 -x1553 -x1577 -x1547 -x1083 -x1103 -x947 -x964 -x988 -x1003 -x920 -x904 -x452 -x470 -x386 -x419 -x345 -x371 -x305 -x328 -x5864 -x5839 -x5930 -x5900 -x5985 -x5958 -x6032 -x6006 -x5262 -x5014 -x5032 -x4973 -x4979 -x5098 -x5118 -x5056 -x4409 x4441 -x4464 -x4251 -x4283 -x4318 -x4354 -x4151 -x3723 -x3645 -x3669 -x3590 -x3616 -x3528 -x3550 -x3466 -x2193 -x2167 -x2131 -x2339 -x2308 -x2278 -x2250 -x2478 -x2954 -x1331 -x1310 -x1388 -x1363 -x1424 -x1401 -x1479 -x2067 -x2084 -x2118 -x827 -x806 -x788 -x772 -x755 -x1182 -x1203 -x1193 -x1134 -x1155 -x136 -x113 -x169 -x645 -x669 -x518 -x498 -x524 -x549 -x575 -x5558 -x3995 -x4018 -x4037 -x4059 -x4073 -x4068 -x4086 -x4114 -x4341 -x4311 -x3251 -x3271 -x3211 -x3232 -x3226 -x3318 x3559 -x3529 -x3501 -x3476 -x2279 -x2251 -x2340 -x2353 -x2980 -x3014 -x2798 -x2825 -x2855 -x2886 -x1474 -x1449 -x2092 -x2120 -x2017 -x2045 -x1970 -x1997 -x1917 -x1943 -x1096 -x1123 -x1130 -x1157 -x1175 -x1194 -x1215 -x1241 -x463 -x486 -x405 -x443 -x551 -x573 -x499 -x527 -x3042 -x3022 -x3185 -x3159 -x3141 -x3121 -x3269 -x3247 -x1106 -x1031 -x1056 -x887 -x872 -x859 -x845 -x941 -x928 -x927 -x910 -x894 -x752 -x731 -x712 -x693 -x829 -x805 -x786 -x769 -x2018 -x2053 -x2078 -x2113 -x1919 -x1921 -x1950 -x1978 -x1819 -x1843 -x1864 -x1886 -x1706 -x1736 -x1774 -x1799 -x1640 -x1608 -x1676 -x1657 -x1528 -x1538 -x1513 -x1593 -x1568 -x1431 -x1406 -x1484 -x1456 -x1333 -x1309 -x1383 -x1358 -x2984 -x3016 -x2920 -x2947 -x2842 -x2873 -x2794 -x2818 -x2749 -x2772 -x2697 -x1885 -x1705 -x1735 -x1773 -x1798 -x1639 -x1607 -x1675 -x1656 -x1527 -x1537 -x1512 -x1592 -x1567 -x1430 -x1405 -x1483 -x1455 -x1332 -x1308 -x1382 -x1357 -x2983 -x3015 -x2919 -x2946 -x2841 -x2872 -x2793 -x2817 -x2748 -x2771 -x2696 -x2725 -x2639 -x2666 -x2597 -x2622 -x2560 -x2537 -x2519 -x2490 -x2495 -x2476 -x2446 -x2416 -x2388 -x2333 -x2303 -x2274 -x2246 x2222 -x2192 -x2161 -x2142 -x5692 -x5669 -x5645 -x5620 -x5606 -x5581 -x5555 -x5534 -x5482 -x2770 -x2695 -x2724 -x2638 -x2665 -x2596 -x2621 -x2559 -x2536 -x2518 -x2489 -x2494 -x2475 -x2445 -x2415 -x2387 -x2332 -x2302 -x2273 -x2245 -x2221 -x2191 -x2160 -x2141 -x5691 -x5668 -x5644 -x5619 -x5605 -x5580 -x5554 -x5533 -x5481 -x5457 -x5435 -x5414 -x5389 -x5371 -x5351 -x5336 -x6060 -x6087 -x6010 -x5994 -x6018 -x5942 -x5973 -x5887 -x5913 -x5846 -x5870 -x5812 -x5836 -x5761 -x5780 -x5711 -x5737 -x4872 -x4847 -x4948 -x4921 -x4780 -x4758 -x4834 -x5532 -x5480 -x5456 -x5434 -x5413 -x5388 -x5370 -x5350 -x5335 -x6059 -x6086 -x6009 -x5993 -x6017 -x5941 -x5972 -x5886 -x5912 -x5845 -x5869 -x5811 -x5835 -x5760 -x5779 -x5710 -x5736 -x4871 -x4846 -x4947 -x4920 -x4779 -x4757 -x4833 -x4808 -x4681 -x4655 -x4720 -x4693 -x4596 -x4576 -x4638 -x4617 -x5248 -x5276 -x5267 -x5293 -x5312 -x5121 -x5152 -x5183 -x5214 -x5061 -x5072 -x5095 -x5114 -x4969 -x4996 -x5012 -x5034 -x4055 -x4025 -x4003 -x3984 -x4136 -x4756 -x4832 -x4807 -x4680 -x4654 -x4719 -x4692 -x4595 -x4575 -x4637 -x4616 -x5247 -x5275 -x5266 -x5292 -x5311 -x5120 -x5151 -x5182 -x5213 -x5060 -x5071 -x5094 -x5113 -x4968 -x4995 -x5011 -x5033 -x4054 -x4024 -x4002 -x3983 -x4135 -x4110 -x4092 -x4070 -x3869 -x3858 -x3826 -x3800 -x3973 -x3943 -x3924 -x3893 -x4423 -x4428 -x4455 -x4380 -x4404 -x4532 -x4553 -x4486 -x4506 -x4203 -x4234 -x4159 -x4183 -x4316 -x4345 -x4253 -x4282 -x3228 -x3209 -x3265 -x3982 -x4134 -x4109 -x4091 -x4069 -x3868 -x3857 -x3825 -x3799 -x3972 -x3942 -x3923 -x3892 -x4422 -x4427 -x4454 -x4379 -x4403 -x4531 -x4552 -x4485 -x4505 -x4202 -x4233 -x4158 -x4182 -x4315 -x4344 -x4252 -x4281 -x3227 -x3208 -x3264 -x3245 -x3301 -x3284 -x3337 -x3320 -x3056 -x3035 -x3097 -x3073 -x3151 -x3129 -x3200 -x3178 -x3158 -x3597 -x3622 -x3654 -x3676 -x3693 -x3721 -x3744 -x3780 -x3357 -x3380 -x3418 -x3438 -x3475 -x3504 -x3527 -x3569 -x2323 -x3207 -x3263 -x3244 -x3300 -x3283 -x3336 -x3319 -x3055 -x3034 -x3096 -x3072 -x3150 -x3128 -x3199 -x3177 -x3157 -x3596 -x3621 -x3653 -x3675 -x3692 -x3720 -x3743 -x3779 -x3356 -x3379 -x3417 -x3437 -x3474 -x3503 -x3526 -x3568 -x2322 -x2352 -x2253 -x2291 -x2209 -x2239 -x2153 -x2174 -x2540 -x2564 -x2487 -x2517 -x2423 -x2452 -x2365 -x2379 -x2414 -x2753 -x2734 -x2711 -x2683 -x2659 -x2635 -x2607 -x2585 -x3013 -x2979 -x2950 -x2918 -x2885 -x2854 -x2820 -x3567 -x2321 -x2351 -x2252 -x2290 -x2208 -x2238 -x2152 -x2173 -x2539 -x2563 -x2486 -x2516 -x2422 -x2451 -x2364 -x2378 -x2413 -x2752 -x2733 -x2710 -x2682 -x2658 -x2634 -x2606 -x2584 -x3012 -x2978 -x2949 -x2917 -x2884 -x2853 -x2819 -x2788 -x1419 -x1443 -x1469 -x1494 -x1315 -x1337 -x1372 -x1397 -x1612 -x1638 -x1655 -x1678 -x1503 -x1524 -x1541 -x1566 -x1590 -x1829 -x1811 -x1874 -x1850 -x1723 -x1696 -x1783 -x1753 -x2047 -x2022 -x2111 -x2080 -x1944 -x5709 -x5788 -x5765 -x6024 -x5052 -x5037 -x5010 -x4991 -x4157 -x4230 -x4206 -x4286 -x4139 -x3442 -x3416 -x3390 -x3351 -x3296 -x3315 -x2922 -x2312 -x2158 -x2139 x2220 -x1465 -x1440 -x1404 -x1385 -x932 -x701 -x683 -x757 -x832 -x810 -x792 -x776 -x875 -x886 -x873 -x858 -x841 -x939 -x931 -x915 -x899 -x986 -x1000 -x946 -x967 -x1086 -x1105 -x1033 -x1062 -x1172 -x1196 -x1133 -x1152 -x1263 -x1282 -x1218 -x1238 -x43 -x24 -x86 -x65 -x130 -x107 -x165 -x149 -x143 -x205 -x188 -x238 -x222 -x263 -x253 -x294 -x278 -x304 -x327 -x350 -x370 -x391 -x424 -x449 -x493 -x496 -x521 -x555 -x571 -x597 -x616 -x639 -x660 -x5661 -x5688 -x85 -x64 -x129 -x106 -x164 -x148 -x142 -x204 -x187 -x237 -x221 -x262 -x252 -x293 -x277 -x303 -x326 -x349 -x369 -x390 -x423 -x448 -x492 -x495 -x520 -x554 -x570 -x596 -x615 -x638 -x659 -x5660 -x5687 -x5608 -x5634 -x5565 -x5588 -x5513 -x5526 -x5546 -x5472 -x5494 -x5416 -x5446 -x5369 -x5387 -x5340 -x5357 -x6073 -x6052 -x6031 -x6003 -x5989 -x5963 -x5910 -x5881 -x5872 -x5852 -x5828 -x5808 -x5787 -x5764 -x5746 -x5725 -x5659 -x5686 -x5607 -x5633 -x5564 -x5587 -x5512 -x5525 -x5545 -x5471 -x5493 -x5415 -x5445 -x5368 -x5386 -x5339 -x5356 -x6072 -x6051 -x6030 -x6002 -x5988 -x5962 -x5909 -x5880 -x5871 -x5851 -x5827 -x5807 -x5786 -x5763 -x5745 -x5724 -x4854 -x4880 -x4907 -x4933 -x4743 -x4769 -x4789 -x4816 -x4840 -x4653 -x4673 -x4699 -x4724 -x4573 -x4589 -x4605 -x4625 -x5279 -x5256 -x5327 -x5303 -x5170 -x5126 -x5224 -x5192 -x5070 -x5055 -x5109 -x5091 -x4994 -x4960 -x5744 -x5723 -x4853 -x4879 -x4906 -x4932 -x4742 -x4768 -x4788 -x4815 -x4839 -x4652 -x4672 -x4698 -x4723 -x4572 -x4588 -x4604 -x4624 -x5278 -x5255 -x5326 -x5302 -x5169 -x5125 -x5223 -x5191 -x5069 -x5054 -x5108 -x5090 -x4993 -x4959 -x5030 -x5007 -x4034 -x4048 -x3994 -x4014 -x4119 -x4108 -x4127 -x4063 -x4083 -x3851 -x3881 -x3807 -x3831 -x3957 -x3980 -x3905 -x3927 -x4448 -x4415 -x4389 -x4372 -x4544 -x4520 -x4498 -x4481 -x4237 -x4208 -x4180 -x4154 -x4992 -x4958 -x5029 -x5006 -x4033 -x4047 -x3993 -x4013 -x4118 -x4107 -x4126 -x4062 -x4082 -x3850 -x3880 -x3806 -x3830 -x3956 -x3979 -x3904 -x3926 -x4447 -x4414 -x4388 -x4371 -x4543 -x4519 -x4497 -x4480 -x4236 -x4207 -x4179 -x4153 -x4348 -x4324 -x4298 -x4264 -x3216 -x3236 -x3255 -x3277 -x3260 -x3291 -x3309 -x3324 -x3343 -x3030 -x3050 -x3080 -x3107 -x3126 -x3149 -x3166 -x3194 -x3613 -x3583 -x3664 -x3648 -x3728 -x3701 -x3778 -x3750 -x3385 -x3361 -x4178 -x4152 -x4347 -x4323 -x4297 -x4263 -x3215 -x3235 -x3254 -x3276 -x3259 -x3290 -x3308 -x3323 -x3342 -x3029 -x3049 -x3079 -x3106 -x3125 -x3148 -x3165 -x3193 -x3612 -x3582 -x3663 -x3647 -x3727 -x3700 -x3777 -x3749 -x3384 -x3360 -x3436 -x3424 -x3490 -x3462 -x3554 -x3517 -x2709 -x2681 -x2759 -x2775 -x2751 -x2620 -x2595 -x2670 -x2646 -x2932 -x2905 -x2989 -x2957 -x2816 -x2792 -x2881 -x2849 -x2261 -x2289 -x2310 -x2342 -x2138 -x2157 -x2184 -x2217 -x3383 -x3359 -x3435 -x3423 -x3489 -x3461 -x3553 -x3516 -x2708 -x2680 -x2758 -x2774 -x2750 -x2619 -x2594 -x2669 -x2645 -x2931 -x2904 -x2988 -x2956 -x2815 -x2791 -x2880 -x2848 -x2260 -x2288 -x2309 -x2341 -x2137 -x2156 -x2183 -x2216 -x2507 -x2532 -x2545 -x2571 -x2381 -x2412 -x2444 -x2467 -x1873 -x1849 -x1862 -x1838 -x1814 -x1797 -x1768 -x1743 -x1716 -x2097 -x2074 -x2040 -x2007 -x1977 -x1947 -x1930 -x1898 -x1468 -x1472 -x1403 -x1428 -x1356 -x1392 -x2182 -x2215 -x2506 -x2531 -x2544 -x2570 -x2380 -x2411 -x2443 -x2466 -x1872 -x1848 -x1861 -x1837 -x1813 -x1796 -x1767 -x1742 -x1715 -x2096 -x2073 -x2039 -x2006 -x1976 -x1946 -x1929 -x1897 -x1467 -x1471 -x1402 x1427 -x1355 -x1391 -x1303 -x1328 -x1664 -x1684 -x1632 -x1652 -x1564 -x1598 -x1510 -x1535 -x975 -x971 -x951 -x1006 -x990 -x1048 -x1027 -x1102 -x1080 -x1161 -x1138 -x1201 -x1179 -x1260 -x1235 -x1295 -x1278 -x696 -x715 -x736 -x756 -x1956 -x1987 -x1901 -x1931 -x744 -x724 -x1228 -x1254 -x76 -x49 -x26 -x7 -x5890 x5917 -x6058 -x6081 -x5137 -x5180 -x5205 -x5234 -x4165 -x4189 -x4513 -x4537 -x3371 -x3404 -x3433 -x3450 -x2821 -x2784 -x2986 -x2958 -x1084 -x1063 -x1035 -x869 -x5321 -x5135 -x5167 -x5200 -x6074 -x6004 -x6033 -x5955 -x3564 -x3584 -x3607 -x3640 -x4364 -x4275 -x4306 -x4416 -x1610 -x1581 -x1555 -x1521 -x2482 -x2567 -x2533 -x2400 -x2664 -x236 -x218 x208 -x890 -x998 -x1019 -x960 -x980 -x1090 -x1111 -x1039 -x246 -x285 -x271 -x311 -x329 -x352 -x376 -x416 -x2500 -x2469 x2434 -x2404 -x2374 -x2739 -x2765 -x2689 -x1628 -x1688 -x1670 -x1548 -x1517 -x1601 -x1578 -x1804 -x4099 -x3838 -x3859 -x3786 -x3814 -x3935 -x3963 -x3883 -x3311 -x3332 -x3349 -x3020 -x3046 -x3065 -x3086 -x3120 -x5630 -x5570 -x5591 -x5511 -x5543 -x5473 -x5504 -x5428 -x4883 -x4899 -x4931 -x4746 -x4767 -x4803 -x4823 -x4667 -x2241 -x2228 -x2196 -x2170 -x2146 -x2028 -x2001 -x2033 -x1410 -x1482 -x1450 -x1323 -x1299 -x1380 -x1349 -x1371 x3916 -x4035 -x4051 -x3991 -x4012 -x4117 -x4140 -x4076 -x3140 -x3156 -x3181 -x3220 -x3239 -x3253 -x3280 -x3293 -x5452 -x5380 -x5402 -x5345 -x5365 -x5664 -x5682 -x5613 -x4685 -x4710 -x4737 -x4578 -x4598 -x4620 -x4643 -x4850 -x823 -x1150 -x1129 -x1197 -x1170 -x1245 -x1222 -x1285 -x167 -x112 -x134 -x572 -x548 -x529 -x503 -x658 -x1839 -x1854 -x1881 -x1718 -x1740 -x1749 -x1779 -x876 -x1253 -x991 -x1009 -x949 -x969 -x1081 -x1118 -x1046 -x626 x652 -x678 -x299 -x322 -x341 -x363 -x401 -x4613 -x4675 -x4648 -x4721 -x4700 -x4782 -x4762 -x4844 -x5375 -x5349 -x5330 -x5495 -x5469 -x5439 -x5418 -x5595 -x3665 -x3144 -x3132 -x3195 -x3171 -x3058 -x3032 -x3099 -x4445 -x4368 -x4391 -x3971 -x3947 -x3921 -x3890 -x3876 -x1758 -x1845 -x1823 -x1884 -x1860 -x1505 -x1530 -x1558
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63931 MiB (61847 MiB free)
memory of node 1: 64510 MiB (55552 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4431170-1721116323/watcher-4431170-1721116323 -o /tmp/evaluation-result-4431170-1721116323/solver-4431170-1721116323 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC014-1721116306-848668 --watchdog 3760 run-glibc-2.34.sh ./ipbhs_gurobi --sym-cores HOME/instance-4431170-1721116323.opb
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=849030, runsolver pid=849027
[startup+0.100058 s]*
/proc/loadavg: 2.29 1.48 2.11 5/267 849033
/proc/meminfo: memFree=120178340/131524600 swapFree=130796312/131071996
[pid=849030] ppid=849027 vsize=9928 memory=2732 CPUtime=0 cores=4,6
/proc/849030/stat : 849030 (run-glibc-2.34.) S 849027 849030 848657 0 -1 4194304 201 0 0 0 0 0 0 0 20 0 1 0 163791455 10166272 683 134679101440 94402586378240 94402587457560 140735205858528 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94402589556016 94402589603204 94402596708352 140735205860287 140735205860444 140735205860444 140735205867459 0
/proc/849030/statm: 2482 683 603 264 0 133 0
[pid=849032] ppid=849030 vsize=151720 memory=36164 CPUtime=0.09 cores=4,6
/proc/849032/stat : 849032 (ld-linux-x86-64) R 849030 849030 848657 0 -1 4194304 6052 0 0 0 8 1 0 0 20 0 2 0 163791455 155361280 9041 134679101440 140694634352640 140694634540252 140724111591968 0 0 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 140694636641152 140694636650600 93824995373056 140724111594327 140724111594491 140724111594491 140724111601586 0
/proc/849032/statm: 37930 9041 2767 46 0 10525 0
[pid=849032/tid=849033] ppid=849030 vsize=151720 memory=4026561614 CPUtime=0 cores=4,6
/proc/849032/task/849033/stat : 849033 (ld-linux-x86-64) R 849030 849030 848657 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 2 0 163791459 155361280 9041 134679101440 140694634352640 140694634540252 140724111591968 0 0 0 0 4096 0 0 0 0 -1 6 0 0 0 0 0 140694636641152 140694636650600 93824995373056 140724111594327 140724111594491 140724111594491 140724111601586 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 161648 KiB
Current children cumulated memory: 38896 KiB
[startup+0.205748 s]*
/proc/loadavg: 2.29 1.48 2.11 5/267 849033
/proc/meminfo: memFree=120159172/131524600 swapFree=130796312/131071996
[pid=849030] ppid=849027 vsize=9928 memory=2732 CPUtime=0 cores=4,6
/proc/849030/stat : 849030 (run-glibc-2.34.) S 849027 849030 848657 0 -1 4194304 201 0 0 0 0 0 0 0 20 0 1 0 163791455 10166272 683 134679101440 94402586378240 94402587457560 140735205858528 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94402589556016 94402589603204 94402596708352 140735205860287 140735205860444 140735205860444 140735205867459 0
/proc/849030/statm: 2482 683 603 264 0 133 0
[pid=849032] ppid=849030 vsize=157712 memory=41972 CPUtime=0.19 cores=4,6
/proc/849032/stat : 849032 (ld-linux-x86-64) R 849030 849030 848657 0 -1 4194304 7510 0 0 0 18 1 0 0 20 0 2 0 163791455 161497088 10493 134679101440 140694634352640 140694634540252 140724111591968 0 0 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 140694636641152 140694636650600 93824995373056 140724111594327 140724111594491 140724111594491 140724111601586 0
/proc/849032/statm: 39428 10493 2767 46 0 12023 0
[pid=849032/tid=849033] ppid=849030 vsize=157712 memory=3471202400344241230 CPUtime=0 cores=4,6
/proc/849032/task/849033/stat : 849033 (ld-linux-x86-64) R 849030 849030 848657 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 2 0 163791459 161497088 10493 134679101440 140694634352640 140694634540252 140724111591968 0 0 0 0 4096 0 0 0 0 -1 6 0 0 0 0 0 140694636641152 140694636650600 93824995373056 140724111594327 140724111594491 140724111594491 140724111601586 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 167640 KiB
Current children cumulated memory: 44704 KiB
[startup+0.305731 s]*
/proc/loadavg: 2.29 1.48 2.11 5/267 849033
/proc/meminfo: memFree=120140552/131524600 swapFree=130796312/131071996
[pid=849030] ppid=849027 vsize=9928 memory=2732 CPUtime=0 cores=4,6
/proc/849030/stat : 849030 (run-glibc-2.34.) S 849027 849030 848657 0 -1 4194304 201 0 0 0 0 0 0 0 20 0 1 0 163791455 10166272 683 134679101440 94402586378240 94402587457560 140735205858528 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94402589556016 94402589603204 94402596708352 140735205860287 140735205860444 140735205860444 140735205867459 0
/proc/849030/statm: 2482 683 603 264 0 133 0
[pid=849032] ppid=849030 vsize=165504 memory=49100 CPUtime=0.3 cores=4,6
/proc/849032/stat : 849032 (ld-linux-x86-64) R 849030 849030 848657 0 -1 4194304 9300 0 0 0 28 2 0 0 20 0 2 0 163791455 169476096 12275 134679101440 140694634352640 140694634540252 140724111591968 0 0 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 140694636641152 140694636650600 93824995373056 140724111594327 140724111594491 140724111594491 140724111601586 0
/proc/849032/statm: 41376 12275 2767 46 0 13971 0
[pid=849032/tid=849033] ppid=849030 vsize=165504 memory=-9184741339044340323 CPUtime=0 cores=4,6
/proc/849032/task/849033/stat : 849033 (ld-linux-x86-64) S 849030 849030 848657 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 2 0 163791459 169476096 12275 134679101440 140694634352640 140694634540252 140724111591968 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 140694636641152 140694636650600 93824995373056 140724111594327 140724111594491 140724111594491 140724111601586 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 175432 KiB
Current children cumulated memory: 51832 KiB
[startup+0.700237 s]
/proc/loadavg: 2.29 1.48 2.11 5/267 849033
/proc/meminfo: memFree=120110184/131524600 swapFree=130796312/131071996
[pid=849030] ppid=849027 vsize=9928 memory=2732 CPUtime=0 cores=4,6
/proc/849030/stat : 849030 (run-glibc-2.34.) S 849027 849030 848657 0 -1 4194304 201 0 0 0 0 0 0 0 20 0 1 0 163791455 10166272 683 134679101440 94402586378240 94402587457560 140735205858528 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94402589556016 94402589603204 94402596708352 140735205860287 140735205860444 140735205860444 140735205867459 0
/proc/849030/statm: 2482 683 603 264 0 133 0
[pid=849032] ppid=849030 vsize=166840 memory=56692 CPUtime=0.68 cores=4,6
/proc/849032/stat : 849032 (ld-linux-x86-64) R 849030 849030 848657 0 -1 4194304 10423 0 0 0 65 3 0 0 20 0 2 0 163791455 170844160 14173 134679101440 140694634352640 140694634540252 140724111591968 0 0 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 140694636641152 140694636650600 93824995373056 140724111594327 140724111594491 140724111594491 140724111601586 0
/proc/849032/statm: 41710 14173 3598 46 0 14305 0
[pid=849032/tid=849033] ppid=849030 vsize=166840 memory=2240 CPUtime=0 cores=4,6
/proc/849032/task/849033/stat : 849033 (ld-linux-x86-64) S 849030 849030 848657 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 2 0 163791459 170844160 14173 134679101440 140694634352640 140694634540252 140724111591968 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 140694636641152 140694636650600 93824995373056 140724111594327 140724111594491 140724111594491 140724111601586 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 176768 KiB
Current children cumulated memory: 59424 KiB
[startup+1.50022 s]
/proc/loadavg: 2.29 1.48 2.11 5/267 849033
/proc/meminfo: memFree=120054752/131524600 swapFree=130796312/131071996
[pid=849030] ppid=849027 vsize=9928 memory=2732 CPUtime=0 cores=4,6
/proc/849030/stat : 849030 (run-glibc-2.34.) S 849027 849030 848657 0 -1 4194304 201 0 0 0 0 0 0 0 20 0 1 0 163791455 10166272 683 134679101440 94402586378240 94402587457560 140735205858528 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94402589556016 94402589603204 94402596708352 140735205860287 140735205860444 140735205860444 140735205867459 0
/proc/849030/statm: 2482 683 603 264 0 133 0
[pid=849032] ppid=849030 vsize=173980 memory=62808 CPUtime=1.48 cores=4,6
/proc/849032/stat : 849032 (ld-linux-x86-64) R 849030 849030 848657 0 -1 4194304 11466 0 0 0 143 5 0 0 20 0 2 0 163791455 178155520 15702 134679101440 140694634352640 140694634540252 140724111591968 0 0 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 140694636641152 140694636650600 93824995373056 140724111594327 140724111594491 140724111594491 140724111601586 0
/proc/849032/statm: 43495 15702 3598 46 0 16090 0
[pid=849032/tid=849033] ppid=849030 vsize=173980 memory=7544 CPUtime=0 cores=4,6
/proc/849032/task/849033/stat : 849033 (ld-linux-x86-64) S 849030 849030 848657 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 2 0 163791459 178155520 15702 134679101440 140694634352640 140694634540252 140724111591968 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 140694636641152 140694636650600 93824995373056 140724111594327 140724111594491 140724111594491 140724111601586 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 183908 KiB
Current children cumulated memory: 65540 KiB
[startup+2.62026 s]
# the end of solver process 849030 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=2.52248 s, system=0.082498 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1.60026 s]
/proc/loadavg: 2.29 1.48 2.11 5/267 849033
/proc/meminfo: memFree=120054752/131524600 swapFree=130796312/131071996
[pid=849030] ppid=849027 vsize=9928 memory=2732 CPUtime=0 cores=4,6
/proc/849030/stat : 849030 (run-glibc-2.34.) S 849027 849030 848657 0 -1 4194304 201 0 0 0 0 0 0 0 20 0 1 0 163791455 10166272 683 134679101440 94402586378240 94402587457560 140735205858528 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94402589556016 94402589603204 94402596708352 140735205860287 140735205860444 140735205860444 140735205867459 0
/proc/849030/statm: 2482 683 603 264 0 133 0
[pid=849032] ppid=849030 vsize=173980 memory=62808 CPUtime=1.58 cores=4,6
/proc/849032/stat : 849032 (ld-linux-x86-64) R 849030 849030 848657 0 -1 4194304 11471 0 0 0 153 5 0 0 20 0 2 0 163791455 178155520 15702 134679101440 140694634352640 140694634540252 140724111591968 0 0 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 140694636641152 140694636650600 93824995373056 140724111594327 140724111594491 140724111594491 140724111601586 0
/proc/849032/statm: 43495 15702 3598 46 0 16090 0
[pid=849032/tid=849033] ppid=849030 vsize=173980 memory=0 CPUtime=0 cores=4,6
/proc/849032/task/849033/stat : 849033 (ld-linux-x86-64) S 849030 849030 848657 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 2 0 163791459 178155520 15702 134679101440 140694634352640 140694634540252 140724111591968 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 140694636641152 140694636650600 93824995373056 140724111594327 140724111594491 140724111594491 140724111601586 0
Current children cumulated CPU time: 1.58 s
Current children cumulated vsize: 183908 KiB
Current children cumulated memory: 65540 KiB
[startup+2.4002 s]
/proc/loadavg: 2.29 1.48 2.11 5/267 849033
/proc/meminfo: memFree=119946760/131524600 swapFree=130796312/131071996
[pid=849030] ppid=849027 vsize=9928 memory=2732 CPUtime=0 cores=4,6
/proc/849030/stat : 849030 (run-glibc-2.34.) S 849027 849030 848657 0 -1 4194304 201 0 0 0 0 0 0 0 20 0 1 0 163791455 10166272 683 134679101440 94402586378240 94402587457560 140735205858528 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94402589556016 94402589603204 94402596708352 140735205860287 140735205860444 140735205860444 140735205867459 0
/proc/849030/statm: 2482 683 603 264 0 133 0
[pid=849032] ppid=849030 vsize=173980 memory=65160 CPUtime=2.38 cores=4,6
/proc/849032/stat : 849032 (ld-linux-x86-64) R 849030 849030 848657 0 -1 4194304 15510 0 0 0 232 6 0 0 20 0 2 0 163791455 178155520 16290 134679101440 140694634352640 140694634540252 140724111591968 0 0 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 140694636641152 140694636650600 93824995373056 140724111594327 140724111594491 140724111594491 140724111601586 0
/proc/849032/statm: 43495 16290 3598 46 0 16090 0
[pid=849032/tid=849033] ppid=849030 vsize=173980 memory=-3253322038155611931 CPUtime=0 cores=4,6
/proc/849032/task/849033/stat : 849033 (ld-linux-x86-64) S 849030 849030 848657 0 -1 1077936192 3 0 0 0 0 0 0 0 20 0 2 0 163791459 178155520 16290 134679101440 140694634352640 140694634540252 140724111591968 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 140694636641152 140694636650600 93824995373056 140724111594327 140724111594491 140724111594491 140724111601586 0
Current children cumulated CPU time: 2.38 s
Current children cumulated vsize: 183908 KiB
Current children cumulated memory: 67892 KiB
[startup+2.60019 s]
/proc/loadavg: 2.29 1.48 2.11 5/267 849033
/proc/meminfo: memFree=119946760/131524600 swapFree=130796312/131071996
[pid=849030] ppid=849027 vsize=9928 memory=2732 CPUtime=0 cores=4,6
/proc/849030/stat : 849030 (run-glibc-2.34.) S 849027 849030 848657 0 -1 4194304 201 0 0 0 0 0 0 0 20 0 1 0 163791455 10166272 683 134679101440 94402586378240 94402587457560 140735205858528 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94402589556016 94402589603204 94402596708352 140735205860287 140735205860444 140735205860444 140735205867459 0
/proc/849030/statm: 2482 683 603 264 0 133 0
[pid=849032] ppid=849030 vsize=181160 memory=67524 CPUtime=2.58 cores=4,6
/proc/849032/stat : 849032 (ld-linux-x86-64) R 849030 849030 848657 0 -1 4194304 15835 0 0 0 251 7 0 0 20 0 2 0 163791455 185507840 16881 134679101440 140694634352640 140694634540252 140724111591968 0 0 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 140694636641152 140694636650600 93824995373056 140724111594327 140724111594491 140724111594491 140724111601586 0
/proc/849032/statm: 45290 16881 3598 46 0 17885 0
[pid=849032/tid=849033] ppid=849030 vsize=181160 memory=7093000553807046506 CPUtime=0 cores=4,6
/proc/849032/task/849033/stat : 849033 (ld-linux-x86-64) S 849030 849030 848657 0 -1 1077936192 3 0 0 0 0 0 0 0 20 0 2 0 163791459 185507840 16881 134679101440 140694634352640 140694634540252 140724111591968 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 140694636641152 140694636650600 93824995373056 140724111594327 140724111594491 140724111594491 140724111601586 0
Current children cumulated CPU time: 2.58 s
Current children cumulated vsize: 191088 KiB
Current children cumulated memory: 70256 KiB
Child status: 0
Real time (s): 2.6203
CPU time (s): 2.60497
CPU user time (s): 2.52248
CPU system time (s): 0.082498
CPU usage (%): 99.415
Max. virtual memory (cumulated for all children) (KiB): 191088
Max. memory (cumulated for all children) (KiB): 70256
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2.52248
system time used= 0.082498
maximum resident set size= 67528
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 18693
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= 363
involuntary context switches= 9
# summary of solver processes directly reported to runsolver:
# pid: 849030
# total CPU time (s): 2.60497
# total CPU user time (s): 2.52248
# total CPU system time (s): 0.082498
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.01914 second user time and 0.0343 second system time
The end
Begin job on nodeC014 at 2024-07-16 09:52:15
IDJOB=4431170
IDBENCH=148769
IDSOLVER=3055
FILE ID=nodeC014/4431170-1721116323
RUNJOBID= nodeC014-1721116306-848668
SLURM_JOB_ID= 7505656
Free space on /tmp= 889708 MiB
SOLVER NAME= IPBHS-GUROBI-SYM 2024-07-09
BENCH NAME= PB24/normalized-PB09/OPT-LIN/flexray/normalized-fx84.opb
COMMAND LINE= run-glibc-2.34.sh ./ipbhs_gurobi --sym-cores BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4431170-1721116323/watcher-4431170-1721116323 -o /tmp/evaluation-result-4431170-1721116323/solver-4431170-1721116323 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC014-1721116306-848668 --watchdog 3760 run-glibc-2.34.sh ./ipbhs_gurobi --sym-cores HOME/instance-4431170-1721116323.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= d60e9860abd72f5860673673bfdb8c38
RANDOM SEED=1673859482
nodeC014.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3674.901
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.32
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 : 3684.255
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.96
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 : 3612.095
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.32
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 : 3600.030
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.96
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 : 3676.184
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.32
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 : 3684.261
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.96
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 : 3664.507
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.32
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.918
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.96
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 120219832 kB
MemAvailable: 123353860 kB
Buffers: 340120 kB
Cached: 3596164 kB
SwapCached: 12804 kB
Active: 1368116 kB
Inactive: 9352980 kB
Active(anon): 9460 kB
Inactive(anon): 6793400 kB
Active(file): 1358656 kB
Inactive(file): 2559580 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 130796312 kB
Dirty: 129132 kB
Writeback: 24 kB
AnonPages: 6775892 kB
Mapped: 62852 kB
Shmem: 18048 kB
KReclaimable: 110880 kB
Slab: 204132 kB
SReclaimable: 110880 kB
SUnreclaim: 93252 kB
KernelStack: 4224 kB
PageTables: 23816 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 8136900 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 29184 kB
HardwareCorrupted: 0 kB
AnonHugePages: 2719744 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 191188 kB
DirectMap2M: 14262272 kB
DirectMap1G: 121634816 kB
Free space on /tmp at the end= 889668 MiB
End job on nodeC014 at 2024-07-16 09:52:18