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-2705405-1278572941.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.01/0.03 c 0.0s| 1 | 0 | 38 | - |1067k| 0 | 20 | 293 | 158 | 293 | 55 | 21 | 0 | 0 | 0.000000e+00 | -- | Inf
0.01/0.04 c 0.0s| 1 | 0 | 59 | - |1184k| 0 | 31 | 293 | 158 | 293 | 65 | 31 | 0 | 0 | 0.000000e+00 | -- | Inf
0.01/0.04 o 3276
0.01/0.04 c y 0.0s| 1 | 0 | 59 | - |1187k| 0 | 31 | 293 | 158 | 293 | 65 | 31 | 0 | 0 | 0.000000e+00 | 3.276000e+03 | Inf
0.01/0.04 c 0.0s| 1 | 0 | 65 | - |1278k| 0 | 33 | 293 | 158 | 293 | 70 | 36 | 0 | 0 | 0.000000e+00 | 3.276000e+03 | Inf
0.01/0.05 c 0.1s| 1 | 0 | 100 | - |1372k| 0 | 34 | 293 | 158 | 293 | 73 | 39 | 0 | 0 | 0.000000e+00 | 3.276000e+03 | Inf
0.01/0.06 c 0.1s| 1 | 0 | 112 | - |1474k| 0 | 36 | 293 | 158 | 293 | 75 | 41 | 0 | 0 | 0.000000e+00 | 3.276000e+03 | Inf
0.01/0.08 c 0.1s| 1 | 0 | 124 | - |1581k| 0 | 37 | 293 | 158 | 293 | 76 | 42 | 0 | 0 | 0.000000e+00 | 3.276000e+03 | Inf
0.09/0.11 c 0.1s| 1 | 2 | 124 | - |1584k| 0 | 37 | 293 | 158 | 293 | 76 | 42 | 0 | 14 | 0.000000e+00 | 3.276000e+03 | Inf
0.09/0.17 o 689
0.09/0.17 c * 0.2s| 81 | 71 | 403 | 3.5 |1701k| 39 | - | 293 | 163 | 293 | 77 | 51 | 5 | 94 | 0.000000e+00 | 6.890000e+02 | Inf
0.29/0.32 o 665
0.29/0.32 c * 0.3s| 298 | 238 | 1167 | 3.5 |1937k| 39 | - | 293 | 197 | 293 | 76 | 76 | 39 | 288 | 0.000000e+00 | 6.650000e+02 | Inf
1.29/1.36 o 654
1.29/1.36 c * 1.4s| 4742 | 4547 | 4117 | 0.8 |4852k| 91 | - | 293 | 269 | 293 | 76 | 311 | 111 | 663 | 0.000000e+00 | 6.540000e+02 | Inf
1.29/1.36 o 606
1.29/1.36 c * 1.4s| 4743 | 4535 | 4117 | 0.8 |4842k| 91 | - | 293 | 269 | 293 | 76 | 311 | 111 | 663 | 0.000000e+00 | 6.060000e+02 | Inf
1.69/1.76 o 589
1.69/1.76 c * 1.8s| 6431 | 6180 | 5323 | 0.8 |5776k| 105 | - | 293 | 287 | 293 | 76 | 430 | 130 | 752 | 0.000000e+00 | 5.890000e+02 | Inf
2.49/2.55 c 2.6s| 10000 | 9707 | 7162 | 0.7 |7721k| 105 | 0 | 293 | 321 | 293 | 75 | 632 | 164 | 816 | 0.000000e+00 | 5.890000e+02 | Inf
3.99/4.09 o 570
3.99/4.09 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
3.99/4.09 c * 4.1s| 17315 | 16900 | 10758 | 0.6 | 11M| 111 | - | 293 | 403 | 293 | 77 |1006 | 258 | 935 | 0.000000e+00 | 5.700000e+02 | Inf
4.30/4.39 o 558
4.30/4.39 c * 4.4s| 18652 | 18225 | 11527 | 0.6 | 12M| 111 | - | 293 | 411 | 293 | 75 |1086 | 266 | 969 | 0.000000e+00 | 5.580000e+02 | Inf
4.30/4.39 o 456
4.30/4.39 c * 4.4s| 18654 | 18180 | 11527 | 0.6 | 12M| 111 | - | 293 | 411 | 293 | 75 |1086 | 266 | 969 | 0.000000e+00 | 4.560000e+02 | Inf
4.49/4.57 o 405
4.49/4.57 c * 4.6s| 19361 | 18792 | 11906 | 0.6 | 12M| 111 | - | 293 | 451 | 293 | 75 |1121 | 306 | 971 | 0.000000e+00 | 4.050000e+02 | Inf
4.59/4.60 o 347
4.59/4.60 c * 4.6s| 19507 | 18746 | 12086 | 0.6 | 12M| 111 | - | 293 | 471 | 293 | 76 |1123 | 327 | 971 | 0.000000e+00 | 3.470000e+02 | Inf
4.69/4.71 c 4.7s| 20000 | 19200 | 12347 | 0.6 | 12M| 111 | 0 | 293 | 502 | 293 | 78 |1135 | 359 | 979 | 0.000000e+00 | 3.470000e+02 | Inf
5.29/5.30 o 338
5.29/5.30 c * 5.3s| 22340 | 20832 | 14657 | 0.7 | 14M| 111 | - | 293 | 963 | 293 | 76 |1203 | 851 |1004 | 0.000000e+00 | 3.380000e+02 | Inf
5.29/5.30 o 335
5.29/5.30 c * 5.3s| 22342 | 20817 | 14665 | 0.7 | 14M| 111 | - | 293 | 963 | 293 | 76 |1203 | 851 |1004 | 0.000000e+00 | 3.350000e+02 | Inf
5.99/6.07 o 295
5.99/6.07 c * 6.1s| 25175 | 22563 | 17689 | 0.7 | 15M| 111 | - | 293 |1553 | 293 | 78 |1342 |1483 |1048 | 0.000000e+00 | 2.950000e+02 | Inf
6.60/6.63 o 294
6.60/6.63 c * 6.6s| 27276 | 24115 | 19742 | 0.7 | 17M| 111 | - | 293 |1941 | 293 | 77 |1416 |1937 |1054 | 0.000000e+00 | 2.940000e+02 | Inf
6.89/6.98 o 284
6.89/6.98 c * 7.0s| 28475 | 24768 | 21185 | 0.7 | 17M| 111 | - | 293 |2189 | 293 | 80 |1466 |2263 |1063 | 0.000000e+00 | 2.840000e+02 | Inf
7.09/7.12 o 249
7.09/7.12 c * 7.1s| 28949 | 24596 | 21654 | 0.7 | 17M| 111 | - | 293 |2272 | 293 | 80 |1485 |2380 |1066 | 0.000000e+00 | 2.490000e+02 | Inf
7.19/7.20 o 235
7.19/7.20 c * 7.2s| 29274 | 24558 | 21840 | 0.7 | 17M| 111 | - | 293 |2278 | 293 | 75 |1497 |2398 |1066 | 0.000000e+00 | 2.350000e+02 | Inf
7.39/7.41 c 7.4s| 30000 | 24978 | 22593 | 0.7 | 18M| 111 | 1 | 293 |2431 | 293 | 76 |1523 |2610 |1068 | 0.000000e+00 | 2.350000e+02 | Inf
7.49/7.54 o 225
7.49/7.54 c f 7.5s| 30549 | 25098 | 23104 | 0.8 | 18M| 111 | - | 293 |2492 | 293 | 80 |1534 |2709 |1070 | 0.000000e+00 | 2.250000e+02 | Inf
7.59/7.65 o 223
7.59/7.65 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
7.59/7.65 c * 7.6s| 30906 | 25330 | 23540 | 0.8 | 18M| 111 | - | 293 |2547 | 293 | 76 |1554 |2777 |1075 | 0.000000e+00 | 2.230000e+02 | Inf
7.59/7.67 o 215
7.59/7.67 c * 7.7s| 30986 | 25109 | 23617 | 0.8 | 18M| 111 | - | 293 |2555 | 293 | 79 |1557 |2794 |1075 | 0.000000e+00 | 2.150000e+02 | Inf
7.59/7.69 o 205
7.59/7.69 c * 7.7s| 31059 | 24583 | 23701 | 0.8 | 18M| 111 | - | 293 |2564 | 293 | 78 |1560 |2805 |1075 | 0.000000e+00 | 2.050000e+02 | Inf
9.99/10.02 o 183
9.99/10.02 c *10.0s| 37822 | 25860 | 37960 | 1.0 | 20M| 111 | - | 293 |3353 | 293 | 72 |1841 |5726 |1109 | 0.000000e+00 | 1.830000e+02 | Inf
10.39/10.44 o 169
10.39/10.44 c *10.4s| 38985 | 25172 | 40484 | 1.0 | 20M| 111 | - | 293 |3316 | 293 | 79 |1900 |6267 |1127 | 0.000000e+00 | 1.690000e+02 | Inf
10.49/10.58 o 136
10.49/10.58 c *10.6s| 39348 | 22756 | 41318 | 1.0 | 19M| 111 | - | 293 |3320 | 293 | 78 |1907 |6424 |1131 | 0.000000e+00 | 1.360000e+02 | Inf
10.59/10.67 o 128
10.59/10.67 c *10.7s| 39576 | 21988 | 41806 | 1.1 | 18M| 111 | - | 293 |3235 | 293 | 78 |1923 |6484 |1139 | 0.000000e+00 | 1.280000e+02 | Inf
10.69/10.70 o 118
10.69/10.70 c *10.7s| 39663 | 20586 | 41985 | 1.1 | 17M| 111 | - | 293 |3256 | 293 | 76 |1925 |6527 |1139 | 0.000000e+00 | 1.180000e+02 | Inf
10.80/10.84 c 10.8s| 40000 | 20665 | 43016 | 1.1 | 18M| 111 | - | 293 |3278 | 0 | 0 |1949 |6743 |1139 | 0.000000e+00 | 1.180000e+02 | Inf
11.09/11.13 o 92
11.09/11.13 c *11.1s| 40790 | 17247 | 44878 | 1.1 | 15M| 111 | - | 293 |3002 | 293 | 76 |2006 |7161 |1142 | 0.000000e+00 | 9.200000e+01 | Inf
11.29/11.34 o 91
11.29/11.34 c *11.3s| 41243 | 17016 | 46394 | 1.1 | 15M| 111 | - | 293 |2153 | 293 | 79 |2049 |7446 |1143 | 0.000000e+00 | 9.100000e+01 | Inf
12.00/12.02 o 90
12.00/12.02 c *12.0s| 42992 | 17269 | 52280 | 1.2 | 16M| 111 | - | 293 |1706 | 293 | 82 |2155 |8527 |1153 | 0.000000e+00 | 9.000000e+01 | Inf
12.00/12.03 o 41
12.00/12.03 c *12.0s| 42993 | 11675 | 52280 | 1.2 | 12M| 111 | - | 293 |1706 | 293 | 82 |2155 |8527 |1153 | 0.000000e+00 | 4.100000e+01 | Inf
12.00/12.04 o 35
12.00/12.04 c *12.0s| 43010 | 10907 | 52451 | 1.2 | 11M| 111 | - | 293 |1510 | 293 | 81 |2161 |8562 |1153 | 0.000000e+00 | 3.500000e+01 | Inf
12.00/12.06 o 31
12.00/12.06 c *12.1s| 43034 | 9918 | 52632 | 1.2 | 10M| 111 | - | 293 |1375 | 293 | 80 |2164 |8596 |1153 | 0.000000e+00 | 3.100000e+01 | Inf
12.10/12.12 o 29
12.10/12.12 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
12.10/12.12 c *12.1s| 43107 | 5988 | 53335 | 1.2 |7834k| 111 | - | 293 |1186 | 293 | 81 |2173 |8683 |1154 | 0.000000e+00 | 2.900000e+01 | Inf
12.59/12.64 o 26
12.59/12.64 c *12.6s| 43851 | 2694 | 63555 | 1.4 |6574k| 111 | - | 293 |1260 | 293 | 76 |2248 |9799 |1219 | 0.000000e+00 | 2.600000e+01 | Inf
12.79/12.85 o 25
12.79/12.85 c *12.8s| 44186 | 2679 | 69100 | 1.6 |6744k| 111 | - | 293 |1532 | 293 | 78 |2324 | 10k|1245 | 0.000000e+00 | 2.500000e+01 | Inf
12.90/12.95 o 22
12.90/12.95 c *13.0s| 44367 | 2633 | 71541 | 1.6 |6795k| 111 | - | 293 |1663 | 293 | 79 |2348 | 10k|1254 | 0.000000e+00 | 2.200000e+01 | Inf
13.20/13.22 o 10
13.20/13.22 c *13.2s| 44773 | 1636 | 78016 | 1.7 |6121k| 111 | - | 293 |1826 | 293 | 78 |2404 | 10k|1286 | 0.000000e+00 | 1.000000e+01 | Inf
13.20/13.24 c
13.20/13.24 c SCIP Status : problem is solved [optimal solution found]
13.20/13.24 c Solving Time (sec) : 13.24
13.20/13.24 c Solving Nodes : 44782
13.20/13.24 c Primal Bound : +1.00000000000000e+01 (168 solutions)
13.20/13.24 c Dual Bound : +1.00000000000000e+01
13.20/13.24 c Gap : 0.00 %
13.20/13.24 s OPTIMUM FOUND
13.20/13.24 v -x169 -x168 -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148
13.20/13.24 v -x147 x146 x145 -x144 -x143 x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 x127
13.20/13.24 v -x126 -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 x111 -x110 -x109 -x108 -x107 -x106
13.20/13.24 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
13.20/13.24 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
13.20/13.24 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
13.20/13.24 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
13.20/13.24 v -x4 -x3 -x2 -x1
13.20/13.24 c SCIP Status : problem is solved [optimal solution found]
13.20/13.24 c Solving Time : 13.24
13.20/13.24 c Original Problem :
13.20/13.24 c Problem name : HOME/instance-2705405-1278572941.wbo
13.20/13.24 c Variables : 297 (233 binary, 0 integer, 64 implicit integer, 0 continuous)
13.20/13.24 c Constraints : 166 initial, 166 maximal
13.20/13.24 c Presolved Problem :
13.20/13.24 c Problem name : t_HOME/instance-2705405-1278572941.wbo
13.20/13.24 c Variables : 293 (231 binary, 0 integer, 62 implicit integer, 0 continuous)
13.20/13.24 c Constraints : 158 initial, 3455 maximal
13.20/13.24 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
13.20/13.24 c trivial : 0.00 0 0 0 0 0 0 0 0
13.20/13.24 c dualfix : 0.00 4 0 0 0 0 0 0 0
13.20/13.24 c boundshift : 0.00 0 0 0 0 0 0 0 0
13.20/13.24 c inttobinary : 0.00 0 0 0 0 0 0 0 0
13.20/13.24 c implics : 0.00 0 0 0 0 0 0 0 0
13.20/13.24 c probing : 0.01 0 0 0 0 0 0 0 0
13.20/13.24 c setppc : 0.00 0 0 0 0 0 0 0 0
13.20/13.24 c linear : 0.00 0 0 0 62 0 6 2 0
13.20/13.24 c indicator : 0.00 0 0 0 0 0 2 0 0
13.20/13.24 c logicor : 0.00 0 0 0 0 0 0 0 0
13.20/13.24 c bounddisjunction : 0.00 0 0 0 0 0 0 0 0
13.20/13.24 c root node : - 115 - - 115 - - - -
13.20/13.24 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
13.20/13.24 c integral : 0 0 0 39939 0 0 63 0 0 13792
13.20/13.24 c setppc : 30 6 101651 32828 0 616 71866 0 0 0
13.20/13.24 c linear : 62 6 101404 32929 0 1316 228659 2394 0 0
13.20/13.24 c indicator : 62 0 100115 32981 0 381 78127 0 0 0
13.20/13.24 c logicor : 4+ 6 24165 28596 0 1406 5170 0 0 0
13.20/13.24 c bounddisjunction : 0+ 0 24510 0 0 79 4947 0 0 0
13.20/13.24 c countsols : 0 0 0 31233 0 0 0 0 0 0
13.20/13.24 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
13.20/13.24 c integral : 0.48 0.00 0.00 0.48 0.00
13.20/13.24 c setppc : 0.16 0.00 0.14 0.01 0.00
13.20/13.24 c linear : 1.00 0.00 0.90 0.11 0.00
13.20/13.24 c indicator : 0.32 0.00 0.19 0.13 0.00
13.20/13.24 c logicor : 0.19 0.00 0.18 0.01 0.00
13.20/13.24 c bounddisjunction : 0.53 0.00 0.53 0.00 0.00
13.20/13.24 c countsols : 0.00 0.00 0.00 0.00 0.00
13.20/13.24 c Propagators : Time Calls Cutoffs DomReds
13.20/13.24 c vbounds : 0.10 18259 0 2937
13.20/13.24 c rootredcost : 0.02 38 0 57
13.20/13.24 c pseudoobj : 0.48 103799 1870 65319
13.20/13.24 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
13.20/13.24 c propagation : 0.44 5287 5284 34031 27.0 24 26.2 -
13.20/13.24 c infeasible LP : 0.09 1817 1810 9180 20.2 19 16.9 0
13.20/13.24 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
13.20/13.24 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
13.20/13.24 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
13.20/13.24 c applied globally : - - - 10666 16.3 - - -
13.20/13.24 c applied locally : - - - 234 36.6 - - -
13.20/13.24 c Separators : Time Calls Cutoffs DomReds Cuts Conss
13.20/13.24 c cut pool : 0.00 4 - - 12 - (maximal pool size: 104)
13.20/13.24 c redcost : 0.25 40444 0 2164 0 0
13.20/13.24 c impliedbounds : 0.00 5 0 0 0 0
13.20/13.24 c intobj : 0.00 0 0 0 0 0
13.20/13.24 c cgmip : 0.00 0 0 0 0 0
13.20/13.24 c gomory : 0.01 5 0 0 31 0
13.20/13.24 c strongcg : 0.01 5 0 0 115 0
13.20/13.24 c cmir : 0.00 5 0 0 0 0
13.20/13.24 c flowcover : 0.01 5 0 0 0 0
13.20/13.24 c clique : 0.00 5 0 0 1 0
13.20/13.24 c zerohalf : 0.00 0 0 0 0 0
13.20/13.24 c mcf : 0.00 1 0 0 0 0
13.20/13.24 c rapidlearning : 0.01 1 0 0 0 0
13.20/13.24 c Pricers : Time Calls Vars
13.20/13.24 c problem variables: 0.00 0 0
13.20/13.24 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
13.20/13.24 c relpscost : 0.47 6950 0 63 0 0 13792
13.20/13.24 c pscost : 0.00 0 0 0 0 0 0
13.20/13.24 c inference : 0.48 31197 0 0 0 0 62991
13.20/13.24 c mostinf : 0.00 0 0 0 0 0 0
13.20/13.24 c leastinf : 0.00 0 0 0 0 0 0
13.20/13.24 c fullstrong : 0.00 0 0 0 0 0 0
13.20/13.24 c allfullstrong : 0.00 0 0 0 0 0 0
13.20/13.24 c random : 0.00 0 0 0 0 0 0
13.20/13.24 c Primal Heuristics : Time Calls Found
13.20/13.24 c LP solutions : 0.04 - 36
13.20/13.24 c pseudo solutions : 0.00 - 0
13.20/13.24 c feaspump : 0.00 1 0
13.20/13.24 c oneopt : 0.02 35 0
13.20/13.24 c crossover : 0.34 39 0
13.20/13.24 c linesearchdiving : 0.10 997 0
13.20/13.24 c guideddiving : 0.10 997 0
13.20/13.24 c coefdiving : 0.09 997 0
13.20/13.24 c pscostdiving : 0.09 997 0
13.20/13.24 c fracdiving : 0.08 997 1
13.20/13.24 c veclendiving : 0.10 997 0
13.20/13.24 c objpscostdiving : 0.07 871 0
13.20/13.24 c rootsoldiving : 0.06 875 0
13.20/13.24 c trivial : 0.00 2 0
13.20/13.24 c simplerounding : 0.02 7028 0
13.20/13.24 c zirounding : 0.02 1000 0
13.20/13.24 c rounding : 0.02 1139 0
13.20/13.24 c shifting : 0.03 332 0
13.20/13.24 c intshifting : 0.00 0 0
13.20/13.24 c twoopt : 0.00 0 0
13.20/13.24 c fixandinfer : 0.00 0 0
13.20/13.24 c intdiving : 0.00 0 0
13.20/13.24 c actconsdiving : 0.00 0 0
13.20/13.24 c octane : 0.00 0 0
13.20/13.24 c rens : 0.01 1 0
13.20/13.24 c rins : 0.00 0 0
13.20/13.24 c localbranching : 0.00 0 0
13.20/13.24 c mutation : 0.00 0 0
13.20/13.24 c dins : 0.00 0 0
13.20/13.24 c undercover : 0.00 0 0
13.20/13.24 c nlp : 0.01 0 0
13.20/13.24 c trysol : 0.02 1378 131
13.20/13.24 c LP : Time Calls Iterations Iter/call Iter/sec
13.20/13.24 c primal LP : 0.00 0 0 0.00 -
13.20/13.24 c dual LP : 4.75 14033 76751 5.47 16150.42
13.20/13.24 c lex dual LP : 0.00 0 0 0.00 -
13.20/13.24 c barrier LP : 0.00 0 0 0.00 -
13.20/13.24 c diving/probing LP: 0.09 589 1496 2.54 15779.26
13.20/13.24 c strong branching : 0.44 1286 15024 11.68 34259.52
13.20/13.24 c (at root node) : - 14 712 50.86 -
13.20/13.24 c conflict analysis: 0.00 0 0 0.00 -
13.20/13.24 c B&B Tree :
13.20/13.24 c number of runs : 1
13.20/13.24 c nodes : 44782
13.20/13.24 c nodes (total) : 44782
13.20/13.24 c nodes left : 0
13.20/13.24 c max depth : 111
13.20/13.24 c max depth (total): 111
13.20/13.24 c backtracks : 2926 (6.5%)
13.20/13.24 c delayed cutoffs : 6139
13.20/13.24 c repropagations : 31575 (48253 domain reductions, 568 cutoffs)
13.20/13.24 c avg switch length: 4.40
13.20/13.24 c switching time : 1.08
13.20/13.24 c Solution :
13.20/13.24 c Solutions found : 168 (38 improvements)
13.20/13.24 c First Solution : +3.27600000000000e+03 (in run 1, after 1 nodes, 0.03 seconds, depth 0, found by <trysol>)
13.20/13.24 c Primal Bound : +1.00000000000000e+01 (in run 1, after 44773 nodes, 13.22 seconds, depth 27, found by <relaxation>)
13.20/13.24 c Dual Bound : +1.00000000000000e+01
13.20/13.24 c Gap : 0.00 %
13.20/13.24 c Root Dual Bound : +0.00000000000000e+00
13.20/13.24 c Root Iterations : 124
13.20/13.25 c Time complete: 13.25.