| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| IPBHS-GUROBI 2025-06-09 | ? (TO) | 3600.04 | 3605.51 |
| Name | PB24/normalized-PB06/OPT-LIN/submitted-PB05/ manquinho/ttp/normalized-data6_3.opb |
| MD5SUM | 9e6692c80f11b0068f23fe5849cf8b25 |
| Bench Category | OPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 23916 |
| Best CPU time to get the best result obtained on this benchmark | 3585.75 |
| 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 | 540 |
| Total number of constraints | 4476 |
| Number of constraints which are clauses | 2532 |
| Number of constraints which are cardinality constraints (but not clauses) | 264 |
| Number of constraints which are nor clauses,nor cardinality constraints | 1680 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 20 |
| Number of terms in the objective function | 180 |
| Biggest coefficient in the objective function | 1380 |
| Number of bits for the biggest coefficient in the objective function | 11 |
| Sum of the numbers in the objective function | 116904 |
| Number of bits of the sum of numbers in the objective function | 17 |
| Biggest number in a constraint | 1380 |
| Number of bits of the biggest number in a constraint | 11 |
| Biggest sum of numbers in a constraint | 116904 |
| Number of bits of the biggest sum of numbers | 17 |
| 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 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.08 c limit for coefficient in constraints and objective to 1000000000 0.00/0.08 c will solve HOME/instance-4486500-1751307480.opb 0.00/0.08 c [0.01] will start solving 192.89/193.27 c [0.01] solve iteration 1, LB=0, UB=116905 192.89/193.27 c [1.84] solve iteration 2, LB=17422, UB=26818 192.89/193.27 c [3.35] solve iteration 3, LB=19711, UB=26818 192.89/193.27 c [4.55] solve iteration 4, LB=20145, UB=26818 192.89/193.27 c [5.74] solve iteration 5, LB=20331, UB=26818 192.89/193.27 c [7.06] solve iteration 6, LB=20402, UB=26818 192.89/193.27 c [8.17] solve iteration 7, LB=20610, UB=26818 192.89/193.27 c [9.57] solve iteration 8, LB=20610, UB=26818 192.89/193.27 c [10.74] solve iteration 9, LB=20612, UB=26818 192.89/193.27 c [11.77] solve iteration 10, LB=20612, UB=26818 192.89/193.27 c [12.43] solve iteration 11, LB=20623, UB=26818 192.89/193.27 c [13.95] solve iteration 12, LB=20633, UB=26818 192.89/193.27 c [15.11] solve iteration 13, LB=20633, UB=26818 192.89/193.27 c [16.63] solve iteration 14, LB=20633, UB=26818 192.89/193.27 c [17.61] solve iteration 15, LB=20633, UB=26818 192.89/193.27 c [18.46] solve iteration 16, LB=20633, UB=26818 192.89/193.27 c [19.97] solve iteration 17, LB=20633, UB=26818 192.89/193.27 c [20.75] solve iteration 18, LB=20633, UB=26818 192.89/193.27 c [21.88] solve iteration 19, LB=20633, UB=26818 192.89/193.27 c [23.15] solve iteration 20, LB=20633, UB=26818 192.89/193.27 c [24.82] solve iteration 21, LB=20633, UB=26818 192.89/193.27 c [25.71] solve iteration 22, LB=20633, UB=26598 192.89/193.27 c [26.6] solve iteration 23, LB=20633, UB=26598 192.89/193.27 c [29.21] solve iteration 24, LB=20642, UB=26598 192.89/193.27 c [32.42] solve iteration 25, LB=20642, UB=26598 192.89/193.27 c [34.07] solve iteration 26, LB=20642, UB=26598 192.89/193.27 c [36.35] solve iteration 27, LB=20642, UB=25631 192.89/193.27 c [37.55] solve iteration 28, LB=20642, UB=25631 192.89/193.27 c [40.52] solve iteration 29, LB=20642, UB=25631 192.89/193.27 c [42.52] solve iteration 30, LB=20642, UB=25631 192.89/193.27 c [45.43] solve iteration 31, LB=20642, UB=25631 192.89/193.27 c [47.6] solve iteration 32, LB=20642, UB=25631 192.89/193.27 c [50.07] solve iteration 33, LB=20642, UB=25631 192.89/193.27 c [52.63] solve iteration 34, LB=20642, UB=25631 192.89/193.27 c [54.82] solve iteration 35, LB=20642, UB=25631 192.89/193.27 c [57.96] solve iteration 36, LB=20642, UB=25631 192.89/193.27 c [60.51] solve iteration 37, LB=20642, UB=25631 192.89/193.27 c [61.35] solve iteration 38, LB=20642, UB=25631 192.89/193.27 c [62.97] solve iteration 39, LB=20642, UB=25631 192.89/193.27 c [64.4] solve iteration 40, LB=20642, UB=25631 192.89/193.27 c [68.81] solve iteration 41, LB=20642, UB=25631 192.89/193.27 c [71.57] solve iteration 42, LB=20642, UB=25631 192.89/193.27 c [73.59] solve iteration 43, LB=20642, UB=25631 192.89/193.27 c [75.83] solve iteration 44, LB=20642, UB=25631 192.89/193.27 c [78.9] solve iteration 45, LB=20642, UB=25631 192.89/193.27 c [80.45] solve iteration 46, LB=20642, UB=25631 192.89/193.27 c [82.9] solve iteration 47, LB=20642, UB=25631 192.89/193.27 c [85.22] solve iteration 48, LB=20642, UB=25631 192.89/193.27 c [88.43] solve iteration 49, LB=20642, UB=25631 192.89/193.27 c [89.88] solve iteration 50, LB=20642, UB=25631 192.89/193.27 c [92.84] solve iteration 51, LB=20642, UB=25631 192.89/193.27 c [95.16] solve iteration 52, LB=20642, UB=25631 192.89/193.27 c [96.52] solve iteration 53, LB=20642, UB=25631 192.89/193.27 c [99.35] solve iteration 54, LB=20642, UB=25631 192.89/193.27 c [103.22] solve iteration 55, LB=20642, UB=25631 192.89/193.27 c [109.45] solve iteration 56, LB=20642, UB=25631 192.89/193.27 c [111.12] solve iteration 57, LB=20642, UB=25631 192.89/193.27 c [113.66] solve iteration 58, LB=20642, UB=25631 192.89/193.27 c [117.51] solve iteration 59, LB=20642, UB=25631 192.89/193.27 c [120.8] solve iteration 60, LB=20642, UB=25631 192.89/193.27 c [124.79] solve iteration 61, LB=20642, UB=25631 192.89/193.27 c [126.8] solve iteration 62, LB=20642, UB=25631 192.89/193.27 c [130.84] solve iteration 63, LB=20680, UB=25631 192.89/193.27 c [132.95] solve iteration 64, LB=20680, UB=25631 192.89/193.27 c [135.91] solve iteration 65, LB=20680, UB=25631 192.89/193.27 c [138.25] solve iteration 66, LB=20680, UB=25631 192.89/193.27 c [140.7] solve iteration 67, LB=20680, UB=25631 192.89/193.27 c [143.18] solve iteration 68, LB=20680, UB=25631 192.89/193.27 c [145.69] solve iteration 69, LB=20680, UB=25631 192.89/193.27 c [147.67] solve iteration 70, LB=20680, UB=25631 192.89/193.27 c [149.93] solve iteration 71, LB=20680, UB=25631 192.89/193.27 c [152.52] solve iteration 72, LB=20680, UB=25631 192.89/193.27 c [157.09] solve iteration 73, LB=20680, UB=25631 192.89/193.27 c [161.18] solve iteration 74, LB=20680, UB=25631 192.89/193.27 c [164.43] solve iteration 75, LB=20680, UB=25631 192.89/193.27 c [167.93] solve iteration 76, LB=20680, UB=25631 192.89/193.27 c [171.03] solve iteration 77, LB=20681, UB=25631 192.89/193.27 c [173.71] solve iteration 78, LB=20681, UB=25631 192.89/193.27 c [176.72] solve iteration 79, LB=20688, UB=25631 192.89/193.27 c [178.75] solve iteration 80, LB=20688, UB=25631 192.89/193.27 c [181.71] solve iteration 81, LB=20688, UB=25631 192.89/193.27 c [184.67] solve iteration 82, LB=20688, UB=25631 192.89/193.27 c [187.26] solve iteration 83, LB=20688, UB=25631 192.89/193.27 c [189.04] solve iteration 84, LB=20688, UB=25631 500.17/500.90 c [191.72] solve iteration 85, LB=20688, UB=25631 500.17/500.90 c [194.97] solve iteration 86, LB=20688, UB=25631 500.17/500.90 c [197.81] solve iteration 87, LB=20688, UB=25631 500.17/500.90 c [200.08] solve iteration 88, LB=20688, UB=25631 500.17/500.90 c [203.06] solve iteration 89, LB=20688, UB=25631 500.17/500.90 c [205.11] solve iteration 90, LB=20688, UB=25631 500.17/500.90 c [207.34] solve iteration 91, LB=20688, UB=25631 500.17/500.90 c [209.53] solve iteration 92, LB=20688, UB=25631 500.17/500.90 c [211.89] solve iteration 93, LB=20688, UB=25631 500.17/500.90 c [214.88] solve iteration 94, LB=20688, UB=25631 500.17/500.90 c [218.49] solve iteration 95, LB=20688, UB=25631 500.17/500.90 c [221.93] solve iteration 96, LB=20688, UB=25631 500.17/500.90 c [224] solve iteration 97, LB=20688, UB=25631 500.17/500.90 c [226.26] solve iteration 98, LB=20688, UB=25631 500.17/500.90 c [228.65] solve iteration 99, LB=20688, UB=25631 500.17/500.90 c [231.84] solve iteration 100, LB=20688, UB=25631 500.17/500.90 c [234.72] solve iteration 101, LB=20688, UB=25631 500.17/500.90 c [238] solve iteration 102, LB=20688, UB=25631 500.17/500.90 c [240.09] solve iteration 103, LB=20688, UB=25631 500.17/500.90 c [242.65] solve iteration 104, LB=20688, UB=25631 500.17/500.90 c [245.13] solve iteration 105, LB=20688, UB=25631 500.17/500.90 c [247.92] solve iteration 106, LB=20688, UB=25631 500.17/500.90 c [252.8] solve iteration 107, LB=20688, UB=25631 500.17/500.90 c [256.37] solve iteration 108, LB=20688, UB=25631 500.17/500.90 c [260.41] solve iteration 109, LB=20688, UB=25631 500.17/500.90 c [263.25] solve iteration 110, LB=20688, UB=25631 500.17/500.90 c [265.87] solve iteration 111, LB=20688, UB=25230 500.17/500.90 c [269.38] solve iteration 112, LB=20688, UB=25230 500.17/500.90 c [274.26] solve iteration 113, LB=20688, UB=25230 500.17/500.90 c [277.07] solve iteration 114, LB=20706, UB=25230 500.17/500.90 c [279.88] solve iteration 115, LB=20706, UB=25230 500.17/500.90 c [284.54] solve iteration 116, LB=20706, UB=25183 500.17/500.90 c [287.19] solve iteration 117, LB=20706, UB=25183 500.17/500.90 c [290.13] solve iteration 118, LB=20706, UB=25183 500.17/500.90 c [293.96] solve iteration 119, LB=20706, UB=25183 500.17/500.90 c [297.51] solve iteration 120, LB=20706, UB=25183 500.17/500.90 c [302.14] solve iteration 121, LB=20706, UB=25183 500.17/500.90 c [305.54] solve iteration 122, LB=20706, UB=25183 500.17/500.90 c [310.23] solve iteration 123, LB=20706, UB=25183 500.17/500.90 c [315.04] solve iteration 124, LB=20706, UB=25183 500.17/500.90 c [317.96] solve iteration 125, LB=20706, UB=25183 500.17/500.90 c [321.41] solve iteration 126, LB=20706, UB=25067 500.17/500.90 c [325.1] solve iteration 127, LB=20706, UB=25067 500.17/500.90 c [328.93] solve iteration 128, LB=20706, UB=25067 500.17/500.90 c [331.68] solve iteration 129, LB=20706, UB=25067 500.17/500.90 c [334.86] solve iteration 130, LB=20706, UB=25067 500.17/500.90 c [341.13] solve iteration 131, LB=20706, UB=25067 500.17/500.90 c [343.72] solve iteration 132, LB=20706, UB=25067 500.17/500.90 c [347.41] solve iteration 133, LB=20706, UB=25067 500.17/500.90 c [351.13] solve iteration 134, LB=20706, UB=25067 500.17/500.90 c [356.05] solve iteration 135, LB=20706, UB=25067 500.17/500.90 c [360.85] solve iteration 136, LB=20706, UB=24897 500.17/500.90 c [363.77] solve iteration 137, LB=20706, UB=24897 500.17/500.90 c [367.62] solve iteration 138, LB=20706, UB=24897 500.17/500.90 c [372.52] solve iteration 139, LB=20706, UB=24897 500.17/500.90 c [376.81] solve iteration 140, LB=20706, UB=24897 500.17/500.90 c [381.15] solve iteration 141, LB=20706, UB=24887 500.17/500.90 c [385.95] solve iteration 142, LB=20706, UB=24887 500.17/500.90 c [390.29] solve iteration 143, LB=20706, UB=24887 500.17/500.90 c [393.25] solve iteration 144, LB=20706, UB=24887 500.17/500.90 c [396.43] solve iteration 145, LB=20706, UB=24887 500.17/500.90 c [401.5] solve iteration 146, LB=20706, UB=24887 500.17/500.90 c [405.88] solve iteration 147, LB=20706, UB=24887 500.17/500.90 c [409.52] solve iteration 148, LB=20706, UB=24887 500.17/500.90 c [413.21] solve iteration 149, LB=20706, UB=24887 500.17/500.90 c [417.12] solve iteration 150, LB=20706, UB=24887 500.17/500.90 c [421.46] solve iteration 151, LB=20706, UB=24887 500.17/500.90 c [428.58] solve iteration 152, LB=20706, UB=24887 500.17/500.90 c [432.37] solve iteration 153, LB=20706, UB=24887 500.17/500.90 c [435.97] solve iteration 154, LB=20706, UB=24887 500.17/500.90 c [440.58] solve iteration 155, LB=20706, UB=24887 500.17/500.90 c [446.71] solve iteration 156, LB=20706, UB=24887 500.17/500.90 c [452] solve iteration 157, LB=20706, UB=24887 500.17/500.90 c [455.89] solve iteration 158, LB=20706, UB=24887 500.17/500.90 c [459.52] solve iteration 159, LB=20706, UB=24887 500.17/500.90 c [464.58] solve iteration 160, LB=20706, UB=24887 500.17/500.90 c [469.66] solve iteration 161, LB=20706, UB=24887 500.17/500.90 c [475.77] solve iteration 162, LB=20706, UB=24887 500.17/500.90 c [482.71] solve iteration 163, LB=20706, UB=24887 500.17/500.90 c [487.92] solve iteration 164, LB=20706, UB=24887 500.17/500.90 c [492.81] solve iteration 165, LB=20706, UB=24887 995.99/997.52 c [499.39] solve iteration 166, LB=20706, UB=24887 995.99/997.52 c [505.54] solve iteration 167, LB=20706, UB=24887 995.99/997.52 c [509.67] solve iteration 168, LB=20706, UB=24887 995.99/997.52 c [514.95] solve iteration 169, LB=20706, UB=24887 995.99/997.52 c [520.37] solve iteration 170, LB=20706, UB=24887 995.99/997.52 c [526.69] solve iteration 171, LB=20706, UB=24887 995.99/997.52 c [530.79] solve iteration 172, LB=20706, UB=24887 995.99/997.52 c [534.6] solve iteration 173, LB=20706, UB=24887 995.99/997.52 c [538.7] solve iteration 174, LB=20706, UB=24887 995.99/997.52 c [543.12] solve iteration 175, LB=20706, UB=24887 995.99/997.52 c [548.82] solve iteration 176, LB=20706, UB=24887 995.99/997.52 c [553.09] solve iteration 177, LB=20715, UB=24887 995.99/997.52 c [558.47] solve iteration 178, LB=20715, UB=24887 995.99/997.52 c [564.84] solve iteration 179, LB=20715, UB=24887 995.99/997.52 c [570.04] solve iteration 180, LB=20715, UB=24887 995.99/997.52 c [575.72] solve iteration 181, LB=20715, UB=24887 995.99/997.52 c [579.68] solve iteration 182, LB=20715, UB=24887 995.99/997.52 c [585.2] solve iteration 183, LB=20715, UB=24887 995.99/997.52 c [590.81] solve iteration 184, LB=20715, UB=24887 995.99/997.52 c [596.3] solve iteration 185, LB=20715, UB=24887 995.99/997.52 c [601.86] solve iteration 186, LB=20715, UB=24887 995.99/997.52 c [605.55] solve iteration 187, LB=20715, UB=24887 995.99/997.52 c [609.72] solve iteration 188, LB=20715, UB=24887 995.99/997.52 c [614.22] solve iteration 189, LB=20715, UB=24887 995.99/997.52 c [618.95] solve iteration 190, LB=20715, UB=24887 995.99/997.52 c [625.79] solve iteration 191, LB=20715, UB=24887 995.99/997.52 c [631.69] solve iteration 192, LB=20715, UB=24887 995.99/997.52 c [636.8] solve iteration 193, LB=20715, UB=24887 995.99/997.52 c [641.63] solve iteration 194, LB=20715, UB=24887 995.99/997.52 c [645.91] solve iteration 195, LB=20715, UB=24887 995.99/997.52 c [651.74] solve iteration 196, LB=20715, UB=24880 995.99/997.52 c [658.1] solve iteration 197, LB=20715, UB=24880 995.99/997.52 c [662.7] solve iteration 198, LB=20715, UB=24880 995.99/997.52 c [667.01] solve iteration 199, LB=20715, UB=24880 995.99/997.52 c [673.14] solve iteration 200, LB=20715, UB=24880 995.99/997.52 c [680.17] solve iteration 201, LB=20715, UB=24880 995.99/997.52 c [686] solve iteration 202, LB=20715, UB=24880 995.99/997.52 c [692.24] solve iteration 203, LB=20715, UB=24880 995.99/997.52 c [698.16] solve iteration 204, LB=20715, UB=24880 995.99/997.52 c [705.26] solve iteration 205, LB=20715, UB=24880 995.99/997.52 c [712.34] solve iteration 206, LB=20715, UB=24880 995.99/997.52 c [717.51] solve iteration 207, LB=20715, UB=24880 995.99/997.52 c [724.28] solve iteration 208, LB=20715, UB=24880 995.99/997.52 c [732.08] solve iteration 209, LB=20715, UB=24880 995.99/997.52 c [737.29] solve iteration 210, LB=20715, UB=24880 995.99/997.52 c [744.76] solve iteration 211, LB=20715, UB=24880 995.99/997.52 c [751.82] solve iteration 212, LB=20715, UB=24880 995.99/997.52 c [757.7] solve iteration 213, LB=20715, UB=24880 995.99/997.52 c [763.27] solve iteration 214, LB=20715, UB=24880 995.99/997.52 c [769.98] solve iteration 215, LB=20715, UB=24880 995.99/997.52 c [777.65] solve iteration 216, LB=20733, UB=24880 995.99/997.52 c [783.71] solve iteration 217, LB=20733, UB=24880 995.99/997.52 c [790.08] solve iteration 218, LB=20733, UB=24880 995.99/997.52 c [795.77] solve iteration 219, LB=20733, UB=24880 995.99/997.52 c [801.16] solve iteration 220, LB=20733, UB=24880 995.99/997.52 c [808.8] solve iteration 221, LB=20733, UB=24880 995.99/997.52 c [815.16] solve iteration 222, LB=20733, UB=24880 995.99/997.52 c [820.08] solve iteration 223, LB=20733, UB=24880 995.99/997.52 c [826.03] solve iteration 224, LB=20733, UB=24880 995.99/997.52 c [831.65] solve iteration 225, LB=20733, UB=24880 995.99/997.52 c [842.99] solve iteration 226, LB=20733, UB=24880 995.99/997.52 c [849.86] solve iteration 227, LB=20733, UB=24880 995.99/997.52 c [857.66] solve iteration 228, LB=20733, UB=24880 995.99/997.52 c [862.8] solve iteration 229, LB=20733, UB=24880 995.99/997.52 c [869.68] solve iteration 230, LB=20733, UB=24880 995.99/997.52 c [877.86] solve iteration 231, LB=20733, UB=24880 995.99/997.52 c [883.79] solve iteration 232, LB=20733, UB=24880 995.99/997.52 c [890.86] solve iteration 233, LB=20733, UB=24880 995.99/997.52 c [896.76] solve iteration 234, LB=20733, UB=24880 995.99/997.52 c [904.67] solve iteration 235, LB=20733, UB=24880 995.99/997.52 c [913.09] solve iteration 236, LB=20733, UB=24880 995.99/997.52 c [921.36] solve iteration 237, LB=20733, UB=24880 995.99/997.52 c [927.34] solve iteration 238, LB=20733, UB=24880 995.99/997.52 c [936.15] solve iteration 239, LB=20733, UB=24880 995.99/997.52 c [943.86] solve iteration 240, LB=20733, UB=24880 995.99/997.52 c [951.28] solve iteration 241, LB=20733, UB=24880 995.99/997.52 c [957.28] solve iteration 242, LB=20733, UB=24880 995.99/997.52 c [963.79] solve iteration 243, LB=20733, UB=24880 995.99/997.52 c [972.52] solve iteration 244, LB=20733, UB=24880 995.99/997.52 c [983.38] solve iteration 245, LB=20733, UB=24880 1670.44/1673.08 c [991.86] solve iteration 246, LB=20733, UB=24880 1670.44/1673.08 c [998.02] solve iteration 247, LB=20733, UB=24880 1670.44/1673.08 c [1004.83] solve iteration 248, LB=20733, UB=24880 1670.44/1673.08 c [1012] solve iteration 249, LB=20733, UB=24880 1670.44/1673.08 c [1021.11] solve iteration 250, LB=20733, UB=24880 1670.44/1673.08 c [1029.52] solve iteration 251, LB=20733, UB=24880 1670.44/1673.08 c [1035.82] solve iteration 252, LB=20733, UB=24880 1670.44/1673.08 c [1042.68] solve iteration 253, LB=20733, UB=24880 1670.44/1673.08 c [1050.32] solve iteration 254, LB=20733, UB=24880 1670.44/1673.08 c [1059.32] solve iteration 255, LB=20733, UB=24880 1670.44/1673.08 c [1069.91] solve iteration 256, LB=20733, UB=24880 1670.44/1673.08 c [1076.4] solve iteration 257, LB=20733, UB=24880 1670.44/1673.08 c [1084.28] solve iteration 258, LB=20733, UB=24880 1670.44/1673.08 c [1092.06] solve iteration 259, LB=20733, UB=24880 1670.44/1673.08 c [1097.97] solve iteration 260, LB=20733, UB=24880 1670.44/1673.08 c [1107.68] solve iteration 261, LB=20733, UB=24880 1670.44/1673.08 c [1113.66] solve iteration 262, LB=20733, UB=24880 1670.44/1673.08 c [1120.87] solve iteration 263, LB=20733, UB=24880 1670.44/1673.08 c [1129.6] solve iteration 264, LB=20733, UB=24880 1670.44/1673.08 c [1135.77] solve iteration 265, LB=20733, UB=24880 1670.44/1673.08 c [1145.2] solve iteration 266, LB=20733, UB=24880 1670.44/1673.08 c [1152.44] solve iteration 267, LB=20733, UB=24880 1670.44/1673.08 c [1159.75] solve iteration 268, LB=20733, UB=24880 1670.44/1673.08 c [1168.49] solve iteration 269, LB=20733, UB=24880 1670.44/1673.08 c [1175.19] solve iteration 270, LB=20733, UB=24880 1670.44/1673.08 c [1184.86] solve iteration 271, LB=20733, UB=24880 1670.44/1673.08 c [1193.47] solve iteration 272, LB=20733, UB=24880 1670.44/1673.08 c [1200.66] solve iteration 273, LB=20733, UB=24880 1670.44/1673.08 c [1207.79] solve iteration 274, LB=20733, UB=24880 1670.44/1673.08 c [1216.11] solve iteration 275, LB=20733, UB=24880 1670.44/1673.08 c [1227.67] solve iteration 276, LB=20733, UB=24880 1670.44/1673.08 c [1237.17] solve iteration 277, LB=20733, UB=24880 1670.44/1673.08 c [1244.73] solve iteration 278, LB=20733, UB=24880 1670.44/1673.08 c [1250.59] solve iteration 279, LB=20733, UB=24880 1670.44/1673.08 c [1261.29] solve iteration 280, LB=20733, UB=24880 1670.44/1673.08 c [1272.36] solve iteration 281, LB=20733, UB=24880 1670.44/1673.08 c [1281.01] solve iteration 282, LB=20733, UB=24880 1670.44/1673.08 c [1287.45] solve iteration 283, LB=20733, UB=24880 1670.44/1673.08 c [1293.47] solve iteration 284, LB=20733, UB=24880 1670.44/1673.08 c [1300.77] solve iteration 285, LB=20733, UB=24880 1670.44/1673.08 c [1311.08] solve iteration 286, LB=20733, UB=24880 1670.44/1673.08 c [1318.83] solve iteration 287, LB=20733, UB=24880 1670.44/1673.08 c [1325.47] solve iteration 288, LB=20733, UB=24880 1670.44/1673.08 c [1333.1] solve iteration 289, LB=20733, UB=24880 1670.44/1673.08 c [1342.18] solve iteration 290, LB=20733, UB=24880 1670.44/1673.08 c [1352.1] solve iteration 291, LB=20733, UB=24873 1670.44/1673.08 c [1359.23] solve iteration 292, LB=20733, UB=24873 1670.44/1673.08 c [1367.51] solve iteration 293, LB=20751, UB=24873 1670.44/1673.08 c [1376.18] solve iteration 294, LB=20751, UB=24873 1670.44/1673.08 c [1385.76] solve iteration 295, LB=20751, UB=24873 1670.44/1673.08 c [1396.9] solve iteration 296, LB=20751, UB=24741 1670.44/1673.08 c [1404.86] solve iteration 297, LB=20751, UB=24741 1670.44/1673.08 c [1413.28] solve iteration 298, LB=20751, UB=24741 1670.44/1673.08 c [1419.62] solve iteration 299, LB=20751, UB=24741 1670.44/1673.08 c [1427.35] solve iteration 300, LB=20751, UB=24741 1670.44/1673.08 c [1435.15] solve iteration 301, LB=20751, UB=24738 1670.44/1673.08 c [1442.27] solve iteration 302, LB=20751, UB=24738 1670.44/1673.08 c [1450.45] solve iteration 303, LB=20751, UB=24738 1670.44/1673.08 c [1458.7] solve iteration 304, LB=20751, UB=24738 1670.44/1673.08 c [1467.72] solve iteration 305, LB=20751, UB=24738 1670.44/1673.08 c [1479.2] solve iteration 306, LB=20751, UB=24738 1670.44/1673.08 c [1486.08] solve iteration 307, LB=20751, UB=24738 1670.44/1673.08 c [1496.64] solve iteration 308, LB=20751, UB=24738 1670.44/1673.08 c [1505.1] solve iteration 309, LB=20751, UB=24738 1670.44/1673.08 c [1514.21] solve iteration 310, LB=20751, UB=24738 1670.44/1673.08 c [1525.97] solve iteration 311, LB=20751, UB=24738 1670.44/1673.08 c [1537.43] solve iteration 312, LB=20751, UB=24738 1670.44/1673.08 c [1547.32] solve iteration 313, LB=20751, UB=24738 1670.44/1673.08 c [1554.92] solve iteration 314, LB=20751, UB=24738 1670.44/1673.08 c [1563.24] solve iteration 315, LB=20751, UB=24738 1670.44/1673.08 c [1573.6] solve iteration 316, LB=20751, UB=24708 1670.44/1673.08 c [1582.27] solve iteration 317, LB=20751, UB=24708 1670.44/1673.08 c [1592.38] solve iteration 318, LB=20751, UB=24708 1670.44/1673.08 c [1599.31] solve iteration 319, LB=20751, UB=24708 1670.44/1673.08 c [1606.56] solve iteration 320, LB=20751, UB=24708 1670.44/1673.08 c [1619.31] solve iteration 321, LB=20751, UB=24708 1670.44/1673.08 c [1626.22] solve iteration 322, LB=20751, UB=24708 1670.44/1673.08 c [1633.39] solve iteration 323, LB=20751, UB=24708 1670.44/1673.08 c [1641.99] solve iteration 324, LB=20751, UB=24708 1670.44/1673.08 c [1650.11] solve iteration 325, LB=20751, UB=24708 2575.09/2578.98 c [1663.67] solve iteration 326, LB=20751, UB=24708 2575.09/2578.98 c [1674] solve iteration 327, LB=20751, UB=24708 2575.09/2578.98 c [1681.52] solve iteration 328, LB=20751, UB=24708 2575.09/2578.98 c [1688.48] solve iteration 329, LB=20751, UB=24708 2575.09/2578.98 c [1695.97] solve iteration 330, LB=20751, UB=24708 2575.09/2578.98 c [1711.86] solve iteration 331, LB=20751, UB=24708 2575.09/2578.98 c [1720.95] solve iteration 332, LB=20751, UB=24708 2575.09/2578.98 c [1730.25] solve iteration 333, LB=20751, UB=24708 2575.09/2578.98 c [1738.57] solve iteration 334, LB=20751, UB=24708 2575.09/2578.98 c [1745.81] solve iteration 335, LB=20751, UB=24708 2575.09/2578.98 c [1759.85] solve iteration 336, LB=20751, UB=24708 2575.09/2578.98 c [1769.25] solve iteration 337, LB=20751, UB=24708 2575.09/2578.98 c [1778.58] solve iteration 338, LB=20751, UB=24708 2575.09/2578.98 c [1787.76] solve iteration 339, LB=20751, UB=24708 2575.09/2578.98 c [1797.64] solve iteration 340, LB=20751, UB=24708 2575.09/2578.98 c [1808.46] solve iteration 341, LB=20751, UB=24482 2575.09/2578.98 c [1816.62] solve iteration 342, LB=20751, UB=24482 2575.09/2578.98 c [1824.72] solve iteration 343, LB=20751, UB=24482 2575.09/2578.98 c [1832.74] solve iteration 344, LB=20751, UB=24482 2575.09/2578.98 c [1841.64] solve iteration 345, LB=20751, UB=24482 2575.09/2578.98 c [1856.73] solve iteration 346, LB=20751, UB=24482 2575.09/2578.98 c [1866.26] solve iteration 347, LB=20751, UB=24482 2575.09/2578.98 c [1876.74] solve iteration 348, LB=20751, UB=24482 2575.09/2578.98 c [1887.44] solve iteration 349, LB=20751, UB=24482 2575.09/2578.98 c [1895.29] solve iteration 350, LB=20751, UB=24482 2575.09/2578.98 c [1909.81] solve iteration 351, LB=20751, UB=24482 2575.09/2578.98 c [1919.21] solve iteration 352, LB=20751, UB=24482 2575.09/2578.98 c [1928.21] solve iteration 353, LB=20751, UB=24482 2575.09/2578.98 c [1938.27] solve iteration 354, LB=20751, UB=24482 2575.09/2578.98 c [1951.13] solve iteration 355, LB=20751, UB=24482 2575.09/2578.98 c [1967.03] solve iteration 356, LB=20751, UB=24482 2575.09/2578.98 c [1976.89] solve iteration 357, LB=20751, UB=24482 2575.09/2578.98 c [1987.8] solve iteration 358, LB=20751, UB=24482 2575.09/2578.98 c [1997.98] solve iteration 359, LB=20751, UB=24482 2575.09/2578.98 c [2005.83] solve iteration 360, LB=20751, UB=24482 2575.09/2578.98 c [2022.43] solve iteration 361, LB=20751, UB=24482 2575.09/2578.98 c [2032.18] solve iteration 362, LB=20751, UB=24482 2575.09/2578.98 c [2042.32] solve iteration 363, LB=20751, UB=24482 2575.09/2578.98 c [2052.71] solve iteration 364, LB=20751, UB=24482 2575.09/2578.98 c [2062.56] solve iteration 365, LB=20751, UB=24482 2575.09/2578.98 c [2080.54] solve iteration 366, LB=20751, UB=24482 2575.09/2578.98 c [2090.59] solve iteration 367, LB=20751, UB=24482 2575.09/2578.98 c [2100.41] solve iteration 368, LB=20751, UB=24482 2575.09/2578.98 c [2108.75] solve iteration 369, LB=20751, UB=24482 2575.09/2578.98 c [2117.18] solve iteration 370, LB=20751, UB=24482 2575.09/2578.98 c [2135] solve iteration 371, LB=20751, UB=24482 2575.09/2578.98 c [2143.63] solve iteration 372, LB=20751, UB=24482 2575.09/2578.98 c [2152.34] solve iteration 373, LB=20751, UB=24482 2575.09/2578.98 c [2161.33] solve iteration 374, LB=20751, UB=24482 2575.09/2578.98 c [2170.69] solve iteration 375, LB=20751, UB=24482 2575.09/2578.98 c [2190.27] solve iteration 376, LB=20751, UB=24482 2575.09/2578.98 c [2200.51] solve iteration 377, LB=20751, UB=24482 2575.09/2578.98 c [2210.93] solve iteration 378, LB=20751, UB=24482 2575.09/2578.98 c [2222.59] solve iteration 379, LB=20751, UB=24482 2575.09/2578.98 c [2233.06] solve iteration 380, LB=20751, UB=24482 2575.09/2578.98 c [2251.81] solve iteration 381, LB=20751, UB=24482 2575.09/2578.98 c [2261.84] solve iteration 382, LB=20751, UB=24482 2575.09/2578.98 c [2273.08] solve iteration 383, LB=20751, UB=24482 2575.09/2578.98 c [2283.96] solve iteration 384, LB=20751, UB=24482 2575.09/2578.98 c [2294.3] solve iteration 385, LB=20751, UB=24482 2575.09/2578.98 c [2315.38] solve iteration 386, LB=20751, UB=24482 2575.09/2578.98 c [2327.75] solve iteration 387, LB=20751, UB=24482 2575.09/2578.98 c [2337.23] solve iteration 388, LB=20751, UB=24482 2575.09/2578.98 c [2349.47] solve iteration 389, LB=20751, UB=24482 2575.09/2578.98 c [2361.54] solve iteration 390, LB=20751, UB=24482 2575.09/2578.98 c [2385.46] solve iteration 391, LB=20751, UB=24482 2575.09/2578.98 c [2398.69] solve iteration 392, LB=20751, UB=24482 2575.09/2578.98 c [2408.3] solve iteration 393, LB=20751, UB=24482 2575.09/2578.98 c [2417.16] solve iteration 394, LB=20751, UB=24482 2575.09/2578.98 c [2427.87] solve iteration 395, LB=20751, UB=24482 2575.09/2578.98 c [2450.76] solve iteration 396, LB=20751, UB=24482 2575.09/2578.98 c [2461.49] solve iteration 397, LB=20751, UB=24482 2575.09/2578.98 c [2473.17] solve iteration 398, LB=20751, UB=24482 2575.09/2578.98 c [2484.17] solve iteration 399, LB=20751, UB=24482 2575.09/2578.98 c [2500.21] solve iteration 400, LB=20751, UB=24482 2575.09/2578.98 c [2522.78] solve iteration 401, LB=20751, UB=24482 2575.09/2578.98 c [2532.46] solve iteration 402, LB=20751, UB=24482 2575.09/2578.98 c [2544.33] solve iteration 403, LB=20751, UB=24482
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: 63794 MiB (62785 MiB free)
memory of node 1: 64507 MiB (63195 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4486500-1751307480/watcher-4486500-1751307480 -o /tmp/evaluation-result-4486500-1751307480/solver-4486500-1751307480 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC012-1751303874-40370 --watchdog 3760 ./ipbhs_gurobi HOME/instance-4486500-1751307480.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
Current StackSize limit: 8192 KiB
solver pid=40890, runsolver pid=40887
[startup+0.100062 s]*
/proc/loadavg: 4.18 4.28 4.21 5/254 40892
/proc/meminfo: memFree=129004392/131382112 swapFree=33010684/33010684
[pid=40890] ppid=40887 vsize=91628 memory=23192 CPUtime=0.1 cores=4,6
/proc/40890/stat : 40890 (ipbhs_gurobi) R 40887 40890 40359 0 -1 4194304 1754 0 0 0 6 4 0 0 20 0 2 0 46427739 93827072 5798 18446744073709551615 94510382432256 94510385057309 140737229159184 0 0 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 94510385676184 94510385709146 94510396874752 140737229162911 140737229163015 140737229163015 140737229168617 0
/proc/40890/statm: 22907 5798 3488 641 0 5390 0
[pid=40890/tid=40892] ppid=40887 vsize=91628 memory=4026531960 CPUtime=0 cores=4,6
/proc/40890/task/40892/stat : 40892 (ipbhs_gurobi) R 40887 40890 40359 0 -1 4194368 0 0 0 0 0 0 0 0 20 0 2 0 46427747 93827072 5798 18446744073709551615 94510382432256 94510385057309 140737229159184 0 0 0 0 4096 0 0 0 0 -1 6 0 0 0 0 0 94510385676184 94510385709146 94510396874752 140737229162911 140737229163015 140737229163015 140737229168617 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 91628 KiB
Current children cumulated memory: 23192 KiB
[startup+0.213317 s]*
/proc/loadavg: 4.18 4.28 4.21 5/254 40892
/proc/meminfo: memFree=129004392/131382112 swapFree=33010684/33010684
[pid=40890] ppid=40887 vsize=91628 memory=23192 CPUtime=0.2 cores=4,6
/proc/40890/stat : 40890 (ipbhs_gurobi) R 40887 40890 40359 0 -1 4194304 1754 0 0 0 14 6 0 0 20 0 2 0 46427739 93827072 5798 18446744073709551615 94510382432256 94510385057309 140737229159184 0 0 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 94510385676184 94510385709146 94510396874752 140737229162911 140737229163015 140737229163015 140737229168617 0
/proc/40890/statm: 22907 5798 3488 641 0 5390 0
[pid=40890/tid=40892] ppid=40887 vsize=91628 memory=3472328132921917724 CPUtime=0 cores=4,6
/proc/40890/task/40892/stat : 40892 (ipbhs_gurobi) S 40887 40890 40359 0 -1 4194368 0 0 0 0 0 0 0 0 20 0 2 0 46427747 93827072 5798 18446744073709551615 94510382432256 94510385057309 140737229159184 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 94510385676184 94510385709146 94510396874752 140737229162911 140737229163015 140737229163015 140737229168617 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 91628 KiB
Current children cumulated memory: 23192 KiB
[startup+0.313323 s]*
/proc/loadavg: 4.18 4.28 4.21 5/254 40892
/proc/meminfo: memFree=129004392/131382112 swapFree=33010684/33010684
[pid=40890] ppid=40887 vsize=91628 memory=23192 CPUtime=0.31 cores=4,6
/proc/40890/stat : 40890 (ipbhs_gurobi) R 40887 40890 40359 0 -1 4194304 1755 0 0 0 23 8 0 0 20 0 2 0 46427739 93827072 5798 18446744073709551615 94510382432256 94510385057309 140737229159184 0 0 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 94510385676184 94510385709146 94510396874752 140737229162911 140737229163015 140737229163015 140737229168617 0
/proc/40890/statm: 22907 5798 3488 641 0 5390 0
[pid=40890/tid=40892] ppid=40887 vsize=91628 memory=-7675384534132029382 CPUtime=0 cores=4,6
/proc/40890/task/40892/stat : 40892 (ipbhs_gurobi) S 40887 40890 40359 0 -1 4194368 0 0 0 0 0 0 0 0 20 0 2 0 46427747 93827072 5798 18446744073709551615 94510382432256 94510385057309 140737229159184 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 94510385676184 94510385709146 94510396874752 140737229162911 140737229163015 140737229163015 140737229168617 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 91628 KiB
Current children cumulated memory: 23192 KiB
[startup+0.700321 s]
/proc/loadavg: 4.18 4.28 4.21 5/254 40892
/proc/meminfo: memFree=129004196/131382112 swapFree=33010684/33010684
[pid=40890] ppid=40887 vsize=91628 memory=23192 CPUtime=0.68 cores=4,6
/proc/40890/stat : 40890 (ipbhs_gurobi) R 40887 40890 40359 0 -1 4194304 1756 0 0 0 59 9 0 0 20 0 2 0 46427739 93827072 5798 18446744073709551615 94510382432256 94510385057309 140737229159184 0 0 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 94510385676184 94510385709146 94510396874752 140737229162911 140737229163015 140737229163015 140737229168617 0
/proc/40890/statm: 22907 5798 3488 641 0 5390 0
[pid=40890/tid=40892] ppid=40887 vsize=91628 memory=17664 CPUtime=0 cores=4,6
/proc/40890/task/40892/stat : 40892 (ipbhs_gurobi) S 40887 40890 40359 0 -1 4194368 0 0 0 0 0 0 0 0 20 0 2 0 46427747 93827072 5798 18446744073709551615 94510382432256 94510385057309 140737229159184 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 94510385676184 94510385709146 94510396874752 140737229162911 140737229163015 140737229163015 140737229168617 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 91628 KiB
Current children cumulated memory: 23192 KiB
[startup+1.50031 s]
/proc/loadavg: 4.25 4.29 4.22 4/251 40896
/proc/meminfo: memFree=129265888/131382112 swapFree=33010684/33010684
[pid=40890] ppid=40887 vsize=91628 memory=23192 CPUtime=1.48 cores=4,6
/proc/40890/stat : 40890 (ipbhs_gurobi) R 40887 40890 40359 0 -1 4194304 1768 0 0 0 136 12 0 0 20 0 2 0 46427739 93827072 5798 18446744073709551615 94510382432256 94510385057309 140737229159184 0 0 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 94510385676184 94510385709146 94510396874752 140737229162911 140737229163015 140737229163015 140737229168617 0
/proc/40890/statm: 22907 5798 3488 641 0 5390 0
[pid=40890/tid=40892] ppid=40887 vsize=91628 memory=17664 CPUtime=0 cores=4,6
/proc/40890/task/40892/stat : 40892 (ipbhs_gurobi) S 40887 40890 40359 0 -1 4194368 0 0 0 0 0 0 0 0 20 0 2 0 46427747 93827072 5798 18446744073709551615 94510382432256 94510385057309 140737229159184 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 94510385676184 94510385709146 94510396874752 140737229162911 140737229163015 140737229163015 140737229168617 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 91628 KiB
Current children cumulated memory: 23192 KiB
[startup+3.11293 s]
/proc/loadavg: 4.25 4.29 4.22 5/254 40938
/proc/meminfo: memFree=128544424/131382112 swapFree=33010684/33010684
[pid=40890] ppid=40887 vsize=93676 memory=24344 CPUtime=3.09 cores=4,6
/proc/40890/stat : 40890 (ipbhs_gurobi) R 40887 40890 40359 0 -1 4194304 2762 0 0 0 291 18 0 0 20 0 2 0 46427739 95924224 6086 18446744073709551615 94510382432256 94510385057309 140737229159184 0 0 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 94510385676184 94510385709146 94510396874752 140737229162911 140737229163015 140737229163015 140737229168617 0
/proc/40890/statm: 23419 6086 3488 641 0 5902 0
[pid=40890/tid=40892] ppid=40887 vsize=93676 memory=-7675384534132029382 CPUtime=0 cores=4,6
/proc/40890/task/40892/stat : 40892 (ipbhs_gurobi) S 40887 40890 40359 0 -1 4194368 2 0 0 0 0 0 0 0 20 0 2 0 46427747 95924224 6086 18446744073709551615 94510382432256 94510385057309 140737229159184 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 94510385676184 94510385709146 94510396874752 140737229162911 140737229163015 140737229163015 140737229168617 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 93676 KiB
Current children cumulated memory: 24344 KiB
[startup+6.30029 s]
/proc/loadavg: 4.23 4.29 4.21 5/254 40938
/proc/meminfo: memFree=128542156/131382112 swapFree=33010684/33010684
[pid=40890] ppid=40887 vsize=104768 memory=29592 CPUtime=6.27 cores=4,6
/proc/40890/stat : 40890 (ipbhs_gurobi) R 40887 40890 40359 0 -1 4194304 4779 0 0 0 597 30 0 0 20 0 2 0 46427739 107282432 7398 18446744073709551615 94510382432256 94510385057309 140737229159184 0 0 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 94510385676184 94510385709146 94510396874752 140737229162911 140737229163015 140737229163015 140737229168617 0
/proc/40890/statm: 26192 7398 3552 641 0 8675 0
[pid=40890/tid=40892] ppid=40887 vsize=104768 memory=26136 CPUtime=0 cores=4,6
/proc/40890/task/40892/stat : 40892 (ipbhs_gurobi) S 40887 40890 40359 0 -1 4194368 4 0 0 0 0 0 0 0 20 0 2 0 46427747 107282432 7398 18446744073709551615 94510382432256 94510385057309 140737229159184 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 94510385676184 94510385709146 94510396874752 140737229162911 140737229163015 140737229163015 140737229168617 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 104768 KiB
Current children cumulated memory: 29592 KiB
[startup+12.7003 s]
/proc/loadavg: 4.21 4.28 4.21 5/254 40938
/proc/meminfo: memFree=128523444/131382112 swapFree=33010684/33010684
[pid=40890] ppid=40887 vsize=110496 memory=39652 CPUtime=12.67 cores=4,6
/proc/40890/stat : 40890 (ipbhs_gurobi) R 40887 40890 40359 0 -1 4194304 11110 0 0 0 1217 50 0 0 20 0 2 0 46427739 113147904 9913 18446744073709551615 94510382432256 94510385057309 140737229159184 0 0 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 94510385676184 94510385709146 94510396874752 140737229162911 140737229163015 140737229163015 140737229168617 0
/proc/40890/statm: 27624 9913 3552 641 0 10107 0
[pid=40890/tid=40892] ppid=40887 vsize=110496 memory=6512 CPUtime=0.01 cores=4,6
/proc/40890/task/40892/stat : 40892 (ipbhs_gurobi) S 40887 40890 40359 0 -1 4194368 8 0 0 0 0 1 0 0 20 0 2 0 46427747 113147904 9913 18446744073709551615 94510382432256 94510385057309 140737229159184 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 94510385676184 94510385709146 94510396874752 140737229162911 140737229163015 140737229163015 140737229168617 0
Current children cumulated CPU time: 12.67 s
Current children cumulated vsize: 110496 KiB
Current children cumulated memory: 39652 KiB
[startup+25.5003 s]
/proc/loadavg: 4.17 4.27 4.21 5/254 40938
/proc/meminfo: memFree=128507568/131382112 swapFree=33010684/33010684
[pid=40890] ppid=40887 vsize=124992 memory=53384 CPUtime=25.45 cores=4,6
/proc/40890/stat : 40890 (ipbhs_gurobi) R 40887 40890 40359 0 -1 4194304 20722 0 0 0 2463 82 0 0 20 0 2 0 46427739 127991808 13346 18446744073709551615 94510382432256 94510385057309 140737229159184 0 0 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 94510385676184 94510385709146 94510396874752 140737229162911 140737229163015 140737229163015 140737229168617 0
/proc/40890/statm: 31248 13346 3552 641 0 13731 0
[pid=40890/tid=40892] ppid=40887 vsize=124992 memory=53384 CPUtime=0.02 cores=4,6
/proc/40890/task/40892/stat : 40892 (ipbhs_gurobi) S 40887 40890 40359 0 -1 4194368 10 0 0 0 0 2 0 0 20 0 2 0 46427747 127991808 13346 18446744073709551615 94510382432256 94510385057309 140737229159184 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 94510385676184 94510385709146 94510396874752 140737229162911 140737229163015 140737229163015 140737229168617 0
Current children cumulated CPU time: 25.45 s
Current children cumulated vsize: 124992 KiB
Current children cumulated memory: 53384 KiB
[startup+51.1129 s]
/proc/loadavg: 4.17 4.26 4.21 5/254 40938
/proc/meminfo: memFree=128478096/131382112 swapFree=33010684/33010684
[pid=40890] ppid=40887 vsize=142248 memory=73100 CPUtime=51.03 cores=4,6
/proc/40890/stat : 40890 (ipbhs_gurobi) R 40887 40890 40359 0 -1 4194304 43200 0 0 0 4962 141 0 0 20 0 2 0 46427739 145661952 18275 18446744073709551615 94510382432256 94510385057309 140737229159184 0 0 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 94510385676184 94510385709146 94510396874752 140737229162911 140737229163015 140737229163015 140737229168617 0
/proc/40890/statm: 35562 18275 3552 641 0 18045 0
[pid=40890/tid=40892] ppid=40887 vsize=142248 memory=14848 CPUtime=0.05 cores=4,6
/proc/40890/task/40892/stat : 40892 (ipbhs_gurobi) S 40887 40890 40359 0 -1 4194368 12 0 0 0 1 4 0 0 20 0 2 0 46427747 145661952 18275 18446744073709551615 94510382432256 94510385057309 140737229159184 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 94510385676184 94510385709146 94510396874752 140737229162911 140737229163015 140737229163015 140737229168617 0
Current children cumulated CPU time: 51.03 s
Current children cumulated vsize: 142248 KiB
Current children cumulated memory: 73100 KiB
[startup+102.3 s]
/proc/loadavg: 4.14 4.23 4.20 5/254 40986
/proc/meminfo: memFree=127248048/131382112 swapFree=33010684/33010684
[pid=40890] ppid=40887 vsize=165792 memory=100468 CPUtime=102.15 cores=4,6
/proc/40890/stat : 40890 (ipbhs_gurobi) R 40887 40890 40359 0 -1 4194304 100476 0 0 0 9977 238 0 0 20 0 2 0 46427739 169771008 25117 18446744073709551615 94510382432256 94510385057309 140737229159184 0 0 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 94510385676184 94510385709146 94510396874752 140737229162911 140737229163015 140737229163015 140737229168617 0
/proc/40890/statm: 41448 25117 3552 641 0 23931 0
[pid=40890/tid=40892] ppid=40887 vsize=165792 memory=106072 CPUtime=0.1 cores=4,6
/proc/40890/task/40892/stat : 40892 (ipbhs_gurobi) S 40887 40890 40359 0 -1 4194368 14 0 0 0 2 8 0 0 20 0 2 0 46427747 169771008 25117 18446744073709551615 94510382432256 94510385057309 140737229159184 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 94510385676184 94510385709146 94510396874752 140737229162911 140737229163015 140737229163015 140737229168617 0
Current children cumulated CPU time: 102.15 s
Current children cumulated vsize: 165792 KiB
Current children cumulated memory: 100468 KiB
[startup+162.3 s]
/proc/loadavg: 4.18 4.23 4.20 5/253 40988
/proc/meminfo: memFree=127199228/131382112 swapFree=33010684/33010684
[pid=40890] ppid=40887 vsize=196612 memory=132344 CPUtime=162.04 cores=4,6
/proc/40890/stat : 40890 (ipbhs_gurobi) R 40887 40890 40359 0 -1 4194304 135998 0 0 0 15859 345 0 0 20 0 2 0 46427739 201330688 33086 18446744073709551615 94510382432256 94510385057309 140737229159184 0 0 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 94510385676184 94510385709146 94510396874752 140737229162911 140737229163015 140737229163015 140737229168617 0
/proc/40890/statm: 49153 33086 3712 641 0 31636 0
[pid=40890/tid=40892] ppid=40887 vsize=196612 memory=14848 CPUtime=0.17 cores=4,6
/proc/40890/task/40892/stat : 40892 (ipbhs_gurobi) S 40887 40890 40359 0 -1 4194368 14 0 0 0 4 13 0 0 20 0 2 0 46427747 201330688 33086 18446744073709551615 94510382432256 94510385057309 140737229159184 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 94510385676184 94510385709146 94510396874752 140737229162911 140737229163015 140737229163015 140737229168617 0
Current children cumulated CPU time: 162.04 s
Current children cumulated vsize: 196612 KiB
Current children cumulated memory: 132344 KiB
[startup+222.3 s]
/proc/loadavg: 4.17 4.22 4.19 5/253 40990
/proc/meminfo: memFree=127167500/131382112 swapFree=33010684/33010684
[pid=40890] ppid=40887 vsize=231024 memory=162348 CPUtime=221.94 cores=4,6
/proc/40890/stat : 40890 (ipbhs_gurobi) R 40887 40890 40359 0 -1 4194304 163335 0 0 0 21760 434 0 0 20 0 2 0 46427739 236568576 40587 18446744073709551615 94510382432256 94510385057309 140737229159184 0 0 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 94510385676184 94510385709146 94510396874752 140737229162911 140737229163015 140737229163015 140737229168617 0
/proc/40890/statm: 57756 40587 3712 641 0 40239 0
[pid=40890/tid=40892] ppid=40887 vsize=231024 memory=14848 CPUtime=0.25 cores=4,6
/proc/40890/task/40892/stat : 40892 (ipbhs_gurobi) S 40887 40890 40359 0 -1 4194368 14 0 0 0 6 19 0 0 20 0 2 0 46427747 236568576 40587 18446744073709551615 94510382432256 94510385057309 140737229159184 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 94510385676184 94510385709146 94510396874752 140737229162911 140737229163015 140737229163015 140737229168617 0
Current children cumulated CPU time: 221.94 s
Current children cumulated vsize: 231024 KiB
Current children cumulated memory: 162348 KiB
[startup+282.3 s]
/proc/loadavg: 4.11 4.19 4.18 5/254 40993
/proc/meminfo: memFree=127139332/131382112 swapFree=33010684/33010684
[pid=40890] ppid=40887 vsize=249840 memory=180840 CPUtime=281.86 cores=4,6
/proc/40890/stat : 40890 (ipbhs_gurobi) R 40887 40890 40359 0 -1 4194304 189302 0 0 0 27670 516 0 0 20 0 2 0 46427739 255836160 45210 18446744073709551615 94510382432256 94510385057309 140737229159184 0 0 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 94510385676184 94510385709146 94510396874752 140737229162911 140737229163015 140737229163015 140737229168617 0
/proc/40890/statm: 62460 45210 3712 641 0 44943 0
[pid=40890/tid=40892] ppid=40887 vsize=249840 memory=14848 CPUtime=0.33 cores=4,6
/proc/40890/task/40892/stat : 40892 (ipbhs_gurobi) S 40887 40890 40359 0 -1 4194368 14 0 0 0 8 25 0 0 20 0 2 0 46427747 255836160 45210 18446744073709551615 94510382432256 94510385057309 140737229159184 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 94510385676184 94510385709146 94510396874752 140737229162911 140737229163015 140737229163015 140737229168617 0
Current children cumulated CPU time: 281.86 s
Current children cumulated vsize: 249840 KiB
Current children cumulated memory: 180840 KiB
################
# More data... #
################
/proc/meminfo: memFree=126517148/131382112 swapFree=33010684/33010684
[pid=40890] ppid=40887 vsize=669608 memory=551748 CPUtime=3037.74 cores=4,6
/proc/40890/stat : 40890 (ipbhs_gurobi) R 40887 40890 40359 0 -1 4194304 2041000 0 0 0 300147 3627 0 0 20 0 2 0 46427739 685678592 137937 18446744073709551615 94510382432256 94510385057309 140737229159184 0 0 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 94510385676184 94510385709146 94510396874752 140737229162911 140737229163015 140737229163015 140737229168617 0
/proc/40890/statm: 167402 137937 3712 641 0 149885 0
[pid=40890/tid=40892] ppid=40887 vsize=669608 memory=560712 CPUtime=4.01 cores=4,6
/proc/40890/task/40892/stat : 40892 (ipbhs_gurobi) S 40887 40890 40359 0 -1 4194368 43 0 0 0 120 281 0 0 20 0 2 0 46427747 685678592 137937 18446744073709551615 94510382432256 94510385057309 140737229159184 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 94510385676184 94510385709146 94510396874752 140737229162911 140737229163015 140737229163015 140737229168617 0
Current children cumulated CPU time: 3037.74 s
Current children cumulated vsize: 669608 KiB
Current children cumulated memory: 551748 KiB
[startup+3102.3 s]
/proc/loadavg: 4.13 4.14 4.18 5/255 41183
/proc/meminfo: memFree=126505648/131382112 swapFree=33010684/33010684
[pid=40890] ppid=40887 vsize=710360 memory=592568 CPUtime=3097.64 cores=4,6
/proc/40890/stat : 40890 (ipbhs_gurobi) R 40887 40890 40359 0 -1 4194304 2071916 0 0 0 306074 3690 0 0 20 0 2 0 46427739 727408640 148142 18446744073709551615 94510382432256 94510385057309 140737229159184 0 0 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 94510385676184 94510385709146 94510396874752 140737229162911 140737229163015 140737229163015 140737229168617 0
/proc/40890/statm: 177590 148142 3712 641 0 160073 0
[pid=40890/tid=40892] ppid=40887 vsize=710360 memory=14848 CPUtime=4.09 cores=4,6
/proc/40890/task/40892/stat : 40892 (ipbhs_gurobi) S 40887 40890 40359 0 -1 4194368 43 0 0 0 123 286 0 0 20 0 2 0 46427747 727408640 148142 18446744073709551615 94510382432256 94510385057309 140737229159184 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 94510385676184 94510385709146 94510396874752 140737229162911 140737229163015 140737229163015 140737229168617 0
Current children cumulated CPU time: 3097.64 s
Current children cumulated vsize: 710360 KiB
Current children cumulated memory: 592568 KiB
[startup+3162.3 s]
/proc/loadavg: 4.20 4.16 4.18 5/255 41185
/proc/meminfo: memFree=126546888/131382112 swapFree=33010684/33010684
[pid=40890] ppid=40887 vsize=643132 memory=525404 CPUtime=3157.55 cores=4,6
/proc/40890/stat : 40890 (ipbhs_gurobi) R 40887 40890 40359 0 -1 4194304 2137462 0 0 0 311982 3773 0 0 20 0 2 0 46427739 658567168 131351 18446744073709551615 94510382432256 94510385057309 140737229159184 0 0 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 94510385676184 94510385709146 94510396874752 140737229162911 140737229163015 140737229163015 140737229168617 0
/proc/40890/statm: 160783 131351 3712 641 0 143266 0
[pid=40890/tid=40892] ppid=40887 vsize=643132 memory=575592 CPUtime=4.16 cores=4,6
/proc/40890/task/40892/stat : 40892 (ipbhs_gurobi) S 40887 40890 40359 0 -1 4194368 43 0 0 0 124 292 0 0 20 0 2 0 46427747 658567168 131351 18446744073709551615 94510382432256 94510385057309 140737229159184 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 94510385676184 94510385709146 94510396874752 140737229162911 140737229163015 140737229163015 140737229168617 0
Current children cumulated CPU time: 3157.55 s
Current children cumulated vsize: 643132 KiB
Current children cumulated memory: 525404 KiB
[startup+3222.3 s]
/proc/loadavg: 4.19 4.16 4.18 5/254 41187
/proc/meminfo: memFree=126522052/131382112 swapFree=33010684/33010684
[pid=40890] ppid=40887 vsize=702372 memory=571368 CPUtime=3217.45 cores=4,6
/proc/40890/stat : 40890 (ipbhs_gurobi) R 40887 40890 40359 0 -1 4194304 2173501 0 0 0 317905 3840 0 0 20 0 2 0 46427739 719228928 142842 18446744073709551615 94510382432256 94510385057309 140737229159184 0 0 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 94510385676184 94510385709146 94510396874752 140737229162911 140737229163015 140737229163015 140737229168617 0
/proc/40890/statm: 175593 142842 3712 641 0 158076 0
[pid=40890/tid=40892] ppid=40887 vsize=702372 memory=575592 CPUtime=4.24 cores=4,6
/proc/40890/task/40892/stat : 40892 (ipbhs_gurobi) S 40887 40890 40359 0 -1 4194368 45 0 0 0 127 297 0 0 20 0 2 0 46427747 719228928 142842 18446744073709551615 94510382432256 94510385057309 140737229159184 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 94510385676184 94510385709146 94510396874752 140737229162911 140737229163015 140737229163015 140737229168617 0
Current children cumulated CPU time: 3217.45 s
Current children cumulated vsize: 702372 KiB
Current children cumulated memory: 571368 KiB
[startup+3282.3 s]
/proc/loadavg: 4.47 4.23 4.20 5/255 41190
/proc/meminfo: memFree=126490428/131382112 swapFree=33010684/33010684
[pid=40890] ppid=40887 vsize=743192 memory=587236 CPUtime=3277.35 cores=4,6
/proc/40890/stat : 40890 (ipbhs_gurobi) R 40887 40890 40359 0 -1 4194304 2231031 0 0 0 323814 3921 0 0 20 0 2 0 46427739 761028608 146809 18446744073709551615 94510382432256 94510385057309 140737229159184 0 0 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 94510385676184 94510385709146 94510396874752 140737229162911 140737229163015 140737229163015 140737229168617 0
/proc/40890/statm: 185798 146809 3712 641 0 168281 0
[pid=40890/tid=40892] ppid=40887 vsize=743192 memory=580764 CPUtime=4.32 cores=4,6
/proc/40890/task/40892/stat : 40892 (ipbhs_gurobi) S 40887 40890 40359 0 -1 4194368 46 0 0 0 129 303 0 0 20 0 2 0 46427747 761028608 146809 18446744073709551615 94510382432256 94510385057309 140737229159184 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 94510385676184 94510385709146 94510396874752 140737229162911 140737229163015 140737229163015 140737229168617 0
Current children cumulated CPU time: 3277.35 s
Current children cumulated vsize: 743192 KiB
Current children cumulated memory: 587236 KiB
[startup+3342.3 s]
/proc/loadavg: 4.73 4.35 4.25 5/255 41192
/proc/meminfo: memFree=126504388/131382112 swapFree=33010684/33010684
[pid=40890] ppid=40887 vsize=676884 memory=558336 CPUtime=3337.25 cores=4,6
/proc/40890/stat : 40890 (ipbhs_gurobi) R 40887 40890 40359 0 -1 4194304 2273294 0 0 0 329731 3994 0 0 20 0 2 0 46427739 693129216 139584 18446744073709551615 94510382432256 94510385057309 140737229159184 0 0 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 94510385676184 94510385709146 94510396874752 140737229162911 140737229163015 140737229163015 140737229168617 0
/proc/40890/statm: 169221 139584 3712 641 0 151704 0
[pid=40890/tid=40892] ppid=40887 vsize=676884 memory=558336 CPUtime=4.39 cores=4,6
/proc/40890/task/40892/stat : 40892 (ipbhs_gurobi) S 40887 40890 40359 0 -1 4194368 48 0 0 0 131 308 0 0 20 0 2 0 46427747 693129216 139584 18446744073709551615 94510382432256 94510385057309 140737229159184 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 94510385676184 94510385709146 94510396874752 140737229162911 140737229163015 140737229163015 140737229168617 0
Current children cumulated CPU time: 3337.25 s
Current children cumulated vsize: 676884 KiB
Current children cumulated memory: 558336 KiB
[startup+3402.3 s]
/proc/loadavg: 4.37 4.32 4.24 5/255 41196
/proc/meminfo: memFree=126456712/131382112 swapFree=33010684/33010684
[pid=40890] ppid=40887 vsize=720236 memory=602536 CPUtime=3397.15 cores=4,6
/proc/40890/stat : 40890 (ipbhs_gurobi) R 40887 40890 40359 0 -1 4194304 2307694 0 0 0 335658 4057 0 0 20 0 2 0 46427739 737521664 150634 18446744073709551615 94510382432256 94510385057309 140737229159184 0 0 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 94510385676184 94510385709146 94510396874752 140737229162911 140737229163015 140737229163015 140737229168617 0
/proc/40890/statm: 180059 150634 3712 641 0 162542 0
[pid=40890/tid=40892] ppid=40887 vsize=720236 memory=558336 CPUtime=4.47 cores=4,6
/proc/40890/task/40892/stat : 40892 (ipbhs_gurobi) S 40887 40890 40359 0 -1 4194368 50 0 0 0 133 314 0 0 20 0 2 0 46427747 737521664 150634 18446744073709551615 94510382432256 94510385057309 140737229159184 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 94510385676184 94510385709146 94510396874752 140737229162911 140737229163015 140737229163015 140737229168617 0
Current children cumulated CPU time: 3397.15 s
Current children cumulated vsize: 720236 KiB
Current children cumulated memory: 602536 KiB
[startup+3462.3 s]
/proc/loadavg: 4.19 4.27 4.23 5/255 41198
/proc/meminfo: memFree=126460704/131382112 swapFree=33010684/33010684
[pid=40890] ppid=40887 vsize=720996 memory=605108 CPUtime=3457.05 cores=4,6
/proc/40890/stat : 40890 (ipbhs_gurobi) R 40887 40890 40359 0 -1 4194304 2328799 0 0 0 341589 4116 0 0 20 0 2 0 46427739 738299904 151277 18446744073709551615 94510382432256 94510385057309 140737229159184 0 0 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 94510385676184 94510385709146 94510396874752 140737229162911 140737229163015 140737229163015 140737229168617 0
/proc/40890/statm: 180249 151277 3712 641 0 162732 0
[pid=40890/tid=40892] ppid=40887 vsize=720996 memory=558336 CPUtime=4.54 cores=4,6
/proc/40890/task/40892/stat : 40892 (ipbhs_gurobi) S 40887 40890 40359 0 -1 4194368 51 0 0 0 135 319 0 0 20 0 2 0 46427747 738299904 151277 18446744073709551615 94510382432256 94510385057309 140737229159184 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 94510385676184 94510385709146 94510396874752 140737229162911 140737229163015 140737229163015 140737229168617 0
Current children cumulated CPU time: 3457.05 s
Current children cumulated vsize: 720996 KiB
Current children cumulated memory: 605108 KiB
[startup+3522.3 s]
/proc/loadavg: 4.11 4.23 4.22 5/255 41204
/proc/meminfo: memFree=126512296/131382112 swapFree=33010684/33010684
[pid=40890] ppid=40887 vsize=679788 memory=564268 CPUtime=3516.95 cores=4,6
/proc/40890/stat : 40890 (ipbhs_gurobi) R 40887 40890 40359 0 -1 4194304 2357817 0 0 0 347522 4173 0 0 20 0 2 0 46427739 696102912 141067 18446744073709551615 94510382432256 94510385057309 140737229159184 0 0 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 94510385676184 94510385709146 94510396874752 140737229162911 140737229163015 140737229163015 140737229168617 0
/proc/40890/statm: 169947 141067 3712 641 0 152430 0
[pid=40890/tid=40892] ppid=40887 vsize=679788 memory=17664 CPUtime=4.62 cores=4,6
/proc/40890/task/40892/stat : 40892 (ipbhs_gurobi) S 40887 40890 40359 0 -1 4194368 51 0 0 0 137 325 0 0 20 0 2 0 46427747 696102912 141067 18446744073709551615 94510382432256 94510385057309 140737229159184 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 94510385676184 94510385709146 94510396874752 140737229162911 140737229163015 140737229163015 140737229168617 0
Current children cumulated CPU time: 3516.95 s
Current children cumulated vsize: 679788 KiB
Current children cumulated memory: 564268 KiB
[startup+3582.3 s]
/proc/loadavg: 4.14 4.22 4.21 5/254 41206
/proc/meminfo: memFree=126487180/131382112 swapFree=33010684/33010684
[pid=40890] ppid=40887 vsize=743552 memory=609608 CPUtime=3576.86 cores=4,6
/proc/40890/stat : 40890 (ipbhs_gurobi) R 40887 40890 40359 0 -1 4194304 2375161 0 0 0 353459 4227 0 0 20 0 2 0 46427739 761397248 152402 18446744073709551615 94510382432256 94510385057309 140737229159184 0 0 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 94510385676184 94510385709146 94510396874752 140737229162911 140737229163015 140737229163015 140737229168617 0
/proc/40890/statm: 185888 152402 3712 641 0 168371 0
[pid=40890/tid=40892] ppid=40887 vsize=743552 memory=14848 CPUtime=4.69 cores=4,6
/proc/40890/task/40892/stat : 40892 (ipbhs_gurobi) S 40887 40890 40359 0 -1 4194368 52 0 0 0 139 330 0 0 20 0 2 0 46427747 761397248 152402 18446744073709551615 94510382432256 94510385057309 140737229159184 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 94510385676184 94510385709146 94510396874752 140737229162911 140737229163015 140737229163015 140737229168617 0
Current children cumulated CPU time: 3576.86 s
Current children cumulated vsize: 743552 KiB
Current children cumulated memory: 609608 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3605.5 s]
/proc/loadavg: 4.10 4.20 4.21 5/254 41206
/proc/meminfo: memFree=126463080/131382112 swapFree=33010684/33010684
[pid=40890] ppid=40887 vsize=680708 memory=563020 CPUtime=3600.02 cores=4,6
/proc/40890/stat : 40890 (ipbhs_gurobi) R 40887 40890 40359 0 -1 4194304 2396026 0 0 0 355749 4253 0 0 20 0 2 0 46427739 697044992 140755 18446744073709551615 94510382432256 94510385057309 140737229159184 0 0 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 94510385676184 94510385709146 94510396874752 140737229162911 140737229163015 140737229163015 140737229168617 0
/proc/40890/statm: 170177 140755 3712 641 0 152660 0
[pid=40890/tid=40892] ppid=40887 vsize=680708 memory=608396 CPUtime=4.72 cores=4,6
/proc/40890/task/40892/stat : 40892 (ipbhs_gurobi) S 40887 40890 40359 0 -1 4194368 52 0 0 0 140 332 0 0 20 0 2 0 46427747 697044992 140755 18446744073709551615 94510382432256 94510385057309 140737229159184 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 94510385676184 94510385709146 94510396874752 140737229162911 140737229163015 140737229163015 140737229168617 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 680708 KiB
Current children cumulated memory: 563020 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3605.51 s]
# the end of solver process 40890 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=3557.5 s, system=42.5415 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3605.5 s]
/proc/loadavg: 4.10 4.20 4.21 5/254 41206
/proc/meminfo: memFree=126463080/131382112 swapFree=33010684/33010684
[pid=40890] ppid=40887 vsize=680708 memory=563020 CPUtime=3600.02 cores=4,6
/proc/40890/stat : 40890 (ipbhs_gurobi) R 40887 40890 40359 0 -1 4194304 2396026 0 0 0 355749 4253 0 0 20 0 2 0 46427739 697044992 140755 18446744073709551615 94510382432256 94510385057309 140737229159184 0 0 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 94510385676184 94510385709146 94510396874752 140737229162911 140737229163015 140737229163015 140737229168617 0
/proc/40890/statm: 170177 140755 3712 641 0 152660 0
[pid=40890/tid=40892] ppid=40887 vsize=680708 memory=608396 CPUtime=4.72 cores=4,6
/proc/40890/task/40892/stat : 40892 (ipbhs_gurobi) S 40887 40890 40359 0 -1 4194368 52 0 0 0 140 332 0 0 20 0 2 0 46427747 697044992 140755 18446744073709551615 94510382432256 94510385057309 140737229159184 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 94510385676184 94510385709146 94510396874752 140737229162911 140737229163015 140737229163015 140737229168617 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 680708 KiB
Current children cumulated memory: 563020 KiB
Child ended because it received signal 15 (SIGTERM)
Real time (s): 3605.51
CPU time (s): 3600.04
CPU user time (s): 3557.5
CPU system time (s): 42.5415
CPU usage (%): 99.8483
Max. virtual memory (cumulated for all children) (KiB): 799520
Max. memory (cumulated for all children) (KiB): 681036
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3557.5
system time used= 42.5415
maximum resident set size= 681264
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2396026
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= 357153
involuntary context switches= 3645
# summary of solver processes directly reported to runsolver:
# pid: 40890
# total CPU time (s): 3600.04
# total CPU user time (s): 3557.5
# total CPU system time (s): 42.5415
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.9348 second user time and 36.5261 second system time
The end
Begin job on nodeC012 at 2025-06-30 20:18:00 IDJOB=4486500 IDBENCH=147022 IDSOLVER=3333 FILE ID=nodeC012/4486500-1751307480 RUNJOBID= nodeC012-1751303874-40370 SLURM_JOB_ID= 9594297 Free space on /tmp= 432880 MiB SOLVER NAME= IPBHS-GUROBI 2025-06-09 BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB05/manquinho/ttp/normalized-data6_3.opb COMMAND LINE= ./ipbhs_gurobi BENCHNAME --max-coef 1000000000 RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4486500-1751307480/watcher-4486500-1751307480 -o /tmp/evaluation-result-4486500-1751307480/solver-4486500-1751307480 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC012-1751303874-40370 --watchdog 3760 ./ipbhs_gurobi HOME/instance-4486500-1751307480.opb --max-coef 1000000000 TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 9e6692c80f11b0068f23fe5849cf8b25 RANDOM SEED=388304097 nodeC012 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 3662.371 cache size : 15360 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6983.39 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 3691.177 cache size : 15360 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6983.39 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.295 cache size : 15360 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6983.39 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6983.39 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.158 cache size : 15360 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6983.39 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 3691.225 cache size : 15360 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6983.39 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 3700.000 cache size : 15360 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6983.39 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6983.39 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131382112 kB MemFree: 129004552 kB MemAvailable: 129189676 kB Buffers: 3280 kB Cached: 993716 kB SwapCached: 0 kB Active: 1140336 kB Inactive: 683400 kB Active(anon): 844700 kB Inactive(anon): 0 kB Active(file): 295636 kB Inactive(file): 683400 kB Unevictable: 3072 kB Mlocked: 0 kB SwapTotal: 33010684 kB SwapFree: 33010684 kB Zswap: 0 kB Zswapped: 0 kB Dirty: 59396 kB Writeback: 0 kB AnonPages: 829812 kB Mapped: 118340 kB Shmem: 17960 kB KReclaimable: 91044 kB Slab: 173816 kB SReclaimable: 91044 kB SUnreclaim: 82772 kB KernelStack: 4080 kB PageTables: 4780 kB SecPageTables: 0 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 98701740 kB Committed_AS: 1207916 kB VmallocTotal: 34359738367 kB VmallocUsed: 149448 kB VmallocChunk: 0 kB Percpu: 3776 kB HardwareCorrupted: 0 kB AnonHugePages: 538624 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: 187208 kB DirectMap2M: 8103936 kB DirectMap1G: 127926272 kB Free space on /tmp at the end= 432824 MiB End job on nodeC012 at 2025-06-30 21:18:06