0.00/0.16 c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.0.0] [GitHash: 405ed0d46f]
0.00/0.16 c Copyright (c) 2002-2024 Zuse Institute Berlin (ZIB)
0.00/0.16 c
0.00/0.16 c user parameter file <scip.set> not found - using default parameters
0.00/0.16 c reading problem <HOME/instance-4459656-1721939462.opb>
0.00/0.16 c original problem has 324 variables (81 bin, 0 int, 243 impl, 0 cont) and 253 constraints
0.00/0.16 c problem read in 0.00
0.00/0.16 c presolving:
0.00/0.16 c (round 1, fast) 10 del vars, 0 del conss, 3 add conss, 0 chg bounds, 0 chg sides, 28 chg coeffs, 0 upgd conss, 0 impls, 432 clqs
0.00/0.16 c (round 2, fast) 64 del vars, 48 del conss, 6 add conss, 0 chg bounds, 0 chg sides, 76 chg coeffs, 0 upgd conss, 0 impls, 384 clqs
0.00/0.16 c (round 3, exhaustive) 65 del vars, 48 del conss, 6 add conss, 0 chg bounds, 0 chg sides, 76 chg coeffs, 0 upgd conss, 0 impls, 383 clqs
0.00/0.16 c (round 4, fast) 66 del vars, 51 del conss, 7 add conss, 0 chg bounds, 0 chg sides, 76 chg coeffs, 1 upgd conss, 0 impls, 382 clqs
0.00/0.16 c (round 5, fast) 67 del vars, 53 del conss, 8 add conss, 0 chg bounds, 0 chg sides, 77 chg coeffs, 1 upgd conss, 0 impls, 381 clqs
0.00/0.16 c (round 6, fast) 67 del vars, 53 del conss, 8 add conss, 0 chg bounds, 1 chg sides, 78 chg coeffs, 1 upgd conss, 0 impls, 381 clqs
0.00/0.16 c (round 7, exhaustive) 67 del vars, 54 del conss, 8 add conss, 0 chg bounds, 1 chg sides, 78 chg coeffs, 1 upgd conss, 0 impls, 381 clqs
0.00/0.16 c (round 8, exhaustive) 67 del vars, 57 del conss, 8 add conss, 0 chg bounds, 1 chg sides, 78 chg coeffs, 1 upgd conss, 0 impls, 381 clqs
0.00/0.16 c (round 9, exhaustive) 67 del vars, 57 del conss, 8 add conss, 0 chg bounds, 1 chg sides, 78 chg coeffs, 8 upgd conss, 0 impls, 381 clqs
0.00/0.16 c (round 10, exhaustive) 67 del vars, 57 del conss, 8 add conss, 0 chg bounds, 1 chg sides, 79 chg coeffs, 8 upgd conss, 0 impls, 381 clqs
0.00/0.17 c (0.0s) probing cycle finished: starting next cycle
0.00/0.17 c (0.0s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
0.00/0.17 c (0.0s) no symmetry present (symcode time: 0.00)
0.00/0.17 c presolving (11 rounds: 11 fast, 6 medium, 6 exhaustive):
0.00/0.17 c 67 deleted vars, 57 deleted constraints, 8 added constraints, 0 tightened bounds, 0 added holes, 1 changed sides, 79 changed coefficients
0.00/0.17 c 0 implications, 435 cliques
0.00/0.17 c presolved problem has 263 variables (73 bin, 0 int, 190 impl, 0 cont) and 204 constraints
0.00/0.17 c 1 constraints of type <setppc>
0.00/0.17 c 190 constraints of type <and>
0.00/0.17 c 3 constraints of type <linear>
0.00/0.17 c 7 constraints of type <logicor>
0.00/0.17 c 3 constraints of type <pseudoboolean>
0.00/0.17 c transformed objective value is always integral (scale: 2)
0.00/0.17 c Presolving Time: 0.01
0.00/0.17 c - non default parameters ----------------------------------------------------------------------
0.00/0.17 c # SCIP version 10.0.0
0.00/0.17 c
0.00/0.17 c # maximal time in seconds to run
0.00/0.17 c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
0.00/0.17 c limits/time = 3596.998015
0.00/0.17 c
0.00/0.17 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.17 c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
0.00/0.17 c limits/memory = 27900
0.00/0.17 c
0.00/0.17 c # belongs reading time to solving time?
0.00/0.17 c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
0.00/0.17 c timing/reading = TRUE
0.00/0.17 c
0.00/0.17 c -----------------------------------------------------------------------------------------------
0.00/0.17 c start solving
0.00/0.17 c
0.00/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.00/0.19 c 0.0s| 1 | 0 | 13 | - | 4536k | 0 | 263 | 206 | 391 | 0 | 0 | 1 | 0 | 3.000000e+00 | -- | Inf | unknown
0.03/0.22 o 171
0.03/0.22 c L 0.1s| 1 | 0 | 488 | - |undercov| 0 | 263 | 207 | 391 | 0 | 0 | 2 | 0 | 3.000000e+00 | 1.710000e+02 |5600.00%| unknown
0.03/0.23 c 0.1s| 1 | 0 | 508 | - | 4950k | 0 | 263 | 207 | 379 | 4 | 1 | 2 | 0 | 3.000000e+00 | 1.710000e+02 |5600.00%| unknown
0.03/0.24 c 0.1s| 1 | 0 | 516 | - | 5085k | 0 | 263 | 207 | 382 | 7 | 2 | 2 | 0 | 3.000000e+00 | 1.710000e+02 |5600.00%| unknown
0.03/0.24 c 0.1s| 1 | 0 | 533 | - | 5458k | 0 | 263 | 207 | 387 | 12 | 3 | 2 | 0 | 3.000000e+00 | 1.710000e+02 |5600.00%| unknown
0.03/0.26 c 0.1s| 1 | 0 | 541 | - | 6109k | 0 | 263 | 206 | 392 | 17 | 4 | 2 | 0 | 3.000000e+00 | 1.710000e+02 |5600.00%| unknown
0.03/0.29 c 0.1s| 1 | 0 | 557 | - | 6493k | 0 | 263 | 206 | 400 | 25 | 5 | 2 | 0 | 3.000000e+00 | 1.710000e+02 |5600.00%| unknown
0.03/0.30 c 0.1s| 1 | 0 | 569 | - | 6910k | 0 | 263 | 206 | 407 | 32 | 6 | 2 | 0 | 3.000000e+00 | 1.710000e+02 |5600.00%| unknown
0.12/0.32 c 0.2s| 1 | 0 | 587 | - | 7304k | 0 | 263 | 206 | 411 | 36 | 7 | 2 | 0 | 3.000000e+00 | 1.710000e+02 |5600.00%| unknown
0.12/0.33 c 0.2s| 1 | 0 | 600 | - | 7416k | 0 | 263 | 206 | 418 | 43 | 8 | 2 | 0 | 3.000000e+00 | 1.710000e+02 |5600.00%| unknown
0.12/0.34 c 0.2s| 1 | 0 | 620 | - | 7763k | 0 | 263 | 206 | 72 | 50 | 9 | 2 | 0 | 3.000000e+00 | 1.710000e+02 |5600.00%| unknown
0.12/0.34 c 0.2s| 1 | 0 | 620 | - | 7763k | 0 | 263 | 206 | 72 | 50 | 9 | 2 | 0 | 3.000000e+00 | 1.710000e+02 |5600.00%| unknown
0.12/0.36 c 0.2s| 1 | 0 | 637 | - | 7934k | 0 | 263 | 206 | 80 | 58 | 10 | 2 | 0 | 3.000000e+00 | 1.710000e+02 |5600.00%| unknown
0.12/0.36 c 0.2s| 1 | 0 | 643 | - | 8157k | 0 | 263 | 206 | 82 | 60 | 11 | 2 | 0 | 3.000000e+00 | 1.710000e+02 |5600.00%| unknown
0.12/0.36 c 0.2s| 1 | 0 | 643 | - | 8158k | 0 | 263 | 201 | 85 | 60 | 11 | 2 | 0 | 3.000000e+00 | 1.710000e+02 |5600.00%| unknown
0.12/0.37 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
0.12/0.37 c 0.2s| 1 | 0 | 655 | - | 8167k | 0 | 263 | 201 | 89 | 64 | 12 | 2 | 0 | 3.000000e+00 | 1.710000e+02 |5600.00%| unknown
0.12/0.38 c 0.2s| 1 | 0 | 660 | - | 8242k | 0 | 263 | 201 | 94 | 69 | 13 | 2 | 0 | 3.000000e+00 | 1.710000e+02 |5600.00%| unknown
0.12/0.39 c 0.2s| 1 | 0 | 663 | - | 8252k | 0 | 263 | 201 | 96 | 71 | 14 | 2 | 0 | 3.000000e+00 | 1.710000e+02 |5600.00%| unknown
0.12/0.40 c 0.2s| 1 | 0 | 665 | - | 8262k | 0 | 263 | 201 | 74 | 73 | 15 | 2 | 0 | 3.000000e+00 | 1.710000e+02 |5600.00%| unknown
0.12/0.40 c 0.2s| 1 | 0 | 665 | - | 8262k | 0 | 263 | 201 | 74 | 73 | 15 | 2 | 0 | 3.000000e+00 | 1.710000e+02 |5600.00%| unknown
0.21/0.41 c 0.3s| 1 | 0 | 672 | - | 8269k | 0 | 263 | 201 | 78 | 77 | 16 | 2 | 0 | 3.000000e+00 | 1.710000e+02 |5600.00%| unknown
0.21/0.42 c 0.3s| 1 | 0 | 678 | - | 8277k | 0 | 263 | 201 | 81 | 80 | 17 | 2 | 0 | 3.000000e+00 | 1.710000e+02 |5600.00%| unknown
0.21/0.43 c 0.3s| 1 | 0 | 691 | - | 8285k | 0 | 263 | 201 | 84 | 83 | 18 | 2 | 0 | 3.000000e+00 | 1.710000e+02 |5600.00%| unknown
0.21/0.44 c 0.3s| 1 | 0 | 701 | - | 8294k | 0 | 263 | 201 | 94 | 93 | 19 | 2 | 0 | 3.000000e+00 | 1.710000e+02 |5600.00%| unknown
0.21/0.46 c 0.3s| 1 | 0 | 709 | - | 8294k | 0 | 263 | 201 | 97 | 96 | 20 | 2 | 0 | 3.000000e+00 | 1.710000e+02 |5600.00%| unknown
0.21/0.46 c 0.3s| 1 | 0 | 713 | - | 8294k | 0 | 263 | 201 | 72 | 98 | 21 | 2 | 0 | 3.000000e+00 | 1.710000e+02 |5600.00%| unknown
0.21/0.46 c 0.3s| 1 | 0 | 713 | - | 8294k | 0 | 263 | 201 | 72 | 98 | 21 | 2 | 0 | 3.000000e+00 | 1.710000e+02 |5600.00%| unknown
0.21/0.47 c 0.3s| 1 | 0 | 715 | - | 8294k | 0 | 263 | 201 | 75 | 101 | 22 | 2 | 0 | 3.000000e+00 | 1.710000e+02 |5600.00%| unknown
0.21/0.49 o 3
0.21/0.49 c L 0.3s| 1 | 0 | 1035 | - | rens| 0 | 263 | 209 | 75 | 101 | 22 | 10 | 0 | 3.000000e+00 | 3.000000e+00 | 0.00%| unknown
0.21/0.49 c 0.3s| 1 | 0 | 1035 | - | 8300k | 0 | 263 | 209 | 75 | 101 | 22 | 10 | 0 | 3.000000e+00 | 3.000000e+00 | 0.00%| unknown
0.21/0.49 c
0.21/0.49 c SCIP Status : problem is solved [optimal solution found]
0.21/0.49 c Solving Time (sec) : 0.33
0.21/0.49 c Solving Nodes : 1
0.21/0.49 c Primal Bound : +3.00000000000000e+00 (2 solutions)
0.21/0.49 c Dual Bound : +3.00000000000000e+00
0.21/0.49 c Gap : 0.00 %
0.21/0.49 s OPTIMUM FOUND
0.21/0.49 v -x81 -x80 -x79 -x78 -x77 -x76 -x75 -x74 -x73 -x72 -x71 -x70 -x69 -x68 -x67 -x66 -x65 -x64 -x54 -x53 -x52 -x51 x50 x49 -x48 x47
0.21/0.49 v x46 -x63 -x62 -x61 -x60 -x59 -x58 -x57 -x56 -x55 -x45 -x44 -x43 -x42 -x41 x40 -x39 -x38 x37 -x36 -x35 -x34 -x33 -x32 x31 -x30
0.21/0.49 v -x29 x28 -x27 -x26 -x25 -x24 -x23 -x22 -x21 x20 x19 -x18 -x17 -x16 -x15 -x14 -x13 -x12 x11 x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 x2
0.21/0.49 v x1
0.21/0.49 c SCIP Status : problem is solved [optimal solution found]
0.21/0.49 c Total Time : 0.33
0.21/0.49 c solving : 0.33
0.21/0.49 c presolving : 0.01 (included in solving)
0.21/0.49 c reading : 0.00 (included in solving)
0.21/0.49 c copying : 0.01 (3 #copies) (minimal 0.00, maximal 0.00, average 0.00)
0.21/0.49 c Original Problem :
0.21/0.49 c Problem name : HOME/instance-4459656-1721939462.opb
0.21/0.49 c Variables : 324 (81 binary, 0 integer, 243 implicit integer, 0 continuous)
0.21/0.49 c Constraints : 253 initial, 253 maximal
0.21/0.49 c Objective : minimize, 9 non-zeros (abs.min = 1, abs.max = 256)
0.21/0.49 c Presolved Problem :
0.21/0.49 c Problem name : t_HOME/instance-4459656-1721939462.opb
0.21/0.49 c Variables : 263 (73 binary, 0 integer, 190 implicit integer, 0 continuous)
0.21/0.49 c Constraints : 204 initial, 209 maximal
0.21/0.49 c Objective : minimize, 8 non-zeros (abs.min = 1, abs.max = 128)
0.21/0.49 c Nonzeros : 1550 constraint, 834 clique table
0.21/0.49 c Presolvers : ExecTime SetupTime Calls FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
0.21/0.49 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
0.21/0.49 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
0.21/0.49 c domcol : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
0.21/0.49 c dualagg : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
0.21/0.49 c dualcomp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
0.21/0.49 c dualinfer : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
0.21/0.49 c dualsparsify : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
0.21/0.49 c gateextraction : 0.00 0.00 2 0 0 0 0 0 0 0 0 0
0.21/0.49 c implics : 0.00 0.00 6 0 0 0 0 0 0 0 0 0
0.21/0.49 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
0.21/0.49 c milp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
0.21/0.49 c qpkktref : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
0.21/0.49 c redvub : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
0.21/0.49 c sparsify : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
0.21/0.49 c stuffing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
0.21/0.49 c trivial : 0.00 0.00 11 6 0 0 0 0 0 0 0 0
0.21/0.49 c tworowbnd : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
0.21/0.49 c dualfix : 0.00 0.00 11 0 0 0 0 0 0 0 0 0
0.21/0.49 c genvbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
0.21/0.49 c probing : 0.01 0.00 1 0 0 0 0 0 0 0 0 0
0.21/0.49 c pseudoobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
0.21/0.49 c symmetry : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
0.21/0.49 c vbounds : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
0.21/0.49 c setppc : 0.00 0.00 19 0 0 0 0 0 3 0 0 0
0.21/0.49 c and : 0.00 0.00 16 1 49 0 0 0 49 0 0 49
0.21/0.49 c linear : 0.00 0.00 15 1 4 0 0 0 5 8 1 29
0.21/0.49 c logicor : 0.00 0.00 6 0 0 0 0 0 0 0 0 1
0.21/0.49 c benders : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
0.21/0.49 c pseudoboolean : 0.00 0.00 6 0 0 0 0 0 0 0 0 0
0.21/0.49 c components : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
0.21/0.49 c root node : - - - 10 - - 10 - - - - -
0.21/0.49 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoRelax #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Applied Conss Children
0.21/0.49 c benderslp : 0 0 0 0 0 0 0 41 0 0 0 0 0 0 0
0.21/0.49 c integral : 0 0 0 0 0 0 0 41 0 0 0 0 0 0 0
0.21/0.49 c setppc : 1 1 22 1034 0 0 0 0 0 0 0 0 0 0 0
0.21/0.49 c and : 190 190 22 1562 0 0 0 0 223 4 0 41 7 0 0
0.21/0.49 c linear : 3+ 6 22 1557 0 0 0 38 69 18 0 0 0 0 0
0.21/0.49 c logicor : 7+ 17 22 278 0 0 0 9 2 1 0 0 0 0 0
0.21/0.49 c benders : 0 0 0 0 0 0 0 11 0 0 0 0 0 0 0
0.21/0.49 c pseudoboolean : 3 3 0 0 0 0 0 9 0 0 0 0 0 0 0
0.21/0.49 c fixedvar : 0 0 0 0 0 0 0 4 0 0 0 0 0 0 0
0.21/0.49 c countsols : 0 0 0 0 0 0 0 4 0 0 0 0 0 0 0
0.21/0.49 c components : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
0.21/0.49 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS EnfoRelax Check ResProp SB-Prop
0.21/0.49 c benderslp : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
0.21/0.49 c integral : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
0.21/0.49 c setppc : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
0.21/0.49 c and : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
0.21/0.49 c linear : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
0.21/0.49 c logicor : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
0.21/0.49 c benders : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
0.21/0.49 c pseudoboolean : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
0.21/0.49 c fixedvar : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
0.21/0.49 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
0.21/0.49 c components : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
0.21/0.49 c Propagators : #Propagate #ResProp Cutoffs DomReds
0.21/0.49 c dualfix : 2 0 0 0
0.21/0.49 c genvbounds : 0 0 0 0
0.21/0.49 c nlobbt : 0 0 0 0
0.21/0.49 c obbt : 0 0 0 0
0.21/0.49 c probing : 0 0 0 0
0.21/0.49 c pseudoobj : 28 0 0 0
0.21/0.49 c redcost : 26 0 0 0
0.21/0.49 c rootredcost : 0 0 0 0
0.21/0.49 c symmetry : 0 0 0 0
0.21/0.49 c vbounds : 525 0 0 0
0.21/0.49 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp SB-Prop
0.21/0.49 c dualfix : 0.00 0.00 0.00 0.00 0.00 0.00
0.21/0.49 c genvbounds : 0.00 0.00 0.00 0.00 0.00 0.00
0.21/0.49 c nlobbt : 0.00 0.00 0.00 0.00 0.00 0.00
0.21/0.49 c obbt : 0.00 0.00 0.00 0.00 0.00 0.00
0.21/0.49 c probing : 0.01 0.00 0.01 0.00 0.00 0.00
0.21/0.49 c pseudoobj : 0.00 0.00 0.00 0.00 0.00 0.00
0.21/0.49 c redcost : 0.00 0.00 0.00 0.00 0.00 0.00
0.21/0.49 c rootredcost : 0.00 0.00 0.00 0.00 0.00 0.00
0.21/0.49 c symmetry : 0.00 0.00 0.00 0.00 0.00 0.00
0.21/0.49 c vbounds : 0.00 0.00 0.00 0.00 0.00 0.00
0.21/0.49 c Symmetry :
0.21/0.49 c orbitopal red. : 0 reductions applied, 0 cutoffs
0.21/0.49 c orbital reduction: 0 reductions applied, 0 cutoffs
0.21/0.49 c lexicographic red: 0 reductions applied, 0 cutoffs
0.21/0.49 c shadow tree time : 0.00 s
0.21/0.49 c Conflict Analysis : Time Calls Success DomReds Conflicts Literals Reconvs ReconvLits Dualrays Nonzeros LP Iters (pool size: [10000,10000])
0.21/0.49 c propagation : 0.00 5 5 - 33 36.5 1 79.0 - - -
0.21/0.49 c infeasible LP : 0.00 0 0 - 0 0.0 0 0.0 0 0.0 0
0.21/0.49 c bound exceed. LP : 0.00 0 0 - 0 0.0 0 0.0 0 0.0 0
0.21/0.49 c strong branching : 0.00 0 0 - 0 0.0 0 0.0 - - 0
0.21/0.49 c pseudo solution : 0.00 0 0 - 0 0.0 0 0.0 - - -
0.21/0.49 c applied globally : 0.00 - - 0 10 16.0 - - 0 - -
0.21/0.49 c applied locally : - - - 0 0 0.0 - - 0 - -
0.21/0.49 c Separators : ExecTime SetupTime Calls RootCalls Cutoffs DomReds FoundCuts ViaPoolAdd DirectAdd Applied ViaPoolApp DirectApp Conss
0.21/0.49 c cut pool : 0.00 - 43 43 - - 392 549 - - - - - (maximal pool size: 391)
0.21/0.49 c aggregation : 0.13 0.00 22 22 0 0 162 231 0 49 49 0 0
0.21/0.49 c > cmir : - - - - - - - 156 0 24 24 0 -
0.21/0.49 c > flowcover : - - - - - - - 62 0 17 17 0 -
0.21/0.49 c > knapsackcover : - - - - - - - 13 0 8 8 0 -
0.21/0.49 c cgmip : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
0.21/0.49 c clique : 0.00 0.00 22 22 0 0 0 0 0 0 0 0 0
0.21/0.49 c closecuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
0.21/0.49 c convexproj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
0.21/0.49 c disjunctive : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
0.21/0.49 c eccuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
0.21/0.49 c gauge : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
0.21/0.49 c gomory : 0.08 0.00 10 10 0 0 183 258 0 13 13 0 0
0.21/0.49 c > gomorymi : - - - - - - - 140 0 4 4 0 -
0.21/0.49 c > strongcg : - - - - - - - 118 0 9 9 0 -
0.21/0.49 c impliedbounds : 0.00 0.00 22 22 0 0 22 25 0 18 18 0 0
0.21/0.49 c interminor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
0.21/0.49 c intobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
0.21/0.49 c lagromory : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
0.21/0.49 c mcf : 0.00 0.00 1 1 0 0 0 0 0 0 0 0 0
0.21/0.49 c minor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
0.21/0.49 c mixing : 0.00 0.00 22 22 0 0 0 0 0 0 0 0 0
0.21/0.49 c multilinear : 0.00 0.00 22 22 0 0 0 0 0 0 0 0 0
0.21/0.49 c oddcycle : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
0.21/0.49 c rapidlearning : 0.01 0.00 1 1 0 10 0 0 0 0 0 0 0
0.21/0.49 c rlt : 0.01 0.00 10 10 0 0 14 16 0 11 11 0 0
0.21/0.49 c zerohalf : 0.00 0.00 20 20 0 0 10 19 0 3 3 0 0
0.21/0.49 c Cutselectors : ExecTime SetupTime Calls RootCalls Selected Forced Filtered RootSelec RootForc RootFilt
0.21/0.49 c hybrid : 0.00 0.00 22 22 101 0 489 101 0 489
0.21/0.49 c ensemble : 0.00 0.00 0 0 0 0 0 0 0 0
0.21/0.49 c dynamic : 0.00 0.00 0 0 0 0 0 0 0 0
0.21/0.49 c Pricers : ExecTime SetupTime Calls Vars
0.21/0.49 c problem variables: 0.00 - 18 167
0.21/0.49 c Branching Rules : ExecTime SetupTime BranchLP BranchExt BranchPS Cutoffs DomReds Cuts Conss Children
0.21/0.49 c allfullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
0.21/0.49 c cloud : 0.00 0.00 0 0 0 0 0 0 0 0
0.21/0.49 c distribution : 0.00 0.00 0 0 0 0 0 0 0 0
0.21/0.49 c fullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
0.21/0.49 c gomory : 0.00 0.00 0 0 0 0 0 0 0 0
0.21/0.49 c inference : 0.00 0.00 0 0 0 0 0 0 0 0
0.21/0.49 c leastinf : 0.00 0.00 0 0 0 0 0 0 0 0
0.21/0.49 c lookahead : 0.00 0.00 0 0 0 0 0 0 0 0
0.21/0.49 c mostinf : 0.00 0.00 0 0 0 0 0 0 0 0
0.21/0.49 c multaggr : 0.00 0.00 0 0 0 0 0 0 0 0
0.21/0.49 c nodereopt : 0.00 0.00 0 0 0 0 0 0 0 0
0.21/0.49 c pscost : 0.00 0.00 0 0 0 0 0 0 0 0
0.21/0.49 c random : 0.00 0.00 0 0 0 0 0 0 0 0
0.21/0.49 c relpscost : 0.00 0.00 0 0 0 0 0 0 0 0
0.21/0.49 c vanillafullstrong: 0.00 0.00 0 0 0 0 0 0 0 0
0.21/0.49 c Primal Heuristics : ExecTime SetupTime Calls Found Best
0.21/0.49 c LP solutions : 0.00 - - 0 0
0.21/0.49 c relax solutions : 0.00 - - 0 0
0.21/0.49 c pseudo solutions : 0.00 - - 0 0
0.21/0.49 c strong branching : 0.00 - - 0 0
0.21/0.49 c actconsdiving : 0.00 0.00 0 0 0
0.21/0.49 c adaptivediving : 0.00 0.00 0 0 0
0.21/0.49 c alns : 0.00 0.00 0 0 0
0.21/0.49 c bound : 0.00 0.00 0 0 0
0.21/0.49 c clique : 0.00 0.00 1 0 0
0.21/0.49 c coefdiving : 0.00 0.00 0 0 0
0.21/0.49 c completesol : 0.00 0.00 0 0 0
0.21/0.49 c conflictdiving : 0.00 0.00 1 0 0
0.21/0.49 c crossover : 0.00 0.00 0 0 0
0.21/0.49 c dins : 0.00 0.00 0 0 0
0.21/0.49 c distributiondivin: 0.00 0.00 0 0 0
0.21/0.49 c dps : 0.00 0.00 0 0 0
0.21/0.49 c dualval : 0.00 0.00 0 0 0
0.21/0.49 c farkasdiving : 0.01 0.00 1 0 0
0.21/0.49 c feasjump : 0.02 0.00 1 0 0
0.21/0.49 c feaspump : 0.00 0.00 1 0 0
0.21/0.49 c fixandinfer : 0.00 0.00 0 0 0
0.21/0.49 c fracdiving : 0.00 0.00 0 0 0
0.21/0.49 c gins : 0.00 0.00 0 0 0
0.21/0.49 c guideddiving : 0.00 0.00 0 0 0
0.21/0.49 c indcoefdiving : 0.00 0.00 0 0 0
0.21/0.49 c indicator : 0.00 0.00 0 0 0
0.21/0.49 c indicatordiving : 0.00 0.00 0 0 0
0.21/0.49 c indoneopt : 0.00 0.00 0 0 0
0.21/0.49 c indrounding : 0.00 0.00 0 0 0
0.21/0.49 c indtwoopt : 0.00 0.00 0 0 0
0.21/0.49 c intdiving : 0.00 0.00 0 0 0
0.21/0.49 c intshifting : 0.00 0.00 0 0 0
0.21/0.49 c linesearchdiving : 0.00 0.00 0 0 0
0.21/0.49 c localbranching : 0.00 0.00 0 0 0
0.21/0.49 c locks : 0.00 0.00 1 0 0
0.21/0.49 c lpface : 0.00 0.00 0 0 0
0.21/0.49 c mpec : 0.00 0.00 0 0 0
0.21/0.49 c multistart : 0.00 0.00 0 0 0
0.21/0.49 c mutation : 0.00 0.00 0 0 0
0.21/0.49 c nlpdiving : 0.00 0.00 0 0 0
0.21/0.49 c objpscostdiving : 0.00 0.00 0 0 0
0.21/0.49 c octane : 0.00 0.00 0 0 0
0.21/0.49 c ofins : 0.00 0.00 0 0 0
0.21/0.49 c oneopt : 0.00 0.00 1 0 0
0.21/0.49 c padm : 0.00 0.00 0 0 0
0.21/0.49 c proximity : 0.00 0.00 0 0 0
0.21/0.49 c pscostdiving : 0.00 0.00 0 0 0
0.21/0.49 c randrounding : 0.00 0.00 23 0 0
0.21/0.49 c rens : 0.00 0.00 1 1 1
0.21/0.49 c reoptsols : 0.00 0.00 0 0 0
0.21/0.49 c repair : 0.00 0.00 0 0 0
0.21/0.49 c rins : 0.00 0.00 0 0 0
0.21/0.49 c rootsoldiving : 0.00 0.00 0 0 0
0.21/0.49 c rounding : 0.00 0.00 23 0 0
0.21/0.49 c scheduler : 0.00 0.00 0 0 0
0.21/0.49 c shiftandpropagate: 0.00 0.00 1 0 0
0.21/0.49 c shifting : 0.01 0.00 23 0 0
0.21/0.49 c simplerounding : 0.00 0.00 18 0 0
0.21/0.49 c smallcard : 0.00 0.00 0 0 0
0.21/0.49 c subnlp : 0.00 0.00 0 0 0
0.21/0.49 c trivial : 0.00 0.00 2 0 0
0.21/0.49 c trivialnegation : 0.00 0.00 0 0 0
0.21/0.49 c trustregion : 0.00 0.00 0 0 0
0.21/0.49 c trysol : 0.00 0.00 0 0 0
0.21/0.49 c twoopt : 0.00 0.00 0 0 0
0.21/0.49 c undercover : 0.03 0.00 1 1 1
0.21/0.49 c vbounds : 0.00 0.00 1 0 0
0.21/0.49 c veclendiving : 0.00 0.00 0 0 0
0.21/0.49 c zeroobj : 0.00 0.00 0 0 0
0.21/0.49 c zirounding : 0.00 0.00 1 0 0
0.21/0.49 c other solutions : - - - 0 -
0.21/0.49 c LNS (Scheduler) : Calls SetupTime SolveTime SolveNodes Sols Best Exp3 Exp3-IX EpsGreedy UCB TgtFixRate Opt Inf Node Stal Sol Usr Othr Actv
0.21/0.49 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
0.21/0.49 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
0.21/0.49 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
0.21/0.49 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
0.21/0.49 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
0.21/0.49 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
0.21/0.49 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
0.21/0.49 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
0.21/0.49 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.21/0.49 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It ItLimit
0.21/0.49 c primal LP : 0.00 3 0 0.00 - 0.00 3
0.21/0.49 c dual LP : 0.01 28 240 10.00 - 0.00 4
0.21/0.49 c lex dual LP : 0.00 0 0 0.00 -
0.21/0.49 c barrier LP : 0.00 0 0 0.00 - 0.00 0
0.21/0.49 c resolve instable : 0.00 0 0 0.00 -
0.21/0.49 c diving/probing LP: 0.01 64 795 12.42 -
0.21/0.49 c strong branching : 0.00 0 0 0.00 - - - 0
0.21/0.49 c (at root node) : - 0 0 0.00 -
0.21/0.49 c conflict analysis: 0.00 0 0 0.00 -
0.21/0.49 c B&B Tree :
0.21/0.49 c number of runs : 1
0.21/0.49 c nodes : 1 (0 internal, 1 leaves)
0.21/0.49 c feasible leaves : 0
0.21/0.49 c infeas. leaves : 0
0.21/0.49 c objective leaves : 0
0.21/0.49 c nodes (total) : 1 (0 internal, 1 leaves)
0.21/0.49 c nodes left : 0
0.21/0.49 c max depth : 0
0.21/0.49 c max depth (total): 0
0.21/0.49 c backtracks : 0 (0.0%)
0.21/0.49 c early backtracks : 0 (0.0%)
0.21/0.49 c nodes exc. ref. : 0 (0.0%)
0.21/0.49 c delayed cutoffs : 0
0.21/0.49 c repropagations : 0 (0 domain reductions, 0 cutoffs)
0.21/0.49 c avg switch length: 2.00
0.21/0.49 c switching time : 0.00
0.21/0.49 c Root Node :
0.21/0.49 c First LP value : +3.00000000000000e+00
0.21/0.49 c First LP Iters : 13 (33248.08 Iter/sec)
0.21/0.49 c First LP Time : 0.00
0.21/0.49 c Final Dual Bound : +3.00000000000000e+00
0.21/0.49 c Final Root Iters : 715
0.21/0.49 c Root LP Estimate : -
0.21/0.49 c Solution :
0.21/0.49 c Solutions found : 2 (2 improvements)
0.21/0.49 c First Solution : +1.71000000000000e+02 (in run 1, after 1 nodes, 0.06 seconds, depth 0, found by <undercover>)
0.21/0.49 c Gap First Sol. : 5600.00 %
0.21/0.49 c Gap Last Sol. : 0.00 %
0.21/0.49 c Primal Bound : +3.00000000000000e+00 (in run 1, after 1 nodes, 0.33 seconds, depth 0, found by <rens>)
0.21/0.49 c Dual Bound : +3.00000000000000e+00
0.21/0.49 c Gap : 0.00 %
0.21/0.49 c Integrals : Total Avg%
0.21/0.49 c primal-dual : 32.18 98.43
0.21/0.49 c primal-ref : - - (not evaluated)
0.21/0.49 c dual-ref : - - (not evaluated)
0.21/0.49 c Time complete: 0.303054.