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-2666861-1276464496.opb>
0.09/0.14 c original problem has 2650 variables (2650 bin, 0 int, 0 impl, 0 cont) and 6619 constraints
0.09/0.14 c problem read
0.09/0.14 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, 6495 upgd conss, 5626 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, 6496 upgd conss, 5626 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, 6497 upgd conss, 5626 impls, 0 clqs
0.39/0.44 c (round 4) 50 del vars, 122 del conss, 0 chg bounds, 122 chg sides, 0 chg coeffs, 6497 upgd conss, 7088 impls, 0 clqs
0.39/0.45 c (round 5) 53 del vars, 127 del conss, 0 chg bounds, 122 chg sides, 0 chg coeffs, 6497 upgd conss, 7126 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, 6497 upgd conss, 7126 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, 6497 upgd conss, 27314 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, 6497 upgd conss, 46770 impls, 0 clqs
0.89/0.93 c (0.7s) probing: 548/2650 (20.7%) - 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, 6497 upgd conss, 48372 impls, 0 clqs
0.89/0.95 c (0.7s) probing: 558/2650 (21.1%) - 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 48372 implications, 0 cliques
0.89/0.95 c presolved problem has 2462 variables (2462 bin, 0 int, 0 impl, 0 cont) and 6490 constraints
0.89/0.95 c 6490 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.71
0.89/0.95 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.96 c
4.89/4.91 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
4.89/4.91 c 4.6s| 1 | 0 | 5296 | - | 15M| 0 |1665 |2462 |6490 |2462 |6303 | 0 | 0 | 0 | 7.947391e+02 | -- | Inf
16.79/16.89 c 16.5s| 1 | 0 | 16548 | - | 19M| 0 |1889 |2462 |6490 |2462 |7278 | 975 | 0 | 0 | 8.195314e+02 | -- | Inf
19.49/19.53 c 19.1s| 1 | 0 | 18070 | - | 23M| 0 |1612 |2462 |6490 |2462 |7314 |1011 | 0 | 0 | 8.261467e+02 | -- | Inf
21.39/21.45 c 21.0s| 1 | 0 | 19099 | - | 26M| 0 |2002 |2462 |6490 |2462 |7342 |1039 | 0 | 0 | 8.280275e+02 | -- | Inf
23.69/23.77 c 23.3s| 1 | 0 | 20537 | - | 31M| 0 |1597 |2462 |6490 |2462 |7367 |1064 | 0 | 0 | 8.303965e+02 | -- | Inf
26.98/27.08 c 26.6s| 1 | 0 | 22489 | - | 34M| 0 |1609 |2462 |6490 |2462 |7405 |1102 | 0 | 0 | 8.337217e+02 | -- | Inf
32.28/32.40 c 31.8s| 1 | 0 | 24844 | - | 36M| 0 |1587 |2462 |6490 |2462 |7445 |1142 | 0 | 0 | 8.363955e+02 | -- | Inf
35.89/35.91 c 35.3s| 1 | 0 | 26718 | - | 39M| 0 |1623 |2462 |6490 |2462 |7479 |1176 | 0 | 0 | 8.394767e+02 | -- | Inf
40.18/40.20 c 39.6s| 1 | 0 | 28967 | - | 43M| 0 |1956 |2462 |6490 |2462 |7514 |1211 | 0 | 0 | 8.429674e+02 | -- | Inf
43.68/43.76 c 43.1s| 1 | 0 | 30792 | - | 47M| 0 |2003 |2462 |6490 |2462 |7541 |1238 | 0 | 0 | 8.443041e+02 | -- | Inf
47.67/47.71 c 47.0s| 1 | 0 | 32503 | - | 52M| 0 |2027 |2462 |6490 |2462 |7571 |1268 | 0 | 0 | 8.466870e+02 | -- | Inf
60.18/60.26 c 59.5s| 1 | 0 | 36868 | - | 54M| 0 |1972 |2462 |6490 |2462 |7606 |1303 | 0 | 0 | 8.517500e+02 | -- | Inf
70.38/70.50 c 69.6s| 1 | 0 | 40698 | - | 59M| 0 |1653 |2462 |6490 |2462 |7685 |1382 | 0 | 0 | 8.766574e+02 | -- | Inf
74.78/74.90 c 74.0s| 1 | 0 | 42967 | - | 62M| 0 |1867 |2462 |6490 |2462 |7721 |1418 | 0 | 0 | 8.799814e+02 | -- | Inf
83.26/83.32 c 82.3s| 1 | 0 | 45863 | - | 64M| 0 |1627 |2462 |6490 |2462 |6783 |1460 | 0 | 0 | 8.860657e+02 | -- | Inf
88.47/88.50 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
88.47/88.50 c 87.5s| 1 | 0 | 48515 | - | 66M| 0 |1693 |2462 |6490 |2462 |6819 |1496 | 0 | 0 | 8.876164e+02 | -- | Inf
96.57/96.69 c 95.6s| 1 | 0 | 52371 | - | 70M| 0 |1720 |2462 |6490 |2462 |6865 |1542 | 0 | 0 | 8.933393e+02 | -- | Inf
101.06/101.16 c 100s| 1 | 0 | 54138 | - | 74M| 0 |1670 |2462 |6490 |2462 |6904 |1581 | 0 | 0 | 8.973901e+02 | -- | Inf
106.47/106.53 c 105s| 1 | 0 | 56336 | - | 75M| 0 |1689 |2462 |6490 |2462 |6938 |1615 | 0 | 0 | 9.001016e+02 | -- | Inf
113.06/113.10 c 112s| 1 | 0 | 59378 | - | 78M| 0 |1713 |2462 |6490 |2462 |6987 |1664 | 0 | 0 | 9.028815e+02 | -- | Inf
117.77/117.89 c 117s| 1 | 0 | 61392 | - | 83M| 0 |1691 |2462 |6490 |2462 |6907 |1712 | 0 | 0 | 9.065403e+02 | -- | Inf
121.65/121.73 c 120s| 1 | 0 | 63481 | - | 85M| 0 |1715 |2462 |6490 |2462 |6955 |1760 | 0 | 0 | 9.090992e+02 | -- | Inf
128.25/128.34 c 127s| 1 | 0 | 66495 | - | 87M| 0 |1751 |2462 |6490 |2462 |7001 |1806 | 0 | 0 | 9.170015e+02 | -- | Inf
133.66/133.73 c 132s| 1 | 0 | 68985 | - | 89M| 0 |1724 |2462 |6490 |2462 |7045 |1850 | 0 | 0 | 9.215897e+02 | -- | Inf
138.85/138.95 c 137s| 1 | 0 | 71569 | - | 90M| 0 |1713 |2462 |6490 |2462 |7087 |1892 | 0 | 0 | 9.242488e+02 | -- | Inf
145.75/145.81 c 144s| 1 | 0 | 74384 | - | 91M| 0 |1793 |2462 |6490 |2462 |7132 |1937 | 0 | 0 | 9.281288e+02 | -- | Inf
152.95/153.07 c 151s| 1 | 0 | 77559 | - | 93M| 0 |1871 |2462 |6490 |2462 |6959 |1967 | 0 | 0 | 9.307326e+02 | -- | Inf
157.65/157.72 c 156s| 1 | 0 | 79727 | - | 95M| 0 |1937 |2462 |6490 |2462 |6996 |2004 | 0 | 0 | 9.328850e+02 | -- | Inf
164.15/164.22 c 163s| 1 | 0 | 82588 | - | 96M| 0 |1913 |2462 |6490 |2462 |7039 |2047 | 0 | 0 | 9.360949e+02 | -- | Inf
169.94/170.03 c 168s| 1 | 0 | 84464 | - | 97M| 0 |2017 |2462 |6490 |2462 |7094 |2102 | 0 | 0 | 9.470697e+02 | -- | Inf
175.96/176.08 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
175.96/176.08 c 174s| 1 | 0 | 86692 | - | 98M| 0 |1750 |2462 |6490 |2462 |7137 |2145 | 0 | 0 | 9.509939e+02 | -- | Inf
180.24/180.37 c 179s| 1 | 0 | 88541 | - | 99M| 0 |1983 |2462 |6490 |2462 |7177 |2185 | 0 | 0 | 9.530550e+02 | -- | Inf
185.35/185.44 c 184s| 1 | 0 | 90298 | - | 101M| 0 |1794 |2462 |6490 |2462 |7006 |2221 | 0 | 0 | 9.540126e+02 | -- | Inf
190.74/190.89 c 189s| 1 | 0 | 92698 | - | 102M| 0 |1812 |2462 |6490 |2462 |7050 |2265 | 0 | 0 | 9.555922e+02 | -- | Inf
195.34/195.43 c 193s| 1 | 0 | 94661 | - | 104M| 0 |1861 |2462 |6490 |2462 |7082 |2297 | 0 | 0 | 9.579620e+02 | -- | Inf
202.63/202.79 c 201s| 1 | 0 | 97861 | - | 106M| 0 |1879 |2462 |6490 |2462 |7116 |2331 | 0 | 0 | 9.599279e+02 | -- | Inf
209.34/209.42 c 207s| 1 | 0 |100325 | - | 108M| 0 |1896 |2462 |6490 |2462 |7172 |2387 | 0 | 0 | 9.608565e+02 | -- | Inf
221.23/221.35 c 219s| 1 | 0 |104950 | - | 108M| 0 |1869 |2462 |6490 |2462 |7215 |2430 | 0 | 0 | 9.728132e+02 | -- | Inf
230.42/230.60 c 228s| 1 | 0 |108908 | - | 110M| 0 |1985 |2462 |6490 |2462 |7078 |2476 | 0 | 0 | 9.765305e+02 | -- | Inf
235.33/235.48 c 233s| 1 | 0 |111070 | - | 112M| 0 |2063 |2462 |6490 |2462 |7121 |2519 | 0 | 0 | 9.780362e+02 | -- | Inf
243.52/243.64 c 241s| 1 | 0 |114581 | - | 114M| 0 |2070 |2462 |6490 |2462 |7170 |2568 | 0 | 0 | 9.795149e+02 | -- | Inf
251.83/251.90 c 250s| 1 | 0 |118082 | - | 116M| 0 |1981 |2462 |6490 |2462 |7210 |2608 | 0 | 0 | 9.820149e+02 | -- | Inf
261.32/261.42 c 259s| 1 | 0 |121737 | - | 116M| 0 |1876 |2462 |6490 |2462 |7261 |2659 | 0 | 0 | 9.929279e+02 | -- | Inf
266.13/266.28 c 264s| 1 | 0 |123892 | - | 117M| 0 |1898 |2462 |6490 |2462 |7319 |2717 | 0 | 0 | 9.969547e+02 | -- | Inf
276.12/276.25 c 274s| 1 | 0 |127731 | - | 118M| 0 |1817 |2462 |6490 |2462 |7212 |2776 | 0 | 0 | 1.006296e+03 | -- | Inf
280.22/280.35 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
280.22/280.35 c 278s| 1 | 0 |129685 | - | 120M| 0 |1828 |2462 |6490 |2462 |7248 |2812 | 0 | 0 | 1.008347e+03 | -- | Inf
286.92/287.00 c 284s| 1 | 0 |132639 | - | 123M| 0 |1835 |2462 |6490 |2462 |7283 |2847 | 0 | 0 | 1.011039e+03 | -- | Inf
293.91/294.02 c 291s| 1 | 0 |135719 | - | 124M| 0 |2008 |2462 |6490 |2462 |7343 |2907 | 0 | 0 | 1.014741e+03 | -- | Inf
305.21/305.38 c 303s| 1 | 0 |140081 | - | 124M| 0 |1927 |2462 |6490 |2462 |7426 |2990 | 0 | 0 | 1.029224e+03 | -- | Inf
309.61/309.70 c 307s| 1 | 0 |142025 | - | 126M| 0 |1879 |2462 |6490 |2462 |7465 |3029 | 0 | 0 | 1.031215e+03 | -- | Inf
317.01/317.19 c 314s| 1 | 0 |145111 | - | 128M| 0 |1930 |2462 |6490 |2462 |7294 |3069 | 0 | 0 | 1.033150e+03 | -- | Inf
320.51/320.62 c 318s| 1 | 0 |146542 | - | 130M| 0 |1937 |2462 |6490 |2462 |7329 |3104 | 0 | 0 | 1.035095e+03 | -- | Inf
324.01/324.13 c 321s| 1 | 0 |148049 | - | 132M| 0 |1899 |2462 |6490 |2462 |7373 |3148 | 0 | 0 | 1.036744e+03 | -- | Inf
327.90/328.03 c 325s| 1 | 0 |149854 | - | 133M| 0 |1946 |2462 |6490 |2462 |7417 |3192 | 0 | 0 | 1.038747e+03 | -- | Inf
335.10/335.28 c 332s| 1 | 0 |153067 | - | 135M| 0 |1895 |2462 |6490 |2462 |7461 |3236 | 0 | 0 | 1.040676e+03 | -- | Inf
343.20/343.35 c 340s| 1 | 0 |156215 | - | 136M| 0 |1890 |2462 |6490 |2462 |7518 |3293 | 0 | 0 | 1.047288e+03 | -- | Inf
351.10/351.24 c 348s| 1 | 0 |159676 | - | 138M| 0 |1914 |2462 |6490 |2462 |7329 |3338 | 0 | 0 | 1.049554e+03 | -- | Inf
356.70/356.88 c 354s| 1 | 0 |161906 | - | 139M| 0 |2011 |2462 |6490 |2462 |7377 |3386 | 0 | 0 | 1.051412e+03 | -- | Inf
363.60/363.78 c 360s| 1 | 0 |164469 | - | 140M| 0 |2037 |2462 |6490 |2462 |7435 |3444 | 0 | 0 | 1.055268e+03 | -- | Inf
375.89/376.05 c 373s| 1 | 0 |169198 | - | 141M| 0 |1944 |2462 |6490 |2462 |7504 |3513 | 0 | 0 | 1.068620e+03 | -- | Inf
381.39/381.59 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
381.39/381.59 c 378s| 1 | 0 |171496 | - | 143M| 0 |1900 |2462 |6490 |2462 |7551 |3560 | 0 | 0 | 1.073351e+03 | -- | Inf
390.19/390.38 c 387s| 1 | 0 |175057 | - | 144M| 0 |1906 |2462 |6490 |2462 |7586 |3595 | 0 | 0 | 1.074782e+03 | -- | Inf
399.48/399.65 c 396s| 1 | 0 |179209 | - | 145M| 0 |1862 |2462 |6490 |2462 |7376 |3639 | 0 | 0 | 1.076995e+03 | -- | Inf
405.28/405.41 c 402s| 1 | 0 |181739 | - | 148M| 0 |2030 |2462 |6490 |2462 |7408 |3671 | 0 | 0 | 1.077661e+03 | -- | Inf
418.68/418.88 c 415s| 1 | 0 |186611 | - | 149M| 0 |2141 |2462 |6490 |2462 |7454 |3717 | 0 | 0 | 1.078868e+03 | -- | Inf
428.78/428.90 c 425s| 1 | 0 |189552 | - | 150M| 0 |2015 |2462 |6490 |2462 |7535 |3798 | 0 | 0 | 1.092142e+03 | -- | Inf
435.58/435.75 c 432s| 1 | 0 |191906 | - | 150M| 0 |2068 |2462 |6490 |2462 |7592 |3855 | 0 | 0 | 1.095910e+03 | -- | Inf
443.37/443.51 c 440s| 1 | 0 |194014 | - | 150M| 0 |1946 |2462 |6490 |2462 |7666 |3929 | 0 | 0 | 1.103787e+03 | -- | Inf
451.37/451.59 c 448s| 1 | 0 |197536 | - | 153M| 0 |2010 |2462 |6490 |2462 |7483 |3966 | 0 | 0 | 1.104890e+03 | -- | Inf
456.57/456.77 c 453s| 1 | 0 |199632 | - | 155M| 0 |2029 |2462 |6490 |2462 |7519 |4002 | 0 | 0 | 1.105765e+03 | -- | Inf
467.67/467.88 c 464s| 1 | 0 |203349 | - | 155M| 0 |1913 |2462 |6490 |2462 |7593 |4076 | 0 | 0 | 1.110273e+03 | -- | Inf
472.97/473.15 c 469s| 1 | 0 |205332 | - | 157M| 0 |1946 |2462 |6490 |2462 |7628 |4111 | 0 | 0 | 1.111210e+03 | -- | Inf
479.86/480.01 c 476s| 1 | 0 |208267 | - | 159M| 0 |1980 |2462 |6490 |2462 |7662 |4145 | 0 | 0 | 1.113533e+03 | -- | Inf
489.26/489.40 c 485s| 1 | 0 |212010 | - | 160M| 0 |2145 |2462 |6490 |2462 |7703 |4186 | 0 | 0 | 1.114660e+03 | -- | Inf
494.97/495.17 c 491s| 1 | 0 |213752 | - | 161M| 0 |2141 |2462 |6490 |2462 |7516 |4224 | 0 | 0 | 1.116442e+03 | -- | Inf
501.57/501.73 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
501.57/501.73 c 497s| 1 | 0 |216164 | - | 163M| 0 |2157 |2462 |6490 |2462 |7554 |4262 | 0 | 0 | 1.117612e+03 | -- | Inf
511.16/511.36 c 507s| 1 | 0 |219744 | - | 165M| 0 |2176 |2462 |6490 |2462 |7580 |4288 | 0 | 0 | 1.117929e+03 | -- | Inf
522.46/522.68 c 518s| 1 | 0 |223225 | - | 165M| 0 |1973 |2462 |6490 |2462 |7638 |4346 | 0 | 0 | 1.125104e+03 | -- | Inf
527.86/528.00 c 523s| 1 | 0 |225580 | - | 166M| 0 |2040 |2462 |6490 |2462 |7679 |4387 | 0 | 0 | 1.128533e+03 | -- | Inf
533.55/533.79 c 529s| 1 | 0 |227973 | - | 167M| 0 |2151 |2462 |6490 |2462 |7720 |4428 | 0 | 0 | 1.130089e+03 | -- | Inf
543.94/544.13 c 539s| 1 | 0 |231264 | - | 167M| 0 |2032 |2462 |6490 |2462 |7445 |4478 | 0 | 0 | 1.133691e+03 | -- | Inf
550.95/551.13 c 546s| 1 | 0 |233571 | - | 168M| 0 |2004 |2462 |6490 |2462 |7480 |4513 | 0 | 0 | 1.137303e+03 | -- | Inf
557.65/557.82 c 553s| 1 | 0 |236386 | - | 169M| 0 |2084 |2462 |6490 |2462 |7536 |4569 | 0 | 0 | 1.138939e+03 | -- | Inf
567.84/568.08 c 563s| 1 | 0 |240130 | - | 170M| 0 |2122 |2462 |6490 |2462 |7597 |4630 | 0 | 0 | 1.144739e+03 | -- | Inf
575.73/575.91 c 571s| 1 | 0 |242751 | - | 170M| 0 |2027 |2462 |6490 |2462 |7649 |4682 | 0 | 0 | 1.149511e+03 | -- | Inf
579.74/579.90 c 575s| 1 | 0 |244383 | - | 171M| 0 |2111 |2462 |6490 |2462 |7692 |4725 | 0 | 0 | 1.150430e+03 | -- | Inf
585.43/585.69 c 581s| 1 | 0 |246669 | - | 172M| 0 |2144 |2462 |6490 |2462 |7551 |4750 | 0 | 0 | 1.151213e+03 | -- | Inf
593.33/593.56 c 589s| 1 | 0 |249135 | - | 172M| 0 |1998 |2462 |6490 |2462 |7604 |4803 | 0 | 0 | 1.154187e+03 | -- | Inf
598.03/598.24 c 593s| 1 | 0 |251508 | - | 173M| 0 |2107 |2462 |6490 |2462 |7638 |4837 | 0 | 0 | 1.155769e+03 | -- | Inf
604.33/604.59 c 600s| 1 | 0 |253889 | - | 174M| 0 |2020 |2462 |6490 |2462 |7683 |4882 | 0 | 0 | 1.158819e+03 | -- | Inf
609.13/609.36 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
609.13/609.36 c 604s| 1 | 0 |255854 | - | 175M| 0 |2044 |2462 |6490 |2462 |7719 |4918 | 0 | 0 | 1.159666e+03 | -- | Inf
615.84/616.08 c 611s| 1 | 0 |257971 | - | 175M| 0 |2055 |2462 |6490 |2462 |7771 |4970 | 0 | 0 | 1.163747e+03 | -- | Inf
623.83/624.05 c 619s| 1 | 0 |261255 | - | 176M| 0 |1977 |2462 |6490 |2462 |7506 |5006 | 0 | 0 | 1.164487e+03 | -- | Inf
627.32/627.50 c 622s| 1 | 0 |262779 | - | 178M| 0 |1923 |2462 |6490 |2462 |7529 |5029 | 0 | 0 | 1.165196e+03 | -- | Inf
631.82/632.09 c 627s| 1 | 0 |264990 | - | 179M| 0 |2058 |2462 |6490 |2462 |7568 |5068 | 0 | 0 | 1.166270e+03 | -- | Inf
635.82/636.09 c 631s| 1 | 0 |266738 | - | 180M| 0 |2043 |2462 |6490 |2462 |7594 |5094 | 0 | 0 | 1.166749e+03 | -- | Inf
641.92/642.13 c 637s| 1 | 0 |269056 | - | 181M| 0 |2139 |2462 |6490 |2462 |7623 |5123 | 0 | 0 | 1.167803e+03 | -- | Inf
650.22/650.47 c 645s| 1 | 0 |272052 | - | 181M| 0 |2106 |2462 |6490 |2462 |7671 |5171 | 0 | 0 | 1.169626e+03 | -- | Inf
656.52/656.80 c 651s| 1 | 0 |274288 | - | 183M| 0 |1936 |2462 |6490 |2462 |7463 |5202 | 0 | 0 | 1.171231e+03 | -- | Inf
660.81/661.07 c 656s| 1 | 0 |276285 | - | 184M| 0 |2085 |2462 |6490 |2462 |7498 |5237 | 0 | 0 | 1.171933e+03 | -- | Inf
669.81/670.03 c 664s| 1 | 0 |279866 | - | 184M| 0 |2097 |2462 |6490 |2462 |7549 |5288 | 0 | 0 | 1.176544e+03 | -- | Inf
674.31/674.58 c 669s| 1 | 0 |281382 | - | 185M| 0 |2099 |2462 |6490 |2462 |7571 |5310 | 0 | 0 | 1.177533e+03 | -- | Inf
683.02/683.25 c 678s| 1 | 0 |284374 | - | 181M| 0 |2074 |2462 |6490 |2462 |7610 |5349 | 0 | 0 | 1.181247e+03 | -- | Inf
686.41/686.60 c 681s| 1 | 0 |285832 | - | 178M| 0 |2125 |2462 |6490 |2462 |7640 |5379 | 0 | 0 | 1.181918e+03 | -- | Inf
695.11/695.37 c 690s| 1 | 0 |288888 | - | 176M| 0 |2114 |2462 |6490 |2462 |7469 |5413 | 0 | 0 | 1.184093e+03 | -- | Inf
701.01/701.29 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
701.01/701.29 c 696s| 1 | 0 |291653 | - | 172M| 0 |2048 |2462 |6490 |2462 |7488 |5432 | 0 | 0 | 1.184562e+03 | -- | Inf
707.00/707.28 c 701s| 1 | 0 |294222 | - | 170M| 0 |2055 |2462 |6490 |2462 |7529 |5473 | 0 | 0 | 1.187092e+03 | -- | Inf
711.20/711.41 c 706s| 1 | 0 |296170 | - | 169M| 0 |2056 |2462 |6490 |2462 |7570 |5514 | 0 | 0 | 1.189310e+03 | -- | Inf
714.40/714.66 c 709s| 1 | 0 |297661 | - | 167M| 0 |2108 |2462 |6490 |2462 |7595 |5539 | 0 | 0 | 1.190360e+03 | -- | Inf
721.30/721.52 c 716s| 1 | 0 |300232 | - | 164M| 0 |2097 |2462 |6490 |2462 |7641 |5585 | 0 | 0 | 1.193050e+03 | -- | Inf
726.39/726.60 c 721s| 1 | 0 |303063 | - | 160M| 0 |2045 |2462 |6490 |2462 |7463 |5624 | 0 | 0 | 1.194938e+03 | -- | Inf
730.09/730.38 c 724s| 1 | 0 |304665 | - | 156M| 0 |2130 |2462 |6490 |2462 |7499 |5660 | 0 | 0 | 1.195796e+03 | -- | Inf
735.29/735.58 c 730s| 1 | 0 |306502 | - | 154M| 0 |2111 |2462 |6490 |2462 |7528 |5689 | 0 | 0 | 1.197265e+03 | -- | Inf
740.79/741.07 c 735s| 1 | 0 |307830 | - | 150M| 0 |2048 |2462 |6490 |2462 |7560 |5721 | 0 | 0 | 1.199485e+03 | -- | Inf
744.39/744.66 c 739s| 1 | 0 |309030 | - | 147M| 0 |2102 |2462 |6490 |2462 |7584 |5745 | 0 | 0 | 1.201040e+03 | -- | Inf
747.80/748.04 c 742s| 1 | 0 |310327 | - | 145M| 0 |2033 |2462 |6490 |2462 |7605 |5766 | 0 | 0 | 1.201970e+03 | -- | Inf
751.58/751.87 c 746s| 1 | 0 |311448 | - | 144M| 0 |2165 |2462 |6490 |2462 |7455 |5796 | 0 | 0 | 1.202975e+03 | -- | Inf
757.19/757.43 c 751s| 1 | 0 |313328 | - | 141M| 0 |2148 |2462 |6490 |2462 |7474 |5815 | 0 | 0 | 1.205041e+03 | -- | Inf
762.10/762.34 c 756s| 1 | 0 |315409 | - | 138M| 0 |2022 |2462 |6490 |2462 |7507 |5848 | 0 | 0 | 1.208221e+03 | -- | Inf
764.99/765.20 c 759s| 1 | 0 |316926 | - | 138M| 0 |2011 |2462 |6490 |2462 |7538 |5879 | 0 | 0 | 1.209065e+03 | -- | Inf
767.99/768.23 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
767.99/768.23 c 762s| 1 | 0 |318263 | - | 136M| 0 |2097 |2462 |6490 |2462 |7568 |5909 | 0 | 0 | 1.209405e+03 | -- | Inf
772.98/773.22 c 767s| 1 | 0 |319496 | - | 131M| 0 |2132 |2462 |6490 |2462 |7591 |5932 | 0 | 0 | 1.210849e+03 | -- | Inf
781.28/781.52 c 775s| 1 | 0 |322612 | - | 130M| 0 |2027 |2462 |6490 |2462 |7437 |5963 | 0 | 0 | 1.212149e+03 | -- | Inf
784.29/784.52 c 778s| 1 | 0 |323479 | - | 128M| 0 |2023 |2462 |6490 |2462 |7462 |5988 | 0 | 0 | 1.212590e+03 | -- | Inf
787.78/788.09 c 782s| 1 | 0 |325021 | - | 127M| 0 |2103 |2462 |6490 |2462 |7493 |6019 | 0 | 0 | 1.213501e+03 | -- | Inf
793.99/794.29 c 788s| 1 | 0 |326657 | - | 126M| 0 |2085 |2462 |6490 |2462 |7539 |6065 | 0 | 0 | 1.214622e+03 | -- | Inf
798.58/798.85 c 792s| 1 | 0 |328561 | - | 126M| 0 |2100 |2462 |6490 |2462 |7578 |6104 | 0 | 0 | 1.215573e+03 | -- | Inf
803.77/804.02 c 798s| 1 | 0 |330839 | - | 125M| 0 |2114 |2462 |6490 |2462 |7606 |6132 | 0 | 0 | 1.216733e+03 | -- | Inf
811.27/811.52 c 805s| 1 | 0 |333931 | - | 123M| 0 |2148 |2462 |6490 |2462 |7500 |6173 | 0 | 0 | 1.219246e+03 | -- | Inf
817.38/817.67 c 811s| 1 | 0 |336636 | - | 123M| 0 |2094 |2462 |6490 |2462 |7518 |6191 | 0 | 0 | 1.221513e+03 | -- | Inf
820.47/820.74 c 814s| 1 | 0 |337804 | - | 122M| 0 |2096 |2462 |6490 |2462 |7540 |6213 | 0 | 0 | 1.221808e+03 | -- | Inf
823.68/823.91 c 817s| 1 | 0 |339087 | - | 122M| 0 |2132 |2462 |6490 |2462 |7550 |6223 | 0 | 0 | 1.222232e+03 | -- | Inf
827.57/827.81 c 821s| 1 | 0 |340637 | - | 122M| 0 |2101 |2462 |6490 |2462 |7558 |6231 | 0 | 0 | 1.222891e+03 | -- | Inf
832.76/833.09 c 826s| 1 | 0 |342387 | - | 120M| 0 |2095 |2462 |6490 |2462 |7581 |6254 | 0 | 0 | 1.224019e+03 | -- | Inf
839.76/840.08 c 833s| 1 | 0 |345396 | - | 119M| 0 |2101 |2462 |6490 |2462 |7481 |6284 | 0 | 0 | 1.226185e+03 | -- | Inf
843.37/843.68 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
843.37/843.68 c 837s| 1 | 0 |346898 | - | 118M| 0 |2098 |2462 |6490 |2462 |7509 |6312 | 0 | 0 | 1.226729e+03 | -- | Inf
848.07/848.34 c 841s| 1 | 0 |348962 | - | 117M| 0 |2091 |2462 |6490 |2462 |7536 |6339 | 0 | 0 | 1.228251e+03 | -- | Inf
853.66/853.97 c 847s| 1 | 0 |351970 | - | 115M| 0 |2090 |2462 |6490 |2462 |7561 |6364 | 0 | 0 | 1.228791e+03 | -- | Inf
858.76/859.09 c 852s| 1 | 0 |354794 | - | 115M| 0 |2057 |2462 |6490 |2462 |7590 |6393 | 0 | 0 | 1.230618e+03 | -- | Inf
862.46/862.75 c 856s| 1 | 0 |356590 | - | 114M| 0 |2058 |2462 |6490 |2462 |7614 |6417 | 0 | 0 | 1.230942e+03 | -- | Inf
865.25/865.57 c 859s| 1 | 0 |357749 | - | 113M| 0 |2096 |2462 |6490 |2462 |7485 |6438 | 0 | 0 | 1.232043e+03 | -- | Inf
869.45/869.74 c 863s| 1 | 0 |359646 | - | 112M| 0 |2101 |2462 |6490 |2462 |7518 |6471 | 0 | 0 | 1.234899e+03 | -- | Inf
874.36/874.63 c 868s| 1 | 0 |361783 | - | 110M| 0 |2079 |2462 |6490 |2462 |7547 |6500 | 0 | 0 | 1.236260e+03 | -- | Inf
878.45/878.73 c 872s| 1 | 0 |363523 | - | 110M| 0 |2093 |2462 |6490 |2462 |7567 |6520 | 0 | 0 | 1.237544e+03 | -- | Inf
881.46/881.73 c 875s| 1 | 0 |364208 | - | 110M| 0 |2113 |2462 |6490 |2462 |7578 |6531 | 0 | 0 | 1.238506e+03 | -- | Inf
885.45/885.75 c 879s| 1 | 0 |365703 | - | 109M| 0 |2145 |2462 |6490 |2462 |7608 |6561 | 0 | 0 | 1.239207e+03 | -- | Inf
888.66/888.98 c 882s| 1 | 0 |367244 | - | 107M| 0 |2113 |2462 |6490 |2462 |7515 |6574 | 0 | 0 | 1.239422e+03 | -- | Inf
894.35/894.64 c 887s| 1 | 0 |369658 | - | 105M| 0 |2073 |2462 |6490 |2462 |7538 |6597 | 0 | 0 | 1.240601e+03 | -- | Inf
898.35/898.62 c 891s| 1 | 0 |371524 | - | 104M| 0 |2046 |2462 |6490 |2462 |7556 |6615 | 0 | 0 | 1.241063e+03 | -- | Inf
899.75/900.00 c 893s| 1 | 0 |372029 | - | 104M| 0 |2037 |2462 |6490 |2462 |7567 |6626 | 0 | 0 | 1.241180e+03 | -- | Inf
903.74/904.09 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
903.74/904.09 c 897s| 1 | 0 |374211 | - | 104M| 0 |2097 |2462 |6490 |2462 |7588 |6647 | 0 | 0 | 1.242298e+03 | -- | Inf
910.25/910.55 c 903s| 1 | 0 |376595 | - | 101M| 0 |2079 |2462 |6490 |2462 |7618 |6677 | 0 | 0 | 1.243379e+03 | -- | Inf
913.64/913.99 c 907s| 1 | 0 |378231 | - | 100M| 0 |2086 |2462 |6490 |2462 |7487 |6703 | 0 | 0 | 1.244791e+03 | -- | Inf
918.04/918.32 c 911s| 1 | 0 |379670 | - | 99M| 0 |2066 |2462 |6490 |2462 |7505 |6721 | 0 | 0 | 1.246813e+03 | -- | Inf
921.74/922.07 c 915s| 1 | 0 |380966 | - | 97M| 0 |2065 |2462 |6490 |2462 |7520 |6736 | 0 | 0 | 1.247328e+03 | -- | Inf
925.95/926.24 c 919s| 1 | 0 |382059 | - | 96M| 0 |2075 |2462 |6490 |2462 |7544 |6760 | 0 | 0 | 1.247944e+03 | -- | Inf
931.24/931.50 c 924s| 1 | 0 |384427 | - | 95M| 0 |2038 |2462 |6490 |2462 |7578 |6794 | 0 | 0 | 1.248538e+03 | -- | Inf
933.64/933.92 c 926s| 1 | 0 |385674 | - | 94M| 0 |2073 |2462 |6490 |2462 |7599 |6815 | 0 | 0 | 1.248805e+03 | -- | Inf
941.14/941.40 c 934s| 1 | 0 |389049 | - | 93M| 0 |2064 |2462 |6490 |2462 |7524 |6837 | 0 | 0 | 1.250492e+03 | -- | Inf
943.04/943.35 c 936s| 1 | 0 |389689 | - | 92M| 0 |2013 |2462 |6490 |2462 |7539 |6852 | 0 | 0 | 1.250593e+03 | -- | Inf
946.14/946.40 c 939s| 1 | 0 |391055 | - | 92M| 0 |2064 |2462 |6490 |2462 |7555 |6868 | 0 | 0 | 1.251298e+03 | -- | Inf
951.84/952.13 c 944s| 1 | 0 |393669 | - | 91M| 0 |2086 |2462 |6490 |2462 |7574 |6887 | 0 | 0 | 1.252476e+03 | -- | Inf
956.34/956.61 c 949s| 1 | 0 |395442 | - | 90M| 0 |2039 |2462 |6490 |2462 |7594 |6907 | 0 | 0 | 1.253110e+03 | -- | Inf
962.43/962.78 c 955s| 1 | 0 |398610 | - | 89M| 0 |2085 |2462 |6490 |2462 |7613 |6926 | 0 | 0 | 1.253768e+03 | -- | Inf
968.63/968.91 c 961s| 1 | 0 |401614 | - | 89M| 0 |2027 |2462 |6490 |2462 |7552 |6967 | 0 | 0 | 1.255753e+03 | -- | Inf
972.93/973.25 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
972.93/973.25 c 965s| 1 | 0 |403776 | - | 87M| 0 |2034 |2462 |6490 |2462 |7579 |6994 | 0 | 0 | 1.258528e+03 | -- | Inf
975.82/976.19 c 968s| 1 | 0 |405338 | - | 86M| 0 |2028 |2462 |6490 |2462 |7599 |7014 | 0 | 0 | 1.259745e+03 | -- | Inf
978.13/978.45 c 970s| 1 | 0 |406209 | - | 86M| 0 |2067 |2462 |6490 |2462 |7614 |7029 | 0 | 0 | 1.260134e+03 | -- | Inf
981.13/981.42 c 973s| 1 | 0 |407380 | - | 86M| 0 |2069 |2462 |6490 |2462 |7630 |7045 | 0 | 0 | 1.260321e+03 | -- | Inf
984.23/984.58 c 977s| 1 | 0 |408165 | - | 86M| 0 |2026 |2462 |6490 |2462 |7649 |7064 | 0 | 0 | 1.261516e+03 | -- | Inf
987.02/987.39 c 979s| 1 | 0 |408847 | - | 83M| 0 |2032 |2462 |6490 |2462 |7549 |7078 | 0 | 0 | 1.262015e+03 | -- | Inf
990.62/990.98 c 983s| 1 | 0 |410201 | - | 83M| 0 |2025 |2462 |6490 |2462 |7568 |7097 | 0 | 0 | 1.262983e+03 | -- | Inf
994.02/994.34 c 986s| 1 | 0 |411592 | - | 83M| 0 |2030 |2462 |6490 |2462 |7593 |7122 | 0 | 0 | 1.264256e+03 | -- | Inf
997.72/998.08 c 990s| 1 | 0 |413043 | - | 81M| 0 |2086 |2462 |6490 |2462 |7616 |7145 | 0 | 0 | 1.265815e+03 | -- | Inf
1003.12/1003.43 c 995s| 1 | 0 |414925 | - | 80M| 0 |2053 |2462 |6490 |2462 |7643 |7172 | 0 | 0 | 1.267713e+03 | -- | Inf
1006.92/1007.26 c 999s| 1 | 0 |415825 | - | 79M| 0 |2002 |2462 |6490 |2462 |7661 |7190 | 0 | 0 | 1.268394e+03 | -- | Inf
1011.72/1012.00 c 1004s| 1 | 0 |417692 | - | 78M| 0 |2045 |2462 |6490 |2462 |7541 |7208 | 0 | 0 | 1.269341e+03 | -- | Inf
1015.21/1015.53 c 1007s| 1 | 0 |418094 | - | 76M| 0 |2049 |2462 |6490 |2462 |7560 |7227 | 0 | 0 | 1.270331e+03 | -- | Inf
1018.92/1019.28 c 1011s| 1 | 0 |419224 | - | 75M| 0 |1997 |2462 |6490 |2462 |7585 |7252 | 0 | 0 | 1.271701e+03 | -- | Inf
1021.42/1021.73 c 1013s| 1 | 0 |419393 | - | 74M| 0 |2016 |2462 |6490 |2462 |7595 |7262 | 0 | 0 | 1.271705e+03 | -- | Inf
1024.21/1024.57 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1024.21/1024.57 c 1016s| 1 | 0 |419706 | - | 74M| 0 |2024 |2462 |6490 |2462 |7601 |7268 | 0 | 0 | 1.271815e+03 | -- | Inf
1026.62/1026.95 c 1019s| 1 | 0 |419752 | - | 73M| 0 |2024 |2462 |6490 |2462 |7608 |7275 | 0 | 0 | 1.271815e+03 | -- | Inf
1029.11/1029.49 c 1021s| 1 | 0 |419851 | - | 73M| 0 |2027 |2462 |6490 |2462 |7487 |7278 | 0 | 0 | 1.271815e+03 | -- | Inf
1031.62/1031.97 c 1024s| 1 | 0 |419852 | - | 71M| 0 |2027 |2462 |6490 |2462 |7488 |7279 | 0 | 0 | 1.271815e+03 | -- | Inf
1034.11/1034.45 c 1026s| 1 | 0 |419853 | - | 71M| 0 |2027 |2462 |6490 |2462 |7489 |7280 | 0 | 0 | 1.271815e+03 | -- | Inf
1051.10/1051.49 c 1043s| 1 | 2 |419853 | - | 70M| 0 |2027 |2462 |6490 |2462 |7489 |7280 | 0 | 43 | 1.271815e+03 | -- | Inf
1091.01/1091.31 c 1082s| 10000 | 46 |419853 | 0.0 | 71M| 75 | - |2462 |6550 | 0 | 0 |7280 |6656 | 43 | 1.271834e+03 | -- | Inf
1129.59/1129.99 c 1119s| 20000 | 50 |419853 | 0.0 | 71M| 75 | - |2462 |6528 | 0 | 0 |7280 | 13k| 43 | 1.271834e+03 | -- | Inf
1178.17/1178.59 c 1167s| 30000 | 45 |419853 | 0.0 | 71M| 75 | - |2462 |6549 | 0 | 0 |7280 | 20k| 43 | 1.271834e+03 | -- | Inf
1215.06/1215.44 c 1203s| 40000 | 44 |419853 | 0.0 | 71M| 75 | - |2462 |6544 | 0 | 0 |7280 | 26k| 43 | 1.271834e+03 | -- | Inf
1251.05/1251.49 c 1238s| 50000 | 42 |419853 | 0.0 | 71M| 75 | - |2462 |6569 | 0 | 0 |7280 | 33k| 43 | 1.271834e+03 | -- | Inf
1286.25/1286.69 c 1272s| 60000 | 41 |419853 | 0.0 | 71M| 75 | - |2462 |6581 | 0 | 0 |7280 | 40k| 43 | 1.271834e+03 | -- | Inf
1325.43/1325.80 c 1310s| 70000 | 45 |419853 | 0.0 | 71M| 75 | - |2462 |6546 | 0 | 0 |7280 | 46k| 43 | 1.271834e+03 | -- | Inf
1362.42/1362.80 c 1347s| 80000 | 44 |419853 | 0.0 | 71M| 75 | - |2462 |6564 | 0 | 0 |7280 | 53k| 43 | 1.271834e+03 | -- | Inf
1400.61/1401.02 c 1384s| 90000 | 45 |419853 | 0.0 | 71M| 75 | - |2462 |6524 | 0 | 0 |7280 | 60k| 43 | 1.271834e+03 | -- | Inf
1439.11/1439.58 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1439.11/1439.58 c 1421s|100000 | 40 |419853 | 0.0 | 71M| 75 | - |2462 |6563 | 0 | 0 |7280 | 67k| 43 | 1.271834e+03 | -- | Inf
1479.59/1480.08 c 1461s|110000 | 46 |419853 | 0.0 | 71M| 75 | - |2462 |6538 | 0 | 0 |7280 | 73k| 43 | 1.271834e+03 | -- | Inf
1520.38/1520.83 c 1501s|120000 | 44 |419853 | 0.0 | 71M| 75 | - |2462 |6532 | 0 | 0 |7280 | 80k| 43 | 1.271834e+03 | -- | Inf
1568.47/1568.92 c 1548s|130000 | 44 |419853 | 0.0 | 71M| 75 | - |2462 |6533 | 0 | 0 |7280 | 87k| 43 | 1.271834e+03 | -- | Inf
1614.75/1615.29 c 1593s|140000 | 43 |419853 | 0.0 | 71M| 75 | - |2462 |6544 | 0 | 0 |7280 | 93k| 43 | 1.271834e+03 | -- | Inf
1651.35/1651.87 c 1629s|150000 | 47 |419853 | 0.0 | 71M| 75 | - |2462 |6537 | 0 | 0 |7280 | 100k| 43 | 1.271834e+03 | -- | Inf
1698.33/1698.82 c 1675s|160000 | 40 |419853 | 0.0 | 71M| 75 | - |2462 |6590 | 0 | 0 |7280 | 107k| 43 | 1.271834e+03 | -- | Inf
1732.93/1733.47 c 1709s|170000 | 43 |419853 | 0.0 | 71M| 75 | - |2462 |6567 | 0 | 0 |7280 | 114k| 43 | 1.271834e+03 | -- | Inf
1779.12/1779.68 c 1754s|180000 | 42 |419853 | 0.0 | 71M| 75 | - |2462 |6580 | 0 | 0 |7280 | 120k| 43 | 1.271834e+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) : 1773.97
1800.01/1800.50 c Solving Nodes : 185636
1800.01/1800.50 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1800.01/1800.50 c Dual Bound : +1.27183442073659e+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 : 1773.97
1800.01/1800.50 c Original Problem :
1800.01/1800.50 c Problem name : HOME/instance-2666861-1276464496.opb
1800.01/1800.50 c Variables : 2650 (2650 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.01/1800.50 c Constraints : 6619 initial, 6619 maximal
1800.01/1800.50 c Presolved Problem :
1800.01/1800.50 c Problem name : t_HOME/instance-2666861-1276464496.opb
1800.01/1800.50 c Variables : 2462 (2462 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.01/1800.50 c Constraints : 6490 initial, 6618 maximal
1800.01/1800.50 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.01/1800.50 c trivial : 0.01 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.00 0 3 0 0 0 0 0 0
1800.01/1800.50 c probing : 0.43 2 183 0 0 0 0 0 0
1800.01/1800.50 c linear : 0.10 0 0 0 0 0 122 122 0
1800.01/1800.50 c logicor : 0.13 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 : 6490+ 185 3204794 0 0 123738 32845308 0 0 0
1800.01/1800.51 c countsols : 0 0 0 0 0 0 0 0 0 0
1800.01/1800.51 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.01/1800.51 c integral : 14.33 0.00 0.00 14.33 0.00
1800.01/1800.51 c logicor : 215.26 0.27 214.99 0.00 0.00
1800.01/1800.51 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.01/1800.51 c Propagators : Time Calls Cutoffs DomReds
1800.01/1800.51 c vbounds : 1.76 2 0 0
1800.01/1800.51 c rootredcost : 2.02 0 0 0
1800.01/1800.51 c pseudoobj : 328.85 3327090 0 0
1800.01/1800.51 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.01/1800.51 c propagation : 90.54 123736 123736 123736 42.7 1026 10.8 -
1800.01/1800.51 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.01/1800.51 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.01/1800.51 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.01/1800.51 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.01/1800.51 c applied globally : - - - 124762 42.4 - - -
1800.01/1800.51 c applied locally : - - - 0 0.0 - - -
1800.01/1800.51 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.01/1800.51 c cut pool : 8.09 184 - - 6507 - (maximal pool size: 36562)
1800.01/1800.51 c redcost : 0.03 185 0 0 0 0
1800.01/1800.51 c impliedbounds : 0.24 185 0 0 2162 0
1800.01/1800.51 c intobj : 0.00 0 0 0 0 0
1800.01/1800.51 c cgmip : 0.00 0 0 0 0 0
1800.01/1800.51 c gomory : 287.19 185 0 0 85349 0
1800.01/1800.51 c strongcg : 8.73 20 0 0 10000 0
1800.01/1800.51 c cmir : 0.64 10 0 0 0 0
1800.01/1800.51 c flowcover : 0.58 10 0 0 0 0
1800.01/1800.51 c clique : 0.62 185 0 0 83 0
1800.01/1800.51 c zerohalf : 0.00 0 0 0 0 0
1800.01/1800.51 c mcf : 0.01 1 0 0 0 0
1800.01/1800.51 c rapidlearning : 0.00 0 0 0 0 0
1800.01/1800.51 c Pricers : Time Calls Vars
1800.01/1800.51 c problem variables: 0.00 0 0
1800.01/1800.51 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.01/1800.51 c relpscost : 14.33 1 0 0 0 0 2
1800.01/1800.51 c pscost : 0.00 0 0 0 0 0 0
1800.01/1800.51 c inference : 55.82 123866 0 0 0 0 247732
1800.01/1800.51 c mostinf : 0.00 0 0 0 0 0 0
1800.01/1800.51 c leastinf : 0.00 0 0 0 0 0 0
1800.01/1800.51 c fullstrong : 0.00 0 0 0 0 0 0
1800.01/1800.51 c allfullstrong : 0.00 0 0 0 0 0 0
1800.01/1800.51 c random : 0.00 0 0 0 0 0 0
1800.01/1800.51 c Primal Heuristics : Time Calls Found
1800.01/1800.51 c LP solutions : 0.00 - 0
1800.01/1800.51 c pseudo solutions : 0.00 - 0
1800.01/1800.51 c oneopt : 0.15 0 0
1800.01/1800.51 c crossover : 0.00 0 0
1800.01/1800.51 c trivial : 0.02 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.25 100 0
1800.01/1800.51 c shifting : 2.30 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 : 6.21 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.15 0 0
1800.01/1800.51 c trysol : 0.10 0 0
1800.01/1800.51 c LP : Time Calls Iterations Iter/call Iter/sec
1800.01/1800.51 c primal LP : 0.43 0 0 0.00 0.00
1800.01/1800.51 c dual LP : 709.53 185 411970 2226.86 580.62
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: 6.14 21 7883 375.38 1283.88
1800.01/1800.51 c strong branching : 14.33 43 10052 233.77 701.47
1800.01/1800.51 c (at root node) : - 43 10052 233.77 -
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 : 185636
1800.01/1800.51 c nodes (total) : 185636
1800.01/1800.51 c nodes left : 43
1800.01/1800.51 c max depth : 75
1800.01/1800.51 c max depth (total): 75
1800.01/1800.51 c backtracks : 62007 (33.4%)
1800.01/1800.51 c delayed cutoffs : 62056
1800.01/1800.51 c repropagations : 184288 (16482163 domain reductions, 61967 cutoffs)
1800.01/1800.51 c avg switch length: 2.65
1800.01/1800.51 c switching time : 79.63
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.27183442073659e+03
1800.01/1800.51 c Gap : infinite
1800.01/1800.51 c Root Dual Bound : +1.27181488003991e+03
1800.01/1800.51 c Root Iterations : 419853
1800.11/1800.67 c Time complete: 1800.18.