0.00/0.00 c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Clp 1.11.1] [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-2665581-1276425935.opb>
0.19/0.24 c original problem has 1044 variables (1044 bin, 0 int, 0 impl, 0 cont) and 12158 constraints
0.19/0.24 c problem read
0.19/0.24 c presolving settings loaded
0.19/0.29 c presolving:
0.49/0.51 c (round 1) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 11828 upgd conss, 86292 impls, 0 clqs
0.49/0.56 c (round 2) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 12158 upgd conss, 86292 impls, 0 clqs
0.70/0.72 c (0.4s) probing: 101/1044 (9.7%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.70/0.72 c (0.4s) probing aborted: 100/100 successive totally useless probings
0.70/0.72 c presolving (3 rounds):
0.70/0.72 c 0 deleted vars, 0 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.70/0.72 c 86292 implications, 0 cliques
0.70/0.72 c presolved problem has 1044 variables (1044 bin, 0 int, 0 impl, 0 cont) and 12158 constraints
0.70/0.72 c 12158 constraints of type <logicor>
0.70/0.72 c transformed objective value is always integral (scale: 1)
0.70/0.72 c Presolving Time: 0.39
0.70/0.72 c - non default parameters ----------------------------------------------------------------------
0.70/0.72 c # SCIP version 1.2.1.2
0.70/0.72 c
0.70/0.72 c # maximal number of intermediate conflict constraints generated in conflict graph (-1: use every intermediate constraint)
0.70/0.72 c # [type: int, range: [-1,2147483647], default: -1]
0.70/0.73 c conflict/interconss = 0
0.70/0.73 c
0.70/0.73 c # should binary conflicts be preferred?
0.70/0.73 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.70/0.73 c conflict/preferbinary = TRUE
0.70/0.73 c
0.70/0.73 c # maximum age an unnecessary constraint can reach before it is deleted (0: dynamic, -1: keep all constraints)
0.70/0.73 c # [type: int, range: [-1,2147483647], default: 0]
0.70/0.73 c constraints/agelimit = 1
0.70/0.73 c
0.70/0.73 c # should enforcement of pseudo solution be disabled?
0.70/0.73 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.70/0.73 c constraints/disableenfops = TRUE
0.70/0.73 c
0.70/0.73 c # frequency for displaying node information lines
0.70/0.73 c # [type: int, range: [-1,2147483647], default: 100]
0.70/0.73 c display/freq = 10000
0.70/0.73 c
0.70/0.73 c # maximal time in seconds to run
0.70/0.73 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.70/0.73 c limits/time = 1799.77
0.70/0.73 c
0.70/0.73 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.70/0.73 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.70/0.73 c limits/memory = 1620
0.70/0.73 c
0.70/0.73 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.70/0.73 c # [type: int, range: [-1,2147483647], default: 1]
0.70/0.73 c lp/solvefreq = 0
0.70/0.73 c
0.70/0.73 c # LP pricing strategy ('l'pi default, 'a'uto, 'f'ull pricing, 'p'artial, 's'teepest edge pricing, 'q'uickstart steepest edge pricing, 'd'evex pricing)
0.70/0.73 c # [type: char, range: {lafpsqd}, default: l]
0.70/0.73 c lp/pricing = a
0.70/0.73 c
0.70/0.73 c # should presolving try to simplify inequalities
0.70/0.73 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.70/0.73 c constraints/linear/simplifyinequalities = TRUE
0.70/0.73 c
0.70/0.73 c # should presolving try to simplify knapsacks
0.70/0.73 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.70/0.73 c constraints/knapsack/simplifyinequalities = TRUE
0.70/0.73 c
0.70/0.73 c # priority of node selection rule <dfs> in standard mode
0.70/0.73 c # [type: int, range: [-536870912,536870911], default: 0]
0.70/0.73 c nodeselection/dfs/stdpriority = 1000000
0.70/0.73 c
0.70/0.73 c -----------------------------------------------------------------------------------------------
0.70/0.73 c start solving
0.70/0.73 c
1.49/1.58 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1.49/1.58 c 1.2s| 1 | 0 | 1482 | - | 19M| 0 | 934 |1044 | 12k|1044 | 12k| 0 | 0 | 0 | 3.123125e+02 | -- | Inf
2.99/3.01 c 2.6s| 1 | 0 | 2066 | - | 20M| 0 | 931 |1044 | 12k|1044 | 12k| 3 | 0 | 0 | 3.134255e+02 | -- | Inf
4.59/4.62 c 4.2s| 1 | 0 | 2644 | - | 20M| 0 | 924 |1044 | 12k|1044 | 12k| 7 | 0 | 0 | 3.142410e+02 | -- | Inf
5.89/5.91 c 5.5s| 1 | 0 | 3142 | - | 20M| 0 | 932 |1044 | 12k|1044 | 12k| 11 | 0 | 0 | 3.151789e+02 | -- | Inf
7.29/7.30 c 6.8s| 1 | 0 | 3592 | - | 21M| 0 | 927 |1044 | 12k|1044 | 12k| 15 | 0 | 0 | 3.156545e+02 | -- | Inf
8.59/8.68 c 8.2s| 1 | 0 | 4036 | - | 21M| 0 | 928 |1044 | 12k|1044 | 12k| 20 | 0 | 0 | 3.158948e+02 | -- | Inf
9.89/9.92 c 9.4s| 1 | 0 | 4191 | - | 21M| 0 | 927 |1044 | 12k|1044 | 12k| 23 | 0 | 0 | 3.159473e+02 | -- | Inf
11.59/11.66 c 11.1s| 1 | 0 | 4665 | - | 21M| 0 | 931 |1044 | 12k|1044 | 12k| 26 | 0 | 0 | 3.161524e+02 | -- | Inf
12.98/13.08 c 12.5s| 1 | 0 | 4951 | - | 21M| 0 | 927 |1044 | 12k|1044 | 12k| 29 | 0 | 0 | 3.161863e+02 | -- | Inf
14.79/14.86 c 14.3s| 1 | 0 | 5498 | - | 21M| 0 | 925 |1044 | 12k|1044 | 12k| 32 | 0 | 0 | 3.163399e+02 | -- | Inf
16.29/16.35 c 15.8s| 1 | 0 | 5670 | - | 21M| 0 | 927 |1044 | 12k|1044 | 12k| 33 | 0 | 0 | 3.163731e+02 | -- | Inf
17.39/17.40 c 16.8s| 1 | 0 | 5774 | - | 21M| 0 | 928 |1044 | 12k|1044 | 12k| 34 | 0 | 0 | 3.163804e+02 | -- | Inf
46.07/46.20 c 45.0s| 1 | 2 | 5774 | - | 21M| 0 | 928 |1044 | 12k|1044 | 12k| 34 | 0 | 33 | 3.163804e+02 | -- | Inf
46.56/46.66 o 504
46.56/46.66 c *45.4s| 202 | 94 | 5774 | 0.0 | 21M| 99 | - |1044 | 12k| 0 | 0 | 34 | 72 | 33 | 3.169049e+02 | 5.040000e+02 | 59.04%
51.56/51.61 c 50.2s| 10000 | 67 | 5774 | 0.0 | 21M| 99 | - |1044 | 12k| 0 | 0 | 34 |1576 | 33 | 3.169049e+02 | 5.040000e+02 | 59.04%
57.26/57.33 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
57.26/57.33 c 55.8s| 20000 | 60 | 5774 | 0.0 | 21M| 99 | - |1044 | 12k| 0 | 0 | 34 |3164 | 33 | 3.169049e+02 | 5.040000e+02 | 59.04%
60.36/60.41 o 503
60.36/60.41 c *58.7s| 25293 | 57 | 5774 | 0.0 | 21M| 99 | - |1044 | 12k| 0 | 0 | 34 |4242 | 33 | 3.169049e+02 | 5.030000e+02 | 58.72%
62.96/63.03 c 61.2s| 30000 | 64 | 5774 | 0.0 | 21M| 99 | - |1044 | 12k| 0 | 0 | 34 |5219 | 33 | 3.169049e+02 | 5.030000e+02 | 58.72%
68.55/68.66 c 66.7s| 40000 | 58 | 5774 | 0.0 | 22M| 99 | - |1044 | 12k| 0 | 0 | 34 |7285 | 33 | 3.169049e+02 | 5.030000e+02 | 58.72%
72.95/73.07 c 70.9s| 50000 | 53 | 5774 | 0.0 | 22M| 99 | - |1044 | 12k| 0 | 0 | 34 |8667 | 33 | 3.169049e+02 | 5.030000e+02 | 58.72%
79.35/79.40 c 77.0s| 60000 | 52 | 5774 | 0.0 | 22M| 99 | - |1044 | 12k| 0 | 0 | 34 | 10k| 33 | 3.169049e+02 | 5.030000e+02 | 58.72%
83.75/83.86 c 81.3s| 70000 | 51 | 5774 | 0.0 | 22M| 99 | - |1044 | 12k| 0 | 0 | 34 | 12k| 33 | 3.169049e+02 | 5.030000e+02 | 58.72%
88.44/88.56 c 85.8s| 80000 | 45 | 5774 | 0.0 | 22M| 99 | - |1044 | 12k| 0 | 0 | 34 | 13k| 33 | 3.169049e+02 | 5.030000e+02 | 58.72%
93.74/93.86 c 90.8s| 90000 | 47 | 5774 | 0.0 | 22M| 99 | - |1044 | 12k| 0 | 0 | 34 | 15k| 33 | 3.169049e+02 | 5.030000e+02 | 58.72%
98.44/98.59 c 95.4s|100000 | 46 | 5774 | 0.0 | 22M| 99 | - |1044 | 12k| 0 | 0 | 34 | 17k| 33 | 3.169049e+02 | 5.030000e+02 | 58.72%
103.44/103.59 c 100s|110000 | 45 | 5774 | 0.0 | 22M| 99 | - |1044 | 12k| 0 | 0 | 34 | 19k| 33 | 3.169049e+02 | 5.030000e+02 | 58.72%
108.53/108.68 c 105s|120000 | 43 | 5774 | 0.0 | 22M| 99 | - |1044 | 12k| 0 | 0 | 34 | 21k| 33 | 3.169049e+02 | 5.030000e+02 | 58.72%
113.14/113.21 c 110s|130000 | 41 | 5774 | 0.0 | 22M| 99 | - |1044 | 12k| 0 | 0 | 34 | 22k| 33 | 3.169049e+02 | 5.030000e+02 | 58.72%
117.54/117.70 c 114s|140000 | 43 | 5774 | 0.0 | 22M| 99 | - |1044 | 12k| 0 | 0 | 34 | 23k| 33 | 3.169049e+02 | 5.030000e+02 | 58.72%
122.63/122.76 c 119s|150000 | 40 | 5774 | 0.0 | 22M| 99 | - |1044 | 12k| 0 | 0 | 34 | 25k| 33 | 3.169049e+02 | 5.030000e+02 | 58.72%
128.33/128.48 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
128.33/128.48 c 124s|160000 | 49 | 5774 | 0.0 | 22M| 99 | - |1044 | 12k| 0 | 0 | 34 | 28k| 33 | 3.169049e+02 | 5.030000e+02 | 58.72%
132.63/132.78 c 128s|170000 | 39 | 5774 | 0.0 | 22M| 99 | - |1044 | 12k| 0 | 0 | 34 | 29k| 33 | 3.169049e+02 | 5.030000e+02 | 58.72%
137.22/137.31 c 133s|180000 | 40 | 5774 | 0.0 | 22M| 99 | - |1044 | 12k| 0 | 0 | 34 | 30k| 33 | 3.169049e+02 | 5.030000e+02 | 58.72%
142.62/142.79 c 138s|190000 | 47 | 5774 | 0.0 | 22M| 99 | - |1044 | 12k| 0 | 0 | 34 | 33k| 33 | 3.169049e+02 | 5.030000e+02 | 58.72%
146.72/146.80 c 142s|200000 | 39 | 5774 | 0.0 | 22M| 99 | - |1044 | 12k| 0 | 0 | 34 | 34k| 33 | 3.169049e+02 | 5.030000e+02 | 58.72%
151.82/151.95 c 147s|210000 | 39 | 5774 | 0.0 | 22M| 99 | - |1044 | 12k| 0 | 0 | 34 | 36k| 33 | 3.169049e+02 | 5.030000e+02 | 58.72%
156.62/156.77 c 151s|220000 | 39 | 5774 | 0.0 | 22M| 99 | - |1044 | 12k| 0 | 0 | 34 | 37k| 33 | 3.169049e+02 | 5.030000e+02 | 58.72%
162.11/162.22 c 157s|230000 | 37 | 5774 | 0.0 | 22M| 99 | - |1044 | 12k| 0 | 0 | 34 | 40k| 33 | 3.169049e+02 | 5.030000e+02 | 58.72%
166.81/167.00 c 161s|240000 | 38 | 5774 | 0.0 | 22M| 99 | - |1044 | 12k| 0 | 0 | 34 | 41k| 33 | 3.169049e+02 | 5.030000e+02 | 58.72%
171.31/171.49 c 166s|250000 | 43 | 5774 | 0.0 | 22M| 99 | - |1044 | 12k| 0 | 0 | 34 | 43k| 33 | 3.169049e+02 | 5.030000e+02 | 58.72%
175.71/175.85 c 170s|260000 | 39 | 5774 | 0.0 | 22M| 99 | - |1044 | 12k| 0 | 0 | 34 | 44k| 33 | 3.169049e+02 | 5.030000e+02 | 58.72%
180.71/180.87 c 175s|270000 | 35 | 5774 | 0.0 | 22M| 99 | - |1044 | 12k| 0 | 0 | 34 | 46k| 33 | 3.169049e+02 | 5.030000e+02 | 58.72%
186.40/186.57 c 180s|280000 | 38 | 5774 | 0.0 | 22M| 99 | - |1044 | 12k| 0 | 0 | 34 | 48k| 33 | 3.169049e+02 | 5.030000e+02 | 58.72%
190.70/190.82 c 184s|290000 | 48 | 5774 | 0.0 | 22M| 99 | - |1044 | 12k| 0 | 0 | 34 | 50k| 33 | 3.169049e+02 | 5.030000e+02 | 58.72%
194.90/195.05 c 188s|300000 | 35 | 5774 | 0.0 | 22M| 99 | - |1044 | 12k| 0 | 0 | 34 | 51k| 33 | 3.169049e+02 | 5.030000e+02 | 58.72%
199.40/199.59 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
199.40/199.59 c 193s|310000 | 39 | 5774 | 0.0 | 22M| 99 | - |1044 | 12k| 0 | 0 | 34 | 53k| 33 | 3.169049e+02 | 5.030000e+02 | 58.72%
203.90/204.03 c 197s|320000 | 35 | 5774 | 0.0 | 22M| 99 | - |1044 | 12k| 0 | 0 | 34 | 54k| 33 | 3.169049e+02 | 5.030000e+02 | 58.72%
209.00/209.14 c 202s|330000 | 37 | 5774 | 0.0 | 22M| 99 | - |1044 | 12k| 0 | 0 | 34 | 56k| 33 | 3.169049e+02 | 5.030000e+02 | 58.72%
216.30/216.46 c 209s|340000 | 30 | 5774 | 0.0 | 22M| 99 | - |1044 | 12k| 0 | 0 | 34 | 58k| 33 | 3.169049e+02 | 5.030000e+02 | 58.72%
220.60/220.70 c 213s|350000 | 31 | 5774 | 0.0 | 22M| 99 | - |1044 | 12k| 0 | 0 | 34 | 59k| 33 | 3.169049e+02 | 5.030000e+02 | 58.72%
225.19/225.39 c 218s|360000 | 31 | 5774 | 0.0 | 22M| 99 | - |1044 | 12k| 0 | 0 | 34 | 61k| 33 | 3.169049e+02 | 5.030000e+02 | 58.72%
229.69/229.90 c 222s|370000 | 28 | 5774 | 0.0 | 22M| 99 | - |1044 | 12k| 0 | 0 | 34 | 62k| 33 | 3.169049e+02 | 5.030000e+02 | 58.72%
235.09/235.24 c 227s|380000 | 33 | 5774 | 0.0 | 22M| 99 | - |1044 | 12k| 0 | 0 | 34 | 64k| 33 | 3.169049e+02 | 5.030000e+02 | 58.72%
239.28/239.46 c 231s|390000 | 34 | 5774 | 0.0 | 22M| 99 | - |1044 | 12k| 0 | 0 | 34 | 65k| 33 | 3.169049e+02 | 5.030000e+02 | 58.72%
243.99/244.19 c 236s|400000 | 29 | 5774 | 0.0 | 22M| 99 | - |1044 | 12k| 0 | 0 | 34 | 67k| 33 | 3.169049e+02 | 5.030000e+02 | 58.72%
248.39/248.50 c 240s|410000 | 31 | 5774 | 0.0 | 22M| 99 | - |1044 | 12k| 0 | 0 | 34 | 68k| 33 | 3.169049e+02 | 5.030000e+02 | 58.72%
253.18/253.31 c 244s|420000 | 25 | 5774 | 0.0 | 22M| 99 | - |1044 | 12k| 0 | 0 | 34 | 70k| 33 | 3.169049e+02 | 5.030000e+02 | 58.72%
262.08/262.24 c 253s|430000 | 28 | 5774 | 0.0 | 22M| 99 | - |1044 | 12k| 0 | 0 | 34 | 72k| 33 | 3.169049e+02 | 5.030000e+02 | 58.72%
265.99/266.13 c 257s|440000 | 17 | 5774 | 0.0 | 22M| 99 | - |1044 | 12k| 0 | 0 | 34 | 74k| 33 | 3.169049e+02 | 5.030000e+02 | 58.72%
269.97/270.14 c 261s|450000 | 16 | 5774 | 0.0 | 22M| 99 | - |1044 | 12k| 0 | 0 | 34 | 75k| 33 | 3.169049e+02 | 5.030000e+02 | 58.72%
274.48/274.63 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
274.48/274.63 c 265s|460000 | 17 | 5774 | 0.0 | 22M| 99 | - |1044 | 12k| 0 | 0 | 34 | 77k| 33 | 3.169049e+02 | 5.030000e+02 | 58.72%
279.07/279.21 c 269s|470000 | 13 | 5774 | 0.0 | 22M| 99 | - |1044 | 12k| 0 | 0 | 34 | 78k| 33 | 3.169049e+02 | 5.030000e+02 | 58.72%
283.58/283.76 c 274s|480000 | 14 | 5774 | 0.0 | 22M| 99 | - |1044 | 12k| 0 | 0 | 34 | 79k| 33 | 3.169049e+02 | 5.030000e+02 | 58.72%
288.37/288.60 c 278s|490000 | 15 | 5774 | 0.0 | 22M| 99 | - |1044 | 12k| 0 | 0 | 34 | 81k| 33 | 3.169049e+02 | 5.030000e+02 | 58.72%
293.47/293.70 c 283s|500000 | 12 | 5774 | 0.0 | 22M| 99 | - |1044 | 12k| 0 | 0 | 34 | 83k| 33 | 3.169049e+02 | 5.030000e+02 | 58.72%
299.56/299.75 c 289s|510000 | 16 | 5774 | 0.0 | 22M| 99 | - |1044 | 12k| 0 | 0 | 34 | 86k| 33 | 3.169049e+02 | 5.030000e+02 | 58.72%
305.27/305.41 c 295s|520000 | 26 | 5774 | 0.0 | 22M| 99 | - |1044 | 12k| 0 | 0 | 34 | 88k| 33 | 3.169049e+02 | 5.030000e+02 | 58.72%
309.26/309.46 c 299s|530000 | 21 | 5774 | 0.0 | 22M| 99 | - |1044 | 12k| 0 | 0 | 34 | 90k| 33 | 3.169049e+02 | 5.030000e+02 | 58.72%
313.27/313.47 c 302s|540000 | 15 | 5774 | 0.0 | 22M| 99 | - |1044 | 12k| 0 | 0 | 34 | 91k| 33 | 3.169049e+02 | 5.030000e+02 | 58.72%
317.56/317.77 c 307s|550000 | 12 | 5774 | 0.0 | 22M| 99 | - |1044 | 12k| 0 | 0 | 34 | 92k| 33 | 3.169049e+02 | 5.030000e+02 | 58.72%
322.17/322.31 c 311s|560000 | 12 | 5774 | 0.0 | 22M| 99 | - |1044 | 12k| 0 | 0 | 34 | 93k| 33 | 3.169049e+02 | 5.030000e+02 | 58.72%
326.56/326.79 c 315s|570000 | 12 | 5774 | 0.0 | 22M| 99 | - |1044 | 12k| 0 | 0 | 34 | 95k| 33 | 3.169049e+02 | 5.030000e+02 | 58.72%
331.36/331.58 c 320s|580000 | 14 | 5774 | 0.0 | 22M| 99 | - |1044 | 12k| 0 | 0 | 34 | 96k| 33 | 3.169049e+02 | 5.030000e+02 | 58.72%
338.15/338.35 c 326s|590000 | 19 | 5774 | 0.0 | 22M| 99 | - |1044 | 12k| 0 | 0 | 34 | 99k| 33 | 3.169049e+02 | 5.030000e+02 | 58.72%
341.95/342.20 c 330s|600000 | 16 | 5774 | 0.0 | 22M| 99 | - |1044 | 12k| 0 | 0 | 34 | 100k| 33 | 3.169049e+02 | 5.030000e+02 | 58.72%
345.65/345.82 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
345.65/345.82 c 334s|610000 | 12 | 5774 | 0.0 | 22M| 99 | - |1044 | 12k| 0 | 0 | 34 | 101k| 33 | 3.169049e+02 | 5.030000e+02 | 58.72%
349.45/349.65 c 337s|620000 | 14 | 5774 | 0.0 | 22M| 99 | - |1044 | 12k| 0 | 0 | 34 | 102k| 33 | 3.169049e+02 | 5.030000e+02 | 58.72%
353.45/353.64 c 341s|630000 | 12 | 5774 | 0.0 | 22M| 99 | - |1044 | 12k| 0 | 0 | 34 | 103k| 33 | 3.169049e+02 | 5.030000e+02 | 58.72%
357.84/358.03 c 345s|640000 | 11 | 5774 | 0.0 | 22M| 99 | - |1044 | 12k| 0 | 0 | 34 | 104k| 33 | 3.169049e+02 | 5.030000e+02 | 58.72%
362.24/362.46 c 350s|650000 | 17 | 5774 | 0.0 | 22M| 99 | - |1044 | 12k| 0 | 0 | 34 | 105k| 33 | 3.169049e+02 | 5.030000e+02 | 58.72%
366.64/366.81 c 354s|660000 | 14 | 5774 | 0.0 | 22M| 99 | - |1044 | 12k| 0 | 0 | 34 | 107k| 33 | 3.169049e+02 | 5.030000e+02 | 58.72%
371.44/371.65 c 358s|670000 | 16 | 5774 | 0.0 | 22M| 99 | - |1044 | 12k| 0 | 0 | 34 | 108k| 33 | 3.169049e+02 | 5.030000e+02 | 58.72%
376.34/376.59 c 363s|680000 | 13 | 5774 | 0.0 | 22M| 99 | - |1044 | 12k| 0 | 0 | 34 | 110k| 33 | 3.169049e+02 | 5.030000e+02 | 58.72%
381.63/381.83 c 368s|690000 | 11 | 5774 | 0.0 | 22M| 99 | - |1044 | 12k| 0 | 0 | 34 | 112k| 33 | 3.169049e+02 | 5.030000e+02 | 58.72%
386.23/386.43 c 373s|700000 | 14 | 5774 | 0.0 | 22M| 99 | - |1044 | 12k| 0 | 0 | 34 | 114k| 33 | 3.169049e+02 | 5.030000e+02 | 58.72%
391.03/391.21 c 377s|710000 | 15 | 5774 | 0.0 | 22M| 99 | - |1044 | 12k| 0 | 0 | 34 | 115k| 33 | 3.169049e+02 | 5.030000e+02 | 58.72%
395.93/396.15 c 382s|720000 | 15 | 5774 | 0.0 | 22M| 99 | - |1044 | 12k| 0 | 0 | 34 | 117k| 33 | 3.169049e+02 | 5.030000e+02 | 58.72%
400.83/401.02 c 387s|730000 | 11 | 5774 | 0.0 | 22M| 99 | - |1044 | 12k| 0 | 0 | 34 | 119k| 33 | 3.169049e+02 | 5.030000e+02 | 58.72%
406.22/406.44 c 392s|740000 | 14 | 5774 | 0.0 | 22M| 99 | - |1044 | 12k| 0 | 0 | 34 | 121k| 33 | 3.169049e+02 | 5.030000e+02 | 58.72%
411.33/411.56 c 397s|750000 | 12 | 5774 | 0.0 | 22M| 99 | - |1044 | 12k| 0 | 0 | 34 | 123k| 33 | 3.169049e+02 | 5.030000e+02 | 58.72%
416.22/416.47 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
416.22/416.47 c 402s|760000 | 19 | 5774 | 0.0 | 22M| 99 | - |1044 | 12k| 0 | 0 | 34 | 125k| 33 | 3.169049e+02 | 5.030000e+02 | 58.72%
421.52/421.70 c 407s|770000 | 12 | 5774 | 0.0 | 22M| 99 | - |1044 | 12k| 0 | 0 | 34 | 127k| 33 | 3.169049e+02 | 5.030000e+02 | 58.72%
426.53/426.73 c 412s|780000 | 11 | 5774 | 0.0 | 22M| 99 | - |1044 | 12k| 0 | 0 | 34 | 129k| 33 | 3.169049e+02 | 5.030000e+02 | 58.72%
431.52/431.73 c 416s|790000 | 10 | 5774 | 0.0 | 22M| 99 | - |1044 | 12k| 0 | 0 | 34 | 131k| 33 | 3.169049e+02 | 5.030000e+02 | 58.72%
436.82/437.04 c 422s|800000 | 13 | 5774 | 0.0 | 22M| 99 | - |1044 | 12k| 0 | 0 | 34 | 133k| 33 | 3.169049e+02 | 5.030000e+02 | 58.72%
442.51/442.70 c 427s|810000 | 10 | 5774 | 0.0 | 22M| 99 | - |1044 | 12k| 0 | 0 | 34 | 135k| 33 | 3.169049e+02 | 5.030000e+02 | 58.72%
447.42/447.65 c 432s|820000 | 11 | 5774 | 0.0 | 22M| 99 | - |1044 | 12k| 0 | 0 | 34 | 137k| 33 | 3.169049e+02 | 5.030000e+02 | 58.72%
453.11/453.32 c 437s|830000 | 14 | 5774 | 0.0 | 22M| 99 | - |1044 | 12k| 0 | 0 | 34 | 139k| 33 | 3.169049e+02 | 5.030000e+02 | 58.72%
458.81/459.04 c 443s|840000 | 8 | 5774 | 0.0 | 22M| 99 | - |1044 | 12k| 0 | 0 | 34 | 142k| 33 | 3.169049e+02 | 5.030000e+02 | 58.72%
466.00/466.21 c 450s|850000 | 5 | 5774 | 0.0 | 22M| 99 | - |1044 | 12k| 0 | 0 | 34 | 144k| 33 | 3.169049e+02 | 5.030000e+02 | 58.72%
471.80/472.05 c 455s|860000 | 24 | 5774 | 0.0 | 22M| 99 | - |1044 | 12k| 0 | 0 | 34 | 146k| 33 | 3.169049e+02 | 5.030000e+02 | 58.72%
475.69/475.93 c 459s|870000 | 18 | 5774 | 0.0 | 22M| 99 | - |1044 | 12k| 0 | 0 | 34 | 147k| 33 | 3.169049e+02 | 5.030000e+02 | 58.72%
479.79/480.04 c 463s|880000 | 20 | 5774 | 0.0 | 22M| 99 | - |1044 | 12k| 0 | 0 | 34 | 148k| 33 | 3.169049e+02 | 5.030000e+02 | 58.72%
483.71/483.93 c 467s|890000 | 14 | 5774 | 0.0 | 22M| 99 | - |1044 | 12k| 0 | 0 | 34 | 150k| 33 | 3.169049e+02 | 5.030000e+02 | 58.72%
487.99/488.22 c 471s|900000 | 13 | 5774 | 0.0 | 22M| 99 | - |1044 | 12k| 0 | 0 | 34 | 151k| 33 | 3.169049e+02 | 5.030000e+02 | 58.72%
492.19/492.47 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
492.19/492.47 c 475s|910000 | 15 | 5774 | 0.0 | 22M| 99 | - |1044 | 12k| 0 | 0 | 34 | 152k| 33 | 3.169049e+02 | 5.030000e+02 | 58.72%
496.59/496.87 c 479s|920000 | 15 | 5774 | 0.0 | 22M| 99 | - |1044 | 12k| 0 | 0 | 34 | 153k| 33 | 3.169049e+02 | 5.030000e+02 | 58.72%
500.98/501.29 c 484s|930000 | 15 | 5774 | 0.0 | 22M| 99 | - |1044 | 12k| 0 | 0 | 34 | 155k| 33 | 3.169049e+02 | 5.030000e+02 | 58.72%
505.48/505.71 c 488s|940000 | 12 | 5774 | 0.0 | 22M| 99 | - |1044 | 12k| 0 | 0 | 34 | 156k| 33 | 3.169049e+02 | 5.030000e+02 | 58.72%
510.49/510.77 c 493s|950000 | 10 | 5774 | 0.0 | 22M| 99 | - |1044 | 12k| 0 | 0 | 34 | 158k| 33 | 3.169049e+02 | 5.030000e+02 | 58.72%
514.98/515.25 c 497s|960000 | 17 | 5774 | 0.0 | 22M| 99 | - |1044 | 12k| 0 | 0 | 34 | 159k| 33 | 3.169049e+02 | 5.030000e+02 | 58.72%
519.29/519.54 c 501s|970000 | 14 | 5774 | 0.0 | 22M| 99 | - |1044 | 12k| 0 | 0 | 34 | 160k| 33 | 3.169049e+02 | 5.030000e+02 | 58.72%
524.08/524.39 c 506s|980000 | 18 | 5774 | 0.0 | 22M| 99 | - |1044 | 12k| 0 | 0 | 34 | 162k| 33 | 3.169049e+02 | 5.030000e+02 | 58.72%
529.28/529.51 c 511s|990000 | 13 | 5774 | 0.0 | 22M| 99 | - |1044 | 12k| 0 | 0 | 34 | 164k| 33 | 3.169049e+02 | 5.030000e+02 | 58.72%
534.18/534.40 c 515s| 1000k| 19 | 5774 | 0.0 | 22M| 99 | - |1044 | 12k| 0 | 0 | 34 | 166k| 33 | 3.169049e+02 | 5.030000e+02 | 58.72%
538.88/539.12 c 520s| 1010k| 12 | 5774 | 0.0 | 22M| 99 | - |1044 | 12k| 0 | 0 | 34 | 167k| 33 | 3.169049e+02 | 5.030000e+02 | 58.72%
544.08/544.36 c 525s| 1020k| 12 | 5774 | 0.0 | 22M| 99 | - |1044 | 12k| 0 | 0 | 34 | 169k| 33 | 3.169049e+02 | 5.030000e+02 | 58.72%
549.37/549.63 c 530s| 1030k| 11 | 5774 | 0.0 | 22M| 99 | - |1044 | 12k| 0 | 0 | 34 | 171k| 33 | 3.169049e+02 | 5.030000e+02 | 58.72%
554.08/554.36 c 535s| 1040k| 14 | 5774 | 0.0 | 22M| 99 | - |1044 | 12k| 0 | 0 | 34 | 173k| 33 | 3.169049e+02 | 5.030000e+02 | 58.72%
558.77/559.03 c 539s| 1050k| 12 | 5774 | 0.0 | 22M| 99 | - |1044 | 12k| 0 | 0 | 34 | 174k| 33 | 3.169049e+02 | 5.030000e+02 | 58.72%
563.27/563.56 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
563.27/563.56 c 543s| 1060k| 13 | 5774 | 0.0 | 22M| 99 | - |1044 | 12k| 0 | 0 | 34 | 176k| 33 | 3.169049e+02 | 5.030000e+02 | 58.72%
568.06/568.36 c 548s| 1070k| 12 | 5774 | 0.0 | 22M| 99 | - |1044 | 12k| 0 | 0 | 34 | 177k| 33 | 3.169049e+02 | 5.030000e+02 | 58.72%
572.87/573.18 c 553s| 1080k| 8 | 5774 | 0.0 | 22M| 99 | - |1044 | 12k| 0 | 0 | 34 | 179k| 33 | 3.169049e+02 | 5.030000e+02 | 58.72%
577.76/578.08 c 557s| 1090k| 13 | 5774 | 0.0 | 22M| 99 | - |1044 | 12k| 0 | 0 | 34 | 181k| 33 | 3.169049e+02 | 5.030000e+02 | 58.72%
582.66/582.93 c 562s| 1100k| 11 | 5774 | 0.0 | 22M| 99 | - |1044 | 12k| 0 | 0 | 34 | 182k| 33 | 3.169049e+02 | 5.030000e+02 | 58.72%
587.86/588.19 c 567s| 1110k| 11 | 5774 | 0.0 | 22M| 99 | - |1044 | 12k| 0 | 0 | 34 | 184k| 33 | 3.169049e+02 | 5.030000e+02 | 58.72%
593.16/593.48 c 572s| 1120k| 14 | 5774 | 0.0 | 22M| 99 | - |1044 | 12k| 0 | 0 | 34 | 186k| 33 | 3.169049e+02 | 5.030000e+02 | 58.72%
598.75/599.08 c 578s| 1130k| 11 | 5774 | 0.0 | 22M| 99 | - |1044 | 12k| 0 | 0 | 34 | 189k| 33 | 3.169049e+02 | 5.030000e+02 | 58.72%
603.76/604.01 c 582s| 1140k| 11 | 5774 | 0.0 | 22M| 99 | - |1044 | 12k| 0 | 0 | 34 | 190k| 33 | 3.169049e+02 | 5.030000e+02 | 58.72%
609.55/609.82 c 588s| 1150k| 10 | 5774 | 0.0 | 22M| 99 | - |1044 | 12k| 0 | 0 | 34 | 193k| 33 | 3.169049e+02 | 5.030000e+02 | 58.72%
616.44/616.72 c 595s| 1160k| 18 | 5774 | 0.0 | 22M| 99 | - |1044 | 12k| 0 | 0 | 34 | 195k| 33 | 3.169049e+02 | 5.030000e+02 | 58.72%
620.65/620.92 c 599s| 1170k| 18 | 5774 | 0.0 | 22M| 99 | - |1044 | 12k| 0 | 0 | 34 | 196k| 33 | 3.169049e+02 | 5.030000e+02 | 58.72%
624.45/624.71 c 602s| 1180k| 14 | 5774 | 0.0 | 22M| 99 | - |1044 | 12k| 0 | 0 | 34 | 197k| 33 | 3.169049e+02 | 5.030000e+02 | 58.72%
628.44/628.76 c 606s| 1190k| 19 | 5774 | 0.0 | 22M| 99 | - |1044 | 12k| 0 | 0 | 34 | 199k| 33 | 3.169049e+02 | 5.030000e+02 | 58.72%
633.04/633.37 c 611s| 1200k| 20 | 5774 | 0.0 | 22M| 99 | - |1044 | 12k| 0 | 0 | 34 | 200k| 33 | 3.169049e+02 | 5.030000e+02 | 58.72%
637.35/637.63 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
637.35/637.63 c 615s| 1210k| 10 | 5774 | 0.0 | 22M| 99 | - |1044 | 12k| 0 | 0 | 34 | 202k| 33 | 3.169049e+02 | 5.030000e+02 | 58.72%
642.15/642.41 c 619s| 1220k| 15 | 5774 | 0.0 | 22M| 99 | - |1044 | 12k| 0 | 0 | 34 | 203k| 33 | 3.169049e+02 | 5.030000e+02 | 58.72%
647.54/647.81 c 625s| 1230k| 20 | 5774 | 0.0 | 22M| 99 | - |1044 | 12k| 0 | 0 | 34 | 206k| 33 | 3.169049e+02 | 5.030000e+02 | 58.72%
652.05/652.31 c 629s| 1240k| 14 | 5774 | 0.0 | 22M| 99 | - |1044 | 12k| 0 | 0 | 34 | 207k| 33 | 3.169049e+02 | 5.030000e+02 | 58.72%
656.84/657.12 c 634s| 1250k| 9 | 5774 | 0.0 | 22M| 99 | - |1044 | 12k| 0 | 0 | 34 | 209k| 33 | 3.169049e+02 | 5.030000e+02 | 58.72%
661.33/661.66 c 638s| 1260k| 15 | 5774 | 0.0 | 22M| 99 | - |1044 | 12k| 0 | 0 | 34 | 210k| 33 | 3.169049e+02 | 5.030000e+02 | 58.72%
666.03/666.39 c 643s| 1270k| 17 | 5774 | 0.0 | 22M| 99 | - |1044 | 12k| 0 | 0 | 34 | 212k| 33 | 3.169049e+02 | 5.030000e+02 | 58.72%
670.74/671.02 c 647s| 1280k| 11 | 5774 | 0.0 | 22M| 99 | - |1044 | 12k| 0 | 0 | 34 | 213k| 33 | 3.169049e+02 | 5.030000e+02 | 58.72%
676.03/676.32 c 652s| 1290k| 14 | 5774 | 0.0 | 22M| 99 | - |1044 | 12k| 0 | 0 | 34 | 215k| 33 | 3.169049e+02 | 5.030000e+02 | 58.72%
681.63/681.97 c 658s| 1300k| 13 | 5774 | 0.0 | 22M| 99 | - |1044 | 12k| 0 | 0 | 34 | 218k| 33 | 3.169049e+02 | 5.030000e+02 | 58.72%
687.13/687.48 c 663s| 1310k| 14 | 5774 | 0.0 | 22M| 99 | - |1044 | 12k| 0 | 0 | 34 | 220k| 33 | 3.169049e+02 | 5.030000e+02 | 58.72%
692.32/692.63 c 668s| 1320k| 16 | 5774 | 0.0 | 22M| 99 | - |1044 | 12k| 0 | 0 | 34 | 222k| 33 | 3.169049e+02 | 5.030000e+02 | 58.72%
696.62/696.96 c 672s| 1330k| 9 | 5774 | 0.0 | 22M| 99 | - |1044 | 12k| 0 | 0 | 34 | 223k| 33 | 3.169049e+02 | 5.030000e+02 | 58.72%
701.62/701.91 c 677s| 1340k| 9 | 5774 | 0.0 | 22M| 99 | - |1044 | 12k| 0 | 0 | 34 | 225k| 33 | 3.169049e+02 | 5.030000e+02 | 58.72%
706.92/707.25 c 682s| 1350k| 18 | 5774 | 0.0 | 22M| 99 | - |1044 | 12k| 0 | 0 | 34 | 227k| 33 | 3.169049e+02 | 5.030000e+02 | 58.72%
712.22/712.53 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
712.22/712.53 c 687s| 1360k| 11 | 5774 | 0.0 | 22M| 99 | - |1044 | 12k| 0 | 0 | 34 | 229k| 33 | 3.169049e+02 | 5.030000e+02 | 58.72%
717.31/717.68 c 692s| 1370k| 14 | 5774 | 0.0 | 22M| 99 | - |1044 | 12k| 0 | 0 | 34 | 231k| 33 | 3.169049e+02 | 5.030000e+02 | 58.72%
723.01/723.34 c 698s| 1380k| 8 | 5774 | 0.0 | 22M| 99 | - |1044 | 12k| 0 | 0 | 34 | 234k| 33 | 3.169049e+02 | 5.030000e+02 | 58.72%
728.51/728.87 c 703s| 1390k| 14 | 5774 | 0.0 | 22M| 99 | - |1044 | 12k| 0 | 0 | 34 | 236k| 33 | 3.169049e+02 | 5.030000e+02 | 58.72%
733.90/734.21 c 708s| 1400k| 13 | 5774 | 0.0 | 22M| 99 | - |1044 | 12k| 0 | 0 | 34 | 238k| 33 | 3.169049e+02 | 5.030000e+02 | 58.72%
740.01/740.33 c 714s| 1410k| 9 | 5774 | 0.0 | 22M| 99 | - |1044 | 12k| 0 | 0 | 34 | 241k| 33 | 3.169049e+02 | 5.030000e+02 | 58.72%
746.90/747.22 c 721s| 1420k| 20 | 5774 | 0.0 | 21M| 99 | - |1044 | 10k| 0 | 0 | 34 | 243k| 33 | 3.169049e+02 | 5.030000e+02 | 58.72%
750.20/750.53 c 724s| 1430k| 12 | 5774 | 0.0 | 21M| 99 | - |1044 | 10k| 0 | 0 | 34 | 244k| 33 | 3.169049e+02 | 5.030000e+02 | 58.72%
753.59/753.94 c 727s| 1440k| 14 | 5774 | 0.0 | 21M| 99 | - |1044 | 10k| 0 | 0 | 34 | 245k| 33 | 3.169049e+02 | 5.030000e+02 | 58.72%
757.09/757.40 c 730s| 1450k| 15 | 5774 | 0.0 | 21M| 99 | - |1044 | 10k| 0 | 0 | 34 | 247k| 33 | 3.169049e+02 | 5.030000e+02 | 58.72%
760.49/760.81 c 734s| 1460k| 17 | 5774 | 0.0 | 21M| 99 | - |1044 | 10k| 0 | 0 | 34 | 248k| 33 | 3.169049e+02 | 5.030000e+02 | 58.72%
763.69/764.07 c 737s| 1470k| 14 | 5774 | 0.0 | 21M| 99 | - |1044 | 10k| 0 | 0 | 34 | 250k| 33 | 3.169049e+02 | 5.030000e+02 | 58.72%
767.49/767.88 c 740s| 1480k| 16 | 5774 | 0.0 | 21M| 99 | - |1044 | 10k| 0 | 0 | 34 | 251k| 33 | 3.169049e+02 | 5.030000e+02 | 58.72%
770.99/771.34 c 744s| 1490k| 12 | 5774 | 0.0 | 21M| 99 | - |1044 | 10k| 0 | 0 | 34 | 253k| 33 | 3.169049e+02 | 5.030000e+02 | 58.72%
774.89/775.22 c 747s| 1500k| 15 | 5774 | 0.0 | 21M| 99 | - |1044 | 10k| 0 | 0 | 34 | 254k| 33 | 3.169049e+02 | 5.030000e+02 | 58.72%
778.28/778.67 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
778.28/778.67 c 751s| 1510k| 10 | 5774 | 0.0 | 21M| 99 | - |1044 | 10k| 0 | 0 | 34 | 255k| 33 | 3.169049e+02 | 5.030000e+02 | 58.72%
782.09/782.45 c 754s| 1520k| 11 | 5774 | 0.0 | 21M| 99 | - |1044 | 10k| 0 | 0 | 34 | 257k| 33 | 3.169049e+02 | 5.030000e+02 | 58.72%
785.69/786.05 c 758s| 1530k| 13 | 5774 | 0.0 | 21M| 99 | - |1044 | 10k| 0 | 0 | 34 | 258k| 33 | 3.169049e+02 | 5.030000e+02 | 58.72%
789.39/789.77 c 761s| 1540k| 13 | 5774 | 0.0 | 21M| 99 | - |1044 | 10k| 0 | 0 | 34 | 260k| 33 | 3.169049e+02 | 5.030000e+02 | 58.72%
793.08/793.48 c 765s| 1550k| 13 | 5774 | 0.0 | 21M| 99 | - |1044 | 10k| 0 | 0 | 34 | 261k| 33 | 3.169049e+02 | 5.030000e+02 | 58.72%
796.98/797.31 c 769s| 1560k| 12 | 5774 | 0.0 | 21M| 99 | - |1044 | 10k| 0 | 0 | 34 | 262k| 33 | 3.169049e+02 | 5.030000e+02 | 58.72%
801.08/801.48 c 773s| 1570k| 11 | 5774 | 0.0 | 21M| 99 | - |1044 | 10k| 0 | 0 | 34 | 264k| 33 | 3.169049e+02 | 5.030000e+02 | 58.72%
805.48/805.85 c 777s| 1580k| 15 | 5774 | 0.0 | 21M| 99 | - |1044 | 10k| 0 | 0 | 34 | 266k| 33 | 3.169049e+02 | 5.030000e+02 | 58.72%
809.07/809.41 c 780s| 1590k| 11 | 5774 | 0.0 | 21M| 99 | - |1044 | 10k| 0 | 0 | 34 | 267k| 33 | 3.169049e+02 | 5.030000e+02 | 58.72%
812.88/813.27 c 784s| 1600k| 13 | 5774 | 0.0 | 21M| 99 | - |1044 | 10k| 0 | 0 | 34 | 269k| 33 | 3.169049e+02 | 5.030000e+02 | 58.72%
816.88/817.22 c 788s| 1610k| 10 | 5774 | 0.0 | 21M| 99 | - |1044 | 10k| 0 | 0 | 34 | 270k| 33 | 3.169049e+02 | 5.030000e+02 | 58.72%
821.06/821.41 c 792s| 1620k| 18 | 5774 | 0.0 | 21M| 99 | - |1044 | 10k| 0 | 0 | 34 | 272k| 33 | 3.169049e+02 | 5.030000e+02 | 58.72%
825.07/825.48 c 796s| 1630k| 10 | 5774 | 0.0 | 21M| 99 | - |1044 | 10k| 0 | 0 | 34 | 274k| 33 | 3.169049e+02 | 5.030000e+02 | 58.72%
829.66/830.03 c 800s| 1640k| 10 | 5774 | 0.0 | 21M| 99 | - |1044 | 10k| 0 | 0 | 34 | 276k| 33 | 3.169049e+02 | 5.030000e+02 | 58.72%
833.96/834.38 c 804s| 1650k| 16 | 5774 | 0.0 | 21M| 99 | - |1044 | 10k| 0 | 0 | 34 | 278k| 33 | 3.169049e+02 | 5.030000e+02 | 58.72%
837.66/838.04 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
837.66/838.04 c 808s| 1660k| 15 | 5774 | 0.0 | 21M| 99 | - |1044 | 10k| 0 | 0 | 34 | 279k| 33 | 3.169049e+02 | 5.030000e+02 | 58.72%
841.66/842.01 c 811s| 1670k| 9 | 5774 | 0.0 | 21M| 99 | - |1044 | 10k| 0 | 0 | 34 | 281k| 33 | 3.169049e+02 | 5.030000e+02 | 58.72%
845.66/846.05 c 815s| 1680k| 12 | 5774 | 0.0 | 21M| 99 | - |1044 | 10k| 0 | 0 | 34 | 282k| 33 | 3.169049e+02 | 5.030000e+02 | 58.72%
850.05/850.42 c 819s| 1690k| 12 | 5774 | 0.0 | 21M| 99 | - |1044 | 10k| 0 | 0 | 34 | 284k| 33 | 3.169049e+02 | 5.030000e+02 | 58.72%
854.16/854.58 c 823s| 1700k| 13 | 5774 | 0.0 | 21M| 99 | - |1044 | 10k| 0 | 0 | 34 | 286k| 33 | 3.169049e+02 | 5.030000e+02 | 58.72%
858.76/859.15 c 828s| 1710k| 8 | 5774 | 0.0 | 21M| 99 | - |1044 | 10k| 0 | 0 | 34 | 288k| 33 | 3.169049e+02 | 5.030000e+02 | 58.72%
863.55/863.90 c 832s| 1720k| 9 | 5774 | 0.0 | 21M| 99 | - |1044 | 10k| 0 | 0 | 34 | 290k| 33 | 3.169049e+02 | 5.030000e+02 | 58.72%
868.05/868.47 c 837s| 1730k| 8 | 5774 | 0.0 | 21M| 99 | - |1044 | 10k| 0 | 0 | 34 | 292k| 33 | 3.169049e+02 | 5.030000e+02 | 58.72%
872.65/873.03 c 841s| 1740k| 8 | 5774 | 0.0 | 21M| 99 | - |1044 | 10k| 0 | 0 | 34 | 294k| 33 | 3.169049e+02 | 5.030000e+02 | 58.72%
877.15/877.50 c
877.15/877.50 c SCIP Status : problem is solved [optimal solution found]
877.15/877.50 c Solving Time (sec) : 845.46
877.15/877.50 c Solving Nodes : 1748191
877.15/877.50 c Primal Bound : +5.03000000000000e+02 (2 solutions)
877.15/877.50 c Dual Bound : +5.03000000000000e+02
877.15/877.50 c Gap : 0.00 %
877.15/877.51 s OPTIMUM FOUND
877.15/877.51 v x1044 -x1043 -x1042 x1041 x1040 -x1039 x1038 -x1037 x1036 -x1035 -x1034 x1033 x1032 -x1031 x1030 -x1029 -x1028 x1027 x1026 -x1025
877.15/877.51 v x1024 -x1023 -x1022 x1021 x1020 -x1019 -x1018 x1017 x1016 -x1015 x1014 -x1013 -x1012 x1011 x1010 -x1009 x1008 -x1007 -x1006
877.15/877.51 v x1005 x1004 -x1003 x1002 -x1001 x1000 -x999 -x998 x997 x996 -x995 x994 -x993 -x992 x991 x990 -x989 x988 -x987 -x986 x985 x984
877.15/877.51 v -x983 -x982 x981 x980 -x979 x978 -x977 x976 -x975 -x974 x973 x972 -x971 -x970 x969 x968 -x967 x966 -x965 -x964 x963 x962 -x961
877.15/877.51 v x960 -x959 x958 -x957 -x956 x955 x954 -x953 x952 -x951 -x950 x949 x948 -x947 x946 -x945 -x944 x943 x942 -x941 x940 -x939
877.15/877.51 v -x938 x937 x936 -x935 x934 -x933 -x932 x931 x930 -x929 -x928 x927 x926 -x925 x924 -x923 x922 -x921 -x920 x919 x918 -x917 x916
877.15/877.51 v -x915 -x914 x913 x912 -x911 -x910 x909 x908 -x907 x906 -x905 x904 -x903 -x902 x901 x900 -x899 -x898 x897 x896 -x895 x894 -x893
877.15/877.51 v -x892 x891 x890 -x889 x888 -x887 x886 -x885 -x884 x883 x882 -x881 -x880 x879 x878 -x877 x876 -x875 x874 -x873 -x872 x871
877.15/877.51 v x870 -x869 -x868 x867 x866 -x865 x864 -x863 -x862 x861 x860 -x859 x858 -x857 x856 -x855 -x854 x853 x852 -x851 -x850 x849 x848
877.15/877.51 v -x847 x846 -x845 x844 -x843 -x842 x841 x840 -x839 -x838 x837 x836 -x835 x834 -x833 -x832 x831 x830 -x829 x828 -x827 -x826 x825
877.15/877.51 v x824 -x823 x822 -x821 -x820 x819 x818 -x817 x816 -x815 x814 -x813 -x812 x811 x810 -x809 -x808 x807 x806 -x805 x804 -x803 -x802
877.15/877.51 v x801 x800 -x799 x798 -x797 x796 -x795 -x794 x793 x792 -x791 x790 -x789 -x788 x787 x786 -x785 -x784 x783 -x782 -x781 x780
877.15/877.51 v -x779 -x778 x777 x776 -x775 x774 -x773 x772 -x771 -x770 x769 x768 -x767 -x766 x765 x764 -x763 x762 -x761 -x760 x759 x758 -x757
877.15/877.51 v x756 -x755 -x754 -x753 -x752 x751 x750 -x749 x748 -x747 -x746 x745 x744 -x743 x742 -x741 -x740 x739 x738 -x737 -x736 x735
877.15/877.51 v x734 -x733 x732 -x731 -x730 x729 x728 -x727 -x726 x725 x724 -x723 x722 -x721 x720 -x719 x718 -x717 -x716 x715 x714 -x713 -x712
877.15/877.51 v x711 x710 -x709 x708 -x707 -x706 x705 x704 -x703 x702 -x701 -x700 x699 x698 -x697 x696 -x695 -x694 x693 x692 -x691 x690 -x689
877.15/877.51 v x688 -x687 -x686 x685 x684 -x683 -x682 x681 x680 -x679 x678 -x677 -x676 x675 x674 -x673 x672 -x671 -x670 x669 x668 -x667 x666
877.15/877.51 v -x665 x664 -x663 -x662 x661 x660 -x659 x658 -x657 -x656 x655 x654 -x653 x652 -x651 -x650 x649 x648 -x647 x646 -x645 -x644
877.15/877.51 v x643 x642 -x641 x640 -x639 -x638 x637 x636 -x635 -x634 x633 x632 -x631 x630 -x629 -x628 x627 x626 -x625 x624 -x623 -x622 x621
877.15/877.51 v x620 -x619 x618 -x617 x616 -x615 -x614 x613 x612 -x611 x610 -x609 -x608 x607 x606 -x605 -x604 x603 x602 -x601 x600 -x599 -x598
877.15/877.51 v x597 x596 -x595 x594 -x593 -x592 x591 x590 -x589 x588 -x587 -x586 x585 x584 -x583 x582 -x581 -x580 x579 x578 -x577 x576 -x575
877.15/877.51 v -x574 x573 x572 -x571 x570 -x569 -x568 x567 x566 -x565 x564 -x563 -x562 x561 x560 -x559 x558 -x557 x556 -x555 -x554 x553
877.15/877.51 v x552 -x551 x550 -x549 -x548 x547 x546 -x545 x544 -x543 -x542 x541 x540 -x539 -x538 x537 x536 -x535 x534 -x533 -x532 x531 x530
877.15/877.51 v -x529 x528 -x527 -x526 x525 x524 -x523 x522 -x521 -x520 x519 x518 -x517 x516 -x515 x514 -x513 -x512 x511 x510 -x509 x508 -x507
877.15/877.51 v -x506 x505 x504 -x503 x502 -x501 -x500 x499 x498 -x497 -x496 x495 x494 -x493 x492 -x491 x490 -x489 -x488 x487 x486 -x485
877.15/877.51 v x484 -x483 -x482 x481 x480 -x479 -x478 x477 x476 -x475 x474 -x473 x472 -x471 -x470 x469 x468 -x467 x466 -x465 -x464 x463 x462
877.15/877.51 v -x461 -x460 x459 x458 -x457 x456 -x455 x454 -x453 -x452 x451 -x450 x449 x448 -x447 x446 -x445 x444 -x443 -x442 x441 x440 -x439
877.15/877.51 v x438 -x437 -x436 x435 x434 -x433 x432 -x431 -x430 x429 x428 -x427 x426 -x425 x424 -x423 -x422 x421 x420 -x419 -x418 x417 x416
877.15/877.51 v -x415 x414 -x413 x412 -x411 -x410 x409 x408 -x407 -x406 x405 -x404 -x403 x402 -x401 -x400 x399 x398 -x397 x396 -x395 x394
877.15/877.51 v -x393 -x392 x391 x390 -x389 -x388 x387 x386 -x385 -x384 -x383 -x382 x381 -x380 x379 -x378 -x377 -x376 x375 -x374 x373 -x372
877.15/877.51 v -x371 -x370 x369 -x368 x367 -x366 x365 -x364 -x363 -x362 x361 x360 -x359 -x358 x357 -x356 x355 -x354 -x353 x352 -x351 -x350 x349
877.15/877.51 v -x348 -x347 -x346 x345 -x344 -x343 -x342 x341 -x340 x339 -x338 -x337 -x336 x335 -x334 x333 -x332 x331 -x330 -x329 -x328 -x327
877.15/877.51 v -x326 x325 -x324 x323 -x322 -x321 -x320 x319 x318 -x317 -x316 -x315 -x314 x313 -x312 x311 -x310 x309 -x308 x307 -x306 x305
877.15/877.51 v -x304 x303 -x302 x301 -x300 x299 -x298 -x297 -x296 x295 -x294 x293 -x292 x291 -x290 x289 -x288 x287 -x286 x285 -x284 -x283
877.15/877.51 v -x282 x281 -x280 x279 x278 -x277 -x276 -x275 -x274 x273 -x272 -x271 -x270 x269 -x268 x267 -x266 x265 -x264 x263 x262 -x261 -x260
877.15/877.51 v x259 -x258 x257 -x256 x255 -x254 x253 x252 -x251 -x250 x249 -x248 x247 -x246 x245 -x244 x243 x242 -x241 -x240 x239 -x238
877.15/877.51 v x237 -x236 x235 -x234 x233 -x232 x231 -x230 x229 -x228 x227 -x226 x225 -x224 x223 -x222 x221 -x220 x219 -x218 x217 -x216 x215
877.15/877.51 v -x214 x213 -x212 x211 -x210 x209 -x208 x207 -x206 x205 -x204 x203 -x202 x201 -x200 x199 -x198 x197 -x196 x195 -x194 x193 -x192
877.15/877.51 v x191 -x190 x189 -x188 x187 -x186 x185 -x184 x183 -x182 x181 -x180 x179 -x178 x177 -x176 x175 -x174 x173 -x172 x171 -x170
877.15/877.51 v x169 -x168 x167 -x166 x165 -x164 x163 -x162 x161 -x160 x159 -x158 x157 -x156 x155 -x154 x153 -x152 x151 -x150 x149 -x148 x147
877.15/877.51 v -x146 x145 -x144 x143 -x142 x141 -x140 x139 -x138 x137 -x136 x135 x134 -x133 -x132 x131 -x130 x129 -x128 x127 -x126 x125 -x124
877.15/877.51 v x123 -x122 x121 -x120 x119 -x118 x117 -x116 x115 -x114 x113 -x112 x111 -x110 x109 -x108 x107 -x106 x105 -x104 x103 -x102 x101
877.15/877.51 v -x100 x99 -x98 x97 -x96 x95 -x94 x93 -x92 x91 x90 -x89 -x88 x87 -x86 x85 -x84 x83 -x82 x81 -x80 x79 -x78 x77 -x76 x75 -x74
877.15/877.51 v x73 -x72 x71 -x70 x69 -x68 x67 -x66 x65 -x64 x63 -x62 x61 -x60 x59 -x58 x57 -x56 x55 -x54 x53 -x52 x51 -x50 x49 -x48 x47 -x46
877.15/877.51 v x45 -x44 x43 -x42 x41 -x40 x39 x38 -x37 -x36 x35 x34 -x33 -x32 x31 -x30 x29 -x28 x27 -x26 x25 -x24 x23 -x22 x21 -x20 x19 -x18
877.15/877.51 v x17 -x16 x15 -x14 x13 -x12 x11 -x10 x9 -x8 x7 -x6 x5 -x4 x3 -x2 x1
877.15/877.51 c SCIP Status : problem is solved [optimal solution found]
877.15/877.51 c Solving Time : 845.46
877.15/877.51 c Original Problem :
877.15/877.51 c Problem name : HOME/instance-2665581-1276425935.opb
877.15/877.51 c Variables : 1044 (1044 binary, 0 integer, 0 implicit integer, 0 continuous)
877.15/877.51 c Constraints : 12158 initial, 12158 maximal
877.15/877.51 c Presolved Problem :
877.15/877.51 c Problem name : t_HOME/instance-2665581-1276425935.opb
877.15/877.51 c Variables : 1044 (1044 binary, 0 integer, 0 implicit integer, 0 continuous)
877.15/877.51 c Constraints : 12158 initial, 12473 maximal
877.15/877.51 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
877.15/877.51 c trivial : 0.00 0 0 0 0 0 0 0 0
877.15/877.51 c dualfix : 0.00 0 0 0 0 0 0 0 0
877.15/877.51 c boundshift : 0.00 0 0 0 0 0 0 0 0
877.15/877.51 c inttobinary : 0.00 0 0 0 0 0 0 0 0
877.15/877.51 c implics : 0.01 0 0 0 0 0 0 0 0
877.15/877.51 c probing : 0.13 0 0 0 0 0 0 0 0
877.15/877.51 c logicor : 0.07 0 0 0 0 0 0 0 0
877.15/877.51 c root node : - 545 - - 545 - - - -
877.15/877.51 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
877.15/877.51 c integral : 0 0 0 1 0 0 0 0 0 2
877.15/877.51 c logicor : 12158+ 12 2950030 0 2 295040 5910784 0 0 0
877.15/877.51 c countsols : 0 0 0 0 2 0 0 0 0 0
877.15/877.51 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
877.15/877.51 c integral : 27.41 0.00 0.00 27.41 0.00
877.15/877.51 c logicor : 366.75 0.06 366.68 0.00 0.01
877.15/877.51 c countsols : 0.00 0.00 0.00 0.00 0.00
877.15/877.51 c Propagators : Time Calls Cutoffs DomReds
877.15/877.51 c vbounds : 1.96 2 0 0
877.15/877.51 c rootredcost : 1.97 2 0 0
877.15/877.51 c pseudoobj : 241.86 4271622 468900 3551525
877.15/877.51 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
877.15/877.51 c propagation : 290.04 295040 294370 294370 26.7 1849 34.8 -
877.15/877.51 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
877.15/877.51 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
877.15/877.51 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
877.15/877.51 c pseudo solution : 48.89 107702 0 0 0.0 0 0.0 -
877.15/877.51 c applied globally : - - - 296219 26.7 - - -
877.15/877.51 c applied locally : - - - 0 0.0 - - -
877.15/877.51 c Separators : Time Calls Cutoffs DomReds Cuts Conss
877.15/877.51 c cut pool : 0.00 11 - - 57 - (maximal pool size: 283)
877.15/877.51 c redcost : 0.00 12 0 0 0 0
877.15/877.51 c impliedbounds : 0.03 12 0 0 0 0
877.15/877.51 c intobj : 0.00 0 0 0 0 0
877.15/877.51 c cgmip : 0.00 0 0 0 0 0
877.15/877.51 c gomory : 3.67 12 0 0 1696 0
877.15/877.51 c strongcg : 3.27 12 0 0 3231 0
877.15/877.51 c cmir : 1.64 10 0 0 0 0
877.15/877.51 c flowcover : 1.42 10 0 0 0 0
877.15/877.51 c clique : 0.07 1 0 0 0 0
877.15/877.51 c zerohalf : 0.00 0 0 0 0 0
877.15/877.51 c mcf : 0.05 1 0 0 0 0
877.15/877.51 c rapidlearning : 0.00 0 0 0 0 0
877.15/877.51 c Pricers : Time Calls Vars
877.15/877.51 c problem variables: 0.00 0 0
877.15/877.51 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
877.15/877.51 c relpscost : 27.41 1 0 0 0 0 2
877.15/877.51 c pscost : 0.00 0 0 0 0 0 0
877.15/877.51 c inference : 12.97 989083 0 0 0 0 1978166
877.15/877.51 c mostinf : 0.00 0 0 0 0 0 0
877.15/877.51 c leastinf : 0.00 0 0 0 0 0 0
877.15/877.51 c fullstrong : 0.00 0 0 0 0 0 0
877.15/877.51 c allfullstrong : 0.00 0 0 0 0 0 0
877.15/877.51 c random : 0.00 0 0 0 0 0 0
877.15/877.51 c Primal Heuristics : Time Calls Found
877.15/877.51 c LP solutions : 0.00 - 0
877.15/877.51 c pseudo solutions : 0.00 - 2
877.15/877.51 c oneopt : 1.40 0 0
877.15/877.51 c crossover : 0.00 0 0
877.15/877.51 c trivial : 0.01 2 0
877.15/877.51 c simplerounding : 0.00 0 0
877.15/877.51 c zirounding : 0.00 1 0
877.15/877.52 c rounding : 0.05 12 0
877.15/877.52 c shifting : 0.23 12 0
877.15/877.52 c intshifting : 0.00 0 0
877.15/877.52 c twoopt : 0.00 0 0
877.15/877.52 c fixandinfer : 0.00 0 0
877.15/877.52 c feaspump : 0.10 1 0
877.15/877.52 c coefdiving : 0.00 0 0
877.15/877.52 c pscostdiving : 0.00 0 0
877.15/877.52 c fracdiving : 0.00 0 0
877.15/877.52 c veclendiving : 0.00 0 0
877.15/877.52 c intdiving : 0.00 0 0
877.15/877.52 c actconsdiving : 0.00 0 0
877.15/877.52 c objpscostdiving : 0.00 0 0
877.15/877.52 c rootsoldiving : 0.00 0 0
877.15/877.52 c linesearchdiving : 0.00 0 0
877.15/877.52 c guideddiving : 0.00 0 0
877.15/877.52 c octane : 0.00 0 0
877.15/877.52 c rens : 0.00 0 0
877.15/877.52 c rins : 0.00 0 0
877.15/877.52 c localbranching : 0.00 0 0
877.15/877.52 c mutation : 0.00 0 0
877.15/877.52 c dins : 0.00 0 0
877.15/877.52 c undercover : 0.00 0 0
877.15/877.52 c nlp : 0.69 0 0
877.15/877.52 c trysol : 1.01 0 0
877.15/877.52 c LP : Time Calls Iterations Iter/call Iter/sec
877.15/877.52 c primal LP : 0.02 0 0 0.00 0.00
877.15/877.52 c dual LP : 6.45 12 5774 481.17 895.19
877.15/877.52 c lex dual LP : 0.00 0 0 0.00 -
877.15/877.52 c barrier LP : 0.00 0 0 0.00 -
877.15/877.52 c diving/probing LP: 0.06 0 0 0.00 0.00
877.15/877.52 c strong branching : 27.41 33 20717 627.79 755.82
877.15/877.52 c (at root node) : - 33 20717 627.79 -
877.15/877.52 c conflict analysis: 0.00 0 0 0.00 -
877.15/877.52 c B&B Tree :
877.15/877.52 c number of runs : 1
877.15/877.52 c nodes : 1748191
877.15/877.52 c nodes (total) : 1748191
877.15/877.52 c nodes left : 0
877.15/877.52 c max depth : 99
877.15/877.52 c max depth (total): 99
877.15/877.52 c backtracks : 416886 (23.8%)
877.15/877.52 c delayed cutoffs : 127109
877.15/877.52 c repropagations : 239204 (1448572 domain reductions, 112537 cutoffs)
877.15/877.52 c avg switch length: 2.05
877.15/877.52 c switching time : 50.82
877.15/877.52 c Solution :
877.15/877.52 c Solutions found : 2 (2 improvements)
877.15/877.52 c First Solution : +5.04000000000000e+02 (in run 1, after 202 nodes, 45.44 seconds, depth 99, found by <relaxation>)
877.15/877.52 c Primal Bound : +5.03000000000000e+02 (in run 1, after 25293 nodes, 58.73 seconds, depth 77, found by <relaxation>)
877.15/877.52 c Dual Bound : +5.03000000000000e+02
877.15/877.52 c Gap : 0.00 %
877.15/877.52 c Root Dual Bound : +3.16380429224773e+02
877.15/877.52 c Root Iterations : 5774
877.15/877.57 c Time complete: 877.23.