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-2665381-1276638015.opb>
0.00/0.04 c original problem has 741 variables (741 bin, 0 int, 0 impl, 0 cont) and 2072 constraints
0.00/0.04 c problem read
0.00/0.04 c presolving settings loaded
0.00/0.06 c presolving:
0.00/0.08 c (round 1) 327 del vars, 725 del conss, 24 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 3403 impls, 0 clqs
0.00/0.08 c (round 2) 328 del vars, 816 del conss, 25 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 3403 impls, 0 clqs
0.09/0.13 c (round 3) 328 del vars, 873 del conss, 25 chg bounds, 0 chg sides, 0 chg coeffs, 1157 upgd conss, 3403 impls, 0 clqs
0.09/0.13 c (round 4) 333 del vars, 939 del conss, 25 chg bounds, 0 chg sides, 0 chg coeffs, 1157 upgd conss, 3403 impls, 0 clqs
0.09/0.15 c (round 5) 333 del vars, 939 del conss, 25 chg bounds, 0 chg sides, 0 chg coeffs, 1199 upgd conss, 3403 impls, 0 clqs
0.09/0.19 c (0.1s) probing: 292/408 (71.6%) - 0 fixings, 6 aggregations, 146 implications, 0 bound changes
0.09/0.19 c (0.1s) probing aborted: 100/100 successive totally useless probings
0.09/0.19 c (round 6) 339 del vars, 939 del conss, 25 chg bounds, 0 chg sides, 0 chg coeffs, 1199 upgd conss, 3605 impls, 0 clqs
0.09/0.19 c (0.1s) probing: 302/408 (74.0%) - 0 fixings, 6 aggregations, 146 implications, 0 bound changes
0.09/0.19 c (0.1s) probing aborted: 100/100 successive totally useless probings
0.09/0.19 c presolving (7 rounds):
0.09/0.19 c 339 deleted vars, 939 deleted constraints, 25 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.09/0.19 c 3605 implications, 0 cliques
0.09/0.19 c presolved problem has 402 variables (402 bin, 0 int, 0 impl, 0 cont) and 1133 constraints
0.09/0.19 c 1133 constraints of type <logicor>
0.09/0.19 c transformed objective value is always integral (scale: 1)
0.09/0.19 c Presolving Time: 0.12
0.09/0.19 c - non default parameters ----------------------------------------------------------------------
0.09/0.19 c # SCIP version 1.2.1.2
0.09/0.19 c
0.09/0.19 c # maximal number of intermediate conflict constraints generated in conflict graph (-1: use every intermediate constraint)
0.09/0.19 c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.19 c conflict/interconss = 0
0.09/0.19 c
0.09/0.19 c # should binary conflicts be preferred?
0.09/0.19 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.19 c conflict/preferbinary = TRUE
0.09/0.19 c
0.09/0.19 c # maximum age an unnecessary constraint can reach before it is deleted (0: dynamic, -1: keep all constraints)
0.09/0.19 c # [type: int, range: [-1,2147483647], default: 0]
0.09/0.19 c constraints/agelimit = 1
0.09/0.19 c
0.09/0.19 c # should enforcement of pseudo solution be disabled?
0.09/0.19 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.19 c constraints/disableenfops = TRUE
0.09/0.19 c
0.09/0.19 c # frequency for displaying node information lines
0.09/0.19 c # [type: int, range: [-1,2147483647], default: 100]
0.09/0.19 c display/freq = 10000
0.09/0.19 c
0.09/0.19 c # maximal time in seconds to run
0.09/0.19 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.19 c limits/time = 1799.96
0.09/0.19 c
0.09/0.19 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.09/0.19 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.19 c limits/memory = 1620
0.09/0.19 c
0.09/0.19 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.09/0.19 c # [type: int, range: [-1,2147483647], default: 1]
0.09/0.19 c lp/solvefreq = 0
0.09/0.19 c
0.09/0.19 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.09/0.19 c # [type: char, range: {lafpsqd}, default: l]
0.09/0.19 c lp/pricing = a
0.09/0.19 c
0.09/0.19 c # should presolving try to simplify inequalities
0.09/0.19 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.19 c constraints/linear/simplifyinequalities = TRUE
0.09/0.19 c
0.09/0.19 c # should presolving try to simplify knapsacks
0.09/0.19 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.19 c constraints/knapsack/simplifyinequalities = TRUE
0.09/0.19 c
0.09/0.19 c # priority of node selection rule <dfs> in standard mode
0.09/0.19 c # [type: int, range: [-536870912,536870911], default: 0]
0.09/0.19 c nodeselection/dfs/stdpriority = 1000000
0.09/0.19 c
0.09/0.19 c -----------------------------------------------------------------------------------------------
0.09/0.19 c start solving
0.09/0.19 c
0.09/0.20 o 107
0.09/0.20 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.09/0.20 c t 0.1s| 1 | 0 | 0 | - |2952k| 0 | - | 402 |1133 | 0 | 0 | 0 | 0 | 0 | -- | 1.070000e+02 | Inf
0.19/0.20 o 32
0.19/0.20 c b 0.1s| 1 | 0 | 0 | - |3552k| 0 | - | 402 |1133 | 402 |1133 | 0 | 0 | 0 | -- | 3.200000e+01 | Inf
0.19/0.21 c 0.1s| 1 | 0 | 84 | - |3542k| 0 | 49 | 402 |1133 | 402 |1133 | 0 | 0 | 0 | 1.083333e+01 | 3.200000e+01 | 195.38%
0.19/0.21 o 16
0.19/0.21 c s 0.1s| 1 | 0 | 84 | - |3570k| 0 | 49 | 402 |1133 | 402 |1133 | 0 | 0 | 0 | 1.083333e+01 | 1.600000e+01 | 47.69%
0.19/0.21 o 15
0.19/0.21 c b 0.1s| 1 | 0 | 84 | - |3589k| 0 | 49 | 402 |1133 | 402 |1133 | 0 | 0 | 0 | 1.083333e+01 | 1.500000e+01 | 38.46%
0.19/0.30 c 0.2s| 1 | 0 | 106 | - |3614k| 0 | 67 | 402 |1133 | 402 |1143 | 10 | 0 | 0 | 1.200000e+01 | 1.500000e+01 | 25.00%
0.39/0.49 c 0.4s| 1 | 0 | 118 | - |3892k| 0 | 54 | 402 |1133 | 402 |1149 | 16 | 0 | 0 | 1.200000e+01 | 1.500000e+01 | 25.00%
0.39/0.49 o 15
0.39/0.49 c s 0.4s| 1 | 0 | 118 | - |3901k| 0 | 54 | 402 |1133 | 402 |1149 | 16 | 0 | 0 | 1.200000e+01 | 1.500000e+01 | 25.00%
0.59/0.61 c 0.5s| 1 | 0 | 133 | - |4166k| 0 | 44 | 402 |1133 | 402 |1152 | 19 | 0 | 0 | 1.200000e+01 | 1.500000e+01 | 25.00%
0.69/0.76 c 0.7s| 1 | 0 | 151 | - |4441k| 0 | 36 | 402 |1133 | 402 |1154 | 21 | 0 | 0 | 1.200000e+01 | 1.500000e+01 | 25.00%
0.79/0.87 c 0.8s| 1 | 0 | 170 | - |4664k| 0 | 41 | 402 |1133 | 402 |1155 | 22 | 0 | 0 | 1.200000e+01 | 1.500000e+01 | 25.00%
0.79/0.87 o 14
0.79/0.87 c s 0.8s| 1 | 0 | 170 | - |4674k| 0 | 41 | 402 |1133 | 402 |1155 | 22 | 0 | 0 | 1.200000e+01 | 1.400000e+01 | 16.67%
1.00/1.03 c 0.9s| 1 | 0 | 185 | - |5032k| 0 | 35 | 402 |1133 | 402 |1156 | 23 | 0 | 0 | 1.200000e+01 | 1.400000e+01 | 16.67%
1.10/1.15 c 1.0s| 1 | 0 | 200 | - |5105k| 0 | 42 | 402 |1133 | 402 |1157 | 24 | 0 | 0 | 1.200000e+01 | 1.400000e+01 | 16.67%
1.29/1.33 c 1.2s| 1 | 0 | 224 | - |5160k| 0 | 31 | 402 |1133 | 402 |1158 | 25 | 0 | 0 | 1.200000e+01 | 1.400000e+01 | 16.67%
1.39/1.40 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1.39/1.40 c 1.3s| 1 | 0 | 244 | - |5228k| 0 | 42 | 402 |1133 | 402 |1161 | 28 | 0 | 0 | 1.200000e+01 | 1.400000e+01 | 16.67%
1.59/1.68 c 1.5s| 1 | 2 | 244 | - |5238k| 0 | 42 | 402 |1133 | 402 |1161 | 28 | 0 | 30 | 1.200000e+01 | 1.400000e+01 | 16.67%
4.59/4.62 c 4.2s| 10000 | 129 | 244 | 0.0 |5309k| 167 | - | 402 |1136 | 0 | 0 | 28 |5312 | 30 | 1.200000e+01 | 1.400000e+01 | 16.67%
7.88/7.95 c 7.3s| 20000 | 123 | 244 | 0.0 |5323k| 167 | - | 402 |1157 | 0 | 0 | 28 | 10k| 30 | 1.200000e+01 | 1.400000e+01 | 16.67%
11.68/11.72 c 10.8s| 30000 | 128 | 244 | 0.0 |5313k| 167 | - | 402 |1134 | 0 | 0 | 28 | 17k| 30 | 1.200000e+01 | 1.400000e+01 | 16.67%
14.78/14.89 c 13.7s| 40000 | 122 | 244 | 0.0 |5312k| 167 | - | 402 |1134 | 0 | 0 | 28 | 22k| 30 | 1.200000e+01 | 1.400000e+01 | 16.67%
18.18/18.29 c 16.8s| 50000 | 124 | 244 | 0.0 |5313k| 167 | - | 402 |1135 | 0 | 0 | 28 | 27k| 30 | 1.200000e+01 | 1.400000e+01 | 16.67%
21.78/21.83 c 20.1s| 60000 | 136 | 244 | 0.0 |5319k| 167 | - | 402 |1141 | 0 | 0 | 28 | 33k| 30 | 1.200000e+01 | 1.400000e+01 | 16.67%
25.29/25.39 c 23.4s| 70000 | 123 | 244 | 0.0 |5315k| 167 | - | 402 |1138 | 0 | 0 | 28 | 39k| 30 | 1.200000e+01 | 1.400000e+01 | 16.67%
28.78/28.89 c 26.6s| 80000 | 135 | 244 | 0.0 |5317k| 167 | - | 402 |1134 | 0 | 0 | 28 | 45k| 30 | 1.200000e+01 | 1.400000e+01 | 16.67%
32.48/32.57 c 30.0s| 90000 | 130 | 244 | 0.0 |5317k| 167 | - | 402 |1135 | 0 | 0 | 28 | 51k| 30 | 1.200000e+01 | 1.400000e+01 | 16.67%
36.48/36.57 c 33.7s|100000 | 134 | 244 | 0.0 |5320k| 167 | - | 402 |1137 | 0 | 0 | 28 | 57k| 30 | 1.200000e+01 | 1.400000e+01 | 16.67%
39.87/39.94 c 36.8s|110000 | 135 | 244 | 0.0 |5324k| 167 | - | 402 |1146 | 0 | 0 | 28 | 63k| 30 | 1.200000e+01 | 1.400000e+01 | 16.67%
43.78/43.81 c 40.4s|120000 | 131 | 244 | 0.0 |5319k| 167 | - | 402 |1136 | 0 | 0 | 28 | 69k| 30 | 1.200000e+01 | 1.400000e+01 | 16.67%
47.48/47.53 c 43.8s|130000 | 132 | 244 | 0.0 |5320k| 167 | - | 402 |1135 | 0 | 0 | 28 | 75k| 30 | 1.200000e+01 | 1.400000e+01 | 16.67%
50.98/51.05 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
50.98/51.05 c 47.0s|140000 | 127 | 244 | 0.0 |5319k| 167 | - | 402 |1139 | 0 | 0 | 28 | 80k| 30 | 1.200000e+01 | 1.400000e+01 | 16.67%
54.57/54.68 c 50.4s|150000 | 129 | 244 | 0.0 |5325k| 167 | - | 402 |1147 | 0 | 0 | 28 | 86k| 30 | 1.200000e+01 | 1.400000e+01 | 16.67%
58.28/58.33 c 53.8s|160000 | 126 | 244 | 0.0 |5319k| 167 | - | 402 |1135 | 0 | 0 | 28 | 92k| 30 | 1.200000e+01 | 1.400000e+01 | 16.67%
61.87/62.00 c 57.1s|170000 | 134 | 244 | 0.0 |5322k| 167 | - | 402 |1136 | 0 | 0 | 28 | 97k| 30 | 1.200000e+01 | 1.400000e+01 | 16.67%
65.47/65.59 c 60.4s|180000 | 127 | 244 | 0.0 |5322k| 167 | - | 402 |1139 | 0 | 0 | 28 | 103k| 30 | 1.200000e+01 | 1.400000e+01 | 16.67%
69.07/69.11 c 63.7s|190000 | 125 | 244 | 0.0 |5320k| 170 | - | 402 |1135 | 0 | 0 | 28 | 108k| 30 | 1.200000e+01 | 1.400000e+01 | 16.67%
72.66/72.79 c 67.0s|200000 | 130 | 244 | 0.0 |5331k| 170 | - | 402 |1153 | 0 | 0 | 28 | 114k| 30 | 1.200000e+01 | 1.400000e+01 | 16.67%
76.37/76.46 c 70.4s|210000 | 131 | 244 | 0.0 |5324k| 170 | - | 402 |1139 | 0 | 0 | 28 | 120k| 30 | 1.200000e+01 | 1.400000e+01 | 16.67%
79.86/79.91 c 73.6s|220000 | 133 | 244 | 0.0 |5324k| 177 | - | 402 |1134 | 0 | 0 | 28 | 125k| 30 | 1.200000e+01 | 1.400000e+01 | 16.67%
83.26/83.39 c 76.8s|230000 | 131 | 244 | 0.0 |5324k| 177 | - | 402 |1134 | 0 | 0 | 28 | 131k| 30 | 1.200000e+01 | 1.400000e+01 | 16.67%
87.15/87.21 c 80.3s|240000 | 132 | 244 | 0.0 |5325k| 183 | - | 402 |1135 | 0 | 0 | 28 | 136k| 30 | 1.200000e+01 | 1.400000e+01 | 16.67%
90.56/90.60 c 83.5s|250000 | 118 | 244 | 0.0 |5321k| 183 | - | 402 |1136 | 0 | 0 | 28 | 141k| 30 | 1.200000e+01 | 1.400000e+01 | 16.67%
94.06/94.18 c 86.8s|260000 | 133 | 244 | 0.0 |5331k| 183 | - | 402 |1142 | 0 | 0 | 28 | 147k| 30 | 1.200000e+01 | 1.400000e+01 | 16.67%
97.86/97.91 c 90.2s|270000 | 129 | 244 | 0.0 |5328k| 183 | - | 402 |1139 | 0 | 0 | 28 | 153k| 30 | 1.200000e+01 | 1.400000e+01 | 16.67%
101.55/101.63 c 93.7s|280000 | 123 | 244 | 0.0 |5324k| 183 | - | 402 |1135 | 0 | 0 | 28 | 158k| 30 | 1.200000e+01 | 1.400000e+01 | 16.67%
105.15/105.25 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
105.15/105.25 c 97.0s|290000 | 124 | 244 | 0.0 |5334k| 183 | - | 402 |1161 | 0 | 0 | 28 | 164k| 30 | 1.200000e+01 | 1.400000e+01 | 16.67%
109.05/109.13 c 101s|300000 | 142 | 244 | 0.0 |5330k| 183 | - | 402 |1135 | 0 | 0 | 28 | 170k| 30 | 1.200000e+01 | 1.400000e+01 | 16.67%
112.95/113.05 c 104s|310000 | 126 | 244 | 0.0 |5328k| 183 | - | 402 |1135 | 0 | 0 | 28 | 175k| 30 | 1.200000e+01 | 1.400000e+01 | 16.67%
116.94/117.07 c 108s|320000 | 133 | 244 | 0.0 |5327k| 183 | - | 402 |1134 | 0 | 0 | 28 | 181k| 30 | 1.200000e+01 | 1.400000e+01 | 16.67%
121.15/121.28 c 112s|330000 | 123 | 244 | 0.0 |5325k| 183 | - | 402 |1135 | 0 | 0 | 28 | 187k| 30 | 1.200000e+01 | 1.400000e+01 | 16.67%
125.05/125.13 c 115s|340000 | 126 | 244 | 0.0 |5329k| 183 | - | 402 |1136 | 0 | 0 | 28 | 192k| 30 | 1.200000e+01 | 1.400000e+01 | 16.67%
129.25/129.40 c 119s|350000 | 120 | 244 | 0.0 |5326k| 183 | - | 402 |1140 | 0 | 0 | 28 | 198k| 30 | 1.200000e+01 | 1.400000e+01 | 16.67%
133.34/133.45 c 123s|360000 | 133 | 244 | 0.0 |5332k| 183 | - | 402 |1146 | 0 | 0 | 28 | 203k| 30 | 1.200000e+01 | 1.400000e+01 | 16.67%
137.54/137.62 c 127s|370000 | 126 | 244 | 0.0 |5329k| 183 | - | 402 |1142 | 0 | 0 | 28 | 209k| 30 | 1.200000e+01 | 1.400000e+01 | 16.67%
141.94/142.08 c 131s|380000 | 128 | 244 | 0.0 |5329k| 183 | - | 402 |1139 | 0 | 0 | 28 | 215k| 30 | 1.200000e+01 | 1.400000e+01 | 16.67%
146.04/146.19 c 135s|390000 | 129 | 244 | 0.0 |5331k| 183 | - | 402 |1138 | 0 | 0 | 28 | 221k| 30 | 1.200000e+01 | 1.400000e+01 | 16.67%
150.24/150.33 c 139s|400000 | 122 | 244 | 0.0 |5326k| 183 | - | 402 |1136 | 0 | 0 | 28 | 227k| 30 | 1.200000e+01 | 1.400000e+01 | 16.67%
154.23/154.37 c 143s|410000 | 124 | 244 | 0.0 |5326k| 183 | - | 402 |1134 | 0 | 0 | 28 | 232k| 30 | 1.200000e+01 | 1.400000e+01 | 16.67%
158.43/158.53 c 146s|420000 | 123 | 244 | 0.0 |5333k| 183 | - | 402 |1138 | 0 | 0 | 28 | 238k| 30 | 1.200000e+01 | 1.400000e+01 | 16.67%
162.43/162.52 c 150s|430000 | 132 | 244 | 0.0 |5333k| 183 | - | 402 |1143 | 0 | 0 | 28 | 244k| 30 | 1.200000e+01 | 1.400000e+01 | 16.67%
166.23/166.33 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
166.23/166.33 c 154s|440000 | 136 | 244 | 0.0 |5333k| 183 | - | 402 |1140 | 0 | 0 | 28 | 249k| 30 | 1.200000e+01 | 1.400000e+01 | 16.67%
170.23/170.31 c 157s|450000 | 126 | 244 | 0.0 |5331k| 183 | - | 402 |1142 | 0 | 0 | 28 | 254k| 30 | 1.200000e+01 | 1.400000e+01 | 16.67%
174.42/174.57 c 161s|460000 | 132 | 244 | 0.0 |5335k| 183 | - | 402 |1137 | 0 | 0 | 28 | 260k| 30 | 1.200000e+01 | 1.400000e+01 | 16.67%
178.52/178.69 c 165s|470000 | 124 | 244 | 0.0 |5331k| 183 | - | 402 |1143 | 0 | 0 | 28 | 266k| 30 | 1.200000e+01 | 1.400000e+01 | 16.67%
182.72/182.82 c 169s|480000 | 123 | 244 | 0.0 |5330k| 183 | - | 402 |1138 | 0 | 0 | 28 | 272k| 30 | 1.200000e+01 | 1.400000e+01 | 16.67%
186.83/186.93 c 173s|490000 | 138 | 244 | 0.0 |5341k| 183 | - | 402 |1150 | 0 | 0 | 28 | 278k| 30 | 1.200000e+01 | 1.400000e+01 | 16.67%
191.11/191.24 c 177s|500000 | 139 | 244 | 0.0 |5337k| 183 | - | 402 |1143 | 0 | 0 | 28 | 284k| 30 | 1.200000e+01 | 1.400000e+01 | 16.67%
195.12/195.25 c 181s|510000 | 125 | 244 | 0.0 |5335k| 183 | - | 402 |1150 | 0 | 0 | 28 | 290k| 30 | 1.200000e+01 | 1.400000e+01 | 16.67%
199.12/199.26 c 184s|520000 | 141 | 244 | 0.0 |5338k| 183 | - | 402 |1141 | 0 | 0 | 28 | 295k| 30 | 1.200000e+01 | 1.400000e+01 | 16.67%
203.01/203.13 c 188s|530000 | 134 | 244 | 0.0 |5337k| 183 | - | 402 |1145 | 0 | 0 | 28 | 301k| 30 | 1.200000e+01 | 1.400000e+01 | 16.67%
207.22/207.34 c 192s|540000 | 126 | 244 | 0.0 |5336k| 186 | - | 402 |1145 | 0 | 0 | 28 | 308k| 30 | 1.200000e+01 | 1.400000e+01 | 16.67%
211.81/211.94 c 196s|550000 | 136 | 244 | 0.0 |5338k| 186 | - | 402 |1143 | 0 | 0 | 28 | 314k| 30 | 1.200000e+01 | 1.400000e+01 | 16.67%
216.21/216.31 c 200s|560000 | 124 | 244 | 0.0 |5333k| 186 | - | 402 |1140 | 0 | 0 | 28 | 320k| 30 | 1.200000e+01 | 1.400000e+01 | 16.67%
220.31/220.41 c 204s|570000 | 123 | 244 | 0.0 |5332k| 186 | - | 402 |1137 | 0 | 0 | 28 | 325k| 30 | 1.200000e+01 | 1.400000e+01 | 16.67%
224.21/224.40 c 208s|580000 | 149 | 244 | 0.0 |5340k| 186 | - | 402 |1141 | 0 | 0 | 28 | 331k| 30 | 1.200000e+01 | 1.400000e+01 | 16.67%
228.20/228.32 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
228.20/228.32 c 211s|590000 | 130 | 244 | 0.0 |5335k| 186 | - | 402 |1139 | 0 | 0 | 28 | 336k| 30 | 1.200000e+01 | 1.400000e+01 | 16.67%
232.10/232.26 c 215s|600000 | 123 | 244 | 0.0 |5333k| 186 | - | 402 |1140 | 0 | 0 | 28 | 342k| 30 | 1.200000e+01 | 1.400000e+01 | 16.67%
236.00/236.14 c 218s|610000 | 137 | 244 | 0.0 |5342k| 186 | - | 402 |1149 | 0 | 0 | 28 | 348k| 30 | 1.200000e+01 | 1.400000e+01 | 16.67%
239.90/240.03 c 222s|620000 | 129 | 244 | 0.0 |5339k| 186 | - | 402 |1142 | 0 | 0 | 28 | 353k| 30 | 1.200000e+01 | 1.400000e+01 | 16.67%
243.80/243.94 c 226s|630000 | 131 | 244 | 0.0 |5347k| 186 | - | 402 |1153 | 0 | 0 | 28 | 359k| 30 | 1.200000e+01 | 1.400000e+01 | 16.67%
247.79/247.94 c 229s|640000 | 121 | 244 | 0.0 |5344k| 186 | - | 402 |1145 | 0 | 0 | 28 | 364k| 30 | 1.200000e+01 | 1.400000e+01 | 16.67%
251.70/251.86 c 233s|650000 | 157 | 244 | 0.0 |5347k| 186 | - | 402 |1148 | 0 | 0 | 28 | 370k| 30 | 1.200000e+01 | 1.400000e+01 | 16.67%
255.59/255.72 c 237s|660000 | 133 | 244 | 0.0 |5340k| 186 | - | 402 |1145 | 0 | 0 | 28 | 375k| 30 | 1.200000e+01 | 1.400000e+01 | 16.67%
259.90/260.04 c 241s|670000 | 129 | 244 | 0.0 |5338k| 186 | - | 402 |1142 | 0 | 0 | 28 | 381k| 30 | 1.200000e+01 | 1.400000e+01 | 16.67%
263.90/264.03 c 244s|680000 | 126 | 244 | 0.0 |5334k| 186 | - | 402 |1138 | 0 | 0 | 28 | 387k| 30 | 1.200000e+01 | 1.400000e+01 | 16.67%
268.30/268.40 c 249s|690000 | 132 | 244 | 0.0 |5336k| 186 | - | 402 |1137 | 0 | 0 | 28 | 393k| 30 | 1.200000e+01 | 1.400000e+01 | 16.67%
272.89/273.08 c 253s|700000 | 123 | 244 | 0.0 |5333k| 186 | - | 402 |1138 | 0 | 0 | 28 | 400k| 30 | 1.200000e+01 | 1.400000e+01 | 16.67%
277.39/277.51 c 257s|710000 | 132 | 244 | 0.0 |5340k| 186 | - | 402 |1148 | 0 | 0 | 28 | 406k| 30 | 1.200000e+01 | 1.400000e+01 | 16.67%
280.98/281.15 c 260s|720000 | 134 | 244 | 0.0 |5342k| 186 | - | 402 |1149 | 0 | 0 | 28 | 411k| 30 | 1.200000e+01 | 1.400000e+01 | 16.67%
285.18/285.30 c 264s|730000 | 123 | 244 | 0.0 |5336k| 186 | - | 402 |1142 | 0 | 0 | 28 | 417k| 30 | 1.200000e+01 | 1.400000e+01 | 16.67%
288.98/289.19 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
288.98/289.19 c 268s|740000 | 124 | 244 | 0.0 |5340k| 186 | - | 402 |1140 | 0 | 0 | 28 | 422k| 30 | 1.200000e+01 | 1.400000e+01 | 16.67%
293.08/293.22 c 272s|750000 | 128 | 244 | 0.0 |5336k| 186 | - | 402 |1140 | 0 | 0 | 28 | 428k| 30 | 1.200000e+01 | 1.400000e+01 | 16.67%
297.18/297.36 c 275s|760000 | 128 | 244 | 0.0 |5338k| 186 | - | 402 |1140 | 0 | 0 | 28 | 433k| 30 | 1.200000e+01 | 1.400000e+01 | 16.67%
301.18/301.35 c 279s|770000 | 130 | 244 | 0.0 |5337k| 186 | - | 402 |1142 | 0 | 0 | 28 | 439k| 30 | 1.200000e+01 | 1.400000e+01 | 16.67%
305.07/305.25 c 283s|780000 | 137 | 244 | 0.0 |5342k| 186 | - | 402 |1147 | 0 | 0 | 28 | 444k| 30 | 1.200000e+01 | 1.400000e+01 | 16.67%
309.28/309.40 c 287s|790000 | 129 | 244 | 0.0 |5337k| 186 | - | 402 |1141 | 0 | 0 | 28 | 450k| 30 | 1.200000e+01 | 1.400000e+01 | 16.67%
312.97/313.13 c 290s|800000 | 134 | 244 | 0.0 |5338k| 186 | - | 402 |1143 | 0 | 0 | 28 | 455k| 30 | 1.200000e+01 | 1.400000e+01 | 16.67%
316.97/317.12 c 294s|810000 | 125 | 244 | 0.0 |5336k| 186 | - | 402 |1143 | 0 | 0 | 28 | 461k| 30 | 1.200000e+01 | 1.400000e+01 | 16.67%
321.17/321.36 c 298s|820000 | 120 | 244 | 0.0 |5332k| 186 | - | 402 |1137 | 0 | 0 | 28 | 467k| 30 | 1.200000e+01 | 1.400000e+01 | 16.67%
325.17/325.34 c 302s|830000 | 125 | 244 | 0.0 |5337k| 186 | - | 402 |1145 | 0 | 0 | 28 | 472k| 30 | 1.200000e+01 | 1.400000e+01 | 16.67%
329.37/329.58 c 305s|840000 | 124 | 244 | 0.0 |5333k| 186 | - | 402 |1134 | 0 | 0 | 28 | 478k| 30 | 1.200000e+01 | 1.400000e+01 | 16.67%
333.66/333.85 c 309s|850000 | 125 | 244 | 0.0 |5335k| 186 | - | 402 |1135 | 0 | 0 | 28 | 485k| 30 | 1.200000e+01 | 1.400000e+01 | 16.67%
337.96/338.12 c 313s|860000 | 132 | 244 | 0.0 |5337k| 186 | - | 402 |1139 | 0 | 0 | 28 | 491k| 30 | 1.200000e+01 | 1.400000e+01 | 16.67%
342.56/342.78 c 318s|870000 | 124 | 244 | 0.0 |5335k| 186 | - | 402 |1135 | 0 | 0 | 28 | 498k| 30 | 1.200000e+01 | 1.400000e+01 | 16.67%
346.56/346.78 c 321s|880000 | 122 | 244 | 0.0 |5336k| 186 | - | 402 |1142 | 0 | 0 | 28 | 503k| 30 | 1.200000e+01 | 1.400000e+01 | 16.67%
350.56/350.71 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
350.56/350.71 c 325s|890000 | 127 | 244 | 0.0 |5341k| 186 | - | 402 |1151 | 0 | 0 | 28 | 509k| 30 | 1.200000e+01 | 1.400000e+01 | 16.67%
354.85/355.05 c 329s|900000 | 122 | 244 | 0.0 |5336k| 186 | - | 402 |1135 | 0 | 0 | 28 | 515k| 30 | 1.200000e+01 | 1.400000e+01 | 16.67%
358.96/359.19 c 333s|910000 | 128 | 244 | 0.0 |5345k| 186 | - | 402 |1160 | 0 | 0 | 28 | 522k| 30 | 1.200000e+01 | 1.400000e+01 | 16.67%
363.35/363.54 c 337s|920000 | 129 | 244 | 0.0 |5341k| 186 | - | 402 |1143 | 0 | 0 | 28 | 528k| 30 | 1.200000e+01 | 1.400000e+01 | 16.67%
367.55/367.75 c 341s|930000 | 131 | 244 | 0.0 |5341k| 186 | - | 402 |1145 | 0 | 0 | 28 | 534k| 30 | 1.200000e+01 | 1.400000e+01 | 16.67%
371.55/371.71 c 344s|940000 | 126 | 244 | 0.0 |5342k| 186 | - | 402 |1141 | 0 | 0 | 28 | 540k| 30 | 1.200000e+01 | 1.400000e+01 | 16.67%
375.85/376.03 c 348s|950000 | 126 | 244 | 0.0 |5350k| 186 | - | 402 |1163 | 0 | 0 | 28 | 547k| 30 | 1.200000e+01 | 1.400000e+01 | 16.67%
380.35/380.60 c 353s|960000 | 122 | 244 | 0.0 |5338k| 186 | - | 402 |1140 | 0 | 0 | 28 | 553k| 30 | 1.200000e+01 | 1.400000e+01 | 16.67%
384.35/384.57 c 356s|970000 | 138 | 244 | 0.0 |5343k| 186 | - | 402 |1138 | 0 | 0 | 28 | 559k| 30 | 1.200000e+01 | 1.400000e+01 | 16.67%
388.25/388.43 c 360s|980000 | 126 | 244 | 0.0 |5343k| 186 | - | 402 |1142 | 0 | 0 | 28 | 565k| 30 | 1.200000e+01 | 1.400000e+01 | 16.67%
392.45/392.65 c 364s|990000 | 125 | 244 | 0.0 |5342k| 186 | - | 402 |1137 | 0 | 0 | 28 | 571k| 30 | 1.200000e+01 | 1.400000e+01 | 16.67%
396.65/396.88 c 368s| 1000k| 123 | 244 | 0.0 |5341k| 186 | - | 402 |1144 | 0 | 0 | 28 | 578k| 30 | 1.200000e+01 | 1.400000e+01 | 16.67%
400.54/400.71 c 371s| 1010k| 123 | 244 | 0.0 |5354k| 186 | - | 402 |1160 | 0 | 0 | 28 | 584k| 30 | 1.200000e+01 | 1.400000e+01 | 16.67%
404.54/404.74 c 375s| 1020k| 118 | 244 | 0.0 |5347k| 191 | - | 402 |1150 | 0 | 0 | 28 | 590k| 30 | 1.200000e+01 | 1.400000e+01 | 16.67%
408.74/408.97 c 379s| 1030k| 124 | 244 | 0.0 |5339k| 191 | - | 402 |1136 | 0 | 0 | 28 | 596k| 30 | 1.200000e+01 | 1.400000e+01 | 16.67%
412.84/413.07 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
412.84/413.07 c 383s| 1040k| 127 | 244 | 0.0 |5345k| 191 | - | 402 |1148 | 0 | 0 | 28 | 602k| 30 | 1.200000e+01 | 1.400000e+01 | 16.67%
416.74/416.92 c 386s| 1050k| 127 | 244 | 0.0 |5341k| 191 | - | 402 |1135 | 0 | 0 | 28 | 607k| 30 | 1.200000e+01 | 1.400000e+01 | 16.67%
420.54/420.70 c 390s| 1060k| 123 | 244 | 0.0 |5343k| 191 | - | 402 |1134 | 0 | 0 | 28 | 613k| 30 | 1.200000e+01 | 1.400000e+01 | 16.67%
424.13/424.36 c 393s| 1070k| 122 | 244 | 0.0 |5338k| 191 | - | 402 |1137 | 0 | 0 | 28 | 618k| 30 | 1.200000e+01 | 1.400000e+01 | 16.67%
427.94/428.20 c 397s| 1080k| 121 | 244 | 0.0 |5336k| 191 | - | 402 |1134 | 0 | 0 | 28 | 624k| 30 | 1.200000e+01 | 1.400000e+01 | 16.67%
432.14/432.39 c 401s| 1090k| 131 | 244 | 0.0 |5341k| 191 | - | 402 |1136 | 0 | 0 | 28 | 630k| 30 | 1.200000e+01 | 1.400000e+01 | 16.67%
436.03/436.28 c 404s| 1100k| 119 | 244 | 0.0 |5337k| 191 | - | 402 |1136 | 0 | 0 | 28 | 636k| 30 | 1.200000e+01 | 1.400000e+01 | 16.67%
439.84/440.09 c 408s| 1110k| 118 | 244 | 0.0 |5340k| 191 | - | 402 |1142 | 0 | 0 | 28 | 642k| 30 | 1.200000e+01 | 1.400000e+01 | 16.67%
443.83/444.03 c 412s| 1120k| 135 | 244 | 0.0 |5346k| 191 | - | 402 |1137 | 0 | 0 | 28 | 648k| 30 | 1.200000e+01 | 1.400000e+01 | 16.67%
448.02/448.20 c 415s| 1130k| 113 | 244 | 0.0 |5338k| 191 | - | 402 |1143 | 0 | 0 | 28 | 654k| 30 | 1.200000e+01 | 1.400000e+01 | 16.67%
451.72/451.98 c 419s| 1140k| 125 | 244 | 0.0 |5340k| 191 | - | 402 |1138 | 0 | 0 | 28 | 659k| 30 | 1.200000e+01 | 1.400000e+01 | 16.67%
455.72/455.99 c 423s| 1150k| 123 | 244 | 0.0 |5341k| 191 | - | 402 |1143 | 0 | 0 | 28 | 665k| 30 | 1.200000e+01 | 1.400000e+01 | 16.67%
459.62/459.83 c 426s| 1160k| 119 | 244 | 0.0 |5341k| 191 | - | 402 |1144 | 0 | 0 | 28 | 671k| 30 | 1.200000e+01 | 1.400000e+01 | 16.67%
463.61/463.84 c 430s| 1170k| 121 | 244 | 0.0 |5344k| 191 | - | 402 |1150 | 0 | 0 | 28 | 677k| 30 | 1.200000e+01 | 1.400000e+01 | 16.67%
467.62/467.88 c 434s| 1180k| 120 | 244 | 0.0 |5348k| 191 | - | 402 |1162 | 0 | 0 | 28 | 683k| 30 | 1.200000e+01 | 1.400000e+01 | 16.67%
471.32/471.53 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
471.32/471.53 c 437s| 1190k| 120 | 244 | 0.0 |5342k| 191 | - | 402 |1144 | 0 | 0 | 28 | 688k| 30 | 1.200000e+01 | 1.400000e+01 | 16.67%
475.02/475.29 c 440s| 1200k| 120 | 244 | 0.0 |5341k| 191 | - | 402 |1141 | 0 | 0 | 28 | 694k| 30 | 1.200000e+01 | 1.400000e+01 | 16.67%
479.01/479.29 c 444s| 1210k| 125 | 244 | 0.0 |5344k| 191 | - | 402 |1145 | 0 | 0 | 28 | 699k| 30 | 1.200000e+01 | 1.400000e+01 | 16.67%
483.31/483.57 c 448s| 1220k| 127 | 244 | 0.0 |5342k| 191 | - | 402 |1140 | 0 | 0 | 28 | 706k| 30 | 1.200000e+01 | 1.400000e+01 | 16.67%
486.81/487.08 c 451s| 1230k| 125 | 244 | 0.0 |5342k| 191 | - | 402 |1138 | 0 | 0 | 28 | 711k| 30 | 1.200000e+01 | 1.400000e+01 | 16.67%
491.01/491.25 c 455s| 1240k| 127 | 244 | 0.0 |5345k| 191 | - | 402 |1144 | 0 | 0 | 28 | 717k| 30 | 1.200000e+01 | 1.400000e+01 | 16.67%
495.51/495.73 c 459s| 1250k| 127 | 244 | 0.0 |5345k| 191 | - | 402 |1145 | 0 | 0 | 28 | 723k| 30 | 1.200000e+01 | 1.400000e+01 | 16.67%
499.81/500.01 c 463s| 1260k| 116 | 244 | 0.0 |5343k| 191 | - | 402 |1148 | 0 | 0 | 28 | 730k| 30 | 1.200000e+01 | 1.400000e+01 | 16.67%
504.00/504.27 c 467s| 1270k| 134 | 244 | 0.0 |5352k| 191 | - | 402 |1158 | 0 | 0 | 28 | 736k| 30 | 1.200000e+01 | 1.400000e+01 | 16.67%
508.40/508.61 c 471s| 1280k| 119 | 244 | 0.0 |5342k| 191 | - | 402 |1142 | 0 | 0 | 28 | 743k| 30 | 1.200000e+01 | 1.400000e+01 | 16.67%
512.59/512.80 c 475s| 1290k| 118 | 244 | 0.0 |5341k| 191 | - | 402 |1141 | 0 | 0 | 28 | 749k| 30 | 1.200000e+01 | 1.400000e+01 | 16.67%
516.89/517.11 c 479s| 1300k| 115 | 244 | 0.0 |5342k| 191 | - | 402 |1145 | 0 | 0 | 28 | 756k| 30 | 1.200000e+01 | 1.400000e+01 | 16.67%
521.00/521.23 c 483s| 1310k| 122 | 244 | 0.0 |5353k| 191 | - | 402 |1162 | 0 | 0 | 28 | 762k| 30 | 1.200000e+01 | 1.400000e+01 | 16.67%
524.69/524.94 c 486s| 1320k| 127 | 244 | 0.0 |5347k| 191 | - | 402 |1137 | 0 | 0 | 28 | 767k| 30 | 1.200000e+01 | 1.400000e+01 | 16.67%
528.19/528.49 c 490s| 1330k| 134 | 244 | 0.0 |5345k| 191 | - | 402 |1138 | 0 | 0 | 28 | 773k| 30 | 1.200000e+01 | 1.400000e+01 | 16.67%
531.69/531.92 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
531.69/531.92 c 493s| 1340k| 127 | 244 | 0.0 |5342k| 191 | - | 402 |1136 | 0 | 0 | 28 | 778k| 30 | 1.200000e+01 | 1.400000e+01 | 16.67%
535.50/535.73 c 496s| 1350k| 122 | 244 | 0.0 |5348k| 191 | - | 402 |1150 | 0 | 0 | 28 | 784k| 30 | 1.200000e+01 | 1.400000e+01 | 16.67%
539.39/539.61 c 500s| 1360k| 124 | 244 | 0.0 |5350k| 191 | - | 402 |1155 | 0 | 0 | 28 | 790k| 30 | 1.200000e+01 | 1.400000e+01 | 16.67%
543.09/543.38 c 504s| 1370k| 124 | 244 | 0.0 |5344k| 191 | - | 402 |1136 | 0 | 0 | 28 | 795k| 30 | 1.200000e+01 | 1.400000e+01 | 16.67%
546.88/547.15 c 507s| 1380k| 135 | 244 | 0.0 |5346k| 191 | - | 402 |1136 | 0 | 0 | 28 | 801k| 30 | 1.200000e+01 | 1.400000e+01 | 16.67%
550.79/551.06 c 511s| 1390k| 122 | 244 | 0.0 |5347k| 191 | - | 402 |1136 | 0 | 0 | 28 | 807k| 30 | 1.200000e+01 | 1.400000e+01 | 16.67%
554.49/554.71 c 514s| 1400k| 117 | 244 | 0.0 |5342k| 191 | - | 402 |1139 | 0 | 0 | 28 | 812k| 30 | 1.200000e+01 | 1.400000e+01 | 16.67%
558.19/558.48 c 518s| 1410k| 120 | 244 | 0.0 |5342k| 191 | - | 402 |1137 | 0 | 0 | 28 | 818k| 30 | 1.200000e+01 | 1.400000e+01 | 16.67%
562.08/562.34 c 521s| 1420k| 124 | 244 | 0.0 |5353k| 191 | - | 402 |1157 | 0 | 0 | 28 | 824k| 30 | 1.200000e+01 | 1.400000e+01 | 16.67%
566.29/566.59 c 525s| 1430k| 123 | 244 | 0.0 |5348k| 191 | - | 402 |1145 | 0 | 0 | 28 | 830k| 30 | 1.200000e+01 | 1.400000e+01 | 16.67%
570.08/570.31 c 529s| 1440k| 122 | 244 | 0.0 |5348k| 191 | - | 402 |1144 | 0 | 0 | 28 | 836k| 30 | 1.200000e+01 | 1.400000e+01 | 16.67%
573.57/573.89 c 532s| 1450k| 123 | 244 | 0.0 |5344k| 191 | - | 402 |1136 | 0 | 0 | 28 | 841k| 30 | 1.200000e+01 | 1.400000e+01 | 16.67%
577.77/578.06 c 536s| 1460k| 117 | 244 | 0.0 |5341k| 191 | - | 402 |1135 | 0 | 0 | 28 | 847k| 30 | 1.200000e+01 | 1.400000e+01 | 16.67%
581.58/581.84 c 539s| 1470k| 135 | 244 | 0.0 |5347k| 191 | - | 402 |1136 | 0 | 0 | 28 | 852k| 30 | 1.200000e+01 | 1.400000e+01 | 16.67%
585.77/586.08 c 543s| 1480k| 124 | 244 | 0.0 |5348k| 191 | - | 402 |1143 | 0 | 0 | 28 | 858k| 30 | 1.200000e+01 | 1.400000e+01 | 16.67%
589.77/590.01 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
589.77/590.01 c 547s| 1490k| 123 | 244 | 0.0 |5346k| 191 | - | 402 |1139 | 0 | 0 | 28 | 865k| 30 | 1.200000e+01 | 1.400000e+01 | 16.67%
593.87/594.10 c 551s| 1500k| 136 | 244 | 0.0 |5348k| 191 | - | 402 |1137 | 0 | 0 | 28 | 871k| 30 | 1.200000e+01 | 1.400000e+01 | 16.67%
597.77/598.03 c 554s| 1510k| 118 | 244 | 0.0 |5345k| 191 | - | 402 |1142 | 0 | 0 | 28 | 877k| 30 | 1.200000e+01 | 1.400000e+01 | 16.67%
601.37/601.62 c 558s| 1520k| 118 | 244 | 0.0 |5347k| 191 | - | 402 |1144 | 0 | 0 | 28 | 882k| 30 | 1.200000e+01 | 1.400000e+01 | 16.67%
605.17/605.48 c 561s| 1530k| 119 | 244 | 0.0 |5344k| 191 | - | 402 |1138 | 0 | 0 | 28 | 888k| 30 | 1.200000e+01 | 1.400000e+01 | 16.67%
609.46/609.79 c 565s| 1540k| 119 | 244 | 0.0 |5362k| 191 | - | 402 |1183 | 0 | 0 | 28 | 894k| 30 | 1.200000e+01 | 1.400000e+01 | 16.67%
613.36/613.69 c 569s| 1550k| 127 | 244 | 0.0 |5348k| 191 | - | 402 |1143 | 0 | 0 | 28 | 900k| 30 | 1.200000e+01 | 1.400000e+01 | 16.67%
617.46/617.71 c 573s| 1560k| 127 | 244 | 0.0 |5349k| 191 | - | 402 |1140 | 0 | 0 | 28 | 905k| 30 | 1.200000e+01 | 1.400000e+01 | 16.67%
621.35/621.67 c 576s| 1570k| 124 | 244 | 0.0 |5344k| 191 | - | 402 |1137 | 0 | 0 | 28 | 911k| 30 | 1.200000e+01 | 1.400000e+01 | 16.67%
624.96/625.29 c 580s| 1580k| 125 | 244 | 0.0 |5347k| 191 | - | 402 |1138 | 0 | 0 | 28 | 917k| 30 | 1.200000e+01 | 1.400000e+01 | 16.67%
628.86/629.18 c 583s| 1590k| 127 | 244 | 0.0 |5347k| 191 | - | 402 |1137 | 0 | 0 | 28 | 922k| 30 | 1.200000e+01 | 1.400000e+01 | 16.67%
632.95/633.27 c 587s| 1600k| 123 | 244 | 0.0 |5345k| 191 | - | 402 |1136 | 0 | 0 | 28 | 928k| 30 | 1.200000e+01 | 1.400000e+01 | 16.67%
636.86/637.15 c 591s| 1610k| 122 | 244 | 0.0 |5344k| 191 | - | 402 |1135 | 0 | 0 | 28 | 934k| 30 | 1.200000e+01 | 1.400000e+01 | 16.67%
640.65/640.97 c 594s| 1620k| 125 | 244 | 0.0 |5347k| 191 | - | 402 |1143 | 0 | 0 | 28 | 940k| 30 | 1.200000e+01 | 1.400000e+01 | 16.67%
643.95/644.29 c 597s| 1630k| 123 | 244 | 0.0 |5347k| 191 | - | 402 |1138 | 0 | 0 | 28 | 945k| 30 | 1.200000e+01 | 1.400000e+01 | 16.67%
647.34/647.68 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
647.34/647.68 c 600s| 1640k| 124 | 244 | 0.0 |5348k| 191 | - | 402 |1142 | 0 | 0 | 28 | 950k| 30 | 1.200000e+01 | 1.400000e+01 | 16.67%
650.55/650.89 c 603s| 1650k| 116 | 244 | 0.0 |5344k| 191 | - | 402 |1139 | 0 | 0 | 28 | 955k| 30 | 1.200000e+01 | 1.400000e+01 | 16.67%
653.94/654.20 c 606s| 1660k| 127 | 244 | 0.0 |5352k| 191 | - | 402 |1143 | 0 | 0 | 28 | 961k| 30 | 1.200000e+01 | 1.400000e+01 | 16.67%
657.45/657.71 c 610s| 1670k| 122 | 244 | 0.0 |5347k| 191 | - | 402 |1141 | 0 | 0 | 28 | 966k| 30 | 1.200000e+01 | 1.400000e+01 | 16.67%
660.95/661.23 c 613s| 1680k| 123 | 244 | 0.0 |5350k| 191 | - | 402 |1144 | 0 | 0 | 28 | 971k| 30 | 1.200000e+01 | 1.400000e+01 | 16.67%
664.54/664.80 c 616s| 1690k| 132 | 244 | 0.0 |5349k| 191 | - | 402 |1141 | 0 | 0 | 28 | 977k| 30 | 1.200000e+01 | 1.400000e+01 | 16.67%
668.24/668.51 c 620s| 1700k| 118 | 244 | 0.0 |5349k| 191 | - | 402 |1139 | 0 | 0 | 28 | 982k| 30 | 1.200000e+01 | 1.400000e+01 | 16.67%
672.03/672.35 c 623s| 1710k| 115 | 244 | 0.0 |5344k| 191 | - | 402 |1140 | 0 | 0 | 28 | 988k| 30 | 1.200000e+01 | 1.400000e+01 | 16.67%
675.74/676.01 c 627s| 1720k| 116 | 244 | 0.0 |5347k| 191 | - | 402 |1145 | 0 | 0 | 28 | 994k| 30 | 1.200000e+01 | 1.400000e+01 | 16.67%
679.45/679.72 c 630s| 1730k| 116 | 244 | 0.0 |5354k| 191 | - | 402 |1151 | 0 | 0 | 28 |1000k| 30 | 1.200000e+01 | 1.400000e+01 | 16.67%
683.04/683.38 c 634s| 1740k| 120 | 244 | 0.0 |5347k| 191 | - | 402 |1141 | 0 | 0 | 28 |1005k| 30 | 1.200000e+01 | 1.400000e+01 | 16.67%
686.93/687.25 c 637s| 1750k| 125 | 244 | 0.0 |5347k| 191 | - | 402 |1137 | 0 | 0 | 28 |1011k| 30 | 1.200000e+01 | 1.400000e+01 | 16.67%
690.83/691.15 c 641s| 1760k| 121 | 244 | 0.0 |5348k| 191 | - | 402 |1143 | 0 | 0 | 28 |1017k| 30 | 1.200000e+01 | 1.400000e+01 | 16.67%
694.23/694.56 c 644s| 1770k| 131 | 244 | 0.0 |5355k| 191 | - | 402 |1149 | 0 | 0 | 28 |1022k| 30 | 1.200000e+01 | 1.400000e+01 | 16.67%
697.73/698.03 c 647s| 1780k| 134 | 244 | 0.0 |5359k| 191 | - | 402 |1154 | 0 | 0 | 28 |1027k| 30 | 1.200000e+01 | 1.400000e+01 | 16.67%
701.93/702.27 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
701.93/702.27 c 651s| 1790k| 121 | 244 | 0.0 |5355k| 191 | - | 402 |1147 | 0 | 0 | 28 |1033k| 30 | 1.200000e+01 | 1.400000e+01 | 16.67%
705.73/706.07 c 655s| 1800k| 118 | 244 | 0.0 |5355k| 191 | - | 402 |1155 | 0 | 0 | 28 |1039k| 30 | 1.200000e+01 | 1.400000e+01 | 16.67%
709.62/709.90 c 658s| 1810k| 124 | 244 | 0.0 |5356k| 191 | - | 402 |1156 | 0 | 0 | 28 |1045k| 30 | 1.200000e+01 | 1.400000e+01 | 16.67%
713.73/714.02 c 662s| 1820k| 122 | 244 | 0.0 |5353k| 191 | - | 402 |1150 | 0 | 0 | 28 |1050k| 30 | 1.200000e+01 | 1.400000e+01 | 16.67%
717.62/717.97 c 666s| 1830k| 128 | 244 | 0.0 |5349k| 191 | - | 402 |1140 | 0 | 0 | 28 |1056k| 30 | 1.200000e+01 | 1.400000e+01 | 16.67%
721.02/721.37 c 669s| 1840k| 118 | 244 | 0.0 |5346k| 191 | - | 402 |1136 | 0 | 0 | 28 |1061k| 30 | 1.200000e+01 | 1.400000e+01 | 16.67%
724.53/724.82 c 672s| 1850k| 110 | 244 | 0.0 |5350k| 191 | - | 402 |1153 | 0 | 0 | 28 |1067k| 30 | 1.200000e+01 | 1.400000e+01 | 16.67%
728.52/728.84 c 676s| 1860k| 121 | 244 | 0.0 |5348k| 191 | - | 402 |1142 | 0 | 0 | 28 |1072k| 30 | 1.200000e+01 | 1.400000e+01 | 16.67%
732.32/732.68 c 679s| 1870k| 117 | 244 | 0.0 |5352k| 191 | - | 402 |1150 | 0 | 0 | 28 |1078k| 30 | 1.200000e+01 | 1.400000e+01 | 16.67%
735.91/736.29 c 683s| 1880k| 122 | 244 | 0.0 |5354k| 191 | - | 402 |1142 | 0 | 0 | 28 |1084k| 30 | 1.200000e+01 | 1.400000e+01 | 16.67%
739.31/739.61 c 686s| 1890k| 130 | 244 | 0.0 |5355k| 191 | - | 402 |1150 | 0 | 0 | 28 |1089k| 30 | 1.200000e+01 | 1.400000e+01 | 16.67%
742.72/743.00 c 689s| 1900k| 129 | 244 | 0.0 |5351k| 191 | - | 402 |1142 | 0 | 0 | 28 |1094k| 30 | 1.200000e+01 | 1.400000e+01 | 16.67%
746.11/746.47 c 692s| 1910k| 121 | 244 | 0.0 |5354k| 191 | - | 402 |1156 | 0 | 0 | 28 |1099k| 30 | 1.200000e+01 | 1.400000e+01 | 16.67%
749.92/750.22 c 696s| 1920k| 119 | 244 | 0.0 |5348k| 191 | - | 402 |1144 | 0 | 0 | 28 |1104k| 30 | 1.200000e+01 | 1.400000e+01 | 16.67%
753.50/753.81 c 699s| 1930k| 122 | 244 | 0.0 |5352k| 191 | - | 402 |1153 | 0 | 0 | 28 |1110k| 30 | 1.200000e+01 | 1.400000e+01 | 16.67%
757.20/757.56 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
757.20/757.56 c 702s| 1940k| 131 | 244 | 0.0 |5353k| 191 | - | 402 |1146 | 0 | 0 | 28 |1116k| 30 | 1.200000e+01 | 1.400000e+01 | 16.67%
760.61/760.91 c 706s| 1950k| 124 | 244 | 0.0 |5351k| 191 | - | 402 |1146 | 0 | 0 | 28 |1121k| 30 | 1.200000e+01 | 1.400000e+01 | 16.67%
764.11/764.40 c 709s| 1960k| 123 | 244 | 0.0 |5350k| 191 | - | 402 |1142 | 0 | 0 | 28 |1127k| 30 | 1.200000e+01 | 1.400000e+01 | 16.67%
767.60/767.96 c 712s| 1970k| 126 | 244 | 0.0 |5353k| 191 | - | 402 |1147 | 0 | 0 | 28 |1132k| 30 | 1.200000e+01 | 1.400000e+01 | 16.67%
771.40/771.72 c 716s| 1980k| 121 | 244 | 0.0 |5350k| 191 | - | 402 |1145 | 0 | 0 | 28 |1138k| 30 | 1.200000e+01 | 1.400000e+01 | 16.67%
774.90/775.29 c 719s| 1990k| 123 | 244 | 0.0 |5357k| 191 | - | 402 |1164 | 0 | 0 | 28 |1144k| 30 | 1.200000e+01 | 1.400000e+01 | 16.67%
778.70/779.06 c 722s| 2000k| 118 | 244 | 0.0 |5357k| 191 | - | 402 |1147 | 0 | 0 | 28 |1150k| 30 | 1.200000e+01 | 1.400000e+01 | 16.67%
782.30/782.69 c 726s| 2010k| 121 | 244 | 0.0 |5350k| 191 | - | 402 |1148 | 0 | 0 | 28 |1155k| 30 | 1.200000e+01 | 1.400000e+01 | 16.67%
786.00/786.33 c 729s| 2020k| 113 | 244 | 0.0 |5357k| 191 | - | 402 |1155 | 0 | 0 | 28 |1161k| 30 | 1.200000e+01 | 1.400000e+01 | 16.67%
789.79/790.12 c 733s| 2030k| 113 | 244 | 0.0 |5353k| 191 | - | 402 |1154 | 0 | 0 | 28 |1167k| 30 | 1.200000e+01 | 1.400000e+01 | 16.67%
793.29/793.63 c 736s| 2040k| 117 | 244 | 0.0 |5346k| 191 | - | 402 |1142 | 0 | 0 | 28 |1172k| 30 | 1.200000e+01 | 1.400000e+01 | 16.67%
797.10/797.45 c 739s| 2050k| 121 | 244 | 0.0 |5352k| 191 | - | 402 |1152 | 0 | 0 | 28 |1178k| 30 | 1.200000e+01 | 1.400000e+01 | 16.67%
800.69/801.06 c 743s| 2060k| 124 | 244 | 0.0 |5354k| 191 | - | 402 |1149 | 0 | 0 | 28 |1183k| 30 | 1.200000e+01 | 1.400000e+01 | 16.67%
804.19/804.51 c 746s| 2070k| 124 | 244 | 0.0 |5353k| 191 | - | 402 |1149 | 0 | 0 | 28 |1189k| 30 | 1.200000e+01 | 1.400000e+01 | 16.67%
807.89/808.25 c 749s| 2080k| 123 | 244 | 0.0 |5353k| 191 | - | 402 |1151 | 0 | 0 | 28 |1195k| 30 | 1.200000e+01 | 1.400000e+01 | 16.67%
811.69/812.02 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
811.69/812.02 c 753s| 2090k| 112 | 244 | 0.0 |5348k| 191 | - | 402 |1146 | 0 | 0 | 28 |1200k| 30 | 1.200000e+01 | 1.400000e+01 | 16.67%
815.38/815.70 c 756s| 2100k| 123 | 244 | 0.0 |5350k| 191 | - | 402 |1142 | 0 | 0 | 28 |1206k| 30 | 1.200000e+01 | 1.400000e+01 | 16.67%
818.68/819.07 c 760s| 2110k| 117 | 244 | 0.0 |5350k| 191 | - | 402 |1144 | 0 | 0 | 28 |1211k| 30 | 1.200000e+01 | 1.400000e+01 | 16.67%
822.49/822.86 c 763s| 2120k| 128 | 244 | 0.0 |5356k| 191 | - | 402 |1150 | 0 | 0 | 28 |1217k| 30 | 1.200000e+01 | 1.400000e+01 | 16.67%
826.07/826.49 c 766s| 2130k| 115 | 244 | 0.0 |5347k| 191 | - | 402 |1140 | 0 | 0 | 28 |1223k| 30 | 1.200000e+01 | 1.400000e+01 | 16.67%
829.87/830.28 c 770s| 2140k| 118 | 244 | 0.0 |5350k| 191 | - | 402 |1142 | 0 | 0 | 28 |1228k| 30 | 1.200000e+01 | 1.400000e+01 | 16.67%
833.57/833.94 c 773s| 2150k| 115 | 244 | 0.0 |5351k| 191 | - | 402 |1149 | 0 | 0 | 28 |1234k| 30 | 1.200000e+01 | 1.400000e+01 | 16.67%
837.57/837.91 c 777s| 2160k| 124 | 244 | 0.0 |5354k| 191 | - | 402 |1145 | 0 | 0 | 28 |1239k| 30 | 1.200000e+01 | 1.400000e+01 | 16.67%
841.58/841.91 c 781s| 2170k| 117 | 244 | 0.0 |5348k| 191 | - | 402 |1141 | 0 | 0 | 28 |1245k| 30 | 1.200000e+01 | 1.400000e+01 | 16.67%
845.17/845.59 c 784s| 2180k| 114 | 244 | 0.0 |5348k| 191 | - | 402 |1139 | 0 | 0 | 28 |1251k| 30 | 1.200000e+01 | 1.400000e+01 | 16.67%
848.88/849.23 c 788s| 2190k| 116 | 244 | 0.0 |5356k| 191 | - | 402 |1147 | 0 | 0 | 28 |1257k| 30 | 1.200000e+01 | 1.400000e+01 | 16.67%
852.37/852.78 c 791s| 2200k| 117 | 244 | 0.0 |5357k| 191 | - | 402 |1151 | 0 | 0 | 28 |1262k| 30 | 1.200000e+01 | 1.400000e+01 | 16.67%
856.16/856.51 c 794s| 2210k| 109 | 244 | 0.0 |5351k| 191 | - | 402 |1151 | 0 | 0 | 28 |1268k| 30 | 1.200000e+01 | 1.400000e+01 | 16.67%
859.78/860.11 c 798s| 2220k| 120 | 244 | 0.0 |5351k| 191 | - | 402 |1142 | 0 | 0 | 28 |1273k| 30 | 1.200000e+01 | 1.400000e+01 | 16.67%
863.47/863.87 c 801s| 2230k| 134 | 244 | 0.0 |5354k| 191 | - | 402 |1142 | 0 | 0 | 28 |1279k| 30 | 1.200000e+01 | 1.400000e+01 | 16.67%
866.87/867.29 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
866.87/867.29 c 804s| 2240k| 122 | 244 | 0.0 |5352k| 191 | - | 402 |1147 | 0 | 0 | 28 |1284k| 30 | 1.200000e+01 | 1.400000e+01 | 16.67%
870.56/870.97 c 808s| 2250k| 118 | 244 | 0.0 |5354k| 191 | - | 402 |1142 | 0 | 0 | 28 |1290k| 30 | 1.200000e+01 | 1.400000e+01 | 16.67%
874.36/874.76 c 811s| 2260k| 122 | 244 | 0.0 |5358k| 191 | - | 402 |1152 | 0 | 0 | 28 |1295k| 30 | 1.200000e+01 | 1.400000e+01 | 16.67%
878.16/878.58 c 815s| 2270k| 114 | 244 | 0.0 |5350k| 191 | - | 402 |1147 | 0 | 0 | 28 |1301k| 30 | 1.200000e+01 | 1.400000e+01 | 16.67%
881.66/882.06 c 818s| 2280k| 112 | 244 | 0.0 |5348k| 191 | - | 402 |1143 | 0 | 0 | 28 |1306k| 30 | 1.200000e+01 | 1.400000e+01 | 16.67%
885.36/885.72 c 822s| 2290k| 120 | 244 | 0.0 |5356k| 191 | - | 402 |1143 | 0 | 0 | 28 |1312k| 30 | 1.200000e+01 | 1.400000e+01 | 16.67%
889.05/889.43 c 825s| 2300k| 125 | 244 | 0.0 |5352k| 191 | - | 402 |1145 | 0 | 0 | 28 |1317k| 30 | 1.200000e+01 | 1.400000e+01 | 16.67%
892.86/893.29 c 829s| 2310k| 118 | 244 | 0.0 |5351k| 191 | - | 402 |1145 | 0 | 0 | 28 |1323k| 30 | 1.200000e+01 | 1.400000e+01 | 16.67%
896.65/897.04 c 832s| 2320k| 110 | 244 | 0.0 |5354k| 191 | - | 402 |1159 | 0 | 0 | 28 |1329k| 30 | 1.200000e+01 | 1.400000e+01 | 16.67%
900.35/900.79 c 836s| 2330k| 115 | 244 | 0.0 |5349k| 191 | - | 402 |1145 | 0 | 0 | 28 |1334k| 30 | 1.200000e+01 | 1.400000e+01 | 16.67%
904.05/904.47 c 839s| 2340k| 125 | 244 | 0.0 |5353k| 191 | - | 402 |1145 | 0 | 0 | 28 |1339k| 30 | 1.200000e+01 | 1.400000e+01 | 16.67%
907.85/908.25 c 842s| 2350k| 117 | 244 | 0.0 |5352k| 191 | - | 402 |1148 | 0 | 0 | 28 |1345k| 30 | 1.200000e+01 | 1.400000e+01 | 16.67%
911.45/911.89 c 846s| 2360k| 117 | 244 | 0.0 |5353k| 191 | - | 402 |1150 | 0 | 0 | 28 |1350k| 30 | 1.200000e+01 | 1.400000e+01 | 16.67%
915.14/915.50 c 849s| 2370k| 127 | 244 | 0.0 |5354k| 191 | - | 402 |1150 | 0 | 0 | 28 |1356k| 30 | 1.200000e+01 | 1.400000e+01 | 16.67%
918.75/919.13 c 853s| 2380k| 115 | 244 | 0.0 |5351k| 191 | - | 402 |1145 | 0 | 0 | 28 |1361k| 30 | 1.200000e+01 | 1.400000e+01 | 16.67%
922.04/922.44 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
922.04/922.44 c 856s| 2390k| 131 | 244 | 0.0 |5364k| 191 | - | 402 |1168 | 0 | 0 | 28 |1366k| 30 | 1.200000e+01 | 1.400000e+01 | 16.67%
925.44/925.89 c 859s| 2400k| 120 | 244 | 0.0 |5356k| 191 | - | 402 |1155 | 0 | 0 | 28 |1372k| 30 | 1.200000e+01 | 1.400000e+01 | 16.67%
929.15/929.57 c 862s| 2410k| 124 | 244 | 0.0 |5355k| 191 | - | 402 |1151 | 0 | 0 | 28 |1378k| 30 | 1.200000e+01 | 1.400000e+01 | 16.67%
932.84/933.21 c 866s| 2420k| 123 | 244 | 0.0 |5359k| 191 | - | 402 |1159 | 0 | 0 | 28 |1383k| 30 | 1.200000e+01 | 1.400000e+01 | 16.67%
936.85/937.24 c 869s| 2430k| 114 | 244 | 0.0 |5355k| 191 | - | 402 |1154 | 0 | 0 | 28 |1390k| 30 | 1.200000e+01 | 1.400000e+01 | 16.67%
940.64/941.06 c 873s| 2440k| 129 | 244 | 0.0 |5358k| 191 | - | 402 |1153 | 0 | 0 | 28 |1395k| 30 | 1.200000e+01 | 1.400000e+01 | 16.67%
944.23/944.62 c 876s| 2450k| 120 | 244 | 0.0 |5360k| 191 | - | 402 |1163 | 0 | 0 | 28 |1401k| 30 | 1.200000e+01 | 1.400000e+01 | 16.67%
947.74/948.15 c 879s| 2460k| 111 | 244 | 0.0 |5356k| 191 | - | 402 |1159 | 0 | 0 | 28 |1406k| 30 | 1.200000e+01 | 1.400000e+01 | 16.67%
951.63/952.02 c 883s| 2470k| 106 | 244 | 0.0 |5353k| 191 | - | 402 |1152 | 0 | 0 | 28 |1412k| 30 | 1.200000e+01 | 1.400000e+01 | 16.67%
955.33/955.78 c 887s| 2480k| 116 | 244 | 0.0 |5356k| 191 | - | 402 |1155 | 0 | 0 | 28 |1418k| 30 | 1.200000e+01 | 1.400000e+01 | 16.67%
959.13/959.51 c 890s| 2490k| 113 | 244 | 0.0 |5353k| 191 | - | 402 |1153 | 0 | 0 | 28 |1424k| 30 | 1.200000e+01 | 1.400000e+01 | 16.67%
963.03/963.43 c 894s| 2500k| 111 | 244 | 0.0 |5361k| 191 | - | 402 |1165 | 0 | 0 | 28 |1430k| 30 | 1.200000e+01 | 1.400000e+01 | 16.67%
967.03/967.41 c 897s| 2510k| 111 | 244 | 0.0 |5360k| 191 | - | 402 |1167 | 0 | 0 | 28 |1436k| 30 | 1.200000e+01 | 1.400000e+01 | 16.67%
970.62/971.08 c 901s| 2520k| 127 | 244 | 0.0 |5357k| 191 | - | 402 |1150 | 0 | 0 | 28 |1441k| 30 | 1.200000e+01 | 1.400000e+01 | 16.67%
974.13/974.56 c 904s| 2530k| 127 | 244 | 0.0 |5357k| 191 | - | 402 |1151 | 0 | 0 | 28 |1446k| 30 | 1.200000e+01 | 1.400000e+01 | 16.67%
977.62/978.08 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
977.62/978.08 c 907s| 2540k| 116 | 244 | 0.0 |5359k| 191 | - | 402 |1150 | 0 | 0 | 28 |1451k| 30 | 1.200000e+01 | 1.400000e+01 | 16.67%
981.32/981.75 c 911s| 2550k| 118 | 244 | 0.0 |5354k| 191 | - | 402 |1149 | 0 | 0 | 28 |1457k| 30 | 1.200000e+01 | 1.400000e+01 | 16.67%
985.32/985.77 c 914s| 2560k| 114 | 244 | 0.0 |5370k| 191 | - | 402 |1180 | 0 | 0 | 28 |1463k| 30 | 1.200000e+01 | 1.400000e+01 | 16.67%
989.22/989.63 c 918s| 2570k| 119 | 244 | 0.0 |5359k| 191 | - | 402 |1157 | 0 | 0 | 28 |1468k| 30 | 1.200000e+01 | 1.400000e+01 | 16.67%
992.93/993.35 c 922s| 2580k| 116 | 244 | 0.0 |5354k| 191 | - | 402 |1152 | 0 | 0 | 28 |1474k| 30 | 1.200000e+01 | 1.400000e+01 | 16.67%
996.61/997.04 c 925s| 2590k| 109 | 244 | 0.0 |5354k| 191 | - | 402 |1157 | 0 | 0 | 28 |1479k| 30 | 1.200000e+01 | 1.400000e+01 | 16.67%
1000.12/1000.50 c 928s| 2600k| 114 | 244 | 0.0 |5358k| 191 | - | 402 |1161 | 0 | 0 | 28 |1484k| 30 | 1.200000e+01 | 1.400000e+01 | 16.67%
1003.61/1004.02 c 931s| 2610k| 126 | 244 | 0.0 |5357k| 191 | - | 402 |1151 | 0 | 0 | 28 |1490k| 30 | 1.200000e+01 | 1.400000e+01 | 16.67%
1006.91/1007.33 c 935s| 2620k| 112 | 244 | 0.0 |5356k| 191 | - | 402 |1146 | 0 | 0 | 28 |1495k| 30 | 1.200000e+01 | 1.400000e+01 | 16.67%
1010.21/1010.68 c 938s| 2630k| 119 | 244 | 0.0 |5353k| 191 | - | 402 |1143 | 0 | 0 | 28 |1500k| 30 | 1.200000e+01 | 1.400000e+01 | 16.67%
1013.41/1013.89 c 941s| 2640k| 117 | 244 | 0.0 |5358k| 191 | - | 402 |1152 | 0 | 0 | 28 |1505k| 30 | 1.200000e+01 | 1.400000e+01 | 16.67%
1016.80/1017.21 c 944s| 2650k| 113 | 244 | 0.0 |5350k| 191 | - | 402 |1143 | 0 | 0 | 28 |1510k| 30 | 1.200000e+01 | 1.400000e+01 | 16.67%
1020.20/1020.65 c 947s| 2660k| 119 | 244 | 0.0 |5353k| 191 | - | 402 |1145 | 0 | 0 | 28 |1516k| 30 | 1.200000e+01 | 1.400000e+01 | 16.67%
1023.50/1023.91 c 950s| 2670k| 108 | 244 | 0.0 |5356k| 191 | - | 402 |1153 | 0 | 0 | 28 |1521k| 30 | 1.200000e+01 | 1.400000e+01 | 16.67%
1027.20/1027.60 c 953s| 2680k| 120 | 244 | 0.0 |5361k| 191 | - | 402 |1150 | 0 | 0 | 28 |1526k| 30 | 1.200000e+01 | 1.400000e+01 | 16.67%
1030.61/1031.04 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1030.61/1031.04 c 957s| 2690k| 112 | 244 | 0.0 |5354k| 191 | - | 402 |1150 | 0 | 0 | 28 |1532k| 30 | 1.200000e+01 | 1.400000e+01 | 16.67%
1034.10/1034.58 c 960s| 2700k| 131 | 244 | 0.0 |5359k| 191 | - | 402 |1150 | 0 | 0 | 28 |1537k| 30 | 1.200000e+01 | 1.400000e+01 | 16.67%
1037.80/1038.26 c 963s| 2710k| 120 | 244 | 0.0 |5352k| 191 | - | 402 |1143 | 0 | 0 | 28 |1543k| 30 | 1.200000e+01 | 1.400000e+01 | 16.67%
1041.60/1042.01 c 967s| 2720k| 131 | 244 | 0.0 |5365k| 191 | - | 402 |1156 | 0 | 0 | 28 |1548k| 30 | 1.200000e+01 | 1.400000e+01 | 16.67%
1045.40/1045.84 c 970s| 2730k| 120 | 244 | 0.0 |5355k| 191 | - | 402 |1149 | 0 | 0 | 28 |1554k| 30 | 1.200000e+01 | 1.400000e+01 | 16.67%
1049.01/1049.43 c 974s| 2740k| 129 | 244 | 0.0 |5356k| 191 | - | 402 |1145 | 0 | 0 | 28 |1560k| 30 | 1.200000e+01 | 1.400000e+01 | 16.67%
1052.69/1053.18 c 977s| 2750k| 115 | 244 | 0.0 |5358k| 191 | - | 402 |1154 | 0 | 0 | 28 |1565k| 30 | 1.200000e+01 | 1.400000e+01 | 16.67%
1056.89/1057.30 c 981s| 2760k| 124 | 244 | 0.0 |5359k| 191 | - | 402 |1146 | 0 | 0 | 28 |1571k| 30 | 1.200000e+01 | 1.400000e+01 | 16.67%
1060.60/1061.06 c 984s| 2770k| 107 | 244 | 0.0 |5355k| 191 | - | 402 |1149 | 0 | 0 | 28 |1577k| 30 | 1.200000e+01 | 1.400000e+01 | 16.67%
1064.40/1064.85 c 988s| 2780k| 118 | 244 | 0.0 |5353k| 191 | - | 402 |1144 | 0 | 0 | 28 |1583k| 30 | 1.200000e+01 | 1.400000e+01 | 16.67%
1067.99/1068.49 c 991s| 2790k| 123 | 244 | 0.0 |5362k| 191 | - | 402 |1151 | 0 | 0 | 28 |1588k| 30 | 1.200000e+01 | 1.400000e+01 | 16.67%
1071.59/1072.06 c 994s| 2800k| 114 | 244 | 0.0 |5357k| 191 | - | 402 |1154 | 0 | 0 | 28 |1594k| 30 | 1.200000e+01 | 1.400000e+01 | 16.67%
1075.58/1076.07 c 998s| 2810k| 120 | 244 | 0.0 |5359k| 191 | - | 402 |1157 | 0 | 0 | 28 |1600k| 30 | 1.200000e+01 | 1.400000e+01 | 16.67%
1079.49/1079.92 c 1002s| 2820k| 115 | 244 | 0.0 |5362k| 191 | - | 402 |1167 | 0 | 0 | 28 |1606k| 30 | 1.200000e+01 | 1.400000e+01 | 16.67%
1083.18/1083.66 c 1005s| 2830k| 111 | 244 | 0.0 |5355k| 191 | - | 402 |1151 | 0 | 0 | 28 |1611k| 30 | 1.200000e+01 | 1.400000e+01 | 16.67%
1087.39/1087.82 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1087.39/1087.82 c 1009s| 2840k| 107 | 244 | 0.0 |5354k| 191 | - | 402 |1151 | 0 | 0 | 28 |1618k| 30 | 1.200000e+01 | 1.400000e+01 | 16.67%
1091.58/1092.04 c 1013s| 2850k| 120 | 244 | 0.0 |5368k| 191 | - | 402 |1164 | 0 | 0 | 28 |1624k| 30 | 1.200000e+01 | 1.400000e+01 | 16.67%
1095.38/1095.80 c 1017s| 2860k| 121 | 244 | 0.0 |5353k| 191 | - | 402 |1139 | 0 | 0 | 28 |1630k| 30 | 1.200000e+01 | 1.400000e+01 | 16.67%
1098.87/1099.39 c 1020s| 2870k| 120 | 244 | 0.0 |5358k| 191 | - | 402 |1145 | 0 | 0 | 28 |1635k| 30 | 1.200000e+01 | 1.400000e+01 | 16.67%
1102.68/1103.13 c 1023s| 2880k| 114 | 244 | 0.0 |5354k| 191 | - | 402 |1144 | 0 | 0 | 28 |1640k| 30 | 1.200000e+01 | 1.400000e+01 | 16.67%
1106.18/1106.64 c 1027s| 2890k| 115 | 244 | 0.0 |5357k| 191 | - | 402 |1140 | 0 | 0 | 28 |1646k| 30 | 1.200000e+01 | 1.400000e+01 | 16.67%
1109.87/1110.30 c 1030s| 2900k| 120 | 244 | 0.0 |5360k| 191 | - | 402 |1144 | 0 | 0 | 28 |1651k| 30 | 1.200000e+01 | 1.400000e+01 | 16.67%
1113.58/1114.02 c 1033s| 2910k| 120 | 244 | 0.0 |5354k| 191 | - | 402 |1139 | 0 | 0 | 28 |1657k| 30 | 1.200000e+01 | 1.400000e+01 | 16.67%
1117.37/1117.81 c 1037s| 2920k| 121 | 244 | 0.0 |5361k| 191 | - | 402 |1156 | 0 | 0 | 28 |1662k| 30 | 1.200000e+01 | 1.400000e+01 | 16.67%
1121.37/1121.81 c 1041s| 2930k| 114 | 244 | 0.0 |5352k| 191 | - | 402 |1141 | 0 | 0 | 28 |1668k| 30 | 1.200000e+01 | 1.400000e+01 | 16.67%
1124.97/1125.47 c 1044s| 2940k| 112 | 244 | 0.0 |5353k| 191 | - | 402 |1142 | 0 | 0 | 28 |1674k| 30 | 1.200000e+01 | 1.400000e+01 | 16.67%
1128.86/1129.37 c 1048s| 2950k| 119 | 244 | 0.0 |5353k| 191 | - | 402 |1139 | 0 | 0 | 28 |1680k| 30 | 1.200000e+01 | 1.400000e+01 | 16.67%
1132.57/1133.03 c 1051s| 2960k| 122 | 244 | 0.0 |5359k| 191 | - | 402 |1147 | 0 | 0 | 28 |1685k| 30 | 1.200000e+01 | 1.400000e+01 | 16.67%
1136.26/1136.72 c 1055s| 2970k| 106 | 244 | 0.0 |5363k| 191 | - | 402 |1158 | 0 | 0 | 28 |1691k| 30 | 1.200000e+01 | 1.400000e+01 | 16.67%
1139.96/1140.48 c 1058s| 2980k| 117 | 244 | 0.0 |5358k| 191 | - | 402 |1149 | 0 | 0 | 28 |1696k| 30 | 1.200000e+01 | 1.400000e+01 | 16.67%
1143.85/1144.33 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1143.85/1144.33 c 1062s| 2990k| 123 | 244 | 0.0 |5358k| 191 | - | 402 |1146 | 0 | 0 | 28 |1702k| 30 | 1.200000e+01 | 1.400000e+01 | 16.67%
1147.86/1148.33 c 1065s| 3000k| 113 | 244 | 0.0 |5355k| 191 | - | 402 |1145 | 0 | 0 | 28 |1708k| 30 | 1.200000e+01 | 1.400000e+01 | 16.67%
1151.75/1152.26 c 1069s| 3010k| 114 | 244 | 0.0 |5359k| 191 | - | 402 |1147 | 0 | 0 | 28 |1714k| 30 | 1.200000e+01 | 1.400000e+01 | 16.67%
1155.45/1155.97 c 1072s| 3020k| 120 | 244 | 0.0 |5356k| 191 | - | 402 |1142 | 0 | 0 | 28 |1719k| 30 | 1.200000e+01 | 1.400000e+01 | 16.67%
1159.05/1159.53 c 1076s| 3030k| 113 | 244 | 0.0 |5357k| 191 | - | 402 |1151 | 0 | 0 | 28 |1725k| 30 | 1.200000e+01 | 1.400000e+01 | 16.67%
1162.65/1163.16 c 1079s| 3040k| 118 | 244 | 0.0 |5362k| 191 | - | 402 |1155 | 0 | 0 | 28 |1730k| 30 | 1.200000e+01 | 1.400000e+01 | 16.67%
1166.45/1166.98 c 1083s| 3050k| 119 | 244 | 0.0 |5360k| 191 | - | 402 |1152 | 0 | 0 | 28 |1735k| 30 | 1.200000e+01 | 1.400000e+01 | 16.67%
1170.05/1170.57 c 1086s| 3060k| 120 | 244 | 0.0 |5359k| 191 | - | 402 |1145 | 0 | 0 | 28 |1741k| 30 | 1.200000e+01 | 1.400000e+01 | 16.67%
1173.35/1173.84 c 1089s| 3070k| 115 | 244 | 0.0 |5360k| 191 | - | 402 |1147 | 0 | 0 | 28 |1746k| 30 | 1.200000e+01 | 1.400000e+01 | 16.67%
1177.25/1177.75 c 1093s| 3080k| 119 | 244 | 0.0 |5360k| 191 | - | 402 |1147 | 0 | 0 | 28 |1751k| 30 | 1.200000e+01 | 1.400000e+01 | 16.67%
1181.55/1182.09 c 1097s| 3090k| 120 | 244 | 0.0 |5357k| 191 | - | 402 |1145 | 0 | 0 | 28 |1758k| 30 | 1.200000e+01 | 1.400000e+01 | 16.67%
1185.74/1186.22 c 1101s| 3100k| 114 | 244 | 0.0 |5361k| 191 | - | 402 |1149 | 0 | 0 | 28 |1764k| 30 | 1.200000e+01 | 1.400000e+01 | 16.67%
1189.75/1190.26 c 1104s| 3110k| 114 | 244 | 0.0 |5365k| 191 | - | 402 |1156 | 0 | 0 | 28 |1770k| 30 | 1.200000e+01 | 1.400000e+01 | 16.67%
1193.34/1193.88 c 1108s| 3120k| 117 | 244 | 0.0 |5354k| 191 | - | 402 |1139 | 0 | 0 | 28 |1775k| 30 | 1.200000e+01 | 1.400000e+01 | 16.67%
1197.14/1197.67 c 1111s| 3130k| 119 | 244 | 0.0 |5357k| 191 | - | 402 |1143 | 0 | 0 | 28 |1781k| 30 | 1.200000e+01 | 1.400000e+01 | 16.67%
1200.64/1201.12 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1200.64/1201.12 c 1114s| 3140k| 116 | 244 | 0.0 |5358k| 191 | - | 402 |1149 | 0 | 0 | 28 |1786k| 30 | 1.200000e+01 | 1.400000e+01 | 16.67%
1204.44/1204.93 c 1118s| 3150k| 122 | 244 | 0.0 |5359k| 191 | - | 402 |1141 | 0 | 0 | 28 |1791k| 30 | 1.200000e+01 | 1.400000e+01 | 16.67%
1208.23/1208.71 c 1121s| 3160k| 115 | 244 | 0.0 |5361k| 191 | - | 402 |1155 | 0 | 0 | 28 |1797k| 30 | 1.200000e+01 | 1.400000e+01 | 16.67%
1211.83/1212.35 c 1125s| 3170k| 117 | 244 | 0.0 |5359k| 191 | - | 402 |1145 | 0 | 0 | 28 |1803k| 30 | 1.200000e+01 | 1.400000e+01 | 16.67%
1215.43/1215.98 c 1128s| 3180k| 110 | 244 | 0.0 |5357k| 191 | - | 402 |1148 | 0 | 0 | 28 |1808k| 30 | 1.200000e+01 | 1.400000e+01 | 16.67%
1219.33/1219.83 c 1132s| 3190k| 110 | 244 | 0.0 |5359k| 191 | - | 402 |1144 | 0 | 0 | 28 |1814k| 30 | 1.200000e+01 | 1.400000e+01 | 16.67%
1222.83/1223.31 c 1135s| 3200k| 111 | 244 | 0.0 |5359k| 191 | - | 402 |1145 | 0 | 0 | 28 |1819k| 30 | 1.200000e+01 | 1.400000e+01 | 16.67%
1226.33/1226.85 c 1138s| 3210k| 106 | 244 | 0.0 |5355k| 191 | - | 402 |1148 | 0 | 0 | 28 |1824k| 30 | 1.200000e+01 | 1.400000e+01 | 16.67%
1230.02/1230.52 c 1142s| 3220k| 114 | 244 | 0.0 |5367k| 191 | - | 402 |1163 | 0 | 0 | 28 |1829k| 30 | 1.200000e+01 | 1.400000e+01 | 16.67%
1234.42/1234.93 c 1146s| 3230k| 109 | 244 | 0.0 |5362k| 191 | - | 402 |1149 | 0 | 0 | 28 |1835k| 30 | 1.200000e+01 | 1.400000e+01 | 16.67%
1238.62/1239.15 c 1150s| 3240k| 114 | 244 | 0.0 |5368k| 191 | - | 402 |1160 | 0 | 0 | 28 |1841k| 30 | 1.200000e+01 | 1.400000e+01 | 16.67%
1242.53/1243.01 c 1153s| 3250k| 113 | 244 | 0.0 |5357k| 191 | - | 402 |1140 | 0 | 0 | 28 |1847k| 30 | 1.200000e+01 | 1.400000e+01 | 16.67%
1246.31/1246.87 c 1157s| 3260k| 115 | 244 | 0.0 |5353k| 191 | - | 402 |1135 | 0 | 0 | 28 |1853k| 30 | 1.200000e+01 | 1.400000e+01 | 16.67%
1250.11/1250.69 c 1161s| 3270k| 110 | 244 | 0.0 |5357k| 191 | - | 402 |1146 | 0 | 0 | 28 |1858k| 30 | 1.200000e+01 | 1.400000e+01 | 16.67%
1254.11/1254.65 c 1164s| 3280k| 116 | 244 | 0.0 |5355k| 191 | - | 402 |1139 | 0 | 0 | 28 |1864k| 30 | 1.200000e+01 | 1.400000e+01 | 16.67%
1257.91/1258.47 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1257.91/1258.47 c 1168s| 3290k| 114 | 244 | 0.0 |5357k| 191 | - | 402 |1142 | 0 | 0 | 28 |1870k| 30 | 1.200000e+01 | 1.400000e+01 | 16.67%
1261.50/1262.08 c 1171s| 3300k| 120 | 244 | 0.0 |5360k| 191 | - | 402 |1146 | 0 | 0 | 28 |1875k| 30 | 1.200000e+01 | 1.400000e+01 | 16.67%
1265.39/1265.97 c 1175s| 3310k| 115 | 244 | 0.0 |5356k| 191 | - | 402 |1140 | 0 | 0 | 28 |1881k| 30 | 1.200000e+01 | 1.400000e+01 | 16.67%
1269.60/1270.13 c 1179s| 3320k| 110 | 244 | 0.0 |5353k| 191 | - | 402 |1136 | 0 | 0 | 28 |1887k| 30 | 1.200000e+01 | 1.400000e+01 | 16.67%
1273.59/1274.14 c 1182s| 3330k| 111 | 244 | 0.0 |5355k| 191 | - | 402 |1137 | 0 | 0 | 28 |1893k| 30 | 1.200000e+01 | 1.400000e+01 | 16.67%
1277.60/1278.17 c 1186s| 3340k| 112 | 244 | 0.0 |5354k| 191 | - | 402 |1137 | 0 | 0 | 28 |1899k| 30 | 1.200000e+01 | 1.400000e+01 | 16.67%
1281.49/1282.00 c 1190s| 3350k| 112 | 244 | 0.0 |5360k| 191 | - | 402 |1150 | 0 | 0 | 28 |1904k| 30 | 1.200000e+01 | 1.400000e+01 | 16.67%
1285.59/1286.11 c 1193s| 3360k| 121 | 244 | 0.0 |5361k| 191 | - | 402 |1147 | 0 | 0 | 28 |1910k| 30 | 1.200000e+01 | 1.400000e+01 | 16.67%
1289.49/1290.01 c 1197s| 3370k| 120 | 244 | 0.0 |5362k| 191 | - | 402 |1146 | 0 | 0 | 28 |1916k| 30 | 1.200000e+01 | 1.400000e+01 | 16.67%
1293.29/1293.88 c 1201s| 3380k| 115 | 244 | 0.0 |5360k| 191 | - | 402 |1147 | 0 | 0 | 28 |1921k| 30 | 1.200000e+01 | 1.400000e+01 | 16.67%
1297.39/1297.92 c 1204s| 3390k| 109 | 244 | 0.0 |5356k| 191 | - | 402 |1144 | 0 | 0 | 28 |1927k| 30 | 1.200000e+01 | 1.400000e+01 | 16.67%
1301.38/1301.90 c 1208s| 3400k| 123 | 244 | 0.0 |5360k| 191 | - | 402 |1143 | 0 | 0 | 28 |1933k| 30 | 1.200000e+01 | 1.400000e+01 | 16.67%
1305.28/1305.82 c 1212s| 3410k| 111 | 244 | 0.0 |5363k| 191 | - | 402 |1157 | 0 | 0 | 28 |1939k| 30 | 1.200000e+01 | 1.400000e+01 | 16.67%
1309.18/1309.77 c 1216s| 3420k| 110 | 244 | 0.0 |5363k| 191 | - | 402 |1158 | 0 | 0 | 28 |1944k| 30 | 1.200000e+01 | 1.400000e+01 | 16.67%
1312.89/1313.49 c 1219s| 3430k| 123 | 244 | 0.0 |5363k| 191 | - | 402 |1144 | 0 | 0 | 28 |1950k| 30 | 1.200000e+01 | 1.400000e+01 | 16.67%
1316.28/1316.89 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1316.28/1316.89 c 1222s| 3440k| 123 | 244 | 0.0 |5363k| 191 | - | 402 |1151 | 0 | 0 | 28 |1955k| 30 | 1.200000e+01 | 1.400000e+01 | 16.67%
1320.07/1320.64 c 1226s| 3450k| 123 | 244 | 0.0 |5362k| 191 | - | 402 |1150 | 0 | 0 | 28 |1960k| 30 | 1.200000e+01 | 1.400000e+01 | 16.67%
1323.88/1324.41 c 1229s| 3460k| 119 | 244 | 0.0 |5359k| 191 | - | 402 |1143 | 0 | 0 | 28 |1965k| 30 | 1.200000e+01 | 1.400000e+01 | 16.67%
1327.87/1328.44 c 1233s| 3470k| 112 | 244 | 0.0 |5367k| 191 | - | 402 |1166 | 0 | 0 | 28 |1971k| 30 | 1.200000e+01 | 1.400000e+01 | 16.67%
1331.77/1332.35 c 1237s| 3480k| 108 | 244 | 0.0 |5366k| 191 | - | 402 |1160 | 0 | 0 | 28 |1977k| 30 | 1.200000e+01 | 1.400000e+01 | 16.67%
1335.98/1336.55 c 1240s| 3490k| 115 | 244 | 0.0 |5359k| 191 | - | 402 |1148 | 0 | 0 | 28 |1983k| 30 | 1.200000e+01 | 1.400000e+01 | 16.67%
1340.17/1340.70 c 1244s| 3500k| 116 | 244 | 0.0 |5367k| 191 | - | 402 |1154 | 0 | 0 | 28 |1989k| 30 | 1.200000e+01 | 1.400000e+01 | 16.67%
1344.27/1344.88 c 1248s| 3510k| 121 | 244 | 0.0 |5363k| 191 | - | 402 |1143 | 0 | 0 | 28 |1994k| 30 | 1.200000e+01 | 1.400000e+01 | 16.67%
1348.27/1348.82 c 1252s| 3520k| 112 | 244 | 0.0 |5358k| 191 | - | 402 |1144 | 0 | 0 | 28 |2000k| 30 | 1.200000e+01 | 1.400000e+01 | 16.67%
1352.38/1352.99 c 1256s| 3530k| 111 | 244 | 0.0 |5359k| 191 | - | 402 |1149 | 0 | 0 | 28 |2006k| 30 | 1.200000e+01 | 1.400000e+01 | 16.67%
1356.26/1356.89 c 1259s| 3540k| 109 | 244 | 0.0 |5364k| 191 | - | 402 |1157 | 0 | 0 | 28 |2012k| 30 | 1.200000e+01 | 1.400000e+01 | 16.67%
1360.26/1360.88 c 1263s| 3550k| 136 | 244 | 0.0 |5361k| 191 | - | 402 |1140 | 0 | 0 | 28 |2017k| 30 | 1.200000e+01 | 1.400000e+01 | 16.67%
1364.26/1364.86 c 1267s| 3560k| 118 | 244 | 0.0 |5357k| 191 | - | 402 |1141 | 0 | 0 | 28 |2023k| 30 | 1.200000e+01 | 1.400000e+01 | 16.67%
1368.16/1368.73 c 1270s| 3570k| 122 | 244 | 0.0 |5356k| 191 | - | 402 |1137 | 0 | 0 | 28 |2028k| 30 | 1.200000e+01 | 1.400000e+01 | 16.67%
1371.86/1372.41 c 1274s| 3580k| 117 | 244 | 0.0 |5358k| 191 | - | 402 |1140 | 0 | 0 | 28 |2033k| 30 | 1.200000e+01 | 1.400000e+01 | 16.67%
1375.57/1376.19 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1375.57/1376.19 c 1277s| 3590k| 113 | 244 | 0.0 |5358k| 191 | - | 402 |1140 | 0 | 0 | 28 |2039k| 30 | 1.200000e+01 | 1.400000e+01 | 16.67%
1379.65/1380.24 c 1281s| 3600k| 115 | 244 | 0.0 |5362k| 191 | - | 402 |1151 | 0 | 0 | 28 |2044k| 30 | 1.200000e+01 | 1.400000e+01 | 16.67%
1383.35/1383.99 c 1285s| 3610k| 117 | 244 | 0.0 |5364k| 191 | - | 402 |1148 | 0 | 0 | 28 |2050k| 30 | 1.200000e+01 | 1.400000e+01 | 16.67%
1387.56/1388.20 c 1289s| 3620k| 114 | 244 | 0.0 |5357k| 191 | - | 402 |1139 | 0 | 0 | 28 |2055k| 30 | 1.200000e+01 | 1.400000e+01 | 16.67%
1391.35/1391.98 c 1292s| 3630k| 124 | 244 | 0.0 |5359k| 191 | - | 402 |1139 | 0 | 0 | 28 |2061k| 30 | 1.200000e+01 | 1.400000e+01 | 16.67%
1395.45/1396.08 c 1296s| 3640k| 104 | 244 | 0.0 |5361k| 191 | - | 402 |1152 | 0 | 0 | 28 |2066k| 30 | 1.200000e+01 | 1.400000e+01 | 16.67%
1399.55/1400.11 c 1300s| 3650k| 118 | 244 | 0.0 |5358k| 191 | - | 402 |1143 | 0 | 0 | 28 |2072k| 30 | 1.200000e+01 | 1.400000e+01 | 16.67%
1403.44/1404.07 c 1303s| 3660k| 109 | 244 | 0.0 |5357k| 191 | - | 402 |1145 | 0 | 0 | 28 |2077k| 30 | 1.200000e+01 | 1.400000e+01 | 16.67%
1407.45/1408.09 c 1307s| 3670k| 117 | 244 | 0.0 |5362k| 191 | - | 402 |1149 | 0 | 0 | 28 |2083k| 30 | 1.200000e+01 | 1.400000e+01 | 16.67%
1411.64/1412.20 c 1311s| 3680k| 115 | 244 | 0.0 |5356k| 191 | - | 402 |1140 | 0 | 0 | 28 |2088k| 30 | 1.200000e+01 | 1.400000e+01 | 16.67%
1415.54/1416.12 c 1315s| 3690k| 124 | 244 | 0.0 |5358k| 191 | - | 402 |1139 | 0 | 0 | 28 |2094k| 30 | 1.200000e+01 | 1.400000e+01 | 16.67%
1419.64/1420.20 c 1318s| 3700k| 109 | 244 | 0.0 |5359k| 191 | - | 402 |1147 | 0 | 0 | 28 |2100k| 30 | 1.200000e+01 | 1.400000e+01 | 16.67%
1423.85/1424.43 c 1322s| 3710k| 124 | 244 | 0.0 |5364k| 191 | - | 402 |1155 | 0 | 0 | 28 |2105k| 30 | 1.200000e+01 | 1.400000e+01 | 16.67%
1427.53/1428.11 c 1326s| 3720k| 122 | 244 | 0.0 |5362k| 191 | - | 402 |1142 | 0 | 0 | 28 |2111k| 30 | 1.200000e+01 | 1.400000e+01 | 16.67%
1430.94/1431.57 c 1329s| 3730k| 126 | 244 | 0.0 |5362k| 191 | - | 402 |1145 | 0 | 0 | 28 |2116k| 30 | 1.200000e+01 | 1.400000e+01 | 16.67%
1434.73/1435.30 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1434.73/1435.30 c 1333s| 3740k| 125 | 244 | 0.0 |5367k| 191 | - | 402 |1156 | 0 | 0 | 28 |2121k| 30 | 1.200000e+01 | 1.400000e+01 | 16.67%
1438.83/1439.43 c 1336s| 3750k| 120 | 244 | 0.0 |5366k| 191 | - | 402 |1144 | 0 | 0 | 28 |2127k| 30 | 1.200000e+01 | 1.400000e+01 | 16.67%
1442.54/1443.12 c 1340s| 3760k| 129 | 244 | 0.0 |5363k| 191 | - | 402 |1145 | 0 | 0 | 28 |2133k| 30 | 1.200000e+01 | 1.400000e+01 | 16.67%
1445.93/1446.59 c 1343s| 3770k| 119 | 244 | 0.0 |5367k| 191 | - | 402 |1155 | 0 | 0 | 28 |2138k| 30 | 1.200000e+01 | 1.400000e+01 | 16.67%
1449.72/1450.38 c 1347s| 3780k| 123 | 244 | 0.0 |5361k| 191 | - | 402 |1145 | 0 | 0 | 28 |2143k| 30 | 1.200000e+01 | 1.400000e+01 | 16.67%
1453.42/1454.02 c 1350s| 3790k| 125 | 244 | 0.0 |5364k| 191 | - | 402 |1151 | 0 | 0 | 28 |2149k| 30 | 1.200000e+01 | 1.400000e+01 | 16.67%
1457.22/1457.86 c 1354s| 3800k| 111 | 244 | 0.0 |5368k| 191 | - | 402 |1158 | 0 | 0 | 28 |2154k| 30 | 1.200000e+01 | 1.400000e+01 | 16.67%
1461.12/1461.73 c 1357s| 3810k| 118 | 244 | 0.0 |5363k| 191 | - | 402 |1153 | 0 | 0 | 28 |2160k| 30 | 1.200000e+01 | 1.400000e+01 | 16.67%
1465.52/1466.11 c 1361s| 3820k| 126 | 244 | 0.0 |5367k| 191 | - | 402 |1158 | 0 | 0 | 28 |2166k| 30 | 1.200000e+01 | 1.400000e+01 | 16.67%
1469.62/1470.20 c 1365s| 3830k| 111 | 244 | 0.0 |5361k| 191 | - | 402 |1148 | 0 | 0 | 28 |2172k| 30 | 1.200000e+01 | 1.400000e+01 | 16.67%
1473.21/1473.81 c 1368s| 3840k| 121 | 244 | 0.0 |5358k| 191 | - | 402 |1140 | 0 | 0 | 28 |2177k| 30 | 1.200000e+01 | 1.400000e+01 | 16.67%
1476.91/1477.58 c 1372s| 3850k| 115 | 244 | 0.0 |5360k| 191 | - | 402 |1146 | 0 | 0 | 28 |2183k| 30 | 1.200000e+01 | 1.400000e+01 | 16.67%
1480.91/1481.60 c 1376s| 3860k| 117 | 244 | 0.0 |5365k| 191 | - | 402 |1152 | 0 | 0 | 28 |2189k| 30 | 1.200000e+01 | 1.400000e+01 | 16.67%
1484.91/1485.53 c 1379s| 3870k| 119 | 244 | 0.0 |5362k| 191 | - | 402 |1146 | 0 | 0 | 28 |2195k| 30 | 1.200000e+01 | 1.400000e+01 | 16.67%
1489.01/1489.66 c 1383s| 3880k| 114 | 244 | 0.0 |5364k| 191 | - | 402 |1142 | 0 | 0 | 28 |2201k| 30 | 1.200000e+01 | 1.400000e+01 | 16.67%
1492.91/1493.59 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1492.91/1493.59 c 1387s| 3890k| 124 | 244 | 0.0 |5363k| 191 | - | 402 |1141 | 0 | 0 | 28 |2206k| 30 | 1.200000e+01 | 1.400000e+01 | 16.67%
1496.91/1497.55 c 1391s| 3900k| 118 | 244 | 0.0 |5361k| 191 | - | 402 |1146 | 0 | 0 | 28 |2212k| 30 | 1.200000e+01 | 1.400000e+01 | 16.67%
1500.82/1501.48 c 1394s| 3910k| 117 | 244 | 0.0 |5360k| 191 | - | 402 |1145 | 0 | 0 | 28 |2217k| 30 | 1.200000e+01 | 1.400000e+01 | 16.67%
1504.51/1505.14 c 1398s| 3920k| 112 | 244 | 0.0 |5359k| 191 | - | 402 |1144 | 0 | 0 | 28 |2223k| 30 | 1.200000e+01 | 1.400000e+01 | 16.67%
1508.11/1508.77 c 1401s| 3930k| 111 | 244 | 0.0 |5361k| 191 | - | 402 |1148 | 0 | 0 | 28 |2228k| 30 | 1.200000e+01 | 1.400000e+01 | 16.67%
1511.70/1512.38 c 1404s| 3940k| 127 | 244 | 0.0 |5364k| 191 | - | 402 |1149 | 0 | 0 | 28 |2233k| 30 | 1.200000e+01 | 1.400000e+01 | 16.67%
1516.10/1516.72 c 1408s| 3950k| 115 | 244 | 0.0 |5369k| 191 | - | 402 |1162 | 0 | 0 | 28 |2240k| 30 | 1.200000e+01 | 1.400000e+01 | 16.67%
1520.30/1520.95 c 1412s| 3960k| 113 | 244 | 0.0 |5360k| 191 | - | 402 |1143 | 0 | 0 | 28 |2246k| 30 | 1.200000e+01 | 1.400000e+01 | 16.67%
1524.70/1525.38 c 1416s| 3970k| 123 | 244 | 0.0 |5365k| 191 | - | 402 |1150 | 0 | 0 | 28 |2252k| 30 | 1.200000e+01 | 1.400000e+01 | 16.67%
1528.70/1529.34 c 1420s| 3980k| 116 | 244 | 0.0 |5366k| 191 | - | 402 |1153 | 0 | 0 | 28 |2257k| 30 | 1.200000e+01 | 1.400000e+01 | 16.67%
1532.29/1532.98 c 1424s| 3990k| 105 | 244 | 0.0 |5362k| 191 | - | 402 |1148 | 0 | 0 | 28 |2262k| 30 | 1.200000e+01 | 1.400000e+01 | 16.67%
1536.00/1536.62 c 1427s| 4000k| 120 | 244 | 0.0 |5364k| 191 | - | 402 |1145 | 0 | 0 | 28 |2267k| 30 | 1.200000e+01 | 1.400000e+01 | 16.67%
1539.59/1540.25 c 1430s| 4010k| 120 | 244 | 0.0 |5370k| 191 | - | 402 |1158 | 0 | 0 | 28 |2273k| 30 | 1.200000e+01 | 1.400000e+01 | 16.67%
1543.29/1543.95 c 1434s| 4020k| 108 | 244 | 0.0 |5363k| 191 | - | 402 |1152 | 0 | 0 | 28 |2278k| 30 | 1.200000e+01 | 1.400000e+01 | 16.67%
1547.19/1547.89 c 1437s| 4030k| 113 | 244 | 0.0 |5365k| 191 | - | 402 |1152 | 0 | 0 | 28 |2284k| 30 | 1.200000e+01 | 1.400000e+01 | 16.67%
1551.19/1551.82 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1551.19/1551.82 c 1441s| 4040k| 137 | 244 | 0.0 |5368k| 191 | - | 402 |1148 | 0 | 0 | 28 |2290k| 30 | 1.200000e+01 | 1.400000e+01 | 16.67%
1554.99/1555.61 c 1445s| 4050k| 119 | 244 | 0.0 |5361k| 191 | - | 402 |1144 | 0 | 0 | 28 |2296k| 30 | 1.200000e+01 | 1.400000e+01 | 16.67%
1558.58/1559.24 c 1448s| 4060k| 119 | 244 | 0.0 |5363k| 191 | - | 402 |1145 | 0 | 0 | 28 |2301k| 30 | 1.200000e+01 | 1.400000e+01 | 16.67%
1562.40/1563.10 c 1452s| 4070k| 112 | 244 | 0.0 |5364k| 191 | - | 402 |1147 | 0 | 0 | 28 |2307k| 30 | 1.200000e+01 | 1.400000e+01 | 16.67%
1566.58/1567.22 c 1455s| 4080k| 109 | 244 | 0.0 |5367k| 191 | - | 402 |1157 | 0 | 0 | 28 |2312k| 30 | 1.200000e+01 | 1.400000e+01 | 16.67%
1570.38/1571.08 c 1459s| 4090k| 106 | 244 | 0.0 |5367k| 191 | - | 402 |1156 | 0 | 0 | 28 |2318k| 30 | 1.200000e+01 | 1.400000e+01 | 16.67%
1574.58/1575.22 c 1463s| 4100k| 112 | 244 | 0.0 |5366k| 191 | - | 402 |1157 | 0 | 0 | 28 |2324k| 30 | 1.200000e+01 | 1.400000e+01 | 16.67%
1578.77/1579.40 c 1467s| 4110k| 111 | 244 | 0.0 |5375k| 191 | - | 402 |1174 | 0 | 0 | 28 |2330k| 30 | 1.200000e+01 | 1.400000e+01 | 16.67%
1583.28/1583.93 c 1471s| 4120k| 128 | 244 | 0.0 |5369k| 191 | - | 402 |1154 | 0 | 0 | 28 |2336k| 30 | 1.200000e+01 | 1.400000e+01 | 16.67%
1587.78/1588.47 c 1475s| 4130k| 127 | 244 | 0.0 |5368k| 191 | - | 402 |1151 | 0 | 0 | 28 |2343k| 30 | 1.200000e+01 | 1.400000e+01 | 16.67%
1592.67/1593.31 c 1480s| 4140k| 121 | 244 | 0.0 |5371k| 191 | - | 402 |1167 | 0 | 0 | 28 |2349k| 30 | 1.200000e+01 | 1.400000e+01 | 16.67%
1596.67/1597.38 c 1483s| 4150k| 123 | 244 | 0.0 |5380k| 191 | - | 402 |1169 | 0 | 0 | 28 |2355k| 30 | 1.200000e+01 | 1.400000e+01 | 16.67%
1600.87/1601.55 c 1487s| 4160k| 110 | 244 | 0.0 |5372k| 191 | - | 402 |1169 | 0 | 0 | 28 |2361k| 30 | 1.200000e+01 | 1.400000e+01 | 16.67%
1605.77/1606.42 c 1492s| 4170k| 141 | 244 | 0.0 |5377k| 191 | - | 402 |1157 | 0 | 0 | 28 |2367k| 30 | 1.200000e+01 | 1.400000e+01 | 16.67%
1609.46/1610.15 c 1495s| 4180k| 110 | 244 | 0.0 |5365k| 191 | - | 402 |1156 | 0 | 0 | 28 |2372k| 30 | 1.200000e+01 | 1.400000e+01 | 16.67%
1614.07/1614.79 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1614.07/1614.79 c 1500s| 4190k| 126 | 244 | 0.0 |5370k| 191 | - | 402 |1156 | 0 | 0 | 28 |2379k| 30 | 1.200000e+01 | 1.400000e+01 | 16.67%
1618.06/1618.74 c 1503s| 4200k| 108 | 244 | 0.0 |5365k| 191 | - | 402 |1153 | 0 | 0 | 28 |2384k| 30 | 1.200000e+01 | 1.400000e+01 | 16.67%
1622.16/1622.87 c 1507s| 4210k| 116 | 244 | 0.0 |5368k| 191 | - | 402 |1155 | 0 | 0 | 28 |2390k| 30 | 1.200000e+01 | 1.400000e+01 | 16.67%
1626.46/1627.17 c 1511s| 4220k| 128 | 244 | 0.0 |5372k| 191 | - | 402 |1159 | 0 | 0 | 28 |2396k| 30 | 1.200000e+01 | 1.400000e+01 | 16.67%
1630.35/1631.09 c 1515s| 4230k| 115 | 244 | 0.0 |5365k| 191 | - | 402 |1150 | 0 | 0 | 28 |2401k| 30 | 1.200000e+01 | 1.400000e+01 | 16.67%
1634.45/1635.15 c 1519s| 4240k| 116 | 244 | 0.0 |5366k| 191 | - | 402 |1150 | 0 | 0 | 28 |2407k| 30 | 1.200000e+01 | 1.400000e+01 | 16.67%
1638.55/1639.26 c 1522s| 4250k| 111 | 244 | 0.0 |5369k| 191 | - | 402 |1157 | 0 | 0 | 28 |2413k| 30 | 1.200000e+01 | 1.400000e+01 | 16.67%
1642.66/1643.36 c 1526s| 4260k| 102 | 244 | 0.0 |5364k| 191 | - | 402 |1156 | 0 | 0 | 28 |2419k| 30 | 1.200000e+01 | 1.400000e+01 | 16.67%
1646.65/1647.38 c 1530s| 4270k| 118 | 244 | 0.0 |5372k| 191 | - | 402 |1163 | 0 | 0 | 28 |2425k| 30 | 1.200000e+01 | 1.400000e+01 | 16.67%
1650.45/1651.20 c 1533s| 4280k| 102 | 244 | 0.0 |5366k| 191 | - | 402 |1160 | 0 | 0 | 28 |2430k| 30 | 1.200000e+01 | 1.400000e+01 | 16.67%
1654.76/1655.42 c 1537s| 4290k| 120 | 244 | 0.0 |5374k| 191 | - | 402 |1168 | 0 | 0 | 28 |2436k| 30 | 1.200000e+01 | 1.400000e+01 | 16.67%
1658.65/1659.34 c 1541s| 4300k| 136 | 244 | 0.0 |5376k| 191 | - | 402 |1160 | 0 | 0 | 28 |2442k| 30 | 1.200000e+01 | 1.400000e+01 | 16.67%
1662.85/1663.54 c 1545s| 4310k| 110 | 244 | 0.0 |5371k| 191 | - | 402 |1166 | 0 | 0 | 28 |2448k| 30 | 1.200000e+01 | 1.400000e+01 | 16.67%
1666.96/1667.69 c 1549s| 4320k| 117 | 244 | 0.0 |5365k| 191 | - | 402 |1144 | 0 | 0 | 28 |2453k| 30 | 1.200000e+01 | 1.400000e+01 | 16.67%
1670.94/1671.62 c 1552s| 4330k| 122 | 244 | 0.0 |5362k| 191 | - | 402 |1137 | 0 | 0 | 28 |2459k| 30 | 1.200000e+01 | 1.400000e+01 | 16.67%
1674.55/1675.29 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1674.55/1675.29 c 1556s| 4340k| 109 | 244 | 0.0 |5359k| 191 | - | 402 |1134 | 0 | 0 | 28 |2465k| 30 | 1.200000e+01 | 1.400000e+01 | 16.67%
1678.34/1679.00 c 1559s| 4350k| 112 | 244 | 0.0 |5362k| 191 | - | 402 |1140 | 0 | 0 | 28 |2470k| 30 | 1.200000e+01 | 1.400000e+01 | 16.67%
1682.24/1682.96 c 1563s| 4360k| 124 | 244 | 0.0 |5364k| 191 | - | 402 |1138 | 0 | 0 | 28 |2476k| 30 | 1.200000e+01 | 1.400000e+01 | 16.67%
1686.24/1686.93 c 1567s| 4370k| 116 | 244 | 0.0 |5361k| 191 | - | 402 |1136 | 0 | 0 | 28 |2481k| 30 | 1.200000e+01 | 1.400000e+01 | 16.67%
1690.04/1690.76 c 1570s| 4380k| 120 | 244 | 0.0 |5366k| 191 | - | 402 |1139 | 0 | 0 | 28 |2487k| 30 | 1.200000e+01 | 1.400000e+01 | 16.67%
1694.04/1694.73 c 1574s| 4390k| 118 | 244 | 0.0 |5362k| 191 | - | 402 |1138 | 0 | 0 | 28 |2493k| 30 | 1.200000e+01 | 1.400000e+01 | 16.67%
1697.64/1698.38 c 1577s| 4400k| 117 | 244 | 0.0 |5363k| 191 | - | 402 |1138 | 0 | 0 | 28 |2498k| 30 | 1.200000e+01 | 1.400000e+01 | 16.67%
1701.53/1702.21 c 1581s| 4410k| 132 | 244 | 0.0 |5369k| 191 | - | 402 |1139 | 0 | 0 | 28 |2504k| 30 | 1.200000e+01 | 1.400000e+01 | 16.67%
1705.73/1706.44 c 1585s| 4420k| 117 | 244 | 0.0 |5365k| 191 | - | 402 |1144 | 0 | 0 | 28 |2510k| 30 | 1.200000e+01 | 1.400000e+01 | 16.67%
1709.84/1710.51 c 1589s| 4430k| 123 | 244 | 0.0 |5367k| 191 | - | 402 |1137 | 0 | 0 | 28 |2516k| 30 | 1.200000e+01 | 1.400000e+01 | 16.67%
1713.93/1714.67 c 1592s| 4440k| 125 | 244 | 0.0 |5366k| 191 | - | 402 |1138 | 0 | 0 | 28 |2522k| 30 | 1.200000e+01 | 1.400000e+01 | 16.67%
1717.83/1718.51 c 1596s| 4450k| 109 | 244 | 0.0 |5366k| 191 | - | 402 |1141 | 0 | 0 | 28 |2527k| 30 | 1.200000e+01 | 1.400000e+01 | 16.67%
1721.52/1722.29 c 1600s| 4460k| 113 | 244 | 0.0 |5362k| 191 | - | 402 |1138 | 0 | 0 | 28 |2532k| 30 | 1.200000e+01 | 1.400000e+01 | 16.67%
1725.72/1726.47 c 1603s| 4470k| 105 | 244 | 0.0 |5366k| 191 | - | 402 |1150 | 0 | 0 | 28 |2538k| 30 | 1.200000e+01 | 1.400000e+01 | 16.67%
1729.63/1730.39 c 1607s| 4480k| 111 | 244 | 0.0 |5365k| 191 | - | 402 |1145 | 0 | 0 | 28 |2543k| 30 | 1.200000e+01 | 1.400000e+01 | 16.67%
1733.12/1733.87 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1733.12/1733.87 c 1610s| 4490k| 120 | 244 | 0.0 |5363k| 191 | - | 402 |1135 | 0 | 0 | 28 |2548k| 30 | 1.200000e+01 | 1.400000e+01 | 16.67%
1737.11/1737.88 c 1614s| 4500k| 115 | 244 | 0.0 |5365k| 191 | - | 402 |1143 | 0 | 0 | 28 |2554k| 30 | 1.200000e+01 | 1.400000e+01 | 16.67%
1741.32/1742.04 c 1618s| 4510k| 114 | 244 | 0.0 |5365k| 191 | - | 402 |1148 | 0 | 0 | 28 |2559k| 30 | 1.200000e+01 | 1.400000e+01 | 16.67%
1745.62/1746.30 c 1622s| 4520k| 117 | 244 | 0.0 |5369k| 191 | - | 402 |1155 | 0 | 0 | 28 |2565k| 30 | 1.200000e+01 | 1.400000e+01 | 16.67%
1749.71/1750.50 c 1626s| 4530k| 117 | 244 | 0.0 |5371k| 191 | - | 402 |1149 | 0 | 0 | 28 |2571k| 30 | 1.200000e+01 | 1.400000e+01 | 16.67%
1754.01/1754.76 c 1630s| 4540k| 118 | 244 | 0.0 |5372k| 191 | - | 402 |1166 | 0 | 0 | 28 |2577k| 30 | 1.200000e+01 | 1.400000e+01 | 16.67%
1758.12/1758.88 c 1634s| 4550k| 136 | 244 | 0.0 |5371k| 191 | - | 402 |1138 | 0 | 0 | 28 |2583k| 30 | 1.200000e+01 | 1.400000e+01 | 16.67%
1762.71/1763.47 c 1638s| 4560k| 114 | 244 | 0.0 |5363k| 191 | - | 402 |1142 | 0 | 0 | 28 |2589k| 30 | 1.200000e+01 | 1.400000e+01 | 16.67%
1766.70/1767.41 c 1641s| 4570k| 116 | 244 | 0.0 |5362k| 191 | - | 402 |1136 | 0 | 0 | 28 |2595k| 30 | 1.200000e+01 | 1.400000e+01 | 16.67%
1770.50/1771.29 c 1645s| 4580k| 116 | 244 | 0.0 |5371k| 191 | - | 402 |1154 | 0 | 0 | 28 |2601k| 30 | 1.200000e+01 | 1.400000e+01 | 16.67%
1774.71/1775.48 c 1649s| 4590k| 114 | 244 | 0.0 |5366k| 191 | - | 402 |1146 | 0 | 0 | 28 |2607k| 30 | 1.200000e+01 | 1.400000e+01 | 16.67%
1778.89/1779.68 c 1653s| 4600k| 102 | 244 | 0.0 |5361k| 191 | - | 402 |1144 | 0 | 0 | 28 |2613k| 30 | 1.200000e+01 | 1.400000e+01 | 16.67%
1783.19/1783.97 c 1657s| 4610k| 119 | 244 | 0.0 |5376k| 191 | - | 402 |1173 | 0 | 0 | 28 |2619k| 30 | 1.200000e+01 | 1.400000e+01 | 16.67%
1787.59/1788.32 c 1661s| 4620k| 119 | 244 | 0.0 |5369k| 191 | - | 402 |1150 | 0 | 0 | 28 |2625k| 30 | 1.200000e+01 | 1.400000e+01 | 16.67%
1791.69/1792.48 c 1665s| 4630k| 117 | 244 | 0.0 |5366k| 191 | - | 402 |1144 | 0 | 0 | 28 |2631k| 30 | 1.200000e+01 | 1.400000e+01 | 16.67%
1795.60/1796.38 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1795.60/1796.38 c 1668s| 4640k| 127 | 244 | 0.0 |5370k| 191 | - | 402 |1148 | 0 | 0 | 28 |2636k| 30 | 1.200000e+01 | 1.400000e+01 | 16.67%
1799.19/1799.93 c 1672s| 4650k| 144 | 244 | 0.0 |5378k| 191 | - | 402 |1147 | 0 | 0 | 28 |2642k| 30 | 1.200000e+01 | 1.400000e+01 | 16.67%
1800.10/1800.80 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.10/1800.80 c
1800.10/1800.80 c SCIP Status : solving was interrupted [user interrupt]
1800.10/1800.80 c Solving Time (sec) : 1672.51
1800.10/1800.80 c Solving Nodes : 4652145
1800.10/1800.80 c Primal Bound : +1.40000000000000e+01 (11 solutions)
1800.10/1800.80 c Dual Bound : +1.20000000000000e+01
1800.10/1800.80 c Gap : 16.67 %
1800.10/1800.81 s SATISFIABLE
1800.10/1800.81 v x81 x80 x79 x78 x77 x76 x75 x74 x73 -x72 -x739 -x71 x70 x69 -x736 x68 x67 x66 x65 x64 x63 -x734 -x732 -x730 -x728 -x62 x61 x60
1800.10/1800.81 v -x726 -x59 x58 -x724 -x57 -x722 -x720 -x718 -x716 x56 -x713 -x711 -x709 -x707 -x703 -x701 -x699 -x697 -x695 -x693 -x691 -x689
1800.10/1800.81 v -x687 -x684 -x680 -x678 -x55 -x54 x53 -x676 -x673 -x671 -x668 x666 x52 -x663 -x51 -x659 x50 -x49 x48 x47 x46 -x45 -x657 -x655
1800.10/1800.81 v x44 -x653 -x651 -x647 -x644 -x43 x42 x41 -x40 -x642 -x639 x636 -x634 x39 -x632 -x630 -x628 -x626 -x624 -x38 -x622 x37 -x36
1800.10/1800.81 v -x35 -x617 -x615 -x613 -x611 -x34 -x607 -x605 -x603 -x33 -x601 -x599 -x597 -x594 -x592 -x32 -x590 -x588 -x586 -x584 -x580 -x578
1800.10/1800.81 v -x576 -x574 -x31 -x572 -x569 -x567 x565 -x563 -x561 -x558 -x556 -x554 -x552 -x550 -x548 -x546 -x544 -x542 -x540 -x538 -x536
1800.10/1800.81 v -x534 -x532 -x530 -x528 -x526 -x523 -x521 -x30 -x519 -x29 -x516 -x514 -x28 -x512 -x27 -x510 -x508 -x506 -x503 -x501 -x499 -x496
1800.10/1800.81 v -x494 -x492 -x490 -x488 -x486 -x484 -x482 -x480 -x477 x26 -x475 -x473 -x471 x25 -x469 -x467 -x465 -x463 -x460 -x458 -x456
1800.10/1800.81 v -x454 -x452 -x450 -x24 -x448 -x446 -x444 -x442 -x440 -x438 -x436 -x434 -x432 -x430 x23 -x428 -x426 -x424 -x422 -x420 -x418
1800.10/1800.81 v -x416 -x414 -x412 -x410 -x408 -x406 -x404 -x402 -x400 -x398 -x396 -x394 -x392 -x390 -x388 -x385 -x383 -x381 -x379 -x377 -x375
1800.10/1800.81 v -x373 -x371 -x369 -x366 x22 -x363 -x360 -x358 -x356 -x354 -x352 -x350 -x348 -x346 -x21 -x343 -x341 -x338 -x336 -x334 -x332 -x330
1800.10/1800.81 v -x328 -x326 -x324 x20 -x321 -x319 -x317 -x314 -x312 -x310 -x307 -x305 -x303 -x301 -x299 -x297 -x295 -x292 -x290 -x288 -x286
1800.10/1800.81 v -x282 -x280 -x278 -x276 -x274 -x272 -x270 -x268 -x266 x19 -x18 x17 -x263 -x16 -x261 -x259 -x15 -x257 x14 -x13 -x252 -x12
1800.10/1800.81 v -x250 -x248 -x245 -x11 -x243 -x241 -x239 -x237 -x235 -x10 -x233 -x231 -x229 -x227 -x225 -x9 -x222 -x220 -x217 -x215 -x212 -x210
1800.10/1800.81 v -x208 -x206 -x204 -x202 -x200 -x198 -x196 -x194 -x192 -x190 x188 -x186 -x184 x8 -x181 -x179 -x177 -x175 -x173 -x171 -x169
1800.10/1800.81 v -x167 -x165 x163 -x160 -x158 -x156 -x154 x7 x6 -x151 x5 x149 -x147 -x145 -x143 -x4 -x141 -x139 x3 -x136 -x134 -x132 -x129 -x127
1800.10/1800.81 v -x2 -x125 -x122 -x120 -x118 x116 -x114 x1 -x112 -x110 -x108 -x106 -x104 -x102 -x100 -x98 -x96 -x94 x92 -x90 -x88 -x86 -x84
1800.10/1800.81 v -x82 -x741 -x740 -x738 -x737 -x735 -x733 -x731 -x729 -x727 -x725 -x723 -x721 -x719 -x717 -x715 -x714 -x712 -x710 -x708 -x706
1800.10/1800.81 v -x705 -x704 -x702 -x700 -x698 -x696 -x694 -x692 -x690 -x688 -x686 -x685 -x683 -x682 -x681 -x679 -x677 -x675 -x674 -x672 -x670
1800.10/1800.81 v -x669 x667 -x665 -x664 -x662 -x661 -x660 -x658 -x656 -x654 -x652 -x650 -x649 -x648 -x646 -x645 -x643 -x641 -x640 -x638 x637
1800.10/1800.81 v -x635 -x633 -x631 -x629 -x627 -x625 -x623 -x621 -x620 -x619 -x618 -x616 -x614 -x612 -x610 -x609 -x608 -x606 -x604 -x602 -x600
1800.10/1800.81 v -x598 -x596 -x595 -x593 -x591 -x589 -x587 -x585 -x583 -x582 -x581 -x579 -x577 -x575 -x573 -x571 -x570 -x568 x566 -x564 -x562
1800.10/1800.81 v -x560 -x559 -x557 -x555 -x553 -x551 -x549 -x547 -x545 -x543 -x541 -x539 -x537 -x535 -x533 -x531 -x529 -x527 -x525 -x524 -x522
1800.10/1800.81 v -x520 -x518 -x517 -x515 -x513 -x511 -x509 -x507 -x505 -x504 -x502 -x500 -x498 -x497 -x495 -x493 -x491 -x489 -x487 -x485 -x483
1800.10/1800.81 v -x481 -x479 -x478 -x476 -x474 -x472 -x470 -x468 -x466 -x464 -x462 -x461 -x459 -x457 -x455 -x453 -x451 -x449 -x447 -x445 -x443
1800.10/1800.81 v -x441 -x439 -x437 -x435 -x433 -x431 -x429 -x427 -x425 -x423 -x421 -x419 -x417 -x415 -x413 -x411 -x409 -x407 -x405 -x403
1800.10/1800.81 v -x401 -x399 -x397 -x395 -x393 -x391 -x389 x387 -x386 -x384 -x382 -x380 -x378 -x376 -x374 -x372 -x370 -x368 -x367 -x365 -x364
1800.10/1800.81 v -x362 -x361 -x359 -x357 -x355 -x353 -x351 -x349 -x347 -x345 -x344 -x342 -x340 -x339 -x337 -x335 -x333 -x331 -x329 -x327 -x325
1800.10/1800.81 v -x323 -x322 -x320 -x318 -x316 -x315 -x313 -x311 -x309 -x308 -x306 -x304 -x302 -x300 -x298 -x296 -x294 -x293 -x291 -x289 -x287
1800.10/1800.81 v -x285 -x284 -x283 -x281 -x279 -x277 -x275 -x273 -x271 -x269 -x267 x265 -x264 -x262 -x260 -x258 x256 -x255 -x254 -x253 -x251
1800.10/1800.81 v -x249 -x247 -x246 -x244 -x242 -x240 -x238 -x236 -x234 -x232 -x230 -x228 -x226 -x224 -x223 -x221 x219 -x218 -x216 -x214 -x213
1800.10/1800.81 v -x211 -x209 -x207 -x205 -x203 -x201 -x199 -x197 -x195 -x193 -x191 x189 -x187 -x185 -x183 -x182 -x180 -x178 -x176 -x174 -x172
1800.10/1800.81 v -x170 -x168 -x166 x164 -x162 -x161 -x159 -x157 -x155 x153 -x152 x150 -x148 -x146 -x144 -x142 -x140 x138 -x137 -x135 -x133 -x131
1800.10/1800.81 v -x130 -x128 -x126 -x124 -x123 -x121 -x119 x117 -x115 -x113 -x111 -x109 -x107 -x105 -x103 -x101 -x99 -x97 -x95 x93 -x91 -x89
1800.10/1800.81 v -x87 -x85 -x83
1800.10/1800.81 c SCIP Status : solving was interrupted [user interrupt]
1800.10/1800.81 c Solving Time : 1672.51
1800.10/1800.81 c Original Problem :
1800.10/1800.81 c Problem name : HOME/instance-2665381-1276638015.opb
1800.10/1800.81 c Variables : 741 (741 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.10/1800.81 c Constraints : 2072 initial, 2072 maximal
1800.10/1800.81 c Presolved Problem :
1800.10/1800.81 c Problem name : t_HOME/instance-2665381-1276638015.opb
1800.10/1800.81 c Variables : 402 (402 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.10/1800.81 c Constraints : 1133 initial, 1230 maximal
1800.10/1800.81 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.10/1800.81 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.10/1800.81 c dualfix : 0.00 5 0 0 0 0 0 0 0
1800.10/1800.81 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.10/1800.81 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.10/1800.81 c implics : 0.00 0 3 0 0 0 0 0 0
1800.10/1800.81 c probing : 0.03 0 6 0 0 0 0 0 0
1800.10/1800.81 c linear : 0.04 25 300 0 25 0 873 0 0
1800.10/1800.81 c logicor : 0.05 0 0 0 0 0 66 0 0
1800.10/1800.81 c root node : - 0 - - 0 - - - -
1800.10/1800.81 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.10/1800.81 c integral : 0 0 0 1 0 0 0 0 0 2
1800.10/1800.81 c logicor : 1133+ 9 11704024 0 0 1618605 21100768 0 0 0
1800.10/1800.81 c countsols : 0 0 0 0 0 0 0 0 0 0
1800.10/1800.81 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.10/1800.81 c integral : 0.23 0.00 0.00 0.23 0.00
1800.10/1800.81 c logicor : 378.41 0.00 378.41 0.00 0.00
1800.10/1800.81 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.10/1800.81 c Propagators : Time Calls Cutoffs DomReds
1800.10/1800.81 c vbounds : 8.79 2 0 0
1800.10/1800.81 c rootredcost : 9.01 1 0 0
1800.10/1800.81 c pseudoobj : 596.11 19512199 1006685 135215864
1800.10/1800.81 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.10/1800.81 c propagation : 266.35 2625290 2625290 2625290 35.0 109386 55.5 -
1800.10/1800.81 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.10/1800.81 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.10/1800.81 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.10/1800.81 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.10/1800.81 c applied globally : - - - 1697704 22.8 - - -
1800.10/1800.81 c applied locally : - - - 945684 56.8 - - -
1800.10/1800.81 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.10/1800.81 c cut pool : 0.00 8 - - 41 - (maximal pool size: 326)
1800.10/1800.81 c redcost : 0.00 9 0 0 0 0
1800.10/1800.81 c impliedbounds : 0.00 9 0 0 5 0
1800.10/1800.81 c intobj : 0.00 0 0 0 0 0
1800.10/1800.81 c cgmip : 0.00 0 0 0 0 0
1800.10/1800.81 c gomory : 0.53 9 0 0 3033 0
1800.10/1800.81 c strongcg : 0.41 9 0 0 2749 0
1800.10/1800.81 c cmir : 0.04 9 0 0 0 0
1800.10/1800.81 c flowcover : 0.10 9 0 0 0 0
1800.10/1800.81 c clique : 0.00 9 0 0 12 0
1800.10/1800.81 c zerohalf : 0.00 0 0 0 0 0
1800.10/1800.81 c mcf : 0.00 1 0 0 0 0
1800.10/1800.81 c rapidlearning : 0.00 0 0 0 0 0
1800.10/1800.81 c Pricers : Time Calls Vars
1800.10/1800.81 c problem variables: 0.00 0 0
1800.10/1800.81 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.10/1800.81 c relpscost : 0.23 1 0 0 0 0 2
1800.10/1800.81 c pscost : 0.00 0 0 0 0 0 0
1800.10/1800.81 c inference : 130.86 3747109 0 0 0 0 7494218
1800.10/1800.81 c mostinf : 0.00 0 0 0 0 0 0
1800.10/1800.81 c leastinf : 0.00 0 0 0 0 0 0
1800.10/1800.81 c fullstrong : 0.00 0 0 0 0 0 0
1800.10/1800.81 c allfullstrong : 0.00 0 0 0 0 0 0
1800.10/1800.81 c random : 0.00 0 0 0 0 0 0
1800.10/1800.81 c Primal Heuristics : Time Calls Found
1800.10/1800.81 c LP solutions : 0.00 - 0
1800.10/1800.81 c pseudo solutions : 0.00 - 0
1800.10/1800.81 c crossover : 0.00 0 0
1800.10/1800.81 c oneopt : 2.67 5 2
1800.10/1800.81 c trivial : 0.00 2 1
1800.10/1800.81 c simplerounding : 0.00 1 0
1800.10/1800.81 c zirounding : 0.00 1 0
1800.10/1800.81 c rounding : 0.00 10 0
1800.10/1800.81 c shifting : 0.00 10 8
1800.10/1800.81 c intshifting : 0.00 0 0
1800.10/1800.81 c twoopt : 0.00 0 0
1800.10/1800.81 c fixandinfer : 0.00 0 0
1800.10/1800.81 c feaspump : 0.00 0 0
1800.10/1800.81 c coefdiving : 0.00 0 0
1800.10/1800.81 c pscostdiving : 0.00 0 0
1800.10/1800.81 c fracdiving : 0.00 0 0
1800.10/1800.81 c veclendiving : 0.00 0 0
1800.10/1800.81 c intdiving : 0.00 0 0
1800.10/1800.81 c actconsdiving : 0.00 0 0
1800.10/1800.81 c objpscostdiving : 0.00 0 0
1800.10/1800.81 c rootsoldiving : 0.00 0 0
1800.10/1800.81 c linesearchdiving : 0.00 0 0
1800.10/1800.81 c guideddiving : 0.00 0 0
1800.10/1800.81 c octane : 0.00 0 0
1800.10/1800.81 c rens : 0.02 1 0
1800.10/1800.81 c rins : 0.00 0 0
1800.10/1800.81 c localbranching : 0.00 0 0
1800.10/1800.81 c mutation : 0.00 0 0
1800.10/1800.81 c dins : 0.00 0 0
1800.10/1800.81 c undercover : 0.00 0 0
1800.10/1800.81 c nlp : 2.42 0 0
1800.10/1800.81 c trysol : 1.85 0 0
1800.10/1800.81 c LP : Time Calls Iterations Iter/call Iter/sec
1800.10/1800.81 c primal LP : 0.00 0 0 0.00 -
1800.10/1800.81 c dual LP : 0.04 10 244 24.40 6100.00
1800.10/1800.81 c lex dual LP : 0.00 0 0 0.00 -
1800.10/1800.81 c barrier LP : 0.00 0 0 0.00 -
1800.10/1800.81 c diving/probing LP: 0.00 0 0 0.00 -
1800.10/1800.81 c strong branching : 0.23 30 1561 52.03 6786.96
1800.10/1800.81 c (at root node) : - 30 1561 52.03 -
1800.10/1800.81 c conflict analysis: 0.00 0 0 0.00 -
1800.10/1800.81 c B&B Tree :
1800.10/1800.81 c number of runs : 1
1800.10/1800.81 c nodes : 4652145
1800.10/1800.81 c nodes (total) : 4652145
1800.10/1800.81 c nodes left : 130
1800.10/1800.81 c max depth : 191
1800.10/1800.81 c max depth (total): 191
1800.10/1800.81 c backtracks : 1873928 (40.3%)
1800.10/1800.81 c delayed cutoffs : 2841946
1800.10/1800.81 c repropagations : 7561821 (104547335 domain reductions, 1720255 cutoffs)
1800.10/1800.81 c avg switch length: 4.19
1800.10/1800.81 c switching time : 275.81
1800.10/1800.81 c Solution :
1800.10/1800.81 c Solutions found : 11 (6 improvements)
1800.10/1800.81 c First Solution : +1.07000000000000e+02 (in run 1, after 1 nodes, 0.12 seconds, depth 0, found by <trivial>)
1800.10/1800.81 c Primal Bound : +1.40000000000000e+01 (in run 1, after 1 nodes, 0.77 seconds, depth 0, found by <shifting>)
1800.10/1800.81 c Dual Bound : +1.20000000000000e+01
1800.10/1800.81 c Gap : 16.67 %
1800.10/1800.81 c Root Dual Bound : +1.20000000000000e+01
1800.10/1800.81 c Root Iterations : 244
1800.10/1800.82 c Time complete: 1800.11.