0.00/0.00 c SCIP version 1.2.1.3 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.4.2]
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-2703797-1278553600.opb>
0.00/0.03 c original problem has 607 variables (607 bin, 0 int, 0 impl, 0 cont) and 1022 constraints
0.00/0.03 c problem read
0.00/0.03 c presolving settings loaded
0.00/0.04 o 607
0.00/0.04 o 542
0.00/0.04 c feasible solution found by trivial heuristic, objective value 5.420000e+02
0.00/0.04 c presolving:
0.00/0.08 c (round 1) 0 del vars, 64 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 890 upgd conss, 0 impls, 0 clqs
0.08/0.09 c (round 2) 0 del vars, 64 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 924 upgd conss, 0 impls, 0 clqs
0.08/0.10 c (round 3) 0 del vars, 64 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 958 upgd conss, 0 impls, 0 clqs
0.09/0.10 c (0.1s) probing: 101/607 (16.6%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.09/0.10 c (0.1s) probing aborted: 100/100 successive totally useless probings
0.09/0.10 c presolving (4 rounds):
0.09/0.10 c 0 deleted vars, 64 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.09/0.10 c 0 implications, 0 cliques
0.09/0.10 c presolved problem has 607 variables (607 bin, 0 int, 0 impl, 0 cont) and 958 constraints
0.09/0.10 c 958 constraints of type <logicor>
0.09/0.10 c transformed objective value is always integral (scale: 1)
0.09/0.10 c Presolving Time: 0.06
0.09/0.10 c - non default parameters ----------------------------------------------------------------------
0.09/0.10 c # SCIP version 1.2.1.3
0.09/0.10 c
0.09/0.10 c # maximal number of intermediate conflict constraints generated in conflict graph (-1: use every intermediate constraint)
0.09/0.10 c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.10 c conflict/interconss = 0
0.09/0.10 c
0.09/0.10 c # should binary conflicts be preferred?
0.09/0.10 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.10 c conflict/preferbinary = TRUE
0.09/0.10 c
0.09/0.10 c # maximum age an unnecessary constraint can reach before it is deleted (0: dynamic, -1: keep all constraints)
0.09/0.10 c # [type: int, range: [-1,2147483647], default: 0]
0.09/0.10 c constraints/agelimit = 1
0.09/0.10 c
0.09/0.10 c # should enforcement of pseudo solution be disabled?
0.09/0.10 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.10 c constraints/disableenfops = TRUE
0.09/0.10 c
0.09/0.10 c # frequency for displaying node information lines
0.09/0.10 c # [type: int, range: [-1,2147483647], default: 100]
0.09/0.10 c display/freq = 10000
0.09/0.10 c
0.09/0.10 c # maximal time in seconds to run
0.09/0.10 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.10 c limits/time = 1789.98
0.09/0.10 c
0.09/0.10 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.09/0.10 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.10 c limits/memory = 1620
0.09/0.10 c
0.09/0.10 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.09/0.10 c # [type: int, range: [-1,2147483647], default: 1]
0.09/0.10 c lp/solvefreq = 0
0.09/0.10 c
0.09/0.10 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.09/0.10 c # [type: char, range: {lafpsqd}, default: l]
0.09/0.10 c lp/pricing = a
0.09/0.10 c
0.09/0.10 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.09/0.10 c # [type: int, range: [1,2], default: 1]
0.09/0.10 c timing/clocktype = 2
0.09/0.10 c
0.09/0.10 c # should presolving try to simplify inequalities
0.09/0.10 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.10 c constraints/linear/simplifyinequalities = TRUE
0.09/0.10 c
0.09/0.10 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.09/0.10 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.10 c constraints/indicator/addCouplingCons = TRUE
0.09/0.10 c
0.09/0.10 c # should presolving try to simplify knapsacks
0.09/0.10 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.10 c constraints/knapsack/simplifyinequalities = TRUE
0.09/0.10 c
0.09/0.10 c # priority of node selection rule <dfs> in standard mode
0.09/0.10 c # [type: int, range: [-536870912,536870911], default: 0]
0.09/0.10 c nodeselection/dfs/stdpriority = 1000000
0.09/0.10 c
0.09/0.10 c -----------------------------------------------------------------------------------------------
0.09/0.10 c start solving
0.09/0.10 c
0.09/0.10 o 425
0.09/0.10 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.09/0.10 c t 0.1s| 1 | 0 | 0 | - |2424k| 0 | - | 607 | 958 | 0 | 0 | 0 | 0 | 0 | -- | 4.250000e+02 | Inf
0.09/0.11 o 67
0.09/0.11 c b 0.1s| 1 | 0 | 0 | - |3214k| 0 | - | 607 | 958 | 607 | 958 | 0 | 0 | 0 | -- | 6.700000e+01 | Inf
0.19/0.21 c 0.2s| 1 | 0 | 731 | - |3206k| 0 | 173 | 607 | 958 | 607 | 958 | 0 | 0 | 0 | 3.635417e+01 | 6.700000e+01 | 84.30%
0.39/0.42 c 0.4s| 1 | 0 | 895 | - |3755k| 0 | 193 | 607 | 958 | 607 | 969 | 11 | 0 | 0 | 3.751883e+01 | 6.700000e+01 | 78.58%
0.69/0.71 c 0.7s| 1 | 0 | 1076 | - |3990k| 0 | 197 | 607 | 958 | 607 | 979 | 21 | 0 | 0 | 3.881796e+01 | 6.700000e+01 | 72.60%
0.89/0.95 c 0.9s| 1 | 0 | 1273 | - |4128k| 0 | 184 | 607 | 958 | 607 | 987 | 29 | 0 | 0 | 4.017973e+01 | 6.700000e+01 | 66.75%
1.20/1.21 c 1.2s| 1 | 0 | 1501 | - |4520k| 0 | 177 | 607 | 958 | 607 | 999 | 41 | 0 | 0 | 4.108650e+01 | 6.700000e+01 | 63.07%
1.39/1.40 c 1.4s| 1 | 0 | 1722 | - |4842k| 0 | 195 | 607 | 958 | 607 |1012 | 54 | 0 | 0 | 4.195790e+01 | 6.700000e+01 | 59.68%
1.59/1.66 c 1.6s| 1 | 0 | 2052 | - |5258k| 0 | 169 | 607 | 958 | 607 |1024 | 66 | 0 | 0 | 4.283109e+01 | 6.700000e+01 | 56.43%
1.79/1.87 c 1.8s| 1 | 0 | 2242 | - |5494k| 0 | 173 | 607 | 958 | 607 |1034 | 76 | 0 | 0 | 4.305760e+01 | 6.700000e+01 | 55.61%
2.10/2.15 c 2.1s| 1 | 0 | 2427 | - |5911k| 0 | 178 | 607 | 958 | 607 |1046 | 88 | 0 | 0 | 4.362645e+01 | 6.700000e+01 | 53.58%
2.39/2.40 c 2.4s| 1 | 0 | 2619 | - |6365k| 0 | 172 | 607 | 958 | 607 |1055 | 97 | 0 | 0 | 4.410627e+01 | 6.700000e+01 | 51.91%
2.69/2.70 c 2.7s| 1 | 0 | 2885 | - |6584k| 0 | 186 | 607 | 958 | 607 |1064 | 106 | 0 | 0 | 4.426533e+01 | 6.700000e+01 | 51.36%
2.89/2.91 c 2.9s| 1 | 0 | 3002 | - |7060k| 0 | 169 | 607 | 958 | 607 |1072 | 115 | 0 | 0 | 4.434719e+01 | 6.700000e+01 | 51.08%
3.09/3.14 c 3.1s| 1 | 0 | 3146 | - |7671k| 0 | 173 | 607 | 958 | 607 |1079 | 122 | 0 | 0 | 4.470470e+01 | 6.700000e+01 | 49.87%
3.29/3.39 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
3.29/3.39 c 3.4s| 1 | 0 | 3313 | - |8171k| 0 | 185 | 607 | 958 | 607 |1086 | 129 | 0 | 0 | 4.516972e+01 | 6.700000e+01 | 48.33%
3.69/3.71 c 3.7s| 1 | 0 | 3664 | - |8445k| 0 | 182 | 607 | 958 | 607 |1092 | 135 | 0 | 0 | 4.547137e+01 | 6.700000e+01 | 47.35%
3.99/4.05 c 4.0s| 1 | 0 | 4006 | - |8606k| 0 | 191 | 607 | 958 | 607 |1098 | 141 | 0 | 0 | 4.563240e+01 | 6.700000e+01 | 46.83%
4.40/4.47 c 4.4s| 1 | 0 | 4518 | - |8817k| 0 | 192 | 607 | 958 | 607 |1105 | 148 | 0 | 0 | 4.591589e+01 | 6.700000e+01 | 45.92%
4.69/4.74 c 4.7s| 1 | 0 | 4806 | - |9211k| 0 | 181 | 607 | 958 | 607 |1090 | 157 | 0 | 0 | 4.593611e+01 | 6.700000e+01 | 45.85%
5.09/5.10 c 5.1s| 1 | 0 | 5193 | - |9403k| 0 | 193 | 607 | 958 | 607 |1097 | 164 | 0 | 0 | 4.602993e+01 | 6.700000e+01 | 45.56%
5.39/5.47 c 5.4s| 1 | 0 | 5522 | - |9598k| 0 | 170 | 607 | 958 | 607 |1105 | 172 | 0 | 0 | 4.646296e+01 | 6.700000e+01 | 44.20%
5.69/5.70 c 5.7s| 1 | 0 | 5575 | - |9704k| 0 | 183 | 607 | 958 | 607 |1109 | 176 | 0 | 0 | 4.646296e+01 | 6.700000e+01 | 44.20%
5.79/5.85 c 5.8s| 1 | 0 | 5646 | - |9714k| 0 | 176 | 607 | 958 | 607 |1112 | 179 | 0 | 0 | 4.646296e+01 | 6.700000e+01 | 44.20%
5.99/6.07 c 6.0s| 1 | 0 | 5955 | - |9736k| 0 | 167 | 607 | 958 | 607 |1114 | 181 | 0 | 0 | 4.646296e+01 | 6.700000e+01 | 44.20%
6.19/6.20 c 6.2s| 1 | 0 | 6006 | - |9748k| 0 | 175 | 607 | 958 | 607 |1082 | 183 | 0 | 0 | 4.646296e+01 | 6.700000e+01 | 44.20%
6.29/6.38 c 6.3s| 1 | 0 | 6168 | - |9751k| 0 | 177 | 607 | 958 | 607 |1083 | 184 | 0 | 0 | 4.646296e+01 | 6.700000e+01 | 44.20%
7.39/7.47 o 53
7.39/7.47 c E 7.4s| 1 | 0 | 6168 | - |9759k| 0 | 177 | 607 | 958 | 607 |1083 | 184 | 0 | 0 | 4.646296e+01 | 5.300000e+01 | 14.07%
7.39/7.48 c 7.4s| 1 | 0 | 6168 | - |9759k| 0 | 177 | 607 | 958 | 607 |1083 | 184 | 0 | 0 | 4.646296e+01 | 5.300000e+01 | 14.07%
7.59/7.67 c 7.6s| 1 | 0 | 6419 | - |9789k| 0 | 163 | 607 | 958 | 607 |1087 | 188 | 0 | 0 | 4.646296e+01 | 5.300000e+01 | 14.07%
8.59/8.64 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
8.59/8.64 c 8.6s| 1 | 2 | 6419 | - |9789k| 0 | 163 | 607 | 958 | 607 |1087 | 188 | 0 | 25 | 4.646296e+01 | 5.300000e+01 | 14.07%
11.49/11.51 c 11.5s| 10000 | 494 | 6419 | 0.0 | 10M| 512 | - | 607 | 958 | 0 | 0 | 188 |5911 | 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
14.39/14.47 c 14.4s| 20000 | 492 | 6419 | 0.0 | 10M| 512 | - | 607 | 958 | 0 | 0 | 188 | 12k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
18.99/19.08 c 19.0s| 30000 | 488 | 6419 | 0.0 | 10M| 512 | - | 607 | 958 | 0 | 0 | 188 | 18k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
23.39/23.47 c 23.4s| 40000 | 486 | 6419 | 0.0 | 10M| 512 | - | 607 | 958 | 0 | 0 | 188 | 25k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
27.78/27.88 c 27.8s| 50000 | 486 | 6419 | 0.0 | 10M| 512 | - | 607 | 958 | 0 | 0 | 188 | 32k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
31.79/31.85 c 31.8s| 60000 | 488 | 6419 | 0.0 | 10M| 512 | - | 607 | 958 | 0 | 0 | 188 | 39k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
34.68/34.79 c 34.8s| 70000 | 489 | 6419 | 0.0 | 10M| 512 | - | 607 | 958 | 0 | 0 | 188 | 45k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
38.08/38.13 c 38.1s| 80000 | 487 | 6419 | 0.0 | 10M| 512 | - | 607 | 958 | 0 | 0 | 188 | 51k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
42.28/42.32 c 42.3s| 90000 | 482 | 6419 | 0.0 | 10M| 512 | - | 607 | 958 | 0 | 0 | 188 | 58k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
46.28/46.34 c 46.3s|100000 | 483 | 6419 | 0.0 | 10M| 512 | - | 607 | 958 | 0 | 0 | 188 | 65k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
49.78/49.87 c 49.8s|110000 | 483 | 6419 | 0.0 | 10M| 512 | - | 607 | 958 | 0 | 0 | 188 | 71k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
53.18/53.28 c 53.2s|120000 | 482 | 6419 | 0.0 | 10M| 512 | - | 607 | 958 | 0 | 0 | 188 | 78k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
56.18/56.23 c 56.2s|130000 | 479 | 6419 | 0.0 | 10M| 512 | - | 607 | 958 | 0 | 0 | 188 | 84k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
59.28/59.31 c 59.3s|140000 | 485 | 6419 | 0.0 | 10M| 512 | - | 607 | 958 | 0 | 0 | 188 | 90k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
63.37/63.47 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
63.37/63.47 c 63.4s|150000 | 483 | 6419 | 0.0 | 10M| 512 | - | 607 | 958 | 0 | 0 | 188 | 97k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
67.87/67.95 c 67.9s|160000 | 479 | 6419 | 0.0 | 10M| 512 | - | 607 | 958 | 0 | 0 | 188 | 104k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
71.57/71.62 c 71.6s|170000 | 486 | 6419 | 0.0 | 10M| 512 | - | 607 | 958 | 0 | 0 | 188 | 110k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
74.68/74.80 c 74.8s|180000 | 480 | 6419 | 0.0 | 10M| 512 | - | 607 | 958 | 0 | 0 | 188 | 116k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
78.37/78.42 c 78.4s|190000 | 481 | 6419 | 0.0 | 10M| 512 | - | 607 | 958 | 0 | 0 | 188 | 123k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
82.27/82.34 c 82.3s|200000 | 477 | 6419 | 0.0 | 10M| 512 | - | 607 | 958 | 0 | 0 | 188 | 129k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
86.37/86.47 c 86.4s|210000 | 479 | 6419 | 0.0 | 10M| 512 | - | 607 | 958 | 0 | 0 | 188 | 136k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
90.57/90.68 c 90.6s|220000 | 479 | 6419 | 0.0 | 10M| 512 | - | 607 | 958 | 0 | 0 | 188 | 143k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
93.87/93.97 c 93.9s|230000 | 476 | 6419 | 0.0 | 10M| 512 | - | 607 | 958 | 0 | 0 | 188 | 149k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
97.07/97.13 c 97.1s|240000 | 482 | 6419 | 0.0 | 10M| 512 | - | 607 | 958 | 0 | 0 | 188 | 156k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
100.37/100.41 c 100s|250000 | 479 | 6419 | 0.0 | 10M| 512 | - | 607 | 958 | 0 | 0 | 188 | 162k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
104.06/104.18 c 104s|260000 | 478 | 6419 | 0.0 | 10M| 512 | - | 607 | 959 | 0 | 0 | 188 | 168k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
107.36/107.47 c 107s|270000 | 480 | 6419 | 0.0 | 10M| 512 | - | 607 | 958 | 0 | 0 | 188 | 175k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
110.56/110.62 c 111s|280000 | 479 | 6419 | 0.0 | 10M| 512 | - | 607 | 958 | 0 | 0 | 188 | 181k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
113.76/113.85 c 114s|290000 | 477 | 6419 | 0.0 | 10M| 512 | - | 607 | 958 | 0 | 0 | 188 | 187k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
117.46/117.50 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
117.46/117.50 c 117s|300000 | 477 | 6419 | 0.0 | 10M| 512 | - | 607 | 958 | 0 | 0 | 188 | 194k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
120.97/121.02 c 121s|310000 | 477 | 6419 | 0.0 | 10M| 512 | - | 607 | 958 | 0 | 0 | 188 | 200k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
124.17/124.21 c 124s|320000 | 479 | 6419 | 0.0 | 10M| 512 | - | 607 | 958 | 0 | 0 | 188 | 206k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
127.26/127.35 c 127s|330000 | 476 | 6419 | 0.0 | 10M| 512 | - | 607 | 958 | 0 | 0 | 188 | 212k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
130.26/130.38 c 130s|340000 | 478 | 6419 | 0.0 | 10M| 512 | - | 607 | 958 | 0 | 0 | 188 | 219k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
133.46/133.53 c 133s|350000 | 476 | 6419 | 0.0 | 10M| 512 | - | 607 | 958 | 0 | 0 | 188 | 225k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
136.76/136.86 c 137s|360000 | 479 | 6419 | 0.0 | 10M| 512 | - | 607 | 959 | 0 | 0 | 188 | 231k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
140.66/140.75 c 141s|370000 | 478 | 6419 | 0.0 | 10M| 512 | - | 607 | 958 | 0 | 0 | 188 | 238k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
145.25/145.32 c 145s|380000 | 477 | 6419 | 0.0 | 10M| 512 | - | 607 | 958 | 0 | 0 | 188 | 245k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
148.95/149.00 c 149s|390000 | 477 | 6419 | 0.0 | 10M| 512 | - | 607 | 958 | 0 | 0 | 188 | 251k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
152.55/152.68 c 153s|400000 | 479 | 6419 | 0.0 | 10M| 512 | - | 607 | 958 | 0 | 0 | 188 | 258k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
156.06/156.10 c 156s|410000 | 472 | 6419 | 0.0 | 10M| 512 | - | 607 | 958 | 0 | 0 | 188 | 264k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
159.36/159.47 c 159s|420000 | 472 | 6419 | 0.0 | 10M| 512 | - | 607 | 958 | 0 | 0 | 188 | 270k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
162.85/162.97 c 163s|430000 | 480 | 6419 | 0.0 | 10M| 512 | - | 607 | 959 | 0 | 0 | 188 | 277k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
166.25/166.35 c 166s|440000 | 475 | 6419 | 0.0 | 10M| 512 | - | 607 | 958 | 0 | 0 | 188 | 283k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
169.65/169.70 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
169.65/169.70 c 170s|450000 | 479 | 6419 | 0.0 | 10M| 512 | - | 607 | 958 | 0 | 0 | 188 | 289k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
172.95/173.03 c 173s|460000 | 477 | 6419 | 0.0 | 10M| 512 | - | 607 | 958 | 0 | 0 | 188 | 296k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
176.25/176.34 c 176s|470000 | 474 | 6419 | 0.0 | 10M| 512 | - | 607 | 958 | 0 | 0 | 188 | 302k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
179.25/179.33 c 179s|480000 | 475 | 6419 | 0.0 | 10M| 512 | - | 607 | 959 | 0 | 0 | 188 | 308k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
182.34/182.47 c 182s|490000 | 478 | 6419 | 0.0 | 10M| 512 | - | 607 | 958 | 0 | 0 | 188 | 314k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
185.64/185.71 c 186s|500000 | 471 | 6419 | 0.0 | 10M| 512 | - | 607 | 958 | 0 | 0 | 188 | 321k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
188.64/188.80 c 189s|510000 | 471 | 6419 | 0.0 | 10M| 512 | - | 607 | 958 | 0 | 0 | 188 | 327k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
191.74/191.87 c 192s|520000 | 473 | 6419 | 0.0 | 10M| 512 | - | 607 | 958 | 0 | 0 | 188 | 333k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
194.94/195.09 c 195s|530000 | 480 | 6419 | 0.0 | 10M| 512 | - | 607 | 959 | 0 | 0 | 188 | 339k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
198.04/198.18 c 198s|540000 | 474 | 6419 | 0.0 | 10M| 512 | - | 607 | 958 | 0 | 0 | 188 | 345k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
201.25/201.33 c 201s|550000 | 475 | 6419 | 0.0 | 10M| 512 | - | 607 | 958 | 0 | 0 | 188 | 351k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
204.24/204.35 c 204s|560000 | 479 | 6419 | 0.0 | 10M| 512 | - | 607 | 958 | 0 | 0 | 188 | 358k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
207.44/207.53 c 207s|570000 | 476 | 6419 | 0.0 | 10M| 512 | - | 607 | 958 | 0 | 0 | 188 | 364k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
210.54/210.66 c 211s|580000 | 475 | 6419 | 0.0 | 10M| 512 | - | 607 | 958 | 0 | 0 | 188 | 370k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
213.74/213.82 c 214s|590000 | 475 | 6419 | 0.0 | 10M| 512 | - | 607 | 958 | 0 | 0 | 188 | 377k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
217.03/217.11 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
217.03/217.11 c 217s|600000 | 471 | 6419 | 0.0 | 10M| 512 | - | 607 | 958 | 0 | 0 | 188 | 383k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
220.23/220.35 c 220s|610000 | 471 | 6419 | 0.0 | 10M| 512 | - | 607 | 958 | 0 | 0 | 188 | 389k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
223.53/223.66 c 224s|620000 | 472 | 6419 | 0.0 | 10M| 512 | - | 607 | 958 | 0 | 0 | 188 | 396k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
226.93/227.02 c 227s|630000 | 470 | 6419 | 0.0 | 10M| 512 | - | 607 | 958 | 0 | 0 | 188 | 402k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
230.23/230.39 c 230s|640000 | 472 | 6419 | 0.0 | 10M| 512 | - | 607 | 958 | 0 | 0 | 188 | 409k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
233.63/233.74 c 234s|650000 | 470 | 6419 | 0.0 | 10M| 512 | - | 607 | 958 | 0 | 0 | 188 | 415k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
236.83/236.97 c 237s|660000 | 469 | 6419 | 0.0 | 10M| 512 | - | 607 | 959 | 0 | 0 | 188 | 421k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
240.03/240.15 c 240s|670000 | 475 | 6419 | 0.0 | 10M| 512 | - | 607 | 958 | 0 | 0 | 188 | 428k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
243.43/243.56 c 244s|680000 | 473 | 6419 | 0.0 | 10M| 512 | - | 607 | 958 | 0 | 0 | 188 | 434k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
246.73/246.86 c 247s|690000 | 474 | 6419 | 0.0 | 10M| 512 | - | 607 | 958 | 0 | 0 | 188 | 440k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
249.93/250.07 c 250s|700000 | 472 | 6419 | 0.0 | 10M| 512 | - | 607 | 958 | 0 | 0 | 188 | 447k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
253.22/253.33 c 253s|710000 | 474 | 6419 | 0.0 | 10M| 512 | - | 607 | 958 | 0 | 0 | 188 | 453k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
256.42/256.57 c 257s|720000 | 468 | 6419 | 0.0 | 10M| 512 | - | 607 | 958 | 0 | 0 | 188 | 459k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
259.62/259.74 c 260s|730000 | 470 | 6419 | 0.0 | 10M| 512 | - | 607 | 958 | 0 | 0 | 188 | 466k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
262.92/263.01 c 263s|740000 | 473 | 6419 | 0.0 | 10M| 512 | - | 607 | 958 | 0 | 0 | 188 | 472k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
266.42/266.54 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
266.42/266.54 c 267s|750000 | 473 | 6419 | 0.0 | 10M| 512 | - | 607 | 958 | 0 | 0 | 188 | 479k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
269.92/270.01 c 270s|760000 | 470 | 6419 | 0.0 | 10M| 512 | - | 607 | 958 | 0 | 0 | 188 | 485k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
273.12/273.30 c 273s|770000 | 475 | 6419 | 0.0 | 10M| 512 | - | 607 | 958 | 0 | 0 | 188 | 492k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
276.42/276.59 c 277s|780000 | 474 | 6419 | 0.0 | 10M| 512 | - | 607 | 958 | 0 | 0 | 188 | 498k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
279.82/279.95 c 280s|790000 | 472 | 6419 | 0.0 | 10M| 512 | - | 607 | 958 | 0 | 0 | 188 | 504k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
283.02/283.19 c 283s|800000 | 473 | 6419 | 0.0 | 10M| 512 | - | 607 | 958 | 0 | 0 | 188 | 511k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
286.22/286.38 c 286s|810000 | 466 | 6419 | 0.0 | 10M| 512 | - | 607 | 958 | 0 | 0 | 188 | 517k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
289.62/289.77 c 290s|820000 | 471 | 6419 | 0.0 | 10M| 512 | - | 607 | 959 | 0 | 0 | 188 | 524k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
293.01/293.11 c 293s|830000 | 470 | 6419 | 0.0 | 10M| 512 | - | 607 | 959 | 0 | 0 | 188 | 530k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
296.21/296.33 c 296s|840000 | 470 | 6419 | 0.0 | 10M| 512 | - | 607 | 958 | 0 | 0 | 188 | 536k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
299.31/299.48 c 299s|850000 | 472 | 6419 | 0.0 | 10M| 512 | - | 607 | 958 | 0 | 0 | 188 | 543k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
302.51/302.69 c 303s|860000 | 474 | 6419 | 0.0 | 10M| 512 | - | 607 | 958 | 0 | 0 | 188 | 549k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
305.72/305.87 c 306s|870000 | 470 | 6419 | 0.0 | 10M| 512 | - | 607 | 959 | 0 | 0 | 188 | 555k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
308.92/309.08 c 309s|880000 | 468 | 6419 | 0.0 | 10M| 512 | - | 607 | 958 | 0 | 0 | 188 | 562k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
312.11/312.26 c 312s|890000 | 468 | 6419 | 0.0 | 10M| 512 | - | 607 | 959 | 0 | 0 | 188 | 568k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
315.31/315.42 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
315.31/315.42 c 315s|900000 | 474 | 6419 | 0.0 | 10M| 512 | - | 607 | 958 | 0 | 0 | 188 | 574k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
318.51/318.65 c 319s|910000 | 473 | 6419 | 0.0 | 10M| 512 | - | 607 | 958 | 0 | 0 | 188 | 581k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
321.71/321.83 c 322s|920000 | 471 | 6419 | 0.0 | 10M| 512 | - | 607 | 958 | 0 | 0 | 188 | 587k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
324.81/324.97 c 325s|930000 | 472 | 6419 | 0.0 | 10M| 512 | - | 607 | 958 | 0 | 0 | 188 | 593k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
328.01/328.16 c 328s|940000 | 471 | 6419 | 0.0 | 10M| 512 | - | 607 | 958 | 0 | 0 | 188 | 599k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
331.40/331.50 c 331s|950000 | 468 | 6419 | 0.0 | 10M| 512 | - | 607 | 958 | 0 | 0 | 188 | 606k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
334.90/335.02 c 335s|960000 | 472 | 6419 | 0.0 | 10M| 512 | - | 607 | 958 | 0 | 0 | 188 | 612k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
338.40/338.51 c 338s|970000 | 473 | 6419 | 0.0 | 10M| 512 | - | 607 | 958 | 0 | 0 | 188 | 618k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
341.60/341.75 c 342s|980000 | 468 | 6419 | 0.0 | 10M| 512 | - | 607 | 958 | 0 | 0 | 188 | 624k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
344.80/344.94 c 345s|990000 | 468 | 6419 | 0.0 | 10M| 512 | - | 607 | 958 | 0 | 0 | 188 | 630k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
348.00/348.17 c 348s| 1000k| 470 | 6419 | 0.0 | 10M| 512 | - | 607 | 958 | 0 | 0 | 188 | 637k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
351.30/351.46 c 351s| 1010k| 468 | 6419 | 0.0 | 10M| 512 | - | 607 | 958 | 0 | 0 | 188 | 643k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
354.60/354.74 c 355s| 1020k| 467 | 6419 | 0.0 | 10M| 512 | - | 607 | 958 | 0 | 0 | 188 | 649k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
357.90/358.05 c 358s| 1030k| 469 | 6419 | 0.0 | 10M| 512 | - | 607 | 958 | 0 | 0 | 188 | 656k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
361.20/361.33 c 361s| 1040k| 471 | 6419 | 0.0 | 10M| 512 | - | 607 | 958 | 0 | 0 | 188 | 662k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
364.40/364.59 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
364.40/364.59 c 365s| 1050k| 468 | 6419 | 0.0 | 10M| 512 | - | 607 | 958 | 0 | 0 | 188 | 668k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
367.70/367.81 c 368s| 1060k| 468 | 6419 | 0.0 | 10M| 512 | - | 607 | 958 | 0 | 0 | 188 | 674k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
370.89/371.04 c 371s| 1070k| 471 | 6419 | 0.0 | 10M| 512 | - | 607 | 958 | 0 | 0 | 188 | 681k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
374.09/374.21 c 374s| 1080k| 477 | 6419 | 0.0 | 10M| 512 | - | 607 | 958 | 0 | 0 | 188 | 687k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
377.39/377.56 c 378s| 1090k| 471 | 6419 | 0.0 | 10M| 512 | - | 607 | 958 | 0 | 0 | 188 | 693k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
380.59/380.74 c 381s| 1100k| 472 | 6419 | 0.0 | 10M| 512 | - | 607 | 958 | 0 | 0 | 188 | 699k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
383.80/383.99 c 384s| 1110k| 467 | 6419 | 0.0 | 10M| 512 | - | 607 | 958 | 0 | 0 | 188 | 706k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
387.10/387.27 c 387s| 1120k| 465 | 6419 | 0.0 | 10M| 512 | - | 607 | 959 | 0 | 0 | 188 | 712k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
390.59/390.75 c 391s| 1130k| 470 | 6419 | 0.0 | 10M| 512 | - | 607 | 958 | 0 | 0 | 188 | 719k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
393.89/394.00 c 394s| 1140k| 468 | 6419 | 0.0 | 10M| 512 | - | 607 | 958 | 0 | 0 | 188 | 725k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
397.09/397.20 c 397s| 1150k| 465 | 6419 | 0.0 | 10M| 512 | - | 607 | 958 | 0 | 0 | 188 | 731k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
400.19/400.40 c 400s| 1160k| 474 | 6419 | 0.0 | 10M| 512 | - | 607 | 958 | 0 | 0 | 188 | 737k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
403.49/403.63 c 404s| 1170k| 473 | 6419 | 0.0 | 10M| 512 | - | 607 | 958 | 0 | 0 | 188 | 744k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
406.68/406.88 c 407s| 1180k| 470 | 6419 | 0.0 | 10M| 512 | - | 607 | 958 | 0 | 0 | 188 | 750k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
409.98/410.13 c 410s| 1190k| 466 | 6419 | 0.0 | 10M| 512 | - | 607 | 959 | 0 | 0 | 188 | 756k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
413.18/413.31 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
413.18/413.31 c 413s| 1200k| 470 | 6419 | 0.0 | 10M| 512 | - | 607 | 958 | 0 | 0 | 188 | 762k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
416.28/416.48 c 416s| 1210k| 471 | 6419 | 0.0 | 10M| 512 | - | 607 | 959 | 0 | 0 | 188 | 768k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
419.48/419.63 c 420s| 1220k| 470 | 6419 | 0.0 | 10M| 512 | - | 607 | 958 | 0 | 0 | 188 | 775k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
422.68/422.87 c 423s| 1230k| 470 | 6419 | 0.0 | 10M| 512 | - | 607 | 958 | 0 | 0 | 188 | 781k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
425.98/426.15 c 426s| 1240k| 470 | 6419 | 0.0 | 10M| 512 | - | 607 | 958 | 0 | 0 | 188 | 787k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
429.28/429.40 c 429s| 1250k| 466 | 6419 | 0.0 | 10M| 512 | - | 607 | 958 | 0 | 0 | 188 | 793k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
432.48/432.69 c 433s| 1260k| 467 | 6419 | 0.0 | 10M| 512 | - | 607 | 958 | 0 | 0 | 188 | 800k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
435.78/435.96 c 436s| 1270k| 466 | 6419 | 0.0 | 10M| 512 | - | 607 | 958 | 0 | 0 | 188 | 806k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
438.98/439.15 c 439s| 1280k| 466 | 6419 | 0.0 | 10M| 512 | - | 607 | 958 | 0 | 0 | 188 | 812k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
442.18/442.34 c 442s| 1290k| 472 | 6419 | 0.0 | 10M| 512 | - | 607 | 958 | 0 | 0 | 188 | 819k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
445.38/445.54 c 446s| 1300k| 469 | 6419 | 0.0 | 10M| 512 | - | 607 | 958 | 0 | 0 | 188 | 825k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
448.58/448.74 c 449s| 1310k| 475 | 6419 | 0.0 | 10M| 512 | - | 607 | 958 | 0 | 0 | 188 | 831k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
451.88/452.04 c 452s| 1320k| 473 | 6419 | 0.0 | 10M| 512 | - | 607 | 958 | 0 | 0 | 188 | 837k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
455.37/455.58 c 456s| 1330k| 469 | 6419 | 0.0 | 10M| 512 | - | 607 | 958 | 0 | 0 | 188 | 843k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
458.97/459.19 c 459s| 1340k| 472 | 6419 | 0.0 | 10M| 512 | - | 607 | 958 | 0 | 0 | 188 | 849k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
462.37/462.60 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
462.37/462.60 c 463s| 1350k| 470 | 6419 | 0.0 | 10M| 512 | - | 607 | 958 | 0 | 0 | 188 | 856k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
465.67/465.81 c 466s| 1360k| 472 | 6419 | 0.0 | 10M| 512 | - | 607 | 958 | 0 | 0 | 188 | 862k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
468.97/469.13 c 469s| 1370k| 469 | 6419 | 0.0 | 10M| 512 | - | 607 | 958 | 0 | 0 | 188 | 868k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
472.27/472.41 c 472s| 1380k| 468 | 6419 | 0.0 | 10M| 512 | - | 607 | 958 | 0 | 0 | 188 | 875k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
475.47/475.62 c 476s| 1390k| 468 | 6419 | 0.0 | 10M| 512 | - | 607 | 958 | 0 | 0 | 188 | 881k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
478.67/478.84 c 479s| 1400k| 471 | 6419 | 0.0 | 10M| 512 | - | 607 | 958 | 0 | 0 | 188 | 887k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
482.06/482.20 c 482s| 1410k| 468 | 6419 | 0.0 | 10M| 512 | - | 607 | 958 | 0 | 0 | 188 | 893k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
485.46/485.63 c 486s| 1420k| 474 | 6419 | 0.0 | 10M| 512 | - | 607 | 958 | 0 | 0 | 188 | 900k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
488.66/488.84 c 489s| 1430k| 471 | 6419 | 0.0 | 10M| 512 | - | 607 | 959 | 0 | 0 | 188 | 906k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
491.96/492.10 c 492s| 1440k| 470 | 6419 | 0.0 | 10M| 512 | - | 607 | 958 | 0 | 0 | 188 | 912k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
495.06/495.28 c 495s| 1450k| 469 | 6419 | 0.0 | 10M| 512 | - | 607 | 958 | 0 | 0 | 188 | 919k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
498.36/498.53 c 498s| 1460k| 468 | 6419 | 0.0 | 10M| 512 | - | 607 | 958 | 0 | 0 | 188 | 925k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
501.56/501.74 c 502s| 1470k| 469 | 6419 | 0.0 | 10M| 512 | - | 607 | 958 | 0 | 0 | 188 | 931k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
504.96/505.15 c 505s| 1480k| 470 | 6419 | 0.0 | 10M| 512 | - | 607 | 958 | 0 | 0 | 188 | 937k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
508.46/508.60 c 509s| 1490k| 467 | 6419 | 0.0 | 10M| 512 | - | 607 | 958 | 0 | 0 | 188 | 944k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
511.96/512.13 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
511.96/512.13 c 512s| 1500k| 472 | 6419 | 0.0 | 10M| 512 | - | 607 | 958 | 0 | 0 | 188 | 950k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
515.06/515.25 c 515s| 1510k| 472 | 6419 | 0.0 | 10M| 512 | - | 607 | 958 | 0 | 0 | 188 | 956k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
518.76/518.95 c 519s| 1520k| 473 | 6419 | 0.0 | 10M| 512 | - | 607 | 958 | 0 | 0 | 188 | 962k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
522.36/522.52 c 522s| 1530k| 472 | 6419 | 0.0 | 10M| 512 | - | 607 | 958 | 0 | 0 | 188 | 969k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
525.95/526.17 c 526s| 1540k| 469 | 6419 | 0.0 | 10M| 512 | - | 607 | 958 | 0 | 0 | 188 | 975k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
529.55/529.80 c 530s| 1550k| 472 | 6419 | 0.0 | 10M| 512 | - | 607 | 958 | 0 | 0 | 188 | 981k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
533.36/533.54 c 534s| 1560k| 472 | 6419 | 0.0 | 10M| 512 | - | 607 | 958 | 0 | 0 | 188 | 988k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
536.75/536.95 c 537s| 1570k| 470 | 6419 | 0.0 | 10M| 512 | - | 607 | 958 | 0 | 0 | 188 | 994k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
540.35/540.51 c 540s| 1580k| 469 | 6419 | 0.0 | 10M| 512 | - | 607 | 958 | 0 | 0 | 188 |1000k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
543.75/543.93 c 544s| 1590k| 467 | 6419 | 0.0 | 10M| 512 | - | 607 | 958 | 0 | 0 | 188 |1007k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
547.05/547.22 c 547s| 1600k| 470 | 6419 | 0.0 | 10M| 512 | - | 607 | 958 | 0 | 0 | 188 |1013k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
550.25/550.47 c 550s| 1610k| 470 | 6419 | 0.0 | 10M| 512 | - | 607 | 958 | 0 | 0 | 188 |1019k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
553.95/554.16 c 554s| 1620k| 470 | 6419 | 0.0 | 10M| 512 | - | 607 | 958 | 0 | 0 | 188 |1026k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
557.94/558.13 c 558s| 1630k| 471 | 6419 | 0.0 | 10M| 512 | - | 607 | 958 | 0 | 0 | 188 |1032k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
561.54/561.74 c 562s| 1640k| 471 | 6419 | 0.0 | 10M| 512 | - | 607 | 958 | 0 | 0 | 188 |1039k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
565.04/565.24 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
565.04/565.24 c 565s| 1650k| 471 | 6419 | 0.0 | 10M| 512 | - | 607 | 958 | 0 | 0 | 188 |1045k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
568.45/568.60 c 569s| 1660k| 469 | 6419 | 0.0 | 10M| 512 | - | 607 | 958 | 0 | 0 | 188 |1051k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
571.75/571.97 c 572s| 1670k| 469 | 6419 | 0.0 | 10M| 512 | - | 607 | 959 | 0 | 0 | 188 |1058k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
575.34/575.54 c 576s| 1680k| 472 | 6419 | 0.0 | 10M| 512 | - | 607 | 958 | 0 | 0 | 188 |1064k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
578.84/579.00 c 579s| 1690k| 471 | 6419 | 0.0 | 10M| 512 | - | 607 | 958 | 0 | 0 | 188 |1070k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
582.44/582.60 c 583s| 1700k| 468 | 6419 | 0.0 | 10M| 512 | - | 607 | 958 | 0 | 0 | 188 |1076k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
585.94/586.13 c 586s| 1710k| 472 | 6419 | 0.0 | 10M| 512 | - | 607 | 958 | 0 | 0 | 188 |1083k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
589.34/589.50 c 589s| 1720k| 470 | 6419 | 0.0 | 10M| 512 | - | 607 | 958 | 0 | 0 | 188 |1089k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
592.93/593.14 c 593s| 1730k| 467 | 6419 | 0.0 | 10M| 512 | - | 607 | 958 | 0 | 0 | 188 |1095k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
596.13/596.37 c 596s| 1740k| 473 | 6419 | 0.0 | 10M| 512 | - | 607 | 958 | 0 | 0 | 188 |1101k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
600.03/600.21 c 600s| 1750k| 472 | 6419 | 0.0 | 10M| 512 | - | 607 | 958 | 0 | 0 | 188 |1108k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
603.93/604.12 c 604s| 1760k| 471 | 6419 | 0.0 | 10M| 512 | - | 607 | 958 | 0 | 0 | 188 |1114k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
607.63/607.89 c 608s| 1770k| 466 | 6419 | 0.0 | 10M| 512 | - | 607 | 958 | 0 | 0 | 188 |1120k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
611.03/611.25 c 611s| 1780k| 464 | 6419 | 0.0 | 10M| 512 | - | 607 | 958 | 0 | 0 | 188 |1127k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
614.74/614.90 c 615s| 1790k| 469 | 6419 | 0.0 | 10M| 512 | - | 607 | 958 | 0 | 0 | 188 |1133k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
618.33/618.58 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
618.33/618.58 c 619s| 1800k| 467 | 6419 | 0.0 | 10M| 512 | - | 607 | 958 | 0 | 0 | 188 |1139k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
621.93/622.11 c 622s| 1810k| 467 | 6419 | 0.0 | 10M| 512 | - | 607 | 959 | 0 | 0 | 188 |1145k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
625.33/625.53 c 625s| 1820k| 470 | 6419 | 0.0 | 10M| 512 | - | 607 | 958 | 0 | 0 | 188 |1152k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
628.53/628.75 c 629s| 1830k| 469 | 6419 | 0.0 | 10M| 512 | - | 607 | 958 | 0 | 0 | 188 |1158k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
631.72/631.93 c 632s| 1840k| 470 | 6419 | 0.0 | 10M| 512 | - | 607 | 958 | 0 | 0 | 188 |1164k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
635.12/635.39 c 635s| 1850k| 469 | 6419 | 0.0 | 10M| 512 | - | 607 | 958 | 0 | 0 | 188 |1171k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
638.42/638.63 c 639s| 1860k| 470 | 6419 | 0.0 | 10M| 512 | - | 607 | 958 | 0 | 0 | 188 |1177k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
641.72/641.90 c 642s| 1870k| 469 | 6419 | 0.0 | 10M| 512 | - | 607 | 958 | 0 | 0 | 188 |1183k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
644.92/645.19 c 645s| 1880k| 468 | 6419 | 0.0 | 10M| 512 | - | 607 | 958 | 0 | 0 | 188 |1190k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
648.12/648.35 c 648s| 1890k| 470 | 6419 | 0.0 | 10M| 512 | - | 607 | 958 | 0 | 0 | 188 |1196k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
651.22/651.45 c 651s| 1900k| 467 | 6419 | 0.0 | 10M| 512 | - | 607 | 958 | 0 | 0 | 188 |1202k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
654.62/654.87 c 655s| 1910k| 472 | 6419 | 0.0 | 10M| 512 | - | 607 | 958 | 0 | 0 | 188 |1208k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
657.92/658.17 c 658s| 1920k| 471 | 6419 | 0.0 | 10M| 512 | - | 607 | 958 | 0 | 0 | 188 |1215k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
661.32/661.56 c 662s| 1930k| 469 | 6419 | 0.0 | 10M| 512 | - | 607 | 959 | 0 | 0 | 188 |1221k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
664.62/664.83 c 665s| 1940k| 471 | 6419 | 0.0 | 10M| 512 | - | 607 | 959 | 0 | 0 | 188 |1227k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
667.82/668.09 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
667.82/668.09 c 668s| 1950k| 470 | 6419 | 0.0 | 10M| 512 | - | 607 | 958 | 0 | 0 | 188 |1233k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
671.21/671.42 c 671s| 1960k| 469 | 6419 | 0.0 | 10M| 512 | - | 607 | 958 | 0 | 0 | 188 |1239k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
674.81/675.06 c 675s| 1970k| 469 | 6419 | 0.0 | 10M| 512 | - | 607 | 958 | 0 | 0 | 188 |1246k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
678.21/678.47 c 678s| 1980k| 467 | 6419 | 0.0 | 10M| 512 | - | 607 | 958 | 0 | 0 | 188 |1252k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
681.91/682.14 c 682s| 1990k| 466 | 6419 | 0.0 | 10M| 512 | - | 607 | 958 | 0 | 0 | 188 |1258k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
685.31/685.57 c 686s| 2000k| 466 | 6419 | 0.0 | 10M| 512 | - | 607 | 958 | 0 | 0 | 188 |1264k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
688.91/689.15 c 689s| 2010k| 469 | 6419 | 0.0 | 10M| 512 | - | 607 | 958 | 0 | 0 | 188 |1271k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
692.41/692.65 c 693s| 2020k| 467 | 6419 | 0.0 | 10M| 512 | - | 607 | 958 | 0 | 0 | 188 |1277k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
696.01/696.22 c 696s| 2030k| 461 | 6419 | 0.0 | 10M| 512 | - | 607 | 958 | 0 | 0 | 188 |1284k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
699.31/699.53 c 699s| 2040k| 470 | 6419 | 0.0 | 10M| 512 | - | 607 | 958 | 0 | 0 | 188 |1290k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
702.51/702.77 c 703s| 2050k| 474 | 6419 | 0.0 | 10M| 512 | - | 607 | 958 | 0 | 0 | 188 |1296k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
705.80/706.03 c 706s| 2060k| 472 | 6419 | 0.0 | 10M| 512 | - | 607 | 958 | 0 | 0 | 188 |1302k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
709.21/709.45 c 709s| 2070k| 468 | 6419 | 0.0 | 10M| 512 | - | 607 | 958 | 0 | 0 | 188 |1309k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
712.61/712.82 c 713s| 2080k| 469 | 6419 | 0.0 | 10M| 512 | - | 607 | 958 | 0 | 0 | 188 |1315k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
715.91/716.11 c 716s| 2090k| 470 | 6419 | 0.0 | 10M| 512 | - | 607 | 958 | 0 | 0 | 188 |1321k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
719.21/719.49 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
719.21/719.49 c 719s| 2100k| 468 | 6419 | 0.0 | 10M| 512 | - | 607 | 958 | 0 | 0 | 188 |1328k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
722.51/722.76 c 723s| 2110k| 469 | 6419 | 0.0 | 10M| 512 | - | 607 | 958 | 0 | 0 | 188 |1334k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
725.71/725.96 c 726s| 2120k| 469 | 6419 | 0.0 | 10M| 512 | - | 607 | 958 | 0 | 0 | 188 |1340k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
728.90/729.10 c 729s| 2130k| 471 | 6419 | 0.0 | 10M| 512 | - | 607 | 958 | 0 | 0 | 188 |1346k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
732.30/732.51 c 732s| 2140k| 470 | 6419 | 0.0 | 10M| 512 | - | 607 | 958 | 0 | 0 | 188 |1353k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
735.50/735.74 c 736s| 2150k| 469 | 6419 | 0.0 | 10M| 512 | - | 607 | 958 | 0 | 0 | 188 |1359k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
739.00/739.24 c 739s| 2160k| 467 | 6419 | 0.0 | 10M| 512 | - | 607 | 958 | 0 | 0 | 188 |1365k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
742.50/742.72 c 743s| 2170k| 467 | 6419 | 0.0 | 10M| 512 | - | 607 | 958 | 0 | 0 | 188 |1372k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
745.69/745.94 c 746s| 2180k| 467 | 6419 | 0.0 | 10M| 512 | - | 607 | 958 | 0 | 0 | 188 |1378k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
749.09/749.31 c 749s| 2190k| 469 | 6419 | 0.0 | 10M| 512 | - | 607 | 958 | 0 | 0 | 188 |1385k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
752.49/752.76 c 753s| 2200k| 470 | 6419 | 0.0 | 10M| 512 | - | 607 | 958 | 0 | 0 | 188 |1391k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
755.69/755.99 c 756s| 2210k| 465 | 6419 | 0.0 | 10M| 512 | - | 607 | 959 | 0 | 0 | 188 |1398k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
758.89/759.15 c 759s| 2220k| 471 | 6419 | 0.0 | 10M| 512 | - | 607 | 958 | 0 | 0 | 188 |1404k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
762.19/762.45 c 762s| 2230k| 466 | 6419 | 0.0 | 10M| 512 | - | 607 | 958 | 0 | 0 | 188 |1410k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
765.49/765.74 c 766s| 2240k| 468 | 6419 | 0.0 | 10M| 512 | - | 607 | 958 | 0 | 0 | 188 |1416k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
768.89/769.15 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
768.89/769.15 c 769s| 2250k| 467 | 6419 | 0.0 | 10M| 512 | - | 607 | 958 | 0 | 0 | 188 |1423k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
772.29/772.53 c 772s| 2260k| 466 | 6419 | 0.0 | 10M| 512 | - | 607 | 958 | 0 | 0 | 188 |1429k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
775.49/775.76 c 776s| 2270k| 467 | 6419 | 0.0 | 10M| 512 | - | 607 | 959 | 0 | 0 | 188 |1435k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
778.69/778.92 c 779s| 2280k| 469 | 6419 | 0.0 | 10M| 512 | - | 607 | 958 | 0 | 0 | 188 |1442k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
781.79/782.05 c 782s| 2290k| 466 | 6419 | 0.0 | 10M| 512 | - | 607 | 958 | 0 | 0 | 188 |1448k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
784.98/785.21 c 785s| 2300k| 464 | 6419 | 0.0 | 10M| 512 | - | 607 | 958 | 0 | 0 | 188 |1454k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
788.18/788.44 c 788s| 2310k| 467 | 6419 | 0.0 | 10M| 512 | - | 607 | 958 | 0 | 0 | 188 |1460k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
791.48/791.73 c 792s| 2320k| 465 | 6419 | 0.0 | 10M| 512 | - | 607 | 958 | 0 | 0 | 188 |1467k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
794.68/794.91 c 795s| 2330k| 467 | 6419 | 0.0 | 10M| 512 | - | 607 | 958 | 0 | 0 | 188 |1473k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
797.78/798.02 c 798s| 2340k| 467 | 6419 | 0.0 | 10M| 512 | - | 607 | 958 | 0 | 0 | 188 |1479k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
800.98/801.23 c 801s| 2350k| 472 | 6419 | 0.0 | 10M| 512 | - | 607 | 958 | 0 | 0 | 188 |1485k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
804.28/804.51 c 804s| 2360k| 470 | 6419 | 0.0 | 10M| 512 | - | 607 | 958 | 0 | 0 | 188 |1492k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
807.58/807.81 c 808s| 2370k| 473 | 6419 | 0.0 | 10M| 512 | - | 607 | 958 | 0 | 0 | 188 |1498k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
810.78/811.10 c 811s| 2380k| 473 | 6419 | 0.0 | 10M| 512 | - | 607 | 958 | 0 | 0 | 188 |1504k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
814.38/814.61 c 815s| 2390k| 467 | 6419 | 0.0 | 10M| 512 | - | 607 | 958 | 0 | 0 | 188 |1510k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
817.78/818.08 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
817.78/818.08 c 818s| 2400k| 467 | 6419 | 0.0 | 10M| 512 | - | 607 | 959 | 0 | 0 | 188 |1517k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
821.28/821.55 c 822s| 2410k| 471 | 6419 | 0.0 | 10M| 512 | - | 607 | 958 | 0 | 0 | 188 |1523k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
824.57/824.85 c 825s| 2420k| 472 | 6419 | 0.0 | 10M| 512 | - | 607 | 958 | 0 | 0 | 188 |1529k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
827.87/828.12 c 828s| 2430k| 468 | 6419 | 0.0 | 10M| 512 | - | 607 | 958 | 0 | 0 | 188 |1535k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
831.17/831.42 c 831s| 2440k| 474 | 6419 | 0.0 | 10M| 512 | - | 607 | 958 | 0 | 0 | 188 |1541k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
834.37/834.65 c 835s| 2450k| 467 | 6419 | 0.0 | 10M| 512 | - | 607 | 958 | 0 | 0 | 188 |1548k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
837.57/837.89 c 838s| 2460k| 473 | 6419 | 0.0 | 10M| 512 | - | 607 | 958 | 0 | 0 | 188 |1554k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
840.97/841.29 c 841s| 2470k| 469 | 6419 | 0.0 | 10M| 512 | - | 607 | 960 | 0 | 0 | 188 |1560k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
844.37/844.66 c 845s| 2480k| 466 | 6419 | 0.0 | 10M| 512 | - | 607 | 958 | 0 | 0 | 188 |1566k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
847.97/848.23 c 848s| 2490k| 471 | 6419 | 0.0 | 10M| 512 | - | 607 | 958 | 0 | 0 | 188 |1573k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
851.17/851.43 c 851s| 2500k| 469 | 6419 | 0.0 | 10M| 512 | - | 607 | 958 | 0 | 0 | 188 |1579k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
854.37/854.66 c 855s| 2510k| 467 | 6419 | 0.0 | 10M| 512 | - | 607 | 958 | 0 | 0 | 188 |1585k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
857.56/857.86 c 858s| 2520k| 469 | 6419 | 0.0 | 10M| 512 | - | 607 | 958 | 0 | 0 | 188 |1592k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
860.75/861.03 c 861s| 2530k| 468 | 6419 | 0.0 | 10M| 512 | - | 607 | 958 | 0 | 0 | 188 |1598k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
863.95/864.26 c 864s| 2540k| 463 | 6419 | 0.0 | 10M| 512 | - | 607 | 960 | 0 | 0 | 188 |1604k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
867.25/867.55 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
867.25/867.55 c 868s| 2550k| 469 | 6419 | 0.0 | 10M| 512 | - | 607 | 958 | 0 | 0 | 188 |1611k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
870.55/870.81 c 871s| 2560k| 470 | 6419 | 0.0 | 10M| 512 | - | 607 | 958 | 0 | 0 | 188 |1617k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
873.75/874.05 c 874s| 2570k| 466 | 6419 | 0.0 | 10M| 512 | - | 607 | 958 | 0 | 0 | 188 |1623k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
876.95/877.28 c 877s| 2580k| 467 | 6419 | 0.0 | 10M| 512 | - | 607 | 958 | 0 | 0 | 188 |1629k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
880.25/880.51 c 880s| 2590k| 468 | 6419 | 0.0 | 10M| 512 | - | 607 | 958 | 0 | 0 | 188 |1636k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
883.54/883.83 c 884s| 2600k| 471 | 6419 | 0.0 | 10M| 512 | - | 607 | 959 | 0 | 0 | 188 |1642k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
886.94/887.20 c 887s| 2610k| 467 | 6419 | 0.0 | 10M| 512 | - | 607 | 958 | 0 | 0 | 188 |1648k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
890.14/890.49 c 890s| 2620k| 472 | 6419 | 0.0 | 10M| 512 | - | 607 | 958 | 0 | 0 | 188 |1655k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
893.54/893.85 c 894s| 2630k| 468 | 6419 | 0.0 | 10M| 512 | - | 607 | 958 | 0 | 0 | 188 |1661k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
896.84/897.16 c 897s| 2640k| 465 | 6419 | 0.0 | 10M| 512 | - | 607 | 958 | 0 | 0 | 188 |1667k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
900.14/900.45 c 900s| 2650k| 470 | 6419 | 0.0 | 10M| 512 | - | 607 | 959 | 0 | 0 | 188 |1674k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
903.34/903.62 c 904s| 2660k| 467 | 6419 | 0.0 | 10M| 512 | - | 607 | 958 | 0 | 0 | 188 |1680k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
906.44/906.79 c 907s| 2670k| 468 | 6419 | 0.0 | 10M| 512 | - | 607 | 958 | 0 | 0 | 188 |1686k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
909.64/909.95 c 910s| 2680k| 467 | 6419 | 0.0 | 10M| 512 | - | 607 | 958 | 0 | 0 | 188 |1692k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
912.94/913.26 c 913s| 2690k| 462 | 6419 | 0.0 | 10M| 512 | - | 607 | 958 | 0 | 0 | 188 |1699k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
916.14/916.44 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
916.14/916.44 c 916s| 2700k| 466 | 6419 | 0.0 | 10M| 512 | - | 607 | 958 | 0 | 0 | 188 |1705k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
919.43/919.71 c 920s| 2710k| 468 | 6419 | 0.0 | 10M| 512 | - | 607 | 958 | 0 | 0 | 188 |1711k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
922.54/923.19 c 923s| 2720k| 468 | 6419 | 0.0 | 10M| 512 | - | 607 | 958 | 0 | 0 | 188 |1717k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
925.80/926.42 c 926s| 2730k| 466 | 6419 | 0.0 | 10M| 512 | - | 607 | 958 | 0 | 0 | 188 |1724k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
929.00/929.62 c 930s| 2740k| 467 | 6419 | 0.0 | 10M| 512 | - | 607 | 958 | 0 | 0 | 188 |1730k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
932.30/932.96 c 933s| 2750k| 466 | 6419 | 0.0 | 10M| 512 | - | 607 | 958 | 0 | 0 | 188 |1736k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
935.70/936.36 c 936s| 2760k| 465 | 6419 | 0.0 | 10M| 512 | - | 607 | 958 | 0 | 0 | 188 |1743k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
939.00/939.69 c 940s| 2770k| 467 | 6419 | 0.0 | 10M| 512 | - | 607 | 958 | 0 | 0 | 188 |1749k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
942.30/942.93 c 943s| 2780k| 472 | 6419 | 0.0 | 10M| 512 | - | 607 | 958 | 0 | 0 | 188 |1755k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
945.50/946.10 c 946s| 2790k| 467 | 6419 | 0.0 | 10M| 512 | - | 607 | 958 | 0 | 0 | 188 |1762k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
948.60/949.29 c 949s| 2800k| 469 | 6419 | 0.0 | 10M| 512 | - | 607 | 958 | 0 | 0 | 188 |1768k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
951.90/952.55 c 953s| 2810k| 468 | 6419 | 0.0 | 10M| 512 | - | 607 | 959 | 0 | 0 | 188 |1774k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
955.30/955.93 c 956s| 2820k| 465 | 6419 | 0.0 | 10M| 512 | - | 607 | 958 | 0 | 0 | 188 |1780k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
958.89/959.52 c 959s| 2830k| 471 | 6419 | 0.0 | 10M| 512 | - | 607 | 958 | 0 | 0 | 188 |1787k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
962.29/962.91 c 963s| 2840k| 469 | 6419 | 0.0 | 10M| 512 | - | 607 | 958 | 0 | 0 | 188 |1793k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
965.69/966.34 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
965.69/966.34 c 966s| 2850k| 468 | 6419 | 0.0 | 10M| 512 | - | 607 | 958 | 0 | 0 | 188 |1799k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
968.99/969.64 c 970s| 2860k| 469 | 6419 | 0.0 | 10M| 512 | - | 607 | 958 | 0 | 0 | 188 |1806k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
972.49/973.12 c 973s| 2870k| 473 | 6419 | 0.0 | 10M| 512 | - | 607 | 958 | 0 | 0 | 188 |1812k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
975.89/976.52 c 976s| 2880k| 466 | 6419 | 0.0 | 10M| 512 | - | 607 | 958 | 0 | 0 | 188 |1818k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
979.40/980.02 c 980s| 2890k| 469 | 6419 | 0.0 | 10M| 512 | - | 607 | 958 | 0 | 0 | 188 |1824k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
982.80/983.46 c 983s| 2900k| 467 | 6419 | 0.0 | 10M| 512 | - | 607 | 959 | 0 | 0 | 188 |1831k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
986.39/987.01 c 987s| 2910k| 468 | 6419 | 0.0 | 10M| 512 | - | 607 | 958 | 0 | 0 | 188 |1837k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
989.89/990.59 c 991s| 2920k| 468 | 6419 | 0.0 | 10M| 512 | - | 607 | 958 | 0 | 0 | 188 |1843k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
993.39/994.08 c 994s| 2930k| 466 | 6419 | 0.0 | 10M| 512 | - | 607 | 958 | 0 | 0 | 188 |1850k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
996.78/997.46 c 997s| 2940k| 470 | 6419 | 0.0 | 10M| 512 | - | 607 | 958 | 0 | 0 | 188 |1856k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
1000.58/1001.27 c 1001s| 2950k| 471 | 6419 | 0.0 | 10M| 512 | - | 607 | 958 | 0 | 0 | 188 |1862k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
1004.08/1004.76 c 1005s| 2960k| 467 | 6419 | 0.0 | 10M| 512 | - | 607 | 958 | 0 | 0 | 188 |1869k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
1007.38/1008.06 c 1008s| 2970k| 467 | 6419 | 0.0 | 10M| 512 | - | 607 | 958 | 0 | 0 | 188 |1875k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
1010.58/1011.28 c 1011s| 2980k| 467 | 6419 | 0.0 | 10M| 512 | - | 607 | 959 | 0 | 0 | 188 |1881k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
1013.98/1014.64 c 1015s| 2990k| 464 | 6419 | 0.0 | 10M| 512 | - | 607 | 958 | 0 | 0 | 188 |1888k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
1017.18/1017.83 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1017.18/1017.83 c 1018s| 3000k| 467 | 6419 | 0.0 | 10M| 512 | - | 607 | 958 | 0 | 0 | 188 |1894k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
1020.88/1021.53 c 1021s| 3010k| 465 | 6419 | 0.0 | 10M| 512 | - | 607 | 958 | 0 | 0 | 188 |1900k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
1024.18/1024.81 c 1025s| 3020k| 469 | 6419 | 0.0 | 10M| 512 | - | 607 | 958 | 0 | 0 | 188 |1907k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
1027.78/1028.40 c 1028s| 3030k| 467 | 6419 | 0.0 | 10M| 512 | - | 607 | 958 | 0 | 0 | 188 |1913k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
1031.18/1031.89 c 1032s| 3040k| 467 | 6419 | 0.0 | 10M| 512 | - | 607 | 958 | 0 | 0 | 188 |1919k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
1034.67/1035.33 c 1035s| 3050k| 468 | 6419 | 0.0 | 10M| 512 | - | 607 | 958 | 0 | 0 | 188 |1926k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
1038.07/1038.79 c 1039s| 3060k| 468 | 6419 | 0.0 | 10M| 512 | - | 607 | 958 | 0 | 0 | 188 |1932k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
1041.47/1042.11 c 1042s| 3070k| 469 | 6419 | 0.0 | 10M| 512 | - | 607 | 958 | 0 | 0 | 188 |1938k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
1044.77/1045.42 c 1045s| 3080k| 466 | 6419 | 0.0 | 10M| 512 | - | 607 | 959 | 0 | 0 | 188 |1945k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
1048.37/1049.07 c 1049s| 3090k| 462 | 6419 | 0.0 | 10M| 512 | - | 607 | 958 | 0 | 0 | 188 |1951k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
1051.77/1052.44 c 1052s| 3100k| 466 | 6419 | 0.0 | 10M| 512 | - | 607 | 958 | 0 | 0 | 188 |1957k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
1055.67/1056.31 c 1056s| 3110k| 464 | 6419 | 0.0 | 10M| 512 | - | 607 | 958 | 0 | 0 | 188 |1964k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
1059.07/1059.77 c 1060s| 3120k| 466 | 6419 | 0.0 | 10M| 512 | - | 607 | 958 | 0 | 0 | 188 |1970k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
1062.27/1062.99 c 1063s| 3130k| 466 | 6419 | 0.0 | 10M| 512 | - | 607 | 958 | 0 | 0 | 188 |1976k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
1065.67/1066.35 c 1066s| 3140k| 469 | 6419 | 0.0 | 10M| 512 | - | 607 | 958 | 0 | 0 | 188 |1982k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
1068.97/1069.67 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1068.97/1069.67 c 1070s| 3150k| 471 | 6419 | 0.0 | 10M| 512 | - | 607 | 958 | 0 | 0 | 188 |1989k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
1072.26/1072.98 c 1073s| 3160k| 466 | 6419 | 0.0 | 10M| 512 | - | 607 | 958 | 0 | 0 | 188 |1995k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
1075.86/1076.56 c 1077s| 3170k| 470 | 6419 | 0.0 | 10M| 512 | - | 607 | 958 | 0 | 0 | 188 |2001k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
1079.26/1079.90 c 1080s| 3180k| 471 | 6419 | 0.0 | 10M| 512 | - | 607 | 958 | 0 | 0 | 188 |2008k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
1082.46/1083.18 c 1083s| 3190k| 466 | 6419 | 0.0 | 10M| 512 | - | 607 | 958 | 0 | 0 | 188 |2014k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
1085.76/1086.42 c 1086s| 3200k| 468 | 6419 | 0.0 | 10M| 512 | - | 607 | 959 | 0 | 0 | 188 |2020k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
1089.06/1089.76 c 1090s| 3210k| 470 | 6419 | 0.0 | 10M| 512 | - | 607 | 958 | 0 | 0 | 188 |2026k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
1092.46/1093.19 c 1093s| 3220k| 465 | 6419 | 0.0 | 10M| 512 | - | 607 | 958 | 0 | 0 | 188 |2033k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
1095.86/1096.50 c 1096s| 3230k| 466 | 6419 | 0.0 | 10M| 512 | - | 607 | 958 | 0 | 0 | 188 |2039k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
1098.96/1099.68 c 1100s| 3240k| 472 | 6419 | 0.0 | 10M| 512 | - | 607 | 958 | 0 | 0 | 188 |2045k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
1102.36/1103.03 c 1103s| 3250k| 467 | 6419 | 0.0 | 10M| 512 | - | 607 | 958 | 0 | 0 | 188 |2052k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
1105.86/1106.53 c 1106s| 3260k| 467 | 6419 | 0.0 | 10M| 512 | - | 607 | 958 | 0 | 0 | 188 |2058k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
1109.16/1109.87 c 1110s| 3270k| 469 | 6419 | 0.0 | 10M| 512 | - | 607 | 958 | 0 | 0 | 188 |2064k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
1112.56/1113.25 c 1113s| 3280k| 468 | 6419 | 0.0 | 10M| 512 | - | 607 | 958 | 0 | 0 | 188 |2071k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
1115.76/1116.49 c 1116s| 3290k| 466 | 6419 | 0.0 | 10M| 512 | - | 607 | 959 | 0 | 0 | 188 |2077k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
1119.16/1119.87 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1119.16/1119.87 c 1120s| 3300k| 462 | 6419 | 0.0 | 10M| 512 | - | 607 | 958 | 0 | 0 | 188 |2084k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
1122.55/1123.23 c 1123s| 3310k| 472 | 6419 | 0.0 | 10M| 512 | - | 607 | 958 | 0 | 0 | 188 |2090k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
1126.15/1126.83 c 1127s| 3320k| 468 | 6419 | 0.0 | 10M| 512 | - | 607 | 958 | 0 | 0 | 188 |2096k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
1129.65/1130.38 c 1130s| 3330k| 470 | 6419 | 0.0 | 10M| 512 | - | 607 | 958 | 0 | 0 | 188 |2102k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
1132.85/1133.58 c 1134s| 3340k| 469 | 6419 | 0.0 | 10M| 512 | - | 607 | 958 | 0 | 0 | 188 |2108k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
1136.25/1136.93 c 1137s| 3350k| 467 | 6419 | 0.0 | 10M| 512 | - | 607 | 958 | 0 | 0 | 188 |2115k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
1139.75/1140.43 c 1140s| 3360k| 467 | 6419 | 0.0 | 10M| 512 | - | 607 | 958 | 0 | 0 | 188 |2121k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
1142.95/1143.64 c 1144s| 3370k| 468 | 6419 | 0.0 | 10M| 512 | - | 607 | 958 | 0 | 0 | 188 |2127k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
1146.35/1147.02 c 1147s| 3380k| 467 | 6419 | 0.0 | 10M| 512 | - | 607 | 958 | 0 | 0 | 188 |2134k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
1149.74/1150.48 c 1150s| 3390k| 469 | 6419 | 0.0 | 10M| 512 | - | 607 | 958 | 0 | 0 | 188 |2140k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
1153.34/1154.02 c 1154s| 3400k| 465 | 6419 | 0.0 | 10M| 512 | - | 607 | 958 | 0 | 0 | 188 |2147k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
1156.64/1157.39 c 1157s| 3410k| 465 | 6419 | 0.0 | 10M| 512 | - | 607 | 958 | 0 | 0 | 188 |2153k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
1160.04/1160.72 c 1161s| 3420k| 463 | 6419 | 0.0 | 10M| 512 | - | 607 | 959 | 0 | 0 | 188 |2160k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
1163.44/1164.12 c 1164s| 3430k| 470 | 6419 | 0.0 | 10M| 512 | - | 607 | 958 | 0 | 0 | 188 |2166k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
1166.74/1167.45 c 1167s| 3440k| 462 | 6419 | 0.0 | 10M| 512 | - | 607 | 958 | 0 | 0 | 188 |2172k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
1170.24/1170.93 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1170.24/1170.93 c 1171s| 3450k| 467 | 6419 | 0.0 | 10M| 512 | - | 607 | 958 | 0 | 0 | 188 |2179k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
1174.24/1174.97 c 1175s| 3460k| 466 | 6419 | 0.0 | 10M| 512 | - | 607 | 958 | 0 | 0 | 188 |2185k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
1177.84/1178.57 c 1179s| 3470k| 467 | 6419 | 0.0 | 10M| 512 | - | 607 | 958 | 0 | 0 | 188 |2192k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
1181.24/1181.97 c 1182s| 3480k| 464 | 6419 | 0.0 | 10M| 512 | - | 607 | 958 | 0 | 0 | 188 |2198k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
1184.43/1185.19 c 1185s| 3490k| 463 | 6419 | 0.0 | 10M| 512 | - | 607 | 958 | 0 | 0 | 188 |2204k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
1187.93/1188.65 c 1189s| 3500k| 463 | 6419 | 0.0 | 10M| 512 | - | 607 | 958 | 0 | 0 | 188 |2210k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
1191.23/1191.91 c 1192s| 3510k| 469 | 6419 | 0.0 | 10M| 512 | - | 607 | 959 | 0 | 0 | 188 |2217k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
1194.63/1195.31 c 1195s| 3520k| 468 | 6419 | 0.0 | 10M| 512 | - | 607 | 958 | 0 | 0 | 188 |2223k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
1197.93/1198.62 c 1199s| 3530k| 471 | 6419 | 0.0 | 10M| 512 | - | 607 | 960 | 0 | 0 | 188 |2229k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
1201.33/1202.01 c 1202s| 3540k| 466 | 6419 | 0.0 | 10M| 512 | - | 607 | 958 | 0 | 0 | 188 |2235k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
1204.43/1205.18 c 1205s| 3550k| 464 | 6419 | 0.0 | 10M| 512 | - | 607 | 958 | 0 | 0 | 188 |2241k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
1207.63/1208.36 c 1208s| 3560k| 465 | 6419 | 0.0 | 10M| 512 | - | 607 | 960 | 0 | 0 | 188 |2247k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
1210.93/1211.65 c 1212s| 3570k| 469 | 6419 | 0.0 | 10M| 512 | - | 607 | 958 | 0 | 0 | 188 |2254k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
1214.33/1215.08 c 1215s| 3580k| 468 | 6419 | 0.0 | 10M| 512 | - | 607 | 958 | 0 | 0 | 188 |2260k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
1217.62/1218.30 c 1218s| 3590k| 469 | 6419 | 0.0 | 10M| 512 | - | 607 | 958 | 0 | 0 | 188 |2266k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
1221.02/1221.79 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1221.02/1221.79 c 1222s| 3600k| 468 | 6419 | 0.0 | 10M| 512 | - | 607 | 958 | 0 | 0 | 188 |2273k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
1224.32/1225.04 c 1225s| 3610k| 465 | 6419 | 0.0 | 10M| 512 | - | 607 | 958 | 0 | 0 | 188 |2279k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
1227.62/1228.39 c 1228s| 3620k| 469 | 6419 | 0.0 | 10M| 512 | - | 607 | 959 | 0 | 0 | 188 |2285k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
1231.02/1231.76 c 1232s| 3630k| 468 | 6419 | 0.0 | 10M| 512 | - | 607 | 958 | 0 | 0 | 188 |2291k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
1234.53/1235.27 c 1235s| 3640k| 467 | 6419 | 0.0 | 10M| 512 | - | 607 | 958 | 0 | 0 | 188 |2298k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
1237.93/1238.68 c 1239s| 3650k| 472 | 6419 | 0.0 | 10M| 512 | - | 607 | 958 | 0 | 0 | 188 |2304k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
1241.23/1241.91 c 1242s| 3660k| 470 | 6419 | 0.0 | 10M| 512 | - | 607 | 958 | 0 | 0 | 188 |2310k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
1244.42/1245.12 c 1245s| 3670k| 466 | 6419 | 0.0 | 10M| 512 | - | 607 | 959 | 0 | 0 | 188 |2317k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
1247.62/1248.31 c 1248s| 3680k| 467 | 6419 | 0.0 | 10M| 512 | - | 607 | 958 | 0 | 0 | 188 |2323k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
1250.92/1251.64 c 1252s| 3690k| 462 | 6419 | 0.0 | 10M| 512 | - | 607 | 959 | 0 | 0 | 188 |2329k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
1254.42/1255.11 c 1255s| 3700k| 463 | 6419 | 0.0 | 10M| 512 | - | 607 | 958 | 0 | 0 | 188 |2336k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
1257.81/1258.57 c 1259s| 3710k| 465 | 6419 | 0.0 | 10M| 512 | - | 607 | 958 | 0 | 0 | 188 |2342k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
1261.31/1262.03 c 1262s| 3720k| 466 | 6419 | 0.0 | 10M| 512 | - | 607 | 958 | 0 | 0 | 188 |2349k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
1264.51/1265.21 c 1265s| 3730k| 468 | 6419 | 0.0 | 10M| 512 | - | 607 | 958 | 0 | 0 | 188 |2355k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
1267.71/1268.46 c 1268s| 3740k| 465 | 6419 | 0.0 | 10M| 512 | - | 607 | 960 | 0 | 0 | 188 |2361k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
1270.92/1271.69 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1270.92/1271.69 c 1272s| 3750k| 463 | 6419 | 0.0 | 10M| 512 | - | 607 | 958 | 0 | 0 | 188 |2368k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
1274.22/1274.91 c 1275s| 3760k| 465 | 6419 | 0.0 | 10M| 512 | - | 607 | 958 | 0 | 0 | 188 |2374k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
1277.42/1278.16 c 1278s| 3770k| 467 | 6419 | 0.0 | 10M| 512 | - | 607 | 959 | 0 | 0 | 188 |2381k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
1280.72/1281.50 c 1281s| 3780k| 466 | 6419 | 0.0 | 10M| 512 | - | 607 | 958 | 0 | 0 | 188 |2387k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
1283.91/1284.63 c 1285s| 3790k| 467 | 6419 | 0.0 | 10M| 512 | - | 607 | 958 | 0 | 0 | 188 |2393k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
1287.21/1287.90 c 1288s| 3800k| 463 | 6419 | 0.0 | 10M| 512 | - | 607 | 958 | 0 | 0 | 188 |2399k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
1290.31/1291.08 c 1291s| 3810k| 465 | 6419 | 0.0 | 10M| 512 | - | 607 | 958 | 0 | 0 | 188 |2406k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
1293.60/1294.39 c 1294s| 3820k| 467 | 6419 | 0.0 | 10M| 512 | - | 607 | 958 | 0 | 0 | 188 |2412k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
1297.10/1297.90 c 1298s| 3830k| 467 | 6419 | 0.0 | 10M| 512 | - | 607 | 958 | 0 | 0 | 188 |2418k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
1301.10/1301.83 c 1302s| 3840k| 465 | 6419 | 0.0 | 10M| 512 | - | 607 | 958 | 0 | 0 | 188 |2425k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
1305.01/1305.76 c 1306s| 3850k| 465 | 6419 | 0.0 | 10M| 512 | - | 607 | 958 | 0 | 0 | 188 |2431k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
1308.50/1309.25 c 1309s| 3860k| 470 | 6419 | 0.0 | 10M| 512 | - | 607 | 958 | 0 | 0 | 188 |2438k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
1311.70/1312.48 c 1312s| 3870k| 470 | 6419 | 0.0 | 10M| 512 | - | 607 | 958 | 0 | 0 | 188 |2444k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
1314.91/1315.65 c 1316s| 3880k| 468 | 6419 | 0.0 | 10M| 512 | - | 607 | 958 | 0 | 0 | 188 |2450k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
1318.11/1318.80 c 1319s| 3890k| 465 | 6419 | 0.0 | 10M| 512 | - | 607 | 958 | 0 | 0 | 188 |2456k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
1321.51/1322.24 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1321.51/1322.24 c 1322s| 3900k| 466 | 6419 | 0.0 | 10M| 512 | - | 607 | 958 | 0 | 0 | 188 |2462k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
1324.60/1325.38 c 1325s| 3910k| 465 | 6419 | 0.0 | 10M| 512 | - | 607 | 958 | 0 | 0 | 188 |2468k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
1327.80/1328.59 c 1329s| 3920k| 467 | 6419 | 0.0 | 10M| 512 | - | 607 | 958 | 0 | 0 | 188 |2475k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
1331.00/1331.77 c 1332s| 3930k| 466 | 6419 | 0.0 | 10M| 512 | - | 607 | 958 | 0 | 0 | 188 |2481k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
1334.29/1335.07 c 1335s| 3940k| 466 | 6419 | 0.0 | 10M| 512 | - | 607 | 958 | 0 | 0 | 188 |2487k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
1337.59/1338.37 c 1338s| 3950k| 469 | 6419 | 0.0 | 10M| 512 | - | 607 | 958 | 0 | 0 | 188 |2494k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
1340.89/1341.69 c 1342s| 3960k| 466 | 6419 | 0.0 | 10M| 512 | - | 607 | 958 | 0 | 0 | 188 |2499k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
1344.09/1344.88 c 1345s| 3970k| 468 | 6419 | 0.0 | 10M| 512 | - | 607 | 958 | 0 | 0 | 188 |2506k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
1347.49/1348.28 c 1348s| 3980k| 464 | 6419 | 0.0 | 10M| 512 | - | 607 | 958 | 0 | 0 | 188 |2512k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
1350.69/1351.42 c 1351s| 3990k| 467 | 6419 | 0.0 | 10M| 512 | - | 607 | 958 | 0 | 0 | 188 |2518k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
1353.89/1354.64 c 1355s| 4000k| 462 | 6419 | 0.0 | 10M| 512 | - | 607 | 958 | 0 | 0 | 188 |2525k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
1357.09/1357.90 c 1358s| 4010k| 469 | 6419 | 0.0 | 10M| 512 | - | 607 | 958 | 0 | 0 | 188 |2531k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
1360.29/1361.06 c 1361s| 4020k| 463 | 6419 | 0.0 | 10M| 512 | - | 607 | 958 | 0 | 0 | 188 |2537k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
1363.49/1364.27 c 1364s| 4030k| 467 | 6419 | 0.0 | 10M| 512 | - | 607 | 958 | 0 | 0 | 188 |2543k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
1366.69/1367.44 c 1367s| 4040k| 464 | 6419 | 0.0 | 10M| 512 | - | 607 | 958 | 0 | 0 | 188 |2550k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
1369.98/1370.72 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1369.98/1370.72 c 1371s| 4050k| 469 | 6419 | 0.0 | 10M| 512 | - | 607 | 958 | 0 | 0 | 188 |2556k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
1373.19/1373.96 c 1374s| 4060k| 467 | 6419 | 0.0 | 10M| 512 | - | 607 | 958 | 0 | 0 | 188 |2562k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
1376.39/1377.19 c 1377s| 4070k| 465 | 6419 | 0.0 | 10M| 512 | - | 607 | 958 | 0 | 0 | 188 |2568k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
1379.58/1380.36 c 1380s| 4080k| 466 | 6419 | 0.0 | 10M| 512 | - | 607 | 958 | 0 | 0 | 188 |2574k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
1382.78/1383.56 c 1384s| 4090k| 471 | 6419 | 0.0 | 10M| 512 | - | 607 | 958 | 0 | 0 | 188 |2580k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
1386.48/1387.24 c 1387s| 4100k| 467 | 6419 | 0.0 | 10M| 512 | - | 607 | 958 | 0 | 0 | 188 |2587k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
1389.69/1390.49 c 1390s| 4110k| 464 | 6419 | 0.0 | 10M| 512 | - | 607 | 958 | 0 | 0 | 188 |2593k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
1393.08/1393.84 c 1394s| 4120k| 465 | 6419 | 0.0 | 10M| 512 | - | 607 | 958 | 0 | 0 | 188 |2600k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
1396.48/1397.25 c 1397s| 4130k| 466 | 6419 | 0.0 | 10M| 512 | - | 607 | 958 | 0 | 0 | 188 |2606k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
1399.78/1400.58 c 1401s| 4140k| 466 | 6419 | 0.0 | 10M| 512 | - | 607 | 958 | 0 | 0 | 188 |2613k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
1402.98/1403.72 c 1404s| 4150k| 464 | 6419 | 0.0 | 10M| 512 | - | 607 | 958 | 0 | 0 | 188 |2619k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
1406.08/1406.84 c 1407s| 4160k| 465 | 6419 | 0.0 | 10M| 512 | - | 607 | 959 | 0 | 0 | 188 |2625k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
1409.27/1410.08 c 1410s| 4170k| 462 | 6419 | 0.0 | 10M| 512 | - | 607 | 958 | 0 | 0 | 188 |2631k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
1412.78/1413.53 c 1413s| 4180k| 465 | 6419 | 0.0 | 10M| 512 | - | 607 | 958 | 0 | 0 | 188 |2638k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
1416.08/1416.83 c 1417s| 4190k| 465 | 6419 | 0.0 | 10M| 512 | - | 607 | 958 | 0 | 0 | 188 |2644k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
1419.28/1420.05 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1419.28/1420.05 c 1420s| 4200k| 463 | 6419 | 0.0 | 10M| 512 | - | 607 | 958 | 0 | 0 | 188 |2650k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
1422.47/1423.29 c 1423s| 4210k| 464 | 6419 | 0.0 | 10M| 512 | - | 607 | 958 | 0 | 0 | 188 |2656k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
1425.67/1426.48 c 1426s| 4220k| 473 | 6419 | 0.0 | 10M| 512 | - | 607 | 959 | 0 | 0 | 188 |2663k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
1428.97/1429.70 c 1430s| 4230k| 464 | 6419 | 0.0 | 10M| 512 | - | 607 | 958 | 0 | 0 | 188 |2669k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
1432.17/1432.98 c 1433s| 4240k| 467 | 6419 | 0.0 | 10M| 512 | - | 607 | 958 | 0 | 0 | 188 |2675k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
1435.67/1436.41 c 1436s| 4250k| 466 | 6419 | 0.0 | 10M| 512 | - | 607 | 958 | 0 | 0 | 188 |2682k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
1439.57/1440.31 c 1440s| 4260k| 466 | 6419 | 0.0 | 10M| 512 | - | 607 | 958 | 0 | 0 | 188 |2688k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
1442.76/1443.57 c 1444s| 4270k| 465 | 6419 | 0.0 | 10M| 512 | - | 607 | 958 | 0 | 0 | 188 |2695k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
1445.96/1446.77 c 1447s| 4280k| 466 | 6419 | 0.0 | 10M| 512 | - | 607 | 959 | 0 | 0 | 188 |2701k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
1449.16/1449.95 c 1450s| 4290k| 464 | 6419 | 0.0 | 10M| 512 | - | 607 | 958 | 0 | 0 | 188 |2707k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
1452.27/1453.04 c 1453s| 4300k| 466 | 6419 | 0.0 | 10M| 512 | - | 607 | 959 | 0 | 0 | 188 |2713k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
1455.46/1456.25 c 1456s| 4310k| 464 | 6419 | 0.0 | 10M| 512 | - | 607 | 958 | 0 | 0 | 188 |2720k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
1458.66/1459.50 c 1459s| 4320k| 463 | 6419 | 0.0 | 10M| 512 | - | 607 | 958 | 0 | 0 | 188 |2726k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
1462.06/1462.90 c 1463s| 4330k| 468 | 6419 | 0.0 | 10M| 512 | - | 607 | 959 | 0 | 0 | 188 |2732k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
1465.47/1466.23 c 1466s| 4340k| 465 | 6419 | 0.0 | 10M| 512 | - | 607 | 958 | 0 | 0 | 188 |2738k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
1468.66/1469.44 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1468.66/1469.44 c 1469s| 4350k| 465 | 6419 | 0.0 | 10M| 512 | - | 607 | 959 | 0 | 0 | 188 |2744k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
1472.06/1472.83 c 1473s| 4360k| 466 | 6419 | 0.0 | 10M| 512 | - | 607 | 958 | 0 | 0 | 188 |2751k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
1475.26/1476.05 c 1476s| 4370k| 463 | 6419 | 0.0 | 10M| 512 | - | 607 | 959 | 0 | 0 | 188 |2757k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
1478.96/1479.79 c 1480s| 4380k| 463 | 6419 | 0.0 | 10M| 512 | - | 607 | 958 | 0 | 0 | 188 |2763k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
1482.45/1483.23 c 1483s| 4390k| 467 | 6419 | 0.0 | 10M| 512 | - | 607 | 958 | 0 | 0 | 188 |2769k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
1485.85/1486.64 c 1487s| 4400k| 467 | 6419 | 0.0 | 10M| 512 | - | 607 | 958 | 0 | 0 | 188 |2776k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
1489.15/1489.96 c 1490s| 4410k| 464 | 6419 | 0.0 | 10M| 512 | - | 607 | 958 | 0 | 0 | 188 |2782k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
1492.65/1493.42 c 1493s| 4420k| 466 | 6419 | 0.0 | 10M| 512 | - | 607 | 958 | 0 | 0 | 188 |2788k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
1496.05/1496.88 c 1497s| 4430k| 468 | 6419 | 0.0 | 10M| 512 | - | 607 | 958 | 0 | 0 | 188 |2794k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
1499.56/1500.35 c 1500s| 4440k| 466 | 6419 | 0.0 | 10M| 512 | - | 607 | 958 | 0 | 0 | 188 |2800k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
1502.86/1503.66 c 1504s| 4450k| 468 | 6419 | 0.0 | 10M| 512 | - | 607 | 958 | 0 | 0 | 188 |2807k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
1506.26/1507.08 c 1507s| 4460k| 464 | 6419 | 0.0 | 10M| 512 | - | 607 | 958 | 0 | 0 | 188 |2813k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
1509.55/1510.36 c 1510s| 4470k| 462 | 6419 | 0.0 | 10M| 512 | - | 607 | 958 | 0 | 0 | 188 |2819k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
1512.85/1513.67 c 1514s| 4480k| 468 | 6419 | 0.0 | 10M| 512 | - | 607 | 958 | 0 | 0 | 188 |2825k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
1516.15/1516.99 c 1517s| 4490k| 464 | 6419 | 0.0 | 10M| 512 | - | 607 | 958 | 0 | 0 | 188 |2831k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
1519.65/1520.44 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1519.65/1520.44 c 1520s| 4500k| 467 | 6419 | 0.0 | 10M| 512 | - | 607 | 958 | 0 | 0 | 188 |2838k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
1522.94/1523.73 c 1524s| 4510k| 465 | 6419 | 0.0 | 10M| 512 | - | 607 | 958 | 0 | 0 | 188 |2844k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
1526.24/1527.07 c 1527s| 4520k| 463 | 6419 | 0.0 | 10M| 512 | - | 607 | 958 | 0 | 0 | 188 |2850k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
1529.54/1530.30 c 1530s| 4530k| 469 | 6419 | 0.0 | 10M| 512 | - | 607 | 958 | 0 | 0 | 188 |2856k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
1532.74/1533.51 c 1533s| 4540k| 467 | 6419 | 0.0 | 10M| 512 | - | 607 | 958 | 0 | 0 | 188 |2862k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
1535.95/1536.78 c 1537s| 4550k| 466 | 6419 | 0.0 | 10M| 512 | - | 607 | 958 | 0 | 0 | 188 |2868k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
1539.25/1540.08 c 1540s| 4560k| 466 | 6419 | 0.0 | 10M| 512 | - | 607 | 958 | 0 | 0 | 188 |2874k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
1542.45/1543.26 c 1543s| 4570k| 468 | 6419 | 0.0 | 10M| 512 | - | 607 | 959 | 0 | 0 | 188 |2880k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
1545.64/1546.47 c 1546s| 4580k| 463 | 6419 | 0.0 | 10M| 512 | - | 607 | 959 | 0 | 0 | 188 |2887k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
1548.84/1549.67 c 1550s| 4590k| 464 | 6419 | 0.0 | 10M| 512 | - | 607 | 958 | 0 | 0 | 188 |2893k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
1552.14/1552.96 c 1553s| 4600k| 469 | 6419 | 0.0 | 10M| 512 | - | 607 | 958 | 0 | 0 | 188 |2899k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
1555.34/1556.15 c 1556s| 4610k| 464 | 6419 | 0.0 | 10M| 512 | - | 607 | 958 | 0 | 0 | 188 |2905k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
1558.53/1559.37 c 1559s| 4620k| 467 | 6419 | 0.0 | 10M| 512 | - | 607 | 959 | 0 | 0 | 188 |2912k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
1561.73/1562.55 c 1563s| 4630k| 466 | 6419 | 0.0 | 10M| 512 | - | 607 | 959 | 0 | 0 | 188 |2918k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
1564.93/1565.73 c 1566s| 4640k| 463 | 6419 | 0.0 | 10M| 512 | - | 607 | 958 | 0 | 0 | 188 |2924k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
1568.03/1568.86 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1568.03/1568.86 c 1569s| 4650k| 463 | 6419 | 0.0 | 10M| 512 | - | 607 | 958 | 0 | 0 | 188 |2930k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
1571.23/1572.06 c 1572s| 4660k| 468 | 6419 | 0.0 | 10M| 512 | - | 607 | 958 | 0 | 0 | 188 |2937k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
1574.44/1575.29 c 1575s| 4670k| 463 | 6419 | 0.0 | 10M| 512 | - | 607 | 958 | 0 | 0 | 188 |2943k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
1577.83/1578.66 c 1579s| 4680k| 467 | 6419 | 0.0 | 10M| 512 | - | 607 | 958 | 0 | 0 | 188 |2949k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
1581.13/1581.90 c 1582s| 4690k| 460 | 6419 | 0.0 | 10M| 512 | - | 607 | 958 | 0 | 0 | 188 |2956k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
1584.13/1584.99 c 1585s| 4700k| 467 | 6419 | 0.0 | 10M| 512 | - | 607 | 958 | 0 | 0 | 188 |2962k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
1587.43/1588.23 c 1588s| 4710k| 463 | 6419 | 0.0 | 10M| 512 | - | 607 | 958 | 0 | 0 | 188 |2968k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
1590.73/1591.52 c 1591s| 4720k| 463 | 6419 | 0.0 | 10M| 512 | - | 607 | 958 | 0 | 0 | 188 |2974k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
1593.82/1594.66 c 1595s| 4730k| 462 | 6419 | 0.0 | 10M| 512 | - | 607 | 959 | 0 | 0 | 188 |2981k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
1597.02/1597.87 c 1598s| 4740k| 472 | 6419 | 0.0 | 10M| 512 | - | 607 | 958 | 0 | 0 | 188 |2987k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
1600.42/1601.24 c 1601s| 4750k| 471 | 6419 | 0.0 | 10M| 512 | - | 607 | 958 | 0 | 0 | 188 |2993k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
1603.92/1604.79 c 1605s| 4760k| 465 | 6419 | 0.0 | 10M| 512 | - | 607 | 958 | 0 | 0 | 188 |2999k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
1607.62/1608.41 c 1608s| 4770k| 468 | 6419 | 0.0 | 10M| 512 | - | 607 | 958 | 0 | 0 | 188 |3005k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
1611.12/1611.98 c 1612s| 4780k| 466 | 6419 | 0.0 | 10M| 512 | - | 607 | 958 | 0 | 0 | 188 |3012k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
1614.92/1615.75 c 1616s| 4790k| 467 | 6419 | 0.0 | 10M| 512 | - | 607 | 958 | 0 | 0 | 188 |3018k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
1619.22/1620.01 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1619.22/1620.01 c 1620s| 4800k| 468 | 6419 | 0.0 | 10M| 512 | - | 607 | 958 | 0 | 0 | 188 |3025k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
1622.62/1623.42 c 1623s| 4810k| 464 | 6419 | 0.0 | 10M| 512 | - | 607 | 958 | 0 | 0 | 188 |3031k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
1626.02/1626.89 c 1627s| 4820k| 465 | 6419 | 0.0 | 10M| 512 | - | 607 | 958 | 0 | 0 | 188 |3037k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
1629.62/1630.41 c 1630s| 4830k| 465 | 6419 | 0.0 | 10M| 512 | - | 607 | 958 | 0 | 0 | 188 |3043k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
1633.21/1634.00 c 1634s| 4840k| 463 | 6419 | 0.0 | 10M| 512 | - | 607 | 958 | 0 | 0 | 188 |3049k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
1636.71/1637.55 c 1638s| 4850k| 465 | 6419 | 0.0 | 10M| 512 | - | 607 | 958 | 0 | 0 | 188 |3056k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
1640.01/1640.82 c 1641s| 4860k| 465 | 6419 | 0.0 | 10M| 512 | - | 607 | 958 | 0 | 0 | 188 |3062k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
1643.51/1644.38 c 1644s| 4870k| 465 | 6419 | 0.0 | 10M| 512 | - | 607 | 958 | 0 | 0 | 188 |3069k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
1647.21/1648.05 c 1648s| 4880k| 464 | 6419 | 0.0 | 10M| 512 | - | 607 | 958 | 0 | 0 | 188 |3075k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
1650.61/1651.40 c 1651s| 4890k| 467 | 6419 | 0.0 | 10M| 512 | - | 607 | 958 | 0 | 0 | 188 |3081k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
1653.81/1654.63 c 1655s| 4900k| 461 | 6419 | 0.0 | 10M| 512 | - | 607 | 958 | 0 | 0 | 188 |3088k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
1657.11/1657.90 c 1658s| 4910k| 462 | 6419 | 0.0 | 10M| 512 | - | 607 | 958 | 0 | 0 | 188 |3094k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
1660.31/1661.11 c 1661s| 4920k| 465 | 6419 | 0.0 | 10M| 512 | - | 607 | 958 | 0 | 0 | 188 |3100k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
1663.41/1664.27 c 1664s| 4930k| 466 | 6419 | 0.0 | 10M| 512 | - | 607 | 958 | 0 | 0 | 188 |3106k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
1666.71/1667.53 c 1667s| 4940k| 466 | 6419 | 0.0 | 10M| 512 | - | 607 | 958 | 0 | 0 | 188 |3112k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
1670.20/1671.04 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1670.20/1671.04 c 1671s| 4950k| 469 | 6419 | 0.0 | 10M| 512 | - | 607 | 958 | 0 | 0 | 188 |3118k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
1673.60/1674.40 c 1674s| 4960k| 464 | 6419 | 0.0 | 10M| 512 | - | 607 | 958 | 0 | 0 | 188 |3125k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
1677.60/1678.40 c 1678s| 4970k| 467 | 6419 | 0.0 | 10M| 512 | - | 607 | 958 | 0 | 0 | 188 |3131k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
1681.20/1682.07 c 1682s| 4980k| 466 | 6419 | 0.0 | 10M| 512 | - | 607 | 958 | 0 | 0 | 188 |3138k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
1684.60/1685.45 c 1685s| 4990k| 465 | 6419 | 0.0 | 10M| 512 | - | 607 | 958 | 0 | 0 | 188 |3144k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
1688.00/1688.89 c 1689s| 5000k| 468 | 6419 | 0.0 | 10M| 512 | - | 607 | 958 | 0 | 0 | 188 |3150k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
1691.70/1692.53 c 1693s| 5010k| 465 | 6419 | 0.0 | 10M| 512 | - | 607 | 958 | 0 | 0 | 188 |3157k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
1695.80/1696.63 c 1697s| 5020k| 468 | 6419 | 0.0 | 10M| 512 | - | 607 | 958 | 0 | 0 | 188 |3163k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
1699.40/1700.28 c 1700s| 5030k| 467 | 6419 | 0.0 | 10M| 512 | - | 607 | 958 | 0 | 0 | 188 |3169k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
1702.90/1703.77 c 1704s| 5040k| 465 | 6419 | 0.0 | 10M| 512 | - | 607 | 958 | 0 | 0 | 188 |3176k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
1706.40/1707.21 c 1707s| 5050k| 462 | 6419 | 0.0 | 10M| 512 | - | 607 | 958 | 0 | 0 | 188 |3182k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
1709.60/1710.45 c 1710s| 5060k| 466 | 6419 | 0.0 | 10M| 512 | - | 607 | 958 | 0 | 0 | 188 |3188k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
1712.90/1713.71 c 1714s| 5070k| 463 | 6419 | 0.0 | 10M| 512 | - | 607 | 958 | 0 | 0 | 188 |3194k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
1716.30/1717.17 c 1717s| 5080k| 468 | 6419 | 0.0 | 10M| 512 | - | 607 | 958 | 0 | 0 | 188 |3200k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
1719.89/1720.76 c 1721s| 5090k| 465 | 6419 | 0.0 | 10M| 512 | - | 607 | 958 | 0 | 0 | 188 |3207k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
1723.39/1724.21 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1723.39/1724.21 c 1724s| 5100k| 468 | 6419 | 0.0 | 10M| 512 | - | 607 | 958 | 0 | 0 | 188 |3213k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
1726.89/1727.71 c 1728s| 5110k| 464 | 6419 | 0.0 | 10M| 512 | - | 607 | 958 | 0 | 0 | 188 |3219k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
1730.29/1731.10 c 1731s| 5120k| 472 | 6419 | 0.0 | 10M| 512 | - | 607 | 958 | 0 | 0 | 188 |3225k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
1733.59/1734.48 c 1734s| 5130k| 465 | 6419 | 0.0 | 10M| 512 | - | 607 | 958 | 0 | 0 | 188 |3231k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
1736.89/1737.79 c 1738s| 5140k| 463 | 6419 | 0.0 | 10M| 512 | - | 607 | 958 | 0 | 0 | 188 |3237k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
1740.29/1741.14 c 1741s| 5150k| 466 | 6419 | 0.0 | 10M| 512 | - | 607 | 958 | 0 | 0 | 188 |3244k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
1743.79/1744.62 c 1745s| 5160k| 465 | 6419 | 0.0 | 10M| 512 | - | 607 | 958 | 0 | 0 | 188 |3250k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
1747.09/1747.94 c 1748s| 5170k| 466 | 6419 | 0.0 | 10M| 512 | - | 607 | 958 | 0 | 0 | 188 |3256k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
1750.48/1751.30 c 1751s| 5180k| 459 | 6419 | 0.0 | 10M| 512 | - | 607 | 958 | 0 | 0 | 188 |3262k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
1753.69/1754.55 c 1755s| 5190k| 466 | 6419 | 0.0 | 10M| 512 | - | 607 | 958 | 0 | 0 | 188 |3268k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
1756.99/1757.87 c 1758s| 5200k| 462 | 6419 | 0.0 | 10M| 512 | - | 607 | 958 | 0 | 0 | 188 |3275k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
1760.38/1761.23 c 1761s| 5210k| 470 | 6419 | 0.0 | 10M| 512 | - | 607 | 958 | 0 | 0 | 188 |3281k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
1763.68/1764.55 c 1765s| 5220k| 469 | 6419 | 0.0 | 10M| 512 | - | 607 | 958 | 0 | 0 | 188 |3287k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
1766.89/1767.72 c 1768s| 5230k| 462 | 6419 | 0.0 | 10M| 512 | - | 607 | 958 | 0 | 0 | 188 |3293k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
1770.09/1770.92 c 1771s| 5240k| 465 | 6419 | 0.0 | 10M| 512 | - | 607 | 958 | 0 | 0 | 188 |3299k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
1773.38/1774.28 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1773.38/1774.28 c 1774s| 5250k| 462 | 6419 | 0.0 | 10M| 512 | - | 607 | 958 | 0 | 0 | 188 |3306k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
1776.68/1777.54 c 1778s| 5260k| 466 | 6419 | 0.0 | 10M| 512 | - | 607 | 958 | 0 | 0 | 188 |3312k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
1780.48/1781.30 c 1781s| 5270k| 467 | 6419 | 0.0 | 10M| 512 | - | 607 | 958 | 0 | 0 | 188 |3318k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
1783.87/1784.76 c 1785s| 5280k| 463 | 6419 | 0.0 | 10M| 512 | - | 607 | 958 | 0 | 0 | 188 |3324k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
1787.27/1788.17 c 1788s| 5290k| 466 | 6419 | 0.0 | 10M| 512 | - | 607 | 958 | 0 | 0 | 188 |3331k| 25 | 4.648028e+01 | 5.300000e+01 | 14.03%
1789.17/1790.01 c
1789.17/1790.01 c SCIP Status : solving was interrupted [time limit reached]
1789.17/1790.01 c Solving Time (sec) : 1789.98
1789.17/1790.01 c Solving Nodes : 5295554
1789.17/1790.01 c Primal Bound : +5.30000000000000e+01 (6 solutions)
1789.17/1790.01 c Dual Bound : +4.64802789802790e+01
1789.17/1790.01 c Gap : 14.03 %
1789.17/1790.02 s SATISFIABLE
1789.17/1790.02 v -x607 -x606 -x605 -x604 -x603 -x602 -x601 -x600 -x599 -x598 -x597 -x596 -x595 -x594 -x593 -x592 -x591 -x590 -x589 -x588 -x587 -x586
1789.17/1790.02 v -x585 -x584 -x583 -x582 -x581 -x580 -x579 -x578 -x577 x576 -x575 -x574 -x573 -x572 -x571 -x570 -x569 -x568 -x567 x566 -x565
1789.17/1790.02 v -x564 -x563 -x562 -x561 -x560 -x559 -x558 -x557 -x556 -x555 -x554 -x553 -x552 -x551 -x550 -x549 -x548 -x547 -x546 -x545 -x544
1789.17/1790.02 v -x543 -x542 x541 -x540 -x539 -x538 -x537 -x536 -x535 -x534 -x533 -x532 -x531 -x530 -x529 -x528 -x527 -x526 -x525 -x524 -x523
1789.17/1790.02 v -x522 -x521 -x520 -x519 -x518 -x517 x516 -x515 -x514 -x513 -x512 -x511 -x510 -x509 -x508 -x507 -x506 -x505 -x504 -x503 -x502
1789.17/1790.02 v -x501 -x500 -x499 -x498 -x497 x496 -x495 -x494 -x493 -x492 -x491 -x490 -x489 -x488 -x487 -x486 x485 -x484 -x483 -x482 -x481
1789.17/1790.02 v -x480 -x479 -x478 -x477 -x476 -x475 -x474 -x473 -x472 -x471 -x470 -x469 -x468 -x467 -x466 -x465 -x464 -x463 -x462 -x461 -x460
1789.17/1790.02 v x459 -x458 -x457 -x456 -x455 -x454 -x453 -x452 -x451 -x450 -x449 -x448 -x447 -x446 -x445 -x444 -x443 -x442 -x441 -x440 -x439
1789.17/1790.02 v -x438 -x437 x436 -x435 -x434 -x433 -x432 -x431 -x430 -x429 -x428 -x427 -x426 -x425 -x424 -x423 -x422 x421 -x420 -x419 -x418
1789.17/1790.02 v -x417 -x416 x415 -x414 -x413 -x412 -x411 -x410 x409 -x408 -x407 -x406 -x405 -x404 -x403 -x402 -x401 -x400 -x399 -x398 -x397
1789.17/1790.02 v -x396 -x395 -x394 -x393 -x392 -x391 x390 x389 -x388 -x387 -x386 -x385 -x384 -x383 -x382 -x381 x380 -x379 -x378 -x377 -x376
1789.17/1790.02 v -x375 -x374 -x373 -x372 -x371 -x370 -x369 -x368 -x367 -x366 -x365 -x364 -x363 -x362 -x361 -x360 -x359 -x358 -x357 -x356 -x355
1789.17/1790.02 v -x354 -x353 -x352 -x351 -x350 -x349 -x348 -x347 -x346 -x345 -x344 -x343 -x342 -x341 -x340 -x339 x338 x337 -x336 -x335 -x334
1789.17/1790.02 v -x333 -x332 -x331 -x330 -x329 -x328 -x327 -x326 -x325 -x324 -x323 -x322 -x321 -x320 -x319 -x318 -x317 -x316 -x315 -x314 -x313
1789.17/1790.02 v x312 -x311 -x310 -x309 -x308 -x307 -x306 x305 -x304 -x303 -x302 -x301 -x300 -x299 -x298 -x297 -x296 -x295 -x294 -x293 -x292
1789.17/1790.02 v -x291 -x290 -x289 -x288 -x287 -x286 -x285 -x284 -x283 -x282 -x281 -x280 -x279 -x278 -x277 -x276 x275 -x274 -x273 -x272 -x271
1789.17/1790.02 v -x270 -x269 x268 -x267 -x266 -x265 -x264 -x263 -x262 -x261 -x260 -x259 -x258 -x257 -x256 -x255 -x254 -x253 -x252 -x251 -x250
1789.17/1790.02 v x249 -x248 -x247 -x246 -x245 -x244 x243 -x242 -x241 x240 -x239 -x238 -x237 -x236 -x235 -x234 -x233 -x232 -x231 -x230 -x229 -x228
1789.17/1790.02 v x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217 x216 -x215 -x214 -x213 -x212 -x211 -x210 -x209 -x208 -x207
1789.17/1790.02 v -x206 -x205 x204 -x203 -x202 -x201 -x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189 -x188 -x187 -x186
1789.17/1790.02 v -x185 -x184 -x183 -x182 -x181 x180 -x179 -x178 -x177 -x176 -x175 -x174 -x173 x172 -x171 -x170 -x169 -x168 -x167 -x166 -x165
1789.17/1790.02 v x164 -x163 x162 -x161 x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 x152 -x151 -x150 -x149 -x148 -x147 -x146 -x145 -x144
1789.17/1790.02 v -x143 -x142 -x141 -x140 x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126 -x125 -x124 -x123
1789.17/1790.02 v -x122 x121 -x120 -x119 x118 -x117 -x116 -x115 -x114 -x113 x112 -x111 x110 -x109 -x108 -x107 -x106 -x105 -x104 -x103 -x102 -x101
1789.17/1790.02 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
1789.17/1790.02 v -x75 x74 -x73 -x72 -x71 -x70 -x69 x68 -x67 x66 -x65 -x64 -x63 -x62 x61 -x60 -x59 -x58 -x57 -x56 -x55 -x54 -x53 -x52 x51 -x50
1789.17/1790.02 v -x49 -x48 x47 -x46 -x45 -x44 -x43 -x42 -x41 -x40 -x39 -x38 x37 -x36 -x35 -x34 -x33 -x32 -x31 -x30 -x29 -x28 x27 -x26 -x25 -x24
1789.17/1790.02 v -x23 -x22 -x21 -x20 -x19 -x18 -x17 -x16 x15 -x14 -x13 x12 x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2 x1
1789.17/1790.02 c SCIP Status : solving was interrupted [time limit reached]
1789.17/1790.02 c Solving Time : 1789.98
1789.17/1790.02 c Original Problem :
1789.17/1790.02 c Problem name : HOME/instance-2703797-1278553600.opb
1789.17/1790.02 c Variables : 607 (607 binary, 0 integer, 0 implicit integer, 0 continuous)
1789.17/1790.02 c Constraints : 1022 initial, 1022 maximal
1789.17/1790.02 c Presolved Problem :
1789.17/1790.02 c Problem name : t_HOME/instance-2703797-1278553600.opb
1789.17/1790.02 c Variables : 607 (607 binary, 0 integer, 0 implicit integer, 0 continuous)
1789.17/1790.02 c Constraints : 958 initial, 965 maximal
1789.17/1790.02 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1789.17/1790.02 c trivial : 0.00 0 0 0 0 0 0 0 0
1789.17/1790.02 c dualfix : 0.00 0 0 0 0 0 0 0 0
1789.17/1790.02 c boundshift : 0.00 0 0 0 0 0 0 0 0
1789.17/1790.02 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1789.17/1790.02 c implics : 0.00 0 0 0 0 0 0 0 0
1789.17/1790.02 c probing : 0.01 0 0 0 0 0 0 0 0
1789.17/1790.02 c linear : 0.02 0 0 0 0 0 64 0 0
1789.17/1790.02 c logicor : 0.03 0 0 0 0 0 0 0 0
1789.17/1790.02 c root node : - 0 - - 0 - - - -
1789.17/1790.02 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1789.17/1790.02 c integral : 0 0 0 1 0 0 0 0 0 2
1789.17/1790.02 c logicor : 958+ 25 9633142 0 0 2304702 11412893 0 0 0
1789.17/1790.02 c countsols : 0 0 0 0 0 0 0 0 0 0
1789.17/1790.02 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1789.17/1790.02 c integral : 0.97 0.00 0.00 0.97 0.00
1789.17/1790.02 c logicor : 696.45 0.00 696.45 0.00 0.00
1789.17/1790.02 c countsols : 0.00 0.00 0.00 0.00 0.00
1789.17/1790.02 c Propagators : Time Calls Cutoffs DomReds
1789.17/1790.02 c vbounds : 5.58 2 0 0
1789.17/1790.02 c rootredcost : 5.73 0 0 0
1789.17/1790.02 c pseudoobj : 708.38 17125898 1031243 94027472
1789.17/1790.02 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1789.17/1790.02 c propagation : 857.83 3333306 3333306 3333306 121.9 4616 106.7 -
1789.17/1790.02 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1789.17/1790.02 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1789.17/1790.02 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1789.17/1790.02 c pseudo solution : 0.32 1325 1325 1325 101.6 4 68.0 -
1789.17/1790.02 c applied globally : - - - 235979 55.5 - - -
1789.17/1790.02 c applied locally : - - - 3098664 127.0 - - -
1789.17/1790.02 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1789.17/1790.02 c cut pool : 0.05 24 - - 223 - (maximal pool size: 2417)
1789.17/1790.02 c redcost : 0.00 25 0 0 0 0
1789.17/1790.02 c impliedbounds : 0.00 25 0 0 0 0
1789.17/1790.02 c intobj : 0.00 0 0 0 0 0
1789.17/1790.02 c cgmip : 0.00 0 0 0 0 0
1789.17/1790.02 c gomory : 2.46 25 0 0 7917 0
1789.17/1790.02 c strongcg : 1.59 20 0 0 8139 0
1789.17/1790.02 c cmir : 0.19 10 0 0 13 0
1789.17/1790.02 c flowcover : 0.29 10 0 0 20 0
1789.17/1790.02 c clique : 0.00 1 0 0 0 0
1789.17/1790.02 c zerohalf : 0.00 0 0 0 0 0
1789.17/1790.02 c mcf : 0.00 1 0 0 0 0
1789.17/1790.02 c rapidlearning : 0.00 0 0 0 0 0
1789.17/1790.02 c Pricers : Time Calls Vars
1789.17/1790.02 c problem variables: 0.00 0 0
1789.17/1790.02 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1789.17/1790.02 c relpscost : 0.97 1 0 0 0 0 2
1789.17/1790.02 c pscost : 0.00 0 0 0 0 0 0
1789.17/1790.02 c inference : 64.87 3586526 0 0 0 0 7173052
1789.17/1790.02 c mostinf : 0.00 0 0 0 0 0 0
1789.17/1790.02 c leastinf : 0.00 0 0 0 0 0 0
1789.17/1790.02 c fullstrong : 0.00 0 0 0 0 0 0
1789.17/1790.02 c allfullstrong : 0.00 0 0 0 0 0 0
1789.17/1790.02 c random : 0.00 0 0 0 0 0 0
1789.17/1790.02 c Primal Heuristics : Time Calls Found
1789.17/1790.02 c LP solutions : 0.00 - 0
1789.17/1790.02 c pseudo solutions : 0.00 - 0
1789.17/1790.02 c crossover : 0.00 0 0
1789.17/1790.02 c oneopt : 2.05 3 1
1789.17/1790.02 c trivial : 0.00 2 4
1789.17/1790.02 c simplerounding : 0.00 0 0
1789.17/1790.02 c zirounding : 0.00 1 0
1789.17/1790.02 c rounding : 0.03 26 0
1789.17/1790.02 c shifting : 0.04 26 0
1789.17/1790.02 c intshifting : 0.00 0 0
1789.17/1790.02 c twoopt : 0.00 0 0
1789.17/1790.02 c fixandinfer : 0.00 0 0
1789.17/1790.02 c feaspump : 0.00 0 0
1789.17/1790.02 c coefdiving : 0.00 0 0
1789.17/1790.02 c pscostdiving : 0.00 0 0
1789.17/1790.02 c fracdiving : 0.00 0 0
1789.17/1790.02 c veclendiving : 0.00 0 0
1789.17/1790.02 c intdiving : 0.00 0 0
1789.17/1790.02 c actconsdiving : 0.00 0 0
1789.17/1790.02 c objpscostdiving : 0.00 0 0
1789.17/1790.02 c rootsoldiving : 0.00 0 0
1789.17/1790.02 c linesearchdiving : 0.00 0 0
1789.17/1790.02 c guideddiving : 0.00 0 0
1789.17/1790.02 c octane : 0.00 0 0
1789.17/1790.02 c rens : 1.09 1 1
1789.17/1790.02 c rins : 0.00 0 0
1789.17/1790.02 c localbranching : 0.00 0 0
1789.17/1790.02 c mutation : 0.00 0 0
1789.17/1790.02 c dins : 0.00 0 0
1789.17/1790.02 c undercover : 0.00 0 0
1789.17/1790.02 c nlp : 1.67 0 0
1789.17/1790.02 c trysol : 1.46 0 0
1789.17/1790.02 c LP : Time Calls Iterations Iter/call Iter/sec
1789.17/1790.02 c primal LP : 0.01 0 0 0.00 -
1789.17/1790.02 c dual LP : 1.73 26 6419 246.88 3719.02
1789.17/1790.02 c lex dual LP : 0.00 0 0 0.00 -
1789.17/1790.02 c barrier LP : 0.00 0 0 0.00 -
1789.17/1790.02 c diving/probing LP: 0.00 0 0 0.00 -
1789.17/1790.02 c strong branching : 0.96 25 3163 126.52 3277.74
1789.17/1790.02 c (at root node) : - 25 3163 126.52 -
1789.17/1790.02 c conflict analysis: 0.00 0 0 0.00 -
1789.17/1790.02 c B&B Tree :
1789.17/1790.02 c number of runs : 1
1789.17/1790.02 c nodes : 5295554
1789.17/1790.02 c nodes (total) : 5295554
1789.17/1790.02 c nodes left : 463
1789.17/1790.02 c max depth : 512
1789.17/1790.02 c max depth (total): 512
1789.17/1790.02 c backtracks : 1890260 (35.7%)
1789.17/1790.02 c delayed cutoffs : 1876779
1789.17/1790.02 c repropagations : 3486648 (54415468 domain reductions, 1628243 cutoffs)
1789.17/1790.02 c avg switch length: 2.26
1789.17/1790.02 c switching time : 115.44
1789.17/1790.02 c Solution :
1789.17/1790.02 c Solutions found : 6 (5 improvements)
1789.17/1790.02 c First Solution : +6.07000000000000e+02 (in run 1, after 0 nodes, 0.01 seconds, depth 0, found by <trivial>)
1789.17/1790.02 c Primal Bound : +5.30000000000000e+01 (in run 1, after 1 nodes, 7.43 seconds, depth 0, found by <rens>)
1789.17/1790.02 c Dual Bound : +4.64802789802790e+01
1789.17/1790.02 c Gap : 14.03 %
1789.17/1790.02 c Root Dual Bound : +4.64629629629630e+01
1789.17/1790.02 c Root Iterations : 6419
1789.17/1790.04 c Time complete: 1789.22.