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-2694061-1277903340.wbo>
0.00/0.02 c original problem has 2029 variables (1130 bin, 0 int, 0 impl, 899 cont) and 3607 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, 1117 impls, 11 clqs
0.04/0.07 c (round 2) 0 del vars, 110 del conss, 899 chg bounds, 51 chg sides, 0 chg coeffs, 0 upgd conss, 1117 impls, 11 clqs
0.04/0.09 c (round 3) 51 del vars, 242 del conss, 915 chg bounds, 132 chg sides, 0 chg coeffs, 0 upgd conss, 1117 impls, 11 clqs
0.09/0.10 c (round 4) 118 del vars, 258 del conss, 915 chg bounds, 132 chg sides, 0 chg coeffs, 1685 upgd conss, 1117 impls, 11 clqs
0.09/0.11 c (round 5) 134 del vars, 258 del conss, 915 chg bounds, 132 chg sides, 0 chg coeffs, 1685 upgd conss, 1117 impls, 11 clqs
0.09/0.15 c (0.1s) probing: 101/1063 (9.5%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.09/0.15 c (0.1s) probing aborted: 100/100 successive totally useless probings
0.09/0.15 c presolving (6 rounds):
0.09/0.15 c 134 deleted vars, 258 deleted constraints, 915 tightened bounds, 0 added holes, 132 changed sides, 0 changed coefficients
0.09/0.15 c 1117 implications, 11 cliques
0.09/0.15 c presolved problem has 1895 variables (1063 bin, 0 int, 0 impl, 832 cont) and 3349 constraints
0.09/0.15 c 832 constraints of type <indicator>
0.09/0.15 c 1 constraints of type <knapsack>
0.09/0.15 c 11 constraints of type <setppc>
0.09/0.15 c 832 constraints of type <linear>
0.09/0.15 c 1673 constraints of type <logicor>
0.09/0.15 c transformed objective value is always integral (scale: 1)
0.09/0.15 c Presolving Time: 0.10
0.09/0.15 c - non default parameters ----------------------------------------------------------------------
0.09/0.15 c # SCIP version 1.2.1.2
0.09/0.15 c
0.09/0.15 c # frequency for displaying node information lines
0.09/0.15 c # [type: int, range: [-1,2147483647], default: 100]
0.09/0.15 c display/freq = 10000
0.09/0.15 c
0.09/0.15 c # maximal time in seconds to run
0.09/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.15 c limits/time = 1799.98
0.09/0.15 c
0.09/0.15 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.09/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.15 c limits/memory = 3420
0.09/0.15 c
0.09/0.15 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.09/0.15 c # [type: int, range: [-1,2147483647], default: 1]
0.09/0.15 c lp/solvefreq = -1
0.09/0.15 c
0.09/0.15 c # should presolving try to simplify inequalities
0.09/0.15 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.15 c constraints/linear/simplifyinequalities = TRUE
0.09/0.15 c
0.09/0.15 c # should presolving try to simplify knapsacks
0.09/0.15 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.15 c constraints/knapsack/simplifyinequalities = TRUE
0.09/0.15 c
0.09/0.15 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.09/0.15 c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.15 c separating/rapidlearning/freq = 0
0.09/0.15 c
0.09/0.15 c -----------------------------------------------------------------------------------------------
0.09/0.15 c start solving
0.09/0.15 c
0.09/0.15 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.15 c 0.1s| 1 | 2 | 0 | - |7441k| 0 | - |1895 |3349 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
0.89/0.99 o 571
0.89/0.99 c * 0.8s| 3793 | 3330 | 0 | 0.0 |9907k| 998 | - |1895 |3960 | 0 | 0 | 0 | 988 | 0 | 0.000000e+00 | 5.710000e+02 | Inf
2.39/2.46 c 2.1s| 10000 | 8687 | 0 | 0.0 | 14M| 998 | - |1895 |4711 | 0 | 0 | 0 |3942 | 0 | 0.000000e+00 | 5.710000e+02 | Inf
5.09/5.14 o 565
5.09/5.14 c * 4.6s| 18822 | 13992 | 0 | 0.0 | 21M| 998 | - |1895 |6873 | 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | 5.650000e+02 | Inf
5.09/5.14 o 514
5.09/5.14 c * 4.6s| 18823 | 13956 | 0 | 0.0 | 21M| 998 | - |1895 |6873 | 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | 5.140000e+02 | Inf
5.09/5.17 o 494
5.09/5.17 c * 4.6s| 18923 | 14052 | 0 | 0.0 | 21M| 998 | - |1895 |6842 | 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | 4.940000e+02 | Inf
5.19/5.20 o 363
5.19/5.20 c * 4.6s| 19033 | 14147 | 0 | 0.0 | 21M| 998 | - |1895 |6814 | 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | 3.630000e+02 | Inf
5.19/5.25 o 329
5.19/5.25 c * 4.7s| 19222 | 14316 | 0 | 0.0 | 21M| 998 | - |1895 |6771 | 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | 3.290000e+02 | Inf
5.19/5.28 o 325
5.19/5.28 c * 4.7s| 19318 | 14406 | 0 | 0.0 | 21M| 998 | - |1895 |6732 | 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | 3.250000e+02 | Inf
5.29/5.35 o 312
5.29/5.35 c * 4.8s| 19529 | 14600 | 0 | 0.0 | 21M| 998 | - |1895 |6624 | 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | 3.120000e+02 | Inf
5.40/5.49 c 4.9s| 20000 | 15046 | 0 | 0.0 | 21M| 998 | - |1895 |6364 | 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | 3.120000e+02 | Inf
5.50/5.52 o 267
5.50/5.52 c * 4.9s| 20101 | 15048 | 0 | 0.0 | 21M| 998 | - |1895 |6321 | 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | 2.670000e+02 | Inf
5.50/5.56 o 250
5.50/5.56 c * 5.0s| 20240 | 15174 | 0 | 0.0 | 21M| 998 | - |1895 |6260 | 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | 2.500000e+02 | Inf
5.50/5.56 o 226
5.50/5.56 c * 5.0s| 20241 | 14880 | 0 | 0.0 | 21M| 998 | - |1895 |6260 | 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | 2.260000e+02 | Inf
5.60/5.62 o 194
5.60/5.62 c * 5.0s| 20452 | 14997 | 0 | 0.0 | 21M| 998 | - |1895 |6160 | 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | 1.940000e+02 | Inf
5.99/6.05 o 191
5.99/6.05 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
5.99/6.05 c * 5.4s| 21964 | 16398 | 0 | 0.0 | 22M| 998 | - |1895 |5183 | 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | 1.910000e+02 | Inf
5.99/6.05 o 190
5.99/6.05 c * 5.4s| 21965 | 16396 | 0 | 0.0 | 22M| 998 | - |1895 |5183 | 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | 1.900000e+02 | Inf
6.09/6.11 o 172
6.09/6.11 c * 5.5s| 22215 | 16457 | 0 | 0.0 | 22M| 998 | - |1895 |5145 | 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | 1.720000e+02 | Inf
6.09/6.15 o 171
6.09/6.15 c * 5.5s| 22357 | 16579 | 0 | 0.0 | 22M| 998 | - |1895 |5138 | 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | 1.710000e+02 | Inf
6.39/6.41 o 163
6.39/6.41 c * 5.8s| 23311 | 17445 | 0 | 0.0 | 23M| 998 | - |1895 |4891 | 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | 1.630000e+02 | Inf
6.49/6.50 o 161
6.49/6.50 c * 5.8s| 23672 | 17764 | 0 | 0.0 | 23M| 998 | - |1895 |4886 | 0 | 0 | 0 | 13k| 0 | 0.000000e+00 | 1.610000e+02 | Inf
6.49/6.51 o 152
6.49/6.51 c * 5.8s| 23676 | 17742 | 0 | 0.0 | 23M| 998 | - |1895 |4886 | 0 | 0 | 0 | 13k| 0 | 0.000000e+00 | 1.520000e+02 | Inf
6.49/6.51 o 128
6.49/6.51 c * 5.8s| 23677 | 17556 | 0 | 0.0 | 23M| 998 | - |1895 |4886 | 0 | 0 | 0 | 13k| 0 | 0.000000e+00 | 1.280000e+02 | Inf
8.09/8.18 c 7.3s| 30000 | 22952 | 0 | 0.0 | 27M| 998 | - |1895 |5540 | 0 | 0 | 0 | 16k| 0 | 0.000000e+00 | 1.280000e+02 | Inf
10.89/10.93 c 9.8s| 40000 | 30997 | 0 | 0.0 | 34M| 998 | - |1895 |5643 | 0 | 0 | 0 | 22k| 0 | 0.000000e+00 | 1.280000e+02 | Inf
13.79/13.87 c 12.4s| 50000 | 38606 | 0 | 0.0 | 41M| 998 | - |1895 |5766 | 0 | 0 | 0 | 29k| 0 | 0.000000e+00 | 1.280000e+02 | Inf
16.79/16.84 c 15.1s| 60000 | 46104 | 0 | 0.0 | 48M| 998 | - |1895 |6597 | 0 | 0 | 0 | 37k| 0 | 0.000000e+00 | 1.280000e+02 | Inf
19.89/19.91 c 17.8s| 70000 | 53513 | 0 | 0.0 | 56M| 998 | - |1895 |7257 | 0 | 0 | 0 | 45k| 0 | 0.000000e+00 | 1.280000e+02 | Inf
23.10/23.14 c 20.8s| 80000 | 60700 | 0 | 0.0 | 63M| 998 | - |1895 |7877 | 0 | 0 | 0 | 54k| 0 | 0.000000e+00 | 1.280000e+02 | Inf
26.40/26.49 c 23.8s| 90000 | 67734 | 0 | 0.0 | 70M| 998 | - |1895 |8904 | 0 | 0 | 0 | 64k| 0 | 0.000000e+00 | 1.280000e+02 | Inf
30.09/30.18 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
30.09/30.18 c 27.2s|100000 | 74383 | 0 | 0.0 | 78M| 998 | - |1895 | 10k| 0 | 0 | 0 | 75k| 0 | 0.000000e+00 | 1.280000e+02 | Inf
34.30/34.39 c 31.0s|110000 | 80446 | 0 | 0.0 | 86M| 998 | - |1895 | 10k| 0 | 0 | 0 | 88k| 0 | 0.000000e+00 | 1.280000e+02 | Inf
39.30/39.30 c 35.6s|120000 | 85807 | 0 | 0.0 | 94M| 998 | - |1895 | 12k| 0 | 0 | 0 | 104k| 0 | 0.000000e+00 | 1.280000e+02 | Inf
45.89/45.90 c 41.8s|130000 | 89601 | 0 | 0.0 | 102M| 998 | - |1895 | 14k| 0 | 0 | 0 | 124k| 0 | 0.000000e+00 | 1.280000e+02 | Inf
51.39/51.43 o 109
51.39/51.43 c *47.0s|137581 | 92497 | 0 | 0.0 | 107M| 998 | - |1895 | 12k| 0 | 0 | 0 | 138k| 0 | 0.000000e+00 | 1.090000e+02 | Inf
52.29/52.34 c 47.9s|140000 | 94655 | 0 | 0.0 | 107M| 998 | - |1895 |9010 | 0 | 0 | 0 | 139k| 0 | 0.000000e+00 | 1.090000e+02 | Inf
53.00/53.00 o 69
53.00/53.00 c *48.5s|141910 | 94583 | 0 | 0.0 | 105M| 998 | - |1895 |7380 | 0 | 0 | 0 | 140k| 0 | 0.000000e+00 | 6.900000e+01 | Inf
55.69/55.73 c 50.9s|150000 |101585 | 0 | 0.0 | 112M| 998 | - |1895 |4946 | 0 | 0 | 0 | 143k| 0 | 0.000000e+00 | 6.900000e+01 | Inf
56.29/56.38 o 43
56.29/56.38 c *51.5s|152014 |102763 | 0 | 0.0 | 112M| 998 | - |1895 |5039 | 0 | 0 | 0 | 143k| 0 | 0.000000e+00 | 4.300000e+01 | Inf
58.69/58.75 o 34
58.69/58.75 c *53.6s|158615 |106733 | 0 | 0.0 | 117M| 998 | - |1895 |6098 | 0 | 0 | 0 | 147k| 0 | 0.000000e+00 | 3.400000e+01 | Inf
59.19/59.23 c 54.0s|160000 |107849 | 0 | 0.0 | 118M| 998 | - |1895 |5382 | 0 | 0 | 0 | 147k| 0 | 0.000000e+00 | 3.400000e+01 | Inf
61.90/61.90 o 32
61.90/61.90 c *56.4s|169463 |115500 | 0 | 0.0 | 123M| 998 | - |1895 |4982 | 0 | 0 | 0 | 151k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
61.99/62.05 c 56.5s|170000 |115951 | 0 | 0.0 | 123M| 998 | - |1895 |5047 | 0 | 0 | 0 | 151k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
65.29/65.31 c 59.4s|180000 |123690 | 0 | 0.0 | 131M| 998 | - |1895 |5530 | 0 | 0 | 0 | 157k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
67.00/67.09 o 12
67.00/67.09 c *61.0s|186207 |127388 | 0 | 0.0 | 132M| 998 | - |1895 |6000 | 0 | 0 | 0 | 159k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
68.20/68.28 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
68.20/68.28 c 62.1s|190000 |130367 | 0 | 0.0 | 135M| 998 | - |1895 |6604 | 0 | 0 | 0 | 162k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
71.29/71.39 c 64.9s|200000 |138260 | 0 | 0.0 | 142M| 998 | - |1895 |6626 | 0 | 0 | 0 | 168k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
74.70/74.73 c 67.9s|210000 |145621 | 0 | 0.0 | 150M| 998 | - |1895 |8291 | 0 | 0 | 0 | 175k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
77.69/77.79 c 70.6s|220000 |153646 | 0 | 0.0 | 156M| 998 | - |1895 |8315 | 0 | 0 | 0 | 181k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
81.40/81.44 c 73.9s|230000 |160764 | 0 | 0.0 | 163M| 998 | - |1895 |7844 | 0 | 0 | 0 | 190k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
84.99/85.02 c 77.1s|240000 |167835 | 0 | 0.0 | 169M| 998 | - |1895 |8620 | 0 | 0 | 0 | 198k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
88.00/88.06 c 79.8s|250000 |175787 | 0 | 0.0 | 176M| 998 | - |1895 |9329 | 0 | 0 | 0 | 204k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
91.69/91.74 c 83.2s|260000 |183019 | 0 | 0.0 | 182M| 998 | - |1895 |4734 | 0 | 0 | 0 | 212k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
94.79/94.87 c 86.0s|270000 |190806 | 0 | 0.0 | 189M| 998 | - |1895 |5101 | 0 | 0 | 0 | 217k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
98.19/98.27 c 89.0s|280000 |197943 | 0 | 0.0 | 196M| 998 | - |1895 |5691 | 0 | 0 | 0 | 224k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
101.79/101.85 c 92.3s|290000 |204830 | 0 | 0.0 | 204M| 998 | - |1895 |5954 | 0 | 0 | 0 | 231k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
105.79/105.83 c 95.9s|300000 |211208 | 0 | 0.0 | 211M| 998 | - |1895 |6191 | 0 | 0 | 0 | 240k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
109.80/109.86 c 99.6s|310000 |217479 | 0 | 0.0 | 218M| 998 | - |1895 |6390 | 0 | 0 | 0 | 250k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
113.90/113.95 c 103s|320000 |223618 | 0 | 0.0 | 226M| 998 | - |1895 |6530 | 0 | 0 | 0 | 260k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
117.89/117.90 c 107s|330000 |229877 | 0 | 0.0 | 233M| 998 | - |1895 |6651 | 0 | 0 | 0 | 269k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
121.89/121.97 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
121.89/121.97 c 111s|340000 |236083 | 0 | 0.0 | 240M| 998 | - |1895 |6979 | 0 | 0 | 0 | 280k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
126.09/126.17 c 115s|350000 |242092 | 0 | 0.0 | 247M| 998 | - |1895 |7675 | 0 | 0 | 0 | 290k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
130.39/130.45 c 118s|360000 |247948 | 0 | 0.0 | 254M| 998 | - |1895 |7779 | 0 | 0 | 0 | 301k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
134.69/134.76 c 122s|370000 |253806 | 0 | 0.0 | 260M| 998 | - |1895 |7843 | 0 | 0 | 0 | 312k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
138.99/139.05 c 126s|380000 |259712 | 0 | 0.0 | 267M| 998 | - |1895 |7841 | 0 | 0 | 0 | 323k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
143.49/143.50 c 130s|390000 |265363 | 0 | 0.0 | 274M| 998 | - |1895 |9193 | 0 | 0 | 0 | 334k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
148.29/148.31 c 135s|400000 |270765 | 0 | 0.0 | 281M| 998 | - |1895 |9635 | 0 | 0 | 0 | 346k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
153.10/153.13 c 139s|410000 |276188 | 0 | 0.0 | 287M| 998 | - |1895 |9915 | 0 | 0 | 0 | 358k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
157.79/157.84 c 144s|420000 |281761 | 0 | 0.0 | 294M| 998 | - |1895 |9167 | 0 | 0 | 0 | 369k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
162.69/162.75 c 148s|430000 |286965 | 0 | 0.0 | 301M| 998 | - |1895 | 10k| 0 | 0 | 0 | 382k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
168.00/168.00 c 153s|440000 |291997 | 0 | 0.0 | 307M| 998 | - |1895 | 11k| 0 | 0 | 0 | 395k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
172.99/173.09 c 158s|450000 |297333 | 0 | 0.0 | 314M| 998 | - |1895 | 11k| 0 | 0 | 0 | 407k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
178.60/178.63 c 163s|460000 |302173 | 0 | 0.0 | 321M| 998 | - |1895 | 12k| 0 | 0 | 0 | 421k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
184.20/184.29 c 168s|470000 |307086 | 0 | 0.0 | 327M| 998 | - |1895 | 11k| 0 | 0 | 0 | 435k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
189.79/189.83 c 174s|480000 |311998 | 0 | 0.0 | 333M| 998 | - |1895 | 12k| 0 | 0 | 0 | 448k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
195.79/195.81 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
195.79/195.81 c 179s|490000 |316473 | 0 | 0.0 | 340M| 998 | - |1895 | 13k| 0 | 0 | 0 | 463k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
201.60/201.69 c 185s|500000 |321270 | 0 | 0.0 | 347M| 998 | - |1895 | 13k| 0 | 0 | 0 | 477k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
207.99/208.07 c 191s|510000 |325481 | 0 | 0.0 | 353M| 998 | - |1895 | 14k| 0 | 0 | 0 | 492k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
214.59/214.69 c 197s|520000 |329657 | 0 | 0.0 | 359M| 998 | - |1895 | 14k| 0 | 0 | 0 | 508k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
221.19/221.28 c 203s|530000 |333973 | 0 | 0.0 | 366M| 998 | - |1895 | 15k| 0 | 0 | 0 | 524k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
228.40/228.49 c 210s|540000 |337593 | 0 | 0.0 | 372M| 998 | - |1895 | 16k| 0 | 0 | 0 | 541k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
236.10/236.11 c 217s|550000 |341115 | 0 | 0.0 | 379M| 998 | - |1895 | 16k| 0 | 0 | 0 | 559k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
243.70/243.79 c 225s|560000 |344832 | 0 | 0.0 | 386M| 998 | - |1895 | 17k| 0 | 0 | 0 | 576k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
252.00/252.05 c 232s|570000 |347933 | 0 | 0.0 | 392M| 998 | - |1895 | 18k| 0 | 0 | 0 | 595k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
261.10/261.17 c 241s|580000 |350489 | 0 | 0.0 | 398M| 998 | - |1895 | 19k| 0 | 0 | 0 | 615k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
270.79/270.82 c 250s|590000 |352883 | 0 | 0.0 | 404M| 998 | - |1895 | 20k| 0 | 0 | 0 | 636k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
281.09/281.13 c 260s|600000 |354970 | 0 | 0.0 | 410M| 998 | - |1895 | 21k| 0 | 0 | 0 | 658k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
292.39/292.43 c 271s|610000 |356657 | 0 | 0.0 | 416M| 998 | - |1895 | 23k| 0 | 0 | 0 | 681k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
305.40/305.48 c 284s|620000 |357445 | 0 | 0.0 | 421M| 998 | - |1895 | 24k| 0 | 0 | 0 | 706k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
319.90/319.99 c 298s|630000 |357785 | 0 | 0.0 | 427M| 998 | - |1895 | 27k| 0 | 0 | 0 | 733k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
337.61/337.65 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
337.61/337.65 c 315s|640000 |357093 | 0 | 0.0 | 431M| 998 | - |1895 | 30k| 0 | 0 | 0 | 762k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
353.30/353.38 c 330s|650000 |358425 | 0 | 0.0 | 429M| 998 | - |1895 | 15k| 0 | 0 | 0 | 784k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
357.30/357.38 c 334s|660000 |366412 | 0 | 0.0 | 437M| 998 | - |1895 |6463 | 0 | 0 | 0 | 789k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
360.90/360.98 c 337s|670000 |374271 | 0 | 0.0 | 447M| 998 | - |1895 |6767 | 0 | 0 | 0 | 795k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
364.50/364.52 c 340s|680000 |382023 | 0 | 0.0 | 455M| 998 | - |1895 |7081 | 0 | 0 | 0 | 800k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
367.90/367.96 c 344s|690000 |389696 | 0 | 0.0 | 462M| 998 | - |1895 |7859 | 0 | 0 | 0 | 806k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
371.50/371.52 c 347s|700000 |397220 | 0 | 0.0 | 469M| 998 | - |1895 |8747 | 0 | 0 | 0 | 812k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
375.20/375.25 c 350s|710000 |404681 | 0 | 0.0 | 475M| 998 | - |1895 |9632 | 0 | 0 | 0 | 818k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
379.10/379.15 c 354s|720000 |411959 | 0 | 0.0 | 482M| 998 | - |1895 | 10k| 0 | 0 | 0 | 824k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
383.30/383.35 c 358s|730000 |418996 | 0 | 0.0 | 489M| 998 | - |1895 | 11k| 0 | 0 | 0 | 831k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
387.90/387.97 c 362s|740000 |425687 | 0 | 0.0 | 497M| 998 | - |1895 | 13k| 0 | 0 | 0 | 840k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
393.10/393.15 c 367s|750000 |432010 | 0 | 0.0 | 506M| 998 | - |1895 | 14k| 0 | 0 | 0 | 849k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
398.90/398.92 c 372s|760000 |438024 | 0 | 0.0 | 516M| 998 | - |1895 | 16k| 0 | 0 | 0 | 859k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
405.81/405.83 c 378s|770000 |443271 | 0 | 0.0 | 525M| 998 | - |1895 | 18k| 0 | 0 | 0 | 870k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
413.70/413.75 c 386s|780000 |448012 | 0 | 0.0 | 535M| 998 | - |1895 | 20k| 0 | 0 | 0 | 883k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
424.61/424.66 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
424.61/424.66 c 396s|790000 |450587 | 0 | 0.0 | 544M| 998 | - |1895 | 23k| 0 | 0 | 0 | 901k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
429.50/429.52 c 401s|800000 |458396 | 0 | 0.0 | 550M| 998 | - |1895 | 13k| 0 | 0 | 0 | 906k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
433.00/433.06 c 404s|810000 |466405 | 0 | 0.0 | 557M| 998 | - |1895 |9324 | 0 | 0 | 0 | 911k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
436.30/436.38 c 407s|820000 |474185 | 0 | 0.0 | 564M| 998 | - |1895 | 11k| 0 | 0 | 0 | 917k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
439.80/439.84 c 410s|830000 |481877 | 0 | 0.0 | 571M| 998 | - |1895 | 12k| 0 | 0 | 0 | 923k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
443.40/443.48 c 414s|840000 |489476 | 0 | 0.0 | 578M| 998 | - |1895 | 13k| 0 | 0 | 0 | 929k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
447.50/447.54 c 417s|850000 |496772 | 0 | 0.0 | 585M| 998 | - |1895 | 14k| 0 | 0 | 0 | 935k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
451.70/451.79 c 421s|860000 |503960 | 0 | 0.0 | 592M| 998 | - |1895 | 14k| 0 | 0 | 0 | 942k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
456.30/456.32 c 425s|870000 |510841 | 0 | 0.0 | 599M| 998 | - |1895 | 16k| 0 | 0 | 0 | 950k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
461.21/461.26 c 430s|880000 |517442 | 0 | 0.0 | 607M| 998 | - |1895 | 17k| 0 | 0 | 0 | 959k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
466.61/466.67 c 435s|890000 |523789 | 0 | 0.0 | 615M| 998 | - |1895 | 18k| 0 | 0 | 0 | 969k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
473.01/473.07 c 441s|900000 |529436 | 0 | 0.0 | 624M| 998 | - |1895 | 21k| 0 | 0 | 0 | 979k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
480.71/480.78 c 448s|910000 |534295 | 0 | 0.0 | 632M| 998 | - |1895 | 23k| 0 | 0 | 0 | 993k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
491.20/491.23 c 458s|920000 |537148 | 0 | 0.0 | 640M| 998 | - |1895 | 28k| 0 | 0 | 0 |1011k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
496.11/496.13 c 463s|930000 |545303 | 0 | 0.0 | 646M| 998 | - |1895 | 17k| 0 | 0 | 0 |1015k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
499.91/499.97 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
499.91/499.97 c 466s|940000 |553419 | 0 | 0.0 | 653M| 998 | - |1895 | 11k| 0 | 0 | 0 |1020k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
503.20/503.21 c 469s|950000 |561363 | 0 | 0.0 | 660M| 998 | - |1895 | 13k| 0 | 0 | 0 |1025k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
506.81/506.88 c 473s|960000 |569091 | 0 | 0.0 | 667M| 998 | - |1895 | 15k| 0 | 0 | 0 |1031k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
510.80/510.88 c 476s|970000 |576529 | 0 | 0.0 | 674M| 998 | - |1895 | 16k| 0 | 0 | 0 |1038k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
515.30/515.32 c 480s|980000 |583687 | 0 | 0.0 | 682M| 998 | - |1895 | 18k| 0 | 0 | 0 |1046k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
520.00/520.05 c 485s|990000 |590652 | 0 | 0.0 | 689M| 998 | - |1895 | 19k| 0 | 0 | 0 |1054k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
520.31/520.37 o 11
520.31/520.37 c * 485s|990639 |590667 | 0 | 0.0 | 688M| 998 | - |1895 | 19k| 0 | 0 | 0 |1054k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
520.31/520.38 o 10
520.31/520.38 c * 485s|990640 |590502 | 0 | 0.0 | 688M| 998 | - |1895 | 19k| 0 | 0 | 0 |1054k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
525.21/525.27 c 490s| 1000k|596771 | 0 | 0.0 | 696M| 998 | - |1895 | 20k| 0 | 0 | 0 |1063k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
531.10/531.10 c 495s| 1010k|603076 | 0 | 0.0 | 704M| 998 | - |1895 | 21k| 0 | 0 | 0 |1073k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
537.60/537.63 c 501s| 1020k|608946 | 0 | 0.0 | 712M| 998 | - |1895 | 23k| 0 | 0 | 0 |1084k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
544.70/544.79 c 508s| 1030k|614444 | 0 | 0.0 | 720M| 998 | - |1895 | 25k| 0 | 0 | 0 |1097k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
553.91/553.90 c 517s| 1040k|618792 | 0 | 0.0 | 729M| 998 | - |1895 | 28k| 0 | 0 | 0 |1113k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
560.01/560.04 c 522s| 1050k|625991 | 0 | 0.0 | 732M| 998 | - |1895 | 19k| 0 | 0 | 0 |1121k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
564.11/564.18 c 526s| 1060k|633910 | 0 | 0.0 | 738M| 998 | - |1895 | 17k| 0 | 0 | 0 |1126k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
564.61/564.64 o 7
564.61/564.64 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
564.61/564.64 c * 527s| 1060k|584033 | 0 | 0.0 | 674M| 998 | - |1895 | 17k| 0 | 0 | 0 |1126k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
568.71/568.71 c 530s| 1070k|590839 | 0 | 0.0 | 681M| 998 | - |1895 | 18k| 0 | 0 | 0 |1132k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
573.41/573.49 c 535s| 1080k|598011 | 0 | 0.0 | 690M| 998 | - |1895 | 19k| 0 | 0 | 0 |1140k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
578.80/578.82 c 540s| 1090k|604860 | 0 | 0.0 | 698M| 998 | - |1895 | 20k| 0 | 0 | 0 |1148k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
584.81/584.86 c 546s| 1100k|611221 | 0 | 0.0 | 707M| 998 | - |1895 | 22k| 0 | 0 | 0 |1157k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
591.61/591.65 c 552s| 1110k|617096 | 0 | 0.0 | 716M| 998 | - |1895 | 24k| 0 | 0 | 0 |1168k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
600.01/600.03 c 560s| 1120k|622148 | 0 | 0.0 | 725M| 998 | - |1895 | 26k| 0 | 0 | 0 |1181k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
611.00/611.08 c 570s| 1130k|625528 | 0 | 0.0 | 733M| 998 | - |1895 | 30k| 0 | 0 | 0 |1198k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
620.81/620.89 c 580s| 1140k|630740 | 0 | 0.0 | 738M| 998 | - |1895 | 25k| 0 | 0 | 0 |1210k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
625.71/625.75 c 584s| 1150k|638638 | 0 | 0.0 | 743M| 998 | - |1895 | 21k| 0 | 0 | 0 |1216k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
630.41/630.46 c 589s| 1160k|646235 | 0 | 0.0 | 750M| 998 | - |1895 | 21k| 0 | 0 | 0 |1223k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
635.41/635.40 c 593s| 1170k|653458 | 0 | 0.0 | 758M| 998 | - |1895 | 22k| 0 | 0 | 0 |1230k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
641.01/641.03 c 599s| 1180k|660302 | 0 | 0.0 | 766M| 998 | - |1895 | 24k| 0 | 0 | 0 |1239k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
647.21/647.27 c 605s| 1190k|666660 | 0 | 0.0 | 774M| 998 | - |1895 | 26k| 0 | 0 | 0 |1249k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
654.61/654.68 c 612s| 1200k|672372 | 0 | 0.0 | 783M| 998 | - |1895 | 29k| 0 | 0 | 0 |1261k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
662.61/662.62 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
662.61/662.62 c 619s| 1210k|677841 | 0 | 0.0 | 791M| 998 | - |1895 | 31k| 0 | 0 | 0 |1274k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
672.71/672.71 c 629s| 1220k|682222 | 0 | 0.0 | 800M| 998 | - |1895 | 34k| 0 | 0 | 0 |1290k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
687.61/687.63 c 643s| 1230k|684327 | 0 | 0.0 | 807M| 998 | - |1895 | 38k| 0 | 0 | 0 |1312k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
693.31/693.39 c 649s| 1240k|692484 | 0 | 0.0 | 810M| 998 | - |1895 | 28k| 0 | 0 | 0 |1318k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
698.61/698.66 c 654s| 1250k|700316 | 0 | 0.0 | 816M| 998 | - |1895 | 27k| 0 | 0 | 0 |1324k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
703.92/703.97 c 659s| 1260k|707815 | 0 | 0.0 | 823M| 998 | - |1895 | 27k| 0 | 0 | 0 |1331k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
709.61/709.64 c 664s| 1270k|714976 | 0 | 0.0 | 831M| 998 | - |1895 | 28k| 0 | 0 | 0 |1339k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
715.91/715.99 c 670s| 1280k|721686 | 0 | 0.0 | 839M| 998 | - |1895 | 30k| 0 | 0 | 0 |1348k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
723.31/723.31 c 677s| 1290k|727824 | 0 | 0.0 | 846M| 998 | - |1895 | 32k| 0 | 0 | 0 |1358k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
731.72/731.73 c 685s| 1300k|733318 | 0 | 0.0 | 854M| 998 | - |1895 | 33k| 0 | 0 | 0 |1371k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
742.31/742.35 c 695s| 1310k|737597 | 0 | 0.0 | 862M| 998 | - |1895 | 37k| 0 | 0 | 0 |1386k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
756.91/756.94 c 709s| 1320k|739979 | 0 | 0.0 | 869M| 998 | - |1895 | 41k| 0 | 0 | 0 |1407k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
765.11/765.11 c 717s| 1330k|746923 | 0 | 0.0 | 870M| 998 | - |1895 | 27k| 0 | 0 | 0 |1415k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
769.92/769.99 c 722s| 1340k|754658 | 0 | 0.0 | 876M| 998 | - |1895 | 25k| 0 | 0 | 0 |1421k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
774.81/774.83 c 726s| 1350k|762202 | 0 | 0.0 | 883M| 998 | - |1895 | 25k| 0 | 0 | 0 |1428k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
780.01/780.03 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
780.01/780.03 c 731s| 1360k|769441 | 0 | 0.0 | 890M| 998 | - |1895 | 27k| 0 | 0 | 0 |1435k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
785.61/785.67 c 736s| 1370k|776392 | 0 | 0.0 | 897M| 998 | - |1895 | 28k| 0 | 0 | 0 |1444k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
792.11/792.12 c 742s| 1380k|782807 | 0 | 0.0 | 904M| 998 | - |1895 | 30k| 0 | 0 | 0 |1453k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
799.11/799.14 c 749s| 1390k|788997 | 0 | 0.0 | 912M| 998 | - |1895 | 32k| 0 | 0 | 0 |1464k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
807.42/807.42 c 757s| 1400k|794370 | 0 | 0.0 | 919M| 998 | - |1895 | 34k| 0 | 0 | 0 |1476k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
817.22/817.21 c 766s| 1410k|798857 | 0 | 0.0 | 926M| 998 | - |1895 | 36k| 0 | 0 | 0 |1491k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
830.82/830.82 c 780s| 1420k|801268 | 0 | 0.0 | 933M| 998 | - |1895 | 39k| 0 | 0 | 0 |1512k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
837.61/837.69 c 786s| 1430k|807945 | 0 | 0.0 | 928M| 998 | - |1895 |7511 | 0 | 0 | 0 |1520k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
841.52/841.57 c 790s| 1440k|815568 | 0 | 0.0 | 936M| 998 | - |1895 |6855 | 0 | 0 | 0 |1527k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
845.22/845.25 c 793s| 1450k|823477 | 0 | 0.0 | 944M| 998 | - |1895 |7977 | 0 | 0 | 0 |1532k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
850.02/850.07 c 797s| 1460k|830278 | 0 | 0.0 | 953M| 998 | - |1895 | 11k| 0 | 0 | 0 |1541k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
854.22/854.26 c 801s| 1470k|837864 | 0 | 0.0 | 960M| 998 | - |1895 |8258 | 0 | 0 | 0 |1548k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
857.93/857.91 c 804s| 1480k|845776 | 0 | 0.0 | 968M| 998 | - |1895 |9481 | 0 | 0 | 0 |1555k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
862.91/862.90 c 809s| 1490k|852288 | 0 | 0.0 | 976M| 998 | - |1895 | 13k| 0 | 0 | 0 |1566k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
866.62/866.64 c 813s| 1500k|860407 | 0 | 0.0 | 982M| 998 | - |1895 |9245 | 0 | 0 | 0 |1572k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
870.03/870.10 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
870.03/870.10 c 816s| 1510k|868613 | 0 | 0.0 | 990M| 998 | - |1895 |9901 | 0 | 0 | 0 |1577k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
874.02/874.09 c 819s| 1520k|876240 | 0 | 0.0 | 997M| 998 | - |1895 | 11k| 0 | 0 | 0 |1585k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
879.92/879.92 c 825s| 1530k|882478 | 0 | 0.0 |1006M| 998 | - |1895 | 15k| 0 | 0 | 0 |1597k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
885.22/885.25 c 830s| 1540k|889486 | 0 | 0.0 |1010M| 998 | - |1895 |6511 | 0 | 0 | 0 |1605k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
889.83/889.88 c 834s| 1550k|895630 | 0 | 0.0 |1018M| 998 | - |1895 |8906 | 0 | 0 | 0 |1614k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
895.51/895.57 c 839s| 1560k|900890 | 0 | 0.0 |1026M| 998 | - |1895 | 10k| 0 | 0 | 0 |1626k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
901.72/901.71 c 845s| 1570k|906048 | 0 | 0.0 |1033M| 998 | - |1895 | 11k| 0 | 0 | 0 |1638k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
908.22/908.25 c 851s| 1580k|911028 | 0 | 0.0 |1040M| 998 | - |1895 | 13k| 0 | 0 | 0 |1651k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
914.92/914.94 c 858s| 1590k|915929 | 0 | 0.0 |1048M| 998 | - |1895 | 13k| 0 | 0 | 0 |1664k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
921.73/921.72 c 864s| 1600k|920620 | 0 | 0.0 |1055M| 998 | - |1895 | 14k| 0 | 0 | 0 |1677k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
928.82/928.85 c 871s| 1610k|925003 | 0 | 0.0 |1061M| 998 | - |1895 | 14k| 0 | 0 | 0 |1691k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
936.32/936.33 c 878s| 1620k|929259 | 0 | 0.0 |1067M| 998 | - |1895 | 13k| 0 | 0 | 0 |1705k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
943.41/943.46 c 885s| 1630k|933794 | 0 | 0.0 |1074M| 998 | - |1895 | 15k| 0 | 0 | 0 |1718k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
951.32/951.35 c 892s| 1640k|937715 | 0 | 0.0 |1080M| 998 | - |1895 | 15k| 0 | 0 | 0 |1733k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
959.32/959.38 c 900s| 1650k|941665 | 0 | 0.0 |1087M| 998 | - |1895 | 16k| 0 | 0 | 0 |1748k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
968.21/968.29 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
968.21/968.29 c 908s| 1660k|945028 | 0 | 0.0 |1094M| 998 | - |1895 | 17k| 0 | 0 | 0 |1764k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
977.32/977.37 c 917s| 1670k|948455 | 0 | 0.0 |1100M| 998 | - |1895 | 17k| 0 | 0 | 0 |1780k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
986.42/986.40 c 926s| 1680k|952016 | 0 | 0.0 |1106M| 998 | - |1895 | 18k| 0 | 0 | 0 |1796k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
996.02/996.04 c 935s| 1690k|955329 | 0 | 0.0 |1112M| 998 | - |1895 | 18k| 0 | 0 | 0 |1812k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1006.12/1006.14 c 945s| 1700k|958536 | 0 | 0.0 |1119M| 998 | - |1895 | 20k| 0 | 0 | 0 |1829k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1015.33/1015.39 c 954s| 1710k|962417 | 0 | 0.0 |1126M| 998 | - |1895 | 21k| 0 | 0 | 0 |1844k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1027.12/1027.17 c 965s| 1720k|964861 | 0 | 0.0 |1131M| 998 | - |1895 | 22k| 0 | 0 | 0 |1863k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1037.62/1037.67 c 975s| 1730k|968369 | 0 | 0.0 |1138M| 998 | - |1895 | 22k| 0 | 0 | 0 |1880k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1050.33/1050.37 c 988s| 1740k|970600 | 0 | 0.0 |1144M| 998 | - |1895 | 24k| 0 | 0 | 0 |1899k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1061.82/1061.88 c 999s| 1750k|973954 | 0 | 0.0 |1150M| 998 | - |1895 | 25k| 0 | 0 | 0 |1916k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1074.92/1074.98 c 1011s| 1760k|976453 | 0 | 0.0 |1155M| 998 | - |1895 | 25k| 0 | 0 | 0 |1935k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1088.12/1088.16 c 1024s| 1770k|978879 | 0 | 0.0 |1162M| 998 | - |1895 | 26k| 0 | 0 | 0 |1954k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1100.23/1100.25 c 1036s| 1780k|982183 | 0 | 0.0 |1168M| 998 | - |1895 | 27k| 0 | 0 | 0 |1972k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1116.22/1116.25 c 1052s| 1790k|983385 | 0 | 0.0 |1173M| 998 | - |1895 | 29k| 0 | 0 | 0 |1994k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1130.02/1130.00 c 1065s| 1800k|986250 | 0 | 0.0 |1179M| 998 | - |1895 | 29k| 0 | 0 | 0 |2012k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1145.52/1145.56 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1145.52/1145.56 c 1080s| 1810k|988159 | 0 | 0.0 |1183M| 998 | - |1895 | 30k| 0 | 0 | 0 |2032k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1161.72/1161.79 c 1096s| 1820k|990188 | 0 | 0.0 |1190M| 998 | - |1895 | 32k| 0 | 0 | 0 |2053k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1177.32/1177.39 c 1111s| 1830k|992838 | 0 | 0.0 |1196M| 998 | - |1895 | 34k| 0 | 0 | 0 |2072k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1196.83/1196.82 c 1130s| 1840k|993858 | 0 | 0.0 |1200M| 998 | - |1895 | 35k| 0 | 0 | 0 |2094k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1213.73/1213.73 c 1147s| 1850k|996229 | 0 | 0.0 |1206M| 998 | - |1895 | 35k| 0 | 0 | 0 |2114k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1230.03/1230.04 c 1163s| 1860k|999114 | 0 | 0.0 |1212M| 998 | - |1895 | 35k| 0 | 0 | 0 |2132k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1250.63/1250.62 c 1183s| 1870k|999958 | 0 | 0.0 |1215M| 998 | - |1895 | 37k| 0 | 0 | 0 |2155k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1269.33/1269.36 c 1201s| 1880k| 1001k| 0 | 0.0 |1222M| 998 | - |1895 | 39k| 0 | 0 | 0 |2176k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1287.33/1287.34 c 1219s| 1890k| 1004k| 0 | 0.0 |1227M| 998 | - |1895 | 39k| 0 | 0 | 0 |2195k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1310.53/1310.52 c 1242s| 1900k| 1005k| 0 | 0.0 |1232M| 998 | - |1895 | 43k| 0 | 0 | 0 |2219k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1332.43/1332.47 c 1263s| 1910k| 1006k| 0 | 0.0 |1237M| 998 | - |1895 | 43k| 0 | 0 | 0 |2240k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1352.83/1352.86 c 1283s| 1920k| 1009k| 0 | 0.0 |1243M| 998 | - |1895 | 43k| 0 | 0 | 0 |2260k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1378.73/1378.73 c 1309s| 1930k| 1009k| 0 | 0.0 |1247M| 998 | - |1895 | 46k| 0 | 0 | 0 |2285k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1403.03/1403.06 c 1332s| 1940k| 1010k| 0 | 0.0 |1252M| 998 | - |1895 | 46k| 0 | 0 | 0 |2307k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1424.83/1424.87 c 1354s| 1950k| 1013k| 0 | 0.0 |1258M| 998 | - |1895 | 46k| 0 | 0 | 0 |2327k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1453.24/1453.23 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1453.24/1453.23 c 1382s| 1960k| 1012k| 0 | 0.0 |1260M| 998 | - |1895 | 46k| 0 | 0 | 0 |2353k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1477.84/1477.89 c 1406s| 1970k| 1014k| 0 | 0.0 |1266M| 998 | - |1895 | 48k| 0 | 0 | 0 |2375k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1501.24/1501.23 c 1429s| 1980k| 1016k| 0 | 0.0 |1272M| 998 | - |1895 | 49k| 0 | 0 | 0 |2396k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1530.15/1530.13 c 1457s| 1990k| 1015k| 0 | 0.0 |1272M| 998 | - |1895 | 46k| 0 | 0 | 0 |2422k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1555.04/1555.08 c 1482s| 2000k| 1016k| 0 | 0.0 |1278M| 998 | - |1895 | 47k| 0 | 0 | 0 |2446k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1579.54/1579.51 c 1506s| 2010k| 1018k| 0 | 0.0 |1284M| 998 | - |1895 | 48k| 0 | 0 | 0 |2467k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1611.64/1611.64 c 1538s| 2020k| 1017k| 0 | 0.0 |1286M| 998 | - |1895 | 52k| 0 | 0 | 0 |2495k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1639.94/1639.96 c 1566s| 2030k| 1018k| 0 | 0.0 |1292M| 998 | - |1895 | 52k| 0 | 0 | 0 |2519k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1668.24/1668.26 c 1594s| 2040k| 1019k| 0 | 0.0 |1296M| 998 | - |1895 | 52k| 0 | 0 | 0 |2542k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1703.14/1703.14 c 1628s| 2050k| 1018k| 0 | 0.0 |1299M| 998 | - |1895 | 55k| 0 | 0 | 0 |2571k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1733.25/1733.22 c 1658s| 2060k| 1019k| 0 | 0.0 |1304M| 998 | - |1895 | 54k| 0 | 0 | 0 |2595k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1769.35/1769.31 c 1693s| 2070k| 1017k| 0 | 0.0 |1305M| 998 | - |1895 | 57k| 0 | 0 | 0 |2623k| 0 | 0.000000e+00 | 7.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) : 1723.59
1800.05/1800.00 c Solving Nodes : 2078681
1800.05/1800.00 c Primal Bound : +7.00000000000000e+00 (29 solutions)
1800.05/1800.00 c Dual Bound : +0.00000000000000e+00
1800.05/1800.00 c Gap : infinite
1800.05/1800.02 s SATISFIABLE
1800.05/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.05/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.05/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.05/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.05/1800.02 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.02 v -x125 -x124 -x123 -x122 -x121 x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 x106 -x105 -x104
1800.05/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.05/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
1800.05/1800.02 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.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.05/1800.02 v x1
1800.05/1800.02 c SCIP Status : solving was interrupted [user interrupt]
1800.05/1800.02 c Solving Time : 1723.59
1800.05/1800.02 c Original Problem :
1800.05/1800.02 c Problem name : HOME/instance-2694061-1277903340.wbo
1800.05/1800.02 c Variables : 2029 (1130 binary, 0 integer, 0 implicit integer, 899 continuous)
1800.05/1800.02 c Constraints : 3607 initial, 3607 maximal
1800.05/1800.02 c Presolved Problem :
1800.05/1800.02 c Problem name : t_HOME/instance-2694061-1277903340.wbo
1800.05/1800.02 c Variables : 1895 (1063 binary, 0 integer, 0 implicit integer, 832 continuous)
1800.05/1800.02 c Constraints : 3349 initial, 58284 maximal
1800.05/1800.02 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.05/1800.02 c trivial : 0.00 67 0 0 0 0 0 0 0
1800.05/1800.02 c dualfix : 0.00 67 0 0 0 0 0 0 0
1800.05/1800.02 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.02 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.02 c implics : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.02 c probing : 0.03 0 0 0 0 0 0 0 0
1800.05/1800.02 c indicator : 0.00 0 0 0 0 0 67 0 0
1800.05/1800.02 c knapsack : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.02 c setppc : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.02 c linear : 0.04 0 0 0 915 0 191 132 0
1800.05/1800.02 c logicor : 0.02 0 0 0 0 0 0 0 0
1800.05/1800.02 c bounddisjunction : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.02 c root node : - 260 - - 520 - - - -
1800.05/1800.02 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.05/1800.02 c integral : 0 0 0 0 0 0 0 0 0 0
1800.05/1800.02 c indicator : 832 0 2640640 0 892526 84 1096037 0 0 0
1800.05/1800.02 c knapsack : 1 0 6153482 0 1711069 133466 15350847 0 0 0
1800.05/1800.02 c setppc : 11 0 6020507 0 1710682 34518 2989361 0 0 0
1800.05/1800.02 c linear : 832 0 5989892 0 1711090 116609 9596811 0 0 0
1800.05/1800.02 c logicor : 1673+ 0 4633191 0 1711112 303304 12731753 0 0 0
1800.05/1800.02 c bounddisjunction : 0+ 0 107743 0 0 59 3628 0 0 0
1800.05/1800.02 c countsols : 0 0 0 0 1711111 0 0 0 0 0
1800.05/1800.02 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.05/1800.02 c integral : 0.00 0.00 0.00 0.00 0.00
1800.05/1800.02 c indicator : 3.12 0.00 1.29 0.00 1.83
1800.05/1800.02 c knapsack : 66.27 0.00 63.78 0.00 2.49
1800.05/1800.02 c setppc : 15.89 0.00 14.04 0.00 1.85
1800.05/1800.02 c linear : 100.47 0.00 99.65 0.00 0.82
1800.05/1800.02 c logicor : 712.00 0.00 640.41 0.00 71.59
1800.05/1800.02 c bounddisjunction : 0.11 0.00 0.11 0.00 0.00
1800.05/1800.02 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.05/1800.02 c Propagators : Time Calls Cutoffs DomReds
1800.05/1800.02 c vbounds : 0.00 2 0 0
1800.05/1800.02 c rootredcost : 0.00 0 0 0
1800.05/1800.02 c pseudoobj : 113.40 6158508 633 1051145
1800.05/1800.02 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.05/1800.02 c propagation : 29.15 588589 588408 3200577 28.3 434982 9.0 -
1800.05/1800.02 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.02 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.02 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.02 c pseudo solution : 0.00 26 26 151 27.4 29 9.9 -
1800.05/1800.02 c applied globally : - - - 2647238 23.3 - - -
1800.05/1800.02 c applied locally : - - - 0 0.0 - - -
1800.05/1800.02 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.05/1800.02 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.05/1800.02 c redcost : 0.00 0 0 0 0 0
1800.05/1800.02 c impliedbounds : 0.00 0 0 0 0 0
1800.05/1800.02 c intobj : 0.00 0 0 0 0 0
1800.05/1800.02 c cgmip : 0.00 0 0 0 0 0
1800.05/1800.02 c gomory : 0.00 0 0 0 0 0
1800.05/1800.02 c strongcg : 0.00 0 0 0 0 0
1800.05/1800.02 c cmir : 0.00 0 0 0 0 0
1800.05/1800.02 c flowcover : 0.00 0 0 0 0 0
1800.05/1800.02 c clique : 0.00 0 0 0 0 0
1800.05/1800.02 c zerohalf : 0.00 0 0 0 0 0
1800.05/1800.02 c mcf : 0.00 0 0 0 0 0
1800.05/1800.02 c rapidlearning : 0.00 0 0 0 0 0
1800.05/1800.02 c Pricers : Time Calls Vars
1800.05/1800.02 c problem variables: 0.00 0 0
1800.05/1800.02 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.05/1800.02 c relpscost : 0.00 0 0 0 0 0 0
1800.05/1800.02 c pscost : 0.00 0 0 0 0 0 0
1800.05/1800.02 c inference : 22.47 1711082 0 0 0 0 3422164
1800.05/1800.02 c mostinf : 0.00 0 0 0 0 0 0
1800.05/1800.02 c leastinf : 0.00 0 0 0 0 0 0
1800.05/1800.02 c fullstrong : 0.00 0 0 0 0 0 0
1800.05/1800.02 c allfullstrong : 0.00 0 0 0 0 0 0
1800.05/1800.02 c random : 0.00 0 0 0 0 0 0
1800.05/1800.02 c Primal Heuristics : Time Calls Found
1800.05/1800.02 c LP solutions : 0.00 - 0
1800.05/1800.02 c pseudo solutions : 0.17 - 29
1800.05/1800.02 c oneopt : 0.07 0 0
1800.05/1800.02 c trivial : 0.00 2 0
1800.05/1800.02 c simplerounding : 0.00 0 0
1800.05/1800.02 c zirounding : 0.00 0 0
1800.05/1800.02 c rounding : 0.00 0 0
1800.05/1800.02 c shifting : 0.00 0 0
1800.05/1800.02 c intshifting : 0.00 0 0
1800.05/1800.02 c twoopt : 0.00 0 0
1800.05/1800.02 c fixandinfer : 0.00 0 0
1800.05/1800.02 c feaspump : 0.00 0 0
1800.05/1800.02 c coefdiving : 0.00 0 0
1800.05/1800.02 c pscostdiving : 0.00 0 0
1800.05/1800.02 c fracdiving : 0.00 0 0
1800.05/1800.02 c veclendiving : 0.00 0 0
1800.05/1800.02 c intdiving : 0.00 0 0
1800.05/1800.02 c actconsdiving : 0.00 0 0
1800.05/1800.02 c objpscostdiving : 0.00 0 0
1800.05/1800.02 c rootsoldiving : 0.00 0 0
1800.05/1800.02 c linesearchdiving : 0.00 0 0
1800.05/1800.02 c guideddiving : 0.00 0 0
1800.05/1800.02 c octane : 0.00 0 0
1800.05/1800.02 c rens : 0.00 0 0
1800.05/1800.02 c rins : 0.00 0 0
1800.05/1800.02 c localbranching : 0.00 0 0
1800.05/1800.02 c mutation : 0.00 0 0
1800.05/1800.02 c crossover : 0.00 0 0
1800.05/1800.02 c dins : 0.00 0 0
1800.05/1800.02 c undercover : 0.00 0 0
1800.05/1800.02 c nlp : 0.00 0 0
1800.05/1800.02 c trysol : 0.00 1 0
1800.05/1800.02 c LP : Time Calls Iterations Iter/call Iter/sec
1800.05/1800.02 c primal LP : 0.00 0 0 0.00 -
1800.05/1800.02 c dual LP : 0.00 0 0 0.00 -
1800.05/1800.02 c lex dual LP : 0.00 0 0 0.00 -
1800.05/1800.02 c barrier LP : 0.00 0 0 0.00 -
1800.05/1800.02 c diving/probing LP: 0.00 0 0 0.00 -
1800.05/1800.02 c strong branching : 0.00 0 0 0.00 -
1800.05/1800.02 c (at root node) : - 0 0 0.00 -
1800.05/1800.02 c conflict analysis: 0.00 0 0 0.00 -
1800.05/1800.02 c B&B Tree :
1800.05/1800.02 c number of runs : 1
1800.05/1800.02 c nodes : 2078681
1800.05/1800.02 c nodes (total) : 2078681
1800.05/1800.02 c nodes left : 1017725
1800.05/1800.02 c max depth : 998
1800.05/1800.02 c max depth (total): 998
1800.05/1800.02 c backtracks : 349973 (16.8%)
1800.05/1800.02 c delayed cutoffs : 267875
1800.05/1800.02 c repropagations : 1109550 (12367156 domain reductions, 221129 cutoffs)
1800.05/1800.02 c avg switch length: 14.40
1800.05/1800.02 c switching time : 510.16
1800.05/1800.02 c Solution :
1800.05/1800.02 c Solutions found : 29 (29 improvements)
1800.05/1800.02 c First Solution : +5.71000000000000e+02 (in run 1, after 3793 nodes, 0.85 seconds, depth 623, found by <relaxation>)
1800.05/1800.02 c Primal Bound : +7.00000000000000e+00 (in run 1, after 1060896 nodes, 526.56 seconds, depth 599, found by <relaxation>)
1800.05/1800.02 c Dual Bound : +0.00000000000000e+00
1800.05/1800.02 c Gap : infinite
1800.05/1800.02 c Root Dual Bound : +0.00000000000000e+00
1800.05/1800.02 c Root Iterations : 0