0.00/0.00 c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.4.2] [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-2666673-1276660975.opb>
0.00/0.03 c original problem has 1619 variables (1619 bin, 0 int, 0 impl, 0 cont) and 1619 constraints
0.00/0.03 c problem read
0.00/0.03 c presolving settings loaded
0.00/0.04 o 0
0.00/0.04 c feasible solution found by trivial heuristic, objective value 0.000000e+00
0.00/0.04 c presolving:
0.19/0.23 c (round 1) 1519 del vars, 100 del conss, 1519 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 6076 impls, 0 clqs
0.19/0.28 c presolving (2 rounds):
0.19/0.28 c 1519 deleted vars, 100 deleted constraints, 1519 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.19/0.28 c 9114 implications, 0 cliques
0.19/0.28 c presolved problem has 100 variables (100 bin, 0 int, 0 impl, 0 cont) and 1519 constraints
0.19/0.28 c 1519 constraints of type <logicor>
0.19/0.28 c transformed objective value is always integral (scale: 1)
0.19/0.28 c Presolving Time: 0.14
0.19/0.28 c - non default parameters ----------------------------------------------------------------------
0.19/0.28 c # SCIP version 1.2.1.2
0.19/0.28 c
0.19/0.28 c # maximal number of intermediate conflict constraints generated in conflict graph (-1: use every intermediate constraint)
0.19/0.28 c # [type: int, range: [-1,2147483647], default: -1]
0.19/0.28 c conflict/interconss = 0
0.19/0.28 c
0.19/0.28 c # should binary conflicts be preferred?
0.19/0.28 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.19/0.28 c conflict/preferbinary = TRUE
0.19/0.28 c
0.19/0.28 c # maximum age an unnecessary constraint can reach before it is deleted (0: dynamic, -1: keep all constraints)
0.19/0.28 c # [type: int, range: [-1,2147483647], default: 0]
0.19/0.28 c constraints/agelimit = 1
0.19/0.28 c
0.19/0.28 c # should enforcement of pseudo solution be disabled?
0.19/0.28 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.19/0.28 c constraints/disableenfops = TRUE
0.19/0.28 c
0.19/0.28 c # frequency for displaying node information lines
0.19/0.28 c # [type: int, range: [-1,2147483647], default: 100]
0.19/0.28 c display/freq = 10000
0.19/0.28 c
0.19/0.28 c # maximal time in seconds to run
0.19/0.28 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.19/0.28 c limits/time = 1799.98
0.19/0.28 c
0.19/0.28 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.19/0.28 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.19/0.28 c limits/memory = 1620
0.19/0.28 c
0.19/0.28 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.19/0.28 c # [type: int, range: [-1,2147483647], default: 1]
0.19/0.28 c lp/solvefreq = 0
0.19/0.28 c
0.19/0.28 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.19/0.28 c # [type: char, range: {lafpsqd}, default: l]
0.19/0.28 c lp/pricing = a
0.19/0.28 c
0.19/0.28 c # should presolving try to simplify inequalities
0.19/0.28 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.19/0.28 c constraints/linear/simplifyinequalities = TRUE
0.19/0.28 c
0.19/0.28 c # should presolving try to simplify knapsacks
0.19/0.28 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.19/0.28 c constraints/knapsack/simplifyinequalities = TRUE
0.19/0.28 c
0.19/0.28 c # priority of node selection rule <dfs> in standard mode
0.19/0.28 c # [type: int, range: [-536870912,536870911], default: 0]
0.19/0.28 c nodeselection/dfs/stdpriority = 1000000
0.19/0.28 c
0.19/0.28 c -----------------------------------------------------------------------------------------------
0.19/0.28 c start solving
0.19/0.28 c
0.29/0.30 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.29/0.30 c t 0.1s| 1 | 0 | 107 | - |4396k| 0 | 100 | 100 |1519 | 100 |1519 | 0 | 0 | 0 |-5.000000e+01 | 0.000000e+00 | 100.00%
0.29/0.30 o -1
0.29/0.30 c R 0.1s| 1 | 0 | 107 | - |4398k| 0 | 100 | 100 |1519 | 100 |1519 | 0 | 0 | 0 |-5.000000e+01 |-1.000000e+00 | 98.00%
0.29/0.30 o -2
0.29/0.30 c s 0.2s| 1 | 0 | 107 | - |4399k| 0 | 100 | 100 |1519 | 100 |1519 | 0 | 0 | 0 |-5.000000e+01 |-2.000000e+00 | 96.00%
0.29/0.34 c 0.2s| 1 | 0 | 173 | - |4405k| 0 | 88 | 100 |1519 | 100 |1527 | 8 | 0 | 0 |-4.400000e+01 |-2.000000e+00 | 95.45%
0.29/0.34 o -11
0.29/0.34 c b 0.2s| 1 | 0 | 173 | - |4408k| 0 | 88 | 100 |1519 | 100 |1527 | 8 | 0 | 0 |-4.400000e+01 |-1.100000e+01 | 75.00%
0.40/0.42 c 0.3s| 1 | 0 | 229 | - |4413k| 0 | 80 | 100 |1519 | 100 |1535 | 16 | 0 | 0 |-4.000000e+01 |-1.100000e+01 | 72.50%
0.49/0.50 c 0.3s| 1 | 0 | 307 | - |4419k| 0 | 75 | 100 |1519 | 100 |1542 | 23 | 0 | 0 |-3.750000e+01 |-1.100000e+01 | 70.67%
0.49/0.59 c 0.4s| 1 | 0 | 349 | - |4424k| 0 | 74 | 100 |1519 | 100 |1547 | 28 | 0 | 0 |-3.600000e+01 |-1.100000e+01 | 69.44%
0.59/0.69 c 0.5s| 1 | 0 | 479 | - |4432k| 0 | 66 | 100 |1519 | 100 |1553 | 34 | 0 | 0 |-3.300000e+01 |-1.100000e+01 | 66.67%
0.69/0.77 c 0.6s| 1 | 0 | 560 | - |4439k| 0 | 68 | 100 |1519 | 100 |1564 | 45 | 0 | 0 |-3.250000e+01 |-1.100000e+01 | 66.15%
0.79/0.88 c 0.7s| 1 | 0 | 696 | - |4447k| 0 | 70 | 100 |1519 | 100 |1573 | 54 | 0 | 0 |-3.050000e+01 |-1.100000e+01 | 63.93%
0.99/1.03 c 0.9s| 1 | 0 | 898 | - |4454k| 0 | 69 | 100 |1519 | 100 |1584 | 65 | 0 | 0 |-2.833333e+01 |-1.100000e+01 | 61.18%
1.10/1.17 c 1.0s| 1 | 0 | 1046 | - |4474k| 0 | 60 | 100 |1519 | 100 |1595 | 76 | 0 | 0 |-2.650000e+01 |-1.100000e+01 | 58.49%
1.29/1.31 c 1.1s| 1 | 0 | 1183 | - |4563k| 0 | 52 | 100 |1519 | 100 |1601 | 82 | 0 | 0 |-2.600000e+01 |-1.100000e+01 | 57.69%
1.39/1.46 c 1.3s| 1 | 0 | 1394 | - |4650k| 0 | 69 | 100 |1519 | 100 | 221 | 91 | 0 | 0 |-2.520588e+01 |-1.100000e+01 | 56.36%
1.49/1.50 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1.49/1.50 c 1.3s| 1 | 0 | 1471 | - |4818k| 0 | 67 | 100 |1519 | 100 | 230 | 100 | 0 | 0 |-2.452632e+01 |-1.100000e+01 | 55.15%
1.49/1.54 c 1.4s| 1 | 0 | 1575 | - |5077k| 0 | 75 | 100 |1519 | 100 | 267 | 137 | 0 | 0 |-2.355959e+01 |-1.100000e+01 | 53.31%
1.59/1.61 c 1.4s| 1 | 0 | 1694 | - |5752k| 0 | 75 | 100 |1519 | 100 | 289 | 159 | 0 | 0 |-2.249231e+01 |-1.100000e+01 | 51.09%
1.59/1.68 c 1.5s| 1 | 0 | 1776 | - |6490k| 0 | 79 | 100 |1519 | 100 | 324 | 194 | 0 | 0 |-2.220198e+01 |-1.100000e+01 | 50.45%
1.69/1.75 c 1.6s| 1 | 0 | 1839 | - |7206k| 0 | 80 | 100 |1519 | 100 | 331 | 201 | 0 | 0 |-2.213020e+01 |-1.100000e+01 | 50.29%
1.79/1.82 c 1.6s| 1 | 0 | 1927 | - |7442k| 0 | 84 | 100 |1519 | 100 | 272 | 217 | 0 | 0 |-2.192079e+01 |-1.100000e+01 | 49.82%
1.79/1.88 c 1.7s| 1 | 0 | 2010 | - |8101k| 0 | 85 | 100 |1519 | 100 | 285 | 230 | 0 | 0 |-2.156892e+01 |-1.100000e+01 | 49.00%
1.89/1.94 c 1.8s| 1 | 0 | 2042 | - |8816k| 0 | 86 | 100 |1519 | 100 | 296 | 241 | 0 | 0 |-2.148659e+01 |-1.100000e+01 | 48.81%
2.00/2.02 c 1.8s| 1 | 0 | 2122 | - |9606k| 0 | 85 | 100 |1519 | 100 | 305 | 250 | 0 | 0 |-2.116768e+01 |-1.100000e+01 | 48.03%
2.00/2.06 c 1.9s| 1 | 0 | 2160 | - |9613k| 0 | 88 | 100 |1519 | 100 | 319 | 264 | 0 | 0 |-2.103416e+01 |-1.100000e+01 | 47.70%
2.10/2.10 c 1.9s| 1 | 0 | 2217 | - |9622k| 0 | 90 | 100 |1519 | 100 | 328 | 273 | 0 | 0 |-2.088590e+01 |-1.100000e+01 | 47.33%
2.10/2.14 c 1.9s| 1 | 0 | 2263 | - |9626k| 0 | 90 | 100 |1519 | 100 | 247 | 282 | 0 | 0 |-2.075497e+01 |-1.100000e+01 | 47.00%
2.10/2.17 c 2.0s| 1 | 0 | 2307 | - |9631k| 0 | 94 | 100 |1519 | 100 | 256 | 291 | 0 | 0 |-2.060470e+01 |-1.100000e+01 | 46.61%
2.20/2.21 c 2.0s| 1 | 0 | 2351 | - |9636k| 0 | 95 | 100 |1519 | 100 | 265 | 300 | 0 | 0 |-2.052389e+01 |-1.100000e+01 | 46.40%
2.20/2.24 c 2.0s| 1 | 0 | 2387 | - |9641k| 0 | 96 | 100 |1519 | 100 | 276 | 311 | 0 | 0 |-2.037999e+01 |-1.100000e+01 | 46.03%
2.20/2.28 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
2.20/2.28 c 2.1s| 1 | 0 | 2437 | - |9646k| 0 | 97 | 100 |1519 | 100 | 281 | 316 | 0 | 0 |-2.032628e+01 |-1.100000e+01 | 45.88%
2.29/2.32 c 2.1s| 1 | 0 | 2476 | - |9651k| 0 | 100 | 100 |1519 | 100 | 290 | 325 | 0 | 0 |-2.028068e+01 |-1.100000e+01 | 45.76%
2.29/2.36 c 2.2s| 1 | 0 | 2524 | - |9657k| 0 | 99 | 100 |1519 | 100 | 208 | 333 | 0 | 0 |-2.021435e+01 |-1.100000e+01 | 45.58%
2.29/2.39 c 2.2s| 1 | 0 | 2569 | - |9662k| 0 | 99 | 100 |1519 | 100 | 214 | 339 | 0 | 0 |-2.016230e+01 |-1.100000e+01 | 45.44%
2.39/2.42 c 2.2s| 1 | 0 | 2616 | - |9667k| 0 | 100 | 100 |1519 | 100 | 224 | 349 | 0 | 0 |-2.012898e+01 |-1.100000e+01 | 45.35%
2.39/2.46 c 2.3s| 1 | 0 | 2663 | - |9671k| 0 | 100 | 100 |1519 | 100 | 231 | 356 | 0 | 0 |-2.010832e+01 |-1.100000e+01 | 45.30%
2.39/2.49 c 2.3s| 1 | 0 | 2697 | - |9675k| 0 | 100 | 100 |1519 | 100 | 237 | 362 | 0 | 0 |-2.009342e+01 |-1.100000e+01 | 45.26%
2.49/2.52 c 2.3s| 1 | 0 | 2748 | - |9683k| 0 | 100 | 100 |1519 | 100 | 247 | 372 | 0 | 0 |-2.005355e+01 |-1.100000e+01 | 45.15%
2.49/2.56 c 2.4s| 1 | 0 | 2775 | - |9688k| 0 | 100 | 100 |1519 | 100 | 208 | 381 | 0 | 0 |-2.003825e+01 |-1.100000e+01 | 45.10%
2.49/2.59 c 2.4s| 1 | 0 | 2796 | - |9690k| 0 | 100 | 100 |1519 | 100 | 213 | 386 | 0 | 0 |-2.003369e+01 |-1.100000e+01 | 45.09%
2.59/2.61 c 2.4s| 1 | 0 | 2803 | - |9691k| 0 | 100 | 100 |1519 | 100 | 215 | 388 | 0 | 0 |-2.003137e+01 |-1.100000e+01 | 45.09%
2.59/2.64 c 2.4s| 1 | 0 | 2807 | - |9692k| 0 | 100 | 100 |1519 | 100 | 217 | 390 | 0 | 0 |-2.003095e+01 |-1.100000e+01 | 45.08%
3.20/3.24 c 3.0s| 1 | 2 | 2807 | - |9693k| 0 | 100 | 100 |1519 | 100 | 217 | 390 | 0 | 17 |-2.003095e+01 |-1.100000e+01 | 45.08%
3.20/3.25 o -12
3.20/3.25 c * 3.0s| 120 | 7 | 2807 | 0.0 |9704k| 15 | - | 100 |1521 | 0 | 0 | 390 | 4 | 17 |-1.976031e+01 |-1.200000e+01 | 39.27%
3.39/3.43 o -13
3.39/3.43 c * 3.2s| 1857 | 9 | 2807 | 0.0 |9705k| 28 | - | 100 |1519 | 0 | 0 | 390 | 18 | 17 |-1.976031e+01 |-1.300000e+01 | 34.21%
3.39/3.44 o -14
3.39/3.44 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
3.39/3.44 c * 3.2s| 1942 | 7 | 2807 | 0.0 |9706k| 28 | - | 100 |1519 | 0 | 0 | 390 | 18 | 17 |-1.976031e+01 |-1.400000e+01 | 29.15%
3.39/3.44 o -15
3.39/3.44 c * 3.2s| 2004 | 8 | 2807 | 0.0 |9709k| 28 | - | 100 |1523 | 0 | 0 | 390 | 23 | 17 |-1.976031e+01 |-1.500000e+01 | 24.09%
4.19/4.27 c 3.9s| 10000 | 5 | 2807 | 0.0 |9708k| 35 | - | 100 |1519 | 0 | 0 | 390 | 43 | 17 |-1.976031e+01 |-1.500000e+01 | 24.09%
5.29/5.31 c 4.9s| 20000 | 6 | 2807 | 0.0 |9709k| 43 | - | 100 |1519 | 0 | 0 | 390 | 60 | 17 |-1.976031e+01 |-1.500000e+01 | 24.09%
6.29/6.37 c 5.8s| 30000 | 6 | 2807 | 0.0 |9709k| 43 | - | 100 |1519 | 0 | 0 | 390 | 75 | 17 |-1.976031e+01 |-1.500000e+01 | 24.09%
7.38/7.42 c 6.7s| 40000 | 7 | 2807 | 0.0 |9710k| 44 | - | 100 |1519 | 0 | 0 | 390 | 101 | 17 |-1.976031e+01 |-1.500000e+01 | 24.09%
8.39/8.47 c 7.6s| 50000 | 5 | 2807 | 0.0 |9711k| 47 | - | 100 |1519 | 0 | 0 | 390 | 125 | 17 |-1.976031e+01 |-1.500000e+01 | 24.09%
9.48/9.58 c 8.6s| 60000 | 5 | 2807 | 0.0 |9765k| 58 | - | 100 |1630 | 0 | 0 | 390 |1672 | 17 |-1.976031e+01 |-1.500000e+01 | 24.09%
10.69/10.72 c 9.6s| 70000 | 6 | 2807 | 0.0 |9797k| 58 | - | 100 |1677 | 0 | 0 | 390 |3458 | 17 |-1.976031e+01 |-1.500000e+01 | 24.09%
11.79/11.87 c 10.7s| 80000 | 6 | 2807 | 0.0 |9813k| 58 | - | 100 |1709 | 0 | 0 | 390 |5234 | 17 |-1.976031e+01 |-1.500000e+01 | 24.09%
12.98/13.03 c 11.7s| 90000 | 5 | 2807 | 0.0 |9817k| 58 | - | 100 |1712 | 0 | 0 | 390 |7005 | 17 |-1.976031e+01 |-1.500000e+01 | 24.09%
14.09/14.16 c 12.7s|100000 | 7 | 2807 | 0.0 |9803k| 60 | - | 100 |1693 | 0 | 0 | 390 |8790 | 17 |-1.976031e+01 |-1.500000e+01 | 24.09%
15.29/15.31 c 13.7s|110000 | 5 | 2807 | 0.0 |9813k| 60 | - | 100 |1707 | 0 | 0 | 390 | 10k| 17 |-1.976031e+01 |-1.500000e+01 | 24.09%
16.39/16.45 c 14.8s|120000 | 5 | 2807 | 0.0 |9806k| 60 | - | 100 |1678 | 0 | 0 | 390 | 12k| 17 |-1.976031e+01 |-1.500000e+01 | 24.09%
17.59/17.61 c 15.8s|130000 | 7 | 2807 | 0.0 |9823k| 60 | - | 100 |1711 | 0 | 0 | 390 | 14k| 17 |-1.976031e+01 |-1.500000e+01 | 24.09%
18.70/18.76 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
18.70/18.76 c 16.8s|140000 | 4 | 2807 | 0.0 |9793k| 60 | - | 100 |1659 | 0 | 0 | 390 | 15k| 17 |-1.976031e+01 |-1.500000e+01 | 24.09%
19.88/19.90 c 17.8s|150000 | 6 | 2807 | 0.0 |9813k| 60 | - | 100 |1685 | 0 | 0 | 390 | 17k| 17 |-1.976031e+01 |-1.500000e+01 | 24.09%
20.98/21.06 c 18.9s|160000 | 6 | 2807 | 0.0 |9841k| 60 | - | 100 |1749 | 0 | 0 | 390 | 19k| 17 |-1.976031e+01 |-1.500000e+01 | 24.09%
22.19/22.21 c 19.9s|170000 | 5 | 2807 | 0.0 |9836k| 60 | - | 100 |1732 | 0 | 0 | 390 | 21k| 17 |-1.976031e+01 |-1.500000e+01 | 24.09%
23.28/23.35 c 20.9s|180000 | 6 | 2807 | 0.0 |9819k| 61 | - | 100 |1706 | 0 | 0 | 390 | 23k| 17 |-1.976031e+01 |-1.500000e+01 | 24.09%
24.48/24.51 c 21.9s|190000 | 7 | 2807 | 0.0 |9854k| 61 | - | 100 |1780 | 0 | 0 | 390 | 24k| 17 |-1.976031e+01 |-1.500000e+01 | 24.09%
25.58/25.66 c 22.9s|200000 | 4 | 2807 | 0.0 |9846k| 61 | - | 100 |1752 | 0 | 0 | 390 | 26k| 17 |-1.976031e+01 |-1.500000e+01 | 24.09%
26.78/26.81 c 24.0s|210000 | 7 | 2807 | 0.0 |9784k| 61 | - | 100 |1615 | 0 | 0 | 390 | 28k| 17 |-1.976031e+01 |-1.500000e+01 | 24.09%
27.89/27.97 c 25.0s|220000 | 7 | 2807 | 0.0 |9783k| 61 | - | 100 |1617 | 0 | 0 | 390 | 30k| 17 |-1.976031e+01 |-1.500000e+01 | 24.09%
29.08/29.12 c 26.0s|230000 | 3 | 2807 | 0.0 |9873k| 61 | - | 100 |1833 | 0 | 0 | 390 | 31k| 17 |-1.976031e+01 |-1.500000e+01 | 24.09%
30.18/30.27 c 27.1s|240000 | 6 | 2807 | 0.0 |9787k| 61 | - | 100 |1627 | 0 | 0 | 390 | 33k| 17 |-1.976031e+01 |-1.500000e+01 | 24.09%
31.38/31.40 c 28.0s|250000 | 6 | 2807 | 0.0 |9847k| 61 | - | 100 |1773 | 0 | 0 | 390 | 35k| 17 |-1.976031e+01 |-1.500000e+01 | 24.09%
32.48/32.56 c 29.1s|260000 | 5 | 2807 | 0.0 |9823k| 61 | - | 100 |1719 | 0 | 0 | 390 | 37k| 17 |-1.976031e+01 |-1.500000e+01 | 24.09%
33.68/33.70 c 30.1s|270000 | 5 | 2807 | 0.0 |9886k| 61 | - | 100 |1859 | 0 | 0 | 390 | 39k| 17 |-1.976031e+01 |-1.500000e+01 | 24.09%
34.78/34.86 c 31.1s|280000 | 5 | 2807 | 0.0 |9840k| 62 | - | 100 |1761 | 0 | 0 | 390 | 40k| 17 |-1.976031e+01 |-1.500000e+01 | 24.09%
35.98/36.00 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
35.98/36.00 c 32.1s|290000 | 5 | 2807 | 0.0 |9849k| 62 | - | 100 |1779 | 0 | 0 | 390 | 42k| 17 |-1.976031e+01 |-1.500000e+01 | 24.09%
37.08/37.15 c 33.1s|300000 | 3 | 2807 | 0.0 |9848k| 62 | - | 100 |1785 | 0 | 0 | 390 | 44k| 17 |-1.976031e+01 |-1.500000e+01 | 24.09%
38.28/38.30 c 34.1s|310000 | 5 | 2807 | 0.0 |9851k| 62 | - | 100 |1791 | 0 | 0 | 390 | 45k| 17 |-1.976031e+01 |-1.500000e+01 | 24.09%
39.38/39.45 c 35.2s|320000 | 6 | 2807 | 0.0 |9827k| 63 | - | 100 |1728 | 0 | 0 | 390 | 47k| 17 |-1.976031e+01 |-1.500000e+01 | 24.09%
40.59/40.60 c 36.2s|330000 | 5 | 2807 | 0.0 |9859k| 63 | - | 100 |1815 | 0 | 0 | 390 | 49k| 17 |-1.976031e+01 |-1.500000e+01 | 24.09%
41.68/41.75 c 37.2s|340000 | 4 | 2807 | 0.0 |9846k| 63 | - | 100 |1776 | 0 | 0 | 390 | 50k| 17 |-1.976031e+01 |-1.500000e+01 | 24.09%
42.88/42.91 c 38.2s|350000 | 3 | 2807 | 0.0 |9879k| 63 | - | 100 |1870 | 0 | 0 | 390 | 52k| 17 |-1.976031e+01 |-1.500000e+01 | 24.09%
43.98/44.06 c 39.2s|360000 | 4 | 2807 | 0.0 |9834k| 64 | - | 100 |1747 | 0 | 0 | 390 | 54k| 17 |-1.976031e+01 |-1.500000e+01 | 24.09%
45.17/45.21 c 40.2s|370000 | 4 | 2807 | 0.0 |9887k| 64 | - | 100 |1896 | 0 | 0 | 390 | 56k| 17 |-1.976031e+01 |-1.500000e+01 | 24.09%
46.38/46.43 c 41.3s|380000 | 6 | 2807 | 0.0 |9878k| 67 | - | 100 |1863 | 0 | 0 | 390 | 58k| 17 |-1.976031e+01 |-1.500000e+01 | 24.09%
48.08/48.17 c 42.8s|390000 | 4 | 2807 | 0.0 |9953k| 70 | - | 100 |2129 | 0 | 0 | 390 | 63k| 17 |-1.976031e+01 |-1.500000e+01 | 24.09%
49.77/49.81 c
49.77/49.81 c SCIP Status : problem is solved [optimal solution found]
49.77/49.81 c Solving Time (sec) : 44.25
49.77/49.81 c Solving Nodes : 398713
49.77/49.81 c Primal Bound : -1.50000000000000e+01 (10 solutions)
49.77/49.81 c Dual Bound : -1.50000000000000e+01
49.77/49.81 c Gap : 0.00 %
49.77/49.81 s OPTIMUM FOUND
49.77/49.81 v -x100 -x99 -x98 -x97 x96 -x95 -x94 -x93 -x92 -x91 x90 x89 -x88 x87 x86 x85 -x84 -x83 -x82 -x81 x80 -x79 -x78 x77 -x76 -x75 -x74
49.77/49.81 v x73 -x72 -x71 -x70 -x69 -x68 -x67 -x66 -x65 -x64 -x63 -x62 -x61 -x60 -x59 -x58 -x57 x56 x55 -x54 -x53 -x52 -x51 -x50 x49 -x48
49.77/49.81 v -x47 -x46 -x45 -x44 -x43 -x42 -x41 -x40 x39 -x38 -x37 -x36 -x35 -x34 -x33 -x32 -x31 -x30 -x29 -x28 -x27 -x26 -x25 -x24 -x23
49.77/49.81 v -x22 -x21 -x20 -x19 -x18 -x17 -x16 -x15 -x14 -x13 -x12 -x11 x10 -x9 -x8 x7 -x6 -x5 -x4 -x3 -x2 -x1
49.77/49.81 c SCIP Status : problem is solved [optimal solution found]
49.77/49.81 c Solving Time : 44.25
49.77/49.81 c Original Problem :
49.77/49.81 c Problem name : HOME/instance-2666673-1276660975.opb
49.77/49.81 c Variables : 1619 (1619 binary, 0 integer, 0 implicit integer, 0 continuous)
49.77/49.81 c Constraints : 1619 initial, 1619 maximal
49.77/49.81 c Presolved Problem :
49.77/49.81 c Problem name : t_HOME/instance-2666673-1276660975.opb
49.77/49.81 c Variables : 100 (100 binary, 0 integer, 0 implicit integer, 0 continuous)
49.77/49.81 c Constraints : 1519 initial, 2342 maximal
49.77/49.81 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
49.77/49.81 c trivial : 0.00 0 0 0 0 0 0 0 0
49.77/49.81 c dualfix : 0.00 0 0 0 0 0 0 0 0
49.77/49.81 c boundshift : 0.00 0 0 0 0 0 0 0 0
49.77/49.81 c inttobinary : 0.00 0 0 0 0 0 0 0 0
49.77/49.81 c implics : 0.00 0 0 0 0 0 0 0 0
49.77/49.81 c probing : 0.03 0 0 0 0 0 0 0 0
49.77/49.81 c linear : 0.01 1519 0 0 1519 0 100 0 0
49.77/49.81 c logicor : 0.01 0 0 0 0 0 0 0 0
49.77/49.81 c root node : - 100 - - 100 - - - -
49.77/49.81 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
49.77/49.81 c integral : 0 0 0 1 0 0 0 0 0 2
49.77/49.81 c logicor : 1519+ 39 428003 0 4 71575 1077800 89 0 0
49.77/49.81 c countsols : 0 0 0 0 4 0 0 0 0 0
49.77/49.81 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
49.77/49.81 c integral : 0.55 0.00 0.00 0.55 0.00
49.77/49.81 c logicor : 10.54 0.02 10.52 0.00 0.00
49.77/49.81 c countsols : 0.00 0.00 0.00 0.00 0.00
49.77/49.81 c Propagators : Time Calls Cutoffs DomReds
49.77/49.81 c vbounds : 0.37 2 0 0
49.77/49.81 c rootredcost : 0.32 4 0 0
49.77/49.81 c pseudoobj : 8.17 683611 129920 832122
49.77/49.81 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
49.77/49.81 c propagation : 4.55 78202 68200 68200 19.4 0 0.0 -
49.77/49.81 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
49.77/49.81 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
49.77/49.81 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
49.77/49.81 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
49.77/49.81 c applied globally : - - - 61364 17.7 - - -
49.77/49.81 c applied locally : - - - 6836 35.2 - - -
49.77/49.81 c Separators : Time Calls Cutoffs DomReds Cuts Conss
49.77/49.81 c cut pool : 0.04 38 - - 220 - (maximal pool size: 2176)
49.77/49.81 c redcost : 0.00 39 0 0 0 0
49.77/49.81 c impliedbounds : 0.00 39 0 0 160 0
49.77/49.81 c intobj : 0.00 0 0 0 0 0
49.77/49.81 c cgmip : 0.00 0 0 0 0 0
49.77/49.81 c gomory : 0.83 39 0 0 5748 0
49.77/49.81 c strongcg : 0.48 20 0 0 7094 0
49.77/49.81 c cmir : 0.05 10 0 0 0 0
49.77/49.81 c flowcover : 0.08 10 0 0 0 0
49.77/49.81 c clique : 0.09 39 0 0 312 0
49.77/49.81 c zerohalf : 0.00 0 0 0 0 0
49.77/49.81 c mcf : 0.01 1 0 0 0 0
49.77/49.81 c rapidlearning : 0.00 0 0 0 0 0
49.77/49.81 c Pricers : Time Calls Vars
49.77/49.81 c problem variables: 0.00 0 0
49.77/49.81 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
49.77/49.81 c relpscost : 0.55 1 0 0 0 0 2
49.77/49.81 c pscost : 0.00 0 0 0 0 0 0
49.77/49.81 c inference : 1.34 201567 0 0 0 0 403134
49.77/49.81 c mostinf : 0.00 0 0 0 0 0 0
49.77/49.81 c leastinf : 0.00 0 0 0 0 0 0
49.77/49.81 c fullstrong : 0.00 0 0 0 0 0 0
49.77/49.81 c allfullstrong : 0.00 0 0 0 0 0 0
49.77/49.81 c random : 0.00 0 0 0 0 0 0
49.77/49.81 c Primal Heuristics : Time Calls Found
49.77/49.81 c LP solutions : 0.00 - 0
49.77/49.81 c pseudo solutions : 0.00 - 4
49.77/49.81 c crossover : 0.00 0 0
49.77/49.81 c oneopt : 0.24 2 1
49.77/49.81 c trivial : 0.00 2 2
49.77/49.81 c simplerounding : 0.02 39 1
49.77/49.81 c zirounding : 0.00 1 0
49.77/49.81 c rounding : 0.04 39 1
49.77/49.81 c shifting : 0.02 39 1
49.77/49.81 c intshifting : 0.00 0 0
49.77/49.81 c twoopt : 0.00 0 0
49.77/49.81 c fixandinfer : 0.00 0 0
49.77/49.81 c feaspump : 0.00 0 0
49.77/49.81 c coefdiving : 0.00 0 0
49.77/49.81 c pscostdiving : 0.00 0 0
49.77/49.81 c fracdiving : 0.00 0 0
49.77/49.81 c veclendiving : 0.00 0 0
49.77/49.81 c intdiving : 0.00 0 0
49.77/49.81 c actconsdiving : 0.00 0 0
49.77/49.81 c objpscostdiving : 0.00 0 0
49.77/49.81 c rootsoldiving : 0.00 0 0
49.77/49.81 c linesearchdiving : 0.00 0 0
49.77/49.81 c guideddiving : 0.00 0 0
49.77/49.81 c octane : 0.00 0 0
49.77/49.81 c rens : 0.01 0 0
49.77/49.81 c rins : 0.00 0 0
49.77/49.81 c localbranching : 0.00 0 0
49.77/49.81 c mutation : 0.00 0 0
49.77/49.81 c dins : 0.00 0 0
49.77/49.81 c undercover : 0.00 0 0
49.77/49.81 c nlp : 0.20 0 0
49.77/49.81 c trysol : 0.17 0 0
49.77/49.81 c LP : Time Calls Iterations Iter/call Iter/sec
49.77/49.81 c primal LP : 0.01 0 0 0.00 0.00
49.77/49.81 c dual LP : 0.58 39 2807 71.97 4839.66
49.77/49.81 c lex dual LP : 0.00 0 0 0.00 -
49.77/49.81 c barrier LP : 0.00 0 0 0.00 -
49.77/49.81 c diving/probing LP: 0.00 0 0 0.00 -
49.77/49.81 c strong branching : 0.55 17 4084 240.24 7425.45
49.77/49.81 c (at root node) : - 17 4084 240.24 -
49.77/49.81 c conflict analysis: 0.00 0 0 0.00 -
49.77/49.81 c B&B Tree :
49.77/49.81 c number of runs : 1
49.77/49.81 c nodes : 398713
49.77/49.81 c nodes (total) : 398713
49.77/49.81 c nodes left : 0
49.77/49.81 c max depth : 84
49.77/49.81 c max depth (total): 84
49.77/49.81 c backtracks : 50982 (12.8%)
49.77/49.81 c delayed cutoffs : 4417
49.77/49.81 c repropagations : 56215 (77245 domain reductions, 4354 cutoffs)
49.77/49.81 c avg switch length: 2.14
49.77/49.81 c switching time : 7.66
49.77/49.81 c Solution :
49.77/49.81 c Solutions found : 10 (8 improvements)
49.77/49.81 c First Solution : +0.00000000000000e+00 (in run 1, after 0 nodes, 0.01 seconds, depth 0, found by <trivial>)
49.77/49.81 c Primal Bound : -1.50000000000000e+01 (in run 1, after 2004 nodes, 3.20 seconds, depth 18, found by <relaxation>)
49.77/49.81 c Dual Bound : -1.50000000000000e+01
49.77/49.81 c Gap : 0.00 %
49.77/49.81 c Root Dual Bound : -2.00309538179445e+01
49.77/49.81 c Root Iterations : 2807
49.77/49.83 c Time complete: 49.8.