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-2663621-1276648347.opb>
0.00/0.01 c original problem has 864 variables (864 bin, 0 int, 0 impl, 0 cont) and 665 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.19/0.20 c (round 1) 8 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 63 chg coeffs, 0 upgd conss, 3712 impls, 0 clqs
0.19/0.20 c (round 2) 26 del vars, 16 del conss, 0 chg bounds, 0 chg sides, 79 chg coeffs, 9 upgd conss, 5728 impls, 0 clqs
0.19/0.21 c (round 3) 44 del vars, 32 del conss, 0 chg bounds, 0 chg sides, 95 chg coeffs, 9 upgd conss, 7456 impls, 0 clqs
0.19/0.22 c (round 4) 62 del vars, 48 del conss, 0 chg bounds, 0 chg sides, 111 chg coeffs, 9 upgd conss, 8896 impls, 0 clqs
0.19/0.22 c (round 5) 80 del vars, 64 del conss, 0 chg bounds, 0 chg sides, 127 chg coeffs, 9 upgd conss, 10048 impls, 0 clqs
0.19/0.23 c (round 6) 98 del vars, 80 del conss, 0 chg bounds, 0 chg sides, 143 chg coeffs, 9 upgd conss, 10912 impls, 0 clqs
0.19/0.23 c (round 7) 116 del vars, 96 del conss, 0 chg bounds, 0 chg sides, 159 chg coeffs, 9 upgd conss, 11488 impls, 0 clqs
0.19/0.24 c (round 8) 134 del vars, 112 del conss, 0 chg bounds, 0 chg sides, 175 chg coeffs, 9 upgd conss, 11776 impls, 0 clqs
0.19/0.24 c (round 9) 152 del vars, 128 del conss, 0 chg bounds, 0 chg sides, 191 chg coeffs, 9 upgd conss, 11776 impls, 0 clqs
0.29/0.31 c (0.1s) probing: 222/712 (31.2%) - 0 fixings, 0 aggregations, 16 implications, 0 bound changes
0.29/0.31 c (0.1s) probing aborted: 100/100 successive totally useless probings
0.29/0.31 c presolving (10 rounds):
0.29/0.31 c 152 deleted vars, 128 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 191 changed coefficients
0.29/0.31 c 11808 implications, 0 cliques
0.29/0.31 c presolved problem has 712 variables (712 bin, 0 int, 0 impl, 0 cont) and 529 constraints
0.29/0.31 c 512 constraints of type <and>
0.29/0.31 c 8 constraints of type <linear>
0.29/0.31 c 9 constraints of type <logicor>
0.29/0.31 c transformed objective value is always integral (scale: 2)
0.29/0.31 c Presolving Time: 0.15
0.29/0.31 c - non default parameters ----------------------------------------------------------------------
0.29/0.31 c # SCIP version 1.2.1.2
0.29/0.31 c
0.29/0.31 c # frequency for displaying node information lines
0.29/0.31 c # [type: int, range: [-1,2147483647], default: 100]
0.29/0.31 c display/freq = 10000
0.29/0.31 c
0.29/0.31 c # maximal time in seconds to run
0.29/0.31 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.29/0.31 c limits/time = 1799.99
0.29/0.31 c
0.29/0.31 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.29/0.31 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.29/0.31 c limits/memory = 1620
0.29/0.31 c
0.29/0.31 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.29/0.31 c # [type: int, range: [-1,2147483647], default: 1]
0.29/0.31 c lp/solvefreq = -1
0.29/0.31 c
0.29/0.31 c # should presolving try to simplify inequalities
0.29/0.31 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.29/0.31 c constraints/linear/simplifyinequalities = TRUE
0.29/0.31 c
0.29/0.31 c # should presolving try to simplify knapsacks
0.29/0.31 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.29/0.31 c constraints/knapsack/simplifyinequalities = TRUE
0.29/0.31 c
0.29/0.31 c # frequency for calling primal heuristic <undercover> (-1: never, 0: only at depth freqofs)
0.29/0.31 c # [type: int, range: [-1,2147483647], default: -1]
0.29/0.31 c heuristics/undercover/freq = 0
0.29/0.31 c
0.29/0.31 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.29/0.31 c # [type: int, range: [-1,2147483647], default: -1]
0.29/0.31 c separating/rapidlearning/freq = 0
0.29/0.31 c
0.29/0.31 c -----------------------------------------------------------------------------------------------
0.29/0.31 c start solving
0.29/0.31 c
0.29/0.31 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.29/0.31 c 0.1s| 1 | 2 | 0 | - |2268k| 0 | - | 712 | 529 | 0 | 0 | 0 | 0 | 0 | 1.000000e+00 | -- | Inf
3.39/3.48 c 3.1s| 10000 | 8262 | 0 | 0.0 |8637k| 480 | - | 712 | 849 | 0 | 0 | 0 |1317 | 0 | 1.000000e+00 | -- | Inf
6.68/6.73 c 6.1s| 20000 | 16278 | 0 | 0.0 | 14M| 480 | - | 712 | 902 | 0 | 0 | 0 |2626 | 0 | 1.000000e+00 | -- | Inf
10.09/10.12 c 9.2s| 30000 | 23865 | 0 | 0.0 | 20M| 480 | - | 712 | 991 | 0 | 0 | 0 |4282 | 0 | 1.000000e+00 | -- | Inf
13.39/13.49 c 12.3s| 40000 | 31913 | 0 | 0.0 | 26M| 480 | - | 712 | 942 | 0 | 0 | 0 |5730 | 0 | 1.000000e+00 | -- | Inf
16.88/16.95 c 15.5s| 50000 | 39784 | 0 | 0.0 | 32M| 480 | - | 712 |1114 | 0 | 0 | 0 |7393 | 0 | 1.000000e+00 | -- | Inf
20.38/20.40 c 18.7s| 60000 | 47532 | 0 | 0.0 | 37M| 480 | - | 712 |1253 | 0 | 0 | 0 |8996 | 0 | 1.000000e+00 | -- | Inf
23.59/23.69 c 21.8s| 70000 | 55347 | 0 | 0.0 | 42M| 480 | - | 712 |1311 | 0 | 0 | 0 | 10k| 0 | 1.000000e+00 | -- | Inf
27.08/27.14 c 25.0s| 80000 | 62897 | 0 | 0.0 | 48M| 480 | - | 712 |1265 | 0 | 0 | 0 | 12k| 0 | 1.000000e+00 | -- | Inf
30.48/30.55 c 28.1s| 90000 | 70368 | 0 | 0.0 | 53M| 480 | - | 712 |1230 | 0 | 0 | 0 | 13k| 0 | 1.000000e+00 | -- | Inf
33.88/33.97 c 31.3s|100000 | 77878 | 0 | 0.0 | 59M| 480 | - | 712 |1153 | 0 | 0 | 0 | 15k| 0 | 1.000000e+00 | -- | Inf
37.98/38.07 c 35.1s|110000 | 84456 | 0 | 0.0 | 64M| 480 | - | 712 |1306 | 0 | 0 | 0 | 17k| 0 | 1.000000e+00 | -- | Inf
41.98/42.04 c 38.8s|120000 | 90982 | 0 | 0.0 | 70M| 480 | - | 712 | 964 | 0 | 0 | 0 | 19k| 0 | 1.000000e+00 | -- | Inf
45.47/45.59 c 42.1s|130000 | 98749 | 0 | 0.0 | 75M| 480 | - | 712 | 973 | 0 | 0 | 0 | 20k| 0 | 1.000000e+00 | -- | Inf
49.08/49.11 c 45.4s|140000 |106415 | 0 | 0.0 | 81M| 480 | - | 712 |1174 | 0 | 0 | 0 | 22k| 0 | 1.000000e+00 | -- | Inf
52.58/52.67 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
52.58/52.67 c 48.7s|150000 |114022 | 0 | 0.0 | 86M| 480 | - | 712 |1137 | 0 | 0 | 0 | 24k| 0 | 1.000000e+00 | -- | Inf
56.27/56.35 c 52.1s|160000 |121410 | 0 | 0.0 | 92M| 480 | - | 712 |1168 | 0 | 0 | 0 | 25k| 0 | 1.000000e+00 | -- | Inf
59.97/60.00 c 55.5s|170000 |128856 | 0 | 0.0 | 97M| 480 | - | 712 |1107 | 0 | 0 | 0 | 27k| 0 | 1.000000e+00 | -- | Inf
63.69/63.72 c 59.0s|180000 |136099 | 0 | 0.0 | 103M| 480 | - | 712 |1090 | 0 | 0 | 0 | 29k| 0 | 1.000000e+00 | -- | Inf
67.58/67.64 c 62.7s|190000 |143016 | 0 | 0.0 | 108M| 480 | - | 712 |1093 | 0 | 0 | 0 | 31k| 0 | 1.000000e+00 | -- | Inf
71.57/71.68 c 66.5s|200000 |149683 | 0 | 0.0 | 113M| 480 | - | 712 |1093 | 0 | 0 | 0 | 33k| 0 | 1.000000e+00 | -- | Inf
75.67/75.77 c 70.3s|210000 |156419 | 0 | 0.0 | 118M| 480 | - | 712 |1134 | 0 | 0 | 0 | 36k| 0 | 1.000000e+00 | -- | Inf
79.77/79.89 c 74.2s|220000 |163094 | 0 | 0.0 | 123M| 480 | - | 712 |1211 | 0 | 0 | 0 | 38k| 0 | 1.000000e+00 | -- | Inf
84.06/84.12 c 78.2s|230000 |169756 | 0 | 0.0 | 127M| 480 | - | 712 |1249 | 0 | 0 | 0 | 40k| 0 | 1.000000e+00 | -- | Inf
88.27/88.35 c 82.1s|240000 |176608 | 0 | 0.0 | 133M| 480 | - | 712 |1298 | 0 | 0 | 0 | 43k| 0 | 1.000000e+00 | -- | Inf
92.16/92.29 c 85.8s|250000 |183690 | 0 | 0.0 | 138M| 480 | - | 712 |1339 | 0 | 0 | 0 | 45k| 0 | 1.000000e+00 | -- | Inf
96.07/96.15 c 89.4s|260000 |190882 | 0 | 0.0 | 143M| 480 | - | 712 |1409 | 0 | 0 | 0 | 47k| 0 | 1.000000e+00 | -- | Inf
99.97/100.03 c 93.0s|270000 |198134 | 0 | 0.0 | 149M| 480 | - | 712 |1377 | 0 | 0 | 0 | 49k| 0 | 1.000000e+00 | -- | Inf
103.86/103.93 c 96.7s|280000 |205344 | 0 | 0.0 | 154M| 480 | - | 712 |1335 | 0 | 0 | 0 | 51k| 0 | 1.000000e+00 | -- | Inf
107.86/107.96 c 100s|290000 |212330 | 0 | 0.0 | 160M| 480 | - | 712 |1448 | 0 | 0 | 0 | 53k| 0 | 1.000000e+00 | -- | Inf
111.87/111.98 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
111.87/111.98 c 104s|300000 |219503 | 0 | 0.0 | 165M| 480 | - | 712 |1295 | 0 | 0 | 0 | 55k| 0 | 1.000000e+00 | -- | Inf
115.76/115.82 c 108s|310000 |226943 | 0 | 0.0 | 170M| 480 | - | 712 |1155 | 0 | 0 | 0 | 57k| 0 | 1.000000e+00 | -- | Inf
119.46/119.52 c 111s|320000 |234579 | 0 | 0.0 | 176M| 480 | - | 712 | 985 | 0 | 0 | 0 | 59k| 0 | 1.000000e+00 | -- | Inf
123.06/123.11 c 115s|330000 |242291 | 0 | 0.0 | 182M| 480 | - | 712 | 987 | 0 | 0 | 0 | 60k| 0 | 1.000000e+00 | -- | Inf
126.66/126.71 c 118s|340000 |250028 | 0 | 0.0 | 187M| 480 | - | 712 |1079 | 0 | 0 | 0 | 62k| 0 | 1.000000e+00 | -- | Inf
130.15/130.27 c 121s|350000 |257890 | 0 | 0.0 | 193M| 480 | - | 712 |1028 | 0 | 0 | 0 | 64k| 0 | 1.000000e+00 | -- | Inf
133.76/133.83 c 125s|360000 |265765 | 0 | 0.0 | 199M| 480 | - | 712 | 997 | 0 | 0 | 0 | 65k| 0 | 1.000000e+00 | -- | Inf
137.25/137.32 c 128s|370000 |273811 | 0 | 0.0 | 204M| 480 | - | 712 | 987 | 0 | 0 | 0 | 67k| 0 | 1.000000e+00 | -- | Inf
140.86/140.94 c 131s|380000 |281574 | 0 | 0.0 | 210M| 480 | - | 712 |1027 | 0 | 0 | 0 | 68k| 0 | 1.000000e+00 | -- | Inf
144.55/144.60 c 135s|390000 |289271 | 0 | 0.0 | 216M| 480 | - | 712 |1067 | 0 | 0 | 0 | 70k| 0 | 1.000000e+00 | -- | Inf
148.25/148.38 c 138s|400000 |296769 | 0 | 0.0 | 221M| 480 | - | 712 |1163 | 0 | 0 | 0 | 72k| 0 | 1.000000e+00 | -- | Inf
152.55/152.61 c 142s|410000 |303790 | 0 | 0.0 | 227M| 480 | - | 712 |1371 | 0 | 0 | 0 | 74k| 0 | 1.000000e+00 | -- | Inf
156.85/156.95 c 146s|420000 |310711 | 0 | 0.0 | 232M| 480 | - | 712 |1452 | 0 | 0 | 0 | 76k| 0 | 1.000000e+00 | -- | Inf
161.35/161.48 c 150s|430000 |317407 | 0 | 0.0 | 237M| 480 | - | 712 |1606 | 0 | 0 | 0 | 79k| 0 | 1.000000e+00 | -- | Inf
165.95/166.10 c 155s|440000 |324023 | 0 | 0.0 | 242M| 480 | - | 712 |1672 | 0 | 0 | 0 | 81k| 0 | 1.000000e+00 | -- | Inf
170.65/170.74 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
170.65/170.74 c 159s|450000 |330659 | 0 | 0.0 | 247M| 480 | - | 712 |1843 | 0 | 0 | 0 | 84k| 0 | 1.000000e+00 | -- | Inf
175.24/175.35 c 164s|460000 |337339 | 0 | 0.0 | 253M| 480 | - | 712 |2060 | 0 | 0 | 0 | 86k| 0 | 1.000000e+00 | -- | Inf
180.05/180.17 c 168s|470000 |343801 | 0 | 0.0 | 258M| 480 | - | 712 |2170 | 0 | 0 | 0 | 89k| 0 | 1.000000e+00 | -- | Inf
184.65/184.79 c 173s|480000 |350576 | 0 | 0.0 | 263M| 480 | - | 712 |2237 | 0 | 0 | 0 | 91k| 0 | 1.000000e+00 | -- | Inf
189.24/189.34 c 177s|490000 |357431 | 0 | 0.0 | 268M| 480 | - | 712 |2186 | 0 | 0 | 0 | 94k| 0 | 1.000000e+00 | -- | Inf
193.74/193.86 c 181s|500000 |364122 | 0 | 0.0 | 274M| 480 | - | 712 |2275 | 0 | 0 | 0 | 96k| 0 | 1.000000e+00 | -- | Inf
198.24/198.33 c 185s|510000 |370891 | 0 | 0.0 | 279M| 480 | - | 712 |2335 | 0 | 0 | 0 | 99k| 0 | 1.000000e+00 | -- | Inf
202.94/203.06 c 190s|520000 |377390 | 0 | 0.0 | 284M| 480 | - | 712 |2620 | 0 | 0 | 0 | 101k| 0 | 1.000000e+00 | -- | Inf
207.94/208.00 c 194s|530000 |383617 | 0 | 0.0 | 289M| 480 | - | 712 |2774 | 0 | 0 | 0 | 104k| 0 | 1.000000e+00 | -- | Inf
212.83/212.91 c 199s|540000 |389878 | 0 | 0.0 | 294M| 480 | - | 712 |2831 | 0 | 0 | 0 | 107k| 0 | 1.000000e+00 | -- | Inf
217.93/218.00 c 204s|550000 |395967 | 0 | 0.0 | 300M| 480 | - | 712 |2963 | 0 | 0 | 0 | 110k| 0 | 1.000000e+00 | -- | Inf
222.83/222.93 c 209s|560000 |402348 | 0 | 0.0 | 305M| 480 | - | 712 |2991 | 0 | 0 | 0 | 112k| 0 | 1.000000e+00 | -- | Inf
227.93/228.07 c 213s|570000 |408418 | 0 | 0.0 | 310M| 480 | - | 712 |3001 | 0 | 0 | 0 | 115k| 0 | 1.000000e+00 | -- | Inf
232.93/233.04 c 218s|580000 |414564 | 0 | 0.0 | 315M| 480 | - | 712 |3101 | 0 | 0 | 0 | 118k| 0 | 1.000000e+00 | -- | Inf
237.92/238.06 c 223s|590000 |420736 | 0 | 0.0 | 320M| 480 | - | 712 |3274 | 0 | 0 | 0 | 121k| 0 | 1.000000e+00 | -- | Inf
242.82/242.92 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
242.82/242.92 c 227s|600000 |427039 | 0 | 0.0 | 325M| 480 | - | 712 |3269 | 0 | 0 | 0 | 123k| 0 | 1.000000e+00 | -- | Inf
247.63/247.74 c 232s|610000 |433471 | 0 | 0.0 | 330M| 480 | - | 712 |3282 | 0 | 0 | 0 | 125k| 0 | 1.000000e+00 | -- | Inf
252.42/252.55 c 237s|620000 |439882 | 0 | 0.0 | 335M| 480 | - | 712 |3341 | 0 | 0 | 0 | 128k| 0 | 1.000000e+00 | -- | Inf
257.33/257.41 c 241s|630000 |446287 | 0 | 0.0 | 340M| 480 | - | 712 |3435 | 0 | 0 | 0 | 130k| 0 | 1.000000e+00 | -- | Inf
262.32/262.42 c 246s|640000 |452355 | 0 | 0.0 | 344M| 480 | - | 712 |3381 | 0 | 0 | 0 | 133k| 0 | 1.000000e+00 | -- | Inf
267.41/267.56 c 251s|650000 |458404 | 0 | 0.0 | 349M| 480 | - | 712 |3429 | 0 | 0 | 0 | 135k| 0 | 1.000000e+00 | -- | Inf
272.52/272.61 c 256s|660000 |464433 | 0 | 0.0 | 354M| 480 | - | 712 |3434 | 0 | 0 | 0 | 138k| 0 | 1.000000e+00 | -- | Inf
277.52/277.65 c 260s|670000 |470546 | 0 | 0.0 | 359M| 480 | - | 712 |3435 | 0 | 0 | 0 | 140k| 0 | 1.000000e+00 | -- | Inf
282.53/282.65 c 265s|680000 |476693 | 0 | 0.0 | 364M| 480 | - | 712 |3502 | 0 | 0 | 0 | 143k| 0 | 1.000000e+00 | -- | Inf
287.61/287.72 c 270s|690000 |482831 | 0 | 0.0 | 369M| 480 | - | 712 |3522 | 0 | 0 | 0 | 145k| 0 | 1.000000e+00 | -- | Inf
292.52/292.70 c 275s|700000 |489063 | 0 | 0.0 | 374M| 480 | - | 712 |3594 | 0 | 0 | 0 | 148k| 0 | 1.000000e+00 | -- | Inf
297.52/297.63 c 279s|710000 |495363 | 0 | 0.0 | 379M| 480 | - | 712 |3607 | 0 | 0 | 0 | 150k| 0 | 1.000000e+00 | -- | Inf
302.51/302.69 c 284s|720000 |501553 | 0 | 0.0 | 384M| 480 | - | 712 |3693 | 0 | 0 | 0 | 153k| 0 | 1.000000e+00 | -- | Inf
307.61/307.76 c 289s|730000 |507846 | 0 | 0.0 | 389M| 480 | - | 712 |3666 | 0 | 0 | 0 | 155k| 0 | 1.000000e+00 | -- | Inf
312.51/312.66 c 293s|740000 |514340 | 0 | 0.0 | 395M| 480 | - | 712 |3642 | 0 | 0 | 0 | 158k| 0 | 1.000000e+00 | -- | Inf
317.40/317.52 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
317.40/317.52 c 298s|750000 |521057 | 0 | 0.0 | 400M| 480 | - | 712 |3612 | 0 | 0 | 0 | 160k| 0 | 1.000000e+00 | -- | Inf
322.11/322.30 c 303s|760000 |528078 | 0 | 0.0 | 406M| 480 | - | 712 |3390 | 0 | 0 | 0 | 162k| 0 | 1.000000e+00 | -- | Inf
326.90/327.04 c 307s|770000 |534915 | 0 | 0.0 | 411M| 480 | - | 712 |3326 | 0 | 0 | 0 | 164k| 0 | 1.000000e+00 | -- | Inf
331.70/331.85 c 312s|780000 |541721 | 0 | 0.0 | 417M| 480 | - | 712 |3293 | 0 | 0 | 0 | 166k| 0 | 1.000000e+00 | -- | Inf
336.60/336.70 c 316s|790000 |548409 | 0 | 0.0 | 423M| 480 | - | 712 |3314 | 0 | 0 | 0 | 168k| 0 | 1.000000e+00 | -- | Inf
341.50/341.69 c 321s|800000 |555018 | 0 | 0.0 | 428M| 480 | - | 712 |3322 | 0 | 0 | 0 | 171k| 0 | 1.000000e+00 | -- | Inf
346.60/346.70 c 326s|810000 |561455 | 0 | 0.0 | 434M| 480 | - | 712 |3298 | 0 | 0 | 0 | 173k| 0 | 1.000000e+00 | -- | Inf
351.80/351.90 c 331s|820000 |567753 | 0 | 0.0 | 439M| 480 | - | 712 |3262 | 0 | 0 | 0 | 176k| 0 | 1.000000e+00 | -- | Inf
357.00/357.18 c 336s|830000 |573881 | 0 | 0.0 | 445M| 480 | - | 712 |3246 | 0 | 0 | 0 | 178k| 0 | 1.000000e+00 | -- | Inf
362.39/362.57 c 341s|840000 |579723 | 0 | 0.0 | 450M| 480 | - | 712 |3220 | 0 | 0 | 0 | 181k| 0 | 1.000000e+00 | -- | Inf
367.79/367.98 c 346s|850000 |585402 | 0 | 0.0 | 456M| 480 | - | 712 |3195 | 0 | 0 | 0 | 184k| 0 | 1.000000e+00 | -- | Inf
373.40/373.60 c 351s|860000 |590898 | 0 | 0.0 | 461M| 480 | - | 712 |3228 | 0 | 0 | 0 | 187k| 0 | 1.000000e+00 | -- | Inf
379.49/379.68 c 357s|870000 |596069 | 0 | 0.0 | 467M| 480 | - | 712 |3240 | 0 | 0 | 0 | 190k| 0 | 1.000000e+00 | -- | Inf
385.09/385.29 c 362s|880000 |601641 | 0 | 0.0 | 472M| 480 | - | 712 |3248 | 0 | 0 | 0 | 192k| 0 | 1.000000e+00 | -- | Inf
390.39/390.55 c 367s|890000 |607409 | 0 | 0.0 | 477M| 480 | - | 712 |3247 | 0 | 0 | 0 | 195k| 0 | 1.000000e+00 | -- | Inf
395.69/395.82 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
395.69/395.82 c 372s|900000 |613015 | 0 | 0.0 | 482M| 480 | - | 712 |3232 | 0 | 0 | 0 | 198k| 0 | 1.000000e+00 | -- | Inf
400.69/400.89 c 377s|910000 |618956 | 0 | 0.0 | 486M| 480 | - | 712 |3242 | 0 | 0 | 0 | 200k| 0 | 1.000000e+00 | -- | Inf
406.19/406.39 c 382s|920000 |624352 | 0 | 0.0 | 491M| 480 | - | 712 |3286 | 0 | 0 | 0 | 203k| 0 | 1.000000e+00 | -- | Inf
412.08/412.23 c 388s|930000 |629488 | 0 | 0.0 | 496M| 480 | - | 712 |3301 | 0 | 0 | 0 | 206k| 0 | 1.000000e+00 | -- | Inf
418.07/418.28 c 394s|940000 |634558 | 0 | 0.0 | 501M| 480 | - | 712 |3471 | 0 | 0 | 0 | 209k| 0 | 1.000000e+00 | -- | Inf
423.97/424.15 c 399s|950000 |639545 | 0 | 0.0 | 506M| 480 | - | 712 |3470 | 0 | 0 | 0 | 212k| 0 | 1.000000e+00 | -- | Inf
429.88/430.06 c 405s|960000 |644434 | 0 | 0.0 | 510M| 480 | - | 712 |3483 | 0 | 0 | 0 | 215k| 0 | 1.000000e+00 | -- | Inf
435.97/436.10 c 411s|970000 |649482 | 0 | 0.0 | 515M| 480 | - | 712 |1827 | 0 | 0 | 0 | 218k| 0 | 1.000000e+00 | -- | Inf
439.38/439.57 c 414s|980000 |657550 | 0 | 0.0 | 520M| 480 | - | 712 | 871 | 0 | 0 | 0 | 220k| 0 | 1.000000e+00 | -- | Inf
442.97/443.18 c 417s|990000 |665152 | 0 | 0.0 | 526M| 480 | - | 712 | 939 | 0 | 0 | 0 | 221k| 0 | 1.000000e+00 | -- | Inf
447.07/447.20 c 421s| 1000k|672005 | 0 | 0.0 | 531M| 480 | - | 712 |1093 | 0 | 0 | 0 | 223k| 0 | 1.000000e+00 | -- | Inf
451.17/451.32 c 425s| 1010k|678678 | 0 | 0.0 | 536M| 480 | - | 712 |1181 | 0 | 0 | 0 | 226k| 0 | 1.000000e+00 | -- | Inf
455.47/455.66 c 429s| 1020k|685284 | 0 | 0.0 | 541M| 480 | - | 712 |1409 | 0 | 0 | 0 | 228k| 0 | 1.000000e+00 | -- | Inf
459.97/460.15 c 433s| 1030k|692513 | 0 | 0.0 | 547M| 480 | - | 712 | 797 | 0 | 0 | 0 | 230k| 0 | 1.000000e+00 | -- | Inf
463.77/463.95 c 437s| 1040k|700073 | 0 | 0.0 | 552M| 480 | - | 712 |1258 | 0 | 0 | 0 | 232k| 0 | 1.000000e+00 | -- | Inf
468.07/468.22 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
468.07/468.22 c 441s| 1050k|707085 | 0 | 0.0 | 557M| 480 | - | 712 |1572 | 0 | 0 | 0 | 234k| 0 | 1.000000e+00 | -- | Inf
472.57/472.74 c 445s| 1060k|713940 | 0 | 0.0 | 562M| 480 | - | 712 |1804 | 0 | 0 | 0 | 236k| 0 | 1.000000e+00 | -- | Inf
477.06/477.23 c 449s| 1070k|720937 | 0 | 0.0 | 567M| 480 | - | 712 |1462 | 0 | 0 | 0 | 238k| 0 | 1.000000e+00 | -- | Inf
481.57/481.71 c 453s| 1080k|727923 | 0 | 0.0 | 572M| 480 | - | 712 |1569 | 0 | 0 | 0 | 240k| 0 | 1.000000e+00 | -- | Inf
485.86/486.09 c 458s| 1090k|735043 | 0 | 0.0 | 577M| 480 | - | 712 |1415 | 0 | 0 | 0 | 242k| 0 | 1.000000e+00 | -- | Inf
490.36/490.57 c 462s| 1100k|741863 | 0 | 0.0 | 581M| 480 | - | 712 |1422 | 0 | 0 | 0 | 245k| 0 | 1.000000e+00 | -- | Inf
494.77/494.98 c 466s| 1110k|748759 | 0 | 0.0 | 586M| 480 | - | 712 |1734 | 0 | 0 | 0 | 247k| 0 | 1.000000e+00 | -- | Inf
498.86/499.06 c 470s| 1120k|756167 | 0 | 0.0 | 592M| 480 | - | 712 |1198 | 0 | 0 | 0 | 248k| 0 | 1.000000e+00 | -- | Inf
503.05/503.27 c 474s| 1130k|763145 | 0 | 0.0 | 597M| 480 | - | 712 |1401 | 0 | 0 | 0 | 251k| 0 | 1.000000e+00 | -- | Inf
507.46/507.66 c 478s| 1140k|769700 | 0 | 0.0 | 601M| 480 | - | 712 |1439 | 0 | 0 | 0 | 253k| 0 | 1.000000e+00 | -- | Inf
511.76/511.91 c 482s| 1150k|776590 | 0 | 0.0 | 606M| 480 | - | 712 |1398 | 0 | 0 | 0 | 255k| 0 | 1.000000e+00 | -- | Inf
516.25/516.47 c 486s| 1160k|782828 | 0 | 0.0 | 611M| 480 | - | 712 |1536 | 0 | 0 | 0 | 257k| 0 | 1.000000e+00 | -- | Inf
520.55/520.71 c 490s| 1170k|789875 | 0 | 0.0 | 616M| 480 | - | 712 |1211 | 0 | 0 | 0 | 259k| 0 | 1.000000e+00 | -- | Inf
524.95/525.12 c 494s| 1180k|796500 | 0 | 0.0 | 621M| 480 | - | 712 |1515 | 0 | 0 | 0 | 262k| 0 | 1.000000e+00 | -- | Inf
528.96/529.16 c 498s| 1190k|803875 | 0 | 0.0 | 626M| 480 | - | 712 |1078 | 0 | 0 | 0 | 263k| 0 | 1.000000e+00 | -- | Inf
533.44/533.69 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
533.44/533.69 c 502s| 1200k|810313 | 0 | 0.0 | 631M| 480 | - | 712 |1554 | 0 | 0 | 0 | 266k| 0 | 1.000000e+00 | -- | Inf
537.75/537.96 c 506s| 1210k|817346 | 0 | 0.0 | 636M| 480 | - | 712 |1114 | 0 | 0 | 0 | 268k| 0 | 1.000000e+00 | -- | Inf
542.05/542.28 c 510s| 1220k|824195 | 0 | 0.0 | 641M| 480 | - | 712 |1330 | 0 | 0 | 0 | 270k| 0 | 1.000000e+00 | -- | Inf
546.45/546.60 c 515s| 1230k|831152 | 0 | 0.0 | 646M| 480 | - | 712 |1342 | 0 | 0 | 0 | 272k| 0 | 1.000000e+00 | -- | Inf
550.74/550.91 c 519s| 1240k|838161 | 0 | 0.0 | 651M| 480 | - | 712 |1237 | 0 | 0 | 0 | 274k| 0 | 1.000000e+00 | -- | Inf
555.25/555.43 c 523s| 1250k|844906 | 0 | 0.0 | 656M| 480 | - | 712 |1430 | 0 | 0 | 0 | 276k| 0 | 1.000000e+00 | -- | Inf
559.44/559.61 c 527s| 1260k|852082 | 0 | 0.0 | 662M| 480 | - | 712 |1261 | 0 | 0 | 0 | 278k| 0 | 1.000000e+00 | -- | Inf
563.73/563.94 c 531s| 1270k|858804 | 0 | 0.0 | 666M| 480 | - | 712 |1424 | 0 | 0 | 0 | 280k| 0 | 1.000000e+00 | -- | Inf
568.04/568.23 c 535s| 1280k|865734 | 0 | 0.0 | 671M| 480 | - | 712 |1285 | 0 | 0 | 0 | 282k| 0 | 1.000000e+00 | -- | Inf
572.44/572.62 c 539s| 1290k|872713 | 0 | 0.0 | 677M| 480 | - | 712 |1380 | 0 | 0 | 0 | 284k| 0 | 1.000000e+00 | -- | Inf
577.04/577.27 c 544s| 1300k|879351 | 0 | 0.0 | 682M| 480 | - | 712 |1473 | 0 | 0 | 0 | 287k| 0 | 1.000000e+00 | -- | Inf
581.44/581.69 c 548s| 1310k|886162 | 0 | 0.0 | 687M| 480 | - | 712 |1334 | 0 | 0 | 0 | 289k| 0 | 1.000000e+00 | -- | Inf
586.23/586.40 c 552s| 1320k|893056 | 0 | 0.0 | 692M| 480 | - | 712 |1295 | 0 | 0 | 0 | 291k| 0 | 1.000000e+00 | -- | Inf
591.24/591.44 c 557s| 1330k|899684 | 0 | 0.0 | 697M| 480 | - | 712 |1648 | 0 | 0 | 0 | 293k| 0 | 1.000000e+00 | -- | Inf
595.94/596.10 c 561s| 1340k|906276 | 0 | 0.0 | 701M| 480 | - | 712 |1463 | 0 | 0 | 0 | 295k| 0 | 1.000000e+00 | -- | Inf
600.23/600.47 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
600.23/600.47 c 565s| 1350k|913048 | 0 | 0.0 | 706M| 480 | - | 712 |1274 | 0 | 0 | 0 | 298k| 0 | 1.000000e+00 | -- | Inf
604.74/604.95 c 570s| 1360k|919659 | 0 | 0.0 | 711M| 480 | - | 712 |1446 | 0 | 0 | 0 | 300k| 0 | 1.000000e+00 | -- | Inf
609.23/609.42 c 574s| 1370k|926262 | 0 | 0.0 | 716M| 480 | - | 712 |1400 | 0 | 0 | 0 | 302k| 0 | 1.000000e+00 | -- | Inf
613.72/613.96 c 578s| 1380k|932893 | 0 | 0.0 | 721M| 480 | - | 712 |1416 | 0 | 0 | 0 | 305k| 0 | 1.000000e+00 | -- | Inf
618.23/618.45 c 582s| 1390k|939653 | 0 | 0.0 | 726M| 480 | - | 712 |1512 | 0 | 0 | 0 | 307k| 0 | 1.000000e+00 | -- | Inf
622.82/623.05 c 587s| 1400k|946110 | 0 | 0.0 | 731M| 480 | - | 712 |1585 | 0 | 0 | 0 | 309k| 0 | 1.000000e+00 | -- | Inf
627.73/627.93 c 591s| 1410k|952419 | 0 | 0.0 | 736M| 480 | - | 712 |1528 | 0 | 0 | 0 | 312k| 0 | 1.000000e+00 | -- | Inf
632.13/632.36 c 596s| 1420k|959204 | 0 | 0.0 | 740M| 480 | - | 712 |1237 | 0 | 0 | 0 | 314k| 0 | 1.000000e+00 | -- | Inf
636.72/636.99 c 600s| 1430k|965463 | 0 | 0.0 | 745M| 480 | - | 712 |1527 | 0 | 0 | 0 | 317k| 0 | 1.000000e+00 | -- | Inf
641.52/641.75 c 605s| 1440k|971766 | 0 | 0.0 | 750M| 480 | - | 712 |1643 | 0 | 0 | 0 | 319k| 0 | 1.000000e+00 | -- | Inf
646.32/646.54 c 609s| 1450k|978205 | 0 | 0.0 | 755M| 480 | - | 712 |1398 | 0 | 0 | 0 | 322k| 0 | 1.000000e+00 | -- | Inf
651.02/651.22 c 613s| 1460k|984669 | 0 | 0.0 | 759M| 480 | - | 712 |1532 | 0 | 0 | 0 | 325k| 0 | 1.000000e+00 | -- | Inf
655.72/655.95 c 618s| 1470k|990924 | 0 | 0.0 | 764M| 480 | - | 712 |1713 | 0 | 0 | 0 | 327k| 0 | 1.000000e+00 | -- | Inf
660.71/660.96 c 623s| 1480k|997104 | 0 | 0.0 | 769M| 480 | - | 712 |1648 | 0 | 0 | 0 | 330k| 0 | 1.000000e+00 | -- | Inf
665.41/665.69 c 627s| 1490k| 1003k| 0 | 0.0 | 774M| 480 | - | 712 |1385 | 0 | 0 | 0 | 332k| 0 | 1.000000e+00 | -- | Inf
670.21/670.44 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.44 c 632s| 1500k| 1009k| 0 | 0.0 | 778M| 480 | - | 712 |1665 | 0 | 0 | 0 | 335k| 0 | 1.000000e+00 | -- | Inf
675.22/675.46 c 636s| 1510k| 1016k| 0 | 0.0 | 783M| 480 | - | 712 |1865 | 0 | 0 | 0 | 338k| 0 | 1.000000e+00 | -- | Inf
680.41/680.62 c 641s| 1520k| 1022k| 0 | 0.0 | 788M| 480 | - | 712 |1608 | 0 | 0 | 0 | 341k| 0 | 1.000000e+00 | -- | Inf
685.21/685.47 c 646s| 1530k| 1028k| 0 | 0.0 | 792M| 480 | - | 712 |1571 | 0 | 0 | 0 | 343k| 0 | 1.000000e+00 | -- | Inf
690.40/690.61 c 651s| 1540k| 1034k| 0 | 0.0 | 797M| 480 | - | 712 |1886 | 0 | 0 | 0 | 346k| 0 | 1.000000e+00 | -- | Inf
695.30/695.56 c 656s| 1550k| 1040k| 0 | 0.0 | 802M| 480 | - | 712 |1799 | 0 | 0 | 0 | 349k| 0 | 1.000000e+00 | -- | Inf
700.11/700.33 c 660s| 1560k| 1047k| 0 | 0.0 | 806M| 480 | - | 712 |1605 | 0 | 0 | 0 | 351k| 0 | 1.000000e+00 | -- | Inf
705.10/705.37 c 665s| 1570k| 1053k| 0 | 0.0 | 811M| 480 | - | 712 |1801 | 0 | 0 | 0 | 354k| 0 | 1.000000e+00 | -- | Inf
710.41/710.69 c 670s| 1580k| 1059k| 0 | 0.0 | 816M| 480 | - | 712 |2074 | 0 | 0 | 0 | 357k| 0 | 1.000000e+00 | -- | Inf
715.70/715.97 c 675s| 1590k| 1065k| 0 | 0.0 | 820M| 480 | - | 712 |1913 | 0 | 0 | 0 | 360k| 0 | 1.000000e+00 | -- | Inf
720.89/721.11 c 680s| 1600k| 1071k| 0 | 0.0 | 825M| 480 | - | 712 |1803 | 0 | 0 | 0 | 363k| 0 | 1.000000e+00 | -- | Inf
726.10/726.38 c 685s| 1610k| 1078k| 0 | 0.0 | 830M| 480 | - | 712 |2288 | 0 | 0 | 0 | 366k| 0 | 1.000000e+00 | -- | Inf
731.59/731.80 c 690s| 1620k| 1084k| 0 | 0.0 | 835M| 480 | - | 712 |2152 | 0 | 0 | 0 | 368k| 0 | 1.000000e+00 | -- | Inf
736.49/736.75 c 695s| 1630k| 1090k| 0 | 0.0 | 839M| 480 | - | 712 |1936 | 0 | 0 | 0 | 371k| 0 | 1.000000e+00 | -- | Inf
741.69/741.95 c 700s| 1640k| 1097k| 0 | 0.0 | 844M| 480 | - | 712 |2208 | 0 | 0 | 0 | 374k| 0 | 1.000000e+00 | -- | Inf
747.19/747.41 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
747.19/747.41 c 705s| 1650k| 1103k| 0 | 0.0 | 849M| 480 | - | 712 |2335 | 0 | 0 | 0 | 376k| 0 | 1.000000e+00 | -- | Inf
752.20/752.49 c 710s| 1660k| 1109k| 0 | 0.0 | 854M| 480 | - | 712 |1870 | 0 | 0 | 0 | 379k| 0 | 1.000000e+00 | -- | Inf
757.38/757.63 c 715s| 1670k| 1116k| 0 | 0.0 | 858M| 480 | - | 712 |2259 | 0 | 0 | 0 | 382k| 0 | 1.000000e+00 | -- | Inf
762.99/763.26 c 720s| 1680k| 1122k| 0 | 0.0 | 863M| 480 | - | 712 |2548 | 0 | 0 | 0 | 385k| 0 | 1.000000e+00 | -- | Inf
768.18/768.45 c 725s| 1690k| 1128k| 0 | 0.0 | 868M| 480 | - | 712 |2117 | 0 | 0 | 0 | 387k| 0 | 1.000000e+00 | -- | Inf
772.68/772.96 c 729s| 1700k| 1135k| 0 | 0.0 | 873M| 480 | - | 712 |1873 | 0 | 0 | 0 | 390k| 0 | 1.000000e+00 | -- | Inf
777.58/777.86 c 734s| 1710k| 1142k| 0 | 0.0 | 878M| 480 | - | 712 |2237 | 0 | 0 | 0 | 392k| 0 | 1.000000e+00 | -- | Inf
782.38/782.63 c 738s| 1720k| 1149k| 0 | 0.0 | 884M| 480 | - | 712 |2221 | 0 | 0 | 0 | 394k| 0 | 1.000000e+00 | -- | Inf
786.68/787.00 c 742s| 1730k| 1156k| 0 | 0.0 | 889M| 480 | - | 712 |1656 | 0 | 0 | 0 | 396k| 0 | 1.000000e+00 | -- | Inf
791.38/791.60 c 747s| 1740k| 1163k| 0 | 0.0 | 894M| 480 | - | 712 |2038 | 0 | 0 | 0 | 399k| 0 | 1.000000e+00 | -- | Inf
796.28/796.51 c 751s| 1750k| 1169k| 0 | 0.0 | 899M| 480 | - | 712 |2376 | 0 | 0 | 0 | 401k| 0 | 1.000000e+00 | -- | Inf
801.18/801.46 c 756s| 1760k| 1176k| 0 | 0.0 | 904M| 480 | - | 712 |1948 | 0 | 0 | 0 | 404k| 0 | 1.000000e+00 | -- | Inf
805.78/806.00 c 760s| 1770k| 1183k| 0 | 0.0 | 909M| 480 | - | 712 |1847 | 0 | 0 | 0 | 406k| 0 | 1.000000e+00 | -- | Inf
810.98/811.26 c 765s| 1780k| 1190k| 0 | 0.0 | 914M| 480 | - | 712 |2464 | 0 | 0 | 0 | 409k| 0 | 1.000000e+00 | -- | Inf
816.47/816.77 c 771s| 1790k| 1196k| 0 | 0.0 | 919M| 480 | - | 712 |2496 | 0 | 0 | 0 | 412k| 0 | 1.000000e+00 | -- | Inf
821.57/821.89 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
821.57/821.89 c 776s| 1800k| 1203k| 0 | 0.0 | 924M| 480 | - | 712 |2203 | 0 | 0 | 0 | 414k| 0 | 1.000000e+00 | -- | Inf
826.77/827.07 c 780s| 1810k| 1209k| 0 | 0.0 | 929M| 480 | - | 712 |2627 | 0 | 0 | 0 | 417k| 0 | 1.000000e+00 | -- | Inf
832.38/832.63 c 786s| 1820k| 1216k| 0 | 0.0 | 934M| 480 | - | 712 |2709 | 0 | 0 | 0 | 419k| 0 | 1.000000e+00 | -- | Inf
837.46/837.77 c 791s| 1830k| 1223k| 0 | 0.0 | 939M| 480 | - | 712 |2374 | 0 | 0 | 0 | 422k| 0 | 1.000000e+00 | -- | Inf
842.46/842.73 c 795s| 1840k| 1230k| 0 | 0.0 | 944M| 480 | - | 712 |2003 | 0 | 0 | 0 | 424k| 0 | 1.000000e+00 | -- | Inf
847.67/847.90 c 800s| 1850k| 1236k| 0 | 0.0 | 949M| 480 | - | 712 |2711 | 0 | 0 | 0 | 427k| 0 | 1.000000e+00 | -- | Inf
852.76/853.01 c 805s| 1860k| 1243k| 0 | 0.0 | 954M| 480 | - | 712 |2530 | 0 | 0 | 0 | 430k| 0 | 1.000000e+00 | -- | Inf
857.16/857.47 c 809s| 1870k| 1250k| 0 | 0.0 | 959M| 480 | - | 712 |1813 | 0 | 0 | 0 | 432k| 0 | 1.000000e+00 | -- | Inf
861.76/862.07 c 814s| 1880k| 1257k| 0 | 0.0 | 965M| 480 | - | 712 |2111 | 0 | 0 | 0 | 434k| 0 | 1.000000e+00 | -- | Inf
866.96/867.27 c 819s| 1890k| 1264k| 0 | 0.0 | 970M| 480 | - | 712 |2421 | 0 | 0 | 0 | 437k| 0 | 1.000000e+00 | -- | Inf
871.76/872.07 c 823s| 1900k| 1271k| 0 | 0.0 | 975M| 480 | - | 712 |2101 | 0 | 0 | 0 | 439k| 0 | 1.000000e+00 | -- | Inf
876.25/876.51 c 827s| 1910k| 1278k| 0 | 0.0 | 980M| 480 | - | 712 |1625 | 0 | 0 | 0 | 441k| 0 | 1.000000e+00 | -- | Inf
881.26/881.56 c 832s| 1920k| 1285k| 0 | 0.0 | 985M| 480 | - | 712 |2442 | 0 | 0 | 0 | 444k| 0 | 1.000000e+00 | -- | Inf
886.85/887.17 c 838s| 1930k| 1291k| 0 | 0.0 | 990M| 480 | - | 712 |2402 | 0 | 0 | 0 | 447k| 0 | 1.000000e+00 | -- | Inf
891.55/891.87 c 842s| 1940k| 1298k| 0 | 0.0 | 995M| 480 | - | 712 |1988 | 0 | 0 | 0 | 449k| 0 | 1.000000e+00 | -- | Inf
896.25/896.57 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
896.25/896.57 c 846s| 1950k| 1305k| 0 | 0.0 |1000M| 480 | - | 712 |2104 | 0 | 0 | 0 | 451k| 0 | 1.000000e+00 | -- | Inf
901.85/902.17 c 852s| 1960k| 1312k| 0 | 0.0 |1005M| 480 | - | 712 |2616 | 0 | 0 | 0 | 454k| 0 | 1.000000e+00 | -- | Inf
906.75/907.10 c 856s| 1970k| 1318k| 0 | 0.0 |1010M| 480 | - | 712 |2120 | 0 | 0 | 0 | 457k| 0 | 1.000000e+00 | -- | Inf
911.24/911.52 c 861s| 1980k| 1326k| 0 | 0.0 |1015M| 480 | - | 712 |1799 | 0 | 0 | 0 | 459k| 0 | 1.000000e+00 | -- | Inf
915.25/915.58 c 864s| 1990k| 1333k| 0 | 0.0 |1021M| 480 | - | 712 |1860 | 0 | 0 | 0 | 461k| 0 | 1.000000e+00 | -- | Inf
920.35/920.61 c 869s| 2000k| 1340k| 0 | 0.0 |1026M| 480 | - | 712 |2309 | 0 | 0 | 0 | 464k| 0 | 1.000000e+00 | -- | Inf
925.04/925.30 c 874s| 2010k| 1347k| 0 | 0.0 |1031M| 480 | - | 712 |1929 | 0 | 0 | 0 | 467k| 0 | 1.000000e+00 | -- | Inf
929.34/929.68 c 878s| 2020k| 1354k| 0 | 0.0 |1036M| 480 | - | 712 |1796 | 0 | 0 | 0 | 469k| 0 | 1.000000e+00 | -- | Inf
933.74/934.09 c 882s| 2030k| 1361k| 0 | 0.0 |1042M| 480 | - | 712 |1854 | 0 | 0 | 0 | 471k| 0 | 1.000000e+00 | -- | Inf
938.54/938.85 c 886s| 2040k| 1368k| 0 | 0.0 |1047M| 480 | - | 712 |2238 | 0 | 0 | 0 | 474k| 0 | 1.000000e+00 | -- | Inf
943.34/943.60 c 891s| 2050k| 1374k| 0 | 0.0 |1052M| 480 | - | 712 |1839 | 0 | 0 | 0 | 476k| 0 | 1.000000e+00 | -- | Inf
947.85/948.17 c 895s| 2060k| 1381k| 0 | 0.0 |1057M| 480 | - | 712 |1799 | 0 | 0 | 0 | 479k| 0 | 1.000000e+00 | -- | Inf
952.94/953.28 c 900s| 2070k| 1388k| 0 | 0.0 |1062M| 480 | - | 712 |2065 | 0 | 0 | 0 | 481k| 0 | 1.000000e+00 | -- | Inf
957.84/958.11 c 905s| 2080k| 1394k| 0 | 0.0 |1067M| 480 | - | 712 |1842 | 0 | 0 | 0 | 484k| 0 | 1.000000e+00 | -- | Inf
962.43/962.73 c 909s| 2090k| 1401k| 0 | 0.0 |1072M| 480 | - | 712 |1564 | 0 | 0 | 0 | 486k| 0 | 1.000000e+00 | -- | Inf
967.03/967.38 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
967.03/967.38 c 913s| 2100k| 1408k| 0 | 0.0 |1077M| 480 | - | 712 |1933 | 0 | 0 | 0 | 489k| 0 | 1.000000e+00 | -- | Inf
971.73/972.09 c 918s| 2110k| 1415k| 0 | 0.0 |1082M| 480 | - | 712 |1935 | 0 | 0 | 0 | 491k| 0 | 1.000000e+00 | -- | Inf
976.44/976.77 c 922s| 2120k| 1422k| 0 | 0.0 |1087M| 480 | - | 712 |1636 | 0 | 0 | 0 | 494k| 0 | 1.000000e+00 | -- | Inf
980.94/981.27 c 926s| 2130k| 1429k| 0 | 0.0 |1093M| 480 | - | 712 |1734 | 0 | 0 | 0 | 496k| 0 | 1.000000e+00 | -- | Inf
985.73/986.06 c 931s| 2140k| 1435k| 0 | 0.0 |1098M| 480 | - | 712 |1815 | 0 | 0 | 0 | 499k| 0 | 1.000000e+00 | -- | Inf
990.52/990.84 c 936s| 2150k| 1442k| 0 | 0.0 |1103M| 480 | - | 712 |1898 | 0 | 0 | 0 | 501k| 0 | 1.000000e+00 | -- | Inf
995.02/995.39 c 940s| 2160k| 1449k| 0 | 0.0 |1108M| 480 | - | 712 |1652 | 0 | 0 | 0 | 504k| 0 | 1.000000e+00 | -- | Inf
1000.03/1000.35 c 945s| 2170k| 1456k| 0 | 0.0 |1114M| 480 | - | 712 |2042 | 0 | 0 | 0 | 507k| 0 | 1.000000e+00 | -- | Inf
1004.82/1005.16 c 949s| 2180k| 1463k| 0 | 0.0 |1118M| 480 | - | 712 |1882 | 0 | 0 | 0 | 509k| 0 | 1.000000e+00 | -- | Inf
1009.62/1009.97 c 954s| 2190k| 1469k| 0 | 0.0 |1124M| 480 | - | 712 |1685 | 0 | 0 | 0 | 512k| 0 | 1.000000e+00 | -- | Inf
1014.52/1014.86 c 958s| 2200k| 1476k| 0 | 0.0 |1129M| 480 | - | 712 |1919 | 0 | 0 | 0 | 514k| 0 | 1.000000e+00 | -- | Inf
1019.43/1019.77 c 963s| 2210k| 1483k| 0 | 0.0 |1134M| 480 | - | 712 |1819 | 0 | 0 | 0 | 517k| 0 | 1.000000e+00 | -- | Inf
1024.31/1024.65 c 968s| 2220k| 1490k| 0 | 0.0 |1139M| 480 | - | 712 |1887 | 0 | 0 | 0 | 519k| 0 | 1.000000e+00 | -- | Inf
1029.11/1029.46 c 972s| 2230k| 1497k| 0 | 0.0 |1144M| 480 | - | 712 |1762 | 0 | 0 | 0 | 521k| 0 | 1.000000e+00 | -- | Inf
1034.72/1035.02 c 977s| 2240k| 1503k| 0 | 0.0 |1149M| 480 | - | 712 |1734 | 0 | 0 | 0 | 524k| 0 | 1.000000e+00 | -- | Inf
1039.51/1039.84 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1039.51/1039.84 c 982s| 2250k| 1510k| 0 | 0.0 |1154M| 480 | - | 712 |1807 | 0 | 0 | 0 | 527k| 0 | 1.000000e+00 | -- | Inf
1044.21/1044.53 c 986s| 2260k| 1517k| 0 | 0.0 |1159M| 480 | - | 712 |1435 | 0 | 0 | 0 | 529k| 0 | 1.000000e+00 | -- | Inf
1049.31/1049.62 c 991s| 2270k| 1523k| 0 | 0.0 |1164M| 480 | - | 712 |1740 | 0 | 0 | 0 | 532k| 0 | 1.000000e+00 | -- | Inf
1054.21/1054.55 c 996s| 2280k| 1530k| 0 | 0.0 |1169M| 480 | - | 712 |1721 | 0 | 0 | 0 | 535k| 0 | 1.000000e+00 | -- | Inf
1058.81/1059.11 c 1000s| 2290k| 1537k| 0 | 0.0 |1174M| 480 | - | 712 |1332 | 0 | 0 | 0 | 537k| 0 | 1.000000e+00 | -- | Inf
1063.70/1064.07 c 1005s| 2300k| 1543k| 0 | 0.0 |1179M| 480 | - | 712 |1709 | 0 | 0 | 0 | 540k| 0 | 1.000000e+00 | -- | Inf
1068.81/1069.14 c 1010s| 2310k| 1550k| 0 | 0.0 |1184M| 480 | - | 712 |1564 | 0 | 0 | 0 | 543k| 0 | 1.000000e+00 | -- | Inf
1073.40/1073.74 c 1014s| 2320k| 1556k| 0 | 0.0 |1189M| 480 | - | 712 |1485 | 0 | 0 | 0 | 545k| 0 | 1.000000e+00 | -- | Inf
1078.40/1078.72 c 1019s| 2330k| 1563k| 0 | 0.0 |1194M| 480 | - | 712 |1463 | 0 | 0 | 0 | 548k| 0 | 1.000000e+00 | -- | Inf
1083.40/1083.78 c 1024s| 2340k| 1570k| 0 | 0.0 |1199M| 480 | - | 712 |1440 | 0 | 0 | 0 | 551k| 0 | 1.000000e+00 | -- | Inf
1088.19/1088.59 c 1028s| 2350k| 1577k| 0 | 0.0 |1204M| 480 | - | 712 |1416 | 0 | 0 | 0 | 553k| 0 | 1.000000e+00 | -- | Inf
1093.29/1093.69 c 1033s| 2360k| 1583k| 0 | 0.0 |1209M| 480 | - | 712 |1462 | 0 | 0 | 0 | 555k| 0 | 1.000000e+00 | -- | Inf
1098.40/1098.72 c 1038s| 2370k| 1590k| 0 | 0.0 |1214M| 480 | - | 712 |1375 | 0 | 0 | 0 | 558k| 0 | 1.000000e+00 | -- | Inf
1102.90/1103.25 c 1042s| 2380k| 1597k| 0 | 0.0 |1219M| 480 | - | 712 |1375 | 0 | 0 | 0 | 560k| 0 | 1.000000e+00 | -- | Inf
1108.29/1108.62 c 1047s| 2390k| 1604k| 0 | 0.0 |1224M| 480 | - | 712 |1494 | 0 | 0 | 0 | 563k| 0 | 1.000000e+00 | -- | Inf
1113.09/1113.49 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1113.09/1113.49 c 1052s| 2400k| 1611k| 0 | 0.0 |1229M| 480 | - | 712 |1308 | 0 | 0 | 0 | 565k| 0 | 1.000000e+00 | -- | Inf
1117.49/1117.84 c 1056s| 2410k| 1618k| 0 | 0.0 |1235M| 480 | - | 712 |1144 | 0 | 0 | 0 | 567k| 0 | 1.000000e+00 | -- | Inf
1122.99/1123.32 c 1061s| 2420k| 1625k| 0 | 0.0 |1239M| 480 | - | 712 |1398 | 0 | 0 | 0 | 570k| 0 | 1.000000e+00 | -- | Inf
1127.78/1128.14 c 1066s| 2430k| 1631k| 0 | 0.0 |1245M| 480 | - | 712 |1243 | 0 | 0 | 0 | 572k| 0 | 1.000000e+00 | -- | Inf
1132.29/1132.60 c 1070s| 2440k| 1639k| 0 | 0.0 |1250M| 480 | - | 712 |1226 | 0 | 0 | 0 | 574k| 0 | 1.000000e+00 | -- | Inf
1137.28/1137.64 c 1075s| 2450k| 1645k| 0 | 0.0 |1255M| 480 | - | 712 |1564 | 0 | 0 | 0 | 577k| 0 | 1.000000e+00 | -- | Inf
1141.68/1142.08 c 1079s| 2460k| 1652k| 0 | 0.0 |1260M| 480 | - | 712 |1266 | 0 | 0 | 0 | 579k| 0 | 1.000000e+00 | -- | Inf
1145.89/1146.21 c 1083s| 2470k| 1660k| 0 | 0.0 |1266M| 480 | - | 712 | 942 | 0 | 0 | 0 | 581k| 0 | 1.000000e+00 | -- | Inf
1151.08/1151.44 c 1088s| 2480k| 1667k| 0 | 0.0 |1271M| 480 | - | 712 |1541 | 0 | 0 | 0 | 583k| 0 | 1.000000e+00 | -- | Inf
1155.69/1156.10 c 1092s| 2490k| 1674k| 0 | 0.0 |1276M| 480 | - | 712 |1375 | 0 | 0 | 0 | 585k| 0 | 1.000000e+00 | -- | Inf
1159.78/1160.14 c 1096s| 2500k| 1681k| 0 | 0.0 |1282M| 480 | - | 712 |1127 | 0 | 0 | 0 | 587k| 0 | 1.000000e+00 | -- | Inf
1164.58/1164.96 c 1100s| 2510k| 1688k| 0 | 0.0 |1287M| 480 | - | 712 |1376 | 0 | 0 | 0 | 589k| 0 | 1.000000e+00 | -- | Inf
1169.37/1169.77 c 1105s| 2520k| 1695k| 0 | 0.0 |1292M| 480 | - | 712 |1331 | 0 | 0 | 0 | 592k| 0 | 1.000000e+00 | -- | Inf
1173.57/1173.98 c 1109s| 2530k| 1703k| 0 | 0.0 |1297M| 480 | - | 712 |1111 | 0 | 0 | 0 | 594k| 0 | 1.000000e+00 | -- | Inf
1178.18/1178.51 c 1113s| 2540k| 1710k| 0 | 0.0 |1302M| 480 | - | 712 |1116 | 0 | 0 | 0 | 596k| 0 | 1.000000e+00 | -- | Inf
1182.98/1183.33 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1182.98/1183.33 c 1118s| 2550k| 1717k| 0 | 0.0 |1307M| 480 | - | 712 |1282 | 0 | 0 | 0 | 598k| 0 | 1.000000e+00 | -- | Inf
1187.17/1187.56 c 1122s| 2560k| 1724k| 0 | 0.0 |1313M| 480 | - | 712 |1204 | 0 | 0 | 0 | 600k| 0 | 1.000000e+00 | -- | Inf
1191.27/1191.64 c 1126s| 2570k| 1732k| 0 | 0.0 |1318M| 480 | - | 712 |1020 | 0 | 0 | 0 | 602k| 0 | 1.000000e+00 | -- | Inf
1196.27/1196.63 c 1130s| 2580k| 1739k| 0 | 0.0 |1323M| 480 | - | 712 |1465 | 0 | 0 | 0 | 604k| 0 | 1.000000e+00 | -- | Inf
1200.67/1201.06 c 1135s| 2590k| 1746k| 0 | 0.0 |1329M| 480 | - | 712 |1200 | 0 | 0 | 0 | 606k| 0 | 1.000000e+00 | -- | Inf
1204.87/1205.21 c 1138s| 2600k| 1753k| 0 | 0.0 |1334M| 480 | - | 712 |1079 | 0 | 0 | 0 | 608k| 0 | 1.000000e+00 | -- | Inf
1209.36/1209.71 c 1143s| 2610k| 1761k| 0 | 0.0 |1339M| 480 | - | 712 |1196 | 0 | 0 | 0 | 610k| 0 | 1.000000e+00 | -- | Inf
1214.26/1214.61 c 1147s| 2620k| 1768k| 0 | 0.0 |1344M| 480 | - | 712 |1408 | 0 | 0 | 0 | 613k| 0 | 1.000000e+00 | -- | Inf
1218.67/1219.05 c 1152s| 2630k| 1775k| 0 | 0.0 |1350M| 480 | - | 712 |1137 | 0 | 0 | 0 | 615k| 0 | 1.000000e+00 | -- | Inf
1222.87/1223.24 c 1155s| 2640k| 1783k| 0 | 0.0 |1355M| 480 | - | 712 |1095 | 0 | 0 | 0 | 616k| 0 | 1.000000e+00 | -- | Inf
1225.36/1225.73 c (node 2646015) switching to memory saving mode (mem: 1296.0M/1620.0M)
1226.46/1226.81 o 481
1226.46/1226.81 c *1159s| 2646k| 1787k| 0 | 0.0 |1359M| 480 | - | 712 |1884 | 0 | 0 | 0 | 618k| 0 | 1.000000e+00 | 4.810000e+02 | Large
1226.56/1226.93 o 417
1226.56/1226.93 c *1159s| 2646k| 1787k| 0 | 0.0 |1359M| 480 | - | 712 |2123 | 0 | 0 | 0 | 618k| 0 | 1.000000e+00 | 4.170000e+02 | Large
1228.16/1228.52 o 257
1228.16/1228.52 c *1160s| 2647k| 1787k| 0 | 0.0 |1359M| 480 | - | 712 |1552 | 0 | 0 | 0 | 620k| 0 | 1.000000e+00 | 2.570000e+02 | Large
1228.96/1229.34 o 5
1228.96/1229.34 c *1161s| 2648k| 1784k| 0 | 0.0 |1357M| 480 | - | 712 |1660 | 0 | 0 | 0 | 620k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
1231.06/1231.43 c 1163s| 2650k| 1784k| 0 | 0.0 |1357M| 480 | - | 712 |1749 | 0 | 0 | 0 | 621k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
1237.06/1237.41 o 3
1237.06/1237.41 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1237.06/1237.41 c *1169s| 2653k| 1741k| 0 | 0.0 |1325M| 480 | - | 712 |1718 | 0 | 0 | 0 | 623k| 0 | 1.000000e+00 | 3.000000e+00 | 200.00%
1249.75/1250.18 c (node 2653290) switching to standard mode (mem: 648.0M/1620.0M)
1449.10/1449.53 c
1449.10/1449.53 c SCIP Status : problem is solved [optimal solution found]
1449.10/1449.53 c Solving Time (sec) : 1378.59
1449.10/1449.53 c Solving Nodes : 2653290
1449.10/1449.53 c Primal Bound : +3.00000000000000e+00 (5 solutions)
1449.10/1449.53 c Dual Bound : +3.00000000000000e+00
1449.10/1449.53 c Gap : 0.00 %
1449.10/1449.53 s OPTIMUM FOUND
1449.10/1449.53 v -x216 -x215 -x214 -x213 -x212 -x211 -x210 -x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 x199 -x144 -x143 -x142 -x141
1449.10/1449.53 v -x140 -x139 -x138 -x137 x136 -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x135 -x134 -x133 x132 x131 x130 -x129
1449.10/1449.53 v -x128 x127 -x189 x188 -x187 -x186 -x185 -x184 -x183 -x182 x181 -x126 -x125 -x124 -x123 -x122 -x121 -x120 -x119 x118 -x180 -x179
1449.10/1449.53 v -x178 -x177 -x176 -x175 -x174 -x173 -x172 x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 x109 -x171 -x170 -x169 -x168 x167
1449.10/1449.53 v -x166 x165 -x164 -x163 -x108 -x107 -x106 -x105 -x104 -x103 -x102 -x101 x100 -x162 -x161 -x160 -x159 -x158 x157 x156 x155 -x154
1449.10/1449.53 v -x99 -x98 x97 -x96 -x95 x94 x93 -x92 x91 -x153 -x152 -x151 -x150 -x149 -x148 -x147 -x146 -x145 x90 x89 x88 x87 -x86 -x85
1449.10/1449.53 v -x84 x83 x82 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
1449.10/1449.53 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
1449.10/1449.53 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 -x4 -x3
1449.10/1449.53 v x2 x1
1449.10/1449.53 c SCIP Status : problem is solved [optimal solution found]
1449.10/1449.53 c Solving Time : 1378.59
1449.10/1449.53 c Original Problem :
1449.10/1449.53 c Problem name : HOME/instance-2663621-1276648347.opb
1449.10/1449.53 c Variables : 864 (864 binary, 0 integer, 0 implicit integer, 0 continuous)
1449.10/1449.53 c Constraints : 665 initial, 665 maximal
1449.10/1449.53 c Presolved Problem :
1449.10/1449.53 c Problem name : t_HOME/instance-2663621-1276648347.opb
1449.10/1449.53 c Variables : 712 (712 binary, 0 integer, 0 implicit integer, 0 continuous)
1449.10/1449.53 c Constraints : 529 initial, 3724 maximal
1449.10/1449.53 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1449.10/1449.53 c trivial : 0.00 0 0 0 0 0 0 0 0
1449.10/1449.53 c dualfix : 0.00 0 0 0 0 0 0 0 0
1449.10/1449.53 c boundshift : 0.00 0 0 0 0 0 0 0 0
1449.10/1449.53 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1449.10/1449.53 c implics : 0.00 0 0 0 0 0 0 0 0
1449.10/1449.53 c probing : 0.03 0 0 0 0 0 0 0 0
1449.10/1449.53 c and : 0.10 16 128 0 0 0 128 0 128
1449.10/1449.53 c linear : 0.01 1 7 0 0 0 0 0 63
1449.10/1449.53 c logicor : 0.00 0 0 0 0 0 0 0 0
1449.10/1449.53 c root node : - 81 - - 81 - - - -
1449.10/1449.53 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1449.10/1449.53 c integral : 0 0 0 0 0 0 0 0 0 0
1449.10/1449.53 c and : 512 0 6263491 0 2336361 78491 12715918 0 0 0
1449.10/1449.53 c linear : 8 0 6184999 0 2336361 423235 4693325 0 0 0
1449.10/1449.53 c logicor : 9+ 0 2466508 0 2335701 17144 644030 0 0 0
1449.10/1449.53 c countsols : 0 0 0 0 2336366 0 0 0 0 0
1449.10/1449.53 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1449.10/1449.53 c integral : 0.00 0.00 0.00 0.00 0.00
1449.10/1449.53 c and : 184.73 0.00 119.61 0.00 65.12
1449.10/1449.53 c linear : 338.79 0.00 336.29 0.00 2.50
1449.10/1449.53 c logicor : 81.57 0.00 75.90 0.00 5.67
1449.10/1449.53 c countsols : 0.93 0.00 0.00 0.00 0.93
1449.10/1449.53 c Propagators : Time Calls Cutoffs DomReds
1449.10/1449.53 c vbounds : 2.86 2 0 0
1449.10/1449.53 c rootredcost : 2.87 0 0 0
1449.10/1449.53 c pseudoobj : 8.46 6263076 34 196
1449.10/1449.53 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1449.10/1449.53 c propagation : 214.96 518904 517262 7289272 77.5 45113 67.8 -
1449.10/1449.53 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1449.10/1449.53 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1449.10/1449.53 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1449.10/1449.54 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1449.10/1449.54 c applied globally : - - - 569213 33.2 - - -
1449.10/1449.54 c applied locally : - - - 54612 85.6 - - -
1449.10/1449.54 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1449.10/1449.54 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1449.10/1449.54 c redcost : 0.00 0 0 0 0 0
1449.10/1449.54 c impliedbounds : 0.00 0 0 0 0 0
1449.10/1449.54 c intobj : 0.00 0 0 0 0 0
1449.10/1449.54 c cgmip : 0.00 0 0 0 0 0
1449.10/1449.54 c gomory : 0.00 0 0 0 0 0
1449.10/1449.54 c strongcg : 0.00 0 0 0 0 0
1449.10/1449.54 c cmir : 0.00 0 0 0 0 0
1449.10/1449.54 c flowcover : 0.00 0 0 0 0 0
1449.10/1449.54 c clique : 0.00 0 0 0 0 0
1449.10/1449.54 c zerohalf : 0.00 0 0 0 0 0
1449.10/1449.54 c mcf : 0.00 0 0 0 0 0
1449.10/1449.54 c rapidlearning : 0.00 0 0 0 0 0
1449.10/1449.54 c Pricers : Time Calls Vars
1449.10/1449.54 c problem variables: 0.00 0 0
1449.10/1449.54 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1449.10/1449.54 c relpscost : 0.00 0 0 0 0 0 0
1449.10/1449.54 c pscost : 0.00 0 0 0 0 0 0
1449.10/1449.54 c inference : 196.26 2336361 0 0 0 0 4672722
1449.10/1449.54 c mostinf : 0.00 0 0 0 0 0 0
1449.10/1449.54 c leastinf : 0.00 0 0 0 0 0 0
1449.10/1449.54 c fullstrong : 0.00 0 0 0 0 0 0
1449.10/1449.54 c allfullstrong : 0.00 0 0 0 0 0 0
1449.10/1449.54 c random : 0.00 0 0 0 0 0 0
1449.10/1449.54 c Primal Heuristics : Time Calls Found
1449.10/1449.54 c LP solutions : 0.00 - 0
1449.10/1449.54 c pseudo solutions : 0.48 - 5
1449.10/1449.54 c oneopt : 1.28 0 0
1449.10/1449.54 c trivial : 0.00 2 0
1449.10/1449.54 c simplerounding : 0.00 0 0
1449.10/1449.54 c zirounding : 0.00 0 0
1449.10/1449.54 c rounding : 0.00 0 0
1449.10/1449.54 c shifting : 0.00 0 0
1449.10/1449.54 c intshifting : 0.00 0 0
1449.10/1449.54 c twoopt : 0.00 0 0
1449.10/1449.54 c fixandinfer : 0.00 0 0
1449.10/1449.54 c feaspump : 0.00 0 0
1449.10/1449.54 c coefdiving : 0.00 0 0
1449.10/1449.54 c pscostdiving : 0.00 0 0
1449.10/1449.54 c fracdiving : 0.00 0 0
1449.10/1449.54 c veclendiving : 0.00 0 0
1449.10/1449.54 c intdiving : 0.00 0 0
1449.10/1449.54 c actconsdiving : 0.00 0 0
1449.10/1449.54 c objpscostdiving : 0.00 0 0
1449.10/1449.54 c rootsoldiving : 0.00 0 0
1449.10/1449.54 c linesearchdiving : 0.00 0 0
1449.10/1449.54 c guideddiving : 0.00 0 0
1449.10/1449.54 c octane : 0.00 0 0
1449.10/1449.54 c rens : 0.00 0 0
1449.10/1449.54 c rins : 0.00 0 0
1449.10/1449.54 c localbranching : 0.00 0 0
1449.10/1449.54 c mutation : 0.00 0 0
1449.10/1449.54 c crossover : 0.00 0 0
1449.10/1449.54 c dins : 0.00 0 0
1449.10/1449.54 c undercover : 0.00 0 0
1449.10/1449.54 c nlp : 1.45 0 0
1449.10/1449.54 c trysol : 1.05 0 0
1449.10/1449.54 c LP : Time Calls Iterations Iter/call Iter/sec
1449.10/1449.54 c primal LP : 0.00 0 0 0.00 -
1449.10/1449.54 c dual LP : 0.00 0 0 0.00 -
1449.10/1449.54 c lex dual LP : 0.00 0 0 0.00 -
1449.10/1449.54 c barrier LP : 0.00 0 0 0.00 -
1449.10/1449.54 c diving/probing LP: 0.00 0 0 0.00 -
1449.10/1449.54 c strong branching : 0.00 0 0 0.00 -
1449.10/1449.54 c (at root node) : - 0 0 0.00 -
1449.10/1449.54 c conflict analysis: 0.00 0 0 0.00 -
1449.10/1449.54 c B&B Tree :
1449.10/1449.54 c number of runs : 1
1449.10/1449.54 c nodes : 2653290
1449.10/1449.54 c nodes (total) : 2653290
1449.10/1449.54 c nodes left : 0
1449.10/1449.54 c max depth : 480
1449.10/1449.54 c max depth (total): 480
1449.10/1449.54 c backtracks : 213645 (8.1%)
1449.10/1449.54 c delayed cutoffs : 1973426
1449.10/1449.54 c repropagations : 488262 (2249194 domain reductions, 201980 cutoffs)
1449.10/1449.54 c avg switch length: 6.64
1449.10/1449.54 c switching time : 446.82
1449.10/1449.54 c Solution :
1449.10/1449.54 c Solutions found : 5 (5 improvements)
1449.10/1449.54 c First Solution : +4.81000000000000e+02 (in run 1, after 2646568 nodes, 1158.74 seconds, depth 435, found by <relaxation>)
1449.10/1449.54 c Primal Bound : +3.00000000000000e+00 (in run 1, after 2653290 nodes, 1169.00 seconds, depth 404, found by <relaxation>)
1449.10/1449.54 c Dual Bound : +3.00000000000000e+00
1449.10/1449.54 c Gap : 0.00 %
1449.10/1449.54 c Root Dual Bound : +1.00000000000000e+00
1449.10/1449.54 c Root Iterations : 0
1449.20/1449.62 c Time complete: 1449.23.