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-2694129-1277906798.wbo>
0.00/0.03 c original problem has 3945 variables (2088 bin, 0 int, 0 impl, 1857 cont) and 4565 constraints
0.00/0.03 c problem read
0.00/0.03 c presolving settings loaded
0.00/0.03 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.04/0.05 c presolving:
0.04/0.06 c (round 1) 0 del vars, 1 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 1983 impls, 5 clqs
0.04/0.09 c (round 2) 0 del vars, 62 del conss, 1857 chg bounds, 50 chg sides, 0 chg coeffs, 0 upgd conss, 1983 impls, 5 clqs
0.09/0.10 c (round 3) 50 del vars, 124 del conss, 1864 chg bounds, 62 chg sides, 0 chg coeffs, 0 upgd conss, 1983 impls, 5 clqs
0.09/0.11 c (round 4) 107 del vars, 131 del conss, 1864 chg bounds, 62 chg sides, 0 chg coeffs, 834 upgd conss, 1983 impls, 5 clqs
0.09/0.12 c (round 5) 114 del vars, 131 del conss, 1864 chg bounds, 62 chg sides, 0 chg coeffs, 834 upgd conss, 1983 impls, 5 clqs
0.09/0.16 c (0.1s) probing: 101/2031 (5.0%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.09/0.16 c (0.1s) probing aborted: 100/100 successive totally useless probings
0.09/0.17 c presolving (6 rounds):
0.09/0.17 c 114 deleted vars, 131 deleted constraints, 1864 tightened bounds, 0 added holes, 62 changed sides, 0 changed coefficients
0.09/0.17 c 1983 implications, 5 cliques
0.09/0.17 c presolved problem has 3831 variables (2031 bin, 0 int, 0 impl, 1800 cont) and 4434 constraints
0.09/0.17 c 1800 constraints of type <indicator>
0.09/0.17 c 5 constraints of type <setppc>
0.09/0.17 c 1800 constraints of type <linear>
0.09/0.17 c 829 constraints of type <logicor>
0.09/0.17 c transformed objective value is always integral (scale: 1)
0.09/0.17 c Presolving Time: 0.11
0.09/0.17 c - non default parameters ----------------------------------------------------------------------
0.09/0.17 c # SCIP version 1.2.1.2
0.09/0.17 c
0.09/0.17 c # frequency for displaying node information lines
0.09/0.17 c # [type: int, range: [-1,2147483647], default: 100]
0.09/0.17 c display/freq = 10000
0.09/0.17 c
0.09/0.17 c # maximal time in seconds to run
0.09/0.17 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.17 c limits/time = 1799.97
0.09/0.17 c
0.09/0.17 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.09/0.17 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.17 c limits/memory = 3420
0.09/0.17 c
0.09/0.17 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.09/0.17 c # [type: int, range: [-1,2147483647], default: 1]
0.09/0.17 c lp/solvefreq = -1
0.09/0.17 c
0.09/0.17 c # should presolving try to simplify inequalities
0.09/0.17 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.17 c constraints/linear/simplifyinequalities = TRUE
0.09/0.17 c
0.09/0.17 c # should presolving try to simplify knapsacks
0.09/0.17 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.17 c constraints/knapsack/simplifyinequalities = TRUE
0.09/0.17 c
0.09/0.17 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.09/0.17 c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.17 c separating/rapidlearning/freq = 0
0.09/0.17 c
0.09/0.17 c -----------------------------------------------------------------------------------------------
0.09/0.17 c start solving
0.09/0.17 c
0.09/0.17 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.09/0.17 c 0.1s| 1 | 2 | 0 | - | 12M| 0 | - |3831 |4434 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1.37/1.45 o 827
1.37/1.45 c * 1.3s| 4978 | 4522 | 0 | 0.0 | 16M|1949 | - |3831 |5262 | 0 | 0 | 0 |1131 | 0 | 0.000000e+00 | 8.270000e+02 | Inf
1.58/1.69 o 284
1.58/1.69 c * 1.5s| 5881 | 4726 | 0 | 0.0 | 17M|1949 | - |3831 |5195 | 0 | 0 | 0 |1160 | 0 | 0.000000e+00 | 2.840000e+02 | Inf
2.78/2.84 c 2.6s| 10000 | 8201 | 0 | 0.0 | 20M|1949 | - |3831 |5826 | 0 | 0 | 0 |3248 | 0 | 0.000000e+00 | 2.840000e+02 | Inf
6.38/6.42 c 6.1s| 20000 | 15670 | 0 | 0.0 | 30M|1949 | - |3831 |7103 | 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | 2.840000e+02 | Inf
10.28/10.35 o 265
10.28/10.35 c * 9.9s| 27806 | 20062 | 0 | 0.0 | 38M|1949 | - |3831 |8506 | 0 | 0 | 0 | 22k| 0 | 0.000000e+00 | 2.650000e+02 | Inf
10.58/10.65 o 250
10.58/10.65 c *10.2s| 28607 | 20726 | 0 | 0.0 | 39M|1949 | - |3831 |8104 | 0 | 0 | 0 | 22k| 0 | 0.000000e+00 | 2.500000e+02 | Inf
10.58/10.66 o 246
10.58/10.66 c *10.2s| 28619 | 20710 | 0 | 0.0 | 39M|1949 | - |3831 |8103 | 0 | 0 | 0 | 22k| 0 | 0.000000e+00 | 2.460000e+02 | Inf
10.78/10.83 o 227
10.78/10.83 c *10.3s| 29036 | 21070 | 0 | 0.0 | 39M|1949 | - |3831 |7961 | 0 | 0 | 0 | 22k| 0 | 0.000000e+00 | 2.270000e+02 | Inf
10.78/10.83 o 222
10.78/10.83 c *10.3s| 29037 | 21060 | 0 | 0.0 | 39M|1949 | - |3831 |7961 | 0 | 0 | 0 | 22k| 0 | 0.000000e+00 | 2.220000e+02 | Inf
10.89/10.99 o 191
10.89/10.99 c *10.5s| 29398 | 21275 | 0 | 0.0 | 39M|1949 | - |3831 |7852 | 0 | 0 | 0 | 22k| 0 | 0.000000e+00 | 1.910000e+02 | Inf
10.99/11.04 o 181
10.99/11.04 c *10.6s| 29513 | 21362 | 0 | 0.0 | 39M|1949 | - |3831 |7810 | 0 | 0 | 0 | 22k| 0 | 0.000000e+00 | 1.810000e+02 | Inf
10.99/11.04 o 147
10.99/11.04 c *10.6s| 29514 | 21179 | 0 | 0.0 | 39M|1949 | - |3831 |7810 | 0 | 0 | 0 | 22k| 0 | 0.000000e+00 | 1.470000e+02 | Inf
10.99/11.07 o 131
10.99/11.07 c *10.6s| 29586 | 21063 | 0 | 0.0 | 39M|1949 | - |3831 |7776 | 0 | 0 | 0 | 22k| 0 | 0.000000e+00 | 1.310000e+02 | Inf
11.08/11.19 o 128
11.08/11.19 c *10.7s| 29971 | 21374 | 0 | 0.0 | 39M|1949 | - |3831 |7693 | 0 | 0 | 0 | 22k| 0 | 0.000000e+00 | 1.280000e+02 | Inf
11.18/11.21 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
11.18/11.21 c 10.7s| 30000 | 21403 | 0 | 0.0 | 39M|1949 | - |3831 |7673 | 0 | 0 | 0 | 22k| 0 | 0.000000e+00 | 1.280000e+02 | Inf
11.18/11.29 o 120
11.18/11.29 c *10.8s| 30185 | 21473 | 0 | 0.0 | 40M|1949 | - |3831 |7656 | 0 | 0 | 0 | 22k| 0 | 0.000000e+00 | 1.200000e+02 | Inf
11.38/11.48 o 112
11.38/11.48 c *11.0s| 30616 | 21686 | 0 | 0.0 | 41M|1949 | - |3831 |7607 | 0 | 0 | 0 | 23k| 0 | 0.000000e+00 | 1.120000e+02 | Inf
11.38/11.49 o 104
11.38/11.49 c *11.0s| 30617 | 21608 | 0 | 0.0 | 40M|1949 | - |3831 |7607 | 0 | 0 | 0 | 23k| 0 | 0.000000e+00 | 1.040000e+02 | Inf
11.47/11.52 o 86
11.47/11.52 c *11.0s| 30689 | 21211 | 0 | 0.0 | 40M|1949 | - |3831 |7588 | 0 | 0 | 0 | 23k| 0 | 0.000000e+00 | 8.600000e+01 | Inf
11.47/11.52 o 81
11.47/11.52 c *11.0s| 30690 | 21076 | 0 | 0.0 | 40M|1949 | - |3831 |7588 | 0 | 0 | 0 | 23k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
11.57/11.69 o 70
11.57/11.69 c *11.2s| 31060 | 20930 | 0 | 0.0 | 40M|1949 | - |3831 |7630 | 0 | 0 | 0 | 23k| 0 | 0.000000e+00 | 7.000000e+01 | Inf
11.57/11.69 o 49
11.57/11.69 c *11.2s| 31061 | 20331 | 0 | 0.0 | 40M|1949 | - |3831 |7630 | 0 | 0 | 0 | 23k| 0 | 0.000000e+00 | 4.900000e+01 | Inf
11.68/11.73 o 36
11.68/11.73 c *11.2s| 31147 | 19711 | 0 | 0.0 | 40M|1949 | - |3831 |7635 | 0 | 0 | 0 | 23k| 0 | 0.000000e+00 | 3.600000e+01 | Inf
15.18/15.23 c 14.6s| 40000 | 27156 | 0 | 0.0 | 57M|1949 | - |3831 |6692 | 0 | 0 | 0 | 28k| 0 | 0.000000e+00 | 3.600000e+01 | Inf
18.59/18.61 c 17.9s| 50000 | 35238 | 0 | 0.0 | 68M|1949 | - |3831 |7413 | 0 | 0 | 0 | 34k| 0 | 0.000000e+00 | 3.600000e+01 | Inf
22.38/22.45 c 21.6s| 60000 | 42649 | 0 | 0.0 | 77M|1949 | - |3831 |8618 | 0 | 0 | 0 | 43k| 0 | 0.000000e+00 | 3.600000e+01 | Inf
26.68/26.73 c 25.8s| 70000 | 49601 | 0 | 0.0 | 87M|1949 | - |3831 |9284 | 0 | 0 | 0 | 53k| 0 | 0.000000e+00 | 3.600000e+01 | Inf
31.18/31.20 c 30.1s| 80000 | 56362 | 0 | 0.0 | 96M|1949 | - |3831 | 10k| 0 | 0 | 0 | 63k| 0 | 0.000000e+00 | 3.600000e+01 | Inf
36.08/36.15 c 34.9s| 90000 | 62721 | 0 | 0.0 | 105M|1949 | - |3831 | 10k| 0 | 0 | 0 | 74k| 0 | 0.000000e+00 | 3.600000e+01 | Inf
41.68/41.74 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
41.68/41.74 c 40.4s|100000 | 68493 | 0 | 0.0 | 116M|1949 | - |3831 | 11k| 0 | 0 | 0 | 87k| 0 | 0.000000e+00 | 3.600000e+01 | Inf
47.68/47.79 c 46.3s|110000 | 73892 | 0 | 0.0 | 126M|1949 | - |3831 | 13k| 0 | 0 | 0 | 102k| 0 | 0.000000e+00 | 3.600000e+01 | Inf
54.08/54.14 c 52.5s|120000 | 79178 | 0 | 0.0 | 135M|1949 | - |3831 | 13k| 0 | 0 | 0 | 117k| 0 | 0.000000e+00 | 3.600000e+01 | Inf
61.18/61.28 c 59.5s|130000 | 82680 | 0 | 0.0 | 144M|1949 | - |3831 | 13k| 0 | 0 | 0 | 135k| 0 | 0.000000e+00 | 3.600000e+01 | Inf
68.19/68.24 c 66.3s|140000 | 85281 | 0 | 0.0 | 147M|1949 | - |3831 |6305 | 0 | 0 | 0 | 148k| 0 | 0.000000e+00 | 3.600000e+01 | Inf
72.98/73.07 c 71.0s|150000 | 93251 | 0 | 0.0 | 159M|1949 | - |3831 |9159 | 0 | 0 | 0 | 156k| 0 | 0.000000e+00 | 3.600000e+01 | Inf
73.59/73.70 o 34
73.59/73.70 c *71.6s|150948 | 93762 | 0 | 0.0 | 160M|1949 | - |3831 |9684 | 0 | 0 | 0 | 157k| 0 | 0.000000e+00 | 3.400000e+01 | Inf
74.28/74.34 o 33
74.28/74.34 c *72.2s|151857 | 94320 | 0 | 0.0 | 161M|1949 | - |3831 | 10k| 0 | 0 | 0 | 158k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
75.79/75.89 o 32
75.79/75.89 c *73.7s|153745 | 95418 | 0 | 0.0 | 164M|1949 | - |3831 | 10k| 0 | 0 | 0 | 160k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
76.48/76.59 o 25
76.48/76.59 c *74.4s|154460 | 95234 | 0 | 0.0 | 162M|1949 | - |3831 | 10k| 0 | 0 | 0 | 161k| 0 | 0.000000e+00 | 2.500000e+01 | Inf
79.18/79.22 o 21
79.18/79.22 c *77.0s|156430 | 95162 | 0 | 0.0 | 165M|1949 | - |3831 | 11k| 0 | 0 | 0 | 166k| 0 | 0.000000e+00 | 2.100000e+01 | Inf
80.88/80.90 c 78.6s|160000 | 98190 | 0 | 0.0 | 170M|1949 | - |3831 | 10k| 0 | 0 | 0 | 167k| 0 | 0.000000e+00 | 2.100000e+01 | Inf
85.38/85.49 c 83.0s|170000 |106543 | 0 | 0.0 | 180M|1949 | - |3831 |6954 | 0 | 0 | 0 | 172k| 0 | 0.000000e+00 | 2.100000e+01 | Inf
89.98/90.01 c 87.4s|180000 |113995 | 0 | 0.0 | 189M|1949 | - |3831 |7251 | 0 | 0 | 0 | 177k| 0 | 0.000000e+00 | 2.100000e+01 | Inf
91.98/92.07 o 15
91.98/92.07 c *89.4s|183765 |115246 | 0 | 0.0 | 188M|1949 | - |3831 |7654 | 0 | 0 | 0 | 179k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
96.18/96.20 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
96.18/96.20 c 93.4s|190000 |118488 | 0 | 0.0 | 194M|1949 | - |3831 |6785 | 0 | 0 | 0 | 184k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
101.09/101.15 c 98.2s|200000 |125132 | 0 | 0.0 | 204M|1949 | - |3831 |8958 | 0 | 0 | 0 | 191k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
105.18/105.27 c 102s|210000 |132730 | 0 | 0.0 | 211M|1949 | - |3831 |8057 | 0 | 0 | 0 | 195k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
109.88/109.93 c 107s|220000 |139677 | 0 | 0.0 | 220M|1949 | - |3831 |7955 | 0 | 0 | 0 | 201k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
114.39/114.40 c 111s|230000 |146824 | 0 | 0.0 | 229M|1949 | - |3831 |7935 | 0 | 0 | 0 | 207k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
118.88/118.95 c 116s|240000 |153858 | 0 | 0.0 | 238M|1949 | - |3831 |8339 | 0 | 0 | 0 | 212k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
123.58/123.67 c 120s|250000 |160761 | 0 | 0.0 | 247M|1949 | - |3831 |8241 | 0 | 0 | 0 | 218k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
127.88/127.98 c 124s|260000 |167900 | 0 | 0.0 | 255M|1949 | - |3831 |8340 | 0 | 0 | 0 | 224k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
132.48/132.59 c 129s|270000 |174847 | 0 | 0.0 | 263M|1949 | - |3831 |8423 | 0 | 0 | 0 | 229k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
137.88/137.90 c 134s|280000 |181073 | 0 | 0.0 | 272M|1949 | - |3831 | 10k| 0 | 0 | 0 | 236k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
141.88/141.97 c 138s|290000 |189064 | 0 | 0.0 | 279M|1949 | - |3831 |4804 | 0 | 0 | 0 | 240k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
145.29/145.32 c 141s|300000 |197429 | 0 | 0.0 | 287M|1949 | - |3831 |5204 | 0 | 0 | 0 | 243k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
149.59/149.63 c 145s|310000 |204544 | 0 | 0.0 | 296M|1949 | - |3831 |6216 | 0 | 0 | 0 | 248k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
155.18/155.27 c 151s|320000 |210255 | 0 | 0.0 | 306M|1949 | - |3831 |7336 | 0 | 0 | 0 | 255k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
161.18/161.25 c 156s|330000 |215602 | 0 | 0.0 | 315M|1949 | - |3831 |8357 | 0 | 0 | 0 | 263k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
167.69/167.79 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
167.69/167.79 c 163s|340000 |220482 | 0 | 0.0 | 324M|1949 | - |3831 |8941 | 0 | 0 | 0 | 272k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
174.38/174.48 c 169s|350000 |225256 | 0 | 0.0 | 333M|1949 | - |3831 |9491 | 0 | 0 | 0 | 281k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
181.78/181.80 c 177s|360000 |229458 | 0 | 0.0 | 342M|1949 | - |3831 |9748 | 0 | 0 | 0 | 291k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
188.78/188.81 c 183s|370000 |233975 | 0 | 0.0 | 350M|1949 | - |3831 | 10k| 0 | 0 | 0 | 300k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
195.89/195.96 c 190s|380000 |238329 | 0 | 0.0 | 359M|1949 | - |3831 | 10k| 0 | 0 | 0 | 310k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
203.19/203.29 c 198s|390000 |242533 | 0 | 0.0 | 368M|1949 | - |3831 | 11k| 0 | 0 | 0 | 320k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
210.48/210.51 c 205s|400000 |246853 | 0 | 0.0 | 377M|1949 | - |3831 | 11k| 0 | 0 | 0 | 330k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
217.79/217.83 c 212s|410000 |251052 | 0 | 0.0 | 385M|1949 | - |3831 | 11k| 0 | 0 | 0 | 340k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
225.38/225.44 c 219s|420000 |255015 | 0 | 0.0 | 394M|1949 | - |3831 | 12k| 0 | 0 | 0 | 351k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
233.58/233.64 c 227s|430000 |258359 | 0 | 0.0 | 403M|1949 | - |3831 | 12k| 0 | 0 | 0 | 362k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
242.08/242.16 c 236s|440000 |261318 | 0 | 0.0 | 411M|1949 | - |3831 | 12k| 0 | 0 | 0 | 373k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
250.98/251.06 c 244s|450000 |264008 | 0 | 0.0 | 420M|1949 | - |3831 | 12k| 0 | 0 | 0 | 385k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
260.49/260.60 c 254s|460000 |266157 | 0 | 0.0 | 427M|1949 | - |3831 | 12k| 0 | 0 | 0 | 398k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
271.29/271.38 c 264s|470000 |267005 | 0 | 0.0 | 435M|1949 | - |3831 | 13k| 0 | 0 | 0 | 412k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
283.98/284.07 c 277s|480000 |265309 | 0 | 0.0 | 439M|1949 | - |3831 | 14k| 0 | 0 | 0 | 429k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
298.58/298.67 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
298.58/298.67 c 291s|490000 |260197 | 0 | 0.0 | 440M|1949 | - |3831 | 15k| 0 | 0 | 0 | 448k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
314.29/314.35 c 307s|500000 |255052 | 0 | 0.0 | 432M|1949 | - |3831 | 17k| 0 | 0 | 0 | 469k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
318.78/318.85 c 311s|510000 |263172 | 0 | 0.0 | 437M|1949 | - |3831 |5326 | 0 | 0 | 0 | 472k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
322.29/322.37 o 13
322.29/322.37 c * 314s|518735 |269789 | 0 | 0.0 | 443M|1949 | - |3831 |5708 | 0 | 0 | 0 | 476k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
322.29/322.37 o 8
322.29/322.37 c * 314s|518736 |268968 | 0 | 0.0 | 440M|1949 | - |3831 |5708 | 0 | 0 | 0 | 476k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
322.89/322.94 c 315s|520000 |269972 | 0 | 0.0 | 441M|1949 | - |3831 |5661 | 0 | 0 | 0 | 476k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
327.28/327.37 c 319s|530000 |277699 | 0 | 0.0 | 451M|1949 | - |3831 |4371 | 0 | 0 | 0 | 480k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
331.28/331.39 c 323s|540000 |285060 | 0 | 0.0 | 460M|1949 | - |3831 |4928 | 0 | 0 | 0 | 484k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
335.59/335.68 c 327s|550000 |292080 | 0 | 0.0 | 469M|1949 | - |3831 |5196 | 0 | 0 | 0 | 489k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
340.49/340.52 c 332s|560000 |298426 | 0 | 0.0 | 479M|1949 | - |3831 |5469 | 0 | 0 | 0 | 494k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
345.78/345.86 c 337s|570000 |304230 | 0 | 0.0 | 488M|1949 | - |3831 |5837 | 0 | 0 | 0 | 500k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
351.89/351.91 c 343s|580000 |309212 | 0 | 0.0 | 497M|1949 | - |3831 |6176 | 0 | 0 | 0 | 507k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
358.69/358.72 c 350s|590000 |313350 | 0 | 0.0 | 506M|1949 | - |3831 |6628 | 0 | 0 | 0 | 516k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
366.68/366.73 c 358s|600000 |316068 | 0 | 0.0 | 515M|1949 | - |3831 |7634 | 0 | 0 | 0 | 526k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
375.78/375.85 c 366s|610000 |317011 | 0 | 0.0 | 519M|1949 | - |3831 |5898 | 0 | 0 | 0 | 539k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
379.28/379.37 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
379.28/379.37 c 370s|620000 |325070 | 0 | 0.0 | 527M|1949 | - |3831 |4499 | 0 | 0 | 0 | 542k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
382.79/382.82 c 373s|630000 |333080 | 0 | 0.0 | 536M|1949 | - |3831 |4668 | 0 | 0 | 0 | 545k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
386.49/386.50 c 377s|640000 |340794 | 0 | 0.0 | 544M|1949 | - |3831 |4902 | 0 | 0 | 0 | 548k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
390.29/390.34 c 380s|650000 |348271 | 0 | 0.0 | 553M|1949 | - |3831 |5275 | 0 | 0 | 0 | 552k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
393.99/394.06 c 384s|660000 |355884 | 0 | 0.0 | 561M|1949 | - |3831 |5391 | 0 | 0 | 0 | 556k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
398.19/398.21 c 388s|670000 |363030 | 0 | 0.0 | 569M|1949 | - |3831 |5598 | 0 | 0 | 0 | 560k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
398.89/398.96 o 7
398.89/398.96 c * 389s|671712 |362846 | 0 | 0.0 | 567M|1949 | - |3831 |5639 | 0 | 0 | 0 | 561k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
403.09/403.12 c 393s|680000 |368267 | 0 | 0.0 | 575M|1949 | - |3831 |6070 | 0 | 0 | 0 | 566k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
407.78/407.89 c 397s|690000 |374965 | 0 | 0.0 | 584M|1949 | - |3831 |6280 | 0 | 0 | 0 | 571k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
413.19/413.25 c 403s|700000 |380957 | 0 | 0.0 | 594M|1949 | - |3831 |6772 | 0 | 0 | 0 | 577k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
418.59/418.66 c 408s|710000 |386923 | 0 | 0.0 | 603M|1949 | - |3831 |6672 | 0 | 0 | 0 | 583k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
424.39/424.47 c 414s|720000 |392389 | 0 | 0.0 | 613M|1949 | - |3831 |7259 | 0 | 0 | 0 | 590k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
430.88/430.93 c 420s|730000 |397219 | 0 | 0.0 | 622M|1949 | - |3831 |7936 | 0 | 0 | 0 | 598k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
438.08/438.13 c 427s|740000 |401324 | 0 | 0.0 | 631M|1949 | - |3831 |8456 | 0 | 0 | 0 | 608k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
445.99/446.02 c 435s|750000 |404804 | 0 | 0.0 | 640M|1949 | - |3831 |8595 | 0 | 0 | 0 | 618k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
454.59/454.66 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
454.59/454.66 c 443s|760000 |407481 | 0 | 0.0 | 648M|1949 | - |3831 |9191 | 0 | 0 | 0 | 629k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
465.09/465.12 c 453s|770000 |408167 | 0 | 0.0 | 650M|1949 | - |3831 |8011 | 0 | 0 | 0 | 644k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
468.60/468.65 c 457s|780000 |416090 | 0 | 0.0 | 657M|1949 | - |3831 |5562 | 0 | 0 | 0 | 647k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
472.19/472.27 c 460s|790000 |423749 | 0 | 0.0 | 664M|1949 | - |3831 |6166 | 0 | 0 | 0 | 650k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
475.99/476.04 c 464s|800000 |431180 | 0 | 0.0 | 672M|1949 | - |3831 |6744 | 0 | 0 | 0 | 654k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
480.09/480.15 c 468s|810000 |438267 | 0 | 0.0 | 680M|1949 | - |3831 |7198 | 0 | 0 | 0 | 659k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
484.79/484.85 c 472s|820000 |444805 | 0 | 0.0 | 687M|1949 | - |3831 |7704 | 0 | 0 | 0 | 664k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
490.69/490.73 c 478s|830000 |450064 | 0 | 0.0 | 695M|1949 | - |3831 |8813 | 0 | 0 | 0 | 672k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
498.19/498.22 c 485s|840000 |453783 | 0 | 0.0 | 703M|1949 | - |3831 | 10k| 0 | 0 | 0 | 682k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
504.58/504.66 c 492s|850000 |458913 | 0 | 0.0 | 707M|1949 | - |3831 |6031 | 0 | 0 | 0 | 690k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
508.20/508.26 c 495s|860000 |466636 | 0 | 0.0 | 715M|1949 | - |3831 |6261 | 0 | 0 | 0 | 693k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
512.19/512.27 c 499s|870000 |473862 | 0 | 0.0 | 723M|1949 | - |3831 |6869 | 0 | 0 | 0 | 698k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
517.19/517.26 c 504s|880000 |480151 | 0 | 0.0 | 731M|1949 | - |3831 |7622 | 0 | 0 | 0 | 704k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
522.79/522.82 c 509s|890000 |485849 | 0 | 0.0 | 740M|1949 | - |3831 |8476 | 0 | 0 | 0 | 710k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
529.38/529.44 c 516s|900000 |490504 | 0 | 0.0 | 749M|1949 | - |3831 |9375 | 0 | 0 | 0 | 719k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
537.79/537.81 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
537.79/537.81 c 524s|910000 |493417 | 0 | 0.0 | 756M|1949 | - |3831 | 11k| 0 | 0 | 0 | 730k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
542.89/542.94 c 529s|920000 |499906 | 0 | 0.0 | 761M|1949 | - |3831 |6325 | 0 | 0 | 0 | 735k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
546.79/546.87 c 533s|930000 |507414 | 0 | 0.0 | 769M|1949 | - |3831 |6629 | 0 | 0 | 0 | 739k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
551.09/551.15 c 537s|940000 |514516 | 0 | 0.0 | 777M|1949 | - |3831 |7246 | 0 | 0 | 0 | 744k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
555.69/555.74 c 541s|950000 |521216 | 0 | 0.0 | 785M|1949 | - |3831 |8017 | 0 | 0 | 0 | 749k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
560.78/560.89 c 546s|960000 |527379 | 0 | 0.0 | 793M|1949 | - |3831 |8781 | 0 | 0 | 0 | 755k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
567.39/567.44 c 553s|970000 |532163 | 0 | 0.0 | 801M|1949 | - |3831 | 10k| 0 | 0 | 0 | 764k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
575.09/575.19 c 560s|980000 |536156 | 0 | 0.0 | 806M|1949 | - |3831 |7192 | 0 | 0 | 0 | 774k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
579.20/579.28 c 564s|990000 |543371 | 0 | 0.0 | 813M|1949 | - |3831 |7130 | 0 | 0 | 0 | 779k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
583.49/583.57 c 568s| 1000k|550429 | 0 | 0.0 | 821M|1949 | - |3831 |7929 | 0 | 0 | 0 | 783k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
588.39/588.43 c 573s| 1010k|556938 | 0 | 0.0 | 829M|1949 | - |3831 |8777 | 0 | 0 | 0 | 788k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
594.19/594.22 c 579s| 1020k|562515 | 0 | 0.0 | 837M|1949 | - |3831 |9862 | 0 | 0 | 0 | 795k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
602.39/602.46 c 587s| 1030k|565766 | 0 | 0.0 | 845M|1949 | - |3831 | 11k| 0 | 0 | 0 | 806k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
608.20/608.23 c 592s| 1040k|571866 | 0 | 0.0 | 851M|1949 | - |3831 |7422 | 0 | 0 | 0 | 813k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
612.29/612.39 c 596s| 1050k|579256 | 0 | 0.0 | 859M|1949 | - |3831 |7829 | 0 | 0 | 0 | 817k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
616.89/616.91 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
616.89/616.91 c 601s| 1060k|586185 | 0 | 0.0 | 867M|1949 | - |3831 |8465 | 0 | 0 | 0 | 821k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
622.79/622.83 c 606s| 1070k|591712 | 0 | 0.0 | 876M|1949 | - |3831 |9648 | 0 | 0 | 0 | 828k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
629.10/629.17 c 613s| 1080k|596824 | 0 | 0.0 | 885M|1949 | - |3831 | 10k| 0 | 0 | 0 | 836k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
637.79/637.89 c 621s| 1090k|599631 | 0 | 0.0 | 891M|1949 | - |3831 | 13k| 0 | 0 | 0 | 848k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
641.79/641.89 c 625s| 1100k|607302 | 0 | 0.0 | 897M|1949 | - |3831 |7664 | 0 | 0 | 0 | 852k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
645.99/646.03 c 629s| 1110k|614559 | 0 | 0.0 | 904M|1949 | - |3831 |8135 | 0 | 0 | 0 | 856k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
650.39/650.48 c 633s| 1120k|621451 | 0 | 0.0 | 912M|1949 | - |3831 |8793 | 0 | 0 | 0 | 860k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
655.49/655.50 c 638s| 1130k|627768 | 0 | 0.0 | 920M|1949 | - |3831 |9811 | 0 | 0 | 0 | 866k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
662.39/662.42 c 645s| 1140k|632272 | 0 | 0.0 | 929M|1949 | - |3831 | 11k| 0 | 0 | 0 | 874k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
670.19/670.21 c 653s| 1150k|636271 | 0 | 0.0 | 934M|1949 | - |3831 |9094 | 0 | 0 | 0 | 884k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
674.00/674.07 c 656s| 1160k|643823 | 0 | 0.0 | 941M|1949 | - |3831 |8443 | 0 | 0 | 0 | 887k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
678.19/678.23 c 660s| 1170k|651058 | 0 | 0.0 | 949M|1949 | - |3831 |8829 | 0 | 0 | 0 | 891k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
682.69/682.70 c 665s| 1180k|658074 | 0 | 0.0 | 956M|1949 | - |3831 |9266 | 0 | 0 | 0 | 896k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
687.50/687.53 c 669s| 1190k|664676 | 0 | 0.0 | 964M|1949 | - |3831 |9794 | 0 | 0 | 0 | 900k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
693.49/693.56 c 675s| 1200k|670067 | 0 | 0.0 | 972M|1949 | - |3831 | 10k| 0 | 0 | 0 | 907k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
702.10/702.10 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
702.10/702.10 c 684s| 1210k|672988 | 0 | 0.0 | 980M|1949 | - |3831 | 13k| 0 | 0 | 0 | 918k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
707.40/707.46 c 689s| 1220k|679384 | 0 | 0.0 | 985M|1949 | - |3831 |9099 | 0 | 0 | 0 | 924k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
711.30/711.33 c 693s| 1230k|687003 | 0 | 0.0 | 993M|1949 | - |3831 |9460 | 0 | 0 | 0 | 928k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
715.89/715.99 c 697s| 1240k|693895 | 0 | 0.0 |1000M|1949 | - |3831 | 10k| 0 | 0 | 0 | 932k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
720.89/720.92 c 702s| 1250k|700538 | 0 | 0.0 |1008M|1949 | - |3831 | 10k| 0 | 0 | 0 | 937k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
726.29/726.33 c 707s| 1260k|706671 | 0 | 0.0 |1016M|1949 | - |3831 | 10k| 0 | 0 | 0 | 943k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
731.89/731.93 c 713s| 1270k|712644 | 0 | 0.0 |1023M|1949 | - |3831 | 11k| 0 | 0 | 0 | 949k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
737.80/737.81 c 719s| 1280k|718355 | 0 | 0.0 |1030M|1949 | - |3831 | 11k| 0 | 0 | 0 | 956k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
743.69/743.79 c 724s| 1290k|724125 | 0 | 0.0 |1037M|1949 | - |3831 | 12k| 0 | 0 | 0 | 962k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
750.29/750.37 c 731s| 1300k|729460 | 0 | 0.0 |1046M|1949 | - |3831 | 13k| 0 | 0 | 0 | 970k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
758.29/758.31 c 739s| 1310k|733663 | 0 | 0.0 |1054M|1949 | - |3831 | 15k| 0 | 0 | 0 | 979k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
765.10/765.10 c 745s| 1320k|739080 | 0 | 0.0 |1057M|1949 | - |3831 |4455 | 0 | 0 | 0 | 986k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
769.59/769.66 c 750s| 1330k|745911 | 0 | 0.0 |1066M|1949 | - |3831 |5921 | 0 | 0 | 0 | 991k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
774.29/774.40 c 754s| 1340k|752517 | 0 | 0.0 |1074M|1949 | - |3831 |4708 | 0 | 0 | 0 | 997k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
778.89/778.93 c 759s| 1350k|759171 | 0 | 0.0 |1082M|1949 | - |3831 |4473 | 0 | 0 | 0 |1002k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
783.20/783.30 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
783.20/783.30 c 763s| 1360k|765940 | 0 | 0.0 |1091M|1949 | - |3831 |4681 | 0 | 0 | 0 |1007k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
787.39/787.41 c 767s| 1370k|773110 | 0 | 0.0 |1099M|1949 | - |3831 |5113 | 0 | 0 | 0 |1012k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
791.79/791.84 c 771s| 1380k|779836 | 0 | 0.0 |1107M|1949 | - |3831 |5255 | 0 | 0 | 0 |1017k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
796.09/796.17 c 775s| 1390k|786636 | 0 | 0.0 |1115M|1949 | - |3831 |5265 | 0 | 0 | 0 |1022k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
800.30/800.32 c 779s| 1400k|793614 | 0 | 0.0 |1123M|1949 | - |3831 |6006 | 0 | 0 | 0 |1027k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
803.49/803.59 c 783s| 1410k|801811 | 0 | 0.0 |1131M|1949 | - |3831 |4837 | 0 | 0 | 0 |1030k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
806.90/806.98 c 786s| 1420k|809740 | 0 | 0.0 |1139M|1949 | - |3831 |5086 | 0 | 0 | 0 |1033k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
810.50/810.57 c 789s| 1430k|817282 | 0 | 0.0 |1147M|1949 | - |3831 |5892 | 0 | 0 | 0 |1037k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
814.80/814.87 c 793s| 1440k|824034 | 0 | 0.0 |1155M|1949 | - |3831 |7567 | 0 | 0 | 0 |1043k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
818.70/818.77 c 797s| 1450k|831490 | 0 | 0.0 |1161M|1949 | - |3831 |5248 | 0 | 0 | 0 |1047k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
822.09/822.18 c 801s| 1460k|839371 | 0 | 0.0 |1169M|1949 | - |3831 |5894 | 0 | 0 | 0 |1051k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
826.10/826.16 c 804s| 1470k|846414 | 0 | 0.0 |1177M|1949 | - |3831 |7223 | 0 | 0 | 0 |1056k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
830.20/830.24 c 808s| 1480k|853590 | 0 | 0.0 |1184M|1949 | - |3831 |5927 | 0 | 0 | 0 |1060k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
834.19/834.27 c 812s| 1490k|860688 | 0 | 0.0 |1192M|1949 | - |3831 |5910 | 0 | 0 | 0 |1065k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
838.10/838.17 c 816s| 1500k|867837 | 0 | 0.0 |1199M|1949 | - |3831 |5747 | 0 | 0 | 0 |1069k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
841.80/841.84 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
841.80/841.84 c 820s| 1510k|875413 | 0 | 0.0 |1207M|1949 | - |3831 |6039 | 0 | 0 | 0 |1073k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
845.60/845.67 c 823s| 1520k|882622 | 0 | 0.0 |1215M|1949 | - |3831 |7052 | 0 | 0 | 0 |1078k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
849.30/849.35 c 827s| 1530k|890225 | 0 | 0.0 |1222M|1949 | - |3831 |6071 | 0 | 0 | 0 |1082k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
853.19/853.27 c 831s| 1540k|897462 | 0 | 0.0 |1230M|1949 | - |3831 |7713 | 0 | 0 | 0 |1086k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
857.19/857.28 c 835s| 1550k|904688 | 0 | 0.0 |1237M|1949 | - |3831 |6758 | 0 | 0 | 0 |1091k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
861.09/861.10 c 838s| 1560k|912008 | 0 | 0.0 |1244M|1949 | - |3831 |6691 | 0 | 0 | 0 |1095k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
864.80/864.88 c 842s| 1570k|919491 | 0 | 0.0 |1251M|1949 | - |3831 |3911 | 0 | 0 | 0 |1099k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
868.20/868.26 c 845s| 1580k|927529 | 0 | 0.0 |1259M|1949 | - |3831 |3832 | 0 | 0 | 0 |1102k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
872.40/872.42 c 849s| 1590k|934363 | 0 | 0.0 |1268M|1949 | - |3831 |5314 | 0 | 0 | 0 |1107k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
880.49/880.58 c 857s| 1600k|936880 | 0 | 0.0 |1276M|1949 | - |3831 |9309 | 0 | 0 | 0 |1117k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
890.49/890.51 c 867s| 1610k|938953 | 0 | 0.0 |1284M|1949 | - |3831 | 11k| 0 | 0 | 0 |1128k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
901.50/901.51 c 878s| 1620k|940636 | 0 | 0.0 |1292M|1949 | - |3831 | 12k| 0 | 0 | 0 |1140k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
912.29/912.38 c 888s| 1630k|942565 | 0 | 0.0 |1299M|1949 | - |3831 | 13k| 0 | 0 | 0 |1151k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
923.80/923.89 c 900s| 1640k|944093 | 0 | 0.0 |1306M|1949 | - |3831 | 14k| 0 | 0 | 0 |1163k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
935.49/935.57 c 911s| 1650k|945605 | 0 | 0.0 |1313M|1949 | - |3831 | 14k| 0 | 0 | 0 |1176k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
947.10/947.18 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
947.10/947.18 c 923s| 1660k|947061 | 0 | 0.0 |1319M|1949 | - |3831 | 14k| 0 | 0 | 0 |1188k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
959.30/959.34 c 935s| 1670k|948160 | 0 | 0.0 |1325M|1949 | - |3831 | 14k| 0 | 0 | 0 |1201k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
972.09/972.13 c 947s| 1680k|948761 | 0 | 0.0 |1331M|1949 | - |3831 | 15k| 0 | 0 | 0 |1214k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
985.20/985.23 c 960s| 1690k|949351 | 0 | 0.0 |1336M|1949 | - |3831 | 15k| 0 | 0 | 0 |1228k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
999.10/999.15 c 974s| 1700k|949276 | 0 | 0.0 |1341M|1949 | - |3831 | 15k| 0 | 0 | 0 |1242k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1013.40/1013.47 c 988s| 1710k|949260 | 0 | 0.0 |1346M|1949 | - |3831 | 15k| 0 | 0 | 0 |1257k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1028.20/1028.22 c 1003s| 1720k|948731 | 0 | 0.0 |1351M|1949 | - |3831 | 15k| 0 | 0 | 0 |1271k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1043.30/1043.37 c 1018s| 1730k|948271 | 0 | 0.0 |1357M|1949 | - |3831 | 16k| 0 | 0 | 0 |1286k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1059.70/1059.72 c 1034s| 1740k|947156 | 0 | 0.0 |1362M|1949 | - |3831 | 17k| 0 | 0 | 0 |1302k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1076.81/1076.81 c 1051s| 1750k|945458 | 0 | 0.0 |1364M|1949 | - |3831 | 18k| 0 | 0 | 0 |1318k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1095.00/1095.01 c 1069s| 1760k|943092 | 0 | 0.0 |1363M|1949 | - |3831 | 18k| 0 | 0 | 0 |1336k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1113.90/1113.95 c 1088s| 1770k|940516 | 0 | 0.0 |1362M|1949 | - |3831 | 19k| 0 | 0 | 0 |1353k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1134.11/1134.15 c 1108s| 1780k|937104 | 0 | 0.0 |1360M|1949 | - |3831 | 19k| 0 | 0 | 0 |1373k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1154.91/1154.97 c 1128s| 1790k|932652 | 0 | 0.0 |1352M|1949 | - |3831 | 19k| 0 | 0 | 0 |1394k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1177.30/1177.30 c 1150s| 1800k|926056 | 0 | 0.0 |1336M|1949 | - |3831 | 20k| 0 | 0 | 0 |1419k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1186.70/1186.72 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1186.70/1186.72 c 1160s| 1810k|930578 | 0 | 0.0 |1335M|1949 | - |3831 |9031 | 0 | 0 | 0 |1427k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1191.90/1191.95 c 1165s| 1820k|937572 | 0 | 0.0 |1344M|1949 | - |3831 |6886 | 0 | 0 | 0 |1432k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1197.30/1197.30 c 1170s| 1830k|944181 | 0 | 0.0 |1353M|1949 | - |3831 |6173 | 0 | 0 | 0 |1438k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1202.50/1202.59 c 1175s| 1840k|950837 | 0 | 0.0 |1363M|1949 | - |3831 |6531 | 0 | 0 | 0 |1443k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1207.81/1207.84 c 1180s| 1850k|957402 | 0 | 0.0 |1372M|1949 | - |3831 |6862 | 0 | 0 | 0 |1449k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1213.10/1213.18 c 1185s| 1860k|963836 | 0 | 0.0 |1381M|1949 | - |3831 |7113 | 0 | 0 | 0 |1455k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1216.31/1216.35 o 6
1216.31/1216.35 c *1188s| 1865k|961861 | 0 | 0.0 |1374M|1949 | - |3831 |6999 | 0 | 0 | 0 |1458k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1218.91/1218.90 c 1191s| 1870k|964216 | 0 | 0.0 |1379M|1949 | - |3831 |7316 | 0 | 0 | 0 |1461k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1224.91/1224.93 c 1197s| 1880k|970375 | 0 | 0.0 |1390M|1949 | - |3831 |7877 | 0 | 0 | 0 |1468k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1230.50/1230.59 c 1202s| 1890k|976752 | 0 | 0.0 |1400M|1949 | - |3831 |7692 | 0 | 0 | 0 |1474k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1236.50/1236.58 c 1208s| 1900k|982798 | 0 | 0.0 |1411M|1949 | - |3831 |7824 | 0 | 0 | 0 |1480k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1242.91/1242.91 c 1214s| 1910k|988595 | 0 | 0.0 |1422M|1949 | - |3831 |8653 | 0 | 0 | 0 |1487k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1248.80/1248.83 c 1220s| 1920k|994681 | 0 | 0.0 |1432M|1949 | - |3831 |8975 | 0 | 0 | 0 |1494k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1255.30/1255.34 c 1226s| 1930k| 1000k| 0 | 0.0 |1442M|1949 | - |3831 |8768 | 0 | 0 | 0 |1501k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1262.51/1262.59 c 1233s| 1940k| 1005k| 0 | 0.0 |1454M|1949 | - |3831 |9771 | 0 | 0 | 0 |1508k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1269.11/1269.12 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1269.11/1269.12 c 1240s| 1950k| 1011k| 0 | 0.0 |1464M|1949 | - |3831 |9951 | 0 | 0 | 0 |1515k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1276.61/1276.68 c 1247s| 1960k| 1016k| 0 | 0.0 |1474M|1949 | - |3831 | 10k| 0 | 0 | 0 |1523k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1284.40/1284.43 c 1255s| 1970k| 1021k| 0 | 0.0 |1486M|1949 | - |3831 | 11k| 0 | 0 | 0 |1530k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1292.11/1292.10 c 1262s| 1980k| 1025k| 0 | 0.0 |1496M|1949 | - |3831 | 11k| 0 | 0 | 0 |1538k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1300.80/1300.88 c 1271s| 1990k| 1030k| 0 | 0.0 |1507M|1949 | - |3831 | 11k| 0 | 0 | 0 |1547k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1309.01/1309.04 c 1279s| 2000k| 1034k| 0 | 0.0 |1519M|1949 | - |3831 | 11k| 0 | 0 | 0 |1555k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1318.21/1318.26 c 1288s| 2010k| 1038k| 0 | 0.0 |1529M|1949 | - |3831 | 11k| 0 | 0 | 0 |1565k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1327.50/1327.56 c 1297s| 2020k| 1042k| 0 | 0.0 |1540M|1949 | - |3831 | 11k| 0 | 0 | 0 |1574k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1336.81/1336.86 c 1306s| 2030k| 1046k| 0 | 0.0 |1551M|1949 | - |3831 | 12k| 0 | 0 | 0 |1584k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1347.30/1347.33 c 1316s| 2040k| 1049k| 0 | 0.0 |1562M|1949 | - |3831 | 12k| 0 | 0 | 0 |1594k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1358.42/1358.44 c 1327s| 2050k| 1052k| 0 | 0.0 |1572M|1949 | - |3831 | 12k| 0 | 0 | 0 |1605k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1369.52/1369.55 c 1338s| 2060k| 1054k| 0 | 0.0 |1582M|1949 | - |3831 | 12k| 0 | 0 | 0 |1616k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1380.61/1380.69 c 1349s| 2070k| 1057k| 0 | 0.0 |1594M|1949 | - |3831 | 13k| 0 | 0 | 0 |1627k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1392.71/1392.70 c 1361s| 2080k| 1059k| 0 | 0.0 |1603M|1949 | - |3831 | 12k| 0 | 0 | 0 |1640k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1404.61/1404.68 c 1372s| 2090k| 1061k| 0 | 0.0 |1612M|1949 | - |3831 | 12k| 0 | 0 | 0 |1652k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1417.31/1417.37 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1417.31/1417.37 c 1385s| 2100k| 1063k| 0 | 0.0 |1622M|1949 | - |3831 | 13k| 0 | 0 | 0 |1664k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1430.81/1430.89 c 1398s| 2110k| 1063k| 0 | 0.0 |1628M|1949 | - |3831 | 13k| 0 | 0 | 0 |1678k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1444.61/1444.62 c 1412s| 2120k| 1065k| 0 | 0.0 |1637M|1949 | - |3831 | 13k| 0 | 0 | 0 |1692k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1459.11/1459.12 c 1426s| 2130k| 1065k| 0 | 0.0 |1644M|1949 | - |3831 | 14k| 0 | 0 | 0 |1707k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1474.41/1474.48 c 1441s| 2140k| 1065k| 0 | 0.0 |1651M|1949 | - |3831 | 15k| 0 | 0 | 0 |1722k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1491.71/1491.74 c 1458s| 2150k| 1064k| 0 | 0.0 |1655M|1949 | - |3831 | 17k| 0 | 0 | 0 |1739k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1506.01/1506.01 c 1472s| 2160k| 1066k| 0 | 0.0 |1655M|1949 | - |3831 | 14k| 0 | 0 | 0 |1753k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1512.11/1512.19 c 1478s| 2170k| 1073k| 0 | 0.0 |1664M|1949 | - |3831 | 11k| 0 | 0 | 0 |1758k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1518.21/1518.22 c 1484s| 2180k| 1080k| 0 | 0.0 |1674M|1949 | - |3831 | 10k| 0 | 0 | 0 |1763k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1524.01/1524.02 c 1490s| 2190k| 1086k| 0 | 0.0 |1684M|1949 | - |3831 | 10k| 0 | 0 | 0 |1769k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1530.02/1530.03 c 1496s| 2200k| 1093k| 0 | 0.0 |1694M|1949 | - |3831 | 10k| 0 | 0 | 0 |1774k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1536.01/1536.09 c 1502s| 2210k| 1100k| 0 | 0.0 |1704M|1949 | - |3831 | 10k| 0 | 0 | 0 |1780k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1541.91/1541.96 c 1507s| 2220k| 1107k| 0 | 0.0 |1714M|1949 | - |3831 | 10k| 0 | 0 | 0 |1785k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1548.01/1548.08 c 1513s| 2230k| 1113k| 0 | 0.0 |1724M|1949 | - |3831 | 11k| 0 | 0 | 0 |1791k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1554.71/1554.72 c 1520s| 2240k| 1119k| 0 | 0.0 |1735M|1949 | - |3831 | 10k| 0 | 0 | 0 |1798k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1560.51/1560.54 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1560.51/1560.54 c 1525s| 2250k| 1126k| 0 | 0.0 |1744M|1949 | - |3831 | 10k| 0 | 0 | 0 |1803k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1567.01/1567.07 c 1532s| 2260k| 1132k| 0 | 0.0 |1754M|1949 | - |3831 | 10k| 0 | 0 | 0 |1810k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1573.11/1573.15 c 1538s| 2270k| 1138k| 0 | 0.0 |1764M|1949 | - |3831 | 10k| 0 | 0 | 0 |1816k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1579.92/1579.94 c 1544s| 2280k| 1144k| 0 | 0.0 |1774M|1949 | - |3831 | 10k| 0 | 0 | 0 |1823k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1586.01/1586.08 c 1550s| 2290k| 1151k| 0 | 0.0 |1784M|1949 | - |3831 | 10k| 0 | 0 | 0 |1829k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1593.21/1593.26 c 1557s| 2300k| 1156k| 0 | 0.0 |1794M|1949 | - |3831 | 11k| 0 | 0 | 0 |1837k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1599.32/1599.40 c 1563s| 2310k| 1163k| 0 | 0.0 |1804M|1949 | - |3831 | 11k| 0 | 0 | 0 |1843k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1606.81/1606.84 c 1570s| 2320k| 1168k| 0 | 0.0 |1813M|1949 | - |3831 | 11k| 0 | 0 | 0 |1850k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1613.62/1613.69 c 1577s| 2330k| 1174k| 0 | 0.0 |1820M|1949 | - |3831 |4947 | 0 | 0 | 0 |1857k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1619.82/1619.86 c 1583s| 2340k| 1179k| 0 | 0.0 |1828M|1949 | - |3831 |5186 | 0 | 0 | 0 |1864k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1627.22/1627.26 c 1590s| 2350k| 1184k| 0 | 0.0 |1837M|1949 | - |3831 |6907 | 0 | 0 | 0 |1872k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1633.91/1633.90 c 1597s| 2360k| 1189k| 0 | 0.0 |1845M|1949 | - |3831 |6647 | 0 | 0 | 0 |1880k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1640.91/1640.92 c 1604s| 2370k| 1193k| 0 | 0.0 |1853M|1949 | - |3831 |8054 | 0 | 0 | 0 |1889k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1647.21/1647.25 c 1610s| 2380k| 1198k| 0 | 0.0 |1861M|1949 | - |3831 |8001 | 0 | 0 | 0 |1896k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1654.62/1654.61 c 1617s| 2390k| 1202k| 0 | 0.0 |1868M|1949 | - |3831 |8837 | 0 | 0 | 0 |1905k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1661.51/1661.56 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1661.51/1661.56 c 1624s| 2400k| 1207k| 0 | 0.0 |1877M|1949 | - |3831 |8360 | 0 | 0 | 0 |1913k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1669.31/1669.36 c 1631s| 2410k| 1211k| 0 | 0.0 |1884M|1949 | - |3831 |8531 | 0 | 0 | 0 |1922k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1676.42/1676.45 c 1638s| 2420k| 1216k| 0 | 0.0 |1892M|1949 | - |3831 |8653 | 0 | 0 | 0 |1931k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1683.62/1683.67 c 1645s| 2430k| 1220k| 0 | 0.0 |1899M|1949 | - |3831 |7365 | 0 | 0 | 0 |1939k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1691.41/1691.43 c 1653s| 2440k| 1224k| 0 | 0.0 |1907M|1949 | - |3831 |8943 | 0 | 0 | 0 |1949k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1698.42/1698.41 c 1660s| 2450k| 1228k| 0 | 0.0 |1915M|1949 | - |3831 |9092 | 0 | 0 | 0 |1958k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1706.72/1706.70 c 1668s| 2460k| 1232k| 0 | 0.0 |1921M|1949 | - |3831 |9344 | 0 | 0 | 0 |1968k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1713.82/1713.87 c 1675s| 2470k| 1236k| 0 | 0.0 |1929M|1949 | - |3831 |9133 | 0 | 0 | 0 |1977k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1722.21/1722.25 c 1683s| 2480k| 1240k| 0 | 0.0 |1935M|1949 | - |3831 |9211 | 0 | 0 | 0 |1987k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1730.11/1730.11 c 1691s| 2490k| 1244k| 0 | 0.0 |1943M|1949 | - |3831 |9373 | 0 | 0 | 0 |1996k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1737.72/1737.72 c 1698s| 2500k| 1248k| 0 | 0.0 |1948M|1949 | - |3831 |8017 | 0 | 0 | 0 |2005k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1745.41/1745.47 c 1706s| 2510k| 1252k| 0 | 0.0 |1956M|1949 | - |3831 |9232 | 0 | 0 | 0 |2015k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1753.12/1753.14 c 1714s| 2520k| 1256k| 0 | 0.0 |1963M|1949 | - |3831 |8963 | 0 | 0 | 0 |2024k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1762.12/1762.17 c 1722s| 2530k| 1258k| 0 | 0.0 |1968M|1949 | - |3831 |9460 | 0 | 0 | 0 |2036k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1770.92/1770.97 c 1731s| 2540k| 1262k| 0 | 0.0 |1975M|1949 | - |3831 |8462 | 0 | 0 | 0 |2046k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1780.71/1780.72 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1780.71/1780.72 c 1741s| 2550k| 1264k| 0 | 0.0 |1981M|1949 | - |3831 | 10k| 0 | 0 | 0 |2059k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1790.51/1790.58 c 1750s| 2560k| 1266k| 0 | 0.0 |1985M|1949 | - |3831 |9657 | 0 | 0 | 0 |2071k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1800.02/1800.00 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.02/1800.00 c
1800.02/1800.00 c SCIP Status : solving was interrupted [user interrupt]
1800.02/1800.00 c Solving Time (sec) : 1759.55
1800.02/1800.00 c Solving Nodes : 2569859
1800.02/1800.00 c Primal Bound : +6.00000000000000e+00 (30 solutions)
1800.02/1800.00 c Dual Bound : +0.00000000000000e+00
1800.02/1800.00 c Gap : infinite
1800.02/1800.03 s SATISFIABLE
1800.02/1800.03 v -x231 -x230 -x229 -x228 -x227 x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216 -x215 -x214 -x213 -x212 -x211 x210
1800.02/1800.03 v -x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 x192 x191 -x190 -x189
1800.02/1800.03 v -x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178 -x177 -x176 x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168
1800.02/1800.03 v -x167 -x166 -x165 -x164 x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 x154 -x153 -x152 -x151 -x150 -x149 x148 -x147
1800.02/1800.03 v -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 x129 -x128 -x127 -x126
1800.02/1800.03 v -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105
1800.02/1800.03 v -x104 -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.02/1800.03 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
1800.02/1800.03 v -x54 -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.02/1800.03 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.02/1800.03 v -x1
1800.02/1800.03 c SCIP Status : solving was interrupted [user interrupt]
1800.02/1800.03 c Solving Time : 1759.55
1800.02/1800.03 c Original Problem :
1800.02/1800.03 c Problem name : HOME/instance-2694129-1277906798.wbo
1800.02/1800.03 c Variables : 3945 (2088 binary, 0 integer, 0 implicit integer, 1857 continuous)
1800.02/1800.03 c Constraints : 4565 initial, 4565 maximal
1800.02/1800.03 c Presolved Problem :
1800.02/1800.03 c Problem name : t_HOME/instance-2694129-1277906798.wbo
1800.02/1800.03 c Variables : 3831 (2031 binary, 0 integer, 0 implicit integer, 1800 continuous)
1800.02/1800.03 c Constraints : 4434 initial, 21640 maximal
1800.02/1800.03 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.02/1800.03 c trivial : 0.00 57 0 0 0 0 0 0 0
1800.02/1800.03 c dualfix : 0.00 57 0 0 0 0 0 0 0
1800.02/1800.03 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.03 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.03 c implics : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.03 c probing : 0.04 0 0 0 0 0 0 0 0
1800.02/1800.03 c indicator : 0.00 0 0 0 0 0 57 0 0
1800.02/1800.03 c setppc : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.03 c linear : 0.05 0 0 0 1864 0 74 62 0
1800.02/1800.03 c logicor : 0.01 0 0 0 0 0 0 0 0
1800.02/1800.03 c bounddisjunction : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.03 c root node : - 1691 - - 3382 - - - -
1800.02/1800.03 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.02/1800.03 c integral : 0 0 0 0 0 0 0 0 0 0
1800.02/1800.03 c indicator : 1800 0 6202326 0 1697978 133 2349293 0 0 0
1800.02/1800.03 c setppc : 5 0 8057698 0 2023317 27257 2186733 0 0 0
1800.02/1800.03 c linear : 1800 0 8436899 0 2102286 391521 43147430 0 0 0
1800.02/1800.03 c logicor : 829+ 0 5238198 0 2102304 321117 8334428 0 0 0
1800.02/1800.03 c bounddisjunction : 0+ 0 551481 0 0 0 183 0 0 0
1800.02/1800.03 c countsols : 0 0 0 0 2102301 0 0 0 0 0
1800.02/1800.03 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.02/1800.03 c integral : 0.00 0.00 0.00 0.00 0.00
1800.02/1800.03 c indicator : 15.08 0.00 8.50 0.00 6.58
1800.02/1800.03 c setppc : 14.11 0.00 12.35 0.00 1.76
1800.02/1800.03 c linear : 337.31 0.00 334.41 0.00 2.90
1800.02/1800.03 c logicor : 393.00 0.00 336.29 0.00 56.71
1800.02/1800.03 c bounddisjunction : 2.74 0.00 2.74 0.00 0.00
1800.02/1800.03 c countsols : 0.47 0.00 0.00 0.00 0.47
1800.02/1800.03 c Propagators : Time Calls Cutoffs DomReds
1800.02/1800.03 c vbounds : 1.74 2 0 0
1800.02/1800.03 c rootredcost : 1.54 0 0 0
1800.02/1800.03 c pseudoobj : 294.44 8465919 1743 2318748
1800.02/1800.03 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.02/1800.03 c propagation : 34.27 741638 741541 3534304 20.5 107264 8.9 -
1800.02/1800.03 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.02/1800.03 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.02/1800.03 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.02/1800.03 c pseudo solution : 0.00 77 77 340 20.0 92 9.6 -
1800.02/1800.03 c applied globally : - - - 2083277 18.3 - - -
1800.02/1800.03 c applied locally : - - - 7 226.6 - - -
1800.02/1800.03 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.02/1800.03 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.02/1800.03 c redcost : 0.00 0 0 0 0 0
1800.02/1800.03 c impliedbounds : 0.00 0 0 0 0 0
1800.02/1800.03 c intobj : 0.00 0 0 0 0 0
1800.02/1800.03 c cgmip : 0.00 0 0 0 0 0
1800.02/1800.03 c gomory : 0.00 0 0 0 0 0
1800.02/1800.03 c strongcg : 0.00 0 0 0 0 0
1800.02/1800.03 c cmir : 0.00 0 0 0 0 0
1800.02/1800.03 c flowcover : 0.00 0 0 0 0 0
1800.02/1800.03 c clique : 0.00 0 0 0 0 0
1800.02/1800.03 c zerohalf : 0.00 0 0 0 0 0
1800.02/1800.03 c mcf : 0.00 0 0 0 0 0
1800.02/1800.03 c rapidlearning : 0.00 0 0 0 0 0
1800.02/1800.03 c Pricers : Time Calls Vars
1800.02/1800.03 c problem variables: 0.00 0 0
1800.02/1800.03 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.02/1800.03 c relpscost : 0.00 0 0 0 0 0 0
1800.02/1800.03 c pscost : 0.00 0 0 0 0 0 0
1800.02/1800.03 c inference : 36.44 2102271 0 0 0 0 4204542
1800.02/1800.03 c mostinf : 0.00 0 0 0 0 0 0
1800.02/1800.03 c leastinf : 0.00 0 0 0 0 0 0
1800.02/1800.03 c fullstrong : 0.00 0 0 0 0 0 0
1800.02/1800.03 c allfullstrong : 0.00 0 0 0 0 0 0
1800.02/1800.03 c random : 0.00 0 0 0 0 0 0
1800.02/1800.03 c Primal Heuristics : Time Calls Found
1800.02/1800.03 c LP solutions : 0.00 - 0
1800.02/1800.03 c pseudo solutions : 0.12 - 30
1800.02/1800.03 c oneopt : 0.75 0 0
1800.02/1800.03 c trivial : 0.00 2 0
1800.02/1800.03 c simplerounding : 0.00 0 0
1800.02/1800.03 c zirounding : 0.00 0 0
1800.02/1800.03 c rounding : 0.00 0 0
1800.02/1800.03 c shifting : 0.00 0 0
1800.02/1800.03 c intshifting : 0.00 0 0
1800.02/1800.03 c twoopt : 0.00 0 0
1800.02/1800.03 c fixandinfer : 0.00 0 0
1800.02/1800.03 c feaspump : 0.00 0 0
1800.02/1800.03 c coefdiving : 0.00 0 0
1800.02/1800.03 c pscostdiving : 0.00 0 0
1800.02/1800.03 c fracdiving : 0.00 0 0
1800.02/1800.03 c veclendiving : 0.00 0 0
1800.02/1800.03 c intdiving : 0.00 0 0
1800.02/1800.03 c actconsdiving : 0.00 0 0
1800.02/1800.03 c objpscostdiving : 0.00 0 0
1800.02/1800.03 c rootsoldiving : 0.00 0 0
1800.02/1800.03 c linesearchdiving : 0.00 0 0
1800.02/1800.03 c guideddiving : 0.00 0 0
1800.02/1800.03 c octane : 0.00 0 0
1800.02/1800.03 c rens : 0.00 0 0
1800.02/1800.03 c rins : 0.00 0 0
1800.02/1800.03 c localbranching : 0.00 0 0
1800.02/1800.03 c mutation : 0.00 0 0
1800.02/1800.03 c crossover : 0.00 0 0
1800.02/1800.03 c dins : 0.00 0 0
1800.02/1800.03 c undercover : 0.00 0 0
1800.02/1800.03 c nlp : 0.47 0 0
1800.02/1800.03 c trysol : 0.54 1 0
1800.02/1800.03 c LP : Time Calls Iterations Iter/call Iter/sec
1800.02/1800.03 c primal LP : 0.00 0 0 0.00 -
1800.02/1800.03 c dual LP : 0.00 0 0 0.00 -
1800.02/1800.03 c lex dual LP : 0.00 0 0 0.00 -
1800.02/1800.03 c barrier LP : 0.00 0 0 0.00 -
1800.02/1800.03 c diving/probing LP: 0.00 0 0 0.00 -
1800.02/1800.03 c strong branching : 0.00 0 0 0.00 -
1800.02/1800.03 c (at root node) : - 0 0 0.00 -
1800.02/1800.03 c conflict analysis: 0.00 0 0 0.00 -
1800.02/1800.03 c B&B Tree :
1800.02/1800.03 c number of runs : 1
1800.02/1800.03 c nodes : 2569859
1800.02/1800.03 c nodes (total) : 2569859
1800.02/1800.03 c nodes left : 1268667
1800.02/1800.03 c max depth : 1949
1800.02/1800.03 c max depth (total): 1949
1800.02/1800.03 c backtracks : 442118 (17.2%)
1800.02/1800.03 c delayed cutoffs : 350803
1800.02/1800.03 c repropagations : 1657286 (17330611 domain reductions, 274290 cutoffs)
1800.02/1800.03 c avg switch length: 30.02
1800.02/1800.03 c switching time : 524.49
1800.02/1800.03 c Solution :
1800.02/1800.03 c Solutions found : 30 (30 improvements)
1800.02/1800.03 c First Solution : +8.27000000000000e+02 (in run 1, after 4978 nodes, 1.30 seconds, depth 810, found by <relaxation>)
1800.02/1800.03 c Primal Bound : +6.00000000000000e+00 (in run 1, after 1865948 nodes, 1188.31 seconds, depth 405, found by <relaxation>)
1800.02/1800.03 c Dual Bound : +0.00000000000000e+00
1800.02/1800.03 c Gap : infinite
1800.02/1800.03 c Root Dual Bound : +0.00000000000000e+00
1800.02/1800.03 c Root Iterations : 0