0.00/0.00 c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Clp 1.11.1] [Expressions interpreter: NONE]
0.00/0.00 c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c user parameter file <scip.set> not found - using default parameters
0.00/0.00 c reading problem <HOME/instance-2665431-1276464451.opb>
0.09/0.13 c original problem has 2650 variables (2650 bin, 0 int, 0 impl, 0 cont) and 6619 constraints
0.09/0.13 c problem read
0.09/0.13 c presolving settings loaded
0.09/0.17 c presolving:
0.29/0.32 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.34 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.36 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.43 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.44 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.46 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.64 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.78 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.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.88
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.95 c
2.99/3.07 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
2.99/3.07 c 2.8s| 1 | 0 | 4639 | - | 15M| 0 |1735 |2462 |6490 |2462 |6303 | 0 | 0 | 0 | 7.947391e+02 | -- | Inf
5.40/5.46 c 5.2s| 1 | 0 | 7012 | - | 18M| 0 |2058 |2462 |6490 |2462 |6515 | 212 | 0 | 0 | 8.196923e+02 | -- | Inf
6.79/6.82 c 6.5s| 1 | 0 | 8249 | - | 20M| 0 |1982 |2462 |6490 |2462 |6593 | 290 | 0 | 0 | 8.241315e+02 | -- | Inf
7.79/7.88 c 7.5s| 1 | 0 | 9019 | - | 23M| 0 |2043 |2462 |6490 |2462 |6614 | 311 | 0 | 0 | 8.257163e+02 | -- | Inf
9.99/10.01 c 9.6s| 1 | 0 | 10397 | - | 25M| 0 |1644 |2462 |6490 |2462 |6663 | 360 | 0 | 0 | 8.395265e+02 | -- | Inf
10.99/11.03 c 10.6s| 1 | 0 | 11127 | - | 28M| 0 |1683 |2462 |6490 |2462 |6683 | 380 | 0 | 0 | 8.412426e+02 | -- | Inf
12.59/12.62 c 12.2s| 1 | 0 | 12342 | - | 29M| 0 |1653 |2462 |6490 |2462 |6700 | 397 | 0 | 0 | 8.430798e+02 | -- | Inf
14.20/14.23 c 13.8s| 1 | 0 | 13374 | - | 30M| 0 |1713 |2462 |6490 |2462 |6733 | 430 | 0 | 0 | 8.452736e+02 | -- | Inf
15.88/15.99 c 15.5s| 1 | 0 | 14662 | - | 32M| 0 |1718 |2462 |6490 |2462 |6770 | 467 | 0 | 0 | 8.503876e+02 | -- | Inf
17.78/17.85 c 17.4s| 1 | 0 | 15999 | - | 33M| 0 |2169 |2462 |6490 |2462 |6804 | 501 | 0 | 0 | 8.546617e+02 | -- | Inf
21.68/21.72 c 21.2s| 1 | 0 | 17643 | - | 38M| 0 |1786 |2462 |6490 |2462 |6869 | 566 | 0 | 0 | 8.751160e+02 | -- | Inf
23.19/23.25 c 22.7s| 1 | 0 | 18683 | - | 41M| 0 |1737 |2462 |6490 |2462 |6726 | 592 | 0 | 0 | 8.772142e+02 | -- | Inf
24.39/24.42 c 23.9s| 1 | 0 | 19431 | - | 42M| 0 |1665 |2462 |6490 |2462 |6761 | 627 | 0 | 0 | 8.798479e+02 | -- | Inf
26.59/26.64 c 26.1s| 1 | 0 | 20739 | - | 45M| 0 |1848 |2462 |6490 |2462 |6821 | 687 | 0 | 0 | 8.887073e+02 | -- | Inf
29.09/29.16 c 28.6s| 1 | 0 | 22400 | - | 47M| 0 |1713 |2462 |6490 |2462 |6864 | 730 | 0 | 0 | 8.933476e+02 | -- | Inf
31.48/31.50 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
31.48/31.50 c 30.9s| 1 | 0 | 23494 | - | 48M| 0 |1757 |2462 |6490 |2462 |6921 | 787 | 0 | 0 | 9.049943e+02 | -- | Inf
33.68/33.78 c 33.1s| 1 | 0 | 24880 | - | 52M| 0 |1772 |2462 |6490 |2462 |6950 | 816 | 0 | 0 | 9.082665e+02 | -- | Inf
36.88/36.95 c 36.3s| 1 | 0 | 26287 | - | 53M| 0 |1755 |2462 |6490 |2462 |6841 | 869 | 0 | 0 | 9.181710e+02 | -- | Inf
39.19/39.27 c 38.6s| 1 | 0 | 27717 | - | 56M| 0 |1789 |2462 |6490 |2462 |6879 | 907 | 0 | 0 | 9.215886e+02 | -- | Inf
42.68/42.74 c 42.0s| 1 | 0 | 29396 | - | 57M| 0 |1843 |2462 |6490 |2462 |6935 | 963 | 0 | 0 | 9.299534e+02 | -- | Inf
46.58/46.61 c 45.8s| 1 | 0 | 31059 | - | 58M| 0 |1805 |2462 |6490 |2462 |6995 |1023 | 0 | 0 | 9.386595e+02 | -- | Inf
49.97/50.00 c 49.2s| 1 | 0 | 33110 | - | 60M| 0 |1989 |2462 |6490 |2462 |7044 |1072 | 0 | 0 | 9.457320e+02 | -- | Inf
53.67/53.76 c 52.9s| 1 | 0 | 34949 | - | 60M| 0 |1917 |2462 |6490 |2462 |7102 |1130 | 0 | 0 | 9.564671e+02 | -- | Inf
56.68/56.79 c 55.9s| 1 | 0 | 36741 | - | 61M| 0 |1799 |2462 |6490 |2462 |6986 |1182 | 0 | 0 | 9.625682e+02 | -- | Inf
58.68/58.70 c 57.8s| 1 | 0 | 38015 | - | 62M| 0 |1941 |2462 |6490 |2462 |7031 |1227 | 0 | 0 | 9.659550e+02 | -- | Inf
60.49/60.54 c 59.6s| 1 | 0 | 39285 | - | 63M| 0 |1823 |2462 |6490 |2462 |7085 |1281 | 0 | 0 | 9.709933e+02 | -- | Inf
62.77/62.84 c 61.9s| 1 | 0 | 40604 | - | 64M| 0 |1822 |2462 |6490 |2462 |7142 |1338 | 0 | 0 | 9.759609e+02 | -- | Inf
65.38/65.46 c 64.5s| 1 | 0 | 42272 | - | 65M| 0 |1883 |2462 |6490 |2462 |7185 |1381 | 0 | 0 | 9.780368e+02 | -- | Inf
68.48/68.56 c 67.5s| 1 | 0 | 43914 | - | 66M| 0 |2006 |2462 |6490 |2462 |7237 |1433 | 0 | 0 | 9.805940e+02 | -- | Inf
72.68/72.71 c 71.6s| 1 | 0 | 45833 | - | 67M| 0 |1849 |2462 |6490 |2462 |7121 |1493 | 0 | 0 | 9.877912e+02 | -- | Inf
75.67/75.71 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
75.67/75.71 c 74.6s| 1 | 0 | 47492 | - | 68M| 0 |2025 |2462 |6490 |2462 |7175 |1547 | 0 | 0 | 9.927726e+02 | -- | Inf
79.97/80.07 c 78.9s| 1 | 0 | 49632 | - | 68M| 0 |1995 |2462 |6490 |2462 |7269 |1641 | 0 | 0 | 9.999006e+02 | -- | Inf
82.87/82.94 c 81.7s| 1 | 0 | 51138 | - | 69M| 0 |2001 |2462 |6490 |2462 |7330 |1702 | 0 | 0 | 1.005625e+03 | -- | Inf
86.78/86.81 c 85.6s| 1 | 0 | 52707 | - | 70M| 0 |1970 |2462 |6490 |2462 |7412 |1784 | 0 | 0 | 1.019120e+03 | -- | Inf
88.57/88.69 c 87.4s| 1 | 0 | 53832 | - | 71M| 0 |2056 |2462 |6490 |2462 |7443 |1815 | 0 | 0 | 1.021065e+03 | -- | Inf
91.37/91.48 c 90.2s| 1 | 0 | 55191 | - | 73M| 0 |2003 |2462 |6490 |2462 |7253 |1859 | 0 | 0 | 1.024681e+03 | -- | Inf
94.17/94.22 c 92.9s| 1 | 0 | 56622 | - | 74M| 0 |2053 |2462 |6490 |2462 |7310 |1916 | 0 | 0 | 1.029546e+03 | -- | Inf
97.47/97.57 c 96.2s| 1 | 0 | 58231 | - | 75M| 0 |2015 |2462 |6490 |2462 |7378 |1984 | 0 | 0 | 1.036527e+03 | -- | Inf
100.17/100.24 c 98.9s| 1 | 0 | 59774 | - | 77M| 0 |2167 |2462 |6490 |2462 |7431 |2037 | 0 | 0 | 1.040254e+03 | -- | Inf
104.17/104.25 c 103s| 1 | 0 | 61779 | - | 79M| 0 |2118 |2462 |6490 |2462 |7479 |2085 | 0 | 0 | 1.045659e+03 | -- | Inf
108.78/108.89 c 107s| 1 | 0 | 64211 | - | 79M| 0 |2032 |2462 |6490 |2462 |7560 |2166 | 0 | 0 | 1.056751e+03 | -- | Inf
112.86/112.96 c 111s| 1 | 0 | 66516 | - | 81M| 0 |2012 |2462 |6490 |2462 |7324 |2215 | 0 | 0 | 1.061743e+03 | -- | Inf
115.96/116.09 c 115s| 1 | 0 | 68373 | - | 82M| 0 |2157 |2462 |6490 |2462 |7378 |2269 | 0 | 0 | 1.065044e+03 | -- | Inf
120.97/121.08 c 119s| 1 | 0 | 70053 | - | 82M| 0 |2039 |2462 |6490 |2462 |7455 |2346 | 0 | 0 | 1.072844e+03 | -- | Inf
123.97/124.07 c 122s| 1 | 0 | 72016 | - | 84M| 0 |2103 |2462 |6490 |2462 |7512 |2403 | 0 | 0 | 1.076977e+03 | -- | Inf
127.96/128.08 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
127.96/128.08 c 126s| 1 | 0 | 74217 | - | 85M| 0 |2048 |2462 |6490 |2462 |7583 |2474 | 0 | 0 | 1.082095e+03 | -- | Inf
131.36/131.45 c 130s| 1 | 0 | 75743 | - | 86M| 0 |2080 |2462 |6490 |2462 |7659 |2550 | 0 | 0 | 1.088568e+03 | -- | Inf
135.86/135.93 c 134s| 1 | 0 | 77580 | - | 86M| 0 |2029 |2462 |6490 |2462 |7449 |2610 | 0 | 0 | 1.095749e+03 | -- | Inf
139.26/139.39 c 138s| 1 | 0 | 79487 | - | 87M| 0 |2022 |2462 |6490 |2462 |7507 |2668 | 0 | 0 | 1.099098e+03 | -- | Inf
142.75/142.80 c 141s| 1 | 0 | 81805 | - | 88M| 0 |2149 |2462 |6490 |2462 |7563 |2724 | 0 | 0 | 1.102099e+03 | -- | Inf
146.17/146.30 c 144s| 1 | 0 | 83457 | - | 88M| 0 |2125 |2462 |6490 |2462 |7624 |2785 | 0 | 0 | 1.105879e+03 | -- | Inf
150.35/150.41 c 148s| 1 | 0 | 85774 | - | 89M| 0 |2109 |2462 |6490 |2462 |7682 |2843 | 0 | 0 | 1.112370e+03 | -- | Inf
153.96/154.05 c 152s| 1 | 0 | 87749 | - | 90M| 0 |2149 |2462 |6490 |2462 |7750 |2911 | 0 | 0 | 1.118417e+03 | -- | Inf
157.45/157.59 c 156s| 1 | 0 | 89296 | - | 90M| 0 |2159 |2462 |6490 |2462 |7548 |2994 | 0 | 0 | 1.124763e+03 | -- | Inf
161.85/161.90 c 160s| 1 | 0 | 91740 | - | 91M| 0 |2228 |2462 |6490 |2462 |7612 |3058 | 0 | 0 | 1.129984e+03 | -- | Inf
165.55/165.64 c 164s| 1 | 0 | 94042 | - | 91M| 0 |2208 |2462 |6490 |2462 |7683 |3129 | 0 | 0 | 1.134240e+03 | -- | Inf
170.55/170.63 c 168s| 1 | 0 | 96355 | - | 92M| 0 |2138 |2462 |6490 |2462 |7765 |3211 | 0 | 0 | 1.141070e+03 | -- | Inf
173.65/173.76 c 172s| 1 | 0 | 98027 | - | 92M| 0 |2205 |2462 |6490 |2462 |7822 |3268 | 0 | 0 | 1.144746e+03 | -- | Inf
177.15/177.26 c 175s| 1 | 0 | 99836 | - | 93M| 0 |2048 |2462 |6490 |2462 |7877 |3323 | 0 | 0 | 1.151926e+03 | -- | Inf
179.45/179.55 c 177s| 1 | 0 |101474 | - | 93M| 0 |2128 |2462 |6490 |2462 |7641 |3381 | 0 | 0 | 1.153850e+03 | -- | Inf
183.34/183.47 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
183.34/183.47 c 181s| 1 | 0 |104136 | - | 94M| 0 |2162 |2462 |6490 |2462 |7705 |3445 | 0 | 0 | 1.158418e+03 | -- | Inf
186.35/186.44 c 184s| 1 | 0 |105915 | - | 94M| 0 |2110 |2462 |6490 |2462 |7788 |3528 | 0 | 0 | 1.161618e+03 | -- | Inf
190.35/190.46 c 188s| 1 | 0 |108931 | - | 95M| 0 |2212 |2462 |6490 |2462 |7836 |3576 | 0 | 0 | 1.163803e+03 | -- | Inf
195.15/195.22 c 193s| 1 | 0 |111422 | - | 95M| 0 |2160 |2462 |6490 |2462 |7895 |3635 | 0 | 0 | 1.168519e+03 | -- | Inf
200.54/200.65 c 198s| 1 | 0 |113317 | - | 95M| 0 |2159 |2462 |6490 |2462 |7937 |3677 | 0 | 0 | 1.171262e+03 | -- | Inf
203.65/203.75 c 201s| 1 | 0 |114692 | - | 96M| 0 |2165 |2462 |6490 |2462 |7623 |3709 | 0 | 0 | 1.173604e+03 | -- | Inf
207.75/207.81 c 205s| 1 | 0 |116060 | - | 96M| 0 |2123 |2462 |6490 |2462 |7670 |3756 | 0 | 0 | 1.174725e+03 | -- | Inf
210.65/210.79 c 208s| 1 | 0 |117662 | - | 97M| 0 |2155 |2462 |6490 |2462 |7721 |3807 | 0 | 0 | 1.177318e+03 | -- | Inf
214.44/214.53 c 212s| 1 | 0 |119362 | - | 97M| 0 |2006 |2462 |6490 |2462 |7767 |3853 | 0 | 0 | 1.179989e+03 | -- | Inf
216.65/216.78 c 214s| 1 | 0 |121179 | - | 98M| 0 |2137 |2462 |6490 |2462 |7821 |3907 | 0 | 0 | 1.181577e+03 | -- | Inf
219.94/220.04 c 217s| 1 | 0 |123542 | - | 98M| 0 |2166 |2462 |6490 |2462 |7878 |3964 | 0 | 0 | 1.185101e+03 | -- | Inf
223.64/223.78 c 221s| 1 | 0 |126180 | - | 99M| 0 |2198 |2462 |6490 |2462 |7577 |4011 | 0 | 0 | 1.189063e+03 | -- | Inf
228.64/228.70 c 226s| 1 | 0 |128398 | - | 100M| 0 |2157 |2462 |6490 |2462 |7612 |4046 | 0 | 0 | 1.191369e+03 | -- | Inf
233.24/233.38 c 231s| 1 | 0 |131418 | - | 100M| 0 |2153 |2462 |6490 |2462 |7678 |4112 | 0 | 0 | 1.194565e+03 | -- | Inf
236.23/236.36 c 234s| 1 | 0 |133738 | - | 101M| 0 |2159 |2462 |6490 |2462 |7736 |4170 | 0 | 0 | 1.196648e+03 | -- | Inf
239.84/239.97 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
239.84/239.97 c 237s| 1 | 0 |135816 | - | 101M| 0 |2123 |2462 |6490 |2462 |7811 |4245 | 0 | 0 | 1.200503e+03 | -- | Inf
242.83/242.94 c 240s| 1 | 0 |137811 | - | 102M| 0 |2119 |2462 |6490 |2462 |7871 |4305 | 0 | 0 | 1.203406e+03 | -- | Inf
245.93/246.03 c 243s| 1 | 0 |140135 | - | 103M| 0 |2166 |2462 |6490 |2462 |7658 |4350 | 0 | 0 | 1.204960e+03 | -- | Inf
250.33/250.40 c 247s| 1 | 0 |141895 | - | 103M| 0 |2133 |2462 |6490 |2462 |7704 |4396 | 0 | 0 | 1.209196e+03 | -- | Inf
252.94/253.09 c 250s| 1 | 0 |143023 | - | 104M| 0 |2107 |2462 |6490 |2462 |7748 |4440 | 0 | 0 | 1.211774e+03 | -- | Inf
255.24/255.38 c 252s| 1 | 0 |144403 | - | 104M| 0 |2136 |2462 |6490 |2462 |7792 |4484 | 0 | 0 | 1.213107e+03 | -- | Inf
258.13/258.25 c 255s| 1 | 0 |145743 | - | 105M| 0 |2120 |2462 |6490 |2462 |7836 |4528 | 0 | 0 | 1.214770e+03 | -- | Inf
260.03/260.11 c 257s| 1 | 0 |146749 | - | 105M| 0 |2129 |2462 |6490 |2462 |7869 |4561 | 0 | 0 | 1.215308e+03 | -- | Inf
262.33/262.48 c 259s| 1 | 0 |147847 | - | 106M| 0 |2142 |2462 |6490 |2462 |7665 |4611 | 0 | 0 | 1.217045e+03 | -- | Inf
266.03/266.13 c 263s| 1 | 0 |148860 | - | 106M| 0 |2142 |2462 |6490 |2462 |7701 |4647 | 0 | 0 | 1.218414e+03 | -- | Inf
269.43/269.59 c 266s| 1 | 0 |150840 | - | 107M| 0 |2127 |2462 |6490 |2462 |7733 |4679 | 0 | 0 | 1.221610e+03 | -- | Inf
272.42/272.55 c 269s| 1 | 0 |152574 | - | 107M| 0 |2106 |2462 |6490 |2462 |7780 |4726 | 0 | 0 | 1.223569e+03 | -- | Inf
275.03/275.14 c 272s| 1 | 0 |153864 | - | 107M| 0 |2160 |2462 |6490 |2462 |7829 |4775 | 0 | 0 | 1.225409e+03 | -- | Inf
278.32/278.40 c 275s| 1 | 0 |155300 | - | 108M| 0 |2097 |2462 |6490 |2462 |7886 |4832 | 0 | 0 | 1.229716e+03 | -- | Inf
279.73/279.87 c 277s| 1 | 0 |156294 | - | 108M| 0 |2118 |2462 |6490 |2462 |7623 |4860 | 0 | 0 | 1.230517e+03 | -- | Inf
281.53/281.68 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
281.53/281.68 c 278s| 1 | 0 |157429 | - | 109M| 0 |2081 |2462 |6490 |2462 |7650 |4887 | 0 | 0 | 1.231987e+03 | -- | Inf
283.43/283.52 c 280s| 1 | 0 |158737 | - | 110M| 0 |2107 |2462 |6490 |2462 |7685 |4922 | 0 | 0 | 1.233937e+03 | -- | Inf
284.84/284.93 c 282s| 1 | 0 |159580 | - | 111M| 0 |2102 |2462 |6490 |2462 |7712 |4949 | 0 | 0 | 1.234706e+03 | -- | Inf
286.62/286.70 c 283s| 1 | 0 |160520 | - | 112M| 0 |2109 |2462 |6490 |2462 |7741 |4978 | 0 | 0 | 1.235370e+03 | -- | Inf
288.73/288.86 c 286s| 1 | 0 |161670 | - | 113M| 0 |2085 |2462 |6490 |2462 |7780 |5017 | 0 | 0 | 1.238159e+03 | -- | Inf
290.73/290.83 c 287s| 1 | 0 |162797 | - | 113M| 0 |2143 |2462 |6490 |2462 |7590 |5058 | 0 | 0 | 1.240161e+03 | -- | Inf
292.82/292.99 c 290s| 1 | 0 |163726 | - | 114M| 0 |2121 |2462 |6490 |2462 |7614 |5082 | 0 | 0 | 1.241192e+03 | -- | Inf
294.73/294.85 c 291s| 1 | 0 |164690 | - | 114M| 0 |2145 |2462 |6490 |2462 |7642 |5110 | 0 | 0 | 1.242578e+03 | -- | Inf
297.92/298.08 c 295s| 1 | 0 |166343 | - | 115M| 0 |2116 |2462 |6490 |2462 |7672 |5140 | 0 | 0 | 1.244817e+03 | -- | Inf
299.82/299.97 c 297s| 1 | 0 |167538 | - | 115M| 0 |2078 |2462 |6490 |2462 |7699 |5167 | 0 | 0 | 1.245910e+03 | -- | Inf
302.02/302.15 c 299s| 1 | 0 |168410 | - | 116M| 0 |2044 |2462 |6490 |2462 |7741 |5209 | 0 | 0 | 1.246870e+03 | -- | Inf
304.53/304.64 c 301s| 1 | 0 |169610 | - | 116M| 0 |2105 |2462 |6490 |2462 |7574 |5240 | 0 | 0 | 1.248812e+03 | -- | Inf
307.72/307.81 c 304s| 1 | 0 |171029 | - | 114M| 0 |2126 |2462 |6490 |2462 |7591 |5257 | 0 | 0 | 1.250100e+03 | -- | Inf
310.92/311.07 c 308s| 1 | 0 |172352 | - | 112M| 0 |2125 |2462 |6490 |2462 |7614 |5280 | 0 | 0 | 1.250679e+03 | -- | Inf
314.12/314.25 c 311s| 1 | 0 |173052 | - | 110M| 0 |2109 |2462 |6490 |2462 |7633 |5299 | 0 | 0 | 1.250976e+03 | -- | Inf
316.22/316.31 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
316.22/316.31 c 313s| 1 | 0 |174188 | - | 108M| 0 |2120 |2462 |6490 |2462 |7647 |5313 | 0 | 0 | 1.252083e+03 | -- | Inf
318.92/319.06 c 315s| 1 | 0 |175364 | - | 106M| 0 |2123 |2462 |6490 |2462 |7673 |5339 | 0 | 0 | 1.253436e+03 | -- | Inf
322.12/322.20 c 319s| 1 | 0 |176494 | - | 104M| 0 |2101 |2462 |6490 |2462 |7546 |5362 | 0 | 0 | 1.254472e+03 | -- | Inf
323.91/324.04 c 320s| 1 | 0 |176956 | - | 103M| 0 |2094 |2462 |6490 |2462 |7571 |5387 | 0 | 0 | 1.255455e+03 | -- | Inf
325.91/326.00 c 322s| 1 | 0 |177583 | - | 102M| 0 |2078 |2462 |6490 |2462 |7597 |5413 | 0 | 0 | 1.257103e+03 | -- | Inf
328.01/328.12 c 324s| 1 | 0 |178290 | - | 101M| 0 |2093 |2462 |6490 |2462 |7605 |5421 | 0 | 0 | 1.258295e+03 | -- | Inf
330.02/330.14 c 326s| 1 | 0 |178388 | - | 96M| 0 |2099 |2462 |6490 |2462 |7611 |5427 | 0 | 0 | 1.258408e+03 | -- | Inf
332.21/332.33 c 329s| 1 | 0 |178777 | - | 93M| 0 |2066 |2462 |6490 |2462 |7615 |5431 | 0 | 0 | 1.258908e+03 | -- | Inf
334.32/334.44 c 331s| 1 | 0 |179379 | - | 92M| 0 |2065 |2462 |6490 |2462 |7469 |5446 | 0 | 0 | 1.259087e+03 | -- | Inf
336.42/336.50 c 333s| 1 | 0 |179548 | - | 89M| 0 |2072 |2462 |6490 |2462 |7475 |5452 | 0 | 0 | 1.259139e+03 | -- | Inf
338.41/338.58 c 335s| 1 | 0 |180058 | - | 88M| 0 |2076 |2462 |6490 |2462 |7478 |5455 | 0 | 0 | 1.259266e+03 | -- | Inf
340.31/340.50 c 337s| 1 | 0 |180413 | - | 87M| 0 |2045 |2462 |6490 |2462 |7485 |5462 | 0 | 0 | 1.259444e+03 | -- | Inf
342.41/342.58 c 339s| 1 | 0 |180936 | - | 84M| 0 |2045 |2462 |6490 |2462 |7504 |5481 | 0 | 0 | 1.259570e+03 | -- | Inf
343.92/344.00 c 340s| 1 | 0 |181265 | - | 83M| 0 |2054 |2462 |6490 |2462 |7510 |5487 | 0 | 0 | 1.259616e+03 | -- | Inf
345.51/345.69 c 342s| 1 | 0 |181304 | - | 80M| 0 |2053 |2462 |6490 |2462 |7408 |5490 | 0 | 0 | 1.259616e+03 | -- | Inf
347.21/347.31 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
347.21/347.31 c 344s| 1 | 0 |181356 | - | 80M| 0 |2055 |2462 |6490 |2462 |7412 |5494 | 0 | 0 | 1.259616e+03 | -- | Inf
349.21/349.34 c 346s| 1 | 0 |181861 | - | 78M| 0 |2052 |2462 |6490 |2462 |7414 |5496 | 0 | 0 | 1.259810e+03 | -- | Inf
350.41/350.55 c 347s| 1 | 0 |182070 | - | 78M| 0 |2051 |2462 |6490 |2462 |7422 |5504 | 0 | 0 | 1.259977e+03 | -- | Inf
352.01/352.14 c 348s| 1 | 0 |182523 | - | 77M| 0 |2048 |2462 |6490 |2462 |7427 |5509 | 0 | 0 | 1.260029e+03 | -- | Inf
353.80/353.98 c 350s| 1 | 0 |182806 | - | 76M| 0 |2053 |2462 |6490 |2462 |7431 |5513 | 0 | 0 | 1.260160e+03 | -- | Inf
355.81/355.96 c 352s| 1 | 0 |183036 | - | 75M| 0 |2061 |2462 |6490 |2462 |7393 |5517 | 0 | 0 | 1.260229e+03 | -- | Inf
357.81/357.95 c 354s| 1 | 0 |183615 | - | 75M| 0 |2090 |2462 |6490 |2462 |7397 |5521 | 0 | 0 | 1.260503e+03 | -- | Inf
359.62/359.78 c 356s| 1 | 0 |183759 | - | 75M| 0 |2054 |2462 |6490 |2462 |7406 |5530 | 0 | 0 | 1.260536e+03 | -- | Inf
361.31/361.42 c 358s| 1 | 0 |183778 | - | 73M| 0 |2058 |2462 |6490 |2462 |7410 |5534 | 0 | 0 | 1.260536e+03 | -- | Inf
363.30/363.40 c 359s| 1 | 0 |183864 | - | 72M| 0 |2055 |2462 |6490 |2462 |7414 |5538 | 0 | 0 | 1.260545e+03 | -- | Inf
365.12/365.27 c 361s| 1 | 0 |183945 | - | 71M| 0 |2056 |2462 |6490 |2462 |7418 |5542 | 0 | 0 | 1.260550e+03 | -- | Inf
367.01/367.18 c 363s| 1 | 0 |184425 | - | 71M| 0 |2050 |2462 |6490 |2462 |7393 |5547 | 0 | 0 | 1.260837e+03 | -- | Inf
369.00/369.18 c 365s| 1 | 0 |184815 | - | 70M| 0 |2063 |2462 |6490 |2462 |7407 |5561 | 0 | 0 | 1.261075e+03 | -- | Inf
370.90/371.04 c 367s| 1 | 0 |185218 | - | 70M| 0 |2066 |2462 |6490 |2462 |7422 |5576 | 0 | 0 | 1.261419e+03 | -- | Inf
372.71/372.88 c 369s| 1 | 0 |185479 | - | 69M| 0 |2091 |2462 |6490 |2462 |7430 |5584 | 0 | 0 | 1.261843e+03 | -- | Inf
374.81/374.93 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
374.81/374.93 c 371s| 1 | 0 |185864 | - | 68M| 0 |2084 |2462 |6490 |2462 |7447 |5601 | 0 | 0 | 1.262409e+03 | -- | Inf
376.40/376.57 c 373s| 1 | 0 |185890 | - | 66M| 0 |2082 |2462 |6490 |2462 |7451 |5605 | 0 | 0 | 1.262409e+03 | -- | Inf
378.21/378.32 c 374s| 1 | 0 |186039 | - | 65M| 0 |2062 |2462 |6490 |2462 |7429 |5610 | 0 | 0 | 1.262492e+03 | -- | Inf
380.10/380.25 c 376s| 1 | 0 |186587 | - | 64M| 0 |2057 |2462 |6490 |2462 |7432 |5613 | 0 | 0 | 1.263105e+03 | -- | Inf
382.01/382.11 c 378s| 1 | 0 |187042 | - | 63M| 0 |2061 |2462 |6490 |2462 |7441 |5622 | 0 | 0 | 1.263515e+03 | -- | Inf
383.90/384.03 c 380s| 1 | 0 |187389 | - | 61M| 0 |2049 |2462 |6490 |2462 |7451 |5632 | 0 | 0 | 1.263640e+03 | -- | Inf
386.10/386.20 c 382s| 1 | 0 |187880 | - | 61M| 0 |2044 |2462 |6490 |2462 |7457 |5638 | 0 | 0 | 1.263870e+03 | -- | Inf
387.90/388.01 c 384s| 1 | 0 |188138 | - | 59M| 0 |2045 |2462 |6490 |2462 |7465 |5646 | 0 | 0 | 1.263902e+03 | -- | Inf
389.70/389.88 c 386s| 1 | 0 |188185 | - | 58M| 0 |2038 |2462 |6490 |2462 |7417 |5648 | 0 | 0 | 1.263907e+03 | -- | Inf
396.80/396.97 c 393s| 1 | 2 |188185 | - | 58M| 0 |2038 |2462 |6490 |2462 |7417 |5648 | 0 | 18 | 1.263907e+03 | -- | Inf
455.08/455.29 c 450s| 10000 | 44 |188185 | 0.0 | 59M| 75 | - |2462 |6549 | 0 | 0 |5648 |6914 | 18 | 1.264359e+03 | -- | Inf
497.88/498.03 c 491s| 20000 | 43 |188185 | 0.0 | 59M| 75 | - |2462 |6554 | 0 | 0 |5648 | 13k| 18 | 1.264359e+03 | -- | Inf
543.56/543.71 c 536s| 30000 | 48 |188185 | 0.0 | 59M| 75 | - |2462 |6531 | 0 | 0 |5648 | 20k| 18 | 1.264359e+03 | -- | Inf
587.45/587.67 c 579s| 40000 | 42 |188185 | 0.0 | 59M| 75 | - |2462 |6574 | 0 | 0 |5648 | 26k| 18 | 1.264359e+03 | -- | Inf
635.94/636.16 c 626s| 50000 | 45 |188185 | 0.0 | 59M| 75 | - |2462 |6569 | 0 | 0 |5648 | 33k| 18 | 1.264359e+03 | -- | Inf
706.03/706.21 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
706.03/706.21 c 694s| 60000 | 47 |188185 | 0.0 | 59M| 75 | - |2462 |6542 | 0 | 0 |5648 | 40k| 18 | 1.264359e+03 | -- | Inf
767.91/768.16 c 755s| 70000 | 44 |188185 | 0.0 | 59M| 75 | - |2462 |6562 | 0 | 0 |5648 | 47k| 18 | 1.264359e+03 | -- | Inf
822.40/822.62 c 808s| 80000 | 46 |188185 | 0.0 | 59M| 75 | - |2462 |6556 | 0 | 0 |5648 | 53k| 18 | 1.264359e+03 | -- | Inf
865.88/866.11 c 850s| 90000 | 40 |188185 | 0.0 | 59M| 75 | - |2462 |6594 | 0 | 0 |5648 | 60k| 18 | 1.264359e+03 | -- | Inf
912.18/912.48 c 895s|100000 | 44 |188185 | 0.0 | 59M| 75 | - |2462 |6575 | 0 | 0 |5648 | 67k| 18 | 1.264359e+03 | -- | Inf
963.27/963.60 c 945s|110000 | 45 |188185 | 0.0 | 59M| 75 | - |2462 |6554 | 0 | 0 |5648 | 73k| 18 | 1.264359e+03 | -- | Inf
1011.66/1011.91 c 992s|120000 | 43 |188185 | 0.0 | 59M| 75 | - |2462 |6567 | 0 | 0 |5648 | 80k| 18 | 1.264359e+03 | -- | Inf
1058.14/1058.46 c 1038s|130000 | 42 |188185 | 0.0 | 59M| 75 | - |2462 |6577 | 0 | 0 |5648 | 87k| 18 | 1.264359e+03 | -- | Inf
1105.43/1105.79 c 1084s|140000 | 40 |188185 | 0.0 | 59M| 75 | - |2462 |6609 | 0 | 0 |5648 | 93k| 18 | 1.264359e+03 | -- | Inf
1161.11/1161.44 c 1138s|150000 | 44 |188185 | 0.0 | 59M| 75 | - |2462 |6587 | 0 | 0 |5648 | 100k| 18 | 1.264359e+03 | -- | Inf
1213.70/1214.01 c 1190s|160000 | 45 |188185 | 0.0 | 59M| 75 | - |2462 |6564 | 0 | 0 |5648 | 107k| 18 | 1.264359e+03 | -- | Inf
1268.00/1268.37 c 1243s|170000 | 40 |188185 | 0.0 | 59M| 75 | - |2462 |6601 | 0 | 0 |5648 | 113k| 18 | 1.264359e+03 | -- | Inf
1331.47/1331.89 c 1305s|180000 | 41 |188185 | 0.0 | 59M| 75 | - |2462 |6591 | 0 | 0 |5648 | 120k| 18 | 1.264359e+03 | -- | Inf
1394.37/1394.75 c 1366s|190000 | 40 |188185 | 0.0 | 59M| 75 | - |2462 |6625 | 0 | 0 |5648 | 127k| 18 | 1.264359e+03 | -- | Inf
1452.95/1453.38 c 1423s|200000 | 41 |188185 | 0.0 | 59M| 75 | - |2462 |6607 | 0 | 0 |5648 | 134k| 18 | 1.264359e+03 | -- | Inf
1531.73/1532.19 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1531.73/1532.19 c 1499s|210000 | 46 |188185 | 0.0 | 59M| 75 | - |2462 |6556 | 0 | 0 |5648 | 140k| 18 | 1.264359e+03 | -- | Inf
1591.62/1592.04 c 1558s|220000 | 44 |188185 | 0.0 | 59M| 75 | - |2462 |6563 | 0 | 0 |5648 | 147k| 18 | 1.264359e+03 | -- | Inf
1643.91/1644.38 c 1609s|230000 | 44 |188185 | 0.0 | 59M| 75 | - |2462 |6580 | 0 | 0 |5648 | 154k| 18 | 1.264359e+03 | -- | Inf
1699.10/1699.53 c 1663s|240000 | 45 |188185 | 0.0 | 59M| 75 | - |2462 |6598 | 0 | 0 |5648 | 161k| 18 | 1.264359e+03 | -- | Inf
1775.17/1775.64 c 1737s|250000 | 38 |188185 | 0.0 | 59M| 75 | - |2462 |6635 | 0 | 0 |5648 | 167k| 18 | 1.264359e+03 | -- | Inf
1800.08/1800.50 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.08/1800.50 c
1800.08/1800.50 c SCIP Status : solving was interrupted [user interrupt]
1800.08/1800.50 c Solving Time (sec) : 1761.07
1800.08/1800.50 c Solving Nodes : 254107
1800.08/1800.50 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1800.08/1800.50 c Dual Bound : +1.26435871460197e+03
1800.08/1800.50 c Gap : infinite
1800.08/1800.50 s UNKNOWN
1800.08/1800.50 c SCIP Status : solving was interrupted [user interrupt]
1800.08/1800.50 c Solving Time : 1761.07
1800.08/1800.50 c Original Problem :
1800.08/1800.50 c Problem name : HOME/instance-2665431-1276464451.opb
1800.08/1800.50 c Variables : 2650 (2650 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.08/1800.50 c Constraints : 6619 initial, 6619 maximal
1800.08/1800.50 c Presolved Problem :
1800.08/1800.50 c Problem name : t_HOME/instance-2665431-1276464451.opb
1800.08/1800.50 c Variables : 2462 (2462 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.08/1800.50 c Constraints : 6490 initial, 6656 maximal
1800.08/1800.50 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.08/1800.50 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.08/1800.50 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.08/1800.50 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.08/1800.50 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.08/1800.50 c implics : 0.00 0 3 0 0 0 0 0 0
1800.08/1800.50 c probing : 0.42 2 183 0 0 0 0 0 0
1800.08/1800.50 c linear : 0.10 0 0 0 0 0 122 122 0
1800.08/1800.50 c logicor : 0.14 0 0 0 0 0 7 0 0
1800.08/1800.50 c root node : - 0 - - 0 - - - -
1800.08/1800.50 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.08/1800.50 c integral : 0 0 0 1 0 0 0 0 0 2
1800.08/1800.50 c logicor : 6490+ 144 6442807 0 0 169239 55844381 0 0 0
1800.08/1800.50 c countsols : 0 0 0 0 0 0 0 0 0 0
1800.08/1800.50 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.08/1800.50 c integral : 5.30 0.00 0.00 5.30 0.00
1800.08/1800.50 c logicor : 349.27 0.16 349.11 0.00 0.00
1800.08/1800.50 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.08/1800.50 c Propagators : Time Calls Cutoffs DomReds
1800.08/1800.50 c vbounds : 3.29 2 0 0
1800.08/1800.50 c rootredcost : 2.97 0 0 0
1800.08/1800.50 c pseudoobj : 709.46 6609298 0 0
1800.08/1800.50 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.08/1800.50 c propagation : 135.79 169237 169237 169237 43.3 1496 20.5 -
1800.08/1800.50 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.08/1800.50 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.08/1800.50 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.08/1800.50 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.08/1800.50 c applied globally : - - - 170733 43.1 - - -
1800.08/1800.50 c applied locally : - - - 0 0.0 - - -
1800.08/1800.50 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.08/1800.50 c cut pool : 4.07 143 - - 8066 - (maximal pool size: 34087)
1800.08/1800.50 c redcost : 0.05 144 0 0 0 0
1800.08/1800.50 c impliedbounds : 0.17 144 0 0 715 0
1800.08/1800.50 c intobj : 0.00 0 0 0 0 0
1800.08/1800.50 c cgmip : 0.00 0 0 0 0 0
1800.08/1800.50 c gomory : 191.25 144 0 0 58755 0
1800.08/1800.50 c strongcg : 7.49 20 0 0 10000 0
1800.08/1800.50 c cmir : 0.67 10 0 0 0 0
1800.08/1800.50 c flowcover : 0.55 10 0 0 0 0
1800.08/1800.50 c clique : 0.29 144 0 0 98 0
1800.08/1800.50 c zerohalf : 0.00 0 0 0 0 0
1800.08/1800.50 c mcf : 0.01 1 0 0 0 0
1800.08/1800.51 c rapidlearning : 0.00 0 0 0 0 0
1800.08/1800.51 c Pricers : Time Calls Vars
1800.08/1800.51 c problem variables: 0.00 0 0
1800.08/1800.51 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.08/1800.51 c relpscost : 5.30 1 0 0 0 0 2
1800.08/1800.51 c pscost : 0.00 0 0 0 0 0 0
1800.08/1800.51 c inference : 83.40 169506 0 0 0 0 339012
1800.08/1800.51 c mostinf : 0.00 0 0 0 0 0 0
1800.08/1800.51 c leastinf : 0.00 0 0 0 0 0 0
1800.08/1800.51 c fullstrong : 0.00 0 0 0 0 0 0
1800.08/1800.51 c allfullstrong : 0.00 0 0 0 0 0 0
1800.08/1800.51 c random : 0.00 0 0 0 0 0 0
1800.08/1800.51 c Primal Heuristics : Time Calls Found
1800.08/1800.51 c LP solutions : 0.00 - 0
1800.08/1800.51 c pseudo solutions : 0.00 - 0
1800.08/1800.51 c oneopt : 0.17 0 0
1800.08/1800.51 c crossover : 0.00 0 0
1800.08/1800.51 c trivial : 0.02 2 0
1800.08/1800.51 c simplerounding : 0.00 0 0
1800.08/1800.51 c zirounding : 0.00 1 0
1800.08/1800.51 c rounding : 0.22 100 0
1800.08/1800.51 c shifting : 2.17 100 0
1800.08/1800.51 c intshifting : 0.00 0 0
1800.08/1800.51 c twoopt : 0.00 0 0
1800.08/1800.51 c fixandinfer : 0.00 0 0
1800.08/1800.51 c feaspump : 0.08 1 0
1800.08/1800.51 c coefdiving : 0.00 0 0
1800.08/1800.51 c pscostdiving : 0.00 0 0
1800.08/1800.51 c fracdiving : 0.00 0 0
1800.08/1800.51 c veclendiving : 0.00 0 0
1800.08/1800.51 c intdiving : 0.00 0 0
1800.08/1800.51 c actconsdiving : 0.00 0 0
1800.08/1800.51 c objpscostdiving : 0.00 0 0
1800.08/1800.51 c rootsoldiving : 0.00 0 0
1800.08/1800.51 c linesearchdiving : 0.00 0 0
1800.08/1800.51 c guideddiving : 0.00 0 0
1800.08/1800.51 c octane : 0.00 0 0
1800.08/1800.51 c rens : 0.00 0 0
1800.08/1800.51 c rins : 0.00 0 0
1800.08/1800.51 c localbranching : 0.00 0 0
1800.08/1800.51 c mutation : 0.00 0 0
1800.08/1800.51 c dins : 0.00 0 0
1800.08/1800.51 c undercover : 0.00 0 0
1800.08/1800.51 c nlp : 0.20 0 0
1800.08/1800.51 c trysol : 0.18 0 0
1800.08/1800.51 c LP : Time Calls Iterations Iter/call Iter/sec
1800.08/1800.51 c primal LP : 0.33 0 0 0.00 0.00
1800.08/1800.51 c dual LP : 177.45 144 188185 1306.84 1060.50
1800.08/1800.51 c lex dual LP : 0.00 0 0 0.00 -
1800.08/1800.51 c barrier LP : 0.00 0 0 0.00 -
1800.08/1800.51 c diving/probing LP: 0.01 0 0 0.00 0.00
1800.08/1800.51 c strong branching : 5.29 18 5488 304.89 1037.43
1800.08/1800.51 c (at root node) : - 18 5488 304.89 -
1800.08/1800.51 c conflict analysis: 0.00 0 0 0.00 -
1800.08/1800.51 c B&B Tree :
1800.08/1800.51 c number of runs : 1
1800.08/1800.51 c nodes : 254107
1800.08/1800.51 c nodes (total) : 254107
1800.08/1800.51 c nodes left : 46
1800.08/1800.51 c max depth : 75
1800.08/1800.51 c max depth (total): 75
1800.08/1800.51 c backtracks : 84720 (33.3%)
1800.08/1800.51 c delayed cutoffs : 84862
1800.08/1800.51 c repropagations : 250101 (27956148 domain reductions, 84637 cutoffs)
1800.08/1800.51 c avg switch length: 2.64
1800.08/1800.51 c switching time : 134.92
1800.08/1800.51 c Solution :
1800.08/1800.51 c Solutions found : 0 (0 improvements)
1800.08/1800.51 c Primal Bound : -
1800.08/1800.51 c Dual Bound : +1.26435871460197e+03
1800.08/1800.51 c Gap : infinite
1800.08/1800.51 c Root Dual Bound : +1.26390680064508e+03
1800.08/1800.51 c Root Iterations : 188185
1800.18/1800.66 c Time complete: 1800.23.