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-2666221-1276595988.opb>
0.00/0.01 c original problem has 50 variables (50 bin, 0 int, 0 impl, 0 cont) and 100 constraints
0.00/0.01 c problem read
0.00/0.01 c presolving settings loaded
0.00/0.01 o 50
0.00/0.01 c feasible solution found by trivial heuristic, objective value 5.000000e+01
0.00/0.01 c presolving:
0.00/0.02 c (round 1) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 100 upgd conss, 0 impls, 0 clqs
0.00/0.02 c presolving (2 rounds):
0.00/0.02 c 0 deleted vars, 0 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.00/0.02 c 0 implications, 0 cliques
0.00/0.02 c presolved problem has 50 variables (50 bin, 0 int, 0 impl, 0 cont) and 100 constraints
0.00/0.02 c 100 constraints of type <logicor>
0.00/0.02 c transformed objective value is always integral (scale: 1)
0.00/0.02 c Presolving Time: 0.00
0.00/0.02 c - non default parameters ----------------------------------------------------------------------
0.00/0.02 c # SCIP version 1.2.1.2
0.00/0.02 c
0.00/0.02 c # maximal number of intermediate conflict constraints generated in conflict graph (-1: use every intermediate constraint)
0.00/0.02 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.02 c conflict/interconss = 0
0.00/0.02 c
0.00/0.02 c # should binary conflicts be preferred?
0.00/0.02 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.02 c conflict/preferbinary = TRUE
0.00/0.02 c
0.00/0.02 c # maximum age an unnecessary constraint can reach before it is deleted (0: dynamic, -1: keep all constraints)
0.00/0.02 c # [type: int, range: [-1,2147483647], default: 0]
0.00/0.02 c constraints/agelimit = 1
0.00/0.02 c
0.00/0.02 c # should enforcement of pseudo solution be disabled?
0.00/0.02 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.02 c constraints/disableenfops = TRUE
0.00/0.02 c
0.00/0.02 c # frequency for displaying node information lines
0.00/0.02 c # [type: int, range: [-1,2147483647], default: 100]
0.00/0.02 c display/freq = 10000
0.00/0.02 c
0.00/0.02 c # maximal time in seconds to run
0.00/0.02 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.02 c limits/time = 1800
0.00/0.02 c
0.00/0.02 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.02 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.02 c limits/memory = 1620
0.00/0.02 c
0.00/0.02 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.00/0.02 c # [type: int, range: [-1,2147483647], default: 1]
0.00/0.02 c lp/solvefreq = 0
0.00/0.02 c
0.00/0.02 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.00/0.02 c # [type: char, range: {lafpsqd}, default: l]
0.00/0.02 c lp/pricing = a
0.00/0.02 c
0.00/0.02 c # should presolving try to simplify inequalities
0.00/0.02 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.02 c constraints/linear/simplifyinequalities = TRUE
0.00/0.02 c
0.00/0.02 c # should presolving try to simplify knapsacks
0.00/0.02 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.02 c constraints/knapsack/simplifyinequalities = TRUE
0.00/0.02 c
0.00/0.02 c # priority of node selection rule <dfs> in standard mode
0.00/0.02 c # [type: int, range: [-536870912,536870911], default: 0]
0.00/0.02 c nodeselection/dfs/stdpriority = 1000000
0.00/0.02 c
0.00/0.02 c -----------------------------------------------------------------------------------------------
0.00/0.02 c start solving
0.00/0.02 c
0.00/0.03 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.03 c t 0.0s| 1 | 0 | 86 | - | 393k| 0 | 50 | 50 | 100 | 50 | 100 | 0 | 0 | 0 | 5.000000e+00 | 5.000000e+01 | 900.00%
0.00/0.03 o 49
0.00/0.03 c R 0.0s| 1 | 0 | 86 | - | 396k| 0 | 50 | 50 | 100 | 50 | 100 | 0 | 0 | 0 | 5.000000e+00 | 4.900000e+01 | 880.00%
0.00/0.03 o 48
0.00/0.03 c s 0.0s| 1 | 0 | 86 | - | 397k| 0 | 50 | 50 | 100 | 50 | 100 | 0 | 0 | 0 | 5.000000e+00 | 4.800000e+01 | 860.00%
0.00/0.04 c 0.0s| 1 | 0 | 138 | - | 484k| 0 | 47 | 50 | 100 | 50 | 101 | 1 | 0 | 0 | 5.085513e+00 | 4.800000e+01 | 843.86%
0.00/0.04 o 11
0.00/0.04 c b 0.0s| 1 | 0 | 138 | - | 486k| 0 | 47 | 50 | 100 | 50 | 101 | 1 | 0 | 0 | 5.085513e+00 | 1.100000e+01 | 116.30%
0.00/0.06 c 0.1s| 1 | 0 | 172 | - | 638k| 0 | 49 | 50 | 100 | 50 | 102 | 2 | 0 | 0 | 5.111677e+00 | 1.100000e+01 | 115.19%
0.00/0.08 c 0.1s| 1 | 0 | 207 | - | 782k| 0 | 46 | 50 | 100 | 50 | 103 | 3 | 0 | 0 | 5.127369e+00 | 1.100000e+01 | 114.53%
0.09/0.10 c 0.1s| 1 | 0 | 238 | - | 919k| 0 | 42 | 50 | 100 | 50 | 104 | 4 | 0 | 0 | 5.140750e+00 | 1.100000e+01 | 113.98%
0.09/0.12 c 0.1s| 1 | 0 | 273 | - | 987k| 0 | 48 | 50 | 100 | 50 | 105 | 5 | 0 | 0 | 5.148051e+00 | 1.100000e+01 | 113.67%
0.09/0.14 c 0.1s| 1 | 0 | 304 | - |1000k| 0 | 46 | 50 | 100 | 50 | 106 | 6 | 0 | 0 | 5.150261e+00 | 1.100000e+01 | 113.58%
0.29/0.36 c 0.3s| 1 | 2 | 304 | - |1003k| 0 | 46 | 50 | 100 | 50 | 106 | 6 | 0 | 19 | 5.150261e+00 | 1.100000e+01 | 113.58%
0.29/0.36 o 10
0.29/0.36 c * 0.3s| 56 | 35 | 304 | 0.0 |1018k| 40 | - | 50 | 100 | 0 | 0 | 6 | 10 | 19 | 5.201512e+00 | 1.000000e+01 | 92.25%
0.59/0.65 o 9
0.59/0.65 c * 0.6s| 2552 | 33 | 304 | 0.0 |1037k| 43 | - | 50 | 103 | 0 | 0 | 6 |1493 | 19 | 5.201512e+00 | 9.000000e+00 | 73.03%
0.79/0.85 o 8
0.79/0.85 c * 0.8s| 4313 | 26 | 304 | 0.0 |1047k| 43 | - | 50 | 125 | 0 | 0 | 6 |2521 | 19 | 5.201512e+00 | 8.000000e+00 | 53.80%
1.50/1.52 c 1.3s| 10000 | 33 | 304 | 0.0 |1050k| 43 | - | 50 | 118 | 0 | 0 | 6 |5955 | 19 | 5.201512e+00 | 8.000000e+00 | 53.80%
2.69/2.72 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
2.69/2.72 c 2.3s| 20000 | 26 | 304 | 0.0 |1052k| 43 | - | 50 | 119 | 0 | 0 | 6 | 11k| 19 | 5.201512e+00 | 8.000000e+00 | 53.80%
3.89/3.92 c 3.4s| 30000 | 16 | 304 | 0.0 |1048k| 43 | - | 50 | 109 | 0 | 0 | 6 | 17k| 19 | 5.201512e+00 | 8.000000e+00 | 53.80%
4.99/5.09 c 4.4s| 40000 | 30 | 304 | 0.0 |1057k| 43 | - | 50 | 117 | 0 | 0 | 6 | 23k| 19 | 5.201512e+00 | 8.000000e+00 | 53.80%
6.19/6.27 c 5.4s| 50000 | 22 | 304 | 0.0 |1053k| 45 | - | 50 | 112 | 0 | 0 | 6 | 29k| 19 | 5.201512e+00 | 8.000000e+00 | 53.80%
7.39/7.47 c 6.4s| 60000 | 25 | 304 | 0.0 |1056k| 45 | - | 50 | 113 | 0 | 0 | 6 | 35k| 19 | 5.201512e+00 | 8.000000e+00 | 53.80%
8.59/8.68 c 7.4s| 70000 | 26 | 304 | 0.0 |1057k| 45 | - | 50 | 111 | 0 | 0 | 6 | 41k| 19 | 5.201512e+00 | 8.000000e+00 | 53.80%
9.79/9.86 c 8.4s| 80000 | 21 | 304 | 0.0 |1057k| 45 | - | 50 | 116 | 0 | 0 | 6 | 47k| 19 | 5.201512e+00 | 8.000000e+00 | 53.80%
10.99/11.06 c 9.4s| 90000 | 20 | 304 | 0.0 |1058k| 45 | - | 50 | 116 | 0 | 0 | 6 | 52k| 19 | 5.201512e+00 | 8.000000e+00 | 53.80%
12.20/12.27 c 10.4s|100000 | 28 | 304 | 0.0 |1059k| 45 | - | 50 | 112 | 0 | 0 | 6 | 58k| 19 | 5.201512e+00 | 8.000000e+00 | 53.80%
13.39/13.46 c 11.4s|110000 | 20 | 304 | 0.0 |1063k| 45 | - | 50 | 127 | 0 | 0 | 6 | 64k| 19 | 5.201512e+00 | 8.000000e+00 | 53.80%
14.59/14.66 c 12.4s|120000 | 19 | 304 | 0.0 |1061k| 45 | - | 50 | 125 | 0 | 0 | 6 | 70k| 19 | 5.201512e+00 | 8.000000e+00 | 53.80%
15.78/15.85 c 13.4s|130000 | 17 | 304 | 0.0 |1062k| 45 | - | 50 | 126 | 0 | 0 | 6 | 76k| 19 | 5.201512e+00 | 8.000000e+00 | 53.80%
16.98/17.04 c 14.4s|140000 | 22 | 304 | 0.0 |1061k| 45 | - | 50 | 115 | 0 | 0 | 6 | 81k| 19 | 5.201512e+00 | 8.000000e+00 | 53.80%
18.19/18.23 c 15.5s|150000 | 28 | 304 | 0.0 |1063k| 45 | - | 50 | 118 | 0 | 0 | 6 | 87k| 19 | 5.201512e+00 | 8.000000e+00 | 53.80%
19.38/19.42 c 16.4s|160000 | 23 | 304 | 0.0 |1063k| 45 | - | 50 | 120 | 0 | 0 | 6 | 93k| 19 | 5.201512e+00 | 8.000000e+00 | 53.80%
20.59/20.62 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
20.59/20.62 c 17.5s|170000 | 26 | 304 | 0.0 |1064k| 45 | - | 50 | 118 | 0 | 0 | 6 | 99k| 19 | 5.201512e+00 | 8.000000e+00 | 53.80%
21.79/21.80 c 18.5s|180000 | 26 | 304 | 0.0 |1061k| 45 | - | 50 | 107 | 0 | 0 | 6 | 104k| 19 | 5.201512e+00 | 8.000000e+00 | 53.80%
22.99/23.01 c 19.5s|190000 | 23 | 304 | 0.0 |1062k| 45 | - | 50 | 114 | 0 | 0 | 6 | 110k| 19 | 5.201512e+00 | 8.000000e+00 | 53.80%
24.08/24.19 c 20.5s|200000 | 14 | 304 | 0.0 |1066k| 45 | - | 50 | 131 | 0 | 0 | 6 | 116k| 19 | 5.201512e+00 | 8.000000e+00 | 53.80%
25.29/25.39 c 21.5s|210000 | 15 | 304 | 0.0 |1058k| 45 | - | 50 | 109 | 0 | 0 | 6 | 122k| 19 | 5.201512e+00 | 8.000000e+00 | 53.80%
26.58/26.60 c 22.5s|220000 | 21 | 304 | 0.0 |1062k| 45 | - | 50 | 111 | 0 | 0 | 6 | 128k| 19 | 5.201512e+00 | 8.000000e+00 | 53.80%
27.68/27.79 c 23.5s|230000 | 23 | 304 | 0.0 |1063k| 45 | - | 50 | 112 | 0 | 0 | 6 | 133k| 19 | 5.201512e+00 | 8.000000e+00 | 53.80%
28.88/28.96 c 24.5s|240000 | 18 | 304 | 0.0 |1062k| 45 | - | 50 | 112 | 0 | 0 | 6 | 139k| 19 | 5.201512e+00 | 8.000000e+00 | 53.80%
30.08/30.15 c 25.5s|250000 | 20 | 304 | 0.0 |1062k| 45 | - | 50 | 112 | 0 | 0 | 6 | 145k| 19 | 5.201512e+00 | 8.000000e+00 | 53.80%
31.28/31.35 c 26.5s|260000 | 21 | 304 | 0.0 |1068k| 45 | - | 50 | 123 | 0 | 0 | 6 | 150k| 19 | 5.201512e+00 | 8.000000e+00 | 53.80%
32.48/32.55 c 27.5s|270000 | 21 | 304 | 0.0 |1065k| 45 | - | 50 | 115 | 0 | 0 | 6 | 156k| 19 | 5.201512e+00 | 8.000000e+00 | 53.80%
33.68/33.73 c 28.5s|280000 | 20 | 304 | 0.0 |1063k| 45 | - | 50 | 109 | 0 | 0 | 6 | 162k| 19 | 5.201512e+00 | 8.000000e+00 | 53.80%
34.88/34.91 c 29.5s|290000 | 26 | 304 | 0.0 |1064k| 45 | - | 50 | 109 | 0 | 0 | 6 | 168k| 19 | 5.201512e+00 | 8.000000e+00 | 53.80%
36.09/36.11 c 30.5s|300000 | 27 | 304 | 0.0 |1067k| 45 | - | 50 | 114 | 0 | 0 | 6 | 174k| 19 | 5.201512e+00 | 8.000000e+00 | 53.80%
37.18/37.29 c 31.5s|310000 | 22 | 304 | 0.0 |1064k| 45 | - | 50 | 111 | 0 | 0 | 6 | 179k| 19 | 5.201512e+00 | 8.000000e+00 | 53.80%
38.38/38.48 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
38.38/38.48 c 32.5s|320000 | 20 | 304 | 0.0 |1065k| 45 | - | 50 | 114 | 0 | 0 | 6 | 185k| 19 | 5.201512e+00 | 8.000000e+00 | 53.80%
39.59/39.68 c 33.5s|330000 | 23 | 304 | 0.0 |1066k| 45 | - | 50 | 112 | 0 | 0 | 6 | 190k| 19 | 5.201512e+00 | 8.000000e+00 | 53.80%
40.79/40.86 c 34.5s|340000 | 14 | 304 | 0.0 |1063k| 45 | - | 50 | 109 | 0 | 0 | 6 | 196k| 19 | 5.201512e+00 | 8.000000e+00 | 53.80%
41.98/42.06 c 35.6s|350000 | 23 | 304 | 0.0 |1068k| 45 | - | 50 | 114 | 0 | 0 | 6 | 202k| 19 | 5.201512e+00 | 8.000000e+00 | 53.80%
43.18/43.27 c 36.6s|360000 | 22 | 304 | 0.0 |1069k| 45 | - | 50 | 119 | 0 | 0 | 6 | 207k| 19 | 5.201512e+00 | 8.000000e+00 | 53.80%
44.48/44.50 c 37.6s|370000 | 24 | 304 | 0.0 |1069k| 45 | - | 50 | 117 | 0 | 0 | 6 | 213k| 19 | 5.201512e+00 | 8.000000e+00 | 53.80%
45.58/45.67 c 38.6s|380000 | 8 | 304 | 0.0 |1067k| 45 | - | 50 | 120 | 0 | 0 | 6 | 219k| 19 | 5.201512e+00 | 8.000000e+00 | 53.80%
46.78/46.86 c 39.6s|390000 | 22 | 304 | 0.0 |1068k| 45 | - | 50 | 110 | 0 | 0 | 6 | 224k| 19 | 5.201512e+00 | 8.000000e+00 | 53.80%
47.98/48.05 c 40.6s|400000 | 25 | 304 | 0.0 |1068k| 45 | - | 50 | 110 | 0 | 0 | 6 | 230k| 19 | 5.201512e+00 | 8.000000e+00 | 53.80%
49.17/49.23 c 41.6s|410000 | 28 | 304 | 0.0 |1069k| 45 | - | 50 | 109 | 0 | 0 | 6 | 236k| 19 | 5.201512e+00 | 8.000000e+00 | 53.80%
50.37/50.41 c 42.6s|420000 | 12 | 304 | 0.0 |1063k| 45 | - | 50 | 106 | 0 | 0 | 6 | 242k| 19 | 5.201512e+00 | 8.000000e+00 | 53.80%
51.57/51.60 c 43.6s|430000 | 24 | 304 | 0.0 |1068k| 45 | - | 50 | 109 | 0 | 0 | 6 | 247k| 19 | 5.201512e+00 | 8.000000e+00 | 53.80%
52.68/52.79 c 44.7s|440000 | 16 | 304 | 0.0 |1066k| 45 | - | 50 | 109 | 0 | 0 | 6 | 253k| 19 | 5.201512e+00 | 8.000000e+00 | 53.80%
53.88/53.99 c 45.6s|450000 | 17 | 304 | 0.0 |1069k| 45 | - | 50 | 113 | 0 | 0 | 6 | 259k| 19 | 5.201512e+00 | 8.000000e+00 | 53.80%
55.08/55.17 c 46.6s|460000 | 12 | 304 | 0.0 |1063k| 45 | - | 50 | 104 | 0 | 0 | 6 | 264k| 19 | 5.201512e+00 | 8.000000e+00 | 53.80%
56.28/56.38 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
56.28/56.38 c 47.7s|470000 | 24 | 304 | 0.0 |1075k| 45 | - | 50 | 130 | 0 | 0 | 6 | 270k| 19 | 5.201512e+00 | 8.000000e+00 | 53.80%
57.57/57.65 c 48.8s|480000 | 19 | 304 | 0.0 |1074k| 45 | - | 50 | 129 | 0 | 0 | 6 | 276k| 19 | 5.201512e+00 | 8.000000e+00 | 53.80%
58.87/58.91 c 49.8s|490000 | 32 | 304 | 0.0 |1076k| 45 | - | 50 | 121 | 0 | 0 | 6 | 282k| 19 | 5.201512e+00 | 8.000000e+00 | 53.80%
60.07/60.14 c 50.9s|500000 | 27 | 304 | 0.0 |1078k| 45 | - | 50 | 130 | 0 | 0 | 6 | 288k| 19 | 5.201512e+00 | 8.000000e+00 | 53.80%
61.27/61.39 c 51.9s|510000 | 25 | 304 | 0.0 |1075k| 45 | - | 50 | 125 | 0 | 0 | 6 | 294k| 19 | 5.201512e+00 | 8.000000e+00 | 53.80%
62.57/62.67 c 53.0s|520000 | 23 | 304 | 0.0 |1074k| 45 | - | 50 | 122 | 0 | 0 | 6 | 300k| 19 | 5.201512e+00 | 8.000000e+00 | 53.80%
63.88/63.93 c 54.1s|530000 | 22 | 304 | 0.0 |1076k| 45 | - | 50 | 128 | 0 | 0 | 6 | 306k| 19 | 5.201512e+00 | 8.000000e+00 | 53.80%
65.07/65.19 c 55.2s|540000 | 24 | 304 | 0.0 |1074k| 45 | - | 50 | 118 | 0 | 0 | 6 | 312k| 19 | 5.201512e+00 | 8.000000e+00 | 53.80%
66.37/66.47 c 56.2s|550000 | 18 | 304 | 0.0 |1076k| 45 | - | 50 | 130 | 0 | 0 | 6 | 318k| 19 | 5.201512e+00 | 8.000000e+00 | 53.80%
67.67/67.73 c 57.3s|560000 | 21 | 304 | 0.0 |1077k| 45 | - | 50 | 131 | 0 | 0 | 6 | 324k| 19 | 5.201512e+00 | 8.000000e+00 | 53.80%
68.87/68.96 c 58.4s|570000 | 18 | 304 | 0.0 |1074k| 45 | - | 50 | 125 | 0 | 0 | 6 | 330k| 19 | 5.201512e+00 | 8.000000e+00 | 53.80%
70.17/70.21 c 59.4s|580000 | 27 | 304 | 0.0 |1076k| 45 | - | 50 | 122 | 0 | 0 | 6 | 336k| 19 | 5.201512e+00 | 8.000000e+00 | 53.80%
71.37/71.49 c 60.5s|590000 | 23 | 304 | 0.0 |1077k| 45 | - | 50 | 128 | 0 | 0 | 6 | 342k| 19 | 5.201512e+00 | 8.000000e+00 | 53.80%
72.68/72.75 c 61.6s|600000 | 23 | 304 | 0.0 |1078k| 45 | - | 50 | 132 | 0 | 0 | 6 | 348k| 19 | 5.201512e+00 | 8.000000e+00 | 53.80%
73.85/73.97 c 62.6s|610000 | 25 | 304 | 0.0 |1075k| 45 | - | 50 | 118 | 0 | 0 | 6 | 354k| 19 | 5.201512e+00 | 8.000000e+00 | 53.80%
75.15/75.21 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
75.15/75.21 c 63.7s|620000 | 24 | 304 | 0.0 |1080k| 45 | - | 50 | 132 | 0 | 0 | 6 | 360k| 19 | 5.201512e+00 | 8.000000e+00 | 53.80%
76.35/76.43 c 64.7s|630000 | 23 | 304 | 0.0 |1079k| 45 | - | 50 | 135 | 0 | 0 | 6 | 366k| 19 | 5.201512e+00 | 8.000000e+00 | 53.80%
77.55/77.69 c 65.8s|640000 | 23 | 304 | 0.0 |1077k| 45 | - | 50 | 129 | 0 | 0 | 6 | 372k| 19 | 5.201512e+00 | 8.000000e+00 | 53.80%
78.85/78.90 c 66.8s|650000 | 22 | 304 | 0.0 |1077k| 45 | - | 50 | 128 | 0 | 0 | 6 | 377k| 19 | 5.201512e+00 | 8.000000e+00 | 53.80%
80.05/80.12 c 67.8s|660000 | 21 | 304 | 0.0 |1074k| 45 | - | 50 | 122 | 0 | 0 | 6 | 383k| 19 | 5.201512e+00 | 8.000000e+00 | 53.80%
81.25/81.34 c 68.9s|670000 | 21 | 304 | 0.0 |1075k| 45 | - | 50 | 123 | 0 | 0 | 6 | 389k| 19 | 5.201512e+00 | 8.000000e+00 | 53.80%
82.46/82.57 c 69.9s|680000 | 26 | 304 | 0.0 |1080k| 45 | - | 50 | 129 | 0 | 0 | 6 | 395k| 19 | 5.201512e+00 | 8.000000e+00 | 53.80%
83.75/83.84 c 71.0s|690000 | 18 | 304 | 0.0 |1072k| 45 | - | 50 | 118 | 0 | 0 | 6 | 401k| 19 | 5.201512e+00 | 8.000000e+00 | 53.80%
84.95/85.09 c 72.1s|700000 | 24 | 304 | 0.0 |1077k| 45 | - | 50 | 123 | 0 | 0 | 6 | 407k| 19 | 5.201512e+00 | 8.000000e+00 | 53.80%
86.24/86.32 c 73.1s|710000 | 26 | 304 | 0.0 |1077k| 45 | - | 50 | 122 | 0 | 0 | 6 | 413k| 19 | 5.201512e+00 | 8.000000e+00 | 53.80%
87.45/87.58 c 74.2s|720000 | 22 | 304 | 0.0 |1074k| 45 | - | 50 | 117 | 0 | 0 | 6 | 419k| 19 | 5.201512e+00 | 8.000000e+00 | 53.80%
88.75/88.82 c 75.2s|730000 | 24 | 304 | 0.0 |1078k| 45 | - | 50 | 125 | 0 | 0 | 6 | 425k| 19 | 5.201512e+00 | 8.000000e+00 | 53.80%
89.95/90.06 c 76.3s|740000 | 17 | 304 | 0.0 |1073k| 45 | - | 50 | 118 | 0 | 0 | 6 | 431k| 19 | 5.201512e+00 | 8.000000e+00 | 53.80%
91.26/91.31 c 77.3s|750000 | 12 | 304 | 0.0 |1071k| 45 | - | 50 | 116 | 0 | 0 | 6 | 437k| 19 | 5.201512e+00 | 8.000000e+00 | 53.80%
92.45/92.54 c 78.4s|760000 | 26 | 304 | 0.0 |1080k| 45 | - | 50 | 130 | 0 | 0 | 6 | 442k| 19 | 5.201512e+00 | 8.000000e+00 | 53.80%
93.75/93.80 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
93.75/93.80 c 79.5s|770000 | 25 | 304 | 0.0 |1080k| 45 | - | 50 | 133 | 0 | 0 | 6 | 448k| 19 | 5.201512e+00 | 8.000000e+00 | 53.80%
94.95/95.02 c 80.5s|780000 | 17 | 304 | 0.0 |1077k| 45 | - | 50 | 125 | 0 | 0 | 6 | 454k| 19 | 5.201512e+00 | 8.000000e+00 | 53.80%
96.14/96.27 c 81.5s|790000 | 25 | 304 | 0.0 |1078k| 45 | - | 50 | 125 | 0 | 0 | 6 | 460k| 19 | 5.201512e+00 | 8.000000e+00 | 53.80%
97.44/97.53 c 82.6s|800000 | 17 | 304 | 0.0 |1072k| 45 | - | 50 | 114 | 0 | 0 | 6 | 466k| 19 | 5.201512e+00 | 8.000000e+00 | 53.80%
98.75/98.80 c 83.7s|810000 | 21 | 304 | 0.0 |1075k| 45 | - | 50 | 116 | 0 | 0 | 6 | 472k| 19 | 5.201512e+00 | 8.000000e+00 | 53.80%
99.95/100.07 c 84.8s|820000 | 23 | 304 | 0.0 |1078k| 45 | - | 50 | 123 | 0 | 0 | 6 | 478k| 19 | 5.201512e+00 | 8.000000e+00 | 53.80%
101.25/101.34 c 85.8s|830000 | 24 | 304 | 0.0 |1075k| 45 | - | 50 | 118 | 0 | 0 | 6 | 484k| 19 | 5.201512e+00 | 8.000000e+00 | 53.80%
102.45/102.59 c 86.9s|840000 | 19 | 304 | 0.0 |1075k| 45 | - | 50 | 120 | 0 | 0 | 6 | 490k| 19 | 5.201512e+00 | 8.000000e+00 | 53.80%
103.74/103.84 c 87.9s|850000 | 21 | 304 | 0.0 |1075k| 45 | - | 50 | 120 | 0 | 0 | 6 | 496k| 19 | 5.201512e+00 | 8.000000e+00 | 53.80%
104.94/105.09 c 89.0s|860000 | 24 | 304 | 0.0 |1077k| 45 | - | 50 | 120 | 0 | 0 | 6 | 502k| 19 | 5.201512e+00 | 8.000000e+00 | 53.80%
106.24/106.35 c 90.1s|870000 | 24 | 304 | 0.0 |1080k| 45 | - | 50 | 129 | 0 | 0 | 6 | 508k| 19 | 5.201512e+00 | 8.000000e+00 | 53.80%
107.54/107.60 c 91.1s|880000 | 22 | 304 | 0.0 |1075k| 45 | - | 50 | 119 | 0 | 0 | 6 | 514k| 19 | 5.201512e+00 | 8.000000e+00 | 53.80%
108.74/108.87 c 92.2s|890000 | 25 | 304 | 0.0 |1078k| 45 | - | 50 | 124 | 0 | 0 | 6 | 520k| 19 | 5.201512e+00 | 8.000000e+00 | 53.80%
110.05/110.12 c 93.3s|900000 | 25 | 304 | 0.0 |1078k| 45 | - | 50 | 121 | 0 | 0 | 6 | 526k| 19 | 5.201512e+00 | 8.000000e+00 | 53.80%
111.24/111.37 c 94.3s|910000 | 25 | 304 | 0.0 |1075k| 45 | - | 50 | 116 | 0 | 0 | 6 | 531k| 19 | 5.201512e+00 | 8.000000e+00 | 53.80%
112.54/112.60 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
112.54/112.60 c 95.4s|920000 | 18 | 304 | 0.0 |1075k| 45 | - | 50 | 123 | 0 | 0 | 6 | 537k| 19 | 5.201512e+00 | 8.000000e+00 | 53.80%
113.74/113.85 c 96.4s|930000 | 22 | 304 | 0.0 |1080k| 45 | - | 50 | 128 | 0 | 0 | 6 | 543k| 19 | 5.201512e+00 | 8.000000e+00 | 53.80%
115.04/115.11 c 97.5s|940000 | 22 | 304 | 0.0 |1078k| 45 | - | 50 | 123 | 0 | 0 | 6 | 549k| 19 | 5.201512e+00 | 8.000000e+00 | 53.80%
116.24/116.36 c 98.6s|950000 | 14 | 304 | 0.0 |1078k| 45 | - | 50 | 128 | 0 | 0 | 6 | 555k| 19 | 5.201512e+00 | 8.000000e+00 | 53.80%
117.54/117.61 c 99.7s|960000 | 26 | 304 | 0.0 |1076k| 45 | - | 50 | 117 | 0 | 0 | 6 | 561k| 19 | 5.201512e+00 | 8.000000e+00 | 53.80%
118.75/118.85 c 101s|970000 | 28 | 304 | 0.0 |1078k| 45 | - | 50 | 120 | 0 | 0 | 6 | 567k| 19 | 5.201512e+00 | 8.000000e+00 | 53.80%
119.95/120.06 c 102s|980000 | 20 | 304 | 0.0 |1076k| 45 | - | 50 | 122 | 0 | 0 | 6 | 573k| 19 | 5.201512e+00 | 8.000000e+00 | 53.80%
121.14/121.26 c 103s|990000 | 13 | 304 | 0.0 |1073k| 45 | - | 50 | 118 | 0 | 0 | 6 | 579k| 19 | 5.201512e+00 | 8.000000e+00 | 53.80%
122.44/122.52 c 104s| 1000k| 26 | 304 | 0.0 |1080k| 45 | - | 50 | 125 | 0 | 0 | 6 | 585k| 19 | 5.201512e+00 | 8.000000e+00 | 53.80%
123.64/123.74 c 105s| 1010k| 18 | 304 | 0.0 |1076k| 45 | - | 50 | 117 | 0 | 0 | 6 | 591k| 19 | 5.201512e+00 | 8.000000e+00 | 53.80%
124.83/124.97 c 106s| 1020k| 17 | 304 | 0.0 |1073k| 45 | - | 50 | 114 | 0 | 0 | 6 | 596k| 19 | 5.201512e+00 | 8.000000e+00 | 53.80%
126.14/126.20 c 107s| 1030k| 26 | 304 | 0.0 |1078k| 45 | - | 50 | 122 | 0 | 0 | 6 | 602k| 19 | 5.201512e+00 | 8.000000e+00 | 53.80%
127.33/127.42 c 108s| 1040k| 19 | 304 | 0.0 |1076k| 45 | - | 50 | 120 | 0 | 0 | 6 | 608k| 19 | 5.201512e+00 | 8.000000e+00 | 53.80%
128.54/128.66 c 109s| 1050k| 22 | 304 | 0.0 |1075k| 45 | - | 50 | 115 | 0 | 0 | 6 | 614k| 19 | 5.201512e+00 | 8.000000e+00 | 53.80%
129.74/129.90 c 110s| 1060k| 20 | 304 | 0.0 |1079k| 45 | - | 50 | 126 | 0 | 0 | 6 | 620k| 19 | 5.201512e+00 | 8.000000e+00 | 53.80%
131.04/131.15 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
131.04/131.15 c 111s| 1070k| 29 | 304 | 0.0 |1082k| 45 | - | 50 | 130 | 0 | 0 | 6 | 625k| 19 | 5.201512e+00 | 8.000000e+00 | 53.80%
132.34/132.40 c 112s| 1080k| 9 | 304 | 0.0 |1073k| 45 | - | 50 | 120 | 0 | 0 | 6 | 631k| 19 | 5.201512e+00 | 8.000000e+00 | 53.80%
133.53/133.60 c 113s| 1090k| 21 | 304 | 0.0 |1076k| 45 | - | 50 | 118 | 0 | 0 | 6 | 637k| 19 | 5.201512e+00 | 8.000000e+00 | 53.80%
134.74/134.84 c 114s| 1100k| 15 | 304 | 0.0 |1078k| 45 | - | 50 | 125 | 0 | 0 | 6 | 643k| 19 | 5.201512e+00 | 8.000000e+00 | 53.80%
135.93/136.07 c 115s| 1110k| 21 | 304 | 0.0 |1075k| 45 | - | 50 | 115 | 0 | 0 | 6 | 649k| 19 | 5.201512e+00 | 8.000000e+00 | 53.80%
137.13/137.29 c 116s| 1120k| 25 | 304 | 0.0 |1077k| 45 | - | 50 | 116 | 0 | 0 | 6 | 655k| 19 | 5.201512e+00 | 8.000000e+00 | 53.80%
138.43/138.54 c 117s| 1130k| 21 | 304 | 0.0 |1077k| 45 | - | 50 | 121 | 0 | 0 | 6 | 661k| 19 | 5.201512e+00 | 8.000000e+00 | 53.80%
139.64/139.76 c 118s| 1140k| 19 | 304 | 0.0 |1075k| 45 | - | 50 | 117 | 0 | 0 | 6 | 667k| 19 | 5.201512e+00 | 8.000000e+00 | 53.80%
140.83/140.98 c 119s| 1150k| 7 | 304 | 0.0 |1069k| 45 | - | 50 | 106 | 0 | 0 | 6 | 673k| 19 | 5.201512e+00 | 8.000000e+00 | 53.80%
142.13/142.24 c 121s| 1160k| 21 | 304 | 0.0 |1082k| 45 | - | 50 | 136 | 0 | 0 | 6 | 678k| 19 | 5.201512e+00 | 8.000000e+00 | 53.80%
143.43/143.52 c 122s| 1170k| 25 | 304 | 0.0 |1083k| 45 | - | 50 | 134 | 0 | 0 | 6 | 684k| 19 | 5.201512e+00 | 8.000000e+00 | 53.80%
144.63/144.76 c 123s| 1180k| 26 | 304 | 0.0 |1082k| 45 | - | 50 | 132 | 0 | 0 | 6 | 690k| 19 | 5.201512e+00 | 8.000000e+00 | 53.80%
145.82/145.99 c 124s| 1190k| 17 | 304 | 0.0 |1080k| 45 | - | 50 | 133 | 0 | 0 | 6 | 696k| 19 | 5.201512e+00 | 8.000000e+00 | 53.80%
147.13/147.25 c 125s| 1200k| 25 | 304 | 0.0 |1083k| 45 | - | 50 | 131 | 0 | 0 | 6 | 702k| 19 | 5.201512e+00 | 8.000000e+00 | 53.80%
148.43/148.52 c 126s| 1210k| 20 | 304 | 0.0 |1078k| 45 | - | 50 | 125 | 0 | 0 | 6 | 708k| 19 | 5.201512e+00 | 8.000000e+00 | 53.80%
149.63/149.77 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
149.63/149.77 c 127s| 1220k| 17 | 304 | 0.0 |1080k| 45 | - | 50 | 131 | 0 | 0 | 6 | 714k| 19 | 5.201512e+00 | 8.000000e+00 | 53.80%
150.93/151.00 c 128s| 1230k| 22 | 304 | 0.0 |1079k| 45 | - | 50 | 124 | 0 | 0 | 6 | 720k| 19 | 5.201512e+00 | 8.000000e+00 | 53.80%
152.13/152.26 c 129s| 1240k| 21 | 304 | 0.0 |1081k| 45 | - | 50 | 127 | 0 | 0 | 6 | 725k| 19 | 5.201512e+00 | 8.000000e+00 | 53.80%
153.43/153.51 c 130s| 1250k| 17 | 304 | 0.0 |1077k| 45 | - | 50 | 122 | 0 | 0 | 6 | 731k| 19 | 5.201512e+00 | 8.000000e+00 | 53.80%
154.63/154.73 c 131s| 1260k| 27 | 304 | 0.0 |1080k| 45 | - | 50 | 124 | 0 | 0 | 6 | 737k| 19 | 5.201512e+00 | 8.000000e+00 | 53.80%
155.83/155.98 c 132s| 1270k| 22 | 304 | 0.0 |1080k| 45 | - | 50 | 124 | 0 | 0 | 6 | 743k| 19 | 5.201512e+00 | 8.000000e+00 | 53.80%
157.13/157.23 c 133s| 1280k| 19 | 304 | 0.0 |1079k| 45 | - | 50 | 127 | 0 | 0 | 6 | 749k| 19 | 5.201512e+00 | 8.000000e+00 | 53.80%
158.33/158.47 c 134s| 1290k| 15 | 304 | 0.0 |1077k| 45 | - | 50 | 125 | 0 | 0 | 6 | 755k| 19 | 5.201512e+00 | 8.000000e+00 | 53.80%
159.63/159.74 c 136s| 1300k| 28 | 304 | 0.0 |1080k| 45 | - | 50 | 123 | 0 | 0 | 6 | 761k| 19 | 5.201512e+00 | 8.000000e+00 | 53.80%
160.82/160.94 c 137s| 1310k| 15 | 304 | 0.0 |1076k| 45 | - | 50 | 122 | 0 | 0 | 6 | 767k| 19 | 5.201512e+00 | 8.000000e+00 | 53.80%
162.02/162.18 c 138s| 1320k| 25 | 304 | 0.0 |1080k| 45 | - | 50 | 125 | 0 | 0 | 6 | 772k| 19 | 5.201512e+00 | 8.000000e+00 | 53.80%
163.32/163.43 c 139s| 1330k| 17 | 304 | 0.0 |1082k| 45 | - | 50 | 132 | 0 | 0 | 6 | 778k| 19 | 5.201512e+00 | 8.000000e+00 | 53.80%
164.52/164.69 c 140s| 1340k| 18 | 304 | 0.0 |1079k| 45 | - | 50 | 128 | 0 | 0 | 6 | 784k| 19 | 5.201512e+00 | 8.000000e+00 | 53.80%
165.72/165.89 c 141s| 1350k| 26 | 304 | 0.0 |1081k| 45 | - | 50 | 123 | 0 | 0 | 6 | 790k| 19 | 5.201512e+00 | 8.000000e+00 | 53.80%
167.03/167.15 c 142s| 1360k| 25 | 304 | 0.0 |1081k| 45 | - | 50 | 122 | 0 | 0 | 6 | 796k| 19 | 5.201512e+00 | 8.000000e+00 | 53.80%
168.23/168.38 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
168.23/168.38 c 143s| 1370k| 20 | 304 | 0.0 |1079k| 45 | - | 50 | 124 | 0 | 0 | 6 | 802k| 19 | 5.201512e+00 | 8.000000e+00 | 53.80%
169.52/169.64 c 144s| 1380k| 19 | 304 | 0.0 |1078k| 45 | - | 50 | 123 | 0 | 0 | 6 | 808k| 19 | 5.201512e+00 | 8.000000e+00 | 53.80%
170.72/170.89 c 145s| 1390k| 21 | 304 | 0.0 |1076k| 45 | - | 50 | 115 | 0 | 0 | 6 | 813k| 19 | 5.201512e+00 | 8.000000e+00 | 53.80%
172.02/172.12 c 146s| 1400k| 17 | 304 | 0.0 |1079k| 45 | - | 50 | 123 | 0 | 0 | 6 | 819k| 19 | 5.201512e+00 | 8.000000e+00 | 53.80%
173.22/173.35 c 147s| 1410k| 17 | 304 | 0.0 |1074k| 45 | - | 50 | 112 | 0 | 0 | 6 | 825k| 19 | 5.201512e+00 | 8.000000e+00 | 53.80%
174.42/174.59 c 148s| 1420k| 23 | 304 | 0.0 |1079k| 45 | - | 50 | 122 | 0 | 0 | 6 | 831k| 19 | 5.201512e+00 | 8.000000e+00 | 53.80%
175.72/175.83 c 149s| 1430k| 25 | 304 | 0.0 |1081k| 45 | - | 50 | 128 | 0 | 0 | 6 | 837k| 19 | 5.201512e+00 | 8.000000e+00 | 53.80%
176.92/177.06 c 150s| 1440k| 20 | 304 | 0.0 |1078k| 45 | - | 50 | 123 | 0 | 0 | 6 | 843k| 19 | 5.201512e+00 | 8.000000e+00 | 53.80%
178.13/178.29 c 151s| 1450k| 23 | 304 | 0.0 |1079k| 45 | - | 50 | 123 | 0 | 0 | 6 | 849k| 19 | 5.201512e+00 | 8.000000e+00 | 53.80%
179.41/179.51 c 152s| 1460k| 23 | 304 | 0.0 |1078k| 45 | - | 50 | 116 | 0 | 0 | 6 | 854k| 19 | 5.201512e+00 | 8.000000e+00 | 53.80%
180.61/180.72 c 153s| 1470k| 24 | 304 | 0.0 |1079k| 45 | - | 50 | 120 | 0 | 0 | 6 | 860k| 19 | 5.201512e+00 | 8.000000e+00 | 53.80%
181.82/181.95 c 154s| 1480k| 20 | 304 | 0.0 |1078k| 45 | - | 50 | 122 | 0 | 0 | 6 | 866k| 19 | 5.201512e+00 | 8.000000e+00 | 53.80%
183.02/183.17 c 155s| 1490k| 28 | 304 | 0.0 |1078k| 45 | - | 50 | 115 | 0 | 0 | 6 | 872k| 19 | 5.201512e+00 | 8.000000e+00 | 53.80%
184.32/184.40 c 156s| 1500k| 24 | 304 | 0.0 |1078k| 45 | - | 50 | 117 | 0 | 0 | 6 | 878k| 19 | 5.201512e+00 | 8.000000e+00 | 53.80%
185.52/185.62 c 158s| 1510k| 20 | 304 | 0.0 |1079k| 45 | - | 50 | 124 | 0 | 0 | 6 | 884k| 19 | 5.201512e+00 | 8.000000e+00 | 53.80%
186.71/186.84 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
186.71/186.84 c 159s| 1520k| 18 | 304 | 0.0 |1076k| 45 | - | 50 | 118 | 0 | 0 | 6 | 890k| 19 | 5.201512e+00 | 8.000000e+00 | 53.80%
187.92/188.06 c 160s| 1530k| 26 | 304 | 0.0 |1080k| 45 | - | 50 | 122 | 0 | 0 | 6 | 895k| 19 | 5.201512e+00 | 8.000000e+00 | 53.80%
189.12/189.28 c 161s| 1540k| 16 | 304 | 0.0 |1078k| 45 | - | 50 | 123 | 0 | 0 | 6 | 901k| 19 | 5.201512e+00 | 8.000000e+00 | 53.80%
190.42/190.50 c 162s| 1550k| 13 | 304 | 0.0 |1075k| 45 | - | 50 | 117 | 0 | 0 | 6 | 907k| 19 | 5.201512e+00 | 8.000000e+00 | 53.80%
191.61/191.71 c 163s| 1560k| 16 | 304 | 0.0 |1079k| 45 | - | 50 | 125 | 0 | 0 | 6 | 913k| 19 | 5.201512e+00 | 8.000000e+00 | 53.80%
192.82/192.92 c 164s| 1570k| 23 | 304 | 0.0 |1078k| 45 | - | 50 | 118 | 0 | 0 | 6 | 919k| 19 | 5.201512e+00 | 8.000000e+00 | 53.80%
194.01/194.13 c 165s| 1580k| 21 | 304 | 0.0 |1078k| 45 | - | 50 | 117 | 0 | 0 | 6 | 925k| 19 | 5.201512e+00 | 8.000000e+00 | 53.80%
195.21/195.37 c 166s| 1590k| 19 | 304 | 0.0 |1078k| 45 | - | 50 | 121 | 0 | 0 | 6 | 930k| 19 | 5.201512e+00 | 8.000000e+00 | 53.80%
196.41/196.58 c 167s| 1600k| 21 | 304 | 0.0 |1077k| 45 | - | 50 | 116 | 0 | 0 | 6 | 936k| 19 | 5.201512e+00 | 8.000000e+00 | 53.80%
197.71/197.83 c 168s| 1610k| 20 | 304 | 0.0 |1083k| 45 | - | 50 | 133 | 0 | 0 | 6 | 942k| 19 | 5.201512e+00 | 8.000000e+00 | 53.80%
198.92/199.04 c 169s| 1620k| 17 | 304 | 0.0 |1076k| 45 | - | 50 | 115 | 0 | 0 | 6 | 948k| 19 | 5.201512e+00 | 8.000000e+00 | 53.80%
200.11/200.27 c 170s| 1630k| 22 | 304 | 0.0 |1076k| 45 | - | 50 | 114 | 0 | 0 | 6 | 954k| 19 | 5.201512e+00 | 8.000000e+00 | 53.80%
201.41/201.53 c 171s| 1640k| 12 | 304 | 0.0 |1074k| 45 | - | 50 | 116 | 0 | 0 | 6 | 960k| 19 | 5.201512e+00 | 8.000000e+00 | 53.80%
202.61/202.78 c 172s| 1650k| 27 | 304 | 0.0 |1082k| 45 | - | 50 | 128 | 0 | 0 | 6 | 966k| 19 | 5.201512e+00 | 8.000000e+00 | 53.80%
203.91/204.03 c 173s| 1660k| 33 | 304 | 0.0 |1085k| 45 | - | 50 | 128 | 0 | 0 | 6 | 972k| 19 | 5.201512e+00 | 8.000000e+00 | 53.80%
205.11/205.27 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
205.11/205.27 c 174s| 1670k| 27 | 304 | 0.0 |1081k| 45 | - | 50 | 122 | 0 | 0 | 6 | 978k| 19 | 5.201512e+00 | 8.000000e+00 | 53.80%
206.41/206.52 c 175s| 1680k| 24 | 304 | 0.0 |1081k| 45 | - | 50 | 127 | 0 | 0 | 6 | 984k| 19 | 5.201512e+00 | 8.000000e+00 | 53.80%
207.61/207.77 c 176s| 1690k| 27 | 304 | 0.0 |1078k| 45 | - | 50 | 115 | 0 | 0 | 6 | 990k| 19 | 5.201512e+00 | 8.000000e+00 | 53.80%
208.81/208.98 c 177s| 1700k| 17 | 304 | 0.0 |1079k| 45 | - | 50 | 126 | 0 | 0 | 6 | 995k| 19 | 5.201512e+00 | 8.000000e+00 | 53.80%
210.12/210.21 c 178s| 1710k| 28 | 304 | 0.0 |1080k| 45 | - | 50 | 120 | 0 | 0 | 6 |1001k| 19 | 5.201512e+00 | 8.000000e+00 | 53.80%
211.31/211.42 c 179s| 1720k| 24 | 304 | 0.0 |1077k| 45 | - | 50 | 115 | 0 | 0 | 6 |1007k| 19 | 5.201512e+00 | 8.000000e+00 | 53.80%
212.51/212.66 c 180s| 1730k| 19 | 304 | 0.0 |1076k| 45 | - | 50 | 116 | 0 | 0 | 6 |1013k| 19 | 5.201512e+00 | 8.000000e+00 | 53.80%
213.81/213.92 c 182s| 1740k| 26 | 304 | 0.0 |1081k| 45 | - | 50 | 120 | 0 | 0 | 6 |1019k| 19 | 5.201512e+00 | 8.000000e+00 | 53.80%
215.01/215.15 c 183s| 1750k| 21 | 304 | 0.0 |1079k| 45 | - | 50 | 124 | 0 | 0 | 6 |1025k| 19 | 5.201512e+00 | 8.000000e+00 | 53.80%
216.21/216.38 c 184s| 1760k| 23 | 304 | 0.0 |1081k| 45 | - | 50 | 126 | 0 | 0 | 6 |1031k| 19 | 5.201512e+00 | 8.000000e+00 | 53.80%
217.40/217.58 c 185s| 1770k| 23 | 304 | 0.0 |1080k| 45 | - | 50 | 122 | 0 | 0 | 6 |1037k| 19 | 5.201512e+00 | 8.000000e+00 | 53.80%
218.70/218.80 c 186s| 1780k| 20 | 304 | 0.0 |1077k| 45 | - | 50 | 118 | 0 | 0 | 6 |1043k| 19 | 5.201512e+00 | 8.000000e+00 | 53.80%
219.91/220.04 c 187s| 1790k| 20 | 304 | 0.0 |1078k| 45 | - | 50 | 121 | 0 | 0 | 6 |1048k| 19 | 5.201512e+00 | 8.000000e+00 | 53.80%
221.11/221.26 c 188s| 1800k| 24 | 304 | 0.0 |1082k| 45 | - | 50 | 129 | 0 | 0 | 6 |1054k| 19 | 5.201512e+00 | 8.000000e+00 | 53.80%
222.31/222.48 c 189s| 1810k| 30 | 304 | 0.0 |1079k| 45 | - | 50 | 113 | 0 | 0 | 6 |1060k| 19 | 5.201512e+00 | 8.000000e+00 | 53.80%
223.61/223.71 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
223.61/223.71 c 190s| 1820k| 18 | 304 | 0.0 |1077k| 45 | - | 50 | 118 | 0 | 0 | 6 |1066k| 19 | 5.201512e+00 | 8.000000e+00 | 53.80%
224.80/224.92 c 191s| 1830k| 28 | 304 | 0.0 |1079k| 45 | - | 50 | 117 | 0 | 0 | 6 |1072k| 19 | 5.201512e+00 | 8.000000e+00 | 53.80%
226.00/226.16 c 192s| 1840k| 24 | 304 | 0.0 |1080k| 45 | - | 50 | 123 | 0 | 0 | 6 |1078k| 19 | 5.201512e+00 | 8.000000e+00 | 53.80%
227.20/227.39 c 193s| 1850k| 16 | 304 | 0.0 |1076k| 45 | - | 50 | 117 | 0 | 0 | 6 |1083k| 19 | 5.201512e+00 | 8.000000e+00 | 53.80%
228.50/228.61 c 194s| 1860k| 12 | 304 | 0.0 |1078k| 45 | - | 50 | 123 | 0 | 0 | 6 |1089k| 19 | 5.201512e+00 | 8.000000e+00 | 53.80%
229.61/229.80 c 195s| 1870k| 14 | 304 | 0.0 |1078k| 45 | - | 50 | 122 | 0 | 0 | 6 |1095k| 19 | 5.201512e+00 | 8.000000e+00 | 53.80%
230.91/231.02 c 196s| 1880k| 22 | 304 | 0.0 |1078k| 45 | - | 50 | 120 | 0 | 0 | 6 |1101k| 19 | 5.201512e+00 | 8.000000e+00 | 53.80%
232.11/232.24 c 197s| 1890k| 22 | 304 | 0.0 |1078k| 45 | - | 50 | 120 | 0 | 0 | 6 |1106k| 19 | 5.201512e+00 | 8.000000e+00 | 53.80%
233.30/233.46 c 198s| 1900k| 20 | 304 | 0.0 |1076k| 45 | - | 50 | 114 | 0 | 0 | 6 |1112k| 19 | 5.201512e+00 | 8.000000e+00 | 53.80%
234.50/234.67 c 199s| 1910k| 21 | 304 | 0.0 |1079k| 45 | - | 50 | 119 | 0 | 0 | 6 |1118k| 19 | 5.201512e+00 | 8.000000e+00 | 53.80%
235.80/235.90 c 200s| 1920k| 8 | 304 | 0.0 |1077k| 45 | - | 50 | 121 | 0 | 0 | 6 |1124k| 19 | 5.201512e+00 | 8.000000e+00 | 53.80%
237.00/237.14 c 201s| 1930k| 10 | 304 | 0.0 |1076k| 45 | - | 50 | 121 | 0 | 0 | 6 |1130k| 19 | 5.201512e+00 | 8.000000e+00 | 53.80%
238.20/238.36 c 202s| 1940k| 20 | 304 | 0.0 |1080k| 45 | - | 50 | 126 | 0 | 0 | 6 |1136k| 19 | 5.201512e+00 | 8.000000e+00 | 53.80%
239.50/239.61 c 203s| 1950k| 11 | 304 | 0.0 |1076k| 45 | - | 50 | 124 | 0 | 0 | 6 |1142k| 19 | 5.201512e+00 | 8.000000e+00 | 53.80%
240.69/240.83 c 204s| 1960k| 12 | 304 | 0.0 |1078k| 45 | - | 50 | 124 | 0 | 0 | 6 |1148k| 19 | 5.201512e+00 | 8.000000e+00 | 53.80%
241.90/242.05 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
241.90/242.05 c 205s| 1970k| 22 | 304 | 0.0 |1079k| 45 | - | 50 | 120 | 0 | 0 | 6 |1153k| 19 | 5.201512e+00 | 8.000000e+00 | 53.80%
243.11/243.30 c 206s| 1980k| 9 | 304 | 0.0 |1078k| 45 | - | 50 | 127 | 0 | 0 | 6 |1159k| 19 | 5.201512e+00 | 8.000000e+00 | 53.80%
244.40/244.51 c 208s| 1990k| 21 | 304 | 0.0 |1078k| 45 | - | 50 | 119 | 0 | 0 | 6 |1165k| 19 | 5.201512e+00 | 8.000000e+00 | 53.80%
245.60/245.72 c 209s| 2000k| 14 | 304 | 0.0 |1078k| 45 | - | 50 | 123 | 0 | 0 | 6 |1171k| 19 | 5.201512e+00 | 8.000000e+00 | 53.80%
245.80/245.95 c
245.80/245.95 c SCIP Status : problem is solved [optimal solution found]
245.80/245.95 c Solving Time (sec) : 208.75
245.80/245.95 c Solving Nodes : 2001900
245.80/245.95 c Primal Bound : +8.00000000000000e+00 (17 solutions)
245.80/245.95 c Dual Bound : +8.00000000000000e+00
245.80/245.95 c Gap : 0.00 %
245.80/245.95 s OPTIMUM FOUND
245.80/245.95 v x50 -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 -x24
245.80/245.95 v -x23 -x22 -x21 x20 -x19 -x18 -x17 -x16 -x15 -x14 -x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 x5 -x4 -x3 -x2 -x1
245.80/245.95 c SCIP Status : problem is solved [optimal solution found]
245.80/245.95 c Solving Time : 208.75
245.80/245.95 c Original Problem :
245.80/245.95 c Problem name : HOME/instance-2666221-1276595988.opb
245.80/245.95 c Variables : 50 (50 binary, 0 integer, 0 implicit integer, 0 continuous)
245.80/245.95 c Constraints : 100 initial, 100 maximal
245.80/245.95 c Presolved Problem :
245.80/245.95 c Problem name : t_HOME/instance-2666221-1276595988.opb
245.80/245.95 c Variables : 50 (50 binary, 0 integer, 0 implicit integer, 0 continuous)
245.80/245.95 c Constraints : 100 initial, 158 maximal
245.80/245.95 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
245.80/245.95 c trivial : 0.00 0 0 0 0 0 0 0 0
245.80/245.95 c dualfix : 0.00 0 0 0 0 0 0 0 0
245.80/245.95 c boundshift : 0.00 0 0 0 0 0 0 0 0
245.80/245.95 c inttobinary : 0.00 0 0 0 0 0 0 0 0
245.80/245.95 c implics : 0.00 0 0 0 0 0 0 0 0
245.80/245.95 c probing : 0.00 0 0 0 0 0 0 0 0
245.80/245.95 c logicor : 0.00 0 0 0 0 0 0 0 0
245.80/245.95 c root node : - 50 - - 50 - - - -
245.80/245.95 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
245.80/245.95 c integral : 0 0 0 1 0 0 0 0 0 2
245.80/245.95 c logicor : 100+ 7 3402954 0 0 1093662 1976867 0 0 0
245.80/245.95 c countsols : 0 0 0 0 3 0 0 0 0 0
245.80/245.95 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
245.80/245.95 c integral : 0.19 0.00 0.00 0.19 0.00
245.80/245.95 c logicor : 43.13 0.00 43.13 0.00 0.00
245.80/245.95 c countsols : 0.00 0.00 0.00 0.00 0.00
245.80/245.95 c Propagators : Time Calls Cutoffs DomReds
245.80/245.95 c vbounds : 2.67 2 0 0
245.80/245.95 c rootredcost : 2.37 3 0 0
245.80/245.95 c pseudoobj : 51.79 5101774 72137 23472171
245.80/245.95 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
245.80/245.95 c propagation : 25.17 1165799 1162581 1162581 18.4 10046 21.0 -
245.80/245.95 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
245.80/245.95 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
245.80/245.95 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
245.80/245.95 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
245.80/245.95 c applied globally : - - - 1168350 18.4 - - -
245.80/245.95 c applied locally : - - - 4264 32.4 - - -
245.80/245.95 c Separators : Time Calls Cutoffs DomReds Cuts Conss
245.80/245.95 c cut pool : 0.00 6 - - 26 - (maximal pool size: 340)
245.80/245.95 c redcost : 0.00 7 0 0 0 0
245.80/245.95 c impliedbounds : 0.00 7 0 0 0 0
245.80/245.95 c intobj : 0.00 0 0 0 0 0
245.80/245.95 c cgmip : 0.00 0 0 0 0 0
245.80/245.95 c gomory : 0.03 7 0 0 2 0
245.80/245.95 c strongcg : 0.03 7 0 0 338 0
245.80/245.95 c cmir : 0.02 7 0 0 0 0
245.80/245.95 c flowcover : 0.01 7 0 0 0 0
245.80/245.95 c clique : 0.00 1 0 0 0 0
245.80/245.95 c zerohalf : 0.00 0 0 0 0 0
245.80/245.95 c mcf : 0.00 1 0 0 0 0
245.80/245.95 c rapidlearning : 0.00 0 0 0 0 0
245.80/245.95 c Pricers : Time Calls Vars
245.80/245.95 c problem variables: 0.00 0 0
245.80/245.95 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
245.80/245.95 c relpscost : 0.19 1 0 0 0 0 2
245.80/245.95 c pscost : 0.00 0 0 0 0 0 0
245.80/245.95 c inference : 12.03 1534102 0 0 0 0 3068204
245.80/245.95 c mostinf : 0.00 0 0 0 0 0 0
245.80/245.95 c leastinf : 0.00 0 0 0 0 0 0
245.80/245.95 c fullstrong : 0.00 0 0 0 0 0 0
245.80/245.95 c allfullstrong : 0.00 0 0 0 0 0 0
245.80/245.95 c random : 0.00 0 0 0 0 0 0
245.80/245.95 c Primal Heuristics : Time Calls Found
245.80/245.95 c LP solutions : 0.00 - 0
245.80/245.95 c pseudo solutions : 0.00 - 3
245.80/245.95 c crossover : 0.00 0 0
245.80/245.95 c oneopt : 1.30 2 1
245.80/245.95 c trivial : 0.00 2 3
245.80/245.95 c simplerounding : 0.00 7 5
245.80/245.95 c zirounding : 0.00 1 1
245.80/245.95 c rounding : 0.00 7 1
245.80/245.95 c shifting : 0.01 7 3
245.80/245.95 c intshifting : 0.00 0 0
245.80/245.95 c twoopt : 0.00 0 0
245.80/245.95 c fixandinfer : 0.00 0 0
245.80/245.95 c feaspump : 0.00 0 0
245.80/245.95 c coefdiving : 0.00 0 0
245.80/245.95 c pscostdiving : 0.00 0 0
245.80/245.95 c fracdiving : 0.00 0 0
245.80/245.95 c veclendiving : 0.00 0 0
245.80/245.95 c intdiving : 0.00 0 0
245.80/245.95 c actconsdiving : 0.00 0 0
245.80/245.95 c objpscostdiving : 0.00 0 0
245.80/245.95 c rootsoldiving : 0.00 0 0
245.80/245.95 c linesearchdiving : 0.00 0 0
245.80/245.95 c guideddiving : 0.00 0 0
245.80/245.95 c octane : 0.00 0 0
245.80/245.95 c rens : 0.00 0 0
245.80/245.95 c rins : 0.00 0 0
245.80/245.95 c localbranching : 0.00 0 0
245.80/245.95 c mutation : 0.00 0 0
245.80/245.95 c dins : 0.00 0 0
245.80/245.95 c undercover : 0.00 0 0
245.80/245.95 c nlp : 0.91 0 0
245.80/245.95 c trysol : 0.83 0 0
245.80/245.95 c LP : Time Calls Iterations Iter/call Iter/sec
245.80/245.95 c primal LP : 0.00 0 0 0.00 -
245.80/245.95 c dual LP : 0.02 7 304 43.43 15200.00
245.80/245.95 c lex dual LP : 0.00 0 0 0.00 -
245.80/245.95 c barrier LP : 0.00 0 0 0.00 -
245.80/245.95 c diving/probing LP: 0.00 0 0 0.00 -
245.80/245.95 c strong branching : 0.19 19 2572 135.37 13536.84
245.80/245.95 c (at root node) : - 19 2572 135.37 -
245.80/245.95 c conflict analysis: 0.00 0 0 0.00 -
245.80/245.95 c B&B Tree :
245.80/245.95 c number of runs : 1
245.80/245.95 c nodes : 2001900
245.80/245.95 c nodes (total) : 2001900
245.80/245.95 c nodes left : 0
245.80/245.95 c max depth : 45
245.80/245.95 c max depth (total): 45
245.80/245.95 c backtracks : 869778 (43.4%)
245.80/245.95 c delayed cutoffs : 1066302
245.80/245.95 c repropagations : 1577835 (15791489 domain reductions, 698005 cutoffs)
245.80/245.95 c avg switch length: 2.54
245.80/245.95 c switching time : 28.30
245.80/245.95 c Solution :
245.80/245.95 c Solutions found : 17 (7 improvements)
245.80/245.95 c First Solution : +5.00000000000000e+01 (in run 1, after 0 nodes, 0.01 seconds, depth 0, found by <trivial>)
245.80/245.95 c Primal Bound : +8.00000000000000e+00 (in run 1, after 4313 nodes, 0.75 seconds, depth 36, found by <relaxation>)
245.80/245.95 c Dual Bound : +8.00000000000000e+00
245.80/245.95 c Gap : 0.00 %
245.80/245.95 c Root Dual Bound : +5.15026131053547e+00
245.80/245.95 c Root Iterations : 304
245.80/245.96 c Time complete: 245.85.