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-2663819-1276661577.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.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) 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.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.2s| 1 | 2 | 0 | - |3816k| 0 | - | 100 |1545 | 0 | 0 | 0 | 0 | 0 |-1.000000e+02 | 0.000000e+00 | 100.00%
0.19/0.28 o -9
0.19/0.28 c * 0.2s| 10 | 7 | 0 | 0.0 |3823k| 9 | - | 100 |1545 | 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| 14 | 7 | 0 | 0.0 |3825k| 9 | - | 100 |1545 | 0 | 0 | 0 | 0 | 0 |-9.900000e+01 |-1.000000e+01 | 89.90%
0.19/0.29 o -11
0.19/0.29 c * 0.2s| 97 | 5 | 0 | 0.0 |3826k| 13 | - | 100 |1545 | 0 | 0 | 0 | 0 | 0 |-9.900000e+01 |-1.100000e+01 | 88.89%
0.29/0.38 o -12
0.29/0.38 c * 0.2s| 989 | 6 | 0 | 0.0 |3828k| 25 | - | 100 |1545 | 0 | 0 | 0 | 12 | 0 |-9.900000e+01 |-1.200000e+01 | 87.88%
1.20/1.27 o -13
1.20/1.27 c * 1.0s| 9600 | 8 | 0 | 0.0 |3832k| 43 | - | 100 |1556 | 0 | 0 | 0 | 73 | 0 |-9.800000e+01 |-1.300000e+01 | 86.73%
1.20/1.28 o -14
1.20/1.28 c * 1.0s| 9672 | 7 | 0 | 0.0 |3837k| 43 | - | 100 |1568 | 0 | 0 | 0 | 93 | 0 |-9.800000e+01 |-1.400000e+01 | 85.71%
1.29/1.32 c 1.1s| 10000 | 8 | 0 | 0.0 |3847k| 43 | - | 100 |1598 | 0 | 0 | 0 | 173 | 0 |-9.800000e+01 |-1.400000e+01 | 85.71%
2.39/2.44 c 2.1s| 20000 | 5 | 0 | 0.0 |3893k| 43 | - | 100 |1674 | 0 | 0 | 0 |2188 | 0 |-9.800000e+01 |-1.400000e+01 | 85.71%
3.49/3.57 c 3.0s| 30000 | 6 | 0 | 0.0 |3912k| 43 | - | 100 |1699 | 0 | 0 | 0 |4094 | 0 |-9.800000e+01 |-1.400000e+01 | 85.71%
4.69/4.72 c 4.1s| 40000 | 4 | 0 | 0.0 |3948k| 45 | - | 100 |1778 | 0 | 0 | 0 |5931 | 0 |-9.800000e+01 |-1.400000e+01 | 85.71%
5.79/5.84 c 5.1s| 50000 | 5 | 0 | 0.0 |3955k| 55 | - | 100 |1796 | 0 | 0 | 0 |7865 | 0 |-9.700000e+01 |-1.400000e+01 | 85.57%
6.89/6.98 c 6.1s| 60000 | 4 | 0 | 0.0 |3909k| 55 | - | 100 |1671 | 0 | 0 | 0 | 10k| 0 |-9.700000e+01 |-1.400000e+01 | 85.57%
8.09/8.10 c 7.1s| 70000 | 5 | 0 | 0.0 |3973k| 55 | - | 100 |1816 | 0 | 0 | 0 | 12k| 0 |-9.700000e+01 |-1.400000e+01 | 85.57%
9.18/9.23 c 8.1s| 80000 | 5 | 0 | 0.0 |3967k| 55 | - | 100 |1796 | 0 | 0 | 0 | 14k| 0 |-9.700000e+01 |-1.400000e+01 | 85.57%
10.29/10.37 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
10.29/10.37 c 9.1s| 90000 | 7 | 0 | 0.0 |3949k| 55 | - | 100 |1745 | 0 | 0 | 0 | 15k| 0 |-9.700000e+01 |-1.400000e+01 | 85.57%
11.39/11.49 c 10.1s|100000 | 8 | 0 | 0.0 |3900k| 59 | - | 100 |1638 | 0 | 0 | 0 | 17k| 0 |-9.600000e+01 |-1.400000e+01 | 85.42%
12.59/12.61 c 11.1s|110000 | 7 | 0 | 0.0 |3942k| 59 | - | 100 |1735 | 0 | 0 | 0 | 19k| 0 |-9.600000e+01 |-1.400000e+01 | 85.42%
13.69/13.75 c 12.1s|120000 | 7 | 0 | 0.0 |3903k| 59 | - | 100 |1646 | 0 | 0 | 0 | 21k| 0 |-9.500000e+01 |-1.400000e+01 | 85.26%
14.79/14.87 c 13.1s|130000 | 6 | 0 | 0.0 |3901k| 59 | - | 100 |1617 | 0 | 0 | 0 | 23k| 0 |-9.500000e+01 |-1.400000e+01 | 85.26%
15.98/16.00 c 14.1s|140000 | 5 | 0 | 0.0 |3948k| 59 | - | 100 |1730 | 0 | 0 | 0 | 25k| 0 |-9.500000e+01 |-1.400000e+01 | 85.26%
17.08/17.14 c 15.1s|150000 | 4 | 0 | 0.0 |3969k| 59 | - | 100 |1778 | 0 | 0 | 0 | 27k| 0 |-9.500000e+01 |-1.400000e+01 | 85.26%
18.18/18.25 c 16.0s|160000 | 6 | 0 | 0.0 |3922k| 60 | - | 100 |1681 | 0 | 0 | 0 | 29k| 0 |-9.400000e+01 |-1.400000e+01 | 85.11%
19.28/19.37 c 17.0s|170000 | 5 | 0 | 0.0 |3945k| 60 | - | 100 |1740 | 0 | 0 | 0 | 31k| 0 |-9.300000e+01 |-1.400000e+01 | 84.95%
20.38/20.50 c 18.0s|180000 | 5 | 0 | 0.0 |3936k| 60 | - | 100 |1698 | 0 | 0 | 0 | 32k| 0 |-9.300000e+01 |-1.400000e+01 | 84.95%
21.59/21.64 c 19.0s|190000 | 6 | 0 | 0.0 |3896k| 60 | - | 100 |1604 | 0 | 0 | 0 | 34k| 0 |-9.200000e+01 |-1.400000e+01 | 84.78%
22.69/22.75 c 20.0s|200000 | 6 | 0 | 0.0 |3908k| 60 | - | 100 |1640 | 0 | 0 | 0 | 37k| 0 |-9.200000e+01 |-1.400000e+01 | 84.78%
23.78/23.87 c 21.0s|210000 | 6 | 0 | 0.0 |3945k| 60 | - | 100 |1729 | 0 | 0 | 0 | 39k| 0 |-9.200000e+01 |-1.400000e+01 | 84.78%
24.89/24.99 c 22.0s|220000 | 7 | 0 | 0.0 |3974k| 60 | - | 100 |1792 | 0 | 0 | 0 | 41k| 0 |-9.200000e+01 |-1.400000e+01 | 84.78%
26.09/26.12 c 23.0s|230000 | 6 | 0 | 0.0 |3963k| 60 | - | 100 |1761 | 0 | 0 | 0 | 43k| 0 |-9.200000e+01 |-1.400000e+01 | 84.78%
27.19/27.24 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
27.19/27.24 c 24.0s|240000 | 4 | 0 | 0.0 |3964k| 60 | - | 100 |1758 | 0 | 0 | 0 | 45k| 0 |-9.200000e+01 |-1.400000e+01 | 84.78%
28.28/28.36 c 25.0s|250000 | 5 | 0 | 0.0 |3940k| 62 | - | 100 |1716 | 0 | 0 | 0 | 47k| 0 |-9.100000e+01 |-1.400000e+01 | 84.62%
29.38/29.49 c 26.0s|260000 | 7 | 0 | 0.0 |3982k| 62 | - | 100 |1812 | 0 | 0 | 0 | 48k| 0 |-9.100000e+01 |-1.400000e+01 | 84.62%
30.58/30.62 c 27.0s|270000 | 6 | 0 | 0.0 |3928k| 62 | - | 100 |1686 | 0 | 0 | 0 | 50k| 0 |-9.000000e+01 |-1.400000e+01 | 84.44%
31.68/31.74 c 28.0s|280000 | 5 | 0 | 0.0 |3990k| 62 | - | 100 |1836 | 0 | 0 | 0 | 52k| 0 |-9.000000e+01 |-1.400000e+01 | 84.44%
32.79/32.88 c 29.0s|290000 | 5 | 0 | 0.0 |3992k| 62 | - | 100 |1831 | 0 | 0 | 0 | 54k| 0 |-9.000000e+01 |-1.400000e+01 | 84.44%
33.98/34.01 c 29.9s|300000 | 7 | 0 | 0.0 |3953k| 62 | - | 100 |1749 | 0 | 0 | 0 | 56k| 0 |-8.900000e+01 |-1.400000e+01 | 84.27%
35.08/35.14 c 31.0s|310000 | 4 | 0 | 0.0 |3969k| 62 | - | 100 |1799 | 0 | 0 | 0 | 58k| 0 |-8.800000e+01 |-1.400000e+01 | 84.09%
36.18/36.28 c 32.0s|320000 | 7 | 0 | 0.0 |3916k| 62 | - | 100 |1659 | 0 | 0 | 0 | 60k| 0 |-8.700000e+01 |-1.400000e+01 | 83.91%
37.28/37.40 c 33.0s|330000 | 5 | 0 | 0.0 |3971k| 62 | - | 100 |1799 | 0 | 0 | 0 | 62k| 0 |-8.700000e+01 |-1.400000e+01 | 83.91%
38.49/38.53 c 34.0s|340000 | 5 | 0 | 0.0 |3914k| 62 | - | 100 |1656 | 0 | 0 | 0 | 64k| 0 |-8.600000e+01 |-1.400000e+01 | 83.72%
39.58/39.65 c 35.0s|350000 | 5 | 0 | 0.0 |3970k| 62 | - | 100 |1794 | 0 | 0 | 0 | 65k| 0 |-8.600000e+01 |-1.400000e+01 | 83.72%
40.69/40.78 c 36.0s|360000 | 5 | 0 | 0.0 |3926k| 62 | - | 100 |1683 | 0 | 0 | 0 | 67k| 0 |-8.500000e+01 |-1.400000e+01 | 83.53%
41.89/41.91 c 37.0s|370000 | 5 | 0 | 0.0 |4000k| 62 | - | 100 |1866 | 0 | 0 | 0 | 69k| 0 |-8.500000e+01 |-1.400000e+01 | 83.53%
42.98/43.04 c 38.0s|380000 | 6 | 0 | 0.0 |3976k| 63 | - | 100 |1813 | 0 | 0 | 0 | 71k| 0 |-8.400000e+01 |-1.400000e+01 | 83.33%
44.09/44.18 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
44.09/44.18 c 39.0s|390000 | 5 | 0 | 0.0 |3921k| 67 | - | 100 |1684 | 0 | 0 | 0 | 73k| 0 |-8.300000e+01 |-1.400000e+01 | 83.13%
45.28/45.30 c 40.0s|400000 | 6 | 0 | 0.0 |3960k| 67 | - | 100 |1770 | 0 | 0 | 0 | 75k| 0 |-8.300000e+01 |-1.400000e+01 | 83.13%
46.38/46.44 c 41.0s|410000 | 5 | 0 | 0.0 |3926k| 67 | - | 100 |1693 | 0 | 0 | 0 | 76k| 0 |-8.200000e+01 |-1.400000e+01 | 82.93%
47.48/47.55 c 42.0s|420000 | 3 | 0 | 0.0 |3980k| 67 | - | 100 |1835 | 0 | 0 | 0 | 78k| 0 |-8.100000e+01 |-1.400000e+01 | 82.72%
48.58/48.68 c 43.0s|430000 | 4 | 0 | 0.0 |4024k| 67 | - | 100 |1928 | 0 | 0 | 0 | 80k| 0 |-8.100000e+01 |-1.400000e+01 | 82.72%
49.78/49.80 c 43.9s|440000 | 6 | 0 | 0.0 |3965k| 67 | - | 100 |1803 | 0 | 0 | 0 | 82k| 0 |-7.900000e+01 |-1.400000e+01 | 82.28%
50.88/50.92 c 44.9s|450000 | 5 | 0 | 0.0 |3929k| 67 | - | 100 |1698 | 0 | 0 | 0 | 84k| 0 |-7.700000e+01 |-1.400000e+01 | 81.82%
51.98/52.04 c 45.9s|460000 | 4 | 0 | 0.0 |3956k| 67 | - | 100 |1780 | 0 | 0 | 0 | 86k| 0 |-7.500000e+01 |-1.400000e+01 | 81.33%
53.18/53.24 c 47.0s|470000 | 5 | 0 | 0.0 |4006k| 67 | - | 100 |1937 | 0 | 0 | 0 | 88k| 0 |-7.100000e+01 |-1.400000e+01 | 80.28%
54.88/54.99 c 48.5s|480000 | 5 | 0 | 0.0 |3825k| 69 | - | 100 |1161 | 0 | 0 | 0 | 93k| 0 |-6.400000e+01 |-1.400000e+01 | 78.12%
56.38/56.40 c
56.38/56.40 c SCIP Status : problem is solved [optimal solution found]
56.38/56.40 c Solving Time (sec) : 49.70
56.38/56.40 c Solving Nodes : 487934
56.38/56.40 c Primal Bound : -1.40000000000000e+01 (8 solutions)
56.38/56.40 c Dual Bound : -1.40000000000000e+01
56.38/56.40 c Gap : 0.00 %
56.38/56.40 s OPTIMUM FOUND
56.38/56.40 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
56.38/56.40 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
56.38/56.40 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
56.38/56.40 v -x22 -x21 -x20 -x19 -x18 -x17 -x16 -x15 -x14 -x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2 -x1
56.38/56.40 c SCIP Status : problem is solved [optimal solution found]
56.38/56.41 c Solving Time : 49.70
56.38/56.41 c Original Problem :
56.38/56.41 c Problem name : HOME/instance-2663819-1276661577.opb
56.38/56.41 c Variables : 1645 (1645 binary, 0 integer, 0 implicit integer, 0 continuous)
56.38/56.41 c Constraints : 1645 initial, 1645 maximal
56.38/56.41 c Presolved Problem :
56.38/56.41 c Problem name : t_HOME/instance-2663819-1276661577.opb
56.38/56.41 c Variables : 100 (100 binary, 0 integer, 0 implicit integer, 0 continuous)
56.38/56.41 c Constraints : 1545 initial, 2331 maximal
56.38/56.41 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
56.38/56.41 c trivial : 0.00 0 0 0 0 0 0 0 0
56.38/56.41 c dualfix : 0.00 0 0 0 0 0 0 0 0
56.38/56.41 c boundshift : 0.00 0 0 0 0 0 0 0 0
56.38/56.41 c inttobinary : 0.00 0 0 0 0 0 0 0 0
56.38/56.41 c implics : 0.00 0 0 0 0 0 0 0 0
56.38/56.41 c probing : 0.03 0 0 0 0 0 0 0 0
56.38/56.41 c linear : 0.01 1545 0 0 1545 0 100 0 0
56.38/56.41 c logicor : 0.01 0 0 0 0 0 0 0 0
56.38/56.41 c root node : - 100 - - 100 - - - -
56.38/56.41 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
56.38/56.41 c integral : 0 0 0 0 0 0 0 0 0 0
56.38/56.41 c logicor : 1545+ 0 529375 0 6 94038 1233593 0 0 0
56.38/56.41 c countsols : 0 0 0 0 6 0 0 0 0 0
56.38/56.41 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
56.38/56.41 c integral : 0.00 0.00 0.00 0.00 0.00
56.38/56.41 c logicor : 13.22 0.00 13.22 0.00 0.00
56.38/56.41 c countsols : 0.00 0.00 0.00 0.00 0.00
56.38/56.41 c Propagators : Time Calls Cutoffs DomReds
56.38/56.41 c vbounds : 0.45 2 0 0
56.38/56.41 c rootredcost : 0.33 0 0 0
56.38/56.41 c pseudoobj : 9.53 842166 153319 977662
56.38/56.41 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
56.38/56.41 c propagation : 5.84 100373 98339 98339 19.7 0 0.0 -
56.38/56.41 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
56.38/56.41 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
56.38/56.41 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
56.38/56.41 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
56.38/56.41 c applied globally : - - - 89967 18.3 - - -
56.38/56.41 c applied locally : - - - 8372 34.7 - - -
56.38/56.41 c Separators : Time Calls Cutoffs DomReds Cuts Conss
56.38/56.41 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
56.38/56.41 c redcost : 0.00 0 0 0 0 0
56.38/56.41 c impliedbounds : 0.00 0 0 0 0 0
56.38/56.41 c intobj : 0.00 0 0 0 0 0
56.38/56.41 c cgmip : 0.00 0 0 0 0 0
56.38/56.41 c gomory : 0.00 0 0 0 0 0
56.38/56.41 c strongcg : 0.00 0 0 0 0 0
56.38/56.41 c cmir : 0.00 0 0 0 0 0
56.38/56.41 c flowcover : 0.00 0 0 0 0 0
56.38/56.41 c clique : 0.00 0 0 0 0 0
56.38/56.41 c zerohalf : 0.00 0 0 0 0 0
56.38/56.41 c mcf : 0.00 0 0 0 0 0
56.38/56.41 c rapidlearning : 0.00 0 0 0 0 0
56.38/56.41 c Pricers : Time Calls Vars
56.38/56.41 c problem variables: 0.00 0 0
56.38/56.41 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
56.38/56.41 c relpscost : 0.00 0 0 0 0 0 0
56.38/56.41 c pscost : 0.00 0 0 0 0 0 0
56.38/56.41 c inference : 1.38 247495 0 0 0 0 494990
56.38/56.41 c mostinf : 0.00 0 0 0 0 0 0
56.38/56.41 c leastinf : 0.00 0 0 0 0 0 0
56.38/56.41 c fullstrong : 0.00 0 0 0 0 0 0
56.38/56.41 c allfullstrong : 0.00 0 0 0 0 0 0
56.38/56.41 c random : 0.00 0 0 0 0 0 0
56.38/56.41 c Primal Heuristics : Time Calls Found
56.38/56.41 c LP solutions : 0.00 - 0
56.38/56.41 c pseudo solutions : 0.00 - 6
56.38/56.41 c oneopt : 0.23 0 0
56.38/56.41 c trivial : 0.00 2 2
56.38/56.41 c simplerounding : 0.00 0 0
56.38/56.41 c zirounding : 0.00 0 0
56.38/56.41 c rounding : 0.00 0 0
56.38/56.41 c shifting : 0.00 0 0
56.38/56.41 c intshifting : 0.00 0 0
56.38/56.41 c twoopt : 0.00 0 0
56.38/56.41 c fixandinfer : 0.00 0 0
56.38/56.41 c feaspump : 0.00 0 0
56.38/56.41 c coefdiving : 0.00 0 0
56.38/56.41 c pscostdiving : 0.00 0 0
56.38/56.41 c fracdiving : 0.00 0 0
56.38/56.41 c veclendiving : 0.00 0 0
56.38/56.41 c intdiving : 0.00 0 0
56.38/56.41 c actconsdiving : 0.00 0 0
56.38/56.41 c objpscostdiving : 0.00 0 0
56.38/56.41 c rootsoldiving : 0.00 0 0
56.38/56.41 c linesearchdiving : 0.00 0 0
56.38/56.41 c guideddiving : 0.00 0 0
56.38/56.41 c octane : 0.00 0 0
56.38/56.41 c rens : 0.00 0 0
56.38/56.41 c rins : 0.00 0 0
56.38/56.41 c localbranching : 0.00 0 0
56.38/56.41 c mutation : 0.00 0 0
56.38/56.41 c crossover : 0.00 0 0
56.38/56.41 c dins : 0.00 0 0
56.38/56.41 c undercover : 0.00 0 0
56.38/56.41 c nlp : 0.21 0 0
56.38/56.41 c trysol : 0.17 0 0
56.38/56.41 c LP : Time Calls Iterations Iter/call Iter/sec
56.38/56.41 c primal LP : 0.00 0 0 0.00 -
56.38/56.41 c dual LP : 0.00 0 0 0.00 -
56.38/56.41 c lex dual LP : 0.00 0 0 0.00 -
56.38/56.41 c barrier LP : 0.00 0 0 0.00 -
56.38/56.41 c diving/probing LP: 0.00 0 0 0.00 -
56.38/56.41 c strong branching : 0.00 0 0 0.00 -
56.38/56.41 c (at root node) : - 0 0 0.00 -
56.38/56.41 c conflict analysis: 0.00 0 0 0.00 -
56.38/56.41 c B&B Tree :
56.38/56.41 c number of runs : 1
56.38/56.41 c nodes : 487934
56.38/56.41 c nodes (total) : 487934
56.38/56.41 c nodes left : 0
56.38/56.41 c max depth : 86
56.38/56.41 c max depth (total): 86
56.38/56.41 c backtracks : 66225 (13.6%)
56.38/56.41 c delayed cutoffs : 7051
56.38/56.41 c repropagations : 68833 (105988 domain reductions, 6924 cutoffs)
56.38/56.41 c avg switch length: 2.12
56.38/56.41 c switching time : 8.62
56.38/56.41 c Solution :
56.38/56.41 c Solutions found : 8 (7 improvements)
56.38/56.41 c First Solution : +0.00000000000000e+00 (in run 1, after 0 nodes, 0.01 seconds, depth 0, found by <trivial>)
56.38/56.41 c Primal Bound : -1.40000000000000e+01 (in run 1, after 9672 nodes, 1.04 seconds, depth 16, found by <relaxation>)
56.38/56.41 c Dual Bound : -1.40000000000000e+01
56.38/56.41 c Gap : 0.00 %
56.38/56.41 c Root Dual Bound : -1.00000000000000e+02
56.38/56.41 c Root Iterations : 0
56.38/56.42 c Time complete: 56.39.