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-2663667-1276649535.opb>
0.00/0.01 c original problem has 616 variables (616 bin, 0 int, 0 impl, 0 cont) and 463 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.11 c (round 1) 7 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 48 chg coeffs, 0 upgd conss, 2548 impls, 0 clqs
0.09/0.11 c (round 2) 23 del vars, 14 del conss, 0 chg bounds, 0 chg sides, 62 chg coeffs, 8 upgd conss, 3892 impls, 0 clqs
0.09/0.12 c (round 3) 39 del vars, 28 del conss, 0 chg bounds, 0 chg sides, 76 chg coeffs, 8 upgd conss, 5012 impls, 0 clqs
0.09/0.12 c (round 4) 55 del vars, 42 del conss, 0 chg bounds, 0 chg sides, 90 chg coeffs, 8 upgd conss, 5908 impls, 0 clqs
0.09/0.13 c (round 5) 71 del vars, 56 del conss, 0 chg bounds, 0 chg sides, 104 chg coeffs, 8 upgd conss, 6580 impls, 0 clqs
0.09/0.13 c (round 6) 87 del vars, 70 del conss, 0 chg bounds, 0 chg sides, 118 chg coeffs, 8 upgd conss, 7028 impls, 0 clqs
0.09/0.14 c (round 7) 103 del vars, 84 del conss, 0 chg bounds, 0 chg sides, 132 chg coeffs, 8 upgd conss, 7252 impls, 0 clqs
0.09/0.14 c (round 8) 119 del vars, 98 del conss, 0 chg bounds, 0 chg sides, 146 chg coeffs, 8 upgd conss, 7252 impls, 0 clqs
0.09/0.17 c (0.1s) probing: 193/497 (38.8%) - 0 fixings, 0 aggregations, 14 implications, 0 bound changes
0.09/0.17 c (0.1s) probing aborted: 100/100 successive totally useless probings
0.09/0.17 c presolving (9 rounds):
0.09/0.17 c 119 deleted vars, 98 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 146 changed coefficients
0.09/0.17 c 7280 implications, 0 cliques
0.09/0.17 c presolved problem has 497 variables (497 bin, 0 int, 0 impl, 0 cont) and 358 constraints
0.09/0.17 c 343 constraints of type <and>
0.09/0.17 c 7 constraints of type <linear>
0.09/0.17 c 8 constraints of type <logicor>
0.09/0.17 c transformed objective value is always integral (scale: 2)
0.09/0.17 c Presolving Time: 0.08
0.09/0.17 c - non default parameters ----------------------------------------------------------------------
0.09/0.17 c # SCIP version 1.2.1.2
0.09/0.17 c
0.09/0.17 c # frequency for displaying node information lines
0.09/0.17 c # [type: int, range: [-1,2147483647], default: 100]
0.09/0.17 c display/freq = 10000
0.09/0.17 c
0.09/0.17 c # maximal time in seconds to run
0.09/0.17 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.17 c limits/time = 1800
0.09/0.17 c
0.09/0.17 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.09/0.17 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.17 c limits/memory = 1620
0.09/0.17 c
0.09/0.17 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.09/0.17 c # [type: int, range: [-1,2147483647], default: 1]
0.09/0.17 c lp/solvefreq = -1
0.09/0.17 c
0.09/0.17 c # should presolving try to simplify inequalities
0.09/0.17 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.17 c constraints/linear/simplifyinequalities = TRUE
0.09/0.17 c
0.09/0.17 c # should presolving try to simplify knapsacks
0.09/0.17 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.17 c constraints/knapsack/simplifyinequalities = TRUE
0.09/0.17 c
0.09/0.17 c # frequency for calling primal heuristic <undercover> (-1: never, 0: only at depth freqofs)
0.09/0.17 c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.17 c heuristics/undercover/freq = 0
0.09/0.17 c
0.09/0.17 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.09/0.17 c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.17 c separating/rapidlearning/freq = 0
0.09/0.17 c
0.09/0.17 c -----------------------------------------------------------------------------------------------
0.09/0.17 c start solving
0.09/0.17 c
0.09/0.17 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.17 c 0.1s| 1 | 2 | 0 | - |1619k| 0 | - | 497 | 358 | 0 | 0 | 0 | 0 | 0 | 1.000000e+00 | -- | Inf
2.69/2.78 c 2.5s| 10000 | 7676 | 0 | 0.0 |7250k| 290 | - | 497 | 780 | 0 | 0 | 0 |1531 | 0 | 1.000000e+00 | -- | Inf
5.79/5.88 c 5.3s| 20000 | 14068 | 0 | 0.0 | 12M| 290 | - | 497 |1448 | 0 | 0 | 0 |3956 | 0 | 1.000000e+00 | -- | Inf
9.49/9.51 c 8.7s| 30000 | 19528 | 0 | 0.0 | 17M| 290 | - | 497 |1663 | 0 | 0 | 0 |6817 | 0 | 1.000000e+00 | -- | Inf
12.78/12.84 c 11.8s| 40000 | 25966 | 0 | 0.0 | 21M| 290 | - | 497 | 758 | 0 | 0 | 0 |9016 | 0 | 1.000000e+00 | -- | Inf
15.78/15.90 c 14.6s| 50000 | 32709 | 0 | 0.0 | 26M| 290 | - | 497 |1141 | 0 | 0 | 0 | 11k| 0 | 1.000000e+00 | -- | Inf
18.88/18.98 c 17.4s| 60000 | 39657 | 0 | 0.0 | 31M| 290 | - | 497 |1246 | 0 | 0 | 0 | 13k| 0 | 1.000000e+00 | -- | Inf
22.18/22.23 c 20.4s| 70000 | 46424 | 0 | 0.0 | 36M| 290 | - | 497 |1501 | 0 | 0 | 0 | 15k| 0 | 1.000000e+00 | -- | Inf
25.78/25.87 c 23.8s| 80000 | 52489 | 0 | 0.0 | 40M| 290 | - | 497 |1947 | 0 | 0 | 0 | 18k| 0 | 1.000000e+00 | -- | Inf
30.28/30.30 c 27.9s| 90000 | 57524 | 0 | 0.0 | 45M| 290 | - | 497 |2416 | 0 | 0 | 0 | 21k| 0 | 1.000000e+00 | -- | Inf
34.98/35.00 c 32.3s|100000 | 62360 | 0 | 0.0 | 48M| 290 | - | 497 |1995 | 0 | 0 | 0 | 25k| 0 | 1.000000e+00 | -- | Inf
38.38/38.49 c 35.6s|110000 | 68886 | 0 | 0.0 | 53M| 290 | - | 497 |2260 | 0 | 0 | 0 | 28k| 0 | 1.000000e+00 | -- | Inf
42.18/42.27 c 39.1s|120000 | 75229 | 0 | 0.0 | 58M| 290 | - | 497 |2845 | 0 | 0 | 0 | 31k| 0 | 1.000000e+00 | -- | Inf
46.68/46.70 c 43.3s|130000 | 80399 | 0 | 0.0 | 63M| 290 | - | 497 |3310 | 0 | 0 | 0 | 34k| 0 | 1.000000e+00 | -- | Inf
51.17/51.25 c 47.6s|140000 | 85510 | 0 | 0.0 | 67M| 290 | - | 497 |3616 | 0 | 0 | 0 | 37k| 0 | 1.000000e+00 | -- | Inf
55.77/55.85 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
55.77/55.85 c 51.9s|150000 | 90361 | 0 | 0.0 | 72M| 290 | - | 497 |3413 | 0 | 0 | 0 | 40k| 0 | 1.000000e+00 | -- | Inf
59.97/60.01 c 55.8s|160000 | 96020 | 0 | 0.0 | 77M| 290 | - | 497 |3310 | 0 | 0 | 0 | 44k| 0 | 1.000000e+00 | -- | Inf
64.78/64.81 c 60.3s|170000 |100572 | 0 | 0.0 | 81M| 290 | - | 497 |3327 | 0 | 0 | 0 | 47k| 0 | 1.000000e+00 | -- | Inf
70.47/70.56 c 65.8s|180000 |103883 | 0 | 0.0 | 84M| 290 | - | 497 |1162 | 0 | 0 | 0 | 51k| 0 | 1.000000e+00 | -- | Inf
73.27/73.32 c 68.3s|190000 |111702 | 0 | 0.0 | 89M| 290 | - | 497 | 740 | 0 | 0 | 0 | 53k| 0 | 1.000000e+00 | -- | Inf
76.26/76.33 c 71.0s|200000 |118374 | 0 | 0.0 | 95M| 290 | - | 497 |1099 | 0 | 0 | 0 | 55k| 0 | 1.000000e+00 | -- | Inf
79.17/79.21 c 73.7s|210000 |125292 | 0 | 0.0 | 99M| 290 | - | 497 | 699 | 0 | 0 | 0 | 57k| 0 | 1.000000e+00 | -- | Inf
82.17/82.21 c 76.4s|220000 |132716 | 0 | 0.0 | 105M| 290 | - | 497 |1055 | 0 | 0 | 0 | 59k| 0 | 1.000000e+00 | -- | Inf
85.36/85.47 c 79.5s|230000 |139355 | 0 | 0.0 | 109M| 290 | - | 497 |1061 | 0 | 0 | 0 | 61k| 0 | 1.000000e+00 | -- | Inf
88.67/88.72 c 82.5s|240000 |146059 | 0 | 0.0 | 114M| 290 | - | 497 |1292 | 0 | 0 | 0 | 63k| 0 | 1.000000e+00 | -- | Inf
91.96/92.01 c 85.5s|250000 |152589 | 0 | 0.0 | 119M| 290 | - | 497 |1145 | 0 | 0 | 0 | 65k| 0 | 1.000000e+00 | -- | Inf
95.36/95.42 c 88.7s|260000 |158697 | 0 | 0.0 | 124M| 290 | - | 497 |1193 | 0 | 0 | 0 | 67k| 0 | 1.000000e+00 | -- | Inf
98.76/98.89 c 91.9s|270000 |164871 | 0 | 0.0 | 129M| 290 | - | 497 |1209 | 0 | 0 | 0 | 70k| 0 | 1.000000e+00 | -- | Inf
102.16/102.23 c 95.0s|280000 |171454 | 0 | 0.0 | 133M| 290 | - | 497 |1127 | 0 | 0 | 0 | 72k| 0 | 1.000000e+00 | -- | Inf
105.57/105.69 c 98.2s|290000 |177917 | 0 | 0.0 | 138M| 290 | - | 497 |1270 | 0 | 0 | 0 | 74k| 0 | 1.000000e+00 | -- | Inf
109.05/109.13 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
109.05/109.13 c 101s|300000 |184549 | 0 | 0.0 | 142M| 290 | - | 497 |1469 | 0 | 0 | 0 | 77k| 0 | 1.000000e+00 | -- | Inf
112.75/112.80 c 105s|310000 |190957 | 0 | 0.0 | 147M| 290 | - | 497 |1724 | 0 | 0 | 0 | 80k| 0 | 1.000000e+00 | -- | Inf
116.56/116.63 c 108s|320000 |197343 | 0 | 0.0 | 151M| 290 | - | 497 |1996 | 0 | 0 | 0 | 82k| 0 | 1.000000e+00 | -- | Inf
120.75/120.89 c 112s|330000 |203277 | 0 | 0.0 | 155M| 290 | - | 497 |2468 | 0 | 0 | 0 | 85k| 0 | 1.000000e+00 | -- | Inf
125.15/125.28 c 117s|340000 |209267 | 0 | 0.0 | 160M| 290 | - | 497 |2777 | 0 | 0 | 0 | 88k| 0 | 1.000000e+00 | -- | Inf
129.95/130.03 c 121s|350000 |215066 | 0 | 0.0 | 164M| 290 | - | 497 |3189 | 0 | 0 | 0 | 91k| 0 | 1.000000e+00 | -- | Inf
135.05/135.17 c 126s|360000 |220674 | 0 | 0.0 | 168M| 290 | - | 497 |3468 | 0 | 0 | 0 | 95k| 0 | 1.000000e+00 | -- | Inf
140.54/140.66 c 131s|370000 |225969 | 0 | 0.0 | 172M| 290 | - | 497 |3592 | 0 | 0 | 0 | 98k| 0 | 1.000000e+00 | -- | Inf
146.44/146.51 c 137s|380000 |231259 | 0 | 0.0 | 177M| 290 | - | 497 |3921 | 0 | 0 | 0 | 102k| 0 | 1.000000e+00 | -- | Inf
152.75/152.90 c 143s|390000 |236461 | 0 | 0.0 | 181M| 290 | - | 497 |3838 | 0 | 0 | 0 | 105k| 0 | 1.000000e+00 | -- | Inf
159.54/159.68 c 149s|400000 |241230 | 0 | 0.0 | 185M| 290 | - | 497 |4718 | 0 | 0 | 0 | 109k| 0 | 1.000000e+00 | -- | Inf
166.54/166.65 c 156s|410000 |246027 | 0 | 0.0 | 189M| 290 | - | 497 |5469 | 0 | 0 | 0 | 113k| 0 | 1.000000e+00 | -- | Inf
174.33/174.42 c 164s|420000 |250555 | 0 | 0.0 | 193M| 290 | - | 497 |6028 | 0 | 0 | 0 | 117k| 0 | 1.000000e+00 | -- | Inf
182.83/182.97 c 172s|430000 |254934 | 0 | 0.0 | 197M| 290 | - | 497 |6069 | 0 | 0 | 0 | 121k| 0 | 1.000000e+00 | -- | Inf
192.03/192.14 c 181s|440000 |258952 | 0 | 0.0 | 200M| 290 | - | 497 |6220 | 0 | 0 | 0 | 126k| 0 | 1.000000e+00 | -- | Inf
201.42/201.54 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
201.42/201.54 c 190s|450000 |262849 | 0 | 0.0 | 204M| 290 | - | 497 |6202 | 0 | 0 | 0 | 130k| 0 | 1.000000e+00 | -- | Inf
211.23/211.33 c 199s|460000 |266501 | 0 | 0.0 | 207M| 290 | - | 497 |5991 | 0 | 0 | 0 | 135k| 0 | 1.000000e+00 | -- | Inf
219.32/219.43 c 207s|470000 |271219 | 0 | 0.0 | 210M| 290 | - | 497 |5294 | 0 | 0 | 0 | 139k| 0 | 1.000000e+00 | -- | Inf
227.62/227.75 c 215s|480000 |275400 | 0 | 0.0 | 214M| 290 | - | 497 |5558 | 0 | 0 | 0 | 144k| 0 | 1.000000e+00 | -- | Inf
233.62/233.77 c 221s|490000 |281223 | 0 | 0.0 | 218M| 290 | - | 497 |4612 | 0 | 0 | 0 | 147k| 0 | 1.000000e+00 | -- | Inf
239.21/239.36 c 226s|500000 |287207 | 0 | 0.0 | 222M| 290 | - | 497 |3396 | 0 | 0 | 0 | 150k| 0 | 1.000000e+00 | -- | Inf
244.01/244.10 c 231s|510000 |293569 | 0 | 0.0 | 227M| 290 | - | 497 |3296 | 0 | 0 | 0 | 153k| 0 | 1.000000e+00 | -- | Inf
248.31/248.45 c 235s|520000 |300200 | 0 | 0.0 | 231M| 290 | - | 497 |2750 | 0 | 0 | 0 | 156k| 0 | 1.000000e+00 | -- | Inf
252.81/252.97 c 239s|530000 |306446 | 0 | 0.0 | 236M| 290 | - | 497 |3063 | 0 | 0 | 0 | 159k| 0 | 1.000000e+00 | -- | Inf
257.51/257.62 c 244s|540000 |312519 | 0 | 0.0 | 241M| 290 | - | 497 |2978 | 0 | 0 | 0 | 162k| 0 | 1.000000e+00 | -- | Inf
262.20/262.32 c 248s|550000 |318597 | 0 | 0.0 | 245M| 290 | - | 497 |3113 | 0 | 0 | 0 | 165k| 0 | 1.000000e+00 | -- | Inf
267.01/267.15 c 253s|560000 |324481 | 0 | 0.0 | 250M| 290 | - | 497 |3365 | 0 | 0 | 0 | 169k| 0 | 1.000000e+00 | -- | Inf
271.81/271.98 c 257s|570000 |330332 | 0 | 0.0 | 254M| 290 | - | 497 |3372 | 0 | 0 | 0 | 172k| 0 | 1.000000e+00 | -- | Inf
276.80/276.97 c 262s|580000 |335805 | 0 | 0.0 | 259M| 290 | - | 497 |3556 | 0 | 0 | 0 | 175k| 0 | 1.000000e+00 | -- | Inf
281.99/282.12 c 267s|590000 |341214 | 0 | 0.0 | 263M| 290 | - | 497 |3513 | 0 | 0 | 0 | 179k| 0 | 1.000000e+00 | -- | Inf
286.90/287.08 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
286.90/287.08 c 272s|600000 |346770 | 0 | 0.0 | 267M| 290 | - | 497 |3529 | 0 | 0 | 0 | 183k| 0 | 1.000000e+00 | -- | Inf
292.19/292.33 c 277s|610000 |352151 | 0 | 0.0 | 271M| 290 | - | 497 |3526 | 0 | 0 | 0 | 187k| 0 | 1.000000e+00 | -- | Inf
297.29/297.42 c 281s|620000 |357493 | 0 | 0.0 | 275M| 290 | - | 497 |3697 | 0 | 0 | 0 | 190k| 0 | 1.000000e+00 | -- | Inf
301.89/302.07 c 286s|630000 |363462 | 0 | 0.0 | 279M| 290 | - | 497 |3326 | 0 | 0 | 0 | 194k| 0 | 1.000000e+00 | -- | Inf
307.19/307.34 c 291s|640000 |368760 | 0 | 0.0 | 283M| 290 | - | 497 |3771 | 0 | 0 | 0 | 197k| 0 | 1.000000e+00 | -- | Inf
312.79/312.97 c 296s|650000 |373811 | 0 | 0.0 | 288M| 290 | - | 497 |4123 | 0 | 0 | 0 | 200k| 0 | 1.000000e+00 | -- | Inf
318.80/318.96 c 302s|660000 |378535 | 0 | 0.0 | 292M| 290 | - | 497 |4444 | 0 | 0 | 0 | 204k| 0 | 1.000000e+00 | -- | Inf
323.78/323.91 c 307s|670000 |384611 | 0 | 0.0 | 296M| 290 | - | 497 |4781 | 0 | 0 | 0 | 207k| 0 | 1.000000e+00 | -- | Inf
328.18/328.37 c 311s|680000 |391280 | 0 | 0.0 | 301M| 290 | - | 497 |4715 | 0 | 0 | 0 | 210k| 0 | 1.000000e+00 | -- | Inf
332.78/332.99 c 315s|690000 |397802 | 0 | 0.0 | 306M| 290 | - | 497 |4659 | 0 | 0 | 0 | 212k| 0 | 1.000000e+00 | -- | Inf
337.68/337.86 c 320s|700000 |403952 | 0 | 0.0 | 311M| 290 | - | 497 |4652 | 0 | 0 | 0 | 215k| 0 | 1.000000e+00 | -- | Inf
342.18/342.35 c 324s|710000 |410563 | 0 | 0.0 | 316M| 290 | - | 497 |4602 | 0 | 0 | 0 | 218k| 0 | 1.000000e+00 | -- | Inf
346.58/346.75 c 328s|720000 |417132 | 0 | 0.0 | 321M| 290 | - | 497 |4385 | 0 | 0 | 0 | 220k| 0 | 1.000000e+00 | -- | Inf
350.68/350.80 c 332s|730000 |424095 | 0 | 0.0 | 326M| 290 | - | 497 |4253 | 0 | 0 | 0 | 222k| 0 | 1.000000e+00 | -- | Inf
354.88/355.08 c 336s|740000 |430694 | 0 | 0.0 | 330M| 290 | - | 497 |4425 | 0 | 0 | 0 | 225k| 0 | 1.000000e+00 | -- | Inf
359.58/359.75 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
359.58/359.75 c 340s|750000 |436810 | 0 | 0.0 | 335M| 290 | - | 497 |4235 | 0 | 0 | 0 | 228k| 0 | 1.000000e+00 | -- | Inf
364.37/364.55 c 345s|760000 |442479 | 0 | 0.0 | 339M| 290 | - | 497 |4240 | 0 | 0 | 0 | 232k| 0 | 1.000000e+00 | -- | Inf
369.17/369.34 c 349s|770000 |447914 | 0 | 0.0 | 344M| 290 | - | 497 |3980 | 0 | 0 | 0 | 235k| 0 | 1.000000e+00 | -- | Inf
373.57/373.78 c 354s|780000 |453873 | 0 | 0.0 | 348M| 290 | - | 497 |3726 | 0 | 0 | 0 | 238k| 0 | 1.000000e+00 | -- | Inf
376.96/377.13 o 25
376.96/377.13 c * 357s|786076 |455840 | 0 | 0.0 | 350M| 290 | - | 497 |3752 | 0 | 0 | 0 | 241k| 0 | 1.000000e+00 | 2.500000e+01 |2400.00%
379.17/379.32 c 359s|790000 |457362 | 0 | 0.0 | 352M| 290 | - | 497 |3781 | 0 | 0 | 0 | 242k| 0 | 1.000000e+00 | 2.500000e+01 |2400.00%
384.27/384.41 c 364s|800000 |461796 | 0 | 0.0 | 357M| 290 | - | 497 |3599 | 0 | 0 | 0 | 246k| 0 | 1.000000e+00 | 2.500000e+01 |2400.00%
388.67/388.81 c 368s|810000 |467432 | 0 | 0.0 | 361M| 290 | - | 497 |3146 | 0 | 0 | 0 | 249k| 0 | 1.000000e+00 | 2.500000e+01 |2400.00%
393.07/393.21 c 372s|820000 |472952 | 0 | 0.0 | 365M| 290 | - | 497 |3137 | 0 | 0 | 0 | 253k| 0 | 1.000000e+00 | 2.500000e+01 |2400.00%
398.26/398.41 c 377s|830000 |476933 | 0 | 0.0 | 369M| 290 | - | 497 |3153 | 0 | 0 | 0 | 257k| 0 | 1.000000e+00 | 2.500000e+01 |2400.00%
403.47/403.65 c 382s|840000 |480750 | 0 | 0.0 | 373M| 290 | - | 497 |3468 | 0 | 0 | 0 | 261k| 0 | 1.000000e+00 | 2.500000e+01 |2400.00%
409.95/410.14 c 388s|850000 |483016 | 0 | 0.0 | 376M| 290 | - | 497 |3324 | 0 | 0 | 0 | 266k| 0 | 1.000000e+00 | 2.500000e+01 |2400.00%
416.35/416.55 c 394s|860000 |485333 | 0 | 0.0 | 379M| 290 | - | 497 |2809 | 0 | 0 | 0 | 271k| 0 | 1.000000e+00 | 2.500000e+01 |2400.00%
422.16/422.36 c 400s|870000 |488092 | 0 | 0.0 | 382M| 290 | - | 497 |2460 | 0 | 0 | 0 | 275k| 0 | 1.000000e+00 | 2.500000e+01 |2400.00%
425.75/425.96 c 403s|880000 |495212 | 0 | 0.0 | 387M| 290 | - | 497 | 698 | 0 | 0 | 0 | 277k| 0 | 1.000000e+00 | 2.500000e+01 |2400.00%
428.55/428.78 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
428.55/428.78 c 406s|890000 |503235 | 0 | 0.0 | 393M| 290 | - | 497 | 630 | 0 | 0 | 0 | 278k| 0 | 1.000000e+00 | 2.500000e+01 |2400.00%
431.35/431.51 c 408s|900000 |511373 | 0 | 0.0 | 399M| 290 | - | 497 | 574 | 0 | 0 | 0 | 279k| 0 | 1.000000e+00 | 2.500000e+01 |2400.00%
434.05/434.23 c 411s|910000 |519404 | 0 | 0.0 | 405M| 290 | - | 497 | 605 | 0 | 0 | 0 | 281k| 0 | 1.000000e+00 | 2.500000e+01 |2400.00%
436.75/436.98 c 413s|920000 |527315 | 0 | 0.0 | 411M| 290 | - | 497 | 690 | 0 | 0 | 0 | 282k| 0 | 1.000000e+00 | 2.500000e+01 |2400.00%
439.64/439.85 c 416s|930000 |535058 | 0 | 0.0 | 416M| 290 | - | 497 | 702 | 0 | 0 | 0 | 283k| 0 | 1.000000e+00 | 2.500000e+01 |2400.00%
442.45/442.63 c 418s|940000 |542956 | 0 | 0.0 | 422M| 290 | - | 497 | 853 | 0 | 0 | 0 | 285k| 0 | 1.000000e+00 | 2.500000e+01 |2400.00%
445.36/445.53 c 421s|950000 |550607 | 0 | 0.0 | 427M| 290 | - | 497 | 933 | 0 | 0 | 0 | 286k| 0 | 1.000000e+00 | 2.500000e+01 |2400.00%
448.34/448.53 c 424s|960000 |558147 | 0 | 0.0 | 433M| 290 | - | 497 | 907 | 0 | 0 | 0 | 288k| 0 | 1.000000e+00 | 2.500000e+01 |2400.00%
451.44/451.68 c 426s|970000 |565315 | 0 | 0.0 | 438M| 290 | - | 497 | 950 | 0 | 0 | 0 | 290k| 0 | 1.000000e+00 | 2.500000e+01 |2400.00%
454.44/454.66 c 429s|980000 |572682 | 0 | 0.0 | 444M| 290 | - | 497 |1077 | 0 | 0 | 0 | 291k| 0 | 1.000000e+00 | 2.500000e+01 |2400.00%
457.45/457.67 c 432s|990000 |580134 | 0 | 0.0 | 450M| 290 | - | 497 |1067 | 0 | 0 | 0 | 293k| 0 | 1.000000e+00 | 2.500000e+01 |2400.00%
460.54/460.71 c 435s| 1000k|587386 | 0 | 0.0 | 455M| 290 | - | 497 | 987 | 0 | 0 | 0 | 295k| 0 | 1.000000e+00 | 2.500000e+01 |2400.00%
463.84/464.09 c 438s| 1010k|593796 | 0 | 0.0 | 460M| 290 | - | 497 |1155 | 0 | 0 | 0 | 297k| 0 | 1.000000e+00 | 2.500000e+01 |2400.00%
467.94/468.11 c 442s| 1020k|599271 | 0 | 0.0 | 465M| 290 | - | 497 |1735 | 0 | 0 | 0 | 300k| 0 | 1.000000e+00 | 2.500000e+01 |2400.00%
472.24/472.45 c 446s| 1030k|604573 | 0 | 0.0 | 469M| 290 | - | 497 |2001 | 0 | 0 | 0 | 304k| 0 | 1.000000e+00 | 2.500000e+01 |2400.00%
474.24/474.44 o 3
474.24/474.44 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
474.24/474.44 c * 448s| 1033k|472974 | 0 | 0.0 | 373M| 290 | - | 497 |1885 | 0 | 0 | 0 | 305k| 0 | 1.000000e+00 | 3.000000e+00 | 200.00%
480.33/480.59 c
480.33/480.59 c SCIP Status : problem is solved [optimal solution found]
480.33/480.59 c Solving Time (sec) : 453.23
480.33/480.59 c Solving Nodes : 1033966
480.33/480.59 c Primal Bound : +3.00000000000000e+00 (2 solutions)
480.33/480.59 c Dual Bound : +3.00000000000000e+00
480.33/480.59 c Gap : 0.00 %
480.33/480.59 s OPTIMUM FOUND
480.33/480.59 v -x168 -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 x156 x155 x154 -x153 -x112 -x111 -x110 -x109 -x108 -x107
480.33/480.59 v x106 x105 -x152 -x151 -x150 -x149 -x148 -x147 -x146 -x145 -x104 -x103 -x102 x101 -x100 -x99 -x98 x97 -x144 x143 -x142 -x141
480.33/480.59 v -x140 -x139 -x138 x137 -x96 -x95 -x94 -x93 -x92 -x91 -x90 x89 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 x88 -x87 -x86
480.33/480.59 v -x85 -x84 -x83 -x82 x81 -x128 -x127 -x126 -x125 -x124 -x123 x122 -x121 -x80 -x79 -x78 -x77 -x76 -x75 -x74 x73 -x120 -x119 -x118
480.33/480.59 v -x117 -x116 -x115 -x114 -x113 -x72 -x71 -x70 x69 x68 -x67 x66 x65 -x64 x63 -x62 -x61 -x60 x59 -x58 x57 x56 x55 -x54 x53 -x52
480.33/480.59 v -x51 x50 x49 -x48 -x47 -x46 x45 -x44 -x43 -x42 x41 x40 -x39 -x38 -x37 -x36 -x35 -x34 x33 x32 -x31 -x30 -x29 -x28 -x27 -x26
480.33/480.59 v 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
480.33/480.59 c SCIP Status : problem is solved [optimal solution found]
480.33/480.59 c Solving Time : 453.23
480.33/480.59 c Original Problem :
480.33/480.59 c Problem name : HOME/instance-2663667-1276649535.opb
480.33/480.59 c Variables : 616 (616 binary, 0 integer, 0 implicit integer, 0 continuous)
480.33/480.59 c Constraints : 463 initial, 463 maximal
480.33/480.59 c Presolved Problem :
480.33/480.59 c Problem name : t_HOME/instance-2663667-1276649535.opb
480.33/480.59 c Variables : 497 (497 binary, 0 integer, 0 implicit integer, 0 continuous)
480.33/480.59 c Constraints : 358 initial, 6459 maximal
480.33/480.59 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
480.33/480.59 c trivial : 0.00 0 0 0 0 0 0 0 0
480.33/480.59 c dualfix : 0.00 0 0 0 0 0 0 0 0
480.33/480.59 c boundshift : 0.00 0 0 0 0 0 0 0 0
480.33/480.59 c inttobinary : 0.00 0 0 0 0 0 0 0 0
480.33/480.59 c implics : 0.00 0 0 0 0 0 0 0 0
480.33/480.59 c probing : 0.02 0 0 0 0 0 0 0 0
480.33/480.59 c and : 0.05 14 98 0 0 0 98 0 98
480.33/480.59 c linear : 0.01 1 6 0 0 0 0 0 48
480.33/480.59 c logicor : 0.00 0 0 0 0 0 0 0 0
480.33/480.59 c root node : - 64 - - 64 - - - -
480.33/480.59 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
480.33/480.59 c integral : 0 0 0 0 0 0 0 0 0 0
480.33/480.59 c and : 343 0 2517696 0 881930 27811 4468863 0 0 0
480.33/480.59 c linear : 7 0 2489883 0 881930 215133 1870121 0 0 0
480.33/480.59 c logicor : 8+ 0 1042330 0 881900 8556 309852 0 0 0
480.33/480.59 c countsols : 0 0 0 0 881932 0 0 0 0 0
480.33/480.59 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
480.33/480.59 c integral : 0.00 0.00 0.00 0.00 0.00
480.33/480.59 c and : 50.62 0.00 34.42 0.00 16.20
480.33/480.59 c linear : 113.60 0.00 112.73 0.00 0.87
480.33/480.59 c logicor : 73.34 0.00 71.54 0.00 1.80
480.33/480.59 c countsols : 0.29 0.00 0.00 0.00 0.29
480.33/480.59 c Propagators : Time Calls Cutoffs DomReds
480.33/480.59 c vbounds : 1.39 2 0 0
480.33/480.59 c rootredcost : 1.01 0 0 0
480.33/480.59 c pseudoobj : 3.24 2517385 86 13600
480.33/480.59 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
480.33/480.59 c propagation : 66.09 251568 250466 3123842 58.8 17803 56.1 -
480.33/480.59 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
480.33/480.59 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
480.33/480.59 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
480.33/480.59 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
480.33/480.59 c applied globally : - - - 274233 26.2 - - -
480.33/480.59 c applied locally : - - - 31054 60.7 - - -
480.33/480.59 c Separators : Time Calls Cutoffs DomReds Cuts Conss
480.33/480.59 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
480.33/480.59 c redcost : 0.00 0 0 0 0 0
480.33/480.59 c impliedbounds : 0.00 0 0 0 0 0
480.33/480.59 c intobj : 0.00 0 0 0 0 0
480.33/480.59 c cgmip : 0.00 0 0 0 0 0
480.33/480.59 c gomory : 0.00 0 0 0 0 0
480.33/480.59 c strongcg : 0.00 0 0 0 0 0
480.33/480.59 c cmir : 0.00 0 0 0 0 0
480.33/480.59 c flowcover : 0.00 0 0 0 0 0
480.33/480.59 c clique : 0.00 0 0 0 0 0
480.33/480.59 c zerohalf : 0.00 0 0 0 0 0
480.33/480.59 c mcf : 0.00 0 0 0 0 0
480.33/480.59 c rapidlearning : 0.00 0 0 0 0 0
480.33/480.59 c Pricers : Time Calls Vars
480.33/480.59 c problem variables: 0.00 0 0
480.33/480.59 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
480.33/480.59 c relpscost : 0.00 0 0 0 0 0 0
480.33/480.59 c pscost : 0.00 0 0 0 0 0 0
480.33/480.59 c inference : 51.93 881930 0 0 0 0 1763860
480.33/480.59 c mostinf : 0.00 0 0 0 0 0 0
480.33/480.59 c leastinf : 0.00 0 0 0 0 0 0
480.33/480.59 c fullstrong : 0.00 0 0 0 0 0 0
480.33/480.59 c allfullstrong : 0.00 0 0 0 0 0 0
480.33/480.59 c random : 0.00 0 0 0 0 0 0
480.33/480.59 c Primal Heuristics : Time Calls Found
480.33/480.59 c LP solutions : 0.00 - 0
480.33/480.59 c pseudo solutions : 0.44 - 2
480.33/480.59 c oneopt : 0.69 0 0
480.33/480.59 c trivial : 0.00 2 0
480.33/480.59 c simplerounding : 0.00 0 0
480.33/480.59 c zirounding : 0.00 0 0
480.33/480.59 c rounding : 0.00 0 0
480.33/480.59 c shifting : 0.00 0 0
480.33/480.59 c intshifting : 0.00 0 0
480.33/480.59 c twoopt : 0.00 0 0
480.33/480.59 c fixandinfer : 0.00 0 0
480.33/480.59 c feaspump : 0.00 0 0
480.33/480.59 c coefdiving : 0.00 0 0
480.33/480.59 c pscostdiving : 0.00 0 0
480.33/480.59 c fracdiving : 0.00 0 0
480.33/480.59 c veclendiving : 0.00 0 0
480.33/480.59 c intdiving : 0.00 0 0
480.33/480.59 c actconsdiving : 0.00 0 0
480.33/480.59 c objpscostdiving : 0.00 0 0
480.33/480.59 c rootsoldiving : 0.00 0 0
480.33/480.59 c linesearchdiving : 0.00 0 0
480.33/480.59 c guideddiving : 0.00 0 0
480.33/480.59 c octane : 0.00 0 0
480.33/480.59 c rens : 0.00 0 0
480.33/480.59 c rins : 0.00 0 0
480.33/480.59 c localbranching : 0.00 0 0
480.33/480.59 c mutation : 0.00 0 0
480.33/480.59 c crossover : 0.00 0 0
480.33/480.59 c dins : 0.00 0 0
480.33/480.59 c undercover : 0.00 0 0
480.33/480.59 c nlp : 0.56 0 0
480.33/480.59 c trysol : 0.56 0 0
480.33/480.59 c LP : Time Calls Iterations Iter/call Iter/sec
480.33/480.59 c primal LP : 0.00 0 0 0.00 -
480.33/480.59 c dual LP : 0.00 0 0 0.00 -
480.33/480.59 c lex dual LP : 0.00 0 0 0.00 -
480.33/480.59 c barrier LP : 0.00 0 0 0.00 -
480.33/480.59 c diving/probing LP: 0.00 0 0 0.00 -
480.33/480.59 c strong branching : 0.00 0 0 0.00 -
480.33/480.59 c (at root node) : - 0 0 0.00 -
480.33/480.59 c conflict analysis: 0.00 0 0 0.00 -
480.33/480.59 c B&B Tree :
480.33/480.59 c number of runs : 1
480.33/480.59 c nodes : 1033966
480.33/480.59 c nodes (total) : 1033966
480.33/480.59 c nodes left : 0
480.33/480.59 c max depth : 290
480.33/480.59 c max depth (total): 290
480.33/480.59 c backtracks : 109016 (10.5%)
480.33/480.59 c delayed cutoffs : 595302
480.33/480.59 c repropagations : 253217 (1029160 domain reductions, 99552 cutoffs)
480.33/480.59 c avg switch length: 6.76
480.33/480.59 c switching time : 104.90
480.33/480.59 c Solution :
480.33/480.59 c Solutions found : 2 (2 improvements)
480.33/480.59 c First Solution : +2.50000000000000e+01 (in run 1, after 786076 nodes, 356.77 seconds, depth 125, found by <relaxation>)
480.33/480.59 c Primal Bound : +3.00000000000000e+00 (in run 1, after 1033965 nodes, 447.20 seconds, depth 90, found by <relaxation>)
480.33/480.59 c Dual Bound : +3.00000000000000e+00
480.33/480.59 c Gap : 0.00 %
480.33/480.59 c Root Dual Bound : +1.00000000000000e+00
480.33/480.59 c Root Iterations : 0
480.44/480.65 c Time complete: 480.49.