0.00/0.00 c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: NONE] [Expressions interpreter: NONE]
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-2663701-1276650466.opb>
0.00/0.01 c original problem has 528 variables (528 bin, 0 int, 0 impl, 0 cont) and 397 constraints
0.00/0.01 c problem read
0.00/0.01 c presolving settings loaded
0.00/0.01 c [src/scip/lpi_none.c:41] ERROR: there is no LP solver linked to the binary (LPS=none); you should set the parameter <lp/solvefreq> to <-1> to avoid solving LPs
0.00/0.02 c presolving:
0.03/0.08 c (round 1) 6 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 42 chg coeffs, 0 upgd conss, 2076 impls, 0 clqs
0.03/0.09 c (round 2) 22 del vars, 14 del conss, 0 chg bounds, 0 chg sides, 56 chg coeffs, 7 upgd conss, 3196 impls, 0 clqs
0.03/0.09 c (round 3) 38 del vars, 28 del conss, 0 chg bounds, 0 chg sides, 70 chg coeffs, 7 upgd conss, 4092 impls, 0 clqs
0.03/0.09 c (round 4) 54 del vars, 42 del conss, 0 chg bounds, 0 chg sides, 84 chg coeffs, 7 upgd conss, 4764 impls, 0 clqs
0.10/0.10 c (round 5) 70 del vars, 56 del conss, 0 chg bounds, 0 chg sides, 98 chg coeffs, 7 upgd conss, 5212 impls, 0 clqs
0.10/0.10 c (round 6) 86 del vars, 70 del conss, 0 chg bounds, 0 chg sides, 112 chg coeffs, 7 upgd conss, 5436 impls, 0 clqs
0.10/0.10 c (round 7) 102 del vars, 84 del conss, 0 chg bounds, 0 chg sides, 126 chg coeffs, 7 upgd conss, 5436 impls, 0 clqs
0.10/0.13 c (0.1s) probing: 179/426 (42.0%) - 0 fixings, 0 aggregations, 12 implications, 0 bound changes
0.10/0.13 c (0.1s) probing aborted: 100/100 successive totally useless probings
0.10/0.13 c presolving (8 rounds):
0.10/0.13 c 102 deleted vars, 84 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 126 changed coefficients
0.10/0.13 c 5460 implications, 0 cliques
0.10/0.13 c presolved problem has 426 variables (426 bin, 0 int, 0 impl, 0 cont) and 307 constraints
0.10/0.13 c 294 constraints of type <and>
0.10/0.13 c 6 constraints of type <linear>
0.10/0.13 c 7 constraints of type <logicor>
0.10/0.13 c transformed objective value is always integral (scale: 2)
0.10/0.13 c Presolving Time: 0.06
0.10/0.13 c - non default parameters ----------------------------------------------------------------------
0.10/0.13 c # SCIP version 1.2.1.2
0.10/0.13 c
0.10/0.13 c # frequency for displaying node information lines
0.10/0.13 c # [type: int, range: [-1,2147483647], default: 100]
0.10/0.13 c display/freq = 10000
0.10/0.13 c
0.10/0.13 c # maximal time in seconds to run
0.10/0.13 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.10/0.13 c limits/time = 1800
0.10/0.13 c
0.10/0.13 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.10/0.13 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.10/0.13 c limits/memory = 1620
0.10/0.13 c
0.10/0.13 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.10/0.13 c # [type: int, range: [-1,2147483647], default: 1]
0.10/0.13 c lp/solvefreq = -1
0.10/0.13 c
0.10/0.13 c # should presolving try to simplify inequalities
0.10/0.13 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.10/0.13 c constraints/linear/simplifyinequalities = TRUE
0.10/0.13 c
0.10/0.13 c # should presolving try to simplify knapsacks
0.10/0.13 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.10/0.13 c constraints/knapsack/simplifyinequalities = TRUE
0.10/0.13 c
0.10/0.13 c # frequency for calling primal heuristic <undercover> (-1: never, 0: only at depth freqofs)
0.10/0.13 c # [type: int, range: [-1,2147483647], default: -1]
0.10/0.13 c heuristics/undercover/freq = 0
0.10/0.13 c
0.10/0.13 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.10/0.13 c # [type: int, range: [-1,2147483647], default: -1]
0.10/0.13 c separating/rapidlearning/freq = 0
0.10/0.13 c
0.10/0.13 c -----------------------------------------------------------------------------------------------
0.10/0.13 c start solving
0.10/0.13 c
0.10/0.13 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.10/0.13 c 0.1s| 1 | 2 | 0 | - |1393k| 0 | - | 426 | 307 | 0 | 0 | 0 | 0 | 0 | 1.000000e+00 | -- | Inf
2.49/2.58 c 2.3s| 10000 | 6642 | 0 | 0.0 |6560k| 243 | - | 426 | 825 | 0 | 0 | 0 |2217 | 0 | 1.000000e+00 | -- | Inf
5.09/5.11 c 4.6s| 20000 | 12972 | 0 | 0.0 | 11M| 243 | - | 426 | 697 | 0 | 0 | 0 |4419 | 0 | 1.000000e+00 | -- | Inf
7.60/7.70 c 7.0s| 30000 | 19567 | 0 | 0.0 | 16M| 243 | - | 426 |1101 | 0 | 0 | 0 |6629 | 0 | 1.000000e+00 | -- | Inf
10.19/10.23 c 9.3s| 40000 | 26929 | 0 | 0.0 | 21M| 243 | - | 426 |1022 | 0 | 0 | 0 |8542 | 0 | 1.000000e+00 | -- | Inf
12.79/12.88 c 11.7s| 50000 | 33779 | 0 | 0.0 | 26M| 243 | - | 426 |1107 | 0 | 0 | 0 | 10k| 0 | 1.000000e+00 | -- | Inf
15.68/15.72 c 14.3s| 60000 | 40096 | 0 | 0.0 | 30M| 243 | - | 426 |1238 | 0 | 0 | 0 | 13k| 0 | 1.000000e+00 | -- | Inf
18.28/18.32 c 16.7s| 70000 | 47088 | 0 | 0.0 | 35M| 243 | - | 426 |1275 | 0 | 0 | 0 | 15k| 0 | 1.000000e+00 | -- | Inf
20.99/21.07 c 19.2s| 80000 | 53756 | 0 | 0.0 | 40M| 243 | - | 426 |1331 | 0 | 0 | 0 | 17k| 0 | 1.000000e+00 | -- | Inf
24.09/24.15 c 22.0s| 90000 | 59086 | 0 | 0.0 | 45M| 243 | - | 426 |1543 | 0 | 0 | 0 | 20k| 0 | 1.000000e+00 | -- | Inf
27.49/27.58 c 25.2s|100000 | 63138 | 0 | 0.0 | 49M| 243 | - | 426 |1622 | 0 | 0 | 0 | 24k| 0 | 1.000000e+00 | -- | Inf
30.19/30.24 c 27.6s|110000 | 69670 | 0 | 0.0 | 54M| 243 | - | 426 |1004 | 0 | 0 | 0 | 26k| 0 | 1.000000e+00 | -- | Inf
32.59/32.65 c 29.8s|120000 | 77425 | 0 | 0.0 | 60M| 243 | - | 426 | 909 | 0 | 0 | 0 | 27k| 0 | 1.000000e+00 | -- | Inf
35.29/35.35 c 32.3s|130000 | 84127 | 0 | 0.0 | 65M| 243 | - | 426 |1328 | 0 | 0 | 0 | 29k| 0 | 1.000000e+00 | -- | Inf
38.49/38.58 c 35.3s|140000 | 89430 | 0 | 0.0 | 69M| 243 | - | 426 |1403 | 0 | 0 | 0 | 32k| 0 | 1.000000e+00 | -- | Inf
41.48/41.52 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
41.48/41.52 c 38.0s|150000 | 96123 | 0 | 0.0 | 74M| 243 | - | 426 |1368 | 0 | 0 | 0 | 34k| 0 | 1.000000e+00 | -- | Inf
44.38/44.40 c 40.6s|160000 |102703 | 0 | 0.0 | 78M| 243 | - | 426 |1305 | 0 | 0 | 0 | 36k| 0 | 1.000000e+00 | -- | Inf
47.19/47.29 c 43.3s|170000 |109423 | 0 | 0.0 | 83M| 243 | - | 426 |1297 | 0 | 0 | 0 | 38k| 0 | 1.000000e+00 | -- | Inf
50.18/50.24 c 46.0s|180000 |116107 | 0 | 0.0 | 88M| 243 | - | 426 |1226 | 0 | 0 | 0 | 41k| 0 | 1.000000e+00 | -- | Inf
53.18/53.27 c 48.8s|190000 |122562 | 0 | 0.0 | 92M| 243 | - | 426 |1187 | 0 | 0 | 0 | 43k| 0 | 1.000000e+00 | -- | Inf
56.18/56.27 c 51.6s|200000 |129054 | 0 | 0.0 | 97M| 243 | - | 426 |1295 | 0 | 0 | 0 | 46k| 0 | 1.000000e+00 | -- | Inf
59.28/59.40 c 54.5s|210000 |135390 | 0 | 0.0 | 101M| 243 | - | 426 |1215 | 0 | 0 | 0 | 48k| 0 | 1.000000e+00 | -- | Inf
62.59/62.68 c 57.5s|220000 |141463 | 0 | 0.0 | 105M| 243 | - | 426 |1542 | 0 | 0 | 0 | 51k| 0 | 1.000000e+00 | -- | Inf
66.08/66.18 c 60.8s|230000 |147441 | 0 | 0.0 | 110M| 243 | - | 426 |1547 | 0 | 0 | 0 | 54k| 0 | 1.000000e+00 | -- | Inf
69.77/69.84 c 64.2s|240000 |153046 | 0 | 0.0 | 114M| 243 | - | 426 |1843 | 0 | 0 | 0 | 57k| 0 | 1.000000e+00 | -- | Inf
73.28/73.38 c 67.5s|250000 |159064 | 0 | 0.0 | 118M| 243 | - | 426 |1504 | 0 | 0 | 0 | 60k| 0 | 1.000000e+00 | -- | Inf
77.07/77.17 c 71.1s|260000 |164442 | 0 | 0.0 | 122M| 243 | - | 426 |1855 | 0 | 0 | 0 | 64k| 0 | 1.000000e+00 | -- | Inf
80.67/80.79 c 74.5s|270000 |170310 | 0 | 0.0 | 126M| 243 | - | 426 |1372 | 0 | 0 | 0 | 67k| 0 | 1.000000e+00 | -- | Inf
84.37/84.48 c 77.9s|280000 |175813 | 0 | 0.0 | 130M| 243 | - | 426 |1917 | 0 | 0 | 0 | 70k| 0 | 1.000000e+00 | -- | Inf
88.07/88.12 c 81.3s|290000 |181505 | 0 | 0.0 | 134M| 243 | - | 426 |1439 | 0 | 0 | 0 | 73k| 0 | 1.000000e+00 | -- | Inf
91.97/92.08 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
91.97/92.08 c 85.1s|300000 |186601 | 0 | 0.0 | 138M| 243 | - | 426 |1801 | 0 | 0 | 0 | 77k| 0 | 1.000000e+00 | -- | Inf
96.07/96.10 c 88.8s|310000 |191594 | 0 | 0.0 | 142M| 243 | - | 426 |1838 | 0 | 0 | 0 | 81k| 0 | 1.000000e+00 | -- | Inf
97.36/97.42 o 57
97.36/97.42 c *90.1s|313394 |193152 | 0 | 0.0 | 143M| 243 | - | 426 |1727 | 0 | 0 | 0 | 82k| 0 | 1.000000e+00 | 5.700000e+01 |5600.00%
99.86/99.98 c 92.4s|320000 |196473 | 0 | 0.0 | 146M| 243 | - | 426 | 963 | 0 | 0 | 0 | 84k| 0 | 1.000000e+00 | 5.700000e+01 |5600.00%
103.67/103.73 c 95.9s|330000 |201195 | 0 | 0.0 | 150M| 243 | - | 426 |1211 | 0 | 0 | 0 | 88k| 0 | 1.000000e+00 | 5.700000e+01 |5600.00%
107.46/107.58 c 99.5s|340000 |205871 | 0 | 0.0 | 154M| 243 | - | 426 |1289 | 0 | 0 | 0 | 92k| 0 | 1.000000e+00 | 5.700000e+01 |5600.00%
110.66/110.74 c 102s|350000 |212092 | 0 | 0.0 | 158M| 243 | - | 426 |1484 | 0 | 0 | 0 | 94k| 0 | 1.000000e+00 | 5.700000e+01 |5600.00%
113.86/113.99 c 105s|360000 |218392 | 0 | 0.0 | 163M| 243 | - | 426 |1232 | 0 | 0 | 0 | 97k| 0 | 1.000000e+00 | 5.700000e+01 |5600.00%
117.06/117.10 c 108s|370000 |224820 | 0 | 0.0 | 168M| 243 | - | 426 |1464 | 0 | 0 | 0 | 99k| 0 | 1.000000e+00 | 5.700000e+01 |5600.00%
120.06/120.18 c 111s|380000 |231186 | 0 | 0.0 | 173M| 243 | - | 426 |1333 | 0 | 0 | 0 | 102k| 0 | 1.000000e+00 | 5.700000e+01 |5600.00%
123.35/123.46 c 114s|390000 |237096 | 0 | 0.0 | 177M| 243 | - | 426 |1394 | 0 | 0 | 0 | 105k| 0 | 1.000000e+00 | 5.700000e+01 |5600.00%
126.76/126.89 c 117s|400000 |242694 | 0 | 0.0 | 181M| 243 | - | 426 |1631 | 0 | 0 | 0 | 108k| 0 | 1.000000e+00 | 5.700000e+01 |5600.00%
130.25/130.32 c 121s|410000 |248302 | 0 | 0.0 | 185M| 243 | - | 426 |1468 | 0 | 0 | 0 | 111k| 0 | 1.000000e+00 | 5.700000e+01 |5600.00%
133.55/133.68 c 124s|420000 |253881 | 0 | 0.0 | 189M| 243 | - | 426 |1480 | 0 | 0 | 0 | 113k| 0 | 1.000000e+00 | 5.700000e+01 |5600.00%
136.85/136.93 c 127s|430000 |259547 | 0 | 0.0 | 194M| 243 | - | 426 |1424 | 0 | 0 | 0 | 116k| 0 | 1.000000e+00 | 5.700000e+01 |5600.00%
139.95/140.08 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
139.95/140.08 c 130s|440000 |265427 | 0 | 0.0 | 198M| 243 | - | 426 |1548 | 0 | 0 | 0 | 119k| 0 | 1.000000e+00 | 5.700000e+01 |5600.00%
143.45/143.50 c 133s|450000 |270908 | 0 | 0.0 | 202M| 243 | - | 426 |1702 | 0 | 0 | 0 | 123k| 0 | 1.000000e+00 | 5.700000e+01 |5600.00%
147.05/147.10 c 136s|460000 |275987 | 0 | 0.0 | 206M| 243 | - | 426 |1734 | 0 | 0 | 0 | 127k| 0 | 1.000000e+00 | 5.700000e+01 |5600.00%
148.25/148.36 o 33
148.25/148.36 c * 137s|463245 |277308 | 0 | 0.0 | 207M| 243 | - | 426 |1615 | 0 | 0 | 0 | 128k| 0 | 1.000000e+00 | 3.300000e+01 |3200.00%
150.85/150.95 c 140s|470000 |280285 | 0 | 0.0 | 210M| 243 | - | 426 |1636 | 0 | 0 | 0 | 131k| 0 | 1.000000e+00 | 3.300000e+01 |3200.00%
154.46/154.55 c 143s|480000 |284910 | 0 | 0.0 | 214M| 243 | - | 426 |1923 | 0 | 0 | 0 | 134k| 0 | 1.000000e+00 | 3.300000e+01 |3200.00%
158.15/158.21 c 147s|490000 |289729 | 0 | 0.0 | 218M| 243 | - | 426 |2174 | 0 | 0 | 0 | 137k| 0 | 1.000000e+00 | 3.300000e+01 |3200.00%
161.66/161.79 c 150s|500000 |294821 | 0 | 0.0 | 222M| 243 | - | 426 |2119 | 0 | 0 | 0 | 141k| 0 | 1.000000e+00 | 3.300000e+01 |3200.00%
165.34/165.46 c 153s|510000 |299623 | 0 | 0.0 | 226M| 243 | - | 426 |2252 | 0 | 0 | 0 | 144k| 0 | 1.000000e+00 | 3.300000e+01 |3200.00%
169.36/169.42 c 157s|520000 |303829 | 0 | 0.0 | 230M| 243 | - | 426 |2400 | 0 | 0 | 0 | 148k| 0 | 1.000000e+00 | 3.300000e+01 |3200.00%
169.36/169.48 o 13
169.36/169.48 c * 157s|520127 |303610 | 0 | 0.0 | 230M| 243 | - | 426 |2411 | 0 | 0 | 0 | 148k| 0 | 1.000000e+00 | 1.300000e+01 |1200.00%
169.36/169.49 o 5
169.36/169.49 c * 157s|520129 |303156 | 0 | 0.0 | 230M| 243 | - | 426 |2411 | 0 | 0 | 0 | 148k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
173.85/173.91 c 161s|530000 |305891 | 0 | 0.0 | 233M| 243 | - | 426 |1694 | 0 | 0 | 0 | 152k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
177.35/177.43 c 164s|540000 |310759 | 0 | 0.0 | 237M| 243 | - | 426 |1438 | 0 | 0 | 0 | 155k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
180.14/180.28 c 167s|550000 |317141 | 0 | 0.0 | 242M| 243 | - | 426 |1278 | 0 | 0 | 0 | 157k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
182.94/183.00 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
182.94/183.00 c 170s|560000 |324159 | 0 | 0.0 | 247M| 243 | - | 426 |1199 | 0 | 0 | 0 | 159k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
185.94/186.01 c 172s|570000 |330343 | 0 | 0.0 | 252M| 243 | - | 426 |1369 | 0 | 0 | 0 | 162k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
187.15/187.24 o 3
187.15/187.24 c * 173s|573524 |291371 | 0 | 0.0 | 221M| 243 | - | 426 |1216 | 0 | 0 | 0 | 163k| 0 | 1.000000e+00 | 3.000000e+00 | 200.00%
190.34/190.45 c
190.34/190.45 c SCIP Status : problem is solved [optimal solution found]
190.34/190.45 c Solving Time (sec) : 176.38
190.34/190.45 c Solving Nodes : 573524
190.34/190.45 c Primal Bound : +3.00000000000000e+00 (5 solutions)
190.34/190.45 c Dual Bound : +3.00000000000000e+00
190.34/190.45 c Gap : 0.00 %
190.34/190.46 s OPTIMUM FOUND
190.34/190.46 v -x144 -x143 -x142 -x141 -x140 -x139 -x138 x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x96 -x95 -x94 -x93 -x92 -x91 x90
190.34/190.46 v x89 -x128 -x127 -x126 -x125 -x124 -x123 x122 -x121 -x88 -x87 -x86 -x85 -x84 -x83 -x82 x81 -x120 -x119 -x118 -x117 -x116 -x115
190.34/190.46 v -x114 -x113 -x80 -x79 -x78 -x77 x76 -x75 -x74 x73 -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105 -x72 -x71 -x70 -x69 -x68
190.34/190.46 v -x67 x66 x65 -x104 -x103 -x102 -x101 -x100 -x99 x98 -x97 -x64 -x63 -x62 -x61 -x60 -x59 -x58 x57 -x56 x55 x54 -x53 -x52 x51 x50
190.34/190.46 v x49 -x48 -x47 -x46 -x45 -x44 -x43 x42 x41 -x40 -x39 x38 x37 x36 -x35 -x34 x33 -x32 -x31 -x30 -x29 -x28 -x27 x26 x25 -x24 -x23
190.34/190.46 v -x22 -x21 -x20 -x19 x18 x17 x16 -x15 x14 -x13 x12 -x11 x10 x9 -x8 -x7 -x6 -x5 -x4 -x3 x2 x1
190.34/190.46 c SCIP Status : problem is solved [optimal solution found]
190.34/190.46 c Solving Time : 176.38
190.34/190.46 c Original Problem :
190.34/190.46 c Problem name : HOME/instance-2663701-1276650466.opb
190.34/190.46 c Variables : 528 (528 binary, 0 integer, 0 implicit integer, 0 continuous)
190.34/190.46 c Constraints : 397 initial, 397 maximal
190.34/190.46 c Presolved Problem :
190.34/190.46 c Problem name : t_HOME/instance-2663701-1276650466.opb
190.34/190.46 c Variables : 426 (426 binary, 0 integer, 0 implicit integer, 0 continuous)
190.34/190.46 c Constraints : 307 initial, 2412 maximal
190.34/190.46 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
190.34/190.46 c trivial : 0.00 0 0 0 0 0 0 0 0
190.34/190.46 c dualfix : 0.00 0 0 0 0 0 0 0 0
190.34/190.46 c boundshift : 0.00 0 0 0 0 0 0 0 0
190.34/190.46 c inttobinary : 0.00 0 0 0 0 0 0 0 0
190.34/190.46 c implics : 0.00 0 0 0 0 0 0 0 0
190.34/190.46 c probing : 0.02 0 0 0 0 0 0 0 0
190.34/190.46 c and : 0.04 12 84 0 0 0 84 0 84
190.34/190.46 c linear : 0.00 1 5 0 0 0 0 0 42
190.34/190.46 c logicor : 0.00 0 0 0 0 0 0 0 0
190.34/190.46 c root node : - 65 - - 65 - - - -
190.34/190.46 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
190.34/190.46 c integral : 0 0 0 0 0 0 0 0 0 0
190.34/190.46 c and : 294 0 1417003 0 489265 14563 2305132 0 0 0
190.34/190.46 c linear : 6 0 1402435 0 489265 122378 1033181 0 0 0
190.34/190.46 c logicor : 7+ 0 599249 0 489236 4396 169580 0 0 0
190.34/190.46 c countsols : 0 0 0 0 489270 0 0 0 0 0
190.34/190.46 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
190.34/190.46 c integral : 0.00 0.00 0.00 0.00 0.00
190.34/190.46 c and : 21.09 0.00 14.29 0.00 6.80
190.34/190.46 c linear : 54.15 0.00 53.74 0.00 0.41
190.34/190.46 c logicor : 16.15 0.00 15.31 0.00 0.84
190.34/190.46 c countsols : 0.10 0.00 0.00 0.00 0.10
190.34/190.46 c Propagators : Time Calls Cutoffs DomReds
190.34/190.46 c vbounds : 0.63 2 0 0
190.34/190.46 c rootredcost : 0.59 0 0 0
190.34/190.46 c pseudoobj : 1.78 1416638 1 2856
190.34/190.46 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
190.34/190.46 c propagation : 29.49 141337 140780 1580143 56.4 13323 56.2 -
190.34/190.46 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
190.34/190.46 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
190.34/190.46 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
190.34/190.46 c pseudo solution : 0.00 1 1 1 1.0 0 0.0 -
190.34/190.46 c applied globally : - - - 137088 25.6 - - -
190.34/190.46 c applied locally : - - - 26101 51.4 - - -
190.34/190.46 c Separators : Time Calls Cutoffs DomReds Cuts Conss
190.34/190.46 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
190.34/190.46 c redcost : 0.00 0 0 0 0 0
190.34/190.46 c impliedbounds : 0.00 0 0 0 0 0
190.34/190.46 c intobj : 0.00 0 0 0 0 0
190.34/190.46 c cgmip : 0.00 0 0 0 0 0
190.34/190.46 c gomory : 0.00 0 0 0 0 0
190.34/190.46 c strongcg : 0.00 0 0 0 0 0
190.34/190.46 c cmir : 0.00 0 0 0 0 0
190.34/190.46 c flowcover : 0.00 0 0 0 0 0
190.34/190.46 c clique : 0.00 0 0 0 0 0
190.34/190.46 c zerohalf : 0.00 0 0 0 0 0
190.34/190.46 c mcf : 0.00 0 0 0 0 0
190.34/190.46 c rapidlearning : 0.00 0 0 0 0 0
190.34/190.46 c Pricers : Time Calls Vars
190.34/190.46 c problem variables: 0.00 0 0
190.34/190.46 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
190.34/190.46 c relpscost : 0.00 0 0 0 0 0 0
190.34/190.46 c pscost : 0.00 0 0 0 0 0 0
190.34/190.46 c inference : 20.96 489265 0 0 0 0 978530
190.34/190.46 c mostinf : 0.00 0 0 0 0 0 0
190.34/190.46 c leastinf : 0.00 0 0 0 0 0 0
190.34/190.46 c fullstrong : 0.00 0 0 0 0 0 0
190.34/190.46 c allfullstrong : 0.00 0 0 0 0 0 0
190.34/190.46 c random : 0.00 0 0 0 0 0 0
190.34/190.46 c Primal Heuristics : Time Calls Found
190.34/190.46 c LP solutions : 0.00 - 0
190.34/190.46 c pseudo solutions : 0.17 - 5
190.34/190.46 c oneopt : 0.38 0 0
190.34/190.46 c trivial : 0.00 2 0
190.34/190.46 c simplerounding : 0.00 0 0
190.34/190.46 c zirounding : 0.00 0 0
190.34/190.46 c rounding : 0.00 0 0
190.34/190.46 c shifting : 0.00 0 0
190.34/190.46 c intshifting : 0.00 0 0
190.34/190.46 c twoopt : 0.00 0 0
190.34/190.46 c fixandinfer : 0.00 0 0
190.34/190.46 c feaspump : 0.00 0 0
190.34/190.46 c coefdiving : 0.00 0 0
190.34/190.46 c pscostdiving : 0.00 0 0
190.34/190.46 c fracdiving : 0.00 0 0
190.34/190.46 c veclendiving : 0.00 0 0
190.34/190.46 c intdiving : 0.00 0 0
190.34/190.46 c actconsdiving : 0.00 0 0
190.34/190.46 c objpscostdiving : 0.00 0 0
190.34/190.46 c rootsoldiving : 0.00 0 0
190.34/190.46 c linesearchdiving : 0.00 0 0
190.34/190.46 c guideddiving : 0.00 0 0
190.34/190.46 c octane : 0.00 0 0
190.34/190.46 c rens : 0.00 0 0
190.34/190.46 c rins : 0.00 0 0
190.34/190.46 c localbranching : 0.00 0 0
190.34/190.46 c mutation : 0.00 0 0
190.34/190.46 c crossover : 0.00 0 0
190.34/190.46 c dins : 0.00 0 0
190.34/190.46 c undercover : 0.00 0 0
190.34/190.46 c nlp : 0.24 0 0
190.34/190.46 c trysol : 0.24 0 0
190.34/190.46 c LP : Time Calls Iterations Iter/call Iter/sec
190.34/190.46 c primal LP : 0.00 0 0 0.00 -
190.34/190.46 c dual LP : 0.00 0 0 0.00 -
190.34/190.46 c lex dual LP : 0.00 0 0 0.00 -
190.34/190.46 c barrier LP : 0.00 0 0 0.00 -
190.34/190.46 c diving/probing LP: 0.00 0 0 0.00 -
190.34/190.46 c strong branching : 0.00 0 0 0.00 -
190.34/190.46 c (at root node) : - 0 0 0.00 -
190.34/190.46 c conflict analysis: 0.00 0 0 0.00 -
190.34/190.46 c B&B Tree :
190.34/190.46 c number of runs : 1
190.34/190.46 c nodes : 573524
190.34/190.46 c nodes (total) : 573524
190.34/190.46 c nodes left : 0
190.34/190.46 c max depth : 243
190.34/190.46 c max depth (total): 243
190.34/190.46 c backtracks : 61527 (10.7%)
190.34/190.46 c delayed cutoffs : 362919
190.34/190.46 c repropagations : 162242 (545424 domain reductions, 57085 cutoffs)
190.34/190.46 c avg switch length: 6.31
190.34/190.46 c switching time : 37.59
190.34/190.46 c Solution :
190.34/190.46 c Solutions found : 5 (5 improvements)
190.34/190.46 c First Solution : +5.70000000000000e+01 (in run 1, after 313394 nodes, 90.05 seconds, depth 94, found by <relaxation>)
190.34/190.46 c Primal Bound : +3.00000000000000e+00 (in run 1, after 573524 nodes, 173.34 seconds, depth 56, found by <relaxation>)
190.34/190.46 c Dual Bound : +3.00000000000000e+00
190.34/190.46 c Gap : 0.00 %
190.34/190.46 c Root Dual Bound : +1.00000000000000e+00
190.34/190.46 c Root Iterations : 0
190.34/190.49 c Time complete: 190.44.