0.00/0.00 c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: NONE] [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-2664791-1276595937.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 c [src/scip/lpi_none.c:41] ERROR: there is no LP solver linked to the binary (LPS=none); you should set the parameter <lp/solvefreq> to <-1> to avoid solving LPs
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 = -1
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.02 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.02 c t 0.0s| 1 | 2 | 0 | - | 299k| 0 | - | 50 | 100 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | 5.000000e+01 | Inf
0.00/0.02 o 11
0.00/0.02 c * 0.0s| 40 | 37 | 0 | 0.0 | 310k| 39 | - | 50 | 100 | 0 | 0 | 0 | 0 | 0 | 1.000000e+00 | 1.100000e+01 |1000.00%
0.00/0.03 o 10
0.00/0.03 c * 0.0s| 67 | 37 | 0 | 0.0 | 317k| 40 | - | 50 | 101 | 0 | 0 | 0 | 13 | 0 | 1.000000e+00 | 1.000000e+01 | 900.00%
0.19/0.20 o 9
0.19/0.20 c * 0.2s| 1603 | 31 | 0 | 0.0 | 331k| 43 | - | 50 | 100 | 0 | 0 | 0 | 900 | 0 | 1.000000e+00 | 9.000000e+00 | 800.00%
0.59/0.67 o 8
0.59/0.67 c * 0.6s| 5521 | 25 | 0 | 0.0 | 344k| 45 | - | 50 | 124 | 0 | 0 | 0 |3200 | 0 | 1.000000e+00 | 8.000000e+00 | 700.00%
1.19/1.21 c 1.0s| 10000 | 34 | 0 | 0.0 | 350k| 45 | - | 50 | 125 | 0 | 0 | 0 |5871 | 0 | 1.000000e+00 | 8.000000e+00 | 700.00%
2.39/2.44 c 2.1s| 20000 | 25 | 0 | 0.0 | 351k| 45 | - | 50 | 127 | 0 | 0 | 0 | 11k| 0 | 1.000000e+00 | 8.000000e+00 | 700.00%
3.59/3.64 c 3.1s| 30000 | 31 | 0 | 0.0 | 351k| 45 | - | 50 | 115 | 0 | 0 | 0 | 17k| 0 | 1.000000e+00 | 8.000000e+00 | 700.00%
4.79/4.84 c 4.1s| 40000 | 26 | 0 | 0.0 | 355k| 45 | - | 50 | 126 | 0 | 0 | 0 | 23k| 0 | 1.000000e+00 | 8.000000e+00 | 700.00%
5.99/6.06 c 5.1s| 50000 | 22 | 0 | 0.0 | 356k| 45 | - | 50 | 129 | 0 | 0 | 0 | 29k| 0 | 1.000000e+00 | 8.000000e+00 | 700.00%
7.19/7.28 c 6.2s| 60000 | 22 | 0 | 0.0 | 354k| 45 | - | 50 | 126 | 0 | 0 | 0 | 35k| 0 | 1.000000e+00 | 8.000000e+00 | 700.00%
8.39/8.48 c 7.2s| 70000 | 24 | 0 | 0.0 | 355k| 45 | - | 50 | 122 | 0 | 0 | 0 | 41k| 0 | 1.000000e+00 | 8.000000e+00 | 700.00%
9.59/9.68 c 8.2s| 80000 | 31 | 0 | 0.0 | 359k| 45 | - | 50 | 127 | 0 | 0 | 0 | 47k| 0 | 1.000000e+00 | 8.000000e+00 | 700.00%
10.79/10.87 c 9.2s| 90000 | 30 | 0 | 0.0 | 358k| 45 | - | 50 | 122 | 0 | 0 | 0 | 53k| 0 | 1.000000e+00 | 8.000000e+00 | 700.00%
11.99/12.07 c 10.2s|100000 | 26 | 0 | 0.0 | 358k| 45 | - | 50 | 124 | 0 | 0 | 0 | 59k| 0 | 1.000000e+00 | 8.000000e+00 | 700.00%
13.20/13.29 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
13.20/13.29 c 11.2s|110000 | 22 | 0 | 0.0 | 353k| 45 | - | 50 | 114 | 0 | 0 | 0 | 65k| 0 | 1.000000e+00 | 8.000000e+00 | 700.00%
14.39/14.48 c 12.2s|120000 | 26 | 0 | 0.0 | 357k| 45 | - | 50 | 122 | 0 | 0 | 0 | 71k| 0 | 1.000000e+00 | 8.000000e+00 | 700.00%
15.59/15.65 c 13.2s|130000 | 20 | 0 | 0.0 | 355k| 45 | - | 50 | 120 | 0 | 0 | 0 | 77k| 0 | 1.000000e+00 | 8.000000e+00 | 700.00%
16.78/16.84 c 14.2s|140000 | 30 | 0 | 0.0 | 361k| 45 | - | 50 | 125 | 0 | 0 | 0 | 83k| 0 | 1.000000e+00 | 8.000000e+00 | 700.00%
17.99/18.04 c 15.3s|150000 | 25 | 0 | 0.0 | 361k| 45 | - | 50 | 128 | 0 | 0 | 0 | 89k| 0 | 1.000000e+00 | 8.000000e+00 | 700.00%
19.19/19.25 c 16.3s|160000 | 23 | 0 | 0.0 | 360k| 45 | - | 50 | 129 | 0 | 0 | 0 | 95k| 0 | 1.000000e+00 | 8.000000e+00 | 700.00%
20.38/20.43 c 17.3s|170000 | 28 | 0 | 0.0 | 362k| 45 | - | 50 | 131 | 0 | 0 | 0 | 101k| 0 | 1.000000e+00 | 8.000000e+00 | 700.00%
21.59/21.61 c 18.3s|180000 | 20 | 0 | 0.0 | 358k| 45 | - | 50 | 126 | 0 | 0 | 0 | 107k| 0 | 1.000000e+00 | 8.000000e+00 | 700.00%
22.78/22.82 c 19.3s|190000 | 26 | 0 | 0.0 | 361k| 45 | - | 50 | 126 | 0 | 0 | 0 | 113k| 0 | 1.000000e+00 | 8.000000e+00 | 700.00%
23.99/24.03 c 20.3s|200000 | 28 | 0 | 0.0 | 364k| 45 | - | 50 | 129 | 0 | 0 | 0 | 119k| 0 | 1.000000e+00 | 8.000000e+00 | 700.00%
25.19/25.23 c 21.3s|210000 | 24 | 0 | 0.0 | 358k| 45 | - | 50 | 119 | 0 | 0 | 0 | 125k| 0 | 1.000000e+00 | 8.000000e+00 | 700.00%
26.39/26.43 c 22.3s|220000 | 23 | 0 | 0.0 | 361k| 45 | - | 50 | 124 | 0 | 0 | 0 | 131k| 0 | 1.000000e+00 | 8.000000e+00 | 700.00%
27.58/27.65 c 23.4s|230000 | 23 | 0 | 0.0 | 363k| 45 | - | 50 | 128 | 0 | 0 | 0 | 137k| 0 | 1.000000e+00 | 8.000000e+00 | 700.00%
28.78/28.86 c 24.4s|240000 | 26 | 0 | 0.0 | 360k| 45 | - | 50 | 119 | 0 | 0 | 0 | 142k| 0 | 1.000000e+00 | 8.000000e+00 | 700.00%
29.99/30.07 c 25.4s|250000 | 28 | 0 | 0.0 | 357k| 45 | - | 50 | 109 | 0 | 0 | 0 | 148k| 0 | 1.000000e+00 | 8.000000e+00 | 700.00%
31.18/31.28 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
31.18/31.28 c 26.4s|260000 | 21 | 0 | 0.0 | 362k| 45 | - | 50 | 126 | 0 | 0 | 0 | 154k| 0 | 1.000000e+00 | 8.000000e+00 | 700.00%
32.38/32.47 c 27.4s|270000 | 18 | 0 | 0.0 | 361k| 45 | - | 50 | 125 | 0 | 0 | 0 | 160k| 0 | 1.000000e+00 | 8.000000e+00 | 700.00%
33.58/33.67 c 28.4s|280000 | 20 | 0 | 0.0 | 358k| 45 | - | 50 | 120 | 0 | 0 | 0 | 166k| 0 | 1.000000e+00 | 8.000000e+00 | 700.00%
34.78/34.84 c 29.4s|290000 | 32 | 0 | 0.0 | 361k| 45 | - | 50 | 117 | 0 | 0 | 0 | 172k| 0 | 1.000000e+00 | 8.000000e+00 | 700.00%
35.98/36.03 c 30.4s|300000 | 24 | 0 | 0.0 | 359k| 45 | - | 50 | 117 | 0 | 0 | 0 | 178k| 0 | 1.000000e+00 | 8.000000e+00 | 700.00%
37.18/37.24 c 31.4s|310000 | 25 | 0 | 0.0 | 360k| 45 | - | 50 | 114 | 0 | 0 | 0 | 183k| 0 | 1.000000e+00 | 8.000000e+00 | 700.00%
38.39/38.44 c 32.5s|320000 | 26 | 0 | 0.0 | 362k| 45 | - | 50 | 122 | 0 | 0 | 0 | 189k| 0 | 1.000000e+00 | 8.000000e+00 | 700.00%
39.59/39.65 c 33.5s|330000 | 22 | 0 | 0.0 | 361k| 45 | - | 50 | 121 | 0 | 0 | 0 | 195k| 0 | 1.000000e+00 | 8.000000e+00 | 700.00%
40.78/40.87 c 34.5s|340000 | 29 | 0 | 0.0 | 361k| 45 | - | 50 | 116 | 0 | 0 | 0 | 201k| 0 | 1.000000e+00 | 8.000000e+00 | 700.00%
41.98/42.09 c 35.5s|350000 | 21 | 0 | 0.0 | 359k| 45 | - | 50 | 115 | 0 | 0 | 0 | 207k| 0 | 1.000000e+00 | 8.000000e+00 | 700.00%
43.17/43.26 c 36.5s|360000 | 23 | 0 | 0.0 | 358k| 45 | - | 50 | 111 | 0 | 0 | 0 | 213k| 0 | 1.000000e+00 | 8.000000e+00 | 700.00%
44.38/44.45 c 37.5s|370000 | 21 | 0 | 0.0 | 361k| 45 | - | 50 | 121 | 0 | 0 | 0 | 218k| 0 | 1.000000e+00 | 8.000000e+00 | 700.00%
45.58/45.65 c 38.5s|380000 | 23 | 0 | 0.0 | 364k| 45 | - | 50 | 121 | 0 | 0 | 0 | 224k| 0 | 1.000000e+00 | 8.000000e+00 | 700.00%
46.78/46.87 c 39.6s|390000 | 25 | 0 | 0.0 | 363k| 45 | - | 50 | 122 | 0 | 0 | 0 | 230k| 0 | 1.000000e+00 | 8.000000e+00 | 700.00%
47.98/48.09 c 40.6s|400000 | 25 | 0 | 0.0 | 365k| 45 | - | 50 | 126 | 0 | 0 | 0 | 236k| 0 | 1.000000e+00 | 8.000000e+00 | 700.00%
49.18/49.29 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
49.18/49.29 c 41.6s|410000 | 26 | 0 | 0.0 | 365k| 45 | - | 50 | 126 | 0 | 0 | 0 | 242k| 0 | 1.000000e+00 | 8.000000e+00 | 700.00%
50.49/50.50 c 42.6s|420000 | 24 | 0 | 0.0 | 366k| 45 | - | 50 | 125 | 0 | 0 | 0 | 248k| 0 | 1.000000e+00 | 8.000000e+00 | 700.00%
51.59/51.70 c 43.6s|430000 | 23 | 0 | 0.0 | 360k| 45 | - | 50 | 113 | 0 | 0 | 0 | 253k| 0 | 1.000000e+00 | 8.000000e+00 | 700.00%
52.88/52.91 c 44.7s|440000 | 22 | 0 | 0.0 | 360k| 45 | - | 50 | 113 | 0 | 0 | 0 | 259k| 0 | 1.000000e+00 | 8.000000e+00 | 700.00%
54.08/54.12 c 45.7s|450000 | 20 | 0 | 0.0 | 364k| 45 | - | 50 | 122 | 0 | 0 | 0 | 265k| 0 | 1.000000e+00 | 8.000000e+00 | 700.00%
55.27/55.31 c 46.7s|460000 | 22 | 0 | 0.0 | 359k| 45 | - | 50 | 111 | 0 | 0 | 0 | 271k| 0 | 1.000000e+00 | 8.000000e+00 | 700.00%
56.48/56.51 c 47.7s|470000 | 25 | 0 | 0.0 | 364k| 45 | - | 50 | 123 | 0 | 0 | 0 | 277k| 0 | 1.000000e+00 | 8.000000e+00 | 700.00%
57.58/57.68 c 48.7s|480000 | 25 | 0 | 0.0 | 367k| 45 | - | 50 | 122 | 0 | 0 | 0 | 283k| 0 | 1.000000e+00 | 8.000000e+00 | 700.00%
58.77/58.89 c 49.7s|490000 | 23 | 0 | 0.0 | 365k| 45 | - | 50 | 119 | 0 | 0 | 0 | 288k| 0 | 1.000000e+00 | 8.000000e+00 | 700.00%
60.08/60.10 c 50.7s|500000 | 31 | 0 | 0.0 | 367k| 45 | - | 50 | 120 | 0 | 0 | 0 | 294k| 0 | 1.000000e+00 | 8.000000e+00 | 700.00%
61.17/61.28 c 51.8s|510000 | 25 | 0 | 0.0 | 365k| 45 | - | 50 | 117 | 0 | 0 | 0 | 300k| 0 | 1.000000e+00 | 8.000000e+00 | 700.00%
62.37/62.47 c 52.7s|520000 | 27 | 0 | 0.0 | 365k| 45 | - | 50 | 120 | 0 | 0 | 0 | 306k| 0 | 1.000000e+00 | 8.000000e+00 | 700.00%
63.57/63.66 c 53.8s|530000 | 27 | 0 | 0.0 | 366k| 45 | - | 50 | 121 | 0 | 0 | 0 | 312k| 0 | 1.000000e+00 | 8.000000e+00 | 700.00%
64.78/64.85 c 54.8s|540000 | 27 | 0 | 0.0 | 366k| 45 | - | 50 | 118 | 0 | 0 | 0 | 318k| 0 | 1.000000e+00 | 8.000000e+00 | 700.00%
65.98/66.07 c 55.9s|550000 | 22 | 0 | 0.0 | 365k| 45 | - | 50 | 118 | 0 | 0 | 0 | 324k| 0 | 1.000000e+00 | 8.000000e+00 | 700.00%
67.17/67.29 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
67.17/67.29 c 56.9s|560000 | 24 | 0 | 0.0 | 363k| 45 | - | 50 | 112 | 0 | 0 | 0 | 330k| 0 | 1.000000e+00 | 8.000000e+00 | 700.00%
68.37/68.49 c 57.9s|570000 | 18 | 0 | 0.0 | 360k| 45 | - | 50 | 109 | 0 | 0 | 0 | 335k| 0 | 1.000000e+00 | 8.000000e+00 | 700.00%
69.57/69.67 c 58.9s|580000 | 13 | 0 | 0.0 | 361k| 45 | - | 50 | 117 | 0 | 0 | 0 | 341k| 0 | 1.000000e+00 | 8.000000e+00 | 700.00%
70.77/70.86 c 59.9s|590000 | 21 | 0 | 0.0 | 365k| 45 | - | 50 | 123 | 0 | 0 | 0 | 347k| 0 | 1.000000e+00 | 8.000000e+00 | 700.00%
71.97/72.03 c 60.9s|600000 | 18 | 0 | 0.0 | 362k| 45 | - | 50 | 118 | 0 | 0 | 0 | 353k| 0 | 1.000000e+00 | 8.000000e+00 | 700.00%
73.17/73.24 c 61.9s|610000 | 26 | 0 | 0.0 | 364k| 45 | - | 50 | 115 | 0 | 0 | 0 | 359k| 0 | 1.000000e+00 | 8.000000e+00 | 700.00%
74.37/74.46 c 62.9s|620000 | 27 | 0 | 0.0 | 368k| 45 | - | 50 | 119 | 0 | 0 | 0 | 364k| 0 | 1.000000e+00 | 8.000000e+00 | 700.00%
75.67/75.71 c 64.0s|630000 | 19 | 0 | 0.0 | 370k| 45 | - | 50 | 130 | 0 | 0 | 0 | 370k| 0 | 1.000000e+00 | 8.000000e+00 | 700.00%
76.88/76.93 c 65.0s|640000 | 21 | 0 | 0.0 | 369k| 45 | - | 50 | 128 | 0 | 0 | 0 | 376k| 0 | 1.000000e+00 | 8.000000e+00 | 700.00%
78.08/78.15 c 66.0s|650000 | 19 | 0 | 0.0 | 364k| 45 | - | 50 | 116 | 0 | 0 | 0 | 382k| 0 | 1.000000e+00 | 8.000000e+00 | 700.00%
79.27/79.35 c 67.0s|660000 | 14 | 0 | 0.0 | 363k| 45 | - | 50 | 115 | 0 | 0 | 0 | 388k| 0 | 1.000000e+00 | 8.000000e+00 | 700.00%
80.47/80.56 c 68.1s|670000 | 26 | 0 | 0.0 | 369k| 45 | - | 50 | 126 | 0 | 0 | 0 | 394k| 0 | 1.000000e+00 | 8.000000e+00 | 700.00%
81.67/81.79 c 69.1s|680000 | 13 | 0 | 0.0 | 367k| 45 | - | 50 | 127 | 0 | 0 | 0 | 400k| 0 | 1.000000e+00 | 8.000000e+00 | 700.00%
82.87/82.99 c 70.1s|690000 | 25 | 0 | 0.0 | 371k| 45 | - | 50 | 133 | 0 | 0 | 0 | 406k| 0 | 1.000000e+00 | 8.000000e+00 | 700.00%
84.17/84.21 c 71.2s|700000 | 23 | 0 | 0.0 | 367k| 45 | - | 50 | 123 | 0 | 0 | 0 | 412k| 0 | 1.000000e+00 | 8.000000e+00 | 700.00%
85.37/85.43 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
85.37/85.43 c 72.2s|710000 | 23 | 0 | 0.0 | 364k| 45 | - | 50 | 112 | 0 | 0 | 0 | 418k| 0 | 1.000000e+00 | 8.000000e+00 | 700.00%
86.56/86.62 c 73.3s|720000 | 20 | 0 | 0.0 | 363k| 45 | - | 50 | 110 | 0 | 0 | 0 | 424k| 0 | 1.000000e+00 | 8.000000e+00 | 700.00%
87.77/87.82 c 74.3s|730000 | 20 | 0 | 0.0 | 366k| 45 | - | 50 | 120 | 0 | 0 | 0 | 430k| 0 | 1.000000e+00 | 8.000000e+00 | 700.00%
88.97/89.01 c 75.3s|740000 | 29 | 0 | 0.0 | 366k| 45 | - | 50 | 112 | 0 | 0 | 0 | 435k| 0 | 1.000000e+00 | 8.000000e+00 | 700.00%
90.17/90.22 c 76.3s|750000 | 22 | 0 | 0.0 | 366k| 45 | - | 50 | 120 | 0 | 0 | 0 | 441k| 0 | 1.000000e+00 | 8.000000e+00 | 700.00%
91.37/91.42 c 77.3s|760000 | 21 | 0 | 0.0 | 365k| 45 | - | 50 | 116 | 0 | 0 | 0 | 447k| 0 | 1.000000e+00 | 8.000000e+00 | 700.00%
92.56/92.63 c 78.3s|770000 | 23 | 0 | 0.0 | 370k| 45 | - | 50 | 121 | 0 | 0 | 0 | 453k| 0 | 1.000000e+00 | 8.000000e+00 | 700.00%
93.76/93.85 c 79.3s|780000 | 14 | 0 | 0.0 | 369k| 45 | - | 50 | 126 | 0 | 0 | 0 | 459k| 0 | 1.000000e+00 | 8.000000e+00 | 700.00%
94.96/95.05 c 80.4s|790000 | 24 | 0 | 0.0 | 368k| 45 | - | 50 | 117 | 0 | 0 | 0 | 464k| 0 | 1.000000e+00 | 8.000000e+00 | 700.00%
96.17/96.25 c 81.4s|800000 | 25 | 0 | 0.0 | 367k| 45 | - | 50 | 113 | 0 | 0 | 0 | 470k| 0 | 1.000000e+00 | 8.000000e+00 | 700.00%
97.36/97.47 c 82.4s|810000 | 27 | 0 | 0.0 | 374k| 45 | - | 50 | 127 | 0 | 0 | 0 | 476k| 0 | 1.000000e+00 | 8.000000e+00 | 700.00%
98.57/98.68 c 83.4s|820000 | 21 | 0 | 0.0 | 367k| 45 | - | 50 | 118 | 0 | 0 | 0 | 482k| 0 | 1.000000e+00 | 8.000000e+00 | 700.00%
99.87/99.93 c 84.5s|830000 | 28 | 0 | 0.0 | 369k| 45 | - | 50 | 118 | 0 | 0 | 0 | 488k| 0 | 1.000000e+00 | 8.000000e+00 | 700.00%
101.07/101.15 c 85.5s|840000 | 22 | 0 | 0.0 | 370k| 45 | - | 50 | 124 | 0 | 0 | 0 | 494k| 0 | 1.000000e+00 | 8.000000e+00 | 700.00%
102.27/102.36 c 86.5s|850000 | 21 | 0 | 0.0 | 368k| 45 | - | 50 | 118 | 0 | 0 | 0 | 500k| 0 | 1.000000e+00 | 8.000000e+00 | 700.00%
103.46/103.55 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
103.46/103.55 c 87.5s|860000 | 22 | 0 | 0.0 | 370k| 45 | - | 50 | 124 | 0 | 0 | 0 | 505k| 0 | 1.000000e+00 | 8.000000e+00 | 700.00%
104.66/104.75 c 88.6s|870000 | 28 | 0 | 0.0 | 371k| 45 | - | 50 | 120 | 0 | 0 | 0 | 511k| 0 | 1.000000e+00 | 8.000000e+00 | 700.00%
105.86/105.95 c 89.6s|880000 | 14 | 0 | 0.0 | 368k| 45 | - | 50 | 121 | 0 | 0 | 0 | 517k| 0 | 1.000000e+00 | 8.000000e+00 | 700.00%
107.07/107.14 c 90.6s|890000 | 16 | 0 | 0.0 | 368k| 45 | - | 50 | 123 | 0 | 0 | 0 | 523k| 0 | 1.000000e+00 | 8.000000e+00 | 700.00%
108.27/108.35 c 91.7s|900000 | 25 | 0 | 0.0 | 369k| 45 | - | 50 | 116 | 0 | 0 | 0 | 529k| 0 | 1.000000e+00 | 8.000000e+00 | 700.00%
109.46/109.53 c 92.7s|910000 | 22 | 0 | 0.0 | 368k| 45 | - | 50 | 116 | 0 | 0 | 0 | 534k| 0 | 1.000000e+00 | 8.000000e+00 | 700.00%
110.66/110.76 c 93.7s|920000 | 23 | 0 | 0.0 | 371k| 45 | - | 50 | 124 | 0 | 0 | 0 | 540k| 0 | 1.000000e+00 | 8.000000e+00 | 700.00%
111.87/111.98 c 94.7s|930000 | 20 | 0 | 0.0 | 369k| 45 | - | 50 | 121 | 0 | 0 | 0 | 546k| 0 | 1.000000e+00 | 8.000000e+00 | 700.00%
113.07/113.19 c 95.7s|940000 | 22 | 0 | 0.0 | 369k| 45 | - | 50 | 118 | 0 | 0 | 0 | 552k| 0 | 1.000000e+00 | 8.000000e+00 | 700.00%
114.37/114.41 c 96.8s|950000 | 20 | 0 | 0.0 | 372k| 45 | - | 50 | 131 | 0 | 0 | 0 | 558k| 0 | 1.000000e+00 | 8.000000e+00 | 700.00%
115.56/115.64 c 97.8s|960000 | 21 | 0 | 0.0 | 369k| 45 | - | 50 | 115 | 0 | 0 | 0 | 563k| 0 | 1.000000e+00 | 8.000000e+00 | 700.00%
116.76/116.87 c 98.9s|970000 | 25 | 0 | 0.0 | 369k| 45 | - | 50 | 111 | 0 | 0 | 0 | 569k| 0 | 1.000000e+00 | 8.000000e+00 | 700.00%
117.96/118.06 c 99.9s|980000 | 26 | 0 | 0.0 | 372k| 45 | - | 50 | 119 | 0 | 0 | 0 | 575k| 0 | 1.000000e+00 | 8.000000e+00 | 700.00%
119.16/119.28 c 101s|990000 | 26 | 0 | 0.0 | 371k| 45 | - | 50 | 118 | 0 | 0 | 0 | 581k| 0 | 1.000000e+00 | 8.000000e+00 | 700.00%
120.36/120.47 c 102s| 1000k| 21 | 0 | 0.0 | 367k| 45 | - | 50 | 110 | 0 | 0 | 0 | 587k| 0 | 1.000000e+00 | 8.000000e+00 | 700.00%
121.56/121.68 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
121.56/121.68 c 103s| 1010k| 24 | 0 | 0.0 | 373k| 45 | - | 50 | 123 | 0 | 0 | 0 | 593k| 0 | 1.000000e+00 | 8.000000e+00 | 700.00%
122.76/122.86 c 104s| 1020k| 14 | 0 | 0.0 | 365k| 45 | - | 50 | 111 | 0 | 0 | 0 | 598k| 0 | 1.000000e+00 | 8.000000e+00 | 700.00%
123.95/124.06 c 105s| 1030k| 23 | 0 | 0.0 | 370k| 45 | - | 50 | 114 | 0 | 0 | 0 | 604k| 0 | 1.000000e+00 | 8.000000e+00 | 700.00%
125.15/125.27 c 106s| 1040k| 20 | 0 | 0.0 | 367k| 45 | - | 50 | 111 | 0 | 0 | 0 | 610k| 0 | 1.000000e+00 | 8.000000e+00 | 700.00%
126.34/126.47 c 107s| 1050k| 26 | 0 | 0.0 | 371k| 45 | - | 50 | 117 | 0 | 0 | 0 | 616k| 0 | 1.000000e+00 | 8.000000e+00 | 700.00%
127.55/127.68 c 108s| 1060k| 24 | 0 | 0.0 | 369k| 45 | - | 50 | 113 | 0 | 0 | 0 | 622k| 0 | 1.000000e+00 | 8.000000e+00 | 700.00%
128.74/128.86 c 109s| 1070k| 26 | 0 | 0.0 | 373k| 45 | - | 50 | 125 | 0 | 0 | 0 | 628k| 0 | 1.000000e+00 | 8.000000e+00 | 700.00%
129.95/130.07 c 110s| 1080k| 30 | 0 | 0.0 | 371k| 45 | - | 50 | 116 | 0 | 0 | 0 | 634k| 0 | 1.000000e+00 | 8.000000e+00 | 700.00%
131.14/131.25 c 111s| 1090k| 25 | 0 | 0.0 | 371k| 45 | - | 50 | 116 | 0 | 0 | 0 | 640k| 0 | 1.000000e+00 | 8.000000e+00 | 700.00%
132.34/132.46 c 112s| 1100k| 22 | 0 | 0.0 | 371k| 45 | - | 50 | 119 | 0 | 0 | 0 | 646k| 0 | 1.000000e+00 | 8.000000e+00 | 700.00%
133.54/133.64 c 113s| 1110k| 23 | 0 | 0.0 | 372k| 45 | - | 50 | 121 | 0 | 0 | 0 | 652k| 0 | 1.000000e+00 | 8.000000e+00 | 700.00%
134.74/134.86 c 114s| 1120k| 24 | 0 | 0.0 | 368k| 45 | - | 50 | 108 | 0 | 0 | 0 | 658k| 0 | 1.000000e+00 | 8.000000e+00 | 700.00%
135.94/136.08 c 115s| 1130k| 23 | 0 | 0.0 | 369k| 45 | - | 50 | 111 | 0 | 0 | 0 | 664k| 0 | 1.000000e+00 | 8.000000e+00 | 700.00%
137.14/137.27 c 116s| 1140k| 20 | 0 | 0.0 | 367k| 45 | - | 50 | 108 | 0 | 0 | 0 | 669k| 0 | 1.000000e+00 | 8.000000e+00 | 700.00%
138.34/138.46 c 117s| 1150k| 24 | 0 | 0.0 | 370k| 45 | - | 50 | 114 | 0 | 0 | 0 | 675k| 0 | 1.000000e+00 | 8.000000e+00 | 700.00%
139.55/139.67 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
139.55/139.67 c 118s| 1160k| 19 | 0 | 0.0 | 370k| 45 | - | 50 | 122 | 0 | 0 | 0 | 681k| 0 | 1.000000e+00 | 8.000000e+00 | 700.00%
140.74/140.88 c 119s| 1170k| 17 | 0 | 0.0 | 367k| 45 | - | 50 | 111 | 0 | 0 | 0 | 687k| 0 | 1.000000e+00 | 8.000000e+00 | 700.00%
141.94/142.08 c 120s| 1180k| 19 | 0 | 0.0 | 368k| 45 | - | 50 | 116 | 0 | 0 | 0 | 693k| 0 | 1.000000e+00 | 8.000000e+00 | 700.00%
143.14/143.28 c 121s| 1190k| 26 | 0 | 0.0 | 372k| 45 | - | 50 | 122 | 0 | 0 | 0 | 699k| 0 | 1.000000e+00 | 8.000000e+00 | 700.00%
144.34/144.47 c 122s| 1200k| 23 | 0 | 0.0 | 370k| 45 | - | 50 | 114 | 0 | 0 | 0 | 704k| 0 | 1.000000e+00 | 8.000000e+00 | 700.00%
145.54/145.65 c 123s| 1210k| 21 | 0 | 0.0 | 373k| 45 | - | 50 | 127 | 0 | 0 | 0 | 710k| 0 | 1.000000e+00 | 8.000000e+00 | 700.00%
146.74/146.83 c 124s| 1220k| 30 | 0 | 0.0 | 371k| 45 | - | 50 | 112 | 0 | 0 | 0 | 716k| 0 | 1.000000e+00 | 8.000000e+00 | 700.00%
147.94/148.02 c 125s| 1230k| 23 | 0 | 0.0 | 370k| 45 | - | 50 | 116 | 0 | 0 | 0 | 722k| 0 | 1.000000e+00 | 8.000000e+00 | 700.00%
149.14/149.21 c 126s| 1240k| 28 | 0 | 0.0 | 373k| 45 | - | 50 | 117 | 0 | 0 | 0 | 727k| 0 | 1.000000e+00 | 8.000000e+00 | 700.00%
150.34/150.42 c 127s| 1250k| 31 | 0 | 0.0 | 377k| 45 | - | 50 | 125 | 0 | 0 | 0 | 733k| 0 | 1.000000e+00 | 8.000000e+00 | 700.00%
151.54/151.65 c 128s| 1260k| 22 | 0 | 0.0 | 374k| 45 | - | 50 | 125 | 0 | 0 | 0 | 739k| 0 | 1.000000e+00 | 8.000000e+00 | 700.00%
152.74/152.85 c 129s| 1270k| 24 | 0 | 0.0 | 371k| 45 | - | 50 | 114 | 0 | 0 | 0 | 745k| 0 | 1.000000e+00 | 8.000000e+00 | 700.00%
153.94/154.04 c 130s| 1280k| 22 | 0 | 0.0 | 370k| 45 | - | 50 | 114 | 0 | 0 | 0 | 750k| 0 | 1.000000e+00 | 8.000000e+00 | 700.00%
155.14/155.24 c 131s| 1290k| 27 | 0 | 0.0 | 374k| 45 | - | 50 | 119 | 0 | 0 | 0 | 756k| 0 | 1.000000e+00 | 8.000000e+00 | 700.00%
156.34/156.43 c 132s| 1300k| 24 | 0 | 0.0 | 372k| 45 | - | 50 | 118 | 0 | 0 | 0 | 762k| 0 | 1.000000e+00 | 8.000000e+00 | 700.00%
157.54/157.63 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
157.54/157.63 c 133s| 1310k| 21 | 0 | 0.0 | 373k| 45 | - | 50 | 122 | 0 | 0 | 0 | 768k| 0 | 1.000000e+00 | 8.000000e+00 | 700.00%
158.74/158.85 c 134s| 1320k| 20 | 0 | 0.0 | 373k| 45 | - | 50 | 124 | 0 | 0 | 0 | 774k| 0 | 1.000000e+00 | 8.000000e+00 | 700.00%
159.93/160.03 c 135s| 1330k| 13 | 0 | 0.0 | 371k| 45 | - | 50 | 120 | 0 | 0 | 0 | 780k| 0 | 1.000000e+00 | 8.000000e+00 | 700.00%
161.13/161.24 c 136s| 1340k| 14 | 0 | 0.0 | 370k| 45 | - | 50 | 122 | 0 | 0 | 0 | 785k| 0 | 1.000000e+00 | 8.000000e+00 | 700.00%
162.34/162.48 c 137s| 1350k| 18 | 0 | 0.0 | 372k| 45 | - | 50 | 124 | 0 | 0 | 0 | 791k| 0 | 1.000000e+00 | 8.000000e+00 | 700.00%
163.54/163.68 c 138s| 1360k| 20 | 0 | 0.0 | 370k| 45 | - | 50 | 116 | 0 | 0 | 0 | 797k| 0 | 1.000000e+00 | 8.000000e+00 | 700.00%
164.73/164.87 c 140s| 1370k| 21 | 0 | 0.0 | 371k| 45 | - | 50 | 116 | 0 | 0 | 0 | 803k| 0 | 1.000000e+00 | 8.000000e+00 | 700.00%
165.94/166.07 c 141s| 1380k| 21 | 0 | 0.0 | 368k| 45 | - | 50 | 108 | 0 | 0 | 0 | 808k| 0 | 1.000000e+00 | 8.000000e+00 | 700.00%
167.14/167.23 c 142s| 1390k| 27 | 0 | 0.0 | 371k| 45 | - | 50 | 110 | 0 | 0 | 0 | 814k| 0 | 1.000000e+00 | 8.000000e+00 | 700.00%
168.33/168.44 c 143s| 1400k| 18 | 0 | 0.0 | 368k| 45 | - | 50 | 110 | 0 | 0 | 0 | 820k| 0 | 1.000000e+00 | 8.000000e+00 | 700.00%
169.53/169.62 c 144s| 1410k| 23 | 0 | 0.0 | 371k| 45 | - | 50 | 115 | 0 | 0 | 0 | 826k| 0 | 1.000000e+00 | 8.000000e+00 | 700.00%
170.73/170.86 c 145s| 1420k| 19 | 0 | 0.0 | 369k| 45 | - | 50 | 114 | 0 | 0 | 0 | 832k| 0 | 1.000000e+00 | 8.000000e+00 | 700.00%
171.93/172.07 c 146s| 1430k| 22 | 0 | 0.0 | 371k| 45 | - | 50 | 117 | 0 | 0 | 0 | 837k| 0 | 1.000000e+00 | 8.000000e+00 | 700.00%
173.13/173.25 c 147s| 1440k| 23 | 0 | 0.0 | 372k| 45 | - | 50 | 120 | 0 | 0 | 0 | 843k| 0 | 1.000000e+00 | 8.000000e+00 | 700.00%
174.33/174.46 c 148s| 1450k| 21 | 0 | 0.0 | 372k| 45 | - | 50 | 121 | 0 | 0 | 0 | 849k| 0 | 1.000000e+00 | 8.000000e+00 | 700.00%
175.53/175.68 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
175.53/175.68 c 149s| 1460k| 20 | 0 | 0.0 | 370k| 45 | - | 50 | 115 | 0 | 0 | 0 | 855k| 0 | 1.000000e+00 | 8.000000e+00 | 700.00%
176.73/176.88 c 150s| 1470k| 24 | 0 | 0.0 | 372k| 45 | - | 50 | 113 | 0 | 0 | 0 | 860k| 0 | 1.000000e+00 | 8.000000e+00 | 700.00%
177.93/178.09 c 151s| 1480k| 15 | 0 | 0.0 | 368k| 45 | - | 50 | 112 | 0 | 0 | 0 | 866k| 0 | 1.000000e+00 | 8.000000e+00 | 700.00%
179.14/179.27 c 152s| 1490k| 28 | 0 | 0.0 | 373k| 45 | - | 50 | 115 | 0 | 0 | 0 | 872k| 0 | 1.000000e+00 | 8.000000e+00 | 700.00%
180.33/180.46 c 153s| 1500k| 20 | 0 | 0.0 | 368k| 45 | - | 50 | 109 | 0 | 0 | 0 | 877k| 0 | 1.000000e+00 | 8.000000e+00 | 700.00%
181.53/181.62 c 154s| 1510k| 26 | 0 | 0.0 | 373k| 45 | - | 50 | 116 | 0 | 0 | 0 | 883k| 0 | 1.000000e+00 | 8.000000e+00 | 700.00%
182.73/182.81 c 155s| 1520k| 21 | 0 | 0.0 | 371k| 45 | - | 50 | 114 | 0 | 0 | 0 | 889k| 0 | 1.000000e+00 | 8.000000e+00 | 700.00%
183.93/184.04 c 156s| 1530k| 23 | 0 | 0.0 | 375k| 45 | - | 50 | 120 | 0 | 0 | 0 | 894k| 0 | 1.000000e+00 | 8.000000e+00 | 700.00%
185.13/185.26 c 157s| 1540k| 26 | 0 | 0.0 | 373k| 45 | - | 50 | 113 | 0 | 0 | 0 | 900k| 0 | 1.000000e+00 | 8.000000e+00 | 700.00%
186.32/186.46 c 158s| 1550k| 23 | 0 | 0.0 | 374k| 45 | - | 50 | 116 | 0 | 0 | 0 | 906k| 0 | 1.000000e+00 | 8.000000e+00 | 700.00%
187.63/187.71 c 159s| 1560k| 25 | 0 | 0.0 | 374k| 45 | - | 50 | 116 | 0 | 0 | 0 | 912k| 0 | 1.000000e+00 | 8.000000e+00 | 700.00%
188.83/188.91 c 160s| 1570k| 17 | 0 | 0.0 | 374k| 45 | - | 50 | 127 | 0 | 0 | 0 | 918k| 0 | 1.000000e+00 | 8.000000e+00 | 700.00%
190.03/190.12 c 161s| 1580k| 17 | 0 | 0.0 | 370k| 45 | - | 50 | 113 | 0 | 0 | 0 | 923k| 0 | 1.000000e+00 | 8.000000e+00 | 700.00%
191.23/191.36 c 162s| 1590k| 27 | 0 | 0.0 | 372k| 45 | - | 50 | 110 | 0 | 0 | 0 | 929k| 0 | 1.000000e+00 | 8.000000e+00 | 700.00%
192.43/192.60 c 163s| 1600k| 27 | 0 | 0.0 | 375k| 45 | - | 50 | 118 | 0 | 0 | 0 | 935k| 0 | 1.000000e+00 | 8.000000e+00 | 700.00%
193.72/193.81 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
193.72/193.81 c 164s| 1610k| 18 | 0 | 0.0 | 372k| 45 | - | 50 | 118 | 0 | 0 | 0 | 941k| 0 | 1.000000e+00 | 8.000000e+00 | 700.00%
194.93/195.02 c 165s| 1620k| 28 | 0 | 0.0 | 373k| 45 | - | 50 | 111 | 0 | 0 | 0 | 946k| 0 | 1.000000e+00 | 8.000000e+00 | 700.00%
196.13/196.24 c 166s| 1630k| 22 | 0 | 0.0 | 373k| 45 | - | 50 | 119 | 0 | 0 | 0 | 952k| 0 | 1.000000e+00 | 8.000000e+00 | 700.00%
197.33/197.46 c 167s| 1640k| 17 | 0 | 0.0 | 369k| 45 | - | 50 | 109 | 0 | 0 | 0 | 958k| 0 | 1.000000e+00 | 8.000000e+00 | 700.00%
198.53/198.67 c 168s| 1650k| 21 | 0 | 0.0 | 371k| 45 | - | 50 | 109 | 0 | 0 | 0 | 964k| 0 | 1.000000e+00 | 8.000000e+00 | 700.00%
199.73/199.89 c 169s| 1660k| 22 | 0 | 0.0 | 374k| 45 | - | 50 | 115 | 0 | 0 | 0 | 969k| 0 | 1.000000e+00 | 8.000000e+00 | 700.00%
201.02/201.13 c 170s| 1670k| 15 | 0 | 0.0 | 369k| 45 | - | 50 | 109 | 0 | 0 | 0 | 975k| 0 | 1.000000e+00 | 8.000000e+00 | 700.00%
202.23/202.33 c 171s| 1680k| 15 | 0 | 0.0 | 372k| 45 | - | 50 | 115 | 0 | 0 | 0 | 981k| 0 | 1.000000e+00 | 8.000000e+00 | 700.00%
203.43/203.57 c 172s| 1690k| 27 | 0 | 0.0 | 373k| 45 | - | 50 | 114 | 0 | 0 | 0 | 987k| 0 | 1.000000e+00 | 8.000000e+00 | 700.00%
204.63/204.79 c 173s| 1700k| 20 | 0 | 0.0 | 372k| 45 | - | 50 | 114 | 0 | 0 | 0 | 993k| 0 | 1.000000e+00 | 8.000000e+00 | 700.00%
205.92/206.00 c 174s| 1710k| 14 | 0 | 0.0 | 372k| 45 | - | 50 | 115 | 0 | 0 | 0 | 998k| 0 | 1.000000e+00 | 8.000000e+00 | 700.00%
207.13/207.20 c 175s| 1720k| 15 | 0 | 0.0 | 370k| 45 | - | 50 | 114 | 0 | 0 | 0 |1004k| 0 | 1.000000e+00 | 8.000000e+00 | 700.00%
208.33/208.42 c 176s| 1730k| 30 | 0 | 0.0 | 374k| 45 | - | 50 | 113 | 0 | 0 | 0 |1010k| 0 | 1.000000e+00 | 8.000000e+00 | 700.00%
209.52/209.62 c 177s| 1740k| 18 | 0 | 0.0 | 370k| 45 | - | 50 | 110 | 0 | 0 | 0 |1016k| 0 | 1.000000e+00 | 8.000000e+00 | 700.00%
210.72/210.82 c 178s| 1750k| 19 | 0 | 0.0 | 372k| 45 | - | 50 | 111 | 0 | 0 | 0 |1021k| 0 | 1.000000e+00 | 8.000000e+00 | 700.00%
211.93/212.01 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
211.93/212.01 c 179s| 1760k| 22 | 0 | 0.0 | 371k| 45 | - | 50 | 110 | 0 | 0 | 0 |1027k| 0 | 1.000000e+00 | 8.000000e+00 | 700.00%
213.03/213.18 c 180s| 1770k| 14 | 0 | 0.0 | 372k| 45 | - | 50 | 116 | 0 | 0 | 0 |1032k| 0 | 1.000000e+00 | 8.000000e+00 | 700.00%
214.22/214.38 c 181s| 1780k| 26 | 0 | 0.0 | 375k| 45 | - | 50 | 117 | 0 | 0 | 0 |1038k| 0 | 1.000000e+00 | 8.000000e+00 | 700.00%
215.42/215.58 c 182s| 1790k| 23 | 0 | 0.0 | 371k| 45 | - | 50 | 109 | 0 | 0 | 0 |1044k| 0 | 1.000000e+00 | 8.000000e+00 | 700.00%
216.62/216.76 c 183s| 1800k| 19 | 0 | 0.0 | 371k| 45 | - | 50 | 112 | 0 | 0 | 0 |1049k| 0 | 1.000000e+00 | 8.000000e+00 | 700.00%
217.82/217.96 c 184s| 1810k| 22 | 0 | 0.0 | 373k| 45 | - | 50 | 113 | 0 | 0 | 0 |1055k| 0 | 1.000000e+00 | 8.000000e+00 | 700.00%
219.02/219.16 c 186s| 1820k| 20 | 0 | 0.0 | 371k| 45 | - | 50 | 112 | 0 | 0 | 0 |1061k| 0 | 1.000000e+00 | 8.000000e+00 | 700.00%
220.22/220.37 c 187s| 1830k| 15 | 0 | 0.0 | 369k| 45 | - | 50 | 110 | 0 | 0 | 0 |1067k| 0 | 1.000000e+00 | 8.000000e+00 | 700.00%
221.42/221.58 c 188s| 1840k| 29 | 0 | 0.0 | 373k| 45 | - | 50 | 110 | 0 | 0 | 0 |1073k| 0 | 1.000000e+00 | 8.000000e+00 | 700.00%
222.72/222.80 c 189s| 1850k| 26 | 0 | 0.0 | 378k| 45 | - | 50 | 125 | 0 | 0 | 0 |1078k| 0 | 2.000000e+00 | 8.000000e+00 | 300.00%
223.92/224.04 c 190s| 1860k| 26 | 0 | 0.0 | 379k| 45 | - | 50 | 126 | 0 | 0 | 0 |1084k| 0 | 2.000000e+00 | 8.000000e+00 | 300.00%
225.12/225.26 c 191s| 1870k| 25 | 0 | 0.0 | 372k| 45 | - | 50 | 108 | 0 | 0 | 0 |1090k| 0 | 2.000000e+00 | 8.000000e+00 | 300.00%
226.32/226.48 c 192s| 1880k| 24 | 0 | 0.0 | 378k| 45 | - | 50 | 126 | 0 | 0 | 0 |1096k| 0 | 2.000000e+00 | 8.000000e+00 | 300.00%
227.63/227.72 c 193s| 1890k| 17 | 0 | 0.0 | 373k| 45 | - | 50 | 117 | 0 | 0 | 0 |1102k| 0 | 2.000000e+00 | 8.000000e+00 | 300.00%
228.82/228.94 c 194s| 1900k| 28 | 0 | 0.0 | 375k| 45 | - | 50 | 114 | 0 | 0 | 0 |1108k| 0 | 2.000000e+00 | 8.000000e+00 | 300.00%
230.02/230.17 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
230.02/230.17 c 195s| 1910k| 23 | 0 | 0.0 | 377k| 45 | - | 50 | 120 | 0 | 0 | 0 |1114k| 0 | 2.000000e+00 | 8.000000e+00 | 300.00%
231.22/231.38 c 196s| 1920k| 23 | 0 | 0.0 | 376k| 45 | - | 50 | 120 | 0 | 0 | 0 |1120k| 0 | 2.000000e+00 | 8.000000e+00 | 300.00%
232.42/232.59 c 197s| 1930k| 10 | 0 | 0.0 | 372k| 45 | - | 50 | 119 | 0 | 0 | 0 |1126k| 0 | 2.000000e+00 | 8.000000e+00 | 300.00%
233.61/233.77 c 198s| 1940k| 20 | 0 | 0.0 | 374k| 45 | - | 50 | 117 | 0 | 0 | 0 |1132k| 0 | 2.000000e+00 | 8.000000e+00 | 300.00%
234.82/234.99 c 199s| 1950k| 24 | 0 | 0.0 | 373k| 45 | - | 50 | 110 | 0 | 0 | 0 |1138k| 0 | 2.000000e+00 | 8.000000e+00 | 300.00%
236.11/236.23 c 200s| 1960k| 19 | 0 | 0.0 | 372k| 45 | - | 50 | 115 | 0 | 0 | 0 |1144k| 0 | 2.000000e+00 | 8.000000e+00 | 300.00%
237.32/237.46 c 201s| 1970k| 14 | 0 | 0.0 | 369k| 45 | - | 50 | 109 | 0 | 0 | 0 |1150k| 0 | 2.000000e+00 | 8.000000e+00 | 300.00%
238.52/238.66 c 202s| 1980k| 19 | 0 | 0.0 | 374k| 45 | - | 50 | 120 | 0 | 0 | 0 |1155k| 0 | 2.000000e+00 | 8.000000e+00 | 300.00%
239.72/239.87 c 203s| 1990k| 19 | 0 | 0.0 | 371k| 45 | - | 50 | 113 | 0 | 0 | 0 |1161k| 0 | 2.000000e+00 | 8.000000e+00 | 300.00%
240.91/241.09 c 204s| 2000k| 19 | 0 | 0.0 | 377k| 45 | - | 50 | 126 | 0 | 0 | 0 |1167k| 0 | 2.000000e+00 | 8.000000e+00 | 300.00%
242.22/242.30 c 205s| 2010k| 29 | 0 | 0.0 | 378k| 45 | - | 50 | 125 | 0 | 0 | 0 |1173k| 0 | 2.000000e+00 | 8.000000e+00 | 300.00%
243.42/243.54 c 206s| 2020k| 22 | 0 | 0.0 | 375k| 45 | - | 50 | 118 | 0 | 0 | 0 |1179k| 0 | 2.000000e+00 | 8.000000e+00 | 300.00%
244.61/244.73 c 207s| 2030k| 20 | 0 | 0.0 | 374k| 45 | - | 50 | 121 | 0 | 0 | 0 |1185k| 0 | 2.000000e+00 | 8.000000e+00 | 300.00%
245.81/245.93 c 208s| 2040k| 21 | 0 | 0.0 | 374k| 45 | - | 50 | 118 | 0 | 0 | 0 |1191k| 0 | 2.000000e+00 | 8.000000e+00 | 300.00%
247.01/247.14 c 209s| 2050k| 28 | 0 | 0.0 | 377k| 45 | - | 50 | 120 | 0 | 0 | 0 |1197k| 0 | 2.000000e+00 | 8.000000e+00 | 300.00%
248.22/248.33 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
248.22/248.33 c 210s| 2060k| 13 | 0 | 0.0 | 370k| 45 | - | 50 | 113 | 0 | 0 | 0 |1203k| 0 | 2.000000e+00 | 8.000000e+00 | 300.00%
249.41/249.55 c 211s| 2070k| 23 | 0 | 0.0 | 374k| 45 | - | 50 | 117 | 0 | 0 | 0 |1209k| 0 | 2.000000e+00 | 8.000000e+00 | 300.00%
250.62/250.78 c 212s| 2080k| 24 | 0 | 0.0 | 372k| 45 | - | 50 | 109 | 0 | 0 | 0 |1214k| 0 | 2.000000e+00 | 8.000000e+00 | 300.00%
251.92/252.02 c 213s| 2090k| 20 | 0 | 0.0 | 373k| 45 | - | 50 | 118 | 0 | 0 | 0 |1220k| 0 | 2.000000e+00 | 8.000000e+00 | 300.00%
253.11/253.23 c 214s| 2100k| 19 | 0 | 0.0 | 374k| 45 | - | 50 | 120 | 0 | 0 | 0 |1226k| 0 | 2.000000e+00 | 8.000000e+00 | 300.00%
254.31/254.42 c 215s| 2110k| 15 | 0 | 0.0 | 372k| 45 | - | 50 | 117 | 0 | 0 | 0 |1232k| 0 | 2.000000e+00 | 8.000000e+00 | 300.00%
255.51/255.62 c 216s| 2120k| 22 | 0 | 0.0 | 376k| 45 | - | 50 | 122 | 0 | 0 | 0 |1238k| 0 | 2.000000e+00 | 8.000000e+00 | 300.00%
256.71/256.82 c 217s| 2130k| 20 | 0 | 0.0 | 375k| 45 | - | 50 | 118 | 0 | 0 | 0 |1243k| 0 | 2.000000e+00 | 8.000000e+00 | 300.00%
257.91/258.02 c 218s| 2140k| 21 | 0 | 0.0 | 373k| 45 | - | 50 | 114 | 0 | 0 | 0 |1249k| 0 | 2.000000e+00 | 8.000000e+00 | 300.00%
259.11/259.26 c 219s| 2150k| 22 | 0 | 0.0 | 373k| 45 | - | 50 | 113 | 0 | 0 | 0 |1255k| 0 | 2.000000e+00 | 8.000000e+00 | 300.00%
260.31/260.45 c 220s| 2160k| 31 | 0 | 0.0 | 374k| 45 | - | 50 | 111 | 0 | 0 | 0 |1261k| 0 | 2.000000e+00 | 8.000000e+00 | 300.00%
261.51/261.61 c 221s| 2170k| 21 | 0 | 0.0 | 372k| 45 | - | 50 | 112 | 0 | 0 | 0 |1266k| 0 | 2.000000e+00 | 8.000000e+00 | 300.00%
262.72/262.80 c 222s| 2180k| 26 | 0 | 0.0 | 373k| 45 | - | 50 | 108 | 0 | 0 | 0 |1272k| 0 | 2.000000e+00 | 8.000000e+00 | 300.00%
263.92/264.03 c 224s| 2190k| 20 | 0 | 0.0 | 370k| 45 | - | 50 | 106 | 0 | 0 | 0 |1278k| 0 | 2.000000e+00 | 8.000000e+00 | 300.00%
265.11/265.22 c 225s| 2200k| 14 | 0 | 0.0 | 374k| 45 | - | 50 | 124 | 0 | 0 | 0 |1284k| 0 | 3.000000e+00 | 8.000000e+00 | 166.67%
266.31/266.41 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
266.31/266.41 c 226s| 2210k| 25 | 0 | 0.0 | 375k| 45 | - | 50 | 118 | 0 | 0 | 0 |1290k| 0 | 3.000000e+00 | 8.000000e+00 | 166.67%
267.50/267.65 c 227s| 2220k| 23 | 0 | 0.0 | 375k| 45 | - | 50 | 122 | 0 | 0 | 0 |1295k| 0 | 3.000000e+00 | 8.000000e+00 | 166.67%
268.71/268.86 c 228s| 2230k| 28 | 0 | 0.0 | 376k| 45 | - | 50 | 119 | 0 | 0 | 0 |1301k| 0 | 3.000000e+00 | 8.000000e+00 | 166.67%
269.90/270.04 c 229s| 2240k| 19 | 0 | 0.0 | 371k| 45 | - | 50 | 112 | 0 | 0 | 0 |1307k| 0 | 3.000000e+00 | 8.000000e+00 | 166.67%
271.11/271.22 c 230s| 2250k| 17 | 0 | 0.0 | 369k| 45 | - | 50 | 105 | 0 | 0 | 0 |1313k| 0 | 3.000000e+00 | 8.000000e+00 | 166.67%
272.31/272.43 c 231s| 2260k| 16 | 0 | 0.0 | 371k| 45 | - | 50 | 112 | 0 | 0 | 0 |1319k| 0 | 4.000000e+00 | 8.000000e+00 | 100.00%
273.51/273.61 c 232s| 2270k| 19 | 0 | 0.0 | 371k| 45 | - | 50 | 110 | 0 | 0 | 0 |1324k| 0 | 4.000000e+00 | 8.000000e+00 | 100.00%
273.91/274.00 c
273.91/274.00 c SCIP Status : problem is solved [optimal solution found]
273.91/274.00 c Solving Time (sec) : 231.96
273.91/274.00 c Solving Nodes : 2273386
273.91/274.00 c Primal Bound : +8.00000000000000e+00 (7 solutions)
273.91/274.00 c Dual Bound : +8.00000000000000e+00
273.91/274.00 c Gap : 0.00 %
273.91/274.01 s OPTIMUM FOUND
273.91/274.01 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
273.91/274.01 v -x23 -x22 -x21 x20 -x19 -x18 -x17 -x16 -x15 -x14 -x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 x5 -x4 -x3 -x2 -x1
273.91/274.01 c SCIP Status : problem is solved [optimal solution found]
273.91/274.01 c Solving Time : 231.96
273.91/274.01 c Original Problem :
273.91/274.01 c Problem name : HOME/instance-2664791-1276595937.opb
273.91/274.01 c Variables : 50 (50 binary, 0 integer, 0 implicit integer, 0 continuous)
273.91/274.01 c Constraints : 100 initial, 100 maximal
273.91/274.01 c Presolved Problem :
273.91/274.01 c Problem name : t_HOME/instance-2664791-1276595937.opb
273.91/274.01 c Variables : 50 (50 binary, 0 integer, 0 implicit integer, 0 continuous)
273.91/274.01 c Constraints : 100 initial, 151 maximal
273.91/274.01 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
273.91/274.01 c trivial : 0.00 0 0 0 0 0 0 0 0
273.91/274.01 c dualfix : 0.00 0 0 0 0 0 0 0 0
273.91/274.01 c boundshift : 0.00 0 0 0 0 0 0 0 0
273.91/274.01 c inttobinary : 0.00 0 0 0 0 0 0 0 0
273.91/274.01 c implics : 0.00 0 0 0 0 0 0 0 0
273.91/274.01 c probing : 0.00 0 0 0 0 0 0 0 0
273.91/274.01 c logicor : 0.00 0 0 0 0 0 0 0 0
273.91/274.01 c root node : - 50 - - 50 - - - -
273.91/274.01 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
273.91/274.01 c integral : 0 0 0 0 0 0 0 0 0 0
273.91/274.01 c logicor : 100+ 0 3895511 0 2 1244226 2236703 0 0 0
273.91/274.01 c countsols : 0 0 0 0 4 0 0 0 0 0
273.91/274.01 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
273.91/274.01 c integral : 0.00 0.00 0.00 0.00 0.00
273.91/274.01 c logicor : 50.33 0.00 50.33 0.00 0.00
273.91/274.01 c countsols : 0.00 0.00 0.00 0.00 0.00
273.91/274.01 c Propagators : Time Calls Cutoffs DomReds
273.91/274.01 c vbounds : 2.86 2 0 0
273.91/274.01 c rootredcost : 2.68 0 0 0
273.91/274.01 c pseudoobj : 55.20 5763362 82114 26096869
273.91/274.01 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
273.91/274.01 c propagation : 28.65 1326340 1316057 1316057 18.7 10599 21.8 -
273.91/274.01 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
273.91/274.01 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
273.91/274.01 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
273.91/274.01 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
273.91/274.01 c applied globally : - - - 1316321 18.7 - - -
273.91/274.01 c applied locally : - - - 10301 32.1 - - -
273.91/274.01 c Separators : Time Calls Cutoffs DomReds Cuts Conss
273.91/274.01 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
273.91/274.01 c redcost : 0.00 0 0 0 0 0
273.91/274.01 c impliedbounds : 0.00 0 0 0 0 0
273.91/274.01 c intobj : 0.00 0 0 0 0 0
273.91/274.01 c cgmip : 0.00 0 0 0 0 0
273.91/274.01 c gomory : 0.00 0 0 0 0 0
273.91/274.01 c strongcg : 0.00 0 0 0 0 0
273.91/274.01 c cmir : 0.00 0 0 0 0 0
273.91/274.01 c flowcover : 0.00 0 0 0 0 0
273.91/274.01 c clique : 0.00 0 0 0 0 0
273.91/274.01 c zerohalf : 0.00 0 0 0 0 0
273.91/274.01 c mcf : 0.00 0 0 0 0 0
273.91/274.01 c rapidlearning : 0.00 0 0 0 0 0
273.91/274.01 c Pricers : Time Calls Vars
273.91/274.01 c problem variables: 0.00 0 0
273.91/274.01 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
273.91/274.01 c relpscost : 0.00 0 0 0 0 0 0
273.91/274.01 c pscost : 0.00 0 0 0 0 0 0
273.91/274.01 c inference : 12.92 1743502 0 0 0 0 3487004
273.91/274.01 c mostinf : 0.00 0 0 0 0 0 0
273.91/274.01 c leastinf : 0.00 0 0 0 0 0 0
273.91/274.01 c fullstrong : 0.00 0 0 0 0 0 0
273.91/274.01 c allfullstrong : 0.00 0 0 0 0 0 0
273.91/274.01 c random : 0.00 0 0 0 0 0 0
273.91/274.01 c Primal Heuristics : Time Calls Found
273.91/274.01 c LP solutions : 0.00 - 0
273.91/274.01 c pseudo solutions : 0.00 - 4
273.91/274.01 c oneopt : 1.42 0 0
273.91/274.01 c trivial : 0.00 2 3
273.91/274.01 c simplerounding : 0.00 0 0
273.91/274.01 c zirounding : 0.00 0 0
273.91/274.01 c rounding : 0.00 0 0
273.91/274.01 c shifting : 0.00 0 0
273.91/274.01 c intshifting : 0.00 0 0
273.91/274.01 c twoopt : 0.00 0 0
273.91/274.01 c fixandinfer : 0.00 0 0
273.91/274.01 c feaspump : 0.00 0 0
273.91/274.01 c coefdiving : 0.00 0 0
273.91/274.01 c pscostdiving : 0.00 0 0
273.91/274.01 c fracdiving : 0.00 0 0
273.91/274.01 c veclendiving : 0.00 0 0
273.91/274.01 c intdiving : 0.00 0 0
273.91/274.01 c actconsdiving : 0.00 0 0
273.91/274.01 c objpscostdiving : 0.00 0 0
273.91/274.01 c rootsoldiving : 0.00 0 0
273.91/274.01 c linesearchdiving : 0.00 0 0
273.91/274.01 c guideddiving : 0.00 0 0
273.91/274.01 c octane : 0.00 0 0
273.91/274.01 c rens : 0.00 0 0
273.91/274.01 c rins : 0.00 0 0
273.91/274.01 c localbranching : 0.00 0 0
273.91/274.01 c mutation : 0.00 0 0
273.91/274.01 c crossover : 0.00 0 0
273.91/274.01 c dins : 0.00 0 0
273.91/274.01 c undercover : 0.00 0 0
273.91/274.01 c nlp : 0.91 0 0
273.91/274.01 c trysol : 1.01 0 0
273.91/274.01 c LP : Time Calls Iterations Iter/call Iter/sec
273.91/274.01 c primal LP : 0.00 0 0 0.00 -
273.91/274.01 c dual LP : 0.00 0 0 0.00 -
273.91/274.01 c lex dual LP : 0.00 0 0 0.00 -
273.91/274.01 c barrier LP : 0.00 0 0 0.00 -
273.91/274.01 c diving/probing LP: 0.00 0 0 0.00 -
273.91/274.01 c strong branching : 0.00 0 0 0.00 -
273.91/274.01 c (at root node) : - 0 0 0.00 -
273.91/274.01 c conflict analysis: 0.00 0 0 0.00 -
273.91/274.01 c B&B Tree :
273.91/274.01 c number of runs : 1
273.91/274.01 c nodes : 2273386
273.91/274.01 c nodes (total) : 2273386
273.91/274.01 c nodes left : 0
273.91/274.01 c max depth : 45
273.91/274.01 c max depth (total): 45
273.91/274.01 c backtracks : 989694 (43.5%)
273.91/274.01 c delayed cutoffs : 1213600
273.91/274.01 c repropagations : 1769537 (17641928 domain reductions, 796460 cutoffs)
273.91/274.01 c avg switch length: 2.53
273.91/274.01 c switching time : 29.23
273.91/274.01 c Solution :
273.91/274.01 c Solutions found : 7 (5 improvements)
273.91/274.01 c First Solution : +5.00000000000000e+01 (in run 1, after 0 nodes, 0.01 seconds, depth 0, found by <trivial>)
273.91/274.01 c Primal Bound : +8.00000000000000e+00 (in run 1, after 5521 nodes, 0.56 seconds, depth 45, found by <relaxation>)
273.91/274.01 c Dual Bound : +8.00000000000000e+00
273.91/274.01 c Gap : 0.00 %
273.91/274.01 c Root Dual Bound : +0.00000000000000e+00
273.91/274.01 c Root Iterations : 0
273.91/274.01 c Time complete: 273.92.