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-2663714-1276650720.opb>
0.00/0.01 c original problem has 616 variables (616 bin, 0 int, 0 impl, 0 cont) and 463 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.09/0.11 c (round 1) 7 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 48 chg coeffs, 0 upgd conss, 2548 impls, 0 clqs
0.09/0.11 c (round 2) 23 del vars, 14 del conss, 0 chg bounds, 0 chg sides, 62 chg coeffs, 8 upgd conss, 3892 impls, 0 clqs
0.09/0.12 c (round 3) 39 del vars, 28 del conss, 0 chg bounds, 0 chg sides, 76 chg coeffs, 8 upgd conss, 5012 impls, 0 clqs
0.09/0.12 c (round 4) 55 del vars, 42 del conss, 0 chg bounds, 0 chg sides, 90 chg coeffs, 8 upgd conss, 5908 impls, 0 clqs
0.09/0.13 c (round 5) 71 del vars, 56 del conss, 0 chg bounds, 0 chg sides, 104 chg coeffs, 8 upgd conss, 6580 impls, 0 clqs
0.09/0.13 c (round 6) 87 del vars, 70 del conss, 0 chg bounds, 0 chg sides, 118 chg coeffs, 8 upgd conss, 7028 impls, 0 clqs
0.09/0.14 c (round 7) 103 del vars, 84 del conss, 0 chg bounds, 0 chg sides, 132 chg coeffs, 8 upgd conss, 7252 impls, 0 clqs
0.09/0.14 c (round 8) 119 del vars, 98 del conss, 0 chg bounds, 0 chg sides, 146 chg coeffs, 8 upgd conss, 7252 impls, 0 clqs
0.09/0.17 c (0.1s) probing: 193/497 (38.8%) - 0 fixings, 0 aggregations, 14 implications, 0 bound changes
0.09/0.17 c (0.1s) probing aborted: 100/100 successive totally useless probings
0.09/0.17 c presolving (9 rounds):
0.09/0.17 c 119 deleted vars, 98 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 146 changed coefficients
0.09/0.17 c 7280 implications, 0 cliques
0.09/0.17 c presolved problem has 497 variables (497 bin, 0 int, 0 impl, 0 cont) and 358 constraints
0.09/0.17 c 343 constraints of type <and>
0.09/0.17 c 7 constraints of type <linear>
0.09/0.17 c 8 constraints of type <logicor>
0.09/0.17 c transformed objective value is always integral (scale: 2)
0.09/0.17 c Presolving Time: 0.08
0.09/0.17 c - non default parameters ----------------------------------------------------------------------
0.09/0.17 c # SCIP version 1.2.1.2
0.09/0.17 c
0.09/0.17 c # frequency for displaying node information lines
0.09/0.17 c # [type: int, range: [-1,2147483647], default: 100]
0.09/0.17 c display/freq = 10000
0.09/0.17 c
0.09/0.17 c # maximal time in seconds to run
0.09/0.17 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.17 c limits/time = 1800
0.09/0.17 c
0.09/0.17 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.09/0.17 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.17 c limits/memory = 1620
0.09/0.17 c
0.09/0.17 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.09/0.17 c # [type: int, range: [-1,2147483647], default: 1]
0.09/0.17 c lp/solvefreq = -1
0.09/0.17 c
0.09/0.17 c # should presolving try to simplify inequalities
0.09/0.17 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.17 c constraints/linear/simplifyinequalities = TRUE
0.09/0.17 c
0.09/0.17 c # should presolving try to simplify knapsacks
0.09/0.17 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.17 c constraints/knapsack/simplifyinequalities = TRUE
0.09/0.17 c
0.09/0.17 c # frequency for calling primal heuristic <undercover> (-1: never, 0: only at depth freqofs)
0.09/0.17 c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.17 c heuristics/undercover/freq = 0
0.09/0.17 c
0.09/0.17 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.09/0.17 c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.17 c separating/rapidlearning/freq = 0
0.09/0.17 c
0.09/0.17 c -----------------------------------------------------------------------------------------------
0.09/0.17 c start solving
0.09/0.17 c
0.09/0.17 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.09/0.17 c 0.1s| 1 | 2 | 0 | - |1619k| 0 | - | 497 | 358 | 0 | 0 | 0 | 0 | 0 | 1.000000e+00 | -- | Inf
2.79/2.89 c 2.6s| 10000 | 6857 | 0 | 0.0 |6983k| 290 | - | 497 | 886 | 0 | 0 | 0 |2133 | 0 | 1.000000e+00 | -- | Inf
5.89/5.99 c 5.4s| 20000 | 12555 | 0 | 0.0 | 11M| 290 | - | 497 |1262 | 0 | 0 | 0 |5023 | 0 | 1.000000e+00 | -- | Inf
8.89/8.95 c 8.1s| 30000 | 19200 | 0 | 0.0 | 16M| 290 | - | 497 |1242 | 0 | 0 | 0 |7245 | 0 | 1.000000e+00 | -- | Inf
11.88/11.93 c 10.8s| 40000 | 26144 | 0 | 0.0 | 21M| 290 | - | 497 |1351 | 0 | 0 | 0 |9486 | 0 | 1.000000e+00 | -- | Inf
15.09/15.16 c 13.8s| 50000 | 33029 | 0 | 0.0 | 26M| 290 | - | 497 |1708 | 0 | 0 | 0 | 11k| 0 | 1.000000e+00 | -- | Inf
18.38/18.47 c 16.8s| 60000 | 39690 | 0 | 0.0 | 31M| 290 | - | 497 |1385 | 0 | 0 | 0 | 14k| 0 | 1.000000e+00 | -- | Inf
21.99/22.07 c 20.1s| 70000 | 45613 | 0 | 0.0 | 36M| 290 | - | 497 |1523 | 0 | 0 | 0 | 17k| 0 | 1.000000e+00 | -- | Inf
25.78/25.87 c 23.7s| 80000 | 50877 | 0 | 0.0 | 40M| 290 | - | 497 |1502 | 0 | 0 | 0 | 20k| 0 | 1.000000e+00 | -- | Inf
29.69/29.71 c 27.3s| 90000 | 55621 | 0 | 0.0 | 44M| 290 | - | 497 |1703 | 0 | 0 | 0 | 24k| 0 | 1.000000e+00 | -- | Inf
33.78/33.87 c 31.1s|100000 | 59596 | 0 | 0.0 | 48M| 290 | - | 497 |1850 | 0 | 0 | 0 | 28k| 0 | 1.000000e+00 | -- | Inf
36.68/36.75 c 33.8s|110000 | 66281 | 0 | 0.0 | 53M| 290 | - | 497 | 743 | 0 | 0 | 0 | 30k| 0 | 1.000000e+00 | -- | Inf
39.38/39.47 c 36.2s|120000 | 73795 | 0 | 0.0 | 58M| 290 | - | 497 | 980 | 0 | 0 | 0 | 32k| 0 | 1.000000e+00 | -- | Inf
42.58/42.68 c 39.2s|130000 | 80270 | 0 | 0.0 | 63M| 290 | - | 497 |1777 | 0 | 0 | 0 | 34k| 0 | 1.000000e+00 | -- | Inf
46.38/46.44 c 42.7s|140000 | 85716 | 0 | 0.0 | 67M| 290 | - | 497 |1707 | 0 | 0 | 0 | 37k| 0 | 1.000000e+00 | -- | Inf
50.18/50.25 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
50.18/50.25 c 46.2s|150000 | 91046 | 0 | 0.0 | 71M| 290 | - | 497 |1515 | 0 | 0 | 0 | 41k| 0 | 1.000000e+00 | -- | Inf
53.68/53.73 c 49.5s|160000 | 97203 | 0 | 0.0 | 76M| 290 | - | 497 |1633 | 0 | 0 | 0 | 43k| 0 | 1.000000e+00 | -- | Inf
57.28/57.37 c 52.9s|170000 |103360 | 0 | 0.0 | 80M| 290 | - | 497 |1836 | 0 | 0 | 0 | 47k| 0 | 1.000000e+00 | -- | Inf
60.87/60.98 c 56.3s|180000 |109641 | 0 | 0.0 | 85M| 290 | - | 497 |1951 | 0 | 0 | 0 | 50k| 0 | 1.000000e+00 | -- | Inf
64.57/64.67 c 59.7s|190000 |115788 | 0 | 0.0 | 89M| 290 | - | 497 |1893 | 0 | 0 | 0 | 53k| 0 | 1.000000e+00 | -- | Inf
68.08/68.18 c 63.0s|200000 |122410 | 0 | 0.0 | 94M| 290 | - | 497 |1746 | 0 | 0 | 0 | 56k| 0 | 1.000000e+00 | -- | Inf
71.07/71.19 c 65.8s|210000 |129950 | 0 | 0.0 | 99M| 290 | - | 497 |1397 | 0 | 0 | 0 | 58k| 0 | 1.000000e+00 | -- | Inf
74.07/74.18 c 68.5s|220000 |137377 | 0 | 0.0 | 103M| 290 | - | 497 |1336 | 0 | 0 | 0 | 60k| 0 | 1.000000e+00 | -- | Inf
77.07/77.18 c 71.3s|230000 |144798 | 0 | 0.0 | 108M| 290 | - | 497 |1397 | 0 | 0 | 0 | 62k| 0 | 1.000000e+00 | -- | Inf
80.17/80.22 c 74.1s|240000 |152208 | 0 | 0.0 | 113M| 290 | - | 497 |1437 | 0 | 0 | 0 | 64k| 0 | 1.000000e+00 | -- | Inf
83.26/83.31 c 76.9s|250000 |159459 | 0 | 0.0 | 118M| 290 | - | 497 |1395 | 0 | 0 | 0 | 66k| 0 | 1.000000e+00 | -- | Inf
86.46/86.55 c 79.9s|260000 |166324 | 0 | 0.0 | 123M| 290 | - | 497 |1651 | 0 | 0 | 0 | 68k| 0 | 1.000000e+00 | -- | Inf
90.17/90.25 c 83.3s|270000 |172388 | 0 | 0.0 | 127M| 290 | - | 497 |1983 | 0 | 0 | 0 | 71k| 0 | 1.000000e+00 | -- | Inf
93.86/93.98 c 86.8s|280000 |178396 | 0 | 0.0 | 132M| 290 | - | 497 |1916 | 0 | 0 | 0 | 74k| 0 | 1.000000e+00 | -- | Inf
97.87/97.97 c 90.5s|290000 |184151 | 0 | 0.0 | 136M| 290 | - | 497 |1922 | 0 | 0 | 0 | 77k| 0 | 1.000000e+00 | -- | Inf
101.76/101.80 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
101.76/101.80 c 94.1s|300000 |190143 | 0 | 0.0 | 140M| 290 | - | 497 |1694 | 0 | 0 | 0 | 80k| 0 | 1.000000e+00 | -- | Inf
105.16/105.27 c 97.3s|310000 |196732 | 0 | 0.0 | 145M| 290 | - | 497 |1459 | 0 | 0 | 0 | 83k| 0 | 1.000000e+00 | -- | Inf
108.56/108.63 c 100s|320000 |203556 | 0 | 0.0 | 150M| 290 | - | 497 |1390 | 0 | 0 | 0 | 85k| 0 | 1.000000e+00 | -- | Inf
111.56/111.67 c 103s|330000 |210968 | 0 | 0.0 | 156M| 290 | - | 497 |1404 | 0 | 0 | 0 | 87k| 0 | 1.000000e+00 | -- | Inf
114.76/114.87 c 106s|340000 |218212 | 0 | 0.0 | 161M| 290 | - | 497 |1479 | 0 | 0 | 0 | 89k| 0 | 1.000000e+00 | -- | Inf
118.16/118.21 c 109s|350000 |225188 | 0 | 0.0 | 166M| 290 | - | 497 |1356 | 0 | 0 | 0 | 92k| 0 | 1.000000e+00 | -- | Inf
121.75/121.80 c 113s|360000 |231904 | 0 | 0.0 | 171M| 290 | - | 497 |1593 | 0 | 0 | 0 | 94k| 0 | 1.000000e+00 | -- | Inf
125.55/125.64 c 116s|370000 |238149 | 0 | 0.0 | 176M| 290 | - | 497 |1756 | 0 | 0 | 0 | 97k| 0 | 1.000000e+00 | -- | Inf
129.85/129.93 c 120s|380000 |243714 | 0 | 0.0 | 181M| 290 | - | 497 |1810 | 0 | 0 | 0 | 100k| 0 | 1.000000e+00 | -- | Inf
134.16/134.23 c 124s|390000 |249081 | 0 | 0.0 | 185M| 290 | - | 497 |1711 | 0 | 0 | 0 | 103k| 0 | 1.000000e+00 | -- | Inf
138.45/138.53 c 128s|400000 |254272 | 0 | 0.0 | 190M| 290 | - | 497 |1744 | 0 | 0 | 0 | 106k| 0 | 1.000000e+00 | -- | Inf
142.96/143.01 c 132s|410000 |259253 | 0 | 0.0 | 194M| 290 | - | 497 |1862 | 0 | 0 | 0 | 110k| 0 | 1.000000e+00 | -- | Inf
147.26/147.31 c 137s|420000 |264321 | 0 | 0.0 | 198M| 290 | - | 497 |1522 | 0 | 0 | 0 | 113k| 0 | 1.000000e+00 | -- | Inf
151.65/151.73 c 141s|430000 |268943 | 0 | 0.0 | 203M| 290 | - | 497 |1518 | 0 | 0 | 0 | 116k| 0 | 1.000000e+00 | -- | Inf
156.15/156.29 c 145s|440000 |273142 | 0 | 0.0 | 207M| 290 | - | 497 |1576 | 0 | 0 | 0 | 120k| 0 | 1.000000e+00 | -- | Inf
160.85/160.95 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
160.85/160.95 c 149s|450000 |277320 | 0 | 0.0 | 210M| 290 | - | 497 |1883 | 0 | 0 | 0 | 125k| 0 | 1.000000e+00 | -- | Inf
165.74/165.86 c 154s|460000 |281182 | 0 | 0.0 | 214M| 290 | - | 497 |2120 | 0 | 0 | 0 | 130k| 0 | 1.000000e+00 | -- | Inf
171.04/171.18 c 159s|470000 |283806 | 0 | 0.0 | 217M| 290 | - | 497 |2203 | 0 | 0 | 0 | 135k| 0 | 1.000000e+00 | -- | Inf
175.94/176.03 c 164s|480000 |287607 | 0 | 0.0 | 220M| 290 | - | 497 |2109 | 0 | 0 | 0 | 140k| 0 | 1.000000e+00 | -- | Inf
180.73/180.82 c 168s|490000 |291745 | 0 | 0.0 | 223M| 290 | - | 497 |1918 | 0 | 0 | 0 | 144k| 0 | 1.000000e+00 | -- | Inf
185.85/185.97 c 173s|500000 |295294 | 0 | 0.0 | 227M| 290 | - | 497 |1845 | 0 | 0 | 0 | 148k| 0 | 1.000000e+00 | -- | Inf
190.04/190.16 o 129
190.04/190.16 c * 177s|507717 |296813 | 0 | 0.0 | 229M| 290 | - | 497 |2226 | 0 | 0 | 0 | 151k| 0 | 1.000000e+00 | 1.290000e+02 | Large
191.14/191.27 o 57
191.14/191.27 c * 178s|509328 |295807 | 0 | 0.0 | 229M| 290 | - | 497 |1933 | 0 | 0 | 0 | 152k| 0 | 1.000000e+00 | 5.700000e+01 |5600.00%
191.14/191.29 o 41
191.14/191.29 c * 178s|509357 |295652 | 0 | 0.0 | 229M| 290 | - | 497 |1937 | 0 | 0 | 0 | 152k| 0 | 1.000000e+00 | 4.100000e+01 |4000.00%
191.34/191.47 o 33
191.34/191.47 c * 178s|509586 |294837 | 0 | 0.0 | 229M| 290 | - | 497 |1861 | 0 | 0 | 0 | 152k| 0 | 1.000000e+00 | 3.300000e+01 |3200.00%
191.64/191.77 c 179s|510000 |294926 | 0 | 0.0 | 229M| 290 | - | 497 |1873 | 0 | 0 | 0 | 152k| 0 | 1.000000e+00 | 3.300000e+01 |3200.00%
192.24/192.34 o 9
192.24/192.34 c * 179s|510949 |293715 | 0 | 0.0 | 228M| 290 | - | 497 |2028 | 0 | 0 | 0 | 153k| 0 | 1.000000e+00 | 9.000000e+00 | 800.00%
192.93/193.06 o 3
192.93/193.06 c * 180s|512350 |285343 | 0 | 0.0 | 222M| 290 | - | 497 |1740 | 0 | 0 | 0 | 153k| 0 | 1.000000e+00 | 3.000000e+00 | 200.00%
221.32/221.44 c
221.32/221.44 c SCIP Status : problem is solved [optimal solution found]
221.32/221.44 c Solving Time (sec) : 207.73
221.32/221.44 c Solving Nodes : 512350
221.32/221.44 c Primal Bound : +3.00000000000000e+00 (6 solutions)
221.32/221.44 c Dual Bound : +3.00000000000000e+00
221.32/221.44 c Gap : 0.00 %
221.32/221.44 s OPTIMUM FOUND
221.32/221.44 v -x168 -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 x154 -x153 -x112 -x111 -x110 -x109 -x108 -x107
221.32/221.44 v -x106 x105 -x152 -x151 -x150 -x149 -x148 -x147 -x146 -x145 -x104 -x103 x102 x101 x100 -x99 -x98 x97 -x144 x143 -x142 -x141
221.32/221.44 v -x140 -x139 -x138 x137 -x96 -x95 -x94 -x93 -x92 -x91 -x90 x89 -x136 -x135 -x134 -x133 -x132 -x131 -x130 x129 x88 -x87 -x86
221.32/221.44 v -x85 -x84 -x83 -x82 x81 -x128 -x127 -x126 -x125 x124 -x123 x122 -x121 -x80 -x79 -x78 -x77 -x76 x75 -x74 x73 -x120 -x119 -x118
221.32/221.44 v -x117 -x116 -x115 x114 -x113 -x72 -x71 -x70 x69 -x68 -x67 x66 x65 x64 -x63 x62 -x61 x60 -x59 -x58 x57 -x56 -x55 -x54 -x53 x52
221.32/221.44 v -x51 -x50 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
221.32/221.44 v x24 -x23 -x22 -x21 -x20 x19 x18 x17 x16 -x15 x14 x13 -x12 -x11 -x10 x9 -x8 -x7 -x6 -x5 -x4 -x3 x2 x1
221.32/221.44 c SCIP Status : problem is solved [optimal solution found]
221.32/221.44 c Solving Time : 207.73
221.32/221.44 c Original Problem :
221.32/221.44 c Problem name : HOME/instance-2663714-1276650720.opb
221.32/221.44 c Variables : 616 (616 binary, 0 integer, 0 implicit integer, 0 continuous)
221.32/221.44 c Constraints : 463 initial, 463 maximal
221.32/221.44 c Presolved Problem :
221.32/221.44 c Problem name : t_HOME/instance-2663714-1276650720.opb
221.32/221.44 c Variables : 497 (497 binary, 0 integer, 0 implicit integer, 0 continuous)
221.32/221.44 c Constraints : 358 initial, 2318 maximal
221.32/221.44 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
221.32/221.44 c trivial : 0.00 0 0 0 0 0 0 0 0
221.32/221.44 c dualfix : 0.00 0 0 0 0 0 0 0 0
221.32/221.44 c boundshift : 0.00 0 0 0 0 0 0 0 0
221.32/221.44 c inttobinary : 0.00 0 0 0 0 0 0 0 0
221.32/221.44 c implics : 0.00 0 0 0 0 0 0 0 0
221.32/221.44 c probing : 0.02 0 0 0 0 0 0 0 0
221.32/221.44 c and : 0.05 14 98 0 0 0 98 0 98
221.32/221.44 c linear : 0.00 1 6 0 0 0 0 0 48
221.32/221.44 c logicor : 0.00 0 0 0 0 0 0 0 0
221.32/221.44 c root node : - 64 - - 64 - - - -
221.32/221.44 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
221.32/221.44 c integral : 0 0 0 0 0 0 0 0 0 0
221.32/221.44 c and : 343 0 1251983 0 437361 13299 2133967 0 0 0
221.32/221.44 c linear : 7 0 1238678 0 437361 105130 900405 0 0 0
221.32/221.44 c logicor : 8+ 0 526447 0 437343 5534 163442 0 0 0
221.32/221.44 c countsols : 0 0 0 0 437367 0 0 0 0 0
221.32/221.44 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
221.32/221.44 c integral : 0.00 0.00 0.00 0.00 0.00
221.32/221.44 c and : 24.33 0.00 16.68 0.00 7.65
221.32/221.44 c linear : 51.95 0.00 51.44 0.00 0.51
221.32/221.44 c logicor : 18.13 0.00 17.10 0.00 1.03
221.32/221.44 c countsols : 0.13 0.00 0.00 0.00 0.13
221.32/221.44 c Propagators : Time Calls Cutoffs DomReds
221.32/221.44 c vbounds : 0.58 2 0 0
221.32/221.44 c rootredcost : 0.65 0 0 0
221.32/221.44 c pseudoobj : 1.50 1251593 4 200
221.32/221.44 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
221.32/221.44 c propagation : 30.98 123960 122769 1441573 60.7 6665 57.4 -
221.32/221.44 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
221.32/221.44 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
221.32/221.44 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
221.32/221.44 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
221.32/221.44 c applied globally : - - - 138179 28.4 - - -
221.32/221.44 c applied locally : - - - 15655 58.7 - - -
221.32/221.44 c Separators : Time Calls Cutoffs DomReds Cuts Conss
221.32/221.44 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
221.32/221.44 c redcost : 0.00 0 0 0 0 0
221.32/221.44 c impliedbounds : 0.00 0 0 0 0 0
221.32/221.44 c intobj : 0.00 0 0 0 0 0
221.32/221.44 c cgmip : 0.00 0 0 0 0 0
221.32/221.44 c gomory : 0.00 0 0 0 0 0
221.32/221.44 c strongcg : 0.00 0 0 0 0 0
221.32/221.44 c cmir : 0.00 0 0 0 0 0
221.32/221.44 c flowcover : 0.00 0 0 0 0 0
221.32/221.44 c clique : 0.00 0 0 0 0 0
221.32/221.44 c zerohalf : 0.00 0 0 0 0 0
221.32/221.44 c mcf : 0.00 0 0 0 0 0
221.32/221.44 c rapidlearning : 0.00 0 0 0 0 0
221.32/221.44 c Pricers : Time Calls Vars
221.32/221.44 c problem variables: 0.00 0 0
221.32/221.44 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
221.32/221.44 c relpscost : 0.00 0 0 0 0 0 0
221.32/221.44 c pscost : 0.00 0 0 0 0 0 0
221.32/221.44 c inference : 25.17 437361 0 0 0 0 874722
221.32/221.44 c mostinf : 0.00 0 0 0 0 0 0
221.32/221.44 c leastinf : 0.00 0 0 0 0 0 0
221.32/221.44 c fullstrong : 0.00 0 0 0 0 0 0
221.32/221.44 c allfullstrong : 0.00 0 0 0 0 0 0
221.32/221.44 c random : 0.00 0 0 0 0 0 0
221.32/221.44 c Primal Heuristics : Time Calls Found
221.32/221.44 c LP solutions : 0.00 - 0
221.32/221.44 c pseudo solutions : 0.12 - 6
221.32/221.44 c oneopt : 0.28 0 0
221.32/221.44 c trivial : 0.00 2 0
221.32/221.44 c simplerounding : 0.00 0 0
221.32/221.44 c zirounding : 0.00 0 0
221.32/221.44 c rounding : 0.00 0 0
221.32/221.44 c shifting : 0.00 0 0
221.32/221.44 c intshifting : 0.00 0 0
221.32/221.44 c twoopt : 0.00 0 0
221.32/221.44 c fixandinfer : 0.00 0 0
221.32/221.44 c feaspump : 0.00 0 0
221.32/221.44 c coefdiving : 0.00 0 0
221.32/221.44 c pscostdiving : 0.00 0 0
221.32/221.44 c fracdiving : 0.00 0 0
221.32/221.44 c veclendiving : 0.00 0 0
221.32/221.44 c intdiving : 0.00 0 0
221.32/221.44 c actconsdiving : 0.00 0 0
221.32/221.44 c objpscostdiving : 0.00 0 0
221.32/221.44 c rootsoldiving : 0.00 0 0
221.32/221.44 c linesearchdiving : 0.00 0 0
221.32/221.44 c guideddiving : 0.00 0 0
221.32/221.44 c octane : 0.00 0 0
221.32/221.44 c rens : 0.00 0 0
221.32/221.44 c rins : 0.00 0 0
221.32/221.44 c localbranching : 0.00 0 0
221.32/221.44 c mutation : 0.00 0 0
221.32/221.44 c crossover : 0.00 0 0
221.32/221.44 c dins : 0.00 0 0
221.32/221.44 c undercover : 0.00 0 0
221.32/221.44 c nlp : 0.32 0 0
221.32/221.44 c trysol : 0.20 0 0
221.32/221.44 c LP : Time Calls Iterations Iter/call Iter/sec
221.32/221.44 c primal LP : 0.00 0 0 0.00 -
221.32/221.44 c dual LP : 0.00 0 0 0.00 -
221.32/221.44 c lex dual LP : 0.00 0 0 0.00 -
221.32/221.44 c barrier LP : 0.00 0 0 0.00 -
221.32/221.44 c diving/probing LP: 0.00 0 0 0.00 -
221.32/221.44 c strong branching : 0.00 0 0 0.00 -
221.32/221.44 c (at root node) : - 0 0 0.00 -
221.32/221.44 c conflict analysis: 0.00 0 0 0.00 -
221.32/221.44 c B&B Tree :
221.32/221.44 c number of runs : 1
221.32/221.44 c nodes : 512350
221.32/221.44 c nodes (total) : 512350
221.32/221.44 c nodes left : 0
221.32/221.44 c max depth : 290
221.32/221.44 c max depth (total): 290
221.32/221.44 c backtracks : 55558 (10.8%)
221.32/221.44 c delayed cutoffs : 347895
221.32/221.44 c repropagations : 131901 (490693 domain reductions, 48984 cutoffs)
221.32/221.44 c avg switch length: 6.69
221.32/221.44 c switching time : 62.63
221.32/221.44 c Solution :
221.32/221.44 c Solutions found : 6 (6 improvements)
221.32/221.44 c First Solution : +1.29000000000000e+02 (in run 1, after 507717 nodes, 177.00 seconds, depth 229, found by <relaxation>)
221.32/221.44 c Primal Bound : +3.00000000000000e+00 (in run 1, after 512350 nodes, 179.71 seconds, depth 229, found by <relaxation>)
221.32/221.44 c Dual Bound : +3.00000000000000e+00
221.32/221.44 c Gap : 0.00 %
221.32/221.44 c Root Dual Bound : +1.00000000000000e+00
221.32/221.44 c Root Iterations : 0
221.32/221.47 c Time complete: 221.4.