0.00/0.02 c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.0.0] [GitHash: 405ed0d46f]
0.00/0.02 c Copyright (c) 2002-2024 Zuse Institute Berlin (ZIB)
0.00/0.02 c
0.00/0.02 c user parameter file <scip.set> not found - using default parameters
0.00/0.02 c reading problem <HOME/instance-4441665-1721294183.opb>
0.00/0.02 c original problem has 719 variables (719 bin, 0 int, 0 impl, 0 cont) and 593 constraints
0.00/0.02 c problem read in 0.00
0.00/0.02 c No objective function, only one solution is needed.
0.00/0.02 c presolving:
0.00/0.03 c (round 1, fast) 213 del vars, 1 del conss, 0 add conss, 1 chg bounds, 115 chg sides, 230 chg coeffs, 0 upgd conss, 0 impls, 2 clqs
0.00/0.03 c (round 2, fast) 430 del vars, 443 del conss, 0 add conss, 5 chg bounds, 124 chg sides, 247 chg coeffs, 0 upgd conss, 0 impls, 77 clqs
0.00/0.03 c (round 3, fast) 434 del vars, 448 del conss, 0 add conss, 8 chg bounds, 124 chg sides, 247 chg coeffs, 0 upgd conss, 0 impls, 77 clqs
0.00/0.03 c (0.0s) running MILP presolver
0.00/0.03 c (0.0s) MILP presolver (17 rounds): 208 aggregations, 81 fixings, 0 bound changes
0.00/0.03 c (round 4, medium) 723 del vars, 593 del conss, 65 add conss, 8 chg bounds, 124 chg sides, 247 chg coeffs, 0 upgd conss, 0 impls, 12 clqs
0.00/0.03 c (round 5, fast) 734 del vars, 593 del conss, 73 add conss, 8 chg bounds, 124 chg sides, 247 chg coeffs, 0 upgd conss, 0 impls, 12 clqs
0.00/0.03 c (round 6, fast) 734 del vars, 593 del conss, 76 add conss, 8 chg bounds, 124 chg sides, 249 chg coeffs, 0 upgd conss, 0 impls, 12 clqs
0.00/0.03 c (round 7, exhaustive) 734 del vars, 599 del conss, 76 add conss, 8 chg bounds, 126 chg sides, 249 chg coeffs, 0 upgd conss, 0 impls, 12 clqs
0.00/0.03 c (round 8, fast) 737 del vars, 602 del conss, 77 add conss, 8 chg bounds, 129 chg sides, 252 chg coeffs, 0 upgd conss, 0 impls, 10 clqs
0.00/0.03 c (round 9, fast) 737 del vars, 602 del conss, 77 add conss, 8 chg bounds, 131 chg sides, 254 chg coeffs, 0 upgd conss, 0 impls, 10 clqs
0.00/0.03 c (round 10, exhaustive) 737 del vars, 604 del conss, 77 add conss, 8 chg bounds, 131 chg sides, 254 chg coeffs, 0 upgd conss, 0 impls, 10 clqs
0.00/0.03 c (round 11, exhaustive) 737 del vars, 604 del conss, 77 add conss, 8 chg bounds, 131 chg sides, 254 chg coeffs, 54 upgd conss, 0 impls, 10 clqs
0.00/0.03 c (round 12, exhaustive) 737 del vars, 607 del conss, 78 add conss, 8 chg bounds, 131 chg sides, 254 chg coeffs, 54 upgd conss, 0 impls, 10 clqs
0.00/0.03 c (round 13, exhaustive) 737 del vars, 607 del conss, 78 add conss, 8 chg bounds, 131 chg sides, 254 chg coeffs, 55 upgd conss, 0 impls, 10 clqs
0.00/0.04 c (0.0s) probing: 108/195 (55.4%) - 0 fixings, 0 aggregations, 7 implications, 0 bound changes
0.00/0.04 c (0.0s) probing aborted: 50/50 successive totally useless probings
0.00/0.04 c (0.0s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
0.00/0.04 c (0.0s) symmetry computation finished: 68 generators found (max: 1500, log10 of symmetry group size: 20.0) (symcode time: 0.00)
0.00/0.04 c dynamic symmetry handling statistics:
0.00/0.04 c orbitopal reduction: 1 components: 7x3
0.00/0.04 c orbital reduction: 3 components of sizes 1, 3, 7
0.00/0.04 c lexicographic reduction: 66 permutations with support sizes 2, 2, 2, 8, 2, 34, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 20, 20, 40, 20, 40, 20, 40
0.00/0.04 c handled 4 out of 4 symmetry components
0.00/0.05 c presolving (14 rounds: 14 fast, 7 medium, 6 exhaustive):
0.00/0.05 c 859 deleted vars, 636 deleted constraints, 78 added constraints, 8 tightened bounds, 0 added holes, 131 changed sides, 254 changed coefficients
0.00/0.05 c 0 implications, 10 cliques
0.00/0.05 c presolved problem has 73 variables (73 bin, 0 int, 0 impl, 0 cont) and 35 constraints
0.00/0.05 c 15 constraints of type <knapsack>
0.00/0.05 c 3 constraints of type <setppc>
0.00/0.05 c 1 constraints of type <and>
0.00/0.05 c 9 constraints of type <linear>
0.00/0.05 c 7 constraints of type <logicor>
0.00/0.05 c transformed objective value is always integral (scale: 1)
0.00/0.05 c Presolving Time: 0.02
0.00/0.05 c - non default parameters ----------------------------------------------------------------------
0.00/0.05 c # SCIP version 10.0.0
0.00/0.05 c
0.00/0.05 c # maximal time in seconds to run
0.00/0.05 c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
0.00/0.05 c limits/time = 3596.998036
0.00/0.05 c
0.00/0.05 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.05 c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
0.00/0.05 c limits/memory = 27900
0.00/0.05 c
0.00/0.05 c # solving stops, if the given number of solutions were found; this limit is first checked in presolving (-1: no limit)
0.00/0.05 c # [type: int, advanced: FALSE, range: [-1,2147483647], default: -1]
0.00/0.05 c limits/solutions = 1
0.00/0.05 c
0.00/0.05 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.05 c # [type: int, advanced: FALSE, range: [0,7], default: 7]
0.00/0.05 c misc/usesymmetry = 3
0.00/0.05 c
0.00/0.05 c # belongs reading time to solving time?
0.00/0.05 c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
0.00/0.05 c timing/reading = TRUE
0.00/0.05 c
0.00/0.05 c # Should we check whether the components of the symmetry group can be handled by double lex matrices?
0.00/0.05 c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
0.00/0.05 c propagating/symmetry/detectdoublelex = FALSE
0.00/0.05 c
0.00/0.05 c # Should we try to detect symmetric subgroups of the symmetry group on binary variables?
0.00/0.05 c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
0.00/0.05 c propagating/symmetry/detectsubgroups = FALSE
0.00/0.05 c
0.00/0.05 c # Type of symmetries that shall be computed?
0.00/0.05 c # [type: int, advanced: TRUE, range: [0,1], default: 0]
0.00/0.05 c propagating/symmetry/symtype = 1
0.00/0.05 c
0.00/0.05 c # Should components consisting of a single full reflection be handled?
0.00/0.05 c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
0.00/0.05 c propagating/symmetry/usesimplesgncomp = FALSE
0.00/0.05 c
0.00/0.05 c -----------------------------------------------------------------------------------------------
0.00/0.05 c start solving
0.00/0.05 c
0.00/0.08 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.08 c 0.1s| 1 | 0 | 16 | - | 5947k | 0 | 73 | 39 | 36 | 0 | 0 | 4 | 0 | 0.000000e+00 | -- | Inf | unknown
0.08/0.10 c 0.1s| 1 | 0 | 68 | - | 6217k | 0 | 73 | 158 | 44 | 8 | 1 | 4 | 0 | 0.000000e+00 | -- | Inf | unknown
0.08/0.11 c 0.1s| 1 | 0 | 75 | - | 6313k | 0 | 73 | 158 | 50 | 14 | 2 | 4 | 0 | 0.000000e+00 | -- | Inf | unknown
0.08/0.11 c 0.1s| 1 | 0 | 79 | - | 6425k | 0 | 73 | 158 | 53 | 17 | 3 | 4 | 0 | 0.000000e+00 | -- | Inf | unknown
0.08/0.11 c 0.1s| 1 | 0 | 89 | - | 6602k | 0 | 73 | 158 | 57 | 21 | 4 | 4 | 0 | 0.000000e+00 | -- | Inf | unknown
0.08/0.11 c 0.1s| 1 | 0 | 100 | - | 6651k | 0 | 73 | 158 | 60 | 29 | 5 | 4 | 0 | 0.000000e+00 | -- | Inf | unknown
0.08/0.11 c 0.1s| 1 | 0 | 114 | - | 6816k | 0 | 73 | 158 | 67 | 36 | 6 | 4 | 0 | 0.000000e+00 | -- | Inf | unknown
0.08/0.12 c 0.1s| 1 | 0 | 121 | - | 6981k | 0 | 73 | 160 | 71 | 40 | 7 | 6 | 0 | 0.000000e+00 | -- | Inf | unknown
0.08/0.12 c 0.1s| 1 | 0 | 130 | - | 7076k | 0 | 73 | 161 | 75 | 44 | 8 | 7 | 0 | 0.000000e+00 | -- | Inf | unknown
0.08/0.12 c 0.1s| 1 | 0 | 143 | - | 7270k | 0 | 73 | 162 | 80 | 49 | 9 | 8 | 0 | 0.000000e+00 | -- | Inf | unknown
0.08/0.13 c 0.1s| 1 | 0 | 151 | - | 7707k | 0 | 73 | 162 | 86 | 55 | 10 | 8 | 0 | 0.000000e+00 | -- | Inf | unknown
0.08/0.13 c 0.1s| 1 | 0 | 157 | - | 7715k | 0 | 73 | 162 | 89 | 58 | 11 | 8 | 0 | 0.000000e+00 | -- | Inf | unknown
0.08/0.13 c 0.1s| 1 | 0 | 157 | - | 7846k | 0 | 73 | 162 | 90 | 58 | 11 | 8 | 0 | 0.000000e+00 | -- | Inf | unknown
0.08/0.13 c 0.1s| 1 | 0 | 163 | - | 7871k | 0 | 73 | 162 | 94 | 62 | 12 | 8 | 0 | 0.000000e+00 | -- | Inf | unknown
0.08/0.13 c 0.1s| 1 | 0 | 172 | - | 7949k | 0 | 73 | 164 | 97 | 65 | 13 | 10 | 0 | 0.000000e+00 | -- | Inf | unknown
0.08/0.13 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
0.08/0.13 c 0.1s| 1 | 0 | 175 | - | 7986k | 0 | 73 | 164 | 100 | 68 | 14 | 10 | 0 | 0.000000e+00 | -- | Inf | unknown
0.08/0.14 c 0.1s| 1 | 0 | 182 | - | 8100k | 0 | 73 | 164 | 76 | 70 | 15 | 10 | 0 | 0.000000e+00 | -- | Inf | unknown
0.08/0.14 c 0.1s| 1 | 0 | 184 | - | 8107k | 0 | 73 | 165 | 78 | 72 | 16 | 11 | 0 | 0.000000e+00 | -- | Inf | unknown
0.08/0.14 c 0.1s| 1 | 0 | 193 | - | 8115k | 0 | 73 | 166 | 81 | 75 | 17 | 12 | 0 | 0.000000e+00 | -- | Inf | unknown
0.08/0.14 c 0.1s| 1 | 0 | 200 | - | 8124k | 0 | 73 | 166 | 84 | 78 | 18 | 12 | 0 | 0.000000e+00 | -- | Inf | unknown
0.08/0.14 c 0.1s| 1 | 0 | 209 | - | 8231k | 0 | 73 | 166 | 89 | 83 | 19 | 12 | 0 | 0.000000e+00 | -- | Inf | unknown
0.08/0.14 c 0.1s| 1 | 0 | 223 | - | 8414k | 0 | 73 | 166 | 95 | 89 | 20 | 12 | 0 | 0.000000e+00 | -- | Inf | unknown
0.08/0.15 c 0.1s| 1 | 0 | 232 | - | 8415k | 0 | 73 | 166 | 76 | 95 | 21 | 12 | 0 | 0.000000e+00 | -- | Inf | unknown
0.08/0.15 c 0.1s| 1 | 0 | 235 | - | 8454k | 0 | 73 | 166 | 79 | 98 | 22 | 12 | 0 | 0.000000e+00 | -- | Inf | unknown
0.08/0.16 c 0.1s| 1 | 0 | 301 | - | 8467k | 0 | 73 | 167 | 79 | 98 | 22 | 16 | 4 | 0.000000e+00 | -- | Inf | unknown
0.08/0.16 c 0.1s| 1 | 0 | 306 | - | 8467k | 0 | 73 | 167 | 69 | 100 | 23 | 16 | 4 | 0.000000e+00 | -- | Inf | unknown
0.08/0.16 c 0.1s| 1 | 0 | 310 | - | 8467k | 0 | 73 | 167 | 72 | 103 | 24 | 16 | 4 | 0.000000e+00 | -- | Inf | unknown
0.08/0.16 c 0.1s| 1 | 0 | 310 | - | 8470k | 0 | 73 | 167 | 72 | 103 | 24 | 19 | 11 | cutoff | -- | 0.00%| unknown
0.08/0.16 c
0.08/0.16 c SCIP Status : problem is solved [infeasible]
0.08/0.16 c Solving Time (sec) : 0.14
0.08/0.16 c Solving Nodes : 1
0.08/0.16 c Primal Bound : +1.00000000000000e+20 (0 solutions)
0.08/0.16 c Dual Bound : +1.00000000000000e+20
0.08/0.16 c Gap : 0.00 %
0.08/0.16 s UNSATISFIABLE
0.08/0.16 c SCIP Status : problem is solved [infeasible]
0.08/0.16 c Total Time : 0.14
0.08/0.16 c solving : 0.14
0.08/0.16 c presolving : 0.02 (included in solving)
0.08/0.16 c reading : 0.00 (included in solving)
0.08/0.16 c copying : 0.01 (3 #copies) (minimal 0.00, maximal 0.00, average 0.00)
0.08/0.16 c Original Problem :
0.08/0.16 c Problem name : HOME/instance-4441665-1721294183.opb
0.08/0.16 c Variables : 719 (719 binary, 0 integer, 0 implicit integer, 0 continuous)
0.08/0.16 c Constraints : 593 initial, 593 maximal
0.08/0.16 c Objective : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
0.08/0.16 c Presolved Problem :
0.08/0.16 c Problem name : t_HOME/instance-4441665-1721294183.opb
0.08/0.16 c Variables : 73 (73 binary, 0 integer, 0 implicit integer, 0 continuous)
0.08/0.16 c Constraints : 35 initial, 168 maximal
0.08/0.16 c Objective : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
0.08/0.16 c Nonzeros : 417 constraint, 16 clique table
0.08/0.16 c Presolvers : ExecTime SetupTime Calls FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
0.08/0.16 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
0.08/0.16 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
0.08/0.16 c domcol : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
0.08/0.16 c dualagg : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
0.08/0.16 c dualcomp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
0.08/0.16 c dualinfer : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
0.08/0.16 c dualsparsify : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
0.08/0.16 c gateextraction : 0.00 0.00 3 0 0 0 0 0 3 1 0 0
0.08/0.16 c implics : 0.00 0.00 7 0 0 0 0 0 0 0 0 0
0.08/0.16 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
0.08/0.16 c milp : 0.01 0.00 1 81 208 0 0 0 145 65 0 0
0.08/0.16 c qpkktref : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
0.08/0.16 c redvub : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
0.08/0.16 c sparsify : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
0.08/0.16 c stuffing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
0.08/0.16 c trivial : 0.00 0.00 14 213 0 0 0 0 0 0 0 0
0.08/0.16 c tworowbnd : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
0.08/0.16 c dualfix : 0.00 0.00 14 1 0 0 0 0 0 0 0 0
0.08/0.16 c genvbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
0.08/0.16 c probing : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
0.08/0.16 c pseudoobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
0.08/0.16 c symmetry : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
0.08/0.16 c vbounds : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
0.08/0.16 c knapsack : 0.00 0.00 8 0 0 0 0 0 0 0 0 0
0.08/0.16 c setppc : 0.00 0.00 8 0 0 0 0 0 0 0 0 0
0.08/0.16 c and : 0.00 0.00 4 0 0 0 0 0 0 0 0 0
0.08/0.16 c linear : 0.00 0.00 19 8 13 0 8 0 459 12 131 254
0.08/0.16 c logicor : 0.00 0.00 7 0 0 0 0 0 0 0 0 0
0.08/0.16 c benders : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
0.08/0.16 c components : 0.01 0.00 1 122 0 0 0 0 29 0 0 0
0.08/0.16 c root node : - - - 4 - - 4 - - - - -
0.08/0.16 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoRelax #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Applied Conss Children
0.08/0.16 c benderslp : 0 0 0 0 2 0 0 14 0 0 0 0 0 0 0
0.08/0.16 c integral : 0 0 0 0 2 0 0 14 0 1 1 0 0 0 0
0.08/0.16 c knapsack : 15 15 23 661 0 0 0 10 20 5 0 282 1 0 0
0.08/0.16 c setppc : 3 3 23 649 0 0 0 0 3 2 0 0 0 0 0
0.08/0.16 c and : 1 1 22 444 0 0 0 0 5 1 0 0 0 0 0
0.08/0.16 c linear : 9+ 129 24 653 0 0 0 3 78 18 0 11 0 0 0
0.08/0.16 c logicor : 7+ 21 23 75 0 0 0 0 2 1 0 8 1 0 0
0.08/0.16 c benders : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
0.08/0.16 c fixedvar : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
0.08/0.16 c countsols : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
0.08/0.16 c components : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
0.08/0.16 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS EnfoRelax Check ResProp SB-Prop
0.08/0.16 c benderslp : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
0.08/0.16 c integral : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
0.08/0.16 c knapsack : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
0.08/0.16 c setppc : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
0.08/0.16 c and : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
0.08/0.16 c linear : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
0.08/0.16 c logicor : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
0.08/0.16 c benders : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
0.08/0.16 c fixedvar : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
0.08/0.16 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
0.08/0.16 c components : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
0.08/0.16 c Propagators : #Propagate #ResProp Cutoffs DomReds
0.08/0.16 c dualfix : 3 0 0 0
0.08/0.16 c genvbounds : 0 0 0 0
0.08/0.16 c nlobbt : 0 0 0 0
0.08/0.16 c obbt : 0 0 0 0
0.08/0.16 c probing : 0 0 0 0
0.08/0.16 c pseudoobj : 0 0 0 0
0.08/0.16 c redcost : 0 0 0 0
0.08/0.16 c rootredcost : 0 0 0 0
0.08/0.16 c symmetry : 0 0 0 0
0.08/0.16 c vbounds : 125 0 0 0
0.08/0.16 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp SB-Prop
0.08/0.16 c dualfix : 0.00 0.00 0.00 0.00 0.00 0.00
0.08/0.16 c genvbounds : 0.00 0.00 0.00 0.00 0.00 0.00
0.08/0.16 c nlobbt : 0.00 0.00 0.00 0.00 0.00 0.00
0.08/0.16 c obbt : 0.00 0.00 0.00 0.00 0.00 0.00
0.08/0.16 c probing : 0.00 0.00 0.00 0.00 0.00 0.00
0.08/0.16 c pseudoobj : 0.00 0.00 0.00 0.00 0.00 0.00
0.08/0.16 c redcost : 0.00 0.00 0.00 0.00 0.00 0.00
0.08/0.16 c rootredcost : 0.00 0.00 0.00 0.00 0.00 0.00
0.08/0.16 c symmetry : 0.00 0.00 0.00 0.00 0.00 0.00
0.08/0.16 c vbounds : 0.00 0.00 0.00 0.00 0.00 0.00
0.08/0.16 c Symmetry :
0.08/0.16 c orbitopal red. : 0 reductions applied, 0 cutoffs
0.08/0.16 c orbital reduction: 0 reductions applied, 0 cutoffs
0.08/0.16 c lexicographic red: 0 reductions applied, 0 cutoffs
0.08/0.16 c shadow tree time : 0.00 s
0.08/0.16 c Conflict Analysis : Time Calls Success DomReds Conflicts Literals Reconvs ReconvLits Dualrays Nonzeros LP Iters (pool size: [10000,10000])
0.08/0.16 c propagation : 0.00 13 12 - 48 10.1 0 0.0 - - -
0.08/0.16 c infeasible LP : 0.00 3 5 - 2 1.0 0 0.0 3 0.7 0
0.08/0.16 c bound exceed. LP : 0.00 0 0 - 0 0.0 0 0.0 0 0.0 0
0.08/0.16 c strong branching : 0.00 0 0 - 0 0.0 0 0.0 - - 0
0.08/0.16 c pseudo solution : 0.00 0 0 - 0 0.0 0 0.0 - - -
0.08/0.16 c applied globally : 0.00 - - 2 16 6.7 - - 2 - -
0.08/0.16 c applied locally : - - - 0 0 0.0 - - 0 - -
0.08/0.16 c Separators : ExecTime SetupTime Calls RootCalls Cutoffs DomReds FoundCuts ViaPoolAdd DirectAdd Applied ViaPoolApp DirectApp Conss
0.08/0.16 c cut pool : 0.00 - 46 46 - - 1025 3492 - - - - - (maximal pool size: 1025)
0.08/0.16 c aggregation : 0.02 0.00 23 23 0 0 514 2100 0 76 76 0 0
0.08/0.16 c > cmir : - - - - - - - 1244 0 30 30 0 -
0.08/0.16 c > flowcover : - - - - - - - 721 0 36 36 0 -
0.08/0.16 c > knapsackcover : - - - - - - - 135 0 10 10 0 -
0.08/0.16 c cgmip : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
0.08/0.16 c clique : 0.00 0.00 23 23 0 0 0 0 0 0 0 0 0
0.08/0.16 c closecuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
0.08/0.16 c convexproj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
0.08/0.16 c disjunctive : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
0.08/0.16 c eccuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
0.08/0.16 c gauge : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
0.08/0.16 c gomory : 0.01 0.00 10 10 0 0 481 1217 4 21 18 3 0
0.08/0.16 c > gomorymi : - - - - - - - 650 2 12 10 2 -
0.08/0.16 c > strongcg : - - - - - - - 567 2 9 8 1 -
0.08/0.16 c impliedbounds : 0.00 0.00 23 23 0 0 5 39 0 0 0 0 0
0.08/0.16 c interminor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
0.08/0.16 c intobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
0.08/0.16 c lagromory : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
0.08/0.16 c mcf : 0.00 0.00 1 1 0 0 0 0 0 0 0 0 0
0.08/0.16 c minor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
0.08/0.16 c mixing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
0.08/0.16 c multilinear : 0.00 0.00 23 23 0 0 0 0 0 0 0 0 0
0.08/0.16 c oddcycle : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
0.08/0.16 c rapidlearning : 0.02 0.00 1 1 0 0 0 0 0 0 0 0 119
0.08/0.16 c rlt : 0.00 0.00 10 10 0 0 4 5 0 0 0 0 0
0.08/0.16 c zerohalf : 0.00 0.00 20 20 0 0 25 131 0 3 3 0 0
0.08/0.16 c Cutselectors : ExecTime SetupTime Calls RootCalls Selected Forced Filtered RootSelec RootForc RootFilt
0.08/0.16 c hybrid : 0.00 0.00 24 24 99 4 3698 99 4 3698
0.08/0.16 c ensemble : 0.00 0.00 0 0 0 0 0 0 0 0
0.08/0.16 c dynamic : 0.00 0.00 0 0 0 0 0 0 0 0
0.08/0.16 c Pricers : ExecTime SetupTime Calls Vars
0.08/0.16 c problem variables: 0.00 - 0 0
0.08/0.16 c Branching Rules : ExecTime SetupTime BranchLP BranchExt BranchPS Cutoffs DomReds Cuts Conss Children
0.08/0.16 c allfullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
0.08/0.16 c cloud : 0.00 0.00 0 0 0 0 0 0 0 0
0.08/0.16 c distribution : 0.00 0.00 0 0 0 0 0 0 0 0
0.08/0.16 c fullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
0.08/0.16 c gomory : 0.00 0.00 0 0 0 0 0 0 0 0
0.08/0.16 c inference : 0.00 0.00 0 0 0 0 0 0 0 0
0.08/0.16 c leastinf : 0.00 0.00 0 0 0 0 0 0 0 0
0.08/0.16 c lookahead : 0.00 0.00 0 0 0 0 0 0 0 0
0.08/0.16 c mostinf : 0.00 0.00 0 0 0 0 0 0 0 0
0.08/0.16 c multaggr : 0.00 0.00 0 0 0 0 0 0 0 0
0.08/0.16 c nodereopt : 0.00 0.00 0 0 0 0 0 0 0 0
0.08/0.16 c pscost : 0.00 0.00 0 0 0 0 0 0 0 0
0.08/0.16 c random : 0.00 0.00 0 0 0 0 0 0 0 0
0.08/0.16 c relpscost : 0.00 0.00 2 0 0 1 1 0 0 0
0.08/0.16 c vanillafullstrong: 0.00 0.00 0 0 0 0 0 0 0 0
0.08/0.16 c Primal Heuristics : ExecTime SetupTime Calls Found Best
0.08/0.16 c LP solutions : 0.00 - - 0 0
0.08/0.16 c relax solutions : 0.00 - - 0 0
0.08/0.16 c pseudo solutions : 0.00 - - 0 0
0.08/0.16 c strong branching : 0.00 - - 0 0
0.08/0.16 c actconsdiving : 0.00 0.00 0 0 0
0.08/0.16 c adaptivediving : 0.00 0.00 0 0 0
0.08/0.16 c alns : 0.00 0.00 1 0 0
0.08/0.16 c bound : 0.00 0.00 0 0 0
0.08/0.16 c clique : 0.00 0.00 1 0 0
0.08/0.16 c coefdiving : 0.00 0.00 0 0 0
0.08/0.16 c completesol : 0.00 0.00 0 0 0
0.08/0.16 c conflictdiving : 0.00 0.00 1 0 0
0.08/0.16 c crossover : 0.00 0.00 0 0 0
0.08/0.16 c dins : 0.00 0.00 0 0 0
0.08/0.16 c distributiondivin: 0.00 0.00 0 0 0
0.08/0.16 c dps : 0.00 0.00 0 0 0
0.08/0.16 c dualval : 0.00 0.00 0 0 0
0.08/0.16 c farkasdiving : 0.00 0.00 0 0 0
0.08/0.16 c feasjump : 0.04 0.00 1 0 0
0.08/0.16 c feaspump : 0.00 0.00 1 0 0
0.08/0.16 c fixandinfer : 0.00 0.00 0 0 0
0.08/0.16 c fracdiving : 0.00 0.00 0 0 0
0.08/0.16 c gins : 0.00 0.00 0 0 0
0.08/0.16 c guideddiving : 0.00 0.00 0 0 0
0.08/0.16 c indcoefdiving : 0.00 0.00 0 0 0
0.08/0.16 c indicator : 0.00 0.00 0 0 0
0.08/0.16 c indicatordiving : 0.00 0.00 0 0 0
0.08/0.16 c indoneopt : 0.00 0.00 0 0 0
0.08/0.16 c indrounding : 0.00 0.00 0 0 0
0.08/0.16 c indtwoopt : 0.00 0.00 0 0 0
0.08/0.16 c intdiving : 0.00 0.00 0 0 0
0.08/0.16 c intshifting : 0.00 0.00 0 0 0
0.08/0.16 c linesearchdiving : 0.00 0.00 0 0 0
0.08/0.16 c localbranching : 0.00 0.00 0 0 0
0.08/0.16 c locks : 0.00 0.00 1 0 0
0.08/0.16 c lpface : 0.00 0.00 0 0 0
0.08/0.16 c mpec : 0.00 0.00 0 0 0
0.08/0.16 c multistart : 0.00 0.00 0 0 0
0.08/0.16 c mutation : 0.00 0.00 0 0 0
0.08/0.16 c nlpdiving : 0.00 0.00 0 0 0
0.08/0.16 c objpscostdiving : 0.00 0.00 0 0 0
0.08/0.16 c octane : 0.00 0.00 0 0 0
0.08/0.16 c ofins : 0.00 0.00 0 0 0
0.08/0.16 c oneopt : 0.00 0.00 0 0 0
0.08/0.16 c padm : 0.00 0.00 0 0 0
0.08/0.16 c proximity : 0.00 0.00 0 0 0
0.08/0.16 c pscostdiving : 0.00 0.00 0 0 0
0.08/0.16 c randrounding : 0.01 0.00 26 0 0
0.08/0.16 c rens : 0.00 0.00 1 0 0
0.08/0.16 c reoptsols : 0.00 0.00 0 0 0
0.08/0.16 c repair : 0.00 0.00 0 0 0
0.08/0.16 c rins : 0.00 0.00 0 0 0
0.08/0.16 c rootsoldiving : 0.00 0.00 0 0 0
0.08/0.16 c rounding : 0.00 0.00 26 0 0
0.08/0.16 c scheduler : 0.00 0.00 0 0 0
0.08/0.16 c shiftandpropagate: 0.00 0.00 1 0 0
0.08/0.16 c shifting : 0.00 0.00 26 0 0
0.08/0.16 c simplerounding : 0.00 0.00 0 0 0
0.08/0.16 c smallcard : 0.00 0.00 0 0 0
0.08/0.16 c subnlp : 0.00 0.00 0 0 0
0.08/0.16 c trivial : 0.00 0.00 2 0 0
0.08/0.16 c trivialnegation : 0.00 0.00 0 0 0
0.08/0.16 c trustregion : 0.00 0.00 0 0 0
0.08/0.16 c trysol : 0.00 0.00 0 0 0
0.08/0.16 c twoopt : 0.00 0.00 0 0 0
0.08/0.16 c undercover : 0.00 0.00 1 0 0
0.08/0.16 c vbounds : 0.00 0.00 0 0 0
0.08/0.16 c veclendiving : 0.00 0.00 0 0 0
0.08/0.16 c zeroobj : 0.00 0.00 0 0 0
0.08/0.16 c zirounding : 0.00 0.00 1 0 0
0.08/0.16 c other solutions : - - - 0 -
0.08/0.16 c LNS (Scheduler) : Calls SetupTime SolveTime SolveNodes Sols Best Exp3 Exp3-IX EpsGreedy UCB TgtFixRate Opt Inf Node Stal Sol Usr Othr Actv
0.08/0.16 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.08/0.16 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.08/0.16 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.08/0.16 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.08/0.16 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.08/0.16 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.08/0.16 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.08/0.16 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.08/0.16 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.08/0.16 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It ItLimit
0.08/0.16 c primal LP : 0.00 3 0 0.00 - 0.00 3
0.08/0.16 c dual LP : 0.00 27 203 8.12 - 0.00 2
0.08/0.16 c lex dual LP : 0.00 0 0 0.00 -
0.08/0.16 c barrier LP : 0.00 0 0 0.00 - 0.00 0
0.08/0.16 c resolve instable : 0.00 0 0 0.00 -
0.08/0.16 c diving/probing LP: 0.00 18 107 5.94 -
0.08/0.16 c strong branching : 0.00 11 88 8.00 - - - 0
0.08/0.16 c (at root node) : - 11 88 8.00 -
0.08/0.16 c conflict analysis: 0.00 0 0 0.00 -
0.08/0.16 c B&B Tree :
0.08/0.16 c number of runs : 1
0.08/0.16 c nodes : 1 (0 internal, 1 leaves)
0.08/0.16 c feasible leaves : 0
0.08/0.16 c infeas. leaves : 0
0.08/0.16 c objective leaves : 0
0.08/0.16 c nodes (total) : 1 (0 internal, 1 leaves)
0.08/0.16 c nodes left : 0
0.08/0.16 c max depth : 0
0.08/0.16 c max depth (total): 0
0.08/0.16 c backtracks : 0 (0.0%)
0.08/0.16 c early backtracks : 0 (0.0%)
0.08/0.16 c nodes exc. ref. : 0 (0.0%)
0.08/0.16 c delayed cutoffs : 0
0.08/0.16 c repropagations : 0 (0 domain reductions, 0 cutoffs)
0.08/0.16 c avg switch length: 2.00
0.08/0.16 c switching time : 0.00
0.08/0.16 c Root Node :
0.08/0.16 c First LP value : +0.00000000000000e+00
0.08/0.16 c First LP Iters : 16 (87912.09 Iter/sec)
0.08/0.16 c First LP Time : 0.00
0.08/0.16 c Final Dual Bound : -
0.08/0.16 c Final Root Iters : 244
0.08/0.16 c Root LP Estimate : -
0.08/0.16 c Solution :
0.08/0.16 c Solutions found : 0 (0 improvements)
0.08/0.16 c Primal Bound : infeasible
0.08/0.16 c Dual Bound : -
0.08/0.16 c Gap : 0.00 %
0.08/0.16 c Integrals : Total Avg%
0.08/0.16 c primal-dual : - - (problem infeasible)
0.08/0.16 c primal-ref : - - (problem infeasible)
0.08/0.16 c dual-ref : - - (problem infeasible)
0.08/0.16 c Time complete: 0.145234.