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-2663968-1276642539.opb>
0.01/0.01 c original problem has 256 variables (256 bin, 0 int, 0 impl, 0 cont) and 351 constraints
0.01/0.01 c problem read
0.01/0.01 c presolving settings loaded
0.01/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.01/0.02 o 235098
0.01/0.02 c feasible solution found by trivial heuristic, objective value 2.350980e+05
0.01/0.02 c presolving:
0.01/0.02 c (round 1) 90 del vars, 168 del conss, 4 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 490 impls, 0 clqs
0.01/0.02 c (round 2) 91 del vars, 175 del conss, 4 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 490 impls, 0 clqs
0.01/0.03 c (round 3) 91 del vars, 175 del conss, 4 chg bounds, 0 chg sides, 0 chg coeffs, 142 upgd conss, 490 impls, 0 clqs
0.01/0.03 c (round 4) 91 del vars, 175 del conss, 4 chg bounds, 0 chg sides, 0 chg coeffs, 176 upgd conss, 490 impls, 0 clqs
0.01/0.04 c (0.0s) probing: 101/165 (61.2%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.01/0.04 c (0.0s) probing aborted: 100/100 successive totally useless probings
0.01/0.04 c presolving (5 rounds):
0.01/0.04 c 91 deleted vars, 175 deleted constraints, 4 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.01/0.04 c 490 implications, 0 cliques
0.01/0.04 c presolved problem has 165 variables (165 bin, 0 int, 0 impl, 0 cont) and 176 constraints
0.01/0.04 c 176 constraints of type <logicor>
0.01/0.04 c transformed objective value is always integral (scale: 1)
0.01/0.04 c Presolving Time: 0.01
0.01/0.04 c - non default parameters ----------------------------------------------------------------------
0.01/0.04 c # SCIP version 1.2.1.2
0.01/0.04 c
0.01/0.04 c # maximal number of intermediate conflict constraints generated in conflict graph (-1: use every intermediate constraint)
0.01/0.04 c # [type: int, range: [-1,2147483647], default: -1]
0.01/0.04 c conflict/interconss = 0
0.01/0.04 c
0.01/0.04 c # should binary conflicts be preferred?
0.01/0.04 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.01/0.04 c conflict/preferbinary = TRUE
0.01/0.04 c
0.01/0.04 c # maximum age an unnecessary constraint can reach before it is deleted (0: dynamic, -1: keep all constraints)
0.01/0.04 c # [type: int, range: [-1,2147483647], default: 0]
0.01/0.04 c constraints/agelimit = 1
0.01/0.04 c
0.01/0.04 c # should enforcement of pseudo solution be disabled?
0.01/0.04 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.01/0.04 c constraints/disableenfops = TRUE
0.01/0.04 c
0.01/0.04 c # frequency for displaying node information lines
0.01/0.04 c # [type: int, range: [-1,2147483647], default: 100]
0.01/0.04 c display/freq = 10000
0.01/0.04 c
0.01/0.04 c # maximal time in seconds to run
0.01/0.04 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.01/0.04 c limits/time = 1799.99
0.01/0.04 c
0.01/0.04 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.01/0.04 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.01/0.04 c limits/memory = 1620
0.01/0.04 c
0.01/0.04 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.01/0.04 c # [type: int, range: [-1,2147483647], default: 1]
0.01/0.04 c lp/solvefreq = -1
0.01/0.04 c
0.01/0.04 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.01/0.04 c # [type: char, range: {lafpsqd}, default: l]
0.01/0.04 c lp/pricing = a
0.01/0.04 c
0.01/0.04 c # should presolving try to simplify inequalities
0.01/0.04 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.01/0.04 c constraints/linear/simplifyinequalities = TRUE
0.01/0.04 c
0.01/0.04 c # should presolving try to simplify knapsacks
0.01/0.04 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.01/0.04 c constraints/knapsack/simplifyinequalities = TRUE
0.01/0.04 c
0.01/0.04 c # priority of node selection rule <dfs> in standard mode
0.01/0.04 c # [type: int, range: [-536870912,536870911], default: 0]
0.01/0.04 c nodeselection/dfs/stdpriority = 1000000
0.01/0.04 c
0.01/0.04 c -----------------------------------------------------------------------------------------------
0.01/0.04 c start solving
0.01/0.04 c
0.01/0.04 o 233576
0.01/0.04 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.01/0.04 c t 0.0s| 1 | 0 | 0 | - | 879k| 0 | - | 165 | 176 | 0 | 0 | 0 | 0 | 0 | -- | 2.335760e+05 | Inf
0.01/0.04 c 0.0s| 1 | 2 | 0 | - | 873k| 0 | - | 165 | 176 | 0 | 0 | 0 | 0 | 0 | 7.013000e+03 | 2.335760e+05 |3230.61%
0.01/0.05 o 18174
0.01/0.05 c * 0.0s| 83 | 81 | 0 | 0.0 | 906k| 82 | - | 165 | 176 | 0 | 0 | 0 | 0 | 0 | 8.379000e+03 | 1.817400e+04 | 116.90%
0.09/0.10 o 17939
0.09/0.10 c * 0.1s| 384 | 70 | 0 | 0.0 | 912k| 91 | - | 165 | 179 | 0 | 0 | 0 | 177 | 0 | 8.379000e+03 | 1.793900e+04 | 114.09%
0.29/0.32 o 17905
0.29/0.32 c * 0.3s| 1526 | 68 | 0 | 0.0 | 921k| 91 | - | 165 | 181 | 0 | 0 | 0 | 850 | 0 | 8.379000e+03 | 1.790500e+04 | 113.69%
0.29/0.32 o 17580
0.29/0.32 c * 0.3s| 1536 | 68 | 0 | 0.0 | 924k| 91 | - | 165 | 180 | 0 | 0 | 0 | 853 | 0 | 8.379000e+03 | 1.758000e+04 | 109.81%
1.99/2.07 c 1.8s| 10000 | 41 | 0 | 0.0 | 933k| 91 | - | 165 | 181 | 0 | 0 | 0 |5728 | 0 | 8.379000e+03 | 1.758000e+04 | 109.81%
2.20/2.28 o 17576
2.20/2.28 c * 2.0s| 11045 | 47 | 0 | 0.0 | 945k| 91 | - | 165 | 191 | 0 | 0 | 0 |6351 | 0 | 8.379000e+03 | 1.757600e+04 | 109.76%
2.20/2.28 o 17545
2.20/2.28 c * 2.0s| 11062 | 45 | 0 | 0.0 | 946k| 91 | - | 165 | 181 | 0 | 0 | 0 |6359 | 0 | 8.379000e+03 | 1.754500e+04 | 109.39%
3.99/4.06 c 3.6s| 20000 | 43 | 0 | 0.0 | 954k| 91 | - | 165 | 206 | 0 | 0 | 0 | 11k| 0 | 8.379000e+03 | 1.754500e+04 | 109.39%
4.29/4.33 o 17536
4.29/4.33 c * 3.8s| 21418 | 40 | 0 | 0.0 | 953k| 91 | - | 165 | 180 | 0 | 0 | 0 | 12k| 0 | 8.379000e+03 | 1.753600e+04 | 109.29%
5.59/5.63 o 17420
5.59/5.63 c * 4.9s| 27862 | 41 | 0 | 0.0 | 968k| 91 | - | 165 | 214 | 0 | 0 | 0 | 15k| 0 | 8.379000e+03 | 1.742000e+04 | 107.90%
5.69/5.73 o 17389
5.69/5.73 c * 5.0s| 28386 | 41 | 0 | 0.0 | 965k| 91 | - | 165 | 190 | 0 | 0 | 0 | 15k| 0 | 8.379000e+03 | 1.738900e+04 | 107.53%
5.99/6.02 c 5.3s| 30000 | 38 | 0 | 0.0 | 962k| 91 | - | 165 | 190 | 0 | 0 | 0 | 16k| 0 | 8.379000e+03 | 1.738900e+04 | 107.53%
7.98/8.01 c 7.0s| 40000 | 43 | 0 | 0.0 | 966k| 91 | - | 165 | 187 | 0 | 0 | 0 | 22k| 0 | 8.379000e+03 | 1.738900e+04 | 107.53%
8.59/8.61 o 17324
8.59/8.61 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
8.59/8.61 c * 7.6s| 42733 | 38 | 0 | 0.0 | 978k| 91 | - | 165 | 210 | 0 | 0 | 0 | 23k| 0 | 8.379000e+03 | 1.732400e+04 | 106.75%
8.59/8.67 o 17293
8.59/8.67 c * 7.6s| 42977 | 41 | 0 | 0.0 | 979k| 91 | - | 165 | 203 | 0 | 0 | 0 | 23k| 0 | 8.379000e+03 | 1.729300e+04 | 106.39%
9.99/10.01 c 8.8s| 50000 | 30 | 0 | 0.0 | 967k| 91 | - | 165 | 179 | 0 | 0 | 0 | 27k| 0 | 8.379000e+03 | 1.729300e+04 | 106.39%
11.69/11.78 o 17286
11.69/11.78 c *10.3s| 58394 | 46 | 0 | 0.0 | 988k| 91 | - | 165 | 189 | 0 | 0 | 0 | 32k| 0 | 8.391000e+03 | 1.728600e+04 | 106.01%
11.79/11.85 o 16530
11.79/11.85 c *10.4s| 58848 | 73 | 0 | 0.0 | 993k| 91 | - | 165 | 180 | 0 | 0 | 0 | 32k| 0 | 8.391000e+03 | 1.653000e+04 | 97.00%
11.79/11.85 o 16504
11.79/11.85 c *10.4s| 58849 | 72 | 0 | 0.0 | 994k| 91 | - | 165 | 180 | 0 | 0 | 0 | 32k| 0 | 8.391000e+03 | 1.650400e+04 | 96.69%
11.79/11.85 o 16408
11.79/11.85 c *10.4s| 58866 | 55 | 0 | 0.0 | 994k| 91 | - | 165 | 190 | 0 | 0 | 0 | 32k| 0 | 8.391000e+03 | 1.640800e+04 | 95.54%
12.00/12.04 c 10.6s| 60000 | 41 | 0 | 0.0 | 987k| 91 | - | 165 | 183 | 0 | 0 | 0 | 32k| 0 | 8.391000e+03 | 1.640800e+04 | 95.54%
13.68/13.75 c 12.1s| 70000 | 42 | 0 | 0.0 | 996k| 91 | - | 165 | 189 | 0 | 0 | 0 | 37k| 0 | 8.391000e+03 | 1.640800e+04 | 95.54%
15.49/15.54 c 13.7s| 80000 | 37 | 0 | 0.0 | 996k| 91 | - | 165 | 190 | 0 | 0 | 0 | 42k| 0 | 8.391000e+03 | 1.640800e+04 | 95.54%
17.38/17.41 c 15.3s| 90000 | 31 | 0 | 0.0 |1006k| 91 | - | 165 | 219 | 0 | 0 | 0 | 47k| 0 | 8.391000e+03 | 1.640800e+04 | 95.54%
19.39/19.48 c 17.1s|100000 | 34 | 0 | 0.0 | 997k| 91 | - | 165 | 188 | 0 | 0 | 0 | 53k| 0 | 8.391000e+03 | 1.640800e+04 | 95.54%
19.59/19.61 o 16304
19.59/19.61 c *17.3s|100737 | 83 | 0 | 0.0 |1011k| 93 | - | 165 | 180 | 0 | 0 | 0 | 53k| 0 | 8.391000e+03 | 1.630400e+04 | 94.30%
19.59/19.61 o 16278
19.59/19.61 c *17.3s|100738 | 82 | 0 | 0.0 |1013k| 93 | - | 165 | 180 | 0 | 0 | 0 | 53k| 0 | 8.391000e+03 | 1.627800e+04 | 93.99%
19.59/19.62 o 16095
19.59/19.62 c *17.3s|100785 | 82 | 0 | 0.0 |1015k| 100 | - | 165 | 180 | 0 | 0 | 0 | 53k| 0 | 8.391000e+03 | 1.609500e+04 | 91.81%
19.59/19.62 o 16069
19.59/19.62 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
19.59/19.62 c *17.3s|100786 | 81 | 0 | 0.0 |1016k| 100 | - | 165 | 180 | 0 | 0 | 0 | 53k| 0 | 8.391000e+03 | 1.606900e+04 | 91.50%
19.59/19.65 o 15973
19.59/19.65 c *17.3s|100937 | 47 | 0 | 0.0 |1013k| 100 | - | 165 | 184 | 0 | 0 | 0 | 53k| 0 | 8.391000e+03 | 1.597300e+04 | 90.36%
21.38/21.42 c 18.8s|110000 | 33 | 0 | 0.0 |1008k| 100 | - | 165 | 194 | 0 | 0 | 0 | 58k| 0 | 8.391000e+03 | 1.597300e+04 | 90.36%
23.58/23.62 c 20.8s|120000 | 43 | 0 | 0.0 |1010k| 100 | - | 165 | 186 | 0 | 0 | 0 | 64k| 0 | 8.391000e+03 | 1.597300e+04 | 90.36%
25.48/25.53 c 22.5s|130000 | 34 | 0 | 0.0 |1009k| 100 | - | 165 | 185 | 0 | 0 | 0 | 69k| 0 | 8.391000e+03 | 1.597300e+04 | 90.36%
27.29/27.39 c 24.1s|140000 | 35 | 0 | 0.0 |1013k| 100 | - | 165 | 189 | 0 | 0 | 0 | 74k| 0 | 8.391000e+03 | 1.597300e+04 | 90.36%
29.38/29.47 c 25.9s|150000 | 29 | 0 | 0.0 |1018k| 100 | - | 165 | 222 | 0 | 0 | 0 | 80k| 0 | 8.391000e+03 | 1.597300e+04 | 90.36%
31.18/31.28 c 27.5s|160000 | 38 | 0 | 0.0 |1015k| 100 | - | 165 | 192 | 0 | 0 | 0 | 85k| 0 | 8.391000e+03 | 1.597300e+04 | 90.36%
33.28/33.33 c 29.3s|170000 | 25 | 0 | 0.0 |1011k| 100 | - | 165 | 188 | 0 | 0 | 0 | 90k| 0 | 8.391000e+03 | 1.597300e+04 | 90.36%
35.18/35.25 c 31.0s|180000 | 42 | 0 | 0.0 |1021k| 100 | - | 165 | 180 | 0 | 0 | 0 | 95k| 0 | 8.391000e+03 | 1.597300e+04 | 90.36%
37.08/37.14 c 32.6s|190000 | 25 | 0 | 0.0 |1015k| 100 | - | 165 | 185 | 0 | 0 | 0 | 101k| 0 | 8.391000e+03 | 1.597300e+04 | 90.36%
38.98/39.05 c 34.3s|200000 | 36 | 0 | 0.0 |1026k| 100 | - | 165 | 207 | 0 | 0 | 0 | 106k| 0 | 8.391000e+03 | 1.597300e+04 | 90.36%
41.17/41.27 c 36.3s|210000 | 21 | 0 | 0.0 |1028k| 100 | - | 165 | 219 | 0 | 0 | 0 | 112k| 0 | 8.391000e+03 | 1.597300e+04 | 90.36%
43.17/43.23 c 38.0s|220000 | 34 | 0 | 0.0 |1020k| 100 | - | 165 | 180 | 0 | 0 | 0 | 117k| 0 | 8.391000e+03 | 1.597300e+04 | 90.36%
45.17/45.29 c 39.8s|230000 | 38 | 0 | 0.0 |1027k| 100 | - | 165 | 206 | 0 | 0 | 0 | 123k| 0 | 8.391000e+03 | 1.597300e+04 | 90.36%
47.18/47.30 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
47.18/47.30 c 41.6s|240000 | 28 | 0 | 0.0 |1024k| 100 | - | 165 | 194 | 0 | 0 | 0 | 128k| 0 | 8.391000e+03 | 1.597300e+04 | 90.36%
49.07/49.18 c 43.2s|250000 | 32 | 0 | 0.0 |1021k| 100 | - | 165 | 179 | 0 | 0 | 0 | 133k| 0 | 8.391000e+03 | 1.597300e+04 | 90.36%
51.08/51.14 c 44.9s|260000 | 39 | 0 | 0.0 |1024k| 100 | - | 165 | 181 | 0 | 0 | 0 | 139k| 0 | 8.391000e+03 | 1.597300e+04 | 90.36%
53.08/53.18 c 46.8s|270000 | 25 | 0 | 0.0 |1027k| 100 | - | 165 | 204 | 0 | 0 | 0 | 144k| 0 | 8.391000e+03 | 1.597300e+04 | 90.36%
55.07/55.11 c 48.5s|280000 | 20 | 0 | 0.0 |1026k| 100 | - | 165 | 197 | 0 | 0 | 0 | 149k| 0 | 8.391000e+03 | 1.597300e+04 | 90.36%
56.97/57.08 c 50.2s|290000 | 27 | 0 | 0.0 |1027k| 100 | - | 165 | 190 | 0 | 0 | 0 | 155k| 0 | 8.391000e+03 | 1.597300e+04 | 90.36%
58.87/58.93 c 51.8s|300000 | 30 | 0 | 0.0 |1031k| 100 | - | 165 | 188 | 0 | 0 | 0 | 160k| 0 | 8.391000e+03 | 1.597300e+04 | 90.36%
60.86/60.96 c 53.7s|310000 | 19 | 0 | 0.0 |1028k| 100 | - | 165 | 193 | 0 | 0 | 0 | 165k| 0 | 8.391000e+03 | 1.597300e+04 | 90.36%
62.76/62.83 c 55.3s|320000 | 30 | 0 | 0.0 |1031k| 100 | - | 165 | 184 | 0 | 0 | 0 | 170k| 0 | 8.391000e+03 | 1.597300e+04 | 90.36%
64.77/64.82 c 57.1s|330000 | 22 | 0 | 0.0 |1029k| 100 | - | 165 | 179 | 0 | 0 | 0 | 176k| 0 | 8.391000e+03 | 1.597300e+04 | 90.36%
67.08/67.11 c 59.1s|340000 | 31 | 0 | 0.0 |1039k| 100 | - | 165 | 186 | 0 | 0 | 0 | 182k| 0 | 8.391000e+03 | 1.597300e+04 | 90.36%
69.17/69.30 c 61.1s|350000 | 27 | 0 | 0.0 |1042k| 100 | - | 165 | 212 | 0 | 0 | 0 | 187k| 0 | 8.391000e+03 | 1.597300e+04 | 90.36%
70.57/70.63 o 15944
70.57/70.63 c *62.3s|356686 | 28 | 0 | 0.0 |1047k| 100 | - | 165 | 199 | 0 | 0 | 0 | 191k| 0 | 8.429000e+03 | 1.594400e+04 | 89.16%
70.66/70.79 o 15881
70.66/70.79 c *62.4s|357566 | 32 | 0 | 0.0 |1050k| 100 | - | 165 | 192 | 0 | 0 | 0 | 192k| 0 | 8.429000e+03 | 1.588100e+04 | 88.41%
70.97/71.02 o 15843
70.97/71.02 c *62.6s|358775 | 35 | 0 | 0.0 |1052k| 100 | - | 165 | 192 | 0 | 0 | 0 | 192k| 0 | 8.429000e+03 | 1.584300e+04 | 87.96%
71.17/71.28 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
71.17/71.28 c 62.9s|360000 | 28 | 0 | 0.0 |1042k| 100 | - | 165 | 180 | 0 | 0 | 0 | 193k| 0 | 8.429000e+03 | 1.584300e+04 | 87.96%
72.17/72.23 o 15829
72.17/72.23 c *63.7s|364987 | 29 | 0 | 0.0 |1051k| 100 | - | 165 | 186 | 0 | 0 | 0 | 196k| 0 | 8.429000e+03 | 1.582900e+04 | 87.79%
72.27/72.34 o 15791
72.27/72.34 c *63.8s|365498 | 29 | 0 | 0.0 |1057k| 100 | - | 165 | 197 | 0 | 0 | 0 | 196k| 0 | 8.429000e+03 | 1.579100e+04 | 87.34%
73.17/73.28 c 64.6s|370000 | 33 | 0 | 0.0 |1049k| 100 | - | 165 | 185 | 0 | 0 | 0 | 198k| 0 | 8.429000e+03 | 1.579100e+04 | 87.34%
74.16/74.21 o 15779
74.16/74.21 c *65.5s|374282 | 26 | 0 | 0.0 |1060k| 100 | - | 165 | 199 | 0 | 0 | 0 | 201k| 0 | 8.429000e+03 | 1.577900e+04 | 87.20%
75.36/75.46 c 66.6s|380000 | 24 | 0 | 0.0 |1049k| 100 | - | 165 | 183 | 0 | 0 | 0 | 204k| 0 | 8.429000e+03 | 1.577900e+04 | 87.20%
75.87/75.97 o 15733
75.87/75.97 c *67.0s|382563 | 30 | 0 | 0.0 |1059k| 100 | - | 165 | 189 | 0 | 0 | 0 | 205k| 0 | 8.429000e+03 | 1.573300e+04 | 86.65%
75.96/76.03 o 15721
75.96/76.03 c *67.1s|382835 | 33 | 0 | 0.0 |1060k| 100 | - | 165 | 181 | 0 | 0 | 0 | 206k| 0 | 8.429000e+03 | 1.572100e+04 | 86.51%
77.56/77.66 c 68.5s|390000 | 27 | 0 | 0.0 |1056k| 100 | - | 165 | 185 | 0 | 0 | 0 | 210k| 0 | 8.429000e+03 | 1.572100e+04 | 86.51%
79.66/79.75 c 70.4s|400000 | 32 | 0 | 0.0 |1058k| 100 | - | 165 | 179 | 0 | 0 | 0 | 215k| 0 | 8.429000e+03 | 1.572100e+04 | 86.51%
81.86/81.91 o 15699
81.86/81.91 c *72.3s|408758 | 34 | 0 | 0.0 |1082k| 100 | - | 165 | 208 | 0 | 0 | 0 | 221k| 0 | 8.429000e+03 | 1.569900e+04 | 86.25%
82.16/82.25 c 72.6s|410000 | 30 | 0 | 0.0 |1087k| 100 | - | 165 | 242 | 0 | 0 | 0 | 222k| 0 | 8.429000e+03 | 1.569900e+04 | 86.25%
82.37/82.45 o 15687
82.37/82.45 c *72.8s|410712 | 28 | 0 | 0.0 |1087k| 100 | - | 165 | 224 | 0 | 0 | 0 | 222k| 0 | 8.429000e+03 | 1.568700e+04 | 86.11%
84.96/85.06 c 75.1s|420000 | 32 | 0 | 0.0 |1076k| 100 | - | 165 | 178 | 0 | 0 | 0 | 229k| 0 | 8.429000e+03 | 1.568700e+04 | 86.11%
85.36/85.47 o 15634
85.36/85.47 c *75.5s|421484 | 24 | 0 | 0.0 |1088k| 100 | - | 165 | 198 | 0 | 0 | 0 | 230k| 0 | 8.429000e+03 | 1.563400e+04 | 85.48%
85.36/85.47 o 15582
85.36/85.47 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
85.36/85.47 c *75.5s|421489 | 23 | 0 | 0.0 |1090k| 100 | - | 165 | 198 | 0 | 0 | 0 | 230k| 0 | 8.429000e+03 | 1.558200e+04 | 84.86%
85.46/85.57 o 15570
85.46/85.57 c *75.6s|421861 | 21 | 0 | 0.0 |1095k| 100 | - | 165 | 222 | 0 | 0 | 0 | 230k| 0 | 8.429000e+03 | 1.557000e+04 | 84.72%
85.77/85.87 o 15544
85.77/85.87 c *75.8s|422810 | 22 | 0 | 0.0 |1088k| 100 | - | 165 | 178 | 0 | 0 | 0 | 231k| 0 | 8.429000e+03 | 1.554400e+04 | 84.41%
85.86/85.98 o 15532
85.86/85.98 c *75.9s|423120 | 22 | 0 | 0.0 |1090k| 100 | - | 165 | 180 | 0 | 0 | 0 | 231k| 0 | 8.429000e+03 | 1.553200e+04 | 84.27%
85.96/86.08 o 15513
85.96/86.08 c *76.0s|423479 | 29 | 0 | 0.0 |1101k| 100 | - | 165 | 213 | 0 | 0 | 0 | 231k| 0 | 8.429000e+03 | 1.551300e+04 | 84.04%
86.17/86.29 o 15501
86.17/86.29 c *76.2s|424300 | 15 | 0 | 0.0 |1093k| 100 | - | 165 | 180 | 0 | 0 | 0 | 232k| 0 | 8.429000e+03 | 1.550100e+04 | 83.90%
86.26/86.40 o 15486
86.26/86.40 c *76.3s|424770 | 36 | 0 | 0.0 |1103k| 100 | - | 165 | 184 | 0 | 0 | 0 | 232k| 0 | 8.429000e+03 | 1.548600e+04 | 83.72%
86.46/86.55 o 15455
86.46/86.55 c *76.4s|425479 | 19 | 0 | 0.0 |1102k| 100 | - | 165 | 185 | 0 | 0 | 0 | 232k| 0 | 8.429000e+03 | 1.545500e+04 | 83.36%
86.56/86.61 o 15443
86.56/86.61 c *76.5s|425682 | 13 | 0 | 0.0 |1118k| 100 | - | 165 | 246 | 0 | 0 | 0 | 232k| 0 | 8.429000e+03 | 1.544300e+04 | 83.21%
87.76/87.85 c 77.6s|430000 | 32 | 0 | 0.0 |1104k| 100 | - | 165 | 182 | 0 | 0 | 0 | 236k| 0 | 8.429000e+03 | 1.544300e+04 | 83.21%
90.46/90.57 c 80.0s|440000 | 28 | 0 | 0.0 |1118k| 100 | - | 165 | 225 | 0 | 0 | 0 | 242k| 0 | 8.449000e+03 | 1.544300e+04 | 82.78%
91.56/91.66 o 15440
91.56/91.66 c *81.0s|443179 | 32 | 0 | 0.0 |1119k| 100 | - | 165 | 190 | 0 | 0 | 0 | 245k| 0 | 8.449000e+03 | 1.544000e+04 | 82.74%
91.66/91.70 o 15409
91.66/91.70 c *81.0s|443325 | 26 | 0 | 0.0 |1129k| 100 | - | 165 | 228 | 0 | 0 | 0 | 245k| 0 | 8.449000e+03 | 1.540900e+04 | 82.38%
92.06/92.13 o 15397
92.06/92.13 c *81.4s|445020 | 26 | 0 | 0.0 |1124k| 100 | - | 165 | 199 | 0 | 0 | 0 | 246k| 0 | 8.449000e+03 | 1.539700e+04 | 82.23%
93.27/93.38 o 15138
93.27/93.38 c *82.5s|449391 | 88 | 0 | 0.0 |1135k| 100 | - | 165 | 178 | 0 | 0 | 0 | 249k| 0 | 8.449000e+03 | 1.513800e+04 | 79.17%
93.27/93.38 o 14894
93.27/93.38 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
93.27/93.38 c *82.5s|449392 | 62 | 0 | 0.0 |1134k| 100 | - | 165 | 178 | 0 | 0 | 0 | 249k| 0 | 8.449000e+03 | 1.489400e+04 | 76.28%
93.27/93.39 o 14842
93.27/93.39 c *82.5s|449416 | 47 | 0 | 0.0 |1131k| 100 | - | 165 | 183 | 0 | 0 | 0 | 249k| 0 | 8.449000e+03 | 1.484200e+04 | 75.67%
93.27/93.39 o 14796
93.27/93.39 c *82.5s|449429 | 38 | 0 | 0.0 |1131k| 100 | - | 165 | 181 | 0 | 0 | 0 | 249k| 0 | 8.449000e+03 | 1.479600e+04 | 75.12%
93.27/93.39 o 14793
93.27/93.39 c *82.5s|449452 | 43 | 0 | 0.0 |1135k| 100 | - | 165 | 185 | 0 | 0 | 0 | 249k| 0 | 8.449000e+03 | 1.479300e+04 | 75.09%
93.27/93.40 o 14747
93.27/93.40 c *82.5s|449467 | 37 | 0 | 0.0 |1135k| 100 | - | 165 | 181 | 0 | 0 | 0 | 249k| 0 | 8.449000e+03 | 1.474700e+04 | 74.54%
93.36/93.40 o 14735
93.36/93.40 c *82.5s|449506 | 35 | 0 | 0.0 |1137k| 100 | - | 165 | 184 | 0 | 0 | 0 | 249k| 0 | 8.449000e+03 | 1.473500e+04 | 74.40%
93.36/93.41 o 14717
93.36/93.41 c *82.5s|449562 | 35 | 0 | 0.0 |1139k| 100 | - | 165 | 184 | 0 | 0 | 0 | 249k| 0 | 8.449000e+03 | 1.471700e+04 | 74.19%
93.36/93.42 o 14665
93.36/93.42 c *82.5s|449574 | 35 | 0 | 0.0 |1141k| 100 | - | 165 | 184 | 0 | 0 | 0 | 249k| 0 | 8.449000e+03 | 1.466500e+04 | 73.57%
93.36/93.42 o 14619
93.36/93.42 c *82.5s|449589 | 30 | 0 | 0.0 |1141k| 100 | - | 165 | 184 | 0 | 0 | 0 | 249k| 0 | 8.449000e+03 | 1.461900e+04 | 73.03%
93.36/93.44 o 14549
93.36/93.44 c *82.5s|449708 | 28 | 0 | 0.0 |1145k| 100 | - | 165 | 193 | 0 | 0 | 0 | 249k| 0 | 8.449000e+03 | 1.454900e+04 | 72.20%
93.36/93.45 o 14497
93.36/93.45 c *82.5s|449724 | 28 | 0 | 0.0 |1146k| 100 | - | 165 | 190 | 0 | 0 | 0 | 249k| 0 | 8.449000e+03 | 1.449700e+04 | 71.58%
93.36/93.45 o 14451
93.36/93.45 c *82.5s|449730 | 24 | 0 | 0.0 |1146k| 100 | - | 165 | 189 | 0 | 0 | 0 | 249k| 0 | 8.449000e+03 | 1.445100e+04 | 71.04%
93.36/93.49 o 14402
93.36/93.49 c *82.6s|449950 | 30 | 0 | 0.0 |1148k| 100 | - | 165 | 180 | 0 | 0 | 0 | 249k| 0 | 8.449000e+03 | 1.440200e+04 | 70.46%
93.36/93.50 c 82.6s|450000 | 31 | 0 | 0.0 |1146k| 100 | - | 165 | 181 | 0 | 0 | 0 | 249k| 0 | 8.449000e+03 | 1.440200e+04 | 70.46%
93.36/93.50 o 14350
93.36/93.50 c *82.6s|450014 | 28 | 0 | 0.0 |1150k| 100 | - | 165 | 184 | 0 | 0 | 0 | 249k| 0 | 8.449000e+03 | 1.435000e+04 | 69.84%
93.46/93.51 o 14304
93.46/93.51 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
93.46/93.51 c *82.6s|450076 | 23 | 0 | 0.0 |1150k| 100 | - | 165 | 182 | 0 | 0 | 0 | 249k| 0 | 8.449000e+03 | 1.430400e+04 | 69.30%
93.67/93.79 o 14266
93.67/93.79 c *82.8s|451113 | 16 | 0 | 0.0 |1166k| 100 | - | 165 | 248 | 0 | 0 | 0 | 250k| 0 | 8.449000e+03 | 1.426600e+04 | 68.85%
93.76/93.87 o 14260
93.76/93.87 c *82.9s|451346 | 16 | 0 | 0.0 |1165k| 100 | - | 165 | 235 | 0 | 0 | 0 | 250k| 0 | 8.449000e+03 | 1.426000e+04 | 68.78%
93.76/93.88 o 14254
93.76/93.88 c *82.9s|451388 | 18 | 0 | 0.0 |1167k| 100 | - | 165 | 236 | 0 | 0 | 0 | 250k| 0 | 8.449000e+03 | 1.425400e+04 | 68.71%
93.76/93.89 o 14208
93.76/93.89 c *82.9s|451390 | 16 | 0 | 0.0 |1169k| 100 | - | 165 | 236 | 0 | 0 | 0 | 250k| 0 | 8.449000e+03 | 1.420800e+04 | 68.16%
93.96/94.10 o 14196
93.96/94.10 c *83.1s|452028 | 13 | 0 | 0.0 |1169k| 100 | - | 165 | 232 | 0 | 0 | 0 | 251k| 0 | 8.449000e+03 | 1.419600e+04 | 68.02%
94.47/94.54 o 14103
94.47/94.54 c *83.5s|453843 | 17 | 0 | 0.0 |1172k| 100 | - | 165 | 224 | 0 | 0 | 0 | 252k| 0 | 8.742000e+03 | 1.410300e+04 | 61.32%
94.47/94.54 o 14057
94.47/94.54 c *83.5s|453844 | 15 | 0 | 0.0 |1173k| 100 | - | 165 | 224 | 0 | 0 | 0 | 252k| 0 | 8.742000e+03 | 1.405700e+04 | 60.80%
94.47/94.58 o 14007
94.47/94.58 c *83.5s|454015 | 14 | 0 | 0.0 |1170k| 100 | - | 165 | 203 | 0 | 0 | 0 | 252k| 0 | 8.742000e+03 | 1.400700e+04 | 60.23%
94.47/94.58 o 13961
94.47/94.58 c *83.6s|454017 | 11 | 0 | 0.0 |1171k| 100 | - | 165 | 204 | 0 | 0 | 0 | 252k| 0 | 8.742000e+03 | 1.396100e+04 | 59.70%
94.76/94.82 o 13949
94.76/94.82 c *83.8s|454860 | 9 | 0 | 0.0 |1188k| 100 | - | 165 | 273 | 0 | 0 | 0 | 252k| 0 | 8.742000e+03 | 1.394900e+04 | 59.56%
95.36/95.49 c
95.36/95.49 c SCIP Status : problem is solved [optimal solution found]
95.36/95.49 c Solving Time (sec) : 84.38
95.36/95.49 c Solving Nodes : 457113
95.36/95.49 c Primal Bound : +1.39490000000000e+04 (71 solutions)
95.36/95.49 c Dual Bound : +1.39490000000000e+04
95.36/95.49 c Gap : 0.00 %
95.36/95.49 s OPTIMUM FOUND
95.36/95.49 v -x237 -x26 -x232 -x25 -x224 -x24 -x222 -x220 -x218 -x23 -x22 -x21 -x210 -x208 -x206 -x20 -x19 -x201 -x198 -x196 -x194 -x18 -x191
95.36/95.49 v -x189 -x17 -x185 -x183 -x181 -x179 -x177 -x174 -x171 -x168 -x166 -x164 -x162 -x158 -x156 -x154 -x151 -x149 -x16 -x145 -x142
95.36/95.49 v -x15 -x138 -x14 -x13 -x12 -x133 -x130 -x128 -x11 -x126 -x10 -x123 -x120 -x9 -x118 -x116 -x114 -x112 -x109 -x106 -x104 -x102
95.36/95.49 v -x100 -x98 -x96 -x93 -x91 -x89 -x86 -x84 -x8 -x82 -x79 -x7 -x76 -x74 -x72 -x70 -x68 -x66 -x64 -x62 -x60 -x58 -x54 -x51 -x48 -x6
95.36/95.49 v -x5 -x43 -x41 -x38 -x36 -x4 -x34 -x3 -x2 -x30 -x1 -x27 -x256 x255 x254 x253 x252 -x251 -x250 x249 -x248 -x247 -x246 -x245
95.36/95.49 v x244 -x243 -x242 -x241 -x240 -x239 -x238 x236 -x235 -x234 -x233 -x231 -x230 -x229 -x228 -x227 -x226 -x225 -x223 -x221 -x219 -x217
95.36/95.49 v -x216 -x215 -x214 -x213 -x212 -x211 -x209 -x207 -x205 -x204 -x203 -x202 -x200 -x199 -x197 -x195 -x193 -x192 -x190 -x188
95.36/95.49 v -x187 -x186 -x184 -x182 -x180 -x178 -x176 -x175 -x173 -x172 -x170 -x169 -x167 -x165 -x163 -x161 x160 -x159 -x157 -x155 -x153
95.36/95.49 v -x152 -x150 -x148 -x147 -x146 -x144 -x143 -x141 -x140 -x139 -x137 -x136 -x135 -x134 -x132 -x131 -x129 -x127 -x125 -x124 -x122
95.36/95.49 v -x121 -x119 -x117 -x115 -x113 -x111 -x110 -x108 -x107 -x105 -x103 -x101 -x99 -x97 x95 -x94 -x92 -x90 -x88 -x87 -x85 -x83 -x81
95.36/95.49 v -x80 -x78 -x77 -x75 -x73 -x71 -x69 -x67 -x65 -x63 -x61 -x59 -x57 x56 -x55 -x53 -x52 -x50 -x49 -x47 -x46 -x45 -x44 -x42 -x40
95.36/95.49 v -x39 -x37 -x35 -x33 -x32 -x31 -x29 -x28
95.36/95.49 c SCIP Status : problem is solved [optimal solution found]
95.36/95.49 c Solving Time : 84.38
95.36/95.49 c Original Problem :
95.36/95.49 c Problem name : HOME/instance-2663968-1276642539.opb
95.36/95.49 c Variables : 256 (256 binary, 0 integer, 0 implicit integer, 0 continuous)
95.36/95.49 c Constraints : 351 initial, 351 maximal
95.36/95.49 c Presolved Problem :
95.36/95.49 c Problem name : t_HOME/instance-2663968-1276642539.opb
95.36/95.49 c Variables : 165 (165 binary, 0 integer, 0 implicit integer, 0 continuous)
95.36/95.49 c Constraints : 176 initial, 405 maximal
95.36/95.49 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
95.36/95.49 c trivial : 0.00 0 0 0 0 0 0 0 0
95.36/95.49 c dualfix : 0.00 1 0 0 0 0 0 0 0
95.36/95.49 c boundshift : 0.00 0 0 0 0 0 0 0 0
95.36/95.49 c inttobinary : 0.00 0 0 0 0 0 0 0 0
95.36/95.49 c implics : 0.00 0 0 0 0 0 0 0 0
95.36/95.49 c probing : 0.00 0 0 0 0 0 0 0 0
95.36/95.49 c linear : 0.01 4 86 0 4 0 175 0 0
95.36/95.49 c logicor : 0.00 0 0 0 0 0 0 0 0
95.36/95.49 c root node : - 126 - - 126 - - - -
95.36/95.49 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
95.36/95.49 c integral : 0 0 0 0 0 0 0 0 0 0
95.36/95.49 c logicor : 176+ 0 966989 0 7 209407 1721614 0 0 0
95.36/95.49 c countsols : 0 0 0 0 69 0 0 0 0 0
95.36/95.49 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
95.36/95.49 c integral : 0.00 0.00 0.00 0.00 0.00
95.36/95.49 c logicor : 14.21 0.00 14.21 0.00 0.00
95.36/95.49 c countsols : 0.00 0.00 0.00 0.00 0.00
95.36/95.49 c Propagators : Time Calls Cutoffs DomReds
95.36/95.49 c vbounds : 0.74 2 0 0
95.36/95.49 c rootredcost : 0.77 0 0 0
95.36/95.49 c pseudoobj : 28.26 1954375 35098 11018755
95.36/95.49 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
95.36/95.49 c propagation : 6.90 244505 244409 244409 10.8 11288 22.5 -
95.36/95.49 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
95.36/95.49 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
95.36/95.49 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
95.36/95.49 c pseudo solution : 0.00 233 233 233 8.2 48 20.1 -
95.36/95.49 c applied globally : - - - 253060 11.0 - - -
95.36/95.49 c applied locally : - - - 1388 33.8 - - -
95.36/95.49 c Separators : Time Calls Cutoffs DomReds Cuts Conss
95.36/95.49 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
95.36/95.49 c redcost : 0.00 0 0 0 0 0
95.36/95.49 c impliedbounds : 0.00 0 0 0 0 0
95.36/95.49 c intobj : 0.00 0 0 0 0 0
95.36/95.49 c cgmip : 0.00 0 0 0 0 0
95.36/95.49 c gomory : 0.00 0 0 0 0 0
95.36/95.49 c strongcg : 0.00 0 0 0 0 0
95.36/95.49 c cmir : 0.00 0 0 0 0 0
95.36/95.49 c flowcover : 0.00 0 0 0 0 0
95.36/95.49 c clique : 0.00 0 0 0 0 0
95.36/95.49 c zerohalf : 0.00 0 0 0 0 0
95.36/95.49 c mcf : 0.00 0 0 0 0 0
95.36/95.49 c rapidlearning : 0.00 0 0 0 0 0
95.36/95.49 c Pricers : Time Calls Vars
95.36/95.49 c problem variables: 0.00 0 0
95.36/95.49 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
95.36/95.49 c relpscost : 0.00 0 0 0 0 0 0
95.36/95.49 c pscost : 0.00 0 0 0 0 0 0
95.36/95.49 c inference : 6.84 365812 0 0 0 0 731624
95.36/95.49 c mostinf : 0.00 0 0 0 0 0 0
95.36/95.49 c leastinf : 0.00 0 0 0 0 0 0
95.36/95.49 c fullstrong : 0.00 0 0 0 0 0 0
95.36/95.49 c allfullstrong : 0.00 0 0 0 0 0 0
95.36/95.49 c random : 0.00 0 0 0 0 0 0
95.36/95.49 c Primal Heuristics : Time Calls Found
95.36/95.49 c LP solutions : 0.00 - 0
95.36/95.49 c pseudo solutions : 0.00 - 69
95.36/95.49 c oneopt : 0.29 0 0
95.36/95.49 c trivial : 0.00 2 2
95.36/95.49 c simplerounding : 0.00 0 0
95.36/95.49 c zirounding : 0.00 0 0
95.36/95.49 c rounding : 0.00 0 0
95.36/95.49 c shifting : 0.00 0 0
95.36/95.49 c intshifting : 0.00 0 0
95.36/95.49 c twoopt : 0.00 0 0
95.36/95.49 c fixandinfer : 0.00 0 0
95.36/95.49 c feaspump : 0.00 0 0
95.36/95.49 c coefdiving : 0.00 0 0
95.36/95.49 c pscostdiving : 0.00 0 0
95.36/95.49 c fracdiving : 0.00 0 0
95.36/95.49 c veclendiving : 0.00 0 0
95.36/95.49 c intdiving : 0.00 0 0
95.36/95.49 c actconsdiving : 0.00 0 0
95.36/95.49 c objpscostdiving : 0.00 0 0
95.36/95.49 c rootsoldiving : 0.00 0 0
95.36/95.49 c linesearchdiving : 0.00 0 0
95.36/95.49 c guideddiving : 0.00 0 0
95.36/95.49 c octane : 0.00 0 0
95.36/95.49 c rens : 0.00 0 0
95.36/95.49 c rins : 0.00 0 0
95.36/95.49 c localbranching : 0.00 0 0
95.36/95.49 c mutation : 0.00 0 0
95.36/95.49 c crossover : 0.00 0 0
95.36/95.49 c dins : 0.00 0 0
95.36/95.49 c undercover : 0.00 0 0
95.36/95.49 c nlp : 0.15 0 0
95.36/95.49 c trysol : 0.22 0 0
95.36/95.49 c LP : Time Calls Iterations Iter/call Iter/sec
95.36/95.49 c primal LP : 0.00 0 0 0.00 -
95.36/95.49 c dual LP : 0.00 0 0 0.00 -
95.36/95.49 c lex dual LP : 0.00 0 0 0.00 -
95.36/95.49 c barrier LP : 0.00 0 0 0.00 -
95.36/95.49 c diving/probing LP: 0.00 0 0 0.00 -
95.36/95.49 c strong branching : 0.00 0 0 0.00 -
95.36/95.49 c (at root node) : - 0 0 0.00 -
95.36/95.49 c conflict analysis: 0.00 0 0 0.00 -
95.36/95.49 c B&B Tree :
95.36/95.49 c number of runs : 1
95.36/95.49 c nodes : 457113
95.36/95.49 c nodes (total) : 457113
95.36/95.49 c nodes left : 0
95.36/95.49 c max depth : 100
95.36/95.49 c max depth (total): 100
95.36/95.49 c backtracks : 199410 (43.6%)
95.36/95.49 c delayed cutoffs : 261983
95.36/95.49 c repropagations : 1006512 (8097813 domain reductions, 153506 cutoffs)
95.36/95.49 c avg switch length: 5.43
95.36/95.49 c switching time : 14.22
95.36/95.49 c Solution :
95.36/95.49 c Solutions found : 71 (71 improvements)
95.36/95.49 c First Solution : +2.35098000000000e+05 (in run 1, after 0 nodes, 0.00 seconds, depth 0, found by <trivial>)
95.36/95.49 c Primal Bound : +1.39490000000000e+04 (in run 1, after 454860 nodes, 83.77 seconds, depth 14, found by <relaxation>)
95.36/95.49 c Dual Bound : +1.39490000000000e+04
95.36/95.49 c Gap : 0.00 %
95.36/95.49 c Root Dual Bound : +7.01300000000000e+03
95.36/95.49 c Root Iterations : 0
95.36/95.49 c Time complete: 95.46.