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-2693573-1277911332.wbo>
0.00/0.03 c original problem has 3909 variables (2070 bin, 0 int, 0 impl, 1839 cont) and 4547 constraints
0.00/0.03 c problem read
0.00/0.03 c presolving settings loaded
0.00/0.03 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.05 c presolving:
0.00/0.05 c (round 1) 0 del vars, 1 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 1965 impls, 9 clqs
0.00/0.09 c (round 2) 0 del vars, 61 del conss, 1839 chg bounds, 47 chg sides, 0 chg coeffs, 0 upgd conss, 1965 impls, 9 clqs
0.09/0.10 c (round 3) 47 del vars, 152 del conss, 1861 chg bounds, 91 chg sides, 0 chg coeffs, 0 upgd conss, 1965 impls, 9 clqs
0.09/0.11 c (round 4) 116 del vars, 174 del conss, 1861 chg bounds, 91 chg sides, 0 chg coeffs, 833 upgd conss, 1965 impls, 9 clqs
0.09/0.12 c (round 5) 138 del vars, 174 del conss, 1861 chg bounds, 91 chg sides, 0 chg coeffs, 833 upgd conss, 1965 impls, 9 clqs
0.09/0.17 c (0.1s) probing: 101/2001 (5.0%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.09/0.17 c (0.1s) probing aborted: 100/100 successive totally useless probings
0.09/0.17 c presolving (6 rounds):
0.09/0.17 c 138 deleted vars, 174 deleted constraints, 1861 tightened bounds, 0 added holes, 91 changed sides, 0 changed coefficients
0.09/0.17 c 1965 implications, 9 cliques
0.09/0.17 c presolved problem has 3771 variables (2001 bin, 0 int, 0 impl, 1770 cont) and 4373 constraints
0.09/0.17 c 1770 constraints of type <indicator>
0.09/0.17 c 9 constraints of type <setppc>
0.09/0.17 c 1770 constraints of type <linear>
0.09/0.17 c 824 constraints of type <logicor>
0.09/0.17 c transformed objective value is always integral (scale: 1)
0.09/0.17 c Presolving Time: 0.11
0.09/0.17 c - non default parameters ----------------------------------------------------------------------
0.09/0.17 c # SCIP version 1.2.1.2
0.09/0.17 c
0.09/0.17 c # frequency for displaying node information lines
0.09/0.17 c # [type: int, range: [-1,2147483647], default: 100]
0.09/0.17 c display/freq = 10000
0.09/0.17 c
0.09/0.17 c # maximal time in seconds to run
0.09/0.17 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.17 c limits/time = 1799.98
0.09/0.17 c
0.09/0.17 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.09/0.17 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.17 c limits/memory = 3420
0.09/0.17 c
0.09/0.17 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.09/0.17 c # [type: int, range: [-1,2147483647], default: 1]
0.09/0.17 c lp/solvefreq = -1
0.09/0.17 c
0.09/0.17 c # should presolving try to simplify inequalities
0.09/0.17 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.17 c constraints/linear/simplifyinequalities = TRUE
0.09/0.17 c
0.09/0.17 c # should presolving try to simplify knapsacks
0.09/0.17 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.17 c constraints/knapsack/simplifyinequalities = TRUE
0.09/0.17 c
0.09/0.17 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.09/0.17 c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.17 c separating/rapidlearning/freq = 0
0.09/0.17 c
0.09/0.17 c -----------------------------------------------------------------------------------------------
0.09/0.17 c start solving
0.09/0.17 c
0.09/0.18 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.18 c 0.1s| 1 | 2 | 0 | - | 12M| 0 | - |3771 |4373 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1.49/1.53 o 919
1.49/1.53 c * 1.4s| 5343 | 4777 | 0 | 0.0 | 16M|1926 | - |3771 |5118 | 0 | 0 | 0 |1194 | 0 | 0.000000e+00 | 9.190000e+02 | Inf
1.59/1.61 o 878
1.59/1.61 c * 1.4s| 5549 | 4866 | 0 | 0.0 | 16M|1926 | - |3771 |5117 | 0 | 0 | 0 |1204 | 0 | 0.000000e+00 | 8.780000e+02 | Inf
1.59/1.62 o 872
1.59/1.62 c * 1.4s| 5550 | 4853 | 0 | 0.0 | 17M|1926 | - |3771 |5117 | 0 | 0 | 0 |1204 | 0 | 0.000000e+00 | 8.720000e+02 | Inf
1.59/1.69 o 743
1.59/1.69 c * 1.5s| 5741 | 5011 | 0 | 0.0 | 16M|1926 | - |3771 |5099 | 0 | 0 | 0 |1213 | 0 | 0.000000e+00 | 7.430000e+02 | Inf
1.69/1.77 o 650
1.69/1.77 c * 1.6s| 5976 | 5171 | 0 | 0.0 | 17M|1926 | - |3771 |5094 | 0 | 0 | 0 |1219 | 0 | 0.000000e+00 | 6.500000e+02 | Inf
1.69/1.77 o 636
1.69/1.77 c * 1.6s| 5977 | 5168 | 0 | 0.0 | 17M|1926 | - |3771 |5094 | 0 | 0 | 0 |1219 | 0 | 0.000000e+00 | 6.360000e+02 | Inf
1.79/1.89 o 632
1.79/1.89 c * 1.7s| 6334 | 5519 | 0 | 0.0 | 17M|1926 | - |3771 |5075 | 0 | 0 | 0 |1239 | 0 | 0.000000e+00 | 6.320000e+02 | Inf
1.99/2.01 o 436
1.99/2.01 c * 1.8s| 6729 | 5513 | 0 | 0.0 | 17M|1926 | - |3771 |5059 | 0 | 0 | 0 |1249 | 0 | 0.000000e+00 | 4.360000e+02 | Inf
1.99/2.05 o 316
1.99/2.05 c * 1.9s| 6895 | 5497 | 0 | 0.0 | 17M|1926 | - |3771 |5051 | 0 | 0 | 0 |1266 | 0 | 0.000000e+00 | 3.160000e+02 | Inf
1.99/2.05 o 302
1.99/2.05 c * 1.9s| 6896 | 5468 | 0 | 0.0 | 17M|1926 | - |3771 |5051 | 0 | 0 | 0 |1266 | 0 | 0.000000e+00 | 3.020000e+02 | Inf
2.10/2.16 o 297
2.10/2.16 c * 1.9s| 7268 | 5779 | 0 | 0.0 | 17M|1926 | - |3771 |5064 | 0 | 0 | 0 |1318 | 0 | 0.000000e+00 | 2.970000e+02 | Inf
2.10/2.20 o 197
2.10/2.20 c * 2.0s| 7424 | 5741 | 0 | 0.0 | 17M|1926 | - |3771 |5057 | 0 | 0 | 0 |1344 | 0 | 0.000000e+00 | 1.970000e+02 | Inf
2.79/2.86 c 2.6s| 10000 | 7973 | 0 | 0.0 | 19M|1926 | - |3771 |5446 | 0 | 0 | 0 |2766 | 0 | 0.000000e+00 | 1.970000e+02 | Inf
5.99/6.04 c 5.5s| 20000 | 15898 | 0 | 0.0 | 29M|1926 | - |3771 |6653 | 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | 1.970000e+02 | Inf
10.59/10.62 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
10.59/10.62 c 9.7s| 30000 | 21881 | 0 | 0.0 | 39M|1926 | - |3771 |7950 | 0 | 0 | 0 | 26k| 0 | 0.000000e+00 | 1.970000e+02 | Inf
12.89/12.93 o 116
12.89/12.93 c *11.9s| 34690 | 25148 | 0 | 0.0 | 41M|1926 | - |3771 |6891 | 0 | 0 | 0 | 28k| 0 | 0.000000e+00 | 1.160000e+02 | Inf
12.89/12.99 o 96
12.89/12.99 c *12.0s| 34804 | 24938 | 0 | 0.0 | 41M|1926 | - |3771 |6802 | 0 | 0 | 0 | 28k| 0 | 0.000000e+00 | 9.600000e+01 | Inf
14.79/14.84 o 77
14.79/14.84 c *13.7s| 38559 | 27581 | 0 | 0.0 | 46M|1926 | - |3771 |6054 | 0 | 0 | 0 | 29k| 0 | 0.000000e+00 | 7.700000e+01 | Inf
14.79/14.84 o 72
14.79/14.84 c *13.7s| 38560 | 27264 | 0 | 0.0 | 45M|1926 | - |3771 |6054 | 0 | 0 | 0 | 29k| 0 | 0.000000e+00 | 7.200000e+01 | Inf
14.89/14.99 o 51
14.89/14.99 c *13.8s| 38647 | 26199 | 0 | 0.0 | 44M|1926 | - |3771 |5982 | 0 | 0 | 0 | 29k| 0 | 0.000000e+00 | 5.100000e+01 | Inf
14.99/15.00 o 46
14.99/15.00 c *13.8s| 38648 | 24911 | 0 | 0.0 | 43M|1926 | - |3771 |5982 | 0 | 0 | 0 | 29k| 0 | 0.000000e+00 | 4.600000e+01 | Inf
15.19/15.20 o 28
15.19/15.20 c *14.0s| 39052 | 24651 | 0 | 0.0 | 43M|1926 | - |3771 |5886 | 0 | 0 | 0 | 29k| 0 | 0.000000e+00 | 2.800000e+01 | Inf
15.49/15.57 c 14.4s| 40000 | 25478 | 0 | 0.0 | 44M|1926 | - |3771 |5933 | 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | 2.800000e+01 | Inf
15.99/16.09 o 27
15.99/16.09 c *14.8s| 41413 | 26685 | 0 | 0.0 | 46M|1926 | - |3771 |6131 | 0 | 0 | 0 | 31k| 0 | 0.000000e+00 | 2.700000e+01 | Inf
19.10/19.19 c 17.7s| 50000 | 33937 | 0 | 0.0 | 56M|1926 | - |3771 |7084 | 0 | 0 | 0 | 37k| 0 | 0.000000e+00 | 2.700000e+01 | Inf
22.59/22.66 c 20.9s| 60000 | 41941 | 0 | 0.0 | 65M|1926 | - |3771 |7196 | 0 | 0 | 0 | 44k| 0 | 0.000000e+00 | 2.700000e+01 | Inf
26.49/26.51 c 24.4s| 70000 | 49429 | 0 | 0.0 | 74M|1926 | - |3771 |7731 | 0 | 0 | 0 | 53k| 0 | 0.000000e+00 | 2.700000e+01 | Inf
30.70/30.77 c 28.4s| 80000 | 56486 | 0 | 0.0 | 83M|1926 | - |3771 |8307 | 0 | 0 | 0 | 63k| 0 | 0.000000e+00 | 2.700000e+01 | Inf
35.30/35.34 c 32.7s| 90000 | 63238 | 0 | 0.0 | 92M|1926 | - |3771 |8799 | 0 | 0 | 0 | 75k| 0 | 0.000000e+00 | 2.700000e+01 | Inf
40.30/40.34 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
40.30/40.34 c 37.4s|100000 | 69543 | 0 | 0.0 | 101M|1926 | - |3771 |9641 | 0 | 0 | 0 | 88k| 0 | 0.000000e+00 | 2.700000e+01 | Inf
45.59/45.64 c 42.4s|110000 | 75555 | 0 | 0.0 | 110M|1926 | - |3771 | 10k| 0 | 0 | 0 | 101k| 0 | 0.000000e+00 | 2.700000e+01 | Inf
51.39/51.43 c 47.8s|120000 | 81087 | 0 | 0.0 | 118M|1926 | - |3771 | 10k| 0 | 0 | 0 | 117k| 0 | 0.000000e+00 | 2.700000e+01 | Inf
57.70/57.73 c 53.7s|130000 | 86212 | 0 | 0.0 | 126M|1926 | - |3771 | 11k| 0 | 0 | 0 | 134k| 0 | 0.000000e+00 | 2.700000e+01 | Inf
64.19/64.21 c 59.8s|140000 | 91123 | 0 | 0.0 | 135M|1926 | - |3771 | 11k| 0 | 0 | 0 | 151k| 0 | 0.000000e+00 | 2.700000e+01 | Inf
70.99/71.07 c 66.3s|150000 | 95703 | 0 | 0.0 | 143M|1926 | - |3771 | 11k| 0 | 0 | 0 | 169k| 0 | 0.000000e+00 | 2.700000e+01 | Inf
78.70/78.76 c 73.6s|160000 | 99335 | 0 | 0.0 | 151M|1926 | - |3771 | 12k| 0 | 0 | 0 | 191k| 0 | 0.000000e+00 | 2.700000e+01 | Inf
88.09/88.11 c 82.5s|170000 |101710 | 0 | 0.0 | 159M|1926 | - |3771 | 13k| 0 | 0 | 0 | 219k| 0 | 0.000000e+00 | 2.700000e+01 | Inf
95.19/95.27 c 89.3s|180000 |107306 | 0 | 0.0 | 164M|1926 | - |3771 |6486 | 0 | 0 | 0 | 235k| 0 | 0.000000e+00 | 2.700000e+01 | Inf
100.20/100.20 c 93.9s|190000 |115133 | 0 | 0.0 | 177M|1926 | - |3771 |8161 | 0 | 0 | 0 | 243k| 0 | 0.000000e+00 | 2.700000e+01 | Inf
106.89/106.92 c 100s|200000 |121985 | 0 | 0.0 | 192M|1926 | - |3771 |7588 | 0 | 0 | 0 | 256k| 0 | 0.000000e+00 | 2.700000e+01 | Inf
111.99/112.05 c 105s|210000 |129977 | 0 | 0.0 | 203M|1926 | - |3771 |7150 | 0 | 0 | 0 | 263k| 0 | 0.000000e+00 | 2.700000e+01 | Inf
115.29/115.38 o 21
115.29/115.38 c * 108s|215289 |130424 | 0 | 0.0 | 191M|1926 | - |3771 |7656 | 0 | 0 | 0 | 269k| 0 | 0.000000e+00 | 2.100000e+01 | Inf
115.29/115.38 o 19
115.29/115.38 c * 108s|215290 |130326 | 0 | 0.0 | 190M|1926 | - |3771 |7656 | 0 | 0 | 0 | 269k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
118.89/118.97 c 112s|220000 |133414 | 0 | 0.0 | 196M|1926 | - |3771 |8323 | 0 | 0 | 0 | 275k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
121.10/121.13 o 18
121.10/121.13 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
121.10/121.13 c * 114s|222546 |134838 | 0 | 0.0 | 198M|1926 | - |3771 |8997 | 0 | 0 | 0 | 279k| 0 | 0.000000e+00 | 1.800000e+01 | Inf
121.50/121.54 o 16
121.50/121.54 c * 114s|222995 |134973 | 0 | 0.0 | 198M|1926 | - |3771 |9188 | 0 | 0 | 0 | 280k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
126.20/126.21 c 118s|230000 |139609 | 0 | 0.0 | 208M|1926 | - |3771 |9358 | 0 | 0 | 0 | 288k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
132.40/132.41 c 124s|240000 |146643 | 0 | 0.0 | 229M|1926 | - |3771 | 11k| 0 | 0 | 0 | 300k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
138.19/138.26 c 130s|250000 |153972 | 0 | 0.0 | 249M|1926 | - |3771 | 12k| 0 | 0 | 0 | 310k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
143.80/143.82 c 135s|260000 |161521 | 0 | 0.0 | 265M|1926 | - |3771 | 12k| 0 | 0 | 0 | 320k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
150.39/150.47 c 141s|270000 |168433 | 0 | 0.0 | 282M|1926 | - |3771 | 13k| 0 | 0 | 0 | 332k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
156.40/156.44 c 147s|280000 |175275 | 0 | 0.0 | 293M|1926 | - |3771 |9810 | 0 | 0 | 0 | 340k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
158.00/158.03 o 14
158.00/158.03 c * 148s|283579 |177609 | 0 | 0.0 | 294M|1926 | - |3771 | 10k| 0 | 0 | 0 | 341k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
161.60/161.61 c 152s|290000 |181589 | 0 | 0.0 | 299M|1926 | - |3771 |9856 | 0 | 0 | 0 | 345k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
166.00/166.03 c 156s|300000 |188970 | 0 | 0.0 | 308M|1926 | - |3771 | 10k| 0 | 0 | 0 | 349k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
170.60/170.65 c 160s|310000 |196250 | 0 | 0.0 | 316M|1926 | - |3771 | 10k| 0 | 0 | 0 | 353k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
175.00/175.00 c 164s|320000 |203768 | 0 | 0.0 | 324M|1926 | - |3771 | 10k| 0 | 0 | 0 | 357k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
179.80/179.88 c 168s|330000 |210544 | 0 | 0.0 | 332M|1926 | - |3771 | 10k| 0 | 0 | 0 | 362k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
184.59/184.68 c 173s|340000 |217446 | 0 | 0.0 | 340M|1926 | - |3771 | 10k| 0 | 0 | 0 | 366k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
189.49/189.56 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
189.49/189.56 c 177s|350000 |224310 | 0 | 0.0 | 348M|1926 | - |3771 | 10k| 0 | 0 | 0 | 371k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
194.29/194.37 c 182s|360000 |231236 | 0 | 0.0 | 356M|1926 | - |3771 |9961 | 0 | 0 | 0 | 375k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
199.30/199.37 c 187s|370000 |237915 | 0 | 0.0 | 364M|1926 | - |3771 |9985 | 0 | 0 | 0 | 380k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
204.20/204.27 c 191s|380000 |244699 | 0 | 0.0 | 372M|1926 | - |3771 |6042 | 0 | 0 | 0 | 385k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
207.50/207.59 c 194s|390000 |253025 | 0 | 0.0 | 379M|1926 | - |3771 |5458 | 0 | 0 | 0 | 387k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
211.50/211.58 c 198s|400000 |260338 | 0 | 0.0 | 388M|1926 | - |3771 |6441 | 0 | 0 | 0 | 392k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
217.40/217.44 c 203s|410000 |265629 | 0 | 0.0 | 397M|1926 | - |3771 |7759 | 0 | 0 | 0 | 399k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
223.70/223.77 c 209s|420000 |270689 | 0 | 0.0 | 405M|1926 | - |3771 |7897 | 0 | 0 | 0 | 407k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
230.09/230.12 c 215s|430000 |275686 | 0 | 0.0 | 414M|1926 | - |3771 |8797 | 0 | 0 | 0 | 415k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
236.69/236.72 c 222s|440000 |280389 | 0 | 0.0 | 422M|1926 | - |3771 |8718 | 0 | 0 | 0 | 423k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
243.20/243.26 c 228s|450000 |285122 | 0 | 0.0 | 430M|1926 | - |3771 |9405 | 0 | 0 | 0 | 431k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
250.00/250.05 c 234s|460000 |289660 | 0 | 0.0 | 438M|1926 | - |3771 |9302 | 0 | 0 | 0 | 439k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
257.40/257.43 c 241s|470000 |293570 | 0 | 0.0 | 446M|1926 | - |3771 |9250 | 0 | 0 | 0 | 448k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
264.40/264.49 c 248s|480000 |297787 | 0 | 0.0 | 455M|1926 | - |3771 |9872 | 0 | 0 | 0 | 457k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
271.71/271.76 c 255s|490000 |301875 | 0 | 0.0 | 463M|1926 | - |3771 | 10k| 0 | 0 | 0 | 466k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
279.20/279.30 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
279.20/279.30 c 262s|500000 |305724 | 0 | 0.0 | 470M|1926 | - |3771 | 10k| 0 | 0 | 0 | 476k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
286.90/286.98 c 269s|510000 |309415 | 0 | 0.0 | 478M|1926 | - |3771 | 10k| 0 | 0 | 0 | 486k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
294.90/294.99 c 277s|520000 |312760 | 0 | 0.0 | 486M|1926 | - |3771 | 10k| 0 | 0 | 0 | 496k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
303.00/303.08 c 285s|530000 |316052 | 0 | 0.0 | 493M|1926 | - |3771 | 11k| 0 | 0 | 0 | 507k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
311.70/311.79 c 293s|540000 |318748 | 0 | 0.0 | 500M|1926 | - |3771 | 11k| 0 | 0 | 0 | 518k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
320.71/320.76 c 301s|550000 |321208 | 0 | 0.0 | 507M|1926 | - |3771 | 11k| 0 | 0 | 0 | 530k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
329.91/329.94 c 310s|560000 |323498 | 0 | 0.0 | 514M|1926 | - |3771 | 11k| 0 | 0 | 0 | 542k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
339.30/339.32 c 319s|570000 |325684 | 0 | 0.0 | 521M|1926 | - |3771 | 10k| 0 | 0 | 0 | 554k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
348.91/348.90 c 328s|580000 |327507 | 0 | 0.0 | 527M|1926 | - |3771 | 10k| 0 | 0 | 0 | 567k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
359.01/359.06 c 338s|590000 |328887 | 0 | 0.0 | 533M|1926 | - |3771 | 11k| 0 | 0 | 0 | 581k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
369.10/369.13 c 348s|600000 |330367 | 0 | 0.0 | 540M|1926 | - |3771 | 12k| 0 | 0 | 0 | 595k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
379.51/379.53 c 358s|610000 |331606 | 0 | 0.0 | 546M|1926 | - |3771 | 11k| 0 | 0 | 0 | 609k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
390.41/390.50 c 368s|620000 |331971 | 0 | 0.0 | 551M|1926 | - |3771 | 12k| 0 | 0 | 0 | 625k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
401.60/401.64 c 379s|630000 |332361 | 0 | 0.0 | 557M|1926 | - |3771 | 11k| 0 | 0 | 0 | 641k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
413.20/413.23 c 390s|640000 |332121 | 0 | 0.0 | 562M|1926 | - |3771 | 13k| 0 | 0 | 0 | 658k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
425.21/425.26 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
425.21/425.26 c 402s|650000 |331688 | 0 | 0.0 | 567M|1926 | - |3771 | 12k| 0 | 0 | 0 | 676k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
437.91/437.93 c 414s|660000 |330694 | 0 | 0.0 | 570M|1926 | - |3771 | 13k| 0 | 0 | 0 | 695k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
451.20/451.24 c 427s|670000 |329066 | 0 | 0.0 | 571M|1926 | - |3771 | 12k| 0 | 0 | 0 | 716k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
458.41/458.40 c 434s|680000 |332316 | 0 | 0.0 | 568M|1926 | - |3771 |4808 | 0 | 0 | 0 | 724k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
462.21/462.27 c 437s|690000 |340104 | 0 | 0.0 | 577M|1926 | - |3771 |5328 | 0 | 0 | 0 | 727k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
466.60/466.61 c 441s|700000 |347385 | 0 | 0.0 | 585M|1926 | - |3771 |6143 | 0 | 0 | 0 | 731k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
471.41/471.46 c 446s|710000 |354143 | 0 | 0.0 | 594M|1926 | - |3771 |6912 | 0 | 0 | 0 | 736k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
477.20/477.21 c 451s|720000 |360073 | 0 | 0.0 | 604M|1926 | - |3771 |7682 | 0 | 0 | 0 | 742k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
480.31/480.35 o 11
480.31/480.35 c * 454s|724981 |362046 | 0 | 0.0 | 606M|1926 | - |3771 |8217 | 0 | 0 | 0 | 746k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
484.10/484.11 c 458s|730000 |364595 | 0 | 0.0 | 614M|1926 | - |3771 |8631 | 0 | 0 | 0 | 749k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
491.80/491.81 c 465s|740000 |368904 | 0 | 0.0 | 625M|1926 | - |3771 |9447 | 0 | 0 | 0 | 758k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
500.41/500.49 c 473s|750000 |372282 | 0 | 0.0 | 634M|1926 | - |3771 | 10k| 0 | 0 | 0 | 767k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
511.01/511.09 c 483s|760000 |374060 | 0 | 0.0 | 643M|1926 | - |3771 | 11k| 0 | 0 | 0 | 779k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
518.01/518.02 o 8
518.01/518.02 c * 490s|765026 |372431 | 0 | 0.0 | 640M|1926 | - |3771 | 12k| 0 | 0 | 0 | 787k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
522.51/522.55 c 494s|770000 |374343 | 0 | 0.0 | 641M|1926 | - |3771 |6339 | 0 | 0 | 0 | 791k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
527.51/527.51 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
527.51/527.51 c 499s|780000 |381039 | 0 | 0.0 | 649M|1926 | - |3771 |5767 | 0 | 0 | 0 | 796k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
532.42/532.48 c 503s|790000 |387547 | 0 | 0.0 | 657M|1926 | - |3771 |6735 | 0 | 0 | 0 | 801k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
538.10/538.13 c 509s|800000 |393342 | 0 | 0.0 | 666M|1926 | - |3771 |7667 | 0 | 0 | 0 | 807k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
544.42/544.43 c 515s|810000 |398586 | 0 | 0.0 | 675M|1926 | - |3771 |7837 | 0 | 0 | 0 | 814k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
550.81/550.83 c 521s|820000 |403713 | 0 | 0.0 | 684M|1926 | - |3771 |7505 | 0 | 0 | 0 | 822k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
557.81/557.82 c 527s|830000 |408265 | 0 | 0.0 | 693M|1926 | - |3771 |7349 | 0 | 0 | 0 | 830k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
564.70/564.75 c 534s|840000 |412875 | 0 | 0.0 | 701M|1926 | - |3771 |7193 | 0 | 0 | 0 | 838k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
571.80/571.82 c 540s|850000 |417350 | 0 | 0.0 | 709M|1926 | - |3771 |7459 | 0 | 0 | 0 | 846k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
578.80/578.83 c 547s|860000 |421861 | 0 | 0.0 | 717M|1926 | - |3771 |7601 | 0 | 0 | 0 | 854k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
585.61/585.67 c 553s|870000 |426567 | 0 | 0.0 | 724M|1926 | - |3771 |8097 | 0 | 0 | 0 | 862k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
593.10/593.13 c 560s|880000 |430792 | 0 | 0.0 | 733M|1926 | - |3771 |9281 | 0 | 0 | 0 | 871k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
602.01/602.08 c 569s|890000 |433782 | 0 | 0.0 | 741M|1926 | - |3771 | 11k| 0 | 0 | 0 | 882k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
612.01/612.04 c 578s|900000 |436412 | 0 | 0.0 | 745M|1926 | - |3771 |7538 | 0 | 0 | 0 | 894k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
616.21/616.20 c 582s|910000 |443892 | 0 | 0.0 | 753M|1926 | - |3771 |5997 | 0 | 0 | 0 | 897k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
621.01/621.02 c 587s|920000 |450622 | 0 | 0.0 | 762M|1926 | - |3771 |6844 | 0 | 0 | 0 | 902k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
626.31/626.31 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
626.31/626.31 c 592s|930000 |456817 | 0 | 0.0 | 771M|1926 | - |3771 |7666 | 0 | 0 | 0 | 908k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
632.01/632.04 c 597s|940000 |462549 | 0 | 0.0 | 779M|1926 | - |3771 |8391 | 0 | 0 | 0 | 915k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
638.91/639.00 c 604s|950000 |467095 | 0 | 0.0 | 788M|1926 | - |3771 |9619 | 0 | 0 | 0 | 923k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
647.71/647.75 c 612s|960000 |470105 | 0 | 0.0 | 796M|1926 | - |3771 | 10k| 0 | 0 | 0 | 934k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
657.31/657.39 c 621s|970000 |472598 | 0 | 0.0 | 800M|1926 | - |3771 |7407 | 0 | 0 | 0 | 946k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
661.12/661.18 c 624s|980000 |480429 | 0 | 0.0 | 808M|1926 | - |3771 |6065 | 0 | 0 | 0 | 949k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
665.31/665.30 c 628s|990000 |487862 | 0 | 0.0 | 816M|1926 | - |3771 |6747 | 0 | 0 | 0 | 953k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
669.71/669.76 c 632s| 1000k|494888 | 0 | 0.0 | 824M|1926 | - |3771 |7543 | 0 | 0 | 0 | 958k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
675.02/675.04 c 637s| 1010k|501104 | 0 | 0.0 | 832M|1926 | - |3771 |8424 | 0 | 0 | 0 | 964k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
682.22/682.21 c 644s| 1020k|505610 | 0 | 0.0 | 841M|1926 | - |3771 | 10k| 0 | 0 | 0 | 972k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
691.81/691.87 c 653s| 1030k|507941 | 0 | 0.0 | 848M|1926 | - |3771 | 13k| 0 | 0 | 0 | 984k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
698.21/698.26 c 660s| 1040k|513786 | 0 | 0.0 | 854M|1926 | - |3771 |6575 | 0 | 0 | 0 | 991k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
702.61/702.60 c 664s| 1050k|521025 | 0 | 0.0 | 862M|1926 | - |3771 |7398 | 0 | 0 | 0 | 995k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
707.11/707.17 c 668s| 1060k|527965 | 0 | 0.0 | 870M|1926 | - |3771 |8177 | 0 | 0 | 0 |1000k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
712.32/712.39 c 673s| 1070k|534352 | 0 | 0.0 | 878M|1926 | - |3771 |9003 | 0 | 0 | 0 |1005k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
719.01/719.02 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
719.01/719.02 c 679s| 1080k|539346 | 0 | 0.0 | 887M|1926 | - |3771 | 10k| 0 | 0 | 0 |1013k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
719.61/719.62 o 5
719.61/719.62 c * 679s| 1080k|535876 | 0 | 0.0 | 872M|1926 | - |3771 | 10k| 0 | 0 | 0 |1014k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
728.91/728.96 c 688s| 1090k|538561 | 0 | 0.0 | 881M|1926 | - |3771 | 12k| 0 | 0 | 0 |1024k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
737.41/737.49 c 696s| 1100k|542968 | 0 | 0.0 | 886M|1926 | - |3771 |8017 | 0 | 0 | 0 |1033k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
742.42/742.45 c 701s| 1110k|549983 | 0 | 0.0 | 897M|1926 | - |3771 |8040 | 0 | 0 | 0 |1037k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
748.12/748.19 c 706s| 1120k|556193 | 0 | 0.0 | 907M|1926 | - |3771 |9141 | 0 | 0 | 0 |1043k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
754.82/754.86 c 713s| 1130k|561646 | 0 | 0.0 | 918M|1926 | - |3771 | 10k| 0 | 0 | 0 |1050k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
763.32/763.33 c 721s| 1140k|565598 | 0 | 0.0 | 928M|1926 | - |3771 | 12k| 0 | 0 | 0 |1060k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
774.11/774.17 c 731s| 1150k|567862 | 0 | 0.0 | 936M|1926 | - |3771 | 14k| 0 | 0 | 0 |1071k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
779.71/779.74 c 736s| 1160k|575305 | 0 | 0.0 | 951M|1926 | - |3771 | 10k| 0 | 0 | 0 |1076k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
785.72/785.74 c 742s| 1170k|581959 | 0 | 0.0 | 968M|1926 | - |3771 | 10k| 0 | 0 | 0 |1081k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
792.62/792.69 c 749s| 1180k|587958 | 0 | 0.0 | 986M|1926 | - |3771 | 12k| 0 | 0 | 0 |1087k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
800.22/800.24 c 756s| 1190k|593014 | 0 | 0.0 | 998M|1926 | - |3771 | 14k| 0 | 0 | 0 |1094k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
809.82/809.88 c 765s| 1200k|596311 | 0 | 0.0 |1006M|1926 | - |3771 | 17k| 0 | 0 | 0 |1105k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
820.72/820.75 c 775s| 1210k|599517 | 0 | 0.0 |1012M|1926 | - |3771 | 15k| 0 | 0 | 0 |1116k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
826.62/826.61 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
826.62/826.61 c 781s| 1220k|606719 | 0 | 0.0 |1025M|1926 | - |3771 | 11k| 0 | 0 | 0 |1120k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
832.92/832.92 c 787s| 1230k|613227 | 0 | 0.0 |1040M|1926 | - |3771 | 12k| 0 | 0 | 0 |1126k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
840.21/840.30 c 794s| 1240k|618980 | 0 | 0.0 |1056M|1926 | - |3771 | 13k| 0 | 0 | 0 |1133k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
848.92/848.90 c 802s| 1250k|623833 | 0 | 0.0 |1072M|1926 | - |3771 | 15k| 0 | 0 | 0 |1141k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
849.62/849.67 o 3
849.62/849.67 c * 803s| 1250k|618731 | 0 | 0.0 |1061M|1926 | - |3771 | 15k| 0 | 0 | 0 |1141k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
859.02/859.09 c 812s| 1260k|621953 | 0 | 0.0 |1071M|1926 | - |3771 |9194 | 0 | 0 | 0 |1150k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
866.42/866.49 c 818s| 1270k|626013 | 0 | 0.0 |1076M|1926 | - |3771 |7284 | 0 | 0 | 0 |1158k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
870.91/870.97 c 823s| 1280k|633013 | 0 | 0.0 |1085M|1926 | - |3771 |7865 | 0 | 0 | 0 |1162k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
876.22/876.24 c 828s| 1290k|639150 | 0 | 0.0 |1093M|1926 | - |3771 |8617 | 0 | 0 | 0 |1168k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
882.32/882.38 c 833s| 1300k|644388 | 0 | 0.0 |1102M|1926 | - |3771 |9324 | 0 | 0 | 0 |1174k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
889.72/889.77 c 840s| 1310k|648237 | 0 | 0.0 |1110M|1926 | - |3771 | 10k| 0 | 0 | 0 |1183k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
899.12/899.19 c 849s| 1320k|650019 | 0 | 0.0 |1117M|1926 | - |3771 | 12k| 0 | 0 | 0 |1194k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
903.52/903.53 c 853s| 1330k|657434 | 0 | 0.0 |1124M|1926 | - |3771 |7591 | 0 | 0 | 0 |1197k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
908.32/908.38 c 858s| 1340k|664001 | 0 | 0.0 |1132M|1926 | - |3771 |8251 | 0 | 0 | 0 |1202k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
913.92/913.93 c 863s| 1350k|669776 | 0 | 0.0 |1141M|1926 | - |3771 |9045 | 0 | 0 | 0 |1208k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
920.12/920.18 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
920.12/920.18 c 869s| 1360k|674791 | 0 | 0.0 |1149M|1926 | - |3771 |9882 | 0 | 0 | 0 |1215k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
927.52/927.55 c 876s| 1370k|678703 | 0 | 0.0 |1157M|1926 | - |3771 |9688 | 0 | 0 | 0 |1223k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
934.42/934.40 c 882s| 1380k|682947 | 0 | 0.0 |1164M|1926 | - |3771 |8381 | 0 | 0 | 0 |1231k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
939.72/939.76 c 887s| 1390k|688699 | 0 | 0.0 |1170M|1926 | - |3771 |7948 | 0 | 0 | 0 |1237k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
944.83/944.84 c 892s| 1400k|694748 | 0 | 0.0 |1178M|1926 | - |3771 |8310 | 0 | 0 | 0 |1242k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
950.62/950.62 c 897s| 1410k|700149 | 0 | 0.0 |1187M|1926 | - |3771 |9031 | 0 | 0 | 0 |1248k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
957.22/957.26 c 903s| 1420k|704703 | 0 | 0.0 |1195M|1926 | - |3771 | 10k| 0 | 0 | 0 |1256k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
965.52/965.56 c 911s| 1430k|707697 | 0 | 0.0 |1203M|1926 | - |3771 | 11k| 0 | 0 | 0 |1266k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
972.62/972.64 c 918s| 1440k|712188 | 0 | 0.0 |1209M|1926 | - |3771 |7540 | 0 | 0 | 0 |1274k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
977.22/977.20 c 922s| 1450k|719057 | 0 | 0.0 |1217M|1926 | - |3771 |8154 | 0 | 0 | 0 |1278k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
982.72/982.77 c 927s| 1460k|724935 | 0 | 0.0 |1226M|1926 | - |3771 |9055 | 0 | 0 | 0 |1284k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
989.42/989.40 c 934s| 1470k|729725 | 0 | 0.0 |1235M|1926 | - |3771 |9993 | 0 | 0 | 0 |1291k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
996.82/996.85 c 941s| 1480k|733706 | 0 | 0.0 |1243M|1926 | - |3771 | 11k| 0 | 0 | 0 |1299k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1004.42/1004.49 c 948s| 1490k|737520 | 0 | 0.0 |1249M|1926 | - |3771 |9211 | 0 | 0 | 0 |1308k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1010.12/1010.16 c 953s| 1500k|743172 | 0 | 0.0 |1256M|1926 | - |3771 |8080 | 0 | 0 | 0 |1314k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1015.33/1015.30 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1015.33/1015.30 c 958s| 1510k|749424 | 0 | 0.0 |1264M|1926 | - |3771 |8317 | 0 | 0 | 0 |1319k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1021.02/1021.03 c 963s| 1520k|755012 | 0 | 0.0 |1273M|1926 | - |3771 |9052 | 0 | 0 | 0 |1325k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1027.62/1027.68 c 970s| 1530k|759651 | 0 | 0.0 |1282M|1926 | - |3771 | 10k| 0 | 0 | 0 |1332k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1035.42/1035.44 c 977s| 1540k|763289 | 0 | 0.0 |1290M|1926 | - |3771 | 11k| 0 | 0 | 0 |1341k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1044.12/1044.11 c 985s| 1550k|766362 | 0 | 0.0 |1295M|1926 | - |3771 |8940 | 0 | 0 | 0 |1351k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1048.33/1048.36 c 989s| 1560k|773700 | 0 | 0.0 |1302M|1926 | - |3771 |7916 | 0 | 0 | 0 |1354k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1053.12/1053.17 c 993s| 1570k|780267 | 0 | 0.0 |1310M|1926 | - |3771 |8561 | 0 | 0 | 0 |1359k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1059.42/1059.41 c 999s| 1580k|785449 | 0 | 0.0 |1319M|1926 | - |3771 |9769 | 0 | 0 | 0 |1366k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1066.72/1066.71 c 1006s| 1590k|789583 | 0 | 0.0 |1328M|1926 | - |3771 | 11k| 0 | 0 | 0 |1374k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1076.12/1076.17 c 1015s| 1600k|791501 | 0 | 0.0 |1334M|1926 | - |3771 | 13k| 0 | 0 | 0 |1386k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1080.83/1080.88 c 1020s| 1610k|798628 | 0 | 0.0 |1340M|1926 | - |3771 |7651 | 0 | 0 | 0 |1390k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1085.33/1085.39 c 1024s| 1620k|805561 | 0 | 0.0 |1348M|1926 | - |3771 |8197 | 0 | 0 | 0 |1394k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1091.02/1091.05 c 1029s| 1630k|811233 | 0 | 0.0 |1357M|1926 | - |3771 |9369 | 0 | 0 | 0 |1400k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1098.03/1098.10 c 1036s| 1640k|815551 | 0 | 0.0 |1365M|1926 | - |3771 | 10k| 0 | 0 | 0 |1408k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1106.63/1106.62 c 1044s| 1650k|818509 | 0 | 0.0 |1374M|1926 | - |3771 | 12k| 0 | 0 | 0 |1418k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1113.13/1113.19 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1113.13/1113.19 c 1050s| 1660k|823698 | 0 | 0.0 |1378M|1926 | - |3771 |6243 | 0 | 0 | 0 |1425k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1117.72/1117.70 c 1054s| 1670k|830420 | 0 | 0.0 |1386M|1926 | - |3771 |5350 | 0 | 0 | 0 |1429k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1122.03/1122.08 c 1058s| 1680k|837233 | 0 | 0.0 |1393M|1926 | - |3771 |5182 | 0 | 0 | 0 |1434k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1126.53/1126.52 c 1062s| 1690k|843927 | 0 | 0.0 |1401M|1926 | - |3771 |5522 | 0 | 0 | 0 |1438k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1130.83/1130.80 c 1066s| 1700k|850720 | 0 | 0.0 |1409M|1926 | - |3771 |5292 | 0 | 0 | 0 |1443k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1135.03/1135.07 c 1070s| 1710k|857498 | 0 | 0.0 |1417M|1926 | - |3771 |5379 | 0 | 0 | 0 |1447k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1139.42/1139.43 c 1074s| 1720k|864132 | 0 | 0.0 |1425M|1926 | - |3771 |5537 | 0 | 0 | 0 |1452k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1143.43/1143.44 c 1078s| 1730k|871116 | 0 | 0.0 |1433M|1926 | - |3771 |5069 | 0 | 0 | 0 |1456k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1147.43/1147.42 c 1081s| 1740k|878212 | 0 | 0.0 |1441M|1926 | - |3771 |4608 | 0 | 0 | 0 |1460k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1151.73/1151.76 c 1085s| 1750k|884839 | 0 | 0.0 |1449M|1926 | - |3771 |5391 | 0 | 0 | 0 |1464k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1155.62/1155.66 c 1089s| 1760k|892062 | 0 | 0.0 |1457M|1926 | - |3771 |4770 | 0 | 0 | 0 |1468k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1159.33/1159.35 c 1092s| 1770k|899485 | 0 | 0.0 |1464M|1926 | - |3771 |4668 | 0 | 0 | 0 |1471k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1163.12/1163.19 c 1096s| 1780k|906769 | 0 | 0.0 |1472M|1926 | - |3771 |4876 | 0 | 0 | 0 |1475k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1167.72/1167.70 c 1100s| 1790k|913176 | 0 | 0.0 |1480M|1926 | - |3771 |5429 | 0 | 0 | 0 |1480k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1171.33/1171.37 c 1103s| 1800k|920549 | 0 | 0.0 |1488M|1926 | - |3771 |5110 | 0 | 0 | 0 |1483k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1175.73/1175.72 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1175.73/1175.72 c 1107s| 1810k|927274 | 0 | 0.0 |1497M|1926 | - |3771 |4976 | 0 | 0 | 0 |1488k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1179.93/1179.98 c 1111s| 1820k|934079 | 0 | 0.0 |1505M|1926 | - |3771 |4945 | 0 | 0 | 0 |1492k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1187.13/1187.17 c 1118s| 1830k|937299 | 0 | 0.0 |1513M|1926 | - |3771 |8348 | 0 | 0 | 0 |1502k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1199.03/1199.05 c 1129s| 1840k|937332 | 0 | 0.0 |1516M|1926 | - |3771 | 10k| 0 | 0 | 0 |1517k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1210.23/1210.27 c 1140s| 1850k|938060 | 0 | 0.0 |1521M|1926 | - |3771 | 10k| 0 | 0 | 0 |1530k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1221.13/1221.14 c 1150s| 1860k|939162 | 0 | 0.0 |1526M|1926 | - |3771 |9747 | 0 | 0 | 0 |1542k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1233.13/1233.11 c 1162s| 1870k|939473 | 0 | 0.0 |1529M|1926 | - |3771 | 10k| 0 | 0 | 0 |1556k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1245.53/1245.52 c 1174s| 1880k|939576 | 0 | 0.0 |1534M|1926 | - |3771 | 11k| 0 | 0 | 0 |1569k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1257.93/1257.99 c 1186s| 1890k|940065 | 0 | 0.0 |1540M|1926 | - |3771 | 11k| 0 | 0 | 0 |1583k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1270.93/1270.93 c 1199s| 1900k|940308 | 0 | 0.0 |1545M|1926 | - |3771 | 12k| 0 | 0 | 0 |1598k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1284.43/1284.43 c 1212s| 1910k|939591 | 0 | 0.0 |1549M|1926 | - |3771 | 14k| 0 | 0 | 0 |1613k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1298.53/1298.51 c 1225s| 1920k|938710 | 0 | 0.0 |1552M|1926 | - |3771 | 14k| 0 | 0 | 0 |1629k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1312.83/1312.85 c 1239s| 1930k|937632 | 0 | 0.0 |1554M|1926 | - |3771 | 13k| 0 | 0 | 0 |1645k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1327.13/1327.11 c 1253s| 1940k|936460 | 0 | 0.0 |1556M|1926 | - |3771 | 13k| 0 | 0 | 0 |1661k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1341.43/1341.44 c 1267s| 1950k|935470 | 0 | 0.0 |1558M|1926 | - |3771 | 13k| 0 | 0 | 0 |1677k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1356.64/1356.61 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1356.64/1356.61 c 1282s| 1960k|934189 | 0 | 0.0 |1560M|1926 | - |3771 | 13k| 0 | 0 | 0 |1694k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1371.94/1371.94 c 1297s| 1970k|932704 | 0 | 0.0 |1561M|1926 | - |3771 | 12k| 0 | 0 | 0 |1710k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1387.53/1387.53 c 1312s| 1980k|930880 | 0 | 0.0 |1562M|1926 | - |3771 | 12k| 0 | 0 | 0 |1727k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1403.83/1403.84 c 1328s| 1990k|928510 | 0 | 0.0 |1561M|1926 | - |3771 | 12k| 0 | 0 | 0 |1745k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1420.14/1420.15 c 1343s| 2000k|926207 | 0 | 0.0 |1560M|1926 | - |3771 | 12k| 0 | 0 | 0 |1763k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1436.74/1436.75 c 1359s| 2010k|923430 | 0 | 0.0 |1558M|1926 | - |3771 | 13k| 0 | 0 | 0 |1782k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1453.93/1453.90 c 1376s| 2020k|920031 | 0 | 0.0 |1554M|1926 | - |3771 | 14k| 0 | 0 | 0 |1801k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1471.43/1471.42 c 1393s| 2030k|916611 | 0 | 0.0 |1551M|1926 | - |3771 | 14k| 0 | 0 | 0 |1821k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1488.84/1488.85 c 1410s| 2040k|912987 | 0 | 0.0 |1546M|1926 | - |3771 | 14k| 0 | 0 | 0 |1841k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1506.94/1506.95 c 1428s| 2050k|908714 | 0 | 0.0 |1539M|1926 | - |3771 | 14k| 0 | 0 | 0 |1862k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1524.14/1524.17 c 1444s| 2060k|904322 | 0 | 0.0 |1530M|1926 | - |3771 | 12k| 0 | 0 | 0 |1883k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1542.15/1542.13 c 1462s| 2070k|897712 | 0 | 0.0 |1513M|1926 | - |3771 | 14k| 0 | 0 | 0 |1906k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1554.73/1554.72 c 1474s| 2080k|896831 | 0 | 0.0 |1501M|1926 | - |3771 |6068 | 0 | 0 | 0 |1920k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1559.74/1559.78 c 1479s| 2090k|903272 | 0 | 0.0 |1510M|1926 | - |3771 |5921 | 0 | 0 | 0 |1926k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1565.44/1565.43 c 1484s| 2100k|909180 | 0 | 0.0 |1518M|1926 | - |3771 |6612 | 0 | 0 | 0 |1931k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1571.24/1571.20 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1571.24/1571.20 c 1490s| 2110k|914994 | 0 | 0.0 |1527M|1926 | - |3771 |7548 | 0 | 0 | 0 |1937k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1577.64/1577.63 c 1496s| 2120k|920277 | 0 | 0.0 |1535M|1926 | - |3771 |8151 | 0 | 0 | 0 |1944k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1584.74/1584.76 c 1503s| 2130k|925137 | 0 | 0.0 |1544M|1926 | - |3771 |9024 | 0 | 0 | 0 |1951k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1592.14/1592.14 c 1510s| 2140k|929835 | 0 | 0.0 |1552M|1926 | - |3771 |9155 | 0 | 0 | 0 |1958k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1600.25/1600.27 c 1517s| 2150k|933925 | 0 | 0.0 |1560M|1926 | - |3771 | 10k| 0 | 0 | 0 |1967k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1608.94/1608.90 c 1526s| 2160k|937777 | 0 | 0.0 |1567M|1926 | - |3771 | 10k| 0 | 0 | 0 |1975k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1617.63/1617.65 c 1534s| 2170k|941369 | 0 | 0.0 |1575M|1926 | - |3771 | 11k| 0 | 0 | 0 |1984k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1626.95/1626.98 c 1543s| 2180k|944546 | 0 | 0.0 |1582M|1926 | - |3771 | 12k| 0 | 0 | 0 |1993k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1636.64/1636.66 c 1552s| 2190k|947469 | 0 | 0.0 |1589M|1926 | - |3771 | 12k| 0 | 0 | 0 |2002k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1646.84/1646.84 c 1562s| 2200k|949961 | 0 | 0.0 |1597M|1926 | - |3771 | 13k| 0 | 0 | 0 |2012k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1657.93/1657.97 c 1573s| 2210k|951833 | 0 | 0.0 |1603M|1926 | - |3771 | 13k| 0 | 0 | 0 |2024k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1670.13/1670.15 c 1585s| 2220k|953038 | 0 | 0.0 |1610M|1926 | - |3771 | 13k| 0 | 0 | 0 |2035k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1683.43/1683.41 c 1597s| 2230k|953436 | 0 | 0.0 |1614M|1926 | - |3771 | 14k| 0 | 0 | 0 |2048k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1697.13/1697.14 c 1611s| 2240k|954009 | 0 | 0.0 |1620M|1926 | - |3771 | 14k| 0 | 0 | 0 |2061k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1711.84/1711.82 c 1625s| 2250k|953671 | 0 | 0.0 |1623M|1926 | - |3771 | 15k| 0 | 0 | 0 |2075k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1726.84/1726.82 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1726.84/1726.82 c 1640s| 2260k|953181 | 0 | 0.0 |1626M|1926 | - |3771 | 15k| 0 | 0 | 0 |2089k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1742.44/1742.45 c 1655s| 2270k|952181 | 0 | 0.0 |1627M|1926 | - |3771 | 15k| 0 | 0 | 0 |2103k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1759.54/1759.52 c 1671s| 2280k|950328 | 0 | 0.0 |1626M|1926 | - |3771 | 16k| 0 | 0 | 0 |2119k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1778.24/1778.25 c 1690s| 2290k|947477 | 0 | 0.0 |1618M|1926 | - |3771 |8516 | 0 | 0 | 0 |2135k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1784.34/1784.39 c 1695s| 2300k|952991 | 0 | 0.0 |1625M|1926 | - |3771 |6081 | 0 | 0 | 0 |2141k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1790.34/1790.31 c 1701s| 2310k|958556 | 0 | 0.0 |1633M|1926 | - |3771 |6388 | 0 | 0 | 0 |2147k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1796.34/1796.37 c 1707s| 2320k|963909 | 0 | 0.0 |1641M|1926 | - |3771 |7053 | 0 | 0 | 0 |2154k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1800.05/1800.00 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.05/1800.00 c
1800.05/1800.00 c SCIP Status : solving was interrupted [user interrupt]
1800.05/1800.00 c Solving Time (sec) : 1710.08
1800.05/1800.00 c Solving Nodes : 2325720
1800.05/1800.00 c Primal Bound : +3.00000000000000e+00 (29 solutions)
1800.05/1800.00 c Dual Bound : +0.00000000000000e+00
1800.05/1800.00 c Gap : infinite
1800.05/1800.05 s SATISFIABLE
1800.05/1800.05 v -x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224 -x223 -x222 x221 -x220 -x219 -x218 -x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210
1800.05/1800.05 v -x209 x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189
1800.05/1800.05 v x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 x179 -x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168
1800.05/1800.05 v -x167 -x166 -x165 -x164 x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147
1800.05/1800.05 v -x146 -x145 x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 x132 -x131 x130 -x129 -x128 -x127 -x126
1800.05/1800.05 v -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105
1800.05/1800.05 v x104 -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.05/1800.05 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
1800.05/1800.05 v -x54 -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.05/1800.05 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.05/1800.05 v -x1
1800.05/1800.05 c SCIP Status : solving was interrupted [user interrupt]
1800.05/1800.05 c Solving Time : 1710.08
1800.05/1800.05 c Original Problem :
1800.05/1800.05 c Problem name : HOME/instance-2693573-1277911332.wbo
1800.05/1800.05 c Variables : 3909 (2070 binary, 0 integer, 0 implicit integer, 1839 continuous)
1800.05/1800.05 c Constraints : 4547 initial, 4547 maximal
1800.05/1800.05 c Presolved Problem :
1800.05/1800.05 c Problem name : t_HOME/instance-2693573-1277911332.wbo
1800.05/1800.05 c Variables : 3771 (2001 binary, 0 integer, 0 implicit integer, 1770 continuous)
1800.05/1800.05 c Constraints : 4373 initial, 19620 maximal
1800.05/1800.05 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.05/1800.05 c trivial : 0.00 69 0 0 0 0 0 0 0
1800.05/1800.05 c dualfix : 0.00 69 0 0 0 0 0 0 0
1800.05/1800.05 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.05 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.05 c implics : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.05 c probing : 0.04 0 0 0 0 0 0 0 0
1800.05/1800.05 c indicator : 0.00 0 0 0 0 0 69 0 0
1800.05/1800.05 c setppc : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.05 c linear : 0.04 0 0 0 1861 0 105 91 0
1800.05/1800.05 c logicor : 0.01 0 0 0 0 0 0 0 0
1800.05/1800.05 c bounddisjunction : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.05 c root node : - 1736 - - 3472 - - - -
1800.05/1800.05 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.05/1800.05 c integral : 0 0 0 0 0 0 0 0 0 0
1800.05/1800.05 c indicator : 1770 0 5135418 0 1338914 88 2329539 0 0 0
1800.05/1800.05 c setppc : 9 0 8000242 0 1827200 35008 5020827 0 0 0
1800.05/1800.05 c linear : 1770 0 7967633 0 1827895 562940 44225298 0 0 0
1800.05/1800.05 c logicor : 824+ 0 4878777 0 1827912 184002 8753209 0 0 0
1800.05/1800.05 c bounddisjunction : 0+ 0 209922 0 0 0 1 0 0 0
1800.05/1800.05 c countsols : 0 0 0 0 1827910 0 0 0 0 0
1800.05/1800.05 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.05/1800.05 c integral : 0.00 0.00 0.00 0.00 0.00
1800.05/1800.05 c indicator : 11.73 0.00 5.47 0.00 6.26
1800.05/1800.05 c setppc : 20.90 0.00 19.09 0.00 1.81
1800.05/1800.05 c linear : 342.58 0.00 341.62 0.00 0.96
1800.05/1800.05 c logicor : 387.52 0.00 338.47 0.00 49.05
1800.05/1800.05 c bounddisjunction : 0.10 0.00 0.10 0.00 0.00
1800.05/1800.05 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.05/1800.05 c Propagators : Time Calls Cutoffs DomReds
1800.05/1800.05 c vbounds : 0.00 2 0 0
1800.05/1800.05 c rootredcost : 0.00 0 0 0
1800.05/1800.05 c pseudoobj : 266.46 8003993 1332 2299882
1800.05/1800.05 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.05/1800.05 c propagation : 35.27 783282 783278 3507141 17.4 167506 10.6 -
1800.05/1800.05 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.05 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.05 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.05 c pseudo solution : 0.01 45 45 186 18.7 130 10.4 -
1800.05/1800.05 c applied globally : - - - 2158034 15.7 - - -
1800.05/1800.05 c applied locally : - - - 12 217.2 - - -
1800.05/1800.05 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.05/1800.05 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.05/1800.05 c redcost : 0.00 0 0 0 0 0
1800.05/1800.05 c impliedbounds : 0.00 0 0 0 0 0
1800.05/1800.05 c intobj : 0.00 0 0 0 0 0
1800.05/1800.05 c cgmip : 0.00 0 0 0 0 0
1800.05/1800.05 c gomory : 0.00 0 0 0 0 0
1800.05/1800.05 c strongcg : 0.00 0 0 0 0 0
1800.05/1800.05 c cmir : 0.00 0 0 0 0 0
1800.05/1800.05 c flowcover : 0.00 0 0 0 0 0
1800.05/1800.05 c clique : 0.00 0 0 0 0 0
1800.05/1800.05 c zerohalf : 0.00 0 0 0 0 0
1800.05/1800.05 c mcf : 0.00 0 0 0 0 0
1800.05/1800.05 c rapidlearning : 0.00 0 0 0 0 0
1800.05/1800.05 c Pricers : Time Calls Vars
1800.05/1800.05 c problem variables: 0.00 0 0
1800.05/1800.05 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.05/1800.05 c relpscost : 0.00 0 0 0 0 0 0
1800.05/1800.05 c pscost : 0.00 0 0 0 0 0 0
1800.05/1800.05 c inference : 31.36 1827881 0 0 0 0 3655762
1800.05/1800.05 c mostinf : 0.00 0 0 0 0 0 0
1800.05/1800.05 c leastinf : 0.00 0 0 0 0 0 0
1800.05/1800.05 c fullstrong : 0.00 0 0 0 0 0 0
1800.05/1800.05 c allfullstrong : 0.00 0 0 0 0 0 0
1800.05/1800.05 c random : 0.00 0 0 0 0 0 0
1800.05/1800.05 c Primal Heuristics : Time Calls Found
1800.05/1800.05 c LP solutions : 0.00 - 0
1800.05/1800.05 c pseudo solutions : 0.09 - 29
1800.05/1800.05 c oneopt : 0.15 0 0
1800.05/1800.05 c trivial : 0.01 2 0
1800.05/1800.05 c simplerounding : 0.00 0 0
1800.05/1800.05 c zirounding : 0.00 0 0
1800.05/1800.05 c rounding : 0.00 0 0
1800.05/1800.05 c shifting : 0.00 0 0
1800.05/1800.05 c intshifting : 0.00 0 0
1800.05/1800.05 c twoopt : 0.00 0 0
1800.05/1800.05 c fixandinfer : 0.00 0 0
1800.05/1800.05 c feaspump : 0.00 0 0
1800.05/1800.05 c coefdiving : 0.00 0 0
1800.05/1800.05 c pscostdiving : 0.00 0 0
1800.05/1800.05 c fracdiving : 0.00 0 0
1800.05/1800.05 c veclendiving : 0.00 0 0
1800.05/1800.05 c intdiving : 0.00 0 0
1800.05/1800.05 c actconsdiving : 0.00 0 0
1800.05/1800.05 c objpscostdiving : 0.00 0 0
1800.05/1800.05 c rootsoldiving : 0.00 0 0
1800.05/1800.05 c linesearchdiving : 0.00 0 0
1800.05/1800.05 c guideddiving : 0.00 0 0
1800.05/1800.05 c octane : 0.00 0 0
1800.05/1800.05 c rens : 0.00 0 0
1800.05/1800.05 c rins : 0.00 0 0
1800.05/1800.05 c localbranching : 0.00 0 0
1800.05/1800.05 c mutation : 0.00 0 0
1800.05/1800.05 c crossover : 0.00 0 0
1800.05/1800.05 c dins : 0.00 0 0
1800.05/1800.05 c undercover : 0.00 0 0
1800.05/1800.05 c nlp : 0.00 0 0
1800.05/1800.05 c trysol : 0.00 1 0
1800.05/1800.05 c LP : Time Calls Iterations Iter/call Iter/sec
1800.05/1800.05 c primal LP : 0.00 0 0 0.00 -
1800.05/1800.05 c dual LP : 0.00 0 0 0.00 -
1800.05/1800.05 c lex dual LP : 0.00 0 0 0.00 -
1800.05/1800.05 c barrier LP : 0.00 0 0 0.00 -
1800.05/1800.05 c diving/probing LP: 0.00 0 0 0.00 -
1800.05/1800.05 c strong branching : 0.00 0 0 0.00 -
1800.05/1800.05 c (at root node) : - 0 0 0.00 -
1800.05/1800.05 c conflict analysis: 0.00 0 0 0.00 -
1800.05/1800.05 c B&B Tree :
1800.05/1800.05 c number of runs : 1
1800.05/1800.05 c nodes : 2325720
1800.05/1800.05 c nodes (total) : 2325720
1800.05/1800.05 c nodes left : 966826
1800.05/1800.05 c max depth : 1926
1800.05/1800.05 c max depth (total): 1926
1800.05/1800.05 c backtracks : 476896 (20.5%)
1800.05/1800.05 c delayed cutoffs : 341389
1800.05/1800.05 c repropagations : 1754211 (18555575 domain reductions, 285605 cutoffs)
1800.05/1800.05 c avg switch length: 36.59
1800.05/1800.05 c switching time : 525.04
1800.05/1800.05 c Solution :
1800.05/1800.05 c Solutions found : 29 (29 improvements)
1800.05/1800.05 c First Solution : +9.19000000000000e+02 (in run 1, after 5343 nodes, 1.37 seconds, depth 842, found by <relaxation>)
1800.05/1800.05 c Primal Bound : +3.00000000000000e+00 (in run 1, after 1250840 nodes, 802.58 seconds, depth 822, found by <relaxation>)
1800.05/1800.05 c Dual Bound : +0.00000000000000e+00
1800.05/1800.05 c Gap : infinite
1800.05/1800.05 c Root Dual Bound : +0.00000000000000e+00
1800.05/1800.05 c Root Iterations : 0