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-2693944-1277898074.wbo>
0.00/0.00 c original problem has 297 variables (233 bin, 0 int, 0 impl, 64 cont) and 166 constraints
0.00/0.00 c problem read
0.00/0.00 c presolving settings loaded
0.00/0.00 c [src/scip/lpi_none.c:41] ERROR: there is no LP solver linked to the binary (LPS=none); you should set the parameter <lp/solvefreq> to <-1> to avoid solving LPs
0.00/0.00 c presolving:
0.00/0.00 c (round 1) 0 del vars, 1 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 66 impls, 23 clqs
0.00/0.01 c (round 2) 0 del vars, 6 del conss, 0 chg bounds, 1 chg sides, 0 chg coeffs, 0 upgd conss, 66 impls, 23 clqs
0.00/0.01 c (round 3) 1 del vars, 7 del conss, 63 chg bounds, 1 chg sides, 0 chg coeffs, 0 upgd conss, 66 impls, 23 clqs
0.00/0.01 c (round 4) 2 del vars, 7 del conss, 63 chg bounds, 1 chg sides, 0 chg coeffs, 33 upgd conss, 66 impls, 23 clqs
0.00/0.02 c (0.0s) probing: 101/232 (43.5%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.00/0.02 c (0.0s) probing aborted: 100/100 successive totally useless probings
0.00/0.02 c presolving (5 rounds):
0.00/0.02 c 2 deleted vars, 7 deleted constraints, 63 tightened bounds, 0 added holes, 1 changed sides, 0 changed coefficients
0.00/0.02 c 66 implications, 23 cliques
0.00/0.02 c presolved problem has 295 variables (232 bin, 0 int, 0 impl, 63 cont) and 159 constraints
0.00/0.02 c 63 constraints of type <indicator>
0.00/0.02 c 1 constraints of type <knapsack>
0.00/0.02 c 23 constraints of type <setppc>
0.00/0.02 c 63 constraints of type <linear>
0.00/0.02 c 9 constraints of type <logicor>
0.00/0.02 c transformed objective value is always integral (scale: 1)
0.00/0.02 c Presolving Time: 0.01
0.00/0.02 c - non default parameters ----------------------------------------------------------------------
0.00/0.02 c # SCIP version 1.2.1.2
0.00/0.02 c
0.00/0.02 c # frequency for displaying node information lines
0.00/0.02 c # [type: int, range: [-1,2147483647], default: 100]
0.00/0.02 c display/freq = 10000
0.00/0.02 c
0.00/0.02 c # maximal time in seconds to run
0.00/0.02 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.02 c limits/time = 1800
0.00/0.02 c
0.00/0.02 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.02 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.02 c limits/memory = 3420
0.00/0.02 c
0.00/0.02 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.00/0.02 c # [type: int, range: [-1,2147483647], default: 1]
0.00/0.02 c lp/solvefreq = -1
0.00/0.02 c
0.00/0.02 c # should presolving try to simplify inequalities
0.00/0.02 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.02 c constraints/linear/simplifyinequalities = TRUE
0.00/0.02 c
0.00/0.02 c # should presolving try to simplify knapsacks
0.00/0.02 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.02 c constraints/knapsack/simplifyinequalities = TRUE
0.00/0.02 c
0.00/0.02 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.00/0.02 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.02 c separating/rapidlearning/freq = 0
0.00/0.02 c
0.00/0.02 c -----------------------------------------------------------------------------------------------
0.00/0.02 c start solving
0.00/0.02 c
0.00/0.02 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.00/0.02 c 0.0s| 1 | 2 | 0 | - |1056k| 0 | - | 295 | 159 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1.29/1.33 c 1.1s| 10000 | 7321 | 0 | 0.0 |6392k| 183 | - | 295 |3434 | 0 | 0 | 0 |6925 | 0 | 0.000000e+00 | -- | Inf
2.79/2.82 o 341
2.79/2.82 c * 2.4s| 16661 | 10914 | 0 | 0.0 |9733k| 183 | - | 295 |5717 | 0 | 0 | 0 | 13k| 0 | 0.000000e+00 | 3.410000e+02 | Inf
3.09/3.17 c 2.6s| 20000 | 13845 | 0 | 0.0 |9899k| 183 | - | 295 |1802 | 0 | 0 | 0 | 14k| 0 | 0.000000e+00 | 3.410000e+02 | Inf
5.90/5.93 c 5.1s| 30000 | 18221 | 0 | 0.0 | 15M| 183 | - | 295 |6143 | 0 | 0 | 0 | 27k| 0 | 0.000000e+00 | 3.410000e+02 | Inf
9.79/9.81 c 8.7s| 40000 | 20804 | 0 | 0.0 | 19M| 183 | - | 295 |8185 | 0 | 0 | 0 | 43k| 0 | 0.000000e+00 | 3.410000e+02 | Inf
14.99/15.07 c 13.6s| 50000 | 20940 | 0 | 0.0 | 24M| 183 | - | 295 | 11k| 0 | 0 | 0 | 63k| 0 | 0.000000e+00 | 3.410000e+02 | Inf
17.99/18.06 c 16.3s| 60000 | 26245 | 0 | 0.0 | 24M| 183 | - | 295 |2070 | 0 | 0 | 0 | 71k| 0 | 0.000000e+00 | 3.410000e+02 | Inf
18.19/18.24 o 275
18.19/18.24 c *16.4s| 61674 | 27654 | 0 | 0.0 | 25M| 183 | - | 295 |1998 | 0 | 0 | 0 | 71k| 0 | 0.000000e+00 | 2.750000e+02 | Inf
19.19/19.20 c 17.2s| 70000 | 34521 | 0 | 0.0 | 28M| 183 | - | 295 |2221 | 0 | 0 | 0 | 73k| 0 | 0.000000e+00 | 2.750000e+02 | Inf
20.39/20.41 c 18.1s| 80000 | 42565 | 0 | 0.0 | 32M| 183 | - | 295 |1659 | 0 | 0 | 0 | 75k| 0 | 0.000000e+00 | 2.750000e+02 | Inf
21.69/21.74 c 19.2s| 90000 | 50209 | 0 | 0.0 | 36M| 183 | - | 295 |2459 | 0 | 0 | 0 | 78k| 0 | 0.000000e+00 | 2.750000e+02 | Inf
23.49/23.52 c 20.7s|100000 | 56980 | 0 | 0.0 | 40M| 183 | - | 295 |4235 | 0 | 0 | 0 | 84k| 0 | 0.000000e+00 | 2.750000e+02 | Inf
26.79/26.85 c 23.7s|110000 | 60684 | 0 | 0.0 | 45M| 183 | - | 295 |7624 | 0 | 0 | 0 | 97k| 0 | 0.000000e+00 | 2.750000e+02 | Inf
32.49/32.54 c 29.1s|120000 | 60846 | 0 | 0.0 | 48M| 183 | - | 295 | 11k| 0 | 0 | 0 | 119k| 0 | 0.000000e+00 | 2.750000e+02 | Inf
40.49/40.55 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
40.49/40.55 c 36.7s|130000 | 57973 | 0 | 0.0 | 49M| 183 | - | 295 | 16k| 0 | 0 | 0 | 143k| 0 | 0.000000e+00 | 2.750000e+02 | Inf
47.69/47.75 c 43.6s|140000 | 58358 | 0 | 0.0 | 44M| 183 | - | 295 |4662 | 0 | 0 | 0 | 158k| 0 | 0.000000e+00 | 2.750000e+02 | Inf
49.09/49.19 c 44.8s|150000 | 66078 | 0 | 0.0 | 48M| 183 | - | 295 |2770 | 0 | 0 | 0 | 160k| 0 | 0.000000e+00 | 2.750000e+02 | Inf
50.60/50.66 c 46.0s|160000 | 73622 | 0 | 0.0 | 52M| 183 | - | 295 |3221 | 0 | 0 | 0 | 163k| 0 | 0.000000e+00 | 2.750000e+02 | Inf
52.09/52.15 o 224
52.09/52.15 c *47.2s|169662 | 80790 | 0 | 0.0 | 55M| 183 | - | 295 |3676 | 0 | 0 | 0 | 165k| 0 | 0.000000e+00 | 2.240000e+02 | Inf
52.09/52.20 c 47.3s|170000 | 81059 | 0 | 0.0 | 56M| 183 | - | 295 |3692 | 0 | 0 | 0 | 165k| 0 | 0.000000e+00 | 2.240000e+02 | Inf
52.59/52.62 o 207
52.59/52.62 c *47.6s|172910 | 83267 | 0 | 0.0 | 57M| 183 | - | 295 |3807 | 0 | 0 | 0 | 165k| 0 | 0.000000e+00 | 2.070000e+02 | Inf
53.69/53.70 c 48.5s|180000 | 88601 | 0 | 0.0 | 60M| 183 | - | 295 |4124 | 0 | 0 | 0 | 167k| 0 | 0.000000e+00 | 2.070000e+02 | Inf
55.39/55.47 c 50.0s|190000 | 95672 | 0 | 0.0 | 64M| 183 | - | 295 |4521 | 0 | 0 | 0 | 170k| 0 | 0.000000e+00 | 2.070000e+02 | Inf
57.30/57.31 c 51.6s|200000 |102630 | 0 | 0.0 | 68M| 183 | - | 295 |5047 | 0 | 0 | 0 | 172k| 0 | 0.000000e+00 | 2.070000e+02 | Inf
59.19/59.23 c 53.2s|210000 |109511 | 0 | 0.0 | 73M| 183 | - | 295 |5239 | 0 | 0 | 0 | 175k| 0 | 0.000000e+00 | 2.070000e+02 | Inf
59.59/59.66 o 159
59.59/59.66 c *53.5s|212039 |110524 | 0 | 0.0 | 73M| 183 | - | 295 |5279 | 0 | 0 | 0 | 176k| 0 | 0.000000e+00 | 1.590000e+02 | Inf
61.19/61.23 c 54.9s|220000 |115977 | 0 | 0.0 | 77M| 183 | - | 295 |5309 | 0 | 0 | 0 | 178k| 0 | 0.000000e+00 | 1.590000e+02 | Inf
63.40/63.47 c 56.9s|230000 |122233 | 0 | 0.0 | 81M| 183 | - | 295 |4994 | 0 | 0 | 0 | 182k| 0 | 0.000000e+00 | 1.590000e+02 | Inf
65.60/65.64 c 58.7s|240000 |128416 | 0 | 0.0 | 85M| 183 | - | 295 |4583 | 0 | 0 | 0 | 185k| 0 | 0.000000e+00 | 1.590000e+02 | Inf
67.69/67.77 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
67.69/67.77 c 60.6s|250000 |134607 | 0 | 0.0 | 90M| 183 | - | 295 |4312 | 0 | 0 | 0 | 189k| 0 | 0.000000e+00 | 1.590000e+02 | Inf
69.89/69.94 c 62.4s|260000 |140706 | 0 | 0.0 | 94M| 183 | - | 295 |4016 | 0 | 0 | 0 | 193k| 0 | 0.000000e+00 | 1.590000e+02 | Inf
72.09/72.16 c 64.3s|270000 |146662 | 0 | 0.0 | 99M| 183 | - | 295 |4171 | 0 | 0 | 0 | 198k| 0 | 0.000000e+00 | 1.590000e+02 | Inf
74.50/74.56 c 66.5s|280000 |152225 | 0 | 0.0 | 103M| 183 | - | 295 |4458 | 0 | 0 | 0 | 203k| 0 | 0.000000e+00 | 1.590000e+02 | Inf
76.90/77.00 c 68.6s|290000 |157871 | 0 | 0.0 | 108M| 183 | - | 295 |4614 | 0 | 0 | 0 | 209k| 0 | 0.000000e+00 | 1.590000e+02 | Inf
79.49/79.51 c 70.8s|300000 |163469 | 0 | 0.0 | 112M| 183 | - | 295 |5122 | 0 | 0 | 0 | 215k| 0 | 0.000000e+00 | 1.590000e+02 | Inf
82.09/82.19 c 73.2s|310000 |168728 | 0 | 0.0 | 117M| 183 | - | 295 |5817 | 0 | 0 | 0 | 222k| 0 | 0.000000e+00 | 1.590000e+02 | Inf
85.19/85.21 c 75.8s|320000 |173517 | 0 | 0.0 | 121M| 183 | - | 295 |6743 | 0 | 0 | 0 | 231k| 0 | 0.000000e+00 | 1.590000e+02 | Inf
88.49/88.56 c 78.9s|330000 |177878 | 0 | 0.0 | 126M| 183 | - | 295 |7513 | 0 | 0 | 0 | 240k| 0 | 0.000000e+00 | 1.590000e+02 | Inf
92.30/92.32 c 82.3s|340000 |181760 | 0 | 0.0 | 130M| 183 | - | 295 |8842 | 0 | 0 | 0 | 251k| 0 | 0.000000e+00 | 1.590000e+02 | Inf
96.80/96.83 c 86.5s|350000 |184681 | 0 | 0.0 | 134M| 183 | - | 295 | 10k| 0 | 0 | 0 | 264k| 0 | 0.000000e+00 | 1.590000e+02 | Inf
102.09/102.20 c 91.4s|360000 |186819 | 0 | 0.0 | 138M| 183 | - | 295 | 13k| 0 | 0 | 0 | 279k| 0 | 0.000000e+00 | 1.590000e+02 | Inf
108.09/108.15 c 97.0s|370000 |188341 | 0 | 0.0 | 140M| 183 | - | 295 | 15k| 0 | 0 | 0 | 295k| 0 | 0.000000e+00 | 1.590000e+02 | Inf
117.19/117.27 c 106s|380000 |187019 | 0 | 0.0 | 133M| 183 | - | 295 |6585 | 0 | 0 | 0 | 314k| 0 | 0.000000e+00 | 1.590000e+02 | Inf
119.29/119.39 c 108s|390000 |193626 | 0 | 0.0 | 136M| 183 | - | 295 |3743 | 0 | 0 | 0 | 316k| 0 | 0.000000e+00 | 1.590000e+02 | Inf
121.50/121.56 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
121.50/121.56 c 110s|400000 |199938 | 0 | 0.0 | 140M| 183 | - | 295 |4405 | 0 | 0 | 0 | 320k| 0 | 0.000000e+00 | 1.590000e+02 | Inf
123.70/123.76 c 111s|410000 |206299 | 0 | 0.0 | 144M| 183 | - | 295 |5189 | 0 | 0 | 0 | 323k| 0 | 0.000000e+00 | 1.590000e+02 | Inf
125.90/125.94 o 118
125.90/125.94 c * 113s|419188 |208910 | 0 | 0.0 | 144M| 183 | - | 295 |5680 | 0 | 0 | 0 | 326k| 0 | 0.000000e+00 | 1.180000e+02 | Inf
126.09/126.12 c 113s|420000 |209455 | 0 | 0.0 | 144M| 183 | - | 295 |5724 | 0 | 0 | 0 | 326k| 0 | 0.000000e+00 | 1.180000e+02 | Inf
128.70/128.75 c 116s|430000 |215180 | 0 | 0.0 | 149M| 183 | - | 295 |6166 | 0 | 0 | 0 | 330k| 0 | 0.000000e+00 | 1.180000e+02 | Inf
131.29/131.38 c 118s|440000 |221006 | 0 | 0.0 | 153M| 183 | - | 295 |6658 | 0 | 0 | 0 | 334k| 0 | 0.000000e+00 | 1.180000e+02 | Inf
134.00/134.03 c 120s|450000 |226861 | 0 | 0.0 | 158M| 183 | - | 295 |7309 | 0 | 0 | 0 | 338k| 0 | 0.000000e+00 | 1.180000e+02 | Inf
136.69/136.77 c 123s|460000 |232739 | 0 | 0.0 | 162M| 183 | - | 295 |7842 | 0 | 0 | 0 | 342k| 0 | 0.000000e+00 | 1.180000e+02 | Inf
139.50/139.55 c 125s|470000 |238608 | 0 | 0.0 | 167M| 183 | - | 295 |8459 | 0 | 0 | 0 | 346k| 0 | 0.000000e+00 | 1.180000e+02 | Inf
142.39/142.41 c 128s|480000 |244524 | 0 | 0.0 | 172M| 183 | - | 295 |9003 | 0 | 0 | 0 | 350k| 0 | 0.000000e+00 | 1.180000e+02 | Inf
145.40/145.44 c 131s|490000 |250262 | 0 | 0.0 | 176M| 183 | - | 295 |9504 | 0 | 0 | 0 | 354k| 0 | 0.000000e+00 | 1.180000e+02 | Inf
148.60/148.63 c 134s|500000 |255728 | 0 | 0.0 | 181M| 183 | - | 295 |9768 | 0 | 0 | 0 | 358k| 0 | 0.000000e+00 | 1.180000e+02 | Inf
151.80/151.85 c 136s|510000 |261268 | 0 | 0.0 | 185M| 183 | - | 295 | 10k| 0 | 0 | 0 | 363k| 0 | 0.000000e+00 | 1.180000e+02 | Inf
155.10/155.19 c 140s|520000 |266652 | 0 | 0.0 | 190M| 183 | - | 295 | 10k| 0 | 0 | 0 | 367k| 0 | 0.000000e+00 | 1.180000e+02 | Inf
158.59/158.68 c 143s|530000 |271843 | 0 | 0.0 | 194M| 183 | - | 295 | 10k| 0 | 0 | 0 | 371k| 0 | 0.000000e+00 | 1.180000e+02 | Inf
162.09/162.17 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
162.09/162.17 c 146s|540000 |277087 | 0 | 0.0 | 198M| 183 | - | 295 | 11k| 0 | 0 | 0 | 376k| 0 | 0.000000e+00 | 1.180000e+02 | Inf
165.90/165.93 c 149s|550000 |282247 | 0 | 0.0 | 203M| 183 | - | 295 | 11k| 0 | 0 | 0 | 381k| 0 | 0.000000e+00 | 1.180000e+02 | Inf
170.10/170.12 c 154s|560000 |286958 | 0 | 0.0 | 207M| 183 | - | 295 | 11k| 0 | 0 | 0 | 386k| 0 | 0.000000e+00 | 1.180000e+02 | Inf
174.49/174.52 c 158s|570000 |291361 | 0 | 0.0 | 211M| 183 | - | 295 | 11k| 0 | 0 | 0 | 391k| 0 | 0.000000e+00 | 1.180000e+02 | Inf
178.99/179.02 c 162s|580000 |295492 | 0 | 0.0 | 215M| 183 | - | 295 | 11k| 0 | 0 | 0 | 396k| 0 | 1.000000e+00 | 1.180000e+02 | Large
183.29/183.34 c 166s|590000 |299585 | 0 | 0.0 | 220M| 183 | - | 295 | 11k| 0 | 0 | 0 | 402k| 0 | 1.000000e+00 | 1.180000e+02 | Large
187.59/187.61 c 170s|600000 |303799 | 0 | 0.0 | 225M| 183 | - | 295 | 11k| 0 | 0 | 0 | 407k| 0 | 1.000000e+00 | 1.180000e+02 | Large
191.79/191.87 c 175s|610000 |307979 | 0 | 0.0 | 230M| 183 | - | 295 | 11k| 0 | 0 | 0 | 412k| 0 | 1.000000e+00 | 1.180000e+02 | Large
196.30/196.36 c 179s|620000 |311858 | 0 | 0.0 | 235M| 183 | - | 295 | 11k| 0 | 0 | 0 | 418k| 0 | 1.000000e+00 | 1.180000e+02 | Large
200.49/200.56 c 183s|630000 |316043 | 0 | 0.0 | 240M| 183 | - | 295 | 11k| 0 | 0 | 0 | 423k| 0 | 1.000000e+00 | 1.180000e+02 | Large
204.90/204.97 c 187s|640000 |319833 | 0 | 0.0 | 245M| 183 | - | 295 | 10k| 0 | 0 | 0 | 429k| 0 | 1.000000e+00 | 1.180000e+02 | Large
209.49/209.58 c 192s|650000 |323341 | 0 | 0.0 | 250M| 183 | - | 295 | 10k| 0 | 0 | 0 | 436k| 0 | 1.000000e+00 | 1.180000e+02 | Large
214.09/214.11 c 196s|660000 |326895 | 0 | 0.0 | 255M| 183 | - | 295 | 10k| 0 | 0 | 0 | 442k| 0 | 1.000000e+00 | 1.180000e+02 | Large
218.69/218.79 c 201s|670000 |330127 | 0 | 0.0 | 259M| 183 | - | 295 | 10k| 0 | 0 | 0 | 449k| 0 | 1.000000e+00 | 1.180000e+02 | Large
223.39/223.48 c 205s|680000 |333529 | 0 | 0.0 | 264M| 183 | - | 295 | 10k| 0 | 0 | 0 | 456k| 0 | 1.000000e+00 | 1.180000e+02 | Large
228.40/228.41 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
228.40/228.41 c 210s|690000 |336727 | 0 | 0.0 | 268M| 183 | - | 295 | 11k| 0 | 0 | 0 | 463k| 0 | 1.000000e+00 | 1.180000e+02 | Large
233.30/233.35 c 215s|700000 |340149 | 0 | 0.0 | 272M| 183 | - | 295 | 11k| 0 | 0 | 0 | 471k| 0 | 1.000000e+00 | 1.180000e+02 | Large
238.39/238.41 c 220s|710000 |343564 | 0 | 0.0 | 276M| 183 | - | 295 | 12k| 0 | 0 | 0 | 479k| 0 | 1.000000e+00 | 1.180000e+02 | Large
243.90/243.99 c 225s|720000 |346430 | 0 | 0.0 | 281M| 183 | - | 295 | 13k| 0 | 0 | 0 | 487k| 0 | 1.000000e+00 | 1.180000e+02 | Large
249.60/249.66 c 231s|730000 |349661 | 0 | 0.0 | 285M| 183 | - | 295 | 14k| 0 | 0 | 0 | 496k| 0 | 1.000000e+00 | 1.180000e+02 | Large
255.50/255.51 c 236s|740000 |352900 | 0 | 0.0 | 289M| 183 | - | 295 | 15k| 0 | 0 | 0 | 505k| 0 | 1.000000e+00 | 1.180000e+02 | Large
261.30/261.38 c 242s|750000 |356361 | 0 | 0.0 | 293M| 183 | - | 295 | 15k| 0 | 0 | 0 | 514k| 0 | 1.000000e+00 | 1.180000e+02 | Large
267.89/267.95 c 248s|760000 |359281 | 0 | 0.0 | 298M| 183 | - | 295 | 17k| 0 | 0 | 0 | 524k| 0 | 1.000000e+00 | 1.180000e+02 | Large
274.80/274.85 c 255s|770000 |362295 | 0 | 0.0 | 302M| 183 | - | 295 | 19k| 0 | 0 | 0 | 535k| 0 | 1.000000e+00 | 1.180000e+02 | Large
282.79/282.85 c 263s|780000 |364639 | 0 | 0.0 | 306M| 183 | - | 295 | 20k| 0 | 0 | 0 | 546k| 0 | 1.000000e+00 | 1.180000e+02 | Large
291.69/291.74 c 272s|790000 |366625 | 0 | 0.0 | 310M| 183 | - | 295 | 22k| 0 | 0 | 0 | 558k| 0 | 1.000000e+00 | 1.180000e+02 | Large
301.00/301.03 c 281s|800000 |368671 | 0 | 0.0 | 314M| 183 | - | 295 | 23k| 0 | 0 | 0 | 571k| 0 | 1.000000e+00 | 1.180000e+02 | Large
312.10/312.10 c 292s|810000 |369631 | 0 | 0.0 | 317M| 183 | - | 295 | 24k| 0 | 0 | 0 | 585k| 0 | 1.000000e+00 | 1.180000e+02 | Large
324.59/324.60 c 304s|820000 |370200 | 0 | 0.0 | 320M| 183 | - | 295 | 26k| 0 | 0 | 0 | 600k| 0 | 1.000000e+00 | 1.180000e+02 | Large
338.19/338.21 c 318s|830000 |370487 | 0 | 0.0 | 323M| 183 | - | 295 | 29k| 0 | 0 | 0 | 616k| 0 | 1.000000e+00 | 1.180000e+02 | Large
353.70/353.70 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
353.70/353.70 c 333s|840000 |370434 | 0 | 0.0 | 326M| 183 | - | 295 | 34k| 0 | 0 | 0 | 633k| 0 | 1.000000e+00 | 1.180000e+02 | Large
364.80/364.86 c 344s|850000 |374156 | 0 | 0.0 | 325M| 183 | - | 295 | 18k| 0 | 0 | 0 | 642k| 0 | 1.000000e+00 | 1.180000e+02 | Large
369.99/370.05 c 349s|860000 |378549 | 0 | 0.0 | 326M| 183 | - | 295 |7534 | 0 | 0 | 0 | 649k| 0 | 1.000000e+00 | 1.180000e+02 | Large
373.80/373.83 c 353s|870000 |382751 | 0 | 0.0 | 331M| 183 | - | 295 |7426 | 0 | 0 | 0 | 653k| 0 | 1.000000e+00 | 1.180000e+02 | Large
374.09/374.14 o 114
374.09/374.14 c * 353s|870797 |382459 | 0 | 0.0 | 331M| 183 | - | 295 |7601 | 0 | 0 | 0 | 654k| 0 | 1.000000e+00 | 1.140000e+02 | Large
377.80/377.84 c 356s|880000 |386112 | 0 | 0.0 | 335M| 183 | - | 295 |8328 | 0 | 0 | 0 | 658k| 0 | 1.000000e+00 | 1.140000e+02 | Large
381.90/381.98 c 360s|890000 |390234 | 0 | 0.0 | 340M| 183 | - | 295 |9136 | 0 | 0 | 0 | 663k| 0 | 1.000000e+00 | 1.140000e+02 | Large
386.10/386.13 c 364s|900000 |394605 | 0 | 0.0 | 344M| 183 | - | 295 |9855 | 0 | 0 | 0 | 668k| 0 | 1.000000e+00 | 1.140000e+02 | Large
390.41/390.43 c 369s|910000 |399036 | 0 | 0.0 | 349M| 183 | - | 295 | 10k| 0 | 0 | 0 | 672k| 0 | 1.000000e+00 | 1.140000e+02 | Large
394.81/394.90 c 373s|920000 |403337 | 0 | 0.0 | 353M| 183 | - | 295 | 10k| 0 | 0 | 0 | 677k| 0 | 1.000000e+00 | 1.140000e+02 | Large
399.31/399.33 c 377s|930000 |407858 | 0 | 0.0 | 358M| 183 | - | 295 | 11k| 0 | 0 | 0 | 682k| 0 | 1.000000e+00 | 1.140000e+02 | Large
403.99/404.03 c 382s|940000 |412052 | 0 | 0.0 | 362M| 183 | - | 295 | 12k| 0 | 0 | 0 | 687k| 0 | 1.000000e+00 | 1.140000e+02 | Large
408.79/408.88 c 386s|950000 |416207 | 0 | 0.0 | 367M| 183 | - | 295 | 12k| 0 | 0 | 0 | 692k| 0 | 1.000000e+00 | 1.140000e+02 | Large
413.99/414.09 c 392s|960000 |420142 | 0 | 0.0 | 371M| 183 | - | 295 | 13k| 0 | 0 | 0 | 697k| 0 | 1.000000e+00 | 1.140000e+02 | Large
418.60/418.62 o 96
418.60/418.62 c * 396s|968673 |410827 | 0 | 0.0 | 361M| 183 | - | 295 | 14k| 0 | 0 | 0 | 701k| 0 | 1.000000e+00 | 9.600000e+01 |9500.00%
419.60/419.64 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
419.60/419.64 c 397s|970000 |410978 | 0 | 0.0 | 361M| 183 | - | 295 | 14k| 0 | 0 | 0 | 702k| 0 | 1.000000e+00 | 9.600000e+01 |9500.00%
424.00/424.06 c 401s|980000 |414369 | 0 | 0.0 | 364M| 183 | - | 295 |5006 | 0 | 0 | 0 | 708k| 0 | 1.000000e+00 | 9.600000e+01 |9500.00%
427.80/427.89 c 405s|990000 |417319 | 0 | 0.0 | 368M| 183 | - | 295 |6552 | 0 | 0 | 0 | 714k| 0 | 1.000000e+00 | 9.600000e+01 |9500.00%
432.09/432.18 c 409s| 1000k|420103 | 0 | 0.0 | 372M| 183 | - | 295 |7308 | 0 | 0 | 0 | 720k| 0 | 1.000000e+00 | 9.600000e+01 |9500.00%
436.40/436.41 c 413s| 1010k|423006 | 0 | 0.0 | 376M| 183 | - | 295 |6645 | 0 | 0 | 0 | 725k| 0 | 1.000000e+00 | 9.600000e+01 |9500.00%
439.30/439.35 o 88
439.30/439.35 c * 416s| 1016k|418088 | 0 | 0.0 | 371M| 183 | - | 295 |3622 | 0 | 0 | 0 | 729k| 0 | 1.000000e+00 | 8.800000e+01 |8700.00%
440.79/440.85 c 417s| 1020k|419275 | 0 | 0.0 | 373M| 183 | - | 295 |3287 | 0 | 0 | 0 | 732k| 0 | 1.000000e+00 | 8.800000e+01 |8700.00%
441.50/441.58 o 68
441.50/441.58 c * 418s| 1021k|391997 | 0 | 0.0 | 340M| 183 | - | 295 |2350 | 0 | 0 | 0 | 733k| 0 | 1.000000e+00 | 6.800000e+01 |6700.00%
445.70/445.79 c 422s| 1030k|391860 | 0 | 0.0 | 343M| 183 | - | 295 |3860 | 0 | 0 | 0 | 739k| 0 | 1.000000e+00 | 6.800000e+01 |6700.00%
451.60/451.66 c 428s| 1040k|391134 | 0 | 0.0 | 347M| 183 | - | 295 |6636 | 0 | 0 | 0 | 747k| 0 | 1.000000e+00 | 6.800000e+01 |6700.00%
453.10/453.11 o 54
453.10/453.11 c * 429s| 1042k|342193 | 0 | 0.0 | 293M| 183 | - | 295 |7217 | 0 | 0 | 0 | 749k| 0 | 1.000000e+00 | 5.400000e+01 |5300.00%
458.61/458.64 c 435s| 1050k|339314 | 0 | 0.0 | 295M| 183 | - | 295 |3702 | 0 | 0 | 0 | 759k| 0 | 1.000000e+00 | 5.400000e+01 |5300.00%
465.60/465.69 c 441s| 1060k|334145 | 0 | 0.0 | 297M| 183 | - | 295 |5699 | 0 | 0 | 0 | 772k| 0 | 1.000000e+00 | 5.400000e+01 |5300.00%
474.60/474.65 c 450s| 1070k|327274 | 0 | 0.0 | 297M| 183 | - | 295 |6488 | 0 | 0 | 0 | 787k| 0 | 1.000000e+00 | 5.400000e+01 |5300.00%
483.40/483.43 c 458s| 1080k|319461 | 0 | 0.0 | 295M| 183 | - | 295 |3727 | 0 | 0 | 0 | 801k| 0 | 1.000000e+00 | 5.400000e+01 |5300.00%
491.61/491.67 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
491.61/491.67 c 466s| 1090k|312354 | 0 | 0.0 | 294M| 183 | - | 295 |6230 | 0 | 0 | 0 | 813k| 0 | 1.000000e+00 | 5.400000e+01 |5300.00%
500.90/500.96 c 475s| 1100k|305417 | 0 | 0.0 | 292M| 183 | - | 295 |7583 | 0 | 0 | 0 | 826k| 0 | 1.000000e+00 | 5.400000e+01 |5300.00%
506.10/506.18 o 41
506.10/506.18 c * 480s| 1105k|270190 | 0 | 0.0 | 262M| 183 | - | 295 |9405 | 0 | 0 | 0 | 833k| 0 | 1.000000e+00 | 4.100000e+01 |4000.00%
511.60/511.61 c 486s| 1110k|266933 | 0 | 0.0 | 262M| 183 | - | 295 | 10k| 0 | 0 | 0 | 840k| 0 | 1.000000e+00 | 4.100000e+01 |4000.00%
524.10/524.15 c 498s| 1120k|261199 | 0 | 0.0 | 261M| 183 | - | 295 | 13k| 0 | 0 | 0 | 855k| 0 | 1.000000e+00 | 4.100000e+01 |4000.00%
539.30/539.37 c 513s| 1130k|255243 | 0 | 0.0 | 259M| 183 | - | 295 | 17k| 0 | 0 | 0 | 871k| 0 | 1.000000e+00 | 4.100000e+01 |4000.00%
556.20/556.28 c 530s| 1140k|249199 | 0 | 0.0 | 256M| 183 | - | 295 | 17k| 0 | 0 | 0 | 888k| 0 | 1.000000e+00 | 4.100000e+01 |4000.00%
574.00/574.04 c 547s| 1150k|242921 | 0 | 0.0 | 252M| 183 | - | 295 | 19k| 0 | 0 | 0 | 906k| 0 | 1.000000e+00 | 4.100000e+01 |4000.00%
592.90/592.92 c 566s| 1160k|236409 | 0 | 0.0 | 245M| 183 | - | 295 | 20k| 0 | 0 | 0 | 926k| 0 | 1.000000e+00 | 4.100000e+01 |4000.00%
599.70/599.76 c 572s| 1170k|238579 | 0 | 0.0 | 242M| 183 | - | 295 |6135 | 0 | 0 | 0 | 934k| 0 | 1.000000e+00 | 4.100000e+01 |4000.00%
604.30/604.38 c 577s| 1180k|241569 | 0 | 0.0 | 247M| 183 | - | 295 |9926 | 0 | 0 | 0 | 944k| 0 | 1.000000e+00 | 4.100000e+01 |4000.00%
608.41/608.47 c 581s| 1190k|245777 | 0 | 0.0 | 249M| 183 | - | 295 |4453 | 0 | 0 | 0 | 951k| 0 | 1.000000e+00 | 4.100000e+01 |4000.00%
618.71/618.70 c 591s| 1200k|236903 | 0 | 0.0 | 249M| 183 | - | 295 |9209 | 0 | 0 | 0 | 965k| 0 | 1.000000e+00 | 4.100000e+01 |4000.00%
634.51/634.58 c 606s| 1210k|225107 | 0 | 0.0 | 247M| 183 | - | 295 | 13k| 0 | 0 | 0 | 980k| 0 | 1.000000e+00 | 4.100000e+01 |4000.00%
657.11/657.15 c 629s| 1220k|210380 | 0 | 0.0 | 242M| 183 | - | 295 | 18k| 0 | 0 | 0 | 996k| 0 | 1.000000e+00 | 4.100000e+01 |4000.00%
683.71/683.79 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
683.71/683.79 c 655s| 1230k|195466 | 0 | 0.0 | 234M| 183 | - | 295 | 23k| 0 | 0 | 0 |1013k| 0 | 1.000000e+00 | 4.100000e+01 |4000.00%
706.21/706.21 o 30
706.21/706.21 c * 677s| 1237k|169998 | 0 | 0.0 | 203M| 183 | - | 295 | 27k| 0 | 0 | 0 |1025k| 0 | 1.000000e+00 | 3.000000e+01 |2900.00%
717.01/717.09 c 688s| 1240k|165440 | 0 | 0.0 | 199M| 183 | - | 295 | 28k| 0 | 0 | 0 |1031k| 0 | 1.000000e+00 | 3.000000e+01 |2900.00%
756.71/756.77 c 727s| 1250k|153088 | 0 | 0.0 | 187M| 183 | - | 295 | 35k| 0 | 0 | 0 |1052k| 0 | 1.000000e+00 | 3.000000e+01 |2900.00%
772.01/772.05 o 29
772.01/772.05 c * 742s| 1253k|149334 | 0 | 0.0 | 183M| 183 | - | 295 | 38k| 0 | 0 | 0 |1060k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
804.81/804.89 c 775s| 1260k|141110 | 0 | 0.0 | 172M| 183 | - | 295 | 43k| 0 | 0 | 0 |1075k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
823.21/823.26 c 793s| 1270k|143696 | 0 | 0.0 | 170M| 183 | - | 295 | 31k| 0 | 0 | 0 |1085k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
840.71/840.72 c 811s| 1280k|144957 | 0 | 0.0 | 173M| 183 | - | 295 | 34k| 0 | 0 | 0 |1098k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
863.31/863.33 c 833s| 1290k|143936 | 0 | 0.0 | 175M| 183 | - | 295 | 40k| 0 | 0 | 0 |1113k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
879.81/879.84 c 849s| 1300k|147420 | 0 | 0.0 | 174M| 183 | - | 295 | 26k| 0 | 0 | 0 |1122k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
890.51/890.53 c 860s| 1310k|150113 | 0 | 0.0 | 177M| 183 | - | 295 | 22k| 0 | 0 | 0 |1131k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
909.62/909.70 c 879s| 1320k|142688 | 0 | 0.0 | 170M| 183 | - | 295 | 27k| 0 | 0 | 0 |1148k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
935.91/936.00 c 905s| 1330k|134754 | 0 | 0.0 | 158M| 183 | - | 295 | 35k| 0 | 0 | 0 |1169k| 0 | 3.000000e+00 | 2.900000e+01 | 866.67%
963.81/963.84 c 933s| 1340k|132216 | 0 | 0.0 | 160M| 183 | - | 295 | 45k| 0 | 0 | 0 |1187k| 0 | 3.000000e+00 | 2.900000e+01 | 866.67%
994.42/994.46 c 963s| 1350k|130420 | 0 | 0.0 | 159M| 183 | - | 295 | 46k| 0 | 0 | 0 |1203k| 0 | 3.000000e+00 | 2.900000e+01 | 866.67%
1016.61/1016.62 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1016.61/1016.62 c 985s| 1360k|132931 | 0 | 0.0 | 158M| 183 | - | 295 | 35k| 0 | 0 | 0 |1215k| 0 | 3.000000e+00 | 2.900000e+01 | 866.67%
1033.32/1033.37 c 1001s| 1370k|134895 | 0 | 0.0 | 160M| 183 | - | 295 | 33k| 0 | 0 | 0 |1226k| 0 | 3.000000e+00 | 2.900000e+01 | 866.67%
1050.32/1050.39 c 1018s| 1380k|134838 | 0 | 0.0 | 161M| 183 | - | 295 | 35k| 0 | 0 | 0 |1240k| 0 | 3.000000e+00 | 2.900000e+01 | 866.67%
1059.22/1059.26 c 1027s| 1390k|140841 | 0 | 0.0 | 161M| 183 | - | 295 | 23k| 0 | 0 | 0 |1244k| 0 | 3.000000e+00 | 2.900000e+01 | 866.67%
1076.62/1076.68 c 1044s| 1400k|137267 | 0 | 0.0 | 158M| 183 | - | 295 | 30k| 0 | 0 | 0 |1263k| 0 | 3.000000e+00 | 2.900000e+01 | 866.67%
1099.51/1099.59 c 1067s| 1410k|135210 | 0 | 0.0 | 158M| 183 | - | 295 | 34k| 0 | 0 | 0 |1279k| 0 | 4.000000e+00 | 2.900000e+01 | 625.00%
1119.02/1119.09 c 1086s| 1420k|133589 | 0 | 0.0 | 157M| 183 | - | 295 | 27k| 0 | 0 | 0 |1296k| 0 | 4.000000e+00 | 2.900000e+01 | 625.00%
1133.52/1133.53 c 1101s| 1430k|134895 | 0 | 0.0 | 155M| 183 | - | 295 | 21k| 0 | 0 | 0 |1308k| 0 | 4.000000e+00 | 2.900000e+01 | 625.00%
1139.11/1139.14 c 1106s| 1440k|140880 | 0 | 0.0 | 158M| 183 | - | 295 | 17k| 0 | 0 | 0 |1314k| 0 | 4.000000e+00 | 2.900000e+01 | 625.00%
1146.61/1146.66 c 1113s| 1450k|144824 | 0 | 0.0 | 163M| 183 | - | 295 | 21k| 0 | 0 | 0 |1322k| 0 | 4.000000e+00 | 2.900000e+01 | 625.00%
1156.92/1156.90 c 1123s| 1460k|147238 | 0 | 0.0 | 166M| 183 | - | 295 | 20k| 0 | 0 | 0 |1331k| 0 | 4.000000e+00 | 2.900000e+01 | 625.00%
1162.62/1162.68 c 1129s| 1470k|153239 | 0 | 0.0 | 167M| 183 | - | 295 | 14k| 0 | 0 | 0 |1336k| 0 | 4.000000e+00 | 2.900000e+01 | 625.00%
1169.92/1169.99 c 1136s| 1480k|154959 | 0 | 0.0 | 169M| 183 | - | 295 |9631 | 0 | 0 | 0 |1345k| 0 | 4.000000e+00 | 2.900000e+01 | 625.00%
1184.22/1184.23 c 1150s| 1490k|147255 | 0 | 0.0 | 168M| 183 | - | 295 | 14k| 0 | 0 | 0 |1362k| 0 | 4.000000e+00 | 2.900000e+01 | 625.00%
1199.61/1199.60 c 1165s| 1500k|138946 | 0 | 0.0 | 160M| 183 | - | 295 | 15k| 0 | 0 | 0 |1377k| 0 | 4.000000e+00 | 2.900000e+01 | 625.00%
1213.61/1213.60 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1213.61/1213.60 c 1179s| 1510k|134916 | 0 | 0.0 | 158M| 183 | - | 295 | 22k| 0 | 0 | 0 |1396k| 0 | 4.000000e+00 | 2.900000e+01 | 625.00%
1221.02/1221.07 c 1187s| 1520k|140320 | 0 | 0.0 | 160M| 183 | - | 295 | 18k| 0 | 0 | 0 |1405k| 0 | 4.000000e+00 | 2.900000e+01 | 625.00%
1229.32/1229.34 c 1195s| 1530k|144744 | 0 | 0.0 | 163M| 183 | - | 295 | 19k| 0 | 0 | 0 |1415k| 0 | 4.000000e+00 | 2.900000e+01 | 625.00%
1240.83/1240.88 c 1206s| 1540k|147246 | 0 | 0.0 | 167M| 183 | - | 295 | 22k| 0 | 0 | 0 |1426k| 0 | 4.000000e+00 | 2.900000e+01 | 625.00%
1258.02/1258.01 c 1223s| 1550k|147488 | 0 | 0.0 | 171M| 183 | - | 295 | 28k| 0 | 0 | 0 |1440k| 0 | 4.000000e+00 | 2.900000e+01 | 625.00%
1279.41/1279.46 c 1244s| 1560k|146638 | 0 | 0.0 | 173M| 183 | - | 295 | 35k| 0 | 0 | 0 |1455k| 0 | 4.000000e+00 | 2.900000e+01 | 625.00%
1298.62/1298.60 c 1263s| 1570k|148512 | 0 | 0.0 | 171M| 183 | - | 295 | 22k| 0 | 0 | 0 |1465k| 0 | 5.000000e+00 | 2.900000e+01 | 480.00%
1307.32/1307.35 c 1272s| 1580k|152327 | 0 | 0.0 | 174M| 183 | - | 295 | 18k| 0 | 0 | 0 |1473k| 0 | 6.000000e+00 | 2.900000e+01 | 383.33%
1317.02/1317.03 c 1281s| 1590k|154943 | 0 | 0.0 | 178M| 183 | - | 295 | 23k| 0 | 0 | 0 |1484k| 0 | 6.000000e+00 | 2.900000e+01 | 383.33%
1325.72/1325.71 c 1290s| 1600k|159569 | 0 | 0.0 | 182M| 183 | - | 295 | 20k| 0 | 0 | 0 |1491k| 0 | 6.000000e+00 | 2.900000e+01 | 383.33%
1333.82/1333.86 c 1298s| 1610k|163504 | 0 | 0.0 | 186M| 183 | - | 295 | 21k| 0 | 0 | 0 |1501k| 0 | 6.000000e+00 | 2.900000e+01 | 383.33%
1344.42/1344.45 c 1308s| 1620k|165092 | 0 | 0.0 | 189M| 183 | - | 295 | 23k| 0 | 0 | 0 |1512k| 0 | 6.000000e+00 | 2.900000e+01 | 383.33%
1361.02/1361.07 c 1325s| 1630k|162114 | 0 | 0.0 | 185M| 183 | - | 295 | 19k| 0 | 0 | 0 |1526k| 0 | 6.000000e+00 | 2.900000e+01 | 383.33%
1368.92/1368.92 c 1332s| 1640k|164841 | 0 | 0.0 | 185M| 183 | - | 295 | 16k| 0 | 0 | 0 |1535k| 0 | 6.000000e+00 | 2.900000e+01 | 383.33%
1378.12/1378.17 c 1341s| 1650k|163498 | 0 | 0.0 | 183M| 183 | - | 295 | 14k| 0 | 0 | 0 |1546k| 0 | 6.000000e+00 | 2.900000e+01 | 383.33%
1390.12/1390.10 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1390.12/1390.10 c 1353s| 1660k|163643 | 0 | 0.0 | 186M| 183 | - | 295 | 19k| 0 | 0 | 0 |1562k| 0 | 6.000000e+00 | 2.900000e+01 | 383.33%
1409.82/1409.81 c 1373s| 1670k|161580 | 0 | 0.0 | 189M| 183 | - | 295 | 24k| 0 | 0 | 0 |1579k| 0 | 6.000000e+00 | 2.900000e+01 | 383.33%
1435.73/1435.73 c 1398s| 1680k|158759 | 0 | 0.0 | 190M| 183 | - | 295 | 30k| 0 | 0 | 0 |1598k| 0 | 6.000000e+00 | 2.900000e+01 | 383.33%
1469.73/1469.73 c 1432s| 1690k|154008 | 0 | 0.0 | 189M| 183 | - | 295 | 40k| 0 | 0 | 0 |1618k| 0 | 6.000000e+00 | 2.900000e+01 | 383.33%
1487.93/1487.98 c 1450s| 1700k|155846 | 0 | 0.0 | 186M| 183 | - | 295 | 21k| 0 | 0 | 0 |1629k| 0 | 6.000000e+00 | 2.900000e+01 | 383.33%
1500.82/1500.85 c 1463s| 1710k|157337 | 0 | 0.0 | 190M| 183 | - | 295 | 25k| 0 | 0 | 0 |1641k| 0 | 6.000000e+00 | 2.900000e+01 | 383.33%
1514.42/1514.42 c 1476s| 1720k|158728 | 0 | 0.0 | 194M| 183 | - | 295 | 31k| 0 | 0 | 0 |1654k| 0 | 6.000000e+00 | 2.900000e+01 | 383.33%
1533.43/1533.49 c 1495s| 1730k|158868 | 0 | 0.0 | 196M| 183 | - | 295 | 35k| 0 | 0 | 0 |1668k| 0 | 6.000000e+00 | 2.900000e+01 | 383.33%
1552.82/1552.89 c 1515s| 1740k|160101 | 0 | 0.0 | 199M| 183 | - | 295 | 33k| 0 | 0 | 0 |1682k| 0 | 6.000000e+00 | 2.900000e+01 | 383.33%
1570.93/1570.95 c 1532s| 1750k|161070 | 0 | 0.0 | 201M| 183 | - | 295 | 35k| 0 | 0 | 0 |1695k| 0 | 6.000000e+00 | 2.900000e+01 | 383.33%
1590.23/1590.27 c 1552s| 1760k|161333 | 0 | 0.0 | 203M| 183 | - | 295 | 37k| 0 | 0 | 0 |1709k| 0 | 6.000000e+00 | 2.900000e+01 | 383.33%
1613.03/1613.07 c 1574s| 1770k|159827 | 0 | 0.0 | 205M| 183 | - | 295 | 43k| 0 | 0 | 0 |1725k| 0 | 6.000000e+00 | 2.900000e+01 | 383.33%
1631.93/1631.92 c 1593s| 1780k|162283 | 0 | 0.0 | 202M| 183 | - | 295 | 29k| 0 | 0 | 0 |1734k| 0 | 6.000000e+00 | 2.900000e+01 | 383.33%
1640.14/1640.18 c 1601s| 1790k|167808 | 0 | 0.0 | 205M| 183 | - | 295 | 26k| 0 | 0 | 0 |1740k| 0 | 6.000000e+00 | 2.900000e+01 | 383.33%
1652.03/1652.01 c 1613s| 1800k|170283 | 0 | 0.0 | 208M| 183 | - | 295 | 27k| 0 | 0 | 0 |1750k| 0 | 6.000000e+00 | 2.900000e+01 | 383.33%
1664.63/1664.60 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1664.63/1664.60 c 1625s| 1810k|172271 | 0 | 0.0 | 206M| 183 | - | 295 | 15k| 0 | 0 | 0 |1759k| 0 | 6.000000e+00 | 2.900000e+01 | 383.33%
1674.83/1674.81 c 1635s| 1820k|170374 | 0 | 0.0 | 206M| 183 | - | 295 | 15k| 0 | 0 | 0 |1770k| 0 | 6.000000e+00 | 2.900000e+01 | 383.33%
1692.63/1692.64 c 1653s| 1830k|165068 | 0 | 0.0 | 203M| 183 | - | 295 | 27k| 0 | 0 | 0 |1791k| 0 | 6.000000e+00 | 2.900000e+01 | 383.33%
1711.54/1711.52 c 1671s| 1840k|162734 | 0 | 0.0 | 200M| 183 | - | 295 | 24k| 0 | 0 | 0 |1808k| 0 | 6.000000e+00 | 2.900000e+01 | 383.33%
1732.43/1732.50 c 1692s| 1850k|160106 | 0 | 0.0 | 202M| 183 | - | 295 | 34k| 0 | 0 | 0 |1826k| 0 | 6.000000e+00 | 2.900000e+01 | 383.33%
1760.93/1760.98 c 1721s| 1860k|156992 | 0 | 0.0 | 202M| 183 | - | 295 | 44k| 0 | 0 | 0 |1844k| 0 | 7.000000e+00 | 2.900000e+01 | 314.29%
1793.83/1793.89 c 1753s| 1870k|155242 | 0 | 0.0 | 202M| 183 | - | 295 | 45k| 0 | 0 | 0 |1862k| 0 | 7.000000e+00 | 2.900000e+01 | 314.29%
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) : 1759.36
1800.04/1800.00 c Solving Nodes : 1871702
1800.04/1800.00 c Primal Bound : +2.90000000000000e+01 (14 solutions)
1800.04/1800.00 c Dual Bound : +7.00000000000000e+00
1800.04/1800.00 c Gap : 314.29 %
1800.04/1800.00 s SATISFIABLE
1800.04/1800.00 v -x169 -x168 -x167 -x166 -x165 -x164 x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 x154 -x153 -x152 -x151 -x150 -x149 -x148
1800.04/1800.00 v -x147 -x146 -x145 -x144 -x143 -x142 -x141 x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127
1800.04/1800.00 v -x126 -x125 -x124 -x123 -x122 -x121 x120 -x119 -x118 x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106
1800.04/1800.00 v -x105 -x104 -x103 -x102 -x101 -x100 x99 -x98 -x97 -x96 -x95 -x94 -x93 -x92 -x91 -x90 -x89 -x88 -x87 -x86 -x85 -x84 -x83 x82
1800.04/1800.00 v -x81 -x80 -x79 -x78 -x77 -x76 -x75 x74 -x73 -x72 -x71 -x70 -x69 -x68 -x67 -x66 -x65 -x64 -x63 -x62 -x61 -x60 -x59 -x58 -x57
1800.04/1800.00 v -x56 -x55 -x54 x53 -x52 -x51 -x50 -x49 -x48 -x47 -x46 -x45 -x44 -x43 -x42 -x41 -x40 -x39 -x38 -x37 -x36 -x35 -x34 -x33 -x32 -x31
1800.04/1800.00 v -x30 -x29 x28 -x27 -x26 x25 -x24 -x23 -x22 -x21 -x20 -x19 -x18 -x17 -x16 -x15 -x14 -x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5
1800.04/1800.00 v -x4 -x3 -x2 -x1
1800.04/1800.00 c SCIP Status : solving was interrupted [user interrupt]
1800.04/1800.00 c Solving Time : 1759.36
1800.04/1800.00 c Original Problem :
1800.04/1800.00 c Problem name : HOME/instance-2693944-1277898074.wbo
1800.04/1800.00 c Variables : 297 (233 binary, 0 integer, 0 implicit integer, 64 continuous)
1800.04/1800.00 c Constraints : 166 initial, 166 maximal
1800.04/1800.00 c Presolved Problem :
1800.04/1800.00 c Problem name : t_HOME/instance-2693944-1277898074.wbo
1800.04/1800.00 c Variables : 295 (232 binary, 0 integer, 0 implicit integer, 63 continuous)
1800.04/1800.00 c Constraints : 159 initial, 53411 maximal
1800.04/1800.00 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.04/1800.00 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.00 c dualfix : 0.00 2 0 0 0 0 0 0 0
1800.04/1800.00 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.00 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.00 c implics : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.00 c probing : 0.01 0 0 0 0 0 0 0 0
1800.04/1800.00 c indicator : 0.00 0 0 0 0 0 1 0 0
1800.04/1800.00 c knapsack : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.00 c setppc : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.00 c linear : 0.00 0 0 0 63 0 6 1 0
1800.04/1800.00 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.00 c bounddisjunction : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.00 c root node : - 26 - - 52 - - - -
1800.04/1800.00 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.04/1800.00 c integral : 0 0 0 0 0 0 0 0 0 0
1800.04/1800.00 c indicator : 63 0 5753466 0 1241218 13899 2266727 0 0 0
1800.04/1800.00 c knapsack : 1 0 6060349 0 1299791 100828 27755021 0 0 0
1800.04/1800.00 c setppc : 23 0 5959160 0 1299746 191721 3270527 0 0 0
1800.04/1800.00 c linear : 63 0 5767775 0 1299787 398325 5498780 0 0 0
1800.04/1800.00 c logicor : 9+ 0 2612276 0 1299602 90358 1590471 0 0 0
1800.04/1800.00 c bounddisjunction : 0+ 0 258601 0 0 5 25790 0 0 0
1800.04/1800.00 c countsols : 0 0 0 0 1299801 0 0 0 0 0
1800.04/1800.00 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.04/1800.00 c integral : 0.00 0.00 0.00 0.00 0.00
1800.04/1800.00 c indicator : 5.76 0.00 3.64 0.00 2.12
1800.04/1800.00 c knapsack : 175.24 0.00 171.85 0.00 3.39
1800.04/1800.00 c setppc : 17.32 0.00 14.12 0.00 3.20
1800.04/1800.00 c linear : 63.06 0.00 62.47 0.00 0.59
1800.04/1800.00 c logicor : 741.52 0.00 740.29 0.00 1.23
1800.04/1800.00 c bounddisjunction : 1.60 0.00 1.60 0.00 0.00
1800.04/1800.00 c countsols : 0.19 0.00 0.00 0.00 0.19
1800.04/1800.00 c Propagators : Time Calls Cutoffs DomReds
1800.04/1800.00 c vbounds : 1.25 2 0 0
1800.04/1800.00 c rootredcost : 0.80 0 0 0
1800.04/1800.00 c pseudoobj : 16.08 6094796 20699 2120800
1800.04/1800.00 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.04/1800.00 c propagation : 24.64 801936 801846 3918391 19.6 146824 14.1 -
1800.04/1800.00 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.00 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.00 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.00 c pseudo solution : 0.03 238 238 929 17.8 26 14.0 -
1800.04/1800.00 c applied globally : - - - 1846532 15.6 - - -
1800.04/1800.00 c applied locally : - - - 18986 36.1 - - -
1800.04/1800.00 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.04/1800.00 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.04/1800.00 c redcost : 0.00 0 0 0 0 0
1800.04/1800.00 c impliedbounds : 0.00 0 0 0 0 0
1800.04/1800.00 c intobj : 0.00 0 0 0 0 0
1800.04/1800.00 c cgmip : 0.00 0 0 0 0 0
1800.04/1800.00 c gomory : 0.00 0 0 0 0 0
1800.04/1800.00 c strongcg : 0.00 0 0 0 0 0
1800.04/1800.00 c cmir : 0.00 0 0 0 0 0
1800.04/1800.00 c flowcover : 0.00 0 0 0 0 0
1800.04/1800.00 c clique : 0.00 0 0 0 0 0
1800.04/1800.00 c zerohalf : 0.00 0 0 0 0 0
1800.04/1800.00 c mcf : 0.00 0 0 0 0 0
1800.04/1800.00 c rapidlearning : 0.00 0 0 0 0 0
1800.04/1800.00 c Pricers : Time Calls Vars
1800.04/1800.00 c problem variables: 0.00 0 0
1800.04/1800.00 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.04/1800.00 c relpscost : 0.00 0 0 0 0 0 0
1800.04/1800.00 c pscost : 0.00 0 0 0 0 0 0
1800.04/1800.00 c inference : 12.70 1299787 0 0 0 0 2599574
1800.04/1800.00 c mostinf : 0.00 0 0 0 0 0 0
1800.04/1800.00 c leastinf : 0.00 0 0 0 0 0 0
1800.04/1800.00 c fullstrong : 0.00 0 0 0 0 0 0
1800.04/1800.00 c allfullstrong : 0.00 0 0 0 0 0 0
1800.04/1800.00 c random : 0.00 0 0 0 0 0 0
1800.04/1800.00 c Primal Heuristics : Time Calls Found
1800.04/1800.00 c LP solutions : 0.00 - 0
1800.04/1800.00 c pseudo solutions : 0.38 - 14
1800.04/1800.00 c oneopt : 0.41 0 0
1800.04/1800.00 c trivial : 0.00 2 0
1800.04/1800.00 c simplerounding : 0.00 0 0
1800.04/1800.00 c zirounding : 0.00 0 0
1800.04/1800.00 c rounding : 0.00 0 0
1800.04/1800.00 c shifting : 0.00 0 0
1800.04/1800.00 c intshifting : 0.00 0 0
1800.04/1800.00 c twoopt : 0.00 0 0
1800.04/1800.00 c fixandinfer : 0.00 0 0
1800.04/1800.00 c feaspump : 0.00 0 0
1800.04/1800.00 c coefdiving : 0.00 0 0
1800.04/1800.00 c pscostdiving : 0.00 0 0
1800.04/1800.00 c fracdiving : 0.00 0 0
1800.04/1800.00 c veclendiving : 0.00 0 0
1800.04/1800.00 c intdiving : 0.00 0 0
1800.04/1800.00 c actconsdiving : 0.00 0 0
1800.04/1800.00 c objpscostdiving : 0.00 0 0
1800.04/1800.00 c rootsoldiving : 0.00 0 0
1800.04/1800.00 c linesearchdiving : 0.00 0 0
1800.04/1800.00 c guideddiving : 0.00 0 0
1800.04/1800.00 c octane : 0.00 0 0
1800.04/1800.00 c rens : 0.00 0 0
1800.04/1800.00 c rins : 0.00 0 0
1800.04/1800.00 c localbranching : 0.00 0 0
1800.04/1800.00 c mutation : 0.00 0 0
1800.04/1800.00 c crossover : 0.00 0 0
1800.04/1800.00 c dins : 0.00 0 0
1800.04/1800.00 c undercover : 0.00 0 0
1800.04/1800.00 c nlp : 0.26 0 0
1800.04/1800.00 c trysol : 0.18 1 0
1800.04/1800.00 c LP : Time Calls Iterations Iter/call Iter/sec
1800.04/1800.00 c primal LP : 0.00 0 0 0.00 -
1800.04/1800.00 c dual LP : 0.00 0 0 0.00 -
1800.04/1800.00 c lex dual LP : 0.00 0 0 0.00 -
1800.04/1800.00 c barrier LP : 0.00 0 0 0.00 -
1800.04/1800.00 c diving/probing LP: 0.00 0 0 0.00 -
1800.04/1800.00 c strong branching : 0.00 0 0 0.00 -
1800.04/1800.00 c (at root node) : - 0 0 0.00 -
1800.04/1800.00 c conflict analysis: 0.00 0 0 0.00 -
1800.04/1800.00 c B&B Tree :
1800.04/1800.00 c number of runs : 1
1800.04/1800.00 c nodes : 1871702
1800.04/1800.00 c nodes (total) : 1871702
1800.04/1800.00 c nodes left : 154635
1800.04/1800.00 c max depth : 183
1800.04/1800.00 c max depth (total): 183
1800.04/1800.00 c backtracks : 639105 (34.1%)
1800.04/1800.00 c delayed cutoffs : 425300
1800.04/1800.00 c repropagations : 2543643 (10965270 domain reductions, 244172 cutoffs)
1800.04/1800.00 c avg switch length: 24.16
1800.04/1800.00 c switching time : 531.15
1800.04/1800.00 c Solution :
1800.04/1800.00 c Solutions found : 14 (14 improvements)
1800.04/1800.00 c First Solution : +3.41000000000000e+02 (in run 1, after 16661 nodes, 2.36 seconds, depth 75, found by <relaxation>)
1800.04/1800.00 c Primal Bound : +2.90000000000000e+01 (in run 1, after 1253561 nodes, 742.38 seconds, depth 78, found by <relaxation>)
1800.04/1800.00 c Dual Bound : +7.00000000000000e+00
1800.04/1800.00 c Gap : 314.29 %
1800.04/1800.00 c Root Dual Bound : +0.00000000000000e+00
1800.04/1800.00 c Root Iterations : 0
1800.53/1800.51 c Time complete: 1800.56.