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-2693979-1277898954.wbo>
0.00/0.00 c original problem has 307 variables (238 bin, 0 int, 0 impl, 69 cont) and 171 constraints
0.00/0.00 c problem read
0.00/0.00 c presolving settings loaded
0.00/0.00 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.00 c presolving:
0.00/0.00 c (round 1) 0 del vars, 1 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 75 impls, 20 clqs
0.00/0.01 c (round 2) 0 del vars, 4 del conss, 0 chg bounds, 1 chg sides, 0 chg coeffs, 0 upgd conss, 75 impls, 20 clqs
0.00/0.01 c (round 3) 1 del vars, 5 del conss, 68 chg bounds, 1 chg sides, 0 chg coeffs, 0 upgd conss, 75 impls, 20 clqs
0.00/0.01 c (round 4) 2 del vars, 5 del conss, 68 chg bounds, 1 chg sides, 0 chg coeffs, 30 upgd conss, 75 impls, 20 clqs
0.00/0.02 c (0.0s) probing: 101/237 (42.6%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.00/0.02 c (0.0s) probing aborted: 100/100 successive totally useless probings
0.00/0.02 c presolving (5 rounds):
0.00/0.02 c 2 deleted vars, 5 deleted constraints, 68 tightened bounds, 0 added holes, 1 changed sides, 0 changed coefficients
0.00/0.02 c 75 implications, 20 cliques
0.00/0.02 c presolved problem has 305 variables (237 bin, 0 int, 0 impl, 68 cont) and 166 constraints
0.00/0.02 c 68 constraints of type <indicator>
0.00/0.02 c 20 constraints of type <setppc>
0.00/0.02 c 68 constraints of type <linear>
0.00/0.02 c 10 constraints of type <logicor>
0.00/0.02 c transformed objective value is always integral (scale: 1)
0.00/0.02 c Presolving Time: 0.01
0.00/0.02 c - non default parameters ----------------------------------------------------------------------
0.00/0.02 c # SCIP version 1.2.1.2
0.00/0.02 c
0.00/0.02 c # frequency for displaying node information lines
0.00/0.02 c # [type: int, range: [-1,2147483647], default: 100]
0.00/0.02 c display/freq = 10000
0.00/0.02 c
0.00/0.02 c # maximal time in seconds to run
0.00/0.02 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.02 c limits/time = 1800
0.00/0.02 c
0.00/0.02 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.02 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.02 c limits/memory = 3420
0.00/0.02 c
0.00/0.02 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.00/0.02 c # [type: int, range: [-1,2147483647], default: 1]
0.00/0.02 c lp/solvefreq = -1
0.00/0.02 c
0.00/0.02 c # should presolving try to simplify inequalities
0.00/0.02 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.02 c constraints/linear/simplifyinequalities = TRUE
0.00/0.02 c
0.00/0.02 c # should presolving try to simplify knapsacks
0.00/0.02 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.02 c constraints/knapsack/simplifyinequalities = TRUE
0.00/0.02 c
0.00/0.02 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.00/0.02 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.02 c separating/rapidlearning/freq = 0
0.00/0.02 c
0.00/0.02 c -----------------------------------------------------------------------------------------------
0.00/0.02 c start solving
0.00/0.02 c
0.00/0.02 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.00/0.02 c 0.0s| 1 | 2 | 0 | - | 950k| 0 | - | 305 | 166 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
0.99/1.07 c 1.0s| 10000 | 7528 | 0 | 0.0 |6600k| 166 | - | 305 |3175 | 0 | 0 | 0 |6371 | 0 | 0.000000e+00 | -- | Inf
2.89/2.97 c 2.8s| 20000 | 13052 | 0 | 0.0 | 11M| 166 | - | 305 |4147 | 0 | 0 | 0 | 15k| 0 | 0.000000e+00 | -- | Inf
4.89/4.98 c 4.7s| 30000 | 18905 | 0 | 0.0 | 16M| 166 | - | 305 |7137 | 0 | 0 | 0 | 26k| 0 | 0.000000e+00 | -- | Inf
7.60/7.69 c 7.4s| 40000 | 24027 | 0 | 0.0 | 22M| 166 | - | 305 |9621 | 0 | 0 | 0 | 38k| 0 | 0.000000e+00 | -- | Inf
11.18/11.27 c 10.8s| 50000 | 28001 | 0 | 0.0 | 27M| 166 | - | 305 | 12k| 0 | 0 | 0 | 52k| 0 | 0.000000e+00 | -- | Inf
15.59/15.67 c 15.1s| 60000 | 31282 | 0 | 0.0 | 32M| 166 | - | 305 | 14k| 0 | 0 | 0 | 65k| 0 | 0.000000e+00 | -- | Inf
20.48/20.52 c 19.9s| 70000 | 32814 | 0 | 0.0 | 36M| 166 | - | 305 | 18k| 0 | 0 | 0 | 81k| 0 | 0.000000e+00 | -- | Inf
22.28/22.38 c 21.6s| 80000 | 40089 | 0 | 0.0 | 36M| 166 | - | 305 |4170 | 0 | 0 | 0 | 88k| 0 | 0.000000e+00 | -- | Inf
22.89/23.00 o 151
22.89/23.00 c *22.2s| 83665 | 42431 | 0 | 0.0 | 37M| 166 | - | 305 |4055 | 0 | 0 | 0 | 90k| 0 | 0.000000e+00 | 1.510000e+02 | Inf
23.99/24.08 c 23.2s| 90000 | 46439 | 0 | 0.0 | 40M| 166 | - | 305 |5953 | 0 | 0 | 0 | 97k| 0 | 0.000000e+00 | 1.510000e+02 | Inf
28.50/28.55 c 27.6s|100000 | 48792 | 0 | 0.0 | 46M| 166 | - | 305 | 13k| 0 | 0 | 0 | 117k| 0 | 0.000000e+00 | 1.510000e+02 | Inf
34.19/34.22 c 33.1s|110000 | 50674 | 0 | 0.0 | 51M| 166 | - | 305 | 16k| 0 | 0 | 0 | 137k| 0 | 0.000000e+00 | 1.510000e+02 | Inf
40.88/40.97 c 39.8s|120000 | 52215 | 0 | 0.0 | 56M| 166 | - | 305 | 19k| 0 | 0 | 0 | 156k| 0 | 0.000000e+00 | 1.510000e+02 | Inf
48.29/48.38 c 47.1s|130000 | 53635 | 0 | 0.0 | 60M| 166 | - | 305 | 22k| 0 | 0 | 0 | 174k| 0 | 0.000000e+00 | 1.510000e+02 | Inf
57.48/57.51 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
57.48/57.51 c 56.1s|140000 | 54052 | 0 | 0.0 | 63M| 166 | - | 305 | 24k| 0 | 0 | 0 | 193k| 0 | 0.000000e+00 | 1.510000e+02 | Inf
68.18/68.26 c 66.8s|150000 | 53539 | 0 | 0.0 | 66M| 166 | - | 305 | 27k| 0 | 0 | 0 | 212k| 0 | 0.000000e+00 | 1.510000e+02 | Inf
79.68/79.73 c 78.1s|160000 | 52171 | 0 | 0.0 | 68M| 166 | - | 305 | 29k| 0 | 0 | 0 | 231k| 0 | 0.000000e+00 | 1.510000e+02 | Inf
91.88/91.94 c 90.1s|170000 | 50854 | 0 | 0.0 | 64M| 166 | - | 305 | 19k| 0 | 0 | 0 | 249k| 0 | 0.000000e+00 | 1.510000e+02 | Inf
94.68/94.72 c 92.9s|180000 | 57393 | 0 | 0.0 | 64M| 166 | - | 305 |6956 | 0 | 0 | 0 | 258k| 0 | 0.000000e+00 | 1.510000e+02 | Inf
97.38/97.42 c 95.4s|190000 | 63261 | 0 | 0.0 | 69M| 166 | - | 305 |8573 | 0 | 0 | 0 | 269k| 0 | 0.000000e+00 | 1.510000e+02 | Inf
100.58/100.68 c 98.6s|200000 | 68080 | 0 | 0.0 | 73M| 166 | - | 305 |8996 | 0 | 0 | 0 | 281k| 0 | 0.000000e+00 | 1.510000e+02 | Inf
104.48/104.56 c 102s|210000 | 71628 | 0 | 0.0 | 78M| 166 | - | 305 | 10k| 0 | 0 | 0 | 295k| 0 | 0.000000e+00 | 1.510000e+02 | Inf
107.38/107.40 o 143
107.38/107.40 c * 105s|218642 | 75981 | 0 | 0.0 | 78M| 166 | - | 305 |1730 | 0 | 0 | 0 | 304k| 0 | 0.000000e+00 | 1.430000e+02 | Inf
107.48/107.52 c 105s|220000 | 77228 | 0 | 0.0 | 78M| 166 | - | 305 |1339 | 0 | 0 | 0 | 305k| 0 | 0.000000e+00 | 1.430000e+02 | Inf
108.08/108.10 o 125
108.08/108.10 c * 106s|226954 | 83320 | 0 | 0.0 | 81M| 166 | - | 305 |1549 | 0 | 0 | 0 | 306k| 0 | 0.000000e+00 | 1.250000e+02 | Inf
108.28/108.38 c 106s|230000 | 86014 | 0 | 0.0 | 83M| 166 | - | 305 |1842 | 0 | 0 | 0 | 307k| 0 | 0.000000e+00 | 1.250000e+02 | Inf
108.98/109.02 o 116
108.98/109.02 c * 107s|236316 | 91011 | 0 | 0.0 | 85M| 166 | - | 305 |2473 | 0 | 0 | 0 | 309k| 0 | 0.000000e+00 | 1.160000e+02 | Inf
109.28/109.30 o 105
109.28/109.30 c * 107s|238878 | 92797 | 0 | 0.0 | 86M| 166 | - | 305 |2768 | 0 | 0 | 0 | 310k| 0 | 0.000000e+00 | 1.050000e+02 | Inf
109.28/109.36 o 102
109.28/109.36 c * 107s|239383 | 93093 | 0 | 0.0 | 87M| 166 | - | 305 |2831 | 0 | 0 | 0 | 310k| 0 | 0.000000e+00 | 1.020000e+02 | Inf
109.38/109.43 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
109.38/109.43 c 107s|240000 | 93604 | 0 | 0.0 | 87M| 166 | - | 305 |2873 | 0 | 0 | 0 | 310k| 0 | 0.000000e+00 | 1.020000e+02 | Inf
109.58/109.66 o 101
109.58/109.66 c * 107s|241861 | 95090 | 0 | 0.0 | 88M| 166 | - | 305 |3112 | 0 | 0 | 0 | 311k| 0 | 0.000000e+00 | 1.010000e+02 | Inf
110.28/110.31 o 90
110.28/110.31 c * 108s|246955 | 97592 | 0 | 0.0 | 89M| 166 | - | 305 |3838 | 0 | 0 | 0 | 313k| 0 | 0.000000e+00 | 9.000000e+01 | Inf
110.28/110.35 o 83
110.28/110.35 c * 108s|247280 | 95101 | 0 | 0.0 | 87M| 166 | - | 305 |3894 | 0 | 0 | 0 | 313k| 0 | 0.000000e+00 | 8.300000e+01 | Inf
110.58/110.62 o 73
110.58/110.62 c * 108s|248985 | 93738 | 0 | 0.0 | 87M| 166 | - | 305 |4163 | 0 | 0 | 0 | 314k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
110.68/110.79 c 108s|250000 | 94424 | 0 | 0.0 | 88M| 166 | - | 305 |4334 | 0 | 0 | 0 | 315k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
113.68/113.72 c 111s|260000 | 97784 | 0 | 0.0 | 92M| 166 | - | 305 |6407 | 0 | 0 | 0 | 329k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
121.58/121.61 c 119s|270000 | 94759 | 0 | 0.0 | 94M| 166 | - | 305 | 14k| 0 | 0 | 0 | 355k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
132.99/133.03 c 130s|280000 | 90468 | 0 | 0.0 | 93M| 166 | - | 305 | 19k| 0 | 0 | 0 | 381k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
146.08/146.14 c 143s|290000 | 85739 | 0 | 0.0 | 91M| 166 | - | 305 | 22k| 0 | 0 | 0 | 405k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
161.88/161.99 c 159s|300000 | 78282 | 0 | 0.0 | 83M| 166 | - | 305 | 25k| 0 | 0 | 0 | 430k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
169.29/169.34 c 166s|310000 | 78556 | 0 | 0.0 | 72M| 166 | - | 305 |4801 | 0 | 0 | 0 | 446k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
172.69/172.74 c 169s|320000 | 81831 | 0 | 0.0 | 76M| 166 | - | 305 |7149 | 0 | 0 | 0 | 460k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
176.99/177.01 c 173s|330000 | 84096 | 0 | 0.0 | 80M| 166 | - | 305 |9472 | 0 | 0 | 0 | 476k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
181.78/181.83 c 178s|340000 | 86107 | 0 | 0.0 | 83M| 166 | - | 305 | 11k| 0 | 0 | 0 | 490k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
187.18/187.28 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
187.18/187.28 c 183s|350000 | 87628 | 0 | 0.0 | 86M| 166 | - | 305 | 11k| 0 | 0 | 0 | 506k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
192.88/192.95 c 189s|360000 | 89255 | 0 | 0.0 | 89M| 166 | - | 305 | 12k| 0 | 0 | 0 | 521k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
199.59/199.65 c 195s|370000 | 89983 | 0 | 0.0 | 91M| 166 | - | 305 | 14k| 0 | 0 | 0 | 537k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
207.49/207.56 c 203s|380000 | 89395 | 0 | 0.0 | 92M| 166 | - | 305 | 17k| 0 | 0 | 0 | 555k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
209.88/209.97 c 206s|390000 | 96200 | 0 | 0.0 | 91M| 166 | - | 305 |1974 | 0 | 0 | 0 | 561k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
211.19/211.26 c 207s|400000 |103991 | 0 | 0.0 | 95M| 166 | - | 305 |2624 | 0 | 0 | 0 | 564k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
212.59/212.69 c 208s|410000 |111439 | 0 | 0.0 | 99M| 166 | - | 305 |3134 | 0 | 0 | 0 | 568k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
214.19/214.27 c 210s|420000 |118597 | 0 | 0.0 | 103M| 166 | - | 305 |3719 | 0 | 0 | 0 | 572k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
215.88/215.94 c 211s|430000 |125571 | 0 | 0.0 | 108M| 166 | - | 305 |4272 | 0 | 0 | 0 | 577k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
217.49/217.60 c 213s|440000 |132676 | 0 | 0.0 | 112M| 166 | - | 305 |4805 | 0 | 0 | 0 | 581k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
219.29/219.34 c 214s|450000 |139628 | 0 | 0.0 | 116M| 166 | - | 305 |5265 | 0 | 0 | 0 | 586k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
221.09/221.17 c 216s|460000 |146468 | 0 | 0.0 | 121M| 166 | - | 305 |5694 | 0 | 0 | 0 | 591k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
222.98/223.00 c 218s|470000 |153321 | 0 | 0.0 | 125M| 166 | - | 305 |6377 | 0 | 0 | 0 | 596k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
225.09/225.13 c 220s|480000 |159691 | 0 | 0.0 | 129M| 166 | - | 305 |6889 | 0 | 0 | 0 | 601k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
227.39/227.43 c 222s|490000 |165778 | 0 | 0.0 | 134M| 166 | - | 305 |7564 | 0 | 0 | 0 | 608k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
229.89/229.98 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
229.89/229.98 c 225s|500000 |171475 | 0 | 0.0 | 138M| 166 | - | 305 |8208 | 0 | 0 | 0 | 614k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
232.58/232.61 c 227s|510000 |177209 | 0 | 0.0 | 143M| 166 | - | 305 |8835 | 0 | 0 | 0 | 621k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
235.39/235.47 c 230s|520000 |182552 | 0 | 0.0 | 148M| 166 | - | 305 |9776 | 0 | 0 | 0 | 628k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
238.38/238.45 c 233s|530000 |187792 | 0 | 0.0 | 153M| 166 | - | 305 | 11k| 0 | 0 | 0 | 636k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
241.79/241.89 c 236s|540000 |192431 | 0 | 0.0 | 158M| 166 | - | 305 | 12k| 0 | 0 | 0 | 644k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
245.88/245.93 c 240s|550000 |196513 | 0 | 0.0 | 163M| 166 | - | 305 | 14k| 0 | 0 | 0 | 653k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
249.78/249.85 c 244s|560000 |201080 | 0 | 0.0 | 166M| 166 | - | 305 |9677 | 0 | 0 | 0 | 662k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
258.68/258.74 c 253s|570000 |196968 | 0 | 0.0 | 153M| 166 | - | 305 | 12k| 0 | 0 | 0 | 686k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
266.19/266.27 c 260s|580000 |197716 | 0 | 0.0 | 158M| 166 | - | 305 | 18k| 0 | 0 | 0 | 704k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
276.59/276.66 c 270s|590000 |197809 | 0 | 0.0 | 163M| 166 | - | 305 | 26k| 0 | 0 | 0 | 722k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
289.99/290.03 c 283s|600000 |197446 | 0 | 0.0 | 167M| 166 | - | 305 | 33k| 0 | 0 | 0 | 741k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
306.49/306.59 c 300s|610000 |196600 | 0 | 0.0 | 170M| 166 | - | 305 | 38k| 0 | 0 | 0 | 760k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
326.98/327.05 c 320s|620000 |194711 | 0 | 0.0 | 172M| 166 | - | 305 | 40k| 0 | 0 | 0 | 780k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
350.48/350.55 c 343s|630000 |191871 | 0 | 0.0 | 171M| 166 | - | 305 | 38k| 0 | 0 | 0 | 801k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
373.29/373.38 c 366s|640000 |188458 | 0 | 0.0 | 168M| 166 | - | 305 | 38k| 0 | 0 | 0 | 822k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
378.29/378.40 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
378.29/378.40 c 371s|650000 |195537 | 0 | 0.0 | 163M| 166 | - | 305 |8228 | 0 | 0 | 0 | 828k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
381.09/381.18 c 374s|660000 |201873 | 0 | 0.0 | 168M| 166 | - | 305 |7465 | 0 | 0 | 0 | 835k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
384.08/384.10 c 377s|670000 |207927 | 0 | 0.0 | 173M| 166 | - | 305 |7574 | 0 | 0 | 0 | 841k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
386.79/386.88 c 379s|680000 |214094 | 0 | 0.0 | 178M| 166 | - | 305 |7421 | 0 | 0 | 0 | 848k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
389.39/389.45 c 382s|690000 |220462 | 0 | 0.0 | 182M| 166 | - | 305 |7538 | 0 | 0 | 0 | 853k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
391.79/391.86 c 384s|700000 |227075 | 0 | 0.0 | 187M| 166 | - | 305 |7836 | 0 | 0 | 0 | 859k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
394.49/394.52 c 387s|710000 |233311 | 0 | 0.0 | 191M| 166 | - | 305 |8053 | 0 | 0 | 0 | 865k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
397.09/397.19 c 389s|720000 |239517 | 0 | 0.0 | 196M| 166 | - | 305 |8246 | 0 | 0 | 0 | 870k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
399.99/400.02 c 392s|730000 |245522 | 0 | 0.0 | 200M| 166 | - | 305 |8495 | 0 | 0 | 0 | 877k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
402.79/402.89 c 395s|740000 |251388 | 0 | 0.0 | 205M| 166 | - | 305 |8722 | 0 | 0 | 0 | 883k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
405.89/405.95 c 398s|750000 |257084 | 0 | 0.0 | 209M| 166 | - | 305 |8759 | 0 | 0 | 0 | 889k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
408.99/409.08 c 401s|760000 |262682 | 0 | 0.0 | 214M| 166 | - | 305 |8954 | 0 | 0 | 0 | 896k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
411.89/411.97 c 403s|770000 |268585 | 0 | 0.0 | 219M| 166 | - | 305 | 10k| 0 | 0 | 0 | 902k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
415.38/415.48 c 407s|780000 |273843 | 0 | 0.0 | 223M| 166 | - | 305 |9767 | 0 | 0 | 0 | 909k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
418.69/418.78 c 410s|790000 |279449 | 0 | 0.0 | 227M| 166 | - | 305 | 10k| 0 | 0 | 0 | 916k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
422.18/422.29 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
422.18/422.29 c 413s|800000 |284726 | 0 | 0.0 | 232M| 166 | - | 305 | 10k| 0 | 0 | 0 | 923k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
425.99/426.05 c 417s|810000 |289866 | 0 | 0.0 | 236M| 166 | - | 305 | 10k| 0 | 0 | 0 | 930k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
429.39/429.44 c 420s|820000 |295362 | 0 | 0.0 | 241M| 166 | - | 305 | 11k| 0 | 0 | 0 | 937k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
433.49/433.52 c 424s|830000 |300129 | 0 | 0.0 | 245M| 166 | - | 305 | 11k| 0 | 0 | 0 | 944k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
437.19/437.26 c 428s|840000 |305205 | 0 | 0.0 | 250M| 166 | - | 305 | 11k| 0 | 0 | 0 | 952k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
441.19/441.29 c 432s|850000 |310051 | 0 | 0.0 | 254M| 166 | - | 305 | 11k| 0 | 0 | 0 | 959k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
445.29/445.33 c 436s|860000 |314983 | 0 | 0.0 | 258M| 166 | - | 305 | 12k| 0 | 0 | 0 | 967k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
448.99/449.03 c 439s|870000 |320234 | 0 | 0.0 | 263M| 166 | - | 305 | 12k| 0 | 0 | 0 | 974k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
453.29/453.33 c 444s|880000 |324890 | 0 | 0.0 | 267M| 166 | - | 305 | 12k| 0 | 0 | 0 | 982k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
457.39/457.41 c 448s|890000 |329806 | 0 | 0.0 | 272M| 166 | - | 305 | 13k| 0 | 0 | 0 | 989k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
461.69/461.79 c 452s|900000 |334306 | 0 | 0.0 | 276M| 166 | - | 305 | 13k| 0 | 0 | 0 | 997k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
466.30/466.39 c 456s|910000 |338689 | 0 | 0.0 | 280M| 166 | - | 305 | 13k| 0 | 0 | 0 |1006k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
470.89/470.91 c 461s|920000 |343203 | 0 | 0.0 | 284M| 166 | - | 305 | 15k| 0 | 0 | 0 |1014k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
475.59/475.66 c 465s|930000 |347600 | 0 | 0.0 | 288M| 166 | - | 305 | 15k| 0 | 0 | 0 |1022k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
480.79/480.86 c 471s|940000 |351502 | 0 | 0.0 | 292M| 166 | - | 305 | 15k| 0 | 0 | 0 |1031k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
485.99/486.05 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
485.99/486.05 c 476s|950000 |355513 | 0 | 0.0 | 296M| 166 | - | 305 | 16k| 0 | 0 | 0 |1040k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
491.29/491.35 c 481s|960000 |359535 | 0 | 0.0 | 301M| 166 | - | 305 | 17k| 0 | 0 | 0 |1049k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
496.69/496.77 c 486s|970000 |363563 | 0 | 0.0 | 305M| 166 | - | 305 | 18k| 0 | 0 | 0 |1058k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
502.60/502.65 c 492s|980000 |367527 | 0 | 0.0 | 309M| 166 | - | 305 | 19k| 0 | 0 | 0 |1067k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
508.79/508.82 c 498s|990000 |371278 | 0 | 0.0 | 313M| 166 | - | 305 | 20k| 0 | 0 | 0 |1076k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
515.09/515.14 c 504s| 1000k|375162 | 0 | 0.0 | 318M| 166 | - | 305 | 20k| 0 | 0 | 0 |1085k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
521.99/522.06 c 511s| 1010k|378646 | 0 | 0.0 | 322M| 166 | - | 305 | 21k| 0 | 0 | 0 |1095k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
528.80/528.80 c 518s| 1020k|382416 | 0 | 0.0 | 327M| 166 | - | 305 | 23k| 0 | 0 | 0 |1104k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
536.19/536.27 c 525s| 1030k|385851 | 0 | 0.0 | 331M| 166 | - | 305 | 24k| 0 | 0 | 0 |1114k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
544.40/544.44 c 533s| 1040k|388952 | 0 | 0.0 | 336M| 166 | - | 305 | 25k| 0 | 0 | 0 |1124k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
552.79/552.82 c 541s| 1050k|392169 | 0 | 0.0 | 340M| 166 | - | 305 | 27k| 0 | 0 | 0 |1134k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
561.39/561.40 c 550s| 1060k|395456 | 0 | 0.0 | 345M| 166 | - | 305 | 28k| 0 | 0 | 0 |1144k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
570.59/570.66 c 559s| 1070k|398501 | 0 | 0.0 | 349M| 166 | - | 305 | 30k| 0 | 0 | 0 |1155k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
579.99/580.09 c 568s| 1080k|401686 | 0 | 0.0 | 354M| 166 | - | 305 | 31k| 0 | 0 | 0 |1165k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
590.70/590.75 c 579s| 1090k|404147 | 0 | 0.0 | 359M| 166 | - | 305 | 35k| 0 | 0 | 0 |1177k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
603.10/603.17 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
603.10/603.17 c 591s| 1100k|406284 | 0 | 0.0 | 362M| 166 | - | 305 | 30k| 0 | 0 | 0 |1189k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
609.30/609.32 c 597s| 1110k|412603 | 0 | 0.0 | 364M| 166 | - | 305 | 20k| 0 | 0 | 0 |1195k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
615.20/615.22 c 603s| 1120k|417167 | 0 | 0.0 | 366M| 166 | - | 305 | 15k| 0 | 0 | 0 |1203k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
618.70/618.75 c 606s| 1130k|422905 | 0 | 0.0 | 369M| 166 | - | 305 | 10k| 0 | 0 | 0 |1210k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
622.10/622.16 c 609s| 1140k|428300 | 0 | 0.0 | 372M| 166 | - | 305 |9117 | 0 | 0 | 0 |1218k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
631.20/631.21 c 618s| 1150k|425515 | 0 | 0.0 | 373M| 166 | - | 305 | 21k| 0 | 0 | 0 |1239k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
648.69/648.72 c 636s| 1160k|422078 | 0 | 0.0 | 365M| 166 | - | 305 | 16k| 0 | 0 | 0 |1260k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
654.10/654.19 c 641s| 1170k|425920 | 0 | 0.0 | 366M| 166 | - | 305 |8736 | 0 | 0 | 0 |1270k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
659.19/659.22 c 646s| 1180k|429406 | 0 | 0.0 | 370M| 166 | - | 305 |9543 | 0 | 0 | 0 |1281k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
664.20/664.29 c 651s| 1190k|433130 | 0 | 0.0 | 375M| 166 | - | 305 | 10k| 0 | 0 | 0 |1291k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
669.20/669.21 c 656s| 1200k|437186 | 0 | 0.0 | 379M| 166 | - | 305 | 11k| 0 | 0 | 0 |1300k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
674.40/674.41 c 661s| 1210k|440990 | 0 | 0.0 | 383M| 166 | - | 305 | 11k| 0 | 0 | 0 |1310k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
680.00/680.02 c 666s| 1220k|444538 | 0 | 0.0 | 387M| 166 | - | 305 | 12k| 0 | 0 | 0 |1320k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
685.59/685.68 c 672s| 1230k|448123 | 0 | 0.0 | 391M| 166 | - | 305 | 12k| 0 | 0 | 0 |1330k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
691.19/691.25 c 677s| 1240k|451839 | 0 | 0.0 | 395M| 166 | - | 305 | 13k| 0 | 0 | 0 |1340k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
697.20/697.22 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
697.20/697.22 c 683s| 1250k|455189 | 0 | 0.0 | 399M| 166 | - | 305 | 13k| 0 | 0 | 0 |1350k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
703.70/703.76 c 690s| 1260k|458252 | 0 | 0.0 | 402M| 166 | - | 305 | 13k| 0 | 0 | 0 |1361k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
709.60/709.65 c 695s| 1270k|461796 | 0 | 0.0 | 407M| 166 | - | 305 | 14k| 0 | 0 | 0 |1370k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
716.20/716.24 c 702s| 1280k|464830 | 0 | 0.0 | 410M| 166 | - | 305 | 14k| 0 | 0 | 0 |1380k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
721.89/721.94 c 707s| 1290k|468722 | 0 | 0.0 | 414M| 166 | - | 305 | 14k| 0 | 0 | 0 |1389k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
727.99/728.05 c 713s| 1300k|472244 | 0 | 0.0 | 417M| 166 | - | 305 | 14k| 0 | 0 | 0 |1399k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
734.39/734.48 c 720s| 1310k|475392 | 0 | 0.0 | 420M| 166 | - | 305 | 14k| 0 | 0 | 0 |1409k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
740.10/740.16 c 725s| 1320k|479217 | 0 | 0.0 | 424M| 166 | - | 305 | 15k| 0 | 0 | 0 |1418k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
747.40/747.45 c 732s| 1330k|481898 | 0 | 0.0 | 427M| 166 | - | 305 | 15k| 0 | 0 | 0 |1429k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
753.89/753.93 c 739s| 1340k|485142 | 0 | 0.0 | 430M| 166 | - | 305 | 16k| 0 | 0 | 0 |1438k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
761.20/761.24 c 746s| 1350k|487923 | 0 | 0.0 | 433M| 166 | - | 305 | 16k| 0 | 0 | 0 |1449k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
767.89/767.96 c 753s| 1360k|491057 | 0 | 0.0 | 437M| 166 | - | 305 | 16k| 0 | 0 | 0 |1459k| 0 | 2.000000e+00 | 7.300000e+01 |3550.00%
774.41/774.42 c 759s| 1370k|494402 | 0 | 0.0 | 441M| 166 | - | 305 | 17k| 0 | 0 | 0 |1468k| 0 | 2.000000e+00 | 7.300000e+01 |3550.00%
781.89/781.99 c 766s| 1380k|496917 | 0 | 0.0 | 444M| 166 | - | 305 | 16k| 0 | 0 | 0 |1479k| 0 | 2.000000e+00 | 7.300000e+01 |3550.00%
788.40/788.44 c 773s| 1390k|500216 | 0 | 0.0 | 448M| 166 | - | 305 | 18k| 0 | 0 | 0 |1489k| 0 | 2.000000e+00 | 7.300000e+01 |3550.00%
796.00/796.09 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
796.00/796.09 c 780s| 1400k|502760 | 0 | 0.0 | 451M| 166 | - | 305 | 17k| 0 | 0 | 0 |1500k| 0 | 2.000000e+00 | 7.300000e+01 |3550.00%
803.30/803.35 c 787s| 1410k|505391 | 0 | 0.0 | 455M| 166 | - | 305 | 18k| 0 | 0 | 0 |1510k| 0 | 2.000000e+00 | 7.300000e+01 |3550.00%
810.30/810.31 c 794s| 1420k|508590 | 0 | 0.0 | 459M| 166 | - | 305 | 18k| 0 | 0 | 0 |1520k| 0 | 2.000000e+00 | 7.300000e+01 |3550.00%
818.30/818.32 c 802s| 1430k|510858 | 0 | 0.0 | 463M| 166 | - | 305 | 18k| 0 | 0 | 0 |1531k| 0 | 2.000000e+00 | 7.300000e+01 |3550.00%
824.60/824.66 c 808s| 1440k|514581 | 0 | 0.0 | 467M| 166 | - | 305 | 20k| 0 | 0 | 0 |1540k| 0 | 2.000000e+00 | 7.300000e+01 |3550.00%
833.81/833.85 c 817s| 1450k|516219 | 0 | 0.0 | 470M| 166 | - | 305 | 19k| 0 | 0 | 0 |1552k| 0 | 2.000000e+00 | 7.300000e+01 |3550.00%
840.70/840.76 c 824s| 1460k|519584 | 0 | 0.0 | 474M| 166 | - | 305 | 20k| 0 | 0 | 0 |1561k| 0 | 2.000000e+00 | 7.300000e+01 |3550.00%
849.60/849.60 c 833s| 1470k|521720 | 0 | 0.0 | 478M| 166 | - | 305 | 20k| 0 | 0 | 0 |1572k| 0 | 2.000000e+00 | 7.300000e+01 |3550.00%
857.00/857.03 c 840s| 1480k|524729 | 0 | 0.0 | 481M| 166 | - | 305 | 21k| 0 | 0 | 0 |1582k| 0 | 2.000000e+00 | 7.300000e+01 |3550.00%
865.90/865.95 c 849s| 1490k|526993 | 0 | 0.0 | 485M| 166 | - | 305 | 21k| 0 | 0 | 0 |1593k| 0 | 2.000000e+00 | 7.300000e+01 |3550.00%
874.41/874.49 c 858s| 1500k|529187 | 0 | 0.0 | 489M| 166 | - | 305 | 22k| 0 | 0 | 0 |1604k| 0 | 2.000000e+00 | 7.300000e+01 |3550.00%
883.20/883.21 c 866s| 1510k|531819 | 0 | 0.0 | 493M| 166 | - | 305 | 22k| 0 | 0 | 0 |1615k| 0 | 2.000000e+00 | 7.300000e+01 |3550.00%
891.80/891.81 c 875s| 1520k|534275 | 0 | 0.0 | 497M| 166 | - | 305 | 22k| 0 | 0 | 0 |1626k| 0 | 2.000000e+00 | 7.300000e+01 |3550.00%
901.00/901.04 c 884s| 1530k|536605 | 0 | 0.0 | 500M| 166 | - | 305 | 23k| 0 | 0 | 0 |1636k| 0 | 2.000000e+00 | 7.300000e+01 |3550.00%
910.20/910.26 c 893s| 1540k|538822 | 0 | 0.0 | 504M| 166 | - | 305 | 23k| 0 | 0 | 0 |1647k| 0 | 2.000000e+00 | 7.300000e+01 |3550.00%
919.00/919.07 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
919.00/919.07 c 901s| 1550k|541606 | 0 | 0.0 | 508M| 166 | - | 305 | 24k| 0 | 0 | 0 |1658k| 0 | 2.000000e+00 | 7.300000e+01 |3550.00%
929.00/929.06 c 911s| 1560k|543470 | 0 | 0.0 | 512M| 166 | - | 305 | 25k| 0 | 0 | 0 |1669k| 0 | 2.000000e+00 | 7.300000e+01 |3550.00%
939.20/939.24 c 921s| 1570k|545517 | 0 | 0.0 | 516M| 166 | - | 305 | 26k| 0 | 0 | 0 |1680k| 0 | 2.000000e+00 | 7.300000e+01 |3550.00%
950.10/950.16 c 932s| 1580k|547241 | 0 | 0.0 | 519M| 166 | - | 305 | 27k| 0 | 0 | 0 |1692k| 0 | 2.000000e+00 | 7.300000e+01 |3550.00%
960.91/960.91 c 943s| 1590k|549307 | 0 | 0.0 | 523M| 166 | - | 305 | 28k| 0 | 0 | 0 |1703k| 0 | 2.000000e+00 | 7.300000e+01 |3550.00%
971.50/971.55 c 953s| 1600k|551331 | 0 | 0.0 | 527M| 166 | - | 305 | 28k| 0 | 0 | 0 |1714k| 0 | 2.000000e+00 | 7.300000e+01 |3550.00%
982.80/982.88 c 964s| 1610k|553417 | 0 | 0.0 | 530M| 166 | - | 305 | 29k| 0 | 0 | 0 |1725k| 0 | 2.000000e+00 | 7.300000e+01 |3550.00%
993.30/993.38 c 975s| 1620k|555639 | 0 | 0.0 | 535M| 166 | - | 305 | 30k| 0 | 0 | 0 |1736k| 0 | 2.000000e+00 | 7.300000e+01 |3550.00%
1005.80/1005.87 c 987s| 1630k|557232 | 0 | 0.0 | 538M| 166 | - | 305 | 31k| 0 | 0 | 0 |1748k| 0 | 2.000000e+00 | 7.300000e+01 |3550.00%
1017.70/1017.73 c 999s| 1640k|559445 | 0 | 0.0 | 543M| 166 | - | 305 | 34k| 0 | 0 | 0 |1759k| 0 | 2.000000e+00 | 7.300000e+01 |3550.00%
1035.30/1035.38 c 1016s| 1650k|560591 | 0 | 0.0 | 546M| 166 | - | 305 | 34k| 0 | 0 | 0 |1771k| 0 | 2.000000e+00 | 7.300000e+01 |3550.00%
1050.10/1050.11 c 1030s| 1660k|563098 | 0 | 0.0 | 551M| 166 | - | 305 | 36k| 0 | 0 | 0 |1782k| 0 | 2.000000e+00 | 7.300000e+01 |3550.00%
1068.20/1068.27 c 1048s| 1670k|564207 | 0 | 0.0 | 555M| 166 | - | 305 | 36k| 0 | 0 | 0 |1794k| 0 | 2.000000e+00 | 7.300000e+01 |3550.00%
1086.21/1086.23 c 1066s| 1680k|565687 | 0 | 0.0 | 558M| 166 | - | 305 | 37k| 0 | 0 | 0 |1806k| 0 | 2.000000e+00 | 7.300000e+01 |3550.00%
1103.00/1103.00 c 1082s| 1690k|567672 | 0 | 0.0 | 563M| 166 | - | 305 | 40k| 0 | 0 | 0 |1817k| 0 | 2.000000e+00 | 7.300000e+01 |3550.00%
1123.01/1123.04 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1123.01/1123.04 c 1102s| 1700k|568510 | 0 | 0.0 | 566M| 166 | - | 305 | 39k| 0 | 0 | 0 |1829k| 0 | 2.000000e+00 | 7.300000e+01 |3550.00%
1142.01/1142.01 c 1121s| 1710k|569917 | 0 | 0.0 | 570M| 166 | - | 305 | 40k| 0 | 0 | 0 |1841k| 0 | 2.000000e+00 | 7.300000e+01 |3550.00%
1161.00/1161.02 c 1139s| 1720k|571454 | 0 | 0.0 | 575M| 166 | - | 305 | 42k| 0 | 0 | 0 |1853k| 0 | 2.000000e+00 | 7.300000e+01 |3550.00%
1180.40/1180.41 c 1158s| 1730k|572939 | 0 | 0.0 | 579M| 166 | - | 305 | 44k| 0 | 0 | 0 |1865k| 0 | 2.000000e+00 | 7.300000e+01 |3550.00%
1199.90/1199.94 c 1177s| 1740k|574792 | 0 | 0.0 | 584M| 166 | - | 305 | 46k| 0 | 0 | 0 |1876k| 0 | 2.000000e+00 | 7.300000e+01 |3550.00%
1221.01/1221.09 c 1198s| 1750k|576358 | 0 | 0.0 | 588M| 166 | - | 305 | 48k| 0 | 0 | 0 |1888k| 0 | 2.000000e+00 | 7.300000e+01 |3550.00%
1244.01/1244.07 c 1221s| 1760k|577365 | 0 | 0.0 | 591M| 166 | - | 305 | 49k| 0 | 0 | 0 |1900k| 0 | 2.000000e+00 | 7.300000e+01 |3550.00%
1267.40/1267.41 c 1244s| 1770k|578385 | 0 | 0.0 | 596M| 166 | - | 305 | 51k| 0 | 0 | 0 |1912k| 0 | 2.000000e+00 | 7.300000e+01 |3550.00%
1291.51/1291.55 c 1268s| 1780k|579432 | 0 | 0.0 | 600M| 166 | - | 305 | 53k| 0 | 0 | 0 |1925k| 0 | 2.000000e+00 | 7.300000e+01 |3550.00%
1318.21/1318.21 c 1294s| 1790k|579871 | 0 | 0.0 | 605M| 166 | - | 305 | 57k| 0 | 0 | 0 |1938k| 0 | 2.000000e+00 | 7.300000e+01 |3550.00%
1350.01/1350.05 c 1325s| 1800k|579140 | 0 | 0.0 | 609M| 166 | - | 305 | 61k| 0 | 0 | 0 |1952k| 0 | 2.000000e+00 | 7.300000e+01 |3550.00%
1380.21/1380.29 c 1355s| 1810k|580085 | 0 | 0.0 | 610M| 166 | - | 305 | 52k| 0 | 0 | 0 |1964k| 0 | 2.000000e+00 | 7.300000e+01 |3550.00%
1395.11/1395.11 c 1370s| 1820k|585771 | 0 | 0.0 | 612M| 166 | - | 305 | 38k| 0 | 0 | 0 |1972k| 0 | 2.000000e+00 | 7.300000e+01 |3550.00%
1407.51/1407.58 c 1382s| 1830k|590773 | 0 | 0.0 | 615M| 166 | - | 305 | 33k| 0 | 0 | 0 |1980k| 0 | 2.000000e+00 | 7.300000e+01 |3550.00%
1420.71/1420.72 c 1395s| 1840k|594299 | 0 | 0.0 | 618M| 166 | - | 305 | 30k| 0 | 0 | 0 |1991k| 0 | 2.000000e+00 | 7.300000e+01 |3550.00%
1434.51/1434.57 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1434.51/1434.57 c 1408s| 1850k|596496 | 0 | 0.0 | 622M| 166 | - | 305 | 30k| 0 | 0 | 0 |2003k| 0 | 2.000000e+00 | 7.300000e+01 |3550.00%
1445.01/1445.05 c 1418s| 1860k|600524 | 0 | 0.0 | 623M| 166 | - | 305 | 21k| 0 | 0 | 0 |2012k| 0 | 2.000000e+00 | 7.300000e+01 |3550.00%
1451.71/1451.71 c 1425s| 1870k|605466 | 0 | 0.0 | 626M| 166 | - | 305 | 18k| 0 | 0 | 0 |2020k| 0 | 2.000000e+00 | 7.300000e+01 |3550.00%
1457.91/1457.99 c 1431s| 1880k|609796 | 0 | 0.0 | 630M| 166 | - | 305 | 18k| 0 | 0 | 0 |2028k| 0 | 2.000000e+00 | 7.300000e+01 |3550.00%
1464.51/1464.50 c 1437s| 1890k|614133 | 0 | 0.0 | 633M| 166 | - | 305 | 18k| 0 | 0 | 0 |2036k| 0 | 2.000000e+00 | 7.300000e+01 |3550.00%
1470.81/1470.82 c 1443s| 1900k|618548 | 0 | 0.0 | 637M| 166 | - | 305 | 18k| 0 | 0 | 0 |2045k| 0 | 2.000000e+00 | 7.300000e+01 |3550.00%
1477.41/1477.43 c 1449s| 1910k|622733 | 0 | 0.0 | 641M| 166 | - | 305 | 19k| 0 | 0 | 0 |2053k| 0 | 2.000000e+00 | 7.300000e+01 |3550.00%
1484.01/1484.01 c 1455s| 1920k|627314 | 0 | 0.0 | 644M| 166 | - | 305 | 16k| 0 | 0 | 0 |2061k| 0 | 2.000000e+00 | 7.300000e+01 |3550.00%
1490.31/1490.32 c 1461s| 1930k|631573 | 0 | 0.0 | 647M| 166 | - | 305 | 17k| 0 | 0 | 0 |2070k| 0 | 2.000000e+00 | 7.300000e+01 |3550.00%
1496.31/1496.34 c 1467s| 1940k|635979 | 0 | 0.0 | 651M| 166 | - | 305 | 15k| 0 | 0 | 0 |2079k| 0 | 2.000000e+00 | 7.300000e+01 |3550.00%
1502.72/1502.76 c 1473s| 1950k|640121 | 0 | 0.0 | 655M| 166 | - | 305 | 17k| 0 | 0 | 0 |2088k| 0 | 2.000000e+00 | 7.300000e+01 |3550.00%
1510.82/1510.81 c 1481s| 1960k|643578 | 0 | 0.0 | 660M| 166 | - | 305 | 18k| 0 | 0 | 0 |2099k| 0 | 2.000000e+00 | 7.300000e+01 |3550.00%
1521.11/1521.12 c 1491s| 1970k|645282 | 0 | 0.0 | 664M| 166 | - | 305 | 20k| 0 | 0 | 0 |2112k| 0 | 2.000000e+00 | 7.300000e+01 |3550.00%
1525.72/1525.71 c 1495s| 1980k|651687 | 0 | 0.0 | 665M| 166 | - | 305 | 11k| 0 | 0 | 0 |2119k| 0 | 2.000000e+00 | 7.300000e+01 |3550.00%
1531.51/1531.56 c 1501s| 1990k|654565 | 0 | 0.0 | 669M| 166 | - | 305 | 10k| 0 | 0 | 0 |2129k| 0 | 2.000000e+00 | 7.300000e+01 |3550.00%
1539.52/1539.56 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1539.52/1539.56 c 1508s| 2000k|655673 | 0 | 0.0 | 672M| 166 | - | 305 | 11k| 0 | 0 | 0 |2144k| 0 | 2.000000e+00 | 7.300000e+01 |3550.00%
1549.52/1549.50 c 1518s| 2010k|656170 | 0 | 0.0 | 676M| 166 | - | 305 | 14k| 0 | 0 | 0 |2158k| 0 | 2.000000e+00 | 7.300000e+01 |3550.00%
1561.31/1561.33 c 1529s| 2020k|656343 | 0 | 0.0 | 680M| 166 | - | 305 | 16k| 0 | 0 | 0 |2173k| 0 | 2.000000e+00 | 7.300000e+01 |3550.00%
1573.51/1573.56 c 1541s| 2030k|657000 | 0 | 0.0 | 684M| 166 | - | 305 | 18k| 0 | 0 | 0 |2187k| 0 | 2.000000e+00 | 7.300000e+01 |3550.00%
1586.72/1586.75 c 1554s| 2040k|657339 | 0 | 0.0 | 688M| 166 | - | 305 | 20k| 0 | 0 | 0 |2202k| 0 | 2.000000e+00 | 7.300000e+01 |3550.00%
1600.31/1600.37 c 1567s| 2050k|657821 | 0 | 0.0 | 692M| 166 | - | 305 | 21k| 0 | 0 | 0 |2216k| 0 | 2.000000e+00 | 7.300000e+01 |3550.00%
1614.51/1614.57 c 1581s| 2060k|658086 | 0 | 0.0 | 695M| 166 | - | 305 | 22k| 0 | 0 | 0 |2230k| 0 | 2.000000e+00 | 7.300000e+01 |3550.00%
1630.42/1630.42 c 1597s| 2070k|657755 | 0 | 0.0 | 699M| 166 | - | 305 | 23k| 0 | 0 | 0 |2245k| 0 | 2.000000e+00 | 7.300000e+01 |3550.00%
1646.52/1646.54 c 1613s| 2080k|657517 | 0 | 0.0 | 702M| 166 | - | 305 | 24k| 0 | 0 | 0 |2260k| 0 | 2.000000e+00 | 7.300000e+01 |3550.00%
1661.81/1661.80 c 1627s| 2090k|657951 | 0 | 0.0 | 705M| 166 | - | 305 | 24k| 0 | 0 | 0 |2273k| 0 | 2.000000e+00 | 7.300000e+01 |3550.00%
1677.92/1677.92 c 1643s| 2100k|658230 | 0 | 0.0 | 709M| 166 | - | 305 | 26k| 0 | 0 | 0 |2288k| 0 | 2.000000e+00 | 7.300000e+01 |3550.00%
1697.02/1697.05 c 1662s| 2110k|657217 | 0 | 0.0 | 712M| 166 | - | 305 | 26k| 0 | 0 | 0 |2303k| 0 | 2.000000e+00 | 7.300000e+01 |3550.00%
1703.22/1703.22 o 51
1703.22/1703.22 c *1668s| 2113k|577421 | 0 | 0.0 | 612M| 166 | - | 305 | 27k| 0 | 0 | 0 |2308k| 0 | 2.000000e+00 | 5.100000e+01 |2450.00%
1722.82/1722.85 c 1687s| 2120k|574013 | 0 | 0.0 | 615M| 166 | - | 305 | 26k| 0 | 0 | 0 |2322k| 0 | 2.000000e+00 | 5.100000e+01 |2450.00%
1753.02/1753.04 c 1717s| 2130k|568851 | 0 | 0.0 | 618M| 166 | - | 305 | 28k| 0 | 0 | 0 |2345k| 0 | 2.000000e+00 | 5.100000e+01 |2450.00%
1785.52/1785.50 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1785.52/1785.50 c 1749s| 2140k|563534 | 0 | 0.0 | 619M| 166 | - | 305 | 30k| 0 | 0 | 0 |2367k| 0 | 2.000000e+00 | 5.100000e+01 |2450.00%
1800.03/1800.00 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.03/1800.01 c
1800.03/1800.01 c SCIP Status : solving was interrupted [user interrupt]
1800.03/1800.01 c Solving Time (sec) : 1763.34
1800.03/1800.01 c Solving Nodes : 2143775
1800.03/1800.01 c Primal Bound : +5.10000000000000e+01 (11 solutions)
1800.03/1800.01 c Dual Bound : +2.00000000000000e+00
1800.03/1800.01 c Gap : 2450.00 %
1800.03/1800.01 s SATISFIABLE
1800.03/1800.01 v -x169 -x168 -x167 -x166 -x165 -x164 -x163 -x162 x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148
1800.03/1800.01 v -x147 x146 -x145 -x144 -x143 -x142 x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127
1800.03/1800.01 v -x126 -x125 -x124 x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106
1800.03/1800.01 v -x105 x104 -x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96 -x95 -x94 -x93 -x92 -x91 -x90 -x89 -x88 -x87 -x86 -x85 -x84 -x83 -x82
1800.03/1800.01 v -x81 x80 -x79 -x78 -x77 -x76 -x75 -x74 -x73 x72 -x71 -x70 -x69 -x68 -x67 -x66 -x65 x64 -x63 -x62 -x61 -x60 -x59 -x58 -x57
1800.03/1800.01 v -x56 -x55 -x54 -x53 -x52 -x51 -x50 x49 -x48 -x47 -x46 -x45 -x44 -x43 -x42 -x41 -x40 -x39 -x38 -x37 -x36 -x35 -x34 -x33 -x32 -x31
1800.03/1800.01 v -x30 -x29 -x28 x27 -x26 -x25 -x24 -x23 x22 -x21 -x20 -x19 -x18 -x17 -x16 -x15 -x14 -x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5
1800.03/1800.01 v x4 -x3 -x2 -x1
1800.03/1800.01 c SCIP Status : solving was interrupted [user interrupt]
1800.03/1800.01 c Solving Time : 1763.34
1800.03/1800.01 c Original Problem :
1800.03/1800.01 c Problem name : HOME/instance-2693979-1277898954.wbo
1800.03/1800.01 c Variables : 307 (238 binary, 0 integer, 0 implicit integer, 69 continuous)
1800.03/1800.01 c Constraints : 171 initial, 171 maximal
1800.03/1800.01 c Presolved Problem :
1800.03/1800.01 c Problem name : t_HOME/instance-2693979-1277898954.wbo
1800.03/1800.01 c Variables : 305 (237 binary, 0 integer, 0 implicit integer, 68 continuous)
1800.03/1800.01 c Constraints : 166 initial, 64732 maximal
1800.03/1800.01 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.03/1800.01 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.01 c dualfix : 0.00 2 0 0 0 0 0 0 0
1800.03/1800.01 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.01 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.01 c implics : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.01 c probing : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.01 c indicator : 0.00 0 0 0 0 0 1 0 0
1800.03/1800.01 c setppc : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.01 c linear : 0.00 0 0 0 68 0 4 1 0
1800.03/1800.01 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.01 c bounddisjunction : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.01 c root node : - 14 - - 28 - - - -
1800.03/1800.01 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.03/1800.01 c integral : 0 0 0 0 0 0 0 0 0 0
1800.03/1800.01 c indicator : 68 0 5176896 0 1431958 14356 3743680 0 0 0
1800.03/1800.01 c setppc : 20 0 5847511 0 1560390 27076 4074827 0 0 0
1800.03/1800.01 c linear : 68 0 5820494 0 1560395 582285 29846042 0 0 0
1800.03/1800.01 c logicor : 10+ 0 2705761 0 1560400 194919 1466538 0 0 0
1800.03/1800.01 c bounddisjunction : 0+ 0 340768 0 0 0 3677 0 0 0
1800.03/1800.01 c countsols : 0 0 0 0 1560406 0 0 0 0 0
1800.03/1800.01 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.03/1800.01 c integral : 0.00 0.00 0.00 0.00 0.00
1800.03/1800.01 c indicator : 7.95 0.00 5.65 0.00 2.30
1800.03/1800.01 c setppc : 13.20 0.00 9.80 0.00 3.40
1800.03/1800.01 c linear : 139.51 0.00 138.74 0.00 0.77
1800.03/1800.01 c logicor : 798.36 0.00 796.87 0.00 1.49
1800.03/1800.01 c bounddisjunction : 0.32 0.00 0.32 0.00 0.00
1800.03/1800.01 c countsols : 0.22 0.00 0.00 0.00 0.22
1800.03/1800.01 c Propagators : Time Calls Cutoffs DomReds
1800.03/1800.01 c vbounds : 1.36 2 0 0
1800.03/1800.01 c rootredcost : 1.02 0 0 0
1800.03/1800.01 c pseudoobj : 17.92 5874175 12437 3572866
1800.03/1800.01 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.03/1800.01 c propagation : 47.48 816716 816510 4405932 23.0 275063 13.5 -
1800.03/1800.01 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.03/1800.01 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.03/1800.01 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.03/1800.01 c pseudo solution : 0.01 205 205 681 13.4 112 12.7 -
1800.03/1800.01 c applied globally : - - - 2325638 17.0 - - -
1800.03/1800.01 c applied locally : - - - 50414 37.2 - - -
1800.03/1800.01 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.03/1800.01 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.03/1800.01 c redcost : 0.00 0 0 0 0 0
1800.03/1800.01 c impliedbounds : 0.00 0 0 0 0 0
1800.03/1800.01 c intobj : 0.00 0 0 0 0 0
1800.03/1800.01 c cgmip : 0.00 0 0 0 0 0
1800.03/1800.01 c gomory : 0.00 0 0 0 0 0
1800.03/1800.01 c strongcg : 0.00 0 0 0 0 0
1800.03/1800.01 c cmir : 0.00 0 0 0 0 0
1800.03/1800.01 c flowcover : 0.00 0 0 0 0 0
1800.03/1800.01 c clique : 0.00 0 0 0 0 0
1800.03/1800.01 c zerohalf : 0.00 0 0 0 0 0
1800.03/1800.01 c mcf : 0.00 0 0 0 0 0
1800.03/1800.01 c rapidlearning : 0.00 0 0 0 0 0
1800.03/1800.01 c Pricers : Time Calls Vars
1800.03/1800.01 c problem variables: 0.00 0 0
1800.03/1800.01 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.03/1800.01 c relpscost : 0.00 0 0 0 0 0 0
1800.03/1800.01 c pscost : 0.00 0 0 0 0 0 0
1800.03/1800.01 c inference : 12.74 1560395 0 0 0 0 3120790
1800.03/1800.01 c mostinf : 0.00 0 0 0 0 0 0
1800.03/1800.01 c leastinf : 0.00 0 0 0 0 0 0
1800.03/1800.01 c fullstrong : 0.00 0 0 0 0 0 0
1800.03/1800.01 c allfullstrong : 0.00 0 0 0 0 0 0
1800.03/1800.01 c random : 0.00 0 0 0 0 0 0
1800.03/1800.01 c Primal Heuristics : Time Calls Found
1800.03/1800.01 c LP solutions : 0.00 - 0
1800.03/1800.01 c pseudo solutions : 0.27 - 11
1800.03/1800.01 c oneopt : 0.71 0 0
1800.03/1800.01 c trivial : 0.00 2 0
1800.03/1800.01 c simplerounding : 0.00 0 0
1800.03/1800.01 c zirounding : 0.00 0 0
1800.03/1800.01 c rounding : 0.00 0 0
1800.03/1800.01 c shifting : 0.00 0 0
1800.03/1800.01 c intshifting : 0.00 0 0
1800.03/1800.01 c twoopt : 0.00 0 0
1800.03/1800.01 c fixandinfer : 0.00 0 0
1800.03/1800.01 c feaspump : 0.00 0 0
1800.03/1800.01 c coefdiving : 0.00 0 0
1800.03/1800.01 c pscostdiving : 0.00 0 0
1800.03/1800.01 c fracdiving : 0.00 0 0
1800.03/1800.01 c veclendiving : 0.00 0 0
1800.03/1800.01 c intdiving : 0.00 0 0
1800.03/1800.01 c actconsdiving : 0.00 0 0
1800.03/1800.01 c objpscostdiving : 0.00 0 0
1800.03/1800.01 c rootsoldiving : 0.00 0 0
1800.03/1800.01 c linesearchdiving : 0.00 0 0
1800.03/1800.01 c guideddiving : 0.00 0 0
1800.03/1800.01 c octane : 0.00 0 0
1800.03/1800.01 c rens : 0.00 0 0
1800.03/1800.01 c rins : 0.00 0 0
1800.03/1800.01 c localbranching : 0.00 0 0
1800.03/1800.01 c mutation : 0.00 0 0
1800.03/1800.01 c crossover : 0.00 0 0
1800.03/1800.01 c dins : 0.00 0 0
1800.03/1800.01 c undercover : 0.00 0 0
1800.03/1800.01 c nlp : 0.54 0 0
1800.03/1800.01 c trysol : 0.67 1 0
1800.03/1800.01 c LP : Time Calls Iterations Iter/call Iter/sec
1800.03/1800.01 c primal LP : 0.00 0 0 0.00 -
1800.03/1800.01 c dual LP : 0.00 0 0 0.00 -
1800.03/1800.01 c lex dual LP : 0.00 0 0 0.00 -
1800.03/1800.01 c barrier LP : 0.00 0 0 0.00 -
1800.03/1800.01 c diving/probing LP: 0.00 0 0 0.00 -
1800.03/1800.01 c strong branching : 0.00 0 0 0.00 -
1800.03/1800.01 c (at root node) : - 0 0 0.00 -
1800.03/1800.01 c conflict analysis: 0.00 0 0 0.00 -
1800.03/1800.01 c B&B Tree :
1800.03/1800.01 c number of runs : 1
1800.03/1800.01 c nodes : 2143775
1800.03/1800.01 c nodes (total) : 2143775
1800.03/1800.01 c nodes left : 560665
1800.03/1800.01 c max depth : 166
1800.03/1800.01 c max depth (total): 166
1800.03/1800.01 c backtracks : 589510 (27.5%)
1800.03/1800.01 c delayed cutoffs : 326824
1800.03/1800.01 c repropagations : 2107204 (10364090 domain reductions, 247909 cutoffs)
1800.03/1800.01 c avg switch length: 20.24
1800.03/1800.01 c switching time : 564.56
1800.03/1800.01 c Solution :
1800.03/1800.01 c Solutions found : 11 (11 improvements)
1800.03/1800.01 c First Solution : +1.51000000000000e+02 (in run 1, after 83665 nodes, 22.21 seconds, depth 147, found by <relaxation>)
1800.03/1800.01 c Primal Bound : +5.10000000000000e+01 (in run 1, after 2113916 nodes, 1667.82 seconds, depth 69, found by <relaxation>)
1800.03/1800.01 c Dual Bound : +2.00000000000000e+00
1800.03/1800.01 c Gap : 2450.00 %
1800.03/1800.01 c Root Dual Bound : +0.00000000000000e+00
1800.03/1800.01 c Root Iterations : 0
1801.62/1801.63 c Time complete: 1801.65.