| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| IPBHS-GUROBI-SYM 2025-06-09 | ? (TO) | 3600.07 | 3609.24 |
| Name | PB24/normalized-PB24/OPT-LIN/nordstrom/ MIPLIB01/opt/miplib3/normalized-mitre.opb |
| MD5SUM | ef3ff3fe247f050efe42854747d2eb97 |
| Bench Category | OPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 7677 |
| Best CPU time to get the best result obtained on this benchmark | 6.70395 |
| Has Objective Function | YES |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 10724 |
| Total number of constraints | 1662 |
| Number of constraints which are clauses | 140 |
| Number of constraints which are cardinality constraints (but not clauses) | 1139 |
| Number of constraints which are nor clauses,nor cardinality constraints | 383 |
| Minimum length of a constraint | 3 |
| Maximum length of a constraint | 98 |
| Number of terms in the objective function | 9324 |
| Biggest coefficient in the objective function | 213 |
| Number of bits for the biggest coefficient in the objective function | 8 |
| Sum of the numbers in the objective function | 909647 |
| Number of bits of the sum of numbers in the objective function | 20 |
| Biggest number in a constraint | 1069 |
| Number of bits of the biggest number in a constraint | 11 |
| Biggest sum of numbers in a constraint | 909647 |
| Number of bits of the biggest sum of numbers | 20 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.01 c initialize IPBHS solver 0.00/0.01 c IPBHS 0.0.0 beta (8d0f613-dirty, Jun 3 2025 11:30:33), compiled with satsolvers: , optimizers: , GreedyOptimizer, Gurobi 12.0.2, RoundingSat 2, , , pbsolvers: RoundingSat 2, BreakID 0.0.0 0.00/0.01 c optimizer = "gurobi" 0.00/0.01 c pbsolver = "roundingsat" 0.00/0.01 c use separate pbsolver for SIS 0.00/0.01 c load symmetries from file "" 0.00/0.01 c set time limit for symmetry computation to 100 seconds. 0.00/0.01 c set interchangeable summation variable limit to 3 0.00/0.01 c enable explicit+compact SCL 0.00/0.01 c set sym compact max subset size to 5 0.00/0.01 c set explicit symmetry matrix usage to 1 0.00/0.01 c sym budget explicit to 100 0.00/0.01 c sym budget explicit lits to 6000 0.00/0.01 c sym budget compact to 100 0.00/0.01 c sym budget compact lits to 6000 0.00/0.01 c sym budget common to 0 0.00/0.01 c sym budget common lits to 0 0.00/0.01 c set sym generation to 's' 0.00/0.01 c set abstraction set creation to 10 iterations without LB change 0.00/0.01 c set abstraction set inputs to 0 0.00/0.01 c set abstraction set cluster min size to 2 0.00/0.01 c set abstraction set cluster max size to 100000000 0.00/0.01 c set abstraction set cluster activation limit to 2 0.00/0.01 c enable abstraction set require equal cost 0.00/0.01 c set abstraction set assumptions to 0 0.00/0.01 c set abstraction set constraint type to 0 0.00/0.01 c set abstract core extraction strategy to b 0.00/0.01 c set core extraction strategy to 2 0.00/0.01 c set core extraction shuffles 10 0.00/0.01 c set cores per iteration to 5 0.00/0.01 c set optimizer bound usage strategy to 2 0.00/0.01 c set optimizer max non-optimal iterations to 1000 0.00/0.01 c set small core cardinality limit to 2 0.00/0.01 c set max coef in cores to 1000000000 0.00/0.01 c set core processing techniques to 4095 0.00/0.01 c set SIS iterations to 5 0.00/0.01 c set SIS budget abs to 1000 0.00/0.01 c set SIS budget rel to 0.05 0.00/0.10 c limit for coefficient in constraints and objective to 1000000000 0.00/0.10 c will solve HOME/instance-4522029-1751600367.opb 0.00/0.10 Searching graph automorphisms with time limit: 100 0.09/0.14 c [0.08] will start solving 471.64/473.02 c [0.15] solve iteration 1, LB=-363860, UB=545788 471.64/473.02 c [15.87] solve iteration 2, LB=5753, UB=7731 471.64/473.02 c [19.37] solve iteration 3, LB=6728, UB=7684 471.64/473.02 c [21.27] solve iteration 4, LB=6849, UB=7684 471.64/473.02 c [22.92] solve iteration 5, LB=6933, UB=7684 471.64/473.02 c [25.17] solve iteration 6, LB=6956, UB=7684 471.64/473.02 c [26.18] solve iteration 7, LB=7000, UB=7684 471.64/473.02 c [27.59] solve iteration 8, LB=7016, UB=7684 471.64/473.02 c [28.96] solve iteration 9, LB=7026, UB=7684 471.64/473.02 c [30.26] solve iteration 10, LB=7036, UB=7684 471.64/473.02 c [31.92] solve iteration 11, LB=7044, UB=7684 471.64/473.02 c [33.06] solve iteration 12, LB=7050, UB=7684 471.64/473.02 c [34.31] solve iteration 13, LB=7053, UB=7684 471.64/473.02 c [35.66] solve iteration 14, LB=7059, UB=7684 471.64/473.02 c [36.83] solve iteration 15, LB=7060, UB=7684 471.64/473.02 c [38.28] solve iteration 16, LB=7066, UB=7684 471.64/473.02 c [39.51] solve iteration 17, LB=7068, UB=7684 471.64/473.02 c [40.58] solve iteration 18, LB=7071, UB=7684 471.64/473.02 c [41.74] solve iteration 19, LB=7073, UB=7684 471.64/473.02 c [42.88] solve iteration 20, LB=7080, UB=7684 471.64/473.02 c [52.28] solve iteration 21, LB=7083, UB=7684 471.64/473.02 c [53.64] solve iteration 22, LB=7087, UB=7684 471.64/473.02 c [54.78] solve iteration 23, LB=7090, UB=7684 471.64/473.02 c [56.03] solve iteration 24, LB=7093, UB=7684 471.64/473.02 c [57.14] solve iteration 25, LB=7099, UB=7684 471.64/473.02 c [72.78] solve iteration 26, LB=7107, UB=7684 471.64/473.02 c [74] solve iteration 27, LB=7108, UB=7684 471.64/473.02 c [75.15] solve iteration 28, LB=7111, UB=7684 471.64/473.02 c [76.24] solve iteration 29, LB=7113, UB=7684 471.64/473.02 c [77.3] solve iteration 30, LB=7117, UB=7684 471.64/473.02 c [99.94] solve iteration 31, LB=7117, UB=7684 471.64/473.02 c [101.21] solve iteration 32, LB=7119, UB=7684 471.64/473.02 c [102.28] solve iteration 33, LB=7119, UB=7684 471.64/473.02 c [103.32] solve iteration 34, LB=7121, UB=7684 471.64/473.02 c [104.5] solve iteration 35, LB=7123, UB=7684 471.64/473.02 c [128.46] solve iteration 36, LB=7124, UB=7684 471.64/473.02 c [129.47] solve iteration 37, LB=7128, UB=7684 471.64/473.02 c [130.47] solve iteration 38, LB=7128, UB=7684 471.64/473.02 c [131.49] solve iteration 39, LB=7129, UB=7684 471.64/473.02 c [132.1] solve iteration 40, LB=7131, UB=7684 471.64/473.02 c [164.4] solve iteration 41, LB=7131, UB=7684 471.64/473.02 c [165.38] solve iteration 42, LB=7133, UB=7684 471.64/473.02 c [166.14] solve iteration 43, LB=7135, UB=7684 471.64/473.02 c [166.78] solve iteration 44, LB=7136, UB=7684 471.64/473.02 c [167.59] solve iteration 45, LB=7136, UB=7684 471.64/473.02 c [192.01] solve iteration 46, LB=7136, UB=7684 471.64/473.02 c [192.58] solve iteration 47, LB=7136, UB=7684 471.64/473.02 c [193.23] solve iteration 48, LB=7136, UB=7684 471.64/473.02 c [193.82] solve iteration 49, LB=7136, UB=7684 471.64/473.02 c [194.36] solve iteration 50, LB=7136, UB=7684 471.64/473.02 c [225.26] solve iteration 51, LB=7138, UB=7684 471.64/473.02 c [225.8] solve iteration 52, LB=7138, UB=7684 471.64/473.02 c [226.32] solve iteration 53, LB=7138, UB=7684 471.64/473.02 c [226.82] solve iteration 54, LB=7138, UB=7684 471.64/473.02 c [227.37] solve iteration 55, LB=7139, UB=7684 471.64/473.02 c [256.47] solve iteration 56, LB=7139, UB=7684 471.64/473.02 c [257.03] solve iteration 57, LB=7140, UB=7684 471.64/473.02 c [257.49] solve iteration 58, LB=7140, UB=7684 471.64/473.02 c [257.99] solve iteration 59, LB=7144, UB=7684 471.64/473.02 c [258.42] solve iteration 60, LB=7144, UB=7684 471.64/473.02 c [286.21] solve iteration 61, LB=7145, UB=7684 471.64/473.02 c [286.68] solve iteration 62, LB=7146, UB=7684 471.64/473.02 c [287.18] solve iteration 63, LB=7146, UB=7684 471.64/473.02 c [287.62] solve iteration 64, LB=7146, UB=7684 471.64/473.02 c [288.13] solve iteration 65, LB=7146, UB=7684 471.64/473.02 c [315] solve iteration 66, LB=7147, UB=7684 471.64/473.02 c [315.58] solve iteration 67, LB=7147, UB=7684 471.64/473.02 c [315.96] solve iteration 68, LB=7147, UB=7684 471.64/473.02 c [316.46] solve iteration 69, LB=7147, UB=7684 471.64/473.02 c [316.89] solve iteration 70, LB=7147, UB=7684 471.64/473.02 c [342.96] solve iteration 71, LB=7149, UB=7684 471.64/473.02 c [343.49] solve iteration 72, LB=7151, UB=7684 471.64/473.02 c [343.98] solve iteration 73, LB=7151, UB=7684 471.64/473.02 c [344.43] solve iteration 74, LB=7151, UB=7684 471.64/473.02 c [344.84] solve iteration 75, LB=7151, UB=7684 471.64/473.02 c [379.4] solve iteration 76, LB=7151, UB=7684 471.64/473.02 c [379.8] solve iteration 77, LB=7151, UB=7684 471.64/473.02 c [380.56] solve iteration 78, LB=7151, UB=7684 471.64/473.02 c [381.07] solve iteration 79, LB=7152, UB=7684 471.64/473.02 c [381.58] solve iteration 80, LB=7153, UB=7684 471.64/473.02 c [413.79] solve iteration 81, LB=7153, UB=7684 471.64/473.02 c [414.25] solve iteration 82, LB=7153, UB=7684 471.64/473.02 c [414.73] solve iteration 83, LB=7153, UB=7684 471.64/473.02 c [415.2] solve iteration 84, LB=7153, UB=7684 471.64/473.02 c [415.6] solve iteration 85, LB=7153, UB=7684 471.64/473.02 c [449.87] solve iteration 86, LB=7153, UB=7684 471.64/473.02 c [450.27] solve iteration 87, LB=7153, UB=7684 1422.74/1426.53 c [450.69] solve iteration 88, LB=7153, UB=7684 1422.74/1426.53 c [451.25] solve iteration 89, LB=7153, UB=7684 1422.74/1426.53 c [451.7] solve iteration 90, LB=7153, UB=7684 1422.74/1426.53 c [493.05] solve iteration 91, LB=7153, UB=7684 1422.74/1426.53 c [493.49] solve iteration 92, LB=7154, UB=7684 1422.74/1426.53 c [494.19] solve iteration 93, LB=7154, UB=7684 1422.74/1426.53 c [494.57] solve iteration 94, LB=7157, UB=7684 1422.74/1426.53 c [495.01] solve iteration 95, LB=7157, UB=7684 1422.74/1426.53 c [537.08] solve iteration 96, LB=7157, UB=7684 1422.74/1426.53 c [537.76] solve iteration 97, LB=7157, UB=7684 1422.74/1426.53 c [538.3] solve iteration 98, LB=7161, UB=7684 1422.74/1426.53 c [538.72] solve iteration 99, LB=7162, UB=7684 1422.74/1426.53 c [539.13] solve iteration 100, LB=7162, UB=7684 1422.74/1426.53 c [592.46] solve iteration 101, LB=7163, UB=7684 1422.74/1426.53 c [592.88] solve iteration 102, LB=7163, UB=7684 1422.74/1426.53 c [593.37] solve iteration 103, LB=7163, UB=7684 1422.74/1426.53 c [593.8] solve iteration 104, LB=7163, UB=7684 1422.74/1426.53 c [594.23] solve iteration 105, LB=7163, UB=7684 1422.74/1426.53 c [635.72] solve iteration 106, LB=7163, UB=7684 1422.74/1426.53 c [636.2] solve iteration 107, LB=7163, UB=7684 1422.74/1426.53 c [636.73] solve iteration 108, LB=7163, UB=7684 1422.74/1426.53 c [637.17] solve iteration 109, LB=7163, UB=7684 1422.74/1426.53 c [637.83] solve iteration 110, LB=7163, UB=7684 1422.74/1426.53 c [677.83] solve iteration 111, LB=7164, UB=7683 1422.74/1426.53 c [694.36] solve iteration 112, LB=7412, UB=7683 1422.74/1426.53 c [694.84] solve iteration 113, LB=7412, UB=7683 1422.74/1426.53 c [695.28] solve iteration 114, LB=7412, UB=7683 1422.74/1426.53 c [695.91] solve iteration 115, LB=7412, UB=7683 1422.74/1426.53 c [696.45] solve iteration 116, LB=7412, UB=7683 1422.74/1426.53 c [741.58] solve iteration 117, LB=7412, UB=7683 1422.74/1426.53 c [742.07] solve iteration 118, LB=7412, UB=7683 1422.74/1426.53 c [742.45] solve iteration 119, LB=7412, UB=7683 1422.74/1426.53 c [743.16] solve iteration 120, LB=7412, UB=7683 1422.74/1426.53 c [743.75] solve iteration 121, LB=7412, UB=7683 1422.74/1426.53 c [795.51] solve iteration 122, LB=7412, UB=7683 1422.74/1426.53 c [796.01] solve iteration 123, LB=7412, UB=7683 1422.74/1426.53 c [796.45] solve iteration 124, LB=7412, UB=7683 1422.74/1426.53 c [796.94] solve iteration 125, LB=7412, UB=7683 1422.74/1426.53 c [797.4] solve iteration 126, LB=7412, UB=7683 1422.74/1426.53 c [863.7] solve iteration 127, LB=7412, UB=7683 1422.74/1426.53 c [864.28] solve iteration 128, LB=7412, UB=7683 1422.74/1426.53 c [864.71] solve iteration 129, LB=7412, UB=7683 1422.74/1426.53 c [865.17] solve iteration 130, LB=7412, UB=7683 1422.74/1426.53 c [865.68] solve iteration 131, LB=7412, UB=7683 1422.74/1426.53 c [935.46] solve iteration 132, LB=7412, UB=7683 1422.74/1426.53 c [936.04] solve iteration 133, LB=7412, UB=7683 1422.74/1426.53 c [936.44] solve iteration 134, LB=7412, UB=7683 1422.74/1426.53 c [936.87] solve iteration 135, LB=7412, UB=7683 1422.74/1426.53 c [937.31] solve iteration 136, LB=7412, UB=7683 1422.74/1426.53 c [998.99] solve iteration 137, LB=7412, UB=7683 1422.74/1426.53 c [999.43] solve iteration 138, LB=7412, UB=7683 1422.74/1426.53 c [999.89] solve iteration 139, LB=7412, UB=7683 1422.74/1426.53 c [1000.5] solve iteration 140, LB=7412, UB=7683 1422.74/1426.53 c [1001.2] solve iteration 141, LB=7412, UB=7683 1422.74/1426.53 c [1061.03] solve iteration 142, LB=7412, UB=7683 1422.74/1426.53 c [1061.51] solve iteration 143, LB=7412, UB=7683 1422.74/1426.53 c [1061.94] solve iteration 144, LB=7412, UB=7683 1422.74/1426.53 c [1062.57] solve iteration 145, LB=7412, UB=7683 1422.74/1426.53 c [1063.09] solve iteration 146, LB=7412, UB=7683 1422.74/1426.53 c [1133.44] solve iteration 147, LB=7412, UB=7683 1422.74/1426.53 c [1133.99] solve iteration 148, LB=7412, UB=7683 1422.74/1426.53 c [1134.53] solve iteration 149, LB=7412, UB=7683 1422.74/1426.53 c [1134.98] solve iteration 150, LB=7412, UB=7683 1422.74/1426.53 c [1135.42] solve iteration 151, LB=7412, UB=7683 1422.74/1426.53 c [1211.3] solve iteration 152, LB=7412, UB=7683 1422.74/1426.53 c [1211.94] solve iteration 153, LB=7412, UB=7683 1422.74/1426.53 c [1212.47] solve iteration 154, LB=7412, UB=7683 1422.74/1426.53 c [1213.07] solve iteration 155, LB=7412, UB=7683 1422.74/1426.53 c [1213.58] solve iteration 156, LB=7412, UB=7683 1422.74/1426.53 c [1287.35] solve iteration 157, LB=7412, UB=7683 1422.74/1426.53 c [1287.75] solve iteration 158, LB=7412, UB=7683 1422.74/1426.53 c [1288.29] solve iteration 159, LB=7412, UB=7683 1422.74/1426.53 c [1288.7] solve iteration 160, LB=7412, UB=7681 1422.74/1426.53 c [1304.75] solve iteration 161, LB=7470, UB=7681 1422.74/1426.53 c [1305.24] solve iteration 162, LB=7470, UB=7681 1422.74/1426.53 c [1305.78] solve iteration 163, LB=7470, UB=7681 1422.74/1426.53 c [1306.42] solve iteration 164, LB=7470, UB=7681 1422.74/1426.53 c [1306.93] solve iteration 165, LB=7470, UB=7681 1422.74/1426.53 c [1392.38] solve iteration 166, LB=7470, UB=7681 1422.74/1426.53 c [1392.9] solve iteration 167, LB=7470, UB=7681 1422.74/1426.53 c [1393.41] solve iteration 168, LB=7470, UB=7681 1422.74/1426.53 c [1394.07] solve iteration 169, LB=7470, UB=7681 1422.74/1426.53 c [1394.6] solve iteration 170, LB=7470, UB=7681 3365.31/3373.90 c [1488.78] solve iteration 171, LB=7470, UB=7681 3365.31/3373.90 c [1489.24] solve iteration 172, LB=7470, UB=7681 3365.31/3373.90 c [1489.74] solve iteration 173, LB=7470, UB=7681 3365.31/3373.90 c [1490.66] solve iteration 174, LB=7470, UB=7681 3365.31/3373.90 c [1491.5] solve iteration 175, LB=7470, UB=7681 3365.31/3373.90 c [1572.85] solve iteration 176, LB=7470, UB=7681 3365.31/3373.90 c [1573.38] solve iteration 177, LB=7470, UB=7681 3365.31/3373.90 c [1573.86] solve iteration 178, LB=7470, UB=7681 3365.31/3373.90 c [1574.38] solve iteration 179, LB=7470, UB=7681 3365.31/3373.90 c [1574.93] solve iteration 180, LB=7470, UB=7681 3365.31/3373.90 c [1651.45] solve iteration 181, LB=7470, UB=7681 3365.31/3373.90 c [1651.98] solve iteration 182, LB=7470, UB=7681 3365.31/3373.90 c [1652.58] solve iteration 183, LB=7470, UB=7681 3365.31/3373.90 c [1653.18] solve iteration 184, LB=7470, UB=7681 3365.31/3373.90 c [1653.82] solve iteration 185, LB=7470, UB=7681 3365.31/3373.90 c [1745.7] solve iteration 186, LB=7470, UB=7681 3365.31/3373.90 c [1746.26] solve iteration 187, LB=7470, UB=7681 3365.31/3373.90 c [1746.88] solve iteration 188, LB=7470, UB=7681 3365.31/3373.90 c [1747.38] solve iteration 189, LB=7470, UB=7681 3365.31/3373.90 c [1747.84] solve iteration 190, LB=7470, UB=7681 3365.31/3373.90 c [1833.51] solve iteration 191, LB=7470, UB=7681 3365.31/3373.90 c [1834.14] solve iteration 192, LB=7470, UB=7681 3365.31/3373.90 c [1834.56] solve iteration 193, LB=7470, UB=7680 3365.31/3373.90 c [1853.84] solve iteration 194, LB=7514, UB=7680 3365.31/3373.90 c [1854.37] solve iteration 195, LB=7514, UB=7680 3365.31/3373.90 c [1854.87] solve iteration 196, LB=7514, UB=7680 3365.31/3373.90 c [1855.52] solve iteration 197, LB=7514, UB=7680 3365.31/3373.90 c [1856.04] solve iteration 198, LB=7514, UB=7680 3365.31/3373.90 c [1966.96] solve iteration 199, LB=7514, UB=7680 3365.31/3373.90 c [1967.71] solve iteration 200, LB=7514, UB=7680 3365.31/3373.90 c [1968.33] solve iteration 201, LB=7514, UB=7680 3365.31/3373.90 c [1969.05] solve iteration 202, LB=7514, UB=7680 3365.31/3373.90 c [1969.63] solve iteration 203, LB=7514, UB=7680 3365.31/3373.90 c [2070.37] solve iteration 204, LB=7514, UB=7680 3365.31/3373.90 c [2070.96] solve iteration 205, LB=7514, UB=7680 3365.31/3373.90 c [2071.6] solve iteration 206, LB=7514, UB=7680 3365.31/3373.90 c [2072.2] solve iteration 207, LB=7514, UB=7680 3365.31/3373.90 c [2072.83] solve iteration 208, LB=7514, UB=7680 3365.31/3373.90 c [2187.28] solve iteration 209, LB=7514, UB=7680 3365.31/3373.90 c [2187.86] solve iteration 210, LB=7514, UB=7680 3365.31/3373.90 c [2188.34] solve iteration 211, LB=7514, UB=7680 3365.31/3373.90 c [2189.02] solve iteration 212, LB=7514, UB=7680 3365.31/3373.90 c [2189.73] solve iteration 213, LB=7514, UB=7680 3365.31/3373.90 c [2319.88] solve iteration 214, LB=7514, UB=7680 3365.31/3373.90 c [2320.82] solve iteration 215, LB=7514, UB=7680 3365.31/3373.90 c [2321.45] solve iteration 216, LB=7514, UB=7680 3365.31/3373.90 c [2322.29] solve iteration 217, LB=7514, UB=7680 3365.31/3373.90 c [2322.9] solve iteration 218, LB=7514, UB=7680 3365.31/3373.90 c [2455.23] solve iteration 219, LB=7514, UB=7680 3365.31/3373.90 c [2456.09] solve iteration 220, LB=7514, UB=7680 3365.31/3373.90 c [2456.68] solve iteration 221, LB=7514, UB=7680 3365.31/3373.90 c [2457.34] solve iteration 222, LB=7514, UB=7680 3365.31/3373.90 c [2458.19] solve iteration 223, LB=7514, UB=7680 3365.31/3373.90 c [2579.27] solve iteration 224, LB=7514, UB=7680 3365.31/3373.90 c [2579.95] solve iteration 225, LB=7514, UB=7680 3365.31/3373.90 c [2580.6] solve iteration 226, LB=7514, UB=7680 3365.31/3373.90 c [2581.57] solve iteration 227, LB=7514, UB=7680 3365.31/3373.90 c [2582.24] solve iteration 228, LB=7514, UB=7680 3365.31/3373.90 c [2706.73] solve iteration 229, LB=7514, UB=7680 3365.31/3373.90 c [2707.36] solve iteration 230, LB=7514, UB=7680 3365.31/3373.90 c [2707.98] solve iteration 231, LB=7514, UB=7680 3365.31/3373.90 c [2708.62] solve iteration 232, LB=7514, UB=7680 3365.31/3373.90 c [2709.57] solve iteration 233, LB=7514, UB=7680 3365.31/3373.90 c [2848.12] solve iteration 234, LB=7514, UB=7680 3365.31/3373.90 c [2848.75] solve iteration 235, LB=7514, UB=7680 3365.31/3373.90 c [2849.83] solve iteration 236, LB=7514, UB=7680 3365.31/3373.90 c [2850.41] solve iteration 237, LB=7514, UB=7680 3365.31/3373.90 c [2850.87] solve iteration 238, LB=7514, UB=7680 3365.31/3373.90 c [3002.44] solve iteration 239, LB=7514, UB=7680 3365.31/3373.90 c [3003.03] solve iteration 240, LB=7514, UB=7680 3365.31/3373.90 c [3003.69] solve iteration 241, LB=7514, UB=7680 3365.31/3373.90 c [3004.34] solve iteration 242, LB=7514, UB=7680 3365.31/3373.90 c [3004.87] solve iteration 243, LB=7514, UB=7680 3365.31/3373.90 c [3168.87] solve iteration 244, LB=7514, UB=7680 3365.31/3373.90 c [3169.46] solve iteration 245, LB=7514, UB=7680 3365.31/3373.90 c [3170.1] solve iteration 246, LB=7514, UB=7680 3365.31/3373.90 c [3170.6] solve iteration 247, LB=7514, UB=7680 3365.31/3373.90 c [3171.57] solve iteration 248, LB=7514, UB=7680 3365.31/3373.90 c [3326.82] solve iteration 249, LB=7514, UB=7680 3365.31/3373.90 c [3327.43] solve iteration 250, LB=7514, UB=7680 3365.31/3373.90 c [3328.04] solve iteration 251, LB=7514, UB=7680 3365.31/3373.90 c [3328.63] solve iteration 252, LB=7514, UB=76
ERROR: no interpretation found !
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63708 MiB (61211 MiB free)
memory of node 1: 64465 MiB (62627 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4522029-1751600367/watcher-4522029-1751600367 -o /tmp/evaluation-result-4522029-1751600367/solver-4522029-1751600367 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC019-1751600365-82362 --watchdog 3760 ./ipbhs_gurobi --sym-cores-compact HOME/instance-4522029-1751600367.opb --max-coef 1000000000
running on 2 cores: 4,6
CPU governors:
performance: 4 6
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=82508, runsolver pid=82504
Current StackSize limit: 8192 KiB
[startup+0.100064 s]*
/proc/loadavg: 0.81 1.03 1.64 5/267 82515
/proc/meminfo: memFree=126755032/131250000 swapFree=33007332/33010684
[pid=82508] ppid=82504 vsize=112736 memory=36684 CPUtime=0.09 cores=4,6
/proc/82508/stat : 82508 (ipbhs_gurobi) R 82504 82508 82351 0 -1 4194304 7355 0 0 0 7 2 0 0 20 0 2 0 75714254 115441664 9171 18446744073709551615 93835433017344 93835435642397 140723299318080 0 0 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 93835436261272 93835436294234 93835461955584 140723299322251 140723299322375 140723299322375 140723299327977 0
/proc/82508/statm: 28184 9171 2304 641 0 10667 0
[pid=82508/tid=82514] ppid=82504 vsize=112736 memory=4026532124 CPUtime=0 cores=4,6
/proc/82508/task/82514/stat : 82514 (ipbhs_gurobi) R 82504 82508 82351 0 -1 4194368 0 0 0 0 0 0 0 0 20 0 2 0 75714259 115441664 9171 18446744073709551615 93835433017344 93835435642397 140723299318080 0 0 0 0 4096 0 0 0 0 -1 4 0 0 0 0 0 93835436261272 93835436294234 93835461955584 140723299322251 140723299322375 140723299322375 140723299327977 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 112736 KiB
Current children cumulated memory: 36684 KiB
[startup+0.205629 s]*
/proc/loadavg: 0.81 1.03 1.64 5/267 82515
/proc/meminfo: memFree=126685248/131250000 swapFree=33007332/33010684
[pid=82508] ppid=82504 vsize=113852 memory=38344 CPUtime=0.19 cores=4,6
/proc/82508/stat : 82508 (ipbhs_gurobi) R 82504 82508 82351 0 -1 4194304 7870 0 0 0 17 2 0 0 20 0 2 0 75714254 116584448 9586 18446744073709551615 93835433017344 93835435642397 140723299318080 0 0 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 93835436261272 93835436294234 93835461955584 140723299322251 140723299322375 140723299322375 140723299327977 0
/proc/82508/statm: 28463 9586 2368 641 0 10946 0
[pid=82508/tid=82514] ppid=82504 vsize=113852 memory=3472328132921917724 CPUtime=0 cores=4,6
/proc/82508/task/82514/stat : 82514 (ipbhs_gurobi) S 82504 82508 82351 0 -1 4194368 0 0 0 0 0 0 0 0 20 0 2 0 75714259 116584448 9586 18446744073709551615 93835433017344 93835435642397 140723299318080 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 93835436261272 93835436294234 93835461955584 140723299322251 140723299322375 140723299322375 140723299327977 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 113852 KiB
Current children cumulated memory: 38344 KiB
[startup+0.305584 s]*
/proc/loadavg: 0.81 1.03 1.64 5/267 82515
/proc/meminfo: memFree=126626424/131250000 swapFree=33007332/33010684
[pid=82508] ppid=82504 vsize=113992 memory=41288 CPUtime=0.27 cores=4,6
/proc/82508/stat : 82508 (ipbhs_gurobi) R 82504 82508 82351 0 -1 4194304 7936 0 1 0 25 2 0 0 20 0 2 0 75714254 116727808 10322 18446744073709551615 93835433017344 93835435642397 140723299318080 0 0 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 93835436261272 93835436294234 93835461955584 140723299322251 140723299322375 140723299322375 140723299327977 0
/proc/82508/statm: 28498 10322 3104 641 0 10981 0
[pid=82508/tid=82514] ppid=82504 vsize=113992 memory=-7387154158014397124 CPUtime=0 cores=4,6
/proc/82508/task/82514/stat : 82514 (ipbhs_gurobi) S 82504 82508 82351 0 -1 4194368 0 0 0 0 0 0 0 0 20 0 2 0 75714259 116727808 10322 18446744073709551615 93835433017344 93835435642397 140723299318080 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 93835436261272 93835436294234 93835461955584 140723299322251 140723299322375 140723299322375 140723299327977 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 113992 KiB
Current children cumulated memory: 41288 KiB
[startup+0.700196 s]
/proc/loadavg: 0.81 1.03 1.64 3/267 82515
/proc/meminfo: memFree=126455052/131250000 swapFree=33007332/33010684
[pid=82508] ppid=82504 vsize=117500 memory=46156 CPUtime=0.45 cores=4,6
/proc/82508/stat : 82508 (ipbhs_gurobi) R 82504 82508 82351 0 -1 4194304 9967 0 18 0 42 3 0 0 20 0 2 0 75714254 120320000 11539 18446744073709551615 93835433017344 93835435642397 140723299318080 0 0 0 0 4096 0 0 0 0 17 6 0 0 0 0 0 93835436261272 93835436294234 93835461955584 140723299322251 140723299322375 140723299322375 140723299327977 0
/proc/82508/statm: 29375 11539 3584 641 0 11858 0
[pid=82508/tid=82514] ppid=82504 vsize=117500 memory=18816 CPUtime=0 cores=4,6
/proc/82508/task/82514/stat : 82514 (ipbhs_gurobi) S 82504 82508 82351 0 -1 4194368 0 0 0 0 0 0 0 0 20 0 2 0 75714259 120320000 11539 18446744073709551615 93835433017344 93835435642397 140723299318080 0 0 0 0 4096 0 1 0 0 -1 4 0 0 0 0 0 93835436261272 93835436294234 93835461955584 140723299322251 140723299322375 140723299322375 140723299327977 0
Current children cumulated CPU time: 0.45 s
Current children cumulated vsize: 117500 KiB
Current children cumulated memory: 46156 KiB
[startup+1.50019 s]
/proc/loadavg: 0.81 1.03 1.64 5/267 82515
/proc/meminfo: memFree=126290488/131250000 swapFree=33007332/33010684
[pid=82508] ppid=82504 vsize=117500 memory=46156 CPUtime=1.24 cores=4,6
/proc/82508/stat : 82508 (ipbhs_gurobi) R 82504 82508 82351 0 -1 4194304 10785 0 18 0 121 3 0 0 20 0 2 0 75714254 120320000 11539 18446744073709551615 93835433017344 93835435642397 140723299318080 0 0 0 0 4096 0 0 0 0 17 6 0 0 0 0 0 93835436261272 93835436294234 93835461955584 140723299322251 140723299322375 140723299322375 140723299327977 0
/proc/82508/statm: 29375 11539 3584 641 0 11858 0
[pid=82508/tid=82514] ppid=82504 vsize=117500 memory=18816 CPUtime=0 cores=4,6
/proc/82508/task/82514/stat : 82514 (ipbhs_gurobi) S 82504 82508 82351 0 -1 4194368 3 0 0 0 0 0 0 0 20 0 2 0 75714259 120320000 11539 18446744073709551615 93835433017344 93835435642397 140723299318080 0 0 0 0 4096 0 1 0 0 -1 4 0 0 0 0 0 93835436261272 93835436294234 93835461955584 140723299322251 140723299322375 140723299322375 140723299327977 0
Current children cumulated CPU time: 1.24 s
Current children cumulated vsize: 117500 KiB
Current children cumulated memory: 46156 KiB
[startup+3.10541 s]
/proc/loadavg: 0.81 1.03 1.64 5/267 82515
/proc/meminfo: memFree=125875040/131250000 swapFree=33007332/33010684
[pid=82508] ppid=82504 vsize=117500 memory=46156 CPUtime=2.84 cores=4,6
/proc/82508/stat : 82508 (ipbhs_gurobi) R 82504 82508 82351 0 -1 4194304 11282 0 18 0 236 48 0 0 20 0 2 0 75714254 120320000 11539 18446744073709551615 93835433017344 93835435642397 140723299318080 0 0 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 93835436261272 93835436294234 93835461955584 140723299322251 140723299322375 140723299322375 140723299327977 0
/proc/82508/statm: 29375 11539 3584 641 0 11858 0
[pid=82508/tid=82514] ppid=82504 vsize=117500 memory=46156 CPUtime=0 cores=4,6
/proc/82508/task/82514/stat : 82514 (ipbhs_gurobi) S 82504 82508 82351 0 -1 4194368 3 0 0 0 0 0 0 0 20 0 2 0 75714259 120320000 11539 18446744073709551615 93835433017344 93835435642397 140723299318080 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 93835436261272 93835436294234 93835461955584 140723299322251 140723299322375 140723299322375 140723299327977 0
Current children cumulated CPU time: 2.84 s
Current children cumulated vsize: 117500 KiB
Current children cumulated memory: 46156 KiB
[startup+6.30016 s]
/proc/loadavg: 1.07 1.08 1.65 5/267 82515
/proc/meminfo: memFree=124628416/131250000 swapFree=33007332/33010684
[pid=82508] ppid=82504 vsize=117500 memory=46412 CPUtime=6.03 cores=4,6
/proc/82508/stat : 82508 (ipbhs_gurobi) R 82504 82508 82351 0 -1 4194304 14209 0 18 0 457 146 0 0 20 0 2 0 75714254 120320000 11603 18446744073709551615 93835433017344 93835435642397 140723299318080 0 0 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 93835436261272 93835436294234 93835461955584 140723299322251 140723299322375 140723299322375 140723299327977 0
/proc/82508/statm: 29375 11603 3584 641 0 11858 0
[pid=82508/tid=82514] ppid=82504 vsize=117500 memory=-7387154158031174340 CPUtime=0 cores=4,6
/proc/82508/task/82514/stat : 82514 (ipbhs_gurobi) S 82504 82508 82351 0 -1 4194368 5 0 0 0 0 0 0 0 20 0 2 0 75714259 120320000 11603 18446744073709551615 93835433017344 93835435642397 140723299318080 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 93835436261272 93835436294234 93835461955584 140723299322251 140723299322375 140723299322375 140723299327977 0
Current children cumulated CPU time: 6.03 s
Current children cumulated vsize: 117500 KiB
Current children cumulated memory: 46412 KiB
[startup+12.7002 s]
/proc/loadavg: 1.30 1.13 1.66 5/268 82517
/proc/meminfo: memFree=122431056/131250000 swapFree=33007332/33010684
[pid=82508] ppid=82504 vsize=117500 memory=46796 CPUtime=12.43 cores=4,6
/proc/82508/stat : 82508 (ipbhs_gurobi) R 82504 82508 82351 0 -1 4194304 15786 0 18 0 881 362 0 0 20 0 2 0 75714254 120320000 11699 18446744073709551615 93835433017344 93835435642397 140723299318080 0 0 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 93835436261272 93835436294234 93835461955584 140723299322251 140723299322375 140723299322375 140723299327977 0
/proc/82508/statm: 29375 11699 3584 641 0 11858 0
[pid=82508/tid=82514] ppid=82504 vsize=117500 memory=46796 CPUtime=0 cores=4,6
/proc/82508/task/82514/stat : 82514 (ipbhs_gurobi) S 82504 82508 82351 0 -1 4194368 5 0 0 0 0 0 0 0 20 0 2 0 75714259 120320000 11699 18446744073709551615 93835433017344 93835435642397 140723299318080 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 93835436261272 93835436294234 93835461955584 140723299322251 140723299322375 140723299322375 140723299327977 0
Current children cumulated CPU time: 12.43 s
Current children cumulated vsize: 117500 KiB
Current children cumulated memory: 46796 KiB
[startup+25.5001 s]
/proc/loadavg: 1.97 1.29 1.71 5/268 82517
/proc/meminfo: memFree=119200804/131250000 swapFree=33007332/33010684
[pid=82508] ppid=82504 vsize=126060 memory=55168 CPUtime=25.2 cores=4,6
/proc/82508/stat : 82508 (ipbhs_gurobi) R 82504 82508 82351 0 -1 4194304 24449 0 18 0 1769 751 0 0 20 0 2 0 75714254 129085440 13792 18446744073709551615 93835433017344 93835435642397 140723299318080 0 0 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 93835436261272 93835436294234 93835461955584 140723299322251 140723299322375 140723299322375 140723299327977 0
/proc/82508/statm: 31515 13792 3584 641 0 13998 0
[pid=82508/tid=82514] ppid=82504 vsize=126060 memory=49292 CPUtime=0 cores=4,6
/proc/82508/task/82514/stat : 82514 (ipbhs_gurobi) S 82504 82508 82351 0 -1 4194368 5 0 0 0 0 0 0 0 20 0 2 0 75714259 129085440 13792 18446744073709551615 93835433017344 93835435642397 140723299318080 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 93835436261272 93835436294234 93835461955584 140723299322251 140723299322375 140723299322375 140723299327977 0
Current children cumulated CPU time: 25.2 s
Current children cumulated vsize: 126060 KiB
Current children cumulated memory: 55168 KiB
[startup+51.1056 s]
/proc/loadavg: 2.80 1.54 1.78 5/269 82518
/proc/meminfo: memFree=117902880/131250000 swapFree=33007332/33010684
[pid=82508] ppid=82504 vsize=138196 memory=70912 CPUtime=50.75 cores=4,6
/proc/82508/stat : 82508 (ipbhs_gurobi) R 82504 82508 82351 0 -1 4194304 64148 0 18 0 3838 1237 0 0 20 0 2 0 75714254 141512704 17728 18446744073709551615 93835433017344 93835435642397 140723299318080 0 0 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 93835436261272 93835436294234 93835461955584 140723299322251 140723299322375 140723299322375 140723299327977 0
/proc/82508/statm: 34549 17728 3584 641 0 17032 0
[pid=82508/tid=82514] ppid=82504 vsize=138196 memory=64256 CPUtime=0.01 cores=4,6
/proc/82508/task/82514/stat : 82514 (ipbhs_gurobi) S 82504 82508 82351 0 -1 4194368 10 0 0 0 0 1 0 0 20 0 2 0 75714259 141512704 17728 18446744073709551615 93835433017344 93835435642397 140723299318080 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 93835436261272 93835436294234 93835461955584 140723299322251 140723299322375 140723299322375 140723299327977 0
Current children cumulated CPU time: 50.75 s
Current children cumulated vsize: 138196 KiB
Current children cumulated memory: 70912 KiB
[startup+102.3 s]
/proc/loadavg: 3.55 1.94 1.90 5/270 82521
/proc/meminfo: memFree=118002100/131250000 swapFree=33007332/33010684
[pid=82508] ppid=82504 vsize=310036 memory=242736 CPUtime=101.85 cores=4,6
/proc/82508/stat : 82508 (ipbhs_gurobi) R 82504 82508 82351 0 -1 4194304 113130 0 18 0 8629 1556 0 0 20 0 2 0 75714254 317476864 60684 18446744073709551615 93835433017344 93835435642397 140723299318080 0 0 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 93835436261272 93835436294234 93835461955584 140723299322251 140723299322375 140723299322375 140723299327977 0
/proc/82508/statm: 77509 60684 3584 641 0 59992 0
[pid=82508/tid=82514] ppid=82504 vsize=310036 memory=3200 CPUtime=0.04 cores=4,6
/proc/82508/task/82514/stat : 82514 (ipbhs_gurobi) S 82504 82508 82351 0 -1 4194368 12 0 0 0 2 2 0 0 20 0 2 0 75714259 317476864 60684 18446744073709551615 93835433017344 93835435642397 140723299318080 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 93835436261272 93835436294234 93835461955584 140723299322251 140723299322375 140723299322375 140723299327977 0
Current children cumulated CPU time: 101.85 s
Current children cumulated vsize: 310036 KiB
Current children cumulated memory: 242736 KiB
[startup+162.3 s]
/proc/loadavg: 3.90 2.33 2.04 5/269 82527
/proc/meminfo: memFree=117943728/131250000 swapFree=33007332/33010684
[pid=82508] ppid=82504 vsize=424444 memory=345444 CPUtime=161.71 cores=4,6
/proc/82508/stat : 82508 (ipbhs_gurobi) R 82504 82508 82351 0 -1 4194304 176669 0 18 0 14425 1746 0 0 20 0 2 0 75714254 434630656 86361 18446744073709551615 93835433017344 93835435642397 140723299318080 0 0 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 93835436261272 93835436294234 93835461955584 140723299322251 140723299322375 140723299322375 140723299327977 0
/proc/82508/statm: 106111 86361 3584 641 0 88594 0
[pid=82508/tid=82514] ppid=82504 vsize=424444 memory=18816 CPUtime=0.06 cores=4,6
/proc/82508/task/82514/stat : 82514 (ipbhs_gurobi) S 82504 82508 82351 0 -1 4194368 14 0 0 0 2 4 0 0 20 0 2 0 75714259 434630656 86361 18446744073709551615 93835433017344 93835435642397 140723299318080 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 93835436261272 93835436294234 93835461955584 140723299322251 140723299322375 140723299322375 140723299327977 0
Current children cumulated CPU time: 161.71 s
Current children cumulated vsize: 424444 KiB
Current children cumulated memory: 345444 KiB
[startup+222.3 s]
/proc/loadavg: 4.01 2.65 2.17 5/270 82533
/proc/meminfo: memFree=117874520/131250000 swapFree=33007332/33010684
[pid=82508] ppid=82504 vsize=521252 memory=382108 CPUtime=221.56 cores=4,6
/proc/82508/stat : 82508 (ipbhs_gurobi) R 82504 82508 82351 0 -1 4194304 184463 0 18 0 20302 1854 0 0 20 0 2 0 75714254 533762048 95527 18446744073709551615 93835433017344 93835435642397 140723299318080 0 0 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 93835436261272 93835436294234 93835461955584 140723299322251 140723299322375 140723299322375 140723299327977 0
/proc/82508/statm: 130313 95527 3680 641 0 112796 0
[pid=82508/tid=82514] ppid=82504 vsize=521252 memory=14432 CPUtime=0.09 cores=4,6
/proc/82508/task/82514/stat : 82514 (ipbhs_gurobi) S 82504 82508 82351 0 -1 4194368 14 0 0 0 3 6 0 0 20 0 2 0 75714259 533762048 95527 18446744073709551615 93835433017344 93835435642397 140723299318080 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 93835436261272 93835436294234 93835461955584 140723299322251 140723299322375 140723299322375 140723299327977 0
Current children cumulated CPU time: 221.56 s
Current children cumulated vsize: 521252 KiB
Current children cumulated memory: 382108 KiB
[startup+282.3 s]
/proc/loadavg: 3.96 2.90 2.29 5/270 82581
/proc/meminfo: memFree=120308164/131250000 swapFree=33007332/33010684
[pid=82508] ppid=82504 vsize=556004 memory=420748 CPUtime=281.42 cores=4,6
/proc/82508/stat : 82508 (ipbhs_gurobi) R 82504 82508 82351 0 -1 4194304 235871 0 18 0 26208 1934 0 0 20 0 2 0 75714254 569348096 105187 18446744073709551615 93835433017344 93835435642397 140723299318080 0 0 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 93835436261272 93835436294234 93835461955584 140723299322251 140723299322375 140723299322375 140723299327977 0
/proc/82508/statm: 139001 105187 3712 641 0 121484 0
[pid=82508/tid=82514] ppid=82504 vsize=556004 memory=420148 CPUtime=0.12 cores=4,6
/proc/82508/task/82514/stat : 82514 (ipbhs_gurobi) S 82504 82508 82351 0 -1 4194368 16 0 0 0 4 8 0 0 20 0 2 0 75714259 569348096 105187 18446744073709551615 93835433017344 93835435642397 140723299318080 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 93835436261272 93835436294234 93835461955584 140723299322251 140723299322375 140723299322375 140723299327977 0
Current children cumulated CPU time: 281.42 s
Current children cumulated vsize: 556004 KiB
Current children cumulated memory: 420748 KiB
################
# More data... #
################
/proc/meminfo: memFree=117457272/131250000 swapFree=33007332/33010684
[pid=82508] ppid=82504 vsize=1347212 memory=1161764 CPUtime=2974.68 cores=4,6
/proc/82508/stat : 82508 (ipbhs_gurobi) R 82504 82508 82351 0 -1 4194304 2782491 0 19 0 293942 3526 0 0 20 0 2 0 75714254 1379545088 290441 18446744073709551615 93835433017344 93835435642397 140723299318080 0 0 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 93835436261272 93835436294234 93835461955584 140723299322251 140723299322375 140723299322375 140723299327977 0
/proc/82508/statm: 336803 290441 3808 641 0 319286 0
[pid=82508/tid=82514] ppid=82504 vsize=1347212 memory=1161764 CPUtime=1.11 cores=4,6
/proc/82508/task/82514/stat : 82514 (ipbhs_gurobi) S 82504 82508 82351 0 -1 4194368 84 0 0 0 39 72 0 0 20 0 2 0 75714259 1379545088 290441 18446744073709551615 93835433017344 93835435642397 140723299318080 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 93835436261272 93835436294234 93835461955584 140723299322251 140723299322375 140723299322375 140723299327977 0
Current children cumulated CPU time: 2974.68 s
Current children cumulated vsize: 1347212 KiB
Current children cumulated memory: 1161764 KiB
[startup+3042.3 s]
/proc/loadavg: 4.12 4.11 4.02 5/267 82767
/proc/meminfo: memFree=117450264/131250000 swapFree=33007332/33010684
[pid=82508] ppid=82504 vsize=1347212 memory=1161764 CPUtime=3034.53 cores=4,6
/proc/82508/stat : 82508 (ipbhs_gurobi) R 82504 82508 82351 0 -1 4194304 2783543 0 19 0 299908 3545 0 0 20 0 2 0 75714254 1379545088 290441 18446744073709551615 93835433017344 93835435642397 140723299318080 0 0 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 93835436261272 93835436294234 93835461955584 140723299322251 140723299322375 140723299322375 140723299327977 0
/proc/82508/statm: 336803 290441 3808 641 0 319286 0
[pid=82508/tid=82514] ppid=82504 vsize=1347212 memory=1161764 CPUtime=1.12 cores=4,6
/proc/82508/task/82514/stat : 82514 (ipbhs_gurobi) S 82504 82508 82351 0 -1 4194368 84 0 0 0 39 73 0 0 20 0 2 0 75714259 1379545088 290441 18446744073709551615 93835433017344 93835435642397 140723299318080 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 93835436261272 93835436294234 93835461955584 140723299322251 140723299322375 140723299322375 140723299327977 0
Current children cumulated CPU time: 3034.53 s
Current children cumulated vsize: 1347212 KiB
Current children cumulated memory: 1161764 KiB
[startup+3102.3 s]
/proc/loadavg: 4.09 4.10 4.02 5/268 82770
/proc/meminfo: memFree=117444420/131250000 swapFree=33007332/33010684
[pid=82508] ppid=82504 vsize=1347264 memory=1161948 CPUtime=3094.37 cores=4,6
/proc/82508/stat : 82508 (ipbhs_gurobi) R 82504 82508 82351 0 -1 4194304 2798072 0 19 0 305865 3572 0 0 20 0 2 0 75714254 1379598336 290487 18446744073709551615 93835433017344 93835435642397 140723299318080 0 0 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 93835436261272 93835436294234 93835461955584 140723299322251 140723299322375 140723299322375 140723299327977 0
/proc/82508/statm: 336816 290487 3808 641 0 319299 0
[pid=82508/tid=82514] ppid=82504 vsize=1347264 memory=1161820 CPUtime=1.14 cores=4,6
/proc/82508/task/82514/stat : 82514 (ipbhs_gurobi) S 82504 82508 82351 0 -1 4194368 84 0 0 0 39 75 0 0 20 0 2 0 75714259 1379598336 290487 18446744073709551615 93835433017344 93835435642397 140723299318080 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 93835436261272 93835436294234 93835461955584 140723299322251 140723299322375 140723299322375 140723299327977 0
Current children cumulated CPU time: 3094.37 s
Current children cumulated vsize: 1347264 KiB
Current children cumulated memory: 1161948 KiB
[startup+3162.3 s]
/proc/loadavg: 4.13 4.11 4.03 5/269 82778
/proc/meminfo: memFree=117448640/131250000 swapFree=33007332/33010684
[pid=82508] ppid=82504 vsize=1347264 memory=1161948 CPUtime=3154.23 cores=4,6
/proc/82508/stat : 82508 (ipbhs_gurobi) R 82504 82508 82351 0 -1 4194304 2798242 0 19 0 311837 3586 0 0 20 0 2 0 75714254 1379598336 290487 18446744073709551615 93835433017344 93835435642397 140723299318080 0 0 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 93835436261272 93835436294234 93835461955584 140723299322251 140723299322375 140723299322375 140723299327977 0
/proc/82508/statm: 336816 290487 3808 641 0 319299 0
[pid=82508/tid=82514] ppid=82504 vsize=1347264 memory=1161948 CPUtime=1.16 cores=4,6
/proc/82508/task/82514/stat : 82514 (ipbhs_gurobi) S 82504 82508 82351 0 -1 4194368 85 0 0 0 40 76 0 0 20 0 2 0 75714259 1379598336 290487 18446744073709551615 93835433017344 93835435642397 140723299318080 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 93835436261272 93835436294234 93835461955584 140723299322251 140723299322375 140723299322375 140723299327977 0
Current children cumulated CPU time: 3154.23 s
Current children cumulated vsize: 1347264 KiB
Current children cumulated memory: 1161948 KiB
[startup+3222.3 s]
/proc/loadavg: 4.10 4.11 4.03 5/269 82782
/proc/meminfo: memFree=117433444/131250000 swapFree=33007332/33010684
[pid=82508] ppid=82504 vsize=1347448 memory=1162032 CPUtime=3214.08 cores=4,6
/proc/82508/stat : 82508 (ipbhs_gurobi) R 82504 82508 82351 0 -1 4194304 2815546 0 19 0 317794 3614 0 0 20 0 2 0 75714254 1379786752 290508 18446744073709551615 93835433017344 93835435642397 140723299318080 0 0 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 93835436261272 93835436294234 93835461955584 140723299322251 140723299322375 140723299322375 140723299327977 0
/proc/82508/statm: 336862 290508 3808 641 0 319345 0
[pid=82508/tid=82514] ppid=82504 vsize=1347448 memory=1161948 CPUtime=1.19 cores=4,6
/proc/82508/task/82514/stat : 82514 (ipbhs_gurobi) S 82504 82508 82351 0 -1 4194368 85 0 0 0 41 78 0 0 20 0 2 0 75714259 1379786752 290508 18446744073709551615 93835433017344 93835435642397 140723299318080 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 93835436261272 93835436294234 93835461955584 140723299322251 140723299322375 140723299322375 140723299327977 0
Current children cumulated CPU time: 3214.08 s
Current children cumulated vsize: 1347448 KiB
Current children cumulated memory: 1162032 KiB
[startup+3282.3 s]
/proc/loadavg: 4.08 4.10 4.03 5/269 82784
/proc/meminfo: memFree=117424048/131250000 swapFree=33007332/33010684
[pid=82508] ppid=82504 vsize=1347448 memory=1172616 CPUtime=3273.93 cores=4,6
/proc/82508/stat : 82508 (ipbhs_gurobi) R 82504 82508 82351 0 -1 4194304 2914207 0 19 0 323760 3633 0 0 20 0 2 0 75714254 1379786752 293154 18446744073709551615 93835433017344 93835435642397 140723299318080 0 0 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 93835436261272 93835436294234 93835461955584 140723299322251 140723299322375 140723299322375 140723299327977 0
/proc/82508/statm: 336862 293154 3808 641 0 319345 0
[pid=82508/tid=82514] ppid=82504 vsize=1347448 memory=1172616 CPUtime=1.21 cores=4,6
/proc/82508/task/82514/stat : 82514 (ipbhs_gurobi) S 82504 82508 82351 0 -1 4194368 87 0 0 0 42 79 0 0 20 0 2 0 75714259 1379786752 293154 18446744073709551615 93835433017344 93835435642397 140723299318080 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 93835436261272 93835436294234 93835461955584 140723299322251 140723299322375 140723299322375 140723299327977 0
Current children cumulated CPU time: 3273.93 s
Current children cumulated vsize: 1347448 KiB
Current children cumulated memory: 1172616 KiB
[startup+3342.3 s]
/proc/loadavg: 4.12 4.11 4.03 5/269 82786
/proc/meminfo: memFree=117403360/131250000 swapFree=33007332/33010684
[pid=82508] ppid=82504 vsize=1347448 memory=1172616 CPUtime=3333.78 cores=4,6
/proc/82508/stat : 82508 (ipbhs_gurobi) R 82504 82508 82351 0 -1 4194304 2987852 0 19 0 329729 3649 0 0 20 0 2 0 75714254 1379786752 293154 18446744073709551615 93835433017344 93835435642397 140723299318080 0 0 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 93835436261272 93835436294234 93835461955584 140723299322251 140723299322375 140723299322375 140723299327977 0
/proc/82508/statm: 336862 293154 3808 641 0 319345 0
[pid=82508/tid=82514] ppid=82504 vsize=1347448 memory=14432 CPUtime=1.23 cores=4,6
/proc/82508/task/82514/stat : 82514 (ipbhs_gurobi) S 82504 82508 82351 0 -1 4194368 90 0 0 0 43 80 0 0 20 0 2 0 75714259 1379786752 293154 18446744073709551615 93835433017344 93835435642397 140723299318080 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 93835436261272 93835436294234 93835461955584 140723299322251 140723299322375 140723299322375 140723299327977 0
Current children cumulated CPU time: 3333.78 s
Current children cumulated vsize: 1347448 KiB
Current children cumulated memory: 1172616 KiB
[startup+3402.3 s]
/proc/loadavg: 4.09 4.10 4.03 5/269 82788
/proc/meminfo: memFree=117359932/131250000 swapFree=33007332/33010684
[pid=82508] ppid=82504 vsize=1382912 memory=1214488 CPUtime=3393.63 cores=4,6
/proc/82508/stat : 82508 (ipbhs_gurobi) R 82504 82508 82351 0 -1 4194304 3056690 0 19 0 335686 3677 0 0 20 0 2 0 75714254 1416101888 303622 18446744073709551615 93835433017344 93835435642397 140723299318080 0 0 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 93835436261272 93835436294234 93835461955584 140723299322251 140723299322375 140723299322375 140723299327977 0
/proc/82508/statm: 345728 303622 3808 641 0 328211 0
[pid=82508/tid=82514] ppid=82504 vsize=1382912 memory=14432 CPUtime=1.25 cores=4,6
/proc/82508/task/82514/stat : 82514 (ipbhs_gurobi) S 82504 82508 82351 0 -1 4194368 91 0 0 0 43 82 0 0 20 0 2 0 75714259 1416101888 303622 18446744073709551615 93835433017344 93835435642397 140723299318080 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 93835436261272 93835436294234 93835461955584 140723299322251 140723299322375 140723299322375 140723299327977 0
Current children cumulated CPU time: 3393.63 s
Current children cumulated vsize: 1382912 KiB
Current children cumulated memory: 1214488 KiB
[startup+3462.3 s]
/proc/loadavg: 4.14 4.11 4.04 5/268 82791
/proc/meminfo: memFree=117347460/131250000 swapFree=33007332/33010684
[pid=82508] ppid=82504 vsize=1382912 memory=1214488 CPUtime=3453.49 cores=4,6
/proc/82508/stat : 82508 (ipbhs_gurobi) R 82504 82508 82351 0 -1 4194304 3120413 0 19 0 341657 3692 0 0 20 0 2 0 75714254 1416101888 303622 18446744073709551615 93835433017344 93835435642397 140723299318080 0 0 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 93835436261272 93835436294234 93835461955584 140723299322251 140723299322375 140723299322375 140723299327977 0
/proc/82508/statm: 345728 303622 3808 641 0 328211 0
[pid=82508/tid=82514] ppid=82504 vsize=1382912 memory=14432 CPUtime=1.27 cores=4,6
/proc/82508/task/82514/stat : 82514 (ipbhs_gurobi) S 82504 82508 82351 0 -1 4194368 93 0 0 0 44 83 0 0 20 0 2 0 75714259 1416101888 303622 18446744073709551615 93835433017344 93835435642397 140723299318080 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 93835436261272 93835436294234 93835461955584 140723299322251 140723299322375 140723299322375 140723299327977 0
Current children cumulated CPU time: 3453.49 s
Current children cumulated vsize: 1382912 KiB
Current children cumulated memory: 1214488 KiB
[startup+3522.3 s]
/proc/loadavg: 4.11 4.11 4.04 5/268 82793
/proc/meminfo: memFree=117326528/131250000 swapFree=33007332/33010684
[pid=82508] ppid=82504 vsize=1375540 memory=1223092 CPUtime=3513.35 cores=4,6
/proc/82508/stat : 82508 (ipbhs_gurobi) R 82504 82508 82351 0 -1 4194304 3170981 0 19 0 347629 3706 0 0 20 0 2 0 75714254 1408552960 305773 18446744073709551615 93835433017344 93835435642397 140723299318080 0 0 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 93835436261272 93835436294234 93835461955584 140723299322251 140723299322375 140723299322375 140723299327977 0
/proc/82508/statm: 343885 305773 3808 641 0 326368 0
[pid=82508/tid=82514] ppid=82504 vsize=1375540 memory=14432 CPUtime=1.29 cores=4,6
/proc/82508/task/82514/stat : 82514 (ipbhs_gurobi) S 82504 82508 82351 0 -1 4194368 93 0 0 0 45 84 0 0 20 0 2 0 75714259 1408552960 305773 18446744073709551615 93835433017344 93835435642397 140723299318080 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 93835436261272 93835436294234 93835461955584 140723299322251 140723299322375 140723299322375 140723299327977 0
Current children cumulated CPU time: 3513.35 s
Current children cumulated vsize: 1375540 KiB
Current children cumulated memory: 1223092 KiB
[startup+3582.3 s]
/proc/loadavg: 4.16 4.12 4.05 5/269 82796
/proc/meminfo: memFree=117294652/131250000 swapFree=33007332/33010684
[pid=82508] ppid=82504 vsize=1399400 memory=1233776 CPUtime=3573.2 cores=4,6
/proc/82508/stat : 82508 (ipbhs_gurobi) R 82504 82508 82351 0 -1 4194304 3185454 0 19 0 353596 3724 0 0 20 0 2 0 75714254 1432985600 308444 18446744073709551615 93835433017344 93835435642397 140723299318080 0 0 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 93835436261272 93835436294234 93835461955584 140723299322251 140723299322375 140723299322375 140723299327977 0
/proc/82508/statm: 349850 308444 3808 641 0 332333 0
[pid=82508/tid=82514] ppid=82504 vsize=1399400 memory=14432 CPUtime=1.31 cores=4,6
/proc/82508/task/82514/stat : 82514 (ipbhs_gurobi) S 82504 82508 82351 0 -1 4194368 93 0 0 0 46 85 0 0 20 0 2 0 75714259 1432985600 308444 18446744073709551615 93835433017344 93835435642397 140723299318080 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 93835436261272 93835436294234 93835461955584 140723299322251 140723299322375 140723299322375 140723299327977 0
Current children cumulated CPU time: 3573.2 s
Current children cumulated vsize: 1399400 KiB
Current children cumulated memory: 1233776 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.2 s]
/proc/loadavg: 4.10 4.11 4.04 5/265 82831
/proc/meminfo: memFree=124066928/131250000 swapFree=33007332/33010684
[pid=82508] ppid=82504 vsize=1399400 memory=1233776 CPUtime=3600.03 cores=4,6
/proc/82508/stat : 82508 (ipbhs_gurobi) R 82504 82508 82351 0 -1 4194304 3185636 0 19 0 356275 3728 0 0 20 0 2 0 75714254 1432985600 308444 18446744073709551615 93835433017344 93835435642397 140723299318080 0 0 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 93835436261272 93835436294234 93835461955584 140723299322251 140723299322375 140723299322375 140723299327977 0
/proc/82508/statm: 349850 308444 3808 641 0 332333 0
[pid=82508/tid=82514] ppid=82504 vsize=1399400 memory=346680 CPUtime=1.32 cores=4,6
/proc/82508/task/82514/stat : 82514 (ipbhs_gurobi) S 82504 82508 82351 0 -1 4194368 93 0 0 0 46 86 0 0 20 0 2 0 75714259 1432985600 308444 18446744073709551615 93835433017344 93835435642397 140723299318080 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 93835436261272 93835436294234 93835461955584 140723299322251 140723299322375 140723299322375 140723299327977 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 1399400 KiB
Current children cumulated memory: 1233776 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.24 s]
# the end of solver process 82508 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=3562.76 s, system=37.3185 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
Real time (s): 3609.24
CPU time (s): 3600.07
CPU user time (s): 3562.76
CPU system time (s): 37.3185
CPU usage (%): 99.7462
Max. virtual memory (cumulated for all children) (KiB): 1399400
Max. memory (cumulated for all children) (KiB): 1233776
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3562.76
system time used= 37.3185
maximum resident set size= 1233776
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3185636
page faults= 19
swaps= 0
block input operations= 1488
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 359067
involuntary context switches= 2197
# summary of solver processes directly reported to runsolver:
# pid: 82508
# total CPU time (s): 3600.07
# total CPU user time (s): 3562.76
# total CPU system time (s): 37.3185
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.07933 second user time and 16.0955 second system time
The end
Begin job on nodeC019 at 2025-07-04 05:39:27 IDJOB=4522029 IDBENCH=178564 IDSOLVER=3334 FILE ID=nodeC019/4522029-1751600367 RUNJOBID= nodeC019-1751600365-82362 SLURM_JOB_ID= 9598878 Free space on /tmp= 431348 MiB SOLVER NAME= IPBHS-GUROBI-SYM 2025-06-09 BENCH NAME= PB24/normalized-PB24/OPT-LIN/nordstrom/MIPLIB01/opt/miplib3/normalized-mitre.opb COMMAND LINE= ./ipbhs_gurobi --sym-cores-compact BENCHNAME --max-coef 1000000000 RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4522029-1751600367/watcher-4522029-1751600367 -o /tmp/evaluation-result-4522029-1751600367/solver-4522029-1751600367 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC019-1751600365-82362 --watchdog 3760 ./ipbhs_gurobi --sym-cores-compact HOME/instance-4522029-1751600367.opb --max-coef 1000000000 TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= ef3ff3fe247f050efe42854747d2eb97 RANDOM SEED=1790388280 nodeC019 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.677 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.37 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 : 3599.437 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.37 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 : 3601.241 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.37 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 : 3700.000 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.37 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.704 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.37 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 : 3599.646 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.37 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 : 3593.674 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.37 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 : 3700.000 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.37 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131250000 kB MemFree: 126827768 kB MemAvailable: 128933336 kB Buffers: 904 kB Cached: 2906892 kB SwapCached: 440 kB Active: 1028128 kB Inactive: 2761256 kB Active(anon): 869052 kB Inactive(anon): 27736 kB Active(file): 159076 kB Inactive(file): 2733520 kB Unevictable: 3072 kB Mlocked: 0 kB SwapTotal: 33010684 kB SwapFree: 33007332 kB Zswap: 0 kB Zswapped: 0 kB Dirty: 366164 kB Writeback: 4 kB AnonPages: 884244 kB Mapped: 110144 kB Shmem: 15192 kB KReclaimable: 104420 kB Slab: 193632 kB SReclaimable: 104420 kB SUnreclaim: 89212 kB KernelStack: 4176 kB PageTables: 4444 kB SecPageTables: 0 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 98635684 kB Committed_AS: 1320720 kB VmallocTotal: 34359738367 kB VmallocUsed: 150456 kB VmallocChunk: 0 kB Percpu: 3776 kB HardwareCorrupted: 0 kB AnonHugePages: 512000 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: 176852 kB DirectMap2M: 9031680 kB DirectMap1G: 126877696 kB Free space on /tmp at the end= 431280 MiB End job on nodeC019 at 2025-07-04 06:39:37