546.23/547.41 c initialize IPBHS solver
546.23/547.41 c IPBHS 0.0.0 beta (471c63a-dirty, Jul 9 2024 15:06:57), with Glucose 3.0, with SCIP , with RoundingSat 2, with SSPB2SAT 0.2.0, with BreakID 0.0.0
546.23/547.41 c optimizer = "scip"
546.23/547.41 c pbsolver = "roundingsat"
546.23/547.41 c load symmetries from file ""
546.23/547.41 c set time limit for symmetry computation to 100 seconds.
546.23/547.41 c set interchangeable summation variable limit to 3
546.23/547.41 c set abs symmetric core budget per WCE-iteration to 100
546.23/547.41 c set rel symmetric core budget per WCE-iteration to 0
546.23/547.41 c set lit symmetric core budget per WCE-iteration to 0
546.23/547.41 c set sym generation to 's'
546.23/547.41 c set abstraction set creation to 10 iterations without LB change
546.23/547.41 c set abstraction set inputs to 0
546.23/547.41 c set abstraction set cluster min size to 2
546.23/547.41 c set abstraction set cluster max size to 100000000
546.23/547.41 c set abstraction set cluster activation limit to 2
546.23/547.41 c enable abstraction set require equal cost
546.23/547.41 c set abstraction set assumptions to 0
546.23/547.41 c set abstraction set constraint type to 0
546.23/547.41 c set abstract core extraction strategy to b
546.23/547.41 c set core extraction strategy to 2
546.23/547.41 c set core extraction shuffles 10
546.23/547.41 c set cores per iteration to 5
546.23/547.41 c set optimizer bound usage strategy to 2
546.23/547.41 c set optimizer max non-optimal iterations to 1000
546.23/547.41 c set small core cardinality limit to 2
546.23/547.41 c set max coef in cores to 1000000000
546.23/547.41 c set SIS iterations to 5
546.23/547.41 c set SIS budget abs to 1000
546.23/547.41 c set SIS budget rel to 0.05
546.23/547.41 c limit for coefficient in constraints and objective to 9223372036854775807
546.23/547.41 c will solve HOME/instance-4432032-1721123022.opb
546.23/547.41 c [0.46] solve iteration 1, LB=0, UB=5049
546.23/547.41 c LB=UB after core extraction
546.23/547.41 c instance solved in 543.2s (IP-solver: 388.36s, core-extraction: 0.07s, SIS: 0s), 1 iterations, LB=36, UB=36,
546.23/547.41 d ITERATIONS 1
546.23/547.41 d SIS 0
546.23/547.41 d SIS_SAT 0
546.23/547.41 d SIS_UNSAT 0
546.23/547.41 d SIS_OUT_OF_BUDGET 0
546.23/547.41 d CORES_EXTRACTED 0
546.23/547.41 d CORES_IN_OPTIMIZER 0
546.23/547.41 d CLAUSAL_CORES_IN_OPTIMIZER 0
546.23/547.41 d CARDINALITY_CORES_IN_OPTIMIZER 0
546.23/547.41 d PB_CORES_IN_OPTIMIZER 0
546.23/547.41 d TIME_EXTRACT_CORES 0.070000
546.23/547.41 d TIME_OPTIMIZE 388.360000
546.23/547.41 d TIME_SIS 0.000000
546.23/547.41 c solve_time: 543.200000
546.23/547.41 s OPTIMUM FOUND
546.23/547.41 o 36
546.23/547.41 v x1 x5 x17 -x21 -x47 -x59 -x79 -x87 x198 -x210 -x259 -x263 x437 -x444 -x468 -x499 -x503 -x923 -x935 -x994 -x1243 -x1267 -x1302 -x1318 -x1410 -x1417 -x1441 -x1455 -x3476 -x3488 -x3506 -x3514 -x3561 -x3564 x3775 -x3778 -x3784 -x3808 -x3810 x4262 -x4268 -x4298 -x4421 -x4424 -x4564 -x4568 -x4580 -x4595 -x4597 -x925 -x949 -x982 -x998 -x1093 -x1101 -x1237 -x1249 -x1306 -x1411 -x1423 -x1443 -x1451 x3473 -x3479 -x3508 -x3631 -x3635 -x4263 -x4275 -x4292 -x4300 -x4347 -x4351 -x2197 -x2209 -x2266 -x2517 -x2541 -x2574 -x2590 -x2685 -x2691 -x2715 -x2731 -x4019 -x4023 -x4035 -x4050 -x4052 x4806 -x4809 -x4815 -x4839 -x4841 -x2203 -x2227 -x2262 -x2278 -x2373 -x2379 -x2515 -x2527 -x2586 -x2689 -x2701 -x2721 -x2729 -x442 -x454 -x502 -x506 -x922 -x934 -x992 -x4420 -x4423 x4563 -x928 -x952 -x988 -x1004 -x1099 -x1104 -x3634 -x3636 -x2200 -x2212 -x2272 x4018 -x2202 -x2226 -x2260 -x2276 -x2371 -x2378 x680 -x688 -x712 -x742 -x746 -x1721 -x1745 -x1778 -x1794 -x1889 -x1895 -x1919 -x1935 -x3704 -x3707 -x3897 -x3901 -x3913 -x3928 -x3930 -x4687 -x4693 -x4717 -x4719 -x1719 -x1731 -x1790 -x1893 -x1905 -x1925 -x1933 -x4494 -x4496 -x2999 -x3023 -x3058 -x3074 -x3166 -x3173 -x3197 -x3211 -x4142 -x4148 -x4172 -x4174 -x4928 -x4932 -x4944 -x4959 -x4961 -x2993 -x3005 -x3062 -x3167 -x3179 -x3199 -x3207 -x682 -x694 -x743 -x747 -x3705 -x3708 -x4491 -x4495 -x204 -x228 x258 -x262 x438 -x1096 -x1102 -x1242 -x1266 -x1300 -x1316 -x3560 -x3563 -x3776 -x1240 -x1252 -x1312 -x4350 -x4352 -x2376 -x2380 -x2520 -x2544 -x2580 -x2596 -x4807 -x2514 -x2526 -x2584 -x1098 -x1103 -x2370 -x2377 x679 -x1724 -x1748 -x1784 -x1800 -x4685 -x1718 -x1730 -x1788 -x2998 -x3022 -x3056 -x3072 -x4140 -x2996 -x3008 -x3068 x320 -x332 -x380 -x384 -x566 -x590 -x620 -x624 -x1563 -x1569 -x1593 -x1609 -x3668 -x3671 -x3840 -x3852 -x3867 -x3869 -x4384 -x4387 -x4626 -x4632 -x4656 -x4658 -x1172 -x1176 -x1567 -x1579 -x1599 -x1607 -x3598 -x3600 -x4458 -x4460 -x2840 -x2847 -x2871 -x2885 -x4081 -x4087 -x4111 -x4113 -x4871 -x4883 -x4898 -x4900 -x2444 -x2450 -x2841 -x2853 -x2873 -x2881 -x560 -x572 -x621 -x625 -x3669 -x3672 -x1166 -x1173 -x4455 -x4459 -x2446 -x2451 -x806 -x830 -x861 -x865 -x2044 -x2051 -x2075 -x2089 -x3959 -x3965 -x3989 -x3991 -x4529 -x4532 -x4749 -x4761 -x4776 -x4778 -x2045 -x2057 -x2077 -x2085 -x3739 -x3743 -x3319 -x3325 -x3349 -x3365 -x4204 -x4216 -x4231 -x4233 -x4990 -x4996 -x5020 -x5022 -x3323 -x3335 -x3355 -x3363 -x804 -x816 -x864 -x868 -x4528 -x4531 -x3742 -x3744 -x322 -x346 x377 -x381 -x1169 -x1175 -x4385 -x4388 -x3595 -x3599 -x2441 -x2449 -x1167 -x1174 -x2447 -x2452 -x49 -x73 -x89 -x199 -x211 -x445 -x469 -x983 -x999 -x1307 -x1409 -x3503 -x3511 -x3632 -x3779 -x3791 -x4295 -x4348 -x4565 -x4571 -x995 -x1100 -x1303 -x1319 -x3509 -x3562 -x4293 -x4301 -x4422 -x2263 -x2279 -x2587 -x2686 -x4020 -x4026 -x4810 -x4822 -x2267 -x2372 -x2575 -x2591 -x439 -x451 -x985 -x1001 -x3633 -x989 -x1094 -x4419 -x2257 -x2273 -x2269 -x2374 -x685 -x709 -x1791 -x1890 -x3898 -x3904 -x4493 -x4688 -x4700 -x1779 -x1795 -x3703 -x3063 -x3165 -x4143 -x4155 -x4929 -x4935 -x3059 -x3075 -x683 -x695 -x4492 -x3706 -x201 -x225 -x1097 -x1309 -x4349 -x1297 -x1313 -x3559 -x2369 -x2581 -x2577 -x2593 -x1095 -x2375 -x1785 -x1781 -x1797 -x3065 -x3053 -x3069 -x317 -x329 -x563 -x587 -x1564 -x3597 -x3837 -x3843 -x4457 -x4627 -x4639 -x1165 -x3667 -x4383 -x2839 -x4082 -x4094 -x4868 -x4874 -x2445 -x561 -x573 -x4456 -x1171 -x3670 -x2443 -x807 -x831 -x2043 -x3740 -x3960 -x3972 -x4746 -x4752 -x4530 -x3320 -x4201 -x4207 -x4991 -x5003 -x801 -x813 -x3741 -x4527 -x323 -x347 -x1168 -x3596 -x4386 -x2448 -x1170 -x2442 x121 -x133 -x153 -x161 -x290 -x294 -x530 -x534 -x1047 -x1355 -x1371 -x1491 -x1515 -x1531 -x3535 -x3651 -x3822 -x3824 -x4319 -x4327 -x4367 -x4611 -x4613 -x1043 -x1059 -x1136 -x1367 -x1489 -x1501 -x1521 -x1529 -x3533 -x3541 -x3580 -x4325 -x4440 -x2327 -x2635 -x2651 -x2769 -x2793 -x2807 -x4066 -x4068 -x4853 -x4855 -x2315 -x2331 -x2410 -x2639 -x2763 -x2775 -x2795 -x2803 -x531 -x535 -x1049 -x3652 -x1037 -x1053 -x1133 -x4439 -x2321 -x2317 -x2333 -x2411 -x771 -x775 -x1839 -x1855 -x1973 -x1997 -x2011 -x3944 -x3946 -x4512 -x4731 -x4733 -x1843 -x1967 -x1979 -x1999 -x2007 -x3723 -x3111 -x3127 -x3247 -x3271 -x3287 -x4186 -x4188 -x4975 -x4977 -x3123 -x3245 -x3257 -x3277 -x3285 -x774 -x778 -x4511 -x3724 -x287 -x291 -x1135 -x1357 -x1373 -x4368 -x1361 -x3579 -x2409 -x2629 -x2645 -x2641 -x1134 -x2412 -x1833 -x1849 -x1845 -x3113 -x3129 -x3117 -x409 -x413 -x649 -x653 -x1647 -x1671 -x1685 -x3616 -x3883 -x3885 -x4476 -x4670 -x4672 -x1205 -x1641 -x1653 -x1673 -x1681 -x3687 -x4403 -x2921 -x2945 -x2961 -x4125 -x4127 -x4914 -x4916 -x2483 -x2919 -x2931 -x2951 -x2959 -x652 -x656 -x4475 -x1208 -x3688 -x2482 -x892 -x896 -x2125 -x2149 -x2165 -x3759 -x4003 -x4005 -x4792 -x4794 -x2123 -x2135 -x2155 -x2163 -x4548 -x3403 -x3427 -x3441 -x4247 -x4249 -x5034 -x5036 -x3397 -x3409 -x3429 -x3437 -x893 -x897 -x3760 -x4547 -x408 -x412 -x1206 -x3615 -x4404 -x2484 -x1207 -x2481 -x127 -x151 -x165 -x1042 -x1058 -x1366 -x3538 -x4322 -x4330 -x1046 -x1354 -x1370 -x3532 -x3540 -x4324 -x2314 -x2330 -x2638 -x2326 -x2634 -x2650 -x1040 -x1056 -x1052 -x2320 -x2336 -x2324 -x1842 -x1838 -x1854 -x3122 -x3110 -x3126 -x1364 -x1360 -x1376 -x2644 -x2632 -x2648 -x1848 -x1836 -x1852 -x3120 -x3116 -x3132 -x20 x46 -x58 -x227 -x500 -x950 -x1299 -x1416 -x3487 -x3807 -x4291 -x4579 -x987 -x1268 -x1414 -x1426 -x3505 -x4276 -x2228 -x2579 -x2694 -x4034 -x4838 -x2259 -x2542 -x2688 -x2700 -x467 -x951 -x981 -x2225 -x2261 -x741 -x1783 -x1898 -x3912 -x4716 -x1746 -x1892 -x1904 -x3055 -x3172 -x4171 -x4943 -x3024 -x3170 -x3182 -x711 -x257 -x1301 -x1265 -x2573 -x2543 -x1777 -x1747 -x3057 -x3021 -x345 -x619 -x1572 -x3851 -x4655 -x1566 -x1578 -x2846 -x4110 -x4882 -x2844 -x2856 -x589 -x862 -x2050 -x3988 -x4760 -x2048 -x2060 -x3328 -x4215 -x5019 -x3322 -x3334 -x829 -x378 -x52 -x226 -x986 -x3792 -x4294 -x1298 -x3504 -x2258 -x4823 -x2578 -x470 -x984 -x2264 -x4701 -x1782 -x4156 -x3054 -x710 -x1304 -x2576 -x1780 -x3060 -x348 -x4640 -x4095 -x588 -x3973 -x5004 -x832 -x124 -x136 -x529 -x1358 -x1494 -x3534 -x4610 -x1038 -x1488 -x1500 -x4320 -x2630 -x2768 -x4065 -x2318 -x2766 -x2778 -x1044 -x2316 -x772 -x1834 -x1972 -x3943 -x1970 -x1982 -x3114 -x3250 -x4974 -x3244 -x3256 x288 -x1356 -x2636 -x1840 -x3112 -x650 -x1646 -x3882 -x1644 -x1656 -x2924 -x4913 -x2918 -x2930 -x891 -x2128 -x4791 -x2122 -x2134 -x3402 -x4246 -x3400 -x3412 x407 -x126 -x1039 -x3531 -x1359 -x4321 -x2319 -x2631 -x1041 -x2313 -x1835 -x3115 -x1353 -x2633 -x1837 -x3109 x32 -x36 -x101 -x109 -x274 -x278 -x485 -x518 -x1015 -x1282 -x1339 -x1463 -x1479 -x3519 -x3643 -x3799 -x3816 -x4283 -x4311 -x4359 -x4603 -x4605 -x968 -x1027 -x1120 -x1335 -x1469 -x1477 -x3496 -x3525 -x3572 -x4309 -x4432 -x2295 -x2560 -x2619 -x2741 -x2755 -x4058 -x4060 -x4830 -x4847 -x2242 -x2299 -x2394 -x2607 -x2743 -x2751 -x515 -x519 -x1017 -x3644 -x965 -x1021 -x1117 -x4431 -x2289 -x2243 -x2301 -x2395 -x725 -x759 -x1764 -x1823 -x1945 -x1959 -x3936 -x3938 -x4504 -x4708 -x4725 -x1811 -x1947 -x1955 -x3715 -x3038 -x3095 -x3219 -x3235 -x4163 -x4180 -x4967 -x4969 -x3091 -x3225 -x3233 -x758 -x762 -x4503 -x3716 -x241 -x275 -x1119 -x1283 -x1341 -x4360 -x1329 -x3571 -x2393 -x2557 -x2613 -x2609 -x1118 -x2396 -x1761 -x1817 -x1813 -x3039 -x3097 -x3085 -x393 -x397 -x603 -x637 -x1619 -x1633 -x3608 -x3875 -x3877 -x4468 -x4647 -x4664 -x1189 -x1621 -x1629 -x3679 -x4395 -x2893 -x2909 -x4102 -x4119 -x4906 -x4908 -x2467 -x2899 -x2907 -x636 -x640 -x4467 -x1192 -x3680 -x2466 -x847 -x880 -x2097 -x2113 -x3751 -x3980 -x3997 -x4784 -x4786 -x2103 -x2111 -x4540 -x3375 -x3389 -x4239 -x4241 -x5011 -x5028 -x3377 -x3385 -x877 -x881 -x3752 -x4539 -x363 -x396 -x1190 -x3607 -x4396 -x2468 -x1191 -x2465 -x99 -x113 -x484 -x1026 -x1334 -x3522 -x4314 -x4588 -x1014 -x1338 -x3524 -x4308 -x2298 -x2606 -x4043 -x2294 -x2618 -x1024 -x1020 -x2304 -x2292 -x728 -x1810 -x3921 -x1822 -x3090 -x4952 -x3094 -x244 -x1332 -x1344 -x2612 -x2616 -x1816 -x1820 -x3088 -x3100 -x606 -x3860 -x4891 -x846 -x4769 -x4224 -x362 -x179 -x187 -x303 -x307 -x547 -x1074 -x1398 -x1541 -x1555 -x3554 -x3588 -x3830 -x3832 -x4338 -x4448 -x4619 -x1078 -x1149 -x1386 -x1543 -x1551 -x3548 -x3659 -x4340 -x4375 -x2346 -x2670 -x2815 -x2831 -x4074 -x4861 -x4863 -x2358 -x2427 -x2666 -x2821 -x2829 -x546 -x550 -x1072 -x4447 -x1084 -x1152 -x3660 -x2352 -x2356 -x2426 -x790 -x1874 -x2019 -x2035 -x3731 -x3952 -x4739 -x4741 -x1870 -x2025 -x2033 -x4520 -x3154 -x3297 -x3311 -x4194 -x4196 -x4983 -x3142 -x3299 -x3307 -x787 -x791 -x3732 -x4519 -x306 -x1150 -x1396 -x3587 -x1392 -x4376 -x2428 -x2676 -x2664 -x1151 -x2425 -x1880 -x1868 -x3152 -x3148 -x424 -x428 -x668 -x1693 -x1709 -x3695 -x3891 -x4411 -x4678 -x4680 -x1224 -x1699 -x1707 -x3624 -x4484 -x2971 -x2985 -x4133 -x4135 -x4922 -x2498 -x2973 -x2981 -x665 -x669 -x3696 -x1221 -x4483 -x2499 -x909 -x2175 -x2189 -x4011 -x4013 -x4556 -x4800 -x2177 -x2185 -x3767 -x3449 -x3465 -x4255 -x5042 -x5044 -x3455 -x3463 -x908 -x912 -x4555 -x3768 -x425 -x1223 -x4412 -x3623 -x2497 -x1222 -x2500 -x173 -x189 -x1079 -x1387 -x3551 -x4335 -x1075 -x1399 -x3549 -x4341 -x2359 -x2667 -x2347 -x2671 -x1081 -x1069 -x2353 -x2349 -x1871 -x1875 -x3143 -x3155 -x1389 -x1393 -x2661 -x2673 -x1865 -x1877 -x3145 -x3149 -x33 -x242 -x967 -x3800 -x4284 -x1281 -x3495 -x2241 -x4831 -x2559 -x486 -x966 -x2244 -x4709 -x1763 -x4164 -x3037 -x726 -x1284 -x2558 -x1762 -x3040 -x364 -x4648 -x4103 -x604 -x3981 -x5012 -x848 -x243 -x4587 -x4042 -x483 -x3920 -x4951 -x727 -x361 -x3859 -x4890 -x605 -x4768 -x4223 -x845 -x8 x18 -x78 -x260 -x453 -x991 -x1250 -x1424 -x1440 -x3507 -x3783 -x4267 -x4596 -x936 -x1311 -x1446 -x3480 -x4297 -x2271 -x2528 -x2702 -x2718 -x4051 -x4814 -x2210 -x2583 -x2720 -x501 -x993 -x933 -x2265 -x2211 -x693 -x1732 -x1906 -x1922 -x3929 -x4692 -x1787 -x1924 -x3006 -x3180 -x3196 -x4147 -x4960 -x3067 -x3202 -x744 -x209 -x1251 -x1305 -x2525 -x2585 -x1729 -x1789 -x3007 -x3061 -x379 -x571 -x1580 -x1596 -x3868 -x4631 -x1598 -x2854 -x2870 -x4086 -x4899 -x2876 -x622 -x815 -x2058 -x2074 -x3964 -x4777 -x2080 -x3336 -x3352 -x4232 -x4995 -x3354 -x863 -x331 -x60 -x76 -x452 -x1310 -x3510 -x4572 -x990 -x4296 -x2582 -x4027 -x2270 -x996 -x2268 -x696 -x1786 -x3905 -x3066 -x4936 -x212 -x1308 -x2588 -x1792 -x3064 -x574 -x3844 -x4875 -x814 -x4753 -x4208 -x330 -x156 -x289 -x1050 -x1502 -x1518 -x3823 -x4326 -x1362 -x1520 -x3536 -x2322 -x2776 -x2792 -x4854 -x2642 -x2798 -x532 -x1048 -x2328 -x1980 -x1996 -x4732 -x1846 -x2002 -x3258 -x3274 -x4187 -x3118 -x3276 -x773 -x1368 -x2640 -x1844 -x3124 -x410 -x1654 -x1670 -x4671 -x1676 -x2932 -x2948 -x4126 -x2950 -x651 -x2136 -x2152 -x4004 -x2154 -x3410 -x3426 -x5035 -x3432 -x894 -x134 -x150 -x1363 -x4323 -x1051 -x3537 -x2643 -x2323 -x1045 -x2325 -x1847 -x3119 -x1365 -x2637 -x1841 -x3121 -x1425 -x2699 -x1903 -x3181 -x1577 -x2855 -x2059 -x3333 -x57 -x1499 -x2777 -x1981 -x3255 -x1655 -x2929 -x2133 -x3411 -x135 x31 -x104 -x273 -x1018 -x1466 -x3815 -x4310 -x1330 -x1468 -x3520 -x2290 -x2740 -x4846 -x2610 -x2746 -x516 -x1016 -x2296 -x1944 -x4724 -x1814 -x1950 -x3222 -x4179 -x3086 -x3224 -x757 -x1336 -x2608 -x1812 -x3092 -x394 -x1618 -x4663 -x1624 -x2896 -x4118 -x2898 -x635 -x2100 -x3996 -x2102 -x3374 -x5027 -x3380 -x878 -x98 -x1331 -x4307 -x1019 -x3521 -x2611 -x2291 -x1013 -x2293 -x1815 -x3087 -x1333 -x2605 -x1809 -x3089 -x178 -x304 -x1071 -x1540 -x3547 -x4618 -x1391 -x1546 -x4337 -x2351 -x2818 -x4073 -x2663 -x2820 -x545 -x1073 -x2345 -x2022 -x3951 -x1867 -x2024 -x3296 -x4982 -x3147 -x3302 -x788 -x1385 -x2665 -x1869 -x3141 -x423 -x1696 -x3890 -x1698 -x2970 -x4921 -x2976 -x666 -x2174 -x4799 -x2180 -x3452 -x4254 -x3454 -x907 -x176 -x1390 -x3550 -x1070 -x4336 -x2662 -x2350 -x1076 -x2348 -x1866 -x3146 -x1388 -x2668 -x1872 -x3144 x12 -x28 -x66 -x91 -x219 -x270 -x477 -x510 -x942 -x1274 -x1323 -x1461 -x3483 -x3639 -x3795 -x3812 -x4279 -x4303 -x4355 -x4575 -x4601 -x960 -x1011 -x1112 -x1260 -x1434 -x1459 -x3492 -x3517 -x3568 -x4272 -x4428 -x2220 -x2552 -x2603 -x2737 -x4030 -x4056 -x4826 -x4843 -x2234 -x2283 -x2386 -x2534 -x2708 -x2733 -x459 -x511 -x943 -x3640 -x957 -x1005 -x1109 -x4427 -x2217 -x2235 -x2285 -x2387 -x717 -x751 -x1756 -x1807 -x1941 -x3908 -x3934 -x4500 -x4704 -x4721 -x1738 -x1912 -x1937 -x3711 -x3030 -x3079 -x3217 -x4159 -x4176 -x4939 -x4965 -x3016 -x3190 -x3215 -x703 -x754 -x4499 -x3712 -x233 -x267 -x1111 -x1275 -x1325 -x4356 -x1257 -x3567 -x2385 -x2549 -x2597 -x2535 -x1110 -x2388 -x1753 -x1801 -x1739 -x3031 -x3081 -x3013 -x337 -x389 -x595 -x629 -x1615 -x3604 -x3847 -x3873 -x4464 -x4643 -x4660 -x1181 -x1586 -x1611 -x3675 -x4391 -x2891 -x4098 -x4115 -x4878 -x4904 -x2459 -x2864 -x2889 -x581 -x632 -x4463 -x1184 -x3676 -x2458 -x839 -x872 -x2095 -x3747 -x3976 -x3993 -x4756 -x4782 -x2068 -x2093 -x4536 -x3371 -x4211 -x4237 -x5007 -x5024 -x3342 -x3367 -x821 -x873 -x3748 -x4535 -x355 -x388 -x1182 -x3603 -x4392 -x2460 -x1183 -x2457 -x95 -x218 -x476 -x1010 -x3788 -x4306 -x4584 -x1322 -x3516 -x2282 -x4039 -x4819 -x2602 -x462 -x1008 -x2288 -x720 -x3917 -x4697 -x1806 -x4152 -x4948 -x3078 -x702 -x236 -x1328 -x2600 -x1804 -x3084 -x340 -x598 -x3856 -x4636 -x4091 -x4887 -x580 -x838 -x3969 -x4765 -x4220 -x5000 -x824 -x354 -x144 -x169 -x299 -x539 -x1382 -x1537 -x3546 -x3584 -x3828 -x4444 -x4615 -x1062 -x1141 -x1508 -x1533 -x3655 -x4332 -x4371 -x2654 -x2813 -x4070 -x4859 -x2342 -x2419 -x2786 -x2811 -x542 -x4443 -x1068 -x1144 -x3656 -x2340 -x2418 -x782 -x1858 -x2017 -x3727 -x3948 -x4737 -x1990 -x2015 -x4516 -x3138 -x3293 -x4192 -x4979 -x3264 -x3289 -x783 -x3728 -x4515 -x298 -x1142 -x1380 -x3583 -x4372 -x2420 -x2660 -x1143 -x2417 -x1864 -x3136 -x420 -x660 -x1691 -x3691 -x3887 -x4407 -x4676 -x1216 -x1664 -x1689 -x3620 -x4480 -x2967 -x4131 -x4918 -x2490 -x2938 -x2963 -x661 -x3692 -x1213 -x4479 -x2491 -x901 -x2171 -x4009 -x4552 -x4796 -x2142 -x2167 -x3763 -x3447 -x4251 -x5040 -x3420 -x3445 -x904 -x4551 -x3764 -x417 -x1215 -x4408 -x3619 -x2489 -x1214 -x2492 -x171 -x1063 -x3543 -x1383 -x4333 -x2343 -x2655 -x1065 -x2337 -x1859 -x3139 -x1377 -x2657 -x1861 -x3133 -x25 -x67 -x234 -x959 -x3796 -x4280 -x1273 -x1431 -x3491 -x2233 -x4827 -x2551 -x2709 -x478 -x958 -x2236 -x4705 -x1755 -x1913 -x4160 -x3029 -x3187 -x718 -x1276 -x2550 -x1754 -x3032 -x356 -x4644 -x1587 -x4099 -x2861 -x596 -x3977 -x2065 -x5008 -x3343 -x840 -x235 -x4583 -x4038 -x475 -x3916 -x4947 -x719 -x353 -x3855 -x4886 -x597 -x4764 -x4219 -x837 -x141 -x1509 -x2783 -x1987 -x3265 -x1661 -x2939 -x2143 -x3417 -x41 -x117 -x283 -x492 -x523 -x1291 -x1350 -x1485 -x3500 -x3530 -x3576 -x3820 -x4436 -x4592 -x4607 -x973 -x1030 -x1125 -x1481 -x3647 -x4287 -x4316 -x4363 -x2565 -x2622 -x2761 -x4047 -x4062 -x4851 -x2251 -x2310 -x2403 -x2759 -x526 -x4435 -x976 -x1036 -x1128 -x3648 -x2250 -x2308 -x2402 -x736 -x766 -x1769 -x1826 -x1965 -x3719 -x3925 -x3940 -x4729 -x1963 -x4508 -x3047 -x3106 -x3241 -x4184 -x4956 -x4971 -x3237 -x767 -x3720 -x4507 -x252 -x282 -x1126 -x1290 -x1348 -x3575 -x4364 -x2404 -x2568 -x2628 -x1127 -x2401 -x1772 -x1832 -x3046 -x3104 -x404 -x614 -x644 -x1639 -x3683 -x3864 -x3879 -x4399 -x4668 -x1200 -x1637 -x3612 -x4472 -x2915 -x4123 -x4895 -x4910 -x2474 -x2911 -x645 -x3684 -x1197 -x4471 -x2475 -x854 -x885 -x2119 -x4001 -x4544 -x4773 -x4788 -x2115 -x3755 -x3395 -x4228 -x4243 -x5032 -x3393 -x888 -x4543 -x3756 -x370 -x401 -x1199 -x4400 -x3611 -x2473 -x1198 -x2476 -x119 -x493 -x1031 -x3527 -x3803 -x1351 -x4317 -x2311 -x4834 -x2623 -x1033 -x2305 -x733 -x4712 -x1827 -x4167 -x3107 -x249 -x1345 -x2625 -x1829 -x3101 -x611 -x4651 -x4106 -x855 -x3984 -x5015 -x371 -x191 -x314 -x554 -x1403 -x1561 -x3663 -x3834 -x4343 -x4379 -x4623 -x1091 -x1160 -x1559 -x3557 -x3592 -x4452 -x2683 -x2837 -x4078 -x4865 -x2363 -x2434 -x2833 -x555 -x3664 -x1085 -x1157 -x4451 -x2365 -x2435 -x795 -x1887 -x2041 -x3956 -x4524 -x4743 -x2037 -x3735 -x3159 -x3317 -x4198 -x4987 -x3315 -x798 -x4523 -x3736 -x311 -x1159 -x1405 -x4380 -x3591 -x2433 -x2677 -x1158 -x2436 -x1881 -x3161 -x433 -x673 -x1715 -x3628 -x3895 -x4488 -x4682 -x1229 -x1711 -x3699 -x4415 -x2991 -x4137 -x4926 -x2507 -x2989 -x676 -x4487 -x1232 -x3700 -x2506 -x916 -x2195 -x3771 -x4015 -x4804 -x2193 -x4560 -x3471 -x4259 -x5046 -x3467 -x917 -x3772 -x4559 -x432 -x1230 -x3627 -x4416 -x2508 -x1231 -x2505 -x195 -x1090 -x4346 -x1402 -x3556 -x2362 -x2682 -x1088 -x2368 -x1886 -x3158 -x1408 -x2680 -x1884 -x3164 -x40 -x251 -x974 -x3499 -x4591 -x1292 -x4288 -x2252 -x4046 -x2566 -x491 -x975 -x2249 -x3924 -x1770 -x4955 -x3048 -x735 -x1289 -x2567 -x1771 -x3045 -x369 -x3863 -x4894 -x613 -x4772 -x4227 -x853 -x250 -x3804 -x4835 -x494 -x4713 -x4168 -x734 -x372 -x4652 -x4107 -x612 -x3985 -x5016 -x856 -x13 -x460 -x1259 -x1433 -x3484 -x4576 -x941 -x4271 -x2533 -x2707 -x4031 -x2219 -x944 -x2218 -x704 -x1737 -x1911 -x3909 -x3015 -x3189 -x4940 -x220 -x1258 -x2536 -x1740 -x3014 -x582 -x1585 -x3848 -x2863 -x4879 -x822 -x2067 -x4757 -x3341 -x4212 -x338 -x65 -x461 -x3787 -x4818 -x701 -x4696 -x4151 -x217 -x579 -x4635 -x4090 -x823 -x3968 -x4999 -x339 -x1507 -x2785 -x1989 -x3263 -x1663 -x2937 -x2141 -x3419 -x143 -x1432 -x2710 -x1914 -x3188 -x1588 -x2862 -x2066 -x3344 -x68 -x1510 -x2784 -x1988 -x3266 -x1662 -x2940 -x2144 -x3418 -x142 x2 x6 -x22 x48 -x80 -x88 -x200 -x264 -x446 -x504 -x924 -x1244 -x1320 -x1418 -x1442 x3474 -x3780 -x3809 -x4264 -x4302 -x4566 -x4598 -x926 -x1000 -x1238 -x1412 -x1444 -x1452 -x3475 -x3512 x4261 -x2198 -x2518 -x2592 -x2692 -x2716 -x4021 -x4053 -x4811 -x4840 -x2204 -x2280 -x2516 -x2690 -x2722 -x2730 -x440 -x505 -x921 -x927 -x1002 -x2199 -x2201 -x2274 -x686 -x745 -x1722 -x1796 -x1896 -x1920 -x3899 -x3931 -x4689 -x4718 -x1720 -x1894 -x1926 -x1934 -x3000 -x3076 -x3174 -x3198 -x4144 -x4173 -x4930 -x4962 -x2994 -x3168 -x3200 -x3208 -x684 -x748 -x202 -x261 -x1241 -x1314 -x1239 -x2519 -x2594 -x2513 -x1723 -x1798 -x1717 -x2997 -x3070 -x2995 -x318 -x383 -x564 -x623 -x1570 -x1594 -x3838 -x3870 -x4628 -x4657 -x1568 -x1600 -x1608 -x2848 -x2872 -x4083 -x4112 -x4869 -x4901 -x2842 -x2874 -x2882 -x562 -x626 -x808 -x866 -x2052 -x2076 -x3961 -x3990 -x4747 -x4779 -x2046 -x2078 -x2086 -x3326 -x3350 -x4202 -x4234 -x4992 -x5021 -x3324 -x3356 -x3364 -x802 -x867 -x324 -x382 -x50 -x74 x197 -x443 -x997 -x3777 -x4299 -x4567 -x1317 -x3513 -x2277 -x4022 -x4808 -x2589 -x441 -x1003 -x2275 -x687 -x3900 -x4686 -x1793 -x4141 -x4931 -x3073 -x681 -x203 -x1315 -x2595 -x1799 -x3071 x319 -x565 -x3839 -x4625 -x4080 -x4870 -x559 -x805 -x3958 -x4748 -x4203 -x4989 -x803 -x321 -x122 -x154 -x162 -x293 -x533 -x1369 -x1492 -x1516 -x3539 -x3825 -x4612 -x1057 -x1490 -x1522 -x1530 -x4329 -x2649 -x2770 -x2794 -x4067 -x4856 -x2329 -x2764 -x2796 -x2804 -x536 -x1055 -x2335 -x776 -x1853 -x1974 -x1998 -x3945 -x4734 -x1968 -x2000 -x2008 -x3125 -x3248 -x3272 -x4189 -x4976 -x3246 -x3278 -x3286 -x777 -x292 -x1375 -x2647 -x1851 -x3131 -x414 -x654 -x1648 -x1672 -x3884 -x4673 -x1642 -x1674 -x1682 -x2922 -x2946 -x4128 -x4915 -x2920 -x2952 -x2960 -x655 -x895 -x2126 -x2150 -x4006 -x4793 -x2124 -x2156 -x2164 -x3404 -x3428 -x4248 -x5037 -x3398 -x3430 -x3438 -x898 -x411 -x128 -x152 -x1060 -x3542 -x1372 -x4328 -x2332 -x2652 -x1054 -x2334 -x1856 -x3128 -x1374 -x2646 -x1850 -x3130 -x19 -x45 -x1415 -x1413 -x2693 -x2687 -x1897 -x1891 -x3171 -x3169 -x1571 -x1565 -x2845 -x2843 -x2049 -x2047 -x3327 -x3321 -x51 x123 -x1493 -x1487 -x2767 -x2765 -x1971 -x1969 -x3249 -x3243 -x1645 -x1643 -x2923 -x2917 -x2127 -x2121 -x3401 -x3399 -x125 -x35 -x102 -x110 -x277 -x517 -x1337 -x1464 -x3523 -x3817 -x4604 -x1025 -x1470 -x1478 -x4313 -x2617 -x2742 -x4059 -x4848 -x2297 -x2744 -x2752 -x520 -x1023 -x2303 -x760 -x1821 -x1946 -x3937 -x4726 -x1948 -x1956 -x3093 -x3220 -x4181 -x4968 -x3226 -x3234 -x761 -x276 -x1343 -x2615 -x1819 -x3099 -x398 -x638 -x1620 -x3876 -x4665 -x1622 -x1630 -x2894 -x4120 -x4907 -x2900 -x2908 -x639 -x879 -x2098 -x3998 -x4785 -x2104 -x2112 -x3376 -x4240 -x5029 -x3378 -x3386 -x882 -x395 -x100 -x1028 -x3526 -x1340 -x4312 -x2300 -x2620 -x1022 -x2302 -x1824 -x3096 -x1342 -x2614 -x1818 -x3098 -x180 -x188 -x308 -x548 -x1400 -x1542 -x3831 -x4342 -x4620 -x1080 -x1544 -x1552 -x3552 -x2672 -x2816 -x4075 -x4862 -x2360 -x2822 -x2830 -x549 -x1082 -x2354 -x789 -x1876 -x2020 -x3953 -x4740 -x2026 -x2034 -x3156 -x3298 -x4195 -x4984 -x3300 -x3308 -x792 -x305 -x1394 -x2674 -x1878 -x3150 -x427 -x667 -x1694 -x3892 -x4679 -x1700 -x1708 -x2972 -x4134 -x4923 -x2974 -x2982 -x670 -x910 -x2176 -x4012 -x4801 -x2178 -x2186 -x3450 -x4256 -x5043 -x3456 -x3464 -x911 -x426 -x174 -x1077 -x4339 -x1397 -x3553 -x2357 -x2669 -x1083 -x2355 -x1873 -x3153 -x1395 -x2675 -x1879 -x3151 -x34 -x7 -x77 -x1439 -x1445 -x2717 -x2719 -x1921 -x1923 -x3195 -x3201 -x1595 -x1597 -x2869 -x2875 -x2073 -x2079 -x3351 -x3353 -x75 -x155 -x1517 -x1519 -x2791 -x2797 -x1995 -x2001 -x3273 -x3275 -x1669 -x1675 -x2947 -x2949 -x2151 -x2153 -x3425 -x3431 -x149 -x103 -x1465 -x1467 -x2739 -x2745 -x1943 -x1949 -x3221 -x3223 -x1617 -x1623 -x2895 -x2897 -x2099 -x2101 -x3373 -x3379 -x97 -x177 -x1539 -x1545 -x2817 -x2819 -x2021 -x2023 -x3295 -x3301 -x1695 -x1697 -x2969 -x2975 -x2173 -x2179 -x3451 -x3453 -x175 x11 -x27 -x92 -x269 -x509 -x1321 -x3515 -x3813 -x4600 -x1009 -x1460 -x4305 -x2601 -x4055 -x4844 -x2281 -x2734 -x512 -x1007 -x2287 -x752 -x1805 -x3933 -x4722 -x1938 -x3077 -x4177 -x4964 -x3216 -x753 -x268 -x1327 -x2599 -x1803 -x3083 -x390 -x630 -x3872 -x4661 -x1612 -x4116 -x4903 -x2890 -x631 -x871 -x3994 -x4781 -x2094 -x4236 -x5025 -x3368 -x874 -x387 -x1012 -x3518 -x1324 -x4304 -x2284 -x2604 -x1006 -x2286 -x1808 -x3080 -x1326 -x2598 -x1802 -x3082 -x170 -x300 -x540 -x1384 -x3827 -x4334 -x4616 -x1064 -x1534 -x3544 -x2656 -x4071 -x4858 -x2344 -x2812 -x541 -x1066 -x2338 -x781 -x1860 -x3949 -x4736 -x2016 -x3140 -x4191 -x4980 -x3290 -x784 -x297 -x1378 -x2658 -x1862 -x3134 -x419 -x659 -x3888 -x4675 -x1690 -x4130 -x4919 -x2964 -x662 -x902 -x4008 -x4797 -x2168 -x4252 -x5039 -x3446 -x903 -x418 -x1061 -x4331 -x1381 -x3545 -x2341 -x2653 -x1067 -x2339 -x1857 -x3137 -x1379 -x2659 -x1863 -x3135 -x26 -x42 -x118 -x284 -x524 -x1352 -x3819 -x4318 -x4608 -x1032 -x1482 -x3528 -x2624 -x4063 -x4850 -x2312 -x2760 -x525 -x1034 -x2306 -x765 -x1828 -x3941 -x4728 -x1964 -x3108 -x4183 -x4972 -x3238 -x768 -x281 -x1346 -x2626 -x1830 -x3102 -x403 -x643 -x3880 -x4667 -x1638 -x4122 -x4911 -x2912 -x646 -x886 -x4000 -x4789 -x2116 -x4244 -x5031 -x3394 -x887 -x402 -x1029 -x4315 -x1349 -x3529 -x2309 -x2621 -x1035 -x2307 -x1825 -x3105 -x1347 -x2627 -x1831 -x3103 -x192 -x313 -x553 -x1401 -x3555 -x3835 -x4622 -x1089 -x1560 -x4345 -x2681 -x4077 -x4866 -x2361 -x2834 -x556 -x1087 -x2367 -x796 -x1885 -x3955 -x4744 -x2038 -x3157 -x4199 -x4986 -x3316 -x797 -x312 -x1407 -x2679 -x1883 -x3163 -x434 -x674 -x3894 -x4683 -x1712 -x4138 -x4925 -x2990 -x675 -x915 -x4016 -x4803 -x2194 -x4258 -x5047 -x3468 -x918 -x431 -x1092 -x3558 -x1404 -x4344 -x2364 -x2684 -x1086 -x2366 -x1888 -x3160 -x1406 -x2678 -x1882 -x3162 -x39 -x14 x3 -x23 -x61 -x81 -x85 -x213 -x265 -x447 -x471 -x937 -x1245 -x1269 -x1419 -x1456 -x3477 -x3489 -x3565 -x3785 -x3811 -x4269 -x4425 -x4569 -x4581 -x931 -x955 -x1107 -x1255 -x1429 -x1449 -x1453 -x3482 -x3638 -x4266 -x4278 -x4354 -x2215 -x2523 -x2547 -x2697 -x2732 -x4024 -x4036 -x4816 -x4842 -x2205 -x2229 -x2381 -x2529 -x2703 -x2723 -x2727 -x457 -x508 -x940 -x4426 -x930 -x954 -x1106 -x3637 -x2214 -x2208 -x2232 -x2384 -x691 -x715 -x1727 -x1751 -x1901 -x1936 -x3710 -x3902 -x3914 -x4694 -x4720 -x1733 -x1907 -x1927 -x1931 -x4497 -x3001 -x3025 -x3175 -x3212 -x4149 -x4175 -x4933 -x4945 -x3011 -x3185 -x3205 -x3209 -x697 -x749 -x3709 -x4498 -x207 -x231 -x1108 -x1248 -x1272 -x3566 -x1254 -x4353 -x2382 -x2522 -x2546 -x2532 -x1105 -x2383 -x1726 -x1750 -x1736 -x3004 -x3028 -x3010 -x335 -x386 -x569 -x593 -x1575 -x1610 -x3674 -x3841 -x3853 -x4390 -x4633 -x4659 -x1178 -x1581 -x1601 -x1605 -x3601 -x4461 -x2849 -x2886 -x4088 -x4114 -x4872 -x4884 -x2456 -x2859 -x2879 -x2883 -x575 -x627 -x3673 -x1179 -x4462 -x2453 -x809 -x833 -x2053 -x2090 -x3966 -x3992 -x4533 -x4750 -x4762 -x2063 -x2083 -x2087 -x3746 -x3331 -x3366 -x4205 -x4217 -x4997 -x5023 -x3337 -x3357 -x3361 -x819 -x870 -x4534 -x3745 -x325 -x349 -x1177 -x4389 -x3602 -x2455 -x1180 -x2454 -x55 -x90 -x216 -x450 -x474 -x3782 -x3794 -x4574 -x4029 -x4813 -x4825 -x456 -x690 -x714 -x3907 -x4691 -x4703 -x4146 -x4158 -x4938 -x700 -x206 -x230 -x334 -x568 -x592 -x3846 -x4630 -x4642 -x4085 -x4097 -x4877 -x578 -x812 -x836 -x3963 -x3975 -x4755 -x4210 -x4994 -x5006 -x818 -x328 -x352 -x139 -x159 -x163 -x296 -x1497 -x1532 -x3654 -x4370 -x4614 -x1138 -x1503 -x1523 -x1527 -x3581 -x4441 -x2771 -x2808 -x4069 -x2416 -x2781 -x2801 -x2805 -x537 -x3653 -x1139 -x4442 -x2413 -x1975 -x2012 -x3947 -x4513 -x1985 -x2005 -x2009 -x3726 -x3253 -x3288 -x4978 -x3259 -x3279 -x3283 -x780 -x4514 -x3725 -x1137 -x4369 -x3582 -x2415 -x1140 -x2414 -x415 -x1649 -x1686 -x3617 -x3886 -x4477 -x1211 -x1659 -x1679 -x1683 -x3690 -x4406 -x2927 -x2962 -x4917 -x2485 -x2933 -x2953 -x2957 -x658 -x4478 -x1210 -x3689 -x2488 -x2131 -x2166 -x3762 -x4795 -x2137 -x2157 -x2161 -x4549 -x3405 -x3442 -x4250 -x3415 -x3435 -x3439 -x899 -x3761 -x4550 -x1212 -x3618 -x4405 -x2486 -x1209 -x2487 -x129 -x166 -x64 -x232 -x956 -x1422 -x3490 -x4582 -x1270 -x1428 -x4277 -x2230 -x2696 -x4037 -x2548 -x2706 -x472 -x953 -x2231 -x1900 -x3915 -x1752 -x1910 -x3178 -x4946 -x3026 -x3184 -x716 -x1271 -x2545 -x1749 -x3027 -x350 -x1574 -x3854 -x1584 -x2852 -x4885 -x2858 -x594 -x2056 -x4763 -x2062 -x3330 -x4218 -x3340 -x834 -x54 -x229 -x3793 -x4824 -x473 -x4702 -x4157 -x713 -x351 -x4641 -x4096 -x591 -x3974 -x5005 -x835 -x138 -x1496 -x1506 -x2774 -x2780 -x1978 -x1984 -x3252 -x3262 -x1652 -x1658 -x2926 -x2936 -x2130 -x2140 -x3408 -x3414 -x132 -x38 -x107 -x111 -x280 -x490 -x1288 -x1480 -x3646 -x3802 -x4286 -x4362 -x4606 -x970 -x1122 -x1471 -x1475 -x3497 -x3573 -x4433 -x2562 -x2756 -x4061 -x4833 -x2248 -x2400 -x2749 -x2753 -x521 -x3645 -x971 -x1123 -x4434 -x2245 -x2397 -x730 -x1766 -x1960 -x3939 -x4505 -x4711 -x1953 -x1957 -x3718 -x3044 -x3236 -x4166 -x4970 -x3227 -x3231 -x764 -x4506 -x3717 -x246 -x1121 -x1285 -x4361 -x3574 -x2399 -x2563 -x1124 -x2398 -x1767 -x3041 -x399 -x608 -x1634 -x3609 -x3878 -x4469 -x4650 -x1195 -x1627 -x1631 -x3682 -x4398 -x2910 -x4105 -x4909 -x2469 -x2901 -x2905 -x642 -x4470 -x1194 -x3681 -x2472 -x852 -x2114 -x3754 -x3983 -x4787 -x2105 -x2109 -x4541 -x3390 -x4242 -x5014 -x3383 -x3387 -x883 -x3753 -x4542 -x368 -x1196 -x3610 -x4397 -x2470 -x1193 -x2471 -x114 -x487 -x4589 -x4044 -x731 -x3922 -x4953 -x247 -x609 -x3861 -x4892 -x849 -x4770 -x4225 -x365 -x181 -x185 -x309 -x1556 -x3589 -x3833 -x4449 -x1155 -x1549 -x1553 -x3662 -x4378 -x2832 -x4864 -x2429 -x2823 -x2827 -x552 -x4450 -x1154 -x3661 -x2432 -x2036 -x3734 -x4742 -x2027 -x2031 -x4521 -x3312 -x4197 -x3305 -x3309 -x793 -x3733 -x4522 -x1156 -x3590 -x4377 -x2430 -x1153 -x2431 -x430 -x1710 -x3698 -x4414 -x4681 -x1226 -x1701 -x1705 -x3625 -x4485 -x2986 -x4136 -x2504 -x2979 -x2983 -x671 -x3697 -x1227 -x4486 -x2501 -x2190 -x4014 -x4557 -x2183 -x2187 -x3770 -x3466 -x5045 -x3457 -x3461 -x914 -x4558 -x3769 -x1225 -x4413 -x3626 -x2503 -x1228 -x2502 -x190 -x245 -x969 -x3801 -x4285 -x1287 -x3498 -x2247 -x4832 -x2561 -x489 -x972 -x2246 -x4710 -x1765 -x4165 -x3043 -x729 -x1286 -x2564 -x1768 -x3042 -x367 -x4649 -x4104 -x607 -x3982 -x5013 -x851 -x248 -x4590 -x4045 -x488 -x3923 -x4954 -x732 -x366 -x3862 -x4893 -x610 -x4771 -x4226 -x850 -x10 -x84 -x458 -x1256 -x1430 -x3786 -x4270 -x938 -x1448 -x3481 -x2530 -x2704 -x4817 -x2216 -x2726 -x939 -x2213 -x698 -x1734 -x1908 -x4695 -x1930 -x3012 -x3186 -x4150 -x3204 -x214 -x1253 -x2531 -x1735 -x3009 -x576 -x1582 -x4634 -x1604 -x2860 -x4089 -x2878 -x820 -x2064 -x3967 -x2082 -x3338 -x4998 -x3360 -x336 -x62 -x455 -x4573 -x4028 -x699 -x3906 -x4937 -x215 -x577 -x3845 -x4876 -x817 -x4754 -x4209 -x333 -x158 -x1504 -x1526 -x2782 -x2800 -x1986 -x2004 -x3260 -x3282 -x1660 -x1678 -x2934 -x2956 -x2138 -x2160 -x3416 -x3434 -x140 -x1427 -x2705 -x1909 -x3183 -x1583 -x2857 -x2061 -x3339 -x63 -x1505 -x2779 -x1983 -x3261 -x1657 -x2935 -x2139 -x3413 -x137 -x106 -x1474 -x2748 -x1952 -x3230 -x1626 -x2904 -x2108 -x3382 -x184 -x1548 -x2826 -x2030 -x3304 -x1704 -x2978 -x2182 -x3460 -x30 -x72 -x93 -x224 -x272 -x482 -x948 -x1280 -x1462 -x3486 -x3642 -x3798 -x4282 -x4358 -x4578 -x4602 -x962 -x1114 -x1262 -x1436 -x1457 -x3493 -x3569 -x4273 -x4429 -x2222 -x2554 -x2738 -x4033 -x4057 -x4829 -x2240 -x2392 -x2540 -x2714 -x2735 -x464 -x513 -x945 -x3641 -x963 -x1115 -x4430 -x2223 -x2237 -x2389 -x722 -x1758 -x1942 -x3911 -x3935 -x4501 -x4707 -x1744 -x1918 -x1939 -x3714 -x3036 -x3218 -x4162 -x4942 -x4966 -x3018 -x3192 -x3213 -x708 -x756 -x4502 -x3713 -x238 -x1113 -x1277 -x4357 -x1263 -x3570 -x2391 -x2555 -x2537 -x1116 -x2390 -x1759 -x1741 -x3033 -x3019 -x342 -x391 -x600 -x1616 -x3605 -x3850 -x3874 -x4465 -x4646 -x1187 -x1592 -x1613 -x3678 -x4394 -x2892 -x4101 -x4881 -x4905 -x2461 -x2866 -x2887 -x586 -x634 -x4466 -x1186 -x3677 -x2464 -x844 -x2096 -x3750 -x3979 -x4759 -x4783 -x2070 -x2091 -x4537 -x3372 -x4214 -x4238 -x5010 -x3348 -x3369 -x826 -x875 -x3749 -x4538 -x360 -x1188 -x3606 -x4393 -x2462 -x1185 -x2463 -x96 -x221 -x479 -x3789 -x4585 -x4040 -x4820 -x465 -x723 -x3918 -x4698 -x4153 -x4949 -x705 -x239 -x343 -x601 -x3857 -x4637 -x4092 -x4888 -x583 -x841 -x3970 -x4766 -x4221 -x5001 -x827 -x357 -x146 -x167 -x301 -x1538 -x3585 -x3829 -x4445 -x1147 -x1514 -x1535 -x3658 -x4374 -x2814 -x4860 -x2421 -x2788 -x2809 -x544 -x4446 -x1146 -x3657 -x2424 -x2018 -x3730 -x4738 -x1992 -x2013 -x4517 -x3294 -x4193 -x3270 -x3291 -x785 -x3729 -x4518 -x1148 -x3586 -x4373 -x2422 -x1145 -x2423 -x422 -x1692 -x3694 -x4410 -x4677 -x1218 -x1666 -x1687 -x3621 -x4481 -x2968 -x4132 -x2496 -x2944 -x2965 -x663 -x3693 -x1219 -x4482 -x2493 -x2172 -x4010 -x4553 -x2148 -x2169 -x3766 -x3448 -x5041 -x3422 -x3443 -x906 -x4554 -x3765 -x1217 -x4409 -x3622 -x2495 -x1220 -x2494 -x172 -x69 -x237 -x961 -x3797 -x4281 -x1279 -x1437 -x3494 -x2239 -x4828 -x2553 -x2711 -x481 -x964 -x2238 -x4706 -x1757 -x1915 -x4161 -x3035 -x3193 -x721 -x1278 -x2556 -x1760 -x3034 -x359 -x4645 -x1589 -x4100 -x2867 -x599 -x3978 -x2071 -x5009 -x3345 -x843 -x240 -x4586 -x4041 -x480 -x3919 -x4950 -x724 -x358 -x3858 -x4889 -x602 -x4767 -x4222 -x842 -x147 -x1511 -x2789 -x1993 -x3267 -x1667 -x2941 -x2145 -x3423 -x43 -x115 -x285 -x495 -x1293 -x1486 -x3501 -x3577 -x3821 -x4437 -x4593 -x979 -x1131 -x1483 -x3650 -x4290 -x4366 -x2571 -x2762 -x4048 -x4852 -x2253 -x2405 -x2757 -x528 -x4438 -x978 -x1130 -x3649 -x2256 -x2408 -x739 -x1775 -x1966 -x3722 -x3926 -x4730 -x1961 -x4509 -x3049 -x3242 -x4185 -x4957 -x3239 -x769 -x3721 -x4510 -x255 -x1132 -x1296 -x3578 -x4365 -x2406 -x2570 -x1129 -x2407 -x1774 -x3052 -x406 -x617 -x1640 -x3686 -x3865 -x4402 -x4669 -x1202 -x1635 -x3613 -x4473 -x2916 -x4124 -x4896 -x2480 -x2913 -x647 -x3685 -x1203 -x4474 -x2477 -x857 -x2120 -x4002 -x4545 -x4774 -x2117 -x3758 -x3396 -x4229 -x5033 -x3391 -x890 -x4546 -x3757 -x373 -x1201 -x4401 -x3614 -x2479 -x1204 -x2478 -x120 -x498 -x3806 -x4837 -x738 -x4715 -x4170 -x254 -x616 -x4654 -x4109 -x860 -x3987 -x5018 -x376 -x193 -x316 -x1562 -x3666 -x4382 -x4624 -x1162 -x1557 -x3593 -x4453 -x2838 -x4079 -x2440 -x2835 -x557 -x3665 -x1163 -x4454 -x2437 -x2042 -x3957 -x4525 -x2039 -x3738 -x3318 -x4988 -x3313 -x800 -x4526 -x3737 -x1161 -x4381 -x3594 -x2439 -x1164 -x2438 -x435 -x1716 -x3629 -x3896 -x4489 -x1235 -x1713 -x3702 -x4418 -x2992 -x4927 -x2509 -x2987 -x678 -x4490 -x1234 -x3701 -x2512 -x2196 -x3774 -x4805 -x2191 -x4561 -x3472 -x4260 -x3469 -x919 -x3773 -x4562 -x1236 -x3630 -x4417 -x2510 -x1233 -x2511 -x196 -x256 -x980 -x3502 -x4594 -x1294 -x4289 -x2254 -x4049 -x2572 -x496 -x977 -x2255 -x3927 -x1776 -x4958 -x3050 -x740 -x1295 -x2569 -x1773 -x3051 -x374 -x3866 -x4897 -x618 -x4775 -x4230 -x858 -x253 -x3805 -x4836 -x497 -x4714 -x4169 -x737 -x375 -x4653 -x4108 -x615 -x3986 -x5017 -x859 -x15 -x463 -x1261 -x1435 -x3485 -x4577 -x947 -x4274 -x2539 -x2713 -x4032 -x2221 -x946 -x2224 -x707 -x1743 -x1917 -x3910 -x3017 -x3191 -x4941 -x223 -x1264 -x2538 -x1742 -x3020 -x585 -x1591 -x3849 -x2865 -x4880 -x825 -x2069 -x4758 -x3347 -x4213 -x341 -x71 -x466 -x3790 -x4821 -x706 -x4699 -x4154 -x222 -x584 -x4638 -x4093 -x828 -x3971 -x5002 -x344 -x1513 -x2787 -x1991 -x3269 -x1665 -x2943 -x2147 -x3421 -x145 -x1438 -x2712 -x1916 -x3194 -x1590 -x2868 -x2072 -x3346 -x70 -x1512 -x2790 -x1994 -x3268 -x1668 -x2942 -x2146 -x3424 -x148 x4 -x24 -x82 -x86 -x266 -x449 -x1246 -x1420 -x3781 -x4265 -x4599 -x932 -x1450 -x1454 -x3478 -x2524 -x2698 -x4054 -x4812 -x2206 -x2724 -x2728 -x507 -x929 -x2207 -x689 -x1728 -x1902 -x3932 -x4690 -x1928 -x1932 -x3002 -x3176 -x4145 -x4963 -x3206 -x3210 -x750 -x205 -x1247 -x2521 -x1725 -x3003 -x385 -x567 -x1576 -x3871 -x4629 -x1602 -x1606 -x2850 -x4084 -x4902 -x2880 -x2884 -x628 -x811 -x2054 -x3962 -x4780 -x2084 -x2088 -x3332 -x4235 -x4993 -x3358 -x3362 -x869 -x327 -x56 -x448 -x4570 -x4025 -x692 -x3903 -x4934 -x208 -x570 -x3842 -x4873 -x810 -x4751 -x4206 -x326 -x160 -x164 -x295 -x1498 -x3826 -x1524 -x1528 -x2772 -x4857 -x2802 -x2806 -x538 -x1976 -x4735 -x2006 -x2010 -x3254 -x4190 -x3280 -x3284 -x779 -x416 -x1650 -x4674 -x1680 -x1684 -x2928 -x4129 -x2954 -x2958 -x657 -x2132 -x4007 -x2158 -x2162 -x3406 -x5038 -x3436 -x3440 -x900 -x130 -x1421 -x2695 -x1899 -x3177 -x1573 -x2851 -x2055 -x3329 -x53 -x1495 -x2773 -x1977 -x3251 -x1651 -x2925 -x2129 -x3407 -x131 -x37 -x108 -x112 -x279 -x3818 -x1472 -x1476 -x4849 -x2750 -x2754 -x522 -x4727 -x1954 -x1958 -x4182 -x3228 -x3232 -x763 -x400 -x4666 -x1628 -x1632 -x4121 -x2902 -x2906 -x641 -x3999 -x2106 -x2110 -x5030 -x3384 -x3388 -x884 -x182 -x186 -x310 -x4621 -x1550 -x1554 -x4076 -x2824 -x2828 -x551 -x3954 -x2028 -x2032 -x4985 -x3306 -x3310 -x794 -x429 -x3893 -x1702 -x1706 -x4924 -x2980 -x2984 -x672 -x4802 -x2184 -x2188 -x4257 -x3458 -x3462 -x913 -x9 -x83 -x1447 -x2725 -x1929 -x3203 -x1603 -x2877 -x2081 -x3359 -x157 -x1525 -x2799 -x2003 -x3281 -x1677 -x2955 -x2159 -x3433 -x105 -x1473 -x2747 -x1951 -x3229 -x1625 -x2903 -x2107 -x3381 -x183 -x1547 -x2825 -x2029 -x3303 -x1703 -x2977 -x2181 -x3459 -x29 -x94 -x271 -x3814 -x1458 -x4845 -x2736 -x514 -x4723 -x1940 -x4178 -x3214 -x755 -x392 -x4662 -x1614 -x4117 -x2888 -x633 -x3995 -x2092 -x5026 -x3370 -x876 -x168 -x302 -x4617 -x1536 -x4072 -x2810 -x543 -x3950 -x2014 -x4981 -x3292 -x786 -x421 -x3889 -x1688 -x4920 -x2966 -x664 -x4798 -x2170 -x4253 -x3444 -x905 -x44 -x116 -x286 -x4609 -x1484 -x4064 -x2758 -x527 -x3942 -x1962 -x4973 -x3240 -x770 -x405 -x3881 -x1636 -x4912 -x2914 -x648 -x4790 -x2118 -x4245 -x3392 -x889 -x194 -x315 -x3836 -x1558 -x4867 -x2836 -x558 -x4745 -x2040 -x4200 -x3314 -x799 -x436 -x4684 -x1714 -x4139 -x2988 -x677 -x4017 -x2192 -x5048 -x3470 -x920 -x16
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 64059 MiB (61136 MiB free)
memory of node 1: 64510 MiB (62663 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4432032-1721123022/watcher-4432032-1721123022 -o /tmp/evaluation-result-4432032-1721123022/solver-4432032-1721123022 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1721113771-833758 --watchdog 3760 ./ipbhs_static_scip HOME/instance-4432032-1721123022.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
solver pid=841139, runsolver pid=841136
Current StackSize limit: 8192 KiB
[startup+0.100087 s]*
/proc/loadavg: 4.69 4.37 4.19 5/245 841140
/proc/meminfo: memFree=126766928/131655788 swapFree=131071996/131071996
[pid=841139] ppid=841136 vsize=32928 memory=8820 CPUtime=0.1 cores=4,6
/proc/841139/stat : 841139 (ipbhs_static_sc) R 841136 841139 833747 0 -1 4194304 1382 0 0 0 10 0 0 0 20 0 1 0 164458908 33718272 2205 134679101440 4194304 16068861 140722163805984 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 18370176 18462544 54657024 140722163811366 140722163811453 140722163811453 140722163818468 0
/proc/841139/statm: 8232 2205 1023 2900 0 4746 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 32928 KiB
Current children cumulated memory: 8820 KiB
[startup+0.208625 s]*
/proc/loadavg: 4.69 4.37 4.19 5/245 841140
/proc/meminfo: memFree=126762728/131655788 swapFree=131071996/131071996
[pid=841139] ppid=841136 vsize=37016 memory=13044 CPUtime=0.2 cores=4,6
/proc/841139/stat : 841139 (ipbhs_static_sc) R 841136 841139 833747 0 -1 4194304 2397 0 0 0 20 0 0 0 20 0 1 0 164458908 37904384 3261 134679101440 4194304 16068861 140722163805984 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 18370176 18462544 54657024 140722163811366 140722163811453 140722163811453 140722163818468 0
/proc/841139/statm: 9254 3261 1023 2900 0 5768 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 37016 KiB
Current children cumulated memory: 13044 KiB
[startup+0.307732 s]*
/proc/loadavg: 4.69 4.37 4.19 5/245 841140
/proc/meminfo: memFree=126758876/131655788 swapFree=131071996/131071996
[pid=841139] ppid=841136 vsize=41100 memory=16912 CPUtime=0.31 cores=4,6
/proc/841139/stat : 841139 (ipbhs_static_sc) R 841136 841139 833747 0 -1 4194304 3455 0 0 0 30 1 0 0 20 0 1 0 164458908 42086400 4228 134679101440 4194304 16068861 140722163805984 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 18370176 18462544 54657024 140722163811366 140722163811453 140722163811453 140722163818468 0
/proc/841139/statm: 10275 4228 1023 2900 0 6789 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 41100 KiB
Current children cumulated memory: 16912 KiB
[startup+0.700255 s]
/proc/loadavg: 4.69 4.37 4.19 5/245 841140
/proc/meminfo: memFree=126749680/131655788 swapFree=131071996/131071996
[pid=841139] ppid=841136 vsize=57716 memory=33608 CPUtime=0.69 cores=4,6
/proc/841139/stat : 841139 (ipbhs_static_sc) R 841136 841139 833747 0 -1 4194304 7727 0 0 0 67 2 0 0 20 0 1 0 164458908 59101184 8402 134679101440 4194304 16068861 140722163805984 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 18370176 18462544 54657024 140722163811366 140722163811453 140722163811453 140722163818468 0
/proc/841139/statm: 14429 8402 1023 2900 0 10943 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 57716 KiB
Current children cumulated memory: 33608 KiB
[startup+1.50029 s]
/proc/loadavg: 4.69 4.37 4.19 5/245 841140
/proc/meminfo: memFree=126724692/131655788 swapFree=131071996/131071996
[pid=841139] ppid=841136 vsize=101760 memory=80508 CPUtime=1.48 cores=4,6
/proc/841139/stat : 841139 (ipbhs_static_sc) R 841136 841139 833747 0 -1 4194304 19085 0 0 0 141 7 0 0 20 0 1 0 164458908 104202240 20127 134679101440 4194304 16068861 140722163805984 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 18370176 18462544 54657024 140722163811366 140722163811453 140722163811453 140722163818468 0
/proc/841139/statm: 25440 20127 1135 2900 0 21954 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 101760 KiB
Current children cumulated memory: 80508 KiB
[startup+3.11283 s]
/proc/loadavg: 4.69 4.37 4.19 5/245 841140
/proc/meminfo: memFree=126202744/131655788 swapFree=131071996/131071996
[pid=841139] ppid=841136 vsize=605892 memory=577880 CPUtime=3.1 cores=4,6
/proc/841139/stat : 841139 (ipbhs_static_sc) R 841136 841139 833747 0 -1 4194304 142045 0 0 0 270 40 0 0 20 0 1 0 164458908 620433408 144470 134679101440 4194304 16068861 140722163805984 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18370176 18462544 54657024 140722163811366 140722163811453 140722163811453 140722163818468 0
/proc/841139/statm: 151473 144470 2639 2900 0 147987 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 605892 KiB
Current children cumulated memory: 577880 KiB
[startup+6.30029 s]
/proc/loadavg: 4.63 4.36 4.19 5/245 841140
/proc/meminfo: memFree=125555592/131655788 swapFree=131071996/131071996
[pid=841139] ppid=841136 vsize=1357640 memory=1223676 CPUtime=6.27 cores=4,6
/proc/841139/stat : 841139 (ipbhs_static_sc) R 841136 841139 833747 0 -1 4194304 157989 0 0 0 574 53 0 0 20 0 1 0 164458908 1390223360 305919 134679101440 4194304 16068861 140722163805984 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18370176 18462544 54657024 140722163811366 140722163811453 140722163811453 140722163818468 0
/proc/841139/statm: 339410 305919 2671 2900 0 335924 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 1357640 KiB
Current children cumulated memory: 1223676 KiB
[startup+12.7003 s]
/proc/loadavg: 4.66 4.37 4.19 5/245 841142
/proc/meminfo: memFree=124898956/131655788 swapFree=131071996/131071996
[pid=841139] ppid=841136 vsize=2163936 memory=2017940 CPUtime=12.66 cores=4,6
/proc/841139/stat : 841139 (ipbhs_static_sc) R 841136 841139 833747 0 -1 4194304 241258 0 0 0 1180 86 0 0 20 0 1 0 164458908 2215870464 504485 134679101440 4194304 16068861 140722163805984 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18370176 18462544 54657024 140722163811366 140722163811453 140722163811453 140722163818468 0
/proc/841139/statm: 540984 504485 2783 2900 0 537498 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 2163936 KiB
Current children cumulated memory: 2017940 KiB
[startup+25.5004 s]
/proc/loadavg: 4.52 4.35 4.19 5/245 841143
/proc/meminfo: memFree=124727320/131655788 swapFree=131071996/131071996
[pid=841139] ppid=841136 vsize=2184832 memory=2033368 CPUtime=25.43 cores=4,6
/proc/841139/stat : 841139 (ipbhs_static_sc) R 841136 841139 833747 0 -1 4194304 243080 0 0 0 2456 87 0 0 20 0 1 0 164458908 2237267968 508342 134679101440 4194304 16068861 140722163805984 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18370176 18462544 54657024 140722163811366 140722163811453 140722163811453 140722163818468 0
/proc/841139/statm: 546208 508342 2863 2900 0 542722 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 2184832 KiB
Current children cumulated memory: 2033368 KiB
[startup+51.1134 s]
/proc/loadavg: 4.46 4.36 4.19 5/245 841148
/proc/meminfo: memFree=124644392/131655788 swapFree=131071996/131071996
[pid=841139] ppid=841136 vsize=2236596 memory=2074556 CPUtime=50.99 cores=4,6
/proc/841139/stat : 841139 (ipbhs_static_sc) R 841136 841139 833747 0 -1 4194304 244736 0 0 0 5010 89 0 0 20 0 1 0 164458908 2290274304 518639 134679101440 4194304 16068861 140722163805984 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18370176 18462544 54657024 140722163811366 140722163811453 140722163811453 140722163818468 0
/proc/841139/statm: 559149 518639 2863 2900 0 555663 0
Current children cumulated CPU time: 50.99 s
Current children cumulated vsize: 2236596 KiB
Current children cumulated memory: 2074556 KiB
[startup+102.3 s]
/proc/loadavg: 4.25 4.31 4.18 5/245 841157
/proc/meminfo: memFree=124563820/131655788 swapFree=131071996/131071996
[pid=841139] ppid=841136 vsize=2236596 memory=2074556 CPUtime=102.07 cores=4,6
/proc/841139/stat : 841139 (ipbhs_static_sc) R 841136 841139 833747 0 -1 4194304 244872 0 0 0 10117 90 0 0 20 0 1 0 164458908 2290274304 518639 134679101440 4194304 16068861 140722163805984 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18370176 18462544 54657024 140722163811366 140722163811453 140722163811453 140722163818468 0
/proc/841139/statm: 559149 518639 2863 2900 0 555663 0
Current children cumulated CPU time: 102.07 s
Current children cumulated vsize: 2236596 KiB
Current children cumulated memory: 2074556 KiB
[startup+162.3 s]
/proc/loadavg: 4.13 4.27 4.18 5/243 841168
/proc/meminfo: memFree=123743852/131655788 swapFree=131071996/131071996
[pid=841139] ppid=841136 vsize=3071324 memory=2810648 CPUtime=161.93 cores=4,6
/proc/841139/stat : 841139 (ipbhs_static_sc) R 841136 841139 833747 0 -1 4194304 307030 0 0 0 16084 109 0 0 20 0 1 0 164458908 3145035776 702662 134679101440 4194304 16068861 140722163805984 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18370176 18462544 54657024 140722163811366 140722163811453 140722163811453 140722163818468 0
/proc/841139/statm: 767831 702662 2879 2900 0 764345 0
Current children cumulated CPU time: 161.93 s
Current children cumulated vsize: 3071324 KiB
Current children cumulated memory: 2810648 KiB
[startup+222.3 s]
/proc/loadavg: 4.18 4.26 4.18 5/243 841178
/proc/meminfo: memFree=122907600/131655788 swapFree=131071996/131071996
[pid=841139] ppid=841136 vsize=3876788 memory=3598660 CPUtime=221.81 cores=4,6
/proc/841139/stat : 841139 (ipbhs_static_sc) R 841136 841139 833747 0 -1 4194304 376637 0 0 0 22042 139 0 0 20 0 1 0 164458908 3969830912 899665 134679101440 4194304 16068861 140722163805984 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18370176 18462544 54657024 140722163811366 140722163811453 140722163811453 140722163818468 0
/proc/841139/statm: 969197 899665 2879 2900 0 965711 0
Current children cumulated CPU time: 221.81 s
Current children cumulated vsize: 3876788 KiB
Current children cumulated memory: 3598660 KiB
[startup+282.3 s]
/proc/loadavg: 4.51 4.33 4.21 5/243 841188
/proc/meminfo: memFree=122907252/131655788 swapFree=131071996/131071996
[pid=841139] ppid=841136 vsize=3876788 memory=3598680 CPUtime=281.68 cores=4,6
/proc/841139/stat : 841139 (ipbhs_static_sc) R 841136 841139 833747 0 -1 4194304 376783 0 0 0 28028 140 0 0 20 0 1 0 164458908 3969830912 899670 134679101440 4194304 16068861 140722163805984 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18370176 18462544 54657024 140722163811366 140722163811453 140722163811453 140722163818468 0
/proc/841139/statm: 969197 899670 2879 2900 0 965711 0
Current children cumulated CPU time: 281.68 s
Current children cumulated vsize: 3876788 KiB
Current children cumulated memory: 3598680 KiB
[startup+342.3 s]
/proc/loadavg: 4.79 4.45 4.26 5/242 841200
/proc/meminfo: memFree=122897684/131655788 swapFree=131071996/131071996
[pid=841139] ppid=841136 vsize=3876788 memory=3598680 CPUtime=341.55 cores=4,6
/proc/841139/stat : 841139 (ipbhs_static_sc) R 841136 841139 833747 0 -1 4194304 376935 0 0 0 34014 141 0 0 20 0 1 0 164458908 3969830912 899670 134679101440 4194304 16068861 140722163805984 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18370176 18462544 54657024 140722163811366 140722163811453 140722163811453 140722163818468 0
/proc/841139/statm: 969197 899670 2879 2900 0 965711 0
Current children cumulated CPU time: 341.55 s
Current children cumulated vsize: 3876788 KiB
Current children cumulated memory: 3598680 KiB
[startup+402.3 s]
/proc/loadavg: 4.90 4.55 4.31 5/244 841214
/proc/meminfo: memFree=122841516/131655788 swapFree=131071996/131071996
[pid=841139] ppid=841136 vsize=3863956 memory=3581952 CPUtime=401.42 cores=4,6
/proc/841139/stat : 841139 (ipbhs_static_sc) R 841136 841139 833747 0 -1 4194304 379248 0 0 0 39998 144 0 0 20 0 1 0 164458908 3956690944 895488 134679101440 4194304 16068861 140722163805984 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18370176 18462544 54657024 140722163811366 140722163811453 140722163811453 140722163818468 0
/proc/841139/statm: 965989 895488 2895 2900 0 962503 0
Current children cumulated CPU time: 401.42 s
Current children cumulated vsize: 3863956 KiB
Current children cumulated memory: 3581952 KiB
[startup+462.3 s]
/proc/loadavg: 4.45 4.48 4.29 5/244 841224
/proc/meminfo: memFree=122761156/131655788 swapFree=131071996/131071996
[pid=841139] ppid=841136 vsize=3876200 memory=3582084 CPUtime=461.3 cores=4,6
/proc/841139/stat : 841139 (ipbhs_static_sc) R 841136 841139 833747 0 -1 4194304 379481 0 0 0 45985 145 0 0 20 0 1 0 164458908 3969228800 895521 134679101440 4194304 16068861 140722163805984 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18370176 18462544 54657024 140722163811366 140722163811453 140722163811453 140722163818468 0
/proc/841139/statm: 969050 895521 2895 2900 0 965564 0
Current children cumulated CPU time: 461.3 s
Current children cumulated vsize: 3876200 KiB
Current children cumulated memory: 3582084 KiB
[startup+522.3 s]
/proc/loadavg: 4.23 4.40 4.28 5/244 841235
/proc/meminfo: memFree=122679980/131655788 swapFree=131071996/131071996
[pid=841139] ppid=841136 vsize=3909616 memory=3584916 CPUtime=521.18 cores=4,6
/proc/841139/stat : 841139 (ipbhs_static_sc) R 841136 841139 833747 0 -1 4194304 380428 0 0 0 51972 146 0 0 20 0 1 0 164458908 4003446784 896229 134679101440 4194304 16068861 140722163805984 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18370176 18462544 54657024 140722163811366 140722163811453 140722163811453 140722163818468 0
/proc/841139/statm: 977404 896229 2895 2900 0 973918 0
Current children cumulated CPU time: 521.18 s
Current children cumulated vsize: 3909616 KiB
Current children cumulated memory: 3584916 KiB
[startup+547.549 s]
# the end of solver process 841139 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=544.857 s, system=1.52796 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+524.8 s]
/proc/loadavg: 4.23 4.40 4.28 5/244 841235
/proc/meminfo: memFree=122677252/131655788 swapFree=131071996/131071996
[pid=841139] ppid=841136 vsize=3909616 memory=3584916 CPUtime=523.67 cores=4,6
/proc/841139/stat : 841139 (ipbhs_static_sc) R 841136 841139 833747 0 -1 4194304 380430 0 0 0 52221 146 0 0 20 0 1 0 164458908 4003446784 896229 134679101440 4194304 16068861 140722163805984 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18370176 18462544 54657024 140722163811366 140722163811453 140722163811453 140722163818468 0
/proc/841139/statm: 977404 896229 2895 2900 0 973918 0
Current children cumulated CPU time: 523.67 s
Current children cumulated vsize: 3909616 KiB
Current children cumulated memory: 3584916 KiB
[startup+537.6 s]
/proc/loadavg: 4.18 4.38 4.27 5/244 841237
/proc/meminfo: memFree=122658032/131655788 swapFree=131071996/131071996
[pid=841139] ppid=841136 vsize=3916760 memory=3585052 CPUtime=536.45 cores=4,6
/proc/841139/stat : 841139 (ipbhs_static_sc) R 841136 841139 833747 0 -1 4194304 380508 0 0 0 53499 146 0 0 20 0 1 0 164458908 4010762240 896263 134679101440 4194304 16068861 140722163805984 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18370176 18462544 54657024 140722163811366 140722163811453 140722163811453 140722163818468 0
/proc/841139/statm: 979190 896263 2895 2900 0 975704 0
Current children cumulated CPU time: 536.45 s
Current children cumulated vsize: 3916760 KiB
Current children cumulated memory: 3585052 KiB
[startup+544 s]*
/proc/loadavg: 4.24 4.39 4.28 5/244 841239
/proc/meminfo: memFree=122647700/131655788 swapFree=131071996/131071996
[pid=841139] ppid=841136 vsize=3916760 memory=3585052 CPUtime=542.85 cores=4,6
/proc/841139/stat : 841139 (ipbhs_static_sc) R 841136 841139 833747 0 -1 4194304 380514 0 0 0 54139 146 0 0 20 0 1 0 164458908 4010762240 896263 134679101440 4194304 16068861 140722163805984 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18370176 18462544 54657024 140722163811366 140722163811453 140722163811453 140722163818468 0
/proc/841139/statm: 979190 896263 2895 2900 0 975704 0
Current children cumulated CPU time: 542.85 s
Current children cumulated vsize: 3916760 KiB
Current children cumulated memory: 3585052 KiB
[startup+545.6 s]
/proc/loadavg: 4.22 4.39 4.27 5/244 841239
/proc/meminfo: memFree=122647700/131655788 swapFree=131071996/131071996
[pid=841139] ppid=841136 vsize=3916760 memory=3585052 CPUtime=544.43 cores=4,6
/proc/841139/stat : 841139 (ipbhs_static_sc) R 841136 841139 833747 0 -1 4194304 380516 0 0 0 54297 146 0 0 20 0 1 0 164458908 4010762240 896263 134679101440 4194304 16068861 140722163805984 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18370176 18462544 54657024 140722163811366 140722163811453 140722163811453 140722163818468 0
/proc/841139/statm: 979190 896263 2895 2900 0 975704 0
Current children cumulated CPU time: 544.43 s
Current children cumulated vsize: 3916760 KiB
Current children cumulated memory: 3585052 KiB
[startup+546.4 s]
/proc/loadavg: 4.22 4.39 4.27 5/244 841239
/proc/meminfo: memFree=122645692/131655788 swapFree=131071996/131071996
[pid=841139] ppid=841136 vsize=3916760 memory=3585052 CPUtime=545.23 cores=4,6
/proc/841139/stat : 841139 (ipbhs_static_sc) R 841136 841139 833747 0 -1 4194304 380516 0 0 0 54377 146 0 0 20 0 1 0 164458908 4010762240 896263 134679101440 4194304 16068861 140722163805984 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18370176 18462544 54657024 140722163811366 140722163811453 140722163811453 140722163818468 0
/proc/841139/statm: 979190 896263 2895 2900 0 975704 0
Current children cumulated CPU time: 545.23 s
Current children cumulated vsize: 3916760 KiB
Current children cumulated memory: 3585052 KiB
[startup+547.2 s]
/proc/loadavg: 4.22 4.39 4.27 5/244 841239
/proc/meminfo: memFree=122645692/131655788 swapFree=131071996/131071996
[pid=841139] ppid=841136 vsize=3921860 memory=3585056 CPUtime=546.03 cores=4,6
/proc/841139/stat : 841139 (ipbhs_static_sc) R 841136 841139 833747 0 -1 4194304 380557 0 0 0 54457 146 0 0 20 0 1 0 164458908 4015984640 896264 134679101440 4194304 16068861 140722163805984 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 18370176 18462544 54657024 140722163811366 140722163811453 140722163811453 140722163818468 0
/proc/841139/statm: 980465 896264 2895 2900 0 976979 0
Current children cumulated CPU time: 546.03 s
Current children cumulated vsize: 3921860 KiB
Current children cumulated memory: 3585056 KiB
[startup+547.4 s]
/proc/loadavg: 4.22 4.39 4.27 5/244 841239
/proc/meminfo: memFree=122645692/131655788 swapFree=131071996/131071996
[pid=841139] ppid=841136 vsize=3821360 memory=3484556 CPUtime=546.23 cores=4,6
/proc/841139/stat : 841139 (ipbhs_static_sc) R 841136 841139 833747 0 -1 4194304 380559 0 0 0 54476 147 0 0 20 0 1 0 164458908 3913072640 871139 134679101440 4194304 16068861 140722163805984 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 18370176 18462544 54657024 140722163811366 140722163811453 140722163811453 140722163818468 0
/proc/841139/statm: 955340 871139 2895 2900 0 951854 0
Current children cumulated CPU time: 546.23 s
Current children cumulated vsize: 3821360 KiB
Current children cumulated memory: 3484556 KiB
[startup+547.5 s]
/proc/loadavg: 4.22 4.39 4.27 5/244 841239
/proc/meminfo: memFree=122645692/131655788 swapFree=131071996/131071996
[pid=841139] ppid=841136 vsize=2155784 memory=2078044 CPUtime=546.33 cores=4,6
/proc/841139/stat : 841139 (ipbhs_static_sc) R 841136 841139 833747 0 -1 4194304 380573 0 0 0 54485 148 0 0 20 0 1 0 164458908 2207522816 519511 134679101440 4194304 16068861 140722163805984 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 18370176 18462544 54657024 140722163811366 140722163811453 140722163811453 140722163818468 0
/proc/841139/statm: 538946 519511 2895 2900 0 535460 0
Current children cumulated CPU time: 546.33 s
Current children cumulated vsize: 2155784 KiB
Current children cumulated memory: 2078044 KiB
Child status: 0
Real time (s): 547.549
CPU time (s): 546.385
CPU user time (s): 544.857
CPU system time (s): 1.52796
CPU usage (%): 99.7875
Max. virtual memory (cumulated for all children) (KiB): 3922872
Max. memory (cumulated for all children) (KiB): 3608580
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 544.857
system time used= 1.52797
maximum resident set size= 3660724
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 380574
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= 2
involuntary context switches= 384
# summary of solver processes directly reported to runsolver:
# pid: 841139
# total CPU time (s): 546.385
# total CPU user time (s): 544.857
# total CPU system time (s): 1.52796
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.57832 second user time and 5.4027 second system time
The end
Begin job on nodeC007 at 2024-07-16 11:43:55
IDJOB=4432032
IDBENCH=155403
IDSOLVER=3057
FILE ID=nodeC007/4432032-1721123022
RUNJOBID= nodeC007-1721113771-833758
SLURM_JOB_ID= 7505647
Free space on /tmp= 723592 MiB
SOLVER NAME= IPBHS-SCIP 2024-07-09
BENCH NAME= PB24/normalized-PB11/OPT-LIN/kullmann/normalized-mul_8_3_shg.opb
COMMAND LINE= ./ipbhs_static_scip BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4432032-1721123022/watcher-4432032-1721123022 -o /tmp/evaluation-result-4432032-1721123022/solver-4432032-1721123022 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1721113771-833758 --watchdog 3760 ./ipbhs_static_scip HOME/instance-4432032-1721123022.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 9f3f50f555350d326304759fc873d478
RANDOM SEED=2109171687
nodeC007.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3669.237
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.25
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3667.216
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.30
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.328
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.25
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.151
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.30
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.148
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.25
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3667.202
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.30
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1722.303
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.25
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.155
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.30
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131655788 kB
MemFree: 126772112 kB
MemAvailable: 128609096 kB
Buffers: 406708 kB
Cached: 2253428 kB
SwapCached: 0 kB
Active: 728392 kB
Inactive: 3584856 kB
Active(anon): 1468 kB
Inactive(anon): 1689376 kB
Active(file): 726924 kB
Inactive(file): 1895480 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 74400 kB
Writeback: 0 kB
AnonPages: 1650020 kB
Mapped: 138232 kB
Shmem: 37704 kB
KReclaimable: 109220 kB
Slab: 208192 kB
SReclaimable: 109220 kB
SUnreclaim: 98972 kB
KernelStack: 3936 kB
PageTables: 12408 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196899888 kB
Committed_AS: 2043712 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 52480 kB
HardwareCorrupted: 0 kB
AnonHugePages: 1366016 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: 279368 kB
DirectMap2M: 27936768 kB
DirectMap1G: 108003328 kB
Free space on /tmp at the end= 723540 MiB
End job on nodeC007 at 2024-07-16 11:53:03