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-2665249-1276661631.opb>
0.00/0.02 c original problem has 1645 variables (1645 bin, 0 int, 0 impl, 0 cont) and 1645 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) 1545 del vars, 100 del conss, 1545 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 6180 impls, 0 clqs
0.19/0.28 c presolving (2 rounds):
0.19/0.28 c 1545 deleted vars, 100 deleted constraints, 1545 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.19/0.28 c 9270 implications, 0 cliques
0.19/0.28 c presolved problem has 100 variables (100 bin, 0 int, 0 impl, 0 cont) and 1545 constraints
0.19/0.28 c 1545 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.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.19/0.29 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.19/0.29 c t 0.2s| 1 | 0 | 104 | - |4466k| 0 | 100 | 100 |1545 | 100 |1545 | 0 | 0 | 0 |-5.000000e+01 | 0.000000e+00 | 100.00%
0.19/0.29 o -1
0.19/0.29 c R 0.2s| 1 | 0 | 104 | - |4468k| 0 | 100 | 100 |1545 | 100 |1545 | 0 | 0 | 0 |-5.000000e+01 |-1.000000e+00 | 98.00%
0.19/0.30 o -2
0.19/0.30 c s 0.2s| 1 | 0 | 104 | - |4469k| 0 | 100 | 100 |1545 | 100 |1545 | 0 | 0 | 0 |-5.000000e+01 |-2.000000e+00 | 96.00%
0.29/0.34 c 0.2s| 1 | 0 | 169 | - |4475k| 0 | 88 | 100 |1545 | 100 |1553 | 8 | 0 | 0 |-4.400000e+01 |-2.000000e+00 | 95.45%
0.29/0.34 o -10
0.29/0.34 c b 0.2s| 1 | 0 | 169 | - |4478k| 0 | 88 | 100 |1545 | 100 |1553 | 8 | 0 | 0 |-4.400000e+01 |-1.000000e+01 | 77.27%
0.29/0.39 c 0.2s| 1 | 0 | 180 | - |4481k| 0 | 84 | 100 |1545 | 100 |1555 | 10 | 0 | 0 |-4.200000e+01 |-1.000000e+01 | 76.19%
0.39/0.45 c 0.3s| 1 | 0 | 230 | - |4486k| 0 | 80 | 100 |1545 | 100 |1562 | 17 | 0 | 0 |-4.000000e+01 |-1.000000e+01 | 75.00%
0.49/0.53 c 0.4s| 1 | 0 | 351 | - |4492k| 0 | 71 | 100 |1545 | 100 |1572 | 27 | 0 | 0 |-3.550000e+01 |-1.000000e+01 | 71.83%
0.49/0.59 c 0.4s| 1 | 0 | 422 | - |4497k| 0 | 67 | 100 |1545 | 100 |1578 | 33 | 0 | 0 |-3.350000e+01 |-1.000000e+01 | 70.15%
0.59/0.66 c 0.5s| 1 | 0 | 488 | - |4501k| 0 | 65 | 100 |1545 | 100 |1584 | 39 | 0 | 0 |-3.250000e+01 |-1.000000e+01 | 69.23%
0.69/0.74 c 0.6s| 1 | 0 | 559 | - |4508k| 0 | 68 | 100 |1545 | 100 |1591 | 46 | 0 | 0 |-3.200000e+01 |-1.000000e+01 | 68.75%
0.79/0.87 c 0.7s| 1 | 0 | 799 | - |4517k| 0 | 74 | 100 |1545 | 100 |1598 | 53 | 0 | 0 |-3.033333e+01 |-1.000000e+01 | 67.03%
0.89/0.98 c 0.8s| 1 | 0 | 936 | - |4661k| 0 | 77 | 100 |1545 | 100 |1609 | 64 | 0 | 0 |-2.919231e+01 |-1.000000e+01 | 65.74%
1.10/1.13 c 1.0s| 1 | 0 | 1068 | - |4948k| 0 | 64 | 100 |1545 | 100 |1620 | 75 | 0 | 0 |-2.800000e+01 |-1.000000e+01 | 64.29%
1.19/1.26 c 1.1s| 1 | 0 | 1250 | - |5028k| 0 | 75 | 100 |1545 | 100 | 224 | 83 | 0 | 0 |-2.665000e+01 |-1.000000e+01 | 62.48%
1.29/1.30 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1.29/1.30 c 1.1s| 1 | 0 | 1387 | - |5125k| 0 | 71 | 100 |1545 | 100 | 236 | 95 | 0 | 0 |-2.586607e+01 |-1.000000e+01 | 61.34%
1.29/1.35 c 1.2s| 1 | 0 | 1506 | - |5637k| 0 | 78 | 100 |1545 | 100 | 287 | 146 | 0 | 0 |-2.462986e+01 |-1.000000e+01 | 59.40%
1.39/1.42 c 1.2s| 1 | 0 | 1594 | - |6228k| 0 | 78 | 100 |1545 | 100 | 313 | 172 | 0 | 0 |-2.372459e+01 |-1.000000e+01 | 57.85%
1.49/1.50 c 1.3s| 1 | 0 | 1684 | - |6895k| 0 | 79 | 100 |1545 | 100 | 340 | 199 | 0 | 0 |-2.315728e+01 |-1.000000e+01 | 56.82%
1.49/1.58 c 1.4s| 1 | 0 | 1767 | - |7626k| 0 | 80 | 100 |1545 | 100 | 354 | 213 | 0 | 0 |-2.283967e+01 |-1.000000e+01 | 56.22%
1.69/1.74 c 1.5s| 1 | 0 | 1841 | - |8374k| 0 | 82 | 100 |1545 | 100 | 301 | 225 | 0 | 0 |-2.246490e+01 |-1.000000e+01 | 55.49%
1.69/1.74 c 1.6s| 1 | 0 | 1899 | - |9083k| 0 | 80 | 100 |1545 | 100 | 313 | 237 | 0 | 0 |-2.216570e+01 |-1.000000e+01 | 54.89%
1.79/1.80 c 1.6s| 1 | 0 | 1959 | - |9839k| 0 | 88 | 100 |1545 | 100 | 324 | 248 | 0 | 0 |-2.171019e+01 |-1.000000e+01 | 53.94%
1.79/1.89 c 1.7s| 1 | 0 | 2025 | - | 10M| 0 | 85 | 100 |1545 | 100 | 331 | 255 | 0 | 0 |-2.143513e+01 |-1.000000e+01 | 53.35%
1.89/1.94 c 1.8s| 1 | 0 | 2116 | - | 10M| 0 | 87 | 100 |1545 | 100 | 342 | 266 | 0 | 0 |-2.092929e+01 |-1.000000e+01 | 52.22%
1.89/1.98 c 1.8s| 1 | 0 | 2185 | - | 10M| 0 | 91 | 100 |1545 | 100 | 353 | 277 | 0 | 0 |-2.076817e+01 |-1.000000e+01 | 51.85%
1.99/2.03 c 1.9s| 1 | 0 | 2241 | - | 10M| 0 | 88 | 100 |1545 | 100 | 250 | 285 | 0 | 0 |-2.059876e+01 |-1.000000e+01 | 51.45%
1.99/2.07 c 1.9s| 1 | 0 | 2299 | - | 10M| 0 | 95 | 100 |1545 | 100 | 259 | 294 | 0 | 0 |-2.043940e+01 |-1.000000e+01 | 51.07%
2.10/2.10 c 1.9s| 1 | 0 | 2342 | - | 10M| 0 | 96 | 100 |1545 | 100 | 270 | 305 | 0 | 0 |-2.036261e+01 |-1.000000e+01 | 50.89%
2.10/2.14 c 1.9s| 1 | 0 | 2377 | - | 10M| 0 | 95 | 100 |1545 | 100 | 274 | 309 | 0 | 0 |-2.030981e+01 |-1.000000e+01 | 50.76%
2.10/2.17 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
2.10/2.17 c 2.0s| 1 | 0 | 2414 | - | 10M| 0 | 96 | 100 |1545 | 100 | 281 | 316 | 0 | 0 |-2.027257e+01 |-1.000000e+01 | 50.67%
2.20/2.21 c 2.0s| 1 | 0 | 2486 | - | 10M| 0 | 100 | 100 |1545 | 100 | 290 | 325 | 0 | 0 |-2.017262e+01 |-1.000000e+01 | 50.43%
2.20/2.25 c 2.1s| 1 | 0 | 2540 | - | 10M| 0 | 98 | 100 |1545 | 100 | 207 | 337 | 0 | 0 |-2.010939e+01 |-1.000000e+01 | 50.27%
2.20/2.28 c 2.1s| 1 | 0 | 2565 | - | 10M| 0 | 99 | 100 |1545 | 100 | 214 | 344 | 0 | 0 |-2.008351e+01 |-1.000000e+01 | 50.21%
2.29/2.31 c 2.1s| 1 | 0 | 2603 | - | 10M| 0 | 99 | 100 |1545 | 100 | 222 | 352 | 0 | 0 |-2.005278e+01 |-1.000000e+01 | 50.13%
2.29/2.34 c 2.1s| 1 | 0 | 2642 | - | 10M| 0 | 100 | 100 |1545 | 100 | 231 | 361 | 0 | 0 |-2.003015e+01 |-1.000000e+01 | 50.08%
2.29/2.37 c 2.2s| 1 | 0 | 2672 | - | 10M| 0 | 99 | 100 |1545 | 100 | 240 | 370 | 0 | 0 |-2.000345e+01 |-1.000000e+01 | 50.01%
2.39/2.41 c 2.2s| 1 | 0 | 2727 | - | 10M| 0 | 100 | 100 |1545 | 100 | 248 | 378 | 0 | 0 |-1.994925e+01 |-1.000000e+01 | 49.87%
2.39/2.44 c 2.2s| 1 | 0 | 2785 | - | 10M| 0 | 100 | 100 |1545 | 100 | 211 | 387 | 0 | 0 |-1.987833e+01 |-1.000000e+01 | 49.69%
2.39/2.47 c 2.3s| 1 | 0 | 2829 | - | 10M| 0 | 100 | 100 |1545 | 100 | 217 | 393 | 0 | 0 |-1.986635e+01 |-1.000000e+01 | 49.66%
2.49/2.50 c 2.3s| 1 | 0 | 2855 | - | 10M| 0 | 100 | 100 |1545 | 100 | 223 | 399 | 0 | 0 |-1.985380e+01 |-1.000000e+01 | 49.63%
2.49/2.53 c 2.3s| 1 | 0 | 2896 | - | 10M| 0 | 100 | 100 |1545 | 100 | 229 | 405 | 0 | 0 |-1.983553e+01 |-1.000000e+01 | 49.59%
2.49/2.56 c 2.4s| 1 | 0 | 2918 | - | 10M| 0 | 100 | 100 |1545 | 100 | 238 | 414 | 0 | 0 |-1.983174e+01 |-1.000000e+01 | 49.58%
2.59/2.60 c 2.4s| 1 | 0 | 2952 | - | 10M| 0 | 100 | 100 |1545 | 100 | 242 | 418 | 0 | 0 |-1.982255e+01 |-1.000000e+01 | 49.55%
2.59/2.63 c 2.4s| 1 | 0 | 2968 | - | 10M| 0 | 100 | 100 |1545 | 100 | 212 | 423 | 0 | 0 |-1.981939e+01 |-1.000000e+01 | 49.54%
2.59/2.66 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
2.59/2.66 c 2.5s| 1 | 0 | 2973 | - | 10M| 0 | 100 | 100 |1545 | 100 | 213 | 424 | 0 | 0 |-1.981890e+01 |-1.000000e+01 | 49.54%
3.79/3.89 c 3.6s| 1 | 2 | 2973 | - | 10M| 0 | 100 | 100 |1545 | 100 | 213 | 424 | 0 | 42 |-1.981890e+01 |-1.000000e+01 | 49.54%
3.79/3.90 o -11
3.79/3.90 c * 3.7s| 29 | 8 | 2973 | 0.0 | 10M| 11 | - | 100 |1545 | 0 | 0 | 424 | 0 | 42 |-1.958070e+01 |-1.100000e+01 | 43.82%
4.09/4.18 o -12
4.09/4.18 c * 3.9s| 2825 | 7 | 2973 | 0.0 | 10M| 30 | - | 100 |1546 | 0 | 0 | 424 | 36 | 42 |-1.958070e+01 |-1.200000e+01 | 38.72%
4.19/4.28 o -13
4.19/4.28 c * 4.0s| 3783 | 7 | 2973 | 0.0 | 10M| 30 | - | 100 |1545 | 0 | 0 | 424 | 44 | 42 |-1.958070e+01 |-1.300000e+01 | 33.61%
4.78/4.90 c 4.5s| 10000 | 6 | 2973 | 0.0 | 10M| 36 | - | 100 |1545 | 0 | 0 | 424 | 70 | 42 |-1.958070e+01 |-1.300000e+01 | 33.61%
5.88/5.90 c 5.4s| 20000 | 6 | 2973 | 0.0 | 10M| 42 | - | 100 |1545 | 0 | 0 | 424 | 136 | 42 |-1.958070e+01 |-1.300000e+01 | 33.61%
6.88/6.93 c 6.3s| 30000 | 6 | 2973 | 0.0 | 10M| 42 | - | 100 |1545 | 0 | 0 | 424 | 179 | 42 |-1.958070e+01 |-1.300000e+01 | 33.61%
7.99/8.01 c 7.3s| 40000 | 6 | 2973 | 0.0 | 10M| 54 | - | 100 |1660 | 0 | 0 | 424 |1345 | 42 |-1.958070e+01 |-1.300000e+01 | 33.61%
9.08/9.15 c 8.3s| 50000 | 5 | 2973 | 0.0 | 10M| 54 | - | 100 |1706 | 0 | 0 | 424 |3543 | 42 |-1.958070e+01 |-1.300000e+01 | 33.61%
10.18/10.29 c 9.3s| 60000 | 6 | 2973 | 0.0 | 10M| 54 | - | 100 |1680 | 0 | 0 | 424 |5673 | 42 |-1.958070e+01 |-1.300000e+01 | 33.61%
10.38/10.43 o -14
10.38/10.43 c * 9.4s| 61206 | 7 | 2973 | 0.0 | 10M| 54 | - | 100 |1683 | 0 | 0 | 424 |5944 | 42 |-1.958070e+01 |-1.400000e+01 | 28.50%
11.38/11.43 c 10.3s| 70000 | 6 | 2973 | 0.0 | 10M| 54 | - | 100 |1793 | 0 | 0 | 424 |7793 | 42 |-1.958070e+01 |-1.400000e+01 | 28.50%
12.48/12.57 c 11.3s| 80000 | 7 | 2973 | 0.0 | 10M| 54 | - | 100 |1715 | 0 | 0 | 424 |9786 | 42 |-1.958070e+01 |-1.400000e+01 | 28.50%
13.68/13.70 c 12.3s| 90000 | 5 | 2973 | 0.0 | 10M| 54 | - | 100 |1730 | 0 | 0 | 424 | 11k| 42 |-1.958070e+01 |-1.400000e+01 | 28.50%
14.77/14.84 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
14.77/14.84 c 13.3s|100000 | 6 | 2973 | 0.0 | 10M| 54 | - | 100 |1674 | 0 | 0 | 424 | 13k| 42 |-1.958070e+01 |-1.400000e+01 | 28.50%
15.88/15.97 c 14.3s|110000 | 8 | 2973 | 0.0 | 10M| 61 | - | 100 |1632 | 0 | 0 | 424 | 15k| 42 |-1.958070e+01 |-1.400000e+01 | 28.50%
17.07/17.11 c 15.3s|120000 | 6 | 2973 | 0.0 | 10M| 61 | - | 100 |1801 | 0 | 0 | 424 | 17k| 42 |-1.958070e+01 |-1.400000e+01 | 28.50%
18.17/18.24 c 16.3s|130000 | 5 | 2973 | 0.0 | 10M| 61 | - | 100 |1759 | 0 | 0 | 424 | 20k| 42 |-1.958070e+01 |-1.400000e+01 | 28.50%
19.27/19.38 c 17.3s|140000 | 6 | 2973 | 0.0 | 10M| 61 | - | 100 |1675 | 0 | 0 | 424 | 22k| 42 |-1.958070e+01 |-1.400000e+01 | 28.50%
20.48/20.53 c 18.3s|150000 | 5 | 2973 | 0.0 | 10M| 61 | - | 100 |1724 | 0 | 0 | 424 | 24k| 42 |-1.958070e+01 |-1.400000e+01 | 28.50%
21.58/21.66 c 19.3s|160000 | 6 | 2973 | 0.0 | 10M| 61 | - | 100 |1723 | 0 | 0 | 424 | 26k| 42 |-1.958070e+01 |-1.400000e+01 | 28.50%
22.67/22.80 c 20.3s|170000 | 5 | 2973 | 0.0 | 10M| 61 | - | 100 |1742 | 0 | 0 | 424 | 28k| 42 |-1.958070e+01 |-1.400000e+01 | 28.50%
23.87/23.93 c 21.3s|180000 | 6 | 2973 | 0.0 | 10M| 61 | - | 100 |1744 | 0 | 0 | 424 | 29k| 42 |-1.958070e+01 |-1.400000e+01 | 28.50%
25.08/25.10 c 22.4s|190000 | 5 | 2973 | 0.0 | 10M| 61 | - | 100 |1653 | 0 | 0 | 424 | 31k| 42 |-1.958070e+01 |-1.400000e+01 | 28.50%
26.17/26.25 c 23.4s|200000 | 6 | 2973 | 0.0 | 10M| 61 | - | 100 |1643 | 0 | 0 | 424 | 33k| 42 |-1.958070e+01 |-1.400000e+01 | 28.50%
27.27/27.39 c 24.4s|210000 | 4 | 2973 | 0.0 | 10M| 61 | - | 100 |1783 | 0 | 0 | 424 | 35k| 42 |-1.958070e+01 |-1.400000e+01 | 28.50%
28.48/28.55 c 25.4s|220000 | 4 | 2973 | 0.0 | 10M| 61 | - | 100 |1817 | 0 | 0 | 424 | 37k| 42 |-1.958070e+01 |-1.400000e+01 | 28.50%
29.58/29.69 c 26.5s|230000 | 6 | 2973 | 0.0 | 10M| 61 | - | 100 |1849 | 0 | 0 | 424 | 39k| 42 |-1.958070e+01 |-1.400000e+01 | 28.50%
30.78/30.83 c 27.4s|240000 | 5 | 2973 | 0.0 | 10M| 61 | - | 100 |1733 | 0 | 0 | 424 | 40k| 42 |-1.958070e+01 |-1.400000e+01 | 28.50%
31.88/31.95 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
31.88/31.95 c 28.4s|250000 | 6 | 2973 | 0.0 | 10M| 61 | - | 100 |1621 | 0 | 0 | 424 | 42k| 42 |-1.958070e+01 |-1.400000e+01 | 28.50%
32.97/33.08 c 29.4s|260000 | 5 | 2973 | 0.0 | 10M| 61 | - | 100 |1810 | 0 | 0 | 424 | 44k| 42 |-1.958070e+01 |-1.400000e+01 | 28.50%
34.17/34.20 c 30.4s|270000 | 4 | 2973 | 0.0 | 10M| 61 | - | 100 |1780 | 0 | 0 | 424 | 46k| 42 |-1.958070e+01 |-1.400000e+01 | 28.50%
35.27/35.34 c 31.4s|280000 | 5 | 2973 | 0.0 | 10M| 61 | - | 100 |1872 | 0 | 0 | 424 | 48k| 42 |-1.958070e+01 |-1.400000e+01 | 28.50%
36.36/36.46 c 32.4s|290000 | 4 | 2973 | 0.0 | 10M| 61 | - | 100 |1721 | 0 | 0 | 424 | 50k| 42 |-1.958070e+01 |-1.400000e+01 | 28.50%
37.46/37.59 c 33.4s|300000 | 5 | 2973 | 0.0 | 10M| 61 | - | 100 |1804 | 0 | 0 | 424 | 52k| 42 |-1.958070e+01 |-1.400000e+01 | 28.50%
38.66/38.73 c 34.4s|310000 | 5 | 2973 | 0.0 | 10M| 61 | - | 100 |1839 | 0 | 0 | 424 | 54k| 42 |-1.958070e+01 |-1.400000e+01 | 28.50%
39.77/39.86 c 35.4s|320000 | 4 | 2973 | 0.0 | 10M| 63 | - | 100 |1812 | 0 | 0 | 424 | 56k| 42 |-1.958070e+01 |-1.400000e+01 | 28.50%
40.86/40.98 c 36.4s|330000 | 5 | 2973 | 0.0 | 10M| 63 | - | 100 |1728 | 0 | 0 | 424 | 58k| 42 |-1.958070e+01 |-1.400000e+01 | 28.50%
42.07/42.12 c 37.4s|340000 | 4 | 2973 | 0.0 | 10M| 63 | - | 100 |1863 | 0 | 0 | 424 | 60k| 42 |-1.958070e+01 |-1.400000e+01 | 28.50%
43.16/43.25 c 38.4s|350000 | 5 | 2973 | 0.0 | 10M| 63 | - | 100 |1747 | 0 | 0 | 424 | 62k| 42 |-1.958070e+01 |-1.400000e+01 | 28.50%
44.27/44.39 c 39.4s|360000 | 6 | 2973 | 0.0 | 10M| 63 | - | 100 |1845 | 0 | 0 | 424 | 64k| 42 |-1.958070e+01 |-1.400000e+01 | 28.50%
45.46/45.52 c 40.4s|370000 | 5 | 2973 | 0.0 | 10M| 63 | - | 100 |1756 | 0 | 0 | 424 | 65k| 42 |-1.958070e+01 |-1.400000e+01 | 28.50%
46.57/46.66 c 41.4s|380000 | 6 | 2973 | 0.0 | 10M| 63 | - | 100 |1700 | 0 | 0 | 424 | 67k| 42 |-1.958070e+01 |-1.400000e+01 | 28.50%
47.66/47.80 c 42.4s|390000 | 5 | 2973 | 0.0 | 10M| 63 | - | 100 |1809 | 0 | 0 | 424 | 69k| 42 |-1.958070e+01 |-1.400000e+01 | 28.50%
48.87/48.94 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
48.87/48.94 c 43.5s|400000 | 3 | 2973 | 0.0 | 10M| 65 | - | 100 |1765 | 0 | 0 | 424 | 71k| 42 |-1.958070e+01 |-1.400000e+01 | 28.50%
49.96/50.06 c 44.4s|410000 | 6 | 2973 | 0.0 | 10M| 65 | - | 100 |1741 | 0 | 0 | 424 | 73k| 42 |-1.958070e+01 |-1.400000e+01 | 28.50%
51.07/51.20 c 45.4s|420000 | 5 | 2973 | 0.0 | 10M| 65 | - | 100 |1758 | 0 | 0 | 424 | 75k| 42 |-1.958070e+01 |-1.400000e+01 | 28.50%
52.26/52.34 c 46.4s|430000 | 5 | 2973 | 0.0 | 10M| 65 | - | 100 |1918 | 0 | 0 | 424 | 77k| 42 |-1.958070e+01 |-1.400000e+01 | 28.50%
53.36/53.47 c 47.4s|440000 | 5 | 2973 | 0.0 | 10M| 67 | - | 100 |1806 | 0 | 0 | 424 | 79k| 42 |-1.958070e+01 |-1.400000e+01 | 28.50%
54.56/54.61 c 48.4s|450000 | 5 | 2973 | 0.0 | 10M| 67 | - | 100 |1728 | 0 | 0 | 424 | 81k| 42 |-1.958070e+01 |-1.400000e+01 | 28.50%
55.66/55.74 c 49.4s|460000 | 4 | 2973 | 0.0 | 10M| 67 | - | 100 |1920 | 0 | 0 | 424 | 82k| 42 |-1.958070e+01 |-1.400000e+01 | 28.50%
56.76/56.87 c 50.4s|470000 | 6 | 2973 | 0.0 | 10M| 67 | - | 100 |1864 | 0 | 0 | 424 | 84k| 42 |-1.958070e+01 |-1.400000e+01 | 28.50%
58.05/58.11 c 51.5s|480000 | 4 | 2973 | 0.0 | 10M| 68 | - | 100 |2003 | 0 | 0 | 424 | 87k| 42 |-1.958070e+01 |-1.400000e+01 | 28.50%
59.75/59.87 c 53.1s|490000 | 4 | 2973 | 0.0 | 11M| 69 | - | 100 |2161 | 0 | 0 | 424 | 92k| 42 |-1.958070e+01 |-1.400000e+01 | 28.50%
61.35/61.44 c
61.35/61.44 c SCIP Status : problem is solved [optimal solution found]
61.35/61.44 c Solving Time (sec) : 54.46
61.35/61.44 c Solving Nodes : 498483
61.35/61.44 c Primal Bound : -1.40000000000000e+01 (9 solutions)
61.35/61.44 c Dual Bound : -1.40000000000000e+01
61.35/61.44 c Gap : 0.00 %
61.35/61.44 s OPTIMUM FOUND
61.35/61.44 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 -x73
61.35/61.44 v -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
61.35/61.44 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
61.35/61.44 v -x22 -x21 -x20 -x19 -x18 -x17 -x16 -x15 -x14 -x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2 -x1
61.35/61.44 c SCIP Status : problem is solved [optimal solution found]
61.35/61.44 c Solving Time : 54.46
61.35/61.44 c Original Problem :
61.35/61.44 c Problem name : HOME/instance-2665249-1276661631.opb
61.35/61.44 c Variables : 1645 (1645 binary, 0 integer, 0 implicit integer, 0 continuous)
61.35/61.44 c Constraints : 1645 initial, 1645 maximal
61.35/61.44 c Presolved Problem :
61.35/61.44 c Problem name : t_HOME/instance-2665249-1276661631.opb
61.35/61.44 c Variables : 100 (100 binary, 0 integer, 0 implicit integer, 0 continuous)
61.35/61.44 c Constraints : 1545 initial, 2331 maximal
61.35/61.44 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
61.35/61.44 c trivial : 0.00 0 0 0 0 0 0 0 0
61.35/61.44 c dualfix : 0.00 0 0 0 0 0 0 0 0
61.35/61.44 c boundshift : 0.00 0 0 0 0 0 0 0 0
61.35/61.44 c inttobinary : 0.00 0 0 0 0 0 0 0 0
61.35/61.44 c implics : 0.00 0 0 0 0 0 0 0 0
61.35/61.44 c probing : 0.02 0 0 0 0 0 0 0 0
61.35/61.44 c linear : 0.01 1545 0 0 1545 0 100 0 0
61.35/61.44 c logicor : 0.01 0 0 0 0 0 0 0 0
61.35/61.44 c root node : - 100 - - 100 - - - -
61.35/61.44 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
61.35/61.44 c integral : 0 0 0 1 0 0 0 0 0 2
61.35/61.44 c logicor : 1545+ 43 542188 0 4 97759 1243921 136 0 0
61.35/61.44 c countsols : 0 0 0 0 4 0 0 0 0 0
61.35/61.44 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
61.35/61.44 c integral : 1.16 0.00 0.00 1.16 0.00
61.35/61.44 c logicor : 13.08 0.04 13.04 0.00 0.00
61.35/61.44 c countsols : 0.00 0.00 0.00 0.00 0.00
61.35/61.44 c Propagators : Time Calls Cutoffs DomReds
61.35/61.44 c vbounds : 0.35 2 0 0
61.35/61.44 c rootredcost : 0.29 4 0 0
61.35/61.44 c pseudoobj : 9.77 860580 154998 1003897
61.35/61.44 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
61.35/61.44 c propagation : 5.72 104768 97380 97380 19.9 0 0.0 -
61.35/61.44 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
61.35/61.44 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
61.35/61.44 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
61.35/61.44 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
61.35/61.44 c applied globally : - - - 88596 18.4 - - -
61.35/61.44 c applied locally : - - - 8784 34.7 - - -
61.35/61.44 c Separators : Time Calls Cutoffs DomReds Cuts Conss
61.35/61.44 c cut pool : 0.10 42 - - 84 - (maximal pool size: 2670)
61.35/61.44 c redcost : 0.00 43 0 0 0 0
61.35/61.44 c impliedbounds : 0.00 43 0 0 254 0
61.35/61.44 c intobj : 0.00 0 0 0 0 0
61.35/61.44 c cgmip : 0.00 0 0 0 0 0
61.35/61.44 c gomory : 0.88 43 0 0 5733 0
61.35/61.44 c strongcg : 0.41 20 0 0 7497 0
61.35/61.44 c cmir : 0.07 10 0 0 0 0
61.35/61.44 c flowcover : 0.06 10 0 0 0 0
61.35/61.44 c clique : 0.16 43 0 0 355 0
61.35/61.44 c zerohalf : 0.00 0 0 0 0 0
61.35/61.44 c mcf : 0.00 1 0 0 0 0
61.35/61.44 c rapidlearning : 0.00 0 0 0 0 0
61.35/61.44 c Pricers : Time Calls Vars
61.35/61.44 c problem variables: 0.00 0 0
61.35/61.44 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
61.35/61.44 c relpscost : 1.16 1 0 0 0 0 2
61.35/61.44 c pscost : 0.00 0 0 0 0 0 0
61.35/61.44 c inference : 1.64 252961 0 0 0 0 505922
61.35/61.44 c mostinf : 0.00 0 0 0 0 0 0
61.35/61.44 c leastinf : 0.00 0 0 0 0 0 0
61.35/61.44 c fullstrong : 0.00 0 0 0 0 0 0
61.35/61.44 c allfullstrong : 0.00 0 0 0 0 0 0
61.35/61.44 c random : 0.00 0 0 0 0 0 0
61.35/61.44 c Primal Heuristics : Time Calls Found
61.35/61.44 c LP solutions : 0.00 - 0
61.35/61.44 c pseudo solutions : 0.00 - 4
61.35/61.44 c crossover : 0.00 0 0
61.35/61.44 c oneopt : 0.32 2 1
61.35/61.44 c trivial : 0.00 2 2
61.35/61.44 c simplerounding : 0.00 43 0
61.35/61.44 c zirounding : 0.00 1 0
61.35/61.44 c rounding : 0.04 43 1
61.35/61.44 c shifting : 0.02 43 1
61.35/61.44 c intshifting : 0.00 0 0
61.35/61.44 c twoopt : 0.00 0 0
61.35/61.44 c fixandinfer : 0.00 0 0
61.35/61.44 c feaspump : 0.00 0 0
61.35/61.44 c coefdiving : 0.00 0 0
61.35/61.44 c pscostdiving : 0.00 0 0
61.35/61.44 c fracdiving : 0.00 0 0
61.35/61.44 c veclendiving : 0.00 0 0
61.35/61.44 c intdiving : 0.00 0 0
61.35/61.44 c actconsdiving : 0.00 0 0
61.35/61.44 c objpscostdiving : 0.00 0 0
61.35/61.44 c rootsoldiving : 0.00 0 0
61.35/61.44 c linesearchdiving : 0.00 0 0
61.35/61.44 c guideddiving : 0.00 0 0
61.35/61.44 c octane : 0.00 0 0
61.35/61.44 c rens : 0.01 0 0
61.35/61.44 c rins : 0.00 0 0
61.35/61.44 c localbranching : 0.00 0 0
61.35/61.44 c mutation : 0.00 0 0
61.35/61.44 c dins : 0.00 0 0
61.35/61.44 c undercover : 0.00 0 0
61.35/61.44 c nlp : 0.22 0 0
61.35/61.44 c trysol : 0.30 0 0
61.35/61.44 c LP : Time Calls Iterations Iter/call Iter/sec
61.35/61.44 c primal LP : 0.00 0 0 0.00 -
61.35/61.44 c dual LP : 0.46 43 2973 69.14 6463.04
61.35/61.44 c lex dual LP : 0.00 0 0 0.00 -
61.35/61.44 c barrier LP : 0.00 0 0 0.00 -
61.35/61.44 c diving/probing LP: 0.00 0 0 0.00 -
61.35/61.44 c strong branching : 1.16 42 12789 304.50 11025.00
61.35/61.44 c (at root node) : - 42 12789 304.50 -
61.35/61.44 c conflict analysis: 0.00 0 0 0.00 -
61.35/61.44 c B&B Tree :
61.35/61.44 c number of runs : 1
61.35/61.44 c nodes : 498483
61.35/61.44 c nodes (total) : 498483
61.35/61.44 c nodes left : 0
61.35/61.44 c max depth : 85
61.35/61.44 c max depth (total): 85
61.35/61.44 c backtracks : 68208 (13.7%)
61.35/61.44 c delayed cutoffs : 7433
61.35/61.44 c repropagations : 70673 (108961 domain reductions, 7240 cutoffs)
61.35/61.44 c avg switch length: 2.13
61.35/61.44 c switching time : 9.39
61.35/61.44 c Solution :
61.35/61.44 c Solutions found : 9 (8 improvements)
61.35/61.44 c First Solution : +0.00000000000000e+00 (in run 1, after 0 nodes, 0.01 seconds, depth 0, found by <trivial>)
61.35/61.44 c Primal Bound : -1.40000000000000e+01 (in run 1, after 61206 nodes, 9.39 seconds, depth 25, found by <relaxation>)
61.35/61.44 c Dual Bound : -1.40000000000000e+01
61.35/61.44 c Gap : 0.00 %
61.35/61.44 c Root Dual Bound : -1.98189003356454e+01
61.35/61.44 c Root Iterations : 2973
61.35/61.46 c Time complete: 61.42.