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-2663794-1276658695.opb>
0.00/0.02 c original problem has 1635 variables (1635 bin, 0 int, 0 impl, 0 cont) and 1635 constraints
0.00/0.02 c problem read
0.00/0.02 c presolving settings loaded
0.00/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.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) 1535 del vars, 100 del conss, 1535 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 6140 impls, 0 clqs
0.19/0.28 c presolving (2 rounds):
0.19/0.28 c 1535 deleted vars, 100 deleted constraints, 1535 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.19/0.28 c 9210 implications, 0 cliques
0.19/0.28 c presolved problem has 100 variables (100 bin, 0 int, 0 impl, 0 cont) and 1535 constraints
0.19/0.28 c 1535 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.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 = -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 | - |3794k| 0 | - | 100 |1535 | 0 | 0 | 0 | 0 | 0 |-1.000000e+02 | 0.000000e+00 | 100.00%
0.19/0.28 o -8
0.19/0.28 c * 0.1s| 9 | 6 | 0 | 0.0 |3801k| 8 | - | 100 |1535 | 0 | 0 | 0 | 0 | 0 |-9.900000e+01 |-8.000000e+00 | 91.92%
0.19/0.28 o -9
0.19/0.28 c * 0.1s| 15 | 5 | 0 | 0.0 |3802k| 8 | - | 100 |1535 | 0 | 0 | 0 | 0 | 0 |-9.900000e+01 |-9.000000e+00 | 90.91%
0.19/0.28 o -10
0.19/0.28 c * 0.2s| 35 | 5 | 0 | 0.0 |3803k| 10 | - | 100 |1535 | 0 | 0 | 0 | 0 | 0 |-9.900000e+01 |-1.000000e+01 | 89.90%
0.29/0.32 o -11
0.29/0.32 c * 0.2s| 415 | 5 | 0 | 0.0 |3806k| 17 | - | 100 |1535 | 0 | 0 | 0 | 1 | 0 |-9.900000e+01 |-1.100000e+01 | 88.89%
0.29/0.35 o -12
0.29/0.35 c * 0.2s| 650 | 6 | 0 | 0.0 |3807k| 23 | - | 100 |1535 | 0 | 0 | 0 | 1 | 0 |-9.900000e+01 |-1.200000e+01 | 87.88%
0.29/0.35 o -13
0.29/0.35 c * 0.2s| 664 | 6 | 0 | 0.0 |3809k| 23 | - | 100 |1536 | 0 | 0 | 0 | 2 | 0 |-9.900000e+01 |-1.300000e+01 | 86.87%
1.29/1.30 c 1.1s| 10000 | 6 | 0 | 0.0 |3810k| 36 | - | 100 |1535 | 0 | 0 | 0 | 40 | 0 |-9.900000e+01 |-1.300000e+01 | 86.87%
1.39/1.49 o -14
1.39/1.49 c * 1.2s| 11759 | 6 | 0 | 0.0 |3812k| 37 | - | 100 |1535 | 0 | 0 | 0 | 49 | 0 |-9.900000e+01 |-1.400000e+01 | 85.86%
2.29/2.38 c 2.0s| 20000 | 6 | 0 | 0.0 |3870k| 46 | - | 100 |1685 | 0 | 0 | 0 | 873 | 0 |-9.800000e+01 |-1.400000e+01 | 85.71%
3.49/3.51 c 3.0s| 30000 | 5 | 0 | 0.0 |3895k| 46 | - | 100 |1706 | 0 | 0 | 0 |2774 | 0 |-9.800000e+01 |-1.400000e+01 | 85.71%
4.59/4.64 c 4.0s| 40000 | 6 | 0 | 0.0 |3920k| 46 | - | 100 |1752 | 0 | 0 | 0 |4710 | 0 |-9.800000e+01 |-1.400000e+01 | 85.71%
5.69/5.78 c 5.0s| 50000 | 7 | 0 | 0.0 |3873k| 54 | - | 100 |1645 | 0 | 0 | 0 |6600 | 0 |-9.700000e+01 |-1.400000e+01 | 85.57%
6.89/6.91 c 6.0s| 60000 | 4 | 0 | 0.0 |3899k| 54 | - | 100 |1689 | 0 | 0 | 0 |8555 | 0 |-9.700000e+01 |-1.400000e+01 | 85.57%
7.99/8.05 c 7.0s| 70000 | 4 | 0 | 0.0 |3932k| 54 | - | 100 |1758 | 0 | 0 | 0 | 10k| 0 |-9.700000e+01 |-1.400000e+01 | 85.57%
9.08/9.18 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
9.08/9.18 c 8.1s| 80000 | 7 | 0 | 0.0 |3921k| 54 | - | 100 |1723 | 0 | 0 | 0 | 12k| 0 |-9.700000e+01 |-1.400000e+01 | 85.57%
10.29/10.33 c 9.1s| 90000 | 4 | 0 | 0.0 |3924k| 54 | - | 100 |1717 | 0 | 0 | 0 | 14k| 0 |-9.700000e+01 |-1.400000e+01 | 85.57%
11.39/11.47 c 10.1s|100000 | 8 | 0 | 0.0 |3863k| 61 | - | 100 |1572 | 0 | 0 | 0 | 16k| 0 |-9.600000e+01 |-1.400000e+01 | 85.42%
12.10/12.15 o -15
12.10/12.15 c *10.7s|106051 | 7 | 0 | 0.0 |3879k| 61 | - | 100 |1610 | 0 | 0 | 0 | 17k| 0 |-9.600000e+01 |-1.500000e+01 | 84.38%
12.49/12.59 c 11.1s|110000 | 5 | 0 | 0.0 |3944k| 61 | - | 100 |1776 | 0 | 0 | 0 | 18k| 0 |-9.600000e+01 |-1.500000e+01 | 84.38%
13.69/13.73 c 12.1s|120000 | 5 | 0 | 0.0 |3916k| 61 | - | 100 |1690 | 0 | 0 | 0 | 19k| 0 |-9.600000e+01 |-1.500000e+01 | 84.38%
14.79/14.88 c 13.1s|130000 | 5 | 0 | 0.0 |3931k| 61 | - | 100 |1727 | 0 | 0 | 0 | 21k| 0 |-9.600000e+01 |-1.500000e+01 | 84.38%
15.98/16.01 c 14.1s|140000 | 6 | 0 | 0.0 |3893k| 61 | - | 100 |1650 | 0 | 0 | 0 | 23k| 0 |-9.500000e+01 |-1.500000e+01 | 84.21%
17.09/17.15 c 15.1s|150000 | 6 | 0 | 0.0 |3900k| 61 | - | 100 |1648 | 0 | 0 | 0 | 25k| 0 |-9.500000e+01 |-1.500000e+01 | 84.21%
18.29/18.30 c 16.1s|160000 | 6 | 0 | 0.0 |3964k| 61 | - | 100 |1803 | 0 | 0 | 0 | 26k| 0 |-9.500000e+01 |-1.500000e+01 | 84.21%
19.39/19.44 c 17.1s|170000 | 7 | 0 | 0.0 |3910k| 61 | - | 100 |1685 | 0 | 0 | 0 | 28k| 0 |-9.400000e+01 |-1.500000e+01 | 84.04%
20.49/20.57 c 18.2s|180000 | 6 | 0 | 0.0 |3929k| 61 | - | 100 |1725 | 0 | 0 | 0 | 30k| 0 |-9.400000e+01 |-1.500000e+01 | 84.04%
21.69/21.73 c 19.2s|190000 | 6 | 0 | 0.0 |3956k| 61 | - | 100 |1785 | 0 | 0 | 0 | 32k| 0 |-9.400000e+01 |-1.500000e+01 | 84.04%
22.78/22.87 c 20.2s|200000 | 5 | 0 | 0.0 |3883k| 61 | - | 100 |1615 | 0 | 0 | 0 | 34k| 0 |-9.300000e+01 |-1.500000e+01 | 83.87%
23.99/24.01 c 21.2s|210000 | 4 | 0 | 0.0 |3956k| 61 | - | 100 |1795 | 0 | 0 | 0 | 36k| 0 |-9.300000e+01 |-1.500000e+01 | 83.87%
25.09/25.15 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
25.09/25.15 c 22.2s|220000 | 6 | 0 | 0.0 |3907k| 61 | - | 100 |1680 | 0 | 0 | 0 | 37k| 0 |-9.200000e+01 |-1.500000e+01 | 83.70%
26.19/26.28 c 23.2s|230000 | 5 | 0 | 0.0 |3907k| 61 | - | 100 |1678 | 0 | 0 | 0 | 39k| 0 |-9.100000e+01 |-1.500000e+01 | 83.52%
27.40/27.41 c 24.2s|240000 | 5 | 0 | 0.0 |3892k| 61 | - | 100 |1638 | 0 | 0 | 0 | 41k| 0 |-9.000000e+01 |-1.500000e+01 | 83.33%
28.50/28.54 c 25.2s|250000 | 5 | 0 | 0.0 |3949k| 61 | - | 100 |1782 | 0 | 0 | 0 | 43k| 0 |-9.000000e+01 |-1.500000e+01 | 83.33%
29.60/29.68 c 26.2s|260000 | 4 | 0 | 0.0 |3887k| 61 | - | 100 |1622 | 0 | 0 | 0 | 44k| 0 |-8.900000e+01 |-1.500000e+01 | 83.15%
30.78/30.81 c 27.2s|270000 | 6 | 0 | 0.0 |3969k| 61 | - | 100 |1827 | 0 | 0 | 0 | 46k| 0 |-8.900000e+01 |-1.500000e+01 | 83.15%
31.89/31.94 c 28.2s|280000 | 6 | 0 | 0.0 |3944k| 61 | - | 100 |1775 | 0 | 0 | 0 | 48k| 0 |-8.800000e+01 |-1.500000e+01 | 82.95%
32.99/33.06 c 29.2s|290000 | 4 | 0 | 0.0 |3915k| 61 | - | 100 |1695 | 0 | 0 | 0 | 50k| 0 |-8.700000e+01 |-1.500000e+01 | 82.76%
34.09/34.20 c 30.2s|300000 | 6 | 0 | 0.0 |3891k| 61 | - | 100 |1639 | 0 | 0 | 0 | 51k| 0 |-8.600000e+01 |-1.500000e+01 | 82.56%
35.28/35.31 c 31.2s|310000 | 6 | 0 | 0.0 |3938k| 61 | - | 100 |1754 | 0 | 0 | 0 | 53k| 0 |-8.600000e+01 |-1.500000e+01 | 82.56%
36.38/36.47 c 32.2s|320000 | 5 | 0 | 0.0 |3908k| 63 | - | 100 |1693 | 0 | 0 | 0 | 55k| 0 |-8.500000e+01 |-1.500000e+01 | 82.35%
37.58/37.60 c 33.2s|330000 | 6 | 0 | 0.0 |3913k| 63 | - | 100 |1697 | 0 | 0 | 0 | 57k| 0 |-8.400000e+01 |-1.500000e+01 | 82.14%
38.68/38.74 c 34.2s|340000 | 6 | 0 | 0.0 |3895k| 63 | - | 100 |1651 | 0 | 0 | 0 | 59k| 0 |-8.300000e+01 |-1.500000e+01 | 81.93%
39.78/39.87 c 35.2s|350000 | 5 | 0 | 0.0 |3896k| 63 | - | 100 |1657 | 0 | 0 | 0 | 60k| 0 |-8.200000e+01 |-1.500000e+01 | 81.71%
40.88/40.99 c 36.2s|360000 | 5 | 0 | 0.0 |3948k| 63 | - | 100 |1801 | 0 | 0 | 0 | 62k| 0 |-8.100000e+01 |-1.500000e+01 | 81.48%
42.08/42.12 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
42.08/42.12 c 37.2s|370000 | 5 | 0 | 0.0 |3920k| 63 | - | 100 |1724 | 0 | 0 | 0 | 64k| 0 |-7.900000e+01 |-1.500000e+01 | 81.01%
43.18/43.26 c 38.2s|380000 | 5 | 0 | 0.0 |3962k| 63 | - | 100 |1837 | 0 | 0 | 0 | 65k| 0 |-7.700000e+01 |-1.500000e+01 | 80.52%
44.38/44.41 c 39.2s|390000 | 5 | 0 | 0.0 |3941k| 64 | - | 100 |1779 | 0 | 0 | 0 | 67k| 0 |-7.400000e+01 |-1.500000e+01 | 79.73%
45.47/45.59 c 40.2s|400000 | 4 | 0 | 0.0 |4013k| 65 | - | 100 |1986 | 0 | 0 | 0 | 69k| 0 |-7.300000e+01 |-1.500000e+01 | 79.45%
47.18/47.20 c 41.7s|410000 | 6 | 0 | 0.0 |4006k| 67 | - | 100 |1997 | 0 | 0 | 0 | 74k| 0 |-6.600000e+01 |-1.500000e+01 | 77.27%
48.58/48.67 c
48.58/48.67 c SCIP Status : problem is solved [optimal solution found]
48.58/48.67 c Solving Time (sec) : 42.95
48.58/48.67 c Solving Nodes : 417875
48.58/48.67 c Primal Bound : -1.50000000000000e+01 (10 solutions)
48.58/48.67 c Dual Bound : -1.50000000000000e+01
48.58/48.67 c Gap : 0.00 %
48.58/48.67 s OPTIMUM FOUND
48.58/48.67 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.58/48.67 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.58/48.67 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
48.58/48.67 v -x22 -x21 -x20 -x19 -x18 -x17 -x16 -x15 -x14 -x13 x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2 -x1
48.58/48.67 c SCIP Status : problem is solved [optimal solution found]
48.58/48.68 c Solving Time : 42.95
48.58/48.68 c Original Problem :
48.58/48.68 c Problem name : HOME/instance-2663794-1276658695.opb
48.58/48.68 c Variables : 1635 (1635 binary, 0 integer, 0 implicit integer, 0 continuous)
48.58/48.68 c Constraints : 1635 initial, 1635 maximal
48.58/48.68 c Presolved Problem :
48.58/48.68 c Problem name : t_HOME/instance-2663794-1276658695.opb
48.58/48.68 c Variables : 100 (100 binary, 0 integer, 0 implicit integer, 0 continuous)
48.58/48.68 c Constraints : 1535 initial, 2263 maximal
48.58/48.68 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
48.58/48.68 c trivial : 0.00 0 0 0 0 0 0 0 0
48.58/48.68 c dualfix : 0.00 0 0 0 0 0 0 0 0
48.58/48.68 c boundshift : 0.00 0 0 0 0 0 0 0 0
48.58/48.68 c inttobinary : 0.00 0 0 0 0 0 0 0 0
48.58/48.68 c implics : 0.00 0 0 0 0 0 0 0 0
48.58/48.68 c probing : 0.03 0 0 0 0 0 0 0 0
48.58/48.68 c linear : 0.00 1535 0 0 1535 0 100 0 0
48.58/48.68 c logicor : 0.01 0 0 0 0 0 0 0 0
48.58/48.68 c root node : - 100 - - 100 - - - -
48.58/48.68 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
48.58/48.68 c integral : 0 0 0 0 0 0 0 0 0 0
48.58/48.68 c logicor : 1535+ 0 449158 0 8 75991 1112883 0 0 0
48.58/48.68 c countsols : 0 0 0 0 8 0 0 0 0 0
48.58/48.68 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
48.58/48.68 c integral : 0.00 0.00 0.00 0.00 0.00
48.58/48.68 c logicor : 11.45 0.00 11.45 0.00 0.00
48.58/48.68 c countsols : 0.00 0.00 0.00 0.00 0.00
48.58/48.68 c Propagators : Time Calls Cutoffs DomReds
48.58/48.68 c vbounds : 0.39 2 0 0
48.58/48.68 c rootredcost : 0.38 0 0 0
48.58/48.68 c pseudoobj : 8.70 714385 135282 854754
48.58/48.68 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
48.58/48.68 c propagation : 4.76 81809 78546 78546 19.4 0 0.0 -
48.58/48.68 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
48.58/48.68 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
48.58/48.68 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
48.58/48.68 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
48.58/48.68 c applied globally : - - - 72572 18.1 - - -
48.58/48.68 c applied locally : - - - 5974 34.7 - - -
48.58/48.68 c Separators : Time Calls Cutoffs DomReds Cuts Conss
48.58/48.68 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
48.58/48.68 c redcost : 0.00 0 0 0 0 0
48.58/48.68 c impliedbounds : 0.00 0 0 0 0 0
48.58/48.68 c intobj : 0.00 0 0 0 0 0
48.58/48.68 c cgmip : 0.00 0 0 0 0 0
48.58/48.68 c gomory : 0.00 0 0 0 0 0
48.58/48.68 c strongcg : 0.00 0 0 0 0 0
48.58/48.68 c cmir : 0.00 0 0 0 0 0
48.58/48.68 c flowcover : 0.00 0 0 0 0 0
48.58/48.68 c clique : 0.00 0 0 0 0 0
48.58/48.68 c zerohalf : 0.00 0 0 0 0 0
48.58/48.68 c mcf : 0.00 0 0 0 0 0
48.58/48.68 c rapidlearning : 0.00 0 0 0 0 0
48.58/48.68 c Pricers : Time Calls Vars
48.58/48.68 c problem variables: 0.00 0 0
48.58/48.68 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
48.58/48.68 c relpscost : 0.00 0 0 0 0 0 0
48.58/48.68 c pscost : 0.00 0 0 0 0 0 0
48.58/48.68 c inference : 1.51 211369 0 0 0 0 422738
48.58/48.68 c mostinf : 0.00 0 0 0 0 0 0
48.58/48.68 c leastinf : 0.00 0 0 0 0 0 0
48.58/48.68 c fullstrong : 0.00 0 0 0 0 0 0
48.58/48.68 c allfullstrong : 0.00 0 0 0 0 0 0
48.58/48.68 c random : 0.00 0 0 0 0 0 0
48.58/48.68 c Primal Heuristics : Time Calls Found
48.58/48.68 c LP solutions : 0.00 - 0
48.58/48.68 c pseudo solutions : 0.00 - 8
48.58/48.68 c oneopt : 0.17 0 0
48.58/48.68 c trivial : 0.01 2 2
48.58/48.68 c simplerounding : 0.00 0 0
48.58/48.68 c zirounding : 0.00 0 0
48.58/48.68 c rounding : 0.00 0 0
48.58/48.68 c shifting : 0.00 0 0
48.58/48.68 c intshifting : 0.00 0 0
48.58/48.68 c twoopt : 0.00 0 0
48.58/48.68 c fixandinfer : 0.00 0 0
48.58/48.68 c feaspump : 0.00 0 0
48.58/48.68 c coefdiving : 0.00 0 0
48.58/48.68 c pscostdiving : 0.00 0 0
48.58/48.68 c fracdiving : 0.00 0 0
48.58/48.68 c veclendiving : 0.00 0 0
48.58/48.68 c intdiving : 0.00 0 0
48.58/48.68 c actconsdiving : 0.00 0 0
48.58/48.68 c objpscostdiving : 0.00 0 0
48.58/48.68 c rootsoldiving : 0.00 0 0
48.58/48.68 c linesearchdiving : 0.00 0 0
48.58/48.68 c guideddiving : 0.00 0 0
48.58/48.68 c octane : 0.00 0 0
48.58/48.68 c rens : 0.00 0 0
48.58/48.68 c rins : 0.00 0 0
48.58/48.68 c localbranching : 0.00 0 0
48.58/48.68 c mutation : 0.00 0 0
48.58/48.68 c crossover : 0.00 0 0
48.58/48.68 c dins : 0.00 0 0
48.58/48.68 c undercover : 0.00 0 0
48.58/48.68 c nlp : 0.14 0 0
48.58/48.68 c trysol : 0.17 0 0
48.58/48.68 c LP : Time Calls Iterations Iter/call Iter/sec
48.58/48.68 c primal LP : 0.00 0 0 0.00 -
48.58/48.68 c dual LP : 0.00 0 0 0.00 -
48.58/48.68 c lex dual LP : 0.00 0 0 0.00 -
48.58/48.68 c barrier LP : 0.00 0 0 0.00 -
48.58/48.68 c diving/probing LP: 0.00 0 0 0.00 -
48.58/48.68 c strong branching : 0.00 0 0 0.00 -
48.58/48.68 c (at root node) : - 0 0 0.00 -
48.58/48.68 c conflict analysis: 0.00 0 0 0.00 -
48.58/48.68 c B&B Tree :
48.58/48.68 c number of runs : 1
48.58/48.68 c nodes : 417875
48.58/48.68 c nodes (total) : 417875
48.58/48.68 c nodes left : 0
48.58/48.68 c max depth : 84
48.58/48.68 c max depth (total): 84
48.58/48.68 c backtracks : 54211 (13.0%)
48.58/48.68 c delayed cutoffs : 4853
48.58/48.68 c repropagations : 55553 (81290 domain reductions, 4775 cutoffs)
48.58/48.68 c avg switch length: 2.12
48.58/48.68 c switching time : 7.32
48.58/48.68 c Solution :
48.58/48.68 c Solutions found : 10 (9 improvements)
48.58/48.68 c First Solution : +0.00000000000000e+00 (in run 1, after 0 nodes, 0.01 seconds, depth 0, found by <trivial>)
48.58/48.68 c Primal Bound : -1.50000000000000e+01 (in run 1, after 106051 nodes, 10.67 seconds, depth 19, found by <relaxation>)
48.58/48.68 c Dual Bound : -1.50000000000000e+01
48.58/48.68 c Gap : 0.00 %
48.58/48.68 c Root Dual Bound : -1.00000000000000e+02
48.58/48.68 c Root Iterations : 0
48.58/48.69 c Time complete: 48.66.