0.00/0.00 c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.4.2] [Expressions interpreter: NONE]
0.00/0.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-2666918-1276424169.opb>
0.06/0.09 c original problem has 2726 variables (2726 bin, 0 int, 0 impl, 0 cont) and 4395 constraints
0.06/0.09 c problem read
0.06/0.09 c presolving settings loaded
0.09/0.12 c presolving:
0.19/0.21 c (round 1) 2208 del vars, 1437 del conss, 9 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 58904 impls, 0 clqs
0.19/0.25 c (round 2) 2263 del vars, 3347 del conss, 64 chg bounds, 0 chg sides, 1 chg coeffs, 0 upgd conss, 59350 impls, 0 clqs
0.19/0.25 c (round 3) 2351 del vars, 3537 del conss, 91 chg bounds, 2 chg sides, 5 chg coeffs, 0 upgd conss, 59642 impls, 0 clqs
0.19/0.26 c (round 4) 2375 del vars, 3659 del conss, 104 chg bounds, 2 chg sides, 5 chg coeffs, 0 upgd conss, 59712 impls, 0 clqs
0.19/0.26 c (round 5) 2382 del vars, 3687 del conss, 110 chg bounds, 2 chg sides, 5 chg coeffs, 0 upgd conss, 59716 impls, 0 clqs
0.19/0.26 c (round 6) 2388 del vars, 3695 del conss, 112 chg bounds, 2 chg sides, 5 chg coeffs, 0 upgd conss, 59724 impls, 0 clqs
0.19/0.26 c (round 7) 2389 del vars, 3701 del conss, 112 chg bounds, 2 chg sides, 5 chg coeffs, 0 upgd conss, 59726 impls, 0 clqs
0.29/0.30 c (round 8) 2390 del vars, 3702 del conss, 112 chg bounds, 2 chg sides, 5 chg coeffs, 627 upgd conss, 59726 impls, 0 clqs
0.29/0.31 c (round 9) 2390 del vars, 3702 del conss, 112 chg bounds, 2 chg sides, 5 chg coeffs, 693 upgd conss, 59726 impls, 0 clqs
0.29/0.34 c (0.2s) probing: 262/336 (78.0%) - 0 fixings, 34 aggregations, 144 implications, 0 bound changes
0.29/0.34 c (0.2s) probing aborted: 100/100 successive totally useless probings
0.29/0.34 c (round 10) 2424 del vars, 3702 del conss, 112 chg bounds, 2 chg sides, 5 chg coeffs, 693 upgd conss, 60114 impls, 0 clqs
0.29/0.34 c (0.2s) probing: 272/336 (81.0%) - 0 fixings, 34 aggregations, 144 implications, 0 bound changes
0.29/0.34 c (0.2s) probing aborted: 100/100 successive totally useless probings
0.29/0.34 c presolving (11 rounds):
0.29/0.34 c 2424 deleted vars, 3702 deleted constraints, 112 tightened bounds, 0 added holes, 2 changed sides, 5 changed coefficients
0.29/0.34 c 60114 implications, 0 cliques
0.29/0.34 c presolved problem has 302 variables (302 bin, 0 int, 0 impl, 0 cont) and 693 constraints
0.29/0.34 c 693 constraints of type <logicor>
0.29/0.34 c transformed objective value is always integral (scale: 1)
0.29/0.34 c Presolving Time: 0.20
0.29/0.34 c - non default parameters ----------------------------------------------------------------------
0.29/0.34 c # SCIP version 1.2.1.2
0.29/0.34 c
0.29/0.34 c # maximal number of intermediate conflict constraints generated in conflict graph (-1: use every intermediate constraint)
0.29/0.34 c # [type: int, range: [-1,2147483647], default: -1]
0.29/0.34 c conflict/interconss = 0
0.29/0.34 c
0.29/0.34 c # should binary conflicts be preferred?
0.29/0.34 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.29/0.34 c conflict/preferbinary = TRUE
0.29/0.34 c
0.29/0.34 c # maximum age an unnecessary constraint can reach before it is deleted (0: dynamic, -1: keep all constraints)
0.29/0.34 c # [type: int, range: [-1,2147483647], default: 0]
0.29/0.34 c constraints/agelimit = 1
0.29/0.34 c
0.29/0.34 c # should enforcement of pseudo solution be disabled?
0.29/0.34 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.29/0.34 c constraints/disableenfops = TRUE
0.29/0.34 c
0.29/0.34 c # frequency for displaying node information lines
0.29/0.34 c # [type: int, range: [-1,2147483647], default: 100]
0.29/0.34 c display/freq = 10000
0.29/0.34 c
0.29/0.34 c # maximal time in seconds to run
0.29/0.34 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.29/0.34 c limits/time = 1799.91
0.29/0.34 c
0.29/0.34 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.29/0.34 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.29/0.34 c limits/memory = 1620
0.29/0.34 c
0.29/0.34 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.29/0.34 c # [type: int, range: [-1,2147483647], default: 1]
0.29/0.34 c lp/solvefreq = 0
0.29/0.34 c
0.29/0.34 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.29/0.34 c # [type: char, range: {lafpsqd}, default: l]
0.29/0.34 c lp/pricing = a
0.29/0.34 c
0.29/0.34 c # should presolving try to simplify inequalities
0.29/0.34 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.29/0.34 c constraints/linear/simplifyinequalities = TRUE
0.29/0.34 c
0.29/0.34 c # should presolving try to simplify knapsacks
0.29/0.34 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.29/0.34 c constraints/knapsack/simplifyinequalities = TRUE
0.29/0.34 c
0.29/0.34 c # priority of node selection rule <dfs> in standard mode
0.29/0.34 c # [type: int, range: [-536870912,536870911], default: 0]
0.29/0.34 c nodeselection/dfs/stdpriority = 1000000
0.29/0.34 c
0.29/0.34 c -----------------------------------------------------------------------------------------------
0.29/0.34 c start solving
0.29/0.35 c
0.29/0.36 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.36 c 0.2s| 1 | 0 | 132 | - |6938k| 0 | 83 | 302 | 693 | 302 | 660 | 0 | 0 | 0 | 1.296500e+03 | -- | Inf
0.49/0.56 o 1356
0.49/0.56 c F 0.4s| 1 | 0 | 2639 | - |7184k| 0 | 0 | 302 | 693 | 302 | 660 | 0 | 0 | 0 | 1.296500e+03 | 1.356000e+03 | 4.59%
0.49/0.59 c 0.5s| 1 | 0 | 2667 | - |7089k| 0 | 88 | 302 | 693 | 302 | 675 | 15 | 0 | 0 | 1.298000e+03 | 1.356000e+03 | 4.47%
0.49/0.59 o 1327
0.49/0.59 c b 0.5s| 1 | 0 | 2667 | - |7159k| 0 | 88 | 302 | 693 | 302 | 675 | 15 | 0 | 0 | 1.298000e+03 | 1.327000e+03 | 2.23%
0.59/0.62 c 0.5s| 1 | 0 | 2685 | - |7162k| 0 | 96 | 302 | 693 | 302 | 681 | 21 | 0 | 0 | 1.298500e+03 | 1.327000e+03 | 2.19%
0.59/0.66 c 0.5s| 1 | 0 | 2689 | - |7201k| 0 | 97 | 302 | 693 | 302 | 683 | 23 | 0 | 0 | 1.299000e+03 | 1.327000e+03 | 2.16%
0.69/0.70 c 0.6s| 1 | 0 | 2698 | - |7242k| 0 | 98 | 302 | 693 | 302 | 686 | 26 | 0 | 0 | 1.299000e+03 | 1.327000e+03 | 2.16%
0.69/0.74 c 0.6s| 1 | 0 | 2728 | - |7296k| 0 | 98 | 302 | 693 | 302 | 692 | 32 | 0 | 0 | 1.299000e+03 | 1.327000e+03 | 2.16%
0.69/0.79 c 0.6s| 1 | 0 | 2751 | - |7350k| 0 | 106 | 302 | 693 | 302 | 697 | 37 | 0 | 0 | 1.299500e+03 | 1.327000e+03 | 2.12%
0.79/0.83 c 0.7s| 1 | 0 | 2770 | - |7404k| 0 | 107 | 302 | 693 | 302 | 703 | 43 | 0 | 0 | 1.300000e+03 | 1.327000e+03 | 2.08%
0.79/0.88 c 0.7s| 1 | 0 | 2784 | - |7452k| 0 | 109 | 302 | 693 | 302 | 707 | 47 | 0 | 0 | 1.300500e+03 | 1.327000e+03 | 2.04%
0.89/0.93 c 0.8s| 1 | 0 | 2798 | - |7499k| 0 | 98 | 302 | 693 | 302 | 710 | 50 | 0 | 0 | 1.301000e+03 | 1.327000e+03 | 2.00%
0.89/0.98 c 0.8s| 1 | 0 | 2850 | - |7583k| 0 | 103 | 302 | 693 | 302 | 713 | 53 | 0 | 0 | 1.301500e+03 | 1.327000e+03 | 1.96%
1.00/1.01 c 0.9s| 1 | 0 | 2882 | - |7640k| 0 | 121 | 302 | 693 | 302 | 718 | 58 | 0 | 0 | 1.302000e+03 | 1.327000e+03 | 1.92%
1.00/1.06 c 0.9s| 1 | 0 | 2906 | - |7747k| 0 | 111 | 302 | 693 | 302 | 721 | 61 | 0 | 0 | 1.302500e+03 | 1.327000e+03 | 1.88%
1.10/1.11 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1.10/1.11 c 0.9s| 1 | 0 | 2936 | - |7882k| 0 | 122 | 302 | 693 | 302 | 724 | 64 | 0 | 0 | 1.303000e+03 | 1.327000e+03 | 1.84%
1.10/1.16 c 1.0s| 1 | 0 | 2967 | - |8082k| 0 | 104 | 302 | 693 | 302 | 731 | 71 | 0 | 0 | 1.303500e+03 | 1.327000e+03 | 1.80%
1.19/1.20 c 1.0s| 1 | 0 | 2991 | - |8181k| 0 | 110 | 302 | 693 | 302 | 717 | 74 | 0 | 0 | 1.304000e+03 | 1.327000e+03 | 1.76%
1.19/1.27 c 1.1s| 1 | 0 | 3054 | - |8443k| 0 | 117 | 302 | 693 | 302 | 719 | 76 | 0 | 0 | 1.304000e+03 | 1.327000e+03 | 1.76%
1.29/1.32 c 1.1s| 1 | 0 | 3076 | - |8733k| 0 | 113 | 302 | 693 | 302 | 724 | 81 | 0 | 0 | 1.304500e+03 | 1.327000e+03 | 1.72%
1.29/1.38 c 1.2s| 1 | 0 | 3112 | - |9003k| 0 | 107 | 302 | 693 | 302 | 729 | 86 | 0 | 0 | 1.305000e+03 | 1.327000e+03 | 1.69%
1.39/1.44 c 1.3s| 1 | 0 | 3177 | - |9181k| 0 | 129 | 302 | 693 | 302 | 732 | 89 | 0 | 0 | 1.305500e+03 | 1.327000e+03 | 1.65%
1.49/1.51 c 1.3s| 1 | 0 | 3227 | - |9492k| 0 | 130 | 302 | 693 | 302 | 737 | 94 | 0 | 0 | 1.306000e+03 | 1.327000e+03 | 1.61%
1.49/1.55 c 1.4s| 1 | 0 | 3263 | - |9631k| 0 | 128 | 302 | 693 | 302 | 726 | 99 | 0 | 0 | 1.306500e+03 | 1.327000e+03 | 1.57%
1.49/1.59 c 1.4s| 1 | 0 | 3292 | - |9783k| 0 | 129 | 302 | 693 | 302 | 731 | 104 | 0 | 0 | 1.307000e+03 | 1.327000e+03 | 1.53%
1.59/1.65 c 1.5s| 1 | 0 | 3416 | - |9817k| 0 | 108 | 302 | 693 | 302 | 733 | 106 | 0 | 0 | 1.307500e+03 | 1.327000e+03 | 1.49%
1.59/1.67 c 1.5s| 1 | 0 | 3465 | - |9839k| 0 | 125 | 302 | 693 | 302 | 742 | 115 | 0 | 0 | 1.308500e+03 | 1.327000e+03 | 1.41%
1.69/1.70 c 1.5s| 1 | 0 | 3486 | - |9916k| 0 | 119 | 302 | 693 | 302 | 747 | 120 | 0 | 0 | 1.309000e+03 | 1.327000e+03 | 1.38%
1.69/1.73 c 1.5s| 1 | 0 | 3515 | - |9997k| 0 | 130 | 302 | 693 | 302 | 751 | 124 | 0 | 0 | 1.309500e+03 | 1.327000e+03 | 1.34%
1.69/1.79 c 1.6s| 1 | 0 | 3648 | - | 10M| 0 | 114 | 302 | 693 | 302 | 739 | 129 | 0 | 0 | 1.310000e+03 | 1.327000e+03 | 1.30%
1.79/1.82 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1.79/1.82 c 1.6s| 1 | 0 | 3734 | - | 10M| 0 | 134 | 302 | 693 | 302 | 745 | 135 | 0 | 0 | 1.310500e+03 | 1.327000e+03 | 1.26%
1.79/1.86 c 1.7s| 1 | 0 | 3797 | - | 10M| 0 | 136 | 302 | 693 | 302 | 754 | 144 | 0 | 0 | 1.311000e+03 | 1.327000e+03 | 1.22%
1.89/1.90 c 1.7s| 1 | 0 | 3890 | - | 10M| 0 | 140 | 302 | 693 | 302 | 758 | 148 | 0 | 0 | 1.311500e+03 | 1.327000e+03 | 1.18%
1.89/1.94 c 1.8s| 1 | 0 | 3933 | - | 10M| 0 | 141 | 302 | 693 | 302 | 764 | 154 | 0 | 0 | 1.312000e+03 | 1.327000e+03 | 1.14%
1.89/1.99 c 1.8s| 1 | 0 | 3996 | - | 10M| 0 | 143 | 302 | 693 | 302 | 769 | 159 | 0 | 0 | 1.312000e+03 | 1.327000e+03 | 1.14%
1.99/2.04 c 1.8s| 1 | 0 | 4099 | - | 10M| 0 | 143 | 302 | 693 | 302 | 756 | 165 | 0 | 0 | 1.313000e+03 | 1.327000e+03 | 1.07%
1.99/2.09 c 1.9s| 1 | 0 | 4179 | - | 10M| 0 | 134 | 302 | 693 | 302 | 761 | 170 | 0 | 0 | 1.313500e+03 | 1.327000e+03 | 1.03%
2.10/2.12 c 1.9s| 1 | 0 | 4226 | - | 10M| 0 | 141 | 302 | 693 | 302 | 765 | 174 | 0 | 0 | 1.314000e+03 | 1.327000e+03 | 0.99%
2.10/2.17 c 2.0s| 1 | 0 | 4320 | - | 10M| 0 | 156 | 302 | 693 | 302 | 770 | 179 | 0 | 0 | 1.314500e+03 | 1.327000e+03 | 0.95%
2.20/2.21 c 2.0s| 1 | 0 | 4378 | - | 11M| 0 | 150 | 302 | 693 | 302 | 778 | 187 | 0 | 0 | 1.315000e+03 | 1.327000e+03 | 0.91%
2.20/2.27 c 2.1s| 1 | 0 | 4504 | - | 11M| 0 | 150 | 302 | 693 | 302 | 781 | 190 | 0 | 0 | 1.315500e+03 | 1.327000e+03 | 0.87%
2.29/2.31 c 2.1s| 1 | 0 | 4543 | - | 11M| 0 | 154 | 302 | 693 | 302 | 763 | 195 | 0 | 0 | 1.316000e+03 | 1.327000e+03 | 0.84%
2.29/2.35 c 2.1s| 1 | 0 | 4601 | - | 11M| 0 | 161 | 302 | 693 | 302 | 767 | 199 | 0 | 0 | 1.316500e+03 | 1.327000e+03 | 0.80%
2.39/2.40 c 2.2s| 1 | 0 | 4680 | - | 11M| 0 | 165 | 302 | 693 | 302 | 771 | 203 | 0 | 0 | 1.317000e+03 | 1.327000e+03 | 0.76%
2.39/2.44 c 2.2s| 1 | 0 | 4758 | - | 11M| 0 | 165 | 302 | 693 | 302 | 776 | 208 | 0 | 0 | 1.317500e+03 | 1.327000e+03 | 0.72%
2.39/2.48 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
2.39/2.48 c 2.3s| 1 | 0 | 4793 | - | 11M| 0 | 170 | 302 | 693 | 302 | 778 | 210 | 0 | 0 | 1.318000e+03 | 1.327000e+03 | 0.68%
2.49/2.53 c 2.3s| 1 | 0 | 4852 | - | 11M| 0 | 166 | 302 | 693 | 302 | 782 | 214 | 0 | 0 | 1.318500e+03 | 1.327000e+03 | 0.64%
2.49/2.57 c 2.4s| 1 | 0 | 4896 | - | 11M| 0 | 168 | 302 | 693 | 302 | 769 | 217 | 0 | 0 | 1.319000e+03 | 1.327000e+03 | 0.61%
2.59/2.62 c 2.4s| 1 | 0 | 4944 | - | 11M| 0 | 170 | 302 | 693 | 302 | 771 | 219 | 0 | 0 | 1.319500e+03 | 1.327000e+03 | 0.57%
2.59/2.66 c 2.4s| 1 | 0 | 4946 | - | 11M| 0 | 171 | 302 | 693 | 302 | 772 | 220 | 0 | 0 | 1.320000e+03 | 1.327000e+03 | 0.53%
2.69/2.70 c 2.5s| 1 | 0 | 4949 | - | 11M| 0 | 173 | 302 | 693 | 302 | 773 | 221 | 0 | 0 | 1.320000e+03 | 1.327000e+03 | 0.53%
2.69/2.74 c 2.5s| 1 | 0 | 4951 | - | 11M| 0 | 173 | 302 | 693 | 302 | 774 | 222 | 0 | 0 | 1.320000e+03 | 1.327000e+03 | 0.53%
2.69/2.78 c 2.6s| 1 | 0 | 4956 | - | 11M| 0 | 172 | 302 | 693 | 302 | 775 | 223 | 0 | 0 | 1.320000e+03 | 1.327000e+03 | 0.53%
2.79/2.82 c 2.6s| 1 | 0 | 4980 | - | 11M| 0 | 174 | 302 | 693 | 302 | 763 | 224 | 0 | 0 | 1.320000e+03 | 1.327000e+03 | 0.53%
2.79/2.86 c 2.6s| 1 | 0 | 5027 | - | 11M| 0 | 173 | 302 | 693 | 302 | 764 | 225 | 0 | 0 | 1.320500e+03 | 1.327000e+03 | 0.49%
2.89/2.91 c 2.7s| 1 | 0 | 5040 | - | 11M| 0 | 177 | 302 | 693 | 302 | 768 | 229 | 0 | 0 | 1.321000e+03 | 1.327000e+03 | 0.45%
2.89/2.95 c 2.7s| 1 | 0 | 5088 | - | 11M| 0 | 177 | 302 | 693 | 302 | 769 | 230 | 0 | 0 | 1.321200e+03 | 1.327000e+03 | 0.44%
2.89/3.00 c 2.8s| 1 | 0 | 5161 | - | 11M| 0 | 176 | 302 | 693 | 302 | 771 | 232 | 0 | 0 | 1.322500e+03 | 1.327000e+03 | 0.34%
2.98/3.03 c 2.8s| 1 | 0 | 5167 | - | 11M| 0 | 178 | 302 | 693 | 302 | 774 | 235 | 0 | 0 | 1.323000e+03 | 1.327000e+03 | 0.30%
2.98/3.07 c 2.9s| 1 | 0 | 5178 | - | 11M| 0 | 182 | 302 | 693 | 302 | 771 | 237 | 0 | 0 | 1.323000e+03 | 1.327000e+03 | 0.30%
3.09/3.11 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
3.09/3.11 c 2.9s| 1 | 0 | 5185 | - | 11M| 0 | 179 | 302 | 693 | 302 | 773 | 239 | 0 | 0 | 1.323000e+03 | 1.327000e+03 | 0.30%
3.09/3.15 c 2.9s| 1 | 0 | 5196 | - | 11M| 0 | 172 | 302 | 693 | 302 | 776 | 242 | 0 | 0 | 1.323000e+03 | 1.327000e+03 | 0.30%
3.09/3.19 c 3.0s| 1 | 0 | 5216 | - | 11M| 0 | 176 | 302 | 693 | 302 | 778 | 244 | 0 | 0 | 1.323000e+03 | 1.327000e+03 | 0.30%
3.19/3.24 c 3.0s| 1 | 0 | 5304 | - | 11M| 0 | 183 | 302 | 693 | 302 | 782 | 248 | 0 | 0 | 1.323000e+03 | 1.327000e+03 | 0.30%
4.09/4.10 c 3.9s| 1 | 2 | 5304 | - | 12M| 0 | 183 | 302 | 693 | 302 | 782 | 248 | 0 | 29 | 1.323000e+03 | 1.327000e+03 | 0.30%
7.09/7.15 c 6.6s| 10000 | 53 | 5304 | 0.0 | 12M| 82 | - | 302 | 743 | 0 | 0 | 248 |6401 | 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
10.19/10.27 c 9.5s| 20000 | 54 | 5304 | 0.0 | 12M| 82 | - | 302 | 751 | 0 | 0 | 248 | 13k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
13.29/13.32 c 12.3s| 30000 | 56 | 5304 | 0.0 | 12M| 82 | - | 302 | 751 | 0 | 0 | 248 | 19k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
16.39/16.45 c 15.1s| 40000 | 56 | 5304 | 0.0 | 12M| 82 | - | 302 | 761 | 0 | 0 | 248 | 25k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
19.48/19.56 c 17.9s| 50000 | 50 | 5304 | 0.0 | 12M| 82 | - | 302 | 798 | 0 | 0 | 248 | 32k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
22.68/22.72 c 20.8s| 60000 | 52 | 5304 | 0.0 | 12M| 82 | - | 302 | 751 | 0 | 0 | 248 | 39k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
25.78/25.86 c 23.7s| 70000 | 55 | 5304 | 0.0 | 12M| 82 | - | 302 | 767 | 0 | 0 | 248 | 45k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
28.98/29.00 c 26.6s| 80000 | 52 | 5304 | 0.0 | 12M| 82 | - | 302 | 782 | 0 | 0 | 248 | 52k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
32.08/32.14 c 29.4s| 90000 | 51 | 5304 | 0.0 | 12M| 82 | - | 302 | 802 | 0 | 0 | 248 | 58k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
35.08/35.19 c 32.1s|100000 | 49 | 5304 | 0.0 | 12M| 82 | - | 302 | 817 | 0 | 0 | 248 | 65k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
38.17/38.28 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
38.17/38.28 c 35.0s|110000 | 47 | 5304 | 0.0 | 12M| 82 | - | 302 | 770 | 0 | 0 | 248 | 71k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
41.38/41.41 c 37.8s|120000 | 51 | 5304 | 0.0 | 12M| 82 | - | 302 | 749 | 0 | 0 | 248 | 78k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
44.47/44.54 c 40.6s|130000 | 51 | 5304 | 0.0 | 12M| 82 | - | 302 | 745 | 0 | 0 | 248 | 84k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
47.57/47.62 c 43.5s|140000 | 49 | 5304 | 0.0 | 12M| 82 | - | 302 | 769 | 0 | 0 | 248 | 91k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
50.67/50.76 c 46.3s|150000 | 48 | 5304 | 0.0 | 12M| 82 | - | 302 | 786 | 0 | 0 | 248 | 97k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
53.87/53.91 c 49.2s|160000 | 50 | 5304 | 0.0 | 12M| 82 | - | 302 | 762 | 0 | 0 | 248 | 104k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
57.07/57.12 c 52.1s|170000 | 51 | 5304 | 0.0 | 12M| 82 | - | 302 | 757 | 0 | 0 | 248 | 110k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
60.17/60.29 c 55.0s|180000 | 50 | 5304 | 0.0 | 12M| 82 | - | 302 | 770 | 0 | 0 | 248 | 117k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
63.37/63.40 c 57.8s|190000 | 49 | 5304 | 0.0 | 12M| 82 | - | 302 | 770 | 0 | 0 | 248 | 124k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
66.56/66.60 c 60.7s|200000 | 46 | 5304 | 0.0 | 12M| 82 | - | 302 | 807 | 0 | 0 | 248 | 130k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
69.56/69.67 c 63.5s|210000 | 44 | 5304 | 0.0 | 12M| 82 | - | 302 | 756 | 0 | 0 | 248 | 137k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
72.66/72.78 c 66.3s|220000 | 38 | 5304 | 0.0 | 12M| 82 | - | 302 | 770 | 0 | 0 | 248 | 143k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
75.77/75.86 c 69.2s|230000 | 40 | 5304 | 0.0 | 12M| 82 | - | 302 | 778 | 0 | 0 | 248 | 150k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
78.85/78.91 c 71.9s|240000 | 40 | 5304 | 0.0 | 12M| 82 | - | 302 | 786 | 0 | 0 | 248 | 156k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
81.96/82.05 c 74.8s|250000 | 39 | 5304 | 0.0 | 12M| 82 | - | 302 | 804 | 0 | 0 | 248 | 163k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
85.06/85.17 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
85.06/85.17 c 77.6s|260000 | 41 | 5304 | 0.0 | 12M| 82 | - | 302 | 786 | 0 | 0 | 248 | 169k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
88.15/88.26 c 80.4s|270000 | 40 | 5304 | 0.0 | 12M| 82 | - | 302 | 775 | 0 | 0 | 248 | 176k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
91.26/91.35 c 83.2s|280000 | 41 | 5304 | 0.0 | 12M| 82 | - | 302 | 782 | 0 | 0 | 248 | 183k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
94.35/94.40 c 85.9s|290000 | 39 | 5304 | 0.0 | 12M| 82 | - | 302 | 814 | 0 | 0 | 248 | 189k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
97.35/97.44 c 88.7s|300000 | 39 | 5304 | 0.0 | 12M| 82 | - | 302 | 818 | 0 | 0 | 248 | 195k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
100.45/100.54 c 91.5s|310000 | 45 | 5304 | 0.0 | 12M| 82 | - | 302 | 758 | 0 | 0 | 248 | 202k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
103.55/103.66 c 94.3s|320000 | 40 | 5304 | 0.0 | 12M| 82 | - | 302 | 781 | 0 | 0 | 248 | 208k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
106.56/106.69 c 97.1s|330000 | 39 | 5304 | 0.0 | 12M| 82 | - | 302 | 797 | 0 | 0 | 248 | 215k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
109.65/109.79 c 100s|340000 | 43 | 5304 | 0.0 | 12M| 82 | - | 302 | 775 | 0 | 0 | 248 | 221k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
112.75/112.87 c 103s|350000 | 41 | 5304 | 0.0 | 12M| 82 | - | 302 | 807 | 0 | 0 | 248 | 228k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
115.85/115.95 c 106s|360000 | 42 | 5304 | 0.0 | 12M| 82 | - | 302 | 792 | 0 | 0 | 248 | 234k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
118.94/119.02 c 108s|370000 | 38 | 5304 | 0.0 | 12M| 82 | - | 302 | 808 | 0 | 0 | 248 | 241k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
122.05/122.16 c 111s|380000 | 39 | 5304 | 0.0 | 12M| 82 | - | 302 | 803 | 0 | 0 | 248 | 247k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
125.14/125.23 c 114s|390000 | 37 | 5304 | 0.0 | 12M| 82 | - | 302 | 829 | 0 | 0 | 248 | 254k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
128.14/128.24 c 117s|400000 | 38 | 5304 | 0.0 | 12M| 82 | - | 302 | 840 | 0 | 0 | 248 | 260k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
131.24/131.38 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
131.24/131.38 c 120s|410000 | 42 | 5304 | 0.0 | 12M| 82 | - | 302 | 762 | 0 | 0 | 248 | 266k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
134.34/134.42 c 122s|420000 | 40 | 5304 | 0.0 | 12M| 82 | - | 302 | 786 | 0 | 0 | 248 | 272k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
137.34/137.41 c 125s|430000 | 41 | 5304 | 0.0 | 12M| 82 | - | 302 | 779 | 0 | 0 | 248 | 279k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
140.54/140.62 c 128s|440000 | 42 | 5304 | 0.0 | 12M| 82 | - | 302 | 757 | 0 | 0 | 248 | 285k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
143.73/143.84 c 131s|450000 | 37 | 5304 | 0.0 | 12M| 82 | - | 302 | 773 | 0 | 0 | 248 | 292k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
146.93/147.09 c 134s|460000 | 39 | 5304 | 0.0 | 12M| 82 | - | 302 | 786 | 0 | 0 | 248 | 298k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
150.13/150.26 c 137s|470000 | 41 | 5304 | 0.0 | 12M| 82 | - | 302 | 785 | 0 | 0 | 248 | 305k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
153.33/153.42 c 140s|480000 | 43 | 5304 | 0.0 | 12M| 82 | - | 302 | 745 | 0 | 0 | 248 | 312k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
156.53/156.60 c 143s|490000 | 40 | 5304 | 0.0 | 12M| 82 | - | 302 | 768 | 0 | 0 | 248 | 318k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
159.63/159.73 c 145s|500000 | 40 | 5304 | 0.0 | 12M| 82 | - | 302 | 755 | 0 | 0 | 248 | 325k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
162.82/162.95 c 148s|510000 | 41 | 5304 | 0.0 | 12M| 82 | - | 302 | 753 | 0 | 0 | 248 | 331k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
166.03/166.13 c 151s|520000 | 39 | 5304 | 0.0 | 12M| 82 | - | 302 | 783 | 0 | 0 | 248 | 338k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
169.13/169.28 c 154s|530000 | 40 | 5304 | 0.0 | 12M| 82 | - | 302 | 783 | 0 | 0 | 248 | 345k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
172.32/172.48 c 157s|540000 | 40 | 5304 | 0.0 | 12M| 82 | - | 302 | 783 | 0 | 0 | 248 | 351k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
175.52/175.69 c 160s|550000 | 37 | 5304 | 0.0 | 12M| 82 | - | 302 | 798 | 0 | 0 | 248 | 358k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
178.71/178.84 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
178.71/178.84 c 163s|560000 | 39 | 5304 | 0.0 | 12M| 82 | - | 302 | 754 | 0 | 0 | 248 | 364k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
181.82/181.94 c 166s|570000 | 43 | 5304 | 0.0 | 12M| 82 | - | 302 | 740 | 0 | 0 | 248 | 371k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
185.02/185.17 c 169s|580000 | 41 | 5304 | 0.0 | 12M| 82 | - | 302 | 742 | 0 | 0 | 248 | 377k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
188.22/188.39 c 172s|590000 | 38 | 5304 | 0.0 | 12M| 82 | - | 302 | 735 | 0 | 0 | 248 | 384k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
191.52/191.64 c 174s|600000 | 39 | 5304 | 0.0 | 12M| 82 | - | 302 | 756 | 0 | 0 | 248 | 390k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
194.62/194.79 c 177s|610000 | 40 | 5304 | 0.0 | 12M| 82 | - | 302 | 739 | 0 | 0 | 248 | 397k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
197.82/197.99 c 180s|620000 | 40 | 5304 | 0.0 | 12M| 82 | - | 302 | 716 | 0 | 0 | 248 | 404k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
201.12/201.20 c 183s|630000 | 36 | 5304 | 0.0 | 12M| 82 | - | 302 | 764 | 0 | 0 | 248 | 410k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
204.30/204.42 c 186s|640000 | 40 | 5304 | 0.0 | 12M| 82 | - | 302 | 726 | 0 | 0 | 248 | 417k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
207.41/207.52 c 189s|650000 | 43 | 5304 | 0.0 | 12M| 82 | - | 302 | 743 | 0 | 0 | 248 | 424k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
210.60/210.77 c 192s|660000 | 39 | 5304 | 0.0 | 12M| 82 | - | 302 | 739 | 0 | 0 | 248 | 430k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
213.81/213.94 c 195s|670000 | 37 | 5304 | 0.0 | 12M| 82 | - | 302 | 767 | 0 | 0 | 248 | 437k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
217.01/217.12 c 198s|680000 | 39 | 5304 | 0.0 | 12M| 82 | - | 302 | 754 | 0 | 0 | 248 | 443k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
220.20/220.32 c 200s|690000 | 39 | 5304 | 0.0 | 12M| 82 | - | 302 | 756 | 0 | 0 | 248 | 450k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
223.30/223.48 c 203s|700000 | 38 | 5304 | 0.0 | 12M| 82 | - | 302 | 767 | 0 | 0 | 248 | 457k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
226.40/226.60 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
226.40/226.60 c 206s|710000 | 44 | 5304 | 0.0 | 12M| 82 | - | 302 | 732 | 0 | 0 | 248 | 463k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
229.60/229.76 c 209s|720000 | 41 | 5304 | 0.0 | 12M| 82 | - | 302 | 744 | 0 | 0 | 248 | 470k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
232.69/232.88 c 212s|730000 | 43 | 5304 | 0.0 | 12M| 82 | - | 302 | 744 | 0 | 0 | 248 | 476k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
235.90/236.00 c 215s|740000 | 39 | 5304 | 0.0 | 12M| 82 | - | 302 | 781 | 0 | 0 | 248 | 483k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
238.89/239.07 c 218s|750000 | 40 | 5304 | 0.0 | 12M| 82 | - | 302 | 780 | 0 | 0 | 248 | 489k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
242.00/242.19 c 220s|760000 | 41 | 5304 | 0.0 | 12M| 82 | - | 302 | 760 | 0 | 0 | 248 | 496k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
245.20/245.34 c 223s|770000 | 39 | 5304 | 0.0 | 12M| 82 | - | 302 | 768 | 0 | 0 | 248 | 503k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
248.39/248.51 c 226s|780000 | 38 | 5304 | 0.0 | 12M| 82 | - | 302 | 786 | 0 | 0 | 248 | 509k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
251.49/251.64 c 229s|790000 | 38 | 5304 | 0.0 | 12M| 82 | - | 302 | 780 | 0 | 0 | 248 | 516k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
254.59/254.76 c 232s|800000 | 42 | 5304 | 0.0 | 12M| 82 | - | 302 | 756 | 0 | 0 | 248 | 523k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
257.68/257.85 c 235s|810000 | 40 | 5304 | 0.0 | 12M| 82 | - | 302 | 785 | 0 | 0 | 248 | 529k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
260.68/260.87 c 237s|820000 | 41 | 5304 | 0.0 | 12M| 82 | - | 302 | 771 | 0 | 0 | 248 | 535k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
263.69/263.83 c 240s|830000 | 41 | 5304 | 0.0 | 12M| 82 | - | 302 | 766 | 0 | 0 | 248 | 542k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
266.78/266.94 c 243s|840000 | 39 | 5304 | 0.0 | 12M| 82 | - | 302 | 785 | 0 | 0 | 248 | 548k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
269.78/269.98 c 246s|850000 | 37 | 5304 | 0.0 | 12M| 82 | - | 302 | 778 | 0 | 0 | 248 | 554k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
272.88/273.00 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
272.88/273.00 c 248s|860000 | 43 | 5304 | 0.0 | 12M| 82 | - | 302 | 716 | 0 | 0 | 248 | 561k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
275.88/276.08 c 251s|870000 | 40 | 5304 | 0.0 | 12M| 82 | - | 302 | 735 | 0 | 0 | 248 | 567k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
279.07/279.26 c 254s|880000 | 39 | 5304 | 0.0 | 12M| 82 | - | 302 | 772 | 0 | 0 | 248 | 574k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
282.27/282.40 c 257s|890000 | 39 | 5304 | 0.0 | 12M| 82 | - | 302 | 764 | 0 | 0 | 248 | 581k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
285.37/285.58 c 260s|900000 | 40 | 5304 | 0.0 | 12M| 82 | - | 302 | 717 | 0 | 0 | 248 | 587k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
288.58/288.72 c 263s|910000 | 39 | 5304 | 0.0 | 12M| 82 | - | 302 | 741 | 0 | 0 | 248 | 594k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
291.67/291.83 c 265s|920000 | 39 | 5304 | 0.0 | 12M| 82 | - | 302 | 724 | 0 | 0 | 248 | 600k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
294.77/294.95 c 268s|930000 | 38 | 5304 | 0.0 | 12M| 82 | - | 302 | 741 | 0 | 0 | 248 | 607k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
297.88/298.05 c 271s|940000 | 42 | 5304 | 0.0 | 12M| 82 | - | 302 | 733 | 0 | 0 | 248 | 614k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
301.07/301.20 c 274s|950000 | 39 | 5304 | 0.0 | 12M| 82 | - | 302 | 761 | 0 | 0 | 248 | 620k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
304.16/304.34 c 277s|960000 | 40 | 5304 | 0.0 | 12M| 82 | - | 302 | 747 | 0 | 0 | 248 | 627k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
307.26/307.47 c 280s|970000 | 38 | 5304 | 0.0 | 12M| 82 | - | 302 | 751 | 0 | 0 | 248 | 633k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
310.37/310.59 c 282s|980000 | 41 | 5304 | 0.0 | 12M| 82 | - | 302 | 715 | 0 | 0 | 248 | 640k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
313.56/313.71 c 285s|990000 | 40 | 5304 | 0.0 | 12M| 82 | - | 302 | 742 | 0 | 0 | 248 | 647k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
316.68/316.82 c 288s| 1000k| 38 | 5304 | 0.0 | 12M| 82 | - | 302 | 753 | 0 | 0 | 248 | 653k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
319.77/319.96 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
319.77/319.96 c 291s| 1010k| 41 | 5304 | 0.0 | 12M| 82 | - | 302 | 731 | 0 | 0 | 248 | 660k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
322.96/323.11 c 294s| 1020k| 40 | 5304 | 0.0 | 12M| 82 | - | 302 | 738 | 0 | 0 | 248 | 667k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
326.06/326.23 c 297s| 1030k| 39 | 5304 | 0.0 | 12M| 82 | - | 302 | 743 | 0 | 0 | 248 | 673k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
329.16/329.34 c 300s| 1040k| 40 | 5304 | 0.0 | 12M| 82 | - | 302 | 738 | 0 | 0 | 248 | 680k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
332.35/332.50 c 302s| 1050k| 43 | 5304 | 0.0 | 12M| 82 | - | 302 | 710 | 0 | 0 | 248 | 687k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
335.46/335.62 c 305s| 1060k| 41 | 5304 | 0.0 | 12M| 82 | - | 302 | 724 | 0 | 0 | 248 | 693k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
338.56/338.74 c 308s| 1070k| 41 | 5304 | 0.0 | 12M| 82 | - | 302 | 754 | 0 | 0 | 248 | 700k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
341.65/341.89 c 311s| 1080k| 41 | 5304 | 0.0 | 12M| 82 | - | 302 | 722 | 0 | 0 | 248 | 706k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
344.75/344.99 c 314s| 1090k| 40 | 5304 | 0.0 | 12M| 82 | - | 302 | 710 | 0 | 0 | 248 | 713k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
347.85/348.05 c 316s| 1100k| 38 | 5304 | 0.0 | 12M| 82 | - | 302 | 711 | 0 | 0 | 248 | 719k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
350.95/351.13 c 319s| 1110k| 38 | 5304 | 0.0 | 12M| 82 | - | 302 | 732 | 0 | 0 | 248 | 726k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
353.95/354.18 c 322s| 1120k| 37 | 5304 | 0.0 | 12M| 82 | - | 302 | 730 | 0 | 0 | 248 | 733k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
357.05/357.27 c 325s| 1130k| 38 | 5304 | 0.0 | 12M| 82 | - | 302 | 733 | 0 | 0 | 248 | 739k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
360.25/360.41 c 328s| 1140k| 42 | 5304 | 0.0 | 12M| 82 | - | 302 | 714 | 0 | 0 | 248 | 746k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
363.25/363.47 c 330s| 1150k| 41 | 5304 | 0.0 | 12M| 82 | - | 302 | 717 | 0 | 0 | 248 | 752k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
366.44/366.62 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
366.44/366.62 c 333s| 1160k| 40 | 5304 | 0.0 | 12M| 82 | - | 302 | 734 | 0 | 0 | 248 | 759k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
369.64/369.84 c 336s| 1170k| 37 | 5304 | 0.0 | 12M| 82 | - | 302 | 751 | 0 | 0 | 248 | 766k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
372.75/372.97 c 339s| 1180k| 41 | 5304 | 0.0 | 12M| 82 | - | 302 | 736 | 0 | 0 | 248 | 772k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
375.84/376.06 c 342s| 1190k| 38 | 5304 | 0.0 | 12M| 82 | - | 302 | 749 | 0 | 0 | 248 | 779k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
378.94/379.13 c 345s| 1200k| 39 | 5304 | 0.0 | 12M| 82 | - | 302 | 756 | 0 | 0 | 248 | 785k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
382.04/382.27 c 348s| 1210k| 41 | 5304 | 0.0 | 12M| 82 | - | 302 | 747 | 0 | 0 | 248 | 792k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
385.13/385.38 c 350s| 1220k| 38 | 5304 | 0.0 | 12M| 82 | - | 302 | 737 | 0 | 0 | 248 | 799k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
388.24/388.48 c 353s| 1230k| 39 | 5304 | 0.0 | 12M| 82 | - | 302 | 756 | 0 | 0 | 248 | 805k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
391.34/391.60 c 356s| 1240k| 40 | 5304 | 0.0 | 12M| 82 | - | 302 | 743 | 0 | 0 | 248 | 812k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
394.53/394.70 c 359s| 1250k| 36 | 5304 | 0.0 | 12M| 82 | - | 302 | 771 | 0 | 0 | 248 | 819k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
397.63/397.81 c 362s| 1260k| 36 | 5304 | 0.0 | 12M| 82 | - | 302 | 752 | 0 | 0 | 248 | 825k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
400.73/400.93 c 364s| 1270k| 36 | 5304 | 0.0 | 12M| 82 | - | 302 | 747 | 0 | 0 | 248 | 832k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
403.83/404.01 c 367s| 1280k| 37 | 5304 | 0.0 | 12M| 82 | - | 302 | 764 | 0 | 0 | 248 | 838k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
406.83/407.08 c 370s| 1290k| 33 | 5304 | 0.0 | 12M| 82 | - | 302 | 810 | 0 | 0 | 248 | 845k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
409.92/410.18 c 373s| 1300k| 39 | 5304 | 0.0 | 12M| 82 | - | 302 | 748 | 0 | 0 | 248 | 852k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
413.12/413.32 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
413.12/413.32 c 376s| 1310k| 42 | 5304 | 0.0 | 12M| 82 | - | 302 | 738 | 0 | 0 | 248 | 858k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
416.33/416.51 c 379s| 1320k| 41 | 5304 | 0.0 | 12M| 82 | - | 302 | 746 | 0 | 0 | 248 | 865k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
419.52/419.70 c 381s| 1330k| 42 | 5304 | 0.0 | 12M| 82 | - | 302 | 741 | 0 | 0 | 248 | 872k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
422.72/422.93 c 384s| 1340k| 39 | 5304 | 0.0 | 12M| 82 | - | 302 | 777 | 0 | 0 | 248 | 878k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
425.92/426.16 c 387s| 1350k| 43 | 5304 | 0.0 | 12M| 82 | - | 302 | 761 | 0 | 0 | 248 | 885k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
429.21/429.42 c 390s| 1360k| 43 | 5304 | 0.0 | 12M| 82 | - | 302 | 773 | 0 | 0 | 248 | 891k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
432.42/432.63 c 393s| 1370k| 41 | 5304 | 0.0 | 12M| 82 | - | 302 | 781 | 0 | 0 | 248 | 898k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
435.62/435.87 c 396s| 1380k| 39 | 5304 | 0.0 | 12M| 82 | - | 302 | 788 | 0 | 0 | 248 | 904k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
438.92/439.10 c 399s| 1390k| 40 | 5304 | 0.0 | 12M| 82 | - | 302 | 769 | 0 | 0 | 248 | 911k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
442.11/442.36 c 402s| 1400k| 41 | 5304 | 0.0 | 12M| 82 | - | 302 | 773 | 0 | 0 | 248 | 918k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
445.32/445.58 c 405s| 1410k| 40 | 5304 | 0.0 | 12M| 82 | - | 302 | 785 | 0 | 0 | 248 | 924k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
448.41/448.68 c 408s| 1420k| 38 | 5304 | 0.0 | 12M| 82 | - | 302 | 814 | 0 | 0 | 248 | 930k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
451.61/451.90 c 411s| 1430k| 37 | 5304 | 0.0 | 12M| 82 | - | 302 | 782 | 0 | 0 | 248 | 937k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
454.91/455.10 c 414s| 1440k| 38 | 5304 | 0.0 | 12M| 82 | - | 302 | 807 | 0 | 0 | 248 | 943k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
458.11/458.35 c 417s| 1450k| 37 | 5304 | 0.0 | 12M| 82 | - | 302 | 819 | 0 | 0 | 248 | 950k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
461.31/461.59 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
461.31/461.59 c 420s| 1460k| 42 | 5304 | 0.0 | 12M| 82 | - | 302 | 747 | 0 | 0 | 248 | 957k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
464.60/464.80 c 422s| 1470k| 39 | 5304 | 0.0 | 12M| 82 | - | 302 | 785 | 0 | 0 | 248 | 963k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
467.80/468.01 c 425s| 1480k| 36 | 5304 | 0.0 | 12M| 82 | - | 302 | 788 | 0 | 0 | 248 | 970k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
471.00/471.23 c 428s| 1490k| 35 | 5304 | 0.0 | 12M| 82 | - | 302 | 803 | 0 | 0 | 248 | 976k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
474.20/474.46 c 431s| 1500k| 39 | 5304 | 0.0 | 12M| 82 | - | 302 | 764 | 0 | 0 | 248 | 983k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
477.39/477.68 c 434s| 1510k| 43 | 5304 | 0.0 | 12M| 82 | - | 302 | 742 | 0 | 0 | 248 | 990k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
480.70/480.90 c 437s| 1520k| 37 | 5304 | 0.0 | 12M| 82 | - | 302 | 769 | 0 | 0 | 248 | 996k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
483.90/484.16 c 440s| 1530k| 37 | 5304 | 0.0 | 12M| 82 | - | 302 | 788 | 0 | 0 | 248 |1003k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
487.19/487.40 c 443s| 1540k| 38 | 5304 | 0.0 | 12M| 82 | - | 302 | 775 | 0 | 0 | 248 |1010k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
490.30/490.60 c 446s| 1550k| 39 | 5304 | 0.0 | 12M| 82 | - | 302 | 794 | 0 | 0 | 248 |1016k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
493.49/493.77 c 449s| 1560k| 37 | 5304 | 0.0 | 12M| 82 | - | 302 | 790 | 0 | 0 | 248 |1023k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
496.79/497.01 c 452s| 1570k| 37 | 5304 | 0.0 | 12M| 82 | - | 302 | 797 | 0 | 0 | 248 |1030k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
499.89/500.19 c 455s| 1580k| 40 | 5304 | 0.0 | 12M| 82 | - | 302 | 766 | 0 | 0 | 248 |1036k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
503.18/503.40 c 458s| 1590k| 38 | 5304 | 0.0 | 12M| 82 | - | 302 | 770 | 0 | 0 | 248 |1043k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
506.38/506.60 c 460s| 1600k| 37 | 5304 | 0.0 | 12M| 82 | - | 302 | 789 | 0 | 0 | 248 |1049k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
509.49/509.70 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
509.49/509.70 c 463s| 1610k| 43 | 5304 | 0.0 | 12M| 82 | - | 302 | 744 | 0 | 0 | 248 |1056k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
512.58/512.81 c 466s| 1620k| 41 | 5304 | 0.0 | 12M| 82 | - | 302 | 777 | 0 | 0 | 248 |1062k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
515.69/515.95 c 469s| 1630k| 38 | 5304 | 0.0 | 12M| 82 | - | 302 | 792 | 0 | 0 | 248 |1069k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
518.78/519.07 c 472s| 1640k| 42 | 5304 | 0.0 | 12M| 82 | - | 302 | 758 | 0 | 0 | 248 |1075k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
521.98/522.20 c 475s| 1650k| 38 | 5304 | 0.0 | 12M| 82 | - | 302 | 789 | 0 | 0 | 248 |1082k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
525.08/525.34 c 477s| 1660k| 40 | 5304 | 0.0 | 12M| 82 | - | 302 | 756 | 0 | 0 | 248 |1088k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
528.18/528.43 c 480s| 1670k| 36 | 5304 | 0.0 | 12M| 82 | - | 302 | 796 | 0 | 0 | 248 |1095k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
531.28/531.55 c 483s| 1680k| 37 | 5304 | 0.0 | 12M| 82 | - | 302 | 799 | 0 | 0 | 248 |1101k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
534.38/534.69 c 486s| 1690k| 41 | 5304 | 0.0 | 12M| 82 | - | 302 | 755 | 0 | 0 | 248 |1108k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
537.58/537.82 c 489s| 1700k| 42 | 5304 | 0.0 | 12M| 82 | - | 302 | 769 | 0 | 0 | 248 |1114k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
540.77/541.02 c 492s| 1710k| 38 | 5304 | 0.0 | 12M| 82 | - | 302 | 750 | 0 | 0 | 248 |1121k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
543.87/544.16 c 495s| 1720k| 36 | 5304 | 0.0 | 12M| 82 | - | 302 | 773 | 0 | 0 | 248 |1128k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
547.07/547.31 c 497s| 1730k| 35 | 5304 | 0.0 | 12M| 82 | - | 302 | 790 | 0 | 0 | 248 |1134k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
550.16/550.49 c 500s| 1740k| 38 | 5304 | 0.0 | 12M| 82 | - | 302 | 784 | 0 | 0 | 248 |1141k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
553.36/553.66 c 503s| 1750k| 38 | 5304 | 0.0 | 12M| 82 | - | 302 | 762 | 0 | 0 | 248 |1147k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
556.47/556.78 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
556.47/556.78 c 506s| 1760k| 45 | 5304 | 0.0 | 12M| 82 | - | 302 | 731 | 0 | 0 | 248 |1154k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
559.68/559.98 c 509s| 1770k| 38 | 5304 | 0.0 | 12M| 82 | - | 302 | 778 | 0 | 0 | 248 |1160k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
562.76/563.08 c 512s| 1780k| 38 | 5304 | 0.0 | 12M| 82 | - | 302 | 780 | 0 | 0 | 248 |1167k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
565.96/566.27 c 515s| 1790k| 38 | 5304 | 0.0 | 12M| 82 | - | 302 | 777 | 0 | 0 | 248 |1174k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
569.16/569.47 c 518s| 1800k| 39 | 5304 | 0.0 | 12M| 82 | - | 302 | 761 | 0 | 0 | 248 |1180k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
572.36/572.63 c 520s| 1810k| 40 | 5304 | 0.0 | 12M| 82 | - | 302 | 751 | 0 | 0 | 248 |1187k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
575.45/575.71 c 523s| 1820k| 39 | 5304 | 0.0 | 12M| 82 | - | 302 | 755 | 0 | 0 | 248 |1193k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
578.56/578.84 c 526s| 1830k| 34 | 5304 | 0.0 | 12M| 82 | - | 302 | 758 | 0 | 0 | 248 |1200k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
581.66/581.93 c 529s| 1840k| 40 | 5304 | 0.0 | 12M| 82 | - | 302 | 758 | 0 | 0 | 248 |1206k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
584.76/585.09 c 532s| 1850k| 39 | 5304 | 0.0 | 12M| 82 | - | 302 | 776 | 0 | 0 | 248 |1213k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
587.95/588.26 c 535s| 1860k| 35 | 5304 | 0.0 | 12M| 82 | - | 302 | 747 | 0 | 0 | 248 |1220k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
591.05/591.38 c 537s| 1870k| 35 | 5304 | 0.0 | 12M| 82 | - | 302 | 759 | 0 | 0 | 248 |1226k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
594.15/594.42 c 540s| 1880k| 39 | 5304 | 0.0 | 12M| 82 | - | 302 | 772 | 0 | 0 | 248 |1233k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
597.15/597.48 c 543s| 1890k| 37 | 5304 | 0.0 | 12M| 82 | - | 302 | 800 | 0 | 0 | 248 |1239k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
600.36/600.62 c 546s| 1900k| 38 | 5304 | 0.0 | 12M| 82 | - | 302 | 763 | 0 | 0 | 248 |1246k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
603.45/603.72 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
603.45/603.72 c 549s| 1910k| 40 | 5304 | 0.0 | 12M| 82 | - | 302 | 723 | 0 | 0 | 248 |1252k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
606.55/606.89 c 552s| 1920k| 41 | 5304 | 0.0 | 12M| 82 | - | 302 | 718 | 0 | 0 | 248 |1259k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
609.74/610.01 c 554s| 1930k| 40 | 5304 | 0.0 | 12M| 82 | - | 302 | 720 | 0 | 0 | 248 |1265k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
612.84/613.11 c 557s| 1940k| 39 | 5304 | 0.0 | 12M| 82 | - | 302 | 738 | 0 | 0 | 248 |1272k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
615.94/616.20 c 560s| 1950k| 39 | 5304 | 0.0 | 12M| 82 | - | 302 | 736 | 0 | 0 | 248 |1278k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
619.05/619.33 c 563s| 1960k| 41 | 5304 | 0.0 | 12M| 82 | - | 302 | 757 | 0 | 0 | 248 |1285k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
622.14/622.47 c 566s| 1970k| 37 | 5304 | 0.0 | 12M| 82 | - | 302 | 775 | 0 | 0 | 248 |1291k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
625.34/625.61 c 569s| 1980k| 38 | 5304 | 0.0 | 12M| 82 | - | 302 | 734 | 0 | 0 | 248 |1298k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
628.44/628.73 c 571s| 1990k| 41 | 5304 | 0.0 | 12M| 82 | - | 302 | 733 | 0 | 0 | 248 |1304k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
631.44/631.77 c 574s| 2000k| 36 | 5304 | 0.0 | 12M| 82 | - | 302 | 739 | 0 | 0 | 248 |1311k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
634.53/634.86 c 577s| 2010k| 35 | 5304 | 0.0 | 12M| 82 | - | 302 | 766 | 0 | 0 | 248 |1317k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
637.64/637.94 c 580s| 2020k| 36 | 5304 | 0.0 | 12M| 82 | - | 302 | 765 | 0 | 0 | 248 |1324k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
640.74/641.03 c 583s| 2030k| 35 | 5304 | 0.0 | 12M| 82 | - | 302 | 785 | 0 | 0 | 248 |1331k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
643.83/644.17 c 585s| 2040k| 39 | 5304 | 0.0 | 12M| 82 | - | 302 | 776 | 0 | 0 | 248 |1337k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
646.93/647.27 c 588s| 2050k| 38 | 5304 | 0.0 | 12M| 82 | - | 302 | 771 | 0 | 0 | 248 |1344k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
650.13/650.44 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
650.13/650.44 c 591s| 2060k| 36 | 5304 | 0.0 | 12M| 82 | - | 302 | 808 | 0 | 0 | 248 |1350k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
653.23/653.59 c 594s| 2070k| 40 | 5304 | 0.0 | 12M| 82 | - | 302 | 747 | 0 | 0 | 248 |1357k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
656.43/656.76 c 597s| 2080k| 36 | 5304 | 0.0 | 12M| 82 | - | 302 | 758 | 0 | 0 | 248 |1364k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
659.63/659.91 c 600s| 2090k| 36 | 5304 | 0.0 | 12M| 82 | - | 302 | 731 | 0 | 0 | 248 |1370k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
662.72/663.03 c 602s| 2100k| 43 | 5304 | 0.0 | 12M| 82 | - | 302 | 717 | 0 | 0 | 248 |1377k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
665.82/666.15 c 605s| 2110k| 38 | 5304 | 0.0 | 12M| 82 | - | 302 | 745 | 0 | 0 | 248 |1383k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
669.02/669.32 c 608s| 2120k| 38 | 5304 | 0.0 | 12M| 82 | - | 302 | 737 | 0 | 0 | 248 |1390k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
672.12/672.43 c 611s| 2130k| 40 | 5304 | 0.0 | 12M| 82 | - | 302 | 738 | 0 | 0 | 248 |1396k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
675.32/675.69 c 614s| 2140k| 37 | 5304 | 0.0 | 12M| 82 | - | 302 | 758 | 0 | 0 | 248 |1403k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
678.51/678.87 c 617s| 2150k| 41 | 5304 | 0.0 | 12M| 82 | - | 302 | 751 | 0 | 0 | 248 |1409k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
681.72/682.00 c 620s| 2160k| 38 | 5304 | 0.0 | 12M| 82 | - | 302 | 736 | 0 | 0 | 248 |1416k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
684.82/685.10 c 623s| 2170k| 38 | 5304 | 0.0 | 12M| 82 | - | 302 | 723 | 0 | 0 | 248 |1422k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
687.81/688.19 c 625s| 2180k| 38 | 5304 | 0.0 | 12M| 82 | - | 302 | 756 | 0 | 0 | 248 |1429k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
691.01/691.36 c 628s| 2190k| 39 | 5304 | 0.0 | 12M| 82 | - | 302 | 721 | 0 | 0 | 248 |1435k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
694.11/694.49 c 631s| 2200k| 38 | 5304 | 0.0 | 12M| 82 | - | 302 | 719 | 0 | 0 | 248 |1442k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
697.30/697.60 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
697.30/697.60 c 634s| 2210k| 35 | 5304 | 0.0 | 12M| 82 | - | 302 | 774 | 0 | 0 | 248 |1448k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
700.42/700.77 c 637s| 2220k| 39 | 5304 | 0.0 | 12M| 82 | - | 302 | 746 | 0 | 0 | 248 |1455k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
703.61/703.92 c 640s| 2230k| 37 | 5304 | 0.0 | 12M| 82 | - | 302 | 770 | 0 | 0 | 248 |1462k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
706.70/707.09 c 642s| 2240k| 38 | 5304 | 0.0 | 12M| 82 | - | 302 | 739 | 0 | 0 | 248 |1468k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
709.90/710.26 c 645s| 2250k| 35 | 5304 | 0.0 | 12M| 82 | - | 302 | 748 | 0 | 0 | 248 |1475k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
713.11/713.44 c 648s| 2260k| 37 | 5304 | 0.0 | 12M| 82 | - | 302 | 765 | 0 | 0 | 248 |1481k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
716.30/716.63 c 651s| 2270k| 36 | 5304 | 0.0 | 12M| 82 | - | 302 | 784 | 0 | 0 | 248 |1488k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
719.50/719.82 c 654s| 2280k| 38 | 5304 | 0.0 | 12M| 82 | - | 302 | 742 | 0 | 0 | 248 |1494k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
722.70/723.00 c 657s| 2290k| 43 | 5304 | 0.0 | 12M| 82 | - | 302 | 701 | 0 | 0 | 248 |1501k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
725.79/726.17 c 660s| 2300k| 37 | 5304 | 0.0 | 12M| 82 | - | 302 | 733 | 0 | 0 | 248 |1508k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
729.01/729.32 c 663s| 2310k| 37 | 5304 | 0.0 | 12M| 82 | - | 302 | 743 | 0 | 0 | 248 |1514k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
732.09/732.41 c 665s| 2320k| 38 | 5304 | 0.0 | 12M| 82 | - | 302 | 729 | 0 | 0 | 248 |1521k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
735.19/735.54 c 668s| 2330k| 38 | 5304 | 0.0 | 12M| 82 | - | 302 | 722 | 0 | 0 | 248 |1527k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
738.39/738.72 c 671s| 2340k| 36 | 5304 | 0.0 | 12M| 82 | - | 302 | 754 | 0 | 0 | 248 |1534k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
741.49/741.83 c 674s| 2350k| 39 | 5304 | 0.0 | 12M| 82 | - | 302 | 728 | 0 | 0 | 248 |1540k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
744.59/744.97 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
744.59/744.97 c 677s| 2360k| 39 | 5304 | 0.0 | 12M| 82 | - | 302 | 732 | 0 | 0 | 248 |1547k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
747.79/748.11 c 680s| 2370k| 38 | 5304 | 0.0 | 12M| 82 | - | 302 | 743 | 0 | 0 | 248 |1554k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
750.89/751.22 c 682s| 2380k| 37 | 5304 | 0.0 | 12M| 82 | - | 302 | 750 | 0 | 0 | 248 |1560k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
753.88/754.29 c 685s| 2390k| 37 | 5304 | 0.0 | 12M| 82 | - | 302 | 770 | 0 | 0 | 248 |1567k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
757.08/757.41 c 688s| 2400k| 38 | 5304 | 0.0 | 12M| 82 | - | 302 | 742 | 0 | 0 | 248 |1574k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
760.18/760.59 c 691s| 2410k| 38 | 5304 | 0.0 | 12M| 82 | - | 302 | 742 | 0 | 0 | 248 |1580k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
763.38/763.79 c 694s| 2420k| 34 | 5304 | 0.0 | 12M| 82 | - | 302 | 762 | 0 | 0 | 248 |1587k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
766.58/766.95 c 697s| 2430k| 32 | 5304 | 0.0 | 12M| 82 | - | 302 | 788 | 0 | 0 | 248 |1593k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
769.78/770.10 c 699s| 2440k| 39 | 5304 | 0.0 | 12M| 82 | - | 302 | 728 | 0 | 0 | 248 |1600k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
772.89/773.21 c 702s| 2450k| 37 | 5304 | 0.0 | 12M| 82 | - | 302 | 730 | 0 | 0 | 248 |1607k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
775.88/776.26 c 705s| 2460k| 35 | 5304 | 0.0 | 12M| 82 | - | 302 | 739 | 0 | 0 | 248 |1613k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
778.97/779.35 c 708s| 2470k| 37 | 5304 | 0.0 | 12M| 82 | - | 302 | 733 | 0 | 0 | 248 |1620k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
782.07/782.46 c 711s| 2480k| 38 | 5304 | 0.0 | 12M| 82 | - | 302 | 738 | 0 | 0 | 248 |1626k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
785.17/785.57 c 713s| 2490k| 36 | 5304 | 0.0 | 12M| 82 | - | 302 | 738 | 0 | 0 | 248 |1633k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
788.28/788.63 c 716s| 2500k| 34 | 5304 | 0.0 | 12M| 82 | - | 302 | 753 | 0 | 0 | 248 |1640k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
791.38/791.71 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
791.38/791.71 c 719s| 2510k| 35 | 5304 | 0.0 | 12M| 82 | - | 302 | 760 | 0 | 0 | 248 |1646k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
794.37/794.77 c 722s| 2520k| 39 | 5304 | 0.0 | 12M| 82 | - | 302 | 715 | 0 | 0 | 248 |1653k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
797.47/797.88 c 725s| 2530k| 42 | 5304 | 0.0 | 12M| 82 | - | 302 | 742 | 0 | 0 | 248 |1659k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
800.67/801.07 c 728s| 2540k| 39 | 5304 | 0.0 | 12M| 82 | - | 302 | 754 | 0 | 0 | 248 |1666k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
803.87/804.22 c 730s| 2550k| 45 | 5304 | 0.0 | 12M| 82 | - | 302 | 740 | 0 | 0 | 248 |1672k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
806.97/807.37 c 733s| 2560k| 39 | 5304 | 0.0 | 12M| 82 | - | 302 | 771 | 0 | 0 | 248 |1679k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
810.16/810.59 c 736s| 2570k| 42 | 5304 | 0.0 | 12M| 82 | - | 302 | 755 | 0 | 0 | 248 |1686k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
813.36/813.74 c 739s| 2580k| 38 | 5304 | 0.0 | 12M| 82 | - | 302 | 768 | 0 | 0 | 248 |1692k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
816.46/816.87 c 742s| 2590k| 42 | 5304 | 0.0 | 12M| 82 | - | 302 | 716 | 0 | 0 | 248 |1699k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
819.56/819.97 c 745s| 2600k| 39 | 5304 | 0.0 | 12M| 82 | - | 302 | 754 | 0 | 0 | 248 |1705k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
822.76/823.14 c 747s| 2610k| 40 | 5304 | 0.0 | 12M| 82 | - | 302 | 748 | 0 | 0 | 248 |1712k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
825.95/826.35 c 750s| 2620k| 39 | 5304 | 0.0 | 12M| 82 | - | 302 | 756 | 0 | 0 | 248 |1719k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
829.16/829.53 c 753s| 2630k| 36 | 5304 | 0.0 | 12M| 82 | - | 302 | 762 | 0 | 0 | 248 |1725k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
832.26/832.68 c 756s| 2640k| 41 | 5304 | 0.0 | 12M| 82 | - | 302 | 754 | 0 | 0 | 248 |1732k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
835.35/835.78 c 759s| 2650k| 37 | 5304 | 0.0 | 12M| 82 | - | 302 | 778 | 0 | 0 | 248 |1738k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
838.55/838.93 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
838.55/838.93 c 762s| 2660k| 36 | 5304 | 0.0 | 12M| 82 | - | 302 | 775 | 0 | 0 | 248 |1745k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
841.65/842.05 c 765s| 2670k| 39 | 5304 | 0.0 | 12M| 82 | - | 302 | 742 | 0 | 0 | 248 |1751k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
844.75/845.11 c 767s| 2680k| 36 | 5304 | 0.0 | 12M| 82 | - | 302 | 781 | 0 | 0 | 248 |1758k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
847.75/848.20 c 770s| 2690k| 41 | 5304 | 0.0 | 12M| 82 | - | 302 | 745 | 0 | 0 | 248 |1765k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
850.95/851.30 c 773s| 2700k| 37 | 5304 | 0.0 | 12M| 82 | - | 302 | 758 | 0 | 0 | 248 |1771k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
853.95/854.39 c 776s| 2710k| 37 | 5304 | 0.0 | 12M| 82 | - | 302 | 787 | 0 | 0 | 248 |1778k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
857.05/857.50 c 779s| 2720k| 36 | 5304 | 0.0 | 12M| 82 | - | 302 | 776 | 0 | 0 | 248 |1785k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
860.24/860.60 c 781s| 2730k| 37 | 5304 | 0.0 | 12M| 82 | - | 302 | 781 | 0 | 0 | 248 |1791k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
863.34/863.75 c 784s| 2740k| 40 | 5304 | 0.0 | 12M| 82 | - | 302 | 741 | 0 | 0 | 248 |1798k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
866.44/866.85 c 787s| 2750k| 36 | 5304 | 0.0 | 12M| 82 | - | 302 | 789 | 0 | 0 | 248 |1804k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
869.54/869.97 c 790s| 2760k| 37 | 5304 | 0.0 | 12M| 82 | - | 302 | 772 | 0 | 0 | 248 |1811k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
872.74/873.16 c 793s| 2770k| 38 | 5304 | 0.0 | 12M| 82 | - | 302 | 787 | 0 | 0 | 248 |1817k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
875.94/876.34 c 796s| 2780k| 35 | 5304 | 0.0 | 12M| 82 | - | 302 | 775 | 0 | 0 | 248 |1824k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
879.03/879.47 c 799s| 2790k| 36 | 5304 | 0.0 | 12M| 82 | - | 302 | 803 | 0 | 0 | 248 |1830k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
882.23/882.60 c 802s| 2800k| 34 | 5304 | 0.0 | 12M| 82 | - | 302 | 802 | 0 | 0 | 248 |1837k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
885.34/885.73 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
885.34/885.73 c 804s| 2810k| 36 | 5304 | 0.0 | 12M| 82 | - | 302 | 808 | 0 | 0 | 248 |1843k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
888.34/888.78 c 807s| 2820k| 40 | 5304 | 0.0 | 12M| 82 | - | 302 | 736 | 0 | 0 | 248 |1850k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
891.53/891.91 c 810s| 2830k| 39 | 5304 | 0.0 | 12M| 82 | - | 302 | 762 | 0 | 0 | 248 |1856k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
894.63/895.03 c 813s| 2840k| 39 | 5304 | 0.0 | 12M| 82 | - | 302 | 759 | 0 | 0 | 248 |1863k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
897.73/898.17 c 816s| 2850k| 37 | 5304 | 0.0 | 12M| 82 | - | 302 | 782 | 0 | 0 | 248 |1870k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
900.93/901.33 c 819s| 2860k| 38 | 5304 | 0.0 | 12M| 82 | - | 302 | 755 | 0 | 0 | 248 |1876k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
904.02/904.44 c 821s| 2870k| 35 | 5304 | 0.0 | 12M| 82 | - | 302 | 780 | 0 | 0 | 248 |1883k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
907.13/907.58 c 824s| 2880k| 37 | 5304 | 0.0 | 12M| 82 | - | 302 | 737 | 0 | 0 | 248 |1890k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
910.22/910.69 c 827s| 2890k| 39 | 5304 | 0.0 | 12M| 82 | - | 302 | 764 | 0 | 0 | 248 |1896k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
913.43/913.84 c 830s| 2900k| 38 | 5304 | 0.0 | 12M| 82 | - | 302 | 770 | 0 | 0 | 248 |1903k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
916.53/916.93 c 833s| 2910k| 37 | 5304 | 0.0 | 12M| 82 | - | 302 | 765 | 0 | 0 | 248 |1909k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
919.62/920.03 c 836s| 2920k| 40 | 5304 | 0.0 | 12M| 82 | - | 302 | 771 | 0 | 0 | 248 |1916k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
922.72/923.16 c 838s| 2930k| 37 | 5304 | 0.0 | 12M| 82 | - | 302 | 780 | 0 | 0 | 248 |1923k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
925.92/926.33 c 841s| 2940k| 39 | 5304 | 0.0 | 12M| 82 | - | 302 | 765 | 0 | 0 | 248 |1929k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
929.02/929.45 c 844s| 2950k| 36 | 5304 | 0.0 | 12M| 82 | - | 302 | 793 | 0 | 0 | 248 |1936k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
932.12/932.55 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
932.12/932.55 c 847s| 2960k| 36 | 5304 | 0.0 | 12M| 82 | - | 302 | 805 | 0 | 0 | 248 |1943k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
935.22/935.64 c 850s| 2970k| 41 | 5304 | 0.0 | 12M| 82 | - | 302 | 755 | 0 | 0 | 248 |1949k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
938.31/938.75 c 853s| 2980k| 36 | 5304 | 0.0 | 12M| 82 | - | 302 | 790 | 0 | 0 | 248 |1956k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
941.41/941.85 c 855s| 2990k| 37 | 5304 | 0.0 | 12M| 82 | - | 302 | 788 | 0 | 0 | 248 |1962k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
944.51/944.98 c 858s| 3000k| 37 | 5304 | 0.0 | 12M| 82 | - | 302 | 796 | 0 | 0 | 248 |1969k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
947.71/948.15 c 861s| 3010k| 37 | 5304 | 0.0 | 12M| 82 | - | 302 | 763 | 0 | 0 | 248 |1976k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
950.91/951.31 c 864s| 3020k| 37 | 5304 | 0.0 | 12M| 82 | - | 302 | 773 | 0 | 0 | 248 |1982k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
954.01/954.47 c 867s| 3030k| 35 | 5304 | 0.0 | 12M| 82 | - | 302 | 803 | 0 | 0 | 248 |1989k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
957.11/957.55 c 870s| 3040k| 39 | 5304 | 0.0 | 12M| 82 | - | 302 | 765 | 0 | 0 | 248 |1995k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
960.30/960.71 c 873s| 3050k| 35 | 5304 | 0.0 | 12M| 82 | - | 302 | 804 | 0 | 0 | 248 |2002k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
963.50/963.92 c 875s| 3060k| 38 | 5304 | 0.0 | 12M| 82 | - | 302 | 789 | 0 | 0 | 248 |2008k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
966.70/967.12 c 878s| 3070k| 36 | 5304 | 0.0 | 12M| 82 | - | 302 | 795 | 0 | 0 | 248 |2015k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
969.81/970.28 c 881s| 3080k| 38 | 5304 | 0.0 | 12M| 82 | - | 302 | 807 | 0 | 0 | 248 |2021k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
973.01/973.44 c 884s| 3090k| 37 | 5304 | 0.0 | 12M| 82 | - | 302 | 788 | 0 | 0 | 248 |2028k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
976.10/976.57 c 887s| 3100k| 35 | 5304 | 0.0 | 12M| 82 | - | 302 | 827 | 0 | 0 | 248 |2035k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
979.20/979.67 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
979.20/979.67 c 890s| 3110k| 33 | 5304 | 0.0 | 12M| 82 | - | 302 | 813 | 0 | 0 | 248 |2041k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
982.39/982.81 c 893s| 3120k| 43 | 5304 | 0.0 | 12M| 82 | - | 302 | 747 | 0 | 0 | 248 |2048k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
985.50/985.93 c 895s| 3130k| 41 | 5304 | 0.0 | 12M| 82 | - | 302 | 758 | 0 | 0 | 248 |2055k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
988.59/989.04 c 898s| 3140k| 39 | 5304 | 0.0 | 12M| 82 | - | 302 | 773 | 0 | 0 | 248 |2061k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
991.80/992.25 c 901s| 3150k| 36 | 5304 | 0.0 | 12M| 82 | - | 302 | 801 | 0 | 0 | 248 |2068k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
994.89/995.36 c 904s| 3160k| 40 | 5304 | 0.0 | 12M| 82 | - | 302 | 796 | 0 | 0 | 248 |2074k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
997.99/998.40 c 907s| 3170k| 39 | 5304 | 0.0 | 12M| 82 | - | 302 | 748 | 0 | 0 | 248 |2080k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
1000.98/1001.43 c 909s| 3180k| 37 | 5304 | 0.0 | 12M| 82 | - | 302 | 770 | 0 | 0 | 248 |2087k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
1004.08/1004.50 c 912s| 3190k| 42 | 5304 | 0.0 | 12M| 82 | - | 302 | 714 | 0 | 0 | 248 |2093k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
1007.19/1007.62 c 915s| 3200k| 36 | 5304 | 0.0 | 12M| 82 | - | 302 | 771 | 0 | 0 | 248 |2100k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
1010.28/1010.73 c 918s| 3210k| 40 | 5304 | 0.0 | 12M| 82 | - | 302 | 768 | 0 | 0 | 248 |2107k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
1013.38/1013.87 c 921s| 3220k| 39 | 5304 | 0.0 | 12M| 82 | - | 302 | 784 | 0 | 0 | 248 |2113k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
1016.48/1016.96 c 923s| 3230k| 36 | 5304 | 0.0 | 12M| 82 | - | 302 | 769 | 0 | 0 | 248 |2120k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
1019.48/1019.99 c 926s| 3240k| 40 | 5304 | 0.0 | 12M| 82 | - | 302 | 750 | 0 | 0 | 248 |2126k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
1022.48/1022.98 c 929s| 3250k| 33 | 5304 | 0.0 | 12M| 82 | - | 302 | 796 | 0 | 0 | 248 |2132k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
1025.57/1026.09 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1025.57/1026.09 c 932s| 3260k| 34 | 5304 | 0.0 | 12M| 82 | - | 302 | 768 | 0 | 0 | 248 |2139k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
1028.68/1029.17 c 935s| 3270k| 41 | 5304 | 0.0 | 12M| 82 | - | 302 | 727 | 0 | 0 | 248 |2145k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
1031.77/1032.25 c 937s| 3280k| 37 | 5304 | 0.0 | 12M| 82 | - | 302 | 750 | 0 | 0 | 248 |2152k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
1034.98/1035.40 c 940s| 3290k| 39 | 5304 | 0.0 | 12M| 82 | - | 302 | 766 | 0 | 0 | 248 |2158k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
1038.07/1038.59 c 943s| 3300k| 39 | 5304 | 0.0 | 12M| 82 | - | 302 | 757 | 0 | 0 | 248 |2165k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
1041.18/1041.70 c 946s| 3310k| 38 | 5304 | 0.0 | 12M| 82 | - | 302 | 742 | 0 | 0 | 248 |2172k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
1044.27/1044.75 c 949s| 3320k| 35 | 5304 | 0.0 | 12M| 82 | - | 302 | 786 | 0 | 0 | 248 |2178k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
1047.38/1047.83 c 951s| 3330k| 37 | 5304 | 0.0 | 12M| 82 | - | 302 | 797 | 0 | 0 | 248 |2184k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
1050.47/1050.92 c 954s| 3340k| 36 | 5304 | 0.0 | 12M| 82 | - | 302 | 784 | 0 | 0 | 248 |2191k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
1053.67/1054.10 c 957s| 3350k| 37 | 5304 | 0.0 | 12M| 82 | - | 302 | 752 | 0 | 0 | 248 |2198k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
1056.77/1057.25 c 960s| 3360k| 36 | 5304 | 0.0 | 12M| 82 | - | 302 | 744 | 0 | 0 | 248 |2204k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
1059.87/1060.39 c 963s| 3370k| 37 | 5304 | 0.0 | 12M| 82 | - | 302 | 733 | 0 | 0 | 248 |2211k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
1063.06/1063.56 c 966s| 3380k| 37 | 5304 | 0.0 | 12M| 82 | - | 302 | 752 | 0 | 0 | 248 |2217k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
1066.17/1066.67 c 969s| 3390k| 35 | 5304 | 0.0 | 12M| 82 | - | 302 | 765 | 0 | 0 | 248 |2224k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
1069.26/1069.78 c 971s| 3400k| 35 | 5304 | 0.0 | 12M| 82 | - | 302 | 757 | 0 | 0 | 248 |2230k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
1072.36/1072.83 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1072.36/1072.83 c 974s| 3410k| 35 | 5304 | 0.0 | 12M| 82 | - | 302 | 749 | 0 | 0 | 248 |2237k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
1075.37/1075.82 c 977s| 3420k| 42 | 5304 | 0.0 | 12M| 82 | - | 302 | 737 | 0 | 0 | 248 |2243k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
1078.46/1078.97 c 980s| 3430k| 35 | 5304 | 0.0 | 12M| 82 | - | 302 | 749 | 0 | 0 | 248 |2250k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
1081.56/1082.06 c 982s| 3440k| 37 | 5304 | 0.0 | 12M| 82 | - | 302 | 744 | 0 | 0 | 248 |2256k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
1084.56/1085.03 c 985s| 3450k| 36 | 5304 | 0.0 | 12M| 82 | - | 302 | 746 | 0 | 0 | 248 |2262k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
1087.56/1088.10 c 988s| 3460k| 39 | 5304 | 0.0 | 12M| 82 | - | 302 | 725 | 0 | 0 | 248 |2269k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
1090.66/1091.19 c 991s| 3470k| 33 | 5304 | 0.0 | 12M| 82 | - | 302 | 757 | 0 | 0 | 248 |2275k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
1093.65/1094.19 c 993s| 3480k| 38 | 5304 | 0.0 | 12M| 82 | - | 302 | 754 | 0 | 0 | 248 |2282k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
1096.75/1097.27 c 996s| 3490k| 37 | 5304 | 0.0 | 12M| 82 | - | 302 | 753 | 0 | 0 | 248 |2288k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
1099.75/1100.26 c 999s| 3500k| 35 | 5304 | 0.0 | 12M| 82 | - | 302 | 756 | 0 | 0 | 248 |2294k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
1102.75/1103.26 c 1002s| 3510k| 33 | 5304 | 0.0 | 12M| 82 | - | 302 | 750 | 0 | 0 | 248 |2300k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
1105.74/1106.26 c 1004s| 3520k| 34 | 5304 | 0.0 | 12M| 82 | - | 302 | 740 | 0 | 0 | 248 |2307k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
1108.75/1109.29 c 1007s| 3530k| 35 | 5304 | 0.0 | 12M| 82 | - | 302 | 757 | 0 | 0 | 248 |2313k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
1111.85/1112.34 c 1010s| 3540k| 40 | 5304 | 0.0 | 12M| 82 | - | 302 | 737 | 0 | 0 | 248 |2319k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
1114.95/1115.42 c 1013s| 3550k| 38 | 5304 | 0.0 | 12M| 82 | - | 302 | 751 | 0 | 0 | 248 |2326k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
1118.04/1118.54 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1118.04/1118.54 c 1016s| 3560k| 36 | 5304 | 0.0 | 12M| 82 | - | 302 | 763 | 0 | 0 | 248 |2333k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
1121.14/1121.67 c 1018s| 3570k| 38 | 5304 | 0.0 | 12M| 82 | - | 302 | 775 | 0 | 0 | 248 |2339k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
1124.24/1124.76 c 1021s| 3580k| 39 | 5304 | 0.0 | 12M| 82 | - | 302 | 735 | 0 | 0 | 248 |2346k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
1127.44/1127.91 c 1024s| 3590k| 38 | 5304 | 0.0 | 12M| 82 | - | 302 | 741 | 0 | 0 | 248 |2353k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
1130.43/1130.98 c 1027s| 3600k| 36 | 5304 | 0.0 | 12M| 82 | - | 302 | 771 | 0 | 0 | 248 |2359k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
1133.54/1134.03 c 1030s| 3610k| 34 | 5304 | 0.0 | 12M| 82 | - | 302 | 766 | 0 | 0 | 248 |2366k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
1136.63/1137.12 c 1032s| 3620k| 38 | 5304 | 0.0 | 12M| 82 | - | 302 | 765 | 0 | 0 | 248 |2373k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
1139.73/1140.22 c 1035s| 3630k| 38 | 5304 | 0.0 | 12M| 82 | - | 302 | 752 | 0 | 0 | 248 |2379k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
1142.93/1143.41 c 1038s| 3640k| 38 | 5304 | 0.0 | 12M| 82 | - | 302 | 756 | 0 | 0 | 248 |2386k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
1146.03/1146.50 c 1041s| 3650k| 37 | 5304 | 0.0 | 12M| 82 | - | 302 | 746 | 0 | 0 | 248 |2393k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
1149.03/1149.57 c 1044s| 3660k| 38 | 5304 | 0.0 | 12M| 82 | - | 302 | 756 | 0 | 0 | 248 |2399k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
1152.02/1152.59 c 1046s| 3670k| 34 | 5304 | 0.0 | 12M| 82 | - | 302 | 790 | 0 | 0 | 248 |2405k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
1155.12/1155.65 c 1049s| 3680k| 36 | 5304 | 0.0 | 12M| 82 | - | 302 | 779 | 0 | 0 | 248 |2412k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
1158.22/1158.76 c 1052s| 3690k| 34 | 5304 | 0.0 | 12M| 82 | - | 302 | 787 | 0 | 0 | 248 |2419k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
1161.32/1161.85 c 1055s| 3700k| 33 | 5304 | 0.0 | 12M| 82 | - | 302 | 806 | 0 | 0 | 248 |2425k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
1164.43/1164.94 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1164.43/1164.94 c 1058s| 3710k| 36 | 5304 | 0.0 | 12M| 82 | - | 302 | 794 | 0 | 0 | 248 |2432k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
1167.42/1167.98 c 1060s| 3720k| 32 | 5304 | 0.0 | 12M| 82 | - | 302 | 819 | 0 | 0 | 248 |2438k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
1170.52/1171.09 c 1063s| 3730k| 38 | 5304 | 0.0 | 12M| 82 | - | 302 | 743 | 0 | 0 | 248 |2445k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
1173.71/1174.24 c 1066s| 3740k| 39 | 5304 | 0.0 | 12M| 82 | - | 302 | 730 | 0 | 0 | 248 |2451k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
1176.81/1177.38 c 1069s| 3750k| 44 | 5304 | 0.0 | 12M| 82 | - | 302 | 717 | 0 | 0 | 248 |2458k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
1179.91/1180.49 c 1072s| 3760k| 38 | 5304 | 0.0 | 12M| 82 | - | 302 | 754 | 0 | 0 | 248 |2464k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
1183.11/1183.65 c 1075s| 3770k| 39 | 5304 | 0.0 | 12M| 82 | - | 302 | 728 | 0 | 0 | 248 |2471k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
1186.20/1186.74 c 1078s| 3780k| 38 | 5304 | 0.0 | 12M| 82 | - | 302 | 731 | 0 | 0 | 248 |2478k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
1189.31/1189.85 c 1080s| 3790k| 34 | 5304 | 0.0 | 12M| 82 | - | 302 | 753 | 0 | 0 | 248 |2484k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
1192.51/1193.01 c 1083s| 3800k| 39 | 5304 | 0.0 | 12M| 82 | - | 302 | 738 | 0 | 0 | 248 |2491k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
1195.61/1196.16 c 1086s| 3810k| 39 | 5304 | 0.0 | 12M| 82 | - | 302 | 733 | 0 | 0 | 248 |2498k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
1198.70/1199.27 c 1089s| 3820k| 40 | 5304 | 0.0 | 12M| 82 | - | 302 | 731 | 0 | 0 | 248 |2504k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
1201.90/1202.44 c 1092s| 3830k| 37 | 5304 | 0.0 | 12M| 82 | - | 302 | 745 | 0 | 0 | 248 |2511k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
1205.01/1205.58 c 1095s| 3840k| 37 | 5304 | 0.0 | 12M| 82 | - | 302 | 758 | 0 | 0 | 248 |2518k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
1208.31/1208.80 c 1098s| 3850k| 37 | 5304 | 0.0 | 12M| 82 | - | 302 | 775 | 0 | 0 | 248 |2524k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
1211.40/1211.93 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1211.40/1211.93 c 1100s| 3860k| 41 | 5304 | 0.0 | 12M| 82 | - | 302 | 754 | 0 | 0 | 248 |2531k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
1214.50/1215.05 c 1103s| 3870k| 32 | 5304 | 0.0 | 12M| 82 | - | 302 | 806 | 0 | 0 | 248 |2538k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
1217.70/1218.27 c 1106s| 3880k| 38 | 5304 | 0.0 | 12M| 82 | - | 302 | 738 | 0 | 0 | 248 |2544k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
1220.90/1221.43 c 1109s| 3890k| 35 | 5304 | 0.0 | 12M| 82 | - | 302 | 735 | 0 | 0 | 248 |2551k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
1224.09/1224.65 c 1112s| 3900k| 39 | 5304 | 0.0 | 12M| 82 | - | 302 | 766 | 0 | 0 | 248 |2557k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
1227.30/1227.81 c 1115s| 3910k| 39 | 5304 | 0.0 | 12M| 82 | - | 302 | 719 | 0 | 0 | 248 |2564k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
1230.49/1231.03 c 1118s| 3920k| 38 | 5304 | 0.0 | 12M| 82 | - | 302 | 722 | 0 | 0 | 248 |2571k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
1233.60/1234.16 c 1121s| 3930k| 35 | 5304 | 0.0 | 12M| 82 | - | 302 | 760 | 0 | 0 | 248 |2577k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
1236.69/1237.22 c 1123s| 3940k| 38 | 5304 | 0.0 | 12M| 82 | - | 302 | 749 | 0 | 0 | 248 |2584k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
1239.89/1240.40 c 1126s| 3950k| 37 | 5304 | 0.0 | 12M| 82 | - | 302 | 741 | 0 | 0 | 248 |2590k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
1242.98/1243.58 c 1129s| 3960k| 39 | 5304 | 0.0 | 12M| 82 | - | 302 | 750 | 0 | 0 | 248 |2597k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
1246.19/1246.72 c 1132s| 3970k| 36 | 5304 | 0.0 | 12M| 82 | - | 302 | 723 | 0 | 0 | 248 |2603k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
1249.28/1249.84 c 1135s| 3980k| 34 | 5304 | 0.0 | 12M| 82 | - | 302 | 772 | 0 | 0 | 248 |2610k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
1252.48/1253.00 c 1138s| 3990k| 35 | 5304 | 0.0 | 12M| 82 | - | 302 | 754 | 0 | 0 | 248 |2617k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
1255.59/1256.12 c 1141s| 4000k| 36 | 5304 | 0.0 | 12M| 82 | - | 302 | 755 | 0 | 0 | 248 |2623k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
1258.68/1259.22 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1258.68/1259.22 c 1143s| 4010k| 35 | 5304 | 0.0 | 12M| 82 | - | 302 | 760 | 0 | 0 | 248 |2630k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
1261.77/1262.36 c 1146s| 4020k| 33 | 5304 | 0.0 | 12M| 82 | - | 302 | 766 | 0 | 0 | 248 |2636k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
1264.98/1265.57 c 1149s| 4030k| 35 | 5304 | 0.0 | 12M| 82 | - | 302 | 777 | 0 | 0 | 248 |2643k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
1268.28/1268.81 c 1152s| 4040k| 38 | 5304 | 0.0 | 12M| 82 | - | 302 | 748 | 0 | 0 | 248 |2650k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
1271.38/1271.99 c 1155s| 4050k| 35 | 5304 | 0.0 | 12M| 82 | - | 302 | 770 | 0 | 0 | 248 |2656k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
1274.67/1275.20 c 1158s| 4060k| 38 | 5304 | 0.0 | 12M| 82 | - | 302 | 752 | 0 | 0 | 248 |2663k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
1277.78/1278.36 c 1161s| 4070k| 36 | 5304 | 0.0 | 12M| 82 | - | 302 | 757 | 0 | 0 | 248 |2669k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
1280.88/1281.48 c 1164s| 4080k| 36 | 5304 | 0.0 | 12M| 82 | - | 302 | 789 | 0 | 0 | 248 |2676k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
1284.07/1284.63 c 1166s| 4090k| 36 | 5304 | 0.0 | 12M| 82 | - | 302 | 788 | 0 | 0 | 248 |2682k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
1287.17/1287.73 c 1169s| 4100k| 41 | 5304 | 0.0 | 12M| 82 | - | 302 | 750 | 0 | 0 | 248 |2688k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
1290.37/1290.91 c 1172s| 4110k| 40 | 5304 | 0.0 | 12M| 82 | - | 302 | 745 | 0 | 0 | 248 |2695k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
1293.56/1294.13 c 1175s| 4120k| 39 | 5304 | 0.0 | 12M| 82 | - | 302 | 746 | 0 | 0 | 248 |2702k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
1296.77/1297.36 c 1178s| 4130k| 36 | 5304 | 0.0 | 12M| 82 | - | 302 | 782 | 0 | 0 | 248 |2708k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
1299.97/1300.53 c 1181s| 4140k| 37 | 5304 | 0.0 | 12M| 82 | - | 302 | 758 | 0 | 0 | 248 |2715k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
1303.16/1303.75 c 1184s| 4150k| 34 | 5304 | 0.0 | 12M| 82 | - | 302 | 808 | 0 | 0 | 248 |2721k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
1306.36/1306.96 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1306.36/1306.96 c 1187s| 4160k| 34 | 5304 | 0.0 | 12M| 82 | - | 302 | 798 | 0 | 0 | 248 |2728k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
1309.57/1310.14 c 1190s| 4170k| 36 | 5304 | 0.0 | 12M| 82 | - | 302 | 811 | 0 | 0 | 248 |2735k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
1312.77/1313.31 c 1192s| 4180k| 35 | 5304 | 0.0 | 12M| 82 | - | 302 | 753 | 0 | 0 | 248 |2741k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
1315.86/1316.49 c 1195s| 4190k| 35 | 5304 | 0.0 | 12M| 82 | - | 302 | 799 | 0 | 0 | 248 |2748k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
1319.16/1319.70 c 1198s| 4200k| 38 | 5304 | 0.0 | 12M| 82 | - | 302 | 763 | 0 | 0 | 248 |2754k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
1322.25/1322.90 c 1201s| 4210k| 41 | 5304 | 0.0 | 12M| 82 | - | 302 | 733 | 0 | 0 | 248 |2761k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
1325.45/1326.09 c 1204s| 4220k| 37 | 5304 | 0.0 | 12M| 82 | - | 302 | 740 | 0 | 0 | 248 |2767k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
1328.65/1329.20 c 1207s| 4230k| 35 | 5304 | 0.0 | 12M| 82 | - | 302 | 748 | 0 | 0 | 248 |2774k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
1331.75/1332.38 c 1210s| 4240k| 37 | 5304 | 0.0 | 12M| 82 | - | 302 | 754 | 0 | 0 | 248 |2780k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
1334.95/1335.55 c 1213s| 4250k| 36 | 5304 | 0.0 | 12M| 82 | - | 302 | 757 | 0 | 0 | 248 |2787k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
1338.05/1338.68 c 1215s| 4260k| 39 | 5304 | 0.0 | 12M| 82 | - | 302 | 738 | 0 | 0 | 248 |2793k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
1341.25/1341.80 c 1218s| 4270k| 35 | 5304 | 0.0 | 12M| 82 | - | 302 | 762 | 0 | 0 | 248 |2800k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
1344.35/1344.93 c 1221s| 4280k| 35 | 5304 | 0.0 | 12M| 82 | - | 302 | 753 | 0 | 0 | 248 |2806k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
1347.45/1348.09 c 1224s| 4290k| 36 | 5304 | 0.0 | 12M| 82 | - | 302 | 752 | 0 | 0 | 248 |2813k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
1350.64/1351.25 c 1227s| 4300k| 35 | 5304 | 0.0 | 12M| 82 | - | 302 | 787 | 0 | 0 | 248 |2820k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
1353.84/1354.44 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1353.84/1354.44 c 1230s| 4310k| 38 | 5304 | 0.0 | 12M| 82 | - | 302 | 737 | 0 | 0 | 248 |2826k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
1356.94/1357.59 c 1233s| 4320k| 31 | 5304 | 0.0 | 12M| 82 | - | 302 | 750 | 0 | 0 | 248 |2833k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
1360.15/1360.72 c 1235s| 4330k| 37 | 5304 | 0.0 | 12M| 82 | - | 302 | 730 | 0 | 0 | 248 |2839k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
1363.24/1363.89 c 1238s| 4340k| 40 | 5304 | 0.0 | 12M| 82 | - | 302 | 716 | 0 | 0 | 248 |2846k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
1366.54/1367.11 c 1241s| 4350k| 35 | 5304 | 0.0 | 12M| 82 | - | 302 | 750 | 0 | 0 | 248 |2853k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
1369.73/1370.30 c 1244s| 4360k| 41 | 5304 | 0.0 | 12M| 82 | - | 302 | 728 | 0 | 0 | 248 |2859k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
1372.84/1373.45 c 1247s| 4370k| 38 | 5304 | 0.0 | 12M| 82 | - | 302 | 738 | 0 | 0 | 248 |2866k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
1375.93/1376.57 c 1250s| 4380k| 35 | 5304 | 0.0 | 12M| 82 | - | 302 | 756 | 0 | 0 | 248 |2872k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
1379.13/1379.71 c 1253s| 4390k| 37 | 5304 | 0.0 | 12M| 82 | - | 302 | 738 | 0 | 0 | 248 |2879k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
1382.23/1382.85 c 1255s| 4400k| 35 | 5304 | 0.0 | 12M| 82 | - | 302 | 731 | 0 | 0 | 248 |2886k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
1385.44/1386.07 c 1258s| 4410k| 36 | 5304 | 0.0 | 12M| 82 | - | 302 | 711 | 0 | 0 | 248 |2892k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
1388.53/1389.18 c 1261s| 4420k| 39 | 5304 | 0.0 | 12M| 82 | - | 302 | 715 | 0 | 0 | 248 |2899k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
1391.73/1392.35 c 1264s| 4430k| 35 | 5304 | 0.0 | 12M| 82 | - | 302 | 744 | 0 | 0 | 248 |2906k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
1394.93/1395.53 c 1267s| 4440k| 40 | 5304 | 0.0 | 12M| 82 | - | 302 | 717 | 0 | 0 | 248 |2912k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
1398.12/1398.78 c 1270s| 4450k| 34 | 5304 | 0.0 | 12M| 82 | - | 302 | 753 | 0 | 0 | 248 |2919k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
1401.33/1401.92 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1401.33/1401.92 c 1273s| 4460k| 36 | 5304 | 0.0 | 12M| 82 | - | 302 | 744 | 0 | 0 | 248 |2926k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
1404.42/1405.09 c 1276s| 4470k| 39 | 5304 | 0.0 | 12M| 82 | - | 302 | 701 | 0 | 0 | 248 |2932k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
1407.52/1408.15 c 1278s| 4480k| 39 | 5304 | 0.0 | 12M| 82 | - | 302 | 711 | 0 | 0 | 248 |2939k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
1410.72/1411.35 c 1281s| 4490k| 37 | 5304 | 0.0 | 12M| 82 | - | 302 | 724 | 0 | 0 | 248 |2945k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
1413.82/1414.49 c 1284s| 4500k| 35 | 5304 | 0.0 | 12M| 82 | - | 302 | 734 | 0 | 0 | 248 |2952k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
1417.12/1417.70 c 1287s| 4510k| 39 | 5304 | 0.0 | 12M| 82 | - | 302 | 719 | 0 | 0 | 248 |2959k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
1420.21/1420.88 c 1290s| 4520k| 38 | 5304 | 0.0 | 12M| 82 | - | 302 | 753 | 0 | 0 | 248 |2965k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
1423.41/1424.09 c 1293s| 4530k| 36 | 5304 | 0.0 | 12M| 82 | - | 302 | 761 | 0 | 0 | 248 |2972k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
1426.61/1427.28 c 1296s| 4540k| 38 | 5304 | 0.0 | 12M| 82 | - | 302 | 748 | 0 | 0 | 248 |2978k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
1429.81/1430.49 c 1299s| 4550k| 35 | 5304 | 0.0 | 12M| 82 | - | 302 | 777 | 0 | 0 | 248 |2985k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
1433.11/1433.71 c 1302s| 4560k| 35 | 5304 | 0.0 | 12M| 82 | - | 302 | 768 | 0 | 0 | 248 |2991k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
1436.21/1436.85 c 1305s| 4570k| 38 | 5304 | 0.0 | 12M| 82 | - | 302 | 743 | 0 | 0 | 248 |2998k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
1439.41/1440.01 c 1307s| 4580k| 36 | 5304 | 0.0 | 12M| 82 | - | 302 | 735 | 0 | 0 | 248 |3004k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
1442.41/1443.08 c 1310s| 4590k| 34 | 5304 | 0.0 | 12M| 82 | - | 302 | 782 | 0 | 0 | 248 |3011k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
1445.51/1446.11 c 1313s| 4600k| 37 | 5304 | 0.0 | 12M| 82 | - | 302 | 738 | 0 | 0 | 248 |3017k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
1448.50/1449.15 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1448.50/1449.15 c 1316s| 4610k| 39 | 5304 | 0.0 | 12M| 82 | - | 302 | 726 | 0 | 0 | 248 |3023k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
1451.49/1452.14 c 1318s| 4620k| 39 | 5304 | 0.0 | 12M| 82 | - | 302 | 735 | 0 | 0 | 248 |3029k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
1454.61/1455.21 c 1321s| 4630k| 39 | 5304 | 0.0 | 12M| 82 | - | 302 | 720 | 0 | 0 | 248 |3036k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
1457.69/1458.35 c 1324s| 4640k| 36 | 5304 | 0.0 | 12M| 82 | - | 302 | 759 | 0 | 0 | 248 |3042k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
1460.89/1461.54 c 1327s| 4650k| 39 | 5304 | 0.0 | 12M| 82 | - | 302 | 741 | 0 | 0 | 248 |3049k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
1463.99/1464.63 c 1330s| 4660k| 33 | 5304 | 0.0 | 12M| 82 | - | 302 | 768 | 0 | 0 | 248 |3055k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
1467.10/1467.75 c 1333s| 4670k| 35 | 5304 | 0.0 | 12M| 82 | - | 302 | 734 | 0 | 0 | 248 |3062k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
1470.19/1470.88 c 1335s| 4680k| 35 | 5304 | 0.0 | 12M| 82 | - | 302 | 748 | 0 | 0 | 248 |3069k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
1473.29/1473.98 c 1338s| 4690k| 34 | 5304 | 0.0 | 12M| 82 | - | 302 | 760 | 0 | 0 | 248 |3075k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
1476.39/1477.02 c 1341s| 4700k| 33 | 5304 | 0.0 | 12M| 82 | - | 302 | 778 | 0 | 0 | 248 |3081k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
1479.48/1480.14 c 1344s| 4710k| 40 | 5304 | 0.0 | 12M| 82 | - | 302 | 721 | 0 | 0 | 248 |3088k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
1482.58/1483.28 c 1347s| 4720k| 36 | 5304 | 0.0 | 12M| 82 | - | 302 | 743 | 0 | 0 | 248 |3094k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
1485.68/1486.32 c 1349s| 4730k| 38 | 5304 | 0.0 | 12M| 82 | - | 302 | 758 | 0 | 0 | 248 |3101k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
1488.59/1489.29 c 1352s| 4740k| 34 | 5304 | 0.0 | 12M| 82 | - | 302 | 759 | 0 | 0 | 248 |3107k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
1491.78/1492.46 c 1355s| 4750k| 34 | 5304 | 0.0 | 12M| 82 | - | 302 | 745 | 0 | 0 | 248 |3114k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
1494.88/1495.58 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1494.88/1495.58 c 1358s| 4760k| 38 | 5304 | 0.0 | 12M| 82 | - | 302 | 727 | 0 | 0 | 248 |3120k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
1498.08/1498.74 c 1361s| 4770k| 33 | 5304 | 0.0 | 12M| 82 | - | 302 | 756 | 0 | 0 | 248 |3127k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
1501.18/1501.80 c 1363s| 4780k| 35 | 5304 | 0.0 | 12M| 82 | - | 302 | 762 | 0 | 0 | 248 |3134k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
1504.28/1504.99 c 1366s| 4790k| 36 | 5304 | 0.0 | 12M| 82 | - | 302 | 749 | 0 | 0 | 248 |3140k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
1507.48/1508.18 c 1369s| 4800k| 37 | 5304 | 0.0 | 12M| 82 | - | 302 | 719 | 0 | 0 | 248 |3147k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
1510.57/1511.29 c 1372s| 4810k| 36 | 5304 | 0.0 | 12M| 82 | - | 302 | 736 | 0 | 0 | 248 |3153k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
1513.77/1514.44 c 1375s| 4820k| 36 | 5304 | 0.0 | 12M| 82 | - | 302 | 728 | 0 | 0 | 248 |3160k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
1516.97/1517.60 c 1378s| 4830k| 35 | 5304 | 0.0 | 12M| 82 | - | 302 | 738 | 0 | 0 | 248 |3167k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
1520.08/1520.75 c 1381s| 4840k| 36 | 5304 | 0.0 | 12M| 82 | - | 302 | 732 | 0 | 0 | 248 |3173k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
1523.17/1523.85 c 1383s| 4850k| 34 | 5304 | 0.0 | 12M| 82 | - | 302 | 734 | 0 | 0 | 248 |3180k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
1526.37/1527.02 c 1386s| 4860k| 35 | 5304 | 0.0 | 12M| 82 | - | 302 | 766 | 0 | 0 | 248 |3186k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
1529.48/1530.17 c 1389s| 4870k| 32 | 5304 | 0.0 | 12M| 82 | - | 302 | 753 | 0 | 0 | 248 |3193k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
1532.57/1533.28 c 1392s| 4880k| 36 | 5304 | 0.0 | 12M| 82 | - | 302 | 728 | 0 | 0 | 248 |3200k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
1535.77/1536.43 c 1395s| 4890k| 34 | 5304 | 0.0 | 12M| 82 | - | 302 | 739 | 0 | 0 | 248 |3206k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
1538.96/1539.62 c 1398s| 4900k| 35 | 5304 | 0.0 | 12M| 82 | - | 302 | 735 | 0 | 0 | 248 |3213k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
1542.16/1542.80 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1542.16/1542.80 c 1401s| 4910k| 32 | 5304 | 0.0 | 12M| 82 | - | 302 | 746 | 0 | 0 | 248 |3219k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
1545.16/1545.89 c 1403s| 4920k| 34 | 5304 | 0.0 | 12M| 82 | - | 302 | 714 | 0 | 0 | 248 |3226k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
1548.36/1549.01 c 1406s| 4930k| 40 | 5304 | 0.0 | 12M| 82 | - | 302 | 731 | 0 | 0 | 248 |3232k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
1551.46/1552.18 c 1409s| 4940k| 37 | 5304 | 0.0 | 12M| 82 | - | 302 | 757 | 0 | 0 | 248 |3239k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
1554.67/1555.32 c 1412s| 4950k| 38 | 5304 | 0.0 | 12M| 82 | - | 302 | 726 | 0 | 0 | 248 |3246k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
1557.75/1558.44 c 1415s| 4960k| 39 | 5304 | 0.0 | 12M| 82 | - | 302 | 729 | 0 | 0 | 248 |3252k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
1560.85/1561.50 c 1418s| 4970k| 36 | 5304 | 0.0 | 12M| 82 | - | 302 | 752 | 0 | 0 | 248 |3259k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
1563.95/1564.61 c 1420s| 4980k| 34 | 5304 | 0.0 | 12M| 82 | - | 302 | 745 | 0 | 0 | 248 |3266k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
1566.95/1567.69 c 1423s| 4990k| 37 | 5304 | 0.0 | 12M| 82 | - | 302 | 735 | 0 | 0 | 248 |3272k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
1570.16/1570.81 c 1426s| 5000k| 36 | 5304 | 0.0 | 12M| 82 | - | 302 | 732 | 0 | 0 | 248 |3279k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
1573.15/1573.88 c 1429s| 5010k| 35 | 5304 | 0.0 | 12M| 82 | - | 302 | 753 | 0 | 0 | 248 |3286k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
1576.25/1576.96 c 1432s| 5020k| 38 | 5304 | 0.0 | 12M| 82 | - | 302 | 727 | 0 | 0 | 248 |3292k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
1579.45/1580.13 c 1434s| 5030k| 37 | 5304 | 0.0 | 12M| 82 | - | 302 | 743 | 0 | 0 | 248 |3299k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
1582.54/1583.27 c 1437s| 5040k| 39 | 5304 | 0.0 | 12M| 82 | - | 302 | 714 | 0 | 0 | 248 |3306k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
1585.75/1586.44 c 1440s| 5050k| 35 | 5304 | 0.0 | 12M| 82 | - | 302 | 741 | 0 | 0 | 248 |3312k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
1588.94/1589.67 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1588.94/1589.67 c 1443s| 5060k| 37 | 5304 | 0.0 | 12M| 82 | - | 302 | 734 | 0 | 0 | 248 |3319k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
1592.05/1592.80 c 1446s| 5070k| 33 | 5304 | 0.0 | 12M| 82 | - | 302 | 737 | 0 | 0 | 248 |3325k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
1595.14/1595.87 c 1449s| 5080k| 34 | 5304 | 0.0 | 12M| 82 | - | 302 | 746 | 0 | 0 | 248 |3332k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
1598.24/1598.93 c 1451s| 5090k| 36 | 5304 | 0.0 | 12M| 82 | - | 302 | 711 | 0 | 0 | 248 |3339k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
1601.23/1601.99 c 1454s| 5100k| 39 | 5304 | 0.0 | 12M| 82 | - | 302 | 748 | 0 | 0 | 248 |3345k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
1604.44/1605.12 c 1457s| 5110k| 37 | 5304 | 0.0 | 12M| 82 | - | 302 | 737 | 0 | 0 | 248 |3352k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
1607.44/1608.18 c 1460s| 5120k| 36 | 5304 | 0.0 | 12M| 82 | - | 302 | 744 | 0 | 0 | 248 |3359k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
1610.63/1611.33 c 1463s| 5130k| 38 | 5304 | 0.0 | 12M| 82 | - | 302 | 720 | 0 | 0 | 248 |3365k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
1613.74/1614.44 c 1466s| 5140k| 34 | 5304 | 0.0 | 12M| 82 | - | 302 | 752 | 0 | 0 | 248 |3372k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
1616.83/1617.50 c 1468s| 5150k| 34 | 5304 | 0.0 | 12M| 82 | - | 302 | 741 | 0 | 0 | 248 |3378k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
1619.93/1620.62 c 1471s| 5160k| 36 | 5304 | 0.0 | 12M| 82 | - | 302 | 747 | 0 | 0 | 248 |3385k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
1623.03/1623.78 c 1474s| 5170k| 35 | 5304 | 0.0 | 12M| 82 | - | 302 | 754 | 0 | 0 | 248 |3392k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
1626.24/1626.97 c 1477s| 5180k| 37 | 5304 | 0.0 | 12M| 82 | - | 302 | 743 | 0 | 0 | 248 |3398k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
1629.44/1630.16 c 1480s| 5190k| 34 | 5304 | 0.0 | 12M| 82 | - | 302 | 774 | 0 | 0 | 248 |3405k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
1632.53/1633.25 c 1483s| 5200k| 37 | 5304 | 0.0 | 12M| 82 | - | 302 | 765 | 0 | 0 | 248 |3412k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
1635.63/1636.39 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1635.63/1636.39 c 1486s| 5210k| 36 | 5304 | 0.0 | 12M| 82 | - | 302 | 757 | 0 | 0 | 248 |3418k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
1638.82/1639.56 c 1488s| 5220k| 32 | 5304 | 0.0 | 12M| 82 | - | 302 | 798 | 0 | 0 | 248 |3425k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
1642.02/1642.71 c 1491s| 5230k| 34 | 5304 | 0.0 | 12M| 82 | - | 302 | 786 | 0 | 0 | 248 |3432k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
1645.12/1645.84 c 1494s| 5240k| 35 | 5304 | 0.0 | 12M| 82 | - | 302 | 782 | 0 | 0 | 248 |3438k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
1648.32/1649.01 c 1497s| 5250k| 36 | 5304 | 0.0 | 12M| 82 | - | 302 | 773 | 0 | 0 | 248 |3445k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
1651.42/1652.14 c 1500s| 5260k| 30 | 5304 | 0.0 | 12M| 82 | - | 302 | 824 | 0 | 0 | 248 |3451k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
1654.52/1655.23 c 1503s| 5270k| 37 | 5304 | 0.0 | 12M| 82 | - | 302 | 757 | 0 | 0 | 248 |3458k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
1657.62/1658.36 c 1506s| 5280k| 37 | 5304 | 0.0 | 12M| 82 | - | 302 | 736 | 0 | 0 | 248 |3465k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
1660.81/1661.53 c 1508s| 5290k| 35 | 5304 | 0.0 | 12M| 82 | - | 302 | 772 | 0 | 0 | 248 |3471k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
1663.92/1664.62 c 1511s| 5300k| 36 | 5304 | 0.0 | 12M| 82 | - | 302 | 756 | 0 | 0 | 248 |3478k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
1666.92/1667.70 c 1514s| 5310k| 34 | 5304 | 0.0 | 12M| 82 | - | 302 | 769 | 0 | 0 | 248 |3485k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
1670.01/1670.74 c 1517s| 5320k| 39 | 5304 | 0.0 | 12M| 82 | - | 302 | 720 | 0 | 0 | 248 |3491k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
1673.11/1673.85 c 1520s| 5330k| 33 | 5304 | 0.0 | 12M| 82 | - | 302 | 746 | 0 | 0 | 248 |3498k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
1676.21/1676.96 c 1522s| 5340k| 35 | 5304 | 0.0 | 12M| 82 | - | 302 | 755 | 0 | 0 | 248 |3505k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
1679.41/1680.13 c 1525s| 5350k| 36 | 5304 | 0.0 | 12M| 82 | - | 302 | 742 | 0 | 0 | 248 |3511k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
1682.40/1683.19 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1682.40/1683.19 c 1528s| 5360k| 30 | 5304 | 0.0 | 12M| 82 | - | 302 | 767 | 0 | 0 | 248 |3518k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
1685.52/1686.24 c 1531s| 5370k| 33 | 5304 | 0.0 | 12M| 82 | - | 302 | 757 | 0 | 0 | 248 |3525k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
1688.60/1689.33 c 1534s| 5380k| 38 | 5304 | 0.0 | 12M| 82 | - | 302 | 736 | 0 | 0 | 248 |3531k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
1691.70/1692.45 c 1536s| 5390k| 37 | 5304 | 0.0 | 12M| 82 | - | 302 | 729 | 0 | 0 | 248 |3538k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
1694.70/1695.47 c 1539s| 5400k| 37 | 5304 | 0.0 | 12M| 82 | - | 302 | 720 | 0 | 0 | 248 |3545k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
1697.80/1698.57 c 1542s| 5410k| 36 | 5304 | 0.0 | 12M| 82 | - | 302 | 711 | 0 | 0 | 248 |3551k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
1700.91/1701.63 c 1545s| 5420k| 35 | 5304 | 0.0 | 12M| 82 | - | 302 | 717 | 0 | 0 | 248 |3558k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
1704.00/1704.71 c 1547s| 5430k| 31 | 5304 | 0.0 | 12M| 82 | - | 302 | 753 | 0 | 0 | 248 |3564k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
1707.10/1707.80 c 1550s| 5440k| 38 | 5304 | 0.0 | 12M| 82 | - | 302 | 715 | 0 | 0 | 248 |3571k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
1710.10/1710.87 c 1553s| 5450k| 37 | 5304 | 0.0 | 12M| 82 | - | 302 | 732 | 0 | 0 | 248 |3578k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
1713.20/1713.94 c 1556s| 5460k| 40 | 5304 | 0.0 | 12M| 82 | - | 302 | 713 | 0 | 0 | 248 |3584k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
1716.20/1716.99 c 1559s| 5470k| 35 | 5304 | 0.0 | 12M| 82 | - | 302 | 734 | 0 | 0 | 248 |3591k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
1719.29/1720.04 c 1561s| 5480k| 33 | 5304 | 0.0 | 12M| 82 | - | 302 | 742 | 0 | 0 | 248 |3598k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
1722.29/1723.09 c 1564s| 5490k| 35 | 5304 | 0.0 | 12M| 82 | - | 302 | 751 | 0 | 0 | 248 |3604k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
1725.49/1726.25 c 1567s| 5500k| 32 | 5304 | 0.0 | 12M| 82 | - | 302 | 742 | 0 | 0 | 248 |3611k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
1728.59/1729.34 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1728.59/1729.34 c 1570s| 5510k| 33 | 5304 | 0.0 | 12M| 82 | - | 302 | 737 | 0 | 0 | 248 |3617k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
1731.69/1732.42 c 1573s| 5520k| 36 | 5304 | 0.0 | 12M| 82 | - | 302 | 725 | 0 | 0 | 248 |3624k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
1734.78/1735.50 c 1575s| 5530k| 34 | 5304 | 0.0 | 12M| 82 | - | 302 | 717 | 0 | 0 | 248 |3631k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
1737.88/1738.63 c 1578s| 5540k| 35 | 5304 | 0.0 | 12M| 82 | - | 302 | 712 | 0 | 0 | 248 |3637k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
1740.98/1741.73 c 1581s| 5550k| 35 | 5304 | 0.0 | 12M| 82 | - | 302 | 715 | 0 | 0 | 248 |3644k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
1744.08/1744.82 c 1584s| 5560k| 33 | 5304 | 0.0 | 12M| 82 | - | 302 | 732 | 0 | 0 | 248 |3651k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
1747.09/1747.89 c 1587s| 5570k| 34 | 5304 | 0.0 | 12M| 82 | - | 302 | 743 | 0 | 0 | 248 |3657k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
1750.18/1750.97 c 1589s| 5580k| 32 | 5304 | 0.0 | 12M| 82 | - | 302 | 736 | 0 | 0 | 248 |3664k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
1753.28/1754.04 c 1592s| 5590k| 35 | 5304 | 0.0 | 12M| 82 | - | 302 | 726 | 0 | 0 | 248 |3671k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
1756.37/1757.16 c 1595s| 5600k| 38 | 5304 | 0.0 | 12M| 82 | - | 302 | 723 | 0 | 0 | 248 |3677k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
1759.58/1760.36 c 1598s| 5610k| 36 | 5304 | 0.0 | 12M| 82 | - | 302 | 736 | 0 | 0 | 248 |3684k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
1762.68/1763.46 c 1601s| 5620k| 36 | 5304 | 0.0 | 12M| 82 | - | 302 | 751 | 0 | 0 | 248 |3690k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
1765.78/1766.57 c 1604s| 5630k| 34 | 5304 | 0.0 | 12M| 82 | - | 302 | 735 | 0 | 0 | 248 |3697k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
1768.88/1769.69 c 1606s| 5640k| 37 | 5304 | 0.0 | 12M| 82 | - | 302 | 734 | 0 | 0 | 248 |3704k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
1772.07/1772.81 c 1609s| 5650k| 36 | 5304 | 0.0 | 12M| 82 | - | 302 | 741 | 0 | 0 | 248 |3710k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
1775.17/1775.91 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1775.17/1775.91 c 1612s| 5660k| 37 | 5304 | 0.0 | 12M| 82 | - | 302 | 733 | 0 | 0 | 248 |3717k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
1778.27/1779.04 c 1615s| 5670k| 34 | 5304 | 0.0 | 12M| 82 | - | 302 | 749 | 0 | 0 | 248 |3723k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
1781.37/1782.11 c 1618s| 5680k| 34 | 5304 | 0.0 | 12M| 82 | - | 302 | 748 | 0 | 0 | 248 |3730k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
1784.47/1785.21 c 1621s| 5690k| 35 | 5304 | 0.0 | 12M| 82 | - | 302 | 727 | 0 | 0 | 248 |3737k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
1787.47/1788.27 c 1623s| 5700k| 35 | 5304 | 0.0 | 12M| 82 | - | 302 | 711 | 0 | 0 | 248 |3743k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
1790.57/1791.30 c 1626s| 5710k| 34 | 5304 | 0.0 | 12M| 82 | - | 302 | 736 | 0 | 0 | 248 |3750k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
1793.57/1794.35 c 1629s| 5720k| 34 | 5304 | 0.0 | 12M| 82 | - | 302 | 735 | 0 | 0 | 248 |3757k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
1796.67/1797.45 c 1632s| 5730k| 35 | 5304 | 0.0 | 12M| 82 | - | 302 | 732 | 0 | 0 | 248 |3763k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
1799.76/1800.57 c 1634s| 5740k| 32 | 5304 | 0.0 | 12M| 82 | - | 302 | 760 | 0 | 0 | 248 |3770k| 29 | 1.323833e+03 | 1.327000e+03 | 0.24%
1800.07/1800.80 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.07/1800.80 c
1800.07/1800.80 c SCIP Status : solving was interrupted [user interrupt]
1800.07/1800.80 c Solving Time (sec) : 1634.72
1800.07/1800.80 c Solving Nodes : 5740773
1800.07/1800.80 c Primal Bound : +1.32700000000000e+03 (52 solutions)
1800.07/1800.80 c Dual Bound : +1.32383333333333e+03
1800.07/1800.80 c Gap : 0.24 %
1800.07/1800.81 s SATISFIABLE
1800.07/1800.81 v -x2726 x2725 -x2724 x2723 x2722 -x2721 -x2720 x2719 -x2718 x2717 x2716 -x2715 x2714 -x2713 x2712 -x2711 x2710 -x2709 -x2708 x2707
1800.07/1800.81 v x2706 -x2705 x2704 -x2703 x2702 -x2701 -x2700 x2699 x2698 -x2697 x2696 -x2695 x2694 -x2693 x2692 -x2691 -x2690 x2689 x2688
1800.07/1800.81 v -x2687 x2686 -x2685 x2684 -x2683 -x2682 x2681 x2680 -x2679 x2678 -x2677 x2676 -x2675 x2674 -x2673 x2672 -x2671 x2670 -x2669
1800.07/1800.81 v -x2668 x2667 x2666 -x2665 -x2664 x2663 -x2662 x2661 x2660 -x2659 -x2658 x2657 x2656 -x2655 -x2654 x2653 x2652 -x2651 x2650 -x2649
1800.07/1800.81 v -x2648 x2647 x2646 -x2645 -x2644 x2643 -x2642 x2641 x2640 -x2639 x2638 -x2637 -x2636 x2635 x2634 -x2633 x2632 -x2631 x2630
1800.07/1800.81 v -x2629 -x2628 x2627 -x2626 x2625 -x2624 x2623 -x2622 x2621 x2620 -x2619 x2618 -x2617 x2616 -x2615 x2614 -x2613 x2612 -x2611
1800.07/1800.81 v x2610 -x2609 -x2608 x2607 -x2606 x2605 x2604 -x2603 -x2602 x2601 -x2600 x2599 -x2598 x2597 x2596 -x2595 x2594 -x2593 x2592
1800.07/1800.81 v -x2591 -x2590 x2589 -x2588 x2587 x2586 -x2585 x2584 -x2583 -x2582 x2581 -x2580 x2579 x2578 -x2577 -x2576 x2575 -x2574 x2573 -x2572
1800.07/1800.82 v x2571 x2570 -x2569 -x2568 x2567 -x2566 x2565 x2564 -x2563 x2562 -x2561 -x2560 x2559 -x2558 x2557 x2556 -x2555 x2554 -x2553
1800.07/1800.82 v -x2552 x2551 -x2550 x2549 -x2548 x2547 x2546 -x2545 x2544 -x2543 x2542 -x2541 -x2540 x2539 x2538 -x2537 -x2536 x2535 x2534
1800.07/1800.82 v -x2533 -x2532 x2531 -x2530 x2529 -x2528 x2527 x2526 -x2525 -x2524 x2523 x2522 -x2521 -x2520 x2519 x2518 -x2517 x2516 -x2515
1800.07/1800.82 v x2514 -x2513 x2512 -x2511 -x2510 x2509 x2508 -x2507 x2506 -x2505 x2504 -x2503 -x2502 x2501 x2500 -x2499 -x2498 x2497 -x2496
1800.07/1800.82 v x2495 -x2494 x2493 x2492 -x2491 -x2490 x2489 -x2488 x2487 -x2486 x2485 -x2484 x2483 x2482 -x2481 -x2480 x2479 -x2478 x2477 -x2476
1800.07/1800.82 v x2475 -x2474 x2473 -x2472 x2471 -x2470 x2469 x2468 -x2467 x2466 -x2465 x2464 -x2463 x2462 -x2461 x2460 -x2459 x2458 -x2457
1800.07/1800.82 v x2456 -x2455 -x2454 x2453 -x2452 x2451 x2450 -x2449 x2448 -x2447 -x2446 x2445 -x2444 x2443 -x2442 x2441 x2440 -x2439 -x2438
1800.07/1800.82 v x2437 x2436 -x2435 x2434 -x2433 -x2432 x2431 -x2430 x2429 x2428 -x2427 -x2426 x2425 -x2424 x2423 x2422 -x2421 x2420 -x2419
1800.07/1800.82 v x2418 -x2417 -x2416 x2415 -x2414 x2413 -x2412 x2411 x2410 -x2409 x2408 -x2407 -x2406 x2405 -x2404 x2403 -x2402 x2401 -x2400 x2399
1800.07/1800.82 v x2398 -x2397 x2396 -x2395 -x2394 x2393 -x2392 x2391 -x2390 x2389 -x2388 x2387 -x2386 x2385 x2384 -x2383 x2382 -x2381 -x2380
1800.07/1800.82 v x2379 x2378 -x2377 -x2376 x2375 -x2374 x2373 x2372 -x2371 -x2370 x2369 x2368 -x2367 -x2366 x2365 -x2364 x2363 x2362 -x2361
1800.07/1800.82 v -x2360 x2359 -x2358 x2357 -x2356 x2355 x2354 -x2353 x2352 -x2351 x2350 -x2349 x2348 -x2347 -x2346 x2345 x2344 -x2343 -x2342
1800.07/1800.82 v x2341 x2340 -x2339 x2338 -x2337 x2336 -x2335 -x2334 x2333 -x2332 x2331 -x2330 x2329 x2328 -x2327 -x2326 x2325 -x2324 x2323 -x2322
1800.07/1800.82 v x2321 x2320 -x2319 -x2318 x2317 x2316 -x2315 -x2314 x2313 x2312 -x2311 x2310 -x2309 x2308 -x2307 -x2306 x2305 x2304 -x2303
1800.07/1800.82 v -x2302 x2301 -x2300 x2299 x2298 -x2297 x2296 -x2295 x2294 -x2293 -x2292 x2291 x2290 -x2289 x2288 -x2287 -x2286 x2285 -x2284
1800.07/1800.82 v x2283 x2282 -x2281 -x2280 x2279 x2278 -x2277 x2276 -x2275 -x2274 x2273 -x2272 x2271 -x2270 x2269 x2268 -x2267 -x2266 x2265
1800.07/1800.82 v x2264 -x2263 -x2262 x2261 x2260 -x2259 -x2258 x2257 x2256 -x2255 -x2254 x2253 x2252 -x2251 -x2250 x2249 x2248 -x2247 -x2246
1800.07/1800.82 v x2245 -x2244 x2243 -x2242 x2241 x2240 -x2239 x2238 -x2237 x2236 -x2235 x2234 -x2233 -x2232 x2231 -x2230 x2229 -x2228 x2227 -x2226
1800.07/1800.82 v x2225 x2224 -x2223 x2222 -x2221 -x2220 x2219 x2218 -x2217 x2216 -x2215 x2214 -x2213 -x2212 x2211 x2210 -x2209 -x2208 x2207
1800.07/1800.82 v -x2206 x2205 x2204 -x2203 x2202 -x2201 -x2200 x2199 -x2198 x2197 x2196 -x2195 -x2194 x2193 x2192 -x2191 x2190 -x2189 -x2188
1800.07/1800.82 v x2187 x2186 -x2185 -x2184 x2183 -x2182 x2181 x2180 -x2179 -x2178 x2177 -x2176 x2175 x2174 -x2173 x2172 -x2171 x2170 -x2169
1800.07/1800.82 v -x2168 x2167 -x2166 x2165 x2164 -x2163 x2162 -x2161 -x2160 x2159 -x2158 x2157 x2156 -x2155 -x2154 x2153 -x2152 x2151 x2150 -x2149
1800.07/1800.82 v -x2148 x2147 -x2146 x2145 -x2144 x2143 -x2142 x2141 -x2140 x2139 -x2138 x2137 -x2136 x2135 x2134 -x2133 -x2132 x2131 -x2130
1800.07/1800.82 v x2129 -x2128 x2127 -x2126 x2125 -x2124 x2123 -x2122 x2121 x2120 -x2119 -x2118 x2117 x2116 -x2115 x2114 -x2113 x2112 -x2111
1800.07/1800.82 v x2110 -x2109 -x2108 x2107 x2106 -x2105 -x2104 x2103 x2102 -x2101 x2100 -x2099 x2098 -x2097 x2096 -x2095 x2094 -x2093 -x2092
1800.07/1800.82 v x2091 -x2090 x2089 -x2088 x2087 x2086 -x2085 -x2084 x2083 x2082 -x2081 -x2080 x2079 x2078 -x2077 -x2076 x2075 x2074 -x2073 x2072
1800.07/1800.82 v -x2071 -x2070 x2069 -x2068 x2067 x2066 -x2065 -x2064 x2063 x2062 -x2061 x2060 -x2059 x2058 -x2057 x2056 -x2055 -x2054 x2053
1800.07/1800.82 v -x2052 x2051 -x2050 x2049 -x2048 x2047 -x2046 x2045 x2044 -x2043 x2042 -x2041 -x2040 x2039 -x2038 x2037 -x2036 x2035 x2034
1800.07/1800.82 v -x2033 x2032 -x2031 x2030 -x2029 -x2028 x2027 x2026 -x2025 x2024 -x2023 x2022 -x2021 -x2020 x2019 x2018 -x2017 -x2016 x2015
1800.07/1800.82 v -x2014 x2013 -x2012 x2011 x2010 -x2009 -x2008 x2007 -x2006 x2005 -x2004 x2003 -x2002 x2001 x2000 -x1999 x1998 -x1997 -x1996
1800.07/1800.82 v x1995 x1994 -x1993 -x1992 x1991 x1990 -x1989 -x1988 x1987 x1986 -x1985 x1984 -x1983 x1982 -x1981 -x1980 x1979 x1978 -x1977 -x1976
1800.07/1800.82 v x1975 x1974 -x1973 -x1972 x1971 x1970 -x1969 x1968 -x1967 x1966 -x1965 -x1964 x1963 x1962 -x1961 x1960 -x1959 x1958 -x1957
1800.07/1800.82 v x1956 -x1955 -x1954 x1953 x1952 -x1951 x1950 -x1949 x1948 -x1947 x1946 -x1945 x1944 -x1943 x1942 -x1941 x1940 -x1939 x1938
1800.07/1800.82 v -x1937 -x1936 x1935 -x1934 x1933 x1932 -x1931 x1930 -x1929 -x1928 x1927 -x1926 x1925 x1924 -x1923 x1922 -x1921 x1920 -x1919
1800.07/1800.82 v -x1918 x1917 -x1916 x1915 -x1914 x1913 x1912 -x1911 -x1910 x1909 -x1908 x1907 -x1906 x1905 -x1904 x1903 x1902 -x1901 x1900 -x1899
1800.07/1800.82 v -x1898 x1897 -x1896 x1895 -x1894 x1893 -x1892 x1891 x1890 -x1889 -x1888 x1887 x1886 -x1885 x1884 -x1883 -x1882 x1881 -x1880
1800.07/1800.82 v x1879 x1878 -x1877 -x1876 x1875 -x1874 x1873 x1872 -x1871 x1870 -x1869 x1868 -x1867 x1866 -x1865 -x1864 x1863 x1862 -x1861
1800.07/1800.82 v x1860 -x1859 x1858 -x1857 x1856 -x1855 x1854 -x1853 x1852 -x1851 x1850 -x1849 x1848 -x1847 -x1846 x1845 -x1844 x1843 -x1842
1800.07/1800.82 v x1841 -x1840 x1839 x1838 -x1837 x1836 -x1835 -x1834 x1833 -x1832 x1831 -x1830 x1829 -x1828 x1827 -x1826 x1825 -x1824 x1823 -x1822
1800.07/1800.82 v x1821 -x1820 x1819 -x1818 x1817 -x1816 x1815 -x1814 x1813 -x1812 x1811 -x1810 x1809 -x1808 x1807 -x1806 x1805 -x1804 x1803
1800.07/1800.82 v -x1802 x1801 -x1800 x1799 -x1798 x1797 -x1796 x1795 -x1794 x1793 -x1792 x1791 x1790 -x1789 -x1788 x1787 -x1786 x1785 x1784
1800.07/1800.82 v -x1783 -x1782 x1781 -x1780 x1779 x1778 -x1777 x1776 -x1775 x1774 -x1773 -x1772 x1771 -x1770 x1769 x1768 -x1767 x1766 -x1765
1800.07/1800.82 v x1764 -x1763 -x1762 x1761 x1760 -x1759 -x1758 x1757 -x1756 x1755 -x1754 x1753 x1752 -x1751 -x1750 x1749 x1748 -x1747 -x1746
1800.07/1800.82 v x1745 -x1744 x1743 x1742 -x1741 -x1740 x1739 x1738 -x1737 -x1736 x1735 x1734 -x1733 x1732 -x1731 -x1730 x1729 x1728 -x1727 -x1726
1800.07/1800.82 v x1725 x1724 -x1723 -x1722 x1721 x1720 -x1719 x1718 -x1717 -x1716 x1715 -x1714 x1713 x1712 -x1711 -x1710 x1709 x1708 -x1707
1800.07/1800.82 v -x1706 x1705 -x1704 x1703 -x1702 x1701 x1700 -x1699 -x1698 x1697 x1696 -x1695 x1694 -x1693 -x1692 x1691 -x1690 x1689 -x1688
1800.07/1800.82 v x1687 -x1686 x1685 x1684 -x1683 -x1682 x1681 x1680 -x1679 x1678 -x1677 -x1676 -x1675 x1674 -x1673 -x1672 x1671 -x1670 x1669
1800.07/1800.82 v -x1668 -x1667 x1666 -x1665 x1664 -x1663 x1662 -x1661 -x1660 -x1659 x1658 -x1657 -x1656 x1655 -x1654 x1653 x1652 -x1651 -x1650
1800.07/1800.82 v x1649 -x1648 x1647 x1646 -x1645 x1644 -x1643 x1642 -x1641 -x1640 x1639 -x1638 x1637 -x1636 x1635 -x1634 x1633 -x1632 x1631
1800.07/1800.82 v x1630 -x1629 x1628 -x1627 x1626 -x1625 x1624 -x1623 x1622 -x1621 -x1620 x1619 x1618 -x1617 -x1616 x1615 x1614 -x1613 -x1612 x1611
1800.07/1800.82 v -x1610 x1609 x1608 -x1607 x1606 -x1605 x1604 -x1603 x1602 -x1601 x1600 -x1599 x1598 -x1597 -x1596 x1595 -x1594 x1593 x1592
1800.07/1800.82 v -x1591 -x1590 x1589 x1588 -x1587 x1586 -x1585 x1584 -x1583 x1582 -x1581 x1580 -x1579 x1578 -x1577 x1576 -x1575 x1574 -x1573
1800.07/1800.82 v -x1572 x1571 x1570 -x1569 -x1568 x1567 -x1566 x1565 -x1564 x1563 -x1562 x1561 -x1560 x1559 -x1558 x1557 -x1556 x1555 x1554
1800.07/1800.82 v -x1553 x1552 -x1551 x1550 -x1549 -x1548 x1547 x1546 -x1545 x1544 -x1543 x1542 -x1541 x1540 -x1539 -x1538 x1537 x1536 -x1535 x1534
1800.07/1800.82 v -x1533 x1532 -x1531 -x1530 x1529 -x1528 x1527 x1526 -x1525 -x1524 x1523 -x1522 x1521 x1520 -x1519 -x1518 x1517 x1516 -x1515
1800.07/1800.82 v x1514 -x1513 x1512 -x1511 -x1510 x1509 -x1508 x1507 x1506 -x1505 -x1504 x1503 -x1502 x1501 x1500 -x1499 -x1498 x1497 -x1496
1800.07/1800.82 v x1495 -x1494 x1493 x1492 -x1491 x1490 -x1489 -x1488 x1487 x1486 -x1485 x1484 -x1483 -x1482 x1481 -x1480 x1479 -x1478 x1477
1800.07/1800.82 v x1476 -x1475 -x1474 x1473 x1472 -x1471 -x1470 x1469 -x1468 x1467 -x1466 x1465 -x1464 x1463 x1462 -x1461 -x1460 x1459 -x1458
1800.07/1800.82 v x1457 -x1456 x1455 -x1454 x1453 x1452 -x1451 x1450 -x1449 -x1448 x1447 x1446 -x1445 x1444 -x1443 -x1442 x1441 -x1440 x1439 x1438
1800.07/1800.82 v -x1437 x1436 -x1435 -x1434 x1433 x1432 -x1431 -x1430 x1429 x1428 -x1427 -x1426 x1425 x1424 -x1423 -x1422 x1421 -x1420 x1419
1800.07/1800.82 v x1418 -x1417 x1416 -x1415 -x1414 x1413 -x1412 x1411 x1410 -x1409 -x1408 x1407 x1406 -x1405 x1404 -x1403 x1402 -x1401 x1400
1800.07/1800.82 v -x1399 x1398 -x1397 -x1396 x1395 x1394 -x1393 -x1392 x1391 x1390 -x1389 x1388 -x1387 -x1386 x1385 -x1384 x1383 x1382 -x1381
1800.07/1800.82 v x1380 -x1379 -x1378 x1377 -x1376 x1375 x1374 -x1373 x1372 -x1371 -x1370 x1369 -x1368 x1367 x1366 -x1365 -x1364 x1363 x1362 -x1361
1800.07/1800.82 v x1360 -x1359 x1358 -x1357 x1356 -x1355 -x1354 x1353 -x1352 x1351 -x1350 x1349 x1348 -x1347 -x1346 x1345 -x1344 x1343 -x1342
1800.07/1800.82 v x1341 -x1340 x1339 -x1338 x1337 -x1336 x1335 -x1334 x1333 -x1332 x1331 x1330 -x1329 -x1328 x1327 -x1326 x1325 -x1324 x1323
1800.07/1800.82 v -x1322 x1321 -x1320 x1319 x1318 -x1317 -x1316 x1315 x1314 -x1313 x1312 -x1311 x1310 -x1309 -x1308 x1307 x1306 -x1305 -x1304
1800.07/1800.82 v x1303 -x1302 x1301 -x1300 x1299 -x1298 x1297 -x1296 x1295 -x1294 x1293 -x1292 x1291 x1290 -x1289 -x1288 x1287 -x1286 x1285 x1284
1800.07/1800.82 v -x1283 x1282 -x1281 -x1280 x1279 -x1278 x1277 x1276 -x1275 x1274 -x1273 -x1272 x1271 -x1270 x1269 x1268 -x1267 x1266 -x1265
1800.07/1800.82 v -x1264 -x1263 -x1262 x1261 -x1260 x1259 -x1258 -x1257 x1256 -x1255 x1254 -x1253 x1252 -x1251 -x1250 x1249 -x1248 x1247 x1246
1800.07/1800.82 v -x1245 x1244 -x1243 -x1242 x1241 -x1240 x1239 -x1238 x1237 -x1236 x1235 x1234 -x1233 x1232 -x1231 -x1230 x1229 -x1228 x1227
1800.07/1800.82 v -x1226 x1225 -x1224 x1223 -x1222 x1221 -x1220 x1219 -x1218 x1217 -x1216 x1215 -x1214 x1213 -x1212 x1211 x1210 -x1209 -x1208
1800.07/1800.82 v x1207 -x1206 x1205 x1204 -x1203 -x1202 x1201 x1200 -x1199 -x1198 x1197 x1196 -x1195 x1194 -x1193 -x1192 x1191 -x1190 x1189
1800.07/1800.82 v -x1188 x1187 -x1186 x1185 -x1184 x1183 x1182 -x1181 -x1180 x1179 -x1178 x1177 x1176 -x1175 -x1174 x1173 -x1172 x1171 x1170 -x1169
1800.07/1800.82 v -x1168 x1167 x1166 -x1165 -x1164 x1163 -x1162 x1161 -x1160 x1159 x1158 -x1157 -x1156 x1155 x1154 -x1153 -x1152 x1151 x1150
1800.07/1800.82 v -x1149 x1148 -x1147 x1146 -x1145 x1144 -x1143 x1142 -x1141 -x1140 x1139 -x1138 x1137 x1136 -x1135 -x1134 x1133 x1132 -x1131
1800.07/1800.82 v x1130 -x1129 -x1128 x1127 x1126 -x1125 x1124 -x1123 x1122 -x1121 x1120 -x1119 -x1118 x1117 x1116 -x1115 x1114 -x1113 x1112
1800.07/1800.82 v -x1111 -x1110 x1109 -x1108 x1107 -x1106 x1105 -x1104 x1103 -x1102 x1101 x1100 -x1099 -x1098 x1097 -x1096 x1095 x1094 -x1093 x1092
1800.07/1800.82 v -x1091 x1090 -x1089 -x1088 x1087 -x1086 x1085 x1084 -x1083 -x1082 x1081 -x1080 x1079 -x1078 x1077 x1076 -x1075 x1074 -x1073
1800.07/1800.82 v x1072 -x1071 x1070 -x1069 -x1068 x1067 -x1066 x1065 -x1064 x1063 -x1062 x1061 x1060 -x1059 x1058 -x1057 x1056 -x1055 x1054
1800.07/1800.82 v -x1053 x1052 -x1051 -x1050 x1049 x1048 -x1047 -x1046 x1045 -x1044 x1043 x1042 -x1041 x1040 -x1039 -x1038 x1037 x1036 -x1035
1800.07/1800.82 v -x1034 x1033 -x1032 x1031 x1030 -x1029 x1028 -x1027 -x1026 x1025 x1024 -x1023 x1022 -x1021 x1020 -x1019 -x1018 x1017 x1016 -x1015
1800.07/1800.82 v x1014 -x1013 x1012 -x1011 x1010 -x1009 -x1008 x1007 x1006 -x1005 x1004 -x1003 x1002 -x1001 x1000 -x999 x998 -x997 -x996
1800.07/1800.82 v x995 -x994 x993 x992 -x991 x990 -x989 -x988 x987 x986 -x985 -x984 x983 x982 -x981 x980 -x979 x978 -x977 x976 -x975 x974 -x973
1800.07/1800.82 v -x972 x971 -x970 x969 -x968 x967 x966 -x965 -x964 x963 -x962 x961 x960 -x959 x958 -x957 x956 -x955 -x954 x953 x952 -x951 x950
1800.07/1800.82 v -x949 x948 -x947 -x946 x945 -x944 x943 -x942 x941 x940 -x939 x938 -x937 x936 -x935 x934 -x933 x932 -x931 -x930 x929 -x928
1800.07/1800.82 v x927 x926 -x925 x924 -x923 -x922 x921 x920 -x919 -x918 x917 x916 -x915 -x914 x913 -x912 x911 -x910 x909 -x908 x907 -x906 x905
1800.07/1800.82 v -x904 x903 -x902 x901 x900 -x899 x898 -x897 x896 -x895 x894 -x893 -x892 x891 x890 -x889 x888 -x887 x886 -x885 x884 -x883 x882
1800.07/1800.82 v -x881 x880 -x879 x878 -x877 x876 -x875 x874 -x873 x872 -x871 -x870 x869 x868 -x867 x866 -x865 x864 -x863 x862 -x861 -x860 x859
1800.07/1800.82 v -x858 x857 -x856 x855 -x854 x853 -x852 x851 x850 -x849 x848 -x847 -x846 x845 -x844 x843 x842 -x841 -x840 x839 -x838 x837
1800.07/1800.82 v -x836 x835 x834 -x833 x832 -x831 -x830 x829 -x828 x827 -x826 x825 -x824 x823 x822 -x821 x820 -x819 x818 -x817 -x816 x815 -x814
1800.07/1800.82 v x813 x812 -x811 -x810 x809 -x808 x807 x806 -x805 -x804 x803 -x802 x801 x800 -x799 x798 -x797 -x796 x795 x794 -x793 x792 -x791
1800.07/1800.82 v -x790 x789 -x788 x787 -x786 x785 x784 -x783 x782 -x781 -x780 x779 x778 -x777 x776 -x775 x774 -x773 -x772 x771 x770 -x769 -x768
1800.07/1800.82 v x767 x766 -x765 -x764 x763 x762 -x761 -x760 x759 x758 -x757 x756 -x755 -x754 x753 -x752 x751 x750 -x749 x748 -x747 x746
1800.07/1800.82 v -x745 x744 -x743 x742 -x741 x740 -x739 x738 -x737 x736 -x735 x734 -x733 -x732 x731 -x730 x729 -x728 x727 x726 -x725 -x724 x723
1800.07/1800.82 v x722 -x721 -x720 x719 -x718 x717 x716 -x715 x714 -x713 x712 -x711 -x710 x709 x708 -x707 -x706 x705 x704 -x703 -x702 x701 -x700
1800.07/1800.82 v x699 -x698 x697 -x696 x695 -x694 x693 x692 -x691 -x690 x689 -x688 x687 x686 -x685 x684 -x683 -x682 x681 -x680 x679 -x678
1800.07/1800.82 v x677 -x676 x675 x674 -x673 -x672 x671 -x670 x669 -x668 x667 -x666 x665 x664 -x663 -x662 x661 x660 -x659 -x658 x657 -x656 x655
1800.07/1800.82 v -x654 x653 x652 -x651 x650 -x649 x648 -x647 x646 -x645 -x644 x643 -x642 x641 x640 -x639 -x638 x637 x636 -x635 -x634 x633 -x632
1800.07/1800.82 v x631 -x630 x629 x628 -x627 x626 -x625 x624 -x623 -x622 x621 -x620 x619 x618 -x617 -x616 x615 -x614 x613 x612 -x611 -x610 x609
1800.07/1800.82 v -x608 x607 -x606 x605 -x604 x603 -x602 x601 x600 -x599 x598 -x597 x596 -x595 x594 -x593 x592 -x591 x590 -x589 x588 -x587
1800.07/1800.82 v -x586 x585 x584 -x583 x582 -x581 x580 -x579 -x578 x577 -x576 x575 x574 -x573 -x572 x571 -x570 x569 -x568 x567 -x566 x565 -x564
1800.07/1800.82 v x563 x562 -x561 -x560 x559 -x558 x557 -x556 x555 -x554 x553 x552 -x551 x550 -x549 -x548 x547 x546 -x545 -x544 x543 -x542 x541
1800.07/1800.82 v -x540 x539 -x538 x537 x536 -x535 x534 -x533 x532 -x531 x530 -x529 x528 -x527 x526 -x525 -x524 x523 x522 -x521 x520 -x519 x518
1800.07/1800.82 v -x517 -x516 x515 -x514 x513 x512 -x511 -x510 x509 -x508 x507 x506 -x505 x504 -x503 x502 -x501 -x500 x499 -x498 x497 x496
1800.07/1800.82 v -x495 x494 -x493 -x492 x491 x490 -x489 x488 -x487 -x486 x485 -x484 x483 -x482 x481 x480 -x479 x478 -x477 x476 -x475 x474 -x473
1800.07/1800.82 v -x472 x471 x470 -x469 x468 -x467 -x466 x465 x464 -x463 -x462 x461 -x460 x459 x458 -x457 x456 -x455 -x454 x453 -x452 x451 x450
1800.07/1800.82 v -x449 -x448 x447 -x446 x445 x444 -x443 x442 -x441 x440 -x439 x438 -x437 -x436 x435 -x434 x433 -x432 x431 x430 -x429 x428 -x427
1800.07/1800.82 v x426 -x425 x424 -x423 x422 -x421 -x420 x419 -x418 x417 -x416 x415 -x414 x413 x412 -x411 x410 -x409 x408 -x407 x406 -x405
1800.07/1800.82 v -x404 x403 -x402 x401 -x400 x399 -x398 x397 -x396 x395 -x394 x393 -x392 x391 -x390 x389 -x388 x387 -x386 x385 -x384 x383 -x382
1800.07/1800.82 v x381 -x380 x379 -x378 x377 x376 -x375 x374 -x373 x372 -x371 x370 -x369 x368 -x367 -x366 x365 -x364 x363 -x362 x361 -x360 x359
1800.07/1800.82 v x358 -x357 x356 -x355 x354 -x353 x352 -x351 x350 -x349 x348 -x347 x346 -x345 x344 -x343 -x342 x341 -x340 x339 -x338 x337
1800.07/1800.82 v -x336 x335 -x334 x333 x332 -x331 x330 -x329 x328 -x327 x326 -x325 x324 -x323 -x322 x321 -x320 x319 -x318 x317 -x316 x315 -x314
1800.07/1800.82 v x313 x312 -x311 x310 -x309 x308 -x307 x306 -x305 x304 -x303 -x302 x301 x300 -x299 x298 -x297 x296 -x295 x294 -x293 -x292 x291
1800.07/1800.82 v -x290 x289 x288 -x287 -x286 x285 -x284 x283 x282 -x281 x280 -x279 x278 -x277 x276 -x275 x274 -x273 x272 -x271 x270 -x269 x268
1800.07/1800.82 v -x267 x266 -x265 x264 -x263 -x262 x261 -x260 x259 -x258 x257 x256 -x255 -x254 x253 -x252 x251 x250 -x249 -x248 x247 -x246
1800.07/1800.82 v x245 -x244 x243 x242 -x241 x240 -x239 x238 -x237 -x236 x235 -x234 x233 -x232 -x231 x230 -x229 x228 -x227 x226 -x225 x224 -x223
1800.07/1800.82 v -x222 -x221 -x220 -x219 -x218 -x217 -x216 x215 -x214 x213 -x212 x211 x210 -x209 -x208 -x207 -x206 x205 -x204 -x203 -x202 -x201
1800.07/1800.82 v x200 -x199 -x198 -x197 x196 -x195 -x194 x193 x192 -x191 x190 -x189 -x188 -x187 x186 -x185 x184 -x183 x182 -x181 -x180 -x179
1800.07/1800.82 v -x178 -x177 -x176 -x175 -x174 -x173 x172 -x171 -x170 -x169 -x168 x167 x166 -x165 x164 -x163 -x162 x161 -x160 x159 -x158 x157
1800.07/1800.82 v -x156 x155 -x154 -x153 -x152 x151 x150 -x149 -x148 x147 -x146 x145 x144 -x143 -x142 x141 -x140 x139 -x138 x137 x136 -x135
1800.07/1800.82 v x134 -x133 x132 -x131 -x130 -x129 -x128 x127 -x126 x125 -x124 x123 x122 -x121 -x120 -x119 -x118 x117 x116 -x115 -x114 x113 -x112
1800.07/1800.82 v x111 x110 -x109 x108 -x107 -x106 x105 -x104 -x103 x102 -x101 x100 -x99 -x98 -x97 -x96 x95 -x94 x93 -x92 x91 x90 -x89 -x88
1800.07/1800.82 v x87 -x86 -x85 x84 -x83 -x82 x81 x80 -x79 -x78 x77 -x76 -x75 -x74 x73 -x72 -x71 -x70 x69 x68 -x67 x66 -x65 -x64 x63 x62 -x61
1800.07/1800.82 v -x60 -x59 -x58 -x57 -x56 x55 -x54 x53 x52 -x51 -x50 x49 x48 -x47 -x46 -x45 -x44 -x43 x42 -x41 x40 -x39 x38 -x37 x36 -x35 x34
1800.07/1800.82 v -x33 -x32 x31 -x30 -x29 -x28 x27 x26 -x25 -x24 -x23 -x22 x21 -x20 x19 x18 -x17 -x16 -x15 -x14 x13 x12 -x11 -x10 -x9 -x8 x7 x6
1800.07/1800.82 v -x5 -x4 -x3 -x2 x1
1800.07/1800.82 c SCIP Status : solving was interrupted [user interrupt]
1800.07/1800.82 c Solving Time : 1634.72
1800.07/1800.82 c Original Problem :
1800.07/1800.82 c Problem name : HOME/instance-2666918-1276424169.opb
1800.07/1800.82 c Variables : 2726 (2726 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.07/1800.82 c Constraints : 4395 initial, 4395 maximal
1800.07/1800.82 c Presolved Problem :
1800.07/1800.82 c Problem name : t_HOME/instance-2666918-1276424169.opb
1800.07/1800.82 c Variables : 302 (302 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.07/1800.82 c Constraints : 693 initial, 887 maximal
1800.07/1800.82 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.07/1800.82 c trivial : 0.00 25 0 0 0 0 0 0 0
1800.07/1800.82 c dualfix : 0.00 18 0 0 0 0 0 0 0
1800.07/1800.82 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.07/1800.82 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.07/1800.82 c implics : 0.05 0 1239 0 0 0 0 0 0
1800.07/1800.82 c probing : 0.03 0 34 0 0 0 0 0 0
1800.07/1800.82 c linear : 0.08 87 1021 0 112 0 3702 2 5
1800.07/1800.82 c logicor : 0.02 0 0 0 0 0 0 0 0
1800.07/1800.82 c root node : - 0 - - 0 - - - -
1800.07/1800.82 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.07/1800.82 c integral : 0 0 0 1 0 0 0 0 0 2
1800.07/1800.82 c logicor : 693+ 61 20863349 0 0 3769491 38953214 0 0 0
1800.07/1800.82 c countsols : 0 0 0 0 0 0 0 0 0 0
1800.07/1800.82 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.07/1800.82 c integral : 0.84 0.00 0.00 0.84 0.00
1800.07/1800.82 c logicor : 573.04 0.00 573.04 0.00 0.00
1800.07/1800.82 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.07/1800.82 c Propagators : Time Calls Cutoffs DomReds
1800.07/1800.82 c vbounds : 12.68 2 0 0
1800.07/1800.82 c rootredcost : 11.33 0 0 0
1800.07/1800.82 c pseudoobj : 387.40 25794220 0 161976605
1800.07/1800.82 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.07/1800.82 c propagation : 373.28 3769491 3769491 3769491 24.9 1345 4.1 -
1800.07/1800.82 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.07/1800.82 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.07/1800.82 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.07/1800.82 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.07/1800.82 c applied globally : - - - 3759544 24.8 - - -
1800.07/1800.82 c applied locally : - - - 11292 31.1 - - -
1800.07/1800.82 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.07/1800.82 c cut pool : 0.03 60 - - 532 - (maximal pool size: 1772)
1800.07/1800.82 c redcost : 0.02 61 0 0 0 0
1800.07/1800.82 c impliedbounds : 0.00 61 0 0 28 0
1800.07/1800.82 c intobj : 0.00 0 0 0 0 0
1800.07/1800.82 c cgmip : 0.00 0 0 0 0 0
1800.07/1800.82 c gomory : 1.49 61 0 0 19775 0
1800.07/1800.82 c strongcg : 0.29 20 0 0 7220 0
1800.07/1800.82 c cmir : 0.08 10 0 0 0 0
1800.07/1800.82 c flowcover : 0.04 10 0 0 1 0
1800.07/1800.82 c clique : 0.00 61 0 0 36 0
1800.07/1800.82 c zerohalf : 0.00 0 0 0 0 0
1800.07/1800.82 c mcf : 0.00 1 0 0 0 0
1800.07/1800.82 c rapidlearning : 0.00 0 0 0 0 0
1800.07/1800.82 c Pricers : Time Calls Vars
1800.07/1800.82 c problem variables: 0.00 0 0
1800.07/1800.82 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.07/1800.82 c relpscost : 0.84 1 0 0 0 0 2
1800.07/1800.82 c pscost : 0.00 0 0 0 0 0 0
1800.07/1800.82 c inference : 88.51 3772440 0 0 0 0 7544880
1800.07/1800.82 c mostinf : 0.00 0 0 0 0 0 0
1800.07/1800.82 c leastinf : 0.00 0 0 0 0 0 0
1800.07/1800.82 c fullstrong : 0.00 0 0 0 0 0 0
1800.07/1800.82 c allfullstrong : 0.00 0 0 0 0 0 0
1800.07/1800.82 c random : 0.00 0 0 0 0 0 0
1800.07/1800.82 c Primal Heuristics : Time Calls Found
1800.07/1800.82 c LP solutions : 0.00 - 0
1800.07/1800.82 c pseudo solutions : 0.00 - 0
1800.07/1800.82 c crossover : 0.00 0 0
1800.07/1800.82 c oneopt : 2.60 2 1
1800.07/1800.82 c trivial : 0.01 2 0
1800.07/1800.82 c simplerounding : 0.00 0 0
1800.07/1800.82 c zirounding : 0.00 1 0
1800.07/1800.82 c rounding : 0.03 62 0
1800.07/1800.82 c shifting : 0.11 62 50
1800.07/1800.82 c intshifting : 0.00 0 0
1800.07/1800.82 c twoopt : 0.00 0 0
1800.07/1800.82 c fixandinfer : 0.00 0 0
1800.07/1800.82 c feaspump : 0.20 1 1
1800.07/1800.82 c coefdiving : 0.00 0 0
1800.07/1800.82 c pscostdiving : 0.00 0 0
1800.07/1800.82 c fracdiving : 0.00 0 0
1800.07/1800.82 c veclendiving : 0.00 0 0
1800.07/1800.82 c intdiving : 0.00 0 0
1800.07/1800.82 c actconsdiving : 0.00 0 0
1800.07/1800.82 c objpscostdiving : 0.00 0 0
1800.07/1800.82 c rootsoldiving : 0.00 0 0
1800.07/1800.82 c linesearchdiving : 0.00 0 0
1800.07/1800.82 c guideddiving : 0.00 0 0
1800.07/1800.82 c octane : 0.00 0 0
1800.07/1800.82 c rens : 0.00 0 0
1800.07/1800.82 c rins : 0.00 0 0
1800.07/1800.82 c localbranching : 0.00 0 0
1800.07/1800.82 c mutation : 0.00 0 0
1800.07/1800.82 c dins : 0.00 0 0
1800.07/1800.82 c undercover : 0.00 0 0
1800.07/1800.82 c nlp : 3.08 0 0
1800.07/1800.82 c trysol : 2.46 0 0
1800.07/1800.82 c LP : Time Calls Iterations Iter/call Iter/sec
1800.07/1800.82 c primal LP : 0.02 0 0 0.00 0.00
1800.07/1800.82 c dual LP : 0.45 62 2797 45.11 6215.56
1800.07/1800.82 c lex dual LP : 0.00 0 0 0.00 -
1800.07/1800.82 c barrier LP : 0.00 0 0 0.00 -
1800.07/1800.82 c diving/probing LP: 0.20 56 2507 44.77 12535.00
1800.07/1800.82 c strong branching : 0.84 29 4296 148.14 5114.29
1800.07/1800.82 c (at root node) : - 29 4296 148.14 -
1800.07/1800.82 c conflict analysis: 0.00 0 0 0.00 -
1800.07/1800.82 c B&B Tree :
1800.07/1800.82 c number of runs : 1
1800.07/1800.82 c nodes : 5740773
1800.07/1800.82 c nodes (total) : 5740773
1800.07/1800.82 c nodes left : 36
1800.07/1800.82 c max depth : 82
1800.07/1800.82 c max depth (total): 82
1800.07/1800.82 c backtracks : 1801928 (31.4%)
1800.07/1800.82 c delayed cutoffs : 1804074
1800.07/1800.82 c repropagations : 5813719 (97907281 domain reductions, 1801159 cutoffs)
1800.07/1800.82 c avg switch length: 2.71
1800.07/1800.82 c switching time : 250.20
1800.07/1800.82 c Solution :
1800.07/1800.82 c Solutions found : 52 (2 improvements)
1800.07/1800.82 c First Solution : +1.35600000000000e+03 (in run 1, after 1 nodes, 0.42 seconds, depth 0, found by <feaspump>)
1800.07/1800.82 c Primal Bound : +1.32700000000000e+03 (in run 1, after 1 nodes, 0.45 seconds, depth 0, found by <oneopt>)
1800.07/1800.82 c Dual Bound : +1.32383333333333e+03
1800.07/1800.82 c Gap : 0.24 %
1800.07/1800.82 c Root Dual Bound : +1.32300000000000e+03
1800.07/1800.82 c Root Iterations : 5304
1800.07/1800.84 c Time complete: 1800.1.