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-2694141-1277907427.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.02/0.03 c presolving:
0.02/0.04 c (round 1) 0 del vars, 1 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 1116 impls, 14 clqs
0.02/0.07 c (round 2) 0 del vars, 113 del conss, 906 chg bounds, 52 chg sides, 0 chg coeffs, 0 upgd conss, 1116 impls, 14 clqs
0.02/0.09 c (round 3) 52 del vars, 165 del conss, 906 chg bounds, 52 chg sides, 0 chg coeffs, 1741 upgd conss, 1116 impls, 14 clqs
0.09/0.10 c (round 4) 104 del vars, 165 del conss, 906 chg bounds, 52 chg sides, 0 chg coeffs, 1741 upgd conss, 1116 impls, 14 clqs
0.09/0.14 c (0.1s) probing: 101/1085 (9.3%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.09/0.14 c (0.1s) probing aborted: 100/100 successive totally useless probings
0.09/0.14 c presolving (5 rounds):
0.09/0.14 c 104 deleted vars, 165 deleted constraints, 906 tightened bounds, 0 added holes, 52 changed sides, 0 changed coefficients
0.09/0.14 c 1116 implications, 14 cliques
0.09/0.14 c presolved problem has 1939 variables (1085 bin, 0 int, 0 impl, 854 cont) and 3449 constraints
0.09/0.14 c 854 constraints of type <indicator>
0.09/0.14 c 1 constraints of type <knapsack>
0.09/0.14 c 14 constraints of type <setppc>
0.09/0.14 c 854 constraints of type <linear>
0.09/0.14 c 1726 constraints of type <logicor>
0.09/0.14 c transformed objective value is always integral (scale: 1)
0.09/0.14 c Presolving Time: 0.10
0.09/0.14 c - non default parameters ----------------------------------------------------------------------
0.09/0.14 c # SCIP version 1.2.1.2
0.09/0.14 c
0.09/0.14 c # frequency for displaying node information lines
0.09/0.14 c # [type: int, range: [-1,2147483647], default: 100]
0.09/0.14 c display/freq = 10000
0.09/0.14 c
0.09/0.14 c # maximal time in seconds to run
0.09/0.14 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.14 c limits/time = 1799.98
0.09/0.14 c
0.09/0.14 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.09/0.14 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.14 c limits/memory = 3420
0.09/0.14 c
0.09/0.14 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.09/0.14 c # [type: int, range: [-1,2147483647], default: 1]
0.09/0.14 c lp/solvefreq = -1
0.09/0.14 c
0.09/0.14 c # should presolving try to simplify inequalities
0.09/0.14 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.14 c constraints/linear/simplifyinequalities = TRUE
0.09/0.14 c
0.09/0.14 c # should presolving try to simplify knapsacks
0.09/0.14 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.14 c constraints/knapsack/simplifyinequalities = TRUE
0.09/0.14 c
0.09/0.14 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.09/0.14 c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.14 c separating/rapidlearning/freq = 0
0.09/0.14 c
0.09/0.14 c -----------------------------------------------------------------------------------------------
0.09/0.14 c start solving
0.09/0.14 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 | - |7510k| 0 | - |1939 |3449 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1.00/1.02 o 531
1.00/1.02 c * 1.0s| 3625 | 3165 | 0 | 0.0 |9850k|1035 | - |1939 |3998 | 0 | 0 | 0 | 661 | 0 | 0.000000e+00 | 5.310000e+02 | Inf
1.00/1.02 o 431
1.00/1.02 c * 1.0s| 3626 | 3157 | 0 | 0.0 |9878k|1035 | - |1939 |3998 | 0 | 0 | 0 | 661 | 0 | 0.000000e+00 | 4.310000e+02 | Inf
1.10/1.14 o 379
1.10/1.14 c * 1.1s| 4017 | 3537 | 0 | 0.0 | 10M|1035 | - |1939 |4003 | 0 | 0 | 0 | 680 | 0 | 0.000000e+00 | 3.790000e+02 | Inf
1.10/1.14 o 371
1.10/1.14 c * 1.1s| 4019 | 3536 | 0 | 0.0 | 10M|1035 | - |1939 |4003 | 0 | 0 | 0 | 680 | 0 | 0.000000e+00 | 3.710000e+02 | Inf
2.69/2.78 c 2.7s| 10000 | 8625 | 0 | 0.0 | 14M|1035 | - |1939 |4589 | 0 | 0 | 0 |2702 | 0 | 0.000000e+00 | 3.710000e+02 | Inf
5.99/6.02 c 5.8s| 20000 | 16190 | 0 | 0.0 | 21M|1035 | - |1939 |5506 | 0 | 0 | 0 |8613 | 0 | 0.000000e+00 | 3.710000e+02 | Inf
9.09/9.19 o 270
9.09/9.19 c * 8.9s| 27068 | 20036 | 0 | 0.0 | 26M|1035 | - |1939 |5853 | 0 | 0 | 0 | 16k| 0 | 0.000000e+00 | 2.700000e+02 | Inf
9.09/9.19 o 228
9.09/9.19 c * 8.9s| 27069 | 20018 | 0 | 0.0 | 26M|1035 | - |1939 |5853 | 0 | 0 | 0 | 16k| 0 | 0.000000e+00 | 2.280000e+02 | Inf
9.59/9.62 o 219
9.59/9.62 c * 9.3s| 28357 | 21236 | 0 | 0.0 | 27M|1035 | - |1939 |5338 | 0 | 0 | 0 | 16k| 0 | 0.000000e+00 | 2.190000e+02 | Inf
9.59/9.62 o 201
9.59/9.62 c * 9.3s| 28358 | 21225 | 0 | 0.0 | 27M|1035 | - |1939 |5338 | 0 | 0 | 0 | 16k| 0 | 0.000000e+00 | 2.010000e+02 | Inf
10.09/10.17 c 9.8s| 30000 | 22765 | 0 | 0.0 | 28M|1035 | - |1939 |5024 | 0 | 0 | 0 | 16k| 0 | 0.000000e+00 | 2.010000e+02 | Inf
10.49/10.50 o 189
10.49/10.50 c *10.2s| 30997 | 23646 | 0 | 0.0 | 28M|1035 | - |1939 |5074 | 0 | 0 | 0 | 16k| 0 | 0.000000e+00 | 1.890000e+02 | Inf
10.49/10.50 o 177
10.49/10.50 c *10.2s| 30998 | 23629 | 0 | 0.0 | 28M|1035 | - |1939 |5074 | 0 | 0 | 0 | 16k| 0 | 0.000000e+00 | 1.770000e+02 | Inf
10.49/10.53 o 164
10.49/10.53 c *10.2s| 31074 | 23658 | 0 | 0.0 | 28M|1035 | - |1939 |5084 | 0 | 0 | 0 | 16k| 0 | 0.000000e+00 | 1.640000e+02 | Inf
10.49/10.53 o 139
10.49/10.53 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
10.49/10.53 c *10.2s| 31075 | 23617 | 0 | 0.0 | 28M|1035 | - |1939 |5084 | 0 | 0 | 0 | 16k| 0 | 0.000000e+00 | 1.390000e+02 | Inf
10.59/10.64 o 111
10.59/10.64 c *10.3s| 31325 | 23636 | 0 | 0.0 | 28M|1035 | - |1939 |5111 | 0 | 0 | 0 | 16k| 0 | 0.000000e+00 | 1.110000e+02 | Inf
10.59/10.64 o 94
10.59/10.64 c *10.3s| 31326 | 23411 | 0 | 0.0 | 28M|1035 | - |1939 |5111 | 0 | 0 | 0 | 16k| 0 | 0.000000e+00 | 9.400000e+01 | Inf
11.69/11.75 o 93
11.69/11.75 c *11.4s| 33869 | 25492 | 0 | 0.0 | 32M|1035 | - |1939 |5122 | 0 | 0 | 0 | 18k| 0 | 0.000000e+00 | 9.300000e+01 | Inf
11.69/11.75 o 89
11.69/11.75 c *11.4s| 33870 | 25285 | 0 | 0.0 | 32M|1035 | - |1939 |5122 | 0 | 0 | 0 | 18k| 0 | 0.000000e+00 | 8.900000e+01 | Inf
13.99/14.06 c 13.6s| 40000 | 30476 | 0 | 0.0 | 37M|1035 | - |1939 |5028 | 0 | 0 | 0 | 20k| 0 | 0.000000e+00 | 8.900000e+01 | Inf
14.60/14.67 o 82
14.60/14.67 c *14.2s| 41767 | 31787 | 0 | 0.0 | 38M|1035 | - |1939 |4963 | 0 | 0 | 0 | 20k| 0 | 0.000000e+00 | 8.200000e+01 | Inf
15.99/16.00 o 42
15.99/16.00 c *15.5s| 45543 | 33811 | 0 | 0.0 | 38M|1035 | - |1939 |5419 | 0 | 0 | 0 | 22k| 0 | 0.000000e+00 | 4.200000e+01 | Inf
17.39/17.40 c 16.9s| 50000 | 37476 | 0 | 0.0 | 41M|1035 | - |1939 |5204 | 0 | 0 | 0 | 24k| 0 | 0.000000e+00 | 4.200000e+01 | Inf
20.49/20.59 c 19.9s| 60000 | 45456 | 0 | 0.0 | 47M|1035 | - |1939 |5682 | 0 | 0 | 0 | 29k| 0 | 0.000000e+00 | 4.200000e+01 | Inf
23.79/23.85 c 23.1s| 70000 | 53270 | 0 | 0.0 | 54M|1035 | - |1939 |5961 | 0 | 0 | 0 | 34k| 0 | 0.000000e+00 | 4.200000e+01 | Inf
27.09/27.15 c 26.3s| 80000 | 60993 | 0 | 0.0 | 60M|1035 | - |1939 |6132 | 0 | 0 | 0 | 40k| 0 | 0.000000e+00 | 4.200000e+01 | Inf
30.49/30.51 c 29.5s| 90000 | 68584 | 0 | 0.0 | 67M|1035 | - |1939 |6370 | 0 | 0 | 0 | 46k| 0 | 0.000000e+00 | 4.200000e+01 | Inf
34.29/34.37 c 33.3s|100000 | 75488 | 0 | 0.0 | 74M|1035 | - |1939 |6990 | 0 | 0 | 0 | 53k| 0 | 0.000000e+00 | 4.200000e+01 | Inf
38.60/38.69 c 37.5s|110000 | 81693 | 0 | 0.0 | 81M|1035 | - |1939 |7400 | 0 | 0 | 0 | 62k| 0 | 0.000000e+00 | 4.200000e+01 | Inf
43.19/43.24 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
43.19/43.24 c 41.9s|120000 | 87630 | 0 | 0.0 | 88M|1035 | - |1939 |7312 | 0 | 0 | 0 | 72k| 0 | 0.000000e+00 | 4.200000e+01 | Inf
48.19/48.21 c 46.8s|130000 | 92993 | 0 | 0.0 | 96M|1035 | - |1939 |7774 | 0 | 0 | 0 | 82k| 0 | 0.000000e+00 | 4.200000e+01 | Inf
53.40/53.42 c 51.8s|140000 | 98002 | 0 | 0.0 | 103M|1035 | - |1939 |8159 | 0 | 0 | 0 | 94k| 0 | 0.000000e+00 | 4.200000e+01 | Inf
58.99/59.05 c 57.3s|150000 |102435 | 0 | 0.0 | 110M|1035 | - |1939 |8505 | 0 | 0 | 0 | 107k| 0 | 0.000000e+00 | 4.200000e+01 | Inf
65.19/65.25 c 63.4s|160000 |106143 | 0 | 0.0 | 117M|1035 | - |1939 |8859 | 0 | 0 | 0 | 122k| 0 | 0.000000e+00 | 4.200000e+01 | Inf
72.89/72.91 c 70.9s|170000 |107925 | 0 | 0.0 | 124M|1035 | - |1939 |9692 | 0 | 0 | 0 | 142k| 0 | 0.000000e+00 | 4.200000e+01 | Inf
77.49/77.56 c 75.4s|180000 |114849 | 0 | 0.0 | 128M|1035 | - |1939 |4662 | 0 | 0 | 0 | 150k| 0 | 0.000000e+00 | 4.200000e+01 | Inf
81.40/81.41 c 79.1s|190000 |123079 | 0 | 0.0 | 135M|1035 | - |1939 |4372 | 0 | 0 | 0 | 154k| 0 | 0.000000e+00 | 4.200000e+01 | Inf
85.40/85.44 c 83.0s|200000 |130656 | 0 | 0.0 | 144M|1035 | - |1939 |5710 | 0 | 0 | 0 | 159k| 0 | 0.000000e+00 | 4.200000e+01 | Inf
89.99/90.04 c 87.5s|210000 |137284 | 0 | 0.0 | 154M|1035 | - |1939 |7810 | 0 | 0 | 0 | 165k| 0 | 0.000000e+00 | 4.200000e+01 | Inf
90.69/90.79 o 38
90.69/90.79 c *88.2s|211419 |137863 | 0 | 0.0 | 154M|1035 | - |1939 |7953 | 0 | 0 | 0 | 166k| 0 | 0.000000e+00 | 3.800000e+01 | Inf
94.60/94.65 c 92.0s|220000 |143733 | 0 | 0.0 | 160M|1035 | - |1939 |4600 | 0 | 0 | 0 | 172k| 0 | 0.000000e+00 | 3.800000e+01 | Inf
98.70/98.77 c 95.9s|230000 |150759 | 0 | 0.0 | 169M|1035 | - |1939 |6290 | 0 | 0 | 0 | 177k| 0 | 0.000000e+00 | 3.800000e+01 | Inf
99.19/99.20 o 34
99.19/99.20 c *96.3s|230779 |150463 | 0 | 0.0 | 166M|1035 | - |1939 |6651 | 0 | 0 | 0 | 177k| 0 | 0.000000e+00 | 3.400000e+01 | Inf
102.59/102.61 c 99.7s|240000 |157833 | 0 | 0.0 | 172M|1035 | - |1939 |4317 | 0 | 0 | 0 | 181k| 0 | 0.000000e+00 | 3.400000e+01 | Inf
105.89/105.97 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
105.89/105.97 c 103s|250000 |166075 | 0 | 0.0 | 179M|1035 | - |1939 |5169 | 0 | 0 | 0 | 184k| 0 | 0.000000e+00 | 3.400000e+01 | Inf
109.80/109.86 c 107s|260000 |173356 | 0 | 0.0 | 187M|1035 | - |1939 |6598 | 0 | 0 | 0 | 189k| 0 | 0.000000e+00 | 3.400000e+01 | Inf
114.69/114.78 c 111s|270000 |179196 | 0 | 0.0 | 195M|1035 | - |1939 |5144 | 0 | 0 | 0 | 196k| 0 | 0.000000e+00 | 3.400000e+01 | Inf
118.50/118.53 c 115s|280000 |186578 | 0 | 0.0 | 202M|1035 | - |1939 |6982 | 0 | 0 | 0 | 201k| 0 | 0.000000e+00 | 3.400000e+01 | Inf
122.10/122.13 c 119s|290000 |194408 | 0 | 0.0 | 208M|1035 | - |1939 |5231 | 0 | 0 | 0 | 204k| 0 | 0.000000e+00 | 3.400000e+01 | Inf
125.40/125.44 c 122s|300000 |202558 | 0 | 0.0 | 214M|1035 | - |1939 |5985 | 0 | 0 | 0 | 208k| 0 | 0.000000e+00 | 3.400000e+01 | Inf
129.39/129.42 c 126s|310000 |209525 | 0 | 0.0 | 222M|1035 | - |1939 |8329 | 0 | 0 | 0 | 213k| 0 | 0.000000e+00 | 3.400000e+01 | Inf
130.80/130.90 o 30
130.80/130.90 c * 127s|312728 |209921 | 0 | 0.0 | 220M|1035 | - |1939 |9777 | 0 | 0 | 0 | 216k| 0 | 0.000000e+00 | 3.000000e+01 | Inf
133.80/133.80 c 130s|320000 |215321 | 0 | 0.0 | 223M|1035 | - |1939 |5691 | 0 | 0 | 0 | 220k| 0 | 0.000000e+00 | 3.000000e+01 | Inf
137.89/137.92 c 134s|330000 |222042 | 0 | 0.0 | 231M|1035 | - |1939 |7677 | 0 | 0 | 0 | 226k| 0 | 0.000000e+00 | 3.000000e+01 | Inf
141.30/141.31 c 137s|340000 |229959 | 0 | 0.0 | 237M|1035 | - |1939 |6333 | 0 | 0 | 0 | 229k| 0 | 0.000000e+00 | 3.000000e+01 | Inf
145.29/145.35 c 141s|350000 |236754 | 0 | 0.0 | 243M|1035 | - |1939 |6179 | 0 | 0 | 0 | 235k| 0 | 0.000000e+00 | 3.000000e+01 | Inf
149.40/149.40 c 145s|360000 |243350 | 0 | 0.0 | 250M|1035 | - |1939 |8092 | 0 | 0 | 0 | 241k| 0 | 0.000000e+00 | 3.000000e+01 | Inf
152.81/152.83 c 148s|370000 |251127 | 0 | 0.0 | 256M|1035 | - |1939 |6974 | 0 | 0 | 0 | 245k| 0 | 0.000000e+00 | 3.000000e+01 | Inf
156.80/156.84 c 152s|380000 |258442 | 0 | 0.0 | 262M|1035 | - |1939 |4459 | 0 | 0 | 0 | 250k| 0 | 0.000000e+00 | 3.000000e+01 | Inf
160.30/160.33 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
160.30/160.33 c 156s|390000 |266052 | 0 | 0.0 | 269M|1035 | - |1939 |4959 | 0 | 0 | 0 | 254k| 0 | 0.000000e+00 | 3.000000e+01 | Inf
164.10/164.16 c 159s|400000 |273092 | 0 | 0.0 | 275M|1035 | - |1939 |5562 | 0 | 0 | 0 | 260k| 0 | 0.000000e+00 | 3.000000e+01 | Inf
168.20/168.25 c 163s|410000 |279786 | 0 | 0.0 | 282M|1035 | - |1939 |6185 | 0 | 0 | 0 | 266k| 0 | 0.000000e+00 | 3.000000e+01 | Inf
172.50/172.50 c 167s|420000 |286321 | 0 | 0.0 | 289M|1035 | - |1939 |5917 | 0 | 0 | 0 | 272k| 0 | 0.000000e+00 | 3.000000e+01 | Inf
176.80/176.81 c 172s|430000 |292761 | 0 | 0.0 | 296M|1035 | - |1939 |6348 | 0 | 0 | 0 | 279k| 0 | 0.000000e+00 | 3.000000e+01 | Inf
181.10/181.19 c 176s|440000 |299054 | 0 | 0.0 | 302M|1035 | - |1939 |6652 | 0 | 0 | 0 | 285k| 0 | 0.000000e+00 | 3.000000e+01 | Inf
185.70/185.73 c 180s|450000 |305154 | 0 | 0.0 | 309M|1035 | - |1939 |6710 | 0 | 0 | 0 | 292k| 0 | 0.000000e+00 | 3.000000e+01 | Inf
190.50/190.50 c 185s|460000 |310979 | 0 | 0.0 | 316M|1035 | - |1939 |6934 | 0 | 0 | 0 | 300k| 0 | 0.000000e+00 | 3.000000e+01 | Inf
195.29/195.31 c 190s|470000 |316672 | 0 | 0.0 | 322M|1035 | - |1939 |6973 | 0 | 0 | 0 | 307k| 0 | 0.000000e+00 | 3.000000e+01 | Inf
200.30/200.31 c 194s|480000 |322118 | 0 | 0.0 | 329M|1035 | - |1939 |7056 | 0 | 0 | 0 | 315k| 0 | 0.000000e+00 | 3.000000e+01 | Inf
205.29/205.33 c 199s|490000 |327593 | 0 | 0.0 | 336M|1035 | - |1939 |7212 | 0 | 0 | 0 | 323k| 0 | 0.000000e+00 | 3.000000e+01 | Inf
210.70/210.70 c 204s|500000 |332546 | 0 | 0.0 | 343M|1035 | - |1939 |8180 | 0 | 0 | 0 | 332k| 0 | 0.000000e+00 | 3.000000e+01 | Inf
216.30/216.33 c 210s|510000 |337175 | 0 | 0.0 | 350M|1035 | - |1939 |7748 | 0 | 0 | 0 | 341k| 0 | 0.000000e+00 | 3.000000e+01 | Inf
221.90/221.92 c 215s|520000 |341702 | 0 | 0.0 | 356M|1035 | - |1939 |7619 | 0 | 0 | 0 | 350k| 0 | 0.000000e+00 | 3.000000e+01 | Inf
227.60/227.63 c 221s|530000 |346068 | 0 | 0.0 | 363M|1035 | - |1939 |7227 | 0 | 0 | 0 | 359k| 0 | 0.000000e+00 | 3.000000e+01 | Inf
232.99/233.06 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
232.99/233.06 c 226s|540000 |350722 | 0 | 0.0 | 369M|1035 | - |1939 |8299 | 0 | 0 | 0 | 368k| 0 | 0.000000e+00 | 3.000000e+01 | Inf
239.10/239.19 c 232s|550000 |354490 | 0 | 0.0 | 376M|1035 | - |1939 |8096 | 0 | 0 | 0 | 378k| 0 | 0.000000e+00 | 3.000000e+01 | Inf
245.59/245.63 c 239s|560000 |357698 | 0 | 0.0 | 382M|1035 | - |1939 |8641 | 0 | 0 | 0 | 389k| 0 | 0.000000e+00 | 3.000000e+01 | Inf
252.70/252.76 c 246s|570000 |360173 | 0 | 0.0 | 388M|1035 | - |1939 |8877 | 0 | 0 | 0 | 400k| 0 | 0.000000e+00 | 3.000000e+01 | Inf
260.20/260.21 c 253s|580000 |362068 | 0 | 0.0 | 394M|1035 | - |1939 |8687 | 0 | 0 | 0 | 412k| 0 | 0.000000e+00 | 3.000000e+01 | Inf
268.19/268.23 c 261s|590000 |363172 | 0 | 0.0 | 399M|1035 | - |1939 |9336 | 0 | 0 | 0 | 425k| 0 | 0.000000e+00 | 3.000000e+01 | Inf
276.70/276.77 c 269s|600000 |363406 | 0 | 0.0 | 404M|1035 | - |1939 |9628 | 0 | 0 | 0 | 439k| 0 | 0.000000e+00 | 3.000000e+01 | Inf
285.70/285.73 c 278s|610000 |362864 | 0 | 0.0 | 408M|1035 | - |1939 |9754 | 0 | 0 | 0 | 454k| 0 | 0.000000e+00 | 3.000000e+01 | Inf
294.70/294.79 c 287s|620000 |361737 | 0 | 0.0 | 411M|1035 | - |1939 | 10k| 0 | 0 | 0 | 469k| 0 | 0.000000e+00 | 3.000000e+01 | Inf
303.89/303.91 c 296s|630000 |360221 | 0 | 0.0 | 414M|1035 | - |1939 | 11k| 0 | 0 | 0 | 484k| 0 | 0.000000e+00 | 3.000000e+01 | Inf
313.70/313.73 c 306s|640000 |357227 | 0 | 0.0 | 413M|1035 | - |1939 | 11k| 0 | 0 | 0 | 501k| 0 | 0.000000e+00 | 3.000000e+01 | Inf
323.90/323.94 c 316s|650000 |352814 | 0 | 0.0 | 411M|1035 | - |1939 | 12k| 0 | 0 | 0 | 519k| 0 | 0.000000e+00 | 3.000000e+01 | Inf
332.21/332.27 c 324s|660000 |351529 | 0 | 0.0 | 403M|1035 | - |1939 |5857 | 0 | 0 | 0 | 531k| 0 | 0.000000e+00 | 3.000000e+01 | Inf
333.10/333.16 o 21
333.10/333.16 c * 325s|662299 |349171 | 0 | 0.0 | 393M|1035 | - |1939 |4822 | 0 | 0 | 0 | 532k| 0 | 0.000000e+00 | 2.100000e+01 | Inf
336.00/336.06 c 327s|670000 |355339 | 0 | 0.0 | 399M|1035 | - |1939 |4330 | 0 | 0 | 0 | 535k| 0 | 0.000000e+00 | 2.100000e+01 | Inf
339.81/339.81 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
339.81/339.81 c 331s|680000 |363104 | 0 | 0.0 | 406M|1035 | - |1939 |5045 | 0 | 0 | 0 | 539k| 0 | 0.000000e+00 | 2.100000e+01 | Inf
343.50/343.59 c 335s|690000 |370793 | 0 | 0.0 | 413M|1035 | - |1939 |5382 | 0 | 0 | 0 | 543k| 0 | 0.000000e+00 | 2.100000e+01 | Inf
347.50/347.59 c 339s|700000 |378325 | 0 | 0.0 | 420M|1035 | - |1939 |5644 | 0 | 0 | 0 | 547k| 0 | 0.000000e+00 | 2.100000e+01 | Inf
351.70/351.75 c 343s|710000 |385591 | 0 | 0.0 | 427M|1035 | - |1939 |5914 | 0 | 0 | 0 | 552k| 0 | 0.000000e+00 | 2.100000e+01 | Inf
353.70/353.77 o 9
353.70/353.77 c * 345s|714682 |385766 | 0 | 0.0 | 420M|1035 | - |1939 |5864 | 0 | 0 | 0 | 555k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
356.20/356.23 c 347s|720000 |389524 | 0 | 0.0 | 428M|1035 | - |1939 |6133 | 0 | 0 | 0 | 558k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
360.90/360.92 c 352s|730000 |396295 | 0 | 0.0 | 436M|1035 | - |1939 |6697 | 0 | 0 | 0 | 563k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
365.60/365.63 c 356s|740000 |402922 | 0 | 0.0 | 443M|1035 | - |1939 |7044 | 0 | 0 | 0 | 569k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
370.61/370.61 c 361s|750000 |409327 | 0 | 0.0 | 452M|1035 | - |1939 |7691 | 0 | 0 | 0 | 576k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
375.81/375.83 c 366s|760000 |415591 | 0 | 0.0 | 460M|1035 | - |1939 |7884 | 0 | 0 | 0 | 583k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
381.40/381.46 c 371s|770000 |421424 | 0 | 0.0 | 471M|1035 | - |1939 |9268 | 0 | 0 | 0 | 590k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
387.21/387.21 c 377s|780000 |427389 | 0 | 0.0 | 481M|1035 | - |1939 | 10k| 0 | 0 | 0 | 598k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
393.81/393.80 c 383s|790000 |432669 | 0 | 0.0 | 492M|1035 | - |1939 | 10k| 0 | 0 | 0 | 606k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
400.60/400.66 c 390s|800000 |437858 | 0 | 0.0 | 504M|1035 | - |1939 | 11k| 0 | 0 | 0 | 615k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
407.81/407.81 c 397s|810000 |442848 | 0 | 0.0 | 516M|1035 | - |1939 | 13k| 0 | 0 | 0 | 625k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
416.11/416.18 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
416.11/416.18 c 405s|820000 |446952 | 0 | 0.0 | 528M|1035 | - |1939 | 13k| 0 | 0 | 0 | 636k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
425.51/425.51 c 415s|830000 |450520 | 0 | 0.0 | 540M|1035 | - |1939 | 14k| 0 | 0 | 0 | 648k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
435.70/435.74 c 425s|840000 |453479 | 0 | 0.0 | 551M|1035 | - |1939 | 17k| 0 | 0 | 0 | 661k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
448.40/448.44 c 437s|850000 |455027 | 0 | 0.0 | 561M|1035 | - |1939 | 20k| 0 | 0 | 0 | 678k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
461.31/461.31 c 450s|860000 |457011 | 0 | 0.0 | 569M|1035 | - |1939 | 18k| 0 | 0 | 0 | 693k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
468.00/468.06 c 456s|870000 |462771 | 0 | 0.0 | 572M|1035 | - |1939 | 11k| 0 | 0 | 0 | 701k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
473.11/473.10 c 461s|880000 |469562 | 0 | 0.0 | 579M|1035 | - |1939 | 10k| 0 | 0 | 0 | 707k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
478.01/478.04 c 466s|890000 |476325 | 0 | 0.0 | 586M|1035 | - |1939 | 11k| 0 | 0 | 0 | 714k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
483.11/483.17 c 471s|900000 |482956 | 0 | 0.0 | 593M|1035 | - |1939 | 13k| 0 | 0 | 0 | 720k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
489.31/489.40 c 477s|910000 |488682 | 0 | 0.0 | 601M|1035 | - |1939 | 15k| 0 | 0 | 0 | 729k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
496.91/496.92 c 485s|920000 |493578 | 0 | 0.0 | 609M|1035 | - |1939 | 18k| 0 | 0 | 0 | 739k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
500.30/500.32 o 8
500.30/500.32 c * 488s|924187 |494512 | 0 | 0.0 | 610M|1035 | - |1939 | 19k| 0 | 0 | 0 | 743k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
505.41/505.49 o 7
505.41/505.49 c * 493s|929494 |496344 | 0 | 0.0 | 615M|1035 | - |1939 | 20k| 0 | 0 | 0 | 750k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
505.91/505.92 c 493s|930000 |496593 | 0 | 0.0 | 615M|1035 | - |1939 | 20k| 0 | 0 | 0 | 750k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
508.21/508.28 o 6
508.21/508.28 c * 496s|932199 |494269 | 0 | 0.0 | 608M|1035 | - |1939 | 20k| 0 | 0 | 0 | 753k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
519.30/519.36 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
519.30/519.36 c 507s|940000 |494911 | 0 | 0.0 | 615M|1035 | - |1939 | 22k| 0 | 0 | 0 | 766k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
524.51/524.54 c 512s|950000 |502960 | 0 | 0.0 | 619M|1035 | - |1939 | 12k| 0 | 0 | 0 | 771k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
528.71/528.77 c 516s|960000 |510929 | 0 | 0.0 | 626M|1035 | - |1939 | 12k| 0 | 0 | 0 | 776k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
533.11/533.14 c 520s|970000 |518767 | 0 | 0.0 | 632M|1035 | - |1939 | 12k| 0 | 0 | 0 | 781k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
537.51/537.58 c 524s|980000 |526554 | 0 | 0.0 | 639M|1035 | - |1939 | 13k| 0 | 0 | 0 | 787k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
542.31/542.30 c 529s|990000 |534077 | 0 | 0.0 | 645M|1035 | - |1939 | 14k| 0 | 0 | 0 | 793k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
547.01/547.05 c 534s| 1000k|541532 | 0 | 0.0 | 652M|1035 | - |1939 | 14k| 0 | 0 | 0 | 799k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
552.31/552.36 c 539s| 1010k|548585 | 0 | 0.0 | 659M|1035 | - |1939 | 15k| 0 | 0 | 0 | 806k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
558.31/558.39 c 545s| 1020k|555072 | 0 | 0.0 | 666M|1035 | - |1939 | 16k| 0 | 0 | 0 | 813k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
564.91/564.90 c 551s| 1030k|561275 | 0 | 0.0 | 673M|1035 | - |1939 | 17k| 0 | 0 | 0 | 820k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
571.91/571.98 c 558s| 1040k|567132 | 0 | 0.0 | 680M|1035 | - |1939 | 18k| 0 | 0 | 0 | 829k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
578.01/578.01 o 5
578.01/578.01 c * 564s| 1047k|570537 | 0 | 0.0 | 684M|1035 | - |1939 | 19k| 0 | 0 | 0 | 836k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
579.71/579.77 c 566s| 1050k|571522 | 0 | 0.0 | 686M|1035 | - |1939 | 19k| 0 | 0 | 0 | 838k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
588.21/588.29 c 574s| 1060k|576660 | 0 | 0.0 | 695M|1035 | - |1939 | 20k| 0 | 0 | 0 | 848k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
597.91/597.97 c 584s| 1070k|581153 | 0 | 0.0 | 703M|1035 | - |1939 | 22k| 0 | 0 | 0 | 859k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
608.91/608.94 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
608.91/608.94 c 594s| 1080k|584933 | 0 | 0.0 | 711M|1035 | - |1939 | 23k| 0 | 0 | 0 | 871k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
621.31/621.33 c 607s| 1090k|587878 | 0 | 0.0 | 718M|1035 | - |1939 | 25k| 0 | 0 | 0 | 885k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
636.11/636.19 c 621s| 1100k|589558 | 0 | 0.0 | 725M|1035 | - |1939 | 27k| 0 | 0 | 0 | 901k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
650.71/650.74 c 636s| 1110k|591220 | 0 | 0.0 | 727M|1035 | - |1939 | 12k| 0 | 0 | 0 | 915k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
655.11/655.19 c 640s| 1120k|598898 | 0 | 0.0 | 734M|1035 | - |1939 | 13k| 0 | 0 | 0 | 920k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
659.91/659.97 c 645s| 1130k|606330 | 0 | 0.0 | 741M|1035 | - |1939 | 15k| 0 | 0 | 0 | 926k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
665.21/665.21 c 650s| 1140k|613522 | 0 | 0.0 | 748M|1035 | - |1939 | 16k| 0 | 0 | 0 | 932k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
671.41/671.40 c 656s| 1150k|619990 | 0 | 0.0 | 755M|1035 | - |1939 | 18k| 0 | 0 | 0 | 939k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
678.21/678.27 c 663s| 1160k|626053 | 0 | 0.0 | 762M|1035 | - |1939 | 19k| 0 | 0 | 0 | 947k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
686.91/686.94 c 671s| 1170k|630901 | 0 | 0.0 | 769M|1035 | - |1939 | 21k| 0 | 0 | 0 | 958k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
699.01/699.01 c 683s| 1180k|633450 | 0 | 0.0 | 776M|1035 | - |1939 | 26k| 0 | 0 | 0 | 972k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
708.71/708.70 c 693s| 1190k|638667 | 0 | 0.0 | 782M|1035 | - |1939 | 18k| 0 | 0 | 0 | 981k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
713.71/713.79 c 698s| 1200k|646406 | 0 | 0.0 | 788M|1035 | - |1939 | 11k| 0 | 0 | 0 | 986k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
717.71/717.74 c 701s| 1210k|654145 | 0 | 0.0 | 794M|1035 | - |1939 | 12k| 0 | 0 | 0 | 989k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
721.91/721.94 c 705s| 1220k|661636 | 0 | 0.0 | 800M|1035 | - |1939 | 12k| 0 | 0 | 0 | 992k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
726.41/726.47 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
726.41/726.47 c 710s| 1230k|668724 | 0 | 0.0 | 807M|1035 | - |1939 | 12k| 0 | 0 | 0 | 997k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
731.12/731.13 c 714s| 1240k|675629 | 0 | 0.0 | 813M|1035 | - |1939 | 13k| 0 | 0 | 0 |1001k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
735.92/735.98 c 719s| 1250k|682339 | 0 | 0.0 | 820M|1035 | - |1939 | 13k| 0 | 0 | 0 |1005k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
741.11/741.13 c 724s| 1260k|688734 | 0 | 0.0 | 827M|1035 | - |1939 | 14k| 0 | 0 | 0 |1010k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
746.62/746.66 c 730s| 1270k|694732 | 0 | 0.0 | 833M|1035 | - |1939 | 14k| 0 | 0 | 0 |1016k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
752.61/752.66 c 735s| 1280k|700288 | 0 | 0.0 | 840M|1035 | - |1939 | 14k| 0 | 0 | 0 |1022k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
758.92/758.99 c 742s| 1290k|705447 | 0 | 0.0 | 847M|1035 | - |1939 | 15k| 0 | 0 | 0 |1029k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
765.72/765.74 c 748s| 1300k|710231 | 0 | 0.0 | 853M|1035 | - |1939 | 16k| 0 | 0 | 0 |1036k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
773.22/773.24 c 755s| 1310k|714361 | 0 | 0.0 | 860M|1035 | - |1939 | 17k| 0 | 0 | 0 |1045k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
781.52/781.55 c 764s| 1320k|717714 | 0 | 0.0 | 866M|1035 | - |1939 | 17k| 0 | 0 | 0 |1054k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
790.71/790.74 c 773s| 1330k|720253 | 0 | 0.0 | 872M|1035 | - |1939 | 18k| 0 | 0 | 0 |1065k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
803.02/803.07 c 785s| 1340k|719824 | 0 | 0.0 | 876M|1035 | - |1939 | 21k| 0 | 0 | 0 |1081k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
808.81/808.80 c 790s| 1350k|726340 | 0 | 0.0 | 878M|1035 | - |1939 | 12k| 0 | 0 | 0 |1086k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
813.42/813.41 c 795s| 1360k|733594 | 0 | 0.0 | 885M|1035 | - |1939 | 13k| 0 | 0 | 0 |1090k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
818.22/818.23 c 800s| 1370k|740494 | 0 | 0.0 | 891M|1035 | - |1939 | 13k| 0 | 0 | 0 |1094k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
823.22/823.30 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
823.22/823.30 c 805s| 1380k|747090 | 0 | 0.0 | 898M|1035 | - |1939 | 14k| 0 | 0 | 0 |1098k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
828.91/828.97 c 810s| 1390k|753099 | 0 | 0.0 | 904M|1035 | - |1939 | 15k| 0 | 0 | 0 |1104k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
835.42/835.40 c 816s| 1400k|758305 | 0 | 0.0 | 911M|1035 | - |1939 | 16k| 0 | 0 | 0 |1111k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
843.11/843.19 c 824s| 1410k|762217 | 0 | 0.0 | 918M|1035 | - |1939 | 17k| 0 | 0 | 0 |1120k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
854.52/854.57 c 835s| 1420k|763048 | 0 | 0.0 | 922M|1035 | - |1939 | 20k| 0 | 0 | 0 |1133k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
859.51/859.54 c 840s| 1430k|770557 | 0 | 0.0 | 926M|1035 | - |1939 | 12k| 0 | 0 | 0 |1137k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
864.11/864.12 c 844s| 1440k|777827 | 0 | 0.0 | 933M|1035 | - |1939 | 13k| 0 | 0 | 0 |1141k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
869.12/869.12 c 849s| 1450k|784723 | 0 | 0.0 | 939M|1035 | - |1939 | 13k| 0 | 0 | 0 |1145k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
874.31/874.36 c 854s| 1460k|791308 | 0 | 0.0 | 946M|1035 | - |1939 | 14k| 0 | 0 | 0 |1150k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
880.22/880.26 c 860s| 1470k|797344 | 0 | 0.0 | 952M|1035 | - |1939 | 15k| 0 | 0 | 0 |1156k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
886.71/886.76 c 867s| 1480k|802669 | 0 | 0.0 | 959M|1035 | - |1939 | 16k| 0 | 0 | 0 |1162k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
894.02/894.04 c 874s| 1490k|807172 | 0 | 0.0 | 965M|1035 | - |1939 | 17k| 0 | 0 | 0 |1170k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
904.13/904.14 c 884s| 1500k|809113 | 0 | 0.0 | 971M|1035 | - |1939 | 19k| 0 | 0 | 0 |1182k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
911.32/911.33 c 891s| 1510k|814421 | 0 | 0.0 | 973M|1035 | - |1939 | 12k| 0 | 0 | 0 |1190k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
915.92/915.92 c 895s| 1520k|821825 | 0 | 0.0 | 980M|1035 | - |1939 | 13k| 0 | 0 | 0 |1193k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
920.81/920.81 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
920.81/920.81 c 900s| 1530k|828885 | 0 | 0.0 | 986M|1035 | - |1939 | 13k| 0 | 0 | 0 |1198k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
925.92/925.99 c 905s| 1540k|835609 | 0 | 0.0 | 993M|1035 | - |1939 | 14k| 0 | 0 | 0 |1202k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
931.91/931.95 c 911s| 1550k|841634 | 0 | 0.0 |1000M|1035 | - |1939 | 15k| 0 | 0 | 0 |1208k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
938.62/938.61 c 917s| 1560k|846845 | 0 | 0.0 |1006M|1035 | - |1939 | 16k| 0 | 0 | 0 |1215k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
946.72/946.79 c 925s| 1570k|850590 | 0 | 0.0 |1012M|1035 | - |1939 | 18k| 0 | 0 | 0 |1225k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
956.42/956.49 c 935s| 1580k|853435 | 0 | 0.0 |1016M|1035 | - |1939 | 13k| 0 | 0 | 0 |1236k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
961.02/961.03 c 939s| 1590k|860839 | 0 | 0.0 |1022M|1035 | - |1939 | 12k| 0 | 0 | 0 |1240k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
965.82/965.87 c 944s| 1600k|867700 | 0 | 0.0 |1029M|1035 | - |1939 | 13k| 0 | 0 | 0 |1244k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
971.22/971.24 c 949s| 1610k|874048 | 0 | 0.0 |1035M|1035 | - |1939 | 14k| 0 | 0 | 0 |1249k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
977.32/977.31 c 955s| 1620k|879813 | 0 | 0.0 |1042M|1035 | - |1939 | 15k| 0 | 0 | 0 |1255k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
984.12/984.16 c 962s| 1630k|884669 | 0 | 0.0 |1048M|1035 | - |1939 | 17k| 0 | 0 | 0 |1263k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
992.02/992.01 c 970s| 1640k|888754 | 0 | 0.0 |1055M|1035 | - |1939 | 18k| 0 | 0 | 0 |1272k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1000.93/1000.97 c 978s| 1650k|892293 | 0 | 0.0 |1056M|1035 | - |1939 |5886 | 0 | 0 | 0 |1282k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1004.42/1004.41 c 982s| 1660k|900266 | 0 | 0.0 |1062M|1035 | - |1939 |4925 | 0 | 0 | 0 |1286k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1008.72/1008.79 c 986s| 1670k|906720 | 0 | 0.0 |1069M|1035 | - |1939 |5923 | 0 | 0 | 0 |1291k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1012.72/1012.79 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1012.72/1012.79 c 990s| 1680k|913529 | 0 | 0.0 |1075M|1035 | - |1939 |5154 | 0 | 0 | 0 |1296k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1016.62/1016.68 c 994s| 1690k|920527 | 0 | 0.0 |1081M|1035 | - |1939 |4374 | 0 | 0 | 0 |1300k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1020.42/1020.47 c 997s| 1700k|927522 | 0 | 0.0 |1087M|1035 | - |1939 |4083 | 0 | 0 | 0 |1305k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1023.62/1023.64 c 1000s| 1710k|935520 | 0 | 0.0 |1093M|1035 | - |1939 |4567 | 0 | 0 | 0 |1308k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1027.72/1027.70 c 1004s| 1720k|941990 | 0 | 0.0 |1099M|1035 | - |1939 |7051 | 0 | 0 | 0 |1314k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1031.22/1031.22 c 1008s| 1730k|949637 | 0 | 0.0 |1104M|1035 | - |1939 |4496 | 0 | 0 | 0 |1317k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1034.72/1034.74 c 1011s| 1740k|956992 | 0 | 0.0 |1110M|1035 | - |1939 |5318 | 0 | 0 | 0 |1321k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1038.72/1038.71 c 1015s| 1750k|963680 | 0 | 0.0 |1116M|1035 | - |1939 |4513 | 0 | 0 | 0 |1326k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1042.32/1042.31 c 1018s| 1760k|970808 | 0 | 0.0 |1122M|1035 | - |1939 |5669 | 0 | 0 | 0 |1330k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1045.62/1045.65 c 1022s| 1770k|978639 | 0 | 0.0 |1128M|1035 | - |1939 |4144 | 0 | 0 | 0 |1333k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1052.32/1052.33 c 1028s| 1780k|981848 | 0 | 0.0 |1134M|1035 | - |1939 |5890 | 0 | 0 | 0 |1343k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1059.43/1059.49 c 1035s| 1790k|984938 | 0 | 0.0 |1141M|1035 | - |1939 |7186 | 0 | 0 | 0 |1353k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1067.03/1067.00 c 1042s| 1800k|987914 | 0 | 0.0 |1147M|1035 | - |1939 |7247 | 0 | 0 | 0 |1363k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1074.53/1074.50 c 1050s| 1810k|990828 | 0 | 0.0 |1153M|1035 | - |1939 |9247 | 0 | 0 | 0 |1374k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1082.12/1082.17 c 1057s| 1820k|993724 | 0 | 0.0 |1159M|1035 | - |1939 |9137 | 0 | 0 | 0 |1384k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1090.13/1090.16 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1090.13/1090.16 c 1065s| 1830k|996589 | 0 | 0.0 |1165M|1035 | - |1939 |7444 | 0 | 0 | 0 |1394k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1098.33/1098.32 c 1073s| 1840k|998771 | 0 | 0.0 |1171M|1035 | - |1939 |9829 | 0 | 0 | 0 |1406k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1106.92/1106.96 c 1082s| 1850k| 1000k| 0 | 0.0 |1176M|1035 | - |1939 |8334 | 0 | 0 | 0 |1417k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1115.53/1115.50 c 1090s| 1860k| 1003k| 0 | 0.0 |1182M|1035 | - |1939 | 10k| 0 | 0 | 0 |1428k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1124.62/1124.62 c 1099s| 1870k| 1004k| 0 | 0.0 |1186M|1035 | - |1939 |8358 | 0 | 0 | 0 |1440k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1133.42/1133.45 c 1108s| 1880k| 1006k| 0 | 0.0 |1193M|1035 | - |1939 | 10k| 0 | 0 | 0 |1452k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1142.33/1142.38 c 1116s| 1890k| 1008k| 0 | 0.0 |1198M|1035 | - |1939 |8589 | 0 | 0 | 0 |1463k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1152.12/1152.14 c 1126s| 1900k| 1009k| 0 | 0.0 |1203M|1035 | - |1939 | 10k| 0 | 0 | 0 |1475k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1161.73/1161.72 c 1135s| 1910k| 1011k| 0 | 0.0 |1208M|1035 | - |1939 | 10k| 0 | 0 | 0 |1487k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1171.92/1171.92 c 1146s| 1920k| 1012k| 0 | 0.0 |1212M|1035 | - |1939 | 10k| 0 | 0 | 0 |1500k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1181.83/1181.80 c 1155s| 1930k| 1013k| 0 | 0.0 |1218M|1035 | - |1939 | 11k| 0 | 0 | 0 |1512k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1192.13/1192.13 c 1165s| 1940k| 1014k| 0 | 0.0 |1221M|1035 | - |1939 | 10k| 0 | 0 | 0 |1525k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1202.82/1202.86 c 1176s| 1950k| 1015k| 0 | 0.0 |1227M|1035 | - |1939 | 11k| 0 | 0 | 0 |1538k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1213.33/1213.39 c 1186s| 1960k| 1016k| 0 | 0.0 |1231M|1035 | - |1939 |9071 | 0 | 0 | 0 |1550k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1224.73/1224.77 c 1198s| 1970k| 1016k| 0 | 0.0 |1235M|1035 | - |1939 | 11k| 0 | 0 | 0 |1565k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1235.34/1235.38 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1235.34/1235.38 c 1208s| 1980k| 1017k| 0 | 0.0 |1240M|1035 | - |1939 | 11k| 0 | 0 | 0 |1577k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1247.34/1247.37 c 1220s| 1990k| 1016k| 0 | 0.0 |1242M|1035 | - |1939 | 11k| 0 | 0 | 0 |1592k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1258.33/1258.31 c 1231s| 2000k| 1017k| 0 | 0.0 |1247M|1035 | - |1939 | 11k| 0 | 0 | 0 |1605k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1270.43/1270.49 c 1243s| 2010k| 1016k| 0 | 0.0 |1249M|1035 | - |1939 | 11k| 0 | 0 | 0 |1620k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1281.63/1281.66 c 1254s| 2020k| 1016k| 0 | 0.0 |1254M|1035 | - |1939 | 11k| 0 | 0 | 0 |1634k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1293.23/1293.25 c 1265s| 2030k| 1016k| 0 | 0.0 |1256M|1035 | - |1939 | 11k| 0 | 0 | 0 |1648k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1304.93/1304.90 c 1276s| 2040k| 1016k| 0 | 0.0 |1260M|1035 | - |1939 | 10k| 0 | 0 | 0 |1663k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1316.74/1316.74 c 1288s| 2050k| 1015k| 0 | 0.0 |1263M|1035 | - |1939 | 11k| 0 | 0 | 0 |1677k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1328.13/1328.18 c 1299s| 2060k| 1015k| 0 | 0.0 |1267M|1035 | - |1939 | 11k| 0 | 0 | 0 |1692k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1340.73/1340.79 c 1312s| 2070k| 1014k| 0 | 0.0 |1269M|1035 | - |1939 | 11k| 0 | 0 | 0 |1707k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1353.13/1353.18 c 1324s| 2080k| 1014k| 0 | 0.0 |1271M|1035 | - |1939 | 11k| 0 | 0 | 0 |1722k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1365.24/1365.24 c 1336s| 2090k| 1013k| 0 | 0.0 |1274M|1035 | - |1939 | 11k| 0 | 0 | 0 |1737k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1377.73/1377.75 c 1348s| 2100k| 1013k| 0 | 0.0 |1275M|1035 | - |1939 | 11k| 0 | 0 | 0 |1753k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1390.93/1390.98 c 1361s| 2110k| 1011k| 0 | 0.0 |1276M|1035 | - |1939 | 12k| 0 | 0 | 0 |1770k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1404.53/1404.53 c 1375s| 2120k| 1010k| 0 | 0.0 |1276M|1035 | - |1939 | 12k| 0 | 0 | 0 |1787k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1418.03/1418.07 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1418.03/1418.07 c 1388s| 2130k| 1008k| 0 | 0.0 |1276M|1035 | - |1939 | 13k| 0 | 0 | 0 |1805k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1432.14/1432.19 c 1402s| 2140k| 1006k| 0 | 0.0 |1274M|1035 | - |1939 | 14k| 0 | 0 | 0 |1823k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1446.73/1446.72 c 1417s| 2150k| 1004k| 0 | 0.0 |1272M|1035 | - |1939 | 16k| 0 | 0 | 0 |1842k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1464.04/1464.01 c 1434s| 2160k|999682 | 0 | 0.0 |1265M|1035 | - |1939 | 18k| 0 | 0 | 0 |1863k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1473.64/1473.61 c 1443s| 2170k| 1002k| 0 | 0.0 |1260M|1035 | - |1939 |5343 | 0 | 0 | 0 |1874k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1478.24/1478.23 c 1448s| 2180k| 1008k| 0 | 0.0 |1267M|1035 | - |1939 |5206 | 0 | 0 | 0 |1879k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1483.14/1483.15 c 1452s| 2190k| 1014k| 0 | 0.0 |1274M|1035 | - |1939 |5129 | 0 | 0 | 0 |1884k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1488.04/1488.09 c 1457s| 2200k| 1020k| 0 | 0.0 |1280M|1035 | - |1939 |5728 | 0 | 0 | 0 |1890k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1493.13/1493.18 c 1462s| 2210k| 1026k| 0 | 0.0 |1287M|1035 | - |1939 |5628 | 0 | 0 | 0 |1897k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1498.44/1498.42 c 1467s| 2220k| 1032k| 0 | 0.0 |1293M|1035 | - |1939 |5434 | 0 | 0 | 0 |1903k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1503.53/1503.54 c 1472s| 2230k| 1038k| 0 | 0.0 |1299M|1035 | - |1939 |6273 | 0 | 0 | 0 |1910k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1508.64/1508.64 c 1477s| 2240k| 1044k| 0 | 0.0 |1306M|1035 | - |1939 |6263 | 0 | 0 | 0 |1916k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1514.04/1514.02 c 1482s| 2250k| 1049k| 0 | 0.0 |1312M|1035 | - |1939 |6349 | 0 | 0 | 0 |1923k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1519.04/1519.09 c 1487s| 2260k| 1055k| 0 | 0.0 |1318M|1035 | - |1939 |5598 | 0 | 0 | 0 |1930k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1524.44/1524.50 c 1492s| 2270k| 1061k| 0 | 0.0 |1324M|1035 | - |1939 |6546 | 0 | 0 | 0 |1937k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1529.94/1529.95 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1529.94/1529.95 c 1498s| 2280k| 1066k| 0 | 0.0 |1330M|1035 | - |1939 |6403 | 0 | 0 | 0 |1944k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1534.94/1534.99 c 1503s| 2290k| 1072k| 0 | 0.0 |1336M|1035 | - |1939 |6625 | 0 | 0 | 0 |1950k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1540.74/1540.75 c 1508s| 2300k| 1077k| 0 | 0.0 |1342M|1035 | - |1939 |6668 | 0 | 0 | 0 |1958k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1545.93/1545.92 c 1513s| 2310k| 1083k| 0 | 0.0 |1347M|1035 | - |1939 |6823 | 0 | 0 | 0 |1964k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1551.94/1551.99 c 1519s| 2320k| 1087k| 0 | 0.0 |1353M|1035 | - |1939 |6844 | 0 | 0 | 0 |1972k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1557.23/1557.26 c 1524s| 2330k| 1093k| 0 | 0.0 |1359M|1035 | - |1939 |6766 | 0 | 0 | 0 |1979k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1563.34/1563.36 c 1530s| 2340k| 1098k| 0 | 0.0 |1365M|1035 | - |1939 |7114 | 0 | 0 | 0 |1987k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1568.84/1568.82 c 1536s| 2350k| 1103k| 0 | 0.0 |1371M|1035 | - |1939 |6973 | 0 | 0 | 0 |1994k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1574.73/1574.71 c 1541s| 2360k| 1108k| 0 | 0.0 |1376M|1035 | - |1939 |6955 | 0 | 0 | 0 |2001k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1580.54/1580.54 c 1547s| 2370k| 1113k| 0 | 0.0 |1382M|1035 | - |1939 |7259 | 0 | 0 | 0 |2009k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1586.34/1586.31 c 1553s| 2380k| 1118k| 0 | 0.0 |1387M|1035 | - |1939 |6218 | 0 | 0 | 0 |2016k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1592.74/1592.77 c 1559s| 2390k| 1122k| 0 | 0.0 |1393M|1035 | - |1939 |7597 | 0 | 0 | 0 |2025k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1598.44/1598.47 c 1565s| 2400k| 1127k| 0 | 0.0 |1399M|1035 | - |1939 |6771 | 0 | 0 | 0 |2032k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1605.04/1605.07 c 1571s| 2410k| 1131k| 0 | 0.0 |1404M|1035 | - |1939 |8006 | 0 | 0 | 0 |2042k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1610.94/1610.99 c 1577s| 2420k| 1136k| 0 | 0.0 |1409M|1035 | - |1939 |7395 | 0 | 0 | 0 |2049k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1617.94/1617.90 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1617.94/1617.90 c 1584s| 2430k| 1140k| 0 | 0.0 |1414M|1035 | - |1939 |8085 | 0 | 0 | 0 |2058k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1624.24/1624.21 c 1590s| 2440k| 1145k| 0 | 0.0 |1420M|1035 | - |1939 |7659 | 0 | 0 | 0 |2067k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1631.14/1631.13 c 1596s| 2450k| 1148k| 0 | 0.0 |1425M|1035 | - |1939 |7924 | 0 | 0 | 0 |2076k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1637.84/1637.90 c 1603s| 2460k| 1153k| 0 | 0.0 |1430M|1035 | - |1939 |8063 | 0 | 0 | 0 |2085k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1644.34/1644.39 c 1609s| 2470k| 1157k| 0 | 0.0 |1435M|1035 | - |1939 |7382 | 0 | 0 | 0 |2093k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1651.74/1651.77 c 1617s| 2480k| 1160k| 0 | 0.0 |1440M|1035 | - |1939 |8448 | 0 | 0 | 0 |2103k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1658.34/1658.38 c 1623s| 2490k| 1165k| 0 | 0.0 |1446M|1035 | - |1939 |8700 | 0 | 0 | 0 |2111k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1666.34/1666.33 c 1631s| 2500k| 1167k| 0 | 0.0 |1450M|1035 | - |1939 |9410 | 0 | 0 | 0 |2122k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1673.15/1673.19 c 1638s| 2510k| 1172k| 0 | 0.0 |1455M|1035 | - |1939 |9018 | 0 | 0 | 0 |2131k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1681.34/1681.33 c 1646s| 2520k| 1174k| 0 | 0.0 |1459M|1035 | - |1939 |9657 | 0 | 0 | 0 |2141k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1688.44/1688.43 c 1653s| 2530k| 1178k| 0 | 0.0 |1465M|1035 | - |1939 |9149 | 0 | 0 | 0 |2150k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1696.75/1696.75 c 1661s| 2540k| 1181k| 0 | 0.0 |1468M|1035 | - |1939 |9978 | 0 | 0 | 0 |2161k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1704.24/1704.26 c 1668s| 2550k| 1185k| 0 | 0.0 |1474M|1035 | - |1939 |9793 | 0 | 0 | 0 |2170k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1713.34/1713.33 c 1677s| 2560k| 1187k| 0 | 0.0 |1477M|1035 | - |1939 | 10k| 0 | 0 | 0 |2182k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1720.94/1720.95 c 1685s| 2570k| 1190k| 0 | 0.0 |1482M|1035 | - |1939 | 10k| 0 | 0 | 0 |2191k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1730.24/1730.28 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1730.24/1730.28 c 1694s| 2580k| 1192k| 0 | 0.0 |1486M|1035 | - |1939 | 10k| 0 | 0 | 0 |2203k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1738.44/1738.42 c 1702s| 2590k| 1196k| 0 | 0.0 |1491M|1035 | - |1939 | 11k| 0 | 0 | 0 |2212k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1748.34/1748.32 c 1711s| 2600k| 1198k| 0 | 0.0 |1494M|1035 | - |1939 | 11k| 0 | 0 | 0 |2224k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1758.25/1758.26 c 1721s| 2610k| 1199k| 0 | 0.0 |1497M|1035 | - |1939 | 12k| 0 | 0 | 0 |2236k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1758.44/1758.49 o 3
1758.44/1758.49 c *1721s| 2610k| 1181k| 0 | 0.0 |1477M|1035 | - |1939 | 12k| 0 | 0 | 0 |2237k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1768.85/1768.81 c 1732s| 2620k| 1183k| 0 | 0.0 |1484M|1035 | - |1939 |5187 | 0 | 0 | 0 |2248k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1778.04/1778.06 c 1741s| 2630k| 1185k| 0 | 0.0 |1487M|1035 | - |1939 |6171 | 0 | 0 | 0 |2260k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1787.24/1787.24 c 1750s| 2640k| 1186k| 0 | 0.0 |1489M|1035 | - |1939 |8352 | 0 | 0 | 0 |2272k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1797.45/1797.46 c 1760s| 2650k| 1187k| 0 | 0.0 |1491M|1035 | - |1939 |9614 | 0 | 0 | 0 |2286k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1800.05/1800.00 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.05/1800.00 c
1800.05/1800.00 c SCIP Status : solving was interrupted [user interrupt]
1800.05/1800.00 c Solving Time (sec) : 1762.09
1800.05/1800.00 c Solving Nodes : 2652671
1800.05/1800.00 c Primal Bound : +3.00000000000000e+00 (28 solutions)
1800.05/1800.00 c Dual Bound : +0.00000000000000e+00
1800.05/1800.00 c Gap : infinite
1800.05/1800.01 s SATISFIABLE
1800.05/1800.01 v x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216 -x215 -x214 -x213 -x212 x211 -x210
1800.05/1800.01 v -x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 -x199 -x198 -x197 -x196 -x195 -x194 x193 -x192 -x191 -x190 -x189
1800.05/1800.01 v -x188 -x187 -x186 -x185 x184 -x183 -x182 -x181 -x180 -x179 -x178 x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 x169 -x168
1800.05/1800.01 v -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147
1800.05/1800.01 v -x146 -x145 x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 x128 -x127 -x126 -x125
1800.05/1800.01 v -x124 -x123 -x122 -x121 x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105 -x104
1800.05/1800.01 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.05/1800.01 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.05/1800.01 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.05/1800.01 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.05/1800.01 v -x1
1800.05/1800.01 c SCIP Status : solving was interrupted [user interrupt]
1800.05/1800.01 c Solving Time : 1762.09
1800.05/1800.01 c Original Problem :
1800.05/1800.01 c Problem name : HOME/instance-2694141-1277907427.wbo
1800.05/1800.01 c Variables : 2043 (1137 binary, 0 integer, 0 implicit integer, 906 continuous)
1800.05/1800.01 c Constraints : 3614 initial, 3614 maximal
1800.05/1800.01 c Presolved Problem :
1800.05/1800.01 c Problem name : t_HOME/instance-2694141-1277907427.wbo
1800.05/1800.01 c Variables : 1939 (1085 binary, 0 integer, 0 implicit integer, 854 continuous)
1800.05/1800.01 c Constraints : 3449 initial, 28364 maximal
1800.05/1800.01 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.05/1800.01 c trivial : 0.00 52 0 0 0 0 0 0 0
1800.05/1800.01 c dualfix : 0.00 52 0 0 0 0 0 0 0
1800.05/1800.01 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.01 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.01 c implics : 0.01 0 0 0 0 0 0 0 0
1800.05/1800.01 c probing : 0.03 0 0 0 0 0 0 0 0
1800.05/1800.01 c indicator : 0.00 0 0 0 0 0 52 0 0
1800.05/1800.01 c knapsack : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.01 c setppc : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.01 c linear : 0.03 0 0 0 906 0 113 52 0
1800.05/1800.01 c logicor : 0.03 0 0 0 0 0 0 0 0
1800.05/1800.01 c bounddisjunction : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.01 c root node : - 833 - - 1666 - - - -
1800.05/1800.01 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.05/1800.01 c integral : 0 0 0 0 0 0 0 0 0 0
1800.05/1800.01 c indicator : 854 0 5242284 0 1498039 226 1633946 0 0 0
1800.05/1800.01 c knapsack : 1 0 8429637 0 2137715 213106 24834731 0 0 0
1800.05/1800.01 c setppc : 14 0 8256552 0 2137773 107879 5849791 0 0 0
1800.05/1800.01 c linear : 854 0 8149219 0 2137872 202943 11189375 0 0 0
1800.05/1800.01 c logicor : 1726+ 0 6230726 0 2137894 297171 16237318 0 0 0
1800.05/1800.01 c bounddisjunction : 0+ 0 59422 0 0 2 17 0 0 0
1800.05/1800.02 c countsols : 0 0 0 0 2137894 0 0 0 0 0
1800.05/1800.02 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.05/1800.02 c integral : 0.00 0.00 0.00 0.00 0.00
1800.05/1800.02 c indicator : 11.79 0.00 5.93 0.00 5.86
1800.05/1800.02 c knapsack : 102.54 0.00 97.92 0.00 4.62
1800.05/1800.02 c setppc : 33.58 0.00 29.43 0.00 4.15
1800.05/1800.02 c linear : 149.89 0.00 148.51 0.00 1.38
1800.05/1800.02 c logicor : 543.80 0.00 426.01 0.00 117.79
1800.05/1800.02 c bounddisjunction : 0.20 0.00 0.20 0.00 0.00
1800.05/1800.02 c countsols : 0.31 0.00 0.00 0.00 0.31
1800.05/1800.02 c Propagators : Time Calls Cutoffs DomReds
1800.05/1800.02 c vbounds : 2.27 2 0 0
1800.05/1800.02 c rootredcost : 2.05 0 0 0
1800.05/1800.02 c pseudoobj : 164.65 8472528 2145 1613065
1800.05/1800.02 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.05/1800.02 c propagation : 28.44 823246 823215 3934399 20.1 80747 10.2 -
1800.05/1800.02 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.02 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.02 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.02 c pseudo solution : 0.04 75 75 293 19.2 53 8.2 -
1800.05/1800.02 c applied globally : - - - 2289520 17.7 - - -
1800.05/1800.02 c applied locally : - - - 41 128.0 - - -
1800.05/1800.02 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.05/1800.02 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.05/1800.02 c redcost : 0.00 0 0 0 0 0
1800.05/1800.02 c impliedbounds : 0.00 0 0 0 0 0
1800.05/1800.02 c intobj : 0.00 0 0 0 0 0
1800.05/1800.02 c cgmip : 0.00 0 0 0 0 0
1800.05/1800.02 c gomory : 0.00 0 0 0 0 0
1800.05/1800.02 c strongcg : 0.00 0 0 0 0 0
1800.05/1800.02 c cmir : 0.00 0 0 0 0 0
1800.05/1800.02 c flowcover : 0.00 0 0 0 0 0
1800.05/1800.02 c clique : 0.00 0 0 0 0 0
1800.05/1800.02 c zerohalf : 0.00 0 0 0 0 0
1800.05/1800.02 c mcf : 0.00 0 0 0 0 0
1800.05/1800.02 c rapidlearning : 0.00 0 0 0 0 0
1800.05/1800.02 c Pricers : Time Calls Vars
1800.05/1800.02 c problem variables: 0.00 0 0
1800.05/1800.02 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.05/1800.02 c relpscost : 0.00 0 0 0 0 0 0
1800.05/1800.02 c pscost : 0.00 0 0 0 0 0 0
1800.05/1800.02 c inference : 37.09 2137866 0 0 0 0 4275732
1800.05/1800.02 c mostinf : 0.00 0 0 0 0 0 0
1800.05/1800.02 c leastinf : 0.00 0 0 0 0 0 0
1800.05/1800.02 c fullstrong : 0.00 0 0 0 0 0 0
1800.05/1800.02 c allfullstrong : 0.00 0 0 0 0 0 0
1800.05/1800.02 c random : 0.00 0 0 0 0 0 0
1800.05/1800.02 c Primal Heuristics : Time Calls Found
1800.05/1800.02 c LP solutions : 0.00 - 0
1800.05/1800.02 c pseudo solutions : 0.15 - 28
1800.05/1800.02 c oneopt : 0.91 0 0
1800.05/1800.02 c trivial : 0.00 2 0
1800.05/1800.02 c simplerounding : 0.00 0 0
1800.05/1800.02 c zirounding : 0.00 0 0
1800.05/1800.02 c rounding : 0.00 0 0
1800.05/1800.02 c shifting : 0.00 0 0
1800.05/1800.02 c intshifting : 0.00 0 0
1800.05/1800.02 c twoopt : 0.00 0 0
1800.05/1800.02 c fixandinfer : 0.00 0 0
1800.05/1800.02 c feaspump : 0.00 0 0
1800.05/1800.02 c coefdiving : 0.00 0 0
1800.05/1800.02 c pscostdiving : 0.00 0 0
1800.05/1800.02 c fracdiving : 0.00 0 0
1800.05/1800.02 c veclendiving : 0.00 0 0
1800.05/1800.02 c intdiving : 0.00 0 0
1800.05/1800.02 c actconsdiving : 0.00 0 0
1800.05/1800.02 c objpscostdiving : 0.00 0 0
1800.05/1800.02 c rootsoldiving : 0.00 0 0
1800.05/1800.02 c linesearchdiving : 0.00 0 0
1800.05/1800.02 c guideddiving : 0.00 0 0
1800.05/1800.02 c octane : 0.00 0 0
1800.05/1800.02 c rens : 0.00 0 0
1800.05/1800.02 c rins : 0.00 0 0
1800.05/1800.02 c localbranching : 0.00 0 0
1800.05/1800.02 c mutation : 0.00 0 0
1800.05/1800.02 c crossover : 0.00 0 0
1800.05/1800.02 c dins : 0.00 0 0
1800.05/1800.02 c undercover : 0.00 0 0
1800.05/1800.02 c nlp : 0.79 0 0
1800.05/1800.02 c trysol : 0.59 1 0
1800.05/1800.02 c LP : Time Calls Iterations Iter/call Iter/sec
1800.05/1800.02 c primal LP : 0.00 0 0 0.00 -
1800.05/1800.02 c dual LP : 0.00 0 0 0.00 -
1800.05/1800.02 c lex dual LP : 0.00 0 0 0.00 -
1800.05/1800.02 c barrier LP : 0.00 0 0 0.00 -
1800.05/1800.02 c diving/probing LP: 0.00 0 0 0.00 -
1800.05/1800.02 c strong branching : 0.00 0 0 0.00 -
1800.05/1800.02 c (at root node) : - 0 0 0.00 -
1800.05/1800.02 c conflict analysis: 0.00 0 0 0.00 -
1800.05/1800.02 c B&B Tree :
1800.05/1800.02 c number of runs : 1
1800.05/1800.02 c nodes : 2652671
1800.05/1800.02 c nodes (total) : 2652671
1800.05/1800.02 c nodes left : 1187720
1800.05/1800.02 c max depth : 1035
1800.05/1800.02 c max depth (total): 1035
1800.05/1800.02 c backtracks : 498191 (18.8%)
1800.05/1800.02 c delayed cutoffs : 400245
1800.05/1800.02 c repropagations : 1815011 (18533504 domain reductions, 308770 cutoffs)
1800.05/1800.02 c avg switch length: 23.90
1800.05/1800.02 c switching time : 528.12
1800.05/1800.02 c Solution :
1800.05/1800.02 c Solutions found : 28 (28 improvements)
1800.05/1800.02 c First Solution : +5.31000000000000e+02 (in run 1, after 3625 nodes, 0.96 seconds, depth 207, found by <relaxation>)
1800.05/1800.02 c Primal Bound : +3.00000000000000e+00 (in run 1, after 2610192 nodes, 1721.41 seconds, depth 119, found by <relaxation>)
1800.05/1800.02 c Dual Bound : +0.00000000000000e+00
1800.05/1800.02 c Gap : infinite
1800.05/1800.02 c Root Dual Bound : +0.00000000000000e+00
1800.05/1800.02 c Root Iterations : 0