0.00/0.00 c SCIP version 1.2.1.3 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.4.2]
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-2703436-1278554066.opb>
0.09/0.12 c original problem has 2666 variables (2666 bin, 0 int, 0 impl, 0 cont) and 6659 constraints
0.09/0.12 c problem read
0.09/0.12 c presolving settings loaded
0.09/0.16 c presolving:
0.19/0.28 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.29/0.30 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.29/0.32 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.39/0.40 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.39/0.42 c (round 5) 53 del vars, 177 del conss, 0 chg bounds, 122 chg sides, 0 chg coeffs, 6537 upgd conss, 7142 impls, 0 clqs
0.39/0.43 c (round 6) 53 del vars, 179 del conss, 0 chg bounds, 122 chg sides, 0 chg coeffs, 6537 upgd conss, 7142 impls, 0 clqs
0.59/0.64 c (round 7) 103 del vars, 179 del conss, 0 chg bounds, 122 chg sides, 0 chg coeffs, 6537 upgd conss, 27330 impls, 0 clqs
0.59/0.66 c (round 8) 103 del vars, 229 del conss, 0 chg bounds, 122 chg sides, 0 chg coeffs, 6537 upgd conss, 27330 impls, 0 clqs
0.79/0.81 c (round 9) 153 del vars, 229 del conss, 0 chg bounds, 122 chg sides, 0 chg coeffs, 6537 upgd conss, 46786 impls, 0 clqs
0.79/0.82 c (round 10) 153 del vars, 279 del conss, 0 chg bounds, 122 chg sides, 0 chg coeffs, 6537 upgd conss, 46786 impls, 0 clqs
0.89/0.98 c (0.9s) probing: 548/2666 (20.6%) - 2 fixings, 183 aggregations, 12557 implications, 0 bound changes
0.89/0.98 c (0.9s) probing aborted: 100/100 successive totally useless probings
0.89/0.98 c (round 11) 188 del vars, 279 del conss, 0 chg bounds, 122 chg sides, 0 chg coeffs, 6537 upgd conss, 48388 impls, 0 clqs
0.89/0.99 c (round 12) 188 del vars, 314 del conss, 0 chg bounds, 122 chg sides, 0 chg coeffs, 6537 upgd conss, 48388 impls, 0 clqs
1.00/1.01 c (0.9s) probing: 558/2666 (20.9%) - 2 fixings, 183 aggregations, 12557 implications, 0 bound changes
1.00/1.01 c (0.9s) probing aborted: 100/100 successive totally useless probings
1.00/1.01 c presolving (13 rounds):
1.00/1.01 c 188 deleted vars, 314 deleted constraints, 0 tightened bounds, 0 added holes, 122 changed sides, 0 changed coefficients
1.00/1.01 c 48388 implications, 0 cliques
1.00/1.01 c presolved problem has 2478 variables (2478 bin, 0 int, 0 impl, 0 cont) and 6345 constraints
1.00/1.01 c 1515 constraints of type <setppc>
1.00/1.01 c 4830 constraints of type <logicor>
1.00/1.01 c transformed objective value is always integral (scale: 1)
1.00/1.01 c Presolving Time: 0.87
1.00/1.01 c - non default parameters ----------------------------------------------------------------------
1.00/1.01 c # SCIP version 1.2.1.3
1.00/1.01 c
1.00/1.01 c # frequency for displaying node information lines
1.00/1.01 c # [type: int, range: [-1,2147483647], default: 100]
1.00/1.01 c display/freq = 10000
1.00/1.01 c
1.00/1.01 c # maximal time in seconds to run
1.00/1.01 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1.00/1.01 c limits/time = 1789.89
1.00/1.01 c
1.00/1.01 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1.00/1.01 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1.00/1.01 c limits/memory = 1620
1.00/1.01 c
1.00/1.01 c # default clock type (1: CPU user seconds, 2: wall clock time)
1.00/1.02 c # [type: int, range: [1,2], default: 1]
1.00/1.02 c timing/clocktype = 2
1.00/1.02 c
1.00/1.02 c # should presolving try to simplify inequalities
1.00/1.02 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.00/1.02 c constraints/linear/simplifyinequalities = TRUE
1.00/1.02 c
1.00/1.02 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
1.00/1.02 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.00/1.02 c constraints/indicator/addCouplingCons = TRUE
1.00/1.02 c
1.00/1.02 c # should presolving try to simplify knapsacks
1.00/1.02 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.00/1.02 c constraints/knapsack/simplifyinequalities = TRUE
1.00/1.02 c
1.00/1.02 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
1.00/1.02 c # [type: int, range: [-1,2147483647], default: -1]
1.00/1.02 c separating/rapidlearning/freq = 0
1.00/1.02 c
1.00/1.02 c -----------------------------------------------------------------------------------------------
1.00/1.02 c start solving
1.00/1.02 c
4.79/4.88 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
4.79/4.88 c 4.8s| 1 | 0 | 4803 | - | 13M| 0 |1727 |2478 |6345 |2478 |6343 | 0 | 0 | 0 | 7.986569e+02 | -- | Inf
21.48/21.50 c 21.4s| 1 | 0 | 16472 | - | 21M| 0 |1968 |2478 |7163 |2478 |7413 |1070 | 0 | 0 | 8.240111e+02 | -- | Inf
23.68/23.78 c 23.7s| 1 | 0 | 17938 | - | 24M| 0 |2068 |2478 |7163 |2478 |7447 |1104 | 0 | 0 | 8.302785e+02 | -- | Inf
26.19/26.20 c 26.1s| 1 | 0 | 19274 | - | 29M| 0 |1599 |2478 |7163 |2478 |7475 |1132 | 0 | 0 | 8.341492e+02 | -- | Inf
28.38/28.46 c 28.3s| 1 | 0 | 20515 | - | 33M| 0 |1592 |2478 |7163 |2478 |7509 |1166 | 0 | 0 | 8.381136e+02 | -- | Inf
30.69/30.79 c 30.7s| 1 | 0 | 21830 | - | 35M| 0 |1618 |2478 |7163 |2478 |7546 |1203 | 0 | 0 | 8.432447e+02 | -- | Inf
33.49/33.53 c 33.4s| 1 | 0 | 23390 | - | 37M| 0 |1583 |2478 |7163 |2478 |7590 |1247 | 0 | 0 | 8.467625e+02 | -- | Inf
36.08/36.16 c 36.0s| 1 | 0 | 24837 | - | 41M| 0 |1628 |2478 |7163 |2478 |7630 |1287 | 0 | 0 | 8.484155e+02 | -- | Inf
40.07/40.10 c 40.0s| 1 | 0 | 26787 | - | 44M| 0 |1674 |2478 |7163 |2478 |7659 |1316 | 0 | 0 | 8.511004e+02 | -- | Inf
43.77/43.89 c 43.8s| 1 | 0 | 28474 | - | 48M| 0 |1635 |2478 |7163 |2478 |7701 |1358 | 0 | 0 | 8.542040e+02 | -- | Inf
49.57/49.60 c 49.5s| 1 | 0 | 30773 | - | 53M| 0 |1680 |2478 |7163 |2478 |7745 |1402 | 0 | 0 | 8.579548e+02 | -- | Inf
54.88/55.00 c 54.9s| 1 | 0 | 33210 | - | 58M| 0 |1657 |2478 |7163 |2478 |7777 |1434 | 0 | 0 | 8.604508e+02 | -- | Inf
57.97/58.04 c 57.9s| 1 | 0 | 34811 | - | 60M| 0 |1687 |2478 |7163 |2478 |7811 |1468 | 0 | 0 | 8.640557e+02 | -- | Inf
63.87/63.99 c 63.9s| 1 | 0 | 36977 | - | 62M| 0 |1702 |2478 |7163 |2478 |7858 |1515 | 0 | 0 | 8.675732e+02 | -- | Inf
69.17/69.28 c 69.2s| 1 | 0 | 39284 | - | 65M| 0 |1668 |2478 |7163 |2478 |7897 |1554 | 0 | 0 | 8.697793e+02 | -- | Inf
76.06/76.11 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
76.06/76.11 c 76.0s| 1 | 0 | 41779 | - | 67M| 0 |1691 |2478 |7163 |2478 |6830 |1592 | 0 | 0 | 8.716270e+02 | -- | Inf
83.17/83.28 c 83.2s| 1 | 0 | 44605 | - | 70M| 0 |1703 |2478 |7163 |2478 |6866 |1628 | 0 | 0 | 8.813537e+02 | -- | Inf
87.66/87.73 c 87.6s| 1 | 0 | 46668 | - | 74M| 0 |1733 |2478 |7163 |2478 |6910 |1672 | 0 | 0 | 8.840271e+02 | -- | Inf
92.66/92.79 c 92.7s| 1 | 0 | 48404 | - | 77M| 0 |1728 |2478 |7163 |2478 |6948 |1710 | 0 | 0 | 8.880531e+02 | -- | Inf
97.26/97.39 c 97.3s| 1 | 0 | 50440 | - | 79M| 0 |1732 |2478 |7163 |2478 |6985 |1747 | 0 | 0 | 8.901680e+02 | -- | Inf
106.67/106.72 c 107s| 1 | 0 | 53861 | - | 80M| 0 |1684 |2478 |7163 |2478 |7027 |1789 | 0 | 0 | 8.941706e+02 | -- | Inf
112.56/112.61 c 112s| 1 | 0 | 56260 | - | 80M| 0 |1699 |2478 |7163 |2478 |6928 |1845 | 0 | 0 | 9.062272e+02 | -- | Inf
115.85/115.93 c 116s| 1 | 0 | 57725 | - | 82M| 0 |1690 |2478 |7163 |2478 |6964 |1881 | 0 | 0 | 9.089237e+02 | -- | Inf
119.95/120.10 c 120s| 1 | 0 | 59840 | - | 83M| 0 |1688 |2478 |7163 |2478 |7006 |1923 | 0 | 0 | 9.107822e+02 | -- | Inf
124.45/124.54 c 124s| 1 | 0 | 61672 | - | 85M| 0 |1765 |2478 |7163 |2478 |7049 |1966 | 0 | 0 | 9.146080e+02 | -- | Inf
129.85/129.96 c 130s| 1 | 0 | 64021 | - | 86M| 0 |1777 |2478 |7163 |2478 |7084 |2001 | 0 | 0 | 9.172795e+02 | -- | Inf
134.95/135.07 c 135s| 1 | 0 | 65915 | - | 87M| 0 |2007 |2478 |7163 |2478 |7126 |2043 | 0 | 0 | 9.202051e+02 | -- | Inf
141.65/141.79 c 142s| 1 | 0 | 68802 | - | 88M| 0 |1895 |2478 |7163 |2478 |7022 |2089 | 0 | 0 | 9.235564e+02 | -- | Inf
145.25/145.31 c 145s| 1 | 0 | 69964 | - | 90M| 0 |1839 |2478 |7163 |2478 |7055 |2122 | 0 | 0 | 9.252679e+02 | -- | Inf
150.66/150.73 c 151s| 1 | 0 | 72068 | - | 91M| 0 |1851 |2478 |7163 |2478 |7097 |2164 | 0 | 0 | 9.284808e+02 | -- | Inf
157.16/157.20 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
157.16/157.20 c 157s| 1 | 0 | 74877 | - | 92M| 0 |1835 |2478 |7163 |2478 |7142 |2209 | 0 | 0 | 9.402976e+02 | -- | Inf
163.94/164.08 c 164s| 1 | 0 | 77488 | - | 92M| 0 |1962 |2478 |7163 |2478 |7210 |2277 | 0 | 0 | 9.512977e+02 | -- | Inf
169.54/169.68 c 170s| 1 | 0 | 79430 | - | 93M| 0 |1783 |2478 |7163 |2478 |7248 |2315 | 0 | 0 | 9.549342e+02 | -- | Inf
175.74/175.82 c 176s| 1 | 0 | 82005 | - | 95M| 0 |1847 |2478 |7163 |2478 |7076 |2338 | 0 | 0 | 9.574612e+02 | -- | Inf
180.74/180.87 c 181s| 1 | 0 | 83819 | - | 96M| 0 |1830 |2478 |7163 |2478 |7113 |2375 | 0 | 0 | 9.587323e+02 | -- | Inf
185.63/185.70 c 186s| 1 | 0 | 85934 | - | 98M| 0 |1873 |2478 |7163 |2478 |7150 |2412 | 0 | 0 | 9.606316e+02 | -- | Inf
192.04/192.16 c 192s| 1 | 0 | 88802 | - | 100M| 0 |1891 |2478 |7163 |2478 |7183 |2445 | 0 | 0 | 9.628157e+02 | -- | Inf
201.84/201.99 c 202s| 1 | 0 | 92644 | - | 102M| 0 |1862 |2478 |7163 |2478 |7231 |2493 | 0 | 0 | 9.722833e+02 | -- | Inf
209.33/209.46 c 209s| 1 | 0 | 95721 | - | 103M| 0 |1838 |2478 |7163 |2478 |7276 |2538 | 0 | 0 | 9.756948e+02 | -- | Inf
217.54/217.68 c 218s| 1 | 0 | 98935 | - | 106M| 0 |1886 |2478 |7163 |2478 |7176 |2603 | 0 | 0 | 9.897423e+02 | -- | Inf
221.73/221.80 c 222s| 1 | 0 |101060 | - | 109M| 0 |1760 |2478 |7163 |2478 |7209 |2636 | 0 | 0 | 9.919265e+02 | -- | Inf
226.93/227.03 c 227s| 1 | 0 |103810 | - | 110M| 0 |1973 |2478 |7163 |2478 |7262 |2689 | 0 | 0 | 9.936607e+02 | -- | Inf
232.42/232.59 c 232s| 1 | 0 |106309 | - | 112M| 0 |1956 |2478 |7163 |2478 |7297 |2724 | 0 | 0 | 9.955835e+02 | -- | Inf
241.23/241.35 c 241s| 1 | 0 |110158 | - | 113M| 0 |1925 |2478 |7163 |2478 |7353 |2780 | 0 | 0 | 1.002241e+03 | -- | Inf
246.03/246.11 c 246s| 1 | 0 |112393 | - | 115M| 0 |1946 |2478 |7163 |2478 |7396 |2823 | 0 | 0 | 1.005870e+03 | -- | Inf
251.32/251.42 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
251.32/251.42 c 251s| 1 | 0 |114626 | - | 119M| 0 |1962 |2478 |7163 |2478 |7258 |2854 | 0 | 0 | 1.006744e+03 | -- | Inf
259.92/260.09 c 260s| 1 | 0 |117988 | - | 120M| 0 |1958 |2478 |7163 |2478 |7301 |2897 | 0 | 0 | 1.009397e+03 | -- | Inf
267.72/267.88 c 268s| 1 | 0 |121228 | - | 123M| 0 |1993 |2478 |7163 |2478 |7330 |2926 | 0 | 0 | 1.010290e+03 | -- | Inf
276.51/276.69 c 277s| 1 | 0 |124913 | - | 125M| 0 |1961 |2478 |7163 |2478 |7365 |2961 | 0 | 0 | 1.013699e+03 | -- | Inf
287.52/287.64 c 288s| 1 | 0 |128795 | - | 125M| 0 |1927 |2478 |7163 |2478 |7420 |3016 | 0 | 0 | 1.023515e+03 | -- | Inf
297.91/298.09 c 298s| 1 | 0 |133147 | - | 127M| 0 |1972 |2478 |7163 |2478 |7467 |3063 | 0 | 0 | 1.030054e+03 | -- | Inf
304.00/304.10 c 304s| 1 | 0 |135948 | - | 129M| 0 |1960 |2478 |7163 |2478 |7271 |3112 | 0 | 0 | 1.034441e+03 | -- | Inf
308.92/309.00 c 309s| 1 | 0 |138095 | - | 130M| 0 |2013 |2478 |7163 |2478 |7316 |3157 | 0 | 0 | 1.036031e+03 | -- | Inf
318.21/318.33 c 318s| 1 | 0 |141633 | - | 131M| 0 |1992 |2478 |7163 |2478 |7363 |3204 | 0 | 0 | 1.039860e+03 | -- | Inf
323.60/323.79 c 324s| 1 | 0 |143942 | - | 132M| 0 |2040 |2478 |7163 |2478 |7409 |3250 | 0 | 0 | 1.042433e+03 | -- | Inf
335.20/335.40 c 335s| 1 | 0 |148375 | - | 133M| 0 |1914 |2478 |7163 |2478 |7471 |3312 | 0 | 0 | 1.052756e+03 | -- | Inf
340.91/341.05 c 341s| 1 | 0 |151104 | - | 135M| 0 |1960 |2478 |7163 |2478 |7512 |3353 | 0 | 0 | 1.056792e+03 | -- | Inf
346.01/346.13 c 346s| 1 | 0 |153386 | - | 138M| 0 |1925 |2478 |7163 |2478 |7371 |3390 | 0 | 0 | 1.059359e+03 | -- | Inf
351.30/351.49 c 351s| 1 | 0 |155792 | - | 141M| 0 |1964 |2478 |7163 |2478 |7404 |3423 | 0 | 0 | 1.060360e+03 | -- | Inf
358.80/358.97 c 359s| 1 | 0 |159024 | - | 142M| 0 |1961 |2478 |7163 |2478 |7457 |3476 | 0 | 0 | 1.063059e+03 | -- | Inf
365.00/365.14 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
365.00/365.14 c 365s| 1 | 0 |161899 | - | 144M| 0 |1935 |2478 |7163 |2478 |7499 |3518 | 0 | 0 | 1.066451e+03 | -- | Inf
370.80/370.90 c 371s| 1 | 0 |164499 | - | 145M| 0 |2023 |2478 |7163 |2478 |7558 |3577 | 0 | 0 | 1.068204e+03 | -- | Inf
376.59/376.78 c 377s| 1 | 0 |166928 | - | 147M| 0 |2001 |2478 |7163 |2478 |7603 |3622 | 0 | 0 | 1.069573e+03 | -- | Inf
386.19/386.31 c 386s| 1 | 0 |171028 | - | 149M| 0 |1992 |2478 |7163 |2478 |7403 |3669 | 0 | 0 | 1.071463e+03 | -- | Inf
393.49/393.61 c 393s| 1 | 0 |173937 | - | 150M| 0 |2059 |2478 |7163 |2478 |7446 |3712 | 0 | 0 | 1.072350e+03 | -- | Inf
402.87/403.02 c 403s| 1 | 0 |177476 | - | 151M| 0 |1968 |2478 |7163 |2478 |7511 |3777 | 0 | 0 | 1.079221e+03 | -- | Inf
410.57/410.70 c 411s| 1 | 0 |181104 | - | 153M| 0 |2066 |2478 |7163 |2478 |7564 |3830 | 0 | 0 | 1.081503e+03 | -- | Inf
421.47/421.62 c 422s| 1 | 0 |185504 | - | 153M| 0 |1929 |2478 |7163 |2478 |7626 |3892 | 0 | 0 | 1.093755e+03 | -- | Inf
427.46/427.68 c 428s| 1 | 0 |188286 | - | 154M| 0 |1978 |2478 |7163 |2478 |7674 |3940 | 0 | 0 | 1.096686e+03 | -- | Inf
434.57/434.77 c 435s| 1 | 0 |191367 | - | 156M| 0 |2044 |2478 |7163 |2478 |7475 |3989 | 0 | 0 | 1.100247e+03 | -- | Inf
443.67/443.85 c 444s| 1 | 0 |195521 | - | 157M| 0 |2043 |2478 |7163 |2478 |7522 |4036 | 0 | 0 | 1.104392e+03 | -- | Inf
449.17/449.38 c 449s| 1 | 0 |197724 | - | 159M| 0 |2092 |2478 |7163 |2478 |7573 |4087 | 0 | 0 | 1.106824e+03 | -- | Inf
453.47/453.68 c 454s| 1 | 0 |199766 | - | 161M| 0 |2088 |2478 |7163 |2478 |7606 |4120 | 0 | 0 | 1.109211e+03 | -- | Inf
458.13/458.55 c 458s| 1 | 0 |201800 | - | 162M| 0 |2080 |2478 |7163 |2478 |7641 |4155 | 0 | 0 | 1.110945e+03 | -- | Inf
462.61/463.01 c 463s| 1 | 0 |203767 | - | 164M| 0 |2080 |2478 |7163 |2478 |7674 |4188 | 0 | 0 | 1.112688e+03 | -- | Inf
467.80/468.27 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
467.80/468.27 c 468s| 1 | 0 |205799 | - | 166M| 0 |2072 |2478 |7163 |2478 |7468 |4232 | 0 | 0 | 1.114949e+03 | -- | Inf
474.80/475.20 c 475s| 1 | 0 |209012 | - | 168M| 0 |2050 |2478 |7163 |2478 |7501 |4265 | 0 | 0 | 1.116302e+03 | -- | Inf
480.99/481.43 c 481s| 1 | 0 |211875 | - | 169M| 0 |2122 |2478 |7163 |2478 |7555 |4319 | 0 | 0 | 1.119565e+03 | -- | Inf
486.59/487.09 c 487s| 1 | 0 |214378 | - | 171M| 0 |2147 |2478 |7163 |2478 |7594 |4358 | 0 | 0 | 1.121535e+03 | -- | Inf
498.09/498.50 c 498s| 1 | 0 |218810 | - | 171M| 0 |2082 |2478 |7163 |2478 |7651 |4415 | 0 | 0 | 1.129678e+03 | -- | Inf
506.28/506.70 c 507s| 1 | 0 |222301 | - | 172M| 0 |2065 |2478 |7163 |2478 |7706 |4470 | 0 | 0 | 1.134833e+03 | -- | Inf
511.78/512.25 c 512s| 1 | 0 |224792 | - | 173M| 0 |2054 |2478 |7163 |2478 |7481 |4518 | 0 | 0 | 1.136805e+03 | -- | Inf
516.69/517.18 c 517s| 1 | 0 |226906 | - | 174M| 0 |2122 |2478 |7163 |2478 |7516 |4553 | 0 | 0 | 1.137915e+03 | -- | Inf
521.99/522.44 c 522s| 1 | 0 |228937 | - | 175M| 0 |2108 |2478 |7163 |2478 |7562 |4599 | 0 | 0 | 1.139370e+03 | -- | Inf
527.88/528.39 c 528s| 1 | 0 |231178 | - | 175M| 0 |2163 |2478 |7163 |2478 |7604 |4641 | 0 | 0 | 1.144682e+03 | -- | Inf
533.59/534.02 c 534s| 1 | 0 |233118 | - | 176M| 0 |2100 |2478 |7163 |2478 |7642 |4679 | 0 | 0 | 1.149106e+03 | -- | Inf
542.88/543.34 c 543s| 1 | 0 |237269 | - | 176M| 0 |2090 |2478 |7163 |2478 |7685 |4722 | 0 | 0 | 1.152950e+03 | -- | Inf
549.08/549.50 c 549s| 1 | 0 |239764 | - | 178M| 0 |2073 |2478 |7163 |2478 |7551 |4759 | 0 | 0 | 1.155327e+03 | -- | Inf
552.58/553.04 c 553s| 1 | 0 |241687 | - | 178M| 0 |2031 |2478 |7163 |2478 |7582 |4790 | 0 | 0 | 1.156969e+03 | -- | Inf
556.37/556.83 c 557s| 1 | 0 |243683 | - | 179M| 0 |2046 |2478 |7163 |2478 |7618 |4826 | 0 | 0 | 1.157865e+03 | -- | Inf
562.88/563.37 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
562.88/563.37 c 563s| 1 | 0 |246754 | - | 180M| 0 |2178 |2478 |7163 |2478 |7657 |4865 | 0 | 0 | 1.158896e+03 | -- | Inf
571.37/571.83 c 572s| 1 | 0 |250054 | - | 181M| 0 |2095 |2478 |7163 |2478 |7710 |4918 | 0 | 0 | 1.165026e+03 | -- | Inf
578.17/578.65 c 579s| 1 | 0 |253335 | - | 183M| 0 |2123 |2478 |7163 |2478 |7738 |4946 | 0 | 0 | 1.167710e+03 | -- | Inf
588.87/589.34 c 589s| 1 | 0 |257931 | - | 184M| 0 |2102 |2478 |7163 |2478 |7493 |4973 | 0 | 0 | 1.170869e+03 | -- | Inf
593.77/594.20 c 594s| 1 | 0 |259760 | - | 185M| 0 |2088 |2478 |7163 |2478 |7526 |5006 | 0 | 0 | 1.171604e+03 | -- | Inf
601.36/601.89 c 602s| 1 | 0 |262712 | - | 185M| 0 |2055 |2478 |7163 |2478 |7592 |5072 | 0 | 0 | 1.178231e+03 | -- | Inf
606.57/607.07 c 607s| 1 | 0 |264986 | - | 186M| 0 |2076 |2478 |7163 |2478 |7622 |5102 | 0 | 0 | 1.182238e+03 | -- | Inf
611.96/612.44 c 612s| 1 | 0 |267190 | - | 187M| 0 |2071 |2478 |7163 |2478 |7658 |5138 | 0 | 0 | 1.184872e+03 | -- | Inf
615.36/615.86 c 616s| 1 | 0 |268460 | - | 188M| 0 |2055 |2478 |7163 |2478 |7681 |5161 | 0 | 0 | 1.185239e+03 | -- | Inf
621.16/621.63 c 622s| 1 | 0 |270517 | - | 189M| 0 |2149 |2478 |7163 |2478 |7564 |5217 | 0 | 0 | 1.189037e+03 | -- | Inf
627.16/627.66 c 628s| 1 | 0 |272977 | - | 189M| 0 |2086 |2478 |7163 |2478 |7592 |5245 | 0 | 0 | 1.191431e+03 | -- | Inf
631.47/631.91 c 632s| 1 | 0 |275393 | - | 190M| 0 |2087 |2478 |7163 |2478 |7616 |5269 | 0 | 0 | 1.192225e+03 | -- | Inf
635.06/635.55 c 635s| 1 | 0 |277078 | - | 185M| 0 |2073 |2478 |7163 |2478 |7648 |5301 | 0 | 0 | 1.193333e+03 | -- | Inf
640.46/640.94 c 641s| 1 | 0 |279621 | - | 183M| 0 |2072 |2478 |7163 |2478 |7694 |5347 | 0 | 0 | 1.196847e+03 | -- | Inf
646.15/646.61 c 646s| 1 | 0 |282429 | - | 178M| 0 |2048 |2478 |7163 |2478 |7730 |5383 | 0 | 0 | 1.198674e+03 | -- | Inf
649.65/650.17 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
649.65/650.17 c 650s| 1 | 0 |284433 | - | 176M| 0 |2064 |2478 |7163 |2478 |7520 |5416 | 0 | 0 | 1.200810e+03 | -- | Inf
653.36/653.85 c 654s| 1 | 0 |286178 | - | 175M| 0 |2036 |2478 |7163 |2478 |7544 |5440 | 0 | 0 | 1.202242e+03 | -- | Inf
656.66/657.20 c 657s| 1 | 0 |288002 | - | 174M| 0 |2115 |2478 |7163 |2478 |7569 |5465 | 0 | 0 | 1.202908e+03 | -- | Inf
661.55/662.00 c 662s| 1 | 0 |290010 | - | 171M| 0 |2069 |2478 |7163 |2478 |7600 |5496 | 0 | 0 | 1.204568e+03 | -- | Inf
663.95/664.48 c 664s| 1 | 0 |290846 | - | 169M| 0 |2078 |2478 |7163 |2478 |7624 |5520 | 0 | 0 | 1.204812e+03 | -- | Inf
667.35/667.82 c 668s| 1 | 0 |292485 | - | 165M| 0 |2090 |2478 |7163 |2478 |7640 |5536 | 0 | 0 | 1.204969e+03 | -- | Inf
674.14/674.66 c 675s| 1 | 0 |295590 | - | 162M| 0 |2142 |2478 |7163 |2478 |7482 |5558 | 0 | 0 | 1.206149e+03 | -- | Inf
679.05/679.58 c 679s| 1 | 0 |297244 | - | 157M| 0 |2074 |2478 |7163 |2478 |7516 |5592 | 0 | 0 | 1.207251e+03 | -- | Inf
683.65/684.13 c 684s| 1 | 0 |299259 | - | 155M| 0 |2078 |2478 |7163 |2478 |7542 |5618 | 0 | 0 | 1.208670e+03 | -- | Inf
688.84/689.32 c 689s| 1 | 0 |301520 | - | 154M| 0 |2062 |2478 |7163 |2478 |7583 |5659 | 0 | 0 | 1.212382e+03 | -- | Inf
695.04/695.54 c 695s| 1 | 0 |304007 | - | 152M| 0 |2046 |2478 |7163 |2478 |7627 |5703 | 0 | 0 | 1.215868e+03 | -- | Inf
698.65/699.18 c 699s| 1 | 0 |305870 | - | 150M| 0 |1978 |2478 |7163 |2478 |7662 |5738 | 0 | 0 | 1.216945e+03 | -- | Inf
701.64/702.12 c 702s| 1 | 0 |307278 | - | 149M| 0 |2029 |2478 |7163 |2478 |7532 |5760 | 0 | 0 | 1.217415e+03 | -- | Inf
704.84/705.37 c 705s| 1 | 0 |308430 | - | 147M| 0 |2112 |2478 |7163 |2478 |7551 |5779 | 0 | 0 | 1.217848e+03 | -- | Inf
711.44/711.96 c 712s| 1 | 0 |311106 | - | 144M| 0 |2034 |2478 |7163 |2478 |7602 |5830 | 0 | 0 | 1.223538e+03 | -- | Inf
715.13/715.66 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
715.13/715.66 c 716s| 1 | 0 |313249 | - | 144M| 0 |2083 |2478 |7163 |2478 |7621 |5849 | 0 | 0 | 1.224102e+03 | -- | Inf
718.34/718.83 c 719s| 1 | 0 |315013 | - | 145M| 0 |2068 |2478 |7163 |2478 |7640 |5868 | 0 | 0 | 1.224623e+03 | -- | Inf
721.64/722.13 c 722s| 1 | 0 |316527 | - | 145M| 0 |2106 |2478 |7163 |2478 |7655 |5883 | 0 | 0 | 1.225048e+03 | -- | Inf
726.83/727.30 c 727s| 1 | 0 |318576 | - | 143M| 0 |2083 |2478 |7163 |2478 |7546 |5920 | 0 | 0 | 1.226893e+03 | -- | Inf
734.04/734.55 c 734s| 1 | 0 |321871 | - | 142M| 0 |2032 |2478 |7163 |2478 |7575 |5949 | 0 | 0 | 1.229269e+03 | -- | Inf
736.94/737.46 c 737s| 1 | 0 |323356 | - | 142M| 0 |2046 |2478 |7163 |2478 |7594 |5968 | 0 | 0 | 1.230041e+03 | -- | Inf
741.93/742.41 c 742s| 1 | 0 |324974 | - | 141M| 0 |2054 |2478 |7163 |2478 |7613 |5987 | 0 | 0 | 1.231114e+03 | -- | Inf
746.84/747.31 c 747s| 1 | 0 |326889 | - | 140M| 0 |2040 |2478 |7163 |2478 |7633 |6007 | 0 | 0 | 1.232561e+03 | -- | Inf
751.03/751.52 c 751s| 1 | 0 |328244 | - | 139M| 0 |2049 |2478 |7163 |2478 |7685 |6059 | 0 | 0 | 1.233797e+03 | -- | Inf
755.63/756.13 c 756s| 1 | 0 |330070 | - | 138M| 0 |2056 |2478 |7163 |2478 |7532 |6080 | 0 | 0 | 1.234642e+03 | -- | Inf
757.93/758.48 c 758s| 1 | 0 |331291 | - | 138M| 0 |2049 |2478 |7163 |2478 |7549 |6097 | 0 | 0 | 1.235407e+03 | -- | Inf
760.43/760.95 c 761s| 1 | 0 |332803 | - | 138M| 0 |2066 |2478 |7163 |2478 |7566 |6114 | 0 | 0 | 1.236225e+03 | -- | Inf
763.33/763.89 c 764s| 1 | 0 |334532 | - | 138M| 0 |2056 |2478 |7163 |2478 |7589 |6137 | 0 | 0 | 1.236811e+03 | -- | Inf
768.13/768.66 c 769s| 1 | 0 |336475 | - | 138M| 0 |2090 |2478 |7163 |2478 |7621 |6169 | 0 | 0 | 1.237851e+03 | -- | Inf
771.13/771.65 c 772s| 1 | 0 |338375 | - | 137M| 0 |2103 |2478 |7163 |2478 |7648 |6196 | 0 | 0 | 1.238852e+03 | -- | Inf
776.22/776.79 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
776.22/776.79 c 777s| 1 | 0 |340419 | - | 136M| 0 |2076 |2478 |7163 |2478 |7545 |6241 | 0 | 0 | 1.241772e+03 | -- | Inf
780.23/780.77 c 781s| 1 | 0 |341471 | - | 134M| 0 |2070 |2478 |7163 |2478 |7562 |6258 | 0 | 0 | 1.242920e+03 | -- | Inf
784.23/784.78 c 785s| 1 | 0 |343010 | - | 132M| 0 |2083 |2478 |7163 |2478 |7578 |6274 | 0 | 0 | 1.243873e+03 | -- | Inf
787.02/787.52 c 787s| 1 | 0 |344009 | - | 131M| 0 |2108 |2478 |7163 |2478 |7592 |6288 | 0 | 0 | 1.243964e+03 | -- | Inf
791.22/791.72 c 792s| 1 | 0 |345260 | - | 129M| 0 |2090 |2478 |7163 |2478 |7603 |6299 | 0 | 0 | 1.244673e+03 | -- | Inf
793.31/793.86 c 794s| 1 | 0 |346042 | - | 127M| 0 |2099 |2478 |7163 |2478 |7618 |6314 | 0 | 0 | 1.245095e+03 | -- | Inf
797.12/797.63 c 798s| 1 | 0 |348215 | - | 126M| 0 |2110 |2478 |7163 |2478 |7488 |6328 | 0 | 0 | 1.245862e+03 | -- | Inf
802.42/802.97 c 803s| 1 | 0 |350656 | - | 125M| 0 |2099 |2478 |7163 |2478 |7510 |6350 | 0 | 0 | 1.247578e+03 | -- | Inf
805.82/806.38 c 806s| 1 | 0 |351990 | - | 124M| 0 |2098 |2478 |7163 |2478 |7526 |6366 | 0 | 0 | 1.248149e+03 | -- | Inf
810.32/810.86 c 811s| 1 | 0 |353381 | - | 123M| 0 |2078 |2478 |7163 |2478 |7538 |6378 | 0 | 0 | 1.248519e+03 | -- | Inf
813.31/813.84 c 814s| 1 | 0 |354858 | - | 122M| 0 |2084 |2478 |7163 |2478 |7557 |6397 | 0 | 0 | 1.248779e+03 | -- | Inf
815.21/815.72 c 816s| 1 | 0 |355404 | - | 119M| 0 |2081 |2478 |7163 |2478 |7573 |6413 | 0 | 0 | 1.248893e+03 | -- | Inf
820.71/821.26 c 821s| 1 | 0 |357553 | - | 118M| 0 |2098 |2478 |7163 |2478 |7454 |6431 | 0 | 0 | 1.249553e+03 | -- | Inf
824.62/825.11 c 825s| 1 | 0 |358904 | - | 115M| 0 |2095 |2478 |7163 |2478 |7480 |6457 | 0 | 0 | 1.249902e+03 | -- | Inf
827.71/828.25 c 828s| 1 | 0 |359584 | - | 114M| 0 |2104 |2478 |7163 |2478 |7496 |6473 | 0 | 0 | 1.250443e+03 | -- | Inf
830.71/831.24 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
830.71/831.24 c 831s| 1 | 0 |360190 | - | 113M| 0 |2094 |2478 |7163 |2478 |7505 |6482 | 0 | 0 | 1.250672e+03 | -- | Inf
834.51/835.09 c 835s| 1 | 0 |360742 | - | 112M| 0 |2087 |2478 |7163 |2478 |7513 |6490 | 0 | 0 | 1.250867e+03 | -- | Inf
837.91/838.41 c 838s| 1 | 0 |361661 | - | 110M| 0 |2090 |2478 |7163 |2478 |7525 |6502 | 0 | 0 | 1.251161e+03 | -- | Inf
842.80/843.32 c 843s| 1 | 0 |363351 | - | 109M| 0 |2097 |2478 |7163 |2478 |7455 |6514 | 0 | 0 | 1.252095e+03 | -- | Inf
847.51/848.08 c 848s| 1 | 0 |364806 | - | 109M| 0 |2083 |2478 |7163 |2478 |7461 |6520 | 0 | 0 | 1.252621e+03 | -- | Inf
852.01/852.54 c 852s| 1 | 0 |366283 | - | 108M| 0 |2078 |2478 |7163 |2478 |7478 |6537 | 0 | 0 | 1.253912e+03 | -- | Inf
853.61/854.11 c 854s| 1 | 0 |366629 | - | 107M| 0 |2072 |2478 |7163 |2478 |7490 |6549 | 0 | 0 | 1.253993e+03 | -- | Inf
855.21/855.74 c 856s| 1 | 0 |366946 | - | 106M| 0 |2075 |2478 |7163 |2478 |7493 |6552 | 0 | 0 | 1.254029e+03 | -- | Inf
859.01/859.59 c 859s| 1 | 0 |367720 | - | 102M| 0 |2085 |2478 |7163 |2478 |7501 |6560 | 0 | 0 | 1.254186e+03 | -- | Inf
862.60/863.19 c 863s| 1 | 0 |368132 | - | 100M| 0 |2075 |2478 |7163 |2478 |7418 |6567 | 0 | 0 | 1.254218e+03 | -- | Inf
867.11/867.68 c 868s| 1 | 0 |369179 | - | 99M| 0 |2068 |2478 |7163 |2478 |7422 |6571 | 0 | 0 | 1.254328e+03 | -- | Inf
871.70/872.25 c 872s| 1 | 0 |370407 | - | 97M| 0 |2080 |2478 |7163 |2478 |7430 |6579 | 0 | 0 | 1.254428e+03 | -- | Inf
875.40/875.97 c 876s| 1 | 0 |370901 | - | 97M| 0 |2057 |2478 |7163 |2478 |7438 |6587 | 0 | 0 | 1.254482e+03 | -- | Inf
880.90/881.45 c 881s| 1 | 0 |372999 | - | 96M| 0 |2084 |2478 |7163 |2478 |7461 |6610 | 0 | 0 | 1.255260e+03 | -- | Inf
884.10/884.65 c 885s| 1 | 0 |373286 | - | 95M| 0 |2076 |2478 |7163 |2478 |7473 |6622 | 0 | 0 | 1.255358e+03 | -- | Inf
887.50/888.07 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
887.50/888.07 c 888s| 1 | 0 |373606 | - | 93M| 0 |2083 |2478 |7163 |2478 |7420 |6630 | 0 | 0 | 1.255563e+03 | -- | Inf
891.10/891.64 c 892s| 1 | 0 |374073 | - | 91M| 0 |2073 |2478 |7163 |2478 |7429 |6639 | 0 | 0 | 1.255893e+03 | -- | Inf
895.40/895.95 c 896s| 1 | 0 |375417 | - | 91M| 0 |2092 |2478 |7163 |2478 |7439 |6649 | 0 | 0 | 1.256010e+03 | -- | Inf
900.70/901.26 c 901s| 1 | 0 |377143 | - | 89M| 0 |2040 |2478 |7163 |2478 |7456 |6666 | 0 | 0 | 1.256645e+03 | -- | Inf
902.69/903.25 c 903s| 1 | 0 |377984 | - | 90M| 0 |2075 |2478 |7163 |2478 |7474 |6684 | 0 | 0 | 1.256848e+03 | -- | Inf
907.00/907.50 c 907s| 1 | 0 |379006 | - | 88M| 0 |2077 |2478 |7163 |2478 |7482 |6692 | 0 | 0 | 1.256987e+03 | -- | Inf
911.49/912.05 c 912s| 1 | 0 |380308 | - | 87M| 0 |2070 |2478 |7163 |2478 |7458 |6712 | 0 | 0 | 1.257757e+03 | -- | Inf
913.39/913.99 c 914s| 1 | 0 |380703 | - | 87M| 0 |2059 |2478 |7163 |2478 |7472 |6726 | 0 | 0 | 1.257769e+03 | -- | Inf
916.69/917.29 c 917s| 1 | 0 |380991 | - | 85M| 0 |2081 |2478 |7163 |2478 |7479 |6733 | 0 | 0 | 1.258222e+03 | -- | Inf
921.99/922.55 c 922s| 1 | 0 |382776 | - | 83M| 0 |2099 |2478 |7163 |2478 |7489 |6743 | 0 | 0 | 1.258547e+03 | -- | Inf
924.39/924.93 c 925s| 1 | 0 |383368 | - | 82M| 0 |2057 |2478 |7163 |2478 |7500 |6754 | 0 | 0 | 1.258631e+03 | -- | Inf
926.09/926.63 c 927s| 1 | 0 |383944 | - | 82M| 0 |2067 |2478 |7163 |2478 |7510 |6764 | 0 | 0 | 1.258671e+03 | -- | Inf
930.78/931.33 c 931s| 1 | 0 |385611 | - | 80M| 0 |2090 |2478 |7163 |2478 |7465 |6777 | 0 | 0 | 1.259415e+03 | -- | Inf
934.58/935.12 c 935s| 1 | 0 |386098 | - | 78M| 0 |2079 |2478 |7163 |2478 |7477 |6789 | 0 | 0 | 1.259441e+03 | -- | Inf
938.69/939.24 c 939s| 1 | 0 |386776 | - | 77M| 0 |2097 |2478 |7163 |2478 |7489 |6801 | 0 | 0 | 1.259588e+03 | -- | Inf
942.69/943.27 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
942.69/943.27 c 943s| 1 | 0 |387660 | - | 75M| 0 |2111 |2478 |7163 |2478 |7495 |6807 | 0 | 0 | 1.259686e+03 | -- | Inf
945.38/945.90 c 946s| 1 | 0 |387681 | - | 75M| 0 |2108 |2478 |7163 |2478 |7497 |6809 | 0 | 0 | 1.259686e+03 | -- | Inf
948.28/948.86 c 949s| 1 | 0 |388022 | - | 74M| 0 |2084 |2478 |7163 |2478 |7498 |6810 | 0 | 0 | 1.259698e+03 | -- | Inf
950.88/951.41 c 951s| 1 | 0 |388196 | - | 73M| 0 |2070 |2478 |7163 |2478 |7432 |6812 | 0 | 0 | 1.259703e+03 | -- | Inf
954.68/955.29 c 955s| 1 | 0 |389229 | - | 73M| 0 |2091 |2478 |7163 |2478 |7436 |6816 | 0 | 0 | 1.259820e+03 | -- | Inf
958.18/958.77 c 959s| 1 | 0 |389335 | - | 72M| 0 |2081 |2478 |7163 |2478 |7437 |6817 | 0 | 0 | 1.259831e+03 | -- | Inf
962.18/962.72 c 963s| 1 | 0 |389833 | - | 71M| 0 |2100 |2478 |7163 |2478 |7439 |6819 | 0 | 0 | 1.259874e+03 | -- | Inf
967.08/967.64 c 968s| 1 | 0 |391652 | - | 71M| 0 |2058 |2478 |7163 |2478 |7461 |6841 | 0 | 0 | 1.260825e+03 | -- | Inf
971.07/971.63 c 972s| 1 | 0 |394214 | - | 71M| 0 |2090 |2478 |7163 |2478 |7475 |6855 | 0 | 0 | 1.261762e+03 | -- | Inf
975.59/976.19 c 976s| 1 | 0 |395367 | - | 70M| 0 |2096 |2478 |7163 |2478 |7423 |6865 | 0 | 0 | 1.262124e+03 | -- | Inf
979.27/979.84 c 980s| 1 | 0 |396301 | - | 69M| 0 |2087 |2478 |7163 |2478 |7434 |6876 | 0 | 0 | 1.262165e+03 | -- | Inf
983.77/984.32 c 984s| 1 | 0 |397433 | - | 68M| 0 |2005 |2478 |7163 |2478 |7449 |6891 | 0 | 0 | 1.262422e+03 | -- | Inf
987.97/988.53 c 988s| 1 | 0 |398982 | - | 68M| 0 |2039 |2478 |7163 |2478 |7462 |6904 | 0 | 0 | 1.262643e+03 | -- | Inf
992.87/993.43 c 993s| 1 | 0 |400652 | - | 68M| 0 |2083 |2478 |7163 |2478 |7474 |6916 | 0 | 0 | 1.262955e+03 | -- | Inf
996.58/997.16 c 997s| 1 | 0 |400926 | - | 66M| 0 |2082 |2478 |7163 |2478 |7480 |6922 | 0 | 0 | 1.262965e+03 | -- | Inf
1001.67/1002.26 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1001.67/1002.26 c 1002s| 1 | 0 |402677 | - | 65M| 0 |2073 |2478 |7163 |2478 |7477 |6939 | 0 | 0 | 1.263513e+03 | -- | Inf
1005.97/1006.53 c 1006s| 1 | 0 |403994 | - | 64M| 0 |2087 |2478 |7163 |2478 |7491 |6953 | 0 | 0 | 1.263985e+03 | -- | Inf
1009.36/1009.94 c 1010s| 1 | 0 |404744 | - | 64M| 0 |2075 |2478 |7163 |2478 |7515 |6977 | 0 | 0 | 1.265399e+03 | -- | Inf
1011.47/1012.01 c 1012s| 1 | 0 |405502 | - | 63M| 0 |2084 |2478 |7163 |2478 |7523 |6985 | 0 | 0 | 1.265505e+03 | -- | Inf
1016.37/1016.92 c 1017s| 1 | 0 |406716 | - | 63M| 0 |2105 |2478 |7163 |2478 |7531 |6993 | 0 | 0 | 1.266088e+03 | -- | Inf
1021.56/1022.10 c 1022s| 1 | 0 |407852 | - | 63M| 0 |2120 |2478 |7163 |2478 |7539 |7001 | 0 | 0 | 1.266456e+03 | -- | Inf
1027.16/1027.71 c 1028s| 1 | 0 |409768 | - | 62M| 0 |2140 |2478 |7163 |2478 |7463 |7007 | 0 | 0 | 1.266956e+03 | -- | Inf
1031.67/1032.29 c 1032s| 1 | 0 |410796 | - | 61M| 0 |2112 |2478 |7163 |2478 |7467 |7011 | 0 | 0 | 1.267470e+03 | -- | Inf
1036.76/1037.32 c 1037s| 1 | 0 |412189 | - | 60M| 0 |2109 |2478 |7163 |2478 |7469 |7013 | 0 | 0 | 1.267524e+03 | -- | Inf
1039.96/1040.53 c 1040s| 1 | 0 |412862 | - | 60M| 0 |2123 |2478 |7163 |2478 |7475 |7019 | 0 | 0 | 1.267655e+03 | -- | Inf
1046.36/1046.97 c 1047s| 1 | 0 |415790 | - | 60M| 0 |2111 |2478 |7163 |2478 |7480 |7024 | 0 | 0 | 1.268545e+03 | -- | Inf
1051.26/1051.85 c 1052s| 1 | 0 |417596 | - | 60M| 0 |2141 |2478 |7163 |2478 |7485 |7029 | 0 | 0 | 1.269234e+03 | -- | Inf
1055.75/1056.37 c 1056s| 1 | 0 |418174 | - | 58M| 0 |2070 |2478 |7163 |2478 |7439 |7050 | 0 | 0 | 1.269290e+03 | -- | Inf
1060.46/1061.06 c 1061s| 1 | 0 |419790 | - | 57M| 0 |2112 |2478 |7163 |2478 |7449 |7060 | 0 | 0 | 1.269494e+03 | -- | Inf
1063.15/1063.74 c 1064s| 1 | 0 |420861 | - | 56M| 0 |2103 |2478 |7163 |2478 |7463 |7074 | 0 | 0 | 1.269893e+03 | -- | Inf
1065.25/1065.81 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1065.25/1065.81 c 1066s| 1 | 0 |421343 | - | 56M| 0 |2078 |2478 |7163 |2478 |7471 |7082 | 0 | 0 | 1.269922e+03 | -- | Inf
1068.85/1069.50 c 1069s| 1 | 0 |421783 | - | 56M| 0 |2127 |2478 |7163 |2478 |7476 |7087 | 0 | 0 | 1.270151e+03 | -- | Inf
1073.15/1073.73 c 1074s| 1 | 0 |422254 | - | 55M| 0 |2122 |2478 |7163 |2478 |7483 |7094 | 0 | 0 | 1.270153e+03 | -- | Inf
1077.96/1078.55 c 1078s| 1 | 0 |423467 | - | 54M| 0 |2059 |2478 |7163 |2478 |7460 |7103 | 0 | 0 | 1.270378e+03 | -- | Inf
1082.26/1082.80 c 1083s| 1 | 0 |424455 | - | 55M| 0 |2108 |2478 |7163 |2478 |7467 |7110 | 0 | 0 | 1.270480e+03 | -- | Inf
1089.35/1089.98 c 1090s| 1 | 0 |427263 | - | 54M| 0 |2094 |2478 |7163 |2478 |7474 |7117 | 0 | 0 | 1.270635e+03 | -- | Inf
1094.84/1095.49 c 1095s| 1 | 0 |429659 | - | 54M| 0 |2077 |2478 |7163 |2478 |7483 |7126 | 0 | 0 | 1.270805e+03 | -- | Inf
1099.85/1100.44 c 1100s| 1 | 0 |431493 | - | 54M| 0 |2051 |2478 |7163 |2478 |7493 |7136 | 0 | 0 | 1.271195e+03 | -- | Inf
1102.85/1103.44 c 1103s| 1 | 0 |432797 | - | 53M| 0 |2065 |2478 |7163 |2478 |7507 |7150 | 0 | 0 | 1.271266e+03 | -- | Inf
1108.45/1109.05 c 1109s| 1 | 0 |434674 | - | 52M| 0 |2082 |2478 |7163 |2478 |7469 |7160 | 0 | 0 | 1.272282e+03 | -- | Inf
1113.34/1113.95 c 1114s| 1 | 0 |436423 | - | 50M| 0 |2059 |2478 |7163 |2478 |7474 |7165 | 0 | 0 | 1.272423e+03 | -- | Inf
1117.84/1118.42 c 1118s| 1 | 0 |437498 | - | 50M| 0 |1993 |2478 |7163 |2478 |7478 |7169 | 0 | 0 | 1.272643e+03 | -- | Inf
1121.44/1122.08 c 1122s| 1 | 0 |438211 | - | 49M| 0 |2093 |2478 |7163 |2478 |7491 |7182 | 0 | 0 | 1.272727e+03 | -- | Inf
1126.54/1127.18 c 1127s| 1 | 0 |439470 | - | 48M| 0 |2039 |2478 |7163 |2478 |7500 |7191 | 0 | 0 | 1.273019e+03 | -- | Inf
1130.04/1130.63 c 1131s| 1 | 0 |439538 | - | 47M| 0 |2034 |2478 |7163 |2478 |7502 |7193 | 0 | 0 | 1.273019e+03 | -- | Inf
1133.74/1134.37 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1133.74/1134.37 c 1134s| 1 | 0 |439583 | - | 46M| 0 |2038 |2478 |7163 |2478 |7474 |7194 | 0 | 0 | 1.273019e+03 | -- | Inf
1137.53/1138.15 c 1138s| 1 | 0 |439712 | - | 46M| 0 |2030 |2478 |7163 |2478 |7476 |7196 | 0 | 0 | 1.273019e+03 | -- | Inf
1158.14/1158.80 c 1159s| 1 | 2 |439712 | - | 46M| 0 |2030 |2478 |7163 |2478 |7476 |7196 | 0 | 23 | 1.273019e+03 | -- | Inf
1789.39/1790.12 c
1789.39/1790.12 c SCIP Status : solving was interrupted [time limit reached]
1789.39/1790.12 c Solving Time (sec) : 1790.01
1789.39/1790.12 c Solving Nodes : 62
1789.39/1790.12 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1789.39/1790.12 c Dual Bound : +1.27464889658299e+03
1789.39/1790.12 c Gap : infinite
1789.39/1790.12 s UNKNOWN
1789.39/1790.12 c SCIP Status : solving was interrupted [time limit reached]
1789.39/1790.12 c Solving Time : 1790.01
1789.39/1790.12 c Original Problem :
1789.39/1790.12 c Problem name : HOME/instance-2703436-1278554066.opb
1789.39/1790.12 c Variables : 2666 (2666 binary, 0 integer, 0 implicit integer, 0 continuous)
1789.39/1790.12 c Constraints : 6659 initial, 6659 maximal
1789.39/1790.12 c Presolved Problem :
1789.39/1790.12 c Problem name : t_HOME/instance-2703436-1278554066.opb
1789.39/1790.12 c Variables : 2478 (2478 binary, 0 integer, 0 implicit integer, 0 continuous)
1789.39/1790.12 c Constraints : 6345 initial, 7197 maximal
1789.39/1790.12 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1789.39/1790.12 c trivial : 0.01 0 0 0 0 0 0 0 0
1789.39/1790.12 c dualfix : 0.00 0 0 0 0 0 0 0 0
1789.39/1790.12 c boundshift : 0.00 0 0 0 0 0 0 0 0
1789.39/1790.12 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1789.39/1790.12 c implics : 0.01 0 3 0 0 0 0 0 0
1789.39/1790.12 c probing : 0.53 2 183 0 0 0 0 0 0
1789.39/1790.12 c setppc : 0.05 0 0 0 0 0 190 0 0
1789.39/1790.12 c linear : 0.10 0 0 0 0 0 122 122 0
1789.39/1790.12 c logicor : 0.14 0 0 0 0 0 2 0 0
1789.39/1790.12 c root node : - 0 - - 0 - - - -
1789.39/1790.12 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1789.39/1790.12 c integral : 0 0 0 63 0 0 1 0 0 124
1789.39/1790.12 c setppc : 1515 227 6326 0 0 9 74 0 0 0
1789.39/1790.12 c linear : 0+ 227 2480 0 0 0 0 292 0 0
1789.39/1790.12 c logicor : 4830+ 227 4365 0 0 11 89 0 0 0
1789.39/1790.12 c countsols : 0 0 0 0 0 0 0 0 0 0
1789.39/1790.12 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1789.39/1790.12 c integral : 418.18 0.00 0.00 418.18 0.00
1789.39/1790.12 c setppc : 0.51 0.06 0.44 0.00 0.00
1789.39/1790.12 c linear : 0.38 0.30 0.08 0.00 0.00
1789.39/1790.12 c logicor : 0.21 0.16 0.05 0.00 0.00
1789.39/1790.12 c countsols : 0.00 0.00 0.00 0.00 0.00
1789.39/1790.12 c Propagators : Time Calls Cutoffs DomReds
1789.39/1790.12 c vbounds : 0.01 2 0 0
1789.39/1790.12 c rootredcost : 0.00 0 0 0
1789.39/1790.12 c pseudoobj : 0.30 2718 0 0
1789.39/1790.12 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1789.39/1790.12 c propagation : 0.00 18 18 24 8.0 3 11.0 -
1789.39/1790.12 c infeasible LP : 0.01 7 7 9 21.0 1 4.0 0
1789.39/1790.12 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1789.39/1790.12 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1789.39/1790.12 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1789.39/1790.12 c applied globally : - - - 34 10.8 - - -
1789.39/1790.12 c applied locally : - - - 0 0.0 - - -
1789.39/1790.12 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1789.39/1790.12 c cut pool : 9.61 226 - - 6989 - (maximal pool size: 37211)
1789.39/1790.12 c redcost : 0.07 289 0 0 0 0
1789.39/1790.12 c impliedbounds : 0.29 227 0 0 2332 0
1789.39/1790.12 c intobj : 0.00 0 0 0 0 0
1789.39/1790.12 c cgmip : 0.00 0 0 0 0 0
1789.39/1790.12 c gomory : 419.17 227 0 0 89737 0
1789.39/1790.12 c strongcg : 9.52 20 0 0 10000 0
1789.39/1790.12 c cmir : 0.88 10 0 0 0 0
1789.39/1790.12 c flowcover : 0.89 10 0 0 0 0
1789.39/1790.12 c clique : 0.55 227 0 0 70 0
1789.39/1790.12 c zerohalf : 0.00 0 0 0 0 0
1789.39/1790.12 c mcf : 0.01 1 0 0 0 0
1789.39/1790.12 c rapidlearning : 2.58 1 0 0 0 818
1789.39/1790.12 c Pricers : Time Calls Vars
1789.39/1790.12 c problem variables: 0.00 0 0
1789.39/1790.12 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1789.39/1790.12 c relpscost : 418.18 63 0 1 0 0 124
1789.39/1790.12 c pscost : 0.00 0 0 0 0 0 0
1789.39/1790.12 c inference : 0.00 0 0 0 0 0 0
1789.39/1790.12 c mostinf : 0.00 0 0 0 0 0 0
1789.39/1790.12 c leastinf : 0.00 0 0 0 0 0 0
1789.39/1790.12 c fullstrong : 0.00 0 0 0 0 0 0
1789.39/1790.12 c allfullstrong : 0.00 0 0 0 0 0 0
1789.39/1790.12 c random : 0.00 0 0 0 0 0 0
1789.39/1790.12 c Primal Heuristics : Time Calls Found
1789.39/1790.12 c LP solutions : 0.00 - 0
1789.39/1790.12 c pseudo solutions : 0.00 - 0
1789.39/1790.12 c oneopt : 0.00 0 0
1789.39/1790.12 c crossover : 0.00 0 0
1789.39/1790.12 c linesearchdiving : 6.11 1 0
1789.39/1790.13 c objpscostdiving : 90.36 1 0
1789.39/1790.13 c rootsoldiving : 18.41 1 0
1789.39/1790.13 c coefdiving : 13.18 2 0
1789.39/1790.13 c pscostdiving : 17.58 2 0
1789.39/1790.13 c fracdiving : 12.85 2 0
1789.39/1790.13 c veclendiving : 8.97 2 0
1789.39/1790.13 c trivial : 0.01 2 0
1789.39/1790.13 c simplerounding : 0.00 0 0
1789.39/1790.13 c zirounding : 0.07 62 0
1789.39/1790.13 c rounding : 0.30 132 0
1789.39/1790.13 c shifting : 2.31 100 0
1789.39/1790.13 c intshifting : 0.00 0 0
1789.39/1790.13 c twoopt : 0.00 0 0
1789.39/1790.13 c fixandinfer : 0.00 0 0
1789.39/1790.13 c feaspump : 7.86 1 0
1789.39/1790.13 c intdiving : 0.00 0 0
1789.39/1790.13 c actconsdiving : 0.00 0 0
1789.39/1790.13 c guideddiving : 0.00 0 0
1789.39/1790.13 c octane : 0.00 0 0
1789.39/1790.13 c rens : 0.01 0 0
1789.39/1790.13 c rins : 0.00 0 0
1789.39/1790.13 c localbranching : 0.00 0 0
1789.39/1790.13 c mutation : 0.00 0 0
1789.39/1790.13 c dins : 0.00 0 0
1789.39/1790.13 c undercover : 0.00 0 0
1789.39/1790.13 c nlp : 0.00 0 0
1789.39/1790.13 c trysol : 0.00 0 0
1789.39/1790.13 c LP : Time Calls Iterations Iter/call Iter/sec
1789.39/1790.13 c primal LP : 0.50 0 0 0.00 0.00
1789.39/1790.13 c dual LP : 745.03 289 489972 1695.40 657.66
1789.39/1790.13 c lex dual LP : 0.00 0 0 0.00 -
1789.39/1790.13 c barrier LP : 0.00 0 0 0.00 -
1789.39/1790.13 c diving/probing LP: 170.98 1147 138835 121.04 811.97
1789.39/1790.13 c strong branching : 418.08 819 346745 423.38 829.37
1789.39/1790.13 c (at root node) : - 23 11726 509.83 -
1789.39/1790.13 c conflict analysis: 0.00 0 0 0.00 -
1789.39/1790.13 c B&B Tree :
1789.39/1790.13 c number of runs : 1
1789.39/1790.13 c nodes : 62
1789.39/1790.13 c nodes (total) : 62
1789.39/1790.13 c nodes left : 63
1789.39/1790.13 c max depth : 13
1789.39/1790.13 c max depth (total): 13
1789.39/1790.13 c backtracks : 11 (17.7%)
1789.39/1790.13 c delayed cutoffs : 0
1789.39/1790.13 c repropagations : 0 (0 domain reductions, 0 cutoffs)
1789.39/1790.13 c avg switch length: 2.61
1789.39/1790.13 c switching time : 0.04
1789.39/1790.13 c Solution :
1789.39/1790.13 c Solutions found : 0 (0 improvements)
1789.39/1790.13 c Primal Bound : -
1789.39/1790.13 c Dual Bound : +1.27464889658299e+03
1789.39/1790.13 c Gap : infinite
1789.39/1790.13 c Root Dual Bound : +1.27301878430076e+03
1789.39/1790.13 c Root Iterations : 439712
1789.49/1790.25 c Time complete: 1789.53.