0.00/0.00 c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Clp 1.11.1] [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-2666059-1276413116.opb>
0.00/0.04 c original problem has 406 variables (406 bin, 0 int, 0 impl, 0 cont) and 520 constraints
0.00/0.04 c problem read
0.00/0.04 c presolving settings loaded
0.00/0.05 o 406
0.00/0.05 c feasible solution found by trivial heuristic, objective value 4.060000e+02
0.00/0.05 c presolving:
0.00/0.06 c (round 1) 5 del vars, 22 del conss, 5 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 4 impls, 0 clqs
0.00/0.07 c (round 2) 5 del vars, 37 del conss, 5 chg bounds, 5 chg sides, 0 chg coeffs, 0 upgd conss, 4 impls, 0 clqs
0.07/0.09 c (round 3) 5 del vars, 98 del conss, 5 chg bounds, 5 chg sides, 0 chg coeffs, 482 upgd conss, 4 impls, 0 clqs
0.07/0.09 c (round 4) 5 del vars, 99 del conss, 5 chg bounds, 5 chg sides, 0 chg coeffs, 483 upgd conss, 4 impls, 0 clqs
0.09/0.10 c (0.1s) probing: 101/401 (25.2%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.09/0.10 c (0.1s) probing aborted: 100/100 successive totally useless probings
0.09/0.10 c presolving (5 rounds):
0.09/0.10 c 5 deleted vars, 99 deleted constraints, 5 tightened bounds, 0 added holes, 5 changed sides, 0 changed coefficients
0.09/0.10 c 4 implications, 0 cliques
0.09/0.10 c presolved problem has 401 variables (401 bin, 0 int, 0 impl, 0 cont) and 421 constraints
0.09/0.10 c 421 constraints of type <logicor>
0.09/0.10 c transformed objective value is always integral (scale: 1)
0.09/0.10 c Presolving Time: 0.05
0.09/0.10 c - non default parameters ----------------------------------------------------------------------
0.09/0.10 c # SCIP version 1.2.1.2
0.09/0.10 c
0.09/0.10 c # maximal number of intermediate conflict constraints generated in conflict graph (-1: use every intermediate constraint)
0.09/0.10 c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.10 c conflict/interconss = 0
0.09/0.10 c
0.09/0.10 c # should binary conflicts be preferred?
0.09/0.10 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.10 c conflict/preferbinary = TRUE
0.09/0.10 c
0.09/0.10 c # maximum age an unnecessary constraint can reach before it is deleted (0: dynamic, -1: keep all constraints)
0.09/0.10 c # [type: int, range: [-1,2147483647], default: 0]
0.09/0.10 c constraints/agelimit = 1
0.09/0.10 c
0.09/0.10 c # should enforcement of pseudo solution be disabled?
0.09/0.10 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.10 c constraints/disableenfops = TRUE
0.09/0.10 c
0.09/0.10 c # frequency for displaying node information lines
0.09/0.10 c # [type: int, range: [-1,2147483647], default: 100]
0.09/0.10 c display/freq = 10000
0.09/0.10 c
0.09/0.10 c # maximal time in seconds to run
0.09/0.10 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.10 c limits/time = 1799.97
0.09/0.10 c
0.09/0.10 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.09/0.10 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.10 c limits/memory = 1620
0.09/0.10 c
0.09/0.10 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.09/0.10 c # [type: int, range: [-1,2147483647], default: 1]
0.09/0.10 c lp/solvefreq = 0
0.09/0.10 c
0.09/0.10 c # LP pricing strategy ('l'pi default, 'a'uto, 'f'ull pricing, 'p'artial, 's'teepest edge pricing, 'q'uickstart steepest edge pricing, 'd'evex pricing)
0.09/0.10 c # [type: char, range: {lafpsqd}, default: l]
0.09/0.10 c lp/pricing = a
0.09/0.10 c
0.09/0.10 c # should presolving try to simplify inequalities
0.09/0.10 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.10 c constraints/linear/simplifyinequalities = TRUE
0.09/0.10 c
0.09/0.10 c # should presolving try to simplify knapsacks
0.09/0.10 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.10 c constraints/knapsack/simplifyinequalities = TRUE
0.09/0.10 c
0.09/0.10 c # priority of node selection rule <dfs> in standard mode
0.09/0.10 c # [type: int, range: [-536870912,536870911], default: 0]
0.09/0.10 c nodeselection/dfs/stdpriority = 1000000
0.09/0.10 c
0.09/0.10 c -----------------------------------------------------------------------------------------------
0.09/0.10 c start solving
0.09/0.10 c
0.09/0.10 o 377
0.09/0.10 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.10 c t 0.1s| 1 | 0 | 0 | - |1914k| 0 | - | 401 | 421 | 0 | 0 | 0 | 0 | 0 | -- | 3.770000e+02 | Inf
0.09/0.11 o 25
0.09/0.11 c b 0.1s| 1 | 0 | 0 | - |2719k| 0 | - | 401 | 421 | 401 | 421 | 0 | 0 | 0 | -- | 2.500000e+01 | Inf
0.09/0.12 c 0.1s| 1 | 0 | 76 | - |2713k| 0 | 37 | 401 | 421 | 401 | 421 | 0 | 0 | 0 | 1.580000e+01 | 2.500000e+01 | 58.23%
0.09/0.12 o 23
0.09/0.12 c b 0.1s| 1 | 0 | 76 | - |2733k| 0 | 37 | 401 | 421 | 401 | 421 | 0 | 0 | 0 | 1.580000e+01 | 2.300000e+01 | 45.57%
0.19/0.20 c 0.1s| 1 | 0 | 113 | - |2860k| 0 | 54 | 401 | 421 | 401 | 423 | 2 | 0 | 0 | 1.606818e+01 | 2.300000e+01 | 43.14%
0.39/0.42 c 0.3s| 1 | 0 | 154 | - |3598k| 0 | 37 | 401 | 421 | 401 | 424 | 3 | 0 | 0 | 1.611052e+01 | 2.300000e+01 | 42.76%
0.49/0.60 c 0.5s| 1 | 0 | 183 | - |3910k| 0 | 51 | 401 | 421 | 401 | 425 | 4 | 0 | 0 | 1.650000e+01 | 2.300000e+01 | 39.39%
0.79/0.82 c 0.7s| 1 | 0 | 219 | - |4132k| 0 | 59 | 401 | 421 | 401 | 426 | 5 | 0 | 0 | 1.650000e+01 | 2.300000e+01 | 39.39%
1.00/1.01 c 0.9s| 1 | 0 | 256 | - |4209k| 0 | 57 | 401 | 421 | 401 | 428 | 7 | 0 | 0 | 1.650000e+01 | 2.300000e+01 | 39.39%
1.19/1.21 c 1.1s| 1 | 0 | 267 | - |4213k| 0 | 60 | 401 | 421 | 401 | 429 | 8 | 0 | 0 | 1.650000e+01 | 2.300000e+01 | 39.39%
1.49/1.57 o 19
1.49/1.57 c E 1.4s| 1 | 0 | 267 | - |4218k| 0 | 60 | 401 | 421 | 401 | 429 | 8 | 0 | 0 | 1.650000e+01 | 1.900000e+01 | 15.15%
1.49/1.58 c 1.4s| 1 | 0 | 267 | - |4218k| 0 | 60 | 401 | 421 | 401 | 429 | 8 | 0 | 0 | 1.650000e+01 | 1.900000e+01 | 15.15%
2.69/2.76 c 2.6s| 1 | 2 | 267 | - |4219k| 0 | 60 | 401 | 421 | 401 | 429 | 8 | 0 | 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
6.50/6.58 c 6.1s| 10000 | 210 | 267 | 0.0 |4390k| 291 | - | 401 | 421 | 0 | 0 | 8 |6142 | 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
10.59/10.64 c 9.9s| 20000 | 195 | 267 | 0.0 |4394k| 291 | - | 401 | 421 | 0 | 0 | 8 | 11k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
15.49/15.51 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
15.49/15.51 c 14.4s| 30000 | 199 | 267 | 0.0 |4416k| 291 | - | 401 | 424 | 0 | 0 | 8 | 17k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
19.48/19.58 c 18.3s| 40000 | 193 | 267 | 0.0 |4416k| 291 | - | 401 | 421 | 0 | 0 | 8 | 22k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
23.49/23.56 c 22.0s| 50000 | 189 | 267 | 0.0 |4421k| 291 | - | 401 | 421 | 0 | 0 | 8 | 27k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
27.68/27.79 c 26.0s| 60000 | 182 | 267 | 0.0 |4434k| 291 | - | 401 | 421 | 0 | 0 | 8 | 33k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
31.98/32.04 c 30.0s| 70000 | 175 | 267 | 0.0 |4427k| 291 | - | 401 | 421 | 0 | 0 | 8 | 38k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
36.18/36.28 c 34.0s| 80000 | 167 | 267 | 0.0 |4426k| 291 | - | 401 | 421 | 0 | 0 | 8 | 43k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
40.68/40.73 c 38.1s| 90000 | 189 | 267 | 0.0 |4437k| 291 | - | 401 | 424 | 0 | 0 | 8 | 48k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
45.08/45.19 c 42.3s|100000 | 167 | 267 | 0.0 |4435k| 291 | - | 401 | 426 | 0 | 0 | 8 | 53k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
49.48/49.53 c 46.4s|110000 | 166 | 267 | 0.0 |4438k| 291 | - | 401 | 427 | 0 | 0 | 8 | 59k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
53.77/53.82 c 50.4s|120000 | 163 | 267 | 0.0 |4446k| 291 | - | 401 | 428 | 0 | 0 | 8 | 64k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
58.47/58.58 c 54.9s|130000 | 154 | 267 | 0.0 |4441k| 291 | - | 401 | 427 | 0 | 0 | 8 | 70k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
63.17/63.26 c 59.3s|140000 | 154 | 267 | 0.0 |4436k| 291 | - | 401 | 422 | 0 | 0 | 8 | 75k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
67.47/67.59 c 63.3s|150000 | 154 | 267 | 0.0 |4438k| 291 | - | 401 | 421 | 0 | 0 | 8 | 80k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
72.36/72.47 c 67.9s|160000 | 157 | 267 | 0.0 |4442k| 291 | - | 401 | 421 | 0 | 0 | 8 | 86k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
77.16/77.29 c 72.4s|170000 | 146 | 267 | 0.0 |4439k| 291 | - | 401 | 422 | 0 | 0 | 8 | 92k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
82.86/82.94 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
82.86/82.94 c 77.7s|180000 | 157 | 267 | 0.0 |4447k| 291 | - | 401 | 421 | 0 | 0 | 8 | 98k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
87.97/88.03 c 82.5s|190000 | 153 | 267 | 0.0 |4448k| 291 | - | 401 | 421 | 0 | 0 | 8 | 103k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
93.15/93.26 c 87.4s|200000 | 149 | 267 | 0.0 |4453k| 291 | - | 401 | 427 | 0 | 0 | 8 | 109k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
98.35/98.41 c 92.2s|210000 | 150 | 267 | 0.0 |4454k| 291 | - | 401 | 421 | 0 | 0 | 8 | 115k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
103.15/103.29 c 96.8s|220000 | 159 | 267 | 0.0 |4465k| 291 | - | 401 | 442 | 0 | 0 | 8 | 120k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
108.85/108.96 c 102s|230000 | 181 | 267 | 0.0 |4469k| 291 | - | 401 | 422 | 0 | 0 | 8 | 127k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
114.36/114.45 c 107s|240000 | 153 | 267 | 0.0 |4460k| 291 | - | 401 | 425 | 0 | 0 | 8 | 133k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
120.05/120.13 c 112s|250000 | 162 | 267 | 0.0 |4476k| 291 | - | 401 | 428 | 0 | 0 | 8 | 139k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
125.64/125.70 c 118s|260000 | 153 | 267 | 0.0 |4466k| 291 | - | 401 | 437 | 0 | 0 | 8 | 146k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
131.04/131.15 c 123s|270000 | 147 | 267 | 0.0 |4475k| 291 | - | 401 | 428 | 0 | 0 | 8 | 152k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
136.25/136.31 c 127s|280000 | 152 | 267 | 0.0 |4468k| 291 | - | 401 | 438 | 0 | 0 | 8 | 158k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
141.14/141.23 c 132s|290000 | 142 | 267 | 0.0 |4461k| 291 | - | 401 | 424 | 0 | 0 | 8 | 164k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
145.73/145.85 c 136s|300000 | 163 | 267 | 0.0 |4478k| 291 | - | 401 | 425 | 0 | 0 | 8 | 170k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
149.93/150.03 c 140s|310000 | 175 | 267 | 0.0 |4477k| 291 | - | 401 | 437 | 0 | 0 | 8 | 175k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
155.53/155.64 c 145s|320000 | 181 | 267 | 0.0 |4491k| 291 | - | 401 | 443 | 0 | 0 | 8 | 182k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
160.63/160.71 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
160.63/160.71 c 150s|330000 | 174 | 267 | 0.0 |4475k| 291 | - | 401 | 422 | 0 | 0 | 8 | 188k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
165.13/165.26 c 154s|340000 | 167 | 267 | 0.0 |4479k| 291 | - | 401 | 423 | 0 | 0 | 8 | 195k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
169.72/169.82 c 158s|350000 | 165 | 267 | 0.0 |4487k| 291 | - | 401 | 426 | 0 | 0 | 8 | 200k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
174.13/174.25 c 163s|360000 | 196 | 267 | 0.0 |4487k| 291 | - | 401 | 421 | 0 | 0 | 8 | 205k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
178.72/178.81 c 167s|370000 | 169 | 267 | 0.0 |4482k| 291 | - | 401 | 427 | 0 | 0 | 8 | 211k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
183.32/183.41 c 171s|380000 | 156 | 267 | 0.0 |4480k| 291 | - | 401 | 429 | 0 | 0 | 8 | 216k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
188.92/189.08 c 176s|390000 | 162 | 267 | 0.0 |4495k| 291 | - | 401 | 449 | 0 | 0 | 8 | 223k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
194.32/194.45 c 181s|400000 | 154 | 267 | 0.0 |4490k| 291 | - | 401 | 428 | 0 | 0 | 8 | 229k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
200.12/200.23 c 187s|410000 | 173 | 267 | 0.0 |4502k| 291 | - | 401 | 443 | 0 | 0 | 8 | 235k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
205.41/205.50 c 192s|420000 | 163 | 267 | 0.0 |4488k| 291 | - | 401 | 438 | 0 | 0 | 8 | 241k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
210.31/210.43 c 196s|430000 | 162 | 267 | 0.0 |4486k| 291 | - | 401 | 430 | 0 | 0 | 8 | 247k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
215.31/215.45 c 201s|440000 | 154 | 267 | 0.0 |4495k| 291 | - | 401 | 429 | 0 | 0 | 8 | 251k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
220.51/220.64 c 206s|450000 | 157 | 267 | 0.0 |4484k| 291 | - | 401 | 428 | 0 | 0 | 8 | 257k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
225.61/225.77 c 211s|460000 | 153 | 267 | 0.0 |4482k| 291 | - | 401 | 425 | 0 | 0 | 8 | 262k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
230.81/230.97 c 215s|470000 | 162 | 267 | 0.0 |4483k| 291 | - | 401 | 422 | 0 | 0 | 8 | 267k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
235.90/236.08 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
235.90/236.08 c 220s|480000 | 155 | 267 | 0.0 |4485k| 291 | - | 401 | 428 | 0 | 0 | 8 | 273k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
241.30/241.44 c 225s|490000 | 158 | 267 | 0.0 |4490k| 291 | - | 401 | 438 | 0 | 0 | 8 | 279k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
247.31/247.42 c 231s|500000 | 161 | 267 | 0.0 |4485k| 291 | - | 401 | 423 | 0 | 0 | 8 | 286k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
252.81/253.00 c 236s|510000 | 158 | 267 | 0.0 |4495k| 291 | - | 401 | 451 | 0 | 0 | 8 | 292k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
258.20/258.31 c 241s|520000 | 182 | 267 | 0.0 |4490k| 291 | - | 401 | 421 | 0 | 0 | 8 | 298k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
263.30/263.47 c 246s|530000 | 181 | 267 | 0.0 |4503k| 291 | - | 401 | 450 | 0 | 0 | 8 | 304k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
267.90/268.08 c 250s|540000 | 159 | 267 | 0.0 |4486k| 291 | - | 401 | 421 | 0 | 0 | 8 | 310k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
272.70/272.88 c 254s|550000 | 156 | 267 | 0.0 |4507k| 291 | - | 401 | 448 | 0 | 0 | 8 | 316k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
277.99/278.18 c 259s|560000 | 155 | 267 | 0.0 |4487k| 291 | - | 401 | 421 | 0 | 0 | 8 | 321k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
282.99/283.11 c 264s|570000 | 179 | 267 | 0.0 |4492k| 291 | - | 401 | 422 | 0 | 0 | 8 | 327k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
288.39/288.59 c 269s|580000 | 172 | 267 | 0.0 |4496k| 291 | - | 401 | 421 | 0 | 0 | 8 | 334k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
293.49/293.67 c 274s|590000 | 152 | 267 | 0.0 |4492k| 291 | - | 401 | 423 | 0 | 0 | 8 | 340k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
298.59/298.72 c 278s|600000 | 157 | 267 | 0.0 |4502k| 291 | - | 401 | 426 | 0 | 0 | 8 | 345k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
303.18/303.30 c 283s|610000 | 146 | 267 | 0.0 |4491k| 291 | - | 401 | 427 | 0 | 0 | 8 | 350k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
308.58/308.77 c 288s|620000 | 153 | 267 | 0.0 |4495k| 291 | - | 401 | 425 | 0 | 0 | 8 | 356k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
313.88/314.06 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
313.88/314.06 c 293s|630000 | 176 | 267 | 0.0 |4504k| 291 | - | 401 | 435 | 0 | 0 | 8 | 362k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
319.38/319.59 c 298s|640000 | 157 | 267 | 0.0 |4505k| 291 | - | 401 | 437 | 0 | 0 | 8 | 367k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
324.88/325.09 c 303s|650000 | 167 | 267 | 0.0 |4507k| 291 | - | 401 | 434 | 0 | 0 | 8 | 373k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
330.48/330.67 c 308s|660000 | 160 | 267 | 0.0 |4495k| 291 | - | 401 | 423 | 0 | 0 | 8 | 379k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
336.17/336.31 c 313s|670000 | 168 | 267 | 0.0 |4503k| 291 | - | 401 | 427 | 0 | 0 | 8 | 385k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
341.98/342.12 c 319s|680000 | 162 | 267 | 0.0 |4507k| 291 | - | 401 | 429 | 0 | 0 | 8 | 390k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
347.47/347.61 c 324s|690000 | 179 | 267 | 0.0 |4500k| 291 | - | 401 | 421 | 0 | 0 | 8 | 396k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
352.67/352.84 c 329s|700000 | 170 | 267 | 0.0 |4498k| 291 | - | 401 | 421 | 0 | 0 | 8 | 401k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
357.76/357.95 c 334s|710000 | 157 | 267 | 0.0 |4496k| 291 | - | 401 | 423 | 0 | 0 | 8 | 407k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
362.56/362.70 c 338s|720000 | 174 | 267 | 0.0 |4511k| 291 | - | 401 | 449 | 0 | 0 | 8 | 412k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
367.46/367.61 c 343s|730000 | 156 | 267 | 0.0 |4502k| 291 | - | 401 | 436 | 0 | 0 | 8 | 416k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
372.36/372.59 c 347s|740000 | 150 | 267 | 0.0 |4508k| 291 | - | 401 | 427 | 0 | 0 | 8 | 422k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
377.85/378.08 c 353s|750000 | 168 | 267 | 0.0 |4508k| 291 | - | 401 | 428 | 0 | 0 | 8 | 428k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
383.05/383.24 c 357s|760000 | 151 | 267 | 0.0 |4496k| 291 | - | 401 | 424 | 0 | 0 | 8 | 433k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
388.16/388.33 c 362s|770000 | 146 | 267 | 0.0 |4505k| 291 | - | 401 | 429 | 0 | 0 | 8 | 437k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
393.35/393.51 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
393.35/393.51 c 367s|780000 | 167 | 267 | 0.0 |4499k| 291 | - | 401 | 422 | 0 | 0 | 8 | 442k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
398.36/398.58 c 372s|790000 | 153 | 267 | 0.0 |4500k| 291 | - | 401 | 432 | 0 | 0 | 8 | 448k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
403.75/403.97 c 377s|800000 | 180 | 267 | 0.0 |4504k| 291 | - | 401 | 424 | 0 | 0 | 8 | 453k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
408.75/408.90 c 381s|810000 | 169 | 267 | 0.0 |4504k| 291 | - | 401 | 430 | 0 | 0 | 8 | 458k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
414.05/414.23 c 386s|820000 | 142 | 267 | 0.0 |4508k| 291 | - | 401 | 433 | 0 | 0 | 8 | 464k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
419.74/419.95 c 392s|830000 | 150 | 267 | 0.0 |4497k| 291 | - | 401 | 426 | 0 | 0 | 8 | 470k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
424.94/425.15 c 397s|840000 | 185 | 267 | 0.0 |4506k| 291 | - | 401 | 424 | 0 | 0 | 8 | 475k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
430.24/430.45 c 401s|850000 | 155 | 267 | 0.0 |4503k| 291 | - | 401 | 428 | 0 | 0 | 8 | 481k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
435.44/435.67 c 406s|860000 | 153 | 267 | 0.0 |4509k| 291 | - | 401 | 425 | 0 | 0 | 8 | 486k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
440.43/440.61 c 411s|870000 | 141 | 267 | 0.0 |4496k| 291 | - | 401 | 429 | 0 | 0 | 8 | 491k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
445.73/445.95 c 416s|880000 | 165 | 267 | 0.0 |4502k| 291 | - | 401 | 426 | 0 | 0 | 8 | 496k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
451.53/451.71 c 421s|890000 | 152 | 267 | 0.0 |4501k| 291 | - | 401 | 433 | 0 | 0 | 8 | 502k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
456.64/456.88 c 426s|900000 | 157 | 267 | 0.0 |4513k| 291 | - | 401 | 430 | 0 | 0 | 8 | 507k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
461.93/462.12 c 431s|910000 | 143 | 267 | 0.0 |4497k| 291 | - | 401 | 425 | 0 | 0 | 8 | 512k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
467.13/467.39 c 436s|920000 | 151 | 267 | 0.0 |4499k| 291 | - | 401 | 425 | 0 | 0 | 8 | 517k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
472.43/472.69 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
472.43/472.69 c 441s|930000 | 154 | 267 | 0.0 |4500k| 291 | - | 401 | 427 | 0 | 0 | 8 | 522k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
477.82/478.02 c 446s|940000 | 193 | 267 | 0.0 |4516k| 291 | - | 401 | 431 | 0 | 0 | 8 | 527k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
483.73/483.92 c 452s|950000 | 159 | 267 | 0.0 |4513k| 291 | - | 401 | 436 | 0 | 0 | 8 | 532k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
489.43/489.67 c 457s|960000 | 155 | 267 | 0.0 |4513k| 291 | - | 401 | 446 | 0 | 0 | 8 | 538k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
495.42/495.63 c 463s|970000 | 153 | 267 | 0.0 |4503k| 291 | - | 401 | 436 | 0 | 0 | 8 | 544k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
501.12/501.38 c 468s|980000 | 166 | 267 | 0.0 |4515k| 291 | - | 401 | 424 | 0 | 0 | 8 | 549k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
506.72/506.97 c 473s|990000 | 152 | 267 | 0.0 |4505k| 291 | - | 401 | 439 | 0 | 0 | 8 | 554k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
512.01/512.28 c 478s| 1000k| 165 | 267 | 0.0 |4512k| 291 | - | 401 | 438 | 0 | 0 | 8 | 560k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
518.21/518.46 c 484s| 1010k| 166 | 267 | 0.0 |4509k| 291 | - | 401 | 433 | 0 | 0 | 8 | 568k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
524.61/524.86 c 490s| 1020k| 160 | 267 | 0.0 |4503k| 291 | - | 401 | 421 | 0 | 0 | 8 | 575k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
530.41/530.63 c 495s| 1030k| 151 | 267 | 0.0 |4503k| 291 | - | 401 | 425 | 0 | 0 | 8 | 582k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
535.41/535.64 c 500s| 1040k| 147 | 267 | 0.0 |4501k| 291 | - | 401 | 425 | 0 | 0 | 8 | 587k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
541.11/541.32 c 505s| 1050k| 160 | 267 | 0.0 |4512k| 291 | - | 401 | 438 | 0 | 0 | 8 | 594k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
547.71/547.98 c 511s| 1060k| 156 | 267 | 0.0 |4502k| 291 | - | 401 | 421 | 0 | 0 | 8 | 602k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
554.60/554.83 c 518s| 1070k| 151 | 267 | 0.0 |4506k| 291 | - | 401 | 433 | 0 | 0 | 8 | 609k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
559.80/560.02 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
559.80/560.02 c 522s| 1080k| 142 | 267 | 0.0 |4503k| 291 | - | 401 | 427 | 0 | 0 | 8 | 615k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
564.79/565.05 c 527s| 1090k| 150 | 267 | 0.0 |4502k| 291 | - | 401 | 422 | 0 | 0 | 8 | 620k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
570.30/570.57 c 532s| 1100k| 139 | 267 | 0.0 |4500k| 291 | - | 401 | 425 | 0 | 0 | 8 | 627k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
575.10/575.34 c 537s| 1110k| 147 | 267 | 0.0 |4503k| 291 | - | 401 | 427 | 0 | 0 | 8 | 632k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
579.99/580.26 c 541s| 1120k| 148 | 267 | 0.0 |4503k| 291 | - | 401 | 425 | 0 | 0 | 8 | 638k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
584.80/585.08 c 546s| 1130k| 140 | 267 | 0.0 |4501k| 291 | - | 401 | 426 | 0 | 0 | 8 | 643k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
589.79/590.05 c 550s| 1140k| 139 | 267 | 0.0 |4501k| 291 | - | 401 | 427 | 0 | 0 | 8 | 648k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
595.18/595.40 c 555s| 1150k| 143 | 267 | 0.0 |4511k| 291 | - | 401 | 429 | 0 | 0 | 8 | 654k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
599.88/600.14 c 560s| 1160k| 145 | 267 | 0.0 |4504k| 291 | - | 401 | 422 | 0 | 0 | 8 | 660k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
604.79/605.01 c 564s| 1170k| 156 | 267 | 0.0 |4506k| 291 | - | 401 | 427 | 0 | 0 | 8 | 665k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
609.29/609.51 c 569s| 1180k| 149 | 267 | 0.0 |4506k| 291 | - | 401 | 430 | 0 | 0 | 8 | 671k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
613.59/613.87 c 573s| 1190k| 153 | 267 | 0.0 |4503k| 291 | - | 401 | 421 | 0 | 0 | 8 | 676k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
618.98/619.22 c 578s| 1200k| 160 | 267 | 0.0 |4507k| 291 | - | 401 | 426 | 0 | 0 | 8 | 682k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
624.68/624.94 c 583s| 1210k| 140 | 267 | 0.0 |4512k| 291 | - | 401 | 429 | 0 | 0 | 8 | 689k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
629.47/629.74 c 588s| 1220k| 156 | 267 | 0.0 |4507k| 291 | - | 401 | 425 | 0 | 0 | 8 | 694k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
634.08/634.34 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
634.08/634.34 c 592s| 1230k| 145 | 267 | 0.0 |4503k| 291 | - | 401 | 423 | 0 | 0 | 8 | 700k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
638.88/639.16 c 596s| 1240k| 146 | 267 | 0.0 |4505k| 291 | - | 401 | 428 | 0 | 0 | 8 | 706k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
643.97/644.27 c 601s| 1250k| 150 | 267 | 0.0 |4505k| 291 | - | 401 | 425 | 0 | 0 | 8 | 711k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
648.27/648.51 c 605s| 1260k| 140 | 267 | 0.0 |4505k| 291 | - | 401 | 429 | 0 | 0 | 8 | 717k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
652.77/653.01 c 609s| 1270k| 143 | 267 | 0.0 |4515k| 291 | - | 401 | 427 | 0 | 0 | 8 | 722k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
657.87/658.16 c 614s| 1280k| 137 | 267 | 0.0 |4515k| 291 | - | 401 | 434 | 0 | 0 | 8 | 728k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
662.57/662.88 c 619s| 1290k| 140 | 267 | 0.0 |4501k| 291 | - | 401 | 421 | 0 | 0 | 8 | 733k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
667.47/667.72 c 623s| 1300k| 144 | 267 | 0.0 |4522k| 291 | - | 401 | 435 | 0 | 0 | 8 | 739k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
673.06/673.32 c 628s| 1310k| 160 | 267 | 0.0 |4508k| 291 | - | 401 | 421 | 0 | 0 | 8 | 745k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
678.37/678.66 c 633s| 1320k| 146 | 267 | 0.0 |4508k| 291 | - | 401 | 433 | 0 | 0 | 8 | 751k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
683.56/683.89 c 638s| 1330k| 160 | 267 | 0.0 |4524k| 291 | - | 401 | 431 | 0 | 0 | 8 | 756k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
688.96/689.29 c 643s| 1340k| 157 | 267 | 0.0 |4510k| 291 | - | 401 | 429 | 0 | 0 | 8 | 762k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
695.35/695.65 c 649s| 1350k| 148 | 267 | 0.0 |4526k| 291 | - | 401 | 484 | 0 | 0 | 8 | 769k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
701.25/701.50 c 655s| 1360k| 164 | 267 | 0.0 |4513k| 291 | - | 401 | 433 | 0 | 0 | 8 | 774k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
706.25/706.59 c 659s| 1370k| 144 | 267 | 0.0 |4516k| 291 | - | 401 | 443 | 0 | 0 | 8 | 780k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
711.75/712.01 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
711.75/712.01 c 664s| 1380k| 137 | 267 | 0.0 |4508k| 291 | - | 401 | 435 | 0 | 0 | 8 | 786k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
716.75/717.03 c 669s| 1390k| 135 | 267 | 0.0 |4514k| 291 | - | 401 | 422 | 0 | 0 | 8 | 792k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
722.35/722.68 c 674s| 1400k| 157 | 267 | 0.0 |4518k| 291 | - | 401 | 434 | 0 | 0 | 8 | 798k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
727.64/727.97 c 679s| 1410k| 151 | 267 | 0.0 |4511k| 291 | - | 401 | 432 | 0 | 0 | 8 | 805k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
733.34/733.70 c 685s| 1420k| 157 | 267 | 0.0 |4511k| 291 | - | 401 | 428 | 0 | 0 | 8 | 810k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
738.44/738.79 c 689s| 1430k| 157 | 267 | 0.0 |4525k| 291 | - | 401 | 431 | 0 | 0 | 8 | 815k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
743.44/743.79 c 694s| 1440k| 167 | 267 | 0.0 |4515k| 291 | - | 401 | 430 | 0 | 0 | 8 | 821k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
748.33/748.65 c 699s| 1450k| 190 | 267 | 0.0 |4521k| 291 | - | 401 | 432 | 0 | 0 | 8 | 827k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
753.54/753.87 c 704s| 1460k| 189 | 267 | 0.0 |4525k| 291 | - | 401 | 423 | 0 | 0 | 8 | 833k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
758.65/758.98 c 708s| 1470k| 151 | 267 | 0.0 |4514k| 291 | - | 401 | 437 | 0 | 0 | 8 | 838k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
764.73/765.10 c 714s| 1480k| 150 | 267 | 0.0 |4514k| 291 | - | 401 | 438 | 0 | 0 | 8 | 845k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
769.83/770.16 c 719s| 1490k| 144 | 267 | 0.0 |4510k| 291 | - | 401 | 435 | 0 | 0 | 8 | 850k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
774.93/775.29 c 723s| 1500k| 180 | 267 | 0.0 |4521k| 291 | - | 401 | 428 | 0 | 0 | 8 | 857k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
779.54/779.83 c 728s| 1510k| 144 | 267 | 0.0 |4515k| 291 | - | 401 | 435 | 0 | 0 | 8 | 863k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
784.03/784.38 c 732s| 1520k| 171 | 267 | 0.0 |4514k| 291 | - | 401 | 424 | 0 | 0 | 8 | 869k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
788.83/789.10 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
788.83/789.10 c 736s| 1530k| 152 | 267 | 0.0 |4510k| 291 | - | 401 | 424 | 0 | 0 | 8 | 875k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
793.93/794.26 c 741s| 1540k| 154 | 267 | 0.0 |4509k| 291 | - | 401 | 422 | 0 | 0 | 8 | 881k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
799.72/800.00 c 746s| 1550k| 156 | 267 | 0.0 |4520k| 291 | - | 401 | 428 | 0 | 0 | 8 | 888k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
804.51/804.80 c 751s| 1560k| 150 | 267 | 0.0 |4508k| 291 | - | 401 | 421 | 0 | 0 | 8 | 893k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
809.02/809.38 c 755s| 1570k| 150 | 267 | 0.0 |4518k| 291 | - | 401 | 428 | 0 | 0 | 8 | 899k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
813.73/814.08 c 759s| 1580k| 158 | 267 | 0.0 |4509k| 291 | - | 401 | 421 | 0 | 0 | 8 | 904k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
818.62/818.90 c 764s| 1590k| 138 | 267 | 0.0 |4520k| 291 | - | 401 | 429 | 0 | 0 | 8 | 910k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
823.41/823.76 c 768s| 1600k| 153 | 267 | 0.0 |4514k| 291 | - | 401 | 437 | 0 | 0 | 8 | 916k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
828.51/828.81 c 773s| 1610k| 139 | 267 | 0.0 |4505k| 291 | - | 401 | 422 | 0 | 0 | 8 | 922k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
834.01/834.37 c 778s| 1620k| 139 | 267 | 0.0 |4505k| 291 | - | 401 | 421 | 0 | 0 | 8 | 928k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
839.41/839.77 c 784s| 1630k| 152 | 267 | 0.0 |4509k| 291 | - | 401 | 423 | 0 | 0 | 8 | 933k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
844.91/845.25 c 789s| 1640k| 174 | 267 | 0.0 |4514k| 291 | - | 401 | 421 | 0 | 0 | 8 | 939k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
850.81/851.15 c 794s| 1650k| 160 | 267 | 0.0 |4524k| 291 | - | 401 | 426 | 0 | 0 | 8 | 945k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
856.61/856.91 c 800s| 1660k| 144 | 267 | 0.0 |4506k| 291 | - | 401 | 421 | 0 | 0 | 8 | 951k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
862.11/862.44 c 805s| 1670k| 150 | 267 | 0.0 |4508k| 291 | - | 401 | 421 | 0 | 0 | 8 | 957k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
867.50/867.81 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
867.50/867.81 c 810s| 1680k| 161 | 267 | 0.0 |4511k| 291 | - | 401 | 421 | 0 | 0 | 8 | 963k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
872.70/873.05 c 815s| 1690k| 150 | 267 | 0.0 |4531k| 291 | - | 401 | 455 | 0 | 0 | 8 | 969k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
878.39/878.74 c 820s| 1700k| 150 | 267 | 0.0 |4525k| 291 | - | 401 | 430 | 0 | 0 | 8 | 975k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
883.49/883.84 c 825s| 1710k| 171 | 267 | 0.0 |4516k| 291 | - | 401 | 426 | 0 | 0 | 8 | 980k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
887.99/888.32 c 829s| 1720k| 158 | 267 | 0.0 |4530k| 291 | - | 401 | 453 | 0 | 0 | 8 | 985k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
892.90/893.27 c 833s| 1730k| 165 | 267 | 0.0 |4515k| 291 | - | 401 | 425 | 0 | 0 | 8 | 991k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
898.19/898.52 c 838s| 1740k| 178 | 267 | 0.0 |4518k| 291 | - | 401 | 422 | 0 | 0 | 8 | 997k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
903.49/903.86 c 843s| 1750k| 168 | 267 | 0.0 |4515k| 291 | - | 401 | 422 | 0 | 0 | 8 |1004k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
908.88/909.23 c 848s| 1760k| 163 | 267 | 0.0 |4520k| 291 | - | 401 | 440 | 0 | 0 | 8 |1010k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
914.48/914.85 c 854s| 1770k| 171 | 267 | 0.0 |4527k| 291 | - | 401 | 455 | 0 | 0 | 8 |1017k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
919.88/920.20 c 858s| 1780k| 161 | 267 | 0.0 |4516k| 291 | - | 401 | 429 | 0 | 0 | 8 |1024k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
925.89/926.29 c 864s| 1790k| 170 | 267 | 0.0 |4525k| 291 | - | 401 | 422 | 0 | 0 | 8 |1031k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
931.87/932.25 c 870s| 1800k| 164 | 267 | 0.0 |4514k| 291 | - | 401 | 422 | 0 | 0 | 8 |1038k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
937.88/938.24 c 875s| 1810k| 155 | 267 | 0.0 |4514k| 291 | - | 401 | 426 | 0 | 0 | 8 |1045k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
943.98/944.31 c 881s| 1820k| 145 | 267 | 0.0 |4525k| 291 | - | 401 | 436 | 0 | 0 | 8 |1052k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
949.77/950.19 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
949.77/950.19 c 886s| 1830k| 163 | 267 | 0.0 |4524k| 291 | - | 401 | 424 | 0 | 0 | 8 |1058k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
954.77/955.14 c 891s| 1840k| 152 | 267 | 0.0 |4516k| 291 | - | 401 | 428 | 0 | 0 | 8 |1064k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
959.47/959.89 c 895s| 1850k| 177 | 267 | 0.0 |4524k| 301 | - | 401 | 425 | 0 | 0 | 8 |1069k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
964.28/964.69 c 900s| 1860k| 169 | 267 | 0.0 |4522k| 301 | - | 401 | 423 | 0 | 0 | 8 |1075k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
969.77/970.19 c 905s| 1870k| 160 | 267 | 0.0 |4525k| 301 | - | 401 | 428 | 0 | 0 | 8 |1081k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
975.07/975.45 c 910s| 1880k| 171 | 267 | 0.0 |4528k| 301 | - | 401 | 426 | 0 | 0 | 8 |1087k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
980.47/980.87 c 915s| 1890k| 171 | 267 | 0.0 |4527k| 301 | - | 401 | 425 | 0 | 0 | 8 |1093k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
986.56/986.91 c 920s| 1900k| 171 | 267 | 0.0 |4543k| 301 | - | 401 | 440 | 0 | 0 | 8 |1099k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
992.56/992.95 c 926s| 1910k| 152 | 267 | 0.0 |4579k| 301 | - | 401 | 591 | 0 | 0 | 8 |1105k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
998.37/998.79 c 931s| 1920k| 161 | 267 | 0.0 |4531k| 301 | - | 401 | 430 | 0 | 0 | 8 |1111k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
1003.46/1003.84 c 936s| 1930k| 164 | 267 | 0.0 |4537k| 301 | - | 401 | 442 | 0 | 0 | 8 |1117k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
1008.55/1008.92 c 941s| 1940k| 167 | 267 | 0.0 |4528k| 301 | - | 401 | 430 | 0 | 0 | 8 |1123k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
1013.65/1014.05 c 946s| 1950k| 139 | 267 | 0.0 |4540k| 301 | - | 401 | 448 | 0 | 0 | 8 |1129k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
1018.95/1019.39 c 951s| 1960k| 156 | 267 | 0.0 |4525k| 301 | - | 401 | 424 | 0 | 0 | 8 |1135k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
1025.24/1025.60 c 956s| 1970k| 180 | 267 | 0.0 |4534k| 301 | - | 401 | 432 | 0 | 0 | 8 |1143k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
1032.34/1032.77 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1032.34/1032.77 c 963s| 1980k| 165 | 267 | 0.0 |4529k| 301 | - | 401 | 425 | 0 | 0 | 8 |1150k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
1038.64/1039.08 c 969s| 1990k| 153 | 267 | 0.0 |4531k| 301 | - | 401 | 441 | 0 | 0 | 8 |1158k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
1044.44/1044.86 c 974s| 2000k| 142 | 267 | 0.0 |4525k| 301 | - | 401 | 428 | 0 | 0 | 8 |1164k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
1051.44/1051.81 c 981s| 2010k| 158 | 267 | 0.0 |4541k| 301 | - | 401 | 428 | 0 | 0 | 8 |1171k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
1057.74/1058.11 c 986s| 2020k| 159 | 267 | 0.0 |4538k| 301 | - | 401 | 431 | 0 | 0 | 8 |1177k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
1062.93/1063.31 c 991s| 2030k| 186 | 267 | 0.0 |4534k| 301 | - | 401 | 425 | 0 | 0 | 8 |1183k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
1067.44/1067.80 c 995s| 2040k| 181 | 267 | 0.0 |4534k| 301 | - | 401 | 428 | 0 | 0 | 8 |1189k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
1072.63/1073.04 c 1000s| 2050k| 179 | 267 | 0.0 |4531k| 301 | - | 401 | 422 | 0 | 0 | 8 |1196k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
1077.64/1078.01 c 1005s| 2060k| 178 | 267 | 0.0 |4532k| 301 | - | 401 | 425 | 0 | 0 | 8 |1202k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
1082.23/1082.63 c 1009s| 2070k| 151 | 267 | 0.0 |4530k| 301 | - | 401 | 430 | 0 | 0 | 8 |1208k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
1087.93/1088.36 c 1014s| 2080k| 160 | 267 | 0.0 |4530k| 301 | - | 401 | 429 | 0 | 0 | 8 |1214k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
1094.03/1094.47 c 1020s| 2090k| 145 | 267 | 0.0 |4527k| 301 | - | 401 | 435 | 0 | 0 | 8 |1221k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
1099.72/1100.10 c 1025s| 2100k| 149 | 267 | 0.0 |4525k| 301 | - | 401 | 426 | 0 | 0 | 8 |1227k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
1104.92/1105.31 c 1030s| 2110k| 146 | 267 | 0.0 |4523k| 301 | - | 401 | 422 | 0 | 0 | 8 |1233k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
1111.12/1111.53 c 1036s| 2120k| 179 | 267 | 0.0 |4581k| 301 | - | 401 | 553 | 0 | 0 | 8 |1240k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
1117.42/1117.88 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1117.42/1117.88 c 1042s| 2130k| 161 | 267 | 0.0 |4533k| 301 | - | 401 | 431 | 0 | 0 | 8 |1248k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
1123.82/1124.24 c 1048s| 2140k| 166 | 267 | 0.0 |4532k| 301 | - | 401 | 426 | 0 | 0 | 8 |1255k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
1130.82/1131.21 c 1054s| 2150k| 156 | 267 | 0.0 |4541k| 301 | - | 401 | 422 | 0 | 0 | 8 |1262k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
1136.51/1136.99 c 1059s| 2160k| 151 | 267 | 0.0 |4530k| 301 | - | 401 | 430 | 0 | 0 | 8 |1269k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
1143.20/1143.60 c 1066s| 2170k| 156 | 267 | 0.0 |4549k| 301 | - | 401 | 473 | 0 | 0 | 8 |1276k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
1148.71/1149.11 c 1071s| 2180k| 174 | 267 | 0.0 |4534k| 301 | - | 401 | 425 | 0 | 0 | 8 |1282k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
1154.11/1154.50 c 1076s| 2190k| 176 | 267 | 0.0 |4539k| 301 | - | 401 | 433 | 0 | 0 | 8 |1289k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
1158.91/1159.35 c 1080s| 2200k| 186 | 267 | 0.0 |4545k| 301 | - | 401 | 425 | 0 | 0 | 8 |1295k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
1164.51/1164.96 c 1085s| 2210k| 172 | 267 | 0.0 |4538k| 301 | - | 401 | 429 | 0 | 0 | 8 |1302k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
1170.50/1170.94 c 1091s| 2220k| 159 | 267 | 0.0 |4536k| 301 | - | 401 | 438 | 0 | 0 | 8 |1308k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
1176.39/1176.86 c 1097s| 2230k| 155 | 267 | 0.0 |4533k| 301 | - | 401 | 431 | 0 | 0 | 8 |1315k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
1182.29/1182.76 c 1102s| 2240k| 151 | 267 | 0.0 |4532k| 301 | - | 401 | 430 | 0 | 0 | 8 |1321k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
1187.30/1187.76 c 1107s| 2250k| 143 | 267 | 0.0 |4533k| 301 | - | 401 | 439 | 0 | 0 | 8 |1327k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
1191.69/1192.18 c 1111s| 2260k| 159 | 267 | 0.0 |4530k| 301 | - | 401 | 423 | 0 | 0 | 8 |1332k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
1196.99/1197.49 c 1116s| 2270k| 141 | 267 | 0.0 |4528k| 301 | - | 401 | 428 | 0 | 0 | 8 |1338k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
1202.19/1202.68 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1202.19/1202.68 c 1121s| 2280k| 158 | 267 | 0.0 |4533k| 301 | - | 401 | 428 | 0 | 0 | 8 |1344k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
1207.29/1207.80 c 1126s| 2290k| 152 | 267 | 0.0 |4537k| 301 | - | 401 | 441 | 0 | 0 | 8 |1350k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
1212.19/1212.64 c 1130s| 2300k| 150 | 267 | 0.0 |4544k| 301 | - | 401 | 431 | 0 | 0 | 8 |1355k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
1217.38/1217.80 c 1135s| 2310k| 156 | 267 | 0.0 |4530k| 301 | - | 401 | 422 | 0 | 0 | 8 |1361k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
1222.88/1223.36 c 1140s| 2320k| 139 | 267 | 0.0 |4538k| 301 | - | 401 | 437 | 0 | 0 | 8 |1367k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
1227.68/1228.11 c 1145s| 2330k| 167 | 267 | 0.0 |4534k| 301 | - | 401 | 426 | 0 | 0 | 8 |1372k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
1232.98/1233.48 c 1150s| 2340k| 144 | 267 | 0.0 |4531k| 301 | - | 401 | 430 | 0 | 0 | 8 |1378k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
1237.78/1238.26 c 1154s| 2350k| 161 | 267 | 0.0 |4546k| 301 | - | 401 | 436 | 0 | 0 | 8 |1383k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
1243.59/1244.07 c 1159s| 2360k| 168 | 267 | 0.0 |4544k| 301 | - | 401 | 428 | 0 | 0 | 8 |1390k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
1249.47/1249.93 c 1165s| 2370k| 141 | 267 | 0.0 |4553k| 301 | - | 401 | 441 | 0 | 0 | 8 |1396k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
1254.97/1255.49 c 1170s| 2380k| 160 | 267 | 0.0 |4537k| 301 | - | 401 | 435 | 0 | 0 | 8 |1402k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
1260.97/1261.48 c 1176s| 2390k| 146 | 267 | 0.0 |4532k| 301 | - | 401 | 431 | 0 | 0 | 8 |1408k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
1266.47/1266.94 c 1181s| 2400k| 149 | 267 | 0.0 |4532k| 301 | - | 401 | 431 | 0 | 0 | 8 |1414k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
1272.28/1272.77 c 1186s| 2410k| 159 | 267 | 0.0 |4536k| 301 | - | 401 | 435 | 0 | 0 | 8 |1421k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
1277.36/1277.83 c 1191s| 2420k| 155 | 267 | 0.0 |4536k| 301 | - | 401 | 425 | 0 | 0 | 8 |1426k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
1282.66/1283.13 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1282.66/1283.13 c 1196s| 2430k| 167 | 267 | 0.0 |4544k| 301 | - | 401 | 449 | 0 | 0 | 8 |1432k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
1288.67/1289.12 c 1201s| 2440k| 151 | 267 | 0.0 |4536k| 301 | - | 401 | 442 | 0 | 0 | 8 |1439k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
1293.76/1294.25 c 1206s| 2450k| 170 | 267 | 0.0 |4537k| 301 | - | 401 | 427 | 0 | 0 | 8 |1446k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
1299.56/1300.01 c 1211s| 2460k| 159 | 267 | 0.0 |4546k| 301 | - | 401 | 438 | 0 | 0 | 8 |1453k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
1305.06/1305.60 c 1216s| 2470k| 146 | 267 | 0.0 |4530k| 301 | - | 401 | 427 | 0 | 0 | 8 |1459k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
1309.56/1310.02 c 1221s| 2480k| 208 | 267 | 0.0 |4547k| 301 | - | 401 | 430 | 0 | 0 | 8 |1464k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
1314.45/1314.98 c 1225s| 2490k| 176 | 267 | 0.0 |4538k| 301 | - | 401 | 425 | 0 | 0 | 8 |1470k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
1319.65/1320.12 c 1230s| 2500k| 176 | 267 | 0.0 |4542k| 301 | - | 401 | 436 | 0 | 0 | 8 |1476k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
1325.06/1325.59 c 1235s| 2510k| 152 | 267 | 0.0 |4533k| 301 | - | 401 | 430 | 0 | 0 | 8 |1482k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
1330.75/1331.28 c 1240s| 2520k| 172 | 267 | 0.0 |4536k| 301 | - | 401 | 424 | 0 | 0 | 8 |1489k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
1336.24/1336.73 c 1245s| 2530k| 163 | 267 | 0.0 |4533k| 301 | - | 401 | 423 | 0 | 0 | 8 |1496k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
1341.34/1341.87 c 1250s| 2540k| 174 | 267 | 0.0 |4543k| 301 | - | 401 | 441 | 0 | 0 | 8 |1503k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
1347.15/1347.64 c 1255s| 2550k| 176 | 267 | 0.0 |4538k| 301 | - | 401 | 425 | 0 | 0 | 8 |1509k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
1351.74/1352.21 c 1260s| 2560k| 153 | 267 | 0.0 |4532k| 301 | - | 401 | 423 | 0 | 0 | 8 |1515k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
1356.74/1357.26 c 1264s| 2570k| 141 | 267 | 0.0 |4537k| 301 | - | 401 | 443 | 0 | 0 | 8 |1520k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
1362.53/1363.05 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1362.53/1363.05 c 1270s| 2580k| 159 | 267 | 0.0 |4535k| 301 | - | 401 | 425 | 0 | 0 | 8 |1527k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
1368.74/1369.27 c 1275s| 2590k| 149 | 267 | 0.0 |4539k| 301 | - | 401 | 444 | 0 | 0 | 8 |1534k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
1374.83/1375.39 c 1281s| 2600k| 161 | 267 | 0.0 |4535k| 301 | - | 401 | 424 | 0 | 0 | 8 |1541k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
1380.43/1380.97 c 1286s| 2610k| 145 | 267 | 0.0 |4532k| 301 | - | 401 | 427 | 0 | 0 | 8 |1547k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
1385.93/1386.43 c 1291s| 2620k| 145 | 267 | 0.0 |4532k| 301 | - | 401 | 426 | 0 | 0 | 8 |1553k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
1392.03/1392.53 c 1297s| 2630k| 161 | 267 | 0.0 |4542k| 301 | - | 401 | 427 | 0 | 0 | 8 |1560k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
1397.33/1397.83 c 1302s| 2640k| 164 | 267 | 0.0 |4538k| 301 | - | 401 | 427 | 0 | 0 | 8 |1566k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
1402.92/1403.43 c 1307s| 2650k| 145 | 267 | 0.0 |4532k| 301 | - | 401 | 424 | 0 | 0 | 8 |1572k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
1408.52/1409.03 c 1312s| 2660k| 161 | 267 | 0.0 |4537k| 301 | - | 401 | 424 | 0 | 0 | 8 |1578k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
1414.32/1414.87 c 1318s| 2670k| 171 | 267 | 0.0 |4542k| 301 | - | 401 | 427 | 0 | 0 | 8 |1584k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
1419.81/1420.38 c 1323s| 2680k| 155 | 267 | 0.0 |4537k| 301 | - | 401 | 427 | 0 | 0 | 8 |1590k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
1424.72/1425.29 c 1327s| 2690k| 159 | 267 | 0.0 |4537k| 301 | - | 401 | 426 | 0 | 0 | 8 |1596k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
1429.92/1430.46 c 1332s| 2700k| 158 | 267 | 0.0 |4537k| 301 | - | 401 | 426 | 0 | 0 | 8 |1601k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
1435.21/1435.78 c 1337s| 2710k| 156 | 267 | 0.0 |4552k| 301 | - | 401 | 432 | 0 | 0 | 8 |1607k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
1440.11/1440.63 c 1342s| 2720k| 187 | 267 | 0.0 |4544k| 301 | - | 401 | 423 | 0 | 0 | 8 |1613k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
1444.91/1445.41 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1444.91/1445.41 c 1346s| 2730k| 174 | 267 | 0.0 |4549k| 301 | - | 401 | 435 | 0 | 0 | 8 |1619k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
1449.31/1449.84 c 1350s| 2740k| 171 | 267 | 0.0 |4545k| 301 | - | 401 | 435 | 0 | 0 | 8 |1625k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
1454.11/1454.68 c 1355s| 2750k| 164 | 267 | 0.0 |4541k| 301 | - | 401 | 430 | 0 | 0 | 8 |1631k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
1458.91/1459.47 c 1359s| 2760k| 159 | 267 | 0.0 |4536k| 301 | - | 401 | 423 | 0 | 0 | 8 |1638k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
1463.31/1463.82 c 1363s| 2770k| 147 | 267 | 0.0 |4534k| 301 | - | 401 | 426 | 0 | 0 | 8 |1643k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
1468.50/1469.00 c 1368s| 2780k| 152 | 267 | 0.0 |4535k| 301 | - | 401 | 425 | 0 | 0 | 8 |1648k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
1473.80/1474.35 c 1373s| 2790k| 158 | 267 | 0.0 |4538k| 301 | - | 401 | 428 | 0 | 0 | 8 |1654k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
1479.19/1479.75 c 1378s| 2800k| 145 | 267 | 0.0 |4542k| 301 | - | 401 | 427 | 0 | 0 | 8 |1660k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
1484.51/1485.06 c 1383s| 2810k| 152 | 267 | 0.0 |4540k| 301 | - | 401 | 436 | 0 | 0 | 8 |1666k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
1490.01/1490.57 c 1388s| 2820k| 138 | 267 | 0.0 |4536k| 301 | - | 401 | 436 | 0 | 0 | 8 |1672k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
1494.50/1495.08 c 1392s| 2830k| 189 | 267 | 0.0 |4548k| 301 | - | 401 | 433 | 0 | 0 | 8 |1677k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
1499.29/1499.85 c 1397s| 2840k| 171 | 267 | 0.0 |4548k| 301 | - | 401 | 440 | 0 | 0 | 8 |1684k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
1504.69/1505.25 c 1402s| 2850k| 156 | 267 | 0.0 |4535k| 301 | - | 401 | 422 | 0 | 0 | 8 |1691k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
1509.70/1510.24 c 1406s| 2860k| 156 | 267 | 0.0 |4549k| 301 | - | 401 | 436 | 0 | 0 | 8 |1697k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
1515.19/1515.70 c 1412s| 2870k| 146 | 267 | 0.0 |4544k| 301 | - | 401 | 446 | 0 | 0 | 8 |1704k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
1520.59/1521.13 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1520.59/1521.13 c 1417s| 2880k| 153 | 267 | 0.0 |4548k| 301 | - | 401 | 435 | 0 | 0 | 8 |1711k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
1526.19/1526.77 c 1422s| 2890k| 146 | 267 | 0.0 |4544k| 301 | - | 401 | 425 | 0 | 0 | 8 |1717k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
1531.98/1532.53 c 1427s| 2900k| 160 | 267 | 0.0 |4542k| 301 | - | 401 | 435 | 0 | 0 | 8 |1723k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
1537.38/1537.99 c 1432s| 2910k| 161 | 267 | 0.0 |4538k| 301 | - | 401 | 425 | 0 | 0 | 8 |1730k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
1542.69/1543.28 c 1437s| 2920k| 135 | 267 | 0.0 |4531k| 301 | - | 401 | 425 | 0 | 0 | 8 |1736k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
1547.88/1548.47 c 1442s| 2930k| 166 | 267 | 0.0 |4550k| 301 | - | 401 | 452 | 0 | 0 | 8 |1742k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
1553.38/1553.95 c 1447s| 2940k| 174 | 267 | 0.0 |4548k| 301 | - | 401 | 443 | 0 | 0 | 8 |1749k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
1558.77/1559.39 c 1452s| 2950k| 154 | 267 | 0.0 |4536k| 301 | - | 401 | 422 | 0 | 0 | 8 |1756k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
1564.78/1565.37 c 1457s| 2960k| 152 | 267 | 0.0 |4550k| 301 | - | 401 | 448 | 0 | 0 | 8 |1763k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
1570.67/1571.24 c 1463s| 2970k| 145 | 267 | 0.0 |4542k| 301 | - | 401 | 444 | 0 | 0 | 8 |1770k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
1576.46/1577.09 c 1468s| 2980k| 157 | 267 | 0.0 |4541k| 301 | - | 401 | 434 | 0 | 0 | 8 |1776k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
1583.37/1583.97 c 1475s| 2990k| 147 | 267 | 0.0 |4562k| 301 | - | 401 | 476 | 0 | 0 | 8 |1783k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
1589.17/1589.74 c 1480s| 3000k| 144 | 267 | 0.0 |4558k| 301 | - | 401 | 471 | 0 | 0 | 8 |1790k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
1594.37/1594.94 c 1485s| 3010k| 144 | 267 | 0.0 |4553k| 301 | - | 401 | 453 | 0 | 0 | 8 |1796k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
1599.97/1600.59 c 1490s| 3020k| 133 | 267 | 0.0 |4532k| 301 | - | 401 | 425 | 0 | 0 | 8 |1803k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
1604.37/1604.97 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1604.37/1604.97 c 1494s| 3030k| 188 | 267 | 0.0 |4548k| 301 | - | 401 | 429 | 0 | 0 | 8 |1809k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
1608.77/1609.32 c 1498s| 3040k| 165 | 267 | 0.0 |4539k| 301 | - | 401 | 423 | 0 | 0 | 8 |1814k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
1614.05/1614.66 c 1503s| 3050k| 176 | 267 | 0.0 |4548k| 301 | - | 401 | 428 | 0 | 0 | 8 |1820k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
1619.26/1619.87 c 1508s| 3060k| 183 | 267 | 0.0 |4545k| 301 | - | 401 | 422 | 0 | 0 | 8 |1827k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
1625.86/1626.43 c 1514s| 3070k| 187 | 267 | 0.0 |4549k| 301 | - | 401 | 421 | 0 | 0 | 8 |1835k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
1632.35/1632.95 c 1520s| 3080k| 179 | 267 | 0.0 |4544k| 301 | - | 401 | 421 | 0 | 0 | 8 |1843k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
1637.55/1638.13 c 1525s| 3090k| 163 | 267 | 0.0 |4552k| 301 | - | 401 | 434 | 0 | 0 | 8 |1849k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
1642.05/1642.66 c 1529s| 3100k| 161 | 267 | 0.0 |4542k| 301 | - | 401 | 431 | 0 | 0 | 8 |1854k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
1646.94/1647.50 c 1534s| 3110k| 175 | 267 | 0.0 |4541k| 301 | - | 401 | 421 | 0 | 0 | 8 |1860k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
1652.14/1652.71 c 1538s| 3120k| 164 | 267 | 0.0 |4538k| 301 | - | 401 | 421 | 0 | 0 | 8 |1867k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
1658.04/1658.69 c 1544s| 3130k| 167 | 267 | 0.0 |4541k| 301 | - | 401 | 424 | 0 | 0 | 8 |1873k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
1663.74/1664.33 c 1549s| 3140k| 171 | 267 | 0.0 |4543k| 301 | - | 401 | 430 | 0 | 0 | 8 |1880k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
1669.53/1670.14 c 1555s| 3150k| 154 | 267 | 0.0 |4536k| 301 | - | 401 | 421 | 0 | 0 | 8 |1887k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
1674.54/1675.11 c 1559s| 3160k| 161 | 267 | 0.0 |4542k| 301 | - | 401 | 429 | 0 | 0 | 8 |1893k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
1678.94/1679.57 c 1563s| 3170k| 154 | 267 | 0.0 |4538k| 301 | - | 401 | 426 | 0 | 0 | 8 |1898k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
1684.23/1684.84 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1684.23/1684.84 c 1568s| 3180k| 160 | 267 | 0.0 |4547k| 301 | - | 401 | 448 | 0 | 0 | 8 |1904k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
1690.14/1690.72 c 1574s| 3190k| 191 | 267 | 0.0 |4569k| 301 | - | 401 | 485 | 0 | 0 | 8 |1911k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
1696.52/1697.10 c 1579s| 3200k| 167 | 267 | 0.0 |4540k| 301 | - | 401 | 421 | 0 | 0 | 8 |1919k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
1702.32/1702.98 c 1585s| 3210k| 160 | 267 | 0.0 |4569k| 301 | - | 401 | 502 | 0 | 0 | 8 |1926k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
1708.73/1709.36 c 1591s| 3220k| 153 | 267 | 0.0 |4537k| 301 | - | 401 | 423 | 0 | 0 | 8 |1934k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
1713.53/1714.18 c 1595s| 3230k| 159 | 267 | 0.0 |4537k| 301 | - | 401 | 421 | 0 | 0 | 8 |1940k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
1718.42/1719.02 c 1600s| 3240k| 184 | 267 | 0.0 |4558k| 301 | - | 401 | 431 | 0 | 0 | 8 |1945k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
1723.61/1724.21 c 1605s| 3250k| 170 | 267 | 0.0 |4541k| 301 | - | 401 | 423 | 0 | 0 | 8 |1951k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
1728.32/1728.97 c 1609s| 3260k| 168 | 267 | 0.0 |4541k| 301 | - | 401 | 423 | 0 | 0 | 8 |1957k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
1734.02/1734.64 c 1614s| 3270k| 161 | 267 | 0.0 |4541k| 301 | - | 401 | 429 | 0 | 0 | 8 |1963k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
1739.52/1740.16 c 1619s| 3280k| 149 | 267 | 0.0 |4548k| 301 | - | 401 | 426 | 0 | 0 | 8 |1970k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
1745.21/1745.87 c 1625s| 3290k| 173 | 267 | 0.0 |4551k| 301 | - | 401 | 441 | 0 | 0 | 8 |1975k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
1750.31/1750.94 c 1629s| 3300k| 172 | 267 | 0.0 |4541k| 301 | - | 401 | 421 | 0 | 0 | 8 |1982k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
1755.61/1756.21 c 1634s| 3310k| 172 | 267 | 0.0 |4554k| 301 | - | 401 | 457 | 0 | 0 | 8 |1988k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
1760.30/1761.00 c 1639s| 3320k| 157 | 267 | 0.0 |4541k| 301 | - | 401 | 431 | 0 | 0 | 8 |1994k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
1765.21/1765.84 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1765.21/1765.84 c 1643s| 3330k| 171 | 267 | 0.0 |4541k| 301 | - | 401 | 422 | 0 | 0 | 8 |2000k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
1771.00/1771.60 c 1649s| 3340k| 164 | 267 | 0.0 |4539k| 301 | - | 401 | 422 | 0 | 0 | 8 |2006k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
1775.81/1776.46 c 1653s| 3350k| 162 | 267 | 0.0 |4541k| 301 | - | 401 | 426 | 0 | 0 | 8 |2012k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
1780.90/1781.54 c 1658s| 3360k| 173 | 267 | 0.0 |4550k| 301 | - | 401 | 443 | 0 | 0 | 8 |2018k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
1786.59/1787.21 c 1663s| 3370k| 169 | 267 | 0.0 |4541k| 301 | - | 401 | 424 | 0 | 0 | 8 |2024k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
1791.30/1791.94 c 1668s| 3380k| 161 | 267 | 0.0 |4539k| 301 | - | 401 | 424 | 0 | 0 | 8 |2031k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
1796.10/1796.79 c 1672s| 3390k| 149 | 267 | 0.0 |4538k| 301 | - | 401 | 425 | 0 | 0 | 8 |2036k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
1800.01/1800.61 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.01/1800.61 c
1800.01/1800.61 c SCIP Status : solving was interrupted [user interrupt]
1800.01/1800.61 c Solving Time (sec) : 1675.57
1800.01/1800.61 c Solving Nodes : 3397317
1800.01/1800.61 c Primal Bound : +1.90000000000000e+01 (6 solutions)
1800.01/1800.61 c Dual Bound : +1.65000000000000e+01
1800.01/1800.61 c Gap : 15.15 %
1800.01/1800.61 s SATISFIABLE
1800.01/1800.61 v x406 -x405 -x404 -x403 -x402 -x401 -x400 -x399 -x398 -x397 -x396 -x395 -x394 -x393 -x392 -x391 -x390 -x389 -x388 -x387 -x386 -x385
1800.01/1800.61 v -x384 -x383 -x382 -x381 -x380 -x379 -x378 -x377 -x376 -x375 -x374 -x373 -x372 -x371 -x370 -x369 -x368 -x367 -x366 -x365 -x364
1800.01/1800.61 v -x363 -x362 -x361 -x360 x359 -x358 -x357 -x356 -x355 -x354 -x353 -x352 -x351 -x350 -x349 -x348 -x347 -x346 -x345 -x344 -x343
1800.01/1800.61 v -x342 -x341 -x340 -x339 -x338 -x337 -x336 -x335 -x334 -x333 -x332 -x331 -x330 -x329 x328 x327 -x326 -x325 -x324 -x323 -x322
1800.01/1800.61 v -x321 -x320 x319 -x318 -x317 -x316 x315 -x314 -x313 -x312 -x311 -x310 -x309 -x308 -x307 -x306 -x305 -x304 -x303 -x302 -x301
1800.01/1800.61 v -x300 -x299 -x298 -x297 -x296 -x295 -x294 -x293 -x292 -x291 -x290 -x289 -x288 -x287 -x286 -x285 -x284 -x283 -x282 -x281 -x280
1800.01/1800.61 v -x279 -x278 -x277 -x276 -x275 -x274 -x273 -x272 -x271 -x270 -x269 -x268 -x267 x266 -x265 x264 x263 x262 -x261 -x260 -x259
1800.01/1800.61 v -x258 x257 -x256 -x255 -x254 -x253 -x252 -x251 -x250 -x249 -x248 -x247 -x246 -x245 -x244 -x243 -x242 -x241 -x240 -x239 -x238
1800.01/1800.61 v -x237 -x236 -x235 -x234 -x233 -x232 -x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217
1800.01/1800.61 v -x216 -x215 -x214 -x213 -x212 -x211 -x210 -x209 -x208 -x207 x206 x205 -x204 -x203 -x202 -x201 -x200 -x199 -x198 -x197 -x196
1800.01/1800.61 v -x195 -x194 -x193 -x192 -x191 -x190 -x189 -x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178 -x177 -x176 x175
1800.01/1800.61 v -x174 -x173 -x172 -x171 -x170 -x169 -x168 -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154
1800.01/1800.61 v -x153 -x152 -x151 -x150 -x149 -x148 -x147 -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133
1800.01/1800.61 v -x132 -x131 -x130 -x129 -x128 -x127 -x126 -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112
1800.01/1800.61 v -x111 -x110 -x109 -x108 -x107 -x106 -x105 -x104 -x103 x102 -x101 -x100 -x99 -x98 -x97 -x96 -x95 -x94 -x93 -x92 -x91 -x90
1800.01/1800.61 v -x89 -x88 -x87 -x86 -x85 x84 -x83 -x82 -x81 -x80 -x79 -x78 -x77 x76 -x75 -x74 -x73 -x72 -x71 -x70 -x69 -x68 -x67 -x66 -x65 -x64
1800.01/1800.61 v -x63 x62 -x61 -x60 -x59 -x58 -x57 -x56 -x55 -x54 -x53 -x52 -x51 -x50 -x49 -x48 -x47 -x46 -x45 -x44 -x43 -x42 -x41 -x40 -x39
1800.01/1800.61 v -x38 -x37 -x36 -x35 -x34 -x33 -x32 -x31 -x30 -x29 -x28 -x27 -x26 -x25 -x24 -x23 -x22 -x21 -x20 -x19 -x18 -x17 -x16 -x15 -x14
1800.01/1800.61 v -x13 -x12 -x11 -x10 -x9 -x8 -x7 x6 -x5 -x4 -x3 -x2 -x1
1800.01/1800.61 c SCIP Status : solving was interrupted [user interrupt]
1800.01/1800.61 c Solving Time : 1675.57
1800.01/1800.61 c Original Problem :
1800.01/1800.61 c Problem name : HOME/instance-2666059-1276413116.opb
1800.01/1800.61 c Variables : 406 (406 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.01/1800.61 c Constraints : 520 initial, 520 maximal
1800.01/1800.61 c Presolved Problem :
1800.01/1800.61 c Problem name : t_HOME/instance-2666059-1276413116.opb
1800.01/1800.61 c Variables : 401 (401 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.01/1800.61 c Constraints : 421 initial, 796 maximal
1800.01/1800.61 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.01/1800.61 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.01/1800.61 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.01/1800.61 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.01/1800.61 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.01/1800.61 c implics : 0.00 0 0 0 0 0 0 0 0
1800.01/1800.61 c probing : 0.01 0 0 0 0 0 0 0 0
1800.01/1800.61 c linear : 0.01 5 0 0 5 0 37 5 0
1800.01/1800.61 c logicor : 0.01 0 0 0 0 0 62 0 0
1800.01/1800.61 c root node : - 0 - - 0 - - - -
1800.01/1800.61 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.01/1800.61 c integral : 0 0 0 1 0 0 0 0 0 2
1800.01/1800.61 c logicor : 421+ 7 10684994 0 0 1520524 7879163 0 0 0
1800.01/1800.61 c countsols : 0 0 0 0 0 0 0 0 0 0
1800.01/1800.61 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.01/1800.61 c integral : 0.96 0.00 0.00 0.96 0.00
1800.01/1800.61 c logicor : 318.95 0.00 318.95 0.00 0.00
1800.01/1800.61 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.01/1800.61 c Propagators : Time Calls Cutoffs DomReds
1800.01/1800.61 c vbounds : 10.03 2 0 0
1800.01/1800.61 c rootredcost : 8.73 0 0 0
1800.01/1800.61 c pseudoobj : 746.81 21442372 630283 284308625
1800.01/1800.61 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.01/1800.61 c propagation : 257.77 2020963 2020963 2020963 27.8 44300 44.0 -
1800.01/1800.61 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.01/1800.61 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.01/1800.61 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.01/1800.61 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.01/1800.61 c applied globally : - - - 1703710 22.4 - - -
1800.01/1800.61 c applied locally : - - - 337194 55.4 - - -
1800.01/1800.61 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.01/1800.61 c cut pool : 0.00 6 - - 8 - (maximal pool size: 141)
1800.01/1800.61 c redcost : 0.00 8 0 0 0 0
1800.01/1800.61 c impliedbounds : 0.00 8 0 0 0 0
1800.01/1800.61 c intobj : 0.00 0 0 0 0 0
1800.01/1800.61 c cgmip : 0.00 0 0 0 0 0
1800.01/1800.61 c gomory : 0.61 8 0 0 736 0
1800.01/1800.61 c strongcg : 0.58 8 0 0 1188 0
1800.01/1800.61 c cmir : 0.08 8 0 0 0 0
1800.01/1800.61 c flowcover : 0.12 8 0 0 0 0
1800.01/1800.61 c clique : 0.00 1 0 0 0 0
1800.01/1800.61 c zerohalf : 0.00 0 0 0 0 0
1800.01/1800.61 c mcf : 0.00 1 0 0 0 0
1800.01/1800.61 c rapidlearning : 0.00 0 0 0 0 0
1800.01/1800.61 c Pricers : Time Calls Vars
1800.01/1800.61 c problem variables: 0.00 0 0
1800.01/1800.61 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.01/1800.61 c relpscost : 0.96 1 0 0 0 0 2
1800.01/1800.61 c pscost : 0.00 0 0 0 0 0 0
1800.01/1800.61 c inference : 110.82 2531485 0 0 0 0 5062970
1800.01/1800.61 c mostinf : 0.00 0 0 0 0 0 0
1800.01/1800.61 c leastinf : 0.00 0 0 0 0 0 0
1800.01/1800.61 c fullstrong : 0.00 0 0 0 0 0 0
1800.01/1800.61 c allfullstrong : 0.00 0 0 0 0 0 0
1800.01/1800.61 c random : 0.00 0 0 0 0 0 0
1800.01/1800.61 c Primal Heuristics : Time Calls Found
1800.01/1800.61 c LP solutions : 0.00 - 0
1800.01/1800.61 c pseudo solutions : 0.00 - 0
1800.01/1800.61 c crossover : 0.00 0 0
1800.01/1800.61 c oneopt : 1.86 4 2
1800.01/1800.61 c trivial : 0.01 2 3
1800.01/1800.61 c simplerounding : 0.00 7 0
1800.01/1800.61 c zirounding : 0.00 1 0
1800.01/1800.61 c rounding : 0.00 7 0
1800.01/1800.61 c shifting : 0.01 7 0
1800.01/1800.61 c intshifting : 0.00 0 0
1800.01/1800.61 c twoopt : 0.00 0 0
1800.01/1800.61 c fixandinfer : 0.00 0 0
1800.01/1800.61 c feaspump : 0.00 0 0
1800.01/1800.61 c coefdiving : 0.00 0 0
1800.01/1800.61 c pscostdiving : 0.00 0 0
1800.01/1800.61 c fracdiving : 0.00 0 0
1800.01/1800.61 c veclendiving : 0.00 0 0
1800.01/1800.61 c intdiving : 0.00 0 0
1800.01/1800.61 c actconsdiving : 0.00 0 0
1800.01/1800.61 c objpscostdiving : 0.00 0 0
1800.01/1800.61 c rootsoldiving : 0.00 0 0
1800.01/1800.61 c linesearchdiving : 0.00 0 0
1800.01/1800.61 c guideddiving : 0.00 0 0
1800.01/1800.61 c octane : 0.00 0 0
1800.01/1800.61 c rens : 0.13 1 1
1800.01/1800.61 c rins : 0.00 0 0
1800.01/1800.61 c localbranching : 0.00 0 0
1800.01/1800.61 c mutation : 0.00 0 0
1800.01/1800.61 c dins : 0.00 0 0
1800.01/1800.61 c undercover : 0.00 0 0
1800.01/1800.61 c nlp : 2.09 0 0
1800.01/1800.61 c trysol : 1.52 0 0
1800.01/1800.61 c LP : Time Calls Iterations Iter/call Iter/sec
1800.01/1800.61 c primal LP : 0.00 0 0 0.00 -
1800.01/1800.61 c dual LP : 0.04 7 267 38.14 6675.00
1800.01/1800.61 c lex dual LP : 0.00 0 0 0.00 -
1800.01/1800.61 c barrier LP : 0.00 0 0 0.00 -
1800.01/1800.61 c diving/probing LP: 0.00 0 0 0.00 -
1800.01/1800.61 c strong branching : 0.96 44 7411 168.43 7719.79
1800.01/1800.61 c (at root node) : - 44 7411 168.43 -
1800.01/1800.61 c conflict analysis: 0.00 0 0 0.00 -
1800.01/1800.61 c B&B Tree :
1800.01/1800.61 c number of runs : 1
1800.01/1800.61 c nodes : 3397317
1800.01/1800.61 c nodes (total) : 3397317
1800.01/1800.61 c nodes left : 149
1800.01/1800.61 c max depth : 301
1800.01/1800.61 c max depth (total): 301
1800.01/1800.61 c backtracks : 1835281 (54.0%)
1800.01/1800.61 c delayed cutoffs : 1665507
1800.01/1800.61 c repropagations : 11370951 (169566732 domain reductions, 1284976 cutoffs)
1800.01/1800.61 c avg switch length: 7.61
1800.01/1800.61 c switching time : 257.51
1800.01/1800.61 c Solution :
1800.01/1800.61 c Solutions found : 6 (5 improvements)
1800.01/1800.61 c First Solution : +4.06000000000000e+02 (in run 1, after 0 nodes, 0.00 seconds, depth 0, found by <trivial>)
1800.01/1800.61 c Primal Bound : +1.90000000000000e+01 (in run 1, after 1 nodes, 1.44 seconds, depth 0, found by <rens>)
1800.01/1800.61 c Dual Bound : +1.65000000000000e+01
1800.01/1800.61 c Gap : 15.15 %
1800.01/1800.61 c Root Dual Bound : +1.65000000000000e+01
1800.01/1800.61 c Root Iterations : 267
1800.01/1800.63 c Time complete: 1800.03.