0.00/0.00 c SCIP version 2.1.1.4 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.6.0.3] [GitHash: 947bdb7-dirty]
0.00/0.00 c Copyright (c) 2002-2012 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-3691968-1338031524.opb>
0.00/0.01 c original problem has 607 variables (607 bin, 0 int, 0 impl, 0 cont) and 1022 constraints
0.00/0.01 c problem read in 0.01
0.00/0.01 o 607
0.00/0.01 o 542
0.00/0.01 c feasible solution found by trivial heuristic, objective value 5.420000e+02
0.00/0.01 c presolving:
0.00/0.03 c (round 1) 0 del vars, 64 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 890 upgd conss, 0 impls, 0 clqs
0.00/0.04 c (round 2) 0 del vars, 64 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 924 upgd conss, 0 impls, 0 clqs
0.00/0.04 c (round 3) 0 del vars, 64 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 958 upgd conss, 0 impls, 0 clqs
0.00/0.04 c (0.0s) probing: 51/607 (8.4%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.00/0.04 c (0.0s) probing aborted: 50/50 successive totally useless probings
0.00/0.04 c presolving (4 rounds):
0.00/0.04 c 0 deleted vars, 64 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.00/0.04 c 0 implications, 0 cliques
0.00/0.04 c presolved problem has 607 variables (607 bin, 0 int, 0 impl, 0 cont) and 958 constraints
0.00/0.04 c 958 constraints of type <logicor>
0.00/0.04 c transformed objective value is always integral (scale: 1)
0.00/0.04 c Presolving Time: 0.03
0.00/0.04 c - non default parameters ----------------------------------------------------------------------
0.00/0.04 c # SCIP version 2.1.1.4
0.00/0.04 c
0.00/0.04 c # maximal number of intermediate conflict constraints generated in conflict graph (-1: use every intermediate constraint)
0.00/0.04 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.04 c conflict/interconss = 0
0.00/0.04 c
0.00/0.04 c # should binary conflicts be preferred?
0.00/0.04 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.04 c conflict/preferbinary = TRUE
0.00/0.04 c
0.00/0.04 c # maximum age an unnecessary constraint can reach before it is deleted (0: dynamic, -1: keep all constraints)
0.00/0.04 c # [type: int, range: [-1,2147483647], default: 0]
0.00/0.04 c constraints/agelimit = 1
0.00/0.04 c
0.00/0.04 c # should enforcement of pseudo solution be disabled?
0.00/0.04 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.04 c constraints/disableenfops = TRUE
0.00/0.04 c
0.00/0.04 c # maximal time in seconds to run
0.00/0.04 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.04 c limits/time = 1797
0.00/0.04 c
0.00/0.04 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.04 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.04 c limits/memory = 13950
0.00/0.04 c
0.00/0.04 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.00/0.04 c # [type: int, range: [1,2], default: 1]
0.00/0.04 c timing/clocktype = 2
0.00/0.04 c
0.00/0.04 c # belongs reading time to solving time?
0.00/0.04 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.04 c timing/reading = TRUE
0.00/0.04 c
0.00/0.04 c -----------------------------------------------------------------------------------------------
0.00/0.04 c start solving
0.00/0.04 c
0.00/0.04 o 425
0.00/0.04 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.00/0.04 c t 0.0s| 1 | 0 | 0 | - |2868k| 0 | - | 607 | 958 | 0 | 0 | 0 | 0 | 0 | -- | 4.250000e+02 | Inf
0.00/0.05 o 67
0.00/0.05 c b 0.0s| 1 | 0 | 0 | - |3764k| 0 | - | 607 | 958 | 607 | 958 | 0 | 0 | 0 | -- | 6.700000e+01 | Inf
0.05/0.09 c 0.1s| 1 | 0 | 817 | - |3756k| 0 | 174 | 607 | 958 | 607 | 958 | 0 | 0 | 0 | 3.635417e+01 | 6.700000e+01 | 84.30%
0.09/0.14 c 0.1s| 1 | 0 | 981 | - |4068k| 0 | 194 | 607 | 958 | 607 | 968 | 10 | 0 | 0 | 3.772210e+01 | 6.700000e+01 | 77.61%
0.09/0.19 c 0.2s| 1 | 0 | 1284 | - |4339k| 0 | 199 | 607 | 958 | 607 | 979 | 21 | 0 | 0 | 3.968498e+01 | 6.700000e+01 | 68.83%
0.19/0.25 c 0.2s| 1 | 0 | 1535 | - |4607k| 0 | 178 | 607 | 958 | 607 | 989 | 31 | 0 | 0 | 4.050914e+01 | 6.700000e+01 | 65.39%
0.28/0.32 c 0.3s| 1 | 0 | 1723 | - |4975k| 0 | 181 | 607 | 958 | 607 | 996 | 38 | 0 | 0 | 4.132258e+01 | 6.700000e+01 | 62.14%
0.38/0.40 c 0.4s| 1 | 0 | 2057 | - |5235k| 0 | 188 | 607 | 958 | 607 |1007 | 49 | 0 | 0 | 4.214616e+01 | 6.700000e+01 | 58.97%
0.48/0.56 c 0.5s| 1 | 0 | 2246 | - |5480k| 0 | 197 | 607 | 958 | 607 |1015 | 57 | 0 | 0 | 4.246612e+01 | 6.700000e+01 | 57.77%
0.48/0.56 c 0.5s| 1 | 0 | 2382 | - |5735k| 0 | 173 | 607 | 958 | 607 |1023 | 65 | 0 | 0 | 4.304674e+01 | 6.700000e+01 | 55.64%
0.59/0.61 c 0.6s| 1 | 0 | 2533 | - |6034k| 0 | 177 | 607 | 958 | 607 |1031 | 73 | 0 | 0 | 4.328759e+01 | 6.700000e+01 | 54.78%
0.59/0.67 c 0.7s| 1 | 0 | 2596 | - |6309k| 0 | 162 | 607 | 958 | 607 |1037 | 79 | 0 | 0 | 4.336813e+01 | 6.700000e+01 | 54.49%
0.69/0.75 c 0.7s| 1 | 0 | 2716 | - |6420k| 0 | 176 | 607 | 958 | 607 |1042 | 84 | 0 | 0 | 4.368381e+01 | 6.700000e+01 | 53.37%
0.78/0.81 c 0.8s| 1 | 0 | 3055 | - |6781k| 0 | 187 | 607 | 958 | 607 |1046 | 89 | 0 | 0 | 4.392800e+01 | 6.700000e+01 | 52.52%
0.78/0.86 c 0.9s| 1 | 0 | 3182 | - |6968k| 0 | 191 | 607 | 958 | 607 |1054 | 97 | 0 | 0 | 4.422634e+01 | 6.700000e+01 | 51.49%
0.88/0.91 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.88/0.91 c 0.9s| 1 | 0 | 3420 | - |7368k| 0 | 193 | 607 | 958 | 607 |1062 | 105 | 0 | 0 | 4.462132e+01 | 6.700000e+01 | 50.15%
0.88/0.96 c 1.0s| 1 | 0 | 3489 | - |8053k| 0 | 196 | 607 | 958 | 607 |1066 | 109 | 0 | 0 | 4.509685e+01 | 6.700000e+01 | 48.57%
0.99/1.02 c 1.0s| 1 | 0 | 3587 | - |8419k| 0 | 176 | 607 | 958 | 607 |1072 | 115 | 0 | 0 | 4.512500e+01 | 6.700000e+01 | 48.48%
0.99/1.09 c 1.1s| 1 | 0 | 3654 | - |8725k| 0 | 184 | 607 | 958 | 607 |1079 | 122 | 0 | 0 | 4.525000e+01 | 6.700000e+01 | 48.07%
1.09/1.16 c 1.2s| 1 | 0 | 3717 | - |9196k| 0 | 191 | 607 | 958 | 607 |1059 | 126 | 0 | 0 | 4.525000e+01 | 6.700000e+01 | 48.07%
1.18/1.23 c 1.2s| 1 | 0 | 3782 | - |9646k| 0 | 192 | 607 | 958 | 607 |1066 | 133 | 0 | 0 | 4.525000e+01 | 6.700000e+01 | 48.07%
1.28/1.32 c 1.3s| 1 | 0 | 3863 | - |9904k| 0 | 190 | 607 | 958 | 607 |1071 | 138 | 0 | 0 | 4.525000e+01 | 6.700000e+01 | 48.07%
1.38/1.40 c 1.4s| 1 | 0 | 3906 | - |9921k| 0 | 191 | 607 | 958 | 607 |1074 | 141 | 0 | 0 | 4.525000e+01 | 6.700000e+01 | 48.07%
1.89/1.94 o 51
1.89/1.94 c E 1.9s| 1 | 0 | 3906 | - |9928k| 0 | 191 | 607 | 958 | 607 |1074 | 141 | 0 | 0 | 4.525000e+01 | 5.100000e+01 | 12.71%
1.89/1.94 c 1.9s| 1 | 0 | 3906 | - |9928k| 0 | 191 | 607 | 958 | 607 |1074 | 141 | 0 | 0 | 4.525000e+01 | 5.100000e+01 | 12.71%
2.19/2.28 c 2.3s| 1 | 2 | 3906 | - |9929k| 0 | 191 | 607 | 958 | 607 |1074 | 141 | 0 | 33 | 4.525000e+01 | 5.100000e+01 | 12.71%
10.18/10.22 c 10.2s| 100 | 91 | 9906 | 60.6 | 10M| 17 | 140 | 607 | 958 | 607 |1016 | 141 | 0 |1741 | 4.528571e+01 | 5.100000e+01 | 12.62%
11.28/11.37 c 11.4s| 200 | 189 | 15569 | 58.6 | 10M| 25 | 141 | 607 | 958 | 607 |1016 | 141 | 0 |1937 | 4.528571e+01 | 5.100000e+01 | 12.62%
11.68/11.73 o 49
11.68/11.73 c C11.7s| 201 | 137 | 15634 | 58.6 | 10M| 25 | 130 | 607 | 958 | 607 |1016 | 141 | 0 |1940 | 4.528571e+01 | 4.900000e+01 | 8.20%
11.98/12.09 c 12.1s| 300 | 202 | 18343 | 48.3 | 10M| 28 | 134 | 607 | 958 | 607 |1016 | 141 | 0 |1979 | 4.528571e+01 | 4.900000e+01 | 8.20%
12.49/12.53 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
12.49/12.53 c 12.5s| 400 | 272 | 23480 | 49.1 | 10M| 34 | 117 | 607 | 958 | 607 |1016 | 141 | 0 |1995 | 4.528758e+01 | 4.900000e+01 | 8.20%
12.78/12.84 c 12.8s| 500 | 336 | 26902 | 46.1 | 10M| 42 | 94 | 607 | 958 | 607 |1016 | 141 | 0 |2006 | 4.528758e+01 | 4.900000e+01 | 8.20%
13.08/13.13 c 13.1s| 600 | 398 | 29290 | 42.4 | 10M| 48 | 133 | 607 | 958 | 607 |1016 | 141 | 0 |2023 | 4.528758e+01 | 4.900000e+01 | 8.20%
13.28/13.37 c 13.4s| 700 | 450 | 31816 | 39.9 | 10M| 48 | - | 607 | 958 | 607 |1016 | 141 | 0 |2030 | 4.531250e+01 | 4.900000e+01 | 8.14%
13.49/13.56 c 13.6s| 800 | 500 | 33811 | 37.4 | 10M| 55 | 160 | 607 | 958 | 607 |1016 | 141 | 0 |2034 | 4.531250e+01 | 4.900000e+01 | 8.14%
13.78/13.83 c 13.8s| 900 | 568 | 36988 | 36.8 | 11M| 59 | - | 607 | 958 | 607 |1016 | 141 | 0 |2043 | 4.531250e+01 | 4.900000e+01 | 8.14%
13.98/14.08 c 14.1s| 1000 | 628 | 39512 | 35.6 | 11M| 63 | 98 | 607 | 958 | 607 |1016 | 141 | 0 |2051 | 4.531250e+01 | 4.900000e+01 | 8.14%
14.29/14.33 c 14.3s| 1100 | 682 | 42204 | 34.8 | 11M| 63 | - | 607 | 958 | 607 |1016 | 141 | 0 |2059 | 4.531250e+01 | 4.900000e+01 | 8.14%
14.48/14.54 c 14.5s| 1200 | 738 | 44365 | 33.7 | 11M| 63 | 82 | 607 | 958 | 607 |1016 | 141 | 0 |2060 | 4.531250e+01 | 4.900000e+01 | 8.14%
14.69/14.73 c 14.7s| 1300 | 780 | 46312 | 32.6 | 11M| 73 | 106 | 607 | 958 | 607 |1016 | 141 | 0 |2066 | 4.531250e+01 | 4.900000e+01 | 8.14%
14.88/14.90 c 14.9s| 1400 | 830 | 48157 | 31.6 | 11M| 77 | 102 | 607 | 958 | 607 |1016 | 141 | 0 |2068 | 4.533333e+01 | 4.900000e+01 | 8.09%
14.98/15.09 c 15.1s| 1500 | 878 | 50142 | 30.8 | 11M| 77 | 116 | 607 | 958 | 607 |1016 | 141 | 0 |2076 | 4.535714e+01 | 4.900000e+01 | 8.03%
15.28/15.35 c 15.3s| 1600 | 914 | 52073 | 30.1 | 11M| 78 | 124 | 607 | 958 | 607 |1016 | 141 | 0 |2110 | 4.535714e+01 | 4.900000e+01 | 8.03%
15.48/15.53 c 15.5s| 1700 | 946 | 53421 | 29.1 | 11M| 78 | 100 | 607 | 958 | 607 |1016 | 141 | 0 |2121 | 4.535714e+01 | 4.900000e+01 | 8.03%
15.88/15.91 c 15.9s| 1800 | 1000 | 55700 | 28.8 | 11M| 78 | - | 607 | 958 | 607 |1016 | 141 | 1 |2179 | 4.536275e+01 | 4.900000e+01 | 8.02%
15.98/16.06 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
15.98/16.06 c 16.1s| 1900 | 1034 | 57280 | 28.1 | 11M| 78 | 128 | 607 | 958 | 607 |1016 | 141 | 3 |2179 | 4.536275e+01 | 4.900000e+01 | 8.02%
16.38/16.44 c 16.4s| 2000 | 1106 | 61051 | 28.6 | 11M| 78 | 132 | 607 | 958 | 607 |1016 | 141 | 3 |2193 | 4.536441e+01 | 4.900000e+01 | 8.01%
16.78/16.89 c 16.9s| 2100 | 1182 | 64233 | 28.7 | 12M| 78 | 104 | 607 | 958 | 607 |1016 | 141 | 3 |2225 | 4.537500e+01 | 4.900000e+01 | 7.99%
17.28/17.32 c 17.3s| 2200 | 1256 | 67379 | 28.9 | 12M| 78 | 170 | 607 | 958 | 607 |1016 | 141 | 3 |2253 | 4.538393e+01 | 4.900000e+01 | 7.97%
17.38/17.47 o 48
17.38/17.47 c C17.5s| 2211 | 721 | 67944 | 29.0 | 10M| 78 | 131 | 607 | 958 | 607 |1016 | 141 | 3 |2253 | 4.538393e+01 | 4.800000e+01 | 5.76%
17.68/17.77 c 17.8s| 2300 | 750 | 70999 | 29.2 | 10M| 78 | 128 | 607 | 958 | 607 |1016 | 141 | 3 |2272 | 4.538393e+01 | 4.800000e+01 | 5.76%
17.98/18.02 c 18.0s| 2400 | 794 | 73462 | 29.0 | 11M| 78 | 133 | 607 | 958 | 607 |1016 | 141 | 3 |2283 | 4.538393e+01 | 4.800000e+01 | 5.76%
18.39/18.41 c 18.4s| 2500 | 850 | 76395 | 29.0 | 11M| 78 | - | 607 | 958 | 607 |1016 | 141 | 3 |2294 | 4.538393e+01 | 4.800000e+01 | 5.76%
18.58/18.70 c 18.7s| 2600 | 894 | 78329 | 28.6 | 11M| 78 | 118 | 607 | 958 | 607 |1016 | 141 | 3 |2304 | 4.538889e+01 | 4.800000e+01 | 5.75%
18.89/18.95 c 19.0s| 2700 | 932 | 80817 | 28.5 | 11M| 78 | - | 607 | 958 | 607 |1016 | 141 | 4 |2307 | 4.538889e+01 | 4.800000e+01 | 5.75%
19.09/19.16 c 19.2s| 2800 | 972 | 82420 | 28.1 | 11M| 78 | 156 | 607 | 958 | 607 |1016 | 141 | 5 |2318 | 4.539435e+01 | 4.800000e+01 | 5.74%
19.28/19.39 c 19.4s| 2900 | 1016 | 84995 | 28.0 | 11M| 78 | - | 607 | 958 | 607 |1016 | 141 | 5 |2320 | 4.539435e+01 | 4.800000e+01 | 5.74%
19.58/19.62 c 19.6s| 3000 | 1054 | 87040 | 27.7 | 11M| 78 | 126 | 607 | 958 | 607 |1016 | 141 | 7 |2324 | 4.539435e+01 | 4.800000e+01 | 5.74%
19.89/19.91 c 19.9s| 3100 | 1098 | 89643 | 27.7 | 11M| 78 | - | 607 | 958 | 607 |1016 | 141 | 8 |2324 | 4.539435e+01 | 4.800000e+01 | 5.74%
20.08/20.12 c 20.1s| 3200 | 1134 | 92157 | 27.6 | 11M| 78 | - | 607 | 958 | 607 |1016 | 141 | 9 |2326 | 4.539583e+01 | 4.800000e+01 | 5.74%
20.28/20.39 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
20.28/20.39 c 20.4s| 3300 | 1186 | 94694 | 27.5 | 11M| 78 | 161 | 607 | 958 | 607 |1016 | 141 | 9 |2330 | 4.539583e+01 | 4.800000e+01 | 5.74%
20.58/20.66 c 20.7s| 3400 | 1228 | 96974 | 27.4 | 12M| 78 | 139 | 607 | 958 | 607 |1016 | 141 | 10 |2333 | 4.539583e+01 | 4.800000e+01 | 5.74%
20.89/20.97 c 21.0s| 3500 | 1286 | 99202 | 27.2 | 12M| 78 | 107 | 607 | 958 | 607 |1016 | 141 | 10 |2333 | 4.539583e+01 | 4.800000e+01 | 5.74%
21.28/21.39 c 21.4s| 3600 | 1330 |102908 | 27.5 | 12M| 78 | - | 607 | 958 | 607 |1016 | 141 | 10 |2334 | 4.539583e+01 | 4.800000e+01 | 5.74%
21.68/21.72 c 21.7s| 3700 | 1382 |105388 | 27.4 | 12M| 78 | 162 | 607 | 958 | 607 |1016 | 141 | 11 |2335 | 4.540476e+01 | 4.800000e+01 | 5.72%
21.99/22.00 c 22.0s| 3800 | 1434 |108290 | 27.5 | 12M| 78 | 114 | 607 | 958 | 607 |1016 | 141 | 11 |2341 | 4.540476e+01 | 4.800000e+01 | 5.72%
22.28/22.30 c 22.3s| 3900 | 1478 |111030 | 27.5 | 12M| 78 | 136 | 607 | 958 | 607 |1016 | 141 | 11 |2343 | 4.540476e+01 | 4.800000e+01 | 5.72%
22.38/22.49 c 22.5s| 4000 | 1510 |113005 | 27.3 | 12M| 78 | - | 607 | 958 | 607 |1016 | 141 | 11 |2346 | 4.540476e+01 | 4.800000e+01 | 5.72%
22.78/22.86 c 22.9s| 4100 | 1550 |116085 | 27.4 | 12M| 78 | 158 | 607 | 958 | 607 |1016 | 141 | 11 |2349 | 4.540476e+01 | 4.800000e+01 | 5.72%
23.29/23.30 c 23.3s| 4200 | 1600 |119339 | 27.5 | 13M| 78 | 111 | 607 | 958 | 607 |1016 | 141 | 12 |2391 | 4.540476e+01 | 4.800000e+01 | 5.72%
23.48/23.58 c 23.6s| 4300 | 1650 |121227 | 27.3 | 13M| 78 | 130 | 607 | 958 | 607 |1016 | 141 | 12 |2422 | 4.540972e+01 | 4.800000e+01 | 5.70%
23.88/23.92 c 23.9s| 4400 | 1700 |123967 | 27.3 | 13M| 78 | 159 | 607 | 958 | 607 |1016 | 141 | 13 |2435 | 4.540972e+01 | 4.800000e+01 | 5.70%
24.19/24.24 c 24.2s| 4500 | 1756 |126372 | 27.2 | 13M| 78 | 123 | 607 | 958 | 607 |1016 | 141 | 13 |2458 | 4.540972e+01 | 4.800000e+01 | 5.70%
24.68/24.71 c 24.7s| 4600 | 1800 |129312 | 27.3 | 13M| 78 | 141 | 607 | 958 | 607 |1016 | 141 | 13 |2507 | 4.540972e+01 | 4.800000e+01 | 5.70%
24.88/24.96 c 25.0s| 4700 | 1860 |132164 | 27.3 | 13M| 78 | - | 607 | 958 | 607 |1016 | 141 | 13 |2508 | 4.540972e+01 | 4.800000e+01 | 5.70%
25.38/25.49 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
25.38/25.49 c 25.5s| 4800 | 1922 |135447 | 27.4 | 13M| 78 | - | 607 | 958 | 607 |1016 | 141 | 15 |2536 | 4.540972e+01 | 4.800000e+01 | 5.70%
25.78/25.81 c 25.8s| 4900 | 1988 |137947 | 27.4 | 13M| 78 | 145 | 607 | 958 | 607 |1016 | 141 | 15 |2546 | 4.542262e+01 | 4.800000e+01 | 5.67%
26.08/26.14 c 26.1s| 5000 | 2042 |139983 | 27.2 | 14M| 78 | 164 | 607 | 958 | 607 |1016 | 141 | 15 |2568 | 4.543333e+01 | 4.800000e+01 | 5.65%
26.49/26.53 c 26.5s| 5100 | 2104 |142900 | 27.3 | 14M| 78 | 142 | 607 | 958 | 607 |1016 | 141 | 15 |2588 | 4.543333e+01 | 4.800000e+01 | 5.65%
26.78/26.85 c 26.8s| 5200 | 2164 |145706 | 27.3 | 14M| 78 | 138 | 607 | 958 | 607 |1016 | 141 | 15 |2612 | 4.543333e+01 | 4.800000e+01 | 5.65%
27.08/27.10 c 27.1s| 5300 | 2212 |147577 | 27.1 | 14M| 78 | 154 | 607 | 958 | 607 |1016 | 141 | 16 |2636 | 4.543333e+01 | 4.800000e+01 | 5.65%
27.29/27.32 c 27.3s| 5400 | 2246 |149136 | 26.9 | 14M| 78 | 148 | 607 | 958 | 607 |1016 | 141 | 16 |2643 | 4.543333e+01 | 4.800000e+01 | 5.65%
27.49/27.51 c 27.5s| 5500 | 2290 |150672 | 26.7 | 14M| 78 | - | 607 | 958 | 607 |1016 | 141 | 16 |2649 | 4.543333e+01 | 4.800000e+01 | 5.65%
27.68/27.77 c 27.8s| 5600 | 2330 |152954 | 26.6 | 14M| 78 | - | 607 | 958 | 607 |1016 | 141 | 17 |2652 | 4.543333e+01 | 4.800000e+01 | 5.65%
27.98/28.09 c 28.1s| 5700 | 2388 |155831 | 26.7 | 14M| 78 | 128 | 607 | 958 | 607 |1016 | 141 | 17 |2652 | 4.543333e+01 | 4.800000e+01 | 5.65%
28.38/28.42 c 28.4s| 5800 | 2436 |158289 | 26.6 | 15M| 78 | - | 607 | 958 | 607 |1016 | 141 | 17 |2656 | 4.543333e+01 | 4.800000e+01 | 5.65%
28.59/28.65 c 28.6s| 5900 | 2492 |160785 | 26.6 | 15M| 78 | - | 607 | 958 | 607 |1016 | 141 | 17 |2657 | 4.543333e+01 | 4.800000e+01 | 5.65%
28.88/28.97 c 29.0s| 6000 | 2554 |163398 | 26.6 | 15M| 78 | - | 607 | 958 | 607 |1016 | 141 | 18 |2660 | 4.543333e+01 | 4.800000e+01 | 5.65%
29.28/29.33 c 29.3s| 6100 | 2602 |165444 | 26.5 | 15M| 78 | 119 | 607 | 958 | 607 |1016 | 141 | 18 |2663 | 4.543333e+01 | 4.800000e+01 | 5.65%
29.48/29.54 c 29.5s| 6200 | 2646 |167653 | 26.4 | 15M| 78 | - | 607 | 958 | 607 |1016 | 141 | 19 |2669 | 4.543333e+01 | 4.800000e+01 | 5.65%
29.78/29.82 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
29.78/29.82 c 29.8s| 6300 | 2700 |170110 | 26.4 | 15M| 78 | 149 | 607 | 958 | 607 |1016 | 141 | 20 |2669 | 4.543333e+01 | 4.800000e+01 | 5.65%
30.08/30.20 c 30.2s| 6400 | 2748 |172685 | 26.4 | 15M| 78 | 147 | 607 | 958 | 607 |1016 | 141 | 21 |2671 | 4.543333e+01 | 4.800000e+01 | 5.65%
30.38/30.41 c 30.4s| 6500 | 2792 |174905 | 26.3 | 15M| 78 | 153 | 607 | 958 | 607 |1016 | 141 | 21 |2672 | 4.543333e+01 | 4.800000e+01 | 5.65%
30.69/30.70 c 30.7s| 6600 | 2846 |177513 | 26.3 | 15M| 78 | 155 | 607 | 958 | 607 |1016 | 141 | 21 |2677 | 4.543333e+01 | 4.800000e+01 | 5.65%
31.08/31.11 c 31.1s| 6700 | 2902 |181075 | 26.4 | 16M| 78 | 140 | 607 | 958 | 607 |1016 | 141 | 22 |2678 | 4.543333e+01 | 4.800000e+01 | 5.65%
31.38/31.43 c 31.4s| 6800 | 2952 |183718 | 26.4 | 16M| 78 | 148 | 607 | 958 | 607 |1016 | 141 | 22 |2679 | 4.543333e+01 | 4.800000e+01 | 5.65%
31.58/31.62 c 31.6s| 6900 | 3002 |185804 | 26.4 | 16M| 78 | 147 | 607 | 958 | 607 |1016 | 141 | 22 |2681 | 4.543333e+01 | 4.800000e+01 | 5.65%
31.78/31.81 c 31.8s| 7000 | 3040 |187741 | 26.3 | 16M| 78 | 132 | 607 | 959 | 607 |1016 | 141 | 23 |2681 | 4.543333e+01 | 4.800000e+01 | 5.65%
31.99/32.05 c 32.0s| 7100 | 3090 |189703 | 26.2 | 16M| 78 | 160 | 607 | 958 | 607 |1016 | 141 | 23 |2682 | 4.543333e+01 | 4.800000e+01 | 5.65%
32.18/32.28 c 32.3s| 7200 | 3136 |191840 | 26.1 | 16M| 78 | 141 | 607 | 958 | 607 |1016 | 141 | 23 |2682 | 4.543333e+01 | 4.800000e+01 | 5.65%
32.48/32.55 c 32.5s| 7300 | 3174 |194016 | 26.0 | 16M| 78 | 109 | 607 | 958 | 607 |1016 | 141 | 23 |2685 | 4.543333e+01 | 4.800000e+01 | 5.65%
32.78/32.86 c 32.9s| 7400 | 3226 |197062 | 26.1 | 16M| 78 | - | 607 | 958 | 607 |1016 | 141 | 24 |2685 | 4.543333e+01 | 4.800000e+01 | 5.65%
33.08/33.17 c 33.2s| 7500 | 3282 |199458 | 26.1 | 17M| 78 | 129 | 607 | 958 | 607 |1016 | 141 | 24 |2708 | 4.543333e+01 | 4.800000e+01 | 5.65%
33.38/33.45 c 33.5s| 7600 | 3326 |201262 | 26.0 | 17M| 78 | 133 | 607 | 958 | 607 |1016 | 141 | 25 |2723 | 4.543333e+01 | 4.800000e+01 | 5.65%
33.58/33.67 c 33.7s| 7700 | 3370 |202661 | 25.8 | 17M| 78 | 155 | 607 | 958 | 607 |1016 | 141 | 25 |2753 | 4.543333e+01 | 4.800000e+01 | 5.65%
33.88/33.93 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
33.88/33.93 c 33.9s| 7800 | 3422 |204314 | 25.7 | 17M| 78 | 152 | 607 | 958 | 607 |1016 | 141 | 25 |2766 | 4.543333e+01 | 4.800000e+01 | 5.65%
34.09/34.16 c 34.2s| 7900 | 3470 |206077 | 25.6 | 17M| 78 | - | 607 | 958 | 607 |1016 | 141 | 25 |2781 | 4.543333e+01 | 4.800000e+01 | 5.65%
34.48/34.53 c 34.5s| 8000 | 3522 |209295 | 25.7 | 17M| 78 | 136 | 607 | 958 | 607 |1016 | 141 | 26 |2802 | 4.543333e+01 | 4.800000e+01 | 5.65%
34.88/34.98 c 35.0s| 8100 | 3574 |212325 | 25.7 | 17M| 78 | 145 | 607 | 958 | 607 |1016 | 141 | 26 |2830 | 4.543750e+01 | 4.800000e+01 | 5.64%
35.08/35.17 c 35.2s| 8200 | 3628 |213724 | 25.6 | 17M| 78 | 141 | 607 | 958 | 607 |1016 | 141 | 26 |2846 | 4.543750e+01 | 4.800000e+01 | 5.64%
35.48/35.56 c 35.6s| 8300 | 3688 |216095 | 25.6 | 18M| 78 | 132 | 607 | 958 | 607 |1016 | 141 | 26 |2880 | 4.545238e+01 | 4.800000e+01 | 5.61%
35.68/35.74 c 35.7s| 8400 | 3740 |218041 | 25.5 | 18M| 78 | 147 | 607 | 958 | 607 |1016 | 141 | 26 |2882 | 4.547500e+01 | 4.800000e+01 | 5.55%
35.88/35.93 c 35.9s| 8500 | 3784 |219258 | 25.3 | 18M| 78 | 108 | 607 | 958 | 607 |1016 | 141 | 26 |2890 | 4.547500e+01 | 4.800000e+01 | 5.55%
36.08/36.16 c 36.2s| 8600 | 3832 |220490 | 25.2 | 18M| 78 | 149 | 607 | 958 | 607 |1016 | 141 | 27 |2902 | 4.547500e+01 | 4.800000e+01 | 5.55%
36.48/36.57 c 36.6s| 8700 | 3886 |223301 | 25.2 | 18M| 78 | 139 | 607 | 958 | 607 |1016 | 141 | 28 |2931 | 4.547917e+01 | 4.800000e+01 | 5.54%
36.88/36.90 c 36.9s| 8800 | 3940 |225863 | 25.2 | 18M| 78 | 147 | 607 | 958 | 607 |1016 | 141 | 30 |2952 | 4.548536e+01 | 4.800000e+01 | 5.53%
37.08/37.19 c 37.2s| 8900 | 3996 |227950 | 25.2 | 18M| 78 | 154 | 607 | 958 | 607 |1016 | 141 | 30 |2961 | 4.549038e+01 | 4.800000e+01 | 5.52%
37.29/37.38 c 37.4s| 9000 | 4034 |228964 | 25.0 | 18M| 78 | 164 | 607 | 958 | 607 |1016 | 141 | 33 |2981 | 4.549167e+01 | 4.800000e+01 | 5.51%
37.58/37.68 c 37.7s| 9100 | 4082 |231375 | 25.0 | 19M| 78 | 168 | 607 | 958 | 607 |1016 | 141 | 34 |2988 | 4.549833e+01 | 4.800000e+01 | 5.50%
37.78/37.86 c 37.9s| 9200 | 4130 |232696 | 24.9 | 19M| 78 | 152 | 607 | 958 | 607 |1016 | 141 | 35 |2997 | 4.550000e+01 | 4.800000e+01 | 5.49%
37.98/38.09 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
37.98/38.09 c 38.1s| 9300 | 4170 |234586 | 24.8 | 19M| 78 | 103 | 607 | 958 | 607 |1016 | 141 | 37 |3003 | 4.550000e+01 | 4.800000e+01 | 5.49%
38.18/38.29 c 38.3s| 9400 | 4224 |236177 | 24.7 | 19M| 78 | - | 607 | 958 | 607 |1016 | 141 | 37 |3004 | 4.550000e+01 | 4.800000e+01 | 5.49%
38.58/38.66 c 38.7s| 9500 | 4288 |239833 | 24.8 | 19M| 78 | 165 | 607 | 958 | 607 |1016 | 141 | 38 |3007 | 4.550000e+01 | 4.800000e+01 | 5.49%
38.98/39.02 c 39.0s| 9600 | 4336 |242978 | 24.9 | 19M| 78 | - | 607 | 958 | 607 |1016 | 141 | 39 |3010 | 4.550000e+01 | 4.800000e+01 | 5.49%
39.28/39.37 c 39.4s| 9700 | 4392 |245053 | 24.9 | 19M| 78 | 162 | 607 | 958 | 607 |1016 | 141 | 40 |3010 | 4.550000e+01 | 4.800000e+01 | 5.49%
39.59/39.64 c 39.6s| 9800 | 4456 |247870 | 24.9 | 19M| 78 | 132 | 607 | 958 | 607 |1016 | 141 | 40 |3015 | 4.550000e+01 | 4.800000e+01 | 5.49%
39.88/39.98 c 40.0s| 9900 | 4502 |250411 | 24.9 | 20M| 78 | 132 | 607 | 958 | 607 |1016 | 141 | 41 |3023 | 4.550000e+01 | 4.800000e+01 | 5.49%
40.18/40.30 c 40.3s| 10000 | 4560 |252777 | 24.9 | 20M| 78 | - | 607 | 958 | 607 |1016 | 141 | 41 |3026 | 4.550000e+01 | 4.800000e+01 | 5.49%
40.38/40.47 c 40.5s| 10100 | 4606 |254806 | 24.8 | 20M| 78 | 131 | 607 | 958 | 607 |1016 | 141 | 42 |3026 | 4.550000e+01 | 4.800000e+01 | 5.49%
40.78/40.80 c 40.8s| 10200 | 4672 |257376 | 24.9 | 20M| 78 | 138 | 607 | 958 | 607 |1016 | 141 | 43 |3030 | 4.550000e+01 | 4.800000e+01 | 5.49%
41.08/41.11 c 41.1s| 10300 | 4720 |260101 | 24.9 | 20M| 78 | 161 | 607 | 958 | 607 |1016 | 141 | 43 |3032 | 4.550000e+01 | 4.800000e+01 | 5.49%
41.18/41.25 c 41.3s| 10400 | 4762 |261297 | 24.8 | 20M| 78 | 109 | 607 | 958 | 607 |1016 | 141 | 44 |3033 | 4.550000e+01 | 4.800000e+01 | 5.49%
41.38/41.43 c 41.4s| 10500 | 4802 |262966 | 24.7 | 20M| 78 | - | 607 | 958 | 607 |1016 | 141 | 44 |3033 | 4.550000e+01 | 4.800000e+01 | 5.49%
41.48/41.59 c 41.6s| 10600 | 4850 |264405 | 24.6 | 20M| 78 | 148 | 607 | 958 | 607 |1016 | 141 | 44 |3033 | 4.550000e+01 | 4.800000e+01 | 5.49%
41.79/41.82 c 41.8s| 10700 | 4890 |267021 | 24.6 | 21M| 78 | 138 | 607 | 958 | 607 |1016 | 141 | 44 |3035 | 4.550000e+01 | 4.800000e+01 | 5.49%
41.98/42.05 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
41.98/42.05 c 42.0s| 10800 | 4942 |268493 | 24.5 | 21M| 78 | 136 | 607 | 958 | 607 |1016 | 141 | 45 |3040 | 4.550000e+01 | 4.800000e+01 | 5.49%
42.18/42.20 c 42.2s| 10900 | 4980 |269623 | 24.4 | 21M| 78 | - | 607 | 958 | 607 |1016 | 141 | 45 |3041 | 4.550000e+01 | 4.800000e+01 | 5.49%
42.28/42.37 c 42.4s| 11000 | 5016 |271057 | 24.3 | 21M| 78 | 161 | 607 | 958 | 607 |1016 | 141 | 46 |3041 | 4.550000e+01 | 4.800000e+01 | 5.49%
42.57/42.65 c 42.6s| 11100 | 5056 |272868 | 24.2 | 21M| 78 | - | 607 | 959 | 607 |1016 | 141 | 47 |3045 | 4.550000e+01 | 4.800000e+01 | 5.49%
42.89/42.95 c 42.9s| 11200 | 5114 |276112 | 24.3 | 21M| 78 | - | 607 | 958 | 607 |1016 | 141 | 47 |3046 | 4.550000e+01 | 4.800000e+01 | 5.49%
43.08/43.16 c 43.2s| 11300 | 5150 |278514 | 24.3 | 21M| 78 | 115 | 607 | 958 | 607 |1016 | 141 | 47 |3048 | 4.550000e+01 | 4.800000e+01 | 5.49%
43.28/43.36 c 43.4s| 11400 | 5176 |280589 | 24.3 | 21M| 78 | 113 | 607 | 958 | 607 |1016 | 141 | 47 |3048 | 4.550000e+01 | 4.800000e+01 | 5.49%
43.58/43.61 c 43.6s| 11500 | 5212 |282925 | 24.3 | 21M| 78 | 108 | 607 | 958 | 607 |1016 | 141 | 49 |3050 | 4.550000e+01 | 4.800000e+01 | 5.49%
43.68/43.77 c 43.8s| 11600 | 5250 |284317 | 24.2 | 22M| 80 | 122 | 607 | 958 | 607 |1016 | 141 | 50 |3050 | 4.550000e+01 | 4.800000e+01 | 5.49%
43.88/43.97 c 44.0s| 11700 | 5288 |285562 | 24.1 | 22M| 80 | 130 | 607 | 958 | 607 |1016 | 141 | 51 |3071 | 4.550000e+01 | 4.800000e+01 | 5.49%
44.18/44.26 c 44.3s| 11800 | 5330 |288118 | 24.1 | 22M| 80 | - | 607 | 958 | 607 |1016 | 141 | 51 |3090 | 4.550000e+01 | 4.800000e+01 | 5.49%
44.38/44.47 c 44.5s| 11900 | 5372 |289640 | 24.0 | 22M| 80 | 119 | 607 | 958 | 607 |1016 | 141 | 51 |3104 | 4.550000e+01 | 4.800000e+01 | 5.49%
44.68/44.76 c 44.8s| 12000 | 5408 |291418 | 24.0 | 22M| 80 | 135 | 607 | 958 | 607 |1016 | 141 | 53 |3129 | 4.550000e+01 | 4.800000e+01 | 5.49%
44.87/44.98 c 45.0s| 12100 | 5448 |292616 | 23.9 | 22M| 80 | 109 | 607 | 958 | 607 |1016 | 141 | 53 |3158 | 4.550000e+01 | 4.800000e+01 | 5.49%
45.18/45.24 c 45.2s| 12200 | 5480 |295539 | 23.9 | 22M| 80 | - | 607 | 958 | 607 |1016 | 141 | 53 |3168 | 4.550000e+01 | 4.800000e+01 | 5.49%
45.48/45.56 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
45.48/45.56 c 45.6s| 12300 | 5530 |297626 | 23.9 | 22M| 80 | 117 | 607 | 958 | 607 |1016 | 141 | 54 |3198 | 4.550000e+01 | 4.800000e+01 | 5.49%
45.78/45.80 c 45.8s| 12400 | 5582 |299649 | 23.9 | 22M| 80 | 127 | 607 | 958 | 607 |1016 | 141 | 55 |3211 | 4.550000e+01 | 4.800000e+01 | 5.49%
45.98/46.06 c 46.1s| 12500 | 5626 |301397 | 23.8 | 23M| 80 | 112 | 607 | 958 | 607 |1016 | 141 | 55 |3238 | 4.550000e+01 | 4.800000e+01 | 5.49%
46.27/46.37 c 46.4s| 12600 | 5662 |304077 | 23.8 | 23M| 80 | - | 607 | 958 | 607 |1016 | 141 | 56 |3266 | 4.550000e+01 | 4.800000e+01 | 5.49%
46.48/46.58 c 46.6s| 12700 | 5696 |305334 | 23.7 | 23M| 80 | - | 607 | 958 | 607 |1016 | 141 | 56 |3291 | 4.550000e+01 | 4.800000e+01 | 5.49%
46.78/46.82 c 46.8s| 12800 | 5736 |307168 | 23.7 | 23M| 80 | - | 607 | 958 | 607 |1016 | 141 | 57 |3305 | 4.550000e+01 | 4.800000e+01 | 5.49%
46.98/47.07 c 47.1s| 12900 | 5772 |309089 | 23.7 | 23M| 80 | 94 | 607 | 958 | 607 |1016 | 141 | 58 |3329 | 4.550000e+01 | 4.800000e+01 | 5.49%
47.37/47.41 c 47.4s| 13000 | 5820 |312141 | 23.7 | 23M| 80 | 124 | 607 | 958 | 607 |1016 | 141 | 59 |3338 | 4.550000e+01 | 4.800000e+01 | 5.49%
47.47/47.54 c 47.5s| 13100 | 5852 |312823 | 23.6 | 23M| 80 | 121 | 607 | 958 | 607 |1016 | 141 | 59 |3349 | 4.550000e+01 | 4.800000e+01 | 5.49%
47.67/47.79 c 47.8s| 13200 | 5900 |315148 | 23.6 | 23M| 80 | - | 607 | 958 | 607 |1016 | 141 | 59 |3351 | 4.550556e+01 | 4.800000e+01 | 5.48%
47.98/48.00 c 48.0s| 13300 | 5932 |317094 | 23.5 | 23M| 80 | 112 | 607 | 958 | 607 |1016 | 141 | 59 |3356 | 4.551042e+01 | 4.800000e+01 | 5.47%
48.18/48.29 c 48.3s| 13400 | 5972 |319081 | 23.5 | 24M| 80 | 98 | 607 | 958 | 607 |1016 | 141 | 60 |3360 | 4.551042e+01 | 4.800000e+01 | 5.47%
48.38/48.49 c 48.5s| 13500 | 6020 |321204 | 23.5 | 24M| 80 | 139 | 607 | 958 | 607 |1016 | 141 | 61 |3363 | 4.551061e+01 | 4.800000e+01 | 5.47%
48.57/48.62 c 48.6s| 13600 | 6048 |322310 | 23.4 | 24M| 80 | 133 | 607 | 958 | 607 |1016 | 141 | 62 |3366 | 4.551591e+01 | 4.800000e+01 | 5.46%
48.77/48.81 c 48.8s| 13700 | 6084 |323962 | 23.4 | 24M| 80 | 159 | 607 | 958 | 607 |1016 | 141 | 63 |3366 | 4.551852e+01 | 4.800000e+01 | 5.45%
48.87/48.96 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
48.87/48.96 c 49.0s| 13800 | 6122 |325096 | 23.3 | 24M| 80 | 143 | 607 | 958 | 607 |1016 | 141 | 66 |3367 | 4.551852e+01 | 4.800000e+01 | 5.45%
49.08/49.11 c 49.1s| 13900 | 6152 |326427 | 23.2 | 24M| 80 | 136 | 607 | 958 | 607 |1016 | 141 | 68 |3368 | 4.552273e+01 | 4.800000e+01 | 5.44%
49.18/49.26 c 49.3s| 14000 | 6184 |327843 | 23.1 | 24M| 80 | 130 | 607 | 958 | 607 |1016 | 141 | 68 |3369 | 4.552778e+01 | 4.800000e+01 | 5.43%
49.38/49.42 c 49.4s| 14100 | 6218 |329397 | 23.1 | 24M| 80 | - | 607 | 958 | 607 |1016 | 141 | 69 |3369 | 4.554049e+01 | 4.800000e+01 | 5.40%
49.57/49.67 c 49.7s| 14200 | 6264 |331344 | 23.1 | 24M| 80 | 146 | 607 | 958 | 607 |1016 | 141 | 70 |3369 | 4.554049e+01 | 4.800000e+01 | 5.40%
49.77/49.86 c 49.9s| 14300 | 6306 |333008 | 23.0 | 24M| 80 | 140 | 607 | 958 | 607 |1016 | 141 | 70 |3373 | 4.554167e+01 | 4.800000e+01 | 5.40%
49.97/50.06 c 50.1s| 14400 | 6342 |334953 | 23.0 | 25M| 80 | - | 607 | 958 | 607 |1016 | 141 | 71 |3377 | 4.554904e+01 | 4.800000e+01 | 5.38%
50.18/50.27 c 50.3s| 14500 | 6380 |337207 | 23.0 | 25M| 80 | 139 | 607 | 958 | 607 |1016 | 141 | 71 |3378 | 4.555063e+01 | 4.800000e+01 | 5.38%
50.38/50.44 c 50.4s| 14600 | 6406 |338867 | 22.9 | 25M| 80 | - | 607 | 958 | 607 |1016 | 141 | 75 |3379 | 4.555063e+01 | 4.800000e+01 | 5.38%
50.48/50.59 c 50.6s| 14700 | 6432 |340203 | 22.9 | 25M| 80 | 153 | 607 | 959 | 607 |1016 | 141 | 76 |3380 | 4.555147e+01 | 4.800000e+01 | 5.38%
50.68/50.75 c 50.7s| 14800 | 6464 |341383 | 22.8 | 25M| 80 | 127 | 607 | 958 | 607 |1016 | 141 | 76 |3380 | 4.556667e+01 | 4.800000e+01 | 5.34%
50.87/50.92 c 50.9s| 14900 | 6498 |343298 | 22.8 | 25M| 80 | 115 | 607 | 958 | 607 |1016 | 141 | 76 |3381 | 4.556667e+01 | 4.800000e+01 | 5.34%
51.07/51.14 c 51.1s| 15000 | 6532 |344958 | 22.7 | 25M| 80 | 164 | 607 | 958 | 607 |1016 | 141 | 79 |3381 | 4.557143e+01 | 4.800000e+01 | 5.33%
51.27/51.31 c 51.3s| 15100 | 6562 |346455 | 22.7 | 25M| 80 | 90 | 607 | 958 | 607 |1016 | 141 | 79 |3381 | 4.557143e+01 | 4.800000e+01 | 5.33%
51.37/51.46 c 51.5s| 15200 | 6584 |347904 | 22.6 | 25M| 80 | - | 607 | 958 | 607 |1016 | 141 | 79 |3382 | 4.557143e+01 | 4.800000e+01 | 5.33%
51.68/51.78 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
51.68/51.78 c 51.8s| 15300 | 6628 |350334 | 22.6 | 25M| 80 | 155 | 607 | 958 | 607 |1016 | 141 | 79 |3387 | 4.557143e+01 | 4.800000e+01 | 5.33%
51.87/51.99 c 52.0s| 15400 | 6678 |352434 | 22.6 | 26M| 80 | 136 | 607 | 958 | 607 |1016 | 141 | 79 |3389 | 4.558333e+01 | 4.800000e+01 | 5.30%
52.17/52.22 c 52.2s| 15500 | 6726 |354801 | 22.6 | 26M| 80 | 115 | 607 | 958 | 607 |1016 | 141 | 80 |3394 | 4.558333e+01 | 4.800000e+01 | 5.30%
52.27/52.37 c 52.4s| 15600 | 6770 |355993 | 22.6 | 26M| 80 | 172 | 607 | 958 | 607 |1016 | 141 | 80 |3395 | 4.558333e+01 | 4.800000e+01 | 5.30%
52.48/52.54 c 52.5s| 15700 | 6800 |356918 | 22.5 | 26M| 80 | 136 | 607 | 958 | 607 |1016 | 141 | 80 |3399 | 4.558333e+01 | 4.800000e+01 | 5.30%
52.78/52.80 c 52.8s| 15800 | 6848 |359226 | 22.5 | 26M| 80 | - | 607 | 958 | 607 |1016 | 141 | 80 |3401 | 4.558401e+01 | 4.800000e+01 | 5.30%
52.97/53.06 c 53.1s| 15900 | 6880 |360911 | 22.5 | 26M| 80 | - | 607 | 958 | 607 |1016 | 141 | 80 |3428 | 4.558995e+01 | 4.800000e+01 | 5.29%
53.18/53.24 c 53.2s| 16000 | 6920 |362716 | 22.4 | 26M| 80 | 140 | 607 | 958 | 607 |1016 | 141 | 80 |3430 | 4.559170e+01 | 4.800000e+01 | 5.28%
53.48/53.52 c 53.5s| 16100 | 6948 |364910 | 22.4 | 26M| 80 | - | 607 | 958 | 607 |1016 | 141 | 81 |3468 | 4.559170e+01 | 4.800000e+01 | 5.28%
53.68/53.76 c 53.8s| 16200 | 6980 |366728 | 22.4 | 26M| 80 | 131 | 607 | 958 | 607 |1016 | 141 | 81 |3469 | 4.559375e+01 | 4.800000e+01 | 5.28%
53.78/53.90 c 53.9s| 16300 | 7006 |367919 | 22.3 | 27M| 80 | - | 607 | 958 | 607 |1016 | 141 | 82 |3474 | 4.559375e+01 | 4.800000e+01 | 5.28%
53.97/54.08 c 54.1s| 16400 | 7042 |369248 | 22.3 | 27M| 80 | 116 | 607 | 958 | 607 |1016 | 141 | 83 |3490 | 4.559375e+01 | 4.800000e+01 | 5.28%
54.17/54.29 c 54.3s| 16500 | 7060 |370713 | 22.2 | 27M| 80 | 118 | 607 | 958 | 607 |1016 | 141 | 83 |3510 | 4.559375e+01 | 4.800000e+01 | 5.28%
54.48/54.53 c 54.5s| 16600 | 7096 |372378 | 22.2 | 27M| 80 | - | 607 | 958 | 607 |1016 | 141 | 83 |3522 | 4.559375e+01 | 4.800000e+01 | 5.28%
54.57/54.68 c 54.7s| 16700 | 7112 |373146 | 22.1 | 27M| 80 | - | 607 | 958 | 607 |1016 | 141 | 83 |3544 | 4.559375e+01 | 4.800000e+01 | 5.28%
54.88/54.92 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
54.88/54.92 c 54.9s| 16800 | 7144 |374983 | 22.1 | 27M| 80 | 130 | 607 | 958 | 607 |1016 | 141 | 83 |3556 | 4.559375e+01 | 4.800000e+01 | 5.28%
55.07/55.16 c 55.2s| 16900 | 7184 |376847 | 22.1 | 27M| 80 | 126 | 607 | 958 | 607 |1016 | 141 | 83 |3574 | 4.559375e+01 | 4.800000e+01 | 5.28%
55.38/55.42 c 55.4s| 17000 | 7224 |378915 | 22.1 | 27M| 80 | 148 | 607 | 958 | 607 |1016 | 141 | 83 |3611 | 4.559375e+01 | 4.800000e+01 | 5.28%
55.57/55.60 c 55.6s| 17100 | 7254 |380519 | 22.0 | 27M| 80 | - | 607 | 958 | 607 |1016 | 141 | 83 |3618 | 4.559375e+01 | 4.800000e+01 | 5.28%
55.77/55.82 c 55.8s| 17200 | 7286 |382187 | 22.0 | 27M| 80 | - | 607 | 958 | 607 |1016 | 141 | 86 |3645 | 4.559426e+01 | 4.800000e+01 | 5.28%
55.88/55.97 c 56.0s| 17300 | 7312 |383223 | 21.9 | 27M| 80 | 139 | 607 | 958 | 607 |1016 | 141 | 87 |3656 | 4.559426e+01 | 4.800000e+01 | 5.28%
56.18/56.27 c 56.3s| 17400 | 7340 |385873 | 22.0 | 28M| 80 | 119 | 607 | 958 | 607 |1016 | 141 | 87 |3679 | 4.559426e+01 | 4.800000e+01 | 5.28%
56.57/56.61 c 56.6s| 17500 | 7372 |388127 | 22.0 | 28M| 80 | - | 607 | 958 | 607 |1016 | 141 | 87 |3697 | 4.559524e+01 | 4.800000e+01 | 5.27%
56.77/56.82 c 56.8s| 17600 | 7414 |389785 | 21.9 | 28M| 80 | 130 | 607 | 958 | 607 |1016 | 141 | 87 |3711 | 4.559524e+01 | 4.800000e+01 | 5.27%
56.96/57.08 c 57.1s| 17700 | 7452 |391913 | 21.9 | 28M| 80 | 87 | 607 | 958 | 607 |1016 | 141 | 87 |3725 | 4.559605e+01 | 4.800000e+01 | 5.27%
57.17/57.26 c 57.3s| 17800 | 7492 |393643 | 21.9 | 28M| 80 | 145 | 607 | 958 | 607 |1016 | 141 | 88 |3733 | 4.559615e+01 | 4.800000e+01 | 5.27%
57.36/57.48 c 57.5s| 17900 | 7526 |395284 | 21.9 | 28M| 80 | - | 607 | 958 | 607 |1016 | 141 | 88 |3737 | 4.559615e+01 | 4.800000e+01 | 5.27%
57.67/57.74 c 57.7s| 18000 | 7556 |397448 | 21.9 | 28M| 80 | - | 607 | 958 | 607 |1016 | 141 | 88 |3740 | 4.559615e+01 | 4.800000e+01 | 5.27%
57.87/57.96 c 58.0s| 18100 | 7586 |399152 | 21.8 | 28M| 80 | 134 | 607 | 958 | 607 |1016 | 141 | 88 |3740 | 4.559615e+01 | 4.800000e+01 | 5.27%
58.07/58.11 c 58.1s| 18200 | 7612 |400664 | 21.8 | 28M| 80 | 121 | 607 | 958 | 607 |1016 | 141 | 88 |3741 | 4.559615e+01 | 4.800000e+01 | 5.27%
58.17/58.28 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
58.17/58.28 c 58.3s| 18300 | 7640 |402222 | 21.8 | 28M| 80 | 115 | 607 | 958 | 607 |1016 | 141 | 88 |3741 | 4.559615e+01 | 4.800000e+01 | 5.27%
58.37/58.46 c 58.5s| 18400 | 7658 |403840 | 21.7 | 29M| 80 | 115 | 607 | 958 | 607 |1016 | 141 | 89 |3741 | 4.559677e+01 | 4.800000e+01 | 5.27%
58.57/58.61 c 58.6s| 18500 | 7690 |405132 | 21.7 | 29M| 80 | 137 | 607 | 958 | 607 |1016 | 141 | 89 |3742 | 4.559884e+01 | 4.800000e+01 | 5.27%
58.67/58.75 c 58.7s| 18600 | 7714 |406310 | 21.6 | 29M| 80 | 123 | 607 | 958 | 607 |1016 | 141 | 89 |3743 | 4.559884e+01 | 4.800000e+01 | 5.27%
58.77/58.88 c 58.9s| 18700 | 7740 |407208 | 21.6 | 29M| 80 | 114 | 607 | 958 | 607 |1016 | 141 | 90 |3743 | 4.559884e+01 | 4.800000e+01 | 5.27%
59.06/59.11 c 59.1s| 18800 | 7780 |409495 | 21.6 | 29M| 80 | 132 | 607 | 958 | 607 |1016 | 141 | 90 |3747 | 4.559884e+01 | 4.800000e+01 | 5.27%
59.27/59.34 c 59.3s| 18900 | 7810 |411530 | 21.6 | 29M| 80 | 113 | 607 | 958 | 607 |1016 | 141 | 90 |3752 | 4.559884e+01 | 4.800000e+01 | 5.27%
59.47/59.51 c 59.5s| 19000 | 7840 |413306 | 21.5 | 29M| 80 | 132 | 607 | 958 | 607 |1016 | 141 | 90 |3753 | 4.559884e+01 | 4.800000e+01 | 5.27%
59.67/59.71 c 59.7s| 19100 | 7872 |415426 | 21.5 | 29M| 80 | 100 | 607 | 958 | 607 |1016 | 141 | 91 |3753 | 4.559884e+01 | 4.800000e+01 | 5.27%
59.77/59.86 c 59.9s| 19200 | 7894 |416834 | 21.5 | 29M| 80 | - | 607 | 958 | 607 |1016 | 141 | 92 |3755 | 4.559884e+01 | 4.800000e+01 | 5.27%
59.87/59.98 c 60.0s| 19300 | 7920 |417807 | 21.4 | 29M| 80 | 132 | 607 | 958 | 607 |1016 | 141 | 92 |3756 | 4.560000e+01 | 4.800000e+01 | 5.26%
60.06/60.19 c 60.2s| 19400 | 7952 |419890 | 21.4 | 29M| 80 | 134 | 607 | 958 | 607 |1016 | 141 | 92 |3757 | 4.560000e+01 | 4.800000e+01 | 5.26%
60.27/60.34 c 60.3s| 19500 | 7984 |421283 | 21.4 | 30M| 80 | - | 607 | 958 | 607 |1016 | 141 | 92 |3759 | 4.560000e+01 | 4.800000e+01 | 5.26%
60.47/60.54 c 60.5s| 19600 | 8028 |422972 | 21.4 | 30M| 80 | 136 | 607 | 958 | 607 |1016 | 141 | 92 |3760 | 4.560000e+01 | 4.800000e+01 | 5.26%
60.76/60.85 c 60.8s| 19700 | 8076 |426293 | 21.4 | 30M| 80 | 112 | 607 | 958 | 607 |1016 | 141 | 92 |3760 | 4.560000e+01 | 4.800000e+01 | 5.26%
60.96/61.01 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
60.96/61.01 c 61.0s| 19800 | 8098 |427914 | 21.4 | 30M| 80 | 125 | 607 | 958 | 607 |1016 | 141 | 92 |3761 | 4.560000e+01 | 4.800000e+01 | 5.26%
61.06/61.17 c 61.2s| 19900 | 8126 |429430 | 21.4 | 30M| 80 | - | 607 | 958 | 607 |1016 | 141 | 92 |3762 | 4.560000e+01 | 4.800000e+01 | 5.26%
61.27/61.31 c 61.3s| 20000 | 8162 |430680 | 21.3 | 30M| 80 | 87 | 607 | 958 | 607 |1016 | 141 | 92 |3764 | 4.560000e+01 | 4.800000e+01 | 5.26%
61.47/61.60 c 61.6s| 20100 | 8210 |433249 | 21.4 | 30M| 80 | 113 | 607 | 958 | 607 |1016 | 141 | 92 |3765 | 4.560000e+01 | 4.800000e+01 | 5.26%
61.67/61.73 c 61.7s| 20200 | 8238 |434486 | 21.3 | 30M| 80 | - | 607 | 958 | 607 |1016 | 141 | 92 |3765 | 4.560000e+01 | 4.800000e+01 | 5.26%
61.97/62.08 c 62.1s| 20300 | 8284 |438039 | 21.4 | 30M| 80 | 121 | 607 | 958 | 607 |1016 | 141 | 92 |3778 | 4.560000e+01 | 4.800000e+01 | 5.26%
62.26/62.30 c 62.3s| 20400 | 8316 |440367 | 21.4 | 31M| 80 | - | 607 | 958 | 607 |1016 | 141 | 92 |3782 | 4.560000e+01 | 4.800000e+01 | 5.26%
62.36/62.48 c 62.5s| 20500 | 8342 |442206 | 21.4 | 31M| 80 | - | 607 | 958 | 607 |1016 | 141 | 92 |3783 | 4.560000e+01 | 4.800000e+01 | 5.26%
62.57/62.63 c 62.6s| 20600 | 8372 |443397 | 21.3 | 31M| 80 | 118 | 607 | 958 | 607 |1016 | 141 | 92 |3785 | 4.560084e+01 | 4.800000e+01 | 5.26%
62.87/62.92 c 62.9s| 20700 | 8416 |446082 | 21.4 | 31M| 80 | - | 607 | 958 | 607 |1016 | 141 | 93 |3785 | 4.560201e+01 | 4.800000e+01 | 5.26%
62.97/63.05 c 63.1s| 20800 | 8442 |447290 | 21.3 | 31M| 80 | 105 | 607 | 958 | 607 |1016 | 141 | 93 |3790 | 4.561278e+01 | 4.800000e+01 | 5.23%
63.07/63.18 c 63.2s| 20900 | 8464 |448357 | 21.3 | 31M| 80 | 125 | 607 | 958 | 607 |1016 | 141 | 96 |3791 | 4.561467e+01 | 4.800000e+01 | 5.23%
63.26/63.38 c 63.4s| 21000 | 8496 |450596 | 21.3 | 31M| 80 | 113 | 607 | 958 | 607 |1016 | 141 | 96 |3791 | 4.561538e+01 | 4.800000e+01 | 5.23%
63.57/63.61 c 63.6s| 21100 | 8524 |452413 | 21.3 | 31M| 80 | 147 | 607 | 958 | 607 |1016 | 141 | 96 |3795 | 4.561538e+01 | 4.800000e+01 | 5.23%
63.77/63.87 c 63.9s| 21200 | 8562 |455003 | 21.3 | 31M| 80 | 103 | 607 | 958 | 607 |1016 | 141 | 97 |3798 | 4.561538e+01 | 4.800000e+01 | 5.23%
64.07/64.14 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
64.07/64.14 c 64.1s| 21300 | 8604 |457256 | 21.3 | 31M| 80 | 141 | 607 | 958 | 607 |1016 | 141 | 97 |3803 | 4.561538e+01 | 4.800000e+01 | 5.23%
64.16/64.27 c 64.3s| 21400 | 8624 |458377 | 21.2 | 32M| 80 | - | 607 | 959 | 607 |1016 | 141 | 98 |3804 | 4.561622e+01 | 4.800000e+01 | 5.23%
64.36/64.42 c 64.4s| 21500 | 8662 |459637 | 21.2 | 32M| 80 | 139 | 607 | 958 | 607 |1016 | 141 | 98 |3804 | 4.561852e+01 | 4.800000e+01 | 5.22%
64.47/64.55 c 64.5s| 21600 | 8690 |460688 | 21.1 | 32M| 80 | - | 607 | 958 | 607 |1016 | 141 | 98 |3804 | 4.561905e+01 | 4.800000e+01 | 5.22%
64.77/64.88 c 64.9s| 21700 | 8736 |463485 | 21.2 | 32M| 80 | 123 | 607 | 958 | 607 |1016 | 141 | 98 |3806 | 4.561905e+01 | 4.800000e+01 | 5.22%
65.07/65.18 c 65.2s| 21800 | 8774 |465528 | 21.2 | 32M| 80 | 127 | 607 | 958 | 607 |1016 | 141 | 98 |3809 | 4.562500e+01 | 4.800000e+01 | 5.21%
65.27/65.38 c 65.4s| 21900 | 8804 |467670 | 21.2 | 32M| 80 | - | 607 | 958 | 607 |1016 | 141 | 98 |3810 | 4.562500e+01 | 4.800000e+01 | 5.21%
65.46/65.54 c 65.5s| 22000 | 8832 |468924 | 21.1 | 32M| 80 | - | 607 | 958 | 607 |1016 | 141 | 98 |3812 | 4.562500e+01 | 4.800000e+01 | 5.21%
65.56/65.69 c 65.7s| 22100 | 8858 |470434 | 21.1 | 32M| 80 | 128 | 607 | 958 | 607 |1016 | 141 | 98 |3813 | 4.562500e+01 | 4.800000e+01 | 5.21%
65.77/65.85 c 65.8s| 22200 | 8890 |472021 | 21.1 | 32M| 80 | 132 | 607 | 958 | 607 |1016 | 141 | 98 |3815 | 4.562500e+01 | 4.800000e+01 | 5.21%
65.97/66.06 c 66.1s| 22300 | 8918 |473868 | 21.1 | 32M| 80 | - | 607 | 958 | 607 |1016 | 141 | 98 |3819 | 4.562500e+01 | 4.800000e+01 | 5.21%
66.17/66.25 c 66.2s| 22400 | 8954 |475598 | 21.1 | 33M| 80 | 119 | 607 | 958 | 607 |1016 | 141 | 99 |3823 | 4.562500e+01 | 4.800000e+01 | 5.21%
66.47/66.51 c 66.5s| 22500 | 8986 |477884 | 21.1 | 33M| 80 | - | 607 | 958 | 607 |1016 | 141 | 99 |3824 | 4.562500e+01 | 4.800000e+01 | 5.21%
66.66/66.75 c 66.7s| 22600 | 9028 |480216 | 21.1 | 33M| 80 | 114 | 607 | 958 | 607 |1016 | 141 | 99 |3825 | 4.562500e+01 | 4.800000e+01 | 5.21%
66.86/66.93 c 66.9s| 22700 | 9070 |482027 | 21.1 | 33M| 80 | - | 607 | 958 | 607 |1016 | 141 | 99 |3828 | 4.562524e+01 | 4.800000e+01 | 5.20%
67.07/67.18 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
67.07/67.18 c 67.2s| 22800 | 9118 |484426 | 21.1 | 33M| 80 | 77 | 607 | 958 | 607 |1016 | 141 | 99 |3834 | 4.563278e+01 | 4.800000e+01 | 5.19%
67.36/67.45 c 67.4s| 22900 | 9152 |487035 | 21.1 | 33M| 80 | 125 | 607 | 958 | 607 |1016 | 141 | 99 |3835 | 4.563278e+01 | 4.800000e+01 | 5.19%
67.66/67.75 c 67.7s| 23000 | 9176 |489845 | 21.1 | 33M| 80 | - | 607 | 958 | 607 |1016 | 141 | 99 |3838 | 4.563278e+01 | 4.800000e+01 | 5.19%
67.76/67.89 c 67.9s| 23100 | 9210 |490863 | 21.1 | 33M| 80 | 138 | 607 | 958 | 607 |1016 | 141 | 99 |3838 | 4.563333e+01 | 4.800000e+01 | 5.19%
68.07/68.12 c 68.1s| 23200 | 9242 |492527 | 21.1 | 33M| 80 | - | 607 | 958 | 607 |1016 | 141 | 99 |3840 | 4.563636e+01 | 4.800000e+01 | 5.18%
68.26/68.34 c 68.3s| 23300 | 9280 |494700 | 21.1 | 33M| 80 | 128 | 607 | 958 | 607 |1016 | 141 | 99 |3841 | 4.563636e+01 | 4.800000e+01 | 5.18%
68.36/68.47 c 68.5s| 23400 | 9308 |495842 | 21.0 | 34M| 80 | 161 | 607 | 958 | 607 |1016 | 141 | 99 |3841 | 4.563889e+01 | 4.800000e+01 | 5.17%
68.56/68.60 c 68.6s| 23500 | 9332 |496863 | 21.0 | 34M| 80 | 150 | 607 | 958 | 607 |1016 | 141 | 100 |3841 | 4.563951e+01 | 4.800000e+01 | 5.17%
68.66/68.76 c 68.8s| 23600 | 9348 |498366 | 21.0 | 34M| 80 | - | 607 | 958 | 607 |1016 | 141 | 100 |3841 | 4.563951e+01 | 4.800000e+01 | 5.17%
68.86/68.95 c 68.9s| 23700 | 9374 |500206 | 20.9 | 34M| 80 | 140 | 607 | 958 | 607 |1016 | 141 | 100 |3843 | 4.564429e+01 | 4.800000e+01 | 5.16%
69.06/69.13 c 69.1s| 23800 | 9408 |501827 | 20.9 | 34M| 80 | 127 | 607 | 958 | 607 |1016 | 141 | 100 |3848 | 4.564516e+01 | 4.800000e+01 | 5.16%
69.36/69.46 c 69.5s| 23900 | 9426 |504384 | 20.9 | 34M| 80 | 115 | 607 | 958 | 607 |1016 | 141 | 100 |3848 | 4.564516e+01 | 4.800000e+01 | 5.16%
69.56/69.66 c 69.7s| 24000 | 9446 |506222 | 20.9 | 34M| 80 | 122 | 607 | 958 | 607 |1016 | 141 | 101 |3849 | 4.564516e+01 | 4.800000e+01 | 5.16%
69.76/69.87 c 69.9s| 24100 | 9472 |508185 | 20.9 | 34M| 80 | 147 | 607 | 958 | 607 |1016 | 141 | 101 |3849 | 4.564815e+01 | 4.800000e+01 | 5.15%
69.97/70.09 c 70.1s| 24200 | 9504 |510416 | 20.9 | 34M| 80 | 121 | 607 | 958 | 607 |1016 | 141 | 101 |3849 | 4.564935e+01 | 4.800000e+01 | 5.15%
70.16/70.27 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
70.16/70.27 c 70.3s| 24300 | 9532 |512215 | 20.9 | 34M| 80 | 121 | 607 | 958 | 607 |1016 | 141 | 101 |3851 | 4.565000e+01 | 4.800000e+01 | 5.15%
70.37/70.46 c 70.5s| 24400 | 9566 |514061 | 20.9 | 34M| 80 | 111 | 607 | 958 | 607 |1016 | 141 | 101 |3851 | 4.565000e+01 | 4.800000e+01 | 5.15%
70.67/70.73 c 70.7s| 24500 | 9610 |516723 | 20.9 | 35M| 80 | 117 | 607 | 958 | 607 |1016 | 141 | 101 |3852 | 4.565000e+01 | 4.800000e+01 | 5.15%
70.86/70.98 c 71.0s| 24600 | 9648 |519569 | 21.0 | 35M| 80 | - | 607 | 958 | 607 |1016 | 141 | 101 |3855 | 4.565000e+01 | 4.800000e+01 | 5.15%
71.16/71.21 c 71.2s| 24700 | 9686 |521684 | 21.0 | 35M| 80 | 111 | 607 | 958 | 607 |1016 | 141 | 101 |3858 | 4.565179e+01 | 4.800000e+01 | 5.14%
71.16/71.26 o 47
71.16/71.26 c v71.3s| 24708 | 857 |522133 | 21.0 | 11M| 80 | - | 607 | 958 | 607 |1016 | 141 | 101 |3858 | 4.565179e+01 | 4.700000e+01 | 2.95%
71.26/71.37 c 71.4s| 24800 | 855 |523022 | 20.9 | 11M| 80 | - | 607 | 958 | 607 |1016 | 141 | 103 |3858 | 4.565476e+01 | 4.700000e+01 | 2.95%
71.36/71.48 c 71.5s| 24900 | 851 |523901 | 20.9 | 11M| 80 | - | 607 | 958 | 607 |1016 | 141 | 103 |3859 | 4.565476e+01 | 4.700000e+01 | 2.95%
71.56/71.60 c 71.6s| 25000 | 837 |524717 | 20.8 | 11M| 80 | 140 | 607 | 958 | 607 |1016 | 141 | 104 |3859 | 4.565476e+01 | 4.700000e+01 | 2.95%
71.66/71.79 c 71.8s| 25100 | 829 |526670 | 20.8 | 11M| 80 | - | 607 | 959 | 607 |1016 | 141 | 107 |3859 | 4.565476e+01 | 4.700000e+01 | 2.95%
71.86/71.92 c 71.9s| 25200 | 819 |527710 | 20.8 | 11M| 80 | - | 607 | 958 | 607 |1016 | 141 | 107 |3859 | 4.565476e+01 | 4.700000e+01 | 2.95%
71.96/72.01 c 72.0s| 25300 | 813 |528316 | 20.7 | 11M| 80 | 139 | 607 | 958 | 607 |1016 | 141 | 109 |3859 | 4.565476e+01 | 4.700000e+01 | 2.95%
72.06/72.14 c 72.1s| 25400 | 809 |529329 | 20.7 | 11M| 80 | - | 607 | 958 | 607 |1016 | 141 | 110 |3859 | 4.565476e+01 | 4.700000e+01 | 2.95%
72.16/72.28 c 72.3s| 25500 | 807 |530572 | 20.7 | 11M| 80 | - | 607 | 959 | 607 |1016 | 141 | 111 |3859 | 4.565476e+01 | 4.700000e+01 | 2.95%
72.26/72.38 c 72.4s| 25600 | 795 |531299 | 20.6 | 11M| 80 | 143 | 607 | 958 | 607 |1016 | 141 | 112 |3859 | 4.565517e+01 | 4.700000e+01 | 2.95%
72.36/72.50 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
72.36/72.50 c 72.5s| 25700 | 785 |532126 | 20.6 | 11M| 80 | - | 607 | 958 | 607 |1016 | 141 | 114 |3859 | 4.565733e+01 | 4.700000e+01 | 2.94%
72.56/72.62 c 72.6s| 25800 | 761 |533140 | 20.5 | 11M| 80 | 150 | 607 | 958 | 607 |1016 | 141 | 116 |3859 | 4.565909e+01 | 4.700000e+01 | 2.94%
72.66/72.72 c 72.7s| 25900 | 749 |533952 | 20.5 | 11M| 80 | 138 | 607 | 958 | 607 |1016 | 141 | 117 |3859 | 4.566133e+01 | 4.700000e+01 | 2.93%
72.76/72.83 c 72.8s| 26000 | 737 |534760 | 20.4 | 11M| 80 | - | 607 | 958 | 607 |1016 | 141 | 119 |3859 | 4.566518e+01 | 4.700000e+01 | 2.92%
72.86/72.95 c 72.9s| 26100 | 717 |535665 | 20.4 | 12M| 80 | - | 607 | 958 | 607 |1016 | 141 | 121 |3860 | 4.566637e+01 | 4.700000e+01 | 2.92%
73.06/73.10 c 73.1s| 26200 | 701 |536448 | 20.3 | 12M| 80 | 149 | 607 | 958 | 607 |1016 | 141 | 123 |3860 | 4.566637e+01 | 4.700000e+01 | 2.92%
73.06/73.19 c 73.2s| 26300 | 701 |537001 | 20.3 | 12M| 80 | 143 | 607 | 958 | 607 |1016 | 141 | 124 |3860 | 4.566637e+01 | 4.700000e+01 | 2.92%
73.26/73.31 c 73.3s| 26400 | 695 |538057 | 20.2 | 12M| 80 | 119 | 607 | 959 | 607 |1016 | 141 | 126 |3860 | 4.566667e+01 | 4.700000e+01 | 2.92%
73.36/73.47 c 73.5s| 26500 | 697 |539881 | 20.2 | 12M| 80 | - | 607 | 959 | 607 |1016 | 141 | 126 |3860 | 4.566667e+01 | 4.700000e+01 | 2.92%
73.46/73.58 c 73.6s| 26600 | 687 |540679 | 20.2 | 12M| 80 | - | 607 | 958 | 607 |1016 | 141 | 129 |3862 | 4.566667e+01 | 4.700000e+01 | 2.92%
73.66/73.73 c 73.7s| 26700 | 679 |542263 | 20.2 | 12M| 80 | - | 607 | 958 | 607 |1016 | 141 | 129 |3863 | 4.566667e+01 | 4.700000e+01 | 2.92%
73.76/73.84 c 73.8s| 26800 | 673 |543029 | 20.1 | 12M| 80 | - | 607 | 958 | 607 |1016 | 141 | 132 |3863 | 4.566667e+01 | 4.700000e+01 | 2.92%
73.96/74.05 c 74.1s| 26900 | 677 |545281 | 20.1 | 12M| 80 | - | 607 | 958 | 607 |1016 | 141 | 133 |3869 | 4.566667e+01 | 4.700000e+01 | 2.92%
74.06/74.17 c 74.2s| 27000 | 673 |546377 | 20.1 | 12M| 80 | - | 607 | 958 | 607 |1016 | 141 | 133 |3869 | 4.566667e+01 | 4.700000e+01 | 2.92%
74.16/74.28 c 74.3s| 27100 | 673 |547265 | 20.1 | 12M| 80 | 171 | 607 | 958 | 607 |1016 | 141 | 135 |3869 | 4.566667e+01 | 4.700000e+01 | 2.92%
74.26/74.38 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
74.26/74.38 c 74.4s| 27200 | 675 |548039 | 20.0 | 12M| 80 | 140 | 607 | 958 | 607 |1016 | 141 | 136 |3870 | 4.566667e+01 | 4.700000e+01 | 2.92%
74.46/74.50 c 74.5s| 27300 | 679 |549100 | 20.0 | 12M| 80 | 168 | 607 | 958 | 607 |1016 | 141 | 136 |3870 | 4.566667e+01 | 4.700000e+01 | 2.92%
74.56/74.68 c 74.7s| 27400 | 673 |550980 | 20.0 | 12M| 80 | - | 607 | 958 | 607 |1016 | 141 | 137 |3870 | 4.566667e+01 | 4.700000e+01 | 2.92%
74.66/74.80 c 74.8s| 27500 | 667 |551902 | 19.9 | 12M| 80 | - | 607 | 958 | 607 |1016 | 141 | 137 |3870 | 4.566667e+01 | 4.700000e+01 | 2.92%
74.86/74.90 c 74.9s| 27600 | 669 |552582 | 19.9 | 12M| 80 | - | 607 | 958 | 607 |1016 | 141 | 137 |3870 | 4.566667e+01 | 4.700000e+01 | 2.92%
74.86/74.99 c 75.0s| 27700 | 679 |553200 | 19.8 | 12M| 80 | 147 | 607 | 958 | 607 |1016 | 141 | 138 |3870 | 4.566667e+01 | 4.700000e+01 | 2.92%
75.06/75.10 c 75.1s| 27800 | 691 |553865 | 19.8 | 12M| 80 | 157 | 607 | 958 | 607 |1016 | 141 | 138 |3870 | 4.566667e+01 | 4.700000e+01 | 2.92%
75.16/75.21 c 75.2s| 27900 | 677 |554580 | 19.7 | 12M| 80 | - | 607 | 958 | 607 |1016 | 141 | 141 |3872 | 4.566667e+01 | 4.700000e+01 | 2.92%
75.26/75.32 c 75.3s| 28000 | 669 |555546 | 19.7 | 12M| 80 | - | 607 | 958 | 607 |1016 | 141 | 141 |3872 | 4.566667e+01 | 4.700000e+01 | 2.92%
75.36/75.45 c 75.5s| 28100 | 663 |556802 | 19.7 | 12M| 80 | - | 607 | 958 | 607 |1016 | 141 | 143 |3872 | 4.566667e+01 | 4.700000e+01 | 2.92%
75.46/75.54 c 75.5s| 28200 | 663 |557357 | 19.6 | 12M| 80 | - | 607 | 958 | 607 |1016 | 141 | 143 |3872 | 4.567027e+01 | 4.700000e+01 | 2.91%
75.56/75.64 c 75.6s| 28300 | 661 |558122 | 19.6 | 12M| 80 | 120 | 607 | 959 | 607 |1016 | 141 | 145 |3872 | 4.567222e+01 | 4.700000e+01 | 2.91%
75.66/75.78 c 75.8s| 28400 | 647 |559431 | 19.6 | 12M| 80 | - | 607 | 958 | 607 |1016 | 141 | 145 |3872 | 4.567742e+01 | 4.700000e+01 | 2.90%
75.86/75.90 c 75.9s| 28500 | 641 |560550 | 19.5 | 12M| 80 | 132 | 607 | 958 | 607 |1016 | 141 | 145 |3872 | 4.567857e+01 | 4.700000e+01 | 2.89%
75.96/76.05 c 76.0s| 28600 | 635 |561981 | 19.5 | 12M| 80 | - | 607 | 958 | 607 |1016 | 141 | 147 |3872 | 4.567857e+01 | 4.700000e+01 | 2.89%
76.06/76.18 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
76.06/76.18 c 76.2s| 28700 | 635 |563280 | 19.5 | 12M| 80 | 127 | 607 | 958 | 607 |1016 | 141 | 147 |3872 | 4.568182e+01 | 4.700000e+01 | 2.89%
76.26/76.37 c 76.4s| 28800 | 617 |565371 | 19.5 | 12M| 80 | - | 607 | 958 | 607 |1016 | 141 | 148 |3872 | 4.568750e+01 | 4.700000e+01 | 2.87%
76.46/76.50 c 76.5s| 28900 | 619 |566480 | 19.5 | 12M| 80 | 124 | 607 | 958 | 607 |1016 | 141 | 148 |3872 | 4.569298e+01 | 4.700000e+01 | 2.86%
76.55/76.65 c 76.6s| 29000 | 617 |567885 | 19.4 | 12M| 80 | 138 | 607 | 958 | 607 |1016 | 141 | 148 |3872 | 4.569643e+01 | 4.700000e+01 | 2.85%
76.65/76.75 c 76.7s| 29100 | 613 |568648 | 19.4 | 12M| 80 | - | 607 | 958 | 607 |1016 | 141 | 148 |3872 | 4.569643e+01 | 4.700000e+01 | 2.85%
76.75/76.84 c 76.8s| 29200 | 601 |569273 | 19.4 | 12M| 80 | - | 607 | 958 | 607 |1016 | 141 | 151 |3872 | 4.570000e+01 | 4.700000e+01 | 2.84%
76.86/76.97 c 77.0s| 29300 | 603 |570433 | 19.3 | 12M| 80 | 130 | 607 | 958 | 607 |1016 | 141 | 152 |3872 | 4.570000e+01 | 4.700000e+01 | 2.84%
77.06/77.12 c 77.1s| 29400 | 603 |571967 | 19.3 | 12M| 80 | - | 607 | 958 | 607 |1016 | 141 | 153 |3872 | 4.570000e+01 | 4.700000e+01 | 2.84%
77.16/77.23 c 77.2s| 29500 | 599 |572879 | 19.3 | 12M| 80 | 131 | 607 | 959 | 607 |1016 | 141 | 154 |3872 | 4.570000e+01 | 4.700000e+01 | 2.84%
77.26/77.33 c 77.3s| 29600 | 595 |573756 | 19.3 | 12M| 80 | - | 607 | 958 | 607 |1016 | 141 | 154 |3872 | 4.571429e+01 | 4.700000e+01 | 2.81%
77.36/77.44 c 77.4s| 29700 | 589 |574619 | 19.2 | 12M| 80 | - | 607 | 958 | 607 |1016 | 141 | 155 |3872 | 4.573077e+01 | 4.700000e+01 | 2.78%
77.46/77.57 c 77.6s| 29800 | 585 |575839 | 19.2 | 12M| 80 | - | 607 | 958 | 607 |1016 | 141 | 155 |3872 | 4.573233e+01 | 4.700000e+01 | 2.77%
77.55/77.69 c 77.7s| 29900 | 573 |576843 | 19.2 | 12M| 80 | - | 607 | 959 | 0 | 0 | 141 | 159 |3872 | 4.573333e+01 | 4.700000e+01 | 2.77%
77.75/77.81 c 77.8s| 30000 | 579 |578051 | 19.1 | 12M| 80 | 137 | 607 | 958 | 607 |1016 | 141 | 159 |3872 | 4.573810e+01 | 4.700000e+01 | 2.76%
77.85/77.96 c 78.0s| 30100 | 575 |579432 | 19.1 | 12M| 80 | - | 607 | 958 | 607 |1016 | 141 | 160 |3873 | 4.574487e+01 | 4.700000e+01 | 2.74%
77.96/78.08 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
77.96/78.08 c 78.1s| 30200 | 579 |580497 | 19.1 | 12M| 80 | - | 607 | 958 | 607 |1016 | 141 | 160 |3873 | 4.574487e+01 | 4.700000e+01 | 2.74%
78.07/78.19 c 78.2s| 30300 | 573 |581406 | 19.1 | 12M| 80 | 120 | 607 | 958 | 607 |1016 | 141 | 160 |3873 | 4.575000e+01 | 4.700000e+01 | 2.73%
78.26/78.33 c 78.3s| 30400 | 577 |582878 | 19.0 | 12M| 80 | - | 607 | 958 | 607 |1016 | 141 | 160 |3873 | 4.575000e+01 | 4.700000e+01 | 2.73%
78.35/78.49 c 78.5s| 30500 | 573 |584493 | 19.0 | 12M| 80 | 130 | 607 | 958 | 607 |1016 | 141 | 160 |3873 | 4.575000e+01 | 4.700000e+01 | 2.73%
78.55/78.63 c 78.6s| 30600 | 571 |585836 | 19.0 | 12M| 80 | - | 607 | 958 | 607 |1016 | 141 | 161 |3873 | 4.575000e+01 | 4.700000e+01 | 2.73%
78.65/78.75 c 78.8s| 30700 | 561 |586938 | 19.0 | 12M| 80 | - | 607 | 958 | 607 |1016 | 141 | 164 |3873 | 4.575000e+01 | 4.700000e+01 | 2.73%
78.85/78.90 c 78.9s| 30800 | 559 |588382 | 19.0 | 12M| 80 | 147 | 607 | 958 | 607 |1016 | 141 | 164 |3873 | 4.575000e+01 | 4.700000e+01 | 2.73%
78.95/79.04 c 79.0s| 30900 | 563 |589862 | 19.0 | 12M| 80 | 134 | 607 | 958 | 607 |1016 | 141 | 164 |3873 | 4.575000e+01 | 4.700000e+01 | 2.73%
79.06/79.20 c 79.2s| 31000 | 565 |590887 | 18.9 | 12M| 80 | - | 607 | 958 | 607 |1016 | 141 | 164 |3877 | 4.575000e+01 | 4.700000e+01 | 2.73%
79.26/79.36 c 79.4s| 31100 | 567 |592460 | 18.9 | 12M| 80 | 135 | 607 | 958 | 607 |1016 | 141 | 164 |3877 | 4.575000e+01 | 4.700000e+01 | 2.73%
79.35/79.48 c 79.5s| 31200 | 561 |593568 | 18.9 | 12M| 80 | - | 607 | 958 | 607 |1016 | 141 | 164 |3877 | 4.575000e+01 | 4.700000e+01 | 2.73%
79.45/79.57 c 79.6s| 31300 | 545 |594242 | 18.9 | 12M| 80 | - | 607 | 958 | 607 |1016 | 141 | 168 |3877 | 4.575000e+01 | 4.700000e+01 | 2.73%
79.65/79.71 c 79.7s| 31400 | 541 |595563 | 18.8 | 12M| 80 | 124 | 607 | 958 | 607 |1016 | 141 | 169 |3877 | 4.575000e+01 | 4.700000e+01 | 2.73%
79.76/79.83 c 79.8s| 31500 | 535 |596796 | 18.8 | 12M| 80 | 137 | 607 | 958 | 607 |1016 | 141 | 169 |3877 | 4.575000e+01 | 4.700000e+01 | 2.73%
79.86/79.96 c 80.0s| 31600 | 527 |598165 | 18.8 | 12M| 80 | 131 | 607 | 958 | 607 |1016 | 141 | 169 |3877 | 4.575000e+01 | 4.700000e+01 | 2.73%
79.96/80.08 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
79.96/80.08 c 80.1s| 31700 | 529 |599193 | 18.8 | 12M| 80 | - | 607 | 958 | 607 |1016 | 141 | 170 |3877 | 4.575000e+01 | 4.700000e+01 | 2.73%
80.05/80.18 c 80.2s| 31800 | 527 |600073 | 18.7 | 12M| 80 | - | 607 | 958 | 607 |1016 | 141 | 170 |3877 | 4.575000e+01 | 4.700000e+01 | 2.73%
80.26/80.31 c 80.3s| 31900 | 531 |601305 | 18.7 | 12M| 80 | - | 607 | 958 | 607 |1016 | 141 | 170 |3877 | 4.575000e+01 | 4.700000e+01 | 2.73%
80.35/80.41 c 80.4s| 32000 | 537 |602215 | 18.7 | 12M| 80 | 131 | 607 | 958 | 607 |1016 | 141 | 170 |3877 | 4.575000e+01 | 4.700000e+01 | 2.73%
80.45/80.51 c 80.5s| 32100 | 535 |603052 | 18.7 | 12M| 80 | - | 607 | 958 | 607 |1016 | 141 | 171 |3877 | 4.575000e+01 | 4.700000e+01 | 2.73%
80.55/80.69 c 80.7s| 32200 | 533 |605074 | 18.7 | 12M| 80 | - | 607 | 958 | 607 |1016 | 141 | 171 |3877 | 4.575000e+01 | 4.700000e+01 | 2.73%
80.86/80.95 c 81.0s| 32300 | 545 |607999 | 18.7 | 12M| 80 | - | 607 | 958 | 607 |1016 | 141 | 171 |3884 | 4.575000e+01 | 4.700000e+01 | 2.73%
81.06/81.12 c 81.1s| 32400 | 549 |609438 | 18.7 | 12M| 80 | 137 | 607 | 958 | 607 |1016 | 141 | 171 |3886 | 4.575000e+01 | 4.700000e+01 | 2.73%
81.15/81.28 c 81.3s| 32500 | 547 |610930 | 18.7 | 12M| 80 | 183 | 607 | 958 | 607 |1016 | 141 | 172 |3886 | 4.575000e+01 | 4.700000e+01 | 2.73%
81.36/81.43 c 81.4s| 32600 | 541 |612363 | 18.7 | 12M| 80 | 119 | 607 | 958 | 607 |1016 | 141 | 174 |3886 | 4.575000e+01 | 4.700000e+01 | 2.73%
81.45/81.57 c 81.6s| 32700 | 535 |613684 | 18.6 | 12M| 80 | 141 | 607 | 958 | 607 |1016 | 141 | 174 |3886 | 4.575641e+01 | 4.700000e+01 | 2.72%
81.65/81.73 c 81.7s| 32800 | 541 |615390 | 18.6 | 12M| 80 | 115 | 607 | 958 | 607 |1016 | 141 | 174 |3886 | 4.575641e+01 | 4.700000e+01 | 2.72%
81.75/81.83 c 81.8s| 32900 | 527 |616146 | 18.6 | 12M| 80 | - | 607 | 958 | 607 |1016 | 141 | 176 |3886 | 4.576042e+01 | 4.700000e+01 | 2.71%
81.86/81.93 c 81.9s| 33000 | 521 |616919 | 18.6 | 12M| 80 | 127 | 607 | 958 | 607 |1016 | 141 | 179 |3886 | 4.576093e+01 | 4.700000e+01 | 2.71%
81.96/82.05 c 82.1s| 33100 | 523 |618096 | 18.6 | 12M| 80 | 109 | 607 | 958 | 607 |1016 | 141 | 179 |3886 | 4.576282e+01 | 4.700000e+01 | 2.70%
82.06/82.18 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
82.06/82.18 c 82.2s| 33200 | 517 |619352 | 18.5 | 12M| 80 | - | 607 | 958 | 607 |1016 | 141 | 180 |3886 | 4.576512e+01 | 4.700000e+01 | 2.70%
82.25/82.30 c 82.3s| 33300 | 501 |620463 | 18.5 | 12M| 80 | 177 | 607 | 958 | 607 |1016 | 141 | 182 |3886 | 4.576667e+01 | 4.700000e+01 | 2.69%
82.36/82.47 c 82.5s| 33400 | 493 |622224 | 18.5 | 12M| 80 | 144 | 607 | 958 | 607 |1016 | 141 | 182 |3886 | 4.576852e+01 | 4.700000e+01 | 2.69%
82.55/82.69 c 82.7s| 33500 | 497 |624706 | 18.5 | 12M| 80 | 112 | 607 | 958 | 607 |1016 | 141 | 182 |3889 | 4.576852e+01 | 4.700000e+01 | 2.69%
82.76/82.81 c 82.8s| 33600 | 493 |625842 | 18.5 | 12M| 80 | 128 | 607 | 958 | 607 |1016 | 141 | 182 |3889 | 4.577721e+01 | 4.700000e+01 | 2.67%
82.86/82.94 c 82.9s| 33700 | 493 |627164 | 18.5 | 12M| 80 | 130 | 607 | 958 | 607 |1016 | 141 | 182 |3889 | 4.577976e+01 | 4.700000e+01 | 2.67%
82.95/83.09 c 83.1s| 33800 | 493 |628562 | 18.5 | 12M| 80 | 157 | 607 | 958 | 607 |1016 | 141 | 182 |3889 | 4.578333e+01 | 4.700000e+01 | 2.66%
83.15/83.20 c 83.2s| 33900 | 487 |629468 | 18.5 | 12M| 80 | - | 607 | 958 | 607 |1016 | 141 | 182 |3889 | 4.579167e+01 | 4.700000e+01 | 2.64%
83.25/83.33 c 83.3s| 34000 | 483 |630659 | 18.4 | 12M| 80 | 147 | 607 | 958 | 607 |1016 | 141 | 182 |3889 | 4.579167e+01 | 4.700000e+01 | 2.64%
83.35/83.43 c 83.4s| 34100 | 469 |631433 | 18.4 | 12M| 80 | - | 607 | 958 | 607 |1016 | 141 | 183 |3889 | 4.579566e+01 | 4.700000e+01 | 2.63%
83.46/83.56 c 83.6s| 34200 | 463 |632516 | 18.4 | 12M| 80 | 126 | 607 | 958 | 607 |1016 | 141 | 183 |3893 | 4.580000e+01 | 4.700000e+01 | 2.62%
83.56/83.68 c 83.7s| 34300 | 465 |633705 | 18.4 | 12M| 80 | 145 | 607 | 958 | 607 |1016 | 141 | 183 |3894 | 4.580000e+01 | 4.700000e+01 | 2.62%
83.76/83.88 c 83.9s| 34400 | 469 |635771 | 18.4 | 12M| 80 | - | 607 | 958 | 607 |1016 | 141 | 183 |3894 | 4.580000e+01 | 4.700000e+01 | 2.62%
83.86/83.99 c 84.0s| 34500 | 435 |636617 | 18.3 | 12M| 80 | - | 607 | 959 | 607 |1016 | 141 | 188 |3895 | 4.580238e+01 | 4.700000e+01 | 2.61%
84.05/84.10 c 84.1s| 34600 | 429 |637567 | 18.3 | 12M| 80 | 122 | 607 | 959 | 607 |1016 | 141 | 191 |3895 | 4.580455e+01 | 4.700000e+01 | 2.61%
84.15/84.23 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
84.15/84.23 c 84.2s| 34700 | 435 |638940 | 18.3 | 12M| 80 | 124 | 607 | 959 | 607 |1016 | 141 | 191 |3895 | 4.580556e+01 | 4.700000e+01 | 2.61%
84.26/84.34 c 84.3s| 34800 | 405 |639781 | 18.3 | 12M| 80 | 166 | 607 | 958 | 607 |1016 | 141 | 192 |3895 | 4.582143e+01 | 4.700000e+01 | 2.57%
84.36/84.49 c 84.5s| 34900 | 409 |641374 | 18.3 | 12M| 80 | 130 | 607 | 958 | 607 |1016 | 141 | 192 |3895 | 4.582143e+01 | 4.700000e+01 | 2.57%
84.56/84.61 c 84.6s| 35000 | 399 |642301 | 18.2 | 12M| 80 | 149 | 607 | 958 | 607 |1016 | 141 | 192 |3895 | 4.582143e+01 | 4.700000e+01 | 2.57%
84.66/84.74 c 84.7s| 35100 | 407 |643680 | 18.2 | 12M| 80 | - | 607 | 958 | 607 |1016 | 141 | 193 |3895 | 4.582143e+01 | 4.700000e+01 | 2.57%
84.75/84.88 c 84.9s| 35200 | 409 |644953 | 18.2 | 12M| 80 | - | 607 | 959 | 607 |1016 | 141 | 194 |3895 | 4.582711e+01 | 4.700000e+01 | 2.56%
84.95/85.03 c 85.0s| 35300 | 385 |646544 | 18.2 | 12M| 80 | 144 | 607 | 958 | 607 |1016 | 141 | 194 |3895 | 4.583333e+01 | 4.700000e+01 | 2.55%
85.06/85.16 c 85.2s| 35400 | 379 |647690 | 18.2 | 12M| 80 | - | 607 | 958 | 607 |1016 | 141 | 194 |3895 | 4.583333e+01 | 4.700000e+01 | 2.55%
85.16/85.26 c 85.3s| 35500 | 377 |648552 | 18.2 | 12M| 80 | - | 607 | 958 | 607 |1016 | 141 | 194 |3895 | 4.583333e+01 | 4.700000e+01 | 2.55%
85.26/85.37 c 85.4s| 35600 | 339 |649403 | 18.1 | 12M| 80 | 133 | 607 | 958 | 607 |1016 | 141 | 197 |3896 | 4.583333e+01 | 4.700000e+01 | 2.55%
85.36/85.47 c 85.5s| 35700 | 323 |650241 | 18.1 | 12M| 80 | 147 | 607 | 958 | 607 |1016 | 141 | 199 |3896 | 4.583333e+01 | 4.700000e+01 | 2.55%
85.55/85.61 c 85.6s| 35800 | 309 |651572 | 18.1 | 12M| 80 | - | 607 | 958 | 607 |1016 | 141 | 199 |3896 | 4.583333e+01 | 4.700000e+01 | 2.55%
85.65/85.71 c 85.7s| 35900 | 297 |652259 | 18.1 | 12M| 80 | 134 | 607 | 958 | 607 |1016 | 141 | 199 |3896 | 4.583438e+01 | 4.700000e+01 | 2.54%
85.76/85.84 c 85.8s| 36000 | 285 |653625 | 18.0 | 11M| 80 | - | 607 | 958 | 607 |1016 | 141 | 199 |3896 | 4.583824e+01 | 4.700000e+01 | 2.53%
85.86/85.98 c 86.0s| 36100 | 273 |655045 | 18.0 | 11M| 80 | 133 | 607 | 958 | 607 |1016 | 141 | 201 |3896 | 4.584583e+01 | 4.700000e+01 | 2.52%
86.06/86.14 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
86.06/86.14 c 86.1s| 36200 | 277 |656610 | 18.0 | 11M| 80 | - | 607 | 958 | 607 |1016 | 141 | 201 |3896 | 4.584583e+01 | 4.700000e+01 | 2.52%
86.15/86.27 c 86.3s| 36300 | 279 |657928 | 18.0 | 11M| 80 | - | 607 | 958 | 607 |1016 | 141 | 202 |3896 | 4.585000e+01 | 4.700000e+01 | 2.51%
86.35/86.47 c 86.5s| 36400 | 279 |660013 | 18.0 | 11M| 80 | - | 607 | 958 | 607 |1016 | 141 | 202 |3896 | 4.585000e+01 | 4.700000e+01 | 2.51%
86.55/86.62 c 86.6s| 36500 | 267 |661557 | 18.0 | 11M| 80 | - | 607 | 958 | 607 |1016 | 141 | 202 |3896 | 4.585000e+01 | 4.700000e+01 | 2.51%
86.65/86.75 c 86.7s| 36600 | 245 |662685 | 18.0 | 11M| 80 | - | 607 | 958 | 607 |1016 | 141 | 204 |3896 | 4.585304e+01 | 4.700000e+01 | 2.50%
86.86/86.97 c 87.0s| 36700 | 249 |665244 | 18.0 | 11M| 80 | - | 607 | 958 | 607 |1016 | 141 | 204 |3898 | 4.586667e+01 | 4.700000e+01 | 2.47%
87.05/87.15 c 87.2s| 36800 | 243 |667244 | 18.0 | 11M| 80 | - | 607 | 958 | 607 |1016 | 141 | 204 |3899 | 4.587500e+01 | 4.700000e+01 | 2.45%
87.15/87.28 c 87.3s| 36900 | 207 |668364 | 18.0 | 11M| 80 | - | 607 | 958 | 607 |1016 | 141 | 206 |3901 | 4.588690e+01 | 4.700000e+01 | 2.43%
87.36/87.44 c 87.4s| 37000 | 167 |670043 | 18.0 | 11M| 80 | - | 607 | 958 | 607 |1016 | 141 | 206 |3901 | 4.590000e+01 | 4.700000e+01 | 2.40%
87.56/87.67 c 87.7s| 37100 | 149 |671527 | 18.0 | 11M| 80 | - | 607 | 958 | 607 |1016 | 141 | 206 |3925 | 4.590476e+01 | 4.700000e+01 | 2.39%
87.75/87.85 c 87.8s| 37200 | 109 |673299 | 18.0 | 11M| 80 | - | 607 | 958 | 607 |1016 | 141 | 207 |3935 | 4.591667e+01 | 4.700000e+01 | 2.36%
87.96/88.01 c 88.0s| 37300 | 109 |674759 | 18.0 | 11M| 80 | 141 | 607 | 959 | 607 |1016 | 141 | 208 |3947 | 4.591737e+01 | 4.700000e+01 | 2.36%
88.06/88.18 c 88.2s| 37400 | 81 |675438 | 18.0 | 11M| 80 | 136 | 607 | 959 | 607 |1016 | 141 | 211 |3961 | 4.593750e+01 | 4.700000e+01 | 2.31%
88.25/88.32 c 88.3s| 37500 | 77 |676469 | 17.9 | 11M| 80 | 138 | 607 | 958 | 607 |1016 | 141 | 211 |3971 | 4.593750e+01 | 4.700000e+01 | 2.31%
88.45/88.59 c 88.6s| 37600 | 81 |678454 | 17.9 | 11M| 80 | 133 | 607 | 958 | 607 |1016 | 141 | 211 |4012 | 4.593750e+01 | 4.700000e+01 | 2.31%
88.65/88.73 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
88.65/88.73 c 88.7s| 37700 | 87 |679943 | 17.9 | 11M| 80 | 119 | 607 | 958 | 607 |1016 | 141 | 211 |4012 | 4.593750e+01 | 4.700000e+01 | 2.31%
88.86/88.90 c 88.9s| 37800 | 91 |681322 | 17.9 | 11M| 80 | - | 607 | 958 | 607 |1016 | 141 | 212 |4027 | 4.593750e+01 | 4.700000e+01 | 2.31%
89.06/89.16 c 89.2s| 37900 | 91 |683443 | 17.9 | 11M| 80 | 132 | 607 | 958 | 607 |1016 | 141 | 212 |4058 | 4.594792e+01 | 4.700000e+01 | 2.29%
89.26/89.34 c 89.3s| 38000 | 45 |685159 | 17.9 | 11M| 80 | 125 | 607 | 958 | 607 |1016 | 141 | 212 |4066 | 4.595833e+01 | 4.700000e+01 | 2.27%
89.45/89.55 c 89.5s| 38100 | 19 |686708 | 17.9 | 10M| 80 | - | 607 | 958 | 607 |1016 | 141 | 212 |4092 | 4.595833e+01 | 4.700000e+01 | 2.27%
89.55/89.67 c
89.55/89.67 c SCIP Status : problem is solved [optimal solution found]
89.55/89.67 c Solving Time (sec) : 89.67
89.55/89.67 c Solving Nodes : 38191
89.55/89.67 c Primal Bound : +4.70000000000000e+01 (64 solutions)
89.55/89.67 c Dual Bound : +4.70000000000000e+01
89.55/89.67 c Gap : 0.00 %
89.55/89.67 s OPTIMUM FOUND
89.55/89.67 v -x607 -x606 -x605 -x604 -x603 -x602 -x601 -x600 -x599 -x598 -x597 -x596 -x595 -x594 -x593 -x592 -x591 -x590 -x589 -x588 -x587 -x586
89.55/89.67 v -x585 -x584 -x583 -x582 -x581 -x580 -x579 -x578 -x577 -x576 -x575 -x574 -x573 -x572 -x571 -x570 -x569 -x568 -x567 -x566
89.55/89.67 v -x565 -x564 -x563 -x562 -x561 -x560 -x559 -x558 -x557 -x556 -x555 -x554 -x553 -x552 -x551 -x550 -x549 -x548 -x547 -x546 -x545
89.55/89.67 v -x544 -x543 -x542 -x541 -x540 -x539 -x538 -x537 -x536 -x535 -x534 -x533 -x532 -x531 -x530 -x529 -x528 -x527 -x526 -x525 -x524
89.55/89.67 v -x523 -x522 -x521 -x520 -x519 -x518 -x517 x516 -x515 -x514 -x513 -x512 -x511 -x510 -x509 -x508 -x507 -x506 -x505 -x504 -x503
89.55/89.67 v -x502 -x501 -x500 -x499 -x498 -x497 -x496 x495 -x494 -x493 -x492 -x491 -x490 -x489 -x488 -x487 -x486 -x485 -x484 -x483 -x482
89.55/89.67 v -x481 -x480 -x479 -x478 -x477 -x476 -x475 -x474 -x473 -x472 -x471 -x470 x469 -x468 -x467 x466 -x465 -x464 -x463 -x462 -x461
89.55/89.67 v -x460 -x459 -x458 -x457 -x456 -x455 x454 -x453 -x452 -x451 -x450 -x449 -x448 -x447 -x446 -x445 -x444 -x443 -x442 -x441 -x440
89.55/89.67 v -x439 -x438 -x437 -x436 -x435 -x434 x433 -x432 -x431 -x430 -x429 -x428 -x427 -x426 -x425 -x424 x423 x422 -x421 -x420 -x419 -x418
89.55/89.67 v -x417 -x416 -x415 -x414 x413 -x412 -x411 -x410 -x409 x408 -x407 -x406 -x405 -x404 -x403 -x402 -x401 -x400 -x399 -x398 -x397
89.55/89.67 v -x396 -x395 -x394 -x393 -x392 -x391 -x390 x389 -x388 -x387 -x386 -x385 -x384 -x383 -x382 -x381 -x380 -x379 -x378 x377 -x376
89.55/89.67 v -x375 -x374 -x373 -x372 -x371 -x370 -x369 -x368 -x367 -x366 -x365 -x364 -x363 -x362 -x361 -x360 -x359 -x358 -x357 -x356 -x355
89.55/89.67 v -x354 -x353 -x352 -x351 -x350 -x349 -x348 -x347 -x346 -x345 -x344 -x343 -x342 -x341 -x340 -x339 -x338 x337 -x336 -x335 -x334
89.55/89.67 v -x333 -x332 -x331 -x330 -x329 -x328 -x327 -x326 x325 -x324 -x323 -x322 -x321 -x320 -x319 -x318 x317 -x316 -x315 x314 -x313
89.55/89.67 v -x312 -x311 -x310 -x309 -x308 -x307 -x306 -x305 -x304 -x303 -x302 x301 -x300 -x299 -x298 -x297 -x296 -x295 -x294 -x293 -x292
89.55/89.67 v -x291 -x290 -x289 -x288 -x287 x286 -x285 -x284 -x283 -x282 -x281 x280 -x279 -x278 -x277 x276 -x275 -x274 -x273 -x272 -x271
89.55/89.67 v -x270 -x269 -x268 -x267 -x266 -x265 -x264 -x263 -x262 -x261 x260 -x259 -x258 -x257 -x256 -x255 -x254 -x253 -x252 -x251 -x250
89.55/89.67 v x249 -x248 -x247 -x246 -x245 -x244 -x243 -x242 -x241 -x240 -x239 x238 -x237 -x236 -x235 -x234 -x233 -x232 x231 -x230 -x229 -x228
89.55/89.67 v -x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216 x215 -x214 -x213 -x212 -x211 -x210 -x209 -x208 -x207
89.55/89.67 v -x206 -x205 -x204 x203 -x202 -x201 -x200 -x199 -x198 -x197 -x196 x195 -x194 -x193 -x192 -x191 x190 -x189 -x188 -x187 -x186
89.55/89.67 v -x185 -x184 -x183 -x182 x181 -x180 -x179 -x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 x169 -x168 -x167 -x166 -x165
89.55/89.67 v -x164 -x163 -x162 -x161 -x160 -x159 x158 -x157 -x156 -x155 -x154 -x153 -x152 x151 -x150 -x149 -x148 -x147 -x146 -x145 -x144
89.55/89.67 v -x143 -x142 -x141 x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 x130 -x129 -x128 -x127 -x126 -x125 -x124 -x123 -x122
89.55/89.67 v -x121 -x120 -x119 x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 x110 -x109 -x108 -x107 -x106 x105 -x104 -x103 -x102 -x101
89.55/89.67 v -x100 -x99 -x98 -x97 -x96 x95 -x94 -x93 -x92 -x91 x90 -x89 -x88 -x87 -x86 -x85 -x84 -x83 -x82 -x81 -x80 -x79 -x78 -x77 -x76
89.55/89.67 v -x75 -x74 -x73 x72 -x71 -x70 -x69 -x68 -x67 -x66 -x65 -x64 -x63 x62 x61 -x60 -x59 -x58 -x57 -x56 -x55 -x54 -x53 -x52 -x51 -x50
89.55/89.67 v -x49 -x48 x47 -x46 -x45 -x44 -x43 -x42 -x41 -x40 -x39 -x38 -x37 -x36 -x35 x34 -x33 -x32 -x31 -x30 -x29 -x28 -x27 -x26 -x25
89.55/89.67 v -x24 x23 -x22 -x21 -x20 -x19 -x18 -x17 -x16 -x15 -x14 -x13 -x12 x11 x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2 -x1
89.55/89.67 c SCIP Status : problem is solved [optimal solution found]
89.55/89.67 c Total Time : 89.67
89.55/89.67 c solving : 89.67
89.55/89.67 c presolving : 0.03 (included in solving)
89.55/89.67 c reading : 0.01 (included in solving)
89.55/89.67 c copying : 0.12 (16 #copies) (minimal 0.01, maximal 0.01, average 0.01)
89.55/89.67 c Original Problem :
89.55/89.67 c Problem name : HOME/instance-3691968-1338031524.opb
89.55/89.67 c Variables : 607 (607 binary, 0 integer, 0 implicit integer, 0 continuous)
89.55/89.67 c Constraints : 1022 initial, 1022 maximal
89.55/89.67 c Objective sense : minimize
89.55/89.67 c Presolved Problem :
89.55/89.67 c Problem name : t_HOME/instance-3691968-1338031524.opb
89.55/89.67 c Variables : 607 (607 binary, 0 integer, 0 implicit integer, 0 continuous)
89.55/89.67 c Constraints : 958 initial, 960 maximal
89.55/89.67 c Presolvers : ExecTime SetupTime FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
89.55/89.67 c domcol : 0.00 0.00 0 0 0 0 0 0 0 0 0
89.55/89.67 c trivial : 0.00 0.00 0 0 0 0 0 0 0 0 0
89.55/89.67 c dualfix : 0.00 0.00 0 0 0 0 0 0 0 0 0
89.55/89.67 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0
89.55/89.67 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0
89.55/89.67 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0
89.55/89.67 c gateextraction : 0.00 0.00 0 0 0 0 0 0 0 0 0
89.55/89.67 c implics : 0.00 0.00 0 0 0 0 0 0 0 0 0
89.55/89.67 c components : 0.00 0.00 0 0 0 0 0 0 0 0 0
89.55/89.67 c pseudoobj : 0.00 0.00 0 0 0 0 0 0 0 0 0
89.55/89.67 c probing : 0.00 0.00 0 0 0 0 0 0 0 0 0
89.55/89.67 c linear : 0.01 0.00 0 0 0 0 0 64 0 0 0
89.55/89.67 c logicor : 0.01 0.00 0 0 0 0 0 0 0 0 0
89.55/89.67 c root node : - - 1 - - 1 - - - - -
89.55/89.67 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Conss Children
89.55/89.67 c integral : 0 0 0 0 24218 0 68 0 49 713 0 0 47622
89.55/89.67 c logicor : 958+ 960 21 31092 0 0 63 1068 212 11723 0 0 0
89.55/89.67 c countsols : 0 0 0 0 0 0 66 0 0 0 0 0 0
89.55/89.67 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS Check ResProp
89.55/89.67 c integral : 13.45 0.00 0.00 0.00 13.45 0.00 0.00 0.00
89.55/89.67 c logicor : 0.19 0.00 0.00 0.19 0.00 0.00 0.00 0.00
89.55/89.67 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
89.55/89.67 c Propagators : #Propagate #ResProp Cutoffs DomReds
89.55/89.67 c rootredcost : 3 0 0 0
89.55/89.67 c pseudoobj : 85742 0 0 0
89.55/89.67 c vbounds : 0 0 0 0
89.55/89.67 c redcost : 31706 0 0 540544
89.55/89.67 c probing : 0 0 0 0
89.55/89.67 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp
89.55/89.67 c rootredcost : 0.02 0.00 0.00 0.02 0.00
89.55/89.67 c pseudoobj : 0.07 0.00 0.00 0.07 0.00
89.55/89.67 c vbounds : 0.01 0.00 0.00 0.01 0.00
89.55/89.67 c redcost : 0.69 0.00 0.00 0.69 0.00
89.55/89.67 c probing : 0.00 0.00 0.00 0.00 0.00
89.55/89.67 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
89.55/89.67 c propagation : 0.00 212 212 212 13.9 0 0.0 -
89.55/89.67 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
89.55/89.67 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
89.55/89.67 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
89.55/89.67 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
89.55/89.67 c applied globally : - - - 212 13.9 - - -
89.55/89.67 c applied locally : - - - 0 0.0 - - -
89.55/89.67 c Separators : ExecTime SetupTime Calls Cutoffs DomReds Cuts Conss
89.55/89.67 c cut pool : 0.01 20 - - 311 - (maximal pool size: 1789)
89.55/89.67 c closecuts : 0.00 0.00 0 0 0 0 0
89.55/89.67 c impliedbounds : 0.00 0.00 22 0 0 0 0
89.55/89.67 c intobj : 0.00 0.00 0 0 0 0 0
89.55/89.67 c gomory : 0.05 0.00 10 0 0 500 0
89.55/89.67 c cgmip : 0.00 0.00 0 0 0 0 0
89.55/89.67 c strongcg : 0.80 0.00 20 0 0 8106 0
89.55/89.67 c cmir : 0.06 0.00 10 0 0 6 0
89.55/89.67 c flowcover : 0.12 0.00 10 0 0 9 0
89.55/89.67 c clique : 0.00 0.00 1 0 0 0 0
89.55/89.67 c zerohalf : 0.00 0.00 0 0 0 0 0
89.55/89.67 c mcf : 0.00 0.00 1 0 0 0 0
89.55/89.67 c oddcycle : 0.00 0.00 0 0 0 0 0
89.55/89.67 c rapidlearning : 0.00 0.00 0 0 0 0 0
89.55/89.67 c Pricers : ExecTime SetupTime Calls Vars
89.55/89.67 c problem variables: 0.00 - 0 0
89.55/89.67 c Branching Rules : ExecTime SetupTime Calls Cutoffs DomReds Cuts Conss Children
89.55/89.67 c relpscost : 13.43 0.00 24218 49 713 0 0 47622
89.55/89.67 c pscost : 0.00 0.00 0 0 0 0 0 0
89.55/89.67 c inference : 0.00 0.00 0 0 0 0 0 0
89.55/89.67 c mostinf : 0.00 0.00 0 0 0 0 0 0
89.55/89.67 c leastinf : 0.00 0.00 0 0 0 0 0 0
89.55/89.67 c fullstrong : 0.00 0.00 0 0 0 0 0 0
89.55/89.67 c allfullstrong : 0.00 0.00 0 0 0 0 0 0
89.55/89.67 c random : 0.00 0.00 0 0 0 0 0 0
89.55/89.67 c Primal Heuristics : ExecTime SetupTime Calls Found
89.55/89.67 c LP solutions : 0.00 - - 0
89.55/89.67 c pseudo solutions : 0.00 - - 0
89.55/89.67 c feaspump : 0.00 0.00 0 0
89.55/89.67 c oneopt : 0.01 0.00 6 1
89.55/89.67 c crossover : 0.89 0.00 12 12
89.55/89.67 c objpscostdiving : 0.79 0.00 27 2
89.55/89.67 c coefdiving : 1.97 0.00 84 0
89.55/89.67 c guideddiving : 3.16 0.00 86 0
89.55/89.67 c pscostdiving : 3.21 0.00 87 0
89.55/89.67 c fracdiving : 3.19 0.00 87 0
89.55/89.67 c linesearchdiving : 1.26 0.00 87 0
89.55/89.67 c veclendiving : 1.37 0.00 87 1
89.55/89.67 c rootsoldiving : 1.41 0.00 44 44
89.55/89.67 c smallcard : 0.00 0.00 0 0
89.55/89.67 c trivial : 0.00 0.00 2 3
89.55/89.67 c shiftandpropagate: 0.00 0.00 0 0
89.55/89.67 c simplerounding : 0.11 0.00 0 0
89.55/89.67 c zirounding : 0.07 0.00 1000 0
89.55/89.67 c rounding : 0.42 0.00 2148 0
89.55/89.67 c shifting : 0.15 0.00 640 0
89.55/89.67 c intshifting : 0.00 0.00 0 0
89.55/89.67 c twoopt : 0.00 0.00 0 0
89.55/89.67 c indtwoopt : 0.00 0.00 0 0
89.55/89.67 c indoneopt : 0.02 0.00 0 0
89.55/89.67 c fixandinfer : 0.00 0.00 0 0
89.55/89.67 c clique : 0.00 0.00 0 0
89.55/89.67 c indrounding : 0.00 0.00 0 0
89.55/89.67 c indcoefdiving : 0.00 0.00 0 0
89.55/89.67 c nlpdiving : 0.00 0.00 0 0
89.55/89.67 c intdiving : 0.00 0.00 0 0
89.55/89.67 c actconsdiving : 0.00 0.00 0 0
89.55/89.67 c octane : 0.00 0.00 0 0
89.55/89.67 c rens : 0.54 0.00 1 1
89.55/89.67 c rins : 0.00 0.00 0 0
89.55/89.67 c localbranching : 0.00 0.00 0 0
89.55/89.67 c mutation : 0.00 0.00 0 0
89.55/89.67 c dins : 0.00 0.00 0 0
89.55/89.67 c vbounds : 0.00 0.00 0 0
89.55/89.67 c undercover : 0.00 0.00 0 0
89.55/89.67 c subnlp : 0.01 0.00 0 0
89.55/89.67 c trysol : 0.01 0.00 0 0
89.55/89.67 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It
89.55/89.67 c primal LP : 0.00 3 0 0.00 - 0.00 3
89.55/89.67 c dual LP : 49.21 45906 553515 14.43 11247.86 1.92 7538
89.55/89.67 c lex dual LP : 0.00 0 0 0.00 -
89.55/89.67 c barrier LP : 0.00 0 0 0.00 - 0.00 0
89.55/89.67 c diving/probing LP: 13.44 20939 133921 6.40 9964.79
89.55/89.67 c strong branching : 12.63 4107 138578 33.74 10975.95
89.55/89.67 c (at root node) : - 33 3179 96.33 -
89.55/89.67 c conflict analysis: 0.00 0 0 0.00 -
89.55/89.67 c B&B Tree :
89.55/89.67 c number of runs : 1
89.55/89.67 c nodes : 38191
89.55/89.67 c nodes (total) : 38191
89.55/89.67 c nodes left : 0
89.55/89.67 c max depth : 80
89.55/89.67 c max depth (total): 80
89.55/89.67 c backtracks : 4839 (12.7%)
89.55/89.67 c delayed cutoffs : 0
89.55/89.67 c repropagations : 33 (16 domain reductions, 0 cutoffs)
89.55/89.67 c avg switch length: 5.61
89.55/89.67 c switching time : 1.13
89.55/89.67 c Solution :
89.55/89.67 c Solutions found : 64 (8 improvements)
89.55/89.67 c First Solution : +6.07000000000000e+02 (in run 1, after 0 nodes, 0.01 seconds, depth 0, found by <trivial>)
89.55/89.67 c Primal Bound : +4.70000000000000e+01 (in run 1, after 24708 nodes, 71.24 seconds, depth 61, found by <veclendiving>)
89.55/89.67 c Dual Bound : +4.70000000000000e+01
89.55/89.67 c Gap : 0.00 %
89.55/89.67 c Root Dual Bound : +4.52500000000000e+01
89.55/89.67 c Root Iterations : 3906
89.55/89.69 c Time complete: 89.64.
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3691968-1338031524/watcher-3691968-1338031524 -o /tmp/evaluation-result-3691968-1338031524/solver-3691968-1338031524 -C 1800 -W 1900 -M 15500 HOME/scip-2.1.1.4expfix.linux.x86_64.gnu.opt.spx -f HOME/instance-3691968-1338031524.opb -t 1800 -m 15500
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.00 2.00 1.94 3/174 910
/proc/meminfo: memFree=27449456/32873624 swapFree=7104/7104
[pid=910] ppid=908 vsize=11812 CPUtime=0 cores=1,3,5,7
/proc/910/stat : 910 (runsolver) D 908 910 31545 0 -1 4202560 41 0 0 0 0 0 0 0 20 0 1 0 269277907 12095488 51 33554432000 4194304 5436572 140734137598128 140734137594424 4883175 0 0 4096 24578 18446744072101258628 0 0 17 3 0 0 0 0 0
/proc/910/statm: 2953 51 31 304 0 2645 0
[startup+0.0572269 s]
/proc/loadavg: 2.00 2.00 1.94 3/174 910
/proc/meminfo: memFree=27449456/32873624 swapFree=7104/7104
[pid=910] ppid=908 vsize=25820 CPUtime=0.05 cores=1,3,5,7
/proc/910/stat : 910 (scip-2.1.1.4exp) R 908 910 31545 0 -1 4202496 5483 0 0 0 4 1 0 0 20 0 1 0 269277907 26439680 5154 33554432000 4194304 10219143 140734986168720 140734137594312 9026266 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/910/statm: 6455 5155 724 1471 0 4975 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 25820
[startup+0.100258 s]
/proc/loadavg: 2.00 2.00 1.94 3/174 910
/proc/meminfo: memFree=27449456/32873624 swapFree=7104/7104
[pid=910] ppid=908 vsize=26092 CPUtime=0.09 cores=1,3,5,7
/proc/910/stat : 910 (scip-2.1.1.4exp) R 908 910 31545 0 -1 4202496 5662 0 0 0 8 1 0 0 20 0 1 0 269277907 26718208 5292 33554432000 4194304 10219143 140734986168720 140734137594312 9026266 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/910/statm: 6523 5292 747 1471 0 5043 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 26092
[startup+0.300216 s]
/proc/loadavg: 2.00 2.00 1.94 3/174 910
/proc/meminfo: memFree=27449456/32873624 swapFree=7104/7104
[pid=910] ppid=908 vsize=33028 CPUtime=0.28 cores=1,3,5,7
/proc/910/stat : 910 (scip-2.1.1.4exp) R 908 910 31545 0 -1 4202496 7339 0 0 0 27 1 0 0 20 0 1 0 269277907 33820672 6919 33554432000 4194304 10219143 140734986168720 140734137594312 9008087 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/910/statm: 8257 6919 767 1471 0 6777 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 33028
[startup+0.700167 s]
/proc/loadavg: 2.00 2.00 1.94 3/174 910
/proc/meminfo: memFree=27449456/32873624 swapFree=7104/7104
[pid=910] ppid=908 vsize=39332 CPUtime=0.69 cores=1,3,5,7
/proc/910/stat : 910 (scip-2.1.1.4exp) R 908 910 31545 0 -1 4202496 8433 0 0 0 67 2 0 0 20 0 1 0 269277907 40275968 8505 33554432000 4194304 10219143 140734986168720 140734986164088 9026266 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/910/statm: 9833 8505 767 1471 0 8353 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 39332
[startup+1.50021 s]
/proc/loadavg: 2.00 2.00 1.94 3/175 911
/proc/meminfo: memFree=27414392/32873624 swapFree=7104/7104
[pid=910] ppid=908 vsize=65940 CPUtime=1.48 cores=1,3,5,7
/proc/910/stat : 910 (scip-2.1.1.4exp) R 908 910 31545 0 -1 4202496 14926 0 0 0 144 4 0 0 20 0 1 0 269277907 67522560 14920 33554432000 4194304 10219143 140734986168720 140734986164088 9026266 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/910/statm: 16485 14920 822 1471 0 15005 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 65940
[startup+3.10018 s]
/proc/loadavg: 2.00 2.00 1.94 3/175 911
/proc/meminfo: memFree=27409308/32873624 swapFree=7104/7104
[pid=910] ppid=908 vsize=47404 CPUtime=3.08 cores=1,3,5,7
/proc/910/stat : 910 (scip-2.1.1.4exp) R 908 910 31545 0 -1 4202496 14989 0 0 0 302 6 0 0 20 0 1 0 269277907 48541696 10643 33554432000 4194304 10219143 140734986168720 140734986162168 9026266 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/910/statm: 11851 10643 841 1471 0 10371 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 47404
[startup+6.30018 s]
/proc/loadavg: 2.00 2.00 1.94 3/175 911
/proc/meminfo: memFree=27409560/32873624 swapFree=7104/7104
[pid=910] ppid=908 vsize=47404 CPUtime=6.28 cores=1,3,5,7
/proc/910/stat : 910 (scip-2.1.1.4exp) R 908 910 31545 0 -1 4202496 14989 0 0 0 619 9 0 0 20 0 1 0 269277907 48541696 10643 33554432000 4194304 10219143 140734986168720 140734986162216 9026266 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/910/statm: 11851 10643 841 1471 0 10371 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 47404
[startup+12.7002 s]
/proc/loadavg: 2.00 2.00 1.94 3/175 911
/proc/meminfo: memFree=27409808/32873624 swapFree=7104/7104
[pid=910] ppid=908 vsize=47544 CPUtime=12.69 cores=1,3,5,7
/proc/910/stat : 910 (scip-2.1.1.4exp) R 908 910 31545 0 -1 4202496 18977 0 0 0 1253 16 0 0 20 0 1 0 269277907 48685056 10647 33554432000 4194304 10219143 140734986168720 140734986161976 9026266 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/910/statm: 11886 10647 842 1471 0 10406 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 47544
[startup+25.5001 s]
/proc/loadavg: 2.00 2.00 1.94 3/175 911
/proc/meminfo: memFree=27390188/32873624 swapFree=7104/7104
[pid=910] ppid=908 vsize=69784 CPUtime=25.49 cores=1,3,5,7
/proc/910/stat : 910 (scip-2.1.1.4exp) R 908 910 31545 0 -1 4202496 36312 0 0 0 2518 31 0 0 20 0 1 0 269277907 71458816 15801 33554432000 4194304 10219143 140734986168720 140734986161976 9026266 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/910/statm: 17446 15801 844 1471 0 15966 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 69784
[startup+51.1002 s]
/proc/loadavg: 2.00 2.00 1.94 3/175 911
/proc/meminfo: memFree=27387800/32873624 swapFree=7104/7104
[pid=910] ppid=908 vsize=69164 CPUtime=51.07 cores=1,3,5,7
/proc/910/stat : 910 (scip-2.1.1.4exp) R 908 910 31545 0 -1 4202496 38432 0 0 0 5054 53 0 0 20 0 1 0 269277907 70823936 16115 33554432000 4194304 10219143 140734986168720 140734986162056 9026266 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/910/statm: 17291 16115 844 1471 0 15811 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 69164
Solver just ended. Dumping a history of the last processes samples
[startup+76.7002 s]
/proc/loadavg: 2.00 2.00 1.94 3/175 912
/proc/meminfo: memFree=27376856/32873624 swapFree=7104/7104
[pid=910] ppid=908 vsize=80556 CPUtime=76.65 cores=1,3,5,7
/proc/910/stat : 910 (scip-2.1.1.4exp) R 908 910 31545 0 -1 4202496 57766 0 0 0 7583 82 0 0 20 0 1 0 269277907 82489344 18976 33554432000 4194304 10219143 140734986168720 140734986164088 9026266 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/910/statm: 20139 18976 845 1471 0 18659 0
Current children cumulated CPU time (s) 76.65
Current children cumulated vsize (KiB) 80556
[startup+83.1002 s]
/proc/loadavg: 2.00 2.00 1.94 3/175 912
/proc/meminfo: memFree=27376220/32873624 swapFree=7104/7104
[pid=910] ppid=908 vsize=80620 CPUtime=83.05 cores=1,3,5,7
/proc/910/stat : 910 (scip-2.1.1.4exp) R 908 910 31545 0 -1 4202496 61865 0 0 0 8215 90 0 0 20 0 1 0 269277907 82554880 19004 33554432000 4194304 10219143 140734986168720 140734986162360 9026266 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/910/statm: 20155 19004 845 1471 0 18675 0
Current children cumulated CPU time (s) 83.05
Current children cumulated vsize (KiB) 80620
[startup+86.3002 s]
/proc/loadavg: 2.00 2.00 1.94 3/175 912
/proc/meminfo: memFree=27376448/32873624 swapFree=7104/7104
[pid=910] ppid=908 vsize=80620 CPUtime=86.25 cores=1,3,5,7
/proc/910/stat : 910 (scip-2.1.1.4exp) R 908 910 31545 0 -1 4202496 61865 0 0 0 8531 94 0 0 20 0 1 0 269277907 82554880 19004 33554432000 4194304 10219143 140734986168720 140734986162360 9026266 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/910/statm: 20155 19004 845 1471 0 18675 0
Current children cumulated CPU time (s) 86.25
Current children cumulated vsize (KiB) 80620
[startup+87.9002 s]
/proc/loadavg: 2.00 2.00 1.94 3/175 912
/proc/meminfo: memFree=27376128/32873624 swapFree=7104/7104
[pid=910] ppid=908 vsize=80620 CPUtime=87.86 cores=1,3,5,7
/proc/910/stat : 910 (scip-2.1.1.4exp) R 908 910 31545 0 -1 4202496 61866 0 0 0 8690 96 0 0 20 0 1 0 269277907 82554880 19006 33554432000 4194304 10219143 140734986168720 140734986161656 9026266 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/910/statm: 20155 19006 845 1471 0 18675 0
Current children cumulated CPU time (s) 87.86
Current children cumulated vsize (KiB) 80620
[startup+88.7001 s]
/proc/loadavg: 2.00 2.00 1.94 3/175 912
/proc/meminfo: memFree=27376128/32873624 swapFree=7104/7104
[pid=910] ppid=908 vsize=97796 CPUtime=88.65 cores=1,3,5,7
/proc/910/stat : 910 (scip-2.1.1.4exp) R 908 910 31545 0 -1 4202496 65762 0 0 0 8768 97 0 0 20 0 1 0 269277907 100143104 22902 33554432000 4194304 10219143 140734986168720 140734986162440 9026266 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/910/statm: 24449 22902 845 1471 0 22969 0
Current children cumulated CPU time (s) 88.65
Current children cumulated vsize (KiB) 97796
[startup+89.1062 s]
/proc/loadavg: 2.00 2.00 1.94 3/175 912
/proc/meminfo: memFree=27360752/32873624 swapFree=7104/7104
[pid=910] ppid=908 vsize=97796 CPUtime=89.06 cores=1,3,5,7
/proc/910/stat : 910 (scip-2.1.1.4exp) R 908 910 31545 0 -1 4202496 65762 0 0 0 8808 98 0 0 20 0 1 0 269277907 100143104 22902 33554432000 4194304 10219143 140734986168720 140734986162440 9026266 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/910/statm: 24449 22902 845 1471 0 22969 0
Current children cumulated CPU time (s) 89.06
Current children cumulated vsize (KiB) 97796
[startup+89.5001 s]
/proc/loadavg: 2.00 2.00 1.94 3/175 912
/proc/meminfo: memFree=27360752/32873624 swapFree=7104/7104
[pid=910] ppid=908 vsize=97796 CPUtime=89.45 cores=1,3,5,7
/proc/910/stat : 910 (scip-2.1.1.4exp) R 908 910 31545 0 -1 4202496 65762 0 0 0 8847 98 0 0 20 0 1 0 269277907 100143104 22902 33554432000 4194304 10219143 140734986168720 140734986162440 9026266 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/910/statm: 24449 22902 845 1471 0 22969 0
Current children cumulated CPU time (s) 89.45
Current children cumulated vsize (KiB) 97796
[startup+89.6002 s]
/proc/loadavg: 2.00 2.00 1.94 3/175 912
/proc/meminfo: memFree=27360752/32873624 swapFree=7104/7104
[pid=910] ppid=908 vsize=97796 CPUtime=89.55 cores=1,3,5,7
/proc/910/stat : 910 (scip-2.1.1.4exp) R 908 910 31545 0 -1 4202496 65762 0 0 0 8857 98 0 0 20 0 1 0 269277907 100143104 22902 33554432000 4194304 10219143 140734986168720 140734986162440 9026266 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/910/statm: 24449 22902 845 1471 0 22969 0
Current children cumulated CPU time (s) 89.55
Current children cumulated vsize (KiB) 97796
Child status: 0
Real time (s): 89.6919
CPU time (s): 89.6544
CPU user time (s): 88.6665
CPU system time (s): 0.987849
CPU usage (%): 99.9582
Max. virtual memory (cumulated for all children) (KiB): 98116
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 88.6665
system time used= 0.987849
maximum resident set size= 91944
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 65766
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 28
involuntary context switches= 93
runsolver used 0.137979 second user time and 0.366944 second system time
The end