0.00/0.00 c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Clp 1.11.1] [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-2665425-1276448385.opb>
0.09/0.13 c original problem has 2666 variables (2666 bin, 0 int, 0 impl, 0 cont) and 6659 constraints
0.09/0.13 c problem read
0.09/0.13 c presolving settings loaded
0.09/0.18 c presolving:
0.30/0.33 c (round 1) 0 del vars, 122 del conss, 0 chg bounds, 122 chg sides, 0 chg coeffs, 6535 upgd conss, 5642 impls, 0 clqs
0.30/0.35 c (round 2) 0 del vars, 122 del conss, 0 chg bounds, 122 chg sides, 0 chg coeffs, 6536 upgd conss, 5642 impls, 0 clqs
0.30/0.37 c (round 3) 0 del vars, 122 del conss, 0 chg bounds, 122 chg sides, 0 chg coeffs, 6537 upgd conss, 5642 impls, 0 clqs
0.40/0.44 c (round 4) 50 del vars, 122 del conss, 0 chg bounds, 122 chg sides, 0 chg coeffs, 6537 upgd conss, 7104 impls, 0 clqs
0.40/0.45 c (round 5) 53 del vars, 127 del conss, 0 chg bounds, 122 chg sides, 0 chg coeffs, 6537 upgd conss, 7142 impls, 0 clqs
0.40/0.47 c (round 6) 53 del vars, 129 del conss, 0 chg bounds, 122 chg sides, 0 chg coeffs, 6537 upgd conss, 7142 impls, 0 clqs
0.59/0.65 c (round 7) 103 del vars, 129 del conss, 0 chg bounds, 122 chg sides, 0 chg coeffs, 6537 upgd conss, 27330 impls, 0 clqs
0.69/0.79 c (round 8) 153 del vars, 129 del conss, 0 chg bounds, 122 chg sides, 0 chg coeffs, 6537 upgd conss, 46786 impls, 0 clqs
0.89/0.94 c (0.7s) probing: 548/2666 (20.6%) - 2 fixings, 183 aggregations, 12557 implications, 0 bound changes
0.89/0.94 c (0.7s) probing aborted: 100/100 successive totally useless probings
0.89/0.94 c (round 9) 188 del vars, 129 del conss, 0 chg bounds, 122 chg sides, 0 chg coeffs, 6537 upgd conss, 48388 impls, 0 clqs
0.89/0.96 c (0.7s) probing: 558/2666 (20.9%) - 2 fixings, 183 aggregations, 12557 implications, 0 bound changes
0.89/0.96 c (0.7s) probing aborted: 100/100 successive totally useless probings
0.89/0.96 c presolving (10 rounds):
0.89/0.96 c 188 deleted vars, 129 deleted constraints, 0 tightened bounds, 0 added holes, 122 changed sides, 0 changed coefficients
0.89/0.96 c 48388 implications, 0 cliques
0.89/0.96 c presolved problem has 2478 variables (2478 bin, 0 int, 0 impl, 0 cont) and 6530 constraints
0.89/0.96 c 6530 constraints of type <logicor>
0.89/0.96 c transformed objective value is always integral (scale: 1)
0.89/0.96 c Presolving Time: 0.71
0.89/0.96 c - non default parameters ----------------------------------------------------------------------
0.89/0.96 c # SCIP version 1.2.1.2
0.89/0.96 c
0.89/0.96 c # maximal number of intermediate conflict constraints generated in conflict graph (-1: use every intermediate constraint)
0.89/0.96 c # [type: int, range: [-1,2147483647], default: -1]
0.89/0.96 c conflict/interconss = 0
0.89/0.96 c
0.89/0.96 c # should binary conflicts be preferred?
0.89/0.96 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.89/0.96 c conflict/preferbinary = TRUE
0.89/0.96 c
0.89/0.96 c # maximum age an unnecessary constraint can reach before it is deleted (0: dynamic, -1: keep all constraints)
0.89/0.96 c # [type: int, range: [-1,2147483647], default: 0]
0.89/0.96 c constraints/agelimit = 1
0.89/0.96 c
0.89/0.96 c # should enforcement of pseudo solution be disabled?
0.89/0.96 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.89/0.96 c constraints/disableenfops = TRUE
0.89/0.96 c
0.89/0.96 c # frequency for displaying node information lines
0.89/0.96 c # [type: int, range: [-1,2147483647], default: 100]
0.89/0.96 c display/freq = 10000
0.89/0.96 c
0.89/0.96 c # maximal time in seconds to run
0.89/0.96 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.89/0.96 c limits/time = 1799.87
0.89/0.96 c
0.89/0.96 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.89/0.96 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.89/0.96 c limits/memory = 1620
0.89/0.96 c
0.89/0.96 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.89/0.96 c # [type: int, range: [-1,2147483647], default: 1]
0.89/0.96 c lp/solvefreq = 0
0.89/0.96 c
0.89/0.96 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.89/0.96 c # [type: char, range: {lafpsqd}, default: l]
0.89/0.96 c lp/pricing = a
0.89/0.96 c
0.89/0.96 c # should presolving try to simplify inequalities
0.89/0.96 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.89/0.96 c constraints/linear/simplifyinequalities = TRUE
0.89/0.96 c
0.89/0.96 c # should presolving try to simplify knapsacks
0.89/0.96 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.89/0.96 c constraints/knapsack/simplifyinequalities = TRUE
0.89/0.96 c
0.89/0.96 c # priority of node selection rule <dfs> in standard mode
0.89/0.96 c # [type: int, range: [-536870912,536870911], default: 0]
0.89/0.96 c nodeselection/dfs/stdpriority = 1000000
0.89/0.96 c
0.89/0.96 c -----------------------------------------------------------------------------------------------
0.89/0.96 c start solving
0.89/0.97 c
2.89/2.97 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
2.89/2.97 c 2.7s| 1 | 0 | 4623 | - | 15M| 0 |1741 |2478 |6530 |2478 |6343 | 0 | 0 | 0 | 7.986569e+02 | -- | Inf
5.39/5.46 c 5.2s| 1 | 0 | 6974 | - | 19M| 0 |2048 |2478 |6530 |2478 |7006 | 663 | 0 | 0 | 8.228167e+02 | -- | Inf
6.49/6.55 c 6.2s| 1 | 0 | 7940 | - | 21M| 0 |1814 |2478 |6530 |2478 |7030 | 687 | 0 | 0 | 8.281979e+02 | -- | Inf
7.79/7.85 c 7.5s| 1 | 0 | 9332 | - | 22M| 0 |2194 |2478 |6530 |2478 |7059 | 716 | 0 | 0 | 8.318668e+02 | -- | Inf
10.29/10.30 c 9.9s| 1 | 0 | 11097 | - | 25M| 0 |1675 |2478 |6530 |2478 |7112 | 769 | 0 | 0 | 8.470089e+02 | -- | Inf
12.09/12.17 c 11.8s| 1 | 0 | 12522 | - | 28M| 0 |1624 |2478 |6530 |2478 |7140 | 797 | 0 | 0 | 8.496218e+02 | -- | Inf
13.59/13.69 c 13.3s| 1 | 0 | 13876 | - | 30M| 0 |1683 |2478 |6530 |2478 |7173 | 830 | 0 | 0 | 8.519732e+02 | -- | Inf
14.89/14.99 c 14.6s| 1 | 0 | 14951 | - | 32M| 0 |1697 |2478 |6530 |2478 |7201 | 858 | 0 | 0 | 8.545845e+02 | -- | Inf
17.18/17.29 c 16.8s| 1 | 0 | 16629 | - | 34M| 0 |1712 |2478 |6530 |2478 |7236 | 893 | 0 | 0 | 8.567477e+02 | -- | Inf
19.48/19.54 c 19.1s| 1 | 0 | 18075 | - | 35M| 0 |1650 |2478 |6530 |2478 |7280 | 937 | 0 | 0 | 8.637581e+02 | -- | Inf
21.19/21.25 c 20.8s| 1 | 0 | 19330 | - | 37M| 0 |1675 |2478 |6530 |2478 |7312 | 969 | 0 | 0 | 8.657577e+02 | -- | Inf
24.68/24.70 c 24.1s| 1 | 0 | 22025 | - | 39M| 0 |1728 |2478 |6530 |2478 |6729 |1012 | 0 | 0 | 8.707937e+02 | -- | Inf
26.99/27.06 c 26.5s| 1 | 0 | 23530 | - | 44M| 0 |1634 |2478 |6530 |2478 |6771 |1054 | 0 | 0 | 8.771765e+02 | -- | Inf
29.59/29.66 c 29.1s| 1 | 0 | 25303 | - | 49M| 0 |1665 |2478 |6530 |2478 |6812 |1095 | 0 | 0 | 8.818239e+02 | -- | Inf
32.28/32.32 c 31.7s| 1 | 0 | 27046 | - | 52M| 0 |1790 |2478 |6530 |2478 |6845 |1128 | 0 | 0 | 8.842369e+02 | -- | Inf
35.28/35.39 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
35.28/35.39 c 34.7s| 1 | 0 | 28758 | - | 55M| 0 |1822 |2478 |6530 |2478 |6877 |1160 | 0 | 0 | 8.884829e+02 | -- | Inf
38.78/38.88 c 38.2s| 1 | 0 | 30785 | - | 58M| 0 |1801 |2478 |6530 |2478 |6914 |1197 | 0 | 0 | 8.923435e+02 | -- | Inf
41.88/41.93 c 41.2s| 1 | 0 | 32368 | - | 62M| 0 |1793 |2478 |6530 |2478 |6826 |1228 | 0 | 0 | 8.966367e+02 | -- | Inf
43.99/44.09 c 43.3s| 1 | 0 | 33331 | - | 64M| 0 |1853 |2478 |6530 |2478 |6857 |1259 | 0 | 0 | 8.997992e+02 | -- | Inf
46.19/46.24 c 45.5s| 1 | 0 | 34272 | - | 66M| 0 |1876 |2478 |6530 |2478 |6892 |1294 | 0 | 0 | 9.062712e+02 | -- | Inf
48.77/48.88 c 48.1s| 1 | 0 | 35534 | - | 68M| 0 |1830 |2478 |6530 |2478 |6936 |1338 | 0 | 0 | 9.117682e+02 | -- | Inf
51.38/51.45 c 50.6s| 1 | 0 | 37169 | - | 69M| 0 |1845 |2478 |6530 |2478 |6972 |1374 | 0 | 0 | 9.136560e+02 | -- | Inf
53.48/53.51 c 52.6s| 1 | 0 | 38409 | - | 70M| 0 |1833 |2478 |6530 |2478 |7020 |1422 | 0 | 0 | 9.175897e+02 | -- | Inf
55.78/55.80 c 54.9s| 1 | 0 | 39845 | - | 71M| 0 |1778 |2478 |6530 |2478 |6878 |1460 | 0 | 0 | 9.204154e+02 | -- | Inf
57.78/57.81 c 56.9s| 1 | 0 | 40940 | - | 72M| 0 |1761 |2478 |6530 |2478 |6934 |1516 | 0 | 0 | 9.270506e+02 | -- | Inf
59.78/59.80 c 58.9s| 1 | 0 | 42237 | - | 73M| 0 |1813 |2478 |6530 |2478 |6990 |1572 | 0 | 0 | 9.313553e+02 | -- | Inf
61.67/61.77 c 60.8s| 1 | 0 | 43633 | - | 74M| 0 |1824 |2478 |6530 |2478 |7036 |1618 | 0 | 0 | 9.349667e+02 | -- | Inf
63.79/63.88 c 62.9s| 1 | 0 | 44895 | - | 75M| 0 |1838 |2478 |6530 |2478 |7075 |1657 | 0 | 0 | 9.399255e+02 | -- | Inf
66.28/66.35 c 65.3s| 1 | 0 | 46233 | - | 76M| 0 |1845 |2478 |6530 |2478 |7130 |1712 | 0 | 0 | 9.459948e+02 | -- | Inf
69.57/69.62 c 68.6s| 1 | 0 | 47948 | - | 77M| 0 |1869 |2478 |6530 |2478 |7042 |1766 | 0 | 0 | 9.546684e+02 | -- | Inf
72.07/72.15 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
72.07/72.15 c 71.1s| 1 | 0 | 49422 | - | 79M| 0 |1866 |2478 |6530 |2478 |7111 |1835 | 0 | 0 | 9.645341e+02 | -- | Inf
75.17/75.21 c 74.1s| 1 | 0 | 51096 | - | 79M| 0 |1919 |2478 |6530 |2478 |7179 |1903 | 0 | 0 | 9.725302e+02 | -- | Inf
78.16/78.22 c 77.0s| 1 | 0 | 52712 | - | 81M| 0 |1826 |2478 |6530 |2478 |7240 |1964 | 0 | 0 | 9.824819e+02 | -- | Inf
80.76/80.82 c 79.6s| 1 | 0 | 54476 | - | 82M| 0 |1924 |2478 |6530 |2478 |7292 |2016 | 0 | 0 | 9.878394e+02 | -- | Inf
83.46/83.51 c 82.3s| 1 | 0 | 56184 | - | 83M| 0 |1905 |2478 |6530 |2478 |7363 |2087 | 0 | 0 | 9.974880e+02 | -- | Inf
86.25/86.35 c 85.1s| 1 | 0 | 57933 | - | 84M| 0 |1859 |2478 |6530 |2478 |7211 |2128 | 0 | 0 | 1.002755e+03 | -- | Inf
87.86/87.99 c 86.7s| 1 | 0 | 59023 | - | 85M| 0 |1923 |2478 |6530 |2478 |7255 |2172 | 0 | 0 | 1.005107e+03 | -- | Inf
90.45/90.55 c 89.2s| 1 | 0 | 60182 | - | 86M| 0 |1981 |2478 |6530 |2478 |7329 |2246 | 0 | 0 | 1.011014e+03 | -- | Inf
93.55/93.69 c 92.3s| 1 | 0 | 61802 | - | 87M| 0 |1932 |2478 |6530 |2478 |7375 |2292 | 0 | 0 | 1.014569e+03 | -- | Inf
97.55/97.63 c 96.2s| 1 | 0 | 63818 | - | 88M| 0 |1952 |2478 |6530 |2478 |7446 |2363 | 0 | 0 | 1.019617e+03 | -- | Inf
100.55/100.65 c 99.2s| 1 | 0 | 65673 | - | 90M| 0 |2049 |2478 |6530 |2478 |7496 |2413 | 0 | 0 | 1.024796e+03 | -- | Inf
103.16/103.26 c 102s| 1 | 0 | 67009 | - | 91M| 0 |1964 |2478 |6530 |2478 |7295 |2460 | 0 | 0 | 1.029550e+03 | -- | Inf
105.85/105.96 c 104s| 1 | 0 | 68524 | - | 92M| 0 |2078 |2478 |6530 |2478 |7347 |2512 | 0 | 0 | 1.032987e+03 | -- | Inf
108.65/108.73 c 107s| 1 | 0 | 70166 | - | 96M| 0 |2091 |2478 |6530 |2478 |7400 |2565 | 0 | 0 | 1.038245e+03 | -- | Inf
112.16/112.24 c 111s| 1 | 0 | 71842 | - | 97M| 0 |2140 |2478 |6530 |2478 |7477 |2642 | 0 | 0 | 1.047666e+03 | -- | Inf
116.95/117.09 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
116.95/117.09 c 115s| 1 | 0 | 74290 | - | 97M| 0 |2105 |2478 |6530 |2478 |7568 |2733 | 0 | 0 | 1.059052e+03 | -- | Inf
120.75/120.84 c 119s| 1 | 0 | 76241 | - | 98M| 0 |2045 |2478 |6530 |2478 |7633 |2798 | 0 | 0 | 1.063490e+03 | -- | Inf
125.05/125.12 c 123s| 1 | 0 | 78733 | - | 99M| 0 |2100 |2478 |6530 |2478 |7451 |2856 | 0 | 0 | 1.068746e+03 | -- | Inf
128.15/128.25 c 126s| 1 | 0 | 80745 | - | 100M| 0 |2188 |2478 |6530 |2478 |7512 |2917 | 0 | 0 | 1.073537e+03 | -- | Inf
132.75/132.80 c 131s| 1 | 0 | 83013 | - | 101M| 0 |2161 |2478 |6530 |2478 |7607 |3012 | 0 | 0 | 1.084412e+03 | -- | Inf
135.85/136.00 c 134s| 1 | 0 | 84983 | - | 101M| 0 |2132 |2478 |6530 |2478 |7672 |3077 | 0 | 0 | 1.088185e+03 | -- | Inf
140.75/140.81 c 139s| 1 | 0 | 87444 | - | 102M| 0 |2090 |2478 |6530 |2478 |7734 |3139 | 0 | 0 | 1.094096e+03 | -- | Inf
145.05/145.20 c 143s| 1 | 0 | 89866 | - | 103M| 0 |2097 |2478 |6530 |2478 |7806 |3211 | 0 | 0 | 1.100208e+03 | -- | Inf
148.45/148.55 c 147s| 1 | 0 | 91401 | - | 103M| 0 |2144 |2478 |6530 |2478 |7640 |3281 | 0 | 0 | 1.106792e+03 | -- | Inf
152.14/152.22 c 150s| 1 | 0 | 93342 | - | 104M| 0 |2117 |2478 |6530 |2478 |7705 |3346 | 0 | 0 | 1.113608e+03 | -- | Inf
155.74/155.82 c 154s| 1 | 0 | 95370 | - | 105M| 0 |2115 |2478 |6530 |2478 |7770 |3411 | 0 | 0 | 1.119961e+03 | -- | Inf
159.45/159.58 c 158s| 1 | 0 | 96973 | - | 105M| 0 |1979 |2478 |6530 |2478 |7835 |3476 | 0 | 0 | 1.126698e+03 | -- | Inf
161.65/161.77 c 160s| 1 | 0 | 98544 | - | 106M| 0 |2019 |2478 |6530 |2478 |7876 |3517 | 0 | 0 | 1.128222e+03 | -- | Inf
164.24/164.31 c 162s| 1 | 0 |100134 | - | 107M| 0 |2077 |2478 |6530 |2478 |7923 |3564 | 0 | 0 | 1.130523e+03 | -- | Inf
166.83/166.90 c 165s| 1 | 0 |101852 | - | 108M| 0 |2106 |2478 |6530 |2478 |7647 |3618 | 0 | 0 | 1.133314e+03 | -- | Inf
169.44/169.55 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
169.44/169.55 c 167s| 1 | 0 |103509 | - | 109M| 0 |2103 |2478 |6530 |2478 |7705 |3676 | 0 | 0 | 1.134870e+03 | -- | Inf
172.13/172.21 c 170s| 1 | 0 |105311 | - | 110M| 0 |2125 |2478 |6530 |2478 |7734 |3705 | 0 | 0 | 1.136341e+03 | -- | Inf
175.13/175.24 c 173s| 1 | 0 |107188 | - | 111M| 0 |2155 |2478 |6530 |2478 |7770 |3741 | 0 | 0 | 1.137519e+03 | -- | Inf
179.43/179.54 c 177s| 1 | 0 |108846 | - | 111M| 0 |2143 |2478 |6530 |2478 |7828 |3799 | 0 | 0 | 1.141348e+03 | -- | Inf
183.53/183.66 c 181s| 1 | 0 |110777 | - | 112M| 0 |2078 |2478 |6530 |2478 |7867 |3838 | 0 | 0 | 1.145031e+03 | -- | Inf
187.53/187.68 c 185s| 1 | 0 |112513 | - | 112M| 0 |2104 |2478 |6530 |2478 |7536 |3886 | 0 | 0 | 1.148452e+03 | -- | Inf
189.73/189.85 c 187s| 1 | 0 |113845 | - | 113M| 0 |2095 |2478 |6530 |2478 |7573 |3923 | 0 | 0 | 1.150345e+03 | -- | Inf
191.83/191.95 c 189s| 1 | 0 |115439 | - | 114M| 0 |2175 |2478 |6530 |2478 |7611 |3961 | 0 | 0 | 1.151534e+03 | -- | Inf
196.33/196.48 c 194s| 1 | 0 |117629 | - | 115M| 0 |2152 |2478 |6530 |2478 |7642 |3992 | 0 | 0 | 1.152702e+03 | -- | Inf
200.53/200.63 c 198s| 1 | 0 |119345 | - | 115M| 0 |2125 |2478 |6530 |2478 |7678 |4028 | 0 | 0 | 1.153673e+03 | -- | Inf
204.43/204.53 c 202s| 1 | 0 |120953 | - | 115M| 0 |2187 |2478 |6530 |2478 |7712 |4062 | 0 | 0 | 1.155156e+03 | -- | Inf
210.43/210.51 c 208s| 1 | 0 |122477 | - | 115M| 0 |2107 |2478 |6530 |2478 |7510 |4107 | 0 | 0 | 1.156798e+03 | -- | Inf
212.82/212.97 c 210s| 1 | 0 |123837 | - | 116M| 0 |1971 |2478 |6530 |2478 |7562 |4159 | 0 | 0 | 1.159628e+03 | -- | Inf
215.82/215.91 c 213s| 1 | 0 |126415 | - | 117M| 0 |2068 |2478 |6530 |2478 |7616 |4213 | 0 | 0 | 1.163321e+03 | -- | Inf
218.62/218.73 c 216s| 1 | 0 |128097 | - | 117M| 0 |2129 |2478 |6530 |2478 |7679 |4276 | 0 | 0 | 1.164840e+03 | -- | Inf
222.02/222.14 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
222.02/222.14 c 219s| 1 | 0 |130017 | - | 118M| 0 |2101 |2478 |6530 |2478 |7764 |4361 | 0 | 0 | 1.168078e+03 | -- | Inf
225.33/225.49 c 223s| 1 | 0 |132325 | - | 119M| 0 |2168 |2478 |6530 |2478 |7829 |4426 | 0 | 0 | 1.169881e+03 | -- | Inf
231.42/231.54 c 229s| 1 | 0 |134673 | - | 120M| 0 |2128 |2478 |6530 |2478 |7650 |4482 | 0 | 0 | 1.173881e+03 | -- | Inf
233.91/234.09 c 231s| 1 | 0 |136194 | - | 121M| 0 |2168 |2478 |6530 |2478 |7689 |4521 | 0 | 0 | 1.175705e+03 | -- | Inf
237.82/237.98 c 235s| 1 | 0 |138459 | - | 121M| 0 |2163 |2478 |6530 |2478 |7735 |4567 | 0 | 0 | 1.178147e+03 | -- | Inf
243.52/243.61 c 241s| 1 | 0 |140480 | - | 122M| 0 |2144 |2478 |6530 |2478 |7778 |4610 | 0 | 0 | 1.180918e+03 | -- | Inf
248.12/248.28 c 245s| 1 | 0 |142545 | - | 122M| 0 |2165 |2478 |6530 |2478 |7820 |4652 | 0 | 0 | 1.185133e+03 | -- | Inf
251.61/251.73 c 249s| 1 | 0 |144298 | - | 123M| 0 |2132 |2478 |6530 |2478 |7851 |4683 | 0 | 0 | 1.186842e+03 | -- | Inf
255.22/255.34 c 252s| 1 | 0 |145671 | - | 124M| 0 |2151 |2478 |6530 |2478 |7663 |4715 | 0 | 0 | 1.188731e+03 | -- | Inf
258.61/258.71 c 256s| 1 | 0 |147316 | - | 124M| 0 |2145 |2478 |6530 |2478 |7700 |4752 | 0 | 0 | 1.191190e+03 | -- | Inf
262.11/262.23 c 259s| 1 | 0 |148394 | - | 124M| 0 |2102 |2478 |6530 |2478 |7749 |4801 | 0 | 0 | 1.196758e+03 | -- | Inf
264.71/264.84 c 262s| 1 | 0 |149456 | - | 125M| 0 |2132 |2478 |6530 |2478 |7787 |4839 | 0 | 0 | 1.198362e+03 | -- | Inf
266.61/266.70 c 264s| 1 | 0 |150520 | - | 125M| 0 |2118 |2478 |6530 |2478 |7825 |4877 | 0 | 0 | 1.199107e+03 | -- | Inf
268.91/269.06 c 266s| 1 | 0 |151002 | - | 125M| 0 |2112 |2478 |6530 |2478 |7842 |4894 | 0 | 0 | 1.199200e+03 | -- | Inf
272.11/272.29 c 269s| 1 | 0 |152258 | - | 125M| 0 |2123 |2478 |6530 |2478 |7559 |4912 | 0 | 0 | 1.200281e+03 | -- | Inf
274.00/274.12 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
274.00/274.12 c 271s| 1 | 0 |153232 | - | 127M| 0 |2136 |2478 |6530 |2478 |7572 |4925 | 0 | 0 | 1.200610e+03 | -- | Inf
277.31/277.44 c 274s| 1 | 0 |153794 | - | 127M| 0 |2126 |2478 |6530 |2478 |7582 |4935 | 0 | 0 | 1.200768e+03 | -- | Inf
280.41/280.58 c 277s| 1 | 0 |154733 | - | 127M| 0 |2085 |2478 |6530 |2478 |7592 |4945 | 0 | 0 | 1.201349e+03 | -- | Inf
282.81/282.95 c 280s| 1 | 0 |155199 | - | 127M| 0 |2079 |2478 |6530 |2478 |7612 |4965 | 0 | 0 | 1.201429e+03 | -- | Inf
286.41/286.52 c 283s| 1 | 0 |156272 | - | 127M| 0 |2107 |2478 |6530 |2478 |7626 |4979 | 0 | 0 | 1.202135e+03 | -- | Inf
288.80/288.93 c 286s| 1 | 0 |156772 | - | 128M| 0 |2134 |2478 |6530 |2478 |7452 |5008 | 0 | 0 | 1.202647e+03 | -- | Inf
291.60/291.71 c 288s| 1 | 0 |157873 | - | 128M| 0 |2138 |2478 |6530 |2478 |7475 |5031 | 0 | 0 | 1.203337e+03 | -- | Inf
296.50/296.62 c 293s| 1 | 0 |159242 | - | 128M| 0 |2143 |2478 |6530 |2478 |7495 |5051 | 0 | 0 | 1.204114e+03 | -- | Inf
299.20/299.39 c 296s| 1 | 0 |159702 | - | 128M| 0 |2136 |2478 |6530 |2478 |7507 |5063 | 0 | 0 | 1.204184e+03 | -- | Inf
302.50/302.63 c 299s| 1 | 0 |160597 | - | 129M| 0 |2124 |2478 |6530 |2478 |7522 |5078 | 0 | 0 | 1.205589e+03 | -- | Inf
305.60/305.79 c 302s| 1 | 0 |160732 | - | 129M| 0 |2130 |2478 |6530 |2478 |7539 |5095 | 0 | 0 | 1.206001e+03 | -- | Inf
309.60/309.77 c 306s| 1 | 0 |160768 | - | 129M| 0 |2134 |2478 |6530 |2478 |7408 |5098 | 0 | 0 | 1.206006e+03 | -- | Inf
313.40/313.52 c 310s| 1 | 0 |160776 | - | 125M| 0 |2135 |2478 |6530 |2478 |7409 |5099 | 0 | 0 | 1.206006e+03 | -- | Inf
317.09/317.26 c 314s| 1 | 0 |160796 | - | 123M| 0 |2138 |2478 |6530 |2478 |7411 |5101 | 0 | 0 | 1.206006e+03 | -- | Inf
320.79/320.96 c 317s| 1 | 0 |160820 | - | 122M| 0 |2141 |2478 |6530 |2478 |7413 |5103 | 0 | 0 | 1.206006e+03 | -- | Inf
324.69/324.82 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
324.69/324.82 c 321s| 1 | 0 |161119 | - | 119M| 0 |2120 |2478 |6530 |2478 |7415 |5105 | 0 | 0 | 1.206151e+03 | -- | Inf
327.60/327.79 c 324s| 1 | 0 |162102 | - | 116M| 0 |2101 |2478 |6530 |2478 |7436 |5126 | 0 | 0 | 1.206504e+03 | -- | Inf
329.80/329.92 c 326s| 1 | 0 |163199 | - | 115M| 0 |2126 |2478 |6530 |2478 |7353 |5151 | 0 | 0 | 1.207123e+03 | -- | Inf
332.70/332.86 c 329s| 1 | 0 |164064 | - | 113M| 0 |2112 |2478 |6530 |2478 |7382 |5180 | 0 | 0 | 1.207643e+03 | -- | Inf
334.29/334.45 c 331s| 1 | 0 |164555 | - | 112M| 0 |2081 |2478 |6530 |2478 |7401 |5199 | 0 | 0 | 1.208056e+03 | -- | Inf
336.10/336.27 c 333s| 1 | 0 |165419 | - | 112M| 0 |2103 |2478 |6530 |2478 |7424 |5222 | 0 | 0 | 1.208611e+03 | -- | Inf
337.59/337.77 c 334s| 1 | 0 |165928 | - | 110M| 0 |2112 |2478 |6530 |2478 |7444 |5242 | 0 | 0 | 1.208840e+03 | -- | Inf
340.29/340.44 c 337s| 1 | 0 |166806 | - | 108M| 0 |2088 |2478 |6530 |2478 |7459 |5257 | 0 | 0 | 1.209415e+03 | -- | Inf
342.89/343.04 c 339s| 1 | 0 |168195 | - | 104M| 0 |2097 |2478 |6530 |2478 |7435 |5283 | 0 | 0 | 1.210441e+03 | -- | Inf
345.09/345.29 c 342s| 1 | 0 |169222 | - | 100M| 0 |2074 |2478 |6530 |2478 |7465 |5313 | 0 | 0 | 1.211211e+03 | -- | Inf
347.79/347.91 c 344s| 1 | 0 |169892 | - | 97M| 0 |2089 |2478 |6530 |2478 |7494 |5342 | 0 | 0 | 1.211368e+03 | -- | Inf
350.99/351.20 c 348s| 1 | 0 |171266 | - | 94M| 0 |2085 |2478 |6530 |2478 |7521 |5369 | 0 | 0 | 1.212102e+03 | -- | Inf
354.18/354.38 c 351s| 1 | 0 |172586 | - | 92M| 0 |2118 |2478 |6530 |2478 |7555 |5403 | 0 | 0 | 1.213209e+03 | -- | Inf
357.08/357.27 c 354s| 1 | 0 |174200 | - | 88M| 0 |2049 |2478 |6530 |2478 |7609 |5457 | 0 | 0 | 1.214785e+03 | -- | Inf
360.19/360.35 c 357s| 1 | 0 |175730 | - | 86M| 0 |2049 |2478 |6530 |2478 |7558 |5499 | 0 | 0 | 1.215819e+03 | -- | Inf
362.18/362.33 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
362.18/362.33 c 359s| 1 | 0 |177378 | - | 86M| 0 |2086 |2478 |6530 |2478 |7593 |5534 | 0 | 0 | 1.217489e+03 | -- | Inf
365.00/365.14 c 361s| 1 | 0 |179065 | - | 84M| 0 |2104 |2478 |6530 |2478 |7647 |5588 | 0 | 0 | 1.219394e+03 | -- | Inf
367.78/367.99 c 364s| 1 | 0 |180315 | - | 83M| 0 |2098 |2478 |6530 |2478 |7681 |5622 | 0 | 0 | 1.220236e+03 | -- | Inf
370.69/370.80 c 367s| 1 | 0 |181921 | - | 83M| 0 |2085 |2478 |6530 |2478 |7715 |5656 | 0 | 0 | 1.222240e+03 | -- | Inf
373.89/374.08 c 370s| 1 | 0 |183032 | - | 82M| 0 |2114 |2478 |6530 |2478 |7753 |5694 | 0 | 0 | 1.224938e+03 | -- | Inf
376.68/376.80 c 373s| 1 | 0 |184877 | - | 82M| 0 |2105 |2478 |6530 |2478 |7664 |5723 | 0 | 0 | 1.227112e+03 | -- | Inf
381.28/381.45 c 377s| 1 | 0 |186873 | - | 81M| 0 |2134 |2478 |6530 |2478 |7717 |5776 | 0 | 0 | 1.230242e+03 | -- | Inf
382.88/383.00 c 379s| 1 | 0 |187861 | - | 81M| 0 |2164 |2478 |6530 |2478 |7738 |5797 | 0 | 0 | 1.231197e+03 | -- | Inf
388.37/388.54 c 385s| 1 | 0 |188873 | - | 80M| 0 |2147 |2478 |6530 |2478 |7757 |5816 | 0 | 0 | 1.232236e+03 | -- | Inf
390.67/390.87 c 387s| 1 | 0 |189937 | - | 80M| 0 |2160 |2478 |6530 |2478 |7782 |5841 | 0 | 0 | 1.232734e+03 | -- | Inf
393.08/393.26 c 389s| 1 | 0 |191262 | - | 80M| 0 |2123 |2478 |6530 |2478 |7799 |5858 | 0 | 0 | 1.233228e+03 | -- | Inf
394.88/395.03 c 391s| 1 | 0 |191899 | - | 79M| 0 |2140 |2478 |6530 |2478 |7633 |5885 | 0 | 0 | 1.233781e+03 | -- | Inf
397.28/397.43 c 393s| 1 | 0 |193312 | - | 80M| 0 |2154 |2478 |6530 |2478 |7656 |5908 | 0 | 0 | 1.235038e+03 | -- | Inf
400.28/400.45 c 396s| 1 | 0 |194160 | - | 78M| 0 |2160 |2478 |6530 |2478 |7676 |5928 | 0 | 0 | 1.235383e+03 | -- | Inf
404.68/404.88 c 401s| 1 | 0 |194664 | - | 78M| 0 |2131 |2478 |6530 |2478 |7683 |5935 | 0 | 0 | 1.235469e+03 | -- | Inf
409.37/409.51 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
409.37/409.51 c 405s| 1 | 0 |195451 | - | 77M| 0 |2085 |2478 |6530 |2478 |7695 |5947 | 0 | 0 | 1.235727e+03 | -- | Inf
410.58/410.79 c 407s| 1 | 0 |196270 | - | 76M| 0 |2103 |2478 |6530 |2478 |7712 |5964 | 0 | 0 | 1.236017e+03 | -- | Inf
413.87/414.03 c 410s| 1 | 0 |197135 | - | 75M| 0 |2080 |2478 |6530 |2478 |7549 |5977 | 0 | 0 | 1.236629e+03 | -- | Inf
416.47/416.63 c 412s| 1 | 0 |198120 | - | 75M| 0 |2125 |2478 |6530 |2478 |7567 |5995 | 0 | 0 | 1.236891e+03 | -- | Inf
419.87/420.06 c 416s| 1 | 0 |199440 | - | 74M| 0 |2081 |2478 |6530 |2478 |7582 |6010 | 0 | 0 | 1.237344e+03 | -- | Inf
423.37/423.52 c 419s| 1 | 0 |200398 | - | 74M| 0 |2097 |2478 |6530 |2478 |7594 |6022 | 0 | 0 | 1.238170e+03 | -- | Inf
426.96/427.18 c 423s| 1 | 0 |201725 | - | 72M| 0 |2068 |2478 |6530 |2478 |7606 |6034 | 0 | 0 | 1.238732e+03 | -- | Inf
428.57/428.78 c 424s| 1 | 0 |202719 | - | 72M| 0 |2103 |2478 |6530 |2478 |7622 |6050 | 0 | 0 | 1.238895e+03 | -- | Inf
431.56/431.79 c 427s| 1 | 0 |203587 | - | 71M| 0 |2085 |2478 |6530 |2478 |7513 |6061 | 0 | 0 | 1.239353e+03 | -- | Inf
434.76/434.98 c 431s| 1 | 0 |204464 | - | 68M| 0 |2094 |2478 |6530 |2478 |7523 |6071 | 0 | 0 | 1.239761e+03 | -- | Inf
437.36/437.57 c 433s| 1 | 0 |204653 | - | 68M| 0 |2086 |2478 |6530 |2478 |7536 |6084 | 0 | 0 | 1.239765e+03 | -- | Inf
440.37/440.56 c 436s| 1 | 0 |204936 | - | 67M| 0 |2107 |2478 |6530 |2478 |7541 |6089 | 0 | 0 | 1.239796e+03 | -- | Inf
443.86/444.07 c 440s| 1 | 0 |205651 | - | 67M| 0 |2090 |2478 |6530 |2478 |7555 |6103 | 0 | 0 | 1.239904e+03 | -- | Inf
446.56/446.76 c 442s| 1 | 0 |206819 | - | 65M| 0 |2103 |2478 |6530 |2478 |7576 |6124 | 0 | 0 | 1.240603e+03 | -- | Inf
449.77/449.94 c 446s| 1 | 0 |208071 | - | 64M| 0 |2103 |2478 |6530 |2478 |7515 |6136 | 0 | 0 | 1.241420e+03 | -- | Inf
452.46/452.69 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
452.46/452.69 c 448s| 1 | 0 |208689 | - | 64M| 0 |2101 |2478 |6530 |2478 |7527 |6148 | 0 | 0 | 1.241537e+03 | -- | Inf
455.76/455.91 c 451s| 1 | 0 |209607 | - | 64M| 0 |2102 |2478 |6530 |2478 |7541 |6162 | 0 | 0 | 1.242035e+03 | -- | Inf
458.26/458.46 c 454s| 1 | 0 |210314 | - | 63M| 0 |2106 |2478 |6530 |2478 |7562 |6183 | 0 | 0 | 1.242592e+03 | -- | Inf
460.16/460.39 c 456s| 1 | 0 |212146 | - | 63M| 0 |2102 |2478 |6530 |2478 |7584 |6205 | 0 | 0 | 1.244021e+03 | -- | Inf
461.76/461.95 c 457s| 1 | 0 |212937 | - | 63M| 0 |2088 |2478 |6530 |2478 |7606 |6227 | 0 | 0 | 1.245172e+03 | -- | Inf
464.36/464.58 c 460s| 1 | 0 |214210 | - | 63M| 0 |2090 |2478 |6530 |2478 |7562 |6243 | 0 | 0 | 1.246016e+03 | -- | Inf
466.46/466.69 c 462s| 1 | 0 |215039 | - | 63M| 0 |2077 |2478 |6530 |2478 |7588 |6269 | 0 | 0 | 1.246951e+03 | -- | Inf
468.05/468.29 c 464s| 1 | 0 |215809 | - | 64M| 0 |2086 |2478 |6530 |2478 |7608 |6289 | 0 | 0 | 1.247484e+03 | -- | Inf
470.16/470.35 c 466s| 1 | 0 |217123 | - | 64M| 0 |2088 |2478 |6530 |2478 |7635 |6316 | 0 | 0 | 1.248251e+03 | -- | Inf
473.15/473.39 c 469s| 1 | 0 |217467 | - | 63M| 0 |2073 |2478 |6530 |2478 |7647 |6328 | 0 | 0 | 1.248344e+03 | -- | Inf
475.85/476.09 c 471s| 1 | 0 |218135 | - | 62M| 0 |2108 |2478 |6530 |2478 |7661 |6342 | 0 | 0 | 1.249366e+03 | -- | Inf
478.45/478.62 c 474s| 1 | 0 |219389 | - | 62M| 0 |2119 |2478 |6530 |2478 |7600 |6352 | 0 | 0 | 1.249489e+03 | -- | Inf
480.46/480.66 c 476s| 1 | 0 |219984 | - | 62M| 0 |2072 |2478 |6530 |2478 |7615 |6367 | 0 | 0 | 1.249668e+03 | -- | Inf
484.35/484.58 c 480s| 1 | 0 |221247 | - | 61M| 0 |2112 |2478 |6530 |2478 |7631 |6383 | 0 | 0 | 1.250142e+03 | -- | Inf
487.16/487.39 c 483s| 1 | 0 |222127 | - | 60M| 0 |2077 |2478 |6530 |2478 |7648 |6400 | 0 | 0 | 1.250383e+03 | -- | Inf
490.25/490.41 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
490.25/490.41 c 486s| 1 | 0 |223578 | - | 60M| 0 |2117 |2478 |6530 |2478 |7677 |6429 | 0 | 0 | 1.251349e+03 | -- | Inf
493.05/493.28 c 488s| 1 | 0 |224521 | - | 59M| 0 |2111 |2478 |6530 |2478 |7692 |6444 | 0 | 0 | 1.251559e+03 | -- | Inf
495.86/496.01 c 491s| 1 | 0 |225445 | - | 59M| 0 |2087 |2478 |6530 |2478 |7598 |6454 | 0 | 0 | 1.252036e+03 | -- | Inf
497.95/498.18 c 493s| 1 | 0 |225511 | - | 58M| 0 |2084 |2478 |6530 |2478 |7604 |6460 | 0 | 0 | 1.252045e+03 | -- | Inf
500.65/500.81 c 496s| 1 | 0 |225929 | - | 57M| 0 |2081 |2478 |6530 |2478 |7613 |6469 | 0 | 0 | 1.252141e+03 | -- | Inf
504.05/504.24 c 499s| 1 | 0 |226739 | - | 57M| 0 |2099 |2478 |6530 |2478 |7619 |6475 | 0 | 0 | 1.252331e+03 | -- | Inf
506.45/506.67 c 502s| 1 | 0 |227651 | - | 57M| 0 |2073 |2478 |6530 |2478 |7631 |6487 | 0 | 0 | 1.252692e+03 | -- | Inf
509.54/509.80 c 505s| 1 | 0 |228547 | - | 56M| 0 |2107 |2478 |6530 |2478 |7647 |6503 | 0 | 0 | 1.252974e+03 | -- | Inf
512.25/512.40 c 508s| 1 | 0 |228551 | - | 56M| 0 |2106 |2478 |6530 |2478 |7581 |6506 | 0 | 0 | 1.252974e+03 | -- | Inf
515.05/515.27 c 510s| 1 | 0 |228853 | - | 56M| 0 |2066 |2478 |6530 |2478 |7586 |6511 | 0 | 0 | 1.253093e+03 | -- | Inf
517.45/517.69 c 513s| 1 | 0 |229603 | - | 55M| 0 |2109 |2478 |6530 |2478 |7595 |6520 | 0 | 0 | 1.253585e+03 | -- | Inf
521.55/521.74 c 517s| 1 | 0 |230081 | - | 55M| 0 |2107 |2478 |6530 |2478 |7597 |6522 | 0 | 0 | 1.253600e+03 | -- | Inf
524.45/524.62 c 520s| 1 | 0 |230091 | - | 54M| 0 |2108 |2478 |6530 |2478 |7599 |6524 | 0 | 0 | 1.253600e+03 | -- | Inf
527.34/527.55 c 523s| 1 | 0 |230095 | - | 53M| 0 |2108 |2478 |6530 |2478 |7600 |6525 | 0 | 0 | 1.253600e+03 | -- | Inf
530.24/530.49 c 526s| 1 | 0 |230098 | - | 52M| 0 |2108 |2478 |6530 |2478 |7533 |6526 | 0 | 0 | 1.253600e+03 | -- | Inf
533.14/533.39 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
533.14/533.39 c 528s| 1 | 0 |230102 | - | 51M| 0 |2108 |2478 |6530 |2478 |7534 |6527 | 0 | 0 | 1.253600e+03 | -- | Inf
542.15/542.37 c 537s| 1 | 2 |230102 | - | 51M| 0 |2108 |2478 |6530 |2478 |7534 |6527 | 0 | 30 | 1.253600e+03 | -- | Inf
604.02/604.27 c 598s| 10000 | 48 |230102 | 0.0 | 53M| 75 | - |2478 |6574 | 0 | 0 |6527 |6735 | 30 | 1.253906e+03 | -- | Inf
658.21/658.47 c 651s| 20000 | 45 |230102 | 0.0 | 53M| 75 | - |2478 |6583 | 0 | 0 |6527 | 13k| 30 | 1.253906e+03 | -- | Inf
725.09/725.33 c 716s| 30000 | 44 |230102 | 0.0 | 53M| 75 | - |2478 |6594 | 0 | 0 |6527 | 20k| 30 | 1.253906e+03 | -- | Inf
798.07/798.38 c 787s| 40000 | 45 |230102 | 0.0 | 53M| 75 | - |2478 |6584 | 0 | 0 |6527 | 27k| 30 | 1.253906e+03 | -- | Inf
862.95/863.25 c 851s| 50000 | 41 |230102 | 0.0 | 53M| 75 | - |2478 |6616 | 0 | 0 |6527 | 33k| 30 | 1.253906e+03 | -- | Inf
927.34/927.68 c 914s| 60000 | 42 |230102 | 0.0 | 53M| 75 | - |2478 |6610 | 0 | 0 |6527 | 40k| 30 | 1.253906e+03 | -- | Inf
990.22/990.50 c 975s| 70000 | 46 |230102 | 0.0 | 53M| 75 | - |2478 |6586 | 0 | 0 |6527 | 47k| 30 | 1.253906e+03 | -- | Inf
1054.90/1055.26 c 1038s| 80000 | 45 |230102 | 0.0 | 53M| 75 | - |2478 |6598 | 0 | 0 |6527 | 53k| 30 | 1.253906e+03 | -- | Inf
1118.19/1118.57 c 1100s| 90000 | 43 |230102 | 0.0 | 53M| 75 | - |2478 |6599 | 0 | 0 |6527 | 60k| 30 | 1.253906e+03 | -- | Inf
1181.87/1182.23 c 1162s|100000 | 45 |230102 | 0.0 | 53M| 75 | - |2478 |6592 | 0 | 0 |6527 | 67k| 30 | 1.253906e+03 | -- | Inf
1246.56/1246.92 c 1225s|110000 | 43 |230102 | 0.0 | 53M| 75 | - |2478 |6620 | 0 | 0 |6527 | 73k| 30 | 1.253906e+03 | -- | Inf
1308.74/1309.16 c 1286s|120000 | 42 |230102 | 0.0 | 53M| 75 | - |2478 |6599 | 0 | 0 |6527 | 80k| 30 | 1.253906e+03 | -- | Inf
1371.02/1371.45 c 1346s|130000 | 41 |230102 | 0.0 | 53M| 75 | - |2478 |6608 | 0 | 0 |6527 | 87k| 30 | 1.253906e+03 | -- | Inf
1434.90/1435.36 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1434.90/1435.36 c 1409s|140000 | 41 |230102 | 0.0 | 53M| 75 | - |2478 |6606 | 0 | 0 |6527 | 93k| 30 | 1.253906e+03 | -- | Inf
1502.38/1502.80 c 1475s|150000 | 41 |230102 | 0.0 | 53M| 75 | - |2478 |6601 | 0 | 0 |6527 | 100k| 30 | 1.253906e+03 | -- | Inf
1566.57/1567.04 c 1537s|160000 | 41 |230102 | 0.0 | 53M| 75 | - |2478 |6627 | 0 | 0 |6527 | 107k| 30 | 1.253906e+03 | -- | Inf
1631.25/1631.72 c 1600s|170000 | 42 |230102 | 0.0 | 53M| 75 | - |2478 |6610 | 0 | 0 |6527 | 113k| 30 | 1.253906e+03 | -- | Inf
1695.74/1696.24 c 1663s|180000 | 40 |230102 | 0.0 | 53M| 75 | - |2478 |6625 | 0 | 0 |6527 | 120k| 30 | 1.253906e+03 | -- | Inf
1763.52/1764.04 c 1729s|190000 | 41 |230102 | 0.0 | 53M| 75 | - |2478 |6605 | 0 | 0 |6527 | 127k| 30 | 1.253906e+03 | -- | Inf
1800.01/1800.50 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.01/1800.50 c
1800.01/1800.50 c SCIP Status : solving was interrupted [user interrupt]
1800.01/1800.50 c Solving Time (sec) : 1765.04
1800.01/1800.50 c Solving Nodes : 195398
1800.01/1800.50 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1800.01/1800.50 c Dual Bound : +1.25390644896462e+03
1800.01/1800.50 c Gap : infinite
1800.01/1800.50 s UNKNOWN
1800.01/1800.50 c SCIP Status : solving was interrupted [user interrupt]
1800.01/1800.50 c Solving Time : 1765.04
1800.01/1800.50 c Original Problem :
1800.01/1800.50 c Problem name : HOME/instance-2665425-1276448385.opb
1800.01/1800.50 c Variables : 2666 (2666 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.01/1800.50 c Constraints : 6659 initial, 6659 maximal
1800.01/1800.50 c Presolved Problem :
1800.01/1800.50 c Problem name : t_HOME/instance-2665425-1276448385.opb
1800.01/1800.50 c Variables : 2478 (2478 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.01/1800.50 c Constraints : 6530 initial, 6669 maximal
1800.01/1800.50 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.01/1800.50 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.01/1800.50 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.01/1800.50 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.01/1800.50 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.01/1800.50 c implics : 0.01 0 3 0 0 0 0 0 0
1800.01/1800.50 c probing : 0.42 2 183 0 0 0 0 0 0
1800.01/1800.50 c linear : 0.11 0 0 0 0 0 122 122 0
1800.01/1800.50 c logicor : 0.15 0 0 0 0 0 7 0 0
1800.01/1800.50 c root node : - 0 - - 0 - - - -
1800.01/1800.50 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.01/1800.50 c integral : 0 0 0 1 0 0 0 0 0 2
1800.01/1800.50 c logicor : 6530+ 180 5504542 0 0 130204 49885866 0 0 0
1800.01/1800.50 c countsols : 0 0 0 0 0 0 0 0 0 0
1800.01/1800.50 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.01/1800.50 c integral : 8.80 0.00 0.00 8.80 0.00
1800.01/1800.50 c logicor : 303.97 0.19 303.78 0.00 0.00
1800.01/1800.50 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.01/1800.50 c Propagators : Time Calls Cutoffs DomReds
1800.01/1800.50 c vbounds : 3.00 2 0 0
1800.01/1800.50 c rootredcost : 2.44 0 0 0
1800.01/1800.50 c pseudoobj : 640.62 5629544 0 0
1800.01/1800.50 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.01/1800.50 c propagation : 102.96 130202 130202 130202 43.3 711 19.9 -
1800.01/1800.50 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.01/1800.50 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.01/1800.50 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.01/1800.50 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.01/1800.50 c applied globally : - - - 130913 43.2 - - -
1800.01/1800.50 c applied locally : - - - 0 0.0 - - -
1800.01/1800.50 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.01/1800.50 c cut pool : 5.53 179 - - 7781 - (maximal pool size: 32804)
1800.01/1800.50 c redcost : 0.07 180 0 0 0 0
1800.01/1800.50 c impliedbounds : 0.14 180 0 0 1528 0
1800.01/1800.50 c intobj : 0.00 0 0 0 0 0
1800.01/1800.50 c cgmip : 0.00 0 0 0 0 0
1800.01/1800.50 c gomory : 291.69 180 0 0 69746 0
1800.01/1800.50 c strongcg : 5.86 20 0 0 10000 0
1800.01/1800.50 c cmir : 0.68 10 0 0 0 0
1800.01/1800.50 c flowcover : 0.59 10 0 0 0 0
1800.01/1800.50 c clique : 0.46 180 0 0 61 0
1800.01/1800.50 c zerohalf : 0.00 0 0 0 0 0
1800.01/1800.50 c mcf : 0.01 1 0 0 0 0
1800.01/1800.50 c rapidlearning : 0.00 0 0 0 0 0
1800.01/1800.50 c Pricers : Time Calls Vars
1800.01/1800.50 c problem variables: 0.00 0 0
1800.01/1800.50 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.01/1800.50 c relpscost : 8.80 1 0 0 0 0 2
1800.01/1800.50 c pscost : 0.00 0 0 0 0 0 0
1800.01/1800.50 c inference : 79.59 130357 0 0 0 0 260714
1800.01/1800.50 c mostinf : 0.00 0 0 0 0 0 0
1800.01/1800.50 c leastinf : 0.00 0 0 0 0 0 0
1800.01/1800.50 c fullstrong : 0.00 0 0 0 0 0 0
1800.01/1800.50 c allfullstrong : 0.00 0 0 0 0 0 0
1800.01/1800.50 c random : 0.00 0 0 0 0 0 0
1800.01/1800.50 c Primal Heuristics : Time Calls Found
1800.01/1800.50 c LP solutions : 0.00 - 0
1800.01/1800.50 c pseudo solutions : 0.00 - 0
1800.01/1800.50 c oneopt : 0.19 0 0
1800.01/1800.51 c crossover : 0.00 0 0
1800.01/1800.51 c trivial : 0.01 2 0
1800.01/1800.51 c simplerounding : 0.00 0 0
1800.01/1800.51 c zirounding : 0.00 1 0
1800.01/1800.51 c rounding : 0.21 100 0
1800.01/1800.51 c shifting : 2.21 100 0
1800.01/1800.51 c intshifting : 0.00 0 0
1800.01/1800.51 c twoopt : 0.00 0 0
1800.01/1800.51 c fixandinfer : 0.00 0 0
1800.01/1800.51 c feaspump : 0.08 1 0
1800.01/1800.51 c coefdiving : 0.00 0 0
1800.01/1800.51 c pscostdiving : 0.00 0 0
1800.01/1800.51 c fracdiving : 0.00 0 0
1800.01/1800.51 c veclendiving : 0.00 0 0
1800.01/1800.51 c intdiving : 0.00 0 0
1800.01/1800.51 c actconsdiving : 0.00 0 0
1800.01/1800.51 c objpscostdiving : 0.00 0 0
1800.01/1800.51 c rootsoldiving : 0.00 0 0
1800.01/1800.51 c linesearchdiving : 0.00 0 0
1800.01/1800.51 c guideddiving : 0.00 0 0
1800.01/1800.51 c octane : 0.00 0 0
1800.01/1800.51 c rens : 0.01 0 0
1800.01/1800.51 c rins : 0.00 0 0
1800.01/1800.51 c localbranching : 0.00 0 0
1800.01/1800.51 c mutation : 0.00 0 0
1800.01/1800.51 c dins : 0.00 0 0
1800.01/1800.51 c undercover : 0.00 0 0
1800.01/1800.51 c nlp : 0.21 0 0
1800.01/1800.51 c trysol : 0.11 0 0
1800.01/1800.51 c LP : Time Calls Iterations Iter/call Iter/sec
1800.01/1800.51 c primal LP : 0.50 0 0 0.00 0.00
1800.01/1800.51 c dual LP : 217.32 181 230102 1271.28 1058.82
1800.01/1800.51 c lex dual LP : 0.00 0 0 0.00 -
1800.01/1800.51 c barrier LP : 0.00 0 0 0.00 -
1800.01/1800.51 c diving/probing LP: 0.01 0 0 0.00 0.00
1800.01/1800.51 c strong branching : 8.80 30 9565 318.83 1086.93
1800.01/1800.51 c (at root node) : - 30 9565 318.83 -
1800.01/1800.51 c conflict analysis: 0.00 0 0 0.00 -
1800.01/1800.51 c B&B Tree :
1800.01/1800.51 c number of runs : 1
1800.01/1800.51 c nodes : 195398
1800.01/1800.51 c nodes (total) : 195398
1800.01/1800.51 c nodes left : 40
1800.01/1800.51 c max depth : 75
1800.01/1800.51 c max depth (total): 75
1800.01/1800.51 c backtracks : 65182 (33.4%)
1800.01/1800.51 c delayed cutoffs : 65279
1800.01/1800.51 c repropagations : 193797 (25006069 domain reductions, 65162 cutoffs)
1800.01/1800.51 c avg switch length: 2.65
1800.01/1800.51 c switching time : 120.39
1800.01/1800.51 c Solution :
1800.01/1800.51 c Solutions found : 0 (0 improvements)
1800.01/1800.51 c Primal Bound : -
1800.01/1800.51 c Dual Bound : +1.25390644896462e+03
1800.01/1800.51 c Gap : infinite
1800.01/1800.51 c Root Dual Bound : +1.25360047462654e+03
1800.01/1800.51 c Root Iterations : 230102
1800.12/1800.64 c Time complete: 1800.15.