Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| SCIP 2024-07-07 | OPT | 12 | 26.6812 | 26.7787 |
| Name | PB24/normalized-PB24/OPT-LIN/ihalainen/PBO-clique-coloring/ normalized-clique-coloring-max-clique-n=14-t=2.opb |
| MD5SUM | 0eb4af5d9d6a7991e65a6bdba739f56a |
| 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 | 12 |
| Best CPU time to get the best result obtained on this benchmark | 0.372509 |
| 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 | 329 |
| Total number of constraints | 16786 |
| Number of constraints which are clauses | 16772 |
| Number of constraints which are cardinality constraints (but not clauses) | 14 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 15 |
| Number of terms in the objective function | 14 |
| Biggest coefficient in the objective function | 1 |
| Number of bits for the biggest coefficient in the objective function | 1 |
| Sum of the numbers in the objective function | 14 |
| Number of bits of the sum of numbers in the objective function | 4 |
| Biggest number in a constraint | 2 |
| Number of bits of the biggest number in a constraint | 2 |
| Biggest sum of numbers in a constraint | 16 |
| Number of bits of the biggest sum of numbers | 5 |
| 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 SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.0.0] [GitHash: 405ed0d46f]
0.00/0.01 c Copyright (c) 2002-2024 Zuse Institute Berlin (ZIB)
0.00/0.01 c
0.00/0.01 c user parameter file <scip.set> not found - using default parameters
0.00/0.01 c reading problem <HOME/instance-4517868-1751532803.opb>
0.00/0.03 c original problem has 329 variables (329 bin, 0 int, 0 impl, 0 cont) and 16786 constraints
0.00/0.03 c problem read in 0.03
0.00/0.05 c presolving:
0.00/0.07 c (round 1, fast) 14 del vars, 14 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 14 clqs
0.00/0.09 c (0.1s) running MILP presolver
0.09/0.11 c (0.1s) MILP presolver found nothing
0.09/0.14 c (round 2, exhaustive) 14 del vars, 14 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 16772 upgd conss, 0 impls, 14 clqs
0.09/0.18 c (0.2s) probing: 51/315 (16.2%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.09/0.18 c (0.2s) probing aborted: 50/50 successive totally useless probings
0.19/0.30 c (0.3s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
0.29/0.38 c (0.4s) symmetry computation finished: 26 generators found (max: 1500, log10 of symmetry group size: 20.0) (symcode time: 0.06)
0.29/0.38 c dynamic symmetry handling statistics:
0.29/0.38 c orbitopal reduction: no components
0.29/0.38 c orbital reduction: 1 components of sizes 26
0.29/0.38 c lexicographic reduction: 26 permutations with support sizes 54, 30, 54, 30, 54, 30, 54, 30, 54, 30, 54, 30, 54, 30, 54, 30, 54, 30, 54, 30, 54, 30, 54, 30, 54, 30
0.29/0.38 c handled 1 out of 1 symmetry components
0.29/0.39 c presolving (3 rounds: 3 fast, 2 medium, 2 exhaustive):
0.29/0.39 c 14 deleted vars, 14 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.29/0.39 c 0 implications, 14 cliques
0.29/0.39 c presolved problem has 315 variables (315 bin, 0 int, 0 impl, 0 cont) and 16772 constraints
0.29/0.39 c 14 constraints of type <setppc>
0.29/0.39 c 16758 constraints of type <logicor>
0.29/0.39 c transformed objective value is always integral (scale: 1)
0.29/0.39 c Presolving Time: 0.33
0.29/0.39 c - non default parameters ----------------------------------------------------------------------
0.29/0.39 c # SCIP version 10.0.0
0.29/0.39 c
0.29/0.39 c # maximal time in seconds to run
0.29/0.39 c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
0.29/0.39 c limits/time = 3596.998009
0.29/0.39 c
0.29/0.39 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.29/0.39 c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
0.29/0.39 c limits/memory = 27900
0.29/0.39 c
0.29/0.39 c # belongs reading time to solving time?
0.29/0.39 c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
0.29/0.39 c timing/reading = TRUE
0.29/0.39 c
0.29/0.39 c -----------------------------------------------------------------------------------------------
0.29/0.39 c start solving
0.29/0.39 c
0.39/0.42 o 13
0.39/0.42 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
0.39/0.42 c p 0.4s| 1 | 0 | 0 | - | clique| 0 | 315 | 16k| 16k| 0 | 0 | 0 | 0 | 0.000000e+00 | 1.300000e+01 | Inf | unknown
0.39/0.43 o 12
0.39/0.43 c p 0.4s| 1 | 0 | 2 | - | vbounds| 0 | 315 | 16k| 16k| 0 | 0 | 10 | 0 | 0.000000e+00 | 1.200000e+01 | Inf | unknown
0.39/0.47 c 0.5s| 1 | 0 | 345 | - | 108M | 0 | 315 | 16k| 16k| 0 | 0 | 10 | 0 | 0.000000e+00 | 1.200000e+01 | Inf | unknown
1.08/1.13 c 1.1s| 1 | 0 | 407 | - | 112M | 0 | 315 | 16k| 16k| 10 | 1 | 12 | 0 | 0.000000e+00 | 1.200000e+01 | Inf | unknown
1.27/1.36 c 1.4s| 1 | 0 | 439 | - | 117M | 0 | 315 | 16k| 16k| 16 | 2 | 15 | 0 | 0.000000e+00 | 1.200000e+01 | Inf | unknown
1.47/1.51 c 1.5s| 1 | 0 | 459 | - | 121M | 0 | 315 | 16k| 16k| 18 | 3 | 16 | 0 | 0.000000e+00 | 1.200000e+01 | Inf | unknown
1.58/1.67 c 1.7s| 1 | 0 | 482 | - | 126M | 0 | 315 | 16k| 16k| 22 | 4 | 17 | 0 | 0.000000e+00 | 1.200000e+01 | Inf | unknown
1.78/1.89 c 1.9s| 1 | 0 | 503 | - | 131M | 0 | 315 | 16k| 16k| 24 | 5 | 19 | 0 | 0.000000e+00 | 1.200000e+01 | Inf | unknown
2.08/2.16 c 2.2s| 1 | 0 | 531 | - | 135M | 0 | 315 | 16k| 16k| 27 | 6 | 20 | 0 | 0.000000e+00 | 1.200000e+01 | Inf | unknown
2.37/2.43 c 2.4s| 1 | 0 | 548 | - | 142M | 0 | 315 | 16k| 16k| 28 | 7 | 22 | 0 | 0.000000e+00 | 1.200000e+01 | Inf | unknown
2.47/2.54 c 2.5s| 1 | 0 | 580 | - | 144M | 0 | 315 | 16k| 16k| 34 | 8 | 23 | 0 | 0.000000e+00 | 1.200000e+01 | Inf | unknown
2.67/2.77 c 2.8s| 1 | 0 | 610 | - | 149M | 0 | 315 | 16k| 16k| 37 | 9 | 24 | 0 | 0.000000e+00 | 1.200000e+01 | Inf | unknown
2.77/2.86 c 2.9s| 1 | 0 | 649 | - | 155M | 0 | 315 | 16k| 16k| 40 | 10 | 24 | 0 | 0.000000e+00 | 1.200000e+01 | Inf | unknown
2.77/2.87 c 2.9s| 1 | 0 | 675 | - | 156M | 0 | 315 | 16k| 16k| 44 | 11 | 25 | 0 | 0.000000e+00 | 1.200000e+01 | Inf | unknown
3.67/3.80 c 3.8s| 1 | 2 | 1488 | - | 157M | 0 | 315 | 16k| 16k| 44 | 11 | 29 | 47 | 0.000000e+00 | 1.200000e+01 | Inf | unknown
12.24/12.32 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
12.24/12.32 c 12.3s| 100 | 14 | 6919 | 63.1 | 167M | 17 | 315 | 16k| 16k| 87 | 1 | 230 | 816 | 0.000000e+00 | 1.200000e+01 | Inf | 64.02%
14.34/14.42 c r14.4s| 135 | 16 | 7858 | 53.6 |shifting| 17 | 315 | 16k| 16k| 119 | 2 | 266 | 907 | 1.000000e+00 | 1.200000e+01 |1100.00%| 67.14%
19.42/19.53 c 19.5s| 200 | 11 | 9896 | 46.3 | 178M | 17 | 315 | 16k| 16k| 213 | 2 | 362 |1121 | 6.000000e+00 | 1.200000e+01 | 100.00%| 81.77%
22.30/22.43 c 22.4s| 300 | 30 | 11438 | 36.0 | 180M | 22 | 315 | 17k| 16k| 239 | 2 | 444 |1267 | 8.000000e+00 | 1.200000e+01 | 50.00%| 87.43%
23.40/23.56 c 23.5s| 400 | 52 | 12648 | 30.0 | 180M | 24 | 315 | 17k| 16k| 249 | 1 | 532 |1331 | 8.000000e+00 | 1.200000e+01 | 50.00%| 87.44%
24.70/24.83 c 24.8s| 500 | 57 | 13566 | 25.8 | 178M | 24 | 315 | 17k| 16k| 263 | 1 | 620 |1382 | 8.000000e+00 | 1.200000e+01 | 50.00%| 87.49%
25.19/25.30 c 25.3s| 600 | 67 | 14310 | 22.8 | 178M | 24 | 315 | 17k| 16k| 270 | 1 | 690 |1406 | 8.000000e+00 | 1.200000e+01 | 50.00%| 87.50%
25.69/25.85 c 25.8s| 700 | 59 | 15035 | 20.5 | 178M | 24 | 315 | 17k| 16k| 275 | 1 | 760 |1432 | 8.000000e+00 | 1.200000e+01 | 50.00%| 87.55%
26.19/26.37 c 26.4s| 800 | 31 | 15543 | 18.6 | 179M | 26 | 315 | 17k| 0 | 279 | 0 | 831 |1457 | 9.333333e+00 | 1.200000e+01 | 28.57%| 92.27%
26.59/26.74 c
26.59/26.74 c SCIP Status : problem is solved [optimal solution found]
26.59/26.74 c Solving Time (sec) : 26.73
26.59/26.74 c Solving Nodes : 872
26.59/26.74 c Primal Bound : +1.20000000000000e+01 (64 solutions)
26.59/26.74 c Dual Bound : +1.20000000000000e+01
26.59/26.74 c Gap : 0.00 %
26.59/26.74 s OPTIMUM FOUND
26.59/26.74 v -x329 x328 x327 -x326 x325 -x324 -x323 x322 x321 -x320 x319 -x318 x317 -x316 -x315 x314 -x313 x312 -x311 x310 -x309 x308 -x307
26.59/26.74 v x306 -x305 x304 -x303 x302 x91 -x90 -x89 -x88 -x87 -x86 x85 -x84 -x83 -x82 x81 -x80 -x79 -x78 -x77 -x76 -x75 -x74 -x73 -x72 -x71
26.59/26.74 v -x70 -x69 x68 -x67 -x66 -x65 -x64 -x63 -x62 -x61 -x60 -x59 -x58 -x57 -x56 -x55 -x54 -x53 -x52 -x51 -x50 x49 -x48 -x47 -x46
26.59/26.74 v -x45 -x44 -x43 -x42 -x41 -x40 -x39 -x38 -x37 -x36 -x35 -x34 -x33 -x32 -x31 -x30 -x29 -x28 -x27 -x26 -x25 -x24 -x23 -x22 -x21
26.59/26.74 v -x20 -x19 -x18 -x17 -x16 -x15 -x14 -x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2 -x1 -x301 -x287 -x273 -x259 -x245 -x231
26.59/26.74 v -x217 -x203 -x189 -x175 -x161 -x147 -x133 -x119 -x300 -x286 -x272 -x258 -x244 -x230 -x216 -x202 -x188 -x174 -x160 -x146 -x132
26.59/26.74 v -x118 -x299 -x285 -x271 -x257 -x243 -x229 -x215 -x201 -x187 -x173 -x159 -x145 -x131 -x117 -x298 -x284 -x270 -x256 -x242
26.59/26.74 v -x228 -x214 -x200 -x186 -x172 -x158 -x144 -x130 -x116 -x297 -x283 -x269 -x255 x241 -x227 -x213 -x199 -x185 -x171 -x157 -x143
26.59/26.74 v -x129 -x115 -x296 -x282 -x268 -x254 -x240 -x226 -x212 -x198 -x184 -x170 -x156 -x142 -x128 -x114 -x295 -x281 -x267 -x253 -x239
26.59/26.74 v -x225 -x211 -x197 -x183 -x169 -x155 -x141 -x127 -x113 -x294 -x280 -x266 -x252 -x238 -x224 -x210 -x196 -x182 -x168 -x154 -x140
26.59/26.74 v -x126 -x112 -x293 -x279 -x265 -x251 -x237 -x223 -x209 -x195 -x181 -x167 -x153 -x139 -x125 -x111 x292 -x278 -x264 -x250 -x236
26.59/26.74 v -x222 -x208 -x194 -x180 -x166 -x152 -x138 -x124 -x110 -x291 -x277 -x263 -x249 -x235 -x221 -x207 -x193 -x179 -x165 -x151 -x137
26.59/26.74 v -x123 -x109 -x290 -x276 -x262 -x248 -x234 -x220 -x206 -x192 -x178 -x164 -x150 -x136 -x122 -x108 -x289 -x275 -x261 -x247 -x233
26.59/26.74 v -x219 -x205 -x191 -x177 -x163 -x149 -x135 -x121 -x107 -x288 -x274 -x260 -x246 -x232 -x218 -x204 -x190 -x176 -x162 -x148 -x134
26.59/26.74 v -x120 -x106 x105 x104 x103 x102 -x101 x100 x99 x98 x97 -x96 x95 x94 x93 x92
26.59/26.74 c SCIP Status : problem is solved [optimal solution found]
26.59/26.74 c Total Time : 26.73
26.59/26.74 c solving : 26.73
26.59/26.74 c presolving : 0.33 (included in solving)
26.59/26.74 c reading : 0.03 (included in solving)
26.59/26.74 c copying : 0.16 (8 #copies) (minimal 0.02, maximal 0.02, average 0.02)
26.59/26.74 c Original Problem :
26.59/26.74 c Problem name : HOME/instance-4517868-1751532803.opb
26.59/26.74 c Variables : 329 (329 binary, 0 integer, 0 implicit integer, 0 continuous)
26.59/26.74 c Constraints : 16786 initial, 16786 maximal
26.59/26.74 c Objective : minimize, 14 non-zeros (abs.min = 1, abs.max = 1)
26.59/26.74 c Presolved Problem :
26.59/26.74 c Problem name : t_HOME/instance-4517868-1751532803.opb
26.59/26.74 c Variables : 315 (315 binary, 0 integer, 0 implicit integer, 0 continuous)
26.59/26.74 c Constraints : 16772 initial, 17175 maximal
26.59/26.74 c Objective : minimize, 14 non-zeros (abs.min = 1, abs.max = 1)
26.59/26.74 c Nonzeros : 50638 constraint, 182 clique table
26.59/26.74 c Presolvers : ExecTime SetupTime Calls FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
26.59/26.74 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
26.59/26.74 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
26.59/26.74 c domcol : 0.01 0.00 1 0 0 0 0 0 0 0 0 0
26.59/26.74 c dualagg : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
26.59/26.74 c dualcomp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
26.59/26.74 c dualinfer : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
26.59/26.74 c dualsparsify : 0.12 0.00 1 0 0 0 0 0 0 0 0 0
26.59/26.74 c gateextraction : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
26.59/26.74 c implics : 0.00 0.00 2 0 0 0 0 0 0 0 0 0
26.59/26.74 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
26.59/26.74 c milp : 0.04 0.00 1 0 0 0 0 0 0 0 0 0
26.59/26.74 c qpkktref : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
26.59/26.74 c redvub : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
26.59/26.74 c sparsify : 0.01 0.00 1 0 0 0 0 0 0 0 0 0
26.59/26.74 c stuffing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
26.59/26.74 c trivial : 0.00 0.00 3 0 0 0 0 0 0 0 0 0
26.59/26.74 c tworowbnd : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
26.59/26.74 c dualfix : 0.00 0.00 3 0 0 0 0 0 0 0 0 0
26.59/26.74 c genvbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
26.59/26.74 c probing : 0.01 0.00 1 0 0 0 0 0 0 0 0 0
26.59/26.74 c pseudoobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
26.59/26.74 c symmetry : 0.07 0.00 1 0 0 0 0 0 0 0 0 0
26.59/26.74 c vbounds : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
26.59/26.74 c knapsack : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
26.59/26.74 c setppc : 0.00 0.00 3 0 0 0 0 0 0 0 0 0
26.59/26.74 c linear : 0.04 0.00 3 0 14 0 0 0 14 0 0 0
26.59/26.74 c logicor : 0.02 0.01 3 0 0 0 0 0 0 0 0 0
26.59/26.74 c benders : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
26.59/26.74 c components : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
26.59/26.74 c root node : - - - 210 - - 210 - - - - -
26.59/26.74 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoRelax #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Applied Conss Children
26.59/26.74 c benderslp : 0 0 0 0 680 0 0 127 0 0 0 0 0 0 0
26.59/26.74 c integral : 0 0 0 0 680 0 0 127 0 0 1003 0 0 325 924
26.59/26.74 c knapsack : 0+ 2 0 9607 0 0 0 0 3 109 0 0 0 0 0
26.59/26.74 c setppc : 14 14 11 10121 0 0 0 121 5949 0 1670 0 0 0 0
26.59/26.74 c linear : 0+ 2 0 1389 0 0 0 3 3 1 2 0 0 0 0
26.59/26.74 c logicor : 16758+ 17159 11 8333 0 0 0 95 17791 347 10484 0 0 0 0
26.59/26.74 c benders : 0 0 0 0 0 0 0 66 0 0 0 0 0 0 0
26.59/26.74 c fixedvar : 0 0 0 0 0 0 0 66 0 0 0 0 0 0 0
26.59/26.74 c countsols : 0 0 0 0 0 0 0 66 0 0 0 0 0 0 0
26.59/26.74 c components : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
26.59/26.74 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS EnfoRelax Check ResProp SB-Prop
26.59/26.74 c benderslp : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
26.59/26.74 c integral : 9.26 0.00 0.00 0.00 9.26 0.00 0.00 0.00 0.00 0.00
26.59/26.74 c knapsack : 0.01 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.01
26.59/26.74 c setppc : 0.02 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.01
26.59/26.74 c linear : 0.01 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
26.59/26.74 c logicor : 0.67 0.01 0.02 0.26 0.00 0.00 0.00 0.03 0.01 0.34
26.59/26.74 c benders : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
26.59/26.74 c fixedvar : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
26.59/26.74 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
26.59/26.74 c components : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
26.59/26.74 c Propagators : #Propagate #ResProp Cutoffs DomReds
26.59/26.74 c dualfix : 2 0 0 0
26.59/26.74 c genvbounds : 0 0 0 0
26.59/26.74 c nlobbt : 0 0 0 0
26.59/26.74 c obbt : 0 0 0 0
26.59/26.74 c probing : 0 0 0 0
26.59/26.74 c pseudoobj : 4418 28 259 79
26.59/26.74 c redcost : 1389 0 0 561
26.59/26.74 c rootredcost : 1 0 0 0
26.59/26.74 c symmetry : 8894 0 53 7215
26.59/26.74 c vbounds : 1932 0 0 0
26.59/26.74 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp SB-Prop
26.59/26.74 c dualfix : 0.00 0.00 0.00 0.00 0.00 0.00
26.59/26.74 c genvbounds : 0.00 0.00 0.00 0.00 0.00 0.00
26.59/26.74 c nlobbt : 0.00 0.00 0.00 0.00 0.00 0.00
26.59/26.74 c obbt : 0.00 0.00 0.00 0.00 0.00 0.00
26.59/26.74 c probing : 0.01 0.00 0.01 0.00 0.00 0.00
26.59/26.74 c pseudoobj : 0.03 0.00 0.00 0.03 0.00 0.00
26.59/26.74 c redcost : 0.01 0.00 0.00 0.01 0.00 0.00
26.59/26.74 c rootredcost : 0.00 0.00 0.00 0.00 0.00 0.00
26.59/26.74 c symmetry : 0.31 0.00 0.07 0.17 0.00 0.06
26.59/26.74 c vbounds : 0.00 0.00 0.00 0.00 0.00 0.00
26.59/26.74 c Symmetry :
26.59/26.74 c orbitopal red. : 0 reductions applied, 0 cutoffs
26.59/26.74 c orbital reduction: 7148 reductions applied, 11 cutoffs
26.59/26.74 c lexicographic red: 167 reductions applied, 42 cutoffs
26.59/26.74 c shadow tree time : 0.00 s
26.59/26.74 c Conflict Analysis : Time Calls Success DomReds Conflicts Literals Reconvs ReconvLits Dualrays Nonzeros LP Iters (pool size: [10000,10000])
26.59/26.74 c propagation : 0.04 713 703 - 2626 84.5 9 36.8 - - -
26.59/26.74 c infeasible LP : 0.00 3 3 - 12 22.2 0 0.0 3 13.7 0
26.59/26.74 c bound exceed. LP : 0.01 30 7 - 37 101.9 0 0.0 2 14.0 3
26.59/26.74 c strong branching : 0.00 0 0 - 0 0.0 0 0.0 - - 0
26.59/26.74 c pseudo solution : 0.00 1 1 - 1 12.0 0 0.0 - - -
26.59/26.74 c applied globally : 0.00 - - 0 597 18.5 - - 5 - -
26.59/26.74 c applied locally : - - - 0 313 110.4 - - 0 - -
26.59/26.74 c Separators : ExecTime SetupTime Calls RootCalls Cutoffs DomReds FoundCuts ViaPoolAdd DirectAdd Applied ViaPoolApp DirectApp Conss
26.59/26.74 c cut pool : 0.11 - 207 21 - - 3404 4721 - - - - - (maximal pool size: 3280)
26.59/26.74 c aggregation : 0.07 0.00 78 11 0 0 3 5 0 0 0 0 0
26.59/26.74 c > cmir : - - - - - - - 5 0 0 0 0 -
26.59/26.74 c > flowcover : - - - - - - - 0 0 0 0 0 -
26.59/26.74 c > knapsackcover : - - - - - - - 0 0 0 0 0 -
26.59/26.74 c cgmip : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
26.59/26.74 c clique : 0.00 0.00 11 11 0 0 0 0 0 0 0 0 0
26.59/26.74 c closecuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
26.59/26.74 c convexproj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
26.59/26.74 c disjunctive : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
26.59/26.74 c eccuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
26.59/26.74 c gauge : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
26.59/26.74 c gomory : 11.67 0.00 77 10 0 0 3352 4387 114 102 99 3 0
26.59/26.74 c > gomorymi : - - - - - - - 1832 57 19 17 2 -
26.59/26.74 c > strongcg : - - - - - - - 2555 57 83 82 1 -
26.59/26.74 c impliedbounds : 0.00 0.00 78 11 0 0 0 0 0 0 0 0 0
26.59/26.74 c interminor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
26.59/26.74 c intobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
26.59/26.74 c lagromory : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
26.59/26.74 c mcf : 0.00 0.00 1 1 0 0 0 0 0 0 0 0 0
26.59/26.74 c minor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
26.59/26.74 c mixing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
26.59/26.74 c multilinear : 0.00 0.00 70 11 0 0 0 0 0 0 0 0 0
26.59/26.74 c oddcycle : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
26.59/26.74 c rapidlearning : 0.01 0.00 0 0 0 0 0 0 0 0 0 0 0
26.59/26.74 c rlt : 0.00 0.00 36 10 0 0 0 0 0 0 0 0 0
26.59/26.74 c zerohalf : 0.06 0.00 78 11 0 0 193 329 30 184 167 17 0
26.59/26.74 c Cutselectors : ExecTime SetupTime Calls RootCalls Selected Forced Filtered RootSelec RootForc RootFilt
26.59/26.74 c hybrid : 0.01 0.00 89 11 286 0 4579 44 0 2548
26.59/26.74 c ensemble : 0.00 0.00 0 0 0 0 0 0 0 0
26.59/26.74 c dynamic : 0.00 0.00 0 0 0 0 0 0 0 0
26.59/26.74 c Pricers : ExecTime SetupTime Calls Vars
26.59/26.74 c problem variables: 0.00 - 0 0
26.59/26.74 c Branching Rules : ExecTime SetupTime BranchLP BranchExt BranchPS Cutoffs DomReds Cuts Conss Children
26.59/26.74 c allfullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
26.59/26.74 c cloud : 0.00 0.00 0 0 0 0 0 0 0 0
26.59/26.74 c distribution : 0.00 0.00 0 0 0 0 0 0 0 0
26.59/26.74 c fullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
26.59/26.74 c gomory : 0.00 0.00 0 0 0 0 0 0 0 0
26.59/26.74 c inference : 0.00 0.00 0 0 0 0 0 0 0 0
26.59/26.74 c leastinf : 0.00 0.00 0 0 0 0 0 0 0 0
26.59/26.74 c lookahead : 0.00 0.00 0 0 0 0 0 0 0 0
26.59/26.74 c mostinf : 0.00 0.00 0 0 0 0 0 0 0 0
26.59/26.74 c multaggr : 0.00 0.00 0 0 0 0 0 0 0 0
26.59/26.74 c nodereopt : 0.00 0.00 0 0 0 0 0 0 0 0
26.59/26.74 c pscost : 0.00 0.00 0 0 0 0 0 0 0 0
26.59/26.74 c random : 0.00 0.00 0 0 0 0 0 0 0 0
26.59/26.74 c relpscost : 9.26 0.00 680 0 0 0 1003 0 338 924
26.59/26.74 c vanillafullstrong: 0.00 0.00 0 0 0 0 0 0 0 0
26.59/26.74 c Primal Heuristics : ExecTime SetupTime Calls Found Best
26.59/26.74 c LP solutions : 0.00 - - 0 0
26.59/26.74 c relax solutions : 0.00 - - 0 0
26.59/26.74 c pseudo solutions : 0.00 - - 0 0
26.59/26.74 c strong branching : 0.01 - - 0 0
26.59/26.74 c actconsdiving : 0.00 0.00 0 0 0
26.59/26.74 c adaptivediving : 0.08 0.00 1 0 0
26.59/26.74 c alns : 0.24 0.00 4 0 0
26.59/26.74 c bound : 0.00 0.00 0 0 0
26.59/26.74 c clique : 0.03 0.00 1 1 1
26.59/26.74 c coefdiving : 0.00 0.00 0 0 0
26.59/26.74 c completesol : 0.00 0.00 0 0 0
26.59/26.74 c conflictdiving : 0.09 0.00 1 0 0
26.59/26.74 c crossover : 0.05 0.00 1 1 0
26.59/26.74 c dins : 0.00 0.00 0 0 0
26.59/26.74 c distributiondivin: 0.01 0.00 0 0 0
26.59/26.74 c dps : 0.00 0.00 0 0 0
26.59/26.74 c dualval : 0.00 0.00 0 0 0
26.59/26.74 c farkasdiving : 0.00 0.00 0 0 0
26.59/26.74 c feasjump : 0.00 0.00 0 0 0
26.59/26.74 c feaspump : 0.10 0.00 1 0 0
26.59/26.74 c fixandinfer : 0.00 0.00 0 0 0
26.59/26.74 c fracdiving : 0.00 0.00 1 0 0
26.59/26.74 c gins : 0.00 0.00 0 0 0
26.59/26.74 c guideddiving : 0.00 0.00 0 0 0
26.59/26.74 c indcoefdiving : 0.00 0.00 0 0 0
26.59/26.74 c indicator : 0.00 0.00 0 0 0
26.59/26.74 c indicatordiving : 0.00 0.00 0 0 0
26.59/26.74 c indoneopt : 0.00 0.00 0 0 0
26.59/26.74 c indrounding : 0.00 0.00 0 0 0
26.59/26.74 c indtwoopt : 0.00 0.00 0 0 0
26.59/26.74 c intdiving : 0.00 0.00 0 0 0
26.59/26.74 c intshifting : 0.00 0.00 0 0 0
26.59/26.74 c linesearchdiving : 0.00 0.00 0 0 0
26.59/26.74 c localbranching : 0.00 0.00 0 0 0
26.59/26.74 c locks : 0.00 0.00 1 0 0
26.59/26.74 c lpface : 0.00 0.00 0 0 0
26.59/26.74 c mpec : 0.00 0.00 0 0 0
26.59/26.74 c multistart : 0.00 0.00 0 0 0
26.59/26.74 c mutation : 0.00 0.00 0 0 0
26.59/26.74 c nlpdiving : 0.00 0.00 0 0 0
26.59/26.74 c objpscostdiving : 0.01 0.00 1 1 0
26.59/26.74 c octane : 0.00 0.00 0 0 0
26.59/26.74 c ofins : 0.00 0.00 0 0 0
26.59/26.74 c oneopt : 0.00 0.00 2 0 0
26.59/26.74 c padm : 0.00 0.00 0 0 0
26.59/26.74 c proximity : 0.00 0.00 0 0 0
26.59/26.74 c pscostdiving : 0.15 0.00 1 0 0
26.59/26.74 c randrounding : 0.02 0.00 64 0 0
26.59/26.74 c rens : 0.06 0.00 1 0 0
26.59/26.74 c reoptsols : 0.00 0.00 0 0 0
26.59/26.74 c repair : 0.00 0.00 0 0 0
26.59/26.74 c rins : 0.09 0.00 2 1 0
26.59/26.74 c rootsoldiving : 0.00 0.00 0 0 0
26.59/26.74 c rounding : 0.08 0.00 331 0 0
26.59/26.74 c scheduler : 0.00 0.00 0 0 0
26.59/26.74 c shiftandpropagate: 0.00 0.00 0 0 0
26.59/26.74 c shifting : 0.12 0.00 165 33 0
26.59/26.74 c simplerounding : 0.00 0.00 783 0 0
26.59/26.74 c smallcard : 0.00 0.00 0 0 0
26.59/26.74 c subnlp : 0.00 0.00 0 0 0
26.59/26.74 c trivial : 0.00 0.00 2 0 0
26.59/26.74 c trivialnegation : 0.00 0.00 0 0 0
26.59/26.74 c trustregion : 0.00 0.00 0 0 0
26.59/26.74 c trysol : 0.00 0.00 0 0 0
26.59/26.74 c twoopt : 0.00 0.00 0 0 0
26.59/26.74 c undercover : 0.00 0.00 0 0 0
26.59/26.74 c vbounds : 0.02 0.00 1 1 1
26.59/26.74 c veclendiving : 0.00 0.00 1 0 0
26.59/26.74 c zeroobj : 0.00 0.00 0 0 0
26.59/26.74 c zirounding : 0.14 0.00 456 26 0
26.59/26.74 c other solutions : - - - 0 -
26.59/26.74 c LNS (Scheduler) : Calls SetupTime SolveTime SolveNodes Sols Best Exp3 Exp3-IX EpsGreedy UCB TgtFixRate Opt Inf Node Stal Sol Usr Othr Actv
26.59/26.74 c rens : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
26.59/26.74 c rins : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
26.59/26.74 c mutation : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
26.59/26.74 c localbranching : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
26.59/26.74 c crossover : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
26.59/26.74 c proximity : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
26.59/26.74 c zeroobjective : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
26.59/26.74 c dins : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
26.59/26.74 c trustregion : 0 0.00 0.00 0 0 0 0.00000 0.00000 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 0
26.59/26.74 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It ItLimit
26.59/26.74 c primal LP : 0.04 29 0 0.00 0.00 0.04 29
26.59/26.74 c dual LP : 2.15 976 11976 14.71 5581.81 0.21 162
26.59/26.74 c lex dual LP : 0.00 0 0 0.00 -
26.59/26.74 c barrier LP : 0.00 0 0 0.00 - 0.00 0
26.59/26.74 c resolve instable : 0.00 0 0 0.00 -
26.59/26.74 c diving/probing LP: 1.21 283 3828 13.53 3166.84
26.59/26.74 c strong branching : 5.32 1471 32910 22.37 6185.81 - - 172
26.59/26.74 c (at root node) : - 47 2690 57.23 -
26.59/26.74 c conflict analysis: 0.00 1 3 3.00 -
26.59/26.74 c B&B Tree :
26.59/26.74 c number of runs : 1
26.59/26.74 c nodes : 872 (462 internal, 410 leaves)
26.59/26.74 c feasible leaves : 0
26.59/26.74 c infeas. leaves : 354
26.59/26.74 c objective leaves : 56
26.59/26.74 c nodes (total) : 872 (462 internal, 410 leaves)
26.59/26.74 c nodes left : 0
26.59/26.74 c max depth : 26
26.59/26.74 c max depth (total): 26
26.59/26.74 c backtracks : 192 (22.0%)
26.59/26.74 c early backtracks : 0 (0.0%)
26.59/26.74 c nodes exc. ref. : 0 (0.0%)
26.59/26.74 c delayed cutoffs : 53
26.59/26.74 c repropagations : 327 (1202 domain reductions, 52 cutoffs)
26.59/26.74 c avg switch length: 4.21
26.59/26.74 c switching time : 0.30
26.59/26.74 c Root Node :
26.59/26.74 c First LP value : +0.00000000000000e+00
26.59/26.74 c First LP Iters : 343 (9272.28 Iter/sec)
26.59/26.74 c First LP Time : 0.04
26.59/26.74 c Final Dual Bound : +0.00000000000000e+00
26.59/26.74 c Final Root Iters : 673
26.59/26.74 c Root LP Estimate : +9.75339299392873e+00
26.59/26.74 c Solution :
26.59/26.74 c Solutions found : 64 (2 improvements)
26.59/26.74 c First Solution : +1.30000000000000e+01 (in run 1, after 1 nodes, 0.41 seconds, depth 16, found by <clique>)
26.59/26.74 c Gap First Sol. : infinite
26.59/26.74 c Gap Last Sol. : 1100.00 %
26.59/26.74 c Primal Bound : +1.20000000000000e+01 (in run 1, after 135 nodes, 14.41 seconds, depth 10, found by <shifting>)
26.59/26.74 c Dual Bound : +1.20000000000000e+01
26.59/26.74 c Gap : 0.00 %
26.59/26.74 c Integrals : Total Avg%
26.59/26.74 c primal-dual : 2055.01 76.87
26.59/26.74 c primal-ref : - - (not evaluated)
26.59/26.74 c dual-ref : - - (not evaluated)
26.59/26.77 c Time complete: 26.6703.
OK 12
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 (62454 MiB free)
memory of node 1: 64465 MiB (60293 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4517868-1751532803/watcher-4517868-1751532803 -o /tmp/evaluation-result-4517868-1751532803/solver-4517868-1751532803 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC016-1751529182-88313 --watchdog 3760 pbscip -f HOME/instance-4517868-1751532803.opb -t 3600 -j 2 -m 31000
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=89469, runsolver pid=89466
Current StackSize limit: 8192 KiB
[startup+0.100065 s]*
/proc/loadavg: 4.07 4.09 4.05 5/266 89470
/proc/meminfo: memFree=125654544/131250000 swapFree=33010160/33010684
[pid=89469] ppid=89466 vsize=79400 memory=52456 CPUtime=0.09 cores=0,2
/proc/89469/stat : 89469 (pbscip) R 89466 89469 88303 0 -1 4194304 10966 0 0 0 8 1 0 0 20 0 1 0 68957861 81305600 13114 18446744073709551615 4235264 18693293 140731532792176 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 50782208 140731532794249 140731532794348 140731532794348 140731532799950 0
/proc/89469/statm: 19850 13114 3680 3530 0 11301 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 79400 KiB
Current children cumulated memory: 52456 KiB
[startup+0.20547 s]*
/proc/loadavg: 4.07 4.09 4.05 5/266 89470
/proc/meminfo: memFree=125654188/131250000 swapFree=33010160/33010684
[pid=89469] ppid=89466 vsize=106852 memory=76356 CPUtime=0.19 cores=0,2
/proc/89469/stat : 89469 (pbscip) R 89466 89469 88303 0 -1 4194304 16980 0 0 0 17 2 0 0 20 0 1 0 68957861 109416448 19089 18446744073709551615 4235264 18693293 140731532792176 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 50782208 140731532794249 140731532794348 140731532794348 140731532799950 0
/proc/89469/statm: 26713 19089 3744 3530 0 18164 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 106852 KiB
Current children cumulated memory: 76356 KiB
[startup+0.30558 s]*
/proc/loadavg: 4.07 4.09 4.05 5/266 89470
/proc/meminfo: memFree=125627788/131250000 swapFree=33010160/33010684
[pid=89469] ppid=89466 vsize=129408 memory=98064 CPUtime=0.29 cores=0,2
/proc/89469/stat : 89469 (pbscip) R 89466 89469 88303 0 -1 4194304 19856 0 0 0 26 3 0 0 20 0 1 0 68957861 132513792 24516 18446744073709551615 4235264 18693293 140731532792176 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 50782208 140731532794249 140731532794348 140731532794348 140731532799950 0
/proc/89469/statm: 32352 24516 3744 3530 0 23803 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 129408 KiB
Current children cumulated memory: 98064 KiB
[startup+0.700189 s]
/proc/loadavg: 4.07 4.09 4.05 5/266 89470
/proc/meminfo: memFree=125594136/131250000 swapFree=33010160/33010684
[pid=89469] ppid=89466 vsize=158892 memory=128528 CPUtime=0.67 cores=0,2
/proc/89469/stat : 89469 (pbscip) R 89466 89469 88303 0 -1 4194304 27322 0 0 0 64 3 0 0 20 0 1 0 68957861 162705408 32132 18446744073709551615 4235264 18693293 140731532792176 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 50782208 140731532794249 140731532794348 140731532794348 140731532799950 0
/proc/89469/statm: 39723 32132 3936 3530 0 31174 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 158892 KiB
Current children cumulated memory: 128528 KiB
[startup+1.50016 s]
/proc/loadavg: 4.07 4.09 4.05 5/266 89470
/proc/meminfo: memFree=125594136/131250000 swapFree=33010160/33010684
[pid=89469] ppid=89466 vsize=170924 memory=136464 CPUtime=1.47 cores=0,2
/proc/89469/stat : 89469 (pbscip) R 89466 89469 88303 0 -1 4194304 29322 0 0 0 144 3 0 0 20 0 1 0 68957861 175026176 34116 18446744073709551615 4235264 18693293 140731532792176 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 50782208 140731532794249 140731532794348 140731532794348 140731532799950 0
/proc/89469/statm: 42731 34116 3936 3530 0 34182 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 170924 KiB
Current children cumulated memory: 136464 KiB
[startup+3.10536 s]
/proc/loadavg: 4.07 4.09 4.05 5/266 89470
/proc/meminfo: memFree=125562384/131250000 swapFree=33010160/33010684
[pid=89469] ppid=89466 vsize=225100 memory=174736 CPUtime=3.07 cores=0,2
/proc/89469/stat : 89469 (pbscip) R 89466 89469 88303 0 -1 4194304 38877 0 0 0 302 5 0 0 20 0 1 0 68957861 230502400 43684 18446744073709551615 4235264 18693293 140731532792176 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 50782208 140731532794249 140731532794348 140731532794348 140731532799950 0
/proc/89469/statm: 56275 43684 3936 3530 0 47726 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 225100 KiB
Current children cumulated memory: 174736 KiB
[startup+6.30017 s]
/proc/loadavg: 4.07 4.09 4.05 5/266 89470
/proc/meminfo: memFree=125538460/131250000 swapFree=33010160/33010684
[pid=89469] ppid=89466 vsize=230580 memory=179600 CPUtime=6.26 cores=0,2
/proc/89469/stat : 89469 (pbscip) R 89466 89469 88303 0 -1 4194304 40066 0 0 0 620 6 0 0 20 0 1 0 68957861 236113920 44900 18446744073709551615 4235264 18693293 140731532792176 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 50782208 140731532794249 140731532794348 140731532794348 140731532799950 0
/proc/89469/statm: 57645 44900 3968 3530 0 49096 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 230580 KiB
Current children cumulated memory: 179600 KiB
[startup+12.7002 s]
/proc/loadavg: 4.14 4.10 4.06 5/266 89470
/proc/meminfo: memFree=125509708/131250000 swapFree=33010160/33010684
[pid=89469] ppid=89466 vsize=230580 memory=179984 CPUtime=12.64 cores=0,2
/proc/89469/stat : 89469 (pbscip) R 89466 89469 88303 0 -1 4194304 40186 0 0 0 1258 6 0 0 20 0 1 0 68957861 236113920 44996 18446744073709551615 4235264 18693293 140731532792176 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 50782208 140731532794249 140731532794348 140731532794348 140731532799950 0
/proc/89469/statm: 57645 44996 3968 3530 0 49096 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 230580 KiB
Current children cumulated memory: 179984 KiB
[startup+25.5002 s]
/proc/loadavg: 4.11 4.10 4.06 5/266 89470
/proc/meminfo: memFree=125455860/131250000 swapFree=33010160/33010684
[pid=89469] ppid=89466 vsize=253872 memory=202176 CPUtime=25.39 cores=0,2
/proc/89469/stat : 89469 (pbscip) R 89466 89469 88303 0 -1 4194304 47684 0 0 0 2533 6 0 0 20 0 1 0 68957861 259964928 50544 18446744073709551615 4235264 18693293 140731532792176 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 50782208 140731532794249 140731532794348 140731532794348 140731532799950 0
/proc/89469/statm: 63468 50544 3968 3530 0 54919 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 253872 KiB
Current children cumulated memory: 202176 KiB
[startup+26.7786 s]
# the end of solver process 89469 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=26.5995 s, system=0.08172 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+25.6002 s]
/proc/loadavg: 4.11 4.10 4.06 5/266 89470
/proc/meminfo: memFree=125455860/131250000 swapFree=33010160/33010684
[pid=89469] ppid=89466 vsize=253872 memory=202176 CPUtime=25.49 cores=0,2
/proc/89469/stat : 89469 (pbscip) R 89466 89469 88303 0 -1 4194304 47684 0 0 0 2543 6 0 0 20 0 1 0 68957861 259964928 50544 18446744073709551615 4235264 18693293 140731532792176 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 50782208 140731532794249 140731532794348 140731532794348 140731532799950 0
/proc/89469/statm: 63468 50544 3968 3530 0 54919 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 253872 KiB
Current children cumulated memory: 202176 KiB
[startup+26.4002 s]
/proc/loadavg: 4.11 4.10 4.06 5/266 89470
/proc/meminfo: memFree=125455860/131250000 swapFree=33010160/33010684
[pid=89469] ppid=89466 vsize=253872 memory=202816 CPUtime=26.29 cores=0,2
/proc/89469/stat : 89469 (pbscip) R 89466 89469 88303 0 -1 4194304 47844 0 0 0 2623 6 0 0 20 0 1 0 68957861 259964928 50704 18446744073709551615 4235264 18693293 140731532792176 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 50782208 140731532794249 140731532794348 140731532794348 140731532799950 0
/proc/89469/statm: 63468 50704 3968 3530 0 54919 0
Current children cumulated CPU time: 26.29 s
Current children cumulated vsize: 253872 KiB
Current children cumulated memory: 202816 KiB
[startup+26.6001 s]
/proc/loadavg: 4.11 4.10 4.06 5/266 89470
/proc/meminfo: memFree=125455860/131250000 swapFree=33010160/33010684
[pid=89469] ppid=89466 vsize=253872 memory=202816 CPUtime=26.49 cores=0,2
/proc/89469/stat : 89469 (pbscip) R 89466 89469 88303 0 -1 4194304 47844 0 0 0 2643 6 0 0 20 0 1 0 68957861 259964928 50704 18446744073709551615 4235264 18693293 140731532792176 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 50782208 140731532794249 140731532794348 140731532794348 140731532799950 0
/proc/89469/statm: 63468 50704 3968 3530 0 54919 0
Current children cumulated CPU time: 26.49 s
Current children cumulated vsize: 253872 KiB
Current children cumulated memory: 202816 KiB
[startup+26.7002 s]
/proc/loadavg: 4.11 4.10 4.06 5/266 89470
/proc/meminfo: memFree=125455860/131250000 swapFree=33010160/33010684
[pid=89469] ppid=89466 vsize=253872 memory=202816 CPUtime=26.59 cores=0,2
/proc/89469/stat : 89469 (pbscip) R 89466 89469 88303 0 -1 4194304 47844 0 0 0 2653 6 0 0 20 0 1 0 68957861 259964928 50704 18446744073709551615 4235264 18693293 140731532792176 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 50782208 140731532794249 140731532794348 140731532794348 140731532799950 0
/proc/89469/statm: 63468 50704 3968 3530 0 54919 0
Current children cumulated CPU time: 26.59 s
Current children cumulated vsize: 253872 KiB
Current children cumulated memory: 202816 KiB
Child status: 0
Real time (s): 26.7787
CPU time (s): 26.6812
CPU user time (s): 26.5995
CPU system time (s): 0.08172
CPU usage (%): 99.636
Max. virtual memory (cumulated for all children) (KiB): 254564
Max. memory (cumulated for all children) (KiB): 202848
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 26.5995
system time used= 0.08172
maximum resident set size= 202848
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 47852
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= 80
involuntary context switches= 67
# summary of solver processes directly reported to runsolver:
# pid: 89469
# total CPU time (s): 26.6812
# total CPU user time (s): 26.5995
# total CPU system time (s): 0.08172
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.053182 second user time and 0.150741 second system time
The end
Begin job on nodeC016 at 2025-07-03 10:53:23 IDJOB=4517868 IDBENCH=176189 IDSOLVER=3365 FILE ID=nodeC016/4517868-1751532803 RUNJOBID= nodeC016-1751529182-88313 SLURM_JOB_ID= 9598668 Free space on /tmp= 432836 MiB SOLVER NAME= SCIP 2024-07-07 BENCH NAME= PB24/normalized-PB24/OPT-LIN/ihalainen/PBO-clique-coloring/normalized-clique-coloring-max-clique-n=14-t=2.opb COMMAND LINE= pbscip -f BENCHNAME -t TIMEOUT -j NBCORE -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4517868-1751532803/watcher-4517868-1751532803 -o /tmp/evaluation-result-4517868-1751532803/solver-4517868-1751532803 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC016-1751529182-88313 --watchdog 3760 pbscip -f HOME/instance-4517868-1751532803.opb -t 3600 -j 2 -m 31000 TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 0eb4af5d9d6a7991e65a6bdba739f56a RANDOM SEED=458081738 nodeC016 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.707 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.48 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.734 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.48 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 : 3653.602 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.48 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.255 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.48 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.737 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.48 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.735 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.48 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 : 3607.520 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.48 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 : 3600.498 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.48 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131250000 kB MemFree: 125694360 kB MemAvailable: 125838236 kB Buffers: 2144 kB Cached: 912416 kB SwapCached: 28 kB Active: 4569540 kB Inactive: 292632 kB Active(anon): 3960372 kB Inactive(anon): 5288 kB Active(file): 609168 kB Inactive(file): 287344 kB Unevictable: 3072 kB Mlocked: 0 kB SwapTotal: 33010684 kB SwapFree: 33010160 kB Zswap: 0 kB Zswapped: 0 kB Dirty: 38332 kB Writeback: 12 kB AnonPages: 3946336 kB Mapped: 140216 kB Shmem: 18044 kB KReclaimable: 173204 kB Slab: 265360 kB SReclaimable: 173204 kB SUnreclaim: 92156 kB KernelStack: 4256 kB PageTables: 10924 kB SecPageTables: 0 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 98635684 kB Committed_AS: 4552212 kB VmallocTotal: 34359738367 kB VmallocUsed: 150552 kB VmallocChunk: 0 kB Percpu: 3776 kB HardwareCorrupted: 0 kB AnonHugePages: 2076672 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: 201428 kB DirectMap2M: 7958528 kB DirectMap1G: 127926272 kB Free space on /tmp at the end= 432820 MiB End job on nodeC016 at 2025-07-03 10:53:50