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-2663539-1276646788.opb>
0.00/0.01 c original problem has 972 variables (972 bin, 0 int, 0 impl, 0 cont) and 748 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.19 c (round 1) 9 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 70 chg coeffs, 0 upgd conss, 4356 impls, 0 clqs
0.09/0.19 c (round 2) 27 del vars, 16 del conss, 0 chg bounds, 0 chg sides, 86 chg coeffs, 10 upgd conss, 6660 impls, 0 clqs
0.19/0.20 c (round 3) 45 del vars, 32 del conss, 0 chg bounds, 0 chg sides, 102 chg coeffs, 10 upgd conss, 8676 impls, 0 clqs
0.19/0.21 c (round 4) 63 del vars, 48 del conss, 0 chg bounds, 0 chg sides, 118 chg coeffs, 10 upgd conss, 10404 impls, 0 clqs
0.19/0.21 c (round 5) 81 del vars, 64 del conss, 0 chg bounds, 0 chg sides, 134 chg coeffs, 10 upgd conss, 11844 impls, 0 clqs
0.19/0.22 c (round 6) 99 del vars, 80 del conss, 0 chg bounds, 0 chg sides, 150 chg coeffs, 10 upgd conss, 12996 impls, 0 clqs
0.19/0.22 c (round 7) 117 del vars, 96 del conss, 0 chg bounds, 0 chg sides, 166 chg coeffs, 10 upgd conss, 13860 impls, 0 clqs
0.19/0.23 c (round 8) 135 del vars, 112 del conss, 0 chg bounds, 0 chg sides, 182 chg coeffs, 10 upgd conss, 14436 impls, 0 clqs
0.19/0.23 c (round 9) 153 del vars, 128 del conss, 0 chg bounds, 0 chg sides, 198 chg coeffs, 10 upgd conss, 14724 impls, 0 clqs
0.19/0.24 c (round 10) 171 del vars, 144 del conss, 0 chg bounds, 0 chg sides, 214 chg coeffs, 10 upgd conss, 14724 impls, 0 clqs
0.39/0.40 c (0.2s) probing: 238/801 (29.7%) - 0 fixings, 0 aggregations, 18 implications, 0 bound changes
0.39/0.40 c (0.2s) probing aborted: 100/100 successive totally useless probings
0.39/0.40 c presolving (11 rounds):
0.39/0.40 c 171 deleted vars, 144 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 214 changed coefficients
0.39/0.40 c 14760 implications, 0 cliques
0.39/0.40 c presolved problem has 801 variables (801 bin, 0 int, 0 impl, 0 cont) and 595 constraints
0.39/0.40 c 576 constraints of type <and>
0.39/0.40 c 9 constraints of type <linear>
0.39/0.40 c 10 constraints of type <logicor>
0.39/0.40 c transformed objective value is always integral (scale: 2)
0.39/0.40 c Presolving Time: 0.23
0.39/0.40 c - non default parameters ----------------------------------------------------------------------
0.39/0.40 c # SCIP version 1.2.1.2
0.39/0.40 c
0.39/0.40 c # frequency for displaying node information lines
0.39/0.40 c # [type: int, range: [-1,2147483647], default: 100]
0.39/0.40 c display/freq = 10000
0.39/0.40 c
0.39/0.40 c # maximal time in seconds to run
0.39/0.40 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.39/0.40 c limits/time = 1799.99
0.39/0.40 c
0.39/0.40 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.39/0.40 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.39/0.40 c limits/memory = 1620
0.39/0.40 c
0.39/0.40 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.39/0.40 c # [type: int, range: [-1,2147483647], default: 1]
0.39/0.40 c lp/solvefreq = -1
0.39/0.40 c
0.39/0.40 c # should presolving try to simplify inequalities
0.39/0.40 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.39/0.40 c constraints/linear/simplifyinequalities = TRUE
0.39/0.40 c
0.39/0.40 c # should presolving try to simplify knapsacks
0.39/0.40 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.39/0.40 c constraints/knapsack/simplifyinequalities = TRUE
0.39/0.40 c
0.39/0.40 c # frequency for calling primal heuristic <undercover> (-1: never, 0: only at depth freqofs)
0.39/0.40 c # [type: int, range: [-1,2147483647], default: -1]
0.39/0.40 c heuristics/undercover/freq = 0
0.39/0.40 c
0.39/0.40 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.39/0.40 c # [type: int, range: [-1,2147483647], default: -1]
0.39/0.40 c separating/rapidlearning/freq = 0
0.39/0.40 c
0.39/0.40 c -----------------------------------------------------------------------------------------------
0.39/0.40 c start solving
0.39/0.40 c
0.39/0.40 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.39/0.40 c 0.2s| 1 | 2 | 0 | - |2551k| 0 | - | 801 | 595 | 0 | 0 | 0 | 0 | 0 | 1.000000e+00 | -- | Inf
3.38/3.47 c 3.1s| 10000 | 8027 | 0 | 0.0 |8277k| 545 | - | 801 | 794 | 0 | 0 | 0 |1420 | 0 | 1.000000e+00 | -- | Inf
6.98/7.00 c 6.4s| 20000 | 15522 | 0 | 0.0 | 13M| 545 | - | 801 |1017 | 0 | 0 | 0 |3313 | 0 | 1.000000e+00 | -- | Inf
10.68/10.74 c 9.9s| 30000 | 22285 | 0 | 0.0 | 19M| 545 | - | 801 | 905 | 0 | 0 | 0 |5682 | 0 | 1.000000e+00 | -- | Inf
14.28/14.31 c 13.2s| 40000 | 29660 | 0 | 0.0 | 25M| 545 | - | 801 | 935 | 0 | 0 | 0 |7730 | 0 | 1.000000e+00 | -- | Inf
17.98/18.08 c 16.8s| 50000 | 36806 | 0 | 0.0 | 30M| 545 | - | 801 |1471 | 0 | 0 | 0 | 10k| 0 | 1.000000e+00 | -- | Inf
22.58/22.64 c 21.1s| 60000 | 43055 | 0 | 0.0 | 35M| 545 | - | 801 |1435 | 0 | 0 | 0 | 13k| 0 | 1.000000e+00 | -- | Inf
26.68/26.71 c 24.9s| 70000 | 50145 | 0 | 0.0 | 40M| 545 | - | 801 |1433 | 0 | 0 | 0 | 15k| 0 | 1.000000e+00 | -- | Inf
30.97/31.07 c 29.1s| 80000 | 56772 | 0 | 0.0 | 45M| 545 | - | 801 |1443 | 0 | 0 | 0 | 18k| 0 | 1.000000e+00 | -- | Inf
35.27/35.35 c 33.1s| 90000 | 63313 | 0 | 0.0 | 50M| 545 | - | 801 |1057 | 0 | 0 | 0 | 20k| 0 | 1.000000e+00 | -- | Inf
39.47/39.54 c 37.1s|100000 | 69724 | 0 | 0.0 | 55M| 545 | - | 801 | 976 | 0 | 0 | 0 | 23k| 0 | 1.000000e+00 | -- | Inf
43.47/43.59 c 40.9s|110000 | 76248 | 0 | 0.0 | 61M| 545 | - | 801 | 983 | 0 | 0 | 0 | 26k| 0 | 1.000000e+00 | -- | Inf
47.67/47.70 c 44.7s|120000 | 83452 | 0 | 0.0 | 66M| 545 | - | 801 |1032 | 0 | 0 | 0 | 28k| 0 | 1.000000e+00 | -- | Inf
51.76/51.84 c 48.7s|130000 | 90466 | 0 | 0.0 | 71M| 545 | - | 801 |1048 | 0 | 0 | 0 | 30k| 0 | 1.000000e+00 | -- | Inf
55.77/55.81 c 52.4s|140000 | 97473 | 0 | 0.0 | 77M| 545 | - | 801 |1102 | 0 | 0 | 0 | 33k| 0 | 1.000000e+00 | -- | Inf
59.76/59.81 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
59.76/59.81 c 56.2s|150000 |104232 | 0 | 0.0 | 82M| 545 | - | 801 | 935 | 0 | 0 | 0 | 35k| 0 | 1.000000e+00 | -- | Inf
63.86/63.98 c 60.1s|160000 |110475 | 0 | 0.0 | 87M| 545 | - | 801 |1047 | 0 | 0 | 0 | 38k| 0 | 1.000000e+00 | -- | Inf
67.76/67.80 c 63.7s|170000 |117280 | 0 | 0.0 | 92M| 545 | - | 801 |1350 | 0 | 0 | 0 | 41k| 0 | 1.000000e+00 | -- | Inf
71.56/71.69 c 67.4s|180000 |124595 | 0 | 0.0 | 98M| 545 | - | 801 |1302 | 0 | 0 | 0 | 43k| 0 | 1.000000e+00 | -- | Inf
75.56/75.63 c 71.1s|190000 |131928 | 0 | 0.0 | 103M| 545 | - | 801 |1376 | 0 | 0 | 0 | 45k| 0 | 1.000000e+00 | -- | Inf
79.75/79.81 c 75.0s|200000 |139218 | 0 | 0.0 | 109M| 545 | - | 801 |1467 | 0 | 0 | 0 | 47k| 0 | 1.000000e+00 | -- | Inf
84.16/84.28 c 79.3s|210000 |146173 | 0 | 0.0 | 114M| 545 | - | 801 |1645 | 0 | 0 | 0 | 50k| 0 | 1.000000e+00 | -- | Inf
88.86/88.95 c 83.7s|220000 |152912 | 0 | 0.0 | 118M| 545 | - | 801 |1555 | 0 | 0 | 0 | 52k| 0 | 1.000000e+00 | -- | Inf
93.75/93.81 c 88.3s|230000 |159494 | 0 | 0.0 | 123M| 545 | - | 801 |1745 | 0 | 0 | 0 | 55k| 0 | 1.000000e+00 | -- | Inf
98.65/98.79 c 93.1s|240000 |165982 | 0 | 0.0 | 128M| 545 | - | 801 |1762 | 0 | 0 | 0 | 58k| 0 | 1.000000e+00 | -- | Inf
103.76/103.89 c 98.0s|250000 |172385 | 0 | 0.0 | 133M| 545 | - | 801 |1734 | 0 | 0 | 0 | 62k| 0 | 1.000000e+00 | -- | Inf
108.86/108.92 c 103s|260000 |178945 | 0 | 0.0 | 138M| 545 | - | 801 |1766 | 0 | 0 | 0 | 65k| 0 | 1.000000e+00 | -- | Inf
113.65/113.78 c 107s|270000 |185778 | 0 | 0.0 | 143M| 545 | - | 801 |1472 | 0 | 0 | 0 | 68k| 0 | 1.000000e+00 | -- | Inf
118.34/118.40 c 112s|280000 |192917 | 0 | 0.0 | 148M| 545 | - | 801 |1546 | 0 | 0 | 0 | 70k| 0 | 1.000000e+00 | -- | Inf
123.15/123.24 c 116s|290000 |199686 | 0 | 0.0 | 153M| 545 | - | 801 |1482 | 0 | 0 | 0 | 73k| 0 | 1.000000e+00 | -- | Inf
128.14/128.27 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
128.14/128.27 c 121s|300000 |206185 | 0 | 0.0 | 158M| 545 | - | 801 |1406 | 0 | 0 | 0 | 76k| 0 | 1.000000e+00 | -- | Inf
132.65/132.78 c 125s|310000 |213196 | 0 | 0.0 | 163M| 545 | - | 801 |1356 | 0 | 0 | 0 | 78k| 0 | 1.000000e+00 | -- | Inf
137.24/137.39 c 130s|320000 |220142 | 0 | 0.0 | 168M| 545 | - | 801 |1352 | 0 | 0 | 0 | 81k| 0 | 1.000000e+00 | -- | Inf
141.85/141.94 c 134s|330000 |226987 | 0 | 0.0 | 173M| 545 | - | 801 |1445 | 0 | 0 | 0 | 84k| 0 | 1.000000e+00 | -- | Inf
146.25/146.33 c 138s|340000 |234188 | 0 | 0.0 | 179M| 545 | - | 801 |1356 | 0 | 0 | 0 | 86k| 0 | 1.000000e+00 | -- | Inf
150.24/150.36 c 142s|350000 |241981 | 0 | 0.0 | 185M| 545 | - | 801 |1340 | 0 | 0 | 0 | 88k| 0 | 1.000000e+00 | -- | Inf
154.54/154.67 c 146s|360000 |249540 | 0 | 0.0 | 191M| 545 | - | 801 |1269 | 0 | 0 | 0 | 90k| 0 | 1.000000e+00 | -- | Inf
158.54/158.65 c 150s|370000 |257413 | 0 | 0.0 | 197M| 545 | - | 801 |1266 | 0 | 0 | 0 | 92k| 0 | 1.000000e+00 | -- | Inf
162.84/162.98 c 154s|380000 |264969 | 0 | 0.0 | 202M| 545 | - | 801 |1306 | 0 | 0 | 0 | 94k| 0 | 1.000000e+00 | -- | Inf
167.53/167.62 c 158s|390000 |272262 | 0 | 0.0 | 208M| 545 | - | 801 |1259 | 0 | 0 | 0 | 96k| 0 | 1.000000e+00 | -- | Inf
172.54/172.68 c 163s|400000 |279139 | 0 | 0.0 | 213M| 545 | - | 801 |1152 | 0 | 0 | 0 | 99k| 0 | 1.000000e+00 | -- | Inf
178.04/178.18 c 169s|410000 |285730 | 0 | 0.0 | 218M| 545 | - | 801 |1262 | 0 | 0 | 0 | 102k| 0 | 1.000000e+00 | -- | Inf
183.44/183.58 c 174s|420000 |291571 | 0 | 0.0 | 222M| 545 | - | 801 |1180 | 0 | 0 | 0 | 105k| 0 | 1.000000e+00 | -- | Inf
188.53/188.64 c 179s|430000 |297297 | 0 | 0.0 | 227M| 545 | - | 801 |1175 | 0 | 0 | 0 | 108k| 0 | 1.000000e+00 | -- | Inf
193.92/194.03 c 184s|440000 |302480 | 0 | 0.0 | 231M| 545 | - | 801 |1284 | 0 | 0 | 0 | 111k| 0 | 1.000000e+00 | -- | Inf
198.52/198.65 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
198.52/198.65 c 188s|450000 |309410 | 0 | 0.0 | 236M| 545 | - | 801 |1150 | 0 | 0 | 0 | 114k| 0 | 1.000000e+00 | -- | Inf
202.93/203.04 c 192s|460000 |316431 | 0 | 0.0 | 241M| 545 | - | 801 |1199 | 0 | 0 | 0 | 117k| 0 | 1.000000e+00 | -- | Inf
207.62/207.77 c 197s|470000 |323249 | 0 | 0.0 | 247M| 545 | - | 801 |1055 | 0 | 0 | 0 | 120k| 0 | 1.000000e+00 | -- | Inf
211.83/211.92 c 201s|480000 |329424 | 0 | 0.0 | 251M| 545 | - | 801 |1028 | 0 | 0 | 0 | 123k| 0 | 1.000000e+00 | -- | Inf
216.32/216.45 c 205s|490000 |336210 | 0 | 0.0 | 257M| 545 | - | 801 |1090 | 0 | 0 | 0 | 126k| 0 | 1.000000e+00 | -- | Inf
220.22/220.36 c 209s|500000 |343731 | 0 | 0.0 | 262M| 545 | - | 801 |1076 | 0 | 0 | 0 | 128k| 0 | 1.000000e+00 | -- | Inf
224.72/224.86 c 213s|510000 |350460 | 0 | 0.0 | 267M| 545 | - | 801 |1150 | 0 | 0 | 0 | 131k| 0 | 1.000000e+00 | -- | Inf
229.62/229.76 c 218s|520000 |356941 | 0 | 0.0 | 273M| 545 | - | 801 |1077 | 0 | 0 | 0 | 134k| 0 | 1.000000e+00 | -- | Inf
234.52/234.62 c 222s|530000 |363104 | 0 | 0.0 | 278M| 545 | - | 801 |1128 | 0 | 0 | 0 | 137k| 0 | 1.000000e+00 | -- | Inf
239.32/239.44 c 227s|540000 |368720 | 0 | 0.0 | 282M| 545 | - | 801 |1268 | 0 | 0 | 0 | 140k| 0 | 1.000000e+00 | -- | Inf
244.72/244.81 c 232s|550000 |374368 | 0 | 0.0 | 287M| 545 | - | 801 |1192 | 0 | 0 | 0 | 143k| 0 | 1.000000e+00 | -- | Inf
250.91/251.07 c 238s|560000 |378606 | 0 | 0.0 | 291M| 545 | - | 801 |1331 | 0 | 0 | 0 | 147k| 0 | 1.000000e+00 | -- | Inf
255.32/255.40 c 242s|570000 |385640 | 0 | 0.0 | 296M| 545 | - | 801 |1366 | 0 | 0 | 0 | 149k| 0 | 1.000000e+00 | -- | Inf
259.61/259.78 c 246s|580000 |392757 | 0 | 0.0 | 301M| 545 | - | 801 |1294 | 0 | 0 | 0 | 151k| 0 | 1.000000e+00 | -- | Inf
264.21/264.32 c 250s|590000 |399717 | 0 | 0.0 | 306M| 545 | - | 801 |1369 | 0 | 0 | 0 | 153k| 0 | 1.000000e+00 | -- | Inf
268.81/268.97 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
268.81/268.97 c 255s|600000 |406650 | 0 | 0.0 | 312M| 545 | - | 801 |1352 | 0 | 0 | 0 | 156k| 0 | 1.000000e+00 | -- | Inf
273.72/273.80 c 259s|610000 |413316 | 0 | 0.0 | 317M| 545 | - | 801 |1426 | 0 | 0 | 0 | 159k| 0 | 1.000000e+00 | -- | Inf
278.50/278.66 c 264s|620000 |420040 | 0 | 0.0 | 322M| 545 | - | 801 |1366 | 0 | 0 | 0 | 161k| 0 | 1.000000e+00 | -- | Inf
283.51/283.61 c 269s|630000 |426795 | 0 | 0.0 | 327M| 545 | - | 801 |1307 | 0 | 0 | 0 | 164k| 0 | 1.000000e+00 | -- | Inf
288.01/288.19 c 273s|640000 |433789 | 0 | 0.0 | 332M| 545 | - | 801 |1252 | 0 | 0 | 0 | 167k| 0 | 1.000000e+00 | -- | Inf
292.91/293.06 c 278s|650000 |439712 | 0 | 0.0 | 336M| 545 | - | 801 |1361 | 0 | 0 | 0 | 170k| 0 | 1.000000e+00 | -- | Inf
298.01/298.12 c 283s|660000 |445749 | 0 | 0.0 | 341M| 545 | - | 801 |1370 | 0 | 0 | 0 | 173k| 0 | 1.000000e+00 | -- | Inf
302.90/303.08 c 287s|670000 |452084 | 0 | 0.0 | 346M| 545 | - | 801 |1296 | 0 | 0 | 0 | 175k| 0 | 1.000000e+00 | -- | Inf
307.70/307.83 c 292s|680000 |458546 | 0 | 0.0 | 351M| 545 | - | 801 |1361 | 0 | 0 | 0 | 178k| 0 | 1.000000e+00 | -- | Inf
312.20/312.36 c 296s|690000 |465535 | 0 | 0.0 | 356M| 545 | - | 801 |1227 | 0 | 0 | 0 | 181k| 0 | 1.000000e+00 | -- | Inf
316.70/316.81 c 300s|700000 |472705 | 0 | 0.0 | 361M| 545 | - | 801 |1325 | 0 | 0 | 0 | 183k| 0 | 1.000000e+00 | -- | Inf
321.19/321.31 c 305s|710000 |479745 | 0 | 0.0 | 367M| 545 | - | 801 |1311 | 0 | 0 | 0 | 186k| 0 | 1.000000e+00 | -- | Inf
325.60/325.71 c 309s|720000 |486994 | 0 | 0.0 | 372M| 545 | - | 801 |1313 | 0 | 0 | 0 | 188k| 0 | 1.000000e+00 | -- | Inf
330.20/330.38 c 313s|730000 |493728 | 0 | 0.0 | 377M| 545 | - | 801 |1476 | 0 | 0 | 0 | 191k| 0 | 1.000000e+00 | -- | Inf
334.69/334.80 c 317s|740000 |500767 | 0 | 0.0 | 382M| 545 | - | 801 |1262 | 0 | 0 | 0 | 193k| 0 | 1.000000e+00 | -- | Inf
339.59/339.79 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
339.59/339.79 c 322s|750000 |506613 | 0 | 0.0 | 387M| 545 | - | 801 |1442 | 0 | 0 | 0 | 196k| 0 | 1.000000e+00 | -- | Inf
344.49/344.63 c 327s|760000 |512837 | 0 | 0.0 | 391M| 545 | - | 801 |1436 | 0 | 0 | 0 | 199k| 0 | 1.000000e+00 | -- | Inf
349.39/349.54 c 332s|770000 |518910 | 0 | 0.0 | 396M| 545 | - | 801 |1242 | 0 | 0 | 0 | 202k| 0 | 1.000000e+00 | -- | Inf
354.19/354.39 c 336s|780000 |524906 | 0 | 0.0 | 401M| 545 | - | 801 |1311 | 0 | 0 | 0 | 205k| 0 | 1.000000e+00 | -- | Inf
358.88/359.06 c 341s|790000 |531409 | 0 | 0.0 | 406M| 545 | - | 801 |1358 | 0 | 0 | 0 | 208k| 0 | 1.000000e+00 | -- | Inf
363.38/363.59 c 345s|800000 |538166 | 0 | 0.0 | 412M| 545 | - | 801 |1220 | 0 | 0 | 0 | 210k| 0 | 1.000000e+00 | -- | Inf
368.39/368.53 c 350s|810000 |543719 | 0 | 0.0 | 417M| 545 | - | 801 |1446 | 0 | 0 | 0 | 214k| 0 | 1.000000e+00 | -- | Inf
374.89/375.06 c 356s|820000 |547955 | 0 | 0.0 | 421M| 545 | - | 801 |1545 | 0 | 0 | 0 | 217k| 0 | 1.000000e+00 | -- | Inf
380.18/380.32 c 361s|830000 |554077 | 0 | 0.0 | 426M| 545 | - | 801 |1381 | 0 | 0 | 0 | 220k| 0 | 1.000000e+00 | -- | Inf
384.58/384.74 c 365s|840000 |560572 | 0 | 0.0 | 431M| 545 | - | 801 |1046 | 0 | 0 | 0 | 222k| 0 | 1.000000e+00 | -- | Inf
388.78/388.94 c 369s|850000 |566891 | 0 | 0.0 | 436M| 545 | - | 801 |1238 | 0 | 0 | 0 | 225k| 0 | 1.000000e+00 | -- | Inf
392.88/393.06 c 373s|860000 |573658 | 0 | 0.0 | 441M| 545 | - | 801 |1463 | 0 | 0 | 0 | 228k| 0 | 1.000000e+00 | -- | Inf
397.18/397.33 c 377s|870000 |580170 | 0 | 0.0 | 446M| 545 | - | 801 |1669 | 0 | 0 | 0 | 230k| 0 | 1.000000e+00 | -- | Inf
401.38/401.52 c 381s|880000 |587033 | 0 | 0.0 | 453M| 545 | - | 801 |1450 | 0 | 0 | 0 | 233k| 0 | 1.000000e+00 | -- | Inf
405.97/406.18 c 385s|890000 |593599 | 0 | 0.0 | 459M| 545 | - | 801 |1367 | 0 | 0 | 0 | 236k| 0 | 1.000000e+00 | -- | Inf
409.87/410.09 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
409.87/410.09 c 389s|900000 |601204 | 0 | 0.0 | 464M| 545 | - | 801 |1372 | 0 | 0 | 0 | 238k| 0 | 1.000000e+00 | -- | Inf
413.97/414.15 c 393s|910000 |608588 | 0 | 0.0 | 470M| 545 | - | 801 |1556 | 0 | 0 | 0 | 240k| 0 | 1.000000e+00 | -- | Inf
418.07/418.24 c 397s|920000 |615937 | 0 | 0.0 | 475M| 545 | - | 801 |1438 | 0 | 0 | 0 | 242k| 0 | 1.000000e+00 | -- | Inf
422.18/422.31 c 400s|930000 |623277 | 0 | 0.0 | 481M| 545 | - | 801 |1547 | 0 | 0 | 0 | 244k| 0 | 1.000000e+00 | -- | Inf
426.27/426.45 c 404s|940000 |630586 | 0 | 0.0 | 486M| 545 | - | 801 |1444 | 0 | 0 | 0 | 246k| 0 | 1.000000e+00 | -- | Inf
430.57/430.75 c 408s|950000 |637814 | 0 | 0.0 | 492M| 545 | - | 801 |1484 | 0 | 0 | 0 | 248k| 0 | 1.000000e+00 | -- | Inf
434.87/435.02 c 412s|960000 |645014 | 0 | 0.0 | 497M| 545 | - | 801 |1481 | 0 | 0 | 0 | 251k| 0 | 1.000000e+00 | -- | Inf
439.17/439.39 c 417s|970000 |652002 | 0 | 0.0 | 502M| 545 | - | 801 |1574 | 0 | 0 | 0 | 253k| 0 | 1.000000e+00 | -- | Inf
443.66/443.88 c 421s|980000 |659062 | 0 | 0.0 | 507M| 545 | - | 801 |1485 | 0 | 0 | 0 | 256k| 0 | 1.000000e+00 | -- | Inf
448.16/448.38 c 425s|990000 |666150 | 0 | 0.0 | 513M| 545 | - | 801 |1425 | 0 | 0 | 0 | 258k| 0 | 1.000000e+00 | -- | Inf
452.66/452.86 c 429s| 1000k|673108 | 0 | 0.0 | 518M| 545 | - | 801 |1452 | 0 | 0 | 0 | 261k| 0 | 1.000000e+00 | -- | Inf
457.37/457.51 c 434s| 1010k|679900 | 0 | 0.0 | 523M| 545 | - | 801 |1512 | 0 | 0 | 0 | 263k| 0 | 1.000000e+00 | -- | Inf
461.95/462.13 c 438s| 1020k|686872 | 0 | 0.0 | 528M| 545 | - | 801 |1311 | 0 | 0 | 0 | 266k| 0 | 1.000000e+00 | -- | Inf
466.65/466.82 c 443s| 1030k|693459 | 0 | 0.0 | 533M| 545 | - | 801 |1468 | 0 | 0 | 0 | 269k| 0 | 1.000000e+00 | -- | Inf
471.26/471.49 c 447s| 1040k|700297 | 0 | 0.0 | 538M| 545 | - | 801 |1433 | 0 | 0 | 0 | 271k| 0 | 1.000000e+00 | -- | Inf
475.95/476.16 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
475.95/476.16 c 451s| 1050k|706879 | 0 | 0.0 | 543M| 545 | - | 801 |1593 | 0 | 0 | 0 | 274k| 0 | 1.000000e+00 | -- | Inf
480.85/481.02 c 456s| 1060k|713495 | 0 | 0.0 | 548M| 545 | - | 801 |1509 | 0 | 0 | 0 | 277k| 0 | 1.000000e+00 | -- | Inf
485.56/485.73 c 461s| 1070k|720138 | 0 | 0.0 | 553M| 545 | - | 801 |1649 | 0 | 0 | 0 | 280k| 0 | 1.000000e+00 | -- | Inf
490.46/490.66 c 465s| 1080k|726705 | 0 | 0.0 | 558M| 545 | - | 801 |1494 | 0 | 0 | 0 | 283k| 0 | 1.000000e+00 | -- | Inf
495.15/495.38 c 470s| 1090k|733507 | 0 | 0.0 | 562M| 545 | - | 801 |1414 | 0 | 0 | 0 | 285k| 0 | 1.000000e+00 | -- | Inf
500.15/500.33 c 474s| 1100k|739974 | 0 | 0.0 | 567M| 545 | - | 801 |1601 | 0 | 0 | 0 | 288k| 0 | 1.000000e+00 | -- | Inf
504.94/505.14 c 479s| 1110k|746746 | 0 | 0.0 | 572M| 545 | - | 801 |1433 | 0 | 0 | 0 | 291k| 0 | 1.000000e+00 | -- | Inf
509.65/509.89 c 484s| 1120k|753503 | 0 | 0.0 | 577M| 545 | - | 801 |1671 | 0 | 0 | 0 | 294k| 0 | 1.000000e+00 | -- | Inf
514.65/514.87 c 488s| 1130k|760060 | 0 | 0.0 | 582M| 545 | - | 801 |1592 | 0 | 0 | 0 | 297k| 0 | 1.000000e+00 | -- | Inf
519.44/519.66 c 493s| 1140k|766937 | 0 | 0.0 | 587M| 545 | - | 801 |1346 | 0 | 0 | 0 | 300k| 0 | 1.000000e+00 | -- | Inf
524.64/524.81 c 498s| 1150k|773339 | 0 | 0.0 | 592M| 545 | - | 801 |1724 | 0 | 0 | 0 | 303k| 0 | 1.000000e+00 | -- | Inf
529.54/529.71 c 503s| 1160k|780118 | 0 | 0.0 | 597M| 545 | - | 801 |1630 | 0 | 0 | 0 | 306k| 0 | 1.000000e+00 | -- | Inf
534.45/534.67 c 507s| 1170k|786881 | 0 | 0.0 | 602M| 545 | - | 801 |1702 | 0 | 0 | 0 | 308k| 0 | 1.000000e+00 | -- | Inf
539.44/539.60 c 512s| 1180k|793558 | 0 | 0.0 | 607M| 545 | - | 801 |1713 | 0 | 0 | 0 | 311k| 0 | 1.000000e+00 | -- | Inf
544.24/544.42 c 517s| 1190k|800358 | 0 | 0.0 | 611M| 545 | - | 801 |1513 | 0 | 0 | 0 | 314k| 0 | 1.000000e+00 | -- | Inf
549.24/549.49 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
549.24/549.49 c 521s| 1200k|807021 | 0 | 0.0 | 616M| 545 | - | 801 |1691 | 0 | 0 | 0 | 317k| 0 | 1.000000e+00 | -- | Inf
554.04/554.21 c 526s| 1210k|813996 | 0 | 0.0 | 621M| 545 | - | 801 |1703 | 0 | 0 | 0 | 320k| 0 | 1.000000e+00 | -- | Inf
558.94/559.15 c 531s| 1220k|820738 | 0 | 0.0 | 627M| 545 | - | 801 |1751 | 0 | 0 | 0 | 323k| 0 | 1.000000e+00 | -- | Inf
563.93/564.11 c 535s| 1230k|827324 | 0 | 0.0 | 631M| 545 | - | 801 |1774 | 0 | 0 | 0 | 325k| 0 | 1.000000e+00 | -- | Inf
568.63/568.84 c 540s| 1240k|834204 | 0 | 0.0 | 637M| 545 | - | 801 |1777 | 0 | 0 | 0 | 328k| 0 | 1.000000e+00 | -- | Inf
573.63/573.80 c 545s| 1250k|841003 | 0 | 0.0 | 642M| 545 | - | 801 |1749 | 0 | 0 | 0 | 331k| 0 | 1.000000e+00 | -- | Inf
578.43/578.69 c 549s| 1260k|847731 | 0 | 0.0 | 647M| 545 | - | 801 |1815 | 0 | 0 | 0 | 334k| 0 | 1.000000e+00 | -- | Inf
583.23/583.43 c 554s| 1270k|854653 | 0 | 0.0 | 652M| 545 | - | 801 |1816 | 0 | 0 | 0 | 337k| 0 | 1.000000e+00 | -- | Inf
588.23/588.43 c 559s| 1280k|861327 | 0 | 0.0 | 657M| 545 | - | 801 |1799 | 0 | 0 | 0 | 339k| 0 | 1.000000e+00 | -- | Inf
593.13/593.36 c 563s| 1290k|868066 | 0 | 0.0 | 662M| 545 | - | 801 |1675 | 0 | 0 | 0 | 342k| 0 | 1.000000e+00 | -- | Inf
598.43/598.66 c 568s| 1300k|874589 | 0 | 0.0 | 667M| 545 | - | 801 |1896 | 0 | 0 | 0 | 345k| 0 | 1.000000e+00 | -- | Inf
603.42/603.62 c 573s| 1310k|881351 | 0 | 0.0 | 672M| 545 | - | 801 |1942 | 0 | 0 | 0 | 348k| 0 | 1.000000e+00 | -- | Inf
608.72/608.93 c 578s| 1320k|887837 | 0 | 0.0 | 677M| 545 | - | 801 |2021 | 0 | 0 | 0 | 351k| 0 | 1.000000e+00 | -- | Inf
613.82/614.03 c 583s| 1330k|894461 | 0 | 0.0 | 682M| 545 | - | 801 |2117 | 0 | 0 | 0 | 354k| 0 | 1.000000e+00 | -- | Inf
619.13/619.37 c 588s| 1340k|901005 | 0 | 0.0 | 687M| 545 | - | 801 |2117 | 0 | 0 | 0 | 357k| 0 | 1.000000e+00 | -- | Inf
624.41/624.62 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
624.41/624.62 c 593s| 1350k|907553 | 0 | 0.0 | 691M| 545 | - | 801 |2000 | 0 | 0 | 0 | 360k| 0 | 1.000000e+00 | -- | Inf
629.51/629.75 c 598s| 1360k|914213 | 0 | 0.0 | 696M| 545 | - | 801 |2015 | 0 | 0 | 0 | 363k| 0 | 1.000000e+00 | -- | Inf
634.52/634.75 c 603s| 1370k|921077 | 0 | 0.0 | 702M| 545 | - | 801 |2175 | 0 | 0 | 0 | 366k| 0 | 1.000000e+00 | -- | Inf
639.71/639.97 c 608s| 1380k|927867 | 0 | 0.0 | 707M| 545 | - | 801 |2038 | 0 | 0 | 0 | 369k| 0 | 1.000000e+00 | -- | Inf
644.71/644.95 c 612s| 1390k|934720 | 0 | 0.0 | 712M| 545 | - | 801 |2031 | 0 | 0 | 0 | 371k| 0 | 1.000000e+00 | -- | Inf
649.61/649.89 c 617s| 1400k|941849 | 0 | 0.0 | 717M| 545 | - | 801 |1944 | 0 | 0 | 0 | 374k| 0 | 1.000000e+00 | -- | Inf
654.81/655.02 c 622s| 1410k|948632 | 0 | 0.0 | 722M| 545 | - | 801 |2053 | 0 | 0 | 0 | 377k| 0 | 1.000000e+00 | -- | Inf
659.82/660.01 c 627s| 1420k|955585 | 0 | 0.0 | 728M| 545 | - | 801 |1838 | 0 | 0 | 0 | 380k| 0 | 1.000000e+00 | -- | Inf
664.90/665.18 c 632s| 1430k|962267 | 0 | 0.0 | 732M| 545 | - | 801 |1660 | 0 | 0 | 0 | 383k| 0 | 1.000000e+00 | -- | Inf
669.91/670.19 c 637s| 1440k|969101 | 0 | 0.0 | 738M| 545 | - | 801 |1943 | 0 | 0 | 0 | 385k| 0 | 1.000000e+00 | -- | Inf
675.21/675.47 c 642s| 1450k|975839 | 0 | 0.0 | 743M| 545 | - | 801 |1745 | 0 | 0 | 0 | 388k| 0 | 1.000000e+00 | -- | Inf
680.61/680.87 c 647s| 1460k|982295 | 0 | 0.0 | 748M| 545 | - | 801 |1793 | 0 | 0 | 0 | 392k| 0 | 1.000000e+00 | -- | Inf
685.80/686.08 c 652s| 1470k|989016 | 0 | 0.0 | 753M| 545 | - | 801 |1964 | 0 | 0 | 0 | 395k| 0 | 1.000000e+00 | -- | Inf
690.80/691.04 c 656s| 1480k|996036 | 0 | 0.0 | 758M| 545 | - | 801 |1741 | 0 | 0 | 0 | 397k| 0 | 1.000000e+00 | -- | Inf
696.19/696.44 c 662s| 1490k| 1002k| 0 | 0.0 | 763M| 545 | - | 801 |1745 | 0 | 0 | 0 | 401k| 0 | 1.000000e+00 | -- | Inf
701.20/701.47 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
701.20/701.47 c 666s| 1500k| 1009k| 0 | 0.0 | 768M| 545 | - | 801 |1831 | 0 | 0 | 0 | 403k| 0 | 1.000000e+00 | -- | Inf
706.29/706.51 c 671s| 1510k| 1016k| 0 | 0.0 | 773M| 545 | - | 801 |1814 | 0 | 0 | 0 | 406k| 0 | 1.000000e+00 | -- | Inf
711.19/711.49 c 676s| 1520k| 1023k| 0 | 0.0 | 778M| 545 | - | 801 |1667 | 0 | 0 | 0 | 409k| 0 | 1.000000e+00 | -- | Inf
716.39/716.62 c 681s| 1530k| 1030k| 0 | 0.0 | 784M| 545 | - | 801 |1583 | 0 | 0 | 0 | 411k| 0 | 1.000000e+00 | -- | Inf
721.39/721.61 c 686s| 1540k| 1037k| 0 | 0.0 | 789M| 545 | - | 801 |1870 | 0 | 0 | 0 | 414k| 0 | 1.000000e+00 | -- | Inf
726.09/726.31 c 690s| 1550k| 1044k| 0 | 0.0 | 794M| 545 | - | 801 |1638 | 0 | 0 | 0 | 416k| 0 | 1.000000e+00 | -- | Inf
730.99/731.25 c 695s| 1560k| 1051k| 0 | 0.0 | 799M| 545 | - | 801 |1711 | 0 | 0 | 0 | 419k| 0 | 1.000000e+00 | -- | Inf
735.89/736.10 c 699s| 1570k| 1059k| 0 | 0.0 | 804M| 545 | - | 801 |1612 | 0 | 0 | 0 | 421k| 0 | 1.000000e+00 | -- | Inf
740.38/740.64 c 704s| 1580k| 1066k| 0 | 0.0 | 810M| 545 | - | 801 |1435 | 0 | 0 | 0 | 423k| 0 | 1.000000e+00 | -- | Inf
745.09/745.33 c 708s| 1590k| 1074k| 0 | 0.0 | 815M| 545 | - | 801 |1471 | 0 | 0 | 0 | 425k| 0 | 1.000000e+00 | -- | Inf
749.89/750.14 c 713s| 1600k| 1081k| 0 | 0.0 | 821M| 545 | - | 801 |1799 | 0 | 0 | 0 | 427k| 0 | 1.000000e+00 | -- | Inf
754.48/754.76 c 717s| 1610k| 1088k| 0 | 0.0 | 826M| 545 | - | 801 |1732 | 0 | 0 | 0 | 429k| 0 | 1.000000e+00 | -- | Inf
759.28/759.59 c 722s| 1620k| 1095k| 0 | 0.0 | 831M| 545 | - | 801 |2077 | 0 | 0 | 0 | 432k| 0 | 1.000000e+00 | -- | Inf
764.08/764.39 c 726s| 1630k| 1103k| 0 | 0.0 | 837M| 545 | - | 801 |2052 | 0 | 0 | 0 | 434k| 0 | 1.000000e+00 | -- | Inf
769.38/769.62 c 731s| 1640k| 1110k| 0 | 0.0 | 842M| 545 | - | 801 |1943 | 0 | 0 | 0 | 436k| 0 | 1.000000e+00 | -- | Inf
774.27/774.54 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
774.27/774.54 c 736s| 1650k| 1117k| 0 | 0.0 | 847M| 545 | - | 801 |1838 | 0 | 0 | 0 | 438k| 0 | 1.000000e+00 | -- | Inf
779.28/779.54 c 741s| 1660k| 1124k| 0 | 0.0 | 853M| 545 | - | 801 |1784 | 0 | 0 | 0 | 441k| 0 | 1.000000e+00 | -- | Inf
784.27/784.55 c 746s| 1670k| 1131k| 0 | 0.0 | 858M| 545 | - | 801 |1782 | 0 | 0 | 0 | 443k| 0 | 1.000000e+00 | -- | Inf
789.58/789.88 c 751s| 1680k| 1138k| 0 | 0.0 | 863M| 545 | - | 801 |1888 | 0 | 0 | 0 | 445k| 0 | 1.000000e+00 | -- | Inf
795.37/795.68 c 756s| 1690k| 1144k| 0 | 0.0 | 868M| 545 | - | 801 |1676 | 0 | 0 | 0 | 448k| 0 | 1.000000e+00 | -- | Inf
800.87/801.20 c 762s| 1700k| 1151k| 0 | 0.0 | 874M| 545 | - | 801 |1624 | 0 | 0 | 0 | 451k| 0 | 1.000000e+00 | -- | Inf
806.27/806.58 c 767s| 1710k| 1158k| 0 | 0.0 | 879M| 545 | - | 801 |1762 | 0 | 0 | 0 | 454k| 0 | 1.000000e+00 | -- | Inf
811.76/812.06 c 772s| 1720k| 1165k| 0 | 0.0 | 884M| 545 | - | 801 |1836 | 0 | 0 | 0 | 456k| 0 | 1.000000e+00 | -- | Inf
817.16/817.49 c 777s| 1730k| 1171k| 0 | 0.0 | 889M| 545 | - | 801 |1868 | 0 | 0 | 0 | 459k| 0 | 1.000000e+00 | -- | Inf
822.97/823.20 c 783s| 1740k| 1178k| 0 | 0.0 | 894M| 545 | - | 801 |1861 | 0 | 0 | 0 | 462k| 0 | 1.000000e+00 | -- | Inf
828.76/829.09 c 788s| 1750k| 1184k| 0 | 0.0 | 899M| 545 | - | 801 |1790 | 0 | 0 | 0 | 465k| 0 | 1.000000e+00 | -- | Inf
834.26/834.55 c 793s| 1760k| 1191k| 0 | 0.0 | 905M| 545 | - | 801 |1941 | 0 | 0 | 0 | 468k| 0 | 1.000000e+00 | -- | Inf
839.76/840.08 c 799s| 1770k| 1197k| 0 | 0.0 | 910M| 545 | - | 801 |1899 | 0 | 0 | 0 | 470k| 0 | 1.000000e+00 | -- | Inf
844.96/845.27 c 804s| 1780k| 1204k| 0 | 0.0 | 916M| 545 | - | 801 |1841 | 0 | 0 | 0 | 473k| 0 | 1.000000e+00 | -- | Inf
849.86/850.18 c 808s| 1790k| 1211k| 0 | 0.0 | 921M| 545 | - | 801 |1766 | 0 | 0 | 0 | 476k| 0 | 1.000000e+00 | -- | Inf
855.06/855.36 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
855.06/855.36 c 813s| 1800k| 1218k| 0 | 0.0 | 927M| 545 | - | 801 |1987 | 0 | 0 | 0 | 479k| 0 | 1.000000e+00 | -- | Inf
859.65/859.92 c 818s| 1810k| 1225k| 0 | 0.0 | 933M| 545 | - | 801 |1913 | 0 | 0 | 0 | 481k| 0 | 1.000000e+00 | -- | Inf
864.75/865.01 c 822s| 1820k| 1232k| 0 | 0.0 | 938M| 545 | - | 801 |1993 | 0 | 0 | 0 | 483k| 0 | 1.000000e+00 | -- | Inf
869.95/870.27 c 828s| 1830k| 1239k| 0 | 0.0 | 944M| 545 | - | 801 |1899 | 0 | 0 | 0 | 486k| 0 | 1.000000e+00 | -- | Inf
874.95/875.22 c 832s| 1840k| 1246k| 0 | 0.0 | 949M| 545 | - | 801 |1768 | 0 | 0 | 0 | 489k| 0 | 1.000000e+00 | -- | Inf
879.84/880.11 c 837s| 1850k| 1253k| 0 | 0.0 | 955M| 545 | - | 801 |1756 | 0 | 0 | 0 | 491k| 0 | 1.000000e+00 | -- | Inf
884.94/885.25 c 842s| 1860k| 1260k| 0 | 0.0 | 960M| 545 | - | 801 |1754 | 0 | 0 | 0 | 494k| 0 | 1.000000e+00 | -- | Inf
889.95/890.26 c 847s| 1870k| 1267k| 0 | 0.0 | 966M| 545 | - | 801 |1584 | 0 | 0 | 0 | 497k| 0 | 1.000000e+00 | -- | Inf
895.15/895.50 c 852s| 1880k| 1274k| 0 | 0.0 | 971M| 545 | - | 801 |1636 | 0 | 0 | 0 | 500k| 0 | 1.000000e+00 | -- | Inf
900.44/900.76 c 857s| 1890k| 1281k| 0 | 0.0 | 977M| 545 | - | 801 |1621 | 0 | 0 | 0 | 503k| 0 | 1.000000e+00 | -- | Inf
905.25/905.50 c 861s| 1900k| 1288k| 0 | 0.0 | 982M| 545 | - | 801 |1726 | 0 | 0 | 0 | 505k| 0 | 1.000000e+00 | -- | Inf
910.14/910.43 c 866s| 1910k| 1295k| 0 | 0.0 | 988M| 545 | - | 801 |1582 | 0 | 0 | 0 | 508k| 0 | 1.000000e+00 | -- | Inf
915.14/915.43 c 871s| 1920k| 1302k| 0 | 0.0 | 993M| 545 | - | 801 |1476 | 0 | 0 | 0 | 511k| 0 | 1.000000e+00 | -- | Inf
920.14/920.49 c 875s| 1930k| 1309k| 0 | 0.0 | 999M| 545 | - | 801 |1645 | 0 | 0 | 0 | 513k| 0 | 1.000000e+00 | -- | Inf
925.04/925.38 c 880s| 1940k| 1316k| 0 | 0.0 |1004M| 545 | - | 801 |1667 | 0 | 0 | 0 | 516k| 0 | 1.000000e+00 | -- | Inf
930.04/930.31 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
930.04/930.31 c 885s| 1950k| 1323k| 0 | 0.0 |1009M| 545 | - | 801 |1420 | 0 | 0 | 0 | 519k| 0 | 1.000000e+00 | -- | Inf
934.65/934.94 c 889s| 1960k| 1330k| 0 | 0.0 |1015M| 545 | - | 801 |1601 | 0 | 0 | 0 | 521k| 0 | 1.000000e+00 | -- | Inf
939.63/939.98 c 894s| 1970k| 1337k| 0 | 0.0 |1021M| 545 | - | 801 |1482 | 0 | 0 | 0 | 524k| 0 | 1.000000e+00 | -- | Inf
944.54/944.90 c 899s| 1980k| 1344k| 0 | 0.0 |1026M| 545 | - | 801 |1643 | 0 | 0 | 0 | 526k| 0 | 1.000000e+00 | -- | Inf
949.33/949.68 c 903s| 1990k| 1351k| 0 | 0.0 |1032M| 545 | - | 801 |1605 | 0 | 0 | 0 | 529k| 0 | 1.000000e+00 | -- | Inf
954.44/954.73 c 908s| 2000k| 1358k| 0 | 0.0 |1037M| 545 | - | 801 |1595 | 0 | 0 | 0 | 531k| 0 | 1.000000e+00 | -- | Inf
959.53/959.87 c 913s| 2010k| 1364k| 0 | 0.0 |1042M| 545 | - | 801 |1691 | 0 | 0 | 0 | 534k| 0 | 1.000000e+00 | -- | Inf
964.52/964.87 c 918s| 2020k| 1371k| 0 | 0.0 |1048M| 545 | - | 801 |1665 | 0 | 0 | 0 | 537k| 0 | 1.000000e+00 | -- | Inf
969.23/969.56 c 922s| 2030k| 1379k| 0 | 0.0 |1053M| 545 | - | 801 |1563 | 0 | 0 | 0 | 539k| 0 | 1.000000e+00 | -- | Inf
973.73/974.06 c 926s| 2040k| 1386k| 0 | 0.0 |1059M| 545 | - | 801 |1416 | 0 | 0 | 0 | 541k| 0 | 1.000000e+00 | -- | Inf
985.23/985.58 o 3
985.23/985.58 c * 938s| 2048k| 78595 | 0 | 0.0 | 73M| 545 | - | 801 |1531 | 0 | 0 | 0 | 543k| 0 | 1.000000e+00 | 3.000000e+00 | 200.00%
986.43/986.76 c
986.43/986.76 c SCIP Status : problem is solved [optimal solution found]
986.43/986.76 c Solving Time (sec) : 938.72
986.43/986.76 c Solving Nodes : 2048525
986.43/986.76 c Primal Bound : +3.00000000000000e+00 (1 solutions)
986.43/986.76 c Dual Bound : +3.00000000000000e+00
986.43/986.76 c Gap : 0.00 %
986.43/986.76 s OPTIMUM FOUND
986.43/986.76 v -x243 -x242 -x241 -x240 -x239 -x238 -x237 -x236 -x235 -x234 -x233 -x232 -x231 -x230 -x229 -x228 x227 -x226 -x162 -x161 x160 -x159
986.43/986.76 v x158 x157 -x156 -x155 x154 -x225 -x224 -x223 -x222 x221 -x220 -x219 -x218 x217 x153 -x152 x151 x150 x149 -x148 -x147 x146
986.43/986.76 v x145 -x216 -x215 x214 -x213 -x212 -x211 -x210 -x209 -x208 x144 -x143 -x142 -x141 x140 -x139 -x138 x137 x136 -x207 -x206 -x205
986.43/986.76 v -x204 -x203 x202 x201 x200 x199 -x135 x134 -x133 x132 x131 x130 x129 x128 x127 -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191
986.43/986.76 v x190 x126 x125 x124 -x123 -x122 x121 x120 x119 x118 -x189 -x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 -x117 x116 x115
986.43/986.76 v -x114 -x113 -x112 -x111 x110 x109 -x180 -x179 -x178 -x177 -x176 -x175 -x174 -x173 -x172 -x108 -x107 -x106 -x105 -x104 -x103 -x102
986.43/986.76 v x101 x100 -x171 -x170 -x169 -x168 -x167 -x166 -x165 -x164 x163 -x99 -x98 -x97 -x96 -x95 -x94 -x93 -x92 x91 -x90 -x89 -x88
986.43/986.76 v -x87 -x86 -x85 -x84 x83 x82 -x81 -x80 -x79 -x78 -x77 -x76 -x75 x74 x73 -x72 -x71 -x70 x69 -x68 -x67 -x66 -x65 x64 -x63 x62
986.43/986.76 v -x61 x60 -x59 x58 x57 -x56 x55 -x54 -x53 -x52 -x51 x50 -x49 -x48 -x47 x46 -x45 -x44 -x43 -x42 -x41 -x40 x39 -x38 x37 -x36 -x35
986.43/986.76 v x34 -x33 -x32 -x31 -x30 -x29 x28 -x27 -x26 -x25 -x24 -x23 -x22 -x21 x20 x19 -x18 x17 -x16 x15 -x14 x13 -x12 x11 x10 -x9 -x8
986.43/986.76 v -x7 -x6 -x5 -x4 -x3 x2 x1
986.43/986.76 c SCIP Status : problem is solved [optimal solution found]
986.43/986.76 c Solving Time : 938.72
986.43/986.76 c Original Problem :
986.43/986.76 c Problem name : HOME/instance-2663539-1276646788.opb
986.43/986.76 c Variables : 972 (972 binary, 0 integer, 0 implicit integer, 0 continuous)
986.43/986.76 c Constraints : 748 initial, 748 maximal
986.43/986.76 c Presolved Problem :
986.43/986.76 c Problem name : t_HOME/instance-2663539-1276646788.opb
986.43/986.76 c Variables : 801 (801 binary, 0 integer, 0 implicit integer, 0 continuous)
986.43/986.76 c Constraints : 595 initial, 2247 maximal
986.43/986.76 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
986.43/986.76 c trivial : 0.00 0 0 0 0 0 0 0 0
986.43/986.76 c dualfix : 0.00 0 0 0 0 0 0 0 0
986.43/986.76 c boundshift : 0.00 0 0 0 0 0 0 0 0
986.43/986.76 c inttobinary : 0.00 0 0 0 0 0 0 0 0
986.43/986.76 c implics : 0.00 0 0 0 0 0 0 0 0
986.43/986.76 c probing : 0.04 0 0 0 0 0 0 0 0
986.43/986.76 c and : 0.17 18 144 0 0 0 144 0 144
986.43/986.76 c linear : 0.01 1 8 0 0 0 0 0 70
986.43/986.76 c logicor : 0.00 0 0 0 0 0 0 0 0
986.43/986.76 c root node : - 81 - - 81 - - - -
986.43/986.76 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
986.43/986.76 c integral : 0 0 0 0 0 0 0 0 0 0
986.43/986.76 c and : 576 0 4703500 0 1808942 47037 10514570 0 0 0
986.43/986.76 c linear : 9 0 4656462 0 1808942 336862 3443647 0 0 0
986.43/986.76 c logicor : 10+ 0 1773851 0 1808871 9185 398735 0 0 0
986.43/986.76 c countsols : 0 0 0 0 1808943 0 0 0 0 0
986.43/986.76 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
986.43/986.76 c integral : 0.00 0.00 0.00 0.00 0.00
986.43/986.76 c and : 149.80 0.00 92.40 0.00 57.40
986.43/986.76 c linear : 285.66 0.00 284.27 0.00 1.39
986.43/986.76 c logicor : 65.63 0.00 61.86 0.00 3.77
986.43/986.76 c countsols : 0.77 0.00 0.00 0.00 0.77
986.43/986.76 c Propagators : Time Calls Cutoffs DomReds
986.43/986.76 c vbounds : 2.25 2 0 0
986.43/986.76 c rootredcost : 2.04 0 0 0
986.43/986.76 c pseudoobj : 5.53 4703009 1 16
986.43/986.76 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
986.43/986.76 c propagation : 204.15 393085 392336 6695781 83.5 28366 59.2 -
986.43/986.76 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
986.43/986.76 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
986.43/986.76 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
986.43/986.76 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
986.43/986.76 c applied globally : - - - 541486 41.4 - - -
986.43/986.76 c applied locally : - - - 2485 94.5 - - -
986.43/986.76 c Separators : Time Calls Cutoffs DomReds Cuts Conss
986.43/986.76 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
986.43/986.76 c redcost : 0.00 0 0 0 0 0
986.43/986.76 c impliedbounds : 0.00 0 0 0 0 0
986.43/986.76 c intobj : 0.00 0 0 0 0 0
986.43/986.76 c cgmip : 0.00 0 0 0 0 0
986.43/986.76 c gomory : 0.00 0 0 0 0 0
986.43/986.76 c strongcg : 0.00 0 0 0 0 0
986.43/986.76 c cmir : 0.00 0 0 0 0 0
986.43/986.76 c flowcover : 0.00 0 0 0 0 0
986.43/986.76 c clique : 0.00 0 0 0 0 0
986.43/986.76 c zerohalf : 0.00 0 0 0 0 0
986.43/986.76 c mcf : 0.00 0 0 0 0 0
986.43/986.76 c rapidlearning : 0.00 0 0 0 0 0
986.43/986.76 c Pricers : Time Calls Vars
986.43/986.76 c problem variables: 0.00 0 0
986.43/986.76 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
986.43/986.76 c relpscost : 0.00 0 0 0 0 0 0
986.43/986.76 c pscost : 0.00 0 0 0 0 0 0
986.43/986.76 c inference : 163.34 1808942 0 0 0 0 3617884
986.43/986.76 c mostinf : 0.00 0 0 0 0 0 0
986.43/986.76 c leastinf : 0.00 0 0 0 0 0 0
986.43/986.76 c fullstrong : 0.00 0 0 0 0 0 0
986.43/986.76 c allfullstrong : 0.00 0 0 0 0 0 0
986.43/986.76 c random : 0.00 0 0 0 0 0 0
986.43/986.76 c Primal Heuristics : Time Calls Found
986.43/986.76 c LP solutions : 0.00 - 0
986.43/986.76 c pseudo solutions : 7.36 - 1
986.43/986.76 c oneopt : 1.15 0 0
986.43/986.76 c trivial : 0.00 2 0
986.43/986.76 c simplerounding : 0.00 0 0
986.43/986.76 c zirounding : 0.00 0 0
986.43/986.76 c rounding : 0.00 0 0
986.43/986.76 c shifting : 0.00 0 0
986.43/986.76 c intshifting : 0.00 0 0
986.43/986.76 c twoopt : 0.00 0 0
986.43/986.76 c fixandinfer : 0.00 0 0
986.43/986.76 c feaspump : 0.00 0 0
986.43/986.76 c coefdiving : 0.00 0 0
986.43/986.76 c pscostdiving : 0.00 0 0
986.43/986.76 c fracdiving : 0.00 0 0
986.43/986.76 c veclendiving : 0.00 0 0
986.43/986.76 c intdiving : 0.00 0 0
986.43/986.76 c actconsdiving : 0.00 0 0
986.43/986.76 c objpscostdiving : 0.00 0 0
986.43/986.76 c rootsoldiving : 0.00 0 0
986.43/986.76 c linesearchdiving : 0.00 0 0
986.43/986.76 c guideddiving : 0.00 0 0
986.43/986.76 c octane : 0.00 0 0
986.43/986.76 c rens : 0.00 0 0
986.43/986.76 c rins : 0.00 0 0
986.43/986.76 c localbranching : 0.00 0 0
986.43/986.76 c mutation : 0.00 0 0
986.43/986.76 c crossover : 0.00 0 0
986.43/986.76 c dins : 0.00 0 0
986.43/986.76 c undercover : 0.00 0 0
986.43/986.76 c nlp : 1.04 0 0
986.43/986.76 c trysol : 0.82 0 0
986.43/986.76 c LP : Time Calls Iterations Iter/call Iter/sec
986.43/986.76 c primal LP : 0.00 0 0 0.00 -
986.43/986.76 c dual LP : 0.00 0 0 0.00 -
986.43/986.76 c lex dual LP : 0.00 0 0 0.00 -
986.43/986.76 c barrier LP : 0.00 0 0 0.00 -
986.43/986.76 c diving/probing LP: 0.00 0 0 0.00 -
986.43/986.76 c strong branching : 0.00 0 0 0.00 -
986.43/986.76 c (at root node) : - 0 0 0.00 -
986.43/986.76 c conflict analysis: 0.00 0 0 0.00 -
986.43/986.76 c B&B Tree :
986.43/986.76 c number of runs : 1
986.43/986.76 c nodes : 2048525
986.43/986.76 c nodes (total) : 2048525
986.43/986.76 c nodes left : 0
986.43/986.76 c max depth : 545
986.43/986.76 c max depth (total): 545
986.43/986.76 c backtracks : 161697 (7.9%)
986.43/986.76 c delayed cutoffs : 255243
986.43/986.76 c repropagations : 346336 (1856752 domain reductions, 153503 cutoffs)
986.43/986.76 c avg switch length: 7.86
986.43/986.76 c switching time : 173.54
986.43/986.76 c Solution :
986.43/986.76 c Solutions found : 1 (1 improvements)
986.43/986.76 c First Solution : +3.00000000000000e+00 (in run 1, after 2048524 nodes, 930.31 seconds, depth 121, found by <relaxation>)
986.43/986.76 c Primal Bound : +3.00000000000000e+00 (in run 1, after 2048524 nodes, 930.31 seconds, depth 121, found by <relaxation>)
986.43/986.76 c Dual Bound : +3.00000000000000e+00
986.43/986.76 c Gap : 0.00 %
986.43/986.76 c Root Dual Bound : +1.00000000000000e+00
986.43/986.76 c Root Iterations : 0
986.52/986.86 c Time complete: 986.58.