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-2663558-1276647210.opb>
0.00/0.01 c original problem has 704 variables (704 bin, 0 int, 0 impl, 0 cont) and 529 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.13 c (round 1) 8 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 54 chg coeffs, 0 upgd conss, 3056 impls, 0 clqs
0.09/0.14 c (round 2) 24 del vars, 14 del conss, 0 chg bounds, 0 chg sides, 68 chg coeffs, 9 upgd conss, 4624 impls, 0 clqs
0.09/0.15 c (round 3) 40 del vars, 28 del conss, 0 chg bounds, 0 chg sides, 82 chg coeffs, 9 upgd conss, 5968 impls, 0 clqs
0.09/0.15 c (round 4) 56 del vars, 42 del conss, 0 chg bounds, 0 chg sides, 96 chg coeffs, 9 upgd conss, 7088 impls, 0 clqs
0.09/0.16 c (round 5) 72 del vars, 56 del conss, 0 chg bounds, 0 chg sides, 110 chg coeffs, 9 upgd conss, 7984 impls, 0 clqs
0.09/0.16 c (round 6) 88 del vars, 70 del conss, 0 chg bounds, 0 chg sides, 124 chg coeffs, 9 upgd conss, 8656 impls, 0 clqs
0.09/0.16 c (round 7) 104 del vars, 84 del conss, 0 chg bounds, 0 chg sides, 138 chg coeffs, 9 upgd conss, 9104 impls, 0 clqs
0.09/0.17 c (round 8) 120 del vars, 98 del conss, 0 chg bounds, 0 chg sides, 152 chg coeffs, 9 upgd conss, 9328 impls, 0 clqs
0.09/0.17 c (round 9) 136 del vars, 112 del conss, 0 chg bounds, 0 chg sides, 166 chg coeffs, 9 upgd conss, 9328 impls, 0 clqs
0.19/0.20 c (0.1s) probing: 207/568 (36.4%) - 0 fixings, 0 aggregations, 16 implications, 0 bound changes
0.19/0.20 c (0.1s) probing aborted: 100/100 successive totally useless probings
0.19/0.20 c presolving (10 rounds):
0.19/0.20 c 136 deleted vars, 112 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 166 changed coefficients
0.19/0.20 c 9360 implications, 0 cliques
0.19/0.20 c presolved problem has 568 variables (568 bin, 0 int, 0 impl, 0 cont) and 409 constraints
0.19/0.20 c 392 constraints of type <and>
0.19/0.20 c 8 constraints of type <linear>
0.19/0.20 c 9 constraints of type <logicor>
0.19/0.20 c transformed objective value is always integral (scale: 2)
0.19/0.20 c Presolving Time: 0.11
0.19/0.20 c - non default parameters ----------------------------------------------------------------------
0.19/0.20 c # SCIP version 1.2.1.2
0.19/0.20 c
0.19/0.20 c # frequency for displaying node information lines
0.19/0.20 c # [type: int, range: [-1,2147483647], default: 100]
0.19/0.20 c display/freq = 10000
0.19/0.20 c
0.19/0.20 c # maximal time in seconds to run
0.19/0.20 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.19/0.20 c limits/time = 1799.99
0.19/0.20 c
0.19/0.20 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.19/0.20 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.19/0.20 c limits/memory = 1620
0.19/0.20 c
0.19/0.20 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.19/0.20 c # [type: int, range: [-1,2147483647], default: 1]
0.19/0.20 c lp/solvefreq = -1
0.19/0.20 c
0.19/0.20 c # should presolving try to simplify inequalities
0.19/0.20 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.19/0.20 c constraints/linear/simplifyinequalities = TRUE
0.19/0.20 c
0.19/0.20 c # should presolving try to simplify knapsacks
0.19/0.20 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.19/0.20 c constraints/knapsack/simplifyinequalities = TRUE
0.19/0.20 c
0.19/0.20 c # frequency for calling primal heuristic <undercover> (-1: never, 0: only at depth freqofs)
0.19/0.20 c # [type: int, range: [-1,2147483647], default: -1]
0.19/0.20 c heuristics/undercover/freq = 0
0.19/0.20 c
0.19/0.20 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.19/0.20 c # [type: int, range: [-1,2147483647], default: -1]
0.19/0.20 c separating/rapidlearning/freq = 0
0.19/0.20 c
0.19/0.20 c -----------------------------------------------------------------------------------------------
0.19/0.20 c start solving
0.19/0.20 c
0.19/0.20 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.20 c 0.1s| 1 | 2 | 0 | - |1846k| 0 | - | 568 | 409 | 0 | 0 | 0 | 0 | 0 | 1.000000e+00 | -- | Inf
2.79/2.80 c 2.5s| 10000 | 8168 | 0 | 0.0 |7479k| 369 | - | 568 | 687 | 0 | 0 | 0 |1280 | 0 | 1.000000e+00 | -- | Inf
5.79/5.80 c 5.2s| 20000 | 15321 | 0 | 0.0 | 12M| 369 | - | 568 | 791 | 0 | 0 | 0 |3225 | 0 | 1.000000e+00 | -- | Inf
8.79/8.82 c 8.0s| 30000 | 22398 | 0 | 0.0 | 17M| 369 | - | 568 | 805 | 0 | 0 | 0 |5210 | 0 | 1.000000e+00 | -- | Inf
11.59/11.64 c 10.6s| 40000 | 29915 | 0 | 0.0 | 23M| 369 | - | 568 | 727 | 0 | 0 | 0 |6883 | 0 | 1.000000e+00 | -- | Inf
14.29/14.39 c 13.1s| 50000 | 37491 | 0 | 0.0 | 28M| 369 | - | 568 | 881 | 0 | 0 | 0 |8485 | 0 | 1.000000e+00 | -- | Inf
17.38/17.40 c 15.8s| 60000 | 44391 | 0 | 0.0 | 34M| 369 | - | 568 | 982 | 0 | 0 | 0 | 10k| 0 | 1.000000e+00 | -- | Inf
20.58/20.64 c 18.8s| 70000 | 50603 | 0 | 0.0 | 39M| 369 | - | 568 | 740 | 0 | 0 | 0 | 12k| 0 | 1.000000e+00 | -- | Inf
23.69/23.77 c 21.6s| 80000 | 58005 | 0 | 0.0 | 44M| 369 | - | 568 |1057 | 0 | 0 | 0 | 14k| 0 | 1.000000e+00 | -- | Inf
26.98/27.02 c 24.6s| 90000 | 65348 | 0 | 0.0 | 49M| 369 | - | 568 |1202 | 0 | 0 | 0 | 16k| 0 | 1.000000e+00 | -- | Inf
30.18/30.29 c 27.7s|100000 | 72790 | 0 | 0.0 | 55M| 369 | - | 568 |1288 | 0 | 0 | 0 | 18k| 0 | 1.000000e+00 | -- | Inf
33.48/33.51 c 30.6s|110000 | 79993 | 0 | 0.0 | 60M| 369 | - | 568 |1349 | 0 | 0 | 0 | 20k| 0 | 1.000000e+00 | -- | Inf
36.97/37.02 c 33.9s|120000 | 86146 | 0 | 0.0 | 65M| 369 | - | 568 |1259 | 0 | 0 | 0 | 22k| 0 | 1.000000e+00 | -- | Inf
40.48/40.50 c 37.1s|130000 | 92579 | 0 | 0.0 | 69M| 369 | - | 568 |1481 | 0 | 0 | 0 | 25k| 0 | 1.000000e+00 | -- | Inf
44.08/44.18 c 40.5s|140000 | 99134 | 0 | 0.0 | 74M| 369 | - | 568 |1558 | 0 | 0 | 0 | 27k| 0 | 1.000000e+00 | -- | Inf
47.47/47.51 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
47.47/47.51 c 43.6s|150000 |106222 | 0 | 0.0 | 79M| 369 | - | 568 |1241 | 0 | 0 | 0 | 29k| 0 | 1.000000e+00 | -- | Inf
50.67/50.71 c 46.6s|160000 |113497 | 0 | 0.0 | 84M| 369 | - | 568 |1293 | 0 | 0 | 0 | 31k| 0 | 1.000000e+00 | -- | Inf
53.97/54.06 c 49.7s|170000 |120164 | 0 | 0.0 | 89M| 369 | - | 568 |1364 | 0 | 0 | 0 | 33k| 0 | 1.000000e+00 | -- | Inf
57.47/57.55 c 52.9s|180000 |126697 | 0 | 0.0 | 94M| 369 | - | 568 |1319 | 0 | 0 | 0 | 36k| 0 | 1.000000e+00 | -- | Inf
60.77/60.87 c 56.0s|190000 |133738 | 0 | 0.0 | 98M| 369 | - | 568 |1390 | 0 | 0 | 0 | 38k| 0 | 1.000000e+00 | -- | Inf
64.28/64.30 c 59.2s|200000 |140544 | 0 | 0.0 | 103M| 369 | - | 568 |1383 | 0 | 0 | 0 | 40k| 0 | 1.000000e+00 | -- | Inf
67.67/67.73 c 62.3s|210000 |147438 | 0 | 0.0 | 108M| 369 | - | 568 |1313 | 0 | 0 | 0 | 42k| 0 | 1.000000e+00 | -- | Inf
71.07/71.13 c 65.5s|220000 |154217 | 0 | 0.0 | 113M| 369 | - | 568 |1428 | 0 | 0 | 0 | 45k| 0 | 1.000000e+00 | -- | Inf
74.47/74.54 c 68.6s|230000 |160968 | 0 | 0.0 | 118M| 369 | - | 568 |1375 | 0 | 0 | 0 | 47k| 0 | 1.000000e+00 | -- | Inf
77.76/77.85 c 71.7s|240000 |167996 | 0 | 0.0 | 123M| 369 | - | 568 |1380 | 0 | 0 | 0 | 49k| 0 | 1.000000e+00 | -- | Inf
80.97/81.09 c 74.6s|250000 |175252 | 0 | 0.0 | 128M| 369 | - | 568 |1178 | 0 | 0 | 0 | 51k| 0 | 1.000000e+00 | -- | Inf
84.27/84.35 c 77.7s|260000 |182334 | 0 | 0.0 | 133M| 369 | - | 568 |1110 | 0 | 0 | 0 | 53k| 0 | 1.000000e+00 | -- | Inf
87.57/87.70 c 80.8s|270000 |189296 | 0 | 0.0 | 138M| 369 | - | 568 |1014 | 0 | 0 | 0 | 55k| 0 | 1.000000e+00 | -- | Inf
90.97/91.02 c 83.9s|280000 |196183 | 0 | 0.0 | 143M| 369 | - | 568 |1012 | 0 | 0 | 0 | 58k| 0 | 1.000000e+00 | -- | Inf
94.16/94.26 c 86.8s|290000 |203174 | 0 | 0.0 | 148M| 369 | - | 568 | 967 | 0 | 0 | 0 | 60k| 0 | 1.000000e+00 | -- | Inf
97.36/97.48 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
97.36/97.48 c 89.8s|300000 |210128 | 0 | 0.0 | 153M| 369 | - | 568 |1078 | 0 | 0 | 0 | 62k| 0 | 1.000000e+00 | -- | Inf
100.46/100.58 c 92.7s|310000 |217398 | 0 | 0.0 | 158M| 369 | - | 568 |1135 | 0 | 0 | 0 | 64k| 0 | 1.000000e+00 | -- | Inf
103.56/103.67 c 95.5s|320000 |224676 | 0 | 0.0 | 163M| 369 | - | 568 |1183 | 0 | 0 | 0 | 66k| 0 | 1.000000e+00 | -- | Inf
106.86/106.91 c 98.5s|330000 |231661 | 0 | 0.0 | 168M| 369 | - | 568 |1222 | 0 | 0 | 0 | 68k| 0 | 1.000000e+00 | -- | Inf
110.16/110.23 c 102s|340000 |238521 | 0 | 0.0 | 174M| 369 | - | 568 |1236 | 0 | 0 | 0 | 70k| 0 | 1.000000e+00 | -- | Inf
113.56/113.61 c 105s|350000 |245086 | 0 | 0.0 | 178M| 369 | - | 568 |1223 | 0 | 0 | 0 | 72k| 0 | 1.000000e+00 | -- | Inf
117.06/117.11 c 108s|360000 |251307 | 0 | 0.0 | 184M| 369 | - | 568 |1233 | 0 | 0 | 0 | 75k| 0 | 1.000000e+00 | -- | Inf
120.35/120.44 c 111s|370000 |257809 | 0 | 0.0 | 189M| 369 | - | 568 |1156 | 0 | 0 | 0 | 77k| 0 | 1.000000e+00 | -- | Inf
123.95/124.02 c 114s|380000 |264095 | 0 | 0.0 | 194M| 369 | - | 568 |1276 | 0 | 0 | 0 | 80k| 0 | 1.000000e+00 | -- | Inf
127.56/127.64 c 118s|390000 |270407 | 0 | 0.0 | 199M| 369 | - | 568 |1315 | 0 | 0 | 0 | 82k| 0 | 1.000000e+00 | -- | Inf
131.14/131.23 c 121s|400000 |276662 | 0 | 0.0 | 204M| 369 | - | 568 |1355 | 0 | 0 | 0 | 84k| 0 | 1.000000e+00 | -- | Inf
134.95/135.03 c 125s|410000 |282372 | 0 | 0.0 | 209M| 369 | - | 568 |1378 | 0 | 0 | 0 | 87k| 0 | 1.000000e+00 | -- | Inf
138.25/138.31 c 128s|420000 |288982 | 0 | 0.0 | 214M| 369 | - | 568 |1468 | 0 | 0 | 0 | 89k| 0 | 1.000000e+00 | -- | Inf
141.65/141.77 c 131s|430000 |295242 | 0 | 0.0 | 219M| 369 | - | 568 |1671 | 0 | 0 | 0 | 92k| 0 | 1.000000e+00 | -- | Inf
145.34/145.49 c 134s|440000 |300985 | 0 | 0.0 | 223M| 369 | - | 568 |1770 | 0 | 0 | 0 | 95k| 0 | 1.000000e+00 | -- | Inf
149.35/149.44 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
149.35/149.44 c 138s|450000 |305876 | 0 | 0.0 | 227M| 369 | - | 568 |1869 | 0 | 0 | 0 | 98k| 0 | 1.000000e+00 | -- | Inf
153.04/153.10 c 141s|460000 |310845 | 0 | 0.0 | 231M| 369 | - | 568 |1674 | 0 | 0 | 0 | 101k| 0 | 1.000000e+00 | -- | Inf
156.54/156.60 c 145s|470000 |317021 | 0 | 0.0 | 236M| 369 | - | 568 |1629 | 0 | 0 | 0 | 103k| 0 | 1.000000e+00 | -- | Inf
160.24/160.33 c 148s|480000 |320147 | 0 | 0.0 | 240M| 369 | - | 568 |1262 | 0 | 0 | 0 | 106k| 0 | 1.000000e+00 | -- | Inf
163.04/163.16 c 151s|490000 |328437 | 0 | 0.0 | 246M| 369 | - | 568 | 905 | 0 | 0 | 0 | 107k| 0 | 1.000000e+00 | -- | Inf
166.04/166.15 c 153s|500000 |336274 | 0 | 0.0 | 252M| 369 | - | 568 |1012 | 0 | 0 | 0 | 108k| 0 | 1.000000e+00 | -- | Inf
169.44/169.53 c 156s|510000 |342607 | 0 | 0.0 | 257M| 369 | - | 568 | 939 | 0 | 0 | 0 | 111k| 0 | 1.000000e+00 | -- | Inf
172.54/172.68 c 159s|520000 |350074 | 0 | 0.0 | 262M| 369 | - | 568 |1328 | 0 | 0 | 0 | 112k| 0 | 1.000000e+00 | -- | Inf
176.04/176.17 c 163s|530000 |357362 | 0 | 0.0 | 267M| 369 | - | 568 |1692 | 0 | 0 | 0 | 114k| 0 | 1.000000e+00 | -- | Inf
179.93/180.02 c 166s|540000 |364223 | 0 | 0.0 | 272M| 369 | - | 568 |1696 | 0 | 0 | 0 | 117k| 0 | 1.000000e+00 | -- | Inf
183.94/184.04 c 170s|550000 |370775 | 0 | 0.0 | 277M| 369 | - | 568 |1708 | 0 | 0 | 0 | 119k| 0 | 1.000000e+00 | -- | Inf
187.94/188.07 c 174s|560000 |377312 | 0 | 0.0 | 282M| 369 | - | 568 |1619 | 0 | 0 | 0 | 122k| 0 | 1.000000e+00 | -- | Inf
191.93/192.05 c 178s|570000 |383874 | 0 | 0.0 | 287M| 369 | - | 568 |1636 | 0 | 0 | 0 | 124k| 0 | 1.000000e+00 | -- | Inf
195.64/195.74 c 181s|580000 |390936 | 0 | 0.0 | 292M| 369 | - | 568 |1638 | 0 | 0 | 0 | 127k| 0 | 1.000000e+00 | -- | Inf
199.53/199.68 c 185s|590000 |397570 | 0 | 0.0 | 296M| 369 | - | 568 |1709 | 0 | 0 | 0 | 129k| 0 | 1.000000e+00 | -- | Inf
203.43/203.55 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
203.43/203.55 c 188s|600000 |404349 | 0 | 0.0 | 301M| 369 | - | 568 |1895 | 0 | 0 | 0 | 131k| 0 | 1.000000e+00 | -- | Inf
207.32/207.49 c 192s|610000 |411191 | 0 | 0.0 | 306M| 369 | - | 568 |1800 | 0 | 0 | 0 | 134k| 0 | 1.000000e+00 | -- | Inf
211.42/211.52 c 196s|620000 |417956 | 0 | 0.0 | 311M| 369 | - | 568 |1965 | 0 | 0 | 0 | 136k| 0 | 1.000000e+00 | -- | Inf
215.43/215.60 c 200s|630000 |424726 | 0 | 0.0 | 316M| 369 | - | 568 |2171 | 0 | 0 | 0 | 138k| 0 | 1.000000e+00 | -- | Inf
219.52/219.67 c 203s|640000 |431607 | 0 | 0.0 | 321M| 369 | - | 568 |2100 | 0 | 0 | 0 | 141k| 0 | 1.000000e+00 | -- | Inf
223.72/223.85 c 207s|650000 |438281 | 0 | 0.0 | 326M| 369 | - | 568 |2275 | 0 | 0 | 0 | 143k| 0 | 1.000000e+00 | -- | Inf
227.63/227.79 c 211s|660000 |445403 | 0 | 0.0 | 331M| 369 | - | 568 |2121 | 0 | 0 | 0 | 145k| 0 | 1.000000e+00 | -- | Inf
231.52/231.64 c 215s|670000 |452577 | 0 | 0.0 | 336M| 369 | - | 568 |2204 | 0 | 0 | 0 | 147k| 0 | 1.000000e+00 | -- | Inf
235.51/235.68 c 218s|680000 |459606 | 0 | 0.0 | 341M| 369 | - | 568 |2348 | 0 | 0 | 0 | 150k| 0 | 1.000000e+00 | -- | Inf
239.02/239.14 c 222s|690000 |467454 | 0 | 0.0 | 346M| 369 | - | 568 |1703 | 0 | 0 | 0 | 151k| 0 | 1.000000e+00 | -- | Inf
242.81/242.93 c 225s|700000 |474408 | 0 | 0.0 | 352M| 369 | - | 568 |2149 | 0 | 0 | 0 | 153k| 0 | 1.000000e+00 | -- | Inf
246.81/246.97 c 229s|710000 |480672 | 0 | 0.0 | 356M| 369 | - | 568 |1919 | 0 | 0 | 0 | 156k| 0 | 1.000000e+00 | -- | Inf
250.62/250.75 c 232s|720000 |487312 | 0 | 0.0 | 361M| 369 | - | 568 |1755 | 0 | 0 | 0 | 158k| 0 | 1.000000e+00 | -- | Inf
254.51/254.63 c 236s|730000 |493721 | 0 | 0.0 | 365M| 369 | - | 568 |1720 | 0 | 0 | 0 | 161k| 0 | 1.000000e+00 | -- | Inf
258.41/258.59 c 240s|740000 |500160 | 0 | 0.0 | 370M| 369 | - | 568 |1477 | 0 | 0 | 0 | 163k| 0 | 1.000000e+00 | -- | Inf
262.11/262.29 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
262.11/262.29 c 243s|750000 |507146 | 0 | 0.0 | 375M| 369 | - | 568 |1678 | 0 | 0 | 0 | 165k| 0 | 1.000000e+00 | -- | Inf
266.01/266.17 c 247s|760000 |513411 | 0 | 0.0 | 379M| 369 | - | 568 |1161 | 0 | 0 | 0 | 168k| 0 | 1.000000e+00 | -- | Inf
269.60/269.79 c 250s|770000 |520143 | 0 | 0.0 | 384M| 369 | - | 568 |1655 | 0 | 0 | 0 | 170k| 0 | 1.000000e+00 | -- | Inf
273.90/274.01 c 254s|780000 |525916 | 0 | 0.0 | 388M| 369 | - | 568 |1483 | 0 | 0 | 0 | 173k| 0 | 1.000000e+00 | -- | Inf
277.80/277.94 c 258s|790000 |533050 | 0 | 0.0 | 393M| 369 | - | 568 |1468 | 0 | 0 | 0 | 175k| 0 | 1.000000e+00 | -- | Inf
281.80/281.96 c 262s|800000 |540443 | 0 | 0.0 | 399M| 369 | - | 568 |1256 | 0 | 0 | 0 | 177k| 0 | 1.000000e+00 | -- | Inf
285.70/285.81 c 265s|810000 |546925 | 0 | 0.0 | 403M| 369 | - | 568 |1245 | 0 | 0 | 0 | 179k| 0 | 1.000000e+00 | -- | Inf
289.29/289.40 c 268s|820000 |553708 | 0 | 0.0 | 408M| 369 | - | 568 |1535 | 0 | 0 | 0 | 181k| 0 | 1.000000e+00 | -- | Inf
293.10/293.28 c 272s|830000 |560328 | 0 | 0.0 | 413M| 369 | - | 568 |1746 | 0 | 0 | 0 | 184k| 0 | 1.000000e+00 | -- | Inf
296.90/297.02 c 276s|840000 |566960 | 0 | 0.0 | 418M| 369 | - | 568 |1443 | 0 | 0 | 0 | 186k| 0 | 1.000000e+00 | -- | Inf
300.79/300.93 c 279s|850000 |573790 | 0 | 0.0 | 423M| 369 | - | 568 |1623 | 0 | 0 | 0 | 188k| 0 | 1.000000e+00 | -- | Inf
304.19/304.39 c 282s|860000 |580997 | 0 | 0.0 | 428M| 369 | - | 568 |1404 | 0 | 0 | 0 | 190k| 0 | 1.000000e+00 | -- | Inf
308.09/308.24 c 286s|870000 |587530 | 0 | 0.0 | 433M| 369 | - | 568 |1784 | 0 | 0 | 0 | 192k| 0 | 1.000000e+00 | -- | Inf
311.98/312.18 c 290s|880000 |594236 | 0 | 0.0 | 438M| 369 | - | 568 |1517 | 0 | 0 | 0 | 195k| 0 | 1.000000e+00 | -- | Inf
315.79/315.96 c 293s|890000 |600938 | 0 | 0.0 | 443M| 369 | - | 568 |1668 | 0 | 0 | 0 | 197k| 0 | 1.000000e+00 | -- | Inf
319.58/319.74 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
319.58/319.74 c 297s|900000 |607822 | 0 | 0.0 | 448M| 369 | - | 568 |1808 | 0 | 0 | 0 | 199k| 0 | 1.000000e+00 | -- | Inf
323.29/323.45 c 300s|910000 |614509 | 0 | 0.0 | 452M| 369 | - | 568 |1690 | 0 | 0 | 0 | 201k| 0 | 1.000000e+00 | -- | Inf
327.08/327.29 c 304s|920000 |621482 | 0 | 0.0 | 458M| 369 | - | 568 |1850 | 0 | 0 | 0 | 204k| 0 | 1.000000e+00 | -- | Inf
330.99/331.17 c 307s|930000 |628220 | 0 | 0.0 | 462M| 369 | - | 568 |1684 | 0 | 0 | 0 | 206k| 0 | 1.000000e+00 | -- | Inf
334.58/334.79 c 311s|940000 |635398 | 0 | 0.0 | 468M| 369 | - | 568 |1717 | 0 | 0 | 0 | 208k| 0 | 1.000000e+00 | -- | Inf
338.18/338.39 c 314s|950000 |642521 | 0 | 0.0 | 473M| 369 | - | 568 |1578 | 0 | 0 | 0 | 210k| 0 | 1.000000e+00 | -- | Inf
341.79/341.91 c 317s|960000 |649656 | 0 | 0.0 | 478M| 369 | - | 568 |1628 | 0 | 0 | 0 | 212k| 0 | 1.000000e+00 | -- | Inf
345.58/345.70 c 321s|970000 |656496 | 0 | 0.0 | 483M| 369 | - | 568 |1451 | 0 | 0 | 0 | 214k| 0 | 1.000000e+00 | -- | Inf
348.97/349.19 c 324s|980000 |663411 | 0 | 0.0 | 488M| 369 | - | 568 |1668 | 0 | 0 | 0 | 216k| 0 | 1.000000e+00 | -- | Inf
352.88/353.03 c 328s|990000 |670373 | 0 | 0.0 | 493M| 369 | - | 568 |1707 | 0 | 0 | 0 | 218k| 0 | 1.000000e+00 | -- | Inf
356.68/356.82 c 331s| 1000k|677062 | 0 | 0.0 | 498M| 369 | - | 568 |1734 | 0 | 0 | 0 | 220k| 0 | 1.000000e+00 | -- | Inf
360.38/360.57 c 335s| 1010k|684031 | 0 | 0.0 | 503M| 369 | - | 568 |1600 | 0 | 0 | 0 | 223k| 0 | 1.000000e+00 | -- | Inf
364.17/364.31 c 338s| 1020k|690643 | 0 | 0.0 | 508M| 369 | - | 568 |1597 | 0 | 0 | 0 | 225k| 0 | 1.000000e+00 | -- | Inf
368.06/368.20 c 342s| 1030k|697334 | 0 | 0.0 | 513M| 369 | - | 568 |1563 | 0 | 0 | 0 | 227k| 0 | 1.000000e+00 | -- | Inf
371.77/371.95 c 345s| 1040k|704047 | 0 | 0.0 | 517M| 369 | - | 568 |1829 | 0 | 0 | 0 | 229k| 0 | 1.000000e+00 | -- | Inf
375.67/375.89 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
375.67/375.89 c 349s| 1050k|710904 | 0 | 0.0 | 522M| 369 | - | 568 |1562 | 0 | 0 | 0 | 231k| 0 | 1.000000e+00 | -- | Inf
379.46/379.62 c 352s| 1060k|717686 | 0 | 0.0 | 527M| 369 | - | 568 |1794 | 0 | 0 | 0 | 234k| 0 | 1.000000e+00 | -- | Inf
383.57/383.76 c 356s| 1070k|723985 | 0 | 0.0 | 532M| 369 | - | 568 |1654 | 0 | 0 | 0 | 236k| 0 | 1.000000e+00 | -- | Inf
387.37/387.54 c 360s| 1080k|730733 | 0 | 0.0 | 537M| 369 | - | 568 |1782 | 0 | 0 | 0 | 238k| 0 | 1.000000e+00 | -- | Inf
391.26/391.48 c 364s| 1090k|737384 | 0 | 0.0 | 542M| 369 | - | 568 |1667 | 0 | 0 | 0 | 241k| 0 | 1.000000e+00 | -- | Inf
394.86/395.05 c 367s| 1100k|744444 | 0 | 0.0 | 547M| 369 | - | 568 |1485 | 0 | 0 | 0 | 243k| 0 | 1.000000e+00 | -- | Inf
398.66/398.84 c 370s| 1110k|751045 | 0 | 0.0 | 552M| 369 | - | 568 |1697 | 0 | 0 | 0 | 245k| 0 | 1.000000e+00 | -- | Inf
402.47/402.69 c 374s| 1120k|757546 | 0 | 0.0 | 556M| 369 | - | 568 |1376 | 0 | 0 | 0 | 247k| 0 | 1.000000e+00 | -- | Inf
406.35/406.55 c 378s| 1130k|764068 | 0 | 0.0 | 561M| 369 | - | 568 |1593 | 0 | 0 | 0 | 250k| 0 | 1.000000e+00 | -- | Inf
410.26/410.45 c 381s| 1140k|770336 | 0 | 0.0 | 565M| 369 | - | 568 |1445 | 0 | 0 | 0 | 252k| 0 | 1.000000e+00 | -- | Inf
414.15/414.31 c 385s| 1150k|777100 | 0 | 0.0 | 570M| 369 | - | 568 |1523 | 0 | 0 | 0 | 254k| 0 | 1.000000e+00 | -- | Inf
417.95/418.15 c 389s| 1160k|783522 | 0 | 0.0 | 575M| 369 | - | 568 |1456 | 0 | 0 | 0 | 257k| 0 | 1.000000e+00 | -- | Inf
421.65/421.82 c 392s| 1170k|790449 | 0 | 0.0 | 580M| 369 | - | 568 |1472 | 0 | 0 | 0 | 259k| 0 | 1.000000e+00 | -- | Inf
425.65/425.83 c 396s| 1180k|796792 | 0 | 0.0 | 584M| 369 | - | 568 |1466 | 0 | 0 | 0 | 261k| 0 | 1.000000e+00 | -- | Inf
429.55/429.78 c 399s| 1190k|803504 | 0 | 0.0 | 589M| 369 | - | 568 |1579 | 0 | 0 | 0 | 264k| 0 | 1.000000e+00 | -- | Inf
433.55/433.72 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
433.55/433.72 c 403s| 1200k|810028 | 0 | 0.0 | 594M| 369 | - | 568 |1481 | 0 | 0 | 0 | 266k| 0 | 1.000000e+00 | -- | Inf
437.65/437.81 c 407s| 1210k|816162 | 0 | 0.0 | 598M| 369 | - | 568 |1748 | 0 | 0 | 0 | 269k| 0 | 1.000000e+00 | -- | Inf
441.75/441.95 c 411s| 1220k|822501 | 0 | 0.0 | 603M| 369 | - | 568 |1581 | 0 | 0 | 0 | 271k| 0 | 1.000000e+00 | -- | Inf
445.75/445.96 c 415s| 1230k|828923 | 0 | 0.0 | 608M| 369 | - | 568 |1860 | 0 | 0 | 0 | 274k| 0 | 1.000000e+00 | -- | Inf
449.95/450.14 c 418s| 1240k|835174 | 0 | 0.0 | 612M| 369 | - | 568 |1762 | 0 | 0 | 0 | 276k| 0 | 1.000000e+00 | -- | Inf
454.05/454.29 c 422s| 1250k|841664 | 0 | 0.0 | 617M| 369 | - | 568 |1870 | 0 | 0 | 0 | 279k| 0 | 1.000000e+00 | -- | Inf
458.05/458.22 c 426s| 1260k|848551 | 0 | 0.0 | 622M| 369 | - | 568 |1634 | 0 | 0 | 0 | 281k| 0 | 1.000000e+00 | -- | Inf
461.75/461.99 c 430s| 1270k|855443 | 0 | 0.0 | 627M| 369 | - | 568 |1791 | 0 | 0 | 0 | 283k| 0 | 1.000000e+00 | -- | Inf
465.94/466.12 c 433s| 1280k|861990 | 0 | 0.0 | 631M| 369 | - | 568 |1935 | 0 | 0 | 0 | 286k| 0 | 1.000000e+00 | -- | Inf
469.85/470.05 c 437s| 1290k|868760 | 0 | 0.0 | 636M| 369 | - | 568 |1727 | 0 | 0 | 0 | 288k| 0 | 1.000000e+00 | -- | Inf
473.95/474.14 c 441s| 1300k|875256 | 0 | 0.0 | 641M| 369 | - | 568 |2077 | 0 | 0 | 0 | 290k| 0 | 1.000000e+00 | -- | Inf
478.04/478.29 c 445s| 1310k|881994 | 0 | 0.0 | 646M| 369 | - | 568 |1965 | 0 | 0 | 0 | 293k| 0 | 1.000000e+00 | -- | Inf
482.23/482.43 c 449s| 1320k|888585 | 0 | 0.0 | 651M| 369 | - | 568 |2125 | 0 | 0 | 0 | 295k| 0 | 1.000000e+00 | -- | Inf
486.23/486.46 c 453s| 1330k|895406 | 0 | 0.0 | 656M| 369 | - | 568 |1956 | 0 | 0 | 0 | 298k| 0 | 1.000000e+00 | -- | Inf
490.13/490.36 c 456s| 1340k|902336 | 0 | 0.0 | 660M| 369 | - | 568 |2013 | 0 | 0 | 0 | 300k| 0 | 1.000000e+00 | -- | Inf
494.23/494.43 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
494.23/494.43 c 460s| 1350k|909182 | 0 | 0.0 | 665M| 369 | - | 568 |2019 | 0 | 0 | 0 | 302k| 0 | 1.000000e+00 | -- | Inf
498.22/498.45 c 464s| 1360k|916024 | 0 | 0.0 | 670M| 369 | - | 568 |2009 | 0 | 0 | 0 | 305k| 0 | 1.000000e+00 | -- | Inf
502.43/502.66 c 468s| 1370k|922571 | 0 | 0.0 | 675M| 369 | - | 568 |2140 | 0 | 0 | 0 | 307k| 0 | 1.000000e+00 | -- | Inf
506.42/506.68 c 472s| 1380k|929264 | 0 | 0.0 | 680M| 369 | - | 568 |1977 | 0 | 0 | 0 | 310k| 0 | 1.000000e+00 | -- | Inf
510.73/510.97 c 476s| 1390k|935918 | 0 | 0.0 | 685M| 369 | - | 568 |2263 | 0 | 0 | 0 | 312k| 0 | 1.000000e+00 | -- | Inf
514.82/515.09 c 479s| 1400k|942756 | 0 | 0.0 | 689M| 369 | - | 568 |1800 | 0 | 0 | 0 | 314k| 0 | 1.000000e+00 | -- | Inf
519.12/519.37 c 483s| 1410k|949194 | 0 | 0.0 | 694M| 369 | - | 568 |2268 | 0 | 0 | 0 | 317k| 0 | 1.000000e+00 | -- | Inf
523.12/523.36 c 487s| 1420k|956186 | 0 | 0.0 | 699M| 369 | - | 568 |2019 | 0 | 0 | 0 | 319k| 0 | 1.000000e+00 | -- | Inf
527.32/527.52 c 491s| 1430k|962855 | 0 | 0.0 | 704M| 369 | - | 568 |2187 | 0 | 0 | 0 | 322k| 0 | 1.000000e+00 | -- | Inf
531.22/531.49 c 495s| 1440k|969735 | 0 | 0.0 | 709M| 369 | - | 568 |2045 | 0 | 0 | 0 | 324k| 0 | 1.000000e+00 | -- | Inf
535.52/535.80 c 499s| 1450k|976094 | 0 | 0.0 | 713M| 369 | - | 568 |2304 | 0 | 0 | 0 | 327k| 0 | 1.000000e+00 | -- | Inf
539.72/539.96 c 503s| 1460k|982721 | 0 | 0.0 | 718M| 369 | - | 568 |2096 | 0 | 0 | 0 | 329k| 0 | 1.000000e+00 | -- | Inf
544.02/544.27 c 507s| 1470k|989149 | 0 | 0.0 | 723M| 369 | - | 568 |2282 | 0 | 0 | 0 | 332k| 0 | 1.000000e+00 | -- | Inf
548.31/548.54 c 511s| 1480k|995715 | 0 | 0.0 | 727M| 369 | - | 568 |2092 | 0 | 0 | 0 | 335k| 0 | 1.000000e+00 | -- | Inf
552.02/552.28 c 514s| 1490k| 1002k| 0 | 0.0 | 732M| 369 | - | 568 |1939 | 0 | 0 | 0 | 337k| 0 | 1.000000e+00 | -- | Inf
556.01/556.29 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
556.01/556.29 c 518s| 1500k| 1009k| 0 | 0.0 | 737M| 369 | - | 568 |2294 | 0 | 0 | 0 | 339k| 0 | 1.000000e+00 | -- | Inf
560.01/560.27 c 522s| 1510k| 1016k| 0 | 0.0 | 742M| 369 | - | 568 |1801 | 0 | 0 | 0 | 341k| 0 | 1.000000e+00 | -- | Inf
564.51/564.74 c 526s| 1520k| 1022k| 0 | 0.0 | 747M| 369 | - | 568 |2436 | 0 | 0 | 0 | 344k| 0 | 1.000000e+00 | -- | Inf
568.61/568.89 c 530s| 1530k| 1028k| 0 | 0.0 | 751M| 369 | - | 568 |1940 | 0 | 0 | 0 | 347k| 0 | 1.000000e+00 | -- | Inf
569.62/569.82 o 9
569.62/569.82 c * 531s| 1532k| 1030k| 0 | 0.0 | 752M| 369 | - | 568 |1823 | 0 | 0 | 0 | 347k| 0 | 1.000000e+00 | 9.000000e+00 | 800.00%
573.31/573.51 c 534s| 1540k| 1034k| 0 | 0.0 | 757M| 369 | - | 568 |2395 | 0 | 0 | 0 | 349k| 0 | 1.000000e+00 | 9.000000e+00 | 800.00%
577.40/577.69 c 538s| 1550k| 1041k| 0 | 0.0 | 763M| 369 | - | 568 |1837 | 0 | 0 | 0 | 352k| 0 | 1.000000e+00 | 9.000000e+00 | 800.00%
581.81/582.00 c 542s| 1560k| 1047k| 0 | 0.0 | 769M| 369 | - | 568 |2347 | 0 | 0 | 0 | 354k| 0 | 1.000000e+00 | 9.000000e+00 | 800.00%
585.90/586.11 c 546s| 1570k| 1054k| 0 | 0.0 | 774M| 369 | - | 568 |1088 | 0 | 0 | 0 | 357k| 0 | 1.000000e+00 | 9.000000e+00 | 800.00%
590.41/590.65 c 550s| 1580k| 1060k| 0 | 0.0 | 778M| 369 | - | 568 | 937 | 0 | 0 | 0 | 360k| 0 | 1.000000e+00 | 9.000000e+00 | 800.00%
594.20/594.49 c 554s| 1590k| 1066k| 0 | 0.0 | 782M| 369 | - | 568 |1424 | 0 | 0 | 0 | 363k| 0 | 1.000000e+00 | 9.000000e+00 | 800.00%
598.31/598.55 c 558s| 1600k| 1073k| 0 | 0.0 | 787M| 369 | - | 568 |1931 | 0 | 0 | 0 | 365k| 0 | 1.000000e+00 | 9.000000e+00 | 800.00%
602.50/602.75 c 562s| 1610k| 1079k| 0 | 0.0 | 791M| 369 | - | 568 |1609 | 0 | 0 | 0 | 368k| 0 | 1.000000e+00 | 9.000000e+00 | 800.00%
606.60/606.84 c 565s| 1620k| 1085k| 0 | 0.0 | 796M| 369 | - | 568 |1975 | 0 | 0 | 0 | 370k| 0 | 1.000000e+00 | 9.000000e+00 | 800.00%
610.20/610.44 c 569s| 1630k| 1092k| 0 | 0.0 | 801M| 369 | - | 568 |1668 | 0 | 0 | 0 | 373k| 0 | 1.000000e+00 | 9.000000e+00 | 800.00%
613.59/613.83 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
613.59/613.83 c 572s| 1640k| 1100k| 0 | 0.0 | 806M| 369 | - | 568 |1230 | 0 | 0 | 0 | 375k| 0 | 1.000000e+00 | 9.000000e+00 | 800.00%
616.90/617.12 c 575s| 1650k| 1107k| 0 | 0.0 | 811M| 369 | - | 568 |1217 | 0 | 0 | 0 | 376k| 0 | 1.000000e+00 | 9.000000e+00 | 800.00%
620.09/620.39 c 578s| 1660k| 1114k| 0 | 0.0 | 817M| 369 | - | 568 |1232 | 0 | 0 | 0 | 378k| 0 | 1.000000e+00 | 9.000000e+00 | 800.00%
623.69/623.96 c 581s| 1670k| 1121k| 0 | 0.0 | 822M| 369 | - | 568 |1426 | 0 | 0 | 0 | 381k| 0 | 1.000000e+00 | 9.000000e+00 | 800.00%
627.09/627.30 c 584s| 1680k| 1129k| 0 | 0.0 | 827M| 369 | - | 568 |1367 | 0 | 0 | 0 | 382k| 0 | 1.000000e+00 | 9.000000e+00 | 800.00%
630.39/630.66 c 587s| 1690k| 1136k| 0 | 0.0 | 832M| 369 | - | 568 |1226 | 0 | 0 | 0 | 385k| 0 | 1.000000e+00 | 9.000000e+00 | 800.00%
633.89/634.19 c 591s| 1700k| 1143k| 0 | 0.0 | 837M| 369 | - | 568 |1630 | 0 | 0 | 0 | 387k| 0 | 1.000000e+00 | 9.000000e+00 | 800.00%
637.70/637.98 c 594s| 1710k| 1150k| 0 | 0.0 | 842M| 369 | - | 568 |1792 | 0 | 0 | 0 | 389k| 0 | 1.000000e+00 | 9.000000e+00 | 800.00%
640.48/640.74 o 3
640.48/640.74 c * 597s| 1716k| 1129k| 0 | 0.0 | 828M| 369 | - | 568 |1567 | 0 | 0 | 0 | 391k| 0 | 1.000000e+00 | 3.000000e+00 | 200.00%
656.88/657.16 c
656.88/657.16 c SCIP Status : problem is solved [optimal solution found]
656.88/657.16 c Solving Time (sec) : 611.91
656.88/657.16 c Solving Nodes : 1716724
656.88/657.16 c Primal Bound : +3.00000000000000e+00 (2 solutions)
656.88/657.16 c Dual Bound : +3.00000000000000e+00
656.88/657.16 c Gap : 0.00 %
656.88/657.16 s OPTIMUM FOUND
656.88/657.16 v -x192 -x191 x190 -x189 -x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178 -x177 x128 x127 x126 -x125 -x124 -x123
656.88/657.16 v -x122 x121 -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x120 -x119 x118 -x117 x116 x115 -x114 x113 -x168 -x167 -x166 -x165
656.88/657.16 v -x164 -x163 -x162 -x161 -x112 -x111 -x110 -x109 -x108 x107 -x106 x105 -x160 -x159 -x158 -x157 -x156 -x155 x154 -x153 -x104
656.88/657.16 v -x103 -x102 -x101 -x100 -x99 -x98 x97 -x152 -x151 -x150 -x149 -x148 -x147 -x146 -x145 -x96 -x95 -x94 -x93 x92 -x91 -x90 x89
656.88/657.16 v -x144 -x143 -x142 x141 -x140 x139 x138 -x137 -x88 -x87 -x86 -x85 -x84 -x83 -x82 x81 -x136 -x135 -x134 -x133 -x132 -x131 -x130
656.88/657.16 v x129 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
656.88/657.16 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
656.88/657.16 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
656.88/657.16 c SCIP Status : problem is solved [optimal solution found]
656.88/657.16 c Solving Time : 611.91
656.88/657.16 c Original Problem :
656.88/657.16 c Problem name : HOME/instance-2663558-1276647210.opb
656.88/657.16 c Variables : 704 (704 binary, 0 integer, 0 implicit integer, 0 continuous)
656.88/657.16 c Constraints : 529 initial, 529 maximal
656.88/657.16 c Presolved Problem :
656.88/657.16 c Problem name : t_HOME/instance-2663558-1276647210.opb
656.88/657.16 c Variables : 568 (568 binary, 0 integer, 0 implicit integer, 0 continuous)
656.88/657.16 c Constraints : 409 initial, 2547 maximal
656.88/657.16 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
656.88/657.16 c trivial : 0.00 0 0 0 0 0 0 0 0
656.88/657.16 c dualfix : 0.00 0 0 0 0 0 0 0 0
656.88/657.16 c boundshift : 0.00 0 0 0 0 0 0 0 0
656.88/657.16 c inttobinary : 0.00 0 0 0 0 0 0 0 0
656.88/657.16 c implics : 0.00 0 0 0 0 0 0 0 0
656.88/657.16 c probing : 0.03 0 0 0 0 0 0 0 0
656.88/657.16 c and : 0.07 16 112 0 0 0 112 0 112
656.88/657.16 c linear : 0.01 1 7 0 0 0 0 0 54
656.88/657.16 c logicor : 0.00 0 0 0 0 0 0 0 0
656.88/657.16 c root node : - 64 - - 64 - - - -
656.88/657.16 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
656.88/657.16 c integral : 0 0 0 0 0 0 0 0 0 0
656.88/657.16 c and : 392 0 4044286 0 1515172 45585 7408397 0 0 0
656.88/657.16 c linear : 8 0 3998699 0 1515172 273221 2923780 0 0 0
656.88/657.16 c logicor : 9+ 0 1688484 0 1515173 11703 422965 0 0 0
656.88/657.16 c countsols : 0 0 0 0 1515174 0 0 0 0 0
656.88/657.16 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
656.88/657.16 c integral : 0.00 0.00 0.00 0.00 0.00
656.88/657.16 c and : 86.07 0.00 55.42 0.00 30.65
656.88/657.16 c linear : 153.63 0.00 152.09 0.00 1.54
656.88/657.16 c logicor : 49.73 0.00 46.21 0.00 3.52
656.88/657.16 c countsols : 0.55 0.00 0.00 0.00 0.55
656.88/657.16 c Propagators : Time Calls Cutoffs DomReds
656.88/657.16 c vbounds : 2.03 2 0 0
656.88/657.16 c rootredcost : 1.97 0 0 0
656.88/657.16 c pseudoobj : 5.02 4043859 0 11445
656.88/657.16 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
656.88/657.16 c propagation : 83.37 330509 329567 3844572 56.9 29959 53.7 -
656.88/657.16 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
656.88/657.16 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
656.88/657.16 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
656.88/657.16 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
656.88/657.16 c applied globally : - - - 384356 26.8 - - -
656.88/657.16 c applied locally : - - - 6818 65.6 - - -
656.88/657.16 c Separators : Time Calls Cutoffs DomReds Cuts Conss
656.88/657.16 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
656.88/657.16 c redcost : 0.00 0 0 0 0 0
656.88/657.16 c impliedbounds : 0.00 0 0 0 0 0
656.88/657.16 c intobj : 0.00 0 0 0 0 0
656.88/657.16 c cgmip : 0.00 0 0 0 0 0
656.88/657.16 c gomory : 0.00 0 0 0 0 0
656.88/657.16 c strongcg : 0.00 0 0 0 0 0
656.88/657.16 c cmir : 0.00 0 0 0 0 0
656.88/657.16 c flowcover : 0.00 0 0 0 0 0
656.88/657.16 c clique : 0.00 0 0 0 0 0
656.88/657.16 c zerohalf : 0.00 0 0 0 0 0
656.88/657.16 c mcf : 0.00 0 0 0 0 0
656.88/657.16 c rapidlearning : 0.00 0 0 0 0 0
656.88/657.16 c Pricers : Time Calls Vars
656.88/657.16 c problem variables: 0.00 0 0
656.88/657.16 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
656.88/657.16 c relpscost : 0.00 0 0 0 0 0 0
656.88/657.16 c pscost : 0.00 0 0 0 0 0 0
656.88/657.16 c inference : 97.84 1515172 0 0 0 0 3030344
656.88/657.16 c mostinf : 0.00 0 0 0 0 0 0
656.88/657.16 c leastinf : 0.00 0 0 0 0 0 0
656.88/657.16 c fullstrong : 0.00 0 0 0 0 0 0
656.88/657.16 c allfullstrong : 0.00 0 0 0 0 0 0
656.88/657.16 c random : 0.00 0 0 0 0 0 0
656.88/657.16 c Primal Heuristics : Time Calls Found
656.88/657.16 c LP solutions : 0.00 - 0
656.88/657.16 c pseudo solutions : 0.15 - 2
656.88/657.16 c oneopt : 0.93 0 0
656.88/657.16 c trivial : 0.00 2 0
656.88/657.16 c simplerounding : 0.00 0 0
656.88/657.16 c zirounding : 0.00 0 0
656.88/657.16 c rounding : 0.00 0 0
656.88/657.16 c shifting : 0.00 0 0
656.88/657.16 c intshifting : 0.00 0 0
656.88/657.16 c twoopt : 0.00 0 0
656.88/657.16 c fixandinfer : 0.00 0 0
656.88/657.16 c feaspump : 0.00 0 0
656.88/657.16 c coefdiving : 0.00 0 0
656.88/657.16 c pscostdiving : 0.00 0 0
656.88/657.16 c fracdiving : 0.00 0 0
656.88/657.16 c veclendiving : 0.00 0 0
656.88/657.16 c intdiving : 0.00 0 0
656.88/657.16 c actconsdiving : 0.00 0 0
656.88/657.16 c objpscostdiving : 0.00 0 0
656.88/657.16 c rootsoldiving : 0.00 0 0
656.88/657.16 c linesearchdiving : 0.00 0 0
656.88/657.16 c guideddiving : 0.00 0 0
656.88/657.16 c octane : 0.00 0 0
656.88/657.16 c rens : 0.00 0 0
656.88/657.16 c rins : 0.00 0 0
656.88/657.16 c localbranching : 0.00 0 0
656.88/657.16 c mutation : 0.00 0 0
656.88/657.16 c crossover : 0.00 0 0
656.88/657.16 c dins : 0.00 0 0
656.88/657.16 c undercover : 0.00 0 0
656.88/657.16 c nlp : 1.02 0 0
656.88/657.16 c trysol : 0.81 0 0
656.88/657.16 c LP : Time Calls Iterations Iter/call Iter/sec
656.88/657.16 c primal LP : 0.00 0 0 0.00 -
656.88/657.16 c dual LP : 0.00 0 0 0.00 -
656.88/657.16 c lex dual LP : 0.00 0 0 0.00 -
656.88/657.16 c barrier LP : 0.00 0 0 0.00 -
656.88/657.16 c diving/probing LP: 0.00 0 0 0.00 -
656.88/657.16 c strong branching : 0.00 0 0 0.00 -
656.88/657.16 c (at root node) : - 0 0 0.00 -
656.88/657.16 c conflict analysis: 0.00 0 0 0.00 -
656.88/657.16 c B&B Tree :
656.88/657.16 c number of runs : 1
656.88/657.16 c nodes : 1716724
656.88/657.16 c nodes (total) : 1716724
656.88/657.16 c nodes left : 0
656.88/657.16 c max depth : 369
656.88/657.16 c max depth (total): 369
656.88/657.16 c backtracks : 137606 (8.0%)
656.88/657.16 c delayed cutoffs : 1288600
656.88/657.16 c repropagations : 354595 (1281680 domain reductions, 128959 cutoffs)
656.88/657.16 c avg switch length: 6.24
656.88/657.16 c switching time : 141.74
656.88/657.16 c Solution :
656.88/657.16 c Solutions found : 2 (2 improvements)
656.88/657.16 c First Solution : +9.00000000000000e+00 (in run 1, after 1532293 nodes, 530.77 seconds, depth 109, found by <relaxation>)
656.88/657.16 c Primal Bound : +3.00000000000000e+00 (in run 1, after 1716723 nodes, 596.78 seconds, depth 107, found by <relaxation>)
656.88/657.16 c Dual Bound : +3.00000000000000e+00
656.88/657.16 c Gap : 0.00 %
656.88/657.16 c Root Dual Bound : +1.00000000000000e+00
656.88/657.16 c Root Iterations : 0
656.98/657.23 c Time complete: 657.02.