0.00/0.00 c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.4.2] [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-2666930-1276596299.opb>
0.10/0.16 c original problem has 1108 variables (1108 bin, 0 int, 0 impl, 0 cont) and 2313 constraints
0.10/0.16 c problem read
0.10/0.16 c presolving settings loaded
0.19/0.21 o 1108
0.19/0.21 c feasible solution found by trivial heuristic, objective value 1.108000e+03
0.19/0.21 c presolving:
0.19/0.25 c (round 1) 8 del vars, 210 del conss, 8 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 10 impls, 0 clqs
0.39/0.47 c (round 2) 8 del vars, 388 del conss, 8 chg bounds, 6 chg sides, 0 chg coeffs, 2030 upgd conss, 10 impls, 0 clqs
0.49/0.52 c (round 3) 12 del vars, 394 del conss, 8 chg bounds, 6 chg sides, 0 chg coeffs, 2030 upgd conss, 10 impls, 0 clqs
0.49/0.53 c (round 4) 15 del vars, 396 del conss, 8 chg bounds, 6 chg sides, 0 chg coeffs, 2030 upgd conss, 10 impls, 0 clqs
0.49/0.58 c (round 5) 16 del vars, 398 del conss, 8 chg bounds, 6 chg sides, 0 chg coeffs, 2049 upgd conss, 10 impls, 0 clqs
0.59/0.60 c (round 6) 16 del vars, 398 del conss, 8 chg bounds, 6 chg sides, 0 chg coeffs, 2058 upgd conss, 10 impls, 0 clqs
0.59/0.67 c (round 7) 16 del vars, 420 del conss, 8 chg bounds, 6 chg sides, 0 chg coeffs, 2058 upgd conss, 10 impls, 0 clqs
0.59/0.67 c (round 8) 17 del vars, 423 del conss, 8 chg bounds, 6 chg sides, 0 chg coeffs, 2058 upgd conss, 10 impls, 0 clqs
0.59/0.69 c (0.5s) probing: 101/1091 (9.3%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.59/0.69 c (0.5s) probing aborted: 100/100 successive totally useless probings
0.59/0.69 c presolving (9 rounds):
0.59/0.69 c 17 deleted vars, 423 deleted constraints, 8 tightened bounds, 0 added holes, 6 changed sides, 0 changed coefficients
0.59/0.69 c 10 implications, 0 cliques
0.59/0.69 c presolved problem has 1091 variables (1091 bin, 0 int, 0 impl, 0 cont) and 1890 constraints
0.59/0.69 c 1890 constraints of type <logicor>
0.59/0.69 c transformed objective value is always integral (scale: 1)
0.59/0.69 c Presolving Time: 0.46
0.59/0.69 c - non default parameters ----------------------------------------------------------------------
0.59/0.69 c # SCIP version 1.2.1.2
0.59/0.69 c
0.59/0.69 c # maximal number of intermediate conflict constraints generated in conflict graph (-1: use every intermediate constraint)
0.59/0.69 c # [type: int, range: [-1,2147483647], default: -1]
0.59/0.69 c conflict/interconss = 0
0.59/0.69 c
0.59/0.69 c # should binary conflicts be preferred?
0.59/0.69 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.59/0.69 c conflict/preferbinary = TRUE
0.59/0.69 c
0.59/0.69 c # maximum age an unnecessary constraint can reach before it is deleted (0: dynamic, -1: keep all constraints)
0.59/0.69 c # [type: int, range: [-1,2147483647], default: 0]
0.59/0.69 c constraints/agelimit = 1
0.59/0.69 c
0.59/0.69 c # should enforcement of pseudo solution be disabled?
0.59/0.69 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.59/0.69 c constraints/disableenfops = TRUE
0.59/0.69 c
0.59/0.69 c # frequency for displaying node information lines
0.59/0.69 c # [type: int, range: [-1,2147483647], default: 100]
0.59/0.69 c display/freq = 10000
0.59/0.69 c
0.59/0.69 c # maximal time in seconds to run
0.59/0.69 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.59/0.69 c limits/time = 1799.85
0.59/0.69 c
0.59/0.69 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.59/0.69 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.59/0.69 c limits/memory = 1620
0.59/0.69 c
0.59/0.69 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.59/0.69 c # [type: int, range: [-1,2147483647], default: 1]
0.59/0.69 c lp/solvefreq = 0
0.59/0.69 c
0.59/0.69 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.59/0.69 c # [type: char, range: {lafpsqd}, default: l]
0.59/0.69 c lp/pricing = a
0.59/0.69 c
0.59/0.69 c # should presolving try to simplify inequalities
0.59/0.69 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.59/0.69 c constraints/linear/simplifyinequalities = TRUE
0.59/0.69 c
0.59/0.69 c # should presolving try to simplify knapsacks
0.59/0.69 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.59/0.69 c constraints/knapsack/simplifyinequalities = TRUE
0.59/0.69 c
0.59/0.69 c # priority of node selection rule <dfs> in standard mode
0.59/0.69 c # [type: int, range: [-536870912,536870911], default: 0]
0.59/0.69 c nodeselection/dfs/stdpriority = 1000000
0.59/0.69 c
0.59/0.69 c -----------------------------------------------------------------------------------------------
0.59/0.69 c start solving
0.69/0.70 c
0.69/0.70 o 1103
0.69/0.70 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.69/0.70 c t 0.5s| 1 | 0 | 0 | - |7317k| 0 | - |1091 |1890 | 0 | 0 | 0 | 0 | 0 | -- | 1.103000e+03 | Inf
0.69/0.70 o 1005
0.69/0.70 c t 0.5s| 1 | 0 | 0 | - |7331k| 0 | - |1091 |1890 | 0 | 0 | 0 | 0 | 0 | -- | 1.005000e+03 | Inf
0.69/0.76 o 51
0.69/0.76 c b 0.6s| 1 | 0 | 0 | - | 11M| 0 | - |1091 |1890 |1091 |1890 | 0 | 0 | 0 | -- | 5.100000e+01 | Inf
0.99/1.03 c 0.8s| 1 | 0 | 1000 | - | 11M| 0 | 100 |1091 |1890 |1091 |1890 | 0 | 0 | 0 | 3.424761e+01 | 5.100000e+01 | 48.92%
0.99/1.04 o 50
0.99/1.04 c b 0.8s| 1 | 0 | 1000 | - | 11M| 0 | 100 |1091 |1890 |1091 |1890 | 0 | 0 | 0 | 3.424761e+01 | 5.000000e+01 | 46.00%
1.39/1.43 c 1.2s| 1 | 0 | 1129 | - | 12M| 0 | 95 |1091 |1890 |1091 |1894 | 4 | 0 | 0 | 3.450328e+01 | 5.000000e+01 | 44.91%
2.20/2.28 c 2.0s| 1 | 0 | 1228 | - | 13M| 0 | 79 |1091 |1890 |1091 |1896 | 6 | 0 | 0 | 3.460788e+01 | 5.000000e+01 | 44.48%
2.69/2.77 c 2.5s| 1 | 0 | 1348 | - | 14M| 0 | 77 |1091 |1890 |1091 |1898 | 8 | 0 | 0 | 3.481818e+01 | 5.000000e+01 | 43.60%
4.29/4.32 c 4.0s| 1 | 0 | 1448 | - | 14M| 0 | 91 |1091 |1890 |1091 |1901 | 11 | 0 | 0 | 3.486445e+01 | 5.000000e+01 | 43.41%
5.89/5.94 c 5.7s| 1 | 0 | 1559 | - | 14M| 0 | 101 |1091 |1890 |1091 |1903 | 13 | 0 | 0 | 3.493439e+01 | 5.000000e+01 | 43.13%
6.19/6.24 c 5.9s| 1 | 0 | 1646 | - | 14M| 0 | 112 |1091 |1890 |1091 |1906 | 16 | 0 | 0 | 3.495249e+01 | 5.000000e+01 | 43.05%
6.79/6.83 c 6.5s| 1 | 0 | 1770 | - | 14M| 0 | 100 |1091 |1890 |1091 |1907 | 17 | 0 | 0 | 3.497632e+01 | 5.000000e+01 | 42.95%
7.29/7.34 c 7.0s| 1 | 0 | 1840 | - | 14M| 0 | 91 |1091 |1890 |1091 |1910 | 20 | 0 | 0 | 3.500702e+01 | 5.000000e+01 | 42.83%
8.69/8.71 c 8.4s| 1 | 0 | 1930 | - | 14M| 0 | 106 |1091 |1890 |1091 |1912 | 22 | 0 | 0 | 3.504501e+01 | 5.000000e+01 | 42.67%
9.90/9.96 c 9.6s| 1 | 0 | 2019 | - | 14M| 0 | 107 |1091 |1890 |1091 |1915 | 25 | 0 | 0 | 3.507169e+01 | 5.000000e+01 | 42.57%
10.09/10.17 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
10.09/10.17 c 9.8s| 1 | 0 | 2106 | - | 14M| 0 | 107 |1091 |1890 |1091 |1915 | 26 | 0 | 0 | 3.508368e+01 | 5.000000e+01 | 42.52%
10.69/10.79 c 10.4s| 1 | 0 | 2162 | - | 14M| 0 | 100 |1091 |1890 |1091 |1916 | 27 | 0 | 0 | 3.509463e+01 | 5.000000e+01 | 42.47%
11.29/11.34 c 11.0s| 1 | 0 | 2218 | - | 14M| 0 | 90 |1091 |1890 |1091 |1918 | 29 | 0 | 0 | 3.510596e+01 | 5.000000e+01 | 42.43%
11.49/11.59 c 11.2s| 1 | 0 | 2370 | - | 14M| 0 | 97 |1091 |1890 |1091 |1920 | 31 | 0 | 0 | 3.518314e+01 | 5.000000e+01 | 42.11%
12.09/12.18 c 11.8s| 1 | 0 | 2559 | - | 14M| 0 | 114 |1091 |1890 |1091 |1922 | 33 | 0 | 0 | 3.530194e+01 | 5.000000e+01 | 41.64%
12.79/12.82 o 37
12.79/12.82 c E12.4s| 1 | 0 | 2559 | - | 14M| 0 | 114 |1091 |1890 |1091 |1922 | 33 | 0 | 0 | 3.530194e+01 | 3.700000e+01 | 4.81%
12.79/12.83 c 12.4s| 1 | 0 | 2559 | - | 14M| 0 | 114 |1091 |1890 |1091 |1922 | 33 | 0 | 0 | 3.530194e+01 | 3.700000e+01 | 4.81%
12.98/13.00 c 12.6s| 1 | 0 | 2559 | - | 14M| 0 | 114 |1091 |1888 |1091 |1870 | 33 | 0 | 0 | 3.530194e+01 | 3.700000e+01 | 4.81%
16.39/16.43 c 15.9s| 1 | 2 | 2559 | - | 14M| 0 | 114 |1091 |1888 |1091 |1870 | 33 | 0 | 33 | 3.530194e+01 | 3.700000e+01 | 4.81%
21.99/22.07 c 21.4s| 10000 | 799 | 2559 | 0.0 | 15M| 885 | - |1091 |2006 | 0 | 0 | 33 |7666 | 33 | 3.534781e+01 | 3.700000e+01 | 4.67%
28.68/28.72 c 27.8s| 20000 | 780 | 2559 | 0.0 | 15M| 885 | - |1091 |2009 | 0 | 0 | 33 | 16k| 33 | 3.534781e+01 | 3.700000e+01 | 4.67%
35.19/35.29 c 34.1s| 30000 | 761 | 2559 | 0.0 | 15M| 885 | - |1091 |1892 | 0 | 0 | 33 | 24k| 33 | 3.534781e+01 | 3.700000e+01 | 4.67%
42.38/42.49 c 41.1s| 40000 | 757 | 2559 | 0.0 | 15M| 885 | - |1091 |1907 | 0 | 0 | 33 | 33k| 33 | 3.534781e+01 | 3.700000e+01 | 4.67%
49.28/49.36 c 47.7s| 50000 | 756 | 2559 | 0.0 | 15M| 885 | - |1091 |1931 | 0 | 0 | 33 | 42k| 33 | 3.534781e+01 | 3.700000e+01 | 4.67%
56.18/56.22 c 54.4s| 60000 | 749 | 2559 | 0.0 | 16M| 885 | - |1091 |2406 | 0 | 0 | 33 | 51k| 33 | 3.534781e+01 | 3.700000e+01 | 4.67%
62.68/62.76 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
62.68/62.76 c 60.7s| 70000 | 745 | 2559 | 0.0 | 16M| 885 | - |1091 |2428 | 0 | 0 | 33 | 59k| 33 | 3.534781e+01 | 3.700000e+01 | 4.67%
70.08/70.13 c 67.8s| 80000 | 745 | 2559 | 0.0 | 15M| 885 | - |1091 |1954 | 0 | 0 | 33 | 68k| 33 | 3.534781e+01 | 3.700000e+01 | 4.67%
77.37/77.50 c 74.9s| 90000 | 744 | 2559 | 0.0 | 15M| 885 | - |1091 |2135 | 0 | 0 | 33 | 77k| 33 | 3.534781e+01 | 3.700000e+01 | 4.67%
84.77/84.89 c 82.1s|100000 | 742 | 2559 | 0.0 | 15M| 885 | - |1091 |1920 | 0 | 0 | 33 | 86k| 33 | 3.534781e+01 | 3.700000e+01 | 4.67%
91.77/91.86 c 88.8s|110000 | 739 | 2559 | 0.0 | 15M| 885 | - |1091 |1979 | 0 | 0 | 33 | 95k| 33 | 3.534781e+01 | 3.700000e+01 | 4.67%
98.87/99.00 c 95.7s|120000 | 734 | 2559 | 0.0 | 19M| 885 | - |1091 |5776 | 0 | 0 | 33 | 105k| 33 | 3.534781e+01 | 3.700000e+01 | 4.67%
106.87/106.97 c 103s|130000 | 740 | 2559 | 0.0 | 23M| 885 | - |1091 |9356 | 0 | 0 | 33 | 115k| 33 | 3.534781e+01 | 3.700000e+01 | 4.67%
115.86/115.99 c 112s|140000 | 736 | 2559 | 0.0 | 23M| 885 | - |1091 |9359 | 0 | 0 | 33 | 120k| 33 | 3.534781e+01 | 3.700000e+01 | 4.67%
123.26/123.39 c 119s|150000 | 739 | 2559 | 0.0 | 15M| 885 | - |1091 |1889 | 0 | 0 | 33 | 126k| 33 | 3.534781e+01 | 3.700000e+01 | 4.67%
130.16/130.24 c 126s|160000 | 736 | 2559 | 0.0 | 15M| 885 | - |1091 |1890 | 0 | 0 | 33 | 132k| 33 | 3.534781e+01 | 3.700000e+01 | 4.67%
137.16/137.28 c 133s|170000 | 739 | 2559 | 0.0 | 15M| 885 | - |1091 |1892 | 0 | 0 | 33 | 138k| 33 | 3.534781e+01 | 3.700000e+01 | 4.67%
144.16/144.26 c 139s|180000 | 737 | 2559 | 0.0 | 15M| 885 | - |1091 |1888 | 0 | 0 | 33 | 144k| 33 | 3.534781e+01 | 3.700000e+01 | 4.67%
151.05/151.19 c 146s|190000 | 741 | 2559 | 0.0 | 15M| 885 | - |1091 |1888 | 0 | 0 | 33 | 150k| 33 | 3.534781e+01 | 3.700000e+01 | 4.67%
157.76/157.83 c 153s|200000 | 738 | 2559 | 0.0 | 15M| 885 | - |1091 |1890 | 0 | 0 | 33 | 156k| 33 | 3.534781e+01 | 3.700000e+01 | 4.67%
164.55/164.61 c 159s|210000 | 734 | 2559 | 0.0 | 15M| 885 | - |1091 |1890 | 0 | 0 | 33 | 162k| 33 | 3.534781e+01 | 3.700000e+01 | 4.67%
171.46/171.52 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
171.46/171.52 c 166s|220000 | 735 | 2559 | 0.0 | 15M| 885 | - |1091 |1888 | 0 | 0 | 33 | 168k| 33 | 3.534781e+01 | 3.700000e+01 | 4.67%
178.16/178.25 c 172s|230000 | 740 | 2559 | 0.0 | 15M| 885 | - |1091 |1888 | 0 | 0 | 33 | 174k| 33 | 3.534781e+01 | 3.700000e+01 | 4.67%
185.04/185.14 c 179s|240000 | 734 | 2559 | 0.0 | 15M| 885 | - |1091 |1888 | 0 | 0 | 33 | 180k| 33 | 3.534781e+01 | 3.700000e+01 | 4.67%
191.85/191.95 c 186s|250000 | 737 | 2559 | 0.0 | 15M| 885 | - |1091 |1892 | 0 | 0 | 33 | 186k| 33 | 3.534781e+01 | 3.700000e+01 | 4.67%
198.55/198.66 c 192s|260000 | 732 | 2559 | 0.0 | 15M| 885 | - |1091 |1892 | 0 | 0 | 33 | 193k| 33 | 3.534781e+01 | 3.700000e+01 | 4.67%
205.34/205.45 c 199s|270000 | 740 | 2559 | 0.0 | 15M| 885 | - |1091 |1888 | 0 | 0 | 33 | 199k| 33 | 3.534781e+01 | 3.700000e+01 | 4.67%
212.34/212.46 c 205s|280000 | 742 | 2559 | 0.0 | 15M| 885 | - |1091 |1890 | 0 | 0 | 33 | 205k| 33 | 3.534781e+01 | 3.700000e+01 | 4.67%
219.14/219.24 c 212s|290000 | 737 | 2559 | 0.0 | 15M| 885 | - |1091 |1892 | 0 | 0 | 33 | 210k| 33 | 3.534781e+01 | 3.700000e+01 | 4.67%
226.13/226.27 c 219s|300000 | 733 | 2559 | 0.0 | 15M| 885 | - |1091 |1888 | 0 | 0 | 33 | 216k| 33 | 3.534781e+01 | 3.700000e+01 | 4.67%
232.94/233.08 c 225s|310000 | 736 | 2559 | 0.0 | 15M| 885 | - |1091 |1890 | 0 | 0 | 33 | 222k| 33 | 3.534781e+01 | 3.700000e+01 | 4.67%
239.94/240.09 c 232s|320000 | 739 | 2559 | 0.0 | 15M| 885 | - |1091 |1895 | 0 | 0 | 33 | 228k| 33 | 3.534781e+01 | 3.700000e+01 | 4.67%
246.93/247.03 c 239s|330000 | 730 | 2559 | 0.0 | 15M| 885 | - |1091 |1894 | 0 | 0 | 33 | 234k| 33 | 3.534781e+01 | 3.700000e+01 | 4.67%
253.83/253.90 c 245s|340000 | 734 | 2559 | 0.0 | 15M| 885 | - |1091 |1889 | 0 | 0 | 33 | 240k| 33 | 3.534781e+01 | 3.700000e+01 | 4.67%
260.93/261.10 c 252s|350000 | 730 | 2559 | 0.0 | 15M| 885 | - |1091 |1889 | 0 | 0 | 33 | 246k| 33 | 3.534781e+01 | 3.700000e+01 | 4.67%
267.83/267.98 c 259s|360000 | 733 | 2559 | 0.0 | 15M| 885 | - |1091 |1889 | 0 | 0 | 33 | 252k| 33 | 3.534781e+01 | 3.700000e+01 | 4.67%
274.63/274.78 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
274.63/274.78 c 266s|370000 | 735 | 2559 | 0.0 | 15M| 885 | - |1091 |1889 | 0 | 0 | 33 | 258k| 33 | 3.534781e+01 | 3.700000e+01 | 4.67%
281.63/281.71 c 272s|380000 | 734 | 2559 | 0.0 | 15M| 885 | - |1091 |1888 | 0 | 0 | 33 | 264k| 33 | 3.534781e+01 | 3.700000e+01 | 4.67%
288.32/288.44 c 279s|390000 | 739 | 2559 | 0.0 | 15M| 885 | - |1091 |1894 | 0 | 0 | 33 | 269k| 33 | 3.534781e+01 | 3.700000e+01 | 4.67%
295.02/295.13 c 285s|400000 | 732 | 2559 | 0.0 | 15M| 885 | - |1091 |1895 | 0 | 0 | 33 | 275k| 33 | 3.534781e+01 | 3.700000e+01 | 4.67%
301.43/301.58 c 291s|410000 | 727 | 2559 | 0.0 | 15M| 885 | - |1091 |1888 | 0 | 0 | 33 | 281k| 33 | 3.534781e+01 | 3.700000e+01 | 4.67%
308.22/308.37 c 298s|420000 | 730 | 2559 | 0.0 | 15M| 885 | - |1091 |1888 | 0 | 0 | 33 | 288k| 33 | 3.534781e+01 | 3.700000e+01 | 4.67%
315.11/315.27 c 305s|430000 | 735 | 2559 | 0.0 | 15M| 885 | - |1091 |1889 | 0 | 0 | 33 | 294k| 33 | 3.534781e+01 | 3.700000e+01 | 4.67%
322.32/322.47 c 312s|440000 | 731 | 2559 | 0.0 | 15M| 885 | - |1091 |1894 | 0 | 0 | 33 | 300k| 33 | 3.534781e+01 | 3.700000e+01 | 4.67%
329.11/329.20 c 318s|450000 | 729 | 2559 | 0.0 | 15M| 885 | - |1091 |1891 | 0 | 0 | 33 | 306k| 33 | 3.534781e+01 | 3.700000e+01 | 4.67%
336.11/336.23 c 325s|460000 | 730 | 2559 | 0.0 | 15M| 885 | - |1091 |1890 | 0 | 0 | 33 | 311k| 33 | 3.534781e+01 | 3.700000e+01 | 4.67%
342.71/342.87 c 331s|470000 | 735 | 2559 | 0.0 | 15M| 885 | - |1091 |1892 | 0 | 0 | 33 | 317k| 33 | 3.534781e+01 | 3.700000e+01 | 4.67%
349.61/349.75 c 338s|480000 | 728 | 2559 | 0.0 | 15M| 885 | - |1091 |1889 | 0 | 0 | 33 | 323k| 33 | 3.534781e+01 | 3.700000e+01 | 4.67%
356.32/356.49 c 344s|490000 | 732 | 2559 | 0.0 | 15M| 885 | - |1091 |1890 | 0 | 0 | 33 | 329k| 33 | 3.534781e+01 | 3.700000e+01 | 4.67%
363.31/363.49 c 351s|500000 | 733 | 2559 | 0.0 | 15M| 885 | - |1091 |1891 | 0 | 0 | 33 | 336k| 33 | 3.534781e+01 | 3.700000e+01 | 4.67%
370.30/370.46 c 358s|510000 | 725 | 2559 | 0.0 | 15M| 885 | - |1091 |1893 | 0 | 0 | 33 | 341k| 33 | 3.534781e+01 | 3.700000e+01 | 4.67%
377.30/377.47 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
377.30/377.47 c 365s|520000 | 730 | 2559 | 0.0 | 15M| 885 | - |1091 |1889 | 0 | 0 | 33 | 347k| 33 | 3.534781e+01 | 3.700000e+01 | 4.67%
384.50/384.65 c 372s|530000 | 744 | 2559 | 0.0 | 15M| 885 | - |1091 |1892 | 0 | 0 | 33 | 354k| 33 | 3.534781e+01 | 3.700000e+01 | 4.67%
391.70/391.81 c 379s|540000 | 731 | 2559 | 0.0 | 15M| 885 | - |1091 |1889 | 0 | 0 | 33 | 360k| 33 | 3.534781e+01 | 3.700000e+01 | 4.67%
398.60/398.71 c 385s|550000 | 732 | 2559 | 0.0 | 15M| 885 | - |1091 |1888 | 0 | 0 | 33 | 366k| 33 | 3.534781e+01 | 3.700000e+01 | 4.67%
405.49/405.61 c 392s|560000 | 730 | 2559 | 0.0 | 15M| 885 | - |1091 |1889 | 0 | 0 | 33 | 372k| 33 | 3.534781e+01 | 3.700000e+01 | 4.67%
412.30/412.48 c 399s|570000 | 730 | 2559 | 0.0 | 15M| 885 | - |1091 |1889 | 0 | 0 | 33 | 377k| 33 | 3.534781e+01 | 3.700000e+01 | 4.67%
419.20/419.32 c 405s|580000 | 727 | 2559 | 0.0 | 15M| 885 | - |1091 |1890 | 0 | 0 | 33 | 383k| 33 | 3.534781e+01 | 3.700000e+01 | 4.67%
425.89/426.06 c 412s|590000 | 728 | 2559 | 0.0 | 15M| 885 | - |1091 |1889 | 0 | 0 | 33 | 389k| 33 | 3.534781e+01 | 3.700000e+01 | 4.67%
432.79/432.96 c 418s|600000 | 733 | 2559 | 0.0 | 15M| 885 | - |1091 |1888 | 0 | 0 | 33 | 395k| 33 | 3.534781e+01 | 3.700000e+01 | 4.67%
439.99/440.17 c 425s|610000 | 729 | 2559 | 0.0 | 15M| 885 | - |1091 |1889 | 0 | 0 | 33 | 401k| 33 | 3.534781e+01 | 3.700000e+01 | 4.67%
447.18/447.32 c 432s|620000 | 728 | 2559 | 0.0 | 15M| 885 | - |1091 |1889 | 0 | 0 | 33 | 407k| 33 | 3.534781e+01 | 3.700000e+01 | 4.67%
453.99/454.17 c 439s|630000 | 723 | 2559 | 0.0 | 15M| 885 | - |1091 |1888 | 0 | 0 | 33 | 413k| 33 | 3.534781e+01 | 3.700000e+01 | 4.67%
460.79/460.98 c 445s|640000 | 746 | 2559 | 0.0 | 15M| 885 | - |1091 |1889 | 0 | 0 | 33 | 419k| 33 | 3.534781e+01 | 3.700000e+01 | 4.67%
467.29/467.48 c 452s|650000 | 727 | 2559 | 0.0 | 15M| 885 | - |1091 |1891 | 0 | 0 | 33 | 425k| 33 | 3.534781e+01 | 3.700000e+01 | 4.67%
474.48/474.60 c 459s|660000 | 729 | 2559 | 0.0 | 15M| 885 | - |1091 |1888 | 0 | 0 | 33 | 431k| 33 | 3.534781e+01 | 3.700000e+01 | 4.67%
481.48/481.66 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
481.48/481.66 c 465s|670000 | 729 | 2559 | 0.0 | 15M| 885 | - |1091 |1889 | 0 | 0 | 33 | 437k| 33 | 3.534781e+01 | 3.700000e+01 | 4.67%
488.97/489.12 c 473s|680000 | 725 | 2559 | 0.0 | 15M| 885 | - |1091 |1889 | 0 | 0 | 33 | 442k| 33 | 3.534781e+01 | 3.700000e+01 | 4.67%
495.99/496.18 c 480s|690000 | 723 | 2559 | 0.0 | 15M| 885 | - |1091 |1890 | 0 | 0 | 33 | 448k| 33 | 3.534781e+01 | 3.700000e+01 | 4.67%
503.17/503.37 c 486s|700000 | 722 | 2559 | 0.0 | 15M| 885 | - |1091 |1892 | 0 | 0 | 33 | 454k| 33 | 3.534781e+01 | 3.700000e+01 | 4.67%
509.97/510.10 c 493s|710000 | 732 | 2559 | 0.0 | 15M| 885 | - |1091 |1893 | 0 | 0 | 33 | 460k| 33 | 3.534781e+01 | 3.700000e+01 | 4.67%
516.57/516.75 c 499s|720000 | 722 | 2559 | 0.0 | 15M| 885 | - |1091 |1892 | 0 | 0 | 33 | 466k| 33 | 3.534781e+01 | 3.700000e+01 | 4.67%
523.67/523.88 c 506s|730000 | 725 | 2559 | 0.0 | 15M| 885 | - |1091 |1890 | 0 | 0 | 33 | 472k| 33 | 3.534781e+01 | 3.700000e+01 | 4.67%
530.47/530.63 c 513s|740000 | 724 | 2559 | 0.0 | 15M| 885 | - |1091 |1889 | 0 | 0 | 33 | 478k| 33 | 3.534781e+01 | 3.700000e+01 | 4.67%
537.68/537.87 c 520s|750000 | 727 | 2559 | 0.0 | 15M| 885 | - |1091 |1888 | 0 | 0 | 33 | 484k| 33 | 3.534781e+01 | 3.700000e+01 | 4.67%
544.66/544.81 c 527s|760000 | 723 | 2559 | 0.0 | 15M| 885 | - |1091 |1888 | 0 | 0 | 33 | 490k| 33 | 3.534781e+01 | 3.700000e+01 | 4.67%
551.66/551.85 c 533s|770000 | 720 | 2559 | 0.0 | 15M| 885 | - |1091 |1888 | 0 | 0 | 33 | 496k| 33 | 3.534781e+01 | 3.700000e+01 | 4.67%
558.86/559.07 c 540s|780000 | 721 | 2559 | 0.0 | 15M| 885 | - |1091 |1888 | 0 | 0 | 33 | 502k| 33 | 3.534781e+01 | 3.700000e+01 | 4.67%
565.76/565.94 c 547s|790000 | 720 | 2559 | 0.0 | 15M| 885 | - |1091 |1892 | 0 | 0 | 33 | 508k| 33 | 3.534781e+01 | 3.700000e+01 | 4.67%
572.76/572.99 c 554s|800000 | 727 | 2559 | 0.0 | 15M| 885 | - |1091 |1891 | 0 | 0 | 33 | 514k| 33 | 3.534781e+01 | 3.700000e+01 | 4.67%
579.65/579.85 c 560s|810000 | 726 | 2559 | 0.0 | 15M| 885 | - |1091 |1888 | 0 | 0 | 33 | 520k| 33 | 3.534781e+01 | 3.700000e+01 | 4.67%
586.55/586.71 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
586.55/586.71 c 567s|820000 | 721 | 2559 | 0.0 | 15M| 885 | - |1091 |1888 | 0 | 0 | 33 | 526k| 33 | 3.534781e+01 | 3.700000e+01 | 4.67%
593.55/593.79 c 574s|830000 | 721 | 2559 | 0.0 | 15M| 885 | - |1091 |1888 | 0 | 0 | 33 | 531k| 33 | 3.534781e+01 | 3.700000e+01 | 4.67%
600.65/600.85 c 581s|840000 | 720 | 2559 | 0.0 | 15M| 885 | - |1091 |1894 | 0 | 0 | 33 | 537k| 33 | 3.534781e+01 | 3.700000e+01 | 4.67%
607.95/608.10 c 588s|850000 | 717 | 2559 | 0.0 | 15M| 885 | - |1091 |1891 | 0 | 0 | 33 | 543k| 33 | 3.534781e+01 | 3.700000e+01 | 4.67%
614.94/615.17 c 594s|860000 | 718 | 2559 | 0.0 | 15M| 885 | - |1091 |1889 | 0 | 0 | 33 | 550k| 33 | 3.534781e+01 | 3.700000e+01 | 4.67%
622.05/622.20 c 601s|870000 | 720 | 2559 | 0.0 | 15M| 885 | - |1091 |1888 | 0 | 0 | 33 | 556k| 33 | 3.534781e+01 | 3.700000e+01 | 4.67%
629.34/629.52 c 608s|880000 | 721 | 2559 | 0.0 | 15M| 885 | - |1091 |1896 | 0 | 0 | 33 | 561k| 33 | 3.534781e+01 | 3.700000e+01 | 4.67%
636.04/636.27 c 615s|890000 | 720 | 2559 | 0.0 | 15M| 885 | - |1091 |1889 | 0 | 0 | 33 | 567k| 33 | 3.534781e+01 | 3.700000e+01 | 4.67%
643.25/643.45 c 622s|900000 | 719 | 2559 | 0.0 | 15M| 885 | - |1091 |1889 | 0 | 0 | 33 | 573k| 33 | 3.534781e+01 | 3.700000e+01 | 4.67%
650.34/650.59 c 629s|910000 | 718 | 2559 | 0.0 | 15M| 885 | - |1091 |1892 | 0 | 0 | 33 | 579k| 33 | 3.534781e+01 | 3.700000e+01 | 4.67%
657.54/657.77 c 636s|920000 | 719 | 2559 | 0.0 | 15M| 885 | - |1091 |1894 | 0 | 0 | 33 | 585k| 33 | 3.534781e+01 | 3.700000e+01 | 4.67%
664.64/664.84 c 642s|930000 | 718 | 2559 | 0.0 | 15M| 885 | - |1091 |1891 | 0 | 0 | 33 | 591k| 33 | 3.534781e+01 | 3.700000e+01 | 4.67%
671.34/671.58 c 649s|940000 | 718 | 2559 | 0.0 | 15M| 885 | - |1091 |1889 | 0 | 0 | 33 | 597k| 33 | 3.534781e+01 | 3.700000e+01 | 4.67%
678.54/678.79 c 656s|950000 | 723 | 2559 | 0.0 | 15M| 885 | - |1091 |1888 | 0 | 0 | 33 | 603k| 33 | 3.534781e+01 | 3.700000e+01 | 4.67%
685.93/686.14 c 663s|960000 | 718 | 2559 | 0.0 | 15M| 885 | - |1091 |1890 | 0 | 0 | 33 | 609k| 33 | 3.534781e+01 | 3.700000e+01 | 4.67%
693.03/693.22 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
693.03/693.22 c 670s|970000 | 716 | 2559 | 0.0 | 15M| 885 | - |1091 |1889 | 0 | 0 | 33 | 615k| 33 | 3.534781e+01 | 3.700000e+01 | 4.67%
700.03/700.29 c 677s|980000 | 721 | 2559 | 0.0 | 15M| 885 | - |1091 |1888 | 0 | 0 | 33 | 621k| 33 | 3.534781e+01 | 3.700000e+01 | 4.67%
707.14/707.37 c 684s|990000 | 715 | 2559 | 0.0 | 15M| 885 | - |1091 |1890 | 0 | 0 | 33 | 627k| 33 | 3.534781e+01 | 3.700000e+01 | 4.67%
714.32/714.58 c 691s| 1000k| 715 | 2559 | 0.0 | 15M| 885 | - |1091 |1895 | 0 | 0 | 33 | 633k| 33 | 3.534781e+01 | 3.700000e+01 | 4.67%
721.82/722.08 c 698s| 1010k| 716 | 2559 | 0.0 | 15M| 885 | - |1091 |1888 | 0 | 0 | 33 | 639k| 33 | 3.534781e+01 | 3.700000e+01 | 4.67%
729.13/729.34 c 705s| 1020k| 720 | 2559 | 0.0 | 15M| 885 | - |1091 |1891 | 0 | 0 | 33 | 645k| 33 | 3.534781e+01 | 3.700000e+01 | 4.67%
736.02/736.26 c 712s| 1030k| 723 | 2559 | 0.0 | 15M| 885 | - |1091 |1888 | 0 | 0 | 33 | 651k| 33 | 3.534781e+01 | 3.700000e+01 | 4.67%
744.02/744.28 c 719s| 1040k| 716 | 2559 | 0.0 | 15M| 885 | - |1091 |1891 | 0 | 0 | 33 | 656k| 33 | 3.534781e+01 | 3.700000e+01 | 4.67%
752.31/752.50 c 727s| 1050k| 714 | 2559 | 0.0 | 15M| 885 | - |1091 |1891 | 0 | 0 | 33 | 662k| 33 | 3.534781e+01 | 3.700000e+01 | 4.67%
760.12/760.33 c 735s| 1060k| 718 | 2559 | 0.0 | 15M| 885 | - |1091 |1892 | 0 | 0 | 33 | 668k| 33 | 3.534781e+01 | 3.700000e+01 | 4.67%
768.21/768.48 c 743s| 1070k| 718 | 2559 | 0.0 | 15M| 885 | - |1091 |1888 | 0 | 0 | 33 | 675k| 33 | 3.534781e+01 | 3.700000e+01 | 4.67%
775.91/776.13 c 750s| 1080k| 714 | 2559 | 0.0 | 15M| 885 | - |1091 |1892 | 0 | 0 | 33 | 681k| 33 | 3.534781e+01 | 3.700000e+01 | 4.67%
783.81/784.03 c 758s| 1090k| 718 | 2559 | 0.0 | 15M| 885 | - |1091 |1890 | 0 | 0 | 33 | 687k| 33 | 3.534781e+01 | 3.700000e+01 | 4.67%
791.00/791.23 c 765s| 1100k| 714 | 2559 | 0.0 | 15M| 885 | - |1091 |1889 | 0 | 0 | 33 | 693k| 33 | 3.534781e+01 | 3.700000e+01 | 4.67%
798.50/798.75 c 772s| 1110k| 716 | 2559 | 0.0 | 15M| 885 | - |1091 |1888 | 0 | 0 | 33 | 699k| 33 | 3.534781e+01 | 3.700000e+01 | 4.67%
806.50/806.73 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
806.50/806.73 c 780s| 1120k| 717 | 2559 | 0.0 | 15M| 885 | - |1091 |1889 | 0 | 0 | 33 | 704k| 33 | 3.534781e+01 | 3.700000e+01 | 4.67%
814.00/814.29 c 787s| 1130k| 718 | 2559 | 0.0 | 15M| 885 | - |1091 |1891 | 0 | 0 | 33 | 711k| 33 | 3.534781e+01 | 3.700000e+01 | 4.67%
821.51/821.79 c 794s| 1140k| 715 | 2559 | 0.0 | 15M| 885 | - |1091 |1888 | 0 | 0 | 33 | 716k| 33 | 3.534781e+01 | 3.700000e+01 | 4.67%
829.60/829.87 c 802s| 1150k| 718 | 2559 | 0.0 | 15M| 885 | - |1091 |1891 | 0 | 0 | 33 | 722k| 33 | 3.534781e+01 | 3.700000e+01 | 4.67%
837.49/837.73 c 810s| 1160k| 712 | 2559 | 0.0 | 15M| 885 | - |1091 |1889 | 0 | 0 | 33 | 728k| 33 | 3.534781e+01 | 3.700000e+01 | 4.67%
845.30/845.55 c 817s| 1170k| 717 | 2559 | 0.0 | 15M| 885 | - |1091 |1890 | 0 | 0 | 33 | 734k| 33 | 3.534781e+01 | 3.700000e+01 | 4.67%
852.99/853.27 c 825s| 1180k| 711 | 2559 | 0.0 | 15M| 885 | - |1091 |1893 | 0 | 0 | 33 | 740k| 33 | 3.534781e+01 | 3.700000e+01 | 4.67%
860.49/860.78 c 832s| 1190k| 720 | 2559 | 0.0 | 15M| 885 | - |1091 |1890 | 0 | 0 | 33 | 746k| 33 | 3.534781e+01 | 3.700000e+01 | 4.67%
868.49/868.72 c 840s| 1200k| 715 | 2559 | 0.0 | 15M| 885 | - |1091 |1889 | 0 | 0 | 33 | 752k| 33 | 3.534781e+01 | 3.700000e+01 | 4.67%
875.98/876.22 c 847s| 1210k| 710 | 2559 | 0.0 | 15M| 885 | - |1091 |1888 | 0 | 0 | 33 | 758k| 33 | 3.534781e+01 | 3.700000e+01 | 4.67%
883.89/884.10 c 855s| 1220k| 711 | 2559 | 0.0 | 15M| 885 | - |1091 |1888 | 0 | 0 | 33 | 764k| 33 | 3.534781e+01 | 3.700000e+01 | 4.67%
891.38/891.60 c 862s| 1230k| 710 | 2559 | 0.0 | 15M| 885 | - |1091 |1888 | 0 | 0 | 33 | 770k| 33 | 3.534781e+01 | 3.700000e+01 | 4.67%
898.38/898.65 c 869s| 1240k| 708 | 2559 | 0.0 | 15M| 885 | - |1091 |1890 | 0 | 0 | 33 | 777k| 33 | 3.534781e+01 | 3.700000e+01 | 4.67%
906.09/906.36 c 876s| 1250k| 708 | 2559 | 0.0 | 15M| 885 | - |1091 |1893 | 0 | 0 | 33 | 782k| 33 | 3.534781e+01 | 3.700000e+01 | 4.67%
913.28/913.58 c 883s| 1260k| 711 | 2559 | 0.0 | 15M| 885 | - |1091 |1889 | 0 | 0 | 33 | 788k| 33 | 3.534781e+01 | 3.700000e+01 | 4.67%
920.28/920.55 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
920.28/920.55 c 890s| 1270k| 710 | 2559 | 0.0 | 15M| 885 | - |1091 |1888 | 0 | 0 | 33 | 794k| 33 | 3.534781e+01 | 3.700000e+01 | 4.67%
927.77/928.09 c 897s| 1280k| 709 | 2559 | 0.0 | 15M| 885 | - |1091 |1888 | 0 | 0 | 33 | 800k| 33 | 3.534781e+01 | 3.700000e+01 | 4.67%
934.87/935.16 c 904s| 1290k| 713 | 2559 | 0.0 | 15M| 885 | - |1091 |1888 | 0 | 0 | 33 | 806k| 33 | 3.534781e+01 | 3.700000e+01 | 4.67%
942.57/942.81 c 911s| 1300k| 708 | 2559 | 0.0 | 15M| 885 | - |1091 |1888 | 0 | 0 | 33 | 812k| 33 | 3.534781e+01 | 3.700000e+01 | 4.67%
950.07/950.40 c 919s| 1310k| 713 | 2559 | 0.0 | 15M| 885 | - |1091 |1889 | 0 | 0 | 33 | 818k| 33 | 3.534781e+01 | 3.700000e+01 | 4.67%
958.17/958.44 c 926s| 1320k| 710 | 2559 | 0.0 | 15M| 885 | - |1091 |1889 | 0 | 0 | 33 | 824k| 33 | 3.534781e+01 | 3.700000e+01 | 4.67%
965.96/966.26 c 934s| 1330k| 706 | 2559 | 0.0 | 15M| 885 | - |1091 |1888 | 0 | 0 | 33 | 830k| 33 | 3.534781e+01 | 3.700000e+01 | 4.67%
974.17/974.43 c 942s| 1340k| 710 | 2559 | 0.0 | 15M| 885 | - |1091 |1889 | 0 | 0 | 33 | 836k| 33 | 3.534781e+01 | 3.700000e+01 | 4.67%
982.26/982.58 c 950s| 1350k| 708 | 2559 | 0.0 | 15M| 885 | - |1091 |1888 | 0 | 0 | 33 | 842k| 33 | 3.534781e+01 | 3.700000e+01 | 4.67%
990.36/990.65 c 958s| 1360k| 706 | 2559 | 0.0 | 15M| 885 | - |1091 |1890 | 0 | 0 | 33 | 848k| 33 | 3.534781e+01 | 3.700000e+01 | 4.67%
997.96/998.26 c 965s| 1370k| 705 | 2559 | 0.0 | 15M| 885 | - |1091 |1890 | 0 | 0 | 33 | 854k| 33 | 3.534781e+01 | 3.700000e+01 | 4.67%
1005.86/1006.20 c 973s| 1380k| 707 | 2559 | 0.0 | 15M| 885 | - |1091 |1893 | 0 | 0 | 33 | 860k| 33 | 3.534781e+01 | 3.700000e+01 | 4.67%
1013.35/1013.69 c 980s| 1390k| 708 | 2559 | 0.0 | 15M| 885 | - |1091 |1891 | 0 | 0 | 33 | 866k| 33 | 3.534781e+01 | 3.700000e+01 | 4.67%
1020.85/1021.10 c 987s| 1400k| 709 | 2559 | 0.0 | 15M| 885 | - |1091 |1894 | 0 | 0 | 33 | 872k| 33 | 3.534781e+01 | 3.700000e+01 | 4.67%
1028.16/1028.41 c 994s| 1410k| 704 | 2559 | 0.0 | 15M| 885 | - |1091 |1888 | 0 | 0 | 33 | 878k| 33 | 3.534781e+01 | 3.700000e+01 | 4.67%
1035.55/1035.80 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1035.55/1035.80 c 1001s| 1420k| 702 | 2559 | 0.0 | 15M| 885 | - |1091 |1888 | 0 | 0 | 33 | 884k| 33 | 3.534781e+01 | 3.700000e+01 | 4.67%
1043.85/1044.11 c 1009s| 1430k| 706 | 2559 | 0.0 | 15M| 885 | - |1091 |1888 | 0 | 0 | 33 | 891k| 33 | 3.534781e+01 | 3.700000e+01 | 4.67%
1052.04/1052.31 c 1017s| 1440k| 706 | 2559 | 0.0 | 15M| 885 | - |1091 |1892 | 0 | 0 | 33 | 897k| 33 | 3.534781e+01 | 3.700000e+01 | 4.67%
1060.05/1060.34 c 1025s| 1450k| 710 | 2559 | 0.0 | 15M| 885 | - |1091 |1888 | 0 | 0 | 33 | 903k| 33 | 3.534781e+01 | 3.700000e+01 | 4.67%
1067.84/1068.13 c 1032s| 1460k| 705 | 2559 | 0.0 | 15M| 885 | - |1091 |1889 | 0 | 0 | 33 | 909k| 33 | 3.534781e+01 | 3.700000e+01 | 4.67%
1075.64/1075.99 c 1040s| 1470k| 705 | 2559 | 0.0 | 15M| 885 | - |1091 |1892 | 0 | 0 | 33 | 914k| 33 | 3.534781e+01 | 3.700000e+01 | 4.67%
1083.44/1083.75 c 1048s| 1480k| 706 | 2559 | 0.0 | 15M| 885 | - |1091 |1888 | 0 | 0 | 33 | 920k| 33 | 3.534781e+01 | 3.700000e+01 | 4.67%
1091.73/1092.05 c 1056s| 1490k| 701 | 2559 | 0.0 | 15M| 885 | - |1091 |1890 | 0 | 0 | 33 | 926k| 33 | 3.534781e+01 | 3.700000e+01 | 4.67%
1100.03/1100.37 c 1064s| 1500k| 703 | 2559 | 0.0 | 15M| 885 | - |1091 |1888 | 0 | 0 | 33 | 932k| 33 | 3.534781e+01 | 3.700000e+01 | 4.67%
1108.03/1108.36 c 1071s| 1510k| 704 | 2559 | 0.0 | 15M| 885 | - |1091 |1888 | 0 | 0 | 33 | 938k| 33 | 3.534781e+01 | 3.700000e+01 | 4.67%
1115.63/1115.99 c 1079s| 1520k| 701 | 2559 | 0.0 | 15M| 885 | - |1091 |1888 | 0 | 0 | 33 | 945k| 33 | 3.534781e+01 | 3.700000e+01 | 4.67%
1123.63/1123.95 c 1086s| 1530k| 704 | 2559 | 0.0 | 15M| 885 | - |1091 |1888 | 0 | 0 | 33 | 951k| 33 | 3.534781e+01 | 3.700000e+01 | 4.67%
1131.63/1131.97 c 1094s| 1540k| 701 | 2559 | 0.0 | 15M| 885 | - |1091 |1889 | 0 | 0 | 33 | 957k| 33 | 3.534781e+01 | 3.700000e+01 | 4.67%
1139.73/1140.00 c 1102s| 1550k| 701 | 2559 | 0.0 | 15M| 885 | - |1091 |1890 | 0 | 0 | 33 | 963k| 33 | 3.534781e+01 | 3.700000e+01 | 4.67%
1147.22/1147.54 c 1109s| 1560k| 702 | 2559 | 0.0 | 15M| 885 | - |1091 |1888 | 0 | 0 | 33 | 969k| 33 | 3.534781e+01 | 3.700000e+01 | 4.67%
1155.42/1155.77 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1155.42/1155.77 c 1117s| 1570k| 698 | 2559 | 0.0 | 15M| 885 | - |1091 |1892 | 0 | 0 | 33 | 975k| 33 | 3.534781e+01 | 3.700000e+01 | 4.67%
1163.32/1163.65 c 1125s| 1580k| 707 | 2559 | 0.0 | 15M| 885 | - |1091 |1888 | 0 | 0 | 33 | 981k| 33 | 3.534781e+01 | 3.700000e+01 | 4.67%
1170.82/1171.12 c 1132s| 1590k| 706 | 2559 | 0.0 | 15M| 885 | - |1091 |1888 | 0 | 0 | 33 | 987k| 33 | 3.534781e+01 | 3.700000e+01 | 4.67%
1178.82/1179.12 c 1140s| 1600k| 704 | 2559 | 0.0 | 15M| 885 | - |1091 |1889 | 0 | 0 | 33 | 993k| 33 | 3.534781e+01 | 3.700000e+01 | 4.67%
1186.52/1186.87 c 1147s| 1610k| 705 | 2559 | 0.0 | 15M| 885 | - |1091 |1888 | 0 | 0 | 33 | 999k| 33 | 3.534781e+01 | 3.700000e+01 | 4.67%
1194.41/1194.72 c 1155s| 1620k| 703 | 2559 | 0.0 | 15M| 885 | - |1091 |1891 | 0 | 0 | 33 |1004k| 33 | 3.534781e+01 | 3.700000e+01 | 4.67%
1202.11/1202.42 c 1162s| 1630k| 699 | 2559 | 0.0 | 15M| 885 | - |1091 |1891 | 0 | 0 | 33 |1010k| 33 | 3.534781e+01 | 3.700000e+01 | 4.67%
1209.62/1209.94 c 1170s| 1640k| 698 | 2559 | 0.0 | 15M| 885 | - |1091 |1888 | 0 | 0 | 33 |1016k| 33 | 3.534781e+01 | 3.700000e+01 | 4.67%
1217.41/1217.78 c 1177s| 1650k| 700 | 2559 | 0.0 | 15M| 885 | - |1091 |1888 | 0 | 0 | 33 |1023k| 33 | 3.534781e+01 | 3.700000e+01 | 4.67%
1225.01/1225.34 c 1185s| 1660k| 704 | 2559 | 0.0 | 15M| 885 | - |1091 |1888 | 0 | 0 | 33 |1029k| 33 | 3.534781e+01 | 3.700000e+01 | 4.67%
1233.40/1233.77 c 1193s| 1670k| 697 | 2559 | 0.0 | 15M| 885 | - |1091 |1890 | 0 | 0 | 33 |1035k| 33 | 3.534781e+01 | 3.700000e+01 | 4.67%
1241.61/1241.96 c 1201s| 1680k| 697 | 2559 | 0.0 | 15M| 885 | - |1091 |1890 | 0 | 0 | 33 |1042k| 33 | 3.534781e+01 | 3.700000e+01 | 4.67%
1249.49/1249.80 c 1208s| 1690k| 700 | 2559 | 0.0 | 15M| 885 | - |1091 |1888 | 0 | 0 | 33 |1048k| 33 | 3.534781e+01 | 3.700000e+01 | 4.67%
1257.59/1258.00 c 1216s| 1700k| 696 | 2559 | 0.0 | 15M| 885 | - |1091 |1888 | 0 | 0 | 33 |1054k| 33 | 3.534781e+01 | 3.700000e+01 | 4.67%
1266.10/1266.46 c 1224s| 1710k| 696 | 2559 | 0.0 | 15M| 885 | - |1091 |1891 | 0 | 0 | 33 |1060k| 33 | 3.534781e+01 | 3.700000e+01 | 4.67%
1274.19/1274.58 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1274.19/1274.58 c 1232s| 1720k| 704 | 2559 | 0.0 | 15M| 885 | - |1091 |1889 | 0 | 0 | 33 |1066k| 33 | 3.534781e+01 | 3.700000e+01 | 4.67%
1281.79/1282.11 c 1240s| 1730k| 707 | 2559 | 0.0 | 15M| 885 | - |1091 |1891 | 0 | 0 | 33 |1072k| 33 | 3.534781e+01 | 3.700000e+01 | 4.67%
1289.69/1290.09 c 1247s| 1740k| 700 | 2559 | 0.0 | 15M| 885 | - |1091 |1890 | 0 | 0 | 33 |1079k| 33 | 3.534781e+01 | 3.700000e+01 | 4.67%
1297.48/1297.87 c 1255s| 1750k| 694 | 2559 | 0.0 | 15M| 885 | - |1091 |1888 | 0 | 0 | 33 |1085k| 33 | 3.534781e+01 | 3.700000e+01 | 4.67%
1305.68/1306.08 c 1263s| 1760k| 696 | 2559 | 0.0 | 15M| 885 | - |1091 |1888 | 0 | 0 | 33 |1091k| 33 | 3.534781e+01 | 3.700000e+01 | 4.67%
1313.08/1313.42 c 1270s| 1770k| 713 | 2559 | 0.0 | 15M| 885 | - |1091 |1888 | 0 | 0 | 33 |1097k| 33 | 3.534781e+01 | 3.700000e+01 | 4.67%
1320.98/1321.34 c 1277s| 1780k| 694 | 2559 | 0.0 | 15M| 885 | - |1091 |1888 | 0 | 0 | 33 |1102k| 33 | 3.534781e+01 | 3.700000e+01 | 4.67%
1328.49/1328.87 c 1285s| 1790k| 695 | 2559 | 0.0 | 15M| 885 | - |1091 |1890 | 0 | 0 | 33 |1108k| 33 | 3.534781e+01 | 3.700000e+01 | 4.67%
1336.28/1336.66 c 1292s| 1800k| 696 | 2559 | 0.0 | 15M| 885 | - |1091 |1889 | 0 | 0 | 33 |1115k| 33 | 3.534781e+01 | 3.700000e+01 | 4.67%
1343.97/1344.38 c 1300s| 1810k| 700 | 2559 | 0.0 | 15M| 885 | - |1091 |1889 | 0 | 0 | 33 |1121k| 33 | 3.534781e+01 | 3.700000e+01 | 4.67%
1351.98/1352.31 c 1307s| 1820k| 700 | 2559 | 0.0 | 15M| 885 | - |1091 |1889 | 0 | 0 | 33 |1127k| 33 | 3.534781e+01 | 3.700000e+01 | 4.67%
1359.18/1359.54 c 1314s| 1830k| 697 | 2559 | 0.0 | 15M| 885 | - |1091 |1892 | 0 | 0 | 33 |1133k| 33 | 3.534781e+01 | 3.700000e+01 | 4.67%
1366.27/1366.65 c 1321s| 1840k| 712 | 2559 | 0.0 | 15M| 885 | - |1091 |1888 | 0 | 0 | 33 |1139k| 33 | 3.534781e+01 | 3.700000e+01 | 4.67%
1374.47/1374.82 c 1329s| 1850k| 697 | 2559 | 0.0 | 15M| 885 | - |1091 |1891 | 0 | 0 | 33 |1145k| 33 | 3.534781e+01 | 3.700000e+01 | 4.67%
1381.96/1382.34 c 1336s| 1860k| 694 | 2559 | 0.0 | 15M| 885 | - |1091 |1896 | 0 | 0 | 33 |1151k| 33 | 3.534781e+01 | 3.700000e+01 | 4.67%
1389.66/1390.01 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1389.66/1390.01 c 1344s| 1870k| 696 | 2559 | 0.0 | 15M| 885 | - |1091 |1888 | 0 | 0 | 33 |1157k| 33 | 3.534781e+01 | 3.700000e+01 | 4.67%
1398.56/1398.96 c 1352s| 1880k| 696 | 2559 | 0.0 | 15M| 885 | - |1091 |1893 | 0 | 0 | 33 |1163k| 33 | 3.534781e+01 | 3.700000e+01 | 4.67%
1406.46/1406.88 c 1360s| 1890k| 691 | 2559 | 0.0 | 15M| 885 | - |1091 |1893 | 0 | 0 | 33 |1169k| 33 | 3.534781e+01 | 3.700000e+01 | 4.67%
1414.56/1414.90 c 1368s| 1900k| 694 | 2559 | 0.0 | 15M| 885 | - |1091 |1893 | 0 | 0 | 33 |1176k| 33 | 3.534781e+01 | 3.700000e+01 | 4.67%
1422.26/1422.66 c 1375s| 1910k| 697 | 2559 | 0.0 | 15M| 885 | - |1091 |1890 | 0 | 0 | 33 |1182k| 33 | 3.534781e+01 | 3.700000e+01 | 4.67%
1430.26/1430.62 c 1383s| 1920k| 692 | 2559 | 0.0 | 15M| 885 | - |1091 |1888 | 0 | 0 | 33 |1188k| 33 | 3.534781e+01 | 3.700000e+01 | 4.67%
1438.05/1438.40 c 1390s| 1930k| 703 | 2559 | 0.0 | 15M| 885 | - |1091 |1888 | 0 | 0 | 33 |1194k| 33 | 3.534781e+01 | 3.700000e+01 | 4.67%
1446.25/1446.68 c 1398s| 1940k| 696 | 2559 | 0.0 | 15M| 885 | - |1091 |1891 | 0 | 0 | 33 |1201k| 33 | 3.534781e+01 | 3.700000e+01 | 4.67%
1454.25/1454.70 c 1406s| 1950k| 690 | 2559 | 0.0 | 15M| 885 | - |1091 |1888 | 0 | 0 | 33 |1207k| 33 | 3.534781e+01 | 3.700000e+01 | 4.67%
1462.15/1462.54 c 1414s| 1960k| 697 | 2559 | 0.0 | 15M| 885 | - |1091 |1893 | 0 | 0 | 33 |1213k| 33 | 3.534781e+01 | 3.700000e+01 | 4.67%
1470.14/1470.54 c 1422s| 1970k| 693 | 2559 | 0.0 | 15M| 885 | - |1091 |2098 | 0 | 0 | 33 |1219k| 33 | 3.534781e+01 | 3.700000e+01 | 4.67%
1477.64/1478.08 c 1429s| 1980k| 698 | 2559 | 0.0 | 15M| 885 | - |1091 |2154 | 0 | 0 | 33 |1226k| 33 | 3.534781e+01 | 3.700000e+01 | 4.67%
1485.04/1485.48 c 1436s| 1990k| 691 | 2559 | 0.0 | 15M| 885 | - |1091 |2018 | 0 | 0 | 33 |1234k| 33 | 3.534781e+01 | 3.700000e+01 | 4.67%
1492.74/1493.11 c 1443s| 2000k| 694 | 2559 | 0.0 | 15M| 885 | - |1091 |1890 | 0 | 0 | 33 |1240k| 33 | 3.534781e+01 | 3.700000e+01 | 4.67%
1500.34/1500.70 c 1451s| 2010k| 698 | 2559 | 0.0 | 15M| 885 | - |1091 |2154 | 0 | 0 | 33 |1247k| 33 | 3.534781e+01 | 3.700000e+01 | 4.67%
1508.04/1508.43 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1508.04/1508.43 c 1458s| 2020k| 697 | 2559 | 0.0 | 15M| 885 | - |1091 |1889 | 0 | 0 | 33 |1254k| 33 | 3.534781e+01 | 3.700000e+01 | 4.67%
1515.84/1516.26 c 1466s| 2030k| 703 | 2559 | 0.0 | 15M| 885 | - |1091 |1891 | 0 | 0 | 33 |1260k| 33 | 3.534781e+01 | 3.700000e+01 | 4.67%
1523.53/1523.97 c 1473s| 2040k| 700 | 2559 | 0.0 | 15M| 885 | - |1091 |1890 | 0 | 0 | 33 |1266k| 33 | 3.534781e+01 | 3.700000e+01 | 4.67%
1531.43/1531.87 c 1481s| 2050k| 695 | 2559 | 0.0 | 16M| 885 | - |1091 |2095 | 0 | 0 | 33 |1272k| 33 | 3.534781e+01 | 3.700000e+01 | 4.67%
1539.64/1540.08 c 1489s| 2060k| 692 | 2559 | 0.0 | 15M| 885 | - |1091 |1888 | 0 | 0 | 33 |1280k| 33 | 3.534781e+01 | 3.700000e+01 | 4.67%
1547.63/1548.04 c 1496s| 2070k| 690 | 2559 | 0.0 | 15M| 885 | - |1091 |1901 | 0 | 0 | 33 |1286k| 33 | 3.534781e+01 | 3.700000e+01 | 4.67%
1554.93/1555.33 c 1503s| 2080k| 697 | 2559 | 0.0 | 15M| 885 | - |1091 |1889 | 0 | 0 | 33 |1292k| 33 | 3.534781e+01 | 3.700000e+01 | 4.67%
1562.22/1562.61 c 1510s| 2090k| 689 | 2559 | 0.0 | 15M| 885 | - |1091 |1888 | 0 | 0 | 33 |1297k| 33 | 3.534781e+01 | 3.700000e+01 | 4.67%
1569.82/1570.21 c 1518s| 2100k| 697 | 2559 | 0.0 | 15M| 885 | - |1091 |1888 | 0 | 0 | 33 |1304k| 33 | 3.534781e+01 | 3.700000e+01 | 4.67%
1577.62/1578.04 c 1525s| 2110k| 696 | 2559 | 0.0 | 15M| 885 | - |1091 |1889 | 0 | 0 | 33 |1311k| 33 | 3.534781e+01 | 3.700000e+01 | 4.67%
1585.32/1585.74 c 1533s| 2120k| 695 | 2559 | 0.0 | 15M| 885 | - |1091 |2097 | 0 | 0 | 33 |1317k| 33 | 3.534781e+01 | 3.700000e+01 | 4.67%
1592.62/1593.10 c 1540s| 2130k| 692 | 2559 | 0.0 | 15M| 885 | - |1091 |1893 | 0 | 0 | 33 |1324k| 33 | 3.534781e+01 | 3.700000e+01 | 4.67%
1600.41/1600.88 c 1547s| 2140k| 690 | 2559 | 0.0 | 15M| 885 | - |1091 |1912 | 0 | 0 | 33 |1330k| 33 | 3.534781e+01 | 3.700000e+01 | 4.67%
1608.22/1608.68 c 1555s| 2150k| 694 | 2559 | 0.0 | 15M| 885 | - |1091 |1893 | 0 | 0 | 33 |1336k| 33 | 3.534781e+01 | 3.700000e+01 | 4.67%
1616.21/1616.65 c 1563s| 2160k| 689 | 2559 | 0.0 | 15M| 885 | - |1091 |1918 | 0 | 0 | 33 |1343k| 33 | 3.534781e+01 | 3.700000e+01 | 4.67%
1623.91/1624.30 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1623.91/1624.30 c 1570s| 2170k| 691 | 2559 | 0.0 | 15M| 885 | - |1091 |1968 | 0 | 0 | 33 |1349k| 33 | 3.534781e+01 | 3.700000e+01 | 4.67%
1631.41/1631.80 c 1577s| 2180k| 695 | 2559 | 0.0 | 15M| 885 | - |1091 |1918 | 0 | 0 | 33 |1357k| 33 | 3.534781e+01 | 3.700000e+01 | 4.67%
1639.11/1639.53 c 1585s| 2190k| 689 | 2559 | 0.0 | 15M| 885 | - |1091 |1894 | 0 | 0 | 33 |1365k| 33 | 3.534781e+01 | 3.700000e+01 | 4.67%
1646.50/1646.99 c 1592s| 2200k| 699 | 2559 | 0.0 | 15M| 885 | - |1091 |1892 | 0 | 0 | 33 |1373k| 33 | 3.534781e+01 | 3.700000e+01 | 4.67%
1654.01/1654.44 c 1599s| 2210k| 690 | 2559 | 0.0 | 15M| 885 | - |1091 |1891 | 0 | 0 | 33 |1380k| 33 | 3.534781e+01 | 3.700000e+01 | 4.67%
1661.60/1662.00 c 1606s| 2220k| 690 | 2559 | 0.0 | 15M| 885 | - |1091 |1979 | 0 | 0 | 33 |1387k| 33 | 3.534781e+01 | 3.700000e+01 | 4.67%
1668.90/1669.35 c 1613s| 2230k| 692 | 2559 | 0.0 | 15M| 885 | - |1091 |1952 | 0 | 0 | 33 |1394k| 33 | 3.534781e+01 | 3.700000e+01 | 4.67%
1675.90/1676.34 c 1620s| 2240k| 693 | 2559 | 0.0 | 15M| 885 | - |1091 |1890 | 0 | 0 | 33 |1402k| 33 | 3.534781e+01 | 3.700000e+01 | 4.67%
1683.50/1683.95 c 1627s| 2250k| 700 | 2559 | 0.0 | 15M| 885 | - |1091 |1892 | 0 | 0 | 33 |1408k| 33 | 3.534781e+01 | 3.700000e+01 | 4.67%
1691.30/1691.77 c 1635s| 2260k| 705 | 2559 | 0.0 | 15M| 885 | - |1091 |1890 | 0 | 0 | 33 |1414k| 33 | 3.534781e+01 | 3.700000e+01 | 4.67%
1699.29/1699.75 c 1643s| 2270k| 694 | 2559 | 0.0 | 15M| 885 | - |1091 |1890 | 0 | 0 | 33 |1420k| 33 | 3.534781e+01 | 3.700000e+01 | 4.67%
1707.29/1707.71 c 1650s| 2280k| 698 | 2559 | 0.0 | 15M| 885 | - |1091 |1917 | 0 | 0 | 33 |1427k| 33 | 3.534781e+01 | 3.700000e+01 | 4.67%
1715.88/1716.36 c 1659s| 2290k| 695 | 2559 | 0.0 | 15M| 885 | - |1091 |1890 | 0 | 0 | 33 |1433k| 33 | 3.534781e+01 | 3.700000e+01 | 4.67%
1724.19/1724.66 c 1667s| 2300k| 695 | 2559 | 0.0 | 15M| 885 | - |1091 |1894 | 0 | 0 | 33 |1439k| 33 | 3.534781e+01 | 3.700000e+01 | 4.67%
1731.99/1732.48 c 1674s| 2310k| 687 | 2559 | 0.0 | 15M| 885 | - |1091 |1890 | 0 | 0 | 33 |1445k| 33 | 3.534781e+01 | 3.700000e+01 | 4.67%
1739.28/1739.71 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1739.28/1739.71 c 1681s| 2320k| 695 | 2559 | 0.0 | 16M| 885 | - |1091 |2160 | 0 | 0 | 33 |1452k| 33 | 3.534781e+01 | 3.700000e+01 | 4.67%
1746.79/1747.20 c 1689s| 2330k| 695 | 2559 | 0.0 | 16M| 885 | - |1091 |2883 | 0 | 0 | 33 |1460k| 33 | 3.534781e+01 | 3.700000e+01 | 4.67%
1753.99/1754.47 c 1696s| 2340k| 692 | 2559 | 0.0 | 15M| 885 | - |1091 |1901 | 0 | 0 | 33 |1466k| 33 | 3.534781e+01 | 3.700000e+01 | 4.67%
1761.79/1762.29 c 1703s| 2350k| 696 | 2559 | 0.0 | 15M| 885 | - |1091 |2076 | 0 | 0 | 33 |1473k| 33 | 3.534781e+01 | 3.700000e+01 | 4.67%
1769.28/1769.76 c 1710s| 2360k| 689 | 2559 | 0.0 | 15M| 885 | - |1091 |2025 | 0 | 0 | 33 |1480k| 33 | 3.534781e+01 | 3.700000e+01 | 4.67%
1777.07/1777.55 c 1718s| 2370k| 687 | 2559 | 0.0 | 15M| 885 | - |1091 |1894 | 0 | 0 | 33 |1486k| 33 | 3.534781e+01 | 3.700000e+01 | 4.67%
1784.18/1784.67 c 1725s| 2380k| 687 | 2559 | 0.0 | 15M| 885 | - |1091 |1888 | 0 | 0 | 33 |1494k| 33 | 3.534781e+01 | 3.700000e+01 | 4.67%
1792.06/1792.50 c 1732s| 2390k| 686 | 2559 | 0.0 | 15M| 885 | - |1091 |1892 | 0 | 0 | 33 |1500k| 33 | 3.534781e+01 | 3.700000e+01 | 4.67%
1800.08/1800.50 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.08/1800.50 c
1800.08/1800.50 c SCIP Status : solving was interrupted [user interrupt]
1800.08/1800.50 c Solving Time (sec) : 1739.89
1800.08/1800.50 c Solving Nodes : 2399871
1800.08/1800.50 c Primal Bound : +3.70000000000000e+01 (6 solutions)
1800.08/1800.50 c Dual Bound : +3.53478071413692e+01
1800.08/1800.50 c Gap : 4.67 %
1800.08/1800.51 s SATISFIABLE
1800.08/1800.51 v -x1108 x1107 -x1106 -x1105 -x1104 x1103 -x1102 -x1101 x1100 -x1099 -x1098 -x1097 x1096 -x1095 -x1094 -x1093 -x1092 -x1091 -x1090
1800.08/1800.51 v -x1089 -x1088 -x1087 -x1086 -x1085 -x1084 -x1083 -x1082 -x1081 -x1080 -x1079 -x1078 -x1077 -x1076 -x1075 -x1074 -x1073 -x1072
1800.08/1800.51 v -x1071 -x1070 -x1069 -x1068 -x1067 -x1066 -x1065 -x1064 -x1063 -x1062 -x1061 -x1060 -x1059 -x1058 -x1057 -x1056 -x1055 -x1054
1800.08/1800.51 v -x1053 -x1052 -x1051 -x1050 -x1049 x1048 -x1047 -x1046 -x1045 -x1044 -x1043 -x1042 -x1041 -x1040 -x1039 -x1038 -x1037 -x1036
1800.08/1800.51 v -x1035 -x1034 -x1033 -x1032 -x1031 -x1030 x1029 -x1028 -x1027 -x1026 -x1025 -x1024 -x1023 -x1022 -x1021 -x1020 -x1019 -x1018
1800.08/1800.51 v -x1017 -x1016 -x1015 -x1014 -x1013 -x1012 -x1011 -x1010 x1009 -x1008 -x1007 x1006 -x1005 -x1004 -x1003 -x1002 -x1001 -x1000
1800.08/1800.51 v -x999 -x998 -x997 -x996 -x995 -x994 -x993 -x992 -x991 -x990 -x989 -x988 -x987 -x986 -x985 -x984 -x983 -x982 -x981 -x980 -x979
1800.08/1800.51 v -x978 -x977 -x976 -x975 -x974 -x973 -x972 -x971 -x970 x969 -x968 -x967 -x966 x965 -x964 -x963 -x962 -x961 -x960 -x959 x958
1800.08/1800.51 v x957 x956 x955 -x954 -x953 -x952 -x951 -x950 -x949 -x948 -x947 -x946 -x945 -x944 -x943 -x942 -x941 -x940 -x939 -x938 -x937
1800.08/1800.51 v x936 -x935 -x934 -x933 -x932 -x931 -x930 -x929 -x928 -x927 -x926 -x925 -x924 -x923 -x922 -x921 -x920 -x919 -x918 -x917 -x916
1800.08/1800.51 v -x915 x914 -x913 x912 -x911 -x910 -x909 -x908 -x907 -x906 -x905 -x904 -x903 -x902 -x901 -x900 x899 -x898 -x897 -x896 -x895 -x894
1800.08/1800.51 v -x893 -x892 -x891 -x890 -x889 -x888 -x887 -x886 -x885 -x884 -x883 -x882 -x881 -x880 -x879 -x878 -x877 -x876 -x875 -x874 -x873
1800.08/1800.51 v -x872 -x871 -x870 -x869 -x868 -x867 -x866 -x865 -x864 -x863 -x862 -x861 -x860 -x859 -x858 -x857 -x856 -x855 -x854 -x853
1800.08/1800.51 v -x852 -x851 -x850 -x849 -x848 -x847 -x846 -x845 -x844 -x843 -x842 -x841 -x840 -x839 -x838 -x837 x836 -x835 -x834 -x833 -x832
1800.08/1800.51 v -x831 -x830 -x829 -x828 -x827 -x826 -x825 -x824 -x823 -x822 -x821 -x820 -x819 -x818 -x817 -x816 -x815 -x814 x813 -x812 -x811
1800.08/1800.51 v -x810 -x809 -x808 -x807 -x806 -x805 -x804 -x803 -x802 -x801 -x800 -x799 -x798 -x797 -x796 -x795 -x794 -x793 -x792 -x791 -x790
1800.08/1800.51 v -x789 -x788 -x787 -x786 -x785 -x784 -x783 -x782 -x781 -x780 -x779 -x778 -x777 -x776 -x775 -x774 -x773 -x772 -x771 -x770 -x769
1800.08/1800.51 v -x768 -x767 -x766 -x765 -x764 -x763 -x762 -x761 -x760 -x759 -x758 -x757 -x756 -x755 -x754 -x753 -x752 -x751 -x750 -x749 -x748
1800.08/1800.51 v -x747 -x746 -x745 -x744 -x743 -x742 -x741 -x740 -x739 -x738 -x737 -x736 -x735 -x734 -x733 -x732 -x731 -x730 -x729 -x728 -x727
1800.08/1800.51 v -x726 -x725 -x724 -x723 -x722 -x721 -x720 -x719 x718 -x717 -x716 -x715 -x714 -x713 -x712 -x711 -x710 -x709 -x708 -x707 -x706
1800.08/1800.51 v -x705 -x704 -x703 -x702 -x701 -x700 -x699 -x698 -x697 -x696 -x695 -x694 -x693 -x692 -x691 -x690 -x689 -x688 -x687 -x686 -x685
1800.08/1800.51 v -x684 -x683 -x682 -x681 x680 -x679 -x678 -x677 -x676 -x675 -x674 -x673 -x672 -x671 -x670 -x669 -x668 -x667 -x666 -x665 -x664
1800.08/1800.51 v -x663 -x662 -x661 -x660 -x659 -x658 x657 -x656 -x655 -x654 -x653 -x652 -x651 -x650 -x649 -x648 -x647 -x646 -x645 -x644 -x643
1800.08/1800.51 v -x642 -x641 -x640 -x639 -x638 -x637 x636 -x635 -x634 x633 -x632 -x631 -x630 -x629 -x628 -x627 -x626 -x625 -x624 -x623 -x622
1800.08/1800.51 v -x621 -x620 -x619 -x618 -x617 -x616 -x615 -x614 -x613 x612 -x611 -x610 -x609 -x608 -x607 -x606 -x605 -x604 -x603 -x602 -x601
1800.08/1800.51 v -x600 -x599 -x598 -x597 -x596 x595 -x594 -x593 -x592 -x591 -x590 -x589 -x588 -x587 -x586 -x585 -x584 -x583 -x582 -x581 -x580
1800.08/1800.51 v -x579 -x578 -x577 -x576 -x575 -x574 -x573 -x572 -x571 -x570 x569 -x568 -x567 -x566 -x565 -x564 -x563 -x562 -x561 -x560 -x559
1800.08/1800.51 v -x558 -x557 -x556 -x555 -x554 -x553 -x552 -x551 -x550 -x549 -x548 -x547 -x546 -x545 -x544 -x543 -x542 -x541 -x540 -x539 -x538
1800.08/1800.51 v -x537 -x536 -x535 -x534 -x533 x532 -x531 -x530 -x529 -x528 -x527 -x526 -x525 -x524 -x523 -x522 -x521 -x520 -x519 -x518 -x517
1800.08/1800.51 v -x516 -x515 -x514 -x513 -x512 -x511 -x510 -x509 -x508 -x507 -x506 -x505 -x504 -x503 -x502 -x501 -x500 -x499 -x498 -x497
1800.08/1800.51 v -x496 -x495 -x494 -x493 -x492 -x491 -x490 -x489 -x488 -x487 -x486 -x485 -x484 -x483 -x482 -x481 -x480 -x479 -x478 -x477 -x476
1800.08/1800.51 v -x475 -x474 -x473 -x472 -x471 -x470 -x469 -x468 -x467 x466 -x465 -x464 -x463 -x462 -x461 -x460 -x459 -x458 -x457 -x456 -x455
1800.08/1800.51 v -x454 x453 -x452 x451 -x450 -x449 -x448 -x447 -x446 -x445 -x444 -x443 -x442 -x441 -x440 -x439 -x438 -x437 -x436 -x435 -x434
1800.08/1800.51 v -x433 -x432 -x431 x430 -x429 -x428 -x427 -x426 -x425 -x424 -x423 -x422 -x421 -x420 -x419 -x418 -x417 -x416 -x415 -x414 -x413
1800.08/1800.51 v -x412 -x411 -x410 -x409 -x408 -x407 -x406 -x405 -x404 -x403 -x402 -x401 -x400 -x399 -x398 -x397 -x396 -x395 -x394 -x393 -x392
1800.08/1800.51 v -x391 -x390 -x389 -x388 -x387 -x386 -x385 -x384 -x383 -x382 -x381 -x380 -x379 -x378 -x377 -x376 -x375 -x374 -x373 -x372 -x371
1800.08/1800.51 v -x370 -x369 -x368 -x367 -x366 -x365 -x364 -x363 -x362 -x361 -x360 -x359 -x358 -x357 -x356 -x355 -x354 -x353 -x352 -x351 -x350
1800.08/1800.51 v -x349 -x348 -x347 -x346 -x345 -x344 -x343 -x342 -x341 -x340 -x339 -x338 -x337 -x336 -x335 -x334 -x333 -x332 -x331 -x330 -x329
1800.08/1800.51 v -x328 -x327 -x326 -x325 -x324 -x323 -x322 -x321 -x320 -x319 -x318 -x317 -x316 -x315 -x314 -x313 -x312 -x311 -x310 -x309 -x308
1800.08/1800.51 v x307 -x306 -x305 -x304 -x303 -x302 -x301 -x300 x299 -x298 -x297 -x296 -x295 -x294 -x293 -x292 -x291 -x290 -x289 -x288 -x287
1800.08/1800.51 v -x286 -x285 -x284 -x283 -x282 -x281 -x280 -x279 -x278 -x277 -x276 -x275 -x274 -x273 -x272 -x271 -x270 -x269 -x268 -x267 -x266
1800.08/1800.51 v -x265 -x264 -x263 -x262 -x261 -x260 -x259 -x258 -x257 -x256 -x255 -x254 -x253 -x252 -x251 -x250 -x249 -x248 -x247 -x246
1800.08/1800.51 v -x245 -x244 -x243 -x242 -x241 -x240 -x239 -x238 -x237 -x236 -x235 -x234 -x233 -x232 -x231 -x230 -x229 -x228 -x227 -x226 -x225
1800.08/1800.51 v -x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210 -x209 -x208 -x207 -x206 -x205 -x204
1800.08/1800.51 v -x203 -x202 -x201 -x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189 -x188 -x187 -x186 -x185 -x184 -x183
1800.08/1800.51 v -x182 -x181 -x180 -x179 -x178 -x177 -x176 -x175 x174 -x173 -x172 -x171 -x170 -x169 -x168 -x167 -x166 -x165 -x164 -x163 -x162
1800.08/1800.51 v -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147 -x146 -x145 -x144 -x143 -x142 -x141
1800.08/1800.51 v -x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126 -x125 -x124 -x123 -x122 -x121 -x120
1800.08/1800.51 v -x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105 -x104 -x103 -x102 -x101 -x100
1800.08/1800.51 v -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
1800.08/1800.51 v -x74 -x73 -x72 -x71 -x70 -x69 -x68 -x67 -x66 -x65 -x64 -x63 -x62 -x61 -x60 -x59 -x58 -x57 -x56 -x55 -x54 -x53 -x52 -x51 -x50
1800.08/1800.51 v -x49 -x48 x47 -x46 -x45 -x44 -x43 -x42 -x41 -x40 -x39 -x38 -x37 -x36 -x35 -x34 -x33 -x32 -x31 -x30 -x29 -x28 -x27 -x26 -x25 -x24
1800.08/1800.51 v -x23 -x22 -x21 -x20 -x19 -x18 -x17 -x16 -x15 -x14 -x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2 -x1
1800.08/1800.51 c SCIP Status : solving was interrupted [user interrupt]
1800.08/1800.51 c Solving Time : 1739.89
1800.08/1800.51 c Original Problem :
1800.08/1800.51 c Problem name : HOME/instance-2666930-1276596299.opb
1800.08/1800.51 c Variables : 1108 (1108 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.08/1800.51 c Constraints : 2313 initial, 2313 maximal
1800.08/1800.51 c Presolved Problem :
1800.08/1800.51 c Problem name : t_HOME/instance-2666930-1276596299.opb
1800.08/1800.52 c Variables : 1091 (1091 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.08/1800.52 c Constraints : 1890 initial, 9368 maximal
1800.08/1800.52 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.08/1800.52 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.08/1800.52 c dualfix : 0.00 5 0 0 0 0 0 0 0
1800.08/1800.52 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.08/1800.52 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.08/1800.52 c implics : 0.00 0 0 0 0 0 0 0 0
1800.08/1800.52 c probing : 0.01 0 0 0 0 0 0 0 0
1800.08/1800.52 c linear : 0.09 8 4 0 8 0 255 6 0
1800.08/1800.52 c logicor : 0.34 0 0 0 0 0 168 0 0
1800.08/1800.52 c root node : - 34 - - 34 - - - -
1800.08/1800.52 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.08/1800.52 c integral : 0 0 0 1 0 0 0 0 0 2
1800.08/1800.52 c logicor : 1890+ 17 5035456 0 0 920274 9246870 0 0 0
1800.08/1800.52 c countsols : 0 0 0 0 0 0 0 0 0 0
1800.08/1800.52 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.08/1800.52 c integral : 3.37 0.00 0.00 3.37 0.00
1800.08/1800.52 c logicor : 463.03 0.00 463.03 0.00 0.00
1800.08/1800.52 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.08/1800.52 c Propagators : Time Calls Cutoffs DomReds
1800.08/1800.52 c vbounds : 4.56 2 0 0
1800.08/1800.52 c rootredcost : 4.09 0 0 0
1800.08/1800.52 c pseudoobj : 822.19 9084296 482926 128168832
1800.08/1800.52 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.08/1800.52 c propagation : 493.48 1401402 1401402 1401402 134.6 82718 90.8 -
1800.08/1800.52 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.08/1800.52 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.08/1800.52 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.08/1800.52 c pseudo solution : 7.55 26901 26901 26901 101.7 2062 87.6 -
1800.08/1800.52 c applied globally : - - - 815768 63.2 - - -
1800.08/1800.52 c applied locally : - - - 690734 211.5 - - -
1800.08/1800.52 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.08/1800.52 c cut pool : 0.01 15 - - 22 - (maximal pool size: 212)
1800.08/1800.52 c redcost : 0.00 17 0 34 0 0
1800.08/1800.52 c impliedbounds : 0.00 17 0 0 0 0
1800.08/1800.52 c intobj : 0.00 0 0 0 0 0
1800.08/1800.52 c cgmip : 0.00 0 0 0 0 0
1800.08/1800.52 c gomory : 5.16 17 0 0 4484 0
1800.08/1800.52 c strongcg : 4.51 17 0 0 4505 0
1800.08/1800.52 c cmir : 0.23 10 0 0 0 0
1800.08/1800.52 c flowcover : 0.55 10 0 0 10 0
1800.08/1800.52 c clique : 0.00 1 0 0 0 0
1800.08/1800.52 c zerohalf : 0.00 0 0 0 0 0
1800.08/1800.52 c mcf : 0.01 1 0 0 0 0
1800.08/1800.52 c rapidlearning : 0.00 0 0 0 0 0
1800.08/1800.52 c Pricers : Time Calls Vars
1800.08/1800.52 c problem variables: 0.00 0 0
1800.08/1800.52 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.08/1800.52 c relpscost : 3.37 1 0 0 0 0 2
1800.08/1800.52 c pscost : 0.00 0 0 0 0 0 0
1800.08/1800.52 c inference : 102.98 1663715 0 0 0 0 3327430
1800.08/1800.52 c mostinf : 0.00 0 0 0 0 0 0
1800.08/1800.52 c leastinf : 0.00 0 0 0 0 0 0
1800.08/1800.52 c fullstrong : 0.00 0 0 0 0 0 0
1800.08/1800.52 c allfullstrong : 0.00 0 0 0 0 0 0
1800.08/1800.52 c random : 0.00 0 0 0 0 0 0
1800.08/1800.52 c Primal Heuristics : Time Calls Found
1800.08/1800.52 c LP solutions : 0.00 - 0
1800.08/1800.52 c pseudo solutions : 0.00 - 0
1800.08/1800.52 c crossover : 0.00 0 0
1800.08/1800.52 c oneopt : 1.52 4 2
1800.08/1800.52 c trivial : 0.01 2 3
1800.08/1800.52 c simplerounding : 0.00 16 0
1800.08/1800.52 c zirounding : 0.00 1 0
1800.08/1800.52 c rounding : 0.01 16 0
1800.08/1800.52 c shifting : 0.01 16 0
1800.08/1800.52 c intshifting : 0.00 0 0
1800.08/1800.52 c twoopt : 0.00 0 0
1800.08/1800.52 c fixandinfer : 0.00 0 0
1800.08/1800.52 c feaspump : 0.00 0 0
1800.08/1800.52 c coefdiving : 0.00 0 0
1800.08/1800.52 c pscostdiving : 0.00 0 0
1800.08/1800.52 c fracdiving : 0.00 0 0
1800.08/1800.52 c veclendiving : 0.00 0 0
1800.08/1800.52 c intdiving : 0.00 0 0
1800.08/1800.52 c actconsdiving : 0.00 0 0
1800.08/1800.52 c objpscostdiving : 0.00 0 0
1800.08/1800.52 c rootsoldiving : 0.00 0 0
1800.08/1800.52 c linesearchdiving : 0.00 0 0
1800.08/1800.52 c guideddiving : 0.00 0 0
1800.08/1800.52 c octane : 0.00 0 0
1800.08/1800.52 c rens : 0.44 1 1
1800.08/1800.52 c rins : 0.00 0 0
1800.08/1800.52 c localbranching : 0.00 0 0
1800.08/1800.52 c mutation : 0.00 0 0
1800.08/1800.52 c dins : 0.00 0 0
1800.08/1800.52 c undercover : 0.00 0 0
1800.08/1800.52 c nlp : 1.73 0 0
1800.08/1800.52 c trysol : 0.93 0 0
1800.08/1800.52 c LP : Time Calls Iterations Iter/call Iter/sec
1800.08/1800.52 c primal LP : 0.01 0 0 0.00 0.00
1800.08/1800.52 c dual LP : 0.92 16 2559 159.94 2781.52
1800.08/1800.52 c lex dual LP : 0.00 0 0 0.00 -
1800.08/1800.52 c barrier LP : 0.00 0 0 0.00 -
1800.08/1800.52 c diving/probing LP: 0.00 0 0 0.00 -
1800.08/1800.52 c strong branching : 3.37 33 6693 202.82 1986.05
1800.08/1800.52 c (at root node) : - 33 6693 202.82 -
1800.08/1800.52 c conflict analysis: 0.00 0 0 0.00 -
1800.08/1800.52 c B&B Tree :
1800.08/1800.52 c number of runs : 1
1800.08/1800.52 c nodes : 2399871
1800.08/1800.52 c nodes (total) : 2399871
1800.08/1800.52 c nodes left : 685
1800.08/1800.52 c max depth : 885
1800.08/1800.52 c max depth (total): 885
1800.08/1800.52 c backtracks : 952784 (39.7%)
1800.08/1800.52 c delayed cutoffs : 877722
1800.08/1800.52 c repropagations : 1884652 (64232405 domain reductions, 693946 cutoffs)
1800.08/1800.52 c avg switch length: 2.65
1800.08/1800.52 c switching time : 173.93
1800.08/1800.52 c Solution :
1800.08/1800.52 c Solutions found : 6 (6 improvements)
1800.08/1800.52 c First Solution : +1.10800000000000e+03 (in run 1, after 0 nodes, 0.04 seconds, depth 0, found by <trivial>)
1800.08/1800.52 c Primal Bound : +3.70000000000000e+01 (in run 1, after 1 nodes, 12.38 seconds, depth 0, found by <rens>)
1800.08/1800.52 c Dual Bound : +3.53478071413692e+01
1800.08/1800.52 c Gap : 4.67 %
1800.08/1800.52 c Root Dual Bound : +3.53019384919782e+01
1800.08/1800.52 c Root Iterations : 2559
1800.08/1800.57 c Time complete: 1800.14.