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-2705294-1278572932.wbo>
0.00/0.00 c original problem has 307 variables (238 bin, 0 int, 69 impl, 0 cont) and 171 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.01 c (round 1) 0 del vars, 1 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 6 impls, 20 clqs
0.00/0.01 c (round 2) 0 del vars, 4 del conss, 0 chg bounds, 1 chg sides, 0 chg coeffs, 0 upgd conss, 6 impls, 20 clqs
0.00/0.01 c (round 3) 1 del vars, 5 del conss, 68 chg bounds, 1 chg sides, 0 chg coeffs, 0 upgd conss, 6 impls, 20 clqs
0.00/0.01 c (round 4) 2 del vars, 5 del conss, 68 chg bounds, 1 chg sides, 0 chg coeffs, 30 upgd conss, 6 impls, 20 clqs
0.01/0.02 c (0.0s) probing: 101/237 (42.6%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.01/0.02 c (0.0s) probing aborted: 100/100 successive totally useless probings
0.01/0.02 c presolving (5 rounds):
0.01/0.02 c 2 deleted vars, 5 deleted constraints, 68 tightened bounds, 0 added holes, 1 changed sides, 0 changed coefficients
0.01/0.02 c 92 implications, 20 cliques
0.01/0.02 c presolved problem has 305 variables (237 bin, 0 int, 68 impl, 0 cont) and 166 constraints
0.01/0.02 c 23 constraints of type <setppc>
0.01/0.02 c 68 constraints of type <linear>
0.01/0.02 c 68 constraints of type <indicator>
0.01/0.02 c 7 constraints of type <logicor>
0.01/0.02 c transformed objective value is always integral (scale: 1)
0.01/0.02 c Presolving Time: 0.01
0.01/0.02 c - non default parameters ----------------------------------------------------------------------
0.01/0.02 c # SCIP version 1.2.1.3
0.01/0.02 c
0.01/0.02 c # frequency for displaying node information lines
0.01/0.02 c # [type: int, range: [-1,2147483647], default: 100]
0.01/0.02 c display/freq = 10000
0.01/0.02 c
0.01/0.02 c # maximal time in seconds to run
0.01/0.02 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.01/0.02 c limits/time = 1790
0.01/0.02 c
0.01/0.02 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.01/0.02 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.01/0.02 c limits/memory = 3420
0.01/0.02 c
0.01/0.02 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.01/0.02 c # [type: int, range: [1,2], default: 1]
0.01/0.02 c timing/clocktype = 2
0.01/0.02 c
0.01/0.02 c # should presolving try to simplify inequalities
0.01/0.02 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.01/0.02 c constraints/linear/simplifyinequalities = TRUE
0.01/0.02 c
0.01/0.02 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.01/0.02 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.01/0.02 c constraints/indicator/addCouplingCons = TRUE
0.01/0.02 c
0.01/0.02 c # should presolving try to simplify knapsacks
0.01/0.02 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.01/0.02 c constraints/knapsack/simplifyinequalities = TRUE
0.01/0.02 c
0.01/0.02 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.01/0.02 c # [type: int, range: [-1,2147483647], default: -1]
0.01/0.02 c separating/rapidlearning/freq = 0
0.01/0.02 c
0.01/0.02 c -----------------------------------------------------------------------------------------------
0.01/0.02 c start solving
0.01/0.02 c
0.01/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.01/0.02 c 0.0s| 1 | 0 | 8 | - |1060k| 0 | 0 | 305 | 166 | 305 | 30 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
0.01/0.03 c 0.0s| 1 | 0 | 35 | - |1086k| 0 | 12 | 305 | 166 | 305 | 50 | 20 | 0 | 0 | 0.000000e+00 | -- | Inf
0.01/0.03 c 0.0s| 1 | 0 | 47 | - |1137k| 0 | 20 | 305 | 166 | 305 | 60 | 30 | 0 | 0 | 0.000000e+00 | -- | Inf
0.01/0.04 c 0.0s| 1 | 0 | 72 | - |1276k| 0 | 32 | 305 | 166 | 305 | 67 | 37 | 0 | 0 | 0.000000e+00 | -- | Inf
0.01/0.09 c 0.1s| 1 | 2 | 72 | - |1279k| 0 | 32 | 305 | 166 | 305 | 67 | 37 | 0 | 19 | 0.000000e+00 | -- | Inf
0.19/0.21 o 3162
0.19/0.21 c y 0.2s| 15 | 14 | 343 | 19.4 |1306k| 13 | - | 305 | 166 | 0 | 0 | 40 | 0 | 109 | 0.000000e+00 | 3.162000e+03 | Inf
0.39/0.44 o 292
0.39/0.44 c * 0.4s| 178 | 160 | 1098 | 5.8 |1493k| 93 | - | 305 | 169 | 305 | 72 | 73 | 3 | 373 | 0.000000e+00 | 2.920000e+02 | Inf
0.69/0.72 o 284
0.69/0.72 c * 0.7s| 852 | 809 | 2592 | 3.0 |2036k| 99 | - | 305 | 201 | 305 | 77 | 161 | 35 | 612 | 0.000000e+00 | 2.840000e+02 | Inf
1.49/1.55 o 262
1.49/1.55 c * 1.5s| 3755 | 2802 | 8644 | 2.3 |4186k| 99 | - | 305 | 884 | 305 | 73 | 325 | 721 | 852 | 0.000000e+00 | 2.620000e+02 | Inf
1.59/1.64 o 210
1.59/1.64 c * 1.6s| 4043 | 2821 | 9349 | 2.3 |4286k| 99 | - | 305 | 966 | 305 | 75 | 339 | 806 | 869 | 0.000000e+00 | 2.100000e+02 | Inf
1.79/1.83 o 207
1.79/1.83 c * 1.8s| 4620 | 3059 | 10689 | 2.3 |4669k| 99 | - | 305 |1212 | 305 | 73 | 363 |1057 | 911 | 0.000000e+00 | 2.070000e+02 | Inf
2.10/2.14 o 189
2.10/2.14 c * 2.1s| 5608 | 3422 | 12611 | 2.2 |5164k| 99 | - | 305 |1545 | 305 | 75 | 430 |1404 | 954 | 0.000000e+00 | 1.890000e+02 | Inf
2.10/2.14 o 174
2.10/2.14 c * 2.1s| 5620 | 3259 | 12682 | 2.2 |5048k| 99 | - | 305 |1547 | 305 | 73 | 430 |1407 | 954 | 0.000000e+00 | 1.740000e+02 | Inf
2.39/2.45 o 173
2.39/2.45 c * 2.4s| 6540 | 3820 | 15158 | 2.3 |5609k| 99 | - | 305 |1758 | 305 | 70 | 486 |1653 |1003 | 0.000000e+00 | 1.730000e+02 | Inf
2.39/2.47 o 172
2.39/2.47 c * 2.5s| 6600 | 3844 | 15337 | 2.3 |5631k| 99 | - | 305 |1772 | 305 | 69 | 501 |1676 |1010 | 0.000000e+00 | 1.720000e+02 | Inf
2.99/3.05 o 168
2.99/3.05 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
2.99/3.05 c * 3.1s| 8346 | 4788 | 19338 | 2.3 |6736k| 99 | - | 305 |2252 | 305 | 73 | 612 |2242 |1058 | 0.000000e+00 | 1.680000e+02 | Inf
3.30/3.32 o 167
3.30/3.32 c * 3.3s| 9144 | 5112 | 20760 | 2.3 |7222k| 99 | - | 305 |2559 | 305 | 73 | 654 |2579 |1072 | 0.000000e+00 | 1.670000e+02 | Inf
3.59/3.61 c 3.6s| 10000 | 5524 | 22137 | 2.2 |7680k| 99 | 0 | 305 |2790 | 305 | 73 | 707 |2876 |1085 | 0.000000e+00 | 1.670000e+02 | Inf
3.69/3.76 o 149
3.69/3.76 c * 3.8s| 10474 | 5475 | 22872 | 2.2 |7751k| 99 | - | 305 |2895 | 305 | 68 | 725 |3042 |1090 | 0.000000e+00 | 1.490000e+02 | Inf
3.89/3.92 o 123
3.89/3.92 c * 3.9s| 10935 | 5250 | 23741 | 2.2 |7697k| 99 | - | 305 |3018 | 305 | 70 | 738 |3218 |1099 | 0.000000e+00 | 1.230000e+02 | Inf
4.30/4.34 o 121
4.30/4.34 c * 4.3s| 12195 | 5781 | 26754 | 2.2 |8322k| 99 | - | 305 |3115 | 305 | 71 | 800 |3772 |1107 | 0.000000e+00 | 1.210000e+02 | Inf
4.59/4.63 o 98
4.59/4.63 c * 4.6s| 13028 | 5622 | 29169 | 2.2 |8323k| 99 | - | 305 |3213 | 305 | 75 | 843 |4084 |1111 | 0.000000e+00 | 9.800000e+01 | Inf
4.59/4.64 o 83
4.59/4.64 c * 4.6s| 13039 | 5126 | 29280 | 2.2 |7806k| 99 | - | 305 |3217 | 305 | 80 | 848 |4094 |1111 | 0.000000e+00 | 8.300000e+01 | Inf
4.59/4.69 o 81
4.59/4.69 c * 4.7s| 13149 | 5094 | 29743 | 2.3 |7720k| 99 | - | 305 |3009 | 305 | 73 | 867 |4129 |1112 | 0.000000e+00 | 8.100000e+01 | Inf
4.69/4.74 o 73
4.69/4.74 c * 4.7s| 13229 | 4942 | 30176 | 2.3 |7593k| 99 | - | 305 |2956 | 305 | 71 | 885 |4185 |1113 | 0.000000e+00 | 7.300000e+01 | Inf
4.69/4.74 o 71
4.69/4.74 c * 4.7s| 13230 | 4561 | 30181 | 2.3 |7277k| 99 | - | 305 |2956 | 305 | 71 | 885 |4185 |1113 | 0.000000e+00 | 7.100000e+01 | Inf
5.59/5.60 o 54
5.59/5.60 c * 5.6s| 15355 | 3886 | 38095 | 2.5 |6931k| 99 | - | 305 |2962 | 305 | 68 |1054 |5788 |1208 | 0.000000e+00 | 5.400000e+01 | Inf
5.59/5.60 o 50
5.59/5.60 c * 5.6s| 15356 | 3668 | 38095 | 2.5 |6786k| 99 | - | 305 |2962 | 305 | 68 |1054 |5788 |1208 | 0.000000e+00 | 5.000000e+01 | Inf
7.49/7.52 c 7.5s| 20000 | 3934 | 65170 | 3.3 |8059k| 99 | - | 305 |3083 | 0 | 0 |1642 |9650 |1239 | 0.000000e+00 | 5.000000e+01 | Inf
8.30/8.38 o 46
8.30/8.38 c * 8.4s| 21864 | 3808 | 76474 | 3.5 |8275k| 99 | - | 305 |2440 | 305 | 74 |1917 | 11k|1239 | 0.000000e+00 | 4.600000e+01 | Inf
8.99/9.00 o 19
8.99/9.00 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
8.99/9.00 c * 9.0s| 23237 | 2981 | 87107 | 3.7 |7702k| 99 | - | 305 |2842 | 305 | 66 |2090 | 12k|1242 | 0.000000e+00 | 1.900000e+01 | Inf
8.99/9.02 o 10
8.99/9.02 c * 9.0s| 23251 | 2603 | 87233 | 3.7 |7234k| 99 | - | 305 |2589 | 305 | 66 |2090 | 12k|1242 | 0.000000e+00 | 1.000000e+01 | Inf
9.09/9.19 o 8
9.09/9.19 c * 9.2s| 23391 | 2016 | 89947 | 3.8 |6556k| 99 | - | 305 |1806 | 305 | 63 |2107 | 12k|1245 | 0.000000e+00 | 8.000000e+00 | Inf
9.49/9.54 c
9.49/9.54 c SCIP Status : problem is solved [optimal solution found]
9.49/9.54 c Solving Time (sec) : 9.54
9.49/9.54 c Solving Nodes : 23833
9.49/9.54 c Primal Bound : +8.00000000000000e+00 (171 solutions)
9.49/9.54 c Dual Bound : +8.00000000000000e+00
9.49/9.54 c Gap : 0.00 %
9.49/9.54 s OPTIMUM FOUND
9.49/9.54 v -x169 -x168 -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 x148
9.49/9.54 v -x147 -x146 -x145 -x144 -x143 -x142 x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 x130 -x129 -x128 -x127
9.49/9.54 v -x126 -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106
9.49/9.54 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
9.49/9.54 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 -x56
9.49/9.54 v -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
9.49/9.54 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
9.49/9.54 v -x4 -x3 -x2 -x1
9.49/9.54 c SCIP Status : problem is solved [optimal solution found]
9.49/9.54 c Solving Time : 9.54
9.49/9.54 c Original Problem :
9.49/9.54 c Problem name : HOME/instance-2705294-1278572932.wbo
9.49/9.54 c Variables : 307 (238 binary, 0 integer, 69 implicit integer, 0 continuous)
9.49/9.54 c Constraints : 171 initial, 171 maximal
9.49/9.54 c Presolved Problem :
9.49/9.54 c Problem name : t_HOME/instance-2705294-1278572932.wbo
9.49/9.54 c Variables : 305 (237 binary, 0 integer, 68 implicit integer, 0 continuous)
9.49/9.54 c Constraints : 166 initial, 3270 maximal
9.49/9.54 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
9.49/9.54 c trivial : 0.00 0 0 0 0 0 0 0 0
9.49/9.54 c dualfix : 0.00 2 0 0 0 0 0 0 0
9.49/9.54 c boundshift : 0.00 0 0 0 0 0 0 0 0
9.49/9.54 c inttobinary : 0.00 0 0 0 0 0 0 0 0
9.49/9.54 c implics : 0.00 0 0 0 0 0 0 0 0
9.49/9.54 c probing : 0.01 0 0 0 0 0 0 0 0
9.49/9.54 c setppc : 0.00 0 0 0 0 0 0 0 0
9.49/9.54 c linear : 0.00 0 0 0 68 0 4 1 0
9.49/9.54 c indicator : 0.00 0 0 0 0 0 1 0 0
9.49/9.54 c logicor : 0.00 0 0 0 0 0 0 0 0
9.49/9.54 c bounddisjunction : 0.00 0 0 0 0 0 0 0 0
9.49/9.54 c root node : - 124 - - 124 - - - -
9.49/9.54 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
9.49/9.54 c integral : 0 0 0 17687 0 0 82 0 0 14612
9.49/9.54 c setppc : 23 4 77403 10283 0 195 42936 0 0 0
9.49/9.54 c linear : 68 4 77292 10288 0 2565 260890 2170 0 0
9.49/9.54 c indicator : 68 0 74714 10308 0 541 96012 0 0 0
9.49/9.54 c logicor : 7+ 4 27652 8640 0 1587 14413 0 0 0
9.49/9.54 c bounddisjunction : 0+ 0 22094 0 0 62 2889 0 0 0
9.49/9.54 c countsols : 0 0 0 9082 0 0 0 0 0 0
9.49/9.54 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
9.49/9.54 c integral : 0.67 0.00 0.00 0.67 0.00
9.49/9.54 c setppc : 0.09 0.00 0.09 0.00 0.00
9.49/9.54 c linear : 1.02 0.00 0.98 0.04 0.00
9.49/9.54 c indicator : 0.19 0.00 0.15 0.04 0.00
9.49/9.54 c logicor : 0.40 0.00 0.39 0.00 0.00
9.49/9.54 c bounddisjunction : 0.35 0.00 0.35 0.00 0.00
9.49/9.54 c countsols : 0.00 0.00 0.00 0.00 0.00
9.49/9.54 c Propagators : Time Calls Cutoffs DomReds
9.49/9.54 c vbounds : 0.10 16510 4 4173
9.49/9.54 c rootredcost : 0.01 26 0 62
9.49/9.54 c pseudoobj : 0.34 78841 1518 97581
9.49/9.54 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
9.49/9.54 c propagation : 0.32 5927 5917 38408 23.3 66 23.5 -
9.49/9.54 c infeasible LP : 0.11 2054 2051 12213 20.6 16 15.8 0
9.49/9.54 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
9.49/9.54 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
9.49/9.54 c pseudo solution : 0.00 2 2 13 17.0 0 0.0 -
9.49/9.54 c applied globally : - - - 13356 16.8 - - -
9.49/9.54 c applied locally : - - - 118 33.8 - - -
9.49/9.54 c Separators : Time Calls Cutoffs DomReds Cuts Conss
9.49/9.54 c cut pool : 0.00 2 - - 0 - (maximal pool size: 41)
9.49/9.54 c redcost : 0.12 18168 0 2642 0 0
9.49/9.54 c impliedbounds : 0.00 3 0 0 0 0
9.49/9.54 c intobj : 0.00 0 0 0 0 0
9.49/9.54 c cgmip : 0.00 0 0 0 0 0
9.49/9.54 c gomory : 0.00 3 0 0 35 0
9.49/9.54 c strongcg : 0.00 3 0 0 35 0
9.49/9.54 c cmir : 0.00 3 0 0 0 0
9.49/9.54 c flowcover : 0.00 3 0 0 1 0
9.49/9.54 c clique : 0.00 3 0 0 0 0
9.49/9.54 c zerohalf : 0.00 0 0 0 0 0
9.49/9.54 c mcf : 0.00 1 0 0 0 0
9.49/9.54 c rapidlearning : 0.01 1 0 0 0 0
9.49/9.54 c Pricers : Time Calls Vars
9.49/9.54 c problem variables: 0.00 0 0
9.49/9.54 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
9.49/9.54 c relpscost : 0.66 7376 0 82 0 0 14612
9.49/9.54 c pscost : 0.00 0 0 0 0 0 0
9.49/9.54 c inference : 0.16 9057 0 0 0 0 18234
9.49/9.54 c mostinf : 0.00 0 0 0 0 0 0
9.49/9.54 c leastinf : 0.00 0 0 0 0 0 0
9.49/9.54 c fullstrong : 0.00 0 0 0 0 0 0
9.49/9.54 c allfullstrong : 0.00 0 0 0 0 0 0
9.49/9.54 c random : 0.00 0 0 0 0 0 0
9.49/9.54 c Primal Heuristics : Time Calls Found
9.49/9.54 c LP solutions : 0.01 - 25
9.49/9.54 c pseudo solutions : 0.00 - 0
9.49/9.54 c feaspump : 0.00 1 0
9.49/9.54 c oneopt : 0.02 24 0
9.49/9.54 c crossover : 0.19 19 0
9.49/9.54 c veclendiving : 0.02 184 0
9.49/9.54 c linesearchdiving : 0.02 184 0
9.49/9.54 c guideddiving : 0.03 184 0
9.49/9.54 c pscostdiving : 0.03 185 0
9.49/9.54 c fracdiving : 0.02 185 0
9.49/9.54 c coefdiving : 0.02 185 0
9.49/9.54 c objpscostdiving : 0.01 168 0
9.49/9.54 c rootsoldiving : 0.02 168 0
9.49/9.54 c trivial : 0.00 2 0
9.49/9.54 c simplerounding : 0.01 7476 0
9.49/9.54 c zirounding : 0.02 1000 0
9.49/9.54 c rounding : 0.02 1173 0
9.49/9.54 c shifting : 0.03 330 0
9.49/9.54 c intshifting : 0.00 0 0
9.49/9.54 c twoopt : 0.00 0 0
9.49/9.54 c fixandinfer : 0.00 0 0
9.49/9.54 c intdiving : 0.00 0 0
9.49/9.54 c actconsdiving : 0.00 0 0
9.49/9.54 c octane : 0.00 0 0
9.49/9.54 c rens : 0.01 1 0
9.49/9.54 c rins : 0.00 0 0
9.49/9.54 c localbranching : 0.00 0 0
9.49/9.54 c mutation : 0.00 0 0
9.49/9.54 c dins : 0.00 0 0
9.49/9.54 c undercover : 0.00 0 0
9.49/9.54 c nlp : 0.00 0 0
9.49/9.54 c trysol : 0.02 520 146
9.49/9.54 c LP : Time Calls Iterations Iter/call Iter/sec
9.49/9.54 c primal LP : 0.00 0 0 0.00 -
9.49/9.54 c dual LP : 3.31 12250 98858 8.07 29844.83
9.49/9.54 c lex dual LP : 0.00 0 0 0.00 -
9.49/9.54 c barrier LP : 0.00 0 0 0.00 -
9.49/9.54 c diving/probing LP: 0.04 256 754 2.95 17914.42
9.49/9.54 c strong branching : 0.63 1262 28515 22.60 45413.64
9.49/9.54 c (at root node) : - 19 1326 69.79 -
9.49/9.54 c conflict analysis: 0.00 0 0 0.00 -
9.49/9.54 c B&B Tree :
9.49/9.54 c number of runs : 1
9.49/9.54 c nodes : 23833
9.49/9.54 c nodes (total) : 23833
9.49/9.54 c nodes left : 0
9.49/9.54 c max depth : 99
9.49/9.54 c max depth (total): 99
9.49/9.54 c backtracks : 2787 (11.7%)
9.49/9.54 c delayed cutoffs : 3659
9.49/9.54 c repropagations : 30163 (83435 domain reductions, 996 cutoffs)
9.49/9.54 c avg switch length: 5.34
9.49/9.54 c switching time : 0.96
9.49/9.54 c Solution :
9.49/9.54 c Solutions found : 171 (26 improvements)
9.49/9.54 c First Solution : +3.16200000000000e+03 (in run 1, after 14 nodes, 0.21 seconds, depth 14, found by <trysol>)
9.49/9.54 c Primal Bound : +8.00000000000000e+00 (in run 1, after 23391 nodes, 9.18 seconds, depth 13, found by <relaxation>)
9.49/9.54 c Dual Bound : +8.00000000000000e+00
9.49/9.54 c Gap : 0.00 %
9.49/9.54 c Root Dual Bound : +0.00000000000000e+00
9.49/9.54 c Root Iterations : 72
9.49/9.55 c Time complete: 9.54.