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-2664720-1276481612.opb>
0.00/0.02 c original problem has 411 variables (411 bin, 0 int, 0 impl, 0 cont) and 477 constraints
0.00/0.02 c problem read
0.00/0.02 c presolving settings loaded
0.00/0.02 c [src/scip/lpi_none.c:41] ERROR: there is no LP solver linked to the binary (LPS=none); you should set the parameter <lp/solvefreq> to <-1> to avoid solving LPs
0.00/0.02 o 593
0.00/0.02 c feasible solution found by trivial heuristic, objective value 5.930000e+02
0.00/0.02 c presolving:
0.00/0.03 c (round 1) 4 del vars, 4 del conss, 1 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 1798 impls, 1 clqs
0.03/0.04 c (round 2) 4 del vars, 4 del conss, 1 chg bounds, 0 chg sides, 0 chg coeffs, 459 upgd conss, 1798 impls, 1 clqs
0.03/0.05 c (round 3) 4 del vars, 4 del conss, 1 chg bounds, 0 chg sides, 0 chg coeffs, 473 upgd conss, 1798 impls, 1 clqs
0.03/0.07 c (0.0s) probing: 146/407 (35.9%) - 0 fixings, 0 aggregations, 40 implications, 0 bound changes
0.03/0.07 c (0.0s) probing aborted: 100/100 successive totally useless probings
0.03/0.07 c presolving (4 rounds):
0.03/0.07 c 4 deleted vars, 4 deleted constraints, 1 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.03/0.07 c 1900 implications, 1 cliques
0.03/0.07 c presolved problem has 407 variables (407 bin, 0 int, 0 impl, 0 cont) and 473 constraints
0.03/0.07 c 88 constraints of type <knapsack>
0.03/0.07 c 1 constraints of type <setppc>
0.03/0.07 c 384 constraints of type <logicor>
0.03/0.07 c transformed objective value is always integral (scale: 1)
0.03/0.07 c Presolving Time: 0.04
0.03/0.07 c - non default parameters ----------------------------------------------------------------------
0.03/0.07 c # SCIP version 1.2.1.2
0.03/0.07 c
0.03/0.07 c # frequency for displaying node information lines
0.03/0.07 c # [type: int, range: [-1,2147483647], default: 100]
0.03/0.07 c display/freq = 10000
0.03/0.07 c
0.03/0.07 c # maximal time in seconds to run
0.03/0.07 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.03/0.07 c limits/time = 1799.99
0.03/0.07 c
0.03/0.07 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.03/0.07 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.03/0.07 c limits/memory = 1620
0.03/0.07 c
0.03/0.07 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.03/0.07 c # [type: int, range: [-1,2147483647], default: 1]
0.03/0.07 c lp/solvefreq = -1
0.03/0.07 c
0.03/0.07 c # should presolving try to simplify inequalities
0.03/0.07 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.03/0.07 c constraints/linear/simplifyinequalities = TRUE
0.03/0.07 c
0.03/0.07 c # should presolving try to simplify knapsacks
0.03/0.07 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.03/0.07 c constraints/knapsack/simplifyinequalities = TRUE
0.03/0.07 c
0.03/0.07 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.03/0.07 c # [type: int, range: [-1,2147483647], default: -1]
0.03/0.07 c separating/rapidlearning/freq = 0
0.03/0.07 c
0.03/0.07 c -----------------------------------------------------------------------------------------------
0.03/0.07 c start solving
0.03/0.07 c
0.03/0.07 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.03/0.07 c t 0.0s| 1 | 2 | 0 | - |1691k| 0 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.680000e+02 | 5.930000e+02 | Inf
2.90/2.95 c 2.6s| 10000 | 10001 | 0 | 0.0 |6306k| 51 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.420000e+02 | 5.930000e+02 | Inf
5.69/5.75 c 5.1s| 20000 | 20001 | 0 | 0.0 | 10M| 59 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.390000e+02 | 5.930000e+02 | Inf
8.48/8.51 c 7.6s| 30000 | 30001 | 0 | 0.0 | 15M| 59 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.380000e+02 | 5.930000e+02 | Inf
11.19/11.25 c 10.1s| 40000 | 40001 | 0 | 0.0 | 19M| 61 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.360000e+02 | 5.930000e+02 | Inf
13.88/13.97 c 12.5s| 50000 | 50001 | 0 | 0.0 | 23M| 61 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.350000e+02 | 5.930000e+02 | Inf
16.58/16.67 c 14.9s| 60000 | 60001 | 0 | 0.0 | 27M| 61 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.350000e+02 | 5.930000e+02 | Inf
19.28/19.40 c 17.4s| 70000 | 70001 | 0 | 0.0 | 31M| 61 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.340000e+02 | 5.930000e+02 | Inf
22.08/22.11 c 19.8s| 80000 | 80001 | 0 | 0.0 | 35M| 61 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.340000e+02 | 5.930000e+02 | Inf
24.78/24.83 c 22.2s| 90000 | 90001 | 0 | 0.0 | 40M| 61 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.330000e+02 | 5.930000e+02 | Inf
27.49/27.53 c 24.7s|100000 |100001 | 0 | 0.0 | 44M| 61 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.330000e+02 | 5.930000e+02 | Inf
30.19/30.23 c 27.1s|110000 |110001 | 0 | 0.0 | 48M| 61 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.320000e+02 | 5.930000e+02 | Inf
32.89/32.96 c 29.6s|120000 |120001 | 0 | 0.0 | 52M| 61 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.320000e+02 | 5.930000e+02 | Inf
35.58/35.67 c 32.0s|130000 |130001 | 0 | 0.0 | 56M| 61 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.320000e+02 | 5.930000e+02 | Inf
38.28/38.37 c 34.5s|140000 |140001 | 0 | 0.0 | 60M| 61 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.320000e+02 | 5.930000e+02 | Inf
41.08/41.10 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
41.08/41.10 c 36.9s|150000 |150001 | 0 | 0.0 | 64M| 63 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.310000e+02 | 5.930000e+02 | Inf
43.78/43.81 c 39.4s|160000 |160001 | 0 | 0.0 | 68M| 63 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.310000e+02 | 5.930000e+02 | Inf
46.48/46.51 c 41.8s|170000 |170001 | 0 | 0.0 | 72M| 63 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.310000e+02 | 5.930000e+02 | Inf
49.08/49.19 c 44.2s|180000 |180001 | 0 | 0.0 | 77M| 63 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.310000e+02 | 5.930000e+02 | Inf
51.87/51.92 c 46.6s|190000 |190001 | 0 | 0.0 | 81M| 63 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.300000e+02 | 5.930000e+02 | Inf
54.57/54.63 c 49.0s|200000 |200001 | 0 | 0.0 | 85M| 63 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.300000e+02 | 5.930000e+02 | Inf
57.28/57.34 c 51.4s|210000 |210001 | 0 | 0.0 | 89M| 63 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.300000e+02 | 5.930000e+02 | Inf
59.97/60.02 c 53.9s|220000 |220001 | 0 | 0.0 | 93M| 63 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.300000e+02 | 5.930000e+02 | Inf
62.59/62.70 c 56.3s|230000 |230001 | 0 | 0.0 | 98M| 63 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.300000e+02 | 5.930000e+02 | Inf
65.38/65.42 c 58.8s|240000 |240001 | 0 | 0.0 | 102M| 65 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.290000e+02 | 5.930000e+02 | Inf
68.08/68.16 c 61.2s|250000 |250001 | 0 | 0.0 | 106M| 65 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.290000e+02 | 5.930000e+02 | Inf
70.77/70.87 c 63.6s|260000 |260001 | 0 | 0.0 | 111M| 65 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.290000e+02 | 5.930000e+02 | Inf
73.47/73.59 c 66.1s|270000 |270001 | 0 | 0.0 | 115M| 65 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.290000e+02 | 5.930000e+02 | Inf
76.27/76.30 c 68.5s|280000 |280001 | 0 | 0.0 | 119M| 65 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.290000e+02 | 5.930000e+02 | Inf
78.97/79.00 c 70.9s|290000 |290001 | 0 | 0.0 | 124M| 65 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.290000e+02 | 5.930000e+02 | Inf
81.57/81.69 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
81.57/81.69 c 73.4s|300000 |300001 | 0 | 0.0 | 128M| 65 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.290000e+02 | 5.930000e+02 | Inf
84.27/84.38 c 75.8s|310000 |310001 | 0 | 0.0 | 132M| 65 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.290000e+02 | 5.930000e+02 | Inf
86.96/87.07 c 78.2s|320000 |320001 | 0 | 0.0 | 137M| 65 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.280000e+02 | 5.930000e+02 | Inf
89.76/89.83 c 80.7s|330000 |330001 | 0 | 0.0 | 141M| 65 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.280000e+02 | 5.930000e+02 | Inf
92.47/92.55 c 83.1s|340000 |340001 | 0 | 0.0 | 145M| 65 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.280000e+02 | 5.930000e+02 | Inf
95.16/95.27 c 85.5s|350000 |350001 | 0 | 0.0 | 150M| 65 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.280000e+02 | 5.930000e+02 | Inf
97.87/97.98 c 87.9s|360000 |360001 | 0 | 0.0 | 154M| 65 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.280000e+02 | 5.930000e+02 | Inf
100.56/100.69 c 90.4s|370000 |370001 | 0 | 0.0 | 158M| 65 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.280000e+02 | 5.930000e+02 | Inf
103.27/103.39 c 92.8s|380000 |380001 | 0 | 0.0 | 163M| 65 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.280000e+02 | 5.930000e+02 | Inf
105.96/106.09 c 95.2s|390000 |390001 | 0 | 0.0 | 167M| 65 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.280000e+02 | 5.930000e+02 | Inf
108.67/108.78 c 97.6s|400000 |400001 | 0 | 0.0 | 171M| 65 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.280000e+02 | 5.930000e+02 | Inf
111.36/111.46 c 100s|410000 |410001 | 0 | 0.0 | 176M| 65 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.280000e+02 | 5.930000e+02 | Inf
114.07/114.14 c 102s|420000 |420001 | 0 | 0.0 | 180M| 65 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.280000e+02 | 5.930000e+02 | Inf
116.77/116.86 c 105s|430000 |430001 | 0 | 0.0 | 184M| 65 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.270000e+02 | 5.930000e+02 | Inf
119.46/119.57 c 107s|440000 |440001 | 0 | 0.0 | 189M| 65 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.270000e+02 | 5.930000e+02 | Inf
122.16/122.28 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
122.16/122.28 c 110s|450000 |450001 | 0 | 0.0 | 193M| 65 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.270000e+02 | 5.930000e+02 | Inf
124.86/124.99 c 112s|460000 |460001 | 0 | 0.0 | 197M| 65 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.270000e+02 | 5.930000e+02 | Inf
127.56/127.69 c 115s|470000 |470001 | 0 | 0.0 | 202M| 65 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.270000e+02 | 5.930000e+02 | Inf
130.26/130.39 c 117s|480000 |480001 | 0 | 0.0 | 206M| 65 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.270000e+02 | 5.930000e+02 | Inf
132.96/133.09 c 119s|490000 |490001 | 0 | 0.0 | 210M| 65 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.270000e+02 | 5.930000e+02 | Inf
135.65/135.75 c 122s|500000 |500001 | 0 | 0.0 | 215M| 67 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.270000e+02 | 5.930000e+02 | Inf
138.35/138.41 c 124s|510000 |510001 | 0 | 0.0 | 219M| 67 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.270000e+02 | 5.930000e+02 | Inf
140.95/141.07 c 127s|520000 |520001 | 0 | 0.0 | 223M| 67 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.270000e+02 | 5.930000e+02 | Inf
143.65/143.72 c 129s|530000 |530001 | 0 | 0.0 | 227M| 67 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.270000e+02 | 5.930000e+02 | Inf
146.26/146.38 c 131s|540000 |540001 | 0 | 0.0 | 231M| 67 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.270000e+02 | 5.930000e+02 | Inf
148.95/149.04 c 134s|550000 |550001 | 0 | 0.0 | 236M| 67 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.270000e+02 | 5.930000e+02 | Inf
151.65/151.75 c 136s|560000 |560001 | 0 | 0.0 | 240M| 67 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.260000e+02 | 5.930000e+02 | Inf
154.35/154.46 c 139s|570000 |570001 | 0 | 0.0 | 244M| 67 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.260000e+02 | 5.930000e+02 | Inf
157.05/157.16 c 141s|580000 |580001 | 0 | 0.0 | 249M| 67 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.260000e+02 | 5.930000e+02 | Inf
159.75/159.86 c 143s|590000 |590001 | 0 | 0.0 | 253M| 67 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.260000e+02 | 5.930000e+02 | Inf
162.45/162.56 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
162.45/162.56 c 146s|600000 |600001 | 0 | 0.0 | 257M| 67 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.260000e+02 | 5.930000e+02 | Inf
165.15/165.25 c 148s|610000 |610001 | 0 | 0.0 | 262M| 67 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.260000e+02 | 5.930000e+02 | Inf
167.85/167.94 c 151s|620000 |620001 | 0 | 0.0 | 266M| 67 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.260000e+02 | 5.930000e+02 | Inf
170.55/170.64 c 153s|630000 |630001 | 0 | 0.0 | 270M| 67 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.260000e+02 | 5.930000e+02 | Inf
173.24/173.33 c 155s|640000 |640001 | 0 | 0.0 | 275M| 67 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.260000e+02 | 5.930000e+02 | Inf
175.95/176.02 c 158s|650000 |650001 | 0 | 0.0 | 279M| 67 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.260000e+02 | 5.930000e+02 | Inf
178.65/178.70 c 160s|660000 |660001 | 0 | 0.0 | 283M| 67 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.260000e+02 | 5.930000e+02 | Inf
181.24/181.37 c 163s|670000 |670001 | 0 | 0.0 | 288M| 67 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.260000e+02 | 5.930000e+02 | Inf
183.94/184.03 c 165s|680000 |680001 | 0 | 0.0 | 292M| 67 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.260000e+02 | 5.930000e+02 | Inf
186.55/186.66 c 167s|690000 |690001 | 0 | 0.0 | 296M| 67 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.260000e+02 | 5.930000e+02 | Inf
189.24/189.31 c 170s|700000 |700001 | 0 | 0.0 | 300M| 67 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.260000e+02 | 5.930000e+02 | Inf
191.84/191.95 c 172s|710000 |710001 | 0 | 0.0 | 304M| 67 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.260000e+02 | 5.930000e+02 | Inf
194.44/194.59 c 174s|720000 |720001 | 0 | 0.0 | 308M| 67 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.260000e+02 | 5.930000e+02 | Inf
197.14/197.24 c 177s|730000 |730001 | 0 | 0.0 | 312M| 67 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.260000e+02 | 5.930000e+02 | Inf
199.73/199.88 c 179s|740000 |740001 | 0 | 0.0 | 316M| 67 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.260000e+02 | 5.930000e+02 | Inf
202.35/202.49 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
202.35/202.49 c 182s|750000 |750001 | 0 | 0.0 | 321M| 75 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.250000e+02 | 5.930000e+02 | Inf
205.04/205.15 c 184s|760000 |760001 | 0 | 0.0 | 325M| 75 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.250000e+02 | 5.930000e+02 | Inf
207.74/207.81 c 186s|770000 |770001 | 0 | 0.0 | 329M| 75 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.250000e+02 | 5.930000e+02 | Inf
210.34/210.45 c 189s|780000 |780001 | 0 | 0.0 | 333M| 75 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.250000e+02 | 5.930000e+02 | Inf
212.93/213.08 c 191s|790000 |790001 | 0 | 0.0 | 337M| 75 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.250000e+02 | 5.930000e+02 | Inf
215.63/215.71 c 194s|800000 |800001 | 0 | 0.0 | 341M| 75 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.250000e+02 | 5.930000e+02 | Inf
218.23/218.32 c 196s|810000 |810001 | 0 | 0.0 | 345M| 75 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.250000e+02 | 5.930000e+02 | Inf
220.83/220.93 c 198s|820000 |820001 | 0 | 0.0 | 349M| 75 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.250000e+02 | 5.930000e+02 | Inf
223.43/223.53 c 201s|830000 |830001 | 0 | 0.0 | 353M| 75 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.250000e+02 | 5.930000e+02 | Inf
226.03/226.12 c 203s|840000 |840001 | 0 | 0.0 | 357M| 75 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.250000e+02 | 5.930000e+02 | Inf
228.63/228.72 c 205s|850000 |850001 | 0 | 0.0 | 361M| 75 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.250000e+02 | 5.930000e+02 | Inf
231.23/231.31 c 208s|860000 |860001 | 0 | 0.0 | 366M| 75 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.250000e+02 | 5.930000e+02 | Inf
233.83/233.92 c 210s|870000 |870001 | 0 | 0.0 | 370M| 75 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.250000e+02 | 5.930000e+02 | Inf
236.44/236.52 c 212s|880000 |880001 | 0 | 0.0 | 374M| 75 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.250000e+02 | 5.930000e+02 | Inf
239.03/239.11 c 215s|890000 |890001 | 0 | 0.0 | 378M| 75 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.250000e+02 | 5.930000e+02 | Inf
241.53/241.70 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
241.63/241.70 c 217s|900000 |900001 | 0 | 0.0 | 382M| 75 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.250000e+02 | 5.930000e+02 | Inf
244.13/244.28 c 219s|910000 |910001 | 0 | 0.0 | 386M| 75 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.250000e+02 | 5.930000e+02 | Inf
246.73/246.87 c 222s|920000 |920001 | 0 | 0.0 | 390M| 75 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.250000e+02 | 5.930000e+02 | Inf
249.32/249.46 c 224s|930000 |930001 | 0 | 0.0 | 394M| 75 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.250000e+02 | 5.930000e+02 | Inf
251.93/252.05 c 226s|940000 |940001 | 0 | 0.0 | 398M| 75 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.250000e+02 | 5.930000e+02 | Inf
254.52/254.64 c 228s|950000 |950001 | 0 | 0.0 | 402M| 75 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.250000e+02 | 5.930000e+02 | Inf
257.12/257.24 c 231s|960000 |960001 | 0 | 0.0 | 406M| 75 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.250000e+02 | 5.930000e+02 | Inf
259.72/259.82 c 233s|970000 |970001 | 0 | 0.0 | 411M| 75 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.250000e+02 | 5.930000e+02 | Inf
262.33/262.40 c 235s|980000 |980001 | 0 | 0.0 | 415M| 75 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.250000e+02 | 5.930000e+02 | Inf
264.82/264.99 c 238s|990000 |990001 | 0 | 0.0 | 419M| 75 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.250000e+02 | 5.930000e+02 | Inf
267.42/267.58 c 240s| 1000k| 1000k| 0 | 0.0 | 423M| 75 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.250000e+02 | 5.930000e+02 | Inf
270.02/270.16 c 242s| 1010k| 1010k| 0 | 0.0 | 427M| 75 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.250000e+02 | 5.930000e+02 | Inf
272.63/272.76 c 245s| 1020k| 1020k| 0 | 0.0 | 431M| 75 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.250000e+02 | 5.930000e+02 | Inf
275.22/275.34 c 247s| 1030k| 1030k| 0 | 0.0 | 435M| 75 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.250000e+02 | 5.930000e+02 | Inf
277.81/277.92 c 249s| 1040k| 1040k| 0 | 0.0 | 440M| 75 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.250000e+02 | 5.930000e+02 | Inf
280.33/280.50 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
280.33/280.50 c 252s| 1050k| 1050k| 0 | 0.0 | 444M| 75 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.250000e+02 | 5.930000e+02 | Inf
282.92/283.08 c 254s| 1060k| 1060k| 0 | 0.0 | 448M| 75 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.250000e+02 | 5.930000e+02 | Inf
285.51/285.67 c 256s| 1070k| 1070k| 0 | 0.0 | 452M| 75 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.250000e+02 | 5.930000e+02 | Inf
288.13/288.26 c 259s| 1080k| 1080k| 0 | 0.0 | 457M| 75 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.250000e+02 | 5.930000e+02 | Inf
290.71/290.83 c 261s| 1090k| 1090k| 0 | 0.0 | 461M| 75 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.250000e+02 | 5.930000e+02 | Inf
293.21/293.39 c 263s| 1100k| 1100k| 0 | 0.0 | 465M| 75 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.250000e+02 | 5.930000e+02 | Inf
295.92/296.04 c 266s| 1110k| 1110k| 0 | 0.0 | 470M| 75 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.240000e+02 | 5.930000e+02 | Inf
298.51/298.69 c 268s| 1120k| 1120k| 0 | 0.0 | 474M| 75 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.240000e+02 | 5.930000e+02 | Inf
301.22/301.34 c 270s| 1130k| 1130k| 0 | 0.0 | 478M| 75 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.240000e+02 | 5.930000e+02 | Inf
303.81/303.98 c 273s| 1140k| 1140k| 0 | 0.0 | 483M| 75 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.240000e+02 | 5.930000e+02 | Inf
306.51/306.63 c 275s| 1150k| 1150k| 0 | 0.0 | 487M| 75 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.240000e+02 | 5.930000e+02 | Inf
309.11/309.25 c 277s| 1160k| 1160k| 0 | 0.0 | 491M| 75 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.240000e+02 | 5.930000e+02 | Inf
311.71/311.89 c 280s| 1170k| 1170k| 0 | 0.0 | 495M| 75 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.240000e+02 | 5.930000e+02 | Inf
314.42/314.53 c 282s| 1180k| 1180k| 0 | 0.0 | 500M| 75 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.240000e+02 | 5.930000e+02 | Inf
317.01/317.15 c 284s| 1190k| 1190k| 0 | 0.0 | 504M| 75 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.240000e+02 | 5.930000e+02 | Inf
319.61/319.77 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
319.61/319.77 c 287s| 1200k| 1200k| 0 | 0.0 | 508M| 75 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.240000e+02 | 5.930000e+02 | Inf
322.21/322.39 c 289s| 1210k| 1210k| 0 | 0.0 | 512M| 75 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.240000e+02 | 5.930000e+02 | Inf
324.91/325.02 c 292s| 1220k| 1220k| 0 | 0.0 | 517M| 75 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.240000e+02 | 5.930000e+02 | Inf
327.51/327.64 c 294s| 1230k| 1230k| 0 | 0.0 | 521M| 75 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.240000e+02 | 5.930000e+02 | Inf
330.11/330.24 c 296s| 1240k| 1240k| 0 | 0.0 | 525M| 75 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.240000e+02 | 5.930000e+02 | Inf
332.70/332.85 c 299s| 1250k| 1250k| 0 | 0.0 | 529M| 75 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.240000e+02 | 5.930000e+02 | Inf
335.31/335.46 c 301s| 1260k| 1260k| 0 | 0.0 | 534M| 75 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.240000e+02 | 5.930000e+02 | Inf
337.90/338.08 c 303s| 1270k| 1270k| 0 | 0.0 | 538M| 75 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.240000e+02 | 5.930000e+02 | Inf
340.60/340.71 c 306s| 1280k| 1280k| 0 | 0.0 | 542M| 75 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.240000e+02 | 5.930000e+02 | Inf
343.19/343.32 c 308s| 1290k| 1290k| 0 | 0.0 | 546M| 75 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.240000e+02 | 5.930000e+02 | Inf
345.80/345.95 c 310s| 1300k| 1300k| 0 | 0.0 | 551M| 75 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.240000e+02 | 5.930000e+02 | Inf
348.40/348.56 c 313s| 1310k| 1310k| 0 | 0.0 | 555M| 75 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.240000e+02 | 5.930000e+02 | Inf
351.00/351.17 c 315s| 1320k| 1320k| 0 | 0.0 | 559M| 75 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.240000e+02 | 5.930000e+02 | Inf
353.59/353.78 c 317s| 1330k| 1330k| 0 | 0.0 | 563M| 75 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.240000e+02 | 5.930000e+02 | Inf
356.20/356.39 c 320s| 1340k| 1340k| 0 | 0.0 | 568M| 75 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.240000e+02 | 5.930000e+02 | Inf
358.89/359.00 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
358.89/359.00 c 322s| 1350k| 1350k| 0 | 0.0 | 572M| 75 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.240000e+02 | 5.930000e+02 | Inf
361.49/361.61 c 324s| 1360k| 1360k| 0 | 0.0 | 576M| 75 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.240000e+02 | 5.930000e+02 | Inf
364.10/364.21 c 327s| 1370k| 1370k| 0 | 0.0 | 580M| 75 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.240000e+02 | 5.930000e+02 | Inf
366.69/366.82 c 329s| 1380k| 1380k| 0 | 0.0 | 585M| 75 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.240000e+02 | 5.930000e+02 | Inf
369.29/369.41 c 331s| 1390k| 1390k| 0 | 0.0 | 589M| 75 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.240000e+02 | 5.930000e+02 | Inf
371.88/372.01 c 334s| 1400k| 1400k| 0 | 0.0 | 593M| 75 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.240000e+02 | 5.930000e+02 | Inf
374.48/374.61 c 336s| 1410k| 1410k| 0 | 0.0 | 597M| 75 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.240000e+02 | 5.930000e+02 | Inf
377.10/377.21 c 338s| 1420k| 1420k| 0 | 0.0 | 602M| 75 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.240000e+02 | 5.930000e+02 | Inf
379.68/379.80 c 340s| 1430k| 1430k| 0 | 0.0 | 606M| 75 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.240000e+02 | 5.930000e+02 | Inf
382.29/382.41 c 343s| 1440k| 1440k| 0 | 0.0 | 610M| 75 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.240000e+02 | 5.930000e+02 | Inf
384.79/385.00 c 345s| 1450k| 1450k| 0 | 0.0 | 614M| 75 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.240000e+02 | 5.930000e+02 | Inf
387.38/387.59 c 347s| 1460k| 1460k| 0 | 0.0 | 619M| 77 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.240000e+02 | 5.930000e+02 | Inf
389.98/390.17 c 350s| 1470k| 1470k| 0 | 0.0 | 623M| 77 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.240000e+02 | 5.930000e+02 | Inf
392.59/392.75 c 352s| 1480k| 1480k| 0 | 0.0 | 627M| 77 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.240000e+02 | 5.930000e+02 | Inf
395.18/395.33 c 354s| 1490k| 1490k| 0 | 0.0 | 631M| 77 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.240000e+02 | 5.930000e+02 | Inf
397.77/397.91 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
397.77/397.91 c 357s| 1500k| 1500k| 0 | 0.0 | 635M| 77 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.240000e+02 | 5.930000e+02 | Inf
400.28/400.49 c 359s| 1510k| 1510k| 0 | 0.0 | 640M| 77 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.240000e+02 | 5.930000e+02 | Inf
402.88/403.06 c 361s| 1520k| 1520k| 0 | 0.0 | 644M| 77 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.240000e+02 | 5.930000e+02 | Inf
405.47/405.63 c 364s| 1530k| 1530k| 0 | 0.0 | 648M| 77 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.240000e+02 | 5.930000e+02 | Inf
408.08/408.21 c 366s| 1540k| 1540k| 0 | 0.0 | 652M| 77 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.240000e+02 | 5.930000e+02 | Inf
410.57/410.78 c 368s| 1550k| 1550k| 0 | 0.0 | 656M| 77 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.240000e+02 | 5.930000e+02 | Inf
413.18/413.34 c 371s| 1560k| 1560k| 0 | 0.0 | 661M| 77 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.240000e+02 | 5.930000e+02 | Inf
415.78/415.91 c 373s| 1570k| 1570k| 0 | 0.0 | 665M| 77 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.240000e+02 | 5.930000e+02 | Inf
418.27/418.45 c 375s| 1580k| 1580k| 0 | 0.0 | 669M| 77 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.240000e+02 | 5.930000e+02 | Inf
420.87/421.00 c 377s| 1590k| 1590k| 0 | 0.0 | 674M| 77 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.240000e+02 | 5.930000e+02 | Inf
423.38/423.54 c 380s| 1600k| 1600k| 0 | 0.0 | 678M| 77 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.240000e+02 | 5.930000e+02 | Inf
425.87/426.08 c 382s| 1610k| 1610k| 0 | 0.0 | 682M| 77 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.240000e+02 | 5.930000e+02 | Inf
428.47/428.68 c 384s| 1620k| 1620k| 0 | 0.0 | 687M| 77 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.230000e+02 | 5.930000e+02 | Inf
431.17/431.31 c 387s| 1630k| 1630k| 0 | 0.0 | 691M| 77 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.230000e+02 | 5.930000e+02 | Inf
433.77/433.93 c 389s| 1640k| 1640k| 0 | 0.0 | 695M| 77 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.230000e+02 | 5.930000e+02 | Inf
436.37/436.56 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
436.37/436.56 c 391s| 1650k| 1650k| 0 | 0.0 | 699M| 77 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.230000e+02 | 5.930000e+02 | Inf
438.97/439.17 c 394s| 1660k| 1660k| 0 | 0.0 | 704M| 77 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.230000e+02 | 5.930000e+02 | Inf
441.57/441.78 c 396s| 1670k| 1670k| 0 | 0.0 | 708M| 77 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.230000e+02 | 5.930000e+02 | Inf
444.18/444.39 c 398s| 1680k| 1680k| 0 | 0.0 | 712M| 77 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.230000e+02 | 5.930000e+02 | Inf
446.86/447.00 c 401s| 1690k| 1690k| 0 | 0.0 | 717M| 77 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.230000e+02 | 5.930000e+02 | Inf
449.46/449.62 c 403s| 1700k| 1700k| 0 | 0.0 | 721M| 77 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.230000e+02 | 5.930000e+02 | Inf
452.06/452.22 c 405s| 1710k| 1710k| 0 | 0.0 | 725M| 77 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.230000e+02 | 5.930000e+02 | Inf
454.67/454.83 c 408s| 1720k| 1720k| 0 | 0.0 | 729M| 77 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.230000e+02 | 5.930000e+02 | Inf
457.27/457.42 c 410s| 1730k| 1730k| 0 | 0.0 | 734M| 77 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.230000e+02 | 5.930000e+02 | Inf
459.86/460.02 c 412s| 1740k| 1740k| 0 | 0.0 | 738M| 77 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.230000e+02 | 5.930000e+02 | Inf
462.46/462.61 c 415s| 1750k| 1750k| 0 | 0.0 | 742M| 77 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.230000e+02 | 5.930000e+02 | Inf
464.96/465.20 c 417s| 1760k| 1760k| 0 | 0.0 | 746M| 77 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.230000e+02 | 5.930000e+02 | Inf
467.66/467.80 c 419s| 1770k| 1770k| 0 | 0.0 | 751M| 77 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.230000e+02 | 5.930000e+02 | Inf
470.16/470.39 c 422s| 1780k| 1780k| 0 | 0.0 | 755M| 77 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.230000e+02 | 5.930000e+02 | Inf
472.76/472.98 c 424s| 1790k| 1790k| 0 | 0.0 | 759M| 77 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.230000e+02 | 5.930000e+02 | Inf
475.36/475.58 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
475.36/475.58 c 426s| 1800k| 1800k| 0 | 0.0 | 764M| 77 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.230000e+02 | 5.930000e+02 | Inf
477.96/478.18 c 429s| 1810k| 1810k| 0 | 0.0 | 768M| 77 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.230000e+02 | 5.930000e+02 | Inf
480.57/480.76 c 431s| 1820k| 1820k| 0 | 0.0 | 772M| 77 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.230000e+02 | 5.930000e+02 | Inf
483.16/483.31 c 433s| 1830k| 1830k| 0 | 0.0 | 776M| 77 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.230000e+02 | 5.930000e+02 | Inf
485.66/485.88 c 436s| 1840k| 1840k| 0 | 0.0 | 781M| 77 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.230000e+02 | 5.930000e+02 | Inf
488.26/488.44 c 438s| 1850k| 1850k| 0 | 0.0 | 785M| 77 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.230000e+02 | 5.930000e+02 | Inf
490.75/490.98 c 440s| 1860k| 1860k| 0 | 0.0 | 789M| 77 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.230000e+02 | 5.930000e+02 | Inf
493.35/493.53 c 442s| 1870k| 1870k| 0 | 0.0 | 793M| 77 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.230000e+02 | 5.930000e+02 | Inf
495.86/496.09 c 445s| 1880k| 1880k| 0 | 0.0 | 798M| 77 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.230000e+02 | 5.930000e+02 | Inf
498.45/498.65 c 447s| 1890k| 1890k| 0 | 0.0 | 802M| 77 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.230000e+02 | 5.930000e+02 | Inf
501.05/501.22 c 449s| 1900k| 1900k| 0 | 0.0 | 806M| 77 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.230000e+02 | 5.930000e+02 | Inf
503.55/503.77 c 452s| 1910k| 1910k| 0 | 0.0 | 810M| 77 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.230000e+02 | 5.930000e+02 | Inf
506.15/506.33 c 454s| 1920k| 1920k| 0 | 0.0 | 815M| 77 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.230000e+02 | 5.930000e+02 | Inf
508.65/508.88 c 456s| 1930k| 1930k| 0 | 0.0 | 819M| 77 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.230000e+02 | 5.930000e+02 | Inf
511.25/511.41 c 458s| 1940k| 1940k| 0 | 0.0 | 823M| 77 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.230000e+02 | 5.930000e+02 | Inf
513.74/513.93 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
513.74/513.93 c 461s| 1950k| 1950k| 0 | 0.0 | 827M| 77 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.230000e+02 | 5.930000e+02 | Inf
516.25/516.47 c 463s| 1960k| 1960k| 0 | 0.0 | 832M| 77 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.230000e+02 | 5.930000e+02 | Inf
518.85/519.02 c 465s| 1970k| 1970k| 0 | 0.0 | 836M| 77 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.230000e+02 | 5.930000e+02 | Inf
521.35/521.58 c 468s| 1980k| 1980k| 0 | 0.0 | 840M| 77 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.230000e+02 | 5.930000e+02 | Inf
523.94/524.14 c 470s| 1990k| 1990k| 0 | 0.0 | 844M| 77 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.230000e+02 | 5.930000e+02 | Inf
526.55/526.70 c 472s| 2000k| 2000k| 0 | 0.0 | 849M| 77 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.230000e+02 | 5.930000e+02 | Inf
529.04/529.24 c 474s| 2010k| 2010k| 0 | 0.0 | 853M| 77 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.230000e+02 | 5.930000e+02 | Inf
531.55/531.79 c 477s| 2020k| 2020k| 0 | 0.0 | 857M| 77 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.230000e+02 | 5.930000e+02 | Inf
534.14/534.33 c 479s| 2030k| 2030k| 0 | 0.0 | 861M| 77 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.230000e+02 | 5.930000e+02 | Inf
536.65/536.87 c 481s| 2040k| 2040k| 0 | 0.0 | 866M| 77 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.230000e+02 | 5.930000e+02 | Inf
539.24/539.41 c 484s| 2050k| 2050k| 0 | 0.0 | 870M| 77 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.230000e+02 | 5.930000e+02 | Inf
541.74/541.96 c 486s| 2060k| 2060k| 0 | 0.0 | 874M| 77 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.230000e+02 | 5.930000e+02 | Inf
544.34/544.52 c 488s| 2070k| 2070k| 0 | 0.0 | 878M| 77 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.230000e+02 | 5.930000e+02 | Inf
546.84/547.09 c 490s| 2080k| 2080k| 0 | 0.0 | 883M| 77 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.230000e+02 | 5.930000e+02 | Inf
549.44/549.66 c 493s| 2090k| 2090k| 0 | 0.0 | 887M| 77 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.230000e+02 | 5.930000e+02 | Inf
552.04/552.22 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
552.04/552.22 c 495s| 2100k| 2100k| 0 | 0.0 | 891M| 77 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.230000e+02 | 5.930000e+02 | Inf
554.53/554.78 c 497s| 2110k| 2110k| 0 | 0.0 | 896M| 77 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.230000e+02 | 5.930000e+02 | Inf
557.13/557.34 c 500s| 2120k| 2120k| 0 | 0.0 | 900M| 77 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.230000e+02 | 5.930000e+02 | Inf
559.64/559.87 c 502s| 2130k| 2130k| 0 | 0.0 | 904M| 77 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.230000e+02 | 5.930000e+02 | Inf
562.24/562.41 c 504s| 2140k| 2140k| 0 | 0.0 | 908M| 77 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.230000e+02 | 5.930000e+02 | Inf
564.73/564.96 c 506s| 2150k| 2150k| 0 | 0.0 | 913M| 77 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.230000e+02 | 5.930000e+02 | Inf
567.34/567.51 c 509s| 2160k| 2160k| 0 | 0.0 | 917M| 77 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.230000e+02 | 5.930000e+02 | Inf
569.83/570.07 c 511s| 2170k| 2170k| 0 | 0.0 | 921M| 77 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.230000e+02 | 5.930000e+02 | Inf
572.43/572.63 c 513s| 2180k| 2180k| 0 | 0.0 | 925M| 77 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.230000e+02 | 5.930000e+02 | Inf
574.93/575.19 c 516s| 2190k| 2190k| 0 | 0.0 | 930M| 77 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.230000e+02 | 5.930000e+02 | Inf
577.53/577.74 c 518s| 2200k| 2200k| 0 | 0.0 | 934M| 77 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.230000e+02 | 5.930000e+02 | Inf
580.03/580.27 c 520s| 2210k| 2210k| 0 | 0.0 | 938M| 77 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.230000e+02 | 5.930000e+02 | Inf
582.63/582.81 c 522s| 2220k| 2220k| 0 | 0.0 | 942M| 77 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.230000e+02 | 5.930000e+02 | Inf
585.13/585.34 c 525s| 2230k| 2230k| 0 | 0.0 | 947M| 77 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.230000e+02 | 5.930000e+02 | Inf
587.63/587.88 c 527s| 2240k| 2240k| 0 | 0.0 | 951M| 77 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.230000e+02 | 5.930000e+02 | Inf
590.23/590.44 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
590.23/590.44 c 529s| 2250k| 2250k| 0 | 0.0 | 955M| 77 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.230000e+02 | 5.930000e+02 | Inf
592.83/593.00 c 532s| 2260k| 2260k| 0 | 0.0 | 959M| 77 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.230000e+02 | 5.930000e+02 | Inf
595.33/595.57 c 534s| 2270k| 2270k| 0 | 0.0 | 964M| 77 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.230000e+02 | 5.930000e+02 | Inf
597.92/598.13 c 536s| 2280k| 2280k| 0 | 0.0 | 968M| 77 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.230000e+02 | 5.930000e+02 | Inf
600.43/600.68 c 538s| 2290k| 2290k| 0 | 0.0 | 972M| 77 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.230000e+02 | 5.930000e+02 | Inf
603.02/603.25 c 541s| 2300k| 2300k| 0 | 0.0 | 976M| 77 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.230000e+02 | 5.930000e+02 | Inf
605.62/605.81 c 543s| 2310k| 2310k| 0 | 0.0 | 980M| 77 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.230000e+02 | 5.930000e+02 | Inf
608.12/608.39 c 545s| 2320k| 2320k| 0 | 0.0 | 985M| 77 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.230000e+02 | 5.930000e+02 | Inf
610.71/610.96 c 548s| 2330k| 2330k| 0 | 0.0 | 989M| 77 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.230000e+02 | 5.930000e+02 | Inf
613.22/613.49 c 550s| 2340k| 2340k| 0 | 0.0 | 993M| 77 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.230000e+02 | 5.930000e+02 | Inf
615.82/616.04 c 552s| 2350k| 2350k| 0 | 0.0 | 997M| 77 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.230000e+02 | 5.930000e+02 | Inf
618.31/618.59 c 554s| 2360k| 2360k| 0 | 0.0 |1001M| 77 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.230000e+02 | 5.930000e+02 | Inf
620.92/621.11 c 557s| 2370k| 2370k| 0 | 0.0 |1006M| 77 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.230000e+02 | 5.930000e+02 | Inf
623.42/623.66 c 559s| 2380k| 2380k| 0 | 0.0 |1010M| 77 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.230000e+02 | 5.930000e+02 | Inf
625.91/626.19 c 561s| 2390k| 2390k| 0 | 0.0 |1014M| 77 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.230000e+02 | 5.930000e+02 | Inf
628.42/628.67 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
628.42/628.67 c 563s| 2400k| 2400k| 0 | 0.0 |1019M| 81 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.230000e+02 | 5.930000e+02 | Inf
630.91/631.12 c 566s| 2410k| 2410k| 0 | 0.0 |1023M| 81 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.230000e+02 | 5.930000e+02 | Inf
633.31/633.60 c 568s| 2420k| 2420k| 0 | 0.0 |1027M| 81 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.220000e+02 | 5.930000e+02 | Inf
635.90/636.13 c 570s| 2430k| 2430k| 0 | 0.0 |1032M| 81 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.220000e+02 | 5.930000e+02 | Inf
638.41/638.66 c 572s| 2440k| 2440k| 0 | 0.0 |1036M| 81 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.220000e+02 | 5.930000e+02 | Inf
641.02/641.21 c 575s| 2450k| 2450k| 0 | 0.0 |1040M| 81 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.220000e+02 | 5.930000e+02 | Inf
643.51/643.72 c 577s| 2460k| 2460k| 0 | 0.0 |1044M| 81 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.220000e+02 | 5.930000e+02 | Inf
646.01/646.27 c 579s| 2470k| 2470k| 0 | 0.0 |1048M| 81 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.220000e+02 | 5.930000e+02 | Inf
648.51/648.80 c 581s| 2480k| 2480k| 0 | 0.0 |1053M| 81 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.220000e+02 | 5.930000e+02 | Inf
651.10/651.32 c 584s| 2490k| 2490k| 0 | 0.0 |1057M| 81 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.220000e+02 | 5.930000e+02 | Inf
653.60/653.84 c 586s| 2500k| 2500k| 0 | 0.0 |1061M| 81 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.220000e+02 | 5.930000e+02 | Inf
656.10/656.38 c 588s| 2510k| 2510k| 0 | 0.0 |1065M| 81 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.220000e+02 | 5.930000e+02 | Inf
658.71/658.91 c 590s| 2520k| 2520k| 0 | 0.0 |1070M| 81 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.220000e+02 | 5.930000e+02 | Inf
661.20/661.42 c 593s| 2530k| 2530k| 0 | 0.0 |1074M| 81 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.220000e+02 | 5.930000e+02 | Inf
663.70/663.93 c 595s| 2540k| 2540k| 0 | 0.0 |1078M| 81 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.220000e+02 | 5.930000e+02 | Inf
666.20/666.46 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
666.20/666.46 c 597s| 2550k| 2550k| 0 | 0.0 |1082M| 81 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.220000e+02 | 5.930000e+02 | Inf
668.70/668.98 c 599s| 2560k| 2560k| 0 | 0.0 |1087M| 81 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.220000e+02 | 5.930000e+02 | Inf
671.30/671.51 c 602s| 2570k| 2570k| 0 | 0.0 |1091M| 81 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.220000e+02 | 5.930000e+02 | Inf
673.80/674.04 c 604s| 2580k| 2580k| 0 | 0.0 |1095M| 81 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.220000e+02 | 5.930000e+02 | Inf
676.31/676.56 c 606s| 2590k| 2590k| 0 | 0.0 |1100M| 81 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.220000e+02 | 5.930000e+02 | Inf
678.80/679.07 c 608s| 2600k| 2600k| 0 | 0.0 |1104M| 81 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.220000e+02 | 5.930000e+02 | Inf
681.29/681.58 c 611s| 2610k| 2610k| 0 | 0.0 |1108M| 81 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.220000e+02 | 5.930000e+02 | Inf
683.90/684.10 c 613s| 2620k| 2620k| 0 | 0.0 |1112M| 81 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.220000e+02 | 5.930000e+02 | Inf
686.39/686.63 c 615s| 2630k| 2630k| 0 | 0.0 |1117M| 81 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.220000e+02 | 5.930000e+02 | Inf
688.89/689.16 c 617s| 2640k| 2640k| 0 | 0.0 |1121M| 81 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.220000e+02 | 5.930000e+02 | Inf
691.49/691.71 c 620s| 2650k| 2650k| 0 | 0.0 |1125M| 81 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.220000e+02 | 5.930000e+02 | Inf
693.99/694.23 c 622s| 2660k| 2660k| 0 | 0.0 |1130M| 81 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.220000e+02 | 5.930000e+02 | Inf
696.49/696.75 c 624s| 2670k| 2670k| 0 | 0.0 |1134M| 81 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.220000e+02 | 5.930000e+02 | Inf
698.99/699.26 c 626s| 2680k| 2680k| 0 | 0.0 |1138M| 81 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.220000e+02 | 5.930000e+02 | Inf
701.50/701.77 c 629s| 2690k| 2690k| 0 | 0.0 |1143M| 81 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.220000e+02 | 5.930000e+02 | Inf
704.09/704.30 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
704.09/704.30 c 631s| 2700k| 2700k| 0 | 0.0 |1147M| 81 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.220000e+02 | 5.930000e+02 | Inf
706.58/706.81 c 633s| 2710k| 2710k| 0 | 0.0 |1151M| 81 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.220000e+02 | 5.930000e+02 | Inf
709.09/709.34 c 635s| 2720k| 2720k| 0 | 0.0 |1156M| 81 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.220000e+02 | 5.930000e+02 | Inf
711.59/711.85 c 638s| 2730k| 2730k| 0 | 0.0 |1160M| 81 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.220000e+02 | 5.930000e+02 | Inf
714.09/714.38 c 640s| 2740k| 2740k| 0 | 0.0 |1164M| 81 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.220000e+02 | 5.930000e+02 | Inf
716.68/716.90 c 642s| 2750k| 2750k| 0 | 0.0 |1169M| 81 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.220000e+02 | 5.930000e+02 | Inf
719.19/719.43 c 644s| 2760k| 2760k| 0 | 0.0 |1173M| 81 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.220000e+02 | 5.930000e+02 | Inf
721.69/721.95 c 647s| 2770k| 2770k| 0 | 0.0 |1177M| 81 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.220000e+02 | 5.930000e+02 | Inf
724.18/724.46 c 649s| 2780k| 2780k| 0 | 0.0 |1182M| 81 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.220000e+02 | 5.930000e+02 | Inf
726.69/726.95 c 651s| 2790k| 2790k| 0 | 0.0 |1186M| 81 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.220000e+02 | 5.930000e+02 | Inf
729.19/729.44 c 653s| 2800k| 2800k| 0 | 0.0 |1190M| 81 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.220000e+02 | 5.930000e+02 | Inf
731.68/731.94 c 656s| 2810k| 2810k| 0 | 0.0 |1195M| 81 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.220000e+02 | 5.930000e+02 | Inf
734.18/734.44 c 658s| 2820k| 2820k| 0 | 0.0 |1199M| 81 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.220000e+02 | 5.930000e+02 | Inf
736.69/736.94 c 660s| 2830k| 2830k| 0 | 0.0 |1203M| 81 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.220000e+02 | 5.930000e+02 | Inf
739.18/739.46 c 662s| 2840k| 2840k| 0 | 0.0 |1208M| 81 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.220000e+02 | 5.930000e+02 | Inf
741.68/741.98 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
741.68/741.98 c 665s| 2850k| 2850k| 0 | 0.0 |1212M| 81 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.220000e+02 | 5.930000e+02 | Inf
744.28/744.51 c 667s| 2860k| 2860k| 0 | 0.0 |1216M| 81 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.220000e+02 | 5.930000e+02 | Inf
746.78/747.04 c 669s| 2870k| 2870k| 0 | 0.0 |1221M| 81 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.220000e+02 | 5.930000e+02 | Inf
749.28/749.55 c 671s| 2880k| 2880k| 0 | 0.0 |1225M| 81 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.220000e+02 | 5.930000e+02 | Inf
751.78/752.06 c 674s| 2890k| 2890k| 0 | 0.0 |1229M| 81 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.220000e+02 | 5.930000e+02 | Inf
754.28/754.57 c 676s| 2900k| 2900k| 0 | 0.0 |1234M| 81 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.220000e+02 | 5.930000e+02 | Inf
756.78/757.06 c 678s| 2910k| 2910k| 0 | 0.0 |1238M| 81 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.220000e+02 | 5.930000e+02 | Inf
759.27/759.56 c 680s| 2920k| 2920k| 0 | 0.0 |1242M| 81 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.220000e+02 | 5.930000e+02 | Inf
761.77/762.05 c 683s| 2930k| 2930k| 0 | 0.0 |1247M| 81 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.220000e+02 | 5.930000e+02 | Inf
764.28/764.56 c 685s| 2940k| 2940k| 0 | 0.0 |1251M| 81 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.220000e+02 | 5.930000e+02 | Inf
766.78/767.07 c 687s| 2950k| 2950k| 0 | 0.0 |1255M| 81 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.220000e+02 | 5.930000e+02 | Inf
769.27/769.59 c 689s| 2960k| 2960k| 0 | 0.0 |1260M| 81 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.220000e+02 | 5.930000e+02 | Inf
771.88/772.11 c 692s| 2970k| 2970k| 0 | 0.0 |1264M| 81 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.220000e+02 | 5.930000e+02 | Inf
774.37/774.65 c 694s| 2980k| 2980k| 0 | 0.0 |1268M| 81 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.220000e+02 | 5.930000e+02 | Inf
776.88/777.16 c 696s| 2990k| 2990k| 0 | 0.0 |1273M| 81 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.220000e+02 | 5.930000e+02 | Inf
779.47/779.70 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
779.47/779.70 c 698s| 3000k| 3000k| 0 | 0.0 |1277M| 81 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.220000e+02 | 5.930000e+02 | Inf
781.97/782.22 c 701s| 3010k| 3010k| 0 | 0.0 |1281M| 81 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.220000e+02 | 5.930000e+02 | Inf
784.47/784.74 c 703s| 3020k| 3020k| 0 | 0.0 |1286M| 81 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.220000e+02 | 5.930000e+02 | Inf
786.96/787.25 c 705s| 3030k| 3030k| 0 | 0.0 |1290M| 81 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.220000e+02 | 5.930000e+02 | Inf
789.47/789.76 c 707s| 3040k| 3040k| 0 | 0.0 |1294M| 81 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.220000e+02 | 5.930000e+02 | Inf
791.97/792.27 c 710s| 3050k| 3050k| 0 | 0.0 |1299M| 81 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.220000e+02 | 5.930000e+02 | Inf
794.47/794.78 c 712s| 3060k| 3060k| 0 | 0.0 |1303M| 81 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.220000e+02 | 5.930000e+02 | Inf
796.96/797.29 c 714s| 3070k| 3070k| 0 | 0.0 |1307M| 81 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.220000e+02 | 5.930000e+02 | Inf
799.57/799.80 c 716s| 3080k| 3080k| 0 | 0.0 |1312M| 81 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.220000e+02 | 5.930000e+02 | Inf
802.06/802.31 c 719s| 3090k| 3090k| 0 | 0.0 |1316M| 81 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.220000e+02 | 5.930000e+02 | Inf
804.56/804.82 c 721s| 3100k| 3100k| 0 | 0.0 |1321M| 81 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.220000e+02 | 5.930000e+02 | Inf
807.07/807.33 c 723s| 3110k| 3110k| 0 | 0.0 |1325M| 81 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.220000e+02 | 5.930000e+02 | Inf
809.57/809.83 c 725s| 3120k| 3120k| 0 | 0.0 |1329M| 81 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.220000e+02 | 5.930000e+02 | Inf
812.06/812.35 c 727s| 3130k| 3130k| 0 | 0.0 |1334M| 81 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.220000e+02 | 5.930000e+02 | Inf
814.56/814.87 c 730s| 3140k| 3140k| 0 | 0.0 |1338M| 81 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.220000e+02 | 5.930000e+02 | Inf
817.07/817.37 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
817.07/817.37 c 732s| 3150k| 3150k| 0 | 0.0 |1343M| 81 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.220000e+02 | 5.930000e+02 | Inf
819.56/819.87 c 734s| 3160k| 3160k| 0 | 0.0 |1347M| 81 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.220000e+02 | 5.930000e+02 | Inf
822.06/822.36 c 736s| 3170k| 3170k| 0 | 0.0 |1351M| 81 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.220000e+02 | 5.930000e+02 | Inf
824.56/824.84 c 739s| 3180k| 3180k| 0 | 0.0 |1355M| 81 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.220000e+02 | 5.930000e+02 | Inf
826.46/826.72 c (node 3187553) switching to memory saving mode (mem: 1296.0M/1620.0M)
827.36/827.66 o 18
827.36/827.66 c * 741s| 3187k| 3187k| 0 | 0.0 |1358M| 132 | - | 407 | 473 | 0 | 0 | 0 | 0 | 0 |-2.220000e+02 | 1.800000e+01 | Inf
827.66/827.97 o 17
827.66/827.97 c * 742s| 3187k| 3187k| 0 | 0.0 |1358M| 132 | - | 407 | 473 | 0 | 0 | 0 | 29 | 0 |-2.220000e+02 | 1.700000e+01 | Inf
828.85/829.12 o 16
828.85/829.12 c * 743s| 3188k| 3187k| 0 | 0.0 |1358M| 132 | - | 407 | 473 | 0 | 0 | 0 | 192 | 0 |-2.220000e+02 | 1.600000e+01 | Inf
830.56/830.88 o 15
830.56/830.88 c * 744s| 3188k| 3187k| 0 | 0.0 |1359M| 132 | - | 407 | 473 | 0 | 0 | 0 | 456 | 0 |-2.220000e+02 | 1.500000e+01 | Inf
834.76/835.04 c 749s| 3190k| 3187k| 0 | 0.0 |1359M| 132 | - | 407 | 473 | 0 | 0 | 0 |1096 | 0 |-2.220000e+02 | 1.500000e+01 | Inf
863.64/863.97 c 777s| 3200k| 3187k| 0 | 0.0 |1359M| 132 | - | 407 | 473 | 0 | 0 | 0 |5575 | 0 |-2.220000e+02 | 1.500000e+01 | Inf
889.84/890.19 c 803s| 3210k| 3187k| 0 | 0.0 |1359M| 132 | - | 407 | 473 | 0 | 0 | 0 |9716 | 0 |-2.220000e+02 | 1.500000e+01 | Inf
920.44/920.74 c 834s| 3220k| 3187k| 0 | 0.0 |1359M| 132 | - | 407 | 473 | 0 | 0 | 0 | 14k| 0 |-2.220000e+02 | 1.500000e+01 | Inf
950.13/950.43 c 863s| 3230k| 3187k| 0 | 0.0 |1359M| 132 | - | 407 | 473 | 0 | 0 | 0 | 19k| 0 |-2.220000e+02 | 1.500000e+01 | Inf
975.81/976.18 c 888s| 3240k| 3187k| 0 | 0.0 |1359M| 132 | - | 407 | 473 | 0 | 0 | 0 | 23k| 0 |-2.220000e+02 | 1.500000e+01 | Inf
1001.11/1001.47 c 913s| 3250k| 3187k| 0 | 0.0 |1359M| 132 | - | 407 | 473 | 0 | 0 | 0 | 27k| 0 |-2.220000e+02 | 1.500000e+01 | Inf
1032.61/1032.95 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1032.61/1032.95 c 945s| 3260k| 3187k| 0 | 0.0 |1359M| 132 | - | 407 | 473 | 0 | 0 | 0 | 32k| 0 |-2.220000e+02 | 1.500000e+01 | Inf
1060.00/1060.34 c 972s| 3270k| 3187k| 0 | 0.0 |1359M| 132 | - | 407 | 473 | 0 | 0 | 0 | 37k| 0 |-2.220000e+02 | 1.500000e+01 | Inf
1087.98/1088.34 c 999s| 3280k| 3187k| 0 | 0.0 |1359M| 132 | - | 407 | 473 | 0 | 0 | 0 | 41k| 0 |-2.220000e+02 | 1.500000e+01 | Inf
1118.08/1118.42 c 1029s| 3290k| 3187k| 0 | 0.0 |1359M| 132 | - | 407 | 473 | 0 | 0 | 0 | 46k| 0 |-2.220000e+02 | 1.500000e+01 | Inf
1141.37/1141.77 c 1052s| 3300k| 3187k| 0 | 0.0 |1359M| 132 | - | 407 | 473 | 0 | 0 | 0 | 50k| 0 |-2.220000e+02 | 1.500000e+01 | Inf
1167.78/1168.13 c 1078s| 3310k| 3187k| 0 | 0.0 |1359M| 132 | - | 407 | 473 | 0 | 0 | 0 | 55k| 0 |-2.220000e+02 | 1.500000e+01 | Inf
1192.06/1192.48 c 1102s| 3320k| 3187k| 0 | 0.0 |1359M| 132 | - | 407 | 473 | 0 | 0 | 0 | 59k| 0 |-2.220000e+02 | 1.500000e+01 | Inf
1223.15/1223.51 c 1133s| 3330k| 3187k| 0 | 0.0 |1359M| 132 | - | 407 | 473 | 0 | 0 | 0 | 64k| 0 |-2.220000e+02 | 1.500000e+01 | Inf
1257.55/1257.91 c 1167s| 3340k| 3187k| 0 | 0.0 |1359M| 132 | - | 407 | 473 | 0 | 0 | 0 | 69k| 0 |-2.220000e+02 | 1.500000e+01 | Inf
1292.93/1293.34 c 1202s| 3350k| 3187k| 0 | 0.0 |1359M| 132 | - | 407 | 473 | 0 | 0 | 0 | 74k| 0 |-2.220000e+02 | 1.500000e+01 | Inf
1318.92/1319.38 c 1228s| 3360k| 3187k| 0 | 0.0 |1359M| 132 | - | 407 | 473 | 0 | 0 | 0 | 78k| 0 |-2.220000e+02 | 1.500000e+01 | Inf
1349.51/1349.92 c 1258s| 3370k| 3187k| 0 | 0.0 |1359M| 132 | - | 407 | 473 | 0 | 0 | 0 | 83k| 0 |-2.220000e+02 | 1.500000e+01 | Inf
1370.40/1370.81 c 1279s| 3380k| 3187k| 0 | 0.0 |1359M| 132 | - | 407 | 473 | 0 | 0 | 0 | 87k| 0 |-2.220000e+02 | 1.500000e+01 | Inf
1390.50/1390.94 c 1299s| 3390k| 3187k| 0 | 0.0 |1359M| 132 | - | 407 | 473 | 0 | 0 | 0 | 90k| 0 |-2.220000e+02 | 1.500000e+01 | Inf
1410.49/1410.97 c 1319s| 3400k| 3187k| 0 | 0.0 |1359M| 132 | - | 407 | 473 | 0 | 0 | 0 | 93k| 0 |-2.220000e+02 | 1.500000e+01 | Inf
1432.69/1433.14 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1432.69/1433.14 c 1341s| 3410k| 3187k| 0 | 0.0 |1359M| 132 | - | 407 | 473 | 0 | 0 | 0 | 97k| 0 |-2.220000e+02 | 1.500000e+01 | Inf
1459.58/1460.05 c 1367s| 3420k| 3187k| 0 | 0.0 |1359M| 132 | - | 407 | 473 | 0 | 0 | 0 | 102k| 0 |-2.220000e+02 | 1.500000e+01 | Inf
1486.78/1487.23 c 1394s| 3430k| 3187k| 0 | 0.0 |1359M| 132 | - | 407 | 473 | 0 | 0 | 0 | 106k| 0 |-2.220000e+02 | 1.500000e+01 | Inf
1506.26/1506.77 o 14
1506.26/1506.77 c *1414s| 3438k| 3187k| 0 | 0.0 |1359M| 132 | - | 407 | 473 | 0 | 0 | 0 | 109k| 0 |-2.220000e+02 | 1.400000e+01 | Inf
1511.66/1512.17 c 1419s| 3440k| 3187k| 0 | 0.0 |1359M| 132 | - | 407 | 473 | 0 | 0 | 0 | 110k| 0 |-2.220000e+02 | 1.400000e+01 | Inf
1535.96/1536.49 c 1443s| 3450k| 3187k| 0 | 0.0 |1359M| 132 | - | 407 | 473 | 0 | 0 | 0 | 114k| 0 |-2.220000e+02 | 1.400000e+01 | Inf
1560.35/1560.84 c 1467s| 3460k| 3187k| 0 | 0.0 |1359M| 132 | - | 407 | 473 | 0 | 0 | 0 | 118k| 0 |-2.220000e+02 | 1.400000e+01 | Inf
1588.85/1589.34 c 1495s| 3470k| 3187k| 0 | 0.0 |1359M| 132 | - | 407 | 473 | 0 | 0 | 0 | 123k| 0 |-2.220000e+02 | 1.400000e+01 | Inf
1617.63/1618.14 c 1524s| 3480k| 3187k| 0 | 0.0 |1359M| 132 | - | 407 | 473 | 0 | 0 | 0 | 128k| 0 |-2.220000e+02 | 1.400000e+01 | Inf
1642.12/1642.63 c 1548s| 3490k| 3187k| 0 | 0.0 |1359M| 132 | - | 407 | 473 | 0 | 0 | 0 | 131k| 0 |-2.220000e+02 | 1.400000e+01 | Inf
1661.91/1662.40 c 1568s| 3500k| 3187k| 0 | 0.0 |1359M| 132 | - | 407 | 473 | 0 | 0 | 0 | 135k| 0 |-2.220000e+02 | 1.400000e+01 | Inf
1681.72/1682.29 c 1587s| 3510k| 3187k| 0 | 0.0 |1359M| 132 | - | 407 | 473 | 0 | 0 | 0 | 139k| 0 |-2.220000e+02 | 1.400000e+01 | Inf
1704.71/1705.22 c 1610s| 3520k| 3187k| 0 | 0.0 |1359M| 132 | - | 407 | 473 | 0 | 0 | 0 | 143k| 0 |-2.220000e+02 | 1.400000e+01 | Inf
1727.10/1727.66 c 1632s| 3530k| 3187k| 0 | 0.0 |1359M| 132 | - | 407 | 473 | 0 | 0 | 0 | 146k| 0 |-2.220000e+02 | 1.400000e+01 | Inf
1754.19/1754.76 c 1659s| 3540k| 3187k| 0 | 0.0 |1359M| 132 | - | 407 | 473 | 0 | 0 | 0 | 151k| 0 |-2.220000e+02 | 1.400000e+01 | Inf
1780.98/1781.58 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1780.98/1781.58 c 1685s| 3550k| 3187k| 0 | 0.0 |1359M| 132 | - | 407 | 473 | 0 | 0 | 0 | 156k| 0 |-2.220000e+02 | 1.400000e+01 | Inf
1800.09/1800.61 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.09/1800.62 c
1800.09/1800.62 c SCIP Status : solving was interrupted [user interrupt]
1800.09/1800.62 c Solving Time (sec) : 1704.29
1800.09/1800.62 c Solving Nodes : 3556241
1800.09/1800.62 c Primal Bound : +1.40000000000000e+01 (7 solutions)
1800.09/1800.62 c Dual Bound : -2.22000000000000e+02
1800.09/1800.62 c Gap : infinite
1800.09/1800.62 s SATISFIABLE
1800.09/1800.62 v x1 x64 x262 -x347 x20 x55 -x108 x263 x59 x52 -x409 -x53 x110 -x350 x111 -x23 -x24 x270 x253 x346 x19 -x63 -x107 x252 -x78 -x109
1800.09/1800.62 v x251 x351 x21 -x58 -x79 x112 -x349 x408 x26 -x94 x25 -x54 x410 x267 x269 -x49 x81 -x261 x348 -x45 -x62 -x80 x257 -x325 x352
1800.09/1800.62 v x106 -x335 x22 -x44 -x56 x95 -x249 x393 x6 -x99 -x250 -x5 -x93 x268 x392 x411 -x4 -x50 -x91 -x328 -x48 -x329 -x155 x266 -x291
1800.09/1800.62 v x69 -x105 -x260 -x345 -x60 x68 -x104 -x129 -x256 -x324 x336 x17 -x67 -x340 x18 -x46 -x57 x103 -x287 -x326 -x334 x14 x47 -x331
1800.09/1800.62 v -x332 x406 x10 -x51 -x98 -x151 -x286 -x330 x394 x407 x30 x395 x403 -x2 -x92 x399 -x3 -x292 x378 -x154 x264 -x290 x16 -x77 -x258
1800.09/1800.62 v x15 -x61 -x73 -x128 -x254 -x344 -x371 x170 x405 -x65 x102 -x171 x327 -x339 x404 -x13 -x43 -x66 -x132 x311 -x9 x31 -x96 -x133
1800.09/1800.62 v -x150 -x288 -x310 -x333 -x35 x289 -x309 -x374 x391 x402 -x29 -x152 x293 -x375 x398 -x27 x157 -x271 x383 -x156 -x246 x265
1800.09/1800.62 v x379 -x76 x173 -x259 -x72 x130 x172 -x255 -x343 -x370 -x40 x135 -x185 -x322 -x42 x100 -x134 -x186 -x242 -x323 -x337 -x372 -x11
1800.09/1800.62 v x319 -x377 -x388 -x7 x39 -x97 -x241 -x315 -x376 x390 x285 x400 -x34 -x153 x273 -x307 x387 x396 x136 -x224 -x247 -x277 -x308
1800.09/1800.62 v -x28 x137 -x202 -x245 -x272 x382 -x74 x162 x188 -x321 -x41 -x70 x131 -x161 -x187 x220 -x320 -x341 x117 -x160 x101 x116 x219
1800.09/1800.62 v -x338 -x373 -x389 -x12 -x115 -x282 -x318 x357 -x8 -x38 -x198 -x243 -x284 -x314 x356 -x148 -x225 x244 -x355 x401 -x32 -x149 -x223
1800.09/1800.62 v -x248 x281 x386 x397 x145 x227 x141 -x201 -x276 -x304 -x380 -x75 -x127 x169 x178 -x71 -x126 -x166 x177 -x342 x87 x125 -x176
1800.09/1800.62 v -x368 x88 x121 -x158 x221 -x283 -x369 -x147 -x159 x222 -x316 -x365 -x36 -x113 -x146 -x197 x226 -x300 -x312 x361 -x114 x208
1800.09/1800.62 v -x240 -x33 -x199 x229 -x280 -x353 x384 x144 -x204 x232 -x354 x140 -x203 x228 -x274 -x303 -x381 x90 x167 x183 -x367 x89 -x165
1800.09/1800.62 v x182 -x366 x124 x120 -x174 -x175 x218 -x237 -x317 -x364 -x37 x209 -x239 -x299 -x313 -x360 x212 -x200 x207 -x236 -x278 -x301
1800.09/1800.62 v x385 x142 x189 x205 -x306 x138 -x190 x230 -x275 -x305 x86 -x123 x168 x184 x85 -x163 x181 x216 x84 -x122 x215 -x363 x82 -x118
1800.09/1800.62 v -x164 x179 x217 -x238 x83 x180 x194 -x214 -x234 -x298 -x362 -x119 x193 x213 x297 -x358 x195 -x233 x296 x196 x210 -x235 -x279
1800.09/1800.62 v -x302 -x359 x143 -x192 x211 x294 x139 x191 x206 -x231 -x295
1800.09/1800.62 c SCIP Status : solving was interrupted [user interrupt]
1800.09/1800.62 c Solving Time : 1704.29
1800.09/1800.62 c Original Problem :
1800.09/1800.62 c Problem name : HOME/instance-2664720-1276481612.opb
1800.09/1800.62 c Variables : 411 (411 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.09/1800.62 c Constraints : 477 initial, 477 maximal
1800.09/1800.62 c Presolved Problem :
1800.09/1800.62 c Problem name : t_HOME/instance-2664720-1276481612.opb
1800.09/1800.62 c Variables : 407 (407 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.09/1800.62 c Constraints : 473 initial, 473 maximal
1800.09/1800.62 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.09/1800.62 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.09/1800.62 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.09/1800.62 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.09/1800.62 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.09/1800.62 c implics : 0.00 0 0 0 0 0 0 0 0
1800.09/1800.62 c probing : 0.01 0 0 0 0 0 0 0 0
1800.09/1800.62 c knapsack : 0.00 0 0 0 0 0 0 0 0
1800.09/1800.62 c setppc : 0.00 0 0 0 0 0 0 0 0
1800.09/1800.62 c linear : 0.01 1 3 0 1 0 4 0 0
1800.09/1800.62 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.09/1800.62 c root node : - 0 - - 0 - - - -
1800.09/1800.62 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.09/1800.62 c integral : 0 0 0 0 0 0 0 0 0 0
1800.09/1800.62 c knapsack : 88 0 11360754 0 3417534 157950 2309521 0 0 0
1800.09/1800.62 c setppc : 1 0 1058087 0 320834 0 15 0 0 0
1800.09/1800.62 c logicor : 384+ 0 7687732 0 3417534 2529 8447885 0 0 0
1800.09/1800.62 c countsols : 0 0 0 0 3417534 0 0 0 0 0
1800.09/1800.62 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.09/1800.62 c integral : 0.00 0.00 0.00 0.00 0.00
1800.09/1800.62 c knapsack : 963.07 0.00 956.78 0.00 6.29
1800.09/1800.62 c setppc : 0.76 0.00 0.51 0.00 0.25
1800.09/1800.62 c logicor : 135.10 0.00 37.11 0.00 97.99
1800.09/1800.62 c countsols : 1.29 0.00 0.00 0.00 1.29
1800.09/1800.62 c Propagators : Time Calls Cutoffs DomReds
1800.09/1800.62 c vbounds : 5.45 2 0 0
1800.09/1800.62 c rootredcost : 5.18 0 0 0
1800.09/1800.62 c pseudoobj : 224.43 11414497 54053 2379649
1800.09/1800.62 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.09/1800.62 c propagation : 895.67 159243 159243 12256349 188.7 756 168.9 -
1800.09/1800.62 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.09/1800.62 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.09/1800.62 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.09/1800.62 c pseudo solution : 0.16 1943 0 0 0.0 0 0.0 -
1800.09/1800.62 c applied globally : - - - 0 0.0 - - -
1800.09/1800.62 c applied locally : - - - 159243 107.3 - - -
1800.09/1800.62 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.09/1800.62 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.09/1800.62 c redcost : 0.00 0 0 0 0 0
1800.09/1800.62 c impliedbounds : 0.00 0 0 0 0 0
1800.09/1800.62 c intobj : 0.00 0 0 0 0 0
1800.09/1800.62 c cgmip : 0.00 0 0 0 0 0
1800.09/1800.62 c gomory : 0.00 0 0 0 0 0
1800.09/1800.62 c strongcg : 0.00 0 0 0 0 0
1800.09/1800.62 c cmir : 0.00 0 0 0 0 0
1800.09/1800.62 c flowcover : 0.00 0 0 0 0 0
1800.09/1800.62 c clique : 0.00 0 0 0 0 0
1800.09/1800.62 c zerohalf : 0.00 0 0 0 0 0
1800.09/1800.62 c mcf : 0.00 0 0 0 0 0
1800.09/1800.62 c rapidlearning : 0.00 0 0 0 0 0
1800.09/1800.62 c Pricers : Time Calls Vars
1800.09/1800.62 c problem variables: 0.00 0 0
1800.09/1800.62 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.09/1800.62 c relpscost : 0.00 0 0 0 0 0 0
1800.09/1800.62 c pscost : 0.00 0 0 0 0 0 0
1800.09/1800.62 c inference : 179.96 3417529 0 0 0 0 6835058
1800.09/1800.62 c mostinf : 0.00 0 0 0 0 0 0
1800.09/1800.62 c leastinf : 0.00 0 0 0 0 0 0
1800.09/1800.62 c fullstrong : 0.00 0 0 0 0 0 0
1800.09/1800.62 c allfullstrong : 0.00 0 0 0 0 0 0
1800.09/1800.62 c random : 0.00 0 0 0 0 0 0
1800.09/1800.62 c Primal Heuristics : Time Calls Found
1800.09/1800.62 c LP solutions : 0.00 - 0
1800.09/1800.62 c pseudo solutions : 0.60 - 5
1800.09/1800.62 c oneopt : 2.37 0 0
1800.09/1800.62 c trivial : 0.00 2 2
1800.09/1800.62 c simplerounding : 0.00 0 0
1800.09/1800.62 c zirounding : 0.00 0 0
1800.09/1800.62 c rounding : 0.00 0 0
1800.09/1800.62 c shifting : 0.00 0 0
1800.09/1800.62 c intshifting : 0.00 0 0
1800.09/1800.62 c twoopt : 0.00 0 0
1800.09/1800.62 c fixandinfer : 0.00 0 0
1800.09/1800.62 c feaspump : 0.00 0 0
1800.09/1800.62 c coefdiving : 0.00 0 0
1800.09/1800.62 c pscostdiving : 0.00 0 0
1800.09/1800.62 c fracdiving : 0.00 0 0
1800.09/1800.62 c veclendiving : 0.00 0 0
1800.09/1800.62 c intdiving : 0.00 0 0
1800.09/1800.62 c actconsdiving : 0.00 0 0
1800.09/1800.62 c objpscostdiving : 0.00 0 0
1800.09/1800.62 c rootsoldiving : 0.00 0 0
1800.09/1800.62 c linesearchdiving : 0.00 0 0
1800.09/1800.62 c guideddiving : 0.00 0 0
1800.09/1800.62 c octane : 0.00 0 0
1800.09/1800.62 c rens : 0.00 0 0
1800.09/1800.62 c rins : 0.00 0 0
1800.09/1800.62 c localbranching : 0.00 0 0
1800.09/1800.62 c mutation : 0.00 0 0
1800.09/1800.62 c crossover : 0.00 0 0
1800.09/1800.62 c dins : 0.00 0 0
1800.09/1800.62 c undercover : 0.00 0 0
1800.09/1800.62 c nlp : 1.57 0 0
1800.09/1800.62 c trysol : 1.64 0 0
1800.09/1800.62 c LP : Time Calls Iterations Iter/call Iter/sec
1800.09/1800.62 c primal LP : 0.00 0 0 0.00 -
1800.09/1800.62 c dual LP : 0.00 0 0 0.00 -
1800.09/1800.62 c lex dual LP : 0.00 0 0 0.00 -
1800.09/1800.62 c barrier LP : 0.00 0 0 0.00 -
1800.09/1800.62 c diving/probing LP: 0.00 0 0 0.00 -
1800.09/1800.62 c strong branching : 0.00 0 0 0.00 -
1800.09/1800.62 c (at root node) : - 0 0 0.00 -
1800.09/1800.62 c conflict analysis: 0.00 0 0 0.00 -
1800.09/1800.62 c B&B Tree :
1800.09/1800.62 c number of runs : 1
1800.09/1800.62 c nodes : 3556241
1800.09/1800.62 c nodes (total) : 3556241
1800.09/1800.62 c nodes left : 3187605
1800.09/1800.62 c max depth : 132
1800.09/1800.62 c max depth (total): 132
1800.09/1800.62 c backtracks : 200062 (5.6%)
1800.09/1800.62 c delayed cutoffs : 89576
1800.09/1800.62 c repropagations : 134599 (1060693 domain reductions, 77768 cutoffs)
1800.09/1800.62 c avg switch length: 2.75
1800.09/1800.62 c switching time : 43.44
1800.09/1800.62 c Solution :
1800.09/1800.62 c Solutions found : 7 (6 improvements)
1800.09/1800.62 c First Solution : +5.93000000000000e+02 (in run 1, after 0 nodes, 0.00 seconds, depth 0, found by <trivial>)
1800.09/1800.62 c Primal Bound : +1.40000000000000e+01 (in run 1, after 3438188 nodes, 1413.43 seconds, depth 122, found by <relaxation>)
1800.09/1800.62 c Dual Bound : -2.22000000000000e+02
1800.09/1800.62 c Gap : infinite
1800.09/1800.62 c Root Dual Bound : -2.68000000000000e+02
1800.09/1800.62 c Root Iterations : 0