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-2663590-1276647783.opb>
0.00/0.01 c original problem has 792 variables (792 bin, 0 int, 0 impl, 0 cont) and 595 constraints
0.00/0.01 c problem read
0.00/0.01 c presolving settings loaded
0.00/0.01 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.02 c presolving:
0.09/0.16 c (round 1) 9 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 60 chg coeffs, 0 upgd conss, 3600 impls, 0 clqs
0.09/0.16 c (round 2) 25 del vars, 14 del conss, 0 chg bounds, 0 chg sides, 74 chg coeffs, 10 upgd conss, 5392 impls, 0 clqs
0.09/0.17 c (round 3) 41 del vars, 28 del conss, 0 chg bounds, 0 chg sides, 88 chg coeffs, 10 upgd conss, 6960 impls, 0 clqs
0.09/0.17 c (round 4) 57 del vars, 42 del conss, 0 chg bounds, 0 chg sides, 102 chg coeffs, 10 upgd conss, 8304 impls, 0 clqs
0.09/0.18 c (round 5) 73 del vars, 56 del conss, 0 chg bounds, 0 chg sides, 116 chg coeffs, 10 upgd conss, 9424 impls, 0 clqs
0.09/0.18 c (round 6) 89 del vars, 70 del conss, 0 chg bounds, 0 chg sides, 130 chg coeffs, 10 upgd conss, 10320 impls, 0 clqs
0.09/0.19 c (round 7) 105 del vars, 84 del conss, 0 chg bounds, 0 chg sides, 144 chg coeffs, 10 upgd conss, 10992 impls, 0 clqs
0.09/0.19 c (round 8) 121 del vars, 98 del conss, 0 chg bounds, 0 chg sides, 158 chg coeffs, 10 upgd conss, 11440 impls, 0 clqs
0.09/0.20 c (round 9) 137 del vars, 112 del conss, 0 chg bounds, 0 chg sides, 172 chg coeffs, 10 upgd conss, 11664 impls, 0 clqs
0.19/0.20 c (round 10) 153 del vars, 126 del conss, 0 chg bounds, 0 chg sides, 186 chg coeffs, 10 upgd conss, 11664 impls, 0 clqs
0.19/0.23 c (0.1s) probing: 221/639 (34.6%) - 0 fixings, 0 aggregations, 18 implications, 0 bound changes
0.19/0.23 c (0.1s) probing aborted: 100/100 successive totally useless probings
0.19/0.23 c presolving (11 rounds):
0.19/0.23 c 153 deleted vars, 126 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 186 changed coefficients
0.19/0.23 c 11700 implications, 0 cliques
0.19/0.23 c presolved problem has 639 variables (639 bin, 0 int, 0 impl, 0 cont) and 460 constraints
0.19/0.23 c 441 constraints of type <and>
0.19/0.23 c 9 constraints of type <linear>
0.19/0.23 c 10 constraints of type <logicor>
0.19/0.23 c transformed objective value is always integral (scale: 2)
0.19/0.23 c Presolving Time: 0.11
0.19/0.23 c - non default parameters ----------------------------------------------------------------------
0.19/0.23 c # SCIP version 1.2.1.2
0.19/0.23 c
0.19/0.23 c # frequency for displaying node information lines
0.19/0.23 c # [type: int, range: [-1,2147483647], default: 100]
0.19/0.23 c display/freq = 10000
0.19/0.23 c
0.19/0.23 c # maximal time in seconds to run
0.19/0.23 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.19/0.23 c limits/time = 1800
0.19/0.23 c
0.19/0.23 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.19/0.23 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.19/0.23 c limits/memory = 1620
0.19/0.23 c
0.19/0.23 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.19/0.23 c # [type: int, range: [-1,2147483647], default: 1]
0.19/0.23 c lp/solvefreq = -1
0.19/0.23 c
0.19/0.23 c # should presolving try to simplify inequalities
0.19/0.23 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.19/0.23 c constraints/linear/simplifyinequalities = TRUE
0.19/0.23 c
0.19/0.23 c # should presolving try to simplify knapsacks
0.19/0.23 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.19/0.23 c constraints/knapsack/simplifyinequalities = TRUE
0.19/0.23 c
0.19/0.23 c # frequency for calling primal heuristic <undercover> (-1: never, 0: only at depth freqofs)
0.19/0.23 c # [type: int, range: [-1,2147483647], default: -1]
0.19/0.23 c heuristics/undercover/freq = 0
0.19/0.23 c
0.19/0.23 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.19/0.23 c # [type: int, range: [-1,2147483647], default: -1]
0.19/0.23 c separating/rapidlearning/freq = 0
0.19/0.23 c
0.19/0.23 c -----------------------------------------------------------------------------------------------
0.19/0.23 c start solving
0.19/0.23 c
0.19/0.23 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.19/0.23 c 0.1s| 1 | 2 | 0 | - |2073k| 0 | - | 639 | 460 | 0 | 0 | 0 | 0 | 0 | 1.000000e+00 | -- | Inf
2.89/2.94 c 2.6s| 10000 | 7755 | 0 | 0.0 |7530k| 410 | - | 639 | 713 | 0 | 0 | 0 |1650 | 0 | 1.000000e+00 | -- | Inf
5.79/5.80 c 5.2s| 20000 | 15269 | 0 | 0.0 | 12M| 410 | - | 639 | 746 | 0 | 0 | 0 |3507 | 0 | 1.000000e+00 | -- | Inf
8.69/8.73 c 7.9s| 30000 | 22310 | 0 | 0.0 | 17M| 410 | - | 639 | 706 | 0 | 0 | 0 |5611 | 0 | 1.000000e+00 | -- | Inf
11.59/11.63 c 10.6s| 40000 | 29297 | 0 | 0.0 | 21M| 410 | - | 639 | 824 | 0 | 0 | 0 |7852 | 0 | 1.000000e+00 | -- | Inf
14.39/14.40 c 13.2s| 50000 | 36186 | 0 | 0.0 | 26M| 410 | - | 639 | 796 | 0 | 0 | 0 | 10k| 0 | 1.000000e+00 | -- | Inf
17.50/17.50 c 16.0s| 60000 | 42824 | 0 | 0.0 | 31M| 410 | - | 639 | 937 | 0 | 0 | 0 | 12k| 0 | 1.000000e+00 | -- | Inf
20.69/20.78 c 19.1s| 70000 | 49760 | 0 | 0.0 | 36M| 410 | - | 639 |1087 | 0 | 0 | 0 | 14k| 0 | 1.000000e+00 | -- | Inf
23.98/24.06 c 22.1s| 80000 | 56854 | 0 | 0.0 | 41M| 410 | - | 639 |1178 | 0 | 0 | 0 | 16k| 0 | 1.000000e+00 | -- | Inf
27.40/27.41 c 25.2s| 90000 | 63804 | 0 | 0.0 | 46M| 410 | - | 639 |1126 | 0 | 0 | 0 | 18k| 0 | 1.000000e+00 | -- | Inf
30.69/30.73 c 28.3s|100000 | 70846 | 0 | 0.0 | 50M| 410 | - | 639 |1197 | 0 | 0 | 0 | 20k| 0 | 1.000000e+00 | -- | Inf
33.99/34.07 c 31.4s|110000 | 77820 | 0 | 0.0 | 55M| 410 | - | 639 |1160 | 0 | 0 | 0 | 23k| 0 | 1.000000e+00 | -- | Inf
37.48/37.53 c 34.6s|120000 | 84477 | 0 | 0.0 | 60M| 410 | - | 639 |1156 | 0 | 0 | 0 | 25k| 0 | 1.000000e+00 | -- | Inf
40.88/40.97 c 37.9s|130000 | 91122 | 0 | 0.0 | 64M| 410 | - | 639 |1234 | 0 | 0 | 0 | 27k| 0 | 1.000000e+00 | -- | Inf
44.48/44.50 c 41.2s|140000 | 97532 | 0 | 0.0 | 69M| 410 | - | 639 |1634 | 0 | 0 | 0 | 30k| 0 | 1.000000e+00 | -- | Inf
47.98/48.00 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
47.98/48.00 c 44.4s|150000 |103815 | 0 | 0.0 | 73M| 410 | - | 639 |1425 | 0 | 0 | 0 | 32k| 0 | 1.000000e+00 | -- | Inf
51.48/51.51 c 47.7s|160000 |109850 | 0 | 0.0 | 77M| 410 | - | 639 |1554 | 0 | 0 | 0 | 35k| 0 | 1.000000e+00 | -- | Inf
54.78/54.84 c 50.8s|170000 |116465 | 0 | 0.0 | 82M| 410 | - | 639 |1580 | 0 | 0 | 0 | 38k| 0 | 1.000000e+00 | -- | Inf
58.18/58.23 c 53.9s|180000 |123002 | 0 | 0.0 | 86M| 410 | - | 639 |1527 | 0 | 0 | 0 | 40k| 0 | 1.000000e+00 | -- | Inf
61.48/61.58 c 57.0s|190000 |129478 | 0 | 0.0 | 91M| 410 | - | 639 |1725 | 0 | 0 | 0 | 42k| 0 | 1.000000e+00 | -- | Inf
64.88/64.96 c 60.2s|200000 |135812 | 0 | 0.0 | 95M| 410 | - | 639 |1620 | 0 | 0 | 0 | 45k| 0 | 1.000000e+00 | -- | Inf
68.27/68.32 c 63.3s|210000 |141909 | 0 | 0.0 | 100M| 410 | - | 639 |1619 | 0 | 0 | 0 | 48k| 0 | 1.000000e+00 | -- | Inf
71.57/71.64 c 66.4s|220000 |147817 | 0 | 0.0 | 104M| 410 | - | 639 |1364 | 0 | 0 | 0 | 50k| 0 | 1.000000e+00 | -- | Inf
74.98/75.06 c 69.6s|230000 |152941 | 0 | 0.0 | 108M| 410 | - | 639 |1669 | 0 | 0 | 0 | 53k| 0 | 1.000000e+00 | -- | Inf
79.08/79.12 c 73.4s|240000 |159466 | 0 | 0.0 | 113M| 410 | - | 639 |1926 | 0 | 0 | 0 | 56k| 0 | 1.000000e+00 | -- | Inf
82.07/82.17 c 76.2s|250000 |167489 | 0 | 0.0 | 118M| 410 | - | 639 |1651 | 0 | 0 | 0 | 57k| 0 | 1.000000e+00 | -- | Inf
84.87/84.95 c 78.8s|260000 |175242 | 0 | 0.0 | 124M| 410 | - | 639 |1347 | 0 | 0 | 0 | 59k| 0 | 1.000000e+00 | -- | Inf
87.67/87.70 c 81.3s|270000 |183372 | 0 | 0.0 | 129M| 410 | - | 639 |1055 | 0 | 0 | 0 | 60k| 0 | 1.000000e+00 | -- | Inf
90.17/90.25 c 83.6s|280000 |192251 | 0 | 0.0 | 136M| 410 | - | 639 | 814 | 0 | 0 | 0 | 61k| 0 | 1.000000e+00 | -- | Inf
92.87/92.93 c 86.0s|290000 |200797 | 0 | 0.0 | 142M| 410 | - | 639 | 707 | 0 | 0 | 0 | 62k| 0 | 1.000000e+00 | -- | Inf
95.47/95.56 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
95.47/95.56 c 88.5s|300000 |209385 | 0 | 0.0 | 147M| 410 | - | 639 | 741 | 0 | 0 | 0 | 63k| 0 | 1.000000e+00 | -- | Inf
98.16/98.24 c 90.9s|310000 |217945 | 0 | 0.0 | 153M| 410 | - | 639 | 750 | 0 | 0 | 0 | 64k| 0 | 1.000000e+00 | -- | Inf
100.97/101.05 c 93.5s|320000 |226111 | 0 | 0.0 | 159M| 410 | - | 639 |1162 | 0 | 0 | 0 | 66k| 0 | 1.000000e+00 | -- | Inf
104.07/104.12 c 96.3s|330000 |233845 | 0 | 0.0 | 164M| 410 | - | 639 |1577 | 0 | 0 | 0 | 67k| 0 | 1.000000e+00 | -- | Inf
107.16/107.22 c 99.2s|340000 |241826 | 0 | 0.0 | 170M| 410 | - | 639 |1665 | 0 | 0 | 0 | 69k| 0 | 1.000000e+00 | -- | Inf
110.27/110.39 c 102s|350000 |249816 | 0 | 0.0 | 176M| 410 | - | 639 |1642 | 0 | 0 | 0 | 70k| 0 | 1.000000e+00 | -- | Inf
113.66/113.72 c 105s|360000 |257272 | 0 | 0.0 | 181M| 410 | - | 639 |1806 | 0 | 0 | 0 | 72k| 0 | 1.000000e+00 | -- | Inf
116.66/116.73 c 108s|370000 |265288 | 0 | 0.0 | 186M| 410 | - | 639 |1732 | 0 | 0 | 0 | 73k| 0 | 1.000000e+00 | -- | Inf
119.77/119.87 c 111s|380000 |273355 | 0 | 0.0 | 192M| 410 | - | 639 |1738 | 0 | 0 | 0 | 75k| 0 | 1.000000e+00 | -- | Inf
122.76/122.86 c 114s|390000 |281698 | 0 | 0.0 | 198M| 410 | - | 639 |1379 | 0 | 0 | 0 | 76k| 0 | 1.000000e+00 | -- | Inf
125.76/125.84 c 116s|400000 |289662 | 0 | 0.0 | 204M| 410 | - | 639 |1231 | 0 | 0 | 0 | 77k| 0 | 1.000000e+00 | -- | Inf
128.76/128.89 c 119s|410000 |297603 | 0 | 0.0 | 209M| 410 | - | 639 |1464 | 0 | 0 | 0 | 79k| 0 | 1.000000e+00 | -- | Inf
131.86/131.99 c 122s|420000 |305670 | 0 | 0.0 | 215M| 410 | - | 639 |1464 | 0 | 0 | 0 | 80k| 0 | 1.000000e+00 | -- | Inf
134.86/134.96 c 125s|430000 |313984 | 0 | 0.0 | 221M| 410 | - | 639 |1276 | 0 | 0 | 0 | 82k| 0 | 1.000000e+00 | -- | Inf
137.85/137.96 c 128s|440000 |322159 | 0 | 0.0 | 227M| 410 | - | 639 |1234 | 0 | 0 | 0 | 83k| 0 | 1.000000e+00 | -- | Inf
140.77/140.89 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
140.77/140.89 c 130s|450000 |330418 | 0 | 0.0 | 232M| 410 | - | 639 |1154 | 0 | 0 | 0 | 84k| 0 | 1.000000e+00 | -- | Inf
143.75/143.83 c 133s|460000 |338627 | 0 | 0.0 | 238M| 410 | - | 639 |1205 | 0 | 0 | 0 | 86k| 0 | 1.000000e+00 | -- | Inf
146.65/146.72 c 136s|470000 |346849 | 0 | 0.0 | 244M| 410 | - | 639 |1227 | 0 | 0 | 0 | 87k| 0 | 1.000000e+00 | -- | Inf
149.65/149.74 c 139s|480000 |355000 | 0 | 0.0 | 249M| 410 | - | 639 |1231 | 0 | 0 | 0 | 88k| 0 | 1.000000e+00 | -- | Inf
152.56/152.65 c 141s|490000 |363311 | 0 | 0.0 | 255M| 410 | - | 639 |1101 | 0 | 0 | 0 | 90k| 0 | 1.000000e+00 | -- | Inf
155.46/155.54 c 144s|500000 |371550 | 0 | 0.0 | 261M| 410 | - | 639 |1071 | 0 | 0 | 0 | 91k| 0 | 1.000000e+00 | -- | Inf
158.45/158.54 c 147s|510000 |379579 | 0 | 0.0 | 267M| 410 | - | 639 |1146 | 0 | 0 | 0 | 92k| 0 | 1.000000e+00 | -- | Inf
161.46/161.57 c 149s|520000 |387650 | 0 | 0.0 | 272M| 410 | - | 639 |1235 | 0 | 0 | 0 | 94k| 0 | 1.000000e+00 | -- | Inf
164.55/164.60 c 152s|530000 |395765 | 0 | 0.0 | 278M| 410 | - | 639 |1179 | 0 | 0 | 0 | 95k| 0 | 1.000000e+00 | -- | Inf
167.65/167.74 c 155s|540000 |403521 | 0 | 0.0 | 283M| 410 | - | 639 |1476 | 0 | 0 | 0 | 97k| 0 | 1.000000e+00 | -- | Inf
170.84/170.94 c 158s|550000 |411451 | 0 | 0.0 | 289M| 410 | - | 639 |1566 | 0 | 0 | 0 | 98k| 0 | 1.000000e+00 | -- | Inf
173.95/174.06 c 161s|560000 |419518 | 0 | 0.0 | 294M| 410 | - | 639 |1498 | 0 | 0 | 0 | 100k| 0 | 1.000000e+00 | -- | Inf
177.06/177.16 c 164s|570000 |427536 | 0 | 0.0 | 300M| 410 | - | 639 |1649 | 0 | 0 | 0 | 101k| 0 | 1.000000e+00 | -- | Inf
180.25/180.39 c 167s|580000 |435335 | 0 | 0.0 | 305M| 410 | - | 639 |1726 | 0 | 0 | 0 | 103k| 0 | 1.000000e+00 | -- | Inf
183.56/183.68 c 170s|590000 |443029 | 0 | 0.0 | 311M| 410 | - | 639 |1810 | 0 | 0 | 0 | 104k| 0 | 1.000000e+00 | -- | Inf
186.75/186.83 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
186.75/186.83 c 173s|600000 |451204 | 0 | 0.0 | 317M| 410 | - | 639 |1819 | 0 | 0 | 0 | 106k| 0 | 1.000000e+00 | -- | Inf
189.95/190.01 c 176s|610000 |459326 | 0 | 0.0 | 322M| 410 | - | 639 |1703 | 0 | 0 | 0 | 107k| 0 | 1.000000e+00 | -- | Inf
193.04/193.10 c 179s|620000 |467613 | 0 | 0.0 | 328M| 410 | - | 639 |1615 | 0 | 0 | 0 | 108k| 0 | 1.000000e+00 | -- | Inf
196.14/196.28 c 182s|630000 |475591 | 0 | 0.0 | 334M| 410 | - | 639 |1714 | 0 | 0 | 0 | 110k| 0 | 1.000000e+00 | -- | Inf
199.14/199.29 c 184s|640000 |483873 | 0 | 0.0 | 339M| 410 | - | 639 |1385 | 0 | 0 | 0 | 111k| 0 | 1.000000e+00 | -- | Inf
202.25/202.38 c 187s|650000 |491974 | 0 | 0.0 | 345M| 410 | - | 639 |1373 | 0 | 0 | 0 | 112k| 0 | 1.000000e+00 | -- | Inf
205.44/205.52 c 190s|660000 |499901 | 0 | 0.0 | 351M| 410 | - | 639 |1056 | 0 | 0 | 0 | 114k| 0 | 1.000000e+00 | -- | Inf
208.44/208.57 c 193s|670000 |507879 | 0 | 0.0 | 356M| 410 | - | 639 |1012 | 0 | 0 | 0 | 116k| 0 | 1.000000e+00 | -- | Inf
211.54/211.68 c 196s|680000 |515659 | 0 | 0.0 | 361M| 410 | - | 639 | 880 | 0 | 0 | 0 | 117k| 0 | 1.000000e+00 | -- | Inf
214.64/214.78 c 199s|690000 |523476 | 0 | 0.0 | 367M| 410 | - | 639 | 767 | 0 | 0 | 0 | 119k| 0 | 1.000000e+00 | -- | Inf
217.64/217.71 c 201s|700000 |531478 | 0 | 0.0 | 372M| 410 | - | 639 | 771 | 0 | 0 | 0 | 120k| 0 | 1.000000e+00 | -- | Inf
220.53/220.66 c 204s|710000 |539304 | 0 | 0.0 | 378M| 410 | - | 639 |1121 | 0 | 0 | 0 | 122k| 0 | 1.000000e+00 | -- | Inf
223.73/223.82 c 207s|720000 |546839 | 0 | 0.0 | 383M| 410 | - | 639 |1458 | 0 | 0 | 0 | 124k| 0 | 1.000000e+00 | -- | Inf
227.03/227.13 c 210s|730000 |554222 | 0 | 0.0 | 388M| 410 | - | 639 |1465 | 0 | 0 | 0 | 125k| 0 | 1.000000e+00 | -- | Inf
230.43/230.50 c 213s|740000 |561647 | 0 | 0.0 | 394M| 410 | - | 639 |1634 | 0 | 0 | 0 | 127k| 0 | 1.000000e+00 | -- | Inf
233.83/233.92 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
233.83/233.92 c 216s|750000 |569215 | 0 | 0.0 | 399M| 410 | - | 639 |1421 | 0 | 0 | 0 | 129k| 0 | 1.000000e+00 | -- | Inf
237.23/237.39 c 220s|760000 |576708 | 0 | 0.0 | 404M| 410 | - | 639 |1754 | 0 | 0 | 0 | 131k| 0 | 1.000000e+00 | -- | Inf
241.13/241.22 c 223s|770000 |583359 | 0 | 0.0 | 409M| 410 | - | 639 |2063 | 0 | 0 | 0 | 133k| 0 | 1.000000e+00 | -- | Inf
245.14/245.23 c 227s|780000 |589877 | 0 | 0.0 | 414M| 410 | - | 639 |2148 | 0 | 0 | 0 | 135k| 0 | 1.000000e+00 | -- | Inf
248.83/248.95 c 231s|790000 |595889 | 0 | 0.0 | 418M| 410 | - | 639 |1710 | 0 | 0 | 0 | 138k| 0 | 1.000000e+00 | -- | Inf
252.03/252.14 c 234s|800000 |603171 | 0 | 0.0 | 423M| 410 | - | 639 |1561 | 0 | 0 | 0 | 140k| 0 | 1.000000e+00 | -- | Inf
255.43/255.59 c 237s|810000 |610210 | 0 | 0.0 | 428M| 410 | - | 639 |1674 | 0 | 0 | 0 | 142k| 0 | 1.000000e+00 | -- | Inf
258.73/258.88 c 240s|820000 |617766 | 0 | 0.0 | 433M| 410 | - | 639 |1674 | 0 | 0 | 0 | 143k| 0 | 1.000000e+00 | -- | Inf
262.23/262.34 c 243s|830000 |624724 | 0 | 0.0 | 438M| 410 | - | 639 |1978 | 0 | 0 | 0 | 145k| 0 | 1.000000e+00 | -- | Inf
265.83/265.91 c 246s|840000 |631562 | 0 | 0.0 | 443M| 410 | - | 639 |1423 | 0 | 0 | 0 | 148k| 0 | 1.000000e+00 | -- | Inf
269.22/269.33 c 250s|850000 |637400 | 0 | 0.0 | 447M| 410 | - | 639 |1791 | 0 | 0 | 0 | 150k| 0 | 1.000000e+00 | -- | Inf
272.82/272.93 c 253s|860000 |643649 | 0 | 0.0 | 451M| 410 | - | 639 |1978 | 0 | 0 | 0 | 152k| 0 | 1.000000e+00 | -- | Inf
276.53/276.60 c 256s|870000 |649441 | 0 | 0.0 | 456M| 410 | - | 639 |1427 | 0 | 0 | 0 | 155k| 0 | 1.000000e+00 | -- | Inf
280.02/280.10 c 260s|880000 |655481 | 0 | 0.0 | 460M| 410 | - | 639 |1946 | 0 | 0 | 0 | 157k| 0 | 1.000000e+00 | -- | Inf
283.42/283.57 c 263s|890000 |662169 | 0 | 0.0 | 465M| 410 | - | 639 |1196 | 0 | 0 | 0 | 160k| 0 | 1.000000e+00 | -- | Inf
287.12/287.22 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
287.12/287.22 c 266s|900000 |667846 | 0 | 0.0 | 469M| 410 | - | 639 |1644 | 0 | 0 | 0 | 163k| 0 | 1.000000e+00 | -- | Inf
290.72/290.81 c 270s|910000 |674223 | 0 | 0.0 | 474M| 410 | - | 639 |1699 | 0 | 0 | 0 | 165k| 0 | 1.000000e+00 | -- | Inf
294.31/294.40 c 273s|920000 |680832 | 0 | 0.0 | 479M| 410 | - | 639 |1198 | 0 | 0 | 0 | 167k| 0 | 1.000000e+00 | -- | Inf
297.82/297.92 c 276s|930000 |687233 | 0 | 0.0 | 484M| 410 | - | 639 | 930 | 0 | 0 | 0 | 170k| 0 | 1.000000e+00 | -- | Inf
301.22/301.34 c 279s|940000 |693590 | 0 | 0.0 | 489M| 410 | - | 639 | 960 | 0 | 0 | 0 | 172k| 0 | 1.000000e+00 | -- | Inf
304.41/304.55 c 282s|950000 |700135 | 0 | 0.0 | 493M| 410 | - | 639 |1331 | 0 | 0 | 0 | 174k| 0 | 1.000000e+00 | -- | Inf
307.93/308.06 c 285s|960000 |706402 | 0 | 0.0 | 498M| 410 | - | 639 | 919 | 0 | 0 | 0 | 176k| 0 | 1.000000e+00 | -- | Inf
312.92/313.05 c 290s|970000 |711431 | 0 | 0.0 | 503M| 410 | - | 639 | 830 | 0 | 0 | 0 | 179k| 0 | 1.000000e+00 | -- | Inf
320.21/320.37 c 297s|980000 |714846 | 0 | 0.0 | 509M| 410 | - | 639 | 829 | 0 | 0 | 0 | 183k| 0 | 1.000000e+00 | -- | Inf
324.01/324.15 c 301s|990000 |721028 | 0 | 0.0 | 515M| 410 | - | 639 | 713 | 0 | 0 | 0 | 185k| 0 | 1.000000e+00 | -- | Inf
326.91/327.02 c 303s| 1000k|729269 | 0 | 0.0 | 520M| 410 | - | 639 | 685 | 0 | 0 | 0 | 186k| 0 | 1.000000e+00 | -- | Inf
329.71/329.83 c 306s| 1010k|737689 | 0 | 0.0 | 526M| 410 | - | 639 | 719 | 0 | 0 | 0 | 188k| 0 | 1.000000e+00 | -- | Inf
332.61/332.71 c 309s| 1020k|745942 | 0 | 0.0 | 532M| 410 | - | 639 | 696 | 0 | 0 | 0 | 189k| 0 | 1.000000e+00 | -- | Inf
335.42/335.53 c 311s| 1030k|754138 | 0 | 0.0 | 537M| 410 | - | 639 | 799 | 0 | 0 | 0 | 191k| 0 | 1.000000e+00 | -- | Inf
338.21/338.36 c 314s| 1040k|762410 | 0 | 0.0 | 543M| 410 | - | 639 | 800 | 0 | 0 | 0 | 192k| 0 | 1.000000e+00 | -- | Inf
341.01/341.12 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
341.01/341.12 c 316s| 1050k|770831 | 0 | 0.0 | 549M| 410 | - | 639 | 816 | 0 | 0 | 0 | 193k| 0 | 1.000000e+00 | -- | Inf
343.81/343.98 c 319s| 1060k|779013 | 0 | 0.0 | 555M| 410 | - | 639 | 852 | 0 | 0 | 0 | 195k| 0 | 1.000000e+00 | -- | Inf
346.70/346.81 c 322s| 1070k|787344 | 0 | 0.0 | 561M| 410 | - | 639 | 915 | 0 | 0 | 0 | 196k| 0 | 1.000000e+00 | -- | Inf
349.50/349.64 c 324s| 1080k|795631 | 0 | 0.0 | 567M| 410 | - | 639 |1022 | 0 | 0 | 0 | 197k| 0 | 1.000000e+00 | -- | Inf
353.01/353.14 c 328s| 1090k|802865 | 0 | 0.0 | 572M| 410 | - | 639 |1511 | 0 | 0 | 0 | 200k| 0 | 1.000000e+00 | -- | Inf
357.61/357.72 c 332s| 1100k|809289 | 0 | 0.0 | 577M| 410 | - | 639 |1915 | 0 | 0 | 0 | 203k| 0 | 1.000000e+00 | -- | Inf
362.70/362.86 o 3
362.70/362.86 c * 337s| 1108k|334007 | 0 | 0.0 | 262M| 410 | - | 639 |1741 | 0 | 0 | 0 | 205k| 0 | 1.000000e+00 | 3.000000e+00 | 200.00%
367.10/367.24 c
367.10/367.24 c SCIP Status : problem is solved [optimal solution found]
367.10/367.24 c Solving Time (sec) : 340.79
367.10/367.24 c Solving Nodes : 1108437
367.10/367.24 c Primal Bound : +3.00000000000000e+00 (1 solutions)
367.10/367.24 c Dual Bound : +3.00000000000000e+00
367.10/367.24 c Gap : 0.00 %
367.10/367.24 s OPTIMUM FOUND
367.10/367.24 v -x216 -x215 -x214 -x213 -x212 -x211 -x210 x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 x201 -x144 x143 -x142 -x141 x140 x139
367.10/367.24 v x138 x137 -x200 -x199 -x198 x197 x196 x195 -x194 x193 -x136 x135 -x134 -x133 -x132 -x131 x130 x129 -x192 -x191 -x190 x189 -x188
367.10/367.24 v -x187 -x186 -x185 x128 x127 x126 -x125 -x124 -x123 x122 x121 -x184 -x183 -x182 -x181 -x180 x179 -x178 -x177 x120 -x119 -x118
367.10/367.24 v -x117 -x116 -x115 x114 x113 -x176 -x175 -x174 -x173 x172 -x171 -x170 x169 x112 x111 x110 -x109 -x108 x107 x106 x105 -x168
367.10/367.24 v -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x104 -x103 x102 -x101 -x100 x99 x98 x97 -x160 -x159 -x158 -x157 x156 -x155 -x154 -x153
367.10/367.24 v -x96 -x95 -x94 -x93 x92 x91 -x90 x89 -x152 -x151 -x150 -x149 -x148 -x147 -x146 -x145 -x88 -x87 -x86 -x85 x84 -x83 -x82 x81
367.10/367.24 v -x80 -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
367.10/367.24 v x54 -x53 -x52 -x51 -x50 x49 -x48 -x47 -x46 -x45 -x44 x43 -x42 x41 -x40 x39 -x38 -x37 -x36 -x35 -x34 x33 -x32 -x31 -x30 -x29
367.10/367.24 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 x1
367.10/367.24 c SCIP Status : problem is solved [optimal solution found]
367.10/367.24 c Solving Time : 340.79
367.10/367.24 c Original Problem :
367.10/367.24 c Problem name : HOME/instance-2663590-1276647783.opb
367.10/367.24 c Variables : 792 (792 binary, 0 integer, 0 implicit integer, 0 continuous)
367.10/367.24 c Constraints : 595 initial, 595 maximal
367.10/367.24 c Presolved Problem :
367.10/367.24 c Problem name : t_HOME/instance-2663590-1276647783.opb
367.10/367.24 c Variables : 639 (639 binary, 0 integer, 0 implicit integer, 0 continuous)
367.10/367.24 c Constraints : 460 initial, 2288 maximal
367.10/367.24 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
367.10/367.24 c trivial : 0.00 0 0 0 0 0 0 0 0
367.10/367.24 c dualfix : 0.00 0 0 0 0 0 0 0 0
367.10/367.24 c boundshift : 0.00 0 0 0 0 0 0 0 0
367.10/367.24 c inttobinary : 0.00 0 0 0 0 0 0 0 0
367.10/367.24 c implics : 0.00 0 0 0 0 0 0 0 0
367.10/367.24 c probing : 0.02 0 0 0 0 0 0 0 0
367.10/367.24 c and : 0.07 18 126 0 0 0 126 0 126
367.10/367.24 c linear : 0.01 1 8 0 0 0 0 0 60
367.10/367.24 c logicor : 0.00 0 0 0 0 0 0 0 0
367.10/367.24 c root node : - 64 - - 64 - - - -
367.10/367.24 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
367.10/367.24 c integral : 0 0 0 0 0 0 0 0 0 0
367.10/367.24 c and : 441 0 2534596 0 999714 24576 4946681 0 0 0
367.10/367.24 c linear : 9 0 2510020 0 999714 139391 1715627 0 0 0
367.10/367.24 c logicor : 10+ 0 1010616 0 999701 10639 280684 0 0 0
367.10/367.24 c countsols : 0 0 0 0 999715 0 0 0 0 0
367.10/367.24 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
367.10/367.24 c integral : 0.00 0.00 0.00 0.00 0.00
367.10/367.24 c and : 58.44 0.00 33.41 0.00 25.03
367.10/367.24 c linear : 83.03 0.00 82.31 0.00 0.72
367.10/367.24 c logicor : 25.62 0.00 23.44 0.00 2.18
367.10/367.24 c countsols : 0.39 0.00 0.00 0.00 0.39
367.10/367.24 c Propagators : Time Calls Cutoffs DomReds
367.10/367.24 c vbounds : 1.03 2 0 0
367.10/367.24 c rootredcost : 1.24 0 0 0
367.10/367.24 c pseudoobj : 2.85 2534139 0 19
367.10/367.24 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
367.10/367.24 c propagation : 44.42 174606 174098 2020996 64.8 9702 58.6 -
367.10/367.24 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
367.10/367.24 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
367.10/367.24 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
367.10/367.24 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
367.10/367.24 c applied globally : - - - 193235 31.9 - - -
367.10/367.24 c applied locally : - - - 11818 92.9 - - -
367.10/367.24 c Separators : Time Calls Cutoffs DomReds Cuts Conss
367.10/367.24 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
367.10/367.24 c redcost : 0.00 0 0 0 0 0
367.10/367.24 c impliedbounds : 0.00 0 0 0 0 0
367.10/367.24 c intobj : 0.00 0 0 0 0 0
367.10/367.24 c cgmip : 0.00 0 0 0 0 0
367.10/367.24 c gomory : 0.00 0 0 0 0 0
367.10/367.24 c strongcg : 0.00 0 0 0 0 0
367.10/367.24 c cmir : 0.00 0 0 0 0 0
367.10/367.24 c flowcover : 0.00 0 0 0 0 0
367.10/367.24 c clique : 0.00 0 0 0 0 0
367.10/367.24 c zerohalf : 0.00 0 0 0 0 0
367.10/367.24 c mcf : 0.00 0 0 0 0 0
367.10/367.24 c rapidlearning : 0.00 0 0 0 0 0
367.10/367.24 c Pricers : Time Calls Vars
367.10/367.24 c problem variables: 0.00 0 0
367.10/367.24 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
367.10/367.24 c relpscost : 0.00 0 0 0 0 0 0
367.10/367.24 c pscost : 0.00 0 0 0 0 0 0
367.10/367.24 c inference : 74.25 999714 0 0 0 0 1999428
367.10/367.24 c mostinf : 0.00 0 0 0 0 0 0
367.10/367.24 c leastinf : 0.00 0 0 0 0 0 0
367.10/367.24 c fullstrong : 0.00 0 0 0 0 0 0
367.10/367.24 c allfullstrong : 0.00 0 0 0 0 0 0
367.10/367.24 c random : 0.00 0 0 0 0 0 0
367.10/367.24 c Primal Heuristics : Time Calls Found
367.10/367.24 c LP solutions : 0.00 - 0
367.10/367.24 c pseudo solutions : 1.81 - 1
367.10/367.24 c oneopt : 0.43 0 0
367.10/367.24 c trivial : 0.00 2 0
367.10/367.24 c simplerounding : 0.00 0 0
367.10/367.24 c zirounding : 0.00 0 0
367.10/367.25 c rounding : 0.00 0 0
367.10/367.25 c shifting : 0.00 0 0
367.10/367.25 c intshifting : 0.00 0 0
367.10/367.25 c twoopt : 0.00 0 0
367.10/367.25 c fixandinfer : 0.00 0 0
367.10/367.25 c feaspump : 0.00 0 0
367.10/367.25 c coefdiving : 0.00 0 0
367.10/367.25 c pscostdiving : 0.00 0 0
367.10/367.25 c fracdiving : 0.00 0 0
367.10/367.25 c veclendiving : 0.00 0 0
367.10/367.25 c intdiving : 0.00 0 0
367.10/367.25 c actconsdiving : 0.00 0 0
367.10/367.25 c objpscostdiving : 0.00 0 0
367.10/367.25 c rootsoldiving : 0.00 0 0
367.10/367.25 c linesearchdiving : 0.00 0 0
367.10/367.25 c guideddiving : 0.00 0 0
367.10/367.25 c octane : 0.00 0 0
367.10/367.25 c rens : 0.00 0 0
367.10/367.25 c rins : 0.00 0 0
367.10/367.25 c localbranching : 0.00 0 0
367.10/367.25 c mutation : 0.00 0 0
367.10/367.25 c crossover : 0.00 0 0
367.10/367.25 c dins : 0.00 0 0
367.10/367.25 c undercover : 0.00 0 0
367.10/367.25 c nlp : 0.64 0 0
367.10/367.25 c trysol : 0.39 0 0
367.10/367.25 c LP : Time Calls Iterations Iter/call Iter/sec
367.10/367.25 c primal LP : 0.00 0 0 0.00 -
367.10/367.25 c dual LP : 0.00 0 0 0.00 -
367.10/367.25 c lex dual LP : 0.00 0 0 0.00 -
367.10/367.25 c barrier LP : 0.00 0 0 0.00 -
367.10/367.25 c diving/probing LP: 0.00 0 0 0.00 -
367.10/367.25 c strong branching : 0.00 0 0 0.00 -
367.10/367.25 c (at root node) : - 0 0 0.00 -
367.10/367.25 c conflict analysis: 0.00 0 0 0.00 -
367.10/367.25 c B&B Tree :
367.10/367.25 c number of runs : 1
367.10/367.25 c nodes : 1108437
367.10/367.25 c nodes (total) : 1108437
367.10/367.25 c nodes left : 0
367.10/367.25 c max depth : 410
367.10/367.25 c max depth (total): 410
367.10/367.25 c backtracks : 69989 (6.3%)
367.10/367.25 c delayed cutoffs : 409546
367.10/367.25 c repropagations : 159149 (710845 domain reductions, 65884 cutoffs)
367.10/367.25 c avg switch length: 5.32
367.10/367.25 c switching time : 49.53
367.10/367.25 c Solution :
367.10/367.25 c Solutions found : 1 (1 improvements)
367.10/367.25 c First Solution : +3.00000000000000e+00 (in run 1, after 1108436 nodes, 335.01 seconds, depth 94, found by <relaxation>)
367.10/367.25 c Primal Bound : +3.00000000000000e+00 (in run 1, after 1108436 nodes, 335.01 seconds, depth 94, found by <relaxation>)
367.10/367.25 c Dual Bound : +3.00000000000000e+00
367.10/367.25 c Gap : 0.00 %
367.10/367.25 c Root Dual Bound : +1.00000000000000e+00
367.10/367.25 c Root Iterations : 0
367.21/367.31 c Time complete: 367.21.