0.00/0.00 c SCIP version 2.1.1.4 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.6.0.3] [GitHash: a3bf3a4-dirty]
0.00/0.00 c Copyright (c) 2002-2012 Konrad-Zuse-Zentrum fuer Informationstechnik 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-3717529-1338194241.wbo>
0.00/0.00 c original problem has 240 variables (240 bin, 0 int, 0 impl, 0 cont) and 128 constraints
0.00/0.00 c problem read in 0.00
0.00/0.00 c presolving:
0.00/0.01 c (round 1) 1 del vars, 2 del conss, 0 add conss, 1 chg bounds, 27 chg sides, 54 chg coeffs, 0 upgd conss, 48 impls, 0 clqs
0.00/0.01 c (round 2) 1 del vars, 3 del conss, 0 add conss, 1 chg bounds, 27 chg sides, 54 chg coeffs, 0 upgd conss, 48 impls, 0 clqs
0.00/0.01 c (round 3) 1 del vars, 3 del conss, 0 add conss, 89 chg bounds, 27 chg sides, 54 chg coeffs, 0 upgd conss, 48 impls, 0 clqs
0.00/0.01 c (round 4) 1 del vars, 3 del conss, 0 add conss, 89 chg bounds, 27 chg sides, 54 chg coeffs, 37 upgd conss, 48 impls, 0 clqs
0.00/0.01 c (round 5) 1 del vars, 3 del conss, 2 add conss, 89 chg bounds, 29 chg sides, 58 chg coeffs, 37 upgd conss, 52 impls, 0 clqs
0.00/0.01 c (0.0s) probing: 51/239 (21.3%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.00/0.01 c (0.0s) probing aborted: 50/50 successive totally useless probings
0.00/0.01 c (round 6) 1 del vars, 6 del conss, 3 add conss, 89 chg bounds, 29 chg sides, 58 chg coeffs, 37 upgd conss, 52 impls, 0 clqs
0.00/0.01 c presolving (7 rounds):
0.00/0.01 c 1 deleted vars, 6 deleted constraints, 3 added constraints, 89 tightened bounds, 0 added holes, 29 changed sides, 58 changed coefficients
0.00/0.01 c 140 implications, 0 cliques
0.00/0.01 c presolved problem has 327 variables (239 bin, 0 int, 88 impl, 0 cont) and 213 constraints
0.00/0.01 c 12 constraints of type <knapsack>
0.00/0.01 c 18 constraints of type <setppc>
0.00/0.01 c 1 constraints of type <and>
0.00/0.01 c 88 constraints of type <linear>
0.00/0.01 c 88 constraints of type <indicator>
0.00/0.01 c 6 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 2.1.1.4
0.00/0.01 c
0.00/0.01 c # maximal time in seconds to run
0.00/0.01 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.01 c limits/time = 1797
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, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.01 c limits/memory = 13950
0.00/0.01 c
0.00/0.01 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.00/0.01 c # [type: int, range: [1,2], default: 1]
0.00/0.01 c timing/clocktype = 2
0.00/0.01 c
0.00/0.01 c # belongs reading time to solving time?
0.00/0.01 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.01 c timing/reading = TRUE
0.00/0.01 c
0.00/0.01 c # force restart if we have a max FS instance and gap is 1?
0.00/0.01 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.01 c constraints/indicator/forcerestart = TRUE
0.00/0.01 c
0.00/0.01 c # priority of branching rule <inference>
0.00/0.01 c # [type: int, range: [-536870912,536870911], default: 1000]
0.00/0.01 c branching/inference/priority = 1000000
0.00/0.01 c
0.00/0.01 c # frequency offset for calling primal heuristic <coefdiving>
0.00/0.01 c # [type: int, range: [0,2147483647], default: 1]
0.00/0.01 c heuristics/coefdiving/freqofs = 0
0.00/0.01 c
0.00/0.01 c # frequency for calling primal heuristic <shiftandpropagate> (-1: never, 0: only at depth freqofs)
0.00/0.01 c # [type: int, range: [-1,2147483647], default: 0]
0.00/0.01 c heuristics/shiftandpropagate/freq = -1
0.00/0.01 c
0.00/0.01 c # frequency for calling primal heuristic <undercover> (-1: never, 0: only at depth freqofs)
0.00/0.01 c # [type: int, range: [-1,2147483647], default: 0]
0.00/0.01 c heuristics/undercover/freq = -1
0.00/0.01 c
0.00/0.01 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.00/0.01 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.01 c separating/rapidlearning/freq = 0
0.00/0.01 c
0.00/0.01 c # frequency for calling primal heuristic <indrounding> (-1: never, 0: only at depth freqofs)
0.00/0.01 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.01 c heuristics/indrounding/freq = 1
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.02 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.00/0.02 c 0.0s| 1 | 0 | 77 | - |1312k| 0 | 2 | 327 | 213 | 327 | 214 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
0.00/0.02 o 94
0.00/0.02 c s 0.0s| 1 | 0 | 77 | - |1321k| 0 | 2 | 327 | 213 | 327 | 214 | 0 | 0 | 0 | 0.000000e+00 | 9.400000e+01 | Inf
0.00/0.02 o 69
0.00/0.02 c 6 0.0s| 1 | 0 | 77 | - |1332k| 0 | 2 | 327 | 213 | 327 | 214 | 0 | 0 | 0 | 0.000000e+00 | 6.900000e+01 | Inf
0.00/0.09 o 47
0.00/0.09 c y 0.1s| 1 | 0 | 77 | - |1343k| 0 | 2 | 327 | 213 | 327 | 214 | 0 | 0 | 0 | 0.000000e+00 | 4.700000e+01 | Inf
0.00/0.09 c 0.1s| 1 | 0 | 92 | - |1391k| 0 | 11 | 327 | 238 | 327 | 161 | 4 | 0 | 0 | 0.000000e+00 | 4.700000e+01 | Inf
0.09/0.10 c 0.1s| 1 | 0 | 118 | - |1422k| 0 | 19 | 327 | 238 | 327 | 178 | 21 | 0 | 0 | 0.000000e+00 | 4.700000e+01 | Inf
0.09/0.10 c 0.1s| 1 | 0 | 150 | - |1467k| 0 | 32 | 327 | 238 | 327 | 192 | 35 | 0 | 0 | 0.000000e+00 | 4.700000e+01 | Inf
0.09/0.11 c 0.1s| 1 | 0 | 182 | - |1521k| 0 | 37 | 327 | 238 | 327 | 205 | 48 | 0 | 0 | 0.000000e+00 | 4.700000e+01 | Inf
0.09/0.12 c 0.1s| 1 | 0 | 208 | - |1548k| 0 | 41 | 327 | 238 | 327 | 215 | 58 | 0 | 0 | 0.000000e+00 | 4.700000e+01 | Inf
0.09/0.13 c 0.1s| 1 | 0 | 266 | - |1576k| 0 | 42 | 327 | 238 | 327 | 226 | 69 | 0 | 0 | 0.000000e+00 | 4.700000e+01 | Inf
0.09/0.16 o 46
0.09/0.16 c c 0.2s| 1 | 0 | 704 | - |1679k| 0 | - | 327 | 241 | 327 | 226 | 69 | 3 | 0 | 0.000000e+00 | 4.600000e+01 | Inf
0.09/0.17 c (run 1, node 1) restarting after 113 global fixings of integer variables
0.09/0.17 c
0.09/0.17 c (restart) converted 103 cuts from the global cut pool into linear constraints
0.09/0.17 c
0.09/0.17 c presolving:
0.09/0.17 c (round 1) 118 del vars, 14 del conss, 1 add conss, 0 chg bounds, 4 chg sides, 6 chg coeffs, 0 upgd conss, 233 impls, 0 clqs
0.09/0.17 c (round 2) 118 del vars, 18 del conss, 1 add conss, 0 chg bounds, 4 chg sides, 6 chg coeffs, 1 upgd conss, 233 impls, 0 clqs
0.09/0.17 c (round 3) 118 del vars, 22 del conss, 1 add conss, 0 chg bounds, 4 chg sides, 6 chg coeffs, 102 upgd conss, 233 impls, 0 clqs
0.09/0.18 c (round 4) 122 del vars, 24 del conss, 4 add conss, 0 chg bounds, 19 chg sides, 78 chg coeffs, 102 upgd conss, 237 impls, 0 clqs
0.09/0.18 c (round 5) 126 del vars, 24 del conss, 4 add conss, 0 chg bounds, 19 chg sides, 78 chg coeffs, 102 upgd conss, 237 impls, 0 clqs
0.09/0.18 c (round 6) 126 del vars, 36 del conss, 8 add conss, 0 chg bounds, 19 chg sides, 78 chg coeffs, 102 upgd conss, 237 impls, 0 clqs
0.09/0.18 c presolving (7 rounds):
0.09/0.18 c 126 deleted vars, 36 deleted constraints, 8 added constraints, 0 tightened bounds, 0 added holes, 19 changed sides, 78 changed coefficients
0.09/0.18 c 237 implications, 0 cliques
0.09/0.18 c presolved problem has 201 variables (164 bin, 0 int, 37 impl, 0 cont) and 316 constraints
0.09/0.18 c 37 constraints of type <varbound>
0.09/0.18 c 43 constraints of type <knapsack>
0.09/0.18 c 19 constraints of type <setppc>
0.09/0.18 c 4 constraints of type <and>
0.09/0.18 c 62 constraints of type <linear>
0.09/0.18 c 37 constraints of type <indicator>
0.09/0.18 c 20 constraints of type <logicor>
0.09/0.18 c 94 constraints of type <bounddisjunction>
0.09/0.18 c transformed objective value is always integral (scale: 1)
0.09/0.18 c Presolving Time: 0.02
0.09/0.18 c
0.09/0.18 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.09/0.18 c 0.2s| 1 | 0 | 788 | - |1554k| 0 | 14 | 201 | 316 | 201 | 220 | 0 | 3 | 0 | 0.000000e+00 | 4.600000e+01 | Inf
0.09/0.19 c 0.2s| 1 | 0 | 909 | - |1594k| 0 | 25 | 201 | 316 | 201 | 230 | 10 | 3 | 0 | 0.000000e+00 | 4.600000e+01 | Inf
0.18/0.20 c 0.2s| 1 | 2 | 1220 | - |1609k| 0 | 25 | 201 | 316 | 201 | 230 | 10 | 3 | 0 | 0.000000e+00 | 4.600000e+01 | Inf
0.18/0.24 o 25
0.18/0.24 c v 0.2s| 16 | 17 | 2030 | 97.4 |1672k| 6 | - | 201 | 323 | 201 | 172 | 10 | 10 | 0 | 0.000000e+00 | 2.500000e+01 | Inf
0.18/0.24 o 12
0.18/0.24 c c 0.2s| 21 | 22 | 2138 | 79.4 |1660k| 10 | - | 201 | 267 | 201 | 172 | 10 | 11 | 0 | 0.000000e+00 | 1.200000e+01 | Inf
0.18/0.27 o 10
0.18/0.27 c c 0.3s| 44 | 45 | 2784 | 52.6 |1676k| 13 | - | 201 | 203 | 201 | 172 | 10 | 23 | 0 | 0.000000e+00 | 1.000000e+01 | Inf
0.18/0.28 o 7
0.18/0.28 c p 0.3s| 60 | 57 | 3028 | 42.6 |1684k| 15 | - | 201 | 197 | 201 | 172 | 10 | 30 | 0 | 0.000000e+00 | 7.000000e+00 | Inf
0.18/0.29 o 1
0.18/0.29 c Forcing restart, since the absolute gap is 1.000000.
0.18/0.29 c Forcing restart, since the absolute gap is 1.000000.
0.18/0.29 c c 0.3s| 67 | 20 | 3159 | 40.1 |1663k| 15 | - | 201 | 183 | 201 | 172 | 10 | 30 | 0 | 0.000000e+00 | 1.000000e+00 | Inf
0.18/0.29 c (run 2, node 67) performing user restart
0.18/0.29 c
0.18/0.29 c (restart) converted 40 cuts from the global cut pool into linear constraints
0.18/0.29 c
0.18/0.29 c presolving:
0.18/0.29 c (round 1) 99 del vars, 105 del conss, 16 add conss, 0 chg bounds, 24 chg sides, 46 chg coeffs, 0 upgd conss, 297 impls, 0 clqs
0.18/0.29 c (round 2) 100 del vars, 115 del conss, 20 add conss, 0 chg bounds, 29 chg sides, 54 chg coeffs, 4 upgd conss, 303 impls, 0 clqs
0.18/0.29 c (round 3) 101 del vars, 119 del conss, 22 add conss, 1 chg bounds, 31 chg sides, 58 chg coeffs, 4 upgd conss, 305 impls, 0 clqs
0.18/0.30 c (round 4) 102 del vars, 121 del conss, 26 add conss, 1 chg bounds, 35 chg sides, 67 chg coeffs, 4 upgd conss, 311 impls, 0 clqs
0.29/0.30 c (round 5) 103 del vars, 125 del conss, 28 add conss, 1 chg bounds, 37 chg sides, 71 chg coeffs, 29 upgd conss, 313 impls, 0 clqs
0.29/0.30 c (round 6) 109 del vars, 133 del conss, 49 add conss, 1 chg bounds, 59 chg sides, 112 chg coeffs, 32 upgd conss, 345 impls, 0 clqs
0.29/0.30 c (round 7) 115 del vars, 152 del conss, 67 add conss, 1 chg bounds, 82 chg sides, 152 chg coeffs, 32 upgd conss, 373 impls, 0 clqs
0.29/0.30 c (round 8) 122 del vars, 178 del conss, 87 add conss, 1 chg bounds, 99 chg sides, 182 chg coeffs, 33 upgd conss, 385 impls, 0 clqs
0.29/0.30 c (round 9) 129 del vars, 195 del conss, 101 add conss, 1 chg bounds, 111 chg sides, 206 chg coeffs, 33 upgd conss, 407 impls, 0 clqs
0.29/0.31 c (round 10) 133 del vars, 218 del conss, 107 add conss, 1 chg bounds, 117 chg sides, 218 chg coeffs, 34 upgd conss, 413 impls, 0 clqs
0.29/0.31 c (round 11) 137 del vars, 226 del conss, 118 add conss, 1 chg bounds, 127 chg sides, 238 chg coeffs, 35 upgd conss, 431 impls, 0 clqs
0.29/0.31 c (round 12) 140 del vars, 238 del conss, 126 add conss, 1 chg bounds, 143 chg sides, 260 chg coeffs, 35 upgd conss, 437 impls, 0 clqs
0.29/0.31 c (round 13) 143 del vars, 248 del conss, 136 add conss, 1 chg bounds, 148 chg sides, 270 chg coeffs, 38 upgd conss, 447 impls, 0 clqs
0.29/0.31 c (round 14) 145 del vars, 267 del conss, 146 add conss, 1 chg bounds, 157 chg sides, 284 chg coeffs, 38 upgd conss, 451 impls, 0 clqs
0.29/0.31 c (round 15) 145 del vars, 283 del conss, 146 add conss, 1 chg bounds, 157 chg sides, 284 chg coeffs, 38 upgd conss, 451 impls, 0 clqs
0.29/0.31 c (round 16) 145 del vars, 286 del conss, 146 add conss, 1 chg bounds, 157 chg sides, 284 chg coeffs, 38 upgd conss, 451 impls, 0 clqs
0.29/0.31 c (round 17) 145 del vars, 286 del conss, 146 add conss, 5 chg bounds, 157 chg sides, 284 chg coeffs, 38 upgd conss, 451 impls, 0 clqs
0.29/0.31 c (round 18) 155 del vars, 300 del conss, 146 add conss, 11 chg bounds, 157 chg sides, 284 chg coeffs, 38 upgd conss, 457 impls, 0 clqs
0.29/0.32 c (round 19) 159 del vars, 312 del conss, 147 add conss, 11 chg bounds, 158 chg sides, 287 chg coeffs, 45 upgd conss, 461 impls, 0 clqs
0.29/0.32 c (round 20) 162 del vars, 317 del conss, 169 add conss, 11 chg bounds, 184 chg sides, 347 chg coeffs, 48 upgd conss, 485 impls, 0 clqs
0.29/0.32 c (round 21) 165 del vars, 338 del conss, 184 add conss, 11 chg bounds, 209 chg sides, 388 chg coeffs, 50 upgd conss, 511 impls, 0 clqs
0.29/0.32 c (round 22) 168 del vars, 356 del conss, 210 add conss, 11 chg bounds, 244 chg sides, 461 chg coeffs, 51 upgd conss, 533 impls, 0 clqs
0.29/0.32 c (round 23) 171 del vars, 381 del conss, 221 add conss, 11 chg bounds, 258 chg sides, 488 chg coeffs, 53 upgd conss, 557 impls, 0 clqs
0.29/0.32 c (round 24) 174 del vars, 397 del conss, 238 add conss, 11 chg bounds, 296 chg sides, 545 chg coeffs, 55 upgd conss, 579 impls, 0 clqs
0.29/0.32 c (round 25) 177 del vars, 418 del conss, 253 add conss, 11 chg bounds, 320 chg sides, 585 chg coeffs, 58 upgd conss, 607 impls, 0 clqs
0.29/0.32 c (round 26) 182 del vars, 460 del conss, 288 add conss, 12 chg bounds, 348 chg sides, 632 chg coeffs, 58 upgd conss, 636 impls, 0 clqs
0.29/0.32 c presolving (27 rounds):
0.29/0.32 c 184 deleted vars, 467 deleted constraints, 294 added constraints, 12 tightened bounds, 0 added holes, 351 changed sides, 638 changed coefficients
0.29/0.32 c 642 implications, 0 cliques
0.29/0.32 c Presolving Time: 0.05
0.29/0.32 c
0.29/0.32 c SCIP Status : problem is solved [optimal solution found]
0.29/0.32 c Solving Time (sec) : 0.32
0.29/0.32 c Solving Nodes : 0 (total of 68 nodes in 3 runs)
0.29/0.32 c Primal Bound : +1.00000000000000e+00 (25 solutions)
0.29/0.32 c Dual Bound : +1.00000000000000e+00
0.29/0.32 c Gap : 0.00 %
0.29/0.32 s OPTIMUM FOUND
0.29/0.32 v -x152 -x151 -x150 -x149 x148 x147 -x146 -x145 x144 x143 x142 x141 x140 x139 x138 x137 x136 -x135 -x134 -x133 -x132 x131 x130 -x129
0.29/0.32 v -x128 x127 -x126 -x125 -x124 -x123 x122 x121 -x120 -x119 x118 -x117 -x116 -x115 x114 -x113 -x112 -x111 -x110 -x109 x108 x107
0.29/0.32 v -x106 x105 -x104 -x103 -x102 -x101 x100 x99 x98 x97 x96 -x95 -x94 -x93 -x92 -x91 -x90 -x89 -x88 -x87 -x86 -x85 x84 -x83 -x82
0.29/0.32 v -x81 -x80 -x79 -x78 -x77 -x76 x75 -x74 -x73 -x72 -x71 -x70 -x69 -x68 -x67 x66 -x65 -x64 -x63 -x62 -x61 -x60 -x59 -x58 x57
0.29/0.32 v -x56 -x55 -x54 -x53 -x52 x51 x50 x49 x48 x47 x46 x45 x44 x43 x42 x41 x40 -x39 x38 x37 x36 x35 x34 x33 -x32 x31 -x30 x29 x28
0.29/0.32 v 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 x1
0.29/0.32 c SCIP Status : problem is solved [optimal solution found]
0.29/0.32 c Total Time : 0.32
0.29/0.32 c solving : 0.32
0.29/0.32 c presolving : 0.05 (included in solving)
0.29/0.32 c reading : 0.00 (included in solving)
0.29/0.32 c copying : 0.01 (2 #copies) (minimal 0.00, maximal 0.00, average 0.00)
0.29/0.32 c Original Problem :
0.29/0.32 c Problem name : HOME/instance-3717529-1338194241.wbo
0.29/0.32 c Variables : 240 (240 binary, 0 integer, 0 implicit integer, 0 continuous)
0.29/0.32 c Constraints : 128 initial, 128 maximal
0.29/0.32 c Objective sense : minimize
0.29/0.32 c Presolved Problem :
0.29/0.32 c Problem name : t_HOME/instance-3717529-1338194241.wbo
0.29/0.32 c Variables : 17 (17 binary, 0 integer, 0 implicit integer, 0 continuous)
0.29/0.32 c Constraints : 50 initial, 50 maximal
0.29/0.32 c Presolvers : ExecTime SetupTime FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
0.29/0.32 c domcol : 0.00 0.00 0 0 0 0 0 0 0 0 0
0.29/0.32 c trivial : 0.00 0.00 214 0 0 0 0 0 0 0 0
0.29/0.32 c dualfix : 0.00 0.00 13 0 0 0 0 0 0 0 0
0.29/0.32 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0
0.29/0.32 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0
0.29/0.32 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0
0.29/0.32 c gateextraction : 0.00 0.00 0 0 0 0 0 15 5 0 0
0.29/0.32 c implics : 0.00 0.00 0 63 0 0 0 0 0 0 0
0.29/0.32 c components : 0.00 0.00 0 0 0 0 0 0 0 0 0
0.29/0.32 c pseudoobj : 0.00 0.00 0 0 0 4 0 0 0 0 0
0.29/0.32 c probing : 0.00 0.00 0 0 0 0 0 0 0 0 0
0.29/0.32 c varbound : 0.00 0.00 0 0 0 4 0 9 0 0 0
0.29/0.32 c knapsack : 0.02 0.00 2 0 0 1 0 54 300 367 708
0.29/0.32 c setppc : 0.00 0.00 5 0 0 0 0 283 0 0 0
0.29/0.32 c linear : 0.01 0.00 7 4 0 92 0 63 0 32 66
0.29/0.32 c indicator : 0.00 0.00 3 0 0 0 0 7 0 0 0
0.29/0.32 c logicor : 0.01 0.00 0 0 0 0 0 19 0 0 0
0.29/0.32 c bounddisjunction : 0.00 0.00 0 0 0 0 0 59 0 0 0
0.29/0.32 c root node : - - 209 - - 209 - - - - -
0.29/0.32 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Conss Children
0.29/0.32 c integral : 0 0 0 0 66 0 285 0 0 0 0 0 132
0.29/0.32 c knapsack : 7 7 8 783 0 0 279 75 10 119 54 0 0
0.29/0.32 c setppc : 40 40 8 705 0 0 42 19 1 27 0 0 0
0.29/0.32 c logicor : 3 3 8 157 0 0 26 2 0 4 0 0 0
0.29/0.32 c countsols : 0 0 0 0 0 0 29 0 0 0 0 0 0
0.29/0.32 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS Check ResProp
0.29/0.32 c integral : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
0.29/0.32 c knapsack : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
0.29/0.32 c setppc : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
0.29/0.32 c logicor : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
0.29/0.32 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
0.29/0.32 c Propagators : #Propagate #ResProp Cutoffs DomReds
0.29/0.32 c pseudoobj : 797 33 1 32
0.29/0.32 c rootredcost : 4 0 0 32
0.29/0.32 c vbounds : 81 34 1 19
0.29/0.32 c redcost : 78 0 0 8
0.29/0.32 c probing : 0 0 0 0
0.29/0.32 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp
0.29/0.32 c pseudoobj : 0.00 0.00 0.00 0.00 0.00
0.29/0.32 c rootredcost : 0.00 0.00 0.00 0.00 0.00
0.29/0.32 c vbounds : 0.00 0.00 0.00 0.00 0.00
0.29/0.32 c redcost : 0.00 0.00 0.00 0.00 0.00
0.29/0.32 c probing : 0.00 0.00 0.00 0.00 0.00
0.29/0.32 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
0.29/0.32 c propagation : 0.00 20 20 31 7.9 0 0.0 -
0.29/0.32 c infeasible LP : 0.00 2 2 2 3.5 0 0.0 0
0.29/0.32 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
0.29/0.32 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
0.29/0.32 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
0.29/0.32 c applied globally : - - - 30 6.9 - - -
0.29/0.32 c applied locally : - - - 0 0.0 - - -
0.29/0.32 c Separators : ExecTime SetupTime Calls Cutoffs DomReds Cuts Conss
0.29/0.32 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
0.29/0.32 c closecuts : 0.00 0.00 0 0 0 0 0
0.29/0.32 c impliedbounds : 0.00 0.00 7 0 0 0 0
0.29/0.32 c intobj : 0.00 0.00 0 0 0 0 0
0.29/0.32 c gomory : 0.01 0.00 7 0 0 2 0
0.29/0.32 c cgmip : 0.00 0.00 0 0 0 0 0
0.29/0.32 c strongcg : 0.00 0.00 7 0 0 9 0
0.29/0.32 c cmir : 0.01 0.00 7 0 0 76 0
0.29/0.32 c flowcover : 0.02 0.00 7 0 0 149 0
0.29/0.32 c clique : 0.00 0.00 2 0 0 0 0
0.29/0.32 c zerohalf : 0.00 0.00 0 0 0 0 0
0.29/0.32 c mcf : 0.00 0.00 2 0 0 0 0
0.29/0.32 c oddcycle : 0.00 0.00 0 0 0 0 0
0.29/0.32 c rapidlearning : 0.07 0.00 1 0 67 0 123
0.29/0.32 c Pricers : ExecTime SetupTime Calls Vars
0.29/0.32 c problem variables: 0.00 - 0 0
0.29/0.32 c Branching Rules : ExecTime SetupTime Calls Cutoffs DomReds Cuts Conss Children
0.29/0.32 c inference : 0.00 0.00 66 0 0 0 0 132
0.29/0.32 c relpscost : 0.00 0.00 0 0 0 0 0 0
0.29/0.32 c pscost : 0.00 0.00 0 0 0 0 0 0
0.29/0.32 c mostinf : 0.00 0.00 0 0 0 0 0 0
0.29/0.32 c leastinf : 0.00 0.00 0 0 0 0 0 0
0.29/0.32 c fullstrong : 0.00 0.00 0 0 0 0 0 0
0.29/0.32 c allfullstrong : 0.00 0.00 0 0 0 0 0 0
0.29/0.32 c random : 0.00 0.00 0 0 0 0 0 0
0.29/0.32 c Primal Heuristics : ExecTime SetupTime Calls Found
0.29/0.32 c LP solutions : 0.00 - - 0
0.29/0.32 c pseudo solutions : 0.00 - - 0
0.29/0.32 c smallcard : 0.00 0.00 0 0
0.29/0.32 c trivial : 0.00 0.00 2 0
0.29/0.32 c shiftandpropagate: 0.00 0.00 0 0
0.29/0.32 c simplerounding : 0.00 0.00 73 0
0.29/0.32 c zirounding : 0.00 0.00 66 0
0.29/0.32 c rounding : 0.00 0.00 73 0
0.29/0.32 c shifting : 0.00 0.00 15 10
0.29/0.32 c intshifting : 0.00 0.00 0 0
0.29/0.32 c oneopt : 0.00 0.00 5 0
0.29/0.32 c twoopt : 0.00 0.00 0 0
0.29/0.32 c indoneopt : 0.01 0.00 8 1
0.29/0.32 c indtwoopt : 0.00 0.00 0 0
0.29/0.32 c fixandinfer : 0.00 0.00 0 0
0.29/0.32 c feaspump : 0.00 0.00 0 0
0.29/0.32 c clique : 0.00 0.00 0 0
0.29/0.32 c indrounding : 0.00 0.00 66 0
0.29/0.32 c coefdiving : 0.05 0.00 8 4
0.29/0.32 c indcoefdiving : 0.00 0.00 0 0
0.29/0.32 c pscostdiving : 0.01 0.00 2 1
0.29/0.32 c fracdiving : 0.01 0.00 1 0
0.29/0.32 c nlpdiving : 0.00 0.00 0 0
0.29/0.32 c veclendiving : 0.01 0.00 1 1
0.29/0.32 c intdiving : 0.00 0.00 0 0
0.29/0.32 c actconsdiving : 0.00 0.00 0 0
0.29/0.32 c objpscostdiving : 0.00 0.00 1 2
0.29/0.32 c rootsoldiving : 0.00 0.00 1 0
0.29/0.32 c linesearchdiving : 0.00 0.00 1 0
0.29/0.32 c guideddiving : 0.00 0.00 1 0
0.29/0.32 c octane : 0.00 0.00 0 0
0.29/0.32 c rens : 0.01 0.00 1 0
0.29/0.32 c rins : 0.00 0.00 0 0
0.29/0.32 c localbranching : 0.00 0.00 0 0
0.29/0.32 c mutation : 0.00 0.00 0 0
0.29/0.32 c crossover : 0.00 0.00 0 0
0.29/0.32 c dins : 0.00 0.00 0 0
0.29/0.32 c vbounds : 0.00 0.00 0 0
0.29/0.32 c undercover : 0.00 0.00 0 0
0.29/0.32 c subnlp : 0.00 0.00 0 0
0.29/0.32 c trysol : 0.00 0.00 6 5
0.29/0.32 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It
0.29/0.32 c primal LP : 0.00 1 0 0.00 - 0.00 1
0.29/0.32 c dual LP : 0.03 81 1291 17.68 41755.61 0.00 8
0.29/0.32 c lex dual LP : 0.00 0 0 0.00 -
0.29/0.32 c barrier LP : 0.00 0 0 0.00 - 0.00 0
0.29/0.32 c diving/probing LP: 0.06 336 1868 5.56 32728.87
0.29/0.32 c strong branching : 0.00 0 0 0.00 -
0.29/0.32 c (at root node) : - 0 0 0.00 -
0.29/0.32 c conflict analysis: 0.00 0 0 0.00 -
0.29/0.32 c B&B Tree :
0.29/0.32 c number of runs : 3
0.29/0.32 c nodes : 0
0.29/0.32 c nodes (total) : 68
0.29/0.32 c nodes left : 0
0.29/0.32 c max depth : -1
0.29/0.32 c max depth (total): 15
0.29/0.32 c backtracks : 0 (0.0%)
0.29/0.32 c delayed cutoffs : 0
0.29/0.32 c repropagations : 0 (0 domain reductions, 0 cutoffs)
0.29/0.32 c avg switch length: 0.00
0.29/0.32 c switching time : 0.00
0.29/0.32 c Solution :
0.29/0.32 c Solutions found : 25 (9 improvements)
0.29/0.32 c First Solution : +9.40000000000000e+01 (in run 1, after 1 nodes, 0.02 seconds, depth 0, found by <shifting>)
0.29/0.32 c Primal Bound : +1.00000000000000e+00 (in run 2, after 67 nodes, 0.29 seconds, depth 18, found by <coefdiving>)
0.29/0.32 c Dual Bound : +1.00000000000000e+00
0.29/0.32 c Gap : 0.00 %
0.29/0.32 c Root Dual Bound : +0.00000000000000e+00
0.29/0.32 c Root Iterations : 471
0.29/0.33 c Time complete: 0.32.