0.00/0.00 c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Clp 1.11.1] [Expressions interpreter: NONE]
0.00/0.00 c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c user parameter file <scip.set> not found - using default parameters
0.00/0.00 c reading problem <HOME/instance-2665243-1276660935.opb>
0.00/0.02 c original problem has 1619 variables (1619 bin, 0 int, 0 impl, 0 cont) and 1619 constraints
0.00/0.02 c problem read
0.00/0.02 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.15
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.99
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.2s| 1 | 0 | 102 | - |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.2s| 1 | 0 | 102 | - |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 | 102 | - |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 | 147 | - |4405k| 0 | 88 | 100 |1519 | 100 |1526 | 7 | 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 | 147 | - |4408k| 0 | 88 | 100 |1519 | 100 |1526 | 7 | 0 | 0 |-4.400000e+01 |-1.100000e+01 | 75.00%
0.39/0.40 c 0.3s| 1 | 0 | 228 | - |4411k| 0 | 79 | 100 |1519 | 100 |1533 | 14 | 0 | 0 |-3.950000e+01 |-1.100000e+01 | 72.15%
0.39/0.48 c 0.3s| 1 | 0 | 315 | - |4418k| 0 | 75 | 100 |1519 | 100 |1538 | 19 | 0 | 0 |-3.750000e+01 |-1.100000e+01 | 70.67%
0.49/0.57 c 0.4s| 1 | 0 | 424 | - |4425k| 0 | 69 | 100 |1519 | 100 |1546 | 27 | 0 | 0 |-3.450000e+01 |-1.100000e+01 | 68.12%
0.59/0.63 c 0.5s| 1 | 0 | 534 | - |4430k| 0 | 64 | 100 |1519 | 100 |1555 | 36 | 0 | 0 |-3.200000e+01 |-1.100000e+01 | 65.62%
0.69/0.70 c 0.6s| 1 | 0 | 618 | - |4434k| 0 | 63 | 100 |1519 | 100 |1560 | 41 | 0 | 0 |-3.150000e+01 |-1.100000e+01 | 65.08%
0.69/0.77 c 0.6s| 1 | 0 | 713 | - |4440k| 0 | 58 | 100 |1519 | 100 |1569 | 50 | 0 | 0 |-2.900000e+01 |-1.100000e+01 | 62.07%
0.79/0.86 c 0.7s| 1 | 0 | 791 | - |4445k| 0 | 57 | 100 |1519 | 100 |1575 | 56 | 0 | 0 |-2.850000e+01 |-1.100000e+01 | 61.40%
0.89/0.96 c 0.8s| 1 | 0 | 894 | - |4462k| 0 | 54 | 100 |1519 | 100 |1584 | 65 | 0 | 0 |-2.700000e+01 |-1.100000e+01 | 59.26%
0.99/1.08 c 0.9s| 1 | 0 | 1086 | - |4480k| 0 | 58 | 100 |1519 | 100 |1591 | 72 | 0 | 0 |-2.550000e+01 |-1.100000e+01 | 56.86%
1.09/1.17 c 1.0s| 1 | 0 | 1177 | - |4520k| 0 | 50 | 100 |1519 | 100 | 217 | 79 | 0 | 0 |-2.500000e+01 |-1.100000e+01 | 56.00%
1.09/1.19 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1.09/1.19 c 1.0s| 1 | 0 | 1272 | - |4601k| 0 | 74 | 100 |1519 | 100 | 224 | 86 | 0 | 0 |-2.470199e+01 |-1.100000e+01 | 55.47%
1.20/1.24 c 1.1s| 1 | 0 | 1366 | - |4998k| 0 | 68 | 100 |1519 | 100 | 263 | 125 | 0 | 0 |-2.420000e+01 |-1.100000e+01 | 54.55%
1.29/1.30 c 1.1s| 1 | 0 | 1468 | - |5320k| 0 | 73 | 100 |1519 | 100 | 301 | 163 | 0 | 0 |-2.321000e+01 |-1.100000e+01 | 52.61%
1.29/1.35 c 1.2s| 1 | 0 | 1546 | - |5762k| 0 | 78 | 100 |1519 | 100 | 324 | 186 | 0 | 0 |-2.279530e+01 |-1.100000e+01 | 51.74%
1.39/1.44 c 1.3s| 1 | 0 | 1618 | - |6601k| 0 | 78 | 100 |1519 | 100 | 332 | 194 | 0 | 0 |-2.243661e+01 |-1.100000e+01 | 50.97%
1.49/1.52 c 1.4s| 1 | 0 | 1703 | - |7355k| 0 | 81 | 100 |1519 | 100 | 231 | 209 | 0 | 0 |-2.211869e+01 |-1.100000e+01 | 50.27%
1.49/1.57 c 1.4s| 1 | 0 | 1781 | - |7911k| 0 | 80 | 100 |1519 | 100 | 242 | 220 | 0 | 0 |-2.176627e+01 |-1.100000e+01 | 49.46%
1.59/1.63 c 1.5s| 1 | 0 | 1872 | - |8540k| 0 | 77 | 100 |1519 | 100 | 255 | 233 | 0 | 0 |-2.154615e+01 |-1.100000e+01 | 48.95%
1.59/1.68 c 1.5s| 1 | 0 | 1952 | - |8759k| 0 | 86 | 100 |1519 | 100 | 271 | 249 | 0 | 0 |-2.130124e+01 |-1.100000e+01 | 48.36%
1.69/1.72 c 1.6s| 1 | 0 | 2020 | - |8764k| 0 | 86 | 100 |1519 | 100 | 282 | 260 | 0 | 0 |-2.115083e+01 |-1.100000e+01 | 47.99%
1.69/1.75 c 1.6s| 1 | 0 | 2080 | - |8769k| 0 | 88 | 100 |1519 | 100 | 289 | 267 | 0 | 0 |-2.104304e+01 |-1.100000e+01 | 47.73%
1.69/1.79 c 1.6s| 1 | 0 | 2136 | - |8774k| 0 | 92 | 100 |1519 | 100 | 243 | 275 | 0 | 0 |-2.090929e+01 |-1.100000e+01 | 47.39%
1.79/1.82 c 1.7s| 1 | 0 | 2177 | - |8780k| 0 | 92 | 100 |1519 | 100 | 251 | 283 | 0 | 0 |-2.079283e+01 |-1.100000e+01 | 47.10%
1.79/1.86 c 1.7s| 1 | 0 | 2233 | - |8785k| 0 | 91 | 100 |1519 | 100 | 259 | 291 | 0 | 0 |-2.066018e+01 |-1.100000e+01 | 46.76%
1.79/1.89 c 1.7s| 1 | 0 | 2280 | - |8790k| 0 | 96 | 100 |1519 | 100 | 267 | 299 | 0 | 0 |-2.053933e+01 |-1.100000e+01 | 46.44%
1.89/1.92 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1.89/1.92 c 1.8s| 1 | 0 | 2306 | - |8793k| 0 | 94 | 100 |1519 | 100 | 272 | 304 | 0 | 0 |-2.049708e+01 |-1.100000e+01 | 46.33%
1.89/1.96 c 1.8s| 1 | 0 | 2349 | - |8798k| 0 | 97 | 100 |1519 | 100 | 279 | 311 | 0 | 0 |-2.044509e+01 |-1.100000e+01 | 46.20%
1.89/2.00 c 1.8s| 1 | 0 | 2378 | - |8802k| 0 | 99 | 100 |1519 | 100 | 198 | 319 | 0 | 0 |-2.038941e+01 |-1.100000e+01 | 46.05%
1.99/2.02 c 1.9s| 1 | 0 | 2410 | - |8808k| 0 | 99 | 100 |1519 | 100 | 206 | 327 | 0 | 0 |-2.032776e+01 |-1.100000e+01 | 45.89%
1.99/2.05 c 1.9s| 1 | 0 | 2456 | - |8814k| 0 | 100 | 100 |1519 | 100 | 215 | 336 | 0 | 0 |-2.024699e+01 |-1.100000e+01 | 45.67%
1.99/2.08 c 1.9s| 1 | 0 | 2517 | - |8819k| 0 | 100 | 100 |1519 | 100 | 224 | 345 | 0 | 0 |-2.018367e+01 |-1.100000e+01 | 45.50%
2.09/2.11 c 1.9s| 1 | 0 | 2571 | - |8824k| 0 | 100 | 100 |1519 | 100 | 232 | 353 | 0 | 0 |-2.011564e+01 |-1.100000e+01 | 45.32%
2.09/2.14 c 2.0s| 1 | 0 | 2592 | - |8829k| 0 | 100 | 100 |1519 | 100 | 242 | 363 | 0 | 0 |-2.009825e+01 |-1.100000e+01 | 45.27%
2.09/2.18 c 2.0s| 1 | 0 | 2620 | - |8833k| 0 | 100 | 100 |1519 | 100 | 200 | 369 | 0 | 0 |-2.007659e+01 |-1.100000e+01 | 45.21%
2.20/2.20 c 2.0s| 1 | 0 | 2645 | - |8838k| 0 | 100 | 100 |1519 | 100 | 208 | 377 | 0 | 0 |-2.005506e+01 |-1.100000e+01 | 45.15%
2.20/2.23 c 2.1s| 1 | 0 | 2672 | - |8842k| 0 | 100 | 100 |1519 | 100 | 213 | 382 | 0 | 0 |-2.004340e+01 |-1.100000e+01 | 45.12%
2.20/2.26 c 2.1s| 1 | 0 | 2708 | - |8845k| 0 | 100 | 100 |1519 | 100 | 218 | 387 | 0 | 0 |-2.003486e+01 |-1.100000e+01 | 45.10%
2.20/2.29 c 2.1s| 1 | 0 | 2734 | - |8848k| 0 | 100 | 100 |1519 | 100 | 223 | 392 | 0 | 0 |-2.003077e+01 |-1.100000e+01 | 45.08%
2.30/2.31 c 2.1s| 1 | 0 | 2735 | - |8848k| 0 | 100 | 100 |1519 | 100 | 224 | 393 | 0 | 0 |-2.003077e+01 |-1.100000e+01 | 45.08%
3.40/3.45 c 3.2s| 1 | 2 | 2735 | - |8849k| 0 | 100 | 100 |1519 | 100 | 224 | 393 | 0 | 36 |-2.003077e+01 |-1.100000e+01 | 45.08%
3.40/3.45 o -12
3.40/3.45 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
3.40/3.45 c * 3.2s| 31 | 8 | 2735 | 0.0 |8859k| 12 | - | 100 |1520 | 0 | 0 | 393 | 1 | 36 |-1.974152e+01 |-1.200000e+01 | 39.21%
3.59/3.60 o -13
3.59/3.60 c * 3.4s| 1503 | 9 | 2735 | 0.0 |8861k| 26 | - | 100 |1519 | 0 | 0 | 393 | 18 | 36 |-1.974152e+01 |-1.300000e+01 | 34.15%
3.59/3.65 o -14
3.59/3.65 c * 3.4s| 1990 | 7 | 2735 | 0.0 |8863k| 26 | - | 100 |1519 | 0 | 0 | 393 | 26 | 36 |-1.974152e+01 |-1.400000e+01 | 29.08%
4.39/4.49 c 4.1s| 10000 | 5 | 2735 | 0.0 |8863k| 34 | - | 100 |1519 | 0 | 0 | 393 | 38 | 36 |-1.974152e+01 |-1.400000e+01 | 29.08%
5.50/5.54 c 5.1s| 20000 | 5 | 2735 | 0.0 |8864k| 45 | - | 100 |1519 | 0 | 0 | 393 | 71 | 36 |-1.974152e+01 |-1.400000e+01 | 29.08%
6.60/6.60 c 6.0s| 30000 | 6 | 2735 | 0.0 |8864k| 45 | - | 100 |1519 | 0 | 0 | 393 | 80 | 36 |-1.974152e+01 |-1.400000e+01 | 29.08%
7.58/7.66 c 6.9s| 40000 | 5 | 2735 | 0.0 |8865k| 49 | - | 100 |1519 | 0 | 0 | 393 | 96 | 36 |-1.974152e+01 |-1.400000e+01 | 29.08%
8.69/8.74 c 7.9s| 50000 | 6 | 2735 | 0.0 |8922k| 58 | - | 100 |1650 | 0 | 0 | 393 |1020 | 36 |-1.974152e+01 |-1.400000e+01 | 29.08%
9.19/9.21 o -15
9.19/9.21 c * 8.3s| 54153 | 8 | 2735 | 0.0 |8938k| 58 | - | 100 |1659 | 0 | 0 | 393 |1876 | 36 |-1.974152e+01 |-1.500000e+01 | 24.02%
9.79/9.88 c 8.9s| 60000 | 6 | 2735 | 0.0 |8934k| 58 | - | 100 |1641 | 0 | 0 | 393 |3030 | 36 |-1.974152e+01 |-1.500000e+01 | 24.02%
11.00/11.04 c 9.9s| 70000 | 6 | 2735 | 0.0 |8958k| 58 | - | 100 |1689 | 0 | 0 | 393 |4856 | 36 |-1.974152e+01 |-1.500000e+01 | 24.02%
12.09/12.20 c 10.9s| 80000 | 5 | 2735 | 0.0 |8987k| 58 | - | 100 |1751 | 0 | 0 | 393 |6613 | 36 |-1.974152e+01 |-1.500000e+01 | 24.02%
13.30/13.34 c 11.9s| 90000 | 7 | 2735 | 0.0 |8944k| 58 | - | 100 |1643 | 0 | 0 | 393 |8352 | 36 |-1.974152e+01 |-1.500000e+01 | 24.02%
14.48/14.50 c 13.0s|100000 | 6 | 2735 | 0.0 |8991k| 58 | - | 100 |1747 | 0 | 0 | 393 | 10k| 36 |-1.974152e+01 |-1.500000e+01 | 24.02%
15.59/15.66 c 14.0s|110000 | 5 | 2735 | 0.0 |8914k| 58 | - | 100 |1554 | 0 | 0 | 393 | 11k| 36 |-1.974152e+01 |-1.500000e+01 | 24.02%
16.69/16.79 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
16.69/16.79 c 15.0s|120000 | 5 | 2735 | 0.0 |8989k| 58 | - | 100 |1748 | 0 | 0 | 393 | 13k| 36 |-1.974152e+01 |-1.500000e+01 | 24.02%
17.89/17.95 c 16.1s|130000 | 5 | 2735 | 0.0 |9012k| 58 | - | 100 |1789 | 0 | 0 | 393 | 15k| 36 |-1.974152e+01 |-1.500000e+01 | 24.02%
19.09/19.11 c 17.1s|140000 | 7 | 2735 | 0.0 |8944k| 58 | - | 100 |1622 | 0 | 0 | 393 | 17k| 36 |-1.974152e+01 |-1.500000e+01 | 24.02%
20.18/20.27 c 18.1s|150000 | 4 | 2735 | 0.0 |9030k| 58 | - | 100 |1828 | 0 | 0 | 393 | 19k| 36 |-1.974152e+01 |-1.500000e+01 | 24.02%
21.38/21.40 c 19.1s|160000 | 4 | 2735 | 0.0 |8962k| 58 | - | 100 |1671 | 0 | 0 | 393 | 20k| 36 |-1.974152e+01 |-1.500000e+01 | 24.02%
22.48/22.55 c 20.1s|170000 | 4 | 2735 | 0.0 |9024k| 58 | - | 100 |1810 | 0 | 0 | 393 | 22k| 36 |-1.974152e+01 |-1.500000e+01 | 24.02%
23.59/23.68 c 21.1s|180000 | 4 | 2735 | 0.0 |8975k| 58 | - | 100 |1701 | 0 | 0 | 393 | 24k| 36 |-1.974152e+01 |-1.500000e+01 | 24.02%
24.78/24.84 c 22.1s|190000 | 5 | 2735 | 0.0 |8936k| 58 | - | 100 |1606 | 0 | 0 | 393 | 26k| 36 |-1.974152e+01 |-1.500000e+01 | 24.02%
25.88/25.98 c 23.1s|200000 | 6 | 2735 | 0.0 |8962k| 58 | - | 100 |1665 | 0 | 0 | 393 | 28k| 36 |-1.974152e+01 |-1.500000e+01 | 24.02%
27.08/27.12 c 24.1s|210000 | 5 | 2735 | 0.0 |9003k| 58 | - | 100 |1759 | 0 | 0 | 393 | 29k| 36 |-1.974152e+01 |-1.500000e+01 | 24.02%
28.18/28.27 c 25.2s|220000 | 4 | 2735 | 0.0 |8935k| 62 | - | 100 |1599 | 0 | 0 | 393 | 31k| 36 |-1.974152e+01 |-1.500000e+01 | 24.02%
29.38/29.42 c 26.2s|230000 | 4 | 2735 | 0.0 |8940k| 62 | - | 100 |1617 | 0 | 0 | 393 | 33k| 36 |-1.974152e+01 |-1.500000e+01 | 24.02%
30.48/30.56 c 27.2s|240000 | 5 | 2735 | 0.0 |9008k| 62 | - | 100 |1778 | 0 | 0 | 393 | 35k| 36 |-1.974152e+01 |-1.500000e+01 | 24.02%
31.68/31.70 c 28.2s|250000 | 5 | 2735 | 0.0 |8943k| 62 | - | 100 |1609 | 0 | 0 | 393 | 36k| 36 |-1.974152e+01 |-1.500000e+01 | 24.02%
32.77/32.86 c 29.2s|260000 | 3 | 2735 | 0.0 |9031k| 62 | - | 100 |1830 | 0 | 0 | 393 | 38k| 36 |-1.974152e+01 |-1.500000e+01 | 24.02%
33.98/34.01 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
33.98/34.01 c 30.2s|270000 | 4 | 2735 | 0.0 |8998k| 62 | - | 100 |1763 | 0 | 0 | 393 | 40k| 36 |-1.974152e+01 |-1.500000e+01 | 24.02%
35.07/35.15 c 31.2s|280000 | 4 | 2735 | 0.0 |8992k| 62 | - | 100 |1744 | 0 | 0 | 393 | 42k| 36 |-1.974152e+01 |-1.500000e+01 | 24.02%
36.28/36.31 c 32.3s|290000 | 5 | 2735 | 0.0 |8947k| 62 | - | 100 |1630 | 0 | 0 | 393 | 43k| 36 |-1.974152e+01 |-1.500000e+01 | 24.02%
37.38/37.45 c 33.3s|300000 | 6 | 2735 | 0.0 |8969k| 62 | - | 100 |1687 | 0 | 0 | 393 | 45k| 36 |-1.974152e+01 |-1.500000e+01 | 24.02%
38.58/38.61 c 34.3s|310000 | 5 | 2735 | 0.0 |8941k| 62 | - | 100 |1610 | 0 | 0 | 393 | 47k| 36 |-1.974152e+01 |-1.500000e+01 | 24.02%
39.68/39.76 c 35.3s|320000 | 4 | 2735 | 0.0 |8950k| 62 | - | 100 |1642 | 0 | 0 | 393 | 49k| 36 |-1.974152e+01 |-1.500000e+01 | 24.02%
40.87/40.90 c 36.3s|330000 | 5 | 2735 | 0.0 |8986k| 62 | - | 100 |1742 | 0 | 0 | 393 | 50k| 36 |-1.974152e+01 |-1.500000e+01 | 24.02%
41.97/42.04 c 37.4s|340000 | 5 | 2735 | 0.0 |9017k| 62 | - | 100 |1831 | 0 | 0 | 393 | 52k| 36 |-1.974152e+01 |-1.500000e+01 | 24.02%
43.07/43.19 c 38.4s|350000 | 5 | 2735 | 0.0 |9037k| 62 | - | 100 |1883 | 0 | 0 | 393 | 54k| 36 |-1.974152e+01 |-1.500000e+01 | 24.02%
44.27/44.33 c 39.4s|360000 | 5 | 2735 | 0.0 |9044k| 62 | - | 100 |1900 | 0 | 0 | 393 | 56k| 36 |-1.974152e+01 |-1.500000e+01 | 24.02%
45.47/45.59 c 40.5s|370000 | 4 | 2735 | 0.0 |9071k| 65 | - | 100 |1985 | 0 | 0 | 393 | 58k| 36 |-1.974152e+01 |-1.500000e+01 | 24.02%
47.27/47.30 c 42.0s|380000 | 6 | 2735 | 0.0 |8684k| 68 | - | 100 |1242 | 0 | 0 | 393 | 63k| 36 |-1.974152e+01 |-1.500000e+01 | 24.02%
49.07/49.11 c 43.5s|390000 | 4 | 2735 | 0.0 |8429k| 72 | - | 100 | 710 | 0 | 0 | 393 | 69k| 36 |-1.974152e+01 |-1.500000e+01 | 24.02%
49.27/49.37 c
49.27/49.37 c SCIP Status : problem is solved [optimal solution found]
49.27/49.37 c Solving Time (sec) : 43.76
49.27/49.37 c Solving Nodes : 391336
49.27/49.37 c Primal Bound : -1.50000000000000e+01 (10 solutions)
49.27/49.37 c Dual Bound : -1.50000000000000e+01
49.27/49.37 c Gap : 0.00 %
49.27/49.37 s OPTIMUM FOUND
49.27/49.37 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.27/49.37 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.27/49.37 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 -x22
49.27/49.37 v -x21 -x20 -x19 -x18 -x17 -x16 -x15 -x14 -x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2 -x1
49.27/49.37 c SCIP Status : problem is solved [optimal solution found]
49.27/49.37 c Solving Time : 43.76
49.27/49.37 c Original Problem :
49.27/49.37 c Problem name : HOME/instance-2665243-1276660935.opb
49.27/49.37 c Variables : 1619 (1619 binary, 0 integer, 0 implicit integer, 0 continuous)
49.27/49.37 c Constraints : 1619 initial, 1619 maximal
49.27/49.37 c Presolved Problem :
49.27/49.37 c Problem name : t_HOME/instance-2665243-1276660935.opb
49.27/49.37 c Variables : 100 (100 binary, 0 integer, 0 implicit integer, 0 continuous)
49.27/49.37 c Constraints : 1519 initial, 2211 maximal
49.27/49.37 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
49.27/49.37 c trivial : 0.00 0 0 0 0 0 0 0 0
49.27/49.37 c dualfix : 0.00 0 0 0 0 0 0 0 0
49.27/49.37 c boundshift : 0.00 0 0 0 0 0 0 0 0
49.27/49.37 c inttobinary : 0.00 0 0 0 0 0 0 0 0
49.27/49.37 c implics : 0.00 0 0 0 0 0 0 0 0
49.27/49.37 c probing : 0.02 0 0 0 0 0 0 0 0
49.27/49.37 c linear : 0.01 1519 0 0 1519 0 100 0 0
49.27/49.37 c logicor : 0.01 0 0 0 0 0 0 0 0
49.27/49.37 c root node : - 100 - - 100 - - - -
49.27/49.37 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
49.27/49.37 c integral : 0 0 0 1 0 0 0 0 0 2
49.27/49.37 c logicor : 1519+ 41 421716 0 4 70899 1054549 123 0 0
49.27/49.37 c countsols : 0 0 0 0 4 0 0 0 0 0
49.27/49.37 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
49.27/49.37 c integral : 1.07 0.00 0.00 1.07 0.00
49.27/49.37 c logicor : 10.67 0.03 10.64 0.00 0.00
49.27/49.37 c countsols : 0.00 0.00 0.00 0.00 0.00
49.27/49.37 c Propagators : Time Calls Cutoffs DomReds
49.27/49.37 c vbounds : 0.34 2 0 0
49.27/49.37 c rootredcost : 0.27 4 0 0
49.27/49.37 c pseudoobj : 7.64 682180 127207 813198
49.27/49.37 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
49.27/49.37 c propagation : 4.26 78777 69977 69977 18.2 0 0.0 -
49.27/49.37 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
49.27/49.37 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
49.27/49.37 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
49.27/49.37 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
49.27/49.37 c applied globally : - - - 64968 16.9 - - -
49.27/49.37 c applied locally : - - - 5009 34.7 - - -
49.27/49.37 c Separators : Time Calls Cutoffs DomReds Cuts Conss
49.27/49.37 c cut pool : 0.03 40 - - 59 - (maximal pool size: 2004)
49.27/49.37 c redcost : 0.00 41 0 0 0 0
49.27/49.37 c impliedbounds : 0.00 41 0 0 216 0
49.27/49.37 c intobj : 0.00 0 0 0 0 0
49.27/49.37 c cgmip : 0.00 0 0 0 0 0
49.27/49.37 c gomory : 0.75 41 0 0 6079 0
49.27/49.37 c strongcg : 0.37 20 0 0 6967 0
49.27/49.37 c cmir : 0.08 10 0 0 0 0
49.27/49.37 c flowcover : 0.03 10 0 0 0 0
49.27/49.37 c clique : 0.08 41 0 0 329 0
49.27/49.37 c zerohalf : 0.00 0 0 0 0 0
49.27/49.37 c mcf : 0.00 1 0 0 0 0
49.27/49.37 c rapidlearning : 0.00 0 0 0 0 0
49.27/49.37 c Pricers : Time Calls Vars
49.27/49.37 c problem variables: 0.00 0 0
49.27/49.37 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
49.27/49.37 c relpscost : 1.07 1 0 0 0 0 2
49.27/49.37 c pscost : 0.00 0 0 0 0 0 0
49.27/49.37 c inference : 1.30 198204 0 0 0 0 396408
49.27/49.37 c mostinf : 0.00 0 0 0 0 0 0
49.27/49.37 c leastinf : 0.00 0 0 0 0 0 0
49.27/49.37 c fullstrong : 0.00 0 0 0 0 0 0
49.27/49.37 c allfullstrong : 0.00 0 0 0 0 0 0
49.27/49.38 c random : 0.00 0 0 0 0 0 0
49.27/49.38 c Primal Heuristics : Time Calls Found
49.27/49.38 c LP solutions : 0.00 - 0
49.27/49.38 c pseudo solutions : 0.00 - 4
49.27/49.38 c crossover : 0.00 0 0
49.27/49.38 c oneopt : 0.28 2 1
49.27/49.38 c trivial : 0.02 2 2
49.27/49.38 c simplerounding : 0.00 41 1
49.27/49.38 c zirounding : 0.00 1 0
49.27/49.38 c rounding : 0.02 41 1
49.27/49.38 c shifting : 0.06 41 1
49.27/49.38 c intshifting : 0.00 0 0
49.27/49.38 c twoopt : 0.00 0 0
49.27/49.38 c fixandinfer : 0.00 0 0
49.27/49.38 c feaspump : 0.00 0 0
49.27/49.38 c coefdiving : 0.00 0 0
49.27/49.38 c pscostdiving : 0.00 0 0
49.27/49.38 c fracdiving : 0.00 0 0
49.27/49.38 c veclendiving : 0.00 0 0
49.27/49.38 c intdiving : 0.00 0 0
49.27/49.38 c actconsdiving : 0.00 0 0
49.27/49.38 c objpscostdiving : 0.00 0 0
49.27/49.38 c rootsoldiving : 0.00 0 0
49.27/49.38 c linesearchdiving : 0.00 0 0
49.27/49.38 c guideddiving : 0.00 0 0
49.27/49.38 c octane : 0.00 0 0
49.27/49.38 c rens : 0.00 0 0
49.27/49.38 c rins : 0.00 0 0
49.27/49.38 c localbranching : 0.00 0 0
49.27/49.38 c mutation : 0.00 0 0
49.27/49.38 c dins : 0.00 0 0
49.27/49.38 c undercover : 0.00 0 0
49.27/49.38 c nlp : 0.21 0 0
49.27/49.38 c trysol : 0.18 0 0
49.27/49.38 c LP : Time Calls Iterations Iter/call Iter/sec
49.27/49.38 c primal LP : 0.00 0 0 0.00 -
49.27/49.38 c dual LP : 0.48 41 2735 66.71 5697.92
49.27/49.38 c lex dual LP : 0.00 0 0 0.00 -
49.27/49.38 c barrier LP : 0.00 0 0 0.00 -
49.27/49.38 c diving/probing LP: 0.00 0 0 0.00 -
49.27/49.38 c strong branching : 1.07 36 11620 322.78 10859.81
49.27/49.38 c (at root node) : - 36 11620 322.78 -
49.27/49.38 c conflict analysis: 0.00 0 0 0.00 -
49.27/49.38 c B&B Tree :
49.27/49.38 c number of runs : 1
49.27/49.38 c nodes : 391336
49.27/49.38 c nodes (total) : 391336
49.27/49.38 c nodes left : 0
49.27/49.38 c max depth : 84
49.27/49.38 c max depth (total): 84
49.27/49.38 c backtracks : 50433 (12.9%)
49.27/49.38 c delayed cutoffs : 5073
49.27/49.38 c repropagations : 63570 (86196 domain reductions, 4979 cutoffs)
49.27/49.38 c avg switch length: 2.17
49.27/49.38 c switching time : 7.40
49.27/49.38 c Solution :
49.27/49.38 c Solutions found : 10 (8 improvements)
49.27/49.38 c First Solution : +0.00000000000000e+00 (in run 1, after 0 nodes, 0.01 seconds, depth 0, found by <trivial>)
49.27/49.38 c Primal Bound : -1.50000000000000e+01 (in run 1, after 54153 nodes, 8.30 seconds, depth 19, found by <relaxation>)
49.27/49.38 c Dual Bound : -1.50000000000000e+01
49.27/49.38 c Gap : 0.00 %
49.27/49.38 c Root Dual Bound : -2.00307678565093e+01
49.27/49.38 c Root Iterations : 2735
49.27/49.39 c Time complete: 49.37.