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-2693994-1277899332.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.01 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.02
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
1.19/1.24 c 1.1s| 10000 | 7195 | 0 | 0.0 |6725k| 176 | - | 293 |3040 | 0 | 0 | 0 |8018 | 0 | 0.000000e+00 | -- | Inf
3.30/3.32 c 3.1s| 20000 | 12326 | 0 | 0.0 | 11M| 176 | - | 293 |4586 | 0 | 0 | 0 | 18k| 0 | 0.000000e+00 | -- | Inf
5.99/6.05 c 5.8s| 30000 | 16818 | 0 | 0.0 | 17M| 176 | - | 293 |7723 | 0 | 0 | 0 | 32k| 0 | 0.000000e+00 | -- | Inf
9.39/9.42 c 9.0s| 40000 | 20458 | 0 | 0.0 | 21M| 176 | - | 293 |9483 | 0 | 0 | 0 | 47k| 0 | 0.000000e+00 | -- | Inf
12.99/13.05 c 12.6s| 50000 | 23572 | 0 | 0.0 | 26M| 176 | - | 293 | 11k| 0 | 0 | 0 | 61k| 0 | 0.000000e+00 | -- | Inf
17.39/17.42 c 16.9s| 60000 | 26317 | 0 | 0.0 | 28M| 176 | - | 293 |6601 | 0 | 0 | 0 | 74k| 0 | 0.000000e+00 | -- | Inf
18.69/18.79 o 641
18.69/18.79 c *18.2s| 64913 | 28564 | 0 | 0.0 | 30M| 176 | - | 293 |6253 | 0 | 0 | 0 | 81k| 0 | 0.000000e+00 | 6.410000e+02 | Inf
18.69/18.79 o 516
18.69/18.79 c *18.2s| 64914 | 28563 | 0 | 0.0 | 30M| 176 | - | 293 |6253 | 0 | 0 | 0 | 81k| 0 | 0.000000e+00 | 5.160000e+02 | Inf
18.89/18.92 o 455
18.89/18.92 c *18.3s| 66390 | 29977 | 0 | 0.0 | 30M| 176 | - | 293 |4902 | 0 | 0 | 0 | 81k| 0 | 0.000000e+00 | 4.550000e+02 | Inf
18.89/18.92 o 398
18.89/18.92 c *18.3s| 66391 | 29975 | 0 | 0.0 | 30M| 176 | - | 293 |4902 | 0 | 0 | 0 | 81k| 0 | 0.000000e+00 | 3.980000e+02 | Inf
20.09/20.13 c 19.5s| 70000 | 30901 | 0 | 0.0 | 32M| 176 | - | 293 |6808 | 0 | 0 | 0 | 87k| 0 | 0.000000e+00 | 3.980000e+02 | Inf
25.20/25.21 c 24.4s| 80000 | 32140 | 0 | 0.0 | 37M| 176 | - | 293 | 13k| 0 | 0 | 0 | 105k| 0 | 0.000000e+00 | 3.980000e+02 | Inf
31.80/31.89 c 31.0s| 90000 | 32303 | 0 | 0.0 | 41M| 176 | - | 293 | 16k| 0 | 0 | 0 | 124k| 0 | 0.000000e+00 | 3.980000e+02 | Inf
38.69/38.74 c 37.7s|100000 | 32773 | 0 | 0.0 | 44M| 176 | - | 293 | 18k| 0 | 0 | 0 | 142k| 0 | 0.000000e+00 | 3.980000e+02 | Inf
46.39/46.47 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
46.39/46.47 c 45.4s|110000 | 33086 | 0 | 0.0 | 48M| 176 | - | 293 | 21k| 0 | 0 | 0 | 160k| 0 | 0.000000e+00 | 3.980000e+02 | Inf
57.39/57.44 c 56.2s|120000 | 30686 | 0 | 0.0 | 49M| 176 | - | 293 | 24k| 0 | 0 | 0 | 181k| 0 | 0.000000e+00 | 3.980000e+02 | Inf
62.90/62.93 c 61.6s|130000 | 35728 | 0 | 0.0 | 47M| 176 | - | 293 |9434 | 0 | 0 | 0 | 192k| 0 | 0.000000e+00 | 3.980000e+02 | Inf
67.10/67.14 c 65.7s|140000 | 39553 | 0 | 0.0 | 51M| 176 | - | 293 |9417 | 0 | 0 | 0 | 207k| 0 | 0.000000e+00 | 3.980000e+02 | Inf
71.79/71.86 c 70.3s|150000 | 42312 | 0 | 0.0 | 53M| 176 | - | 293 |5143 | 0 | 0 | 0 | 221k| 0 | 0.000000e+00 | 3.980000e+02 | Inf
72.09/72.14 o 396
72.09/72.14 c *70.5s|152085 | 44054 | 0 | 0.0 | 53M| 176 | - | 293 |3358 | 0 | 0 | 0 | 222k| 0 | 0.000000e+00 | 3.960000e+02 | Inf
72.99/73.09 c 71.4s|160000 | 50632 | 0 | 0.0 | 56M| 176 | - | 293 |3397 | 0 | 0 | 0 | 224k| 0 | 0.000000e+00 | 3.960000e+02 | Inf
73.19/73.29 o 332
73.19/73.29 c *71.6s|161514 | 51835 | 0 | 0.0 | 57M| 176 | - | 293 |3504 | 0 | 0 | 0 | 225k| 0 | 0.000000e+00 | 3.320000e+02 | Inf
73.39/73.48 o 297
73.39/73.48 c *71.8s|162949 | 52987 | 0 | 0.0 | 57M| 176 | - | 293 |3601 | 0 | 0 | 0 | 225k| 0 | 0.000000e+00 | 2.970000e+02 | Inf
74.59/74.60 c 72.8s|170000 | 58069 | 0 | 0.0 | 61M| 176 | - | 293 |4486 | 0 | 0 | 0 | 228k| 0 | 0.000000e+00 | 2.970000e+02 | Inf
77.89/77.91 c 76.0s|180000 | 60934 | 0 | 0.0 | 64M| 176 | - | 293 |8456 | 0 | 0 | 0 | 241k| 0 | 0.000000e+00 | 2.970000e+02 | Inf
87.30/87.39 c 85.4s|190000 | 56803 | 0 | 0.0 | 65M| 176 | - | 293 | 19k| 0 | 0 | 0 | 264k| 0 | 0.000000e+00 | 2.970000e+02 | Inf
101.60/101.65 c 99.5s|200000 | 50914 | 0 | 0.0 | 59M| 176 | - | 293 | 22k| 0 | 0 | 0 | 288k| 0 | 0.000000e+00 | 2.970000e+02 | Inf
112.80/112.82 c 111s|210000 | 50200 | 0 | 0.0 | 53M| 176 | - | 293 | 13k| 0 | 0 | 0 | 308k| 0 | 0.000000e+00 | 2.970000e+02 | Inf
119.40/119.47 c 117s|220000 | 52197 | 0 | 0.0 | 56M| 176 | - | 293 | 14k| 0 | 0 | 0 | 326k| 0 | 0.000000e+00 | 2.970000e+02 | Inf
127.79/127.83 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
127.79/127.83 c 125s|230000 | 52538 | 0 | 0.0 | 59M| 176 | - | 293 | 17k| 0 | 0 | 0 | 346k| 0 | 0.000000e+00 | 2.970000e+02 | Inf
137.59/137.66 c 135s|240000 | 51700 | 0 | 0.0 | 61M| 176 | - | 293 | 21k| 0 | 0 | 0 | 367k| 0 | 0.000000e+00 | 2.970000e+02 | Inf
145.80/145.84 c 143s|250000 | 53844 | 0 | 0.0 | 57M| 176 | - | 293 |7264 | 0 | 0 | 0 | 381k| 0 | 0.000000e+00 | 2.970000e+02 | Inf
146.39/146.46 o 213
146.39/146.46 c * 144s|253285 | 56228 | 0 | 0.0 | 57M| 176 | - | 293 |4077 | 0 | 0 | 0 | 382k| 0 | 0.000000e+00 | 2.130000e+02 | Inf
147.40/147.47 c 145s|260000 | 61444 | 0 | 0.0 | 59M| 176 | - | 293 |3651 | 0 | 0 | 0 | 385k| 0 | 0.000000e+00 | 2.130000e+02 | Inf
148.99/149.01 c 146s|270000 | 69067 | 0 | 0.0 | 63M| 176 | - | 293 |4144 | 0 | 0 | 0 | 389k| 0 | 0.000000e+00 | 2.130000e+02 | Inf
150.50/150.56 c 148s|280000 | 76648 | 0 | 0.0 | 67M| 176 | - | 293 |4797 | 0 | 0 | 0 | 393k| 0 | 0.000000e+00 | 2.130000e+02 | Inf
152.29/152.38 c 149s|290000 | 83857 | 0 | 0.0 | 71M| 176 | - | 293 |5549 | 0 | 0 | 0 | 398k| 0 | 0.000000e+00 | 2.130000e+02 | Inf
154.29/154.32 c 151s|300000 | 90910 | 0 | 0.0 | 75M| 176 | - | 293 |6014 | 0 | 0 | 0 | 403k| 0 | 0.000000e+00 | 2.130000e+02 | Inf
156.29/156.31 c 153s|310000 | 97830 | 0 | 0.0 | 79M| 176 | - | 293 |6540 | 0 | 0 | 0 | 408k| 0 | 0.000000e+00 | 2.130000e+02 | Inf
158.30/158.37 c 155s|320000 |104724 | 0 | 0.0 | 84M| 176 | - | 293 |6824 | 0 | 0 | 0 | 413k| 0 | 0.000000e+00 | 2.130000e+02 | Inf
160.39/160.46 c 157s|330000 |111572 | 0 | 0.0 | 88M| 176 | - | 293 |6770 | 0 | 0 | 0 | 417k| 0 | 0.000000e+00 | 2.130000e+02 | Inf
162.59/162.70 c 159s|340000 |118037 | 0 | 0.0 | 92M| 176 | - | 293 |6982 | 0 | 0 | 0 | 423k| 0 | 0.000000e+00 | 2.130000e+02 | Inf
164.90/164.97 c 161s|350000 |124369 | 0 | 0.0 | 96M| 176 | - | 293 |7201 | 0 | 0 | 0 | 428k| 0 | 0.000000e+00 | 2.130000e+02 | Inf
167.29/167.39 c 164s|360000 |130505 | 0 | 0.0 | 100M| 176 | - | 293 |7656 | 0 | 0 | 0 | 433k| 0 | 0.000000e+00 | 2.130000e+02 | Inf
170.00/170.00 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
170.00/170.00 c 166s|370000 |136284 | 0 | 0.0 | 104M| 176 | - | 293 |8345 | 0 | 0 | 0 | 439k| 0 | 0.000000e+00 | 2.130000e+02 | Inf
172.79/172.84 c 169s|380000 |141733 | 0 | 0.0 | 109M| 176 | - | 293 |8949 | 0 | 0 | 0 | 446k| 0 | 0.000000e+00 | 2.130000e+02 | Inf
175.49/175.59 c 172s|390000 |147291 | 0 | 0.0 | 113M| 176 | - | 293 |9390 | 0 | 0 | 0 | 452k| 0 | 0.000000e+00 | 2.130000e+02 | Inf
175.60/175.64 o 212
175.60/175.64 c * 172s|390201 |147397 | 0 | 0.0 | 113M| 176 | - | 293 |9475 | 0 | 0 | 0 | 452k| 0 | 0.000000e+00 | 2.120000e+02 | Inf
178.60/178.65 c 175s|400000 |152332 | 0 | 0.0 | 118M| 176 | - | 293 | 10k| 0 | 0 | 0 | 458k| 0 | 0.000000e+00 | 2.120000e+02 | Inf
181.89/181.91 c 178s|410000 |156846 | 0 | 0.0 | 122M| 176 | - | 293 | 11k| 0 | 0 | 0 | 465k| 0 | 0.000000e+00 | 2.120000e+02 | Inf
185.80/185.90 c 182s|420000 |159101 | 0 | 0.0 | 119M| 176 | - | 293 |8444 | 0 | 0 | 0 | 478k| 0 | 1.000000e+00 | 2.120000e+02 | Large
196.09/196.10 c 192s|430000 |155296 | 0 | 0.0 | 121M| 176 | - | 293 | 17k| 0 | 0 | 0 | 505k| 0 | 1.000000e+00 | 2.120000e+02 | Large
211.99/212.04 c 208s|440000 |150166 | 0 | 0.0 | 121M| 176 | - | 293 | 26k| 0 | 0 | 0 | 531k| 0 | 1.000000e+00 | 2.120000e+02 | Large
228.70/228.78 c 224s|450000 |147311 | 0 | 0.0 | 115M| 176 | - | 293 | 23k| 0 | 0 | 0 | 551k| 0 | 1.000000e+00 | 2.120000e+02 | Large
232.10/232.14 c 227s|460000 |154187 | 0 | 0.0 | 113M| 176 | - | 293 |5072 | 0 | 0 | 0 | 557k| 0 | 1.000000e+00 | 2.120000e+02 | Large
234.40/234.46 c 230s|470000 |160746 | 0 | 0.0 | 117M| 176 | - | 293 |5086 | 0 | 0 | 0 | 563k| 0 | 1.000000e+00 | 2.120000e+02 | Large
236.69/236.71 c 232s|480000 |167336 | 0 | 0.0 | 121M| 176 | - | 293 |5355 | 0 | 0 | 0 | 569k| 0 | 1.000000e+00 | 2.120000e+02 | Large
239.00/239.02 c 234s|490000 |173827 | 0 | 0.0 | 125M| 176 | - | 293 |5648 | 0 | 0 | 0 | 574k| 0 | 1.000000e+00 | 2.120000e+02 | Large
241.20/241.27 c 236s|500000 |180397 | 0 | 0.0 | 130M| 176 | - | 293 |6175 | 0 | 0 | 0 | 580k| 0 | 1.000000e+00 | 2.120000e+02 | Large
243.59/243.64 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
243.59/243.64 c 238s|510000 |186820 | 0 | 0.0 | 134M| 176 | - | 293 |6327 | 0 | 0 | 0 | 586k| 0 | 1.000000e+00 | 2.120000e+02 | Large
245.00/245.09 o 209
245.00/245.09 c * 240s|516111 |190628 | 0 | 0.0 | 136M| 176 | - | 293 |6580 | 0 | 0 | 0 | 589k| 0 | 1.000000e+00 | 2.090000e+02 | Large
246.09/246.16 c 241s|520000 |192890 | 0 | 0.0 | 138M| 176 | - | 293 |6640 | 0 | 0 | 0 | 592k| 0 | 1.000000e+00 | 2.090000e+02 | Large
248.60/248.69 c 243s|530000 |199037 | 0 | 0.0 | 142M| 176 | - | 293 |6829 | 0 | 0 | 0 | 598k| 0 | 1.000000e+00 | 2.090000e+02 | Large
250.39/250.43 o 181
250.39/250.43 c * 245s|537048 |203019 | 0 | 0.0 | 144M| 176 | - | 293 |7288 | 0 | 0 | 0 | 602k| 0 | 1.000000e+00 | 1.810000e+02 | Large
251.10/251.18 c 246s|540000 |204851 | 0 | 0.0 | 145M| 176 | - | 293 |7476 | 0 | 0 | 0 | 604k| 0 | 1.000000e+00 | 1.810000e+02 | Large
253.80/253.87 c 248s|550000 |210857 | 0 | 0.0 | 150M| 176 | - | 293 |7725 | 0 | 0 | 0 | 610k| 0 | 1.000000e+00 | 1.810000e+02 | Large
256.60/256.66 c 251s|560000 |216652 | 0 | 0.0 | 154M| 176 | - | 293 |7666 | 0 | 0 | 0 | 617k| 0 | 1.000000e+00 | 1.810000e+02 | Large
259.51/259.57 c 254s|570000 |222385 | 0 | 0.0 | 158M| 176 | - | 293 |7813 | 0 | 0 | 0 | 623k| 0 | 1.000000e+00 | 1.810000e+02 | Large
262.30/262.33 c 257s|580000 |228234 | 0 | 0.0 | 162M| 176 | - | 293 |8359 | 0 | 0 | 0 | 630k| 0 | 1.000000e+00 | 1.810000e+02 | Large
265.30/265.31 c 259s|590000 |233778 | 0 | 0.0 | 166M| 176 | - | 293 |8165 | 0 | 0 | 0 | 636k| 0 | 1.000000e+00 | 1.810000e+02 | Large
268.20/268.28 c 262s|600000 |239367 | 0 | 0.0 | 170M| 176 | - | 293 |8158 | 0 | 0 | 0 | 643k| 0 | 1.000000e+00 | 1.810000e+02 | Large
271.10/271.16 c 265s|610000 |245055 | 0 | 0.0 | 175M| 176 | - | 293 |8835 | 0 | 0 | 0 | 650k| 0 | 1.000000e+00 | 1.810000e+02 | Large
274.30/274.32 c 268s|620000 |250208 | 0 | 0.0 | 179M| 176 | - | 293 |8885 | 0 | 0 | 0 | 657k| 0 | 1.000000e+00 | 1.810000e+02 | Large
277.49/277.55 c 271s|630000 |255460 | 0 | 0.0 | 183M| 176 | - | 293 |8810 | 0 | 0 | 0 | 664k| 0 | 1.000000e+00 | 1.810000e+02 | Large
280.29/280.34 o 153
280.29/280.34 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
280.29/280.34 c * 274s|639602 |259017 | 0 | 0.0 | 185M| 176 | - | 293 |9439 | 0 | 0 | 0 | 670k| 0 | 1.000000e+00 | 1.530000e+02 | Large
280.41/280.50 c 274s|640000 |259208 | 0 | 0.0 | 185M| 176 | - | 293 |9321 | 0 | 0 | 0 | 671k| 0 | 1.000000e+00 | 1.530000e+02 | Large
283.80/283.84 c 277s|650000 |264370 | 0 | 0.0 | 189M| 176 | - | 293 |9628 | 0 | 0 | 0 | 678k| 0 | 1.000000e+00 | 1.530000e+02 | Large
287.10/287.12 c 281s|660000 |269774 | 0 | 0.0 | 194M| 176 | - | 293 |9611 | 0 | 0 | 0 | 685k| 0 | 1.000000e+00 | 1.530000e+02 | Large
290.20/290.24 c 284s|670000 |275350 | 0 | 0.0 | 198M| 176 | - | 293 |9779 | 0 | 0 | 0 | 692k| 0 | 1.000000e+00 | 1.530000e+02 | Large
293.60/293.69 c 287s|680000 |280337 | 0 | 0.0 | 203M| 176 | - | 293 | 10k| 0 | 0 | 0 | 699k| 0 | 1.000000e+00 | 1.530000e+02 | Large
297.00/297.08 c 290s|690000 |285585 | 0 | 0.0 | 207M| 176 | - | 293 |9931 | 0 | 0 | 0 | 707k| 0 | 1.000000e+00 | 1.530000e+02 | Large
300.20/300.23 c 293s|700000 |291106 | 0 | 0.0 | 211M| 176 | - | 293 |9974 | 0 | 0 | 0 | 713k| 0 | 1.000000e+00 | 1.530000e+02 | Large
303.61/303.69 c 297s|710000 |296088 | 0 | 0.0 | 216M| 176 | - | 293 | 10k| 0 | 0 | 0 | 721k| 0 | 1.000000e+00 | 1.530000e+02 | Large
306.99/307.09 c 300s|720000 |301308 | 0 | 0.0 | 220M| 176 | - | 293 | 10k| 0 | 0 | 0 | 728k| 0 | 1.000000e+00 | 1.530000e+02 | Large
310.39/310.47 c 303s|730000 |306558 | 0 | 0.0 | 224M| 176 | - | 293 | 10k| 0 | 0 | 0 | 735k| 0 | 1.000000e+00 | 1.530000e+02 | Large
313.99/314.04 c 307s|740000 |311416 | 0 | 0.0 | 229M| 176 | - | 293 | 10k| 0 | 0 | 0 | 742k| 0 | 1.000000e+00 | 1.530000e+02 | Large
317.49/317.50 c 310s|750000 |316570 | 0 | 0.0 | 233M| 176 | - | 293 | 10k| 0 | 0 | 0 | 749k| 0 | 1.000000e+00 | 1.530000e+02 | Large
320.70/320.76 c 313s|760000 |322012 | 0 | 0.0 | 237M| 176 | - | 293 | 10k| 0 | 0 | 0 | 756k| 0 | 1.000000e+00 | 1.530000e+02 | Large
324.40/324.47 c 317s|770000 |326814 | 0 | 0.0 | 241M| 176 | - | 293 | 10k| 0 | 0 | 0 | 763k| 0 | 1.000000e+00 | 1.530000e+02 | Large
328.10/328.11 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
328.10/328.11 c 320s|780000 |331614 | 0 | 0.0 | 244M| 176 | - | 293 | 10k| 0 | 0 | 0 | 770k| 0 | 1.000000e+00 | 1.530000e+02 | Large
331.80/331.80 c 324s|790000 |336404 | 0 | 0.0 | 248M| 176 | - | 293 | 11k| 0 | 0 | 0 | 778k| 0 | 1.000000e+00 | 1.530000e+02 | Large
334.99/335.05 c 327s|800000 |341898 | 0 | 0.0 | 252M| 176 | - | 293 | 11k| 0 | 0 | 0 | 784k| 0 | 2.000000e+00 | 1.530000e+02 |7550.00%
338.60/338.68 c 331s|810000 |346706 | 0 | 0.0 | 257M| 176 | - | 293 | 11k| 0 | 0 | 0 | 791k| 0 | 2.000000e+00 | 1.530000e+02 |7550.00%
342.29/342.30 c 334s|820000 |351526 | 0 | 0.0 | 262M| 176 | - | 293 | 11k| 0 | 0 | 0 | 797k| 0 | 2.000000e+00 | 1.530000e+02 |7550.00%
345.69/345.77 c 338s|830000 |356547 | 0 | 0.0 | 267M| 176 | - | 293 | 12k| 0 | 0 | 0 | 804k| 0 | 2.000000e+00 | 1.530000e+02 |7550.00%
349.40/349.44 c 341s|840000 |361236 | 0 | 0.0 | 272M| 176 | - | 293 | 12k| 0 | 0 | 0 | 811k| 0 | 2.000000e+00 | 1.530000e+02 |7550.00%
353.00/353.09 c 345s|850000 |365901 | 0 | 0.0 | 277M| 176 | - | 293 | 12k| 0 | 0 | 0 | 818k| 0 | 2.000000e+00 | 1.530000e+02 |7550.00%
356.70/356.78 c 348s|860000 |370638 | 0 | 0.0 | 282M| 176 | - | 293 | 13k| 0 | 0 | 0 | 825k| 0 | 2.000000e+00 | 1.530000e+02 |7550.00%
360.40/360.49 c 352s|870000 |375348 | 0 | 0.0 | 287M| 176 | - | 293 | 13k| 0 | 0 | 0 | 832k| 0 | 2.000000e+00 | 1.530000e+02 |7550.00%
364.60/364.61 c 356s|880000 |379565 | 0 | 0.0 | 292M| 176 | - | 293 | 13k| 0 | 0 | 0 | 839k| 0 | 2.000000e+00 | 1.530000e+02 |7550.00%
367.49/367.53 o 152
367.49/367.53 c * 359s|887363 |382543 | 0 | 0.0 | 295M| 176 | - | 293 | 13k| 0 | 0 | 0 | 844k| 0 | 2.000000e+00 | 1.520000e+02 |7500.00%
367.69/367.70 o 145
367.69/367.70 c * 359s|887779 |380859 | 0 | 0.0 | 294M| 176 | - | 293 | 13k| 0 | 0 | 0 | 845k| 0 | 2.000000e+00 | 1.450000e+02 |7150.00%
368.51/368.54 c 360s|890000 |381928 | 0 | 0.0 | 295M| 176 | - | 293 | 14k| 0 | 0 | 0 | 846k| 0 | 2.000000e+00 | 1.450000e+02 |7150.00%
373.00/373.03 c 364s|900000 |385534 | 0 | 0.0 | 300M| 176 | - | 293 | 13k| 0 | 0 | 0 | 854k| 0 | 2.000000e+00 | 1.450000e+02 |7150.00%
377.39/377.47 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
377.39/377.47 c 368s|910000 |389222 | 0 | 0.0 | 305M| 176 | - | 293 | 14k| 0 | 0 | 0 | 862k| 0 | 2.000000e+00 | 1.450000e+02 |7150.00%
382.20/382.23 c 373s|920000 |392385 | 0 | 0.0 | 310M| 176 | - | 293 | 14k| 0 | 0 | 0 | 870k| 0 | 2.000000e+00 | 1.450000e+02 |7150.00%
387.00/387.00 c 378s|930000 |395274 | 0 | 0.0 | 316M| 176 | - | 293 | 14k| 0 | 0 | 0 | 878k| 0 | 2.000000e+00 | 1.450000e+02 |7150.00%
392.00/392.02 c 383s|940000 |398835 | 0 | 0.0 | 318M| 176 | - | 293 |8561 | 0 | 0 | 0 | 886k| 0 | 2.000000e+00 | 1.450000e+02 |7150.00%
395.30/395.33 c 386s|950000 |404198 | 0 | 0.0 | 322M| 176 | - | 293 |7752 | 0 | 0 | 0 | 895k| 0 | 2.000000e+00 | 1.450000e+02 |7150.00%
399.40/399.49 c 390s|960000 |407825 | 0 | 0.0 | 328M| 176 | - | 293 | 10k| 0 | 0 | 0 | 907k| 0 | 2.000000e+00 | 1.450000e+02 |7150.00%
403.30/403.34 c 394s|970000 |412400 | 0 | 0.0 | 330M| 176 | - | 293 |5822 | 0 | 0 | 0 | 916k| 0 | 2.000000e+00 | 1.450000e+02 |7150.00%
406.00/406.08 c 396s|980000 |418108 | 0 | 0.0 | 335M| 176 | - | 293 |6556 | 0 | 0 | 0 | 924k| 0 | 2.000000e+00 | 1.450000e+02 |7150.00%
409.00/409.10 c 399s|990000 |423500 | 0 | 0.0 | 340M| 176 | - | 293 |7217 | 0 | 0 | 0 | 932k| 0 | 2.000000e+00 | 1.450000e+02 |7150.00%
412.00/412.09 c 402s| 1000k|429081 | 0 | 0.0 | 345M| 176 | - | 293 |8352 | 0 | 0 | 0 | 939k| 0 | 2.000000e+00 | 1.450000e+02 |7150.00%
415.30/415.33 c 405s| 1010k|434392 | 0 | 0.0 | 349M| 176 | - | 293 |8964 | 0 | 0 | 0 | 947k| 0 | 2.000000e+00 | 1.450000e+02 |7150.00%
418.70/418.79 c 409s| 1020k|439391 | 0 | 0.0 | 354M| 176 | - | 293 |9568 | 0 | 0 | 0 | 955k| 0 | 2.000000e+00 | 1.450000e+02 |7150.00%
420.10/420.18 o 135
420.10/420.18 c * 410s| 1024k|439103 | 0 | 0.0 | 353M| 176 | - | 293 | 10k| 0 | 0 | 0 | 958k| 0 | 2.000000e+00 | 1.350000e+02 |6650.00%
422.41/422.43 c 412s| 1030k|441631 | 0 | 0.0 | 356M| 176 | - | 293 |9902 | 0 | 0 | 0 | 963k| 0 | 2.000000e+00 | 1.350000e+02 |6650.00%
426.10/426.16 c 416s| 1040k|446580 | 0 | 0.0 | 360M| 176 | - | 293 | 10k| 0 | 0 | 0 | 971k| 0 | 2.000000e+00 | 1.350000e+02 |6650.00%
429.60/429.63 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
429.60/429.63 c 419s| 1050k|451881 | 0 | 0.0 | 365M| 176 | - | 293 | 11k| 0 | 0 | 0 | 979k| 0 | 2.000000e+00 | 1.350000e+02 |6650.00%
433.70/433.70 c 423s| 1060k|456470 | 0 | 0.0 | 370M| 176 | - | 293 | 11k| 0 | 0 | 0 | 988k| 0 | 2.000000e+00 | 1.350000e+02 |6650.00%
437.50/437.59 c 427s| 1070k|461504 | 0 | 0.0 | 374M| 176 | - | 293 | 11k| 0 | 0 | 0 | 996k| 0 | 2.000000e+00 | 1.350000e+02 |6650.00%
441.50/441.52 c 431s| 1080k|466393 | 0 | 0.0 | 379M| 176 | - | 293 | 12k| 0 | 0 | 0 |1004k| 0 | 2.000000e+00 | 1.350000e+02 |6650.00%
445.90/445.96 c 435s| 1090k|470805 | 0 | 0.0 | 383M| 176 | - | 293 | 11k| 0 | 0 | 0 |1013k| 0 | 2.000000e+00 | 1.350000e+02 |6650.00%
449.91/449.99 c 439s| 1100k|475672 | 0 | 0.0 | 388M| 176 | - | 293 | 12k| 0 | 0 | 0 |1021k| 0 | 2.000000e+00 | 1.350000e+02 |6650.00%
454.60/454.62 c 443s| 1110k|479901 | 0 | 0.0 | 393M| 176 | - | 293 | 13k| 0 | 0 | 0 |1030k| 0 | 2.000000e+00 | 1.350000e+02 |6650.00%
459.00/459.03 c 448s| 1120k|484460 | 0 | 0.0 | 398M| 176 | - | 293 | 13k| 0 | 0 | 0 |1038k| 0 | 2.000000e+00 | 1.350000e+02 |6650.00%
459.20/459.25 o 126
459.20/459.25 c * 448s| 1120k|481187 | 0 | 0.0 | 394M| 176 | - | 293 | 13k| 0 | 0 | 0 |1038k| 0 | 2.000000e+00 | 1.260000e+02 |6200.00%
464.30/464.30 c 453s| 1130k|484813 | 0 | 0.0 | 398M| 176 | - | 293 | 13k| 0 | 0 | 0 |1047k| 0 | 2.000000e+00 | 1.260000e+02 |6200.00%
468.90/468.96 c 457s| 1140k|489254 | 0 | 0.0 | 403M| 176 | - | 293 | 14k| 0 | 0 | 0 |1056k| 0 | 2.000000e+00 | 1.260000e+02 |6200.00%
474.30/474.36 c 463s| 1150k|493053 | 0 | 0.0 | 408M| 176 | - | 293 | 14k| 0 | 0 | 0 |1066k| 0 | 2.000000e+00 | 1.260000e+02 |6200.00%
479.41/479.46 c 468s| 1160k|497277 | 0 | 0.0 | 413M| 176 | - | 293 | 16k| 0 | 0 | 0 |1075k| 0 | 2.000000e+00 | 1.260000e+02 |6200.00%
485.70/485.77 c 474s| 1170k|500463 | 0 | 0.0 | 417M| 176 | - | 293 | 15k| 0 | 0 | 0 |1085k| 0 | 2.000000e+00 | 1.260000e+02 |6200.00%
491.10/491.18 c 479s| 1180k|504401 | 0 | 0.0 | 422M| 176 | - | 293 | 16k| 0 | 0 | 0 |1094k| 0 | 2.000000e+00 | 1.260000e+02 |6200.00%
497.21/497.26 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
497.21/497.26 c 485s| 1190k|507899 | 0 | 0.0 | 426M| 176 | - | 293 | 16k| 0 | 0 | 0 |1103k| 0 | 2.000000e+00 | 1.260000e+02 |6200.00%
503.20/503.21 c 490s| 1200k|511714 | 0 | 0.0 | 431M| 176 | - | 293 | 17k| 0 | 0 | 0 |1112k| 0 | 2.000000e+00 | 1.260000e+02 |6200.00%
509.50/509.55 c 496s| 1210k|515440 | 0 | 0.0 | 436M| 176 | - | 293 | 17k| 0 | 0 | 0 |1122k| 0 | 2.000000e+00 | 1.260000e+02 |6200.00%
515.41/515.42 c 502s| 1220k|519280 | 0 | 0.0 | 441M| 176 | - | 293 | 19k| 0 | 0 | 0 |1131k| 0 | 2.000000e+00 | 1.260000e+02 |6200.00%
522.30/522.39 c 509s| 1230k|522461 | 0 | 0.0 | 445M| 176 | - | 293 | 19k| 0 | 0 | 0 |1141k| 0 | 2.000000e+00 | 1.260000e+02 |6200.00%
528.70/528.75 c 515s| 1240k|526478 | 0 | 0.0 | 450M| 176 | - | 293 | 20k| 0 | 0 | 0 |1150k| 0 | 2.000000e+00 | 1.260000e+02 |6200.00%
536.20/536.21 c 522s| 1250k|529678 | 0 | 0.0 | 455M| 176 | - | 293 | 20k| 0 | 0 | 0 |1160k| 0 | 2.000000e+00 | 1.260000e+02 |6200.00%
542.60/542.67 c 528s| 1260k|533711 | 0 | 0.0 | 460M| 176 | - | 293 | 21k| 0 | 0 | 0 |1169k| 0 | 2.000000e+00 | 1.260000e+02 |6200.00%
543.11/543.15 o 102
543.11/543.15 c * 529s| 1260k|517474 | 0 | 0.0 | 444M| 176 | - | 293 | 21k| 0 | 0 | 0 |1169k| 0 | 2.000000e+00 | 1.020000e+02 |5000.00%
552.00/552.00 c 537s| 1270k|519505 | 0 | 0.0 | 448M| 176 | - | 293 | 21k| 0 | 0 | 0 |1180k| 0 | 2.000000e+00 | 1.020000e+02 |5000.00%
560.80/560.89 c 546s| 1280k|522277 | 0 | 0.0 | 452M| 176 | - | 293 | 22k| 0 | 0 | 0 |1190k| 0 | 2.000000e+00 | 1.020000e+02 |5000.00%
570.41/570.44 c 555s| 1290k|524837 | 0 | 0.0 | 457M| 176 | - | 293 | 21k| 0 | 0 | 0 |1201k| 0 | 2.000000e+00 | 1.020000e+02 |5000.00%
580.00/580.04 c 565s| 1300k|527376 | 0 | 0.0 | 461M| 176 | - | 293 | 21k| 0 | 0 | 0 |1211k| 0 | 2.000000e+00 | 1.020000e+02 |5000.00%
580.41/580.45 o 98
580.41/580.45 c * 565s| 1300k|522968 | 0 | 0.0 | 456M| 176 | - | 293 | 21k| 0 | 0 | 0 |1212k| 0 | 2.000000e+00 | 9.800000e+01 |4800.00%
584.70/584.79 c 569s| 1310k|525516 | 0 | 0.0 | 457M| 176 | - | 293 |7412 | 0 | 0 | 0 |1222k| 0 | 2.000000e+00 | 9.800000e+01 |4800.00%
589.70/589.73 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
589.70/589.73 c 574s| 1320k|527558 | 0 | 0.0 | 459M| 176 | - | 293 |2617 | 0 | 0 | 0 |1233k| 0 | 2.000000e+00 | 9.800000e+01 |4800.00%
593.21/593.22 c 577s| 1330k|530287 | 0 | 0.0 | 464M| 176 | - | 293 |3539 | 0 | 0 | 0 |1243k| 0 | 2.000000e+00 | 9.800000e+01 |4800.00%
597.31/597.31 c 581s| 1340k|531812 | 0 | 0.0 | 469M| 176 | - | 293 |7099 | 0 | 0 | 0 |1255k| 0 | 2.000000e+00 | 9.800000e+01 |4800.00%
602.21/602.21 c 585s| 1350k|533254 | 0 | 0.0 | 473M| 176 | - | 293 |8350 | 0 | 0 | 0 |1267k| 0 | 2.000000e+00 | 9.800000e+01 |4800.00%
607.50/607.57 c 590s| 1360k|535446 | 0 | 0.0 | 478M| 176 | - | 293 |8701 | 0 | 0 | 0 |1277k| 0 | 2.000000e+00 | 9.800000e+01 |4800.00%
613.30/613.33 c 596s| 1370k|536780 | 0 | 0.0 | 483M| 176 | - | 293 | 11k| 0 | 0 | 0 |1289k| 0 | 2.000000e+00 | 9.800000e+01 |4800.00%
619.50/619.51 c 602s| 1380k|538011 | 0 | 0.0 | 487M| 176 | - | 293 | 11k| 0 | 0 | 0 |1300k| 0 | 2.000000e+00 | 9.800000e+01 |4800.00%
621.41/621.50 o 68
621.41/621.50 c * 604s| 1382k|438966 | 0 | 0.0 | 391M| 176 | - | 293 | 12k| 0 | 0 | 0 |1304k| 0 | 2.000000e+00 | 6.800000e+01 |3300.00%
625.60/625.63 c 607s| 1390k|437682 | 0 | 0.0 | 390M| 176 | - | 293 |2676 | 0 | 0 | 0 |1312k| 0 | 2.000000e+00 | 6.800000e+01 |3300.00%
630.80/630.82 c 612s| 1400k|435215 | 0 | 0.0 | 394M| 176 | - | 293 |4792 | 0 | 0 | 0 |1324k| 0 | 2.000000e+00 | 6.800000e+01 |3300.00%
637.31/637.30 c 618s| 1410k|431754 | 0 | 0.0 | 396M| 176 | - | 293 |6496 | 0 | 0 | 0 |1336k| 0 | 2.000000e+00 | 6.800000e+01 |3300.00%
639.30/639.39 o 62
639.30/639.39 c * 620s| 1412k|421161 | 0 | 0.0 | 389M| 176 | - | 293 |7532 | 0 | 0 | 0 |1340k| 0 | 2.000000e+00 | 6.200000e+01 |3000.00%
644.00/644.08 c 624s| 1420k|417783 | 0 | 0.0 | 389M| 176 | - | 293 |2894 | 0 | 0 | 0 |1350k| 0 | 2.000000e+00 | 6.200000e+01 |3000.00%
651.11/651.10 c 631s| 1430k|412175 | 0 | 0.0 | 392M| 176 | - | 293 |6020 | 0 | 0 | 0 |1364k| 0 | 2.000000e+00 | 6.200000e+01 |3000.00%
659.81/659.82 c 639s| 1440k|405711 | 0 | 0.0 | 394M| 176 | - | 293 |7912 | 0 | 0 | 0 |1378k| 0 | 2.000000e+00 | 6.200000e+01 |3000.00%
670.21/670.23 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
670.21/670.23 c 649s| 1450k|398182 | 0 | 0.0 | 396M| 176 | - | 293 |9586 | 0 | 0 | 0 |1393k| 0 | 2.000000e+00 | 6.200000e+01 |3000.00%
682.31/682.36 c 661s| 1460k|387792 | 0 | 0.0 | 396M| 176 | - | 293 |9345 | 0 | 0 | 0 |1408k| 0 | 2.000000e+00 | 6.200000e+01 |3000.00%
688.71/688.70 c 667s| 1470k|385342 | 0 | 0.0 | 398M| 176 | - | 293 |6225 | 0 | 0 | 0 |1423k| 0 | 2.000000e+00 | 6.200000e+01 |3000.00%
696.22/696.30 c 674s| 1480k|383002 | 0 | 0.0 | 401M| 176 | - | 293 | 10k| 0 | 0 | 0 |1441k| 0 | 2.000000e+00 | 6.200000e+01 |3000.00%
705.30/705.30 c 683s| 1490k|380428 | 0 | 0.0 | 399M| 176 | - | 293 |4843 | 0 | 0 | 0 |1457k| 0 | 2.000000e+00 | 6.200000e+01 |3000.00%
711.00/711.00 c 688s| 1500k|378217 | 0 | 0.0 | 401M| 176 | - | 293 |4828 | 0 | 0 | 0 |1469k| 0 | 2.000000e+00 | 6.200000e+01 |3000.00%
717.91/717.95 c 695s| 1510k|374139 | 0 | 0.0 | 402M| 176 | - | 293 |6912 | 0 | 0 | 0 |1483k| 0 | 2.000000e+00 | 6.200000e+01 |3000.00%
724.61/724.67 o 24
724.61/724.67 c * 701s| 1517k|263878 | 0 | 0.0 | 269M| 176 | - | 293 |7540 | 0 | 0 | 0 |1493k| 0 | 2.000000e+00 | 2.400000e+01 |1100.00%
728.01/728.07 c 704s| 1520k|260279 | 0 | 0.0 | 269M| 176 | - | 293 |4345 | 0 | 0 | 0 |1502k| 0 | 2.000000e+00 | 2.400000e+01 |1100.00%
731.71/731.75 o 2
731.71/731.75 c * 708s| 1522k| 0 | 0 | 0.0 |8216k| 176 | - | 293 |6775 | 0 | 0 | 0 |1510k| 0 | 2.000000e+00 | 2.000000e+00 | 0.00%
731.71/731.75 c
731.71/731.75 c SCIP Status : problem is solved [optimal solution found]
731.71/731.75 c Solving Time (sec) : 707.66
731.71/731.75 c Solving Nodes : 1522415
731.71/731.75 c Primal Bound : +2.00000000000000e+00 (22 solutions)
731.71/731.75 c Dual Bound : +2.00000000000000e+00
731.71/731.75 c Gap : 0.00 %
731.71/731.75 s OPTIMUM FOUND
731.71/731.75 v -x169 x168 -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 x148
731.71/731.75 v -x147 -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 x132 -x131 x130 -x129 -x128 -x127
731.71/731.75 v -x126 -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 x110 -x109 -x108 -x107 -x106
731.71/731.75 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
731.71/731.75 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
731.71/731.75 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
731.71/731.75 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
731.71/731.75 v -x4 -x3 -x2 -x1
731.71/731.75 c SCIP Status : problem is solved [optimal solution found]
731.71/731.75 c Solving Time : 707.66
731.71/731.75 c Original Problem :
731.71/731.75 c Problem name : HOME/instance-2693994-1277899332.wbo
731.71/731.75 c Variables : 297 (233 binary, 0 integer, 0 implicit integer, 64 continuous)
731.71/731.75 c Constraints : 166 initial, 166 maximal
731.71/731.75 c Presolved Problem :
731.71/731.75 c Problem name : t_HOME/instance-2693994-1277899332.wbo
731.71/731.75 c Variables : 293 (231 binary, 0 integer, 0 implicit integer, 62 continuous)
731.71/731.75 c Constraints : 158 initial, 32476 maximal
731.71/731.75 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
731.71/731.75 c trivial : 0.00 0 0 0 0 0 0 0 0
731.71/731.75 c dualfix : 0.00 4 0 0 0 0 0 0 0
731.71/731.75 c boundshift : 0.00 0 0 0 0 0 0 0 0
731.71/731.75 c inttobinary : 0.00 0 0 0 0 0 0 0 0
731.71/731.75 c implics : 0.00 0 0 0 0 0 0 0 0
731.71/731.75 c probing : 0.02 0 0 0 0 0 0 0 0
731.71/731.75 c indicator : 0.00 0 0 0 0 0 2 0 0
731.71/731.75 c setppc : 0.00 0 0 0 0 0 0 0 0
731.71/731.75 c linear : 0.00 0 0 0 62 0 6 2 0
731.71/731.75 c logicor : 0.00 0 0 0 0 0 0 0 0
731.71/731.75 c bounddisjunction : 0.00 0 0 0 0 0 0 0 0
731.71/731.75 c root node : - 22 - - 44 - - - -
731.71/731.75 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
731.71/731.75 c integral : 0 0 0 0 0 0 0 0 0 0
731.71/731.75 c indicator : 62 0 3706333 0 1045891 17180 2803270 0 0 0
731.71/731.75 c setppc : 30 0 4144551 0 1134742 35538 4206761 0 0 0
731.71/731.75 c linear : 62 0 4109127 0 1134778 330994 18105889 0 0 0
731.71/731.75 c logicor : 4+ 0 2074552 0 1128258 144026 1823956 0 0 0
731.71/731.75 c bounddisjunction : 0+ 0 71755 0 0 3 5205 0 0 0
731.71/731.75 c countsols : 0 0 0 0 1134799 0 0 0 0 0
731.71/731.75 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
731.71/731.75 c integral : 0.00 0.00 0.00 0.00 0.00
731.71/731.75 c indicator : 5.32 0.00 3.37 0.00 1.95
731.71/731.75 c setppc : 14.87 0.00 10.91 0.00 3.96
731.71/731.75 c linear : 89.76 0.00 89.39 0.00 0.37
731.71/731.75 c logicor : 248.09 0.00 247.41 0.00 0.68
731.71/731.75 c bounddisjunction : 0.14 0.00 0.14 0.00 0.00
731.71/731.75 c countsols : 0.16 0.00 0.00 0.00 0.16
731.71/731.75 c Propagators : Time Calls Cutoffs DomReds
731.71/731.75 c vbounds : 0.56 2 0 0
731.71/731.75 c rootredcost : 0.60 0 0 0
731.71/731.75 c pseudoobj : 16.99 4203372 41669 2440425
731.71/731.75 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
731.71/731.75 c propagation : 37.70 552229 552100 2836269 27.2 217010 14.6 -
731.71/731.75 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
731.71/731.75 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
731.71/731.75 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
731.71/731.75 c pseudo solution : 0.02 173 173 863 23.2 81 14.9 -
731.71/731.75 c applied globally : - - - 1434315 18.0 - - -
731.71/731.75 c applied locally : - - - 75885 38.1 - - -
731.71/731.75 c Separators : Time Calls Cutoffs DomReds Cuts Conss
731.71/731.75 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
731.71/731.75 c redcost : 0.00 0 0 0 0 0
731.71/731.75 c impliedbounds : 0.00 0 0 0 0 0
731.71/731.75 c intobj : 0.00 0 0 0 0 0
731.71/731.75 c cgmip : 0.00 0 0 0 0 0
731.71/731.75 c gomory : 0.00 0 0 0 0 0
731.71/731.75 c strongcg : 0.00 0 0 0 0 0
731.71/731.75 c cmir : 0.00 0 0 0 0 0
731.71/731.75 c flowcover : 0.00 0 0 0 0 0
731.71/731.75 c clique : 0.00 0 0 0 0 0
731.71/731.75 c zerohalf : 0.00 0 0 0 0 0
731.71/731.75 c mcf : 0.00 0 0 0 0 0
731.71/731.75 c rapidlearning : 0.00 0 0 0 0 0
731.71/731.75 c Pricers : Time Calls Vars
731.71/731.75 c problem variables: 0.00 0 0
731.71/731.75 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
731.71/731.75 c relpscost : 0.00 0 0 0 0 0 0
731.71/731.75 c pscost : 0.00 0 0 0 0 0 0
731.71/731.75 c inference : 9.66 1134777 0 0 0 0 2269554
731.71/731.75 c mostinf : 0.00 0 0 0 0 0 0
731.71/731.75 c leastinf : 0.00 0 0 0 0 0 0
731.71/731.75 c fullstrong : 0.00 0 0 0 0 0 0
731.71/731.75 c allfullstrong : 0.00 0 0 0 0 0 0
731.71/731.75 c random : 0.00 0 0 0 0 0 0
731.71/731.75 c Primal Heuristics : Time Calls Found
731.71/731.75 c LP solutions : 0.00 - 0
731.71/731.75 c pseudo solutions : 1.52 - 22
731.71/731.75 c oneopt : 0.51 0 0
731.71/731.75 c trivial : 0.00 2 0
731.71/731.75 c simplerounding : 0.00 0 0
731.71/731.75 c zirounding : 0.00 0 0
731.71/731.75 c rounding : 0.00 0 0
731.71/731.75 c shifting : 0.00 0 0
731.71/731.75 c intshifting : 0.00 0 0
731.71/731.75 c twoopt : 0.00 0 0
731.71/731.75 c fixandinfer : 0.00 0 0
731.71/731.75 c feaspump : 0.00 0 0
731.71/731.75 c coefdiving : 0.00 0 0
731.71/731.75 c pscostdiving : 0.00 0 0
731.71/731.75 c fracdiving : 0.00 0 0
731.71/731.75 c veclendiving : 0.00 0 0
731.71/731.75 c intdiving : 0.00 0 0
731.71/731.75 c actconsdiving : 0.00 0 0
731.71/731.75 c objpscostdiving : 0.00 0 0
731.71/731.75 c rootsoldiving : 0.00 0 0
731.71/731.75 c linesearchdiving : 0.00 0 0
731.71/731.75 c guideddiving : 0.00 0 0
731.71/731.75 c octane : 0.00 0 0
731.71/731.75 c rens : 0.00 0 0
731.71/731.75 c rins : 0.00 0 0
731.71/731.75 c localbranching : 0.00 0 0
731.71/731.75 c mutation : 0.00 0 0
731.71/731.75 c crossover : 0.00 0 0
731.71/731.75 c dins : 0.00 0 0
731.71/731.75 c undercover : 0.00 0 0
731.71/731.75 c nlp : 0.32 0 0
731.71/731.75 c trysol : 0.27 1 0
731.71/731.75 c LP : Time Calls Iterations Iter/call Iter/sec
731.71/731.75 c primal LP : 0.00 0 0 0.00 -
731.71/731.75 c dual LP : 0.00 0 0 0.00 -
731.71/731.75 c lex dual LP : 0.00 0 0 0.00 -
731.71/731.75 c barrier LP : 0.00 0 0 0.00 -
731.71/731.75 c diving/probing LP: 0.00 0 0 0.00 -
731.71/731.75 c strong branching : 0.00 0 0 0.00 -
731.71/731.75 c (at root node) : - 0 0 0.00 -
731.71/731.75 c conflict analysis: 0.00 0 0 0.00 -
731.71/731.75 c B&B Tree :
731.71/731.75 c number of runs : 1
731.71/731.75 c nodes : 1522415
731.71/731.75 c nodes (total) : 1522415
731.71/731.75 c nodes left : 0
731.71/731.75 c max depth : 176
731.71/731.75 c max depth (total): 176
731.71/731.75 c backtracks : 397530 (26.1%)
731.71/731.75 c delayed cutoffs : 242488
731.71/731.75 c repropagations : 1478588 (7757021 domain reductions, 181967 cutoffs)
731.71/731.75 c avg switch length: 17.82
731.71/731.75 c switching time : 230.30
731.71/731.75 c Solution :
731.71/731.75 c Solutions found : 22 (22 improvements)
731.71/731.75 c First Solution : +6.41000000000000e+02 (in run 1, after 64913 nodes, 18.18 seconds, depth 117, found by <relaxation>)
731.71/731.75 c Primal Bound : +2.00000000000000e+00 (in run 1, after 1522415 nodes, 706.89 seconds, depth 59, found by <relaxation>)
731.71/731.75 c Dual Bound : +2.00000000000000e+00
731.71/731.75 c Gap : 0.00 %
731.71/731.75 c Root Dual Bound : +0.00000000000000e+00
731.71/731.75 c Root Iterations : 0
731.71/731.78 c Time complete: 731.79.