0.00/0.20 c initialize IPBHS solver
0.00/0.20 c IPBHS 0.0.0 beta (8d0f613-dirty, Jun 3 2025 11:30:33), compiled with satsolvers: , optimizers: , GreedyOptimizer, Gurobi 12.0.2, RoundingSat 2, , , pbsolvers: RoundingSat 2, BreakID 0.0.0
0.00/0.20 c optimizer = "gurobi"
0.00/0.20 c pbsolver = "roundingsat"
0.00/0.20 c use separate pbsolver for SIS
0.00/0.20 c load symmetries from file ""
0.00/0.20 c set time limit for symmetry computation to 100 seconds.
0.00/0.20 c set interchangeable summation variable limit to 3
0.00/0.20 c set sym compact max subset size to 5
0.00/0.20 c set explicit symmetry matrix usage to 1
0.00/0.20 c sym budget explicit to 100
0.00/0.20 c sym budget explicit lits to 6000
0.00/0.20 c sym budget compact to 100
0.00/0.20 c sym budget compact lits to 6000
0.00/0.20 c sym budget common to 0
0.00/0.20 c sym budget common lits to 0
0.00/0.20 c set sym generation to 's'
0.00/0.20 c set abstraction set creation to 10 iterations without LB change
0.00/0.20 c set abstraction set inputs to 0
0.00/0.20 c set abstraction set cluster min size to 2
0.00/0.20 c set abstraction set cluster max size to 100000000
0.00/0.20 c set abstraction set cluster activation limit to 2
0.00/0.20 c enable abstraction set require equal cost
0.00/0.20 c set abstraction set assumptions to 0
0.00/0.20 c set abstraction set constraint type to 0
0.00/0.20 c set abstract core extraction strategy to b
0.00/0.20 c set core extraction strategy to 2
0.00/0.20 c set core extraction shuffles 10
0.00/0.20 c set cores per iteration to 5
0.00/0.20 c set optimizer bound usage strategy to 2
0.00/0.20 c set optimizer max non-optimal iterations to 1000
0.00/0.20 c set small core cardinality limit to 2
0.00/0.20 c set max coef in cores to 1000000000
0.00/0.20 c set core processing techniques to 4095
0.00/0.20 c set SIS iterations to 5
0.00/0.20 c set SIS budget abs to 1000
0.00/0.20 c set SIS budget rel to 0.05
2.09/2.32 c limit for coefficient in constraints and objective to 1000000000
2.09/2.32 c will solve HOME/instance-4502998-1751453447.opb
2.09/2.32 c [0.01] will start solving
46.52/46.81 c [0.72] solve iteration 1, LB=0, UB=5049
46.52/46.81 c [7.94] solve iteration 2, LB=32, UB=487
46.52/46.81 c [43.35] LB=UB after core extraction
46.52/46.81 c [43.35] instance solved in 43.35s (optimization: 40.29s, core-extraction: 0.14s, SIS: 0s), 2 iterations, LB=36, UB=36,
46.52/46.81 d ITERATIONS 2
46.52/46.81 d SIS 0
46.52/46.81 d SIS_SAT 0
46.52/46.81 d SIS_UNSAT 0
46.52/46.81 d SIS_OUT_OF_BUDGET 0
46.52/46.81 d CORES_EXTRACTED 0
46.52/46.81 d CORES_IN_OPTIMIZER 0
46.52/46.81 d CLAUSAL_CORES_IN_OPTIMIZER 0
46.52/46.81 d CARDINALITY_CORES_IN_OPTIMIZER 0
46.52/46.81 d PB_CORES_IN_OPTIMIZER 0
46.52/46.81 d TIME_EXTRACT_CORES 0.140000
46.52/46.81 d TIME_OPTIMIZE 40.290000
46.52/46.81 d TIME_SIS 0.000000
46.52/46.81 c solve_time: 43.350000
46.52/46.81 s OPTIMUM FOUND
46.52/46.81 o 36
46.52/46.81 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: 63837 MiB (62449 MiB free)
memory of node 1: 64465 MiB (63478 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4502998-1751453447/watcher-4502998-1751453447 -o /tmp/evaluation-result-4502998-1751453447/solver-4502998-1751453447 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1751453447-60692 --watchdog 3760 ./ipbhs_gurobi HOME/instance-4502998-1751453447.opb --max-coef 1000000000
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=60741, runsolver pid=60730
Current StackSize limit: 8192 KiB
[startup+0.100103 s]*
/proc/loadavg: 0.90 2.81 3.64 2/245 60742
/proc/meminfo: memFree=128950332/131382120 swapFree=33010160/33010684
[pid=60741] ppid=60730 vsize=61524 memory=2688 CPUtime=0 cores=0,2
/proc/60741/stat : 60741 (ipbhs_gurobi) D 60730 60741 60682 0 -1 4194304 253 0 9 0 0 0 0 0 20 0 1 0 61023889 63000576 672 18446744073709551615 93855100874752 93855103499805 140736629481760 0 0 0 0 0 0 1 0 0 17 0 0 0 0 0 0 93855104118680 93855104151642 93855125569536 140736629483935 140736629484039 140736629484039 140736629489641 0
/proc/60741/statm: 15381 672 544 641 0 249 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 61524 KiB
Current children cumulated memory: 2688 KiB
[startup+0.212571 s]*
/proc/loadavg: 0.90 2.81 3.64 5/245 60742
/proc/meminfo: memFree=128883032/131382120 swapFree=33010160/33010684
[pid=60741] ppid=60730 vsize=1535620 memory=60816 CPUtime=0.03 cores=0,2
/proc/60741/stat : 60741 (ipbhs_gurobi) R 60730 60741 60682 0 -1 4194304 499 0 19 0 1 2 0 0 20 0 1 0 61023889 1572474880 15204 18446744073709551615 93855100874752 93855103499805 140736629481760 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 93855104118680 93855104151642 93855125569536 140736629483935 140736629484039 140736629484039 140736629489641 0
/proc/60741/statm: 383905 15204 1600 641 0 368662 0
Current children cumulated CPU time: 0.03 s
Current children cumulated vsize: 1535620 KiB
Current children cumulated memory: 60816 KiB
[startup+0.313992 s]*
/proc/loadavg: 0.90 2.81 3.64 5/246 60747
/proc/meminfo: memFree=128189800/131382120 swapFree=33010160/33010684
[pid=60741] ppid=60730 vsize=1535620 memory=294288 CPUtime=0.13 cores=0,2
/proc/60741/stat : 60741 (ipbhs_gurobi) R 60730 60741 60682 0 -1 4194304 613 0 19 0 3 10 0 0 20 0 1 0 61023889 1572474880 73572 18446744073709551615 93855100874752 93855103499805 140736629481760 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 93855104118680 93855104151642 93855125569536 140736629483935 140736629484039 140736629484039 140736629489641 0
/proc/60741/statm: 383905 73572 1600 641 0 368662 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 1535620 KiB
Current children cumulated memory: 294288 KiB
[startup+0.700342 s]
/proc/loadavg: 0.90 2.81 3.64 5/250 60751
/proc/meminfo: memFree=126282388/131382120 swapFree=33010160/33010684
[pid=60741] ppid=60730 vsize=1535620 memory=1199504 CPUtime=0.5 cores=0,2
/proc/60741/stat : 60741 (ipbhs_gurobi) R 60730 60741 60682 0 -1 4194304 1054 0 19 0 11 39 0 0 20 0 1 0 61023889 1572474880 299364 18446744073709551615 93855100874752 93855103499805 140736629481760 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 93855104118680 93855104151642 93855125569536 140736629483935 140736629484039 140736629484039 140736629489641 0
/proc/60741/statm: 383905 299876 1600 641 0 368662 0
Current children cumulated CPU time: 0.5 s
Current children cumulated vsize: 1535620 KiB
Current children cumulated memory: 1199504 KiB
[startup+1.50023 s]
/proc/loadavg: 0.90 2.81 3.64 4/250 60751
/proc/meminfo: memFree=122461380/131382120 swapFree=33010160/33010684
[pid=60741] ppid=60730 vsize=1583484 memory=1519400 CPUtime=1.3 cores=0,2
/proc/60741/stat : 60741 (ipbhs_gurobi) R 60730 60741 60682 0 -1 4194304 13707 0 19 0 79 51 0 0 20 0 1 0 61023889 1621487616 379850 18446744073709551615 93855100874752 93855103499805 140736629481760 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 93855104118680 93855104151642 93855125569536 140736629483935 140736629484039 140736629484039 140736629489641 0
/proc/60741/statm: 395871 379850 1600 641 0 380628 0
Current children cumulated CPU time: 1.3 s
Current children cumulated vsize: 1583484 KiB
Current children cumulated memory: 1519400 KiB
[startup+3.11261 s]
/proc/loadavg: 0.90 2.81 3.64 5/253 60754
/proc/meminfo: memFree=121542404/131382120 swapFree=33010160/33010684
[pid=60741] ppid=60730 vsize=1763668 memory=1671696 CPUtime=2.9 cores=0,2
/proc/60741/stat : 60741 (ipbhs_gurobi) R 60730 60741 60682 0 -1 4194304 43833 0 19 0 215 75 0 0 20 0 2 0 61023889 1805996032 417924 18446744073709551615 93855100874752 93855103499805 140736629481760 0 0 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 93855104118680 93855104151642 93855125569536 140736629483935 140736629484039 140736629484039 140736629489641 0
/proc/60741/statm: 440917 417924 2240 641 0 423400 0
[pid=60741/tid=60754] ppid=60730 vsize=1763668 memory=16336 CPUtime=0 cores=0,2
/proc/60741/task/60754/stat : 60754 (ipbhs_gurobi) S 60730 60741 60682 0 -1 4194368 1 0 0 0 0 0 0 0 20 0 2 0 61024121 1805996032 417924 18446744073709551615 93855100874752 93855103499805 140736629481760 0 0 0 0 4096 0 1 0 0 -1 2 0 0 0 0 0 93855104118680 93855104151642 93855125569536 140736629483935 140736629484039 140736629484039 140736629489641 0
Current children cumulated CPU time: 2.9 s
Current children cumulated vsize: 1763668 KiB
Current children cumulated memory: 1671696 KiB
[startup+6.30031 s]
/proc/loadavg: 1.15 2.83 3.64 5/254 60755
/proc/meminfo: memFree=120665220/131382120 swapFree=33010160/33010684
[pid=60741] ppid=60730 vsize=2154724 memory=1915840 CPUtime=6.08 cores=0,2
/proc/60741/stat : 60741 (ipbhs_gurobi) R 60730 60741 60682 0 -1 4194304 68242 0 22 0 517 91 0 0 20 0 2 0 61023889 2206437376 478960 18446744073709551615 93855100874752 93855103499805 140736629481760 0 0 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 93855104118680 93855104151642 93855125569536 140736629483935 140736629484039 140736629484039 140736629489641 0
/proc/60741/statm: 538681 478960 3008 641 0 521164 0
[pid=60741/tid=60754] ppid=60730 vsize=2154724 memory=18048 CPUtime=0 cores=0,2
/proc/60741/task/60754/stat : 60754 (ipbhs_gurobi) S 60730 60741 60682 0 -1 4194368 5 0 0 0 0 0 0 0 20 0 2 0 61024121 2206437376 478960 18446744073709551615 93855100874752 93855103499805 140736629481760 0 0 0 0 4096 0 1 0 0 -1 2 0 0 0 0 0 93855104118680 93855104151642 93855125569536 140736629483935 140736629484039 140736629484039 140736629489641 0
Current children cumulated CPU time: 6.08 s
Current children cumulated vsize: 2154724 KiB
Current children cumulated memory: 1915840 KiB
[startup+12.7003 s]
/proc/loadavg: 1.38 2.85 3.65 5/255 60757
/proc/meminfo: memFree=120441160/131382120 swapFree=33010160/33010684
[pid=60741] ppid=60730 vsize=2429128 memory=2041820 CPUtime=12.48 cores=0,2
/proc/60741/stat : 60741 (ipbhs_gurobi) R 60730 60741 60682 0 -1 4194304 155007 0 22 0 1123 125 0 0 20 0 2 0 61023889 2487427072 510455 18446744073709551615 93855100874752 93855103499805 140736629481760 0 0 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 93855104118680 93855104151642 93855125569536 140736629483935 140736629484039 140736629484039 140736629489641 0
/proc/60741/statm: 607282 510455 3328 641 0 589765 0
[pid=60741/tid=60754] ppid=60730 vsize=2429128 memory=2029440 CPUtime=0 cores=0,2
/proc/60741/task/60754/stat : 60754 (ipbhs_gurobi) S 60730 60741 60682 0 -1 4194368 13 0 0 0 0 0 0 0 20 0 2 0 61024121 2487427072 510455 18446744073709551615 93855100874752 93855103499805 140736629481760 0 0 0 0 4096 0 1 0 0 -1 2 0 0 0 0 0 93855104118680 93855104151642 93855125569536 140736629483935 140736629484039 140736629484039 140736629489641 0
Current children cumulated CPU time: 12.48 s
Current children cumulated vsize: 2429128 KiB
Current children cumulated memory: 2041820 KiB
[startup+25.5003 s]
/proc/loadavg: 2.03 2.93 3.66 5/255 60757
/proc/meminfo: memFree=119838884/131382120 swapFree=33010160/33010684
[pid=60741] ppid=60730 vsize=2831472 memory=2445312 CPUtime=25.25 cores=0,2
/proc/60741/stat : 60741 (ipbhs_gurobi) R 60730 60741 60682 0 -1 4194304 299529 0 27 0 2365 160 0 0 20 0 2 0 61023889 2899427328 611328 18446744073709551615 93855100874752 93855103499805 140736629481760 0 0 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 93855104118680 93855104151642 93855125569536 140736629483935 140736629484039 140736629484039 140736629489641 0
/proc/60741/statm: 707868 611328 3616 641 0 690351 0
[pid=60741/tid=60754] ppid=60730 vsize=2831472 memory=2363076 CPUtime=0.02 cores=0,2
/proc/60741/task/60754/stat : 60754 (ipbhs_gurobi) S 60730 60741 60682 0 -1 4194368 15 0 0 0 1 1 0 0 20 0 2 0 61024121 2899427328 611328 18446744073709551615 93855100874752 93855103499805 140736629481760 0 0 0 0 4096 0 1 0 0 -1 2 0 0 0 0 0 93855104118680 93855104151642 93855125569536 140736629483935 140736629484039 140736629484039 140736629489641 0
Current children cumulated CPU time: 25.25 s
Current children cumulated vsize: 2831472 KiB
Current children cumulated memory: 2445312 KiB
[startup+46.8894 s]
# the end of solver process 60741 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=44.8704 s, system=1.72919 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+25.6004 s]
/proc/loadavg: 2.03 2.93 3.66 5/255 60757
/proc/meminfo: memFree=119838884/131382120 swapFree=33010160/33010684
[pid=60741] ppid=60730 vsize=2831472 memory=2445312 CPUtime=25.35 cores=0,2
/proc/60741/stat : 60741 (ipbhs_gurobi) R 60730 60741 60682 0 -1 4194304 301096 0 27 0 2375 160 0 0 20 0 2 0 61023889 2899427328 611328 18446744073709551615 93855100874752 93855103499805 140736629481760 0 0 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 93855104118680 93855104151642 93855125569536 140736629483935 140736629484039 140736629484039 140736629489641 0
/proc/60741/statm: 707868 611328 3616 641 0 690351 0
[pid=60741/tid=60754] ppid=60730 vsize=2831472 memory=16336 CPUtime=0.02 cores=0,2
/proc/60741/task/60754/stat : 60754 (ipbhs_gurobi) S 60730 60741 60682 0 -1 4194368 15 0 0 0 1 1 0 0 20 0 2 0 61024121 2899427328 611328 18446744073709551615 93855100874752 93855103499805 140736629481760 0 0 0 0 4096 0 1 0 0 -1 2 0 0 0 0 0 93855104118680 93855104151642 93855125569536 140736629483935 140736629484039 140736629484039 140736629489641 0
Current children cumulated CPU time: 25.35 s
Current children cumulated vsize: 2831472 KiB
Current children cumulated memory: 2445312 KiB
[startup+38.4003 s]
/proc/loadavg: 2.33 2.96 3.66 5/255 60757
/proc/meminfo: memFree=119750180/131382120 swapFree=33010160/33010684
[pid=60741] ppid=60730 vsize=2655780 memory=2411120 CPUtime=38.13 cores=0,2
/proc/60741/stat : 60741 (ipbhs_gurobi) R 60730 60741 60682 0 -1 4194304 350911 0 28 0 3647 166 0 0 20 0 2 0 61023889 2719518720 602780 18446744073709551615 93855100874752 93855103499805 140736629481760 0 0 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 93855104118680 93855104151642 93855125569536 140736629483935 140736629484039 140736629484039 140736629489641 0
/proc/60741/statm: 663945 602780 3616 641 0 646428 0
[pid=60741/tid=60754] ppid=60730 vsize=2655780 memory=2411120 CPUtime=0.04 cores=0,2
/proc/60741/task/60754/stat : 60754 (ipbhs_gurobi) S 60730 60741 60682 0 -1 4194368 18 0 0 0 2 2 0 0 20 0 2 0 61024121 2719518720 602780 18446744073709551615 93855100874752 93855103499805 140736629481760 0 0 0 0 4096 0 1 0 0 -1 2 0 0 0 0 0 93855104118680 93855104151642 93855125569536 140736629483935 140736629484039 140736629484039 140736629489641 0
Current children cumulated CPU time: 38.13 s
Current children cumulated vsize: 2655780 KiB
Current children cumulated memory: 2411120 KiB
[startup+41.6003 s]
/proc/loadavg: 2.47 2.98 3.66 5/255 60757
/proc/meminfo: memFree=119732064/131382120 swapFree=33010160/33010684
[pid=60741] ppid=60730 vsize=2655780 memory=2411120 CPUtime=41.33 cores=0,2
/proc/60741/stat : 60741 (ipbhs_gurobi) R 60730 60741 60682 0 -1 4194304 354210 0 28 0 3966 167 0 0 20 0 2 0 61023889 2719518720 602780 18446744073709551615 93855100874752 93855103499805 140736629481760 0 0 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 93855104118680 93855104151642 93855125569536 140736629483935 140736629484039 140736629484039 140736629489641 0
/proc/60741/statm: 663945 602780 3616 641 0 646428 0
[pid=60741/tid=60754] ppid=60730 vsize=2655780 memory=2411120 CPUtime=0.05 cores=0,2
/proc/60741/task/60754/stat : 60754 (ipbhs_gurobi) S 60730 60741 60682 0 -1 4194368 18 0 0 0 2 3 0 0 20 0 2 0 61024121 2719518720 602780 18446744073709551615 93855100874752 93855103499805 140736629481760 0 0 0 0 4096 0 1 0 0 -1 2 0 0 0 0 0 93855104118680 93855104151642 93855125569536 140736629483935 140736629484039 140736629484039 140736629489641 0
Current children cumulated CPU time: 41.33 s
Current children cumulated vsize: 2655780 KiB
Current children cumulated memory: 2411120 KiB
[startup+44.8003 s]
/proc/loadavg: 2.59 3.00 3.66 5/255 60757
/proc/meminfo: memFree=119540328/131382120 swapFree=33010160/33010684
[pid=60741] ppid=60730 vsize=2655780 memory=2411120 CPUtime=44.53 cores=0,2
/proc/60741/stat : 60741 (ipbhs_gurobi) R 60730 60741 60682 0 -1 4194304 354248 0 28 0 4285 168 0 0 20 0 2 0 61023889 2719518720 602780 18446744073709551615 93855100874752 93855103499805 140736629481760 0 0 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 93855104118680 93855104151642 93855125569536 140736629483935 140736629484039 140736629484039 140736629489641 0
/proc/60741/statm: 663945 602780 3616 641 0 646428 0
[pid=60741/tid=60754] ppid=60730 vsize=2655780 memory=2411120 CPUtime=0.05 cores=0,2
/proc/60741/task/60754/stat : 60754 (ipbhs_gurobi) S 60730 60741 60682 0 -1 4194368 18 0 0 0 2 3 0 0 20 0 2 0 61024121 2719518720 602780 18446744073709551615 93855100874752 93855103499805 140736629481760 0 0 0 0 4096 0 1 0 0 -1 2 0 0 0 0 0 93855104118680 93855104151642 93855125569536 140736629483935 140736629484039 140736629484039 140736629489641 0
Current children cumulated CPU time: 44.53 s
Current children cumulated vsize: 2655780 KiB
Current children cumulated memory: 2411120 KiB
[startup+45.6003 s]
/proc/loadavg: 2.59 3.00 3.66 5/255 60757
/proc/meminfo: memFree=119556956/131382120 swapFree=33010160/33010684
[pid=60741] ppid=60730 vsize=2655780 memory=2411120 CPUtime=45.33 cores=0,2
/proc/60741/stat : 60741 (ipbhs_gurobi) R 60730 60741 60682 0 -1 4194304 354346 0 28 0 4365 168 0 0 20 0 2 0 61023889 2719518720 602780 18446744073709551615 93855100874752 93855103499805 140736629481760 0 0 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 93855104118680 93855104151642 93855125569536 140736629483935 140736629484039 140736629484039 140736629489641 0
/proc/60741/statm: 663945 602780 3616 641 0 646428 0
[pid=60741/tid=60754] ppid=60730 vsize=2655780 memory=18048 CPUtime=0.05 cores=0,2
/proc/60741/task/60754/stat : 60754 (ipbhs_gurobi) S 60730 60741 60682 0 -1 4194368 18 0 0 0 2 3 0 0 20 0 2 0 61024121 2719518720 602780 18446744073709551615 93855100874752 93855103499805 140736629481760 0 0 0 0 4096 0 1 0 0 -1 2 0 0 0 0 0 93855104118680 93855104151642 93855125569536 140736629483935 140736629484039 140736629484039 140736629489641 0
Current children cumulated CPU time: 45.33 s
Current children cumulated vsize: 2655780 KiB
Current children cumulated memory: 2411120 KiB
[startup+46.4003 s]
/proc/loadavg: 2.59 3.00 3.66 5/255 60757
/proc/meminfo: memFree=119550680/131382120 swapFree=33010160/33010684
[pid=60741] ppid=60730 vsize=2655780 memory=2411120 CPUtime=46.12 cores=0,2
/proc/60741/stat : 60741 (ipbhs_gurobi) R 60730 60741 60682 0 -1 4194304 360080 0 28 0 4444 168 0 0 20 0 2 0 61023889 2719518720 602780 18446744073709551615 93855100874752 93855103499805 140736629481760 0 0 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 93855104118680 93855104151642 93855125569536 140736629483935 140736629484039 140736629484039 140736629489641 0
/proc/60741/statm: 663945 602780 3616 641 0 646428 0
[pid=60741/tid=60754] ppid=60730 vsize=2655780 memory=12416 CPUtime=0.05 cores=0,2
/proc/60741/task/60754/stat : 60754 (ipbhs_gurobi) S 60730 60741 60682 0 -1 4194368 18 0 0 0 2 3 0 0 20 0 2 0 61024121 2719518720 602780 18446744073709551615 93855100874752 93855103499805 140736629481760 0 0 0 0 4096 0 1 0 0 -1 2 0 0 0 0 0 93855104118680 93855104151642 93855125569536 140736629483935 140736629484039 140736629484039 140736629489641 0
Current children cumulated CPU time: 46.12 s
Current children cumulated vsize: 2655780 KiB
Current children cumulated memory: 2411120 KiB
[startup+46.8003 s]
/proc/loadavg: 2.59 3.00 3.66 5/255 60757
/proc/meminfo: memFree=119550680/131382120 swapFree=33010160/33010684
[pid=60741] ppid=60730 vsize=2655780 memory=2411120 CPUtime=46.52 cores=0,2
/proc/60741/stat : 60741 (ipbhs_gurobi) R 60730 60741 60682 0 -1 4194304 368020 0 28 0 4483 169 0 0 20 0 2 0 61023889 2719518720 602780 18446744073709551615 93855100874752 93855103499805 140736629481760 0 0 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 93855104118680 93855104151642 93855125569536 140736629483935 140736629484039 140736629484039 140736629489641 0
/proc/60741/statm: 663945 602780 3616 641 0 646428 0
[pid=60741/tid=60754] ppid=60730 vsize=2655780 memory=2760 CPUtime=0.05 cores=0,2
/proc/60741/task/60754/stat : 60754 (ipbhs_gurobi) S 60730 60741 60682 0 -1 4194368 18 0 0 0 2 3 0 0 20 0 2 0 61024121 2719518720 602780 18446744073709551615 93855100874752 93855103499805 140736629481760 0 0 0 0 4096 0 1 0 0 -1 2 0 0 0 0 0 93855104118680 93855104151642 93855125569536 140736629483935 140736629484039 140736629484039 140736629489641 0
Current children cumulated CPU time: 46.52 s
Current children cumulated vsize: 2655780 KiB
Current children cumulated memory: 2411120 KiB
Child status: 0
Real time (s): 46.8895
CPU time (s): 46.5996
CPU user time (s): 44.8704
CPU system time (s): 1.72919
CPU usage (%): 99.3818
Max. virtual memory (cumulated for all children) (KiB): 3179808
Max. memory (cumulated for all children) (KiB): 2512340
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 44.8704
system time used= 1.72919
maximum resident set size= 2516820
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 387563
page faults= 30
swaps= 0
block input operations= 2256
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4661
involuntary context switches= 107
# summary of solver processes directly reported to runsolver:
# pid: 60741
# total CPU time (s): 46.5996
# total CPU user time (s): 44.8704
# total CPU system time (s): 1.72919
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.277718 second user time and 0.511112 second system time
The end
Begin job on nodeC008 at 2025-07-02 12:50:47
IDJOB=4502998
IDBENCH=155403
IDSOLVER=3333
FILE ID=nodeC008/4502998-1751453447
RUNJOBID= nodeC008-1751453447-60692
SLURM_JOB_ID= 9598441
Free space on /tmp= 432644 MiB
SOLVER NAME= IPBHS-GUROBI 2025-06-09
BENCH NAME= PB24/normalized-PB11/OPT-LIN/kullmann/normalized-mul_8_3_shg.opb
COMMAND LINE= ./ipbhs_gurobi BENCHNAME --max-coef 1000000000
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4502998-1751453447/watcher-4502998-1751453447 -o /tmp/evaluation-result-4502998-1751453447/solver-4502998-1751453447 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1751453447-60692 --watchdog 3760 ./ipbhs_gurobi HOME/instance-4502998-1751453447.opb --max-coef 1000000000
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 9f3f50f555350d326304759fc873d478
RANDOM SEED=1356161381
nodeC008 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.211
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 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.72
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.711
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 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.72
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.201
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 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.72
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.207
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 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.72
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.187
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 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.72
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 : 1995.349
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 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.72
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.301
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 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.72
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.224
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 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.72
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131382120 kB
MemFree: 128940044 kB
MemAvailable: 129918056 kB
Buffers: 2144 kB
Cached: 1774888 kB
SwapCached: 16 kB
Active: 292272 kB
Inactive: 1556364 kB
Active(anon): 52896 kB
Inactive(anon): 36628 kB
Active(file): 239376 kB
Inactive(file): 1519736 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010160 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 303532 kB
Writeback: 0 kB
AnonPages: 74656 kB
Mapped: 103332 kB
Shmem: 17920 kB
KReclaimable: 117056 kB
Slab: 200764 kB
SReclaimable: 117056 kB
SUnreclaim: 83708 kB
KernelStack: 3856 kB
PageTables: 2820 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701744 kB
Committed_AS: 333280 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149288 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 14336 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
CmaTotal: 0 kB
CmaFree: 0 kB
Unaccepted: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 181064 kB
DirectMap2M: 9158656 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 432524 MiB
End job on nodeC008 at 2025-07-02 12:51:35