0.00/0.00 c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.4.2] [Expressions interpreter: NONE]
0.00/0.00 c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c user parameter file <scip.set> not found - using default parameters
0.00/0.00 c reading problem <HOME/instance-2667012-1276420271.opb>
0.04/0.09 c original problem has 1152 variables (1152 bin, 0 int, 0 impl, 0 cont) and 4664 constraints
0.04/0.09 c problem read
0.04/0.09 c presolving settings loaded
0.09/0.11 c presolving:
0.09/0.15 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.19/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.23 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.29/0.30 c (0.2s) probing: 101/1140 (8.9%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.29/0.30 c (0.2s) probing aborted: 100/100 successive totally useless probings
0.29/0.30 c presolving (4 rounds):
0.29/0.30 c 12 deleted vars, 24 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.29/0.30 c 29688 implications, 0 cliques
0.29/0.30 c presolved problem has 1140 variables (1140 bin, 0 int, 0 impl, 0 cont) and 4640 constraints
0.29/0.30 c 4640 constraints of type <logicor>
0.29/0.30 c transformed objective value is always integral (scale: 1)
0.29/0.30 c Presolving Time: 0.16
0.29/0.30 c - non default parameters ----------------------------------------------------------------------
0.29/0.30 c # SCIP version 1.2.1.2
0.29/0.30 c
0.29/0.30 c # maximal number of intermediate conflict constraints generated in conflict graph (-1: use every intermediate constraint)
0.29/0.30 c # [type: int, range: [-1,2147483647], default: -1]
0.29/0.30 c conflict/interconss = 0
0.29/0.30 c
0.29/0.30 c # should binary conflicts be preferred?
0.29/0.30 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.29/0.30 c conflict/preferbinary = TRUE
0.29/0.30 c
0.29/0.30 c # maximum age an unnecessary constraint can reach before it is deleted (0: dynamic, -1: keep all constraints)
0.29/0.30 c # [type: int, range: [-1,2147483647], default: 0]
0.29/0.30 c constraints/agelimit = 1
0.29/0.30 c
0.29/0.30 c # should enforcement of pseudo solution be disabled?
0.29/0.30 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.29/0.30 c constraints/disableenfops = TRUE
0.29/0.30 c
0.29/0.30 c # frequency for displaying node information lines
0.29/0.30 c # [type: int, range: [-1,2147483647], default: 100]
0.29/0.30 c display/freq = 10000
0.29/0.30 c
0.29/0.30 c # maximal time in seconds to run
0.29/0.30 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.29/0.30 c limits/time = 1799.92
0.29/0.30 c
0.29/0.30 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.29/0.30 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.29/0.30 c limits/memory = 1620
0.29/0.30 c
0.29/0.30 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.29/0.30 c # [type: int, range: [-1,2147483647], default: 1]
0.29/0.30 c lp/solvefreq = 0
0.29/0.30 c
0.29/0.30 c # LP pricing strategy ('l'pi default, 'a'uto, 'f'ull pricing, 'p'artial, 's'teepest edge pricing, 'q'uickstart steepest edge pricing, 'd'evex pricing)
0.29/0.30 c # [type: char, range: {lafpsqd}, default: l]
0.29/0.30 c lp/pricing = a
0.29/0.30 c
0.29/0.30 c # should presolving try to simplify inequalities
0.29/0.30 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.29/0.30 c constraints/linear/simplifyinequalities = TRUE
0.29/0.30 c
0.29/0.30 c # should presolving try to simplify knapsacks
0.29/0.30 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.29/0.30 c constraints/knapsack/simplifyinequalities = TRUE
0.29/0.30 c
0.29/0.30 c # priority of node selection rule <dfs> in standard mode
0.29/0.30 c # [type: int, range: [-536870912,536870911], default: 0]
0.29/0.30 c nodeselection/dfs/stdpriority = 1000000
0.29/0.30 c
0.29/0.30 c -----------------------------------------------------------------------------------------------
0.29/0.30 c start solving
0.29/0.30 c
0.80/0.84 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.80/0.84 c 0.7s| 1 | 0 | 1595 | - |9055k| 0 | 820 |1140 |4640 |1140 |4640 | 0 | 0 | 0 | 2.345000e+02 | -- | Inf
2.89/2.92 c 2.7s| 1 | 0 | 6078 | - |9117k| 0 | 815 |1140 |4640 |1140 |4646 | 6 | 0 | 0 | 2.397500e+02 | -- | Inf
3.09/3.18 c 3.0s| 1 | 0 | 6185 | - |9153k| 0 | 812 |1140 |4640 |1140 |4653 | 13 | 0 | 0 | 2.444375e+02 | -- | Inf
3.39/3.43 c 3.2s| 1 | 0 | 6281 | - |9198k| 0 | 811 |1140 |4640 |1140 |4661 | 21 | 0 | 0 | 2.476250e+02 | -- | Inf
3.69/3.75 c 3.5s| 1 | 0 | 6448 | - |9253k| 0 | 815 |1140 |4640 |1140 |4672 | 32 | 0 | 0 | 2.511875e+02 | -- | Inf
3.99/4.06 c 3.8s| 1 | 0 | 6628 | - |9299k| 0 | 811 |1140 |4640 |1140 |4681 | 41 | 0 | 0 | 2.551875e+02 | -- | Inf
4.40/4.44 c 4.2s| 1 | 0 | 6899 | - |9388k| 0 | 808 |1140 |4640 |1140 |4689 | 49 | 0 | 0 | 2.594405e+02 | -- | Inf
4.79/4.80 c 4.5s| 1 | 0 | 7105 | - |9586k| 0 | 812 |1140 |4640 |1140 |4701 | 61 | 0 | 0 | 2.627500e+02 | -- | Inf
5.19/5.26 c 5.0s| 1 | 0 | 7426 | - |9818k| 0 | 817 |1140 |4640 |1140 |4713 | 73 | 0 | 0 | 2.646065e+02 | -- | Inf
5.69/5.77 c 5.5s| 1 | 0 | 7715 | - | 10M| 0 | 814 |1140 |4640 |1140 |4726 | 86 | 0 | 0 | 2.665250e+02 | -- | Inf
6.29/6.38 c 6.1s| 1 | 0 | 8194 | - | 10M| 0 | 809 |1140 |4640 |1140 |4738 | 98 | 0 | 0 | 2.689857e+02 | -- | Inf
6.99/7.00 c 6.7s| 1 | 0 | 8731 | - | 10M| 0 | 809 |1140 |4640 |1140 |4753 | 113 | 0 | 0 | 2.708538e+02 | -- | Inf
7.49/7.53 c 7.2s| 1 | 0 | 9272 | - | 10M| 0 | 806 |1140 |4640 |1140 |4765 | 125 | 0 | 0 | 2.724267e+02 | -- | Inf
8.19/8.21 c 7.9s| 1 | 0 | 9913 | - | 11M| 0 | 806 |1140 |4640 |1140 |4781 | 141 | 0 | 0 | 2.738807e+02 | -- | Inf
8.79/8.89 c 8.6s| 1 | 0 | 10502 | - | 11M| 0 | 803 |1140 |4640 |1140 |4790 | 155 | 0 | 0 | 2.744584e+02 | -- | Inf
9.39/9.41 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
9.39/9.41 c 9.1s| 1 | 0 | 11049 | - | 11M| 0 | 814 |1140 |4640 |1140 |4802 | 167 | 0 | 0 | 2.747709e+02 | -- | Inf
10.19/10.24 c 9.9s| 1 | 0 | 11780 | - | 11M| 0 | 808 |1140 |4640 |1140 |4814 | 179 | 0 | 0 | 2.765421e+02 | -- | Inf
10.90/10.99 c 10.7s| 1 | 0 | 12418 | - | 12M| 0 | 812 |1140 |4640 |1140 |4825 | 190 | 0 | 0 | 2.775275e+02 | -- | Inf
11.59/11.60 c 11.2s| 1 | 0 | 12795 | - | 13M| 0 | 811 |1140 |4640 |1140 |4838 | 203 | 0 | 0 | 2.789437e+02 | -- | Inf
12.29/12.34 c 12.0s| 1 | 0 | 13359 | - | 13M| 0 | 809 |1140 |4640 |1140 |4847 | 212 | 0 | 0 | 2.798536e+02 | -- | Inf
12.89/13.00 c 12.6s| 1 | 0 | 13811 | - | 14M| 0 | 812 |1140 |4640 |1140 |4834 | 219 | 0 | 0 | 2.805828e+02 | -- | Inf
13.99/14.07 c 13.7s| 1 | 0 | 14721 | - | 14M| 0 | 817 |1140 |4640 |1140 |4846 | 231 | 0 | 0 | 2.812261e+02 | -- | Inf
14.79/14.81 c 14.4s| 1 | 0 | 15326 | - | 14M| 0 | 812 |1140 |4640 |1140 |4853 | 238 | 0 | 0 | 2.817930e+02 | -- | Inf
15.59/15.65 c 15.2s| 1 | 0 | 15781 | - | 14M| 0 | 813 |1140 |4640 |1140 |4861 | 246 | 0 | 0 | 2.821133e+02 | -- | Inf
16.29/16.35 c 15.9s| 1 | 0 | 15941 | - | 14M| 0 | 808 |1140 |4640 |1140 |4867 | 252 | 0 | 0 | 2.821606e+02 | -- | Inf
17.09/17.11 c 16.7s| 1 | 0 | 16144 | - | 14M| 0 | 814 |1140 |4640 |1140 |4872 | 257 | 0 | 0 | 2.821750e+02 | -- | Inf
17.89/17.94 c 17.5s| 1 | 0 | 16486 | - | 14M| 0 | 813 |1140 |4640 |1140 |4840 | 264 | 0 | 0 | 2.822146e+02 | -- | Inf
18.70/18.75 c 18.3s| 1 | 0 | 16920 | - | 14M| 0 | 815 |1140 |4640 |1140 |4846 | 270 | 0 | 0 | 2.823303e+02 | -- | Inf
19.39/19.49 c 19.0s| 1 | 0 | 17156 | - | 14M| 0 | 812 |1140 |4640 |1140 |4851 | 275 | 0 | 0 | 2.823501e+02 | -- | Inf
20.29/20.33 c 19.8s| 1 | 0 | 17411 | - | 14M| 0 | 810 |1140 |4640 |1140 |4856 | 280 | 0 | 0 | 2.823842e+02 | -- | Inf
20.99/21.01 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
20.99/21.01 c 20.5s| 1 | 0 | 17418 | - | 14M| 0 | 810 |1140 |4640 |1140 |4860 | 284 | 0 | 0 | 2.823842e+02 | -- | Inf
21.59/21.69 c 21.2s| 1 | 0 | 17420 | - | 14M| 0 | 810 |1140 |4640 |1140 |4861 | 285 | 0 | 0 | 2.823842e+02 | -- | Inf
22.28/22.37 c 21.9s| 1 | 0 | 17437 | - | 14M| 0 | 810 |1140 |4640 |1140 |4831 | 286 | 0 | 0 | 2.823930e+02 | -- | Inf
28.59/28.62 c 28.0s| 1 | 2 | 17437 | - | 14M| 0 | 810 |1140 |4640 |1140 |4831 | 286 | 0 | 17 | 2.823930e+02 | -- | Inf
28.68/28.72 o 523
28.68/28.72 c *28.1s| 195 | 101 | 17437 | 0.0 | 14M| 149 | - |1140 |4644 | 0 | 0 | 286 | 34 | 17 | 2.827482e+02 | 5.230000e+02 | 84.97%
28.68/28.72 o 522
28.68/28.72 c *28.1s| 202 | 100 | 17437 | 0.0 | 14M| 149 | - |1140 |4644 | 0 | 0 | 286 | 34 | 17 | 2.827482e+02 | 5.220000e+02 | 84.62%
28.68/28.72 o 519
28.68/28.72 c *28.1s| 250 | 100 | 17437 | 0.0 | 14M| 154 | - |1140 |4644 | 0 | 0 | 286 | 34 | 17 | 2.827482e+02 | 5.190000e+02 | 83.56%
28.68/28.74 o 518
28.68/28.74 c *28.1s| 335 | 98 | 17437 | 0.0 | 14M| 154 | - |1140 |4645 | 0 | 0 | 286 | 36 | 17 | 2.827482e+02 | 5.180000e+02 | 83.20%
31.48/31.55 c 30.8s| 10000 | 94 | 17437 | 0.0 | 14M| 154 | - |1140 |4644 | 0 | 0 | 286 | 406 | 17 | 2.827482e+02 | 5.180000e+02 | 83.20%
34.38/34.42 c 33.5s| 20000 | 94 | 17437 | 0.0 | 14M| 154 | - |1140 |4645 | 0 | 0 | 286 | 717 | 17 | 2.827482e+02 | 5.180000e+02 | 83.20%
36.98/37.08 c 36.0s| 30000 | 94 | 17437 | 0.0 | 14M| 154 | - |1140 |4645 | 0 | 0 | 286 | 908 | 17 | 2.827482e+02 | 5.180000e+02 | 83.20%
39.49/39.58 c 38.3s| 40000 | 93 | 17437 | 0.0 | 14M| 154 | - |1140 |4645 | 0 | 0 | 286 | 991 | 17 | 2.827482e+02 | 5.180000e+02 | 83.20%
42.08/42.10 c 40.7s| 50000 | 93 | 17437 | 0.0 | 14M| 154 | - |1140 |4644 | 0 | 0 | 286 |1114 | 17 | 2.827482e+02 | 5.180000e+02 | 83.20%
44.78/44.89 c 43.3s| 60000 | 90 | 17437 | 0.0 | 14M| 154 | - |1140 |4644 | 0 | 0 | 286 |1423 | 17 | 2.827482e+02 | 5.180000e+02 | 83.20%
47.48/47.50 c 45.8s| 70000 | 93 | 17437 | 0.0 | 14M| 154 | - |1140 |4644 | 0 | 0 | 286 |1589 | 17 | 2.827482e+02 | 5.180000e+02 | 83.20%
50.28/50.37 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
50.28/50.37 c 48.5s| 80000 | 92 | 17437 | 0.0 | 14M| 154 | - |1140 |4644 | 0 | 0 | 286 |1837 | 17 | 2.827482e+02 | 5.180000e+02 | 83.20%
54.28/54.30 c 52.2s| 90000 | 92 | 17437 | 0.0 | 14M| 154 | - |1140 |4651 | 0 | 0 | 286 |2750 | 17 | 2.827482e+02 | 5.180000e+02 | 83.20%
57.38/57.44 c 55.1s|100000 | 93 | 17437 | 0.0 | 14M| 154 | - |1140 |4650 | 0 | 0 | 286 |3163 | 17 | 2.827482e+02 | 5.180000e+02 | 83.20%
60.58/60.69 c 58.2s|110000 | 95 | 17437 | 0.0 | 14M| 154 | - |1140 |4644 | 0 | 0 | 286 |3683 | 17 | 2.827482e+02 | 5.180000e+02 | 83.20%
63.78/63.85 c 61.2s|120000 | 91 | 17437 | 0.0 | 14M| 154 | - |1140 |4645 | 0 | 0 | 286 |4169 | 17 | 2.827482e+02 | 5.180000e+02 | 83.20%
66.68/66.71 c 63.9s|130000 | 94 | 17437 | 0.0 | 14M| 154 | - |1140 |4645 | 0 | 0 | 286 |4437 | 17 | 2.827482e+02 | 5.180000e+02 | 83.20%
69.18/69.30 c 66.3s|140000 | 91 | 17437 | 0.0 | 14M| 154 | - |1140 |4646 | 0 | 0 | 286 |4560 | 17 | 2.827482e+02 | 5.180000e+02 | 83.20%
71.87/71.92 c 68.8s|150000 | 91 | 17437 | 0.0 | 14M| 154 | - |1140 |4648 | 0 | 0 | 286 |4856 | 17 | 2.827482e+02 | 5.180000e+02 | 83.20%
74.38/74.46 c 71.2s|160000 | 94 | 17437 | 0.0 | 14M| 154 | - |1140 |4645 | 0 | 0 | 286 |4994 | 17 | 2.827482e+02 | 5.180000e+02 | 83.20%
76.88/76.91 c 73.5s|170000 | 88 | 17437 | 0.0 | 14M| 154 | - |1140 |4645 | 0 | 0 | 286 |5091 | 17 | 2.827482e+02 | 5.180000e+02 | 83.20%
79.27/79.39 c 75.8s|180000 | 94 | 17437 | 0.0 | 14M| 154 | - |1140 |4644 | 0 | 0 | 286 |5183 | 17 | 2.827482e+02 | 5.180000e+02 | 83.20%
81.97/82.07 c 78.4s|190000 | 90 | 17437 | 0.0 | 14M| 154 | - |1140 |4644 | 0 | 0 | 286 |5397 | 17 | 2.827482e+02 | 5.180000e+02 | 83.20%
84.77/84.88 c 81.0s|200000 | 92 | 17437 | 0.0 | 14M| 154 | - |1140 |4645 | 0 | 0 | 286 |5661 | 17 | 2.827482e+02 | 5.180000e+02 | 83.20%
89.08/89.17 c 85.1s|210000 | 92 | 17437 | 0.0 | 14M| 154 | - |1140 |4645 | 0 | 0 | 286 |6902 | 17 | 2.827482e+02 | 5.180000e+02 | 83.20%
95.27/95.38 c 91.1s|220000 | 88 | 17437 | 0.0 | 14M| 154 | - |1140 |4644 | 0 | 0 | 286 |9744 | 17 | 2.827482e+02 | 5.180000e+02 | 83.20%
100.57/100.66 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
100.57/100.66 c 96.2s|230000 | 89 | 17437 | 0.0 | 14M| 154 | - |1140 |4652 | 0 | 0 | 286 | 11k| 17 | 2.827482e+02 | 5.180000e+02 | 83.20%
104.06/104.18 c 99.6s|240000 | 89 | 17437 | 0.0 | 14M| 154 | - |1140 |4647 | 0 | 0 | 286 | 12k| 17 | 2.827482e+02 | 5.180000e+02 | 83.20%
106.97/107.09 c 102s|250000 | 89 | 17437 | 0.0 | 14M| 154 | - |1140 |4645 | 0 | 0 | 286 | 13k| 17 | 2.827482e+02 | 5.180000e+02 | 83.20%
109.97/110.05 c 105s|260000 | 86 | 17437 | 0.0 | 14M| 154 | - |1140 |4646 | 0 | 0 | 286 | 13k| 17 | 2.827482e+02 | 5.180000e+02 | 83.20%
112.76/112.80 c 108s|270000 | 91 | 17437 | 0.0 | 14M| 154 | - |1140 |4646 | 0 | 0 | 286 | 14k| 17 | 2.827482e+02 | 5.180000e+02 | 83.20%
115.37/115.45 c 110s|280000 | 91 | 17437 | 0.0 | 14M| 154 | - |1140 |4645 | 0 | 0 | 286 | 14k| 17 | 2.827482e+02 | 5.180000e+02 | 83.20%
118.26/118.33 c 113s|290000 | 88 | 17437 | 0.0 | 14M| 154 | - |1140 |4647 | 0 | 0 | 286 | 14k| 17 | 2.827482e+02 | 5.180000e+02 | 83.20%
121.46/121.52 c 116s|300000 | 94 | 17437 | 0.0 | 14M| 154 | - |1140 |4645 | 0 | 0 | 286 | 15k| 17 | 2.827482e+02 | 5.180000e+02 | 83.20%
124.27/124.37 c 119s|310000 | 87 | 17437 | 0.0 | 14M| 154 | - |1140 |4646 | 0 | 0 | 286 | 15k| 17 | 2.827482e+02 | 5.180000e+02 | 83.20%
127.26/127.33 c 121s|320000 | 89 | 17437 | 0.0 | 14M| 154 | - |1140 |4648 | 0 | 0 | 286 | 15k| 17 | 2.827482e+02 | 5.180000e+02 | 83.20%
131.26/131.31 c 125s|330000 | 93 | 17437 | 0.0 | 14M| 154 | - |1140 |4647 | 0 | 0 | 286 | 16k| 17 | 2.827482e+02 | 5.180000e+02 | 83.20%
134.85/134.96 c 129s|340000 | 92 | 17437 | 0.0 | 14M| 154 | - |1140 |4644 | 0 | 0 | 286 | 17k| 17 | 2.827482e+02 | 5.180000e+02 | 83.20%
137.86/137.98 c 132s|350000 | 92 | 17437 | 0.0 | 14M| 154 | - |1140 |4644 | 0 | 0 | 286 | 18k| 17 | 2.827482e+02 | 5.180000e+02 | 83.20%
141.26/141.30 c 135s|360000 | 89 | 17437 | 0.0 | 14M| 154 | - |1140 |4652 | 0 | 0 | 286 | 18k| 17 | 2.827482e+02 | 5.180000e+02 | 83.20%
144.15/144.25 c 137s|370000 | 85 | 17437 | 0.0 | 14M| 154 | - |1140 |4648 | 0 | 0 | 286 | 19k| 17 | 2.827482e+02 | 5.180000e+02 | 83.20%
147.26/147.38 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
147.26/147.38 c 140s|380000 | 94 | 17437 | 0.0 | 14M| 154 | - |1140 |4645 | 0 | 0 | 286 | 19k| 17 | 2.827482e+02 | 5.180000e+02 | 83.20%
150.76/150.84 c 144s|390000 | 87 | 17437 | 0.0 | 14M| 154 | - |1140 |4647 | 0 | 0 | 286 | 20k| 17 | 2.827482e+02 | 5.180000e+02 | 83.20%
155.15/155.25 c 148s|400000 | 92 | 17437 | 0.0 | 14M| 154 | - |1140 |4649 | 0 | 0 | 286 | 21k| 17 | 2.827482e+02 | 5.180000e+02 | 83.20%
159.15/159.23 c 152s|410000 | 90 | 17437 | 0.0 | 14M| 154 | - |1140 |4650 | 0 | 0 | 286 | 23k| 17 | 2.827482e+02 | 5.180000e+02 | 83.20%
161.95/162.08 c 154s|420000 | 92 | 17437 | 0.0 | 14M| 154 | - |1140 |4648 | 0 | 0 | 286 | 23k| 17 | 2.827482e+02 | 5.180000e+02 | 83.20%
164.86/164.93 c 157s|430000 | 88 | 17437 | 0.0 | 14M| 154 | - |1140 |4649 | 0 | 0 | 286 | 23k| 17 | 2.827482e+02 | 5.180000e+02 | 83.20%
168.15/168.29 c 160s|440000 | 92 | 17437 | 0.0 | 14M| 154 | - |1140 |4651 | 0 | 0 | 286 | 24k| 17 | 2.827482e+02 | 5.180000e+02 | 83.20%
172.15/172.21 c 164s|450000 | 90 | 17437 | 0.0 | 14M| 154 | - |1140 |4649 | 0 | 0 | 286 | 25k| 17 | 2.827482e+02 | 5.180000e+02 | 83.20%
175.15/175.25 c 167s|460000 | 92 | 17437 | 0.0 | 14M| 154 | - |1140 |4646 | 0 | 0 | 286 | 26k| 17 | 2.827482e+02 | 5.180000e+02 | 83.20%
178.55/178.66 c 170s|470000 | 89 | 17437 | 0.0 | 14M| 154 | - |1140 |4647 | 0 | 0 | 286 | 26k| 17 | 2.827482e+02 | 5.180000e+02 | 83.20%
181.74/181.88 c 173s|480000 | 87 | 17437 | 0.0 | 14M| 154 | - |1140 |4648 | 0 | 0 | 286 | 27k| 17 | 2.827482e+02 | 5.180000e+02 | 83.20%
185.34/185.41 c 177s|490000 | 88 | 17437 | 0.0 | 14M| 154 | - |1140 |4647 | 0 | 0 | 286 | 28k| 17 | 2.827482e+02 | 5.180000e+02 | 83.20%
189.25/189.31 c 180s|500000 | 91 | 17437 | 0.0 | 14M| 154 | - |1140 |4647 | 0 | 0 | 286 | 29k| 17 | 2.827482e+02 | 5.180000e+02 | 83.20%
192.65/192.77 c 184s|510000 | 88 | 17437 | 0.0 | 14M| 154 | - |1140 |4646 | 0 | 0 | 286 | 29k| 17 | 2.827482e+02 | 5.180000e+02 | 83.20%
196.34/196.41 c 187s|520000 | 89 | 17437 | 0.0 | 14M| 154 | - |1140 |4645 | 0 | 0 | 286 | 30k| 17 | 2.827482e+02 | 5.180000e+02 | 83.20%
199.65/199.72 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
199.65/199.72 c 190s|530000 | 87 | 17437 | 0.0 | 14M| 154 | - |1140 |4647 | 0 | 0 | 286 | 31k| 17 | 2.827482e+02 | 5.180000e+02 | 83.20%
202.74/202.86 c 193s|540000 | 87 | 17437 | 0.0 | 14M| 154 | - |1140 |4646 | 0 | 0 | 286 | 31k| 17 | 2.827482e+02 | 5.180000e+02 | 83.20%
205.65/205.77 c 196s|550000 | 90 | 17437 | 0.0 | 14M| 154 | - |1140 |4645 | 0 | 0 | 286 | 32k| 17 | 2.827482e+02 | 5.180000e+02 | 83.20%
210.14/210.30 c 200s|560000 | 92 | 17437 | 0.0 | 14M| 154 | - |1140 |4646 | 0 | 0 | 286 | 33k| 17 | 2.827482e+02 | 5.180000e+02 | 83.20%
215.13/215.29 c 205s|570000 | 89 | 17437 | 0.0 | 14M| 154 | - |1140 |4649 | 0 | 0 | 286 | 35k| 17 | 2.827482e+02 | 5.180000e+02 | 83.20%
220.34/220.40 c 210s|580000 | 89 | 17437 | 0.0 | 14M| 154 | - |1140 |4649 | 0 | 0 | 286 | 37k| 17 | 2.827482e+02 | 5.180000e+02 | 83.20%
225.13/225.27 c 215s|590000 | 89 | 17437 | 0.0 | 14M| 154 | - |1140 |4645 | 0 | 0 | 286 | 38k| 17 | 2.827482e+02 | 5.180000e+02 | 83.20%
229.53/229.62 c 219s|600000 | 90 | 17437 | 0.0 | 14M| 154 | - |1140 |4645 | 0 | 0 | 286 | 39k| 17 | 2.827482e+02 | 5.180000e+02 | 83.20%
235.43/235.55 c 225s|610000 | 88 | 17437 | 0.0 | 14M| 154 | - |1140 |4648 | 0 | 0 | 286 | 42k| 17 | 2.827482e+02 | 5.180000e+02 | 83.20%
241.33/241.41 c 230s|620000 | 90 | 17437 | 0.0 | 14M| 154 | - |1140 |4647 | 0 | 0 | 286 | 44k| 17 | 2.827482e+02 | 5.180000e+02 | 83.20%
246.53/246.65 c 235s|630000 | 87 | 17437 | 0.0 | 14M| 154 | - |1140 |4650 | 0 | 0 | 286 | 46k| 17 | 2.827482e+02 | 5.180000e+02 | 83.20%
254.43/254.51 c 243s|640000 | 90 | 17437 | 0.0 | 14M| 154 | - |1140 |4657 | 0 | 0 | 286 | 50k| 17 | 2.827482e+02 | 5.180000e+02 | 83.20%
263.33/263.40 c 251s|650000 | 88 | 17437 | 0.0 | 14M| 154 | - |1140 |4653 | 0 | 0 | 286 | 55k| 17 | 2.827482e+02 | 5.180000e+02 | 83.20%
270.72/270.85 c 259s|660000 | 89 | 17437 | 0.0 | 14M| 154 | - |1140 |4646 | 0 | 0 | 286 | 58k| 17 | 2.827482e+02 | 5.180000e+02 | 83.20%
274.12/274.22 c 262s|670000 | 84 | 17437 | 0.0 | 14M| 154 | - |1140 |4649 | 0 | 0 | 286 | 59k| 17 | 2.827482e+02 | 5.180000e+02 | 83.20%
277.62/277.72 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
277.62/277.72 c 265s|680000 | 87 | 17437 | 0.0 | 14M| 154 | - |1140 |4648 | 0 | 0 | 286 | 60k| 17 | 2.827482e+02 | 5.180000e+02 | 83.20%
280.92/281.07 c 268s|690000 | 88 | 17437 | 0.0 | 14M| 154 | - |1140 |4650 | 0 | 0 | 286 | 61k| 17 | 2.827482e+02 | 5.180000e+02 | 83.20%
284.61/284.76 c 272s|700000 | 85 | 17437 | 0.0 | 14M| 154 | - |1140 |4651 | 0 | 0 | 286 | 62k| 17 | 2.827482e+02 | 5.180000e+02 | 83.20%
288.42/288.52 c 275s|710000 | 89 | 17437 | 0.0 | 14M| 154 | - |1140 |4650 | 0 | 0 | 286 | 63k| 17 | 2.827482e+02 | 5.180000e+02 | 83.20%
292.02/292.13 c 279s|720000 | 85 | 17437 | 0.0 | 14M| 154 | - |1140 |4650 | 0 | 0 | 286 | 64k| 17 | 2.827482e+02 | 5.180000e+02 | 83.20%
295.62/295.77 c 282s|730000 | 86 | 17437 | 0.0 | 14M| 154 | - |1140 |4649 | 0 | 0 | 286 | 65k| 17 | 2.827482e+02 | 5.180000e+02 | 83.20%
298.81/298.96 c 285s|740000 | 91 | 17437 | 0.0 | 14M| 154 | - |1140 |4644 | 0 | 0 | 286 | 66k| 17 | 2.827482e+02 | 5.180000e+02 | 83.20%
303.12/303.20 c 289s|750000 | 94 | 17437 | 0.0 | 14M| 154 | - |1140 |4645 | 0 | 0 | 286 | 67k| 17 | 2.827482e+02 | 5.180000e+02 | 83.20%
307.11/307.30 c 293s|760000 | 92 | 17437 | 0.0 | 14M| 154 | - |1140 |4645 | 0 | 0 | 286 | 68k| 17 | 2.827482e+02 | 5.180000e+02 | 83.20%
310.02/310.15 c 296s|770000 | 92 | 17437 | 0.0 | 14M| 154 | - |1140 |4644 | 0 | 0 | 286 | 69k| 17 | 2.827482e+02 | 5.180000e+02 | 83.20%
314.31/314.44 c 300s|780000 | 90 | 17437 | 0.0 | 14M| 154 | - |1140 |4644 | 0 | 0 | 286 | 70k| 17 | 2.827482e+02 | 5.180000e+02 | 83.20%
318.51/318.64 c 304s|790000 | 88 | 17437 | 0.0 | 14M| 154 | - |1140 |4644 | 0 | 0 | 286 | 71k| 17 | 2.827482e+02 | 5.180000e+02 | 83.20%
323.01/323.15 c 308s|800000 | 94 | 17437 | 0.0 | 14M| 154 | - |1140 |4648 | 0 | 0 | 286 | 73k| 17 | 2.827482e+02 | 5.180000e+02 | 83.20%
330.81/330.93 c 316s|810000 | 91 | 17437 | 0.0 | 14M| 154 | - |1140 |4652 | 0 | 0 | 286 | 77k| 17 | 2.827482e+02 | 5.180000e+02 | 83.20%
337.21/337.30 c 322s|820000 | 90 | 17437 | 0.0 | 14M| 154 | - |1140 |4659 | 0 | 0 | 286 | 79k| 17 | 2.827482e+02 | 5.180000e+02 | 83.20%
340.81/340.93 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
340.81/340.93 c 326s|830000 | 91 | 17437 | 0.0 | 14M| 154 | - |1140 |4645 | 0 | 0 | 286 | 81k| 17 | 2.827482e+02 | 5.180000e+02 | 83.20%
344.41/344.55 c 329s|840000 | 88 | 17437 | 0.0 | 14M| 154 | - |1140 |4644 | 0 | 0 | 286 | 81k| 17 | 2.827482e+02 | 5.180000e+02 | 83.20%
348.20/348.39 c 333s|850000 | 91 | 17437 | 0.0 | 14M| 154 | - |1140 |4649 | 0 | 0 | 286 | 82k| 17 | 2.827482e+02 | 5.180000e+02 | 83.20%
352.80/352.95 c 337s|860000 | 89 | 17437 | 0.0 | 14M| 154 | - |1140 |4644 | 0 | 0 | 286 | 84k| 17 | 2.827482e+02 | 5.180000e+02 | 83.20%
358.20/358.35 c 342s|870000 | 91 | 17437 | 0.0 | 14M| 154 | - |1140 |4644 | 0 | 0 | 286 | 86k| 17 | 2.827482e+02 | 5.180000e+02 | 83.20%
364.10/364.24 c 348s|880000 | 90 | 17437 | 0.0 | 14M| 154 | - |1140 |4644 | 0 | 0 | 286 | 89k| 17 | 2.827482e+02 | 5.180000e+02 | 83.20%
369.79/369.92 c 353s|890000 | 87 | 17437 | 0.0 | 14M| 154 | - |1140 |4644 | 0 | 0 | 286 | 91k| 17 | 2.827482e+02 | 5.180000e+02 | 83.20%
373.60/373.73 c 357s|900000 | 92 | 17437 | 0.0 | 14M| 154 | - |1140 |4646 | 0 | 0 | 286 | 92k| 17 | 2.827482e+02 | 5.180000e+02 | 83.20%
377.50/377.65 c 361s|910000 | 85 | 17437 | 0.0 | 14M| 154 | - |1140 |4645 | 0 | 0 | 286 | 94k| 17 | 2.827482e+02 | 5.180000e+02 | 83.20%
381.40/381.50 c 364s|920000 | 91 | 17437 | 0.0 | 14M| 154 | - |1140 |4647 | 0 | 0 | 286 | 95k| 17 | 2.827482e+02 | 5.180000e+02 | 83.20%
386.49/386.67 c 369s|930000 | 92 | 17437 | 0.0 | 14M| 154 | - |1140 |4646 | 0 | 0 | 286 | 97k| 17 | 2.827482e+02 | 5.180000e+02 | 83.20%
391.29/391.44 c 374s|940000 | 90 | 17437 | 0.0 | 14M| 154 | - |1140 |4648 | 0 | 0 | 286 | 99k| 17 | 2.827482e+02 | 5.180000e+02 | 83.20%
395.69/395.80 c 378s|950000 | 87 | 17437 | 0.0 | 14M| 154 | - |1140 |4647 | 0 | 0 | 286 | 100k| 17 | 2.827482e+02 | 5.180000e+02 | 83.20%
400.79/400.98 c 383s|960000 | 89 | 17437 | 0.0 | 14M| 154 | - |1140 |4648 | 0 | 0 | 286 | 102k| 17 | 2.827482e+02 | 5.180000e+02 | 83.20%
406.29/406.47 c 389s|970000 | 87 | 17437 | 0.0 | 14M| 154 | - |1140 |4646 | 0 | 0 | 286 | 104k| 17 | 2.827482e+02 | 5.180000e+02 | 83.20%
410.88/411.05 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
410.88/411.05 c 393s|980000 | 92 | 17437 | 0.0 | 14M| 154 | - |1140 |4648 | 0 | 0 | 286 | 106k| 17 | 2.827482e+02 | 5.180000e+02 | 83.20%
415.48/415.69 c 397s|990000 | 90 | 17437 | 0.0 | 14M| 154 | - |1140 |4650 | 0 | 0 | 286 | 107k| 17 | 2.827482e+02 | 5.180000e+02 | 83.20%
419.29/419.45 c 401s| 1000k| 93 | 17437 | 0.0 | 14M| 154 | - |1140 |4654 | 0 | 0 | 286 | 108k| 17 | 2.827482e+02 | 5.180000e+02 | 83.20%
424.08/424.29 c 406s| 1010k| 88 | 17437 | 0.0 | 14M| 154 | - |1140 |4657 | 0 | 0 | 286 | 110k| 17 | 2.827482e+02 | 5.180000e+02 | 83.20%
428.28/428.45 c 410s| 1020k| 94 | 17437 | 0.0 | 14M| 154 | - |1140 |4650 | 0 | 0 | 286 | 111k| 17 | 2.827482e+02 | 5.180000e+02 | 83.20%
431.09/431.21 c 412s| 1030k| 88 | 17437 | 0.0 | 14M| 154 | - |1140 |4647 | 0 | 0 | 286 | 111k| 17 | 2.827482e+02 | 5.180000e+02 | 83.20%
433.98/434.19 c 415s| 1040k| 91 | 17437 | 0.0 | 14M| 154 | - |1140 |4647 | 0 | 0 | 286 | 112k| 17 | 2.827482e+02 | 5.180000e+02 | 83.20%
437.18/437.37 c 418s| 1050k| 88 | 17437 | 0.0 | 14M| 154 | - |1140 |4648 | 0 | 0 | 286 | 112k| 17 | 2.827482e+02 | 5.180000e+02 | 83.20%
440.89/441.01 c 421s| 1060k| 88 | 17437 | 0.0 | 14M| 154 | - |1140 |4650 | 0 | 0 | 286 | 113k| 17 | 2.827482e+02 | 5.180000e+02 | 83.20%
443.88/444.02 c 424s| 1070k| 88 | 17437 | 0.0 | 14M| 154 | - |1140 |4649 | 0 | 0 | 286 | 114k| 17 | 2.827482e+02 | 5.180000e+02 | 83.20%
447.48/447.67 c 428s| 1080k| 86 | 17437 | 0.0 | 14M| 154 | - |1140 |4647 | 0 | 0 | 286 | 114k| 17 | 2.827482e+02 | 5.180000e+02 | 83.20%
451.17/451.30 c 431s| 1090k| 93 | 17437 | 0.0 | 14M| 154 | - |1140 |4648 | 0 | 0 | 286 | 115k| 17 | 2.827482e+02 | 5.180000e+02 | 83.20%
454.68/454.82 c 435s| 1100k| 83 | 17437 | 0.0 | 14M| 154 | - |1140 |4650 | 0 | 0 | 286 | 116k| 17 | 2.827482e+02 | 5.180000e+02 | 83.20%
458.08/458.27 c 438s| 1110k| 88 | 17437 | 0.0 | 14M| 154 | - |1140 |4651 | 0 | 0 | 286 | 117k| 17 | 2.827482e+02 | 5.180000e+02 | 83.20%
461.27/461.42 c 441s| 1120k| 90 | 17437 | 0.0 | 14M| 154 | - |1140 |4648 | 0 | 0 | 286 | 117k| 17 | 2.827482e+02 | 5.180000e+02 | 83.20%
464.57/464.70 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
464.57/464.70 c 444s| 1130k| 90 | 17437 | 0.0 | 14M| 154 | - |1140 |4655 | 0 | 0 | 286 | 118k| 17 | 2.827482e+02 | 5.180000e+02 | 83.20%
468.48/468.63 c 448s| 1140k| 88 | 17437 | 0.0 | 14M| 154 | - |1140 |4648 | 0 | 0 | 286 | 119k| 17 | 2.827482e+02 | 5.180000e+02 | 83.20%
472.07/472.26 c 451s| 1150k| 90 | 17437 | 0.0 | 14M| 154 | - |1140 |4647 | 0 | 0 | 286 | 120k| 17 | 2.827482e+02 | 5.180000e+02 | 83.20%
475.27/475.48 c 454s| 1160k| 86 | 17437 | 0.0 | 14M| 154 | - |1140 |4648 | 0 | 0 | 286 | 120k| 17 | 2.827482e+02 | 5.180000e+02 | 83.20%
478.57/478.78 c 457s| 1170k| 90 | 17437 | 0.0 | 14M| 154 | - |1140 |4649 | 0 | 0 | 286 | 121k| 17 | 2.827482e+02 | 5.180000e+02 | 83.20%
481.87/482.05 c 460s| 1180k| 86 | 17437 | 0.0 | 14M| 154 | - |1140 |4650 | 0 | 0 | 286 | 121k| 17 | 2.827482e+02 | 5.180000e+02 | 83.20%
485.57/485.74 c 464s| 1190k| 86 | 17437 | 0.0 | 14M| 154 | - |1140 |4649 | 0 | 0 | 286 | 122k| 17 | 2.827482e+02 | 5.180000e+02 | 83.20%
488.66/488.83 c 467s| 1200k| 92 | 17437 | 0.0 | 14M| 154 | - |1140 |4648 | 0 | 0 | 286 | 123k| 17 | 2.827482e+02 | 5.180000e+02 | 83.20%
491.66/491.84 c 470s| 1210k| 88 | 17437 | 0.0 | 14M| 154 | - |1140 |4648 | 0 | 0 | 286 | 123k| 17 | 2.827482e+02 | 5.180000e+02 | 83.20%
495.07/495.21 c 473s| 1220k| 92 | 17437 | 0.0 | 14M| 154 | - |1140 |4647 | 0 | 0 | 286 | 124k| 17 | 2.827482e+02 | 5.180000e+02 | 83.20%
498.27/498.40 c 476s| 1230k| 93 | 17437 | 0.0 | 14M| 154 | - |1140 |4650 | 0 | 0 | 286 | 125k| 17 | 2.827482e+02 | 5.180000e+02 | 83.20%
502.36/502.51 c 480s| 1240k| 88 | 17437 | 0.0 | 14M| 154 | - |1140 |4646 | 0 | 0 | 286 | 126k| 17 | 2.827482e+02 | 5.180000e+02 | 83.20%
507.26/507.46 c 485s| 1250k| 86 | 17437 | 0.0 | 14M| 154 | - |1140 |4650 | 0 | 0 | 286 | 128k| 17 | 2.827482e+02 | 5.180000e+02 | 83.20%
510.76/510.90 c 488s| 1260k| 84 | 17437 | 0.0 | 14M| 154 | - |1140 |4650 | 0 | 0 | 286 | 128k| 17 | 2.827482e+02 | 5.180000e+02 | 83.20%
514.16/514.40 c 491s| 1270k| 87 | 17437 | 0.0 | 14M| 154 | - |1140 |4647 | 0 | 0 | 286 | 129k| 17 | 2.827482e+02 | 5.180000e+02 | 83.20%
517.87/518.10 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
517.87/518.10 c 495s| 1280k| 87 | 17437 | 0.0 | 14M| 154 | - |1140 |4648 | 0 | 0 | 286 | 130k| 17 | 2.827482e+02 | 5.180000e+02 | 83.20%
521.16/521.31 c 498s| 1290k| 89 | 17437 | 0.0 | 14M| 154 | - |1140 |4646 | 0 | 0 | 286 | 131k| 17 | 2.827482e+02 | 5.180000e+02 | 83.20%
525.26/525.40 c 502s| 1300k| 88 | 17437 | 0.0 | 14M| 154 | - |1140 |4648 | 0 | 0 | 286 | 132k| 17 | 2.827482e+02 | 5.180000e+02 | 83.20%
529.97/530.16 c 506s| 1310k| 88 | 17437 | 0.0 | 14M| 154 | - |1140 |4649 | 0 | 0 | 286 | 133k| 17 | 2.827482e+02 | 5.180000e+02 | 83.20%
533.96/534.14 c 510s| 1320k| 88 | 17437 | 0.0 | 14M| 154 | - |1140 |4647 | 0 | 0 | 286 | 135k| 17 | 2.827482e+02 | 5.180000e+02 | 83.20%
538.95/539.17 c 515s| 1330k| 89 | 17437 | 0.0 | 14M| 154 | - |1140 |4655 | 0 | 0 | 286 | 137k| 17 | 2.827482e+02 | 5.180000e+02 | 83.20%
544.55/544.70 c 520s| 1340k| 92 | 17437 | 0.0 | 14M| 154 | - |1140 |4648 | 0 | 0 | 286 | 139k| 17 | 2.827482e+02 | 5.180000e+02 | 83.20%
549.35/549.55 c 525s| 1350k| 89 | 17437 | 0.0 | 14M| 154 | - |1140 |4650 | 0 | 0 | 286 | 141k| 17 | 2.827482e+02 | 5.180000e+02 | 83.20%
553.75/553.93 c 529s| 1360k| 89 | 17437 | 0.0 | 14M| 154 | - |1140 |4649 | 0 | 0 | 286 | 143k| 17 | 2.827482e+02 | 5.180000e+02 | 83.20%
557.46/557.69 c 533s| 1370k| 88 | 17437 | 0.0 | 14M| 154 | - |1140 |4652 | 0 | 0 | 286 | 144k| 17 | 2.827482e+02 | 5.180000e+02 | 83.20%
561.25/561.41 c 536s| 1380k| 91 | 17437 | 0.0 | 14M| 154 | - |1140 |4646 | 0 | 0 | 286 | 145k| 17 | 2.827482e+02 | 5.180000e+02 | 83.20%
566.36/566.58 c 541s| 1390k| 91 | 17437 | 0.0 | 14M| 154 | - |1140 |4645 | 0 | 0 | 286 | 147k| 17 | 2.827482e+02 | 5.180000e+02 | 83.20%
571.45/571.67 c 546s| 1400k| 91 | 17437 | 0.0 | 14M| 154 | - |1140 |4652 | 0 | 0 | 286 | 149k| 17 | 2.827482e+02 | 5.180000e+02 | 83.20%
575.64/575.88 c 550s| 1410k| 84 | 17437 | 0.0 | 14M| 154 | - |1140 |4646 | 0 | 0 | 286 | 150k| 17 | 2.827482e+02 | 5.180000e+02 | 83.20%
580.14/580.39 c 554s| 1420k| 87 | 17437 | 0.0 | 14M| 154 | - |1140 |4653 | 0 | 0 | 286 | 152k| 17 | 2.827482e+02 | 5.180000e+02 | 83.20%
584.84/585.01 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
584.84/585.01 c 559s| 1430k| 86 | 17437 | 0.0 | 14M| 154 | - |1140 |4649 | 0 | 0 | 286 | 154k| 17 | 2.827482e+02 | 5.180000e+02 | 83.20%
592.14/592.35 c 566s| 1440k| 83 | 17437 | 0.0 | 14M| 154 | - |1140 |4647 | 0 | 0 | 286 | 157k| 17 | 2.827482e+02 | 5.180000e+02 | 83.20%
595.53/595.72 c 569s| 1450k| 86 | 17437 | 0.0 | 14M| 154 | - |1140 |4648 | 0 | 0 | 286 | 158k| 17 | 2.827482e+02 | 5.180000e+02 | 83.20%
598.93/599.14 c 572s| 1460k| 90 | 17437 | 0.0 | 14M| 154 | - |1140 |4647 | 0 | 0 | 286 | 159k| 17 | 2.827482e+02 | 5.180000e+02 | 83.20%
602.04/602.24 c 575s| 1470k| 88 | 17437 | 0.0 | 14M| 154 | - |1140 |4645 | 0 | 0 | 286 | 160k| 17 | 2.827482e+02 | 5.180000e+02 | 83.20%
605.44/605.67 c 578s| 1480k| 92 | 17437 | 0.0 | 14M| 154 | - |1140 |4645 | 0 | 0 | 286 | 160k| 17 | 2.827482e+02 | 5.180000e+02 | 83.20%
608.23/608.45 c 581s| 1490k| 83 | 17437 | 0.0 | 14M| 154 | - |1140 |4647 | 0 | 0 | 286 | 161k| 17 | 2.827482e+02 | 5.180000e+02 | 83.20%
610.93/611.16 c 584s| 1500k| 85 | 17437 | 0.0 | 14M| 154 | - |1140 |4645 | 0 | 0 | 286 | 161k| 17 | 2.827482e+02 | 5.180000e+02 | 83.20%
613.74/613.93 c 586s| 1510k| 89 | 17437 | 0.0 | 14M| 154 | - |1140 |4646 | 0 | 0 | 286 | 161k| 17 | 2.827482e+02 | 5.180000e+02 | 83.20%
617.13/617.34 c 589s| 1520k| 87 | 17437 | 0.0 | 14M| 154 | - |1140 |4645 | 0 | 0 | 286 | 162k| 17 | 2.827482e+02 | 5.180000e+02 | 83.20%
620.63/620.86 c 593s| 1530k| 87 | 17437 | 0.0 | 14M| 154 | - |1140 |4647 | 0 | 0 | 286 | 163k| 17 | 2.827482e+02 | 5.180000e+02 | 83.20%
623.94/624.16 c 596s| 1540k| 85 | 17437 | 0.0 | 14M| 154 | - |1140 |4645 | 0 | 0 | 286 | 164k| 17 | 2.827482e+02 | 5.180000e+02 | 83.20%
627.43/627.68 c 599s| 1550k| 85 | 17437 | 0.0 | 14M| 154 | - |1140 |4648 | 0 | 0 | 286 | 165k| 17 | 2.827482e+02 | 5.180000e+02 | 83.20%
630.73/630.98 c 602s| 1560k| 89 | 17437 | 0.0 | 14M| 154 | - |1140 |4645 | 0 | 0 | 286 | 166k| 17 | 2.827482e+02 | 5.180000e+02 | 83.20%
635.13/635.31 c 607s| 1570k| 91 | 17437 | 0.0 | 14M| 154 | - |1140 |4652 | 0 | 0 | 286 | 167k| 17 | 2.827482e+02 | 5.180000e+02 | 83.20%
640.53/640.71 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
640.53/640.71 c 612s| 1580k| 89 | 17437 | 0.0 | 14M| 154 | - |1140 |4654 | 0 | 0 | 286 | 169k| 17 | 2.827482e+02 | 5.180000e+02 | 83.20%
646.03/646.29 c 617s| 1590k| 87 | 17437 | 0.0 | 14M| 154 | - |1140 |4661 | 0 | 0 | 286 | 171k| 17 | 2.827482e+02 | 5.180000e+02 | 83.20%
651.73/651.99 c 623s| 1600k| 88 | 17437 | 0.0 | 14M| 154 | - |1140 |4657 | 0 | 0 | 286 | 174k| 17 | 2.827482e+02 | 5.180000e+02 | 83.20%
658.12/658.35 c 629s| 1610k| 86 | 17437 | 0.0 | 14M| 154 | - |1140 |4662 | 0 | 0 | 286 | 177k| 17 | 2.827482e+02 | 5.180000e+02 | 83.20%
664.13/664.37 c 635s| 1620k| 89 | 17437 | 0.0 | 14M| 154 | - |1140 |4646 | 0 | 0 | 286 | 179k| 17 | 2.827482e+02 | 5.180000e+02 | 83.20%
671.72/671.99 c 642s| 1630k| 89 | 17437 | 0.0 | 14M| 154 | - |1140 |4652 | 0 | 0 | 286 | 183k| 17 | 2.827482e+02 | 5.180000e+02 | 83.20%
680.62/680.85 c 651s| 1640k| 90 | 17437 | 0.0 | 14M| 154 | - |1140 |4655 | 0 | 0 | 286 | 187k| 17 | 2.827482e+02 | 5.180000e+02 | 83.20%
686.01/686.21 c 656s| 1650k| 85 | 17437 | 0.0 | 14M| 154 | - |1140 |4653 | 0 | 0 | 286 | 189k| 17 | 2.827482e+02 | 5.180000e+02 | 83.20%
690.02/690.21 c 660s| 1660k| 87 | 17437 | 0.0 | 14M| 154 | - |1140 |4651 | 0 | 0 | 286 | 191k| 17 | 2.827482e+02 | 5.180000e+02 | 83.20%
694.92/695.11 c 664s| 1670k| 91 | 17437 | 0.0 | 14M| 154 | - |1140 |4649 | 0 | 0 | 286 | 193k| 17 | 2.827482e+02 | 5.180000e+02 | 83.20%
700.31/700.59 c 670s| 1680k| 93 | 17437 | 0.0 | 14M| 154 | - |1140 |4652 | 0 | 0 | 286 | 195k| 17 | 2.827482e+02 | 5.180000e+02 | 83.20%
706.31/706.59 c 675s| 1690k| 90 | 17437 | 0.0 | 14M| 154 | - |1140 |4645 | 0 | 0 | 286 | 198k| 17 | 2.827482e+02 | 5.180000e+02 | 83.20%
712.11/712.32 c 681s| 1700k| 89 | 17437 | 0.0 | 14M| 154 | - |1140 |4653 | 0 | 0 | 286 | 200k| 17 | 2.827482e+02 | 5.180000e+02 | 83.20%
718.02/718.22 c 687s| 1710k| 89 | 17437 | 0.0 | 14M| 154 | - |1140 |4648 | 0 | 0 | 286 | 203k| 17 | 2.827482e+02 | 5.180000e+02 | 83.20%
724.62/724.82 c 693s| 1720k| 87 | 17437 | 0.0 | 14M| 154 | - |1140 |4650 | 0 | 0 | 286 | 205k| 17 | 2.827482e+02 | 5.180000e+02 | 83.20%
730.71/730.99 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
730.71/730.99 c 699s| 1730k| 91 | 17437 | 0.0 | 14M| 154 | - |1140 |4653 | 0 | 0 | 286 | 208k| 17 | 2.827482e+02 | 5.180000e+02 | 83.20%
736.31/736.58 c 704s| 1740k| 85 | 17437 | 0.0 | 14M| 154 | - |1140 |4648 | 0 | 0 | 286 | 210k| 17 | 2.827482e+02 | 5.180000e+02 | 83.20%
741.60/741.86 c 709s| 1750k| 87 | 17437 | 0.0 | 14M| 154 | - |1140 |4652 | 0 | 0 | 286 | 213k| 17 | 2.827482e+02 | 5.180000e+02 | 83.20%
747.90/748.19 c 715s| 1760k| 84 | 17437 | 0.0 | 14M| 154 | - |1140 |4652 | 0 | 0 | 286 | 215k| 17 | 2.827482e+02 | 5.180000e+02 | 83.20%
753.90/754.10 c 721s| 1770k| 89 | 17437 | 0.0 | 14M| 154 | - |1140 |4646 | 0 | 0 | 286 | 218k| 17 | 2.827482e+02 | 5.180000e+02 | 83.20%
759.09/759.37 c 726s| 1780k| 87 | 17437 | 0.0 | 14M| 154 | - |1140 |4647 | 0 | 0 | 286 | 220k| 17 | 2.827482e+02 | 5.180000e+02 | 83.20%
763.60/763.86 c 731s| 1790k| 89 | 17437 | 0.0 | 14M| 154 | - |1140 |4648 | 0 | 0 | 286 | 221k| 17 | 2.827482e+02 | 5.180000e+02 | 83.20%
766.60/766.80 c 733s| 1800k| 84 | 17437 | 0.0 | 14M| 154 | - |1140 |4648 | 0 | 0 | 286 | 222k| 17 | 2.827482e+02 | 5.180000e+02 | 83.20%
770.20/770.42 c 737s| 1810k| 84 | 17437 | 0.0 | 14M| 154 | - |1140 |4651 | 0 | 0 | 286 | 223k| 17 | 2.827482e+02 | 5.180000e+02 | 83.20%
774.79/775.05 c 741s| 1820k| 90 | 17437 | 0.0 | 14M| 154 | - |1140 |4658 | 0 | 0 | 286 | 224k| 17 | 2.827482e+02 | 5.180000e+02 | 83.20%
779.09/779.38 c 745s| 1830k| 91 | 17437 | 0.0 | 14M| 154 | - |1140 |4650 | 0 | 0 | 286 | 225k| 17 | 2.827482e+02 | 5.180000e+02 | 83.20%
783.20/783.40 c 749s| 1840k| 89 | 17437 | 0.0 | 14M| 154 | - |1140 |4650 | 0 | 0 | 286 | 226k| 17 | 2.827482e+02 | 5.180000e+02 | 83.20%
787.69/787.95 c 754s| 1850k| 88 | 17437 | 0.0 | 14M| 154 | - |1140 |4652 | 0 | 0 | 286 | 228k| 17 | 2.827482e+02 | 5.180000e+02 | 83.20%
791.89/792.14 c 758s| 1860k| 89 | 17437 | 0.0 | 14M| 154 | - |1140 |4650 | 0 | 0 | 286 | 229k| 17 | 2.827482e+02 | 5.180000e+02 | 83.20%
796.99/797.22 c 762s| 1870k| 84 | 17437 | 0.0 | 14M| 154 | - |1140 |4655 | 0 | 0 | 286 | 231k| 17 | 2.827482e+02 | 5.180000e+02 | 83.20%
801.59/801.86 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
801.59/801.86 c 767s| 1880k| 87 | 17437 | 0.0 | 14M| 154 | - |1140 |4652 | 0 | 0 | 286 | 232k| 17 | 2.827482e+02 | 5.180000e+02 | 83.20%
805.89/806.16 c 771s| 1890k| 90 | 17437 | 0.0 | 14M| 154 | - |1140 |4651 | 0 | 0 | 286 | 234k| 17 | 2.827482e+02 | 5.180000e+02 | 83.20%
811.08/811.30 c 776s| 1900k| 94 | 17437 | 0.0 | 14M| 154 | - |1140 |4649 | 0 | 0 | 286 | 236k| 17 | 2.827482e+02 | 5.180000e+02 | 83.20%
815.79/816.08 c 781s| 1910k| 87 | 17437 | 0.0 | 14M| 154 | - |1140 |4647 | 0 | 0 | 286 | 237k| 17 | 2.827482e+02 | 5.180000e+02 | 83.20%
821.18/821.41 c 786s| 1920k| 88 | 17437 | 0.0 | 14M| 154 | - |1140 |4651 | 0 | 0 | 286 | 239k| 17 | 2.827482e+02 | 5.180000e+02 | 83.20%
825.38/825.63 c 790s| 1930k| 89 | 17437 | 0.0 | 14M| 154 | - |1140 |4650 | 0 | 0 | 286 | 241k| 17 | 2.827482e+02 | 5.180000e+02 | 83.20%
829.58/829.82 c 794s| 1940k| 88 | 17437 | 0.0 | 14M| 154 | - |1140 |4648 | 0 | 0 | 286 | 242k| 17 | 2.827482e+02 | 5.180000e+02 | 83.20%
833.87/834.11 c 798s| 1950k| 90 | 17437 | 0.0 | 14M| 154 | - |1140 |4648 | 0 | 0 | 286 | 243k| 17 | 2.827482e+02 | 5.180000e+02 | 83.20%
839.08/839.38 c 803s| 1960k| 90 | 17437 | 0.0 | 14M| 154 | - |1140 |4652 | 0 | 0 | 286 | 245k| 17 | 2.827482e+02 | 5.180000e+02 | 83.20%
844.67/844.98 c 808s| 1970k| 92 | 17437 | 0.0 | 14M| 154 | - |1140 |4650 | 0 | 0 | 286 | 247k| 17 | 2.827482e+02 | 5.180000e+02 | 83.20%
851.77/852.09 c 815s| 1980k| 91 | 17437 | 0.0 | 14M| 154 | - |1140 |4651 | 0 | 0 | 286 | 250k| 17 | 2.827482e+02 | 5.180000e+02 | 83.20%
856.98/857.27 c 820s| 1990k| 89 | 17437 | 0.0 | 14M| 154 | - |1140 |4653 | 0 | 0 | 286 | 252k| 17 | 2.827482e+02 | 5.180000e+02 | 83.20%
861.17/861.43 c 824s| 2000k| 89 | 17437 | 0.0 | 14M| 154 | - |1140 |4657 | 0 | 0 | 286 | 253k| 17 | 2.827482e+02 | 5.180000e+02 | 83.20%
866.17/866.45 c 829s| 2010k| 90 | 17437 | 0.0 | 14M| 154 | - |1140 |4655 | 0 | 0 | 286 | 255k| 17 | 2.827482e+02 | 5.180000e+02 | 83.20%
871.57/871.86 c 834s| 2020k| 86 | 17437 | 0.0 | 14M| 154 | - |1140 |4656 | 0 | 0 | 286 | 257k| 17 | 2.827482e+02 | 5.180000e+02 | 83.20%
878.68/878.92 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
878.68/878.92 c 841s| 2030k| 84 | 17437 | 0.0 | 14M| 154 | - |1140 |4654 | 0 | 0 | 286 | 261k| 17 | 2.827482e+02 | 5.180000e+02 | 83.20%
885.46/885.78 c 848s| 2040k| 86 | 17437 | 0.0 | 14M| 154 | - |1140 |4650 | 0 | 0 | 286 | 263k| 17 | 2.827482e+02 | 5.180000e+02 | 83.20%
890.87/891.14 c 853s| 2050k| 86 | 17437 | 0.0 | 14M| 154 | - |1140 |4655 | 0 | 0 | 286 | 265k| 17 | 2.827482e+02 | 5.180000e+02 | 83.20%
894.96/895.21 c 857s| 2060k| 83 | 17437 | 0.0 | 14M| 154 | - |1140 |4657 | 0 | 0 | 286 | 267k| 17 | 2.827482e+02 | 5.180000e+02 | 83.20%
900.46/900.75 c 862s| 2070k| 84 | 17437 | 0.0 | 14M| 154 | - |1140 |4650 | 0 | 0 | 286 | 269k| 17 | 2.827482e+02 | 5.180000e+02 | 83.20%
904.47/904.79 c 866s| 2080k| 93 | 17437 | 0.0 | 14M| 154 | - |1140 |4651 | 0 | 0 | 286 | 270k| 17 | 2.827482e+02 | 5.180000e+02 | 83.20%
909.26/909.57 c 870s| 2090k| 85 | 17437 | 0.0 | 14M| 154 | - |1140 |4657 | 0 | 0 | 286 | 271k| 17 | 2.827482e+02 | 5.180000e+02 | 83.20%
913.76/914.02 c 875s| 2100k| 91 | 17437 | 0.0 | 14M| 154 | - |1140 |4652 | 0 | 0 | 286 | 273k| 17 | 2.827482e+02 | 5.180000e+02 | 83.20%
918.55/918.86 c 879s| 2110k| 86 | 17437 | 0.0 | 14M| 154 | - |1140 |4653 | 0 | 0 | 286 | 275k| 17 | 2.827482e+02 | 5.180000e+02 | 83.20%
923.77/924.02 c 884s| 2120k| 89 | 17437 | 0.0 | 14M| 154 | - |1140 |4656 | 0 | 0 | 286 | 277k| 17 | 2.827482e+02 | 5.180000e+02 | 83.20%
929.46/929.71 c 890s| 2130k| 86 | 17437 | 0.0 | 14M| 154 | - |1140 |4654 | 0 | 0 | 286 | 279k| 17 | 2.827482e+02 | 5.180000e+02 | 83.20%
935.45/935.70 c 896s| 2140k| 88 | 17437 | 0.0 | 14M| 154 | - |1140 |4647 | 0 | 0 | 286 | 282k| 17 | 2.827482e+02 | 5.180000e+02 | 83.20%
941.75/942.04 c 902s| 2150k| 88 | 17437 | 0.0 | 14M| 154 | - |1140 |4650 | 0 | 0 | 286 | 284k| 17 | 2.827482e+02 | 5.180000e+02 | 83.20%
947.65/947.95 c 907s| 2160k| 85 | 17437 | 0.0 | 14M| 154 | - |1140 |4654 | 0 | 0 | 286 | 287k| 17 | 2.827482e+02 | 5.180000e+02 | 83.20%
953.95/954.29 c 914s| 2170k| 87 | 17437 | 0.0 | 14M| 154 | - |1140 |4651 | 0 | 0 | 286 | 290k| 17 | 2.827482e+02 | 5.180000e+02 | 83.20%
957.94/958.21 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
957.94/958.21 c 917s| 2180k| 90 | 17437 | 0.0 | 14M| 154 | - |1140 |4650 | 0 | 0 | 286 | 291k| 17 | 2.827482e+02 | 5.180000e+02 | 83.20%
961.64/961.90 c 921s| 2190k| 89 | 17437 | 0.0 | 14M| 154 | - |1140 |4650 | 0 | 0 | 286 | 292k| 17 | 2.827482e+02 | 5.180000e+02 | 83.20%
966.14/966.41 c 925s| 2200k| 88 | 17437 | 0.0 | 14M| 154 | - |1140 |4656 | 0 | 0 | 286 | 293k| 17 | 2.827482e+02 | 5.180000e+02 | 83.20%
971.54/971.85 c 930s| 2210k| 86 | 17437 | 0.0 | 14M| 154 | - |1140 |4653 | 0 | 0 | 286 | 295k| 17 | 2.827482e+02 | 5.180000e+02 | 83.20%
977.74/978.07 c 936s| 2220k| 87 | 17437 | 0.0 | 14M| 154 | - |1140 |4658 | 0 | 0 | 286 | 298k| 17 | 2.827482e+02 | 5.180000e+02 | 83.20%
986.04/986.38 c 944s| 2230k| 89 | 17437 | 0.0 | 14M| 154 | - |1140 |4657 | 0 | 0 | 286 | 302k| 17 | 2.827482e+02 | 5.180000e+02 | 83.20%
990.94/991.28 c 949s| 2240k| 84 | 17437 | 0.0 | 14M| 154 | - |1140 |4657 | 0 | 0 | 286 | 303k| 17 | 2.827482e+02 | 5.180000e+02 | 83.20%
994.64/994.90 c 953s| 2250k| 87 | 17437 | 0.0 | 14M| 154 | - |1140 |4650 | 0 | 0 | 286 | 304k| 17 | 2.827482e+02 | 5.180000e+02 | 83.20%
998.34/998.69 c 956s| 2260k| 84 | 17437 | 0.0 | 14M| 154 | - |1140 |4651 | 0 | 0 | 286 | 305k| 17 | 2.827482e+02 | 5.180000e+02 | 83.20%
1002.84/1003.18 c 960s| 2270k| 88 | 17437 | 0.0 | 14M| 154 | - |1140 |4650 | 0 | 0 | 286 | 306k| 17 | 2.827482e+02 | 5.180000e+02 | 83.20%
1006.53/1006.86 c 964s| 2280k| 85 | 17437 | 0.0 | 14M| 154 | - |1140 |4654 | 0 | 0 | 286 | 307k| 17 | 2.827482e+02 | 5.180000e+02 | 83.20%
1010.43/1010.71 c 968s| 2290k| 83 | 17437 | 0.0 | 14M| 154 | - |1140 |4650 | 0 | 0 | 286 | 308k| 17 | 2.827482e+02 | 5.180000e+02 | 83.20%
1014.64/1014.91 c 972s| 2300k| 87 | 17437 | 0.0 | 14M| 154 | - |1140 |4651 | 0 | 0 | 286 | 309k| 17 | 2.827482e+02 | 5.180000e+02 | 83.20%
1018.73/1019.02 c 976s| 2310k| 88 | 17437 | 0.0 | 14M| 154 | - |1140 |4647 | 0 | 0 | 286 | 310k| 17 | 2.827482e+02 | 5.180000e+02 | 83.20%
1023.33/1023.67 c 980s| 2320k| 84 | 17437 | 0.0 | 14M| 154 | - |1140 |4656 | 0 | 0 | 286 | 312k| 17 | 2.827482e+02 | 5.180000e+02 | 83.20%
1028.43/1028.76 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1028.43/1028.76 c 985s| 2330k| 87 | 17437 | 0.0 | 14M| 154 | - |1140 |4647 | 0 | 0 | 286 | 314k| 17 | 2.827482e+02 | 5.180000e+02 | 83.20%
1034.93/1035.20 c 991s| 2340k| 86 | 17437 | 0.0 | 14M| 154 | - |1140 |4652 | 0 | 0 | 286 | 317k| 17 | 2.827482e+02 | 5.180000e+02 | 83.20%
1039.52/1039.88 c 996s| 2350k| 91 | 17437 | 0.0 | 14M| 154 | - |1140 |4650 | 0 | 0 | 286 | 319k| 17 | 2.827482e+02 | 5.180000e+02 | 83.20%
1043.93/1044.21 c 1000s| 2360k| 85 | 17437 | 0.0 | 14M| 154 | - |1140 |4651 | 0 | 0 | 286 | 320k| 17 | 2.827482e+02 | 5.180000e+02 | 83.20%
1048.03/1048.37 c 1004s| 2370k| 95 | 17437 | 0.0 | 14M| 154 | - |1140 |4645 | 0 | 0 | 286 | 321k| 17 | 2.827482e+02 | 5.180000e+02 | 83.20%
1053.22/1053.52 c 1009s| 2380k| 92 | 17437 | 0.0 | 14M| 154 | - |1140 |4646 | 0 | 0 | 286 | 323k| 17 | 2.827482e+02 | 5.180000e+02 | 83.20%
1057.82/1058.14 c 1013s| 2390k| 91 | 17437 | 0.0 | 14M| 154 | - |1140 |4648 | 0 | 0 | 286 | 325k| 17 | 2.827482e+02 | 5.180000e+02 | 83.20%
1063.52/1063.86 c 1019s| 2400k| 91 | 17437 | 0.0 | 14M| 154 | - |1140 |4646 | 0 | 0 | 286 | 327k| 17 | 2.827482e+02 | 5.180000e+02 | 83.20%
1069.52/1069.82 c 1024s| 2410k| 95 | 17437 | 0.0 | 14M| 154 | - |1140 |4646 | 0 | 0 | 286 | 329k| 17 | 2.827482e+02 | 5.180000e+02 | 83.20%
1073.52/1073.84 c 1028s| 2420k| 95 | 17437 | 0.0 | 14M| 154 | - |1140 |4646 | 0 | 0 | 286 | 330k| 17 | 2.827482e+02 | 5.180000e+02 | 83.20%
1078.73/1079.04 c 1033s| 2430k| 93 | 17437 | 0.0 | 14M| 154 | - |1140 |4644 | 0 | 0 | 286 | 332k| 17 | 2.827482e+02 | 5.180000e+02 | 83.20%
1083.81/1084.12 c 1038s| 2440k| 92 | 17437 | 0.0 | 14M| 154 | - |1140 |4646 | 0 | 0 | 286 | 334k| 17 | 2.827482e+02 | 5.180000e+02 | 83.20%
1088.91/1089.28 c 1043s| 2450k| 89 | 17437 | 0.0 | 14M| 154 | - |1140 |4645 | 0 | 0 | 286 | 336k| 17 | 2.827482e+02 | 5.180000e+02 | 83.20%
1094.61/1094.91 c 1048s| 2460k| 86 | 17437 | 0.0 | 14M| 154 | - |1140 |4644 | 0 | 0 | 286 | 338k| 17 | 2.827482e+02 | 5.180000e+02 | 83.20%
1100.01/1100.30 c 1054s| 2470k| 94 | 17437 | 0.0 | 14M| 154 | - |1140 |4645 | 0 | 0 | 286 | 340k| 17 | 2.827482e+02 | 5.180000e+02 | 83.20%
1104.81/1105.18 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1104.81/1105.18 c 1058s| 2480k| 90 | 17437 | 0.0 | 14M| 154 | - |1140 |4646 | 0 | 0 | 286 | 341k| 17 | 2.827482e+02 | 5.180000e+02 | 83.20%
1110.01/1110.33 c 1063s| 2490k| 94 | 17437 | 0.0 | 14M| 154 | - |1140 |4646 | 0 | 0 | 286 | 343k| 17 | 2.827482e+02 | 5.180000e+02 | 83.20%
1115.50/1115.80 c 1068s| 2500k| 87 | 17437 | 0.0 | 14M| 154 | - |1140 |4649 | 0 | 0 | 286 | 345k| 17 | 2.827482e+02 | 5.180000e+02 | 83.20%
1120.61/1120.97 c 1073s| 2510k| 93 | 17437 | 0.0 | 14M| 154 | - |1140 |4644 | 0 | 0 | 286 | 347k| 17 | 2.827482e+02 | 5.180000e+02 | 83.20%
1125.60/1125.91 c 1078s| 2520k| 88 | 17437 | 0.0 | 14M| 154 | - |1140 |4647 | 0 | 0 | 286 | 349k| 17 | 2.827482e+02 | 5.180000e+02 | 83.20%
1131.51/1131.89 c 1084s| 2530k| 93 | 17437 | 0.0 | 14M| 154 | - |1140 |4646 | 0 | 0 | 286 | 351k| 17 | 2.827482e+02 | 5.180000e+02 | 83.20%
1138.00/1138.35 c 1090s| 2540k| 89 | 17437 | 0.0 | 14M| 154 | - |1140 |4644 | 0 | 0 | 286 | 354k| 17 | 2.827482e+02 | 5.180000e+02 | 83.20%
1144.60/1144.96 c 1096s| 2550k| 91 | 17437 | 0.0 | 14M| 154 | - |1140 |4650 | 0 | 0 | 286 | 356k| 17 | 2.827482e+02 | 5.180000e+02 | 83.20%
1150.40/1150.76 c 1102s| 2560k| 88 | 17437 | 0.0 | 14M| 154 | - |1140 |4644 | 0 | 0 | 286 | 359k| 17 | 2.827482e+02 | 5.180000e+02 | 83.20%
1156.20/1156.56 c 1108s| 2570k| 88 | 17437 | 0.0 | 14M| 154 | - |1140 |4646 | 0 | 0 | 286 | 361k| 17 | 2.827482e+02 | 5.180000e+02 | 83.20%
1160.90/1161.29 c 1112s| 2580k| 87 | 17437 | 0.0 | 14M| 154 | - |1140 |4645 | 0 | 0 | 286 | 363k| 17 | 2.827482e+02 | 5.180000e+02 | 83.20%
1167.60/1167.93 c 1119s| 2590k| 92 | 17437 | 0.0 | 14M| 154 | - |1140 |4647 | 0 | 0 | 286 | 366k| 17 | 2.827482e+02 | 5.180000e+02 | 83.20%
1173.60/1173.92 c 1124s| 2600k| 90 | 17437 | 0.0 | 14M| 154 | - |1140 |4649 | 0 | 0 | 286 | 369k| 17 | 2.827482e+02 | 5.180000e+02 | 83.20%
1179.89/1180.27 c 1131s| 2610k| 84 | 17437 | 0.0 | 14M| 154 | - |1140 |4645 | 0 | 0 | 286 | 372k| 17 | 2.827482e+02 | 5.180000e+02 | 83.20%
1185.99/1186.39 c 1136s| 2620k| 89 | 17437 | 0.0 | 14M| 154 | - |1140 |4650 | 0 | 0 | 286 | 375k| 17 | 2.827482e+02 | 5.180000e+02 | 83.20%
1193.09/1193.47 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1193.09/1193.47 c 1143s| 2630k| 87 | 17437 | 0.0 | 14M| 154 | - |1140 |4651 | 0 | 0 | 286 | 378k| 17 | 2.827482e+02 | 5.180000e+02 | 83.20%
1199.49/1199.80 c 1149s| 2640k| 87 | 17437 | 0.0 | 14M| 154 | - |1140 |4646 | 0 | 0 | 286 | 381k| 17 | 2.827482e+02 | 5.180000e+02 | 83.20%
1205.68/1206.01 c 1155s| 2650k| 89 | 17437 | 0.0 | 14M| 154 | - |1140 |4644 | 0 | 0 | 286 | 384k| 17 | 2.827482e+02 | 5.180000e+02 | 83.20%
1212.58/1213.00 c 1162s| 2660k| 91 | 17437 | 0.0 | 14M| 154 | - |1140 |4648 | 0 | 0 | 286 | 387k| 17 | 2.827482e+02 | 5.180000e+02 | 83.20%
1217.29/1217.66 c 1167s| 2670k| 88 | 17437 | 0.0 | 14M| 154 | - |1140 |4647 | 0 | 0 | 286 | 389k| 17 | 2.827482e+02 | 5.180000e+02 | 83.20%
1222.18/1222.50 c 1171s| 2680k| 86 | 17437 | 0.0 | 14M| 154 | - |1140 |4644 | 0 | 0 | 286 | 391k| 17 | 2.827482e+02 | 5.180000e+02 | 83.20%
1227.78/1228.18 c 1177s| 2690k| 93 | 17437 | 0.0 | 14M| 154 | - |1140 |4653 | 0 | 0 | 286 | 393k| 17 | 2.827482e+02 | 5.180000e+02 | 83.20%
1234.08/1234.40 c 1183s| 2700k| 89 | 17437 | 0.0 | 14M| 154 | - |1140 |4648 | 0 | 0 | 286 | 396k| 17 | 2.827482e+02 | 5.180000e+02 | 83.20%
1239.58/1239.94 c 1188s| 2710k| 84 | 17437 | 0.0 | 14M| 154 | - |1140 |4647 | 0 | 0 | 286 | 399k| 17 | 2.827482e+02 | 5.180000e+02 | 83.20%
1246.07/1246.44 c 1194s| 2720k| 91 | 17437 | 0.0 | 14M| 154 | - |1140 |4646 | 0 | 0 | 286 | 402k| 17 | 2.827482e+02 | 5.180000e+02 | 83.20%
1253.27/1253.62 c 1201s| 2730k| 92 | 17437 | 0.0 | 14M| 154 | - |1140 |4648 | 0 | 0 | 286 | 405k| 17 | 2.827482e+02 | 5.180000e+02 | 83.20%
1259.67/1260.03 c 1207s| 2740k| 85 | 17437 | 0.0 | 14M| 154 | - |1140 |4647 | 0 | 0 | 286 | 408k| 17 | 2.827482e+02 | 5.180000e+02 | 83.20%
1263.97/1264.34 c 1212s| 2750k| 85 | 17437 | 0.0 | 14M| 154 | - |1140 |4647 | 0 | 0 | 286 | 410k| 17 | 2.827482e+02 | 5.180000e+02 | 83.20%
1270.07/1270.48 c 1218s| 2760k| 93 | 17437 | 0.0 | 14M| 154 | - |1140 |4646 | 0 | 0 | 286 | 413k| 17 | 2.827482e+02 | 5.180000e+02 | 83.20%
1275.27/1275.70 c 1223s| 2770k| 86 | 17437 | 0.0 | 14M| 154 | - |1140 |4646 | 0 | 0 | 286 | 415k| 17 | 2.827482e+02 | 5.180000e+02 | 83.20%
1281.37/1281.74 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1281.37/1281.74 c 1228s| 2780k| 89 | 17437 | 0.0 | 14M| 154 | - |1140 |4653 | 0 | 0 | 286 | 418k| 17 | 2.827482e+02 | 5.180000e+02 | 83.20%
1287.27/1287.65 c 1234s| 2790k| 93 | 17437 | 0.0 | 14M| 154 | - |1140 |4646 | 0 | 0 | 286 | 421k| 17 | 2.827482e+02 | 5.180000e+02 | 83.20%
1293.17/1293.57 c 1240s| 2800k| 87 | 17437 | 0.0 | 14M| 154 | - |1140 |4646 | 0 | 0 | 286 | 423k| 17 | 2.827482e+02 | 5.180000e+02 | 83.20%
1298.96/1299.34 c 1245s| 2810k| 88 | 17437 | 0.0 | 14M| 154 | - |1140 |4648 | 0 | 0 | 286 | 426k| 17 | 2.827482e+02 | 5.180000e+02 | 83.20%
1305.37/1305.74 c 1252s| 2820k| 86 | 17437 | 0.0 | 14M| 154 | - |1140 |4646 | 0 | 0 | 286 | 429k| 17 | 2.827482e+02 | 5.180000e+02 | 83.20%
1311.36/1311.74 c 1257s| 2830k| 88 | 17437 | 0.0 | 14M| 154 | - |1140 |4647 | 0 | 0 | 286 | 431k| 17 | 2.827482e+02 | 5.180000e+02 | 83.20%
1319.06/1319.40 c 1265s| 2840k| 88 | 17437 | 0.0 | 14M| 154 | - |1140 |4651 | 0 | 0 | 286 | 435k| 17 | 2.827482e+02 | 5.180000e+02 | 83.20%
1326.16/1326.52 c 1272s| 2850k| 89 | 17437 | 0.0 | 14M| 154 | - |1140 |4648 | 0 | 0 | 286 | 439k| 17 | 2.827482e+02 | 5.180000e+02 | 83.20%
1332.95/1333.30 c 1278s| 2860k| 89 | 17437 | 0.0 | 14M| 154 | - |1140 |4646 | 0 | 0 | 286 | 442k| 17 | 2.827482e+02 | 5.180000e+02 | 83.20%
1340.05/1340.48 c 1285s| 2870k| 85 | 17437 | 0.0 | 14M| 154 | - |1140 |4650 | 0 | 0 | 286 | 446k| 17 | 2.827482e+02 | 5.180000e+02 | 83.20%
1345.44/1345.86 c 1290s| 2880k| 88 | 17437 | 0.0 | 14M| 154 | - |1140 |4649 | 0 | 0 | 286 | 448k| 17 | 2.827482e+02 | 5.180000e+02 | 83.20%
1349.95/1350.36 c 1295s| 2890k| 93 | 17437 | 0.0 | 14M| 154 | - |1140 |4649 | 0 | 0 | 286 | 449k| 17 | 2.827482e+02 | 5.180000e+02 | 83.20%
1354.64/1355.06 c 1299s| 2900k| 93 | 17437 | 0.0 | 14M| 154 | - |1140 |4649 | 0 | 0 | 286 | 451k| 17 | 2.827482e+02 | 5.180000e+02 | 83.20%
1359.75/1360.10 c 1304s| 2910k| 87 | 17437 | 0.0 | 14M| 154 | - |1140 |4654 | 0 | 0 | 286 | 453k| 17 | 2.827482e+02 | 5.180000e+02 | 83.20%
1363.24/1363.66 c 1307s| 2920k| 96 | 17437 | 0.0 | 14M| 154 | - |1140 |4648 | 0 | 0 | 286 | 454k| 17 | 2.827482e+02 | 5.180000e+02 | 83.20%
1366.85/1367.25 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1366.85/1367.25 c 1311s| 2930k| 90 | 17437 | 0.0 | 14M| 154 | - |1140 |4649 | 0 | 0 | 286 | 454k| 17 | 2.827482e+02 | 5.180000e+02 | 83.20%
1370.34/1370.77 c 1314s| 2940k| 93 | 17437 | 0.0 | 14M| 154 | - |1140 |4649 | 0 | 0 | 286 | 455k| 17 | 2.827482e+02 | 5.180000e+02 | 83.20%
1374.84/1375.22 c 1318s| 2950k| 85 | 17437 | 0.0 | 14M| 154 | - |1140 |4654 | 0 | 0 | 286 | 457k| 17 | 2.827482e+02 | 5.180000e+02 | 83.20%
1379.64/1380.04 c 1323s| 2960k| 95 | 17437 | 0.0 | 14M| 154 | - |1140 |4648 | 0 | 0 | 286 | 458k| 17 | 2.827482e+02 | 5.180000e+02 | 83.20%
1383.45/1383.83 c 1327s| 2970k| 89 | 17437 | 0.0 | 14M| 154 | - |1140 |4648 | 0 | 0 | 286 | 459k| 17 | 2.827482e+02 | 5.180000e+02 | 83.20%
1388.04/1388.49 c 1331s| 2980k| 86 | 17437 | 0.0 | 14M| 154 | - |1140 |4648 | 0 | 0 | 286 | 461k| 17 | 2.827482e+02 | 5.180000e+02 | 83.20%
1393.54/1393.92 c 1336s| 2990k| 88 | 17437 | 0.0 | 14M| 154 | - |1140 |4648 | 0 | 0 | 286 | 463k| 17 | 2.827482e+02 | 5.180000e+02 | 83.20%
1398.74/1399.12 c 1341s| 3000k| 88 | 17437 | 0.0 | 14M| 154 | - |1140 |4651 | 0 | 0 | 286 | 465k| 17 | 2.827482e+02 | 5.180000e+02 | 83.20%
1403.03/1403.42 c 1345s| 3010k| 91 | 17437 | 0.0 | 14M| 154 | - |1140 |4648 | 0 | 0 | 286 | 466k| 17 | 2.827482e+02 | 5.180000e+02 | 83.20%
1407.83/1408.22 c 1350s| 3020k| 89 | 17437 | 0.0 | 14M| 154 | - |1140 |4649 | 0 | 0 | 286 | 468k| 17 | 2.827482e+02 | 5.180000e+02 | 83.20%
1412.33/1412.79 c 1354s| 3030k| 88 | 17437 | 0.0 | 14M| 154 | - |1140 |4648 | 0 | 0 | 286 | 469k| 17 | 2.827482e+02 | 5.180000e+02 | 83.20%
1417.33/1417.78 c 1359s| 3040k| 89 | 17437 | 0.0 | 14M| 154 | - |1140 |4653 | 0 | 0 | 286 | 471k| 17 | 2.827482e+02 | 5.180000e+02 | 83.20%
1421.33/1421.74 c 1363s| 3050k| 91 | 17437 | 0.0 | 14M| 154 | - |1140 |4650 | 0 | 0 | 286 | 472k| 17 | 2.827482e+02 | 5.180000e+02 | 83.20%
1425.82/1426.27 c 1367s| 3060k| 90 | 17437 | 0.0 | 14M| 154 | - |1140 |4650 | 0 | 0 | 286 | 473k| 17 | 2.827482e+02 | 5.180000e+02 | 83.20%
1431.93/1432.38 c 1373s| 3070k| 89 | 17437 | 0.0 | 14M| 154 | - |1140 |4653 | 0 | 0 | 286 | 476k| 17 | 2.827482e+02 | 5.180000e+02 | 83.20%
1437.02/1437.41 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1437.02/1437.41 c 1378s| 3080k| 86 | 17437 | 0.0 | 14M| 154 | - |1140 |4659 | 0 | 0 | 286 | 477k| 17 | 2.827482e+02 | 5.180000e+02 | 83.20%
1441.82/1442.26 c 1383s| 3090k| 88 | 17437 | 0.0 | 14M| 154 | - |1140 |4648 | 0 | 0 | 286 | 479k| 17 | 2.827482e+02 | 5.180000e+02 | 83.20%
1446.32/1446.79 c 1387s| 3100k| 91 | 17437 | 0.0 | 14M| 154 | - |1140 |4649 | 0 | 0 | 286 | 481k| 17 | 2.827482e+02 | 5.180000e+02 | 83.20%
1450.82/1451.22 c 1391s| 3110k| 91 | 17437 | 0.0 | 14M| 154 | - |1140 |4649 | 0 | 0 | 286 | 482k| 17 | 2.827482e+02 | 5.180000e+02 | 83.20%
1454.21/1454.63 c 1395s| 3120k| 81 | 17437 | 0.0 | 14M| 154 | - |1140 |4649 | 0 | 0 | 286 | 483k| 17 | 2.827482e+02 | 5.180000e+02 | 83.20%
1459.52/1459.98 c 1400s| 3130k| 92 | 17437 | 0.0 | 14M| 154 | - |1140 |4648 | 0 | 0 | 286 | 485k| 17 | 2.827482e+02 | 5.180000e+02 | 83.20%
1464.82/1465.27 c 1405s| 3140k| 88 | 17437 | 0.0 | 14M| 154 | - |1140 |4647 | 0 | 0 | 286 | 488k| 17 | 2.827482e+02 | 5.180000e+02 | 83.20%
1470.12/1470.52 c 1410s| 3150k| 85 | 17437 | 0.0 | 14M| 154 | - |1140 |4647 | 0 | 0 | 286 | 490k| 17 | 2.827482e+02 | 5.180000e+02 | 83.20%
1475.51/1475.90 c 1415s| 3160k| 92 | 17437 | 0.0 | 14M| 154 | - |1140 |4649 | 0 | 0 | 286 | 492k| 17 | 2.827482e+02 | 5.180000e+02 | 83.20%
1479.52/1479.95 c 1419s| 3170k| 89 | 17437 | 0.0 | 14M| 154 | - |1140 |4651 | 0 | 0 | 286 | 493k| 17 | 2.827482e+02 | 5.180000e+02 | 83.20%
1483.52/1483.91 c 1423s| 3180k| 93 | 17437 | 0.0 | 14M| 154 | - |1140 |4649 | 0 | 0 | 286 | 494k| 17 | 2.827482e+02 | 5.180000e+02 | 83.20%
1487.61/1488.00 c 1427s| 3190k| 89 | 17437 | 0.0 | 14M| 154 | - |1140 |4649 | 0 | 0 | 286 | 495k| 17 | 2.827482e+02 | 5.180000e+02 | 83.20%
1492.32/1492.79 c 1431s| 3200k| 89 | 17437 | 0.0 | 14M| 154 | - |1140 |4654 | 0 | 0 | 286 | 496k| 17 | 2.827482e+02 | 5.180000e+02 | 83.20%
1499.41/1499.85 c 1438s| 3210k| 83 | 17437 | 0.0 | 14M| 154 | - |1140 |4652 | 0 | 0 | 286 | 499k| 17 | 2.827482e+02 | 5.180000e+02 | 83.20%
1504.81/1505.28 c 1443s| 3220k| 88 | 17437 | 0.0 | 14M| 154 | - |1140 |4652 | 0 | 0 | 286 | 501k| 17 | 2.827482e+02 | 5.180000e+02 | 83.20%
1509.30/1509.72 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1509.30/1509.72 c 1448s| 3230k| 91 | 17437 | 0.0 | 14M| 154 | - |1140 |4650 | 0 | 0 | 286 | 502k| 17 | 2.827482e+02 | 5.180000e+02 | 83.20%
1513.30/1513.78 c 1451s| 3240k| 87 | 17437 | 0.0 | 14M| 154 | - |1140 |4652 | 0 | 0 | 286 | 504k| 17 | 2.827482e+02 | 5.180000e+02 | 83.20%
1517.00/1517.45 c 1455s| 3250k| 87 | 17437 | 0.0 | 14M| 154 | - |1140 |4653 | 0 | 0 | 286 | 504k| 17 | 2.827482e+02 | 5.180000e+02 | 83.20%
1520.60/1521.06 c 1458s| 3260k| 93 | 17437 | 0.0 | 14M| 154 | - |1140 |4653 | 0 | 0 | 286 | 505k| 17 | 2.827482e+02 | 5.180000e+02 | 83.20%
1524.41/1524.82 c 1462s| 3270k| 88 | 17437 | 0.0 | 14M| 154 | - |1140 |4649 | 0 | 0 | 286 | 505k| 17 | 2.827482e+02 | 5.180000e+02 | 83.20%
1528.20/1528.67 c 1466s| 3280k| 87 | 17437 | 0.0 | 14M| 154 | - |1140 |4651 | 0 | 0 | 286 | 506k| 17 | 2.827482e+02 | 5.180000e+02 | 83.20%
1531.80/1532.23 c 1469s| 3290k| 90 | 17437 | 0.0 | 14M| 154 | - |1140 |4650 | 0 | 0 | 286 | 506k| 17 | 2.827482e+02 | 5.180000e+02 | 83.20%
1536.00/1536.49 c 1473s| 3300k| 87 | 17437 | 0.0 | 14M| 154 | - |1140 |4651 | 0 | 0 | 286 | 508k| 17 | 2.827482e+02 | 5.180000e+02 | 83.20%
1539.51/1539.97 c 1476s| 3310k| 87 | 17437 | 0.0 | 14M| 154 | - |1140 |4651 | 0 | 0 | 286 | 509k| 17 | 2.827482e+02 | 5.180000e+02 | 83.20%
1542.39/1542.88 c 1479s| 3320k| 92 | 17437 | 0.0 | 14M| 154 | - |1140 |4652 | 0 | 0 | 286 | 509k| 17 | 2.827482e+02 | 5.180000e+02 | 83.20%
1545.99/1546.48 c 1483s| 3330k| 88 | 17437 | 0.0 | 14M| 154 | - |1140 |4652 | 0 | 0 | 286 | 510k| 17 | 2.827482e+02 | 5.180000e+02 | 83.20%
1550.20/1550.67 c 1487s| 3340k| 87 | 17437 | 0.0 | 14M| 154 | - |1140 |4649 | 0 | 0 | 286 | 512k| 17 | 2.827482e+02 | 5.180000e+02 | 83.20%
1553.59/1554.01 c 1490s| 3350k| 84 | 17437 | 0.0 | 14M| 154 | - |1140 |4651 | 0 | 0 | 286 | 512k| 17 | 2.827482e+02 | 5.180000e+02 | 83.20%
1557.59/1558.02 c 1494s| 3360k| 84 | 17437 | 0.0 | 14M| 154 | - |1140 |4651 | 0 | 0 | 286 | 513k| 17 | 2.827482e+02 | 5.180000e+02 | 83.20%
1561.50/1561.94 c 1497s| 3370k| 88 | 17437 | 0.0 | 14M| 154 | - |1140 |4649 | 0 | 0 | 286 | 515k| 17 | 2.827482e+02 | 5.180000e+02 | 83.20%
1566.29/1566.70 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1566.29/1566.70 c 1502s| 3380k| 93 | 17437 | 0.0 | 14M| 154 | - |1140 |4649 | 0 | 0 | 286 | 517k| 17 | 2.827482e+02 | 5.180000e+02 | 83.20%
1570.49/1570.93 c 1506s| 3390k| 87 | 17437 | 0.0 | 14M| 154 | - |1140 |4648 | 0 | 0 | 286 | 518k| 17 | 2.827482e+02 | 5.180000e+02 | 83.20%
1573.79/1574.29 c 1509s| 3400k| 89 | 17437 | 0.0 | 14M| 154 | - |1140 |4649 | 0 | 0 | 286 | 519k| 17 | 2.827482e+02 | 5.180000e+02 | 83.20%
1577.89/1578.31 c 1513s| 3410k| 87 | 17437 | 0.0 | 14M| 154 | - |1140 |4648 | 0 | 0 | 286 | 520k| 17 | 2.827482e+02 | 5.180000e+02 | 83.20%
1582.79/1583.23 c 1518s| 3420k| 87 | 17437 | 0.0 | 14M| 154 | - |1140 |4647 | 0 | 0 | 286 | 522k| 17 | 2.827482e+02 | 5.180000e+02 | 83.20%
1586.89/1587.31 c 1522s| 3430k| 91 | 17437 | 0.0 | 14M| 154 | - |1140 |4652 | 0 | 0 | 286 | 523k| 17 | 2.827482e+02 | 5.180000e+02 | 83.20%
1590.58/1591.00 c 1525s| 3440k| 85 | 17437 | 0.0 | 14M| 154 | - |1140 |4647 | 0 | 0 | 286 | 524k| 17 | 2.827482e+02 | 5.180000e+02 | 83.20%
1594.18/1594.62 c 1529s| 3450k| 87 | 17437 | 0.0 | 14M| 154 | - |1140 |4648 | 0 | 0 | 286 | 525k| 17 | 2.827482e+02 | 5.180000e+02 | 83.20%
1598.48/1598.94 c 1533s| 3460k| 87 | 17437 | 0.0 | 14M| 154 | - |1140 |4647 | 0 | 0 | 286 | 527k| 17 | 2.827482e+02 | 5.180000e+02 | 83.20%
1602.19/1602.60 c 1536s| 3470k| 92 | 17437 | 0.0 | 14M| 154 | - |1140 |4647 | 0 | 0 | 286 | 528k| 17 | 2.827482e+02 | 5.180000e+02 | 83.20%
1608.38/1608.88 c 1542s| 3480k| 90 | 17437 | 0.0 | 14M| 154 | - |1140 |4649 | 0 | 0 | 286 | 530k| 17 | 2.827482e+02 | 5.180000e+02 | 83.20%
1614.98/1615.49 c 1549s| 3490k| 90 | 17437 | 0.0 | 14M| 154 | - |1140 |4647 | 0 | 0 | 286 | 533k| 17 | 2.827482e+02 | 5.180000e+02 | 83.20%
1619.97/1620.45 c 1553s| 3500k| 85 | 17437 | 0.0 | 14M| 154 | - |1140 |4648 | 0 | 0 | 286 | 535k| 17 | 2.827482e+02 | 5.180000e+02 | 83.20%
1624.19/1624.63 c 1557s| 3510k| 86 | 17437 | 0.0 | 14M| 154 | - |1140 |4647 | 0 | 0 | 286 | 536k| 17 | 2.827482e+02 | 5.180000e+02 | 83.20%
1628.68/1629.16 c 1562s| 3520k| 85 | 17437 | 0.0 | 14M| 154 | - |1140 |4647 | 0 | 0 | 286 | 537k| 17 | 2.827482e+02 | 5.180000e+02 | 83.20%
1635.38/1635.88 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1635.38/1635.88 c 1568s| 3530k| 88 | 17437 | 0.0 | 14M| 154 | - |1140 |4662 | 0 | 0 | 286 | 540k| 17 | 2.827482e+02 | 5.180000e+02 | 83.20%
1640.17/1640.65 c 1573s| 3540k| 86 | 17437 | 0.0 | 14M| 154 | - |1140 |4649 | 0 | 0 | 286 | 542k| 17 | 2.827482e+02 | 5.180000e+02 | 83.20%
1645.87/1646.33 c 1578s| 3550k| 86 | 17437 | 0.0 | 14M| 154 | - |1140 |4647 | 0 | 0 | 286 | 544k| 17 | 2.827482e+02 | 5.180000e+02 | 83.20%
1649.37/1649.80 c 1581s| 3560k| 87 | 17437 | 0.0 | 14M| 154 | - |1140 |4648 | 0 | 0 | 286 | 545k| 17 | 2.827482e+02 | 5.180000e+02 | 83.20%
1655.17/1655.62 c 1587s| 3570k| 91 | 17437 | 0.0 | 14M| 154 | - |1140 |4651 | 0 | 0 | 286 | 547k| 17 | 2.827482e+02 | 5.180000e+02 | 83.20%
1660.07/1660.58 c 1592s| 3580k| 84 | 17437 | 0.0 | 14M| 154 | - |1140 |4649 | 0 | 0 | 286 | 548k| 17 | 2.827482e+02 | 5.180000e+02 | 83.20%
1664.47/1664.99 c 1596s| 3590k| 87 | 17437 | 0.0 | 14M| 154 | - |1140 |4647 | 0 | 0 | 286 | 549k| 17 | 2.827482e+02 | 5.180000e+02 | 83.20%
1668.76/1669.28 c 1600s| 3600k| 87 | 17437 | 0.0 | 14M| 154 | - |1140 |4649 | 0 | 0 | 286 | 550k| 17 | 2.827482e+02 | 5.180000e+02 | 83.20%
1672.86/1673.32 c 1604s| 3610k| 90 | 17437 | 0.0 | 14M| 154 | - |1140 |4647 | 0 | 0 | 286 | 552k| 17 | 2.827482e+02 | 5.180000e+02 | 83.20%
1676.47/1676.97 c 1607s| 3620k| 89 | 17437 | 0.0 | 14M| 154 | - |1140 |4647 | 0 | 0 | 286 | 552k| 17 | 2.827482e+02 | 5.180000e+02 | 83.20%
1680.27/1680.73 c 1611s| 3630k| 85 | 17437 | 0.0 | 14M| 154 | - |1140 |4647 | 0 | 0 | 286 | 553k| 17 | 2.827482e+02 | 5.180000e+02 | 83.20%
1684.36/1684.88 c 1615s| 3640k| 86 | 17437 | 0.0 | 14M| 154 | - |1140 |4648 | 0 | 0 | 286 | 554k| 17 | 2.827482e+02 | 5.180000e+02 | 83.20%
1689.96/1690.47 c 1620s| 3650k| 88 | 17437 | 0.0 | 14M| 154 | - |1140 |4648 | 0 | 0 | 286 | 556k| 17 | 2.827482e+02 | 5.180000e+02 | 83.20%
1696.35/1696.87 c 1627s| 3660k| 87 | 17437 | 0.0 | 14M| 154 | - |1140 |4655 | 0 | 0 | 286 | 559k| 17 | 2.827482e+02 | 5.180000e+02 | 83.20%
1701.16/1701.65 c 1631s| 3670k| 89 | 17437 | 0.0 | 14M| 154 | - |1140 |4650 | 0 | 0 | 286 | 560k| 17 | 2.827482e+02 | 5.180000e+02 | 83.20%
1705.16/1705.62 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1705.16/1705.62 c 1635s| 3680k| 84 | 17437 | 0.0 | 14M| 154 | - |1140 |4648 | 0 | 0 | 286 | 562k| 17 | 2.827482e+02 | 5.180000e+02 | 83.20%
1709.86/1710.39 c 1640s| 3690k| 84 | 17437 | 0.0 | 14M| 154 | - |1140 |4649 | 0 | 0 | 286 | 563k| 17 | 2.827482e+02 | 5.180000e+02 | 83.20%
1715.26/1715.77 c 1645s| 3700k| 85 | 17437 | 0.0 | 14M| 154 | - |1140 |4654 | 0 | 0 | 286 | 565k| 17 | 2.827482e+02 | 5.180000e+02 | 83.20%
1719.45/1719.90 c 1649s| 3710k| 83 | 17437 | 0.0 | 14M| 154 | - |1140 |4650 | 0 | 0 | 286 | 566k| 17 | 2.827482e+02 | 5.180000e+02 | 83.20%
1724.05/1724.55 c 1653s| 3720k| 85 | 17437 | 0.0 | 14M| 154 | - |1140 |4652 | 0 | 0 | 286 | 568k| 17 | 2.827482e+02 | 5.180000e+02 | 83.20%
1728.35/1728.83 c 1657s| 3730k| 83 | 17437 | 0.0 | 14M| 154 | - |1140 |4653 | 0 | 0 | 286 | 569k| 17 | 2.827482e+02 | 5.180000e+02 | 83.20%
1731.35/1731.85 c 1660s| 3740k| 85 | 17437 | 0.0 | 14M| 154 | - |1140 |4649 | 0 | 0 | 286 | 569k| 17 | 2.827482e+02 | 5.180000e+02 | 83.20%
1735.55/1736.00 c 1664s| 3750k| 89 | 17437 | 0.0 | 14M| 154 | - |1140 |4649 | 0 | 0 | 286 | 570k| 17 | 2.827482e+02 | 5.180000e+02 | 83.20%
1740.65/1741.19 c 1669s| 3760k| 86 | 17437 | 0.0 | 14M| 154 | - |1140 |4649 | 0 | 0 | 286 | 572k| 17 | 2.827482e+02 | 5.180000e+02 | 83.20%
1745.15/1745.65 c 1673s| 3770k| 85 | 17437 | 0.0 | 14M| 154 | - |1140 |4647 | 0 | 0 | 286 | 574k| 17 | 2.827482e+02 | 5.180000e+02 | 83.20%
1751.14/1751.64 c 1679s| 3780k| 83 | 17437 | 0.0 | 14M| 154 | - |1140 |4653 | 0 | 0 | 286 | 576k| 17 | 2.827482e+02 | 5.180000e+02 | 83.20%
1754.74/1755.27 c 1683s| 3790k| 98 | 17437 | 0.0 | 14M| 154 | - |1140 |4656 | 0 | 0 | 286 | 577k| 17 | 2.827482e+02 | 5.180000e+02 | 83.20%
1760.24/1760.71 c 1688s| 3800k| 86 | 17437 | 0.0 | 14M| 154 | - |1140 |4648 | 0 | 0 | 286 | 579k| 17 | 2.827482e+02 | 5.180000e+02 | 83.20%
1765.05/1765.56 c 1692s| 3810k| 89 | 17437 | 0.0 | 14M| 154 | - |1140 |4648 | 0 | 0 | 286 | 581k| 17 | 2.827482e+02 | 5.180000e+02 | 83.20%
1769.04/1769.55 c 1696s| 3820k| 91 | 17437 | 0.0 | 14M| 154 | - |1140 |4651 | 0 | 0 | 286 | 582k| 17 | 2.827482e+02 | 5.180000e+02 | 83.20%
1773.23/1773.74 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1773.23/1773.74 c 1700s| 3830k| 94 | 17437 | 0.0 | 14M| 154 | - |1140 |4649 | 0 | 0 | 286 | 583k| 17 | 2.827482e+02 | 5.180000e+02 | 83.20%
1777.15/1777.69 c 1704s| 3840k| 88 | 17437 | 0.0 | 14M| 154 | - |1140 |4657 | 0 | 0 | 286 | 585k| 17 | 2.827482e+02 | 5.180000e+02 | 83.20%
1781.04/1781.56 c 1708s| 3850k| 88 | 17437 | 0.0 | 14M| 154 | - |1140 |4647 | 0 | 0 | 286 | 586k| 17 | 2.827482e+02 | 5.180000e+02 | 83.20%
1784.93/1785.47 c 1711s| 3860k| 87 | 17437 | 0.0 | 14M| 154 | - |1140 |4648 | 0 | 0 | 286 | 587k| 17 | 2.827482e+02 | 5.180000e+02 | 83.20%
1788.73/1789.27 c 1715s| 3870k| 87 | 17437 | 0.0 | 14M| 154 | - |1140 |4652 | 0 | 0 | 286 | 588k| 17 | 2.827482e+02 | 5.180000e+02 | 83.20%
1792.04/1792.54 c 1718s| 3880k| 89 | 17437 | 0.0 | 14M| 154 | - |1140 |4651 | 0 | 0 | 286 | 589k| 17 | 2.827482e+02 | 5.180000e+02 | 83.20%
1794.94/1795.42 c 1721s| 3890k| 87 | 17437 | 0.0 | 14M| 154 | - |1140 |4648 | 0 | 0 | 286 | 589k| 17 | 2.827482e+02 | 5.180000e+02 | 83.20%
1797.94/1798.47 c 1724s| 3900k| 85 | 17437 | 0.0 | 14M| 154 | - |1140 |4651 | 0 | 0 | 286 | 589k| 17 | 2.827482e+02 | 5.180000e+02 | 83.20%
1800.04/1800.50 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.04/1800.50 c
1800.04/1800.50 c SCIP Status : solving was interrupted [user interrupt]
1800.04/1800.50 c Solving Time (sec) : 1725.73
1800.04/1800.50 c Solving Nodes : 3904025
1800.04/1800.50 c Primal Bound : +5.18000000000000e+02 (4 solutions)
1800.04/1800.50 c Dual Bound : +2.82748238739710e+02
1800.04/1800.50 c Gap : 83.20 %
1800.04/1800.51 s SATISFIABLE
1800.04/1800.51 v x1152 -x1151 -x1150 x1149 x1148 -x1147 x1146 -x1145 x1144 -x1143 x1142 -x1141 x1140 -x1139 x1138 -x1137 x1136 -x1135 x1134 -x1133
1800.04/1800.51 v -x1132 x1131 x1130 -x1129 -x1128 -x1127 -x1126 x1125 x1124 -x1123 x1122 -x1121 x1120 -x1119 x1118 -x1117 x1116 -x1115 x1114
1800.04/1800.51 v -x1113 x1112 -x1111 x1110 -x1109 -x1108 x1107 x1106 -x1105 x1104 -x1103 -x1102 -x1101 -x1100 x1099 x1098 -x1097 -x1096 -x1095
1800.04/1800.51 v x1094 -x1093 x1092 -x1091 -x1090 x1089 x1088 -x1087 x1086 -x1085 x1084 -x1083 x1082 -x1081 x1080 -x1079 -x1078 x1077 x1076
1800.04/1800.51 v -x1075 x1074 -x1073 x1072 -x1071 x1070 -x1069 x1068 -x1067 x1066 -x1065 x1064 -x1063 x1062 -x1061 -x1060 x1059 x1058 -x1057
1800.04/1800.51 v x1056 -x1055 x1054 -x1053 x1052 -x1051 x1050 -x1049 -x1048 x1047 x1046 -x1045 x1044 -x1043 x1042 -x1041 x1040 -x1039 x1038 -x1037
1800.04/1800.51 v -x1036 x1035 x1034 -x1033 x1032 -x1031 x1030 -x1029 x1028 -x1027 x1026 -x1025 -x1024 x1023 x1022 -x1021 x1020 -x1019 x1018
1800.04/1800.51 v -x1017 x1016 -x1015 x1014 -x1013 -x1012 x1011 x1010 -x1009 x1008 -x1007 -x1006 x1005 x1004 -x1003 x1002 -x1001 x1000 -x999
1800.04/1800.51 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.04/1800.51 v -x975 x974 -x973 x972 -x971 -x970 x969 x968 -x967 x966 -x965 x964 -x963 x962 -x961 x960 -x959 -x958 -x957 -x956 x955 x954
1800.04/1800.51 v -x953 -x952 -x951 -x950 -x949 x948 -x947 -x946 x945 x944 -x943 x942 -x941 -x940 -x939 x938 -x937 x936 -x935 -x934 x933 -x932
1800.04/1800.51 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.04/1800.51 v x908 -x907 x906 -x905 x904 -x903 x902 -x901 x900 -x899 -x898 -x897 -x896 -x895 x894 -x893 -x892 x891 x890 -x889 -x888 x887
1800.04/1800.51 v x886 -x885 x884 -x883 x882 -x881 -x880 -x879 x878 -x877 -x876 -x875 x874 -x873 x872 -x871 x870 -x869 -x868 x867 x866 -x865
1800.04/1800.51 v x864 -x863 x862 -x861 x860 -x859 x858 -x857 -x856 x855 x854 -x853 x852 -x851 -x850 x849 x848 -x847 x846 -x845 x844 -x843 x842
1800.04/1800.51 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.04/1800.51 v x818 -x817 x816 -x815 -x814 x813 x812 -x811 x810 -x809 x808 -x807 x806 -x805 x804 -x803 -x802 x801 x800 -x799 x798 -x797
1800.04/1800.51 v x796 -x795 x794 -x793 x792 -x791 -x790 x789 x788 -x787 x786 -x785 -x784 -x783 x782 -x781 x780 -x779 x778 -x777 x776 -x775 x774
1800.04/1800.51 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.04/1800.51 v x750 -x749 x748 -x747 x746 -x745 x744 -x743 x742 -x741 x740 -x739 x738 -x737 -x736 x735 x734 -x733 x732 -x731 -x730 x729
1800.04/1800.51 v x728 -x727 x726 -x725 x724 -x723 x722 -x721 x720 -x719 -x718 x717 x716 -x715 x714 -x713 x712 -x711 x710 -x709 x708 -x707 -x706
1800.04/1800.51 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.04/1800.51 v x682 -x681 x680 -x679 x678 -x677 -x676 x675 x674 -x673 x672 -x671 -x670 -x669 x668 -x667 x666 -x665 -x664 x663 x662 -x661
1800.04/1800.51 v x660 -x659 -x658 x657 x656 -x655 x654 -x653 x652 -x651 x650 -x649 x648 -x647 x646 -x645 x644 -x643 x642 -x641 -x640 x639 x638
1800.04/1800.51 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.04/1800.51 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.04/1800.51 v x591 x590 -x589 x588 -x587 -x586 x585 x584 -x583 x582 -x581 x580 -x579 x578 -x577 x576 -x575 x574 -x573 x572 -x571 x570
1800.04/1800.51 v -x569 -x568 x567 x566 -x565 x564 -x563 x562 -x561 x560 -x559 x558 -x557 -x556 x555 x554 -x553 -x552 -x551 -x550 x549 x548 -x547
1800.04/1800.51 v x546 -x545 x544 -x543 x542 -x541 x540 -x539 -x538 -x537 -x536 -x535 x534 -x533 -x532 x531 x530 -x529 x528 -x527 x526 -x525
1800.04/1800.51 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.04/1800.51 v x501 x500 -x499 x498 -x497 -x496 -x495 x494 -x493 x492 -x491 x490 -x489 x488 -x487 x486 -x485 -x484 x483 x482 -x481 -x480
1800.04/1800.51 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.04/1800.51 v x456 -x455 -x454 -x453 x452 -x451 x450 -x449 -x448 x447 x446 -x445 x444 -x443 -x442 x441 x440 -x439 x438 -x437 x436 -x435
1800.04/1800.51 v x434 -x433 x432 -x431 -x430 x429 x428 -x427 x426 -x425 -x424 -x423 x422 -x421 -x420 -x419 -x418 x417 x416 -x415 x414 -x413
1800.04/1800.51 v -x412 -x411 x410 -x409 x408 -x407 x406 -x405 x404 -x403 x402 -x401 -x400 x399 x398 -x397 x396 -x395 -x394 -x393 x392 -x391 x390
1800.04/1800.51 v -x389 -x388 x387 x386 -x385 x384 -x383 -x382 x381 x380 -x379 x378 -x377 x376 -x375 x374 -x373 x372 -x371 -x370 -x369 x368
1800.04/1800.51 v -x367 x366 -x365 -x364 x363 x362 -x361 x360 -x359 -x358 x357 -x356 -x355 x354 -x353 -x352 -x351 x350 -x349 x348 -x347 -x346 x345
1800.04/1800.51 v -x344 -x343 x342 -x341 -x340 -x339 x338 -x337 x336 -x335 -x334 x333 x332 -x331 x330 -x329 x328 -x327 x326 -x325 x324 -x323
1800.04/1800.51 v -x322 -x321 -x320 -x319 x318 -x317 -x316 x315 x314 -x313 -x312 -x311 -x310 -x309 x308 -x307 x306 -x305 -x304 x303 x302 -x301
1800.04/1800.51 v x300 -x299 x298 -x297 x296 -x295 x294 -x293 -x292 x291 x290 -x289 x288 -x287 -x286 -x285 -x284 -x283 x282 -x281 -x280 x279
1800.04/1800.51 v x278 -x277 x276 -x275 x274 -x273 x272 -x271 x270 -x269 -x268 x267 x266 -x265 x264 -x263 -x262 -x261 x260 -x259 x258 -x257 -x256
1800.04/1800.51 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.04/1800.51 v -x232 x231 x230 -x229 x228 -x227 -x226 -x225 x224 -x223 x222 -x221 -x220 x219 x218 -x217 x216 -x215 x214 -x213 x212 -x211
1800.04/1800.51 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.04/1800.51 v -x187 -x186 x185 -x184 x183 x182 -x181 x180 -x179 -x178 x177 -x176 x175 -x174 x173 -x172 x171 x170 -x169 -x168 x167 -x166
1800.04/1800.51 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.04/1800.51 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.04/1800.51 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.04/1800.51 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 -x70
1800.04/1800.51 v -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.04/1800.51 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.04/1800.51 v x15 -x14 -x13 -x12 -x11 -x10 x9 -x8 x7 -x6 -x5 -x4 x3 -x2 -x1
1800.04/1800.51 c SCIP Status : solving was interrupted [user interrupt]
1800.04/1800.51 c Solving Time : 1725.73
1800.04/1800.51 c Original Problem :
1800.04/1800.51 c Problem name : HOME/instance-2667012-1276420271.opb
1800.04/1800.51 c Variables : 1152 (1152 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.04/1800.51 c Constraints : 4664 initial, 4664 maximal
1800.04/1800.51 c Presolved Problem :
1800.04/1800.51 c Problem name : t_HOME/instance-2667012-1276420271.opb
1800.04/1800.51 c Variables : 1140 (1140 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.04/1800.51 c Constraints : 4640 initial, 4691 maximal
1800.04/1800.51 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.04/1800.51 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.51 c dualfix : 0.00 12 0 0 0 0 0 0 0
1800.04/1800.51 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.51 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.51 c implics : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.51 c probing : 0.06 0 0 0 0 0 0 0 0
1800.04/1800.51 c linear : 0.07 0 0 0 0 0 24 0 0
1800.04/1800.51 c logicor : 0.03 0 0 0 0 0 0 0 0
1800.04/1800.51 c root node : - 0 - - 0 - - - -
1800.04/1800.51 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.04/1800.51 c integral : 0 0 0 1 0 0 0 0 0 2
1800.04/1800.51 c logicor : 4640+ 33 6159020 0 4 590741 7181935 0 0 0
1800.04/1800.51 c countsols : 0 0 0 0 4 0 0 0 0 0
1800.04/1800.51 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.04/1800.51 c integral : 5.46 0.00 0.00 5.46 0.00
1800.04/1800.51 c logicor : 675.54 0.05 675.49 0.00 0.00
1800.04/1800.51 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.04/1800.51 c Propagators : Time Calls Cutoffs DomReds
1800.04/1800.51 c vbounds : 5.16 2 0 0
1800.04/1800.51 c rootredcost : 4.91 4 0 0
1800.04/1800.51 c pseudoobj : 681.76 11298008 1368140 26522176
1800.04/1800.51 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.04/1800.51 c propagation : 615.29 590741 590741 590741 73.0 86 74.6 -
1800.04/1800.51 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.51 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.51 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.51 c pseudo solution : 52.37 98616 0 0 0.0 0 0.0 -
1800.04/1800.51 c applied globally : - - - 590827 73.0 - - -
1800.04/1800.51 c applied locally : - - - 0 0.0 - - -
1800.04/1800.51 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.04/1800.51 c cut pool : 0.08 32 - - 1018 - (maximal pool size: 2644)
1800.04/1800.51 c redcost : 0.00 33 0 0 0 0
1800.04/1800.51 c impliedbounds : 0.07 33 0 0 0 0
1800.04/1800.51 c intobj : 0.00 0 0 0 0 0
1800.04/1800.51 c cgmip : 0.00 0 0 0 0 0
1800.04/1800.51 c gomory : 8.97 33 0 0 12226 0
1800.04/1800.51 c strongcg : 1.67 20 0 0 10000 0
1800.04/1800.51 c cmir : 0.31 10 0 0 0 0
1800.04/1800.51 c flowcover : 0.23 10 0 0 0 0
1800.04/1800.51 c clique : 0.02 1 0 0 0 0
1800.04/1800.51 c zerohalf : 0.00 0 0 0 0 0
1800.04/1800.51 c mcf : 0.02 1 0 0 0 0
1800.04/1800.51 c rapidlearning : 0.00 0 0 0 0 0
1800.04/1800.51 c Pricers : Time Calls Vars
1800.04/1800.51 c problem variables: 0.00 0 0
1800.04/1800.51 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.04/1800.51 c relpscost : 5.46 1 0 0 0 0 2
1800.04/1800.51 c pscost : 0.00 0 0 0 0 0 0
1800.04/1800.51 c inference : 38.93 2083486 0 0 0 0 4166972
1800.04/1800.51 c mostinf : 0.00 0 0 0 0 0 0
1800.04/1800.51 c leastinf : 0.00 0 0 0 0 0 0
1800.04/1800.51 c fullstrong : 0.00 0 0 0 0 0 0
1800.04/1800.51 c allfullstrong : 0.00 0 0 0 0 0 0
1800.04/1800.51 c random : 0.00 0 0 0 0 0 0
1800.04/1800.51 c Primal Heuristics : Time Calls Found
1800.04/1800.51 c LP solutions : 0.00 - 0
1800.04/1800.51 c pseudo solutions : 0.00 - 4
1800.04/1800.51 c oneopt : 2.67 0 0
1800.04/1800.51 c crossover : 0.00 0 0
1800.04/1800.51 c trivial : 0.00 2 0
1800.04/1800.51 c simplerounding : 0.00 0 0
1800.04/1800.51 c zirounding : 0.00 1 0
1800.04/1800.51 c rounding : 0.07 33 0
1800.04/1800.51 c shifting : 0.76 33 0
1800.04/1800.51 c intshifting : 0.00 0 0
1800.04/1800.51 c twoopt : 0.00 0 0
1800.04/1800.51 c fixandinfer : 0.00 0 0
1800.04/1800.51 c feaspump : 1.71 1 0
1800.04/1800.51 c coefdiving : 0.00 0 0
1800.04/1800.51 c pscostdiving : 0.00 0 0
1800.04/1800.51 c fracdiving : 0.00 0 0
1800.04/1800.51 c veclendiving : 0.00 0 0
1800.04/1800.51 c intdiving : 0.00 0 0
1800.04/1800.51 c actconsdiving : 0.00 0 0
1800.04/1800.51 c objpscostdiving : 0.00 0 0
1800.04/1800.51 c rootsoldiving : 0.00 0 0
1800.04/1800.51 c linesearchdiving : 0.00 0 0
1800.04/1800.51 c guideddiving : 0.00 0 0
1800.04/1800.51 c octane : 0.00 0 0
1800.04/1800.51 c rens : 0.01 0 0
1800.04/1800.51 c rins : 0.00 0 0
1800.04/1800.51 c localbranching : 0.00 0 0
1800.04/1800.51 c mutation : 0.00 0 0
1800.04/1800.51 c dins : 0.00 0 0
1800.04/1800.51 c undercover : 0.00 0 0
1800.04/1800.51 c nlp : 1.72 0 0
1800.04/1800.51 c trysol : 2.14 0 0
1800.04/1800.51 c LP : Time Calls Iterations Iter/call Iter/sec
1800.04/1800.51 c primal LP : 0.04 0 0 0.00 0.00
1800.04/1800.51 c dual LP : 8.10 33 13047 395.36 1610.74
1800.04/1800.51 c lex dual LP : 0.00 0 0 0.00 -
1800.04/1800.51 c barrier LP : 0.00 0 0 0.00 -
1800.04/1800.51 c diving/probing LP: 1.56 81 4390 54.20 2814.10
1800.04/1800.51 c strong branching : 5.46 17 6910 406.47 1265.57
1800.04/1800.51 c (at root node) : - 17 6910 406.47 -
1800.04/1800.51 c conflict analysis: 0.00 0 0 0.00 -
1800.04/1800.51 c B&B Tree :
1800.04/1800.51 c number of runs : 1
1800.04/1800.51 c nodes : 3904025
1800.04/1800.51 c nodes (total) : 3904025
1800.04/1800.51 c nodes left : 86
1800.04/1800.51 c max depth : 154
1800.04/1800.51 c max depth (total): 154
1800.04/1800.51 c backtracks : 1191848 (30.5%)
1800.04/1800.51 c delayed cutoffs : 259852
1800.04/1800.51 c repropagations : 422452 (4957600 domain reductions, 236963 cutoffs)
1800.04/1800.51 c avg switch length: 2.03
1800.04/1800.51 c switching time : 85.36
1800.04/1800.51 c Solution :
1800.04/1800.51 c Solutions found : 4 (4 improvements)
1800.04/1800.51 c First Solution : +5.23000000000000e+02 (in run 1, after 195 nodes, 28.07 seconds, depth 149, found by <relaxation>)
1800.04/1800.51 c Primal Bound : +5.18000000000000e+02 (in run 1, after 335 nodes, 28.09 seconds, depth 115, found by <relaxation>)
1800.04/1800.51 c Dual Bound : +2.82748238739710e+02
1800.04/1800.51 c Gap : 83.20 %
1800.04/1800.51 c Root Dual Bound : +2.82392982598792e+02
1800.04/1800.51 c Root Iterations : 17437
1800.04/1800.55 c Time complete: 1800.08.