0.00/0.00 c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Clp 1.11.1] [Expressions interpreter: NONE]
0.00/0.00 c Copyright (c) 2002-2010 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-2666233-1276619198.opb>
0.00/0.02 c original problem has 238 variables (238 bin, 0 int, 0 impl, 0 cont) and 399 constraints
0.00/0.02 c problem read
0.00/0.02 c presolving settings loaded
0.00/0.03 c presolving:
0.00/0.04 c (round 1) 1 del vars, 1 del conss, 1 chg bounds, 0 chg sides, 41 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
0.00/0.05 c (round 2) 1 del vars, 165 del conss, 1 chg bounds, 0 chg sides, 41 chg coeffs, 38 upgd conss, 0 impls, 0 clqs
0.00/0.05 c (round 3) 1 del vars, 165 del conss, 1 chg bounds, 0 chg sides, 41 chg coeffs, 70 upgd conss, 44 impls, 2 clqs
0.00/0.05 c (round 4) 1 del vars, 165 del conss, 1 chg bounds, 6 chg sides, 58 chg coeffs, 70 upgd conss, 44 impls, 2 clqs
0.09/0.10 c (0.1s) probing: 144/237 (60.8%) - 0 fixings, 0 aggregations, 8 implications, 0 bound changes
0.09/0.10 c (0.1s) probing aborted: 100/100 successive totally useless probings
0.09/0.10 c presolving (5 rounds):
0.09/0.10 c 1 deleted vars, 165 deleted constraints, 1 tightened bounds, 0 added holes, 6 changed sides, 58 changed coefficients
0.09/0.10 c 62 implications, 2 cliques
0.09/0.10 c presolved problem has 237 variables (237 bin, 0 int, 0 impl, 0 cont) and 234 constraints
0.09/0.10 c 70 constraints of type <knapsack>
0.09/0.10 c 164 constraints of type <linear>
0.09/0.10 c transformed objective value is always integral (scale: 1)
0.09/0.10 c Presolving Time: 0.06
0.09/0.10 c - non default parameters ----------------------------------------------------------------------
0.09/0.10 c # SCIP version 1.2.1.2
0.09/0.10 c
0.09/0.10 c # frequency for displaying node information lines
0.09/0.10 c # [type: int, range: [-1,2147483647], default: 100]
0.09/0.10 c display/freq = 10000
0.09/0.10 c
0.09/0.10 c # maximal time in seconds to run
0.09/0.10 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.10 c limits/time = 1799.98
0.09/0.10 c
0.09/0.10 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.09/0.10 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.10 c limits/memory = 1620
0.09/0.10 c
0.09/0.10 c # should presolving try to simplify inequalities
0.09/0.10 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.10 c constraints/linear/simplifyinequalities = TRUE
0.09/0.10 c
0.09/0.10 c # should presolving try to simplify knapsacks
0.09/0.10 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.10 c constraints/knapsack/simplifyinequalities = TRUE
0.09/0.10 c
0.09/0.10 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.09/0.10 c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.10 c separating/rapidlearning/freq = 0
0.09/0.10 c
0.09/0.10 c -----------------------------------------------------------------------------------------------
0.09/0.10 c start solving
0.09/0.10 c
0.09/0.11 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.11 c 0.1s| 1 | 0 | 145 | - |1686k| 0 | 122 | 237 | 234 | 237 | 234 | 0 | 0 | 0 | 2.100000e+01 | -- | Inf
0.19/0.22 c 0.2s| 1 | 0 | 209 | - |1917k| 0 | 98 | 237 | 234 | 237 | 269 | 35 | 0 | 0 | 2.100000e+01 | -- | Inf
0.19/0.29 c 0.2s| 1 | 0 | 245 | - |2099k| 0 | 85 | 237 | 234 | 237 | 303 | 69 | 0 | 0 | 2.100000e+01 | -- | Inf
0.29/0.35 c 0.3s| 1 | 0 | 317 | - |2276k| 0 | 81 | 237 | 234 | 237 | 335 | 101 | 0 | 0 | 2.100000e+01 | -- | Inf
0.39/0.43 c 0.4s| 1 | 0 | 386 | - |2420k| 0 | 124 | 237 | 234 | 237 | 370 | 136 | 0 | 0 | 2.100000e+01 | -- | Inf
0.49/0.54 c 0.5s| 1 | 0 | 532 | - |2477k| 0 | 118 | 237 | 234 | 237 | 388 | 154 | 0 | 0 | 2.100000e+01 | -- | Inf
0.59/0.63 c 0.6s| 1 | 0 | 569 | - |2549k| 0 | 122 | 237 | 234 | 237 | 409 | 175 | 0 | 0 | 2.100000e+01 | -- | Inf
0.69/0.73 c 0.7s| 1 | 0 | 612 | - |2571k| 0 | 128 | 237 | 234 | 237 | 423 | 189 | 0 | 0 | 2.100000e+01 | -- | Inf
1.10/1.12 c 1.0s| 1 | 2 | 612 | - |2572k| 0 | 128 | 237 | 234 | 237 | 423 | 189 | 0 | 18 | 2.100000e+01 | -- | Inf
3.09/3.15 o 47
3.09/3.15 c z 2.8s| 33 | 18 | 1528 | 28.6 |2645k| 15 | - | 237 | 237 | 237 | 288 | 189 | 3 | 782 | 2.100000e+01 | 4.700000e+01 | 123.81%
3.09/3.18 o 42
3.09/3.18 c p 2.8s| 37 | 16 | 1544 | 25.9 |2648k| 18 | - | 237 | 238 | 237 | 288 | 189 | 4 | 794 | 2.100000e+01 | 4.200000e+01 | 100.00%
13.89/13.94 o 41
13.89/13.94 c c12.8s| 2966 | 1263 | 34884 | 11.6 |4390k| 56 | - | 237 |1477 | 237 | 288 | 189 |1391 |2013 | 2.100000e+01 | 4.100000e+01 | 95.24%
14.79/14.89 o 36
14.79/14.89 c *13.7s| 3254 | 984 | 39416 | 11.9 |4113k| 56 | - | 237 |1490 | 237 | 288 | 189 |1585 |2037 | 2.100000e+01 | 3.600000e+01 | 71.43%
15.78/15.84 o 32
15.78/15.84 c c14.6s| 3556 | 598 | 44412 | 12.3 |3880k| 56 | - | 237 |1558 | 237 | 288 | 189 |1844 |2055 | 2.100000e+01 | 3.200000e+01 | 52.38%
17.59/17.61 o 31
17.59/17.61 c *16.2s| 4174 | 699 | 53563 | 12.7 |4052k| 56 | - | 237 |1395 | 237 | 288 | 189 |2330 |2056 | 2.100000e+01 | 3.100000e+01 | 47.62%
17.59/17.61 o 30
17.59/17.61 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
17.59/17.61 c *16.2s| 4175 | 609 | 53565 | 12.7 |3941k| 56 | - | 237 |1395 | 237 | 288 | 189 |2330 |2056 | 2.100000e+01 | 3.000000e+01 | 42.86%
20.89/20.91 o 29
20.89/20.91 c p19.3s| 5332 | 700 | 70323 | 13.1 |4217k| 56 | - | 237 |1667 | 237 | 288 | 189 |3338 |2079 | 2.100000e+01 | 2.900000e+01 | 38.10%
24.38/24.40 o 25
24.38/24.40 c S22.6s| 6531 | 888 | 87041 | 13.2 |4543k| 56 | 0 | 237 |1536 | 237 | 288 | 189 |4463 |2104 | 2.100000e+01 | 2.500000e+01 | 19.05%
33.67/33.73 c 31.4s| 10000 | 241 |134538 | 13.4 |3735k| 56 | - | 237 |1456 | 237 | 288 | 189 |6811 |2130 | 2.100000e+01 | 2.500000e+01 | 19.05%
58.56/58.61 c 54.7s| 20000 | 200 |272390 | 13.6 |4028k| 57 | 68 | 237 |2031 | 237 | 288 | 189 | 12k|2177 | 2.100000e+01 | 2.500000e+01 | 19.05%
85.35/85.48 c 79.7s| 30000 | 288 |420193 | 14.0 |4514k| 57 | 34 | 237 |2542 | 237 | 288 | 189 | 17k|2990 | 2.100000e+01 | 2.500000e+01 | 19.05%
104.74/104.88 c
104.74/104.88 c SCIP Status : problem is solved [optimal solution found]
104.74/104.88 c Solving Time (sec) : 97.82
104.74/104.88 c Solving Nodes : 37411
104.74/104.88 c Primal Bound : +2.50000000000000e+01 (9 solutions)
104.74/104.88 c Dual Bound : +2.50000000000000e+01
104.74/104.88 c Gap : 0.00 %
104.74/104.88 s OPTIMUM FOUND
104.74/104.88 v x42 x43 x44 x45 x46 x47 x48 x49 x50 x51 x52 x53 x54 x55 x56 x57 x58 x59 x60 x61 x62 x63 x64 x65 x66 x67 -x68 x69 x70 x71 x72 x73
104.74/104.88 v x74 x75 x76 x77 x78 x79 x80 x81 -x82 x83 x84 x85 x86 x87 x88 x89 x90 x91 x92 x93 x94 x95 x96 x97 x98 x99 -x100 x101 x102 x103
104.74/104.88 v x104 x105 x106 x107 x108 x109 -x110 -x111 x112 -x113 -x114 -x115 x116 x117 x118 x119 x120 x121 -x122 -x123 -x124 -x125 -x126
104.74/104.88 v x127 -x128 -x129 -x130 -x131 -x132 -x133 x134 x135 x136 x137 x138 x139 x140 x141 x142 x143 x144 x145 x146 -x147 x148 x149
104.74/104.88 v x150 x151 x152 x153 x154 x155 x156 x157 x158 x159 x160 -x161 x162 x163 x164 x165 x166 x167 -x168 -x169 x170 -x171 -x172 -x173
104.74/104.88 v x174 x175 x176 x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x17 -x16 -x15 -x14 -x13 -x12 x188 x189 x190
104.74/104.88 v x191 x192 x193 x194 x195 x196 x197 x198 x199 x200 -x201 x202 x203 -x204 -x205 -x206 x207 x208 -x209 -x210 -x211 -x212 -x213
104.74/104.88 v x214 -x215 -x216 -x217 -x11 -x10 -x9 -x8 x7 -x6 -x218 x219 x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231
104.74/104.88 v -x23 -x22 -x21 -x20 -x19 x18 -x232 x233 -x234 -x235 -x236 -x29 -x28 -x27 x26 x25 -x24 -x237 -x41 -x40 x39 -x38 -x37 -x36
104.74/104.88 v -x35 -x34 x33 -x32 -x31 -x30 x238 -x5 -x4 x3 -x2 -x1
104.74/104.88 c SCIP Status : problem is solved [optimal solution found]
104.74/104.88 c Solving Time : 97.82
104.74/104.88 c Original Problem :
104.74/104.88 c Problem name : HOME/instance-2666233-1276619198.opb
104.74/104.88 c Variables : 238 (238 binary, 0 integer, 0 implicit integer, 0 continuous)
104.74/104.88 c Constraints : 399 initial, 399 maximal
104.74/104.88 c Presolved Problem :
104.74/104.88 c Problem name : t_HOME/instance-2666233-1276619198.opb
104.74/104.88 c Variables : 237 (237 binary, 0 integer, 0 implicit integer, 0 continuous)
104.74/104.88 c Constraints : 234 initial, 3036 maximal
104.74/104.88 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
104.74/104.88 c trivial : 0.00 0 0 0 0 0 0 0 0
104.74/104.88 c dualfix : 0.00 0 0 0 0 0 0 0 0
104.74/104.88 c boundshift : 0.00 0 0 0 0 0 0 0 0
104.74/104.88 c inttobinary : 0.00 0 0 0 0 0 0 0 0
104.74/104.88 c implics : 0.00 0 0 0 0 0 0 0 0
104.74/104.88 c probing : 0.04 0 0 0 0 0 0 0 0
104.74/104.88 c knapsack : 0.01 0 0 0 0 0 0 6 17
104.74/104.88 c linear : 0.01 1 0 0 1 0 165 0 41
104.74/104.88 c logicor : 0.00 0 0 0 0 0 0 0 0
104.74/104.88 c root node : - 19 - - 19 - - - -
104.74/104.88 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
104.74/104.88 c integral : 0 0 0 21280 0 89 1406 0 0 41274
104.74/104.88 c knapsack : 70 7 140852 3 0 604 75180 166 0 0
104.74/104.88 c linear : 164 7 140239 0 0 4320 286784 0 0 0
104.74/104.88 c logicor : 0+ 0 100998 0 0 473 126322 0 0 0
104.74/104.88 c countsols : 0 0 0 3 0 0 0 0 0 0
104.74/104.88 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
104.74/104.88 c integral : 8.97 0.00 0.00 8.97 0.00
104.74/104.88 c knapsack : 3.58 0.02 3.56 0.00 0.00
104.74/104.88 c linear : 19.93 0.00 19.93 0.00 0.00
104.74/104.88 c logicor : 3.64 0.00 3.64 0.00 0.00
104.74/104.88 c countsols : 0.00 0.00 0.00 0.00 0.00
104.74/104.88 c Propagators : Time Calls Cutoffs DomReds
104.74/104.88 c vbounds : 0.10 2 0 0
104.74/104.88 c rootredcost : 0.06 9 0 3
104.74/104.88 c pseudoobj : 0.14 140580 16 334
104.74/104.88 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
104.74/104.88 c propagation : 0.47 5412 5394 32781 19.6 193 9.6 -
104.74/104.88 c infeasible LP : 0.37 3712 3711 7256 10.9 184 12.4 0
104.74/104.88 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
104.74/104.88 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
104.74/104.88 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
104.74/104.88 c applied globally : - - - 20721 15.3 - - -
104.74/104.88 c applied locally : - - - 0 0.0 - - -
104.74/104.88 c Separators : Time Calls Cutoffs DomReds Cuts Conss
104.74/104.88 c cut pool : 0.00 6 - - 258 - (maximal pool size: 1268)
104.74/104.88 c redcost : 0.19 22544 0 2041 0 0
104.74/104.88 c impliedbounds : 0.00 7 0 0 1 0
104.74/104.88 c intobj : 0.00 0 0 0 0 0
104.74/104.88 c cgmip : 0.00 0 0 0 0 0
104.74/104.88 c gomory : 0.04 7 0 0 98 0
104.74/104.88 c strongcg : 0.07 7 0 0 155 0
104.74/104.88 c cmir : 0.11 7 0 0 605 0
104.74/104.88 c flowcover : 0.24 7 0 0 795 0
104.74/104.88 c clique : 0.00 7 0 0 0 0
104.74/104.88 c zerohalf : 0.00 0 0 0 0 0
104.74/104.88 c mcf : 0.00 1 0 0 0 0
104.74/104.88 c rapidlearning : 0.04 1 0 0 0 0
104.74/104.88 c Pricers : Time Calls Vars
104.74/104.88 c problem variables: 0.00 0 0
104.74/104.88 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
104.74/104.88 c relpscost : 8.97 21277 89 1406 0 0 41274
104.74/104.88 c pscost : 0.00 0 0 0 0 0 0
104.74/104.88 c inference : 0.00 0 0 0 0 0 0
104.74/104.88 c mostinf : 0.00 0 0 0 0 0 0
104.74/104.88 c leastinf : 0.00 0 0 0 0 0 0
104.74/104.88 c fullstrong : 0.00 0 0 0 0 0 0
104.74/104.88 c allfullstrong : 0.00 0 0 0 0 0 0
104.74/104.88 c random : 0.00 0 0 0 0 0 0
104.74/104.88 c Primal Heuristics : Time Calls Found
104.74/104.88 c LP solutions : 0.00 - 3
104.74/104.88 c pseudo solutions : 0.00 - 0
104.74/104.88 c oneopt : 0.05 9 0
104.74/104.88 c feaspump : 0.00 3 0
104.74/104.88 c crossover : 0.14 4 0
104.74/104.88 c objpscostdiving : 0.24 35 0
104.74/104.88 c fracdiving : 0.28 70 0
104.74/104.88 c veclendiving : 0.76 70 0
104.74/104.88 c linesearchdiving : 0.55 70 0
104.74/104.88 c guideddiving : 0.64 70 0
104.74/104.88 c coefdiving : 0.41 70 2
104.74/104.88 c pscostdiving : 0.82 70 2
104.74/104.88 c rootsoldiving : 0.45 36 1
104.74/104.88 c trivial : 0.00 2 0
104.74/104.88 c simplerounding : 0.02 0 0
104.74/104.88 c zirounding : 0.07 1000 1
104.74/104.88 c rounding : 0.31 2041 0
104.74/104.88 c shifting : 2.18 619 0
104.74/104.88 c intshifting : 0.01 0 0
104.74/104.88 c twoopt : 0.00 0 0
104.74/104.88 c fixandinfer : 0.00 0 0
104.74/104.88 c intdiving : 0.00 0 0
104.74/104.88 c actconsdiving : 0.00 0 0
104.74/104.88 c octane : 0.00 0 0
104.74/104.88 c rens : 0.00 0 0
104.74/104.88 c rins : 0.00 0 0
104.74/104.88 c localbranching : 0.00 0 0
104.74/104.88 c mutation : 0.00 0 0
104.74/104.88 c dins : 0.00 0 0
104.74/104.88 c undercover : 0.00 0 0
104.74/104.88 c nlp : 0.01 0 0
104.74/104.88 c trysol : 0.02 0 0
104.74/104.88 c LP : Time Calls Iterations Iter/call Iter/sec
104.74/104.88 c primal LP : 0.00 0 0 0.00 -
104.74/104.88 c dual LP : 42.91 34558 495834 14.35 11555.21
104.74/104.88 c lex dual LP : 0.00 0 0 0.00 -
104.74/104.88 c barrier LP : 0.00 0 0 0.00 -
104.74/104.88 c diving/probing LP: 2.65 2430 26212 10.79 9891.32
104.74/104.88 c strong branching : 8.06 3777 96500 25.55 11972.70
104.74/104.88 c (at root node) : - 18 2641 146.72 -
104.74/104.88 c conflict analysis: 0.00 0 0 0.00 -
104.74/104.88 c B&B Tree :
104.74/104.88 c number of runs : 1
104.74/104.88 c nodes : 37411
104.74/104.88 c nodes (total) : 37411
104.74/104.88 c nodes left : 0
104.74/104.88 c max depth : 57
104.74/104.88 c max depth (total): 57
104.74/104.88 c backtracks : 8520 (22.8%)
104.74/104.88 c delayed cutoffs : 1754
104.74/104.88 c repropagations : 22949 (105939 domain reductions, 1181 cutoffs)
104.74/104.88 c avg switch length: 5.38
104.74/104.88 c switching time : 5.83
104.74/104.88 c Solution :
104.74/104.88 c Solutions found : 9 (9 improvements)
104.74/104.88 c First Solution : +4.70000000000000e+01 (in run 1, after 33 nodes, 2.79 seconds, depth 15, found by <zirounding>)
104.74/104.88 c Primal Bound : +2.50000000000000e+01 (in run 1, after 6531 nodes, 22.62 seconds, depth 37, found by <rootsoldiving>)
104.74/104.88 c Dual Bound : +2.50000000000000e+01
104.74/104.88 c Gap : 0.00 %
104.74/104.88 c Root Dual Bound : +2.10000000000000e+01
104.74/104.88 c Root Iterations : 612
104.74/104.89 c Time complete: 104.84.