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-2693760-1277916186.wbo>
0.09/0.12 c original problem has 13096 variables (8532 bin, 0 int, 0 impl, 4564 cont) and 17995 constraints
0.09/0.12 c problem read
0.09/0.12 c presolving settings loaded
0.09/0.12 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.19/0.22 c presolving:
0.29/0.31 c (round 1) 670 del vars, 1935 del conss, 438 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 187726 impls, 0 clqs
0.29/0.36 c (round 2) 1860 del vars, 5710 del conss, 1044 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 193109 impls, 0 clqs
0.39/0.41 c (round 3) 3930 del vars, 9296 del conss, 1394 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 195721 impls, 0 clqs
0.39/0.45 c (round 4) 6196 del vars, 11283 del conss, 1593 chg bounds, 5 chg sides, 6 chg coeffs, 0 upgd conss, 198637 impls, 0 clqs
0.39/0.46 c (round 5) 7648 del vars, 12461 del conss, 1714 chg bounds, 7 chg sides, 8 chg coeffs, 0 upgd conss, 199754 impls, 0 clqs
0.39/0.47 c (round 6) 8453 del vars, 13148 del conss, 1781 chg bounds, 7 chg sides, 8 chg coeffs, 0 upgd conss, 200108 impls, 0 clqs
0.39/0.48 c (round 7) 8998 del vars, 13586 del conss, 1831 chg bounds, 7 chg sides, 8 chg coeffs, 0 upgd conss, 200405 impls, 0 clqs
0.39/0.49 c (round 8) 9299 del vars, 13829 del conss, 1848 chg bounds, 7 chg sides, 8 chg coeffs, 0 upgd conss, 200583 impls, 0 clqs
0.39/0.49 c (round 9) 9477 del vars, 13957 del conss, 1859 chg bounds, 7 chg sides, 8 chg coeffs, 0 upgd conss, 200589 impls, 0 clqs
0.39/0.49 c (round 10) 9559 del vars, 13985 del conss, 1859 chg bounds, 7 chg sides, 8 chg coeffs, 0 upgd conss, 200589 impls, 0 clqs
0.49/0.50 c (round 11) 9585 del vars, 13988 del conss, 3083 chg bounds, 7 chg sides, 8 chg coeffs, 0 upgd conss, 200589 impls, 0 clqs
0.49/0.53 c (round 12) 9588 del vars, 13988 del conss, 3083 chg bounds, 7 chg sides, 8 chg coeffs, 1762 upgd conss, 200589 impls, 0 clqs
0.49/0.55 c (round 13) 9588 del vars, 13989 del conss, 3083 chg bounds, 14 chg sides, 46 chg coeffs, 1762 upgd conss, 201000 impls, 28 clqs
0.49/0.57 c (round 14) 9588 del vars, 13989 del conss, 3083 chg bounds, 16 chg sides, 61 chg coeffs, 1762 upgd conss, 201000 impls, 29 clqs
0.49/0.58 c (round 15) 9588 del vars, 13993 del conss, 3083 chg bounds, 21 chg sides, 85 chg coeffs, 1762 upgd conss, 201000 impls, 30 clqs
0.89/0.95 c (0.7s) probing: 1000/2284 (43.8%) - 0 fixings, 0 aggregations, 2762 implications, 0 bound changes
0.89/0.98 c (0.8s) probing: 1157/2284 (50.7%) - 0 fixings, 0 aggregations, 2780 implications, 0 bound changes
0.89/0.98 c (0.8s) probing aborted: 100/100 successive totally useless probings
0.89/0.98 c presolving (16 rounds):
0.89/0.98 c 9588 deleted vars, 13993 deleted constraints, 3083 tightened bounds, 0 added holes, 21 changed sides, 87 changed coefficients
0.89/0.98 c 210455 implications, 32 cliques
0.89/0.98 c presolved problem has 3508 variables (2284 bin, 0 int, 0 impl, 1224 cont) and 4009 constraints
0.89/0.98 c 1224 constraints of type <indicator>
0.89/0.98 c 203 constraints of type <varbound>
0.89/0.98 c 153 constraints of type <knapsack>
0.89/0.98 c 4 constraints of type <setppc>
0.89/0.98 c 1021 constraints of type <linear>
0.89/0.98 c 1404 constraints of type <logicor>
0.89/0.98 c transformed objective value is always integral (scale: 1)
0.89/0.98 c Presolving Time: 0.72
0.89/0.98 c - non default parameters ----------------------------------------------------------------------
0.89/0.98 c # SCIP version 1.2.1.2
0.89/0.98 c
0.89/0.98 c # frequency for displaying node information lines
0.89/0.98 c # [type: int, range: [-1,2147483647], default: 100]
0.89/0.98 c display/freq = 10000
0.89/0.98 c
0.89/0.98 c # maximal time in seconds to run
0.89/0.98 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.89/0.98 c limits/time = 1799.89
0.89/0.98 c
0.89/0.98 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.89/0.98 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.89/0.98 c limits/memory = 3420
0.89/0.98 c
0.89/0.98 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.89/0.98 c # [type: int, range: [-1,2147483647], default: 1]
0.89/0.98 c lp/solvefreq = -1
0.89/0.98 c
0.89/0.98 c # should presolving try to simplify inequalities
0.89/0.98 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.89/0.98 c constraints/linear/simplifyinequalities = TRUE
0.89/0.98 c
0.89/0.98 c # should presolving try to simplify knapsacks
0.89/0.98 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.89/0.98 c constraints/knapsack/simplifyinequalities = TRUE
0.89/0.98 c
0.89/0.98 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.89/0.98 c # [type: int, range: [-1,2147483647], default: -1]
0.89/0.98 c separating/rapidlearning/freq = 0
0.89/0.98 c
0.89/0.98 c -----------------------------------------------------------------------------------------------
0.89/0.98 c start solving
0.89/0.98 c
0.89/0.99 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.89/0.99 c 0.8s| 1 | 2 | 0 | - | 38M| 0 | - |3508 |4009 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
7.69/7.78 c 7.0s| 10000 | 9995 | 0 | 0.0 | 46M| 87 | - |3508 |4013 | 0 | 0 | 0 | 4 | 0 | 0.000000e+00 | -- | Inf
14.30/14.35 c 13.0s| 20000 | 19993 | 0 | 0.0 | 53M| 87 | - |3508 |4014 | 0 | 0 | 0 | 5 | 0 | 0.000000e+00 | -- | Inf
20.49/20.53 c 18.6s| 30000 | 29993 | 0 | 0.0 | 60M| 91 | - |3508 |4014 | 0 | 0 | 0 | 5 | 0 | 0.000000e+00 | -- | Inf
26.19/26.26 c 23.9s| 40000 | 39993 | 0 | 0.0 | 66M| 115 | - |3508 |4014 | 0 | 0 | 0 | 5 | 0 | 0.000000e+00 | -- | Inf
32.59/32.61 c 29.7s| 50000 | 49989 | 0 | 0.0 | 72M| 115 | - |3508 |4017 | 0 | 0 | 0 | 9 | 0 | 0.000000e+00 | -- | Inf
38.79/38.87 c 35.5s| 60000 | 59987 | 0 | 0.0 | 79M| 115 | - |3508 |4016 | 0 | 0 | 0 | 11 | 0 | 0.000000e+00 | -- | Inf
44.99/45.01 c 41.1s| 70000 | 69987 | 0 | 0.0 | 85M| 115 | - |3508 |4014 | 0 | 0 | 0 | 11 | 0 | 0.000000e+00 | -- | Inf
51.09/51.15 c 46.8s| 80000 | 79987 | 0 | 0.0 | 92M| 115 | - |3508 |4014 | 0 | 0 | 0 | 11 | 0 | 0.000000e+00 | -- | Inf
57.10/57.16 c 52.4s| 90000 | 89987 | 0 | 0.0 | 98M| 115 | - |3508 |4014 | 0 | 0 | 0 | 11 | 0 | 0.000000e+00 | -- | Inf
63.09/63.19 c 58.0s|100000 | 99987 | 0 | 0.0 | 105M| 115 | - |3508 |4014 | 0 | 0 | 0 | 11 | 0 | 0.000000e+00 | -- | Inf
69.09/69.16 c 63.5s|110000 |109987 | 0 | 0.0 | 111M| 115 | - |3508 |4014 | 0 | 0 | 0 | 11 | 0 | 0.000000e+00 | -- | Inf
74.89/74.96 c 68.8s|120000 |119987 | 0 | 0.0 | 117M| 115 | - |3508 |4014 | 0 | 0 | 0 | 11 | 0 | 0.000000e+00 | -- | Inf
80.59/80.69 c 74.1s|130000 |129987 | 0 | 0.0 | 123M| 115 | - |3508 |4014 | 0 | 0 | 0 | 11 | 0 | 0.000000e+00 | -- | Inf
86.29/86.32 c 79.4s|140000 |139987 | 0 | 0.0 | 129M| 115 | - |3508 |4014 | 0 | 0 | 0 | 11 | 0 | 0.000000e+00 | -- | Inf
91.79/91.83 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
91.79/91.83 c 84.5s|150000 |149987 | 0 | 0.0 | 134M| 115 | - |3508 |4014 | 0 | 0 | 0 | 11 | 0 | 0.000000e+00 | -- | Inf
97.20/97.24 c 89.4s|160000 |159987 | 0 | 0.0 | 140M| 117 | - |3508 |4014 | 0 | 0 | 0 | 11 | 0 | 0.000000e+00 | -- | Inf
102.69/102.76 c 94.6s|170000 |169987 | 0 | 0.0 | 145M| 117 | - |3508 |4014 | 0 | 0 | 0 | 11 | 0 | 0.000000e+00 | -- | Inf
108.19/108.28 c 99.7s|180000 |179987 | 0 | 0.0 | 151M| 117 | - |3508 |4014 | 0 | 0 | 0 | 11 | 0 | 0.000000e+00 | -- | Inf
113.59/113.61 c 105s|190000 |189987 | 0 | 0.0 | 156M| 117 | - |3508 |4014 | 0 | 0 | 0 | 11 | 0 | 0.000000e+00 | -- | Inf
118.80/118.88 c 110s|200000 |199985 | 0 | 0.0 | 162M| 117 | - |3508 |4016 | 0 | 0 | 0 | 13 | 0 | 0.000000e+00 | -- | Inf
124.40/124.44 c 115s|210000 |209985 | 0 | 0.0 | 167M| 117 | - |3508 |4016 | 0 | 0 | 0 | 13 | 0 | 0.000000e+00 | -- | Inf
129.80/129.83 c 120s|220000 |219985 | 0 | 0.0 | 173M| 117 | - |3508 |4016 | 0 | 0 | 0 | 13 | 0 | 0.000000e+00 | -- | Inf
135.09/135.20 c 125s|230000 |229985 | 0 | 0.0 | 178M| 117 | - |3508 |4016 | 0 | 0 | 0 | 13 | 0 | 0.000000e+00 | -- | Inf
140.49/140.56 c 130s|240000 |239985 | 0 | 0.0 | 184M| 117 | - |3508 |4016 | 0 | 0 | 0 | 13 | 0 | 0.000000e+00 | -- | Inf
145.79/145.81 c 134s|250000 |249985 | 0 | 0.0 | 189M| 117 | - |3508 |4016 | 0 | 0 | 0 | 13 | 0 | 0.000000e+00 | -- | Inf
151.19/151.21 c 139s|260000 |259985 | 0 | 0.0 | 194M| 117 | - |3508 |4016 | 0 | 0 | 0 | 13 | 0 | 0.000000e+00 | -- | Inf
156.49/156.56 c 144s|270000 |269985 | 0 | 0.0 | 200M| 131 | - |3508 |4016 | 0 | 0 | 0 | 13 | 0 | 0.000000e+00 | -- | Inf
161.60/161.66 c 149s|280000 |279985 | 0 | 0.0 | 205M| 135 | - |3508 |4016 | 0 | 0 | 0 | 13 | 0 | 0.000000e+00 | -- | Inf
166.70/166.77 c 154s|290000 |289985 | 0 | 0.0 | 210M| 173 | - |3508 |4016 | 0 | 0 | 0 | 13 | 0 | 0.000000e+00 | -- | Inf
172.70/172.78 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
172.70/172.78 c 159s|300000 |299985 | 0 | 0.0 | 216M| 173 | - |3508 |4016 | 0 | 0 | 0 | 13 | 0 | 0.000000e+00 | -- | Inf
178.59/178.60 c 165s|310000 |309985 | 0 | 0.0 | 222M| 173 | - |3508 |4016 | 0 | 0 | 0 | 13 | 0 | 0.000000e+00 | -- | Inf
184.09/184.19 c 170s|320000 |319985 | 0 | 0.0 | 227M| 173 | - |3508 |4016 | 0 | 0 | 0 | 13 | 0 | 0.000000e+00 | -- | Inf
189.69/189.76 c 175s|330000 |329985 | 0 | 0.0 | 233M| 173 | - |3508 |4015 | 0 | 0 | 0 | 13 | 0 | 0.000000e+00 | -- | Inf
195.29/195.36 c 180s|340000 |339985 | 0 | 0.0 | 239M| 173 | - |3508 |4015 | 0 | 0 | 0 | 13 | 0 | 0.000000e+00 | -- | Inf
200.80/200.89 c 185s|350000 |349985 | 0 | 0.0 | 245M| 173 | - |3508 |4015 | 0 | 0 | 0 | 13 | 0 | 0.000000e+00 | -- | Inf
206.40/206.46 c 190s|360000 |359985 | 0 | 0.0 | 250M| 173 | - |3508 |4015 | 0 | 0 | 0 | 13 | 0 | 0.000000e+00 | -- | Inf
211.90/211.98 c 195s|370000 |369985 | 0 | 0.0 | 256M| 173 | - |3508 |4015 | 0 | 0 | 0 | 13 | 0 | 0.000000e+00 | -- | Inf
217.30/217.39 c 200s|380000 |379985 | 0 | 0.0 | 262M| 173 | - |3508 |4015 | 0 | 0 | 0 | 13 | 0 | 0.000000e+00 | -- | Inf
222.80/222.88 c 205s|390000 |389985 | 0 | 0.0 | 267M| 173 | - |3508 |4015 | 0 | 0 | 0 | 13 | 0 | 0.000000e+00 | -- | Inf
228.20/228.26 c 210s|400000 |399985 | 0 | 0.0 | 273M| 173 | - |3508 |4015 | 0 | 0 | 0 | 13 | 0 | 0.000000e+00 | -- | Inf
233.60/233.67 c 215s|410000 |409985 | 0 | 0.0 | 279M| 173 | - |3508 |4015 | 0 | 0 | 0 | 13 | 0 | 0.000000e+00 | -- | Inf
239.00/239.05 c 220s|420000 |419985 | 0 | 0.0 | 284M| 173 | - |3508 |4015 | 0 | 0 | 0 | 13 | 0 | 0.000000e+00 | -- | Inf
244.29/244.39 c 225s|430000 |429985 | 0 | 0.0 | 290M| 173 | - |3508 |4015 | 0 | 0 | 0 | 13 | 0 | 0.000000e+00 | -- | Inf
249.70/249.78 c 230s|440000 |439985 | 0 | 0.0 | 295M| 173 | - |3508 |4015 | 0 | 0 | 0 | 13 | 0 | 0.000000e+00 | -- | Inf
255.00/255.06 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
255.00/255.06 c 235s|450000 |449985 | 0 | 0.0 | 300M| 173 | - |3508 |4015 | 0 | 0 | 0 | 13 | 0 | 0.000000e+00 | -- | Inf
260.39/260.43 c 240s|460000 |459985 | 0 | 0.0 | 306M| 173 | - |3508 |4015 | 0 | 0 | 0 | 13 | 0 | 0.000000e+00 | -- | Inf
265.70/265.71 c 245s|470000 |469985 | 0 | 0.0 | 311M| 173 | - |3508 |4015 | 0 | 0 | 0 | 13 | 0 | 0.000000e+00 | -- | Inf
271.00/271.02 c 250s|480000 |479985 | 0 | 0.0 | 317M| 173 | - |3508 |4015 | 0 | 0 | 0 | 13 | 0 | 0.000000e+00 | -- | Inf
276.30/276.30 c 255s|490000 |489985 | 0 | 0.0 | 322M| 173 | - |3508 |4015 | 0 | 0 | 0 | 13 | 0 | 0.000000e+00 | -- | Inf
281.51/281.55 c 259s|500000 |499985 | 0 | 0.0 | 327M| 173 | - |3508 |4015 | 0 | 0 | 0 | 13 | 0 | 0.000000e+00 | -- | Inf
286.80/286.82 c 264s|510000 |509985 | 0 | 0.0 | 333M| 173 | - |3508 |4015 | 0 | 0 | 0 | 13 | 0 | 0.000000e+00 | -- | Inf
292.00/292.05 c 269s|520000 |519985 | 0 | 0.0 | 338M| 173 | - |3508 |4015 | 0 | 0 | 0 | 13 | 0 | 0.000000e+00 | -- | Inf
297.20/297.26 c 274s|530000 |529985 | 0 | 0.0 | 343M| 173 | - |3508 |4015 | 0 | 0 | 0 | 13 | 0 | 0.000000e+00 | -- | Inf
302.40/302.43 c 279s|540000 |539985 | 0 | 0.0 | 349M| 173 | - |3508 |4015 | 0 | 0 | 0 | 13 | 0 | 0.000000e+00 | -- | Inf
307.60/307.65 c 284s|550000 |549985 | 0 | 0.0 | 354M| 173 | - |3508 |4015 | 0 | 0 | 0 | 13 | 0 | 0.000000e+00 | -- | Inf
312.70/312.76 c 288s|560000 |559985 | 0 | 0.0 | 359M| 173 | - |3508 |4015 | 0 | 0 | 0 | 13 | 0 | 0.000000e+00 | -- | Inf
317.80/317.87 c 293s|570000 |569985 | 0 | 0.0 | 364M| 173 | - |3508 |4015 | 0 | 0 | 0 | 13 | 0 | 0.000000e+00 | -- | Inf
322.90/322.90 c 297s|580000 |579985 | 0 | 0.0 | 369M| 173 | - |3508 |4015 | 0 | 0 | 0 | 13 | 0 | 0.000000e+00 | -- | Inf
327.90/327.93 c 302s|590000 |589985 | 0 | 0.0 | 374M| 173 | - |3508 |4015 | 0 | 0 | 0 | 13 | 0 | 0.000000e+00 | -- | Inf
332.90/332.95 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
332.90/332.95 c 307s|600000 |599985 | 0 | 0.0 | 379M| 173 | - |3508 |4015 | 0 | 0 | 0 | 13 | 0 | 0.000000e+00 | -- | Inf
337.90/337.92 c 311s|610000 |609985 | 0 | 0.0 | 384M| 173 | - |3508 |4015 | 0 | 0 | 0 | 13 | 0 | 0.000000e+00 | -- | Inf
342.90/342.92 c 316s|620000 |619985 | 0 | 0.0 | 389M| 183 | - |3508 |4015 | 0 | 0 | 0 | 13 | 0 | 0.000000e+00 | -- | Inf
347.80/347.84 c 320s|630000 |629985 | 0 | 0.0 | 394M| 183 | - |3508 |4015 | 0 | 0 | 0 | 13 | 0 | 0.000000e+00 | -- | Inf
352.70/352.76 c 325s|640000 |639985 | 0 | 0.0 | 399M| 183 | - |3508 |4015 | 0 | 0 | 0 | 13 | 0 | 0.000000e+00 | -- | Inf
357.70/357.72 c 330s|650000 |649985 | 0 | 0.0 | 404M| 183 | - |3508 |4015 | 0 | 0 | 0 | 13 | 0 | 0.000000e+00 | -- | Inf
362.50/362.59 c 334s|660000 |659985 | 0 | 0.0 | 409M| 193 | - |3508 |4015 | 0 | 0 | 0 | 13 | 0 | 0.000000e+00 | -- | Inf
367.41/367.43 c 339s|670000 |669985 | 0 | 0.0 | 414M| 207 | - |3508 |4015 | 0 | 0 | 0 | 13 | 0 | 0.000000e+00 | -- | Inf
372.20/372.22 c 343s|680000 |679985 | 0 | 0.0 | 419M| 207 | - |3508 |4015 | 0 | 0 | 0 | 13 | 0 | 0.000000e+00 | -- | Inf
377.00/377.04 c 347s|690000 |689985 | 0 | 0.0 | 424M| 217 | - |3508 |4015 | 0 | 0 | 0 | 13 | 0 | 0.000000e+00 | -- | Inf
381.90/381.94 c 352s|700000 |699985 | 0 | 0.0 | 430M| 217 | - |3508 |4015 | 0 | 0 | 0 | 13 | 0 | 0.000000e+00 | -- | Inf
386.90/386.99 c 356s|710000 |709985 | 0 | 0.0 | 435M| 217 | - |3508 |4015 | 0 | 0 | 0 | 13 | 0 | 0.000000e+00 | -- | Inf
391.81/391.83 c 361s|720000 |719985 | 0 | 0.0 | 440M| 217 | - |3508 |4015 | 0 | 0 | 0 | 13 | 0 | 0.000000e+00 | -- | Inf
396.60/396.68 c 365s|730000 |729985 | 0 | 0.0 | 445M| 217 | - |3508 |4015 | 0 | 0 | 0 | 13 | 0 | 0.000000e+00 | -- | Inf
401.50/401.57 c 370s|740000 |739985 | 0 | 0.0 | 450M| 217 | - |3508 |4015 | 0 | 0 | 0 | 13 | 0 | 0.000000e+00 | -- | Inf
406.30/406.34 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
406.30/406.34 c 374s|750000 |749985 | 0 | 0.0 | 455M| 217 | - |3508 |4015 | 0 | 0 | 0 | 13 | 0 | 0.000000e+00 | -- | Inf
411.11/411.12 c 379s|760000 |759985 | 0 | 0.0 | 460M| 217 | - |3508 |4015 | 0 | 0 | 0 | 13 | 0 | 0.000000e+00 | -- | Inf
415.70/415.79 c 383s|770000 |769985 | 0 | 0.0 | 465M| 249 | - |3508 |4015 | 0 | 0 | 0 | 13 | 0 | 0.000000e+00 | -- | Inf
420.40/420.42 c 387s|780000 |779985 | 0 | 0.0 | 470M| 249 | - |3508 |4015 | 0 | 0 | 0 | 13 | 0 | 0.000000e+00 | -- | Inf
425.00/425.07 c 392s|790000 |789985 | 0 | 0.0 | 475M| 249 | - |3508 |4015 | 0 | 0 | 0 | 13 | 0 | 0.000000e+00 | -- | Inf
429.70/429.72 c 396s|800000 |799985 | 0 | 0.0 | 480M| 249 | - |3508 |4015 | 0 | 0 | 0 | 13 | 0 | 0.000000e+00 | -- | Inf
434.31/434.36 c 400s|810000 |809985 | 0 | 0.0 | 485M| 249 | - |3508 |4015 | 0 | 0 | 0 | 13 | 0 | 0.000000e+00 | -- | Inf
438.90/438.99 c 404s|820000 |819985 | 0 | 0.0 | 489M| 249 | - |3508 |4015 | 0 | 0 | 0 | 13 | 0 | 0.000000e+00 | -- | Inf
443.50/443.54 c 409s|830000 |829985 | 0 | 0.0 | 494M| 249 | - |3508 |4015 | 0 | 0 | 0 | 13 | 0 | 0.000000e+00 | -- | Inf
448.00/448.07 c 413s|840000 |839985 | 0 | 0.0 | 499M| 249 | - |3508 |4015 | 0 | 0 | 0 | 13 | 0 | 0.000000e+00 | -- | Inf
452.60/452.63 c 417s|850000 |849985 | 0 | 0.0 | 504M| 249 | - |3508 |4015 | 0 | 0 | 0 | 13 | 0 | 0.000000e+00 | -- | Inf
457.20/457.21 c 421s|860000 |859985 | 0 | 0.0 | 509M| 249 | - |3508 |4015 | 0 | 0 | 0 | 13 | 0 | 0.000000e+00 | -- | Inf
461.70/461.80 c 425s|870000 |869985 | 0 | 0.0 | 514M| 249 | - |3508 |4015 | 0 | 0 | 0 | 13 | 0 | 0.000000e+00 | -- | Inf
466.31/466.38 c 430s|880000 |879985 | 0 | 0.0 | 519M| 249 | - |3508 |4015 | 0 | 0 | 0 | 13 | 0 | 0.000000e+00 | -- | Inf
470.91/470.98 c 434s|890000 |889985 | 0 | 0.0 | 523M| 249 | - |3508 |4015 | 0 | 0 | 0 | 13 | 0 | 0.000000e+00 | -- | Inf
475.51/475.57 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
475.51/475.57 c 438s|900000 |899985 | 0 | 0.0 | 528M| 249 | - |3508 |4015 | 0 | 0 | 0 | 13 | 0 | 0.000000e+00 | -- | Inf
480.10/480.17 c 442s|910000 |909985 | 0 | 0.0 | 533M| 249 | - |3508 |4015 | 0 | 0 | 0 | 13 | 0 | 0.000000e+00 | -- | Inf
484.71/484.77 c 446s|920000 |919985 | 0 | 0.0 | 538M| 249 | - |3508 |4015 | 0 | 0 | 0 | 13 | 0 | 0.000000e+00 | -- | Inf
489.30/489.34 c 451s|930000 |929985 | 0 | 0.0 | 543M| 249 | - |3508 |4015 | 0 | 0 | 0 | 13 | 0 | 0.000000e+00 | -- | Inf
493.91/493.91 c 455s|940000 |939985 | 0 | 0.0 | 548M| 249 | - |3508 |4015 | 0 | 0 | 0 | 13 | 0 | 0.000000e+00 | -- | Inf
498.40/498.48 c 459s|950000 |949985 | 0 | 0.0 | 552M| 249 | - |3508 |4015 | 0 | 0 | 0 | 13 | 0 | 0.000000e+00 | -- | Inf
503.00/503.01 c 463s|960000 |959985 | 0 | 0.0 | 557M| 249 | - |3508 |4015 | 0 | 0 | 0 | 13 | 0 | 0.000000e+00 | -- | Inf
507.51/507.53 c 467s|970000 |969985 | 0 | 0.0 | 562M| 249 | - |3508 |4015 | 0 | 0 | 0 | 13 | 0 | 0.000000e+00 | -- | Inf
512.00/512.03 c 472s|980000 |979985 | 0 | 0.0 | 567M| 249 | - |3508 |4015 | 0 | 0 | 0 | 13 | 0 | 0.000000e+00 | -- | Inf
516.50/516.54 c 476s|990000 |989985 | 0 | 0.0 | 572M| 249 | - |3508 |4015 | 0 | 0 | 0 | 13 | 0 | 0.000000e+00 | -- | Inf
521.01/521.07 c 480s| 1000k|999985 | 0 | 0.0 | 577M| 249 | - |3508 |4015 | 0 | 0 | 0 | 13 | 0 | 0.000000e+00 | -- | Inf
525.71/525.74 c 484s| 1010k| 1009k| 0 | 0.0 | 581M| 249 | - |3508 |4015 | 0 | 0 | 0 | 13 | 0 | 0.000000e+00 | -- | Inf
531.31/531.31 c 489s| 1020k| 1019k| 0 | 0.0 | 587M| 249 | - |3508 |4024 | 0 | 0 | 0 | 22 | 0 | 0.000000e+00 | -- | Inf
536.81/536.86 c 495s| 1030k| 1029k| 0 | 0.0 | 593M| 249 | - |3508 |4020 | 0 | 0 | 0 | 22 | 0 | 0.000000e+00 | -- | Inf
542.41/542.45 c 500s| 1040k| 1039k| 0 | 0.0 | 599M| 249 | - |3508 |4018 | 0 | 0 | 0 | 22 | 0 | 0.000000e+00 | -- | Inf
547.81/547.89 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
547.81/547.89 c 505s| 1050k| 1049k| 0 | 0.0 | 605M| 249 | - |3508 |4018 | 0 | 0 | 0 | 22 | 0 | 0.000000e+00 | -- | Inf
553.31/553.35 c 510s| 1060k| 1059k| 0 | 0.0 | 611M| 249 | - |3508 |4017 | 0 | 0 | 0 | 22 | 0 | 0.000000e+00 | -- | Inf
558.71/558.76 c 515s| 1070k| 1069k| 0 | 0.0 | 617M| 249 | - |3508 |4017 | 0 | 0 | 0 | 22 | 0 | 0.000000e+00 | -- | Inf
564.11/564.17 c 520s| 1080k| 1079k| 0 | 0.0 | 622M| 249 | - |3508 |4017 | 0 | 0 | 0 | 22 | 0 | 0.000000e+00 | -- | Inf
569.51/569.57 c 525s| 1090k| 1089k| 0 | 0.0 | 628M| 249 | - |3508 |4017 | 0 | 0 | 0 | 22 | 0 | 0.000000e+00 | -- | Inf
575.01/575.03 c 530s| 1100k| 1099k| 0 | 0.0 | 634M| 249 | - |3508 |4017 | 0 | 0 | 0 | 22 | 0 | 0.000000e+00 | -- | Inf
580.41/580.40 c 535s| 1110k| 1109k| 0 | 0.0 | 639M| 249 | - |3508 |4017 | 0 | 0 | 0 | 22 | 0 | 0.000000e+00 | -- | Inf
585.80/585.84 c 540s| 1120k| 1119k| 0 | 0.0 | 645M| 249 | - |3508 |4017 | 0 | 0 | 0 | 22 | 0 | 0.000000e+00 | -- | Inf
591.21/591.22 c 545s| 1130k| 1129k| 0 | 0.0 | 651M| 249 | - |3508 |4017 | 0 | 0 | 0 | 22 | 0 | 0.000000e+00 | -- | Inf
596.51/596.59 c 550s| 1140k| 1139k| 0 | 0.0 | 657M| 249 | - |3508 |4017 | 0 | 0 | 0 | 22 | 0 | 0.000000e+00 | -- | Inf
601.91/601.93 c 554s| 1150k| 1149k| 0 | 0.0 | 662M| 249 | - |3508 |4016 | 0 | 0 | 0 | 22 | 0 | 0.000000e+00 | -- | Inf
607.21/607.28 c 559s| 1160k| 1159k| 0 | 0.0 | 668M| 249 | - |3508 |4016 | 0 | 0 | 0 | 22 | 0 | 0.000000e+00 | -- | Inf
612.61/612.60 c 564s| 1170k| 1169k| 0 | 0.0 | 674M| 249 | - |3508 |4016 | 0 | 0 | 0 | 22 | 0 | 0.000000e+00 | -- | Inf
617.90/617.90 c 569s| 1180k| 1179k| 0 | 0.0 | 679M| 249 | - |3508 |4016 | 0 | 0 | 0 | 22 | 0 | 0.000000e+00 | -- | Inf
623.21/623.22 c 574s| 1190k| 1189k| 0 | 0.0 | 685M| 249 | - |3508 |4016 | 0 | 0 | 0 | 22 | 0 | 0.000000e+00 | -- | Inf
628.51/628.55 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
628.51/628.55 c 579s| 1200k| 1199k| 0 | 0.0 | 691M| 249 | - |3508 |4016 | 0 | 0 | 0 | 22 | 0 | 0.000000e+00 | -- | Inf
633.81/633.83 c 584s| 1210k| 1209k| 0 | 0.0 | 696M| 249 | - |3508 |4016 | 0 | 0 | 0 | 22 | 0 | 0.000000e+00 | -- | Inf
639.12/639.16 c 589s| 1220k| 1219k| 0 | 0.0 | 702M| 249 | - |3508 |4018 | 0 | 0 | 0 | 24 | 0 | 0.000000e+00 | -- | Inf
644.52/644.50 c 594s| 1230k| 1229k| 0 | 0.0 | 707M| 249 | - |3508 |4018 | 0 | 0 | 0 | 24 | 0 | 0.000000e+00 | -- | Inf
649.81/649.81 c 599s| 1240k| 1239k| 0 | 0.0 | 713M| 249 | - |3508 |4018 | 0 | 0 | 0 | 24 | 0 | 0.000000e+00 | -- | Inf
655.11/655.11 c 603s| 1250k| 1249k| 0 | 0.0 | 719M| 249 | - |3508 |4018 | 0 | 0 | 0 | 24 | 0 | 0.000000e+00 | -- | Inf
660.41/660.46 c 608s| 1260k| 1259k| 0 | 0.0 | 724M| 249 | - |3508 |4018 | 0 | 0 | 0 | 24 | 0 | 0.000000e+00 | -- | Inf
665.81/665.81 c 613s| 1270k| 1269k| 0 | 0.0 | 730M| 249 | - |3508 |4017 | 0 | 0 | 0 | 24 | 0 | 0.000000e+00 | -- | Inf
671.11/671.11 c 618s| 1280k| 1279k| 0 | 0.0 | 736M| 249 | - |3508 |4017 | 0 | 0 | 0 | 24 | 0 | 0.000000e+00 | -- | Inf
676.42/676.48 c 623s| 1290k| 1289k| 0 | 0.0 | 741M| 249 | - |3508 |4017 | 0 | 0 | 0 | 24 | 0 | 0.000000e+00 | -- | Inf
681.81/681.84 c 628s| 1300k| 1299k| 0 | 0.0 | 747M| 249 | - |3508 |4017 | 0 | 0 | 0 | 24 | 0 | 0.000000e+00 | -- | Inf
687.11/687.15 c 633s| 1310k| 1309k| 0 | 0.0 | 752M| 249 | - |3508 |4017 | 0 | 0 | 0 | 24 | 0 | 0.000000e+00 | -- | Inf
692.41/692.46 c 638s| 1320k| 1319k| 0 | 0.0 | 758M| 249 | - |3508 |4017 | 0 | 0 | 0 | 24 | 0 | 0.000000e+00 | -- | Inf
697.71/697.75 c 643s| 1330k| 1329k| 0 | 0.0 | 764M| 249 | - |3508 |4017 | 0 | 0 | 0 | 24 | 0 | 0.000000e+00 | -- | Inf
703.01/703.01 c 648s| 1340k| 1339k| 0 | 0.0 | 769M| 249 | - |3508 |4017 | 0 | 0 | 0 | 24 | 0 | 0.000000e+00 | -- | Inf
708.32/708.35 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
708.32/708.35 c 652s| 1350k| 1349k| 0 | 0.0 | 775M| 249 | - |3508 |4017 | 0 | 0 | 0 | 24 | 0 | 0.000000e+00 | -- | Inf
713.61/713.63 c 657s| 1360k| 1359k| 0 | 0.0 | 780M| 249 | - |3508 |4017 | 0 | 0 | 0 | 24 | 0 | 0.000000e+00 | -- | Inf
718.91/718.90 c 662s| 1370k| 1369k| 0 | 0.0 | 786M| 249 | - |3508 |4017 | 0 | 0 | 0 | 24 | 0 | 0.000000e+00 | -- | Inf
724.11/724.16 c 667s| 1380k| 1379k| 0 | 0.0 | 791M| 249 | - |3508 |4017 | 0 | 0 | 0 | 24 | 0 | 0.000000e+00 | -- | Inf
729.41/729.46 c 672s| 1390k| 1389k| 0 | 0.0 | 797M| 249 | - |3508 |4017 | 0 | 0 | 0 | 24 | 0 | 0.000000e+00 | -- | Inf
734.72/734.71 c 677s| 1400k| 1399k| 0 | 0.0 | 803M| 249 | - |3508 |4019 | 0 | 0 | 0 | 26 | 0 | 0.000000e+00 | -- | Inf
739.91/739.96 c 682s| 1410k| 1409k| 0 | 0.0 | 808M| 249 | - |3508 |4019 | 0 | 0 | 0 | 26 | 0 | 0.000000e+00 | -- | Inf
745.21/745.20 c 687s| 1420k| 1419k| 0 | 0.0 | 814M| 249 | - |3508 |4019 | 0 | 0 | 0 | 26 | 0 | 0.000000e+00 | -- | Inf
750.41/750.44 c 691s| 1430k| 1429k| 0 | 0.0 | 819M| 249 | - |3508 |4019 | 0 | 0 | 0 | 26 | 0 | 0.000000e+00 | -- | Inf
755.72/755.73 c 696s| 1440k| 1439k| 0 | 0.0 | 825M| 249 | - |3508 |4019 | 0 | 0 | 0 | 26 | 0 | 0.000000e+00 | -- | Inf
761.01/761.00 c 701s| 1450k| 1449k| 0 | 0.0 | 830M| 249 | - |3508 |4019 | 0 | 0 | 0 | 26 | 0 | 0.000000e+00 | -- | Inf
766.22/766.25 c 706s| 1460k| 1459k| 0 | 0.0 | 836M| 249 | - |3508 |4019 | 0 | 0 | 0 | 26 | 0 | 0.000000e+00 | -- | Inf
771.51/771.50 c 711s| 1470k| 1469k| 0 | 0.0 | 841M| 249 | - |3508 |4019 | 0 | 0 | 0 | 26 | 0 | 0.000000e+00 | -- | Inf
776.71/776.76 c 716s| 1480k| 1479k| 0 | 0.0 | 847M| 249 | - |3508 |4019 | 0 | 0 | 0 | 26 | 0 | 0.000000e+00 | -- | Inf
782.01/782.04 c 721s| 1490k| 1489k| 0 | 0.0 | 852M| 249 | - |3508 |4019 | 0 | 0 | 0 | 26 | 0 | 0.000000e+00 | -- | Inf
787.22/787.26 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
787.22/787.26 c 725s| 1500k| 1499k| 0 | 0.0 | 858M| 249 | - |3508 |4019 | 0 | 0 | 0 | 26 | 0 | 0.000000e+00 | -- | Inf
792.41/792.48 c 730s| 1510k| 1509k| 0 | 0.0 | 863M| 249 | - |3508 |4019 | 0 | 0 | 0 | 26 | 0 | 0.000000e+00 | -- | Inf
797.61/797.69 c 735s| 1520k| 1519k| 0 | 0.0 | 869M| 249 | - |3508 |4022 | 0 | 0 | 0 | 29 | 0 | 0.000000e+00 | -- | Inf
802.92/802.91 c 740s| 1530k| 1529k| 0 | 0.0 | 874M| 249 | - |3508 |4022 | 0 | 0 | 0 | 29 | 0 | 0.000000e+00 | -- | Inf
808.11/808.15 c 745s| 1540k| 1539k| 0 | 0.0 | 880M| 249 | - |3508 |4022 | 0 | 0 | 0 | 29 | 0 | 0.000000e+00 | -- | Inf
813.31/813.37 c 749s| 1550k| 1549k| 0 | 0.0 | 885M| 249 | - |3508 |4022 | 0 | 0 | 0 | 29 | 0 | 0.000000e+00 | -- | Inf
818.52/818.58 c 754s| 1560k| 1559k| 0 | 0.0 | 891M| 249 | - |3508 |4022 | 0 | 0 | 0 | 29 | 0 | 0.000000e+00 | -- | Inf
823.71/823.79 c 759s| 1570k| 1569k| 0 | 0.0 | 896M| 249 | - |3508 |4022 | 0 | 0 | 0 | 29 | 0 | 0.000000e+00 | -- | Inf
829.01/829.05 c 764s| 1580k| 1579k| 0 | 0.0 | 902M| 249 | - |3508 |4022 | 0 | 0 | 0 | 29 | 0 | 0.000000e+00 | -- | Inf
834.21/834.27 c 769s| 1590k| 1589k| 0 | 0.0 | 907M| 249 | - |3508 |4025 | 0 | 0 | 0 | 32 | 0 | 0.000000e+00 | -- | Inf
839.42/839.49 c 774s| 1600k| 1599k| 0 | 0.0 | 913M| 249 | - |3508 |4025 | 0 | 0 | 0 | 32 | 0 | 0.000000e+00 | -- | Inf
844.62/844.68 c 778s| 1610k| 1609k| 0 | 0.0 | 918M| 249 | - |3508 |4024 | 0 | 0 | 0 | 32 | 0 | 0.000000e+00 | -- | Inf
849.81/849.81 c 783s| 1620k| 1619k| 0 | 0.0 | 924M| 249 | - |3508 |4024 | 0 | 0 | 0 | 32 | 0 | 0.000000e+00 | -- | Inf
854.91/854.96 c 788s| 1630k| 1629k| 0 | 0.0 | 929M| 249 | - |3508 |4027 | 0 | 0 | 0 | 35 | 0 | 0.000000e+00 | -- | Inf
860.12/860.12 c 793s| 1640k| 1639k| 0 | 0.0 | 935M| 249 | - |3508 |4029 | 0 | 0 | 0 | 37 | 0 | 0.000000e+00 | -- | Inf
865.32/865.30 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
865.32/865.30 c 797s| 1650k| 1649k| 0 | 0.0 | 940M| 249 | - |3508 |4029 | 0 | 0 | 0 | 37 | 0 | 0.000000e+00 | -- | Inf
870.41/870.43 c 802s| 1660k| 1659k| 0 | 0.0 | 945M| 249 | - |3508 |4029 | 0 | 0 | 0 | 37 | 0 | 0.000000e+00 | -- | Inf
875.52/875.58 c 807s| 1670k| 1669k| 0 | 0.0 | 951M| 249 | - |3508 |4029 | 0 | 0 | 0 | 37 | 0 | 0.000000e+00 | -- | Inf
880.71/880.75 c 812s| 1680k| 1679k| 0 | 0.0 | 956M| 249 | - |3508 |4029 | 0 | 0 | 0 | 37 | 0 | 0.000000e+00 | -- | Inf
885.91/885.96 c 816s| 1690k| 1689k| 0 | 0.0 | 962M| 249 | - |3508 |4029 | 0 | 0 | 0 | 37 | 0 | 0.000000e+00 | -- | Inf
891.11/891.10 c 821s| 1700k| 1699k| 0 | 0.0 | 967M| 249 | - |3508 |4029 | 0 | 0 | 0 | 37 | 0 | 0.000000e+00 | -- | Inf
896.11/896.18 c 826s| 1710k| 1709k| 0 | 0.0 | 972M| 249 | - |3508 |4029 | 0 | 0 | 0 | 37 | 0 | 0.000000e+00 | -- | Inf
901.22/901.29 c 831s| 1720k| 1719k| 0 | 0.0 | 978M| 249 | - |3508 |4032 | 0 | 0 | 0 | 40 | 0 | 0.000000e+00 | -- | Inf
906.32/906.39 c 835s| 1730k| 1729k| 0 | 0.0 | 983M| 249 | - |3508 |4033 | 0 | 0 | 0 | 41 | 0 | 0.000000e+00 | -- | Inf
911.51/911.54 c 840s| 1740k| 1739k| 0 | 0.0 | 989M| 249 | - |3508 |4033 | 0 | 0 | 0 | 41 | 0 | 0.000000e+00 | -- | Inf
916.62/916.65 c 845s| 1750k| 1749k| 0 | 0.0 | 994M| 249 | - |3508 |4033 | 0 | 0 | 0 | 41 | 0 | 0.000000e+00 | -- | Inf
921.72/921.77 c 850s| 1760k| 1759k| 0 | 0.0 | 999M| 249 | - |3508 |4033 | 0 | 0 | 0 | 41 | 0 | 0.000000e+00 | -- | Inf
926.92/926.91 c 855s| 1770k| 1769k| 0 | 0.0 |1005M| 249 | - |3508 |4033 | 0 | 0 | 0 | 41 | 0 | 0.000000e+00 | -- | Inf
932.12/932.10 c 860s| 1780k| 1779k| 0 | 0.0 |1010M| 249 | - |3508 |4033 | 0 | 0 | 0 | 41 | 0 | 0.000000e+00 | -- | Inf
937.22/937.25 c 865s| 1790k| 1789k| 0 | 0.0 |1016M| 249 | - |3508 |4034 | 0 | 0 | 0 | 42 | 0 | 0.000000e+00 | -- | Inf
942.42/942.45 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
942.42/942.45 c 870s| 1800k| 1799k| 0 | 0.0 |1021M| 249 | - |3508 |4035 | 0 | 0 | 0 | 43 | 0 | 0.000000e+00 | -- | Inf
947.52/947.59 c 875s| 1810k| 1809k| 0 | 0.0 |1026M| 249 | - |3508 |4034 | 0 | 0 | 0 | 43 | 0 | 0.000000e+00 | -- | Inf
952.81/952.80 c 880s| 1820k| 1819k| 0 | 0.0 |1032M| 249 | - |3508 |4034 | 0 | 0 | 0 | 43 | 0 | 0.000000e+00 | -- | Inf
958.02/958.01 c 885s| 1830k| 1829k| 0 | 0.0 |1037M| 249 | - |3508 |4034 | 0 | 0 | 0 | 43 | 0 | 0.000000e+00 | -- | Inf
963.21/963.23 c 890s| 1840k| 1839k| 0 | 0.0 |1042M| 249 | - |3508 |4034 | 0 | 0 | 0 | 43 | 0 | 0.000000e+00 | -- | Inf
968.42/968.40 c 895s| 1850k| 1849k| 0 | 0.0 |1048M| 249 | - |3508 |4033 | 0 | 0 | 0 | 43 | 0 | 0.000000e+00 | -- | Inf
973.53/973.55 c 900s| 1860k| 1859k| 0 | 0.0 |1053M| 249 | - |3508 |4033 | 0 | 0 | 0 | 43 | 0 | 0.000000e+00 | -- | Inf
978.61/978.60 c 905s| 1870k| 1869k| 0 | 0.0 |1058M| 249 | - |3508 |4033 | 0 | 0 | 0 | 43 | 0 | 0.000000e+00 | -- | Inf
983.62/983.68 c 910s| 1880k| 1879k| 0 | 0.0 |1064M| 249 | - |3508 |4033 | 0 | 0 | 0 | 43 | 0 | 0.000000e+00 | -- | Inf
988.72/988.75 c 915s| 1890k| 1889k| 0 | 0.0 |1069M| 249 | - |3508 |4033 | 0 | 0 | 0 | 43 | 0 | 0.000000e+00 | -- | Inf
993.82/993.80 c 920s| 1900k| 1899k| 0 | 0.0 |1074M| 249 | - |3508 |4033 | 0 | 0 | 0 | 43 | 0 | 0.000000e+00 | -- | Inf
998.91/998.91 c 925s| 1910k| 1909k| 0 | 0.0 |1080M| 249 | - |3508 |4033 | 0 | 0 | 0 | 43 | 0 | 0.000000e+00 | -- | Inf
1003.91/1003.99 c 930s| 1920k| 1919k| 0 | 0.0 |1085M| 249 | - |3508 |4033 | 0 | 0 | 0 | 43 | 0 | 0.000000e+00 | -- | Inf
1009.02/1009.00 c 935s| 1930k| 1929k| 0 | 0.0 |1090M| 249 | - |3508 |4033 | 0 | 0 | 0 | 43 | 0 | 0.000000e+00 | -- | Inf
1014.02/1014.03 c 940s| 1940k| 1939k| 0 | 0.0 |1095M| 249 | - |3508 |4033 | 0 | 0 | 0 | 43 | 0 | 0.000000e+00 | -- | Inf
1019.01/1019.06 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1019.01/1019.06 c 945s| 1950k| 1949k| 0 | 0.0 |1101M| 249 | - |3508 |4033 | 0 | 0 | 0 | 43 | 0 | 0.000000e+00 | -- | Inf
1024.12/1024.13 c 950s| 1960k| 1959k| 0 | 0.0 |1106M| 249 | - |3508 |4033 | 0 | 0 | 0 | 43 | 0 | 0.000000e+00 | -- | Inf
1029.12/1029.15 c 955s| 1970k| 1969k| 0 | 0.0 |1111M| 249 | - |3508 |4033 | 0 | 0 | 0 | 43 | 0 | 0.000000e+00 | -- | Inf
1034.12/1034.16 c 960s| 1980k| 1979k| 0 | 0.0 |1116M| 249 | - |3508 |4033 | 0 | 0 | 0 | 43 | 0 | 0.000000e+00 | -- | Inf
1039.12/1039.15 c 965s| 1990k| 1989k| 0 | 0.0 |1122M| 249 | - |3508 |4033 | 0 | 0 | 0 | 43 | 0 | 0.000000e+00 | -- | Inf
1044.01/1044.09 c 969s| 2000k| 1999k| 0 | 0.0 |1127M| 261 | - |3508 |4033 | 0 | 0 | 0 | 43 | 0 | 0.000000e+00 | -- | Inf
1049.02/1049.07 c 974s| 2010k| 2009k| 0 | 0.0 |1132M| 265 | - |3508 |4033 | 0 | 0 | 0 | 43 | 0 | 0.000000e+00 | -- | Inf
1054.02/1054.01 c 979s| 2020k| 2019k| 0 | 0.0 |1137M| 265 | - |3508 |4033 | 0 | 0 | 0 | 43 | 0 | 0.000000e+00 | -- | Inf
1059.02/1059.01 c 984s| 2030k| 2029k| 0 | 0.0 |1143M| 265 | - |3508 |4033 | 0 | 0 | 0 | 43 | 0 | 0.000000e+00 | -- | Inf
1063.92/1063.96 c 989s| 2040k| 2039k| 0 | 0.0 |1148M| 265 | - |3508 |4033 | 0 | 0 | 0 | 43 | 0 | 0.000000e+00 | -- | Inf
1068.92/1068.92 c 994s| 2050k| 2049k| 0 | 0.0 |1153M| 265 | - |3508 |4033 | 0 | 0 | 0 | 43 | 0 | 0.000000e+00 | -- | Inf
1073.82/1073.88 c 998s| 2060k| 2059k| 0 | 0.0 |1158M| 265 | - |3508 |4033 | 0 | 0 | 0 | 43 | 0 | 0.000000e+00 | -- | Inf
1078.81/1078.85 c 1003s| 2070k| 2069k| 0 | 0.0 |1163M| 265 | - |3508 |4033 | 0 | 0 | 0 | 43 | 0 | 0.000000e+00 | -- | Inf
1083.62/1083.69 c 1008s| 2080k| 2079k| 0 | 0.0 |1169M| 265 | - |3508 |4033 | 0 | 0 | 0 | 43 | 0 | 0.000000e+00 | -- | Inf
1088.61/1088.66 c 1013s| 2090k| 2089k| 0 | 0.0 |1174M| 265 | - |3508 |4033 | 0 | 0 | 0 | 43 | 0 | 0.000000e+00 | -- | Inf
1093.62/1093.67 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1093.62/1093.67 c 1018s| 2100k| 2099k| 0 | 0.0 |1179M| 265 | - |3508 |4033 | 0 | 0 | 0 | 43 | 0 | 0.000000e+00 | -- | Inf
1098.62/1098.68 c 1023s| 2110k| 2109k| 0 | 0.0 |1184M| 265 | - |3508 |4033 | 0 | 0 | 0 | 43 | 0 | 0.000000e+00 | -- | Inf
1103.72/1103.75 c 1028s| 2120k| 2119k| 0 | 0.0 |1189M| 265 | - |3508 |4033 | 0 | 0 | 0 | 43 | 0 | 0.000000e+00 | -- | Inf
1108.82/1108.87 c 1033s| 2130k| 2129k| 0 | 0.0 |1194M| 265 | - |3508 |4033 | 0 | 0 | 0 | 43 | 0 | 0.000000e+00 | -- | Inf
1113.92/1113.96 c 1037s| 2140k| 2139k| 0 | 0.0 |1200M| 265 | - |3508 |4033 | 0 | 0 | 0 | 43 | 0 | 0.000000e+00 | -- | Inf
1118.92/1118.93 c 1042s| 2150k| 2149k| 0 | 0.0 |1205M| 265 | - |3508 |4033 | 0 | 0 | 0 | 43 | 0 | 0.000000e+00 | -- | Inf
1123.92/1123.92 c 1047s| 2160k| 2159k| 0 | 0.0 |1210M| 265 | - |3508 |4033 | 0 | 0 | 0 | 43 | 0 | 0.000000e+00 | -- | Inf
1128.81/1128.89 c 1052s| 2170k| 2169k| 0 | 0.0 |1215M| 265 | - |3508 |4033 | 0 | 0 | 0 | 43 | 0 | 0.000000e+00 | -- | Inf
1133.81/1133.89 c 1057s| 2180k| 2179k| 0 | 0.0 |1220M| 265 | - |3508 |4033 | 0 | 0 | 0 | 43 | 0 | 0.000000e+00 | -- | Inf
1138.92/1138.94 c 1062s| 2190k| 2189k| 0 | 0.0 |1225M| 265 | - |3508 |4033 | 0 | 0 | 0 | 43 | 0 | 0.000000e+00 | -- | Inf
1144.03/1144.00 c 1067s| 2200k| 2199k| 0 | 0.0 |1231M| 265 | - |3508 |4033 | 0 | 0 | 0 | 43 | 0 | 0.000000e+00 | -- | Inf
1149.02/1149.08 c 1072s| 2210k| 2209k| 0 | 0.0 |1236M| 265 | - |3508 |4033 | 0 | 0 | 0 | 43 | 0 | 0.000000e+00 | -- | Inf
1154.12/1154.10 c 1077s| 2220k| 2219k| 0 | 0.0 |1241M| 265 | - |3508 |4033 | 0 | 0 | 0 | 43 | 0 | 0.000000e+00 | -- | Inf
1159.02/1159.05 c 1082s| 2230k| 2229k| 0 | 0.0 |1246M| 265 | - |3508 |4033 | 0 | 0 | 0 | 43 | 0 | 0.000000e+00 | -- | Inf
1163.92/1163.98 c 1086s| 2240k| 2239k| 0 | 0.0 |1251M| 265 | - |3508 |4033 | 0 | 0 | 0 | 43 | 0 | 0.000000e+00 | -- | Inf
1168.92/1168.92 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1168.92/1168.92 c 1091s| 2250k| 2249k| 0 | 0.0 |1256M| 265 | - |3508 |4033 | 0 | 0 | 0 | 43 | 0 | 0.000000e+00 | -- | Inf
1173.92/1173.90 c 1096s| 2260k| 2259k| 0 | 0.0 |1261M| 265 | - |3508 |4033 | 0 | 0 | 0 | 43 | 0 | 0.000000e+00 | -- | Inf
1178.82/1178.87 c 1101s| 2270k| 2269k| 0 | 0.0 |1267M| 265 | - |3508 |4033 | 0 | 0 | 0 | 43 | 0 | 0.000000e+00 | -- | Inf
1183.82/1183.81 c 1106s| 2280k| 2279k| 0 | 0.0 |1272M| 265 | - |3508 |4033 | 0 | 0 | 0 | 43 | 0 | 0.000000e+00 | -- | Inf
1188.72/1188.76 c 1110s| 2290k| 2289k| 0 | 0.0 |1277M| 265 | - |3508 |4033 | 0 | 0 | 0 | 43 | 0 | 0.000000e+00 | -- | Inf
1193.62/1193.69 c 1115s| 2300k| 2299k| 0 | 0.0 |1282M| 265 | - |3508 |4033 | 0 | 0 | 0 | 43 | 0 | 0.000000e+00 | -- | Inf
1198.62/1198.62 c 1120s| 2310k| 2309k| 0 | 0.0 |1287M| 265 | - |3508 |4033 | 0 | 0 | 0 | 43 | 0 | 0.000000e+00 | -- | Inf
1203.52/1203.58 c 1125s| 2320k| 2319k| 0 | 0.0 |1292M| 265 | - |3508 |4033 | 0 | 0 | 0 | 43 | 0 | 0.000000e+00 | -- | Inf
1208.62/1208.62 c 1130s| 2330k| 2329k| 0 | 0.0 |1297M| 265 | - |3508 |4033 | 0 | 0 | 0 | 43 | 0 | 0.000000e+00 | -- | Inf
1213.62/1213.62 c 1135s| 2340k| 2339k| 0 | 0.0 |1302M| 265 | - |3508 |4033 | 0 | 0 | 0 | 43 | 0 | 0.000000e+00 | -- | Inf
1218.62/1218.65 c 1140s| 2350k| 2349k| 0 | 0.0 |1308M| 265 | - |3508 |4033 | 0 | 0 | 0 | 43 | 0 | 0.000000e+00 | -- | Inf
1223.62/1223.66 c 1145s| 2360k| 2359k| 0 | 0.0 |1313M| 265 | - |3508 |4033 | 0 | 0 | 0 | 43 | 0 | 0.000000e+00 | -- | Inf
1228.63/1228.65 c 1149s| 2370k| 2369k| 0 | 0.0 |1318M| 265 | - |3508 |4033 | 0 | 0 | 0 | 43 | 0 | 0.000000e+00 | -- | Inf
1233.52/1233.53 c 1154s| 2380k| 2379k| 0 | 0.0 |1323M| 265 | - |3508 |4033 | 0 | 0 | 0 | 43 | 0 | 0.000000e+00 | -- | Inf
1238.42/1238.42 c 1159s| 2390k| 2389k| 0 | 0.0 |1328M| 265 | - |3508 |4033 | 0 | 0 | 0 | 43 | 0 | 0.000000e+00 | -- | Inf
1243.42/1243.40 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1243.42/1243.40 c 1164s| 2400k| 2399k| 0 | 0.0 |1333M| 265 | - |3508 |4033 | 0 | 0 | 0 | 43 | 0 | 0.000000e+00 | -- | Inf
1248.43/1248.43 c 1169s| 2410k| 2409k| 0 | 0.0 |1338M| 265 | - |3508 |4033 | 0 | 0 | 0 | 43 | 0 | 0.000000e+00 | -- | Inf
1253.42/1253.44 c 1174s| 2420k| 2419k| 0 | 0.0 |1343M| 265 | - |3508 |4033 | 0 | 0 | 0 | 43 | 0 | 0.000000e+00 | -- | Inf
1258.43/1258.46 c 1178s| 2430k| 2429k| 0 | 0.0 |1348M| 265 | - |3508 |4033 | 0 | 0 | 0 | 43 | 0 | 0.000000e+00 | -- | Inf
1263.32/1263.32 c 1183s| 2440k| 2439k| 0 | 0.0 |1353M| 265 | - |3508 |4033 | 0 | 0 | 0 | 43 | 0 | 0.000000e+00 | -- | Inf
1268.23/1268.25 c 1188s| 2450k| 2449k| 0 | 0.0 |1358M| 265 | - |3508 |4033 | 0 | 0 | 0 | 43 | 0 | 0.000000e+00 | -- | Inf
1273.12/1273.18 c 1193s| 2460k| 2459k| 0 | 0.0 |1363M| 265 | - |3508 |4033 | 0 | 0 | 0 | 43 | 0 | 0.000000e+00 | -- | Inf
1278.03/1278.05 c 1198s| 2470k| 2469k| 0 | 0.0 |1369M| 265 | - |3508 |4033 | 0 | 0 | 0 | 43 | 0 | 0.000000e+00 | -- | Inf
1282.93/1282.91 c 1202s| 2480k| 2479k| 0 | 0.0 |1374M| 265 | - |3508 |4033 | 0 | 0 | 0 | 43 | 0 | 0.000000e+00 | -- | Inf
1287.73/1287.75 c 1207s| 2490k| 2489k| 0 | 0.0 |1379M| 265 | - |3508 |4033 | 0 | 0 | 0 | 43 | 0 | 0.000000e+00 | -- | Inf
1292.62/1292.62 c 1212s| 2500k| 2499k| 0 | 0.0 |1384M| 265 | - |3508 |4033 | 0 | 0 | 0 | 43 | 0 | 0.000000e+00 | -- | Inf
1297.53/1297.51 c 1217s| 2510k| 2509k| 0 | 0.0 |1389M| 265 | - |3508 |4033 | 0 | 0 | 0 | 43 | 0 | 0.000000e+00 | -- | Inf
1302.33/1302.35 c 1221s| 2520k| 2519k| 0 | 0.0 |1394M| 265 | - |3508 |4033 | 0 | 0 | 0 | 43 | 0 | 0.000000e+00 | -- | Inf
1307.22/1307.27 c 1226s| 2530k| 2529k| 0 | 0.0 |1399M| 265 | - |3508 |4033 | 0 | 0 | 0 | 43 | 0 | 0.000000e+00 | -- | Inf
1312.12/1312.20 c 1231s| 2540k| 2539k| 0 | 0.0 |1404M| 265 | - |3508 |4033 | 0 | 0 | 0 | 43 | 0 | 0.000000e+00 | -- | Inf
1317.03/1317.08 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1317.03/1317.08 c 1236s| 2550k| 2549k| 0 | 0.0 |1409M| 265 | - |3508 |4033 | 0 | 0 | 0 | 43 | 0 | 0.000000e+00 | -- | Inf
1322.02/1322.00 c 1240s| 2560k| 2559k| 0 | 0.0 |1414M| 265 | - |3508 |4033 | 0 | 0 | 0 | 43 | 0 | 0.000000e+00 | -- | Inf
1326.92/1326.92 c 1245s| 2570k| 2569k| 0 | 0.0 |1419M| 265 | - |3508 |4033 | 0 | 0 | 0 | 43 | 0 | 0.000000e+00 | -- | Inf
1331.73/1331.78 c 1250s| 2580k| 2579k| 0 | 0.0 |1424M| 265 | - |3508 |4033 | 0 | 0 | 0 | 43 | 0 | 0.000000e+00 | -- | Inf
1336.62/1336.61 c 1255s| 2590k| 2589k| 0 | 0.0 |1429M| 265 | - |3508 |4033 | 0 | 0 | 0 | 43 | 0 | 0.000000e+00 | -- | Inf
1341.42/1341.40 c 1259s| 2600k| 2599k| 0 | 0.0 |1434M| 265 | - |3508 |4033 | 0 | 0 | 0 | 43 | 0 | 0.000000e+00 | -- | Inf
1346.23/1346.23 c 1264s| 2610k| 2609k| 0 | 0.0 |1440M| 265 | - |3508 |4033 | 0 | 0 | 0 | 43 | 0 | 0.000000e+00 | -- | Inf
1351.13/1351.11 c 1269s| 2620k| 2619k| 0 | 0.0 |1445M| 265 | - |3508 |4033 | 0 | 0 | 0 | 43 | 0 | 0.000000e+00 | -- | Inf
1356.02/1356.00 c 1274s| 2630k| 2629k| 0 | 0.0 |1450M| 265 | - |3508 |4033 | 0 | 0 | 0 | 43 | 0 | 0.000000e+00 | -- | Inf
1360.83/1360.86 c 1278s| 2640k| 2639k| 0 | 0.0 |1455M| 265 | - |3508 |4033 | 0 | 0 | 0 | 43 | 0 | 0.000000e+00 | -- | Inf
1365.72/1365.71 c 1283s| 2650k| 2649k| 0 | 0.0 |1460M| 265 | - |3508 |4033 | 0 | 0 | 0 | 43 | 0 | 0.000000e+00 | -- | Inf
1370.53/1370.54 c 1288s| 2660k| 2659k| 0 | 0.0 |1465M| 265 | - |3508 |4033 | 0 | 0 | 0 | 43 | 0 | 0.000000e+00 | -- | Inf
1375.42/1375.46 c 1293s| 2670k| 2669k| 0 | 0.0 |1470M| 265 | - |3508 |4033 | 0 | 0 | 0 | 43 | 0 | 0.000000e+00 | -- | Inf
1380.22/1380.24 c 1297s| 2680k| 2679k| 0 | 0.0 |1475M| 265 | - |3508 |4033 | 0 | 0 | 0 | 43 | 0 | 0.000000e+00 | -- | Inf
1385.03/1385.05 c 1302s| 2690k| 2689k| 0 | 0.0 |1480M| 265 | - |3508 |4033 | 0 | 0 | 0 | 43 | 0 | 0.000000e+00 | -- | Inf
1389.93/1389.91 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1389.93/1389.91 c 1307s| 2700k| 2699k| 0 | 0.0 |1485M| 265 | - |3508 |4033 | 0 | 0 | 0 | 43 | 0 | 0.000000e+00 | -- | Inf
1394.74/1394.77 c 1311s| 2710k| 2709k| 0 | 0.0 |1490M| 265 | - |3508 |4033 | 0 | 0 | 0 | 43 | 0 | 0.000000e+00 | -- | Inf
1399.62/1399.64 c 1316s| 2720k| 2719k| 0 | 0.0 |1495M| 265 | - |3508 |4033 | 0 | 0 | 0 | 43 | 0 | 0.000000e+00 | -- | Inf
1404.52/1404.55 c 1321s| 2730k| 2729k| 0 | 0.0 |1500M| 265 | - |3508 |4033 | 0 | 0 | 0 | 43 | 0 | 0.000000e+00 | -- | Inf
1409.43/1409.43 c 1326s| 2740k| 2739k| 0 | 0.0 |1505M| 265 | - |3508 |4033 | 0 | 0 | 0 | 43 | 0 | 0.000000e+00 | -- | Inf
1414.32/1414.32 c 1330s| 2750k| 2749k| 0 | 0.0 |1510M| 265 | - |3508 |4033 | 0 | 0 | 0 | 43 | 0 | 0.000000e+00 | -- | Inf
1419.12/1419.18 c 1335s| 2760k| 2759k| 0 | 0.0 |1515M| 265 | - |3508 |4033 | 0 | 0 | 0 | 43 | 0 | 0.000000e+00 | -- | Inf
1424.03/1424.02 c 1340s| 2770k| 2769k| 0 | 0.0 |1520M| 265 | - |3508 |4033 | 0 | 0 | 0 | 43 | 0 | 0.000000e+00 | -- | Inf
1428.83/1428.84 c 1345s| 2780k| 2779k| 0 | 0.0 |1525M| 265 | - |3508 |4033 | 0 | 0 | 0 | 43 | 0 | 0.000000e+00 | -- | Inf
1433.63/1433.66 c 1349s| 2790k| 2789k| 0 | 0.0 |1530M| 265 | - |3508 |4033 | 0 | 0 | 0 | 43 | 0 | 0.000000e+00 | -- | Inf
1438.53/1438.50 c 1354s| 2800k| 2799k| 0 | 0.0 |1535M| 265 | - |3508 |4033 | 0 | 0 | 0 | 43 | 0 | 0.000000e+00 | -- | Inf
1443.32/1443.35 c 1359s| 2810k| 2809k| 0 | 0.0 |1540M| 265 | - |3508 |4033 | 0 | 0 | 0 | 43 | 0 | 0.000000e+00 | -- | Inf
1448.23/1448.21 c 1364s| 2820k| 2819k| 0 | 0.0 |1545M| 265 | - |3508 |4033 | 0 | 0 | 0 | 43 | 0 | 0.000000e+00 | -- | Inf
1453.03/1453.10 c 1368s| 2830k| 2829k| 0 | 0.0 |1550M| 265 | - |3508 |4033 | 0 | 0 | 0 | 43 | 0 | 0.000000e+00 | -- | Inf
1457.92/1457.92 c 1373s| 2840k| 2839k| 0 | 0.0 |1555M| 265 | - |3508 |4033 | 0 | 0 | 0 | 43 | 0 | 0.000000e+00 | -- | Inf
1462.73/1462.75 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1462.73/1462.75 c 1378s| 2850k| 2849k| 0 | 0.0 |1560M| 265 | - |3508 |4033 | 0 | 0 | 0 | 43 | 0 | 0.000000e+00 | -- | Inf
1467.53/1467.56 c 1382s| 2860k| 2859k| 0 | 0.0 |1565M| 265 | - |3508 |4033 | 0 | 0 | 0 | 43 | 0 | 0.000000e+00 | -- | Inf
1472.33/1472.30 c 1387s| 2870k| 2869k| 0 | 0.0 |1570M| 265 | - |3508 |4033 | 0 | 0 | 0 | 43 | 0 | 0.000000e+00 | -- | Inf
1477.03/1477.06 c 1392s| 2880k| 2879k| 0 | 0.0 |1575M| 265 | - |3508 |4033 | 0 | 0 | 0 | 43 | 0 | 0.000000e+00 | -- | Inf
1481.83/1481.85 c 1396s| 2890k| 2889k| 0 | 0.0 |1581M| 265 | - |3508 |4033 | 0 | 0 | 0 | 43 | 0 | 0.000000e+00 | -- | Inf
1486.63/1486.60 c 1401s| 2900k| 2899k| 0 | 0.0 |1585M| 265 | - |3508 |4033 | 0 | 0 | 0 | 43 | 0 | 0.000000e+00 | -- | Inf
1491.33/1491.33 c 1406s| 2910k| 2909k| 0 | 0.0 |1590M| 265 | - |3508 |4033 | 0 | 0 | 0 | 43 | 0 | 0.000000e+00 | -- | Inf
1496.03/1496.09 c 1410s| 2920k| 2919k| 0 | 0.0 |1595M| 265 | - |3508 |4033 | 0 | 0 | 0 | 43 | 0 | 0.000000e+00 | -- | Inf
1500.83/1500.88 c 1415s| 2930k| 2929k| 0 | 0.0 |1600M| 265 | - |3508 |4033 | 0 | 0 | 0 | 43 | 0 | 0.000000e+00 | -- | Inf
1505.73/1505.73 c 1420s| 2940k| 2939k| 0 | 0.0 |1606M| 265 | - |3508 |4033 | 0 | 0 | 0 | 43 | 0 | 0.000000e+00 | -- | Inf
1510.63/1510.61 c 1424s| 2950k| 2949k| 0 | 0.0 |1611M| 265 | - |3508 |4033 | 0 | 0 | 0 | 43 | 0 | 0.000000e+00 | -- | Inf
1515.43/1515.45 c 1429s| 2960k| 2959k| 0 | 0.0 |1616M| 265 | - |3508 |4033 | 0 | 0 | 0 | 43 | 0 | 0.000000e+00 | -- | Inf
1520.24/1520.25 c 1434s| 2970k| 2969k| 0 | 0.0 |1621M| 265 | - |3508 |4033 | 0 | 0 | 0 | 43 | 0 | 0.000000e+00 | -- | Inf
1525.13/1525.12 c 1439s| 2980k| 2979k| 0 | 0.0 |1626M| 265 | - |3508 |4033 | 0 | 0 | 0 | 43 | 0 | 0.000000e+00 | -- | Inf
1529.93/1529.99 c 1443s| 2990k| 2989k| 0 | 0.0 |1631M| 265 | - |3508 |4033 | 0 | 0 | 0 | 43 | 0 | 0.000000e+00 | -- | Inf
1534.83/1534.87 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1534.83/1534.87 c 1448s| 3000k| 2999k| 0 | 0.0 |1636M| 265 | - |3508 |4033 | 0 | 0 | 0 | 43 | 0 | 0.000000e+00 | -- | Inf
1539.73/1539.71 c 1453s| 3010k| 3009k| 0 | 0.0 |1641M| 265 | - |3508 |4033 | 0 | 0 | 0 | 43 | 0 | 0.000000e+00 | -- | Inf
1544.53/1544.50 c 1457s| 3020k| 3019k| 0 | 0.0 |1646M| 265 | - |3508 |4033 | 0 | 0 | 0 | 43 | 0 | 0.000000e+00 | -- | Inf
1549.33/1549.39 c 1462s| 3030k| 3029k| 0 | 0.0 |1651M| 265 | - |3508 |4033 | 0 | 0 | 0 | 43 | 0 | 0.000000e+00 | -- | Inf
1554.23/1554.29 c 1467s| 3040k| 3039k| 0 | 0.0 |1656M| 265 | - |3508 |4033 | 0 | 0 | 0 | 43 | 0 | 0.000000e+00 | -- | Inf
1559.03/1559.02 c 1472s| 3050k| 3049k| 0 | 0.0 |1661M| 265 | - |3508 |4033 | 0 | 0 | 0 | 43 | 0 | 0.000000e+00 | -- | Inf
1563.93/1563.90 c 1476s| 3060k| 3059k| 0 | 0.0 |1666M| 265 | - |3508 |4033 | 0 | 0 | 0 | 43 | 0 | 0.000000e+00 | -- | Inf
1568.74/1568.77 c 1481s| 3070k| 3069k| 0 | 0.0 |1671M| 265 | - |3508 |4033 | 0 | 0 | 0 | 43 | 0 | 0.000000e+00 | -- | Inf
1573.63/1573.64 c 1486s| 3080k| 3079k| 0 | 0.0 |1676M| 265 | - |3508 |4034 | 0 | 0 | 0 | 44 | 0 | 0.000000e+00 | -- | Inf
1578.44/1578.49 c 1491s| 3090k| 3089k| 0 | 0.0 |1681M| 265 | - |3508 |4034 | 0 | 0 | 0 | 44 | 0 | 0.000000e+00 | -- | Inf
1583.44/1583.41 c 1495s| 3100k| 3099k| 0 | 0.0 |1686M| 265 | - |3508 |4034 | 0 | 0 | 0 | 44 | 0 | 0.000000e+00 | -- | Inf
1588.34/1588.34 c 1500s| 3110k| 3109k| 0 | 0.0 |1691M| 265 | - |3508 |4034 | 0 | 0 | 0 | 44 | 0 | 0.000000e+00 | -- | Inf
1593.24/1593.24 c 1505s| 3120k| 3119k| 0 | 0.0 |1696M| 265 | - |3508 |4034 | 0 | 0 | 0 | 44 | 0 | 0.000000e+00 | -- | Inf
1598.04/1598.09 c 1510s| 3130k| 3129k| 0 | 0.0 |1701M| 265 | - |3508 |4034 | 0 | 0 | 0 | 44 | 0 | 0.000000e+00 | -- | Inf
1602.93/1602.98 c 1514s| 3140k| 3139k| 0 | 0.0 |1706M| 265 | - |3508 |4034 | 0 | 0 | 0 | 44 | 0 | 0.000000e+00 | -- | Inf
1607.93/1607.91 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1607.93/1607.91 c 1519s| 3150k| 3149k| 0 | 0.0 |1711M| 265 | - |3508 |4034 | 0 | 0 | 0 | 44 | 0 | 0.000000e+00 | -- | Inf
1612.73/1612.78 c 1524s| 3160k| 3159k| 0 | 0.0 |1716M| 265 | - |3508 |4034 | 0 | 0 | 0 | 44 | 0 | 0.000000e+00 | -- | Inf
1617.64/1617.60 c 1529s| 3170k| 3169k| 0 | 0.0 |1721M| 265 | - |3508 |4034 | 0 | 0 | 0 | 44 | 0 | 0.000000e+00 | -- | Inf
1622.44/1622.44 c 1533s| 3180k| 3179k| 0 | 0.0 |1726M| 265 | - |3508 |4034 | 0 | 0 | 0 | 44 | 0 | 0.000000e+00 | -- | Inf
1627.23/1627.27 c 1538s| 3190k| 3189k| 0 | 0.0 |1731M| 265 | - |3508 |4035 | 0 | 0 | 0 | 45 | 0 | 0.000000e+00 | -- | Inf
1632.14/1632.12 c 1543s| 3200k| 3199k| 0 | 0.0 |1736M| 265 | - |3508 |4035 | 0 | 0 | 0 | 45 | 0 | 0.000000e+00 | -- | Inf
1636.84/1636.86 c 1547s| 3210k| 3209k| 0 | 0.0 |1741M| 265 | - |3508 |4035 | 0 | 0 | 0 | 45 | 0 | 0.000000e+00 | -- | Inf
1641.63/1641.65 c 1552s| 3220k| 3219k| 0 | 0.0 |1746M| 265 | - |3508 |4035 | 0 | 0 | 0 | 45 | 0 | 0.000000e+00 | -- | Inf
1646.33/1646.38 c 1557s| 3230k| 3229k| 0 | 0.0 |1751M| 265 | - |3508 |4035 | 0 | 0 | 0 | 45 | 0 | 0.000000e+00 | -- | Inf
1651.24/1651.24 c 1561s| 3240k| 3239k| 0 | 0.0 |1756M| 265 | - |3508 |4035 | 0 | 0 | 0 | 45 | 0 | 0.000000e+00 | -- | Inf
1656.13/1656.11 c 1566s| 3250k| 3249k| 0 | 0.0 |1761M| 265 | - |3508 |4035 | 0 | 0 | 0 | 45 | 0 | 0.000000e+00 | -- | Inf
1661.04/1661.01 c 1571s| 3260k| 3259k| 0 | 0.0 |1766M| 265 | - |3508 |4035 | 0 | 0 | 0 | 45 | 0 | 0.000000e+00 | -- | Inf
1665.83/1665.89 c 1576s| 3270k| 3269k| 0 | 0.0 |1771M| 265 | - |3508 |4035 | 0 | 0 | 0 | 45 | 0 | 0.000000e+00 | -- | Inf
1670.73/1670.73 c 1580s| 3280k| 3279k| 0 | 0.0 |1776M| 265 | - |3508 |4035 | 0 | 0 | 0 | 45 | 0 | 0.000000e+00 | -- | Inf
1675.54/1675.58 c 1585s| 3290k| 3289k| 0 | 0.0 |1781M| 265 | - |3508 |4035 | 0 | 0 | 0 | 45 | 0 | 0.000000e+00 | -- | Inf
1680.33/1680.37 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1680.33/1680.37 c 1590s| 3300k| 3299k| 0 | 0.0 |1786M| 265 | - |3508 |4035 | 0 | 0 | 0 | 45 | 0 | 0.000000e+00 | -- | Inf
1685.13/1685.16 c 1594s| 3310k| 3309k| 0 | 0.0 |1791M| 265 | - |3508 |4035 | 0 | 0 | 0 | 45 | 0 | 0.000000e+00 | -- | Inf
1689.94/1689.93 c 1599s| 3320k| 3319k| 0 | 0.0 |1796M| 265 | - |3508 |4035 | 0 | 0 | 0 | 45 | 0 | 0.000000e+00 | -- | Inf
1694.74/1694.76 c 1604s| 3330k| 3329k| 0 | 0.0 |1801M| 265 | - |3508 |4035 | 0 | 0 | 0 | 45 | 0 | 0.000000e+00 | -- | Inf
1699.54/1699.58 c 1609s| 3340k| 3339k| 0 | 0.0 |1806M| 265 | - |3508 |4035 | 0 | 0 | 0 | 45 | 0 | 0.000000e+00 | -- | Inf
1704.44/1704.41 c 1613s| 3350k| 3349k| 0 | 0.0 |1811M| 265 | - |3508 |4035 | 0 | 0 | 0 | 45 | 0 | 0.000000e+00 | -- | Inf
1709.24/1709.27 c 1618s| 3360k| 3359k| 0 | 0.0 |1817M| 265 | - |3508 |4035 | 0 | 0 | 0 | 45 | 0 | 0.000000e+00 | -- | Inf
1714.13/1714.10 c 1623s| 3370k| 3369k| 0 | 0.0 |1821M| 265 | - |3508 |4035 | 0 | 0 | 0 | 45 | 0 | 0.000000e+00 | -- | Inf
1718.83/1718.89 c 1627s| 3380k| 3379k| 0 | 0.0 |1826M| 265 | - |3508 |4035 | 0 | 0 | 0 | 45 | 0 | 0.000000e+00 | -- | Inf
1723.74/1723.70 c 1632s| 3390k| 3389k| 0 | 0.0 |1831M| 265 | - |3508 |4035 | 0 | 0 | 0 | 45 | 0 | 0.000000e+00 | -- | Inf
1728.54/1728.53 c 1637s| 3400k| 3399k| 0 | 0.0 |1836M| 265 | - |3508 |4035 | 0 | 0 | 0 | 45 | 0 | 0.000000e+00 | -- | Inf
1733.34/1733.34 c 1642s| 3410k| 3409k| 0 | 0.0 |1842M| 265 | - |3508 |4035 | 0 | 0 | 0 | 45 | 0 | 0.000000e+00 | -- | Inf
1738.04/1738.09 c 1646s| 3420k| 3419k| 0 | 0.0 |1847M| 265 | - |3508 |4035 | 0 | 0 | 0 | 45 | 0 | 0.000000e+00 | -- | Inf
1742.94/1742.90 c 1651s| 3430k| 3429k| 0 | 0.0 |1852M| 265 | - |3508 |4035 | 0 | 0 | 0 | 45 | 0 | 0.000000e+00 | -- | Inf
1747.64/1747.66 c 1655s| 3440k| 3439k| 0 | 0.0 |1857M| 265 | - |3508 |4035 | 0 | 0 | 0 | 45 | 0 | 0.000000e+00 | -- | Inf
1752.43/1752.41 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1752.43/1752.41 c 1660s| 3450k| 3449k| 0 | 0.0 |1862M| 265 | - |3508 |4035 | 0 | 0 | 0 | 45 | 0 | 0.000000e+00 | -- | Inf
1757.14/1757.15 c 1665s| 3460k| 3459k| 0 | 0.0 |1867M| 265 | - |3508 |4035 | 0 | 0 | 0 | 45 | 0 | 0.000000e+00 | -- | Inf
1761.93/1761.90 c 1669s| 3470k| 3469k| 0 | 0.0 |1872M| 265 | - |3508 |4039 | 0 | 0 | 0 | 49 | 0 | 0.000000e+00 | -- | Inf
1766.64/1766.69 c 1674s| 3480k| 3479k| 0 | 0.0 |1877M| 265 | - |3508 |4039 | 0 | 0 | 0 | 49 | 0 | 0.000000e+00 | -- | Inf
1771.43/1771.41 c 1679s| 3490k| 3489k| 0 | 0.0 |1882M| 265 | - |3508 |4039 | 0 | 0 | 0 | 49 | 0 | 0.000000e+00 | -- | Inf
1776.13/1776.18 c 1683s| 3500k| 3499k| 0 | 0.0 |1887M| 265 | - |3508 |4039 | 0 | 0 | 0 | 49 | 0 | 0.000000e+00 | -- | Inf
1781.03/1781.01 c 1688s| 3510k| 3509k| 0 | 0.0 |1892M| 265 | - |3508 |4039 | 0 | 0 | 0 | 49 | 0 | 0.000000e+00 | -- | Inf
1785.83/1785.81 c 1693s| 3520k| 3519k| 0 | 0.0 |1897M| 265 | - |3508 |4039 | 0 | 0 | 0 | 49 | 0 | 0.000000e+00 | -- | Inf
1790.53/1790.57 c 1697s| 3530k| 3529k| 0 | 0.0 |1902M| 265 | - |3508 |4039 | 0 | 0 | 0 | 49 | 0 | 0.000000e+00 | -- | Inf
1795.43/1795.41 c 1702s| 3540k| 3539k| 0 | 0.0 |1907M| 265 | - |3508 |4039 | 0 | 0 | 0 | 49 | 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) : 1706.44
1800.03/1800.00 c Solving Nodes : 3549590
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 : 1706.44
1800.03/1800.00 c Original Problem :
1800.03/1800.00 c Problem name : HOME/instance-2693760-1277916186.wbo
1800.03/1800.00 c Variables : 13096 (8532 binary, 0 integer, 0 implicit integer, 4564 continuous)
1800.03/1800.00 c Constraints : 17995 initial, 17995 maximal
1800.03/1800.00 c Presolved Problem :
1800.03/1800.00 c Problem name : t_HOME/instance-2693760-1277916186.wbo
1800.03/1800.00 c Variables : 3508 (2284 binary, 0 integer, 0 implicit integer, 1224 continuous)
1800.03/1800.00 c Constraints : 4009 initial, 4039 maximal
1800.03/1800.00 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.03/1800.00 c trivial : 0.00 82 0 0 0 0 0 0 0
1800.03/1800.00 c dualfix : 0.00 7089 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 1 0 0 0 0 0 0
1800.03/1800.00 c probing : 0.35 0 0 0 0 0 0 0 0
1800.03/1800.00 c indicator : 0.04 0 0 0 0 0 3340 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.01 0 0 0 0 0 2 14 79
1800.03/1800.00 c setppc : 0.00 0 0 0 0 0 3 0 0
1800.03/1800.00 c linear : 0.20 1777 639 0 3083 0 10648 7 8
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 : 1224 0 8998787 0 3549558 0 3234429 0 0 0
1800.03/1800.00 c varbound : 203 0 8998527 0 3549400 0 1796216 0 0 0
1800.03/1800.00 c knapsack : 153 0 8998787 0 3549558 6 1210529 0 0 0
1800.03/1800.00 c setppc : 4 0 6542346 0 2311734 0 93355 0 0 0
1800.03/1800.00 c linear : 1021 0 8998781 0 3549558 2 1273876 0 0 0
1800.03/1800.00 c logicor : 1404+ 0 4896585 0 3549558 24 6327952 0 0 0
1800.03/1800.00 c countsols : 0 0 0 0 3549558 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 : 415.47 0.00 133.47 0.00 282.00
1800.03/1800.00 c varbound : 16.28 0.00 15.24 0.00 1.04
1800.03/1800.00 c knapsack : 85.39 0.00 29.38 0.00 56.01
1800.03/1800.00 c setppc : 1.57 0.00 0.89 0.00 0.68
1800.03/1800.00 c linear : 66.32 0.00 64.02 0.00 2.30
1800.03/1800.00 c logicor : 182.58 0.00 13.73 0.00 168.85
1800.03/1800.00 c countsols : 0.52 0.00 0.00 0.00 0.52
1800.03/1800.00 c Propagators : Time Calls Cutoffs DomReds
1800.03/1800.00 c vbounds : 83.98 2821721 0 43496
1800.03/1800.00 c rootredcost : 1.16 0 0 0
1800.03/1800.00 c pseudoobj : 268.75 8995671 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 32 32 40 5.0 13 2.5 -
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 : - - - 49 4.2 - - -
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 : 497.27 3549558 0 0 0 0 7099116
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.36 0 0
1800.03/1800.00 c trivial : 0.04 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.50 0 0
1800.03/1800.00 c trysol : 0.39 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 : 3549590
1800.03/1800.00 c nodes (total) : 3549590
1800.03/1800.00 c nodes left : 3549527
1800.03/1800.00 c max depth : 265
1800.03/1800.00 c max depth (total): 265
1800.03/1800.00 c backtracks : 30347 (0.9%)
1800.03/1800.00 c delayed cutoffs : 0
1800.03/1800.00 c repropagations : 259 (109 domain reductions, 0 cutoffs)
1800.03/1800.00 c avg switch length: 2.43
1800.03/1800.00 c switching time : 36.67
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