0.00/0.00 c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: NONE] [Expressions interpreter: NONE]
0.00/0.00 c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c user parameter file <scip.set> not found - using default parameters
0.00/0.00 c reading problem <HOME/instance-2663813-1276660926.opb>
0.01/0.02 c original problem has 1619 variables (1619 bin, 0 int, 0 impl, 0 cont) and 1619 constraints
0.01/0.02 c problem read
0.01/0.02 c presolving settings loaded
0.01/0.02 c [src/scip/lpi_none.c:41] ERROR: there is no LP solver linked to the binary (LPS=none); you should set the parameter <lp/solvefreq> to <-1> to avoid solving LPs
0.01/0.04 o 0
0.01/0.04 c feasible solution found by trivial heuristic, objective value 0.000000e+00
0.01/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.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 = -1
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.28 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.28 c t 0.1s| 1 | 2 | 0 | - |3757k| 0 | - | 100 |1519 | 0 | 0 | 0 | 0 | 0 |-1.000000e+02 | 0.000000e+00 | 100.00%
0.19/0.28 o -7
0.19/0.28 c * 0.2s| 8 | 7 | 0 | 0.0 |3763k| 7 | - | 100 |1519 | 0 | 0 | 0 | 0 | 0 |-9.900000e+01 |-7.000000e+00 | 92.93%
0.19/0.28 o -8
0.19/0.28 c * 0.2s| 9 | 6 | 0 | 0.0 |3764k| 7 | - | 100 |1519 | 0 | 0 | 0 | 0 | 0 |-9.900000e+01 |-8.000000e+00 | 91.92%
0.19/0.29 o -10
0.19/0.29 c * 0.2s| 38 | 7 | 0 | 0.0 |3766k| 11 | - | 100 |1519 | 0 | 0 | 0 | 2 | 0 |-9.900000e+01 |-1.000000e+01 | 89.90%
0.19/0.29 o -11
0.19/0.29 c * 0.2s| 60 | 5 | 0 | 0.0 |3767k| 11 | - | 100 |1519 | 0 | 0 | 0 | 2 | 0 |-9.900000e+01 |-1.100000e+01 | 88.89%
0.29/0.31 o -12
0.29/0.31 c * 0.2s| 307 | 5 | 0 | 0.0 |3769k| 16 | - | 100 |1520 | 0 | 0 | 0 | 3 | 0 |-9.900000e+01 |-1.200000e+01 | 87.88%
1.29/1.30 c 1.1s| 10000 | 5 | 0 | 0.0 |3770k| 36 | - | 100 |1519 | 0 | 0 | 0 | 47 | 0 |-9.900000e+01 |-1.200000e+01 | 87.88%
1.69/1.79 o -13
1.69/1.79 c * 1.5s| 14715 | 10 | 0 | 0.0 |3789k| 45 | - | 100 |1554 | 0 | 0 | 0 | 517 | 0 |-9.800000e+01 |-1.300000e+01 | 86.73%
2.28/2.38 c 2.0s| 20000 | 5 | 0 | 0.0 |3817k| 45 | - | 100 |1609 | 0 | 0 | 0 |1730 | 0 |-9.800000e+01 |-1.300000e+01 | 86.73%
3.49/3.51 c 3.0s| 30000 | 8 | 0 | 0.0 |3827k| 45 | - | 100 |1600 | 0 | 0 | 0 |4039 | 0 |-9.800000e+01 |-1.300000e+01 | 86.73%
4.09/4.11 o -14
4.09/4.11 c * 3.5s| 35348 | 8 | 0 | 0.0 |3872k| 45 | - | 100 |1700 | 0 | 0 | 0 |5253 | 0 |-9.800000e+01 |-1.400000e+01 | 85.71%
4.59/4.63 c 4.0s| 40000 | 4 | 0 | 0.0 |3852k| 45 | - | 100 |1657 | 0 | 0 | 0 |6189 | 0 |-9.800000e+01 |-1.400000e+01 | 85.71%
5.69/5.76 c 5.0s| 50000 | 5 | 0 | 0.0 |3878k| 45 | - | 100 |1713 | 0 | 0 | 0 |8206 | 0 |-9.800000e+01 |-1.400000e+01 | 85.71%
6.79/6.89 c 6.0s| 60000 | 5 | 0 | 0.0 |3885k| 45 | - | 100 |1724 | 0 | 0 | 0 | 10k| 0 |-9.800000e+01 |-1.400000e+01 | 85.71%
7.98/8.02 c 7.0s| 70000 | 6 | 0 | 0.0 |3876k| 45 | - | 100 |1692 | 0 | 0 | 0 | 12k| 0 |-9.800000e+01 |-1.400000e+01 | 85.71%
8.88/8.92 o -15
8.88/8.92 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
8.88/8.92 c * 7.8s| 78066 | 9 | 0 | 0.0 |3835k| 58 | - | 100 |1596 | 0 | 0 | 0 | 13k| 0 |-9.700000e+01 |-1.500000e+01 | 84.54%
9.09/9.14 c 8.0s| 80000 | 6 | 0 | 0.0 |3861k| 58 | - | 100 |1667 | 0 | 0 | 0 | 14k| 0 |-9.700000e+01 |-1.500000e+01 | 84.54%
10.18/10.25 c 9.0s| 90000 | 6 | 0 | 0.0 |3867k| 58 | - | 100 |1665 | 0 | 0 | 0 | 16k| 0 |-9.700000e+01 |-1.500000e+01 | 84.54%
11.29/11.39 c 10.0s|100000 | 6 | 0 | 0.0 |3921k| 58 | - | 100 |1790 | 0 | 0 | 0 | 17k| 0 |-9.700000e+01 |-1.500000e+01 | 84.54%
12.48/12.52 c 11.0s|110000 | 6 | 0 | 0.0 |3844k| 58 | - | 100 |1613 | 0 | 0 | 0 | 19k| 0 |-9.600000e+01 |-1.500000e+01 | 84.38%
13.59/13.64 c 12.0s|120000 | 5 | 0 | 0.0 |3856k| 58 | - | 100 |1631 | 0 | 0 | 0 | 21k| 0 |-9.600000e+01 |-1.500000e+01 | 84.38%
14.68/14.77 c 13.0s|130000 | 4 | 0 | 0.0 |3892k| 58 | - | 100 |1719 | 0 | 0 | 0 | 23k| 0 |-9.600000e+01 |-1.500000e+01 | 84.38%
15.88/15.90 c 14.0s|140000 | 7 | 0 | 0.0 |3889k| 58 | - | 100 |1701 | 0 | 0 | 0 | 25k| 0 |-9.600000e+01 |-1.500000e+01 | 84.38%
16.98/17.04 c 15.0s|150000 | 5 | 0 | 0.0 |3849k| 58 | - | 100 |1617 | 0 | 0 | 0 | 27k| 0 |-9.500000e+01 |-1.500000e+01 | 84.21%
18.08/18.16 c 16.0s|160000 | 5 | 0 | 0.0 |3881k| 58 | - | 100 |1687 | 0 | 0 | 0 | 29k| 0 |-9.500000e+01 |-1.500000e+01 | 84.21%
19.19/19.27 c 17.0s|170000 | 5 | 0 | 0.0 |3920k| 58 | - | 100 |1774 | 0 | 0 | 0 | 31k| 0 |-9.500000e+01 |-1.500000e+01 | 84.21%
20.39/20.41 c 18.0s|180000 | 6 | 0 | 0.0 |3912k| 58 | - | 100 |1749 | 0 | 0 | 0 | 32k| 0 |-9.500000e+01 |-1.500000e+01 | 84.21%
21.48/21.54 c 19.0s|190000 | 7 | 0 | 0.0 |3848k| 60 | - | 100 |1602 | 0 | 0 | 0 | 34k| 0 |-9.400000e+01 |-1.500000e+01 | 84.04%
22.58/22.65 c 20.0s|200000 | 5 | 0 | 0.0 |3918k| 60 | - | 100 |1777 | 0 | 0 | 0 | 36k| 0 |-9.400000e+01 |-1.500000e+01 | 84.04%
23.68/23.79 c 21.0s|210000 | 7 | 0 | 0.0 |3850k| 60 | - | 100 |1609 | 0 | 0 | 0 | 38k| 0 |-9.300000e+01 |-1.500000e+01 | 83.87%
24.88/24.91 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
24.88/24.91 c 22.0s|220000 | 6 | 0 | 0.0 |3898k| 60 | - | 100 |1724 | 0 | 0 | 0 | 40k| 0 |-9.300000e+01 |-1.500000e+01 | 83.87%
25.98/26.05 c 23.0s|230000 | 5 | 0 | 0.0 |3896k| 60 | - | 100 |1732 | 0 | 0 | 0 | 41k| 0 |-9.200000e+01 |-1.500000e+01 | 83.70%
27.08/27.18 c 24.0s|240000 | 5 | 0 | 0.0 |3890k| 60 | - | 100 |1700 | 0 | 0 | 0 | 43k| 0 |-9.200000e+01 |-1.500000e+01 | 83.70%
28.28/28.32 c 25.1s|250000 | 4 | 0 | 0.0 |3920k| 60 | - | 100 |1766 | 0 | 0 | 0 | 45k| 0 |-9.200000e+01 |-1.500000e+01 | 83.70%
29.38/29.44 c 26.1s|260000 | 6 | 0 | 0.0 |3868k| 61 | - | 100 |1655 | 0 | 0 | 0 | 47k| 0 |-9.000000e+01 |-1.500000e+01 | 83.33%
30.48/30.56 c 27.0s|270000 | 7 | 0 | 0.0 |3871k| 61 | - | 100 |1660 | 0 | 0 | 0 | 48k| 0 |-8.900000e+01 |-1.500000e+01 | 83.15%
31.58/31.68 c 28.0s|280000 | 5 | 0 | 0.0 |3941k| 61 | - | 100 |1832 | 0 | 0 | 0 | 50k| 0 |-8.900000e+01 |-1.500000e+01 | 83.15%
32.78/32.81 c 29.0s|290000 | 4 | 0 | 0.0 |3895k| 61 | - | 100 |1726 | 0 | 0 | 0 | 52k| 0 |-8.800000e+01 |-1.500000e+01 | 82.95%
33.88/33.92 c 30.0s|300000 | 6 | 0 | 0.0 |3893k| 61 | - | 100 |1726 | 0 | 0 | 0 | 54k| 0 |-8.600000e+01 |-1.500000e+01 | 82.56%
34.98/35.04 c 31.0s|310000 | 5 | 0 | 0.0 |3922k| 61 | - | 100 |1797 | 0 | 0 | 0 | 55k| 0 |-8.500000e+01 |-1.500000e+01 | 82.35%
36.08/36.16 c 32.0s|320000 | 6 | 0 | 0.0 |3914k| 61 | - | 100 |1773 | 0 | 0 | 0 | 57k| 0 |-8.400000e+01 |-1.500000e+01 | 82.14%
37.29/37.31 c 33.0s|330000 | 6 | 0 | 0.0 |3873k| 63 | - | 100 |1671 | 0 | 0 | 0 | 59k| 0 |-8.300000e+01 |-1.500000e+01 | 81.93%
38.39/38.42 c 34.0s|340000 | 5 | 0 | 0.0 |3897k| 63 | - | 100 |1735 | 0 | 0 | 0 | 61k| 0 |-8.200000e+01 |-1.500000e+01 | 81.71%
39.48/39.55 c 35.0s|350000 | 7 | 0 | 0.0 |3877k| 63 | - | 100 |1676 | 0 | 0 | 0 | 63k| 0 |-8.100000e+01 |-1.500000e+01 | 81.48%
40.58/40.67 c 36.0s|360000 | 5 | 0 | 0.0 |3901k| 63 | - | 100 |1749 | 0 | 0 | 0 | 64k| 0 |-8.000000e+01 |-1.500000e+01 | 81.25%
41.78/41.81 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
41.78/41.81 c 37.0s|370000 | 4 | 0 | 0.0 |3917k| 63 | - | 100 |1800 | 0 | 0 | 0 | 66k| 0 |-7.700000e+01 |-1.500000e+01 | 80.52%
42.88/42.93 c 38.0s|380000 | 7 | 0 | 0.0 |3938k| 63 | - | 100 |1849 | 0 | 0 | 0 | 68k| 0 |-7.500000e+01 |-1.500000e+01 | 80.00%
43.98/44.09 c 39.1s|390000 | 5 | 0 | 0.0 |3973k| 63 | - | 100 |1955 | 0 | 0 | 0 | 70k| 0 |-7.300000e+01 |-1.500000e+01 | 79.45%
45.47/45.59 c 40.4s|400000 | 4 | 0 | 0.0 |4014k| 65 | - | 100 |2094 | 0 | 0 | 0 | 74k| 0 |-7.000000e+01 |-1.500000e+01 | 78.57%
47.38/47.49 c 42.0s|410000 | 4 | 0 | 0.0 |3741k| 70 | - | 100 | 974 | 0 | 0 | 0 | 80k| 0 |-6.200000e+01 |-1.500000e+01 | 75.81%
48.77/48.80 c
48.77/48.80 c SCIP Status : problem is solved [optimal solution found]
48.77/48.80 c Solving Time (sec) : 43.11
48.77/48.80 c Solving Nodes : 417303
48.77/48.80 c Primal Bound : -1.50000000000000e+01 (10 solutions)
48.77/48.80 c Dual Bound : -1.50000000000000e+01
48.77/48.80 c Gap : 0.00 %
48.77/48.80 s OPTIMUM FOUND
48.77/48.80 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
48.77/48.80 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
48.77/48.80 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
48.77/48.80 v -x21 -x20 -x19 -x18 -x17 -x16 -x15 -x14 -x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2 -x1
48.77/48.80 c SCIP Status : problem is solved [optimal solution found]
48.77/48.80 c Solving Time : 43.11
48.77/48.80 c Original Problem :
48.77/48.80 c Problem name : HOME/instance-2663813-1276660926.opb
48.77/48.80 c Variables : 1619 (1619 binary, 0 integer, 0 implicit integer, 0 continuous)
48.77/48.80 c Constraints : 1619 initial, 1619 maximal
48.77/48.80 c Presolved Problem :
48.77/48.80 c Problem name : t_HOME/instance-2663813-1276660926.opb
48.77/48.80 c Variables : 100 (100 binary, 0 integer, 0 implicit integer, 0 continuous)
48.77/48.80 c Constraints : 1519 initial, 2366 maximal
48.77/48.80 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
48.77/48.80 c trivial : 0.00 0 0 0 0 0 0 0 0
48.77/48.80 c dualfix : 0.00 0 0 0 0 0 0 0 0
48.77/48.80 c boundshift : 0.00 0 0 0 0 0 0 0 0
48.77/48.80 c inttobinary : 0.00 0 0 0 0 0 0 0 0
48.77/48.80 c implics : 0.00 0 0 0 0 0 0 0 0
48.77/48.80 c probing : 0.02 0 0 0 0 0 0 0 0
48.77/48.80 c linear : 0.01 1519 0 0 1519 0 100 0 0
48.77/48.80 c logicor : 0.02 0 0 0 0 0 0 0 0
48.77/48.80 c root node : - 100 - - 100 - - - -
48.77/48.80 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
48.77/48.80 c integral : 0 0 0 0 0 0 0 0 0 0
48.77/48.80 c logicor : 1519+ 0 452805 0 8 78196 1093065 0 0 0
48.77/48.80 c countsols : 0 0 0 0 8 0 0 0 0 0
48.77/48.80 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
48.77/48.80 c integral : 0.00 0.00 0.00 0.00 0.00
48.77/48.80 c logicor : 10.86 0.00 10.86 0.00 0.00
48.77/48.80 c countsols : 0.00 0.00 0.00 0.00 0.00
48.77/48.80 c Propagators : Time Calls Cutoffs DomReds
48.77/48.80 c vbounds : 0.29 2 0 0
48.77/48.80 c rootredcost : 0.37 0 0 0
48.77/48.80 c pseudoobj : 9.00 737221 133619 872290
48.77/48.80 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
48.77/48.80 c propagation : 4.86 86895 84231 84231 18.8 0 0.0 -
48.77/48.80 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
48.77/48.80 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
48.77/48.80 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
48.77/48.80 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
48.77/48.80 c applied globally : - - - 77779 17.5 - - -
48.77/48.80 c applied locally : - - - 6452 34.7 - - -
48.77/48.80 c Separators : Time Calls Cutoffs DomReds Cuts Conss
48.77/48.80 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
48.77/48.80 c redcost : 0.00 0 0 0 0 0
48.77/48.80 c impliedbounds : 0.00 0 0 0 0 0
48.77/48.80 c intobj : 0.00 0 0 0 0 0
48.77/48.80 c cgmip : 0.00 0 0 0 0 0
48.77/48.80 c gomory : 0.00 0 0 0 0 0
48.77/48.80 c strongcg : 0.00 0 0 0 0 0
48.77/48.80 c cmir : 0.00 0 0 0 0 0
48.77/48.80 c flowcover : 0.00 0 0 0 0 0
48.77/48.80 c clique : 0.00 0 0 0 0 0
48.77/48.80 c zerohalf : 0.00 0 0 0 0 0
48.77/48.80 c mcf : 0.00 0 0 0 0 0
48.77/48.80 c rapidlearning : 0.00 0 0 0 0 0
48.77/48.80 c Pricers : Time Calls Vars
48.77/48.80 c problem variables: 0.00 0 0
48.77/48.80 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
48.77/48.80 c relpscost : 0.00 0 0 0 0 0 0
48.77/48.80 c pscost : 0.00 0 0 0 0 0 0
48.77/48.80 c inference : 1.23 211974 0 0 0 0 423948
48.77/48.80 c mostinf : 0.00 0 0 0 0 0 0
48.77/48.80 c leastinf : 0.00 0 0 0 0 0 0
48.77/48.80 c fullstrong : 0.00 0 0 0 0 0 0
48.77/48.80 c allfullstrong : 0.00 0 0 0 0 0 0
48.77/48.80 c random : 0.00 0 0 0 0 0 0
48.77/48.80 c Primal Heuristics : Time Calls Found
48.77/48.80 c LP solutions : 0.00 - 0
48.77/48.80 c pseudo solutions : 0.00 - 8
48.77/48.80 c oneopt : 0.28 0 0
48.77/48.80 c trivial : 0.00 2 2
48.77/48.80 c simplerounding : 0.00 0 0
48.77/48.80 c zirounding : 0.00 0 0
48.77/48.80 c rounding : 0.00 0 0
48.77/48.80 c shifting : 0.00 0 0
48.77/48.80 c intshifting : 0.00 0 0
48.77/48.80 c twoopt : 0.00 0 0
48.77/48.80 c fixandinfer : 0.00 0 0
48.77/48.80 c feaspump : 0.00 0 0
48.77/48.80 c coefdiving : 0.00 0 0
48.77/48.80 c pscostdiving : 0.00 0 0
48.77/48.80 c fracdiving : 0.00 0 0
48.77/48.80 c veclendiving : 0.00 0 0
48.77/48.80 c intdiving : 0.00 0 0
48.77/48.80 c actconsdiving : 0.00 0 0
48.77/48.80 c objpscostdiving : 0.00 0 0
48.77/48.80 c rootsoldiving : 0.00 0 0
48.77/48.80 c linesearchdiving : 0.00 0 0
48.77/48.80 c guideddiving : 0.00 0 0
48.77/48.80 c octane : 0.00 0 0
48.77/48.80 c rens : 0.00 0 0
48.77/48.80 c rins : 0.00 0 0
48.77/48.80 c localbranching : 0.00 0 0
48.77/48.80 c mutation : 0.00 0 0
48.77/48.80 c crossover : 0.00 0 0
48.77/48.80 c dins : 0.00 0 0
48.77/48.80 c undercover : 0.00 0 0
48.77/48.80 c nlp : 0.15 0 0
48.77/48.80 c trysol : 0.16 0 0
48.77/48.80 c LP : Time Calls Iterations Iter/call Iter/sec
48.77/48.80 c primal LP : 0.00 0 0 0.00 -
48.77/48.80 c dual LP : 0.00 0 0 0.00 -
48.77/48.80 c lex dual LP : 0.00 0 0 0.00 -
48.77/48.80 c barrier LP : 0.00 0 0 0.00 -
48.77/48.80 c diving/probing LP: 0.00 0 0 0.00 -
48.77/48.80 c strong branching : 0.00 0 0 0.00 -
48.77/48.80 c (at root node) : - 0 0 0.00 -
48.77/48.80 c conflict analysis: 0.00 0 0 0.00 -
48.77/48.80 c B&B Tree :
48.77/48.80 c number of runs : 1
48.77/48.80 c nodes : 417303
48.77/48.80 c nodes (total) : 417303
48.77/48.80 c nodes left : 0
48.77/48.80 c max depth : 84
48.77/48.80 c max depth (total): 84
48.77/48.80 c backtracks : 55539 (13.3%)
48.77/48.80 c delayed cutoffs : 6639
48.77/48.80 c repropagations : 72891 (105937 domain reductions, 6494 cutoffs)
48.77/48.80 c avg switch length: 2.18
48.77/48.80 c switching time : 7.64
48.77/48.80 c Solution :
48.77/48.80 c Solutions found : 10 (9 improvements)
48.77/48.80 c First Solution : +0.00000000000000e+00 (in run 1, after 0 nodes, 0.01 seconds, depth 0, found by <trivial>)
48.77/48.80 c Primal Bound : -1.50000000000000e+01 (in run 1, after 78066 nodes, 7.80 seconds, depth 18, found by <relaxation>)
48.77/48.80 c Dual Bound : -1.50000000000000e+01
48.77/48.80 c Gap : 0.00 %
48.77/48.80 c Root Dual Bound : -1.00000000000000e+02
48.77/48.80 c Root Iterations : 0
48.77/48.81 c Time complete: 48.79.