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-2705258-1278572929.wbo>
0.00/0.00 c original problem has 297 variables (233 bin, 0 int, 64 impl, 0 cont) and 166 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, 2 impls, 23 clqs
0.00/0.01 c (round 2) 0 del vars, 6 del conss, 0 chg bounds, 1 chg sides, 0 chg coeffs, 0 upgd conss, 2 impls, 23 clqs
0.00/0.01 c (round 3) 1 del vars, 7 del conss, 63 chg bounds, 1 chg sides, 0 chg coeffs, 0 upgd conss, 2 impls, 23 clqs
0.00/0.01 c (round 4) 2 del vars, 7 del conss, 63 chg bounds, 1 chg sides, 0 chg coeffs, 33 upgd conss, 2 impls, 23 clqs
0.00/0.02 c (0.0s) probing: 101/232 (43.5%) - 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, 7 deleted constraints, 63 tightened bounds, 0 added holes, 1 changed sides, 0 changed coefficients
0.00/0.02 c 83 implications, 23 cliques
0.00/0.02 c presolved problem has 295 variables (232 bin, 0 int, 63 impl, 0 cont) and 159 constraints
0.00/0.02 c 1 constraints of type <knapsack>
0.00/0.02 c 24 constraints of type <setppc>
0.00/0.02 c 63 constraints of type <linear>
0.00/0.02 c 63 constraints of type <indicator>
0.00/0.02 c 8 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 | 10 | - |1176k| 0 | 0 | 295 | 159 | 295 | 33 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
0.00/0.03 c 0.0s| 1 | 0 | 21 | - |1187k| 0 | 3 | 295 | 159 | 295 | 44 | 11 | 0 | 0 | 0.000000e+00 | -- | Inf
0.00/0.03 c 0.0s| 1 | 0 | 27 | - |1199k| 0 | 16 | 295 | 159 | 295 | 51 | 18 | 0 | 0 | 0.000000e+00 | -- | Inf
0.00/0.04 c 0.0s| 1 | 0 | 44 | - |1232k| 0 | 23 | 295 | 159 | 295 | 62 | 29 | 0 | 0 | 0.000000e+00 | -- | Inf
0.00/0.04 c 0.0s| 1 | 0 | 61 | - |1543k| 0 | 29 | 295 | 159 | 295 | 69 | 36 | 0 | 0 | 0.000000e+00 | -- | Inf
0.00/0.05 c 0.0s| 1 | 0 | 87 | - |1567k| 0 | 39 | 295 | 159 | 295 | 71 | 38 | 0 | 0 | 0.000000e+00 | -- | Inf
0.00/0.06 c 0.1s| 1 | 0 | 116 | - |1596k| 0 | 42 | 295 | 159 | 295 | 72 | 39 | 0 | 0 | 0.000000e+00 | -- | Inf
0.09/0.12 c 0.1s| 1 | 2 | 116 | - |1603k| 0 | 42 | 295 | 159 | 295 | 72 | 39 | 0 | 20 | 0.000000e+00 | -- | Inf
0.09/0.12 o 2855
0.09/0.12 c y 0.1s| 2 | 1 | 116 | 0.0 |1606k| 1 | - | 295 | 159 | 0 | 0 | 39 | 0 | 20 | 0.000000e+00 | 2.855000e+03 | Inf
0.39/0.43 o 574
0.39/0.43 c * 0.4s| 40 | 39 | 725 | 15.6 |1690k| 19 | - | 295 | 159 | 295 | 75 | 47 | 0 | 211 | 0.000000e+00 | 5.740000e+02 | Inf
0.59/0.61 o 425
0.59/0.61 c * 0.6s| 241 | 191 | 1570 | 6.1 |1890k| 42 | - | 295 | 199 | 295 | 75 | 74 | 40 | 395 | 0.000000e+00 | 4.250000e+02 | Inf
0.59/0.65 o 373
0.59/0.65 c * 0.6s| 306 | 219 | 1827 | 5.6 |1958k| 42 | - | 295 | 222 | 295 | 76 | 80 | 63 | 436 | 0.000000e+00 | 3.730000e+02 | Inf
0.59/0.65 o 372
0.59/0.65 c * 0.7s| 308 | 219 | 1829 | 5.6 |1975k| 42 | - | 295 | 222 | 295 | 77 | 81 | 63 | 436 | 0.000000e+00 | 3.720000e+02 | Inf
0.79/0.80 o 348
0.79/0.80 c g 0.8s| 593 | 402 | 2781 | 4.5 |2216k| 58 | - | 295 | 301 | 295 | 73 | 93 | 142 | 537 | 0.000000e+00 | 3.480000e+02 | Inf
0.79/0.84 o 322
0.79/0.84 c * 0.8s| 715 | 480 | 3006 | 4.0 |2301k| 58 | - | 295 | 334 | 295 | 74 | 96 | 175 | 556 | 0.000000e+00 | 3.220000e+02 | Inf
0.89/0.93 o 272
0.89/0.93 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.89/0.93 c * 0.9s| 974 | 619 | 3721 | 3.7 |2511k| 58 | - | 295 | 404 | 295 | 73 | 109 | 245 | 603 | 0.000000e+00 | 2.720000e+02 | Inf
1.10/1.16 o 261
1.10/1.16 c * 1.2s| 1640 | 1080 | 4896 | 2.9 |3020k| 58 | - | 295 | 552 | 295 | 77 | 148 | 393 | 723 | 0.000000e+00 | 2.610000e+02 | Inf
1.10/1.19 o 238
1.10/1.19 c * 1.2s| 1723 | 1079 | 5055 | 2.9 |3076k| 58 | - | 295 | 592 | 295 | 73 | 151 | 433 | 735 | 0.000000e+00 | 2.380000e+02 | Inf
1.39/1.45 o 235
1.39/1.45 c * 1.4s| 2490 | 1450 | 6508 | 2.6 |3584k| 58 | - | 295 | 864 | 295 | 77 | 203 | 706 | 795 | 0.000000e+00 | 2.350000e+02 | Inf
1.49/1.55 o 227
1.49/1.55 c * 1.5s| 2817 | 1573 | 6904 | 2.4 |3806k| 77 | - | 295 |1048 | 295 | 76 | 214 | 894 | 819 | 0.000000e+00 | 2.270000e+02 | Inf
1.89/1.93 o 209
1.89/1.93 c * 1.9s| 4068 | 2116 | 9309 | 2.3 |4536k| 77 | - | 295 |1531 | 295 | 73 | 262 |1379 | 885 | 0.000000e+00 | 2.090000e+02 | Inf
2.20/2.27 o 173
2.20/2.27 c * 2.3s| 4983 | 2475 | 11682 | 2.3 |5041k| 77 | - | 295 |1848 | 295 | 77 | 323 |1725 | 958 | 0.000000e+00 | 1.730000e+02 | Inf
2.29/2.30 o 144
2.29/2.30 c * 2.3s| 5106 | 2459 | 11851 | 2.3 |5003k| 77 | - | 295 |1860 | 295 | 74 | 326 |1739 | 958 | 0.000000e+00 | 1.440000e+02 | Inf
2.49/2.56 o 137
2.49/2.56 c * 2.6s| 5797 | 2743 | 13651 | 2.3 |5371k| 77 | - | 295 |2081 | 295 | 74 | 380 |2010 |1018 | 0.000000e+00 | 1.370000e+02 | Inf
2.49/2.59 o 124
2.49/2.59 c * 2.6s| 5854 | 2713 | 14113 | 2.4 |5353k| 77 | - | 295 |2089 | 295 | 72 | 389 |2022 |1025 | 0.000000e+00 | 1.240000e+02 | Inf
2.89/2.96 o 118
2.89/2.96 c * 3.0s| 6670 | 2969 | 17641 | 2.6 |5807k| 77 | - | 295 |2246 | 295 | 73 | 468 |2479 |1095 | 0.000000e+00 | 1.180000e+02 | Inf
3.99/4.05 o 110
3.99/4.05 c * 4.0s| 9610 | 3671 | 25763 | 2.7 |7089k| 77 | - | 295 |2280 | 295 | 74 | 666 |4321 |1206 | 0.000000e+00 | 1.100000e+02 | Inf
4.19/4.20 c 4.2s| 10000 | 3732 | 26629 | 2.7 |7217k| 77 | 1 | 295 |2259 | 295 | 74 | 692 |4607 |1218 | 0.000000e+00 | 1.100000e+02 | Inf
4.30/4.31 o 77
4.30/4.31 c * 4.3s| 10279 | 3136 | 27350 | 2.6 |6750k| 77 | - | 295 |2263 | 295 | 78 | 717 |4808 |1225 | 0.000000e+00 | 7.700000e+01 | Inf
5.29/5.33 o 65
5.29/5.33 c * 5.3s| 12599 | 3433 | 38251 | 3.0 |7545k| 77 | - | 295 |2074 | 295 | 71 | 957 |6466 |1300 | 0.000000e+00 | 6.500000e+01 | Inf
5.29/5.37 o 62
5.29/5.37 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
5.29/5.37 c * 5.4s| 12684 | 3354 | 38724 | 3.0 |7455k| 77 | - | 295 |1913 | 295 | 72 | 962 |6516 |1302 | 0.000000e+00 | 6.200000e+01 | Inf
5.69/5.75 o 57
5.69/5.75 c * 5.7s| 13395 | 3410 | 43965 | 3.3 |7686k| 77 | - | 295 |1856 | 295 | 73 |1106 |7111 |1322 | 0.000000e+00 | 5.700000e+01 | Inf
6.20/6.21 o 53
6.20/6.21 c * 6.2s| 14313 | 3250 | 49804 | 3.5 |7755k| 77 | - | 295 |1904 | 295 | 72 |1212 |7948 |1334 | 0.000000e+00 | 5.300000e+01 | Inf
6.20/6.21 o 50
6.20/6.21 c * 6.2s| 14314 | 3213 | 49806 | 3.5 |7715k| 77 | - | 295 |1904 | 295 | 72 |1212 |7948 |1334 | 0.000000e+00 | 5.000000e+01 | Inf
6.49/6.57 o 36
6.49/6.57 c * 6.6s| 14991 | 2945 | 54555 | 3.6 |7600k| 77 | - | 295 |1973 | 295 | 72 |1316 |8551 |1359 | 0.000000e+00 | 3.600000e+01 | Inf
6.49/6.57 o 33
6.49/6.57 c * 6.6s| 14999 | 2924 | 54589 | 3.6 |7560k| 77 | - | 295 |1911 | 295 | 73 |1317 |8554 |1359 | 0.000000e+00 | 3.300000e+01 | Inf
6.49/6.58 o 30
6.49/6.58 c * 6.6s| 15018 | 2828 | 54667 | 3.6 |7457k| 77 | - | 295 |1899 | 295 | 74 |1320 |8568 |1359 | 0.000000e+00 | 3.000000e+01 | Inf
6.60/6.61 o 12
6.60/6.61 c * 6.6s| 15043 | 1847 | 55087 | 3.7 |6398k| 77 | - | 295 |1787 | 295 | 73 |1322 |8612 |1359 | 0.000000e+00 | 1.200000e+01 | Inf
6.89/6.91 c
6.89/6.91 c SCIP Status : problem is solved [optimal solution found]
6.89/6.91 c Solving Time (sec) : 6.91
6.89/6.91 c Solving Nodes : 15336
6.89/6.91 c Primal Bound : +1.20000000000000e+01 (146 solutions)
6.89/6.91 c Dual Bound : +1.20000000000000e+01
6.89/6.91 c Gap : 0.00 %
6.89/6.91 s OPTIMUM FOUND
6.89/6.91 v -x169 -x168 x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 x152 -x151 -x150 -x149 -x148
6.89/6.91 v -x147 -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 x133 -x132 -x131 x130 -x129 -x128 -x127
6.89/6.91 v -x126 -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 x108 -x107 -x106
6.89/6.91 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
6.89/6.91 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
6.89/6.91 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
6.89/6.91 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
6.89/6.91 v -x4 -x3 -x2 -x1
6.89/6.91 c SCIP Status : problem is solved [optimal solution found]
6.89/6.91 c Solving Time : 6.91
6.89/6.91 c Original Problem :
6.89/6.91 c Problem name : HOME/instance-2705258-1278572929.wbo
6.89/6.91 c Variables : 297 (233 binary, 0 integer, 64 implicit integer, 0 continuous)
6.89/6.91 c Constraints : 166 initial, 166 maximal
6.89/6.91 c Presolved Problem :
6.89/6.91 c Problem name : t_HOME/instance-2705258-1278572929.wbo
6.89/6.91 c Variables : 295 (232 binary, 0 integer, 63 implicit integer, 0 continuous)
6.89/6.91 c Constraints : 159 initial, 2780 maximal
6.89/6.91 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
6.89/6.91 c trivial : 0.00 0 0 0 0 0 0 0 0
6.89/6.91 c dualfix : 0.00 2 0 0 0 0 0 0 0
6.89/6.91 c boundshift : 0.00 0 0 0 0 0 0 0 0
6.89/6.91 c inttobinary : 0.00 0 0 0 0 0 0 0 0
6.89/6.91 c implics : 0.00 0 0 0 0 0 0 0 0
6.89/6.91 c probing : 0.01 0 0 0 0 0 0 0 0
6.89/6.91 c knapsack : 0.00 0 0 0 0 0 0 0 0
6.89/6.91 c setppc : 0.00 0 0 0 0 0 0 0 0
6.89/6.91 c linear : 0.00 0 0 0 63 0 6 1 0
6.89/6.91 c indicator : 0.00 0 0 0 0 0 1 0 0
6.89/6.91 c logicor : 0.00 0 0 0 0 0 0 0 0
6.89/6.91 c bounddisjunction : 0.00 0 0 0 0 0 0 0 0
6.89/6.91 c root node : - 102 - - 102 - - - -
6.89/6.91 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
6.89/6.91 c integral : 0 0 0 11459 0 0 204 0 0 8734
6.89/6.91 c knapsack : 1 6 50350 6882 0 229 115608 0 0 0
6.89/6.91 c setppc : 24 6 49916 6838 0 955 28679 0 0 0
6.89/6.91 c linear : 63 6 49113 6849 0 656 52848 1348 0 0
6.89/6.91 c indicator : 63 0 48520 6917 0 257 51940 0 0 0
6.89/6.91 c logicor : 8+ 6 19690 5817 0 877 8384 0 0 0
6.89/6.91 c bounddisjunction : 0+ 0 10849 0 0 32 236 0 0 0
6.89/6.91 c countsols : 0 0 0 6175 0 0 0 0 0 0
6.89/6.91 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
6.89/6.91 c integral : 0.81 0.00 0.00 0.81 0.00
6.89/6.91 c knapsack : 0.79 0.00 0.79 0.00 0.00
6.89/6.91 c setppc : 0.07 0.00 0.07 0.00 0.00
6.89/6.91 c linear : 0.33 0.00 0.31 0.03 0.00
6.89/6.91 c indicator : 0.12 0.00 0.09 0.03 0.00
6.89/6.91 c logicor : 0.32 0.00 0.31 0.00 0.00
6.89/6.91 c bounddisjunction : 0.05 0.00 0.05 0.00 0.00
6.89/6.91 c countsols : 0.00 0.00 0.00 0.00 0.00
6.89/6.91 c Propagators : Time Calls Cutoffs DomReds
6.89/6.91 c vbounds : 0.06 9770 0 1845
6.89/6.91 c rootredcost : 0.01 29 0 51
6.89/6.91 c pseudoobj : 0.16 50986 777 48361
6.89/6.91 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
6.89/6.91 c propagation : 0.12 3526 3501 20949 22.1 29 20.3 -
6.89/6.91 c infeasible LP : 0.08 1641 1637 8711 20.6 8 19.4 0
6.89/6.91 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
6.89/6.91 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
6.89/6.91 c pseudo solution : 0.00 1 1 6 10.7 0 0.0 -
6.89/6.91 c applied globally : - - - 9082 15.9 - - -
6.89/6.91 c applied locally : - - - 9 31.7 - - -
6.89/6.91 c Separators : Time Calls Cutoffs DomReds Cuts Conss
6.89/6.91 c cut pool : 0.00 4 - - 7 - (maximal pool size: 92)
6.89/6.91 c redcost : 0.07 11766 0 1262 0 0
6.89/6.91 c impliedbounds : 0.00 5 0 0 0 0
6.89/6.91 c intobj : 0.00 0 0 0 0 0
6.89/6.91 c cgmip : 0.00 0 0 0 0 0
6.89/6.91 c gomory : 0.01 5 0 0 73 0
6.89/6.91 c strongcg : 0.01 5 0 0 83 0
6.89/6.91 c cmir : 0.00 5 0 0 0 0
6.89/6.91 c flowcover : 0.01 5 0 0 0 0
6.89/6.91 c clique : 0.00 5 0 0 1 0
6.89/6.91 c zerohalf : 0.00 0 0 0 0 0
6.89/6.91 c mcf : 0.00 1 0 0 0 0
6.89/6.91 c rapidlearning : 0.01 1 0 0 0 0
6.89/6.91 c Pricers : Time Calls Vars
6.89/6.91 c problem variables: 0.00 0 0
6.89/6.91 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
6.89/6.91 c relpscost : 0.80 4541 0 204 0 0 8734
6.89/6.91 c pscost : 0.00 0 0 0 0 0 0
6.89/6.91 c inference : 0.09 6148 0 0 0 0 12298
6.89/6.91 c mostinf : 0.00 0 0 0 0 0 0
6.89/6.91 c leastinf : 0.00 0 0 0 0 0 0
6.89/6.91 c fullstrong : 0.00 0 0 0 0 0 0
6.89/6.91 c allfullstrong : 0.00 0 0 0 0 0 0
6.89/6.91 c random : 0.00 0 0 0 0 0 0
6.89/6.91 c Primal Heuristics : Time Calls Found
6.89/6.91 c LP solutions : 0.01 - 27
6.89/6.91 c pseudo solutions : 0.00 - 0
6.89/6.91 c oneopt : 0.02 28 0
6.89/6.91 c coefdiving : 0.01 72 0
6.89/6.91 c pscostdiving : 0.01 72 0
6.89/6.91 c fracdiving : 0.01 72 0
6.89/6.91 c veclendiving : 0.01 72 0
6.89/6.91 c linesearchdiving : 0.01 72 0
6.89/6.91 c objpscostdiving : 0.00 67 0
6.89/6.91 c rootsoldiving : 0.01 67 0
6.89/6.91 c trivial : 0.00 2 0
6.89/6.91 c simplerounding : 0.01 4596 0
6.89/6.91 c zirounding : 0.01 1000 0
6.89/6.91 c rounding : 0.01 898 0
6.89/6.91 c shifting : 0.03 253 0
6.89/6.91 c intshifting : 0.00 0 0
6.89/6.91 c twoopt : 0.00 0 0
6.89/6.91 c fixandinfer : 0.00 0 0
6.89/6.91 c feaspump : 0.00 1 0
6.89/6.91 c intdiving : 0.00 0 0
6.89/6.91 c actconsdiving : 0.00 0 0
6.89/6.91 c guideddiving : 0.01 73 1
6.89/6.91 c octane : 0.00 0 0
6.89/6.91 c rens : 0.01 1 0
6.89/6.91 c rins : 0.00 0 0
6.89/6.91 c localbranching : 0.00 0 0
6.89/6.91 c mutation : 0.00 0 0
6.89/6.91 c crossover : 0.13 15 0
6.89/6.91 c dins : 0.00 0 0
6.89/6.91 c undercover : 0.00 0 0
6.89/6.91 c nlp : 0.00 0 0
6.89/6.91 c trysol : 0.02 324 118
6.89/6.91 c LP : Time Calls Iterations Iter/call Iter/sec
6.89/6.91 c primal LP : 0.00 0 0 0.00 -
6.89/6.91 c dual LP : 2.25 7851 60918 7.76 27036.89
6.89/6.91 c lex dual LP : 0.00 0 0 0.00 -
6.89/6.91 c barrier LP : 0.00 0 0 0.00 -
6.89/6.91 c diving/probing LP: 0.02 79 334 4.23 18082.40
6.89/6.91 c strong branching : 0.78 1364 34559 25.34 44369.15
6.89/6.91 c (at root node) : - 20 1920 96.00 -
6.89/6.91 c conflict analysis: 0.00 0 0 0.00 -
6.89/6.91 c B&B Tree :
6.89/6.91 c number of runs : 1
6.89/6.91 c nodes : 15336
6.89/6.91 c nodes (total) : 15336
6.89/6.91 c nodes left : 0
6.89/6.91 c max depth : 77
6.89/6.91 c max depth (total): 77
6.89/6.91 c backtracks : 2061 (13.4%)
6.89/6.91 c delayed cutoffs : 2516
6.89/6.91 c repropagations : 19987 (54252 domain reductions, 587 cutoffs)
6.89/6.91 c avg switch length: 5.12
6.89/6.91 c switching time : 0.57
6.89/6.91 c Solution :
6.89/6.91 c Solutions found : 146 (29 improvements)
6.89/6.91 c First Solution : +2.85500000000000e+03 (in run 1, after 1 nodes, 0.07 seconds, depth 0, found by <trysol>)
6.89/6.91 c Primal Bound : +1.20000000000000e+01 (in run 1, after 15043 nodes, 6.61 seconds, depth 17, found by <relaxation>)
6.89/6.91 c Dual Bound : +1.20000000000000e+01
6.89/6.91 c Gap : 0.00 %
6.89/6.91 c Root Dual Bound : +0.00000000000000e+00
6.89/6.91 c Root Iterations : 116
6.89/6.91 c Time complete: 6.9.