0.00/0.00 c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Clp 1.11.1] [Expressions interpreter: NONE]
0.00/0.00 c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c user parameter file <scip.set> not found - using default parameters
0.00/0.00 c reading problem <HOME/instance-2665624-1276419346.opb>
0.00/0.07 c original problem has 1060 variables (1060 bin, 0 int, 0 impl, 0 cont) and 3737 constraints
0.00/0.07 c problem read
0.00/0.07 c presolving settings loaded
0.00/0.09 c presolving:
0.09/0.12 c (round 1) 20 del vars, 20 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 23420 impls, 0 clqs
0.09/0.17 c (round 2) 20 del vars, 30 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 3327 upgd conss, 23420 impls, 0 clqs
0.09/0.19 c (round 3) 20 del vars, 30 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 3707 upgd conss, 23420 impls, 0 clqs
0.19/0.23 c (0.1s) probing: 101/1040 (9.7%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.19/0.24 c (0.1s) probing aborted: 100/100 successive totally useless probings
0.19/0.24 c presolving (4 rounds):
0.19/0.24 c 20 deleted vars, 30 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.19/0.24 c 23420 implications, 0 cliques
0.19/0.24 c presolved problem has 1040 variables (1040 bin, 0 int, 0 impl, 0 cont) and 3707 constraints
0.19/0.24 c 3707 constraints of type <logicor>
0.19/0.24 c transformed objective value is always integral (scale: 1)
0.19/0.24 c Presolving Time: 0.12
0.19/0.24 c - non default parameters ----------------------------------------------------------------------
0.19/0.24 c # SCIP version 1.2.1.2
0.19/0.24 c
0.19/0.24 c # maximal number of intermediate conflict constraints generated in conflict graph (-1: use every intermediate constraint)
0.19/0.24 c # [type: int, range: [-1,2147483647], default: -1]
0.19/0.24 c conflict/interconss = 0
0.19/0.24 c
0.19/0.24 c # should binary conflicts be preferred?
0.19/0.24 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.19/0.24 c conflict/preferbinary = TRUE
0.19/0.24 c
0.19/0.24 c # maximum age an unnecessary constraint can reach before it is deleted (0: dynamic, -1: keep all constraints)
0.19/0.24 c # [type: int, range: [-1,2147483647], default: 0]
0.19/0.24 c constraints/agelimit = 1
0.19/0.24 c
0.19/0.24 c # should enforcement of pseudo solution be disabled?
0.19/0.24 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.19/0.24 c constraints/disableenfops = TRUE
0.19/0.24 c
0.19/0.24 c # frequency for displaying node information lines
0.19/0.24 c # [type: int, range: [-1,2147483647], default: 100]
0.19/0.24 c display/freq = 10000
0.19/0.24 c
0.19/0.24 c # maximal time in seconds to run
0.19/0.24 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.19/0.24 c limits/time = 1799.94
0.19/0.24 c
0.19/0.24 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.19/0.24 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.19/0.24 c limits/memory = 1620
0.19/0.24 c
0.19/0.24 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.19/0.24 c # [type: int, range: [-1,2147483647], default: 1]
0.19/0.24 c lp/solvefreq = 0
0.19/0.24 c
0.19/0.24 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.19/0.24 c # [type: char, range: {lafpsqd}, default: l]
0.19/0.24 c lp/pricing = a
0.19/0.24 c
0.19/0.24 c # should presolving try to simplify inequalities
0.19/0.24 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.19/0.24 c constraints/linear/simplifyinequalities = TRUE
0.19/0.24 c
0.19/0.24 c # should presolving try to simplify knapsacks
0.19/0.24 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.19/0.24 c constraints/knapsack/simplifyinequalities = TRUE
0.19/0.24 c
0.19/0.24 c # priority of node selection rule <dfs> in standard mode
0.19/0.24 c # [type: int, range: [-536870912,536870911], default: 0]
0.19/0.24 c nodeselection/dfs/stdpriority = 1000000
0.19/0.24 c
0.19/0.24 c -----------------------------------------------------------------------------------------------
0.19/0.24 c start solving
0.19/0.24 c
0.29/0.34 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.29/0.34 c 0.2s| 1 | 0 | 941 | - |7666k| 0 | 744 |1040 |3707 |1040 |3707 | 0 | 0 | 0 | 2.407500e+02 | -- | Inf
0.49/0.57 c 0.4s| 1 | 0 | 1082 | - |7743k| 0 | 737 |1040 |3707 |1040 |3717 | 10 | 0 | 0 | 2.492500e+02 | -- | Inf
0.70/0.73 c 0.6s| 1 | 0 | 1228 | - |7782k| 0 | 727 |1040 |3707 |1040 |3729 | 22 | 0 | 0 | 2.557500e+02 | -- | Inf
0.89/0.93 c 0.8s| 1 | 0 | 1408 | - |7854k| 0 | 728 |1040 |3707 |1040 |3743 | 36 | 0 | 0 | 2.599167e+02 | -- | Inf
1.10/1.14 c 1.0s| 1 | 0 | 1697 | - |7923k| 0 | 701 |1040 |3707 |1040 |3756 | 49 | 0 | 0 | 2.646686e+02 | -- | Inf
1.29/1.37 c 1.2s| 1 | 0 | 2027 | - |8100k| 0 | 715 |1040 |3707 |1040 |3770 | 63 | 0 | 0 | 2.670507e+02 | -- | Inf
1.49/1.59 c 1.4s| 1 | 0 | 2417 | - |8257k| 0 | 706 |1040 |3707 |1040 |3787 | 80 | 0 | 0 | 2.701953e+02 | -- | Inf
1.79/1.83 c 1.7s| 1 | 0 | 2791 | - |8493k| 0 | 712 |1040 |3707 |1040 |3802 | 95 | 0 | 0 | 2.721665e+02 | -- | Inf
1.99/2.07 c 1.9s| 1 | 0 | 3202 | - |8621k| 0 | 711 |1040 |3707 |1040 |3818 | 111 | 0 | 0 | 2.738161e+02 | -- | Inf
2.29/2.38 c 2.2s| 1 | 0 | 3609 | - |8866k| 0 | 722 |1040 |3707 |1040 |3832 | 125 | 0 | 0 | 2.756571e+02 | -- | Inf
2.68/2.70 c 2.5s| 1 | 0 | 4073 | - |9108k| 0 | 711 |1040 |3707 |1040 |3847 | 140 | 0 | 0 | 2.763480e+02 | -- | Inf
2.89/2.98 c 2.8s| 1 | 0 | 4573 | - |9474k| 0 | 697 |1040 |3707 |1040 |3860 | 153 | 0 | 0 | 2.774906e+02 | -- | Inf
3.19/3.27 c 3.1s| 1 | 0 | 4961 | - |9782k| 0 | 721 |1040 |3707 |1040 |3872 | 165 | 0 | 0 | 2.780748e+02 | -- | Inf
3.69/3.76 c 3.6s| 1 | 0 | 5445 | - | 10M| 0 | 715 |1040 |3707 |1040 |3884 | 177 | 0 | 0 | 2.790724e+02 | -- | Inf
4.39/4.40 c 4.2s| 1 | 0 | 5742 | - | 10M| 0 | 719 |1040 |3707 |1040 |3895 | 188 | 0 | 0 | 2.791936e+02 | -- | Inf
4.99/5.02 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
4.99/5.02 c 4.8s| 1 | 0 | 6145 | - | 10M| 0 | 715 |1040 |3707 |1040 |3903 | 196 | 0 | 0 | 2.793552e+02 | -- | Inf
5.59/5.66 c 5.5s| 1 | 0 | 6474 | - | 10M| 0 | 727 |1040 |3707 |1040 |3912 | 205 | 0 | 0 | 2.794776e+02 | -- | Inf
6.28/6.38 c 6.2s| 1 | 0 | 6833 | - | 10M| 0 | 721 |1040 |3707 |1040 |3901 | 213 | 0 | 0 | 2.796012e+02 | -- | Inf
6.89/6.95 c 6.7s| 1 | 0 | 7069 | - | 11M| 0 | 725 |1040 |3707 |1040 |3910 | 222 | 0 | 0 | 2.796283e+02 | -- | Inf
7.49/7.57 c 7.3s| 1 | 0 | 7380 | - | 11M| 0 | 723 |1040 |3707 |1040 |3918 | 230 | 0 | 0 | 2.796669e+02 | -- | Inf
8.19/8.22 c 8.0s| 1 | 0 | 7652 | - | 11M| 0 | 719 |1040 |3707 |1040 |3925 | 237 | 0 | 0 | 2.797233e+02 | -- | Inf
8.49/8.57 c 8.3s| 1 | 0 | 7783 | - | 11M| 0 | 729 |1040 |3707 |1040 |3932 | 244 | 0 | 0 | 2.797422e+02 | -- | Inf
8.89/8.92 c 8.7s| 1 | 0 | 7824 | - | 11M| 0 | 725 |1040 |3707 |1040 |3936 | 248 | 0 | 0 | 2.797449e+02 | -- | Inf
9.18/9.25 c 9.0s| 1 | 0 | 7833 | - | 11M| 0 | 724 |1040 |3707 |1040 |3896 | 250 | 0 | 0 | 2.797449e+02 | -- | Inf
11.00/11.01 c 10.7s| 1 | 2 | 7833 | - | 11M| 0 | 724 |1040 |3707 |1040 |3896 | 250 | 0 | 30 | 2.797449e+02 | -- | Inf
11.09/11.18 o 456
11.09/11.18 c *10.9s| 327 | 169 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 51 | 30 | 2.799367e+02 | 4.560000e+02 | 62.89%
11.09/11.19 o 455
11.09/11.19 c *10.9s| 364 | 169 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 52 | 30 | 2.799367e+02 | 4.550000e+02 | 62.54%
11.18/11.21 o 454
11.18/11.21 c *10.9s| 440 | 168 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 53 | 30 | 2.799367e+02 | 4.540000e+02 | 62.18%
11.18/11.22 o 453
11.18/11.22 c *10.9s| 498 | 167 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 53 | 30 | 2.799367e+02 | 4.530000e+02 | 61.82%
11.18/11.26 o 452
11.18/11.26 c *10.9s| 669 | 166 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 54 | 30 | 2.799367e+02 | 4.520000e+02 | 61.47%
11.59/11.68 o 451
11.59/11.68 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
11.59/11.68 c *11.3s| 2491 | 167 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 67 | 30 | 2.799367e+02 | 4.510000e+02 | 61.11%
11.59/11.68 o 450
11.59/11.68 c *11.3s| 2509 | 165 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 68 | 30 | 2.799367e+02 | 4.500000e+02 | 60.75%
11.99/12.01 o 449
11.99/12.01 c *11.6s| 3916 | 168 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 79 | 30 | 2.799367e+02 | 4.490000e+02 | 60.39%
12.10/12.18 o 448
12.10/12.18 c *11.8s| 4606 | 164 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 82 | 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
13.29/13.35 c 12.9s| 10000 | 163 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 107 | 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
15.49/15.56 c 14.9s| 20000 | 163 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 194 | 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
17.68/17.76 c 17.0s| 30000 | 158 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 279 | 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
19.98/20.08 c 19.1s| 40000 | 162 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 450 | 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
22.28/22.34 c 21.2s| 50000 | 165 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 550 | 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
24.48/24.54 c 23.2s| 60000 | 161 | 7833 | 0.0 | 11M| 229 | - |1040 |3713 | 0 | 0 | 250 | 649 | 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
26.78/26.82 c 25.4s| 70000 | 164 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 719 | 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
29.08/29.11 c 27.5s| 80000 | 164 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 835 | 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
31.48/31.55 c 29.8s| 90000 | 164 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 |1014 | 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
33.68/33.72 c 31.8s|100000 | 160 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 |1093 | 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
35.98/36.09 c 34.0s|110000 | 158 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 |1278 | 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
38.48/38.51 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
38.48/38.51 c 36.2s|120000 | 159 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 |1431 | 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
40.37/40.48 c 38.1s|130000 | 165 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 |1496 | 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
42.37/42.49 c 39.9s|140000 | 165 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 |1561 | 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
44.47/44.50 c 41.8s|150000 | 166 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 |1624 | 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
46.47/46.56 c 43.7s|160000 | 164 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 |1710 | 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
48.47/48.51 c 45.5s|170000 | 161 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 |1759 | 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
50.37/50.40 c 47.2s|180000 | 163 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 |1805 | 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
52.27/52.32 c 49.0s|190000 | 161 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 |1849 | 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
54.17/54.29 c 50.9s|200000 | 162 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 |1896 | 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
56.17/56.29 c 52.7s|210000 | 160 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 |1945 | 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
58.18/58.27 c 54.5s|220000 | 163 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 |2018 | 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
60.17/60.27 c 56.4s|230000 | 163 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 |2083 | 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
62.17/62.20 c 58.2s|240000 | 161 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 |2137 | 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
64.06/64.17 c 60.0s|250000 | 164 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 |2193 | 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
66.16/66.20 c 61.9s|260000 | 164 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 |2261 | 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
68.07/68.15 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.15 c 63.7s|270000 | 161 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 |2318 | 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
69.96/70.05 c 65.4s|280000 | 162 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 |2376 | 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
71.96/72.00 c 67.2s|290000 | 163 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 |2431 | 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
73.96/74.01 c 69.1s|300000 | 161 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 |2492 | 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
75.87/75.98 c 70.9s|310000 | 166 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 |2542 | 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
77.86/77.99 c 72.8s|320000 | 163 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 |2610 | 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
79.86/79.90 c 74.6s|330000 | 163 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 |2669 | 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
81.76/81.89 c 76.4s|340000 | 161 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 |2728 | 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
83.87/83.91 c 78.3s|350000 | 160 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 |2804 | 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
85.86/85.92 c 80.2s|360000 | 162 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 |2875 | 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
87.75/87.88 c 82.0s|370000 | 162 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 |2920 | 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
89.86/89.98 c 84.0s|380000 | 163 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 |3089 | 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
91.95/92.07 c 85.9s|390000 | 161 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 |3181 | 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
94.16/94.24 c 87.9s|400000 | 161 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 |3273 | 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
96.26/96.32 c 89.8s|410000 | 160 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 |3362 | 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
98.36/98.40 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
98.36/98.40 c 91.8s|420000 | 162 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 |3441 | 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
100.65/100.75 c 94.0s|430000 | 161 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 |3775 | 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
102.76/102.86 c 95.9s|440000 | 158 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 |3937 | 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
104.85/104.93 c 97.8s|450000 | 158 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 |4053 | 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
106.75/106.89 c 99.7s|460000 | 160 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 |4121 | 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
108.76/108.86 c 102s|470000 | 161 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 |4191 | 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
110.75/110.84 c 103s|480000 | 162 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 |4256 | 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
112.75/112.80 c 105s|490000 | 162 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 |4316 | 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
114.85/114.90 c 107s|500000 | 164 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 |4406 | 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
116.76/116.84 c 109s|510000 | 158 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 |4450 | 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
118.76/118.84 c 111s|520000 | 164 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 |4531 | 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
120.75/120.87 c 113s|530000 | 160 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 |4581 | 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
122.75/122.82 c 114s|540000 | 159 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 |4632 | 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
124.75/124.89 c 116s|550000 | 161 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 |4736 | 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
126.85/126.96 c 118s|560000 | 163 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 |4833 | 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
128.85/128.93 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
128.85/128.93 c 120s|570000 | 161 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 |4889 | 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
130.75/130.89 c 122s|580000 | 161 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 |4945 | 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
132.75/132.84 c 124s|590000 | 162 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 |5012 | 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
134.74/134.87 c 126s|600000 | 161 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 |5077 | 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
136.75/136.85 c 127s|610000 | 160 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 |5131 | 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
138.85/138.91 c 129s|620000 | 159 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 |5216 | 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
140.94/141.01 c 131s|630000 | 160 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 |5290 | 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
142.95/143.05 c 133s|640000 | 160 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 |5374 | 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
145.15/145.21 c 135s|650000 | 163 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 |5444 | 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
147.05/147.18 c 137s|660000 | 161 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 |5507 | 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
149.14/149.23 c 139s|670000 | 162 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 |5587 | 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
151.14/151.26 c 141s|680000 | 160 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 |5659 | 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
153.25/153.30 c 143s|690000 | 162 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 |5743 | 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
155.24/155.30 c 145s|700000 | 159 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 |5794 | 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
157.15/157.28 c 146s|710000 | 160 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 |5858 | 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
159.14/159.29 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
159.14/159.29 c 148s|720000 | 159 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 |5917 | 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
161.24/161.32 c 150s|730000 | 158 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 |5984 | 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
163.24/163.36 c 152s|740000 | 160 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 |6039 | 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
165.24/165.39 c 154s|750000 | 163 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 |6103 | 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
167.33/167.49 c 156s|760000 | 160 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 |6189 | 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
169.44/169.53 c 158s|770000 | 159 | 7833 | 0.0 | 11M| 229 | - |1040 |3713 | 0 | 0 | 250 |6261 | 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
171.34/171.48 c 160s|780000 | 158 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 |6311 | 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
173.34/173.47 c 162s|790000 | 159 | 7833 | 0.0 | 11M| 229 | - |1040 |3714 | 0 | 0 | 250 |6361 | 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
175.43/175.50 c 163s|800000 | 161 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 |6439 | 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
177.44/177.53 c 165s|810000 | 159 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 |6533 | 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
179.53/179.64 c 167s|820000 | 160 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 |6594 | 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
181.53/181.60 c 169s|830000 | 159 | 7833 | 0.0 | 11M| 229 | - |1040 |3713 | 0 | 0 | 250 |6687 | 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
183.54/183.60 c 171s|840000 | 159 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 |6742 | 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
185.53/185.63 c 173s|850000 | 161 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 |6804 | 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
187.54/187.61 c 175s|860000 | 160 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 |6864 | 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
189.44/189.55 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
189.44/189.55 c 176s|870000 | 157 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 |6915 | 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
191.54/191.67 c 178s|880000 | 158 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 |6987 | 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
193.63/193.73 c 180s|890000 | 162 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 |7050 | 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
195.73/195.87 c 182s|900000 | 157 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 |7100 | 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
198.03/198.11 c 184s|910000 | 167 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 |7154 | 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
200.33/200.40 c 187s|920000 | 159 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 |7203 | 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
202.34/202.46 c 188s|930000 | 157 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 |7256 | 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
204.22/204.38 c 190s|940000 | 160 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 |7304 | 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
206.22/206.31 c 192s|950000 | 158 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 |7352 | 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
208.22/208.38 c 194s|960000 | 159 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 |7412 | 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
210.33/210.43 c 196s|970000 | 155 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 |7478 | 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
212.32/212.44 c 198s|980000 | 156 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 |7538 | 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
214.22/214.40 c 200s|990000 | 155 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 |7597 | 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
216.43/216.52 c 202s| 1000k| 164 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 |7720 | 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
218.43/218.58 c 203s| 1010k| 159 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 |7826 | 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
220.63/220.72 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
220.63/220.72 c 205s| 1020k| 158 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 |7948 | 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
222.63/222.76 c 207s| 1030k| 158 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 |8045 | 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
224.82/224.92 c 209s| 1040k| 161 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 |8175 | 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
226.83/226.97 c 211s| 1050k| 160 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 |8256 | 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
228.83/228.96 c 213s| 1060k| 159 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 |8319 | 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
230.83/230.95 c 215s| 1070k| 159 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 |8380 | 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
232.82/232.91 c 217s| 1080k| 158 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 |8438 | 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
234.82/234.96 c 219s| 1090k| 160 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 |8506 | 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
236.92/237.01 c 221s| 1100k| 157 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 |8567 | 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
239.02/239.11 c 223s| 1110k| 153 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 |8673 | 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
241.12/241.21 c 225s| 1120k| 163 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 |8762 | 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
243.12/243.24 c 226s| 1130k| 165 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 |8843 | 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
245.13/245.29 c 228s| 1140k| 163 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 |8918 | 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
247.22/247.33 c 230s| 1150k| 161 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 |8992 | 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
249.22/249.30 c 232s| 1160k| 159 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 |9051 | 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
251.21/251.35 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
251.21/251.35 c 234s| 1170k| 160 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 |9131 | 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
253.11/253.23 c 236s| 1180k| 159 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 |9172 | 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
255.02/255.20 c 238s| 1190k| 159 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 |9271 | 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
257.01/257.18 c 239s| 1200k| 157 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 |9360 | 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
259.21/259.33 c 241s| 1210k| 161 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 |9499 | 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
261.22/261.34 c 243s| 1220k| 160 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 |9551 | 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
263.21/263.33 c 245s| 1230k| 163 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 |9635 | 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
265.31/265.44 c 247s| 1240k| 159 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 |9733 | 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
267.52/267.68 c 249s| 1250k| 159 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 |9821 | 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
269.81/269.96 c 251s| 1260k| 159 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 10k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
271.91/272.01 c 253s| 1270k| 160 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 10k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
274.01/274.11 c 255s| 1280k| 158 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 10k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
276.21/276.39 c 257s| 1290k| 162 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 10k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
278.81/278.91 c 260s| 1300k| 158 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 11k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
280.91/281.00 c 262s| 1310k| 158 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 11k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
282.91/283.05 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
282.91/283.05 c 264s| 1320k| 157 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 11k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
285.01/285.18 c 265s| 1330k| 158 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 11k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
287.21/287.33 c 267s| 1340k| 159 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 11k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
289.22/289.35 c 269s| 1350k| 156 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 11k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
291.41/291.52 c 271s| 1360k| 159 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 11k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
293.40/293.56 c 273s| 1370k| 156 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 11k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
295.60/295.71 c 275s| 1380k| 158 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 11k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
297.60/297.78 c 277s| 1390k| 157 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 11k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
299.61/299.79 c 279s| 1400k| 160 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 11k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
301.60/301.77 c 281s| 1410k| 160 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 12k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
303.61/303.75 c 283s| 1420k| 159 | 7833 | 0.0 | 11M| 229 | - |1040 |3713 | 0 | 0 | 250 | 12k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
305.71/305.89 c 285s| 1430k| 158 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 12k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
307.70/307.87 c 287s| 1440k| 156 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 12k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
309.80/309.94 c 289s| 1450k| 160 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 12k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
312.00/312.15 c 291s| 1460k| 158 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 12k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
314.10/314.29 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
314.10/314.29 c 293s| 1470k| 160 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 12k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
316.19/316.38 c 294s| 1480k| 158 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 12k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
318.29/318.44 c 296s| 1490k| 157 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 12k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
320.49/320.64 c 298s| 1500k| 158 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 12k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
322.49/322.65 c 300s| 1510k| 158 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 12k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
324.49/324.69 c 302s| 1520k| 160 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 13k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
326.60/326.78 c 304s| 1530k| 155 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 13k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
328.69/328.86 c 306s| 1540k| 155 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 13k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
330.79/330.92 c 308s| 1550k| 158 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 13k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
332.99/333.17 c 310s| 1560k| 164 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 13k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
335.30/335.50 c 312s| 1570k| 160 | 7833 | 0.0 | 11M| 229 | - |1040 |3713 | 0 | 0 | 250 | 13k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
337.59/337.73 c 314s| 1580k| 164 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 13k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
339.98/340.10 c 316s| 1590k| 159 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 13k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
341.89/342.06 c 318s| 1600k| 162 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 13k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
343.79/343.95 c 320s| 1610k| 160 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 13k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
345.99/346.16 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
345.99/346.16 c 322s| 1620k| 160 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 14k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
348.08/348.23 c 324s| 1630k| 159 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 14k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
350.08/350.22 c 326s| 1640k| 159 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 14k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
351.99/352.18 c 328s| 1650k| 158 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 14k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
353.99/354.19 c 330s| 1660k| 161 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 14k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
355.98/356.19 c 331s| 1670k| 159 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 14k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
358.08/358.24 c 333s| 1680k| 160 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 14k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
360.08/360.26 c 335s| 1690k| 158 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 15k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
362.08/362.25 c 337s| 1700k| 161 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 15k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
364.08/364.27 c 339s| 1710k| 156 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 15k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
366.08/366.26 c 341s| 1720k| 157 | 7833 | 0.0 | 11M| 229 | - |1040 |3713 | 0 | 0 | 250 | 15k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
368.28/368.42 c 343s| 1730k| 156 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 15k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
370.28/370.48 c 345s| 1740k| 156 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 15k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
372.37/372.51 c 347s| 1750k| 157 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 15k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
374.28/374.43 c 349s| 1760k| 157 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 15k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
376.28/376.44 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
376.28/376.44 c 350s| 1770k| 155 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 15k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
378.48/378.60 c 352s| 1780k| 156 | 7833 | 0.0 | 11M| 229 | - |1040 |3713 | 0 | 0 | 250 | 15k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
380.48/380.62 c 354s| 1790k| 160 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 16k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
382.38/382.58 c 356s| 1800k| 157 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 16k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
384.57/384.78 c 358s| 1810k| 159 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 16k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
386.67/386.86 c 360s| 1820k| 158 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 16k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
388.78/388.91 c 362s| 1830k| 154 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 16k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
390.77/390.90 c 364s| 1840k| 160 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 16k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
392.87/393.09 c 366s| 1850k| 157 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 16k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
394.77/394.98 c 368s| 1860k| 156 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 16k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
396.77/396.92 c 369s| 1870k| 155 | 7833 | 0.0 | 11M| 229 | - |1040 |3713 | 0 | 0 | 250 | 16k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
398.87/399.00 c 371s| 1880k| 157 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 16k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
400.77/400.96 c 373s| 1890k| 159 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 16k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
402.87/403.04 c 375s| 1900k| 158 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 17k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
404.97/405.12 c 377s| 1910k| 156 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 17k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
406.88/407.09 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
406.88/407.09 c 379s| 1920k| 157 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 17k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
408.87/409.08 c 381s| 1930k| 157 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 17k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
410.87/411.06 c 383s| 1940k| 156 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 17k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
412.87/413.06 c 384s| 1950k| 156 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 17k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
415.06/415.20 c 386s| 1960k| 159 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 17k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
417.16/417.37 c 388s| 1970k| 155 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 17k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
419.16/419.34 c 390s| 1980k| 155 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 17k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
421.17/421.36 c 392s| 1990k| 154 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 17k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
423.27/423.48 c 394s| 2000k| 159 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 18k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
425.26/425.46 c 396s| 2010k| 159 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 18k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
427.26/427.41 c 398s| 2020k| 161 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 18k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
429.26/429.45 c 400s| 2030k| 158 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 18k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
431.26/431.42 c 401s| 2040k| 158 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 18k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
433.27/433.47 c 403s| 2050k| 161 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 18k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
435.47/435.66 c 405s| 2060k| 157 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 18k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
437.57/437.75 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
437.57/437.75 c 407s| 2070k| 156 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 18k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
439.56/439.79 c 409s| 2080k| 156 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 18k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
441.66/441.80 c 411s| 2090k| 155 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 18k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
443.56/443.78 c 413s| 2100k| 157 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 19k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
445.56/445.78 c 415s| 2110k| 155 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 19k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
447.56/447.76 c 417s| 2120k| 157 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 19k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
449.76/449.91 c 419s| 2130k| 158 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 19k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
451.76/451.99 c 421s| 2140k| 157 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 19k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
454.06/454.23 c 423s| 2150k| 155 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 19k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
456.05/456.29 c 425s| 2160k| 159 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 19k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
458.15/458.31 c 426s| 2170k| 158 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 19k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
460.26/460.42 c 428s| 2180k| 155 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 19k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
462.26/462.45 c 430s| 2190k| 155 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 20k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
464.35/464.50 c 432s| 2200k| 155 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 20k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
466.45/466.67 c 434s| 2210k| 157 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 20k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
468.55/468.74 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
468.55/468.74 c 436s| 2220k| 156 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 20k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
470.66/470.84 c 438s| 2230k| 156 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 20k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
472.76/472.90 c 440s| 2240k| 157 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 20k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
474.85/475.04 c 442s| 2250k| 154 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 20k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
476.85/477.05 c 444s| 2260k| 152 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 20k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
479.15/479.39 c 446s| 2270k| 154 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 20k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
481.45/481.64 c 448s| 2280k| 154 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 21k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
484.25/484.47 c 451s| 2290k| 159 | 7833 | 0.0 | 11M| 229 | - |1040 |3713 | 0 | 0 | 250 | 21k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
487.25/487.46 c 454s| 2300k| 155 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 22k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
490.46/490.65 c 457s| 2310k| 155 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 23k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
493.44/493.63 c 459s| 2320k| 155 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 24k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
496.54/496.75 c 462s| 2330k| 159 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 25k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
499.25/499.46 c 465s| 2340k| 154 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 26k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
501.94/502.15 c 467s| 2350k| 157 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 26k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
504.54/504.73 c 470s| 2360k| 154 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 27k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
507.05/507.29 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
507.05/507.29 c 472s| 2370k| 158 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 27k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
509.54/509.76 c 475s| 2380k| 155 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 27k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
511.94/512.13 c 477s| 2390k| 159 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 27k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
514.44/514.62 c 479s| 2400k| 153 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 28k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
516.74/517.00 c 481s| 2410k| 158 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 28k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
518.95/519.20 c 483s| 2420k| 157 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 28k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
521.34/521.55 c 486s| 2430k| 156 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 28k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
523.94/524.11 c 488s| 2440k| 153 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 29k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
526.14/526.38 c 490s| 2450k| 157 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 29k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
528.33/528.59 c 492s| 2460k| 156 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 29k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
530.53/530.79 c 494s| 2470k| 157 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 29k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
532.83/533.05 c 496s| 2480k| 155 | 7833 | 0.0 | 11M| 229 | - |1040 |3713 | 0 | 0 | 250 | 29k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
535.63/535.81 c 499s| 2490k| 153 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 30k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
539.03/539.26 c 502s| 2500k| 152 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 31k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
541.93/542.10 c 505s| 2510k| 153 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 32k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
544.83/545.08 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
544.83/545.08 c 508s| 2520k| 155 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 33k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
548.23/548.42 c 511s| 2530k| 153 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 34k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
550.63/550.86 c 513s| 2540k| 159 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 34k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
552.83/553.08 c 515s| 2550k| 156 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 35k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
555.13/555.37 c 517s| 2560k| 158 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 35k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
557.33/557.56 c 519s| 2570k| 165 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 35k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
559.53/559.70 c 521s| 2580k| 154 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 35k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
561.63/561.89 c 523s| 2590k| 155 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 35k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
563.93/564.15 c 525s| 2600k| 153 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 36k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
566.12/566.32 c 528s| 2610k| 156 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 36k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
568.33/568.58 c 530s| 2620k| 154 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 36k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
570.53/570.71 c 532s| 2630k| 151 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 36k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
572.63/572.85 c 534s| 2640k| 152 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 36k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
574.63/574.81 c 535s| 2650k| 153 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 37k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
576.62/576.85 c 537s| 2660k| 162 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 37k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
578.72/578.94 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
578.72/578.94 c 539s| 2670k| 157 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 37k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
580.92/581.16 c 541s| 2680k| 155 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 37k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
583.12/583.35 c 543s| 2690k| 158 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 37k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
585.22/585.48 c 545s| 2700k| 161 | 7833 | 0.0 | 11M| 229 | - |1040 |3713 | 0 | 0 | 250 | 38k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
587.42/587.68 c 547s| 2710k| 157 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 38k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
589.62/589.80 c 549s| 2720k| 158 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 38k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
591.72/591.92 c 551s| 2730k| 152 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 38k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
593.73/593.99 c 553s| 2740k| 154 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 39k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
595.82/596.01 c 555s| 2750k| 153 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 39k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
597.92/598.11 c 557s| 2760k| 158 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 39k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
600.02/600.22 c 559s| 2770k| 158 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 39k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
602.02/602.28 c 561s| 2780k| 153 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 39k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
604.21/604.41 c 563s| 2790k| 156 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 39k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
606.22/606.45 c 565s| 2800k| 156 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 40k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
608.51/608.75 c 567s| 2810k| 157 | 7833 | 0.0 | 11M| 229 | - |1040 |3713 | 0 | 0 | 250 | 40k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
610.72/610.91 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
610.72/610.91 c 569s| 2820k| 156 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 40k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
612.71/612.98 c 571s| 2830k| 159 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 40k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
614.91/615.15 c 573s| 2840k| 152 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 40k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
616.92/617.18 c 575s| 2850k| 154 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 40k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
619.02/619.20 c 577s| 2860k| 157 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 40k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
621.11/621.35 c 579s| 2870k| 153 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 41k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
623.21/623.41 c 581s| 2880k| 152 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 41k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
625.41/625.69 c 583s| 2890k| 155 | 7833 | 0.0 | 11M| 229 | - |1040 |3713 | 0 | 0 | 250 | 41k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
627.82/628.01 c 585s| 2900k| 151 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 41k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
630.02/630.23 c 587s| 2910k| 154 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 41k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
632.31/632.58 c 589s| 2920k| 159 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 42k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
634.71/634.99 c 592s| 2930k| 158 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 42k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
637.10/637.33 c 594s| 2940k| 155 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 43k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
639.40/639.63 c 596s| 2950k| 154 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 43k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
641.61/641.86 c 598s| 2960k| 149 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 43k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
644.50/644.78 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
644.50/644.78 c 601s| 2970k| 157 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 44k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
647.21/647.42 c 603s| 2980k| 159 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 45k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
650.30/650.54 c 606s| 2990k| 155 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 46k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
652.70/652.91 c 608s| 3000k| 151 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 46k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
655.20/655.42 c 611s| 3010k| 155 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 47k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
657.61/657.88 c 613s| 3020k| 155 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 48k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
659.90/660.13 c 615s| 3030k| 156 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 48k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
663.40/663.62 c 619s| 3040k| 158 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 49k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
666.41/666.63 c 621s| 3050k| 156 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 50k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
668.90/669.18 c 624s| 3060k| 159 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 51k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
671.29/671.57 c 626s| 3070k| 152 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 52k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
673.80/674.00 c 628s| 3080k| 154 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 52k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
676.10/676.32 c 631s| 3090k| 153 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 53k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
678.70/678.90 c 633s| 3100k| 153 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 53k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
681.20/681.43 c 635s| 3110k| 157 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 54k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
683.50/683.75 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
683.50/683.75 c 638s| 3120k| 155 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 54k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
685.69/685.98 c 640s| 3130k| 152 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 55k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
687.99/688.27 c 642s| 3140k| 156 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 55k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
690.10/690.37 c 644s| 3150k| 156 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 55k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
692.29/692.51 c 646s| 3160k| 159 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 55k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
694.39/694.62 c 648s| 3170k| 157 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 55k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
696.59/696.85 c 650s| 3180k| 156 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 55k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
698.69/698.96 c 652s| 3190k| 157 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 56k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
700.79/701.07 c 654s| 3200k| 156 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 56k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
702.99/703.23 c 656s| 3210k| 156 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 56k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
705.19/705.42 c 658s| 3220k| 155 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 56k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
707.29/707.56 c 660s| 3230k| 152 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 56k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
709.49/709.74 c 662s| 3240k| 154 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 56k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
711.59/711.86 c 664s| 3250k| 152 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 57k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
713.79/714.06 c 666s| 3260k| 156 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 57k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
715.79/716.07 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
715.79/716.07 c 668s| 3270k| 152 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 57k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
717.99/718.30 c 670s| 3280k| 153 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 57k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
720.38/720.62 c 672s| 3290k| 158 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 57k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
722.59/722.83 c 674s| 3300k| 151 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 58k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
724.79/725.01 c 676s| 3310k| 157 | 7833 | 0.0 | 11M| 229 | - |1040 |3714 | 0 | 0 | 250 | 58k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
727.28/727.56 c 678s| 3320k| 153 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 58k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
729.38/729.69 c 680s| 3330k| 159 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 58k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
731.98/732.26 c 683s| 3340k| 153 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 59k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
734.49/734.78 c 685s| 3350k| 151 | 7833 | 0.0 | 11M| 229 | - |1040 |3713 | 0 | 0 | 250 | 60k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
737.28/737.50 c 688s| 3360k| 155 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 60k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
739.58/739.82 c 690s| 3370k| 153 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 61k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
742.08/742.34 c 692s| 3380k| 155 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 61k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
744.58/744.87 c 695s| 3390k| 154 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 62k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
747.08/747.32 c 697s| 3400k| 156 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 62k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
749.27/749.53 c 699s| 3410k| 153 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 62k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
751.58/751.85 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
751.58/751.85 c 701s| 3420k| 157 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 63k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
753.88/754.14 c 703s| 3430k| 157 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 63k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
756.17/756.44 c 705s| 3440k| 153 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 63k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
758.28/758.53 c 707s| 3450k| 154 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 64k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
760.68/760.93 c 710s| 3460k| 153 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 64k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
762.98/763.20 c 712s| 3470k| 154 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 64k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
765.18/765.48 c 714s| 3480k| 155 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 65k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
767.48/767.77 c 716s| 3490k| 152 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 65k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
769.68/769.92 c 718s| 3500k| 151 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 65k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
771.98/772.23 c 720s| 3510k| 154 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 66k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
774.37/774.63 c 723s| 3520k| 159 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 66k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
777.27/777.51 c 725s| 3530k| 153 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 67k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
779.48/779.70 c 727s| 3540k| 154 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 67k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
781.78/782.09 c 730s| 3550k| 151 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 68k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
784.08/784.30 c 732s| 3560k| 155 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 68k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
786.67/786.99 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
786.67/786.99 c 734s| 3570k| 160 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 69k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
789.07/789.36 c 736s| 3580k| 156 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 69k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
791.47/791.70 c 739s| 3590k| 153 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 69k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
793.76/794.05 c 741s| 3600k| 152 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 70k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
796.17/796.46 c 743s| 3610k| 152 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 70k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
798.67/798.98 c 745s| 3620k| 157 | 7833 | 0.0 | 11M| 229 | - |1040 |3713 | 0 | 0 | 250 | 71k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
801.26/801.54 c 748s| 3630k| 157 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 71k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
803.57/803.88 c 750s| 3640k| 154 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 72k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
805.86/806.16 c 752s| 3650k| 154 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 72k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
808.06/808.36 c 754s| 3660k| 154 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 73k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
810.27/810.59 c 756s| 3670k| 151 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 73k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
813.96/814.28 c 760s| 3680k| 155 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 74k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
816.66/816.95 c 762s| 3690k| 157 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 75k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
818.86/819.12 c 764s| 3700k| 156 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 75k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
820.86/821.17 c 766s| 3710k| 154 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 75k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
823.16/823.44 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
823.16/823.44 c 768s| 3720k| 156 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 76k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
825.55/825.80 c 771s| 3730k| 157 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 76k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
827.76/828.07 c 773s| 3740k| 157 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 77k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
830.06/830.31 c 775s| 3750k| 156 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 77k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
832.15/832.45 c 777s| 3760k| 150 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 77k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
834.16/834.49 c 779s| 3770k| 161 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 77k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
836.36/836.64 c 781s| 3780k| 154 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 78k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
838.55/838.85 c 783s| 3790k| 152 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 78k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
840.86/841.16 c 785s| 3800k| 154 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 78k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
843.15/843.46 c 787s| 3810k| 156 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 79k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
845.35/845.69 c 789s| 3820k| 156 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 79k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
847.65/847.94 c 791s| 3830k| 153 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 79k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
849.96/850.25 c 794s| 3840k| 153 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 80k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
852.05/852.39 c 796s| 3850k| 155 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 80k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
854.15/854.49 c 798s| 3860k| 148 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 80k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
856.25/856.50 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
856.25/856.50 c 799s| 3870k| 153 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 80k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
858.35/858.60 c 801s| 3880k| 152 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 81k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
860.55/860.85 c 803s| 3890k| 154 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 81k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
862.75/863.06 c 806s| 3900k| 153 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 81k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
864.95/865.29 c 808s| 3910k| 156 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 82k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
867.14/867.46 c 810s| 3920k| 150 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 82k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
869.34/869.68 c 812s| 3930k| 153 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 82k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
871.45/871.78 c 814s| 3940k| 154 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 82k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
873.74/874.00 c 816s| 3950k| 157 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 83k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
875.85/876.11 c 818s| 3960k| 156 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 83k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
877.84/878.15 c 820s| 3970k| 151 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 83k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
880.05/880.37 c 822s| 3980k| 152 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 83k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
882.34/882.62 c 824s| 3990k| 153 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 84k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
884.74/885.01 c 826s| 4000k| 154 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 84k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
887.14/887.49 c 828s| 4010k| 155 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 85k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
889.94/890.23 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
889.94/890.23 c 831s| 4020k| 156 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 86k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
893.64/893.95 c 835s| 4030k| 152 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 87k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
896.14/896.42 c 837s| 4040k| 154 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 88k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
898.74/899.06 c 839s| 4050k| 158 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 88k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
901.54/901.87 c 842s| 4060k| 158 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 89k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
903.94/904.27 c 844s| 4070k| 157 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 90k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
906.74/907.07 c 847s| 4080k| 155 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 91k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
909.34/909.64 c 849s| 4090k| 155 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 91k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
912.03/912.33 c 852s| 4100k| 153 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 92k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
914.94/915.23 c 855s| 4110k| 152 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 93k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
917.73/918.07 c 857s| 4120k| 155 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 94k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
920.34/920.69 c 860s| 4130k| 156 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 95k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
923.13/923.49 c 862s| 4140k| 156 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 96k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
926.13/926.47 c 865s| 4150k| 155 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 97k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
929.03/929.33 c 868s| 4160k| 154 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 98k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
931.93/932.23 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
931.93/932.23 c 871s| 4170k| 153 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 99k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
934.63/934.91 c 873s| 4180k| 154 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 100k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
937.52/937.82 c 876s| 4190k| 154 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 101k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
940.14/940.48 c 879s| 4200k| 153 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 102k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
943.32/943.62 c 882s| 4210k| 158 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 103k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
946.93/947.20 c 885s| 4220k| 154 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 105k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
950.23/950.52 c 888s| 4230k| 156 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 106k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
953.83/954.16 c 892s| 4240k| 156 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 108k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
956.92/957.26 c 895s| 4250k| 151 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 109k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
960.62/960.94 c 898s| 4260k| 156 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 111k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
963.92/964.29 c 901s| 4270k| 152 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 112k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
967.02/967.36 c 904s| 4280k| 153 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 114k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
969.92/970.24 c 907s| 4290k| 152 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 115k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
972.82/973.16 c 910s| 4300k| 154 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 116k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
975.62/975.93 c 912s| 4310k| 155 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 117k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
978.81/979.10 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
978.81/979.10 c 915s| 4320k| 157 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 118k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
981.82/982.18 c 918s| 4330k| 151 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 119k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
984.91/985.27 c 921s| 4340k| 152 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 121k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
987.72/988.09 c 924s| 4350k| 153 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 122k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
990.61/990.98 c 927s| 4360k| 152 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 123k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
993.62/993.95 c 930s| 4370k| 154 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 124k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
996.61/996.94 c 932s| 4380k| 153 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 125k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
999.71/1000.08 c 935s| 4390k| 155 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 126k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
1002.82/1003.15 c 938s| 4400k| 151 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 127k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
1006.01/1006.32 c 941s| 4410k| 154 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 129k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
1009.01/1009.31 c 944s| 4420k| 155 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 130k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
1012.01/1012.36 c 947s| 4430k| 157 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 131k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
1014.80/1015.18 c 950s| 4440k| 153 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 132k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
1017.41/1017.79 c 952s| 4450k| 159 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 133k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
1020.20/1020.53 c 955s| 4460k| 155 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 134k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
1023.20/1023.59 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1023.20/1023.59 c 958s| 4470k| 152 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 135k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
1025.92/1026.28 c 960s| 4480k| 158 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 135k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
1028.50/1028.89 c 963s| 4490k| 160 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 136k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
1030.80/1031.18 c 965s| 4500k| 158 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 137k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
1033.30/1033.63 c 967s| 4510k| 155 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 137k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
1035.60/1035.99 c 969s| 4520k| 156 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 138k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
1038.30/1038.63 c 972s| 4530k| 158 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 138k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
1041.20/1041.57 c 975s| 4540k| 160 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 139k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
1043.80/1044.19 c 977s| 4550k| 160 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 140k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
1046.40/1046.77 c 979s| 4560k| 157 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 141k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
1049.01/1049.32 c 982s| 4570k| 159 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 141k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
1051.50/1051.89 c 984s| 4580k| 161 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 142k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
1055.00/1055.31 c 988s| 4590k| 155 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 143k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
1057.90/1058.21 c 990s| 4600k| 152 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 144k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
1060.99/1061.36 c 993s| 4610k| 155 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 146k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
1063.80/1064.12 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1063.80/1064.12 c 996s| 4620k| 154 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 146k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
1066.30/1066.64 c 998s| 4630k| 156 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 147k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
1069.09/1069.46 c 1001s| 4640k| 157 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 148k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
1071.99/1072.39 c 1004s| 4650k| 157 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 149k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
1074.99/1075.39 c 1007s| 4660k| 154 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 150k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
1077.60/1077.90 c 1009s| 4670k| 155 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 151k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
1080.09/1080.48 c 1011s| 4680k| 154 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 152k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
1083.10/1083.47 c 1014s| 4690k| 157 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 153k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
1086.49/1086.84 c 1017s| 4700k| 154 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 154k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
1089.09/1089.40 c 1020s| 4710k| 155 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 154k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
1091.90/1092.24 c 1023s| 4720k| 154 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 155k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
1094.59/1094.99 c 1025s| 4730k| 152 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 156k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
1097.39/1097.70 c 1028s| 4740k| 156 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 157k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
1100.08/1100.47 c 1030s| 4750k| 157 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 158k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
1102.99/1103.31 c 1033s| 4760k| 153 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 159k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
1105.98/1106.31 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1105.98/1106.31 c 1036s| 4770k| 154 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 160k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
1108.68/1109.03 c 1039s| 4780k| 152 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 161k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
1112.18/1112.55 c 1042s| 4790k| 153 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 162k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
1114.68/1115.09 c 1044s| 4800k| 152 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 163k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
1117.98/1118.31 c 1047s| 4810k| 155 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 164k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
1121.18/1121.58 c 1050s| 4820k| 156 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 165k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
1124.08/1124.43 c 1053s| 4830k| 152 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 166k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
1126.88/1127.27 c 1056s| 4840k| 156 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 167k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
1129.28/1129.70 c 1058s| 4850k| 156 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 167k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
1131.77/1132.14 c 1060s| 4860k| 153 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 168k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
1134.57/1134.90 c 1063s| 4870k| 157 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 169k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
1137.38/1137.75 c 1066s| 4880k| 153 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 170k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
1140.48/1140.89 c 1069s| 4890k| 156 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 171k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
1143.37/1143.73 c 1071s| 4900k| 154 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 172k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
1146.18/1146.57 c 1074s| 4910k| 149 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 173k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
1149.27/1149.63 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1149.27/1149.63 c 1077s| 4920k| 155 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 174k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
1152.07/1152.48 c 1080s| 4930k| 157 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 175k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
1154.97/1155.34 c 1082s| 4940k| 155 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 176k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
1157.97/1158.34 c 1085s| 4950k| 155 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 177k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
1161.06/1161.46 c 1088s| 4960k| 158 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 178k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
1164.17/1164.55 c 1091s| 4970k| 154 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 179k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
1166.57/1166.99 c 1093s| 4980k| 161 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 179k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
1169.36/1169.71 c 1096s| 4990k| 156 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 180k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
1173.17/1173.60 c 1100s| 5000k| 154 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 182k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
1176.17/1176.58 c 1103s| 5010k| 160 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 183k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
1178.96/1179.35 c 1105s| 5020k| 154 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 184k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
1181.97/1182.33 c 1108s| 5030k| 152 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 185k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
1184.56/1184.97 c 1110s| 5040k| 152 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 185k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
1187.06/1187.48 c 1113s| 5050k| 150 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 186k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
1189.66/1190.03 c 1115s| 5060k| 155 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 187k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
1192.76/1193.15 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1192.76/1193.15 c 1118s| 5070k| 155 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 188k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
1196.56/1196.93 c 1122s| 5080k| 158 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 190k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
1199.76/1200.13 c 1125s| 5090k| 154 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 191k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
1202.05/1202.49 c 1127s| 5100k| 153 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 191k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
1204.66/1205.06 c 1130s| 5110k| 157 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 192k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
1207.06/1207.45 c 1132s| 5120k| 153 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 192k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
1209.46/1209.81 c 1134s| 5130k| 155 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 193k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
1211.87/1212.27 c 1136s| 5140k| 156 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 194k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
1214.35/1214.75 c 1139s| 5150k| 156 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 194k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
1216.95/1217.37 c 1141s| 5160k| 155 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 195k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
1219.35/1219.74 c 1143s| 5170k| 156 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 196k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
1221.86/1222.22 c 1146s| 5180k| 150 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 196k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
1224.46/1224.89 c 1148s| 5190k| 152 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 197k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
1227.26/1227.64 c 1151s| 5200k| 157 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 198k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
1229.65/1230.06 c 1153s| 5210k| 154 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 199k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
1232.35/1232.71 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1232.35/1232.71 c 1156s| 5220k| 155 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 199k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
1235.35/1235.76 c 1159s| 5230k| 161 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 200k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
1237.95/1238.35 c 1161s| 5240k| 156 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 201k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
1240.55/1240.97 c 1163s| 5250k| 153 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 202k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
1243.15/1243.50 c 1166s| 5260k| 155 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 202k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
1245.85/1246.27 c 1168s| 5270k| 154 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 203k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
1248.55/1248.97 c 1171s| 5280k| 154 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 204k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
1251.04/1251.43 c 1173s| 5290k| 154 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 204k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
1253.44/1253.89 c 1176s| 5300k| 160 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 205k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
1256.55/1256.94 c 1179s| 5310k| 159 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 206k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
1259.94/1260.36 c 1182s| 5320k| 154 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 207k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
1263.24/1263.65 c 1185s| 5330k| 158 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 208k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
1266.34/1266.75 c 1188s| 5340k| 158 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 209k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
1268.34/1268.78 c 1190s| 5350k| 154 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 209k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
1271.24/1271.64 c 1192s| 5360k| 153 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 210k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
1273.84/1274.25 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1273.84/1274.25 c 1195s| 5370k| 157 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 211k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
1276.44/1276.89 c 1197s| 5380k| 156 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 212k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
1279.74/1280.16 c 1200s| 5390k| 153 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 213k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
1283.24/1283.66 c 1204s| 5400k| 154 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 214k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
1285.83/1286.22 c 1206s| 5410k| 155 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 214k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
1288.44/1288.83 c 1209s| 5420k| 158 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 215k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
1290.74/1291.18 c 1211s| 5430k| 155 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 215k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
1293.14/1293.58 c 1213s| 5440k| 158 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 216k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
1295.53/1295.92 c 1215s| 5450k| 156 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 216k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
1298.03/1298.48 c 1218s| 5460k| 155 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 217k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
1300.54/1300.95 c 1220s| 5470k| 159 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 218k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
1302.73/1303.18 c 1222s| 5480k| 155 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 218k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
1305.43/1305.83 c 1225s| 5490k| 155 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 219k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
1307.83/1308.28 c 1227s| 5500k| 156 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 219k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
1310.23/1310.60 c 1229s| 5510k| 154 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 219k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
1312.83/1313.23 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1312.83/1313.23 c 1232s| 5520k| 153 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 220k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
1315.83/1316.20 c 1234s| 5530k| 150 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 221k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
1318.54/1318.93 c 1237s| 5540k| 152 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 222k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
1321.73/1322.18 c 1240s| 5550k| 153 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 223k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
1324.62/1325.07 c 1243s| 5560k| 153 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 224k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
1327.82/1328.27 c 1246s| 5570k| 152 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 225k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
1330.82/1331.27 c 1249s| 5580k| 156 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 226k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
1334.22/1334.61 c 1252s| 5590k| 158 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 228k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
1338.12/1338.53 c 1256s| 5600k| 154 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 230k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
1342.32/1342.74 c 1260s| 5610k| 153 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 232k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
1345.82/1346.25 c 1263s| 5620k| 160 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 233k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
1349.12/1349.58 c 1266s| 5630k| 150 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 235k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
1352.22/1352.62 c 1269s| 5640k| 160 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 236k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
1355.02/1355.48 c 1272s| 5650k| 157 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 237k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
1357.61/1358.02 c 1274s| 5660k| 155 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 237k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
1360.61/1361.02 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1360.61/1361.02 c 1277s| 5670k| 152 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 238k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
1364.21/1364.62 c 1281s| 5680k| 154 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 240k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
1367.22/1367.69 c 1284s| 5690k| 157 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 241k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
1370.42/1370.84 c 1287s| 5700k| 154 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 242k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
1373.31/1373.77 c 1289s| 5710k| 157 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 243k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
1376.11/1376.51 c 1292s| 5720k| 163 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 244k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
1378.61/1379.07 c 1294s| 5730k| 158 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 245k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
1381.32/1381.71 c 1297s| 5740k| 160 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 245k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
1384.42/1384.82 c 1300s| 5750k| 161 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 246k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
1386.81/1387.23 c 1302s| 5760k| 154 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 247k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
1389.31/1389.71 c 1304s| 5770k| 159 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 247k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
1392.01/1392.44 c 1307s| 5780k| 152 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 248k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
1394.61/1395.05 c 1309s| 5790k| 159 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 248k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
1397.10/1397.59 c 1312s| 5800k| 156 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 249k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
1399.71/1400.18 c 1314s| 5810k| 157 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 250k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
1402.30/1402.78 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1402.30/1402.78 c 1317s| 5820k| 158 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 250k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
1404.90/1405.36 c 1319s| 5830k| 154 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 251k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
1407.51/1407.96 c 1322s| 5840k| 154 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 252k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
1409.90/1410.39 c 1324s| 5850k| 154 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 252k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
1413.40/1413.87 c 1327s| 5860k| 158 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 254k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
1416.81/1417.30 c 1330s| 5870k| 160 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 256k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
1419.61/1420.04 c 1333s| 5880k| 157 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 256k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
1422.00/1422.42 c 1335s| 5890k| 159 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 257k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
1424.30/1424.72 c 1337s| 5900k| 157 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 257k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
1426.40/1426.90 c 1339s| 5910k| 156 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 257k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
1429.10/1429.57 c 1342s| 5920k| 156 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 258k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
1432.39/1432.88 c 1345s| 5930k| 153 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 259k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
1435.11/1435.54 c 1348s| 5940k| 154 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 260k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
1437.39/1437.82 c 1350s| 5950k| 156 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 260k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
1439.99/1440.47 c 1352s| 5960k| 158 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 261k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
1442.39/1442.82 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1442.39/1442.82 c 1354s| 5970k| 159 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 261k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
1444.69/1445.13 c 1357s| 5980k| 155 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 261k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
1447.29/1447.75 c 1359s| 5990k| 160 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 262k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
1449.40/1449.87 c 1361s| 6000k| 156 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 262k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
1451.60/1452.05 c 1363s| 6010k| 156 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 262k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
1454.19/1454.69 c 1366s| 6020k| 157 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 263k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
1456.39/1456.86 c 1368s| 6030k| 156 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 263k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
1459.09/1459.59 c 1370s| 6040k| 160 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 264k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
1461.49/1461.95 c 1372s| 6050k| 152 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 265k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
1464.19/1464.67 c 1375s| 6060k| 156 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 265k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
1467.79/1468.20 c 1378s| 6070k| 157 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 267k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
1470.78/1471.22 c 1381s| 6080k| 158 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 268k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
1473.39/1473.89 c 1384s| 6090k| 158 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 269k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
1475.88/1476.39 c 1386s| 6100k| 156 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 269k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
1478.48/1478.95 c 1388s| 6110k| 154 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 270k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
1480.98/1481.43 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1480.98/1481.43 c 1391s| 6120k| 152 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 270k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
1483.79/1484.24 c 1393s| 6130k| 156 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 271k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
1486.38/1486.88 c 1396s| 6140k| 159 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 272k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
1488.68/1489.17 c 1398s| 6150k| 157 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 272k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
1490.98/1491.46 c 1400s| 6160k| 151 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 273k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
1493.39/1493.89 c 1402s| 6170k| 156 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 273k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
1496.18/1496.60 c 1405s| 6180k| 153 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 274k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
1498.88/1499.31 c 1408s| 6190k| 153 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 275k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
1501.88/1502.32 c 1410s| 6200k| 155 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 276k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
1504.57/1505.05 c 1413s| 6210k| 158 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 277k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
1506.59/1507.09 c 1415s| 6220k| 158 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 277k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
1509.08/1509.50 c 1417s| 6230k| 157 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 277k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
1511.28/1511.74 c 1419s| 6240k| 160 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 278k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
1513.47/1513.96 c 1421s| 6250k| 152 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 278k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
1515.87/1516.35 c 1424s| 6260k| 150 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 278k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
1518.38/1518.84 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1518.38/1518.84 c 1426s| 6270k| 157 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 279k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
1521.48/1521.97 c 1429s| 6280k| 157 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 280k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
1524.27/1524.70 c 1432s| 6290k| 155 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 281k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
1526.68/1527.10 c 1434s| 6300k| 159 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 281k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
1529.17/1529.62 c 1436s| 6310k| 155 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 282k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
1531.67/1532.16 c 1439s| 6320k| 155 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 283k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
1533.97/1534.48 c 1441s| 6330k| 158 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 283k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
1536.37/1536.87 c 1443s| 6340k| 151 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 284k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
1538.87/1539.35 c 1445s| 6350k| 154 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 284k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
1542.17/1542.63 c 1448s| 6360k| 156 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 285k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
1545.37/1545.83 c 1452s| 6370k| 161 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 287k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
1547.56/1548.06 c 1454s| 6380k| 157 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 287k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
1549.87/1550.37 c 1456s| 6390k| 154 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 287k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
1552.77/1553.25 c 1459s| 6400k| 155 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 288k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
1555.27/1555.75 c 1461s| 6410k| 155 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 289k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
1558.37/1558.88 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1558.37/1558.88 c 1464s| 6420k| 156 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 290k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
1560.56/1561.03 c 1466s| 6430k| 158 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 290k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
1562.96/1563.44 c 1468s| 6440k| 156 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 291k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
1565.27/1565.76 c 1470s| 6450k| 149 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 291k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
1567.76/1568.23 c 1473s| 6460k| 152 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 292k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
1570.46/1570.98 c 1475s| 6470k| 152 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 292k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
1573.67/1574.14 c 1478s| 6480k| 155 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 294k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
1576.46/1576.98 c 1481s| 6490k| 156 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 295k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
1579.26/1579.72 c 1483s| 6500k| 158 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 295k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
1581.66/1582.12 c 1486s| 6510k| 158 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 296k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
1583.86/1584.33 c 1488s| 6520k| 153 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 296k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
1586.16/1586.63 c 1490s| 6530k| 157 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 296k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
1588.36/1588.88 c 1492s| 6540k| 153 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 297k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
1591.16/1591.66 c 1495s| 6550k| 149 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 297k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
1594.16/1594.65 c 1498s| 6560k| 151 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 298k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
1596.66/1597.16 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1596.66/1597.16 c 1500s| 6570k| 152 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 299k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
1599.16/1599.60 c 1502s| 6580k| 157 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 299k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
1601.25/1601.71 c 1504s| 6590k| 154 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 299k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
1603.46/1603.98 c 1506s| 6600k| 157 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 300k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
1605.85/1606.39 c 1509s| 6610k| 153 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 300k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
1608.36/1608.83 c 1511s| 6620k| 154 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 300k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
1610.65/1611.16 c 1513s| 6630k| 157 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 301k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
1613.26/1613.71 c 1515s| 6640k| 153 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 301k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
1616.05/1616.50 c 1518s| 6650k| 153 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 302k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
1619.05/1619.60 c 1521s| 6660k| 152 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 303k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
1622.06/1622.51 c 1524s| 6670k| 150 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 304k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
1624.65/1625.18 c 1526s| 6680k| 158 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 305k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
1627.64/1628.13 c 1529s| 6690k| 152 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 306k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
1630.44/1630.99 c 1532s| 6700k| 154 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 307k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
1633.34/1633.88 c 1534s| 6710k| 151 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 308k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
1636.45/1636.99 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1636.45/1636.99 c 1537s| 6720k| 155 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 309k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
1639.74/1640.25 c 1541s| 6730k| 152 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 311k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
1642.74/1643.24 c 1543s| 6740k| 157 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 312k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
1645.84/1646.37 c 1546s| 6750k| 156 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 313k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
1648.74/1649.29 c 1549s| 6760k| 153 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 314k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
1651.94/1652.45 c 1552s| 6770k| 158 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 315k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
1655.14/1655.66 c 1555s| 6780k| 150 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 317k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
1658.64/1659.17 c 1559s| 6790k| 152 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 318k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
1661.94/1662.41 c 1562s| 6800k| 154 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 319k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
1665.04/1665.50 c 1565s| 6810k| 154 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 321k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
1668.33/1668.80 c 1568s| 6820k| 154 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 322k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
1671.14/1671.69 c 1570s| 6830k| 154 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 323k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
1674.23/1674.79 c 1573s| 6840k| 153 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 324k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
1677.63/1678.19 c 1577s| 6850k| 150 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 325k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
1680.64/1681.10 c 1579s| 6860k| 154 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 326k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
1683.43/1683.93 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1683.43/1683.93 c 1582s| 6870k| 155 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 327k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
1686.23/1686.78 c 1585s| 6880k| 153 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 328k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
1689.33/1689.82 c 1588s| 6890k| 155 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 329k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
1692.34/1692.81 c 1590s| 6900k| 154 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 330k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
1695.22/1695.77 c 1593s| 6910k| 151 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 331k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
1698.13/1698.69 c 1596s| 6920k| 151 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 332k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
1700.73/1701.25 c 1598s| 6930k| 153 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 333k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
1703.52/1704.00 c 1601s| 6940k| 157 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 334k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
1706.23/1706.73 c 1604s| 6950k| 154 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 335k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
1708.93/1709.49 c 1606s| 6960k| 156 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 336k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
1711.33/1711.89 c 1608s| 6970k| 155 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 336k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
1713.72/1714.26 c 1611s| 6980k| 152 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 337k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
1716.02/1716.54 c 1613s| 6990k| 156 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 337k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
1718.32/1718.83 c 1615s| 7000k| 156 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 338k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
1720.42/1720.95 c 1617s| 7010k| 157 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 338k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
1722.72/1723.27 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1722.72/1723.27 c 1619s| 7020k| 158 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 338k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
1725.02/1725.50 c 1621s| 7030k| 149 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 339k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
1727.12/1727.67 c 1623s| 7040k| 154 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 339k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
1729.52/1730.07 c 1626s| 7050k| 152 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 340k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
1731.93/1732.42 c 1628s| 7060k| 156 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 340k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
1735.02/1735.53 c 1631s| 7070k| 156 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 341k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
1738.12/1738.62 c 1634s| 7080k| 151 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 342k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
1741.22/1741.75 c 1637s| 7090k| 153 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 343k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
1744.32/1744.84 c 1640s| 7100k| 156 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 345k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
1747.52/1748.00 c 1643s| 7110k| 157 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 346k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
1750.62/1751.12 c 1646s| 7120k| 152 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 347k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
1753.72/1754.20 c 1649s| 7130k| 155 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 348k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
1756.51/1757.02 c 1651s| 7140k| 155 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 349k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
1758.81/1759.35 c 1653s| 7150k| 153 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 350k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
1761.01/1761.54 c 1655s| 7160k| 155 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 350k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
1763.31/1763.89 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1763.31/1763.89 c 1658s| 7170k| 160 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 351k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
1765.91/1766.46 c 1660s| 7180k| 153 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 351k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
1768.80/1769.33 c 1663s| 7190k| 157 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 352k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
1771.01/1771.57 c 1665s| 7200k| 155 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 353k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
1773.30/1773.80 c 1667s| 7210k| 151 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 353k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
1776.11/1776.60 c 1670s| 7220k| 156 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 354k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
1778.70/1779.21 c 1672s| 7230k| 156 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 355k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
1780.91/1781.42 c 1674s| 7240k| 152 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 355k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
1783.71/1784.24 c 1677s| 7250k| 152 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 356k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
1786.40/1786.95 c 1680s| 7260k| 153 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 357k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
1789.11/1789.67 c 1682s| 7270k| 154 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 358k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
1791.70/1792.24 c 1684s| 7280k| 155 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 359k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
1794.41/1794.90 c 1687s| 7290k| 151 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 360k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
1797.40/1797.93 c 1690s| 7300k| 151 | 7833 | 0.0 | 11M| 229 | - |1040 |3712 | 0 | 0 | 250 | 361k| 30 | 2.799367e+02 | 4.480000e+02 | 60.04%
1800.00/1800.50 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.00/1800.50 c
1800.00/1800.50 c SCIP Status : solving was interrupted [user interrupt]
1800.00/1800.50 c Solving Time (sec) : 1692.34
1800.00/1800.50 c Solving Nodes : 7309888
1800.00/1800.50 c Primal Bound : +4.48000000000000e+02 (9 solutions)
1800.00/1800.50 c Dual Bound : +2.79936747286906e+02
1800.00/1800.50 c Gap : 60.04 %
1800.00/1800.51 s SATISFIABLE
1800.00/1800.51 v x1060 -x1059 x1058 -x1057 x1056 -x1055 x1054 -x1053 -x1052 -x1051 -x1050 -x1049 x1048 -x1047 -x1046 x1045 x1044 -x1043 x1042 -x1041
1800.00/1800.51 v x1040 -x1039 x1038 -x1037 -x1036 x1035 x1034 -x1033 -x1032 -x1031 -x1030 -x1029 x1028 -x1027 -x1026 -x1025 x1024 -x1023
1800.00/1800.51 v x1022 -x1021 -x1020 x1019 x1018 -x1017 x1016 -x1015 x1014 -x1013 x1012 -x1011 -x1010 -x1009 -x1008 -x1007 -x1006 -x1005 -x1004
1800.00/1800.51 v -x1003 -x1002 -x1001 x1000 -x999 x998 -x997 -x996 -x995 x994 -x993 -x992 -x991 -x990 -x989 x988 -x987 -x986 x985 x984 -x983
1800.00/1800.51 v x982 -x981 -x980 -x979 x978 -x977 x976 -x975 x974 -x973 x972 -x971 x970 -x969 -x968 -x967 -x966 -x965 x964 -x963 -x962 x961
1800.00/1800.51 v x960 -x959 x958 -x957 x956 -x955 x954 -x953 x952 -x951 -x950 x949 x948 -x947 x946 -x945 x944 -x943 x942 -x941 x940 -x939 x938
1800.00/1800.51 v -x937 x936 -x935 x934 -x933 x932 -x931 -x930 x929 x928 -x927 -x926 -x925 x924 -x923 x922 -x921 -x920 -x919 x918 -x917 x916 -x915
1800.00/1800.51 v -x914 -x913 x912 -x911 -x910 x909 -x908 -x907 x906 -x905 x904 -x903 x902 -x901 x900 -x899 x898 -x897 x896 -x895 x894 -x893
1800.00/1800.51 v x892 -x891 x890 -x889 x888 -x887 -x886 x885 x884 -x883 x882 -x881 x880 -x879 x878 -x877 x876 -x875 x874 -x873 x872 -x871 x870
1800.00/1800.51 v -x869 x868 -x867 -x866 x865 x864 -x863 x862 -x861 x860 -x859 x858 -x857 -x856 -x855 -x854 x853 -x852 -x851 -x850 -x849 x848
1800.00/1800.51 v -x847 -x846 -x845 x844 -x843 x842 -x841 x840 -x839 x838 -x837 x836 -x835 x834 -x833 x832 -x831 x830 -x829 x828 -x827 -x826
1800.00/1800.51 v x825 x824 -x823 x822 -x821 -x820 -x819 x818 -x817 x816 -x815 x814 -x813 x812 -x811 -x810 -x809 -x808 -x807 -x806 -x805 -x804
1800.00/1800.51 v -x803 -x802 x801 -x800 -x799 x798 -x797 x796 -x795 -x794 -x793 x792 -x791 -x790 -x789 -x788 -x787 -x786 -x785 -x784 x783 -x782
1800.00/1800.51 v -x781 x780 -x779 x778 -x777 -x776 x775 x774 -x773 x772 -x771 x770 -x769 x768 -x767 x766 -x765 x764 -x763 x762 -x761 -x760
1800.00/1800.51 v -x759 x758 -x757 x756 -x755 -x754 -x753 x752 -x751 -x750 x749 -x748 -x747 -x746 -x745 -x744 -x743 -x742 -x741 x740 -x739 x738
1800.00/1800.51 v -x737 x736 -x735 x734 -x733 x732 -x731 x730 -x729 x728 -x727 -x726 x725 x724 -x723 x722 -x721 x720 -x719 x718 -x717 x716 -x715
1800.00/1800.51 v x714 -x713 x712 -x711 x710 -x709 x708 -x707 -x706 x705 x704 -x703 x702 -x701 x700 -x699 x698 -x697 -x696 -x695 -x694 x693
1800.00/1800.51 v x692 -x691 x690 -x689 x688 -x687 x686 -x685 x684 -x683 x682 -x681 x680 -x679 x678 -x677 -x676 -x675 x674 -x673 -x672 x671 x670
1800.00/1800.51 v -x669 x668 -x667 -x666 -x665 x664 -x663 x662 -x661 x660 -x659 x658 -x657 -x656 x655 x654 -x653 x652 -x651 -x650 -x649 x648
1800.00/1800.51 v -x647 -x646 -x645 x644 -x643 x642 -x641 -x640 -x639 -x638 -x637 -x636 -x635 -x634 -x633 x632 -x631 -x630 -x629 -x628 -x627 -x626
1800.00/1800.51 v x625 x624 -x623 x622 -x621 x620 -x619 x618 -x617 x616 -x615 x614 -x613 x612 -x611 -x610 -x609 x608 -x607 -x606 x605 x604
1800.00/1800.51 v -x603 x602 -x601 x600 -x599 x598 -x597 x596 -x595 x594 -x593 x592 -x591 -x590 x589 x588 -x587 x586 -x585 x584 -x583 x582 -x581
1800.00/1800.51 v x580 -x579 x578 -x577 x576 -x575 x574 -x573 x572 -x571 -x570 x569 x568 -x567 x566 -x565 x564 -x563 x562 -x561 x560 -x559 x558
1800.00/1800.51 v -x557 x556 -x555 x554 -x553 -x552 -x551 -x550 x549 x548 -x547 x546 -x545 x544 -x543 x542 -x541 x540 -x539 x538 -x537 x536
1800.00/1800.51 v -x535 -x534 x533 -x532 -x531 x530 -x529 x528 -x527 -x526 -x525 x524 -x523 x522 -x521 -x520 -x519 x518 -x517 x516 -x515 -x514
1800.00/1800.51 v x513 x512 -x511 x510 -x509 -x508 -x507 -x506 -x505 x504 -x503 -x502 -x501 x500 -x499 x498 -x497 x496 -x495 -x494 -x493 -x492
1800.00/1800.51 v -x491 x490 -x489 x488 -x487 -x486 x485 x484 -x483 x482 -x481 x480 -x479 x478 -x477 x476 -x475 x474 -x473 x472 -x471 -x470 x469
1800.00/1800.51 v x468 -x467 -x466 -x465 x464 -x463 x462 -x461 -x460 -x459 x458 -x457 x456 -x455 x454 -x453 x452 -x451 x450 -x449 -x448 x447
1800.00/1800.51 v -x446 -x445 x444 -x443 -x442 -x441 x440 -x439 x438 -x437 x436 -x435 x434 -x433 x432 -x431 -x430 x429 x428 -x427 x426 -x425 x424
1800.00/1800.51 v -x423 x422 -x421 x420 -x419 x418 -x417 x416 -x415 x414 -x413 x412 -x411 -x410 x409 x408 -x407 x406 -x405 x404 -x403 x402 -x401
1800.00/1800.51 v x400 -x399 x398 -x397 -x396 -x395 x394 -x393 -x392 x391 x390 -x389 x388 -x387 x386 -x385 x384 -x383 x382 -x381 x380 -x379
1800.00/1800.51 v x378 -x377 x376 -x375 x374 -x373 x372 -x371 -x370 x369 x368 -x367 x366 -x365 x364 -x363 x362 -x361 x360 -x359 x358 -x357 x356
1800.00/1800.51 v -x355 x354 -x353 -x352 x351 -x350 -x349 x348 -x347 x346 -x345 x344 -x343 x342 -x341 -x340 -x339 x338 -x337 -x336 -x335 -x334
1800.00/1800.51 v -x333 x332 -x331 x330 -x329 -x328 x327 x326 -x325 x324 -x323 x322 -x321 x320 -x319 -x318 x317 -x316 x315 -x314 x313 -x312
1800.00/1800.51 v x311 -x310 x309 x308 -x307 -x306 x305 -x304 x303 -x302 x301 -x300 x299 -x298 x297 -x296 x295 -x294 x293 x292 -x291 -x290 x289
1800.00/1800.51 v x288 -x287 -x286 x285 x284 -x283 -x282 x281 -x280 -x279 -x278 x277 -x276 -x275 -x274 x273 -x272 -x271 -x270 x269 -x268 -x267
1800.00/1800.51 v -x266 x265 -x264 -x263 -x262 x261 -x260 -x259 -x258 x257 -x256 x255 -x254 x253 x252 -x251 -x250 x249 -x248 x247 -x246 x245 -x244
1800.00/1800.51 v x243 -x242 x241 -x240 x239 -x238 x237 x236 -x235 -x234 x233 -x232 x231 -x230 x229 -x228 x227 -x226 x225 x224 -x223 -x222
1800.00/1800.51 v x221 x220 -x219 -x218 x217 -x216 x215 -x214 x213 -x212 x211 -x210 x209 -x208 x207 -x206 x205 -x204 x203 -x202 x201 -x200 x199
1800.00/1800.51 v -x198 x197 -x196 x195 -x194 x193 -x192 x191 -x190 x189 x188 -x187 -x186 x185 -x184 x183 -x182 x181 -x180 x179 x178 -x177 -x176
1800.00/1800.51 v x175 -x174 x173 -x172 x171 -x170 x169 -x168 x167 -x166 x165 -x164 x163 -x162 x161 -x160 x159 -x158 x157 -x156 x155 -x154
1800.00/1800.51 v x153 x152 -x151 -x150 x149 -x148 x147 -x146 x145 -x144 x143 -x142 x141 -x140 x139 -x138 x137 -x136 x135 -x134 x133 -x132 x131
1800.00/1800.51 v -x130 x129 x128 -x127 -x126 x125 -x124 x123 -x122 x121 -x120 x119 -x118 x117 x116 -x115 -x114 x113 -x112 x111 -x110 x109 -x108
1800.00/1800.51 v x107 -x106 x105 -x104 x103 -x102 x101 x100 -x99 -x98 x97 -x96 x95 -x94 x93 -x92 x91 -x90 x89 -x88 x87 -x86 x85 -x84 x83 -x82
1800.00/1800.51 v x81 -x80 x79 -x78 x77 -x76 x75 -x74 x73 x72 -x71 -x70 x69 -x68 x67 -x66 x65 x64 -x63 -x62 x61 -x60 x59 -x58 x57 -x56 -x55
1800.00/1800.51 v -x54 x53 x52 -x51 -x50 x49 -x48 x47 -x46 x45 -x44 x43 -x42 -x41 -x40 -x39 -x38 x37 x36 -x35 -x34 x33 x32 -x31 -x30 x29 -x28 x27
1800.00/1800.51 v -x26 x25 -x24 x23 -x22 x21 x20 -x19 -x18 x17 -x16 x15 -x14 x13 -x12 x11 -x10 -x9 -x8 -x7 -x6 x5 x4 -x3 -x2 x1
1800.00/1800.51 c SCIP Status : solving was interrupted [user interrupt]
1800.00/1800.51 c Solving Time : 1692.34
1800.00/1800.51 c Original Problem :
1800.00/1800.51 c Problem name : HOME/instance-2665624-1276419346.opb
1800.00/1800.51 c Variables : 1060 (1060 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.00/1800.51 c Constraints : 3737 initial, 3737 maximal
1800.00/1800.51 c Presolved Problem :
1800.00/1800.51 c Problem name : t_HOME/instance-2665624-1276419346.opb
1800.00/1800.51 c Variables : 1040 (1040 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.00/1800.51 c Constraints : 3707 initial, 3718 maximal
1800.00/1800.51 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.00/1800.51 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.00/1800.51 c dualfix : 0.00 20 0 0 0 0 0 0 0
1800.00/1800.51 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.00/1800.51 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.00/1800.51 c implics : 0.00 0 0 0 0 0 0 0 0
1800.00/1800.51 c probing : 0.03 0 0 0 0 0 0 0 0
1800.00/1800.51 c linear : 0.05 0 0 0 0 0 30 0 0
1800.00/1800.51 c logicor : 0.03 0 0 0 0 0 0 0 0
1800.00/1800.51 c root node : - 0 - - 0 - - - -
1800.00/1800.51 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.00/1800.51 c integral : 0 0 0 1 0 0 0 0 0 2
1800.00/1800.51 c logicor : 3707+ 24 8721620 0 9 362278 17011800 0 0 0
1800.00/1800.51 c countsols : 0 0 0 0 9 0 0 0 0 0
1800.00/1800.51 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.00/1800.51 c integral : 1.38 0.00 0.00 1.38 0.00
1800.00/1800.51 c logicor : 393.05 0.02 393.03 0.00 0.00
1800.00/1800.51 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.00/1800.51 c Propagators : Time Calls Cutoffs DomReds
1800.00/1800.51 c vbounds : 7.69 2 0 0
1800.00/1800.51 c rootredcost : 6.59 9 0 0
1800.00/1800.51 c pseudoobj : 863.94 15122407 3312117 27068759
1800.00/1800.51 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.00/1800.51 c propagation : 308.34 362278 362278 362278 116.0 25 89.5 -
1800.00/1800.51 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.00/1800.51 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.00/1800.51 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.00/1800.51 c pseudo solution : 6.95 15635 0 0 0.0 0 0.0 -
1800.00/1800.51 c applied globally : - - - 2335 101.3 - - -
1800.00/1800.51 c applied locally : - - - 359951 116.1 - - -
1800.00/1800.51 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.00/1800.51 c cut pool : 0.05 23 - - 719 - (maximal pool size: 2136)
1800.00/1800.51 c redcost : 0.00 24 0 0 0 0
1800.00/1800.51 c impliedbounds : 0.03 24 0 0 0 0
1800.00/1800.51 c intobj : 0.00 0 0 0 0 0
1800.00/1800.51 c cgmip : 0.00 0 0 0 0 0
1800.00/1800.51 c gomory : 4.08 24 0 0 7149 0
1800.00/1800.51 c strongcg : 2.17 20 0 0 9072 0
1800.00/1800.51 c cmir : 0.27 10 0 0 0 0
1800.00/1800.51 c flowcover : 0.21 10 0 0 0 0
1800.00/1800.51 c clique : 0.03 1 0 0 0 0
1800.00/1800.51 c zerohalf : 0.00 0 0 0 0 0
1800.00/1800.51 c mcf : 0.00 1 0 0 0 0
1800.00/1800.51 c rapidlearning : 0.00 0 0 0 0 0
1800.00/1800.51 c Pricers : Time Calls Vars
1800.00/1800.51 c problem variables: 0.00 0 0
1800.00/1800.51 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.00/1800.51 c relpscost : 1.38 1 0 0 0 0 2
1800.00/1800.51 c pscost : 0.00 0 0 0 0 0 0
1800.00/1800.51 c inference : 79.41 3740796 0 0 0 0 7481592
1800.00/1800.51 c mostinf : 0.00 0 0 0 0 0 0
1800.00/1800.51 c leastinf : 0.00 0 0 0 0 0 0
1800.00/1800.51 c fullstrong : 0.00 0 0 0 0 0 0
1800.00/1800.51 c allfullstrong : 0.00 0 0 0 0 0 0
1800.00/1800.51 c random : 0.00 0 0 0 0 0 0
1800.00/1800.51 c Primal Heuristics : Time Calls Found
1800.00/1800.51 c LP solutions : 0.00 - 0
1800.00/1800.51 c pseudo solutions : 0.01 - 9
1800.00/1800.51 c oneopt : 4.74 0 0
1800.00/1800.51 c crossover : 0.00 0 0
1800.00/1800.51 c trivial : 0.01 2 0
1800.00/1800.51 c simplerounding : 0.00 0 0
1800.00/1800.51 c zirounding : 0.00 1 0
1800.00/1800.51 c rounding : 0.05 24 0
1800.00/1800.51 c shifting : 0.59 24 0
1800.00/1800.51 c intshifting : 0.00 0 0
1800.00/1800.51 c twoopt : 0.00 0 0
1800.00/1800.51 c fixandinfer : 0.00 0 0
1800.00/1800.51 c feaspump : 0.03 1 0
1800.00/1800.51 c coefdiving : 0.00 0 0
1800.00/1800.51 c pscostdiving : 0.00 0 0
1800.00/1800.51 c fracdiving : 0.00 0 0
1800.00/1800.51 c veclendiving : 0.00 0 0
1800.00/1800.51 c intdiving : 0.00 0 0
1800.00/1800.51 c actconsdiving : 0.00 0 0
1800.00/1800.51 c objpscostdiving : 0.00 0 0
1800.00/1800.51 c rootsoldiving : 0.00 0 0
1800.00/1800.51 c linesearchdiving : 0.00 0 0
1800.00/1800.51 c guideddiving : 0.00 0 0
1800.00/1800.51 c octane : 0.00 0 0
1800.00/1800.51 c rens : 0.00 0 0
1800.00/1800.51 c rins : 0.00 0 0
1800.00/1800.51 c localbranching : 0.00 0 0
1800.00/1800.51 c mutation : 0.00 0 0
1800.00/1800.51 c dins : 0.00 0 0
1800.00/1800.51 c undercover : 0.00 0 0
1800.00/1800.51 c nlp : 3.16 0 0
1800.00/1800.51 c trysol : 3.40 0 0
1800.00/1800.51 c LP : Time Calls Iterations Iter/call Iter/sec
1800.00/1800.51 c primal LP : 0.02 0 0 0.00 0.00
1800.00/1800.51 c dual LP : 1.52 24 7833 326.38 5153.29
1800.00/1800.51 c lex dual LP : 0.00 0 0 0.00 -
1800.00/1800.51 c barrier LP : 0.00 0 0 0.00 -
1800.00/1800.51 c diving/probing LP: 0.02 0 0 0.00 0.00
1800.00/1800.51 c strong branching : 1.38 30 5059 168.63 3665.94
1800.00/1800.51 c (at root node) : - 30 5059 168.63 -
1800.00/1800.51 c conflict analysis: 0.00 0 0 0.00 -
1800.00/1800.51 c B&B Tree :
1800.00/1800.51 c number of runs : 1
1800.00/1800.51 c nodes : 7309888
1800.00/1800.51 c nodes (total) : 7309888
1800.00/1800.51 c nodes left : 153
1800.00/1800.51 c max depth : 229
1800.00/1800.51 c max depth (total): 229
1800.00/1800.51 c backtracks : 1842085 (25.2%)
1800.00/1800.51 c delayed cutoffs : 171467
1800.00/1800.51 c repropagations : 215005 (1493479 domain reductions, 120948 cutoffs)
1800.00/1800.51 c avg switch length: 2.01
1800.00/1800.51 c switching time : 115.78
1800.00/1800.51 c Solution :
1800.00/1800.51 c Solutions found : 9 (9 improvements)
1800.00/1800.51 c First Solution : +4.56000000000000e+02 (in run 1, after 327 nodes, 10.86 seconds, depth 229, found by <relaxation>)
1800.00/1800.51 c Primal Bound : +4.48000000000000e+02 (in run 1, after 4606 nodes, 11.79 seconds, depth 174, found by <relaxation>)
1800.00/1800.51 c Dual Bound : +2.79936747286906e+02
1800.00/1800.51 c Gap : 60.04 %
1800.00/1800.51 c Root Dual Bound : +2.79744877639023e+02
1800.00/1800.51 c Root Iterations : 7833
1800.00/1800.54 c Time complete: 1800.04.