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-2705285-1278572931.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, 0 impls, 30 clqs
0.00/0.01 c (round 2) 0 del vars, 6 del conss, 0 chg bounds, 2 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 30 clqs
0.00/0.01 c (round 3) 2 del vars, 8 del conss, 62 chg bounds, 2 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 30 clqs
0.00/0.01 c (round 4) 4 del vars, 8 del conss, 62 chg bounds, 2 chg sides, 0 chg coeffs, 34 upgd conss, 0 impls, 30 clqs
0.00/0.02 c (0.0s) probing: 101/231 (43.7%) - 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 4 deleted vars, 8 deleted constraints, 62 tightened bounds, 0 added holes, 2 changed sides, 0 changed coefficients
0.00/0.02 c 85 implications, 30 cliques
0.00/0.02 c presolved problem has 293 variables (231 bin, 0 int, 62 impl, 0 cont) and 158 constraints
0.00/0.02 c 30 constraints of type <setppc>
0.00/0.02 c 62 constraints of type <linear>
0.00/0.02 c 62 constraints of type <indicator>
0.00/0.02 c 4 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 | 9 | - |1040k| 0 | 0 | 293 | 158 | 293 | 34 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
0.00/0.03 c 0.0s| 1 | 0 | 33 | - |1067k| 0 | 7 | 293 | 158 | 293 | 55 | 21 | 0 | 0 | 0.000000e+00 | -- | Inf
0.00/0.03 c 0.0s| 1 | 0 | 56 | - |1117k| 0 | 32 | 293 | 158 | 293 | 61 | 27 | 0 | 0 | 0.000000e+00 | -- | Inf
0.00/0.04 c 0.0s| 1 | 0 | 66 | - |1368k| 0 | 35 | 293 | 158 | 293 | 68 | 34 | 0 | 0 | 0.000000e+00 | -- | Inf
0.00/0.05 c 0.0s| 1 | 0 | 87 | - |1387k| 0 | 40 | 293 | 158 | 293 | 70 | 36 | 0 | 0 | 0.000000e+00 | -- | Inf
0.00/0.06 c 0.1s| 1 | 0 | 106 | - |1393k| 0 | 37 | 293 | 158 | 293 | 72 | 38 | 0 | 0 | 0.000000e+00 | -- | Inf
0.00/0.07 c 0.1s| 1 | 0 | 113 | - |1396k| 0 | 39 | 293 | 158 | 293 | 73 | 39 | 0 | 0 | 0.000000e+00 | -- | Inf
0.09/0.14 c 0.1s| 1 | 2 | 113 | - |1399k| 0 | 39 | 293 | 158 | 293 | 73 | 39 | 0 | 15 | 0.000000e+00 | -- | Inf
0.29/0.31 o 3276
0.29/0.31 c y 0.3s| 18 | 17 | 585 | 27.8 |1440k| 16 | - | 293 | 158 | 0 | 0 | 46 | 0 | 150 | 0.000000e+00 | 3.276000e+03 | Inf
0.59/0.63 o 757
0.59/0.63 c * 0.6s| 127 | 118 | 1769 | 13.1 |1614k| 21 | - | 293 | 164 | 293 | 76 | 91 | 6 | 521 | 0.000000e+00 | 7.570000e+02 | Inf
0.59/0.63 o 651
0.59/0.63 c * 0.6s| 135 | 122 | 1823 | 12.8 |1630k| 21 | - | 293 | 165 | 293 | 76 | 92 | 7 | 527 | 0.000000e+00 | 6.510000e+02 | Inf
0.59/0.67 o 381
0.59/0.67 c c 0.7s| 193 | 157 | 1944 | 9.5 |1697k| 43 | - | 293 | 173 | 293 | 76 | 93 | 15 | 555 | 0.000000e+00 | 3.810000e+02 | Inf
0.69/0.79 o 368
0.69/0.79 c * 0.8s| 408 | 300 | 2469 | 5.8 |1917k| 43 | - | 293 | 207 | 293 | 76 | 118 | 49 | 695 | 0.000000e+00 | 3.680000e+02 | Inf
0.79/0.80 o 351
0.79/0.80 c * 0.8s| 455 | 327 | 2512 | 5.3 |1958k| 46 | - | 293 | 215 | 293 | 76 | 118 | 57 | 695 | 0.000000e+00 | 3.510000e+02 | Inf
0.79/0.80 o 335
0.79/0.80 c * 0.8s| 456 | 320 | 2512 | 5.3 |1960k| 46 | - | 293 | 215 | 293 | 76 | 118 | 57 | 695 | 0.000000e+00 | 3.350000e+02 | Inf
0.79/0.85 o 328
0.79/0.85 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.79/0.85 c * 0.9s| 601 | 409 | 2731 | 4.4 |2100k| 46 | - | 293 | 246 | 293 | 78 | 135 | 88 | 723 | 0.000000e+00 | 3.280000e+02 | Inf
1.00/1.07 o 310
1.00/1.07 c * 1.1s| 1324 | 1005 | 3608 | 2.6 |2604k| 87 | - | 293 | 322 | 293 | 79 | 204 | 164 | 828 | 0.000000e+00 | 3.100000e+02 | Inf
1.19/1.24 o 307
1.19/1.24 c * 1.2s| 1930 | 1503 | 4599 | 2.3 |3096k| 89 | - | 293 | 407 | 293 | 76 | 242 | 257 | 898 | 0.000000e+00 | 3.070000e+02 | Inf
1.39/1.49 o 251
1.39/1.49 c * 1.5s| 2792 | 1928 | 5823 | 2.0 |3608k| 89 | - | 293 | 603 | 293 | 77 | 291 | 472 | 959 | 0.000000e+00 | 2.510000e+02 | Inf
1.49/1.55 o 249
1.49/1.55 c * 1.5s| 3045 | 2103 | 6170 | 2.0 |3754k| 89 | - | 293 | 643 | 293 | 74 | 300 | 519 | 973 | 0.000000e+00 | 2.490000e+02 | Inf
1.49/1.55 o 245
1.49/1.55 c * 1.5s| 3046 | 2081 | 6170 | 2.0 |3726k| 89 | - | 293 | 643 | 293 | 74 | 300 | 519 | 973 | 0.000000e+00 | 2.450000e+02 | Inf
1.99/2.08 o 241
1.99/2.08 c * 2.1s| 4948 | 3004 | 9844 | 2.0 |4800k| 89 | - | 293 |1164 | 293 | 74 | 397 |1119 |1036 | 0.000000e+00 | 2.410000e+02 | Inf
2.19/2.22 o 212
2.19/2.22 c * 2.2s| 5360 | 2995 | 10882 | 2.0 |4967k| 89 | - | 293 |1338 | 293 | 73 | 414 |1303 |1049 | 0.000000e+00 | 2.120000e+02 | Inf
2.19/2.25 o 176
2.19/2.25 c * 2.2s| 5447 | 2767 | 11044 | 2.0 |4841k| 89 | - | 293 |1368 | 293 | 78 | 417 |1347 |1052 | 0.000000e+00 | 1.760000e+02 | Inf
2.69/2.71 o 169
2.69/2.71 c * 2.7s| 7003 | 3392 | 14191 | 2.0 |5702k| 89 | - | 293 |1865 | 293 | 74 | 488 |1947 |1092 | 0.000000e+00 | 1.690000e+02 | Inf
2.79/2.85 o 145
2.79/2.85 c l 2.8s| 7408 | 3483 | 15575 | 2.1 |5839k| 89 | - | 293 |1942 | 293 | 81 | 557 |2063 |1117 | 0.000000e+00 | 1.450000e+02 | Inf
2.99/3.07 o 120
2.99/3.07 c * 3.1s| 7954 | 3559 | 17622 | 2.2 |5969k| 89 | - | 293 |2048 | 293 | 75 | 652 |2213 |1147 | 0.000000e+00 | 1.200000e+02 | Inf
3.09/3.12 o 115
3.09/3.12 c * 3.1s| 8059 | 3532 | 18412 | 2.3 |5995k| 89 | - | 293 |2094 | 293 | 75 | 685 |2272 |1150 | 0.000000e+00 | 1.150000e+02 | Inf
3.09/3.14 o 86
3.09/3.14 c * 3.1s| 8081 | 3040 | 18571 | 2.3 |5626k| 89 | - | 293 |2101 | 293 | 73 | 685 |2282 |1153 | 0.000000e+00 | 8.600000e+01 | Inf
3.09/3.17 o 82
3.09/3.17 c * 3.2s| 8130 | 2851 | 19186 | 2.3 |5503k| 89 | - | 293 |2101 | 293 | 81 | 719 |2312 |1162 | 0.000000e+00 | 8.200000e+01 | Inf
3.09/3.17 o 80
3.09/3.17 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
3.09/3.18 c * 3.2s| 8131 | 2847 | 19186 | 2.3 |5500k| 89 | - | 293 |2101 | 293 | 81 | 719 |2312 |1162 | 0.000000e+00 | 8.000000e+01 | Inf
3.09/3.19 o 69
3.09/3.19 c * 3.2s| 8150 | 2773 | 19433 | 2.4 |5435k| 89 | - | 293 |2075 | 293 | 82 | 730 |2320 |1166 | 0.000000e+00 | 6.900000e+01 | Inf
3.09/3.20 o 62
3.09/3.20 c * 3.2s| 8158 | 2547 | 19582 | 2.4 |5237k| 89 | - | 293 |2065 | 293 | 76 | 732 |2320 |1170 | 0.000000e+00 | 6.200000e+01 | Inf
3.20/3.23 o 60
3.20/3.23 c * 3.2s| 8193 | 2510 | 20289 | 2.5 |5236k| 89 | - | 293 |2059 | 293 | 80 | 739 |2341 |1177 | 0.000000e+00 | 6.000000e+01 | Inf
3.30/3.34 o 58
3.30/3.34 c * 3.3s| 8439 | 2372 | 21884 | 2.6 |5226k| 89 | - | 293 |2155 | 293 | 80 | 756 |2488 |1201 | 0.000000e+00 | 5.800000e+01 | Inf
3.39/3.41 o 49
3.39/3.41 c * 3.4s| 8587 | 2219 | 22971 | 2.7 |5141k| 89 | - | 293 |2184 | 293 | 76 | 766 |2581 |1213 | 0.000000e+00 | 4.900000e+01 | Inf
3.39/3.45 o 44
3.39/3.45 c * 3.4s| 8642 | 2192 | 23387 | 2.7 |5139k| 89 | - | 293 |2190 | 293 | 79 | 772 |2643 |1216 | 0.000000e+00 | 4.400000e+01 | Inf
3.49/3.51 o 31
3.49/3.51 c * 3.5s| 8724 | 2037 | 24139 | 2.8 |5076k| 89 | - | 293 |2226 | 293 | 74 | 794 |2746 |1222 | 0.000000e+00 | 3.100000e+01 | Inf
3.59/3.62 o 29
3.59/3.62 c * 3.6s| 8929 | 1126 | 25738 | 2.9 |4528k| 89 | - | 293 |2337 | 293 | 76 | 848 |2931 |1223 | 0.000000e+00 | 2.900000e+01 | Inf
3.69/3.77 c
3.69/3.77 c SCIP Status : problem is solved [optimal solution found]
3.69/3.77 c Solving Time (sec) : 3.77
3.69/3.77 c Solving Nodes : 9027
3.69/3.77 c Primal Bound : +2.90000000000000e+01 (129 solutions)
3.69/3.77 c Dual Bound : +2.90000000000000e+01
3.69/3.77 c Gap : 0.00 %
3.69/3.77 s OPTIMUM FOUND
3.69/3.77 v -x169 -x168 -x167 -x166 -x165 -x164 -x163 x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 x154 -x153 -x152 -x151 -x150 -x149 -x148
3.69/3.77 v -x147 -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 x131 -x130 -x129 -x128 -x127
3.69/3.77 v -x126 -x125 -x124 -x123 x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 x111 -x110 -x109 -x108 -x107 -x106
3.69/3.77 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.69/3.77 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
3.69/3.77 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
3.69/3.77 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.69/3.77 v -x4 -x3 -x2 -x1
3.69/3.77 c SCIP Status : problem is solved [optimal solution found]
3.69/3.77 c Solving Time : 3.77
3.69/3.77 c Original Problem :
3.69/3.77 c Problem name : HOME/instance-2705285-1278572931.wbo
3.69/3.77 c Variables : 297 (233 binary, 0 integer, 64 implicit integer, 0 continuous)
3.69/3.77 c Constraints : 166 initial, 166 maximal
3.69/3.77 c Presolved Problem :
3.69/3.77 c Problem name : t_HOME/instance-2705285-1278572931.wbo
3.69/3.77 c Variables : 293 (231 binary, 0 integer, 62 implicit integer, 0 continuous)
3.69/3.77 c Constraints : 158 initial, 2348 maximal
3.69/3.77 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
3.69/3.77 c trivial : 0.00 0 0 0 0 0 0 0 0
3.69/3.77 c dualfix : 0.00 4 0 0 0 0 0 0 0
3.69/3.77 c boundshift : 0.00 0 0 0 0 0 0 0 0
3.69/3.77 c inttobinary : 0.00 0 0 0 0 0 0 0 0
3.69/3.77 c implics : 0.00 0 0 0 0 0 0 0 0
3.69/3.77 c probing : 0.01 0 0 0 0 0 0 0 0
3.69/3.77 c setppc : 0.00 0 0 0 0 0 0 0 0
3.69/3.77 c linear : 0.00 0 0 0 62 0 6 2 0
3.69/3.77 c indicator : 0.00 0 0 0 0 0 2 0 0
3.69/3.77 c logicor : 0.00 0 0 0 0 0 0 0 0
3.69/3.77 c bounddisjunction : 0.00 0 0 0 0 0 0 0 0
3.69/3.77 c root node : - 98 - - 98 - - - -
3.69/3.77 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
3.69/3.77 c integral : 0 0 0 7390 0 1 52 0 0 4658
3.69/3.77 c setppc : 30 6 25107 4951 0 263 18168 0 0 0
3.69/3.77 c linear : 62 6 25010 4989 0 499 66408 844 0 0
3.69/3.77 c indicator : 62 0 24545 5013 0 167 25500 0 0 0
3.69/3.77 c logicor : 4+ 6 7573 3420 0 414 1706 0 0 0
3.69/3.77 c bounddisjunction : 0+ 0 7874 0 0 20 1604 0 0 0
3.69/3.77 c countsols : 0 0 0 4593 0 0 0 0 0 0
3.69/3.77 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
3.69/3.77 c integral : 0.75 0.00 0.00 0.75 0.00
3.69/3.77 c setppc : 0.04 0.00 0.04 0.00 0.00
3.69/3.77 c linear : 0.27 0.00 0.26 0.02 0.00
3.69/3.77 c indicator : 0.07 0.00 0.05 0.02 0.00
3.69/3.77 c logicor : 0.05 0.00 0.05 0.00 0.00
3.69/3.77 c bounddisjunction : 0.13 0.00 0.13 0.00 0.00
3.69/3.77 c countsols : 0.00 0.00 0.00 0.00 0.00
3.69/3.77 c Propagators : Time Calls Cutoffs DomReds
3.69/3.77 c vbounds : 0.03 5435 0 1118
3.69/3.77 c rootredcost : 0.00 31 0 49
3.69/3.77 c pseudoobj : 0.15 25851 727 24795
3.69/3.77 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
3.69/3.77 c propagation : 0.15 1923 1919 13384 31.1 17 26.9 -
3.69/3.77 c infeasible LP : 0.02 369 359 1934 24.1 1 22.0 0
3.69/3.77 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
3.69/3.77 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
3.69/3.77 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
3.69/3.77 c applied globally : - - - 2966 17.2 - - -
3.69/3.77 c applied locally : - - - 233 37.1 - - -
3.69/3.77 c Separators : Time Calls Cutoffs DomReds Cuts Conss
3.69/3.77 c cut pool : 0.00 4 - - 8 - (maximal pool size: 63)
3.69/3.77 c redcost : 0.05 7567 0 1090 0 0
3.69/3.77 c impliedbounds : 0.00 5 0 0 0 0
3.69/3.77 c intobj : 0.00 0 0 0 0 0
3.69/3.77 c cgmip : 0.00 0 0 0 0 0
3.69/3.77 c gomory : 0.01 5 0 0 41 0
3.69/3.77 c strongcg : 0.01 5 0 0 59 0
3.69/3.77 c cmir : 0.00 5 0 0 0 0
3.69/3.77 c flowcover : 0.01 5 0 0 0 0
3.69/3.77 c clique : 0.00 5 0 0 0 0
3.69/3.77 c zerohalf : 0.00 0 0 0 0 0
3.69/3.77 c mcf : 0.00 1 0 0 0 0
3.69/3.77 c rapidlearning : 0.01 1 0 0 0 0
3.69/3.77 c Pricers : Time Calls Vars
3.69/3.77 c problem variables: 0.00 0 0
3.69/3.77 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
3.69/3.77 c relpscost : 0.74 2376 1 52 0 0 4658
3.69/3.77 c pscost : 0.00 0 0 0 0 0 0
3.69/3.77 c inference : 0.07 4565 0 0 0 0 9256
3.69/3.77 c mostinf : 0.00 0 0 0 0 0 0
3.69/3.77 c leastinf : 0.00 0 0 0 0 0 0
3.69/3.77 c fullstrong : 0.00 0 0 0 0 0 0
3.69/3.77 c allfullstrong : 0.00 0 0 0 0 0 0
3.69/3.77 c random : 0.00 0 0 0 0 0 0
3.69/3.77 c Primal Heuristics : Time Calls Found
3.69/3.77 c LP solutions : 0.00 - 28
3.69/3.77 c pseudo solutions : 0.00 - 0
3.69/3.77 c feaspump : 0.00 1 0
3.69/3.77 c oneopt : 0.01 28 0
3.69/3.77 c crossover : 0.08 10 0
3.69/3.77 c guideddiving : 0.02 103 0
3.69/3.77 c pscostdiving : 0.01 104 0
3.69/3.77 c fracdiving : 0.01 104 0
3.69/3.77 c veclendiving : 0.01 104 0
3.69/3.77 c linesearchdiving : 0.01 105 1
3.69/3.77 c coefdiving : 0.02 105 1
3.69/3.77 c objpscostdiving : 0.01 92 0
3.69/3.77 c rootsoldiving : 0.01 93 0
3.69/3.77 c trivial : 0.00 2 0
3.69/3.77 c simplerounding : 0.00 2409 0
3.69/3.77 c zirounding : 0.01 1000 0
3.69/3.77 c rounding : 0.01 638 0
3.69/3.77 c shifting : 0.01 183 0
3.69/3.77 c intshifting : 0.00 0 0
3.69/3.77 c twoopt : 0.00 0 0
3.69/3.77 c fixandinfer : 0.00 0 0
3.69/3.77 c intdiving : 0.00 0 0
3.69/3.77 c actconsdiving : 0.00 0 0
3.69/3.77 c octane : 0.00 0 0
3.69/3.77 c rens : 0.01 1 0
3.69/3.77 c rins : 0.00 0 0
3.69/3.77 c localbranching : 0.00 0 0
3.69/3.77 c mutation : 0.00 0 0
3.69/3.77 c dins : 0.00 0 0
3.69/3.77 c undercover : 0.00 0 0
3.69/3.77 c nlp : 0.00 0 0
3.69/3.77 c trysol : 0.01 302 99
3.69/3.77 c LP : Time Calls Iterations Iter/call Iter/sec
3.69/3.77 c primal LP : 0.00 0 0 0.00 -
3.69/3.77 c dual LP : 1.15 3743 28149 7.52 24371.98
3.69/3.77 c lex dual LP : 0.00 0 0 0.00 -
3.69/3.77 c barrier LP : 0.00 0 0 0.00 -
3.69/3.77 c diving/probing LP: 0.04 205 894 4.36 22681.14
3.69/3.77 c strong branching : 0.73 1223 30762 25.15 42124.20
3.69/3.77 c (at root node) : - 15 2387 159.13 -
3.69/3.77 c conflict analysis: 0.00 0 0 0.00 -
3.69/3.77 c B&B Tree :
3.69/3.77 c number of runs : 1
3.69/3.77 c nodes : 9027
3.69/3.77 c nodes (total) : 9027
3.69/3.77 c nodes left : 0
3.69/3.77 c max depth : 89
3.69/3.77 c max depth (total): 89
3.69/3.77 c backtracks : 831 (9.2%)
3.69/3.77 c delayed cutoffs : 1410
3.69/3.77 c repropagations : 8600 (18932 domain reductions, 312 cutoffs)
3.69/3.77 c avg switch length: 5.00
3.69/3.77 c switching time : 0.25
3.69/3.77 c Solution :
3.69/3.77 c Solutions found : 129 (31 improvements)
3.69/3.77 c First Solution : +3.27600000000000e+03 (in run 1, after 17 nodes, 0.31 seconds, depth 17, found by <trysol>)
3.69/3.77 c Primal Bound : +2.90000000000000e+01 (in run 1, after 8929 nodes, 3.61 seconds, depth 18, found by <relaxation>)
3.69/3.77 c Dual Bound : +2.90000000000000e+01
3.69/3.77 c Gap : 0.00 %
3.69/3.77 c Root Dual Bound : +0.00000000000000e+00
3.69/3.77 c Root Iterations : 113
3.69/3.78 c Time complete: 3.77.