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-2693885-1277896431.wbo>
0.00/0.00 c original problem has 297 variables (233 bin, 0 int, 0 impl, 64 cont) and 166 constraints
0.00/0.00 c problem read
0.00/0.00 c presolving settings loaded
0.00/0.00 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.00 c presolving:
0.00/0.00 c (round 1) 0 del vars, 1 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 64 impls, 30 clqs
0.00/0.01 c (round 2) 0 del vars, 6 del conss, 0 chg bounds, 2 chg sides, 0 chg coeffs, 0 upgd conss, 64 impls, 30 clqs
0.00/0.01 c (round 3) 2 del vars, 8 del conss, 62 chg bounds, 2 chg sides, 0 chg coeffs, 0 upgd conss, 64 impls, 30 clqs
0.00/0.01 c (round 4) 4 del vars, 8 del conss, 62 chg bounds, 2 chg sides, 0 chg coeffs, 34 upgd conss, 64 impls, 30 clqs
0.00/0.02 c (0.0s) probing: 101/231 (43.7%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.00/0.02 c (0.0s) probing aborted: 100/100 successive totally useless probings
0.00/0.02 c presolving (5 rounds):
0.00/0.02 c 4 deleted vars, 8 deleted constraints, 62 tightened bounds, 0 added holes, 2 changed sides, 0 changed coefficients
0.00/0.02 c 64 implications, 30 cliques
0.00/0.02 c presolved problem has 293 variables (231 bin, 0 int, 0 impl, 62 cont) and 158 constraints
0.00/0.02 c 62 constraints of type <indicator>
0.00/0.02 c 30 constraints of type <setppc>
0.00/0.02 c 62 constraints of type <linear>
0.00/0.02 c 4 constraints of type <logicor>
0.00/0.02 c transformed objective value is always integral (scale: 1)
0.00/0.02 c Presolving Time: 0.01
0.00/0.02 c - non default parameters ----------------------------------------------------------------------
0.00/0.02 c # SCIP version 1.2.1.2
0.00/0.02 c
0.00/0.02 c # frequency for displaying node information lines
0.00/0.02 c # [type: int, range: [-1,2147483647], default: 100]
0.00/0.02 c display/freq = 10000
0.00/0.02 c
0.00/0.02 c # maximal time in seconds to run
0.00/0.02 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.02 c limits/time = 1800
0.00/0.02 c
0.00/0.02 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.02 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.02 c limits/memory = 3420
0.00/0.02 c
0.00/0.02 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.00/0.02 c # [type: int, range: [-1,2147483647], default: 1]
0.00/0.02 c lp/solvefreq = -1
0.00/0.02 c
0.00/0.02 c # should presolving try to simplify inequalities
0.00/0.02 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.02 c constraints/linear/simplifyinequalities = TRUE
0.00/0.02 c
0.00/0.02 c # should presolving try to simplify knapsacks
0.00/0.02 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.02 c constraints/knapsack/simplifyinequalities = TRUE
0.00/0.02 c
0.00/0.02 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.00/0.02 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.02 c separating/rapidlearning/freq = 0
0.00/0.02 c
0.00/0.02 c -----------------------------------------------------------------------------------------------
0.00/0.02 c start solving
0.00/0.02 c
0.00/0.02 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.00/0.02 c 0.0s| 1 | 2 | 0 | - | 926k| 0 | - | 293 | 158 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
0.99/1.09 c 1.0s| 10000 | 7194 | 0 | 0.0 |6568k| 176 | - | 293 |2874 | 0 | 0 | 0 |7186 | 0 | 0.000000e+00 | -- | Inf
2.39/2.46 o 609
2.39/2.46 c * 2.3s| 17646 | 11211 | 0 | 0.0 | 10M| 176 | - | 293 |3708 | 0 | 0 | 0 | 15k| 0 | 0.000000e+00 | 6.090000e+02 | Inf
2.79/2.85 c 2.7s| 20000 | 12628 | 0 | 0.0 | 11M| 176 | - | 293 |3902 | 0 | 0 | 0 | 17k| 0 | 0.000000e+00 | 6.090000e+02 | Inf
4.89/4.96 c 4.7s| 30000 | 17804 | 0 | 0.0 | 17M| 176 | - | 293 |7321 | 0 | 0 | 0 | 29k| 0 | 0.000000e+00 | 6.090000e+02 | Inf
7.89/7.96 c 7.6s| 40000 | 21665 | 0 | 0.0 | 22M| 176 | - | 293 | 10k| 0 | 0 | 0 | 43k| 0 | 0.000000e+00 | 6.090000e+02 | Inf
11.39/11.45 c 11.0s| 50000 | 24928 | 0 | 0.0 | 27M| 176 | - | 293 | 11k| 0 | 0 | 0 | 57k| 0 | 0.000000e+00 | 6.090000e+02 | Inf
15.59/15.63 c 15.1s| 60000 | 27047 | 0 | 0.0 | 31M| 176 | - | 293 | 14k| 0 | 0 | 0 | 72k| 0 | 0.000000e+00 | 6.090000e+02 | Inf
18.69/18.78 c 18.1s| 70000 | 31799 | 0 | 0.0 | 33M| 176 | - | 293 |6010 | 0 | 0 | 0 | 82k| 0 | 0.000000e+00 | 6.090000e+02 | Inf
19.69/19.70 o 590
19.69/19.70 c *19.0s| 73291 | 33061 | 0 | 0.0 | 34M| 176 | - | 293 |6534 | 0 | 0 | 0 | 87k| 0 | 0.000000e+00 | 5.900000e+02 | Inf
19.69/19.71 o 471
19.69/19.71 c *19.0s| 73359 | 33120 | 0 | 0.0 | 34M| 176 | - | 293 |6480 | 0 | 0 | 0 | 87k| 0 | 0.000000e+00 | 4.710000e+02 | Inf
19.69/19.76 o 248
19.69/19.76 c *19.1s| 73897 | 33610 | 0 | 0.0 | 34M| 176 | - | 293 |5598 | 0 | 0 | 0 | 87k| 0 | 0.000000e+00 | 2.480000e+02 | Inf
21.39/21.42 c 20.7s| 80000 | 36029 | 0 | 0.0 | 37M| 176 | - | 293 |7698 | 0 | 0 | 0 | 95k| 0 | 0.000000e+00 | 2.480000e+02 | Inf
25.60/25.65 c 24.8s| 90000 | 38124 | 0 | 0.0 | 42M| 176 | - | 293 | 12k| 0 | 0 | 0 | 112k| 0 | 0.000000e+00 | 2.480000e+02 | Inf
30.80/30.84 c 29.9s|100000 | 39644 | 0 | 0.0 | 46M| 176 | - | 293 | 15k| 0 | 0 | 0 | 130k| 0 | 0.000000e+00 | 2.480000e+02 | Inf
36.79/36.86 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
36.79/36.86 c 35.8s|110000 | 40700 | 0 | 0.0 | 51M| 176 | - | 293 | 19k| 0 | 0 | 0 | 147k| 0 | 0.000000e+00 | 2.480000e+02 | Inf
44.50/44.55 c 43.4s|120000 | 40790 | 0 | 0.0 | 54M| 176 | - | 293 | 22k| 0 | 0 | 0 | 165k| 0 | 0.000000e+00 | 2.480000e+02 | Inf
53.29/53.31 c 52.0s|130000 | 40554 | 0 | 0.0 | 57M| 176 | - | 293 | 25k| 0 | 0 | 0 | 182k| 0 | 0.000000e+00 | 2.480000e+02 | Inf
64.90/64.98 c 63.6s|140000 | 38070 | 0 | 0.0 | 58M| 176 | - | 293 | 29k| 0 | 0 | 0 | 201k| 0 | 0.000000e+00 | 2.480000e+02 | Inf
70.09/70.17 c 68.7s|150000 | 43665 | 0 | 0.0 | 56M| 176 | - | 293 | 10k| 0 | 0 | 0 | 211k| 0 | 0.000000e+00 | 2.480000e+02 | Inf
73.50/73.54 c 72.0s|160000 | 48773 | 0 | 0.0 | 60M| 176 | - | 293 | 10k| 0 | 0 | 0 | 222k| 0 | 0.000000e+00 | 2.480000e+02 | Inf
78.10/78.11 c 76.4s|170000 | 51616 | 0 | 0.0 | 65M| 176 | - | 293 | 13k| 0 | 0 | 0 | 238k| 0 | 0.000000e+00 | 2.480000e+02 | Inf
81.99/82.01 c 80.2s|180000 | 56357 | 0 | 0.0 | 65M| 176 | - | 293 |4043 | 0 | 0 | 0 | 249k| 0 | 0.000000e+00 | 2.480000e+02 | Inf
82.29/82.36 o 221
82.29/82.36 c *80.5s|183063 | 58885 | 0 | 0.0 | 66M| 176 | - | 293 |3499 | 0 | 0 | 0 | 250k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
83.09/83.15 c 81.3s|190000 | 64596 | 0 | 0.0 | 69M| 176 | - | 293 |3779 | 0 | 0 | 0 | 252k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
84.50/84.54 c 82.6s|200000 | 71934 | 0 | 0.0 | 73M| 176 | - | 293 |5400 | 0 | 0 | 0 | 256k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
89.00/89.07 c 87.0s|210000 | 72293 | 0 | 0.0 | 78M| 176 | - | 293 | 13k| 0 | 0 | 0 | 274k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
99.00/99.08 c 97.0s|220000 | 68794 | 0 | 0.0 | 79M| 176 | - | 293 | 21k| 0 | 0 | 0 | 297k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
113.30/113.38 c 111s|230000 | 62836 | 0 | 0.0 | 76M| 176 | - | 293 | 27k| 0 | 0 | 0 | 319k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
132.29/132.34 c 130s|240000 | 55134 | 0 | 0.0 | 68M| 176 | - | 293 | 32k| 0 | 0 | 0 | 342k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
141.49/141.56 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
141.49/141.56 c 139s|250000 | 58049 | 0 | 0.0 | 64M| 176 | - | 293 | 16k| 0 | 0 | 0 | 358k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
148.30/148.31 c 146s|260000 | 60333 | 0 | 0.0 | 67M| 176 | - | 293 | 15k| 0 | 0 | 0 | 375k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
155.39/155.47 c 153s|270000 | 61512 | 0 | 0.0 | 70M| 176 | - | 293 | 15k| 0 | 0 | 0 | 392k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
163.59/163.68 c 161s|280000 | 61387 | 0 | 0.0 | 73M| 176 | - | 293 | 17k| 0 | 0 | 0 | 411k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
173.00/173.03 c 170s|290000 | 60510 | 0 | 0.0 | 74M| 176 | - | 293 | 19k| 0 | 0 | 0 | 431k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
183.49/183.52 c 180s|300000 | 59088 | 0 | 0.0 | 75M| 176 | - | 293 | 25k| 0 | 0 | 0 | 452k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
187.80/187.88 c 185s|310000 | 65240 | 0 | 0.0 | 71M| 176 | - | 293 |5127 | 0 | 0 | 0 | 459k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
189.29/189.30 c 186s|320000 | 73154 | 0 | 0.0 | 75M| 176 | - | 293 |4355 | 0 | 0 | 0 | 462k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
190.70/190.70 c 187s|330000 | 80987 | 0 | 0.0 | 78M| 176 | - | 293 |4857 | 0 | 0 | 0 | 467k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
192.10/192.17 c 189s|340000 | 88689 | 0 | 0.0 | 82M| 176 | - | 293 |5492 | 0 | 0 | 0 | 471k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
192.30/192.36 o 194
192.30/192.36 c * 189s|341329 | 89680 | 0 | 0.0 | 83M| 176 | - | 293 |5616 | 0 | 0 | 0 | 471k| 0 | 0.000000e+00 | 1.940000e+02 | Inf
193.70/193.73 c 190s|350000 | 96212 | 0 | 0.0 | 86M| 176 | - | 293 |5737 | 0 | 0 | 0 | 475k| 0 | 0.000000e+00 | 1.940000e+02 | Inf
195.30/195.36 c 192s|360000 |103621 | 0 | 0.0 | 90M| 176 | - | 293 |6156 | 0 | 0 | 0 | 480k| 0 | 0.000000e+00 | 1.940000e+02 | Inf
197.10/197.10 c 193s|370000 |110802 | 0 | 0.0 | 95M| 176 | - | 293 |6746 | 0 | 0 | 0 | 485k| 0 | 0.000000e+00 | 1.940000e+02 | Inf
198.89/198.96 c 195s|380000 |117698 | 0 | 0.0 | 99M| 176 | - | 293 |7374 | 0 | 0 | 0 | 490k| 0 | 0.000000e+00 | 1.940000e+02 | Inf
200.80/200.89 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
200.80/200.89 c 197s|390000 |124635 | 0 | 0.0 | 103M| 176 | - | 293 |7727 | 0 | 0 | 0 | 495k| 0 | 0.000000e+00 | 1.940000e+02 | Inf
202.80/202.89 c 199s|400000 |131399 | 0 | 0.0 | 107M| 176 | - | 293 |8397 | 0 | 0 | 0 | 500k| 0 | 0.000000e+00 | 1.940000e+02 | Inf
203.80/203.88 o 186
203.80/203.88 c * 200s|405216 |135058 | 0 | 0.0 | 109M| 176 | - | 293 |8808 | 0 | 0 | 0 | 502k| 0 | 0.000000e+00 | 1.860000e+02 | Inf
204.79/204.84 c 201s|410000 |138301 | 0 | 0.0 | 111M| 176 | - | 293 |8979 | 0 | 0 | 0 | 505k| 0 | 0.000000e+00 | 1.860000e+02 | Inf
206.80/206.89 c 203s|420000 |145051 | 0 | 0.0 | 115M| 176 | - | 293 |9611 | 0 | 0 | 0 | 509k| 0 | 0.000000e+00 | 1.860000e+02 | Inf
208.90/208.99 c 205s|430000 |151690 | 0 | 0.0 | 119M| 176 | - | 293 | 10k| 0 | 0 | 0 | 514k| 0 | 0.000000e+00 | 1.860000e+02 | Inf
209.40/209.48 o 175
209.40/209.48 c * 205s|432246 |153130 | 0 | 0.0 | 120M| 176 | - | 293 | 10k| 0 | 0 | 0 | 515k| 0 | 0.000000e+00 | 1.750000e+02 | Inf
211.20/211.21 c 207s|440000 |158143 | 0 | 0.0 | 123M| 176 | - | 293 | 10k| 0 | 0 | 0 | 520k| 0 | 0.000000e+00 | 1.750000e+02 | Inf
213.60/213.68 c 209s|450000 |164161 | 0 | 0.0 | 127M| 176 | - | 293 | 11k| 0 | 0 | 0 | 526k| 0 | 0.000000e+00 | 1.750000e+02 | Inf
215.30/215.32 o 171
215.30/215.32 c * 211s|456317 |167847 | 0 | 0.0 | 130M| 176 | - | 293 | 12k| 0 | 0 | 0 | 530k| 0 | 0.000000e+00 | 1.710000e+02 | Inf
215.40/215.46 o 130
215.40/215.46 c * 211s|456798 |166805 | 0 | 0.0 | 129M| 176 | - | 293 | 12k| 0 | 0 | 0 | 530k| 0 | 0.000000e+00 | 1.300000e+02 | Inf
216.00/216.05 o 91
216.00/216.05 c * 212s|458702 |164520 | 0 | 0.0 | 127M| 176 | - | 293 | 12k| 0 | 0 | 0 | 531k| 0 | 0.000000e+00 | 9.100000e+01 | Inf
216.50/216.52 c 212s|460000 |165074 | 0 | 0.0 | 128M| 176 | - | 293 | 12k| 0 | 0 | 0 | 532k| 0 | 0.000000e+00 | 9.100000e+01 | Inf
220.29/220.30 c 216s|470000 |169699 | 0 | 0.0 | 130M| 176 | - | 293 |6887 | 0 | 0 | 0 | 541k| 0 | 0.000000e+00 | 9.100000e+01 | Inf
223.89/223.95 c 219s|480000 |171395 | 0 | 0.0 | 127M| 176 | - | 293 |8599 | 0 | 0 | 0 | 553k| 0 | 0.000000e+00 | 9.100000e+01 | Inf
231.30/231.39 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
231.30/231.39 c 227s|490000 |170160 | 0 | 0.0 | 129M| 176 | - | 293 | 15k| 0 | 0 | 0 | 575k| 0 | 1.000000e+00 | 9.100000e+01 |9000.00%
241.90/241.93 c 237s|500000 |167638 | 0 | 0.0 | 131M| 176 | - | 293 | 18k| 0 | 0 | 0 | 598k| 0 | 1.000000e+00 | 9.100000e+01 |9000.00%
253.60/253.60 c 249s|510000 |164363 | 0 | 0.0 | 130M| 176 | - | 293 | 20k| 0 | 0 | 0 | 620k| 0 | 1.000000e+00 | 9.100000e+01 |9000.00%
267.79/267.81 c 263s|520000 |159795 | 0 | 0.0 | 128M| 176 | - | 293 | 24k| 0 | 0 | 0 | 643k| 0 | 1.000000e+00 | 9.100000e+01 |9000.00%
280.70/280.71 c 275s|530000 |158567 | 0 | 0.0 | 122M| 176 | - | 293 | 15k| 0 | 0 | 0 | 660k| 0 | 1.000000e+00 | 9.100000e+01 |9000.00%
283.40/283.47 c 278s|540000 |165714 | 0 | 0.0 | 124M| 176 | - | 293 |7948 | 0 | 0 | 0 | 666k| 0 | 1.000000e+00 | 9.100000e+01 |9000.00%
285.50/285.59 c 280s|550000 |172847 | 0 | 0.0 | 129M| 176 | - | 293 |7484 | 0 | 0 | 0 | 672k| 0 | 1.000000e+00 | 9.100000e+01 |9000.00%
287.70/287.78 c 282s|560000 |179822 | 0 | 0.0 | 134M| 176 | - | 293 |7666 | 0 | 0 | 0 | 678k| 0 | 1.000000e+00 | 9.100000e+01 |9000.00%
289.90/289.99 c 284s|570000 |186665 | 0 | 0.0 | 139M| 176 | - | 293 |8249 | 0 | 0 | 0 | 685k| 0 | 1.000000e+00 | 9.100000e+01 |9000.00%
292.20/292.28 c 287s|580000 |193331 | 0 | 0.0 | 144M| 176 | - | 293 |8509 | 0 | 0 | 0 | 692k| 0 | 1.000000e+00 | 9.100000e+01 |9000.00%
294.60/294.60 c 289s|590000 |199996 | 0 | 0.0 | 149M| 176 | - | 293 |8555 | 0 | 0 | 0 | 697k| 0 | 1.000000e+00 | 9.100000e+01 |9000.00%
296.91/296.94 c 291s|600000 |206590 | 0 | 0.0 | 153M| 176 | - | 293 |8730 | 0 | 0 | 0 | 703k| 0 | 1.000000e+00 | 9.100000e+01 |9000.00%
299.30/299.31 c 293s|610000 |213187 | 0 | 0.0 | 158M| 176 | - | 293 |8774 | 0 | 0 | 0 | 709k| 0 | 1.000000e+00 | 9.100000e+01 |9000.00%
300.90/300.96 o 71
300.90/300.96 c * 295s|617025 |196597 | 0 | 0.0 | 146M| 176 | - | 293 |8944 | 0 | 0 | 0 | 713k| 0 | 1.000000e+00 | 7.100000e+01 |7000.00%
301.80/301.83 c 296s|620000 |198321 | 0 | 0.0 | 148M| 176 | - | 293 |9183 | 0 | 0 | 0 | 715k| 0 | 1.000000e+00 | 7.100000e+01 |7000.00%
304.70/304.78 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
304.70/304.78 c 299s|630000 |204125 | 0 | 0.0 | 153M| 176 | - | 293 |8975 | 0 | 0 | 0 | 722k| 0 | 1.000000e+00 | 7.100000e+01 |7000.00%
307.30/307.33 o 62
307.30/307.33 c * 301s|639565 |201179 | 0 | 0.0 | 149M| 176 | - | 293 |2495 | 0 | 0 | 0 | 728k| 0 | 1.000000e+00 | 6.200000e+01 |6100.00%
307.40/307.43 c 301s|640000 |201418 | 0 | 0.0 | 149M| 176 | - | 293 |2257 | 0 | 0 | 0 | 728k| 0 | 1.000000e+00 | 6.200000e+01 |6100.00%
308.20/308.24 o 59
308.20/308.24 c * 302s|644056 |196811 | 0 | 0.0 | 146M| 176 | - | 293 |2223 | 0 | 0 | 0 | 731k| 0 | 1.000000e+00 | 5.900000e+01 |5800.00%
309.50/309.59 c 303s|650000 |199460 | 0 | 0.0 | 149M| 176 | - | 293 |2829 | 0 | 0 | 0 | 735k| 0 | 1.000000e+00 | 5.900000e+01 |5800.00%
312.10/312.10 c 306s|660000 |203662 | 0 | 0.0 | 153M| 176 | - | 293 |4288 | 0 | 0 | 0 | 743k| 0 | 1.000000e+00 | 5.900000e+01 |5800.00%
315.00/315.08 c 309s|670000 |207402 | 0 | 0.0 | 157M| 176 | - | 293 |4920 | 0 | 0 | 0 | 752k| 0 | 1.000000e+00 | 5.900000e+01 |5800.00%
317.70/317.73 o 58
317.70/317.73 c * 311s|678387 |210300 | 0 | 0.0 | 160M| 176 | - | 293 |5074 | 0 | 0 | 0 | 760k| 0 | 1.000000e+00 | 5.800000e+01 |5700.00%
318.20/318.23 c 312s|680000 |210863 | 0 | 0.0 | 161M| 176 | - | 293 |5268 | 0 | 0 | 0 | 761k| 0 | 1.000000e+00 | 5.800000e+01 |5700.00%
318.80/318.80 o 45
318.80/318.80 c * 312s|681838 |204126 | 0 | 0.0 | 156M| 176 | - | 293 |5530 | 0 | 0 | 0 | 763k| 0 | 1.000000e+00 | 4.500000e+01 |4400.00%
320.11/320.12 o 40
320.11/320.12 c * 313s|685032 |199110 | 0 | 0.0 | 154M| 176 | - | 293 |5402 | 0 | 0 | 0 | 767k| 0 | 1.000000e+00 | 4.000000e+01 |3900.00%
322.10/322.18 c 315s|690000 |199891 | 0 | 0.0 | 156M| 176 | - | 293 |4828 | 0 | 0 | 0 | 773k| 0 | 1.000000e+00 | 4.000000e+01 |3900.00%
326.50/326.55 c 320s|700000 |200644 | 0 | 0.0 | 159M| 176 | - | 293 |6748 | 0 | 0 | 0 | 787k| 0 | 1.000000e+00 | 4.000000e+01 |3900.00%
331.11/331.19 c 324s|710000 |201323 | 0 | 0.0 | 162M| 176 | - | 293 |7125 | 0 | 0 | 0 | 800k| 0 | 1.000000e+00 | 4.000000e+01 |3900.00%
336.10/336.15 c 329s|720000 |201535 | 0 | 0.0 | 165M| 176 | - | 293 |7282 | 0 | 0 | 0 | 815k| 0 | 1.000000e+00 | 4.000000e+01 |3900.00%
341.10/341.14 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
341.10/341.14 c 334s|730000 |201455 | 0 | 0.0 | 168M| 176 | - | 293 |7879 | 0 | 0 | 0 | 829k| 0 | 1.000000e+00 | 4.000000e+01 |3900.00%
346.40/346.40 c 339s|740000 |201233 | 0 | 0.0 | 170M| 176 | - | 293 |8626 | 0 | 0 | 0 | 843k| 0 | 1.000000e+00 | 4.000000e+01 |3900.00%
351.70/351.70 c 344s|750000 |201091 | 0 | 0.0 | 173M| 176 | - | 293 |9234 | 0 | 0 | 0 | 857k| 0 | 1.000000e+00 | 4.000000e+01 |3900.00%
357.09/357.13 c 350s|760000 |200745 | 0 | 0.0 | 176M| 176 | - | 293 |9796 | 0 | 0 | 0 | 871k| 0 | 1.000000e+00 | 4.000000e+01 |3900.00%
361.30/361.34 o 23
361.30/361.34 c * 354s|767465 |178827 | 0 | 0.0 | 162M| 176 | - | 293 | 10k| 0 | 0 | 0 | 882k| 0 | 1.000000e+00 | 2.300000e+01 |2200.00%
363.10/363.17 c 355s|770000 |178113 | 0 | 0.0 | 162M| 176 | - | 293 | 10k| 0 | 0 | 0 | 886k| 0 | 1.000000e+00 | 2.300000e+01 |2200.00%
371.00/371.07 c 363s|780000 |173612 | 0 | 0.0 | 163M| 176 | - | 293 | 11k| 0 | 0 | 0 | 904k| 0 | 1.000000e+00 | 2.300000e+01 |2200.00%
377.60/377.65 c 370s|790000 |171333 | 0 | 0.0 | 160M| 176 | - | 293 |3888 | 0 | 0 | 0 | 918k| 0 | 1.000000e+00 | 2.300000e+01 |2200.00%
380.00/380.01 c 372s|800000 |176628 | 0 | 0.0 | 165M| 176 | - | 293 |5926 | 0 | 0 | 0 | 928k| 0 | 1.000000e+00 | 2.300000e+01 |2200.00%
383.60/383.65 c 375s|810000 |179546 | 0 | 0.0 | 169M| 176 | - | 293 |7800 | 0 | 0 | 0 | 940k| 0 | 1.000000e+00 | 2.300000e+01 |2200.00%
390.10/390.16 c 382s|820000 |176969 | 0 | 0.0 | 167M| 176 | - | 293 |9086 | 0 | 0 | 0 | 960k| 0 | 1.000000e+00 | 2.300000e+01 |2200.00%
397.30/397.37 c 389s|830000 |175095 | 0 | 0.0 | 161M| 176 | - | 293 |9626 | 0 | 0 | 0 | 978k| 0 | 1.000000e+00 | 2.300000e+01 |2200.00%
397.50/397.59 o 20
397.50/397.59 c * 389s|830288 |159664 | 0 | 0.0 | 144M| 176 | - | 293 |9756 | 0 | 0 | 0 | 979k| 0 | 1.000000e+00 | 2.000000e+01 |1900.00%
397.60/397.63 o 6
397.60/397.63 c * 389s|830289 |139550 | 0 | 0.0 | 128M| 176 | - | 293 |9756 | 0 | 0 | 0 | 979k| 0 | 1.000000e+00 | 6.000000e+00 | 500.00%
400.90/400.94 o 2
400.90/400.94 c * 392s|833080 | 198 | 0 | 0.0 |9979k| 176 | - | 293 | 10k| 0 | 0 | 0 | 985k| 0 | 1.000000e+00 | 2.000000e+00 | 100.00%
401.00/401.09 c
401.00/401.09 c SCIP Status : problem is solved [optimal solution found]
401.00/401.09 c Solving Time (sec) : 392.53
401.00/401.09 c Solving Nodes : 833203
401.00/401.09 c Primal Bound : +2.00000000000000e+00 (21 solutions)
401.00/401.09 c Dual Bound : +2.00000000000000e+00
401.00/401.09 c Gap : 0.00 %
401.00/401.09 s OPTIMUM FOUND
401.00/401.09 v -x169 -x168 x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 x151 -x150 -x149 -x148
401.00/401.09 v -x147 -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127
401.00/401.09 v -x126 -x125 -x124 -x123 -x122 -x121 x120 -x119 -x118 -x117 x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106
401.00/401.09 v -x105 -x104 -x103 -x102 -x101 -x100 -x99 -x98 -x97 x96 -x95 -x94 -x93 -x92 -x91 -x90 -x89 -x88 -x87 -x86 -x85 -x84 -x83 -x82
401.00/401.09 v -x81 -x80 x79 -x78 -x77 -x76 -x75 -x74 -x73 x72 -x71 -x70 -x69 -x68 -x67 -x66 -x65 -x64 -x63 -x62 -x61 -x60 -x59 -x58 -x57
401.00/401.09 v x56 -x55 -x54 -x53 -x52 -x51 -x50 -x49 x48 -x47 -x46 -x45 -x44 -x43 -x42 -x41 -x40 -x39 -x38 -x37 x36 -x35 -x34 -x33 -x32 -x31
401.00/401.09 v -x30 -x29 -x28 -x27 -x26 -x25 -x24 -x23 -x22 -x21 -x20 -x19 -x18 -x17 -x16 x15 -x14 x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5
401.00/401.09 v -x4 -x3 -x2 -x1
401.00/401.09 c SCIP Status : problem is solved [optimal solution found]
401.00/401.09 c Solving Time : 392.53
401.00/401.09 c Original Problem :
401.00/401.09 c Problem name : HOME/instance-2693885-1277896431.wbo
401.00/401.09 c Variables : 297 (233 binary, 0 integer, 0 implicit integer, 64 continuous)
401.00/401.09 c Constraints : 166 initial, 166 maximal
401.00/401.09 c Presolved Problem :
401.00/401.09 c Problem name : t_HOME/instance-2693885-1277896431.wbo
401.00/401.09 c Variables : 293 (231 binary, 0 integer, 0 implicit integer, 62 continuous)
401.00/401.09 c Constraints : 158 initial, 33056 maximal
401.00/401.09 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
401.00/401.09 c trivial : 0.00 0 0 0 0 0 0 0 0
401.00/401.09 c dualfix : 0.00 4 0 0 0 0 0 0 0
401.00/401.09 c boundshift : 0.00 0 0 0 0 0 0 0 0
401.00/401.09 c inttobinary : 0.00 0 0 0 0 0 0 0 0
401.00/401.09 c implics : 0.00 0 0 0 0 0 0 0 0
401.00/401.09 c probing : 0.01 0 0 0 0 0 0 0 0
401.00/401.09 c indicator : 0.00 0 0 0 0 0 2 0 0
401.00/401.09 c setppc : 0.00 0 0 0 0 0 0 0 0
401.00/401.09 c linear : 0.00 0 0 0 62 0 6 2 0
401.00/401.09 c logicor : 0.00 0 0 0 0 0 0 0 0
401.00/401.09 c bounddisjunction : 0.00 0 0 0 0 0 0 0 0
401.00/401.09 c root node : - 15 - - 30 - - - -
401.00/401.09 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
401.00/401.09 c integral : 0 0 0 0 0 0 0 0 0 0
401.00/401.09 c indicator : 62 0 1752857 0 509739 2871 488784 0 0 0
401.00/401.09 c setppc : 30 0 2320683 0 619192 33022 2811997 0 0 0
401.00/401.09 c linear : 62 0 2287863 0 619256 228542 8384852 0 0 0
401.00/401.09 c logicor : 4+ 0 1192442 0 614181 57085 685366 0 0 0
401.00/401.09 c bounddisjunction : 0+ 0 52937 0 0 0 2061 0 0 0
401.00/401.09 c countsols : 0 0 0 0 619277 0 0 0 0 0
401.00/401.09 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
401.00/401.09 c integral : 0.00 0.00 0.00 0.00 0.00
401.00/401.09 c indicator : 1.64 0.00 0.91 0.00 0.73
401.00/401.09 c setppc : 9.28 0.00 7.08 0.00 2.20
401.00/401.09 c linear : 48.43 0.00 48.26 0.00 0.17
401.00/401.09 c logicor : 142.93 0.00 142.57 0.00 0.36
401.00/401.09 c bounddisjunction : 0.06 0.00 0.06 0.00 0.00
401.00/401.09 c countsols : 0.12 0.00 0.00 0.00 0.12
401.00/401.09 c Propagators : Time Calls Cutoffs DomReds
401.00/401.09 c vbounds : 0.50 2 0 0
401.00/401.09 c rootredcost : 0.54 0 0 0
401.00/401.09 c pseudoobj : 6.02 2327649 4041 460168
401.00/401.09 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
401.00/401.09 c propagation : 18.16 322687 322671 1669731 29.6 183035 14.4 -
401.00/401.09 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
401.00/401.09 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
401.00/401.09 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
401.00/401.09 c pseudo solution : 0.02 48 48 229 30.5 30 15.1 -
401.00/401.09 c applied globally : - - - 932053 18.4 - - -
401.00/401.09 c applied locally : - - - 54206 38.9 - - -
401.00/401.09 c Separators : Time Calls Cutoffs DomReds Cuts Conss
401.00/401.09 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
401.00/401.09 c redcost : 0.00 0 0 0 0 0
401.00/401.09 c impliedbounds : 0.00 0 0 0 0 0
401.00/401.09 c intobj : 0.00 0 0 0 0 0
401.00/401.09 c cgmip : 0.00 0 0 0 0 0
401.00/401.09 c gomory : 0.00 0 0 0 0 0
401.00/401.09 c strongcg : 0.00 0 0 0 0 0
401.00/401.09 c cmir : 0.00 0 0 0 0 0
401.00/401.09 c flowcover : 0.00 0 0 0 0 0
401.00/401.09 c clique : 0.00 0 0 0 0 0
401.00/401.09 c zerohalf : 0.00 0 0 0 0 0
401.00/401.09 c mcf : 0.00 0 0 0 0 0
401.00/401.09 c rapidlearning : 0.00 0 0 0 0 0
401.00/401.09 c Pricers : Time Calls Vars
401.00/401.09 c problem variables: 0.00 0 0
401.00/401.09 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
401.00/401.09 c relpscost : 0.00 0 0 0 0 0 0
401.00/401.09 c pscost : 0.00 0 0 0 0 0 0
401.00/401.09 c inference : 4.77 619256 0 0 0 0 1238512
401.00/401.09 c mostinf : 0.00 0 0 0 0 0 0
401.00/401.09 c leastinf : 0.00 0 0 0 0 0 0
401.00/401.09 c fullstrong : 0.00 0 0 0 0 0 0
401.00/401.09 c allfullstrong : 0.00 0 0 0 0 0 0
401.00/401.09 c random : 0.00 0 0 0 0 0 0
401.00/401.09 c Primal Heuristics : Time Calls Found
401.00/401.09 c LP solutions : 0.00 - 0
401.00/401.09 c pseudo solutions : 0.50 - 21
401.00/401.09 c oneopt : 0.27 0 0
401.00/401.09 c trivial : 0.00 2 0
401.00/401.09 c simplerounding : 0.00 0 0
401.00/401.09 c zirounding : 0.00 0 0
401.00/401.09 c rounding : 0.00 0 0
401.00/401.09 c shifting : 0.00 0 0
401.00/401.09 c intshifting : 0.00 0 0
401.00/401.09 c twoopt : 0.00 0 0
401.00/401.09 c fixandinfer : 0.00 0 0
401.00/401.09 c feaspump : 0.00 0 0
401.00/401.09 c coefdiving : 0.00 0 0
401.00/401.09 c pscostdiving : 0.00 0 0
401.00/401.09 c fracdiving : 0.00 0 0
401.00/401.09 c veclendiving : 0.00 0 0
401.00/401.09 c intdiving : 0.00 0 0
401.00/401.09 c actconsdiving : 0.00 0 0
401.00/401.09 c objpscostdiving : 0.00 0 0
401.00/401.09 c rootsoldiving : 0.00 0 0
401.00/401.09 c linesearchdiving : 0.00 0 0
401.00/401.09 c guideddiving : 0.00 0 0
401.00/401.09 c octane : 0.00 0 0
401.00/401.09 c rens : 0.00 0 0
401.00/401.09 c rins : 0.00 0 0
401.00/401.09 c localbranching : 0.00 0 0
401.00/401.09 c mutation : 0.00 0 0
401.00/401.09 c crossover : 0.00 0 0
401.00/401.09 c dins : 0.00 0 0
401.00/401.09 c undercover : 0.00 0 0
401.00/401.09 c nlp : 0.18 0 0
401.00/401.09 c trysol : 0.15 1 0
401.00/401.09 c LP : Time Calls Iterations Iter/call Iter/sec
401.00/401.09 c primal LP : 0.00 0 0 0.00 -
401.00/401.09 c dual LP : 0.00 0 0 0.00 -
401.00/401.09 c lex dual LP : 0.00 0 0 0.00 -
401.00/401.09 c barrier LP : 0.00 0 0 0.00 -
401.00/401.09 c diving/probing LP: 0.00 0 0 0.00 -
401.00/401.09 c strong branching : 0.00 0 0 0.00 -
401.00/401.09 c (at root node) : - 0 0 0.00 -
401.00/401.09 c conflict analysis: 0.00 0 0 0.00 -
401.00/401.09 c B&B Tree :
401.00/401.09 c number of runs : 1
401.00/401.09 c nodes : 833203
401.00/401.09 c nodes (total) : 833203
401.00/401.09 c nodes left : 0
401.00/401.09 c max depth : 176
401.00/401.09 c max depth (total): 176
401.00/401.09 c backtracks : 224981 (27.0%)
401.00/401.09 c delayed cutoffs : 156058
401.00/401.09 c repropagations : 741765 (3771521 domain reductions, 111683 cutoffs)
401.00/401.09 c avg switch length: 15.99
401.00/401.09 c switching time : 124.11
401.00/401.09 c Solution :
401.00/401.09 c Solutions found : 21 (21 improvements)
401.00/401.09 c First Solution : +6.09000000000000e+02 (in run 1, after 17646 nodes, 2.30 seconds, depth 117, found by <relaxation>)
401.00/401.09 c Primal Bound : +2.00000000000000e+00 (in run 1, after 833080 nodes, 392.14 seconds, depth 54, found by <relaxation>)
401.00/401.09 c Dual Bound : +2.00000000000000e+00
401.00/401.09 c Gap : 0.00 %
401.00/401.09 c Root Dual Bound : +0.00000000000000e+00
401.00/401.09 c Root Iterations : 0
401.10/401.11 c Time complete: 401.11.