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-2694177-1277909414.wbo>
0.01/0.03 c original problem has 3785 variables (2008 bin, 0 int, 0 impl, 1777 cont) and 4485 constraints
0.01/0.03 c problem read
0.01/0.03 c presolving settings loaded
0.01/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.01/0.05 c presolving:
0.01/0.06 c (round 1) 0 del vars, 1 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 1913 impls, 7 clqs
0.01/0.09 c (round 2) 0 del vars, 68 del conss, 1777 chg bounds, 53 chg sides, 0 chg coeffs, 0 upgd conss, 1913 impls, 7 clqs
0.10/0.10 c (round 3) 53 del vars, 144 del conss, 1789 chg bounds, 76 chg sides, 0 chg coeffs, 0 upgd conss, 1913 impls, 7 clqs
0.10/0.12 c (round 4) 118 del vars, 156 del conss, 1789 chg bounds, 76 chg sides, 0 chg coeffs, 905 upgd conss, 1913 impls, 7 clqs
0.10/0.13 c (round 5) 130 del vars, 156 del conss, 1789 chg bounds, 76 chg sides, 0 chg coeffs, 905 upgd conss, 1913 impls, 7 clqs
0.10/0.17 c (0.1s) probing: 101/1943 (5.2%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.10/0.17 c (0.1s) probing aborted: 100/100 successive totally useless probings
0.10/0.17 c presolving (6 rounds):
0.10/0.17 c 130 deleted vars, 156 deleted constraints, 1789 tightened bounds, 0 added holes, 76 changed sides, 0 changed coefficients
0.10/0.17 c 1913 implications, 7 cliques
0.10/0.17 c presolved problem has 3655 variables (1943 bin, 0 int, 0 impl, 1712 cont) and 4329 constraints
0.10/0.17 c 1712 constraints of type <indicator>
0.10/0.17 c 7 constraints of type <setppc>
0.10/0.17 c 1712 constraints of type <linear>
0.10/0.17 c 898 constraints of type <logicor>
0.10/0.17 c transformed objective value is always integral (scale: 1)
0.10/0.17 c Presolving Time: 0.12
0.10/0.17 c - non default parameters ----------------------------------------------------------------------
0.10/0.17 c # SCIP version 1.2.1.2
0.10/0.17 c
0.10/0.17 c # frequency for displaying node information lines
0.10/0.17 c # [type: int, range: [-1,2147483647], default: 100]
0.10/0.17 c display/freq = 10000
0.10/0.17 c
0.10/0.17 c # maximal time in seconds to run
0.10/0.17 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.10/0.17 c limits/time = 1799.98
0.10/0.17 c
0.10/0.17 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.10/0.17 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.10/0.17 c limits/memory = 3420
0.10/0.17 c
0.10/0.17 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.10/0.17 c # [type: int, range: [-1,2147483647], default: 1]
0.10/0.17 c lp/solvefreq = -1
0.10/0.17 c
0.10/0.17 c # should presolving try to simplify inequalities
0.10/0.17 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.10/0.17 c constraints/linear/simplifyinequalities = TRUE
0.10/0.17 c
0.10/0.17 c # should presolving try to simplify knapsacks
0.10/0.17 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.10/0.17 c constraints/knapsack/simplifyinequalities = TRUE
0.10/0.17 c
0.10/0.17 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.10/0.17 c # [type: int, range: [-1,2147483647], default: -1]
0.10/0.17 c separating/rapidlearning/freq = 0
0.10/0.17 c
0.10/0.17 c -----------------------------------------------------------------------------------------------
0.10/0.17 c start solving
0.10/0.17 c
0.10/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.10/0.18 c 0.1s| 1 | 2 | 0 | - | 12M| 0 | - |3655 |4329 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
2.20/2.28 o 1077
2.20/2.28 c * 2.2s| 8596 | 5791 | 0 | 0.0 | 16M|1862 | - |3655 |4796 | 0 | 0 | 0 | 651 | 0 | 0.000000e+00 | 1.077000e+03 | Inf
2.29/2.34 o 981
2.29/2.34 c * 2.2s| 8764 | 4559 | 0 | 0.0 | 15M|1862 | - |3655 |4798 | 0 | 0 | 0 | 661 | 0 | 0.000000e+00 | 9.810000e+02 | Inf
2.59/2.66 c 2.5s| 10000 | 5792 | 0 | 0.0 | 16M|1862 | - |3655 |4764 | 0 | 0 | 0 | 667 | 0 | 0.000000e+00 | 9.810000e+02 | Inf
2.69/2.71 o 449
2.69/2.71 c * 2.6s| 10186 | 5341 | 0 | 0.0 | 16M|1862 | - |3655 |4756 | 0 | 0 | 0 | 670 | 0 | 0.000000e+00 | 4.490000e+02 | Inf
2.69/2.71 o 408
2.69/2.71 c * 2.6s| 10187 | 5263 | 0 | 0.0 | 16M|1862 | - |3655 |4756 | 0 | 0 | 0 | 670 | 0 | 0.000000e+00 | 4.080000e+02 | Inf
5.39/5.48 c 5.3s| 20000 | 13566 | 0 | 0.0 | 25M|1862 | - |3655 |6246 | 0 | 0 | 0 |5993 | 0 | 0.000000e+00 | 4.080000e+02 | Inf
8.09/8.15 o 359
8.09/8.15 c * 7.9s| 27026 | 17723 | 0 | 0.0 | 31M|1862 | - |3655 |7782 | 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | 3.590000e+02 | Inf
8.09/8.15 o 275
8.09/8.15 c * 7.9s| 27027 | 17276 | 0 | 0.0 | 31M|1862 | - |3655 |7782 | 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | 2.750000e+02 | Inf
8.49/8.59 o 260
8.49/8.59 c * 8.3s| 27969 | 18153 | 0 | 0.0 | 31M|1862 | - |3655 |7048 | 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | 2.600000e+02 | Inf
9.09/9.10 o 243
9.09/9.10 c * 8.8s| 29062 | 19114 | 0 | 0.0 | 32M|1862 | - |3655 |6816 | 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | 2.430000e+02 | Inf
9.09/9.13 o 224
9.09/9.13 c * 8.8s| 29147 | 18314 | 0 | 0.0 | 31M|1862 | - |3655 |6816 | 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | 2.240000e+02 | Inf
9.09/9.14 o 205
9.09/9.14 c * 8.8s| 29148 | 18239 | 0 | 0.0 | 31M|1862 | - |3655 |6816 | 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | 2.050000e+02 | Inf
9.09/9.19 o 203
9.09/9.19 c * 8.9s| 29267 | 18346 | 0 | 0.0 | 31M|1862 | - |3655 |6809 | 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | 2.030000e+02 | Inf
9.50/9.52 c 9.2s| 30000 | 19042 | 0 | 0.0 | 32M|1862 | - |3655 |6570 | 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | 2.030000e+02 | Inf
10.09/10.10 o 191
10.09/10.10 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
10.09/10.10 c * 9.8s| 31423 | 20172 | 0 | 0.0 | 33M|1862 | - |3655 |6413 | 0 | 0 | 0 | 13k| 0 | 0.000000e+00 | 1.910000e+02 | Inf
10.09/10.14 o 169
10.09/10.14 c * 9.8s| 31508 | 19835 | 0 | 0.0 | 33M|1862 | - |3655 |6404 | 0 | 0 | 0 | 13k| 0 | 0.000000e+00 | 1.690000e+02 | Inf
10.69/10.73 o 150
10.69/10.73 c *10.4s| 32900 | 20743 | 0 | 0.0 | 34M|1862 | - |3655 |6364 | 0 | 0 | 0 | 13k| 0 | 0.000000e+00 | 1.500000e+02 | Inf
10.69/10.73 o 138
10.69/10.73 c *10.4s| 32901 | 20521 | 0 | 0.0 | 33M|1862 | - |3655 |6364 | 0 | 0 | 0 | 13k| 0 | 0.000000e+00 | 1.380000e+02 | Inf
10.79/10.89 o 136
10.79/10.89 c *10.6s| 33280 | 20860 | 0 | 0.0 | 34M|1862 | - |3655 |6303 | 0 | 0 | 0 | 13k| 0 | 0.000000e+00 | 1.360000e+02 | Inf
12.00/12.10 o 125
12.00/12.10 c *11.7s| 36020 | 23210 | 0 | 0.0 | 37M|1862 | - |3655 |6052 | 0 | 0 | 0 | 14k| 0 | 0.000000e+00 | 1.250000e+02 | Inf
13.79/13.83 c 13.4s| 40000 | 26818 | 0 | 0.0 | 43M|1862 | - |3655 |6386 | 0 | 0 | 0 | 15k| 0 | 0.000000e+00 | 1.250000e+02 | Inf
14.30/14.33 o 111
14.30/14.33 c *13.9s| 41285 | 27694 | 0 | 0.0 | 44M|1862 | - |3655 |6437 | 0 | 0 | 0 | 16k| 0 | 0.000000e+00 | 1.110000e+02 | Inf
14.49/14.54 o 110
14.49/14.54 c *14.1s| 41815 | 28149 | 0 | 0.0 | 44M|1862 | - |3655 |6479 | 0 | 0 | 0 | 16k| 0 | 0.000000e+00 | 1.100000e+02 | Inf
14.49/14.55 o 83
14.49/14.55 c *14.1s| 41816 | 25163 | 0 | 0.0 | 39M|1862 | - |3655 |6479 | 0 | 0 | 0 | 16k| 0 | 0.000000e+00 | 8.300000e+01 | Inf
16.79/16.88 o 82
16.79/16.88 c *16.4s| 47200 | 29887 | 0 | 0.0 | 46M|1862 | - |3655 |6486 | 0 | 0 | 0 | 18k| 0 | 0.000000e+00 | 8.200000e+01 | Inf
16.79/16.88 o 79
16.79/16.88 c *16.4s| 47201 | 29681 | 0 | 0.0 | 45M|1862 | - |3655 |6486 | 0 | 0 | 0 | 18k| 0 | 0.000000e+00 | 7.900000e+01 | Inf
17.99/18.04 c 17.5s| 50000 | 32188 | 0 | 0.0 | 49M|1862 | - |3655 |6597 | 0 | 0 | 0 | 19k| 0 | 0.000000e+00 | 7.900000e+01 | Inf
19.49/19.50 o 50
19.49/19.50 c *18.9s| 53644 | 32749 | 0 | 0.0 | 47M|1862 | - |3655 |6971 | 0 | 0 | 0 | 20k| 0 | 0.000000e+00 | 5.000000e+01 | Inf
21.49/21.58 c 20.9s| 60000 | 38247 | 0 | 0.0 | 53M|1862 | - |3655 |7504 | 0 | 0 | 0 | 23k| 0 | 0.000000e+00 | 5.000000e+01 | Inf
24.89/24.93 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
24.89/24.93 c 24.2s| 70000 | 46414 | 0 | 0.0 | 61M|1862 | - |3655 |7429 | 0 | 0 | 0 | 28k| 0 | 0.000000e+00 | 5.000000e+01 | Inf
28.19/28.30 c 27.4s| 80000 | 54429 | 0 | 0.0 | 69M|1862 | - |3655 |7874 | 0 | 0 | 0 | 33k| 0 | 0.000000e+00 | 5.000000e+01 | Inf
31.80/31.85 c 30.9s| 90000 | 62178 | 0 | 0.0 | 77M|1862 | - |3655 |8485 | 0 | 0 | 0 | 39k| 0 | 0.000000e+00 | 5.000000e+01 | Inf
35.70/35.75 c 34.7s|100000 | 69532 | 0 | 0.0 | 86M|1862 | - |3655 |9223 | 0 | 0 | 0 | 47k| 0 | 0.000000e+00 | 5.000000e+01 | Inf
39.99/40.06 c 38.9s|110000 | 76336 | 0 | 0.0 | 96M|1862 | - |3655 | 10k| 0 | 0 | 0 | 57k| 0 | 0.000000e+00 | 5.000000e+01 | Inf
44.69/44.71 c 43.5s|120000 | 82764 | 0 | 0.0 | 104M|1862 | - |3655 | 10k| 0 | 0 | 0 | 67k| 0 | 0.000000e+00 | 5.000000e+01 | Inf
49.79/49.89 c 48.5s|130000 | 88589 | 0 | 0.0 | 114M|1862 | - |3655 | 11k| 0 | 0 | 0 | 80k| 0 | 0.000000e+00 | 5.000000e+01 | Inf
55.70/55.74 c 54.3s|140000 | 93960 | 0 | 0.0 | 123M|1862 | - |3655 | 12k| 0 | 0 | 0 | 94k| 0 | 0.000000e+00 | 5.000000e+01 | Inf
62.79/62.83 c 61.2s|150000 | 98238 | 0 | 0.0 | 132M|1862 | - |3655 | 13k| 0 | 0 | 0 | 110k| 0 | 0.000000e+00 | 5.000000e+01 | Inf
69.89/69.93 c 68.2s|160000 |103949 | 0 | 0.0 | 138M|1862 | - |3655 |6076 | 0 | 0 | 0 | 123k| 0 | 0.000000e+00 | 5.000000e+01 | Inf
73.79/73.81 o 49
73.79/73.81 c *72.0s|167630 |110318 | 0 | 0.0 | 148M|1862 | - |3655 |4902 | 0 | 0 | 0 | 125k| 0 | 0.000000e+00 | 4.900000e+01 | Inf
74.99/75.04 c 73.2s|170000 |112265 | 0 | 0.0 | 151M|1862 | - |3655 |5245 | 0 | 0 | 0 | 126k| 0 | 0.000000e+00 | 4.900000e+01 | Inf
77.59/77.61 o 21
77.59/77.61 c *75.7s|174303 |111934 | 0 | 0.0 | 144M|1862 | - |3655 |6194 | 0 | 0 | 0 | 128k| 0 | 0.000000e+00 | 2.100000e+01 | Inf
80.20/80.23 c 78.3s|180000 |116342 | 0 | 0.0 | 150M|1862 | - |3655 |6302 | 0 | 0 | 0 | 131k| 0 | 0.000000e+00 | 2.100000e+01 | Inf
85.20/85.25 c 83.2s|190000 |123361 | 0 | 0.0 | 161M|1862 | - |3655 |9287 | 0 | 0 | 0 | 138k| 0 | 0.000000e+00 | 2.100000e+01 | Inf
89.30/89.36 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
89.30/89.36 c 87.2s|200000 |131544 | 0 | 0.0 | 169M|1862 | - |3655 |7866 | 0 | 0 | 0 | 142k| 0 | 0.000000e+00 | 2.100000e+01 | Inf
94.09/94.13 c 91.8s|210000 |138893 | 0 | 0.0 | 178M|1862 | - |3655 |7776 | 0 | 0 | 0 | 148k| 0 | 0.000000e+00 | 2.100000e+01 | Inf
98.10/98.16 o 19
98.10/98.16 c *95.8s|219139 |145162 | 0 | 0.0 | 184M|1862 | - |3655 |8771 | 0 | 0 | 0 | 153k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
98.49/98.55 c 96.2s|220000 |145858 | 0 | 0.0 | 184M|1862 | - |3655 |8658 | 0 | 0 | 0 | 154k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
100.59/100.60 o 11
100.59/100.60 c *98.2s|224531 |148040 | 0 | 0.0 | 184M|1862 | - |3655 |8678 | 0 | 0 | 0 | 156k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
101.39/101.47 o 3
101.39/101.47 c *99.0s|226346 |148271 | 0 | 0.0 | 182M|1862 | - |3655 |8816 | 0 | 0 | 0 | 157k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
103.30/103.31 c 101s|230000 |150872 | 0 | 0.0 | 186M|1862 | - |3655 |9703 | 0 | 0 | 0 | 160k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
107.70/107.80 c 105s|240000 |158351 | 0 | 0.0 | 195M|1862 | - |3655 |9704 | 0 | 0 | 0 | 166k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
112.40/112.42 c 110s|250000 |165652 | 0 | 0.0 | 203M|1862 | - |3655 |9529 | 0 | 0 | 0 | 173k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
117.19/117.20 c 114s|260000 |172860 | 0 | 0.0 | 212M|1862 | - |3655 | 11k| 0 | 0 | 0 | 180k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
121.39/121.47 c 119s|270000 |180628 | 0 | 0.0 | 222M|1862 | - |3655 | 11k| 0 | 0 | 0 | 185k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
125.79/125.83 c 123s|280000 |188551 | 0 | 0.0 | 231M|1862 | - |3655 | 10k| 0 | 0 | 0 | 191k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
130.20/130.26 c 127s|290000 |196424 | 0 | 0.0 | 240M|1862 | - |3655 | 12k| 0 | 0 | 0 | 196k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
136.19/136.29 c 133s|300000 |202921 | 0 | 0.0 | 248M|1862 | - |3655 | 11k| 0 | 0 | 0 | 205k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
140.39/140.45 c 137s|310000 |210914 | 0 | 0.0 | 255M|1862 | - |3655 | 12k| 0 | 0 | 0 | 211k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
145.20/145.26 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
145.20/145.26 c 142s|320000 |218446 | 0 | 0.0 | 263M|1862 | - |3655 | 11k| 0 | 0 | 0 | 217k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
149.69/149.71 c 146s|330000 |226294 | 0 | 0.0 | 273M|1862 | - |3655 | 12k| 0 | 0 | 0 | 223k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
154.69/154.74 c 151s|340000 |233575 | 0 | 0.0 | 281M|1862 | - |3655 | 13k| 0 | 0 | 0 | 230k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
162.00/162.05 c 158s|350000 |239070 | 0 | 0.0 | 290M|1862 | - |3655 | 14k| 0 | 0 | 0 | 241k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
166.19/166.23 c 162s|360000 |247078 | 0 | 0.0 | 297M|1862 | - |3655 | 13k| 0 | 0 | 0 | 246k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
171.00/171.02 c 167s|370000 |254383 | 0 | 0.0 | 304M|1862 | - |3655 | 13k| 0 | 0 | 0 | 252k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
175.90/175.94 c 172s|380000 |261710 | 0 | 0.0 | 312M|1862 | - |3655 | 12k| 0 | 0 | 0 | 258k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
180.09/180.17 c 176s|390000 |269753 | 0 | 0.0 | 321M|1862 | - |3655 | 13k| 0 | 0 | 0 | 262k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
186.09/186.19 c 182s|400000 |276136 | 0 | 0.0 | 330M|1862 | - |3655 | 16k| 0 | 0 | 0 | 270k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
190.39/190.42 c 186s|410000 |284270 | 0 | 0.0 | 338M|1862 | - |3655 | 14k| 0 | 0 | 0 | 274k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
195.10/195.15 c 191s|420000 |291908 | 0 | 0.0 | 346M|1862 | - |3655 | 14k| 0 | 0 | 0 | 279k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
199.99/200.10 c 195s|430000 |299308 | 0 | 0.0 | 355M|1862 | - |3655 | 15k| 0 | 0 | 0 | 285k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
205.70/205.71 c 201s|440000 |306207 | 0 | 0.0 | 363M|1862 | - |3655 | 14k| 0 | 0 | 0 | 292k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
211.10/211.15 c 206s|450000 |313273 | 0 | 0.0 | 371M|1862 | - |3655 | 14k| 0 | 0 | 0 | 299k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
215.69/215.79 c 211s|460000 |320959 | 0 | 0.0 | 379M|1862 | - |3655 | 13k| 0 | 0 | 0 | 303k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
220.90/221.00 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
220.90/221.00 c 216s|470000 |328081 | 0 | 0.0 | 388M|1862 | - |3655 | 14k| 0 | 0 | 0 | 309k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
226.50/226.57 c 221s|480000 |334968 | 0 | 0.0 | 397M|1862 | - |3655 | 14k| 0 | 0 | 0 | 316k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
232.49/232.50 c 227s|490000 |341606 | 0 | 0.0 | 406M|1862 | - |3655 | 14k| 0 | 0 | 0 | 322k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
238.49/238.57 c 233s|500000 |348206 | 0 | 0.0 | 415M|1862 | - |3655 | 15k| 0 | 0 | 0 | 330k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
244.79/244.82 c 239s|510000 |354626 | 0 | 0.0 | 424M|1862 | - |3655 | 15k| 0 | 0 | 0 | 337k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
251.49/251.51 c 246s|520000 |360756 | 0 | 0.0 | 433M|1862 | - |3655 | 15k| 0 | 0 | 0 | 345k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
258.20/258.29 c 252s|530000 |366870 | 0 | 0.0 | 443M|1862 | - |3655 | 15k| 0 | 0 | 0 | 354k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
265.20/265.29 c 259s|540000 |372818 | 0 | 0.0 | 452M|1862 | - |3655 | 16k| 0 | 0 | 0 | 362k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
272.29/272.39 c 266s|550000 |378748 | 0 | 0.0 | 461M|1862 | - |3655 | 16k| 0 | 0 | 0 | 371k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
279.40/279.42 c 273s|560000 |384724 | 0 | 0.0 | 470M|1862 | - |3655 | 17k| 0 | 0 | 0 | 379k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
286.69/286.73 c 281s|570000 |390586 | 0 | 0.0 | 479M|1862 | - |3655 | 17k| 0 | 0 | 0 | 388k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
293.80/293.84 c 288s|580000 |396527 | 0 | 0.0 | 488M|1862 | - |3655 | 17k| 0 | 0 | 0 | 397k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
301.49/301.57 c 295s|590000 |402079 | 0 | 0.0 | 497M|1862 | - |3655 | 18k| 0 | 0 | 0 | 407k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
309.40/309.50 c 303s|600000 |407503 | 0 | 0.0 | 505M|1862 | - |3655 | 18k| 0 | 0 | 0 | 417k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
317.70/317.73 c 311s|610000 |412699 | 0 | 0.0 | 514M|1862 | - |3655 | 18k| 0 | 0 | 0 | 428k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
326.09/326.19 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
326.09/326.19 c 319s|620000 |417867 | 0 | 0.0 | 522M|1862 | - |3655 | 18k| 0 | 0 | 0 | 439k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
334.40/334.43 c 328s|630000 |423094 | 0 | 0.0 | 531M|1862 | - |3655 | 19k| 0 | 0 | 0 | 450k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
343.59/343.68 c 337s|640000 |427710 | 0 | 0.0 | 539M|1862 | - |3655 | 20k| 0 | 0 | 0 | 462k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
352.80/352.88 c 346s|650000 |432314 | 0 | 0.0 | 547M|1862 | - |3655 | 20k| 0 | 0 | 0 | 474k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
363.10/363.11 c 356s|660000 |436256 | 0 | 0.0 | 555M|1862 | - |3655 | 21k| 0 | 0 | 0 | 488k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
373.50/373.50 c 366s|670000 |440042 | 0 | 0.0 | 563M|1862 | - |3655 | 21k| 0 | 0 | 0 | 503k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
384.29/384.38 c 377s|680000 |443520 | 0 | 0.0 | 570M|1862 | - |3655 | 21k| 0 | 0 | 0 | 518k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
396.00/396.00 c 388s|690000 |446682 | 0 | 0.0 | 577M|1862 | - |3655 | 20k| 0 | 0 | 0 | 534k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
408.30/408.38 c 401s|700000 |449113 | 0 | 0.0 | 584M|1862 | - |3655 | 23k| 0 | 0 | 0 | 552k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
421.10/421.20 c 413s|710000 |451743 | 0 | 0.0 | 591M|1862 | - |3655 | 22k| 0 | 0 | 0 | 570k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
434.80/434.87 c 427s|720000 |453690 | 0 | 0.0 | 598M|1862 | - |3655 | 24k| 0 | 0 | 0 | 590k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
449.40/449.48 c 441s|730000 |455234 | 0 | 0.0 | 605M|1862 | - |3655 | 24k| 0 | 0 | 0 | 611k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
464.30/464.39 c 456s|740000 |456791 | 0 | 0.0 | 611M|1862 | - |3655 | 25k| 0 | 0 | 0 | 632k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
480.30/480.35 c 472s|750000 |457706 | 0 | 0.0 | 617M|1862 | - |3655 | 27k| 0 | 0 | 0 | 654k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
498.71/498.71 c 490s|760000 |457481 | 0 | 0.0 | 622M|1862 | - |3655 | 30k| 0 | 0 | 0 | 680k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
511.00/511.05 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
511.00/511.05 c 502s|770000 |462096 | 0 | 0.0 | 625M|1862 | - |3655 |8802 | 0 | 0 | 0 | 694k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
516.70/516.79 c 508s|780000 |469797 | 0 | 0.0 | 639M|1862 | - |3655 |8452 | 0 | 0 | 0 | 699k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
522.70/522.78 c 514s|790000 |477297 | 0 | 0.0 | 650M|1862 | - |3655 |8874 | 0 | 0 | 0 | 705k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
529.60/529.60 c 521s|800000 |484446 | 0 | 0.0 | 670M|1862 | - |3655 |9940 | 0 | 0 | 0 | 712k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
537.70/537.71 c 529s|810000 |491030 | 0 | 0.0 | 698M|1862 | - |3655 | 11k| 0 | 0 | 0 | 719k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
546.70/546.70 c 537s|820000 |497276 | 0 | 0.0 | 731M|1862 | - |3655 | 12k| 0 | 0 | 0 | 728k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
558.11/558.10 c 549s|830000 |502630 | 0 | 0.0 | 777M|1862 | - |3655 | 13k| 0 | 0 | 0 | 738k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
571.80/571.82 c 562s|840000 |506694 | 0 | 0.0 | 823M|1862 | - |3655 | 14k| 0 | 0 | 0 | 750k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
590.71/590.75 c 581s|850000 |507796 | 0 | 0.0 | 854M|1862 | - |3655 | 18k| 0 | 0 | 0 | 765k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
604.60/604.62 c 595s|860000 |510955 | 0 | 0.0 | 867M|1862 | - |3655 | 17k| 0 | 0 | 0 | 776k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
610.51/610.55 c 600s|870000 |518767 | 0 | 0.0 | 885M|1862 | - |3655 | 17k| 0 | 0 | 0 | 781k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
616.60/616.69 c 606s|880000 |526407 | 0 | 0.0 | 904M|1862 | - |3655 | 17k| 0 | 0 | 0 | 787k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
623.20/623.22 c 613s|890000 |533815 | 0 | 0.0 | 923M|1862 | - |3655 | 18k| 0 | 0 | 0 | 793k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
631.31/631.34 c 621s|900000 |540619 | 0 | 0.0 | 945M|1862 | - |3655 | 20k| 0 | 0 | 0 | 801k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
640.91/640.96 c 630s|910000 |546792 | 0 | 0.0 | 970M|1862 | - |3655 | 22k| 0 | 0 | 0 | 810k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
652.80/652.86 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
652.80/652.86 c 642s|920000 |552028 | 0 | 0.0 | 996M|1862 | - |3655 | 24k| 0 | 0 | 0 | 821k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
668.31/668.34 c 657s|930000 |555876 | 0 | 0.0 |1022M|1862 | - |3655 | 26k| 0 | 0 | 0 | 835k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
689.01/689.06 c 678s|940000 |557656 | 0 | 0.0 |1040M|1862 | - |3655 | 28k| 0 | 0 | 0 | 852k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
696.71/696.78 c 685s|950000 |565498 | 0 | 0.0 |1059M|1862 | - |3655 | 23k| 0 | 0 | 0 | 857k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
703.51/703.59 c 692s|960000 |572967 | 0 | 0.0 |1071M|1862 | - |3655 | 22k| 0 | 0 | 0 | 864k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
708.21/708.23 o 2
708.21/708.23 c * 697s|966726 |566256 | 0 | 0.0 |1064M|1862 | - |3655 | 23k| 0 | 0 | 0 | 869k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
710.71/710.73 c 699s|970000 |568566 | 0 | 0.0 |1067M|1862 | - |3655 | 24k| 0 | 0 | 0 | 871k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
719.41/719.49 c 708s|980000 |575143 | 0 | 0.0 |1078M|1862 | - |3655 | 25k| 0 | 0 | 0 | 879k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
729.60/729.66 c 718s|990000 |581117 | 0 | 0.0 |1089M|1862 | - |3655 | 27k| 0 | 0 | 0 | 889k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
741.21/741.28 c 729s| 1000k|586475 | 0 | 0.0 |1100M|1862 | - |3655 | 29k| 0 | 0 | 0 | 901k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
756.31/756.33 c 744s| 1010k|590477 | 0 | 0.0 |1110M|1862 | - |3655 | 32k| 0 | 0 | 0 | 915k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
776.91/776.98 c 765s| 1020k|592300 | 0 | 0.0 |1120M|1862 | - |3655 | 38k| 0 | 0 | 0 | 934k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
787.21/787.24 c 775s| 1030k|599527 | 0 | 0.0 |1133M|1862 | - |3655 | 26k| 0 | 0 | 0 | 940k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
794.31/794.31 c 782s| 1040k|606968 | 0 | 0.0 |1142M|1862 | - |3655 | 27k| 0 | 0 | 0 | 947k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
801.81/801.88 c 789s| 1050k|614146 | 0 | 0.0 |1152M|1862 | - |3655 | 28k| 0 | 0 | 0 | 954k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
810.31/810.30 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
810.31/810.30 c 798s| 1060k|620902 | 0 | 0.0 |1161M|1862 | - |3655 | 29k| 0 | 0 | 0 | 963k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
820.21/820.24 c 807s| 1070k|627032 | 0 | 0.0 |1170M|1862 | - |3655 | 30k| 0 | 0 | 0 | 973k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
831.52/831.56 c 819s| 1080k|632577 | 0 | 0.0 |1180M|1862 | - |3655 | 32k| 0 | 0 | 0 | 983k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
844.51/844.58 c 832s| 1090k|637431 | 0 | 0.0 |1190M|1862 | - |3655 | 33k| 0 | 0 | 0 | 996k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
858.21/858.25 c 845s| 1100k|642463 | 0 | 0.0 |1202M|1862 | - |3655 | 33k| 0 | 0 | 0 |1008k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
870.60/870.60 c 857s| 1110k|648216 | 0 | 0.0 |1216M|1862 | - |3655 | 33k| 0 | 0 | 0 |1018k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
882.01/882.04 c 869s| 1120k|654521 | 0 | 0.0 |1233M|1862 | - |3655 | 32k| 0 | 0 | 0 |1028k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
893.01/893.07 c 879s| 1130k|661083 | 0 | 0.0 |1250M|1862 | - |3655 | 32k| 0 | 0 | 0 |1036k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
903.71/903.78 c 890s| 1140k|667796 | 0 | 0.0 |1269M|1862 | - |3655 | 33k| 0 | 0 | 0 |1044k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
915.12/915.12 c 901s| 1150k|674274 | 0 | 0.0 |1286M|1862 | - |3655 | 34k| 0 | 0 | 0 |1053k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
927.41/927.40 c 913s| 1160k|680296 | 0 | 0.0 |1304M|1862 | - |3655 | 37k| 0 | 0 | 0 |1063k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
942.52/942.56 c 928s| 1170k|685364 | 0 | 0.0 |1318M|1862 | - |3655 | 39k| 0 | 0 | 0 |1075k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
962.52/962.53 c 948s| 1180k|688716 | 0 | 0.0 |1328M|1862 | - |3655 | 43k| 0 | 0 | 0 |1092k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
976.51/976.57 c 962s| 1190k|694696 | 0 | 0.0 |1333M|1862 | - |3655 | 34k| 0 | 0 | 0 |1102k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
983.81/983.80 c 969s| 1200k|702428 | 0 | 0.0 |1340M|1862 | - |3655 | 34k| 0 | 0 | 0 |1108k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
992.22/992.29 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
992.22/992.29 c 978s| 1210k|709509 | 0 | 0.0 |1348M|1862 | - |3655 | 35k| 0 | 0 | 0 |1116k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1002.21/1002.20 c 987s| 1220k|715993 | 0 | 0.0 |1357M|1862 | - |3655 | 37k| 0 | 0 | 0 |1125k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1013.12/1013.11 c 998s| 1230k|722097 | 0 | 0.0 |1365M|1862 | - |3655 | 38k| 0 | 0 | 0 |1135k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1025.71/1025.70 c 1011s| 1240k|727536 | 0 | 0.0 |1373M|1862 | - |3655 | 40k| 0 | 0 | 0 |1147k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1040.11/1040.15 c 1025s| 1250k|732271 | 0 | 0.0 |1381M|1862 | - |3655 | 43k| 0 | 0 | 0 |1160k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1058.61/1058.63 c 1043s| 1260k|735557 | 0 | 0.0 |1389M|1862 | - |3655 | 47k| 0 | 0 | 0 |1177k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1072.61/1072.60 c 1057s| 1270k|741275 | 0 | 0.0 |1394M|1862 | - |3655 | 40k| 0 | 0 | 0 |1188k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1080.81/1080.80 c 1065s| 1280k|748916 | 0 | 0.0 |1402M|1862 | - |3655 | 39k| 0 | 0 | 0 |1195k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1089.62/1089.69 c 1074s| 1290k|756161 | 0 | 0.0 |1412M|1862 | - |3655 | 40k| 0 | 0 | 0 |1203k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1099.51/1099.53 c 1084s| 1300k|762982 | 0 | 0.0 |1421M|1862 | - |3655 | 40k| 0 | 0 | 0 |1211k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1110.61/1110.69 c 1095s| 1310k|769237 | 0 | 0.0 |1430M|1862 | - |3655 | 41k| 0 | 0 | 0 |1221k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1124.12/1124.12 c 1108s| 1320k|774703 | 0 | 0.0 |1439M|1862 | - |3655 | 44k| 0 | 0 | 0 |1233k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1139.52/1139.60 c 1123s| 1330k|779165 | 0 | 0.0 |1447M|1862 | - |3655 | 45k| 0 | 0 | 0 |1249k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1161.11/1161.16 c 1145s| 1340k|781811 | 0 | 0.0 |1456M|1862 | - |3655 | 52k| 0 | 0 | 0 |1268k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1170.82/1170.83 c 1154s| 1350k|789665 | 0 | 0.0 |1463M|1862 | - |3655 | 41k| 0 | 0 | 0 |1273k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1179.92/1179.98 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1179.92/1179.98 c 1163s| 1360k|797297 | 0 | 0.0 |1474M|1862 | - |3655 | 41k| 0 | 0 | 0 |1280k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1189.81/1189.87 c 1173s| 1370k|804483 | 0 | 0.0 |1483M|1862 | - |3655 | 40k| 0 | 0 | 0 |1287k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1200.52/1200.59 c 1184s| 1380k|810984 | 0 | 0.0 |1492M|1862 | - |3655 | 43k| 0 | 0 | 0 |1297k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1212.72/1212.77 c 1196s| 1390k|817000 | 0 | 0.0 |1500M|1862 | - |3655 | 45k| 0 | 0 | 0 |1308k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1226.02/1226.01 c 1209s| 1400k|822699 | 0 | 0.0 |1509M|1862 | - |3655 | 46k| 0 | 0 | 0 |1319k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1242.93/1242.91 c 1226s| 1410k|827238 | 0 | 0.0 |1518M|1862 | - |3655 | 48k| 0 | 0 | 0 |1334k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1266.32/1266.35 c 1249s| 1420k|829752 | 0 | 0.0 |1525M|1862 | - |3655 | 54k| 0 | 0 | 0 |1353k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1274.31/1274.33 c 1257s| 1430k|837887 | 0 | 0.0 |1528M|1862 | - |3655 | 37k| 0 | 0 | 0 |1356k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1281.02/1281.06 c 1264s| 1440k|845719 | 0 | 0.0 |1536M|1862 | - |3655 | 38k| 0 | 0 | 0 |1360k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1287.92/1287.96 c 1270s| 1450k|853419 | 0 | 0.0 |1544M|1862 | - |3655 | 38k| 0 | 0 | 0 |1364k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1295.02/1295.09 c 1277s| 1460k|860946 | 0 | 0.0 |1552M|1862 | - |3655 | 38k| 0 | 0 | 0 |1368k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1303.02/1303.03 c 1285s| 1470k|868107 | 0 | 0.0 |1560M|1862 | - |3655 | 38k| 0 | 0 | 0 |1373k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1311.22/1311.26 c 1293s| 1480k|875043 | 0 | 0.0 |1568M|1862 | - |3655 | 39k| 0 | 0 | 0 |1378k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1319.52/1319.53 c 1302s| 1490k|881876 | 0 | 0.0 |1576M|1862 | - |3655 | 39k| 0 | 0 | 0 |1384k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1328.83/1328.81 c 1311s| 1500k|888389 | 0 | 0.0 |1584M|1862 | - |3655 | 39k| 0 | 0 | 0 |1390k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1338.42/1338.47 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1338.42/1338.47 c 1320s| 1510k|894634 | 0 | 0.0 |1592M|1862 | - |3655 | 40k| 0 | 0 | 0 |1396k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1348.92/1348.92 c 1331s| 1520k|900571 | 0 | 0.0 |1600M|1862 | - |3655 | 40k| 0 | 0 | 0 |1403k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1359.92/1359.93 c 1341s| 1530k|906182 | 0 | 0.0 |1608M|1862 | - |3655 | 41k| 0 | 0 | 0 |1411k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1371.22/1371.27 c 1353s| 1540k|911636 | 0 | 0.0 |1616M|1862 | - |3655 | 42k| 0 | 0 | 0 |1419k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1385.82/1385.81 c 1367s| 1550k|916383 | 0 | 0.0 |1624M|1862 | - |3655 | 43k| 0 | 0 | 0 |1428k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1401.42/1401.43 c 1382s| 1560k|920764 | 0 | 0.0 |1631M|1862 | - |3655 | 43k| 0 | 0 | 0 |1438k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1419.52/1419.54 c 1400s| 1570k|924071 | 0 | 0.0 |1638M|1862 | - |3655 | 45k| 0 | 0 | 0 |1449k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1439.52/1439.53 c 1419s| 1580k|926584 | 0 | 0.0 |1644M|1862 | - |3655 | 47k| 0 | 0 | 0 |1462k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1453.03/1453.03 c 1432s| 1590k|932112 | 0 | 0.0 |1647M|1862 | - |3655 | 38k| 0 | 0 | 0 |1469k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1460.52/1460.57 c 1439s| 1600k|939870 | 0 | 0.0 |1654M|1862 | - |3655 | 38k| 0 | 0 | 0 |1473k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1468.82/1468.89 c 1447s| 1610k|947150 | 0 | 0.0 |1663M|1862 | - |3655 | 39k| 0 | 0 | 0 |1477k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1477.72/1477.76 c 1456s| 1620k|954085 | 0 | 0.0 |1671M|1862 | - |3655 | 39k| 0 | 0 | 0 |1483k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1487.53/1487.56 c 1465s| 1630k|960511 | 0 | 0.0 |1679M|1862 | - |3655 | 40k| 0 | 0 | 0 |1489k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1498.23/1498.24 c 1476s| 1640k|966576 | 0 | 0.0 |1687M|1862 | - |3655 | 40k| 0 | 0 | 0 |1496k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1509.72/1509.70 c 1487s| 1650k|972287 | 0 | 0.0 |1695M|1862 | - |3655 | 40k| 0 | 0 | 0 |1504k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1521.33/1521.33 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1521.33/1521.33 c 1498s| 1660k|977924 | 0 | 0.0 |1702M|1862 | - |3655 | 40k| 0 | 0 | 0 |1511k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1533.02/1533.05 c 1509s| 1670k|983765 | 0 | 0.0 |1710M|1862 | - |3655 | 40k| 0 | 0 | 0 |1518k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1544.83/1544.86 c 1521s| 1680k|989481 | 0 | 0.0 |1717M|1862 | - |3655 | 40k| 0 | 0 | 0 |1525k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1556.12/1556.15 c 1532s| 1690k|995554 | 0 | 0.0 |1724M|1862 | - |3655 | 40k| 0 | 0 | 0 |1532k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1566.92/1566.93 c 1542s| 1700k| 1001k| 0 | 0.0 |1732M|1862 | - |3655 | 40k| 0 | 0 | 0 |1538k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1577.52/1577.57 c 1552s| 1710k| 1008k| 0 | 0.0 |1740M|1862 | - |3655 | 39k| 0 | 0 | 0 |1544k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1588.33/1588.32 c 1563s| 1720k| 1014k| 0 | 0.0 |1748M|1862 | - |3655 | 39k| 0 | 0 | 0 |1551k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1599.12/1599.18 c 1573s| 1730k| 1020k| 0 | 0.0 |1755M|1862 | - |3655 | 40k| 0 | 0 | 0 |1557k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1609.72/1609.79 c 1583s| 1740k| 1026k| 0 | 0.0 |1763M|1862 | - |3655 | 39k| 0 | 0 | 0 |1563k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1620.42/1620.45 c 1594s| 1750k| 1033k| 0 | 0.0 |1770M|1862 | - |3655 | 39k| 0 | 0 | 0 |1569k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1630.93/1630.91 c 1604s| 1760k| 1039k| 0 | 0.0 |1778M|1862 | - |3655 | 39k| 0 | 0 | 0 |1576k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1641.63/1641.63 c 1614s| 1770k| 1045k| 0 | 0.0 |1786M|1862 | - |3655 | 40k| 0 | 0 | 0 |1582k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1652.82/1652.81 c 1625s| 1780k| 1051k| 0 | 0.0 |1793M|1862 | - |3655 | 40k| 0 | 0 | 0 |1589k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1664.13/1664.17 c 1636s| 1790k| 1058k| 0 | 0.0 |1801M|1862 | - |3655 | 40k| 0 | 0 | 0 |1595k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1676.23/1676.22 c 1648s| 1800k| 1063k| 0 | 0.0 |1808M|1862 | - |3655 | 41k| 0 | 0 | 0 |1602k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1690.02/1690.02 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1690.02/1690.02 c 1661s| 1810k| 1069k| 0 | 0.0 |1816M|1862 | - |3655 | 41k| 0 | 0 | 0 |1610k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1703.73/1703.74 c 1674s| 1820k| 1074k| 0 | 0.0 |1824M|1862 | - |3655 | 42k| 0 | 0 | 0 |1618k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1720.33/1720.37 c 1691s| 1830k| 1078k| 0 | 0.0 |1831M|1862 | - |3655 | 43k| 0 | 0 | 0 |1627k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1736.93/1736.93 c 1707s| 1840k| 1083k| 0 | 0.0 |1838M|1862 | - |3655 | 43k| 0 | 0 | 0 |1637k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1754.54/1754.53 c 1724s| 1850k| 1086k| 0 | 0.0 |1845M|1862 | - |3655 | 45k| 0 | 0 | 0 |1648k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1776.13/1776.15 c 1745s| 1860k| 1089k| 0 | 0.0 |1852M|1862 | - |3655 | 47k| 0 | 0 | 0 |1660k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1799.02/1799.02 c 1767s| 1870k| 1092k| 0 | 0.0 |1854M|1862 | - |3655 | 42k| 0 | 0 | 0 |1672k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1800.04/1800.00 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.04/1800.00 c
1800.04/1800.00 c SCIP Status : solving was interrupted [user interrupt]
1800.04/1800.00 c Solving Time (sec) : 1768.42
1800.04/1800.00 c Solving Nodes : 1871146
1800.04/1800.00 c Primal Bound : +2.00000000000000e+00 (29 solutions)
1800.04/1800.00 c Dual Bound : +0.00000000000000e+00
1800.04/1800.00 c Gap : infinite
1800.04/1800.04 s SATISFIABLE
1800.04/1800.04 v -x231 -x230 -x229 -x228 -x227 -x226 -x225 x224 -x223 -x222 -x221 -x220 x219 -x218 -x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210
1800.04/1800.04 v -x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 x201 -x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189
1800.04/1800.04 v -x188 -x187 -x186 -x185 -x184 -x183 x182 -x181 x180 -x179 -x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168
1800.04/1800.04 v -x167 x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 x147
1800.04/1800.04 v -x146 -x145 -x144 -x143 -x142 -x141 -x140 x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126
1800.04/1800.04 v -x125 -x124 -x123 x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 x112 -x111 -x110 -x109 x108 -x107 -x106 -x105 -x104
1800.04/1800.04 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.04/1800.04 v -x79 -x78 -x77 -x76 -x75 -x74 -x73 x72 -x71 -x70 -x69 -x68 -x67 -x66 x65 -x64 -x63 -x62 -x61 -x60 -x59 -x58 -x57 -x56 -x55 -x54
1800.04/1800.04 v -x53 x52 -x51 -x50 -x49 -x48 -x47 -x46 -x45 x44 -x43 -x42 -x41 -x40 -x39 -x38 -x37 -x36 -x35 -x34 -x33 -x32 -x31 -x30 -x29
1800.04/1800.04 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.04/1800.04 v x1
1800.04/1800.04 c SCIP Status : solving was interrupted [user interrupt]
1800.04/1800.04 c Solving Time : 1768.42
1800.04/1800.04 c Original Problem :
1800.04/1800.04 c Problem name : HOME/instance-2694177-1277909414.wbo
1800.04/1800.04 c Variables : 3785 (2008 binary, 0 integer, 0 implicit integer, 1777 continuous)
1800.04/1800.04 c Constraints : 4485 initial, 4485 maximal
1800.04/1800.04 c Presolved Problem :
1800.04/1800.04 c Problem name : t_HOME/instance-2694177-1277909414.wbo
1800.04/1800.04 c Variables : 3655 (1943 binary, 0 integer, 0 implicit integer, 1712 continuous)
1800.04/1800.04 c Constraints : 4329 initial, 54414 maximal
1800.04/1800.04 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.04/1800.04 c trivial : 0.00 65 0 0 0 0 0 0 0
1800.04/1800.04 c dualfix : 0.00 65 0 0 0 0 0 0 0
1800.04/1800.04 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.04 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.04 c implics : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.04 c probing : 0.03 0 0 0 0 0 0 0 0
1800.04/1800.04 c indicator : 0.00 0 0 0 0 0 65 0 0
1800.04/1800.04 c setppc : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.04 c linear : 0.08 0 0 0 1789 0 91 76 0
1800.04/1800.04 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.04 c bounddisjunction : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.04 c root node : - 1690 - - 3380 - - - -
1800.04/1800.04 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.04/1800.04 c integral : 0 0 0 0 0 0 0 0 0 0
1800.04/1800.04 c indicator : 1712 0 4112505 0 1228373 70 5123282 0 0 0
1800.04/1800.04 c setppc : 7 0 5574631 0 1598003 22993 2101740 0 0 0
1800.04/1800.04 c linear : 1712 0 5562891 0 1604417 206845 25608517 0 0 0
1800.04/1800.04 c logicor : 898+ 0 3651998 0 1604433 204949 5740750 0 0 0
1800.04/1800.04 c bounddisjunction : 0+ 0 106201 0 0 0 68 0 0 0
1800.04/1800.04 c countsols : 0 0 0 0 1604432 0 0 0 0 0
1800.04/1800.04 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.04/1800.04 c integral : 0.00 0.00 0.00 0.00 0.00
1800.04/1800.04 c indicator : 13.64 0.00 8.74 0.00 4.90
1800.04/1800.04 c setppc : 16.34 0.00 14.54 0.00 1.80
1800.04/1800.04 c linear : 233.80 0.00 231.62 0.00 2.18
1800.04/1800.04 c logicor : 574.77 0.00 527.84 0.00 46.93
1800.04/1800.04 c bounddisjunction : 0.30 0.00 0.30 0.00 0.00
1800.04/1800.04 c countsols : 0.27 0.00 0.00 0.00 0.27
1800.04/1800.04 c Propagators : Time Calls Cutoffs DomReds
1800.04/1800.04 c vbounds : 1.04 2 0 0
1800.04/1800.04 c rootredcost : 1.15 0 0 0
1800.04/1800.04 c pseudoobj : 212.43 5587031 1169 5109624
1800.04/1800.04 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.04/1800.04 c propagation : 39.54 435956 435862 2508219 26.2 203599 7.0 -
1800.04/1800.04 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.04 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.04 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.04 c pseudo solution : 0.03 82 82 329 19.0 159 9.4 -
1800.04/1800.04 c applied globally : - - - 1673274 21.9 - - -
1800.04/1800.04 c applied locally : - - - 0 0.0 - - -
1800.04/1800.04 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.04/1800.04 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.04/1800.04 c redcost : 0.00 0 0 0 0 0
1800.04/1800.04 c impliedbounds : 0.00 0 0 0 0 0
1800.04/1800.04 c intobj : 0.00 0 0 0 0 0
1800.04/1800.04 c cgmip : 0.00 0 0 0 0 0
1800.04/1800.04 c gomory : 0.00 0 0 0 0 0
1800.04/1800.04 c strongcg : 0.00 0 0 0 0 0
1800.04/1800.04 c cmir : 0.00 0 0 0 0 0
1800.04/1800.04 c flowcover : 0.00 0 0 0 0 0
1800.04/1800.04 c clique : 0.00 0 0 0 0 0
1800.04/1800.04 c zerohalf : 0.00 0 0 0 0 0
1800.04/1800.04 c mcf : 0.00 0 0 0 0 0
1800.04/1800.04 c rapidlearning : 0.00 0 0 0 0 0
1800.04/1800.04 c Pricers : Time Calls Vars
1800.04/1800.04 c problem variables: 0.00 0 0
1800.04/1800.04 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.04/1800.04 c relpscost : 0.00 0 0 0 0 0 0
1800.04/1800.04 c pscost : 0.00 0 0 0 0 0 0
1800.04/1800.04 c inference : 27.27 1604403 0 0 0 0 3208806
1800.04/1800.04 c mostinf : 0.00 0 0 0 0 0 0
1800.04/1800.04 c leastinf : 0.00 0 0 0 0 0 0
1800.04/1800.04 c fullstrong : 0.00 0 0 0 0 0 0
1800.04/1800.04 c allfullstrong : 0.00 0 0 0 0 0 0
1800.04/1800.04 c random : 0.00 0 0 0 0 0 0
1800.04/1800.04 c Primal Heuristics : Time Calls Found
1800.04/1800.04 c LP solutions : 0.00 - 0
1800.04/1800.04 c pseudo solutions : 0.09 - 29
1800.04/1800.04 c oneopt : 0.64 0 0
1800.04/1800.04 c trivial : 0.00 2 0
1800.04/1800.04 c simplerounding : 0.00 0 0
1800.04/1800.04 c zirounding : 0.00 0 0
1800.04/1800.04 c rounding : 0.00 0 0
1800.04/1800.04 c shifting : 0.00 0 0
1800.04/1800.04 c intshifting : 0.00 0 0
1800.04/1800.04 c twoopt : 0.00 0 0
1800.04/1800.04 c fixandinfer : 0.00 0 0
1800.04/1800.04 c feaspump : 0.00 0 0
1800.04/1800.04 c coefdiving : 0.00 0 0
1800.04/1800.04 c pscostdiving : 0.00 0 0
1800.04/1800.04 c fracdiving : 0.00 0 0
1800.04/1800.04 c veclendiving : 0.00 0 0
1800.04/1800.04 c intdiving : 0.00 0 0
1800.04/1800.04 c actconsdiving : 0.00 0 0
1800.04/1800.04 c objpscostdiving : 0.00 0 0
1800.04/1800.04 c rootsoldiving : 0.00 0 0
1800.04/1800.04 c linesearchdiving : 0.00 0 0
1800.04/1800.04 c guideddiving : 0.00 0 0
1800.04/1800.04 c octane : 0.00 0 0
1800.04/1800.04 c rens : 0.00 0 0
1800.04/1800.04 c rins : 0.00 0 0
1800.04/1800.04 c localbranching : 0.00 0 0
1800.04/1800.04 c mutation : 0.00 0 0
1800.04/1800.04 c crossover : 0.00 0 0
1800.04/1800.04 c dins : 0.00 0 0
1800.04/1800.04 c undercover : 0.00 0 0
1800.04/1800.04 c nlp : 0.34 0 0
1800.04/1800.04 c trysol : 0.45 1 0
1800.04/1800.04 c LP : Time Calls Iterations Iter/call Iter/sec
1800.04/1800.04 c primal LP : 0.00 0 0 0.00 -
1800.04/1800.04 c dual LP : 0.00 0 0 0.00 -
1800.04/1800.04 c lex dual LP : 0.00 0 0 0.00 -
1800.04/1800.04 c barrier LP : 0.00 0 0 0.00 -
1800.04/1800.04 c diving/probing LP: 0.00 0 0 0.00 -
1800.04/1800.04 c strong branching : 0.00 0 0 0.00 -
1800.04/1800.04 c (at root node) : - 0 0 0.00 -
1800.04/1800.04 c conflict analysis: 0.00 0 0 0.00 -
1800.04/1800.04 c B&B Tree :
1800.04/1800.04 c number of runs : 1
1800.04/1800.04 c nodes : 1871146
1800.04/1800.04 c nodes (total) : 1871146
1800.04/1800.04 c nodes left : 1093152
1800.04/1800.04 c max depth : 1862
1800.04/1800.04 c max depth (total): 1862
1800.04/1800.04 c backtracks : 252546 (13.5%)
1800.04/1800.04 c delayed cutoffs : 211852
1800.04/1800.04 c repropagations : 953707 (11878331 domain reductions, 169394 cutoffs)
1800.04/1800.04 c avg switch length: 27.58
1800.04/1800.04 c switching time : 532.49
1800.04/1800.04 c Solution :
1800.04/1800.04 c Solutions found : 29 (29 improvements)
1800.04/1800.04 c First Solution : +1.07700000000000e+03 (in run 1, after 8596 nodes, 2.17 seconds, depth 1430, found by <relaxation>)
1800.04/1800.04 c Primal Bound : +2.00000000000000e+00 (in run 1, after 966726 nodes, 696.74 seconds, depth 378, found by <relaxation>)
1800.04/1800.04 c Dual Bound : +0.00000000000000e+00
1800.04/1800.04 c Gap : infinite
1800.04/1800.04 c Root Dual Bound : +0.00000000000000e+00
1800.04/1800.04 c Root Iterations : 0