0.00/0.00 c SCIP version 1.2.1.3 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.4.2]
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-2703242-1278568620.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.09/0.11 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.09/0.15 c presolving (2 rounds):
0.09/0.15 c 1519 deleted vars, 100 deleted constraints, 1519 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.09/0.15 c 9114 implications, 0 cliques
0.09/0.15 c presolved problem has 100 variables (100 bin, 0 int, 0 impl, 0 cont) and 1519 constraints
0.09/0.15 c 1519 constraints of type <logicor>
0.09/0.15 c transformed objective value is always integral (scale: 1)
0.09/0.15 c Presolving Time: 0.12
0.09/0.15 c - non default parameters ----------------------------------------------------------------------
0.09/0.15 c # SCIP version 1.2.1.3
0.09/0.15 c
0.09/0.15 c # maximal number of intermediate conflict constraints generated in conflict graph (-1: use every intermediate constraint)
0.09/0.15 c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.15 c conflict/interconss = 0
0.09/0.15 c
0.09/0.15 c # should binary conflicts be preferred?
0.09/0.15 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.15 c conflict/preferbinary = TRUE
0.09/0.15 c
0.09/0.15 c # maximum age an unnecessary constraint can reach before it is deleted (0: dynamic, -1: keep all constraints)
0.09/0.15 c # [type: int, range: [-1,2147483647], default: 0]
0.09/0.15 c constraints/agelimit = 1
0.09/0.15 c
0.09/0.15 c # should enforcement of pseudo solution be disabled?
0.09/0.15 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.15 c constraints/disableenfops = TRUE
0.09/0.15 c
0.09/0.15 c # frequency for displaying node information lines
0.09/0.15 c # [type: int, range: [-1,2147483647], default: 100]
0.09/0.15 c display/freq = 10000
0.09/0.15 c
0.09/0.15 c # maximal time in seconds to run
0.09/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.15 c limits/time = 1789.98
0.09/0.15 c
0.09/0.15 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.09/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.15 c limits/memory = 1620
0.09/0.15 c
0.09/0.15 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.09/0.15 c # [type: int, range: [-1,2147483647], default: 1]
0.09/0.15 c lp/solvefreq = 0
0.09/0.15 c
0.09/0.15 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.09/0.15 c # [type: char, range: {lafpsqd}, default: l]
0.09/0.15 c lp/pricing = a
0.09/0.15 c
0.09/0.15 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.09/0.15 c # [type: int, range: [1,2], default: 1]
0.09/0.15 c timing/clocktype = 2
0.09/0.15 c
0.09/0.15 c # should presolving try to simplify inequalities
0.09/0.15 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.15 c constraints/linear/simplifyinequalities = TRUE
0.09/0.15 c
0.09/0.15 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.09/0.15 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.15 c constraints/indicator/addCouplingCons = TRUE
0.09/0.15 c
0.09/0.15 c # should presolving try to simplify knapsacks
0.09/0.15 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.15 c constraints/knapsack/simplifyinequalities = TRUE
0.09/0.15 c
0.09/0.15 c # priority of node selection rule <dfs> in standard mode
0.09/0.16 c # [type: int, range: [-536870912,536870911], default: 0]
0.09/0.16 c nodeselection/dfs/stdpriority = 1000000
0.09/0.16 c
0.09/0.16 c -----------------------------------------------------------------------------------------------
0.09/0.16 c start solving
0.09/0.16 c
0.09/0.17 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.09/0.17 c t 0.1s| 1 | 0 | 107 | - |4397k| 0 | 100 | 100 |1519 | 100 |1519 | 0 | 0 | 0 |-5.000000e+01 | 0.000000e+00 | 100.00%
0.09/0.17 o -1
0.09/0.17 c R 0.1s| 1 | 0 | 107 | - |4399k| 0 | 100 | 100 |1519 | 100 |1519 | 0 | 0 | 0 |-5.000000e+01 |-1.000000e+00 | 98.00%
0.09/0.17 o -2
0.09/0.17 c s 0.1s| 1 | 0 | 107 | - |4400k| 0 | 100 | 100 |1519 | 100 |1519 | 0 | 0 | 0 |-5.000000e+01 |-2.000000e+00 | 96.00%
0.19/0.21 c 0.2s| 1 | 0 | 173 | - |4406k| 0 | 88 | 100 |1519 | 100 |1527 | 8 | 0 | 0 |-4.400000e+01 |-2.000000e+00 | 95.45%
0.19/0.21 o -11
0.19/0.21 c b 0.2s| 1 | 0 | 173 | - |4409k| 0 | 88 | 100 |1519 | 100 |1527 | 8 | 0 | 0 |-4.400000e+01 |-1.100000e+01 | 75.00%
0.19/0.29 c 0.3s| 1 | 0 | 229 | - |4414k| 0 | 80 | 100 |1519 | 100 |1535 | 16 | 0 | 0 |-4.000000e+01 |-1.100000e+01 | 72.50%
0.29/0.38 c 0.4s| 1 | 0 | 307 | - |4420k| 0 | 75 | 100 |1519 | 100 |1542 | 23 | 0 | 0 |-3.750000e+01 |-1.100000e+01 | 70.67%
0.39/0.47 c 0.4s| 1 | 0 | 349 | - |4425k| 0 | 74 | 100 |1519 | 100 |1547 | 28 | 0 | 0 |-3.600000e+01 |-1.100000e+01 | 69.44%
0.49/0.57 c 0.5s| 1 | 0 | 479 | - |4433k| 0 | 66 | 100 |1519 | 100 |1553 | 34 | 0 | 0 |-3.300000e+01 |-1.100000e+01 | 66.67%
0.59/0.66 c 0.6s| 1 | 0 | 560 | - |4440k| 0 | 68 | 100 |1519 | 100 |1564 | 45 | 0 | 0 |-3.250000e+01 |-1.100000e+01 | 66.15%
0.69/0.78 c 0.8s| 1 | 0 | 696 | - |4448k| 0 | 70 | 100 |1519 | 100 |1573 | 54 | 0 | 0 |-3.050000e+01 |-1.100000e+01 | 63.93%
0.89/0.92 c 0.9s| 1 | 0 | 898 | - |4455k| 0 | 69 | 100 |1519 | 100 |1584 | 65 | 0 | 0 |-2.833333e+01 |-1.100000e+01 | 61.18%
1.00/1.07 c 1.0s| 1 | 0 | 1046 | - |4475k| 0 | 60 | 100 |1519 | 100 |1595 | 76 | 0 | 0 |-2.650000e+01 |-1.100000e+01 | 58.49%
1.19/1.21 c 1.2s| 1 | 0 | 1183 | - |4564k| 0 | 52 | 100 |1519 | 100 |1601 | 82 | 0 | 0 |-2.600000e+01 |-1.100000e+01 | 57.69%
1.29/1.37 c 1.3s| 1 | 0 | 1394 | - |4651k| 0 | 69 | 100 |1519 | 100 | 221 | 91 | 0 | 0 |-2.520588e+01 |-1.100000e+01 | 56.36%
1.39/1.40 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1.39/1.40 c 1.4s| 1 | 0 | 1471 | - |4819k| 0 | 67 | 100 |1519 | 100 | 230 | 100 | 0 | 0 |-2.452632e+01 |-1.100000e+01 | 55.15%
1.39/1.44 c 1.4s| 1 | 0 | 1575 | - |5078k| 0 | 75 | 100 |1519 | 100 | 267 | 137 | 0 | 0 |-2.355959e+01 |-1.100000e+01 | 53.31%
1.49/1.51 c 1.5s| 1 | 0 | 1694 | - |5753k| 0 | 75 | 100 |1519 | 100 | 289 | 159 | 0 | 0 |-2.249231e+01 |-1.100000e+01 | 51.09%
1.49/1.58 c 1.6s| 1 | 0 | 1776 | - |6491k| 0 | 79 | 100 |1519 | 100 | 324 | 194 | 0 | 0 |-2.220198e+01 |-1.100000e+01 | 50.45%
1.59/1.65 c 1.6s| 1 | 0 | 1839 | - |7207k| 0 | 80 | 100 |1519 | 100 | 331 | 201 | 0 | 0 |-2.213020e+01 |-1.100000e+01 | 50.29%
1.69/1.71 c 1.7s| 1 | 0 | 1927 | - |7443k| 0 | 84 | 100 |1519 | 100 | 272 | 217 | 0 | 0 |-2.192079e+01 |-1.100000e+01 | 49.82%
1.69/1.78 c 1.8s| 1 | 0 | 2010 | - |8102k| 0 | 85 | 100 |1519 | 100 | 285 | 230 | 0 | 0 |-2.156892e+01 |-1.100000e+01 | 49.00%
1.79/1.84 c 1.8s| 1 | 0 | 2042 | - |8817k| 0 | 86 | 100 |1519 | 100 | 296 | 241 | 0 | 0 |-2.148659e+01 |-1.100000e+01 | 48.81%
1.89/1.92 c 1.9s| 1 | 0 | 2122 | - |9607k| 0 | 85 | 100 |1519 | 100 | 305 | 250 | 0 | 0 |-2.116768e+01 |-1.100000e+01 | 48.03%
1.89/1.95 c 1.9s| 1 | 0 | 2160 | - |9614k| 0 | 88 | 100 |1519 | 100 | 319 | 264 | 0 | 0 |-2.103416e+01 |-1.100000e+01 | 47.70%
1.89/1.99 c 2.0s| 1 | 0 | 2217 | - |9623k| 0 | 90 | 100 |1519 | 100 | 328 | 273 | 0 | 0 |-2.088590e+01 |-1.100000e+01 | 47.33%
1.99/2.03 c 2.0s| 1 | 0 | 2263 | - |9627k| 0 | 90 | 100 |1519 | 100 | 247 | 282 | 0 | 0 |-2.075497e+01 |-1.100000e+01 | 47.00%
1.99/2.07 c 2.0s| 1 | 0 | 2307 | - |9632k| 0 | 94 | 100 |1519 | 100 | 256 | 291 | 0 | 0 |-2.060470e+01 |-1.100000e+01 | 46.61%
2.10/2.10 c 2.1s| 1 | 0 | 2351 | - |9637k| 0 | 95 | 100 |1519 | 100 | 265 | 300 | 0 | 0 |-2.052389e+01 |-1.100000e+01 | 46.40%
2.10/2.13 c 2.1s| 1 | 0 | 2387 | - |9642k| 0 | 96 | 100 |1519 | 100 | 276 | 311 | 0 | 0 |-2.037999e+01 |-1.100000e+01 | 46.03%
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.1s| 1 | 0 | 2437 | - |9647k| 0 | 97 | 100 |1519 | 100 | 281 | 316 | 0 | 0 |-2.032628e+01 |-1.100000e+01 | 45.88%
2.20/2.21 c 2.2s| 1 | 0 | 2476 | - |9652k| 0 | 100 | 100 |1519 | 100 | 290 | 325 | 0 | 0 |-2.028068e+01 |-1.100000e+01 | 45.76%
2.20/2.25 c 2.2s| 1 | 0 | 2524 | - |9658k| 0 | 99 | 100 |1519 | 100 | 208 | 333 | 0 | 0 |-2.021435e+01 |-1.100000e+01 | 45.58%
2.20/2.28 c 2.3s| 1 | 0 | 2569 | - |9663k| 0 | 99 | 100 |1519 | 100 | 214 | 339 | 0 | 0 |-2.016230e+01 |-1.100000e+01 | 45.44%
2.29/2.31 c 2.3s| 1 | 0 | 2616 | - |9668k| 0 | 100 | 100 |1519 | 100 | 224 | 349 | 0 | 0 |-2.012898e+01 |-1.100000e+01 | 45.35%
2.29/2.34 c 2.3s| 1 | 0 | 2663 | - |9672k| 0 | 100 | 100 |1519 | 100 | 231 | 356 | 0 | 0 |-2.010832e+01 |-1.100000e+01 | 45.30%
2.29/2.38 c 2.4s| 1 | 0 | 2697 | - |9676k| 0 | 100 | 100 |1519 | 100 | 237 | 362 | 0 | 0 |-2.009342e+01 |-1.100000e+01 | 45.26%
2.39/2.41 c 2.4s| 1 | 0 | 2748 | - |9684k| 0 | 100 | 100 |1519 | 100 | 247 | 372 | 0 | 0 |-2.005355e+01 |-1.100000e+01 | 45.15%
2.39/2.44 c 2.4s| 1 | 0 | 2775 | - |9689k| 0 | 100 | 100 |1519 | 100 | 208 | 381 | 0 | 0 |-2.003825e+01 |-1.100000e+01 | 45.10%
2.39/2.47 c 2.4s| 1 | 0 | 2796 | - |9691k| 0 | 100 | 100 |1519 | 100 | 213 | 386 | 0 | 0 |-2.003369e+01 |-1.100000e+01 | 45.09%
2.49/2.50 c 2.5s| 1 | 0 | 2803 | - |9692k| 0 | 100 | 100 |1519 | 100 | 215 | 388 | 0 | 0 |-2.003137e+01 |-1.100000e+01 | 45.09%
2.49/2.53 c 2.5s| 1 | 0 | 2807 | - |9693k| 0 | 100 | 100 |1519 | 100 | 217 | 390 | 0 | 0 |-2.003095e+01 |-1.100000e+01 | 45.08%
3.09/3.11 c 3.1s| 1 | 2 | 2807 | - |9694k| 0 | 100 | 100 |1519 | 100 | 217 | 390 | 0 | 17 |-2.003095e+01 |-1.100000e+01 | 45.08%
3.09/3.12 o -12
3.09/3.12 c * 3.1s| 120 | 7 | 2807 | 0.0 |9705k| 15 | - | 100 |1521 | 0 | 0 | 390 | 4 | 17 |-1.976031e+01 |-1.200000e+01 | 39.27%
3.20/3.26 o -13
3.20/3.26 c * 3.2s| 1857 | 9 | 2807 | 0.0 |9706k| 28 | - | 100 |1519 | 0 | 0 | 390 | 18 | 17 |-1.976031e+01 |-1.300000e+01 | 34.21%
3.20/3.27 o -14
3.20/3.27 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
3.20/3.27 c * 3.2s| 1942 | 7 | 2807 | 0.0 |9707k| 28 | - | 100 |1519 | 0 | 0 | 390 | 18 | 17 |-1.976031e+01 |-1.400000e+01 | 29.15%
3.20/3.28 o -15
3.20/3.28 c * 3.3s| 2004 | 8 | 2807 | 0.0 |9710k| 28 | - | 100 |1523 | 0 | 0 | 390 | 23 | 17 |-1.976031e+01 |-1.500000e+01 | 24.09%
3.89/3.95 c 3.9s| 10000 | 5 | 2807 | 0.0 |9709k| 35 | - | 100 |1519 | 0 | 0 | 390 | 43 | 17 |-1.976031e+01 |-1.500000e+01 | 24.09%
4.79/4.81 c 4.8s| 20000 | 6 | 2807 | 0.0 |9710k| 43 | - | 100 |1519 | 0 | 0 | 390 | 60 | 17 |-1.976031e+01 |-1.500000e+01 | 24.09%
5.59/5.68 c 5.7s| 30000 | 6 | 2807 | 0.0 |9710k| 43 | - | 100 |1519 | 0 | 0 | 390 | 75 | 17 |-1.976031e+01 |-1.500000e+01 | 24.09%
6.50/6.54 c 6.5s| 40000 | 7 | 2807 | 0.0 |9710k| 44 | - | 100 |1519 | 0 | 0 | 390 | 101 | 17 |-1.976031e+01 |-1.500000e+01 | 24.09%
7.39/7.41 c 7.4s| 50000 | 5 | 2807 | 0.0 |9712k| 47 | - | 100 |1519 | 0 | 0 | 390 | 125 | 17 |-1.976031e+01 |-1.500000e+01 | 24.09%
8.29/8.33 c 8.3s| 60000 | 5 | 2807 | 0.0 |9766k| 58 | - | 100 |1630 | 0 | 0 | 390 |1672 | 17 |-1.976031e+01 |-1.500000e+01 | 24.09%
9.19/9.27 c 9.3s| 70000 | 6 | 2807 | 0.0 |9798k| 58 | - | 100 |1677 | 0 | 0 | 390 |3458 | 17 |-1.976031e+01 |-1.500000e+01 | 24.09%
10.19/10.23 c 10.2s| 80000 | 6 | 2807 | 0.0 |9814k| 58 | - | 100 |1709 | 0 | 0 | 390 |5234 | 17 |-1.976031e+01 |-1.500000e+01 | 24.09%
11.09/11.19 c 11.2s| 90000 | 5 | 2807 | 0.0 |9818k| 58 | - | 100 |1712 | 0 | 0 | 390 |7005 | 17 |-1.976031e+01 |-1.500000e+01 | 24.09%
12.10/12.13 c 12.1s|100000 | 7 | 2807 | 0.0 |9804k| 60 | - | 100 |1693 | 0 | 0 | 390 |8790 | 17 |-1.976031e+01 |-1.500000e+01 | 24.09%
12.99/13.08 c 13.1s|110000 | 5 | 2807 | 0.0 |9814k| 60 | - | 100 |1707 | 0 | 0 | 390 | 10k| 17 |-1.976031e+01 |-1.500000e+01 | 24.09%
13.99/14.02 c 14.0s|120000 | 5 | 2807 | 0.0 |9807k| 60 | - | 100 |1678 | 0 | 0 | 390 | 12k| 17 |-1.976031e+01 |-1.500000e+01 | 24.09%
14.89/14.99 c 15.0s|130000 | 7 | 2807 | 0.0 |9824k| 60 | - | 100 |1711 | 0 | 0 | 390 | 14k| 17 |-1.976031e+01 |-1.500000e+01 | 24.09%
15.89/15.94 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
15.89/15.94 c 15.9s|140000 | 4 | 2807 | 0.0 |9794k| 60 | - | 100 |1659 | 0 | 0 | 390 | 15k| 17 |-1.976031e+01 |-1.500000e+01 | 24.09%
16.79/16.88 c 16.9s|150000 | 6 | 2807 | 0.0 |9814k| 60 | - | 100 |1685 | 0 | 0 | 390 | 17k| 17 |-1.976031e+01 |-1.500000e+01 | 24.09%
17.79/17.84 c 17.8s|160000 | 6 | 2807 | 0.0 |9842k| 60 | - | 100 |1749 | 0 | 0 | 390 | 19k| 17 |-1.976031e+01 |-1.500000e+01 | 24.09%
18.79/18.80 c 18.8s|170000 | 5 | 2807 | 0.0 |9837k| 60 | - | 100 |1732 | 0 | 0 | 390 | 21k| 17 |-1.976031e+01 |-1.500000e+01 | 24.09%
19.69/19.75 c 19.7s|180000 | 6 | 2807 | 0.0 |9820k| 61 | - | 100 |1706 | 0 | 0 | 390 | 23k| 17 |-1.976031e+01 |-1.500000e+01 | 24.09%
20.69/20.70 c 20.7s|190000 | 7 | 2807 | 0.0 |9855k| 61 | - | 100 |1780 | 0 | 0 | 390 | 24k| 17 |-1.976031e+01 |-1.500000e+01 | 24.09%
21.59/21.66 c 21.6s|200000 | 4 | 2807 | 0.0 |9847k| 61 | - | 100 |1752 | 0 | 0 | 390 | 26k| 17 |-1.976031e+01 |-1.500000e+01 | 24.09%
22.59/22.62 c 22.6s|210000 | 7 | 2807 | 0.0 |9784k| 61 | - | 100 |1615 | 0 | 0 | 390 | 28k| 17 |-1.976031e+01 |-1.500000e+01 | 24.09%
23.49/23.57 c 23.6s|220000 | 7 | 2807 | 0.0 |9784k| 61 | - | 100 |1617 | 0 | 0 | 390 | 30k| 17 |-1.976031e+01 |-1.500000e+01 | 24.09%
24.48/24.53 c 24.5s|230000 | 3 | 2807 | 0.0 |9874k| 61 | - | 100 |1833 | 0 | 0 | 390 | 31k| 17 |-1.976031e+01 |-1.500000e+01 | 24.09%
25.38/25.48 c 25.5s|240000 | 6 | 2807 | 0.0 |9788k| 61 | - | 100 |1627 | 0 | 0 | 390 | 33k| 17 |-1.976031e+01 |-1.500000e+01 | 24.09%
26.39/26.42 c 26.4s|250000 | 6 | 2807 | 0.0 |9848k| 61 | - | 100 |1773 | 0 | 0 | 390 | 35k| 17 |-1.976031e+01 |-1.500000e+01 | 24.09%
27.28/27.38 c 27.4s|260000 | 5 | 2807 | 0.0 |9824k| 61 | - | 100 |1719 | 0 | 0 | 390 | 37k| 17 |-1.976031e+01 |-1.500000e+01 | 24.09%
28.28/28.33 c 28.3s|270000 | 5 | 2807 | 0.0 |9887k| 61 | - | 100 |1859 | 0 | 0 | 390 | 39k| 17 |-1.976031e+01 |-1.500000e+01 | 24.09%
29.18/29.29 c 29.3s|280000 | 5 | 2807 | 0.0 |9841k| 62 | - | 100 |1761 | 0 | 0 | 390 | 40k| 17 |-1.976031e+01 |-1.500000e+01 | 24.09%
30.18/30.24 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
30.18/30.24 c 30.2s|290000 | 5 | 2807 | 0.0 |9850k| 62 | - | 100 |1779 | 0 | 0 | 390 | 42k| 17 |-1.976031e+01 |-1.500000e+01 | 24.09%
31.08/31.20 c 31.2s|300000 | 3 | 2807 | 0.0 |9849k| 62 | - | 100 |1785 | 0 | 0 | 390 | 44k| 17 |-1.976031e+01 |-1.500000e+01 | 24.09%
32.08/32.15 c 32.1s|310000 | 5 | 2807 | 0.0 |9852k| 62 | - | 100 |1791 | 0 | 0 | 390 | 45k| 17 |-1.976031e+01 |-1.500000e+01 | 24.09%
33.08/33.11 c 33.1s|320000 | 6 | 2807 | 0.0 |9828k| 63 | - | 100 |1728 | 0 | 0 | 390 | 47k| 17 |-1.976031e+01 |-1.500000e+01 | 24.09%
33.99/34.06 c 34.0s|330000 | 5 | 2807 | 0.0 |9860k| 63 | - | 100 |1815 | 0 | 0 | 390 | 49k| 17 |-1.976031e+01 |-1.500000e+01 | 24.09%
34.98/35.02 c 35.0s|340000 | 4 | 2807 | 0.0 |9847k| 63 | - | 100 |1776 | 0 | 0 | 390 | 50k| 17 |-1.976031e+01 |-1.500000e+01 | 24.09%
35.88/35.98 c 36.0s|350000 | 3 | 2807 | 0.0 |9880k| 63 | - | 100 |1870 | 0 | 0 | 390 | 52k| 17 |-1.976031e+01 |-1.500000e+01 | 24.09%
36.88/36.93 c 36.9s|360000 | 4 | 2807 | 0.0 |9835k| 64 | - | 100 |1747 | 0 | 0 | 390 | 54k| 17 |-1.976031e+01 |-1.500000e+01 | 24.09%
37.78/37.89 c 37.9s|370000 | 4 | 2807 | 0.0 |9888k| 64 | - | 100 |1896 | 0 | 0 | 390 | 56k| 17 |-1.976031e+01 |-1.500000e+01 | 24.09%
38.88/38.90 c 38.9s|380000 | 6 | 2807 | 0.0 |9879k| 67 | - | 100 |1863 | 0 | 0 | 390 | 58k| 17 |-1.976031e+01 |-1.500000e+01 | 24.09%
40.18/40.29 c 40.3s|390000 | 4 | 2807 | 0.0 |9954k| 70 | - | 100 |2129 | 0 | 0 | 390 | 63k| 17 |-1.976031e+01 |-1.500000e+01 | 24.09%
41.48/41.51 c
41.48/41.51 c SCIP Status : problem is solved [optimal solution found]
41.48/41.51 c Solving Time (sec) : 41.49
41.48/41.51 c Solving Nodes : 398713
41.48/41.51 c Primal Bound : -1.50000000000000e+01 (10 solutions)
41.48/41.51 c Dual Bound : -1.50000000000000e+01
41.48/41.51 c Gap : 0.00 %
41.48/41.52 s OPTIMUM FOUND
41.48/41.52 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
41.48/41.52 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
41.48/41.52 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
41.48/41.52 v -x22 -x21 -x20 -x19 -x18 -x17 -x16 -x15 -x14 -x13 -x12 -x11 x10 -x9 -x8 x7 -x6 -x5 -x4 -x3 -x2 -x1
41.48/41.52 c SCIP Status : problem is solved [optimal solution found]
41.48/41.52 c Solving Time : 41.49
41.48/41.52 c Original Problem :
41.48/41.52 c Problem name : HOME/instance-2703242-1278568620.opb
41.48/41.52 c Variables : 1619 (1619 binary, 0 integer, 0 implicit integer, 0 continuous)
41.48/41.52 c Constraints : 1619 initial, 1619 maximal
41.48/41.52 c Presolved Problem :
41.48/41.52 c Problem name : t_HOME/instance-2703242-1278568620.opb
41.48/41.52 c Variables : 100 (100 binary, 0 integer, 0 implicit integer, 0 continuous)
41.48/41.52 c Constraints : 1519 initial, 2342 maximal
41.48/41.52 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
41.48/41.52 c trivial : 0.00 0 0 0 0 0 0 0 0
41.48/41.52 c dualfix : 0.00 0 0 0 0 0 0 0 0
41.48/41.52 c boundshift : 0.00 0 0 0 0 0 0 0 0
41.48/41.52 c inttobinary : 0.00 0 0 0 0 0 0 0 0
41.48/41.52 c implics : 0.00 0 0 0 0 0 0 0 0
41.48/41.52 c probing : 0.03 0 0 0 0 0 0 0 0
41.48/41.52 c linear : 0.01 1519 0 0 1519 0 100 0 0
41.48/41.52 c logicor : 0.01 0 0 0 0 0 0 0 0
41.48/41.52 c root node : - 100 - - 100 - - - -
41.48/41.52 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
41.48/41.52 c integral : 0 0 0 1 0 0 0 0 0 2
41.48/41.52 c logicor : 1519+ 39 428003 0 4 71575 1077800 89 0 0
41.48/41.52 c countsols : 0 0 0 0 4 0 0 0 0 0
41.48/41.52 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
41.48/41.52 c integral : 0.55 0.00 0.00 0.55 0.00
41.48/41.52 c logicor : 10.39 0.01 10.38 0.00 0.00
41.48/41.52 c countsols : 0.00 0.00 0.00 0.00 0.00
41.48/41.52 c Propagators : Time Calls Cutoffs DomReds
41.48/41.52 c vbounds : 0.20 2 0 0
41.48/41.52 c rootredcost : 0.26 4 0 0
41.48/41.52 c pseudoobj : 7.53 683611 129920 832122
41.48/41.52 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
41.48/41.52 c propagation : 4.13 78202 68200 68200 19.4 0 0.0 -
41.48/41.52 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
41.48/41.52 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
41.48/41.52 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
41.48/41.52 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
41.48/41.52 c applied globally : - - - 61364 17.7 - - -
41.48/41.52 c applied locally : - - - 6836 35.2 - - -
41.48/41.52 c Separators : Time Calls Cutoffs DomReds Cuts Conss
41.48/41.52 c cut pool : 0.05 38 - - 220 - (maximal pool size: 2176)
41.48/41.52 c redcost : 0.00 39 0 0 0 0
41.48/41.52 c impliedbounds : 0.01 39 0 0 160 0
41.48/41.52 c intobj : 0.00 0 0 0 0 0
41.48/41.52 c cgmip : 0.00 0 0 0 0 0
41.48/41.52 c gomory : 0.88 39 0 0 5748 0
41.48/41.52 c strongcg : 0.49 20 0 0 7094 0
41.48/41.52 c cmir : 0.09 10 0 0 0 0
41.48/41.52 c flowcover : 0.07 10 0 0 0 0
41.48/41.52 c clique : 0.08 39 0 0 312 0
41.48/41.52 c zerohalf : 0.00 0 0 0 0 0
41.48/41.52 c mcf : 0.00 1 0 0 0 0
41.48/41.52 c rapidlearning : 0.00 0 0 0 0 0
41.48/41.52 c Pricers : Time Calls Vars
41.48/41.52 c problem variables: 0.00 0 0
41.48/41.52 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
41.48/41.52 c relpscost : 0.55 1 0 0 0 0 2
41.48/41.52 c pscost : 0.00 0 0 0 0 0 0
41.48/41.52 c inference : 1.17 201567 0 0 0 0 403134
41.48/41.52 c mostinf : 0.00 0 0 0 0 0 0
41.48/41.52 c leastinf : 0.00 0 0 0 0 0 0
41.48/41.52 c fullstrong : 0.00 0 0 0 0 0 0
41.48/41.52 c allfullstrong : 0.00 0 0 0 0 0 0
41.48/41.52 c random : 0.00 0 0 0 0 0 0
41.48/41.52 c Primal Heuristics : Time Calls Found
41.48/41.52 c LP solutions : 0.00 - 0
41.48/41.52 c pseudo solutions : 0.00 - 4
41.48/41.52 c crossover : 0.00 0 0
41.48/41.52 c oneopt : 0.22 2 1
41.48/41.52 c trivial : 0.00 2 2
41.48/41.52 c simplerounding : 0.00 39 1
41.48/41.52 c zirounding : 0.00 1 0
41.48/41.52 c rounding : 0.03 39 1
41.48/41.52 c shifting : 0.03 39 1
41.48/41.52 c intshifting : 0.00 0 0
41.48/41.52 c twoopt : 0.00 0 0
41.48/41.52 c fixandinfer : 0.00 0 0
41.48/41.52 c feaspump : 0.00 0 0
41.48/41.52 c coefdiving : 0.00 0 0
41.48/41.52 c pscostdiving : 0.00 0 0
41.48/41.52 c fracdiving : 0.00 0 0
41.48/41.52 c veclendiving : 0.00 0 0
41.48/41.52 c intdiving : 0.00 0 0
41.48/41.52 c actconsdiving : 0.00 0 0
41.48/41.52 c objpscostdiving : 0.00 0 0
41.48/41.52 c rootsoldiving : 0.00 0 0
41.48/41.52 c linesearchdiving : 0.00 0 0
41.48/41.52 c guideddiving : 0.00 0 0
41.48/41.52 c octane : 0.00 0 0
41.48/41.52 c rens : 0.01 0 0
41.48/41.52 c rins : 0.00 0 0
41.48/41.52 c localbranching : 0.00 0 0
41.48/41.52 c mutation : 0.00 0 0
41.48/41.52 c dins : 0.00 0 0
41.48/41.52 c undercover : 0.00 0 0
41.48/41.52 c nlp : 0.10 0 0
41.48/41.52 c trysol : 0.12 0 0
41.48/41.52 c LP : Time Calls Iterations Iter/call Iter/sec
41.48/41.52 c primal LP : 0.00 0 0 0.00 -
41.48/41.52 c dual LP : 0.60 39 2807 71.97 4670.49
41.48/41.52 c lex dual LP : 0.00 0 0 0.00 -
41.48/41.52 c barrier LP : 0.00 0 0 0.00 -
41.48/41.52 c diving/probing LP: 0.00 0 0 0.00 -
41.48/41.52 c strong branching : 0.55 17 4084 240.24 7466.06
41.48/41.52 c (at root node) : - 17 4084 240.24 -
41.48/41.52 c conflict analysis: 0.00 0 0 0.00 -
41.48/41.52 c B&B Tree :
41.48/41.52 c number of runs : 1
41.48/41.52 c nodes : 398713
41.48/41.52 c nodes (total) : 398713
41.48/41.52 c nodes left : 0
41.48/41.52 c max depth : 84
41.48/41.52 c max depth (total): 84
41.48/41.52 c backtracks : 50982 (12.8%)
41.48/41.52 c delayed cutoffs : 4417
41.48/41.52 c repropagations : 56215 (77245 domain reductions, 4354 cutoffs)
41.48/41.52 c avg switch length: 2.14
41.48/41.52 c switching time : 7.47
41.48/41.52 c Solution :
41.48/41.52 c Solutions found : 10 (8 improvements)
41.48/41.52 c First Solution : +0.00000000000000e+00 (in run 1, after 0 nodes, 0.01 seconds, depth 0, found by <trivial>)
41.48/41.52 c Primal Bound : -1.50000000000000e+01 (in run 1, after 2004 nodes, 3.25 seconds, depth 18, found by <relaxation>)
41.48/41.52 c Dual Bound : -1.50000000000000e+01
41.48/41.52 c Gap : 0.00 %
41.48/41.52 c Root Dual Bound : -2.00309538179445e+01
41.48/41.52 c Root Iterations : 2807
41.48/41.53 c Time complete: 41.51.