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-2693948-1277898200.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.09/1.12 c 1.0s| 10000 | 7149 | 0 | 0.0 |6802k| 168 | - | 305 |3372 | 0 | 0 | 0 |7518 | 0 | 0.000000e+00 | -- | Inf
2.80/2.84 c 2.7s| 20000 | 12908 | 0 | 0.0 | 11M| 168 | - | 305 |5225 | 0 | 0 | 0 | 17k| 0 | 0.000000e+00 | -- | Inf
5.19/5.23 c 5.0s| 30000 | 17903 | 0 | 0.0 | 17M| 168 | - | 305 |8875 | 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | -- | Inf
8.49/8.51 c 8.1s| 40000 | 21500 | 0 | 0.0 | 22M| 168 | - | 305 | 11k| 0 | 0 | 0 | 45k| 0 | 0.000000e+00 | -- | Inf
12.79/12.85 c 12.4s| 50000 | 23286 | 0 | 0.0 | 27M| 168 | - | 305 | 15k| 0 | 0 | 0 | 62k| 0 | 0.000000e+00 | -- | Inf
15.89/15.98 c 15.4s| 60000 | 28391 | 0 | 0.0 | 28M| 168 | - | 305 |5476 | 0 | 0 | 0 | 72k| 0 | 0.000000e+00 | -- | Inf
17.39/17.41 o 666
17.39/17.41 c *16.8s| 69217 | 35189 | 0 | 0.0 | 30M| 168 | - | 305 |2881 | 0 | 0 | 0 | 78k| 0 | 0.000000e+00 | 6.660000e+02 | Inf
17.39/17.42 o 597
17.39/17.42 c *16.8s| 69464 | 35433 | 0 | 0.0 | 30M| 168 | - | 305 |2692 | 0 | 0 | 0 | 78k| 0 | 0.000000e+00 | 5.970000e+02 | Inf
17.39/17.42 o 596
17.39/17.42 c *16.8s| 69465 | 35432 | 0 | 0.0 | 30M| 168 | - | 305 |2692 | 0 | 0 | 0 | 78k| 0 | 0.000000e+00 | 5.960000e+02 | Inf
17.39/17.45 c 16.8s| 70000 | 35967 | 0 | 0.0 | 31M| 168 | - | 305 |2239 | 0 | 0 | 0 | 78k| 0 | 0.000000e+00 | 5.960000e+02 | Inf
17.49/17.51 o 561
17.49/17.51 c *16.9s| 71031 | 36976 | 0 | 0.0 | 31M| 168 | - | 305 |1827 | 0 | 0 | 0 | 78k| 0 | 0.000000e+00 | 5.610000e+02 | Inf
17.49/17.51 o 527
17.49/17.51 c *16.9s| 71032 | 36973 | 0 | 0.0 | 31M| 168 | - | 305 |1827 | 0 | 0 | 0 | 78k| 0 | 0.000000e+00 | 5.270000e+02 | Inf
19.80/19.89 c 19.2s| 80000 | 40437 | 0 | 0.0 | 36M| 168 | - | 305 |9639 | 0 | 0 | 0 | 93k| 0 | 0.000000e+00 | 5.270000e+02 | Inf
24.59/24.66 c 23.8s| 90000 | 42318 | 0 | 0.0 | 42M| 168 | - | 305 | 15k| 0 | 0 | 0 | 111k| 0 | 0.000000e+00 | 5.270000e+02 | Inf
31.19/31.25 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
31.19/31.25 c 30.3s|100000 | 42681 | 0 | 0.0 | 46M| 168 | - | 305 | 19k| 0 | 0 | 0 | 131k| 0 | 0.000000e+00 | 5.270000e+02 | Inf
39.09/39.14 c 38.1s|110000 | 42273 | 0 | 0.0 | 49M| 168 | - | 305 | 22k| 0 | 0 | 0 | 151k| 0 | 0.000000e+00 | 5.270000e+02 | Inf
48.09/48.10 c 47.0s|120000 | 41260 | 0 | 0.0 | 52M| 168 | - | 305 | 26k| 0 | 0 | 0 | 171k| 0 | 0.000000e+00 | 5.270000e+02 | Inf
57.89/57.93 c 56.7s|130000 | 41085 | 0 | 0.0 | 50M| 168 | - | 305 | 19k| 0 | 0 | 0 | 189k| 0 | 0.000000e+00 | 5.270000e+02 | Inf
61.29/61.33 c 60.0s|140000 | 47523 | 0 | 0.0 | 52M| 168 | - | 305 | 10k| 0 | 0 | 0 | 199k| 0 | 0.000000e+00 | 5.270000e+02 | Inf
64.49/64.59 c 63.2s|150000 | 53240 | 0 | 0.0 | 57M| 168 | - | 305 | 11k| 0 | 0 | 0 | 211k| 0 | 0.000000e+00 | 5.270000e+02 | Inf
68.29/68.33 c 66.8s|160000 | 58158 | 0 | 0.0 | 61M| 168 | - | 305 | 11k| 0 | 0 | 0 | 224k| 0 | 0.000000e+00 | 5.270000e+02 | Inf
72.69/72.72 c 71.1s|170000 | 61585 | 0 | 0.0 | 65M| 168 | - | 305 | 13k| 0 | 0 | 0 | 240k| 0 | 0.000000e+00 | 5.270000e+02 | Inf
75.80/75.84 c 74.1s|180000 | 67597 | 0 | 0.0 | 65M| 168 | - | 305 |2371 | 0 | 0 | 0 | 249k| 0 | 0.000000e+00 | 5.270000e+02 | Inf
75.90/75.95 o 178
75.90/75.95 c *74.2s|181509 | 68285 | 0 | 0.0 | 65M| 168 | - | 305 |1160 | 0 | 0 | 0 | 249k| 0 | 0.000000e+00 | 1.780000e+02 | Inf
76.59/76.62 c 74.8s|190000 | 76062 | 0 | 0.0 | 68M| 168 | - | 305 |1290 | 0 | 0 | 0 | 251k| 0 | 0.000000e+00 | 1.780000e+02 | Inf
77.39/77.48 c 75.6s|200000 | 85002 | 0 | 0.0 | 72M| 168 | - | 305 |1732 | 0 | 0 | 0 | 254k| 0 | 0.000000e+00 | 1.780000e+02 | Inf
78.19/78.22 o 171
78.19/78.22 c *76.3s|208034 | 91928 | 0 | 0.0 | 75M| 168 | - | 305 |2243 | 0 | 0 | 0 | 256k| 0 | 0.000000e+00 | 1.710000e+02 | Inf
78.39/78.43 c 76.5s|210000 | 93601 | 0 | 0.0 | 75M| 168 | - | 305 |2456 | 0 | 0 | 0 | 257k| 0 | 0.000000e+00 | 1.710000e+02 | Inf
78.70/78.76 o 159
78.70/78.76 c *76.8s|212975 | 95969 | 0 | 0.0 | 77M| 168 | - | 305 |2700 | 0 | 0 | 0 | 258k| 0 | 0.000000e+00 | 1.590000e+02 | Inf
79.49/79.50 o 156
79.49/79.50 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
79.49/79.50 c *77.5s|219059 |100892 | 0 | 0.0 | 79M| 168 | - | 305 |3306 | 0 | 0 | 0 | 260k| 0 | 0.000000e+00 | 1.560000e+02 | Inf
79.49/79.54 o 150
79.49/79.54 c *77.5s|219385 |100999 | 0 | 0.0 | 79M| 168 | - | 305 |3324 | 0 | 0 | 0 | 260k| 0 | 0.000000e+00 | 1.500000e+02 | Inf
79.59/79.63 c 77.6s|220000 |101481 | 0 | 0.0 | 80M| 168 | - | 305 |3353 | 0 | 0 | 0 | 260k| 0 | 0.000000e+00 | 1.500000e+02 | Inf
79.69/79.76 o 141
79.69/79.76 c *77.8s|220997 |102001 | 0 | 0.0 | 80M| 168 | - | 305 |3534 | 0 | 0 | 0 | 261k| 0 | 0.000000e+00 | 1.410000e+02 | Inf
80.09/80.11 o 107
80.09/80.11 c *78.1s|223531 |102239 | 0 | 0.0 | 80M| 168 | - | 305 |3916 | 0 | 0 | 0 | 262k| 0 | 0.000000e+00 | 1.070000e+02 | Inf
80.09/80.17 o 101
80.09/80.17 c *78.1s|223965 |102209 | 0 | 0.0 | 80M| 168 | - | 305 |3948 | 0 | 0 | 0 | 262k| 0 | 0.000000e+00 | 1.010000e+02 | Inf
80.09/80.18 o 92
80.09/80.18 c *78.2s|223988 | 99575 | 0 | 0.0 | 79M| 168 | - | 305 |3950 | 0 | 0 | 0 | 262k| 0 | 0.000000e+00 | 9.200000e+01 | Inf
80.20/80.24 o 90
80.20/80.24 c *78.2s|224314 | 99539 | 0 | 0.0 | 79M| 168 | - | 305 |3934 | 0 | 0 | 0 | 262k| 0 | 0.000000e+00 | 9.000000e+01 | Inf
80.30/80.31 o 88
80.30/80.31 c *78.3s|224759 | 99508 | 0 | 0.0 | 79M| 168 | - | 305 |3980 | 0 | 0 | 0 | 262k| 0 | 0.000000e+00 | 8.800000e+01 | Inf
80.30/80.31 o 79
80.30/80.31 c *78.3s|224761 | 98510 | 0 | 0.0 | 79M| 168 | - | 305 |3980 | 0 | 0 | 0 | 262k| 0 | 0.000000e+00 | 7.900000e+01 | Inf
80.40/80.41 o 73
80.40/80.41 c *78.4s|225270 | 95917 | 0 | 0.0 | 78M| 168 | - | 305 |4089 | 0 | 0 | 0 | 262k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
81.39/81.47 c 79.4s|230000 | 98594 | 0 | 0.0 | 81M| 168 | - | 305 |2886 | 0 | 0 | 0 | 266k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
85.09/85.17 c 83.0s|240000 | 98763 | 0 | 0.0 | 86M| 168 | - | 305 |6362 | 0 | 0 | 0 | 281k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
92.59/92.63 c 90.3s|250000 | 95558 | 0 | 0.0 | 88M| 168 | - | 305 | 15k| 0 | 0 | 0 | 306k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
103.19/103.21 c 101s|260000 | 89798 | 0 | 0.0 | 82M| 168 | - | 305 | 18k| 0 | 0 | 0 | 331k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
110.60/110.65 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
110.60/110.65 c 108s|270000 | 88333 | 0 | 0.0 | 73M| 168 | - | 305 |4550 | 0 | 0 | 0 | 349k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
113.79/113.85 c 111s|280000 | 91975 | 0 | 0.0 | 77M| 168 | - | 305 |7070 | 0 | 0 | 0 | 363k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
117.70/117.72 c 115s|290000 | 95026 | 0 | 0.0 | 81M| 168 | - | 305 |9858 | 0 | 0 | 0 | 377k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
122.20/122.20 c 119s|300000 | 97825 | 0 | 0.0 | 85M| 168 | - | 305 | 11k| 0 | 0 | 0 | 390k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
127.20/127.23 c 124s|310000 |100131 | 0 | 0.0 | 88M| 168 | - | 305 | 14k| 0 | 0 | 0 | 405k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
132.79/132.84 c 130s|320000 |102285 | 0 | 0.0 | 91M| 168 | - | 305 | 15k| 0 | 0 | 0 | 420k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
139.10/139.18 c 136s|330000 |103564 | 0 | 0.0 | 93M| 168 | - | 305 | 16k| 0 | 0 | 0 | 437k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
145.40/145.48 c 142s|340000 |104870 | 0 | 0.0 | 95M| 168 | - | 305 | 16k| 0 | 0 | 0 | 454k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
150.49/150.51 o 72
150.49/150.51 c * 147s|347738 |104614 | 0 | 0.0 | 96M| 168 | - | 305 | 17k| 0 | 0 | 0 | 467k| 0 | 0.000000e+00 | 7.200000e+01 | Inf
152.09/152.10 c 149s|350000 |104492 | 0 | 0.0 | 95M| 168 | - | 305 | 13k| 0 | 0 | 0 | 472k| 0 | 0.000000e+00 | 7.200000e+01 | Inf
156.10/156.10 c 152s|360000 |107969 | 0 | 0.0 | 94M| 168 | - | 305 |2237 | 0 | 0 | 0 | 484k| 0 | 0.000000e+00 | 7.200000e+01 | Inf
157.30/157.33 c 154s|370000 |115934 | 0 | 0.0 | 98M| 168 | - | 305 |2104 | 0 | 0 | 0 | 488k| 0 | 0.000000e+00 | 7.200000e+01 | Inf
158.49/158.59 c 155s|380000 |123757 | 0 | 0.0 | 102M| 168 | - | 305 |2470 | 0 | 0 | 0 | 492k| 0 | 0.000000e+00 | 7.200000e+01 | Inf
159.89/159.90 c 156s|390000 |131490 | 0 | 0.0 | 106M| 168 | - | 305 |3052 | 0 | 0 | 0 | 497k| 0 | 0.000000e+00 | 7.200000e+01 | Inf
161.19/161.24 c 157s|400000 |139164 | 0 | 0.0 | 111M| 168 | - | 305 |3458 | 0 | 0 | 0 | 501k| 0 | 0.000000e+00 | 7.200000e+01 | Inf
162.59/162.60 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
162.59/162.60 c 159s|410000 |146853 | 0 | 0.0 | 115M| 168 | - | 305 |3582 | 0 | 0 | 0 | 505k| 0 | 0.000000e+00 | 7.200000e+01 | Inf
163.99/164.01 c 160s|420000 |154432 | 0 | 0.0 | 119M| 168 | - | 305 |3978 | 0 | 0 | 0 | 510k| 0 | 0.000000e+00 | 7.200000e+01 | Inf
165.49/165.52 c 161s|430000 |161823 | 0 | 0.0 | 124M| 168 | - | 305 |4371 | 0 | 0 | 0 | 515k| 0 | 0.000000e+00 | 7.200000e+01 | Inf
166.99/167.04 c 163s|440000 |169197 | 0 | 0.0 | 128M| 168 | - | 305 |4694 | 0 | 0 | 0 | 520k| 0 | 0.000000e+00 | 7.200000e+01 | Inf
168.60/168.66 c 164s|450000 |176396 | 0 | 0.0 | 132M| 168 | - | 305 |5136 | 0 | 0 | 0 | 525k| 0 | 0.000000e+00 | 7.200000e+01 | Inf
170.29/170.36 c 166s|460000 |183440 | 0 | 0.0 | 137M| 168 | - | 305 |5091 | 0 | 0 | 0 | 530k| 0 | 0.000000e+00 | 7.200000e+01 | Inf
172.00/172.05 c 168s|470000 |190444 | 0 | 0.0 | 141M| 168 | - | 305 |5439 | 0 | 0 | 0 | 536k| 0 | 0.000000e+00 | 7.200000e+01 | Inf
173.80/173.81 c 169s|480000 |197399 | 0 | 0.0 | 145M| 168 | - | 305 |5455 | 0 | 0 | 0 | 541k| 0 | 0.000000e+00 | 7.200000e+01 | Inf
175.60/175.61 c 171s|490000 |204255 | 0 | 0.0 | 150M| 168 | - | 305 |5611 | 0 | 0 | 0 | 546k| 0 | 0.000000e+00 | 7.200000e+01 | Inf
177.30/177.39 c 173s|500000 |211077 | 0 | 0.0 | 154M| 168 | - | 305 |6106 | 0 | 0 | 0 | 552k| 0 | 0.000000e+00 | 7.200000e+01 | Inf
179.29/179.32 c 174s|510000 |217602 | 0 | 0.0 | 159M| 168 | - | 305 |6659 | 0 | 0 | 0 | 559k| 0 | 0.000000e+00 | 7.200000e+01 | Inf
181.30/181.31 c 176s|520000 |224020 | 0 | 0.0 | 163M| 168 | - | 305 |6996 | 0 | 0 | 0 | 565k| 0 | 0.000000e+00 | 7.200000e+01 | Inf
183.60/183.63 c 179s|530000 |229851 | 0 | 0.0 | 168M| 168 | - | 305 |7379 | 0 | 0 | 0 | 572k| 0 | 0.000000e+00 | 7.200000e+01 | Inf
185.99/186.03 c 181s|540000 |235506 | 0 | 0.0 | 173M| 168 | - | 305 |7801 | 0 | 0 | 0 | 580k| 0 | 0.000000e+00 | 7.200000e+01 | Inf
188.59/188.60 c 183s|550000 |240880 | 0 | 0.0 | 177M| 168 | - | 305 |8020 | 0 | 0 | 0 | 588k| 0 | 0.000000e+00 | 7.200000e+01 | Inf
191.30/191.37 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
191.30/191.37 c 186s|560000 |245966 | 0 | 0.0 | 182M| 168 | - | 305 |8503 | 0 | 0 | 0 | 596k| 0 | 0.000000e+00 | 7.200000e+01 | Inf
194.40/194.43 c 189s|570000 |250502 | 0 | 0.0 | 186M| 168 | - | 305 |8926 | 0 | 0 | 0 | 604k| 0 | 0.000000e+00 | 7.200000e+01 | Inf
197.90/197.98 c 192s|580000 |254075 | 0 | 0.0 | 190M| 168 | - | 305 |9593 | 0 | 0 | 0 | 614k| 0 | 0.000000e+00 | 7.200000e+01 | Inf
202.00/202.08 c 196s|590000 |256783 | 0 | 0.0 | 194M| 168 | - | 305 | 10k| 0 | 0 | 0 | 625k| 0 | 0.000000e+00 | 7.200000e+01 | Inf
207.19/207.23 c 201s|600000 |257484 | 0 | 0.0 | 195M| 168 | - | 305 |9323 | 0 | 0 | 0 | 636k| 0 | 0.000000e+00 | 7.200000e+01 | Inf
212.80/212.86 c 207s|610000 |258073 | 0 | 0.0 | 197M| 168 | - | 305 | 12k| 0 | 0 | 0 | 654k| 0 | 1.000000e+00 | 7.200000e+01 |7100.00%
220.20/220.27 c 214s|620000 |258504 | 0 | 0.0 | 201M| 168 | - | 305 | 17k| 0 | 0 | 0 | 674k| 0 | 1.000000e+00 | 7.200000e+01 |7100.00%
228.39/228.40 c 222s|630000 |258191 | 0 | 0.0 | 202M| 168 | - | 305 | 12k| 0 | 0 | 0 | 693k| 0 | 1.000000e+00 | 7.200000e+01 |7100.00%
234.49/234.58 c 228s|640000 |257608 | 0 | 0.0 | 203M| 168 | - | 305 | 11k| 0 | 0 | 0 | 713k| 0 | 1.000000e+00 | 7.200000e+01 |7100.00%
242.50/242.55 c 236s|650000 |257300 | 0 | 0.0 | 208M| 168 | - | 305 | 21k| 0 | 0 | 0 | 732k| 0 | 1.000000e+00 | 7.200000e+01 |7100.00%
253.79/253.88 c 247s|660000 |256821 | 0 | 0.0 | 212M| 168 | - | 305 | 29k| 0 | 0 | 0 | 750k| 0 | 1.000000e+00 | 7.200000e+01 |7100.00%
268.30/268.38 c 262s|670000 |255847 | 0 | 0.0 | 215M| 168 | - | 305 | 34k| 0 | 0 | 0 | 769k| 0 | 1.000000e+00 | 7.200000e+01 |7100.00%
285.49/285.57 c 279s|680000 |253863 | 0 | 0.0 | 216M| 168 | - | 305 | 34k| 0 | 0 | 0 | 788k| 0 | 1.000000e+00 | 7.200000e+01 |7100.00%
302.89/302.95 c 296s|690000 |251360 | 0 | 0.0 | 212M| 168 | - | 305 | 29k| 0 | 0 | 0 | 807k| 0 | 1.000000e+00 | 7.200000e+01 |7100.00%
307.20/307.29 c 300s|700000 |258460 | 0 | 0.0 | 211M| 168 | - | 305 | 10k| 0 | 0 | 0 | 813k| 0 | 1.000000e+00 | 7.200000e+01 |7100.00%
310.10/310.19 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
310.10/310.19 c 303s|710000 |264998 | 0 | 0.0 | 215M| 168 | - | 305 |8388 | 0 | 0 | 0 | 820k| 0 | 1.000000e+00 | 7.200000e+01 |7100.00%
312.90/312.98 c 306s|720000 |271352 | 0 | 0.0 | 219M| 168 | - | 305 |7898 | 0 | 0 | 0 | 827k| 0 | 1.000000e+00 | 7.200000e+01 |7100.00%
315.70/315.73 c 309s|730000 |277475 | 0 | 0.0 | 224M| 168 | - | 305 |7799 | 0 | 0 | 0 | 834k| 0 | 1.000000e+00 | 7.200000e+01 |7100.00%
318.50/318.55 c 311s|740000 |283510 | 0 | 0.0 | 229M| 168 | - | 305 |7619 | 0 | 0 | 0 | 841k| 0 | 1.000000e+00 | 7.200000e+01 |7100.00%
321.40/321.40 c 314s|750000 |289395 | 0 | 0.0 | 233M| 168 | - | 305 |7573 | 0 | 0 | 0 | 849k| 0 | 1.000000e+00 | 7.200000e+01 |7100.00%
324.40/324.40 c 317s|760000 |295104 | 0 | 0.0 | 239M| 168 | - | 305 |8378 | 0 | 0 | 0 | 857k| 0 | 1.000000e+00 | 7.200000e+01 |7100.00%
327.30/327.34 c 320s|770000 |300873 | 0 | 0.0 | 244M| 168 | - | 305 |9390 | 0 | 0 | 0 | 865k| 0 | 1.000000e+00 | 7.200000e+01 |7100.00%
329.20/329.21 o 62
329.20/329.21 c * 322s|775627 |302266 | 0 | 0.0 | 245M| 168 | - | 305 |9694 | 0 | 0 | 0 | 870k| 0 | 1.000000e+00 | 6.200000e+01 |6100.00%
330.69/330.73 c 323s|780000 |304734 | 0 | 0.0 | 247M| 168 | - | 305 |8495 | 0 | 0 | 0 | 873k| 0 | 1.000000e+00 | 6.200000e+01 |6100.00%
333.10/333.10 c 325s|790000 |310069 | 0 | 0.0 | 250M| 168 | - | 305 |2769 | 0 | 0 | 0 | 882k| 0 | 1.000000e+00 | 6.200000e+01 |6100.00%
335.50/335.58 c 328s|800000 |315270 | 0 | 0.0 | 255M| 168 | - | 305 |3288 | 0 | 0 | 0 | 891k| 0 | 1.000000e+00 | 6.200000e+01 |6100.00%
338.19/338.24 c 330s|810000 |320295 | 0 | 0.0 | 261M| 168 | - | 305 |5792 | 0 | 0 | 0 | 900k| 0 | 1.000000e+00 | 6.200000e+01 |6100.00%
340.90/340.95 c 333s|820000 |325475 | 0 | 0.0 | 266M| 168 | - | 305 |5661 | 0 | 0 | 0 | 909k| 0 | 1.000000e+00 | 6.200000e+01 |6100.00%
343.69/343.77 c 336s|830000 |330753 | 0 | 0.0 | 271M| 168 | - | 305 |7581 | 0 | 0 | 0 | 918k| 0 | 1.000000e+00 | 6.200000e+01 |6100.00%
346.59/346.69 c 338s|840000 |335848 | 0 | 0.0 | 276M| 168 | - | 305 |7054 | 0 | 0 | 0 | 927k| 0 | 1.000000e+00 | 6.200000e+01 |6100.00%
349.50/349.58 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
349.50/349.58 c 341s|850000 |341219 | 0 | 0.0 | 281M| 168 | - | 305 |6990 | 0 | 0 | 0 | 935k| 0 | 1.000000e+00 | 6.200000e+01 |6100.00%
352.50/352.57 c 344s|860000 |346066 | 0 | 0.0 | 286M| 168 | - | 305 |7870 | 0 | 0 | 0 | 945k| 0 | 1.000000e+00 | 6.200000e+01 |6100.00%
355.60/355.61 c 347s|870000 |351522 | 0 | 0.0 | 291M| 168 | - | 305 |7900 | 0 | 0 | 0 | 953k| 0 | 1.000000e+00 | 6.200000e+01 |6100.00%
358.70/358.74 c 350s|880000 |356377 | 0 | 0.0 | 296M| 168 | - | 305 |8613 | 0 | 0 | 0 | 962k| 0 | 1.000000e+00 | 6.200000e+01 |6100.00%
362.00/362.00 c 353s|890000 |361661 | 0 | 0.0 | 301M| 168 | - | 305 |9093 | 0 | 0 | 0 | 970k| 0 | 1.000000e+00 | 6.200000e+01 |6100.00%
365.10/365.12 c 356s|900000 |366690 | 0 | 0.0 | 305M| 168 | - | 305 |8613 | 0 | 0 | 0 | 979k| 0 | 1.000000e+00 | 6.200000e+01 |6100.00%
368.29/368.40 c 359s|910000 |371716 | 0 | 0.0 | 310M| 168 | - | 305 |9954 | 0 | 0 | 0 | 988k| 0 | 1.000000e+00 | 6.200000e+01 |6100.00%
371.70/371.74 c 363s|920000 |376444 | 0 | 0.0 | 314M| 168 | - | 305 |8560 | 0 | 0 | 0 | 997k| 0 | 1.000000e+00 | 6.200000e+01 |6100.00%
375.00/375.01 c 366s|930000 |381421 | 0 | 0.0 | 319M| 168 | - | 305 |9803 | 0 | 0 | 0 |1006k| 0 | 1.000000e+00 | 6.200000e+01 |6100.00%
378.10/378.17 c 369s|940000 |386415 | 0 | 0.0 | 323M| 168 | - | 305 |8701 | 0 | 0 | 0 |1014k| 0 | 1.000000e+00 | 6.200000e+01 |6100.00%
381.40/381.48 c 372s|950000 |391291 | 0 | 0.0 | 328M| 168 | - | 305 | 10k| 0 | 0 | 0 |1023k| 0 | 1.000000e+00 | 6.200000e+01 |6100.00%
384.80/384.81 c 375s|960000 |396330 | 0 | 0.0 | 333M| 168 | - | 305 |7954 | 0 | 0 | 0 |1031k| 0 | 1.000000e+00 | 6.200000e+01 |6100.00%
388.09/388.18 c 379s|970000 |400911 | 0 | 0.0 | 338M| 168 | - | 305 | 10k| 0 | 0 | 0 |1041k| 0 | 1.000000e+00 | 6.200000e+01 |6100.00%
391.60/391.63 c 382s|980000 |405798 | 0 | 0.0 | 343M| 168 | - | 305 | 11k| 0 | 0 | 0 |1049k| 0 | 1.000000e+00 | 6.200000e+01 |6100.00%
394.99/395.03 c 385s|990000 |410464 | 0 | 0.0 | 346M| 168 | - | 305 | 10k| 0 | 0 | 0 |1058k| 0 | 1.000000e+00 | 6.200000e+01 |6100.00%
398.60/398.65 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
398.60/398.65 c 389s| 1000k|415104 | 0 | 0.0 | 351M| 168 | - | 305 | 11k| 0 | 0 | 0 |1067k| 0 | 1.000000e+00 | 6.200000e+01 |6100.00%
402.00/402.05 c 392s| 1010k|419964 | 0 | 0.0 | 356M| 168 | - | 305 | 10k| 0 | 0 | 0 |1076k| 0 | 1.000000e+00 | 6.200000e+01 |6100.00%
405.69/405.78 c 396s| 1020k|424305 | 0 | 0.0 | 360M| 168 | - | 305 | 10k| 0 | 0 | 0 |1085k| 0 | 1.000000e+00 | 6.200000e+01 |6100.00%
409.30/409.31 c 399s| 1030k|429163 | 0 | 0.0 | 364M| 168 | - | 305 |9044 | 0 | 0 | 0 |1093k| 0 | 1.000000e+00 | 6.200000e+01 |6100.00%
412.80/412.90 c 403s| 1040k|433375 | 0 | 0.0 | 369M| 168 | - | 305 | 10k| 0 | 0 | 0 |1103k| 0 | 1.000000e+00 | 6.200000e+01 |6100.00%
416.59/416.68 c 406s| 1050k|437881 | 0 | 0.0 | 373M| 168 | - | 305 | 10k| 0 | 0 | 0 |1111k| 0 | 1.000000e+00 | 6.200000e+01 |6100.00%
419.89/419.90 c 409s| 1060k|442829 | 0 | 0.0 | 377M| 168 | - | 305 | 10k| 0 | 0 | 0 |1119k| 0 | 1.000000e+00 | 6.200000e+01 |6100.00%
423.70/423.79 c 413s| 1070k|446940 | 0 | 0.0 | 382M| 168 | - | 305 | 11k| 0 | 0 | 0 |1129k| 0 | 1.000000e+00 | 6.200000e+01 |6100.00%
427.30/427.32 c 417s| 1080k|451681 | 0 | 0.0 | 386M| 168 | - | 305 |9559 | 0 | 0 | 0 |1137k| 0 | 1.000000e+00 | 6.200000e+01 |6100.00%
430.99/431.04 c 420s| 1090k|455837 | 0 | 0.0 | 391M| 168 | - | 305 | 11k| 0 | 0 | 0 |1146k| 0 | 1.000000e+00 | 6.200000e+01 |6100.00%
434.70/434.70 c 424s| 1100k|460501 | 0 | 0.0 | 395M| 168 | - | 305 | 11k| 0 | 0 | 0 |1155k| 0 | 1.000000e+00 | 6.200000e+01 |6100.00%
438.39/438.40 c 427s| 1110k|464721 | 0 | 0.0 | 399M| 168 | - | 305 | 11k| 0 | 0 | 0 |1164k| 0 | 1.000000e+00 | 6.200000e+01 |6100.00%
442.21/442.20 c 431s| 1120k|469168 | 0 | 0.0 | 404M| 168 | - | 305 | 11k| 0 | 0 | 0 |1172k| 0 | 1.000000e+00 | 6.200000e+01 |6100.00%
445.89/445.97 c 435s| 1130k|473343 | 0 | 0.0 | 408M| 168 | - | 305 | 11k| 0 | 0 | 0 |1182k| 0 | 1.000000e+00 | 6.200000e+01 |6100.00%
449.81/449.83 c 439s| 1140k|477648 | 0 | 0.0 | 413M| 168 | - | 305 | 11k| 0 | 0 | 0 |1191k| 0 | 1.000000e+00 | 6.200000e+01 |6100.00%
453.70/453.73 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
453.70/453.73 c 442s| 1150k|481587 | 0 | 0.0 | 416M| 168 | - | 305 | 11k| 0 | 0 | 0 |1200k| 0 | 1.000000e+00 | 6.200000e+01 |6100.00%
457.60/457.69 c 446s| 1160k|485672 | 0 | 0.0 | 421M| 168 | - | 305 | 11k| 0 | 0 | 0 |1209k| 0 | 1.000000e+00 | 6.200000e+01 |6100.00%
461.70/461.75 c 450s| 1170k|489442 | 0 | 0.0 | 424M| 168 | - | 305 | 11k| 0 | 0 | 0 |1219k| 0 | 1.000000e+00 | 6.200000e+01 |6100.00%
465.80/465.81 c 454s| 1180k|493406 | 0 | 0.0 | 429M| 168 | - | 305 | 11k| 0 | 0 | 0 |1228k| 0 | 1.000000e+00 | 6.200000e+01 |6100.00%
470.00/470.02 c 458s| 1190k|496895 | 0 | 0.0 | 432M| 168 | - | 305 | 12k| 0 | 0 | 0 |1238k| 0 | 1.000000e+00 | 6.200000e+01 |6100.00%
474.40/474.41 c 463s| 1200k|500538 | 0 | 0.0 | 437M| 168 | - | 305 | 12k| 0 | 0 | 0 |1247k| 0 | 1.000000e+00 | 6.200000e+01 |6100.00%
479.00/479.02 c 467s| 1210k|503649 | 0 | 0.0 | 440M| 168 | - | 305 | 12k| 0 | 0 | 0 |1257k| 0 | 1.000000e+00 | 6.200000e+01 |6100.00%
483.80/483.84 c 472s| 1220k|506536 | 0 | 0.0 | 444M| 168 | - | 305 | 13k| 0 | 0 | 0 |1268k| 0 | 1.000000e+00 | 6.200000e+01 |6100.00%
488.60/488.63 c 476s| 1230k|509701 | 0 | 0.0 | 448M| 168 | - | 305 | 12k| 0 | 0 | 0 |1278k| 0 | 1.000000e+00 | 6.200000e+01 |6100.00%
493.70/493.74 c 481s| 1240k|512359 | 0 | 0.0 | 452M| 168 | - | 305 | 13k| 0 | 0 | 0 |1289k| 0 | 1.000000e+00 | 6.200000e+01 |6100.00%
499.20/499.25 c 487s| 1250k|514566 | 0 | 0.0 | 456M| 168 | - | 305 | 13k| 0 | 0 | 0 |1301k| 0 | 1.000000e+00 | 6.200000e+01 |6100.00%
505.10/505.18 c 493s| 1260k|516412 | 0 | 0.0 | 459M| 168 | - | 305 | 13k| 0 | 0 | 0 |1313k| 0 | 1.000000e+00 | 6.200000e+01 |6100.00%
511.30/511.35 c 499s| 1270k|517873 | 0 | 0.0 | 463M| 168 | - | 305 | 14k| 0 | 0 | 0 |1325k| 0 | 1.000000e+00 | 6.200000e+01 |6100.00%
517.80/517.89 c 505s| 1280k|518884 | 0 | 0.0 | 466M| 168 | - | 305 | 14k| 0 | 0 | 0 |1338k| 0 | 1.000000e+00 | 6.200000e+01 |6100.00%
524.80/524.90 c 512s| 1290k|519500 | 0 | 0.0 | 469M| 168 | - | 305 | 14k| 0 | 0 | 0 |1351k| 0 | 1.000000e+00 | 6.200000e+01 |6100.00%
532.50/532.59 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
532.50/532.59 c 520s| 1300k|519505 | 0 | 0.0 | 471M| 168 | - | 305 | 15k| 0 | 0 | 0 |1365k| 0 | 1.000000e+00 | 6.200000e+01 |6100.00%
541.30/541.30 c 528s| 1310k|518261 | 0 | 0.0 | 473M| 168 | - | 305 | 16k| 0 | 0 | 0 |1380k| 0 | 1.000000e+00 | 6.200000e+01 |6100.00%
548.50/548.56 c 535s| 1320k|518591 | 0 | 0.0 | 473M| 168 | - | 305 | 13k| 0 | 0 | 0 |1392k| 0 | 1.000000e+00 | 6.200000e+01 |6100.00%
550.80/550.85 c 538s| 1330k|524630 | 0 | 0.0 | 473M| 168 | - | 305 |3100 | 0 | 0 | 0 |1398k| 0 | 1.000000e+00 | 6.200000e+01 |6100.00%
552.90/552.97 c 540s| 1340k|530033 | 0 | 0.0 | 477M| 168 | - | 305 |3651 | 0 | 0 | 0 |1406k| 0 | 1.000000e+00 | 6.200000e+01 |6100.00%
560.40/560.40 c 547s| 1350k|526069 | 0 | 0.0 | 475M| 168 | - | 305 | 13k| 0 | 0 | 0 |1427k| 0 | 1.000000e+00 | 6.200000e+01 |6100.00%
566.10/566.18 c 552s| 1360k|527920 | 0 | 0.0 | 473M| 168 | - | 305 |6552 | 0 | 0 | 0 |1438k| 0 | 1.000000e+00 | 6.200000e+01 |6100.00%
570.00/570.08 c 556s| 1370k|531839 | 0 | 0.0 | 478M| 168 | - | 305 |7544 | 0 | 0 | 0 |1448k| 0 | 1.000000e+00 | 6.200000e+01 |6100.00%
574.00/574.05 c 560s| 1380k|535809 | 0 | 0.0 | 482M| 168 | - | 305 |8705 | 0 | 0 | 0 |1458k| 0 | 1.000000e+00 | 6.200000e+01 |6100.00%
578.30/578.36 c 564s| 1390k|539516 | 0 | 0.0 | 486M| 168 | - | 305 |8964 | 0 | 0 | 0 |1468k| 0 | 1.000000e+00 | 6.200000e+01 |6100.00%
583.10/583.18 c 569s| 1400k|542493 | 0 | 0.0 | 490M| 168 | - | 305 |9152 | 0 | 0 | 0 |1479k| 0 | 1.000000e+00 | 6.200000e+01 |6100.00%
587.90/587.93 c 574s| 1410k|545839 | 0 | 0.0 | 494M| 168 | - | 305 |9385 | 0 | 0 | 0 |1490k| 0 | 1.000000e+00 | 6.200000e+01 |6100.00%
592.81/592.89 c 579s| 1420k|548879 | 0 | 0.0 | 497M| 168 | - | 305 | 10k| 0 | 0 | 0 |1501k| 0 | 1.000000e+00 | 6.200000e+01 |6100.00%
598.10/598.11 c 584s| 1430k|551764 | 0 | 0.0 | 501M| 168 | - | 305 | 10k| 0 | 0 | 0 |1512k| 0 | 1.000000e+00 | 6.200000e+01 |6100.00%
603.70/603.77 c 589s| 1440k|554186 | 0 | 0.0 | 504M| 168 | - | 305 | 11k| 0 | 0 | 0 |1524k| 0 | 1.000000e+00 | 6.200000e+01 |6100.00%
608.80/608.87 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
608.80/608.87 c 594s| 1450k|557324 | 0 | 0.0 | 508M| 168 | - | 305 | 12k| 0 | 0 | 0 |1535k| 0 | 1.000000e+00 | 6.200000e+01 |6100.00%
614.80/614.81 c 600s| 1460k|559982 | 0 | 0.0 | 510M| 168 | - | 305 | 11k| 0 | 0 | 0 |1546k| 0 | 1.000000e+00 | 6.200000e+01 |6100.00%
620.60/620.61 c 606s| 1470k|562786 | 0 | 0.0 | 515M| 168 | - | 305 | 14k| 0 | 0 | 0 |1557k| 0 | 2.000000e+00 | 6.200000e+01 |3000.00%
626.50/626.57 c 612s| 1480k|565700 | 0 | 0.0 | 518M| 168 | - | 305 | 13k| 0 | 0 | 0 |1568k| 0 | 2.000000e+00 | 6.200000e+01 |3000.00%
633.10/633.13 c 618s| 1490k|568187 | 0 | 0.0 | 522M| 168 | - | 305 | 14k| 0 | 0 | 0 |1580k| 0 | 2.000000e+00 | 6.200000e+01 |3000.00%
639.11/639.13 c 624s| 1500k|571332 | 0 | 0.0 | 527M| 168 | - | 305 | 14k| 0 | 0 | 0 |1590k| 0 | 2.000000e+00 | 6.200000e+01 |3000.00%
646.00/646.03 c 631s| 1510k|573799 | 0 | 0.0 | 530M| 168 | - | 305 | 15k| 0 | 0 | 0 |1601k| 0 | 2.000000e+00 | 6.200000e+01 |3000.00%
652.60/652.69 c 637s| 1520k|576438 | 0 | 0.0 | 534M| 168 | - | 305 | 15k| 0 | 0 | 0 |1613k| 0 | 2.000000e+00 | 6.200000e+01 |3000.00%
658.81/658.88 c 643s| 1530k|579754 | 0 | 0.0 | 538M| 168 | - | 305 | 17k| 0 | 0 | 0 |1623k| 0 | 2.000000e+00 | 6.200000e+01 |3000.00%
666.70/666.73 c 651s| 1540k|581639 | 0 | 0.0 | 542M| 168 | - | 305 | 16k| 0 | 0 | 0 |1635k| 0 | 2.000000e+00 | 6.200000e+01 |3000.00%
673.11/673.12 c 657s| 1550k|584833 | 0 | 0.0 | 546M| 168 | - | 305 | 18k| 0 | 0 | 0 |1646k| 0 | 2.000000e+00 | 6.200000e+01 |3000.00%
681.50/681.53 c 666s| 1560k|586615 | 0 | 0.0 | 549M| 168 | - | 305 | 17k| 0 | 0 | 0 |1658k| 0 | 2.000000e+00 | 6.200000e+01 |3000.00%
688.60/688.65 c 673s| 1570k|589433 | 0 | 0.0 | 553M| 168 | - | 305 | 18k| 0 | 0 | 0 |1669k| 0 | 2.000000e+00 | 6.200000e+01 |3000.00%
695.90/695.99 c 680s| 1580k|592511 | 0 | 0.0 | 557M| 168 | - | 305 | 19k| 0 | 0 | 0 |1679k| 0 | 2.000000e+00 | 6.200000e+01 |3000.00%
704.30/704.32 c 688s| 1590k|594635 | 0 | 0.0 | 561M| 168 | - | 305 | 19k| 0 | 0 | 0 |1691k| 0 | 2.000000e+00 | 6.200000e+01 |3000.00%
710.91/710.99 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
710.91/710.99 c 695s| 1600k|598358 | 0 | 0.0 | 565M| 168 | - | 305 | 20k| 0 | 0 | 0 |1700k| 0 | 2.000000e+00 | 6.200000e+01 |3000.00%
720.20/720.27 c 704s| 1610k|600210 | 0 | 0.0 | 568M| 168 | - | 305 | 20k| 0 | 0 | 0 |1712k| 0 | 2.000000e+00 | 6.200000e+01 |3000.00%
728.00/728.05 c 712s| 1620k|602972 | 0 | 0.0 | 572M| 168 | - | 305 | 19k| 0 | 0 | 0 |1723k| 0 | 2.000000e+00 | 6.200000e+01 |3000.00%
734.10/734.16 c 718s| 1630k|607270 | 0 | 0.0 | 577M| 168 | - | 305 | 21k| 0 | 0 | 0 |1732k| 0 | 2.000000e+00 | 6.200000e+01 |3000.00%
743.40/743.48 c 727s| 1640k|609079 | 0 | 0.0 | 579M| 168 | - | 305 | 21k| 0 | 0 | 0 |1743k| 0 | 2.000000e+00 | 6.200000e+01 |3000.00%
751.31/751.32 c 735s| 1650k|612013 | 0 | 0.0 | 583M| 168 | - | 305 | 21k| 0 | 0 | 0 |1754k| 0 | 2.000000e+00 | 6.200000e+01 |3000.00%
758.10/758.14 c 741s| 1660k|615900 | 0 | 0.0 | 588M| 168 | - | 305 | 22k| 0 | 0 | 0 |1763k| 0 | 2.000000e+00 | 6.200000e+01 |3000.00%
768.50/768.56 c 752s| 1670k|617198 | 0 | 0.0 | 591M| 168 | - | 305 | 22k| 0 | 0 | 0 |1776k| 0 | 2.000000e+00 | 6.200000e+01 |3000.00%
776.70/776.76 c 760s| 1680k|620031 | 0 | 0.0 | 594M| 168 | - | 305 | 21k| 0 | 0 | 0 |1786k| 0 | 2.000000e+00 | 6.200000e+01 |3000.00%
783.40/783.45 c 766s| 1690k|623832 | 0 | 0.0 | 599M| 168 | - | 305 | 23k| 0 | 0 | 0 |1795k| 0 | 2.000000e+00 | 6.200000e+01 |3000.00%
793.30/793.34 c 776s| 1700k|625670 | 0 | 0.0 | 602M| 168 | - | 305 | 23k| 0 | 0 | 0 |1807k| 0 | 2.000000e+00 | 6.200000e+01 |3000.00%
802.40/802.44 c 785s| 1710k|628033 | 0 | 0.0 | 606M| 168 | - | 305 | 23k| 0 | 0 | 0 |1818k| 0 | 2.000000e+00 | 6.200000e+01 |3000.00%
810.20/810.29 c 793s| 1720k|631553 | 0 | 0.0 | 610M| 168 | - | 305 | 23k| 0 | 0 | 0 |1827k| 0 | 2.000000e+00 | 6.200000e+01 |3000.00%
819.41/819.42 c 802s| 1730k|634170 | 0 | 0.0 | 614M| 168 | - | 305 | 25k| 0 | 0 | 0 |1838k| 0 | 2.000000e+00 | 6.200000e+01 |3000.00%
829.80/829.86 c 812s| 1740k|635770 | 0 | 0.0 | 617M| 168 | - | 305 | 24k| 0 | 0 | 0 |1849k| 0 | 2.000000e+00 | 6.200000e+01 |3000.00%
837.61/837.68 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
837.61/837.68 c 820s| 1750k|639298 | 0 | 0.0 | 621M| 168 | - | 305 | 24k| 0 | 0 | 0 |1859k| 0 | 2.000000e+00 | 6.200000e+01 |3000.00%
845.01/845.07 c 827s| 1760k|643182 | 0 | 0.0 | 626M| 168 | - | 305 | 24k| 0 | 0 | 0 |1868k| 0 | 2.000000e+00 | 6.200000e+01 |3000.00%
856.71/856.79 c 839s| 1770k|643771 | 0 | 0.0 | 628M| 168 | - | 305 | 24k| 0 | 0 | 0 |1881k| 0 | 2.000000e+00 | 6.200000e+01 |3000.00%
865.10/865.17 c 847s| 1780k|646697 | 0 | 0.0 | 632M| 168 | - | 305 | 24k| 0 | 0 | 0 |1891k| 0 | 2.000000e+00 | 6.200000e+01 |3000.00%
872.61/872.63 c 854s| 1790k|650296 | 0 | 0.0 | 636M| 168 | - | 305 | 25k| 0 | 0 | 0 |1900k| 0 | 2.000000e+00 | 6.200000e+01 |3000.00%
883.60/883.64 c 865s| 1800k|651193 | 0 | 0.0 | 638M| 168 | - | 305 | 24k| 0 | 0 | 0 |1913k| 0 | 2.000000e+00 | 6.200000e+01 |3000.00%
892.90/892.92 c 875s| 1810k|653542 | 0 | 0.0 | 642M| 168 | - | 305 | 25k| 0 | 0 | 0 |1923k| 0 | 2.000000e+00 | 6.200000e+01 |3000.00%
901.00/901.01 c 883s| 1820k|656970 | 0 | 0.0 | 646M| 168 | - | 305 | 24k| 0 | 0 | 0 |1933k| 0 | 2.000000e+00 | 6.200000e+01 |3000.00%
909.61/909.67 c 891s| 1830k|659623 | 0 | 0.0 | 650M| 168 | - | 305 | 25k| 0 | 0 | 0 |1943k| 0 | 2.000000e+00 | 6.200000e+01 |3000.00%
920.61/920.61 c 902s| 1840k|660574 | 0 | 0.0 | 653M| 168 | - | 305 | 25k| 0 | 0 | 0 |1956k| 0 | 2.000000e+00 | 6.200000e+01 |3000.00%
929.00/929.05 c 910s| 1850k|663640 | 0 | 0.0 | 657M| 168 | - | 305 | 25k| 0 | 0 | 0 |1965k| 0 | 2.000000e+00 | 6.200000e+01 |3000.00%
936.30/936.32 c 917s| 1860k|667431 | 0 | 0.0 | 662M| 168 | - | 305 | 25k| 0 | 0 | 0 |1974k| 0 | 2.000000e+00 | 6.200000e+01 |3000.00%
948.30/948.31 c 929s| 1870k|667501 | 0 | 0.0 | 664M| 168 | - | 305 | 26k| 0 | 0 | 0 |1988k| 0 | 2.000000e+00 | 6.200000e+01 |3000.00%
957.20/957.29 c 938s| 1880k|670124 | 0 | 0.0 | 668M| 168 | - | 305 | 25k| 0 | 0 | 0 |1998k| 0 | 2.000000e+00 | 6.200000e+01 |3000.00%
964.90/964.94 c 946s| 1890k|673757 | 0 | 0.0 | 672M| 168 | - | 305 | 26k| 0 | 0 | 0 |2007k| 0 | 2.000000e+00 | 6.200000e+01 |3000.00%
976.61/976.68 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
976.61/976.68 c 957s| 1900k|674244 | 0 | 0.0 | 675M| 168 | - | 305 | 27k| 0 | 0 | 0 |2020k| 0 | 2.000000e+00 | 6.200000e+01 |3000.00%
986.51/986.56 c 967s| 1910k|676575 | 0 | 0.0 | 678M| 168 | - | 305 | 26k| 0 | 0 | 0 |2030k| 0 | 2.000000e+00 | 6.200000e+01 |3000.00%
994.91/994.96 c 975s| 1920k|679696 | 0 | 0.0 | 682M| 168 | - | 305 | 26k| 0 | 0 | 0 |2040k| 0 | 2.000000e+00 | 6.200000e+01 |3000.00%
1006.81/1006.84 c 987s| 1930k|680182 | 0 | 0.0 | 685M| 168 | - | 305 | 26k| 0 | 0 | 0 |2053k| 0 | 2.000000e+00 | 6.200000e+01 |3000.00%
1016.61/1016.65 c 997s| 1940k|682214 | 0 | 0.0 | 688M| 168 | - | 305 | 25k| 0 | 0 | 0 |2064k| 0 | 2.000000e+00 | 6.200000e+01 |3000.00%
1024.71/1024.76 c 1005s| 1950k|685294 | 0 | 0.0 | 693M| 168 | - | 305 | 26k| 0 | 0 | 0 |2074k| 0 | 2.000000e+00 | 6.200000e+01 |3000.00%
1036.90/1036.97 c 1017s| 1960k|685351 | 0 | 0.0 | 695M| 168 | - | 305 | 26k| 0 | 0 | 0 |2087k| 0 | 2.000000e+00 | 6.200000e+01 |3000.00%
1046.41/1046.49 c 1026s| 1970k|687352 | 0 | 0.0 | 699M| 168 | - | 305 | 25k| 0 | 0 | 0 |2098k| 0 | 2.000000e+00 | 6.200000e+01 |3000.00%
1054.51/1054.58 c 1034s| 1980k|690496 | 0 | 0.0 | 703M| 168 | - | 305 | 26k| 0 | 0 | 0 |2107k| 0 | 2.000000e+00 | 6.200000e+01 |3000.00%
1067.10/1067.15 c 1047s| 1990k|690386 | 0 | 0.0 | 705M| 168 | - | 305 | 26k| 0 | 0 | 0 |2121k| 0 | 2.000000e+00 | 6.200000e+01 |3000.00%
1076.71/1076.78 c 1056s| 2000k|692418 | 0 | 0.0 | 709M| 168 | - | 305 | 25k| 0 | 0 | 0 |2132k| 0 | 2.000000e+00 | 6.200000e+01 |3000.00%
1086.72/1086.74 c 1066s| 2010k|693991 | 0 | 0.0 | 713M| 168 | - | 305 | 27k| 0 | 0 | 0 |2143k| 0 | 2.000000e+00 | 6.200000e+01 |3000.00%
1098.70/1098.76 c 1078s| 2020k|694726 | 0 | 0.0 | 716M| 168 | - | 305 | 26k| 0 | 0 | 0 |2156k| 0 | 2.000000e+00 | 6.200000e+01 |3000.00%
1107.81/1107.84 c 1087s| 2030k|697370 | 0 | 0.0 | 720M| 168 | - | 305 | 27k| 0 | 0 | 0 |2166k| 0 | 2.000000e+00 | 6.200000e+01 |3000.00%
1121.41/1121.40 c 1101s| 2040k|696715 | 0 | 0.0 | 722M| 168 | - | 305 | 27k| 0 | 0 | 0 |2180k| 0 | 2.000000e+00 | 6.200000e+01 |3000.00%
1132.01/1132.02 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1132.01/1132.02 c 1111s| 2050k|698328 | 0 | 0.0 | 726M| 168 | - | 305 | 27k| 0 | 0 | 0 |2191k| 0 | 2.000000e+00 | 6.200000e+01 |3000.00%
1145.21/1145.26 c 1124s| 2060k|697937 | 0 | 0.0 | 728M| 168 | - | 305 | 28k| 0 | 0 | 0 |2205k| 0 | 2.000000e+00 | 6.200000e+01 |3000.00%
1156.71/1156.73 c 1136s| 2070k|699039 | 0 | 0.0 | 732M| 168 | - | 305 | 27k| 0 | 0 | 0 |2217k| 0 | 2.000000e+00 | 6.200000e+01 |3000.00%
1170.71/1170.71 c 1149s| 2080k|698340 | 0 | 0.0 | 734M| 168 | - | 305 | 27k| 0 | 0 | 0 |2231k| 0 | 2.000000e+00 | 6.200000e+01 |3000.00%
1183.21/1183.26 c 1162s| 2090k|698423 | 0 | 0.0 | 737M| 168 | - | 305 | 28k| 0 | 0 | 0 |2244k| 0 | 2.000000e+00 | 6.200000e+01 |3000.00%
1197.01/1197.03 c 1175s| 2100k|698071 | 0 | 0.0 | 739M| 168 | - | 305 | 28k| 0 | 0 | 0 |2258k| 0 | 2.000000e+00 | 6.200000e+01 |3000.00%
1211.31/1211.35 c 1190s| 2110k|697280 | 0 | 0.0 | 742M| 168 | - | 305 | 28k| 0 | 0 | 0 |2271k| 0 | 2.000000e+00 | 6.200000e+01 |3000.00%
1225.51/1225.54 c 1204s| 2120k|696515 | 0 | 0.0 | 744M| 168 | - | 305 | 29k| 0 | 0 | 0 |2285k| 0 | 2.000000e+00 | 6.200000e+01 |3000.00%
1240.91/1240.92 c 1219s| 2130k|695462 | 0 | 0.0 | 747M| 168 | - | 305 | 31k| 0 | 0 | 0 |2300k| 0 | 2.000000e+00 | 6.200000e+01 |3000.00%
1257.41/1257.44 c 1235s| 2140k|693962 | 0 | 0.0 | 748M| 168 | - | 305 | 31k| 0 | 0 | 0 |2314k| 0 | 2.000000e+00 | 6.200000e+01 |3000.00%
1273.61/1273.64 c 1251s| 2150k|692612 | 0 | 0.0 | 750M| 168 | - | 305 | 31k| 0 | 0 | 0 |2328k| 0 | 2.000000e+00 | 6.200000e+01 |3000.00%
1291.01/1291.09 c 1269s| 2160k|690403 | 0 | 0.0 | 752M| 168 | - | 305 | 31k| 0 | 0 | 0 |2344k| 0 | 2.000000e+00 | 6.200000e+01 |3000.00%
1309.22/1309.28 c 1287s| 2170k|687956 | 0 | 0.0 | 753M| 168 | - | 305 | 32k| 0 | 0 | 0 |2359k| 0 | 2.000000e+00 | 6.200000e+01 |3000.00%
1328.61/1328.63 c 1306s| 2180k|684584 | 0 | 0.0 | 751M| 168 | - | 305 | 27k| 0 | 0 | 0 |2374k| 0 | 2.000000e+00 | 6.200000e+01 |3000.00%
1339.31/1339.30 c 1316s| 2190k|686525 | 0 | 0.0 | 753M| 168 | - | 305 | 24k| 0 | 0 | 0 |2385k| 0 | 2.000000e+00 | 6.200000e+01 |3000.00%
1347.31/1347.34 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1347.31/1347.34 c 1324s| 2200k|690717 | 0 | 0.0 | 756M| 168 | - | 305 | 21k| 0 | 0 | 0 |2394k| 0 | 2.000000e+00 | 6.200000e+01 |3000.00%
1353.81/1353.86 c 1331s| 2210k|695424 | 0 | 0.0 | 758M| 168 | - | 305 | 19k| 0 | 0 | 0 |2402k| 0 | 2.000000e+00 | 6.200000e+01 |3000.00%
1358.91/1358.98 c 1336s| 2220k|700529 | 0 | 0.0 | 760M| 168 | - | 305 | 13k| 0 | 0 | 0 |2410k| 0 | 2.000000e+00 | 6.200000e+01 |3000.00%
1363.32/1363.35 c 1340s| 2230k|705560 | 0 | 0.0 | 763M| 168 | - | 305 | 11k| 0 | 0 | 0 |2418k| 0 | 2.000000e+00 | 6.200000e+01 |3000.00%
1367.52/1367.54 c 1344s| 2240k|710397 | 0 | 0.0 | 767M| 168 | - | 305 | 11k| 0 | 0 | 0 |2427k| 0 | 2.000000e+00 | 6.200000e+01 |3000.00%
1371.81/1371.81 c 1348s| 2250k|714998 | 0 | 0.0 | 771M| 168 | - | 305 | 12k| 0 | 0 | 0 |2437k| 0 | 2.000000e+00 | 6.200000e+01 |3000.00%
1376.62/1376.64 c 1353s| 2260k|718814 | 0 | 0.0 | 776M| 168 | - | 305 | 13k| 0 | 0 | 0 |2448k| 0 | 2.000000e+00 | 6.200000e+01 |3000.00%
1382.12/1382.19 c 1358s| 2270k|721897 | 0 | 0.0 | 779M| 168 | - | 305 | 10k| 0 | 0 | 0 |2460k| 0 | 2.000000e+00 | 6.200000e+01 |3000.00%
1384.12/1384.15 c 1360s| 2280k|729089 | 0 | 0.0 | 781M| 168 | - | 305 |5856 | 0 | 0 | 0 |2466k| 0 | 2.000000e+00 | 6.200000e+01 |3000.00%
1388.22/1388.27 c 1364s| 2290k|731437 | 0 | 0.0 | 786M| 168 | - | 305 |7930 | 0 | 0 | 0 |2477k| 0 | 2.000000e+00 | 6.200000e+01 |3000.00%
1394.82/1394.89 c 1371s| 2300k|731245 | 0 | 0.0 | 788M| 168 | - | 305 | 13k| 0 | 0 | 0 |2491k| 0 | 2.000000e+00 | 6.200000e+01 |3000.00%
1403.91/1403.91 c 1380s| 2310k|731494 | 0 | 0.0 | 793M| 168 | - | 305 | 18k| 0 | 0 | 0 |2505k| 0 | 2.000000e+00 | 6.200000e+01 |3000.00%
1414.41/1414.46 c 1390s| 2320k|732052 | 0 | 0.0 | 797M| 168 | - | 305 | 22k| 0 | 0 | 0 |2518k| 0 | 2.000000e+00 | 6.200000e+01 |3000.00%
1427.22/1427.23 c 1403s| 2330k|731906 | 0 | 0.0 | 800M| 168 | - | 305 | 24k| 0 | 0 | 0 |2532k| 0 | 2.000000e+00 | 6.200000e+01 |3000.00%
1440.92/1440.94 c 1417s| 2340k|731640 | 0 | 0.0 | 803M| 168 | - | 305 | 26k| 0 | 0 | 0 |2546k| 0 | 2.000000e+00 | 6.200000e+01 |3000.00%
1448.01/1448.01 o 51
1448.01/1448.01 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1448.01/1448.01 c *1424s| 2345k|670562 | 0 | 0.0 | 714M| 168 | - | 305 | 27k| 0 | 0 | 0 |2553k| 0 | 2.000000e+00 | 5.100000e+01 |2450.00%
1457.82/1457.84 c 1433s| 2350k|668854 | 0 | 0.0 | 714M| 168 | - | 305 | 23k| 0 | 0 | 0 |2562k| 0 | 2.000000e+00 | 5.100000e+01 |2450.00%
1473.71/1473.76 c 1449s| 2360k|666309 | 0 | 0.0 | 715M| 168 | - | 305 | 22k| 0 | 0 | 0 |2578k| 0 | 2.000000e+00 | 5.100000e+01 |2450.00%
1489.61/1489.66 c 1465s| 2370k|663546 | 0 | 0.0 | 717M| 168 | - | 305 | 23k| 0 | 0 | 0 |2596k| 0 | 2.000000e+00 | 5.100000e+01 |2450.00%
1508.21/1508.20 c 1483s| 2380k|660469 | 0 | 0.0 | 718M| 168 | - | 305 | 24k| 0 | 0 | 0 |2613k| 0 | 2.000000e+00 | 5.100000e+01 |2450.00%
1525.82/1525.88 c 1501s| 2390k|658302 | 0 | 0.0 | 721M| 168 | - | 305 | 26k| 0 | 0 | 0 |2630k| 0 | 2.000000e+00 | 5.100000e+01 |2450.00%
1546.42/1546.48 c 1521s| 2400k|654840 | 0 | 0.0 | 722M| 168 | - | 305 | 28k| 0 | 0 | 0 |2647k| 0 | 2.000000e+00 | 5.100000e+01 |2450.00%
1569.11/1569.13 c 1544s| 2410k|650835 | 0 | 0.0 | 723M| 168 | - | 305 | 29k| 0 | 0 | 0 |2665k| 0 | 2.000000e+00 | 5.100000e+01 |2450.00%
1591.72/1591.75 c 1566s| 2420k|647266 | 0 | 0.0 | 723M| 168 | - | 305 | 30k| 0 | 0 | 0 |2683k| 0 | 2.000000e+00 | 5.100000e+01 |2450.00%
1612.62/1612.61 c 1587s| 2430k|645228 | 0 | 0.0 | 726M| 168 | - | 305 | 31k| 0 | 0 | 0 |2699k| 0 | 2.000000e+00 | 5.100000e+01 |2450.00%
1638.42/1638.44 c 1613s| 2440k|640924 | 0 | 0.0 | 727M| 168 | - | 305 | 33k| 0 | 0 | 0 |2717k| 0 | 2.000000e+00 | 5.100000e+01 |2450.00%
1643.01/1643.03 o 49
1643.01/1643.03 c *1617s| 2442k|635580 | 0 | 0.0 | 719M| 168 | - | 305 | 33k| 0 | 0 | 0 |2721k| 0 | 2.000000e+00 | 4.900000e+01 |2350.00%
1662.42/1662.43 c 1637s| 2450k|631584 | 0 | 0.0 | 717M| 168 | - | 305 | 27k| 0 | 0 | 0 |2735k| 0 | 2.000000e+00 | 4.900000e+01 |2350.00%
1682.12/1682.10 c 1656s| 2460k|627673 | 0 | 0.0 | 716M| 168 | - | 305 | 24k| 0 | 0 | 0 |2753k| 0 | 2.000000e+00 | 4.900000e+01 |2350.00%
1700.52/1700.54 c 1674s| 2470k|624278 | 0 | 0.0 | 718M| 168 | - | 305 | 25k| 0 | 0 | 0 |2770k| 0 | 2.000000e+00 | 4.900000e+01 |2350.00%
1723.12/1723.15 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1723.12/1723.15 c 1697s| 2480k|619221 | 0 | 0.0 | 718M| 168 | - | 305 | 30k| 0 | 0 | 0 |2788k| 0 | 2.000000e+00 | 4.900000e+01 |2350.00%
1746.52/1746.53 o 17
1746.52/1746.53 c *1720s| 2489k|419967 | 0 | 0.0 | 460M| 168 | - | 305 | 32k| 0 | 0 | 0 |2805k| 0 | 2.000000e+00 | 1.700000e+01 | 750.00%
1750.42/1750.44 c 1724s| 2490k|418786 | 0 | 0.0 | 460M| 168 | - | 305 | 25k| 0 | 0 | 0 |2807k| 0 | 2.000000e+00 | 1.700000e+01 | 750.00%
1785.02/1785.05 c 1758s| 2500k|394858 | 0 | 0.0 | 458M| 168 | - | 305 | 20k| 0 | 0 | 0 |2846k| 0 | 2.000000e+00 | 1.700000e+01 | 750.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) : 1773.15
1800.03/1800.00 c Solving Nodes : 2503751
1800.03/1800.00 c Primal Bound : +1.70000000000000e+01 (23 solutions)
1800.03/1800.00 c Dual Bound : +2.00000000000000e+00
1800.03/1800.00 c Gap : 750.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 : 1773.15
1800.03/1800.00 c Original Problem :
1800.03/1800.00 c Problem name : HOME/instance-2693948-1277898200.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-2693948-1277898200.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, 35154 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.00 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 : - 20 - - 40 - - - -
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 6675242 0 1721423 10254 3662686 0 0 0
1800.03/1800.00 c setppc : 20 0 7141827 0 1810355 48678 6338607 0 0 0
1800.03/1800.00 c linear : 68 0 7093211 0 1810372 701949 35020886 0 0 0
1800.03/1800.00 c logicor : 10+ 0 3530839 0 1810336 234127 1789811 0 0 0
1800.03/1800.00 c bounddisjunction : 0+ 0 347768 0 0 21 7914 0 0 0
1800.03/1800.00 c countsols : 0 0 0 0 1810395 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 : 8.58 0.00 6.02 0.00 2.56
1800.03/1800.00 c setppc : 17.91 0.00 13.41 0.00 4.50
1800.03/1800.00 c linear : 156.13 0.00 155.16 0.00 0.97
1800.03/1800.00 c logicor : 745.30 0.00 743.03 0.00 2.27
1800.03/1800.00 c bounddisjunction : 1.26 0.00 1.26 0.00 0.00
1800.03/1800.00 c countsols : 0.36 0.00 0.00 0.00 0.36
1800.03/1800.00 c Propagators : Time Calls Cutoffs DomReds
1800.03/1800.00 c vbounds : 1.73 2 0 0
1800.03/1800.00 c rootredcost : 1.49 0 0 0
1800.03/1800.00 c pseudoobj : 22.75 7157785 5808 3390794
1800.03/1800.00 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.03/1800.00 c propagation : 47.91 990581 990034 5052348 21.9 351215 13.8 -
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.02 125 125 398 14.8 39 16.8 -
1800.03/1800.00 c applied globally : - - - 2812184 16.7 - - -
1800.03/1800.00 c applied locally : - - - 49020 37.1 - - -
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 : 15.24 1810372 0 0 0 0 3620744
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.70 - 23
1800.03/1800.00 c oneopt : 0.83 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.48 0 0
1800.03/1800.00 c trysol : 0.53 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 : 2503751
1800.03/1800.00 c nodes (total) : 2503751
1800.03/1800.00 c nodes left : 385336
1800.03/1800.00 c max depth : 168
1800.03/1800.00 c max depth (total): 168
1800.03/1800.00 c backtracks : 727855 (29.1%)
1800.03/1800.00 c delayed cutoffs : 456002
1800.03/1800.00 c repropagations : 2538189 (12356685 domain reductions, 307606 cutoffs)
1800.03/1800.00 c avg switch length: 22.53
1800.03/1800.00 c switching time : 575.34
1800.03/1800.00 c Solution :
1800.03/1800.00 c Solutions found : 23 (23 improvements)
1800.03/1800.00 c First Solution : +6.66000000000000e+02 (in run 1, after 69217 nodes, 16.78 seconds, depth 118, found by <relaxation>)
1800.03/1800.00 c Primal Bound : +1.70000000000000e+01 (in run 1, after 2489498 nodes, 1719.55 seconds, depth 70, found by <relaxation>)
1800.03/1800.00 c Dual Bound : +2.00000000000000e+00
1800.03/1800.00 c Gap : 750.00 %
1800.03/1800.00 c Root Dual Bound : +0.00000000000000e+00
1800.03/1800.00 c Root Iterations : 0
1801.12/1801.11 c Time complete: 1801.14.