0.00/0.00 c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.0.0] [GitHash: 405ed0d46f]
0.00/0.00 c Copyright (c) 2002-2024 Zuse Institute Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c user parameter file <scip.set> not found - using default parameters
0.00/0.00 c reading problem <HOME/instance-4518558-1751532856.opb>
0.00/0.01 c original problem has 364 variables (364 bin, 0 int, 0 impl, 0 cont) and 91 constraints
0.00/0.01 c problem read in 0.00
0.00/0.01 c presolving:
0.00/0.01 c (0.0s) running MILP presolver
0.00/0.01 c (0.0s) MILP presolver found nothing
0.00/0.01 c (0.0s) probing: 51/364 (14.0%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.00/0.01 c (0.0s) probing aborted: 50/50 successive totally useless probings
0.00/0.01 c (0.0s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
0.00/0.02 c (0.0s) no symmetry present (symcode time: 0.01)
0.00/0.02 c presolving (1 rounds: 1 fast, 1 medium, 1 exhaustive):
0.00/0.02 c 0 deleted vars, 0 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.00/0.02 c 0 implications, 0 cliques
0.00/0.02 c presolved problem has 364 variables (364 bin, 0 int, 0 impl, 0 cont) and 91 constraints
0.00/0.02 c 91 constraints of type <linear>
0.00/0.02 c transformed objective value is always integral (scale: 1)
0.00/0.02 c Presolving Time: 0.02
0.00/0.02 c - non default parameters ----------------------------------------------------------------------
0.00/0.02 c # SCIP version 10.0.0
0.00/0.02 c
0.00/0.02 c # maximal time in seconds to run
0.00/0.02 c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
0.00/0.02 c limits/time = 3596.998007
0.00/0.02 c
0.00/0.02 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.02 c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
0.00/0.02 c limits/memory = 27900
0.00/0.02 c
0.00/0.02 c # belongs reading time to solving time?
0.00/0.02 c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
0.00/0.02 c timing/reading = TRUE
0.00/0.02 c
0.00/0.02 c -----------------------------------------------------------------------------------------------
0.00/0.02 c start solving
0.00/0.02 c
0.00/0.02 o 21
0.00/0.02 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
0.00/0.02 c p 0.0s| 1 | 0 | 0 | - | locks| 0 | 364 | 91 | 91 | 0 | 0 | 0 | 0 | 0.000000e+00 | 2.100000e+01 | Inf | unknown
0.00/0.02 c 0.0s| 1 | 0 | 254 | - | 3606k | 0 | 364 | 91 | 91 | 0 | 0 | 0 | 0 | 0.000000e+00 | 2.100000e+01 | Inf | unknown
0.00/0.05 c 0.0s| 1 | 0 | 265 | - | 4262k | 0 | 364 | 255 | 95 | 4 | 1 | 0 | 0 | 0.000000e+00 | 2.100000e+01 | Inf | unknown
0.00/0.05 c 0.0s| 1 | 0 | 284 | - | 5225k | 0 | 364 | 255 | 97 | 6 | 2 | 0 | 0 | 0.000000e+00 | 2.100000e+01 | Inf | unknown
0.00/0.06 c 0.1s| 1 | 0 | 297 | - | 5977k | 0 | 364 | 255 | 99 | 8 | 3 | 0 | 0 | 0.000000e+00 | 2.100000e+01 | Inf | unknown
0.00/0.07 c 0.1s| 1 | 0 | 306 | - | 8153k | 0 | 364 | 255 | 101 | 10 | 4 | 0 | 0 | 0.000000e+00 | 2.100000e+01 | Inf | unknown
0.00/0.09 c 0.1s| 1 | 0 | 316 | - | 12M | 0 | 364 | 255 | 102 | 11 | 5 | 0 | 0 | 0.000000e+00 | 2.100000e+01 | Inf | unknown
0.09/0.10 c 0.1s| 1 | 0 | 329 | - | 15M | 0 | 364 | 255 | 103 | 12 | 6 | 0 | 0 | 0.000000e+00 | 2.100000e+01 | Inf | unknown
0.09/0.12 c 0.1s| 1 | 0 | 350 | - | 18M | 0 | 364 | 255 | 104 | 13 | 7 | 0 | 0 | 0.000000e+00 | 2.100000e+01 | Inf | unknown
0.09/0.14 c 0.1s| 1 | 0 | 364 | - | 21M | 0 | 364 | 255 | 105 | 14 | 8 | 0 | 0 | 0.000000e+00 | 2.100000e+01 | Inf | unknown
0.09/0.15 c 0.1s| 1 | 0 | 374 | - | 22M | 0 | 364 | 255 | 107 | 16 | 9 | 0 | 0 | 0.000000e+00 | 2.100000e+01 | Inf | unknown
0.09/0.17 c 0.2s| 1 | 0 | 391 | - | 24M | 0 | 364 | 255 | 108 | 17 | 10 | 0 | 0 | 0.000000e+00 | 2.100000e+01 | Inf | unknown
0.09/0.18 c 0.2s| 1 | 0 | 403 | - | 25M | 0 | 364 | 255 | 108 | 19 | 11 | 0 | 0 | 0.000000e+00 | 2.100000e+01 | Inf | unknown
0.09/0.18 o 1
0.09/0.18 c o 0.2s| 1 | 0 | 521 | - |feaspump| 0 | 364 | 255 | 108 | 19 | 11 | 0 | 0 | 0.000000e+00 | 1.000000e+00 | Inf | unknown
0.09/0.19 c 0.2s| 1 | 0 | 521 | - | 25M | 0 | 364 | 91 | 108 | 19 | 11 | 0 | 0 | 0.000000e+00 | 1.000000e+00 | Inf | unknown
0.09/0.19 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
0.09/0.19 c 0.2s| 1 | 0 | 538 | - | 25M | 0 | 364 | 91 | 110 | 21 | 12 | 0 | 0 | 0.000000e+00 | 1.000000e+00 | Inf | unknown
0.09/0.20 c 0.2s| 1 | 0 | 539 | - | 25M | 0 | 364 | 91 | 111 | 22 | 13 | 0 | 0 | 0.000000e+00 | 1.000000e+00 | Inf | unknown
0.09/0.20 c (run 1, node 1) restarting after 91 global fixings of integer variables
0.09/0.20 c
0.09/0.20 c (restart) converted 20 cuts from the global cut pool into linear constraints
0.09/0.20 c
0.09/0.20 c presolving:
0.09/0.21 c (round 1, fast) 91 del vars, 0 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
0.09/0.21 c (0.2s) running MILP presolver
0.20/0.21 c (0.2s) MILP presolver found nothing
0.20/0.21 c (round 2, exhaustive) 91 del vars, 0 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 13 upgd conss, 0 impls, 0 clqs
0.20/0.21 c presolving (3 rounds: 3 fast, 2 medium, 2 exhaustive):
0.20/0.21 c 91 deleted vars, 0 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.20/0.21 c 0 implications, 0 cliques
0.20/0.21 c presolved problem has 273 variables (273 bin, 0 int, 0 impl, 0 cont) and 111 constraints
0.20/0.21 c 13 constraints of type <knapsack>
0.20/0.21 c 98 constraints of type <linear>
0.20/0.21 c transformed objective value is always integral (scale: 1)
0.20/0.21 c Presolving Time: 0.02
0.20/0.21 c
0.20/0.21 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
0.20/0.21 c 0.2s| 1 | 0 | 799 | - | 26M | 0 | 273 | 111 | 111 | 0 | 0 | 0 | 0 | 0.000000e+00 | 1.000000e+00 | Inf | unknown
0.20/0.24 c 0.2s| 1 | 0 | 805 | - | 26M | 0 | 273 | 289 | 113 | 2 | 1 | 0 | 0 | 0.000000e+00 | 1.000000e+00 | Inf | unknown
0.20/0.25 c 0.2s| 1 | 0 | 809 | - | 26M | 0 | 273 | 289 | 116 | 5 | 2 | 0 | 0 | 0.000000e+00 | 1.000000e+00 | Inf | unknown
0.20/0.25 c 0.2s| 1 | 0 | 821 | - | 26M | 0 | 273 | 289 | 121 | 10 | 3 | 0 | 0 | 0.000000e+00 | 1.000000e+00 | Inf | unknown
0.20/0.26 c 0.3s| 1 | 0 | 837 | - | 27M | 0 | 273 | 289 | 123 | 12 | 4 | 0 | 0 | 0.000000e+00 | 1.000000e+00 | Inf | unknown
0.20/0.27 c 0.3s| 1 | 0 | 852 | - | 27M | 0 | 273 | 289 | 125 | 14 | 5 | 0 | 0 | 0.000000e+00 | 1.000000e+00 | Inf | unknown
0.20/0.28 c 0.3s| 1 | 0 | 865 | - | 27M | 0 | 273 | 289 | 128 | 17 | 6 | 0 | 0 | 0.000000e+00 | 1.000000e+00 | Inf | unknown
0.20/0.29 c 0.3s| 1 | 0 | 901 | - | 27M | 0 | 273 | 289 | 133 | 22 | 7 | 0 | 0 | 0.000000e+00 | 1.000000e+00 | Inf | unknown
0.29/0.31 c 0.3s| 1 | 0 | 901 | - | 27M | 0 | 273 | 289 | 141 | 30 | 8 | 0 | 0 | 1.000000e+00 | 1.000000e+00 | 0.00%| unknown
0.29/0.31 c 0.3s| 1 | 0 | 901 | - | 27M | 0 | 273 | 289 | 141 | 30 | 8 | 0 | 0 | 1.000000e+00 | 1.000000e+00 | 0.00%| unknown
0.29/0.31 c
0.29/0.31 c SCIP Status : problem is solved [optimal solution found]
0.29/0.31 c Solving Time (sec) : 0.31
0.29/0.31 c Solving Nodes : 1 (total of 2 nodes in 2 runs)
0.29/0.31 c Primal Bound : +1.00000000000000e+00 (2 solutions)
0.29/0.31 c Dual Bound : +1.00000000000000e+00
0.29/0.31 c Gap : 0.00 %
0.29/0.31 s OPTIMUM FOUND
0.29/0.31 v x273 -x272 -x271 -x270 -x269 -x268 -x267 -x266 -x265 -x264 x263 x262 -x261 -x260 x259 -x258 -x257 x256 -x255 x254 -x253 -x252 -x251
0.29/0.31 v -x250 x249 x248 x247 -x246 -x245 -x244 x243 x242 x241 x240 x239 x238 x237 -x236 -x235 -x234 x233 -x232 x231 -x230 x229 -x228
0.29/0.31 v x227 -x226 -x225 x224 -x223 x222 -x221 -x220 -x219 -x218 -x217 -x216 x215 x214 -x213 x212 x211 -x210 -x209 -x208 x207 x206
0.29/0.31 v x205 x204 -x203 x202 x201 -x200 x199 -x198 x197 x196 x195 -x194 -x193 -x192 -x191 x190 -x189 -x188 -x187 x186 x185 -x184 -x183
0.29/0.31 v x182 -x181 -x180 x179 -x178 x177 x176 -x175 x174 x173 -x172 -x171 x170 -x169 x168 x167 -x166 -x165 x164 x163 x162 -x161
0.29/0.31 v x160 x159 -x158 x157 -x156 -x155 x154 x153 x152 x151 x150 -x149 -x148 x147 -x146 -x145 x144 -x143 x142 x141 -x140 x139 x138 -x137
0.29/0.31 v x136 -x135 -x134 -x133 x132 -x131 -x130 x129 -x128 x127 x126 x125 -x124 x123 x122 -x121 x120 -x119 x118 -x117 x116 -x115
0.29/0.31 v -x114 x113 -x112 -x111 -x110 x109 -x108 x107 -x106 -x105 x104 x103 -x102 x101 x100 -x99 x98 -x97 -x96 x95 -x94 x93 x92 x91 x90
0.29/0.31 v x89 x88 -x87 -x86 -x85 -x84 -x83 x82 x81 x80 x79 -x78 x77 -x76 -x75 x74 x73 x72 -x71 -x70 x69 -x68 x67 x66 -x65 -x64 x63 x62
0.29/0.31 v x61 x60 -x59 x58 -x57 x56 x55 x54 -x53 -x52 x51 x50 x49 -x48 -x47 -x46 x45 x44 -x43 -x42 x41 -x40 x39 -x38 -x37 x36 x35 x34
0.29/0.31 v -x33 -x32 x31 -x30 x29 x28 -x27 -x26 x25 -x24 -x23 x22 x21 -x20 x19 -x18 x17 x16 x15 -x14 -x13 -x12 x11 x10 x9 -x8 -x7 -x6
0.29/0.31 v -x5 x4 x3 x2 -x1 -x364 -x363 -x362 -x361 -x360 -x359 -x358 -x357 -x356 -x355 -x354 -x353 -x352 -x351 -x350 -x349 -x348 -x347
0.29/0.31 v -x346 -x345 -x344 -x343 -x342 -x341 -x340 -x339 -x338 -x337 -x336 -x335 -x334 -x333 -x332 -x331 -x330 -x329 -x328 -x327 -x326
0.29/0.31 v -x325 -x324 x323 -x322 -x321 -x320 -x319 -x318 -x317 -x316 -x315 -x314 -x313 -x312 -x311 -x310 -x309 -x308 -x307 -x306 -x305
0.29/0.31 v -x304 -x303 -x302 -x301 -x300 -x299 -x298 -x297 -x296 -x295 -x294 -x293 -x292 -x291 -x290 -x289 -x288 -x287 -x286 -x285 -x284
0.29/0.31 v -x283 -x282 -x281 -x280 -x279 -x278 -x277 -x276 -x275 -x274
0.29/0.31 c SCIP Status : problem is solved [optimal solution found]
0.29/0.31 c Total Time : 0.31
0.29/0.31 c solving : 0.31
0.29/0.31 c presolving : 0.02 (included in solving)
0.29/0.31 c reading : 0.00 (included in solving)
0.29/0.31 c copying : 0.01 (4 #copies) (minimal 0.00, maximal 0.00, average 0.00)
0.29/0.31 c Original Problem :
0.29/0.31 c Problem name : HOME/instance-4518558-1751532856.opb
0.29/0.31 c Variables : 364 (364 binary, 0 integer, 0 implicit integer, 0 continuous)
0.29/0.31 c Constraints : 91 initial, 91 maximal
0.29/0.31 c Objective : minimize, 91 non-zeros (abs.min = 1, abs.max = 1)
0.29/0.31 c Presolved Problem :
0.29/0.31 c Problem name : t_HOME/instance-4518558-1751532856.opb
0.29/0.31 c Variables : 273 (273 binary, 0 integer, 0 implicit integer, 0 continuous)
0.29/0.31 c Constraints : 111 initial, 289 maximal
0.29/0.31 c Objective : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
0.29/0.31 c Nonzeros : 3513 constraint, 0 clique table
0.29/0.31 c Presolvers : ExecTime SetupTime Calls FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
0.29/0.31 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
0.29/0.31 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
0.29/0.31 c domcol : 0.00 0.00 2 0 0 0 0 0 0 0 0 0
0.29/0.31 c dualagg : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
0.29/0.31 c dualcomp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
0.29/0.31 c dualinfer : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
0.29/0.31 c dualsparsify : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
0.29/0.31 c gateextraction : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
0.29/0.31 c implics : 0.00 0.00 3 0 0 0 0 0 0 0 0 0
0.29/0.31 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
0.29/0.31 c milp : 0.00 0.00 2 0 0 0 0 0 0 0 0 0
0.29/0.31 c qpkktref : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
0.29/0.31 c redvub : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
0.29/0.31 c sparsify : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
0.29/0.31 c stuffing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
0.29/0.31 c trivial : 0.00 0.00 4 91 0 0 0 0 0 0 0 0
0.29/0.31 c tworowbnd : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
0.29/0.31 c dualfix : 0.00 0.00 4 0 0 0 0 0 0 0 0 0
0.29/0.31 c genvbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
0.29/0.31 c probing : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
0.29/0.31 c pseudoobj : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
0.29/0.31 c symmetry : 0.01 0.00 1 0 0 0 0 0 0 0 0 0
0.29/0.31 c vbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
0.29/0.31 c knapsack : 0.00 0.00 3 0 0 0 0 0 0 0 0 0
0.29/0.31 c linear : 0.00 0.00 7 0 0 0 0 0 0 0 0 0
0.29/0.31 c benders : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
0.29/0.31 c components : 0.00 0.00 2 0 0 0 0 0 0 0 0 0
0.29/0.31 c root node : - - - 91 - - 91 - - - - -
0.29/0.31 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoRelax #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Applied Conss Children
0.29/0.31 c benderslp : 0 0 0 0 0 0 0 42 0 0 0 0 0 0 0
0.29/0.31 c integral : 0 0 0 0 0 0 0 42 0 0 0 0 0 0 0
0.29/0.31 c knapsack : 13 13 8 177 0 0 0 0 0 0 0 0 0 0 0
0.29/0.31 c linear : 98+ 276 22 1208 0 0 0 37 0 2 0 0 0 0 0
0.29/0.31 c benders : 0 0 0 0 0 0 0 4 0 0 0 0 0 0 0
0.29/0.31 c fixedvar : 0 0 0 0 0 0 0 4 0 0 0 0 0 0 0
0.29/0.31 c countsols : 0 0 0 0 0 0 0 4 0 0 0 0 0 0 0
0.29/0.31 c components : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
0.29/0.31 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS EnfoRelax Check ResProp SB-Prop
0.29/0.31 c benderslp : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
0.29/0.31 c integral : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
0.29/0.31 c knapsack : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
0.29/0.31 c linear : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
0.29/0.31 c benders : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
0.29/0.31 c fixedvar : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
0.29/0.31 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
0.29/0.31 c components : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
0.29/0.31 c Propagators : #Propagate #ResProp Cutoffs DomReds
0.29/0.31 c dualfix : 5 0 0 0
0.29/0.31 c genvbounds : 0 0 0 0
0.29/0.31 c nlobbt : 0 0 0 0
0.29/0.31 c obbt : 0 0 0 0
0.29/0.31 c probing : 0 0 0 0
0.29/0.31 c pseudoobj : 21 0 0 91
0.29/0.31 c redcost : 17 0 0 0
0.29/0.31 c rootredcost : 0 0 0 0
0.29/0.31 c symmetry : 0 0 0 0
0.29/0.31 c vbounds : 0 0 0 0
0.29/0.31 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp SB-Prop
0.29/0.31 c dualfix : 0.00 0.00 0.00 0.00 0.00 0.00
0.29/0.31 c genvbounds : 0.00 0.00 0.00 0.00 0.00 0.00
0.29/0.31 c nlobbt : 0.00 0.00 0.00 0.00 0.00 0.00
0.29/0.31 c obbt : 0.00 0.00 0.00 0.00 0.00 0.00
0.29/0.31 c probing : 0.00 0.00 0.00 0.00 0.00 0.00
0.29/0.31 c pseudoobj : 0.00 0.00 0.00 0.00 0.00 0.00
0.29/0.31 c redcost : 0.00 0.00 0.00 0.00 0.00 0.00
0.29/0.31 c rootredcost : 0.00 0.00 0.00 0.00 0.00 0.00
0.29/0.31 c symmetry : 0.01 0.00 0.01 0.00 0.00 0.00
0.29/0.31 c vbounds : 0.00 0.00 0.00 0.00 0.00 0.00
0.29/0.31 c Symmetry :
0.29/0.31 c orbitopal red. : 0 reductions applied, 0 cutoffs
0.29/0.31 c orbital reduction: 0 reductions applied, 0 cutoffs
0.29/0.31 c lexicographic red: 0 reductions applied, 0 cutoffs
0.29/0.31 c shadow tree time : 0.00 s
0.29/0.31 c Conflict Analysis : Time Calls Success DomReds Conflicts Literals Reconvs ReconvLits Dualrays Nonzeros LP Iters (pool size: [10000,10000])
0.29/0.31 c propagation : 0.00 0 0 - 0 0.0 0 0.0 - - -
0.29/0.31 c infeasible LP : 0.00 0 0 - 0 0.0 0 0.0 0 0.0 0
0.29/0.31 c bound exceed. LP : 0.00 0 0 - 0 0.0 0 0.0 0 0.0 0
0.29/0.31 c strong branching : 0.00 0 0 - 0 0.0 0 0.0 - - 0
0.29/0.31 c pseudo solution : 0.00 0 0 - 0 0.0 0 0.0 - - -
0.29/0.31 c applied globally : 0.00 - - 0 0 0.0 - - 0 - -
0.29/0.31 c applied locally : - - - 0 0 0.0 - - 0 - -
0.29/0.31 c Separators : ExecTime SetupTime Calls RootCalls Cutoffs DomReds FoundCuts ViaPoolAdd DirectAdd Applied ViaPoolApp DirectApp Conss
0.29/0.31 c cut pool : 0.00 - 39 39 - - 1098 2697 - - - - - (maximal pool size: 665)
0.29/0.31 c aggregation : 0.04 0.00 20 20 0 0 15 29 0 0 0 0 0
0.29/0.31 c > cmir : - - - - - - - 29 0 0 0 0 -
0.29/0.31 c > flowcover : - - - - - - - 0 0 0 0 0 -
0.29/0.31 c > knapsackcover : - - - - - - - 0 0 0 0 0 -
0.29/0.31 c cgmip : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
0.29/0.31 c clique : 0.00 0.00 2 2 0 0 0 0 0 0 0 0 0
0.29/0.31 c closecuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
0.29/0.31 c convexproj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
0.29/0.31 c disjunctive : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
0.29/0.31 c eccuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
0.29/0.31 c gauge : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
0.29/0.31 c gomory : 0.12 0.00 18 18 0 0 1062 2619 0 43 43 0 0
0.29/0.31 c > gomorymi : - - - - - - - 1552 0 13 13 0 -
0.29/0.31 c > strongcg : - - - - - - - 1067 0 30 30 0 -
0.29/0.31 c impliedbounds : 0.00 0.00 20 20 0 0 0 0 0 0 0 0 0
0.29/0.31 c interminor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
0.29/0.31 c intobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
0.29/0.31 c lagromory : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
0.29/0.31 c mcf : 0.00 0.00 2 2 0 0 0 0 0 0 0 0 0
0.29/0.31 c minor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
0.29/0.31 c mixing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
0.29/0.31 c multilinear : 0.00 0.00 20 20 0 0 0 0 0 0 0 0 0
0.29/0.31 c oddcycle : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
0.29/0.31 c rapidlearning : 0.05 0.00 2 2 0 0 0 0 0 0 0 0 342
0.29/0.31 c rlt : 0.00 0.00 18 18 0 0 0 0 0 0 0 0 0
0.29/0.31 c zerohalf : 0.01 0.00 20 20 0 0 21 49 0 9 9 0 0
0.29/0.31 c Cutselectors : ExecTime SetupTime Calls RootCalls Selected Forced Filtered RootSelec RootForc RootFilt
0.29/0.31 c hybrid : 0.01 0.00 21 21 52 0 2645 52 0 2645
0.29/0.31 c ensemble : 0.00 0.00 0 0 0 0 0 0 0 0
0.29/0.31 c dynamic : 0.00 0.00 0 0 0 0 0 0 0 0
0.29/0.31 c Pricers : ExecTime SetupTime Calls Vars
0.29/0.31 c problem variables: 0.00 - 0 0
0.29/0.31 c Branching Rules : ExecTime SetupTime BranchLP BranchExt BranchPS Cutoffs DomReds Cuts Conss Children
0.29/0.31 c allfullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
0.29/0.31 c cloud : 0.00 0.00 0 0 0 0 0 0 0 0
0.29/0.31 c distribution : 0.00 0.00 0 0 0 0 0 0 0 0
0.29/0.31 c fullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
0.29/0.31 c gomory : 0.00 0.00 0 0 0 0 0 0 0 0
0.29/0.31 c inference : 0.00 0.00 0 0 0 0 0 0 0 0
0.29/0.31 c leastinf : 0.00 0.00 0 0 0 0 0 0 0 0
0.29/0.31 c lookahead : 0.00 0.00 0 0 0 0 0 0 0 0
0.29/0.31 c mostinf : 0.00 0.00 0 0 0 0 0 0 0 0
0.29/0.31 c multaggr : 0.00 0.00 0 0 0 0 0 0 0 0
0.29/0.31 c nodereopt : 0.00 0.00 0 0 0 0 0 0 0 0
0.29/0.31 c pscost : 0.00 0.00 0 0 0 0 0 0 0 0
0.29/0.31 c random : 0.00 0.00 0 0 0 0 0 0 0 0
0.29/0.31 c relpscost : 0.00 0.00 0 0 0 0 0 0 0 0
0.29/0.31 c vanillafullstrong: 0.00 0.00 0 0 0 0 0 0 0 0
0.29/0.31 c Primal Heuristics : ExecTime SetupTime Calls Found Best
0.29/0.31 c LP solutions : 0.00 - - 0 0
0.29/0.31 c relax solutions : 0.00 - - 0 0
0.29/0.31 c pseudo solutions : 0.00 - - 0 0
0.29/0.31 c strong branching : 0.00 - - 0 0
0.29/0.31 c actconsdiving : 0.00 0.00 0 0 0
0.29/0.31 c adaptivediving : 0.00 0.00 0 0 0
0.29/0.31 c alns : 0.00 0.00 1 0 0
0.29/0.31 c bound : 0.00 0.00 0 0 0
0.29/0.31 c clique : 0.00 0.00 0 0 0
0.29/0.31 c coefdiving : 0.00 0.00 0 0 0
0.29/0.31 c completesol : 0.00 0.00 0 0 0
0.29/0.31 c conflictdiving : 0.00 0.00 0 0 0
0.29/0.31 c crossover : 0.00 0.00 0 0 0
0.29/0.31 c dins : 0.00 0.00 0 0 0
0.29/0.31 c distributiondivin: 0.00 0.00 0 0 0
0.29/0.31 c dps : 0.00 0.00 0 0 0
0.29/0.31 c dualval : 0.00 0.00 0 0 0
0.29/0.31 c farkasdiving : 0.00 0.00 0 0 0
0.29/0.31 c feasjump : 0.00 0.00 0 0 0
0.29/0.31 c feaspump : 0.00 0.00 1 1 1
0.29/0.31 c fixandinfer : 0.00 0.00 0 0 0
0.29/0.31 c fracdiving : 0.00 0.00 0 0 0
0.29/0.31 c gins : 0.00 0.00 0 0 0
0.29/0.31 c guideddiving : 0.00 0.00 0 0 0
0.29/0.31 c indcoefdiving : 0.00 0.00 0 0 0
0.29/0.31 c indicator : 0.00 0.00 0 0 0
0.29/0.31 c indicatordiving : 0.00 0.00 0 0 0
0.29/0.31 c indoneopt : 0.00 0.00 0 0 0
0.29/0.31 c indrounding : 0.00 0.00 0 0 0
0.29/0.31 c indtwoopt : 0.00 0.00 0 0 0
0.29/0.31 c intdiving : 0.00 0.00 0 0 0
0.29/0.31 c intshifting : 0.00 0.00 0 0 0
0.29/0.31 c linesearchdiving : 0.00 0.00 0 0 0
0.29/0.31 c localbranching : 0.00 0.00 0 0 0
0.29/0.31 c locks : 0.00 0.00 1 1 1
0.29/0.31 c lpface : 0.00 0.00 0 0 0
0.29/0.31 c mpec : 0.00 0.00 0 0 0
0.29/0.31 c multistart : 0.00 0.00 0 0 0
0.29/0.31 c mutation : 0.00 0.00 0 0 0
0.29/0.31 c nlpdiving : 0.00 0.00 0 0 0
0.29/0.31 c objpscostdiving : 0.00 0.00 0 0 0
0.29/0.31 c octane : 0.00 0.00 0 0 0
0.29/0.31 c ofins : 0.00 0.00 0 0 0
0.29/0.31 c oneopt : 0.00 0.00 2 0 0
0.29/0.31 c padm : 0.00 0.00 0 0 0
0.29/0.31 c proximity : 0.00 0.00 0 0 0
0.29/0.31 c pscostdiving : 0.00 0.00 0 0 0
0.29/0.31 c randrounding : 0.01 0.00 23 0 0
0.29/0.31 c rens : 0.01 0.00 1 0 0
0.29/0.31 c reoptsols : 0.00 0.00 0 0 0
0.29/0.31 c repair : 0.00 0.00 0 0 0
0.29/0.31 c rins : 0.00 0.00 0 0 0
0.29/0.31 c rootsoldiving : 0.00 0.00 0 0 0
0.29/0.31 c rounding : 0.00 0.00 23 0 0
0.29/0.31 c scheduler : 0.00 0.00 0 0 0
0.29/0.31 c shiftandpropagate: 0.00 0.00 0 0 0
0.29/0.31 c shifting : 0.00 0.00 23 0 0
0.29/0.31 c simplerounding : 0.00 0.00 0 0 0
0.29/0.31 c smallcard : 0.00 0.00 0 0 0
0.29/0.31 c subnlp : 0.00 0.00 0 0 0
0.29/0.31 c trivial : 0.00 0.00 4 0 0
0.29/0.31 c trivialnegation : 0.00 0.00 0 0 0
0.29/0.31 c trustregion : 0.00 0.00 0 0 0
0.29/0.31 c trysol : 0.00 0.00 0 0 0
0.29/0.31 c twoopt : 0.00 0.00 0 0 0
0.29/0.31 c undercover : 0.00 0.00 0 0 0
0.29/0.31 c vbounds : 0.00 0.00 0 0 0
0.29/0.31 c veclendiving : 0.00 0.00 0 0 0
0.29/0.31 c zeroobj : 0.00 0.00 0 0 0
0.29/0.31 c zirounding : 0.00 0.00 1 0 0
0.29/0.31 c other solutions : - - - 0 -
0.29/0.31 c LNS (Scheduler) : Calls SetupTime SolveTime SolveNodes Sols Best Exp3 Exp3-IX EpsGreedy UCB TgtFixRate Opt Inf Node Stal Sol Usr Othr Actv
0.29/0.31 c rens : 0 0.00 0.00 0 0 0 0.00000 0.14286 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
0.29/0.31 c rins : 0 0.00 0.00 0 0 0 0.00000 0.14286 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
0.29/0.31 c mutation : 0 0.00 0.00 0 0 0 0.00000 0.14286 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
0.29/0.31 c localbranching : 0 0.00 0.00 0 0 0 0.00000 0.14286 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
0.29/0.31 c crossover : 0 0.00 0.00 0 0 0 0.00000 0.14286 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
0.29/0.31 c proximity : 0 0.00 0.00 0 0 0 0.00000 0.14286 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
0.29/0.31 c dins : 0 0.00 0.00 0 0 0 0.00000 0.14286 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
0.29/0.31 c zeroobjective : 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
0.29/0.31 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
0.29/0.31 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It ItLimit
0.29/0.31 c primal LP : 0.00 1 0 0.00 - 0.00 1
0.29/0.31 c dual LP : 0.01 24 783 35.59 64290.99 0.00 2
0.29/0.31 c lex dual LP : 0.00 0 0 0.00 -
0.29/0.31 c barrier LP : 0.00 0 0 0.00 - 0.00 0
0.29/0.31 c resolve instable : 0.00 0 0 0.00 -
0.29/0.31 c diving/probing LP: 0.00 1 118 118.00 -
0.29/0.31 c strong branching : 0.00 0 0 0.00 - - - 0
0.29/0.31 c (at root node) : - 0 0 0.00 -
0.29/0.31 c conflict analysis: 0.00 0 0 0.00 -
0.29/0.31 c B&B Tree :
0.29/0.31 c number of runs : 2
0.29/0.31 c nodes : 1 (0 internal, 1 leaves)
0.29/0.31 c feasible leaves : 0
0.29/0.31 c infeas. leaves : 1
0.29/0.31 c objective leaves : 0
0.29/0.31 c nodes (total) : 2 (0 internal, 2 leaves)
0.29/0.31 c nodes left : 0
0.29/0.31 c max depth : 0
0.29/0.31 c max depth (total): 0
0.29/0.31 c backtracks : 0 (0.0%)
0.29/0.31 c early backtracks : 0 (0.0%)
0.29/0.31 c nodes exc. ref. : 0 (0.0%)
0.29/0.31 c delayed cutoffs : 0
0.29/0.31 c repropagations : 0 (0 domain reductions, 0 cutoffs)
0.29/0.31 c avg switch length: 2.00
0.29/0.31 c switching time : 0.00
0.29/0.31 c Root Node :
0.29/0.31 c First LP value : +0.00000000000000e+00
0.29/0.31 c First LP Iters : 254 (223394.90 Iter/sec)
0.29/0.31 c First LP Time : 0.00
0.29/0.31 c Final Dual Bound : +1.00000000000000e+00
0.29/0.31 c Final Root Iters : 783
0.29/0.31 c Root LP Estimate : -
0.29/0.31 c Solution :
0.29/0.31 c Solutions found : 2 (2 improvements)
0.29/0.31 c First Solution : +2.10000000000000e+01 (in run 1, after 1 nodes, 0.02 seconds, depth 95, found by <locks>)
0.29/0.31 c Gap First Sol. : infinite
0.29/0.31 c Gap Last Sol. : infinite
0.29/0.31 c Primal Bound : +1.00000000000000e+00 (in run 1, after 1 nodes, 0.17 seconds, depth 0, found by <feaspump>)
0.29/0.31 c Dual Bound : +1.00000000000000e+00
0.29/0.31 c Gap : 0.00 %
0.29/0.31 c Integrals : Total Avg%
0.29/0.31 c primal-dual : 30.54 99.98
0.29/0.31 c primal-ref : - - (not evaluated)
0.29/0.31 c dual-ref : - - (not evaluated)
0.29/0.31 c Time complete: 0.310367.
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 (62221 MiB free)
memory of node 1: 64465 MiB (60197 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4518558-1751532856/watcher-4518558-1751532856 -o /tmp/evaluation-result-4518558-1751532856/solver-4518558-1751532856 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC016-1751529182-88313 --watchdog 3760 pbscip -f HOME/instance-4518558-1751532856.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=90146, runsolver pid=90143
Current StackSize limit: 8192 KiB
[startup+0.100056 s]*
/proc/loadavg: 3.85 4.04 4.04 5/267 90147
/proc/meminfo: memFree=125356760/131250000 swapFree=33010160/33010684
[pid=90146] ppid=90143 vsize=57360 memory=31616 CPUtime=0.09 cores=0,2
/proc/90146/stat : 90146 (pbscip) R 90143 90146 88303 0 -1 4194304 4286 0 0 0 9 0 0 0 20 0 1 0 68963182 58736640 7904 18446744073709551615 4235264 18693293 140723807147088 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 54644736 140723807148425 140723807148524 140723807148524 140723807154126 0
/proc/90146/statm: 14340 7904 4000 3530 0 5791 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 57360 KiB
Current children cumulated memory: 31616 KiB
[startup+0.205231 s]*
/proc/loadavg: 3.85 4.04 4.04 5/267 90147
/proc/meminfo: memFree=125356760/131250000 swapFree=33010160/33010684
[pid=90146] ppid=90143 vsize=71988 memory=45184 CPUtime=0.2 cores=0,2
/proc/90146/stat : 90146 (pbscip) R 90143 90146 88303 0 -1 4194304 7665 0 0 0 19 1 0 0 20 0 1 0 68963182 73715712 11296 18446744073709551615 4235264 18693293 140723807147088 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 54644736 140723807148425 140723807148524 140723807148524 140723807154126 0
/proc/90146/statm: 17997 11296 4000 3530 0 9448 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 71988 KiB
Current children cumulated memory: 45184 KiB
[startup+0.30539 s]*
/proc/loadavg: 3.85 4.04 4.04 5/267 90147
/proc/meminfo: memFree=125356760/131250000 swapFree=33010160/33010684
[pid=90146] ppid=90143 vsize=73816 memory=46848 CPUtime=0.29 cores=0,2
/proc/90146/stat : 90146 (pbscip) R 90143 90146 88303 0 -1 4194304 8073 0 0 0 28 1 0 0 20 0 1 0 68963182 75587584 11712 18446744073709551615 4235264 18693293 140723807147088 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 54644736 140723807148425 140723807148524 140723807148524 140723807154126 0
/proc/90146/statm: 18454 11712 4000 3530 0 9905 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 73816 KiB
Current children cumulated memory: 46848 KiB
[startup+0.321062 s]
# the end of solver process 90146 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=0.299077 s, system=0.015888 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+0.30539 s]*
/proc/loadavg: 3.85 4.04 4.04 5/267 90147
/proc/meminfo: memFree=125356760/131250000 swapFree=33010160/33010684
[pid=90146] ppid=90143 vsize=73816 memory=46848 CPUtime=0.29 cores=0,2
/proc/90146/stat : 90146 (pbscip) R 90143 90146 88303 0 -1 4194304 8073 0 0 0 28 1 0 0 20 0 1 0 68963182 75587584 11712 18446744073709551615 4235264 18693293 140723807147088 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 54644736 140723807148425 140723807148524 140723807148524 140723807154126 0
/proc/90146/statm: 18454 11712 4000 3530 0 9905 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 73816 KiB
Current children cumulated memory: 46848 KiB
Child status: 0
Real time (s): 0.321083
CPU time (s): 0.314965
CPU user time (s): 0.299077
CPU system time (s): 0.015888
CPU usage (%): 98.0946
Max. virtual memory (cumulated for all children) (KiB): 73816
Max. memory (cumulated for all children) (KiB): 46848
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.299077
system time used= 0.015888
maximum resident set size= 46848
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8079
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= 7
# summary of solver processes directly reported to runsolver:
# pid: 90146
# total CPU time (s): 0.314965
# total CPU user time (s): 0.299077
# total CPU system time (s): 0.015888
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.011779 second user time and 0.019752 second system time
The end