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-2694131-1277906938.wbo>
0.00/0.02 c original problem has 2153 variables (1192 bin, 0 int, 0 impl, 961 cont) and 3669 constraints
0.00/0.02 c problem read
0.00/0.02 c presolving settings loaded
0.00/0.02 c [src/scip/lpi_none.c:41] ERROR: there is no LP solver linked to the binary (LPS=none); you should set the parameter <lp/solvefreq> to <-1> to avoid solving LPs
0.00/0.04 c presolving:
0.00/0.04 c (round 1) 0 del vars, 1 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 1161 impls, 15 clqs
0.00/0.07 c (round 2) 0 del vars, 107 del conss, 961 chg bounds, 50 chg sides, 0 chg coeffs, 0 upgd conss, 1161 impls, 15 clqs
0.00/0.08 c (round 3) 50 del vars, 157 del conss, 961 chg bounds, 50 chg sides, 0 chg coeffs, 1690 upgd conss, 1161 impls, 15 clqs
0.00/0.09 c (round 4) 100 del vars, 157 del conss, 961 chg bounds, 50 chg sides, 0 chg coeffs, 1690 upgd conss, 1161 impls, 15 clqs
0.09/0.14 c (0.1s) probing: 101/1142 (8.8%) - 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 100 deleted vars, 157 deleted constraints, 961 tightened bounds, 0 added holes, 50 changed sides, 0 changed coefficients
0.09/0.14 c 1161 implications, 15 cliques
0.09/0.14 c presolved problem has 2053 variables (1142 bin, 0 int, 0 impl, 911 cont) and 3512 constraints
0.09/0.14 c 911 constraints of type <indicator>
0.09/0.14 c 1 constraints of type <knapsack>
0.09/0.14 c 15 constraints of type <setppc>
0.09/0.14 c 911 constraints of type <linear>
0.09/0.14 c 1674 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.09
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.14 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.14 c 0.1s| 1 | 2 | 0 | - |7818k| 0 | - |2053 |3512 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
0.99/1.02 o 387
0.99/1.02 c * 0.9s| 3706 | 3034 | 0 | 0.0 | 10M|1099 | - |2053 |4111 | 0 | 0 | 0 | 785 | 0 | 0.000000e+00 | 3.870000e+02 | Inf
1.10/1.13 o 306
1.10/1.13 c * 1.1s| 4087 | 3389 | 0 | 0.0 | 10M|1099 | - |2053 |4133 | 0 | 0 | 0 | 811 | 0 | 0.000000e+00 | 3.060000e+02 | Inf
1.10/1.13 o 255
1.10/1.13 c * 1.1s| 4088 | 3378 | 0 | 0.0 | 10M|1099 | - |2053 |4133 | 0 | 0 | 0 | 811 | 0 | 0.000000e+00 | 2.550000e+02 | Inf
2.68/2.70 c 2.5s| 10000 | 8280 | 0 | 0.0 | 14M|1099 | - |2053 |4677 | 0 | 0 | 0 |3040 | 0 | 0.000000e+00 | 2.550000e+02 | Inf
6.09/6.14 c 5.9s| 20000 | 14996 | 0 | 0.0 | 22M|1099 | - |2053 |5799 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | 2.550000e+02 | Inf
7.59/7.62 o 241
7.59/7.62 c * 7.3s| 22829 | 16112 | 0 | 0.0 | 25M|1099 | - |2053 |6634 | 0 | 0 | 0 | 14k| 0 | 0.000000e+00 | 2.410000e+02 | Inf
7.59/7.62 o 232
7.59/7.62 c * 7.3s| 22830 | 16108 | 0 | 0.0 | 25M|1099 | - |2053 |6634 | 0 | 0 | 0 | 14k| 0 | 0.000000e+00 | 2.320000e+02 | Inf
7.69/7.79 o 228
7.69/7.79 c * 7.5s| 23324 | 16576 | 0 | 0.0 | 25M|1099 | - |2053 |6421 | 0 | 0 | 0 | 14k| 0 | 0.000000e+00 | 2.280000e+02 | Inf
7.79/7.85 o 179
7.79/7.85 c * 7.6s| 23519 | 16718 | 0 | 0.0 | 25M|1099 | - |2053 |6332 | 0 | 0 | 0 | 14k| 0 | 0.000000e+00 | 1.790000e+02 | Inf
7.79/7.85 o 166
7.79/7.85 c * 7.6s| 23520 | 16667 | 0 | 0.0 | 25M|1099 | - |2053 |6332 | 0 | 0 | 0 | 14k| 0 | 0.000000e+00 | 1.660000e+02 | Inf
8.58/8.63 o 159
8.58/8.63 c * 8.3s| 25904 | 18844 | 0 | 0.0 | 27M|1099 | - |2053 |5679 | 0 | 0 | 0 | 14k| 0 | 0.000000e+00 | 1.590000e+02 | Inf
9.39/9.47 o 150
9.39/9.47 c * 9.1s| 28440 | 21137 | 0 | 0.0 | 29M|1099 | - |2053 |5189 | 0 | 0 | 0 | 15k| 0 | 0.000000e+00 | 1.500000e+02 | Inf
9.39/9.47 o 147
9.39/9.47 c * 9.1s| 28441 | 21107 | 0 | 0.0 | 29M|1099 | - |2053 |5189 | 0 | 0 | 0 | 15k| 0 | 0.000000e+00 | 1.470000e+02 | Inf
9.89/9.98 c 9.6s| 30000 | 22524 | 0 | 0.0 | 30M|1099 | - |2053 |5016 | 0 | 0 | 0 | 15k| 0 | 0.000000e+00 | 1.470000e+02 | Inf
11.09/11.17 o 125
11.09/11.17 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
11.09/11.17 c *10.8s| 33860 | 25581 | 0 | 0.0 | 33M|1099 | - |2053 |5613 | 0 | 0 | 0 | 17k| 0 | 0.000000e+00 | 1.250000e+02 | Inf
12.99/13.10 c 12.6s| 40000 | 30414 | 0 | 0.0 | 37M|1099 | - |2053 |5721 | 0 | 0 | 0 | 21k| 0 | 0.000000e+00 | 1.250000e+02 | Inf
16.29/16.38 c 15.8s| 50000 | 37719 | 0 | 0.0 | 44M|1099 | - |2053 |6627 | 0 | 0 | 0 | 26k| 0 | 0.000000e+00 | 1.250000e+02 | Inf
19.89/19.97 c 19.3s| 60000 | 44619 | 0 | 0.0 | 50M|1099 | - |2053 |6905 | 0 | 0 | 0 | 32k| 0 | 0.000000e+00 | 1.250000e+02 | Inf
23.59/23.60 c 22.8s| 70000 | 51377 | 0 | 0.0 | 57M|1099 | - |2053 |7323 | 0 | 0 | 0 | 39k| 0 | 0.000000e+00 | 1.250000e+02 | Inf
27.39/27.47 c 26.6s| 80000 | 57813 | 0 | 0.0 | 64M|1099 | - |2053 |8120 | 0 | 0 | 0 | 46k| 0 | 0.000000e+00 | 1.250000e+02 | Inf
32.29/32.32 c 31.3s| 90000 | 62863 | 0 | 0.0 | 72M|1099 | - |2053 |8882 | 0 | 0 | 0 | 57k| 0 | 0.000000e+00 | 1.250000e+02 | Inf
37.59/37.67 c 36.5s|100000 | 67345 | 0 | 0.0 | 80M|1099 | - |2053 |9359 | 0 | 0 | 0 | 69k| 0 | 0.000000e+00 | 1.250000e+02 | Inf
43.39/43.44 c 42.2s|110000 | 71238 | 0 | 0.0 | 87M|1099 | - |2053 |9843 | 0 | 0 | 0 | 83k| 0 | 0.000000e+00 | 1.250000e+02 | Inf
50.79/50.82 c 49.4s|120000 | 73285 | 0 | 0.0 | 94M|1099 | - |2053 | 12k| 0 | 0 | 0 | 102k| 0 | 0.000000e+00 | 1.250000e+02 | Inf
53.69/53.70 o 113
53.69/53.70 c *52.2s|123840 | 74210 | 0 | 0.0 | 95M|1099 | - |2053 | 11k| 0 | 0 | 0 | 109k| 0 | 0.000000e+00 | 1.130000e+02 | Inf
53.69/53.70 o 103
53.69/53.70 c *52.2s|123841 | 74078 | 0 | 0.0 | 95M|1099 | - |2053 | 11k| 0 | 0 | 0 | 109k| 0 | 0.000000e+00 | 1.030000e+02 | Inf
56.09/56.11 c 54.6s|130000 | 79632 | 0 | 0.0 | 100M|1099 | - |2053 |6293 | 0 | 0 | 0 | 111k| 0 | 0.000000e+00 | 1.030000e+02 | Inf
58.69/58.72 o 102
58.69/58.72 c *57.1s|136645 | 85392 | 0 | 0.0 | 107M|1099 | - |2053 |5724 | 0 | 0 | 0 | 113k| 0 | 0.000000e+00 | 1.020000e+02 | Inf
59.99/60.07 c 58.4s|140000 | 88262 | 0 | 0.0 | 113M|1099 | - |2053 |5855 | 0 | 0 | 0 | 114k| 0 | 0.000000e+00 | 1.020000e+02 | Inf
60.29/60.37 o 78
60.29/60.37 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
60.29/60.37 c *58.7s|140716 | 84910 | 0 | 0.0 | 104M|1099 | - |2053 |5919 | 0 | 0 | 0 | 114k| 0 | 0.000000e+00 | 7.800000e+01 | Inf
61.98/62.05 o 49
61.98/62.05 c *60.4s|144377 | 86911 | 0 | 0.0 | 108M|1099 | - |2053 |5592 | 0 | 0 | 0 | 116k| 0 | 0.000000e+00 | 4.900000e+01 | Inf
64.59/64.64 c 62.9s|150000 | 91006 | 0 | 0.0 | 114M|1099 | - |2053 |5218 | 0 | 0 | 0 | 119k| 0 | 0.000000e+00 | 4.900000e+01 | Inf
67.29/67.30 o 45
67.29/67.30 c *65.4s|157568 | 97243 | 0 | 0.0 | 119M|1099 | - |2053 |4698 | 0 | 0 | 0 | 122k| 0 | 0.000000e+00 | 4.500000e+01 | Inf
68.19/68.25 c 66.3s|160000 | 99218 | 0 | 0.0 | 121M|1099 | - |2053 |4328 | 0 | 0 | 0 | 123k| 0 | 0.000000e+00 | 4.500000e+01 | Inf
70.49/70.51 o 44
70.49/70.51 c *68.5s|165469 |103141 | 0 | 0.0 | 126M|1099 | - |2053 |4640 | 0 | 0 | 0 | 125k| 0 | 0.000000e+00 | 4.400000e+01 | Inf
72.08/72.15 c 70.1s|170000 |106732 | 0 | 0.0 | 130M|1099 | - |2053 |4259 | 0 | 0 | 0 | 127k| 0 | 0.000000e+00 | 4.400000e+01 | Inf
75.39/75.43 o 10
75.39/75.43 c *73.3s|179567 |110206 | 0 | 0.0 | 125M|1099 | - |2053 |5164 | 0 | 0 | 0 | 130k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
75.58/75.62 c 73.4s|180000 |110498 | 0 | 0.0 | 126M|1099 | - |2053 |5284 | 0 | 0 | 0 | 130k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
79.20/79.22 c 76.9s|190000 |117884 | 0 | 0.0 | 133M|1099 | - |2053 |5542 | 0 | 0 | 0 | 136k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
82.98/83.07 c 80.7s|200000 |124631 | 0 | 0.0 | 140M|1099 | - |2053 |5834 | 0 | 0 | 0 | 142k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
86.79/86.88 c 84.3s|210000 |131341 | 0 | 0.0 | 146M|1099 | - |2053 |6206 | 0 | 0 | 0 | 149k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
90.49/90.57 c 87.9s|220000 |138519 | 0 | 0.0 | 153M|1099 | - |2053 |6914 | 0 | 0 | 0 | 155k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
94.38/94.44 c 91.7s|230000 |145518 | 0 | 0.0 | 160M|1099 | - |2053 |6830 | 0 | 0 | 0 | 161k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
98.09/98.12 c 95.2s|240000 |152624 | 0 | 0.0 | 166M|1099 | - |2053 |6605 | 0 | 0 | 0 | 167k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
98.69/98.76 o 8
98.69/98.76 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
98.69/98.76 c *95.8s|242044 |153859 | 0 | 0.0 | 167M|1099 | - |2053 |5392 | 0 | 0 | 0 | 167k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
101.39/101.40 c 98.4s|250000 |159878 | 0 | 0.0 | 172M|1099 | - |2053 |5337 | 0 | 0 | 0 | 171k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
105.69/105.75 c 103s|260000 |165841 | 0 | 0.0 | 179M|1099 | - |2053 |6564 | 0 | 0 | 0 | 179k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
110.89/110.90 c 108s|270000 |170892 | 0 | 0.0 | 186M|1099 | - |2053 |6732 | 0 | 0 | 0 | 188k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
116.49/116.53 c 113s|280000 |175240 | 0 | 0.0 | 193M|1099 | - |2053 |6937 | 0 | 0 | 0 | 198k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
122.28/122.33 c 119s|290000 |179377 | 0 | 0.0 | 200M|1099 | - |2053 |7755 | 0 | 0 | 0 | 209k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
128.70/128.72 c 125s|300000 |182782 | 0 | 0.0 | 207M|1099 | - |2053 |8276 | 0 | 0 | 0 | 221k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
135.30/135.35 c 132s|310000 |185963 | 0 | 0.0 | 213M|1099 | - |2053 |7661 | 0 | 0 | 0 | 232k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
141.90/141.95 c 138s|320000 |189090 | 0 | 0.0 | 220M|1099 | - |2053 |8686 | 0 | 0 | 0 | 244k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
148.89/148.98 c 145s|330000 |191757 | 0 | 0.0 | 227M|1099 | - |2053 |9524 | 0 | 0 | 0 | 257k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
156.19/156.25 c 152s|340000 |194235 | 0 | 0.0 | 233M|1099 | - |2053 |9054 | 0 | 0 | 0 | 270k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
163.29/163.36 c 159s|350000 |196918 | 0 | 0.0 | 240M|1099 | - |2053 |9832 | 0 | 0 | 0 | 282k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
170.50/170.57 c 166s|360000 |199585 | 0 | 0.0 | 246M|1099 | - |2053 | 10k| 0 | 0 | 0 | 295k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
177.79/177.80 c 173s|370000 |202227 | 0 | 0.0 | 252M|1099 | - |2053 | 10k| 0 | 0 | 0 | 308k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
184.69/184.77 c 180s|380000 |205238 | 0 | 0.0 | 258M|1099 | - |2053 | 11k| 0 | 0 | 0 | 321k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
192.40/192.44 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
192.40/192.44 c 188s|390000 |207499 | 0 | 0.0 | 263M|1099 | - |2053 | 11k| 0 | 0 | 0 | 334k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
200.39/200.43 c 195s|400000 |209435 | 0 | 0.0 | 269M|1099 | - |2053 | 12k| 0 | 0 | 0 | 349k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
208.90/208.98 c 204s|410000 |210704 | 0 | 0.0 | 272M|1099 | - |2053 | 11k| 0 | 0 | 0 | 365k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
217.59/217.64 c 212s|420000 |210370 | 0 | 0.0 | 274M|1099 | - |2053 |9045 | 0 | 0 | 0 | 382k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
225.69/225.77 c 220s|430000 |207176 | 0 | 0.0 | 267M|1099 | - |2053 |5284 | 0 | 0 | 0 | 397k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
229.59/229.65 c 224s|440000 |214753 | 0 | 0.0 | 274M|1099 | - |2053 |5676 | 0 | 0 | 0 | 403k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
233.59/233.67 c 228s|450000 |222146 | 0 | 0.0 | 281M|1099 | - |2053 |5996 | 0 | 0 | 0 | 410k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
238.09/238.12 c 232s|460000 |229022 | 0 | 0.0 | 289M|1099 | - |2053 |6734 | 0 | 0 | 0 | 417k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
242.69/242.77 c 237s|470000 |235695 | 0 | 0.0 | 296M|1099 | - |2053 |7227 | 0 | 0 | 0 | 425k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
247.99/248.05 c 242s|480000 |241664 | 0 | 0.0 | 304M|1099 | - |2053 |7904 | 0 | 0 | 0 | 433k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
253.59/253.67 c 247s|490000 |247387 | 0 | 0.0 | 311M|1099 | - |2053 |8459 | 0 | 0 | 0 | 443k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
259.89/259.90 c 254s|500000 |252427 | 0 | 0.0 | 319M|1099 | - |2053 |9481 | 0 | 0 | 0 | 453k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
267.20/267.27 c 261s|510000 |256403 | 0 | 0.0 | 327M|1099 | - |2053 | 10k| 0 | 0 | 0 | 465k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
276.00/276.03 c 269s|520000 |258969 | 0 | 0.0 | 335M|1099 | - |2053 | 11k| 0 | 0 | 0 | 479k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
287.40/287.42 c 281s|530000 |258591 | 0 | 0.0 | 340M|1099 | - |2053 | 11k| 0 | 0 | 0 | 497k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
291.59/291.69 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
291.59/291.69 c 285s|540000 |265966 | 0 | 0.0 | 348M|1099 | - |2053 |7260 | 0 | 0 | 0 | 503k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
295.99/296.03 c 289s|550000 |273093 | 0 | 0.0 | 358M|1099 | - |2053 |7466 | 0 | 0 | 0 | 509k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
300.39/300.40 c 293s|560000 |280121 | 0 | 0.0 | 367M|1099 | - |2053 |7957 | 0 | 0 | 0 | 516k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
305.09/305.14 c 298s|570000 |286759 | 0 | 0.0 | 375M|1099 | - |2053 |7040 | 0 | 0 | 0 | 523k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
309.59/309.68 c 302s|580000 |293035 | 0 | 0.0 | 382M|1099 | - |2053 |8797 | 0 | 0 | 0 | 532k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
314.80/314.88 c 307s|590000 |298682 | 0 | 0.0 | 388M|1099 | - |2053 |9890 | 0 | 0 | 0 | 541k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
321.40/321.40 c 314s|600000 |302972 | 0 | 0.0 | 396M|1099 | - |2053 | 12k| 0 | 0 | 0 | 552k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
330.19/330.29 c 322s|610000 |305096 | 0 | 0.0 | 403M|1099 | - |2053 | 14k| 0 | 0 | 0 | 566k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
338.09/338.11 c 330s|620000 |308502 | 0 | 0.0 | 408M|1099 | - |2053 |9821 | 0 | 0 | 0 | 578k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
341.89/341.99 c 334s|630000 |315880 | 0 | 0.0 | 414M|1099 | - |2053 |9442 | 0 | 0 | 0 | 584k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
346.09/346.15 c 338s|640000 |322922 | 0 | 0.0 | 421M|1099 | - |2053 |9988 | 0 | 0 | 0 | 590k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
350.50/350.52 c 342s|650000 |329675 | 0 | 0.0 | 428M|1099 | - |2053 | 10k| 0 | 0 | 0 | 597k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
355.20/355.20 c 347s|660000 |336096 | 0 | 0.0 | 434M|1099 | - |2053 | 11k| 0 | 0 | 0 | 605k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
360.49/360.57 c 352s|670000 |341710 | 0 | 0.0 | 442M|1099 | - |2053 | 12k| 0 | 0 | 0 | 613k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
366.99/367.06 c 358s|680000 |346347 | 0 | 0.0 | 450M|1099 | - |2053 | 14k| 0 | 0 | 0 | 623k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
375.39/375.45 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
375.39/375.45 c 366s|690000 |349442 | 0 | 0.0 | 457M|1099 | - |2053 | 15k| 0 | 0 | 0 | 636k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
383.80/383.86 c 375s|700000 |352874 | 0 | 0.0 | 462M|1099 | - |2053 | 14k| 0 | 0 | 0 | 648k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
388.10/388.18 c 379s|710000 |360520 | 0 | 0.0 | 469M|1099 | - |2053 | 12k| 0 | 0 | 0 | 654k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
392.60/392.60 c 383s|720000 |367764 | 0 | 0.0 | 476M|1099 | - |2053 | 12k| 0 | 0 | 0 | 660k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
397.50/397.56 c 388s|730000 |374461 | 0 | 0.0 | 484M|1099 | - |2053 | 13k| 0 | 0 | 0 | 668k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
403.00/403.09 c 393s|740000 |380803 | 0 | 0.0 | 493M|1099 | - |2053 | 15k| 0 | 0 | 0 | 675k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
409.59/409.67 c 400s|750000 |386207 | 0 | 0.0 | 501M|1099 | - |2053 | 16k| 0 | 0 | 0 | 685k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
418.10/418.19 c 408s|760000 |390060 | 0 | 0.0 | 509M|1099 | - |2053 | 18k| 0 | 0 | 0 | 698k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
428.10/428.11 c 418s|770000 |393326 | 0 | 0.0 | 515M|1099 | - |2053 | 18k| 0 | 0 | 0 | 711k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
433.00/433.07 c 423s|780000 |400820 | 0 | 0.0 | 521M|1099 | - |2053 | 14k| 0 | 0 | 0 | 717k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
438.00/438.06 c 428s|790000 |407868 | 0 | 0.0 | 529M|1099 | - |2053 | 14k| 0 | 0 | 0 | 723k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
443.50/443.51 c 433s|800000 |414442 | 0 | 0.0 | 536M|1099 | - |2053 | 15k| 0 | 0 | 0 | 731k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
449.50/449.59 c 439s|810000 |420421 | 0 | 0.0 | 544M|1099 | - |2053 | 15k| 0 | 0 | 0 | 739k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
456.20/456.24 c 445s|820000 |425883 | 0 | 0.0 | 552M|1099 | - |2053 | 16k| 0 | 0 | 0 | 749k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
463.49/463.56 c 453s|830000 |430656 | 0 | 0.0 | 559M|1099 | - |2053 | 18k| 0 | 0 | 0 | 761k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
473.40/473.47 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
473.40/473.47 c 462s|840000 |433149 | 0 | 0.0 | 566M|1099 | - |2053 | 21k| 0 | 0 | 0 | 776k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
478.90/478.93 c 468s|850000 |440544 | 0 | 0.0 | 570M|1099 | - |2053 | 15k| 0 | 0 | 0 | 782k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
484.60/484.70 c 473s|860000 |447165 | 0 | 0.0 | 578M|1099 | - |2053 | 16k| 0 | 0 | 0 | 789k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
491.30/491.39 c 480s|870000 |452898 | 0 | 0.0 | 585M|1099 | - |2053 | 18k| 0 | 0 | 0 | 799k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
498.80/498.88 c 487s|880000 |457886 | 0 | 0.0 | 592M|1099 | - |2053 | 20k| 0 | 0 | 0 | 810k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
508.90/508.96 c 497s|890000 |460927 | 0 | 0.0 | 598M|1099 | - |2053 | 21k| 0 | 0 | 0 | 825k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
516.10/516.14 c 504s|900000 |467051 | 0 | 0.0 | 602M|1099 | - |2053 | 18k| 0 | 0 | 0 | 833k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
522.89/522.92 c 511s|910000 |473292 | 0 | 0.0 | 609M|1099 | - |2053 | 19k| 0 | 0 | 0 | 841k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
530.50/530.51 c 518s|920000 |478751 | 0 | 0.0 | 616M|1099 | - |2053 | 20k| 0 | 0 | 0 | 851k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
540.50/540.56 c 528s|930000 |482474 | 0 | 0.0 | 623M|1099 | - |2053 | 23k| 0 | 0 | 0 | 864k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
550.50/550.52 c 538s|940000 |486922 | 0 | 0.0 | 627M|1099 | - |2053 | 20k| 0 | 0 | 0 | 876k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
557.40/557.41 c 545s|950000 |493462 | 0 | 0.0 | 634M|1099 | - |2053 | 20k| 0 | 0 | 0 | 883k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
565.10/565.13 c 552s|960000 |499092 | 0 | 0.0 | 640M|1099 | - |2053 | 21k| 0 | 0 | 0 | 892k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
574.00/574.10 c 561s|970000 |503488 | 0 | 0.0 | 646M|1099 | - |2053 | 21k| 0 | 0 | 0 | 904k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
585.11/585.16 c 572s|980000 |506372 | 0 | 0.0 | 647M|1099 | - |2053 | 12k| 0 | 0 | 0 | 918k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
589.71/589.79 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
589.71/589.79 c 577s|990000 |513261 | 0 | 0.0 | 654M|1099 | - |2053 | 10k| 0 | 0 | 0 | 925k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
593.50/593.54 c 580s| 1000k|521428 | 0 | 0.0 | 660M|1099 | - |2053 |8683 | 0 | 0 | 0 | 929k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
598.60/598.68 c 585s| 1010k|527969 | 0 | 0.0 | 668M|1099 | - |2053 | 10k| 0 | 0 | 0 | 937k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
602.30/602.33 c 589s| 1020k|535929 | 0 | 0.0 | 673M|1099 | - |2053 |9483 | 0 | 0 | 0 | 941k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
607.10/607.13 c 594s| 1030k|542518 | 0 | 0.0 | 679M|1099 | - |2053 |9867 | 0 | 0 | 0 | 947k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
611.51/611.54 c 598s| 1040k|549356 | 0 | 0.0 | 686M|1099 | - |2053 | 10k| 0 | 0 | 0 | 953k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
616.01/616.00 c 602s| 1050k|555822 | 0 | 0.0 | 690M|1099 | - |2053 |5477 | 0 | 0 | 0 | 959k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
619.00/619.05 c 605s| 1060k|564079 | 0 | 0.0 | 696M|1099 | - |2053 |5387 | 0 | 0 | 0 | 963k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
627.41/627.44 c 613s| 1070k|565699 | 0 | 0.0 | 703M|1099 | - |2053 | 11k| 0 | 0 | 0 | 978k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
638.30/638.34 c 624s| 1080k|566183 | 0 | 0.0 | 710M|1099 | - |2053 | 12k| 0 | 0 | 0 | 996k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
649.40/649.49 c 635s| 1090k|566507 | 0 | 0.0 | 715M|1099 | - |2053 | 12k| 0 | 0 | 0 |1013k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
661.20/661.27 c 647s| 1100k|566276 | 0 | 0.0 | 719M|1099 | - |2053 | 12k| 0 | 0 | 0 |1031k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
673.50/673.59 c 659s| 1110k|565569 | 0 | 0.0 | 724M|1099 | - |2053 | 12k| 0 | 0 | 0 |1050k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
687.10/687.10 c 672s| 1120k|563721 | 0 | 0.0 | 726M|1099 | - |2053 | 13k| 0 | 0 | 0 |1070k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
701.20/701.24 c 686s| 1130k|561106 | 0 | 0.0 | 727M|1099 | - |2053 | 13k| 0 | 0 | 0 |1090k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
715.70/715.79 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
715.70/715.79 c 701s| 1140k|558090 | 0 | 0.0 | 727M|1099 | - |2053 | 14k| 0 | 0 | 0 |1111k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
730.90/730.95 c 716s| 1150k|554721 | 0 | 0.0 | 726M|1099 | - |2053 | 15k| 0 | 0 | 0 |1132k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
746.40/746.47 c 731s| 1160k|550928 | 0 | 0.0 | 725M|1099 | - |2053 | 17k| 0 | 0 | 0 |1153k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
762.80/762.87 c 747s| 1170k|546820 | 0 | 0.0 | 723M|1099 | - |2053 | 17k| 0 | 0 | 0 |1174k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
779.30/779.31 c 764s| 1180k|542464 | 0 | 0.0 | 718M|1099 | - |2053 | 19k| 0 | 0 | 0 |1196k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
797.21/797.29 c 781s| 1190k|536032 | 0 | 0.0 | 709M|1099 | - |2053 | 19k| 0 | 0 | 0 |1219k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
817.51/817.51 c 801s| 1200k|526657 | 0 | 0.0 | 694M|1099 | - |2053 | 23k| 0 | 0 | 0 |1248k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
828.31/828.37 c 812s| 1210k|529633 | 0 | 0.0 | 689M|1099 | - |2053 |9055 | 0 | 0 | 0 |1261k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
834.60/834.62 c 818s| 1220k|535795 | 0 | 0.0 | 695M|1099 | - |2053 |8900 | 0 | 0 | 0 |1270k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
841.11/841.12 c 825s| 1230k|541760 | 0 | 0.0 | 702M|1099 | - |2053 |9469 | 0 | 0 | 0 |1278k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
848.31/848.30 c 832s| 1240k|547311 | 0 | 0.0 | 709M|1099 | - |2053 | 10k| 0 | 0 | 0 |1288k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
855.51/855.50 c 839s| 1250k|552917 | 0 | 0.0 | 716M|1099 | - |2053 | 10k| 0 | 0 | 0 |1297k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
862.70/862.75 c 846s| 1260k|558564 | 0 | 0.0 | 723M|1099 | - |2053 | 11k| 0 | 0 | 0 |1306k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
870.90/870.97 c 854s| 1270k|563562 | 0 | 0.0 | 730M|1099 | - |2053 | 11k| 0 | 0 | 0 |1317k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
879.81/879.89 c 863s| 1280k|568091 | 0 | 0.0 | 737M|1099 | - |2053 | 12k| 0 | 0 | 0 |1328k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
882.41/882.48 o 5
882.41/882.48 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
882.41/882.48 c * 865s| 1283k|559654 | 0 | 0.0 | 719M|1099 | - |2053 | 12k| 0 | 0 | 0 |1331k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
889.21/889.26 c 872s| 1290k|562418 | 0 | 0.0 | 726M|1099 | - |2053 | 12k| 0 | 0 | 0 |1339k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
898.01/898.05 c 881s| 1300k|567423 | 0 | 0.0 | 736M|1099 | - |2053 | 11k| 0 | 0 | 0 |1348k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
907.71/907.77 c 890s| 1310k|571560 | 0 | 0.0 | 745M|1099 | - |2053 | 11k| 0 | 0 | 0 |1359k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
916.91/916.91 c 899s| 1320k|575353 | 0 | 0.0 | 751M|1099 | - |2053 |9551 | 0 | 0 | 0 |1371k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
925.51/925.55 c 908s| 1330k|578611 | 0 | 0.0 | 758M|1099 | - |2053 | 10k| 0 | 0 | 0 |1385k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
934.61/934.63 c 917s| 1340k|581678 | 0 | 0.0 | 764M|1099 | - |2053 | 11k| 0 | 0 | 0 |1399k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
943.81/943.85 c 926s| 1350k|584532 | 0 | 0.0 | 770M|1099 | - |2053 | 11k| 0 | 0 | 0 |1413k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
953.11/953.12 c 935s| 1360k|587285 | 0 | 0.0 | 775M|1099 | - |2053 | 11k| 0 | 0 | 0 |1428k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
962.71/962.76 c 944s| 1370k|589784 | 0 | 0.0 | 781M|1099 | - |2053 | 11k| 0 | 0 | 0 |1443k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
972.61/972.66 c 954s| 1380k|592018 | 0 | 0.0 | 786M|1099 | - |2053 | 11k| 0 | 0 | 0 |1460k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
983.11/983.19 c 964s| 1390k|593868 | 0 | 0.0 | 791M|1099 | - |2053 | 12k| 0 | 0 | 0 |1476k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
994.51/994.50 c 975s| 1400k|595239 | 0 | 0.0 | 797M|1099 | - |2053 | 13k| 0 | 0 | 0 |1494k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1007.11/1007.14 c 988s| 1410k|595722 | 0 | 0.0 | 801M|1099 | - |2053 | 14k| 0 | 0 | 0 |1514k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1019.31/1019.34 c 1000s| 1420k|596836 | 0 | 0.0 | 806M|1099 | - |2053 | 15k| 0 | 0 | 0 |1532k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1033.11/1033.14 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1033.11/1033.14 c 1014s| 1430k|597040 | 0 | 0.0 | 810M|1099 | - |2053 | 17k| 0 | 0 | 0 |1552k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1047.91/1047.93 c 1028s| 1440k|597175 | 0 | 0.0 | 813M|1099 | - |2053 | 18k| 0 | 0 | 0 |1572k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1065.92/1065.93 c 1046s| 1450k|595385 | 0 | 0.0 | 815M|1099 | - |2053 | 20k| 0 | 0 | 0 |1595k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1084.71/1084.75 c 1065s| 1460k|592893 | 0 | 0.0 | 811M|1099 | - |2053 | 19k| 0 | 0 | 0 |1619k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1091.71/1091.77 c 1072s| 1470k|598675 | 0 | 0.0 | 815M|1099 | - |2053 | 11k| 0 | 0 | 0 |1629k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1098.11/1098.12 c 1078s| 1480k|604232 | 0 | 0.0 | 822M|1099 | - |2053 | 11k| 0 | 0 | 0 |1638k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1105.02/1105.02 c 1085s| 1490k|609359 | 0 | 0.0 | 830M|1099 | - |2053 | 12k| 0 | 0 | 0 |1647k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1112.31/1112.32 c 1092s| 1500k|614134 | 0 | 0.0 | 837M|1099 | - |2053 | 12k| 0 | 0 | 0 |1657k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1120.02/1120.00 c 1099s| 1510k|618691 | 0 | 0.0 | 844M|1099 | - |2053 | 12k| 0 | 0 | 0 |1667k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1127.71/1127.79 c 1107s| 1520k|623056 | 0 | 0.0 | 850M|1099 | - |2053 | 13k| 0 | 0 | 0 |1678k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1135.81/1135.85 c 1115s| 1530k|627284 | 0 | 0.0 | 857M|1099 | - |2053 | 13k| 0 | 0 | 0 |1689k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1139.41/1139.46 o 3
1139.41/1139.46 c *1118s| 1533k|601232 | 0 | 0.0 | 828M|1099 | - |2053 | 13k| 0 | 0 | 0 |1694k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1145.02/1145.03 c 1124s| 1540k|603457 | 0 | 0.0 | 833M|1099 | - |2053 | 13k| 0 | 0 | 0 |1701k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1154.41/1154.42 c 1133s| 1550k|607008 | 0 | 0.0 | 842M|1099 | - |2053 | 12k| 0 | 0 | 0 |1712k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1164.32/1164.38 c 1143s| 1560k|609888 | 0 | 0.0 | 851M|1099 | - |2053 | 12k| 0 | 0 | 0 |1726k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1175.01/1175.07 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1175.01/1175.07 c 1153s| 1570k|612325 | 0 | 0.0 | 858M|1099 | - |2053 | 13k| 0 | 0 | 0 |1740k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1185.92/1185.96 c 1164s| 1580k|614606 | 0 | 0.0 | 867M|1099 | - |2053 | 13k| 0 | 0 | 0 |1754k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1197.41/1197.49 c 1175s| 1590k|616318 | 0 | 0.0 | 874M|1099 | - |2053 | 14k| 0 | 0 | 0 |1769k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1209.12/1209.19 c 1187s| 1600k|617883 | 0 | 0.0 | 881M|1099 | - |2053 | 14k| 0 | 0 | 0 |1785k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1220.81/1220.85 c 1198s| 1610k|619471 | 0 | 0.0 | 888M|1099 | - |2053 | 15k| 0 | 0 | 0 |1800k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1233.41/1233.46 c 1211s| 1620k|620662 | 0 | 0.0 | 894M|1099 | - |2053 | 16k| 0 | 0 | 0 |1816k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1247.32/1247.30 c 1224s| 1630k|621230 | 0 | 0.0 | 900M|1099 | - |2053 | 17k| 0 | 0 | 0 |1833k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1262.41/1262.43 c 1239s| 1640k|621206 | 0 | 0.0 | 905M|1099 | - |2053 | 19k| 0 | 0 | 0 |1852k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1278.32/1278.30 c 1255s| 1650k|621066 | 0 | 0.0 | 909M|1099 | - |2053 | 20k| 0 | 0 | 0 |1871k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1297.01/1297.02 c 1274s| 1660k|619642 | 0 | 0.0 | 912M|1099 | - |2053 | 23k| 0 | 0 | 0 |1892k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1317.91/1317.90 c 1294s| 1670k|617028 | 0 | 0.0 | 907M|1099 | - |2053 | 20k| 0 | 0 | 0 |1913k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1325.72/1325.73 c 1302s| 1680k|623043 | 0 | 0.0 | 915M|1099 | - |2053 | 15k| 0 | 0 | 0 |1921k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1333.22/1333.22 c 1309s| 1690k|628493 | 0 | 0.0 | 924M|1099 | - |2053 | 13k| 0 | 0 | 0 |1929k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1341.12/1341.16 c 1317s| 1700k|633428 | 0 | 0.0 | 934M|1099 | - |2053 | 13k| 0 | 0 | 0 |1938k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1348.92/1348.93 c 1325s| 1710k|638071 | 0 | 0.0 | 942M|1099 | - |2053 | 13k| 0 | 0 | 0 |1948k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1357.42/1357.42 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1357.42/1357.42 c 1333s| 1720k|641998 | 0 | 0.0 | 948M|1099 | - |2053 | 14k| 0 | 0 | 0 |1959k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1365.92/1365.98 c 1341s| 1730k|645929 | 0 | 0.0 | 955M|1099 | - |2053 | 14k| 0 | 0 | 0 |1971k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1375.22/1375.21 c 1351s| 1740k|649433 | 0 | 0.0 | 961M|1099 | - |2053 | 15k| 0 | 0 | 0 |1984k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1384.62/1384.69 c 1360s| 1750k|652729 | 0 | 0.0 | 967M|1099 | - |2053 | 14k| 0 | 0 | 0 |1997k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1394.32/1394.31 c 1369s| 1760k|655866 | 0 | 0.0 | 973M|1099 | - |2053 | 15k| 0 | 0 | 0 |2010k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1404.32/1404.37 c 1379s| 1770k|658366 | 0 | 0.0 | 979M|1099 | - |2053 | 15k| 0 | 0 | 0 |2025k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1414.21/1414.24 c 1389s| 1780k|661054 | 0 | 0.0 | 984M|1099 | - |2053 | 16k| 0 | 0 | 0 |2039k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1422.72/1422.78 c 1397s| 1790k|665067 | 0 | 0.0 | 990M|1099 | - |2053 | 15k| 0 | 0 | 0 |2051k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1431.92/1431.95 c 1406s| 1800k|668226 | 0 | 0.0 | 995M|1099 | - |2053 | 14k| 0 | 0 | 0 |2064k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1441.72/1441.70 c 1416s| 1810k|670916 | 0 | 0.0 |1000M|1099 | - |2053 | 15k| 0 | 0 | 0 |2078k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1450.62/1450.61 c 1425s| 1820k|674312 | 0 | 0.0 |1005M|1099 | - |2053 | 14k| 0 | 0 | 0 |2091k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1459.52/1459.59 c 1434s| 1830k|677637 | 0 | 0.0 |1010M|1099 | - |2053 | 15k| 0 | 0 | 0 |2104k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1470.02/1470.00 c 1444s| 1840k|679761 | 0 | 0.0 |1015M|1099 | - |2053 | 16k| 0 | 0 | 0 |2119k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1482.02/1482.08 c 1456s| 1850k|680708 | 0 | 0.0 |1019M|1099 | - |2053 | 17k| 0 | 0 | 0 |2137k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1494.61/1494.60 c 1468s| 1860k|681586 | 0 | 0.0 |1023M|1099 | - |2053 | 18k| 0 | 0 | 0 |2154k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1509.82/1509.85 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1509.82/1509.85 c 1483s| 1870k|680729 | 0 | 0.0 |1026M|1099 | - |2053 | 20k| 0 | 0 | 0 |2175k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1528.52/1528.58 c 1502s| 1880k|677635 | 0 | 0.0 |1024M|1099 | - |2053 | 24k| 0 | 0 | 0 |2199k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1538.62/1538.65 c 1512s| 1890k|682177 | 0 | 0.0 |1029M|1099 | - |2053 | 17k| 0 | 0 | 0 |2208k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1546.43/1546.47 c 1519s| 1900k|687790 | 0 | 0.0 |1037M|1099 | - |2053 | 15k| 0 | 0 | 0 |2217k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1553.72/1553.74 c 1526s| 1910k|693299 | 0 | 0.0 |1043M|1099 | - |2053 | 15k| 0 | 0 | 0 |2226k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1561.32/1561.38 c 1534s| 1920k|698496 | 0 | 0.0 |1049M|1099 | - |2053 | 16k| 0 | 0 | 0 |2236k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1569.32/1569.31 c 1542s| 1930k|703542 | 0 | 0.0 |1055M|1099 | - |2053 | 16k| 0 | 0 | 0 |2246k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1577.43/1577.44 c 1550s| 1940k|708250 | 0 | 0.0 |1061M|1099 | - |2053 | 16k| 0 | 0 | 0 |2257k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1585.52/1585.52 c 1558s| 1950k|713146 | 0 | 0.0 |1065M|1099 | - |2053 | 10k| 0 | 0 | 0 |2268k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1592.13/1592.17 c 1564s| 1960k|717631 | 0 | 0.0 |1071M|1099 | - |2053 | 10k| 0 | 0 | 0 |2277k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1598.83/1598.84 c 1571s| 1970k|721688 | 0 | 0.0 |1076M|1099 | - |2053 | 10k| 0 | 0 | 0 |2286k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1605.63/1605.60 c 1577s| 1980k|725703 | 0 | 0.0 |1081M|1099 | - |2053 | 11k| 0 | 0 | 0 |2295k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1612.63/1612.66 c 1584s| 1990k|729485 | 0 | 0.0 |1086M|1099 | - |2053 | 11k| 0 | 0 | 0 |2305k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1620.23/1620.24 c 1592s| 2000k|732581 | 0 | 0.0 |1090M|1099 | - |2053 | 11k| 0 | 0 | 0 |2315k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1628.03/1628.07 c 1599s| 2010k|735433 | 0 | 0.0 |1095M|1099 | - |2053 | 11k| 0 | 0 | 0 |2327k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1636.22/1636.26 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1636.22/1636.26 c 1607s| 2020k|738007 | 0 | 0.0 |1099M|1099 | - |2053 | 11k| 0 | 0 | 0 |2338k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1645.13/1645.15 c 1616s| 2030k|739758 | 0 | 0.0 |1103M|1099 | - |2053 | 12k| 0 | 0 | 0 |2350k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1654.33/1654.39 c 1625s| 2040k|741384 | 0 | 0.0 |1107M|1099 | - |2053 | 13k| 0 | 0 | 0 |2363k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1664.93/1664.94 c 1636s| 2050k|741980 | 0 | 0.0 |1109M|1099 | - |2053 | 14k| 0 | 0 | 0 |2378k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1677.53/1677.52 c 1648s| 2060k|740972 | 0 | 0.0 |1109M|1099 | - |2053 | 16k| 0 | 0 | 0 |2395k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1690.83/1690.85 c 1661s| 2070k|739703 | 0 | 0.0 |1105M|1099 | - |2053 | 11k| 0 | 0 | 0 |2412k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1696.72/1696.70 c 1667s| 2080k|745402 | 0 | 0.0 |1111M|1099 | - |2053 | 11k| 0 | 0 | 0 |2419k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1703.23/1703.25 c 1673s| 2090k|750276 | 0 | 0.0 |1116M|1099 | - |2053 | 11k| 0 | 0 | 0 |2426k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1710.83/1710.83 c 1681s| 2100k|754251 | 0 | 0.0 |1122M|1099 | - |2053 | 12k| 0 | 0 | 0 |2435k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1718.63/1718.62 c 1688s| 2110k|758120 | 0 | 0.0 |1128M|1099 | - |2053 | 12k| 0 | 0 | 0 |2444k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1726.42/1726.46 c 1696s| 2120k|761802 | 0 | 0.0 |1133M|1099 | - |2053 | 12k| 0 | 0 | 0 |2454k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1735.13/1735.14 c 1705s| 2130k|764712 | 0 | 0.0 |1138M|1099 | - |2053 | 13k| 0 | 0 | 0 |2464k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1743.92/1743.96 c 1713s| 2140k|767507 | 0 | 0.0 |1143M|1099 | - |2053 | 13k| 0 | 0 | 0 |2474k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1753.93/1753.92 c 1723s| 2150k|769465 | 0 | 0.0 |1147M|1099 | - |2053 | 13k| 0 | 0 | 0 |2486k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1763.33/1763.39 c 1732s| 2160k|771692 | 0 | 0.0 |1152M|1099 | - |2053 | 14k| 0 | 0 | 0 |2498k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1773.72/1773.76 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1773.72/1773.76 c 1743s| 2170k|773223 | 0 | 0.0 |1156M|1099 | - |2053 | 14k| 0 | 0 | 0 |2510k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1784.03/1784.05 c 1753s| 2180k|774785 | 0 | 0.0 |1160M|1099 | - |2053 | 14k| 0 | 0 | 0 |2523k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1794.93/1794.91 c 1763s| 2190k|775881 | 0 | 0.0 |1163M|1099 | - |2053 | 15k| 0 | 0 | 0 |2537k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1800.04/1800.00 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.04/1800.00 c
1800.04/1800.00 c SCIP Status : solving was interrupted [user interrupt]
1800.04/1800.00 c Solving Time (sec) : 1768.39
1800.04/1800.00 c Solving Nodes : 2194473
1800.04/1800.00 c Primal Bound : +3.00000000000000e+00 (23 solutions)
1800.04/1800.00 c Dual Bound : +0.00000000000000e+00
1800.04/1800.00 c Gap : infinite
1800.04/1800.01 s SATISFIABLE
1800.04/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.04/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.04/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.04/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.04/1800.01 v -x146 -x145 x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126
1800.04/1800.01 v -x125 -x124 x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 x111 -x110 -x109 -x108 -x107 -x106 -x105 -x104
1800.04/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.04/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.04/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.04/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.04/1800.01 v -x1
1800.04/1800.01 c SCIP Status : solving was interrupted [user interrupt]
1800.04/1800.01 c Solving Time : 1768.39
1800.04/1800.01 c Original Problem :
1800.04/1800.01 c Problem name : HOME/instance-2694131-1277906938.wbo
1800.04/1800.01 c Variables : 2153 (1192 binary, 0 integer, 0 implicit integer, 961 continuous)
1800.04/1800.01 c Constraints : 3669 initial, 3669 maximal
1800.04/1800.01 c Presolved Problem :
1800.04/1800.01 c Problem name : t_HOME/instance-2694131-1277906938.wbo
1800.04/1800.01 c Variables : 2053 (1142 binary, 0 integer, 0 implicit integer, 911 continuous)
1800.04/1800.01 c Constraints : 3512 initial, 26157 maximal
1800.04/1800.01 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.04/1800.01 c trivial : 0.00 50 0 0 0 0 0 0 0
1800.04/1800.01 c dualfix : 0.00 50 0 0 0 0 0 0 0
1800.04/1800.01 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.01 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.01 c implics : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.01 c probing : 0.03 0 0 0 0 0 0 0 0
1800.04/1800.01 c indicator : 0.00 0 0 0 0 0 50 0 0
1800.04/1800.01 c knapsack : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.01 c setppc : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.01 c linear : 0.04 0 0 0 961 0 107 50 0
1800.04/1800.01 c logicor : 0.02 0 0 0 0 0 0 0 0
1800.04/1800.01 c bounddisjunction : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.01 c root node : - 896 - - 1792 - - - -
1800.04/1800.01 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.04/1800.01 c integral : 0 0 0 0 0 0 0 0 0 0
1800.04/1800.01 c indicator : 911 0 5676717 0 1374267 231 1866647 0 0 0
1800.04/1800.01 c knapsack : 1 0 7528473 0 1694581 176819 25167365 0 0 0
1800.04/1800.01 c setppc : 15 0 7378747 0 1694413 123296 5748397 0 0 0
1800.04/1800.01 c linear : 911 0 7256228 0 1694722 127628 9529525 0 0 0
1800.04/1800.01 c logicor : 1674+ 0 5354851 0 1694741 340212 15104181 0 0 0
1800.04/1800.01 c bounddisjunction : 0+ 0 32540 0 0 0 23 0 0 0
1800.04/1800.01 c countsols : 0 0 0 0 1694739 0 0 0 0 0
1800.04/1800.01 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.04/1800.01 c integral : 0.00 0.00 0.00 0.00 0.00
1800.04/1800.01 c indicator : 10.30 0.00 5.87 0.00 4.43
1800.04/1800.01 c knapsack : 92.07 0.00 88.56 0.00 3.51
1800.04/1800.01 c setppc : 32.86 0.00 29.49 0.00 3.37
1800.04/1800.01 c linear : 138.45 0.00 137.39 0.00 1.06
1800.04/1800.01 c logicor : 566.19 0.00 485.15 0.00 81.04
1800.04/1800.01 c bounddisjunction : 0.06 0.00 0.06 0.00 0.00
1800.04/1800.01 c countsols : 0.36 0.00 0.00 0.00 0.36
1800.04/1800.01 c Propagators : Time Calls Cutoffs DomReds
1800.04/1800.01 c vbounds : 1.68 2 0 0
1800.04/1800.01 c rootredcost : 1.60 0 0 0
1800.04/1800.01 c pseudoobj : 158.25 7558673 2165 1842019
1800.04/1800.01 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.04/1800.01 c propagation : 38.10 770120 769923 3956784 23.9 227610 9.4 -
1800.04/1800.01 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.01 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.01 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.01 c pseudo solution : 0.00 42 42 173 21.3 52 10.0 -
1800.04/1800.01 c applied globally : - - - 2543882 20.0 - - -
1800.04/1800.01 c applied locally : - - - 28 139.5 - - -
1800.04/1800.01 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.04/1800.01 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.04/1800.01 c redcost : 0.00 0 0 0 0 0
1800.04/1800.01 c impliedbounds : 0.00 0 0 0 0 0
1800.04/1800.01 c intobj : 0.00 0 0 0 0 0
1800.04/1800.01 c cgmip : 0.00 0 0 0 0 0
1800.04/1800.01 c gomory : 0.00 0 0 0 0 0
1800.04/1800.01 c strongcg : 0.00 0 0 0 0 0
1800.04/1800.01 c cmir : 0.00 0 0 0 0 0
1800.04/1800.01 c flowcover : 0.00 0 0 0 0 0
1800.04/1800.01 c clique : 0.00 0 0 0 0 0
1800.04/1800.01 c zerohalf : 0.00 0 0 0 0 0
1800.04/1800.01 c mcf : 0.00 0 0 0 0 0
1800.04/1800.01 c rapidlearning : 0.00 0 0 0 0 0
1800.04/1800.01 c Pricers : Time Calls Vars
1800.04/1800.01 c problem variables: 0.00 0 0
1800.04/1800.01 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.04/1800.01 c relpscost : 0.00 0 0 0 0 0 0
1800.04/1800.01 c pscost : 0.00 0 0 0 0 0 0
1800.04/1800.01 c inference : 27.39 1694716 0 0 0 0 3389432
1800.04/1800.01 c mostinf : 0.00 0 0 0 0 0 0
1800.04/1800.01 c leastinf : 0.00 0 0 0 0 0 0
1800.04/1800.01 c fullstrong : 0.00 0 0 0 0 0 0
1800.04/1800.01 c allfullstrong : 0.00 0 0 0 0 0 0
1800.04/1800.01 c random : 0.00 0 0 0 0 0 0
1800.04/1800.01 c Primal Heuristics : Time Calls Found
1800.04/1800.01 c LP solutions : 0.00 - 0
1800.04/1800.01 c pseudo solutions : 0.12 - 23
1800.04/1800.01 c oneopt : 0.77 0 0
1800.04/1800.01 c trivial : 0.00 2 0
1800.04/1800.01 c simplerounding : 0.00 0 0
1800.04/1800.01 c zirounding : 0.00 0 0
1800.04/1800.01 c rounding : 0.00 0 0
1800.04/1800.01 c shifting : 0.00 0 0
1800.04/1800.01 c intshifting : 0.00 0 0
1800.04/1800.01 c twoopt : 0.00 0 0
1800.04/1800.01 c fixandinfer : 0.00 0 0
1800.04/1800.01 c feaspump : 0.00 0 0
1800.04/1800.01 c coefdiving : 0.00 0 0
1800.04/1800.01 c pscostdiving : 0.00 0 0
1800.04/1800.01 c fracdiving : 0.00 0 0
1800.04/1800.01 c veclendiving : 0.00 0 0
1800.04/1800.01 c intdiving : 0.00 0 0
1800.04/1800.01 c actconsdiving : 0.00 0 0
1800.04/1800.01 c objpscostdiving : 0.00 0 0
1800.04/1800.01 c rootsoldiving : 0.00 0 0
1800.04/1800.01 c linesearchdiving : 0.00 0 0
1800.04/1800.01 c guideddiving : 0.00 0 0
1800.04/1800.01 c octane : 0.00 0 0
1800.04/1800.01 c rens : 0.00 0 0
1800.04/1800.01 c rins : 0.00 0 0
1800.04/1800.01 c localbranching : 0.00 0 0
1800.04/1800.01 c mutation : 0.00 0 0
1800.04/1800.01 c crossover : 0.00 0 0
1800.04/1800.01 c dins : 0.00 0 0
1800.04/1800.01 c undercover : 0.00 0 0
1800.04/1800.01 c nlp : 0.59 0 0
1800.04/1800.01 c trysol : 0.43 1 0
1800.04/1800.01 c LP : Time Calls Iterations Iter/call Iter/sec
1800.04/1800.01 c primal LP : 0.00 0 0 0.00 -
1800.04/1800.01 c dual LP : 0.00 0 0 0.00 -
1800.04/1800.01 c lex dual LP : 0.00 0 0 0.00 -
1800.04/1800.01 c barrier LP : 0.00 0 0 0.00 -
1800.04/1800.01 c diving/probing LP: 0.00 0 0 0.00 -
1800.04/1800.01 c strong branching : 0.00 0 0 0.00 -
1800.04/1800.01 c (at root node) : - 0 0 0.00 -
1800.04/1800.01 c conflict analysis: 0.00 0 0 0.00 -
1800.04/1800.01 c B&B Tree :
1800.04/1800.01 c number of runs : 1
1800.04/1800.01 c nodes : 2194473
1800.04/1800.01 c nodes (total) : 2194473
1800.04/1800.01 c nodes left : 776189
1800.04/1800.01 c max depth : 1099
1800.04/1800.01 c max depth (total): 1099
1800.04/1800.01 c backtracks : 497800 (22.7%)
1800.04/1800.01 c delayed cutoffs : 370238
1800.04/1800.01 c repropagations : 1737991 (17405617 domain reductions, 270659 cutoffs)
1800.04/1800.01 c avg switch length: 33.50
1800.04/1800.01 c switching time : 558.04
1800.04/1800.01 c Solution :
1800.04/1800.01 c Solutions found : 23 (23 improvements)
1800.04/1800.01 c First Solution : +3.87000000000000e+02 (in run 1, after 3706 nodes, 0.95 seconds, depth 403, found by <relaxation>)
1800.04/1800.01 c Primal Bound : +3.00000000000000e+00 (in run 1, after 1533964 nodes, 1118.27 seconds, depth 137, found by <relaxation>)
1800.04/1800.01 c Dual Bound : +0.00000000000000e+00
1800.04/1800.01 c Gap : infinite
1800.04/1800.01 c Root Dual Bound : +0.00000000000000e+00
1800.04/1800.01 c Root Iterations : 0