0.00/0.00 c SCIP version 1.2.1.3 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Clp 1.11.1]
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-2705487-1278572949.wbo>
0.00/0.00 c original problem has 227 variables (198 bin, 0 int, 29 impl, 0 cont) and 131 constraints
0.00/0.00 c problem read
0.00/0.00 c presolving settings loaded
0.00/0.00 c presolving:
0.00/0.00 c (round 1) 0 del vars, 1 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8 impls, 48 clqs
0.00/0.01 c (round 2) 0 del vars, 18 del conss, 0 chg bounds, 1 chg sides, 0 chg coeffs, 0 upgd conss, 8 impls, 48 clqs
0.00/0.01 c (round 3) 1 del vars, 19 del conss, 28 chg bounds, 1 chg sides, 0 chg coeffs, 0 upgd conss, 8 impls, 48 clqs
0.00/0.01 c (round 4) 2 del vars, 19 del conss, 28 chg bounds, 1 chg sides, 0 chg coeffs, 56 upgd conss, 8 impls, 48 clqs
0.00/0.02 c (0.0s) probing: 101/197 (51.3%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.00/0.02 c (0.0s) probing aborted: 100/100 successive totally useless probings
0.00/0.02 c presolving (5 rounds):
0.00/0.02 c 2 deleted vars, 19 deleted constraints, 28 tightened bounds, 0 added holes, 1 changed sides, 0 changed coefficients
0.00/0.02 c 44 implications, 48 cliques
0.00/0.02 c presolved problem has 225 variables (197 bin, 0 int, 28 impl, 0 cont) and 112 constraints
0.00/0.02 c 1 constraints of type <knapsack>
0.00/0.02 c 52 constraints of type <setppc>
0.00/0.02 c 28 constraints of type <linear>
0.00/0.02 c 28 constraints of type <indicator>
0.00/0.02 c 3 constraints of type <logicor>
0.00/0.02 c transformed objective value is always integral (scale: 1)
0.00/0.02 c Presolving Time: 0.01
0.00/0.02 c - non default parameters ----------------------------------------------------------------------
0.00/0.02 c # SCIP version 1.2.1.3
0.00/0.02 c
0.00/0.02 c # frequency for displaying node information lines
0.00/0.02 c # [type: int, range: [-1,2147483647], default: 100]
0.00/0.02 c display/freq = 10000
0.00/0.02 c
0.00/0.02 c # maximal time in seconds to run
0.00/0.02 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.02 c limits/time = 1790
0.00/0.02 c
0.00/0.02 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.02 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.02 c limits/memory = 3420
0.00/0.02 c
0.00/0.02 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.00/0.02 c # [type: int, range: [1,2], default: 1]
0.00/0.02 c timing/clocktype = 2
0.00/0.02 c
0.00/0.02 c # should presolving try to simplify inequalities
0.00/0.02 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.02 c constraints/linear/simplifyinequalities = TRUE
0.00/0.02 c
0.00/0.02 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.00/0.02 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.02 c constraints/indicator/addCouplingCons = TRUE
0.00/0.02 c
0.00/0.02 c # should presolving try to simplify knapsacks
0.00/0.02 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.02 c constraints/knapsack/simplifyinequalities = TRUE
0.00/0.02 c
0.00/0.02 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.00/0.02 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.02 c separating/rapidlearning/freq = 0
0.00/0.02 c
0.00/0.02 c -----------------------------------------------------------------------------------------------
0.00/0.02 c start solving
0.00/0.02 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 | 20 | - | 978k| 0 | 13 | 225 | 112 | 225 | 56 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
0.02/0.03 c 0.0s| 1 | 0 | 48 | - |1050k| 0 | 31 | 225 | 112 | 225 | 72 | 16 | 0 | 0 | 0.000000e+00 | -- | Inf
0.02/0.04 c 0.0s| 1 | 0 | 98 | - |1348k| 0 | 46 | 225 | 112 | 225 | 86 | 30 | 0 | 0 | 0.000000e+00 | -- | Inf
0.02/0.05 c 0.1s| 1 | 0 | 167 | - |1396k| 0 | 48 | 225 | 112 | 225 | 93 | 37 | 0 | 0 | 0.000000e+00 | -- | Inf
0.02/0.07 c 0.1s| 1 | 0 | 236 | - |1422k| 0 | 53 | 225 | 112 | 225 | 99 | 43 | 0 | 0 | 0.000000e+00 | -- | Inf
0.02/0.08 c 0.1s| 1 | 0 | 275 | - |1433k| 0 | 54 | 225 | 112 | 225 | 105 | 49 | 0 | 0 | 0.000000e+00 | -- | Inf
0.29/0.30 c 0.3s| 1 | 2 | 275 | - |1437k| 0 | 54 | 225 | 112 | 225 | 105 | 49 | 0 | 14 | 0.000000e+00 | -- | Inf
0.29/0.30 o 1473
0.29/0.30 c y 0.3s| 2 | 1 | 275 | 0.0 |1440k| 1 | - | 225 | 112 | 0 | 0 | 49 | 0 | 14 | 0.000000e+00 | 1.473000e+03 | Inf
0.49/0.51 o 431
0.49/0.51 c * 0.5s| 9 | 8 | 705 | 53.8 |1463k| 8 | - | 225 | 112 | 225 | 91 | 49 | 0 | 103 | 0.000000e+00 | 4.310000e+02 | Inf
0.59/0.62 o 356
0.59/0.62 c * 0.6s| 54 | 45 | 1122 | 16.0 |1518k| 34 | - | 225 | 121 | 225 | 94 | 54 | 9 | 187 | 0.000000e+00 | 3.560000e+02 | Inf
1.09/1.13 o 279
1.09/1.13 c * 1.1s| 777 | 586 | 3739 | 4.5 |2134k| 43 | - | 225 | 352 | 225 | 93 | 81 | 240 | 634 | 0.000000e+00 | 2.790000e+02 | Inf
1.09/1.14 o 262
1.09/1.14 c * 1.1s| 793 | 585 | 3754 | 4.4 |2147k| 43 | - | 225 | 354 | 225 | 91 | 81 | 242 | 634 | 0.000000e+00 | 2.620000e+02 | Inf
1.09/1.18 o 228
1.09/1.18 c * 1.2s| 865 | 613 | 3985 | 4.3 |2200k| 43 | - | 225 | 378 | 225 | 93 | 84 | 266 | 678 | 0.000000e+00 | 2.280000e+02 | Inf
1.18/1.22 o 168
1.18/1.22 c * 1.2s| 1004 | 656 | 4186 | 3.9 |2260k| 43 | - | 225 | 398 | 225 | 95 | 91 | 286 | 697 | 0.000000e+00 | 1.680000e+02 | Inf
1.39/1.41 o 145
1.39/1.41 c * 1.4s| 1530 | 807 | 5748 | 3.6 |2625k| 43 | - | 225 | 724 | 225 | 93 | 108 | 612 | 765 | 0.000000e+00 | 1.450000e+02 | Inf
1.49/1.58 o 98
1.49/1.58 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1.49/1.58 c * 1.6s| 1890 | 767 | 7134 | 3.6 |2807k| 43 | - | 225 | 949 | 225 | 93 | 140 | 837 | 871 | 0.000000e+00 | 9.800000e+01 | Inf
1.69/1.71 o 96
1.69/1.71 c * 1.7s| 2134 | 811 | 8421 | 3.8 |3009k| 43 | - | 225 |1160 | 225 | 93 | 153 |1055 | 931 | 0.000000e+00 | 9.600000e+01 | Inf
2.48/2.57 o 82
2.48/2.57 c * 2.6s| 3607 | 1005 | 18221 | 5.0 |4144k| 43 | - | 225 |2448 | 225 | 93 | 298 |2361 |1365 | 0.000000e+00 | 8.200000e+01 | Inf
2.59/2.61 o 81
2.59/2.61 c * 2.6s| 3663 | 965 | 18755 | 5.0 |4158k| 43 | - | 225 |2496 | 225 | 92 | 298 |2423 |1393 | 0.000000e+00 | 8.100000e+01 | Inf
2.89/2.94 o 80
2.89/2.94 c * 2.9s| 4105 | 1020 | 24033 | 5.8 |4460k| 43 | - | 225 |2882 | 225 | 91 | 321 |2860 |1525 | 0.000000e+00 | 8.000000e+01 | Inf
2.99/3.01 o 79
2.99/3.01 c * 3.0s| 4221 | 1043 | 25255 | 5.9 |4569k| 43 | - | 225 |2958 | 225 | 94 | 329 |2951 |1544 | 0.000000e+00 | 7.900000e+01 | Inf
2.99/3.04 o 17
2.99/3.04 c * 3.0s| 4257 | 380 | 25684 | 6.0 |3829k| 43 | - | 225 |2983 | 225 | 93 | 331 |2984 |1547 | 0.000000e+00 | 1.700000e+01 | Inf
3.20/3.20 c
3.20/3.20 c SCIP Status : problem is solved [optimal solution found]
3.20/3.20 c Solving Time (sec) : 3.20
3.20/3.20 c Solving Nodes : 4330
3.20/3.20 c Primal Bound : +1.70000000000000e+01 (93 solutions)
3.20/3.20 c Dual Bound : +1.70000000000000e+01
3.20/3.20 c Gap : 0.00 %
3.20/3.20 s OPTIMUM FOUND
3.20/3.20 v -x169 -x168 x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 x148
3.20/3.20 v -x147 -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 x127
3.20/3.20 v -x126 -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106
3.20/3.20 v -x105 -x104 -x103 -x102 -x101 -x100 -x99 x98 -x97 -x96 -x95 -x94 -x93 -x92 -x91 -x90 -x89 -x88 -x87 -x86 -x85 -x84 -x83 -x82
3.20/3.20 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
3.20/3.20 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
3.20/3.20 v -x30 -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
3.20/3.20 v -x4 -x3 -x2 -x1
3.20/3.20 c SCIP Status : problem is solved [optimal solution found]
3.20/3.20 c Solving Time : 3.20
3.20/3.20 c Original Problem :
3.20/3.20 c Problem name : HOME/instance-2705487-1278572949.wbo
3.20/3.20 c Variables : 227 (198 binary, 0 integer, 29 implicit integer, 0 continuous)
3.20/3.20 c Constraints : 131 initial, 131 maximal
3.20/3.20 c Presolved Problem :
3.20/3.20 c Problem name : t_HOME/instance-2705487-1278572949.wbo
3.20/3.20 c Variables : 225 (197 binary, 0 integer, 28 implicit integer, 0 continuous)
3.20/3.20 c Constraints : 112 initial, 2985 maximal
3.20/3.20 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
3.20/3.20 c trivial : 0.00 0 0 0 0 0 0 0 0
3.20/3.20 c dualfix : 0.00 2 0 0 0 0 0 0 0
3.20/3.20 c boundshift : 0.00 0 0 0 0 0 0 0 0
3.20/3.20 c inttobinary : 0.00 0 0 0 0 0 0 0 0
3.20/3.20 c implics : 0.00 0 0 0 0 0 0 0 0
3.20/3.20 c probing : 0.01 0 0 0 0 0 0 0 0
3.20/3.20 c knapsack : 0.00 0 0 0 0 0 0 0 0
3.20/3.20 c setppc : 0.00 0 0 0 0 0 0 0 0
3.20/3.20 c linear : 0.00 0 0 0 28 0 18 1 0
3.20/3.20 c indicator : 0.00 0 0 0 0 0 1 0 0
3.20/3.20 c logicor : 0.00 0 0 0 0 0 0 0 0
3.20/3.20 c bounddisjunction : 0.00 0 0 0 0 0 0 0 0
3.20/3.20 c root node : - 50 - - 50 - - - -
3.20/3.20 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
3.20/3.20 c integral : 0 0 0 3587 0 15 471 0 0 1388
3.20/3.20 c knapsack : 1 6 13761 2567 0 51 4168 0 0 0
3.20/3.20 c setppc : 52 6 13645 2547 0 196 25631 0 0 0
3.20/3.20 c linear : 28 6 13496 2558 0 112 10774 301 0 0
3.20/3.20 c indicator : 28 0 13403 2569 0 52 9935 0 0 0
3.20/3.20 c logicor : 3+ 6 6626 1840 0 94 2312 0 0 0
3.20/3.20 c bounddisjunction : 0+ 0 4598 0 0 13 222 0 0 0
3.20/3.20 c countsols : 0 0 0 2359 0 0 0 0 0 0
3.20/3.20 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
3.20/3.20 c integral : 1.14 0.00 0.00 1.14 0.00
3.20/3.20 c knapsack : 0.23 0.00 0.23 0.00 0.00
3.20/3.20 c setppc : 0.04 0.00 0.04 0.00 0.00
3.20/3.20 c linear : 0.06 0.00 0.06 0.00 0.00
3.20/3.20 c indicator : 0.02 0.00 0.02 0.01 0.00
3.20/3.20 c logicor : 0.10 0.00 0.10 0.00 0.00
3.20/3.20 c bounddisjunction : 0.02 0.00 0.02 0.00 0.00
3.20/3.20 c countsols : 0.00 0.00 0.00 0.00 0.00
3.20/3.20 c Propagators : Time Calls Cutoffs DomReds
3.20/3.20 c vbounds : 0.01 3544 0 716
3.20/3.20 c rootredcost : 0.00 15 0 25
3.20/3.20 c pseudoobj : 0.02 13687 110 9146
3.20/3.20 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
3.20/3.20 c propagation : 0.02 576 552 3674 26.8 7 20.9 -
3.20/3.20 c infeasible LP : 0.04 895 882 4917 20.6 6 13.3 0
3.20/3.20 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
3.20/3.20 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
3.20/3.20 c pseudo solution : 0.00 1 1 6 14.5 0 0.0 -
3.20/3.20 c applied globally : - - - 3206 17.0 - - -
3.20/3.20 c applied locally : - - - 6 43.7 - - -
3.20/3.20 c Separators : Time Calls Cutoffs DomReds Cuts Conss
3.20/3.20 c cut pool : 0.00 5 - - 24 - (maximal pool size: 136)
3.20/3.20 c redcost : 0.02 3637 0 222 0 0
3.20/3.20 c impliedbounds : 0.00 6 0 0 0 0
3.20/3.20 c intobj : 0.00 0 0 0 0 0
3.20/3.20 c cgmip : 0.00 0 0 0 0 0
3.20/3.20 c gomory : 0.01 6 0 0 73 0
3.20/3.20 c strongcg : 0.01 6 0 0 86 0
3.20/3.20 c cmir : 0.01 6 0 0 0 0
3.20/3.20 c flowcover : 0.03 6 0 0 0 0
3.20/3.20 c clique : 0.00 6 0 0 12 0
3.20/3.20 c zerohalf : 0.00 0 0 0 0 0
3.20/3.20 c mcf : 0.00 1 0 0 0 0
3.20/3.20 c rapidlearning : 0.01 1 0 0 0 0
3.20/3.20 c Pricers : Time Calls Vars
3.20/3.20 c problem variables: 0.00 0 0
3.20/3.20 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
3.20/3.20 c relpscost : 1.14 1014 15 471 0 0 1388
3.20/3.20 c pscost : 0.00 0 0 0 0 0 0
3.20/3.20 c inference : 0.02 2345 0 0 0 0 4706
3.20/3.20 c mostinf : 0.00 0 0 0 0 0 0
3.20/3.20 c leastinf : 0.00 0 0 0 0 0 0
3.20/3.20 c fullstrong : 0.00 0 0 0 0 0 0
3.20/3.20 c allfullstrong : 0.00 0 0 0 0 0 0
3.20/3.20 c random : 0.00 0 0 0 0 0 0
3.20/3.20 c Primal Heuristics : Time Calls Found
3.20/3.20 c LP solutions : 0.00 - 14
3.20/3.20 c pseudo solutions : 0.00 - 0
3.20/3.20 c oneopt : 0.01 15 0
3.20/3.20 c feaspump : 0.00 1 0
3.20/3.20 c linesearchdiving : 0.00 40 0
3.20/3.20 c guideddiving : 0.00 40 0
3.20/3.20 c coefdiving : 0.00 40 0
3.20/3.20 c pscostdiving : 0.00 41 0
3.20/3.20 c fracdiving : 0.00 41 0
3.20/3.20 c veclendiving : 0.00 41 0
3.20/3.20 c objpscostdiving : 0.00 32 0
3.20/3.20 c rootsoldiving : 0.00 33 0
3.20/3.20 c trivial : 0.00 2 0
3.20/3.20 c simplerounding : 0.00 1003 0
3.20/3.20 c zirounding : 0.00 709 0
3.20/3.20 c rounding : 0.01 403 0
3.20/3.20 c shifting : 0.01 106 0
3.20/3.20 c intshifting : 0.00 0 0
3.20/3.20 c twoopt : 0.00 0 0
3.20/3.20 c fixandinfer : 0.00 0 0
3.20/3.20 c intdiving : 0.00 0 0
3.20/3.20 c actconsdiving : 0.00 0 0
3.20/3.20 c octane : 0.00 0 0
3.20/3.20 c rens : 0.02 1 0
3.20/3.20 c rins : 0.00 0 0
3.20/3.20 c localbranching : 0.00 0 0
3.20/3.20 c mutation : 0.00 0 0
3.20/3.20 c crossover : 0.05 6 0
3.20/3.20 c dins : 0.00 0 0
3.20/3.20 c undercover : 0.00 0 0
3.20/3.20 c nlp : 0.00 0 0
3.20/3.20 c trysol : 0.01 108 79
3.20/3.20 c LP : Time Calls Iterations Iter/call Iter/sec
3.20/3.20 c primal LP : 0.00 0 0 0.00 -
3.20/3.20 c dual LP : 0.89 2510 27578 10.99 31135.55
3.20/3.20 c lex dual LP : 0.00 0 0 0.00 -
3.20/3.20 c barrier LP : 0.00 0 0 0.00 -
3.20/3.20 c diving/probing LP: 0.01 43 254 5.91 21576.62
3.20/3.20 c strong branching : 1.13 1555 49987 32.15 44075.78
3.20/3.20 c (at root node) : - 14 6056 432.57 -
3.20/3.20 c conflict analysis: 0.00 0 0 0.00 -
3.20/3.20 c B&B Tree :
3.20/3.20 c number of runs : 1
3.20/3.20 c nodes : 4330
3.20/3.20 c nodes (total) : 4330
3.20/3.20 c nodes left : 0
3.20/3.20 c max depth : 43
3.20/3.20 c max depth (total): 43
3.20/3.20 c backtracks : 940 (21.7%)
3.20/3.20 c delayed cutoffs : 573
3.20/3.20 c repropagations : 3314 (16897 domain reductions, 244 cutoffs)
3.20/3.20 c avg switch length: 4.36
3.20/3.20 c switching time : 0.14
3.20/3.20 c Solution :
3.20/3.20 c Solutions found : 93 (15 improvements)
3.20/3.20 c First Solution : +1.47300000000000e+03 (in run 1, after 1 nodes, 0.12 seconds, depth 0, found by <trysol>)
3.20/3.20 c Primal Bound : +1.70000000000000e+01 (in run 1, after 4257 nodes, 3.03 seconds, depth 24, found by <relaxation>)
3.20/3.20 c Dual Bound : +1.70000000000000e+01
3.20/3.20 c Gap : 0.00 %
3.20/3.20 c Root Dual Bound : +0.00000000000000e+00
3.20/3.20 c Root Iterations : 275
3.20/3.21 c Time complete: 3.2.