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-4459704-1721939462.opb>
0.00/0.02 c original problem has 490 variables (147 bin, 0 int, 343 impl, 0 cont) and 365 constraints
0.00/0.02 c problem read in 0.00
0.00/0.02 c presolving:
0.00/0.02 c (round 1, fast) 22 del vars, 0 del conss, 7 add conss, 0 chg bounds, 0 chg sides, 40 chg coeffs, 0 upgd conss, 0 impls, 588 clqs
0.00/0.02 c (round 2, fast) 120 del vars, 84 del conss, 14 add conss, 0 chg bounds, 0 chg sides, 124 chg coeffs, 0 upgd conss, 0 impls, 504 clqs
0.00/0.02 c (round 3, exhaustive) 121 del vars, 84 del conss, 14 add conss, 0 chg bounds, 0 chg sides, 124 chg coeffs, 0 upgd conss, 0 impls, 503 clqs
0.00/0.02 c (round 4, fast) 122 del vars, 87 del conss, 15 add conss, 0 chg bounds, 0 chg sides, 124 chg coeffs, 1 upgd conss, 0 impls, 502 clqs
0.00/0.03 c (round 5, fast) 123 del vars, 89 del conss, 16 add conss, 0 chg bounds, 0 chg sides, 125 chg coeffs, 1 upgd conss, 0 impls, 501 clqs
0.00/0.03 c (round 6, fast) 123 del vars, 89 del conss, 16 add conss, 0 chg bounds, 1 chg sides, 126 chg coeffs, 1 upgd conss, 0 impls, 501 clqs
0.00/0.03 c (round 7, exhaustive) 123 del vars, 90 del conss, 16 add conss, 0 chg bounds, 1 chg sides, 126 chg coeffs, 1 upgd conss, 0 impls, 501 clqs
0.00/0.03 c (round 8, exhaustive) 123 del vars, 97 del conss, 16 add conss, 0 chg bounds, 1 chg sides, 126 chg coeffs, 1 upgd conss, 0 impls, 501 clqs
0.00/0.03 c (round 9, exhaustive) 123 del vars, 97 del conss, 16 add conss, 0 chg bounds, 1 chg sides, 126 chg coeffs, 16 upgd conss, 0 impls, 501 clqs
0.00/0.03 c (round 10, exhaustive) 123 del vars, 97 del conss, 16 add conss, 0 chg bounds, 1 chg sides, 127 chg coeffs, 16 upgd conss, 0 impls, 501 clqs
0.00/0.03 c (0.0s) probing: 51/381 (13.4%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.00/0.03 c (0.0s) probing aborted: 50/50 successive totally useless probings
0.00/0.03 c (0.0s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
0.00/0.03 c (0.0s) no symmetry present (symcode time: 0.00)
0.00/0.04 c presolving (11 rounds: 11 fast, 6 medium, 6 exhaustive):
0.00/0.04 c 123 deleted vars, 97 deleted constraints, 16 added constraints, 0 tightened bounds, 0 added holes, 1 changed sides, 127 changed coefficients
0.00/0.04 c 0 implications, 501 cliques
0.00/0.04 c presolved problem has 381 variables (131 bin, 0 int, 250 impl, 0 cont) and 280 constraints
0.00/0.04 c 1 constraints of type <setppc>
0.00/0.04 c 250 constraints of type <and>
0.00/0.04 c 7 constraints of type <linear>
0.00/0.04 c 15 constraints of type <logicor>
0.00/0.04 c 7 constraints of type <pseudoboolean>
0.00/0.04 c transformed objective value is always integral (scale: 2)
0.00/0.04 c Presolving Time: 0.02
0.00/0.04 c - non default parameters ----------------------------------------------------------------------
0.00/0.04 c # SCIP version 10.0.0
0.00/0.04 c
0.00/0.04 c # maximal time in seconds to run
0.00/0.04 c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
0.00/0.04 c limits/time = 3596.993272
0.00/0.04 c
0.00/0.04 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.04 c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
0.00/0.04 c limits/memory = 27900
0.00/0.04 c
0.00/0.04 c # belongs reading time to solving time?
0.00/0.04 c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
0.00/0.04 c timing/reading = TRUE
0.00/0.04 c
0.00/0.04 c -----------------------------------------------------------------------------------------------
0.00/0.04 c start solving
0.00/0.04 c
0.00/0.05 o 65
0.00/0.05 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.05 c p 0.0s| 1 | 0 | 0 | - | vbounds| 0 | 381 | 281 | 523 | 0 | 0 | 0 | 0 | 1.000000e+00 | 6.500000e+01 |6400.00%| unknown
0.00/0.06 o 63
0.00/0.06 c p 0.0s| 1 | 0 | 0 | - | vbounds| 0 | 381 | 292 | 523 | 0 | 0 | 11 | 0 | 1.000000e+00 | 6.300000e+01 |6200.00%| unknown
0.00/0.06 c 0.0s| 1 | 0 | 19 | - | 6563k | 0 | 381 | 285 | 524 | 0 | 0 | 11 | 0 | 3.000000e+00 | 6.300000e+01 |2000.00%| unknown
0.00/0.10 o 43
0.00/0.10 c L 0.1s| 1 | 0 | 19 | - |undercov| 0 | 381 | 287 | 524 | 0 | 0 | 13 | 0 | 3.000000e+00 | 4.300000e+01 |1333.33%| unknown
0.10/0.15 c 0.1s| 1 | 0 | 42 | - | 6890k | 0 | 381 | 287 | 533 | 9 | 1 | 13 | 0 | 3.000000e+00 | 4.300000e+01 |1333.33%| unknown
0.10/0.17 c 0.2s| 1 | 0 | 70 | - | 7309k | 0 | 381 | 287 | 545 | 21 | 2 | 13 | 0 | 3.000000e+00 | 4.300000e+01 |1333.33%| unknown
0.20/0.24 c 0.2s| 1 | 0 | 104 | - | 7978k | 0 | 381 | 287 | 557 | 33 | 3 | 13 | 0 | 3.000000e+00 | 4.300000e+01 |1333.33%| unknown
0.30/0.33 c 0.3s| 1 | 0 | 135 | - | 8946k | 0 | 381 | 287 | 574 | 50 | 4 | 13 | 0 | 3.000000e+00 | 4.300000e+01 |1333.33%| unknown
0.40/0.43 c 0.4s| 1 | 0 | 173 | - | 10M | 0 | 381 | 287 | 586 | 62 | 5 | 13 | 0 | 3.000000e+00 | 4.300000e+01 |1333.33%| unknown
0.50/0.53 c 0.5s| 1 | 0 | 210 | - | 12M | 0 | 381 | 287 | 597 | 73 | 6 | 13 | 0 | 3.000000e+00 | 4.300000e+01 |1333.33%| unknown
0.58/0.68 c 0.7s| 1 | 0 | 249 | - | 14M | 0 | 381 | 287 | 606 | 82 | 7 | 13 | 0 | 3.000000e+00 | 4.300000e+01 |1333.33%| unknown
0.67/0.79 c 0.8s| 1 | 0 | 287 | - | 15M | 0 | 381 | 287 | 620 | 96 | 8 | 13 | 0 | 3.000000e+00 | 4.300000e+01 |1333.33%| unknown
0.77/0.86 c 0.8s| 1 | 0 | 326 | - | 17M | 0 | 381 | 287 | 636 | 112 | 9 | 13 | 0 | 3.000000e+00 | 4.300000e+01 |1333.33%| unknown
0.97/1.03 c 1.0s| 1 | 0 | 372 | - | 20M | 0 | 381 | 287 | 648 | 124 | 10 | 13 | 0 | 3.000000e+00 | 4.300000e+01 |1333.33%| unknown
0.97/1.07 c 1.1s| 1 | 0 | 430 | - | 22M | 0 | 381 | 287 | 158 | 131 | 11 | 13 | 0 | 3.000000e+00 | 4.300000e+01 |1333.33%| unknown
0.97/1.07 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
0.97/1.07 c 1.1s| 1 | 0 | 430 | - | 22M | 0 | 381 | 287 | 158 | 131 | 11 | 13 | 0 | 3.000000e+00 | 4.300000e+01 |1333.33%| unknown
1.07/1.15 c 1.1s| 1 | 2 | 1401 | - | 22M | 0 | 381 | 293 | 158 | 131 | 11 | 19 | 6 | 3.000000e+00 | 4.300000e+01 |1333.33%| unknown
1.27/1.35 c 1.3s| 100 | 69 | 2293 | 18.8 | 23M | 43 | 381 | 303 | 167 | 377 | 2 | 29 | 8 | 3.000000e+00 | 4.300000e+01 |1333.33%| unknown
1.46/1.59 c 1.6s| 200 | 128 | 3844 | 17.2 | 25M | 53 | 381 | 319 | 0 | 862 | 0 | 45 | 28 | 3.000000e+00 | 4.300000e+01 |1333.33%| unknown
1.76/1.81 c 1.8s| 300 | 178 | 5127 | 15.7 | 27M | 53 | 381 | 325 | 183 |1284 | 1 | 51 | 33 | 3.000000e+00 | 4.300000e+01 |1333.33%| unknown
1.76/1.84 o 3
1.76/1.84 c r 1.8s| 338 | 0 | 5385 | 14.7 |simplero| 53 | 381 | 326 | 201 |1358 | 0 | 52 | 33 | 3.000000e+00 | 3.000000e+00 | 0.00%| 100.00%
1.76/1.84 c
1.76/1.84 c SCIP Status : problem is solved [optimal solution found]
1.76/1.84 c Solving Time (sec) : 1.83
1.76/1.84 c Solving Nodes : 338
1.76/1.84 c Primal Bound : +3.00000000000000e+00 (4 solutions)
1.76/1.84 c Dual Bound : +3.00000000000000e+00
1.76/1.84 c Gap : 0.00 %
1.76/1.84 s OPTIMUM FOUND
1.76/1.84 v -x147 -x146 -x145 -x144 x143 x142 x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 -x98 -x97 -x96 x95 -x94 -x93 x92 -x133 -x132 -x131
1.76/1.84 v x130 -x129 x128 -x127 -x91 -x90 -x89 -x88 -x87 -x86 x85 -x126 -x125 -x124 -x123 -x122 -x121 x120 -x84 x83 x82 x81 x80 -x79
1.76/1.84 v x78 -x119 x118 x117 x116 -x115 -x114 -x113 -x77 -x76 x75 -x74 x73 -x72 x71 -x112 -x111 -x110 -x109 -x108 -x107 x106 x70 -x69
1.76/1.84 v -x68 x67 x66 x65 x64 -x105 -x104 -x103 -x102 -x101 -x100 -x99 x63 -x62 -x61 -x60 x59 -x58 x57 x56 x55 -x54 x53 -x52 x51 x50
1.76/1.84 v -x49 -x48 -x47 x46 -x45 -x44 x43 -x42 -x41 x40 -x39 x38 -x37 x36 -x35 -x34 -x33 x32 -x31 -x30 x29 x28 -x27 x26 x25 -x24 x23
1.76/1.84 v x22 -x21 -x20 -x19 -x18 -x17 x16 x15 -x14 -x13 x12 -x11 x10 x9 x8 -x7 -x6 -x5 -x4 -x3 x2 x1
1.76/1.84 c SCIP Status : problem is solved [optimal solution found]
1.76/1.84 c Total Time : 1.83
1.76/1.84 c solving : 1.83
1.76/1.84 c presolving : 0.02 (included in solving)
1.76/1.84 c reading : 0.00 (included in solving)
1.76/1.84 c copying : 0.08 (20 #copies) (minimal 0.00, maximal 0.01, average 0.00)
1.76/1.84 c Original Problem :
1.76/1.84 c Problem name : HOME/instance-4459704-1721939462.opb
1.76/1.84 c Variables : 490 (147 binary, 0 integer, 343 implicit integer, 0 continuous)
1.76/1.84 c Constraints : 365 initial, 365 maximal
1.76/1.84 c Objective : minimize, 7 non-zeros (abs.min = 1, abs.max = 64)
1.76/1.84 c Presolved Problem :
1.76/1.84 c Problem name : t_HOME/instance-4459704-1721939462.opb
1.76/1.84 c Variables : 381 (131 binary, 0 integer, 250 implicit integer, 0 continuous)
1.76/1.84 c Constraints : 280 initial, 326 maximal
1.76/1.84 c Objective : minimize, 6 non-zeros (abs.min = 1, abs.max = 32)
1.76/1.84 c Nonzeros : 2154 constraint, 978 clique table
1.76/1.84 c Presolvers : ExecTime SetupTime Calls FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1.76/1.84 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
1.76/1.84 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
1.76/1.84 c domcol : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
1.76/1.84 c dualagg : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
1.76/1.84 c dualcomp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
1.76/1.84 c dualinfer : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
1.76/1.84 c dualsparsify : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
1.76/1.84 c gateextraction : 0.00 0.00 2 0 0 0 0 0 0 0 0 0
1.76/1.84 c implics : 0.00 0.00 6 0 0 0 0 0 0 0 0 0
1.76/1.84 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
1.76/1.84 c milp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
1.76/1.84 c qpkktref : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
1.76/1.84 c redvub : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
1.76/1.84 c sparsify : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
1.76/1.84 c stuffing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
1.76/1.84 c trivial : 0.00 0.00 11 14 0 0 0 0 0 0 0 0
1.76/1.84 c tworowbnd : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
1.76/1.84 c dualfix : 0.00 0.00 11 0 0 0 0 0 0 0 0 0
1.76/1.84 c genvbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
1.76/1.84 c probing : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
1.76/1.84 c pseudoobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
1.76/1.84 c symmetry : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
1.76/1.84 c vbounds : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
1.76/1.84 c knapsack : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
1.76/1.84 c setppc : 0.00 0.00 19 0 0 0 0 0 3 0 0 0
1.76/1.84 c and : 0.00 0.00 16 1 85 0 0 0 85 0 0 85
1.76/1.84 c linear : 0.00 0.00 15 1 8 0 0 0 9 16 1 41
1.76/1.84 c logicor : 0.00 0.00 6 0 0 0 0 0 0 0 0 1
1.76/1.84 c benders : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
1.76/1.84 c pseudoboolean : 0.00 0.00 6 0 0 0 0 0 0 0 0 0
1.76/1.84 c components : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
1.76/1.84 c root node : - - - 9 - - 9 - - - - -
1.76/1.84 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoRelax #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Applied Conss Children
1.76/1.84 c benderslp : 0 0 0 0 270 0 0 90 0 0 0 0 0 0 0
1.76/1.84 c integral : 0 0 0 0 270 0 0 90 0 0 7 0 0 0 528
1.76/1.84 c knapsack : 0+ 1 0 3 0 0 0 0 1 0 0 0 0 0 0
1.76/1.84 c setppc : 1 1 11 764 0 0 0 0 0 0 0 0 0 0 0
1.76/1.84 c and : 250 250 515 2198 0 0 0 0 1223 12 1238 1333 1003 0 0
1.76/1.84 c linear : 7+ 18 11 2185 0 0 0 87 361 102 452 0 0 0 0
1.76/1.84 c logicor : 15+ 66 11 493 0 0 0 13 26 5 26 2 2 0 0
1.76/1.84 c benders : 0 0 0 0 0 0 0 15 0 0 0 0 0 0 0
1.76/1.84 c pseudoboolean : 7 7 0 0 0 0 0 13 0 0 0 0 0 0 0
1.76/1.84 c fixedvar : 0 0 0 0 0 0 0 6 0 0 0 0 0 0 0
1.76/1.84 c countsols : 0 0 0 0 0 0 0 6 0 0 0 0 0 0 0
1.76/1.84 c components : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
1.76/1.84 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS EnfoRelax Check ResProp SB-Prop
1.76/1.84 c benderslp : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1.76/1.84 c integral : 0.03 0.00 0.00 0.00 0.03 0.00 0.00 0.00 0.00 0.00
1.76/1.84 c knapsack : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1.76/1.84 c setppc : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1.76/1.84 c and : 0.02 0.00 0.01 0.01 0.00 0.00 0.00 0.00 0.00 0.00
1.76/1.84 c linear : 0.01 0.00 0.00 0.01 0.00 0.00 0.00 0.00 0.00 0.00
1.76/1.84 c logicor : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1.76/1.84 c benders : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1.76/1.84 c pseudoboolean : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1.76/1.84 c fixedvar : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1.76/1.84 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1.76/1.84 c components : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1.76/1.84 c Propagators : #Propagate #ResProp Cutoffs DomReds
1.76/1.84 c dualfix : 3 0 0 0
1.76/1.84 c genvbounds : 0 0 0 0
1.76/1.84 c nlobbt : 0 0 0 0
1.76/1.84 c obbt : 0 0 0 0
1.76/1.84 c probing : 0 0 0 0
1.76/1.84 c pseudoobj : 969 0 0 2
1.76/1.84 c redcost : 926 0 0 3
1.76/1.84 c rootredcost : 1 0 0 0
1.76/1.84 c symmetry : 0 0 0 0
1.76/1.84 c vbounds : 1105 0 0 0
1.76/1.84 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp SB-Prop
1.76/1.84 c dualfix : 0.00 0.00 0.00 0.00 0.00 0.00
1.76/1.84 c genvbounds : 0.00 0.00 0.00 0.00 0.00 0.00
1.76/1.84 c nlobbt : 0.00 0.00 0.00 0.00 0.00 0.00
1.76/1.84 c obbt : 0.00 0.00 0.00 0.00 0.00 0.00
1.76/1.84 c probing : 0.00 0.00 0.00 0.00 0.00 0.00
1.76/1.84 c pseudoobj : 0.00 0.00 0.00 0.00 0.00 0.00
1.76/1.84 c redcost : 0.01 0.00 0.00 0.01 0.00 0.00
1.76/1.84 c rootredcost : 0.00 0.00 0.00 0.00 0.00 0.00
1.76/1.84 c symmetry : 0.00 0.00 0.00 0.00 0.00 0.00
1.76/1.84 c vbounds : 0.00 0.00 0.00 0.00 0.00 0.00
1.76/1.84 c Symmetry :
1.76/1.84 c orbitopal red. : 0 reductions applied, 0 cutoffs
1.76/1.84 c orbital reduction: 0 reductions applied, 0 cutoffs
1.76/1.84 c lexicographic red: 0 reductions applied, 0 cutoffs
1.76/1.84 c shadow tree time : 0.00 s
1.76/1.84 c Conflict Analysis : Time Calls Success DomReds Conflicts Literals Reconvs ReconvLits Dualrays Nonzeros LP Iters (pool size: [10000,10000])
1.76/1.84 c propagation : 0.00 22 22 - 255 44.9 4 29.0 - - -
1.76/1.84 c infeasible LP : 0.00 0 0 - 0 0.0 0 0.0 0 0.0 0
1.76/1.84 c bound exceed. LP : 0.00 1 1 - 0 0.0 0 0.0 1 6.0 10
1.76/1.84 c strong branching : 0.00 0 0 - 0 0.0 0 0.0 - - 0
1.76/1.84 c pseudo solution : 0.00 1 1 - 1 1.0 1 103.0 - - -
1.76/1.84 c applied globally : 0.00 - - 0 52 18.1 - - 1 - -
1.76/1.84 c applied locally : - - - 0 0 0.0 - - 0 - -
1.76/1.84 c Separators : ExecTime SetupTime Calls RootCalls Cutoffs DomReds FoundCuts ViaPoolAdd DirectAdd Applied ViaPoolApp DirectApp Conss
1.76/1.84 c cut pool : 0.03 - 103 21 - - 1895 4426 - - - - - (maximal pool size: 1895)
1.76/1.84 c aggregation : 0.19 0.00 34 11 0 0 851 1810 213 176 136 40 0
1.76/1.84 c > cmir : - - - - - - - 883 30 58 56 2 -
1.76/1.84 c > flowcover : - - - - - - - 895 166 97 68 29 -
1.76/1.84 c > knapsackcover : - - - - - - - 32 17 21 12 9 -
1.76/1.84 c cgmip : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
1.76/1.84 c clique : 0.00 0.00 11 11 0 0 0 0 0 0 0 0 0
1.76/1.84 c closecuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
1.76/1.84 c convexproj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
1.76/1.84 c disjunctive : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
1.76/1.84 c eccuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
1.76/1.84 c gauge : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
1.76/1.84 c gomory : 0.69 0.00 33 10 0 0 1479 2386 340 72 63 9 0
1.76/1.84 c > gomorymi : - - - - - - - 1302 173 42 37 5 -
1.76/1.84 c > strongcg : - - - - - - - 1084 167 30 26 4 -
1.76/1.84 c impliedbounds : 0.00 0.00 34 11 0 0 47 81 0 56 56 0 0
1.76/1.84 c interminor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
1.76/1.84 c intobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
1.76/1.84 c lagromory : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
1.76/1.84 c mcf : 0.00 0.00 1 1 0 0 0 0 0 0 0 0 0
1.76/1.84 c minor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
1.76/1.84 c mixing : 0.00 0.00 34 11 0 0 0 0 0 0 0 0 0
1.76/1.84 c multilinear : 0.00 0.00 25 11 0 0 0 0 0 0 0 0 0
1.76/1.84 c oddcycle : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
1.76/1.84 c rapidlearning : 0.16 0.00 8 1 0 124 0 0 0 0 0 0 20
1.76/1.84 c rlt : 0.04 0.00 21 10 0 0 43 50 2 39 39 0 0
1.76/1.84 c zerohalf : 0.01 0.00 34 11 0 0 47 99 17 10 9 1 0
1.76/1.84 c Cutselectors : ExecTime SetupTime Calls RootCalls Selected Forced Filtered RootSelec RootForc RootFilt
1.76/1.84 c hybrid : 0.01 0.00 382 11 1365 0 4968 131 0 1567
1.76/1.84 c ensemble : 0.00 0.00 0 0 0 0 0 0 0 0
1.76/1.84 c dynamic : 0.00 0.00 0 0 0 0 0 0 0 0
1.76/1.84 c Pricers : ExecTime SetupTime Calls Vars
1.76/1.84 c problem variables: 0.00 - 647 213
1.76/1.84 c Branching Rules : ExecTime SetupTime BranchLP BranchExt BranchPS Cutoffs DomReds Cuts Conss Children
1.76/1.84 c allfullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
1.76/1.84 c cloud : 0.00 0.00 0 0 0 0 0 0 0 0
1.76/1.84 c distribution : 0.00 0.00 0 0 0 0 0 0 0 0
1.76/1.84 c fullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
1.76/1.84 c gomory : 0.00 0.00 0 0 0 0 0 0 0 0
1.76/1.84 c inference : 0.00 0.00 0 0 2 0 0 0 0 4
1.76/1.84 c leastinf : 0.00 0.00 0 0 0 0 0 0 0 0
1.76/1.84 c lookahead : 0.00 0.00 0 0 0 0 0 0 0 0
1.76/1.84 c mostinf : 0.00 0.00 0 0 0 0 0 0 0 0
1.76/1.84 c multaggr : 0.00 0.00 0 0 0 0 0 0 0 0
1.76/1.84 c nodereopt : 0.00 0.00 0 0 0 0 0 0 0 0
1.76/1.84 c pscost : 0.00 0.00 0 0 0 0 0 0 0 0
1.76/1.84 c random : 0.00 0.00 0 0 0 0 0 0 0 0
1.76/1.84 c relpscost : 0.03 0.00 268 0 0 0 7 0 0 524
1.76/1.84 c vanillafullstrong: 0.00 0.00 0 0 0 0 0 0 0 0
1.76/1.84 c Primal Heuristics : ExecTime SetupTime Calls Found Best
1.76/1.84 c LP solutions : 0.00 - - 0 0
1.76/1.84 c relax solutions : 0.00 - - 0 0
1.76/1.84 c pseudo solutions : 0.00 - - 0 0
1.76/1.84 c strong branching : 0.00 - - 0 0
1.76/1.84 c actconsdiving : 0.00 0.00 0 0 0
1.76/1.84 c adaptivediving : 0.00 0.00 1 0 0
1.76/1.84 c alns : 0.03 0.00 5 0 0
1.76/1.84 c bound : 0.00 0.00 0 0 0
1.76/1.84 c clique : 0.01 0.00 1 0 0
1.76/1.84 c coefdiving : 0.00 0.00 0 0 0
1.76/1.84 c completesol : 0.00 0.00 0 0 0
1.76/1.84 c conflictdiving : 0.01 0.00 1 0 0
1.76/1.84 c crossover : 0.00 0.00 0 0 0
1.76/1.84 c dins : 0.00 0.00 0 0 0
1.76/1.84 c distributiondivin: 0.00 0.00 1 0 0
1.76/1.84 c dps : 0.00 0.00 0 0 0
1.76/1.84 c dualval : 0.00 0.00 0 0 0
1.76/1.84 c farkasdiving : 0.03 0.00 1 0 0
1.76/1.84 c feasjump : 0.00 0.00 0 0 0
1.76/1.84 c feaspump : 0.01 0.00 1 0 0
1.76/1.84 c fixandinfer : 0.00 0.00 0 0 0
1.76/1.84 c fracdiving : 0.00 0.00 1 0 0
1.76/1.84 c gins : 0.00 0.00 0 0 0
1.76/1.84 c guideddiving : 0.00 0.00 0 0 0
1.76/1.84 c indcoefdiving : 0.00 0.00 0 0 0
1.76/1.84 c indicator : 0.00 0.00 0 0 0
1.76/1.84 c indicatordiving : 0.00 0.00 0 0 0
1.76/1.84 c indoneopt : 0.00 0.00 0 0 0
1.76/1.84 c indrounding : 0.00 0.00 0 0 0
1.76/1.84 c indtwoopt : 0.00 0.00 0 0 0
1.76/1.84 c intdiving : 0.00 0.00 0 0 0
1.76/1.84 c intshifting : 0.00 0.00 0 0 0
1.76/1.84 c linesearchdiving : 0.00 0.00 1 0 0
1.76/1.84 c localbranching : 0.00 0.00 0 0 0
1.76/1.84 c locks : 0.00 0.00 1 0 0
1.76/1.84 c lpface : 0.00 0.00 0 0 0
1.76/1.84 c mpec : 0.00 0.00 0 0 0
1.76/1.84 c multistart : 0.00 0.00 0 0 0
1.76/1.84 c mutation : 0.00 0.00 0 0 0
1.76/1.84 c nlpdiving : 0.00 0.00 0 0 0
1.76/1.84 c objpscostdiving : 0.00 0.00 1 0 0
1.76/1.84 c octane : 0.00 0.00 0 0 0
1.76/1.84 c ofins : 0.00 0.00 0 0 0
1.76/1.84 c oneopt : 0.00 0.00 2 0 0
1.76/1.84 c padm : 0.00 0.00 0 0 0
1.76/1.84 c proximity : 0.00 0.00 0 0 0
1.76/1.84 c pscostdiving : 0.00 0.00 1 0 0
1.76/1.84 c randrounding : 0.01 0.00 50 0 0
1.76/1.84 c rens : 0.01 0.00 1 0 0
1.76/1.84 c reoptsols : 0.00 0.00 0 0 0
1.76/1.84 c repair : 0.00 0.00 0 0 0
1.76/1.84 c rins : 0.05 0.00 5 0 0
1.76/1.84 c rootsoldiving : 0.00 0.00 1 0 0
1.76/1.84 c rounding : 0.00 0.00 305 0 0
1.76/1.84 c scheduler : 0.00 0.00 0 0 0
1.76/1.84 c shiftandpropagate: 0.00 0.00 0 0 0
1.76/1.84 c shifting : 0.03 0.00 86 0 0
1.76/1.84 c simplerounding : 0.00 0.00 646 1 1
1.76/1.84 c smallcard : 0.00 0.00 0 0 0
1.76/1.84 c subnlp : 0.00 0.00 0 0 0
1.76/1.84 c trivial : 0.00 0.00 2 0 0
1.76/1.84 c trivialnegation : 0.00 0.00 0 0 0
1.76/1.84 c trustregion : 0.00 0.00 0 0 0
1.76/1.84 c trysol : 0.00 0.00 0 0 0
1.76/1.84 c twoopt : 0.00 0.00 0 0 0
1.76/1.84 c undercover : 0.05 0.00 1 1 1
1.76/1.84 c vbounds : 0.01 0.00 1 2 2
1.76/1.84 c veclendiving : 0.00 0.00 1 0 0
1.76/1.84 c zeroobj : 0.00 0.00 0 0 0
1.76/1.84 c zirounding : 0.00 0.00 264 0 0
1.76/1.84 c other solutions : - - - 0 -
1.76/1.84 c LNS (Scheduler) : Calls SetupTime SolveTime SolveNodes Sols Best Exp3 Exp3-IX EpsGreedy UCB TgtFixRate Opt Inf Node Stal Sol Usr Othr Actv
1.76/1.84 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
1.76/1.84 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
1.76/1.84 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
1.76/1.84 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
1.76/1.84 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
1.76/1.84 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
1.76/1.84 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
1.76/1.84 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
1.76/1.84 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
1.76/1.84 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It ItLimit
1.76/1.84 c primal LP : 0.02 101 0 0.00 0.00 0.02 101
1.76/1.84 c dual LP : 0.19 663 3834 5.88 20471.47 0.00 11
1.76/1.84 c lex dual LP : 0.00 0 0 0.00 -
1.76/1.84 c barrier LP : 0.00 0 0 0.00 - 0.00 0
1.76/1.84 c resolve instable : 0.00 0 0 0.00 -
1.76/1.84 c diving/probing LP: 0.05 124 1551 12.51 29468.76
1.76/1.84 c strong branching : 0.02 33 340 10.30 22149.84 - - 1
1.76/1.84 c (at root node) : - 6 135 22.50 -
1.76/1.84 c conflict analysis: 0.00 1 10 10.00 -
1.76/1.84 c B&B Tree :
1.76/1.84 c number of runs : 1
1.76/1.84 c nodes : 338 (264 internal, 74 leaves)
1.76/1.84 c feasible leaves : 0
1.76/1.84 c infeas. leaves : 74
1.76/1.84 c objective leaves : 0
1.76/1.84 c nodes (total) : 338 (264 internal, 74 leaves)
1.76/1.84 c nodes left : 0
1.76/1.84 c max depth : 53
1.76/1.84 c max depth (total): 53
1.76/1.84 c backtracks : 36 (10.7%)
1.76/1.84 c early backtracks : 0 (0.0%)
1.76/1.84 c nodes exc. ref. : 0 (0.0%)
1.76/1.84 c delayed cutoffs : 3
1.76/1.84 c repropagations : 16 (92 domain reductions, 3 cutoffs)
1.76/1.84 c avg switch length: 2.74
1.76/1.84 c switching time : 0.03
1.76/1.84 c Root Node :
1.76/1.84 c First LP value : +3.00000000000000e+00
1.76/1.84 c First LP Iters : 19 (18446.60 Iter/sec)
1.76/1.84 c First LP Time : 0.00
1.76/1.84 c Final Dual Bound : +3.00000000000000e+00
1.76/1.84 c Final Root Iters : 430
1.76/1.84 c Root LP Estimate : +3.00357877430647e+00
1.76/1.84 c Solution :
1.76/1.84 c Solutions found : 4 (4 improvements)
1.76/1.84 c First Solution : +6.50000000000000e+01 (in run 1, after 1 nodes, 0.03 seconds, depth 76, found by <vbounds>)
1.76/1.84 c Gap First Sol. : 6400.00 %
1.76/1.84 c Gap Last Sol. : 0.00 %
1.76/1.84 c Primal Bound : +3.00000000000000e+00 (in run 1, after 338 nodes, 1.82 seconds, depth 50, found by <simplerounding>)
1.76/1.84 c Dual Bound : +3.00000000000000e+00
1.76/1.84 c Gap : 0.00 %
1.76/1.84 c Integrals : Total Avg%
1.76/1.84 c primal-dual : 170.15 93.21
1.76/1.84 c primal-ref : - - (not evaluated)
1.76/1.84 c dual-ref : - - (not evaluated)
1.76/1.86 c Time complete: 1.82546.