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-2693685-1277914810.wbo>
0.00/0.04 c original problem has 4106 variables (2859 bin, 0 int, 0 impl, 1247 cont) and 4901 constraints
0.00/0.04 c problem read
0.00/0.04 c presolving settings loaded
0.00/0.04 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.06 c presolving:
0.00/0.07 c (round 1) 61 del vars, 16 del conss, 3 chg bounds, 190 chg sides, 382 chg coeffs, 0 upgd conss, 17414 impls, 0 clqs
0.08/0.08 c (round 2) 64 del vars, 128 del conss, 5 chg bounds, 190 chg sides, 382 chg coeffs, 0 upgd conss, 17414 impls, 0 clqs
0.08/0.08 c (round 3) 65 del vars, 131 del conss, 5 chg bounds, 190 chg sides, 382 chg coeffs, 0 upgd conss, 17420 impls, 0 clqs
0.08/0.09 c (round 4) 67 del vars, 133 del conss, 1249 chg bounds, 190 chg sides, 382 chg coeffs, 0 upgd conss, 17420 impls, 0 clqs
0.09/0.12 c (round 5) 69 del vars, 133 del conss, 1249 chg bounds, 190 chg sides, 382 chg coeffs, 2281 upgd conss, 17420 impls, 0 clqs
0.28/0.39 c (0.3s) probing: 920/2793 (32.9%) - 0 fixings, 10 aggregations, 136 implications, 0 bound changes
0.28/0.39 c (0.3s) probing aborted: 100/100 successive totally useless probings
0.28/0.39 c (round 6) 79 del vars, 133 del conss, 1249 chg bounds, 190 chg sides, 382 chg coeffs, 2281 upgd conss, 17827 impls, 0 clqs
0.38/0.42 c (0.3s) probing: 1000/2793 (35.8%) - 0 fixings, 11 aggregations, 141 implications, 0 bound changes
0.38/0.43 c (0.4s) probing: 1035/2793 (37.1%) - 0 fixings, 11 aggregations, 141 implications, 0 bound changes
0.38/0.43 c (0.4s) probing aborted: 100/100 successive totally useless probings
0.38/0.43 c (round 7) 80 del vars, 133 del conss, 1249 chg bounds, 190 chg sides, 382 chg coeffs, 2281 upgd conss, 17834 impls, 0 clqs
0.38/0.45 c (0.4s) probing: 1045/2793 (37.4%) - 0 fixings, 11 aggregations, 141 implications, 0 bound changes
0.38/0.45 c (0.4s) probing aborted: 100/100 successive totally useless probings
0.38/0.45 c presolving (8 rounds):
0.38/0.45 c 80 deleted vars, 133 deleted constraints, 1249 tightened bounds, 0 added holes, 190 changed sides, 382 changed coefficients
0.38/0.45 c 17834 implications, 0 cliques
0.38/0.45 c presolved problem has 4026 variables (2782 bin, 0 int, 0 impl, 1244 cont) and 4768 constraints
0.38/0.45 c 1244 constraints of type <indicator>
0.38/0.45 c 1 constraints of type <varbound>
0.38/0.45 c 248 constraints of type <knapsack>
0.38/0.45 c 1243 constraints of type <linear>
0.38/0.45 c 2032 constraints of type <logicor>
0.38/0.45 c transformed objective value is always integral (scale: 1)
0.38/0.45 c Presolving Time: 0.37
0.38/0.45 c - non default parameters ----------------------------------------------------------------------
0.38/0.45 c # SCIP version 1.2.1.2
0.38/0.45 c
0.38/0.45 c # frequency for displaying node information lines
0.38/0.45 c # [type: int, range: [-1,2147483647], default: 100]
0.38/0.45 c display/freq = 10000
0.38/0.45 c
0.38/0.45 c # maximal time in seconds to run
0.38/0.45 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.38/0.45 c limits/time = 1799.96
0.38/0.45 c
0.38/0.45 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.38/0.45 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.38/0.45 c limits/memory = 3420
0.38/0.45 c
0.38/0.45 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.38/0.45 c # [type: int, range: [-1,2147483647], default: 1]
0.38/0.45 c lp/solvefreq = -1
0.38/0.45 c
0.38/0.45 c # should presolving try to simplify inequalities
0.38/0.45 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.38/0.45 c constraints/linear/simplifyinequalities = TRUE
0.38/0.45 c
0.38/0.45 c # should presolving try to simplify knapsacks
0.38/0.45 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.38/0.45 c constraints/knapsack/simplifyinequalities = TRUE
0.38/0.45 c
0.38/0.45 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.38/0.45 c # [type: int, range: [-1,2147483647], default: -1]
0.38/0.45 c separating/rapidlearning/freq = 0
0.38/0.45 c
0.38/0.45 c -----------------------------------------------------------------------------------------------
0.38/0.45 c start solving
0.38/0.45 c
0.38/0.46 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.38/0.46 c 0.4s| 1 | 2 | 0 | - | 14M| 0 | - |4026 |4768 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
6.89/6.93 c 6.7s| 10000 | 10001 | 0 | 0.0 | 20M| 77 | - |4026 |4768 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
13.19/13.25 c 12.9s| 20000 | 20001 | 0 | 0.0 | 26M| 77 | - |4026 |4768 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
19.39/19.48 c 19.0s| 30000 | 30001 | 0 | 0.0 | 31M| 77 | - |4026 |4768 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
25.49/25.59 c 25.0s| 40000 | 40001 | 0 | 0.0 | 37M| 115 | - |4026 |4768 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
31.39/31.44 c 30.7s| 50000 | 50001 | 0 | 0.0 | 42M| 121 | - |4026 |4768 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
37.19/37.28 c 36.4s| 60000 | 60001 | 0 | 0.0 | 47M| 121 | - |4026 |4768 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
43.09/43.11 c 42.1s| 70000 | 70001 | 0 | 0.0 | 53M| 121 | - |4026 |4768 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
48.89/48.94 c 47.8s| 80000 | 80001 | 0 | 0.0 | 58M| 121 | - |4026 |4768 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
54.79/54.85 c 53.6s| 90000 | 90001 | 0 | 0.0 | 64M| 121 | - |4026 |4768 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
60.79/60.84 c 59.5s|100000 |100001 | 0 | 0.0 | 69M| 121 | - |4026 |4768 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
66.69/66.79 c 65.3s|110000 |110001 | 0 | 0.0 | 75M| 121 | - |4026 |4768 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
72.69/72.75 c 71.2s|120000 |120001 | 0 | 0.0 | 80M| 121 | - |4026 |4768 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
78.59/78.67 c 76.9s|130000 |130001 | 0 | 0.0 | 85M| 121 | - |4026 |4768 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
84.49/84.56 c 82.7s|140000 |140001 | 0 | 0.0 | 91M| 127 | - |4026 |4768 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
90.39/90.45 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
90.39/90.45 c 88.4s|150000 |150001 | 0 | 0.0 | 96M| 127 | - |4026 |4768 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
96.29/96.35 c 94.2s|160000 |160001 | 0 | 0.0 | 102M| 127 | - |4026 |4768 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
102.19/102.28 c 100s|170000 |170001 | 0 | 0.0 | 107M| 127 | - |4026 |4768 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
108.09/108.18 c 106s|180000 |180001 | 0 | 0.0 | 112M| 127 | - |4026 |4768 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
113.99/114.08 c 112s|190000 |190001 | 0 | 0.0 | 118M| 127 | - |4026 |4768 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
119.89/119.99 c 117s|200000 |200001 | 0 | 0.0 | 123M| 127 | - |4026 |4768 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
125.79/125.89 c 123s|210000 |210001 | 0 | 0.0 | 128M| 127 | - |4026 |4768 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
131.69/131.78 c 129s|220000 |220001 | 0 | 0.0 | 134M| 127 | - |4026 |4768 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
137.59/137.69 c 135s|230000 |230001 | 0 | 0.0 | 139M| 127 | - |4026 |4768 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
143.49/143.57 c 140s|240000 |240001 | 0 | 0.0 | 145M| 127 | - |4026 |4768 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
149.39/149.40 c 146s|250000 |249999 | 0 | 0.0 | 150M| 127 | - |4026 |4769 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
155.18/155.26 c 152s|260000 |259999 | 0 | 0.0 | 155M| 127 | - |4026 |4769 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
160.98/161.09 c 158s|270000 |269999 | 0 | 0.0 | 160M| 127 | - |4026 |4769 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
166.88/166.91 c 163s|280000 |279999 | 0 | 0.0 | 166M| 127 | - |4026 |4769 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
172.69/172.71 c 169s|290000 |289999 | 0 | 0.0 | 171M| 127 | - |4026 |4769 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
178.38/178.48 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
178.38/178.48 c 175s|300000 |299999 | 0 | 0.0 | 176M| 127 | - |4026 |4769 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
184.19/184.28 c 180s|310000 |309999 | 0 | 0.0 | 181M| 127 | - |4026 |4769 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
189.99/190.04 c 186s|320000 |319999 | 0 | 0.0 | 186M| 127 | - |4026 |4769 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
195.79/195.87 c 192s|330000 |329999 | 0 | 0.0 | 192M| 127 | - |4026 |4769 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
201.59/201.65 c 197s|340000 |339999 | 0 | 0.0 | 197M| 127 | - |4026 |4769 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
207.39/207.44 c 203s|350000 |349999 | 0 | 0.0 | 202M| 127 | - |4026 |4769 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
213.19/213.23 c 209s|360000 |359999 | 0 | 0.0 | 207M| 127 | - |4026 |4769 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
218.99/219.01 c 214s|370000 |369999 | 0 | 0.0 | 212M| 127 | - |4026 |4769 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
224.79/224.81 c 220s|380000 |379999 | 0 | 0.0 | 217M| 127 | - |4026 |4769 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
230.48/230.59 c 226s|390000 |389999 | 0 | 0.0 | 222M| 127 | - |4026 |4769 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
236.29/236.36 c 231s|400000 |399999 | 0 | 0.0 | 228M| 127 | - |4026 |4769 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
242.09/242.14 c 237s|410000 |409999 | 0 | 0.0 | 233M| 127 | - |4026 |4769 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
247.79/247.89 c 243s|420000 |419999 | 0 | 0.0 | 238M| 127 | - |4026 |4769 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
253.59/253.65 c 248s|430000 |429999 | 0 | 0.0 | 243M| 127 | - |4026 |4769 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
259.38/259.41 c 254s|440000 |439999 | 0 | 0.0 | 248M| 127 | - |4026 |4769 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
265.09/265.18 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
265.09/265.18 c 259s|450000 |449999 | 0 | 0.0 | 253M| 127 | - |4026 |4769 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
270.89/270.93 c 265s|460000 |459999 | 0 | 0.0 | 258M| 127 | - |4026 |4769 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
276.59/276.68 c 271s|470000 |469999 | 0 | 0.0 | 264M| 127 | - |4026 |4769 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
282.39/282.43 c 276s|480000 |479999 | 0 | 0.0 | 269M| 127 | - |4026 |4769 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
288.19/288.20 c 282s|490000 |489999 | 0 | 0.0 | 274M| 127 | - |4026 |4769 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
293.89/293.96 c 288s|500000 |499999 | 0 | 0.0 | 279M| 127 | - |4026 |4769 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
299.68/299.72 c 293s|510000 |509999 | 0 | 0.0 | 284M| 127 | - |4026 |4769 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
305.39/305.43 c 299s|520000 |519999 | 0 | 0.0 | 289M| 127 | - |4026 |4769 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
311.09/311.14 c 304s|530000 |529999 | 0 | 0.0 | 294M| 127 | - |4026 |4769 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
316.79/316.87 c 310s|540000 |539999 | 0 | 0.0 | 299M| 127 | - |4026 |4769 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
322.59/322.60 c 316s|550000 |549999 | 0 | 0.0 | 304M| 127 | - |4026 |4769 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
328.29/328.34 c 321s|560000 |559999 | 0 | 0.0 | 309M| 127 | - |4026 |4769 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
333.99/334.07 c 327s|570000 |569999 | 0 | 0.0 | 314M| 127 | - |4026 |4769 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
339.79/339.81 c 332s|580000 |579999 | 0 | 0.0 | 320M| 127 | - |4026 |4769 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
345.49/345.52 c 338s|590000 |589999 | 0 | 0.0 | 325M| 127 | - |4026 |4769 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
351.18/351.22 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
351.18/351.22 c 344s|600000 |599999 | 0 | 0.0 | 330M| 127 | - |4026 |4769 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
356.89/356.92 c 349s|610000 |609999 | 0 | 0.0 | 335M| 127 | - |4026 |4769 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
362.59/362.62 c 355s|620000 |619999 | 0 | 0.0 | 340M| 127 | - |4026 |4769 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
368.19/368.29 c 360s|630000 |629999 | 0 | 0.0 | 345M| 127 | - |4026 |4769 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
373.89/373.97 c 366s|640000 |639999 | 0 | 0.0 | 350M| 127 | - |4026 |4769 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
379.59/379.64 c 371s|650000 |649999 | 0 | 0.0 | 355M| 127 | - |4026 |4769 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
385.29/385.32 c 377s|660000 |659999 | 0 | 0.0 | 360M| 127 | - |4026 |4769 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
390.89/390.97 c 383s|670000 |669999 | 0 | 0.0 | 365M| 127 | - |4026 |4769 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
396.59/396.64 c 388s|680000 |679999 | 0 | 0.0 | 370M| 127 | - |4026 |4769 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
402.19/402.29 c 394s|690000 |689999 | 0 | 0.0 | 374M| 127 | - |4026 |4769 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
407.89/407.93 c 399s|700000 |699999 | 0 | 0.0 | 379M| 127 | - |4026 |4769 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
413.50/413.56 c 405s|710000 |709999 | 0 | 0.0 | 384M| 127 | - |4026 |4769 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
419.09/419.19 c 410s|720000 |719999 | 0 | 0.0 | 389M| 127 | - |4026 |4769 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
424.79/424.83 c 416s|730000 |729999 | 0 | 0.0 | 394M| 127 | - |4026 |4769 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
430.39/430.43 c 421s|740000 |739999 | 0 | 0.0 | 399M| 127 | - |4026 |4769 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
435.99/436.04 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
435.99/436.04 c 427s|750000 |749999 | 0 | 0.0 | 404M| 127 | - |4026 |4769 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
441.59/441.63 c 432s|760000 |759999 | 0 | 0.0 | 409M| 127 | - |4026 |4769 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
447.19/447.24 c 438s|770000 |769999 | 0 | 0.0 | 414M| 127 | - |4026 |4769 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
452.79/452.82 c 443s|780000 |779999 | 0 | 0.0 | 419M| 127 | - |4026 |4769 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
458.29/458.37 c 448s|790000 |789999 | 0 | 0.0 | 423M| 127 | - |4026 |4769 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
463.89/463.92 c 454s|800000 |799999 | 0 | 0.0 | 428M| 127 | - |4026 |4769 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
469.40/469.41 c 459s|810000 |809999 | 0 | 0.0 | 433M| 127 | - |4026 |4769 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
475.09/475.18 c 465s|820000 |819999 | 0 | 0.0 | 438M| 127 | - |4026 |4769 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
480.89/480.94 c 471s|830000 |829999 | 0 | 0.0 | 443M| 127 | - |4026 |4769 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
486.89/486.94 c 476s|840000 |839999 | 0 | 0.0 | 449M| 127 | - |4026 |4769 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
492.89/492.93 c 482s|850000 |849999 | 0 | 0.0 | 454M| 127 | - |4026 |4769 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
498.79/498.89 c 488s|860000 |859999 | 0 | 0.0 | 460M| 127 | - |4026 |4769 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
504.80/504.84 c 494s|870000 |869999 | 0 | 0.0 | 465M| 127 | - |4026 |4769 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
510.69/510.75 c 500s|880000 |879999 | 0 | 0.0 | 470M| 127 | - |4026 |4769 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
516.59/516.69 c 506s|890000 |889999 | 0 | 0.0 | 476M| 127 | - |4026 |4769 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
522.60/522.63 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
522.60/522.63 c 511s|900000 |899999 | 0 | 0.0 | 481M| 127 | - |4026 |4769 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
528.39/528.50 c 517s|910000 |909999 | 0 | 0.0 | 486M| 127 | - |4026 |4769 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
534.39/534.40 c 523s|920000 |919999 | 0 | 0.0 | 492M| 127 | - |4026 |4769 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
540.29/540.32 c 529s|930000 |929999 | 0 | 0.0 | 497M| 127 | - |4026 |4769 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
546.20/546.22 c 534s|940000 |939999 | 0 | 0.0 | 502M| 127 | - |4026 |4769 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
551.99/552.05 c 540s|950000 |949999 | 0 | 0.0 | 507M| 127 | - |4026 |4769 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
557.80/557.87 c 546s|960000 |959999 | 0 | 0.0 | 513M| 127 | - |4026 |4769 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
563.70/563.71 c 552s|970000 |969999 | 0 | 0.0 | 518M| 127 | - |4026 |4769 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
569.50/569.52 c 557s|980000 |979999 | 0 | 0.0 | 523M| 127 | - |4026 |4769 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
575.30/575.39 c 563s|990000 |989999 | 0 | 0.0 | 528M| 127 | - |4026 |4769 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
581.20/581.23 c 569s| 1000k|999999 | 0 | 0.0 | 534M| 127 | - |4026 |4769 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
587.00/587.05 c 574s| 1010k| 1009k| 0 | 0.0 | 539M| 127 | - |4026 |4769 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
592.80/592.87 c 580s| 1020k| 1019k| 0 | 0.0 | 544M| 127 | - |4026 |4769 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
598.59/598.65 c 586s| 1030k| 1029k| 0 | 0.0 | 549M| 127 | - |4026 |4769 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
604.40/604.40 c 591s| 1040k| 1039k| 0 | 0.0 | 554M| 127 | - |4026 |4769 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
610.09/610.19 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
610.09/610.19 c 597s| 1050k| 1049k| 0 | 0.0 | 559M| 127 | - |4026 |4769 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
616.00/616.03 c 603s| 1060k| 1059k| 0 | 0.0 | 565M| 127 | - |4026 |4769 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
621.79/621.88 c 609s| 1070k| 1069k| 0 | 0.0 | 570M| 127 | - |4026 |4769 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
627.59/627.68 c 614s| 1080k| 1079k| 0 | 0.0 | 575M| 127 | - |4026 |4769 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
633.39/633.47 c 620s| 1090k| 1089k| 0 | 0.0 | 580M| 127 | - |4026 |4769 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
639.19/639.25 c 625s| 1100k| 1099k| 0 | 0.0 | 585M| 127 | - |4026 |4769 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
644.99/645.04 c 631s| 1110k| 1109k| 0 | 0.0 | 590M| 127 | - |4026 |4769 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
650.79/650.83 c 637s| 1120k| 1119k| 0 | 0.0 | 596M| 127 | - |4026 |4769 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
656.61/656.66 c 643s| 1130k| 1129k| 0 | 0.0 | 601M| 127 | - |4026 |4769 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
662.40/662.47 c 648s| 1140k| 1139k| 0 | 0.0 | 606M| 127 | - |4026 |4769 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
668.30/668.31 c 654s| 1150k| 1149k| 0 | 0.0 | 611M| 127 | - |4026 |4769 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
674.10/674.14 c 660s| 1160k| 1159k| 0 | 0.0 | 616M| 127 | - |4026 |4769 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
679.90/679.94 c 665s| 1170k| 1169k| 0 | 0.0 | 622M| 127 | - |4026 |4769 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
685.60/685.69 c 671s| 1180k| 1179k| 0 | 0.0 | 627M| 127 | - |4026 |4769 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
691.39/691.48 c 677s| 1190k| 1189k| 0 | 0.0 | 632M| 127 | - |4026 |4769 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
697.20/697.27 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
697.20/697.27 c 682s| 1200k| 1199k| 0 | 0.0 | 637M| 127 | - |4026 |4769 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
703.00/703.03 c 688s| 1210k| 1209k| 0 | 0.0 | 642M| 127 | - |4026 |4769 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
708.79/708.80 c 694s| 1220k| 1219k| 0 | 0.0 | 647M| 127 | - |4026 |4769 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
714.49/714.57 c 699s| 1230k| 1229k| 0 | 0.0 | 652M| 127 | - |4026 |4769 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
720.30/720.36 c 705s| 1240k| 1239k| 0 | 0.0 | 658M| 127 | - |4026 |4769 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
726.10/726.17 c 711s| 1250k| 1249k| 0 | 0.0 | 663M| 127 | - |4026 |4769 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
731.90/731.98 c 716s| 1260k| 1259k| 0 | 0.0 | 668M| 127 | - |4026 |4769 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
737.70/737.77 c 722s| 1270k| 1269k| 0 | 0.0 | 673M| 127 | - |4026 |4769 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
743.50/743.52 c 727s| 1280k| 1279k| 0 | 0.0 | 678M| 127 | - |4026 |4769 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
749.20/749.28 c 733s| 1290k| 1289k| 0 | 0.0 | 683M| 127 | - |4026 |4769 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
755.00/755.02 c 739s| 1300k| 1299k| 0 | 0.0 | 688M| 127 | - |4026 |4769 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
760.70/760.76 c 744s| 1310k| 1309k| 0 | 0.0 | 693M| 127 | - |4026 |4769 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
766.50/766.50 c 750s| 1320k| 1319k| 0 | 0.0 | 699M| 127 | - |4026 |4769 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
772.21/772.26 c 756s| 1330k| 1329k| 0 | 0.0 | 704M| 127 | - |4026 |4769 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
778.00/778.02 c 761s| 1340k| 1339k| 0 | 0.0 | 709M| 127 | - |4026 |4769 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
783.70/783.79 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
783.70/783.79 c 767s| 1350k| 1349k| 0 | 0.0 | 714M| 127 | - |4026 |4769 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
789.50/789.57 c 773s| 1360k| 1359k| 0 | 0.0 | 719M| 127 | - |4026 |4769 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
795.31/795.34 c 778s| 1370k| 1369k| 0 | 0.0 | 724M| 127 | - |4026 |4769 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
801.10/801.10 c 784s| 1380k| 1379k| 0 | 0.0 | 729M| 127 | - |4026 |4769 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
806.80/806.87 c 789s| 1390k| 1389k| 0 | 0.0 | 734M| 127 | - |4026 |4769 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
812.60/812.64 c 795s| 1400k| 1399k| 0 | 0.0 | 739M| 127 | - |4026 |4769 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
818.41/818.42 c 801s| 1410k| 1409k| 0 | 0.0 | 744M| 127 | - |4026 |4769 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
824.10/824.19 c 806s| 1420k| 1419k| 0 | 0.0 | 750M| 127 | - |4026 |4769 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
829.91/829.96 c 812s| 1430k| 1429k| 0 | 0.0 | 755M| 127 | - |4026 |4769 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
835.60/835.70 c 818s| 1440k| 1439k| 0 | 0.0 | 760M| 127 | - |4026 |4769 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
841.41/841.42 c 823s| 1450k| 1449k| 0 | 0.0 | 765M| 127 | - |4026 |4769 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
847.10/847.17 c 829s| 1460k| 1459k| 0 | 0.0 | 770M| 127 | - |4026 |4769 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
852.90/852.90 c 834s| 1470k| 1469k| 0 | 0.0 | 775M| 127 | - |4026 |4769 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
858.60/858.63 c 840s| 1480k| 1479k| 0 | 0.0 | 780M| 127 | - |4026 |4769 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
864.30/864.36 c 846s| 1490k| 1489k| 0 | 0.0 | 785M| 127 | - |4026 |4769 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
870.11/870.11 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
870.11/870.11 c 851s| 1500k| 1499k| 0 | 0.0 | 790M| 127 | - |4026 |4769 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
875.81/875.86 c 857s| 1510k| 1509k| 0 | 0.0 | 795M| 127 | - |4026 |4769 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
881.50/881.59 c 863s| 1520k| 1519k| 0 | 0.0 | 800M| 127 | - |4026 |4769 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
887.30/887.33 c 868s| 1530k| 1529k| 0 | 0.0 | 805M| 127 | - |4026 |4769 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
893.00/893.07 c 874s| 1540k| 1539k| 0 | 0.0 | 810M| 127 | - |4026 |4769 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
898.70/898.79 c 879s| 1550k| 1549k| 0 | 0.0 | 816M| 127 | - |4026 |4769 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
904.51/904.52 c 885s| 1560k| 1559k| 0 | 0.0 | 821M| 127 | - |4026 |4769 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
910.20/910.26 c 891s| 1570k| 1569k| 0 | 0.0 | 826M| 127 | - |4026 |4769 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
916.00/916.01 c 896s| 1580k| 1579k| 0 | 0.0 | 831M| 127 | - |4026 |4769 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
921.71/921.78 c 902s| 1590k| 1589k| 0 | 0.0 | 836M| 127 | - |4026 |4769 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
927.50/927.51 c 907s| 1600k| 1599k| 0 | 0.0 | 841M| 127 | - |4026 |4769 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
933.21/933.25 c 913s| 1610k| 1609k| 0 | 0.0 | 846M| 127 | - |4026 |4769 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
939.00/939.00 c 919s| 1620k| 1619k| 0 | 0.0 | 851M| 127 | - |4026 |4769 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
944.70/944.71 c 924s| 1630k| 1629k| 0 | 0.0 | 856M| 127 | - |4026 |4769 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
950.41/950.43 c 930s| 1640k| 1639k| 0 | 0.0 | 861M| 127 | - |4026 |4769 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
956.10/956.15 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
956.10/956.15 c 936s| 1650k| 1649k| 0 | 0.0 | 866M| 127 | - |4026 |4769 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
961.81/961.85 c 941s| 1660k| 1659k| 0 | 0.0 | 871M| 127 | - |4026 |4769 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
967.51/967.56 c 947s| 1670k| 1669k| 0 | 0.0 | 876M| 127 | - |4026 |4769 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
973.20/973.25 c 952s| 1680k| 1679k| 0 | 0.0 | 881M| 127 | - |4026 |4769 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
978.91/978.97 c 958s| 1690k| 1689k| 0 | 0.0 | 886M| 127 | - |4026 |4769 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
984.60/984.66 c 963s| 1700k| 1699k| 0 | 0.0 | 891M| 127 | - |4026 |4769 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
990.31/990.36 c 969s| 1710k| 1709k| 0 | 0.0 | 896M| 127 | - |4026 |4769 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
996.00/996.05 c 975s| 1720k| 1719k| 0 | 0.0 | 901M| 127 | - |4026 |4769 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
1001.71/1001.76 c 980s| 1730k| 1729k| 0 | 0.0 | 906M| 127 | - |4026 |4769 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
1007.41/1007.47 c 986s| 1740k| 1739k| 0 | 0.0 | 911M| 127 | - |4026 |4769 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
1013.11/1013.18 c 991s| 1750k| 1749k| 0 | 0.0 | 916M| 127 | - |4026 |4769 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
1018.81/1018.87 c 997s| 1760k| 1759k| 0 | 0.0 | 921M| 127 | - |4026 |4769 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
1024.51/1024.55 c 1002s| 1770k| 1769k| 0 | 0.0 | 926M| 127 | - |4026 |4769 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
1030.21/1030.26 c 1008s| 1780k| 1779k| 0 | 0.0 | 931M| 127 | - |4026 |4769 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
1035.90/1035.97 c 1014s| 1790k| 1789k| 0 | 0.0 | 936M| 127 | - |4026 |4769 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
1041.61/1041.69 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1041.61/1041.69 c 1019s| 1800k| 1799k| 0 | 0.0 | 941M| 127 | - |4026 |4769 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
1047.40/1047.42 c 1025s| 1810k| 1809k| 0 | 0.0 | 946M| 127 | - |4026 |4769 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
1053.10/1053.14 c 1030s| 1820k| 1819k| 0 | 0.0 | 951M| 127 | - |4026 |4769 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
1058.80/1058.87 c 1036s| 1830k| 1829k| 0 | 0.0 | 956M| 127 | - |4026 |4769 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
1064.51/1064.60 c 1042s| 1840k| 1839k| 0 | 0.0 | 961M| 127 | - |4026 |4769 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
1070.31/1070.31 c 1047s| 1850k| 1849k| 0 | 0.0 | 966M| 127 | - |4026 |4769 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
1076.01/1076.02 c 1053s| 1860k| 1859k| 0 | 0.0 | 971M| 127 | - |4026 |4769 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
1081.71/1081.73 c 1058s| 1870k| 1869k| 0 | 0.0 | 976M| 127 | - |4026 |4769 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
1087.41/1087.42 c 1064s| 1880k| 1879k| 0 | 0.0 | 981M| 127 | - |4026 |4769 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
1093.11/1093.12 c 1070s| 1890k| 1889k| 0 | 0.0 | 986M| 127 | - |4026 |4769 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
1098.71/1098.79 c 1075s| 1900k| 1899k| 0 | 0.0 | 991M| 127 | - |4026 |4769 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
1104.42/1104.45 c 1081s| 1910k| 1909k| 0 | 0.0 | 996M| 127 | - |4026 |4769 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
1110.11/1110.11 c 1086s| 1920k| 1919k| 0 | 0.0 |1001M| 127 | - |4026 |4769 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
1115.71/1115.77 c 1092s| 1930k| 1929k| 0 | 0.0 |1006M| 127 | - |4026 |4769 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
1121.41/1121.47 c 1097s| 1940k| 1939k| 0 | 0.0 |1011M| 127 | - |4026 |4769 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
1127.11/1127.16 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1127.11/1127.16 c 1103s| 1950k| 1949k| 0 | 0.0 |1016M| 127 | - |4026 |4769 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
1132.81/1132.85 c 1108s| 1960k| 1959k| 0 | 0.0 |1021M| 127 | - |4026 |4769 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
1138.51/1138.55 c 1114s| 1970k| 1969k| 0 | 0.0 |1026M| 127 | - |4026 |4769 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
1144.21/1144.24 c 1120s| 1980k| 1979k| 0 | 0.0 |1031M| 127 | - |4026 |4769 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
1149.91/1149.95 c 1125s| 1990k| 1989k| 0 | 0.0 |1036M| 127 | - |4026 |4769 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
1155.61/1155.66 c 1131s| 2000k| 1999k| 0 | 0.0 |1041M| 127 | - |4026 |4769 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
1161.31/1161.35 c 1136s| 2010k| 2009k| 0 | 0.0 |1046M| 127 | - |4026 |4769 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
1167.01/1167.05 c 1142s| 2020k| 2019k| 0 | 0.0 |1051M| 127 | - |4026 |4769 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
1172.71/1172.72 c 1147s| 2030k| 2029k| 0 | 0.0 |1056M| 127 | - |4026 |4769 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
1178.41/1178.43 c 1153s| 2040k| 2039k| 0 | 0.0 |1061M| 127 | - |4026 |4769 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
1184.11/1184.16 c 1159s| 2050k| 2049k| 0 | 0.0 |1066M| 127 | - |4026 |4769 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
1189.81/1189.87 c 1164s| 2060k| 2059k| 0 | 0.0 |1071M| 127 | - |4026 |4769 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
1195.51/1195.59 c 1170s| 2070k| 2069k| 0 | 0.0 |1076M| 127 | - |4026 |4769 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
1201.31/1201.32 c 1175s| 2080k| 2079k| 0 | 0.0 |1081M| 127 | - |4026 |4769 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
1207.01/1207.01 c 1181s| 2090k| 2089k| 0 | 0.0 |1086M| 127 | - |4026 |4769 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
1212.61/1212.69 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1212.61/1212.69 c 1187s| 2100k| 2099k| 0 | 0.0 |1091M| 127 | - |4026 |4769 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
1218.32/1218.35 c 1192s| 2110k| 2109k| 0 | 0.0 |1096M| 127 | - |4026 |4769 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
1224.01/1224.00 c 1198s| 2120k| 2119k| 0 | 0.0 |1101M| 127 | - |4026 |4769 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
1229.61/1229.65 c 1203s| 2130k| 2129k| 0 | 0.0 |1106M| 127 | - |4026 |4769 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
1235.32/1235.31 c 1209s| 2140k| 2139k| 0 | 0.0 |1111M| 127 | - |4026 |4769 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
1240.91/1240.97 c 1214s| 2150k| 2149k| 0 | 0.0 |1116M| 127 | - |4026 |4769 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
1246.61/1246.63 c 1220s| 2160k| 2159k| 0 | 0.0 |1121M| 127 | - |4026 |4769 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
1252.21/1252.27 c 1225s| 2170k| 2169k| 0 | 0.0 |1126M| 127 | - |4026 |4769 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
1257.91/1257.93 c 1231s| 2180k| 2179k| 0 | 0.0 |1131M| 127 | - |4026 |4769 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
1263.61/1263.60 c 1236s| 2190k| 2189k| 0 | 0.0 |1136M| 127 | - |4026 |4769 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
1269.21/1269.26 c 1242s| 2200k| 2199k| 0 | 0.0 |1141M| 127 | - |4026 |4769 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
1274.92/1274.93 c 1248s| 2210k| 2209k| 0 | 0.0 |1146M| 127 | - |4026 |4769 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
1280.51/1280.60 c 1253s| 2220k| 2219k| 0 | 0.0 |1151M| 127 | - |4026 |4769 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
1286.21/1286.27 c 1259s| 2230k| 2229k| 0 | 0.0 |1156M| 127 | - |4026 |4769 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
1291.92/1291.95 c 1264s| 2240k| 2239k| 0 | 0.0 |1161M| 127 | - |4026 |4769 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
1297.62/1297.63 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1297.62/1297.63 c 1270s| 2250k| 2249k| 0 | 0.0 |1166M| 127 | - |4026 |4769 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
1303.31/1303.30 c 1275s| 2260k| 2259k| 0 | 0.0 |1171M| 127 | - |4026 |4769 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
1308.92/1308.97 c 1281s| 2270k| 2269k| 0 | 0.0 |1176M| 127 | - |4026 |4769 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
1314.62/1314.66 c 1286s| 2280k| 2279k| 0 | 0.0 |1181M| 127 | - |4026 |4769 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
1320.31/1320.36 c 1292s| 2290k| 2289k| 0 | 0.0 |1186M| 127 | - |4026 |4769 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
1326.01/1326.06 c 1298s| 2300k| 2299k| 0 | 0.0 |1191M| 127 | - |4026 |4769 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
1331.71/1331.77 c 1303s| 2310k| 2309k| 0 | 0.0 |1196M| 127 | - |4026 |4769 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
1337.41/1337.48 c 1309s| 2320k| 2319k| 0 | 0.0 |1201M| 127 | - |4026 |4769 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
1343.12/1343.16 c 1314s| 2330k| 2329k| 0 | 0.0 |1206M| 127 | - |4026 |4769 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
1348.81/1348.83 c 1320s| 2340k| 2339k| 0 | 0.0 |1211M| 127 | - |4026 |4769 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
1354.51/1354.52 c 1325s| 2350k| 2349k| 0 | 0.0 |1215M| 127 | - |4026 |4769 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
1360.11/1360.18 c 1331s| 2360k| 2359k| 0 | 0.0 |1220M| 127 | - |4026 |4769 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
1365.81/1365.83 c 1336s| 2370k| 2369k| 0 | 0.0 |1225M| 127 | - |4026 |4769 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
1371.42/1371.46 c 1342s| 2380k| 2379k| 0 | 0.0 |1230M| 127 | - |4026 |4769 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
1377.12/1377.11 c 1347s| 2390k| 2389k| 0 | 0.0 |1235M| 127 | - |4026 |4769 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
1382.72/1382.74 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1382.72/1382.74 c 1353s| 2400k| 2399k| 0 | 0.0 |1240M| 127 | - |4026 |4769 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
1388.32/1388.37 c 1358s| 2410k| 2409k| 0 | 0.0 |1245M| 127 | - |4026 |4769 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
1394.01/1394.03 c 1364s| 2420k| 2419k| 0 | 0.0 |1250M| 127 | - |4026 |4769 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
1399.61/1399.67 c 1369s| 2430k| 2429k| 0 | 0.0 |1255M| 127 | - |4026 |4769 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
1405.32/1405.32 c 1375s| 2440k| 2439k| 0 | 0.0 |1260M| 127 | - |4026 |4769 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
1410.91/1410.99 c 1381s| 2450k| 2449k| 0 | 0.0 |1265M| 127 | - |4026 |4769 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
1416.61/1416.65 c 1386s| 2460k| 2459k| 0 | 0.0 |1270M| 127 | - |4026 |4769 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
1422.33/1422.32 c 1392s| 2470k| 2469k| 0 | 0.0 |1275M| 127 | - |4026 |4769 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
1427.92/1427.98 c 1397s| 2480k| 2479k| 0 | 0.0 |1280M| 127 | - |4026 |4769 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
1433.62/1433.65 c 1403s| 2490k| 2489k| 0 | 0.0 |1285M| 127 | - |4026 |4769 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
1439.31/1439.31 c 1408s| 2500k| 2499k| 0 | 0.0 |1290M| 127 | - |4026 |4769 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
1444.92/1444.98 c 1414s| 2510k| 2509k| 0 | 0.0 |1295M| 127 | - |4026 |4769 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
1450.62/1450.66 c 1419s| 2520k| 2519k| 0 | 0.0 |1300M| 127 | - |4026 |4769 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
1456.33/1456.33 c 1425s| 2530k| 2529k| 0 | 0.0 |1305M| 127 | - |4026 |4769 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
1461.92/1461.98 c 1430s| 2540k| 2539k| 0 | 0.0 |1309M| 127 | - |4026 |4769 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
1467.61/1467.65 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1467.61/1467.65 c 1436s| 2550k| 2549k| 0 | 0.0 |1314M| 127 | - |4026 |4769 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
1473.31/1473.32 c 1442s| 2560k| 2559k| 0 | 0.0 |1319M| 127 | - |4026 |4769 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
1479.02/1479.00 c 1447s| 2570k| 2569k| 0 | 0.0 |1324M| 127 | - |4026 |4769 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
1484.62/1484.67 c 1453s| 2580k| 2579k| 0 | 0.0 |1329M| 127 | - |4026 |4769 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
1490.32/1490.32 c 1458s| 2590k| 2589k| 0 | 0.0 |1334M| 127 | - |4026 |4769 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
1495.92/1495.96 c 1464s| 2600k| 2599k| 0 | 0.0 |1339M| 127 | - |4026 |4769 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
1501.52/1501.59 c 1469s| 2610k| 2609k| 0 | 0.0 |1344M| 127 | - |4026 |4769 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
1507.22/1507.22 c 1475s| 2620k| 2619k| 0 | 0.0 |1349M| 127 | - |4026 |4769 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
1512.82/1512.85 c 1480s| 2630k| 2629k| 0 | 0.0 |1354M| 127 | - |4026 |4769 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
1518.52/1518.50 c 1486s| 2640k| 2639k| 0 | 0.0 |1359M| 127 | - |4026 |4769 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
1524.12/1524.13 c 1491s| 2650k| 2649k| 0 | 0.0 |1364M| 127 | - |4026 |4769 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
1529.72/1529.76 c 1497s| 2660k| 2659k| 0 | 0.0 |1369M| 127 | - |4026 |4769 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
1535.42/1535.41 c 1502s| 2670k| 2669k| 0 | 0.0 |1374M| 127 | - |4026 |4769 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
1541.02/1541.04 c 1508s| 2680k| 2679k| 0 | 0.0 |1378M| 127 | - |4026 |4769 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
1546.62/1546.67 c 1513s| 2690k| 2689k| 0 | 0.0 |1383M| 127 | - |4026 |4769 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
1552.32/1552.32 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1552.32/1552.32 c 1519s| 2700k| 2699k| 0 | 0.0 |1388M| 127 | - |4026 |4769 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
1557.92/1557.96 c 1524s| 2710k| 2709k| 0 | 0.0 |1393M| 127 | - |4026 |4769 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
1563.52/1563.58 c 1530s| 2720k| 2719k| 0 | 0.0 |1398M| 127 | - |4026 |4769 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
1569.22/1569.22 c 1535s| 2730k| 2729k| 0 | 0.0 |1403M| 127 | - |4026 |4769 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
1574.82/1574.85 c 1541s| 2740k| 2739k| 0 | 0.0 |1408M| 127 | - |4026 |4769 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
1580.42/1580.49 c 1546s| 2750k| 2749k| 0 | 0.0 |1413M| 127 | - |4026 |4769 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
1586.13/1586.14 c 1552s| 2760k| 2759k| 0 | 0.0 |1418M| 127 | - |4026 |4769 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
1591.73/1591.80 c 1558s| 2770k| 2769k| 0 | 0.0 |1423M| 127 | - |4026 |4769 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
1597.42/1597.46 c 1563s| 2780k| 2779k| 0 | 0.0 |1428M| 127 | - |4026 |4769 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
1603.02/1603.08 c 1569s| 2790k| 2789k| 0 | 0.0 |1432M| 127 | - |4026 |4769 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
1608.63/1608.69 c 1574s| 2800k| 2799k| 0 | 0.0 |1437M| 127 | - |4026 |4769 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
1614.22/1614.30 c 1580s| 2810k| 2809k| 0 | 0.0 |1442M| 127 | - |4026 |4769 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
1619.92/1619.92 c 1585s| 2820k| 2819k| 0 | 0.0 |1447M| 127 | - |4026 |4769 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
1625.53/1625.54 c 1591s| 2830k| 2829k| 0 | 0.0 |1452M| 127 | - |4026 |4769 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
1631.13/1631.16 c 1596s| 2840k| 2839k| 0 | 0.0 |1457M| 127 | - |4026 |4769 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
1636.73/1636.79 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1636.73/1636.79 c 1602s| 2850k| 2849k| 0 | 0.0 |1462M| 127 | - |4026 |4769 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
1642.42/1642.41 c 1607s| 2860k| 2859k| 0 | 0.0 |1467M| 127 | - |4026 |4769 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
1648.03/1648.04 c 1613s| 2870k| 2869k| 0 | 0.0 |1471M| 127 | - |4026 |4769 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
1653.62/1653.67 c 1618s| 2880k| 2879k| 0 | 0.0 |1476M| 127 | - |4026 |4769 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
1659.22/1659.29 c 1624s| 2890k| 2889k| 0 | 0.0 |1481M| 127 | - |4026 |4769 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
1664.93/1664.90 c 1629s| 2900k| 2899k| 0 | 0.0 |1486M| 127 | - |4026 |4769 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
1670.52/1670.52 c 1635s| 2910k| 2909k| 0 | 0.0 |1491M| 127 | - |4026 |4769 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
1676.12/1676.13 c 1640s| 2920k| 2919k| 0 | 0.0 |1496M| 127 | - |4026 |4769 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
1681.72/1681.76 c 1646s| 2930k| 2929k| 0 | 0.0 |1501M| 127 | - |4026 |4769 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
1687.33/1687.38 c 1651s| 2940k| 2939k| 0 | 0.0 |1506M| 127 | - |4026 |4769 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
1693.02/1693.02 c 1657s| 2950k| 2949k| 0 | 0.0 |1510M| 127 | - |4026 |4769 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
1698.62/1698.67 c 1662s| 2960k| 2959k| 0 | 0.0 |1515M| 127 | - |4026 |4769 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
1704.33/1704.31 c 1668s| 2970k| 2969k| 0 | 0.0 |1520M| 127 | - |4026 |4769 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
1709.92/1709.95 c 1673s| 2980k| 2979k| 0 | 0.0 |1525M| 127 | - |4026 |4769 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
1715.52/1715.54 c 1679s| 2990k| 2989k| 0 | 0.0 |1530M| 127 | - |4026 |4769 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
1721.12/1721.14 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1721.12/1721.14 c 1684s| 3000k| 2999k| 0 | 0.0 |1535M| 127 | - |4026 |4769 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
1726.73/1726.75 c 1690s| 3010k| 3009k| 0 | 0.0 |1540M| 127 | - |4026 |4769 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
1732.32/1732.37 c 1695s| 3020k| 3019k| 0 | 0.0 |1545M| 127 | - |4026 |4769 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
1737.93/1737.99 c 1701s| 3030k| 3029k| 0 | 0.0 |1549M| 127 | - |4026 |4769 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
1743.53/1743.59 c 1706s| 3040k| 3039k| 0 | 0.0 |1554M| 127 | - |4026 |4769 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
1749.12/1749.19 c 1712s| 3050k| 3049k| 0 | 0.0 |1559M| 127 | - |4026 |4769 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
1754.83/1754.80 c 1717s| 3060k| 3059k| 0 | 0.0 |1564M| 127 | - |4026 |4769 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
1760.43/1760.41 c 1723s| 3070k| 3069k| 0 | 0.0 |1569M| 127 | - |4026 |4769 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
1766.03/1766.01 c 1728s| 3080k| 3079k| 0 | 0.0 |1574M| 127 | - |4026 |4769 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
1771.53/1771.59 c 1733s| 3090k| 3089k| 0 | 0.0 |1578M| 127 | - |4026 |4769 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
1777.13/1777.18 c 1739s| 3100k| 3099k| 0 | 0.0 |1583M| 127 | - |4026 |4769 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
1782.73/1782.78 c 1744s| 3110k| 3109k| 0 | 0.0 |1588M| 127 | - |4026 |4769 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
1788.33/1788.39 c 1750s| 3120k| 3119k| 0 | 0.0 |1593M| 127 | - |4026 |4769 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
1793.93/1794.00 c 1755s| 3130k| 3129k| 0 | 0.0 |1598M| 127 | - |4026 |4769 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
1799.63/1799.62 c 1761s| 3140k| 3139k| 0 | 0.0 |1603M| 127 | - |4026 |4769 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
1800.03/1800.00 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.03/1800.00 c
1800.03/1800.00 c SCIP Status : solving was interrupted [user interrupt]
1800.03/1800.00 c Solving Time (sec) : 1761.26
1800.03/1800.00 c Solving Nodes : 3140675
1800.03/1800.00 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1800.03/1800.00 c Dual Bound : +0.00000000000000e+00
1800.03/1800.00 c Gap : infinite
1800.03/1800.00 s UNKNOWN
1800.03/1800.00 c SCIP Status : solving was interrupted [user interrupt]
1800.03/1800.00 c Solving Time : 1761.26
1800.03/1800.00 c Original Problem :
1800.03/1800.00 c Problem name : HOME/instance-2693685-1277914810.wbo
1800.03/1800.00 c Variables : 4106 (2859 binary, 0 integer, 0 implicit integer, 1247 continuous)
1800.03/1800.00 c Constraints : 4901 initial, 4901 maximal
1800.03/1800.00 c Presolved Problem :
1800.03/1800.00 c Problem name : t_HOME/instance-2693685-1277914810.wbo
1800.03/1800.00 c Variables : 4026 (2782 binary, 0 integer, 0 implicit integer, 1244 continuous)
1800.03/1800.00 c Constraints : 4768 initial, 4769 maximal
1800.03/1800.00 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.03/1800.00 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.00 c dualfix : 0.00 6 0 0 0 0 0 0 0
1800.03/1800.00 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.00 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.00 c implics : 0.01 0 53 0 0 0 0 0 0
1800.03/1800.00 c probing : 0.28 0 11 0 0 0 0 0 0
1800.03/1800.00 c indicator : 0.00 0 0 0 0 0 3 0 0
1800.03/1800.00 c varbound : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.00 c knapsack : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.00 c linear : 0.06 5 5 0 1249 0 130 190 382
1800.03/1800.00 c logicor : 0.02 0 0 0 0 0 0 0 0
1800.03/1800.00 c root node : - 0 - - 0 - - - -
1800.03/1800.00 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.03/1800.00 c integral : 0 0 0 0 0 0 0 0 0 0
1800.03/1800.00 c indicator : 1244 0 9453133 0 3140674 0 693567 0 0 0
1800.03/1800.00 c varbound : 1 0 77184 0 17196 0 4038 0 0 0
1800.03/1800.00 c knapsack : 248 0 9453133 0 3140674 0 3 0 0 0
1800.03/1800.00 c linear : 1243 0 9453133 0 3140674 0 572637 0 0 0
1800.03/1800.00 c logicor : 2032+ 0 7792694 0 3140674 1 10085708 0 0 0
1800.03/1800.00 c countsols : 0 0 0 0 3140674 0 0 0 0 0
1800.03/1800.00 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.03/1800.00 c integral : 0.00 0.00 0.00 0.00 0.00
1800.03/1800.00 c indicator : 302.21 0.00 111.47 0.00 190.74
1800.03/1800.00 c varbound : 0.05 0.00 0.04 0.00 0.01
1800.03/1800.00 c knapsack : 34.20 0.00 32.05 0.00 2.15
1800.03/1800.00 c linear : 91.02 0.00 88.67 0.00 2.35
1800.03/1800.00 c logicor : 360.02 0.00 21.17 0.00 338.85
1800.03/1800.00 c countsols : 0.51 0.00 0.00 0.00 0.51
1800.03/1800.00 c Propagators : Time Calls Cutoffs DomReds
1800.03/1800.00 c vbounds : 2.06 92797 0 0
1800.03/1800.00 c rootredcost : 1.96 0 0 0
1800.03/1800.00 c pseudoobj : 265.20 9450922 0 0
1800.03/1800.00 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.03/1800.00 c propagation : 0.00 1 1 1 2.0 0 0.0 -
1800.03/1800.00 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.03/1800.00 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.03/1800.00 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.03/1800.00 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.03/1800.00 c applied globally : - - - 1 2.0 - - -
1800.03/1800.00 c applied locally : - - - 0 0.0 - - -
1800.03/1800.00 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.03/1800.00 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.03/1800.00 c redcost : 0.00 0 0 0 0 0
1800.03/1800.00 c impliedbounds : 0.00 0 0 0 0 0
1800.03/1800.00 c intobj : 0.00 0 0 0 0 0
1800.03/1800.00 c cgmip : 0.00 0 0 0 0 0
1800.03/1800.00 c gomory : 0.00 0 0 0 0 0
1800.03/1800.00 c strongcg : 0.00 0 0 0 0 0
1800.03/1800.00 c cmir : 0.00 0 0 0 0 0
1800.03/1800.00 c flowcover : 0.00 0 0 0 0 0
1800.03/1800.00 c clique : 0.00 0 0 0 0 0
1800.03/1800.00 c zerohalf : 0.00 0 0 0 0 0
1800.03/1800.00 c mcf : 0.00 0 0 0 0 0
1800.03/1800.00 c rapidlearning : 0.00 0 0 0 0 0
1800.03/1800.00 c Pricers : Time Calls Vars
1800.03/1800.00 c problem variables: 0.00 0 0
1800.03/1800.00 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.03/1800.00 c relpscost : 0.00 0 0 0 0 0 0
1800.03/1800.00 c pscost : 0.00 0 0 0 0 0 0
1800.03/1800.00 c inference : 604.66 3140674 0 0 0 0 6281348
1800.03/1800.00 c mostinf : 0.00 0 0 0 0 0 0
1800.03/1800.00 c leastinf : 0.00 0 0 0 0 0 0
1800.03/1800.00 c fullstrong : 0.00 0 0 0 0 0 0
1800.03/1800.00 c allfullstrong : 0.00 0 0 0 0 0 0
1800.03/1800.00 c random : 0.00 0 0 0 0 0 0
1800.03/1800.00 c Primal Heuristics : Time Calls Found
1800.03/1800.00 c LP solutions : 0.00 - 0
1800.03/1800.00 c pseudo solutions : 0.00 - 0
1800.03/1800.00 c oneopt : 0.73 0 0
1800.03/1800.00 c trivial : 0.00 2 0
1800.03/1800.00 c simplerounding : 0.00 0 0
1800.03/1800.00 c zirounding : 0.00 0 0
1800.03/1800.00 c rounding : 0.00 0 0
1800.03/1800.00 c shifting : 0.00 0 0
1800.03/1800.00 c intshifting : 0.00 0 0
1800.03/1800.00 c twoopt : 0.00 0 0
1800.03/1800.00 c fixandinfer : 0.00 0 0
1800.03/1800.00 c feaspump : 0.00 0 0
1800.03/1800.00 c coefdiving : 0.00 0 0
1800.03/1800.00 c pscostdiving : 0.00 0 0
1800.03/1800.00 c fracdiving : 0.00 0 0
1800.03/1800.00 c veclendiving : 0.00 0 0
1800.03/1800.00 c intdiving : 0.00 0 0
1800.03/1800.00 c actconsdiving : 0.00 0 0
1800.03/1800.00 c objpscostdiving : 0.00 0 0
1800.03/1800.00 c rootsoldiving : 0.00 0 0
1800.03/1800.00 c linesearchdiving : 0.00 0 0
1800.03/1800.00 c guideddiving : 0.00 0 0
1800.03/1800.00 c octane : 0.00 0 0
1800.03/1800.00 c rens : 0.00 0 0
1800.03/1800.00 c rins : 0.00 0 0
1800.03/1800.00 c localbranching : 0.00 0 0
1800.03/1800.00 c mutation : 0.00 0 0
1800.03/1800.00 c crossover : 0.00 0 0
1800.03/1800.00 c dins : 0.00 0 0
1800.03/1800.00 c undercover : 0.00 0 0
1800.03/1800.00 c nlp : 0.90 0 0
1800.03/1800.00 c trysol : 0.66 1 0
1800.03/1800.00 c LP : Time Calls Iterations Iter/call Iter/sec
1800.03/1800.00 c primal LP : 0.00 0 0 0.00 -
1800.03/1800.00 c dual LP : 0.00 0 0 0.00 -
1800.03/1800.00 c lex dual LP : 0.00 0 0 0.00 -
1800.03/1800.00 c barrier LP : 0.00 0 0 0.00 -
1800.03/1800.00 c diving/probing LP: 0.00 0 0 0.00 -
1800.03/1800.00 c strong branching : 0.00 0 0 0.00 -
1800.03/1800.00 c (at root node) : - 0 0 0.00 -
1800.03/1800.00 c conflict analysis: 0.00 0 0 0.00 -
1800.03/1800.00 c B&B Tree :
1800.03/1800.00 c number of runs : 1
1800.03/1800.00 c nodes : 3140675
1800.03/1800.00 c nodes (total) : 3140675
1800.03/1800.00 c nodes left : 3140674
1800.03/1800.00 c max depth : 127
1800.03/1800.00 c max depth (total): 127
1800.03/1800.00 c backtracks : 44791 (1.4%)
1800.03/1800.00 c delayed cutoffs : 0
1800.03/1800.00 c repropagations : 4 (2 domain reductions, 0 cutoffs)
1800.03/1800.00 c avg switch length: 2.61
1800.03/1800.00 c switching time : 32.94
1800.03/1800.00 c Solution :
1800.03/1800.00 c Solutions found : 0 (0 improvements)
1800.03/1800.00 c Primal Bound : -
1800.03/1800.00 c Dual Bound : +0.00000000000000e+00
1800.03/1800.00 c Gap : infinite
1800.03/1800.00 c Root Dual Bound : +0.00000000000000e+00
1800.03/1800.00 c Root Iterations : 0