0.00/0.00 c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: NONE] [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-2664058-1276424112.opb>
0.08/0.09 c original problem has 2726 variables (2726 bin, 0 int, 0 impl, 0 cont) and 4395 constraints
0.08/0.09 c problem read
0.08/0.09 c presolving settings loaded
0.08/0.09 c [src/scip/lpi_none.c:41] ERROR: there is no LP solver linked to the binary (LPS=none); you should set the parameter <lp/solvefreq> to <-1> to avoid solving LPs
0.09/0.13 c presolving:
0.19/0.22 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.26 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.27 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.27 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.31 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.35 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.35 c (0.2s) probing: 272/336 (81.0%) - 0 fixings, 34 aggregations, 144 implications, 0 bound changes
0.29/0.35 c (0.2s) probing aborted: 100/100 successive totally useless probings
0.29/0.35 c presolving (11 rounds):
0.29/0.35 c 2424 deleted vars, 3702 deleted constraints, 112 tightened bounds, 0 added holes, 2 changed sides, 5 changed coefficients
0.29/0.35 c 60114 implications, 0 cliques
0.29/0.35 c presolved problem has 302 variables (302 bin, 0 int, 0 impl, 0 cont) and 693 constraints
0.29/0.35 c 693 constraints of type <logicor>
0.29/0.35 c transformed objective value is always integral (scale: 1)
0.29/0.35 c Presolving Time: 0.19
0.29/0.35 c - non default parameters ----------------------------------------------------------------------
0.29/0.35 c # SCIP version 1.2.1.2
0.29/0.35 c
0.29/0.35 c # maximal number of intermediate conflict constraints generated in conflict graph (-1: use every intermediate constraint)
0.29/0.35 c # [type: int, range: [-1,2147483647], default: -1]
0.29/0.35 c conflict/interconss = 0
0.29/0.35 c
0.29/0.35 c # should binary conflicts be preferred?
0.29/0.35 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.29/0.35 c conflict/preferbinary = TRUE
0.29/0.35 c
0.29/0.35 c # maximum age an unnecessary constraint can reach before it is deleted (0: dynamic, -1: keep all constraints)
0.29/0.35 c # [type: int, range: [-1,2147483647], default: 0]
0.29/0.35 c constraints/agelimit = 1
0.29/0.35 c
0.29/0.35 c # should enforcement of pseudo solution be disabled?
0.29/0.35 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.29/0.35 c constraints/disableenfops = TRUE
0.29/0.35 c
0.29/0.35 c # frequency for displaying node information lines
0.29/0.35 c # [type: int, range: [-1,2147483647], default: 100]
0.29/0.35 c display/freq = 10000
0.29/0.35 c
0.29/0.35 c # maximal time in seconds to run
0.29/0.35 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.29/0.35 c limits/time = 1799.91
0.29/0.35 c
0.29/0.35 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.29/0.35 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.29/0.35 c limits/memory = 1620
0.29/0.35 c
0.29/0.35 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.29/0.35 c # [type: int, range: [-1,2147483647], default: 1]
0.29/0.35 c lp/solvefreq = -1
0.29/0.35 c
0.29/0.35 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.35 c # [type: char, range: {lafpsqd}, default: l]
0.29/0.35 c lp/pricing = a
0.29/0.35 c
0.29/0.35 c # should presolving try to simplify inequalities
0.29/0.35 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.29/0.35 c constraints/linear/simplifyinequalities = TRUE
0.29/0.35 c
0.29/0.35 c # should presolving try to simplify knapsacks
0.29/0.35 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.29/0.35 c constraints/knapsack/simplifyinequalities = TRUE
0.29/0.35 c
0.29/0.35 c # priority of node selection rule <dfs> in standard mode
0.29/0.35 c # [type: int, range: [-536870912,536870911], default: 0]
0.29/0.35 c nodeselection/dfs/stdpriority = 1000000
0.29/0.35 c
0.29/0.35 c -----------------------------------------------------------------------------------------------
0.29/0.35 c start solving
0.29/0.35 c
0.29/0.35 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.35 c 0.2s| 1 | 2 | 0 | - |6567k| 0 | - | 302 | 693 | 0 | 0 | 0 | 0 | 0 | 1.291000e+03 | -- | Inf
0.29/0.37 o 1327
0.29/0.37 c * 0.2s| 144 | 82 | 0 | 0.0 |6650k| 132 | - | 302 | 696 | 0 | 0 | 0 | 6 | 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
3.30/3.34 c 2.9s| 10000 | 54 | 0 | 0.0 |6664k| 132 | - | 302 | 736 | 0 | 0 | 0 |6366 | 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
6.39/6.42 c 5.7s| 20000 | 54 | 0 | 0.0 |6667k| 132 | - | 302 | 748 | 0 | 0 | 0 | 12k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
9.39/9.43 c 8.4s| 30000 | 57 | 0 | 0.0 |6667k| 132 | - | 302 | 741 | 0 | 0 | 0 | 19k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
12.49/12.51 c 11.2s| 40000 | 56 | 0 | 0.0 |6671k| 132 | - | 302 | 752 | 0 | 0 | 0 | 25k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
15.59/15.60 c 14.0s| 50000 | 51 | 0 | 0.0 |6680k| 132 | - | 302 | 785 | 0 | 0 | 0 | 32k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
18.60/18.62 c 16.8s| 60000 | 51 | 0 | 0.0 |6684k| 132 | - | 302 | 782 | 0 | 0 | 0 | 38k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
21.68/21.71 c 19.6s| 70000 | 54 | 0 | 0.0 |6666k| 132 | - | 302 | 739 | 0 | 0 | 0 | 45k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
24.68/24.78 c 22.3s| 80000 | 55 | 0 | 0.0 |6672k| 132 | - | 302 | 754 | 0 | 0 | 0 | 51k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
27.78/27.87 c 25.2s| 90000 | 51 | 0 | 0.0 |6684k| 132 | - | 302 | 779 | 0 | 0 | 0 | 58k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
30.88/30.92 c 27.9s|100000 | 48 | 0 | 0.0 |6695k| 132 | - | 302 | 813 | 0 | 0 | 0 | 64k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
33.88/33.98 c 30.7s|110000 | 51 | 0 | 0.0 |6672k| 132 | - | 302 | 751 | 0 | 0 | 0 | 71k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
37.08/37.13 c 33.6s|120000 | 50 | 0 | 0.0 |6676k| 132 | - | 302 | 762 | 0 | 0 | 0 | 77k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
40.17/40.24 c 36.4s|130000 | 52 | 0 | 0.0 |6678k| 132 | - | 302 | 765 | 0 | 0 | 0 | 84k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
43.27/43.35 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
43.27/43.35 c 39.2s|140000 | 52 | 0 | 0.0 |6679k| 132 | - | 302 | 767 | 0 | 0 | 0 | 91k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
46.38/46.47 c 42.0s|150000 | 49 | 0 | 0.0 |6688k| 132 | - | 302 | 797 | 0 | 0 | 0 | 97k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
49.57/49.61 c 44.9s|160000 | 48 | 0 | 0.0 |6682k| 132 | - | 302 | 780 | 0 | 0 | 0 | 104k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
52.68/52.74 c 47.7s|170000 | 52 | 0 | 0.0 |6679k| 132 | - | 302 | 761 | 0 | 0 | 0 | 111k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
55.88/55.93 c 50.6s|180000 | 48 | 0 | 0.0 |6688k| 132 | - | 302 | 795 | 0 | 0 | 0 | 117k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
58.97/59.04 c 53.4s|190000 | 50 | 0 | 0.0 |6679k| 132 | - | 302 | 767 | 0 | 0 | 0 | 124k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
62.17/62.20 c 56.3s|200000 | 45 | 0 | 0.0 |6689k| 132 | - | 302 | 805 | 0 | 0 | 0 | 131k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
65.07/65.19 c 59.0s|210000 | 46 | 0 | 0.0 |6667k| 132 | - | 302 | 735 | 0 | 0 | 0 | 137k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
68.18/68.21 c 61.7s|220000 | 40 | 0 | 0.0 |6680k| 132 | - | 302 | 767 | 0 | 0 | 0 | 144k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
71.26/71.32 c 64.5s|230000 | 39 | 0 | 0.0 |6685k| 132 | - | 302 | 789 | 0 | 0 | 0 | 151k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
74.27/74.37 c 67.3s|240000 | 39 | 0 | 0.0 |6686k| 132 | - | 302 | 795 | 0 | 0 | 0 | 157k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
77.36/77.45 c 70.1s|250000 | 37 | 0 | 0.0 |6699k| 132 | - | 302 | 833 | 0 | 0 | 0 | 164k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
80.46/80.51 c 72.9s|260000 | 39 | 0 | 0.0 |6683k| 132 | - | 302 | 783 | 0 | 0 | 0 | 170k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
83.47/83.55 c 75.6s|270000 | 42 | 0 | 0.0 |6685k| 132 | - | 302 | 782 | 0 | 0 | 0 | 177k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
86.56/86.62 c 78.4s|280000 | 39 | 0 | 0.0 |6684k| 132 | - | 302 | 787 | 0 | 0 | 0 | 183k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
89.56/89.69 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
89.56/89.69 c 81.2s|290000 | 38 | 0 | 0.0 |6693k| 132 | - | 302 | 805 | 0 | 0 | 0 | 190k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
92.66/92.76 c 84.0s|300000 | 35 | 0 | 0.0 |6697k| 132 | - | 302 | 829 | 0 | 0 | 0 | 196k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
95.76/95.82 c 86.8s|310000 | 40 | 0 | 0.0 |6688k| 132 | - | 302 | 789 | 0 | 0 | 0 | 203k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
98.86/98.92 c 89.5s|320000 | 43 | 0 | 0.0 |6680k| 132 | - | 302 | 774 | 0 | 0 | 0 | 210k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
101.86/101.97 c 92.3s|330000 | 41 | 0 | 0.0 |6685k| 132 | - | 302 | 786 | 0 | 0 | 0 | 216k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
104.95/105.03 c 95.1s|340000 | 41 | 0 | 0.0 |6685k| 132 | - | 302 | 782 | 0 | 0 | 0 | 223k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
107.95/108.09 c 97.8s|350000 | 37 | 0 | 0.0 |6698k| 132 | - | 302 | 832 | 0 | 0 | 0 | 229k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
111.06/111.14 c 101s|360000 | 38 | 0 | 0.0 |6692k| 132 | - | 302 | 802 | 0 | 0 | 0 | 236k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
114.16/114.21 c 103s|370000 | 39 | 0 | 0.0 |6696k| 132 | - | 302 | 822 | 0 | 0 | 0 | 242k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
117.15/117.28 c 106s|380000 | 40 | 0 | 0.0 |6695k| 132 | - | 302 | 811 | 0 | 0 | 0 | 249k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
120.25/120.38 c 109s|390000 | 39 | 0 | 0.0 |6690k| 132 | - | 302 | 809 | 0 | 0 | 0 | 255k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
123.35/123.45 c 112s|400000 | 37 | 0 | 0.0 |6701k| 132 | - | 302 | 842 | 0 | 0 | 0 | 262k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
126.46/126.59 c 115s|410000 | 42 | 0 | 0.0 |6677k| 132 | - | 302 | 756 | 0 | 0 | 0 | 268k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
129.65/129.73 c 118s|420000 | 42 | 0 | 0.0 |6676k| 132 | - | 302 | 758 | 0 | 0 | 0 | 275k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
132.74/132.84 c 120s|430000 | 40 | 0 | 0.0 |6682k| 132 | - | 302 | 773 | 0 | 0 | 0 | 282k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
135.75/135.88 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
135.75/135.88 c 123s|440000 | 43 | 0 | 0.0 |6678k| 132 | - | 302 | 752 | 0 | 0 | 0 | 288k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
138.94/139.04 c 126s|450000 | 42 | 0 | 0.0 |6680k| 132 | - | 302 | 767 | 0 | 0 | 0 | 295k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
142.05/142.10 c 129s|460000 | 39 | 0 | 0.0 |6679k| 132 | - | 302 | 767 | 0 | 0 | 0 | 301k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
145.14/145.24 c 132s|470000 | 40 | 0 | 0.0 |6689k| 132 | - | 302 | 792 | 0 | 0 | 0 | 308k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
148.35/148.41 c 134s|480000 | 40 | 0 | 0.0 |6683k| 132 | - | 302 | 767 | 0 | 0 | 0 | 314k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
151.44/151.55 c 137s|490000 | 42 | 0 | 0.0 |6682k| 132 | - | 302 | 771 | 0 | 0 | 0 | 321k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
154.53/154.68 c 140s|500000 | 40 | 0 | 0.0 |6685k| 132 | - | 302 | 780 | 0 | 0 | 0 | 328k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
157.74/157.85 c 143s|510000 | 39 | 0 | 0.0 |6691k| 132 | - | 302 | 801 | 0 | 0 | 0 | 334k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
160.93/161.03 c 146s|520000 | 40 | 0 | 0.0 |6681k| 132 | - | 302 | 772 | 0 | 0 | 0 | 341k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
164.13/164.20 c 149s|530000 | 38 | 0 | 0.0 |6695k| 132 | - | 302 | 814 | 0 | 0 | 0 | 347k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
167.23/167.35 c 152s|540000 | 38 | 0 | 0.0 |6694k| 132 | - | 302 | 801 | 0 | 0 | 0 | 354k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
170.44/170.52 c 155s|550000 | 38 | 0 | 0.0 |6702k| 132 | - | 302 | 837 | 0 | 0 | 0 | 361k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
173.53/173.64 c 157s|560000 | 41 | 0 | 0.0 |6671k| 132 | - | 302 | 739 | 0 | 0 | 0 | 367k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
176.73/176.80 c 160s|570000 | 40 | 0 | 0.0 |6675k| 132 | - | 302 | 750 | 0 | 0 | 0 | 373k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
179.83/179.96 c 163s|580000 | 39 | 0 | 0.0 |6677k| 132 | - | 302 | 754 | 0 | 0 | 0 | 380k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
183.03/183.14 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
183.03/183.14 c 166s|590000 | 39 | 0 | 0.0 |6682k| 132 | - | 302 | 773 | 0 | 0 | 0 | 387k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
186.13/186.21 c 169s|600000 | 38 | 0 | 0.0 |6685k| 132 | - | 302 | 779 | 0 | 0 | 0 | 393k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
189.23/189.34 c 172s|610000 | 38 | 0 | 0.0 |6686k| 132 | - | 302 | 766 | 0 | 0 | 0 | 400k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
192.33/192.50 c 174s|620000 | 35 | 0 | 0.0 |6695k| 132 | - | 302 | 790 | 0 | 0 | 0 | 407k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
195.53/195.63 c 177s|630000 | 39 | 0 | 0.0 |6681k| 132 | - | 302 | 759 | 0 | 0 | 0 | 413k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
198.63/198.77 c 180s|640000 | 38 | 0 | 0.0 |6691k| 132 | - | 302 | 779 | 0 | 0 | 0 | 420k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
201.73/201.84 c 183s|650000 | 38 | 0 | 0.0 |6683k| 132 | - | 302 | 766 | 0 | 0 | 0 | 426k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
204.92/205.04 c 186s|660000 | 38 | 0 | 0.0 |6691k| 132 | - | 302 | 782 | 0 | 0 | 0 | 433k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
208.12/208.22 c 189s|670000 | 42 | 0 | 0.0 |6678k| 132 | - | 302 | 744 | 0 | 0 | 0 | 439k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
211.22/211.34 c 191s|680000 | 38 | 0 | 0.0 |6680k| 132 | - | 302 | 757 | 0 | 0 | 0 | 446k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
214.32/214.42 c 194s|690000 | 37 | 0 | 0.0 |6684k| 132 | - | 302 | 769 | 0 | 0 | 0 | 452k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
217.41/217.52 c 197s|700000 | 38 | 0 | 0.0 |6675k| 132 | - | 302 | 742 | 0 | 0 | 0 | 459k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
220.41/220.57 c 200s|710000 | 42 | 0 | 0.0 |6659k| 132 | - | 302 | 695 | 0 | 0 | 0 | 466k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
223.51/223.67 c 203s|720000 | 39 | 0 | 0.0 |6676k| 132 | - | 302 | 740 | 0 | 0 | 0 | 472k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
226.71/226.82 c 205s|730000 | 44 | 0 | 0.0 |6667k| 132 | - | 302 | 715 | 0 | 0 | 0 | 479k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
229.72/229.89 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
229.72/229.89 c 208s|740000 | 43 | 0 | 0.0 |6679k| 132 | - | 302 | 747 | 0 | 0 | 0 | 486k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
232.81/232.97 c 211s|750000 | 42 | 0 | 0.0 |6680k| 132 | - | 302 | 753 | 0 | 0 | 0 | 492k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
235.91/236.09 c 214s|760000 | 42 | 0 | 0.0 |6680k| 132 | - | 302 | 747 | 0 | 0 | 0 | 499k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
239.01/239.19 c 217s|770000 | 41 | 0 | 0.0 |6685k| 132 | - | 302 | 758 | 0 | 0 | 0 | 506k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
242.21/242.34 c 219s|780000 | 38 | 0 | 0.0 |6681k| 132 | - | 302 | 759 | 0 | 0 | 0 | 512k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
245.31/245.43 c 222s|790000 | 40 | 0 | 0.0 |6680k| 132 | - | 302 | 753 | 0 | 0 | 0 | 519k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
248.41/248.55 c 225s|800000 | 41 | 0 | 0.0 |6674k| 132 | - | 302 | 737 | 0 | 0 | 0 | 526k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
251.50/251.67 c 228s|810000 | 39 | 0 | 0.0 |6687k| 132 | - | 302 | 769 | 0 | 0 | 0 | 532k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
254.70/254.84 c 231s|820000 | 38 | 0 | 0.0 |6681k| 132 | - | 302 | 747 | 0 | 0 | 0 | 539k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
257.80/257.96 c 234s|830000 | 39 | 0 | 0.0 |6678k| 132 | - | 302 | 745 | 0 | 0 | 0 | 545k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
260.90/261.04 c 236s|840000 | 40 | 0 | 0.0 |6679k| 132 | - | 302 | 749 | 0 | 0 | 0 | 552k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
264.00/264.12 c 239s|850000 | 41 | 0 | 0.0 |6680k| 132 | - | 302 | 752 | 0 | 0 | 0 | 558k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
267.11/267.25 c 242s|860000 | 41 | 0 | 0.0 |6681k| 132 | - | 302 | 742 | 0 | 0 | 0 | 565k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
270.20/270.34 c 245s|870000 | 40 | 0 | 0.0 |6670k| 132 | - | 302 | 725 | 0 | 0 | 0 | 571k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
273.29/273.44 c 248s|880000 | 39 | 0 | 0.0 |6682k| 132 | - | 302 | 758 | 0 | 0 | 0 | 578k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
276.40/276.54 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
276.40/276.54 c 250s|890000 | 40 | 0 | 0.0 |6675k| 132 | - | 302 | 728 | 0 | 0 | 0 | 584k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
279.49/279.65 c 253s|900000 | 40 | 0 | 0.0 |6670k| 132 | - | 302 | 725 | 0 | 0 | 0 | 591k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
282.60/282.76 c 256s|910000 | 42 | 0 | 0.0 |6669k| 132 | - | 302 | 717 | 0 | 0 | 0 | 597k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
285.80/285.91 c 259s|920000 | 38 | 0 | 0.0 |6679k| 132 | - | 302 | 739 | 0 | 0 | 0 | 604k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
288.89/289.05 c 262s|930000 | 37 | 0 | 0.0 |6675k| 132 | - | 302 | 737 | 0 | 0 | 0 | 610k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
291.99/292.13 c 265s|940000 | 36 | 0 | 0.0 |6665k| 132 | - | 302 | 717 | 0 | 0 | 0 | 617k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
295.19/295.30 c 267s|950000 | 40 | 0 | 0.0 |6683k| 132 | - | 302 | 750 | 0 | 0 | 0 | 623k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
298.19/298.35 c 270s|960000 | 40 | 0 | 0.0 |6677k| 132 | - | 302 | 740 | 0 | 0 | 0 | 629k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
301.19/301.39 c 273s|970000 | 41 | 0 | 0.0 |6678k| 132 | - | 302 | 743 | 0 | 0 | 0 | 636k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
304.39/304.53 c 276s|980000 | 39 | 0 | 0.0 |6679k| 132 | - | 302 | 750 | 0 | 0 | 0 | 642k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
307.48/307.66 c 279s|990000 | 34 | 0 | 0.0 |6690k| 132 | - | 302 | 782 | 0 | 0 | 0 | 649k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
310.58/310.79 c 281s| 1000k| 37 | 0 | 0.0 |6683k| 132 | - | 302 | 753 | 0 | 0 | 0 | 656k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
313.68/313.83 c 284s| 1010k| 41 | 0 | 0.0 |6671k| 132 | - | 302 | 724 | 0 | 0 | 0 | 662k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
316.79/316.93 c 287s| 1020k| 40 | 0 | 0.0 |6677k| 132 | - | 302 | 738 | 0 | 0 | 0 | 669k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
319.89/320.06 c 290s| 1030k| 40 | 0 | 0.0 |6676k| 132 | - | 302 | 731 | 0 | 0 | 0 | 676k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
322.98/323.17 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
322.98/323.17 c 293s| 1040k| 36 | 0 | 0.0 |6670k| 132 | - | 302 | 727 | 0 | 0 | 0 | 682k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
326.08/326.27 c 295s| 1050k| 39 | 0 | 0.0 |6680k| 132 | - | 302 | 741 | 0 | 0 | 0 | 689k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
329.17/329.39 c 298s| 1060k| 39 | 0 | 0.0 |6673k| 132 | - | 302 | 732 | 0 | 0 | 0 | 695k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
332.28/332.49 c 301s| 1070k| 38 | 0 | 0.0 |6676k| 132 | - | 302 | 738 | 0 | 0 | 0 | 702k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
335.47/335.62 c 304s| 1080k| 42 | 0 | 0.0 |6668k| 132 | - | 302 | 714 | 0 | 0 | 0 | 708k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
338.58/338.70 c 307s| 1090k| 40 | 0 | 0.0 |6674k| 132 | - | 302 | 731 | 0 | 0 | 0 | 715k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
341.67/341.84 c 309s| 1100k| 39 | 0 | 0.0 |6676k| 132 | - | 302 | 736 | 0 | 0 | 0 | 722k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
344.77/344.99 c 312s| 1110k| 37 | 0 | 0.0 |6678k| 132 | - | 302 | 741 | 0 | 0 | 0 | 728k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
347.88/348.08 c 315s| 1120k| 39 | 0 | 0.0 |6680k| 132 | - | 302 | 739 | 0 | 0 | 0 | 735k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
351.07/351.21 c 318s| 1130k| 39 | 0 | 0.0 |6682k| 132 | - | 302 | 754 | 0 | 0 | 0 | 742k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
354.08/354.28 c 321s| 1140k| 38 | 0 | 0.0 |6679k| 132 | - | 302 | 750 | 0 | 0 | 0 | 748k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
357.16/357.32 c 323s| 1150k| 38 | 0 | 0.0 |6685k| 132 | - | 302 | 764 | 0 | 0 | 0 | 755k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
360.17/360.38 c 326s| 1160k| 40 | 0 | 0.0 |6672k| 132 | - | 302 | 728 | 0 | 0 | 0 | 761k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
363.27/363.46 c 329s| 1170k| 39 | 0 | 0.0 |6677k| 132 | - | 302 | 742 | 0 | 0 | 0 | 767k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
366.37/366.53 c 332s| 1180k| 38 | 0 | 0.0 |6682k| 132 | - | 302 | 754 | 0 | 0 | 0 | 774k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
369.47/369.68 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
369.47/369.68 c 335s| 1190k| 34 | 0 | 0.0 |6697k| 132 | - | 302 | 794 | 0 | 0 | 0 | 781k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
372.56/372.76 c 337s| 1200k| 39 | 0 | 0.0 |6665k| 132 | - | 302 | 709 | 0 | 0 | 0 | 787k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
375.66/375.88 c 340s| 1210k| 37 | 0 | 0.0 |6677k| 132 | - | 302 | 741 | 0 | 0 | 0 | 794k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
378.85/379.02 c 343s| 1220k| 36 | 0 | 0.0 |6684k| 132 | - | 302 | 761 | 0 | 0 | 0 | 801k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
381.96/382.10 c 346s| 1230k| 43 | 0 | 0.0 |6666k| 132 | - | 302 | 708 | 0 | 0 | 0 | 807k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
384.95/385.17 c 349s| 1240k| 37 | 0 | 0.0 |6681k| 132 | - | 302 | 744 | 0 | 0 | 0 | 814k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
388.06/388.23 c 351s| 1250k| 40 | 0 | 0.0 |6671k| 132 | - | 302 | 726 | 0 | 0 | 0 | 820k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
391.06/391.27 c 354s| 1260k| 37 | 0 | 0.0 |6685k| 132 | - | 302 | 766 | 0 | 0 | 0 | 827k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
394.15/394.39 c 357s| 1270k| 41 | 0 | 0.0 |6677k| 132 | - | 302 | 744 | 0 | 0 | 0 | 833k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
397.36/397.54 c 360s| 1280k| 37 | 0 | 0.0 |6690k| 132 | - | 302 | 767 | 0 | 0 | 0 | 840k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
400.56/400.73 c 363s| 1290k| 36 | 0 | 0.0 |6692k| 132 | - | 302 | 785 | 0 | 0 | 0 | 847k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
403.75/403.93 c 366s| 1300k| 38 | 0 | 0.0 |6688k| 132 | - | 302 | 776 | 0 | 0 | 0 | 853k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
406.86/407.07 c 369s| 1310k| 43 | 0 | 0.0 |6679k| 132 | - | 302 | 737 | 0 | 0 | 0 | 860k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
409.95/410.18 c 371s| 1320k| 43 | 0 | 0.0 |6681k| 132 | - | 302 | 748 | 0 | 0 | 0 | 866k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
413.15/413.31 c 374s| 1330k| 42 | 0 | 0.0 |6681k| 132 | - | 302 | 750 | 0 | 0 | 0 | 873k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
416.25/416.46 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
416.25/416.46 c 377s| 1340k| 41 | 0 | 0.0 |6683k| 132 | - | 302 | 759 | 0 | 0 | 0 | 880k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
419.34/419.55 c 380s| 1350k| 39 | 0 | 0.0 |6690k| 132 | - | 302 | 769 | 0 | 0 | 0 | 886k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
422.44/422.68 c 383s| 1360k| 37 | 0 | 0.0 |6689k| 132 | - | 302 | 779 | 0 | 0 | 0 | 893k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
425.55/425.71 c 385s| 1370k| 38 | 0 | 0.0 |6702k| 132 | - | 302 | 807 | 0 | 0 | 0 | 899k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
428.54/428.76 c 388s| 1380k| 37 | 0 | 0.0 |6700k| 132 | - | 302 | 814 | 0 | 0 | 0 | 905k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
431.64/431.88 c 391s| 1390k| 44 | 0 | 0.0 |6672k| 132 | - | 302 | 725 | 0 | 0 | 0 | 912k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
434.84/435.01 c 394s| 1400k| 44 | 0 | 0.0 |6674k| 132 | - | 302 | 729 | 0 | 0 | 0 | 918k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
437.94/438.15 c 397s| 1410k| 41 | 0 | 0.0 |6680k| 132 | - | 302 | 750 | 0 | 0 | 0 | 925k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
441.04/441.28 c 400s| 1420k| 39 | 0 | 0.0 |6669k| 132 | - | 302 | 724 | 0 | 0 | 0 | 932k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
444.15/444.39 c 402s| 1430k| 39 | 0 | 0.0 |6671k| 132 | - | 302 | 727 | 0 | 0 | 0 | 938k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
447.34/447.51 c 405s| 1440k| 40 | 0 | 0.0 |6676k| 132 | - | 302 | 738 | 0 | 0 | 0 | 945k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
450.43/450.60 c 408s| 1450k| 37 | 0 | 0.0 |6688k| 132 | - | 302 | 763 | 0 | 0 | 0 | 951k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
453.43/453.65 c 411s| 1460k| 40 | 0 | 0.0 |6682k| 132 | - | 302 | 752 | 0 | 0 | 0 | 958k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
456.54/456.75 c 414s| 1470k| 44 | 0 | 0.0 |6671k| 132 | - | 302 | 719 | 0 | 0 | 0 | 964k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
459.64/459.81 c 416s| 1480k| 39 | 0 | 0.0 |6676k| 132 | - | 302 | 728 | 0 | 0 | 0 | 971k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
462.73/462.90 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
462.73/462.90 c 419s| 1490k| 39 | 0 | 0.0 |6683k| 132 | - | 302 | 757 | 0 | 0 | 0 | 978k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
465.73/466.00 c 422s| 1500k| 42 | 0 | 0.0 |6673k| 132 | - | 302 | 725 | 0 | 0 | 0 | 984k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
468.93/469.12 c 425s| 1510k| 41 | 0 | 0.0 |6670k| 132 | - | 302 | 718 | 0 | 0 | 0 | 991k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
472.02/472.25 c 428s| 1520k| 39 | 0 | 0.0 |6675k| 132 | - | 302 | 732 | 0 | 0 | 0 | 998k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
475.13/475.32 c 430s| 1530k| 37 | 0 | 0.0 |6674k| 132 | - | 302 | 731 | 0 | 0 | 0 |1004k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
478.24/478.42 c 433s| 1540k| 39 | 0 | 0.0 |6683k| 132 | - | 302 | 747 | 0 | 0 | 0 |1011k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
481.32/481.58 c 436s| 1550k| 38 | 0 | 0.0 |6669k| 132 | - | 302 | 718 | 0 | 0 | 0 |1017k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
484.42/484.64 c 439s| 1560k| 40 | 0 | 0.0 |6678k| 132 | - | 302 | 739 | 0 | 0 | 0 |1024k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
487.43/487.68 c 442s| 1570k| 42 | 0 | 0.0 |6667k| 132 | - | 302 | 702 | 0 | 0 | 0 |1031k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
490.52/490.77 c 444s| 1580k| 41 | 0 | 0.0 |6671k| 132 | - | 302 | 719 | 0 | 0 | 0 |1037k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
493.52/493.78 c 447s| 1590k| 36 | 0 | 0.0 |6678k| 132 | - | 302 | 732 | 0 | 0 | 0 |1044k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
496.61/496.89 c 450s| 1600k| 40 | 0 | 0.0 |6675k| 132 | - | 302 | 732 | 0 | 0 | 0 |1051k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
499.72/499.95 c 453s| 1610k| 39 | 0 | 0.0 |6673k| 132 | - | 302 | 729 | 0 | 0 | 0 |1057k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
502.81/503.07 c 455s| 1620k| 40 | 0 | 0.0 |6676k| 132 | - | 302 | 737 | 0 | 0 | 0 |1064k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
506.02/506.22 c 458s| 1630k| 40 | 0 | 0.0 |6677k| 132 | - | 302 | 734 | 0 | 0 | 0 |1070k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
509.12/509.34 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
509.12/509.34 c 461s| 1640k| 41 | 0 | 0.0 |6681k| 132 | - | 302 | 749 | 0 | 0 | 0 |1077k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
512.21/512.44 c 464s| 1650k| 36 | 0 | 0.0 |6692k| 132 | - | 302 | 780 | 0 | 0 | 0 |1083k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
515.41/515.65 c 467s| 1660k| 37 | 0 | 0.0 |6692k| 132 | - | 302 | 785 | 0 | 0 | 0 |1090k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
518.61/518.82 c 470s| 1670k| 38 | 0 | 0.0 |6690k| 132 | - | 302 | 779 | 0 | 0 | 0 |1097k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
521.71/521.99 c 473s| 1680k| 39 | 0 | 0.0 |6697k| 132 | - | 302 | 798 | 0 | 0 | 0 |1103k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
524.91/525.11 c 475s| 1690k| 41 | 0 | 0.0 |6675k| 132 | - | 302 | 724 | 0 | 0 | 0 |1110k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
527.91/528.19 c 478s| 1700k| 37 | 0 | 0.0 |6675k| 132 | - | 302 | 734 | 0 | 0 | 0 |1116k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
531.11/531.33 c 481s| 1710k| 38 | 0 | 0.0 |6675k| 132 | - | 302 | 736 | 0 | 0 | 0 |1123k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
534.20/534.48 c 484s| 1720k| 43 | 0 | 0.0 |6664k| 132 | - | 302 | 700 | 0 | 0 | 0 |1130k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
537.40/537.63 c 487s| 1730k| 39 | 0 | 0.0 |6674k| 132 | - | 302 | 730 | 0 | 0 | 0 |1136k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
540.50/540.73 c 490s| 1740k| 37 | 0 | 0.0 |6674k| 132 | - | 302 | 723 | 0 | 0 | 0 |1143k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
543.60/543.83 c 492s| 1750k| 40 | 0 | 0.0 |6668k| 132 | - | 302 | 714 | 0 | 0 | 0 |1149k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
546.70/546.94 c 495s| 1760k| 42 | 0 | 0.0 |6674k| 132 | - | 302 | 726 | 0 | 0 | 0 |1156k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
549.90/550.11 c 498s| 1770k| 39 | 0 | 0.0 |6684k| 132 | - | 302 | 758 | 0 | 0 | 0 |1163k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
553.11/553.32 c 501s| 1780k| 39 | 0 | 0.0 |6688k| 132 | - | 302 | 762 | 0 | 0 | 0 |1169k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
556.20/556.48 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
556.20/556.48 c 504s| 1790k| 40 | 0 | 0.0 |6683k| 132 | - | 302 | 755 | 0 | 0 | 0 |1176k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
559.40/559.67 c 507s| 1800k| 38 | 0 | 0.0 |6686k| 132 | - | 302 | 766 | 0 | 0 | 0 |1182k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
562.59/562.85 c 510s| 1810k| 38 | 0 | 0.0 |6686k| 132 | - | 302 | 758 | 0 | 0 | 0 |1189k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
565.70/565.93 c 512s| 1820k| 36 | 0 | 0.0 |6678k| 132 | - | 302 | 744 | 0 | 0 | 0 |1195k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
568.79/569.06 c 515s| 1830k| 39 | 0 | 0.0 |6682k| 132 | - | 302 | 749 | 0 | 0 | 0 |1202k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
571.89/572.20 c 518s| 1840k| 38 | 0 | 0.0 |6684k| 132 | - | 302 | 757 | 0 | 0 | 0 |1209k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
575.10/575.32 c 521s| 1850k| 37 | 0 | 0.0 |6686k| 132 | - | 302 | 756 | 0 | 0 | 0 |1215k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
578.19/578.43 c 524s| 1860k| 37 | 0 | 0.0 |6677k| 132 | - | 302 | 733 | 0 | 0 | 0 |1222k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
581.29/581.55 c 527s| 1870k| 40 | 0 | 0.0 |6670k| 132 | - | 302 | 717 | 0 | 0 | 0 |1229k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
584.39/584.61 c 529s| 1880k| 39 | 0 | 0.0 |6677k| 132 | - | 302 | 732 | 0 | 0 | 0 |1235k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
587.49/587.72 c 532s| 1890k| 35 | 0 | 0.0 |6680k| 132 | - | 302 | 747 | 0 | 0 | 0 |1242k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
590.58/590.85 c 535s| 1900k| 34 | 0 | 0.0 |6679k| 132 | - | 302 | 740 | 0 | 0 | 0 |1248k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
593.69/593.95 c 538s| 1910k| 40 | 0 | 0.0 |6674k| 132 | - | 302 | 729 | 0 | 0 | 0 |1255k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
596.78/597.00 c 540s| 1920k| 38 | 0 | 0.0 |6666k| 132 | - | 302 | 714 | 0 | 0 | 0 |1262k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
599.89/600.11 c 543s| 1930k| 37 | 0 | 0.0 |6686k| 132 | - | 302 | 756 | 0 | 0 | 0 |1268k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
602.88/603.19 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
602.88/603.19 c 546s| 1940k| 38 | 0 | 0.0 |6682k| 132 | - | 302 | 755 | 0 | 0 | 0 |1275k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
605.98/606.25 c 549s| 1950k| 41 | 0 | 0.0 |6670k| 132 | - | 302 | 716 | 0 | 0 | 0 |1282k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
609.09/609.35 c 552s| 1960k| 40 | 0 | 0.0 |6678k| 132 | - | 302 | 740 | 0 | 0 | 0 |1288k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
612.18/612.41 c 554s| 1970k| 38 | 0 | 0.0 |6673k| 132 | - | 302 | 726 | 0 | 0 | 0 |1295k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
615.27/615.50 c 557s| 1980k| 36 | 0 | 0.0 |6682k| 132 | - | 302 | 743 | 0 | 0 | 0 |1302k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
618.38/618.60 c 560s| 1990k| 39 | 0 | 0.0 |6679k| 132 | - | 302 | 741 | 0 | 0 | 0 |1308k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
621.47/621.71 c 563s| 2000k| 41 | 0 | 0.0 |6669k| 132 | - | 302 | 716 | 0 | 0 | 0 |1315k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
624.49/624.78 c 566s| 2010k| 37 | 0 | 0.0 |6672k| 132 | - | 302 | 726 | 0 | 0 | 0 |1322k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
627.58/627.83 c 568s| 2020k| 42 | 0 | 0.0 |6669k| 132 | - | 302 | 716 | 0 | 0 | 0 |1328k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
630.67/630.92 c 571s| 2030k| 38 | 0 | 0.0 |6674k| 132 | - | 302 | 722 | 0 | 0 | 0 |1335k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
633.67/633.97 c 574s| 2040k| 37 | 0 | 0.0 |6675k| 132 | - | 302 | 736 | 0 | 0 | 0 |1342k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
636.76/637.02 c 577s| 2050k| 37 | 0 | 0.0 |6684k| 132 | - | 302 | 754 | 0 | 0 | 0 |1348k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
639.77/640.07 c 580s| 2060k| 41 | 0 | 0.0 |6680k| 132 | - | 302 | 746 | 0 | 0 | 0 |1355k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
642.87/643.15 c 582s| 2070k| 42 | 0 | 0.0 |6678k| 132 | - | 302 | 738 | 0 | 0 | 0 |1362k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
645.86/646.18 c 585s| 2080k| 39 | 0 | 0.0 |6685k| 132 | - | 302 | 760 | 0 | 0 | 0 |1368k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
648.96/649.21 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
648.96/649.21 c 588s| 2090k| 41 | 0 | 0.0 |6684k| 132 | - | 302 | 758 | 0 | 0 | 0 |1375k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
652.07/652.32 c 591s| 2100k| 40 | 0 | 0.0 |6683k| 132 | - | 302 | 753 | 0 | 0 | 0 |1381k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
655.17/655.45 c 593s| 2110k| 36 | 0 | 0.0 |6697k| 132 | - | 302 | 795 | 0 | 0 | 0 |1388k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
658.36/658.60 c 596s| 2120k| 36 | 0 | 0.0 |6699k| 132 | - | 302 | 796 | 0 | 0 | 0 |1395k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
661.46/661.77 c 599s| 2130k| 40 | 0 | 0.0 |6671k| 132 | - | 302 | 725 | 0 | 0 | 0 |1401k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
664.56/664.84 c 602s| 2140k| 42 | 0 | 0.0 |6677k| 132 | - | 302 | 735 | 0 | 0 | 0 |1408k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
667.56/667.88 c 605s| 2150k| 41 | 0 | 0.0 |6677k| 132 | - | 302 | 736 | 0 | 0 | 0 |1415k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
670.67/670.92 c 608s| 2160k| 38 | 0 | 0.0 |6689k| 132 | - | 302 | 772 | 0 | 0 | 0 |1421k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
673.65/673.94 c 610s| 2170k| 38 | 0 | 0.0 |6686k| 132 | - | 302 | 766 | 0 | 0 | 0 |1428k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
676.75/677.05 c 613s| 2180k| 41 | 0 | 0.0 |6683k| 132 | - | 302 | 753 | 0 | 0 | 0 |1435k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
679.85/680.14 c 616s| 2190k| 41 | 0 | 0.0 |6679k| 132 | - | 302 | 743 | 0 | 0 | 0 |1441k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
683.05/683.30 c 619s| 2200k| 38 | 0 | 0.0 |6684k| 132 | - | 302 | 762 | 0 | 0 | 0 |1448k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
686.16/686.41 c 622s| 2210k| 39 | 0 | 0.0 |6680k| 132 | - | 302 | 747 | 0 | 0 | 0 |1455k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
689.25/689.56 c 624s| 2220k| 36 | 0 | 0.0 |6686k| 132 | - | 302 | 768 | 0 | 0 | 0 |1461k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
692.45/692.72 c 627s| 2230k| 39 | 0 | 0.0 |6685k| 132 | - | 302 | 754 | 0 | 0 | 0 |1468k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
695.55/695.85 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
695.55/695.85 c 630s| 2240k| 37 | 0 | 0.0 |6694k| 132 | - | 302 | 789 | 0 | 0 | 0 |1475k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
698.75/699.00 c 633s| 2250k| 39 | 0 | 0.0 |6691k| 132 | - | 302 | 779 | 0 | 0 | 0 |1481k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
701.85/702.13 c 636s| 2260k| 39 | 0 | 0.0 |6677k| 132 | - | 302 | 742 | 0 | 0 | 0 |1488k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
704.94/705.26 c 639s| 2270k| 38 | 0 | 0.0 |6685k| 132 | - | 302 | 764 | 0 | 0 | 0 |1494k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
708.05/708.37 c 642s| 2280k| 40 | 0 | 0.0 |6683k| 132 | - | 302 | 755 | 0 | 0 | 0 |1501k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
711.15/711.47 c 644s| 2290k| 39 | 0 | 0.0 |6678k| 132 | - | 302 | 742 | 0 | 0 | 0 |1507k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
714.34/714.61 c 647s| 2300k| 37 | 0 | 0.0 |6686k| 132 | - | 302 | 761 | 0 | 0 | 0 |1514k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
717.34/717.68 c 650s| 2310k| 38 | 0 | 0.0 |6680k| 132 | - | 302 | 738 | 0 | 0 | 0 |1521k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
720.54/720.81 c 653s| 2320k| 37 | 0 | 0.0 |6677k| 132 | - | 302 | 743 | 0 | 0 | 0 |1527k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
723.55/723.85 c 656s| 2330k| 37 | 0 | 0.0 |6691k| 132 | - | 302 | 768 | 0 | 0 | 0 |1534k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
726.53/726.88 c 658s| 2340k| 34 | 0 | 0.0 |6692k| 132 | - | 302 | 780 | 0 | 0 | 0 |1540k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
729.64/729.96 c 661s| 2350k| 35 | 0 | 0.0 |6690k| 132 | - | 302 | 766 | 0 | 0 | 0 |1547k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
732.74/733.08 c 664s| 2360k| 39 | 0 | 0.0 |6669k| 132 | - | 302 | 717 | 0 | 0 | 0 |1553k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
735.84/736.18 c 667s| 2370k| 40 | 0 | 0.0 |6679k| 132 | - | 302 | 739 | 0 | 0 | 0 |1560k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
738.84/739.19 c 669s| 2380k| 40 | 0 | 0.0 |6673k| 132 | - | 302 | 728 | 0 | 0 | 0 |1567k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
741.93/742.23 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
741.93/742.23 c 672s| 2390k| 36 | 0 | 0.0 |6681k| 132 | - | 302 | 743 | 0 | 0 | 0 |1573k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
744.94/745.21 c 675s| 2400k| 35 | 0 | 0.0 |6669k| 132 | - | 302 | 721 | 0 | 0 | 0 |1580k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
747.83/748.12 c 677s| 2410k| 34 | 0 | 0.0 |6683k| 132 | - | 302 | 759 | 0 | 0 | 0 |1587k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
750.94/751.21 c 680s| 2420k| 38 | 0 | 0.0 |6680k| 132 | - | 302 | 746 | 0 | 0 | 0 |1593k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
753.93/754.28 c 683s| 2430k| 40 | 0 | 0.0 |6675k| 132 | - | 302 | 721 | 0 | 0 | 0 |1600k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
757.03/757.31 c 686s| 2440k| 35 | 0 | 0.0 |6676k| 132 | - | 302 | 734 | 0 | 0 | 0 |1607k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
760.03/760.37 c 689s| 2450k| 37 | 0 | 0.0 |6677k| 132 | - | 302 | 730 | 0 | 0 | 0 |1613k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
763.13/763.42 c 691s| 2460k| 36 | 0 | 0.0 |6675k| 132 | - | 302 | 731 | 0 | 0 | 0 |1620k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
766.12/766.45 c 694s| 2470k| 37 | 0 | 0.0 |6677k| 132 | - | 302 | 737 | 0 | 0 | 0 |1627k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
769.13/769.49 c 697s| 2480k| 37 | 0 | 0.0 |6677k| 132 | - | 302 | 730 | 0 | 0 | 0 |1633k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
772.23/772.52 c 700s| 2490k| 35 | 0 | 0.0 |6683k| 132 | - | 302 | 753 | 0 | 0 | 0 |1640k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
775.23/775.55 c 702s| 2500k| 35 | 0 | 0.0 |6680k| 132 | - | 302 | 747 | 0 | 0 | 0 |1646k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
778.43/778.70 c 705s| 2510k| 41 | 0 | 0.0 |6683k| 132 | - | 302 | 741 | 0 | 0 | 0 |1653k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
781.52/781.88 c 708s| 2520k| 39 | 0 | 0.0 |6683k| 132 | - | 302 | 750 | 0 | 0 | 0 |1660k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
784.72/785.01 c 711s| 2530k| 41 | 0 | 0.0 |6673k| 132 | - | 302 | 722 | 0 | 0 | 0 |1666k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
787.81/788.14 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
787.81/788.14 c 714s| 2540k| 39 | 0 | 0.0 |6675k| 132 | - | 302 | 730 | 0 | 0 | 0 |1673k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
790.81/791.19 c 717s| 2550k| 44 | 0 | 0.0 |6673k| 132 | - | 302 | 720 | 0 | 0 | 0 |1680k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
794.01/794.36 c 719s| 2560k| 42 | 0 | 0.0 |6678k| 132 | - | 302 | 736 | 0 | 0 | 0 |1686k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
797.12/797.43 c 722s| 2570k| 39 | 0 | 0.0 |6676k| 132 | - | 302 | 734 | 0 | 0 | 0 |1693k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
800.12/800.49 c 725s| 2580k| 36 | 0 | 0.0 |6688k| 132 | - | 302 | 769 | 0 | 0 | 0 |1700k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
803.31/803.62 c 728s| 2590k| 39 | 0 | 0.0 |6678k| 132 | - | 302 | 739 | 0 | 0 | 0 |1706k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
806.31/806.69 c 731s| 2600k| 37 | 0 | 0.0 |6676k| 132 | - | 302 | 737 | 0 | 0 | 0 |1713k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
809.31/809.69 c 733s| 2610k| 39 | 0 | 0.0 |6679k| 132 | - | 302 | 742 | 0 | 0 | 0 |1719k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
812.52/812.83 c 736s| 2620k| 37 | 0 | 0.0 |6685k| 132 | - | 302 | 753 | 0 | 0 | 0 |1726k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
815.50/815.87 c 739s| 2630k| 39 | 0 | 0.0 |6679k| 132 | - | 302 | 746 | 0 | 0 | 0 |1732k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
818.70/819.06 c 742s| 2640k| 39 | 0 | 0.0 |6676k| 132 | - | 302 | 738 | 0 | 0 | 0 |1739k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
821.80/822.20 c 745s| 2650k| 39 | 0 | 0.0 |6689k| 132 | - | 302 | 777 | 0 | 0 | 0 |1745k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
825.01/825.33 c 747s| 2660k| 37 | 0 | 0.0 |6687k| 132 | - | 302 | 757 | 0 | 0 | 0 |1752k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
828.10/828.42 c 750s| 2670k| 39 | 0 | 0.0 |6677k| 132 | - | 302 | 739 | 0 | 0 | 0 |1758k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
831.21/831.55 c 753s| 2680k| 38 | 0 | 0.0 |6677k| 132 | - | 302 | 729 | 0 | 0 | 0 |1765k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
834.30/834.65 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
834.30/834.65 c 756s| 2690k| 35 | 0 | 0.0 |6666k| 132 | - | 302 | 712 | 0 | 0 | 0 |1771k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
837.40/837.76 c 759s| 2700k| 38 | 0 | 0.0 |6673k| 132 | - | 302 | 719 | 0 | 0 | 0 |1778k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
840.50/840.81 c 761s| 2710k| 37 | 0 | 0.0 |6678k| 132 | - | 302 | 733 | 0 | 0 | 0 |1785k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
843.49/843.88 c 764s| 2720k| 40 | 0 | 0.0 |6669k| 132 | - | 302 | 713 | 0 | 0 | 0 |1791k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
846.71/847.03 c 767s| 2730k| 41 | 0 | 0.0 |6674k| 132 | - | 302 | 725 | 0 | 0 | 0 |1798k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
849.79/850.18 c 770s| 2740k| 38 | 0 | 0.0 |6684k| 132 | - | 302 | 748 | 0 | 0 | 0 |1804k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
852.99/853.30 c 773s| 2750k| 37 | 0 | 0.0 |6682k| 132 | - | 302 | 748 | 0 | 0 | 0 |1811k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
856.09/856.40 c 775s| 2760k| 38 | 0 | 0.0 |6670k| 132 | - | 302 | 716 | 0 | 0 | 0 |1818k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
859.19/859.52 c 778s| 2770k| 35 | 0 | 0.0 |6684k| 132 | - | 302 | 750 | 0 | 0 | 0 |1824k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
862.29/862.61 c 781s| 2780k| 38 | 0 | 0.0 |6672k| 132 | - | 302 | 725 | 0 | 0 | 0 |1831k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
865.39/865.72 c 784s| 2790k| 32 | 0 | 0.0 |6688k| 132 | - | 302 | 772 | 0 | 0 | 0 |1837k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
868.49/868.84 c 787s| 2800k| 36 | 0 | 0.0 |6684k| 132 | - | 302 | 748 | 0 | 0 | 0 |1844k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
871.49/871.89 c 790s| 2810k| 40 | 0 | 0.0 |6676k| 132 | - | 302 | 731 | 0 | 0 | 0 |1850k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
874.69/875.01 c 792s| 2820k| 37 | 0 | 0.0 |6668k| 132 | - | 302 | 717 | 0 | 0 | 0 |1857k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
877.69/878.09 c 795s| 2830k| 40 | 0 | 0.0 |6680k| 132 | - | 302 | 744 | 0 | 0 | 0 |1864k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
880.80/881.19 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
880.80/881.19 c 798s| 2840k| 38 | 0 | 0.0 |6687k| 132 | - | 302 | 764 | 0 | 0 | 0 |1870k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
883.89/884.29 c 801s| 2850k| 38 | 0 | 0.0 |6680k| 132 | - | 302 | 747 | 0 | 0 | 0 |1877k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
887.08/887.40 c 804s| 2860k| 39 | 0 | 0.0 |6679k| 132 | - | 302 | 743 | 0 | 0 | 0 |1883k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
890.18/890.52 c 806s| 2870k| 35 | 0 | 0.0 |6685k| 132 | - | 302 | 750 | 0 | 0 | 0 |1890k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
893.28/893.61 c 809s| 2880k| 41 | 0 | 0.0 |6667k| 132 | - | 302 | 707 | 0 | 0 | 0 |1896k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
896.28/896.66 c 812s| 2890k| 38 | 0 | 0.0 |6678k| 132 | - | 302 | 739 | 0 | 0 | 0 |1903k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
899.39/899.76 c 815s| 2900k| 39 | 0 | 0.0 |6673k| 132 | - | 302 | 719 | 0 | 0 | 0 |1910k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
902.38/902.79 c 818s| 2910k| 36 | 0 | 0.0 |6674k| 132 | - | 302 | 730 | 0 | 0 | 0 |1916k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
905.47/905.86 c 820s| 2920k| 36 | 0 | 0.0 |6682k| 132 | - | 302 | 752 | 0 | 0 | 0 |1923k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
908.58/908.94 c 823s| 2930k| 38 | 0 | 0.0 |6672k| 132 | - | 302 | 724 | 0 | 0 | 0 |1929k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
911.68/912.07 c 826s| 2940k| 36 | 0 | 0.0 |6682k| 132 | - | 302 | 743 | 0 | 0 | 0 |1936k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
914.67/915.05 c 829s| 2950k| 39 | 0 | 0.0 |6671k| 132 | - | 302 | 718 | 0 | 0 | 0 |1943k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
917.77/918.10 c 831s| 2960k| 41 | 0 | 0.0 |6672k| 132 | - | 302 | 718 | 0 | 0 | 0 |1949k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
920.87/921.21 c 834s| 2970k| 35 | 0 | 0.0 |6673k| 132 | - | 302 | 726 | 0 | 0 | 0 |1956k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
923.97/924.35 c 837s| 2980k| 37 | 0 | 0.0 |6675k| 132 | - | 302 | 730 | 0 | 0 | 0 |1963k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
927.07/927.42 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
927.07/927.42 c 840s| 2990k| 38 | 0 | 0.0 |6668k| 132 | - | 302 | 704 | 0 | 0 | 0 |1969k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
930.07/930.48 c 843s| 3000k| 37 | 0 | 0.0 |6682k| 132 | - | 302 | 751 | 0 | 0 | 0 |1976k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
933.26/933.61 c 845s| 3010k| 36 | 0 | 0.0 |6683k| 132 | - | 302 | 745 | 0 | 0 | 0 |1982k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
936.26/936.68 c 848s| 3020k| 35 | 0 | 0.0 |6677k| 132 | - | 302 | 730 | 0 | 0 | 0 |1989k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
939.37/939.72 c 851s| 3030k| 35 | 0 | 0.0 |6678k| 132 | - | 302 | 739 | 0 | 0 | 0 |1996k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
942.46/942.80 c 854s| 3040k| 36 | 0 | 0.0 |6682k| 132 | - | 302 | 741 | 0 | 0 | 0 |2002k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
945.57/945.94 c 857s| 3050k| 37 | 0 | 0.0 |6673k| 132 | - | 302 | 725 | 0 | 0 | 0 |2009k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
948.56/948.99 c 859s| 3060k| 36 | 0 | 0.0 |6678k| 132 | - | 302 | 731 | 0 | 0 | 0 |2015k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
951.76/952.15 c 862s| 3070k| 38 | 0 | 0.0 |6673k| 132 | - | 302 | 718 | 0 | 0 | 0 |2022k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
954.96/955.30 c 865s| 3080k| 38 | 0 | 0.0 |6674k| 132 | - | 302 | 730 | 0 | 0 | 0 |2029k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
958.05/958.42 c 868s| 3090k| 36 | 0 | 0.0 |6682k| 132 | - | 302 | 750 | 0 | 0 | 0 |2035k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
961.15/961.52 c 871s| 3100k| 35 | 0 | 0.0 |6680k| 132 | - | 302 | 745 | 0 | 0 | 0 |2042k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
964.15/964.59 c 873s| 3110k| 36 | 0 | 0.0 |6675k| 132 | - | 302 | 727 | 0 | 0 | 0 |2048k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
967.35/967.72 c 876s| 3120k| 39 | 0 | 0.0 |6674k| 132 | - | 302 | 723 | 0 | 0 | 0 |2055k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
970.46/970.89 c 879s| 3130k| 39 | 0 | 0.0 |6671k| 132 | - | 302 | 720 | 0 | 0 | 0 |2062k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
973.65/974.00 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
973.65/974.00 c 882s| 3140k| 37 | 0 | 0.0 |6674k| 132 | - | 302 | 730 | 0 | 0 | 0 |2068k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
976.75/977.12 c 885s| 3150k| 38 | 0 | 0.0 |6668k| 132 | - | 302 | 715 | 0 | 0 | 0 |2075k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
979.85/980.22 c 888s| 3160k| 35 | 0 | 0.0 |6671k| 132 | - | 302 | 721 | 0 | 0 | 0 |2082k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
982.85/983.28 c 890s| 3170k| 37 | 0 | 0.0 |6671k| 132 | - | 302 | 712 | 0 | 0 | 0 |2088k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
985.95/986.32 c 893s| 3180k| 35 | 0 | 0.0 |6670k| 132 | - | 302 | 717 | 0 | 0 | 0 |2095k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
988.94/989.37 c 896s| 3190k| 37 | 0 | 0.0 |6673k| 132 | - | 302 | 728 | 0 | 0 | 0 |2101k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
992.04/992.43 c 899s| 3200k| 34 | 0 | 0.0 |6658k| 132 | - | 302 | 695 | 0 | 0 | 0 |2108k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
995.05/995.50 c 901s| 3210k| 38 | 0 | 0.0 |6671k| 132 | - | 302 | 720 | 0 | 0 | 0 |2115k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
998.14/998.55 c 904s| 3220k| 39 | 0 | 0.0 |6671k| 132 | - | 302 | 721 | 0 | 0 | 0 |2121k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
1001.24/1001.66 c 907s| 3230k| 35 | 0 | 0.0 |6674k| 132 | - | 302 | 722 | 0 | 0 | 0 |2128k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
1004.34/1004.72 c 910s| 3240k| 37 | 0 | 0.0 |6674k| 132 | - | 302 | 728 | 0 | 0 | 0 |2135k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
1007.44/1007.81 c 913s| 3250k| 34 | 0 | 0.0 |6674k| 132 | - | 302 | 731 | 0 | 0 | 0 |2141k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
1010.45/1010.87 c 915s| 3260k| 40 | 0 | 0.0 |6680k| 132 | - | 302 | 744 | 0 | 0 | 0 |2148k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
1013.64/1014.05 c 918s| 3270k| 36 | 0 | 0.0 |6696k| 132 | - | 302 | 797 | 0 | 0 | 0 |2155k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
1016.73/1017.12 c 921s| 3280k| 37 | 0 | 0.0 |6685k| 132 | - | 302 | 763 | 0 | 0 | 0 |2161k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
1019.84/1020.22 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1019.84/1020.22 c 924s| 3290k| 43 | 0 | 0.0 |6668k| 132 | - | 302 | 709 | 0 | 0 | 0 |2168k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
1022.94/1023.32 c 927s| 3300k| 39 | 0 | 0.0 |6675k| 132 | - | 302 | 732 | 0 | 0 | 0 |2174k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
1025.94/1026.37 c 929s| 3310k| 36 | 0 | 0.0 |6689k| 132 | - | 302 | 766 | 0 | 0 | 0 |2180k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
1029.03/1029.43 c 932s| 3320k| 35 | 0 | 0.0 |6691k| 132 | - | 302 | 785 | 0 | 0 | 0 |2187k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
1032.03/1032.48 c 935s| 3330k| 36 | 0 | 0.0 |6682k| 132 | - | 302 | 755 | 0 | 0 | 0 |2194k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
1035.03/1035.49 c 938s| 3340k| 36 | 0 | 0.0 |6690k| 132 | - | 302 | 766 | 0 | 0 | 0 |2200k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
1038.23/1038.61 c 940s| 3350k| 40 | 0 | 0.0 |6677k| 132 | - | 302 | 730 | 0 | 0 | 0 |2207k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
1041.34/1041.74 c 943s| 3360k| 38 | 0 | 0.0 |6678k| 132 | - | 302 | 739 | 0 | 0 | 0 |2213k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
1044.32/1044.76 c 946s| 3370k| 34 | 0 | 0.0 |6681k| 132 | - | 302 | 749 | 0 | 0 | 0 |2220k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
1047.42/1047.86 c 949s| 3380k| 37 | 0 | 0.0 |6682k| 132 | - | 302 | 748 | 0 | 0 | 0 |2226k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
1050.53/1050.95 c 952s| 3390k| 38 | 0 | 0.0 |6679k| 132 | - | 302 | 736 | 0 | 0 | 0 |2233k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
1053.62/1054.03 c 954s| 3400k| 37 | 0 | 0.0 |6683k| 132 | - | 302 | 753 | 0 | 0 | 0 |2239k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
1056.73/1057.13 c 957s| 3410k| 35 | 0 | 0.0 |6678k| 132 | - | 302 | 748 | 0 | 0 | 0 |2246k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
1059.72/1060.19 c 960s| 3420k| 33 | 0 | 0.0 |6699k| 132 | - | 302 | 805 | 0 | 0 | 0 |2252k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
1062.92/1063.33 c 963s| 3430k| 38 | 0 | 0.0 |6680k| 132 | - | 302 | 747 | 0 | 0 | 0 |2259k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
1066.02/1066.42 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1066.02/1066.42 c 966s| 3440k| 36 | 0 | 0.0 |6682k| 132 | - | 302 | 757 | 0 | 0 | 0 |2265k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
1069.11/1069.53 c 968s| 3450k| 35 | 0 | 0.0 |6689k| 132 | - | 302 | 767 | 0 | 0 | 0 |2272k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
1072.22/1072.65 c 971s| 3460k| 36 | 0 | 0.0 |6677k| 132 | - | 302 | 739 | 0 | 0 | 0 |2278k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
1075.33/1075.73 c 974s| 3470k| 38 | 0 | 0.0 |6671k| 132 | - | 302 | 721 | 0 | 0 | 0 |2285k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
1078.31/1078.77 c 977s| 3480k| 34 | 0 | 0.0 |6681k| 132 | - | 302 | 755 | 0 | 0 | 0 |2291k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
1081.41/1081.81 c 979s| 3490k| 38 | 0 | 0.0 |6676k| 132 | - | 302 | 728 | 0 | 0 | 0 |2298k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
1084.51/1084.94 c 982s| 3500k| 39 | 0 | 0.0 |6676k| 132 | - | 302 | 734 | 0 | 0 | 0 |2304k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
1087.61/1088.03 c 985s| 3510k| 37 | 0 | 0.0 |6684k| 132 | - | 302 | 758 | 0 | 0 | 0 |2311k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
1090.71/1091.13 c 988s| 3520k| 40 | 0 | 0.0 |6674k| 132 | - | 302 | 720 | 0 | 0 | 0 |2317k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
1093.71/1094.18 c 991s| 3530k| 37 | 0 | 0.0 |6680k| 132 | - | 302 | 749 | 0 | 0 | 0 |2324k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
1096.81/1097.26 c 993s| 3540k| 36 | 0 | 0.0 |6690k| 132 | - | 302 | 767 | 0 | 0 | 0 |2330k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
1099.91/1100.34 c 996s| 3550k| 38 | 0 | 0.0 |6675k| 132 | - | 302 | 730 | 0 | 0 | 0 |2337k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
1102.91/1103.36 c 999s| 3560k| 40 | 0 | 0.0 |6675k| 132 | - | 302 | 723 | 0 | 0 | 0 |2343k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
1105.90/1106.35 c 1002s| 3570k| 33 | 0 | 0.0 |6690k| 132 | - | 302 | 777 | 0 | 0 | 0 |2350k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
1109.00/1109.45 c 1004s| 3580k| 36 | 0 | 0.0 |6684k| 132 | - | 302 | 749 | 0 | 0 | 0 |2356k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
1112.01/1112.48 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1112.01/1112.48 c 1007s| 3590k| 36 | 0 | 0.0 |6674k| 132 | - | 302 | 729 | 0 | 0 | 0 |2363k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
1115.10/1115.51 c 1010s| 3600k| 38 | 0 | 0.0 |6673k| 132 | - | 302 | 730 | 0 | 0 | 0 |2369k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
1118.10/1118.58 c 1013s| 3610k| 35 | 0 | 0.0 |6690k| 132 | - | 302 | 780 | 0 | 0 | 0 |2376k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
1121.20/1121.68 c 1015s| 3620k| 34 | 0 | 0.0 |6691k| 132 | - | 302 | 783 | 0 | 0 | 0 |2382k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
1124.29/1124.78 c 1018s| 3630k| 38 | 0 | 0.0 |6681k| 132 | - | 302 | 751 | 0 | 0 | 0 |2389k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
1127.40/1127.88 c 1021s| 3640k| 33 | 0 | 0.0 |6692k| 132 | - | 302 | 791 | 0 | 0 | 0 |2395k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
1130.59/1131.01 c 1024s| 3650k| 36 | 0 | 0.0 |6687k| 132 | - | 302 | 773 | 0 | 0 | 0 |2402k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
1133.60/1134.05 c 1027s| 3660k| 36 | 0 | 0.0 |6681k| 132 | - | 302 | 746 | 0 | 0 | 0 |2408k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
1136.60/1137.05 c 1029s| 3670k| 35 | 0 | 0.0 |6691k| 132 | - | 302 | 783 | 0 | 0 | 0 |2415k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
1139.69/1140.14 c 1032s| 3680k| 38 | 0 | 0.0 |6681k| 132 | - | 302 | 749 | 0 | 0 | 0 |2421k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
1142.69/1143.10 c 1035s| 3690k| 36 | 0 | 0.0 |6678k| 132 | - | 302 | 744 | 0 | 0 | 0 |2428k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
1145.70/1146.13 c 1037s| 3700k| 35 | 0 | 0.0 |6679k| 132 | - | 302 | 748 | 0 | 0 | 0 |2434k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
1148.59/1149.03 c 1040s| 3710k| 34 | 0 | 0.0 |6687k| 132 | - | 302 | 767 | 0 | 0 | 0 |2440k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
1151.59/1152.08 c 1043s| 3720k| 39 | 0 | 0.0 |6680k| 132 | - | 302 | 745 | 0 | 0 | 0 |2447k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
1154.69/1155.16 c 1046s| 3730k| 38 | 0 | 0.0 |6679k| 132 | - | 302 | 741 | 0 | 0 | 0 |2453k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
1157.69/1158.20 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1157.69/1158.20 c 1048s| 3740k| 40 | 0 | 0.0 |6679k| 132 | - | 302 | 741 | 0 | 0 | 0 |2460k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
1160.78/1161.26 c 1051s| 3750k| 38 | 0 | 0.0 |6675k| 132 | - | 302 | 728 | 0 | 0 | 0 |2467k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
1163.89/1164.32 c 1054s| 3760k| 41 | 0 | 0.0 |6677k| 132 | - | 302 | 736 | 0 | 0 | 0 |2473k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
1166.98/1167.41 c 1057s| 3770k| 34 | 0 | 0.0 |6689k| 132 | - | 302 | 766 | 0 | 0 | 0 |2480k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
1169.99/1170.47 c 1060s| 3780k| 39 | 0 | 0.0 |6674k| 132 | - | 302 | 729 | 0 | 0 | 0 |2487k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
1173.09/1173.55 c 1062s| 3790k| 37 | 0 | 0.0 |6677k| 132 | - | 302 | 736 | 0 | 0 | 0 |2493k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
1176.18/1176.60 c 1065s| 3800k| 41 | 0 | 0.0 |6673k| 132 | - | 302 | 721 | 0 | 0 | 0 |2500k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
1179.18/1179.67 c 1068s| 3810k| 38 | 0 | 0.0 |6677k| 132 | - | 302 | 740 | 0 | 0 | 0 |2507k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
1182.28/1182.75 c 1071s| 3820k| 36 | 0 | 0.0 |6680k| 132 | - | 302 | 740 | 0 | 0 | 0 |2513k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
1185.38/1185.83 c 1074s| 3830k| 38 | 0 | 0.0 |6681k| 132 | - | 302 | 739 | 0 | 0 | 0 |2520k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
1188.47/1188.91 c 1076s| 3840k| 38 | 0 | 0.0 |6684k| 132 | - | 302 | 756 | 0 | 0 | 0 |2526k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
1191.57/1192.00 c 1079s| 3850k| 39 | 0 | 0.0 |6676k| 132 | - | 302 | 734 | 0 | 0 | 0 |2533k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
1194.67/1195.13 c 1082s| 3860k| 35 | 0 | 0.0 |6682k| 132 | - | 302 | 757 | 0 | 0 | 0 |2539k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
1197.77/1198.27 c 1085s| 3870k| 36 | 0 | 0.0 |6680k| 132 | - | 302 | 738 | 0 | 0 | 0 |2546k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
1200.87/1201.36 c 1088s| 3880k| 38 | 0 | 0.0 |6680k| 132 | - | 302 | 744 | 0 | 0 | 0 |2553k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
1203.97/1204.41 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1203.97/1204.41 c 1090s| 3890k| 39 | 0 | 0.0 |6677k| 132 | - | 302 | 738 | 0 | 0 | 0 |2559k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
1206.97/1207.49 c 1093s| 3900k| 38 | 0 | 0.0 |6684k| 132 | - | 302 | 754 | 0 | 0 | 0 |2566k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
1210.17/1210.60 c 1096s| 3910k| 35 | 0 | 0.0 |6687k| 132 | - | 302 | 761 | 0 | 0 | 0 |2573k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
1213.17/1213.67 c 1099s| 3920k| 34 | 0 | 0.0 |6691k| 132 | - | 302 | 772 | 0 | 0 | 0 |2579k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
1216.27/1216.79 c 1102s| 3930k| 39 | 0 | 0.0 |6669k| 132 | - | 302 | 716 | 0 | 0 | 0 |2586k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
1219.37/1219.89 c 1104s| 3940k| 38 | 0 | 0.0 |6676k| 132 | - | 302 | 733 | 0 | 0 | 0 |2593k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
1222.56/1223.03 c 1107s| 3950k| 38 | 0 | 0.0 |6680k| 132 | - | 302 | 745 | 0 | 0 | 0 |2599k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
1225.66/1226.15 c 1110s| 3960k| 38 | 0 | 0.0 |6679k| 132 | - | 302 | 743 | 0 | 0 | 0 |2606k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
1228.76/1229.27 c 1113s| 3970k| 34 | 0 | 0.0 |6696k| 132 | - | 302 | 794 | 0 | 0 | 0 |2612k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
1231.86/1232.33 c 1116s| 3980k| 36 | 0 | 0.0 |6694k| 132 | - | 302 | 786 | 0 | 0 | 0 |2619k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
1234.96/1235.44 c 1119s| 3990k| 38 | 0 | 0.0 |6677k| 132 | - | 302 | 739 | 0 | 0 | 0 |2626k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
1237.96/1238.49 c 1121s| 4000k| 37 | 0 | 0.0 |6677k| 132 | - | 302 | 741 | 0 | 0 | 0 |2632k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
1241.06/1241.56 c 1124s| 4010k| 36 | 0 | 0.0 |6681k| 132 | - | 302 | 752 | 0 | 0 | 0 |2639k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
1244.16/1244.69 c 1127s| 4020k| 39 | 0 | 0.0 |6680k| 132 | - | 302 | 745 | 0 | 0 | 0 |2646k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
1247.35/1247.88 c 1130s| 4030k| 38 | 0 | 0.0 |6679k| 132 | - | 302 | 733 | 0 | 0 | 0 |2652k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
1250.46/1250.99 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1250.46/1250.99 c 1133s| 4040k| 35 | 0 | 0.0 |6682k| 132 | - | 302 | 749 | 0 | 0 | 0 |2659k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
1253.56/1254.07 c 1135s| 4050k| 35 | 0 | 0.0 |6679k| 132 | - | 302 | 746 | 0 | 0 | 0 |2665k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
1256.75/1257.20 c 1138s| 4060k| 37 | 0 | 0.0 |6682k| 132 | - | 302 | 750 | 0 | 0 | 0 |2672k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
1259.75/1260.29 c 1141s| 4070k| 35 | 0 | 0.0 |6673k| 132 | - | 302 | 727 | 0 | 0 | 0 |2678k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
1262.95/1263.40 c 1144s| 4080k| 36 | 0 | 0.0 |6678k| 132 | - | 302 | 741 | 0 | 0 | 0 |2685k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
1266.04/1266.54 c 1147s| 4090k| 38 | 0 | 0.0 |6671k| 132 | - | 302 | 722 | 0 | 0 | 0 |2692k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
1269.15/1269.67 c 1150s| 4100k| 37 | 0 | 0.0 |6681k| 132 | - | 302 | 742 | 0 | 0 | 0 |2698k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
1272.34/1272.80 c 1152s| 4110k| 37 | 0 | 0.0 |6671k| 132 | - | 302 | 723 | 0 | 0 | 0 |2705k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
1275.45/1275.96 c 1155s| 4120k| 34 | 0 | 0.0 |6681k| 132 | - | 302 | 751 | 0 | 0 | 0 |2712k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
1278.55/1279.08 c 1158s| 4130k| 38 | 0 | 0.0 |6669k| 132 | - | 302 | 716 | 0 | 0 | 0 |2718k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
1281.74/1282.29 c 1161s| 4140k| 37 | 0 | 0.0 |6675k| 132 | - | 302 | 730 | 0 | 0 | 0 |2725k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
1284.84/1285.37 c 1164s| 4150k| 40 | 0 | 0.0 |6666k| 132 | - | 302 | 707 | 0 | 0 | 0 |2731k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
1287.94/1288.49 c 1167s| 4160k| 37 | 0 | 0.0 |6676k| 132 | - | 302 | 733 | 0 | 0 | 0 |2738k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
1291.04/1291.56 c 1169s| 4170k| 35 | 0 | 0.0 |6692k| 132 | - | 302 | 773 | 0 | 0 | 0 |2745k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
1294.15/1294.69 c 1172s| 4180k| 38 | 0 | 0.0 |6674k| 132 | - | 302 | 727 | 0 | 0 | 0 |2751k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
1297.14/1297.70 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1297.14/1297.70 c 1175s| 4190k| 37 | 0 | 0.0 |6682k| 132 | - | 302 | 740 | 0 | 0 | 0 |2758k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
1300.24/1300.75 c 1178s| 4200k| 36 | 0 | 0.0 |6686k| 132 | - | 302 | 754 | 0 | 0 | 0 |2764k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
1303.44/1303.90 c 1181s| 4210k| 38 | 0 | 0.0 |6682k| 132 | - | 302 | 743 | 0 | 0 | 0 |2771k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
1306.53/1307.01 c 1183s| 4220k| 36 | 0 | 0.0 |6674k| 132 | - | 302 | 729 | 0 | 0 | 0 |2778k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
1309.64/1310.13 c 1186s| 4230k| 35 | 0 | 0.0 |6692k| 132 | - | 302 | 781 | 0 | 0 | 0 |2784k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
1312.63/1313.14 c 1189s| 4240k| 37 | 0 | 0.0 |6663k| 132 | - | 302 | 703 | 0 | 0 | 0 |2791k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
1315.83/1316.31 c 1192s| 4250k| 36 | 0 | 0.0 |6685k| 132 | - | 302 | 753 | 0 | 0 | 0 |2797k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
1318.93/1319.45 c 1195s| 4260k| 37 | 0 | 0.0 |6675k| 132 | - | 302 | 735 | 0 | 0 | 0 |2804k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
1322.03/1322.57 c 1197s| 4270k| 36 | 0 | 0.0 |6677k| 132 | - | 302 | 736 | 0 | 0 | 0 |2810k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
1325.23/1325.72 c 1200s| 4280k| 38 | 0 | 0.0 |6666k| 132 | - | 302 | 706 | 0 | 0 | 0 |2817k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
1328.23/1328.77 c 1203s| 4290k| 34 | 0 | 0.0 |6673k| 132 | - | 302 | 723 | 0 | 0 | 0 |2823k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
1331.33/1331.83 c 1206s| 4300k| 36 | 0 | 0.0 |6680k| 132 | - | 302 | 738 | 0 | 0 | 0 |2830k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
1334.42/1334.92 c 1209s| 4310k| 36 | 0 | 0.0 |6674k| 132 | - | 302 | 732 | 0 | 0 | 0 |2837k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
1337.52/1338.04 c 1211s| 4320k| 38 | 0 | 0.0 |6681k| 132 | - | 302 | 741 | 0 | 0 | 0 |2843k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
1340.62/1341.14 c 1214s| 4330k| 37 | 0 | 0.0 |6683k| 132 | - | 302 | 744 | 0 | 0 | 0 |2850k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
1343.73/1344.29 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1343.73/1344.29 c 1217s| 4340k| 40 | 0 | 0.0 |6684k| 132 | - | 302 | 757 | 0 | 0 | 0 |2857k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
1346.92/1347.42 c 1220s| 4350k| 35 | 0 | 0.0 |6689k| 132 | - | 302 | 778 | 0 | 0 | 0 |2863k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
1350.02/1350.55 c 1223s| 4360k| 37 | 0 | 0.0 |6681k| 132 | - | 302 | 742 | 0 | 0 | 0 |2870k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
1353.12/1353.60 c 1225s| 4370k| 37 | 0 | 0.0 |6691k| 132 | - | 302 | 772 | 0 | 0 | 0 |2876k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
1356.22/1356.73 c 1228s| 4380k| 34 | 0 | 0.0 |6692k| 132 | - | 302 | 772 | 0 | 0 | 0 |2883k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
1359.32/1359.84 c 1231s| 4390k| 34 | 0 | 0.0 |6684k| 132 | - | 302 | 753 | 0 | 0 | 0 |2889k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
1362.42/1362.94 c 1234s| 4400k| 38 | 0 | 0.0 |6672k| 132 | - | 302 | 713 | 0 | 0 | 0 |2896k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
1365.51/1366.01 c 1237s| 4410k| 38 | 0 | 0.0 |6671k| 132 | - | 302 | 721 | 0 | 0 | 0 |2903k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
1368.62/1369.14 c 1240s| 4420k| 38 | 0 | 0.0 |6669k| 132 | - | 302 | 715 | 0 | 0 | 0 |2909k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
1371.71/1372.22 c 1242s| 4430k| 35 | 0 | 0.0 |6676k| 132 | - | 302 | 726 | 0 | 0 | 0 |2916k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
1374.71/1375.26 c 1245s| 4440k| 41 | 0 | 0.0 |6668k| 132 | - | 302 | 709 | 0 | 0 | 0 |2922k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
1377.81/1378.34 c 1248s| 4450k| 34 | 0 | 0.0 |6684k| 132 | - | 302 | 756 | 0 | 0 | 0 |2928k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
1381.02/1381.51 c 1251s| 4460k| 37 | 0 | 0.0 |6671k| 132 | - | 302 | 712 | 0 | 0 | 0 |2935k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
1384.10/1384.68 c 1254s| 4470k| 34 | 0 | 0.0 |6689k| 132 | - | 302 | 761 | 0 | 0 | 0 |2942k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
1387.30/1387.81 c 1256s| 4480k| 35 | 0 | 0.0 |6684k| 132 | - | 302 | 750 | 0 | 0 | 0 |2948k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
1390.40/1390.94 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1390.40/1390.94 c 1259s| 4490k| 37 | 0 | 0.0 |6684k| 132 | - | 302 | 754 | 0 | 0 | 0 |2955k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
1393.61/1394.11 c 1262s| 4500k| 37 | 0 | 0.0 |6677k| 132 | - | 302 | 736 | 0 | 0 | 0 |2961k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
1396.71/1397.24 c 1265s| 4510k| 39 | 0 | 0.0 |6670k| 132 | - | 302 | 716 | 0 | 0 | 0 |2968k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
1399.71/1400.28 c 1268s| 4520k| 36 | 0 | 0.0 |6673k| 132 | - | 302 | 718 | 0 | 0 | 0 |2975k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
1402.80/1403.39 c 1271s| 4530k| 35 | 0 | 0.0 |6689k| 132 | - | 302 | 773 | 0 | 0 | 0 |2981k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
1406.00/1406.55 c 1273s| 4540k| 33 | 0 | 0.0 |6682k| 132 | - | 302 | 753 | 0 | 0 | 0 |2988k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
1409.10/1409.66 c 1276s| 4550k| 39 | 0 | 0.0 |6682k| 132 | - | 302 | 749 | 0 | 0 | 0 |2994k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
1412.20/1412.79 c 1279s| 4560k| 32 | 0 | 0.0 |6672k| 132 | - | 302 | 732 | 0 | 0 | 0 |3001k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
1415.40/1415.91 c 1282s| 4570k| 31 | 0 | 0.0 |6663k| 132 | - | 302 | 707 | 0 | 0 | 0 |3008k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
1418.50/1419.02 c 1285s| 4580k| 36 | 0 | 0.0 |6668k| 132 | - | 302 | 714 | 0 | 0 | 0 |3014k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
1421.60/1422.15 c 1288s| 4590k| 34 | 0 | 0.0 |6684k| 132 | - | 302 | 757 | 0 | 0 | 0 |3021k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
1424.80/1425.33 c 1290s| 4600k| 36 | 0 | 0.0 |6674k| 132 | - | 302 | 729 | 0 | 0 | 0 |3028k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
1427.89/1428.47 c 1293s| 4610k| 38 | 0 | 0.0 |6666k| 132 | - | 302 | 705 | 0 | 0 | 0 |3034k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
1430.99/1431.52 c 1296s| 4620k| 42 | 0 | 0.0 |6672k| 132 | - | 302 | 720 | 0 | 0 | 0 |3041k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
1434.09/1434.67 c 1299s| 4630k| 36 | 0 | 0.0 |6676k| 132 | - | 302 | 735 | 0 | 0 | 0 |3047k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
1437.20/1437.75 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1437.20/1437.75 c 1302s| 4640k| 35 | 0 | 0.0 |6684k| 132 | - | 302 | 759 | 0 | 0 | 0 |3054k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
1440.29/1440.82 c 1304s| 4650k| 39 | 0 | 0.0 |6681k| 132 | - | 302 | 746 | 0 | 0 | 0 |3061k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
1443.39/1443.96 c 1307s| 4660k| 39 | 0 | 0.0 |6669k| 132 | - | 302 | 716 | 0 | 0 | 0 |3067k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
1446.49/1447.09 c 1310s| 4670k| 38 | 0 | 0.0 |6686k| 132 | - | 302 | 759 | 0 | 0 | 0 |3074k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
1449.68/1450.21 c 1313s| 4680k| 34 | 0 | 0.0 |6685k| 132 | - | 302 | 759 | 0 | 0 | 0 |3080k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
1452.79/1453.33 c 1316s| 4690k| 36 | 0 | 0.0 |6670k| 132 | - | 302 | 717 | 0 | 0 | 0 |3087k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
1455.89/1456.44 c 1319s| 4700k| 36 | 0 | 0.0 |6684k| 132 | - | 302 | 745 | 0 | 0 | 0 |3094k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
1458.98/1459.60 c 1321s| 4710k| 37 | 0 | 0.0 |6680k| 132 | - | 302 | 745 | 0 | 0 | 0 |3100k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
1462.08/1462.69 c 1324s| 4720k| 35 | 0 | 0.0 |6687k| 132 | - | 302 | 768 | 0 | 0 | 0 |3107k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
1465.18/1465.78 c 1327s| 4730k| 39 | 0 | 0.0 |6671k| 132 | - | 302 | 720 | 0 | 0 | 0 |3114k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
1468.38/1468.92 c 1330s| 4740k| 35 | 0 | 0.0 |6680k| 132 | - | 302 | 746 | 0 | 0 | 0 |3120k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
1471.48/1472.00 c 1333s| 4750k| 37 | 0 | 0.0 |6682k| 132 | - | 302 | 748 | 0 | 0 | 0 |3127k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
1474.68/1475.20 c 1336s| 4760k| 36 | 0 | 0.0 |6684k| 132 | - | 302 | 760 | 0 | 0 | 0 |3133k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
1477.78/1478.38 c 1338s| 4770k| 36 | 0 | 0.0 |6684k| 132 | - | 302 | 749 | 0 | 0 | 0 |3140k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
1480.97/1481.50 c 1341s| 4780k| 36 | 0 | 0.0 |6693k| 132 | - | 302 | 771 | 0 | 0 | 0 |3146k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
1484.07/1484.65 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1484.07/1484.65 c 1344s| 4790k| 36 | 0 | 0.0 |6691k| 132 | - | 302 | 776 | 0 | 0 | 0 |3153k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
1487.17/1487.77 c 1347s| 4800k| 31 | 0 | 0.0 |6677k| 132 | - | 302 | 750 | 0 | 0 | 0 |3160k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
1490.27/1490.87 c 1350s| 4810k| 38 | 0 | 0.0 |6685k| 132 | - | 302 | 744 | 0 | 0 | 0 |3166k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
1493.37/1493.96 c 1352s| 4820k| 33 | 0 | 0.0 |6679k| 132 | - | 302 | 741 | 0 | 0 | 0 |3173k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
1496.48/1497.06 c 1355s| 4830k| 35 | 0 | 0.0 |6697k| 132 | - | 302 | 779 | 0 | 0 | 0 |3179k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
1499.46/1500.07 c 1358s| 4840k| 34 | 0 | 0.0 |6694k| 132 | - | 302 | 782 | 0 | 0 | 0 |3186k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
1502.57/1503.11 c 1361s| 4850k| 37 | 0 | 0.0 |6681k| 132 | - | 302 | 734 | 0 | 0 | 0 |3192k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
1505.67/1506.20 c 1364s| 4860k| 33 | 0 | 0.0 |6692k| 132 | - | 302 | 772 | 0 | 0 | 0 |3199k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
1508.67/1509.28 c 1366s| 4870k| 35 | 0 | 0.0 |6681k| 132 | - | 302 | 744 | 0 | 0 | 0 |3205k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
1511.76/1512.35 c 1369s| 4880k| 34 | 0 | 0.0 |6687k| 132 | - | 302 | 763 | 0 | 0 | 0 |3212k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
1514.96/1515.50 c 1372s| 4890k| 32 | 0 | 0.0 |6686k| 132 | - | 302 | 752 | 0 | 0 | 0 |3218k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
1518.06/1518.62 c 1375s| 4900k| 33 | 0 | 0.0 |6691k| 132 | - | 302 | 771 | 0 | 0 | 0 |3225k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
1521.16/1521.76 c 1378s| 4910k| 31 | 0 | 0.0 |6699k| 132 | - | 302 | 789 | 0 | 0 | 0 |3232k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
1524.25/1524.86 c 1380s| 4920k| 39 | 0 | 0.0 |6682k| 132 | - | 302 | 741 | 0 | 0 | 0 |3238k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
1527.37/1527.94 c 1383s| 4930k| 40 | 0 | 0.0 |6677k| 132 | - | 302 | 726 | 0 | 0 | 0 |3245k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
1530.45/1531.02 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1530.45/1531.02 c 1386s| 4940k| 38 | 0 | 0.0 |6678k| 132 | - | 302 | 730 | 0 | 0 | 0 |3251k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
1533.45/1534.09 c 1389s| 4950k| 39 | 0 | 0.0 |6675k| 132 | - | 302 | 723 | 0 | 0 | 0 |3258k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
1536.56/1537.15 c 1392s| 4960k| 36 | 0 | 0.0 |6684k| 132 | - | 302 | 752 | 0 | 0 | 0 |3265k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
1539.66/1540.25 c 1394s| 4970k| 37 | 0 | 0.0 |6684k| 132 | - | 302 | 753 | 0 | 0 | 0 |3271k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
1542.76/1543.32 c 1397s| 4980k| 40 | 0 | 0.0 |6676k| 132 | - | 302 | 718 | 0 | 0 | 0 |3278k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
1545.75/1546.38 c 1400s| 4990k| 37 | 0 | 0.0 |6680k| 132 | - | 302 | 730 | 0 | 0 | 0 |3284k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
1548.85/1549.43 c 1403s| 5000k| 36 | 0 | 0.0 |6680k| 132 | - | 302 | 728 | 0 | 0 | 0 |3291k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
1551.85/1552.47 c 1405s| 5010k| 37 | 0 | 0.0 |6674k| 132 | - | 302 | 713 | 0 | 0 | 0 |3298k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
1554.94/1555.54 c 1408s| 5020k| 38 | 0 | 0.0 |6678k| 132 | - | 302 | 732 | 0 | 0 | 0 |3304k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
1558.05/1558.60 c 1411s| 5030k| 36 | 0 | 0.0 |6679k| 132 | - | 302 | 737 | 0 | 0 | 0 |3311k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
1561.05/1561.66 c 1414s| 5040k| 34 | 0 | 0.0 |6684k| 132 | - | 302 | 754 | 0 | 0 | 0 |3318k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
1564.15/1564.73 c 1417s| 5050k| 39 | 0 | 0.0 |6676k| 132 | - | 302 | 719 | 0 | 0 | 0 |3324k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
1567.15/1567.77 c 1419s| 5060k| 39 | 0 | 0.0 |6676k| 132 | - | 302 | 718 | 0 | 0 | 0 |3331k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
1570.25/1570.81 c 1422s| 5070k| 38 | 0 | 0.0 |6676k| 132 | - | 302 | 719 | 0 | 0 | 0 |3338k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
1573.24/1573.86 c 1425s| 5080k| 33 | 0 | 0.0 |6689k| 132 | - | 302 | 757 | 0 | 0 | 0 |3344k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
1576.34/1576.93 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1576.34/1576.93 c 1428s| 5090k| 39 | 0 | 0.0 |6674k| 132 | - | 302 | 720 | 0 | 0 | 0 |3351k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
1579.34/1579.99 c 1430s| 5100k| 35 | 0 | 0.0 |6680k| 132 | - | 302 | 730 | 0 | 0 | 0 |3357k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
1582.53/1583.10 c 1433s| 5110k| 34 | 0 | 0.0 |6690k| 132 | - | 302 | 758 | 0 | 0 | 0 |3364k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
1585.65/1586.28 c 1436s| 5120k| 38 | 0 | 0.0 |6675k| 132 | - | 302 | 722 | 0 | 0 | 0 |3371k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
1588.84/1589.44 c 1439s| 5130k| 33 | 0 | 0.0 |6682k| 132 | - | 302 | 746 | 0 | 0 | 0 |3377k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
1591.94/1592.53 c 1442s| 5140k| 34 | 0 | 0.0 |6678k| 132 | - | 302 | 735 | 0 | 0 | 0 |3384k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
1594.93/1595.53 c 1444s| 5150k| 36 | 0 | 0.0 |6685k| 132 | - | 302 | 749 | 0 | 0 | 0 |3391k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
1597.93/1598.52 c 1447s| 5160k| 36 | 0 | 0.0 |6676k| 132 | - | 302 | 727 | 0 | 0 | 0 |3397k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
1600.93/1601.55 c 1450s| 5170k| 36 | 0 | 0.0 |6678k| 132 | - | 302 | 738 | 0 | 0 | 0 |3404k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
1604.03/1604.60 c 1453s| 5180k| 37 | 0 | 0.0 |6672k| 132 | - | 302 | 718 | 0 | 0 | 0 |3411k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
1607.02/1607.68 c 1455s| 5190k| 38 | 0 | 0.0 |6667k| 132 | - | 302 | 703 | 0 | 0 | 0 |3417k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
1610.13/1610.71 c 1458s| 5200k| 39 | 0 | 0.0 |6670k| 132 | - | 302 | 710 | 0 | 0 | 0 |3424k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
1613.14/1613.74 c 1461s| 5210k| 36 | 0 | 0.0 |6677k| 132 | - | 302 | 731 | 0 | 0 | 0 |3430k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
1616.22/1616.80 c 1464s| 5220k| 37 | 0 | 0.0 |6676k| 132 | - | 302 | 722 | 0 | 0 | 0 |3437k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
1619.22/1619.83 c 1466s| 5230k| 35 | 0 | 0.0 |6673k| 132 | - | 302 | 722 | 0 | 0 | 0 |3444k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
1622.33/1622.90 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1622.33/1622.90 c 1469s| 5240k| 34 | 0 | 0.0 |6679k| 132 | - | 302 | 735 | 0 | 0 | 0 |3450k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
1625.43/1626.04 c 1472s| 5250k| 35 | 0 | 0.0 |6670k| 132 | - | 302 | 711 | 0 | 0 | 0 |3457k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
1628.53/1629.12 c 1475s| 5260k| 36 | 0 | 0.0 |6677k| 132 | - | 302 | 734 | 0 | 0 | 0 |3463k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
1631.62/1632.20 c 1478s| 5270k| 36 | 0 | 0.0 |6682k| 132 | - | 302 | 746 | 0 | 0 | 0 |3470k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
1634.72/1635.33 c 1480s| 5280k| 36 | 0 | 0.0 |6689k| 132 | - | 302 | 759 | 0 | 0 | 0 |3477k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
1637.81/1638.42 c 1483s| 5290k| 36 | 0 | 0.0 |6685k| 132 | - | 302 | 744 | 0 | 0 | 0 |3483k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
1640.92/1641.59 c 1486s| 5300k| 34 | 0 | 0.0 |6683k| 132 | - | 302 | 749 | 0 | 0 | 0 |3490k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
1644.12/1644.70 c 1489s| 5310k| 33 | 0 | 0.0 |6690k| 132 | - | 302 | 771 | 0 | 0 | 0 |3496k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
1647.12/1647.79 c 1492s| 5320k| 38 | 0 | 0.0 |6681k| 132 | - | 302 | 734 | 0 | 0 | 0 |3503k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
1650.11/1650.78 c 1494s| 5330k| 34 | 0 | 0.0 |6687k| 132 | - | 302 | 753 | 0 | 0 | 0 |3510k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
1653.21/1653.82 c 1497s| 5340k| 33 | 0 | 0.0 |6690k| 132 | - | 302 | 769 | 0 | 0 | 0 |3516k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
1656.22/1656.81 c 1500s| 5350k| 36 | 0 | 0.0 |6682k| 132 | - | 302 | 739 | 0 | 0 | 0 |3523k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
1659.22/1659.86 c 1503s| 5360k| 34 | 0 | 0.0 |6690k| 132 | - | 302 | 766 | 0 | 0 | 0 |3530k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
1662.21/1662.86 c 1505s| 5370k| 40 | 0 | 0.0 |6670k| 132 | - | 302 | 711 | 0 | 0 | 0 |3536k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
1665.31/1665.96 c 1508s| 5380k| 39 | 0 | 0.0 |6679k| 132 | - | 302 | 734 | 0 | 0 | 0 |3543k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
1668.41/1669.09 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1668.41/1669.09 c 1511s| 5390k| 39 | 0 | 0.0 |6677k| 132 | - | 302 | 724 | 0 | 0 | 0 |3550k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
1671.60/1672.21 c 1514s| 5400k| 37 | 0 | 0.0 |6680k| 132 | - | 302 | 728 | 0 | 0 | 0 |3556k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
1674.61/1675.30 c 1517s| 5410k| 34 | 0 | 0.0 |6684k| 132 | - | 302 | 754 | 0 | 0 | 0 |3563k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
1677.70/1678.35 c 1520s| 5420k| 36 | 0 | 0.0 |6677k| 132 | - | 302 | 732 | 0 | 0 | 0 |3570k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
1680.70/1681.37 c 1522s| 5430k| 34 | 0 | 0.0 |6685k| 132 | - | 302 | 747 | 0 | 0 | 0 |3576k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
1683.80/1684.42 c 1525s| 5440k| 36 | 0 | 0.0 |6672k| 132 | - | 302 | 716 | 0 | 0 | 0 |3583k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
1686.81/1687.45 c 1528s| 5450k| 36 | 0 | 0.0 |6678k| 132 | - | 302 | 733 | 0 | 0 | 0 |3589k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
1689.80/1690.49 c 1531s| 5460k| 36 | 0 | 0.0 |6676k| 132 | - | 302 | 722 | 0 | 0 | 0 |3596k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
1692.89/1693.53 c 1533s| 5470k| 38 | 0 | 0.0 |6670k| 132 | - | 302 | 711 | 0 | 0 | 0 |3603k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
1695.90/1696.58 c 1536s| 5480k| 34 | 0 | 0.0 |6672k| 132 | - | 302 | 712 | 0 | 0 | 0 |3609k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
1699.00/1699.63 c 1539s| 5490k| 36 | 0 | 0.0 |6670k| 132 | - | 302 | 710 | 0 | 0 | 0 |3616k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
1702.00/1702.65 c 1542s| 5500k| 33 | 0 | 0.0 |6675k| 132 | - | 302 | 718 | 0 | 0 | 0 |3622k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
1704.99/1705.69 c 1544s| 5510k| 38 | 0 | 0.0 |6666k| 132 | - | 302 | 700 | 0 | 0 | 0 |3629k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
1708.10/1708.71 c 1547s| 5520k| 34 | 0 | 0.0 |6669k| 132 | - | 302 | 709 | 0 | 0 | 0 |3635k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
1711.09/1711.74 c 1550s| 5530k| 36 | 0 | 0.0 |6678k| 132 | - | 302 | 733 | 0 | 0 | 0 |3642k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
1714.09/1714.78 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1714.09/1714.78 c 1552s| 5540k| 35 | 0 | 0.0 |6675k| 132 | - | 302 | 716 | 0 | 0 | 0 |3649k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
1717.19/1717.81 c 1555s| 5550k| 33 | 0 | 0.0 |6689k| 132 | - | 302 | 761 | 0 | 0 | 0 |3655k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
1720.19/1720.87 c 1558s| 5560k| 36 | 0 | 0.0 |6677k| 132 | - | 302 | 723 | 0 | 0 | 0 |3662k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
1723.29/1723.91 c 1561s| 5570k| 35 | 0 | 0.0 |6681k| 132 | - | 302 | 744 | 0 | 0 | 0 |3669k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
1726.30/1726.92 c 1563s| 5580k| 34 | 0 | 0.0 |6682k| 132 | - | 302 | 748 | 0 | 0 | 0 |3675k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
1729.29/1729.98 c 1566s| 5590k| 31 | 0 | 0.0 |6691k| 132 | - | 302 | 764 | 0 | 0 | 0 |3682k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
1732.39/1733.01 c 1569s| 5600k| 37 | 0 | 0.0 |6668k| 132 | - | 302 | 707 | 0 | 0 | 0 |3689k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
1735.39/1736.02 c 1572s| 5610k| 35 | 0 | 0.0 |6678k| 132 | - | 302 | 732 | 0 | 0 | 0 |3695k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
1738.39/1739.02 c 1574s| 5620k| 38 | 0 | 0.0 |6674k| 132 | - | 302 | 714 | 0 | 0 | 0 |3702k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
1741.38/1742.06 c 1577s| 5630k| 36 | 0 | 0.0 |6680k| 132 | - | 302 | 739 | 0 | 0 | 0 |3709k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
1744.38/1745.08 c 1580s| 5640k| 34 | 0 | 0.0 |6674k| 132 | - | 302 | 725 | 0 | 0 | 0 |3715k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
1747.48/1748.10 c 1582s| 5650k| 34 | 0 | 0.0 |6686k| 132 | - | 302 | 757 | 0 | 0 | 0 |3722k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
1750.48/1751.20 c 1585s| 5660k| 34 | 0 | 0.0 |6673k| 132 | - | 302 | 723 | 0 | 0 | 0 |3729k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
1753.58/1754.29 c 1588s| 5670k| 37 | 0 | 0.0 |6681k| 132 | - | 302 | 734 | 0 | 0 | 0 |3735k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
1756.68/1757.37 c 1591s| 5680k| 31 | 0 | 0.0 |6691k| 132 | - | 302 | 774 | 0 | 0 | 0 |3742k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
1759.68/1760.38 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1759.68/1760.38 c 1594s| 5690k| 35 | 0 | 0.0 |6684k| 132 | - | 302 | 751 | 0 | 0 | 0 |3748k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
1762.77/1763.45 c 1596s| 5700k| 33 | 0 | 0.0 |6687k| 132 | - | 302 | 760 | 0 | 0 | 0 |3755k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
1765.77/1766.49 c 1599s| 5710k| 36 | 0 | 0.0 |6684k| 132 | - | 302 | 741 | 0 | 0 | 0 |3762k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
1768.87/1769.58 c 1602s| 5720k| 36 | 0 | 0.0 |6678k| 132 | - | 302 | 728 | 0 | 0 | 0 |3768k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
1771.97/1772.64 c 1605s| 5730k| 33 | 0 | 0.0 |6682k| 132 | - | 302 | 747 | 0 | 0 | 0 |3775k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
1774.97/1775.68 c 1607s| 5740k| 37 | 0 | 0.0 |6673k| 132 | - | 302 | 718 | 0 | 0 | 0 |3782k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
1778.08/1778.78 c 1610s| 5750k| 32 | 0 | 0.0 |6687k| 132 | - | 302 | 749 | 0 | 0 | 0 |3788k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
1781.17/1781.83 c 1613s| 5760k| 33 | 0 | 0.0 |6680k| 132 | - | 302 | 741 | 0 | 0 | 0 |3795k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
1784.27/1784.91 c 1616s| 5770k| 33 | 0 | 0.0 |6685k| 132 | - | 302 | 752 | 0 | 0 | 0 |3801k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
1787.26/1787.96 c 1619s| 5780k| 33 | 0 | 0.0 |6684k| 132 | - | 302 | 741 | 0 | 0 | 0 |3808k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
1790.36/1791.06 c 1621s| 5790k| 34 | 0 | 0.0 |6686k| 132 | - | 302 | 746 | 0 | 0 | 0 |3815k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
1793.47/1794.14 c 1624s| 5800k| 34 | 0 | 0.0 |6687k| 132 | - | 302 | 750 | 0 | 0 | 0 |3821k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
1796.56/1797.21 c 1627s| 5810k| 31 | 0 | 0.0 |6688k| 132 | - | 302 | 755 | 0 | 0 | 0 |3828k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
1799.56/1800.25 c 1630s| 5820k| 31 | 0 | 0.0 |6672k| 132 | - | 302 | 722 | 0 | 0 | 0 |3835k| 0 | 1.291000e+03 | 1.327000e+03 | 2.79%
1800.07/1800.71 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.07/1800.71 c
1800.07/1800.71 c SCIP Status : solving was interrupted [user interrupt]
1800.07/1800.71 c Solving Time (sec) : 1630.04
1800.07/1800.71 c Solving Nodes : 5821571
1800.07/1800.71 c Primal Bound : +1.32700000000000e+03 (1 solutions)
1800.07/1800.71 c Dual Bound : +1.29100000000000e+03
1800.07/1800.71 c Gap : 2.79 %
1800.07/1800.72 s SATISFIABLE
1800.07/1800.72 v -x2726 x2725 -x2724 x2723 x2722 -x2721 -x2720 x2719 x2718 -x2717 -x2716 x2715 x2714 -x2713 -x2712 x2711 x2710 -x2709 x2708 -x2707
1800.07/1800.72 v x2706 -x2705 x2704 -x2703 x2702 -x2701 x2700 -x2699 x2698 -x2697 -x2696 x2695 x2694 -x2693 x2692 -x2691 x2690 -x2689 -x2688
1800.07/1800.72 v x2687 x2686 -x2685 x2684 -x2683 x2682 -x2681 -x2680 x2679 x2678 -x2677 x2676 -x2675 x2674 -x2673 x2672 -x2671 x2670 -x2669
1800.07/1800.72 v -x2668 x2667 -x2666 x2665 x2664 -x2663 -x2662 x2661 x2660 -x2659 x2658 -x2657 -x2656 x2655 x2654 -x2653 -x2652 x2651 -x2650 x2649
1800.07/1800.72 v x2648 -x2647 -x2646 x2645 x2644 -x2643 -x2642 x2641 x2640 -x2639 x2638 -x2637 x2636 -x2635 -x2634 x2633 x2632 -x2631 -x2630
1800.07/1800.72 v x2629 x2628 -x2627 x2626 -x2625 x2624 -x2623 x2622 -x2621 -x2620 x2619 x2618 -x2617 x2616 -x2615 -x2614 x2613 -x2612 x2611
1800.07/1800.72 v -x2610 x2609 x2608 -x2607 x2606 -x2605 -x2604 x2603 -x2602 x2601 -x2600 x2599 x2598 -x2597 -x2596 x2595 -x2594 x2593 -x2592
1800.07/1800.72 v x2591 -x2590 x2589 -x2588 x2587 -x2586 x2585 -x2584 x2583 x2582 -x2581 x2580 -x2579 -x2578 x2577 x2576 -x2575 x2574 -x2573 x2572
1800.07/1800.72 v -x2571 -x2570 x2569 x2568 -x2567 x2566 -x2565 -x2564 x2563 -x2562 x2561 x2560 -x2559 x2558 -x2557 -x2556 x2555 -x2554 x2553
1800.07/1800.72 v -x2552 x2551 -x2550 x2549 x2548 -x2547 -x2546 x2545 x2544 -x2543 x2542 -x2541 x2540 -x2539 -x2538 x2537 x2536 -x2535 -x2534
1800.07/1800.72 v x2533 x2532 -x2531 x2530 -x2529 x2528 -x2527 -x2526 x2525 x2524 -x2523 -x2522 x2521 x2520 -x2519 x2518 -x2517 -x2516 x2515
1800.07/1800.72 v -x2514 x2513 -x2512 x2511 x2510 -x2509 -x2508 x2507 -x2506 x2505 -x2504 x2503 x2502 -x2501 -x2500 x2499 -x2498 x2497 -x2496
1800.07/1800.72 v x2495 x2494 -x2493 -x2492 x2491 -x2490 x2489 -x2488 x2487 x2486 -x2485 x2484 -x2483 -x2482 x2481 x2480 -x2479 x2478 -x2477 -x2476
1800.07/1800.72 v x2475 x2474 -x2473 -x2472 x2471 -x2470 x2469 -x2468 x2467 x2466 -x2465 -x2464 x2463 -x2462 x2461 x2460 -x2459 -x2458 x2457
1800.07/1800.72 v -x2456 x2455 -x2454 x2453 x2452 -x2451 x2450 -x2449 x2448 -x2447 x2446 -x2445 x2444 -x2443 x2442 -x2441 -x2440 x2439 x2438
1800.07/1800.72 v -x2437 -x2436 x2435 -x2434 x2433 -x2432 x2431 -x2430 x2429 -x2428 x2427 x2426 -x2425 -x2424 x2423 x2422 -x2421 x2420 -x2419
1800.07/1800.72 v -x2418 x2417 x2416 -x2415 x2414 -x2413 -x2412 x2411 x2410 -x2409 x2408 -x2407 -x2406 x2405 -x2404 x2403 -x2402 x2401 -x2400 x2399
1800.07/1800.72 v x2398 -x2397 -x2396 x2395 x2394 -x2393 x2392 -x2391 x2390 -x2389 x2388 -x2387 x2386 -x2385 -x2384 x2383 -x2382 x2381 x2380
1800.07/1800.72 v -x2379 -x2378 x2377 x2376 -x2375 -x2374 x2373 -x2372 x2371 x2370 -x2369 -x2368 x2367 x2366 -x2365 x2364 -x2363 -x2362 x2361
1800.07/1800.72 v -x2360 x2359 -x2358 x2357 x2356 -x2355 x2354 -x2353 x2352 -x2351 x2350 -x2349 x2348 -x2347 x2346 -x2345 -x2344 x2343 x2342
1800.07/1800.72 v -x2341 -x2340 x2339 -x2338 x2337 -x2336 x2335 x2334 -x2333 x2332 -x2331 x2330 -x2329 -x2328 x2327 x2326 -x2325 x2324 -x2323 x2322
1800.07/1800.72 v -x2321 -x2320 x2319 x2318 -x2317 -x2316 x2315 x2314 -x2313 -x2312 x2311 -x2310 x2309 -x2308 x2307 x2306 -x2305 -x2304 x2303
1800.07/1800.72 v x2302 -x2301 x2300 -x2299 -x2298 x2297 -x2296 x2295 -x2294 x2293 x2292 -x2291 -x2290 x2289 -x2288 x2287 x2286 -x2285 x2284
1800.07/1800.72 v -x2283 -x2282 x2281 x2280 -x2279 -x2278 x2277 -x2276 x2275 -x2274 x2273 -x2272 x2271 x2270 -x2269 -x2268 x2267 x2266 -x2265
1800.07/1800.72 v -x2264 x2263 x2262 -x2261 -x2260 x2259 x2258 -x2257 -x2256 x2255 x2254 -x2253 -x2252 x2251 x2250 -x2249 -x2248 x2247 x2246 -x2245
1800.07/1800.72 v x2244 -x2243 x2242 -x2241 x2240 -x2239 x2238 -x2237 -x2236 x2235 -x2234 x2233 x2232 -x2231 -x2230 x2229 -x2228 x2227 -x2226
1800.07/1800.72 v x2225 x2224 -x2223 -x2222 x2221 -x2220 x2219 x2218 -x2217 x2216 -x2215 x2214 -x2213 x2212 -x2211 x2210 -x2209 -x2208 x2207
1800.07/1800.72 v x2206 -x2205 x2204 -x2203 x2202 -x2201 -x2200 x2199 -x2198 x2197 x2196 -x2195 -x2194 x2193 -x2192 x2191 -x2190 x2189 x2188
1800.07/1800.72 v -x2187 -x2186 x2185 -x2184 x2183 x2182 -x2181 x2180 -x2179 x2178 -x2177 x2176 -x2175 -x2174 x2173 x2172 -x2171 x2170 -x2169
1800.07/1800.72 v -x2168 x2167 -x2166 x2165 x2164 -x2163 x2162 -x2161 -x2160 x2159 -x2158 x2157 x2156 -x2155 -x2154 x2153 -x2152 x2151 x2150 -x2149
1800.07/1800.72 v -x2148 x2147 -x2146 x2145 -x2144 x2143 -x2142 x2141 -x2140 x2139 -x2138 x2137 -x2136 x2135 x2134 -x2133 -x2132 x2131 -x2130
1800.07/1800.72 v x2129 -x2128 x2127 -x2126 x2125 -x2124 x2123 -x2122 x2121 -x2120 x2119 x2118 -x2117 x2116 -x2115 x2114 -x2113 x2112 -x2111
1800.07/1800.72 v x2110 -x2109 -x2108 x2107 x2106 -x2105 -x2104 x2103 x2102 -x2101 -x2100 x2099 -x2098 x2097 -x2096 x2095 -x2094 x2093 x2092
1800.07/1800.72 v -x2091 x2090 -x2089 x2088 -x2087 -x2086 x2085 x2084 -x2083 -x2082 x2081 x2080 -x2079 -x2078 x2077 x2076 -x2075 -x2074 x2073 -x2072
1800.07/1800.72 v x2071 x2070 -x2069 x2068 -x2067 -x2066 x2065 x2064 -x2063 x2062 -x2061 -x2060 x2059 -x2058 x2057 -x2056 x2055 x2054 -x2053
1800.07/1800.72 v x2052 -x2051 x2050 -x2049 x2048 -x2047 x2046 -x2045 -x2044 x2043 -x2042 x2041 x2040 -x2039 -x2038 x2037 x2036 -x2035 -x2034
1800.07/1800.72 v x2033 x2032 -x2031 x2030 -x2029 x2028 -x2027 -x2026 x2025 -x2024 x2023 -x2022 x2021 -x2020 x2019 -x2018 x2017 x2016 -x2015
1800.07/1800.72 v x2014 -x2013 x2012 -x2011 -x2010 x2009 x2008 -x2007 x2006 -x2005 x2004 -x2003 x2002 -x2001 -x2000 x1999 x1998 -x1997 x1996 -x1995
1800.07/1800.72 v -x1994 x1993 x1992 -x1991 -x1990 x1989 -x1988 x1987 -x1986 x1985 x1984 -x1983 x1982 -x1981 x1980 -x1979 -x1978 x1977 x1976
1800.07/1800.72 v -x1975 -x1974 x1973 x1972 -x1971 -x1970 x1969 -x1968 x1967 -x1966 x1965 -x1964 x1963 x1962 -x1961 x1960 -x1959 x1958 -x1957
1800.07/1800.72 v x1956 -x1955 -x1954 x1953 x1952 -x1951 x1950 -x1949 x1948 -x1947 x1946 -x1945 x1944 -x1943 x1942 -x1941 x1940 -x1939 x1938
1800.07/1800.72 v -x1937 -x1936 x1935 -x1934 x1933 x1932 -x1931 x1930 -x1929 -x1928 x1927 -x1926 x1925 x1924 -x1923 x1922 -x1921 x1920 -x1919
1800.07/1800.72 v -x1918 x1917 -x1916 x1915 -x1914 x1913 x1912 -x1911 x1910 -x1909 x1908 -x1907 -x1906 x1905 -x1904 x1903 x1902 -x1901 x1900 -x1899
1800.07/1800.72 v x1898 -x1897 x1896 -x1895 -x1894 x1893 x1892 -x1891 x1890 -x1889 x1888 -x1887 -x1886 x1885 -x1884 x1883 x1882 -x1881 x1880
1800.07/1800.72 v -x1879 -x1878 x1877 -x1876 x1875 -x1874 x1873 -x1872 x1871 -x1870 x1869 x1868 -x1867 x1866 -x1865 x1864 -x1863 x1862 -x1861
1800.07/1800.72 v x1860 -x1859 x1858 -x1857 x1856 -x1855 x1854 -x1853 x1852 -x1851 x1850 -x1849 x1848 -x1847 -x1846 x1845 -x1844 x1843 -x1842
1800.07/1800.72 v x1841 -x1840 x1839 x1838 -x1837 x1836 -x1835 -x1834 x1833 x1832 -x1831 -x1830 x1829 -x1828 x1827 -x1826 x1825 x1824 -x1823 -x1822
1800.07/1800.72 v x1821 -x1820 x1819 x1818 -x1817 x1816 -x1815 x1814 -x1813 x1812 -x1811 -x1810 x1809 x1808 -x1807 x1806 -x1805 x1804 -x1803
1800.07/1800.72 v x1802 -x1801 x1800 -x1799 x1798 -x1797 x1796 -x1795 -x1794 x1793 x1792 -x1791 -x1790 x1789 x1788 -x1787 x1786 -x1785 -x1784
1800.07/1800.72 v x1783 x1782 -x1781 x1780 -x1779 x1778 -x1777 x1776 -x1775 x1774 -x1773 -x1772 x1771 -x1770 x1769 -x1768 x1767 -x1766 x1765
1800.07/1800.72 v -x1764 x1763 x1762 -x1761 -x1760 x1759 x1758 -x1757 -x1756 x1755 x1754 -x1753 -x1752 x1751 x1750 -x1749 -x1748 x1747 x1746 -x1745
1800.07/1800.72 v x1744 -x1743 -x1742 x1741 x1740 -x1739 -x1738 x1737 x1736 -x1735 -x1734 x1733 -x1732 x1731 x1730 -x1729 -x1728 x1727 x1726
1800.07/1800.72 v -x1725 -x1724 x1723 x1722 -x1721 -x1720 x1719 -x1718 x1717 x1716 -x1715 -x1714 x1713 -x1712 x1711 x1710 -x1709 x1708 -x1707
1800.07/1800.72 v -x1706 x1705 -x1704 x1703 -x1702 x1701 x1700 -x1699 x1698 -x1697 x1696 -x1695 x1694 -x1693 x1692 -x1691 x1690 -x1689 -x1688
1800.07/1800.72 v x1687 -x1686 x1685 x1684 -x1683 -x1682 x1681 x1680 -x1679 x1678 -x1677 -x1676 -x1675 x1674 -x1673 -x1672 x1671 -x1670 x1669
1800.07/1800.72 v -x1668 -x1667 x1666 -x1665 x1664 -x1663 x1662 -x1661 -x1660 -x1659 x1658 -x1657 -x1656 x1655 -x1654 x1653 x1652 -x1651 -x1650
1800.07/1800.72 v x1649 -x1648 x1647 x1646 -x1645 x1644 -x1643 x1642 -x1641 -x1640 x1639 x1638 -x1637 x1636 -x1635 -x1634 x1633 -x1632 x1631
1800.07/1800.72 v -x1630 x1629 -x1628 x1627 -x1626 x1625 -x1624 x1623 -x1622 x1621 -x1620 x1619 -x1618 x1617 x1616 -x1615 x1614 -x1613 x1612 -x1611
1800.07/1800.72 v -x1610 x1609 x1608 -x1607 x1606 -x1605 -x1604 x1603 -x1602 x1601 x1600 -x1599 x1598 -x1597 x1596 -x1595 -x1594 x1593 -x1592
1800.07/1800.72 v x1591 x1590 -x1589 x1588 -x1587 x1586 -x1585 x1584 -x1583 x1582 -x1581 x1580 -x1579 x1578 -x1577 x1576 -x1575 -x1574 x1573
1800.07/1800.72 v x1572 -x1571 -x1570 x1569 x1568 -x1567 x1566 -x1565 x1564 -x1563 x1562 -x1561 x1560 -x1559 x1558 -x1557 x1556 -x1555 -x1554
1800.07/1800.72 v x1553 x1552 -x1551 x1550 -x1549 x1548 -x1547 -x1546 x1545 -x1544 x1543 x1542 -x1541 x1540 -x1539 x1538 -x1537 -x1536 x1535 -x1534
1800.07/1800.72 v x1533 -x1532 x1531 x1530 -x1529 x1528 -x1527 -x1526 x1525 x1524 -x1523 x1522 -x1521 -x1520 x1519 x1518 -x1517 -x1516 x1515
1800.07/1800.72 v -x1514 x1513 -x1512 x1511 x1510 -x1509 x1508 -x1507 -x1506 x1505 x1504 -x1503 -x1502 x1501 -x1500 x1499 x1498 -x1497 -x1496
1800.07/1800.72 v x1495 -x1494 x1493 x1492 -x1491 -x1490 x1489 x1488 -x1487 -x1486 x1485 -x1484 x1483 x1482 -x1481 -x1480 x1479 x1478 -x1477
1800.07/1800.72 v -x1476 x1475 x1474 -x1473 -x1472 x1471 -x1470 x1469 -x1468 x1467 x1466 -x1465 x1464 -x1463 -x1462 x1461 x1460 -x1459 x1458 -x1457
1800.07/1800.72 v -x1456 x1455 -x1454 x1453 -x1452 x1451 -x1450 x1449 x1448 -x1447 -x1446 x1445 -x1444 x1443 x1442 -x1441 -x1440 x1439 -x1438
1800.07/1800.72 v x1437 -x1436 x1435 x1434 -x1433 -x1432 x1431 x1430 -x1429 -x1428 x1427 x1426 -x1425 -x1424 x1423 -x1422 x1421 -x1420 x1419
1800.07/1800.72 v -x1418 x1417 -x1416 x1415 -x1414 x1413 -x1412 x1411 -x1410 x1409 -x1408 x1407 -x1406 x1405 -x1404 x1403 x1402 -x1401 -x1400
1800.07/1800.72 v x1399 x1398 -x1397 x1396 -x1395 -x1394 x1393 x1392 -x1391 -x1390 x1389 -x1388 x1387 x1386 -x1385 x1384 -x1383 -x1382 x1381
1800.07/1800.72 v -x1380 x1379 -x1378 x1377 x1376 -x1375 -x1374 x1373 -x1372 x1371 x1370 -x1369 x1368 -x1367 -x1366 x1365 x1364 -x1363 x1362 -x1361
1800.07/1800.72 v x1360 -x1359 x1358 -x1357 x1356 -x1355 -x1354 x1353 -x1352 x1351 -x1350 x1349 -x1348 x1347 x1346 -x1345 -x1344 x1343 -x1342
1800.07/1800.72 v x1341 -x1340 x1339 -x1338 x1337 -x1336 x1335 -x1334 x1333 -x1332 x1331 x1330 -x1329 -x1328 x1327 -x1326 x1325 -x1324 x1323
1800.07/1800.72 v -x1322 x1321 -x1320 x1319 x1318 -x1317 x1316 -x1315 -x1314 x1313 -x1312 x1311 -x1310 x1309 x1308 -x1307 -x1306 x1305 x1304
1800.07/1800.72 v -x1303 x1302 -x1301 x1300 -x1299 x1298 -x1297 x1296 -x1295 x1294 -x1293 x1292 -x1291 -x1290 x1289 -x1288 x1287 -x1286 x1285 x1284
1800.07/1800.72 v -x1283 x1282 -x1281 -x1280 x1279 x1278 -x1277 -x1276 x1275 x1274 -x1273 -x1272 x1271 -x1270 x1269 -x1268 x1267 x1266 -x1265
1800.07/1800.72 v -x1264 -x1263 -x1262 x1261 -x1260 x1259 -x1258 -x1257 x1256 -x1255 x1254 -x1253 x1252 -x1251 -x1250 x1249 -x1248 x1247 x1246
1800.07/1800.72 v -x1245 x1244 -x1243 -x1242 x1241 -x1240 x1239 -x1238 x1237 -x1236 x1235 x1234 -x1233 x1232 -x1231 -x1230 x1229 x1228 -x1227
1800.07/1800.72 v x1226 -x1225 x1224 -x1223 x1222 -x1221 x1220 -x1219 x1218 -x1217 x1216 -x1215 x1214 -x1213 -x1212 x1211 -x1210 x1209 x1208
1800.07/1800.72 v -x1207 -x1206 x1205 -x1204 x1203 x1202 -x1201 x1200 -x1199 x1198 -x1197 -x1196 x1195 x1194 -x1193 -x1192 x1191 -x1190 x1189
1800.07/1800.72 v x1188 -x1187 x1186 -x1185 x1184 -x1183 x1182 -x1181 -x1180 x1179 -x1178 x1177 -x1176 x1175 x1174 -x1173 -x1172 x1171 -x1170 x1169
1800.07/1800.72 v x1168 -x1167 -x1166 x1165 x1164 -x1163 x1162 -x1161 x1160 -x1159 -x1158 x1157 x1156 -x1155 -x1154 x1153 x1152 -x1151 x1150
1800.07/1800.72 v -x1149 x1148 -x1147 x1146 -x1145 -x1144 x1143 -x1142 x1141 x1140 -x1139 -x1138 x1137 x1136 -x1135 x1134 -x1133 -x1132 x1131
1800.07/1800.72 v -x1130 x1129 x1128 -x1127 -x1126 x1125 -x1124 x1123 -x1122 x1121 -x1120 x1119 x1118 -x1117 -x1116 x1115 -x1114 x1113 -x1112
1800.07/1800.72 v x1111 x1110 -x1109 -x1108 x1107 x1106 -x1105 x1104 -x1103 x1102 -x1101 -x1100 x1099 -x1098 x1097 x1096 -x1095 -x1094 x1093 -x1092
1800.07/1800.72 v x1091 x1090 -x1089 -x1088 x1087 -x1086 x1085 -x1084 x1083 x1082 -x1081 -x1080 x1079 -x1078 x1077 -x1076 x1075 -x1074 x1073
1800.07/1800.72 v -x1072 x1071 x1070 -x1069 x1068 -x1067 -x1066 x1065 -x1064 x1063 x1062 -x1061 x1060 -x1059 x1058 -x1057 -x1056 x1055 -x1054
1800.07/1800.72 v x1053 -x1052 x1051 x1050 -x1049 x1048 -x1047 x1046 -x1045 x1044 -x1043 -x1042 x1041 -x1040 x1039 -x1038 x1037 x1036 -x1035
1800.07/1800.72 v x1034 -x1033 x1032 -x1031 -x1030 x1029 -x1028 x1027 -x1026 x1025 x1024 -x1023 -x1022 x1021 -x1020 x1019 x1018 -x1017 -x1016
1800.07/1800.72 v x1015 -x1014 x1013 -x1012 x1011 -x1010 x1009 x1008 -x1007 -x1006 x1005 -x1004 x1003 x1002 -x1001 x1000 -x999 -x998 x997 -x996
1800.07/1800.72 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.72 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.72 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.72 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.72 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.72 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.72 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.72 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.72 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.72 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.72 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.72 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.72 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.72 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.72 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.72 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.72 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.72 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.72 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.72 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.72 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.72 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.72 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.72 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.72 v -x449 -x448 x447 -x446 x445 x444 -x443 x442 -x441 x440 -x439 -x438 x437 x436 -x435 x434 -x433 x432 -x431 -x430 x429 -x428
1800.07/1800.72 v x427 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.72 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.72 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.72 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.72 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.72 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.72 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.72 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.72 v -x245 x244 -x243 -x242 -x241 x240 -x239 -x238 -x237 -x236 -x235 x234 -x233 x232 -x231 x230 -x229 x228 -x227 x226 -x225 -x224
1800.07/1800.72 v x223 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.72 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.72 v -x178 x177 x176 -x175 x174 -x173 -x172 x171 -x170 x169 x168 -x167 -x166 x165 x164 -x163 x162 -x161 -x160 -x159 -x158 -x157 -x156
1800.07/1800.72 v -x155 x154 -x153 x152 -x151 x150 -x149 -x148 -x147 -x146 x145 -x144 x143 x142 -x141 -x140 -x139 x138 -x137 -x136 -x135 -x134
1800.07/1800.72 v -x133 x132 -x131 x130 -x129 -x128 -x127 x126 -x125 -x124 -x123 x122 -x121 x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113
1800.07/1800.72 v -x112 -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.72 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.72 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.72 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
1800.07/1800.72 v x6 -x5 -x4 x3 -x2 x1
1800.07/1800.72 c SCIP Status : solving was interrupted [user interrupt]
1800.07/1800.72 c Solving Time : 1630.04
1800.07/1800.72 c Original Problem :
1800.07/1800.72 c Problem name : HOME/instance-2664058-1276424112.opb
1800.07/1800.72 c Variables : 2726 (2726 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.07/1800.72 c Constraints : 4395 initial, 4395 maximal
1800.07/1800.72 c Presolved Problem :
1800.07/1800.72 c Problem name : t_HOME/instance-2664058-1276424112.opb
1800.07/1800.72 c Variables : 302 (302 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.07/1800.72 c Constraints : 693 initial, 868 maximal
1800.07/1800.72 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.07/1800.72 c trivial : 0.01 25 0 0 0 0 0 0 0
1800.07/1800.72 c dualfix : 0.00 18 0 0 0 0 0 0 0
1800.07/1800.72 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.07/1800.72 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.07/1800.72 c implics : 0.05 0 1239 0 0 0 0 0 0
1800.07/1800.72 c probing : 0.03 0 34 0 0 0 0 0 0
1800.07/1800.72 c linear : 0.07 87 1021 0 112 0 3702 2 5
1800.07/1800.72 c logicor : 0.01 0 0 0 0 0 0 0 0
1800.07/1800.72 c root node : - 0 - - 0 - - - -
1800.07/1800.72 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.07/1800.72 c integral : 0 0 0 0 0 0 0 0 0 0
1800.07/1800.72 c logicor : 693+ 0 21445737 0 1 3835399 40309848 0 0 0
1800.07/1800.72 c countsols : 0 0 0 0 1 0 0 0 0 0
1800.07/1800.72 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.07/1800.72 c integral : 0.00 0.00 0.00 0.00 0.00
1800.07/1800.72 c logicor : 568.09 0.00 568.09 0.00 0.00
1800.07/1800.72 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.07/1800.72 c Propagators : Time Calls Cutoffs DomReds
1800.07/1800.72 c vbounds : 12.48 2 0 0
1800.07/1800.72 c rootredcost : 11.65 0 0 0
1800.07/1800.72 c pseudoobj : 382.91 26335922 1 164532137
1800.07/1800.72 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.07/1800.72 c propagation : 367.58 3835400 3835400 3835400 25.1 796 4.2 -
1800.07/1800.72 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.07/1800.72 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.07/1800.72 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.07/1800.72 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.07/1800.72 c applied globally : - - - 3822082 25.0 - - -
1800.07/1800.72 c applied locally : - - - 14114 31.2 - - -
1800.07/1800.72 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.07/1800.72 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.07/1800.72 c redcost : 0.00 0 0 0 0 0
1800.07/1800.72 c impliedbounds : 0.00 0 0 0 0 0
1800.07/1800.72 c intobj : 0.00 0 0 0 0 0
1800.07/1800.72 c cgmip : 0.00 0 0 0 0 0
1800.07/1800.72 c gomory : 0.00 0 0 0 0 0
1800.07/1800.72 c strongcg : 0.00 0 0 0 0 0
1800.07/1800.72 c cmir : 0.00 0 0 0 0 0
1800.07/1800.72 c flowcover : 0.00 0 0 0 0 0
1800.07/1800.72 c clique : 0.00 0 0 0 0 0
1800.07/1800.72 c zerohalf : 0.00 0 0 0 0 0
1800.07/1800.72 c mcf : 0.00 0 0 0 0 0
1800.07/1800.72 c rapidlearning : 0.00 0 0 0 0 0
1800.07/1800.72 c Pricers : Time Calls Vars
1800.07/1800.72 c problem variables: 0.00 0 0
1800.07/1800.72 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.07/1800.72 c relpscost : 0.00 0 0 0 0 0 0
1800.07/1800.72 c pscost : 0.00 0 0 0 0 0 0
1800.07/1800.72 c inference : 91.21 3838192 0 0 0 0 7676384
1800.07/1800.72 c mostinf : 0.00 0 0 0 0 0 0
1800.07/1800.72 c leastinf : 0.00 0 0 0 0 0 0
1800.07/1800.72 c fullstrong : 0.00 0 0 0 0 0 0
1800.07/1800.72 c allfullstrong : 0.00 0 0 0 0 0 0
1800.07/1800.72 c random : 0.00 0 0 0 0 0 0
1800.07/1800.72 c Primal Heuristics : Time Calls Found
1800.07/1800.72 c LP solutions : 0.00 - 0
1800.07/1800.72 c pseudo solutions : 0.00 - 1
1800.07/1800.72 c oneopt : 3.93 0 0
1800.07/1800.72 c trivial : 0.01 2 0
1800.07/1800.72 c simplerounding : 0.00 0 0
1800.07/1800.72 c zirounding : 0.00 0 0
1800.07/1800.72 c rounding : 0.00 0 0
1800.07/1800.72 c shifting : 0.00 0 0
1800.07/1800.72 c intshifting : 0.00 0 0
1800.07/1800.72 c twoopt : 0.00 0 0
1800.07/1800.72 c fixandinfer : 0.00 0 0
1800.07/1800.72 c feaspump : 0.00 0 0
1800.07/1800.72 c coefdiving : 0.00 0 0
1800.07/1800.72 c pscostdiving : 0.00 0 0
1800.07/1800.72 c fracdiving : 0.00 0 0
1800.07/1800.72 c veclendiving : 0.00 0 0
1800.07/1800.72 c intdiving : 0.00 0 0
1800.07/1800.72 c actconsdiving : 0.00 0 0
1800.07/1800.72 c objpscostdiving : 0.00 0 0
1800.07/1800.72 c rootsoldiving : 0.00 0 0
1800.07/1800.72 c linesearchdiving : 0.00 0 0
1800.07/1800.72 c guideddiving : 0.00 0 0
1800.07/1800.72 c octane : 0.00 0 0
1800.07/1800.72 c rens : 0.00 0 0
1800.07/1800.72 c rins : 0.00 0 0
1800.07/1800.72 c localbranching : 0.00 0 0
1800.07/1800.72 c mutation : 0.00 0 0
1800.07/1800.72 c crossover : 0.00 0 0
1800.07/1800.72 c dins : 0.00 0 0
1800.07/1800.72 c undercover : 0.00 0 0
1800.07/1800.72 c nlp : 2.69 0 0
1800.07/1800.72 c trysol : 2.67 0 0
1800.07/1800.72 c LP : Time Calls Iterations Iter/call Iter/sec
1800.07/1800.72 c primal LP : 0.00 0 0 0.00 -
1800.07/1800.72 c dual LP : 0.00 0 0 0.00 -
1800.07/1800.72 c lex dual LP : 0.00 0 0 0.00 -
1800.07/1800.72 c barrier LP : 0.00 0 0 0.00 -
1800.07/1800.72 c diving/probing LP: 0.00 0 0 0.00 -
1800.07/1800.72 c strong branching : 0.00 0 0 0.00 -
1800.07/1800.72 c (at root node) : - 0 0 0.00 -
1800.07/1800.72 c conflict analysis: 0.00 0 0 0.00 -
1800.07/1800.72 c B&B Tree :
1800.07/1800.72 c number of runs : 1
1800.07/1800.72 c nodes : 5821571
1800.07/1800.72 c nodes (total) : 5821571
1800.07/1800.72 c nodes left : 32
1800.07/1800.72 c max depth : 132
1800.07/1800.72 c max depth (total): 132
1800.07/1800.72 c backtracks : 1853609 (31.8%)
1800.07/1800.72 c delayed cutoffs : 1854735
1800.07/1800.72 c repropagations : 5889400 (100833696 domain reductions, 1852022 cutoffs)
1800.07/1800.72 c avg switch length: 2.71
1800.07/1800.72 c switching time : 245.93
1800.07/1800.72 c Solution :
1800.07/1800.72 c Solutions found : 1 (1 improvements)
1800.07/1800.72 c First Solution : +1.32700000000000e+03 (in run 1, after 144 nodes, 0.23 seconds, depth 132, found by <relaxation>)
1800.07/1800.72 c Primal Bound : +1.32700000000000e+03 (in run 1, after 144 nodes, 0.23 seconds, depth 132, found by <relaxation>)
1800.07/1800.72 c Dual Bound : +1.29100000000000e+03
1800.07/1800.72 c Gap : 2.79 %
1800.07/1800.72 c Root Dual Bound : +1.29100000000000e+03
1800.07/1800.72 c Root Iterations : 0
1800.07/1800.74 c Time complete: 1800.11.