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-4447635-1721356844.opb>
0.00/0.00 c original problem has 87 variables (87 bin, 0 int, 0 impl, 0 cont) and 232 constraints
0.00/0.00 c problem read in 0.00
0.00/0.00 c No objective function, only one solution is needed.
0.00/0.00 c presolving:
0.00/0.00 c (0.0s) running MILP presolver
0.00/0.00 c (0.0s) MILP presolver found nothing
0.00/0.00 c (round 1, exhaustive) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 232 upgd conss, 0 impls, 0 clqs
0.00/0.00 c (0.0s) probing: 51/87 (58.6%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.00/0.00 c (0.0s) probing aborted: 50/50 successive totally useless probings
0.00/0.00 c (0.0s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
0.00/0.01 c (0.0s) symmetry computation finished: 30 generators found (max: 1500, log10 of symmetry group size: 0.0) (symcode time: 0.01)
0.00/0.01 c dynamic symmetry handling statistics:
0.00/0.01 c orbitopal reduction: no components
0.00/0.01 c orbital reduction: no components
0.00/0.01 c lexicographic reduction: 30 permutations with support sizes 6, 3, 9, 10, 3, 8, 11, 5, 16, 12, 7, 13, 5, 15, 20, 15, 16, 15, 16, 9, 13, 15, 16, 16, 5, 18, 9, 7, 7, 20
0.00/0.01 c handled 1 out of 1 symmetry components
0.00/0.01 c presolving (2 rounds: 2 fast, 2 medium, 2 exhaustive):
0.00/0.01 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.01 c 0 implications, 0 cliques
0.00/0.01 c presolved problem has 87 variables (87 bin, 0 int, 0 impl, 0 cont) and 232 constraints
0.00/0.01 c 232 constraints of type <logicor>
0.00/0.01 c transformed objective value is always integral (scale: 1)
0.00/0.01 c Presolving Time: 0.01
0.00/0.01 c - non default parameters ----------------------------------------------------------------------
0.00/0.01 c # SCIP version 10.0.0
0.00/0.01 c
0.00/0.01 c # maximal time in seconds to run
0.00/0.01 c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
0.00/0.01 c limits/time = 3596.998047
0.00/0.01 c
0.00/0.01 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.01 c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
0.00/0.01 c limits/memory = 27900
0.00/0.01 c
0.00/0.01 c # solving stops, if the given number of solutions were found; this limit is first checked in presolving (-1: no limit)
0.00/0.01 c # [type: int, advanced: FALSE, range: [-1,2147483647], default: -1]
0.00/0.01 c limits/solutions = 1
0.00/0.01 c
0.00/0.01 c # bitset describing used symmetry handling technique: (0: off; 1: constraint-based (orbitopes and/or symresacks); 2: orbital fixing; 3: orbitopes and orbital fixing; 4: Schreier Sims cuts; 5: Schreier Sims cuts and orbitopes; 6: Schreier Sims cuts and orbital fixing; 7: Schreier Sims cuts, orbitopes, and orbital fixing) See type_symmetry.h.
0.00/0.01 c # [type: int, advanced: FALSE, range: [0,7], default: 7]
0.00/0.01 c misc/usesymmetry = 3
0.00/0.01 c
0.00/0.01 c # belongs reading time to solving time?
0.00/0.01 c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
0.00/0.01 c timing/reading = TRUE
0.00/0.01 c
0.00/0.01 c # Should we check whether the components of the symmetry group can be handled by double lex matrices?
0.00/0.01 c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
0.00/0.01 c propagating/symmetry/detectdoublelex = FALSE
0.00/0.01 c
0.00/0.01 c # Should we try to detect symmetric subgroups of the symmetry group on binary variables?
0.00/0.01 c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
0.00/0.01 c propagating/symmetry/detectsubgroups = FALSE
0.00/0.01 c
0.00/0.01 c # Type of symmetries that shall be computed?
0.00/0.01 c # [type: int, advanced: TRUE, range: [0,1], default: 0]
0.00/0.01 c propagating/symmetry/symtype = 1
0.00/0.01 c
0.00/0.01 c # Should components consisting of a single full reflection be handled?
0.00/0.01 c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
0.00/0.01 c propagating/symmetry/usesimplesgncomp = FALSE
0.00/0.01 c
0.00/0.01 c -----------------------------------------------------------------------------------------------
0.00/0.01 c start solving
0.00/0.01 c
0.00/0.03 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.03 c 0.0s| 1 | 0 | 44 | - | 2895k | 0 | 87 | 237 | 232 | 0 | 0 | 7 | 0 | 0.000000e+00 | -- | Inf | unknown
0.00/0.05 c 0.1s| 1 | 0 | 97 | - | 3092k | 0 | 87 | 437 | 233 | 1 | 1 | 7 | 0 | 0.000000e+00 | -- | Inf | unknown
0.00/0.05 c 0.1s| 1 | 0 | 114 | - | 3466k | 0 | 87 | 437 | 235 | 3 | 2 | 7 | 0 | 0.000000e+00 | -- | Inf | unknown
0.00/0.06 c 0.1s| 1 | 0 | 119 | - | 3536k | 0 | 87 | 438 | 236 | 4 | 3 | 8 | 0 | 0.000000e+00 | -- | Inf | unknown
0.00/0.06 c 0.1s| 1 | 0 | 120 | - | 3623k | 0 | 87 | 438 | 237 | 5 | 4 | 8 | 0 | 0.000000e+00 | -- | Inf | unknown
0.00/0.06 c 0.1s| 1 | 0 | 121 | - | 3656k | 0 | 87 | 438 | 238 | 6 | 5 | 8 | 0 | 0.000000e+00 | -- | Inf | unknown
0.00/0.06 c 0.1s| 1 | 0 | 126 | - | 3794k | 0 | 87 | 438 | 239 | 7 | 6 | 8 | 0 | 0.000000e+00 | -- | Inf | unknown
0.00/0.07 c 0.1s| 1 | 0 | 127 | - | 4082k | 0 | 87 | 438 | 240 | 8 | 7 | 8 | 0 | 0.000000e+00 | -- | Inf | unknown
0.00/0.07 c 0.1s| 1 | 0 | 133 | - | 4559k | 0 | 87 | 439 | 241 | 9 | 8 | 9 | 0 | 0.000000e+00 | -- | Inf | unknown
0.00/0.08 c 0.1s| 1 | 0 | 137 | - | 5501k | 0 | 87 | 439 | 242 | 10 | 9 | 9 | 0 | 0.000000e+00 | -- | Inf | unknown
0.00/0.09 c 0.1s| 1 | 0 | 147 | - | 6420k | 0 | 87 | 439 | 243 | 11 | 10 | 9 | 0 | 0.000000e+00 | -- | Inf | unknown
0.00/0.09 c 0.1s| 1 | 0 | 151 | - | 6446k | 0 | 87 | 440 | 244 | 12 | 11 | 10 | 0 | 0.000000e+00 | -- | Inf | unknown
0.09/0.10 c 0.1s| 1 | 0 | 156 | - | 6472k | 0 | 87 | 440 | 245 | 13 | 12 | 10 | 0 | 0.000000e+00 | -- | Inf | unknown
0.09/0.10 c 0.1s| 1 | 0 | 158 | - | 6499k | 0 | 87 | 440 | 247 | 15 | 13 | 10 | 0 | 0.000000e+00 | -- | Inf | unknown
0.09/0.13 c 0.1s| 1 | 2 | 285 | - | 6503k | 0 | 87 | 445 | 247 | 15 | 13 | 15 | 11 | 0.000000e+00 | -- | Inf | unknown
0.29/0.38 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
0.29/0.38 c 0.4s| 100 | 11 | 1578 | 14.3 | 6745k | 20 | 87 | 308 | 240 | 19 | 1 | 48 | 11 | 0.000000e+00 | -- | Inf | 99.61%
0.39/0.47 c
0.39/0.47 c SCIP Status : problem is solved [infeasible]
0.39/0.47 c Solving Time (sec) : 0.47
0.39/0.47 c Solving Nodes : 125
0.39/0.47 c Primal Bound : +1.00000000000000e+20 (0 solutions)
0.39/0.47 c Dual Bound : +1.00000000000000e+20
0.39/0.47 c Gap : 0.00 %
0.39/0.47 s UNSATISFIABLE
0.39/0.47 c SCIP Status : problem is solved [infeasible]
0.39/0.47 c Total Time : 0.47
0.39/0.47 c solving : 0.47
0.39/0.47 c presolving : 0.01 (included in solving)
0.39/0.47 c reading : 0.00 (included in solving)
0.39/0.47 c copying : 0.05 (27 #copies) (minimal 0.00, maximal 0.00, average 0.00)
0.39/0.47 c Original Problem :
0.39/0.47 c Problem name : HOME/instance-4447635-1721356844.opb
0.39/0.47 c Variables : 87 (87 binary, 0 integer, 0 implicit integer, 0 continuous)
0.39/0.47 c Constraints : 232 initial, 232 maximal
0.39/0.47 c Objective : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
0.39/0.47 c Presolved Problem :
0.39/0.47 c Problem name : t_HOME/instance-4447635-1721356844.opb
0.39/0.47 c Variables : 87 (87 binary, 0 integer, 0 implicit integer, 0 continuous)
0.39/0.47 c Constraints : 232 initial, 445 maximal
0.39/0.47 c Objective : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
0.39/0.47 c Nonzeros : 696 constraint, 0 clique table
0.39/0.47 c Presolvers : ExecTime SetupTime Calls FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
0.39/0.47 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
0.39/0.47 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
0.39/0.47 c domcol : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
0.39/0.47 c dualagg : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
0.39/0.47 c dualcomp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
0.39/0.47 c dualinfer : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
0.39/0.47 c dualsparsify : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
0.39/0.47 c gateextraction : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
0.39/0.47 c implics : 0.00 0.00 2 0 0 0 0 0 0 0 0 0
0.39/0.47 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
0.39/0.47 c milp : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
0.39/0.47 c qpkktref : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
0.39/0.47 c redvub : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
0.39/0.47 c sparsify : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
0.39/0.47 c stuffing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
0.39/0.47 c trivial : 0.00 0.00 2 0 0 0 0 0 0 0 0 0
0.39/0.47 c tworowbnd : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
0.39/0.47 c dualfix : 0.00 0.00 2 0 0 0 0 0 0 0 0 0
0.39/0.47 c genvbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
0.39/0.47 c probing : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
0.39/0.47 c pseudoobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
0.39/0.47 c symmetry : 0.01 0.00 1 0 0 0 0 0 0 0 0 0
0.39/0.47 c vbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
0.39/0.47 c linear : 0.00 0.00 2 0 0 0 0 0 0 0 0 0
0.39/0.47 c logicor : 0.00 0.00 3 0 0 0 0 0 0 0 0 0
0.39/0.47 c benders : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
0.39/0.47 c components : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
0.39/0.47 c root node : - - - 31 - - 31 - - - - -
0.39/0.47 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoRelax #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Applied Conss Children
0.39/0.47 c benderslp : 0 0 0 0 62 0 0 43 0 0 0 0 0 0 0
0.39/0.47 c integral : 0 0 0 0 62 0 0 43 0 0 0 0 0 0 124
0.39/0.47 c linear : 0+ 200 13 787 0 0 0 3 8 0 4 6 1 0 0
0.39/0.47 c logicor : 232+ 290 13 998 0 0 0 39 409 19 123 0 0 0 0
0.39/0.47 c benders : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
0.39/0.47 c fixedvar : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
0.39/0.47 c countsols : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
0.39/0.47 c components : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
0.39/0.47 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS EnfoRelax Check ResProp SB-Prop
0.39/0.47 c benderslp : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
0.39/0.47 c integral : 0.01 0.00 0.00 0.00 0.01 0.00 0.00 0.00 0.00 0.00
0.39/0.47 c linear : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
0.39/0.47 c logicor : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
0.39/0.47 c benders : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
0.39/0.47 c fixedvar : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
0.39/0.47 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
0.39/0.47 c components : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
0.39/0.47 c Propagators : #Propagate #ResProp Cutoffs DomReds
0.39/0.47 c dualfix : 1 0 0 0
0.39/0.47 c genvbounds : 0 0 0 0
0.39/0.47 c nlobbt : 0 0 0 0
0.39/0.47 c obbt : 0 0 0 0
0.39/0.47 c probing : 0 0 0 0
0.39/0.47 c pseudoobj : 0 0 0 0
0.39/0.47 c redcost : 0 0 0 0
0.39/0.47 c rootredcost : 0 0 0 0
0.39/0.47 c symmetry : 412 0 42 0
0.39/0.47 c vbounds : 0 0 0 0
0.39/0.47 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp SB-Prop
0.39/0.47 c dualfix : 0.00 0.00 0.00 0.00 0.00 0.00
0.39/0.47 c genvbounds : 0.00 0.00 0.00 0.00 0.00 0.00
0.39/0.47 c nlobbt : 0.00 0.00 0.00 0.00 0.00 0.00
0.39/0.47 c obbt : 0.00 0.00 0.00 0.00 0.00 0.00
0.39/0.47 c probing : 0.00 0.00 0.00 0.00 0.00 0.00
0.39/0.47 c pseudoobj : 0.00 0.00 0.00 0.00 0.00 0.00
0.39/0.47 c redcost : 0.00 0.00 0.00 0.00 0.00 0.00
0.39/0.47 c rootredcost : 0.00 0.00 0.00 0.00 0.00 0.00
0.39/0.47 c symmetry : 0.01 0.00 0.01 0.00 0.00 0.00
0.39/0.47 c vbounds : 0.00 0.00 0.00 0.00 0.00 0.00
0.39/0.47 c Symmetry :
0.39/0.47 c orbitopal red. : 0 reductions applied, 0 cutoffs
0.39/0.47 c orbital reduction: 0 reductions applied, 0 cutoffs
0.39/0.47 c lexicographic red: 0 reductions applied, 42 cutoffs
0.39/0.47 c shadow tree time : 0.00 s
0.39/0.47 c Conflict Analysis : Time Calls Success DomReds Conflicts Literals Reconvs ReconvLits Dualrays Nonzeros LP Iters (pool size: [10000,10000])
0.39/0.47 c propagation : 0.00 19 19 - 96 20.6 4 6.5 - - -
0.39/0.47 c infeasible LP : 0.00 16 16 - 17 4.5 0 0.0 16 4.2 0
0.39/0.47 c bound exceed. LP : 0.00 0 0 - 0 0.0 0 0.0 0 0.0 0
0.39/0.47 c strong branching : 0.00 0 0 - 0 0.0 0 0.0 - - 0
0.39/0.47 c pseudo solution : 0.00 0 0 - 0 0.0 0 0.0 - - -
0.39/0.47 c applied globally : 0.00 - - 0 42 5.5 - - 16 - -
0.39/0.47 c applied locally : - - - 0 2 15.0 - - 0 - -
0.39/0.47 c Separators : ExecTime SetupTime Calls RootCalls Cutoffs DomReds FoundCuts ViaPoolAdd DirectAdd Applied ViaPoolApp DirectApp Conss
0.39/0.47 c cut pool : 0.00 - 57 25 - - 402 758 - - - - - (maximal pool size: 402)
0.39/0.47 c aggregation : 0.01 0.00 16 13 0 0 0 0 0 0 0 0 0
0.39/0.47 c > cmir : - - - - - - - 0 0 0 0 0 -
0.39/0.47 c > flowcover : - - - - - - - 0 0 0 0 0 -
0.39/0.47 c > knapsackcover : - - - - - - - 0 0 0 0 0 -
0.39/0.47 c cgmip : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
0.39/0.47 c clique : 0.00 0.00 1 1 0 0 0 0 0 0 0 0 0
0.39/0.47 c closecuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
0.39/0.47 c convexproj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
0.39/0.47 c disjunctive : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
0.39/0.47 c eccuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
0.39/0.47 c gauge : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
0.39/0.47 c gomory : 0.03 0.00 13 10 0 0 386 736 0 9 9 0 0
0.39/0.47 c > gomorymi : - - - - - - - 334 0 7 7 0 -
0.39/0.47 c > strongcg : - - - - - - - 402 0 2 2 0 -
0.39/0.47 c impliedbounds : 0.00 0.00 16 13 0 0 0 0 0 0 0 0 0
0.39/0.47 c interminor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
0.39/0.47 c intobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
0.39/0.47 c lagromory : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
0.39/0.47 c mcf : 0.00 0.00 1 1 0 0 0 0 0 0 0 0 0
0.39/0.47 c minor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
0.39/0.47 c mixing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
0.39/0.47 c multilinear : 0.00 0.00 20 13 0 0 0 0 0 0 0 0 0
0.39/0.47 c oddcycle : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
0.39/0.47 c rapidlearning : 0.28 0.00 23 1 0 725 0 0 0 0 0 0 337
0.39/0.47 c rlt : 0.00 0.00 11 10 0 0 0 0 0 0 0 0 0
0.39/0.47 c zerohalf : 0.00 0.00 16 13 0 0 16 22 0 9 9 0 0
0.39/0.47 c Cutselectors : ExecTime SetupTime Calls RootCalls Selected Forced Filtered RootSelec RootForc RootFilt
0.39/0.47 c hybrid : 0.00 0.00 16 13 19 0 745 15 0 684
0.39/0.47 c ensemble : 0.00 0.00 0 0 0 0 0 0 0 0
0.39/0.47 c dynamic : 0.00 0.00 0 0 0 0 0 0 0 0
0.39/0.47 c Pricers : ExecTime SetupTime Calls Vars
0.39/0.47 c problem variables: 0.00 - 0 0
0.39/0.47 c Branching Rules : ExecTime SetupTime BranchLP BranchExt BranchPS Cutoffs DomReds Cuts Conss Children
0.39/0.47 c allfullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
0.39/0.47 c cloud : 0.00 0.00 0 0 0 0 0 0 0 0
0.39/0.47 c distribution : 0.00 0.00 0 0 0 0 0 0 0 0
0.39/0.47 c fullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
0.39/0.47 c gomory : 0.00 0.00 0 0 0 0 0 0 0 0
0.39/0.47 c inference : 0.00 0.00 0 0 0 0 0 0 0 0
0.39/0.47 c leastinf : 0.00 0.00 0 0 0 0 0 0 0 0
0.39/0.47 c lookahead : 0.00 0.00 0 0 0 0 0 0 0 0
0.39/0.47 c mostinf : 0.00 0.00 0 0 0 0 0 0 0 0
0.39/0.47 c multaggr : 0.00 0.00 0 0 0 0 0 0 0 0
0.39/0.47 c nodereopt : 0.00 0.00 0 0 0 0 0 0 0 0
0.39/0.47 c pscost : 0.00 0.00 0 0 0 0 0 0 0 0
0.39/0.47 c random : 0.00 0.00 0 0 0 0 0 0 0 0
0.39/0.47 c relpscost : 0.01 0.00 62 0 0 0 0 0 0 124
0.39/0.47 c vanillafullstrong: 0.00 0.00 0 0 0 0 0 0 0 0
0.39/0.47 c Primal Heuristics : ExecTime SetupTime Calls Found Best
0.39/0.47 c LP solutions : 0.00 - - 0 0
0.39/0.47 c relax solutions : 0.00 - - 0 0
0.39/0.47 c pseudo solutions : 0.00 - - 0 0
0.39/0.47 c strong branching : 0.00 - - 0 0
0.39/0.47 c actconsdiving : 0.00 0.00 0 0 0
0.39/0.47 c adaptivediving : 0.00 0.00 1 0 0
0.39/0.47 c alns : 0.04 0.00 4 0 0
0.39/0.47 c bound : 0.00 0.00 0 0 0
0.39/0.47 c clique : 0.00 0.00 0 0 0
0.39/0.47 c coefdiving : 0.00 0.00 0 0 0
0.39/0.47 c completesol : 0.00 0.00 0 0 0
0.39/0.47 c conflictdiving : 0.00 0.00 1 0 0
0.39/0.47 c crossover : 0.00 0.00 0 0 0
0.39/0.47 c dins : 0.00 0.00 0 0 0
0.39/0.47 c distributiondivin: 0.00 0.00 0 0 0
0.39/0.47 c dps : 0.00 0.00 0 0 0
0.39/0.47 c dualval : 0.00 0.00 0 0 0
0.39/0.47 c farkasdiving : 0.00 0.00 0 0 0
0.39/0.47 c feasjump : 0.01 0.00 1 0 0
0.39/0.47 c feaspump : 0.00 0.00 1 0 0
0.39/0.47 c fixandinfer : 0.00 0.00 0 0 0
0.39/0.47 c fracdiving : 0.00 0.00 1 0 0
0.39/0.47 c gins : 0.00 0.00 0 0 0
0.39/0.47 c guideddiving : 0.00 0.00 0 0 0
0.39/0.47 c indcoefdiving : 0.00 0.00 0 0 0
0.39/0.47 c indicator : 0.00 0.00 0 0 0
0.39/0.47 c indicatordiving : 0.00 0.00 0 0 0
0.39/0.47 c indoneopt : 0.00 0.00 0 0 0
0.39/0.47 c indrounding : 0.00 0.00 0 0 0
0.39/0.47 c indtwoopt : 0.00 0.00 0 0 0
0.39/0.47 c intdiving : 0.00 0.00 0 0 0
0.39/0.47 c intshifting : 0.00 0.00 0 0 0
0.39/0.47 c linesearchdiving : 0.00 0.00 0 0 0
0.39/0.47 c localbranching : 0.00 0.00 0 0 0
0.39/0.47 c locks : 0.00 0.00 1 0 0
0.39/0.47 c lpface : 0.00 0.00 0 0 0
0.39/0.47 c mpec : 0.00 0.00 0 0 0
0.39/0.47 c multistart : 0.00 0.00 0 0 0
0.39/0.47 c mutation : 0.00 0.00 0 0 0
0.39/0.47 c nlpdiving : 0.00 0.00 0 0 0
0.39/0.47 c objpscostdiving : 0.00 0.00 1 0 0
0.39/0.47 c octane : 0.00 0.00 0 0 0
0.39/0.47 c ofins : 0.00 0.00 0 0 0
0.39/0.47 c oneopt : 0.00 0.00 0 0 0
0.39/0.47 c padm : 0.00 0.00 0 0 0
0.39/0.47 c proximity : 0.00 0.00 0 0 0
0.39/0.47 c pscostdiving : 0.00 0.00 1 0 0
0.39/0.47 c randrounding : 0.01 0.00 40 0 0
0.39/0.47 c rens : 0.02 0.00 1 0 0
0.39/0.47 c reoptsols : 0.00 0.00 0 0 0
0.39/0.47 c repair : 0.00 0.00 0 0 0
0.39/0.47 c rins : 0.00 0.00 0 0 0
0.39/0.47 c rootsoldiving : 0.00 0.00 0 0 0
0.39/0.47 c rounding : 0.00 0.00 102 0 0
0.39/0.47 c scheduler : 0.00 0.00 0 0 0
0.39/0.47 c shiftandpropagate: 0.00 0.00 1 0 0
0.39/0.47 c shifting : 0.00 0.00 44 0 0
0.39/0.47 c simplerounding : 0.00 0.00 0 0 0
0.39/0.47 c smallcard : 0.00 0.00 0 0 0
0.39/0.47 c subnlp : 0.00 0.00 0 0 0
0.39/0.47 c trivial : 0.00 0.00 2 0 0
0.39/0.47 c trivialnegation : 0.00 0.00 0 0 0
0.39/0.47 c trustregion : 0.00 0.00 0 0 0
0.39/0.47 c trysol : 0.00 0.00 0 0 0
0.39/0.47 c twoopt : 0.00 0.00 0 0 0
0.39/0.47 c undercover : 0.00 0.00 0 0 0
0.39/0.47 c vbounds : 0.00 0.00 0 0 0
0.39/0.47 c veclendiving : 0.00 0.00 1 0 0
0.39/0.47 c zeroobj : 0.00 0.00 0 0 0
0.39/0.47 c zirounding : 0.00 0.00 62 0 0
0.39/0.47 c other solutions : - - - 0 -
0.39/0.47 c LNS (Scheduler) : Calls SetupTime SolveTime SolveNodes Sols Best Exp3 Exp3-IX EpsGreedy UCB TgtFixRate Opt Inf Node Stal Sol Usr Othr Actv
0.39/0.47 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.39/0.47 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.39/0.47 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.39/0.47 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.39/0.47 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.39/0.47 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.39/0.47 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.39/0.47 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.39/0.47 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.39/0.47 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It ItLimit
0.39/0.47 c primal LP : 0.00 2 0 0.00 - 0.00 2
0.39/0.47 c dual LP : 0.02 120 1232 10.27 79638.01 0.00 0
0.39/0.47 c lex dual LP : 0.00 0 0 0.00 -
0.39/0.47 c barrier LP : 0.00 0 0 0.00 - 0.00 0
0.39/0.47 c resolve instable : 0.00 0 0 0.00 -
0.39/0.47 c diving/probing LP: 0.01 49 639 13.04 56916.36
0.39/0.47 c strong branching : 0.00 11 257 23.36 - - - 0
0.39/0.47 c (at root node) : - 11 257 23.36 -
0.39/0.47 c conflict analysis: 0.00 0 0 0.00 -
0.39/0.47 c B&B Tree :
0.39/0.47 c number of runs : 1
0.39/0.47 c nodes : 125 (62 internal, 63 leaves)
0.39/0.47 c feasible leaves : 0
0.39/0.47 c infeas. leaves : 63
0.39/0.47 c objective leaves : 0
0.39/0.47 c nodes (total) : 125 (62 internal, 63 leaves)
0.39/0.47 c nodes left : 0
0.39/0.47 c max depth : 20
0.39/0.47 c max depth (total): 20
0.39/0.47 c backtracks : 47 (37.6%)
0.39/0.47 c early backtracks : 0 (0.0%)
0.39/0.47 c nodes exc. ref. : 0 (0.0%)
0.39/0.47 c delayed cutoffs : 0
0.39/0.47 c repropagations : 1 (0 domain reductions, 0 cutoffs)
0.39/0.47 c avg switch length: 4.93
0.39/0.47 c switching time : 0.00
0.39/0.47 c Root Node :
0.39/0.47 c First LP value : +0.00000000000000e+00
0.39/0.47 c First LP Iters : 44 (160000.00 Iter/sec)
0.39/0.47 c First LP Time : 0.00
0.39/0.47 c Final Dual Bound : +0.00000000000000e+00
0.39/0.47 c Final Root Iters : 158
0.39/0.47 c Root LP Estimate : +1.72550000000000e-03
0.39/0.47 c Solution :
0.39/0.47 c Solutions found : 0 (0 improvements)
0.39/0.47 c Primal Bound : infeasible
0.39/0.47 c Dual Bound : -
0.39/0.47 c Gap : 0.00 %
0.39/0.47 c Integrals : Total Avg%
0.39/0.47 c primal-dual : - - (problem infeasible)
0.39/0.47 c primal-ref : - - (problem infeasible)
0.39/0.47 c dual-ref : - - (problem infeasible)
0.39/0.47 c Time complete: 0.463687.