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-2693586-1277912091.wbo>
0.00/0.02 c original problem has 2043 variables (1137 bin, 0 int, 0 impl, 906 cont) and 3614 constraints
0.00/0.02 c problem read
0.00/0.02 c presolving settings loaded
0.00/0.02 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.04 c presolving:
0.00/0.04 c (round 1) 0 del vars, 1 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 1118 impls, 12 clqs
0.06/0.08 c (round 2) 0 del vars, 115 del conss, 906 chg bounds, 55 chg sides, 0 chg coeffs, 0 upgd conss, 1118 impls, 12 clqs
0.06/0.10 c (round 3) 55 del vars, 170 del conss, 906 chg bounds, 55 chg sides, 0 chg coeffs, 1742 upgd conss, 1118 impls, 12 clqs
0.09/0.11 c (round 4) 110 del vars, 170 del conss, 906 chg bounds, 55 chg sides, 0 chg coeffs, 1742 upgd conss, 1118 impls, 12 clqs
0.09/0.15 c (0.1s) probing: 101/1082 (9.3%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.09/0.15 c (0.1s) probing aborted: 100/100 successive totally useless probings
0.09/0.15 c presolving (5 rounds):
0.09/0.15 c 110 deleted vars, 170 deleted constraints, 906 tightened bounds, 0 added holes, 55 changed sides, 0 changed coefficients
0.09/0.15 c 1118 implications, 12 cliques
0.09/0.15 c presolved problem has 1933 variables (1082 bin, 0 int, 0 impl, 851 cont) and 3444 constraints
0.09/0.15 c 851 constraints of type <indicator>
0.09/0.15 c 12 constraints of type <setppc>
0.09/0.15 c 851 constraints of type <linear>
0.09/0.15 c 1730 constraints of type <logicor>
0.09/0.15 c transformed objective value is always integral (scale: 1)
0.09/0.15 c Presolving Time: 0.10
0.09/0.15 c - non default parameters ----------------------------------------------------------------------
0.09/0.15 c # SCIP version 1.2.1.2
0.09/0.15 c
0.09/0.15 c # frequency for displaying node information lines
0.09/0.15 c # [type: int, range: [-1,2147483647], default: 100]
0.09/0.15 c display/freq = 10000
0.09/0.15 c
0.09/0.15 c # maximal time in seconds to run
0.09/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.15 c limits/time = 1799.98
0.09/0.15 c
0.09/0.15 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.09/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.15 c limits/memory = 3420
0.09/0.15 c
0.09/0.15 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.09/0.15 c # [type: int, range: [-1,2147483647], default: 1]
0.09/0.15 c lp/solvefreq = -1
0.09/0.15 c
0.09/0.15 c # should presolving try to simplify inequalities
0.09/0.15 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.15 c constraints/linear/simplifyinequalities = TRUE
0.09/0.15 c
0.09/0.15 c # should presolving try to simplify knapsacks
0.09/0.15 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.15 c constraints/knapsack/simplifyinequalities = TRUE
0.09/0.15 c
0.09/0.15 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.09/0.15 c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.15 c separating/rapidlearning/freq = 0
0.09/0.15 c
0.09/0.15 c -----------------------------------------------------------------------------------------------
0.09/0.15 c start solving
0.09/0.15 c
0.09/0.15 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.15 c 0.1s| 1 | 2 | 0 | - |7504k| 0 | - |1933 |3444 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
0.69/0.77 o 384
0.69/0.77 c * 0.7s| 2770 | 2456 | 0 | 0.0 |9241k|1044 | - |1933 |3693 | 0 | 0 | 0 | 287 | 0 | 0.000000e+00 | 3.840000e+02 | Inf
2.58/2.67 c 2.5s| 10000 | 8692 | 0 | 0.0 | 14M|1044 | - |1933 |4833 | 0 | 0 | 0 |3349 | 0 | 0.000000e+00 | 3.840000e+02 | Inf
5.78/5.89 o 155
5.78/5.89 c * 5.6s| 19237 | 14755 | 0 | 0.0 | 21M|1044 | - |1933 |6769 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | 1.550000e+02 | Inf
5.78/5.89 o 124
5.78/5.89 c * 5.6s| 19238 | 14671 | 0 | 0.0 | 21M|1044 | - |1933 |6769 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | 1.240000e+02 | Inf
6.08/6.17 c 5.9s| 20000 | 15386 | 0 | 0.0 | 21M|1044 | - |1933 |6126 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | 1.240000e+02 | Inf
8.28/8.34 o 120
8.28/8.34 c * 8.0s| 25941 | 20772 | 0 | 0.0 | 26M|1044 | - |1933 |4789 | 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | 1.200000e+02 | Inf
8.58/8.66 o 119
8.58/8.66 c * 8.3s| 26881 | 21630 | 0 | 0.0 | 26M|1044 | - |1933 |4655 | 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | 1.190000e+02 | Inf
8.58/8.66 o 51
8.58/8.66 c * 8.3s| 26882 | 20275 | 0 | 0.0 | 24M|1044 | - |1933 |4655 | 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | 5.100000e+01 | Inf
8.58/8.68 o 37
8.58/8.68 c * 8.3s| 26933 | 20051 | 0 | 0.0 | 24M|1044 | - |1933 |4640 | 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | 3.700000e+01 | Inf
8.88/8.90 o 7
8.88/8.90 c * 8.5s| 27581 | 19309 | 0 | 0.0 | 24M|1044 | - |1933 |4677 | 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
9.68/9.70 c 9.3s| 30000 | 21405 | 0 | 0.0 | 28M|1044 | - |1933 |5002 | 0 | 0 | 0 | 13k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
12.68/12.78 c 12.3s| 40000 | 29435 | 0 | 0.0 | 36M|1044 | - |1933 |6295 | 0 | 0 | 0 | 19k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
16.08/16.12 c 15.5s| 50000 | 37271 | 0 | 0.0 | 43M|1044 | - |1933 |7193 | 0 | 0 | 0 | 25k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
19.69/19.79 c 19.1s| 60000 | 44837 | 0 | 0.0 | 51M|1044 | - |1933 |7834 | 0 | 0 | 0 | 32k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
23.68/23.73 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
23.68/23.73 c 22.9s| 70000 | 52165 | 0 | 0.0 | 58M|1044 | - |1933 |8444 | 0 | 0 | 0 | 39k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
27.78/27.81 c 26.8s| 80000 | 59338 | 0 | 0.0 | 65M|1044 | - |1933 |8938 | 0 | 0 | 0 | 47k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
32.18/32.21 c 31.1s| 90000 | 66262 | 0 | 0.0 | 72M|1044 | - |1933 |9435 | 0 | 0 | 0 | 56k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
36.88/36.99 c 35.7s|100000 | 72838 | 0 | 0.0 | 80M|1044 | - |1933 | 10k| 0 | 0 | 0 | 65k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
42.38/42.47 c 41.0s|110000 | 78841 | 0 | 0.0 | 87M|1044 | - |1933 | 11k| 0 | 0 | 0 | 77k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
48.78/48.80 c 47.2s|120000 | 84264 | 0 | 0.0 | 95M|1044 | - |1933 | 11k| 0 | 0 | 0 | 90k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
56.28/56.37 c 54.7s|130000 | 88640 | 0 | 0.0 | 102M|1044 | - |1933 | 13k| 0 | 0 | 0 | 106k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
66.58/66.67 c 64.8s|140000 | 90872 | 0 | 0.0 | 110M|1044 | - |1933 | 16k| 0 | 0 | 0 | 127k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
71.67/71.77 c 69.8s|150000 | 99002 | 0 | 0.0 | 133M|1044 | - |1933 |6870 | 0 | 0 | 0 | 133k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
76.88/76.97 c 74.8s|160000 |105789 | 0 | 0.0 | 145M|1044 | - |1933 |6343 | 0 | 0 | 0 | 142k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
80.68/80.71 c 78.4s|170000 |114026 | 0 | 0.0 | 153M|1044 | - |1933 |7489 | 0 | 0 | 0 | 148k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
85.37/85.42 c 83.0s|180000 |121585 | 0 | 0.0 | 160M|1044 | - |1933 |9024 | 0 | 0 | 0 | 155k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
91.57/91.65 c 89.1s|190000 |127629 | 0 | 0.0 | 169M|1044 | - |1933 |8189 | 0 | 0 | 0 | 165k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
95.37/95.48 c 92.8s|200000 |135974 | 0 | 0.0 | 178M|1044 | - |1933 |9093 | 0 | 0 | 0 | 171k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
100.28/100.31 c 97.5s|210000 |143538 | 0 | 0.0 | 187M|1044 | - |1933 | 11k| 0 | 0 | 0 | 179k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
107.18/107.26 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
107.18/107.26 c 104s|220000 |149835 | 0 | 0.0 | 194M|1044 | - |1933 | 10k| 0 | 0 | 0 | 189k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
110.77/110.89 c 108s|230000 |157863 | 0 | 0.0 | 200M|1044 | - |1933 |9735 | 0 | 0 | 0 | 193k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
114.68/114.79 c 111s|240000 |165621 | 0 | 0.0 | 206M|1044 | - |1933 |9031 | 0 | 0 | 0 | 197k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
118.98/119.04 c 116s|250000 |172829 | 0 | 0.0 | 212M|1044 | - |1933 |8644 | 0 | 0 | 0 | 201k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
123.18/123.24 c 120s|260000 |179976 | 0 | 0.0 | 217M|1044 | - |1933 |5331 | 0 | 0 | 0 | 206k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
126.28/126.31 c 123s|270000 |188316 | 0 | 0.0 | 222M|1044 | - |1933 |3944 | 0 | 0 | 0 | 209k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
129.87/129.99 c 126s|280000 |195480 | 0 | 0.0 | 229M|1044 | - |1933 |4874 | 0 | 0 | 0 | 213k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
134.08/134.15 c 130s|290000 |202220 | 0 | 0.0 | 235M|1044 | - |1933 |5353 | 0 | 0 | 0 | 219k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
138.37/138.43 c 134s|300000 |208814 | 0 | 0.0 | 242M|1044 | - |1933 |5529 | 0 | 0 | 0 | 224k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
142.88/142.94 c 139s|310000 |215108 | 0 | 0.0 | 249M|1044 | - |1933 |6137 | 0 | 0 | 0 | 231k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
147.28/147.39 c 143s|320000 |221525 | 0 | 0.0 | 255M|1044 | - |1933 |6647 | 0 | 0 | 0 | 237k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
151.97/152.06 c 148s|330000 |227787 | 0 | 0.0 | 262M|1044 | - |1933 |7016 | 0 | 0 | 0 | 243k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
156.87/156.94 c 152s|340000 |233929 | 0 | 0.0 | 269M|1044 | - |1933 |7012 | 0 | 0 | 0 | 250k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
161.78/161.82 c 157s|350000 |240183 | 0 | 0.0 | 275M|1044 | - |1933 |7231 | 0 | 0 | 0 | 256k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
166.97/167.06 c 162s|360000 |245962 | 0 | 0.0 | 282M|1044 | - |1933 |8126 | 0 | 0 | 0 | 264k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
172.47/172.52 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
172.47/172.52 c 167s|370000 |251615 | 0 | 0.0 | 289M|1044 | - |1933 |8506 | 0 | 0 | 0 | 271k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
178.27/178.35 c 173s|380000 |256865 | 0 | 0.0 | 296M|1044 | - |1933 |9265 | 0 | 0 | 0 | 279k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
184.37/184.44 c 179s|390000 |261996 | 0 | 0.0 | 302M|1044 | - |1933 |9382 | 0 | 0 | 0 | 287k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
190.57/190.70 c 185s|400000 |267249 | 0 | 0.0 | 309M|1044 | - |1933 |9110 | 0 | 0 | 0 | 295k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
197.27/197.30 c 192s|410000 |272068 | 0 | 0.0 | 315M|1044 | - |1933 |9792 | 0 | 0 | 0 | 304k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
204.07/204.18 c 198s|420000 |276632 | 0 | 0.0 | 322M|1044 | - |1933 | 10k| 0 | 0 | 0 | 313k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
211.47/211.50 c 205s|430000 |280793 | 0 | 0.0 | 329M|1044 | - |1933 | 10k| 0 | 0 | 0 | 323k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
219.06/219.16 c 213s|440000 |284906 | 0 | 0.0 | 335M|1044 | - |1933 | 10k| 0 | 0 | 0 | 333k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
226.67/226.74 c 220s|450000 |289179 | 0 | 0.0 | 341M|1044 | - |1933 | 10k| 0 | 0 | 0 | 342k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
234.57/234.68 c 228s|460000 |293009 | 0 | 0.0 | 348M|1044 | - |1933 | 11k| 0 | 0 | 0 | 352k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
242.67/242.72 c 236s|470000 |296695 | 0 | 0.0 | 354M|1044 | - |1933 | 11k| 0 | 0 | 0 | 363k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
251.06/251.19 c 244s|480000 |300053 | 0 | 0.0 | 360M|1044 | - |1933 | 11k| 0 | 0 | 0 | 374k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
259.67/259.79 c 253s|490000 |303520 | 0 | 0.0 | 366M|1044 | - |1933 | 11k| 0 | 0 | 0 | 384k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
268.27/268.38 c 261s|500000 |306943 | 0 | 0.0 | 372M|1044 | - |1933 | 12k| 0 | 0 | 0 | 395k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
277.57/277.61 c 270s|510000 |309732 | 0 | 0.0 | 378M|1044 | - |1933 | 12k| 0 | 0 | 0 | 407k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
286.87/286.93 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
286.87/286.93 c 280s|520000 |312566 | 0 | 0.0 | 384M|1044 | - |1933 | 13k| 0 | 0 | 0 | 419k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
296.37/296.45 c 289s|530000 |315295 | 0 | 0.0 | 389M|1044 | - |1933 | 13k| 0 | 0 | 0 | 431k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
306.36/306.47 c 299s|540000 |317718 | 0 | 0.0 | 395M|1044 | - |1933 | 14k| 0 | 0 | 0 | 443k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
316.77/316.88 c 309s|550000 |319930 | 0 | 0.0 | 400M|1044 | - |1933 | 14k| 0 | 0 | 0 | 456k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
327.36/327.47 c 319s|560000 |322120 | 0 | 0.0 | 405M|1044 | - |1933 | 14k| 0 | 0 | 0 | 469k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
338.56/338.61 c 330s|570000 |324067 | 0 | 0.0 | 409M|1044 | - |1933 | 14k| 0 | 0 | 0 | 483k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
350.36/350.43 c 342s|580000 |325458 | 0 | 0.0 | 414M|1044 | - |1933 | 15k| 0 | 0 | 0 | 498k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
362.97/363.03 c 354s|590000 |326430 | 0 | 0.0 | 418M|1044 | - |1933 | 16k| 0 | 0 | 0 | 513k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
377.57/377.68 c 369s|600000 |326165 | 0 | 0.0 | 421M|1044 | - |1933 | 16k| 0 | 0 | 0 | 530k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
393.36/393.49 c 385s|610000 |325174 | 0 | 0.0 | 424M|1044 | - |1933 | 19k| 0 | 0 | 0 | 549k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
399.66/399.71 c 391s|620000 |331661 | 0 | 0.0 | 423M|1044 | - |1933 |4364 | 0 | 0 | 0 | 554k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
403.06/403.17 c 394s|630000 |339622 | 0 | 0.0 | 430M|1044 | - |1933 |4988 | 0 | 0 | 0 | 558k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
406.76/406.85 c 397s|640000 |347317 | 0 | 0.0 | 436M|1044 | - |1933 |5682 | 0 | 0 | 0 | 562k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
410.56/410.64 c 401s|650000 |354842 | 0 | 0.0 | 443M|1044 | - |1933 |6288 | 0 | 0 | 0 | 566k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
414.76/414.83 c 405s|660000 |362004 | 0 | 0.0 | 449M|1044 | - |1933 |7183 | 0 | 0 | 0 | 571k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
419.16/419.22 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
419.16/419.22 c 409s|670000 |369001 | 0 | 0.0 | 456M|1044 | - |1933 |7955 | 0 | 0 | 0 | 576k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
423.96/424.02 c 414s|680000 |375602 | 0 | 0.0 | 463M|1044 | - |1933 |9012 | 0 | 0 | 0 | 582k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
429.16/429.23 c 419s|690000 |381857 | 0 | 0.0 | 470M|1044 | - |1933 |9769 | 0 | 0 | 0 | 588k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
434.86/434.90 c 425s|700000 |387690 | 0 | 0.0 | 476M|1044 | - |1933 | 10k| 0 | 0 | 0 | 596k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
441.76/441.82 c 431s|710000 |392515 | 0 | 0.0 | 483M|1044 | - |1933 | 12k| 0 | 0 | 0 | 605k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
451.16/451.23 c 441s|720000 |395684 | 0 | 0.0 | 490M|1044 | - |1933 | 15k| 0 | 0 | 0 | 617k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
457.26/457.37 c 447s|730000 |402046 | 0 | 0.0 | 492M|1044 | - |1933 |5152 | 0 | 0 | 0 | 623k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
460.87/460.96 c 450s|740000 |409890 | 0 | 0.0 | 499M|1044 | - |1933 |5400 | 0 | 0 | 0 | 627k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
464.56/464.64 c 454s|750000 |417580 | 0 | 0.0 | 505M|1044 | - |1933 |5549 | 0 | 0 | 0 | 630k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
468.26/468.33 c 457s|760000 |425214 | 0 | 0.0 | 512M|1044 | - |1933 |5577 | 0 | 0 | 0 | 634k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
472.16/472.26 c 461s|770000 |432632 | 0 | 0.0 | 518M|1044 | - |1933 |5925 | 0 | 0 | 0 | 639k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
476.16/476.23 c 465s|780000 |439945 | 0 | 0.0 | 525M|1044 | - |1933 |6213 | 0 | 0 | 0 | 643k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
480.26/480.30 c 469s|790000 |447201 | 0 | 0.0 | 531M|1044 | - |1933 |6434 | 0 | 0 | 0 | 648k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
484.46/484.57 c 473s|800000 |454194 | 0 | 0.0 | 538M|1044 | - |1933 |6813 | 0 | 0 | 0 | 652k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
488.96/489.02 c 477s|810000 |460894 | 0 | 0.0 | 544M|1044 | - |1933 |7189 | 0 | 0 | 0 | 658k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
493.35/493.41 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
493.35/493.41 c 481s|820000 |467743 | 0 | 0.0 | 551M|1044 | - |1933 |6889 | 0 | 0 | 0 | 663k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
498.05/498.11 c 486s|830000 |474177 | 0 | 0.0 | 557M|1044 | - |1933 |7577 | 0 | 0 | 0 | 669k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
502.96/503.02 c 491s|840000 |480541 | 0 | 0.0 | 564M|1044 | - |1933 |7777 | 0 | 0 | 0 | 675k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
507.85/507.95 c 495s|850000 |486812 | 0 | 0.0 | 570M|1044 | - |1933 |8216 | 0 | 0 | 0 | 681k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
513.15/513.27 c 501s|860000 |492672 | 0 | 0.0 | 577M|1044 | - |1933 |8866 | 0 | 0 | 0 | 688k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
518.75/518.88 c 506s|870000 |498439 | 0 | 0.0 | 584M|1044 | - |1933 |9435 | 0 | 0 | 0 | 695k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
524.66/524.73 c 512s|880000 |503956 | 0 | 0.0 | 590M|1044 | - |1933 | 10k| 0 | 0 | 0 | 702k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
530.86/530.99 c 518s|890000 |509271 | 0 | 0.0 | 597M|1044 | - |1933 | 10k| 0 | 0 | 0 | 710k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
537.85/537.95 c 525s|900000 |514154 | 0 | 0.0 | 603M|1044 | - |1933 | 11k| 0 | 0 | 0 | 719k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
545.85/545.91 c 532s|910000 |518246 | 0 | 0.0 | 610M|1044 | - |1933 | 13k| 0 | 0 | 0 | 729k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
554.55/554.66 c 541s|920000 |520997 | 0 | 0.0 | 616M|1044 | - |1933 | 16k| 0 | 0 | 0 | 741k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
558.85/558.93 c 545s|930000 |528026 | 0 | 0.0 | 618M|1044 | - |1933 |5872 | 0 | 0 | 0 | 745k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
561.85/561.94 c 548s|940000 |536009 | 0 | 0.0 | 624M|1044 | - |1933 |5971 | 0 | 0 | 0 | 749k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
564.95/565.02 c 551s|950000 |543892 | 0 | 0.0 | 631M|1044 | - |1933 |6079 | 0 | 0 | 0 | 752k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
568.06/568.11 c 554s|960000 |551762 | 0 | 0.0 | 637M|1044 | - |1933 |6391 | 0 | 0 | 0 | 756k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
571.25/571.31 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
571.25/571.31 c 557s|970000 |559494 | 0 | 0.0 | 644M|1044 | - |1933 |6607 | 0 | 0 | 0 | 760k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
574.45/574.57 c 560s|980000 |567109 | 0 | 0.0 | 650M|1044 | - |1933 |7307 | 0 | 0 | 0 | 764k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
577.85/577.98 c 563s|990000 |574583 | 0 | 0.0 | 657M|1044 | - |1933 |7498 | 0 | 0 | 0 | 768k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
581.45/581.55 c 567s| 1000k|581816 | 0 | 0.0 | 663M|1044 | - |1933 |8000 | 0 | 0 | 0 | 773k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
584.95/585.08 c 570s| 1010k|589063 | 0 | 0.0 | 670M|1044 | - |1933 |8832 | 0 | 0 | 0 | 777k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
588.85/588.91 c 574s| 1020k|596023 | 0 | 0.0 | 677M|1044 | - |1933 |9466 | 0 | 0 | 0 | 783k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
592.96/593.00 c 578s| 1030k|602712 | 0 | 0.0 | 684M|1044 | - |1933 |9847 | 0 | 0 | 0 | 788k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
597.15/597.22 c 582s| 1040k|609177 | 0 | 0.0 | 691M|1044 | - |1933 | 10k| 0 | 0 | 0 | 794k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
601.45/601.54 c 586s| 1050k|615626 | 0 | 0.0 | 697M|1044 | - |1933 | 11k| 0 | 0 | 0 | 801k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
606.15/606.27 c 591s| 1060k|621677 | 0 | 0.0 | 704M|1044 | - |1933 | 12k| 0 | 0 | 0 | 807k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
611.46/611.53 c 596s| 1070k|627193 | 0 | 0.0 | 711M|1044 | - |1933 | 13k| 0 | 0 | 0 | 815k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
617.15/617.29 c 601s| 1080k|632458 | 0 | 0.0 | 718M|1044 | - |1933 | 14k| 0 | 0 | 0 | 823k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
623.85/623.93 c 608s| 1090k|637019 | 0 | 0.0 | 724M|1044 | - |1933 | 16k| 0 | 0 | 0 | 831k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
631.46/631.53 c 615s| 1100k|640959 | 0 | 0.0 | 732M|1044 | - |1933 | 19k| 0 | 0 | 0 | 842k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
641.26/641.35 c 625s| 1110k|643602 | 0 | 0.0 | 738M|1044 | - |1933 | 21k| 0 | 0 | 0 | 853k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
650.75/650.82 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
650.75/650.82 c 634s| 1120k|647439 | 0 | 0.0 | 740M|1044 | - |1933 | 13k| 0 | 0 | 0 | 863k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
654.15/654.24 c 637s| 1130k|655470 | 0 | 0.0 | 745M|1044 | - |1933 | 10k| 0 | 0 | 0 | 867k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
657.45/657.57 c 641s| 1140k|663263 | 0 | 0.0 | 751M|1044 | - |1933 | 11k| 0 | 0 | 0 | 872k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
661.35/661.40 c 644s| 1150k|670613 | 0 | 0.0 | 758M|1044 | - |1933 | 12k| 0 | 0 | 0 | 877k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
665.55/665.65 c 648s| 1160k|677695 | 0 | 0.0 | 765M|1044 | - |1933 | 13k| 0 | 0 | 0 | 883k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
670.26/670.39 c 653s| 1170k|684368 | 0 | 0.0 | 772M|1044 | - |1933 | 15k| 0 | 0 | 0 | 890k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
675.85/675.98 c 659s| 1180k|690451 | 0 | 0.0 | 779M|1044 | - |1933 | 18k| 0 | 0 | 0 | 897k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
682.25/682.35 c 665s| 1190k|696018 | 0 | 0.0 | 787M|1044 | - |1933 | 20k| 0 | 0 | 0 | 906k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
691.06/691.13 c 673s| 1200k|699920 | 0 | 0.0 | 793M|1044 | - |1933 | 24k| 0 | 0 | 0 | 918k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
698.36/698.42 c 681s| 1210k|705963 | 0 | 0.0 | 797M|1044 | - |1933 | 18k| 0 | 0 | 0 | 924k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
702.26/702.35 c 684s| 1220k|713853 | 0 | 0.0 | 802M|1044 | - |1933 | 15k| 0 | 0 | 0 | 927k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
706.25/706.32 c 688s| 1230k|721287 | 0 | 0.0 | 808M|1044 | - |1933 | 15k| 0 | 0 | 0 | 931k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
710.25/710.39 c 692s| 1240k|728556 | 0 | 0.0 | 814M|1044 | - |1933 | 15k| 0 | 0 | 0 | 936k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
714.86/714.98 c 697s| 1250k|735331 | 0 | 0.0 | 821M|1044 | - |1933 | 16k| 0 | 0 | 0 | 941k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
720.16/720.25 c 702s| 1260k|741487 | 0 | 0.0 | 827M|1044 | - |1933 | 17k| 0 | 0 | 0 | 947k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
726.36/726.46 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
726.36/726.46 c 708s| 1270k|746834 | 0 | 0.0 | 834M|1044 | - |1933 | 19k| 0 | 0 | 0 | 955k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
734.76/734.81 c 716s| 1280k|750419 | 0 | 0.0 | 842M|1044 | - |1933 | 22k| 0 | 0 | 0 | 966k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
744.96/745.06 c 726s| 1290k|753236 | 0 | 0.0 | 846M|1044 | - |1933 | 23k| 0 | 0 | 0 | 978k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
749.36/749.43 c 730s| 1300k|761089 | 0 | 0.0 | 850M|1044 | - |1933 | 15k| 0 | 0 | 0 | 981k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
753.06/753.17 c 734s| 1310k|768718 | 0 | 0.0 | 856M|1044 | - |1933 | 14k| 0 | 0 | 0 | 984k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
757.16/757.27 c 738s| 1320k|775983 | 0 | 0.0 | 862M|1044 | - |1933 | 15k| 0 | 0 | 0 | 989k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
761.76/761.87 c 742s| 1330k|782806 | 0 | 0.0 | 869M|1044 | - |1933 | 15k| 0 | 0 | 0 | 995k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
767.16/767.26 c 748s| 1340k|788886 | 0 | 0.0 | 876M|1044 | - |1933 | 17k| 0 | 0 | 0 |1001k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
773.56/773.69 c 754s| 1350k|794122 | 0 | 0.0 | 883M|1044 | - |1933 | 20k| 0 | 0 | 0 |1009k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
781.66/781.74 c 762s| 1360k|798107 | 0 | 0.0 | 889M|1044 | - |1933 | 23k| 0 | 0 | 0 |1020k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
789.06/789.14 c 769s| 1370k|803603 | 0 | 0.0 | 890M|1044 | - |1933 |9124 | 0 | 0 | 0 |1027k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
793.26/793.31 c 773s| 1380k|810264 | 0 | 0.0 | 896M|1044 | - |1933 |8665 | 0 | 0 | 0 |1033k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
796.16/796.28 c 776s| 1390k|818340 | 0 | 0.0 | 902M|1044 | - |1933 |6059 | 0 | 0 | 0 |1036k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
799.56/799.62 c 779s| 1400k|825585 | 0 | 0.0 | 908M|1044 | - |1933 |6076 | 0 | 0 | 0 |1041k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
803.06/803.11 c 783s| 1410k|832577 | 0 | 0.0 | 915M|1044 | - |1933 |7661 | 0 | 0 | 0 |1046k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
806.27/806.35 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
806.27/806.35 c 786s| 1420k|840241 | 0 | 0.0 | 921M|1044 | - |1933 |6210 | 0 | 0 | 0 |1050k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
809.57/809.66 c 789s| 1430k|847736 | 0 | 0.0 | 926M|1044 | - |1933 |5230 | 0 | 0 | 0 |1054k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
812.26/812.37 c 792s| 1440k|855878 | 0 | 0.0 | 932M|1044 | - |1933 |5785 | 0 | 0 | 0 |1057k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
815.96/816.03 c 795s| 1450k|862673 | 0 | 0.0 | 939M|1044 | - |1933 |8313 | 0 | 0 | 0 |1062k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
819.46/819.51 c 798s| 1460k|869997 | 0 | 0.0 | 944M|1044 | - |1933 |5684 | 0 | 0 | 0 |1067k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
822.86/822.98 c 802s| 1470k|877019 | 0 | 0.0 | 951M|1044 | - |1933 |6815 | 0 | 0 | 0 |1072k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
825.86/825.96 c 805s| 1480k|884959 | 0 | 0.0 | 957M|1044 | - |1933 |5871 | 0 | 0 | 0 |1075k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
829.26/829.34 c 808s| 1490k|892169 | 0 | 0.0 | 963M|1044 | - |1933 |6883 | 0 | 0 | 0 |1080k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
832.96/833.06 c 812s| 1500k|898939 | 0 | 0.0 | 969M|1044 | - |1933 |5787 | 0 | 0 | 0 |1085k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
835.87/835.92 c 814s| 1510k|906799 | 0 | 0.0 | 974M|1044 | - |1933 |4430 | 0 | 0 | 0 |1089k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
839.76/839.83 c 818s| 1520k|912660 | 0 | 0.0 | 981M|1044 | - |1933 |8120 | 0 | 0 | 0 |1096k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
844.86/844.94 c 823s| 1530k|917785 | 0 | 0.0 | 988M|1044 | - |1933 | 10k| 0 | 0 | 0 |1104k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
850.76/850.83 c 829s| 1540k|922387 | 0 | 0.0 | 994M|1044 | - |1933 | 11k| 0 | 0 | 0 |1113k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
857.26/857.39 c 835s| 1550k|926721 | 0 | 0.0 |1001M|1044 | - |1933 | 13k| 0 | 0 | 0 |1122k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
864.56/864.64 c 842s| 1560k|930691 | 0 | 0.0 |1007M|1044 | - |1933 | 14k| 0 | 0 | 0 |1132k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
872.27/872.34 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
872.27/872.34 c 850s| 1570k|934461 | 0 | 0.0 |1013M|1044 | - |1933 | 14k| 0 | 0 | 0 |1142k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
880.16/880.26 c 858s| 1580k|938387 | 0 | 0.0 |1019M|1044 | - |1933 | 15k| 0 | 0 | 0 |1153k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
888.66/888.74 c 866s| 1590k|942030 | 0 | 0.0 |1025M|1044 | - |1933 | 16k| 0 | 0 | 0 |1163k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
897.76/897.86 c 875s| 1600k|945369 | 0 | 0.0 |1031M|1044 | - |1933 | 18k| 0 | 0 | 0 |1175k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
906.66/906.73 c 884s| 1610k|949156 | 0 | 0.0 |1037M|1044 | - |1933 | 18k| 0 | 0 | 0 |1185k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
917.56/917.60 c 895s| 1620k|951775 | 0 | 0.0 |1043M|1044 | - |1933 | 20k| 0 | 0 | 0 |1198k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
927.96/928.02 c 905s| 1630k|955069 | 0 | 0.0 |1049M|1044 | - |1933 | 20k| 0 | 0 | 0 |1209k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
939.66/939.71 c 916s| 1640k|957556 | 0 | 0.0 |1054M|1044 | - |1933 | 21k| 0 | 0 | 0 |1222k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
951.56/951.61 c 928s| 1650k|960276 | 0 | 0.0 |1059M|1044 | - |1933 | 22k| 0 | 0 | 0 |1234k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
964.26/964.39 c 941s| 1660k|962425 | 0 | 0.0 |1065M|1044 | - |1933 | 24k| 0 | 0 | 0 |1247k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
977.66/977.70 c 954s| 1670k|964537 | 0 | 0.0 |1069M|1044 | - |1933 | 23k| 0 | 0 | 0 |1260k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
991.77/991.85 c 968s| 1680k|966291 | 0 | 0.0 |1075M|1044 | - |1933 | 25k| 0 | 0 | 0 |1274k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1005.16/1005.28 c 981s| 1690k|968729 | 0 | 0.0 |1080M|1044 | - |1933 | 24k| 0 | 0 | 0 |1287k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1020.66/1020.76 c 997s| 1700k|969934 | 0 | 0.0 |1085M|1044 | - |1933 | 26k| 0 | 0 | 0 |1302k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1034.67/1034.74 c 1010s| 1710k|972442 | 0 | 0.0 |1091M|1044 | - |1933 | 26k| 0 | 0 | 0 |1315k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1052.26/1052.37 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1052.26/1052.37 c 1028s| 1720k|972917 | 0 | 0.0 |1095M|1044 | - |1933 | 28k| 0 | 0 | 0 |1330k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1067.66/1067.70 c 1043s| 1730k|975059 | 0 | 0.0 |1101M|1044 | - |1933 | 28k| 0 | 0 | 0 |1344k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1088.77/1088.84 c 1064s| 1740k|975078 | 0 | 0.0 |1105M|1044 | - |1933 | 31k| 0 | 0 | 0 |1361k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1110.16/1110.25 c 1085s| 1750k|976471 | 0 | 0.0 |1110M|1044 | - |1933 | 31k| 0 | 0 | 0 |1376k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1135.36/1135.49 c 1110s| 1760k|976240 | 0 | 0.0 |1113M|1044 | - |1933 | 32k| 0 | 0 | 0 |1393k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1157.56/1157.62 c 1132s| 1770k|977490 | 0 | 0.0 |1118M|1044 | - |1933 | 33k| 0 | 0 | 0 |1408k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1184.36/1184.47 c 1158s| 1780k|976918 | 0 | 0.0 |1121M|1044 | - |1933 | 34k| 0 | 0 | 0 |1426k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1207.06/1207.19 c 1180s| 1790k|978155 | 0 | 0.0 |1126M|1044 | - |1933 | 34k| 0 | 0 | 0 |1442k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1235.06/1235.19 c 1208s| 1800k|977018 | 0 | 0.0 |1128M|1044 | - |1933 | 35k| 0 | 0 | 0 |1461k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1259.47/1259.55 c 1232s| 1810k|977658 | 0 | 0.0 |1132M|1044 | - |1933 | 34k| 0 | 0 | 0 |1477k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1288.77/1288.80 c 1261s| 1820k|976512 | 0 | 0.0 |1135M|1044 | - |1933 | 35k| 0 | 0 | 0 |1495k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1316.47/1316.56 c 1288s| 1830k|976045 | 0 | 0.0 |1138M|1044 | - |1933 | 35k| 0 | 0 | 0 |1513k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1345.06/1345.16 c 1316s| 1840k|975562 | 0 | 0.0 |1141M|1044 | - |1933 | 35k| 0 | 0 | 0 |1531k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1373.67/1373.71 c 1344s| 1850k|974479 | 0 | 0.0 |1143M|1044 | - |1933 | 37k| 0 | 0 | 0 |1549k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1401.47/1401.55 c 1372s| 1860k|974415 | 0 | 0.0 |1147M|1044 | - |1933 | 35k| 0 | 0 | 0 |1567k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1432.97/1433.09 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1432.97/1433.09 c 1403s| 1870k|972584 | 0 | 0.0 |1148M|1044 | - |1933 | 37k| 0 | 0 | 0 |1587k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1462.88/1462.95 c 1433s| 1880k|971727 | 0 | 0.0 |1150M|1044 | - |1933 | 37k| 0 | 0 | 0 |1605k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1494.57/1494.68 c 1464s| 1890k|970367 | 0 | 0.0 |1153M|1044 | - |1933 | 36k| 0 | 0 | 0 |1624k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1527.18/1527.20 c 1496s| 1900k|968411 | 0 | 0.0 |1153M|1044 | - |1933 | 37k| 0 | 0 | 0 |1644k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1557.88/1557.94 c 1526s| 1910k|967440 | 0 | 0.0 |1156M|1044 | - |1933 | 38k| 0 | 0 | 0 |1662k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1591.37/1591.48 c 1559s| 1920k|965798 | 0 | 0.0 |1158M|1044 | - |1933 | 38k| 0 | 0 | 0 |1682k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1626.68/1626.73 c 1594s| 1930k|963435 | 0 | 0.0 |1158M|1044 | - |1933 | 39k| 0 | 0 | 0 |1702k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1661.17/1661.25 c 1628s| 1940k|961374 | 0 | 0.0 |1158M|1044 | - |1933 | 40k| 0 | 0 | 0 |1722k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1695.78/1695.88 c 1662s| 1950k|959469 | 0 | 0.0 |1158M|1044 | - |1933 | 42k| 0 | 0 | 0 |1741k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1732.57/1732.63 c 1698s| 1960k|957159 | 0 | 0.0 |1158M|1044 | - |1933 | 41k| 0 | 0 | 0 |1762k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1769.78/1769.83 c 1735s| 1970k|954854 | 0 | 0.0 |1159M|1044 | - |1933 | 42k| 0 | 0 | 0 |1782k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1800.09/1800.10 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.09/1800.10 c
1800.09/1800.10 c SCIP Status : solving was interrupted [user interrupt]
1800.09/1800.10 c Solving Time (sec) : 1764.78
1800.09/1800.10 c Solving Nodes : 1977627
1800.09/1800.10 c Primal Bound : +7.00000000000000e+00 (8 solutions)
1800.09/1800.10 c Dual Bound : +0.00000000000000e+00
1800.09/1800.10 c Gap : infinite
1800.09/1800.12 s SATISFIABLE
1800.09/1800.12 v -x231 -x230 -x229 x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221 x220 -x219 -x218 -x217 -x216 -x215 -x214 -x213 -x212 x211 -x210
1800.09/1800.12 v -x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 -x199 -x198 -x197 -x196 -x195 x194 -x193 -x192 -x191 -x190 -x189
1800.09/1800.12 v -x188 -x187 x186 -x185 -x184 -x183 -x182 -x181 x180 -x179 -x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 x168
1800.09/1800.12 v -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 x152 -x151 -x150 -x149 -x148 -x147
1800.09/1800.12 v -x146 -x145 x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126 -x125
1800.09/1800.12 v -x124 -x123 x122 -x121 -x120 -x119 x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105 -x104
1800.09/1800.12 v -x103 x102 -x101 -x100 -x99 -x98 -x97 -x96 -x95 -x94 -x93 x92 -x91 -x90 -x89 -x88 -x87 -x86 -x85 -x84 -x83 -x82 -x81 -x80
1800.09/1800.12 v -x79 x78 -x77 -x76 -x75 -x74 -x73 -x72 -x71 -x70 -x69 x68 -x67 -x66 -x65 -x64 -x63 -x62 x61 -x60 -x59 -x58 -x57 -x56 -x55 x54
1800.09/1800.12 v -x53 -x52 -x51 -x50 -x49 -x48 -x47 -x46 -x45 -x44 -x43 x42 -x41 -x40 -x39 -x38 -x37 -x36 -x35 -x34 x33 -x32 -x31 -x30 -x29
1800.09/1800.12 v -x28 -x27 -x26 -x25 -x24 -x23 -x22 -x21 -x20 -x19 -x18 -x17 -x16 -x15 x14 -x13 -x12 -x11 -x10 x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2
1800.09/1800.12 v -x1
1800.09/1800.12 c SCIP Status : solving was interrupted [user interrupt]
1800.09/1800.12 c Solving Time : 1764.78
1800.09/1800.12 c Original Problem :
1800.09/1800.12 c Problem name : HOME/instance-2693586-1277912091.wbo
1800.09/1800.12 c Variables : 2043 (1137 binary, 0 integer, 0 implicit integer, 906 continuous)
1800.09/1800.12 c Constraints : 3614 initial, 3614 maximal
1800.09/1800.12 c Presolved Problem :
1800.09/1800.12 c Problem name : t_HOME/instance-2693586-1277912091.wbo
1800.09/1800.12 c Variables : 1933 (1082 binary, 0 integer, 0 implicit integer, 851 continuous)
1800.09/1800.12 c Constraints : 3444 initial, 43573 maximal
1800.09/1800.12 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.09/1800.12 c trivial : 0.00 55 0 0 0 0 0 0 0
1800.09/1800.12 c dualfix : 0.00 55 0 0 0 0 0 0 0
1800.09/1800.12 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.09/1800.12 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.09/1800.12 c implics : 0.00 0 0 0 0 0 0 0 0
1800.09/1800.12 c probing : 0.03 0 0 0 0 0 0 0 0
1800.09/1800.12 c indicator : 0.00 0 0 0 0 0 55 0 0
1800.09/1800.12 c setppc : 0.00 0 0 0 0 0 0 0 0
1800.09/1800.12 c linear : 0.03 0 0 0 906 0 115 55 0
1800.09/1800.12 c logicor : 0.03 0 0 0 0 0 0 0 0
1800.09/1800.12 c bounddisjunction : 0.00 0 0 0 0 0 0 0 0
1800.09/1800.12 c root node : - 790 - - 1580 - - - -
1800.09/1800.12 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.09/1800.12 c integral : 0 0 0 0 0 0 0 0 0 0
1800.09/1800.12 c indicator : 851 0 2722677 0 892943 17 558835 0 0 0
1800.09/1800.12 c setppc : 12 0 6097876 0 1602777 99940 3821349 0 0 0
1800.09/1800.12 c linear : 851 0 5998975 0 1602918 199970 25520948 0 0 0
1800.09/1800.12 c logicor : 1730+ 0 4581984 0 1602920 290354 11852370 0 0 0
1800.09/1800.12 c bounddisjunction : 0+ 0 16123 0 0 0 5 0 0 0
1800.09/1800.12 c countsols : 0 0 0 0 1602912 0 0 0 0 0
1800.09/1800.12 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.09/1800.12 c integral : 0.00 0.00 0.00 0.00 0.00
1800.09/1800.12 c indicator : 4.69 0.00 2.29 0.00 2.40
1800.09/1800.12 c setppc : 26.84 0.00 24.49 0.00 2.35
1800.09/1800.12 c linear : 146.73 0.00 143.06 0.00 3.67
1800.09/1800.12 c logicor : 742.67 0.00 668.23 0.00 74.44
1800.09/1800.12 c bounddisjunction : 0.05 0.00 0.05 0.00 0.00
1800.09/1800.12 c countsols : 0.32 0.00 0.00 0.00 0.32
1800.09/1800.12 c Propagators : Time Calls Cutoffs DomReds
1800.09/1800.12 c vbounds : 1.22 2 0 0
1800.09/1800.12 c rootredcost : 0.83 0 0 0
1800.09/1800.12 c pseudoobj : 104.81 6098935 193 547908
1800.09/1800.12 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.09/1800.12 c propagation : 29.88 590457 590283 3024853 22.5 92343 9.9 -
1800.09/1800.12 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.09/1800.12 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.09/1800.12 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.09/1800.12 c pseudo solution : 0.00 6 6 40 27.1 2 7.5 -
1800.09/1800.12 c applied globally : - - - 1798865 19.4 - - -
1800.09/1800.12 c applied locally : - - - 0 0.0 - - -
1800.09/1800.12 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.09/1800.12 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.09/1800.12 c redcost : 0.00 0 0 0 0 0
1800.09/1800.12 c impliedbounds : 0.00 0 0 0 0 0
1800.09/1800.12 c intobj : 0.00 0 0 0 0 0
1800.09/1800.12 c cgmip : 0.00 0 0 0 0 0
1800.09/1800.12 c gomory : 0.00 0 0 0 0 0
1800.09/1800.12 c strongcg : 0.00 0 0 0 0 0
1800.09/1800.12 c cmir : 0.00 0 0 0 0 0
1800.09/1800.12 c flowcover : 0.00 0 0 0 0 0
1800.09/1800.12 c clique : 0.00 0 0 0 0 0
1800.09/1800.12 c zerohalf : 0.00 0 0 0 0 0
1800.09/1800.12 c mcf : 0.00 0 0 0 0 0
1800.09/1800.12 c rapidlearning : 0.00 0 0 0 0 0
1800.09/1800.12 c Pricers : Time Calls Vars
1800.09/1800.12 c problem variables: 0.00 0 0
1800.09/1800.12 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.09/1800.12 c relpscost : 0.00 0 0 0 0 0 0
1800.09/1800.12 c pscost : 0.00 0 0 0 0 0 0
1800.09/1800.12 c inference : 22.70 1602904 0 0 0 0 3205808
1800.09/1800.12 c mostinf : 0.00 0 0 0 0 0 0
1800.09/1800.12 c leastinf : 0.00 0 0 0 0 0 0
1800.09/1800.12 c fullstrong : 0.00 0 0 0 0 0 0
1800.09/1800.12 c allfullstrong : 0.00 0 0 0 0 0 0
1800.09/1800.12 c random : 0.00 0 0 0 0 0 0
1800.09/1800.12 c Primal Heuristics : Time Calls Found
1800.09/1800.12 c LP solutions : 0.00 - 0
1800.09/1800.12 c pseudo solutions : 0.00 - 8
1800.09/1800.12 c oneopt : 0.65 0 0
1800.09/1800.12 c trivial : 0.00 2 0
1800.09/1800.12 c simplerounding : 0.00 0 0
1800.09/1800.12 c zirounding : 0.00 0 0
1800.09/1800.12 c rounding : 0.00 0 0
1800.09/1800.12 c shifting : 0.00 0 0
1800.09/1800.12 c intshifting : 0.00 0 0
1800.09/1800.12 c twoopt : 0.00 0 0
1800.09/1800.12 c fixandinfer : 0.00 0 0
1800.09/1800.12 c feaspump : 0.00 0 0
1800.09/1800.12 c coefdiving : 0.00 0 0
1800.09/1800.12 c pscostdiving : 0.00 0 0
1800.09/1800.12 c fracdiving : 0.00 0 0
1800.09/1800.12 c veclendiving : 0.00 0 0
1800.09/1800.12 c intdiving : 0.00 0 0
1800.09/1800.12 c actconsdiving : 0.00 0 0
1800.09/1800.12 c objpscostdiving : 0.00 0 0
1800.09/1800.12 c rootsoldiving : 0.00 0 0
1800.09/1800.12 c linesearchdiving : 0.00 0 0
1800.09/1800.12 c guideddiving : 0.00 0 0
1800.09/1800.12 c octane : 0.00 0 0
1800.09/1800.12 c rens : 0.00 0 0
1800.09/1800.12 c rins : 0.00 0 0
1800.09/1800.12 c localbranching : 0.00 0 0
1800.09/1800.12 c mutation : 0.00 0 0
1800.09/1800.12 c crossover : 0.00 0 0
1800.09/1800.12 c dins : 0.00 0 0
1800.09/1800.12 c undercover : 0.00 0 0
1800.09/1800.12 c nlp : 0.39 0 0
1800.09/1800.12 c trysol : 0.49 1 0
1800.09/1800.12 c LP : Time Calls Iterations Iter/call Iter/sec
1800.09/1800.12 c primal LP : 0.00 0 0 0.00 -
1800.09/1800.12 c dual LP : 0.00 0 0 0.00 -
1800.09/1800.12 c lex dual LP : 0.00 0 0 0.00 -
1800.09/1800.12 c barrier LP : 0.00 0 0 0.00 -
1800.09/1800.12 c diving/probing LP: 0.00 0 0 0.00 -
1800.09/1800.12 c strong branching : 0.00 0 0 0.00 -
1800.09/1800.12 c (at root node) : - 0 0 0.00 -
1800.09/1800.12 c conflict analysis: 0.00 0 0 0.00 -
1800.09/1800.12 c B&B Tree :
1800.09/1800.12 c number of runs : 1
1800.09/1800.12 c nodes : 1977627
1800.09/1800.12 c nodes (total) : 1977627
1800.09/1800.12 c nodes left : 952609
1800.09/1800.12 c max depth : 1044
1800.09/1800.12 c max depth (total): 1044
1800.09/1800.12 c backtracks : 371320 (18.8%)
1800.09/1800.12 c delayed cutoffs : 272396
1800.09/1800.12 c repropagations : 1253667 (12433427 domain reductions, 215765 cutoffs)
1800.09/1800.12 c avg switch length: 18.40
1800.09/1800.12 c switching time : 542.56
1800.09/1800.12 c Solution :
1800.09/1800.12 c Solutions found : 8 (8 improvements)
1800.09/1800.12 c First Solution : +3.84000000000000e+02 (in run 1, after 2770 nodes, 0.71 seconds, depth 201, found by <relaxation>)
1800.09/1800.12 c Primal Bound : +7.00000000000000e+00 (in run 1, after 27581 nodes, 8.51 seconds, depth 369, found by <relaxation>)
1800.09/1800.12 c Dual Bound : +0.00000000000000e+00
1800.09/1800.12 c Gap : infinite
1800.09/1800.12 c Root Dual Bound : +0.00000000000000e+00
1800.09/1800.12 c Root Iterations : 0