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-2694183-1277909720.wbo>
0.00/0.02 c original problem has 2105 variables (1168 bin, 0 int, 0 impl, 937 cont) and 3645 constraints
0.00/0.02 c problem read
0.00/0.02 c presolving settings loaded
0.00/0.02 c [src/scip/lpi_none.c:41] ERROR: there is no LP solver linked to the binary (LPS=none); you should set the parameter <lp/solvefreq> to <-1> to avoid solving LPs
0.00/0.04 c presolving:
0.00/0.04 c (round 1) 0 del vars, 1 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 1151 impls, 14 clqs
0.06/0.07 c (round 2) 0 del vars, 113 del conss, 937 chg bounds, 49 chg sides, 0 chg coeffs, 0 upgd conss, 1151 impls, 14 clqs
0.06/0.09 c (round 3) 49 del vars, 162 del conss, 937 chg bounds, 49 chg sides, 0 chg coeffs, 1707 upgd conss, 1151 impls, 14 clqs
0.09/0.10 c (round 4) 98 del vars, 162 del conss, 937 chg bounds, 49 chg sides, 0 chg coeffs, 1707 upgd conss, 1151 impls, 14 clqs
0.09/0.14 c (0.1s) probing: 101/1119 (9.0%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.09/0.14 c (0.1s) probing aborted: 100/100 successive totally useless probings
0.09/0.14 c presolving (5 rounds):
0.09/0.14 c 98 deleted vars, 162 deleted constraints, 937 tightened bounds, 0 added holes, 49 changed sides, 0 changed coefficients
0.09/0.14 c 1151 implications, 14 cliques
0.09/0.14 c presolved problem has 2007 variables (1119 bin, 0 int, 0 impl, 888 cont) and 3483 constraints
0.09/0.14 c 888 constraints of type <indicator>
0.09/0.14 c 14 constraints of type <setppc>
0.09/0.14 c 888 constraints of type <linear>
0.09/0.14 c 1693 constraints of type <logicor>
0.09/0.14 c transformed objective value is always integral (scale: 1)
0.09/0.14 c Presolving Time: 0.09
0.09/0.14 c - non default parameters ----------------------------------------------------------------------
0.09/0.14 c # SCIP version 1.2.1.2
0.09/0.14 c
0.09/0.14 c # frequency for displaying node information lines
0.09/0.14 c # [type: int, range: [-1,2147483647], default: 100]
0.09/0.14 c display/freq = 10000
0.09/0.14 c
0.09/0.14 c # maximal time in seconds to run
0.09/0.14 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.14 c limits/time = 1799.98
0.09/0.14 c
0.09/0.14 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.09/0.14 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.14 c limits/memory = 3420
0.09/0.14 c
0.09/0.14 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.09/0.14 c # [type: int, range: [-1,2147483647], default: 1]
0.09/0.14 c lp/solvefreq = -1
0.09/0.14 c
0.09/0.14 c # should presolving try to simplify inequalities
0.09/0.14 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.14 c constraints/linear/simplifyinequalities = TRUE
0.09/0.14 c
0.09/0.14 c # should presolving try to simplify knapsacks
0.09/0.14 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.14 c constraints/knapsack/simplifyinequalities = TRUE
0.09/0.14 c
0.09/0.14 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.09/0.14 c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.14 c separating/rapidlearning/freq = 0
0.09/0.14 c
0.09/0.14 c -----------------------------------------------------------------------------------------------
0.09/0.14 c start solving
0.09/0.14 c
0.09/0.14 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.09/0.14 c 0.1s| 1 | 2 | 0 | - |7684k| 0 | - |2007 |3483 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
0.99/1.01 o 521
0.99/1.01 c * 0.9s| 3831 | 3059 | 0 | 0.0 |9968k|1076 | - |2007 |3993 | 0 | 0 | 0 | 717 | 0 | 0.000000e+00 | 5.210000e+02 | Inf
1.09/1.17 o 399
1.09/1.17 c * 1.0s| 4430 | 3634 | 0 | 0.0 | 10M|1076 | - |2007 |3996 | 0 | 0 | 0 | 732 | 0 | 0.000000e+00 | 3.990000e+02 | Inf
1.09/1.17 o 333
1.09/1.17 c * 1.0s| 4431 | 3625 | 0 | 0.0 | 10M|1076 | - |2007 |3996 | 0 | 0 | 0 | 732 | 0 | 0.000000e+00 | 3.330000e+02 | Inf
2.49/2.59 c 2.3s| 10000 | 8341 | 0 | 0.0 | 14M|1076 | - |2007 |4926 | 0 | 0 | 0 |3619 | 0 | 0.000000e+00 | 3.330000e+02 | Inf
5.59/5.61 c 5.0s| 20000 | 15218 | 0 | 0.0 | 22M|1076 | - |2007 |6576 | 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | 3.330000e+02 | Inf
5.69/5.76 o 305
5.69/5.76 c * 5.2s| 20388 | 15233 | 0 | 0.0 | 22M|1076 | - |2007 |6699 | 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | 3.050000e+02 | Inf
6.00/6.07 o 288
6.00/6.07 c * 5.4s| 21392 | 16149 | 0 | 0.0 | 22M|1076 | - |2007 |6329 | 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | 2.880000e+02 | Inf
6.00/6.07 o 285
6.00/6.07 c * 5.4s| 21393 | 16139 | 0 | 0.0 | 22M|1076 | - |2007 |6329 | 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | 2.850000e+02 | Inf
6.00/6.09 o 243
6.00/6.09 c * 5.5s| 21473 | 16105 | 0 | 0.0 | 22M|1076 | - |2007 |6268 | 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | 2.430000e+02 | Inf
6.09/6.10 o 233
6.09/6.10 c * 5.5s| 21474 | 16075 | 0 | 0.0 | 22M|1076 | - |2007 |6268 | 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | 2.330000e+02 | Inf
6.19/6.29 o 200
6.19/6.29 c * 5.7s| 22082 | 16583 | 0 | 0.0 | 22M|1076 | - |2007 |5892 | 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | 2.000000e+02 | Inf
6.50/6.54 o 121
6.50/6.54 c * 5.9s| 22867 | 16678 | 0 | 0.0 | 22M|1076 | - |2007 |5542 | 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | 1.210000e+02 | Inf
6.50/6.54 o 60
6.50/6.54 c * 5.9s| 22868 | 15684 | 0 | 0.0 | 22M|1076 | - |2007 |5542 | 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | 6.000000e+01 | Inf
6.60/6.61 o 32
6.60/6.61 c * 5.9s| 23095 | 15566 | 0 | 0.0 | 22M|1076 | - |2007 |5441 | 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
6.60/6.61 o 31
6.60/6.61 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
6.60/6.61 c * 5.9s| 23096 | 15505 | 0 | 0.0 | 22M|1076 | - |2007 |5441 | 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
8.39/8.46 c 7.6s| 30000 | 21381 | 0 | 0.0 | 29M|1076 | - |2007 |5653 | 0 | 0 | 0 | 15k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
11.29/11.35 c 10.2s| 40000 | 29297 | 0 | 0.0 | 36M|1076 | - |2007 |7283 | 0 | 0 | 0 | 21k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
14.70/14.75 c 13.3s| 50000 | 36704 | 0 | 0.0 | 43M|1076 | - |2007 |8164 | 0 | 0 | 0 | 29k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
18.29/18.39 c 16.6s| 60000 | 43894 | 0 | 0.0 | 51M|1076 | - |2007 |9600 | 0 | 0 | 0 | 37k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
22.29/22.36 c 20.3s| 70000 | 50663 | 0 | 0.0 | 58M|1076 | - |2007 | 10k| 0 | 0 | 0 | 47k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
26.89/26.94 c 24.7s| 80000 | 56765 | 0 | 0.0 | 65M|1076 | - |2007 | 11k| 0 | 0 | 0 | 58k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
31.99/32.07 c 29.7s| 90000 | 62305 | 0 | 0.0 | 72M|1076 | - |2007 | 11k| 0 | 0 | 0 | 71k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
37.19/37.30 c 34.8s|100000 | 67452 | 0 | 0.0 | 79M|1076 | - |2007 | 10k| 0 | 0 | 0 | 85k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
43.49/43.50 c 40.9s|110000 | 71477 | 0 | 0.0 | 87M|1076 | - |2007 | 13k| 0 | 0 | 0 | 103k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
49.99/50.09 c 47.4s|120000 | 76426 | 0 | 0.0 | 96M|1076 | - |2007 |7429 | 0 | 0 | 0 | 118k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
53.29/53.35 c 50.6s|130000 | 85092 | 0 | 0.0 | 104M|1076 | - |2007 |7627 | 0 | 0 | 0 | 122k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
57.59/57.68 c 54.8s|140000 | 92912 | 0 | 0.0 | 114M|1076 | - |2007 |8636 | 0 | 0 | 0 | 129k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
61.69/61.71 c 58.7s|150000 |100740 | 0 | 0.0 | 123M|1076 | - |2007 | 10k| 0 | 0 | 0 | 136k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
65.29/65.39 c 62.3s|160000 |108946 | 0 | 0.0 | 131M|1076 | - |2007 | 11k| 0 | 0 | 0 | 142k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
69.20/69.24 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
69.20/69.24 c 66.0s|170000 |117207 | 0 | 0.0 | 139M|1076 | - |2007 | 12k| 0 | 0 | 0 | 147k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
73.39/73.44 c 70.1s|180000 |125292 | 0 | 0.0 | 147M|1076 | - |2007 | 15k| 0 | 0 | 0 | 153k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
77.59/77.65 c 74.2s|190000 |133479 | 0 | 0.0 | 154M|1076 | - |2007 | 15k| 0 | 0 | 0 | 159k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
81.69/81.70 c 78.2s|200000 |141364 | 0 | 0.0 | 160M|1076 | - |2007 | 15k| 0 | 0 | 0 | 166k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
86.29/86.39 c 82.8s|210000 |148783 | 0 | 0.0 | 166M|1076 | - |2007 | 11k| 0 | 0 | 0 | 176k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
90.29/90.30 c 86.6s|220000 |156394 | 0 | 0.0 | 172M|1076 | - |2007 | 11k| 0 | 0 | 0 | 183k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
94.79/94.83 c 91.1s|230000 |163274 | 0 | 0.0 | 180M|1076 | - |2007 | 12k| 0 | 0 | 0 | 191k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
99.49/99.56 c 95.7s|240000 |169928 | 0 | 0.0 | 187M|1076 | - |2007 | 14k| 0 | 0 | 0 | 200k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
104.39/104.42 c 100s|250000 |176667 | 0 | 0.0 | 194M|1076 | - |2007 | 14k| 0 | 0 | 0 | 209k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
109.79/109.86 c 106s|260000 |182923 | 0 | 0.0 | 201M|1076 | - |2007 | 15k| 0 | 0 | 0 | 219k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
115.79/115.83 c 112s|270000 |188889 | 0 | 0.0 | 208M|1076 | - |2007 | 16k| 0 | 0 | 0 | 230k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
122.09/122.15 c 118s|280000 |194685 | 0 | 0.0 | 215M|1076 | - |2007 | 17k| 0 | 0 | 0 | 242k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
128.99/129.06 c 125s|290000 |200200 | 0 | 0.0 | 222M|1076 | - |2007 | 17k| 0 | 0 | 0 | 254k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
136.30/136.37 c 132s|300000 |205515 | 0 | 0.0 | 229M|1076 | - |2007 | 18k| 0 | 0 | 0 | 266k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
144.29/144.30 c 140s|310000 |210545 | 0 | 0.0 | 236M|1076 | - |2007 | 19k| 0 | 0 | 0 | 280k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
152.39/152.43 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
152.39/152.43 c 148s|320000 |215525 | 0 | 0.0 | 243M|1076 | - |2007 | 19k| 0 | 0 | 0 | 293k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
160.79/160.83 c 156s|330000 |220427 | 0 | 0.0 | 250M|1076 | - |2007 | 20k| 0 | 0 | 0 | 307k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
169.99/170.07 c 165s|340000 |225043 | 0 | 0.0 | 258M|1076 | - |2007 | 22k| 0 | 0 | 0 | 321k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
180.09/180.17 c 175s|350000 |229483 | 0 | 0.0 | 265M|1076 | - |2007 | 23k| 0 | 0 | 0 | 337k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
191.49/191.58 c 186s|360000 |233591 | 0 | 0.0 | 272M|1076 | - |2007 | 25k| 0 | 0 | 0 | 353k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
203.99/204.01 c 199s|370000 |237531 | 0 | 0.0 | 279M|1076 | - |2007 | 26k| 0 | 0 | 0 | 370k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
217.59/217.69 c 212s|380000 |241149 | 0 | 0.0 | 286M|1076 | - |2007 | 27k| 0 | 0 | 0 | 388k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
232.89/232.90 c 227s|390000 |244561 | 0 | 0.0 | 293M|1076 | - |2007 | 29k| 0 | 0 | 0 | 406k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
248.99/249.01 c 243s|400000 |247917 | 0 | 0.0 | 300M|1076 | - |2007 | 31k| 0 | 0 | 0 | 425k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
265.79/265.87 c 260s|410000 |251114 | 0 | 0.0 | 307M|1076 | - |2007 | 31k| 0 | 0 | 0 | 444k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
283.39/283.45 c 277s|420000 |253671 | 0 | 0.0 | 313M|1076 | - |2007 | 33k| 0 | 0 | 0 | 464k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
300.39/300.43 c 294s|430000 |256265 | 0 | 0.0 | 319M|1076 | - |2007 | 32k| 0 | 0 | 0 | 484k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
317.20/317.29 c 311s|440000 |258941 | 0 | 0.0 | 324M|1076 | - |2007 | 30k| 0 | 0 | 0 | 505k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
334.80/334.83 c 328s|450000 |260889 | 0 | 0.0 | 329M|1076 | - |2007 | 30k| 0 | 0 | 0 | 528k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
352.79/352.85 c 346s|460000 |262434 | 0 | 0.0 | 334M|1076 | - |2007 | 30k| 0 | 0 | 0 | 552k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
372.40/372.46 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
372.40/372.46 c 366s|470000 |263176 | 0 | 0.0 | 339M|1076 | - |2007 | 32k| 0 | 0 | 0 | 578k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
396.49/396.50 c 390s|480000 |261900 | 0 | 0.0 | 343M|1076 | - |2007 | 37k| 0 | 0 | 0 | 609k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
409.39/409.49 c 403s|490000 |267084 | 0 | 0.0 | 342M|1076 | - |2007 | 19k| 0 | 0 | 0 | 622k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
414.20/414.21 o 11
414.20/414.21 c * 407s|499411 |266168 | 0 | 0.0 | 326M|1076 | - |2007 | 11k| 0 | 0 | 0 | 626k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
414.20/414.22 o 10
414.20/414.22 c * 407s|499412 |265905 | 0 | 0.0 | 325M|1076 | - |2007 | 11k| 0 | 0 | 0 | 626k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
414.50/414.52 c 407s|500000 |266388 | 0 | 0.0 | 325M|1076 | - |2007 | 10k| 0 | 0 | 0 | 627k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
419.10/419.17 c 412s|510000 |274628 | 0 | 0.0 | 336M|1076 | - |2007 | 10k| 0 | 0 | 0 | 632k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
423.59/423.65 c 416s|520000 |282751 | 0 | 0.0 | 346M|1076 | - |2007 |9900 | 0 | 0 | 0 | 637k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
427.90/427.96 c 421s|530000 |290845 | 0 | 0.0 | 354M|1076 | - |2007 | 10k| 0 | 0 | 0 | 643k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
432.59/432.65 c 425s|540000 |298681 | 0 | 0.0 | 362M|1076 | - |2007 | 10k| 0 | 0 | 0 | 649k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
437.80/437.87 c 430s|550000 |306169 | 0 | 0.0 | 370M|1076 | - |2007 | 12k| 0 | 0 | 0 | 658k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
443.50/443.55 c 436s|560000 |313531 | 0 | 0.0 | 380M|1076 | - |2007 | 13k| 0 | 0 | 0 | 666k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
450.19/450.24 c 442s|570000 |320501 | 0 | 0.0 | 389M|1076 | - |2007 | 15k| 0 | 0 | 0 | 676k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
457.70/457.71 c 450s|580000 |327167 | 0 | 0.0 | 398M|1076 | - |2007 | 16k| 0 | 0 | 0 | 688k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
465.69/465.76 c 458s|590000 |333528 | 0 | 0.0 | 406M|1076 | - |2007 | 18k| 0 | 0 | 0 | 700k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
475.59/475.65 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
475.59/475.65 c 468s|600000 |339102 | 0 | 0.0 | 414M|1076 | - |2007 | 21k| 0 | 0 | 0 | 715k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
487.10/487.13 c 479s|610000 |344321 | 0 | 0.0 | 422M|1076 | - |2007 | 23k| 0 | 0 | 0 | 731k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
501.60/501.64 c 493s|620000 |348429 | 0 | 0.0 | 430M|1076 | - |2007 | 27k| 0 | 0 | 0 | 750k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
520.60/520.63 c 512s|630000 |351281 | 0 | 0.0 | 437M|1076 | - |2007 | 29k| 0 | 0 | 0 | 771k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
534.10/534.17 c 526s|640000 |356644 | 0 | 0.0 | 446M|1076 | - |2007 | 21k| 0 | 0 | 0 | 783k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
542.10/542.11 c 533s|650000 |363673 | 0 | 0.0 | 460M|1076 | - |2007 | 19k| 0 | 0 | 0 | 792k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
549.29/549.31 c 540s|660000 |370572 | 0 | 0.0 | 475M|1076 | - |2007 | 19k| 0 | 0 | 0 | 801k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
556.10/556.16 c 547s|670000 |377330 | 0 | 0.0 | 483M|1076 | - |2007 | 21k| 0 | 0 | 0 | 811k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
565.59/565.60 c 557s|680000 |382766 | 0 | 0.0 | 491M|1076 | - |2007 | 26k| 0 | 0 | 0 | 825k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
580.70/580.71 c 571s|690000 |386187 | 0 | 0.0 | 500M|1076 | - |2007 | 29k| 0 | 0 | 0 | 844k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
587.31/587.37 c 578s|700000 |393928 | 0 | 0.0 | 511M|1076 | - |2007 | 23k| 0 | 0 | 0 | 851k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
593.29/593.38 c 584s|710000 |401372 | 0 | 0.0 | 517M|1076 | - |2007 | 20k| 0 | 0 | 0 | 859k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
599.00/599.09 c 590s|720000 |408519 | 0 | 0.0 | 525M|1076 | - |2007 | 22k| 0 | 0 | 0 | 869k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
606.30/606.32 c 597s|730000 |414957 | 0 | 0.0 | 532M|1076 | - |2007 | 26k| 0 | 0 | 0 | 880k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
615.80/615.81 c 606s|740000 |420320 | 0 | 0.0 | 540M|1076 | - |2007 | 30k| 0 | 0 | 0 | 894k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
630.40/630.40 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
630.40/630.40 c 620s|750000 |424072 | 0 | 0.0 | 549M|1076 | - |2007 | 33k| 0 | 0 | 0 | 912k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
637.90/637.95 c 628s|760000 |431679 | 0 | 0.0 | 561M|1076 | - |2007 | 29k| 0 | 0 | 0 | 919k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
643.70/643.74 c 634s|770000 |439157 | 0 | 0.0 | 565M|1076 | - |2007 | 20k| 0 | 0 | 0 | 923k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
648.90/648.95 c 639s|780000 |446126 | 0 | 0.0 | 572M|1076 | - |2007 | 21k| 0 | 0 | 0 | 928k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
655.20/655.26 c 645s|790000 |452173 | 0 | 0.0 | 579M|1076 | - |2007 | 22k| 0 | 0 | 0 | 934k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
662.60/662.67 c 652s|800000 |457370 | 0 | 0.0 | 585M|1076 | - |2007 | 22k| 0 | 0 | 0 | 942k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
669.10/669.14 c 658s|810000 |463327 | 0 | 0.0 | 590M|1076 | - |2007 | 21k| 0 | 0 | 0 | 949k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
674.80/674.84 c 664s|820000 |469859 | 0 | 0.0 | 596M|1076 | - |2007 | 21k| 0 | 0 | 0 | 954k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
680.70/680.73 c 670s|830000 |476237 | 0 | 0.0 | 603M|1076 | - |2007 | 22k| 0 | 0 | 0 | 960k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
687.10/687.17 c 676s|840000 |482230 | 0 | 0.0 | 609M|1076 | - |2007 | 23k| 0 | 0 | 0 | 966k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
695.80/695.81 c 685s|850000 |486608 | 0 | 0.0 | 616M|1076 | - |2007 | 26k| 0 | 0 | 0 | 975k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
704.10/704.18 c 693s|860000 |491318 | 0 | 0.0 | 619M|1076 | - |2007 | 21k| 0 | 0 | 0 | 984k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
709.00/709.03 c 698s|870000 |498687 | 0 | 0.0 | 626M|1076 | - |2007 | 21k| 0 | 0 | 0 | 988k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
714.40/714.44 c 703s|880000 |505524 | 0 | 0.0 | 632M|1076 | - |2007 | 22k| 0 | 0 | 0 | 993k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
718.10/718.11 o 9
718.10/718.11 c * 707s|885738 |508843 | 0 | 0.0 | 636M|1076 | - |2007 | 23k| 0 | 0 | 0 | 997k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
721.20/721.25 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
721.20/721.25 c 710s|890000 |511167 | 0 | 0.0 | 639M|1076 | - |2007 | 24k| 0 | 0 | 0 |1000k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
730.70/730.78 c 719s|900000 |514899 | 0 | 0.0 | 645M|1076 | - |2007 | 27k| 0 | 0 | 0 |1010k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
736.40/736.50 c 725s|910000 |521895 | 0 | 0.0 | 649M|1076 | - |2007 | 21k| 0 | 0 | 0 |1015k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
741.20/741.20 c 729s|920000 |529281 | 0 | 0.0 | 656M|1076 | - |2007 | 22k| 0 | 0 | 0 |1019k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
746.10/746.19 c 734s|930000 |536328 | 0 | 0.0 | 662M|1076 | - |2007 | 23k| 0 | 0 | 0 |1024k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
751.60/751.69 c 739s|940000 |542920 | 0 | 0.0 | 669M|1076 | - |2007 | 24k| 0 | 0 | 0 |1029k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
759.40/759.43 c 747s|950000 |547941 | 0 | 0.0 | 676M|1076 | - |2007 | 27k| 0 | 0 | 0 |1037k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
769.00/769.04 c 757s|960000 |552350 | 0 | 0.0 | 681M|1076 | - |2007 | 24k| 0 | 0 | 0 |1047k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
773.90/773.99 c 761s|970000 |559743 | 0 | 0.0 | 687M|1076 | - |2007 | 22k| 0 | 0 | 0 |1051k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
779.30/779.36 c 767s|980000 |566498 | 0 | 0.0 | 693M|1076 | - |2007 | 23k| 0 | 0 | 0 |1056k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
785.20/785.22 c 772s|990000 |572895 | 0 | 0.0 | 700M|1076 | - |2007 | 24k| 0 | 0 | 0 |1062k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
791.90/792.00 c 779s| 1000k|578422 | 0 | 0.0 | 706M|1076 | - |2007 | 25k| 0 | 0 | 0 |1069k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
800.10/800.12 c 787s| 1010k|582936 | 0 | 0.0 | 712M|1076 | - |2007 | 27k| 0 | 0 | 0 |1078k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
811.30/811.34 c 798s| 1020k|585381 | 0 | 0.0 | 718M|1076 | - |2007 | 30k| 0 | 0 | 0 |1091k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
818.10/818.14 c 805s| 1030k|591705 | 0 | 0.0 | 717M|1076 | - |2007 | 14k| 0 | 0 | 0 |1097k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
822.50/822.57 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
822.50/822.57 c 809s| 1040k|598879 | 0 | 0.0 | 723M|1076 | - |2007 | 13k| 0 | 0 | 0 |1102k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
826.01/826.04 c 813s| 1050k|607111 | 0 | 0.0 | 730M|1076 | - |2007 | 13k| 0 | 0 | 0 |1105k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
829.90/829.93 c 816s| 1060k|614726 | 0 | 0.0 | 736M|1076 | - |2007 | 14k| 0 | 0 | 0 |1109k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
835.80/835.85 c 822s| 1070k|620330 | 0 | 0.0 | 743M|1076 | - |2007 | 18k| 0 | 0 | 0 |1117k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
839.91/839.99 c 826s| 1080k|627957 | 0 | 0.0 | 749M|1076 | - |2007 | 15k| 0 | 0 | 0 |1121k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
844.30/844.31 c 830s| 1090k|635180 | 0 | 0.0 | 755M|1076 | - |2007 | 14k| 0 | 0 | 0 |1126k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
848.60/848.66 c 835s| 1100k|642469 | 0 | 0.0 | 760M|1076 | - |2007 | 12k| 0 | 0 | 0 |1131k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
852.51/852.57 c 838s| 1110k|650125 | 0 | 0.0 | 766M|1076 | - |2007 | 12k| 0 | 0 | 0 |1135k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
860.10/860.11 c 846s| 1120k|654167 | 0 | 0.0 | 773M|1076 | - |2007 | 15k| 0 | 0 | 0 |1144k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
869.01/869.04 c 855s| 1130k|657546 | 0 | 0.0 | 779M|1076 | - |2007 | 17k| 0 | 0 | 0 |1155k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
878.50/878.56 c 864s| 1140k|660779 | 0 | 0.0 | 786M|1076 | - |2007 | 17k| 0 | 0 | 0 |1165k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
888.70/888.74 c 874s| 1150k|663930 | 0 | 0.0 | 792M|1076 | - |2007 | 18k| 0 | 0 | 0 |1176k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
899.30/899.36 c 885s| 1160k|666855 | 0 | 0.0 | 798M|1076 | - |2007 | 19k| 0 | 0 | 0 |1187k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
910.50/910.58 c 896s| 1170k|669559 | 0 | 0.0 | 805M|1076 | - |2007 | 21k| 0 | 0 | 0 |1199k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
922.81/922.83 c 908s| 1180k|671912 | 0 | 0.0 | 811M|1076 | - |2007 | 22k| 0 | 0 | 0 |1211k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
935.90/935.93 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
935.90/935.93 c 921s| 1190k|674137 | 0 | 0.0 | 817M|1076 | - |2007 | 23k| 0 | 0 | 0 |1223k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
948.40/948.43 c 933s| 1200k|677046 | 0 | 0.0 | 822M|1076 | - |2007 | 22k| 0 | 0 | 0 |1234k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
961.70/961.71 c 946s| 1210k|679165 | 0 | 0.0 | 828M|1076 | - |2007 | 24k| 0 | 0 | 0 |1247k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
975.80/975.84 c 960s| 1220k|681134 | 0 | 0.0 | 833M|1076 | - |2007 | 24k| 0 | 0 | 0 |1260k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
989.50/989.53 c 974s| 1230k|683555 | 0 | 0.0 | 839M|1076 | - |2007 | 25k| 0 | 0 | 0 |1272k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
1004.50/1004.50 c 989s| 1240k|685189 | 0 | 0.0 | 843M|1076 | - |2007 | 25k| 0 | 0 | 0 |1286k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
1018.61/1018.61 c 1003s| 1250k|687757 | 0 | 0.0 | 849M|1076 | - |2007 | 24k| 0 | 0 | 0 |1298k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
1034.41/1034.49 c 1018s| 1260k|688931 | 0 | 0.0 | 854M|1076 | - |2007 | 27k| 0 | 0 | 0 |1312k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
1049.61/1049.69 c 1033s| 1270k|691108 | 0 | 0.0 | 858M|1076 | - |2007 | 25k| 0 | 0 | 0 |1325k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
1066.71/1066.74 c 1050s| 1280k|692157 | 0 | 0.0 | 863M|1076 | - |2007 | 28k| 0 | 0 | 0 |1340k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
1083.91/1083.97 c 1067s| 1290k|693383 | 0 | 0.0 | 867M|1076 | - |2007 | 27k| 0 | 0 | 0 |1355k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
1100.81/1100.89 c 1084s| 1300k|694633 | 0 | 0.0 | 872M|1076 | - |2007 | 28k| 0 | 0 | 0 |1369k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
1119.91/1119.94 c 1103s| 1310k|695070 | 0 | 0.0 | 876M|1076 | - |2007 | 29k| 0 | 0 | 0 |1385k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
1137.80/1137.80 c 1121s| 1320k|696405 | 0 | 0.0 | 882M|1076 | - |2007 | 31k| 0 | 0 | 0 |1400k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
1159.01/1159.09 c 1142s| 1330k|696147 | 0 | 0.0 | 884M|1076 | - |2007 | 30k| 0 | 0 | 0 |1416k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
1177.40/1177.43 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1177.40/1177.43 c 1160s| 1340k|697623 | 0 | 0.0 | 890M|1076 | - |2007 | 30k| 0 | 0 | 0 |1431k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
1199.11/1199.19 c 1182s| 1350k|697100 | 0 | 0.0 | 892M|1076 | - |2007 | 31k| 0 | 0 | 0 |1448k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
1219.82/1219.82 c 1202s| 1360k|697829 | 0 | 0.0 | 896M|1076 | - |2007 | 31k| 0 | 0 | 0 |1464k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
1242.41/1242.42 c 1225s| 1370k|697556 | 0 | 0.0 | 901M|1076 | - |2007 | 34k| 0 | 0 | 0 |1481k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
1266.01/1266.04 c 1248s| 1380k|696987 | 0 | 0.0 | 904M|1076 | - |2007 | 33k| 0 | 0 | 0 |1499k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
1287.60/1287.61 c 1270s| 1390k|697650 | 0 | 0.0 | 910M|1076 | - |2007 | 35k| 0 | 0 | 0 |1515k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
1312.91/1312.92 c 1295s| 1400k|696513 | 0 | 0.0 | 911M|1076 | - |2007 | 36k| 0 | 0 | 0 |1534k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
1337.01/1337.02 c 1319s| 1410k|696170 | 0 | 0.0 | 914M|1076 | - |2007 | 36k| 0 | 0 | 0 |1551k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
1361.91/1361.96 c 1344s| 1420k|696072 | 0 | 0.0 | 919M|1076 | - |2007 | 37k| 0 | 0 | 0 |1569k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
1389.71/1389.70 c 1371s| 1430k|694615 | 0 | 0.0 | 921M|1076 | - |2007 | 39k| 0 | 0 | 0 |1589k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
1417.61/1417.67 c 1399s| 1440k|693313 | 0 | 0.0 | 921M|1076 | - |2007 | 38k| 0 | 0 | 0 |1608k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
1443.71/1443.75 c 1425s| 1450k|692607 | 0 | 0.0 | 923M|1076 | - |2007 | 37k| 0 | 0 | 0 |1626k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
1470.41/1470.40 c 1451s| 1460k|691480 | 0 | 0.0 | 923M|1076 | - |2007 | 34k| 0 | 0 | 0 |1646k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
1496.91/1496.93 c 1478s| 1470k|689602 | 0 | 0.0 | 924M|1076 | - |2007 | 34k| 0 | 0 | 0 |1666k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
1523.01/1523.06 c 1504s| 1480k|687716 | 0 | 0.0 | 925M|1076 | - |2007 | 34k| 0 | 0 | 0 |1687k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
1550.72/1550.76 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1550.72/1550.76 c 1531s| 1490k|684872 | 0 | 0.0 | 923M|1076 | - |2007 | 35k| 0 | 0 | 0 |1709k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
1581.41/1581.48 c 1562s| 1500k|681632 | 0 | 0.0 | 923M|1076 | - |2007 | 38k| 0 | 0 | 0 |1731k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
1615.92/1615.94 c 1596s| 1510k|677307 | 0 | 0.0 | 918M|1076 | - |2007 | 42k| 0 | 0 | 0 |1755k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
1633.11/1633.18 c 1613s| 1520k|680279 | 0 | 0.0 | 908M|1076 | - |2007 | 15k| 0 | 0 | 0 |1766k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
1637.92/1637.98 c 1618s| 1530k|687527 | 0 | 0.0 | 912M|1076 | - |2007 |7754 | 0 | 0 | 0 |1770k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
1642.02/1642.08 c 1622s| 1540k|694712 | 0 | 0.0 | 917M|1076 | - |2007 |5939 | 0 | 0 | 0 |1774k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
1645.82/1645.83 c 1625s| 1550k|702089 | 0 | 0.0 | 924M|1076 | - |2007 |5993 | 0 | 0 | 0 |1779k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
1649.71/1649.74 c 1629s| 1560k|709234 | 0 | 0.0 | 930M|1076 | - |2007 |5830 | 0 | 0 | 0 |1783k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
1653.92/1653.99 c 1633s| 1570k|716053 | 0 | 0.0 | 937M|1076 | - |2007 |6010 | 0 | 0 | 0 |1788k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
1658.11/1658.18 c 1637s| 1580k|722904 | 0 | 0.0 | 943M|1076 | - |2007 |6140 | 0 | 0 | 0 |1793k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
1662.52/1662.53 c 1642s| 1590k|729540 | 0 | 0.0 | 950M|1076 | - |2007 |6711 | 0 | 0 | 0 |1798k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
1666.81/1666.81 c 1646s| 1600k|736368 | 0 | 0.0 | 956M|1076 | - |2007 |6453 | 0 | 0 | 0 |1803k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
1671.02/1671.08 c 1650s| 1610k|743085 | 0 | 0.0 | 963M|1076 | - |2007 |6975 | 0 | 0 | 0 |1808k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
1675.32/1675.36 c 1654s| 1620k|749836 | 0 | 0.0 | 969M|1076 | - |2007 |6728 | 0 | 0 | 0 |1813k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
1679.52/1679.58 c 1658s| 1630k|756594 | 0 | 0.0 | 976M|1076 | - |2007 |7299 | 0 | 0 | 0 |1819k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
1683.91/1683.96 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1683.91/1683.96 c 1663s| 1640k|763357 | 0 | 0.0 | 982M|1076 | - |2007 |6861 | 0 | 0 | 0 |1824k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
1688.42/1688.44 c 1667s| 1650k|769807 | 0 | 0.0 | 988M|1076 | - |2007 |7520 | 0 | 0 | 0 |1829k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
1692.51/1692.58 c 1671s| 1660k|776708 | 0 | 0.0 | 994M|1076 | - |2007 |7763 | 0 | 0 | 0 |1834k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
1697.42/1697.43 c 1676s| 1670k|782901 | 0 | 0.0 |1000M|1076 | - |2007 |7600 | 0 | 0 | 0 |1840k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
1701.62/1701.68 c 1680s| 1680k|789684 | 0 | 0.0 |1007M|1076 | - |2007 |8028 | 0 | 0 | 0 |1845k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
1706.41/1706.42 c 1684s| 1690k|796179 | 0 | 0.0 |1013M|1076 | - |2007 |7297 | 0 | 0 | 0 |1850k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
1711.22/1711.26 c 1689s| 1700k|802326 | 0 | 0.0 |1019M|1076 | - |2007 |7837 | 0 | 0 | 0 |1856k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
1715.71/1715.73 c 1694s| 1710k|808918 | 0 | 0.0 |1025M|1076 | - |2007 |8428 | 0 | 0 | 0 |1861k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
1720.71/1720.72 c 1698s| 1720k|815039 | 0 | 0.0 |1031M|1076 | - |2007 |8201 | 0 | 0 | 0 |1867k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
1725.32/1725.36 c 1703s| 1730k|821491 | 0 | 0.0 |1037M|1076 | - |2007 |8323 | 0 | 0 | 0 |1873k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
1730.02/1730.02 c 1708s| 1740k|827879 | 0 | 0.0 |1043M|1076 | - |2007 |8890 | 0 | 0 | 0 |1879k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
1735.22/1735.24 c 1713s| 1750k|833797 | 0 | 0.0 |1050M|1076 | - |2007 |8627 | 0 | 0 | 0 |1885k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
1740.22/1740.28 c 1718s| 1760k|839944 | 0 | 0.0 |1056M|1076 | - |2007 |9143 | 0 | 0 | 0 |1891k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
1745.42/1745.44 c 1723s| 1770k|846051 | 0 | 0.0 |1062M|1076 | - |2007 |9975 | 0 | 0 | 0 |1898k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
1751.22/1751.29 c 1728s| 1780k|851585 | 0 | 0.0 |1069M|1076 | - |2007 |9533 | 0 | 0 | 0 |1904k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
1756.32/1756.30 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1756.32/1756.30 c 1733s| 1790k|857854 | 0 | 0.0 |1075M|1076 | - |2007 |9875 | 0 | 0 | 0 |1910k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
1761.52/1761.59 c 1738s| 1800k|863872 | 0 | 0.0 |1081M|1076 | - |2007 | 10k| 0 | 0 | 0 |1917k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
1767.72/1767.78 c 1744s| 1810k|869137 | 0 | 0.0 |1087M|1076 | - |2007 | 10k| 0 | 0 | 0 |1924k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
1773.02/1773.04 c 1750s| 1820k|875148 | 0 | 0.0 |1093M|1076 | - |2007 | 10k| 0 | 0 | 0 |1931k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
1778.82/1778.85 c 1755s| 1830k|880835 | 0 | 0.0 |1099M|1076 | - |2007 | 10k| 0 | 0 | 0 |1938k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
1785.22/1785.24 c 1761s| 1840k|885890 | 0 | 0.0 |1106M|1076 | - |2007 | 10k| 0 | 0 | 0 |1946k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
1791.12/1791.16 c 1767s| 1850k|891337 | 0 | 0.0 |1112M|1076 | - |2007 | 11k| 0 | 0 | 0 |1953k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
1793.92/1793.90 o 7
1793.92/1793.90 c *1770s| 1854k|888815 | 0 | 0.0 |1105M|1076 | - |2007 | 11k| 0 | 0 | 0 |1956k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1797.72/1797.71 c 1774s| 1860k|891794 | 0 | 0.0 |1109M|1076 | - |2007 | 11k| 0 | 0 | 0 |1960k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1800.02/1800.00 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.02/1800.00 c
1800.02/1800.00 c SCIP Status : solving was interrupted [user interrupt]
1800.02/1800.00 c Solving Time (sec) : 1775.87
1800.02/1800.00 c Solving Nodes : 1862625
1800.02/1800.00 c Primal Bound : +7.00000000000000e+00 (17 solutions)
1800.02/1800.00 c Dual Bound : +0.00000000000000e+00
1800.02/1800.00 c Gap : infinite
1800.02/1800.02 s SATISFIABLE
1800.02/1800.02 v x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216 -x215 x214 -x213 -x212 -x211 -x210
1800.02/1800.02 v -x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 x201 -x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 x189
1800.02/1800.02 v -x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178 -x177 -x176 -x175 -x174 -x173 x172 -x171 -x170 -x169 -x168
1800.02/1800.02 v -x167 -x166 x165 -x164 -x163 -x162 -x161 -x160 -x159 x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147
1800.02/1800.02 v x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 x127 -x126 -x125
1800.02/1800.02 v -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105 -x104
1800.02/1800.02 v x103 -x102 -x101 -x100 -x99 -x98 -x97 x96 -x95 -x94 -x93 -x92 -x91 -x90 -x89 x88 -x87 -x86 -x85 -x84 -x83 -x82 -x81 -x80
1800.02/1800.02 v -x79 -x78 -x77 x76 -x75 -x74 -x73 -x72 -x71 -x70 -x69 -x68 -x67 -x66 -x65 -x64 -x63 -x62 -x61 -x60 -x59 x58 -x57 -x56 -x55 -x54
1800.02/1800.02 v -x53 -x52 -x51 x50 -x49 -x48 -x47 -x46 -x45 -x44 -x43 -x42 -x41 -x40 -x39 -x38 -x37 -x36 -x35 x34 -x33 -x32 -x31 -x30 x29
1800.02/1800.02 v -x28 -x27 -x26 -x25 -x24 -x23 -x22 -x21 -x20 -x19 x18 -x17 -x16 -x15 -x14 -x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 x3 -x2
1800.02/1800.02 v -x1
1800.02/1800.02 c SCIP Status : solving was interrupted [user interrupt]
1800.02/1800.02 c Solving Time : 1775.87
1800.02/1800.02 c Original Problem :
1800.02/1800.02 c Problem name : HOME/instance-2694183-1277909720.wbo
1800.02/1800.02 c Variables : 2105 (1168 binary, 0 integer, 0 implicit integer, 937 continuous)
1800.02/1800.02 c Constraints : 3645 initial, 3645 maximal
1800.02/1800.02 c Presolved Problem :
1800.02/1800.02 c Problem name : t_HOME/instance-2694183-1277909720.wbo
1800.02/1800.02 c Variables : 2007 (1119 binary, 0 integer, 0 implicit integer, 888 continuous)
1800.02/1800.02 c Constraints : 3483 initial, 44595 maximal
1800.02/1800.02 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.02/1800.02 c trivial : 0.00 49 0 0 0 0 0 0 0
1800.02/1800.02 c dualfix : 0.00 49 0 0 0 0 0 0 0
1800.02/1800.02 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.02 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.02 c implics : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.02 c probing : 0.03 0 0 0 0 0 0 0 0
1800.02/1800.02 c indicator : 0.00 0 0 0 0 0 49 0 0
1800.02/1800.02 c setppc : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.02 c linear : 0.03 0 0 0 937 0 113 49 0
1800.02/1800.02 c logicor : 0.02 0 0 0 0 0 0 0 0
1800.02/1800.02 c bounddisjunction : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.02 c root node : - 811 - - 1622 - - - -
1800.02/1800.02 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.02/1800.02 c integral : 0 0 0 0 0 0 0 0 0 0
1800.02/1800.02 c indicator : 888 0 2959326 0 937474 54 1118589 0 0 0
1800.02/1800.02 c setppc : 14 0 5929284 0 1515369 123197 3479552 0 0 0
1800.02/1800.02 c linear : 888 0 5807347 0 1516061 194788 23694482 0 0 0
1800.02/1800.02 c logicor : 1693+ 0 4384044 0 1516068 223346 10686398 0 0 0
1800.02/1800.02 c bounddisjunction : 0+ 0 597771 0 0 151 1615 0 0 0
1800.02/1800.02 c countsols : 0 0 0 0 1516068 0 0 0 0 0
1800.02/1800.02 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.02/1800.02 c integral : 0.00 0.00 0.00 0.00 0.00
1800.02/1800.02 c indicator : 7.80 0.00 4.13 0.00 3.67
1800.02/1800.02 c setppc : 28.75 0.00 25.64 0.00 3.11
1800.02/1800.02 c linear : 154.35 0.00 152.45 0.00 1.90
1800.02/1800.02 c logicor : 694.51 0.00 619.66 0.00 74.85
1800.02/1800.02 c bounddisjunction : 11.21 0.00 11.21 0.00 0.00
1800.02/1800.02 c countsols : 0.22 0.00 0.00 0.00 0.22
1800.02/1800.02 c Propagators : Time Calls Cutoffs DomReds
1800.02/1800.02 c vbounds : 1.42 2 0 0
1800.02/1800.02 c rootredcost : 1.27 0 0 0
1800.02/1800.02 c pseudoobj : 107.75 5931001 574 1108701
1800.02/1800.02 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.02/1800.02 c propagation : 30.64 542056 541922 2799883 24.3 273772 9.1 -
1800.02/1800.02 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.02/1800.02 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.02/1800.02 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.02/1800.02 c pseudo solution : 0.00 15 15 58 22.1 22 9.1 -
1800.02/1800.02 c applied globally : - - - 1963195 20.2 - - -
1800.02/1800.02 c applied locally : - - - 6 117.8 - - -
1800.02/1800.02 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.02/1800.02 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.02/1800.02 c redcost : 0.00 0 0 0 0 0
1800.02/1800.02 c impliedbounds : 0.00 0 0 0 0 0
1800.02/1800.02 c intobj : 0.00 0 0 0 0 0
1800.02/1800.02 c cgmip : 0.00 0 0 0 0 0
1800.02/1800.02 c gomory : 0.00 0 0 0 0 0
1800.02/1800.02 c strongcg : 0.00 0 0 0 0 0
1800.02/1800.02 c cmir : 0.00 0 0 0 0 0
1800.02/1800.02 c flowcover : 0.00 0 0 0 0 0
1800.02/1800.02 c clique : 0.00 0 0 0 0 0
1800.02/1800.02 c zerohalf : 0.00 0 0 0 0 0
1800.02/1800.02 c mcf : 0.00 0 0 0 0 0
1800.02/1800.02 c rapidlearning : 0.00 0 0 0 0 0
1800.02/1800.02 c Pricers : Time Calls Vars
1800.02/1800.02 c problem variables: 0.00 0 0
1800.02/1800.02 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.02/1800.02 c relpscost : 0.00 0 0 0 0 0 0
1800.02/1800.02 c pscost : 0.00 0 0 0 0 0 0
1800.02/1800.02 c inference : 24.67 1516051 0 0 0 0 3032102
1800.02/1800.02 c mostinf : 0.00 0 0 0 0 0 0
1800.02/1800.02 c leastinf : 0.00 0 0 0 0 0 0
1800.02/1800.02 c fullstrong : 0.00 0 0 0 0 0 0
1800.02/1800.02 c allfullstrong : 0.00 0 0 0 0 0 0
1800.02/1800.02 c random : 0.00 0 0 0 0 0 0
1800.02/1800.02 c Primal Heuristics : Time Calls Found
1800.02/1800.02 c LP solutions : 0.00 - 0
1800.02/1800.02 c pseudo solutions : 0.05 - 17
1800.02/1800.02 c oneopt : 0.83 0 0
1800.02/1800.02 c trivial : 0.01 2 0
1800.02/1800.02 c simplerounding : 0.00 0 0
1800.02/1800.02 c zirounding : 0.00 0 0
1800.02/1800.02 c rounding : 0.00 0 0
1800.02/1800.02 c shifting : 0.00 0 0
1800.02/1800.02 c intshifting : 0.00 0 0
1800.02/1800.02 c twoopt : 0.00 0 0
1800.02/1800.02 c fixandinfer : 0.00 0 0
1800.02/1800.02 c feaspump : 0.00 0 0
1800.02/1800.02 c coefdiving : 0.00 0 0
1800.02/1800.02 c pscostdiving : 0.00 0 0
1800.02/1800.02 c fracdiving : 0.00 0 0
1800.02/1800.02 c veclendiving : 0.00 0 0
1800.02/1800.02 c intdiving : 0.00 0 0
1800.02/1800.02 c actconsdiving : 0.00 0 0
1800.02/1800.02 c objpscostdiving : 0.00 0 0
1800.02/1800.02 c rootsoldiving : 0.00 0 0
1800.02/1800.02 c linesearchdiving : 0.00 0 0
1800.02/1800.02 c guideddiving : 0.00 0 0
1800.02/1800.02 c octane : 0.00 0 0
1800.02/1800.02 c rens : 0.00 0 0
1800.02/1800.02 c rins : 0.00 0 0
1800.02/1800.02 c localbranching : 0.00 0 0
1800.02/1800.02 c mutation : 0.00 0 0
1800.02/1800.02 c crossover : 0.00 0 0
1800.02/1800.02 c dins : 0.00 0 0
1800.02/1800.02 c undercover : 0.00 0 0
1800.02/1800.02 c nlp : 0.40 0 0
1800.02/1800.02 c trysol : 0.40 1 0
1800.02/1800.02 c LP : Time Calls Iterations Iter/call Iter/sec
1800.02/1800.02 c primal LP : 0.00 0 0 0.00 -
1800.02/1800.02 c dual LP : 0.00 0 0 0.00 -
1800.02/1800.02 c lex dual LP : 0.00 0 0 0.00 -
1800.02/1800.02 c barrier LP : 0.00 0 0 0.00 -
1800.02/1800.02 c diving/probing LP: 0.00 0 0 0.00 -
1800.02/1800.02 c strong branching : 0.00 0 0 0.00 -
1800.02/1800.02 c (at root node) : - 0 0 0.00 -
1800.02/1800.02 c conflict analysis: 0.00 0 0 0.00 -
1800.02/1800.02 c B&B Tree :
1800.02/1800.02 c number of runs : 1
1800.02/1800.02 c nodes : 1862625
1800.02/1800.02 c nodes (total) : 1862625
1800.02/1800.02 c nodes left : 892749
1800.02/1800.02 c max depth : 1076
1800.02/1800.02 c max depth (total): 1076
1800.02/1800.02 c backtracks : 352482 (18.9%)
1800.02/1800.02 c delayed cutoffs : 259127
1800.02/1800.02 c repropagations : 1271872 (11391726 domain reductions, 195568 cutoffs)
1800.02/1800.02 c avg switch length: 19.71
1800.02/1800.02 c switching time : 560.09
1800.02/1800.02 c Solution :
1800.02/1800.02 c Solutions found : 17 (17 improvements)
1800.02/1800.02 c First Solution : +5.21000000000000e+02 (in run 1, after 3831 nodes, 0.87 seconds, depth 196, found by <relaxation>)
1800.02/1800.02 c Primal Bound : +7.00000000000000e+00 (in run 1, after 1854529 nodes, 1769.89 seconds, depth 73, found by <relaxation>)
1800.02/1800.02 c Dual Bound : +0.00000000000000e+00
1800.02/1800.02 c Gap : infinite
1800.02/1800.02 c Root Dual Bound : +0.00000000000000e+00
1800.02/1800.02 c Root Iterations : 0
1801.91/1801.98 c Time complete: 1802.