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-2694057-1277903053.wbo>
0.00/0.02 c original problem has 2053 variables (1142 bin, 0 int, 0 impl, 911 cont) and 3619 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.03 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, 1131 impls, 16 clqs
0.07/0.07 c (round 2) 0 del vars, 116 del conss, 911 chg bounds, 50 chg sides, 0 chg coeffs, 0 upgd conss, 1131 impls, 16 clqs
0.07/0.09 c (round 3) 50 del vars, 249 del conss, 926 chg bounds, 133 chg sides, 0 chg coeffs, 0 upgd conss, 1131 impls, 16 clqs
0.09/0.10 c (round 4) 115 del vars, 264 del conss, 926 chg bounds, 133 chg sides, 0 chg coeffs, 1663 upgd conss, 1131 impls, 16 clqs
0.09/0.11 c (round 5) 130 del vars, 264 del conss, 926 chg bounds, 133 chg sides, 0 chg coeffs, 1663 upgd conss, 1131 impls, 16 clqs
0.09/0.15 c (0.1s) probing: 101/1077 (9.4%) - 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 130 deleted vars, 264 deleted constraints, 926 tightened bounds, 0 added holes, 133 changed sides, 0 changed coefficients
0.09/0.15 c 1131 implications, 16 cliques
0.09/0.15 c presolved problem has 1923 variables (1077 bin, 0 int, 0 impl, 846 cont) and 3355 constraints
0.09/0.15 c 846 constraints of type <indicator>
0.09/0.15 c 16 constraints of type <setppc>
0.09/0.15 c 846 constraints of type <linear>
0.09/0.15 c 1647 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 | - |7508k| 0 | - |1923 |3355 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
0.89/0.95 o 835
0.89/0.95 c * 0.8s| 3539 | 3106 | 0 | 0.0 |9998k| 975 | - |1923 |4056 | 0 | 0 | 0 | 938 | 0 | 0.000000e+00 | 8.350000e+02 | Inf
0.89/0.98 o 484
0.89/0.98 c * 0.8s| 3665 | 3228 | 0 | 0.0 | 10M| 975 | - |1923 |4057 | 0 | 0 | 0 | 943 | 0 | 0.000000e+00 | 4.840000e+02 | Inf
0.99/1.05 o 242
0.99/1.05 c * 0.9s| 3908 | 3454 | 0 | 0.0 | 10M| 975 | - |1923 |4056 | 0 | 0 | 0 | 950 | 0 | 0.000000e+00 | 2.420000e+02 | Inf
2.49/2.53 c 2.2s| 10000 | 8636 | 0 | 0.0 | 14M| 975 | - |1923 |4513 | 0 | 0 | 0 |3209 | 0 | 0.000000e+00 | 2.420000e+02 | Inf
5.29/5.39 c 4.8s| 20000 | 16154 | 0 | 0.0 | 21M| 975 | - |1923 |5355 | 0 | 0 | 0 |8999 | 0 | 0.000000e+00 | 2.420000e+02 | Inf
8.19/8.25 o 225
8.19/8.25 c * 7.4s| 27097 | 19850 | 0 | 0.0 | 27M| 975 | - |1923 |6016 | 0 | 0 | 0 | 17k| 0 | 0.000000e+00 | 2.250000e+02 | Inf
8.19/8.25 o 154
8.19/8.25 c * 7.4s| 27098 | 19735 | 0 | 0.0 | 27M| 975 | - |1923 |6016 | 0 | 0 | 0 | 17k| 0 | 0.000000e+00 | 1.540000e+02 | Inf
8.29/8.38 o 88
8.29/8.38 c * 7.5s| 27543 | 19584 | 0 | 0.0 | 26M| 975 | - |1923 |5711 | 0 | 0 | 0 | 17k| 0 | 0.000000e+00 | 8.800000e+01 | Inf
8.39/8.41 o 84
8.39/8.41 c * 7.6s| 27627 | 19598 | 0 | 0.0 | 27M| 975 | - |1923 |5656 | 0 | 0 | 0 | 17k| 0 | 0.000000e+00 | 8.400000e+01 | Inf
8.39/8.44 o 65
8.39/8.44 c * 7.6s| 27705 | 19498 | 0 | 0.0 | 27M| 975 | - |1923 |5601 | 0 | 0 | 0 | 17k| 0 | 0.000000e+00 | 6.500000e+01 | Inf
9.09/9.19 o 58
9.09/9.19 c * 8.3s| 29928 | 21429 | 0 | 0.0 | 28M| 975 | - |1923 |4400 | 0 | 0 | 0 | 18k| 0 | 0.000000e+00 | 5.800000e+01 | Inf
9.19/9.22 c 8.3s| 30000 | 21483 | 0 | 0.0 | 28M| 975 | - |1923 |4410 | 0 | 0 | 0 | 18k| 0 | 0.000000e+00 | 5.800000e+01 | Inf
9.39/9.47 o 37
9.39/9.47 c * 8.5s| 30614 | 21610 | 0 | 0.0 | 29M| 975 | - |1923 |4606 | 0 | 0 | 0 | 18k| 0 | 0.000000e+00 | 3.700000e+01 | Inf
12.40/12.45 c 11.2s| 40000 | 29344 | 0 | 0.0 | 36M| 975 | - |1923 |4526 | 0 | 0 | 0 | 22k| 0 | 0.000000e+00 | 3.700000e+01 | Inf
13.29/13.36 o 29
13.29/13.36 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
13.29/13.36 c *12.0s| 43240 | 31875 | 0 | 0.0 | 37M| 975 | - |1923 |4725 | 0 | 0 | 0 | 23k| 0 | 0.000000e+00 | 2.900000e+01 | Inf
15.19/15.28 c 13.8s| 50000 | 37300 | 0 | 0.0 | 42M| 975 | - |1923 |5234 | 0 | 0 | 0 | 25k| 0 | 0.000000e+00 | 2.900000e+01 | Inf
18.29/18.38 c 16.6s| 60000 | 44781 | 0 | 0.0 | 49M| 975 | - |1923 |5750 | 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | 2.900000e+01 | Inf
21.49/21.57 c 19.5s| 70000 | 52123 | 0 | 0.0 | 56M| 975 | - |1923 |5833 | 0 | 0 | 0 | 35k| 0 | 0.000000e+00 | 2.900000e+01 | Inf
24.79/24.85 c 22.5s| 80000 | 59271 | 0 | 0.0 | 63M| 975 | - |1923 |6230 | 0 | 0 | 0 | 41k| 0 | 0.000000e+00 | 2.900000e+01 | Inf
28.19/28.20 c 25.5s| 90000 | 66245 | 0 | 0.0 | 70M| 975 | - |1923 |6711 | 0 | 0 | 0 | 46k| 0 | 0.000000e+00 | 2.900000e+01 | Inf
31.59/31.65 c 28.7s|100000 | 73024 | 0 | 0.0 | 77M| 975 | - |1923 |6900 | 0 | 0 | 0 | 53k| 0 | 0.000000e+00 | 2.900000e+01 | Inf
35.29/35.37 c 32.0s|110000 | 79386 | 0 | 0.0 | 84M| 975 | - |1923 |7626 | 0 | 0 | 0 | 60k| 0 | 0.000000e+00 | 2.900000e+01 | Inf
39.39/39.46 c 35.8s|120000 | 85216 | 0 | 0.0 | 91M| 975 | - |1923 |7855 | 0 | 0 | 0 | 68k| 0 | 0.000000e+00 | 2.900000e+01 | Inf
43.70/43.74 c 39.8s|130000 | 90813 | 0 | 0.0 | 98M| 975 | - |1923 |8249 | 0 | 0 | 0 | 77k| 0 | 0.000000e+00 | 2.900000e+01 | Inf
48.30/48.39 c 44.0s|140000 | 95868 | 0 | 0.0 | 105M| 975 | - |1923 |8633 | 0 | 0 | 0 | 88k| 0 | 0.000000e+00 | 2.900000e+01 | Inf
53.19/53.29 c 48.6s|150000 |100523 | 0 | 0.0 | 112M| 975 | - |1923 |9207 | 0 | 0 | 0 | 99k| 0 | 0.000000e+00 | 2.900000e+01 | Inf
58.89/58.95 c 53.9s|160000 |104119 | 0 | 0.0 | 119M| 975 | - |1923 |9645 | 0 | 0 | 0 | 114k| 0 | 0.000000e+00 | 2.900000e+01 | Inf
66.09/66.15 c 60.7s|170000 |105555 | 0 | 0.0 | 123M| 975 | - |1923 |8781 | 0 | 0 | 0 | 136k| 0 | 0.000000e+00 | 2.900000e+01 | Inf
68.69/68.78 o 12
68.69/68.78 c *63.0s|178407 |112254 | 0 | 0.0 | 127M| 975 | - |1923 |4678 | 0 | 0 | 0 | 139k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
69.30/69.31 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
69.30/69.31 c 63.5s|180000 |113543 | 0 | 0.0 | 128M| 975 | - |1923 |4775 | 0 | 0 | 0 | 139k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
72.60/72.65 c 66.5s|190000 |121437 | 0 | 0.0 | 136M| 975 | - |1923 |5664 | 0 | 0 | 0 | 144k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
77.09/77.15 c 70.7s|200000 |127683 | 0 | 0.0 | 145M| 975 | - |1923 |8162 | 0 | 0 | 0 | 152k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
80.30/80.36 o 11
80.30/80.36 c *73.6s|205816 |130246 | 0 | 0.0 | 149M| 975 | - |1923 |7688 | 0 | 0 | 0 | 158k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
81.60/81.68 c 74.8s|210000 |133782 | 0 | 0.0 | 155M| 975 | - |1923 |6420 | 0 | 0 | 0 | 159k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
84.90/84.98 c 77.8s|220000 |141869 | 0 | 0.0 | 169M| 975 | - |1923 |6862 | 0 | 0 | 0 | 163k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
89.49/89.53 c 82.0s|230000 |148278 | 0 | 0.0 | 184M| 975 | - |1923 |9730 | 0 | 0 | 0 | 171k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
93.99/94.06 c 86.2s|240000 |155082 | 0 | 0.0 | 198M| 975 | - |1923 |8224 | 0 | 0 | 0 | 177k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
97.99/98.00 o 9
97.99/98.00 c *89.8s|249609 |161495 | 0 | 0.0 | 210M| 975 | - |1923 |9151 | 0 | 0 | 0 | 183k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
98.09/98.19 c 90.0s|250000 |161745 | 0 | 0.0 | 211M| 975 | - |1923 |9153 | 0 | 0 | 0 | 183k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
102.30/102.38 c 93.8s|260000 |168784 | 0 | 0.0 | 227M| 975 | - |1923 |9653 | 0 | 0 | 0 | 189k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
107.09/107.14 c 98.2s|270000 |174845 | 0 | 0.0 | 240M| 975 | - |1923 | 11k| 0 | 0 | 0 | 197k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
110.79/110.86 c 102s|280000 |182376 | 0 | 0.0 | 253M| 975 | - |1923 | 10k| 0 | 0 | 0 | 203k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
114.59/114.69 c 105s|290000 |189847 | 0 | 0.0 | 264M| 975 | - |1923 | 10k| 0 | 0 | 0 | 208k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
118.70/118.71 c 109s|300000 |196958 | 0 | 0.0 | 276M| 975 | - |1923 | 11k| 0 | 0 | 0 | 214k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
122.70/122.75 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
122.70/122.75 c 112s|310000 |203748 | 0 | 0.0 | 285M| 975 | - |1923 | 12k| 0 | 0 | 0 | 220k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
126.69/126.71 c 116s|320000 |210697 | 0 | 0.0 | 296M| 975 | - |1923 | 13k| 0 | 0 | 0 | 226k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
130.30/130.31 c 119s|330000 |218132 | 0 | 0.0 | 304M| 975 | - |1923 | 13k| 0 | 0 | 0 | 231k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
133.89/133.98 c 123s|340000 |225719 | 0 | 0.0 | 313M| 975 | - |1923 |7722 | 0 | 0 | 0 | 236k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
137.40/137.45 c 126s|350000 |232957 | 0 | 0.0 | 321M| 975 | - |1923 |8814 | 0 | 0 | 0 | 241k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
141.29/141.35 c 129s|360000 |239738 | 0 | 0.0 | 328M| 975 | - |1923 | 10k| 0 | 0 | 0 | 248k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
145.40/145.45 c 133s|370000 |246436 | 0 | 0.0 | 335M| 975 | - |1923 | 11k| 0 | 0 | 0 | 254k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
149.69/149.72 c 137s|380000 |253007 | 0 | 0.0 | 342M| 975 | - |1923 | 11k| 0 | 0 | 0 | 261k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
154.10/154.17 c 141s|390000 |259336 | 0 | 0.0 | 349M| 975 | - |1923 | 12k| 0 | 0 | 0 | 268k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
158.80/158.88 c 146s|400000 |265432 | 0 | 0.0 | 355M| 975 | - |1923 | 12k| 0 | 0 | 0 | 276k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
163.60/163.67 c 150s|410000 |271469 | 0 | 0.0 | 362M| 975 | - |1923 | 12k| 0 | 0 | 0 | 284k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
168.80/168.84 c 155s|420000 |277100 | 0 | 0.0 | 369M| 975 | - |1923 | 13k| 0 | 0 | 0 | 292k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
174.20/174.25 c 160s|430000 |282455 | 0 | 0.0 | 376M| 975 | - |1923 | 13k| 0 | 0 | 0 | 302k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
179.80/179.82 c 165s|440000 |287791 | 0 | 0.0 | 383M| 975 | - |1923 | 14k| 0 | 0 | 0 | 311k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
185.50/185.57 c 171s|450000 |292943 | 0 | 0.0 | 390M| 975 | - |1923 | 14k| 0 | 0 | 0 | 320k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
191.60/191.65 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
191.60/191.65 c 177s|460000 |297786 | 0 | 0.0 | 397M| 975 | - |1923 | 14k| 0 | 0 | 0 | 330k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
197.79/197.90 c 183s|470000 |302452 | 0 | 0.0 | 404M| 975 | - |1923 | 14k| 0 | 0 | 0 | 341k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
204.30/204.38 c 189s|480000 |306882 | 0 | 0.0 | 412M| 975 | - |1923 | 15k| 0 | 0 | 0 | 352k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
210.59/210.69 c 195s|490000 |311672 | 0 | 0.0 | 419M| 975 | - |1923 | 15k| 0 | 0 | 0 | 362k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
217.30/217.35 c 201s|500000 |316064 | 0 | 0.0 | 426M| 975 | - |1923 | 15k| 0 | 0 | 0 | 373k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
224.41/224.49 c 208s|510000 |320081 | 0 | 0.0 | 434M| 975 | - |1923 | 16k| 0 | 0 | 0 | 385k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
231.19/231.24 c 214s|520000 |324543 | 0 | 0.0 | 441M| 975 | - |1923 | 16k| 0 | 0 | 0 | 396k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
238.61/238.70 c 221s|530000 |328195 | 0 | 0.0 | 448M| 975 | - |1923 | 16k| 0 | 0 | 0 | 408k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
246.30/246.31 c 228s|540000 |331811 | 0 | 0.0 | 455M| 975 | - |1923 | 16k| 0 | 0 | 0 | 421k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
253.70/253.76 c 236s|550000 |335687 | 0 | 0.0 | 463M| 975 | - |1923 | 17k| 0 | 0 | 0 | 433k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
261.71/261.74 c 243s|560000 |339217 | 0 | 0.0 | 469M| 975 | - |1923 | 17k| 0 | 0 | 0 | 447k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
270.20/270.24 c 251s|570000 |342313 | 0 | 0.0 | 476M| 975 | - |1923 | 17k| 0 | 0 | 0 | 460k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
278.20/278.22 c 259s|580000 |345922 | 0 | 0.0 | 483M| 975 | - |1923 | 18k| 0 | 0 | 0 | 473k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
287.40/287.45 c 268s|590000 |348585 | 0 | 0.0 | 489M| 975 | - |1923 | 18k| 0 | 0 | 0 | 488k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
296.60/296.61 c 277s|600000 |351297 | 0 | 0.0 | 495M| 975 | - |1923 | 18k| 0 | 0 | 0 | 503k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
306.10/306.11 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
306.10/306.11 c 286s|610000 |353715 | 0 | 0.0 | 501M| 975 | - |1923 | 19k| 0 | 0 | 0 | 518k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
315.71/315.75 c 295s|620000 |356048 | 0 | 0.0 | 507M| 975 | - |1923 | 19k| 0 | 0 | 0 | 534k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
325.60/325.61 c 305s|630000 |358410 | 0 | 0.0 | 514M| 975 | - |1923 | 20k| 0 | 0 | 0 | 550k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
335.80/335.80 c 315s|640000 |360666 | 0 | 0.0 | 520M| 975 | - |1923 | 20k| 0 | 0 | 0 | 566k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
346.41/346.43 c 325s|650000 |362610 | 0 | 0.0 | 525M| 975 | - |1923 | 21k| 0 | 0 | 0 | 583k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
357.20/357.27 c 335s|660000 |364354 | 0 | 0.0 | 531M| 975 | - |1923 | 21k| 0 | 0 | 0 | 601k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
368.10/368.15 c 346s|670000 |366412 | 0 | 0.0 | 537M| 975 | - |1923 | 22k| 0 | 0 | 0 | 619k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
379.30/379.32 c 356s|680000 |368436 | 0 | 0.0 | 543M| 975 | - |1923 | 23k| 0 | 0 | 0 | 636k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
392.00/392.05 c 369s|690000 |369474 | 0 | 0.0 | 549M| 975 | - |1923 | 24k| 0 | 0 | 0 | 657k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
406.00/406.08 c 382s|700000 |358300 | 0 | 0.0 | 538M| 975 | - |1923 | 21k| 0 | 0 | 0 | 681k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
410.50/410.58 c 387s|710000 |365443 | 0 | 0.0 | 538M| 975 | - |1923 |6933 | 0 | 0 | 0 | 686k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
414.00/414.00 c 390s|720000 |373509 | 0 | 0.0 | 546M| 975 | - |1923 |7472 | 0 | 0 | 0 | 690k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
417.61/417.61 c 393s|730000 |381378 | 0 | 0.0 | 554M| 975 | - |1923 |7788 | 0 | 0 | 0 | 695k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
418.11/418.12 o 7
418.11/418.12 c * 393s|731346 |382102 | 0 | 0.0 | 555M| 975 | - |1923 |7838 | 0 | 0 | 0 | 696k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
418.11/418.13 o 6
418.11/418.13 c * 393s|731347 |381720 | 0 | 0.0 | 554M| 975 | - |1923 |7838 | 0 | 0 | 0 | 696k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
421.41/421.49 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
421.41/421.49 c 396s|740000 |388313 | 0 | 0.0 | 562M| 975 | - |1923 |8043 | 0 | 0 | 0 | 700k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
425.50/425.57 c 400s|750000 |395747 | 0 | 0.0 | 572M| 975 | - |1923 |7943 | 0 | 0 | 0 | 705k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
429.91/429.93 c 404s|760000 |402833 | 0 | 0.0 | 582M| 975 | - |1923 |8176 | 0 | 0 | 0 | 711k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
435.00/435.01 c 409s|770000 |409346 | 0 | 0.0 | 593M| 975 | - |1923 |8759 | 0 | 0 | 0 | 719k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
440.20/440.28 c 414s|780000 |415677 | 0 | 0.0 | 603M| 975 | - |1923 |8926 | 0 | 0 | 0 | 726k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
445.80/445.89 c 419s|790000 |421717 | 0 | 0.0 | 614M| 975 | - |1923 |9577 | 0 | 0 | 0 | 734k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
446.51/446.59 o 5
446.51/446.59 c * 420s|791219 |421985 | 0 | 0.0 | 615M| 975 | - |1923 |9481 | 0 | 0 | 0 | 735k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
451.80/451.85 c 425s|800000 |427025 | 0 | 0.0 | 625M| 975 | - |1923 | 10k| 0 | 0 | 0 | 743k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
457.90/457.93 c 430s|810000 |432746 | 0 | 0.0 | 636M| 975 | - |1923 | 10k| 0 | 0 | 0 | 752k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
464.50/464.57 c 437s|820000 |438001 | 0 | 0.0 | 648M| 975 | - |1923 | 10k| 0 | 0 | 0 | 761k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
471.40/471.45 c 443s|830000 |443084 | 0 | 0.0 | 659M| 975 | - |1923 | 11k| 0 | 0 | 0 | 771k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
478.60/478.60 c 450s|840000 |447968 | 0 | 0.0 | 671M| 975 | - |1923 | 12k| 0 | 0 | 0 | 782k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
486.61/486.62 c 457s|850000 |452325 | 0 | 0.0 | 682M| 975 | - |1923 | 13k| 0 | 0 | 0 | 794k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
489.41/489.49 o 1
489.41/489.49 c * 460s|853054 |222226 | 0 | 0.0 | 335M| 975 | - |1923 | 14k| 0 | 0 | 0 | 797k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
495.50/495.54 c 466s|860000 |223805 | 0 | 0.0 | 339M| 975 | - |1923 | 14k| 0 | 0 | 0 | 808k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
503.71/503.71 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
503.71/503.71 c 474s|870000 |227028 | 0 | 0.0 | 347M| 975 | - |1923 | 17k| 0 | 0 | 0 | 822k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
512.91/512.92 c 482s|880000 |230329 | 0 | 0.0 | 354M| 975 | - |1923 | 19k| 0 | 0 | 0 | 835k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
522.80/522.81 c 492s|890000 |233635 | 0 | 0.0 | 362M| 975 | - |1923 | 20k| 0 | 0 | 0 | 849k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
533.70/533.75 c 503s|900000 |236531 | 0 | 0.0 | 368M| 975 | - |1923 | 21k| 0 | 0 | 0 | 863k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
544.30/544.30 c 513s|910000 |239815 | 0 | 0.0 | 375M| 975 | - |1923 | 22k| 0 | 0 | 0 | 877k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
555.61/555.66 c 524s|920000 |242652 | 0 | 0.0 | 381M| 975 | - |1923 | 23k| 0 | 0 | 0 | 891k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
566.52/566.52 c 534s|930000 |245981 | 0 | 0.0 | 388M| 975 | - |1923 | 23k| 0 | 0 | 0 | 904k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
578.70/578.75 c 546s|940000 |248651 | 0 | 0.0 | 394M| 975 | - |1923 | 23k| 0 | 0 | 0 | 919k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
590.21/590.21 c 557s|950000 |251512 | 0 | 0.0 | 401M| 975 | - |1923 | 23k| 0 | 0 | 0 | 933k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
602.11/602.12 c 569s|960000 |254018 | 0 | 0.0 | 406M| 975 | - |1923 | 22k| 0 | 0 | 0 | 948k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
613.21/613.27 c 580s|970000 |256963 | 0 | 0.0 | 413M| 975 | - |1923 | 22k| 0 | 0 | 0 | 963k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
625.81/625.86 c 592s|980000 |259058 | 0 | 0.0 | 418M| 975 | - |1923 | 23k| 0 | 0 | 0 | 978k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
637.00/637.08 c 603s|990000 |262058 | 0 | 0.0 | 425M| 975 | - |1923 | 23k| 0 | 0 | 0 | 992k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
648.92/648.97 c 614s| 1000k|264342 | 0 | 0.0 | 430M| 975 | - |1923 | 22k| 0 | 0 | 0 |1007k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
660.80/660.81 c 626s| 1010k|266533 | 0 | 0.0 | 436M| 975 | - |1923 | 23k| 0 | 0 | 0 |1023k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
672.21/672.21 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
672.21/672.21 c 637s| 1020k|269210 | 0 | 0.0 | 442M| 975 | - |1923 | 23k| 0 | 0 | 0 |1038k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
685.11/685.19 c 649s| 1030k|270606 | 0 | 0.0 | 447M| 975 | - |1923 | 23k| 0 | 0 | 0 |1055k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
697.31/697.38 c 661s| 1040k|272643 | 0 | 0.0 | 453M| 975 | - |1923 | 24k| 0 | 0 | 0 |1071k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
710.81/710.87 c 674s| 1050k|273661 | 0 | 0.0 | 457M| 975 | - |1923 | 23k| 0 | 0 | 0 |1088k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
723.61/723.67 c 687s| 1060k|275312 | 0 | 0.0 | 464M| 975 | - |1923 | 25k| 0 | 0 | 0 |1104k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
737.61/737.63 c 700s| 1070k|276133 | 0 | 0.0 | 467M| 975 | - |1923 | 24k| 0 | 0 | 0 |1122k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
751.41/751.46 c 714s| 1080k|277132 | 0 | 0.0 | 473M| 975 | - |1923 | 25k| 0 | 0 | 0 |1140k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
765.52/765.59 c 728s| 1090k|277917 | 0 | 0.0 | 478M| 975 | - |1923 | 24k| 0 | 0 | 0 |1157k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
780.02/780.06 c 742s| 1100k|278390 | 0 | 0.0 | 482M| 975 | - |1923 | 24k| 0 | 0 | 0 |1176k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
794.42/794.44 c 756s| 1110k|278846 | 0 | 0.0 | 486M| 975 | - |1923 | 25k| 0 | 0 | 0 |1194k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
809.31/809.34 c 770s| 1120k|278896 | 0 | 0.0 | 491M| 975 | - |1923 | 26k| 0 | 0 | 0 |1214k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
824.61/824.65 c 785s| 1130k|278747 | 0 | 0.0 | 494M| 975 | - |1923 | 26k| 0 | 0 | 0 |1233k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
839.61/839.68 c 800s| 1140k|278732 | 0 | 0.0 | 499M| 975 | - |1923 | 26k| 0 | 0 | 0 |1252k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
855.51/855.50 c 815s| 1150k|278029 | 0 | 0.0 | 501M| 975 | - |1923 | 26k| 0 | 0 | 0 |1271k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
871.12/871.13 c 830s| 1160k|277435 | 0 | 0.0 | 505M| 975 | - |1923 | 26k| 0 | 0 | 0 |1292k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
887.92/887.99 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
887.92/887.99 c 847s| 1170k|275859 | 0 | 0.0 | 506M| 975 | - |1923 | 26k| 0 | 0 | 0 |1312k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
904.41/904.45 c 863s| 1180k|274513 | 0 | 0.0 | 509M| 975 | - |1923 | 26k| 0 | 0 | 0 |1334k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
921.22/921.26 c 879s| 1190k|272895 | 0 | 0.0 | 511M| 975 | - |1923 | 27k| 0 | 0 | 0 |1355k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
938.82/938.85 c 896s| 1200k|270474 | 0 | 0.0 | 511M| 975 | - |1923 | 27k| 0 | 0 | 0 |1378k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
956.61/956.69 c 914s| 1210k|268175 | 0 | 0.0 | 512M| 975 | - |1923 | 28k| 0 | 0 | 0 |1400k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
975.52/975.59 c 932s| 1220k|264954 | 0 | 0.0 | 512M| 975 | - |1923 | 28k| 0 | 0 | 0 |1424k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
993.91/993.99 c 950s| 1230k|261944 | 0 | 0.0 | 512M| 975 | - |1923 | 29k| 0 | 0 | 0 |1447k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1013.72/1013.72 c 970s| 1240k|258043 | 0 | 0.0 | 510M| 975 | - |1923 | 30k| 0 | 0 | 0 |1471k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1034.12/1034.16 c 990s| 1250k|253307 | 0 | 0.0 | 508M| 975 | - |1923 | 31k| 0 | 0 | 0 |1496k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1055.22/1055.28 c 1010s| 1260k|248005 | 0 | 0.0 | 503M| 975 | - |1923 | 31k| 0 | 0 | 0 |1522k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1077.42/1077.48 c 1032s| 1270k|241769 | 0 | 0.0 | 497M| 975 | - |1923 | 33k| 0 | 0 | 0 |1548k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1101.22/1101.20 c 1055s| 1280k|234148 | 0 | 0.0 | 489M| 975 | - |1923 | 34k| 0 | 0 | 0 |1576k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1126.22/1126.24 c 1080s| 1290k|224962 | 0 | 0.0 | 476M| 975 | - |1923 | 36k| 0 | 0 | 0 |1604k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1154.72/1154.72 c 1108s| 1300k|217139 | 0 | 0.0 | 463M| 975 | - |1923 | 39k| 0 | 0 | 0 |1636k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1181.82/1181.80 c 1134s| 1310k|216234 | 0 | 0.0 | 463M| 975 | - |1923 | 37k| 0 | 0 | 0 |1660k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1211.13/1211.16 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1211.13/1211.16 c 1163s| 1320k|215218 | 0 | 0.0 | 467M| 975 | - |1923 | 42k| 0 | 0 | 0 |1683k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1244.22/1244.27 c 1196s| 1330k|213800 | 0 | 0.0 | 471M| 975 | - |1923 | 46k| 0 | 0 | 0 |1707k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1279.63/1279.70 c 1231s| 1340k|212348 | 0 | 0.0 | 474M| 975 | - |1923 | 48k| 0 | 0 | 0 |1730k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1315.63/1315.69 c 1267s| 1350k|210968 | 0 | 0.0 | 476M| 975 | - |1923 | 51k| 0 | 0 | 0 |1753k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1353.92/1353.95 c 1304s| 1360k|209246 | 0 | 0.0 | 479M| 975 | - |1923 | 54k| 0 | 0 | 0 |1777k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1394.93/1394.94 c 1345s| 1370k|206990 | 0 | 0.0 | 480M| 975 | - |1923 | 55k| 0 | 0 | 0 |1802k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1437.64/1437.60 c 1387s| 1380k|204546 | 0 | 0.0 | 480M| 975 | - |1923 | 56k| 0 | 0 | 0 |1827k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1478.53/1478.52 c 1428s| 1390k|202385 | 0 | 0.0 | 481M| 975 | - |1923 | 56k| 0 | 0 | 0 |1851k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1519.73/1519.71 c 1469s| 1400k|199924 | 0 | 0.0 | 481M| 975 | - |1923 | 56k| 0 | 0 | 0 |1876k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1558.94/1558.92 c 1507s| 1410k|197814 | 0 | 0.0 | 482M| 975 | - |1923 | 54k| 0 | 0 | 0 |1901k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1600.23/1600.25 c 1548s| 1420k|194734 | 0 | 0.0 | 480M| 975 | - |1923 | 53k| 0 | 0 | 0 |1927k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1638.23/1638.24 c 1586s| 1430k|192240 | 0 | 0.0 | 480M| 975 | - |1923 | 54k| 0 | 0 | 0 |1953k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1678.23/1678.22 c 1625s| 1440k|188876 | 0 | 0.0 | 477M| 975 | - |1923 | 52k| 0 | 0 | 0 |1979k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1715.54/1715.58 c 1662s| 1450k|185915 | 0 | 0.0 | 476M| 975 | - |1923 | 54k| 0 | 0 | 0 |2005k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1757.14/1757.16 c 1703s| 1460k|182132 | 0 | 0.0 | 474M| 975 | - |1923 | 53k| 0 | 0 | 0 |2033k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1795.34/1795.38 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1795.34/1795.38 c 1741s| 1470k|178463 | 0 | 0.0 | 470M| 975 | - |1923 | 52k| 0 | 0 | 0 |2060k| 0 | 0.000000e+00 | 1.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) : 1745.65
1800.05/1800.00 c Solving Nodes : 1471122
1800.05/1800.00 c Primal Bound : +1.00000000000000e+00 (18 solutions)
1800.05/1800.00 c Dual Bound : +0.00000000000000e+00
1800.05/1800.00 c Gap : infinite
1800.05/1800.01 s SATISFIABLE
1800.05/1800.01 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.01 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.01 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.01 v x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 x156 -x155 -x154 -x153 -x152 x151 -x150 -x149 -x148 -x147 -x146
1800.05/1800.01 v -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126 -x125
1800.05/1800.01 v -x124 -x123 -x122 -x121 -x120 -x119 x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 x109 -x108 -x107 -x106 -x105 -x104
1800.05/1800.01 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.01 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.05/1800.01 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.05/1800.01 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.01 v x1
1800.05/1800.01 c SCIP Status : solving was interrupted [user interrupt]
1800.05/1800.01 c Solving Time : 1745.65
1800.05/1800.01 c Original Problem :
1800.05/1800.01 c Problem name : HOME/instance-2694057-1277903053.wbo
1800.05/1800.01 c Variables : 2053 (1142 binary, 0 integer, 0 implicit integer, 911 continuous)
1800.05/1800.01 c Constraints : 3619 initial, 3619 maximal
1800.05/1800.01 c Presolved Problem :
1800.05/1800.01 c Problem name : t_HOME/instance-2694057-1277903053.wbo
1800.05/1800.01 c Variables : 1923 (1077 binary, 0 integer, 0 implicit integer, 846 continuous)
1800.05/1800.01 c Constraints : 3355 initial, 57357 maximal
1800.05/1800.01 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.05/1800.01 c trivial : 0.00 65 0 0 0 0 0 0 0
1800.05/1800.01 c dualfix : 0.00 65 0 0 0 0 0 0 0
1800.05/1800.01 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.01 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.01 c implics : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.01 c probing : 0.04 0 0 0 0 0 0 0 0
1800.05/1800.01 c indicator : 0.00 0 0 0 0 0 65 0 0
1800.05/1800.01 c setppc : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.01 c linear : 0.04 0 0 0 926 0 199 133 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 : - 272 - - 544 - - - -
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 : 846 0 948327 0 297866 38 1473897 0 0 0
1800.05/1800.02 c setppc : 16 0 5180287 0 1092127 136410 5139964 0 0 0
1800.05/1800.02 c linear : 846 0 5044566 0 1092277 230703 21388882 0 0 0
1800.05/1800.02 c logicor : 1647+ 0 3734341 0 1092286 212376 11034133 0 0 0
1800.05/1800.02 c bounddisjunction : 0+ 0 111856 0 0 0 11 0 0 0
1800.05/1800.02 c countsols : 0 0 0 0 1092280 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 : 2.77 0.00 1.47 0.00 1.30
1800.05/1800.02 c setppc : 28.75 0.00 26.72 0.00 2.03
1800.05/1800.02 c linear : 126.19 0.00 125.92 0.00 0.27
1800.05/1800.02 c logicor : 751.94 0.00 705.00 0.00 46.94
1800.05/1800.02 c bounddisjunction : 0.25 0.00 0.25 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.01 2 0 0
1800.05/1800.02 c rootredcost : 0.00 0 0 0
1800.05/1800.02 c pseudoobj : 98.69 5181159 288 1467658
1800.05/1800.02 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.05/1800.02 c propagation : 31.05 579777 579630 2989385 25.9 91757 6.3 -
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 9 9 23 20.0 9 11.9 -
1800.05/1800.02 c applied globally : - - - 2064000 23.2 - - -
1800.05/1800.02 c applied locally : - - - 25 120.2 - - -
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 : 13.92 1092262 0 0 0 0 2184524
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.48 - 18
1800.05/1800.02 c oneopt : 0.04 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.01 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 : 1471122
1800.05/1800.02 c nodes (total) : 1471122
1800.05/1800.02 c nodes left : 177981
1800.05/1800.02 c max depth : 975
1800.05/1800.02 c max depth (total): 975
1800.05/1800.02 c backtracks : 378718 (25.7%)
1800.05/1800.02 c delayed cutoffs : 300137
1800.05/1800.02 c repropagations : 1097366 (10921580 domain reductions, 200982 cutoffs)
1800.05/1800.02 c avg switch length: 17.91
1800.05/1800.02 c switching time : 537.25
1800.05/1800.02 c Solution :
1800.05/1800.02 c Solutions found : 18 (18 improvements)
1800.05/1800.02 c First Solution : +8.35000000000000e+02 (in run 1, after 3539 nodes, 0.81 seconds, depth 139, found by <relaxation>)
1800.05/1800.02 c Primal Bound : +1.00000000000000e+00 (in run 1, after 853054 nodes, 459.64 seconds, depth 75, 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
1800.74/1800.79 c Time complete: 1800.84.