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-2693971-1277898758.wbo>
0.00/0.00 c original problem has 307 variables (238 bin, 0 int, 0 impl, 69 cont) and 171 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, 75 impls, 20 clqs
0.00/0.01 c (round 2) 0 del vars, 4 del conss, 0 chg bounds, 1 chg sides, 0 chg coeffs, 0 upgd conss, 75 impls, 20 clqs
0.00/0.01 c (round 3) 1 del vars, 5 del conss, 68 chg bounds, 1 chg sides, 0 chg coeffs, 0 upgd conss, 75 impls, 20 clqs
0.00/0.01 c (round 4) 2 del vars, 5 del conss, 68 chg bounds, 1 chg sides, 0 chg coeffs, 30 upgd conss, 75 impls, 20 clqs
0.00/0.02 c (0.0s) probing: 101/237 (42.6%) - 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, 5 deleted constraints, 68 tightened bounds, 0 added holes, 1 changed sides, 0 changed coefficients
0.00/0.02 c 75 implications, 20 cliques
0.00/0.02 c presolved problem has 305 variables (237 bin, 0 int, 0 impl, 68 cont) and 166 constraints
0.00/0.02 c 68 constraints of type <indicator>
0.00/0.02 c 20 constraints of type <setppc>
0.00/0.02 c 68 constraints of type <linear>
0.00/0.02 c 10 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 | - | 950k| 0 | - | 305 | 166 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1.10/1.19 c 0.9s| 10000 | 6968 | 0 | 0.0 |6818k| 168 | - | 305 |3765 | 0 | 0 | 0 |7941 | 0 | 0.000000e+00 | -- | Inf
3.09/3.15 c 2.6s| 20000 | 12204 | 0 | 0.0 | 11M| 168 | - | 305 |5344 | 0 | 0 | 0 | 19k| 0 | 0.000000e+00 | -- | Inf
5.89/5.91 c 5.1s| 30000 | 16355 | 0 | 0.0 | 17M| 168 | - | 305 |9242 | 0 | 0 | 0 | 34k| 0 | 0.000000e+00 | -- | Inf
9.69/9.74 c 8.6s| 40000 | 18714 | 0 | 0.0 | 21M| 168 | - | 305 | 10k| 0 | 0 | 0 | 51k| 0 | 0.000000e+00 | -- | Inf
13.29/13.39 c 11.9s| 50000 | 21968 | 0 | 0.0 | 23M| 168 | - | 305 |5971 | 0 | 0 | 0 | 65k| 0 | 0.000000e+00 | -- | Inf
14.69/14.73 c 13.0s| 60000 | 29953 | 0 | 0.0 | 26M| 168 | - | 305 |2519 | 0 | 0 | 0 | 70k| 0 | 0.000000e+00 | -- | Inf
17.60/17.60 c 15.6s| 70000 | 33363 | 0 | 0.0 | 32M| 168 | - | 305 |9704 | 0 | 0 | 0 | 86k| 0 | 0.000000e+00 | -- | Inf
22.59/22.67 c 20.3s| 80000 | 34402 | 0 | 0.0 | 37M| 168 | - | 305 | 14k| 0 | 0 | 0 | 105k| 0 | 0.000000e+00 | -- | Inf
29.39/29.40 c 26.7s| 90000 | 34205 | 0 | 0.0 | 41M| 168 | - | 305 | 19k| 0 | 0 | 0 | 127k| 0 | 0.000000e+00 | -- | Inf
37.59/37.65 c 34.7s|100000 | 33238 | 0 | 0.0 | 43M| 168 | - | 305 | 22k| 0 | 0 | 0 | 148k| 0 | 0.000000e+00 | -- | Inf
44.59/44.68 c 41.4s|110000 | 35208 | 0 | 0.0 | 41M| 168 | - | 305 |9816 | 0 | 0 | 0 | 163k| 0 | 0.000000e+00 | -- | Inf
47.79/47.81 c 44.2s|120000 | 40288 | 0 | 0.0 | 45M| 168 | - | 305 |9627 | 0 | 0 | 0 | 176k| 0 | 0.000000e+00 | -- | Inf
52.09/52.15 c 48.2s|130000 | 43174 | 0 | 0.0 | 50M| 168 | - | 305 | 12k| 0 | 0 | 0 | 192k| 0 | 0.000000e+00 | -- | Inf
53.90/53.93 o 577
53.90/53.93 c *49.8s|133901 | 44149 | 0 | 0.0 | 51M| 168 | - | 305 | 13k| 0 | 0 | 0 | 198k| 0 | 0.000000e+00 | 5.770000e+02 | Inf
54.30/54.31 o 428
54.30/54.31 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
54.30/54.31 c *50.1s|138685 | 48912 | 0 | 0.0 | 50M| 168 | - | 305 |4237 | 0 | 0 | 0 | 198k| 0 | 0.000000e+00 | 4.280000e+02 | Inf
54.39/54.40 c 50.2s|140000 | 50176 | 0 | 0.0 | 50M| 168 | - | 305 |1812 | 0 | 0 | 0 | 198k| 0 | 0.000000e+00 | 4.280000e+02 | Inf
54.50/54.50 o 343
54.50/54.50 c *50.2s|141510 | 51605 | 0 | 0.0 | 50M| 168 | - | 305 |1094 | 0 | 0 | 0 | 198k| 0 | 0.000000e+00 | 3.430000e+02 | Inf
54.59/54.65 o 296
54.59/54.65 c *50.3s|144045 | 54042 | 0 | 0.0 | 51M| 168 | - | 305 | 772 | 0 | 0 | 0 | 198k| 0 | 0.000000e+00 | 2.960000e+02 | Inf
55.00/55.01 c 50.6s|150000 | 59770 | 0 | 0.0 | 53M| 168 | - | 305 | 846 | 0 | 0 | 0 | 199k| 0 | 0.000000e+00 | 2.960000e+02 | Inf
55.59/55.67 c 51.0s|160000 | 69257 | 0 | 0.0 | 57M| 168 | - | 305 |1045 | 0 | 0 | 0 | 200k| 0 | 0.000000e+00 | 2.960000e+02 | Inf
56.20/56.23 o 290
56.20/56.23 c *51.4s|167603 | 76253 | 0 | 0.0 | 59M| 168 | - | 305 |1577 | 0 | 0 | 0 | 201k| 0 | 0.000000e+00 | 2.900000e+02 | Inf
56.40/56.41 c 51.5s|170000 | 78455 | 0 | 0.0 | 60M| 168 | - | 305 |1702 | 0 | 0 | 0 | 201k| 0 | 0.000000e+00 | 2.900000e+02 | Inf
57.20/57.28 c 52.2s|180000 | 87411 | 0 | 0.0 | 65M| 168 | - | 305 |2367 | 0 | 0 | 0 | 203k| 0 | 0.000000e+00 | 2.900000e+02 | Inf
57.69/57.73 o 263
57.69/57.73 c *52.5s|186485 | 93649 | 0 | 0.0 | 67M| 168 | - | 305 |2271 | 0 | 0 | 0 | 203k| 0 | 0.000000e+00 | 2.630000e+02 | Inf
57.69/57.74 o 218
57.69/57.74 c *52.5s|186486 | 93155 | 0 | 0.0 | 67M| 168 | - | 305 |2271 | 0 | 0 | 0 | 203k| 0 | 0.000000e+00 | 2.180000e+02 | Inf
57.79/57.84 o 208
57.79/57.84 c *52.5s|187847 | 94243 | 0 | 0.0 | 67M| 168 | - | 305 |2330 | 0 | 0 | 0 | 203k| 0 | 0.000000e+00 | 2.080000e+02 | Inf
57.79/57.84 o 200
57.79/57.84 c *52.5s|187848 | 94055 | 0 | 0.0 | 67M| 168 | - | 305 |2330 | 0 | 0 | 0 | 203k| 0 | 0.000000e+00 | 2.000000e+02 | Inf
57.90/57.91 o 197
57.90/57.91 c *52.6s|188495 | 94503 | 0 | 0.0 | 67M| 168 | - | 305 |2448 | 0 | 0 | 0 | 203k| 0 | 0.000000e+00 | 1.970000e+02 | Inf
57.99/58.09 o 194
57.99/58.09 c *52.7s|189969 | 95570 | 0 | 0.0 | 68M| 168 | - | 305 |2771 | 0 | 0 | 0 | 204k| 0 | 0.000000e+00 | 1.940000e+02 | Inf
58.09/58.10 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
58.09/58.10 c 52.7s|190000 | 95593 | 0 | 0.0 | 68M| 168 | - | 305 |2770 | 0 | 0 | 0 | 204k| 0 | 0.000000e+00 | 1.940000e+02 | Inf
58.09/58.11 o 179
58.09/58.11 c *52.7s|190042 | 95132 | 0 | 0.0 | 68M| 168 | - | 305 |2767 | 0 | 0 | 0 | 204k| 0 | 0.000000e+00 | 1.790000e+02 | Inf
58.69/58.72 o 176
58.69/58.72 c *53.2s|194365 | 98148 | 0 | 0.0 | 70M| 168 | - | 305 |3581 | 0 | 0 | 0 | 206k| 0 | 0.000000e+00 | 1.760000e+02 | Inf
58.79/58.84 o 170
58.79/58.84 c *53.3s|195210 | 98420 | 0 | 0.0 | 71M| 168 | - | 305 |3736 | 0 | 0 | 0 | 206k| 0 | 0.000000e+00 | 1.700000e+02 | Inf
58.90/58.91 o 156
58.90/58.91 c *53.4s|195624 | 96881 | 0 | 0.0 | 70M| 168 | - | 305 |3795 | 0 | 0 | 0 | 206k| 0 | 0.000000e+00 | 1.560000e+02 | Inf
59.09/59.14 o 154
59.09/59.14 c *53.6s|197077 | 97866 | 0 | 0.0 | 71M| 168 | - | 305 |4096 | 0 | 0 | 0 | 207k| 0 | 0.000000e+00 | 1.540000e+02 | Inf
59.19/59.29 o 149
59.19/59.29 c *53.7s|198011 | 98056 | 0 | 0.0 | 71M| 168 | - | 305 |4196 | 0 | 0 | 0 | 207k| 0 | 0.000000e+00 | 1.490000e+02 | Inf
59.40/59.43 o 145
59.40/59.43 c *53.8s|198782 | 98241 | 0 | 0.0 | 72M| 168 | - | 305 |4337 | 0 | 0 | 0 | 207k| 0 | 0.000000e+00 | 1.450000e+02 | Inf
59.59/59.60 o 144
59.59/59.60 c *54.0s|199626 | 98478 | 0 | 0.0 | 72M| 168 | - | 305 |4502 | 0 | 0 | 0 | 208k| 0 | 0.000000e+00 | 1.440000e+02 | Inf
59.59/59.60 o 134
59.59/59.60 c *54.0s|199632 | 96059 | 0 | 0.0 | 71M| 168 | - | 305 |4502 | 0 | 0 | 0 | 208k| 0 | 0.000000e+00 | 1.340000e+02 | Inf
59.59/59.62 o 117
59.59/59.62 c *54.0s|199697 | 94859 | 0 | 0.0 | 70M| 168 | - | 305 |4510 | 0 | 0 | 0 | 208k| 0 | 0.000000e+00 | 1.170000e+02 | Inf
59.59/59.62 o 105
59.59/59.62 c *54.0s|199710 | 92519 | 0 | 0.0 | 69M| 168 | - | 305 |4518 | 0 | 0 | 0 | 208k| 0 | 0.000000e+00 | 1.050000e+02 | Inf
59.59/59.69 c 54.0s|200000 | 92616 | 0 | 0.0 | 69M| 168 | - | 305 |4802 | 0 | 0 | 0 | 208k| 0 | 0.000000e+00 | 1.050000e+02 | Inf
66.89/66.99 c 61.0s|210000 | 89889 | 0 | 0.0 | 73M| 168 | - | 305 | 17k| 0 | 0 | 0 | 234k| 0 | 0.000000e+00 | 1.050000e+02 | Inf
79.90/79.96 c 73.5s|220000 | 84205 | 0 | 0.0 | 69M| 168 | - | 305 | 25k| 0 | 0 | 0 | 260k| 0 | 0.000000e+00 | 1.050000e+02 | Inf
89.00/89.06 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
89.00/89.06 c 82.3s|230000 | 85417 | 0 | 0.0 | 65M| 168 | - | 305 | 14k| 0 | 0 | 0 | 279k| 0 | 0.000000e+00 | 1.050000e+02 | Inf
94.69/94.74 c 87.6s|240000 | 87751 | 0 | 0.0 | 68M| 168 | - | 305 | 15k| 0 | 0 | 0 | 296k| 0 | 0.000000e+00 | 1.050000e+02 | Inf
101.20/101.20 c 93.7s|250000 | 89652 | 0 | 0.0 | 73M| 168 | - | 305 | 20k| 0 | 0 | 0 | 313k| 0 | 0.000000e+00 | 1.050000e+02 | Inf
109.30/109.35 c 101s|260000 | 91005 | 0 | 0.0 | 77M| 168 | - | 305 | 26k| 0 | 0 | 0 | 332k| 0 | 0.000000e+00 | 1.050000e+02 | Inf
120.40/120.48 c 112s|270000 | 91228 | 0 | 0.0 | 77M| 168 | - | 305 | 22k| 0 | 0 | 0 | 352k| 0 | 0.000000e+00 | 1.050000e+02 | Inf
121.30/121.33 o 90
121.30/121.33 c * 113s|273546 | 87955 | 0 | 0.0 | 70M| 168 | - | 305 |2184 | 0 | 0 | 0 | 354k| 0 | 0.000000e+00 | 9.000000e+01 | Inf
122.10/122.14 c 114s|280000 | 93124 | 0 | 0.0 | 73M| 168 | - | 305 |1345 | 0 | 0 | 0 | 356k| 0 | 0.000000e+00 | 9.000000e+01 | Inf
122.20/122.23 o 79
122.20/122.23 c * 114s|280893 | 88462 | 0 | 0.0 | 70M| 168 | - | 305 |1491 | 0 | 0 | 0 | 356k| 0 | 0.000000e+00 | 7.900000e+01 | Inf
123.00/123.02 o 73
123.00/123.02 c * 114s|287403 | 84196 | 0 | 0.0 | 69M| 168 | - | 305 |1813 | 0 | 0 | 0 | 359k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
123.29/123.35 c 115s|290000 | 86194 | 0 | 0.0 | 70M| 168 | - | 305 |1641 | 0 | 0 | 0 | 360k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
124.59/124.64 c 116s|300000 | 93931 | 0 | 0.0 | 74M| 168 | - | 305 |1940 | 0 | 0 | 0 | 365k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
125.99/126.02 c 117s|310000 |101548 | 0 | 0.0 | 78M| 168 | - | 305 |2352 | 0 | 0 | 0 | 370k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
127.40/127.44 c 118s|320000 |109036 | 0 | 0.0 | 83M| 168 | - | 305 |3048 | 0 | 0 | 0 | 375k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
128.90/128.99 c 119s|330000 |116247 | 0 | 0.0 | 87M| 168 | - | 305 |3373 | 0 | 0 | 0 | 381k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
130.49/130.55 c 120s|340000 |123547 | 0 | 0.0 | 92M| 168 | - | 305 |4060 | 0 | 0 | 0 | 386k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
132.19/132.23 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
132.19/132.23 c 122s|350000 |130606 | 0 | 0.0 | 96M| 168 | - | 305 |3776 | 0 | 0 | 0 | 392k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
133.80/133.84 c 123s|360000 |137623 | 0 | 0.0 | 101M| 168 | - | 305 |4246 | 0 | 0 | 0 | 397k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
135.60/135.61 c 125s|370000 |144398 | 0 | 0.0 | 106M| 168 | - | 305 |5067 | 0 | 0 | 0 | 402k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
137.40/137.48 c 126s|380000 |151042 | 0 | 0.0 | 111M| 168 | - | 305 |5143 | 0 | 0 | 0 | 407k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
139.49/139.55 c 128s|390000 |157329 | 0 | 0.0 | 117M| 168 | - | 305 |6235 | 0 | 0 | 0 | 413k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
141.80/141.88 c 130s|400000 |163223 | 0 | 0.0 | 122M| 168 | - | 305 |6182 | 0 | 0 | 0 | 419k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
144.30/144.39 c 132s|410000 |168630 | 0 | 0.0 | 128M| 168 | - | 305 |7069 | 0 | 0 | 0 | 426k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
147.10/147.13 c 134s|420000 |173646 | 0 | 0.0 | 133M| 168 | - | 305 |7812 | 0 | 0 | 0 | 433k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
150.20/150.28 c 137s|430000 |178059 | 0 | 0.0 | 139M| 168 | - | 305 |8499 | 0 | 0 | 0 | 441k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
153.80/153.80 c 141s|440000 |181890 | 0 | 0.0 | 145M| 168 | - | 305 |9220 | 0 | 0 | 0 | 450k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
157.89/157.96 c 144s|450000 |184584 | 0 | 0.0 | 150M| 168 | - | 305 | 10k| 0 | 0 | 0 | 459k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
162.70/162.78 c 149s|460000 |186170 | 0 | 0.0 | 154M| 168 | - | 305 | 11k| 0 | 0 | 0 | 469k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
166.69/166.79 c 152s|470000 |187835 | 0 | 0.0 | 149M| 168 | - | 305 |4619 | 0 | 0 | 0 | 480k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
172.30/172.30 c 157s|480000 |186246 | 0 | 0.0 | 152M| 168 | - | 305 |9573 | 0 | 0 | 0 | 502k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
179.40/179.47 c 164s|490000 |184485 | 0 | 0.0 | 154M| 168 | - | 305 | 15k| 0 | 0 | 0 | 523k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
189.70/189.73 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
189.70/189.73 c 174s|500000 |181821 | 0 | 0.0 | 156M| 168 | - | 305 | 23k| 0 | 0 | 0 | 546k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
201.20/201.26 c 185s|510000 |181164 | 0 | 0.0 | 152M| 168 | - | 305 | 11k| 0 | 0 | 0 | 566k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
203.80/203.88 c 187s|520000 |187608 | 0 | 0.0 | 154M| 168 | - | 305 |5622 | 0 | 0 | 0 | 573k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
205.89/205.96 c 189s|530000 |194294 | 0 | 0.0 | 158M| 168 | - | 305 |5529 | 0 | 0 | 0 | 579k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
207.91/207.93 c 191s|540000 |201147 | 0 | 0.0 | 163M| 168 | - | 305 |6615 | 0 | 0 | 0 | 584k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
210.00/210.06 c 193s|550000 |207830 | 0 | 0.0 | 168M| 168 | - | 305 |7463 | 0 | 0 | 0 | 590k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
212.20/212.27 c 194s|560000 |214477 | 0 | 0.0 | 172M| 168 | - | 305 |7693 | 0 | 0 | 0 | 596k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
214.60/214.63 c 197s|570000 |220936 | 0 | 0.0 | 176M| 168 | - | 305 |8163 | 0 | 0 | 0 | 602k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
217.00/217.08 c 199s|580000 |227445 | 0 | 0.0 | 181M| 168 | - | 305 |8238 | 0 | 0 | 0 | 608k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
219.59/219.67 c 201s|590000 |233771 | 0 | 0.0 | 185M| 168 | - | 305 |8491 | 0 | 0 | 0 | 615k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
222.00/222.08 c 203s|600000 |240381 | 0 | 0.0 | 190M| 168 | - | 305 |9530 | 0 | 0 | 0 | 621k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
224.50/224.58 c 205s|610000 |246961 | 0 | 0.0 | 194M| 168 | - | 305 |9421 | 0 | 0 | 0 | 626k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
227.19/227.22 c 208s|620000 |253357 | 0 | 0.0 | 199M| 168 | - | 305 | 10k| 0 | 0 | 0 | 633k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
230.00/230.05 c 210s|630000 |259567 | 0 | 0.0 | 204M| 168 | - | 305 | 10k| 0 | 0 | 0 | 639k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
232.90/232.92 c 213s|640000 |265777 | 0 | 0.0 | 209M| 168 | - | 305 | 10k| 0 | 0 | 0 | 646k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
235.60/235.60 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
235.60/235.60 c 215s|650000 |272217 | 0 | 0.0 | 213M| 168 | - | 305 | 10k| 0 | 0 | 0 | 652k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
238.40/238.44 c 218s|660000 |278413 | 0 | 0.0 | 218M| 168 | - | 305 | 11k| 0 | 0 | 0 | 658k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
241.40/241.44 c 221s|670000 |284536 | 0 | 0.0 | 222M| 168 | - | 305 | 11k| 0 | 0 | 0 | 665k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
244.50/244.56 c 223s|680000 |290368 | 0 | 0.0 | 226M| 168 | - | 305 | 11k| 0 | 0 | 0 | 672k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
247.50/247.55 c 226s|690000 |296379 | 0 | 0.0 | 231M| 168 | - | 305 | 11k| 0 | 0 | 0 | 678k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
250.70/250.71 c 229s|700000 |302169 | 0 | 0.0 | 236M| 168 | - | 305 | 12k| 0 | 0 | 0 | 685k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
253.90/253.96 c 232s|710000 |307886 | 0 | 0.0 | 240M| 168 | - | 305 | 12k| 0 | 0 | 0 | 693k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
257.00/257.06 c 235s|720000 |313758 | 0 | 0.0 | 245M| 168 | - | 305 | 12k| 0 | 0 | 0 | 699k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
260.20/260.26 c 238s|730000 |319588 | 0 | 0.0 | 250M| 168 | - | 305 | 12k| 0 | 0 | 0 | 706k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
263.70/263.72 c 241s|740000 |325076 | 0 | 0.0 | 254M| 168 | - | 305 | 12k| 0 | 0 | 0 | 713k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
266.90/266.92 c 244s|750000 |330791 | 0 | 0.0 | 260M| 168 | - | 305 | 13k| 0 | 0 | 0 | 720k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
270.61/270.68 c 247s|760000 |336054 | 0 | 0.0 | 264M| 168 | - | 305 | 13k| 0 | 0 | 0 | 728k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
274.30/274.30 c 251s|770000 |341262 | 0 | 0.0 | 269M| 168 | - | 305 | 13k| 0 | 0 | 0 | 736k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
278.20/278.22 c 254s|780000 |346247 | 0 | 0.0 | 274M| 168 | - | 305 | 13k| 0 | 0 | 0 | 744k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
281.80/281.85 c 257s|790000 |351450 | 0 | 0.0 | 279M| 168 | - | 305 | 13k| 0 | 0 | 0 | 752k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
285.70/285.75 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
285.70/285.75 c 261s|800000 |356549 | 0 | 0.0 | 284M| 168 | - | 305 | 14k| 0 | 0 | 0 | 760k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
289.60/289.68 c 265s|810000 |361394 | 0 | 0.0 | 289M| 168 | - | 305 | 14k| 0 | 0 | 0 | 768k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
293.90/293.92 c 269s|820000 |366180 | 0 | 0.0 | 294M| 168 | - | 305 | 15k| 0 | 0 | 0 | 777k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
298.20/298.25 c 273s|830000 |370576 | 0 | 0.0 | 299M| 168 | - | 305 | 15k| 0 | 0 | 0 | 785k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
303.00/303.00 c 277s|840000 |374874 | 0 | 0.0 | 304M| 168 | - | 305 | 15k| 0 | 0 | 0 | 795k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
307.40/307.47 c 281s|850000 |379171 | 0 | 0.0 | 309M| 168 | - | 305 | 17k| 0 | 0 | 0 | 803k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
312.50/312.51 c 286s|860000 |383157 | 0 | 0.0 | 313M| 168 | - | 305 | 16k| 0 | 0 | 0 | 813k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
317.50/317.53 c 291s|870000 |387167 | 0 | 0.0 | 318M| 168 | - | 305 | 16k| 0 | 0 | 0 | 822k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
322.70/322.79 c 296s|880000 |390690 | 0 | 0.0 | 324M| 168 | - | 305 | 18k| 0 | 0 | 0 | 832k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
328.40/328.43 c 301s|890000 |394118 | 0 | 0.0 | 328M| 168 | - | 305 | 18k| 0 | 0 | 0 | 842k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
334.50/334.55 c 307s|900000 |397164 | 0 | 0.0 | 332M| 168 | - | 305 | 18k| 0 | 0 | 0 | 853k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
340.80/340.85 c 313s|910000 |400179 | 0 | 0.0 | 337M| 168 | - | 305 | 19k| 0 | 0 | 0 | 863k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
346.90/346.95 c 318s|920000 |403386 | 0 | 0.0 | 341M| 168 | - | 305 | 19k| 0 | 0 | 0 | 873k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
353.50/353.52 c 325s|930000 |406167 | 0 | 0.0 | 346M| 168 | - | 305 | 19k| 0 | 0 | 0 | 884k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
360.50/360.56 c 331s|940000 |408399 | 0 | 0.0 | 350M| 168 | - | 305 | 20k| 0 | 0 | 0 | 895k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
367.80/367.83 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
367.80/367.83 c 338s|950000 |410580 | 0 | 0.0 | 354M| 168 | - | 305 | 21k| 0 | 0 | 0 | 906k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
375.80/375.84 c 346s|960000 |412402 | 0 | 0.0 | 358M| 168 | - | 305 | 22k| 0 | 0 | 0 | 918k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
384.80/384.85 c 355s|970000 |413549 | 0 | 0.0 | 363M| 168 | - | 305 | 24k| 0 | 0 | 0 | 930k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
394.50/394.59 c 364s|980000 |414210 | 0 | 0.0 | 366M| 168 | - | 305 | 26k| 0 | 0 | 0 | 942k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
401.40/401.46 c 370s|990000 |418391 | 0 | 0.0 | 369M| 168 | - | 305 | 22k| 0 | 0 | 0 | 950k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
407.00/407.04 c 376s| 1000k|423095 | 0 | 0.0 | 371M| 168 | - | 305 | 16k| 0 | 0 | 0 | 958k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
410.70/410.76 c 379s| 1010k|428950 | 0 | 0.0 | 375M| 168 | - | 305 | 13k| 0 | 0 | 0 | 964k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
413.90/413.93 c 382s| 1020k|434458 | 0 | 0.0 | 376M| 168 | - | 305 |7173 | 0 | 0 | 0 | 971k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
417.40/417.45 c 385s| 1030k|437845 | 0 | 0.0 | 377M| 168 | - | 305 |8056 | 0 | 0 | 0 | 982k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
421.11/421.18 c 388s| 1040k|442692 | 0 | 0.0 | 381M| 168 | - | 305 |9428 | 0 | 0 | 0 | 991k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
424.70/424.71 c 392s| 1050k|448092 | 0 | 0.0 | 385M| 168 | - | 305 |9965 | 0 | 0 | 0 | 999k| 0 | 2.000000e+00 | 7.300000e+01 |3550.00%
428.20/428.24 c 395s| 1060k|453526 | 0 | 0.0 | 390M| 168 | - | 305 | 10k| 0 | 0 | 0 |1006k| 0 | 2.000000e+00 | 7.300000e+01 |3550.00%
431.70/431.73 c 398s| 1070k|459096 | 0 | 0.0 | 394M| 168 | - | 305 | 10k| 0 | 0 | 0 |1014k| 0 | 2.000000e+00 | 7.300000e+01 |3550.00%
435.20/435.28 c 401s| 1080k|464706 | 0 | 0.0 | 398M| 168 | - | 305 | 10k| 0 | 0 | 0 |1021k| 0 | 2.000000e+00 | 7.300000e+01 |3550.00%
438.91/438.93 c 405s| 1090k|470160 | 0 | 0.0 | 403M| 168 | - | 305 | 11k| 0 | 0 | 0 |1029k| 0 | 2.000000e+00 | 7.300000e+01 |3550.00%
442.30/442.34 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
442.30/442.34 c 408s| 1100k|475894 | 0 | 0.0 | 408M| 168 | - | 305 | 12k| 0 | 0 | 0 |1036k| 0 | 2.000000e+00 | 7.300000e+01 |3550.00%
446.40/446.49 c 412s| 1110k|480844 | 0 | 0.0 | 412M| 168 | - | 305 | 11k| 0 | 0 | 0 |1044k| 0 | 2.000000e+00 | 7.300000e+01 |3550.00%
450.41/450.41 c 415s| 1120k|486042 | 0 | 0.0 | 417M| 168 | - | 305 | 13k| 0 | 0 | 0 |1052k| 0 | 2.000000e+00 | 7.300000e+01 |3550.00%
454.21/454.27 c 419s| 1130k|491469 | 0 | 0.0 | 422M| 168 | - | 305 | 13k| 0 | 0 | 0 |1060k| 0 | 2.000000e+00 | 7.300000e+01 |3550.00%
458.30/458.34 c 423s| 1140k|496749 | 0 | 0.0 | 426M| 168 | - | 305 | 14k| 0 | 0 | 0 |1068k| 0 | 2.000000e+00 | 7.300000e+01 |3550.00%
462.50/462.54 c 427s| 1150k|501934 | 0 | 0.0 | 431M| 168 | - | 305 | 14k| 0 | 0 | 0 |1076k| 0 | 2.000000e+00 | 7.300000e+01 |3550.00%
466.61/466.66 c 430s| 1160k|507113 | 0 | 0.0 | 436M| 168 | - | 305 | 16k| 0 | 0 | 0 |1084k| 0 | 2.000000e+00 | 7.300000e+01 |3550.00%
471.50/471.50 c 435s| 1170k|511853 | 0 | 0.0 | 441M| 168 | - | 305 | 15k| 0 | 0 | 0 |1092k| 0 | 2.000000e+00 | 7.300000e+01 |3550.00%
475.81/475.81 c 439s| 1180k|517129 | 0 | 0.0 | 446M| 168 | - | 305 | 17k| 0 | 0 | 0 |1100k| 0 | 2.000000e+00 | 7.300000e+01 |3550.00%
481.60/481.61 c 444s| 1190k|521267 | 0 | 0.0 | 450M| 168 | - | 305 | 17k| 0 | 0 | 0 |1110k| 0 | 2.000000e+00 | 7.300000e+01 |3550.00%
486.60/486.68 c 449s| 1200k|525929 | 0 | 0.0 | 455M| 168 | - | 305 | 18k| 0 | 0 | 0 |1119k| 0 | 2.000000e+00 | 7.300000e+01 |3550.00%
490.91/490.95 c 453s| 1210k|531747 | 0 | 0.0 | 460M| 168 | - | 305 | 20k| 0 | 0 | 0 |1126k| 0 | 2.000000e+00 | 7.300000e+01 |3550.00%
497.50/497.58 c 459s| 1220k|535728 | 0 | 0.0 | 464M| 168 | - | 305 | 18k| 0 | 0 | 0 |1135k| 0 | 2.000000e+00 | 7.300000e+01 |3550.00%
503.20/503.20 c 465s| 1230k|540160 | 0 | 0.0 | 470M| 168 | - | 305 | 20k| 0 | 0 | 0 |1144k| 0 | 2.000000e+00 | 7.300000e+01 |3550.00%
508.61/508.65 c 470s| 1240k|545041 | 0 | 0.0 | 475M| 168 | - | 305 | 22k| 0 | 0 | 0 |1152k| 0 | 2.000000e+00 | 7.300000e+01 |3550.00%
515.40/515.42 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
515.40/515.42 c 476s| 1250k|549263 | 0 | 0.0 | 479M| 168 | - | 305 | 20k| 0 | 0 | 0 |1161k| 0 | 2.000000e+00 | 7.300000e+01 |3550.00%
521.20/521.25 c 482s| 1260k|553913 | 0 | 0.0 | 483M| 168 | - | 305 | 21k| 0 | 0 | 0 |1169k| 0 | 2.000000e+00 | 7.300000e+01 |3550.00%
527.30/527.40 c 488s| 1270k|558279 | 0 | 0.0 | 489M| 168 | - | 305 | 23k| 0 | 0 | 0 |1178k| 0 | 2.000000e+00 | 7.300000e+01 |3550.00%
533.60/533.70 c 494s| 1280k|563184 | 0 | 0.0 | 493M| 168 | - | 305 | 24k| 0 | 0 | 0 |1186k| 0 | 2.000000e+00 | 7.300000e+01 |3550.00%
540.90/540.97 c 501s| 1290k|567195 | 0 | 0.0 | 497M| 168 | - | 305 | 22k| 0 | 0 | 0 |1195k| 0 | 2.000000e+00 | 7.300000e+01 |3550.00%
547.01/547.06 c 507s| 1300k|571909 | 0 | 0.0 | 503M| 168 | - | 305 | 24k| 0 | 0 | 0 |1204k| 0 | 2.000000e+00 | 7.300000e+01 |3550.00%
553.61/553.68 c 513s| 1310k|576530 | 0 | 0.0 | 508M| 168 | - | 305 | 25k| 0 | 0 | 0 |1212k| 0 | 2.000000e+00 | 7.300000e+01 |3550.00%
561.70/561.75 c 521s| 1320k|580398 | 0 | 0.0 | 511M| 168 | - | 305 | 24k| 0 | 0 | 0 |1222k| 0 | 2.000000e+00 | 7.300000e+01 |3550.00%
567.70/567.77 o 63
567.70/567.77 c * 526s| 1328k|537461 | 0 | 0.0 | 444M| 168 | - | 305 | 25k| 0 | 0 | 0 |1230k| 0 | 2.000000e+00 | 6.300000e+01 |3050.00%
569.51/569.55 c 528s| 1330k|537893 | 0 | 0.0 | 445M| 168 | - | 305 | 25k| 0 | 0 | 0 |1232k| 0 | 2.000000e+00 | 6.300000e+01 |3050.00%
578.91/578.99 c 537s| 1340k|540925 | 0 | 0.0 | 450M| 168 | - | 305 | 26k| 0 | 0 | 0 |1243k| 0 | 2.000000e+00 | 6.300000e+01 |3050.00%
589.20/589.26 c 547s| 1350k|543796 | 0 | 0.0 | 454M| 168 | - | 305 | 24k| 0 | 0 | 0 |1254k| 0 | 2.000000e+00 | 6.300000e+01 |3050.00%
599.01/599.06 c 557s| 1360k|546081 | 0 | 0.0 | 458M| 168 | - | 305 | 23k| 0 | 0 | 0 |1266k| 0 | 2.000000e+00 | 6.300000e+01 |3050.00%
607.70/607.76 c 565s| 1370k|548983 | 0 | 0.0 | 463M| 168 | - | 305 | 24k| 0 | 0 | 0 |1277k| 0 | 2.000000e+00 | 6.300000e+01 |3050.00%
618.40/618.44 c 575s| 1380k|551639 | 0 | 0.0 | 466M| 168 | - | 305 | 22k| 0 | 0 | 0 |1288k| 0 | 2.000000e+00 | 6.300000e+01 |3050.00%
630.50/630.57 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
630.50/630.57 c 587s| 1390k|553894 | 0 | 0.0 | 471M| 168 | - | 305 | 24k| 0 | 0 | 0 |1300k| 0 | 2.000000e+00 | 6.300000e+01 |3050.00%
641.60/641.67 c 598s| 1400k|557165 | 0 | 0.0 | 476M| 168 | - | 305 | 25k| 0 | 0 | 0 |1311k| 0 | 2.000000e+00 | 6.300000e+01 |3050.00%
655.39/655.45 c 612s| 1410k|559173 | 0 | 0.0 | 480M| 168 | - | 305 | 24k| 0 | 0 | 0 |1323k| 0 | 2.000000e+00 | 6.300000e+01 |3050.00%
669.10/669.18 c 626s| 1420k|561048 | 0 | 0.0 | 485M| 168 | - | 305 | 24k| 0 | 0 | 0 |1336k| 0 | 2.000000e+00 | 6.300000e+01 |3050.00%
680.20/680.29 c 637s| 1430k|564234 | 0 | 0.0 | 489M| 168 | - | 305 | 26k| 0 | 0 | 0 |1346k| 0 | 2.000000e+00 | 6.300000e+01 |3050.00%
695.21/695.28 c 652s| 1440k|565672 | 0 | 0.0 | 493M| 168 | - | 305 | 25k| 0 | 0 | 0 |1359k| 0 | 2.000000e+00 | 6.300000e+01 |3050.00%
708.01/708.08 c 664s| 1450k|567879 | 0 | 0.0 | 497M| 168 | - | 305 | 25k| 0 | 0 | 0 |1371k| 0 | 2.000000e+00 | 6.300000e+01 |3050.00%
721.60/721.65 c 678s| 1460k|570034 | 0 | 0.0 | 501M| 168 | - | 305 | 25k| 0 | 0 | 0 |1383k| 0 | 2.000000e+00 | 6.300000e+01 |3050.00%
736.40/736.46 c 692s| 1470k|571379 | 0 | 0.0 | 505M| 168 | - | 305 | 25k| 0 | 0 | 0 |1396k| 0 | 2.000000e+00 | 6.300000e+01 |3050.00%
748.80/748.88 c 705s| 1480k|573828 | 0 | 0.0 | 510M| 168 | - | 305 | 27k| 0 | 0 | 0 |1407k| 0 | 2.000000e+00 | 6.300000e+01 |3050.00%
765.20/765.24 c 721s| 1490k|574639 | 0 | 0.0 | 513M| 168 | - | 305 | 27k| 0 | 0 | 0 |1421k| 0 | 2.000000e+00 | 6.300000e+01 |3050.00%
779.00/779.08 c 735s| 1500k|576404 | 0 | 0.0 | 517M| 168 | - | 305 | 27k| 0 | 0 | 0 |1433k| 0 | 2.000000e+00 | 6.300000e+01 |3050.00%
794.30/794.31 c 750s| 1510k|577474 | 0 | 0.0 | 520M| 168 | - | 305 | 27k| 0 | 0 | 0 |1446k| 0 | 2.000000e+00 | 6.300000e+01 |3050.00%
807.41/807.42 c 763s| 1520k|579305 | 0 | 0.0 | 524M| 168 | - | 305 | 26k| 0 | 0 | 0 |1459k| 0 | 2.000000e+00 | 6.300000e+01 |3050.00%
822.91/822.95 c 778s| 1530k|580242 | 0 | 0.0 | 528M| 168 | - | 305 | 27k| 0 | 0 | 0 |1473k| 0 | 2.000000e+00 | 6.300000e+01 |3050.00%
837.20/837.23 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
837.20/837.23 c 793s| 1540k|581389 | 0 | 0.0 | 532M| 168 | - | 305 | 27k| 0 | 0 | 0 |1486k| 0 | 2.000000e+00 | 6.300000e+01 |3050.00%
853.80/853.86 c 809s| 1550k|581902 | 0 | 0.0 | 535M| 168 | - | 305 | 27k| 0 | 0 | 0 |1500k| 0 | 2.000000e+00 | 6.300000e+01 |3050.00%
868.31/868.34 c 823s| 1560k|583292 | 0 | 0.0 | 540M| 168 | - | 305 | 29k| 0 | 0 | 0 |1513k| 0 | 2.000000e+00 | 6.300000e+01 |3050.00%
884.71/884.78 c 840s| 1570k|583718 | 0 | 0.0 | 542M| 168 | - | 305 | 28k| 0 | 0 | 0 |1527k| 0 | 2.000000e+00 | 6.300000e+01 |3050.00%
900.60/900.63 c 855s| 1580k|584611 | 0 | 0.0 | 546M| 168 | - | 305 | 29k| 0 | 0 | 0 |1541k| 0 | 2.000000e+00 | 6.300000e+01 |3050.00%
917.01/917.03 c 872s| 1590k|585029 | 0 | 0.0 | 550M| 168 | - | 305 | 30k| 0 | 0 | 0 |1555k| 0 | 2.000000e+00 | 6.300000e+01 |3050.00%
934.01/934.03 c 889s| 1600k|585665 | 0 | 0.0 | 552M| 168 | - | 305 | 30k| 0 | 0 | 0 |1569k| 0 | 2.000000e+00 | 6.300000e+01 |3050.00%
951.01/951.08 c 905s| 1610k|586044 | 0 | 0.0 | 556M| 168 | - | 305 | 31k| 0 | 0 | 0 |1583k| 0 | 2.000000e+00 | 6.300000e+01 |3050.00%
969.51/969.54 c 924s| 1620k|586222 | 0 | 0.0 | 559M| 168 | - | 305 | 32k| 0 | 0 | 0 |1598k| 0 | 2.000000e+00 | 6.300000e+01 |3050.00%
987.01/987.05 c 941s| 1630k|586675 | 0 | 0.0 | 563M| 168 | - | 305 | 33k| 0 | 0 | 0 |1612k| 0 | 2.000000e+00 | 6.300000e+01 |3050.00%
1005.81/1005.83 c 960s| 1640k|586679 | 0 | 0.0 | 566M| 168 | - | 305 | 34k| 0 | 0 | 0 |1626k| 0 | 2.000000e+00 | 6.300000e+01 |3050.00%
1024.80/1024.81 c 979s| 1650k|586961 | 0 | 0.0 | 569M| 168 | - | 305 | 35k| 0 | 0 | 0 |1640k| 0 | 2.000000e+00 | 6.300000e+01 |3050.00%
1045.31/1045.32 c 999s| 1660k|586760 | 0 | 0.0 | 572M| 168 | - | 305 | 37k| 0 | 0 | 0 |1655k| 0 | 2.000000e+00 | 6.300000e+01 |3050.00%
1066.01/1066.07 c 1020s| 1670k|586515 | 0 | 0.0 | 575M| 168 | - | 305 | 38k| 0 | 0 | 0 |1669k| 0 | 2.000000e+00 | 6.300000e+01 |3050.00%
1088.61/1088.62 c 1042s| 1680k|585944 | 0 | 0.0 | 578M| 168 | - | 305 | 40k| 0 | 0 | 0 |1683k| 0 | 2.000000e+00 | 6.300000e+01 |3050.00%
1113.01/1113.02 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1113.01/1113.02 c 1066s| 1690k|584565 | 0 | 0.0 | 581M| 168 | - | 305 | 42k| 0 | 0 | 0 |1698k| 0 | 2.000000e+00 | 6.300000e+01 |3050.00%
1134.31/1134.38 c 1087s| 1700k|585654 | 0 | 0.0 | 584M| 168 | - | 305 | 34k| 0 | 0 | 0 |1711k| 0 | 2.000000e+00 | 6.300000e+01 |3050.00%
1154.71/1154.77 c 1108s| 1710k|585138 | 0 | 0.0 | 586M| 168 | - | 305 | 30k| 0 | 0 | 0 |1726k| 0 | 2.000000e+00 | 6.300000e+01 |3050.00%
1168.21/1168.28 c 1121s| 1720k|588016 | 0 | 0.0 | 587M| 168 | - | 305 | 24k| 0 | 0 | 0 |1737k| 0 | 2.000000e+00 | 6.300000e+01 |3050.00%
1176.92/1176.92 c 1130s| 1730k|592697 | 0 | 0.0 | 591M| 168 | - | 305 | 23k| 0 | 0 | 0 |1746k| 0 | 2.000000e+00 | 6.300000e+01 |3050.00%
1185.72/1185.71 c 1138s| 1740k|596975 | 0 | 0.0 | 594M| 168 | - | 305 | 23k| 0 | 0 | 0 |1755k| 0 | 2.000000e+00 | 6.300000e+01 |3050.00%
1194.31/1194.33 c 1147s| 1750k|601156 | 0 | 0.0 | 597M| 168 | - | 305 | 23k| 0 | 0 | 0 |1764k| 0 | 2.000000e+00 | 6.300000e+01 |3050.00%
1202.91/1202.90 c 1155s| 1760k|605191 | 0 | 0.0 | 600M| 168 | - | 305 | 23k| 0 | 0 | 0 |1773k| 0 | 2.000000e+00 | 6.300000e+01 |3050.00%
1211.81/1211.88 c 1164s| 1770k|608894 | 0 | 0.0 | 603M| 168 | - | 305 | 21k| 0 | 0 | 0 |1782k| 0 | 2.000000e+00 | 6.300000e+01 |3050.00%
1220.51/1220.55 c 1173s| 1780k|612470 | 0 | 0.0 | 606M| 168 | - | 305 | 19k| 0 | 0 | 0 |1792k| 0 | 2.000000e+00 | 6.300000e+01 |3050.00%
1228.31/1228.30 c 1180s| 1790k|616361 | 0 | 0.0 | 608M| 168 | - | 305 | 17k| 0 | 0 | 0 |1802k| 0 | 2.000000e+00 | 6.300000e+01 |3050.00%
1235.41/1235.46 c 1187s| 1800k|620201 | 0 | 0.0 | 610M| 168 | - | 305 | 16k| 0 | 0 | 0 |1811k| 0 | 2.000000e+00 | 6.300000e+01 |3050.00%
1242.61/1242.65 c 1195s| 1810k|624132 | 0 | 0.0 | 614M| 168 | - | 305 | 15k| 0 | 0 | 0 |1822k| 0 | 2.000000e+00 | 6.300000e+01 |3050.00%
1250.12/1250.20 c 1202s| 1820k|627483 | 0 | 0.0 | 618M| 168 | - | 305 | 15k| 0 | 0 | 0 |1834k| 0 | 2.000000e+00 | 6.300000e+01 |3050.00%
1258.42/1258.49 c 1210s| 1830k|630041 | 0 | 0.0 | 620M| 168 | - | 305 | 10k| 0 | 0 | 0 |1846k| 0 | 2.000000e+00 | 6.300000e+01 |3050.00%
1261.32/1261.32 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1261.32/1261.32 c 1213s| 1840k|636264 | 0 | 0.0 | 623M| 168 | - | 305 |5899 | 0 | 0 | 0 |1852k| 0 | 2.000000e+00 | 6.300000e+01 |3050.00%
1265.91/1266.00 c 1217s| 1850k|638709 | 0 | 0.0 | 627M| 168 | - | 305 |9296 | 0 | 0 | 0 |1864k| 0 | 2.000000e+00 | 6.300000e+01 |3050.00%
1272.31/1272.32 c 1224s| 1860k|642032 | 0 | 0.0 | 633M| 168 | - | 305 | 13k| 0 | 0 | 0 |1876k| 0 | 2.000000e+00 | 6.300000e+01 |3050.00%
1279.71/1279.72 c 1231s| 1870k|645184 | 0 | 0.0 | 637M| 168 | - | 305 | 15k| 0 | 0 | 0 |1887k| 0 | 2.000000e+00 | 6.300000e+01 |3050.00%
1288.12/1288.13 c 1239s| 1880k|648170 | 0 | 0.0 | 642M| 168 | - | 305 | 15k| 0 | 0 | 0 |1899k| 0 | 2.000000e+00 | 6.300000e+01 |3050.00%
1298.42/1298.42 c 1249s| 1890k|650099 | 0 | 0.0 | 646M| 168 | - | 305 | 17k| 0 | 0 | 0 |1912k| 0 | 2.000000e+00 | 6.300000e+01 |3050.00%
1309.12/1309.11 c 1260s| 1900k|651931 | 0 | 0.0 | 650M| 168 | - | 305 | 18k| 0 | 0 | 0 |1926k| 0 | 2.000000e+00 | 6.300000e+01 |3050.00%
1321.22/1321.26 c 1272s| 1910k|653469 | 0 | 0.0 | 654M| 168 | - | 305 | 20k| 0 | 0 | 0 |1939k| 0 | 2.000000e+00 | 6.300000e+01 |3050.00%
1334.02/1334.04 c 1285s| 1920k|654860 | 0 | 0.0 | 658M| 168 | - | 305 | 21k| 0 | 0 | 0 |1953k| 0 | 2.000000e+00 | 6.300000e+01 |3050.00%
1348.02/1348.01 c 1299s| 1930k|655736 | 0 | 0.0 | 662M| 168 | - | 305 | 23k| 0 | 0 | 0 |1967k| 0 | 2.000000e+00 | 6.300000e+01 |3050.00%
1361.83/1361.86 c 1312s| 1940k|657272 | 0 | 0.0 | 666M| 168 | - | 305 | 23k| 0 | 0 | 0 |1981k| 0 | 2.000000e+00 | 6.300000e+01 |3050.00%
1378.42/1378.48 c 1329s| 1950k|658011 | 0 | 0.0 | 670M| 168 | - | 305 | 25k| 0 | 0 | 0 |1995k| 0 | 2.000000e+00 | 6.300000e+01 |3050.00%
1394.12/1394.13 c 1344s| 1960k|659211 | 0 | 0.0 | 675M| 168 | - | 305 | 28k| 0 | 0 | 0 |2009k| 0 | 2.000000e+00 | 6.300000e+01 |3050.00%
1413.02/1413.05 c 1363s| 1970k|659496 | 0 | 0.0 | 677M| 168 | - | 305 | 28k| 0 | 0 | 0 |2023k| 0 | 2.000000e+00 | 6.300000e+01 |3050.00%
1431.42/1431.46 c 1381s| 1980k|660108 | 0 | 0.0 | 681M| 168 | - | 305 | 30k| 0 | 0 | 0 |2038k| 0 | 2.000000e+00 | 6.300000e+01 |3050.00%
1451.62/1451.66 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1451.62/1451.66 c 1401s| 1990k|660438 | 0 | 0.0 | 685M| 168 | - | 305 | 31k| 0 | 0 | 0 |2052k| 0 | 2.000000e+00 | 6.300000e+01 |3050.00%
1472.42/1472.41 c 1422s| 2000k|660894 | 0 | 0.0 | 688M| 168 | - | 305 | 33k| 0 | 0 | 0 |2067k| 0 | 2.000000e+00 | 6.300000e+01 |3050.00%
1492.82/1492.84 c 1442s| 2010k|661686 | 0 | 0.0 | 692M| 168 | - | 305 | 33k| 0 | 0 | 0 |2081k| 0 | 2.000000e+00 | 6.300000e+01 |3050.00%
1516.72/1516.70 c 1466s| 2020k|661588 | 0 | 0.0 | 695M| 168 | - | 305 | 35k| 0 | 0 | 0 |2096k| 0 | 2.000000e+00 | 6.300000e+01 |3050.00%
1538.62/1538.63 c 1488s| 2030k|662483 | 0 | 0.0 | 699M| 168 | - | 305 | 36k| 0 | 0 | 0 |2110k| 0 | 2.000000e+00 | 6.300000e+01 |3050.00%
1565.33/1565.38 c 1515s| 2040k|661830 | 0 | 0.0 | 702M| 168 | - | 305 | 38k| 0 | 0 | 0 |2126k| 0 | 2.000000e+00 | 6.300000e+01 |3050.00%
1587.02/1587.00 o 58
1587.02/1587.00 c *1536s| 2048k|643905 | 0 | 0.0 | 679M| 168 | - | 305 | 39k| 0 | 0 | 0 |2138k| 0 | 2.000000e+00 | 5.800000e+01 |2800.00%
1589.43/1589.44 c 1538s| 2050k|644058 | 0 | 0.0 | 680M| 168 | - | 305 | 40k| 0 | 0 | 0 |2139k| 0 | 2.000000e+00 | 5.800000e+01 |2800.00%
1621.92/1621.99 c 1571s| 2060k|642863 | 0 | 0.0 | 683M| 168 | - | 305 | 39k| 0 | 0 | 0 |2156k| 0 | 2.000000e+00 | 5.800000e+01 |2800.00%
1649.02/1649.08 c 1598s| 2070k|643089 | 0 | 0.0 | 686M| 168 | - | 305 | 37k| 0 | 0 | 0 |2172k| 0 | 2.000000e+00 | 5.800000e+01 |2800.00%
1680.22/1680.26 c 1629s| 2080k|641901 | 0 | 0.0 | 688M| 168 | - | 305 | 38k| 0 | 0 | 0 |2188k| 0 | 2.000000e+00 | 5.800000e+01 |2800.00%
1683.72/1683.74 o 45
1683.72/1683.74 c *1632s| 2080k|597977 | 0 | 0.0 | 624M| 168 | - | 305 | 38k| 0 | 0 | 0 |2190k| 0 | 2.000000e+00 | 4.500000e+01 |2150.00%
1712.03/1712.06 c 1660s| 2090k|595390 | 0 | 0.0 | 626M| 168 | - | 305 | 29k| 0 | 0 | 0 |2207k| 0 | 2.000000e+00 | 4.500000e+01 |2150.00%
1742.03/1742.02 c 1690s| 2100k|591626 | 0 | 0.0 | 628M| 168 | - | 305 | 30k| 0 | 0 | 0 |2227k| 0 | 2.000000e+00 | 4.500000e+01 |2150.00%
1772.63/1772.67 c 1721s| 2110k|587678 | 0 | 0.0 | 628M| 168 | - | 305 | 31k| 0 | 0 | 0 |2246k| 0 | 2.000000e+00 | 4.500000e+01 |2150.00%
1800.03/1800.00 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.03/1800.00 c
1800.03/1800.00 c SCIP Status : solving was interrupted [user interrupt]
1800.03/1800.00 c Solving Time (sec) : 1747.96
1800.03/1800.00 c Solving Nodes : 2118660
1800.03/1800.00 c Primal Bound : +4.50000000000000e+01 (28 solutions)
1800.03/1800.00 c Dual Bound : +2.00000000000000e+00
1800.03/1800.00 c Gap : 2150.00 %
1800.03/1800.00 s SATISFIABLE
1800.03/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.03/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.03/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.03/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.03/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.03/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.03/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.03/1800.00 v -x4 -x3 -x2 -x1
1800.03/1800.00 c SCIP Status : solving was interrupted [user interrupt]
1800.03/1800.00 c Solving Time : 1747.96
1800.03/1800.00 c Original Problem :
1800.03/1800.00 c Problem name : HOME/instance-2693971-1277898758.wbo
1800.03/1800.00 c Variables : 307 (238 binary, 0 integer, 0 implicit integer, 69 continuous)
1800.03/1800.00 c Constraints : 171 initial, 171 maximal
1800.03/1800.00 c Presolved Problem :
1800.03/1800.00 c Problem name : t_HOME/instance-2693971-1277898758.wbo
1800.03/1800.00 c Variables : 305 (237 binary, 0 integer, 0 implicit integer, 68 continuous)
1800.03/1800.00 c Constraints : 166 initial, 43705 maximal
1800.03/1800.00 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.03/1800.00 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.00 c dualfix : 0.00 2 0 0 0 0 0 0 0
1800.03/1800.00 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.00 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.00 c implics : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.00 c probing : 0.01 0 0 0 0 0 0 0 0
1800.03/1800.00 c indicator : 0.00 0 0 0 0 0 1 0 0
1800.03/1800.00 c setppc : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.00 c linear : 0.00 0 0 0 68 0 4 1 0
1800.03/1800.00 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.00 c bounddisjunction : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.00 c root node : - 14 - - 28 - - - -
1800.03/1800.00 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.03/1800.00 c integral : 0 0 0 0 0 0 0 0 0 0
1800.03/1800.00 c indicator : 68 0 5300538 0 1514360 14160 3930706 0 0 0
1800.03/1800.00 c setppc : 20 0 5668484 0 1587510 27670 4746804 0 0 0
1800.03/1800.00 c linear : 68 0 5640878 0 1587533 553554 27526780 0 0 0
1800.03/1800.00 c logicor : 10+ 0 2692816 0 1587336 164957 1911777 0 0 0
1800.03/1800.00 c bounddisjunction : 0+ 0 310700 0 0 13 5645 0 0 0
1800.03/1800.00 c countsols : 0 0 0 0 1587560 0 0 0 0 0
1800.03/1800.00 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.03/1800.00 c integral : 0.00 0.00 0.00 0.00 0.00
1800.03/1800.00 c indicator : 7.27 0.00 5.24 0.00 2.03
1800.03/1800.00 c setppc : 14.08 0.00 10.65 0.00 3.43
1800.03/1800.00 c linear : 135.02 0.00 134.68 0.00 0.34
1800.03/1800.00 c logicor : 817.28 0.00 816.22 0.00 1.06
1800.03/1800.00 c bounddisjunction : 0.62 0.00 0.62 0.00 0.00
1800.03/1800.00 c countsols : 0.11 0.00 0.00 0.00 0.11
1800.03/1800.00 c Propagators : Time Calls Cutoffs DomReds
1800.03/1800.00 c vbounds : 0.55 2 0 0
1800.03/1800.00 c rootredcost : 0.50 0 0 0
1800.03/1800.00 c pseudoobj : 17.41 5689131 6583 3406843
1800.03/1800.00 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.03/1800.00 c propagation : 45.72 752776 752150 4129922 23.3 262648 13.4 -
1800.03/1800.00 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.03/1800.00 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.03/1800.00 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.03/1800.00 c pseudo solution : 0.01 147 147 572 18.0 56 12.3 -
1800.03/1800.00 c applied globally : - - - 2220994 17.5 - - -
1800.03/1800.00 c applied locally : - - - 43007 36.4 - - -
1800.03/1800.00 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.03/1800.00 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.03/1800.00 c redcost : 0.00 0 0 0 0 0
1800.03/1800.00 c impliedbounds : 0.00 0 0 0 0 0
1800.03/1800.00 c intobj : 0.00 0 0 0 0 0
1800.03/1800.00 c cgmip : 0.00 0 0 0 0 0
1800.03/1800.00 c gomory : 0.00 0 0 0 0 0
1800.03/1800.00 c strongcg : 0.00 0 0 0 0 0
1800.03/1800.00 c cmir : 0.00 0 0 0 0 0
1800.03/1800.00 c flowcover : 0.00 0 0 0 0 0
1800.03/1800.00 c clique : 0.00 0 0 0 0 0
1800.03/1800.00 c zerohalf : 0.00 0 0 0 0 0
1800.03/1800.00 c mcf : 0.00 0 0 0 0 0
1800.03/1800.00 c rapidlearning : 0.00 0 0 0 0 0
1800.03/1800.00 c Pricers : Time Calls Vars
1800.03/1800.00 c problem variables: 0.00 0 0
1800.03/1800.00 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.03/1800.00 c relpscost : 0.00 0 0 0 0 0 0
1800.03/1800.00 c pscost : 0.00 0 0 0 0 0 0
1800.03/1800.00 c inference : 13.19 1587532 0 0 0 0 3175064
1800.03/1800.00 c mostinf : 0.00 0 0 0 0 0 0
1800.03/1800.00 c leastinf : 0.00 0 0 0 0 0 0
1800.03/1800.00 c fullstrong : 0.00 0 0 0 0 0 0
1800.03/1800.00 c allfullstrong : 0.00 0 0 0 0 0 0
1800.03/1800.00 c random : 0.00 0 0 0 0 0 0
1800.03/1800.00 c Primal Heuristics : Time Calls Found
1800.03/1800.00 c LP solutions : 0.00 - 0
1800.03/1800.00 c pseudo solutions : 0.38 - 28
1800.03/1800.00 c oneopt : 0.30 0 0
1800.03/1800.00 c trivial : 0.00 2 0
1800.03/1800.00 c simplerounding : 0.00 0 0
1800.03/1800.00 c zirounding : 0.00 0 0
1800.03/1800.00 c rounding : 0.00 0 0
1800.03/1800.00 c shifting : 0.00 0 0
1800.03/1800.00 c intshifting : 0.00 0 0
1800.03/1800.00 c twoopt : 0.00 0 0
1800.03/1800.00 c fixandinfer : 0.00 0 0
1800.03/1800.00 c feaspump : 0.00 0 0
1800.03/1800.00 c coefdiving : 0.00 0 0
1800.03/1800.00 c pscostdiving : 0.00 0 0
1800.03/1800.00 c fracdiving : 0.00 0 0
1800.03/1800.00 c veclendiving : 0.00 0 0
1800.03/1800.00 c intdiving : 0.00 0 0
1800.03/1800.00 c actconsdiving : 0.00 0 0
1800.03/1800.00 c objpscostdiving : 0.00 0 0
1800.03/1800.00 c rootsoldiving : 0.00 0 0
1800.03/1800.00 c linesearchdiving : 0.00 0 0
1800.03/1800.00 c guideddiving : 0.00 0 0
1800.03/1800.00 c octane : 0.00 0 0
1800.03/1800.00 c rens : 0.00 0 0
1800.03/1800.00 c rins : 0.00 0 0
1800.03/1800.00 c localbranching : 0.00 0 0
1800.03/1800.00 c mutation : 0.00 0 0
1800.03/1800.00 c crossover : 0.00 0 0
1800.03/1800.00 c dins : 0.00 0 0
1800.03/1800.00 c undercover : 0.00 0 0
1800.03/1800.00 c nlp : 0.15 0 0
1800.03/1800.00 c trysol : 0.16 1 0
1800.03/1800.00 c LP : Time Calls Iterations Iter/call Iter/sec
1800.03/1800.00 c primal LP : 0.00 0 0 0.00 -
1800.03/1800.00 c dual LP : 0.00 0 0 0.00 -
1800.03/1800.00 c lex dual LP : 0.00 0 0 0.00 -
1800.03/1800.00 c barrier LP : 0.00 0 0 0.00 -
1800.03/1800.00 c diving/probing LP: 0.00 0 0 0.00 -
1800.03/1800.00 c strong branching : 0.00 0 0 0.00 -
1800.03/1800.00 c (at root node) : - 0 0 0.00 -
1800.03/1800.00 c conflict analysis: 0.00 0 0 0.00 -
1800.03/1800.00 c B&B Tree :
1800.03/1800.00 c number of runs : 1
1800.03/1800.00 c nodes : 2118660
1800.03/1800.00 c nodes (total) : 2118660
1800.03/1800.00 c nodes left : 584027
1800.03/1800.00 c max depth : 168
1800.03/1800.00 c max depth (total): 168
1800.03/1800.00 c backtracks : 546763 (25.8%)
1800.03/1800.00 c delayed cutoffs : 330735
1800.03/1800.00 c repropagations : 1922420 (9947688 domain reductions, 235984 cutoffs)
1800.03/1800.00 c avg switch length: 19.37
1800.03/1800.00 c switching time : 548.67
1800.03/1800.00 c Solution :
1800.03/1800.00 c Solutions found : 28 (28 improvements)
1800.03/1800.00 c First Solution : +5.77000000000000e+02 (in run 1, after 133901 nodes, 49.82 seconds, depth 115, found by <relaxation>)
1800.03/1800.00 c Primal Bound : +4.50000000000000e+01 (in run 1, after 2080988 nodes, 1632.15 seconds, depth 67, found by <relaxation>)
1800.03/1800.00 c Dual Bound : +2.00000000000000e+00
1800.03/1800.00 c Gap : 2150.00 %
1800.03/1800.00 c Root Dual Bound : +0.00000000000000e+00
1800.03/1800.00 c Root Iterations : 0
1801.73/1801.71 c Time complete: 1801.74.