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-2663808-1276660408.opb>
0.00/0.02 c original problem has 1637 variables (1637 bin, 0 int, 0 impl, 0 cont) and 1637 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) 1537 del vars, 100 del conss, 1537 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 6148 impls, 0 clqs
0.19/0.28 c presolving (2 rounds):
0.19/0.28 c 1537 deleted vars, 100 deleted constraints, 1537 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.19/0.28 c 9222 implications, 0 cliques
0.19/0.28 c presolved problem has 100 variables (100 bin, 0 int, 0 impl, 0 cont) and 1537 constraints
0.19/0.28 c 1537 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.13
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 | - |3798k| 0 | - | 100 |1537 | 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.1s| 8 | 6 | 0 | 0.0 |3804k| 7 | - | 100 |1537 | 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.1s| 11 | 6 | 0 | 0.0 |3805k| 8 | - | 100 |1537 | 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| 16 | 7 | 0 | 0.0 |3807k| 8 | - | 100 |1537 | 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| 26 | 5 | 0 | 0.0 |3808k| 10 | - | 100 |1537 | 0 | 0 | 0 | 0 | 0 |-9.900000e+01 |-1.000000e+01 | 89.90%
0.29/0.31 o -11
0.29/0.31 c * 0.2s| 246 | 5 | 0 | 0.0 |3810k| 16 | - | 100 |1537 | 0 | 0 | 0 | 7 | 0 |-9.900000e+01 |-1.100000e+01 | 88.89%
0.29/0.38 o -12
0.29/0.38 c * 0.2s| 949 | 5 | 0 | 0.0 |3811k| 23 | - | 100 |1537 | 0 | 0 | 0 | 8 | 0 |-9.900000e+01 |-1.200000e+01 | 87.88%
0.99/1.03 o -13
0.99/1.03 c * 0.8s| 7453 | 6 | 0 | 0.0 |3815k| 32 | - | 100 |1538 | 0 | 0 | 0 | 30 | 0 |-9.900000e+01 |-1.300000e+01 | 86.87%
1.19/1.29 c 1.0s| 10000 | 2 | 0 | 0.0 |3815k| 35 | - | 100 |1537 | 0 | 0 | 0 | 35 | 0 |-9.900000e+01 |-1.300000e+01 | 86.87%
2.39/2.41 c 2.0s| 20000 | 4 | 0 | 0.0 |3880k| 42 | - | 100 |1667 | 0 | 0 | 0 |2295 | 0 |-9.800000e+01 |-1.300000e+01 | 86.73%
3.49/3.52 c 3.0s| 30000 | 5 | 0 | 0.0 |3934k| 42 | - | 100 |1784 | 0 | 0 | 0 |4348 | 0 |-9.800000e+01 |-1.300000e+01 | 86.73%
4.59/4.66 c 4.0s| 40000 | 6 | 0 | 0.0 |3857k| 53 | - | 100 |1595 | 0 | 0 | 0 |6408 | 0 |-9.700000e+01 |-1.300000e+01 | 86.60%
5.69/5.77 c 5.0s| 50000 | 6 | 0 | 0.0 |3930k| 53 | - | 100 |1757 | 0 | 0 | 0 |8407 | 0 |-9.700000e+01 |-1.300000e+01 | 86.60%
6.79/6.89 c 6.0s| 60000 | 6 | 0 | 0.0 |3947k| 53 | - | 100 |1787 | 0 | 0 | 0 | 10k| 0 |-9.700000e+01 |-1.300000e+01 | 86.60%
7.79/7.82 o -14
7.79/7.82 c * 6.8s| 68205 | 6 | 0 | 0.0 |3886k| 55 | - | 100 |1636 | 0 | 0 | 0 | 11k| 0 |-9.600000e+01 |-1.400000e+01 | 85.42%
7.99/8.01 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
7.99/8.01 c 7.0s| 70000 | 7 | 0 | 0.0 |3891k| 55 | - | 100 |1644 | 0 | 0 | 0 | 12k| 0 |-9.600000e+01 |-1.400000e+01 | 85.42%
9.09/9.14 c 8.0s| 80000 | 6 | 0 | 0.0 |3931k| 55 | - | 100 |1735 | 0 | 0 | 0 | 14k| 0 |-9.600000e+01 |-1.400000e+01 | 85.42%
10.19/10.27 c 9.0s| 90000 | 4 | 0 | 0.0 |3956k| 55 | - | 100 |1789 | 0 | 0 | 0 | 16k| 0 |-9.600000e+01 |-1.400000e+01 | 85.42%
11.29/11.39 c 10.0s|100000 | 6 | 0 | 0.0 |3919k| 55 | - | 100 |1711 | 0 | 0 | 0 | 18k| 0 |-9.500000e+01 |-1.400000e+01 | 85.26%
12.48/12.51 c 11.0s|110000 | 6 | 0 | 0.0 |3942k| 55 | - | 100 |1761 | 0 | 0 | 0 | 20k| 0 |-9.500000e+01 |-1.400000e+01 | 85.26%
13.58/13.63 c 12.0s|120000 | 6 | 0 | 0.0 |3953k| 55 | - | 100 |1777 | 0 | 0 | 0 | 22k| 0 |-9.500000e+01 |-1.400000e+01 | 85.26%
14.69/14.76 c 13.0s|130000 | 6 | 0 | 0.0 |3944k| 55 | - | 100 |1749 | 0 | 0 | 0 | 24k| 0 |-9.500000e+01 |-1.400000e+01 | 85.26%
15.79/15.88 c 13.9s|140000 | 4 | 0 | 0.0 |3906k| 59 | - | 100 |1665 | 0 | 0 | 0 | 26k| 0 |-9.400000e+01 |-1.400000e+01 | 85.11%
16.98/17.00 c 14.9s|150000 | 6 | 0 | 0.0 |3930k| 59 | - | 100 |1721 | 0 | 0 | 0 | 28k| 0 |-9.400000e+01 |-1.400000e+01 | 85.11%
18.09/18.12 c 15.9s|160000 | 5 | 0 | 0.0 |3959k| 59 | - | 100 |1786 | 0 | 0 | 0 | 30k| 0 |-9.400000e+01 |-1.400000e+01 | 85.11%
19.19/19.24 c 16.9s|170000 | 7 | 0 | 0.0 |3899k| 59 | - | 100 |1648 | 0 | 0 | 0 | 32k| 0 |-9.300000e+01 |-1.400000e+01 | 84.95%
20.28/20.36 c 17.9s|180000 | 4 | 0 | 0.0 |3947k| 59 | - | 100 |1767 | 0 | 0 | 0 | 34k| 0 |-9.300000e+01 |-1.400000e+01 | 84.95%
21.38/21.48 c 18.9s|190000 | 6 | 0 | 0.0 |3973k| 59 | - | 100 |1820 | 0 | 0 | 0 | 36k| 0 |-9.300000e+01 |-1.400000e+01 | 84.95%
22.48/22.60 c 19.9s|200000 | 5 | 0 | 0.0 |3957k| 59 | - | 100 |1801 | 0 | 0 | 0 | 37k| 0 |-9.200000e+01 |-1.400000e+01 | 84.78%
23.69/23.71 c 20.9s|210000 | 7 | 0 | 0.0 |3926k| 59 | - | 100 |1714 | 0 | 0 | 0 | 39k| 0 |-9.100000e+01 |-1.400000e+01 | 84.62%
24.78/24.84 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
24.78/24.84 c 21.9s|220000 | 3 | 0 | 0.0 |3988k| 59 | - | 100 |1859 | 0 | 0 | 0 | 41k| 0 |-9.100000e+01 |-1.400000e+01 | 84.62%
25.89/25.95 c 22.9s|230000 | 5 | 0 | 0.0 |3928k| 59 | - | 100 |1724 | 0 | 0 | 0 | 43k| 0 |-9.000000e+01 |-1.400000e+01 | 84.44%
26.99/27.06 c 23.9s|240000 | 6 | 0 | 0.0 |3968k| 59 | - | 100 |1817 | 0 | 0 | 0 | 45k| 0 |-9.000000e+01 |-1.400000e+01 | 84.44%
28.09/28.19 c 24.9s|250000 | 7 | 0 | 0.0 |3885k| 60 | - | 100 |1615 | 0 | 0 | 0 | 47k| 0 |-8.900000e+01 |-1.400000e+01 | 84.27%
29.28/29.30 c 25.9s|260000 | 6 | 0 | 0.0 |3963k| 60 | - | 100 |1811 | 0 | 0 | 0 | 49k| 0 |-8.900000e+01 |-1.400000e+01 | 84.27%
30.38/30.41 c 26.9s|270000 | 5 | 0 | 0.0 |3925k| 60 | - | 100 |1722 | 0 | 0 | 0 | 51k| 0 |-8.800000e+01 |-1.400000e+01 | 84.09%
31.48/31.53 c 27.9s|280000 | 6 | 0 | 0.0 |3905k| 60 | - | 100 |1667 | 0 | 0 | 0 | 53k| 0 |-8.700000e+01 |-1.400000e+01 | 83.91%
32.58/32.66 c 28.9s|290000 | 6 | 0 | 0.0 |3977k| 60 | - | 100 |1843 | 0 | 0 | 0 | 54k| 0 |-8.700000e+01 |-1.400000e+01 | 83.91%
33.68/33.77 c 29.9s|300000 | 5 | 0 | 0.0 |3938k| 61 | - | 100 |1752 | 0 | 0 | 0 | 56k| 0 |-8.600000e+01 |-1.400000e+01 | 83.72%
34.78/34.89 c 30.8s|310000 | 5 | 0 | 0.0 |3976k| 61 | - | 100 |1841 | 0 | 0 | 0 | 58k| 0 |-8.600000e+01 |-1.400000e+01 | 83.72%
35.98/36.02 c 31.8s|320000 | 8 | 0 | 0.0 |3910k| 64 | - | 100 |1678 | 0 | 0 | 0 | 60k| 0 |-8.500000e+01 |-1.400000e+01 | 83.53%
37.08/37.13 c 32.8s|330000 | 6 | 0 | 0.0 |3987k| 64 | - | 100 |1870 | 0 | 0 | 0 | 62k| 0 |-8.500000e+01 |-1.400000e+01 | 83.53%
38.18/38.26 c 33.8s|340000 | 5 | 0 | 0.0 |3930k| 64 | - | 100 |1744 | 0 | 0 | 0 | 64k| 0 |-8.400000e+01 |-1.400000e+01 | 83.33%
39.28/39.37 c 34.8s|350000 | 6 | 0 | 0.0 |3907k| 64 | - | 100 |1670 | 0 | 0 | 0 | 66k| 0 |-8.300000e+01 |-1.400000e+01 | 83.13%
40.38/40.48 c 35.8s|360000 | 3 | 0 | 0.0 |3981k| 64 | - | 100 |1860 | 0 | 0 | 0 | 68k| 0 |-8.300000e+01 |-1.400000e+01 | 83.13%
41.48/41.59 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
41.48/41.59 c 36.7s|370000 | 7 | 0 | 0.0 |3922k| 64 | - | 100 |1711 | 0 | 0 | 0 | 70k| 0 |-8.200000e+01 |-1.400000e+01 | 82.93%
41.69/41.79 o -15
41.69/41.79 c *36.9s|371754 | 7 | 0 | 0.0 |3927k| 64 | - | 100 |1714 | 0 | 0 | 0 | 70k| 0 |-8.200000e+01 |-1.500000e+01 | 81.71%
42.68/42.71 c 37.7s|380000 | 4 | 0 | 0.0 |3973k| 64 | - | 100 |1835 | 0 | 0 | 0 | 72k| 0 |-8.200000e+01 |-1.500000e+01 | 81.71%
43.78/43.82 c 38.7s|390000 | 5 | 0 | 0.0 |3926k| 67 | - | 100 |1724 | 0 | 0 | 0 | 73k| 0 |-8.100000e+01 |-1.500000e+01 | 81.48%
44.89/44.94 c 39.7s|400000 | 6 | 0 | 0.0 |3904k| 67 | - | 100 |1666 | 0 | 0 | 0 | 75k| 0 |-8.000000e+01 |-1.500000e+01 | 81.25%
45.98/46.06 c 40.7s|410000 | 5 | 0 | 0.0 |3946k| 67 | - | 100 |1785 | 0 | 0 | 0 | 77k| 0 |-7.900000e+01 |-1.500000e+01 | 81.01%
47.08/47.20 c 41.7s|420000 | 5 | 0 | 0.0 |3897k| 67 | - | 100 |1645 | 0 | 0 | 0 | 79k| 0 |-7.800000e+01 |-1.500000e+01 | 80.77%
48.28/48.32 c 42.7s|430000 | 3 | 0 | 0.0 |3947k| 67 | - | 100 |1790 | 0 | 0 | 0 | 80k| 0 |-7.600000e+01 |-1.500000e+01 | 80.26%
49.39/49.46 c 43.7s|440000 | 5 | 0 | 0.0 |3949k| 67 | - | 100 |1802 | 0 | 0 | 0 | 82k| 0 |-7.300000e+01 |-1.500000e+01 | 79.45%
50.79/50.85 c 44.9s|450000 | 3 | 0 | 0.0 |4020k| 67 | - | 100 |2027 | 0 | 0 | 0 | 85k| 0 |-6.900000e+01 |-1.500000e+01 | 78.26%
52.68/52.71 c 46.5s|460000 | 4 | 0 | 0.0 |3738k| 70 | - | 100 | 834 | 0 | 0 | 0 | 91k| 0 |-5.500000e+01 |-1.500000e+01 | 72.73%
52.98/53.08 c
52.98/53.08 c SCIP Status : problem is solved [optimal solution found]
52.98/53.08 c Solving Time (sec) : 46.87
52.98/53.08 c Solving Nodes : 461984
52.98/53.08 c Primal Bound : -1.50000000000000e+01 (11 solutions)
52.98/53.08 c Dual Bound : -1.50000000000000e+01
52.98/53.08 c Gap : 0.00 %
52.98/53.08 s OPTIMUM FOUND
52.98/53.08 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
52.98/53.08 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
52.98/53.08 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
52.98/53.08 v -x22 -x21 -x20 -x19 -x18 -x17 -x16 -x15 -x14 -x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 x3 -x2 -x1
52.98/53.08 c SCIP Status : problem is solved [optimal solution found]
52.98/53.08 c Solving Time : 46.87
52.98/53.08 c Original Problem :
52.98/53.08 c Problem name : HOME/instance-2663808-1276660408.opb
52.98/53.08 c Variables : 1637 (1637 binary, 0 integer, 0 implicit integer, 0 continuous)
52.98/53.08 c Constraints : 1637 initial, 1637 maximal
52.98/53.08 c Presolved Problem :
52.98/53.08 c Problem name : t_HOME/instance-2663808-1276660408.opb
52.98/53.08 c Variables : 100 (100 binary, 0 integer, 0 implicit integer, 0 continuous)
52.98/53.08 c Constraints : 1537 initial, 2269 maximal
52.98/53.08 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
52.98/53.08 c trivial : 0.00 0 0 0 0 0 0 0 0
52.98/53.08 c dualfix : 0.00 0 0 0 0 0 0 0 0
52.98/53.08 c boundshift : 0.00 0 0 0 0 0 0 0 0
52.98/53.08 c inttobinary : 0.00 0 0 0 0 0 0 0 0
52.98/53.08 c implics : 0.00 0 0 0 0 0 0 0 0
52.98/53.08 c probing : 0.03 0 0 0 0 0 0 0 0
52.98/53.08 c linear : 0.01 1537 0 0 1537 0 100 0 0
52.98/53.08 c logicor : 0.01 0 0 0 0 0 0 0 0
52.98/53.08 c root node : - 100 - - 100 - - - -
52.98/53.08 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
52.98/53.08 c integral : 0 0 0 0 0 0 0 0 0 0
52.98/53.08 c logicor : 1537+ 0 500477 0 9 88654 1165390 0 0 0
52.98/53.08 c countsols : 0 0 0 0 9 0 0 0 0 0
52.98/53.08 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
52.98/53.08 c integral : 0.00 0.00 0.00 0.00 0.00
52.98/53.08 c logicor : 12.35 0.00 12.35 0.00 0.00
52.98/53.08 c countsols : 0.00 0.00 0.00 0.00 0.00
52.98/53.08 c Propagators : Time Calls Cutoffs DomReds
52.98/53.08 c vbounds : 0.43 2 0 0
52.98/53.08 c rootredcost : 0.30 0 0 0
52.98/53.08 c pseudoobj : 9.05 795479 145448 930715
52.98/53.08 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
52.98/53.08 c propagation : 5.34 94822 92737 92737 19.8 0 0.0 -
52.98/53.08 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
52.98/53.08 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
52.98/53.08 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
52.98/53.08 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
52.98/53.08 c applied globally : - - - 85582 18.6 - - -
52.98/53.08 c applied locally : - - - 7155 34.3 - - -
52.98/53.08 c Separators : Time Calls Cutoffs DomReds Cuts Conss
52.98/53.08 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
52.98/53.08 c redcost : 0.00 0 0 0 0 0
52.98/53.08 c impliedbounds : 0.00 0 0 0 0 0
52.98/53.08 c intobj : 0.00 0 0 0 0 0
52.98/53.08 c cgmip : 0.00 0 0 0 0 0
52.98/53.08 c gomory : 0.00 0 0 0 0 0
52.98/53.08 c strongcg : 0.00 0 0 0 0 0
52.98/53.08 c cmir : 0.00 0 0 0 0 0
52.98/53.08 c flowcover : 0.00 0 0 0 0 0
52.98/53.08 c clique : 0.00 0 0 0 0 0
52.98/53.08 c zerohalf : 0.00 0 0 0 0 0
52.98/53.08 c mcf : 0.00 0 0 0 0 0
52.98/53.08 c rapidlearning : 0.00 0 0 0 0 0
52.98/53.08 c Pricers : Time Calls Vars
52.98/53.08 c problem variables: 0.00 0 0
52.98/53.08 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
52.98/53.08 c relpscost : 0.00 0 0 0 0 0 0
52.98/53.08 c pscost : 0.00 0 0 0 0 0 0
52.98/53.08 c inference : 1.58 234228 0 0 0 0 468456
52.98/53.08 c mostinf : 0.00 0 0 0 0 0 0
52.98/53.08 c leastinf : 0.00 0 0 0 0 0 0
52.98/53.08 c fullstrong : 0.00 0 0 0 0 0 0
52.98/53.08 c allfullstrong : 0.00 0 0 0 0 0 0
52.98/53.08 c random : 0.00 0 0 0 0 0 0
52.98/53.08 c Primal Heuristics : Time Calls Found
52.98/53.08 c LP solutions : 0.00 - 0
52.98/53.08 c pseudo solutions : 0.00 - 9
52.98/53.08 c oneopt : 0.33 0 0
52.98/53.08 c trivial : 0.00 2 2
52.98/53.08 c simplerounding : 0.00 0 0
52.98/53.08 c zirounding : 0.00 0 0
52.98/53.08 c rounding : 0.00 0 0
52.98/53.08 c shifting : 0.00 0 0
52.98/53.08 c intshifting : 0.00 0 0
52.98/53.08 c twoopt : 0.00 0 0
52.98/53.08 c fixandinfer : 0.00 0 0
52.98/53.08 c feaspump : 0.00 0 0
52.98/53.08 c coefdiving : 0.00 0 0
52.98/53.08 c pscostdiving : 0.00 0 0
52.98/53.08 c fracdiving : 0.00 0 0
52.98/53.08 c veclendiving : 0.00 0 0
52.98/53.08 c intdiving : 0.00 0 0
52.98/53.08 c actconsdiving : 0.00 0 0
52.98/53.08 c objpscostdiving : 0.00 0 0
52.98/53.08 c rootsoldiving : 0.00 0 0
52.98/53.08 c linesearchdiving : 0.00 0 0
52.98/53.08 c guideddiving : 0.00 0 0
52.98/53.08 c octane : 0.00 0 0
52.98/53.08 c rens : 0.00 0 0
52.98/53.08 c rins : 0.00 0 0
52.98/53.08 c localbranching : 0.00 0 0
52.98/53.08 c mutation : 0.00 0 0
52.98/53.08 c crossover : 0.00 0 0
52.98/53.08 c dins : 0.00 0 0
52.98/53.08 c undercover : 0.00 0 0
52.98/53.08 c nlp : 0.18 0 0
52.98/53.08 c trysol : 0.22 0 0
52.98/53.08 c LP : Time Calls Iterations Iter/call Iter/sec
52.98/53.08 c primal LP : 0.00 0 0 0.00 -
52.98/53.08 c dual LP : 0.00 0 0 0.00 -
52.98/53.08 c lex dual LP : 0.00 0 0 0.00 -
52.98/53.08 c barrier LP : 0.00 0 0 0.00 -
52.98/53.08 c diving/probing LP: 0.00 0 0 0.00 -
52.98/53.08 c strong branching : 0.00 0 0 0.00 -
52.98/53.08 c (at root node) : - 0 0 0.00 -
52.98/53.08 c conflict analysis: 0.00 0 0 0.00 -
52.98/53.08 c B&B Tree :
52.98/53.08 c number of runs : 1
52.98/53.08 c nodes : 461984
52.98/53.08 c nodes (total) : 461984
52.98/53.08 c nodes left : 0
52.98/53.08 c max depth : 84
52.98/53.08 c max depth (total): 84
52.98/53.08 c backtracks : 62649 (13.6%)
52.98/53.08 c delayed cutoffs : 6463
52.98/53.08 c repropagations : 63862 (100267 domain reductions, 6355 cutoffs)
52.98/53.08 c avg switch length: 2.12
52.98/53.08 c switching time : 8.34
52.98/53.08 c Solution :
52.98/53.08 c Solutions found : 11 (10 improvements)
52.98/53.08 c First Solution : +0.00000000000000e+00 (in run 1, after 0 nodes, 0.02 seconds, depth 0, found by <trivial>)
52.98/53.08 c Primal Bound : -1.50000000000000e+01 (in run 1, after 371754 nodes, 36.91 seconds, depth 31, found by <relaxation>)
52.98/53.08 c Dual Bound : -1.50000000000000e+01
52.98/53.08 c Gap : 0.00 %
52.98/53.08 c Root Dual Bound : -1.00000000000000e+02
52.98/53.08 c Root Iterations : 0
52.98/53.09 c Time complete: 53.07.