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-2665585-1276427650.opb>
0.09/0.12 c original problem has 1632 variables (1632 bin, 0 int, 0 impl, 0 cont) and 6924 constraints
0.09/0.12 c problem read
0.09/0.12 c presolving settings loaded
0.09/0.15 c presolving:
0.19/0.21 c (round 1) 12 del vars, 12 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 44112 impls, 0 clqs
0.19/0.28 c (round 2) 12 del vars, 42 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 6162 upgd conss, 44112 impls, 0 clqs
0.29/0.31 c (round 3) 12 del vars, 42 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 6882 upgd conss, 44112 impls, 0 clqs
0.39/0.42 c (0.3s) probing: 101/1620 (6.2%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.39/0.42 c (0.3s) probing aborted: 100/100 successive totally useless probings
0.39/0.42 c presolving (4 rounds):
0.39/0.42 c 12 deleted vars, 42 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.39/0.42 c 44112 implications, 0 cliques
0.39/0.42 c presolved problem has 1620 variables (1620 bin, 0 int, 0 impl, 0 cont) and 6882 constraints
0.39/0.42 c 6882 constraints of type <logicor>
0.39/0.42 c transformed objective value is always integral (scale: 1)
0.39/0.42 c Presolving Time: 0.24
0.39/0.42 c - non default parameters ----------------------------------------------------------------------
0.39/0.42 c # SCIP version 1.2.1.2
0.39/0.42 c
0.39/0.42 c # maximal number of intermediate conflict constraints generated in conflict graph (-1: use every intermediate constraint)
0.39/0.42 c # [type: int, range: [-1,2147483647], default: -1]
0.39/0.42 c conflict/interconss = 0
0.39/0.42 c
0.39/0.42 c # should binary conflicts be preferred?
0.39/0.42 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.39/0.42 c conflict/preferbinary = TRUE
0.39/0.42 c
0.39/0.42 c # maximum age an unnecessary constraint can reach before it is deleted (0: dynamic, -1: keep all constraints)
0.39/0.42 c # [type: int, range: [-1,2147483647], default: 0]
0.39/0.42 c constraints/agelimit = 1
0.39/0.42 c
0.39/0.42 c # should enforcement of pseudo solution be disabled?
0.39/0.42 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.39/0.42 c constraints/disableenfops = TRUE
0.39/0.42 c
0.39/0.42 c # frequency for displaying node information lines
0.39/0.42 c # [type: int, range: [-1,2147483647], default: 100]
0.39/0.42 c display/freq = 10000
0.39/0.42 c
0.39/0.42 c # maximal time in seconds to run
0.39/0.42 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.39/0.42 c limits/time = 1799.89
0.39/0.42 c
0.39/0.42 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.39/0.42 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.39/0.42 c limits/memory = 1620
0.39/0.42 c
0.39/0.42 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.39/0.42 c # [type: int, range: [-1,2147483647], default: 1]
0.39/0.42 c lp/solvefreq = 0
0.39/0.42 c
0.39/0.42 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.39/0.42 c # [type: char, range: {lafpsqd}, default: l]
0.39/0.42 c lp/pricing = a
0.39/0.42 c
0.39/0.42 c # should presolving try to simplify inequalities
0.39/0.42 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.39/0.42 c constraints/linear/simplifyinequalities = TRUE
0.39/0.42 c
0.39/0.42 c # should presolving try to simplify knapsacks
0.39/0.42 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.39/0.42 c constraints/knapsack/simplifyinequalities = TRUE
0.39/0.42 c
0.39/0.42 c # priority of node selection rule <dfs> in standard mode
0.39/0.42 c # [type: int, range: [-536870912,536870911], default: 0]
0.39/0.42 c nodeselection/dfs/stdpriority = 1000000
0.39/0.42 c
0.39/0.42 c -----------------------------------------------------------------------------------------------
0.39/0.42 c start solving
0.39/0.42 c
0.69/0.71 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.69/0.71 c 0.5s| 1 | 0 | 1438 | - | 13M| 0 |1140 |1620 |6882 |1620 |6882 | 0 | 0 | 0 | 3.045000e+02 | -- | Inf
1.10/1.16 c 0.9s| 1 | 0 | 1534 | - | 13M| 0 |1135 |1620 |6882 |1620 |6888 | 6 | 0 | 0 | 3.097500e+02 | -- | Inf
1.40/1.41 c 1.2s| 1 | 0 | 1615 | - | 13M| 0 |1132 |1620 |6882 |1620 |6894 | 12 | 0 | 0 | 3.147500e+02 | -- | Inf
1.59/1.67 c 1.4s| 1 | 0 | 1705 | - | 13M| 0 |1128 |1620 |6882 |1620 |6901 | 19 | 0 | 0 | 3.183750e+02 | -- | Inf
1.89/1.97 c 1.7s| 1 | 0 | 1854 | - | 13M| 0 |1125 |1620 |6882 |1620 |6908 | 26 | 0 | 0 | 3.228750e+02 | -- | Inf
2.20/2.24 c 2.0s| 1 | 0 | 1988 | - | 13M| 0 |1125 |1620 |6882 |1620 |6917 | 35 | 0 | 0 | 3.270000e+02 | -- | Inf
2.59/2.63 c 2.4s| 1 | 0 | 2194 | - | 13M| 0 |1122 |1620 |6882 |1620 |6925 | 43 | 0 | 0 | 3.321250e+02 | -- | Inf
2.99/3.01 c 2.8s| 1 | 0 | 2372 | - | 13M| 0 |1112 |1620 |6882 |1620 |6934 | 52 | 0 | 0 | 3.363214e+02 | -- | Inf
3.29/3.37 c 3.1s| 1 | 0 | 2557 | - | 13M| 0 |1113 |1620 |6882 |1620 |6942 | 60 | 0 | 0 | 3.380536e+02 | -- | Inf
3.69/3.74 c 3.5s| 1 | 0 | 2755 | - | 13M| 0 |1120 |1620 |6882 |1620 |6950 | 68 | 0 | 0 | 3.393750e+02 | -- | Inf
4.19/4.23 c 4.0s| 1 | 0 | 2969 | - | 13M| 0 |1113 |1620 |6882 |1620 |6962 | 80 | 0 | 0 | 3.416607e+02 | -- | Inf
4.59/4.60 c 4.3s| 1 | 0 | 3400 | - | 13M| 0 |1112 |1620 |6882 |1620 |6973 | 91 | 0 | 0 | 3.463125e+02 | -- | Inf
4.79/4.82 c 4.6s| 1 | 0 | 3598 | - | 13M| 0 |1111 |1620 |6882 |1620 |6983 | 101 | 0 | 0 | 3.501250e+02 | -- | Inf
4.99/5.01 c 4.7s| 1 | 0 | 3765 | - | 13M| 0 |1106 |1620 |6882 |1620 |6993 | 111 | 0 | 0 | 3.536250e+02 | -- | Inf
5.29/5.30 c 5.0s| 1 | 0 | 4051 | - | 13M| 0 |1112 |1620 |6882 |1620 |7004 | 122 | 0 | 0 | 3.561250e+02 | -- | Inf
5.59/5.64 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
5.59/5.64 c 5.4s| 1 | 0 | 4431 | - | 14M| 0 |1105 |1620 |6882 |1620 |7013 | 131 | 0 | 0 | 3.581875e+02 | -- | Inf
6.09/6.16 c 5.9s| 1 | 0 | 4954 | - | 14M| 0 |1112 |1620 |6882 |1620 |7021 | 139 | 0 | 0 | 3.602232e+02 | -- | Inf
6.59/6.67 c 6.4s| 1 | 0 | 5470 | - | 14M| 0 |1105 |1620 |6882 |1620 |7016 | 149 | 0 | 0 | 3.614375e+02 | -- | Inf
7.28/7.36 c 7.1s| 1 | 0 | 6104 | - | 14M| 0 |1120 |1620 |6882 |1620 |7027 | 160 | 0 | 0 | 3.626658e+02 | -- | Inf
7.89/7.91 c 7.6s| 1 | 0 | 6850 | - | 14M| 0 |1126 |1620 |6882 |1620 |7040 | 173 | 0 | 0 | 3.647918e+02 | -- | Inf
8.28/8.33 c 8.0s| 1 | 0 | 7248 | - | 14M| 0 |1111 |1620 |6882 |1620 |7054 | 187 | 0 | 0 | 3.668908e+02 | -- | Inf
8.59/8.69 c 8.4s| 1 | 0 | 7758 | - | 15M| 0 |1112 |1620 |6882 |1620 |7065 | 198 | 0 | 0 | 3.693605e+02 | -- | Inf
8.99/9.02 c 8.7s| 1 | 0 | 8326 | - | 15M| 0 |1118 |1620 |6882 |1620 |7080 | 213 | 0 | 0 | 3.709218e+02 | -- | Inf
9.28/9.37 c 9.0s| 1 | 0 | 8831 | - | 15M| 0 |1142 |1620 |6882 |1620 |7070 | 226 | 0 | 0 | 3.718539e+02 | -- | Inf
9.69/9.76 c 9.4s| 1 | 0 | 9364 | - | 15M| 0 |1135 |1620 |6882 |1620 |7081 | 237 | 0 | 0 | 3.725562e+02 | -- | Inf
10.08/10.17 c 9.8s| 1 | 0 | 9679 | - | 15M| 0 |1137 |1620 |6882 |1620 |7091 | 247 | 0 | 0 | 3.731159e+02 | -- | Inf
10.48/10.52 c 10.2s| 1 | 0 | 10123 | - | 15M| 0 |1130 |1620 |6882 |1620 |7098 | 254 | 0 | 0 | 3.735921e+02 | -- | Inf
10.89/10.95 c 10.6s| 1 | 0 | 10569 | - | 15M| 0 |1135 |1620 |6882 |1620 |7106 | 262 | 0 | 0 | 3.741964e+02 | -- | Inf
11.19/11.23 c 10.8s| 1 | 0 | 10858 | - | 15M| 0 |1131 |1620 |6882 |1620 |7111 | 267 | 0 | 0 | 3.745214e+02 | -- | Inf
11.69/11.73 c 11.3s| 1 | 0 | 11295 | - | 15M| 0 |1125 |1620 |6882 |1620 |7085 | 274 | 0 | 0 | 3.748662e+02 | -- | Inf
12.09/12.17 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
12.09/12.17 c 11.8s| 1 | 0 | 11732 | - | 16M| 0 |1130 |1620 |6882 |1620 |7095 | 284 | 0 | 0 | 3.750054e+02 | -- | Inf
12.49/12.58 c 12.2s| 1 | 0 | 11946 | - | 16M| 0 |1135 |1620 |6882 |1620 |7105 | 294 | 0 | 0 | 3.751768e+02 | -- | Inf
12.99/13.05 c 12.7s| 1 | 0 | 12245 | - | 16M| 0 |1127 |1620 |6882 |1620 |7110 | 299 | 0 | 0 | 3.753712e+02 | -- | Inf
13.39/13.48 c 13.1s| 1 | 0 | 12651 | - | 16M| 0 |1130 |1620 |6882 |1620 |7117 | 306 | 0 | 0 | 3.756853e+02 | -- | Inf
14.19/14.20 c 13.8s| 1 | 0 | 12872 | - | 16M| 0 |1132 |1620 |6882 |1620 |7122 | 311 | 0 | 0 | 3.758862e+02 | -- | Inf
14.79/14.86 c 14.4s| 1 | 0 | 12951 | - | 16M| 0 |1132 |1620 |6882 |1620 |7094 | 317 | 0 | 0 | 3.759176e+02 | -- | Inf
15.39/15.49 c 15.1s| 1 | 0 | 13055 | - | 16M| 0 |1134 |1620 |6882 |1620 |7099 | 322 | 0 | 0 | 3.759648e+02 | -- | Inf
16.08/16.20 c 15.8s| 1 | 0 | 13103 | - | 16M| 0 |1126 |1620 |6882 |1620 |7102 | 325 | 0 | 0 | 3.760023e+02 | -- | Inf
16.79/16.86 c 16.4s| 1 | 0 | 13216 | - | 16M| 0 |1135 |1620 |6882 |1620 |7104 | 327 | 0 | 0 | 3.760489e+02 | -- | Inf
17.50/17.52 c 17.1s| 1 | 0 | 13235 | - | 16M| 0 |1136 |1620 |6882 |1620 |7107 | 330 | 0 | 0 | 3.760594e+02 | -- | Inf
18.08/18.17 c 17.7s| 1 | 0 | 13253 | - | 16M| 0 |1135 |1620 |6882 |1620 |7109 | 332 | 0 | 0 | 3.760731e+02 | -- | Inf
18.89/18.96 c 18.5s| 1 | 0 | 13433 | - | 16M| 0 |1137 |1620 |6882 |1620 |7080 | 333 | 0 | 0 | 3.764126e+02 | -- | Inf
19.69/19.73 c 19.2s| 1 | 0 | 13530 | - | 16M| 0 |1138 |1620 |6882 |1620 |7082 | 335 | 0 | 0 | 3.764126e+02 | -- | Inf
20.38/20.40 c 19.9s| 1 | 0 | 13612 | - | 16M| 0 |1133 |1620 |6882 |1620 |7084 | 337 | 0 | 0 | 3.764126e+02 | -- | Inf
27.18/27.24 c 26.6s| 1 | 2 | 13612 | - | 16M| 0 |1133 |1620 |6882 |1620 |7084 | 337 | 0 | 31 | 3.764126e+02 | -- | Inf
27.38/27.47 o 730
27.38/27.47 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
27.38/27.47 c *26.8s| 314 | 138 | 13612 | 0.0 | 16M| 220 | - |1620 |6886 | 0 | 0 | 337 | 43 | 31 | 3.766538e+02 | 7.300000e+02 | 93.81%
27.38/27.47 o 729
27.38/27.47 c *26.8s| 318 | 139 | 13612 | 0.0 | 16M| 220 | - |1620 |6886 | 0 | 0 | 337 | 43 | 31 | 3.766538e+02 | 7.290000e+02 | 93.55%
27.38/27.48 o 727
27.38/27.48 c *26.8s| 397 | 137 | 13612 | 0.0 | 16M| 224 | - |1620 |6886 | 0 | 0 | 337 | 43 | 31 | 3.766538e+02 | 7.270000e+02 | 93.02%
32.78/32.81 c 31.9s| 10000 | 132 | 13612 | 0.0 | 16M| 224 | - |1620 |6886 | 0 | 0 | 337 | 714 | 31 | 3.766538e+02 | 7.270000e+02 | 93.02%
37.28/37.33 c 36.3s| 20000 | 131 | 13612 | 0.0 | 16M| 224 | - |1620 |6893 | 0 | 0 | 337 |1042 | 31 | 3.766538e+02 | 7.270000e+02 | 93.02%
41.68/41.76 c 40.5s| 30000 | 128 | 13612 | 0.0 | 16M| 224 | - |1620 |6890 | 0 | 0 | 337 |1290 | 31 | 3.766538e+02 | 7.270000e+02 | 93.02%
46.07/46.16 c 44.8s| 40000 | 132 | 13612 | 0.0 | 16M| 224 | - |1620 |6892 | 0 | 0 | 337 |1555 | 31 | 3.766538e+02 | 7.270000e+02 | 93.02%
51.86/51.92 c 50.4s| 50000 | 133 | 13612 | 0.0 | 16M| 224 | - |1620 |6889 | 0 | 0 | 337 |2460 | 31 | 3.766538e+02 | 7.270000e+02 | 93.02%
57.67/57.78 c 56.0s| 60000 | 135 | 13612 | 0.0 | 16M| 224 | - |1620 |6893 | 0 | 0 | 337 |3406 | 31 | 3.766538e+02 | 7.270000e+02 | 93.02%
62.36/62.43 c 60.5s| 70000 | 128 | 13612 | 0.0 | 17M| 224 | - |1620 |6895 | 0 | 0 | 337 |3671 | 31 | 3.766538e+02 | 7.270000e+02 | 93.02%
67.16/67.26 c 65.1s| 80000 | 134 | 13612 | 0.0 | 16M| 224 | - |1620 |6886 | 0 | 0 | 337 |4107 | 31 | 3.766538e+02 | 7.270000e+02 | 93.02%
73.07/73.16 c 70.8s| 90000 | 128 | 13612 | 0.0 | 16M| 224 | - |1620 |6892 | 0 | 0 | 337 |4894 | 31 | 3.766538e+02 | 7.270000e+02 | 93.02%
78.26/78.30 c 75.8s|100000 | 134 | 13612 | 0.0 | 16M| 224 | - |1620 |6888 | 0 | 0 | 337 |5520 | 31 | 3.766538e+02 | 7.270000e+02 | 93.02%
82.96/83.03 c 80.3s|110000 | 130 | 13612 | 0.0 | 16M| 224 | - |1620 |6890 | 0 | 0 | 337 |5854 | 31 | 3.766538e+02 | 7.270000e+02 | 93.02%
88.46/88.58 c 85.7s|120000 | 137 | 13612 | 0.0 | 17M| 224 | - |1620 |6895 | 0 | 0 | 337 |6634 | 31 | 3.766538e+02 | 7.270000e+02 | 93.02%
95.95/96.06 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
95.95/96.06 c 92.9s|130000 | 132 | 13612 | 0.0 | 17M| 224 | - |1620 |6895 | 0 | 0 | 337 |7907 | 31 | 3.766538e+02 | 7.270000e+02 | 93.02%
102.05/102.18 c 98.9s|140000 | 131 | 13612 | 0.0 | 16M| 224 | - |1620 |6889 | 0 | 0 | 337 |8925 | 31 | 3.766538e+02 | 7.270000e+02 | 93.02%
106.75/106.88 c 103s|150000 | 135 | 13612 | 0.0 | 16M| 224 | - |1620 |6888 | 0 | 0 | 337 |9583 | 31 | 3.766538e+02 | 7.270000e+02 | 93.02%
115.85/115.93 c 112s|160000 | 132 | 13612 | 0.0 | 17M| 224 | - |1620 |6895 | 0 | 0 | 337 | 12k| 31 | 3.766538e+02 | 7.270000e+02 | 93.02%
124.34/124.49 c 121s|170000 | 133 | 13612 | 0.0 | 17M| 224 | - |1620 |6895 | 0 | 0 | 337 | 14k| 31 | 3.766538e+02 | 7.270000e+02 | 93.02%
129.04/129.14 c 125s|180000 | 131 | 13612 | 0.0 | 17M| 224 | - |1620 |6892 | 0 | 0 | 337 | 14k| 31 | 3.766538e+02 | 7.270000e+02 | 93.02%
134.24/134.35 c 130s|190000 | 132 | 13612 | 0.0 | 17M| 224 | - |1620 |6897 | 0 | 0 | 337 | 15k| 31 | 3.766538e+02 | 7.270000e+02 | 93.02%
142.04/142.18 c 138s|200000 | 129 | 13612 | 0.0 | 17M| 224 | - |1620 |6900 | 0 | 0 | 337 | 16k| 31 | 3.766538e+02 | 7.270000e+02 | 93.02%
147.43/147.52 c 143s|210000 | 129 | 13612 | 0.0 | 17M| 224 | - |1620 |6893 | 0 | 0 | 337 | 16k| 31 | 3.766538e+02 | 7.270000e+02 | 93.02%
152.63/152.79 c 148s|220000 | 132 | 13612 | 0.0 | 17M| 224 | - |1620 |6892 | 0 | 0 | 337 | 17k| 31 | 3.766538e+02 | 7.270000e+02 | 93.02%
156.83/156.92 c 152s|230000 | 131 | 13612 | 0.0 | 17M| 224 | - |1620 |6892 | 0 | 0 | 337 | 17k| 31 | 3.766538e+02 | 7.270000e+02 | 93.02%
161.43/161.57 c 156s|240000 | 130 | 13612 | 0.0 | 17M| 224 | - |1620 |6894 | 0 | 0 | 337 | 17k| 31 | 3.766538e+02 | 7.270000e+02 | 93.02%
165.83/165.92 c 160s|250000 | 131 | 13612 | 0.0 | 17M| 224 | - |1620 |6894 | 0 | 0 | 337 | 18k| 31 | 3.766538e+02 | 7.270000e+02 | 93.02%
172.92/173.02 c 167s|260000 | 129 | 13612 | 0.0 | 17M| 224 | - |1620 |6893 | 0 | 0 | 337 | 19k| 31 | 3.766538e+02 | 7.270000e+02 | 93.02%
181.12/181.20 c 175s|270000 | 128 | 13612 | 0.0 | 17M| 224 | - |1620 |6895 | 0 | 0 | 337 | 21k| 31 | 3.766538e+02 | 7.270000e+02 | 93.02%
186.62/186.72 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
186.62/186.72 c 181s|280000 | 128 | 13612 | 0.0 | 17M| 224 | - |1620 |6896 | 0 | 0 | 337 | 22k| 31 | 3.766538e+02 | 7.270000e+02 | 93.02%
191.33/191.42 c 185s|290000 | 132 | 13612 | 0.0 | 16M| 224 | - |1620 |6888 | 0 | 0 | 337 | 22k| 31 | 3.766538e+02 | 7.270000e+02 | 93.02%
198.22/198.38 c 192s|300000 | 127 | 13612 | 0.0 | 16M| 224 | - |1620 |6887 | 0 | 0 | 337 | 24k| 31 | 3.766538e+02 | 7.270000e+02 | 93.02%
205.81/205.97 c 199s|310000 | 127 | 13612 | 0.0 | 17M| 224 | - |1620 |6890 | 0 | 0 | 337 | 25k| 31 | 3.766538e+02 | 7.270000e+02 | 93.02%
213.61/213.75 c 207s|320000 | 136 | 13612 | 0.0 | 17M| 224 | - |1620 |6890 | 0 | 0 | 337 | 27k| 31 | 3.766538e+02 | 7.270000e+02 | 93.02%
217.81/217.96 c 211s|330000 | 130 | 13612 | 0.0 | 17M| 224 | - |1620 |6890 | 0 | 0 | 337 | 27k| 31 | 3.766538e+02 | 7.270000e+02 | 93.02%
224.81/224.92 c 218s|340000 | 134 | 13612 | 0.0 | 17M| 224 | - |1620 |6888 | 0 | 0 | 337 | 28k| 31 | 3.766538e+02 | 7.270000e+02 | 93.02%
231.40/231.59 c 224s|350000 | 127 | 13612 | 0.0 | 17M| 224 | - |1620 |6892 | 0 | 0 | 337 | 29k| 31 | 3.766538e+02 | 7.270000e+02 | 93.02%
239.50/239.70 c 232s|360000 | 131 | 13612 | 0.0 | 16M| 224 | - |1620 |6888 | 0 | 0 | 337 | 30k| 31 | 3.766538e+02 | 7.270000e+02 | 93.02%
248.79/248.97 c 241s|370000 | 126 | 13612 | 0.0 | 17M| 224 | - |1620 |6890 | 0 | 0 | 337 | 32k| 31 | 3.766538e+02 | 7.270000e+02 | 93.02%
255.00/255.14 c 247s|380000 | 127 | 13612 | 0.0 | 17M| 224 | - |1620 |6895 | 0 | 0 | 337 | 33k| 31 | 3.766538e+02 | 7.270000e+02 | 93.02%
260.40/260.53 c 252s|390000 | 128 | 13612 | 0.0 | 16M| 224 | - |1620 |6888 | 0 | 0 | 337 | 34k| 31 | 3.766538e+02 | 7.270000e+02 | 93.02%
270.79/270.99 c 262s|400000 | 131 | 13612 | 0.0 | 17M| 224 | - |1620 |6893 | 0 | 0 | 337 | 36k| 31 | 3.766538e+02 | 7.270000e+02 | 93.02%
283.89/284.02 c 275s|410000 | 135 | 13612 | 0.0 | 17M| 224 | - |1620 |6889 | 0 | 0 | 337 | 39k| 31 | 3.766538e+02 | 7.270000e+02 | 93.02%
293.08/293.21 c 284s|420000 | 129 | 13612 | 0.0 | 17M| 224 | - |1620 |6892 | 0 | 0 | 337 | 41k| 31 | 3.766538e+02 | 7.270000e+02 | 93.02%
297.78/297.92 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
297.78/297.92 c 289s|430000 | 130 | 13612 | 0.0 | 17M| 224 | - |1620 |6891 | 0 | 0 | 337 | 41k| 31 | 3.766538e+02 | 7.270000e+02 | 93.02%
303.38/303.58 c 294s|440000 | 131 | 13612 | 0.0 | 17M| 224 | - |1620 |6891 | 0 | 0 | 337 | 42k| 31 | 3.766538e+02 | 7.270000e+02 | 93.02%
308.77/308.97 c 299s|450000 | 129 | 13612 | 0.0 | 17M| 224 | - |1620 |6893 | 0 | 0 | 337 | 42k| 31 | 3.766538e+02 | 7.270000e+02 | 93.02%
314.28/314.50 c 305s|460000 | 127 | 13612 | 0.0 | 17M| 224 | - |1620 |6893 | 0 | 0 | 337 | 43k| 31 | 3.766538e+02 | 7.270000e+02 | 93.02%
320.98/321.19 c 311s|470000 | 128 | 13612 | 0.0 | 17M| 224 | - |1620 |6887 | 0 | 0 | 337 | 44k| 31 | 3.766538e+02 | 7.270000e+02 | 93.02%
329.97/330.11 c 320s|480000 | 132 | 13612 | 0.0 | 17M| 224 | - |1620 |6893 | 0 | 0 | 337 | 46k| 31 | 3.766538e+02 | 7.270000e+02 | 93.02%
335.77/335.95 c 325s|490000 | 133 | 13612 | 0.0 | 17M| 224 | - |1620 |6891 | 0 | 0 | 337 | 47k| 31 | 3.766538e+02 | 7.270000e+02 | 93.02%
340.66/340.89 c 330s|500000 | 130 | 13612 | 0.0 | 17M| 224 | - |1620 |6888 | 0 | 0 | 337 | 47k| 31 | 3.766538e+02 | 7.270000e+02 | 93.02%
347.06/347.27 c 336s|510000 | 130 | 13612 | 0.0 | 17M| 224 | - |1620 |6889 | 0 | 0 | 337 | 48k| 31 | 3.766538e+02 | 7.270000e+02 | 93.02%
354.46/354.62 c 343s|520000 | 129 | 13612 | 0.0 | 17M| 224 | - |1620 |6892 | 0 | 0 | 337 | 50k| 31 | 3.766538e+02 | 7.270000e+02 | 93.02%
361.16/361.33 c 350s|530000 | 129 | 13612 | 0.0 | 17M| 224 | - |1620 |6892 | 0 | 0 | 337 | 51k| 31 | 3.766538e+02 | 7.270000e+02 | 93.02%
367.36/367.53 c 356s|540000 | 132 | 13612 | 0.0 | 17M| 224 | - |1620 |6887 | 0 | 0 | 337 | 51k| 31 | 3.766538e+02 | 7.270000e+02 | 93.02%
374.15/374.32 c 363s|550000 | 130 | 13612 | 0.0 | 17M| 224 | - |1620 |6899 | 0 | 0 | 337 | 53k| 31 | 3.766538e+02 | 7.270000e+02 | 93.02%
379.55/379.79 c 368s|560000 | 131 | 13612 | 0.0 | 17M| 224 | - |1620 |6889 | 0 | 0 | 337 | 53k| 31 | 3.766538e+02 | 7.270000e+02 | 93.02%
386.65/386.89 c 375s|570000 | 130 | 13612 | 0.0 | 17M| 224 | - |1620 |6887 | 0 | 0 | 337 | 54k| 31 | 3.766538e+02 | 7.270000e+02 | 93.02%
393.25/393.40 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
393.25/393.40 c 381s|580000 | 133 | 13612 | 0.0 | 17M| 224 | - |1620 |6889 | 0 | 0 | 337 | 55k| 31 | 3.766538e+02 | 7.270000e+02 | 93.02%
400.44/400.69 c 388s|590000 | 125 | 13612 | 0.0 | 17M| 224 | - |1620 |6895 | 0 | 0 | 337 | 56k| 31 | 3.766538e+02 | 7.270000e+02 | 93.02%
406.44/406.68 c 394s|600000 | 135 | 13612 | 0.0 | 17M| 224 | - |1620 |6887 | 0 | 0 | 337 | 57k| 31 | 3.766538e+02 | 7.270000e+02 | 93.02%
412.25/412.46 c 399s|610000 | 130 | 13612 | 0.0 | 17M| 224 | - |1620 |6887 | 0 | 0 | 337 | 58k| 31 | 3.766538e+02 | 7.270000e+02 | 93.02%
419.34/419.54 c 406s|620000 | 130 | 13612 | 0.0 | 17M| 224 | - |1620 |6889 | 0 | 0 | 337 | 59k| 31 | 3.766538e+02 | 7.270000e+02 | 93.02%
425.94/426.16 c 413s|630000 | 130 | 13612 | 0.0 | 17M| 224 | - |1620 |6890 | 0 | 0 | 337 | 60k| 31 | 3.766538e+02 | 7.270000e+02 | 93.02%
431.63/431.85 c 418s|640000 | 126 | 13612 | 0.0 | 17M| 224 | - |1620 |6888 | 0 | 0 | 337 | 61k| 31 | 3.766538e+02 | 7.270000e+02 | 93.02%
437.42/437.61 c 424s|650000 | 128 | 13612 | 0.0 | 17M| 224 | - |1620 |6894 | 0 | 0 | 337 | 62k| 31 | 3.766538e+02 | 7.270000e+02 | 93.02%
442.93/443.10 c 429s|660000 | 129 | 13612 | 0.0 | 16M| 224 | - |1620 |6888 | 0 | 0 | 337 | 62k| 31 | 3.766538e+02 | 7.270000e+02 | 93.02%
448.72/448.99 c 435s|670000 | 128 | 13612 | 0.0 | 17M| 224 | - |1620 |6888 | 0 | 0 | 337 | 63k| 31 | 3.766538e+02 | 7.270000e+02 | 93.02%
457.42/457.63 c 443s|680000 | 129 | 13612 | 0.0 | 17M| 224 | - |1620 |6891 | 0 | 0 | 337 | 65k| 31 | 3.766538e+02 | 7.270000e+02 | 93.02%
463.01/463.22 c 448s|690000 | 125 | 13612 | 0.0 | 17M| 224 | - |1620 |6889 | 0 | 0 | 337 | 66k| 31 | 3.766538e+02 | 7.270000e+02 | 93.02%
469.71/469.92 c 455s|700000 | 126 | 13612 | 0.0 | 17M| 224 | - |1620 |6890 | 0 | 0 | 337 | 67k| 31 | 3.766538e+02 | 7.270000e+02 | 93.02%
478.51/478.71 c 464s|710000 | 129 | 13612 | 0.0 | 17M| 224 | - |1620 |6890 | 0 | 0 | 337 | 69k| 31 | 3.766538e+02 | 7.270000e+02 | 93.02%
486.01/486.25 c 471s|720000 | 129 | 13612 | 0.0 | 17M| 224 | - |1620 |6904 | 0 | 0 | 337 | 70k| 31 | 3.766538e+02 | 7.270000e+02 | 93.02%
492.41/492.60 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
492.41/492.60 c 477s|730000 | 130 | 13612 | 0.0 | 17M| 224 | - |1620 |6891 | 0 | 0 | 337 | 71k| 31 | 3.766538e+02 | 7.270000e+02 | 93.02%
498.30/498.59 c 483s|740000 | 123 | 13612 | 0.0 | 16M| 224 | - |1620 |6888 | 0 | 0 | 337 | 72k| 31 | 3.766538e+02 | 7.270000e+02 | 93.02%
507.80/508.04 c 492s|750000 | 128 | 13612 | 0.0 | 17M| 224 | - |1620 |6903 | 0 | 0 | 337 | 75k| 31 | 3.766538e+02 | 7.270000e+02 | 93.02%
516.60/516.87 c 501s|760000 | 129 | 13612 | 0.0 | 17M| 224 | - |1620 |6893 | 0 | 0 | 337 | 76k| 31 | 3.766538e+02 | 7.270000e+02 | 93.02%
524.49/524.72 c 508s|770000 | 128 | 13612 | 0.0 | 17M| 224 | - |1620 |6893 | 0 | 0 | 337 | 78k| 31 | 3.766538e+02 | 7.270000e+02 | 93.02%
532.89/533.20 c 516s|780000 | 129 | 13612 | 0.0 | 17M| 224 | - |1620 |6893 | 0 | 0 | 337 | 79k| 31 | 3.766538e+02 | 7.270000e+02 | 93.02%
542.19/542.48 c 526s|790000 | 128 | 13612 | 0.0 | 17M| 224 | - |1620 |6895 | 0 | 0 | 337 | 81k| 31 | 3.766538e+02 | 7.270000e+02 | 93.02%
546.88/547.12 c 530s|800000 | 128 | 13612 | 0.0 | 17M| 224 | - |1620 |6896 | 0 | 0 | 337 | 81k| 31 | 3.766538e+02 | 7.270000e+02 | 93.02%
552.99/553.26 c 536s|810000 | 130 | 13612 | 0.0 | 17M| 224 | - |1620 |6886 | 0 | 0 | 337 | 82k| 31 | 3.766538e+02 | 7.270000e+02 | 93.02%
559.08/559.37 c 542s|820000 | 130 | 13612 | 0.0 | 17M| 224 | - |1620 |6891 | 0 | 0 | 337 | 83k| 31 | 3.766538e+02 | 7.270000e+02 | 93.02%
566.18/566.41 c 549s|830000 | 125 | 13612 | 0.0 | 17M| 224 | - |1620 |6888 | 0 | 0 | 337 | 85k| 31 | 3.766538e+02 | 7.270000e+02 | 93.02%
573.67/573.93 c 556s|840000 | 126 | 13612 | 0.0 | 17M| 224 | - |1620 |6892 | 0 | 0 | 337 | 87k| 31 | 3.766538e+02 | 7.270000e+02 | 93.02%
580.67/580.97 c 563s|850000 | 126 | 13612 | 0.0 | 17M| 224 | - |1620 |6892 | 0 | 0 | 337 | 88k| 31 | 3.766538e+02 | 7.270000e+02 | 93.02%
586.87/587.14 c 569s|860000 | 124 | 13612 | 0.0 | 17M| 224 | - |1620 |6890 | 0 | 0 | 337 | 89k| 31 | 3.766538e+02 | 7.270000e+02 | 93.02%
594.87/595.13 c 577s|870000 | 132 | 13612 | 0.0 | 17M| 224 | - |1620 |6901 | 0 | 0 | 337 | 91k| 31 | 3.766538e+02 | 7.270000e+02 | 93.02%
601.27/601.57 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
601.27/601.57 c 583s|880000 | 131 | 13612 | 0.0 | 17M| 224 | - |1620 |6892 | 0 | 0 | 337 | 92k| 31 | 3.766538e+02 | 7.270000e+02 | 93.02%
608.37/608.69 c 590s|890000 | 132 | 13612 | 0.0 | 17M| 224 | - |1620 |6890 | 0 | 0 | 337 | 94k| 31 | 3.766538e+02 | 7.270000e+02 | 93.02%
616.66/616.91 c 598s|900000 | 129 | 13612 | 0.0 | 17M| 224 | - |1620 |6892 | 0 | 0 | 337 | 95k| 31 | 3.766538e+02 | 7.270000e+02 | 93.02%
622.96/623.26 c 604s|910000 | 127 | 13612 | 0.0 | 17M| 224 | - |1620 |6890 | 0 | 0 | 337 | 97k| 31 | 3.766538e+02 | 7.270000e+02 | 93.02%
633.06/633.30 c 614s|920000 | 131 | 13612 | 0.0 | 17M| 224 | - |1620 |6899 | 0 | 0 | 337 | 99k| 31 | 3.766538e+02 | 7.270000e+02 | 93.02%
641.85/642.12 c 622s|930000 | 126 | 13612 | 0.0 | 17M| 224 | - |1620 |6895 | 0 | 0 | 337 | 101k| 31 | 3.766538e+02 | 7.270000e+02 | 93.02%
648.04/648.36 c 628s|940000 | 129 | 13612 | 0.0 | 17M| 224 | - |1620 |6888 | 0 | 0 | 337 | 102k| 31 | 3.766538e+02 | 7.270000e+02 | 93.02%
654.15/654.40 c 634s|950000 | 129 | 13612 | 0.0 | 17M| 224 | - |1620 |6894 | 0 | 0 | 337 | 103k| 31 | 3.766538e+02 | 7.270000e+02 | 93.02%
659.54/659.87 c 639s|960000 | 131 | 13612 | 0.0 | 17M| 224 | - |1620 |6890 | 0 | 0 | 337 | 104k| 31 | 3.766538e+02 | 7.270000e+02 | 93.02%
665.53/665.84 c 645s|970000 | 127 | 13612 | 0.0 | 17M| 224 | - |1620 |6891 | 0 | 0 | 337 | 105k| 31 | 3.766538e+02 | 7.270000e+02 | 93.02%
671.74/672.02 c 651s|980000 | 125 | 13612 | 0.0 | 17M| 224 | - |1620 |6890 | 0 | 0 | 337 | 105k| 31 | 3.766538e+02 | 7.270000e+02 | 93.02%
679.44/679.72 c 659s|990000 | 126 | 13612 | 0.0 | 17M| 224 | - |1620 |6899 | 0 | 0 | 337 | 107k| 31 | 3.766538e+02 | 7.270000e+02 | 93.02%
686.03/686.39 c 665s| 1000k| 128 | 13612 | 0.0 | 17M| 224 | - |1620 |6895 | 0 | 0 | 337 | 108k| 31 | 3.766538e+02 | 7.270000e+02 | 93.02%
691.23/691.50 c 670s| 1010k| 125 | 13612 | 0.0 | 17M| 224 | - |1620 |6895 | 0 | 0 | 337 | 109k| 31 | 3.766538e+02 | 7.270000e+02 | 93.02%
697.14/697.44 c 676s| 1020k| 125 | 13612 | 0.0 | 17M| 224 | - |1620 |6888 | 0 | 0 | 337 | 109k| 31 | 3.766538e+02 | 7.270000e+02 | 93.02%
703.73/704.09 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
703.73/704.09 c 682s| 1030k| 130 | 13612 | 0.0 | 17M| 224 | - |1620 |6887 | 0 | 0 | 337 | 110k| 31 | 3.766538e+02 | 7.270000e+02 | 93.02%
710.53/710.84 c 689s| 1040k| 128 | 13612 | 0.0 | 17M| 224 | - |1620 |6891 | 0 | 0 | 337 | 111k| 31 | 3.766538e+02 | 7.270000e+02 | 93.02%
716.52/716.88 c 695s| 1050k| 130 | 13612 | 0.0 | 17M| 224 | - |1620 |6893 | 0 | 0 | 337 | 112k| 31 | 3.766538e+02 | 7.270000e+02 | 93.02%
723.32/723.68 c 701s| 1060k| 131 | 13612 | 0.0 | 17M| 224 | - |1620 |6893 | 0 | 0 | 337 | 114k| 31 | 3.766538e+02 | 7.270000e+02 | 93.02%
729.03/729.32 c 707s| 1070k| 127 | 13612 | 0.0 | 17M| 224 | - |1620 |6894 | 0 | 0 | 337 | 114k| 31 | 3.766538e+02 | 7.270000e+02 | 93.02%
735.71/736.02 c 713s| 1080k| 132 | 13612 | 0.0 | 17M| 224 | - |1620 |6888 | 0 | 0 | 337 | 115k| 31 | 3.766538e+02 | 7.270000e+02 | 93.02%
741.91/742.29 c 719s| 1090k| 127 | 13612 | 0.0 | 17M| 224 | - |1620 |6895 | 0 | 0 | 337 | 116k| 31 | 3.766538e+02 | 7.270000e+02 | 93.02%
749.71/750.07 c 727s| 1100k| 130 | 13612 | 0.0 | 17M| 224 | - |1620 |6890 | 0 | 0 | 337 | 117k| 31 | 3.766538e+02 | 7.270000e+02 | 93.02%
758.51/758.89 c 735s| 1110k| 129 | 13612 | 0.0 | 17M| 224 | - |1620 |6894 | 0 | 0 | 337 | 119k| 31 | 3.766538e+02 | 7.270000e+02 | 93.02%
762.90/763.28 c 740s| 1120k| 123 | 13612 | 0.0 | 17M| 224 | - |1620 |6895 | 0 | 0 | 337 | 119k| 31 | 3.766538e+02 | 7.270000e+02 | 93.02%
769.00/769.31 c 745s| 1130k| 126 | 13612 | 0.0 | 17M| 224 | - |1620 |6895 | 0 | 0 | 337 | 121k| 31 | 3.766538e+02 | 7.270000e+02 | 93.02%
775.21/775.58 c 751s| 1140k| 127 | 13612 | 0.0 | 17M| 224 | - |1620 |6895 | 0 | 0 | 337 | 122k| 31 | 3.766538e+02 | 7.270000e+02 | 93.02%
781.49/781.82 c 757s| 1150k| 127 | 13612 | 0.0 | 17M| 224 | - |1620 |6899 | 0 | 0 | 337 | 123k| 31 | 3.766538e+02 | 7.270000e+02 | 93.02%
788.80/789.15 c 765s| 1160k| 121 | 13612 | 0.0 | 17M| 224 | - |1620 |6896 | 0 | 0 | 337 | 125k| 31 | 3.766538e+02 | 7.270000e+02 | 93.02%
802.70/803.07 c 778s| 1170k| 127 | 13612 | 0.0 | 17M| 224 | - |1620 |6902 | 0 | 0 | 337 | 129k| 31 | 3.766538e+02 | 7.270000e+02 | 93.02%
812.98/813.32 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
812.98/813.32 c 788s| 1180k| 125 | 13612 | 0.0 | 17M| 224 | - |1620 |6899 | 0 | 0 | 337 | 132k| 31 | 3.766538e+02 | 7.270000e+02 | 93.02%
821.18/821.59 c 796s| 1190k| 127 | 13612 | 0.0 | 17M| 224 | - |1620 |6901 | 0 | 0 | 337 | 135k| 31 | 3.766538e+02 | 7.270000e+02 | 93.02%
828.99/829.36 c 804s| 1200k| 126 | 13612 | 0.0 | 17M| 224 | - |1620 |6890 | 0 | 0 | 337 | 137k| 31 | 3.766538e+02 | 7.270000e+02 | 93.02%
835.98/836.32 c 811s| 1210k| 130 | 13612 | 0.0 | 17M| 224 | - |1620 |6896 | 0 | 0 | 337 | 138k| 31 | 3.766538e+02 | 7.270000e+02 | 93.02%
844.27/844.66 c 819s| 1220k| 130 | 13612 | 0.0 | 17M| 224 | - |1620 |6895 | 0 | 0 | 337 | 140k| 31 | 3.766538e+02 | 7.270000e+02 | 93.02%
851.97/852.38 c 826s| 1230k| 127 | 13612 | 0.0 | 17M| 224 | - |1620 |6896 | 0 | 0 | 337 | 141k| 31 | 3.766538e+02 | 7.270000e+02 | 93.02%
860.27/860.67 c 834s| 1240k| 131 | 13612 | 0.0 | 17M| 224 | - |1620 |6892 | 0 | 0 | 337 | 143k| 31 | 3.766538e+02 | 7.270000e+02 | 93.02%
869.46/869.83 c 843s| 1250k| 126 | 13612 | 0.0 | 17M| 224 | - |1620 |6895 | 0 | 0 | 337 | 145k| 31 | 3.766538e+02 | 7.270000e+02 | 93.02%
879.56/879.92 c 853s| 1260k| 131 | 13612 | 0.0 | 17M| 224 | - |1620 |6898 | 0 | 0 | 337 | 147k| 31 | 3.766538e+02 | 7.270000e+02 | 93.02%
887.45/887.84 c 861s| 1270k| 129 | 13612 | 0.0 | 17M| 224 | - |1620 |6892 | 0 | 0 | 337 | 148k| 31 | 3.766538e+02 | 7.270000e+02 | 93.02%
897.95/898.36 c 871s| 1280k| 128 | 13612 | 0.0 | 17M| 224 | - |1620 |6892 | 0 | 0 | 337 | 151k| 31 | 3.766538e+02 | 7.270000e+02 | 93.02%
907.15/907.59 c 880s| 1290k| 127 | 13612 | 0.0 | 17M| 224 | - |1620 |6892 | 0 | 0 | 337 | 152k| 31 | 3.766538e+02 | 7.270000e+02 | 93.02%
917.34/917.77 c 890s| 1300k| 131 | 13612 | 0.0 | 17M| 224 | - |1620 |6894 | 0 | 0 | 337 | 155k| 31 | 3.766538e+02 | 7.270000e+02 | 93.02%
926.84/927.23 c 899s| 1310k| 127 | 13612 | 0.0 | 17M| 224 | - |1620 |6892 | 0 | 0 | 337 | 157k| 31 | 3.766538e+02 | 7.270000e+02 | 93.02%
936.74/937.19 c 909s| 1320k| 131 | 13612 | 0.0 | 17M| 224 | - |1620 |6894 | 0 | 0 | 337 | 159k| 31 | 3.766538e+02 | 7.270000e+02 | 93.02%
946.94/947.40 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
946.94/947.40 c 919s| 1330k| 129 | 13612 | 0.0 | 17M| 224 | - |1620 |6895 | 0 | 0 | 337 | 161k| 31 | 3.766538e+02 | 7.270000e+02 | 93.02%
956.54/956.99 c 928s| 1340k| 126 | 13612 | 0.0 | 17M| 224 | - |1620 |6893 | 0 | 0 | 337 | 163k| 31 | 3.766538e+02 | 7.270000e+02 | 93.02%
966.32/966.71 c 938s| 1350k| 129 | 13612 | 0.0 | 17M| 224 | - |1620 |6894 | 0 | 0 | 337 | 165k| 31 | 3.766538e+02 | 7.270000e+02 | 93.02%
976.43/976.85 c 947s| 1360k| 127 | 13612 | 0.0 | 17M| 224 | - |1620 |6894 | 0 | 0 | 337 | 167k| 31 | 3.766538e+02 | 7.270000e+02 | 93.02%
986.62/987.06 c 957s| 1370k| 132 | 13612 | 0.0 | 17M| 224 | - |1620 |6893 | 0 | 0 | 337 | 170k| 31 | 3.766538e+02 | 7.270000e+02 | 93.02%
998.71/999.12 c 969s| 1380k| 127 | 13612 | 0.0 | 17M| 224 | - |1620 |6895 | 0 | 0 | 337 | 172k| 31 | 3.766538e+02 | 7.270000e+02 | 93.02%
1010.71/1011.14 c 981s| 1390k| 125 | 13612 | 0.0 | 17M| 224 | - |1620 |6899 | 0 | 0 | 337 | 175k| 31 | 3.766538e+02 | 7.270000e+02 | 93.02%
1018.81/1019.26 c 989s| 1400k| 129 | 13612 | 0.0 | 17M| 224 | - |1620 |6894 | 0 | 0 | 337 | 177k| 31 | 3.766538e+02 | 7.270000e+02 | 93.02%
1024.50/1025.00 c 994s| 1410k| 128 | 13612 | 0.0 | 17M| 224 | - |1620 |6897 | 0 | 0 | 337 | 178k| 31 | 3.766538e+02 | 7.270000e+02 | 93.02%
1031.10/1031.53 c 1001s| 1420k| 135 | 13612 | 0.0 | 17M| 224 | - |1620 |6893 | 0 | 0 | 337 | 179k| 31 | 3.766538e+02 | 7.270000e+02 | 93.02%
1036.91/1037.33 c 1006s| 1430k| 128 | 13612 | 0.0 | 17M| 224 | - |1620 |6897 | 0 | 0 | 337 | 180k| 31 | 3.766538e+02 | 7.270000e+02 | 93.02%
1042.90/1043.33 c 1012s| 1440k| 130 | 13612 | 0.0 | 17M| 224 | - |1620 |6892 | 0 | 0 | 337 | 181k| 31 | 3.766538e+02 | 7.270000e+02 | 93.02%
1049.19/1049.69 c 1018s| 1450k| 124 | 13612 | 0.0 | 17M| 224 | - |1620 |6894 | 0 | 0 | 337 | 183k| 31 | 3.766538e+02 | 7.270000e+02 | 93.02%
1055.20/1055.61 c 1024s| 1460k| 125 | 13612 | 0.0 | 17M| 224 | - |1620 |6893 | 0 | 0 | 337 | 184k| 31 | 3.766538e+02 | 7.270000e+02 | 93.02%
1060.90/1061.38 c 1030s| 1470k| 125 | 13612 | 0.0 | 17M| 224 | - |1620 |6899 | 0 | 0 | 337 | 185k| 31 | 3.766538e+02 | 7.270000e+02 | 93.02%
1068.09/1068.58 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1068.09/1068.58 c 1037s| 1480k| 129 | 13612 | 0.0 | 17M| 224 | - |1620 |6897 | 0 | 0 | 337 | 186k| 31 | 3.766538e+02 | 7.270000e+02 | 93.02%
1075.59/1076.06 c 1044s| 1490k| 127 | 13612 | 0.0 | 17M| 224 | - |1620 |6896 | 0 | 0 | 337 | 188k| 31 | 3.766538e+02 | 7.270000e+02 | 93.02%
1082.00/1082.46 c 1050s| 1500k| 127 | 13612 | 0.0 | 17M| 224 | - |1620 |6901 | 0 | 0 | 337 | 189k| 31 | 3.766538e+02 | 7.270000e+02 | 93.02%
1088.88/1089.34 c 1057s| 1510k| 123 | 13612 | 0.0 | 17M| 224 | - |1620 |6899 | 0 | 0 | 337 | 191k| 31 | 3.766538e+02 | 7.270000e+02 | 93.02%
1099.78/1100.29 c 1068s| 1520k| 126 | 13612 | 0.0 | 17M| 224 | - |1620 |6892 | 0 | 0 | 337 | 194k| 31 | 3.766538e+02 | 7.270000e+02 | 93.02%
1107.08/1107.56 c 1075s| 1530k| 124 | 13612 | 0.0 | 17M| 224 | - |1620 |6898 | 0 | 0 | 337 | 195k| 31 | 3.766538e+02 | 7.270000e+02 | 93.02%
1112.58/1113.07 c 1080s| 1540k| 128 | 13612 | 0.0 | 17M| 224 | - |1620 |6897 | 0 | 0 | 337 | 196k| 31 | 3.766538e+02 | 7.270000e+02 | 93.02%
1117.97/1118.40 c 1085s| 1550k| 127 | 13612 | 0.0 | 17M| 224 | - |1620 |6895 | 0 | 0 | 337 | 197k| 31 | 3.766538e+02 | 7.270000e+02 | 93.02%
1124.37/1124.82 c 1091s| 1560k| 128 | 13612 | 0.0 | 17M| 224 | - |1620 |6893 | 0 | 0 | 337 | 198k| 31 | 3.766538e+02 | 7.270000e+02 | 93.02%
1130.28/1130.77 c 1097s| 1570k| 128 | 13612 | 0.0 | 17M| 224 | - |1620 |6895 | 0 | 0 | 337 | 200k| 31 | 3.766538e+02 | 7.270000e+02 | 93.02%
1136.66/1137.14 c 1103s| 1580k| 126 | 13612 | 0.0 | 17M| 224 | - |1620 |6895 | 0 | 0 | 337 | 201k| 31 | 3.766538e+02 | 7.270000e+02 | 93.02%
1143.87/1144.38 c 1110s| 1590k| 127 | 13612 | 0.0 | 17M| 224 | - |1620 |6894 | 0 | 0 | 337 | 202k| 31 | 3.766538e+02 | 7.270000e+02 | 93.02%
1149.56/1150.05 c 1116s| 1600k| 126 | 13612 | 0.0 | 17M| 224 | - |1620 |6893 | 0 | 0 | 337 | 203k| 31 | 3.766538e+02 | 7.270000e+02 | 93.02%
1155.75/1156.26 c 1122s| 1610k| 127 | 13612 | 0.0 | 17M| 224 | - |1620 |6900 | 0 | 0 | 337 | 205k| 31 | 3.766538e+02 | 7.270000e+02 | 93.02%
1161.66/1162.11 c 1127s| 1620k| 126 | 13612 | 0.0 | 17M| 224 | - |1620 |6897 | 0 | 0 | 337 | 206k| 31 | 3.766538e+02 | 7.270000e+02 | 93.02%
1168.87/1169.39 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1168.87/1169.39 c 1135s| 1630k| 129 | 13612 | 0.0 | 17M| 224 | - |1620 |6902 | 0 | 0 | 337 | 208k| 31 | 3.766538e+02 | 7.270000e+02 | 93.02%
1177.45/1177.92 c 1143s| 1640k| 131 | 13612 | 0.0 | 17M| 224 | - |1620 |6891 | 0 | 0 | 337 | 210k| 31 | 3.766538e+02 | 7.270000e+02 | 93.02%
1188.74/1189.26 c 1154s| 1650k| 130 | 13612 | 0.0 | 17M| 224 | - |1620 |6894 | 0 | 0 | 337 | 214k| 31 | 3.766538e+02 | 7.270000e+02 | 93.02%
1198.74/1199.28 c 1164s| 1660k| 126 | 13612 | 0.0 | 17M| 224 | - |1620 |6895 | 0 | 0 | 337 | 217k| 31 | 3.766538e+02 | 7.270000e+02 | 93.02%
1209.04/1209.53 c 1174s| 1670k| 130 | 13612 | 0.0 | 17M| 224 | - |1620 |6887 | 0 | 0 | 337 | 220k| 31 | 3.766538e+02 | 7.270000e+02 | 93.02%
1220.55/1221.09 c 1185s| 1680k| 127 | 13612 | 0.0 | 17M| 224 | - |1620 |6886 | 0 | 0 | 337 | 223k| 31 | 3.766538e+02 | 7.270000e+02 | 93.02%
1232.54/1233.09 c 1197s| 1690k| 124 | 13612 | 0.0 | 17M| 224 | - |1620 |6901 | 0 | 0 | 337 | 227k| 31 | 3.766538e+02 | 7.270000e+02 | 93.02%
1242.63/1243.10 c 1207s| 1700k| 134 | 13612 | 0.0 | 17M| 224 | - |1620 |6893 | 0 | 0 | 337 | 229k| 31 | 3.766538e+02 | 7.270000e+02 | 93.02%
1251.62/1252.15 c 1215s| 1710k| 137 | 13612 | 0.0 | 17M| 224 | - |1620 |6899 | 0 | 0 | 337 | 231k| 31 | 3.766538e+02 | 7.270000e+02 | 93.02%
1258.33/1258.88 c 1222s| 1720k| 133 | 13612 | 0.0 | 17M| 224 | - |1620 |6893 | 0 | 0 | 337 | 232k| 31 | 3.766538e+02 | 7.270000e+02 | 93.02%
1266.32/1266.81 c 1230s| 1730k| 132 | 13612 | 0.0 | 17M| 224 | - |1620 |6897 | 0 | 0 | 337 | 234k| 31 | 3.766538e+02 | 7.270000e+02 | 93.02%
1273.71/1274.26 c 1237s| 1740k| 130 | 13612 | 0.0 | 17M| 224 | - |1620 |6907 | 0 | 0 | 337 | 235k| 31 | 3.766538e+02 | 7.270000e+02 | 93.02%
1282.62/1283.18 c 1246s| 1750k| 132 | 13612 | 0.0 | 17M| 224 | - |1620 |6898 | 0 | 0 | 337 | 237k| 31 | 3.766538e+02 | 7.270000e+02 | 93.02%
1290.01/1290.53 c 1253s| 1760k| 131 | 13612 | 0.0 | 17M| 224 | - |1620 |6897 | 0 | 0 | 337 | 239k| 31 | 3.766538e+02 | 7.270000e+02 | 93.02%
1299.41/1299.91 c 1262s| 1770k| 135 | 13612 | 0.0 | 17M| 224 | - |1620 |6897 | 0 | 0 | 337 | 241k| 31 | 3.766538e+02 | 7.270000e+02 | 93.02%
1309.91/1310.46 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1309.91/1310.46 c 1272s| 1780k| 128 | 13612 | 0.0 | 17M| 224 | - |1620 |6901 | 0 | 0 | 337 | 243k| 31 | 3.766538e+02 | 7.270000e+02 | 93.02%
1317.60/1318.14 c 1280s| 1790k| 130 | 13612 | 0.0 | 17M| 224 | - |1620 |6900 | 0 | 0 | 337 | 245k| 31 | 3.766538e+02 | 7.270000e+02 | 93.02%
1329.80/1330.39 c 1292s| 1800k| 128 | 13612 | 0.0 | 17M| 224 | - |1620 |6908 | 0 | 0 | 337 | 248k| 31 | 3.766538e+02 | 7.270000e+02 | 93.02%
1337.99/1338.53 c 1299s| 1810k| 124 | 13612 | 0.0 | 17M| 224 | - |1620 |6906 | 0 | 0 | 337 | 249k| 31 | 3.766538e+02 | 7.270000e+02 | 93.02%
1348.09/1348.61 c 1309s| 1820k| 131 | 13612 | 0.0 | 17M| 224 | - |1620 |6905 | 0 | 0 | 337 | 252k| 31 | 3.766538e+02 | 7.270000e+02 | 93.02%
1358.78/1359.38 c 1320s| 1830k| 128 | 13612 | 0.0 | 17M| 224 | - |1620 |6900 | 0 | 0 | 337 | 254k| 31 | 3.766538e+02 | 7.270000e+02 | 93.02%
1370.58/1371.11 c 1331s| 1840k| 130 | 13612 | 0.0 | 17M| 224 | - |1620 |6905 | 0 | 0 | 337 | 257k| 31 | 3.766538e+02 | 7.270000e+02 | 93.02%
1379.18/1379.79 c 1340s| 1850k| 132 | 13612 | 0.0 | 17M| 224 | - |1620 |6899 | 0 | 0 | 337 | 258k| 31 | 3.766538e+02 | 7.270000e+02 | 93.02%
1391.77/1392.31 c 1352s| 1860k| 131 | 13612 | 0.0 | 17M| 224 | - |1620 |6901 | 0 | 0 | 337 | 261k| 31 | 3.766538e+02 | 7.270000e+02 | 93.02%
1402.16/1402.70 c 1362s| 1870k| 135 | 13612 | 0.0 | 17M| 224 | - |1620 |6898 | 0 | 0 | 337 | 263k| 31 | 3.766538e+02 | 7.270000e+02 | 93.02%
1409.68/1410.22 c 1369s| 1880k| 127 | 13612 | 0.0 | 17M| 224 | - |1620 |6898 | 0 | 0 | 337 | 265k| 31 | 3.766538e+02 | 7.270000e+02 | 93.02%
1416.06/1416.68 c 1376s| 1890k| 130 | 13612 | 0.0 | 17M| 224 | - |1620 |6899 | 0 | 0 | 337 | 266k| 31 | 3.766538e+02 | 7.270000e+02 | 93.02%
1421.67/1422.22 c 1381s| 1900k| 128 | 13612 | 0.0 | 17M| 224 | - |1620 |6898 | 0 | 0 | 337 | 267k| 31 | 3.766538e+02 | 7.270000e+02 | 93.02%
1428.96/1429.55 c 1388s| 1910k| 122 | 13612 | 0.0 | 17M| 224 | - |1620 |6908 | 0 | 0 | 337 | 269k| 31 | 3.766538e+02 | 7.270000e+02 | 93.02%
1436.85/1437.49 c 1396s| 1920k| 126 | 13612 | 0.0 | 17M| 224 | - |1620 |6899 | 0 | 0 | 337 | 271k| 31 | 3.766538e+02 | 7.270000e+02 | 93.02%
1444.26/1444.84 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1444.26/1444.84 c 1403s| 1930k| 127 | 13612 | 0.0 | 17M| 224 | - |1620 |6898 | 0 | 0 | 337 | 273k| 31 | 3.766538e+02 | 7.270000e+02 | 93.02%
1453.05/1453.66 c 1412s| 1940k| 122 | 13612 | 0.0 | 17M| 224 | - |1620 |6908 | 0 | 0 | 337 | 275k| 31 | 3.766538e+02 | 7.270000e+02 | 93.02%
1466.44/1467.05 c 1425s| 1950k| 130 | 13612 | 0.0 | 17M| 224 | - |1620 |6902 | 0 | 0 | 337 | 278k| 31 | 3.766538e+02 | 7.270000e+02 | 93.02%
1480.05/1480.63 c 1438s| 1960k| 127 | 13612 | 0.0 | 17M| 224 | - |1620 |6904 | 0 | 0 | 337 | 281k| 31 | 3.766538e+02 | 7.270000e+02 | 93.02%
1494.24/1494.88 c 1452s| 1970k| 129 | 13612 | 0.0 | 17M| 224 | - |1620 |6901 | 0 | 0 | 337 | 285k| 31 | 3.766538e+02 | 7.270000e+02 | 93.02%
1508.03/1508.66 c 1465s| 1980k| 128 | 13612 | 0.0 | 17M| 224 | - |1620 |6909 | 0 | 0 | 337 | 288k| 31 | 3.766538e+02 | 7.270000e+02 | 93.02%
1521.52/1522.15 c 1478s| 1990k| 130 | 13612 | 0.0 | 17M| 224 | - |1620 |6898 | 0 | 0 | 337 | 291k| 31 | 3.766538e+02 | 7.270000e+02 | 93.02%
1535.62/1536.29 c 1492s| 2000k| 130 | 13612 | 0.0 | 17M| 224 | - |1620 |6899 | 0 | 0 | 337 | 295k| 31 | 3.766538e+02 | 7.270000e+02 | 93.02%
1545.93/1546.57 c 1502s| 2010k| 129 | 13612 | 0.0 | 17M| 224 | - |1620 |6900 | 0 | 0 | 337 | 297k| 31 | 3.766538e+02 | 7.270000e+02 | 93.02%
1551.32/1551.91 c 1507s| 2020k| 130 | 13612 | 0.0 | 17M| 224 | - |1620 |6901 | 0 | 0 | 337 | 297k| 31 | 3.766538e+02 | 7.270000e+02 | 93.02%
1557.02/1557.61 c 1513s| 2030k| 127 | 13612 | 0.0 | 17M| 224 | - |1620 |6901 | 0 | 0 | 337 | 298k| 31 | 3.766538e+02 | 7.270000e+02 | 93.02%
1562.61/1563.23 c 1518s| 2040k| 127 | 13612 | 0.0 | 17M| 224 | - |1620 |6901 | 0 | 0 | 337 | 298k| 31 | 3.766538e+02 | 7.270000e+02 | 93.02%
1568.81/1569.41 c 1524s| 2050k| 131 | 13612 | 0.0 | 17M| 224 | - |1620 |6907 | 0 | 0 | 337 | 299k| 31 | 3.766538e+02 | 7.270000e+02 | 93.02%
1573.41/1574.07 c 1529s| 2060k| 128 | 13612 | 0.0 | 17M| 224 | - |1620 |6898 | 0 | 0 | 337 | 300k| 31 | 3.766538e+02 | 7.270000e+02 | 93.02%
1579.40/1580.02 c 1535s| 2070k| 126 | 13612 | 0.0 | 17M| 224 | - |1620 |6905 | 0 | 0 | 337 | 301k| 31 | 3.766538e+02 | 7.270000e+02 | 93.02%
1584.20/1584.89 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1584.20/1584.89 c 1539s| 2080k| 128 | 13612 | 0.0 | 17M| 224 | - |1620 |6903 | 0 | 0 | 337 | 301k| 31 | 3.766538e+02 | 7.270000e+02 | 93.02%
1589.50/1590.17 c 1544s| 2090k| 127 | 13612 | 0.0 | 17M| 224 | - |1620 |6898 | 0 | 0 | 337 | 302k| 31 | 3.766538e+02 | 7.270000e+02 | 93.02%
1595.19/1595.84 c 1550s| 2100k| 125 | 13612 | 0.0 | 17M| 224 | - |1620 |6899 | 0 | 0 | 337 | 303k| 31 | 3.766538e+02 | 7.270000e+02 | 93.02%
1599.70/1600.31 c 1554s| 2110k| 128 | 13612 | 0.0 | 17M| 224 | - |1620 |6899 | 0 | 0 | 337 | 303k| 31 | 3.766538e+02 | 7.270000e+02 | 93.02%
1604.50/1605.11 c 1559s| 2120k| 128 | 13612 | 0.0 | 17M| 224 | - |1620 |6900 | 0 | 0 | 337 | 304k| 31 | 3.766538e+02 | 7.270000e+02 | 93.02%
1609.80/1610.44 c 1564s| 2130k| 125 | 13612 | 0.0 | 17M| 224 | - |1620 |6903 | 0 | 0 | 337 | 304k| 31 | 3.766538e+02 | 7.270000e+02 | 93.02%
1616.19/1616.83 c 1570s| 2140k| 125 | 13612 | 0.0 | 17M| 224 | - |1620 |6902 | 0 | 0 | 337 | 305k| 31 | 3.766538e+02 | 7.270000e+02 | 93.02%
1622.89/1623.59 c 1577s| 2150k| 128 | 13612 | 0.0 | 17M| 224 | - |1620 |6901 | 0 | 0 | 337 | 306k| 31 | 3.766538e+02 | 7.270000e+02 | 93.02%
1630.69/1631.34 c 1584s| 2160k| 129 | 13612 | 0.0 | 17M| 224 | - |1620 |6898 | 0 | 0 | 337 | 308k| 31 | 3.766538e+02 | 7.270000e+02 | 93.02%
1640.18/1640.81 c 1594s| 2170k| 130 | 13612 | 0.0 | 17M| 224 | - |1620 |6899 | 0 | 0 | 337 | 310k| 31 | 3.766538e+02 | 7.270000e+02 | 93.02%
1646.98/1647.60 c 1600s| 2180k| 131 | 13612 | 0.0 | 17M| 224 | - |1620 |6894 | 0 | 0 | 337 | 311k| 31 | 3.766538e+02 | 7.270000e+02 | 93.02%
1657.18/1657.82 c 1610s| 2190k| 127 | 13612 | 0.0 | 17M| 224 | - |1620 |6894 | 0 | 0 | 337 | 313k| 31 | 3.766538e+02 | 7.270000e+02 | 93.02%
1668.57/1669.24 c 1621s| 2200k| 131 | 13612 | 0.0 | 17M| 224 | - |1620 |6893 | 0 | 0 | 337 | 316k| 31 | 3.766538e+02 | 7.270000e+02 | 93.02%
1681.18/1681.80 c 1633s| 2210k| 129 | 13612 | 0.0 | 17M| 224 | - |1620 |6895 | 0 | 0 | 337 | 319k| 31 | 3.766538e+02 | 7.270000e+02 | 93.02%
1691.76/1692.43 c 1644s| 2220k| 126 | 13612 | 0.0 | 17M| 224 | - |1620 |6897 | 0 | 0 | 337 | 321k| 31 | 3.766538e+02 | 7.270000e+02 | 93.02%
1699.86/1700.54 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1699.86/1700.54 c 1652s| 2230k| 128 | 13612 | 0.0 | 17M| 224 | - |1620 |6893 | 0 | 0 | 337 | 323k| 31 | 3.766538e+02 | 7.270000e+02 | 93.02%
1710.56/1711.26 c 1662s| 2240k| 129 | 13612 | 0.0 | 17M| 224 | - |1620 |6902 | 0 | 0 | 337 | 325k| 31 | 3.766538e+02 | 7.270000e+02 | 93.02%
1723.15/1723.88 c 1675s| 2250k| 126 | 13612 | 0.0 | 17M| 224 | - |1620 |6897 | 0 | 0 | 337 | 328k| 31 | 3.766538e+02 | 7.270000e+02 | 93.02%
1733.95/1734.70 c 1685s| 2260k| 131 | 13612 | 0.0 | 17M| 224 | - |1620 |6897 | 0 | 0 | 337 | 331k| 31 | 3.766538e+02 | 7.270000e+02 | 93.02%
1747.34/1748.03 c 1698s| 2270k| 128 | 13612 | 0.0 | 17M| 224 | - |1620 |6897 | 0 | 0 | 337 | 334k| 31 | 3.766538e+02 | 7.270000e+02 | 93.02%
1760.03/1760.76 c 1711s| 2280k| 131 | 13612 | 0.0 | 17M| 224 | - |1620 |6895 | 0 | 0 | 337 | 337k| 31 | 3.766538e+02 | 7.270000e+02 | 93.02%
1772.33/1773.05 c 1723s| 2290k| 129 | 13612 | 0.0 | 17M| 224 | - |1620 |6894 | 0 | 0 | 337 | 340k| 31 | 3.766538e+02 | 7.270000e+02 | 93.02%
1781.63/1782.33 c 1732s| 2300k| 130 | 13612 | 0.0 | 17M| 224 | - |1620 |6894 | 0 | 0 | 337 | 342k| 31 | 3.766538e+02 | 7.270000e+02 | 93.02%
1793.72/1794.46 c 1743s| 2310k| 128 | 13612 | 0.0 | 17M| 224 | - |1620 |6894 | 0 | 0 | 337 | 345k| 31 | 3.766538e+02 | 7.270000e+02 | 93.02%
1800.04/1800.71 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.04/1800.71 c
1800.04/1800.71 c SCIP Status : solving was interrupted [user interrupt]
1800.04/1800.71 c Solving Time (sec) : 1749.53
1800.04/1800.71 c Solving Nodes : 2313681
1800.04/1800.71 c Primal Bound : +7.27000000000000e+02 (3 solutions)
1800.04/1800.71 c Dual Bound : +3.76653770303580e+02
1800.04/1800.71 c Gap : 93.02 %
1800.04/1800.72 s SATISFIABLE
1800.04/1800.72 v -x1632 -x1631 -x1630 -x1629 x1628 -x1627 x1626 -x1625 -x1624 -x1623 -x1622 x1621 x1620 -x1619 x1618 -x1617 x1616 -x1615 x1614 -x1613
1800.04/1800.72 v -x1612 x1611 x1610 -x1609 -x1608 -x1607 x1606 -x1605 x1604 -x1603 x1602 -x1601 -x1600 x1599 x1598 -x1597 -x1596 x1595 x1594
1800.04/1800.72 v -x1593 x1592 -x1591 x1590 -x1589 -x1588 -x1587 x1586 -x1585 -x1584 -x1583 -x1582 x1581 x1580 -x1579 x1578 -x1577 -x1576
1800.04/1800.72 v -x1575 -x1574 -x1573 -x1572 x1571 x1570 -x1569 x1568 -x1567 x1566 -x1565 x1564 -x1563 x1562 -x1561 x1560 -x1559 x1558 -x1557
1800.04/1800.72 v x1556 -x1555 x1554 -x1553 -x1552 x1551 x1550 -x1549 x1548 -x1547 x1546 -x1545 x1544 -x1543 x1542 -x1541 -x1540 x1539 x1538 -x1537
1800.04/1800.72 v -x1536 x1535 x1534 -x1533 x1532 -x1531 x1530 -x1529 x1528 -x1527 x1526 -x1525 -x1524 x1523 x1522 -x1521 -x1520 -x1519 x1518
1800.04/1800.72 v -x1517 -x1516 -x1515 x1514 -x1513 -x1512 -x1511 -x1510 x1509 x1508 -x1507 x1506 -x1505 -x1504 -x1503 -x1502 -x1501 x1500
1800.04/1800.72 v -x1499 x1498 -x1497 x1496 -x1495 x1494 -x1493 -x1492 x1491 x1490 -x1489 -x1488 x1487 x1486 -x1485 x1484 -x1483 x1482 -x1481 x1480
1800.04/1800.72 v -x1479 x1478 -x1477 -x1476 -x1475 x1474 -x1473 -x1472 -x1471 x1470 -x1469 -x1468 x1467 x1466 -x1465 -x1464 x1463 x1462 -x1461
1800.04/1800.72 v x1460 -x1459 x1458 -x1457 -x1456 -x1455 x1454 -x1453 -x1452 -x1451 x1450 -x1449 x1448 -x1447 x1446 -x1445 -x1444 x1443
1800.04/1800.72 v x1442 -x1441 -x1440 x1439 x1438 -x1437 x1436 -x1435 x1434 -x1433 -x1432 -x1431 x1430 -x1429 -x1428 -x1427 x1426 -x1425 x1424
1800.04/1800.72 v -x1423 x1422 -x1421 -x1420 x1419 x1418 -x1417 x1416 -x1415 x1414 -x1413 x1412 -x1411 x1410 -x1409 -x1408 x1407 x1406 -x1405 -x1404
1800.04/1800.72 v x1403 x1402 -x1401 -x1400 -x1399 x1398 -x1397 -x1396 -x1395 x1394 -x1393 -x1392 x1391 x1390 -x1389 x1388 -x1387 x1386 -x1385
1800.04/1800.72 v x1384 -x1383 x1382 -x1381 x1380 -x1379 x1378 -x1377 x1376 -x1375 x1374 -x1373 -x1372 x1371 x1370 -x1369 -x1368 x1367 x1366
1800.04/1800.72 v -x1365 x1364 -x1363 x1362 -x1361 x1360 -x1359 x1358 -x1357 -x1356 x1355 x1354 -x1353 x1352 -x1351 x1350 -x1349 x1348 -x1347
1800.04/1800.72 v x1346 -x1345 -x1344 -x1343 -x1342 -x1341 x1340 -x1339 x1338 -x1337 -x1336 -x1335 -x1334 x1333 -x1332 x1331 x1330 -x1329 x1328
1800.04/1800.72 v -x1327 x1326 -x1325 x1324 -x1323 x1322 -x1321 -x1320 x1319 x1318 -x1317 x1316 -x1315 x1314 -x1313 x1312 -x1311 x1310 -x1309
1800.04/1800.72 v x1308 -x1307 x1306 -x1305 x1304 -x1303 x1302 -x1301 -x1300 x1299 x1298 -x1297 -x1296 x1295 x1294 -x1293 x1292 -x1291 x1290
1800.04/1800.72 v -x1289 x1288 -x1287 x1286 -x1285 -x1284 -x1283 x1282 -x1281 -x1280 x1279 x1278 -x1277 -x1276 -x1275 x1274 -x1273 -x1272 x1271
1800.04/1800.72 v x1270 -x1269 x1268 -x1267 x1266 -x1265 -x1264 -x1263 x1262 -x1261 -x1260 x1259 x1258 -x1257 x1256 -x1255 x1254 -x1253 -x1252
1800.04/1800.72 v -x1251 x1250 -x1249 -x1248 x1247 x1246 -x1245 x1244 -x1243 x1242 -x1241 -x1240 -x1239 x1238 -x1237 x1236 -x1235 x1234 -x1233
1800.04/1800.72 v x1232 -x1231 x1230 -x1229 -x1228 x1227 x1226 -x1225 x1224 -x1223 x1222 -x1221 x1220 -x1219 x1218 -x1217 -x1216 x1215 x1214
1800.04/1800.72 v -x1213 -x1212 x1211 x1210 -x1209 x1208 -x1207 x1206 -x1205 x1204 -x1203 x1202 -x1201 x1200 -x1199 x1198 -x1197 x1196 -x1195 x1194
1800.04/1800.72 v -x1193 -x1192 x1191 x1190 -x1189 -x1188 x1187 x1186 -x1185 x1184 -x1183 x1182 -x1181 -x1180 -x1179 x1178 -x1177 -x1176 x1175
1800.04/1800.72 v -x1174 -x1173 x1172 -x1171 x1170 -x1169 -x1168 -x1167 -x1166 -x1165 -x1164 x1163 x1162 -x1161 x1160 -x1159 -x1158 -x1157
1800.04/1800.72 v x1156 -x1155 x1154 -x1153 x1152 -x1151 x1150 -x1149 x1148 -x1147 x1146 -x1145 -x1144 x1143 x1142 -x1141 -x1140 x1139 x1138 -x1137
1800.04/1800.72 v x1136 -x1135 x1134 -x1133 x1132 -x1131 x1130 -x1129 x1128 -x1127 x1126 -x1125 x1124 -x1123 -x1122 -x1121 -x1120 x1119 x1118
1800.04/1800.72 v -x1117 -x1116 x1115 x1114 -x1113 x1112 -x1111 x1110 -x1109 x1108 -x1107 x1106 -x1105 -x1104 x1103 x1102 -x1101 x1100 -x1099
1800.04/1800.72 v x1098 -x1097 -x1096 -x1095 x1094 -x1093 x1092 -x1091 x1090 -x1089 x1088 -x1087 x1086 -x1085 -x1084 x1083 x1082 -x1081 x1080
1800.04/1800.72 v -x1079 x1078 -x1077 x1076 -x1075 x1074 -x1073 -x1072 x1071 x1070 -x1069 -x1068 x1067 x1066 -x1065 x1064 -x1063 x1062 -x1061
1800.04/1800.72 v x1060 -x1059 x1058 -x1057 -x1056 x1055 x1054 -x1053 x1052 -x1051 x1050 -x1049 x1048 -x1047 x1046 -x1045 -x1044 x1043 x1042
1800.04/1800.72 v -x1041 x1040 -x1039 x1038 -x1037 x1036 -x1035 x1034 -x1033 -x1032 x1031 x1030 -x1029 x1028 -x1027 x1026 -x1025 x1024 -x1023 x1022
1800.04/1800.72 v -x1021 -x1020 x1019 x1018 -x1017 x1016 -x1015 x1014 -x1013 x1012 -x1011 x1010 -x1009 x1008 -x1007 x1006 -x1005 x1004 -x1003
1800.04/1800.72 v x1002 -x1001 -x1000 x999 x998 -x997 -x996 x995 x994 -x993 x992 -x991 x990 -x989 -x988 -x987 x986 -x985 x984 -x983 x982 -x981
1800.04/1800.72 v x980 -x979 x978 -x977 -x976 x975 x974 -x973 x972 -x971 x970 -x969 x968 -x967 x966 -x965 -x964 x963 x962 -x961 -x960 x959
1800.04/1800.72 v -x958 -x957 x956 -x955 x954 -x953 -x952 -x951 -x950 -x949 -x948 x947 x946 -x945 x944 -x943 x942 -x941 -x940 -x939 x938 -x937
1800.04/1800.72 v -x936 -x935 -x934 x933 x932 -x931 x930 -x929 -x928 -x927 -x926 -x925 -x924 x923 x922 -x921 x920 -x919 x918 -x917 -x916 -x915
1800.04/1800.72 v x914 -x913 x912 -x911 x910 -x909 x908 -x907 x906 -x905 -x904 x903 x902 -x901 -x900 x899 x898 -x897 x896 -x895 x894 -x893 -x892
1800.04/1800.72 v -x891 x890 -x889 -x888 x887 x886 -x885 x884 -x883 -x882 -x881 x880 -x879 x878 -x877 -x876 -x875 x874 -x873 x872 -x871 -x870
1800.04/1800.72 v x869 x868 -x867 x866 -x865 -x864 x863 x862 -x861 x860 -x859 x858 -x857 x856 -x855 x854 -x853 x852 -x851 x850 -x849 x848 -x847
1800.04/1800.72 v x846 -x845 -x844 x843 x842 -x841 x840 -x839 x838 -x837 x836 -x835 x834 -x833 -x832 x831 x830 -x829 x828 -x827 x826 -x825 x824
1800.04/1800.72 v -x823 -x822 x821 -x820 -x819 x818 -x817 x816 -x815 x814 -x813 x812 -x811 x810 -x809 -x808 x807 x806 -x805 x804 -x803 x802
1800.04/1800.72 v -x801 x800 -x799 x798 -x797 -x796 x795 x794 -x793 -x792 -x791 x790 -x789 x788 -x787 x786 -x785 -x784 x783 x782 -x781 -x780 x779
1800.04/1800.72 v x778 -x777 x776 -x775 x774 -x773 x772 -x771 x770 -x769 -x768 x767 x766 -x765 x764 -x763 x762 -x761 x760 -x759 x758 -x757 x756
1800.04/1800.72 v -x755 x754 -x753 x752 -x751 -x750 x749 x748 -x747 x746 -x745 -x744 x743 x742 -x741 x740 -x739 x738 -x737 x736 -x735 x734
1800.04/1800.72 v -x733 x732 -x731 x730 -x729 x728 -x727 x726 -x725 -x724 x723 x722 -x721 x720 -x719 x718 -x717 x716 -x715 x714 -x713 -x712 x711
1800.04/1800.72 v x710 -x709 x708 -x707 x706 -x705 x704 -x703 x702 -x701 -x700 x699 x698 -x697 x696 -x695 x694 -x693 x692 -x691 x690 -x689 -x688
1800.04/1800.72 v x687 x686 -x685 -x684 x683 x682 -x681 x680 -x679 x678 -x677 x676 -x675 x674 -x673 -x672 -x671 x670 -x669 x668 -x667 x666
1800.04/1800.72 v -x665 -x664 x663 x662 -x661 x660 -x659 x658 -x657 x656 -x655 x654 -x653 -x652 x651 x650 -x649 -x648 x647 x646 -x645 x644 -x643
1800.04/1800.72 v x642 -x641 x640 -x639 x638 -x637 -x636 x635 x634 -x633 x632 -x631 x630 -x629 x628 -x627 x626 -x625 x624 -x623 x622 -x621 x620
1800.04/1800.72 v -x619 x618 -x617 -x616 x615 x614 -x613 -x612 x611 x610 -x609 x608 -x607 x606 -x605 x604 -x603 x602 -x601 -x600 x599 x598 -x597
1800.04/1800.72 v x596 -x595 x594 -x593 x592 -x591 x590 -x589 x588 -x587 x586 -x585 x584 -x583 x582 -x581 -x580 x579 x578 -x577 -x576 x575
1800.04/1800.72 v x574 -x573 x572 -x571 x570 -x569 x568 -x567 x566 -x565 -x564 x563 x562 -x561 x560 -x559 x558 -x557 x556 -x555 x554 -x553 x552
1800.04/1800.72 v -x551 x550 -x549 x548 -x547 -x546 x545 -x544 -x543 x542 -x541 -x540 x539 x538 -x537 x536 -x535 x534 -x533 -x532 -x531 x530
1800.04/1800.72 v -x529 -x528 x527 x526 -x525 x524 -x523 x522 -x521 x520 -x519 x518 -x517 -x516 x515 x514 -x513 x512 -x511 x510 -x509 x508 -x507
1800.04/1800.72 v x506 -x505 -x504 -x503 x502 -x501 x500 -x499 -x498 -x497 -x496 x495 x494 -x493 -x492 x491 x490 -x489 x488 -x487 x486 -x485
1800.04/1800.72 v x484 -x483 x482 -x481 -x480 -x479 x478 -x477 x476 -x475 -x474 -x473 -x472 x471 x470 -x469 -x468 -x467 x466 -x465 x464 -x463 -x462
1800.04/1800.72 v x461 x460 -x459 x458 -x457 -x456 -x455 x454 -x453 x452 -x451 x450 -x449 -x448 x447 x446 -x445 x444 -x443 x442 -x441 x440
1800.04/1800.72 v -x439 x438 -x437 -x436 x435 x434 -x433 -x432 -x431 x430 -x429 -x428 x427 x426 -x425 -x424 -x423 x422 -x421 -x420 -x419 x418
1800.04/1800.72 v -x417 x416 -x415 -x414 x413 -x412 -x411 x410 -x409 -x408 x407 x406 -x405 x404 -x403 x402 -x401 x400 -x399 x398 -x397 -x396 -x395
1800.04/1800.72 v x394 -x393 x392 -x391 x390 -x389 -x388 x387 x386 -x385 x384 -x383 x382 -x381 x380 -x379 x378 -x377 -x376 x375 x374 -x373
1800.04/1800.72 v -x372 -x371 x370 -x369 x368 -x367 x366 -x365 -x364 x363 x362 -x361 -x360 x359 -x358 -x357 x356 -x355 x354 -x353 -x352 -x351 -x350
1800.04/1800.72 v -x349 -x348 -x347 x346 -x345 x344 -x343 x342 -x341 -x340 x339 x338 -x337 x336 -x335 x334 -x333 x332 -x331 x330 -x329 -x328
1800.04/1800.72 v x327 x326 -x325 -x324 -x323 x322 -x321 x320 -x319 x318 -x317 -x316 x315 x314 -x313 -x312 -x311 x310 -x309 x308 -x307 -x306
1800.04/1800.72 v x305 -x304 -x303 x302 -x301 -x300 x299 x298 -x297 x296 -x295 x294 -x293 x292 -x291 x290 -x289 -x288 -x287 x286 -x285 x284 -x283
1800.04/1800.72 v x282 -x281 -x280 x279 x278 -x277 -x276 x275 x274 -x273 x272 -x271 x270 -x269 x268 -x267 x266 -x265 -x264 x263 x262 -x261
1800.04/1800.72 v -x260 -x259 x258 -x257 -x256 -x255 x254 -x253 -x252 x251 x250 -x249 x248 -x247 x246 -x245 x244 -x243 x242 -x241 -x240 -x239 x238
1800.04/1800.72 v -x237 x236 -x235 x234 -x233 -x232 x231 x230 -x229 -x228 -x227 x226 -x225 -x224 x223 x222 -x221 -x220 -x219 x218 -x217 -x216
1800.04/1800.72 v x215 x214 -x213 x212 -x211 x210 -x209 x208 -x207 x206 -x205 x204 -x203 x202 -x201 x200 -x199 x198 -x197 -x196 x195 x194 -x193
1800.04/1800.72 v -x192 x191 -x190 x189 -x188 x187 -x186 x185 -x184 x183 -x182 x181 -x180 x179 -x178 x177 -x176 x175 -x174 x173 -x172 x171
1800.04/1800.72 v -x170 x169 -x168 x167 x166 -x165 -x164 x163 -x162 x161 -x160 x159 x158 -x157 -x156 x155 -x154 x153 -x152 x151 -x150 x149 -x148
1800.04/1800.72 v x147 -x146 x145 -x144 x143 -x142 -x141 -x140 -x139 -x138 x137 -x136 x135 -x134 -x133 -x132 x131 -x130 x129 -x128 x127 x126
1800.04/1800.72 v -x125 -x124 x123 -x122 -x121 -x120 x119 -x118 x117 -x116 x115 -x114 x113 -x112 x111 -x110 -x109 -x108 x107 -x106 -x105 -x104
1800.04/1800.72 v x103 -x102 -x101 -x100 x99 -x98 -x97 -x96 x95 -x94 x93 x92 -x91 -x90 x89 -x88 x87 x86 -x85 x84 -x83 -x82 x81 -x80 x79 -x78 x77
1800.04/1800.72 v -x76 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 x49
1800.04/1800.72 v -x48 x47 -x46 x45 -x44 x43 -x42 x41 -x40 x39 -x38 x37 -x36 x35 -x34 x33 -x32 x31 x30 -x29 -x28 x27 -x26 x25 -x24 x23 -x22
1800.04/1800.72 v x21 -x20 x19 -x18 x17 -x16 x15 -x14 -x13 -x12 -x11 -x10 x9 -x8 x7 -x6 -x5 -x4 x3 -x2 x1
1800.04/1800.72 c SCIP Status : solving was interrupted [user interrupt]
1800.04/1800.72 c Solving Time : 1749.53
1800.04/1800.72 c Original Problem :
1800.04/1800.72 c Problem name : HOME/instance-2665585-1276427650.opb
1800.04/1800.72 c Variables : 1632 (1632 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.04/1800.72 c Constraints : 6924 initial, 6924 maximal
1800.04/1800.72 c Presolved Problem :
1800.04/1800.72 c Problem name : t_HOME/instance-2665585-1276427650.opb
1800.04/1800.72 c Variables : 1620 (1620 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.04/1800.72 c Constraints : 6882 initial, 6923 maximal
1800.04/1800.72 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.04/1800.72 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.72 c dualfix : 0.00 12 0 0 0 0 0 0 0
1800.04/1800.72 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.72 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.72 c implics : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.72 c probing : 0.09 0 0 0 0 0 0 0 0
1800.04/1800.72 c linear : 0.09 0 0 0 0 0 42 0 0
1800.04/1800.72 c logicor : 0.04 0 0 0 0 0 0 0 0
1800.04/1800.72 c root node : - 0 - - 0 - - - -
1800.04/1800.72 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.04/1800.72 c integral : 0 0 0 1 0 0 0 0 0 2
1800.04/1800.72 c logicor : 6882+ 44 3854882 0 3 346591 4416548 0 0 0
1800.04/1800.72 c countsols : 0 0 0 0 3 0 0 0 0 0
1800.04/1800.72 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.04/1800.72 c integral : 6.05 0.00 0.00 6.05 0.00
1800.04/1800.72 c logicor : 685.79 0.06 685.73 0.00 0.00
1800.04/1800.72 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.04/1800.72 c Propagators : Time Calls Cutoffs DomReds
1800.04/1800.72 c vbounds : 4.20 2 0 0
1800.04/1800.72 c rootredcost : 3.59 3 0 0
1800.04/1800.72 c pseudoobj : 739.15 8389012 817362 25179827
1800.04/1800.72 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.04/1800.72 c propagation : 636.38 346591 346591 346591 83.5 182 86.9 -
1800.04/1800.72 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.72 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.72 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.72 c pseudo solution : 62.98 58990 0 0 0.0 0 0.0 -
1800.04/1800.72 c applied globally : - - - 346773 83.5 - - -
1800.04/1800.72 c applied locally : - - - 0 0.0 - - -
1800.04/1800.72 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.04/1800.72 c cut pool : 0.09 43 - - 709 - (maximal pool size: 1891)
1800.04/1800.72 c redcost : 0.01 44 0 0 0 0
1800.04/1800.72 c impliedbounds : 0.11 44 0 0 0 0
1800.04/1800.72 c intobj : 0.00 0 0 0 0 0
1800.04/1800.72 c cgmip : 0.00 0 0 0 0 0
1800.04/1800.72 c gomory : 9.43 44 0 0 18461 0
1800.04/1800.72 c strongcg : 0.92 20 0 0 10000 0
1800.04/1800.72 c cmir : 0.52 10 0 0 0 0
1800.04/1800.72 c flowcover : 0.50 10 0 0 0 0
1800.04/1800.72 c clique : 0.02 1 0 0 0 0
1800.04/1800.72 c zerohalf : 0.00 0 0 0 0 0
1800.04/1800.72 c mcf : 0.04 1 0 0 0 0
1800.04/1800.72 c rapidlearning : 0.00 0 0 0 0 0
1800.04/1800.72 c Pricers : Time Calls Vars
1800.04/1800.72 c problem variables: 0.00 0 0
1800.04/1800.72 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.04/1800.72 c relpscost : 6.05 1 0 0 0 0 2
1800.04/1800.72 c pscost : 0.00 0 0 0 0 0 0
1800.04/1800.72 c inference : 36.03 1248045 0 0 0 0 2496090
1800.04/1800.72 c mostinf : 0.00 0 0 0 0 0 0
1800.04/1800.72 c leastinf : 0.00 0 0 0 0 0 0
1800.04/1800.72 c fullstrong : 0.00 0 0 0 0 0 0
1800.04/1800.72 c allfullstrong : 0.00 0 0 0 0 0 0
1800.04/1800.72 c random : 0.00 0 0 0 0 0 0
1800.04/1800.72 c Primal Heuristics : Time Calls Found
1800.04/1800.72 c LP solutions : 0.00 - 0
1800.04/1800.72 c pseudo solutions : 0.00 - 3
1800.04/1800.72 c oneopt : 1.83 0 0
1800.04/1800.72 c crossover : 0.00 0 0
1800.04/1800.72 c trivial : 0.01 2 0
1800.04/1800.72 c simplerounding : 0.00 0 0
1800.04/1800.72 c zirounding : 0.00 1 0
1800.04/1800.72 c rounding : 0.15 44 0
1800.04/1800.72 c shifting : 1.70 44 0
1800.04/1800.72 c intshifting : 0.00 0 0
1800.04/1800.72 c twoopt : 0.00 0 0
1800.04/1800.72 c fixandinfer : 0.00 0 0
1800.04/1800.72 c feaspump : 0.06 1 0
1800.04/1800.72 c coefdiving : 0.00 0 0
1800.04/1800.72 c pscostdiving : 0.00 0 0
1800.04/1800.72 c fracdiving : 0.00 0 0
1800.04/1800.72 c veclendiving : 0.00 0 0
1800.04/1800.72 c intdiving : 0.00 0 0
1800.04/1800.72 c actconsdiving : 0.00 0 0
1800.04/1800.72 c objpscostdiving : 0.00 0 0
1800.04/1800.72 c rootsoldiving : 0.00 0 0
1800.04/1800.72 c linesearchdiving : 0.00 0 0
1800.04/1800.72 c guideddiving : 0.00 0 0
1800.04/1800.72 c octane : 0.00 0 0
1800.04/1800.72 c rens : 0.00 0 0
1800.04/1800.72 c rins : 0.00 0 0
1800.04/1800.72 c localbranching : 0.00 0 0
1800.04/1800.72 c mutation : 0.00 0 0
1800.04/1800.72 c dins : 0.00 0 0
1800.04/1800.72 c undercover : 0.00 0 0
1800.04/1800.72 c nlp : 1.33 0 0
1800.04/1800.72 c trysol : 1.16 0 0
1800.04/1800.72 c LP : Time Calls Iterations Iter/call Iter/sec
1800.04/1800.72 c primal LP : 0.06 0 0 0.00 0.00
1800.04/1800.72 c dual LP : 6.34 44 13612 309.36 2147.00
1800.04/1800.72 c lex dual LP : 0.00 0 0 0.00 -
1800.04/1800.72 c barrier LP : 0.00 0 0 0.00 -
1800.04/1800.72 c diving/probing LP: 0.03 0 0 0.00 0.00
1800.04/1800.72 c strong branching : 6.05 31 13574 437.87 2243.64
1800.04/1800.72 c (at root node) : - 31 13574 437.87 -
1800.04/1800.72 c conflict analysis: 0.00 0 0 0.00 -
1800.04/1800.72 c B&B Tree :
1800.04/1800.72 c number of runs : 1
1800.04/1800.72 c nodes : 2313681
1800.04/1800.72 c nodes (total) : 2313681
1800.04/1800.72 c nodes left : 127
1800.04/1800.72 c max depth : 224
1800.04/1800.72 c max depth (total): 224
1800.04/1800.72 c backtracks : 724555 (31.3%)
1800.04/1800.72 c delayed cutoffs : 182101
1800.04/1800.72 c repropagations : 277476 (5876935 domain reductions, 157311 cutoffs)
1800.04/1800.72 c avg switch length: 2.04
1800.04/1800.72 c switching time : 79.57
1800.04/1800.72 c Solution :
1800.04/1800.72 c Solutions found : 3 (3 improvements)
1800.04/1800.72 c First Solution : +7.30000000000000e+02 (in run 1, after 314 nodes, 26.81 seconds, depth 220, found by <relaxation>)
1800.04/1800.72 c Primal Bound : +7.27000000000000e+02 (in run 1, after 397 nodes, 26.82 seconds, depth 224, found by <relaxation>)
1800.04/1800.72 c Dual Bound : +3.76653770303580e+02
1800.04/1800.72 c Gap : 93.02 %
1800.04/1800.72 c Root Dual Bound : +3.76412577876846e+02
1800.04/1800.72 c Root Iterations : 13612
1800.04/1800.77 c Time complete: 1800.1.