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-2705301-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.00 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.00/0.02 c (0.0s) probing: 101/237 (42.6%) - 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, 5 deleted constraints, 68 tightened bounds, 0 added holes, 1 changed sides, 0 changed coefficients
0.00/0.02 c 92 implications, 20 cliques
0.00/0.02 c presolved problem has 305 variables (237 bin, 0 int, 68 impl, 0 cont) and 166 constraints
0.00/0.02 c 23 constraints of type <setppc>
0.00/0.02 c 68 constraints of type <linear>
0.00/0.02 c 68 constraints of type <indicator>
0.00/0.02 c 7 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 | 8 | - |1060k| 0 | 0 | 305 | 166 | 305 | 30 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
0.00/0.03 c 0.0s| 1 | 0 | 33 | - |1086k| 0 | 13 | 305 | 166 | 305 | 50 | 20 | 0 | 0 | 0.000000e+00 | -- | Inf
0.00/0.03 c 0.0s| 1 | 0 | 53 | - |1121k| 0 | 23 | 305 | 166 | 305 | 61 | 31 | 0 | 0 | 0.000000e+00 | -- | Inf
0.00/0.04 c 0.0s| 1 | 0 | 69 | - |1249k| 0 | 35 | 305 | 166 | 305 | 66 | 36 | 0 | 0 | 0.000000e+00 | -- | Inf
0.00/0.04 o 3162
0.00/0.04 c y 0.0s| 1 | 0 | 69 | - |1253k| 0 | 35 | 305 | 166 | 305 | 66 | 36 | 0 | 0 | 0.000000e+00 | 3.162000e+03 | Inf
0.00/0.05 c 0.0s| 1 | 0 | 86 | - |1438k| 0 | 41 | 305 | 166 | 305 | 70 | 40 | 0 | 0 | 0.000000e+00 | 3.162000e+03 | Inf
0.04/0.06 c 0.1s| 1 | 0 | 159 | - |1643k| 0 | 45 | 305 | 166 | 305 | 71 | 41 | 0 | 0 | 0.000000e+00 | 3.162000e+03 | Inf
0.04/0.07 c 0.1s| 1 | 0 | 161 | - |1895k| 0 | 45 | 305 | 166 | 305 | 73 | 43 | 0 | 0 | 0.000000e+00 | 3.162000e+03 | Inf
0.09/0.11 c 0.1s| 1 | 2 | 161 | - |1898k| 0 | 45 | 305 | 166 | 305 | 73 | 43 | 0 | 19 | 0.000000e+00 | 3.162000e+03 | Inf
0.79/0.86 o 497
0.79/0.86 c * 0.9s| 194 | 181 | 3039 | 14.9 |2171k| 47 | - | 305 | 169 | 305 | 76 | 126 | 3 | 754 | 0.000000e+00 | 4.970000e+02 | Inf
1.00/1.05 o 402
1.00/1.05 c * 1.0s| 481 | 385 | 4498 | 9.0 |2473k| 47 | - | 305 | 186 | 305 | 75 | 199 | 20 | 897 | 0.000000e+00 | 4.020000e+02 | Inf
1.19/1.27 o 397
1.19/1.27 c * 1.3s| 965 | 823 | 6228 | 6.3 |2929k| 78 | - | 305 | 214 | 305 | 84 | 263 | 49 |1024 | 0.000000e+00 | 3.970000e+02 | Inf
1.29/1.35 o 381
1.29/1.35 c * 1.4s| 1240 | 1003 | 6867 | 5.4 |3138k| 78 | - | 305 | 267 | 305 | 75 | 277 | 102 |1038 | 0.000000e+00 | 3.810000e+02 | Inf
1.29/1.36 o 262
1.29/1.36 c * 1.4s| 1247 | 784 | 6871 | 5.4 |2979k| 78 | - | 305 | 269 | 305 | 75 | 277 | 104 |1038 | 0.000000e+00 | 2.620000e+02 | Inf
1.89/1.90 o 240
1.89/1.90 c * 1.9s| 2968 | 1640 | 11205 | 3.7 |4103k| 98 | - | 305 | 755 | 305 | 80 | 376 | 610 |1145 | 0.000000e+00 | 2.400000e+02 | Inf
1.89/1.92 o 230
1.89/1.92 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1.89/1.92 c * 1.9s| 3004 | 1606 | 11484 | 3.8 |4094k| 98 | - | 305 | 768 | 305 | 77 | 382 | 626 |1155 | 0.000000e+00 | 2.300000e+02 | Inf
1.89/1.95 o 226
1.89/1.95 c * 1.9s| 3085 | 1641 | 11852 | 3.8 |4143k| 98 | - | 305 | 798 | 305 | 86 | 386 | 656 |1158 | 0.000000e+00 | 2.260000e+02 | Inf
1.99/2.03 o 210
1.99/2.03 c * 2.0s| 3282 | 1659 | 13017 | 3.9 |4243k| 98 | - | 305 | 893 | 305 | 85 | 402 | 752 |1171 | 0.000000e+00 | 2.100000e+02 | Inf
2.09/2.14 o 198
2.09/2.14 c * 2.1s| 3535 | 1641 | 14276 | 4.0 |4354k| 98 | - | 305 | 998 | 305 | 75 | 420 | 862 |1194 | 0.000000e+00 | 1.980000e+02 | Inf
2.29/2.37 o 197
2.29/2.37 c * 2.4s| 4150 | 1914 | 16864 | 4.0 |4762k| 98 | - | 305 |1243 | 305 | 79 | 502 |1122 |1213 | 0.000000e+00 | 1.970000e+02 | Inf
2.29/2.37 o 189
2.29/2.37 c * 2.4s| 4151 | 1889 | 16869 | 4.0 |4745k| 98 | - | 305 |1243 | 305 | 79 | 502 |1122 |1213 | 0.000000e+00 | 1.890000e+02 | Inf
2.29/2.38 o 184
2.29/2.38 c * 2.4s| 4164 | 1884 | 16984 | 4.0 |4752k| 98 | - | 305 |1247 | 305 | 73 | 509 |1126 |1213 | 0.000000e+00 | 1.840000e+02 | Inf
2.49/2.54 o 180
2.49/2.54 c * 2.5s| 4561 | 2022 | 18793 | 4.1 |4994k| 98 | - | 305 |1428 | 305 | 83 | 592 |1313 |1224 | 0.000000e+00 | 1.800000e+02 | Inf
2.69/2.75 o 166
2.69/2.75 c * 2.8s| 4937 | 2130 | 22105 | 4.4 |5234k| 98 | - | 305 |1557 | 305 | 82 | 690 |1462 |1266 | 0.000000e+00 | 1.660000e+02 | Inf
2.69/2.75 o 163
2.69/2.75 c * 2.8s| 4938 | 2086 | 22112 | 4.4 |5200k| 98 | - | 305 |1557 | 305 | 82 | 690 |1462 |1266 | 0.000000e+00 | 1.630000e+02 | Inf
2.69/2.76 o 161
2.69/2.76 c * 2.8s| 4951 | 2066 | 22268 | 4.5 |5189k| 98 | - | 305 |1560 | 305 | 79 | 694 |1465 |1266 | 0.000000e+00 | 1.610000e+02 | Inf
2.79/2.81 o 160
2.79/2.81 c * 2.8s| 5027 | 2047 | 23439 | 4.6 |5208k| 98 | - | 305 |1581 | 305 | 71 | 711 |1489 |1273 | 0.000000e+00 | 1.600000e+02 | Inf
2.79/2.83 o 111
2.79/2.83 c * 2.8s| 5059 | 1614 | 23653 | 4.6 |4748k| 98 | - | 305 |1583 | 305 | 74 | 724 |1492 |1273 | 0.000000e+00 | 1.110000e+02 | Inf
2.79/2.84 o 106
2.79/2.84 c * 2.8s| 5085 | 1566 | 23902 | 4.7 |4733k| 98 | - | 305 |1598 | 305 | 77 | 730 |1507 |1274 | 0.000000e+00 | 1.060000e+02 | Inf
2.79/2.89 o 93
2.79/2.89 c * 2.9s| 5179 | 1493 | 24737 | 4.7 |4681k| 98 | - | 305 |1629 | 305 | 79 | 759 |1540 |1276 | 0.000000e+00 | 9.300000e+01 | Inf
2.89/2.99 o 88
2.89/2.99 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
2.89/2.99 c * 3.0s| 5384 | 1338 | 26297 | 4.9 |4654k| 98 | - | 305 |1723 | 305 | 83 | 801 |1644 |1277 | 0.000000e+00 | 8.800000e+01 | Inf
2.99/3.03 o 83
2.99/3.03 c * 3.0s| 5480 | 1289 | 27062 | 4.9 |4635k| 98 | - | 305 |1754 | 305 | 88 | 817 |1692 |1278 | 0.000000e+00 | 8.300000e+01 | Inf
2.99/3.05 o 71
2.99/3.05 c * 3.0s| 5511 | 779 | 27439 | 5.0 |4198k| 98 | - | 305 |1737 | 305 | 83 | 824 |1711 |1278 | 0.000000e+00 | 7.100000e+01 | Inf
2.99/3.09 o 55
2.99/3.09 c * 3.1s| 5620 | 710 | 28138 | 5.0 |4111k| 98 | - | 305 |1685 | 305 | 73 | 825 |1748 |1278 | 0.000000e+00 | 5.500000e+01 | Inf
3.59/3.62 o 44
3.59/3.62 c * 3.6s| 6972 | 955 | 36247 | 5.2 |4763k| 98 | - | 305 |2376 | 305 | 71 | 945 |2555 |1280 | 0.000000e+00 | 4.400000e+01 | Inf
3.70/3.70 o 15
3.70/3.70 c * 3.7s| 7128 | 737 | 38179 | 5.3 |4603k| 98 | - | 305 |2406 | 305 | 76 | 970 |2668 |1280 | 0.000000e+00 | 1.500000e+01 | Inf
3.89/3.90 o 14
3.89/3.90 c * 3.9s| 7364 | 692 | 43521 | 5.9 |4711k| 98 | - | 305 |2558 | 305 | 71 |1001 |2935 |1280 | 0.000000e+00 | 1.400000e+01 | Inf
3.99/4.04 o 13
3.99/4.04 c * 4.0s| 7610 | 625 | 47333 | 6.2 |4756k| 98 | - | 305 |2735 | 305 | 72 |1030 |3165 |1280 | 0.000000e+00 | 1.300000e+01 | Inf
4.09/4.10 o 12
4.09/4.10 c * 4.1s| 7695 | 593 | 48768 | 6.3 |4760k| 98 | - | 305 |2797 | 305 | 73 |1037 |3247 |1280 | 0.000000e+00 | 1.200000e+01 | Inf
4.09/4.16 o 10
4.09/4.16 c * 4.2s| 7784 | 556 | 50218 | 6.4 |4764k| 98 | - | 305 |2819 | 305 | 73 |1041 |3329 |1280 | 0.000000e+00 | 1.000000e+01 | Inf
4.09/4.20 o 8
4.09/4.20 c * 4.2s| 7845 | 535 | 51281 | 6.5 |4761k| 98 | - | 305 |2835 | 305 | 71 |1049 |3392 |1280 | 0.000000e+00 | 8.000000e+00 | Inf
4.19/4.21 o 2
4.19/4.21 c * 4.2s| 7868 | 433 | 51668 | 6.5 |4608k| 98 | - | 305 |2837 | 305 | 71 |1049 |3414 |1280 | 0.000000e+00 | 2.000000e+00 | Inf
4.30/4.39 c
4.30/4.39 c SCIP Status : problem is solved [optimal solution found]
4.30/4.39 c Solving Time (sec) : 4.39
4.30/4.39 c Solving Nodes : 8060
4.30/4.39 c Primal Bound : +2.00000000000000e+00 (154 solutions)
4.30/4.39 c Dual Bound : +2.00000000000000e+00
4.30/4.39 c Gap : 0.00 %
4.30/4.39 s OPTIMUM FOUND
4.30/4.39 v -x169 -x168 -x167 x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 x152 -x151 -x150 -x149 -x148
4.30/4.39 v -x147 -x146 -x145 -x144 x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127
4.30/4.39 v -x126 -x125 x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 x109 -x108 -x107 -x106
4.30/4.39 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
4.30/4.39 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
4.30/4.39 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
4.30/4.39 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
4.30/4.39 v -x4 -x3 -x2 x1
4.30/4.39 c SCIP Status : problem is solved [optimal solution found]
4.30/4.39 c Solving Time : 4.39
4.30/4.39 c Original Problem :
4.30/4.39 c Problem name : HOME/instance-2705301-1278572932.wbo
4.30/4.39 c Variables : 307 (238 binary, 0 integer, 69 implicit integer, 0 continuous)
4.30/4.39 c Constraints : 171 initial, 171 maximal
4.30/4.39 c Presolved Problem :
4.30/4.39 c Problem name : t_HOME/instance-2705301-1278572932.wbo
4.30/4.39 c Variables : 305 (237 binary, 0 integer, 68 implicit integer, 0 continuous)
4.30/4.39 c Constraints : 166 initial, 2855 maximal
4.30/4.39 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
4.30/4.39 c trivial : 0.00 0 0 0 0 0 0 0 0
4.30/4.39 c dualfix : 0.00 2 0 0 0 0 0 0 0
4.30/4.39 c boundshift : 0.00 0 0 0 0 0 0 0 0
4.30/4.39 c inttobinary : 0.00 0 0 0 0 0 0 0 0
4.30/4.39 c implics : 0.00 0 0 0 0 0 0 0 0
4.30/4.39 c probing : 0.01 0 0 0 0 0 0 0 0
4.30/4.39 c setppc : 0.00 0 0 0 0 0 0 0 0
4.30/4.39 c linear : 0.00 0 0 0 68 0 4 1 0
4.30/4.39 c indicator : 0.00 0 0 0 0 0 1 0 0
4.30/4.39 c logicor : 0.00 0 0 0 0 0 0 0 0
4.30/4.39 c bounddisjunction : 0.00 0 0 0 0 0 0 0 0
4.30/4.39 c root node : - 134 - - 134 - - - -
4.30/4.39 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
4.30/4.39 c integral : 0 0 0 6413 0 0 38 0 0 4948
4.30/4.39 c setppc : 23 6 23447 3759 0 55 14751 0 0 0
4.30/4.39 c linear : 68 6 23525 3809 0 503 78418 1047 0 0
4.30/4.39 c indicator : 68 0 23150 3896 0 100 26801 0 0 0
4.30/4.39 c logicor : 7+ 6 7976 3072 0 533 2548 0 0 0
4.30/4.39 c bounddisjunction : 0+ 0 6762 0 0 7 897 0 0 0
4.30/4.39 c countsols : 0 0 0 3370 0 0 0 0 0 0
4.30/4.39 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
4.30/4.39 c integral : 0.96 0.00 0.00 0.96 0.00
4.30/4.39 c setppc : 0.03 0.00 0.03 0.00 0.00
4.30/4.39 c linear : 0.28 0.00 0.27 0.01 0.00
4.30/4.39 c indicator : 0.06 0.00 0.04 0.02 0.00
4.30/4.39 c logicor : 0.09 0.00 0.09 0.00 0.00
4.30/4.39 c bounddisjunction : 0.09 0.00 0.09 0.00 0.00
4.30/4.39 c countsols : 0.00 0.00 0.00 0.00 0.00
4.30/4.39 c Propagators : Time Calls Cutoffs DomReds
4.30/4.39 c vbounds : 0.03 5624 0 1379
4.30/4.39 c rootredcost : 0.00 34 0 67
4.30/4.39 c pseudoobj : 0.09 23950 421 24680
4.30/4.39 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
4.30/4.39 c propagation : 0.08 1519 1508 8637 23.8 14 35.6 -
4.30/4.39 c infeasible LP : 0.05 825 800 4733 24.5 3 24.7 0
4.30/4.39 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
4.30/4.39 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
4.30/4.39 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
4.30/4.39 c applied globally : - - - 3604 16.3 - - -
4.30/4.39 c applied locally : - - - 62 35.6 - - -
4.30/4.39 c Separators : Time Calls Cutoffs DomReds Cuts Conss
4.30/4.39 c cut pool : 0.00 4 - - 44 - (maximal pool size: 166)
4.30/4.39 c redcost : 0.04 6581 0 861 0 0
4.30/4.39 c impliedbounds : 0.00 5 0 0 0 0
4.30/4.39 c intobj : 0.00 0 0 0 0 0
4.30/4.39 c cgmip : 0.00 0 0 0 0 0
4.30/4.39 c gomory : 0.01 5 0 0 55 0
4.30/4.39 c strongcg : 0.01 5 0 0 179 0
4.30/4.39 c cmir : 0.00 5 0 0 0 0
4.30/4.39 c flowcover : 0.01 5 0 0 0 0
4.30/4.39 c clique : 0.00 5 0 0 1 0
4.30/4.39 c zerohalf : 0.00 0 0 0 0 0
4.30/4.39 c mcf : 0.00 1 0 0 0 0
4.30/4.39 c rapidlearning : 0.01 1 0 0 0 0
4.30/4.39 c Pricers : Time Calls Vars
4.30/4.39 c problem variables: 0.00 0 0
4.30/4.39 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
4.30/4.39 c relpscost : 0.96 2509 0 38 0 0 4948
4.30/4.39 c pscost : 0.00 0 0 0 0 0 0
4.30/4.39 c inference : 0.05 3337 0 0 0 0 6782
4.30/4.39 c mostinf : 0.00 0 0 0 0 0 0
4.30/4.39 c leastinf : 0.00 0 0 0 0 0 0
4.30/4.39 c fullstrong : 0.00 0 0 0 0 0 0
4.30/4.39 c allfullstrong : 0.00 0 0 0 0 0 0
4.30/4.39 c random : 0.00 0 0 0 0 0 0
4.30/4.39 c Primal Heuristics : Time Calls Found
4.30/4.39 c LP solutions : 0.00 - 33
4.30/4.39 c pseudo solutions : 0.00 - 0
4.30/4.39 c feaspump : 0.00 1 0
4.30/4.39 c oneopt : 0.02 32 0
4.30/4.39 c pscostdiving : 0.01 104 0
4.30/4.39 c fracdiving : 0.01 104 0
4.30/4.39 c veclendiving : 0.01 104 0
4.30/4.39 c guideddiving : 0.01 104 0
4.30/4.39 c coefdiving : 0.01 104 0
4.30/4.39 c linesearchdiving : 0.01 105 0
4.30/4.39 c rootsoldiving : 0.01 88 0
4.30/4.39 c objpscostdiving : 0.01 91 0
4.30/4.39 c trivial : 0.00 2 0
4.30/4.39 c simplerounding : 0.00 2538 0
4.30/4.39 c zirounding : 0.01 1000 0
4.30/4.39 c rounding : 0.01 669 0
4.30/4.39 c shifting : 0.02 184 0
4.30/4.39 c intshifting : 0.00 0 0
4.30/4.39 c twoopt : 0.00 0 0
4.30/4.39 c fixandinfer : 0.00 0 0
4.30/4.39 c intdiving : 0.00 0 0
4.30/4.39 c actconsdiving : 0.00 0 0
4.30/4.39 c octane : 0.00 0 0
4.30/4.39 c rens : 0.01 1 0
4.30/4.39 c rins : 0.00 0 0
4.30/4.39 c localbranching : 0.00 0 0
4.30/4.39 c mutation : 0.00 0 0
4.30/4.39 c crossover : 0.08 9 0
4.30/4.39 c dins : 0.00 0 0
4.30/4.39 c undercover : 0.00 0 0
4.30/4.39 c nlp : 0.00 0 0
4.30/4.39 c trysol : 0.01 302 121
4.30/4.39 c LP : Time Calls Iterations Iter/call Iter/sec
4.30/4.39 c primal LP : 0.00 0 0 0.00 -
4.30/4.39 c dual LP : 1.67 4394 56608 12.88 33890.35
4.30/4.39 c lex dual LP : 0.00 0 0 0.00 -
4.30/4.39 c barrier LP : 0.00 0 0 0.00 -
4.30/4.39 c diving/probing LP: 0.02 75 622 8.29 28810.97
4.30/4.39 c strong branching : 0.94 1280 39871 31.15 42385.21
4.30/4.39 c (at root node) : - 19 1347 70.89 -
4.30/4.39 c conflict analysis: 0.00 0 0 0.00 -
4.30/4.39 c B&B Tree :
4.30/4.39 c number of runs : 1
4.30/4.39 c nodes : 8060
4.30/4.39 c nodes (total) : 8060
4.30/4.39 c nodes left : 0
4.30/4.39 c max depth : 98
4.30/4.39 c max depth (total): 98
4.30/4.39 c backtracks : 883 (11.0%)
4.30/4.39 c delayed cutoffs : 791
4.30/4.39 c repropagations : 7790 (17900 domain reductions, 213 cutoffs)
4.30/4.39 c avg switch length: 4.38
4.30/4.39 c switching time : 0.25
4.30/4.39 c Solution :
4.30/4.39 c Solutions found : 154 (34 improvements)
4.30/4.39 c First Solution : +3.16200000000000e+03 (in run 1, after 1 nodes, 0.04 seconds, depth 0, found by <trysol>)
4.30/4.39 c Primal Bound : +2.00000000000000e+00 (in run 1, after 7868 nodes, 4.21 seconds, depth 12, found by <relaxation>)
4.30/4.39 c Dual Bound : +2.00000000000000e+00
4.30/4.39 c Gap : 0.00 %
4.30/4.39 c Root Dual Bound : +0.00000000000000e+00
4.30/4.39 c Root Iterations : 161
4.30/4.40 c Time complete: 4.39.