0.00/0.01 c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.4.2] [Expressions interpreter: NONE]
0.00/0.01 c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.01 c
0.00/0.01 c user parameter file <scip.set> not found - using default parameters
0.00/0.01 c reading problem <HOME/instance-2667050-1276414919.opb>
0.00/0.04 c original problem has 607 variables (607 bin, 0 int, 0 impl, 0 cont) and 1022 constraints
0.00/0.04 c problem read
0.00/0.04 c presolving settings loaded
0.00/0.05 o 607
0.00/0.05 o 542
0.00/0.05 c feasible solution found by trivial heuristic, objective value 5.420000e+02
0.00/0.05 c presolving:
0.06/0.09 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.09/0.10 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.09/0.11 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.12 c (0.1s) probing: 101/607 (16.6%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.09/0.12 c (0.1s) probing aborted: 100/100 successive totally useless probings
0.09/0.12 c presolving (4 rounds):
0.09/0.12 c 0 deleted vars, 64 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.09/0.12 c 0 implications, 0 cliques
0.09/0.12 c presolved problem has 607 variables (607 bin, 0 int, 0 impl, 0 cont) and 958 constraints
0.09/0.12 c 958 constraints of type <logicor>
0.09/0.12 c transformed objective value is always integral (scale: 1)
0.09/0.12 c Presolving Time: 0.06
0.09/0.12 c - non default parameters ----------------------------------------------------------------------
0.09/0.12 c # SCIP version 1.2.1.2
0.09/0.12 c
0.09/0.12 c # maximal number of intermediate conflict constraints generated in conflict graph (-1: use every intermediate constraint)
0.09/0.12 c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.12 c conflict/interconss = 0
0.09/0.12 c
0.09/0.12 c # should binary conflicts be preferred?
0.09/0.12 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.12 c conflict/preferbinary = TRUE
0.09/0.12 c
0.09/0.12 c # maximum age an unnecessary constraint can reach before it is deleted (0: dynamic, -1: keep all constraints)
0.09/0.12 c # [type: int, range: [-1,2147483647], default: 0]
0.09/0.12 c constraints/agelimit = 1
0.09/0.12 c
0.09/0.12 c # should enforcement of pseudo solution be disabled?
0.09/0.12 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.12 c constraints/disableenfops = TRUE
0.09/0.12 c
0.09/0.12 c # frequency for displaying node information lines
0.09/0.12 c # [type: int, range: [-1,2147483647], default: 100]
0.09/0.12 c display/freq = 10000
0.09/0.12 c
0.09/0.12 c # maximal time in seconds to run
0.09/0.12 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.12 c limits/time = 1799.97
0.09/0.12 c
0.09/0.12 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.09/0.12 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.12 c limits/memory = 1620
0.09/0.12 c
0.09/0.12 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.09/0.12 c # [type: int, range: [-1,2147483647], default: 1]
0.09/0.12 c lp/solvefreq = 0
0.09/0.12 c
0.09/0.12 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.12 c # [type: char, range: {lafpsqd}, default: l]
0.09/0.12 c lp/pricing = a
0.09/0.12 c
0.09/0.12 c # should presolving try to simplify inequalities
0.09/0.12 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.12 c constraints/linear/simplifyinequalities = TRUE
0.09/0.12 c
0.09/0.12 c # should presolving try to simplify knapsacks
0.09/0.12 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.12 c constraints/knapsack/simplifyinequalities = TRUE
0.09/0.12 c
0.09/0.12 c # priority of node selection rule <dfs> in standard mode
0.09/0.12 c # [type: int, range: [-536870912,536870911], default: 0]
0.09/0.12 c nodeselection/dfs/stdpriority = 1000000
0.09/0.12 c
0.09/0.12 c -----------------------------------------------------------------------------------------------
0.09/0.12 c start solving
0.09/0.12 c
0.09/0.12 o 425
0.09/0.12 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.12 c t 0.1s| 1 | 0 | 0 | - |2423k| 0 | - | 607 | 958 | 0 | 0 | 0 | 0 | 0 | -- | 4.250000e+02 | Inf
0.09/0.13 o 67
0.09/0.13 c b 0.1s| 1 | 0 | 0 | - |3213k| 0 | - | 607 | 958 | 607 | 958 | 0 | 0 | 0 | -- | 6.700000e+01 | Inf
0.19/0.22 c 0.2s| 1 | 0 | 731 | - |3205k| 0 | 173 | 607 | 958 | 607 | 958 | 0 | 0 | 0 | 3.635417e+01 | 6.700000e+01 | 84.30%
0.39/0.44 c 0.4s| 1 | 0 | 895 | - |3754k| 0 | 193 | 607 | 958 | 607 | 969 | 11 | 0 | 0 | 3.751883e+01 | 6.700000e+01 | 78.58%
0.69/0.73 c 0.7s| 1 | 0 | 1076 | - |3989k| 0 | 197 | 607 | 958 | 607 | 979 | 21 | 0 | 0 | 3.881796e+01 | 6.700000e+01 | 72.60%
0.89/0.97 c 0.9s| 1 | 0 | 1273 | - |4127k| 0 | 184 | 607 | 958 | 607 | 987 | 29 | 0 | 0 | 4.017973e+01 | 6.700000e+01 | 66.75%
1.19/1.23 c 1.1s| 1 | 0 | 1501 | - |4519k| 0 | 177 | 607 | 958 | 607 | 999 | 41 | 0 | 0 | 4.108650e+01 | 6.700000e+01 | 63.07%
1.39/1.42 c 1.3s| 1 | 0 | 1722 | - |4841k| 0 | 195 | 607 | 958 | 607 |1012 | 54 | 0 | 0 | 4.195790e+01 | 6.700000e+01 | 59.68%
1.59/1.69 c 1.6s| 1 | 0 | 2052 | - |5257k| 0 | 169 | 607 | 958 | 607 |1024 | 66 | 0 | 0 | 4.283109e+01 | 6.700000e+01 | 56.43%
1.79/1.89 c 1.8s| 1 | 0 | 2242 | - |5493k| 0 | 173 | 607 | 958 | 607 |1034 | 76 | 0 | 0 | 4.305760e+01 | 6.700000e+01 | 55.61%
2.10/2.17 c 2.1s| 1 | 0 | 2427 | - |5910k| 0 | 178 | 607 | 958 | 607 |1046 | 88 | 0 | 0 | 4.362645e+01 | 6.700000e+01 | 53.58%
2.39/2.42 c 2.3s| 1 | 0 | 2619 | - |6364k| 0 | 172 | 607 | 958 | 607 |1055 | 97 | 0 | 0 | 4.410627e+01 | 6.700000e+01 | 51.91%
2.69/2.72 c 2.6s| 1 | 0 | 2885 | - |6583k| 0 | 186 | 607 | 958 | 607 |1064 | 106 | 0 | 0 | 4.426533e+01 | 6.700000e+01 | 51.36%
2.88/2.93 c 2.8s| 1 | 0 | 3002 | - |7059k| 0 | 169 | 607 | 958 | 607 |1072 | 115 | 0 | 0 | 4.434719e+01 | 6.700000e+01 | 51.08%
3.09/3.16 c 3.0s| 1 | 0 | 3146 | - |7670k| 0 | 173 | 607 | 958 | 607 |1079 | 122 | 0 | 0 | 4.470470e+01 | 6.700000e+01 | 49.87%
3.39/3.42 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
3.39/3.42 c 3.3s| 1 | 0 | 3313 | - |8170k| 0 | 185 | 607 | 958 | 607 |1086 | 129 | 0 | 0 | 4.516972e+01 | 6.700000e+01 | 48.33%
3.69/3.74 c 3.6s| 1 | 0 | 3664 | - |8444k| 0 | 182 | 607 | 958 | 607 |1092 | 135 | 0 | 0 | 4.547137e+01 | 6.700000e+01 | 47.35%
3.98/4.08 c 3.9s| 1 | 0 | 4006 | - |8605k| 0 | 191 | 607 | 958 | 607 |1098 | 141 | 0 | 0 | 4.563240e+01 | 6.700000e+01 | 46.83%
4.49/4.51 c 4.3s| 1 | 0 | 4518 | - |8816k| 0 | 192 | 607 | 958 | 607 |1105 | 148 | 0 | 0 | 4.591589e+01 | 6.700000e+01 | 45.92%
4.69/4.78 c 4.6s| 1 | 0 | 4806 | - |9210k| 0 | 181 | 607 | 958 | 607 |1090 | 157 | 0 | 0 | 4.593611e+01 | 6.700000e+01 | 45.85%
5.08/5.14 c 5.0s| 1 | 0 | 5193 | - |9402k| 0 | 193 | 607 | 958 | 607 |1097 | 164 | 0 | 0 | 4.602993e+01 | 6.700000e+01 | 45.56%
5.50/5.52 c 5.3s| 1 | 0 | 5522 | - |9597k| 0 | 170 | 607 | 958 | 607 |1105 | 172 | 0 | 0 | 4.646296e+01 | 6.700000e+01 | 44.20%
5.69/5.74 c 5.6s| 1 | 0 | 5575 | - |9703k| 0 | 183 | 607 | 958 | 607 |1109 | 176 | 0 | 0 | 4.646296e+01 | 6.700000e+01 | 44.20%
5.79/5.89 c 5.7s| 1 | 0 | 5646 | - |9713k| 0 | 176 | 607 | 958 | 607 |1112 | 179 | 0 | 0 | 4.646296e+01 | 6.700000e+01 | 44.20%
6.08/6.12 c 5.9s| 1 | 0 | 5955 | - |9735k| 0 | 167 | 607 | 958 | 607 |1114 | 181 | 0 | 0 | 4.646296e+01 | 6.700000e+01 | 44.20%
6.18/6.25 c 6.1s| 1 | 0 | 6006 | - |9747k| 0 | 175 | 607 | 958 | 607 |1082 | 183 | 0 | 0 | 4.646296e+01 | 6.700000e+01 | 44.20%
6.39/6.43 c 6.2s| 1 | 0 | 6168 | - |9750k| 0 | 177 | 607 | 958 | 607 |1083 | 184 | 0 | 0 | 4.646296e+01 | 6.700000e+01 | 44.20%
7.70/7.73 o 51
7.70/7.73 c E 7.5s| 1 | 0 | 6168 | - |9758k| 0 | 177 | 607 | 958 | 607 |1083 | 184 | 0 | 0 | 4.646296e+01 | 5.100000e+01 | 9.76%
7.70/7.74 c 7.5s| 1 | 0 | 6168 | - |9758k| 0 | 177 | 607 | 958 | 607 |1083 | 184 | 0 | 0 | 4.646296e+01 | 5.100000e+01 | 9.76%
7.88/7.94 c 7.7s| 1 | 0 | 6419 | - |9788k| 0 | 163 | 607 | 958 | 607 |1087 | 188 | 0 | 0 | 4.646296e+01 | 5.100000e+01 | 9.76%
8.89/8.94 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
8.89/8.94 c 8.6s| 1 | 2 | 6419 | - |9788k| 0 | 163 | 607 | 958 | 607 |1087 | 188 | 0 | 25 | 4.646296e+01 | 5.100000e+01 | 9.76%
12.49/12.50 c 12.0s| 10000 | 489 | 6419 | 0.0 | 10M| 510 | - | 607 | 958 | 0 | 0 | 188 |5978 | 25 | 4.648028e+01 | 5.100000e+01 | 9.72%
16.29/16.35 c 15.6s| 20000 | 488 | 6419 | 0.0 | 10M| 510 | - | 607 | 958 | 0 | 0 | 188 | 12k| 25 | 4.648028e+01 | 5.100000e+01 | 9.72%
20.79/20.86 c 19.9s| 30000 | 483 | 6419 | 0.0 | 10M| 510 | - | 607 | 958 | 0 | 0 | 188 | 19k| 25 | 4.648028e+01 | 5.100000e+01 | 9.72%
25.29/25.36 c 24.2s| 40000 | 482 | 6419 | 0.0 | 10M| 510 | - | 607 | 959 | 0 | 0 | 188 | 25k| 25 | 4.648028e+01 | 5.100000e+01 | 9.72%
28.78/28.85 c 27.4s| 50000 | 480 | 6419 | 0.0 | 10M| 510 | - | 607 | 958 | 0 | 0 | 188 | 32k| 25 | 4.648028e+01 | 5.100000e+01 | 9.72%
32.38/32.41 c 30.8s| 60000 | 482 | 6419 | 0.0 | 10M| 510 | - | 607 | 958 | 0 | 0 | 188 | 38k| 25 | 4.648028e+01 | 5.100000e+01 | 9.72%
35.87/35.96 c 34.1s| 70000 | 479 | 6419 | 0.0 | 10M| 510 | - | 607 | 958 | 0 | 0 | 188 | 44k| 25 | 4.648028e+01 | 5.100000e+01 | 9.72%
39.48/39.56 c 37.5s| 80000 | 482 | 6419 | 0.0 | 10M| 510 | - | 607 | 958 | 0 | 0 | 188 | 50k| 25 | 4.648028e+01 | 5.100000e+01 | 9.72%
43.27/43.34 c 41.1s| 90000 | 477 | 6419 | 0.0 | 10M| 510 | - | 607 | 958 | 0 | 0 | 188 | 57k| 25 | 4.648028e+01 | 5.100000e+01 | 9.72%
48.47/48.55 c 46.1s|100000 | 473 | 6419 | 0.0 | 10M| 510 | - | 607 | 958 | 0 | 0 | 188 | 63k| 25 | 4.648028e+01 | 5.100000e+01 | 9.72%
53.46/53.57 c 50.8s|110000 | 477 | 6419 | 0.0 | 10M| 510 | - | 607 | 958 | 0 | 0 | 188 | 70k| 25 | 4.648028e+01 | 5.100000e+01 | 9.72%
57.18/57.30 c 54.3s|120000 | 472 | 6419 | 0.0 | 10M| 510 | - | 607 | 958 | 0 | 0 | 188 | 76k| 25 | 4.648028e+01 | 5.100000e+01 | 9.72%
60.77/60.85 c 57.7s|130000 | 474 | 6419 | 0.0 | 10M| 510 | - | 607 | 958 | 0 | 0 | 188 | 83k| 25 | 4.648028e+01 | 5.100000e+01 | 9.72%
64.56/64.66 c 61.3s|140000 | 478 | 6419 | 0.0 | 10M| 510 | - | 607 | 958 | 0 | 0 | 188 | 89k| 25 | 4.648028e+01 | 5.100000e+01 | 9.72%
68.07/68.20 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
68.07/68.20 c 64.6s|150000 | 474 | 6419 | 0.0 | 10M| 510 | - | 607 | 958 | 0 | 0 | 188 | 95k| 25 | 4.648028e+01 | 5.100000e+01 | 9.72%
71.87/71.97 c 68.2s|160000 | 471 | 6419 | 0.0 | 10M| 510 | - | 607 | 958 | 0 | 0 | 188 | 102k| 25 | 4.648028e+01 | 5.100000e+01 | 9.72%
75.87/75.91 c 71.9s|170000 | 473 | 6419 | 0.0 | 10M| 510 | - | 607 | 958 | 0 | 0 | 188 | 108k| 25 | 4.648028e+01 | 5.100000e+01 | 9.72%
79.76/79.80 c 75.6s|180000 | 473 | 6419 | 0.0 | 10M| 510 | - | 607 | 958 | 0 | 0 | 188 | 115k| 25 | 4.648028e+01 | 5.100000e+01 | 9.72%
83.46/83.56 c 79.1s|190000 | 468 | 6419 | 0.0 | 10M| 510 | - | 607 | 958 | 0 | 0 | 188 | 121k| 25 | 4.648028e+01 | 5.100000e+01 | 9.72%
87.36/87.45 c 82.8s|200000 | 470 | 6419 | 0.0 | 10M| 510 | - | 607 | 958 | 0 | 0 | 188 | 128k| 25 | 4.648028e+01 | 5.100000e+01 | 9.72%
91.17/91.30 c 86.4s|210000 | 468 | 6419 | 0.0 | 10M| 510 | - | 607 | 958 | 0 | 0 | 188 | 134k| 25 | 4.648028e+01 | 5.100000e+01 | 9.72%
95.05/95.17 c 90.1s|220000 | 470 | 6419 | 0.0 | 10M| 510 | - | 607 | 958 | 0 | 0 | 188 | 140k| 25 | 4.648028e+01 | 5.100000e+01 | 9.72%
98.87/98.91 c 93.6s|230000 | 467 | 6419 | 0.0 | 10M| 510 | - | 607 | 958 | 0 | 0 | 188 | 147k| 25 | 4.648028e+01 | 5.100000e+01 | 9.72%
102.66/102.74 c 97.2s|240000 | 468 | 6419 | 0.0 | 10M| 510 | - | 607 | 958 | 0 | 0 | 188 | 153k| 25 | 4.648028e+01 | 5.100000e+01 | 9.72%
106.35/106.50 c 101s|250000 | 468 | 6419 | 0.0 | 10M| 510 | - | 607 | 958 | 0 | 0 | 188 | 159k| 25 | 4.648028e+01 | 5.100000e+01 | 9.72%
110.16/110.28 c 104s|260000 | 471 | 6419 | 0.0 | 10M| 510 | - | 607 | 958 | 0 | 0 | 188 | 165k| 25 | 4.648028e+01 | 5.100000e+01 | 9.72%
113.95/114.08 c 108s|270000 | 467 | 6419 | 0.0 | 10M| 510 | - | 607 | 958 | 0 | 0 | 188 | 172k| 25 | 4.648028e+01 | 5.100000e+01 | 9.72%
117.85/117.95 c 112s|280000 | 465 | 6419 | 0.0 | 10M| 510 | - | 607 | 958 | 0 | 0 | 188 | 178k| 25 | 4.648028e+01 | 5.100000e+01 | 9.72%
121.55/121.62 c 115s|290000 | 468 | 6419 | 0.0 | 10M| 510 | - | 607 | 958 | 0 | 0 | 188 | 184k| 25 | 4.648028e+01 | 5.100000e+01 | 9.72%
125.35/125.41 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
125.35/125.41 c 119s|300000 | 463 | 6419 | 0.0 | 10M| 510 | - | 607 | 958 | 0 | 0 | 188 | 191k| 25 | 4.648028e+01 | 5.100000e+01 | 9.72%
129.24/129.33 c 122s|310000 | 465 | 6419 | 0.0 | 10M| 510 | - | 607 | 958 | 0 | 0 | 188 | 197k| 25 | 4.648028e+01 | 5.100000e+01 | 9.72%
132.95/133.05 c 126s|320000 | 470 | 6419 | 0.0 | 10M| 510 | - | 607 | 958 | 0 | 0 | 188 | 204k| 25 | 4.648028e+01 | 5.100000e+01 | 9.72%
136.75/136.83 c 129s|330000 | 467 | 6419 | 0.0 | 10M| 510 | - | 607 | 958 | 0 | 0 | 188 | 210k| 25 | 4.648028e+01 | 5.100000e+01 | 9.72%
140.54/140.60 c 133s|340000 | 467 | 6419 | 0.0 | 10M| 510 | - | 607 | 958 | 0 | 0 | 188 | 216k| 25 | 4.648028e+01 | 5.100000e+01 | 9.72%
144.14/144.23 c 136s|350000 | 470 | 6419 | 0.0 | 10M| 510 | - | 607 | 958 | 0 | 0 | 188 | 223k| 25 | 4.648028e+01 | 5.100000e+01 | 9.72%
147.64/147.79 c 140s|360000 | 467 | 6419 | 0.0 | 10M| 510 | - | 607 | 958 | 0 | 0 | 188 | 229k| 25 | 4.648028e+01 | 5.100000e+01 | 9.72%
151.94/152.00 c 144s|370000 | 467 | 6419 | 0.0 | 10M| 510 | - | 607 | 958 | 0 | 0 | 188 | 235k| 25 | 4.648028e+01 | 5.100000e+01 | 9.72%
156.53/156.62 c 148s|380000 | 469 | 6419 | 0.0 | 10M| 510 | - | 607 | 958 | 0 | 0 | 188 | 242k| 25 | 4.648028e+01 | 5.100000e+01 | 9.72%
160.83/160.93 c 152s|390000 | 466 | 6419 | 0.0 | 10M| 510 | - | 607 | 959 | 0 | 0 | 188 | 248k| 25 | 4.648028e+01 | 5.100000e+01 | 9.72%
164.63/164.70 c 156s|400000 | 468 | 6419 | 0.0 | 10M| 510 | - | 607 | 958 | 0 | 0 | 188 | 255k| 25 | 4.648028e+01 | 5.100000e+01 | 9.72%
168.24/168.39 c 159s|410000 | 466 | 6419 | 0.0 | 10M| 510 | - | 607 | 958 | 0 | 0 | 188 | 261k| 25 | 4.648028e+01 | 5.100000e+01 | 9.72%
172.13/172.25 c 163s|420000 | 465 | 6419 | 0.0 | 10M| 510 | - | 607 | 958 | 0 | 0 | 188 | 268k| 25 | 4.648028e+01 | 5.100000e+01 | 9.72%
175.93/176.02 c 166s|430000 | 472 | 6419 | 0.0 | 10M| 510 | - | 607 | 958 | 0 | 0 | 188 | 274k| 25 | 4.648028e+01 | 5.100000e+01 | 9.72%
179.53/179.68 c 170s|440000 | 468 | 6419 | 0.0 | 10M| 510 | - | 607 | 958 | 0 | 0 | 188 | 281k| 25 | 4.648028e+01 | 5.100000e+01 | 9.72%
183.32/183.41 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
183.32/183.41 c 173s|450000 | 468 | 6419 | 0.0 | 10M| 510 | - | 607 | 958 | 0 | 0 | 188 | 287k| 25 | 4.648028e+01 | 5.100000e+01 | 9.72%
186.94/187.08 c 177s|460000 | 469 | 6419 | 0.0 | 10M| 510 | - | 607 | 958 | 0 | 0 | 188 | 293k| 25 | 4.648028e+01 | 5.100000e+01 | 9.72%
190.62/190.80 c 180s|470000 | 468 | 6419 | 0.0 | 10M| 510 | - | 607 | 958 | 0 | 0 | 188 | 299k| 25 | 4.648028e+01 | 5.100000e+01 | 9.72%
195.12/195.20 c 184s|480000 | 471 | 6419 | 0.0 | 10M| 510 | - | 607 | 958 | 0 | 0 | 188 | 306k| 25 | 4.648028e+01 | 5.100000e+01 | 9.72%
198.73/198.80 c 188s|490000 | 467 | 6419 | 0.0 | 10M| 510 | - | 607 | 958 | 0 | 0 | 188 | 312k| 25 | 4.648028e+01 | 5.100000e+01 | 9.72%
202.62/202.71 c 191s|500000 | 465 | 6419 | 0.0 | 10M| 510 | - | 607 | 958 | 0 | 0 | 188 | 319k| 25 | 4.648028e+01 | 5.100000e+01 | 9.72%
206.12/206.29 c 195s|510000 | 470 | 6419 | 0.0 | 10M| 510 | - | 607 | 958 | 0 | 0 | 188 | 325k| 25 | 4.648028e+01 | 5.100000e+01 | 9.72%
209.82/209.97 c 198s|520000 | 466 | 6419 | 0.0 | 10M| 510 | - | 607 | 958 | 0 | 0 | 188 | 331k| 25 | 4.648028e+01 | 5.100000e+01 | 9.72%
213.42/213.55 c 202s|530000 | 464 | 6419 | 0.0 | 10M| 510 | - | 607 | 958 | 0 | 0 | 188 | 337k| 25 | 4.648028e+01 | 5.100000e+01 | 9.72%
217.02/217.13 c 205s|540000 | 465 | 6419 | 0.0 | 10M| 510 | - | 607 | 958 | 0 | 0 | 188 | 343k| 25 | 4.648028e+01 | 5.100000e+01 | 9.72%
220.72/220.87 c 208s|550000 | 466 | 6419 | 0.0 | 10M| 510 | - | 607 | 958 | 0 | 0 | 188 | 350k| 25 | 4.648028e+01 | 5.100000e+01 | 9.72%
224.61/224.75 c 212s|560000 | 467 | 6419 | 0.0 | 10M| 510 | - | 607 | 958 | 0 | 0 | 188 | 356k| 25 | 4.648028e+01 | 5.100000e+01 | 9.72%
228.41/228.57 c 216s|570000 | 468 | 6419 | 0.0 | 10M| 510 | - | 607 | 958 | 0 | 0 | 188 | 363k| 25 | 4.648028e+01 | 5.100000e+01 | 9.72%
232.32/232.48 c 219s|580000 | 465 | 6419 | 0.0 | 10M| 510 | - | 607 | 958 | 0 | 0 | 188 | 369k| 25 | 4.648028e+01 | 5.100000e+01 | 9.72%
236.11/236.23 c 223s|590000 | 462 | 6419 | 0.0 | 10M| 510 | - | 607 | 958 | 0 | 0 | 188 | 375k| 25 | 4.648028e+01 | 5.100000e+01 | 9.72%
239.91/240.08 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
239.91/240.08 c 227s|600000 | 465 | 6419 | 0.0 | 10M| 510 | - | 607 | 958 | 0 | 0 | 188 | 382k| 25 | 4.648028e+01 | 5.100000e+01 | 9.72%
243.70/243.84 c 230s|610000 | 466 | 6419 | 0.0 | 10M| 510 | - | 607 | 958 | 0 | 0 | 188 | 388k| 25 | 4.648028e+01 | 5.100000e+01 | 9.72%
247.51/247.65 c 234s|620000 | 465 | 6419 | 0.0 | 10M| 510 | - | 607 | 958 | 0 | 0 | 188 | 394k| 25 | 4.648028e+01 | 5.100000e+01 | 9.72%
251.20/251.37 c 237s|630000 | 462 | 6419 | 0.0 | 10M| 510 | - | 607 | 958 | 0 | 0 | 188 | 401k| 25 | 4.648028e+01 | 5.100000e+01 | 9.72%
254.90/255.06 c 241s|640000 | 469 | 6419 | 0.0 | 10M| 510 | - | 607 | 958 | 0 | 0 | 188 | 407k| 25 | 4.648028e+01 | 5.100000e+01 | 9.72%
258.60/258.75 c 244s|650000 | 464 | 6419 | 0.0 | 10M| 510 | - | 607 | 958 | 0 | 0 | 188 | 413k| 25 | 4.648028e+01 | 5.100000e+01 | 9.72%
262.40/262.51 c 248s|660000 | 463 | 6419 | 0.0 | 10M| 510 | - | 607 | 958 | 0 | 0 | 188 | 419k| 25 | 4.648028e+01 | 5.100000e+01 | 9.72%
266.30/266.40 c 251s|670000 | 468 | 6419 | 0.0 | 10M| 510 | - | 607 | 958 | 0 | 0 | 188 | 426k| 25 | 4.648028e+01 | 5.100000e+01 | 9.72%
270.20/270.36 c 255s|680000 | 465 | 6419 | 0.0 | 10M| 510 | - | 607 | 958 | 0 | 0 | 188 | 433k| 25 | 4.648028e+01 | 5.100000e+01 | 9.72%
274.10/274.23 c 259s|690000 | 464 | 6419 | 0.0 | 10M| 510 | - | 607 | 958 | 0 | 0 | 188 | 439k| 25 | 4.648028e+01 | 5.100000e+01 | 9.72%
278.00/278.20 c 262s|700000 | 466 | 6419 | 0.0 | 10M| 510 | - | 607 | 958 | 0 | 0 | 188 | 445k| 25 | 4.648028e+01 | 5.100000e+01 | 9.72%
281.90/282.05 c 266s|710000 | 463 | 6419 | 0.0 | 10M| 510 | - | 607 | 958 | 0 | 0 | 188 | 452k| 25 | 4.648028e+01 | 5.100000e+01 | 9.72%
285.70/285.88 c 270s|720000 | 466 | 6419 | 0.0 | 10M| 510 | - | 607 | 958 | 0 | 0 | 188 | 458k| 25 | 4.648028e+01 | 5.100000e+01 | 9.72%
289.49/289.63 c 273s|730000 | 461 | 6419 | 0.0 | 10M| 510 | - | 607 | 958 | 0 | 0 | 188 | 465k| 25 | 4.648028e+01 | 5.100000e+01 | 9.72%
293.79/293.92 c 277s|740000 | 463 | 6419 | 0.0 | 10M| 510 | - | 607 | 958 | 0 | 0 | 188 | 471k| 25 | 4.648028e+01 | 5.100000e+01 | 9.72%
297.79/297.99 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
297.79/297.99 c 281s|750000 | 466 | 6419 | 0.0 | 10M| 510 | - | 607 | 958 | 0 | 0 | 188 | 478k| 25 | 4.648028e+01 | 5.100000e+01 | 9.72%
301.89/302.02 c 285s|760000 | 464 | 6419 | 0.0 | 10M| 510 | - | 607 | 958 | 0 | 0 | 188 | 484k| 25 | 4.648028e+01 | 5.100000e+01 | 9.72%
305.70/305.81 c 288s|770000 | 460 | 6419 | 0.0 | 10M| 510 | - | 607 | 959 | 0 | 0 | 188 | 491k| 25 | 4.648028e+01 | 5.100000e+01 | 9.72%
309.49/309.66 c 292s|780000 | 463 | 6419 | 0.0 | 10M| 510 | - | 607 | 958 | 0 | 0 | 188 | 497k| 25 | 4.648028e+01 | 5.100000e+01 | 9.72%
313.29/313.45 c 296s|790000 | 462 | 6419 | 0.0 | 10M| 510 | - | 607 | 959 | 0 | 0 | 188 | 504k| 25 | 4.648028e+01 | 5.100000e+01 | 9.72%
317.09/317.24 c 299s|800000 | 466 | 6419 | 0.0 | 10M| 510 | - | 607 | 958 | 0 | 0 | 188 | 510k| 25 | 4.648028e+01 | 5.100000e+01 | 9.72%
320.78/320.97 c 303s|810000 | 465 | 6419 | 0.0 | 10M| 510 | - | 607 | 959 | 0 | 0 | 188 | 516k| 25 | 4.648028e+01 | 5.100000e+01 | 9.72%
324.98/325.19 c 307s|820000 | 465 | 6419 | 0.0 | 10M| 510 | - | 607 | 958 | 0 | 0 | 188 | 523k| 25 | 4.648028e+01 | 5.100000e+01 | 9.72%
328.79/328.95 c 310s|830000 | 465 | 6419 | 0.0 | 10M| 510 | - | 607 | 958 | 0 | 0 | 188 | 529k| 25 | 4.648028e+01 | 5.100000e+01 | 9.72%
332.48/332.69 c 314s|840000 | 464 | 6419 | 0.0 | 10M| 510 | - | 607 | 958 | 0 | 0 | 188 | 536k| 25 | 4.648028e+01 | 5.100000e+01 | 9.72%
336.38/336.51 c 317s|850000 | 463 | 6419 | 0.0 | 10M| 510 | - | 607 | 958 | 0 | 0 | 188 | 542k| 25 | 4.648028e+01 | 5.100000e+01 | 9.72%
340.18/340.36 c 321s|860000 | 467 | 6419 | 0.0 | 10M| 510 | - | 607 | 958 | 0 | 0 | 188 | 548k| 25 | 4.648028e+01 | 5.100000e+01 | 9.72%
343.98/344.14 c 325s|870000 | 463 | 6419 | 0.0 | 10M| 510 | - | 607 | 958 | 0 | 0 | 188 | 554k| 25 | 4.648028e+01 | 5.100000e+01 | 9.72%
348.17/348.34 c 329s|880000 | 464 | 6419 | 0.0 | 10M| 510 | - | 607 | 958 | 0 | 0 | 188 | 561k| 25 | 4.648028e+01 | 5.100000e+01 | 9.72%
352.17/352.35 c 332s|890000 | 465 | 6419 | 0.0 | 10M| 510 | - | 607 | 958 | 0 | 0 | 188 | 567k| 25 | 4.648028e+01 | 5.100000e+01 | 9.72%
355.87/356.02 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
355.87/356.02 c 336s|900000 | 465 | 6419 | 0.0 | 10M| 510 | - | 607 | 958 | 0 | 0 | 188 | 574k| 25 | 4.648028e+01 | 5.100000e+01 | 9.72%
359.67/359.83 c 339s|910000 | 463 | 6419 | 0.0 | 10M| 510 | - | 607 | 959 | 0 | 0 | 188 | 580k| 25 | 4.648028e+01 | 5.100000e+01 | 9.72%
363.47/363.64 c 343s|920000 | 462 | 6419 | 0.0 | 10M| 510 | - | 607 | 958 | 0 | 0 | 188 | 586k| 25 | 4.648028e+01 | 5.100000e+01 | 9.72%
367.27/367.45 c 347s|930000 | 463 | 6419 | 0.0 | 10M| 510 | - | 607 | 958 | 0 | 0 | 188 | 593k| 25 | 4.648028e+01 | 5.100000e+01 | 9.72%
370.96/371.17 c 350s|940000 | 465 | 6419 | 0.0 | 10M| 510 | - | 607 | 958 | 0 | 0 | 188 | 599k| 25 | 4.648028e+01 | 5.100000e+01 | 9.72%
374.66/374.85 c 354s|950000 | 463 | 6419 | 0.0 | 10M| 510 | - | 607 | 958 | 0 | 0 | 188 | 605k| 25 | 4.648028e+01 | 5.100000e+01 | 9.72%
378.37/378.58 c 357s|960000 | 467 | 6419 | 0.0 | 10M| 510 | - | 607 | 958 | 0 | 0 | 188 | 611k| 25 | 4.648028e+01 | 5.100000e+01 | 9.72%
382.26/382.46 c 361s|970000 | 465 | 6419 | 0.0 | 10M| 510 | - | 607 | 958 | 0 | 0 | 188 | 618k| 25 | 4.648028e+01 | 5.100000e+01 | 9.72%
386.16/386.30 c 364s|980000 | 465 | 6419 | 0.0 | 10M| 510 | - | 607 | 958 | 0 | 0 | 188 | 624k| 25 | 4.648028e+01 | 5.100000e+01 | 9.72%
389.96/390.19 c 368s|990000 | 459 | 6419 | 0.0 | 10M| 510 | - | 607 | 958 | 0 | 0 | 188 | 630k| 25 | 4.648028e+01 | 5.100000e+01 | 9.72%
393.96/394.13 c 372s| 1000k| 466 | 6419 | 0.0 | 10M| 510 | - | 607 | 958 | 0 | 0 | 188 | 637k| 25 | 4.648028e+01 | 5.100000e+01 | 9.72%
397.76/397.92 c 375s| 1010k| 462 | 6419 | 0.0 | 10M| 510 | - | 607 | 958 | 0 | 0 | 188 | 643k| 25 | 4.648028e+01 | 5.100000e+01 | 9.72%
401.46/401.68 c 379s| 1020k| 462 | 6419 | 0.0 | 10M| 510 | - | 607 | 958 | 0 | 0 | 188 | 649k| 25 | 4.648028e+01 | 5.100000e+01 | 9.72%
405.36/405.50 c 382s| 1030k| 462 | 6419 | 0.0 | 10M| 510 | - | 607 | 958 | 0 | 0 | 188 | 656k| 25 | 4.648028e+01 | 5.100000e+01 | 9.72%
409.15/409.33 c 386s| 1040k| 461 | 6419 | 0.0 | 10M| 510 | - | 607 | 958 | 0 | 0 | 188 | 662k| 25 | 4.648028e+01 | 5.100000e+01 | 9.72%
412.95/413.16 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
412.95/413.16 c 390s| 1050k| 464 | 6419 | 0.0 | 10M| 510 | - | 607 | 958 | 0 | 0 | 188 | 668k| 25 | 4.648028e+01 | 5.100000e+01 | 9.72%
416.86/417.03 c 393s| 1060k| 463 | 6419 | 0.0 | 10M| 510 | - | 607 | 958 | 0 | 0 | 188 | 675k| 25 | 4.648028e+01 | 5.100000e+01 | 9.72%
421.35/421.50 c 398s| 1070k| 459 | 6419 | 0.0 | 10M| 510 | - | 607 | 958 | 0 | 0 | 188 | 681k| 25 | 4.648028e+01 | 5.100000e+01 | 9.72%
425.85/426.09 c 402s| 1080k| 464 | 6419 | 0.0 | 10M| 510 | - | 607 | 958 | 0 | 0 | 188 | 688k| 25 | 4.648028e+01 | 5.100000e+01 | 9.72%
430.65/430.83 c 406s| 1090k| 463 | 6419 | 0.0 | 10M| 510 | - | 607 | 958 | 0 | 0 | 188 | 694k| 25 | 4.648028e+01 | 5.100000e+01 | 9.72%
435.35/435.53 c 411s| 1100k| 464 | 6419 | 0.0 | 10M| 510 | - | 607 | 958 | 0 | 0 | 188 | 701k| 25 | 4.648028e+01 | 5.100000e+01 | 9.72%
440.34/440.50 c 416s| 1110k| 463 | 6419 | 0.0 | 10M| 510 | - | 607 | 958 | 0 | 0 | 188 | 708k| 25 | 4.648028e+01 | 5.100000e+01 | 9.72%
445.35/445.56 c 420s| 1120k| 465 | 6419 | 0.0 | 10M| 510 | - | 607 | 958 | 0 | 0 | 188 | 715k| 25 | 4.648028e+01 | 5.100000e+01 | 9.72%
449.65/449.84 c 424s| 1130k| 465 | 6419 | 0.0 | 10M| 510 | - | 607 | 958 | 0 | 0 | 188 | 721k| 25 | 4.648028e+01 | 5.100000e+01 | 9.72%
454.04/454.26 c 429s| 1140k| 460 | 6419 | 0.0 | 10M| 510 | - | 607 | 958 | 0 | 0 | 188 | 728k| 25 | 4.648028e+01 | 5.100000e+01 | 9.72%
459.14/459.34 c 433s| 1150k| 463 | 6419 | 0.0 | 10M| 510 | - | 607 | 958 | 0 | 0 | 188 | 735k| 25 | 4.648028e+01 | 5.100000e+01 | 9.72%
463.64/463.85 c 438s| 1160k| 464 | 6419 | 0.0 | 10M| 510 | - | 607 | 958 | 0 | 0 | 188 | 741k| 25 | 4.648028e+01 | 5.100000e+01 | 9.72%
467.74/467.94 c 442s| 1170k| 467 | 6419 | 0.0 | 10M| 510 | - | 607 | 958 | 0 | 0 | 188 | 748k| 25 | 4.648028e+01 | 5.100000e+01 | 9.72%
472.23/472.42 c 446s| 1180k| 463 | 6419 | 0.0 | 10M| 510 | - | 607 | 958 | 0 | 0 | 188 | 754k| 25 | 4.648028e+01 | 5.100000e+01 | 9.72%
476.93/477.10 c 450s| 1190k| 460 | 6419 | 0.0 | 10M| 510 | - | 607 | 958 | 0 | 0 | 188 | 761k| 25 | 4.648028e+01 | 5.100000e+01 | 9.72%
481.13/481.39 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
481.13/481.39 c 454s| 1200k| 462 | 6419 | 0.0 | 10M| 510 | - | 607 | 958 | 0 | 0 | 188 | 767k| 25 | 4.648028e+01 | 5.100000e+01 | 9.72%
485.53/485.71 c 458s| 1210k| 460 | 6419 | 0.0 | 10M| 510 | - | 607 | 958 | 0 | 0 | 188 | 774k| 25 | 4.648028e+01 | 5.100000e+01 | 9.72%
490.13/490.36 c 463s| 1220k| 463 | 6419 | 0.0 | 10M| 510 | - | 607 | 958 | 0 | 0 | 188 | 781k| 25 | 4.648028e+01 | 5.100000e+01 | 9.72%
494.83/495.08 c 467s| 1230k| 460 | 6419 | 0.0 | 10M| 510 | - | 607 | 958 | 0 | 0 | 188 | 787k| 25 | 4.648028e+01 | 5.100000e+01 | 9.72%
500.03/500.23 c 472s| 1240k| 461 | 6419 | 0.0 | 10M| 510 | - | 607 | 958 | 0 | 0 | 188 | 794k| 25 | 4.648028e+01 | 5.100000e+01 | 9.72%
505.12/505.34 c 477s| 1250k| 462 | 6419 | 0.0 | 10M| 510 | - | 607 | 958 | 0 | 0 | 188 | 801k| 25 | 4.648028e+01 | 5.100000e+01 | 9.72%
510.13/510.31 c 482s| 1260k| 461 | 6419 | 0.0 | 10M| 510 | - | 607 | 958 | 0 | 0 | 188 | 808k| 25 | 4.648028e+01 | 5.100000e+01 | 9.72%
515.02/515.22 c 486s| 1270k| 459 | 6419 | 0.0 | 10M| 510 | - | 607 | 958 | 0 | 0 | 188 | 815k| 25 | 4.648028e+01 | 5.100000e+01 | 9.72%
519.92/520.12 c 491s| 1280k| 462 | 6419 | 0.0 | 10M| 510 | - | 607 | 958 | 0 | 0 | 188 | 821k| 25 | 4.648028e+01 | 5.100000e+01 | 9.72%
525.02/525.20 c 496s| 1290k| 460 | 6419 | 0.0 | 10M| 510 | - | 607 | 958 | 0 | 0 | 188 | 828k| 25 | 4.648028e+01 | 5.100000e+01 | 9.72%
529.62/529.89 c 500s| 1300k| 460 | 6419 | 0.0 | 10M| 510 | - | 607 | 958 | 0 | 0 | 188 | 835k| 25 | 4.648028e+01 | 5.100000e+01 | 9.72%
533.61/533.83 c 504s| 1310k| 459 | 6419 | 0.0 | 10M| 510 | - | 607 | 958 | 0 | 0 | 188 | 841k| 25 | 4.648028e+01 | 5.100000e+01 | 9.72%
537.61/537.86 c 508s| 1320k| 461 | 6419 | 0.0 | 10M| 510 | - | 607 | 958 | 0 | 0 | 188 | 848k| 25 | 4.648028e+01 | 5.100000e+01 | 9.72%
542.41/542.61 c 512s| 1330k| 462 | 6419 | 0.0 | 10M| 510 | - | 607 | 958 | 0 | 0 | 188 | 854k| 25 | 4.648028e+01 | 5.100000e+01 | 9.72%
547.41/547.65 c 517s| 1340k| 461 | 6419 | 0.0 | 10M| 510 | - | 607 | 958 | 0 | 0 | 188 | 861k| 25 | 4.648028e+01 | 5.100000e+01 | 9.72%
552.41/552.62 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
552.41/552.62 c 522s| 1350k| 461 | 6419 | 0.0 | 10M| 510 | - | 607 | 958 | 0 | 0 | 188 | 868k| 25 | 4.648028e+01 | 5.100000e+01 | 9.72%
557.51/557.79 c 527s| 1360k| 458 | 6419 | 0.0 | 10M| 510 | - | 607 | 958 | 0 | 0 | 188 | 875k| 25 | 4.648028e+01 | 5.100000e+01 | 9.72%
562.20/562.45 c 531s| 1370k| 463 | 6419 | 0.0 | 10M| 510 | - | 607 | 958 | 0 | 0 | 188 | 881k| 25 | 4.648028e+01 | 5.100000e+01 | 9.72%
566.00/566.28 c 535s| 1380k| 459 | 6419 | 0.0 | 10M| 510 | - | 607 | 958 | 0 | 0 | 188 | 887k| 25 | 4.648028e+01 | 5.100000e+01 | 9.72%
569.90/570.15 c 539s| 1390k| 461 | 6419 | 0.0 | 10M| 510 | - | 607 | 958 | 0 | 0 | 188 | 894k| 25 | 4.648028e+01 | 5.100000e+01 | 9.72%
573.80/574.06 c 542s| 1400k| 461 | 6419 | 0.0 | 10M| 510 | - | 607 | 958 | 0 | 0 | 188 | 900k| 25 | 4.648028e+01 | 5.100000e+01 | 9.72%
577.49/577.78 c 546s| 1410k| 462 | 6419 | 0.0 | 10M| 510 | - | 607 | 958 | 0 | 0 | 188 | 907k| 25 | 4.648028e+01 | 5.100000e+01 | 9.72%
581.19/581.43 c 549s| 1420k| 457 | 6419 | 0.0 | 10M| 510 | - | 607 | 958 | 0 | 0 | 188 | 913k| 25 | 4.648028e+01 | 5.100000e+01 | 9.72%
585.00/585.22 c 553s| 1430k| 460 | 6419 | 0.0 | 10M| 510 | - | 607 | 958 | 0 | 0 | 188 | 919k| 25 | 4.648028e+01 | 5.100000e+01 | 9.72%
588.70/588.92 c 556s| 1440k| 460 | 6419 | 0.0 | 10M| 510 | - | 607 | 958 | 0 | 0 | 188 | 926k| 25 | 4.648028e+01 | 5.100000e+01 | 9.72%
592.30/592.57 c 560s| 1450k| 461 | 6419 | 0.0 | 10M| 510 | - | 607 | 958 | 0 | 0 | 188 | 932k| 25 | 4.648028e+01 | 5.100000e+01 | 9.72%
595.90/596.18 c 563s| 1460k| 456 | 6419 | 0.0 | 10M| 510 | - | 607 | 958 | 0 | 0 | 188 | 938k| 25 | 4.648028e+01 | 5.100000e+01 | 9.72%
599.69/599.93 c 567s| 1470k| 463 | 6419 | 0.0 | 10M| 510 | - | 607 | 958 | 0 | 0 | 188 | 945k| 25 | 4.648028e+01 | 5.100000e+01 | 9.72%
603.49/603.72 c 570s| 1480k| 459 | 6419 | 0.0 | 10M| 510 | - | 607 | 958 | 0 | 0 | 188 | 951k| 25 | 4.648028e+01 | 5.100000e+01 | 9.72%
607.08/607.37 c 574s| 1490k| 461 | 6419 | 0.0 | 10M| 510 | - | 607 | 958 | 0 | 0 | 188 | 957k| 25 | 4.648028e+01 | 5.100000e+01 | 9.72%
610.88/611.14 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
610.88/611.14 c 577s| 1500k| 460 | 6419 | 0.0 | 10M| 510 | - | 607 | 958 | 0 | 0 | 188 | 963k| 25 | 4.648028e+01 | 5.100000e+01 | 9.72%
614.59/614.82 c 581s| 1510k| 463 | 6419 | 0.0 | 10M| 510 | - | 607 | 958 | 0 | 0 | 188 | 970k| 25 | 4.648028e+01 | 5.100000e+01 | 9.72%
618.19/618.45 c 584s| 1520k| 464 | 6419 | 0.0 | 10M| 510 | - | 607 | 959 | 0 | 0 | 188 | 976k| 25 | 4.648028e+01 | 5.100000e+01 | 9.72%
621.78/622.01 c 587s| 1530k| 463 | 6419 | 0.0 | 10M| 510 | - | 607 | 958 | 0 | 0 | 188 | 982k| 25 | 4.648028e+01 | 5.100000e+01 | 9.72%
625.39/625.68 c 591s| 1540k| 460 | 6419 | 0.0 | 10M| 510 | - | 607 | 958 | 0 | 0 | 188 | 988k| 25 | 4.648028e+01 | 5.100000e+01 | 9.72%
629.08/629.39 c 594s| 1550k| 459 | 6419 | 0.0 | 10M| 510 | - | 607 | 958 | 0 | 0 | 188 | 994k| 25 | 4.648028e+01 | 5.100000e+01 | 9.72%
632.78/633.08 c 598s| 1560k| 458 | 6419 | 0.0 | 10M| 510 | - | 607 | 958 | 0 | 0 | 188 |1001k| 25 | 4.648028e+01 | 5.100000e+01 | 9.72%
636.48/636.70 c 601s| 1570k| 459 | 6419 | 0.0 | 10M| 510 | - | 607 | 958 | 0 | 0 | 188 |1007k| 25 | 4.648028e+01 | 5.100000e+01 | 9.72%
640.08/640.33 c 605s| 1580k| 461 | 6419 | 0.0 | 10M| 510 | - | 607 | 958 | 0 | 0 | 188 |1013k| 25 | 4.648028e+01 | 5.100000e+01 | 9.72%
643.67/643.97 c 608s| 1590k| 459 | 6419 | 0.0 | 10M| 510 | - | 607 | 958 | 0 | 0 | 188 |1019k| 25 | 4.648028e+01 | 5.100000e+01 | 9.72%
647.28/647.58 c 612s| 1600k| 462 | 6419 | 0.0 | 10M| 510 | - | 607 | 958 | 0 | 0 | 188 |1026k| 25 | 4.648028e+01 | 5.100000e+01 | 9.72%
650.88/651.20 c 615s| 1610k| 460 | 6419 | 0.0 | 10M| 510 | - | 607 | 958 | 0 | 0 | 188 |1032k| 25 | 4.648028e+01 | 5.100000e+01 | 9.72%
654.57/654.84 c 618s| 1620k| 460 | 6419 | 0.0 | 10M| 510 | - | 607 | 959 | 0 | 0 | 188 |1038k| 25 | 4.648028e+01 | 5.100000e+01 | 9.72%
658.18/658.46 c 622s| 1630k| 455 | 6419 | 0.0 | 10M| 510 | - | 607 | 958 | 0 | 0 | 188 |1045k| 25 | 4.648028e+01 | 5.100000e+01 | 9.72%
661.98/662.25 c 625s| 1640k| 458 | 6419 | 0.0 | 10M| 510 | - | 607 | 959 | 0 | 0 | 188 |1051k| 25 | 4.648028e+01 | 5.100000e+01 | 9.72%
666.28/666.50 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
666.28/666.50 c 629s| 1650k| 463 | 6419 | 0.0 | 10M| 510 | - | 607 | 958 | 0 | 0 | 188 |1057k| 25 | 4.648028e+01 | 5.100000e+01 | 9.72%
669.87/670.15 c 633s| 1660k| 458 | 6419 | 0.0 | 10M| 510 | - | 607 | 958 | 0 | 0 | 188 |1064k| 25 | 4.648028e+01 | 5.100000e+01 | 9.72%
673.46/673.79 c 636s| 1670k| 456 | 6419 | 0.0 | 10M| 510 | - | 607 | 958 | 0 | 0 | 188 |1070k| 25 | 4.648028e+01 | 5.100000e+01 | 9.72%
677.27/677.58 c 640s| 1680k| 460 | 6419 | 0.0 | 10M| 510 | - | 607 | 958 | 0 | 0 | 188 |1076k| 25 | 4.648028e+01 | 5.100000e+01 | 9.72%
681.26/681.55 c 644s| 1690k| 463 | 6419 | 0.0 | 10M| 510 | - | 607 | 958 | 0 | 0 | 188 |1082k| 25 | 4.648028e+01 | 5.100000e+01 | 9.72%
685.77/686.03 c 648s| 1700k| 462 | 6419 | 0.0 | 10M| 510 | - | 607 | 958 | 0 | 0 | 188 |1089k| 25 | 4.648028e+01 | 5.100000e+01 | 9.72%
689.96/690.22 c 652s| 1710k| 460 | 6419 | 0.0 | 10M| 510 | - | 607 | 958 | 0 | 0 | 188 |1095k| 25 | 4.648028e+01 | 5.100000e+01 | 9.72%
694.26/694.54 c 656s| 1720k| 463 | 6419 | 0.0 | 10M| 510 | - | 607 | 959 | 0 | 0 | 188 |1102k| 25 | 4.648028e+01 | 5.100000e+01 | 9.72%
698.36/698.60 c 660s| 1730k| 461 | 6419 | 0.0 | 10M| 510 | - | 607 | 958 | 0 | 0 | 188 |1108k| 25 | 4.648028e+01 | 5.100000e+01 | 9.72%
702.06/702.36 c 663s| 1740k| 460 | 6419 | 0.0 | 10M| 510 | - | 607 | 958 | 0 | 0 | 188 |1115k| 25 | 4.648028e+01 | 5.100000e+01 | 9.72%
705.96/706.21 c 667s| 1750k| 466 | 6419 | 0.0 | 10M| 510 | - | 607 | 958 | 0 | 0 | 188 |1121k| 25 | 4.648028e+01 | 5.100000e+01 | 9.72%
710.06/710.31 c 671s| 1760k| 462 | 6419 | 0.0 | 10M| 510 | - | 607 | 958 | 0 | 0 | 188 |1127k| 25 | 4.648028e+01 | 5.100000e+01 | 9.72%
714.05/714.39 c 675s| 1770k| 459 | 6419 | 0.0 | 10M| 510 | - | 607 | 958 | 0 | 0 | 188 |1134k| 25 | 4.648028e+01 | 5.100000e+01 | 9.72%
718.15/718.45 c 678s| 1780k| 464 | 6419 | 0.0 | 10M| 510 | - | 607 | 958 | 0 | 0 | 188 |1140k| 25 | 4.648028e+01 | 5.100000e+01 | 9.72%
721.95/722.27 c 682s| 1790k| 463 | 6419 | 0.0 | 10M| 510 | - | 607 | 958 | 0 | 0 | 188 |1146k| 25 | 4.648028e+01 | 5.100000e+01 | 9.72%
726.05/726.33 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
726.05/726.33 c 686s| 1800k| 460 | 6419 | 0.0 | 10M| 510 | - | 607 | 958 | 0 | 0 | 188 |1153k| 25 | 4.648028e+01 | 5.100000e+01 | 9.72%
730.16/730.48 c 690s| 1810k| 460 | 6419 | 0.0 | 10M| 510 | - | 607 | 958 | 0 | 0 | 188 |1159k| 25 | 4.648028e+01 | 5.100000e+01 | 9.72%
734.35/734.62 c 694s| 1820k| 460 | 6419 | 0.0 | 10M| 510 | - | 607 | 958 | 0 | 0 | 188 |1165k| 25 | 4.648028e+01 | 5.100000e+01 | 9.72%
738.24/738.57 c 697s| 1830k| 462 | 6419 | 0.0 | 10M| 510 | - | 607 | 959 | 0 | 0 | 188 |1172k| 25 | 4.648028e+01 | 5.100000e+01 | 9.72%
742.34/742.61 c 701s| 1840k| 464 | 6419 | 0.0 | 10M| 510 | - | 607 | 958 | 0 | 0 | 188 |1178k| 25 | 4.648028e+01 | 5.100000e+01 | 9.72%
746.55/746.88 c 705s| 1850k| 461 | 6419 | 0.0 | 10M| 510 | - | 607 | 958 | 0 | 0 | 188 |1184k| 25 | 4.648028e+01 | 5.100000e+01 | 9.72%
750.44/750.75 c 709s| 1860k| 463 | 6419 | 0.0 | 10M| 510 | - | 607 | 958 | 0 | 0 | 188 |1191k| 25 | 4.648028e+01 | 5.100000e+01 | 9.72%
754.04/754.35 c 712s| 1870k| 460 | 6419 | 0.0 | 10M| 510 | - | 607 | 958 | 0 | 0 | 188 |1197k| 25 | 4.648028e+01 | 5.100000e+01 | 9.72%
757.84/758.12 c 716s| 1880k| 461 | 6419 | 0.0 | 10M| 510 | - | 607 | 958 | 0 | 0 | 188 |1203k| 25 | 4.648028e+01 | 5.100000e+01 | 9.72%
761.74/762.01 c 720s| 1890k| 466 | 6419 | 0.0 | 10M| 510 | - | 607 | 958 | 0 | 0 | 188 |1209k| 25 | 4.648028e+01 | 5.100000e+01 | 9.72%
765.84/766.14 c 723s| 1900k| 462 | 6419 | 0.0 | 10M| 510 | - | 607 | 958 | 0 | 0 | 188 |1215k| 25 | 4.648028e+01 | 5.100000e+01 | 9.72%
769.84/770.11 c 727s| 1910k| 462 | 6419 | 0.0 | 10M| 510 | - | 607 | 958 | 0 | 0 | 188 |1222k| 25 | 4.648028e+01 | 5.100000e+01 | 9.72%
774.14/774.48 c 731s| 1920k| 461 | 6419 | 0.0 | 10M| 510 | - | 607 | 958 | 0 | 0 | 188 |1228k| 25 | 4.648028e+01 | 5.100000e+01 | 9.72%
778.64/778.92 c 736s| 1930k| 462 | 6419 | 0.0 | 10M| 510 | - | 607 | 958 | 0 | 0 | 188 |1235k| 25 | 4.648028e+01 | 5.100000e+01 | 9.72%
782.94/783.22 c 740s| 1940k| 461 | 6419 | 0.0 | 10M| 510 | - | 607 | 958 | 0 | 0 | 188 |1241k| 25 | 4.648028e+01 | 5.100000e+01 | 9.72%
787.53/787.89 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
787.53/787.89 c 744s| 1950k| 463 | 6419 | 0.0 | 10M| 510 | - | 607 | 958 | 0 | 0 | 188 |1248k| 25 | 4.648028e+01 | 5.100000e+01 | 9.72%
791.74/792.08 c 748s| 1960k| 460 | 6419 | 0.0 | 10M| 510 | - | 607 | 958 | 0 | 0 | 188 |1254k| 25 | 4.648028e+01 | 5.100000e+01 | 9.72%
796.43/796.71 c 752s| 1970k| 458 | 6419 | 0.0 | 10M| 510 | - | 607 | 958 | 0 | 0 | 188 |1261k| 25 | 4.648028e+01 | 5.100000e+01 | 9.72%
800.33/800.60 c 756s| 1980k| 460 | 6419 | 0.0 | 10M| 510 | - | 607 | 958 | 0 | 0 | 188 |1267k| 25 | 4.648028e+01 | 5.100000e+01 | 9.72%
804.02/804.30 c 760s| 1990k| 459 | 6419 | 0.0 | 10M| 510 | - | 607 | 959 | 0 | 0 | 188 |1273k| 25 | 4.648028e+01 | 5.100000e+01 | 9.72%
807.62/807.99 c 763s| 2000k| 460 | 6419 | 0.0 | 10M| 510 | - | 607 | 958 | 0 | 0 | 188 |1279k| 25 | 4.648028e+01 | 5.100000e+01 | 9.72%
811.33/811.64 c 766s| 2010k| 459 | 6419 | 0.0 | 10M| 510 | - | 607 | 958 | 0 | 0 | 188 |1286k| 25 | 4.648028e+01 | 5.100000e+01 | 9.72%
814.92/815.29 c 770s| 2020k| 458 | 6419 | 0.0 | 10M| 510 | - | 607 | 958 | 0 | 0 | 188 |1292k| 25 | 4.648028e+01 | 5.100000e+01 | 9.72%
818.62/818.99 c 773s| 2030k| 460 | 6419 | 0.0 | 10M| 510 | - | 607 | 958 | 0 | 0 | 188 |1298k| 25 | 4.648028e+01 | 5.100000e+01 | 9.72%
822.32/822.68 c 777s| 2040k| 457 | 6419 | 0.0 | 10M| 510 | - | 607 | 958 | 0 | 0 | 188 |1304k| 25 | 4.648028e+01 | 5.100000e+01 | 9.72%
826.01/826.33 c 780s| 2050k| 460 | 6419 | 0.0 | 10M| 510 | - | 607 | 958 | 0 | 0 | 188 |1311k| 25 | 4.648028e+01 | 5.100000e+01 | 9.72%
829.71/830.04 c 784s| 2060k| 456 | 6419 | 0.0 | 10M| 510 | - | 607 | 958 | 0 | 0 | 188 |1317k| 25 | 4.648028e+01 | 5.100000e+01 | 9.72%
833.42/833.80 c 787s| 2070k| 460 | 6419 | 0.0 | 10M| 510 | - | 607 | 958 | 0 | 0 | 188 |1323k| 25 | 4.648028e+01 | 5.100000e+01 | 9.72%
837.21/837.58 c 791s| 2080k| 462 | 6419 | 0.0 | 10M| 510 | - | 607 | 958 | 0 | 0 | 188 |1329k| 25 | 4.648028e+01 | 5.100000e+01 | 9.72%
840.91/841.29 c 794s| 2090k| 459 | 6419 | 0.0 | 10M| 510 | - | 607 | 958 | 0 | 0 | 188 |1335k| 25 | 4.648028e+01 | 5.100000e+01 | 9.72%
844.71/845.04 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
844.71/845.04 c 798s| 2100k| 457 | 6419 | 0.0 | 10M| 510 | - | 607 | 958 | 0 | 0 | 188 |1341k| 25 | 4.648028e+01 | 5.100000e+01 | 9.72%
848.61/848.97 c 802s| 2110k| 462 | 6419 | 0.0 | 10M| 510 | - | 607 | 958 | 0 | 0 | 188 |1347k| 25 | 4.648028e+01 | 5.100000e+01 | 9.72%
852.41/852.79 c 805s| 2120k| 459 | 6419 | 0.0 | 10M| 510 | - | 607 | 958 | 0 | 0 | 188 |1354k| 25 | 4.648028e+01 | 5.100000e+01 | 9.72%
856.11/856.48 c 809s| 2130k| 459 | 6419 | 0.0 | 10M| 510 | - | 607 | 958 | 0 | 0 | 188 |1360k| 25 | 4.648028e+01 | 5.100000e+01 | 9.72%
859.91/860.22 c 812s| 2140k| 458 | 6419 | 0.0 | 10M| 510 | - | 607 | 959 | 0 | 0 | 188 |1366k| 25 | 4.648028e+01 | 5.100000e+01 | 9.72%
863.51/863.88 c 816s| 2150k| 460 | 6419 | 0.0 | 10M| 510 | - | 607 | 958 | 0 | 0 | 188 |1372k| 25 | 4.648028e+01 | 5.100000e+01 | 9.72%
867.20/867.53 c 819s| 2160k| 462 | 6419 | 0.0 | 10M| 510 | - | 607 | 958 | 0 | 0 | 188 |1379k| 25 | 4.648028e+01 | 5.100000e+01 | 9.72%
871.10/871.40 c 823s| 2170k| 458 | 6419 | 0.0 | 10M| 510 | - | 607 | 958 | 0 | 0 | 188 |1385k| 25 | 4.648028e+01 | 5.100000e+01 | 9.72%
874.80/875.15 c 826s| 2180k| 460 | 6419 | 0.0 | 10M| 510 | - | 607 | 958 | 0 | 0 | 188 |1391k| 25 | 4.648028e+01 | 5.100000e+01 | 9.72%
878.61/878.90 c 830s| 2190k| 459 | 6419 | 0.0 | 10M| 510 | - | 607 | 958 | 0 | 0 | 188 |1398k| 25 | 4.648028e+01 | 5.100000e+01 | 9.72%
882.30/882.65 c 833s| 2200k| 456 | 6419 | 0.0 | 10M| 510 | - | 607 | 958 | 0 | 0 | 188 |1404k| 25 | 4.648028e+01 | 5.100000e+01 | 9.72%
886.00/886.37 c 837s| 2210k| 461 | 6419 | 0.0 | 10M| 510 | - | 607 | 958 | 0 | 0 | 188 |1410k| 25 | 4.648028e+01 | 5.100000e+01 | 9.72%
889.90/890.28 c 841s| 2220k| 459 | 6419 | 0.0 | 10M| 510 | - | 607 | 958 | 0 | 0 | 188 |1417k| 25 | 4.648028e+01 | 5.100000e+01 | 9.72%
893.70/894.03 c 844s| 2230k| 458 | 6419 | 0.0 | 10M| 510 | - | 607 | 959 | 0 | 0 | 188 |1423k| 25 | 4.648028e+01 | 5.100000e+01 | 9.72%
897.49/897.83 c 848s| 2240k| 461 | 6419 | 0.0 | 10M| 510 | - | 607 | 960 | 0 | 0 | 188 |1429k| 25 | 4.648028e+01 | 5.100000e+01 | 9.72%
901.09/901.49 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
901.09/901.49 c 851s| 2250k| 460 | 6419 | 0.0 | 10M| 510 | - | 607 | 958 | 0 | 0 | 188 |1435k| 25 | 4.648028e+01 | 5.100000e+01 | 9.72%
904.80/905.14 c 855s| 2260k| 458 | 6419 | 0.0 | 10M| 510 | - | 607 | 958 | 0 | 0 | 188 |1442k| 25 | 4.648028e+01 | 5.100000e+01 | 9.72%
908.49/908.87 c 858s| 2270k| 460 | 6419 | 0.0 | 10M| 510 | - | 607 | 958 | 0 | 0 | 188 |1448k| 25 | 4.648028e+01 | 5.100000e+01 | 9.72%
912.28/912.62 c 862s| 2280k| 457 | 6419 | 0.0 | 10M| 510 | - | 607 | 958 | 0 | 0 | 188 |1454k| 25 | 4.648028e+01 | 5.100000e+01 | 9.72%
915.99/916.34 c 865s| 2290k| 460 | 6419 | 0.0 | 10M| 510 | - | 607 | 958 | 0 | 0 | 188 |1460k| 25 | 4.648028e+01 | 5.100000e+01 | 9.72%
919.69/920.06 c 869s| 2300k| 459 | 6419 | 0.0 | 10M| 510 | - | 607 | 958 | 0 | 0 | 188 |1467k| 25 | 4.648028e+01 | 5.100000e+01 | 9.72%
923.49/923.80 c 872s| 2310k| 460 | 6419 | 0.0 | 10M| 510 | - | 607 | 958 | 0 | 0 | 188 |1473k| 25 | 4.648028e+01 | 5.100000e+01 | 9.72%
927.28/927.60 c 876s| 2320k| 461 | 6419 | 0.0 | 10M| 510 | - | 607 | 958 | 0 | 0 | 188 |1479k| 25 | 4.648028e+01 | 5.100000e+01 | 9.72%
930.98/931.30 c 879s| 2330k| 458 | 6419 | 0.0 | 10M| 510 | - | 607 | 958 | 0 | 0 | 188 |1486k| 25 | 4.648028e+01 | 5.100000e+01 | 9.72%
934.78/935.13 c 883s| 2340k| 457 | 6419 | 0.0 | 10M| 510 | - | 607 | 958 | 0 | 0 | 188 |1492k| 25 | 4.648028e+01 | 5.100000e+01 | 9.72%
938.48/938.89 c 886s| 2350k| 460 | 6419 | 0.0 | 10M| 510 | - | 607 | 958 | 0 | 0 | 188 |1499k| 25 | 4.648028e+01 | 5.100000e+01 | 9.72%
942.28/942.63 c 890s| 2360k| 458 | 6419 | 0.0 | 10M| 510 | - | 607 | 958 | 0 | 0 | 188 |1505k| 25 | 4.648028e+01 | 5.100000e+01 | 9.72%
945.87/946.28 c 893s| 2370k| 458 | 6419 | 0.0 | 10M| 510 | - | 607 | 958 | 0 | 0 | 188 |1511k| 25 | 4.648028e+01 | 5.100000e+01 | 9.72%
949.48/949.89 c 897s| 2380k| 458 | 6419 | 0.0 | 10M| 510 | - | 607 | 959 | 0 | 0 | 188 |1517k| 25 | 4.648028e+01 | 5.100000e+01 | 9.72%
953.28/953.68 c 900s| 2390k| 458 | 6419 | 0.0 | 10M| 510 | - | 607 | 958 | 0 | 0 | 188 |1524k| 25 | 4.648028e+01 | 5.100000e+01 | 9.72%
957.17/957.51 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
957.17/957.51 c 904s| 2400k| 457 | 6419 | 0.0 | 10M| 510 | - | 607 | 958 | 0 | 0 | 188 |1530k| 25 | 4.648028e+01 | 5.100000e+01 | 9.72%
960.87/961.26 c 907s| 2410k| 456 | 6419 | 0.0 | 10M| 510 | - | 607 | 958 | 0 | 0 | 188 |1537k| 25 | 4.648028e+01 | 5.100000e+01 | 9.72%
964.87/965.25 c 911s| 2420k| 466 | 6419 | 0.0 | 10M| 510 | - | 607 | 958 | 0 | 0 | 188 |1543k| 25 | 4.648028e+01 | 5.100000e+01 | 9.72%
968.87/969.28 c 915s| 2430k| 464 | 6419 | 0.0 | 10M| 510 | - | 607 | 958 | 0 | 0 | 188 |1549k| 25 | 4.648028e+01 | 5.100000e+01 | 9.72%
973.07/973.43 c 919s| 2440k| 459 | 6419 | 0.0 | 10M| 510 | - | 607 | 958 | 0 | 0 | 188 |1555k| 25 | 4.648028e+01 | 5.100000e+01 | 9.72%
977.06/977.41 c 923s| 2450k| 463 | 6419 | 0.0 | 10M| 510 | - | 607 | 958 | 0 | 0 | 188 |1561k| 25 | 4.648028e+01 | 5.100000e+01 | 9.72%
980.96/981.34 c 926s| 2460k| 458 | 6419 | 0.0 | 10M| 510 | - | 607 | 958 | 0 | 0 | 188 |1567k| 25 | 4.648028e+01 | 5.100000e+01 | 9.72%
984.66/985.09 c 930s| 2470k| 460 | 6419 | 0.0 | 10M| 510 | - | 607 | 958 | 0 | 0 | 188 |1574k| 25 | 4.648028e+01 | 5.100000e+01 | 9.72%
988.47/988.82 c 933s| 2480k| 461 | 6419 | 0.0 | 10M| 510 | - | 607 | 958 | 0 | 0 | 188 |1580k| 25 | 4.648028e+01 | 5.100000e+01 | 9.72%
992.36/992.78 c 937s| 2490k| 460 | 6419 | 0.0 | 10M| 510 | - | 607 | 958 | 0 | 0 | 188 |1586k| 25 | 4.648028e+01 | 5.100000e+01 | 9.72%
996.27/996.63 c 941s| 2500k| 461 | 6419 | 0.0 | 10M| 510 | - | 607 | 958 | 0 | 0 | 188 |1593k| 25 | 4.648028e+01 | 5.100000e+01 | 9.72%
1000.26/1000.68 c 945s| 2510k| 460 | 6419 | 0.0 | 10M| 510 | - | 607 | 958 | 0 | 0 | 188 |1599k| 25 | 4.648028e+01 | 5.100000e+01 | 9.72%
1004.06/1004.40 c 948s| 2520k| 461 | 6419 | 0.0 | 10M| 510 | - | 607 | 958 | 0 | 0 | 188 |1605k| 25 | 4.648028e+01 | 5.100000e+01 | 9.72%
1007.66/1008.08 c 952s| 2530k| 457 | 6419 | 0.0 | 10M| 510 | - | 607 | 958 | 0 | 0 | 188 |1612k| 25 | 4.648028e+01 | 5.100000e+01 | 9.72%
1011.45/1011.83 c 955s| 2540k| 460 | 6419 | 0.0 | 10M| 510 | - | 607 | 958 | 0 | 0 | 188 |1618k| 25 | 4.648028e+01 | 5.100000e+01 | 9.72%
1015.16/1015.56 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1015.16/1015.56 c 959s| 2550k| 459 | 6419 | 0.0 | 10M| 510 | - | 607 | 959 | 0 | 0 | 188 |1624k| 25 | 4.648028e+01 | 5.100000e+01 | 9.72%
1019.05/1019.40 c 962s| 2560k| 457 | 6419 | 0.0 | 10M| 510 | - | 607 | 958 | 0 | 0 | 188 |1630k| 25 | 4.648028e+01 | 5.100000e+01 | 9.72%
1022.66/1023.06 c 966s| 2570k| 459 | 6419 | 0.0 | 10M| 510 | - | 607 | 959 | 0 | 0 | 188 |1637k| 25 | 4.648028e+01 | 5.100000e+01 | 9.72%
1026.45/1026.84 c 969s| 2580k| 457 | 6419 | 0.0 | 10M| 510 | - | 607 | 958 | 0 | 0 | 188 |1643k| 25 | 4.648028e+01 | 5.100000e+01 | 9.72%
1030.36/1030.72 c 973s| 2590k| 460 | 6419 | 0.0 | 10M| 510 | - | 607 | 959 | 0 | 0 | 188 |1649k| 25 | 4.648028e+01 | 5.100000e+01 | 9.72%
1034.35/1034.74 c 977s| 2600k| 460 | 6419 | 0.0 | 10M| 510 | - | 607 | 958 | 0 | 0 | 188 |1655k| 25 | 4.648028e+01 | 5.100000e+01 | 9.72%
1038.44/1038.85 c 981s| 2610k| 458 | 6419 | 0.0 | 10M| 510 | - | 607 | 958 | 0 | 0 | 188 |1661k| 25 | 4.648028e+01 | 5.100000e+01 | 9.72%
1042.35/1042.70 c 984s| 2620k| 463 | 6419 | 0.0 | 10M| 510 | - | 607 | 958 | 0 | 0 | 188 |1668k| 25 | 4.648028e+01 | 5.100000e+01 | 9.72%
1046.54/1046.91 c 988s| 2630k| 460 | 6419 | 0.0 | 10M| 510 | - | 607 | 958 | 0 | 0 | 188 |1674k| 25 | 4.648028e+01 | 5.100000e+01 | 9.72%
1050.44/1050.83 c 992s| 2640k| 461 | 6419 | 0.0 | 10M| 510 | - | 607 | 958 | 0 | 0 | 188 |1681k| 25 | 4.648028e+01 | 5.100000e+01 | 9.72%
1054.24/1054.60 c 995s| 2650k| 465 | 6419 | 0.0 | 10M| 510 | - | 607 | 958 | 0 | 0 | 188 |1687k| 25 | 4.648028e+01 | 5.100000e+01 | 9.72%
1057.85/1058.29 c 999s| 2660k| 458 | 6419 | 0.0 | 10M| 510 | - | 607 | 958 | 0 | 0 | 188 |1693k| 25 | 4.648028e+01 | 5.100000e+01 | 9.72%
1061.64/1062.00 c 1002s| 2670k| 458 | 6419 | 0.0 | 10M| 510 | - | 607 | 958 | 0 | 0 | 188 |1700k| 25 | 4.648028e+01 | 5.100000e+01 | 9.72%
1065.34/1065.72 c 1006s| 2680k| 460 | 6419 | 0.0 | 10M| 510 | - | 607 | 958 | 0 | 0 | 188 |1706k| 25 | 4.648028e+01 | 5.100000e+01 | 9.72%
1069.34/1069.78 c 1010s| 2690k| 459 | 6419 | 0.0 | 10M| 510 | - | 607 | 958 | 0 | 0 | 188 |1712k| 25 | 4.648028e+01 | 5.100000e+01 | 9.72%
1073.04/1073.50 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1073.04/1073.50 c 1013s| 2700k| 456 | 6419 | 0.0 | 10M| 510 | - | 607 | 959 | 0 | 0 | 188 |1719k| 25 | 4.648028e+01 | 5.100000e+01 | 9.72%
1077.04/1077.49 c 1017s| 2710k| 458 | 6419 | 0.0 | 10M| 510 | - | 607 | 958 | 0 | 0 | 188 |1725k| 25 | 4.648028e+01 | 5.100000e+01 | 9.72%
1080.94/1081.39 c 1021s| 2720k| 457 | 6419 | 0.0 | 10M| 510 | - | 607 | 959 | 0 | 0 | 188 |1731k| 25 | 4.648028e+01 | 5.100000e+01 | 9.72%
1084.73/1085.14 c 1024s| 2730k| 462 | 6419 | 0.0 | 10M| 510 | - | 607 | 958 | 0 | 0 | 188 |1737k| 25 | 4.648028e+01 | 5.100000e+01 | 9.72%
1088.54/1088.93 c 1028s| 2740k| 462 | 6419 | 0.0 | 10M| 510 | - | 607 | 958 | 0 | 0 | 188 |1744k| 25 | 4.648028e+01 | 5.100000e+01 | 9.72%
1092.33/1092.74 c 1031s| 2750k| 458 | 6419 | 0.0 | 10M| 510 | - | 607 | 958 | 0 | 0 | 188 |1750k| 25 | 4.648028e+01 | 5.100000e+01 | 9.72%
1096.13/1096.55 c 1035s| 2760k| 457 | 6419 | 0.0 | 10M| 510 | - | 607 | 958 | 0 | 0 | 188 |1757k| 25 | 4.648028e+01 | 5.100000e+01 | 9.72%
1099.93/1100.36 c 1038s| 2770k| 455 | 6419 | 0.0 | 10M| 510 | - | 607 | 958 | 0 | 0 | 188 |1763k| 25 | 4.648028e+01 | 5.100000e+01 | 9.72%
1103.53/1103.97 c 1042s| 2780k| 461 | 6419 | 0.0 | 10M| 510 | - | 607 | 958 | 0 | 0 | 188 |1769k| 25 | 4.648028e+01 | 5.100000e+01 | 9.72%
1107.23/1107.64 c 1045s| 2790k| 456 | 6419 | 0.0 | 10M| 510 | - | 607 | 959 | 0 | 0 | 188 |1776k| 25 | 4.648028e+01 | 5.100000e+01 | 9.72%
1111.02/1111.43 c 1049s| 2800k| 459 | 6419 | 0.0 | 10M| 510 | - | 607 | 958 | 0 | 0 | 188 |1782k| 25 | 4.648028e+01 | 5.100000e+01 | 9.72%
1115.13/1115.59 c 1053s| 2810k| 457 | 6419 | 0.0 | 10M| 510 | - | 607 | 958 | 0 | 0 | 188 |1788k| 25 | 4.648028e+01 | 5.100000e+01 | 9.72%
1118.92/1119.36 c 1056s| 2820k| 458 | 6419 | 0.0 | 10M| 510 | - | 607 | 958 | 0 | 0 | 188 |1795k| 25 | 4.648028e+01 | 5.100000e+01 | 9.72%
1122.52/1122.93 c 1060s| 2830k| 462 | 6419 | 0.0 | 10M| 510 | - | 607 | 958 | 0 | 0 | 188 |1801k| 25 | 4.648028e+01 | 5.100000e+01 | 9.72%
1126.12/1126.58 c 1063s| 2840k| 459 | 6419 | 0.0 | 10M| 510 | - | 607 | 959 | 0 | 0 | 188 |1807k| 25 | 4.648028e+01 | 5.100000e+01 | 9.72%
1129.82/1130.25 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1129.82/1130.25 c 1067s| 2850k| 458 | 6419 | 0.0 | 10M| 510 | - | 607 | 958 | 0 | 0 | 188 |1813k| 25 | 4.648028e+01 | 5.100000e+01 | 9.72%
1133.41/1133.88 c 1070s| 2860k| 455 | 6419 | 0.0 | 10M| 510 | - | 607 | 958 | 0 | 0 | 188 |1820k| 25 | 4.648028e+01 | 5.100000e+01 | 9.72%
1137.22/1137.62 c 1074s| 2870k| 458 | 6419 | 0.0 | 10M| 510 | - | 607 | 959 | 0 | 0 | 188 |1826k| 25 | 4.648028e+01 | 5.100000e+01 | 9.72%
1140.91/1141.33 c 1077s| 2880k| 457 | 6419 | 0.0 | 10M| 510 | - | 607 | 958 | 0 | 0 | 188 |1832k| 25 | 4.648028e+01 | 5.100000e+01 | 9.72%
1144.70/1145.15 c 1081s| 2890k| 461 | 6419 | 0.0 | 10M| 510 | - | 607 | 958 | 0 | 0 | 188 |1838k| 25 | 4.648028e+01 | 5.100000e+01 | 9.72%
1148.60/1149.03 c 1084s| 2900k| 457 | 6419 | 0.0 | 10M| 510 | - | 607 | 958 | 0 | 0 | 188 |1845k| 25 | 4.648028e+01 | 5.100000e+01 | 9.72%
1152.20/1152.68 c 1088s| 2910k| 457 | 6419 | 0.0 | 10M| 510 | - | 607 | 958 | 0 | 0 | 188 |1851k| 25 | 4.648028e+01 | 5.100000e+01 | 9.72%
1155.89/1156.31 c 1091s| 2920k| 455 | 6419 | 0.0 | 10M| 510 | - | 607 | 958 | 0 | 0 | 188 |1857k| 25 | 4.648028e+01 | 5.100000e+01 | 9.72%
1159.49/1159.98 c 1095s| 2930k| 457 | 6419 | 0.0 | 10M| 510 | - | 607 | 960 | 0 | 0 | 188 |1863k| 25 | 4.648028e+01 | 5.100000e+01 | 9.72%
1163.10/1163.50 c 1098s| 2940k| 456 | 6419 | 0.0 | 10M| 510 | - | 607 | 958 | 0 | 0 | 188 |1870k| 25 | 4.648028e+01 | 5.100000e+01 | 9.72%
1166.99/1167.49 c 1102s| 2950k| 462 | 6419 | 0.0 | 10M| 510 | - | 607 | 958 | 0 | 0 | 188 |1876k| 25 | 4.648028e+01 | 5.100000e+01 | 9.72%
1171.10/1171.59 c 1106s| 2960k| 459 | 6419 | 0.0 | 10M| 510 | - | 607 | 958 | 0 | 0 | 188 |1882k| 25 | 4.648028e+01 | 5.100000e+01 | 9.72%
1175.09/1175.58 c 1109s| 2970k| 460 | 6419 | 0.0 | 10M| 510 | - | 607 | 958 | 0 | 0 | 188 |1889k| 25 | 4.648028e+01 | 5.100000e+01 | 9.72%
1179.19/1179.63 c 1113s| 2980k| 458 | 6419 | 0.0 | 10M| 510 | - | 607 | 958 | 0 | 0 | 188 |1895k| 25 | 4.648028e+01 | 5.100000e+01 | 9.72%
1183.09/1183.55 c 1117s| 2990k| 458 | 6419 | 0.0 | 10M| 510 | - | 607 | 958 | 0 | 0 | 188 |1902k| 25 | 4.648028e+01 | 5.100000e+01 | 9.72%
1187.18/1187.60 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1187.18/1187.60 c 1121s| 3000k| 458 | 6419 | 0.0 | 10M| 510 | - | 607 | 958 | 0 | 0 | 188 |1908k| 25 | 4.648028e+01 | 5.100000e+01 | 9.72%
1191.08/1191.55 c 1124s| 3010k| 455 | 6419 | 0.0 | 10M| 510 | - | 607 | 958 | 0 | 0 | 188 |1914k| 25 | 4.648028e+01 | 5.100000e+01 | 9.72%
1195.08/1195.52 c 1128s| 3020k| 457 | 6419 | 0.0 | 10M| 510 | - | 607 | 958 | 0 | 0 | 188 |1921k| 25 | 4.648028e+01 | 5.100000e+01 | 9.72%
1198.78/1199.27 c 1132s| 3030k| 461 | 6419 | 0.0 | 10M| 510 | - | 607 | 958 | 0 | 0 | 188 |1927k| 25 | 4.648028e+01 | 5.100000e+01 | 9.72%
1202.58/1203.08 c 1135s| 3040k| 457 | 6419 | 0.0 | 10M| 510 | - | 607 | 958 | 0 | 0 | 188 |1934k| 25 | 4.648028e+01 | 5.100000e+01 | 9.72%
1206.29/1206.76 c 1139s| 3050k| 456 | 6419 | 0.0 | 10M| 510 | - | 607 | 958 | 0 | 0 | 188 |1940k| 25 | 4.648028e+01 | 5.100000e+01 | 9.72%
1209.98/1210.41 c 1142s| 3060k| 457 | 6419 | 0.0 | 10M| 510 | - | 607 | 958 | 0 | 0 | 188 |1946k| 25 | 4.648028e+01 | 5.100000e+01 | 9.72%
1213.68/1214.14 c 1146s| 3070k| 454 | 6419 | 0.0 | 10M| 510 | - | 607 | 958 | 0 | 0 | 188 |1952k| 25 | 4.648028e+01 | 5.100000e+01 | 9.72%
1217.58/1218.00 c 1149s| 3080k| 458 | 6419 | 0.0 | 10M| 510 | - | 607 | 958 | 0 | 0 | 188 |1959k| 25 | 4.648028e+01 | 5.100000e+01 | 9.72%
1221.18/1221.66 c 1153s| 3090k| 458 | 6419 | 0.0 | 10M| 510 | - | 607 | 958 | 0 | 0 | 188 |1965k| 25 | 4.648028e+01 | 5.100000e+01 | 9.72%
1224.77/1225.28 c 1156s| 3100k| 457 | 6419 | 0.0 | 10M| 510 | - | 607 | 958 | 0 | 0 | 188 |1971k| 25 | 4.648028e+01 | 5.100000e+01 | 9.72%
1228.77/1229.24 c 1160s| 3110k| 462 | 6419 | 0.0 | 10M| 510 | - | 607 | 958 | 0 | 0 | 188 |1978k| 25 | 4.648028e+01 | 5.100000e+01 | 9.72%
1232.97/1233.42 c 1164s| 3120k| 460 | 6419 | 0.0 | 10M| 510 | - | 607 | 958 | 0 | 0 | 188 |1984k| 25 | 4.648028e+01 | 5.100000e+01 | 9.72%
1236.77/1237.28 c 1168s| 3130k| 466 | 6419 | 0.0 | 10M| 510 | - | 607 | 958 | 0 | 0 | 188 |1990k| 25 | 4.648028e+01 | 5.100000e+01 | 9.72%
1240.87/1241.31 c 1171s| 3140k| 458 | 6419 | 0.0 | 10M| 510 | - | 607 | 958 | 0 | 0 | 188 |1997k| 25 | 4.648028e+01 | 5.100000e+01 | 9.72%
1244.46/1244.99 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1244.46/1244.99 c 1175s| 3150k| 459 | 6419 | 0.0 | 10M| 510 | - | 607 | 958 | 0 | 0 | 188 |2003k| 25 | 4.648028e+01 | 5.100000e+01 | 9.72%
1248.26/1248.70 c 1178s| 3160k| 460 | 6419 | 0.0 | 10M| 510 | - | 607 | 958 | 0 | 0 | 188 |2009k| 25 | 4.648028e+01 | 5.100000e+01 | 9.72%
1252.07/1252.53 c 1182s| 3170k| 456 | 6419 | 0.0 | 10M| 510 | - | 607 | 958 | 0 | 0 | 188 |2015k| 25 | 4.648028e+01 | 5.100000e+01 | 9.72%
1256.06/1256.53 c 1186s| 3180k| 461 | 6419 | 0.0 | 10M| 510 | - | 607 | 959 | 0 | 0 | 188 |2021k| 25 | 4.648028e+01 | 5.100000e+01 | 9.72%
1259.86/1260.38 c 1189s| 3190k| 459 | 6419 | 0.0 | 10M| 510 | - | 607 | 958 | 0 | 0 | 188 |2027k| 25 | 4.648028e+01 | 5.100000e+01 | 9.72%
1263.86/1264.33 c 1193s| 3200k| 460 | 6419 | 0.0 | 10M| 510 | - | 607 | 958 | 0 | 0 | 188 |2034k| 25 | 4.648028e+01 | 5.100000e+01 | 9.72%
1267.76/1268.24 c 1197s| 3210k| 461 | 6419 | 0.0 | 10M| 510 | - | 607 | 958 | 0 | 0 | 188 |2040k| 25 | 4.648028e+01 | 5.100000e+01 | 9.72%
1271.65/1272.13 c 1200s| 3220k| 460 | 6419 | 0.0 | 10M| 510 | - | 607 | 958 | 0 | 0 | 188 |2046k| 25 | 4.648028e+01 | 5.100000e+01 | 9.72%
1275.76/1276.24 c 1204s| 3230k| 457 | 6419 | 0.0 | 10M| 510 | - | 607 | 958 | 0 | 0 | 188 |2053k| 25 | 4.648028e+01 | 5.100000e+01 | 9.72%
1279.76/1280.25 c 1208s| 3240k| 457 | 6419 | 0.0 | 10M| 510 | - | 607 | 958 | 0 | 0 | 188 |2059k| 25 | 4.648028e+01 | 5.100000e+01 | 9.72%
1283.65/1284.16 c 1212s| 3250k| 459 | 6419 | 0.0 | 10M| 510 | - | 607 | 958 | 0 | 0 | 188 |2065k| 25 | 4.648028e+01 | 5.100000e+01 | 9.72%
1287.65/1288.13 c 1216s| 3260k| 454 | 6419 | 0.0 | 10M| 510 | - | 607 | 958 | 0 | 0 | 188 |2071k| 25 | 4.648028e+01 | 5.100000e+01 | 9.72%
1291.25/1291.78 c 1219s| 3270k| 459 | 6419 | 0.0 | 10M| 510 | - | 607 | 958 | 0 | 0 | 188 |2077k| 25 | 4.648028e+01 | 5.100000e+01 | 9.72%
1294.95/1295.42 c 1222s| 3280k| 457 | 6419 | 0.0 | 10M| 510 | - | 607 | 958 | 0 | 0 | 188 |2084k| 25 | 4.648028e+01 | 5.100000e+01 | 9.72%
1298.55/1299.10 c 1226s| 3290k| 458 | 6419 | 0.0 | 10M| 510 | - | 607 | 958 | 0 | 0 | 188 |2090k| 25 | 4.648028e+01 | 5.100000e+01 | 9.72%
1302.24/1302.75 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1302.24/1302.75 c 1229s| 3300k| 458 | 6419 | 0.0 | 10M| 510 | - | 607 | 958 | 0 | 0 | 188 |2096k| 25 | 4.648028e+01 | 5.100000e+01 | 9.72%
1305.94/1306.44 c 1233s| 3310k| 456 | 6419 | 0.0 | 10M| 510 | - | 607 | 958 | 0 | 0 | 188 |2102k| 25 | 4.648028e+01 | 5.100000e+01 | 9.72%
1309.74/1310.27 c 1236s| 3320k| 458 | 6419 | 0.0 | 10M| 510 | - | 607 | 958 | 0 | 0 | 188 |2109k| 25 | 4.648028e+01 | 5.100000e+01 | 9.72%
1313.64/1314.13 c 1240s| 3330k| 454 | 6419 | 0.0 | 10M| 510 | - | 607 | 958 | 0 | 0 | 188 |2115k| 25 | 4.648028e+01 | 5.100000e+01 | 9.72%
1317.64/1318.13 c 1244s| 3340k| 461 | 6419 | 0.0 | 10M| 510 | - | 607 | 958 | 0 | 0 | 188 |2121k| 25 | 4.648028e+01 | 5.100000e+01 | 9.72%
1321.34/1321.83 c 1247s| 3350k| 459 | 6419 | 0.0 | 10M| 510 | - | 607 | 958 | 0 | 0 | 188 |2128k| 25 | 4.648028e+01 | 5.100000e+01 | 9.72%
1325.23/1325.74 c 1251s| 3360k| 461 | 6419 | 0.0 | 10M| 510 | - | 607 | 958 | 0 | 0 | 188 |2134k| 25 | 4.648028e+01 | 5.100000e+01 | 9.72%
1329.14/1329.68 c 1255s| 3370k| 461 | 6419 | 0.0 | 10M| 510 | - | 607 | 958 | 0 | 0 | 188 |2140k| 25 | 4.648028e+01 | 5.100000e+01 | 9.72%
1333.14/1333.60 c 1258s| 3380k| 459 | 6419 | 0.0 | 10M| 510 | - | 607 | 958 | 0 | 0 | 188 |2146k| 25 | 4.648028e+01 | 5.100000e+01 | 9.72%
1336.74/1337.29 c 1262s| 3390k| 462 | 6419 | 0.0 | 10M| 510 | - | 607 | 958 | 0 | 0 | 188 |2153k| 25 | 4.648028e+01 | 5.100000e+01 | 9.72%
1340.54/1341.01 c 1265s| 3400k| 459 | 6419 | 0.0 | 10M| 510 | - | 607 | 958 | 0 | 0 | 188 |2159k| 25 | 4.648028e+01 | 5.100000e+01 | 9.72%
1344.23/1344.74 c 1269s| 3410k| 462 | 6419 | 0.0 | 10M| 510 | - | 607 | 958 | 0 | 0 | 188 |2165k| 25 | 4.648028e+01 | 5.100000e+01 | 9.72%
1348.04/1348.53 c 1272s| 3420k| 458 | 6419 | 0.0 | 10M| 510 | - | 607 | 959 | 0 | 0 | 188 |2171k| 25 | 4.648028e+01 | 5.100000e+01 | 9.72%
1351.74/1352.28 c 1276s| 3430k| 458 | 6419 | 0.0 | 10M| 510 | - | 607 | 958 | 0 | 0 | 188 |2178k| 25 | 4.648028e+01 | 5.100000e+01 | 9.72%
1355.93/1356.41 c 1280s| 3440k| 459 | 6419 | 0.0 | 10M| 510 | - | 607 | 958 | 0 | 0 | 188 |2184k| 25 | 4.648028e+01 | 5.100000e+01 | 9.72%
1360.03/1360.52 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1360.03/1360.52 c 1284s| 3450k| 459 | 6419 | 0.0 | 10M| 510 | - | 607 | 958 | 0 | 0 | 188 |2190k| 25 | 4.648028e+01 | 5.100000e+01 | 9.72%
1364.13/1364.69 c 1288s| 3460k| 460 | 6419 | 0.0 | 10M| 510 | - | 607 | 958 | 0 | 0 | 188 |2197k| 25 | 4.648028e+01 | 5.100000e+01 | 9.72%
1367.93/1368.48 c 1291s| 3470k| 459 | 6419 | 0.0 | 10M| 510 | - | 607 | 958 | 0 | 0 | 188 |2203k| 25 | 4.648028e+01 | 5.100000e+01 | 9.72%
1372.62/1373.16 c 1296s| 3480k| 457 | 6419 | 0.0 | 10M| 510 | - | 607 | 958 | 0 | 0 | 188 |2210k| 25 | 4.648028e+01 | 5.100000e+01 | 9.72%
1377.32/1377.85 c 1300s| 3490k| 458 | 6419 | 0.0 | 10M| 510 | - | 607 | 960 | 0 | 0 | 188 |2217k| 25 | 4.648028e+01 | 5.100000e+01 | 9.72%
1381.52/1382.02 c 1304s| 3500k| 459 | 6419 | 0.0 | 10M| 510 | - | 607 | 958 | 0 | 0 | 188 |2223k| 25 | 4.648028e+01 | 5.100000e+01 | 9.72%
1386.32/1386.82 c 1309s| 3510k| 454 | 6419 | 0.0 | 10M| 510 | - | 607 | 958 | 0 | 0 | 188 |2230k| 25 | 4.648028e+01 | 5.100000e+01 | 9.72%
1390.21/1390.77 c 1312s| 3520k| 459 | 6419 | 0.0 | 10M| 510 | - | 607 | 958 | 0 | 0 | 188 |2236k| 25 | 4.648028e+01 | 5.100000e+01 | 9.72%
1394.42/1394.96 c 1316s| 3530k| 456 | 6419 | 0.0 | 10M| 510 | - | 607 | 958 | 0 | 0 | 188 |2242k| 25 | 4.648028e+01 | 5.100000e+01 | 9.72%
1399.01/1399.50 c 1321s| 3540k| 458 | 6419 | 0.0 | 10M| 510 | - | 607 | 958 | 0 | 0 | 188 |2249k| 25 | 4.648028e+01 | 5.100000e+01 | 9.72%
1403.21/1403.72 c 1324s| 3550k| 456 | 6419 | 0.0 | 10M| 510 | - | 607 | 960 | 0 | 0 | 188 |2255k| 25 | 4.648028e+01 | 5.100000e+01 | 9.72%
1406.91/1407.49 c 1328s| 3560k| 459 | 6419 | 0.0 | 10M| 510 | - | 607 | 958 | 0 | 0 | 188 |2261k| 25 | 4.648028e+01 | 5.100000e+01 | 9.72%
1410.62/1411.18 c 1332s| 3570k| 461 | 6419 | 0.0 | 10M| 510 | - | 607 | 958 | 0 | 0 | 188 |2268k| 25 | 4.648028e+01 | 5.100000e+01 | 9.72%
1414.41/1414.91 c 1335s| 3580k| 458 | 6419 | 0.0 | 10M| 510 | - | 607 | 958 | 0 | 0 | 188 |2274k| 25 | 4.648028e+01 | 5.100000e+01 | 9.72%
1418.21/1418.76 c 1339s| 3590k| 456 | 6419 | 0.0 | 10M| 510 | - | 607 | 958 | 0 | 0 | 188 |2280k| 25 | 4.648028e+01 | 5.100000e+01 | 9.72%
1422.11/1422.63 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1422.11/1422.63 c 1342s| 3600k| 458 | 6419 | 0.0 | 10M| 510 | - | 607 | 958 | 0 | 0 | 188 |2286k| 25 | 4.648028e+01 | 5.100000e+01 | 9.72%
1426.22/1426.78 c 1346s| 3610k| 461 | 6419 | 0.0 | 10M| 510 | - | 607 | 958 | 0 | 0 | 188 |2292k| 25 | 4.648028e+01 | 5.100000e+01 | 9.72%
1430.30/1430.84 c 1350s| 3620k| 457 | 6419 | 0.0 | 10M| 510 | - | 607 | 958 | 0 | 0 | 188 |2299k| 25 | 4.648028e+01 | 5.100000e+01 | 9.72%
1434.30/1434.82 c 1354s| 3630k| 459 | 6419 | 0.0 | 10M| 510 | - | 607 | 958 | 0 | 0 | 188 |2305k| 25 | 4.648028e+01 | 5.100000e+01 | 9.72%
1438.00/1438.52 c 1357s| 3640k| 462 | 6419 | 0.0 | 10M| 510 | - | 607 | 958 | 0 | 0 | 188 |2311k| 25 | 4.648028e+01 | 5.100000e+01 | 9.72%
1441.61/1442.17 c 1361s| 3650k| 456 | 6419 | 0.0 | 10M| 510 | - | 607 | 958 | 0 | 0 | 188 |2317k| 25 | 4.648028e+01 | 5.100000e+01 | 9.72%
1445.20/1445.77 c 1364s| 3660k| 457 | 6419 | 0.0 | 10M| 510 | - | 607 | 958 | 0 | 0 | 188 |2323k| 25 | 4.648028e+01 | 5.100000e+01 | 9.72%
1448.90/1449.42 c 1368s| 3670k| 459 | 6419 | 0.0 | 10M| 510 | - | 607 | 958 | 0 | 0 | 188 |2330k| 25 | 4.648028e+01 | 5.100000e+01 | 9.72%
1452.60/1453.18 c 1371s| 3680k| 457 | 6419 | 0.0 | 10M| 510 | - | 607 | 958 | 0 | 0 | 188 |2336k| 25 | 4.648028e+01 | 5.100000e+01 | 9.72%
1456.50/1457.08 c 1375s| 3690k| 460 | 6419 | 0.0 | 10M| 510 | - | 607 | 958 | 0 | 0 | 188 |2343k| 25 | 4.648028e+01 | 5.100000e+01 | 9.72%
1460.49/1461.04 c 1378s| 3700k| 454 | 6419 | 0.0 | 10M| 510 | - | 607 | 958 | 0 | 0 | 188 |2349k| 25 | 4.648028e+01 | 5.100000e+01 | 9.72%
1464.40/1464.93 c 1382s| 3710k| 452 | 6419 | 0.0 | 10M| 510 | - | 607 | 958 | 0 | 0 | 188 |2356k| 25 | 4.648028e+01 | 5.100000e+01 | 9.72%
1468.09/1468.70 c 1386s| 3720k| 456 | 6419 | 0.0 | 10M| 510 | - | 607 | 958 | 0 | 0 | 188 |2362k| 25 | 4.648028e+01 | 5.100000e+01 | 9.72%
1471.79/1472.37 c 1389s| 3730k| 454 | 6419 | 0.0 | 10M| 510 | - | 607 | 958 | 0 | 0 | 188 |2368k| 25 | 4.648028e+01 | 5.100000e+01 | 9.72%
1475.59/1476.10 c 1393s| 3740k| 458 | 6419 | 0.0 | 10M| 510 | - | 607 | 958 | 0 | 0 | 188 |2375k| 25 | 4.648028e+01 | 5.100000e+01 | 9.72%
1479.19/1479.79 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1479.19/1479.79 c 1396s| 3750k| 456 | 6419 | 0.0 | 10M| 510 | - | 607 | 958 | 0 | 0 | 188 |2381k| 25 | 4.648028e+01 | 5.100000e+01 | 9.72%
1482.99/1483.54 c 1400s| 3760k| 456 | 6419 | 0.0 | 10M| 510 | - | 607 | 958 | 0 | 0 | 188 |2387k| 25 | 4.648028e+01 | 5.100000e+01 | 9.72%
1486.69/1487.25 c 1403s| 3770k| 460 | 6419 | 0.0 | 10M| 510 | - | 607 | 959 | 0 | 0 | 188 |2393k| 25 | 4.648028e+01 | 5.100000e+01 | 9.72%
1490.29/1490.88 c 1407s| 3780k| 456 | 6419 | 0.0 | 10M| 510 | - | 607 | 958 | 0 | 0 | 188 |2400k| 25 | 4.648028e+01 | 5.100000e+01 | 9.72%
1493.98/1494.54 c 1410s| 3790k| 457 | 6419 | 0.0 | 10M| 510 | - | 607 | 958 | 0 | 0 | 188 |2406k| 25 | 4.648028e+01 | 5.100000e+01 | 9.72%
1497.78/1498.33 c 1414s| 3800k| 459 | 6419 | 0.0 | 10M| 510 | - | 607 | 958 | 0 | 0 | 188 |2412k| 25 | 4.648028e+01 | 5.100000e+01 | 9.72%
1501.59/1502.16 c 1417s| 3810k| 459 | 6419 | 0.0 | 10M| 510 | - | 607 | 958 | 0 | 0 | 188 |2418k| 25 | 4.648028e+01 | 5.100000e+01 | 9.72%
1505.68/1506.23 c 1421s| 3820k| 459 | 6419 | 0.0 | 10M| 510 | - | 607 | 958 | 0 | 0 | 188 |2424k| 25 | 4.648028e+01 | 5.100000e+01 | 9.72%
1509.68/1510.23 c 1425s| 3830k| 458 | 6419 | 0.0 | 10M| 510 | - | 607 | 958 | 0 | 0 | 188 |2431k| 25 | 4.648028e+01 | 5.100000e+01 | 9.72%
1513.58/1514.18 c 1429s| 3840k| 456 | 6419 | 0.0 | 10M| 510 | - | 607 | 958 | 0 | 0 | 188 |2437k| 25 | 4.648028e+01 | 5.100000e+01 | 9.72%
1517.57/1518.13 c 1432s| 3850k| 455 | 6419 | 0.0 | 10M| 510 | - | 607 | 958 | 0 | 0 | 188 |2443k| 25 | 4.648028e+01 | 5.100000e+01 | 9.72%
1521.38/1521.91 c 1436s| 3860k| 454 | 6419 | 0.0 | 10M| 510 | - | 607 | 958 | 0 | 0 | 188 |2449k| 25 | 4.648028e+01 | 5.100000e+01 | 9.72%
1525.08/1525.66 c 1439s| 3870k| 458 | 6419 | 0.0 | 10M| 510 | - | 607 | 958 | 0 | 0 | 188 |2455k| 25 | 4.648028e+01 | 5.100000e+01 | 9.72%
1528.78/1529.34 c 1443s| 3880k| 457 | 6419 | 0.0 | 10M| 510 | - | 607 | 958 | 0 | 0 | 188 |2462k| 25 | 4.648028e+01 | 5.100000e+01 | 9.72%
1532.47/1533.06 c 1446s| 3890k| 457 | 6419 | 0.0 | 10M| 510 | - | 607 | 959 | 0 | 0 | 188 |2468k| 25 | 4.648028e+01 | 5.100000e+01 | 9.72%
1536.07/1536.64 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1536.07/1536.64 c 1450s| 3900k| 460 | 6419 | 0.0 | 10M| 510 | - | 607 | 958 | 0 | 0 | 188 |2474k| 25 | 4.648028e+01 | 5.100000e+01 | 9.72%
1539.67/1540.30 c 1453s| 3910k| 453 | 6419 | 0.0 | 10M| 510 | - | 607 | 958 | 0 | 0 | 188 |2480k| 25 | 4.648028e+01 | 5.100000e+01 | 9.72%
1543.47/1544.07 c 1457s| 3920k| 461 | 6419 | 0.0 | 10M| 510 | - | 607 | 958 | 0 | 0 | 188 |2487k| 25 | 4.648028e+01 | 5.100000e+01 | 9.72%
1547.27/1547.87 c 1460s| 3930k| 459 | 6419 | 0.0 | 10M| 510 | - | 607 | 958 | 0 | 0 | 188 |2493k| 25 | 4.648028e+01 | 5.100000e+01 | 9.72%
1551.26/1551.80 c 1464s| 3940k| 461 | 6419 | 0.0 | 10M| 510 | - | 607 | 958 | 0 | 0 | 188 |2499k| 25 | 4.648028e+01 | 5.100000e+01 | 9.72%
1555.16/1555.79 c 1468s| 3950k| 461 | 6419 | 0.0 | 10M| 510 | - | 607 | 958 | 0 | 0 | 188 |2506k| 25 | 4.648028e+01 | 5.100000e+01 | 9.72%
1559.07/1559.70 c 1471s| 3960k| 462 | 6419 | 0.0 | 10M| 510 | - | 607 | 958 | 0 | 0 | 188 |2513k| 25 | 4.648028e+01 | 5.100000e+01 | 9.72%
1562.86/1563.46 c 1475s| 3970k| 458 | 6419 | 0.0 | 10M| 510 | - | 607 | 958 | 0 | 0 | 188 |2519k| 25 | 4.648028e+01 | 5.100000e+01 | 9.72%
1566.66/1567.26 c 1479s| 3980k| 457 | 6419 | 0.0 | 10M| 510 | - | 607 | 958 | 0 | 0 | 188 |2525k| 25 | 4.648028e+01 | 5.100000e+01 | 9.72%
1570.46/1571.08 c 1482s| 3990k| 456 | 6419 | 0.0 | 10M| 510 | - | 607 | 958 | 0 | 0 | 188 |2532k| 25 | 4.648028e+01 | 5.100000e+01 | 9.72%
1574.36/1574.91 c 1486s| 4000k| 460 | 6419 | 0.0 | 10M| 510 | - | 607 | 958 | 0 | 0 | 188 |2538k| 25 | 4.648028e+01 | 5.100000e+01 | 9.72%
1578.16/1578.75 c 1489s| 4010k| 458 | 6419 | 0.0 | 10M| 510 | - | 607 | 958 | 0 | 0 | 188 |2544k| 25 | 4.648028e+01 | 5.100000e+01 | 9.72%
1582.16/1582.74 c 1493s| 4020k| 459 | 6419 | 0.0 | 10M| 510 | - | 607 | 958 | 0 | 0 | 188 |2551k| 25 | 4.648028e+01 | 5.100000e+01 | 9.72%
1586.16/1586.76 c 1497s| 4030k| 459 | 6419 | 0.0 | 10M| 510 | - | 607 | 958 | 0 | 0 | 188 |2558k| 25 | 4.648028e+01 | 5.100000e+01 | 9.72%
1589.96/1590.57 c 1500s| 4040k| 460 | 6419 | 0.0 | 10M| 510 | - | 607 | 958 | 0 | 0 | 188 |2564k| 25 | 4.648028e+01 | 5.100000e+01 | 9.72%
1593.85/1594.43 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1593.85/1594.43 c 1504s| 4050k| 453 | 6419 | 0.0 | 10M| 510 | - | 607 | 958 | 0 | 0 | 188 |2570k| 25 | 4.648028e+01 | 5.100000e+01 | 9.72%
1597.65/1598.27 c 1508s| 4060k| 455 | 6419 | 0.0 | 10M| 510 | - | 607 | 958 | 0 | 0 | 188 |2576k| 25 | 4.648028e+01 | 5.100000e+01 | 9.72%
1601.55/1602.10 c 1511s| 4070k| 457 | 6419 | 0.0 | 10M| 510 | - | 607 | 960 | 0 | 0 | 188 |2583k| 25 | 4.648028e+01 | 5.100000e+01 | 9.72%
1605.15/1605.75 c 1515s| 4080k| 457 | 6419 | 0.0 | 10M| 510 | - | 607 | 958 | 0 | 0 | 188 |2589k| 25 | 4.648028e+01 | 5.100000e+01 | 9.72%
1608.94/1609.54 c 1518s| 4090k| 454 | 6419 | 0.0 | 10M| 510 | - | 607 | 958 | 0 | 0 | 188 |2595k| 25 | 4.648028e+01 | 5.100000e+01 | 9.72%
1612.75/1613.31 c 1522s| 4100k| 454 | 6419 | 0.0 | 10M| 510 | - | 607 | 958 | 0 | 0 | 188 |2602k| 25 | 4.648028e+01 | 5.100000e+01 | 9.72%
1616.45/1617.06 c 1525s| 4110k| 452 | 6419 | 0.0 | 10M| 510 | - | 607 | 958 | 0 | 0 | 188 |2608k| 25 | 4.648028e+01 | 5.100000e+01 | 9.72%
1620.25/1620.82 c 1529s| 4120k| 456 | 6419 | 0.0 | 10M| 510 | - | 607 | 958 | 0 | 0 | 188 |2614k| 25 | 4.648028e+01 | 5.100000e+01 | 9.72%
1624.34/1624.96 c 1533s| 4130k| 458 | 6419 | 0.0 | 10M| 510 | - | 607 | 958 | 0 | 0 | 188 |2620k| 25 | 4.648028e+01 | 5.100000e+01 | 9.72%
1628.24/1628.86 c 1536s| 4140k| 459 | 6419 | 0.0 | 10M| 510 | - | 607 | 958 | 0 | 0 | 188 |2626k| 25 | 4.648028e+01 | 5.100000e+01 | 9.72%
1632.44/1633.06 c 1540s| 4150k| 458 | 6419 | 0.0 | 10M| 510 | - | 607 | 958 | 0 | 0 | 188 |2633k| 25 | 4.648028e+01 | 5.100000e+01 | 9.72%
1636.34/1636.93 c 1544s| 4160k| 461 | 6419 | 0.0 | 10M| 510 | - | 607 | 958 | 0 | 0 | 188 |2639k| 25 | 4.648028e+01 | 5.100000e+01 | 9.72%
1640.24/1640.81 c 1548s| 4170k| 457 | 6419 | 0.0 | 10M| 510 | - | 607 | 958 | 0 | 0 | 188 |2645k| 25 | 4.648028e+01 | 5.100000e+01 | 9.72%
1644.03/1644.64 c 1551s| 4180k| 459 | 6419 | 0.0 | 10M| 510 | - | 607 | 958 | 0 | 0 | 188 |2652k| 25 | 4.648028e+01 | 5.100000e+01 | 9.72%
1647.94/1648.51 c 1555s| 4190k| 458 | 6419 | 0.0 | 10M| 510 | - | 607 | 958 | 0 | 0 | 188 |2658k| 25 | 4.648028e+01 | 5.100000e+01 | 9.72%
1652.23/1652.88 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1652.23/1652.88 c 1559s| 4200k| 460 | 6419 | 0.0 | 10M| 510 | - | 607 | 958 | 0 | 0 | 188 |2664k| 25 | 4.648028e+01 | 5.100000e+01 | 9.72%
1656.63/1657.23 c 1563s| 4210k| 453 | 6419 | 0.0 | 10M| 510 | - | 607 | 958 | 0 | 0 | 188 |2670k| 25 | 4.648028e+01 | 5.100000e+01 | 9.72%
1660.63/1661.22 c 1567s| 4220k| 457 | 6419 | 0.0 | 10M| 510 | - | 607 | 958 | 0 | 0 | 188 |2677k| 25 | 4.648028e+01 | 5.100000e+01 | 9.72%
1664.43/1665.08 c 1571s| 4230k| 453 | 6419 | 0.0 | 10M| 510 | - | 607 | 958 | 0 | 0 | 188 |2683k| 25 | 4.648028e+01 | 5.100000e+01 | 9.72%
1668.32/1668.94 c 1574s| 4240k| 457 | 6419 | 0.0 | 10M| 510 | - | 607 | 958 | 0 | 0 | 188 |2690k| 25 | 4.648028e+01 | 5.100000e+01 | 9.72%
1672.03/1672.61 c 1578s| 4250k| 457 | 6419 | 0.0 | 10M| 510 | - | 607 | 958 | 0 | 0 | 188 |2696k| 25 | 4.648028e+01 | 5.100000e+01 | 9.72%
1675.62/1676.26 c 1581s| 4260k| 460 | 6419 | 0.0 | 10M| 510 | - | 607 | 958 | 0 | 0 | 188 |2702k| 25 | 4.648028e+01 | 5.100000e+01 | 9.72%
1679.52/1680.16 c 1585s| 4270k| 457 | 6419 | 0.0 | 10M| 510 | - | 607 | 958 | 0 | 0 | 188 |2708k| 25 | 4.648028e+01 | 5.100000e+01 | 9.72%
1683.62/1684.21 c 1589s| 4280k| 459 | 6419 | 0.0 | 10M| 510 | - | 607 | 958 | 0 | 0 | 188 |2714k| 25 | 4.648028e+01 | 5.100000e+01 | 9.72%
1687.42/1688.08 c 1592s| 4290k| 456 | 6419 | 0.0 | 10M| 510 | - | 607 | 958 | 0 | 0 | 188 |2720k| 25 | 4.648028e+01 | 5.100000e+01 | 9.72%
1691.32/1691.92 c 1596s| 4300k| 456 | 6419 | 0.0 | 10M| 510 | - | 607 | 958 | 0 | 0 | 188 |2726k| 25 | 4.648028e+01 | 5.100000e+01 | 9.72%
1695.12/1695.72 c 1600s| 4310k| 459 | 6419 | 0.0 | 10M| 510 | - | 607 | 958 | 0 | 0 | 188 |2733k| 25 | 4.648028e+01 | 5.100000e+01 | 9.72%
1698.72/1699.30 c 1603s| 4320k| 457 | 6419 | 0.0 | 10M| 510 | - | 607 | 959 | 0 | 0 | 188 |2739k| 25 | 4.648028e+01 | 5.100000e+01 | 9.72%
1702.42/1703.03 c 1607s| 4330k| 455 | 6419 | 0.0 | 10M| 510 | - | 607 | 958 | 0 | 0 | 188 |2745k| 25 | 4.648028e+01 | 5.100000e+01 | 9.72%
1706.22/1706.81 c 1610s| 4340k| 452 | 6419 | 0.0 | 10M| 510 | - | 607 | 958 | 0 | 0 | 188 |2751k| 25 | 4.648028e+01 | 5.100000e+01 | 9.72%
1709.82/1710.50 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1709.82/1710.50 c 1614s| 4350k| 457 | 6419 | 0.0 | 10M| 510 | - | 607 | 959 | 0 | 0 | 188 |2757k| 25 | 4.648028e+01 | 5.100000e+01 | 9.72%
1713.81/1714.41 c 1617s| 4360k| 459 | 6419 | 0.0 | 10M| 510 | - | 607 | 958 | 0 | 0 | 188 |2764k| 25 | 4.648028e+01 | 5.100000e+01 | 9.72%
1717.71/1718.37 c 1621s| 4370k| 456 | 6419 | 0.0 | 10M| 510 | - | 607 | 958 | 0 | 0 | 188 |2770k| 25 | 4.648028e+01 | 5.100000e+01 | 9.72%
1721.61/1722.30 c 1625s| 4380k| 453 | 6419 | 0.0 | 10M| 510 | - | 607 | 959 | 0 | 0 | 188 |2776k| 25 | 4.648028e+01 | 5.100000e+01 | 9.72%
1725.61/1726.24 c 1628s| 4390k| 457 | 6419 | 0.0 | 10M| 510 | - | 607 | 959 | 0 | 0 | 188 |2782k| 25 | 4.648028e+01 | 5.100000e+01 | 9.72%
1729.72/1730.33 c 1632s| 4400k| 457 | 6419 | 0.0 | 10M| 510 | - | 607 | 958 | 0 | 0 | 188 |2788k| 25 | 4.648028e+01 | 5.100000e+01 | 9.72%
1733.71/1734.34 c 1636s| 4410k| 458 | 6419 | 0.0 | 10M| 510 | - | 607 | 958 | 0 | 0 | 188 |2795k| 25 | 4.648028e+01 | 5.100000e+01 | 9.72%
1737.80/1738.40 c 1640s| 4420k| 457 | 6419 | 0.0 | 10M| 510 | - | 607 | 958 | 0 | 0 | 188 |2801k| 25 | 4.648028e+01 | 5.100000e+01 | 9.72%
1741.41/1742.09 c 1643s| 4430k| 457 | 6419 | 0.0 | 10M| 510 | - | 607 | 958 | 0 | 0 | 188 |2807k| 25 | 4.648028e+01 | 5.100000e+01 | 9.72%
1745.01/1745.69 c 1647s| 4440k| 456 | 6419 | 0.0 | 10M| 510 | - | 607 | 959 | 0 | 0 | 188 |2814k| 25 | 4.648028e+01 | 5.100000e+01 | 9.72%
1748.70/1749.38 c 1650s| 4450k| 455 | 6419 | 0.0 | 10M| 510 | - | 607 | 958 | 0 | 0 | 188 |2820k| 25 | 4.648028e+01 | 5.100000e+01 | 9.72%
1752.50/1753.14 c 1654s| 4460k| 458 | 6419 | 0.0 | 10M| 510 | - | 607 | 959 | 0 | 0 | 188 |2826k| 25 | 4.648028e+01 | 5.100000e+01 | 9.72%
1756.20/1756.87 c 1657s| 4470k| 456 | 6419 | 0.0 | 10M| 510 | - | 607 | 958 | 0 | 0 | 188 |2833k| 25 | 4.648028e+01 | 5.100000e+01 | 9.72%
1759.99/1760.61 c 1661s| 4480k| 458 | 6419 | 0.0 | 10M| 510 | - | 607 | 958 | 0 | 0 | 188 |2839k| 25 | 4.648028e+01 | 5.100000e+01 | 9.72%
1763.80/1764.42 c 1664s| 4490k| 459 | 6419 | 0.0 | 10M| 510 | - | 607 | 958 | 0 | 0 | 188 |2845k| 25 | 4.648028e+01 | 5.100000e+01 | 9.72%
1767.59/1768.29 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1767.59/1768.29 c 1668s| 4500k| 453 | 6419 | 0.0 | 10M| 510 | - | 607 | 958 | 0 | 0 | 188 |2852k| 25 | 4.648028e+01 | 5.100000e+01 | 9.72%
1771.50/1772.16 c 1672s| 4510k| 457 | 6419 | 0.0 | 10M| 510 | - | 607 | 958 | 0 | 0 | 188 |2858k| 25 | 4.648028e+01 | 5.100000e+01 | 9.72%
1775.39/1776.08 c 1675s| 4520k| 456 | 6419 | 0.0 | 10M| 510 | - | 607 | 958 | 0 | 0 | 188 |2864k| 25 | 4.648028e+01 | 5.100000e+01 | 9.72%
1779.59/1780.24 c 1679s| 4530k| 459 | 6419 | 0.0 | 10M| 510 | - | 607 | 958 | 0 | 0 | 188 |2871k| 25 | 4.648028e+01 | 5.100000e+01 | 9.72%
1783.39/1784.03 c 1683s| 4540k| 457 | 6419 | 0.0 | 10M| 510 | - | 607 | 959 | 0 | 0 | 188 |2877k| 25 | 4.648028e+01 | 5.100000e+01 | 9.72%
1787.09/1787.75 c 1686s| 4550k| 458 | 6419 | 0.0 | 10M| 510 | - | 607 | 958 | 0 | 0 | 188 |2883k| 25 | 4.648028e+01 | 5.100000e+01 | 9.72%
1790.89/1791.51 c 1690s| 4560k| 455 | 6419 | 0.0 | 10M| 510 | - | 607 | 958 | 0 | 0 | 188 |2890k| 25 | 4.648028e+01 | 5.100000e+01 | 9.72%
1794.49/1795.16 c 1693s| 4570k| 454 | 6419 | 0.0 | 10M| 510 | - | 607 | 958 | 0 | 0 | 188 |2896k| 25 | 4.648028e+01 | 5.100000e+01 | 9.72%
1798.18/1798.89 c 1697s| 4580k| 457 | 6419 | 0.0 | 10M| 510 | - | 607 | 958 | 0 | 0 | 188 |2902k| 25 | 4.648028e+01 | 5.100000e+01 | 9.72%
1800.10/1800.71 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.10/1800.71 c
1800.10/1800.71 c SCIP Status : solving was interrupted [user interrupt]
1800.10/1800.71 c Solving Time (sec) : 1698.62
1800.10/1800.71 c Solving Nodes : 4584813
1800.10/1800.71 c Primal Bound : +5.10000000000000e+01 (6 solutions)
1800.10/1800.71 c Dual Bound : +4.64802789802790e+01
1800.10/1800.71 c Gap : 9.72 %
1800.10/1800.71 s SATISFIABLE
1800.10/1800.71 v -x607 -x606 -x605 -x604 -x603 -x602 -x601 -x600 -x599 -x598 -x597 -x596 -x595 -x594 -x593 -x592 -x591 -x590 -x589 -x588 -x587 -x586
1800.10/1800.71 v -x585 -x584 -x583 -x582 -x581 -x580 -x579 -x578 -x577 -x576 -x575 -x574 -x573 -x572 -x571 -x570 -x569 -x568 -x567 x566 -x565
1800.10/1800.71 v -x564 -x563 -x562 -x561 -x560 -x559 -x558 -x557 -x556 -x555 -x554 -x553 -x552 -x551 -x550 -x549 -x548 -x547 -x546 -x545
1800.10/1800.71 v -x544 -x543 -x542 x541 -x540 -x539 -x538 -x537 -x536 -x535 -x534 -x533 -x532 -x531 -x530 -x529 -x528 -x527 -x526 -x525 -x524
1800.10/1800.71 v -x523 -x522 -x521 -x520 -x519 -x518 -x517 x516 -x515 -x514 -x513 -x512 -x511 -x510 -x509 -x508 -x507 -x506 -x505 -x504 -x503
1800.10/1800.71 v -x502 -x501 -x500 x499 -x498 -x497 x496 -x495 -x494 -x493 -x492 -x491 -x490 -x489 -x488 -x487 -x486 x485 -x484 -x483 -x482 -x481
1800.10/1800.71 v -x480 -x479 -x478 -x477 -x476 -x475 -x474 -x473 -x472 -x471 -x470 -x469 -x468 -x467 -x466 -x465 -x464 -x463 -x462 -x461 -x460
1800.10/1800.71 v x459 -x458 -x457 -x456 -x455 -x454 -x453 -x452 -x451 -x450 -x449 -x448 -x447 -x446 -x445 -x444 -x443 -x442 -x441 -x440 -x439
1800.10/1800.71 v -x438 -x437 -x436 -x435 -x434 -x433 -x432 -x431 -x430 -x429 -x428 -x427 -x426 -x425 -x424 -x423 -x422 x421 -x420 -x419 -x418
1800.10/1800.71 v -x417 -x416 x415 -x414 -x413 -x412 -x411 -x410 x409 -x408 -x407 -x406 -x405 -x404 -x403 -x402 -x401 -x400 -x399 -x398 -x397
1800.10/1800.71 v -x396 -x395 -x394 -x393 -x392 -x391 x390 -x389 -x388 -x387 -x386 -x385 -x384 -x383 -x382 -x381 -x380 x379 -x378 -x377 -x376
1800.10/1800.71 v -x375 -x374 -x373 x372 -x371 -x370 -x369 -x368 -x367 -x366 -x365 -x364 -x363 -x362 -x361 -x360 -x359 -x358 -x357 -x356 -x355
1800.10/1800.71 v -x354 -x353 -x352 -x351 -x350 -x349 -x348 -x347 -x346 -x345 -x344 -x343 -x342 -x341 -x340 -x339 x338 -x337 -x336 -x335 -x334
1800.10/1800.71 v -x333 -x332 -x331 -x330 -x329 -x328 -x327 -x326 -x325 -x324 -x323 -x322 -x321 -x320 -x319 -x318 -x317 -x316 -x315 -x314 -x313
1800.10/1800.71 v x312 -x311 -x310 -x309 -x308 -x307 -x306 x305 -x304 -x303 -x302 -x301 -x300 -x299 -x298 -x297 -x296 -x295 -x294 -x293 -x292
1800.10/1800.71 v -x291 -x290 x289 -x288 -x287 -x286 -x285 -x284 -x283 -x282 x281 -x280 -x279 -x278 -x277 -x276 x275 -x274 -x273 -x272 -x271
1800.10/1800.71 v -x270 -x269 x268 -x267 -x266 -x265 -x264 -x263 -x262 x261 -x260 -x259 -x258 -x257 -x256 -x255 -x254 -x253 -x252 -x251 -x250
1800.10/1800.71 v x249 -x248 -x247 -x246 -x245 -x244 -x243 -x242 -x241 x240 -x239 -x238 -x237 -x236 -x235 -x234 -x233 -x232 -x231 -x230 -x229 -x228
1800.10/1800.71 v -x227 x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217 x216 -x215 -x214 -x213 -x212 -x211 -x210 -x209 -x208 -x207
1800.10/1800.71 v -x206 -x205 x204 -x203 -x202 -x201 -x200 -x199 -x198 -x197 -x196 x195 x194 -x193 -x192 -x191 x190 -x189 -x188 -x187 -x186
1800.10/1800.71 v -x185 -x184 -x183 -x182 -x181 x180 -x179 -x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168 x167 -x166 -x165
1800.10/1800.71 v -x164 -x163 -x162 -x161 x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 x152 -x151 -x150 -x149 -x148 -x147 -x146 -x145 -x144 -x143
1800.10/1800.71 v -x142 -x141 -x140 x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126 -x125 -x124 -x123 -x122
1800.10/1800.71 v x121 -x120 -x119 x118 -x117 -x116 -x115 -x114 -x113 x112 -x111 x110 -x109 -x108 x107 -x106 -x105 -x104 -x103 -x102 -x101
1800.10/1800.71 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
1800.10/1800.71 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
1800.10/1800.71 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
1800.10/1800.71 v -x23 x22 -x21 -x20 -x19 -x18 -x17 -x16 -x15 -x14 -x13 -x12 x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2 x1
1800.10/1800.71 c SCIP Status : solving was interrupted [user interrupt]
1800.10/1800.71 c Solving Time : 1698.62
1800.10/1800.71 c Original Problem :
1800.10/1800.71 c Problem name : HOME/instance-2667050-1276414919.opb
1800.10/1800.71 c Variables : 607 (607 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.10/1800.71 c Constraints : 1022 initial, 1022 maximal
1800.10/1800.71 c Presolved Problem :
1800.10/1800.71 c Problem name : t_HOME/instance-2667050-1276414919.opb
1800.10/1800.71 c Variables : 607 (607 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.10/1800.71 c Constraints : 958 initial, 964 maximal
1800.10/1800.71 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.10/1800.71 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.10/1800.71 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.10/1800.71 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.10/1800.71 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.10/1800.71 c implics : 0.00 0 0 0 0 0 0 0 0
1800.10/1800.71 c probing : 0.00 0 0 0 0 0 0 0 0
1800.10/1800.71 c linear : 0.02 0 0 0 0 0 64 0 0
1800.10/1800.71 c logicor : 0.03 0 0 0 0 0 0 0 0
1800.10/1800.71 c root node : - 0 - - 0 - - - -
1800.10/1800.71 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.10/1800.71 c integral : 0 0 0 1 0 0 0 0 0 2
1800.10/1800.71 c logicor : 958+ 25 8403286 0 0 1986046 10030437 0 0 0
1800.10/1800.71 c countsols : 0 0 0 0 0 0 0 0 0 0
1800.10/1800.71 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.10/1800.71 c integral : 0.98 0.00 0.00 0.98 0.00
1800.10/1800.71 c logicor : 620.07 0.00 620.07 0.00 0.00
1800.10/1800.71 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.10/1800.71 c Propagators : Time Calls Cutoffs DomReds
1800.10/1800.71 c vbounds : 6.91 2 0 0
1800.10/1800.71 c rootredcost : 6.61 0 0 0
1800.10/1800.71 c pseudoobj : 687.59 14895111 920799 86383815
1800.10/1800.71 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.10/1800.71 c propagation : 770.70 2904694 2904694 2904694 127.4 2732 109.1 -
1800.10/1800.71 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.10/1800.71 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.10/1800.71 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.10/1800.71 c pseudo solution : 0.22 793 793 793 99.9 0 0.0 -
1800.10/1800.71 c applied globally : - - - 190167 53.9 - - -
1800.10/1800.71 c applied locally : - - - 2715329 132.5 - - -
1800.10/1800.71 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.10/1800.71 c cut pool : 0.04 24 - - 223 - (maximal pool size: 2417)
1800.10/1800.71 c redcost : 0.00 25 0 0 0 0
1800.10/1800.71 c impliedbounds : 0.00 25 0 0 0 0
1800.10/1800.71 c intobj : 0.00 0 0 0 0 0
1800.10/1800.71 c cgmip : 0.00 0 0 0 0 0
1800.10/1800.71 c gomory : 2.42 25 0 0 7917 0
1800.10/1800.71 c strongcg : 1.54 20 0 0 8139 0
1800.10/1800.71 c cmir : 0.18 10 0 0 13 0
1800.10/1800.71 c flowcover : 0.27 10 0 0 20 0
1800.10/1800.71 c clique : 0.01 1 0 0 0 0
1800.10/1800.71 c zerohalf : 0.00 0 0 0 0 0
1800.10/1800.71 c mcf : 0.00 1 0 0 0 0
1800.10/1800.71 c rapidlearning : 0.00 0 0 0 0 0
1800.10/1800.71 c Pricers : Time Calls Vars
1800.10/1800.71 c problem variables: 0.00 0 0
1800.10/1800.71 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.10/1800.71 c relpscost : 0.98 1 0 0 0 0 2
1800.10/1800.71 c pscost : 0.00 0 0 0 0 0 0
1800.10/1800.71 c inference : 66.13 3111401 0 0 0 0 6222802
1800.10/1800.71 c mostinf : 0.00 0 0 0 0 0 0
1800.10/1800.71 c leastinf : 0.00 0 0 0 0 0 0
1800.10/1800.71 c fullstrong : 0.00 0 0 0 0 0 0
1800.10/1800.71 c allfullstrong : 0.00 0 0 0 0 0 0
1800.10/1800.71 c random : 0.00 0 0 0 0 0 0
1800.10/1800.71 c Primal Heuristics : Time Calls Found
1800.10/1800.71 c LP solutions : 0.00 - 0
1800.10/1800.71 c pseudo solutions : 0.00 - 0
1800.10/1800.71 c crossover : 0.00 0 0
1800.10/1800.71 c oneopt : 2.20 3 1
1800.10/1800.71 c trivial : 0.01 2 4
1800.10/1800.71 c simplerounding : 0.00 0 0
1800.10/1800.71 c zirounding : 0.00 1 0
1800.10/1800.71 c rounding : 0.01 26 0
1800.10/1800.71 c shifting : 0.05 26 0
1800.10/1800.71 c intshifting : 0.00 0 0
1800.10/1800.71 c twoopt : 0.00 0 0
1800.10/1800.71 c fixandinfer : 0.00 0 0
1800.10/1800.71 c feaspump : 0.00 0 0
1800.10/1800.71 c coefdiving : 0.00 0 0
1800.10/1800.71 c pscostdiving : 0.00 0 0
1800.10/1800.71 c fracdiving : 0.00 0 0
1800.10/1800.71 c veclendiving : 0.00 0 0
1800.10/1800.71 c intdiving : 0.00 0 0
1800.10/1800.71 c actconsdiving : 0.00 0 0
1800.10/1800.71 c objpscostdiving : 0.00 0 0
1800.10/1800.71 c rootsoldiving : 0.00 0 0
1800.10/1800.71 c linesearchdiving : 0.00 0 0
1800.10/1800.71 c guideddiving : 0.00 0 0
1800.10/1800.71 c octane : 0.00 0 0
1800.10/1800.71 c rens : 1.21 1 1
1800.10/1800.71 c rins : 0.00 0 0
1800.10/1800.71 c localbranching : 0.00 0 0
1800.10/1800.71 c mutation : 0.00 0 0
1800.10/1800.71 c dins : 0.00 0 0
1800.10/1800.71 c undercover : 0.00 0 0
1800.10/1800.71 c nlp : 2.66 0 0
1800.10/1800.71 c trysol : 1.89 0 0
1800.10/1800.71 c LP : Time Calls Iterations Iter/call Iter/sec
1800.10/1800.71 c primal LP : 0.01 0 0 0.00 0.00
1800.10/1800.71 c dual LP : 1.76 26 6419 246.88 3647.16
1800.10/1800.71 c lex dual LP : 0.00 0 0 0.00 -
1800.10/1800.71 c barrier LP : 0.00 0 0 0.00 -
1800.10/1800.71 c diving/probing LP: 0.00 0 0 0.00 -
1800.10/1800.71 c strong branching : 0.98 25 3163 126.52 3227.55
1800.10/1800.71 c (at root node) : - 25 3163 126.52 -
1800.10/1800.71 c conflict analysis: 0.00 0 0 0.00 -
1800.10/1800.71 c B&B Tree :
1800.10/1800.71 c number of runs : 1
1800.10/1800.71 c nodes : 4584813
1800.10/1800.71 c nodes (total) : 4584813
1800.10/1800.71 c nodes left : 457
1800.10/1800.71 c max depth : 510
1800.10/1800.71 c max depth (total): 510
1800.10/1800.71 c backtracks : 1626301 (35.5%)
1800.10/1800.71 c delayed cutoffs : 1637248
1800.10/1800.71 c repropagations : 3102864 (50809492 domain reductions, 1434227 cutoffs)
1800.10/1800.71 c avg switch length: 2.27
1800.10/1800.71 c switching time : 103.80
1800.10/1800.71 c Solution :
1800.10/1800.71 c Solutions found : 6 (5 improvements)
1800.10/1800.71 c First Solution : +6.07000000000000e+02 (in run 1, after 0 nodes, 0.00 seconds, depth 0, found by <trivial>)
1800.10/1800.71 c Primal Bound : +5.10000000000000e+01 (in run 1, after 1 nodes, 7.46 seconds, depth 0, found by <rens>)
1800.10/1800.71 c Dual Bound : +4.64802789802790e+01
1800.10/1800.71 c Gap : 9.72 %
1800.10/1800.71 c Root Dual Bound : +4.64629629629630e+01
1800.10/1800.71 c Root Iterations : 6419
1800.10/1800.74 c Time complete: 1800.12.