0.00/0.01 c initialize IPBHS solver
0.00/0.01 c IPBHS 0.0.0 beta (8d0f613-dirty, Jun 3 2025 11:36:14), compiled with satsolvers: , optimizers: , GreedyOptimizer, SCIP 10.0.0, RoundingSat 2, , , pbsolvers: RoundingSat 2, BreakID 0.0.0
0.00/0.01 c optimizer = "scip"
0.00/0.01 c pbsolver = "roundingsat"
0.00/0.01 c use separate pbsolver for SIS
0.00/0.01 c load symmetries from file ""
0.00/0.01 c set time limit for symmetry computation to 100 seconds.
0.00/0.01 c set interchangeable summation variable limit to 3
0.00/0.01 c set sym compact max subset size to 5
0.00/0.01 c set explicit symmetry matrix usage to 1
0.00/0.01 c sym budget explicit to 100
0.00/0.01 c sym budget explicit lits to 6000
0.00/0.01 c sym budget compact to 100
0.00/0.01 c sym budget compact lits to 6000
0.00/0.01 c sym budget common to 0
0.00/0.01 c sym budget common lits to 0
0.00/0.01 c set sym generation to 's'
0.00/0.01 c set abstraction set creation to 10 iterations without LB change
0.00/0.01 c set abstraction set inputs to 0
0.00/0.01 c set abstraction set cluster min size to 2
0.00/0.01 c set abstraction set cluster max size to 100000000
0.00/0.01 c set abstraction set cluster activation limit to 2
0.00/0.01 c enable abstraction set require equal cost
0.00/0.01 c set abstraction set assumptions to 0
0.00/0.01 c set abstraction set constraint type to 0
0.00/0.01 c set abstract core extraction strategy to b
0.00/0.01 c set core extraction strategy to 2
0.00/0.01 c set core extraction shuffles 10
0.00/0.01 c set cores per iteration to 5
0.00/0.01 c set optimizer bound usage strategy to 2
0.00/0.01 c set optimizer max non-optimal iterations to 1000
0.00/0.01 c set small core cardinality limit to 2
0.00/0.01 c set max coef in cores to 1000000000
0.00/0.01 c set core processing techniques to 4095
0.00/0.01 c set SIS iterations to 5
0.00/0.01 c set SIS budget abs to 1000
0.00/0.01 c set SIS budget rel to 0.05
1.09/1.10 c limit for coefficient in constraints and objective to 1000000000
1.09/1.10 c will solve HOME/instance-4503000-1751432156.opb
1.09/1.10 c [0] will start solving
879.91/882.69 c [0.4] solve iteration 1, LB=0, UB=5049
879.91/882.69 c [166.72] solve iteration 2, LB=32, UB=36
879.91/882.69 c [877.33] LB=UB after computing candidate
879.91/882.69 c [877.33] instance solved in 877.33s (optimization: 561.9s, core-extraction: 0.07s, SIS: 0s), 2 iterations, LB=36, UB=36,
879.91/882.69 d ITERATIONS 2
879.91/882.69 d SIS 0
879.91/882.69 d SIS_SAT 0
879.91/882.69 d SIS_UNSAT 0
879.91/882.69 d SIS_OUT_OF_BUDGET 0
879.91/882.69 d CORES_EXTRACTED 0
879.91/882.69 d CORES_IN_OPTIMIZER 0
879.91/882.69 d CLAUSAL_CORES_IN_OPTIMIZER 0
879.91/882.69 d CARDINALITY_CORES_IN_OPTIMIZER 0
879.91/882.69 d PB_CORES_IN_OPTIMIZER 0
879.91/882.69 d TIME_EXTRACT_CORES 0.070000
879.91/882.69 d TIME_OPTIMIZE 561.900000
879.91/882.69 d TIME_SIS 0.000000
879.91/882.69 c solve_time: 877.330000
879.91/882.69 s OPTIMUM FOUND
879.91/882.69 o 36
879.91/882.69 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: 63665 MiB (61602 MiB free)
memory of node 1: 64507 MiB (63403 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4503000-1751432156/watcher-4503000-1751432156 -o /tmp/evaluation-result-4503000-1751432156/solver-4503000-1751432156 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC013-1751428542-66637 --watchdog 3760 ./ipbhs_scip HOME/instance-4503000-1751432156.opb --optimizer scip --max-coef 1000000000
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=67123, runsolver pid=67120
Current StackSize limit: 8192 KiB
[startup+0.100059 s]*
/proc/loadavg: 4.24 4.14 4.10 4/258 67128
/proc/meminfo: memFree=127952788/131250000 swapFree=33010684/33010684
[pid=67123] ppid=67120 vsize=52172 memory=17980 CPUtime=0.09 cores=5,7
/proc/67123/stat : 67123 (ipbhs_scip) R 67120 67123 66624 0 -1 4194304 3233 0 0 0 9 0 0 0 20 0 1 0 58895842 53424128 4495 18446744073709551615 93950451691520 93950463117917 140723613805408 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 93950465253592 93950465298610 93950493454336 140723613813138 140723613813257 140723613813257 140723613818859 0
/proc/67123/statm: 13043 4495 1600 2790 0 6468 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 52172 KiB
Current children cumulated memory: 17980 KiB
[startup+0.204618 s]*
/proc/loadavg: 4.24 4.14 4.10 5/260 67133
/proc/meminfo: memFree=127899560/131250000 swapFree=33010684/33010684
[pid=67123] ppid=67120 vsize=63900 memory=29500 CPUtime=0.19 cores=5,7
/proc/67123/stat : 67123 (ipbhs_scip) R 67120 67123 66624 0 -1 4194304 6293 0 0 0 18 1 0 0 20 0 1 0 58895842 65433600 7375 18446744073709551615 93950451691520 93950463117917 140723613805408 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 93950465253592 93950465298610 93950493454336 140723613813138 140723613813257 140723613813257 140723613818859 0
/proc/67123/statm: 15975 7375 1600 2790 0 9400 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 63900 KiB
Current children cumulated memory: 29500 KiB
[startup+0.305314 s]*
/proc/loadavg: 4.24 4.14 4.10 5/260 67133
/proc/meminfo: memFree=127843376/131250000 swapFree=33010684/33010684
[pid=67123] ppid=67120 vsize=74592 memory=40636 CPUtime=0.29 cores=5,7
/proc/67123/stat : 67123 (ipbhs_scip) R 67120 67123 66624 0 -1 4194304 9074 0 0 0 28 1 0 0 20 0 1 0 58895842 76382208 10159 18446744073709551615 93950451691520 93950463117917 140723613805408 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 93950465253592 93950465298610 93950493454336 140723613813138 140723613813257 140723613813257 140723613818859 0
/proc/67123/statm: 18648 10159 1600 2790 0 12073 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 74592 KiB
Current children cumulated memory: 40636 KiB
[startup+0.700173 s]
/proc/loadavg: 4.24 4.14 4.10 5/260 67133
/proc/meminfo: memFree=127719032/131250000 swapFree=33010684/33010684
[pid=67123] ppid=67120 vsize=111648 memory=82880 CPUtime=0.68 cores=5,7
/proc/67123/stat : 67123 (ipbhs_scip) R 67120 67123 66624 0 -1 4194304 18845 0 0 0 63 5 0 0 20 0 1 0 58895842 114327552 20720 18446744073709551615 93950451691520 93950463117917 140723613805408 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 93950465253592 93950465298610 93950493454336 140723613813138 140723613813257 140723613813257 140723613818859 0
/proc/67123/statm: 27912 20720 1696 2790 0 21337 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 111648 KiB
Current children cumulated memory: 82880 KiB
[startup+1.50018 s]
/proc/loadavg: 4.24 4.14 4.10 5/260 67133
/proc/meminfo: memFree=127456912/131250000 swapFree=33010684/33010684
[pid=67123] ppid=67120 vsize=267588 memory=233356 CPUtime=1.48 cores=5,7
/proc/67123/stat : 67123 (ipbhs_scip) R 67120 67123 66624 0 -1 4194304 52995 0 0 0 126 22 0 0 20 0 1 0 58895842 274010112 58339 18446744073709551615 93950451691520 93950463117917 140723613805408 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 93950465253592 93950465298610 93950493454336 140723613813138 140723613813257 140723613813257 140723613818859 0
/proc/67123/statm: 66897 58339 3200 2790 0 60322 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 267588 KiB
Current children cumulated memory: 233356 KiB
[startup+3.1052 s]
/proc/loadavg: 4.24 4.14 4.10 5/263 67143
/proc/meminfo: memFree=126049696/131250000 swapFree=33010684/33010684
[pid=67123] ppid=67120 vsize=711388 memory=669400 CPUtime=3.08 cores=5,7
/proc/67123/stat : 67123 (ipbhs_scip) R 67120 67123 66624 0 -1 4194304 147559 0 0 0 264 44 0 0 20 0 1 0 58895842 728461312 167350 18446744073709551615 93950451691520 93950463117917 140723613805408 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 93950465253592 93950465298610 93950493454336 140723613813138 140723613813257 140723613813257 140723613818859 0
/proc/67123/statm: 177847 167350 3520 2790 0 171272 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 711388 KiB
Current children cumulated memory: 669400 KiB
[startup+6.30018 s]
/proc/loadavg: 4.22 4.14 4.10 5/263 67143
/proc/meminfo: memFree=124484664/131250000 swapFree=33010684/33010684
[pid=67123] ppid=67120 vsize=1587804 memory=1386920 CPUtime=6.27 cores=5,7
/proc/67123/stat : 67123 (ipbhs_scip) R 67120 67123 66624 0 -1 4194304 162030 0 0 0 569 58 0 0 20 0 1 0 58895842 1625911296 346730 18446744073709551615 93950451691520 93950463117917 140723613805408 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 93950465253592 93950465298610 93950493454336 140723613813138 140723613813257 140723613813257 140723613818859 0
/proc/67123/statm: 396951 346730 3520 2790 0 390376 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 1587804 KiB
Current children cumulated memory: 1386920 KiB
[startup+12.7002 s]
/proc/loadavg: 4.29 4.16 4.10 5/263 67143
/proc/meminfo: memFree=121683356/131250000 swapFree=33010684/33010684
[pid=67123] ppid=67120 vsize=2182640 memory=2000768 CPUtime=12.65 cores=5,7
/proc/67123/stat : 67123 (ipbhs_scip) R 67120 67123 66624 0 -1 4194304 247672 0 0 0 1182 83 0 0 20 0 1 0 58895842 2235023360 500192 18446744073709551615 93950451691520 93950463117917 140723613805408 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 93950465253592 93950465298610 93950493454336 140723613813138 140723613813257 140723613813257 140723613818859 0
/proc/67123/statm: 545660 500192 3680 2790 0 539085 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 2182640 KiB
Current children cumulated memory: 2000768 KiB
[startup+25.5002 s]
/proc/loadavg: 4.29 4.17 4.11 5/263 67143
/proc/meminfo: memFree=119210716/131250000 swapFree=33010684/33010684
[pid=67123] ppid=67120 vsize=2192368 memory=2002944 CPUtime=25.42 cores=5,7
/proc/67123/stat : 67123 (ipbhs_scip) R 67120 67123 66624 0 -1 4194304 248240 0 0 0 2459 83 0 0 20 0 1 0 58895842 2244984832 500736 18446744073709551615 93950451691520 93950463117917 140723613805408 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 93950465253592 93950465298610 93950493454336 140723613813138 140723613813257 140723613813257 140723613818859 0
/proc/67123/statm: 548092 500736 3680 2790 0 541517 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 2192368 KiB
Current children cumulated memory: 2002944 KiB
[startup+51.1056 s]
/proc/loadavg: 4.26 4.17 4.11 5/263 67144
/proc/meminfo: memFree=111391356/131250000 swapFree=33010684/33010684
[pid=67123] ppid=67120 vsize=2242224 memory=2046156 CPUtime=50.93 cores=5,7
/proc/67123/stat : 67123 (ipbhs_scip) R 67120 67123 66624 0 -1 4194304 249817 0 0 0 5010 83 0 0 20 0 1 0 58895842 2296037376 511539 18446744073709551615 93950451691520 93950463117917 140723613805408 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 93950465253592 93950465298610 93950493454336 140723613813138 140723613813257 140723613813257 140723613818859 0
/proc/67123/statm: 560556 511539 3680 2790 0 553981 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 2242224 KiB
Current children cumulated memory: 2046156 KiB
[startup+102.3 s]
/proc/loadavg: 4.18 4.16 4.10 5/263 67146
/proc/meminfo: memFree=108395320/131250000 swapFree=33010684/33010684
[pid=67123] ppid=67120 vsize=2242224 memory=2046156 CPUtime=101.95 cores=5,7
/proc/67123/stat : 67123 (ipbhs_scip) R 67120 67123 66624 0 -1 4194304 249853 0 0 0 10112 83 0 0 20 0 1 0 58895842 2296037376 511539 18446744073709551615 93950451691520 93950463117917 140723613805408 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 93950465253592 93950465298610 93950493454336 140723613813138 140723613813257 140723613813257 140723613818859 0
/proc/67123/statm: 560556 511539 3680 2790 0 553981 0
Current children cumulated CPU time: 101.95 s
Current children cumulated vsize: 2242224 KiB
Current children cumulated memory: 2046156 KiB
[startup+162.3 s]
/proc/loadavg: 4.11 4.14 4.10 5/263 67192
/proc/meminfo: memFree=91613728/131250000 swapFree=33010684/33010684
[pid=67123] ppid=67120 vsize=2414004 memory=2224248 CPUtime=161.76 cores=5,7
/proc/67123/stat : 67123 (ipbhs_scip) R 67120 67123 66624 0 -1 4194304 306113 0 0 0 16083 93 0 0 20 0 1 0 58895842 2471940096 556062 18446744073709551615 93950451691520 93950463117917 140723613805408 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 93950465253592 93950465298610 93950493454336 140723613813138 140723613813257 140723613813257 140723613818859 0
/proc/67123/statm: 603501 556062 3712 2790 0 596926 0
Current children cumulated CPU time: 161.76 s
Current children cumulated vsize: 2414004 KiB
Current children cumulated memory: 2224248 KiB
[startup+222.3 s]
/proc/loadavg: 4.22 4.17 4.11 5/265 67248
/proc/meminfo: memFree=114262992/131250000 swapFree=33010684/33010684
[pid=67123] ppid=67120 vsize=3919772 memory=3593800 CPUtime=221.57 cores=5,7
/proc/67123/stat : 67123 (ipbhs_scip) R 67120 67123 66624 0 -1 4194304 442511 0 0 0 22005 152 0 0 20 0 1 0 58895842 4013846528 898450 18446744073709551615 93950451691520 93950463117917 140723613805408 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 93950465253592 93950465298610 93950493454336 140723613813138 140723613813257 140723613813257 140723613818859 0
/proc/67123/statm: 979943 898450 3712 2790 0 973368 0
Current children cumulated CPU time: 221.57 s
Current children cumulated vsize: 3919772 KiB
Current children cumulated memory: 3593800 KiB
[startup+282.3 s]
/proc/loadavg: 4.14 4.15 4.10 5/265 67250
/proc/meminfo: memFree=114194216/131250000 swapFree=33010684/33010684
[pid=67123] ppid=67120 vsize=3919772 memory=3593928 CPUtime=281.38 cores=5,7
/proc/67123/stat : 67123 (ipbhs_scip) R 67120 67123 66624 0 -1 4194304 442528 0 0 0 27986 152 0 0 20 0 1 0 58895842 4013846528 898482 18446744073709551615 93950451691520 93950463117917 140723613805408 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 93950465253592 93950465298610 93950493454336 140723613813138 140723613813257 140723613813257 140723613818859 0
/proc/67123/statm: 979943 898482 3712 2790 0 973368 0
Current children cumulated CPU time: 281.38 s
Current children cumulated vsize: 3919772 KiB
Current children cumulated memory: 3593928 KiB
[startup+342.3 s]
/proc/loadavg: 4.17 4.16 4.10 5/265 67263
/proc/meminfo: memFree=114049220/131250000 swapFree=33010684/33010684
[pid=67123] ppid=67120 vsize=3911720 memory=3614480 CPUtime=341.19 cores=5,7
/proc/67123/stat : 67123 (ipbhs_scip) R 67120 67123 66624 0 -1 4194304 492487 0 0 0 33949 170 0 0 20 0 1 0 58895842 4005601280 903620 18446744073709551615 93950451691520 93950463117917 140723613805408 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 93950465253592 93950465298610 93950493454336 140723613813138 140723613813257 140723613813257 140723613818859 0
/proc/67123/statm: 977930 903620 3712 2790 0 971355 0
Current children cumulated CPU time: 341.19 s
Current children cumulated vsize: 3911720 KiB
Current children cumulated memory: 3614480 KiB
[startup+402.3 s]
/proc/loadavg: 4.12 4.14 4.10 5/265 67269
/proc/meminfo: memFree=114028684/131250000 swapFree=33010684/33010684
[pid=67123] ppid=67120 vsize=3911720 memory=3614480 CPUtime=401 cores=5,7
/proc/67123/stat : 67123 (ipbhs_scip) R 67120 67123 66624 0 -1 4194304 492491 0 0 0 39930 170 0 0 20 0 1 0 58895842 4005601280 903620 18446744073709551615 93950451691520 93950463117917 140723613805408 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 93950465253592 93950465298610 93950493454336 140723613813138 140723613813257 140723613813257 140723613818859 0
/proc/67123/statm: 977930 903620 3712 2790 0 971355 0
Current children cumulated CPU time: 401 s
Current children cumulated vsize: 3911720 KiB
Current children cumulated memory: 3614480 KiB
[startup+462.3 s]
/proc/loadavg: 4.09 4.13 4.09 5/265 67271
/proc/meminfo: memFree=113977584/131250000 swapFree=33010684/33010684
[pid=67123] ppid=67120 vsize=3911720 memory=3614480 CPUtime=460.81 cores=5,7
/proc/67123/stat : 67123 (ipbhs_scip) R 67120 67123 66624 0 -1 4194304 492492 0 0 0 45911 170 0 0 20 0 1 0 58895842 4005601280 903620 18446744073709551615 93950451691520 93950463117917 140723613805408 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 93950465253592 93950465298610 93950493454336 140723613813138 140723613813257 140723613813257 140723613818859 0
/proc/67123/statm: 977930 903620 3712 2790 0 971355 0
Current children cumulated CPU time: 460.81 s
Current children cumulated vsize: 3911720 KiB
Current children cumulated memory: 3614480 KiB
[startup+522.3 s]
/proc/loadavg: 4.15 4.13 4.09 5/263 67272
/proc/meminfo: memFree=111760060/131250000 swapFree=33010684/33010684
[pid=67123] ppid=67120 vsize=3911720 memory=3615632 CPUtime=520.62 cores=5,7
/proc/67123/stat : 67123 (ipbhs_scip) R 67120 67123 66624 0 -1 4194304 492528 0 0 0 51892 170 0 0 20 0 1 0 58895842 4005601280 903908 18446744073709551615 93950451691520 93950463117917 140723613805408 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 93950465253592 93950465298610 93950493454336 140723613813138 140723613813257 140723613813257 140723613818859 0
/proc/67123/statm: 977930 903908 3712 2790 0 971355 0
Current children cumulated CPU time: 520.62 s
Current children cumulated vsize: 3911720 KiB
Current children cumulated memory: 3615632 KiB
[startup+582.3 s]
/proc/loadavg: 4.11 4.12 4.09 5/263 67274
/proc/meminfo: memFree=111506336/131250000 swapFree=33010684/33010684
[pid=67123] ppid=67120 vsize=3928468 memory=3632700 CPUtime=580.43 cores=5,7
/proc/67123/stat : 67123 (ipbhs_scip) R 67120 67123 66624 0 -1 4194304 493675 0 0 0 57871 172 0 0 20 0 1 0 58895842 4022751232 908175 18446744073709551615 93950451691520 93950463117917 140723613805408 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 93950465253592 93950465298610 93950493454336 140723613813138 140723613813257 140723613813257 140723613818859 0
/proc/67123/statm: 982117 908175 3744 2790 0 975542 0
Current children cumulated CPU time: 580.43 s
Current children cumulated vsize: 3928468 KiB
Current children cumulated memory: 3632700 KiB
[startup+642.3 s]
/proc/loadavg: 4.08 4.11 4.09 5/263 67278
/proc/meminfo: memFree=111573004/131250000 swapFree=33010684/33010684
[pid=67123] ppid=67120 vsize=3928468 memory=3633084 CPUtime=640.26 cores=5,7
/proc/67123/stat : 67123 (ipbhs_scip) R 67120 67123 66624 0 -1 4194304 493708 0 0 0 63854 172 0 0 20 0 1 0 58895842 4022751232 908271 18446744073709551615 93950451691520 93950463117917 140723613805408 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 93950465253592 93950465298610 93950493454336 140723613813138 140723613813257 140723613813257 140723613818859 0
/proc/67123/statm: 982117 908271 3744 2790 0 975542 0
Current children cumulated CPU time: 640.26 s
Current children cumulated vsize: 3928468 KiB
Current children cumulated memory: 3633084 KiB
[startup+702.3 s]
/proc/loadavg: 4.13 4.12 4.09 5/263 67280
/proc/meminfo: memFree=111574512/131250000 swapFree=33010684/33010684
[pid=67123] ppid=67120 vsize=3928468 memory=3633084 CPUtime=700.1 cores=5,7
/proc/67123/stat : 67123 (ipbhs_scip) R 67120 67123 66624 0 -1 4194304 493710 0 0 0 69838 172 0 0 20 0 1 0 58895842 4022751232 908271 18446744073709551615 93950451691520 93950463117917 140723613805408 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 93950465253592 93950465298610 93950493454336 140723613813138 140723613813257 140723613813257 140723613818859 0
/proc/67123/statm: 982117 908271 3744 2790 0 975542 0
Current children cumulated CPU time: 700.1 s
Current children cumulated vsize: 3928468 KiB
Current children cumulated memory: 3633084 KiB
[startup+762.3 s]
/proc/loadavg: 4.13 4.12 4.09 5/263 67282
/proc/meminfo: memFree=111574424/131250000 swapFree=33010684/33010684
[pid=67123] ppid=67120 vsize=3941552 memory=3638356 CPUtime=759.94 cores=5,7
/proc/67123/stat : 67123 (ipbhs_scip) R 67120 67123 66624 0 -1 4194304 493935 0 0 0 75822 172 0 0 20 0 1 0 58895842 4036149248 909589 18446744073709551615 93950451691520 93950463117917 140723613805408 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 93950465253592 93950465298610 93950493454336 140723613813138 140723613813257 140723613813257 140723613818859 0
/proc/67123/statm: 985388 909589 3744 2790 0 978813 0
Current children cumulated CPU time: 759.94 s
Current children cumulated vsize: 3941552 KiB
Current children cumulated memory: 3638356 KiB
[startup+822.3 s]
/proc/loadavg: 4.12 4.12 4.09 5/262 67284
/proc/meminfo: memFree=111593844/131250000 swapFree=33010684/33010684
[pid=67123] ppid=67120 vsize=3953796 memory=3642836 CPUtime=819.77 cores=5,7
/proc/67123/stat : 67123 (ipbhs_scip) R 67120 67123 66624 0 -1 4194304 493944 0 0 0 81805 172 0 0 20 0 1 0 58895842 4048687104 910709 18446744073709551615 93950451691520 93950463117917 140723613805408 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 93950465253592 93950465298610 93950493454336 140723613813138 140723613813257 140723613813257 140723613818859 0
/proc/67123/statm: 988449 910709 3744 2790 0 981874 0
Current children cumulated CPU time: 819.77 s
Current children cumulated vsize: 3953796 KiB
Current children cumulated memory: 3642836 KiB
[startup+882.3 s]
/proc/loadavg: 4.43 4.20 4.12 5/262 67286
/proc/meminfo: memFree=111602064/131250000 swapFree=33010684/33010684
[pid=67123] ppid=67120 vsize=3972168 memory=3649112 CPUtime=879.61 cores=5,7
/proc/67123/stat : 67123 (ipbhs_scip) R 67120 67123 66624 0 -1 4194304 493994 0 0 0 87789 172 0 0 20 0 1 0 58895842 4067500032 912278 18446744073709551615 93950451691520 93950463117917 140723613805408 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 93950465253592 93950465298610 93950493454336 140723613813138 140723613813257 140723613813257 140723613818859 0
/proc/67123/statm: 993042 912278 3744 2790 0 986467 0
Current children cumulated CPU time: 879.61 s
Current children cumulated vsize: 3972168 KiB
Current children cumulated memory: 3649112 KiB
[startup+882.818 s]
# the end of solver process 67123 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=878.374 s, system=1.76107 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+882.4 s]
/proc/loadavg: 4.43 4.20 4.12 5/262 67286
/proc/meminfo: memFree=111602064/131250000 swapFree=33010684/33010684
[pid=67123] ppid=67120 vsize=3972168 memory=3649112 CPUtime=879.71 cores=5,7
/proc/67123/stat : 67123 (ipbhs_scip) R 67120 67123 66624 0 -1 4194304 493994 0 0 0 87799 172 0 0 20 0 1 0 58895842 4067500032 912278 18446744073709551615 93950451691520 93950463117917 140723613805408 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 93950465253592 93950465298610 93950493454336 140723613813138 140723613813257 140723613813257 140723613818859 0
/proc/67123/statm: 993042 912278 3744 2790 0 986467 0
Current children cumulated CPU time: 879.71 s
Current children cumulated vsize: 3972168 KiB
Current children cumulated memory: 3649112 KiB
[startup+882.8 s]*
/proc/loadavg: 4.43 4.20 4.12 5/262 67286
/proc/meminfo: memFree=114431080/131250000 swapFree=33010684/33010684
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
Child status: 0
Real time (s): 882.818
CPU time (s): 880.135
CPU user time (s): 878.374
CPU system time (s): 1.76107
CPU usage (%): 99.6961
Max. virtual memory (cumulated for all children) (KiB): 3972168
Max. memory (cumulated for all children) (KiB): 3649112
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 878.374
system time used= 1.76107
maximum resident set size= 3677952
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 494000
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= 103
involuntary context switches= 358
# summary of solver processes directly reported to runsolver:
# pid: 67123
# total CPU time (s): 880.135
# total CPU user time (s): 878.374
# total CPU system time (s): 1.76107
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.61119 second user time and 4.05232 second system time
The end
Begin job on nodeC013 at 2025-07-02 06:55:56
IDJOB=4503000
IDBENCH=155403
IDSOLVER=3335
FILE ID=nodeC013/4503000-1751432156
RUNJOBID= nodeC013-1751428542-66637
SLURM_JOB_ID= 9598364
Free space on /tmp= 432504 MiB
SOLVER NAME= IPBHS-SCIP 2025-06-09
BENCH NAME= PB24/normalized-PB11/OPT-LIN/kullmann/normalized-mul_8_3_shg.opb
COMMAND LINE= ./ipbhs_scip BENCHNAME --optimizer scip --max-coef 1000000000
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4503000-1751432156/watcher-4503000-1751432156 -o /tmp/evaluation-result-4503000-1751432156/solver-4503000-1751432156 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC013-1751428542-66637 --watchdog 3760 ./ipbhs_scip HOME/instance-4503000-1751432156.opb --optimizer scip --max-coef 1000000000
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 9f3f50f555350d326304759fc873d478
RANDOM SEED=1991563476
nodeC013 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.367
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.67
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3601.886
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.67
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.838
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.67
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.830
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.67
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.839
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.67
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3548.055
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.67
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3444.102
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.67
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.856
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.67
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131250000 kB
MemFree: 128031792 kB
MemAvailable: 129088512 kB
Buffers: 3280 kB
Cached: 1856104 kB
SwapCached: 0 kB
Active: 964744 kB
Inactive: 1611184 kB
Active(anon): 729828 kB
Inactive(anon): 0 kB
Active(file): 234916 kB
Inactive(file): 1611184 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 330780 kB
Writeback: 0 kB
AnonPages: 719936 kB
Mapped: 110344 kB
Shmem: 13284 kB
KReclaimable: 99316 kB
Slab: 188024 kB
SReclaimable: 99316 kB
SUnreclaim: 88708 kB
KernelStack: 4112 kB
PageTables: 4296 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635684 kB
Committed_AS: 1010580 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150408 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 638976 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: 215764 kB
DirectMap2M: 8992768 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 432312 MiB
End job on nodeC013 at 2025-07-02 07:10:39