0.00/0.00 c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Clp 1.11.1] [Expressions interpreter: NONE]
0.00/0.00 c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c user parameter file <scip.set> not found - using default parameters
0.00/0.00 c reading problem <HOME/instance-2665582-1276420199.opb>
0.07/0.09 c original problem has 1152 variables (1152 bin, 0 int, 0 impl, 0 cont) and 4664 constraints
0.07/0.09 c problem read
0.07/0.09 c presolving settings loaded
0.09/0.11 c presolving:
0.09/0.14 c (round 1) 12 del vars, 12 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 29688 impls, 0 clqs
0.09/0.20 c (round 2) 12 del vars, 24 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 4160 upgd conss, 29688 impls, 0 clqs
0.19/0.22 c (round 3) 12 del vars, 24 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 4640 upgd conss, 29688 impls, 0 clqs
0.19/0.29 c (0.2s) probing: 101/1140 (8.9%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.19/0.29 c (0.2s) probing aborted: 100/100 successive totally useless probings
0.19/0.29 c presolving (4 rounds):
0.19/0.29 c 12 deleted vars, 24 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.19/0.29 c 29688 implications, 0 cliques
0.19/0.29 c presolved problem has 1140 variables (1140 bin, 0 int, 0 impl, 0 cont) and 4640 constraints
0.19/0.29 c 4640 constraints of type <logicor>
0.19/0.29 c transformed objective value is always integral (scale: 1)
0.19/0.29 c Presolving Time: 0.15
0.19/0.29 c - non default parameters ----------------------------------------------------------------------
0.19/0.29 c # SCIP version 1.2.1.2
0.19/0.29 c
0.19/0.29 c # maximal number of intermediate conflict constraints generated in conflict graph (-1: use every intermediate constraint)
0.19/0.29 c # [type: int, range: [-1,2147483647], default: -1]
0.19/0.29 c conflict/interconss = 0
0.19/0.29 c
0.19/0.29 c # should binary conflicts be preferred?
0.19/0.29 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.19/0.29 c conflict/preferbinary = TRUE
0.19/0.29 c
0.19/0.29 c # maximum age an unnecessary constraint can reach before it is deleted (0: dynamic, -1: keep all constraints)
0.19/0.29 c # [type: int, range: [-1,2147483647], default: 0]
0.19/0.29 c constraints/agelimit = 1
0.19/0.29 c
0.19/0.29 c # should enforcement of pseudo solution be disabled?
0.19/0.29 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.19/0.29 c constraints/disableenfops = TRUE
0.19/0.29 c
0.19/0.29 c # frequency for displaying node information lines
0.19/0.29 c # [type: int, range: [-1,2147483647], default: 100]
0.19/0.29 c display/freq = 10000
0.19/0.29 c
0.19/0.29 c # maximal time in seconds to run
0.19/0.29 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.19/0.29 c limits/time = 1799.92
0.19/0.29 c
0.19/0.29 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.19/0.29 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.19/0.29 c limits/memory = 1620
0.19/0.29 c
0.19/0.29 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.19/0.29 c # [type: int, range: [-1,2147483647], default: 1]
0.19/0.29 c lp/solvefreq = 0
0.19/0.29 c
0.19/0.29 c # LP pricing strategy ('l'pi default, 'a'uto, 'f'ull pricing, 'p'artial, 's'teepest edge pricing, 'q'uickstart steepest edge pricing, 'd'evex pricing)
0.19/0.29 c # [type: char, range: {lafpsqd}, default: l]
0.19/0.29 c lp/pricing = a
0.19/0.29 c
0.19/0.29 c # should presolving try to simplify inequalities
0.19/0.29 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.19/0.29 c constraints/linear/simplifyinequalities = TRUE
0.19/0.29 c
0.19/0.29 c # should presolving try to simplify knapsacks
0.19/0.29 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.19/0.29 c constraints/knapsack/simplifyinequalities = TRUE
0.19/0.29 c
0.19/0.29 c # priority of node selection rule <dfs> in standard mode
0.19/0.29 c # [type: int, range: [-536870912,536870911], default: 0]
0.19/0.29 c nodeselection/dfs/stdpriority = 1000000
0.19/0.29 c
0.19/0.29 c -----------------------------------------------------------------------------------------------
0.19/0.29 c start solving
0.29/0.30 c
0.39/0.46 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.39/0.46 c 0.3s| 1 | 0 | 1042 | - |9055k| 0 | 820 |1140 |4640 |1140 |4640 | 0 | 0 | 0 | 2.345000e+02 | -- | Inf
0.69/0.73 c 0.5s| 1 | 0 | 1115 | - |9137k| 0 | 816 |1140 |4640 |1140 |4647 | 7 | 0 | 0 | 2.396250e+02 | -- | Inf
0.89/0.92 c 0.7s| 1 | 0 | 1218 | - |9170k| 0 | 815 |1140 |4640 |1140 |4656 | 16 | 0 | 0 | 2.440625e+02 | -- | Inf
1.10/1.11 c 0.9s| 1 | 0 | 1314 | - |9240k| 0 | 812 |1140 |4640 |1140 |4665 | 25 | 0 | 0 | 2.475625e+02 | -- | Inf
1.29/1.30 c 1.1s| 1 | 0 | 1477 | - |9291k| 0 | 810 |1140 |4640 |1140 |4677 | 37 | 0 | 0 | 2.517143e+02 | -- | Inf
1.49/1.51 c 1.3s| 1 | 0 | 1641 | - |9347k| 0 | 807 |1140 |4640 |1140 |4685 | 45 | 0 | 0 | 2.557589e+02 | -- | Inf
1.69/1.75 c 1.5s| 1 | 0 | 1878 | - |9402k| 0 | 802 |1140 |4640 |1140 |4696 | 56 | 0 | 0 | 2.597946e+02 | -- | Inf
1.99/2.01 c 1.8s| 1 | 0 | 2095 | - |9481k| 0 | 798 |1140 |4640 |1140 |4706 | 66 | 0 | 0 | 2.635750e+02 | -- | Inf
2.20/2.25 c 2.0s| 1 | 0 | 2318 | - |9556k| 0 | 800 |1140 |4640 |1140 |4719 | 79 | 0 | 0 | 2.669512e+02 | -- | Inf
2.49/2.53 c 2.3s| 1 | 0 | 2579 | - |9727k| 0 | 802 |1140 |4640 |1140 |4730 | 90 | 0 | 0 | 2.688238e+02 | -- | Inf
2.89/2.91 c 2.7s| 1 | 0 | 3169 | - |9890k| 0 | 792 |1140 |4640 |1140 |4740 | 100 | 0 | 0 | 2.726500e+02 | -- | Inf
3.09/3.15 c 2.9s| 1 | 0 | 3524 | - | 10M| 0 | 798 |1140 |4640 |1140 |4754 | 115 | 0 | 0 | 2.746825e+02 | -- | Inf
3.39/3.44 c 3.2s| 1 | 0 | 3915 | - | 10M| 0 | 805 |1140 |4640 |1140 |4764 | 125 | 0 | 0 | 2.764105e+02 | -- | Inf
3.70/3.70 c 3.5s| 1 | 0 | 4291 | - | 10M| 0 | 809 |1140 |4640 |1140 |4777 | 138 | 0 | 0 | 2.775898e+02 | -- | Inf
3.99/4.07 c 3.8s| 1 | 0 | 4883 | - | 10M| 0 | 803 |1140 |4640 |1140 |4790 | 151 | 0 | 0 | 2.793666e+02 | -- | Inf
4.30/4.38 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
4.30/4.38 c 4.1s| 1 | 0 | 5298 | - | 11M| 0 | 814 |1140 |4640 |1140 |4801 | 162 | 0 | 0 | 2.800643e+02 | -- | Inf
4.69/4.76 c 4.5s| 1 | 0 | 5683 | - | 11M| 0 | 805 |1140 |4640 |1140 |4815 | 176 | 0 | 0 | 2.808642e+02 | -- | Inf
5.09/5.19 c 4.9s| 1 | 0 | 6298 | - | 11M| 0 | 805 |1140 |4640 |1140 |4812 | 189 | 0 | 0 | 2.815887e+02 | -- | Inf
5.50/5.54 c 5.3s| 1 | 0 | 6696 | - | 11M| 0 | 812 |1140 |4640 |1140 |4821 | 198 | 0 | 0 | 2.822354e+02 | -- | Inf
5.99/6.07 c 5.8s| 1 | 0 | 7144 | - | 12M| 0 | 810 |1140 |4640 |1140 |4828 | 205 | 0 | 0 | 2.827802e+02 | -- | Inf
6.50/6.59 c 6.3s| 1 | 0 | 7528 | - | 12M| 0 | 816 |1140 |4640 |1140 |4837 | 214 | 0 | 0 | 2.830948e+02 | -- | Inf
6.99/7.07 c 6.8s| 1 | 0 | 7752 | - | 12M| 0 | 809 |1140 |4640 |1140 |4845 | 222 | 0 | 0 | 2.832389e+02 | -- | Inf
7.49/7.53 c 7.2s| 1 | 0 | 7844 | - | 12M| 0 | 808 |1140 |4640 |1140 |4848 | 225 | 0 | 0 | 2.833077e+02 | -- | Inf
7.98/8.01 c 7.7s| 1 | 0 | 8009 | - | 12M| 0 | 814 |1140 |4640 |1140 |4826 | 229 | 0 | 0 | 2.834078e+02 | -- | Inf
8.39/8.47 c 8.2s| 1 | 0 | 8089 | - | 12M| 0 | 817 |1140 |4640 |1140 |4830 | 233 | 0 | 0 | 2.834635e+02 | -- | Inf
11.08/11.19 c 10.8s| 1 | 2 | 8089 | - | 12M| 0 | 817 |1140 |4640 |1140 |4830 | 233 | 0 | 20 | 2.834635e+02 | -- | Inf
11.19/11.29 o 522
11.19/11.29 c *10.9s| 202 | 109 | 8089 | 0.0 | 12M| 158 | - |1140 |4644 | 0 | 0 | 233 | 33 | 20 | 2.836520e+02 | 5.220000e+02 | 84.03%
11.29/11.31 o 521
11.29/11.31 c *10.9s| 258 | 107 | 8089 | 0.0 | 12M| 158 | - |1140 |4644 | 0 | 0 | 233 | 36 | 20 | 2.836520e+02 | 5.210000e+02 | 83.68%
11.29/11.34 o 520
11.29/11.34 c *10.9s| 344 | 105 | 8089 | 0.0 | 12M| 158 | - |1140 |4646 | 0 | 0 | 233 | 40 | 20 | 2.836520e+02 | 5.200000e+02 | 83.32%
11.49/11.58 o 519
11.49/11.58 c *11.2s| 1292 | 103 | 8089 | 0.0 | 12M| 158 | - |1140 |4646 | 0 | 0 | 233 | 51 | 20 | 2.836520e+02 | 5.190000e+02 | 82.97%
11.59/11.61 o 518
11.59/11.61 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
11.59/11.61 c *11.2s| 1377 | 105 | 8089 | 0.0 | 12M| 158 | - |1140 |4647 | 0 | 0 | 233 | 53 | 20 | 2.836520e+02 | 5.180000e+02 | 82.62%
11.59/11.66 o 517
11.59/11.66 c *11.2s| 1627 | 104 | 8089 | 0.0 | 12M| 158 | - |1140 |4647 | 0 | 0 | 233 | 54 | 20 | 2.836520e+02 | 5.170000e+02 | 82.27%
13.69/13.73 c 13.2s| 10000 | 100 | 8089 | 0.0 | 12M| 158 | - |1140 |4647 | 0 | 0 | 233 | 163 | 20 | 2.836520e+02 | 5.170000e+02 | 82.27%
15.48/15.55 o 516
15.48/15.55 c *14.9s| 16976 | 104 | 8089 | 0.0 | 12M| 158 | - |1140 |4646 | 0 | 0 | 233 | 282 | 20 | 2.836520e+02 | 5.160000e+02 | 81.91%
16.28/16.30 c 15.6s| 20000 | 99 | 8089 | 0.0 | 12M| 158 | - |1140 |4648 | 0 | 0 | 233 | 310 | 20 | 2.836520e+02 | 5.160000e+02 | 81.91%
16.28/16.36 o 515
16.28/16.36 c *15.6s| 20179 | 102 | 8089 | 0.0 | 12M| 158 | - |1140 |4650 | 0 | 0 | 233 | 318 | 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
18.88/18.94 c 18.1s| 30000 | 101 | 8089 | 0.0 | 12M| 158 | - |1140 |4646 | 0 | 0 | 233 | 404 | 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
21.58/21.60 c 20.6s| 40000 | 101 | 8089 | 0.0 | 12M| 158 | - |1140 |4648 | 0 | 0 | 233 | 507 | 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
24.09/24.15 c 23.0s| 50000 | 99 | 8089 | 0.0 | 12M| 158 | - |1140 |4647 | 0 | 0 | 233 | 604 | 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
27.08/27.13 c 25.8s| 60000 | 96 | 8089 | 0.0 | 12M| 158 | - |1140 |4652 | 0 | 0 | 233 |1004 | 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
29.88/29.90 c 28.4s| 70000 | 98 | 8089 | 0.0 | 12M| 158 | - |1140 |4652 | 0 | 0 | 233 |1254 | 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
32.38/32.48 c 30.8s| 80000 | 100 | 8089 | 0.0 | 12M| 158 | - |1140 |4647 | 0 | 0 | 233 |1379 | 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
35.38/35.48 c 33.7s| 90000 | 98 | 8089 | 0.0 | 12M| 158 | - |1140 |4658 | 0 | 0 | 233 |1858 | 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
38.17/38.26 c 36.3s|100000 | 97 | 8089 | 0.0 | 12M| 158 | - |1140 |4653 | 0 | 0 | 233 |2093 | 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
40.78/40.86 c 38.7s|110000 | 98 | 8089 | 0.0 | 12M| 158 | - |1140 |4646 | 0 | 0 | 233 |2200 | 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
43.37/43.44 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
43.37/43.44 c 41.1s|120000 | 98 | 8089 | 0.0 | 12M| 158 | - |1140 |4646 | 0 | 0 | 233 |2326 | 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
45.87/45.99 c 43.5s|130000 | 99 | 8089 | 0.0 | 12M| 158 | - |1140 |4648 | 0 | 0 | 233 |2437 | 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
48.39/48.47 c 45.9s|140000 | 97 | 8089 | 0.0 | 12M| 158 | - |1140 |4648 | 0 | 0 | 233 |2529 | 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
50.97/51.03 c 48.3s|150000 | 98 | 8089 | 0.0 | 12M| 158 | - |1140 |4651 | 0 | 0 | 233 |2639 | 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
53.58/53.67 c 50.8s|160000 | 100 | 8089 | 0.0 | 12M| 158 | - |1140 |4653 | 0 | 0 | 233 |2796 | 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
56.37/56.46 c 53.4s|170000 | 99 | 8089 | 0.0 | 12M| 158 | - |1140 |4653 | 0 | 0 | 233 |3059 | 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
59.38/59.43 c 56.2s|180000 | 98 | 8089 | 0.0 | 12M| 158 | - |1140 |4651 | 0 | 0 | 233 |3472 | 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
62.87/62.96 c 59.5s|190000 | 96 | 8089 | 0.0 | 12M| 158 | - |1140 |4664 | 0 | 0 | 233 |4491 | 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
66.07/66.14 c 62.6s|200000 | 98 | 8089 | 0.0 | 12M| 158 | - |1140 |4659 | 0 | 0 | 233 |5233 | 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
69.28/69.39 c 65.7s|210000 | 98 | 8089 | 0.0 | 12M| 158 | - |1140 |4657 | 0 | 0 | 233 |6043 | 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
72.27/72.36 c 68.5s|220000 | 101 | 8089 | 0.0 | 12M| 158 | - |1140 |4657 | 0 | 0 | 233 |6721 | 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
74.87/74.92 c 70.9s|230000 | 100 | 8089 | 0.0 | 12M| 158 | - |1140 |4651 | 0 | 0 | 233 |6927 | 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
77.57/77.68 c 73.5s|240000 | 95 | 8089 | 0.0 | 12M| 158 | - |1140 |4652 | 0 | 0 | 233 |7339 | 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
80.76/80.80 c 76.5s|250000 | 98 | 8089 | 0.0 | 12M| 158 | - |1140 |4649 | 0 | 0 | 233 |8024 | 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
83.57/83.66 c 79.2s|260000 | 98 | 8089 | 0.0 | 12M| 158 | - |1140 |4655 | 0 | 0 | 233 |8484 | 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
86.26/86.38 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
86.26/86.38 c 81.8s|270000 | 97 | 8089 | 0.0 | 12M| 158 | - |1140 |4661 | 0 | 0 | 233 |8807 | 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
89.17/89.29 c 84.6s|280000 | 95 | 8089 | 0.0 | 12M| 158 | - |1140 |4656 | 0 | 0 | 233 |9318 | 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
91.66/91.79 c 86.9s|290000 | 94 | 8089 | 0.0 | 12M| 158 | - |1140 |4661 | 0 | 0 | 233 |9546 | 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
94.66/94.71 c 89.7s|300000 | 94 | 8089 | 0.0 | 12M| 158 | - |1140 |4652 | 0 | 0 | 233 |9992 | 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
97.25/97.31 c 92.1s|310000 | 96 | 8089 | 0.0 | 12M| 158 | - |1140 |4651 | 0 | 0 | 233 | 10k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
100.26/100.35 c 95.0s|320000 | 93 | 8089 | 0.0 | 12M| 158 | - |1140 |4656 | 0 | 0 | 233 | 10k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
103.55/103.66 c 98.2s|330000 | 96 | 8089 | 0.0 | 12M| 158 | - |1140 |4658 | 0 | 0 | 233 | 11k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
107.06/107.18 c 102s|340000 | 96 | 8089 | 0.0 | 12M| 158 | - |1140 |4660 | 0 | 0 | 233 | 12k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
110.86/110.98 c 105s|350000 | 98 | 8089 | 0.0 | 12M| 158 | - |1140 |4658 | 0 | 0 | 233 | 13k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
114.65/114.75 c 109s|360000 | 96 | 8089 | 0.0 | 12M| 158 | - |1140 |4665 | 0 | 0 | 233 | 15k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
118.35/118.44 c 112s|370000 | 96 | 8089 | 0.0 | 12M| 158 | - |1140 |4661 | 0 | 0 | 233 | 16k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
122.05/122.15 c 116s|380000 | 100 | 8089 | 0.0 | 12M| 158 | - |1140 |4662 | 0 | 0 | 233 | 17k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
125.26/125.34 c 119s|390000 | 94 | 8089 | 0.0 | 12M| 158 | - |1140 |4667 | 0 | 0 | 233 | 18k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
127.95/128.01 c 121s|400000 | 101 | 8089 | 0.0 | 12M| 158 | - |1140 |4649 | 0 | 0 | 233 | 18k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
130.86/130.97 c 124s|410000 | 101 | 8089 | 0.0 | 12M| 158 | - |1140 |4655 | 0 | 0 | 233 | 18k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
133.75/133.83 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
133.75/133.83 c 127s|420000 | 100 | 8089 | 0.0 | 12M| 158 | - |1140 |4647 | 0 | 0 | 233 | 19k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
136.35/136.43 c 129s|430000 | 100 | 8089 | 0.0 | 12M| 158 | - |1140 |4651 | 0 | 0 | 233 | 19k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
139.05/139.12 c 132s|440000 | 95 | 8089 | 0.0 | 12M| 158 | - |1140 |4654 | 0 | 0 | 233 | 19k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
141.65/141.79 c 134s|450000 | 99 | 8089 | 0.0 | 12M| 158 | - |1140 |4647 | 0 | 0 | 233 | 19k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
144.24/144.39 c 137s|460000 | 98 | 8089 | 0.0 | 12M| 158 | - |1140 |4651 | 0 | 0 | 233 | 20k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
146.74/146.89 c 139s|470000 | 95 | 8089 | 0.0 | 12M| 158 | - |1140 |4652 | 0 | 0 | 233 | 20k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
149.35/149.44 c 141s|480000 | 96 | 8089 | 0.0 | 12M| 158 | - |1140 |4648 | 0 | 0 | 233 | 20k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
151.84/151.90 c 144s|490000 | 98 | 8089 | 0.0 | 12M| 158 | - |1140 |4649 | 0 | 0 | 233 | 20k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
154.54/154.60 c 146s|500000 | 99 | 8089 | 0.0 | 12M| 158 | - |1140 |4648 | 0 | 0 | 233 | 20k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
157.15/157.24 c 149s|510000 | 98 | 8089 | 0.0 | 12M| 158 | - |1140 |4650 | 0 | 0 | 233 | 20k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
159.74/159.84 c 151s|520000 | 100 | 8089 | 0.0 | 12M| 158 | - |1140 |4648 | 0 | 0 | 233 | 21k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
162.43/162.56 c 154s|530000 | 100 | 8089 | 0.0 | 12M| 158 | - |1140 |4653 | 0 | 0 | 233 | 21k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
165.13/165.26 c 156s|540000 | 97 | 8089 | 0.0 | 12M| 158 | - |1140 |4649 | 0 | 0 | 233 | 21k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
168.04/168.17 c 159s|550000 | 95 | 8089 | 0.0 | 12M| 158 | - |1140 |4651 | 0 | 0 | 233 | 22k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
170.73/170.88 c 162s|560000 | 95 | 8089 | 0.0 | 12M| 158 | - |1140 |4652 | 0 | 0 | 233 | 22k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
173.53/173.69 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
173.53/173.69 c 164s|570000 | 94 | 8089 | 0.0 | 12M| 158 | - |1140 |4657 | 0 | 0 | 233 | 22k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
176.54/176.64 c 167s|580000 | 101 | 8089 | 0.0 | 12M| 158 | - |1140 |4647 | 0 | 0 | 233 | 23k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
179.33/179.49 c 170s|590000 | 98 | 8089 | 0.0 | 12M| 158 | - |1140 |4649 | 0 | 0 | 233 | 23k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
182.13/182.27 c 172s|600000 | 94 | 8089 | 0.0 | 12M| 158 | - |1140 |4650 | 0 | 0 | 233 | 23k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
184.93/185.02 c 175s|610000 | 97 | 8089 | 0.0 | 12M| 158 | - |1140 |4648 | 0 | 0 | 233 | 24k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
187.83/187.93 c 178s|620000 | 97 | 8089 | 0.0 | 12M| 158 | - |1140 |4654 | 0 | 0 | 233 | 24k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
190.82/190.95 c 181s|630000 | 96 | 8089 | 0.0 | 12M| 158 | - |1140 |4652 | 0 | 0 | 233 | 24k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
193.73/193.85 c 183s|640000 | 97 | 8089 | 0.0 | 12M| 158 | - |1140 |4654 | 0 | 0 | 233 | 25k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
196.53/196.61 c 186s|650000 | 94 | 8089 | 0.0 | 12M| 158 | - |1140 |4652 | 0 | 0 | 233 | 25k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
199.53/199.61 c 189s|660000 | 95 | 8089 | 0.0 | 12M| 158 | - |1140 |4651 | 0 | 0 | 233 | 26k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
202.12/202.27 c 191s|670000 | 96 | 8089 | 0.0 | 12M| 158 | - |1140 |4652 | 0 | 0 | 233 | 26k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
204.62/204.73 c 194s|680000 | 97 | 8089 | 0.0 | 12M| 158 | - |1140 |4651 | 0 | 0 | 233 | 26k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
207.52/207.65 c 196s|690000 | 95 | 8089 | 0.0 | 12M| 158 | - |1140 |4652 | 0 | 0 | 233 | 27k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
210.72/210.85 c 199s|700000 | 96 | 8089 | 0.0 | 12M| 158 | - |1140 |4659 | 0 | 0 | 233 | 27k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
214.22/214.35 c 203s|710000 | 97 | 8089 | 0.0 | 12M| 158 | - |1140 |4648 | 0 | 0 | 233 | 28k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
217.02/217.18 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
217.02/217.18 c 205s|720000 | 97 | 8089 | 0.0 | 12M| 158 | - |1140 |4650 | 0 | 0 | 233 | 29k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
219.83/219.94 c 208s|730000 | 99 | 8089 | 0.0 | 12M| 158 | - |1140 |4649 | 0 | 0 | 233 | 29k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
222.62/222.78 c 211s|740000 | 97 | 8089 | 0.0 | 12M| 158 | - |1140 |4651 | 0 | 0 | 233 | 29k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
225.43/225.58 c 213s|750000 | 95 | 8089 | 0.0 | 12M| 158 | - |1140 |4650 | 0 | 0 | 233 | 30k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
228.21/228.33 c 216s|760000 | 99 | 8089 | 0.0 | 12M| 158 | - |1140 |4648 | 0 | 0 | 233 | 30k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
230.82/230.92 c 218s|770000 | 92 | 8089 | 0.0 | 12M| 158 | - |1140 |4650 | 0 | 0 | 233 | 30k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
233.41/233.60 c 221s|780000 | 94 | 8089 | 0.0 | 12M| 158 | - |1140 |4648 | 0 | 0 | 233 | 30k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
236.42/236.57 c 224s|790000 | 95 | 8089 | 0.0 | 12M| 158 | - |1140 |4649 | 0 | 0 | 233 | 31k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
239.11/239.27 c 226s|800000 | 94 | 8089 | 0.0 | 12M| 158 | - |1140 |4650 | 0 | 0 | 233 | 31k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
241.71/241.84 c 229s|810000 | 94 | 8089 | 0.0 | 12M| 158 | - |1140 |4649 | 0 | 0 | 233 | 31k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
244.41/244.50 c 231s|820000 | 99 | 8089 | 0.0 | 12M| 158 | - |1140 |4649 | 0 | 0 | 233 | 32k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
247.11/247.21 c 234s|830000 | 96 | 8089 | 0.0 | 12M| 158 | - |1140 |4646 | 0 | 0 | 233 | 32k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
249.62/249.75 c 236s|840000 | 99 | 8089 | 0.0 | 12M| 158 | - |1140 |4646 | 0 | 0 | 233 | 32k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
252.20/252.32 c 239s|850000 | 101 | 8089 | 0.0 | 12M| 158 | - |1140 |4646 | 0 | 0 | 233 | 32k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
254.71/254.84 c 241s|860000 | 103 | 8089 | 0.0 | 12M| 158 | - |1140 |4651 | 0 | 0 | 233 | 33k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
257.11/257.23 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
257.11/257.23 c 243s|870000 | 94 | 8089 | 0.0 | 12M| 158 | - |1140 |4649 | 0 | 0 | 233 | 33k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
259.51/259.62 c 245s|880000 | 94 | 8089 | 0.0 | 12M| 158 | - |1140 |4646 | 0 | 0 | 233 | 33k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
262.00/262.15 c 248s|890000 | 97 | 8089 | 0.0 | 12M| 158 | - |1140 |4652 | 0 | 0 | 233 | 33k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
264.80/264.96 c 250s|900000 | 95 | 8089 | 0.0 | 12M| 158 | - |1140 |4648 | 0 | 0 | 233 | 33k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
267.80/267.92 c 253s|910000 | 97 | 8089 | 0.0 | 12M| 158 | - |1140 |4650 | 0 | 0 | 233 | 34k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
270.60/270.79 c 256s|920000 | 94 | 8089 | 0.0 | 12M| 158 | - |1140 |4653 | 0 | 0 | 233 | 34k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
273.70/273.81 c 259s|930000 | 95 | 8089 | 0.0 | 12M| 158 | - |1140 |4655 | 0 | 0 | 233 | 35k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
276.40/276.53 c 261s|940000 | 95 | 8089 | 0.0 | 12M| 158 | - |1140 |4653 | 0 | 0 | 233 | 35k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
279.70/279.87 c 265s|950000 | 92 | 8089 | 0.0 | 12M| 158 | - |1140 |4650 | 0 | 0 | 233 | 36k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
282.51/282.64 c 267s|960000 | 93 | 8089 | 0.0 | 12M| 158 | - |1140 |4654 | 0 | 0 | 233 | 36k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
285.10/285.29 c 270s|970000 | 94 | 8089 | 0.0 | 12M| 158 | - |1140 |4653 | 0 | 0 | 233 | 36k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
288.70/288.82 c 273s|980000 | 95 | 8089 | 0.0 | 12M| 158 | - |1140 |4659 | 0 | 0 | 233 | 37k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
292.40/292.54 c 277s|990000 | 96 | 8089 | 0.0 | 12M| 158 | - |1140 |4652 | 0 | 0 | 233 | 38k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
296.59/296.75 c 281s| 1000k| 94 | 8089 | 0.0 | 12M| 158 | - |1140 |4663 | 0 | 0 | 233 | 40k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
300.10/300.29 c 284s| 1010k| 97 | 8089 | 0.0 | 12M| 158 | - |1140 |4654 | 0 | 0 | 233 | 41k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
303.19/303.33 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
303.19/303.33 c 287s| 1020k| 100 | 8089 | 0.0 | 12M| 158 | - |1140 |4654 | 0 | 0 | 233 | 41k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
305.99/306.19 c 290s| 1030k| 96 | 8089 | 0.0 | 12M| 158 | - |1140 |4653 | 0 | 0 | 233 | 42k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
308.49/308.70 c 292s| 1040k| 97 | 8089 | 0.0 | 12M| 158 | - |1140 |4653 | 0 | 0 | 233 | 42k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
311.10/311.23 c 294s| 1050k| 92 | 8089 | 0.0 | 12M| 158 | - |1140 |4655 | 0 | 0 | 233 | 42k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
313.59/313.75 c 297s| 1060k| 95 | 8089 | 0.0 | 12M| 158 | - |1140 |4653 | 0 | 0 | 233 | 42k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
316.69/316.84 c 300s| 1070k| 99 | 8089 | 0.0 | 12M| 158 | - |1140 |4661 | 0 | 0 | 233 | 43k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
319.89/320.01 c 303s| 1080k| 97 | 8089 | 0.0 | 12M| 158 | - |1140 |4663 | 0 | 0 | 233 | 44k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
322.79/322.90 c 305s| 1090k| 94 | 8089 | 0.0 | 12M| 158 | - |1140 |4659 | 0 | 0 | 233 | 44k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
326.39/326.54 c 309s| 1100k| 93 | 8089 | 0.0 | 12M| 158 | - |1140 |4676 | 0 | 0 | 233 | 45k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
329.68/329.86 c 312s| 1110k| 100 | 8089 | 0.0 | 12M| 158 | - |1140 |4660 | 0 | 0 | 233 | 46k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
333.09/333.24 c 315s| 1120k| 96 | 8089 | 0.0 | 12M| 158 | - |1140 |4659 | 0 | 0 | 233 | 47k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
336.49/336.67 c 318s| 1130k| 99 | 8089 | 0.0 | 12M| 158 | - |1140 |4664 | 0 | 0 | 233 | 48k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
339.78/339.92 c 321s| 1140k| 94 | 8089 | 0.0 | 12M| 158 | - |1140 |4657 | 0 | 0 | 233 | 48k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
343.09/343.22 c 325s| 1150k| 97 | 8089 | 0.0 | 12M| 158 | - |1140 |4664 | 0 | 0 | 233 | 49k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
346.67/346.87 c 328s| 1160k| 92 | 8089 | 0.0 | 12M| 158 | - |1140 |4661 | 0 | 0 | 233 | 50k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
350.18/350.34 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
350.18/350.34 c 331s| 1170k| 93 | 8089 | 0.0 | 12M| 158 | - |1140 |4662 | 0 | 0 | 233 | 51k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
353.98/354.12 c 335s| 1180k| 93 | 8089 | 0.0 | 12M| 158 | - |1140 |4663 | 0 | 0 | 233 | 52k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
357.47/357.61 c 338s| 1190k| 94 | 8089 | 0.0 | 12M| 158 | - |1140 |4668 | 0 | 0 | 233 | 53k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
360.97/361.17 c 342s| 1200k| 92 | 8089 | 0.0 | 12M| 158 | - |1140 |4668 | 0 | 0 | 233 | 54k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
364.07/364.29 c 345s| 1210k| 97 | 8089 | 0.0 | 12M| 158 | - |1140 |4656 | 0 | 0 | 233 | 55k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
367.07/367.25 c 348s| 1220k| 95 | 8089 | 0.0 | 12M| 158 | - |1140 |4655 | 0 | 0 | 233 | 55k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
369.57/369.74 c 350s| 1230k| 98 | 8089 | 0.0 | 12M| 158 | - |1140 |4648 | 0 | 0 | 233 | 55k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
372.47/372.68 c 353s| 1240k| 95 | 8089 | 0.0 | 12M| 158 | - |1140 |4653 | 0 | 0 | 233 | 56k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
375.27/375.48 c 355s| 1250k| 94 | 8089 | 0.0 | 12M| 158 | - |1140 |4650 | 0 | 0 | 233 | 56k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
377.97/378.11 c 358s| 1260k| 95 | 8089 | 0.0 | 12M| 158 | - |1140 |4649 | 0 | 0 | 233 | 56k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
380.77/380.92 c 360s| 1270k| 91 | 8089 | 0.0 | 12M| 158 | - |1140 |4653 | 0 | 0 | 233 | 57k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
384.06/384.26 c 364s| 1280k| 96 | 8089 | 0.0 | 12M| 158 | - |1140 |4655 | 0 | 0 | 233 | 58k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
386.76/386.92 c 366s| 1290k| 96 | 8089 | 0.0 | 12M| 158 | - |1140 |4660 | 0 | 0 | 233 | 58k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
389.17/389.33 c 368s| 1300k| 95 | 8089 | 0.0 | 12M| 158 | - |1140 |4650 | 0 | 0 | 233 | 58k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
391.86/392.08 c 371s| 1310k| 93 | 8089 | 0.0 | 12M| 158 | - |1140 |4654 | 0 | 0 | 233 | 58k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
395.06/395.27 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
395.06/395.27 c 374s| 1320k| 93 | 8089 | 0.0 | 12M| 158 | - |1140 |4651 | 0 | 0 | 233 | 59k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
397.86/398.08 c 377s| 1330k| 99 | 8089 | 0.0 | 12M| 158 | - |1140 |4655 | 0 | 0 | 233 | 59k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
400.45/400.61 c 379s| 1340k| 94 | 8089 | 0.0 | 12M| 158 | - |1140 |4649 | 0 | 0 | 233 | 59k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
402.86/403.06 c 381s| 1350k| 94 | 8089 | 0.0 | 12M| 158 | - |1140 |4649 | 0 | 0 | 233 | 60k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
406.16/406.35 c 384s| 1360k| 95 | 8089 | 0.0 | 12M| 158 | - |1140 |4650 | 0 | 0 | 233 | 60k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
409.75/409.94 c 388s| 1370k| 94 | 8089 | 0.0 | 12M| 158 | - |1140 |4655 | 0 | 0 | 233 | 61k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
412.85/413.04 c 391s| 1380k| 94 | 8089 | 0.0 | 12M| 158 | - |1140 |4657 | 0 | 0 | 233 | 62k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
416.16/416.31 c 394s| 1390k| 95 | 8089 | 0.0 | 12M| 158 | - |1140 |4650 | 0 | 0 | 233 | 63k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
419.45/419.65 c 397s| 1400k| 92 | 8089 | 0.0 | 12M| 158 | - |1140 |4657 | 0 | 0 | 233 | 64k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
422.65/422.83 c 400s| 1410k| 89 | 8089 | 0.0 | 12M| 158 | - |1140 |4663 | 0 | 0 | 233 | 64k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
425.75/425.95 c 403s| 1420k| 90 | 8089 | 0.0 | 12M| 158 | - |1140 |4658 | 0 | 0 | 233 | 65k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
429.96/430.17 c 407s| 1430k| 96 | 8089 | 0.0 | 12M| 158 | - |1140 |4660 | 0 | 0 | 233 | 67k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
433.95/434.15 c 411s| 1440k| 93 | 8089 | 0.0 | 12M| 158 | - |1140 |4650 | 0 | 0 | 233 | 68k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
437.05/437.29 c 414s| 1450k| 91 | 8089 | 0.0 | 12M| 158 | - |1140 |4653 | 0 | 0 | 233 | 69k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
443.34/443.57 c 420s| 1460k| 97 | 8089 | 0.0 | 12M| 158 | - |1140 |4655 | 0 | 0 | 233 | 71k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
446.95/447.15 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
446.95/447.15 c 423s| 1470k| 100 | 8089 | 0.0 | 12M| 158 | - |1140 |4656 | 0 | 0 | 233 | 72k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
450.85/451.07 c 427s| 1480k| 98 | 8089 | 0.0 | 12M| 158 | - |1140 |4655 | 0 | 0 | 233 | 73k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
454.14/454.35 c 430s| 1490k| 94 | 8089 | 0.0 | 12M| 158 | - |1140 |4653 | 0 | 0 | 233 | 74k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
458.14/458.36 c 434s| 1500k| 95 | 8089 | 0.0 | 12M| 158 | - |1140 |4652 | 0 | 0 | 233 | 75k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
461.75/461.92 c 437s| 1510k| 94 | 8089 | 0.0 | 12M| 158 | - |1140 |4654 | 0 | 0 | 233 | 76k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
465.84/466.06 c 441s| 1520k| 97 | 8089 | 0.0 | 12M| 158 | - |1140 |4654 | 0 | 0 | 233 | 78k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
470.54/470.73 c 446s| 1530k| 94 | 8089 | 0.0 | 12M| 158 | - |1140 |4656 | 0 | 0 | 233 | 79k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
474.73/474.91 c 450s| 1540k| 93 | 8089 | 0.0 | 12M| 158 | - |1140 |4651 | 0 | 0 | 233 | 81k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
478.13/478.34 c 453s| 1550k| 92 | 8089 | 0.0 | 12M| 158 | - |1140 |4651 | 0 | 0 | 233 | 82k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
482.13/482.37 c 457s| 1560k| 98 | 8089 | 0.0 | 12M| 158 | - |1140 |4653 | 0 | 0 | 233 | 83k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
485.33/485.53 c 460s| 1570k| 95 | 8089 | 0.0 | 12M| 158 | - |1140 |4653 | 0 | 0 | 233 | 84k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
488.33/488.55 c 463s| 1580k| 91 | 8089 | 0.0 | 12M| 158 | - |1140 |4656 | 0 | 0 | 233 | 84k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
492.33/492.53 c 467s| 1590k| 95 | 8089 | 0.0 | 12M| 158 | - |1140 |4659 | 0 | 0 | 233 | 86k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
496.43/496.66 c 471s| 1600k| 96 | 8089 | 0.0 | 12M| 158 | - |1140 |4663 | 0 | 0 | 233 | 87k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
499.92/500.18 c 474s| 1610k| 97 | 8089 | 0.0 | 12M| 158 | - |1140 |4657 | 0 | 0 | 233 | 88k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
503.02/503.22 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
503.02/503.22 c 477s| 1620k| 98 | 8089 | 0.0 | 12M| 158 | - |1140 |4658 | 0 | 0 | 233 | 88k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
506.02/506.20 c 480s| 1630k| 97 | 8089 | 0.0 | 12M| 158 | - |1140 |4661 | 0 | 0 | 233 | 89k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
509.03/509.23 c 483s| 1640k| 96 | 8089 | 0.0 | 12M| 158 | - |1140 |4657 | 0 | 0 | 233 | 90k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
512.62/512.86 c 486s| 1650k| 97 | 8089 | 0.0 | 12M| 158 | - |1140 |4657 | 0 | 0 | 233 | 91k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
515.82/516.04 c 489s| 1660k| 92 | 8089 | 0.0 | 12M| 158 | - |1140 |4660 | 0 | 0 | 233 | 91k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
518.93/519.18 c 492s| 1670k| 96 | 8089 | 0.0 | 12M| 158 | - |1140 |4660 | 0 | 0 | 233 | 92k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
522.01/522.29 c 495s| 1680k| 95 | 8089 | 0.0 | 12M| 158 | - |1140 |4659 | 0 | 0 | 233 | 93k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
525.12/525.32 c 498s| 1690k| 93 | 8089 | 0.0 | 12M| 158 | - |1140 |4663 | 0 | 0 | 233 | 93k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
528.11/528.33 c 501s| 1700k| 90 | 8089 | 0.0 | 12M| 158 | - |1140 |4661 | 0 | 0 | 233 | 94k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
531.82/532.04 c 504s| 1710k| 96 | 8089 | 0.0 | 12M| 158 | - |1140 |4656 | 0 | 0 | 233 | 95k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
535.22/535.42 c 508s| 1720k| 95 | 8089 | 0.0 | 12M| 158 | - |1140 |4653 | 0 | 0 | 233 | 96k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
539.21/539.40 c 511s| 1730k| 98 | 8089 | 0.0 | 12M| 158 | - |1140 |4661 | 0 | 0 | 233 | 97k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
543.22/543.41 c 515s| 1740k| 94 | 8089 | 0.0 | 12M| 158 | - |1140 |4651 | 0 | 0 | 233 | 99k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
546.81/547.05 c 519s| 1750k| 95 | 8089 | 0.0 | 12M| 158 | - |1140 |4657 | 0 | 0 | 233 | 100k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
550.11/550.35 c 522s| 1760k| 98 | 8089 | 0.0 | 12M| 158 | - |1140 |4656 | 0 | 0 | 233 | 101k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
553.41/553.63 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
553.41/553.63 c 525s| 1770k| 97 | 8089 | 0.0 | 12M| 158 | - |1140 |4651 | 0 | 0 | 233 | 102k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
556.31/556.58 c 528s| 1780k| 95 | 8089 | 0.0 | 12M| 158 | - |1140 |4655 | 0 | 0 | 233 | 102k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
559.61/559.81 c 531s| 1790k| 96 | 8089 | 0.0 | 12M| 158 | - |1140 |4651 | 0 | 0 | 233 | 103k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
563.50/563.73 c 535s| 1800k| 100 | 8089 | 0.0 | 12M| 158 | - |1140 |4661 | 0 | 0 | 233 | 104k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
566.90/567.15 c 538s| 1810k| 92 | 8089 | 0.0 | 12M| 158 | - |1140 |4659 | 0 | 0 | 233 | 105k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
570.20/570.49 c 541s| 1820k| 91 | 8089 | 0.0 | 12M| 158 | - |1140 |4659 | 0 | 0 | 233 | 106k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
573.50/573.76 c 544s| 1830k| 91 | 8089 | 0.0 | 12M| 158 | - |1140 |4662 | 0 | 0 | 233 | 107k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
577.30/577.60 c 548s| 1840k| 95 | 8089 | 0.0 | 12M| 158 | - |1140 |4658 | 0 | 0 | 233 | 108k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
580.29/580.56 c 551s| 1850k| 95 | 8089 | 0.0 | 12M| 158 | - |1140 |4658 | 0 | 0 | 233 | 109k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
583.40/583.69 c 554s| 1860k| 97 | 8089 | 0.0 | 12M| 158 | - |1140 |4656 | 0 | 0 | 233 | 110k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
586.60/586.88 c 557s| 1870k| 92 | 8089 | 0.0 | 12M| 158 | - |1140 |4652 | 0 | 0 | 233 | 111k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
590.51/590.74 c 560s| 1880k| 94 | 8089 | 0.0 | 12M| 158 | - |1140 |4661 | 0 | 0 | 233 | 112k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
595.50/595.70 c 565s| 1890k| 96 | 8089 | 0.0 | 12M| 158 | - |1140 |4664 | 0 | 0 | 233 | 114k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
599.09/599.32 c 568s| 1900k| 93 | 8089 | 0.0 | 12M| 158 | - |1140 |4667 | 0 | 0 | 233 | 115k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
602.89/603.17 c 572s| 1910k| 94 | 8089 | 0.0 | 12M| 158 | - |1140 |4662 | 0 | 0 | 233 | 117k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
606.49/606.73 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
606.49/606.73 c 576s| 1920k| 96 | 8089 | 0.0 | 12M| 158 | - |1140 |4659 | 0 | 0 | 233 | 118k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
609.68/609.96 c 579s| 1930k| 97 | 8089 | 0.0 | 12M| 158 | - |1140 |4659 | 0 | 0 | 233 | 118k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
612.78/613.07 c 582s| 1940k| 98 | 8089 | 0.0 | 12M| 158 | - |1140 |4663 | 0 | 0 | 233 | 119k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
615.99/616.23 c 585s| 1950k| 93 | 8089 | 0.0 | 12M| 158 | - |1140 |4663 | 0 | 0 | 233 | 120k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
618.99/619.25 c 587s| 1960k| 96 | 8089 | 0.0 | 12M| 158 | - |1140 |4659 | 0 | 0 | 233 | 120k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
621.79/622.04 c 590s| 1970k| 95 | 8089 | 0.0 | 12M| 158 | - |1140 |4659 | 0 | 0 | 233 | 120k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
625.18/625.42 c 593s| 1980k| 91 | 8089 | 0.0 | 12M| 158 | - |1140 |4661 | 0 | 0 | 233 | 121k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
628.69/628.92 c 597s| 1990k| 96 | 8089 | 0.0 | 12M| 158 | - |1140 |4662 | 0 | 0 | 233 | 122k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
631.98/632.23 c 600s| 2000k| 96 | 8089 | 0.0 | 12M| 158 | - |1140 |4660 | 0 | 0 | 233 | 123k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
635.68/635.99 c 603s| 2010k| 92 | 8089 | 0.0 | 12M| 158 | - |1140 |4668 | 0 | 0 | 233 | 124k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
639.78/640.03 c 607s| 2020k| 92 | 8089 | 0.0 | 12M| 158 | - |1140 |4674 | 0 | 0 | 233 | 126k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
644.08/644.32 c 611s| 2030k| 94 | 8089 | 0.0 | 12M| 158 | - |1140 |4661 | 0 | 0 | 233 | 127k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
648.17/648.45 c 615s| 2040k| 91 | 8089 | 0.0 | 12M| 158 | - |1140 |4667 | 0 | 0 | 233 | 129k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
652.37/652.60 c 619s| 2050k| 96 | 8089 | 0.0 | 12M| 158 | - |1140 |4667 | 0 | 0 | 233 | 130k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
656.57/656.81 c 623s| 2060k| 93 | 8089 | 0.0 | 12M| 158 | - |1140 |4670 | 0 | 0 | 233 | 132k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
660.67/660.95 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
660.67/660.95 c 627s| 2070k| 93 | 8089 | 0.0 | 12M| 158 | - |1140 |4669 | 0 | 0 | 233 | 133k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
664.47/664.79 c 631s| 2080k| 92 | 8089 | 0.0 | 12M| 158 | - |1140 |4667 | 0 | 0 | 233 | 135k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
667.57/667.87 c 634s| 2090k| 94 | 8089 | 0.0 | 12M| 158 | - |1140 |4667 | 0 | 0 | 233 | 135k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
670.67/670.95 c 637s| 2100k| 91 | 8089 | 0.0 | 12M| 158 | - |1140 |4672 | 0 | 0 | 233 | 136k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
673.76/674.04 c 640s| 2110k| 93 | 8089 | 0.0 | 12M| 158 | - |1140 |4667 | 0 | 0 | 233 | 137k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
677.77/678.09 c 644s| 2120k| 95 | 8089 | 0.0 | 12M| 158 | - |1140 |4670 | 0 | 0 | 233 | 138k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
681.67/681.96 c 647s| 2130k| 95 | 8089 | 0.0 | 12M| 158 | - |1140 |4667 | 0 | 0 | 233 | 140k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
685.36/685.63 c 651s| 2140k| 94 | 8089 | 0.0 | 12M| 158 | - |1140 |4675 | 0 | 0 | 233 | 141k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
688.97/689.26 c 654s| 2150k| 96 | 8089 | 0.0 | 12M| 158 | - |1140 |4670 | 0 | 0 | 233 | 142k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
693.06/693.34 c 658s| 2160k| 92 | 8089 | 0.0 | 12M| 158 | - |1140 |4686 | 0 | 0 | 233 | 143k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
696.96/697.25 c 662s| 2170k| 90 | 8089 | 0.0 | 12M| 158 | - |1140 |4684 | 0 | 0 | 233 | 145k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
701.15/701.40 c 666s| 2180k| 96 | 8089 | 0.0 | 12M| 158 | - |1140 |4659 | 0 | 0 | 233 | 146k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
704.56/704.89 c 669s| 2190k| 99 | 8089 | 0.0 | 12M| 158 | - |1140 |4662 | 0 | 0 | 233 | 147k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
707.26/707.54 c 672s| 2200k| 95 | 8089 | 0.0 | 12M| 158 | - |1140 |4665 | 0 | 0 | 233 | 147k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
710.36/710.69 c 675s| 2210k| 94 | 8089 | 0.0 | 12M| 158 | - |1140 |4657 | 0 | 0 | 233 | 148k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
713.45/713.74 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
713.45/713.74 c 678s| 2220k| 95 | 8089 | 0.0 | 12M| 158 | - |1140 |4658 | 0 | 0 | 233 | 148k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
716.55/716.86 c 680s| 2230k| 94 | 8089 | 0.0 | 12M| 158 | - |1140 |4662 | 0 | 0 | 233 | 149k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
720.16/720.50 c 684s| 2240k| 95 | 8089 | 0.0 | 12M| 158 | - |1140 |4672 | 0 | 0 | 233 | 150k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
723.25/723.51 c 687s| 2250k| 99 | 8089 | 0.0 | 12M| 158 | - |1140 |4659 | 0 | 0 | 233 | 151k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
725.76/726.06 c 689s| 2260k| 92 | 8089 | 0.0 | 12M| 158 | - |1140 |4660 | 0 | 0 | 233 | 151k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
728.55/728.89 c 692s| 2270k| 96 | 8089 | 0.0 | 12M| 158 | - |1140 |4669 | 0 | 0 | 233 | 151k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
730.95/731.23 c 694s| 2280k| 92 | 8089 | 0.0 | 12M| 158 | - |1140 |4670 | 0 | 0 | 233 | 152k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
733.55/733.86 c 697s| 2290k| 94 | 8089 | 0.0 | 12M| 158 | - |1140 |4656 | 0 | 0 | 233 | 152k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
736.94/737.22 c 700s| 2300k| 95 | 8089 | 0.0 | 12M| 158 | - |1140 |4661 | 0 | 0 | 233 | 153k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
740.44/740.73 c 703s| 2310k| 95 | 8089 | 0.0 | 12M| 158 | - |1140 |4657 | 0 | 0 | 233 | 154k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
743.05/743.35 c 706s| 2320k| 95 | 8089 | 0.0 | 12M| 158 | - |1140 |4658 | 0 | 0 | 233 | 154k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
745.64/745.97 c 708s| 2330k| 95 | 8089 | 0.0 | 12M| 158 | - |1140 |4655 | 0 | 0 | 233 | 154k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
748.34/748.62 c 711s| 2340k| 98 | 8089 | 0.0 | 12M| 158 | - |1140 |4660 | 0 | 0 | 233 | 154k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
750.84/751.17 c 713s| 2350k| 99 | 8089 | 0.0 | 12M| 158 | - |1140 |4651 | 0 | 0 | 233 | 154k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
753.44/753.79 c 715s| 2360k| 96 | 8089 | 0.0 | 12M| 158 | - |1140 |4655 | 0 | 0 | 233 | 155k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
756.13/756.44 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
756.13/756.44 c 718s| 2370k| 95 | 8089 | 0.0 | 12M| 158 | - |1140 |4653 | 0 | 0 | 233 | 155k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
758.75/759.08 c 720s| 2380k| 93 | 8089 | 0.0 | 12M| 158 | - |1140 |4659 | 0 | 0 | 233 | 155k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
761.74/762.04 c 723s| 2390k| 93 | 8089 | 0.0 | 12M| 158 | - |1140 |4655 | 0 | 0 | 233 | 156k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
764.14/764.48 c 725s| 2400k| 99 | 8089 | 0.0 | 12M| 158 | - |1140 |4651 | 0 | 0 | 233 | 156k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
766.54/766.87 c 728s| 2410k| 95 | 8089 | 0.0 | 12M| 158 | - |1140 |4651 | 0 | 0 | 233 | 156k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
769.13/769.46 c 730s| 2420k| 96 | 8089 | 0.0 | 12M| 158 | - |1140 |4653 | 0 | 0 | 233 | 156k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
771.73/772.05 c 733s| 2430k| 95 | 8089 | 0.0 | 12M| 158 | - |1140 |4651 | 0 | 0 | 233 | 156k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
774.33/774.67 c 735s| 2440k| 92 | 8089 | 0.0 | 12M| 158 | - |1140 |4654 | 0 | 0 | 233 | 156k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
777.83/778.11 c 738s| 2450k| 91 | 8089 | 0.0 | 12M| 158 | - |1140 |4664 | 0 | 0 | 233 | 157k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
781.73/782.10 c 742s| 2460k| 93 | 8089 | 0.0 | 12M| 158 | - |1140 |4663 | 0 | 0 | 233 | 159k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
785.14/785.42 c 745s| 2470k| 96 | 8089 | 0.0 | 12M| 158 | - |1140 |4670 | 0 | 0 | 233 | 159k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
788.53/788.89 c 749s| 2480k| 92 | 8089 | 0.0 | 12M| 158 | - |1140 |4664 | 0 | 0 | 233 | 160k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
791.64/791.94 c 752s| 2490k| 94 | 8089 | 0.0 | 12M| 158 | - |1140 |4668 | 0 | 0 | 233 | 161k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
794.82/795.11 c 754s| 2500k| 93 | 8089 | 0.0 | 12M| 158 | - |1140 |4654 | 0 | 0 | 233 | 162k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
797.92/798.29 c 758s| 2510k| 97 | 8089 | 0.0 | 12M| 158 | - |1140 |4656 | 0 | 0 | 233 | 163k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
800.93/801.20 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
800.93/801.20 c 760s| 2520k| 95 | 8089 | 0.0 | 12M| 158 | - |1140 |4658 | 0 | 0 | 233 | 163k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
803.62/803.91 c 763s| 2530k| 95 | 8089 | 0.0 | 12M| 158 | - |1140 |4658 | 0 | 0 | 233 | 163k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
806.22/806.50 c 765s| 2540k| 95 | 8089 | 0.0 | 12M| 158 | - |1140 |4657 | 0 | 0 | 233 | 164k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
808.83/809.19 c 768s| 2550k| 96 | 8089 | 0.0 | 12M| 158 | - |1140 |4655 | 0 | 0 | 233 | 164k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
811.72/812.04 c 770s| 2560k| 97 | 8089 | 0.0 | 12M| 158 | - |1140 |4657 | 0 | 0 | 233 | 164k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
814.82/815.13 c 773s| 2570k| 91 | 8089 | 0.0 | 12M| 158 | - |1140 |4666 | 0 | 0 | 233 | 165k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
818.72/819.00 c 777s| 2580k| 93 | 8089 | 0.0 | 12M| 158 | - |1140 |4661 | 0 | 0 | 233 | 166k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
822.02/822.35 c 780s| 2590k| 93 | 8089 | 0.0 | 12M| 158 | - |1140 |4663 | 0 | 0 | 233 | 167k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
825.31/825.61 c 783s| 2600k| 93 | 8089 | 0.0 | 12M| 158 | - |1140 |4662 | 0 | 0 | 233 | 167k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
828.51/828.87 c 786s| 2610k| 96 | 8089 | 0.0 | 12M| 158 | - |1140 |4660 | 0 | 0 | 233 | 168k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
831.72/832.09 c 790s| 2620k| 92 | 8089 | 0.0 | 12M| 158 | - |1140 |4671 | 0 | 0 | 233 | 169k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
835.62/835.93 c 793s| 2630k| 98 | 8089 | 0.0 | 12M| 158 | - |1140 |4664 | 0 | 0 | 233 | 170k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
840.12/840.42 c 798s| 2640k| 96 | 8089 | 0.0 | 12M| 158 | - |1140 |4662 | 0 | 0 | 233 | 172k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
844.81/845.10 c 802s| 2650k| 101 | 8089 | 0.0 | 12M| 158 | - |1140 |4659 | 0 | 0 | 233 | 173k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
848.41/848.77 c 806s| 2660k| 95 | 8089 | 0.0 | 12M| 158 | - |1140 |4662 | 0 | 0 | 233 | 175k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
851.41/851.72 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
851.41/851.72 c 808s| 2670k| 90 | 8089 | 0.0 | 12M| 158 | - |1140 |4668 | 0 | 0 | 233 | 175k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
854.60/854.90 c 811s| 2680k| 91 | 8089 | 0.0 | 12M| 158 | - |1140 |4671 | 0 | 0 | 233 | 176k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
858.31/858.65 c 815s| 2690k| 97 | 8089 | 0.0 | 12M| 158 | - |1140 |4667 | 0 | 0 | 233 | 177k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
861.41/861.77 c 818s| 2700k| 90 | 8089 | 0.0 | 12M| 158 | - |1140 |4669 | 0 | 0 | 233 | 178k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
865.80/866.12 c 822s| 2710k| 94 | 8089 | 0.0 | 12M| 158 | - |1140 |4667 | 0 | 0 | 233 | 180k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
869.10/869.43 c 825s| 2720k| 95 | 8089 | 0.0 | 12M| 158 | - |1140 |4675 | 0 | 0 | 233 | 181k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
872.60/872.96 c 829s| 2730k| 92 | 8089 | 0.0 | 12M| 158 | - |1140 |4670 | 0 | 0 | 233 | 182k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
876.41/876.78 c 832s| 2740k| 95 | 8089 | 0.0 | 12M| 158 | - |1140 |4670 | 0 | 0 | 233 | 183k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
880.20/880.52 c 836s| 2750k| 91 | 8089 | 0.0 | 12M| 158 | - |1140 |4673 | 0 | 0 | 233 | 184k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
883.60/883.96 c 839s| 2760k| 92 | 8089 | 0.0 | 12M| 158 | - |1140 |4674 | 0 | 0 | 233 | 185k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
887.00/887.30 c 842s| 2770k| 89 | 8089 | 0.0 | 12M| 158 | - |1140 |4673 | 0 | 0 | 233 | 186k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
890.30/890.69 c 846s| 2780k| 92 | 8089 | 0.0 | 12M| 158 | - |1140 |4672 | 0 | 0 | 233 | 187k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
893.50/893.81 c 848s| 2790k| 91 | 8089 | 0.0 | 12M| 158 | - |1140 |4671 | 0 | 0 | 233 | 188k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
896.39/896.73 c 851s| 2800k| 94 | 8089 | 0.0 | 12M| 158 | - |1140 |4657 | 0 | 0 | 233 | 189k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
899.20/899.58 c 854s| 2810k| 95 | 8089 | 0.0 | 12M| 158 | - |1140 |4657 | 0 | 0 | 233 | 189k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
902.59/902.93 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
902.59/902.93 c 857s| 2820k| 94 | 8089 | 0.0 | 12M| 158 | - |1140 |4661 | 0 | 0 | 233 | 190k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
905.39/905.72 c 860s| 2830k| 96 | 8089 | 0.0 | 12M| 158 | - |1140 |4659 | 0 | 0 | 233 | 191k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
908.09/908.42 c 862s| 2840k| 97 | 8089 | 0.0 | 12M| 158 | - |1140 |4653 | 0 | 0 | 233 | 191k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
910.99/911.32 c 865s| 2850k| 92 | 8089 | 0.0 | 12M| 158 | - |1140 |4657 | 0 | 0 | 233 | 191k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
913.89/914.27 c 868s| 2860k| 94 | 8089 | 0.0 | 12M| 158 | - |1140 |4663 | 0 | 0 | 233 | 192k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
916.88/917.29 c 871s| 2870k| 93 | 8089 | 0.0 | 12M| 158 | - |1140 |4655 | 0 | 0 | 233 | 193k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
919.88/920.22 c 874s| 2880k| 92 | 8089 | 0.0 | 12M| 158 | - |1140 |4661 | 0 | 0 | 233 | 193k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
922.69/923.04 c 876s| 2890k| 92 | 8089 | 0.0 | 12M| 158 | - |1140 |4658 | 0 | 0 | 233 | 194k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
925.48/925.88 c 879s| 2900k| 92 | 8089 | 0.0 | 12M| 158 | - |1140 |4661 | 0 | 0 | 233 | 194k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
928.49/928.88 c 882s| 2910k| 94 | 8089 | 0.0 | 12M| 158 | - |1140 |4666 | 0 | 0 | 233 | 195k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
932.18/932.57 c 885s| 2920k| 96 | 8089 | 0.0 | 12M| 158 | - |1140 |4661 | 0 | 0 | 233 | 196k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
935.88/936.22 c 889s| 2930k| 93 | 8089 | 0.0 | 12M| 158 | - |1140 |4656 | 0 | 0 | 233 | 197k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
939.28/939.61 c 892s| 2940k| 95 | 8089 | 0.0 | 12M| 158 | - |1140 |4656 | 0 | 0 | 233 | 198k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
942.47/942.82 c 895s| 2950k| 95 | 8089 | 0.0 | 12M| 158 | - |1140 |4662 | 0 | 0 | 233 | 199k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
945.58/946.00 c 898s| 2960k| 94 | 8089 | 0.0 | 12M| 158 | - |1140 |4660 | 0 | 0 | 233 | 200k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
948.77/949.17 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
948.77/949.17 c 901s| 2970k| 94 | 8089 | 0.0 | 12M| 158 | - |1140 |4663 | 0 | 0 | 233 | 200k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
951.68/952.05 c 904s| 2980k| 90 | 8089 | 0.0 | 12M| 158 | - |1140 |4658 | 0 | 0 | 233 | 201k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
954.48/954.89 c 906s| 2990k| 95 | 8089 | 0.0 | 12M| 158 | - |1140 |4657 | 0 | 0 | 233 | 201k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
957.67/958.03 c 909s| 3000k| 93 | 8089 | 0.0 | 12M| 158 | - |1140 |4659 | 0 | 0 | 233 | 202k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
960.58/960.92 c 912s| 3010k| 88 | 8089 | 0.0 | 12M| 158 | - |1140 |4660 | 0 | 0 | 233 | 202k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
963.47/963.82 c 915s| 3020k| 94 | 8089 | 0.0 | 12M| 158 | - |1140 |4659 | 0 | 0 | 233 | 203k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
966.48/966.80 c 918s| 3030k| 93 | 8089 | 0.0 | 12M| 158 | - |1140 |4667 | 0 | 0 | 233 | 204k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
969.27/969.69 c 920s| 3040k| 92 | 8089 | 0.0 | 12M| 158 | - |1140 |4660 | 0 | 0 | 233 | 204k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
972.56/972.90 c 924s| 3050k| 92 | 8089 | 0.0 | 12M| 158 | - |1140 |4668 | 0 | 0 | 233 | 205k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
976.07/976.48 c 927s| 3060k| 91 | 8089 | 0.0 | 12M| 158 | - |1140 |4659 | 0 | 0 | 233 | 206k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
980.46/980.82 c 931s| 3070k| 91 | 8089 | 0.0 | 12M| 158 | - |1140 |4664 | 0 | 0 | 233 | 208k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
984.17/984.55 c 935s| 3080k| 95 | 8089 | 0.0 | 12M| 158 | - |1140 |4663 | 0 | 0 | 233 | 209k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
987.57/987.96 c 938s| 3090k| 95 | 8089 | 0.0 | 12M| 158 | - |1140 |4666 | 0 | 0 | 233 | 210k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
991.06/991.43 c 941s| 3100k| 92 | 8089 | 0.0 | 12M| 158 | - |1140 |4667 | 0 | 0 | 233 | 211k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
994.36/994.70 c 944s| 3110k| 91 | 8089 | 0.0 | 12M| 158 | - |1140 |4673 | 0 | 0 | 233 | 212k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
997.56/997.97 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
997.56/997.97 c 947s| 3120k| 94 | 8089 | 0.0 | 12M| 158 | - |1140 |4661 | 0 | 0 | 233 | 213k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
1000.67/1001.07 c 950s| 3130k| 92 | 8089 | 0.0 | 12M| 158 | - |1140 |4666 | 0 | 0 | 233 | 214k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
1003.76/1004.17 c 953s| 3140k| 96 | 8089 | 0.0 | 12M| 158 | - |1140 |4663 | 0 | 0 | 233 | 214k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
1006.85/1007.28 c 956s| 3150k| 93 | 8089 | 0.0 | 12M| 158 | - |1140 |4665 | 0 | 0 | 233 | 215k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
1010.46/1010.82 c 960s| 3160k| 90 | 8089 | 0.0 | 12M| 158 | - |1140 |4673 | 0 | 0 | 233 | 216k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
1014.05/1014.43 c 963s| 3170k| 89 | 8089 | 0.0 | 12M| 158 | - |1140 |4667 | 0 | 0 | 233 | 218k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
1017.56/1017.93 c 966s| 3180k| 89 | 8089 | 0.0 | 12M| 158 | - |1140 |4677 | 0 | 0 | 233 | 219k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
1020.75/1021.18 c 970s| 3190k| 88 | 8089 | 0.0 | 12M| 158 | - |1140 |4680 | 0 | 0 | 233 | 220k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
1024.95/1025.37 c 974s| 3200k| 100 | 8089 | 0.0 | 12M| 158 | - |1140 |4646 | 0 | 0 | 233 | 221k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
1028.45/1028.84 c 977s| 3210k| 102 | 8089 | 0.0 | 12M| 158 | - |1140 |4648 | 0 | 0 | 233 | 222k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
1031.75/1032.13 c 980s| 3220k| 96 | 8089 | 0.0 | 12M| 158 | - |1140 |4649 | 0 | 0 | 233 | 223k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
1034.84/1035.26 c 983s| 3230k| 94 | 8089 | 0.0 | 12M| 158 | - |1140 |4651 | 0 | 0 | 233 | 223k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
1038.74/1039.11 c 987s| 3240k| 99 | 8089 | 0.0 | 12M| 158 | - |1140 |4650 | 0 | 0 | 233 | 225k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
1042.14/1042.57 c 990s| 3250k| 95 | 8089 | 0.0 | 12M| 158 | - |1140 |4650 | 0 | 0 | 233 | 225k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
1044.94/1045.33 c 993s| 3260k| 100 | 8089 | 0.0 | 12M| 158 | - |1140 |4647 | 0 | 0 | 233 | 226k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
1047.44/1047.89 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1047.44/1047.89 c 995s| 3270k| 98 | 8089 | 0.0 | 12M| 158 | - |1140 |4648 | 0 | 0 | 233 | 226k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
1050.15/1050.60 c 998s| 3280k| 93 | 8089 | 0.0 | 12M| 158 | - |1140 |4651 | 0 | 0 | 233 | 226k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
1053.34/1053.72 c 1000s| 3290k| 95 | 8089 | 0.0 | 12M| 158 | - |1140 |4646 | 0 | 0 | 233 | 227k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
1056.24/1056.67 c 1003s| 3300k| 92 | 8089 | 0.0 | 12M| 158 | - |1140 |4648 | 0 | 0 | 233 | 227k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
1059.34/1059.80 c 1006s| 3310k| 97 | 8089 | 0.0 | 12M| 158 | - |1140 |4649 | 0 | 0 | 233 | 228k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
1063.03/1063.45 c 1010s| 3320k| 94 | 8089 | 0.0 | 12M| 158 | - |1140 |4649 | 0 | 0 | 233 | 229k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
1065.94/1066.34 c 1012s| 3330k| 94 | 8089 | 0.0 | 12M| 158 | - |1140 |4650 | 0 | 0 | 233 | 230k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
1069.14/1069.56 c 1015s| 3340k| 97 | 8089 | 0.0 | 12M| 158 | - |1140 |4650 | 0 | 0 | 233 | 230k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
1072.34/1072.73 c 1018s| 3350k| 97 | 8089 | 0.0 | 12M| 158 | - |1140 |4648 | 0 | 0 | 233 | 231k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
1075.83/1076.27 c 1022s| 3360k| 92 | 8089 | 0.0 | 12M| 158 | - |1140 |4651 | 0 | 0 | 233 | 232k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
1079.13/1079.52 c 1025s| 3370k| 92 | 8089 | 0.0 | 12M| 158 | - |1140 |4650 | 0 | 0 | 233 | 233k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
1082.83/1083.21 c 1029s| 3380k| 94 | 8089 | 0.0 | 12M| 158 | - |1140 |4654 | 0 | 0 | 233 | 234k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
1086.33/1086.78 c 1032s| 3390k| 99 | 8089 | 0.0 | 12M| 158 | - |1140 |4648 | 0 | 0 | 233 | 235k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
1089.73/1090.15 c 1035s| 3400k| 91 | 8089 | 0.0 | 12M| 158 | - |1140 |4648 | 0 | 0 | 233 | 236k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
1093.03/1093.41 c 1038s| 3410k| 94 | 8089 | 0.0 | 12M| 158 | - |1140 |4648 | 0 | 0 | 233 | 237k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
1096.23/1096.65 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1096.23/1096.65 c 1041s| 3420k| 93 | 8089 | 0.0 | 12M| 158 | - |1140 |4652 | 0 | 0 | 233 | 238k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
1099.32/1099.78 c 1044s| 3430k| 95 | 8089 | 0.0 | 12M| 158 | - |1140 |4649 | 0 | 0 | 233 | 238k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
1102.13/1102.54 c 1047s| 3440k| 92 | 8089 | 0.0 | 12M| 158 | - |1140 |4650 | 0 | 0 | 233 | 239k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
1104.73/1105.11 c 1049s| 3450k| 96 | 8089 | 0.0 | 12M| 158 | - |1140 |4647 | 0 | 0 | 233 | 239k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
1107.72/1108.16 c 1052s| 3460k| 95 | 8089 | 0.0 | 12M| 158 | - |1140 |4648 | 0 | 0 | 233 | 240k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
1111.12/1111.59 c 1055s| 3470k| 90 | 8089 | 0.0 | 12M| 158 | - |1140 |4652 | 0 | 0 | 233 | 241k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
1115.11/1115.54 c 1059s| 3480k| 92 | 8089 | 0.0 | 12M| 158 | - |1140 |4657 | 0 | 0 | 233 | 242k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
1118.22/1118.64 c 1062s| 3490k| 91 | 8089 | 0.0 | 12M| 158 | - |1140 |4654 | 0 | 0 | 233 | 242k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
1121.22/1121.61 c 1065s| 3500k| 92 | 8089 | 0.0 | 12M| 158 | - |1140 |4649 | 0 | 0 | 233 | 243k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
1125.12/1125.53 c 1069s| 3510k| 97 | 8089 | 0.0 | 12M| 158 | - |1140 |4655 | 0 | 0 | 233 | 244k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
1128.61/1129.05 c 1072s| 3520k| 90 | 8089 | 0.0 | 12M| 158 | - |1140 |4658 | 0 | 0 | 233 | 245k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
1131.91/1132.38 c 1075s| 3530k| 98 | 8089 | 0.0 | 12M| 158 | - |1140 |4654 | 0 | 0 | 233 | 246k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
1135.21/1135.66 c 1078s| 3540k| 98 | 8089 | 0.0 | 12M| 158 | - |1140 |4651 | 0 | 0 | 233 | 247k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
1139.12/1139.58 c 1082s| 3550k| 93 | 8089 | 0.0 | 12M| 158 | - |1140 |4657 | 0 | 0 | 233 | 248k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
1142.01/1142.45 c 1085s| 3560k| 96 | 8089 | 0.0 | 12M| 158 | - |1140 |4649 | 0 | 0 | 233 | 249k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
1144.91/1145.37 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1144.91/1145.37 c 1088s| 3570k| 95 | 8089 | 0.0 | 12M| 158 | - |1140 |4650 | 0 | 0 | 233 | 249k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
1147.51/1147.98 c 1090s| 3580k| 96 | 8089 | 0.0 | 12M| 158 | - |1140 |4650 | 0 | 0 | 233 | 249k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
1150.31/1150.79 c 1093s| 3590k| 91 | 8089 | 0.0 | 12M| 158 | - |1140 |4652 | 0 | 0 | 233 | 250k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
1154.01/1154.40 c 1096s| 3600k| 91 | 8089 | 0.0 | 12M| 158 | - |1140 |4660 | 0 | 0 | 233 | 251k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
1157.11/1157.55 c 1099s| 3610k| 95 | 8089 | 0.0 | 12M| 158 | - |1140 |4648 | 0 | 0 | 233 | 252k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
1159.90/1160.39 c 1102s| 3620k| 91 | 8089 | 0.0 | 12M| 158 | - |1140 |4650 | 0 | 0 | 233 | 252k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
1163.00/1163.41 c 1105s| 3630k| 92 | 8089 | 0.0 | 12M| 158 | - |1140 |4653 | 0 | 0 | 233 | 253k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
1166.30/1166.75 c 1108s| 3640k| 97 | 8089 | 0.0 | 12M| 158 | - |1140 |4649 | 0 | 0 | 233 | 254k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
1168.80/1169.30 c 1110s| 3650k| 93 | 8089 | 0.0 | 12M| 158 | - |1140 |4651 | 0 | 0 | 233 | 254k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
1171.60/1172.05 c 1113s| 3660k| 91 | 8089 | 0.0 | 12M| 158 | - |1140 |4650 | 0 | 0 | 233 | 254k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
1174.60/1175.06 c 1116s| 3670k| 93 | 8089 | 0.0 | 12M| 158 | - |1140 |4654 | 0 | 0 | 233 | 255k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
1179.00/1179.46 c 1120s| 3680k| 92 | 8089 | 0.0 | 12M| 158 | - |1140 |4665 | 0 | 0 | 233 | 256k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
1183.80/1184.24 c 1125s| 3690k| 94 | 8089 | 0.0 | 12M| 158 | - |1140 |4665 | 0 | 0 | 233 | 259k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
1187.90/1188.37 c 1128s| 3700k| 93 | 8089 | 0.0 | 12M| 158 | - |1140 |4655 | 0 | 0 | 233 | 260k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
1191.90/1192.36 c 1132s| 3710k| 90 | 8089 | 0.0 | 12M| 158 | - |1140 |4662 | 0 | 0 | 233 | 262k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
1194.99/1195.41 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1194.99/1195.41 c 1135s| 3720k| 97 | 8089 | 0.0 | 12M| 158 | - |1140 |4656 | 0 | 0 | 233 | 262k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
1198.60/1199.02 c 1139s| 3730k| 94 | 8089 | 0.0 | 12M| 158 | - |1140 |4661 | 0 | 0 | 233 | 263k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
1201.90/1202.39 c 1142s| 3740k| 92 | 8089 | 0.0 | 12M| 158 | - |1140 |4652 | 0 | 0 | 233 | 264k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
1205.09/1205.50 c 1145s| 3750k| 87 | 8089 | 0.0 | 12M| 158 | - |1140 |4658 | 0 | 0 | 233 | 265k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
1208.39/1208.81 c 1148s| 3760k| 93 | 8089 | 0.0 | 12M| 158 | - |1140 |4653 | 0 | 0 | 233 | 266k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
1211.99/1212.44 c 1151s| 3770k| 93 | 8089 | 0.0 | 12M| 158 | - |1140 |4658 | 0 | 0 | 233 | 267k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
1215.39/1215.89 c 1155s| 3780k| 93 | 8089 | 0.0 | 12M| 158 | - |1140 |4659 | 0 | 0 | 233 | 268k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
1218.98/1219.40 c 1158s| 3790k| 89 | 8089 | 0.0 | 12M| 158 | - |1140 |4656 | 0 | 0 | 233 | 269k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
1222.48/1222.99 c 1161s| 3800k| 90 | 8089 | 0.0 | 12M| 158 | - |1140 |4668 | 0 | 0 | 233 | 270k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
1226.78/1227.21 c 1165s| 3810k| 91 | 8089 | 0.0 | 12M| 158 | - |1140 |4652 | 0 | 0 | 233 | 272k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
1230.39/1230.86 c 1169s| 3820k| 93 | 8089 | 0.0 | 12M| 158 | - |1140 |4654 | 0 | 0 | 233 | 273k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
1234.68/1235.19 c 1173s| 3830k| 93 | 8089 | 0.0 | 12M| 158 | - |1140 |4657 | 0 | 0 | 233 | 275k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
1239.78/1240.20 c 1178s| 3840k| 91 | 8089 | 0.0 | 12M| 158 | - |1140 |4652 | 0 | 0 | 233 | 277k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
1244.07/1244.51 c 1182s| 3850k| 93 | 8089 | 0.0 | 12M| 158 | - |1140 |4658 | 0 | 0 | 233 | 279k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
1248.17/1248.63 c 1186s| 3860k| 94 | 8089 | 0.0 | 12M| 158 | - |1140 |4656 | 0 | 0 | 233 | 280k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
1251.97/1252.48 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1251.97/1252.48 c 1190s| 3870k| 94 | 8089 | 0.0 | 12M| 158 | - |1140 |4654 | 0 | 0 | 233 | 281k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
1255.97/1256.47 c 1193s| 3880k| 89 | 8089 | 0.0 | 12M| 158 | - |1140 |4656 | 0 | 0 | 233 | 283k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
1260.08/1260.56 c 1197s| 3890k| 92 | 8089 | 0.0 | 12M| 158 | - |1140 |4658 | 0 | 0 | 233 | 284k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
1264.87/1265.34 c 1202s| 3900k| 96 | 8089 | 0.0 | 12M| 158 | - |1140 |4657 | 0 | 0 | 233 | 286k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
1271.37/1271.80 c 1208s| 3910k| 95 | 8089 | 0.0 | 12M| 158 | - |1140 |4661 | 0 | 0 | 233 | 290k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
1277.06/1277.57 c 1214s| 3920k| 94 | 8089 | 0.0 | 12M| 158 | - |1140 |4664 | 0 | 0 | 233 | 293k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
1282.07/1282.52 c 1219s| 3930k| 92 | 8089 | 0.0 | 12M| 158 | - |1140 |4664 | 0 | 0 | 233 | 295k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
1286.16/1286.60 c 1223s| 3940k| 95 | 8089 | 0.0 | 12M| 158 | - |1140 |4666 | 0 | 0 | 233 | 296k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
1289.67/1290.17 c 1226s| 3950k| 93 | 8089 | 0.0 | 12M| 158 | - |1140 |4666 | 0 | 0 | 233 | 297k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
1293.07/1293.57 c 1229s| 3960k| 92 | 8089 | 0.0 | 12M| 158 | - |1140 |4665 | 0 | 0 | 233 | 298k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
1296.36/1296.85 c 1232s| 3970k| 93 | 8089 | 0.0 | 12M| 158 | - |1140 |4662 | 0 | 0 | 233 | 299k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
1299.76/1300.22 c 1235s| 3980k| 90 | 8089 | 0.0 | 12M| 158 | - |1140 |4665 | 0 | 0 | 233 | 300k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
1303.16/1303.68 c 1239s| 3990k| 96 | 8089 | 0.0 | 12M| 158 | - |1140 |4662 | 0 | 0 | 233 | 301k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
1306.45/1306.97 c 1242s| 4000k| 93 | 8089 | 0.0 | 12M| 158 | - |1140 |4666 | 0 | 0 | 233 | 302k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
1310.55/1311.01 c 1246s| 4010k| 92 | 8089 | 0.0 | 12M| 158 | - |1140 |4672 | 0 | 0 | 233 | 303k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
1313.97/1314.50 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1313.97/1314.50 c 1249s| 4020k| 93 | 8089 | 0.0 | 12M| 158 | - |1140 |4672 | 0 | 0 | 233 | 304k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
1317.15/1317.69 c 1252s| 4030k| 90 | 8089 | 0.0 | 12M| 158 | - |1140 |4667 | 0 | 0 | 233 | 305k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
1321.75/1322.24 c 1257s| 4040k| 93 | 8089 | 0.0 | 12M| 158 | - |1140 |4670 | 0 | 0 | 233 | 307k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
1326.06/1326.52 c 1261s| 4050k| 91 | 8089 | 0.0 | 12M| 158 | - |1140 |4673 | 0 | 0 | 233 | 308k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
1330.15/1330.64 c 1265s| 4060k| 92 | 8089 | 0.0 | 12M| 158 | - |1140 |4677 | 0 | 0 | 233 | 310k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
1335.44/1335.90 c 1270s| 4070k| 92 | 8089 | 0.0 | 12M| 158 | - |1140 |4669 | 0 | 0 | 233 | 312k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
1342.55/1343.09 c 1277s| 4080k| 92 | 8089 | 0.0 | 12M| 158 | - |1140 |4691 | 0 | 0 | 233 | 316k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
1348.64/1349.18 c 1283s| 4090k| 92 | 8089 | 0.0 | 12M| 158 | - |1140 |4674 | 0 | 0 | 233 | 320k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
1354.24/1354.74 c 1288s| 4100k| 91 | 8089 | 0.0 | 12M| 158 | - |1140 |4668 | 0 | 0 | 233 | 322k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
1359.04/1359.57 c 1293s| 4110k| 95 | 8089 | 0.0 | 12M| 158 | - |1140 |4673 | 0 | 0 | 233 | 325k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
1364.04/1364.52 c 1297s| 4120k| 90 | 8089 | 0.0 | 12M| 158 | - |1140 |4684 | 0 | 0 | 233 | 327k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
1368.73/1369.29 c 1302s| 4130k| 91 | 8089 | 0.0 | 12M| 158 | - |1140 |4673 | 0 | 0 | 233 | 329k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
1373.03/1373.53 c 1306s| 4140k| 94 | 8089 | 0.0 | 12M| 158 | - |1140 |4663 | 0 | 0 | 233 | 330k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
1376.03/1376.57 c 1309s| 4150k| 100 | 8089 | 0.0 | 12M| 158 | - |1140 |4664 | 0 | 0 | 233 | 331k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
1379.13/1379.62 c 1312s| 4160k| 97 | 8089 | 0.0 | 12M| 158 | - |1140 |4668 | 0 | 0 | 233 | 332k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
1382.43/1382.92 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1382.43/1382.92 c 1315s| 4170k| 98 | 8089 | 0.0 | 12M| 158 | - |1140 |4667 | 0 | 0 | 233 | 333k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
1385.54/1386.06 c 1318s| 4180k| 100 | 8089 | 0.0 | 12M| 158 | - |1140 |4669 | 0 | 0 | 233 | 334k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
1388.22/1388.79 c 1320s| 4190k| 95 | 8089 | 0.0 | 12M| 158 | - |1140 |4666 | 0 | 0 | 233 | 334k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
1390.83/1391.30 c 1323s| 4200k| 97 | 8089 | 0.0 | 12M| 158 | - |1140 |4663 | 0 | 0 | 233 | 334k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
1393.43/1393.94 c 1325s| 4210k| 98 | 8089 | 0.0 | 12M| 158 | - |1140 |4665 | 0 | 0 | 233 | 334k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
1396.23/1396.78 c 1328s| 4220k| 94 | 8089 | 0.0 | 12M| 158 | - |1140 |4667 | 0 | 0 | 233 | 335k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
1398.92/1399.45 c 1330s| 4230k| 96 | 8089 | 0.0 | 12M| 158 | - |1140 |4667 | 0 | 0 | 233 | 335k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
1401.52/1402.09 c 1333s| 4240k| 100 | 8089 | 0.0 | 12M| 158 | - |1140 |4664 | 0 | 0 | 233 | 336k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
1404.23/1404.74 c 1335s| 4250k| 94 | 8089 | 0.0 | 12M| 158 | - |1140 |4669 | 0 | 0 | 233 | 336k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
1407.12/1407.69 c 1338s| 4260k| 94 | 8089 | 0.0 | 12M| 158 | - |1140 |4664 | 0 | 0 | 233 | 336k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
1410.23/1410.72 c 1341s| 4270k| 92 | 8089 | 0.0 | 12M| 158 | - |1140 |4670 | 0 | 0 | 233 | 337k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
1413.12/1413.68 c 1344s| 4280k| 94 | 8089 | 0.0 | 12M| 158 | - |1140 |4667 | 0 | 0 | 233 | 337k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
1415.82/1416.35 c 1346s| 4290k| 96 | 8089 | 0.0 | 12M| 158 | - |1140 |4666 | 0 | 0 | 233 | 338k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
1418.42/1418.96 c 1349s| 4300k| 93 | 8089 | 0.0 | 12M| 158 | - |1140 |4666 | 0 | 0 | 233 | 338k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
1421.41/1421.94 c 1352s| 4310k| 97 | 8089 | 0.0 | 12M| 158 | - |1140 |4662 | 0 | 0 | 233 | 338k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
1424.02/1424.56 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1424.02/1424.56 c 1354s| 4320k| 95 | 8089 | 0.0 | 12M| 158 | - |1140 |4665 | 0 | 0 | 233 | 339k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
1426.72/1427.28 c 1357s| 4330k| 102 | 8089 | 0.0 | 12M| 158 | - |1140 |4664 | 0 | 0 | 233 | 339k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
1429.61/1430.18 c 1359s| 4340k| 93 | 8089 | 0.0 | 12M| 158 | - |1140 |4662 | 0 | 0 | 233 | 339k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
1432.21/1432.78 c 1362s| 4350k| 96 | 8089 | 0.0 | 12M| 158 | - |1140 |4662 | 0 | 0 | 233 | 339k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
1435.61/1436.12 c 1365s| 4360k| 99 | 8089 | 0.0 | 12M| 158 | - |1140 |4664 | 0 | 0 | 233 | 340k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
1438.81/1439.36 c 1368s| 4370k| 95 | 8089 | 0.0 | 12M| 158 | - |1140 |4665 | 0 | 0 | 233 | 341k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
1441.91/1442.40 c 1371s| 4380k| 95 | 8089 | 0.0 | 12M| 158 | - |1140 |4668 | 0 | 0 | 233 | 342k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
1445.21/1445.77 c 1374s| 4390k| 92 | 8089 | 0.0 | 12M| 158 | - |1140 |4673 | 0 | 0 | 233 | 343k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
1448.12/1448.67 c 1377s| 4400k| 94 | 8089 | 0.0 | 12M| 158 | - |1140 |4665 | 0 | 0 | 233 | 343k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
1451.71/1452.27 c 1380s| 4410k| 92 | 8089 | 0.0 | 12M| 158 | - |1140 |4665 | 0 | 0 | 233 | 344k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
1454.82/1455.32 c 1383s| 4420k| 93 | 8089 | 0.0 | 12M| 158 | - |1140 |4668 | 0 | 0 | 233 | 345k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
1457.81/1458.37 c 1386s| 4430k| 93 | 8089 | 0.0 | 12M| 158 | - |1140 |4671 | 0 | 0 | 233 | 346k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
1460.91/1461.49 c 1389s| 4440k| 92 | 8089 | 0.0 | 12M| 158 | - |1140 |4670 | 0 | 0 | 233 | 347k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
1464.20/1464.70 c 1392s| 4450k| 95 | 8089 | 0.0 | 12M| 158 | - |1140 |4680 | 0 | 0 | 233 | 348k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
1467.50/1468.00 c 1395s| 4460k| 92 | 8089 | 0.0 | 12M| 158 | - |1140 |4671 | 0 | 0 | 233 | 349k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
1470.71/1471.29 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1470.71/1471.29 c 1399s| 4470k| 91 | 8089 | 0.0 | 12M| 158 | - |1140 |4668 | 0 | 0 | 233 | 350k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
1474.61/1475.14 c 1402s| 4480k| 96 | 8089 | 0.0 | 12M| 158 | - |1140 |4671 | 0 | 0 | 233 | 351k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
1478.00/1478.54 c 1406s| 4490k| 102 | 8089 | 0.0 | 12M| 158 | - |1140 |4665 | 0 | 0 | 233 | 352k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
1481.10/1481.63 c 1408s| 4500k| 96 | 8089 | 0.0 | 12M| 158 | - |1140 |4667 | 0 | 0 | 233 | 352k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
1484.30/1484.83 c 1412s| 4510k| 98 | 8089 | 0.0 | 12M| 158 | - |1140 |4664 | 0 | 0 | 233 | 353k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
1487.30/1487.82 c 1414s| 4520k| 94 | 8089 | 0.0 | 12M| 158 | - |1140 |4664 | 0 | 0 | 233 | 354k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
1490.00/1490.54 c 1417s| 4530k| 96 | 8089 | 0.0 | 12M| 158 | - |1140 |4662 | 0 | 0 | 233 | 354k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
1492.89/1493.45 c 1420s| 4540k| 97 | 8089 | 0.0 | 12M| 158 | - |1140 |4665 | 0 | 0 | 233 | 354k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
1495.99/1496.52 c 1423s| 4550k| 95 | 8089 | 0.0 | 12M| 158 | - |1140 |4667 | 0 | 0 | 233 | 355k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
1498.59/1499.11 c 1425s| 4560k| 95 | 8089 | 0.0 | 12M| 158 | - |1140 |4663 | 0 | 0 | 233 | 355k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
1501.59/1502.12 c 1428s| 4570k| 95 | 8089 | 0.0 | 12M| 158 | - |1140 |4664 | 0 | 0 | 233 | 356k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
1504.29/1504.81 c 1430s| 4580k| 95 | 8089 | 0.0 | 12M| 158 | - |1140 |4665 | 0 | 0 | 233 | 356k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
1507.09/1507.62 c 1433s| 4590k| 98 | 8089 | 0.0 | 12M| 158 | - |1140 |4670 | 0 | 0 | 233 | 356k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
1509.98/1510.55 c 1436s| 4600k| 101 | 8089 | 0.0 | 12M| 158 | - |1140 |4665 | 0 | 0 | 233 | 357k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
1512.68/1513.29 c 1438s| 4610k| 95 | 8089 | 0.0 | 12M| 158 | - |1140 |4667 | 0 | 0 | 233 | 357k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
1515.29/1515.86 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1515.29/1515.86 c 1441s| 4620k| 99 | 8089 | 0.0 | 12M| 158 | - |1140 |4664 | 0 | 0 | 233 | 357k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
1517.68/1518.21 c 1443s| 4630k| 95 | 8089 | 0.0 | 12M| 158 | - |1140 |4662 | 0 | 0 | 233 | 357k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
1520.28/1520.85 c 1445s| 4640k| 99 | 8089 | 0.0 | 12M| 158 | - |1140 |4663 | 0 | 0 | 233 | 358k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
1523.09/1523.62 c 1448s| 4650k| 97 | 8089 | 0.0 | 12M| 158 | - |1140 |4666 | 0 | 0 | 233 | 358k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
1525.99/1526.53 c 1451s| 4660k| 95 | 8089 | 0.0 | 12M| 158 | - |1140 |4666 | 0 | 0 | 233 | 358k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
1528.58/1529.19 c 1453s| 4670k| 96 | 8089 | 0.0 | 12M| 158 | - |1140 |4670 | 0 | 0 | 233 | 359k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
1531.48/1532.02 c 1456s| 4680k| 96 | 8089 | 0.0 | 12M| 158 | - |1140 |4667 | 0 | 0 | 233 | 359k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
1534.88/1535.40 c 1459s| 4690k| 96 | 8089 | 0.0 | 12M| 158 | - |1140 |4667 | 0 | 0 | 233 | 360k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
1537.67/1538.25 c 1462s| 4700k| 91 | 8089 | 0.0 | 12M| 158 | - |1140 |4668 | 0 | 0 | 233 | 360k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
1540.68/1541.23 c 1465s| 4710k| 97 | 8089 | 0.0 | 12M| 158 | - |1140 |4669 | 0 | 0 | 233 | 361k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
1543.57/1544.18 c 1468s| 4720k| 97 | 8089 | 0.0 | 12M| 158 | - |1140 |4671 | 0 | 0 | 233 | 361k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
1546.27/1546.89 c 1470s| 4730k| 93 | 8089 | 0.0 | 12M| 158 | - |1140 |4672 | 0 | 0 | 233 | 361k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
1549.28/1549.80 c 1473s| 4740k| 93 | 8089 | 0.0 | 12M| 158 | - |1140 |4671 | 0 | 0 | 233 | 362k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
1551.77/1552.37 c 1475s| 4750k| 95 | 8089 | 0.0 | 12M| 158 | - |1140 |4664 | 0 | 0 | 233 | 362k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
1554.17/1554.77 c 1478s| 4760k| 91 | 8089 | 0.0 | 12M| 158 | - |1140 |4665 | 0 | 0 | 233 | 362k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
1556.57/1557.13 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1556.57/1557.13 c 1480s| 4770k| 91 | 8089 | 0.0 | 12M| 158 | - |1140 |4667 | 0 | 0 | 233 | 362k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
1559.77/1560.35 c 1483s| 4780k| 92 | 8089 | 0.0 | 12M| 158 | - |1140 |4667 | 0 | 0 | 233 | 363k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
1562.87/1563.47 c 1486s| 4790k| 96 | 8089 | 0.0 | 12M| 158 | - |1140 |4665 | 0 | 0 | 233 | 364k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
1566.07/1566.64 c 1489s| 4800k| 94 | 8089 | 0.0 | 12M| 158 | - |1140 |4667 | 0 | 0 | 233 | 365k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
1569.27/1569.88 c 1492s| 4810k| 92 | 8089 | 0.0 | 12M| 158 | - |1140 |4667 | 0 | 0 | 233 | 365k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
1572.38/1572.97 c 1495s| 4820k| 94 | 8089 | 0.0 | 12M| 158 | - |1140 |4669 | 0 | 0 | 233 | 366k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
1575.57/1576.12 c 1498s| 4830k| 93 | 8089 | 0.0 | 12M| 158 | - |1140 |4668 | 0 | 0 | 233 | 367k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
1578.56/1579.18 c 1501s| 4840k| 92 | 8089 | 0.0 | 12M| 158 | - |1140 |4670 | 0 | 0 | 233 | 368k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
1581.67/1582.26 c 1504s| 4850k| 92 | 8089 | 0.0 | 12M| 158 | - |1140 |4670 | 0 | 0 | 233 | 368k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
1584.57/1585.18 c 1506s| 4860k| 91 | 8089 | 0.0 | 12M| 158 | - |1140 |4665 | 0 | 0 | 233 | 369k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
1587.96/1588.58 c 1510s| 4870k| 89 | 8089 | 0.0 | 12M| 158 | - |1140 |4667 | 0 | 0 | 233 | 370k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
1591.07/1591.64 c 1513s| 4880k| 93 | 8089 | 0.0 | 12M| 158 | - |1140 |4671 | 0 | 0 | 233 | 371k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
1594.06/1594.63 c 1515s| 4890k| 93 | 8089 | 0.0 | 12M| 158 | - |1140 |4669 | 0 | 0 | 233 | 371k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
1597.26/1597.89 c 1519s| 4900k| 91 | 8089 | 0.0 | 12M| 158 | - |1140 |4668 | 0 | 0 | 233 | 372k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
1600.16/1600.76 c 1521s| 4910k| 88 | 8089 | 0.0 | 12M| 158 | - |1140 |4669 | 0 | 0 | 233 | 373k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
1604.65/1605.24 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1604.65/1605.24 c 1526s| 4920k| 95 | 8089 | 0.0 | 12M| 158 | - |1140 |4660 | 0 | 0 | 233 | 374k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
1610.05/1610.61 c 1531s| 4930k| 94 | 8089 | 0.0 | 12M| 158 | - |1140 |4665 | 0 | 0 | 233 | 377k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
1615.16/1615.71 c 1536s| 4940k| 96 | 8089 | 0.0 | 12M| 158 | - |1140 |4666 | 0 | 0 | 233 | 379k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
1618.66/1619.26 c 1539s| 4950k| 94 | 8089 | 0.0 | 12M| 158 | - |1140 |4671 | 0 | 0 | 233 | 380k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
1623.15/1623.76 c 1543s| 4960k| 92 | 8089 | 0.0 | 12M| 158 | - |1140 |4669 | 0 | 0 | 233 | 382k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
1627.75/1628.30 c 1548s| 4970k| 88 | 8089 | 0.0 | 12M| 158 | - |1140 |4678 | 0 | 0 | 233 | 384k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
1632.25/1632.85 c 1552s| 4980k| 96 | 8089 | 0.0 | 12M| 158 | - |1140 |4675 | 0 | 0 | 233 | 386k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
1635.84/1636.48 c 1556s| 4990k| 90 | 8089 | 0.0 | 12M| 158 | - |1140 |4674 | 0 | 0 | 233 | 387k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
1640.05/1640.62 c 1560s| 5000k| 91 | 8089 | 0.0 | 12M| 158 | - |1140 |4662 | 0 | 0 | 233 | 388k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
1644.04/1644.64 c 1563s| 5010k| 92 | 8089 | 0.0 | 12M| 158 | - |1140 |4665 | 0 | 0 | 233 | 390k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
1647.15/1647.71 c 1566s| 5020k| 96 | 8089 | 0.0 | 12M| 158 | - |1140 |4667 | 0 | 0 | 233 | 390k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
1649.84/1650.44 c 1569s| 5030k| 94 | 8089 | 0.0 | 12M| 158 | - |1140 |4672 | 0 | 0 | 233 | 391k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
1652.64/1653.25 c 1571s| 5040k| 96 | 8089 | 0.0 | 12M| 158 | - |1140 |4667 | 0 | 0 | 233 | 391k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
1655.34/1655.99 c 1574s| 5050k| 96 | 8089 | 0.0 | 12M| 158 | - |1140 |4667 | 0 | 0 | 233 | 392k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
1657.83/1658.44 c 1576s| 5060k| 94 | 8089 | 0.0 | 12M| 158 | - |1140 |4668 | 0 | 0 | 233 | 392k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
1660.73/1661.34 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1660.73/1661.34 c 1579s| 5070k| 95 | 8089 | 0.0 | 12M| 158 | - |1140 |4667 | 0 | 0 | 233 | 392k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
1663.74/1664.37 c 1582s| 5080k| 95 | 8089 | 0.0 | 12M| 158 | - |1140 |4672 | 0 | 0 | 233 | 393k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
1666.53/1667.15 c 1585s| 5090k| 94 | 8089 | 0.0 | 12M| 158 | - |1140 |4667 | 0 | 0 | 233 | 393k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
1669.74/1670.38 c 1588s| 5100k| 96 | 8089 | 0.0 | 12M| 158 | - |1140 |4667 | 0 | 0 | 233 | 394k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
1673.04/1673.67 c 1591s| 5110k| 92 | 8089 | 0.0 | 12M| 158 | - |1140 |4671 | 0 | 0 | 233 | 395k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
1675.84/1676.48 c 1593s| 5120k| 96 | 8089 | 0.0 | 12M| 158 | - |1140 |4671 | 0 | 0 | 233 | 395k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
1678.93/1679.53 c 1596s| 5130k| 95 | 8089 | 0.0 | 12M| 158 | - |1140 |4665 | 0 | 0 | 233 | 396k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
1681.72/1682.30 c 1599s| 5140k| 93 | 8089 | 0.0 | 12M| 158 | - |1140 |4668 | 0 | 0 | 233 | 396k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
1684.73/1685.33 c 1602s| 5150k| 92 | 8089 | 0.0 | 12M| 158 | - |1140 |4673 | 0 | 0 | 233 | 397k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
1687.84/1688.41 c 1605s| 5160k| 91 | 8089 | 0.0 | 12M| 158 | - |1140 |4670 | 0 | 0 | 233 | 398k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
1691.03/1691.62 c 1608s| 5170k| 98 | 8089 | 0.0 | 12M| 158 | - |1140 |4665 | 0 | 0 | 233 | 398k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
1694.22/1694.87 c 1611s| 5180k| 94 | 8089 | 0.0 | 12M| 158 | - |1140 |4665 | 0 | 0 | 233 | 399k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
1697.63/1698.27 c 1614s| 5190k| 91 | 8089 | 0.0 | 12M| 158 | - |1140 |4665 | 0 | 0 | 233 | 400k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
1701.13/1701.74 c 1617s| 5200k| 96 | 8089 | 0.0 | 12M| 158 | - |1140 |4673 | 0 | 0 | 233 | 401k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
1704.33/1704.90 c 1620s| 5210k| 95 | 8089 | 0.0 | 12M| 158 | - |1140 |4670 | 0 | 0 | 233 | 401k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
1707.32/1707.93 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1707.32/1707.93 c 1623s| 5220k| 95 | 8089 | 0.0 | 12M| 158 | - |1140 |4665 | 0 | 0 | 233 | 402k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
1710.42/1711.07 c 1626s| 5230k| 95 | 8089 | 0.0 | 12M| 158 | - |1140 |4666 | 0 | 0 | 233 | 403k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
1713.23/1713.88 c 1629s| 5240k| 93 | 8089 | 0.0 | 12M| 158 | - |1140 |4670 | 0 | 0 | 233 | 403k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
1716.71/1717.30 c 1632s| 5250k| 95 | 8089 | 0.0 | 12M| 158 | - |1140 |4670 | 0 | 0 | 233 | 404k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
1719.61/1720.30 c 1635s| 5260k| 92 | 8089 | 0.0 | 12M| 158 | - |1140 |4669 | 0 | 0 | 233 | 404k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
1722.61/1723.27 c 1638s| 5270k| 93 | 8089 | 0.0 | 12M| 158 | - |1140 |4670 | 0 | 0 | 233 | 405k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
1726.01/1726.65 c 1641s| 5280k| 92 | 8089 | 0.0 | 12M| 158 | - |1140 |4671 | 0 | 0 | 233 | 406k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
1728.82/1729.45 c 1644s| 5290k| 93 | 8089 | 0.0 | 12M| 158 | - |1140 |4673 | 0 | 0 | 233 | 407k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
1731.92/1732.58 c 1647s| 5300k| 91 | 8089 | 0.0 | 12M| 158 | - |1140 |4669 | 0 | 0 | 233 | 408k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
1734.72/1735.39 c 1649s| 5310k| 90 | 8089 | 0.0 | 12M| 158 | - |1140 |4672 | 0 | 0 | 233 | 408k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
1737.51/1738.18 c 1652s| 5320k| 95 | 8089 | 0.0 | 12M| 158 | - |1140 |4665 | 0 | 0 | 233 | 409k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
1740.51/1741.11 c 1655s| 5330k| 95 | 8089 | 0.0 | 12M| 158 | - |1140 |4669 | 0 | 0 | 233 | 409k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
1743.31/1743.93 c 1657s| 5340k| 92 | 8089 | 0.0 | 12M| 158 | - |1140 |4667 | 0 | 0 | 233 | 410k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
1746.11/1746.77 c 1660s| 5350k| 93 | 8089 | 0.0 | 12M| 158 | - |1140 |4667 | 0 | 0 | 233 | 410k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
1748.81/1749.41 c 1663s| 5360k| 92 | 8089 | 0.0 | 12M| 158 | - |1140 |4669 | 0 | 0 | 233 | 410k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
1751.30/1751.99 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1751.30/1751.99 c 1665s| 5370k| 91 | 8089 | 0.0 | 12M| 158 | - |1140 |4671 | 0 | 0 | 233 | 411k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
1755.10/1755.77 c 1669s| 5380k| 92 | 8089 | 0.0 | 12M| 158 | - |1140 |4674 | 0 | 0 | 233 | 412k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
1758.21/1758.89 c 1672s| 5390k| 104 | 8089 | 0.0 | 12M| 158 | - |1140 |4667 | 0 | 0 | 233 | 412k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
1761.80/1762.42 c 1675s| 5400k| 95 | 8089 | 0.0 | 12M| 158 | - |1140 |4670 | 0 | 0 | 233 | 413k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
1765.01/1765.67 c 1678s| 5410k| 94 | 8089 | 0.0 | 12M| 158 | - |1140 |4670 | 0 | 0 | 233 | 414k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
1768.30/1768.96 c 1681s| 5420k| 96 | 8089 | 0.0 | 12M| 158 | - |1140 |4673 | 0 | 0 | 233 | 415k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
1771.40/1772.08 c 1684s| 5430k| 90 | 8089 | 0.0 | 12M| 158 | - |1140 |4676 | 0 | 0 | 233 | 415k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
1774.30/1774.92 c 1687s| 5440k| 96 | 8089 | 0.0 | 12M| 158 | - |1140 |4673 | 0 | 0 | 233 | 416k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
1777.00/1777.66 c 1689s| 5450k| 92 | 8089 | 0.0 | 12M| 158 | - |1140 |4674 | 0 | 0 | 233 | 416k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
1779.69/1780.31 c 1692s| 5460k| 93 | 8089 | 0.0 | 12M| 158 | - |1140 |4674 | 0 | 0 | 233 | 416k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
1782.19/1782.83 c 1694s| 5470k| 91 | 8089 | 0.0 | 12M| 158 | - |1140 |4670 | 0 | 0 | 233 | 417k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
1784.79/1785.43 c 1697s| 5480k| 93 | 8089 | 0.0 | 12M| 158 | - |1140 |4668 | 0 | 0 | 233 | 417k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
1787.59/1788.25 c 1699s| 5490k| 93 | 8089 | 0.0 | 12M| 158 | - |1140 |4668 | 0 | 0 | 233 | 417k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
1790.39/1791.01 c 1702s| 5500k| 92 | 8089 | 0.0 | 12M| 158 | - |1140 |4668 | 0 | 0 | 233 | 418k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
1793.00/1793.60 c 1704s| 5510k| 87 | 8089 | 0.0 | 12M| 158 | - |1140 |4669 | 0 | 0 | 233 | 418k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
1796.59/1797.20 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1796.59/1797.20 c 1708s| 5520k| 97 | 8089 | 0.0 | 12M| 158 | - |1140 |4673 | 0 | 0 | 233 | 419k| 20 | 2.836520e+02 | 5.150000e+02 | 81.56%
1800.01/1800.61 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.01/1800.61 c
1800.01/1800.61 c SCIP Status : solving was interrupted [user interrupt]
1800.01/1800.61 c Solving Time (sec) : 1711.11
1800.01/1800.61 c Solving Nodes : 5528041
1800.01/1800.61 c Primal Bound : +5.15000000000000e+02 (8 solutions)
1800.01/1800.61 c Dual Bound : +2.83652023082222e+02
1800.01/1800.61 c Gap : 81.56 %
1800.01/1800.62 s SATISFIABLE
1800.01/1800.62 v -x1152 x1151 x1150 -x1149 x1148 -x1147 x1146 -x1145 x1144 -x1143 x1142 -x1141 x1140 -x1139 x1138 -x1137 x1136 -x1135 x1134 -x1133
1800.01/1800.62 v -x1132 x1131 x1130 -x1129 -x1128 x1127 x1126 -x1125 x1124 -x1123 x1122 -x1121 x1120 -x1119 x1118 -x1117 x1116 -x1115 x1114
1800.01/1800.62 v -x1113 x1112 -x1111 x1110 -x1109 -x1108 x1107 x1106 -x1105 -x1104 -x1103 -x1102 x1101 -x1100 -x1099 x1098 -x1097 -x1096 -x1095
1800.01/1800.62 v x1094 -x1093 -x1092 x1091 x1090 -x1089 x1088 -x1087 x1086 -x1085 x1084 -x1083 x1082 -x1081 -x1080 x1079 x1078 -x1077 x1076
1800.01/1800.62 v -x1075 x1074 -x1073 x1072 -x1071 x1070 -x1069 x1068 -x1067 x1066 -x1065 x1064 -x1063 x1062 -x1061 -x1060 x1059 x1058 -x1057
1800.01/1800.62 v x1056 -x1055 x1054 -x1053 x1052 -x1051 x1050 -x1049 -x1048 x1047 x1046 -x1045 x1044 -x1043 x1042 -x1041 x1040 -x1039 x1038 -x1037
1800.01/1800.62 v -x1036 x1035 x1034 -x1033 x1032 -x1031 x1030 -x1029 x1028 -x1027 x1026 -x1025 -x1024 x1023 x1022 -x1021 x1020 -x1019 x1018
1800.01/1800.62 v -x1017 x1016 -x1015 x1014 -x1013 -x1012 x1011 x1010 -x1009 -x1008 x1007 x1006 -x1005 x1004 -x1003 x1002 -x1001 x1000 -x999
1800.01/1800.62 v x998 -x997 -x996 -x995 x994 -x993 x992 -x991 x990 -x989 -x988 x987 x986 -x985 -x984 x983 x982 -x981 x980 -x979 x978 -x977 x976
1800.01/1800.62 v -x975 x974 -x973 -x972 x971 x970 -x969 x968 -x967 x966 -x965 x964 -x963 x962 -x961 -x960 -x959 x958 -x957 -x956 -x955 x954
1800.01/1800.62 v -x953 -x952 -x951 -x950 x949 -x948 x947 x946 -x945 x944 -x943 x942 -x941 -x940 -x939 x938 -x937 -x936 x935 x934 -x933 -x932
1800.01/1800.62 v -x931 x930 -x929 -x928 -x927 x926 -x925 -x924 x923 x922 -x921 x920 -x919 x918 -x917 -x916 -x915 x914 -x913 -x912 x911 x910 -x909
1800.01/1800.62 v x908 -x907 x906 -x905 x904 -x903 x902 -x901 -x900 -x899 x898 -x897 -x896 -x895 x894 -x893 -x892 x891 x890 -x889 x888 -x887
1800.01/1800.62 v -x886 -x885 x884 -x883 x882 -x881 -x880 x879 x878 -x877 x876 -x875 x874 -x873 x872 -x871 x870 -x869 -x868 x867 x866 -x865 x864
1800.01/1800.62 v -x863 x862 -x861 x860 -x859 x858 -x857 -x856 x855 x854 -x853 -x852 x851 x850 -x849 x848 -x847 x846 -x845 x844 -x843 x842
1800.01/1800.62 v -x841 -x840 x839 x838 -x837 x836 -x835 x834 -x833 x832 -x831 x830 -x829 -x828 x827 x826 -x825 x824 -x823 x822 -x821 x820 -x819
1800.01/1800.62 v x818 -x817 -x816 x815 x814 -x813 x812 -x811 x810 -x809 x808 -x807 x806 -x805 -x804 -x803 -x802 x801 x800 -x799 x798 -x797 x796
1800.01/1800.62 v -x795 x794 -x793 -x792 x791 x790 -x789 x788 -x787 x786 -x785 -x784 -x783 x782 -x781 x780 -x779 x778 -x777 x776 -x775 x774
1800.01/1800.62 v -x773 -x772 x771 x770 -x769 x768 -x767 x766 -x765 x764 -x763 x762 -x761 -x760 x759 x758 -x757 x756 -x755 -x754 x753 x752 -x751
1800.01/1800.62 v x750 -x749 x748 -x747 x746 -x745 x744 -x743 x742 -x741 x740 -x739 x738 -x737 -x736 x735 x734 -x733 -x732 x731 x730 -x729 x728
1800.01/1800.62 v -x727 x726 -x725 x724 -x723 x722 -x721 -x720 x719 x718 -x717 x716 -x715 x714 -x713 x712 -x711 x710 -x709 -x708 x707 x706
1800.01/1800.62 v -x705 x704 -x703 x702 -x701 x700 -x699 x698 -x697 -x696 x695 x694 -x693 x692 -x691 x690 -x689 x688 -x687 x686 -x685 x684 -x683
1800.01/1800.62 v x682 -x681 x680 -x679 x678 -x677 -x676 x675 x674 -x673 -x672 x671 x670 -x669 x668 -x667 x666 -x665 -x664 -x663 x662 -x661 -x660
1800.01/1800.62 v x659 x658 -x657 x656 -x655 x654 -x653 x652 -x651 x650 -x649 x648 -x647 x646 -x645 x644 -x643 x642 -x641 -x640 x639 x638
1800.01/1800.62 v -x637 x636 -x635 x634 -x633 x632 -x631 x630 -x629 -x628 x627 x626 -x625 -x624 x623 x622 -x621 x620 -x619 x618 -x617 x616 -x615
1800.01/1800.62 v x614 -x613 x612 -x611 x610 -x609 x608 -x607 x606 -x605 -x604 x603 x602 -x601 x600 -x599 x598 -x597 x596 -x595 x594 -x593 -x592
1800.01/1800.62 v x591 x590 -x589 -x588 x587 x586 -x585 x584 -x583 x582 -x581 x580 -x579 x578 -x577 x576 -x575 x574 -x573 x572 -x571 x570 -x569
1800.01/1800.62 v -x568 x567 x566 -x565 x564 -x563 x562 -x561 x560 -x559 x558 -x557 -x556 x555 x554 -x553 -x552 x551 x550 -x549 x548 -x547
1800.01/1800.62 v x546 -x545 x544 -x543 x542 -x541 -x540 x539 x538 -x537 -x536 -x535 -x534 -x533 -x532 -x531 x530 -x529 x528 -x527 x526 -x525
1800.01/1800.62 v x524 -x523 x522 -x521 -x520 x519 x518 -x517 x516 -x515 x514 -x513 x512 -x511 x510 -x509 -x508 x507 x506 -x505 -x504 -x503 -x502
1800.01/1800.62 v -x501 x500 -x499 x498 -x497 -x496 x495 x494 -x493 x492 -x491 x490 -x489 x488 -x487 x486 -x485 -x484 x483 x482 -x481 -x480
1800.01/1800.62 v -x479 x478 -x477 x476 -x475 x474 -x473 -x472 x471 x470 -x469 x468 -x467 x466 -x465 x464 -x463 x462 -x461 -x460 x459 x458 -x457
1800.01/1800.62 v -x456 x455 x454 -x453 x452 -x451 x450 -x449 -x448 -x447 x446 -x445 -x444 x443 -x442 -x441 x440 -x439 x438 -x437 x436 -x435
1800.01/1800.62 v x434 -x433 -x432 -x431 x430 -x429 x428 -x427 x426 -x425 -x424 x423 x422 -x421 -x420 x419 x418 -x417 x416 -x415 x414 -x413 -x412
1800.01/1800.62 v -x411 x410 -x409 x408 -x407 x406 -x405 x404 -x403 x402 -x401 -x400 x399 x398 -x397 -x396 x395 x394 -x393 x392 -x391 x390 -x389
1800.01/1800.62 v -x388 -x387 x386 -x385 -x384 x383 x382 -x381 x380 -x379 x378 -x377 x376 -x375 x374 -x373 -x372 x371 x370 -x369 x368 -x367
1800.01/1800.62 v x366 -x365 -x364 -x363 x362 -x361 -x360 x359 x358 -x357 -x356 -x355 x354 -x353 -x352 -x351 x350 -x349 -x348 -x347 -x346 -x345
1800.01/1800.62 v -x344 -x343 x342 -x341 -x340 x339 x338 -x337 -x336 x335 x334 -x333 x332 -x331 x330 -x329 x328 -x327 x326 -x325 -x324 -x323
1800.01/1800.62 v -x322 x321 -x320 -x319 x318 -x317 -x316 -x315 x314 -x313 -x312 x311 -x310 -x309 x308 -x307 x306 -x305 -x304 -x303 x302 -x301
1800.01/1800.62 v x300 -x299 x298 -x297 x296 -x295 x294 -x293 -x292 x291 x290 -x289 -x288 -x287 x286 -x285 -x284 x283 x282 -x281 -x280 -x279 x278
1800.01/1800.62 v -x277 x276 -x275 x274 -x273 x272 -x271 x270 -x269 -x268 x267 x266 -x265 -x264 x263 x262 -x261 x260 -x259 x258 -x257 -x256
1800.01/1800.62 v -x255 x254 -x253 x252 -x251 x250 -x249 x248 -x247 x246 -x245 -x244 x243 x242 -x241 -x240 x239 x238 -x237 x236 -x235 x234 -x233
1800.01/1800.62 v -x232 -x231 x230 -x229 -x228 x227 x226 -x225 x224 -x223 x222 -x221 -x220 -x219 x218 -x217 x216 -x215 -x214 -x213 x212 -x211
1800.01/1800.62 v x210 -x209 -x208 x207 x206 -x205 -x204 x203 x202 -x201 x200 -x199 x198 -x197 x196 -x195 x194 -x193 -x192 x191 x190 -x189 -x188
1800.01/1800.62 v x187 -x186 x185 -x184 x183 -x182 x181 -x180 x179 -x178 x177 -x176 x175 -x174 x173 -x172 x171 -x170 x169 -x168 x167 -x166
1800.01/1800.62 v x165 -x164 x163 -x162 x161 -x160 x159 -x158 x157 -x156 x155 -x154 x153 -x152 x151 x150 -x149 x148 -x147 -x146 x145 x144 -x143
1800.01/1800.62 v -x142 x141 -x140 x139 -x138 x137 -x136 x135 -x134 x133 -x132 x131 -x130 x129 -x128 x127 x126 -x125 -x124 x123 -x122 x121 -x120
1800.01/1800.62 v x119 -x118 x117 -x116 x115 -x114 x113 -x112 x111 -x110 x109 -x108 -x107 -x106 x105 -x104 x103 -x102 -x101 -x100 x99 -x98 x97
1800.01/1800.62 v -x96 x95 x94 -x93 -x92 x91 -x90 -x89 -x88 -x87 -x86 x85 -x84 -x83 -x82 x81 -x80 -x79 -x78 x77 -x76 -x75 -x74 x73 -x72 x71
1800.01/1800.62 v -x70 -x69 -x68 -x67 -x66 x65 -x64 x63 -x62 x61 -x60 x59 -x58 x57 -x56 x55 -x54 x53 -x52 x51 -x50 x49 -x48 x47 -x46 x45 -x44 x43
1800.01/1800.62 v -x42 x41 -x40 x39 x38 -x37 -x36 x35 -x34 x33 -x32 x31 x30 -x29 -x28 -x27 -x26 x25 -x24 -x23 -x22 x21 -x20 x19 -x18 -x17 -x16
1800.01/1800.62 v x15 -x14 -x13 -x12 -x11 -x10 x9 -x8 x7 -x6 -x5 -x4 x3 -x2 -x1
1800.01/1800.62 c SCIP Status : solving was interrupted [user interrupt]
1800.01/1800.62 c Solving Time : 1711.11
1800.01/1800.62 c Original Problem :
1800.01/1800.62 c Problem name : HOME/instance-2665582-1276420199.opb
1800.01/1800.62 c Variables : 1152 (1152 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.01/1800.62 c Constraints : 4664 initial, 4664 maximal
1800.01/1800.62 c Presolved Problem :
1800.01/1800.62 c Problem name : t_HOME/instance-2665582-1276420199.opb
1800.01/1800.62 c Variables : 1140 (1140 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.01/1800.62 c Constraints : 4640 initial, 4703 maximal
1800.01/1800.62 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.01/1800.62 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.01/1800.62 c dualfix : 0.00 12 0 0 0 0 0 0 0
1800.01/1800.62 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.01/1800.62 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.01/1800.62 c implics : 0.00 0 0 0 0 0 0 0 0
1800.01/1800.62 c probing : 0.05 0 0 0 0 0 0 0 0
1800.01/1800.62 c linear : 0.07 0 0 0 0 0 24 0 0
1800.01/1800.62 c logicor : 0.03 0 0 0 0 0 0 0 0
1800.01/1800.62 c root node : - 0 - - 0 - - - -
1800.01/1800.62 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.01/1800.62 c integral : 0 0 0 1 0 0 0 0 0 2
1800.01/1800.62 c logicor : 4640+ 25 7308880 0 8 420603 12177616 0 0 0
1800.01/1800.62 c countsols : 0 0 0 0 8 0 0 0 0 0
1800.01/1800.62 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.01/1800.62 c integral : 2.22 0.00 0.00 2.22 0.00
1800.01/1800.62 c logicor : 500.90 0.03 500.87 0.00 0.00
1800.01/1800.62 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.01/1800.62 c Propagators : Time Calls Cutoffs DomReds
1800.01/1800.62 c vbounds : 5.77 2 0 0
1800.01/1800.62 c rootredcost : 5.94 8 0 0
1800.01/1800.62 c pseudoobj : 788.81 12681787 2318293 20492590
1800.01/1800.62 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.01/1800.62 c propagation : 414.15 420603 420603 420603 68.8 13 67.7 -
1800.01/1800.62 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.01/1800.62 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.01/1800.62 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.01/1800.62 c pseudo solution : 44.52 84419 0 0 0.0 0 0.0 -
1800.01/1800.62 c applied globally : - - - 420616 68.8 - - -
1800.01/1800.62 c applied locally : - - - 0 0.0 - - -
1800.01/1800.62 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.01/1800.62 c cut pool : 0.07 24 - - 525 - (maximal pool size: 1789)
1800.01/1800.62 c redcost : 0.01 25 0 0 0 0
1800.01/1800.62 c impliedbounds : 0.03 25 0 0 0 0
1800.01/1800.62 c intobj : 0.00 0 0 0 0 0
1800.01/1800.62 c cgmip : 0.00 0 0 0 0 0
1800.01/1800.62 c gomory : 3.33 25 0 0 10553 0
1800.01/1800.62 c strongcg : 1.21 20 0 0 10000 0
1800.01/1800.62 c cmir : 0.33 10 0 0 0 0
1800.01/1800.62 c flowcover : 0.26 10 0 0 0 0
1800.01/1800.62 c clique : 0.02 1 0 0 0 0
1800.01/1800.62 c zerohalf : 0.00 0 0 0 0 0
1800.01/1800.62 c mcf : 0.01 1 0 0 0 0
1800.01/1800.62 c rapidlearning : 0.00 0 0 0 0 0
1800.01/1800.62 c Pricers : Time Calls Vars
1800.01/1800.62 c problem variables: 0.00 0 0
1800.01/1800.62 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.01/1800.62 c relpscost : 2.22 1 0 0 0 0 2
1800.01/1800.62 c pscost : 0.00 0 0 0 0 0 0
1800.01/1800.62 c inference : 52.62 2867331 0 0 0 0 5734662
1800.01/1800.62 c mostinf : 0.00 0 0 0 0 0 0
1800.01/1800.62 c leastinf : 0.00 0 0 0 0 0 0
1800.01/1800.62 c fullstrong : 0.00 0 0 0 0 0 0
1800.01/1800.62 c allfullstrong : 0.00 0 0 0 0 0 0
1800.01/1800.62 c random : 0.00 0 0 0 0 0 0
1800.01/1800.62 c Primal Heuristics : Time Calls Found
1800.01/1800.62 c LP solutions : 0.00 - 0
1800.01/1800.62 c pseudo solutions : 0.00 - 8
1800.01/1800.62 c oneopt : 3.80 0 0
1800.01/1800.62 c crossover : 0.00 0 0
1800.01/1800.62 c trivial : 0.00 2 0
1800.01/1800.62 c simplerounding : 0.00 0 0
1800.01/1800.62 c zirounding : 0.00 1 0
1800.01/1800.62 c rounding : 0.05 25 0
1800.01/1800.62 c shifting : 0.65 25 0
1800.01/1800.62 c intshifting : 0.00 0 0
1800.01/1800.62 c twoopt : 0.00 0 0
1800.01/1800.62 c fixandinfer : 0.00 0 0
1800.01/1800.62 c feaspump : 0.03 1 0
1800.01/1800.62 c coefdiving : 0.00 0 0
1800.01/1800.62 c pscostdiving : 0.00 0 0
1800.01/1800.62 c fracdiving : 0.00 0 0
1800.01/1800.62 c veclendiving : 0.00 0 0
1800.01/1800.62 c intdiving : 0.00 0 0
1800.01/1800.62 c actconsdiving : 0.00 0 0
1800.01/1800.62 c objpscostdiving : 0.00 0 0
1800.01/1800.62 c rootsoldiving : 0.00 0 0
1800.01/1800.62 c linesearchdiving : 0.00 0 0
1800.01/1800.62 c guideddiving : 0.00 0 0
1800.01/1800.62 c octane : 0.00 0 0
1800.01/1800.62 c rens : 0.01 0 0
1800.01/1800.62 c rins : 0.00 0 0
1800.01/1800.62 c localbranching : 0.00 0 0
1800.01/1800.62 c mutation : 0.00 0 0
1800.01/1800.62 c dins : 0.00 0 0
1800.01/1800.62 c undercover : 0.00 0 0
1800.01/1800.62 c nlp : 2.20 0 0
1800.01/1800.62 c trysol : 3.07 0 0
1800.01/1800.62 c LP : Time Calls Iterations Iter/call Iter/sec
1800.01/1800.62 c primal LP : 0.03 0 0 0.00 0.00
1800.01/1800.62 c dual LP : 2.25 25 8089 323.56 3595.11
1800.01/1800.62 c lex dual LP : 0.00 0 0 0.00 -
1800.01/1800.62 c barrier LP : 0.00 0 0 0.00 -
1800.01/1800.62 c diving/probing LP: 0.00 0 0 0.00 -
1800.01/1800.62 c strong branching : 2.22 20 6814 340.70 3069.37
1800.01/1800.62 c (at root node) : - 20 6814 340.70 -
1800.01/1800.62 c conflict analysis: 0.00 0 0 0.00 -
1800.01/1800.62 c B&B Tree :
1800.01/1800.62 c number of runs : 1
1800.01/1800.62 c nodes : 5528041
1800.01/1800.62 c nodes (total) : 5528041
1800.01/1800.62 c nodes left : 91
1800.01/1800.62 c max depth : 158
1800.01/1800.62 c max depth (total): 158
1800.01/1800.62 c backtracks : 1560630 (28.2%)
1800.01/1800.62 c delayed cutoffs : 206408
1800.01/1800.62 c repropagations : 283753 (2022128 domain reductions, 162614 cutoffs)
1800.01/1800.62 c avg switch length: 2.02
1800.01/1800.62 c switching time : 111.81
1800.01/1800.62 c Solution :
1800.01/1800.62 c Solutions found : 8 (8 improvements)
1800.01/1800.62 c First Solution : +5.22000000000000e+02 (in run 1, after 202 nodes, 10.90 seconds, depth 158, found by <relaxation>)
1800.01/1800.62 c Primal Bound : +5.15000000000000e+02 (in run 1, after 20179 nodes, 15.64 seconds, depth 116, found by <relaxation>)
1800.01/1800.62 c Dual Bound : +2.83652023082222e+02
1800.01/1800.62 c Gap : 81.56 %
1800.01/1800.62 c Root Dual Bound : +2.83463477364980e+02
1800.01/1800.62 c Root Iterations : 8089
1800.01/1800.65 c Time complete: 1800.04.