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-2666856-1276450976.opb>
0.09/0.13 c original problem has 2630 variables (2630 bin, 0 int, 0 impl, 0 cont) and 6569 constraints
0.09/0.13 c problem read
0.09/0.13 c presolving settings loaded
0.09/0.18 c presolving:
0.29/0.33 c (round 1) 0 del vars, 122 del conss, 0 chg bounds, 122 chg sides, 0 chg coeffs, 6445 upgd conss, 5606 impls, 0 clqs
0.29/0.35 c (round 2) 0 del vars, 122 del conss, 0 chg bounds, 122 chg sides, 0 chg coeffs, 6446 upgd conss, 5606 impls, 0 clqs
0.29/0.37 c (round 3) 0 del vars, 122 del conss, 0 chg bounds, 122 chg sides, 0 chg coeffs, 6447 upgd conss, 5606 impls, 0 clqs
0.39/0.43 c (round 4) 50 del vars, 122 del conss, 0 chg bounds, 122 chg sides, 0 chg coeffs, 6447 upgd conss, 7068 impls, 0 clqs
0.39/0.44 c (round 5) 53 del vars, 127 del conss, 0 chg bounds, 122 chg sides, 0 chg coeffs, 6447 upgd conss, 7106 impls, 0 clqs
0.39/0.47 c (round 6) 53 del vars, 129 del conss, 0 chg bounds, 122 chg sides, 0 chg coeffs, 6447 upgd conss, 7106 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, 6447 upgd conss, 27294 impls, 0 clqs
0.69/0.78 c (round 8) 153 del vars, 129 del conss, 0 chg bounds, 122 chg sides, 0 chg coeffs, 6447 upgd conss, 46750 impls, 0 clqs
0.89/0.93 c (0.7s) probing: 548/2630 (20.8%) - 2 fixings, 183 aggregations, 12557 implications, 0 bound changes
0.89/0.93 c (0.7s) probing aborted: 100/100 successive totally useless probings
0.89/0.93 c (round 9) 188 del vars, 129 del conss, 0 chg bounds, 122 chg sides, 0 chg coeffs, 6447 upgd conss, 48352 impls, 0 clqs
0.89/0.95 c (0.7s) probing: 558/2630 (21.2%) - 2 fixings, 183 aggregations, 12557 implications, 0 bound changes
0.89/0.95 c (0.7s) probing aborted: 100/100 successive totally useless probings
0.89/0.95 c presolving (10 rounds):
0.89/0.95 c 188 deleted vars, 129 deleted constraints, 0 tightened bounds, 0 added holes, 122 changed sides, 0 changed coefficients
0.89/0.95 c 48352 implications, 0 cliques
0.89/0.95 c presolved problem has 2442 variables (2442 bin, 0 int, 0 impl, 0 cont) and 6440 constraints
0.89/0.95 c 6440 constraints of type <logicor>
0.89/0.95 c transformed objective value is always integral (scale: 1)
0.89/0.95 c Presolving Time: 0.69
0.89/0.95 c - non default parameters ----------------------------------------------------------------------
0.89/0.95 c # SCIP version 1.2.1.2
0.89/0.95 c
0.89/0.95 c # maximal number of intermediate conflict constraints generated in conflict graph (-1: use every intermediate constraint)
0.89/0.95 c # [type: int, range: [-1,2147483647], default: -1]
0.89/0.95 c conflict/interconss = 0
0.89/0.95 c
0.89/0.95 c # should binary conflicts be preferred?
0.89/0.95 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.89/0.95 c conflict/preferbinary = TRUE
0.89/0.95 c
0.89/0.95 c # maximum age an unnecessary constraint can reach before it is deleted (0: dynamic, -1: keep all constraints)
0.89/0.95 c # [type: int, range: [-1,2147483647], default: 0]
0.89/0.95 c constraints/agelimit = 1
0.89/0.95 c
0.89/0.95 c # should enforcement of pseudo solution be disabled?
0.89/0.95 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.89/0.95 c constraints/disableenfops = TRUE
0.89/0.95 c
0.89/0.95 c # frequency for displaying node information lines
0.89/0.95 c # [type: int, range: [-1,2147483647], default: 100]
0.89/0.95 c display/freq = 10000
0.89/0.95 c
0.89/0.95 c # maximal time in seconds to run
0.89/0.95 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.89/0.95 c limits/time = 1799.87
0.89/0.95 c
0.89/0.95 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.89/0.95 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.89/0.95 c limits/memory = 1620
0.89/0.95 c
0.89/0.95 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.89/0.95 c # [type: int, range: [-1,2147483647], default: 1]
0.89/0.95 c lp/solvefreq = 0
0.89/0.95 c
0.89/0.95 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.95 c # [type: char, range: {lafpsqd}, default: l]
0.89/0.95 c lp/pricing = a
0.89/0.95 c
0.89/0.95 c # should presolving try to simplify inequalities
0.89/0.95 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.89/0.95 c constraints/linear/simplifyinequalities = TRUE
0.89/0.95 c
0.89/0.95 c # should presolving try to simplify knapsacks
0.89/0.95 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.89/0.95 c constraints/knapsack/simplifyinequalities = TRUE
0.89/0.95 c
0.89/0.95 c # priority of node selection rule <dfs> in standard mode
0.89/0.95 c # [type: int, range: [-536870912,536870911], default: 0]
0.89/0.95 c nodeselection/dfs/stdpriority = 1000000
0.89/0.95 c
0.89/0.95 c -----------------------------------------------------------------------------------------------
0.89/0.95 c start solving
0.89/0.96 c
3.99/4.08 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
3.99/4.08 c 3.8s| 1 | 0 | 4650 | - | 15M| 0 |1711 |2442 |6440 |2442 |6253 | 0 | 0 | 0 | 7.898000e+02 | -- | Inf
18.38/18.41 c 18.0s| 1 | 0 | 15768 | - | 19M| 0 |2045 |2442 |6440 |2442 |7083 | 830 | 0 | 0 | 8.140889e+02 | -- | Inf
21.18/21.21 c 20.8s| 1 | 0 | 17267 | - | 23M| 0 |2042 |2442 |6440 |2442 |7109 | 856 | 0 | 0 | 8.184217e+02 | -- | Inf
24.29/24.37 c 23.9s| 1 | 0 | 19096 | - | 26M| 0 |1536 |2442 |6440 |2442 |7146 | 893 | 0 | 0 | 8.232507e+02 | -- | Inf
27.08/27.11 c 26.6s| 1 | 0 | 20588 | - | 29M| 0 |1545 |2442 |6440 |2442 |7188 | 935 | 0 | 0 | 8.268512e+02 | -- | Inf
29.58/29.65 c 29.1s| 1 | 0 | 22006 | - | 33M| 0 |1469 |2442 |6440 |2442 |7225 | 972 | 0 | 0 | 8.306653e+02 | -- | Inf
34.37/34.45 c 33.9s| 1 | 0 | 25123 | - | 38M| 0 |1520 |2442 |6440 |2442 |7253 |1000 | 0 | 0 | 8.333462e+02 | -- | Inf
39.37/39.47 c 38.9s| 1 | 0 | 27528 | - | 42M| 0 |1529 |2442 |6440 |2442 |7282 |1029 | 0 | 0 | 8.369886e+02 | -- | Inf
43.67/43.78 c 43.1s| 1 | 0 | 29578 | - | 46M| 0 |1558 |2442 |6440 |2442 |7325 |1072 | 0 | 0 | 8.421309e+02 | -- | Inf
48.96/49.05 c 48.3s| 1 | 0 | 31627 | - | 49M| 0 |1596 |2442 |6440 |2442 |7356 |1103 | 0 | 0 | 8.466570e+02 | -- | Inf
53.56/53.64 c 52.9s| 1 | 0 | 33660 | - | 52M| 0 |1627 |2442 |6440 |2442 |7393 |1140 | 0 | 0 | 8.498922e+02 | -- | Inf
56.66/56.78 c 56.0s| 1 | 0 | 35175 | - | 56M| 0 |1598 |2442 |6440 |2442 |6647 |1178 | 0 | 0 | 8.528443e+02 | -- | Inf
60.47/60.58 c 59.8s| 1 | 0 | 36918 | - | 61M| 0 |1575 |2442 |6440 |2442 |6672 |1203 | 0 | 0 | 8.542937e+02 | -- | Inf
64.56/64.62 c 63.8s| 1 | 0 | 38811 | - | 66M| 0 |1624 |2442 |6440 |2442 |6704 |1235 | 0 | 0 | 8.574289e+02 | -- | Inf
71.96/72.00 c 71.1s| 1 | 0 | 41493 | - | 73M| 0 |1632 |2442 |6440 |2442 |6750 |1281 | 0 | 0 | 8.733250e+02 | -- | Inf
79.95/80.05 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
79.95/80.05 c 79.0s| 1 | 0 | 44572 | - | 79M| 0 |1557 |2442 |6440 |2442 |6819 |1350 | 0 | 0 | 8.943542e+02 | -- | Inf
84.25/84.33 c 83.3s| 1 | 0 | 46139 | - | 83M| 0 |1577 |2442 |6440 |2442 |6887 |1418 | 0 | 0 | 9.109998e+02 | -- | Inf
90.15/90.29 c 89.2s| 1 | 0 | 48385 | - | 87M| 0 |1562 |2442 |6440 |2442 |6814 |1469 | 0 | 0 | 9.225022e+02 | -- | Inf
94.04/94.10 c 93.0s| 1 | 0 | 50347 | - | 92M| 0 |1562 |2442 |6440 |2442 |6838 |1493 | 0 | 0 | 9.240288e+02 | -- | Inf
97.05/97.11 c 95.9s| 1 | 0 | 51807 | - | 94M| 0 |1641 |2442 |6440 |2442 |6879 |1534 | 0 | 0 | 9.278116e+02 | -- | Inf
103.84/103.93 c 103s| 1 | 0 | 54947 | - | 98M| 0 |1840 |2442 |6440 |2442 |6923 |1578 | 0 | 0 | 9.322767e+02 | -- | Inf
108.65/108.75 c 107s| 1 | 0 | 56923 | - | 99M| 0 |1700 |2442 |6440 |2442 |6974 |1629 | 0 | 0 | 9.353550e+02 | -- | Inf
114.14/114.27 c 113s| 1 | 0 | 59147 | - | 99M| 0 |1679 |2442 |6440 |2442 |7033 |1688 | 0 | 0 | 9.471640e+02 | -- | Inf
117.74/117.86 c 117s| 1 | 0 | 60641 | - | 100M| 0 |1663 |2442 |6440 |2442 |6962 |1753 | 0 | 0 | 9.504312e+02 | -- | Inf
120.95/121.09 c 120s| 1 | 0 | 62373 | - | 102M| 0 |1707 |2442 |6440 |2442 |6997 |1788 | 0 | 0 | 9.515599e+02 | -- | Inf
126.34/126.42 c 125s| 1 | 0 | 65058 | - | 103M| 0 |1668 |2442 |6440 |2442 |7047 |1838 | 0 | 0 | 9.585174e+02 | -- | Inf
132.24/132.39 c 131s| 1 | 0 | 68018 | - | 104M| 0 |1703 |2442 |6440 |2442 |7094 |1885 | 0 | 0 | 9.628704e+02 | -- | Inf
136.53/136.62 c 135s| 1 | 0 | 70328 | - | 105M| 0 |1699 |2442 |6440 |2442 |7152 |1943 | 0 | 0 | 9.669559e+02 | -- | Inf
143.13/143.28 c 142s| 1 | 0 | 73347 | - | 107M| 0 |1734 |2442 |6440 |2442 |7201 |1992 | 0 | 0 | 9.706523e+02 | -- | Inf
149.83/149.97 c 148s| 1 | 0 | 76362 | - | 110M| 0 |1824 |2442 |6440 |2442 |7045 |2037 | 0 | 0 | 9.744837e+02 | -- | Inf
154.73/154.81 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
154.73/154.81 c 153s| 1 | 0 | 78689 | - | 112M| 0 |1792 |2442 |6440 |2442 |7099 |2091 | 0 | 0 | 9.777674e+02 | -- | Inf
160.43/160.52 c 159s| 1 | 0 | 80817 | - | 113M| 0 |1745 |2442 |6440 |2442 |7164 |2156 | 0 | 0 | 9.952982e+02 | -- | Inf
164.53/164.68 c 163s| 1 | 0 | 82836 | - | 114M| 0 |1790 |2442 |6440 |2442 |7216 |2208 | 0 | 0 | 9.969834e+02 | -- | Inf
168.82/168.97 c 167s| 1 | 0 | 84840 | - | 116M| 0 |1773 |2442 |6440 |2442 |7254 |2246 | 0 | 0 | 9.977812e+02 | -- | Inf
172.22/172.34 c 171s| 1 | 0 | 86366 | - | 117M| 0 |1813 |2442 |6440 |2442 |7289 |2281 | 0 | 0 | 9.990221e+02 | -- | Inf
177.62/177.76 c 176s| 1 | 0 | 88487 | - | 119M| 0 |1836 |2442 |6440 |2442 |7090 |2324 | 0 | 0 | 1.000580e+03 | -- | Inf
184.72/184.82 c 183s| 1 | 0 | 91541 | - | 120M| 0 |1871 |2442 |6440 |2442 |7140 |2374 | 0 | 0 | 1.007228e+03 | -- | Inf
189.22/189.35 c 187s| 1 | 0 | 93831 | - | 121M| 0 |1823 |2442 |6440 |2442 |7186 |2420 | 0 | 0 | 1.009898e+03 | -- | Inf
197.92/198.01 c 196s| 1 | 0 | 97957 | - | 122M| 0 |1807 |2442 |6440 |2442 |7242 |2476 | 0 | 0 | 1.015131e+03 | -- | Inf
204.21/204.35 c 202s| 1 | 0 |100763 | - | 123M| 0 |1839 |2442 |6440 |2442 |7300 |2534 | 0 | 0 | 1.020029e+03 | -- | Inf
215.01/215.13 c 213s| 1 | 0 |105583 | - | 124M| 0 |1843 |2442 |6440 |2442 |7357 |2591 | 0 | 0 | 1.027645e+03 | -- | Inf
224.70/224.83 c 223s| 1 | 0 |109835 | - | 125M| 0 |1805 |2442 |6440 |2442 |7153 |2646 | 0 | 0 | 1.031901e+03 | -- | Inf
230.10/230.27 c 228s| 1 | 0 |112774 | - | 126M| 0 |1807 |2442 |6440 |2442 |7197 |2690 | 0 | 0 | 1.034638e+03 | -- | Inf
234.30/234.43 c 232s| 1 | 0 |114602 | - | 128M| 0 |1915 |2442 |6440 |2442 |7247 |2740 | 0 | 0 | 1.036189e+03 | -- | Inf
241.39/241.51 c 239s| 1 | 0 |117289 | - | 130M| 0 |1896 |2442 |6440 |2442 |7288 |2781 | 0 | 0 | 1.040081e+03 | -- | Inf
246.60/246.76 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
246.60/246.76 c 244s| 1 | 0 |119583 | - | 131M| 0 |1814 |2442 |6440 |2442 |7338 |2831 | 0 | 0 | 1.042896e+03 | -- | Inf
252.29/252.41 c 250s| 1 | 0 |122253 | - | 134M| 0 |1903 |2442 |6440 |2442 |7382 |2875 | 0 | 0 | 1.047338e+03 | -- | Inf
261.99/262.18 c 260s| 1 | 0 |126519 | - | 136M| 0 |1885 |2442 |6440 |2442 |7241 |2921 | 0 | 0 | 1.051031e+03 | -- | Inf
268.88/269.04 c 266s| 1 | 0 |129810 | - | 137M| 0 |1871 |2442 |6440 |2442 |7293 |2973 | 0 | 0 | 1.054925e+03 | -- | Inf
275.08/275.23 c 273s| 1 | 0 |132741 | - | 138M| 0 |1829 |2442 |6440 |2442 |7340 |3020 | 0 | 0 | 1.058373e+03 | -- | Inf
280.39/280.57 c 278s| 1 | 0 |135312 | - | 140M| 0 |2008 |2442 |6440 |2442 |7387 |3067 | 0 | 0 | 1.061198e+03 | -- | Inf
290.18/290.35 c 288s| 1 | 0 |139225 | - | 141M| 0 |2008 |2442 |6440 |2442 |7433 |3113 | 0 | 0 | 1.063749e+03 | -- | Inf
298.57/298.75 c 296s| 1 | 0 |142806 | - | 143M| 0 |1929 |2442 |6440 |2442 |7476 |3156 | 0 | 0 | 1.069111e+03 | -- | Inf
303.88/304.07 c 301s| 1 | 0 |145051 | - | 145M| 0 |2001 |2442 |6440 |2442 |7257 |3190 | 0 | 0 | 1.070207e+03 | -- | Inf
311.97/312.13 c 309s| 1 | 0 |148781 | - | 146M| 0 |1909 |2442 |6440 |2442 |7320 |3253 | 0 | 0 | 1.085233e+03 | -- | Inf
316.27/316.40 c 313s| 1 | 0 |150965 | - | 148M| 0 |1919 |2442 |6440 |2442 |7371 |3304 | 0 | 0 | 1.090193e+03 | -- | Inf
320.37/320.57 c 318s| 1 | 0 |152776 | - | 150M| 0 |1893 |2442 |6440 |2442 |7410 |3343 | 0 | 0 | 1.092067e+03 | -- | Inf
325.17/325.32 c 322s| 1 | 0 |155086 | - | 151M| 0 |1991 |2442 |6440 |2442 |7452 |3385 | 0 | 0 | 1.094202e+03 | -- | Inf
329.97/330.14 c 327s| 1 | 0 |157319 | - | 152M| 0 |1981 |2442 |6440 |2442 |7498 |3431 | 0 | 0 | 1.095908e+03 | -- | Inf
340.77/340.92 c 338s| 1 | 0 |161324 | - | 153M| 0 |1894 |2442 |6440 |2442 |7323 |3501 | 0 | 0 | 1.105347e+03 | -- | Inf
345.17/345.38 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
345.17/345.38 c 342s| 1 | 0 |163691 | - | 154M| 0 |1868 |2442 |6440 |2442 |7366 |3544 | 0 | 0 | 1.106996e+03 | -- | Inf
349.16/349.38 c 346s| 1 | 0 |165528 | - | 156M| 0 |1994 |2442 |6440 |2442 |7410 |3588 | 0 | 0 | 1.108975e+03 | -- | Inf
353.15/353.38 c 350s| 1 | 0 |167229 | - | 157M| 0 |2040 |2442 |6440 |2442 |7454 |3632 | 0 | 0 | 1.109882e+03 | -- | Inf
360.56/360.77 c 357s| 1 | 0 |170110 | - | 157M| 0 |1878 |2442 |6440 |2442 |7519 |3697 | 0 | 0 | 1.120422e+03 | -- | Inf
366.55/366.71 c 363s| 1 | 0 |172600 | - | 158M| 0 |1913 |2442 |6440 |2442 |7586 |3764 | 0 | 0 | 1.125243e+03 | -- | Inf
371.74/371.95 c 368s| 1 | 0 |175155 | - | 160M| 0 |1839 |2442 |6440 |2442 |7394 |3811 | 0 | 0 | 1.127693e+03 | -- | Inf
376.44/376.61 c 373s| 1 | 0 |177334 | - | 163M| 0 |1980 |2442 |6440 |2442 |7433 |3850 | 0 | 0 | 1.129175e+03 | -- | Inf
382.04/382.22 c 379s| 1 | 0 |179908 | - | 164M| 0 |2039 |2442 |6440 |2442 |7477 |3894 | 0 | 0 | 1.131850e+03 | -- | Inf
386.45/386.69 c 383s| 1 | 0 |181881 | - | 165M| 0 |2000 |2442 |6440 |2442 |7524 |3941 | 0 | 0 | 1.133642e+03 | -- | Inf
391.35/391.52 c 388s| 1 | 0 |183955 | - | 166M| 0 |1980 |2442 |6440 |2442 |7575 |3992 | 0 | 0 | 1.135039e+03 | -- | Inf
401.35/401.52 c 398s| 1 | 0 |187962 | - | 167M| 0 |1882 |2442 |6440 |2442 |7651 |4068 | 0 | 0 | 1.143846e+03 | -- | Inf
404.74/404.99 c 401s| 1 | 0 |189562 | - | 168M| 0 |1841 |2442 |6440 |2442 |7445 |4113 | 0 | 0 | 1.145978e+03 | -- | Inf
409.74/409.92 c 406s| 1 | 0 |191977 | - | 170M| 0 |1944 |2442 |6440 |2442 |7480 |4148 | 0 | 0 | 1.147361e+03 | -- | Inf
416.43/416.61 c 413s| 1 | 0 |194877 | - | 171M| 0 |1922 |2442 |6440 |2442 |7531 |4199 | 0 | 0 | 1.149387e+03 | -- | Inf
423.63/423.84 c 420s| 1 | 0 |197617 | - | 172M| 0 |1832 |2442 |6440 |2442 |7600 |4268 | 0 | 0 | 1.155455e+03 | -- | Inf
427.13/427.33 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
427.13/427.33 c 423s| 1 | 0 |199318 | - | 173M| 0 |1987 |2442 |6440 |2442 |7640 |4308 | 0 | 0 | 1.159378e+03 | -- | Inf
430.73/430.96 c 427s| 1 | 0 |200681 | - | 176M| 0 |1942 |2442 |6440 |2442 |7670 |4338 | 0 | 0 | 1.160934e+03 | -- | Inf
438.22/438.41 c 434s| 1 | 0 |203841 | - | 179M| 0 |2049 |2442 |6440 |2442 |7451 |4364 | 0 | 0 | 1.162608e+03 | -- | Inf
441.53/441.79 c 438s| 1 | 0 |205127 | - | 180M| 0 |2022 |2442 |6440 |2442 |7484 |4397 | 0 | 0 | 1.163023e+03 | -- | Inf
446.43/446.65 c 443s| 1 | 0 |207041 | - | 181M| 0 |1995 |2442 |6440 |2442 |7513 |4426 | 0 | 0 | 1.163430e+03 | -- | Inf
453.03/453.23 c 449s| 1 | 0 |209463 | - | 182M| 0 |1981 |2442 |6440 |2442 |7569 |4482 | 0 | 0 | 1.169680e+03 | -- | Inf
456.82/457.02 c 453s| 1 | 0 |211274 | - | 184M| 0 |1993 |2442 |6440 |2442 |7594 |4507 | 0 | 0 | 1.171554e+03 | -- | Inf
462.02/462.27 c 458s| 1 | 0 |213230 | - | 185M| 0 |1908 |2442 |6440 |2442 |7635 |4548 | 0 | 0 | 1.173116e+03 | -- | Inf
465.51/465.79 c 462s| 1 | 0 |214435 | - | 186M| 0 |2014 |2442 |6440 |2442 |7371 |4580 | 0 | 0 | 1.173487e+03 | -- | Inf
474.01/474.20 c 470s| 1 | 0 |218140 | - | 187M| 0 |1938 |2442 |6440 |2442 |7424 |4633 | 0 | 0 | 1.179988e+03 | -- | Inf
478.32/478.52 c 474s| 1 | 0 |220525 | - | 188M| 0 |1902 |2442 |6440 |2442 |7457 |4666 | 0 | 0 | 1.181759e+03 | -- | Inf
481.52/481.73 c 477s| 1 | 0 |222156 | - | 189M| 0 |1909 |2442 |6440 |2442 |7488 |4697 | 0 | 0 | 1.182572e+03 | -- | Inf
484.61/484.88 c 480s| 1 | 0 |223783 | - | 191M| 0 |1958 |2442 |6440 |2442 |7525 |4734 | 0 | 0 | 1.183237e+03 | -- | Inf
493.51/493.78 c 489s| 1 | 0 |227797 | - | 192M| 0 |1995 |2442 |6440 |2442 |7566 |4775 | 0 | 0 | 1.185497e+03 | -- | Inf
501.90/502.11 c 498s| 1 | 0 |231014 | - | 192M| 0 |1737 |2442 |6440 |2442 |7425 |4825 | 0 | 0 | 1.189449e+03 | -- | Inf
504.90/505.12 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
504.90/505.12 c 501s| 1 | 0 |232615 | - | 194M| 0 |1876 |2442 |6440 |2442 |7450 |4850 | 0 | 0 | 1.189728e+03 | -- | Inf
511.79/512.08 c 507s| 1 | 0 |235941 | - | 194M| 0 |1910 |2442 |6440 |2442 |7492 |4892 | 0 | 0 | 1.195058e+03 | -- | Inf
516.00/516.29 c 512s| 1 | 0 |238176 | - | 195M| 0 |2060 |2442 |6440 |2442 |7524 |4924 | 0 | 0 | 1.196337e+03 | -- | Inf
523.30/523.55 c 519s| 1 | 0 |242087 | - | 196M| 0 |1969 |2442 |6440 |2442 |7557 |4957 | 0 | 0 | 1.197357e+03 | -- | Inf
528.49/528.77 c 524s| 1 | 0 |244941 | - | 197M| 0 |2027 |2442 |6440 |2442 |7600 |5000 | 0 | 0 | 1.200915e+03 | -- | Inf
534.40/534.60 c 530s| 1 | 0 |247837 | - | 198M| 0 |2027 |2442 |6440 |2442 |7400 |5021 | 0 | 0 | 1.201686e+03 | -- | Inf
536.09/536.30 c 531s| 1 | 0 |248531 | - | 200M| 0 |2052 |2442 |6440 |2442 |7424 |5045 | 0 | 0 | 1.201904e+03 | -- | Inf
538.59/538.81 c 534s| 1 | 0 |249572 | - | 201M| 0 |1977 |2442 |6440 |2442 |7448 |5069 | 0 | 0 | 1.202316e+03 | -- | Inf
546.19/546.44 c 541s| 1 | 0 |252789 | - | 201M| 0 |1990 |2442 |6440 |2442 |7493 |5114 | 0 | 0 | 1.207112e+03 | -- | Inf
548.79/549.04 c 544s| 1 | 0 |253863 | - | 202M| 0 |2027 |2442 |6440 |2442 |7520 |5141 | 0 | 0 | 1.207993e+03 | -- | Inf
555.78/556.07 c 551s| 1 | 0 |257015 | - | 203M| 0 |2042 |2442 |6440 |2442 |7559 |5180 | 0 | 0 | 1.209502e+03 | -- | Inf
561.28/561.50 c 556s| 1 | 0 |258682 | - | 203M| 0 |2098 |2442 |6440 |2442 |7362 |5205 | 0 | 0 | 1.210205e+03 | -- | Inf
569.27/569.52 c 564s| 1 | 0 |262071 | - | 200M| 0 |2018 |2442 |6440 |2442 |7397 |5240 | 0 | 0 | 1.212043e+03 | -- | Inf
572.88/573.18 c 568s| 1 | 0 |263376 | - | 196M| 0 |2049 |2442 |6440 |2442 |7444 |5287 | 0 | 0 | 1.212636e+03 | -- | Inf
577.28/577.57 c 572s| 1 | 0 |265277 | - | 194M| 0 |2015 |2442 |6440 |2442 |7483 |5326 | 0 | 0 | 1.214485e+03 | -- | Inf
581.87/582.14 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
581.87/582.14 c 577s| 1 | 0 |267001 | - | 191M| 0 |1972 |2442 |6440 |2442 |7535 |5378 | 0 | 0 | 1.219000e+03 | -- | Inf
586.08/586.37 c 581s| 1 | 0 |268599 | - | 187M| 0 |1898 |2442 |6440 |2442 |7580 |5423 | 0 | 0 | 1.222734e+03 | -- | Inf
588.37/588.68 c 583s| 1 | 0 |269575 | - | 184M| 0 |1976 |2442 |6440 |2442 |7455 |5453 | 0 | 0 | 1.223419e+03 | -- | Inf
593.47/593.73 c 588s| 1 | 0 |271998 | - | 181M| 0 |2006 |2442 |6440 |2442 |7483 |5481 | 0 | 0 | 1.226545e+03 | -- | Inf
598.57/598.87 c 594s| 1 | 0 |273608 | - | 177M| 0 |2033 |2442 |6440 |2442 |7527 |5525 | 0 | 0 | 1.229765e+03 | -- | Inf
601.77/602.04 c 597s| 1 | 0 |274818 | - | 175M| 0 |1990 |2442 |6440 |2442 |7545 |5543 | 0 | 0 | 1.230269e+03 | -- | Inf
606.97/607.23 c 602s| 1 | 0 |276874 | - | 172M| 0 |2012 |2442 |6440 |2442 |7586 |5584 | 0 | 0 | 1.233997e+03 | -- | Inf
611.66/611.92 c 606s| 1 | 0 |278606 | - | 168M| 0 |2078 |2442 |6440 |2442 |7616 |5614 | 0 | 0 | 1.235521e+03 | -- | Inf
617.66/617.95 c 612s| 1 | 0 |280214 | - | 164M| 0 |2032 |2442 |6440 |2442 |7431 |5628 | 0 | 0 | 1.236276e+03 | -- | Inf
620.06/620.36 c 615s| 1 | 0 |281467 | - | 159M| 0 |2063 |2442 |6440 |2442 |7454 |5651 | 0 | 0 | 1.236601e+03 | -- | Inf
623.75/624.04 c 618s| 1 | 0 |282805 | - | 152M| 0 |2016 |2442 |6440 |2442 |7479 |5676 | 0 | 0 | 1.238599e+03 | -- | Inf
627.66/627.96 c 622s| 1 | 0 |283649 | - | 147M| 0 |1973 |2442 |6440 |2442 |7514 |5711 | 0 | 0 | 1.239818e+03 | -- | Inf
632.35/632.64 c 627s| 1 | 0 |285827 | - | 143M| 0 |2034 |2442 |6440 |2442 |7546 |5743 | 0 | 0 | 1.241039e+03 | -- | Inf
634.65/634.92 c 629s| 1 | 0 |286558 | - | 139M| 0 |1931 |2442 |6440 |2442 |7573 |5770 | 0 | 0 | 1.241864e+03 | -- | Inf
638.65/638.93 c 633s| 1 | 0 |287889 | - | 135M| 0 |2009 |2442 |6440 |2442 |7366 |5789 | 0 | 0 | 1.242873e+03 | -- | Inf
643.35/643.60 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
643.35/643.60 c 638s| 1 | 0 |289227 | - | 133M| 0 |1963 |2442 |6440 |2442 |7397 |5820 | 0 | 0 | 1.244505e+03 | -- | Inf
646.75/647.01 c 641s| 1 | 0 |290586 | - | 130M| 0 |1975 |2442 |6440 |2442 |7440 |5863 | 0 | 0 | 1.247658e+03 | -- | Inf
649.45/649.72 c 644s| 1 | 0 |292024 | - | 129M| 0 |1964 |2442 |6440 |2442 |7472 |5895 | 0 | 0 | 1.249372e+03 | -- | Inf
653.65/653.95 c 648s| 1 | 0 |294226 | - | 129M| 0 |2013 |2442 |6440 |2442 |7506 |5929 | 0 | 0 | 1.250277e+03 | -- | Inf
657.65/657.90 c 652s| 1 | 0 |295588 | - | 129M| 0 |1998 |2442 |6440 |2442 |7543 |5966 | 0 | 0 | 1.252732e+03 | -- | Inf
660.85/661.14 c 655s| 1 | 0 |297274 | - | 128M| 0 |2018 |2442 |6440 |2442 |7410 |5985 | 0 | 0 | 1.253248e+03 | -- | Inf
666.35/666.63 c 661s| 1 | 0 |299144 | - | 127M| 0 |1987 |2442 |6440 |2442 |7439 |6014 | 0 | 0 | 1.254464e+03 | -- | Inf
670.14/670.40 c 664s| 1 | 0 |301221 | - | 125M| 0 |2019 |2442 |6440 |2442 |7455 |6030 | 0 | 0 | 1.255915e+03 | -- | Inf
672.04/672.35 c 666s| 1 | 0 |301952 | - | 125M| 0 |1977 |2442 |6440 |2442 |7478 |6053 | 0 | 0 | 1.256120e+03 | -- | Inf
676.15/676.42 c 670s| 1 | 0 |304181 | - | 124M| 0 |2013 |2442 |6440 |2442 |7503 |6078 | 0 | 0 | 1.257008e+03 | -- | Inf
682.84/683.11 c 677s| 1 | 0 |307197 | - | 121M| 0 |1960 |2442 |6440 |2442 |7533 |6108 | 0 | 0 | 1.258482e+03 | -- | Inf
687.33/687.68 c 682s| 1 | 0 |309262 | - | 120M| 0 |1861 |2442 |6440 |2442 |7397 |6138 | 0 | 0 | 1.259399e+03 | -- | Inf
689.34/689.65 c 684s| 1 | 0 |310075 | - | 119M| 0 |1918 |2442 |6440 |2442 |7414 |6155 | 0 | 0 | 1.259443e+03 | -- | Inf
692.33/692.63 c 686s| 1 | 0 |311702 | - | 119M| 0 |1950 |2442 |6440 |2442 |7428 |6169 | 0 | 0 | 1.259932e+03 | -- | Inf
694.53/694.86 c 689s| 1 | 0 |312604 | - | 118M| 0 |1943 |2442 |6440 |2442 |7446 |6187 | 0 | 0 | 1.260245e+03 | -- | Inf
699.03/699.32 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
699.03/699.32 c 693s| 1 | 0 |314452 | - | 117M| 0 |1902 |2442 |6440 |2442 |7482 |6223 | 0 | 0 | 1.261386e+03 | -- | Inf
700.63/700.98 c 695s| 1 | 0 |315108 | - | 116M| 0 |1904 |2442 |6440 |2442 |7508 |6249 | 0 | 0 | 1.261749e+03 | -- | Inf
703.53/703.81 c 698s| 1 | 0 |316504 | - | 116M| 0 |1959 |2442 |6440 |2442 |7387 |6268 | 0 | 0 | 1.262036e+03 | -- | Inf
707.23/707.59 c 701s| 1 | 0 |317624 | - | 115M| 0 |1886 |2442 |6440 |2442 |7414 |6295 | 0 | 0 | 1.263410e+03 | -- | Inf
709.24/709.54 c 703s| 1 | 0 |318270 | - | 115M| 0 |1905 |2442 |6440 |2442 |7442 |6323 | 0 | 0 | 1.263728e+03 | -- | Inf
713.33/713.67 c 707s| 1 | 0 |319537 | - | 114M| 0 |1860 |2442 |6440 |2442 |7463 |6344 | 0 | 0 | 1.264244e+03 | -- | Inf
715.83/716.12 c 710s| 1 | 0 |320180 | - | 114M| 0 |1928 |2442 |6440 |2442 |7478 |6359 | 0 | 0 | 1.264527e+03 | -- | Inf
719.03/719.33 c 713s| 1 | 0 |321584 | - | 114M| 0 |1956 |2442 |6440 |2442 |7488 |6369 | 0 | 0 | 1.264833e+03 | -- | Inf
722.33/722.62 c 716s| 1 | 0 |322675 | - | 113M| 0 |1942 |2442 |6440 |2442 |7395 |6381 | 0 | 0 | 1.265025e+03 | -- | Inf
725.12/725.50 c 719s| 1 | 0 |323942 | - | 112M| 0 |1921 |2442 |6440 |2442 |7401 |6387 | 0 | 0 | 1.265137e+03 | -- | Inf
727.52/727.83 c 721s| 1 | 0 |324045 | - | 110M| 0 |1954 |2442 |6440 |2442 |7405 |6391 | 0 | 0 | 1.265138e+03 | -- | Inf
731.02/731.34 c 725s| 1 | 0 |324944 | - | 110M| 0 |1973 |2442 |6440 |2442 |7412 |6398 | 0 | 0 | 1.265204e+03 | -- | Inf
733.12/733.50 c 727s| 1 | 0 |325467 | - | 107M| 0 |1939 |2442 |6440 |2442 |7417 |6403 | 0 | 0 | 1.265266e+03 | -- | Inf
736.32/736.64 c 730s| 1 | 0 |326519 | - | 106M| 0 |1997 |2442 |6440 |2442 |7420 |6406 | 0 | 0 | 1.265285e+03 | -- | Inf
738.11/738.40 c 732s| 1 | 0 |326742 | - | 106M| 0 |1989 |2442 |6440 |2442 |7293 |6408 | 0 | 0 | 1.265285e+03 | -- | Inf
740.92/741.27 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
740.92/741.27 c 735s| 1 | 0 |327405 | - | 105M| 0 |1980 |2442 |6440 |2442 |7295 |6410 | 0 | 0 | 1.265314e+03 | -- | Inf
743.12/743.41 c 737s| 1 | 0 |328027 | - | 103M| 0 |1948 |2442 |6440 |2442 |7299 |6414 | 0 | 0 | 1.265324e+03 | -- | Inf
746.62/746.98 c 740s| 1 | 0 |329008 | - | 104M| 0 |1934 |2442 |6440 |2442 |7304 |6419 | 0 | 0 | 1.265412e+03 | -- | Inf
749.11/749.41 c 743s| 1 | 0 |329038 | - | 102M| 0 |1947 |2442 |6440 |2442 |7309 |6424 | 0 | 0 | 1.265412e+03 | -- | Inf
751.62/751.96 c 745s| 1 | 0 |329129 | - | 99M| 0 |1942 |2442 |6440 |2442 |7311 |6426 | 0 | 0 | 1.265414e+03 | -- | Inf
754.22/754.50 c 748s| 1 | 0 |329236 | - | 99M| 0 |1941 |2442 |6440 |2442 |7267 |6432 | 0 | 0 | 1.265416e+03 | -- | Inf
756.61/756.96 c 750s| 1 | 0 |329281 | - | 98M| 0 |1935 |2442 |6440 |2442 |7270 |6435 | 0 | 0 | 1.265419e+03 | -- | Inf
759.81/760.15 c 753s| 1 | 0 |329308 | - | 96M| 0 |1936 |2442 |6440 |2442 |7272 |6437 | 0 | 0 | 1.265419e+03 | -- | Inf
774.11/774.44 c 768s| 1 | 2 |329308 | - | 96M| 0 |1936 |2442 |6440 |2442 |7272 |6437 | 0 | 26 | 1.265419e+03 | -- | Inf
823.09/823.48 c 815s| 10000 | 47 |329308 | 0.0 | 97M| 77 | - |2442 |6504 | 0 | 0 |6437 |6620 | 26 | 1.265436e+03 | -- | Inf
873.07/873.49 c 864s| 20000 | 45 |329308 | 0.0 | 97M| 77 | - |2442 |6515 | 0 | 0 |6437 | 13k| 26 | 1.265436e+03 | -- | Inf
933.65/934.02 c 923s| 30000 | 48 |329308 | 0.0 | 97M| 77 | - |2442 |6503 | 0 | 0 |6437 | 19k| 26 | 1.265436e+03 | -- | Inf
1012.31/1012.73 c 1000s| 40000 | 44 |329308 | 0.0 | 97M| 77 | - |2442 |6521 | 0 | 0 |6437 | 26k| 26 | 1.265436e+03 | -- | Inf
1085.28/1085.74 c 1071s| 50000 | 43 |329308 | 0.0 | 97M| 77 | - |2442 |6550 | 0 | 0 |6437 | 33k| 26 | 1.265436e+03 | -- | Inf
1158.96/1159.42 c 1143s| 60000 | 46 |329308 | 0.0 | 97M| 77 | - |2442 |6525 | 0 | 0 |6437 | 40k| 26 | 1.265436e+03 | -- | Inf
1231.53/1232.07 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1231.53/1232.07 c 1214s| 70000 | 43 |329308 | 0.0 | 97M| 77 | - |2442 |6542 | 0 | 0 |6437 | 46k| 26 | 1.265436e+03 | -- | Inf
1299.39/1299.94 c 1280s| 80000 | 45 |329308 | 0.0 | 97M| 77 | - |2442 |6536 | 0 | 0 |6437 | 53k| 26 | 1.265436e+03 | -- | Inf
1369.17/1369.71 c 1348s| 90000 | 46 |329308 | 0.0 | 97M| 77 | - |2442 |6536 | 0 | 0 |6437 | 60k| 26 | 1.265436e+03 | -- | Inf
1443.44/1444.00 c 1421s|100000 | 42 |329308 | 0.0 | 97M| 77 | - |2442 |6568 | 0 | 0 |6437 | 66k| 26 | 1.265436e+03 | -- | Inf
1518.21/1518.84 c 1494s|110000 | 42 |329308 | 0.0 | 97M| 77 | - |2442 |6572 | 0 | 0 |6437 | 73k| 26 | 1.265436e+03 | -- | Inf
1593.78/1594.45 c 1568s|120000 | 42 |329308 | 0.0 | 97M| 77 | - |2442 |6571 | 0 | 0 |6437 | 79k| 26 | 1.265436e+03 | -- | Inf
1669.25/1669.93 c 1641s|130000 | 45 |329308 | 0.0 | 97M| 77 | - |2442 |6543 | 0 | 0 |6437 | 86k| 26 | 1.265436e+03 | -- | Inf
1743.13/1743.82 c 1713s|140000 | 47 |329308 | 0.0 | 97M| 77 | - |2442 |6534 | 0 | 0 |6437 | 93k| 26 | 1.265436e+03 | -- | Inf
1800.02/1800.71 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.02/1800.71 c
1800.02/1800.71 c SCIP Status : solving was interrupted [user interrupt]
1800.02/1800.71 c Solving Time (sec) : 1768.77
1800.02/1800.71 c Solving Nodes : 147531
1800.02/1800.71 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1800.02/1800.71 c Dual Bound : +1.26543559332447e+03
1800.02/1800.71 c Gap : infinite
1800.02/1800.71 s UNKNOWN
1800.02/1800.71 c SCIP Status : solving was interrupted [user interrupt]
1800.02/1800.71 c Solving Time : 1768.77
1800.02/1800.71 c Original Problem :
1800.02/1800.71 c Problem name : HOME/instance-2666856-1276450976.opb
1800.02/1800.71 c Variables : 2630 (2630 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.02/1800.71 c Constraints : 6569 initial, 6569 maximal
1800.02/1800.71 c Presolved Problem :
1800.02/1800.71 c Problem name : t_HOME/instance-2666856-1276450976.opb
1800.02/1800.71 c Variables : 2442 (2442 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.02/1800.71 c Constraints : 6440 initial, 6617 maximal
1800.02/1800.71 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.02/1800.71 c trivial : 0.04 0 0 0 0 0 0 0 0
1800.02/1800.71 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.71 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.71 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.71 c implics : 0.00 0 3 0 0 0 0 0 0
1800.02/1800.71 c probing : 0.41 2 183 0 0 0 0 0 0
1800.02/1800.71 c linear : 0.09 0 0 0 0 0 122 122 0
1800.02/1800.71 c logicor : 0.13 0 0 0 0 0 7 0 0
1800.02/1800.71 c root node : - 0 - - 0 - - - -
1800.02/1800.71 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.02/1800.71 c integral : 0 0 0 1 0 0 0 0 0 2
1800.02/1800.71 c logicor : 6440+ 157 4498367 0 0 98069 45576415 0 0 0
1800.02/1800.71 c countsols : 0 0 0 0 0 0 0 0 0 0
1800.02/1800.71 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.02/1800.71 c integral : 14.10 0.00 0.00 14.10 0.00
1800.02/1800.71 c logicor : 264.84 0.16 264.68 0.00 0.00
1800.02/1800.71 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.02/1800.71 c Propagators : Time Calls Cutoffs DomReds
1800.02/1800.71 c vbounds : 2.44 2 0 0
1800.02/1800.71 c rootredcost : 2.24 0 0 0
1800.02/1800.71 c pseudoobj : 499.82 4593472 0 0
1800.02/1800.71 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.02/1800.71 c propagation : 82.08 98069 98069 98069 38.4 187 19.4 -
1800.02/1800.71 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.02/1800.71 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.02/1800.71 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.02/1800.71 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.02/1800.71 c applied globally : - - - 98256 38.3 - - -
1800.02/1800.71 c applied locally : - - - 0 0.0 - - -
1800.02/1800.71 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.02/1800.71 c cut pool : 7.54 156 - - 5810 - (maximal pool size: 37081)
1800.02/1800.71 c redcost : 0.05 157 0 0 0 0
1800.02/1800.71 c impliedbounds : 0.17 157 0 0 1838 0
1800.02/1800.71 c intobj : 0.00 0 0 0 0 0
1800.02/1800.71 c cgmip : 0.00 0 0 0 0 0
1800.02/1800.71 c gomory : 203.08 157 0 0 74084 0
1800.02/1800.71 c strongcg : 6.90 20 0 0 10000 0
1800.02/1800.71 c cmir : 0.67 10 0 0 0 0
1800.02/1800.71 c flowcover : 0.55 10 0 0 0 0
1800.02/1800.71 c clique : 0.47 157 0 0 53 0
1800.02/1800.71 c zerohalf : 0.00 0 0 0 0 0
1800.02/1800.71 c mcf : 0.01 1 0 0 0 0
1800.02/1800.71 c rapidlearning : 0.00 0 0 0 0 0
1800.02/1800.71 c Pricers : Time Calls Vars
1800.02/1800.71 c problem variables: 0.00 0 0
1800.02/1800.71 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.02/1800.71 c relpscost : 14.10 1 0 0 0 0 2
1800.02/1800.71 c pscost : 0.00 0 0 0 0 0 0
1800.02/1800.71 c inference : 52.95 98507 0 0 0 0 197014
1800.02/1800.71 c mostinf : 0.00 0 0 0 0 0 0
1800.02/1800.71 c leastinf : 0.00 0 0 0 0 0 0
1800.02/1800.71 c fullstrong : 0.00 0 0 0 0 0 0
1800.02/1800.71 c allfullstrong : 0.00 0 0 0 0 0 0
1800.02/1800.71 c random : 0.00 0 0 0 0 0 0
1800.02/1800.71 c Primal Heuristics : Time Calls Found
1800.02/1800.71 c LP solutions : 0.00 - 0
1800.02/1800.71 c pseudo solutions : 0.00 - 0
1800.02/1800.71 c oneopt : 0.11 0 0
1800.02/1800.71 c crossover : 0.00 0 0
1800.02/1800.71 c trivial : 0.00 2 0
1800.02/1800.71 c simplerounding : 0.00 0 0
1800.02/1800.71 c zirounding : 0.00 1 0
1800.02/1800.71 c rounding : 0.26 100 0
1800.02/1800.71 c shifting : 2.18 100 0
1800.02/1800.71 c intshifting : 0.00 0 0
1800.02/1800.71 c twoopt : 0.00 0 0
1800.02/1800.71 c fixandinfer : 0.00 0 0
1800.02/1800.71 c feaspump : 9.90 1 0
1800.02/1800.71 c coefdiving : 0.00 0 0
1800.02/1800.71 c pscostdiving : 0.00 0 0
1800.02/1800.71 c fracdiving : 0.00 0 0
1800.02/1800.71 c veclendiving : 0.00 0 0
1800.02/1800.71 c intdiving : 0.00 0 0
1800.02/1800.71 c actconsdiving : 0.00 0 0
1800.02/1800.71 c objpscostdiving : 0.00 0 0
1800.02/1800.71 c rootsoldiving : 0.00 0 0
1800.02/1800.71 c linesearchdiving : 0.00 0 0
1800.02/1800.71 c guideddiving : 0.00 0 0
1800.02/1800.71 c octane : 0.00 0 0
1800.02/1800.71 c rens : 0.01 0 0
1800.02/1800.71 c rins : 0.00 0 0
1800.02/1800.71 c localbranching : 0.00 0 0
1800.02/1800.71 c mutation : 0.00 0 0
1800.02/1800.71 c dins : 0.00 0 0
1800.02/1800.71 c undercover : 0.00 0 0
1800.02/1800.71 c nlp : 0.16 0 0
1800.02/1800.71 c trysol : 0.07 0 0
1800.02/1800.71 c LP : Time Calls Iterations Iter/call Iter/sec
1800.02/1800.71 c primal LP : 0.30 0 0 0.00 0.00
1800.02/1800.71 c dual LP : 517.97 158 321473 2034.64 620.64
1800.02/1800.71 c lex dual LP : 0.00 0 0 0.00 -
1800.02/1800.71 c barrier LP : 0.00 0 0 0.00 -
1800.02/1800.71 c diving/probing LP: 9.85 18 7835 435.28 795.43
1800.02/1800.71 c strong branching : 14.10 26 9665 371.73 685.46
1800.02/1800.71 c (at root node) : - 26 9665 371.73 -
1800.02/1800.71 c conflict analysis: 0.00 0 0 0.00 -
1800.02/1800.71 c B&B Tree :
1800.02/1800.71 c number of runs : 1
1800.02/1800.71 c nodes : 147531
1800.02/1800.71 c nodes (total) : 147531
1800.02/1800.71 c nodes left : 43
1800.02/1800.71 c max depth : 77
1800.02/1800.71 c max depth (total): 77
1800.02/1800.71 c backtracks : 49051 (33.2%)
1800.02/1800.71 c delayed cutoffs : 49443
1800.02/1800.71 c repropagations : 146304 (22822663 domain reductions, 49046 cutoffs)
1800.02/1800.71 c avg switch length: 2.66
1800.02/1800.71 c switching time : 114.36
1800.02/1800.71 c Solution :
1800.02/1800.71 c Solutions found : 0 (0 improvements)
1800.02/1800.71 c Primal Bound : -
1800.02/1800.71 c Dual Bound : +1.26543559332447e+03
1800.02/1800.71 c Gap : infinite
1800.02/1800.71 c Root Dual Bound : +1.26541882384262e+03
1800.02/1800.71 c Root Iterations : 329308
1800.12/1800.89 c Time complete: 1800.2.