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-2665420-1276417117.opb>
0.09/0.13 c original problem has 2606 variables (2606 bin, 0 int, 0 impl, 0 cont) and 6509 constraints
0.09/0.13 c problem read
0.09/0.13 c presolving settings loaded
0.09/0.18 c presolving:
0.29/0.32 c (round 1) 0 del vars, 122 del conss, 0 chg bounds, 122 chg sides, 0 chg coeffs, 6385 upgd conss, 5582 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, 6386 upgd conss, 5582 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, 6387 upgd conss, 5582 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, 6387 upgd conss, 7044 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, 6387 upgd conss, 7082 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, 6387 upgd conss, 7082 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, 6387 upgd conss, 27270 impls, 0 clqs
0.69/0.77 c (round 8) 153 del vars, 129 del conss, 0 chg bounds, 122 chg sides, 0 chg coeffs, 6387 upgd conss, 46726 impls, 0 clqs
0.89/0.92 c (0.7s) probing: 548/2606 (21.0%) - 2 fixings, 183 aggregations, 12557 implications, 0 bound changes
0.89/0.92 c (0.7s) probing aborted: 100/100 successive totally useless probings
0.89/0.92 c (round 9) 188 del vars, 129 del conss, 0 chg bounds, 122 chg sides, 0 chg coeffs, 6387 upgd conss, 48328 impls, 0 clqs
0.89/0.94 c (0.7s) probing: 558/2606 (21.4%) - 2 fixings, 183 aggregations, 12557 implications, 0 bound changes
0.89/0.94 c (0.7s) probing aborted: 100/100 successive totally useless probings
0.89/0.94 c presolving (10 rounds):
0.89/0.94 c 188 deleted vars, 129 deleted constraints, 0 tightened bounds, 0 added holes, 122 changed sides, 0 changed coefficients
0.89/0.94 c 48328 implications, 0 cliques
0.89/0.94 c presolved problem has 2418 variables (2418 bin, 0 int, 0 impl, 0 cont) and 6380 constraints
0.89/0.94 c 6380 constraints of type <logicor>
0.89/0.94 c transformed objective value is always integral (scale: 1)
0.89/0.94 c Presolving Time: 0.69
0.89/0.94 c - non default parameters ----------------------------------------------------------------------
0.89/0.94 c # SCIP version 1.2.1.2
0.89/0.94 c
0.89/0.94 c # maximal number of intermediate conflict constraints generated in conflict graph (-1: use every intermediate constraint)
0.89/0.94 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
3.09/3.17 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
3.09/3.17 c 2.9s| 1 | 0 | 4804 | - | 15M| 0 |1745 |2418 |6380 |2418 |6193 | 0 | 0 | 0 | 7.849117e+02 | -- | Inf
5.40/5.40 c 5.1s| 1 | 0 | 7246 | - | 17M| 0 |1923 |2418 |6380 |2418 |7233 |1040 | 0 | 0 | 8.082738e+02 | -- | Inf
6.50/6.59 c 6.3s| 1 | 0 | 8445 | - | 20M| 0 |1674 |2418 |6380 |2418 |7259 |1066 | 0 | 0 | 8.134232e+02 | -- | Inf
8.39/8.44 c 8.1s| 1 | 0 | 10100 | - | 24M| 0 |1653 |2418 |6380 |2418 |7291 |1098 | 0 | 0 | 8.163994e+02 | -- | Inf
9.99/10.07 c 9.7s| 1 | 0 | 11313 | - | 27M| 0 |1503 |2418 |6380 |2418 |7322 |1129 | 0 | 0 | 8.216369e+02 | -- | Inf
11.29/11.38 c 11.0s| 1 | 0 | 12525 | - | 29M| 0 |1611 |2418 |6380 |2418 |7345 |1152 | 0 | 0 | 8.235405e+02 | -- | Inf
12.79/12.88 c 12.5s| 1 | 0 | 13673 | - | 32M| 0 |1569 |2418 |6380 |2418 |7371 |1178 | 0 | 0 | 8.253680e+02 | -- | Inf
14.39/14.41 c 14.0s| 1 | 0 | 14806 | - | 36M| 0 |1567 |2418 |6380 |2418 |7400 |1207 | 0 | 0 | 8.272733e+02 | -- | Inf
17.18/17.25 c 16.8s| 1 | 0 | 16891 | - | 38M| 0 |1582 |2418 |6380 |2418 |7439 |1246 | 0 | 0 | 8.296703e+02 | -- | Inf
20.49/20.50 c 20.0s| 1 | 0 | 18707 | - | 40M| 0 |1611 |2418 |6380 |2418 |7497 |1304 | 0 | 0 | 8.452551e+02 | -- | Inf
23.19/23.20 c 22.7s| 1 | 0 | 20441 | - | 42M| 0 |1633 |2418 |6380 |2418 |7533 |1340 | 0 | 0 | 8.525870e+02 | -- | Inf
24.98/25.01 c 24.5s| 1 | 0 | 21532 | - | 44M| 0 |1636 |2418 |6380 |2418 |6568 |1385 | 0 | 0 | 8.552268e+02 | -- | Inf
27.09/27.10 c 26.5s| 1 | 0 | 23088 | - | 47M| 0 |1678 |2418 |6380 |2418 |6614 |1431 | 0 | 0 | 8.605798e+02 | -- | Inf
29.38/29.46 c 28.9s| 1 | 0 | 24704 | - | 48M| 0 |1615 |2418 |6380 |2418 |6665 |1482 | 0 | 0 | 8.716203e+02 | -- | Inf
31.98/32.05 c 31.4s| 1 | 0 | 26543 | - | 51M| 0 |1600 |2418 |6380 |2418 |6705 |1522 | 0 | 0 | 8.787047e+02 | -- | Inf
34.58/34.64 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
34.58/34.64 c 34.0s| 1 | 0 | 28615 | - | 53M| 0 |1665 |2418 |6380 |2418 |6740 |1557 | 0 | 0 | 8.799881e+02 | -- | Inf
37.98/38.01 c 37.3s| 1 | 0 | 30628 | - | 54M| 0 |1665 |2418 |6380 |2418 |6797 |1614 | 0 | 0 | 8.897939e+02 | -- | Inf
40.18/40.26 c 39.5s| 1 | 0 | 32049 | - | 59M| 0 |1660 |2418 |6380 |2418 |6726 |1650 | 0 | 0 | 8.965139e+02 | -- | Inf
41.98/42.04 c 41.2s| 1 | 0 | 33177 | - | 61M| 0 |1631 |2418 |6380 |2418 |6751 |1675 | 0 | 0 | 8.983433e+02 | -- | Inf
43.78/43.83 c 43.0s| 1 | 0 | 34179 | - | 65M| 0 |1628 |2418 |6380 |2418 |6792 |1716 | 0 | 0 | 9.012607e+02 | -- | Inf
45.58/45.69 c 44.9s| 1 | 0 | 35500 | - | 68M| 0 |1648 |2418 |6380 |2418 |6816 |1740 | 0 | 0 | 9.032447e+02 | -- | Inf
47.29/47.37 c 46.5s| 1 | 0 | 36695 | - | 69M| 0 |1622 |2418 |6380 |2418 |6863 |1787 | 0 | 0 | 9.085076e+02 | -- | Inf
48.68/48.73 c 47.9s| 1 | 0 | 37593 | - | 71M| 0 |1670 |2418 |6380 |2418 |6899 |1823 | 0 | 0 | 9.115938e+02 | -- | Inf
50.48/50.55 c 49.6s| 1 | 0 | 38736 | - | 72M| 0 |1664 |2418 |6380 |2418 |6769 |1886 | 0 | 0 | 9.160195e+02 | -- | Inf
53.18/53.25 c 52.3s| 1 | 0 | 40858 | - | 73M| 0 |1737 |2418 |6380 |2418 |6810 |1927 | 0 | 0 | 9.210603e+02 | -- | Inf
56.57/56.69 c 55.7s| 1 | 0 | 43448 | - | 74M| 0 |1779 |2418 |6380 |2418 |6893 |2010 | 0 | 0 | 9.299049e+02 | -- | Inf
58.78/58.88 c 57.9s| 1 | 0 | 45270 | - | 75M| 0 |1827 |2418 |6380 |2418 |6955 |2072 | 0 | 0 | 9.366567e+02 | -- | Inf
61.28/61.38 c 60.3s| 1 | 0 | 47010 | - | 75M| 0 |1905 |2418 |6380 |2418 |7024 |2141 | 0 | 0 | 9.434307e+02 | -- | Inf
63.68/63.72 c 62.6s| 1 | 0 | 48746 | - | 77M| 0 |1863 |2418 |6380 |2418 |7069 |2186 | 0 | 0 | 9.469349e+02 | -- | Inf
66.98/67.05 c 65.9s| 1 | 0 | 51084 | - | 79M| 0 |1927 |2418 |6380 |2418 |6952 |2238 | 0 | 0 | 9.547023e+02 | -- | Inf
70.87/70.94 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
70.87/70.94 c 69.8s| 1 | 0 | 53879 | - | 81M| 0 |2013 |2418 |6380 |2418 |7002 |2288 | 0 | 0 | 9.593625e+02 | -- | Inf
75.07/75.19 c 74.0s| 1 | 0 | 55912 | - | 82M| 0 |2039 |2418 |6380 |2418 |7075 |2361 | 0 | 0 | 9.680412e+02 | -- | Inf
79.76/79.85 c 78.6s| 1 | 0 | 58574 | - | 83M| 0 |1854 |2418 |6380 |2418 |7136 |2422 | 0 | 0 | 9.747223e+02 | -- | Inf
82.37/82.41 c 81.1s| 1 | 0 | 60312 | - | 85M| 0 |2027 |2418 |6380 |2418 |7187 |2473 | 0 | 0 | 9.793990e+02 | -- | Inf
84.97/85.01 c 83.7s| 1 | 0 | 61981 | - | 88M| 0 |1954 |2418 |6380 |2418 |7219 |2505 | 0 | 0 | 9.813756e+02 | -- | Inf
88.06/88.18 c 86.8s| 1 | 0 | 63884 | - | 90M| 0 |1893 |2418 |6380 |2418 |7040 |2545 | 0 | 0 | 9.858564e+02 | -- | Inf
90.57/90.63 c 89.2s| 1 | 0 | 65542 | - | 91M| 0 |1923 |2418 |6380 |2418 |7084 |2589 | 0 | 0 | 9.904832e+02 | -- | Inf
93.76/93.87 c 92.4s| 1 | 0 | 67494 | - | 92M| 0 |1961 |2418 |6380 |2418 |7119 |2624 | 0 | 0 | 9.933434e+02 | -- | Inf
98.56/98.66 c 97.2s| 1 | 0 | 70363 | - | 92M| 0 |2000 |2418 |6380 |2418 |7183 |2688 | 0 | 0 | 1.002060e+03 | -- | Inf
102.76/102.81 c 101s| 1 | 0 | 73278 | - | 93M| 0 |1955 |2418 |6380 |2418 |7255 |2760 | 0 | 0 | 1.007977e+03 | -- | Inf
107.36/107.45 c 106s| 1 | 0 | 76091 | - | 94M| 0 |2030 |2418 |6380 |2418 |7338 |2843 | 0 | 0 | 1.015154e+03 | -- | Inf
111.96/112.03 c 110s| 1 | 0 | 78523 | - | 94M| 0 |1909 |2418 |6380 |2418 |7199 |2929 | 0 | 0 | 1.020402e+03 | -- | Inf
114.76/114.82 c 113s| 1 | 0 | 80496 | - | 96M| 0 |2018 |2418 |6380 |2418 |7250 |2980 | 0 | 0 | 1.022702e+03 | -- | Inf
118.16/118.26 c 117s| 1 | 0 | 82827 | - | 97M| 0 |2053 |2418 |6380 |2418 |7306 |3036 | 0 | 0 | 1.026593e+03 | -- | Inf
123.36/123.42 c 122s| 1 | 0 | 85560 | - | 98M| 0 |1990 |2418 |6380 |2418 |7397 |3127 | 0 | 0 | 1.036333e+03 | -- | Inf
126.05/126.13 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
126.05/126.13 c 124s| 1 | 0 | 87429 | - | 99M| 0 |2011 |2418 |6380 |2418 |7466 |3196 | 0 | 0 | 1.042428e+03 | -- | Inf
130.16/130.20 c 128s| 1 | 0 | 89749 | - | 100M| 0 |1936 |2418 |6380 |2418 |7522 |3252 | 0 | 0 | 1.048673e+03 | -- | Inf
133.95/134.04 c 132s| 1 | 0 | 92344 | - | 101M| 0 |2089 |2418 |6380 |2418 |7392 |3313 | 0 | 0 | 1.051489e+03 | -- | Inf
140.15/140.27 c 138s| 1 | 0 | 96225 | - | 101M| 0 |2107 |2418 |6380 |2418 |7465 |3386 | 0 | 0 | 1.059125e+03 | -- | Inf
145.25/145.36 c 143s| 1 | 0 | 98805 | - | 102M| 0 |2047 |2418 |6380 |2418 |7544 |3465 | 0 | 0 | 1.064882e+03 | -- | Inf
149.15/149.26 c 147s| 1 | 0 |101055 | - | 102M| 0 |2028 |2418 |6380 |2418 |7610 |3531 | 0 | 0 | 1.070179e+03 | -- | Inf
152.05/152.12 c 150s| 1 | 0 |103096 | - | 103M| 0 |2114 |2418 |6380 |2418 |7658 |3579 | 0 | 0 | 1.074213e+03 | -- | Inf
155.85/155.97 c 154s| 1 | 0 |105919 | - | 104M| 0 |2163 |2418 |6380 |2418 |7712 |3633 | 0 | 0 | 1.077756e+03 | -- | Inf
161.85/161.92 c 160s| 1 | 0 |108997 | - | 104M| 0 |2088 |2418 |6380 |2418 |7476 |3715 | 0 | 0 | 1.086214e+03 | -- | Inf
163.85/163.94 c 162s| 1 | 0 |110608 | - | 106M| 0 |2128 |2418 |6380 |2418 |7524 |3763 | 0 | 0 | 1.089408e+03 | -- | Inf
167.34/167.47 c 165s| 1 | 0 |113216 | - | 107M| 0 |2091 |2418 |6380 |2418 |7580 |3819 | 0 | 0 | 1.092245e+03 | -- | Inf
170.84/170.96 c 169s| 1 | 0 |115675 | - | 109M| 0 |2143 |2418 |6380 |2418 |7626 |3865 | 0 | 0 | 1.093361e+03 | -- | Inf
174.15/174.26 c 172s| 1 | 0 |117535 | - | 110M| 0 |2101 |2418 |6380 |2418 |7687 |3926 | 0 | 0 | 1.095671e+03 | -- | Inf
177.34/177.40 c 175s| 1 | 0 |119802 | - | 112M| 0 |2205 |2418 |6380 |2418 |7729 |3968 | 0 | 0 | 1.097836e+03 | -- | Inf
183.94/184.04 c 182s| 1 | 0 |122085 | - | 112M| 0 |2198 |2418 |6380 |2418 |7412 |4014 | 0 | 0 | 1.101102e+03 | -- | Inf
190.94/191.09 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
190.94/191.09 c 189s| 1 | 0 |124923 | - | 112M| 0 |2209 |2418 |6380 |2418 |7458 |4060 | 0 | 0 | 1.106421e+03 | -- | Inf
196.03/196.16 c 194s| 1 | 0 |127459 | - | 112M| 0 |2160 |2418 |6380 |2418 |7502 |4104 | 0 | 0 | 1.109572e+03 | -- | Inf
199.43/199.57 c 197s| 1 | 0 |129290 | - | 113M| 0 |2147 |2418 |6380 |2418 |7541 |4143 | 0 | 0 | 1.112194e+03 | -- | Inf
203.23/203.31 c 201s| 1 | 0 |131860 | - | 114M| 0 |2132 |2418 |6380 |2418 |7587 |4189 | 0 | 0 | 1.114225e+03 | -- | Inf
206.43/206.51 c 204s| 1 | 0 |133458 | - | 115M| 0 |2151 |2418 |6380 |2418 |7646 |4248 | 0 | 0 | 1.115435e+03 | -- | Inf
209.43/209.56 c 207s| 1 | 0 |135141 | - | 117M| 0 |2154 |2418 |6380 |2418 |7383 |4288 | 0 | 0 | 1.117141e+03 | -- | Inf
213.24/213.36 c 211s| 1 | 0 |137279 | - | 118M| 0 |2191 |2418 |6380 |2418 |7426 |4331 | 0 | 0 | 1.118120e+03 | -- | Inf
217.63/217.79 c 215s| 1 | 0 |140095 | - | 118M| 0 |2203 |2418 |6380 |2418 |7476 |4381 | 0 | 0 | 1.120190e+03 | -- | Inf
223.92/224.06 c 221s| 1 | 0 |143555 | - | 119M| 0 |2039 |2418 |6380 |2418 |7536 |4441 | 0 | 0 | 1.123639e+03 | -- | Inf
226.83/226.91 c 224s| 1 | 0 |145324 | - | 119M| 0 |2190 |2418 |6380 |2418 |7606 |4511 | 0 | 0 | 1.128363e+03 | -- | Inf
232.22/232.33 c 229s| 1 | 0 |146707 | - | 119M| 0 |2148 |2418 |6380 |2418 |7639 |4544 | 0 | 0 | 1.129986e+03 | -- | Inf
236.02/236.18 c 233s| 1 | 0 |148165 | - | 120M| 0 |2156 |2418 |6380 |2418 |7420 |4580 | 0 | 0 | 1.132572e+03 | -- | Inf
239.82/239.96 c 237s| 1 | 0 |149379 | - | 120M| 0 |2138 |2418 |6380 |2418 |7449 |4609 | 0 | 0 | 1.133418e+03 | -- | Inf
244.22/244.37 c 241s| 1 | 0 |151476 | - | 120M| 0 |2098 |2418 |6380 |2418 |7476 |4636 | 0 | 0 | 1.135042e+03 | -- | Inf
247.92/248.03 c 245s| 1 | 0 |153379 | - | 121M| 0 |2103 |2418 |6380 |2418 |7516 |4676 | 0 | 0 | 1.138001e+03 | -- | Inf
250.63/250.79 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
250.63/250.79 c 248s| 1 | 0 |155095 | - | 121M| 0 |2147 |2418 |6380 |2418 |7562 |4722 | 0 | 0 | 1.139356e+03 | -- | Inf
253.12/253.27 c 250s| 1 | 0 |156821 | - | 122M| 0 |2091 |2418 |6380 |2418 |7609 |4769 | 0 | 0 | 1.140350e+03 | -- | Inf
255.62/255.71 c 253s| 1 | 0 |158661 | - | 124M| 0 |2141 |2418 |6380 |2418 |7427 |4802 | 0 | 0 | 1.141037e+03 | -- | Inf
258.72/258.81 c 256s| 1 | 0 |161121 | - | 125M| 0 |2176 |2418 |6380 |2418 |7487 |4862 | 0 | 0 | 1.144463e+03 | -- | Inf
263.72/263.88 c 261s| 1 | 0 |163387 | - | 125M| 0 |2145 |2418 |6380 |2418 |7545 |4920 | 0 | 0 | 1.146989e+03 | -- | Inf
266.62/266.73 c 263s| 1 | 0 |165051 | - | 126M| 0 |2153 |2418 |6380 |2418 |7585 |4960 | 0 | 0 | 1.147988e+03 | -- | Inf
270.11/270.28 c 267s| 1 | 0 |166423 | - | 126M| 0 |2184 |2418 |6380 |2418 |7630 |5005 | 0 | 0 | 1.150559e+03 | -- | Inf
275.21/275.32 c 272s| 1 | 0 |167795 | - | 126M| 0 |2193 |2418 |6380 |2418 |7650 |5025 | 0 | 0 | 1.151729e+03 | -- | Inf
279.11/279.28 c 276s| 1 | 0 |168563 | - | 126M| 0 |2177 |2418 |6380 |2418 |7442 |5040 | 0 | 0 | 1.152062e+03 | -- | Inf
282.41/282.58 c 279s| 1 | 0 |169655 | - | 127M| 0 |2182 |2418 |6380 |2418 |7454 |5052 | 0 | 0 | 1.152525e+03 | -- | Inf
285.92/286.01 c 283s| 1 | 0 |171060 | - | 127M| 0 |2145 |2418 |6380 |2418 |7478 |5076 | 0 | 0 | 1.153699e+03 | -- | Inf
288.51/288.62 c 285s| 1 | 0 |173080 | - | 128M| 0 |2137 |2418 |6380 |2418 |7506 |5104 | 0 | 0 | 1.154847e+03 | -- | Inf
290.91/291.08 c 288s| 1 | 0 |174824 | - | 129M| 0 |2191 |2418 |6380 |2418 |7553 |5151 | 0 | 0 | 1.155807e+03 | -- | Inf
295.01/295.19 c 292s| 1 | 0 |177489 | - | 130M| 0 |2137 |2418 |6380 |2418 |7594 |5192 | 0 | 0 | 1.158149e+03 | -- | Inf
296.91/297.08 c 294s| 1 | 0 |178536 | - | 130M| 0 |2149 |2418 |6380 |2418 |7398 |5242 | 0 | 0 | 1.159357e+03 | -- | Inf
299.21/299.38 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
299.21/299.38 c 296s| 1 | 0 |180342 | - | 131M| 0 |2175 |2418 |6380 |2418 |7434 |5278 | 0 | 0 | 1.159922e+03 | -- | Inf
302.20/302.39 c 299s| 1 | 0 |182563 | - | 132M| 0 |2122 |2418 |6380 |2418 |7481 |5325 | 0 | 0 | 1.163534e+03 | -- | Inf
305.21/305.35 c 302s| 1 | 0 |184968 | - | 133M| 0 |2128 |2418 |6380 |2418 |7535 |5379 | 0 | 0 | 1.167098e+03 | -- | Inf
308.41/308.59 c 305s| 1 | 0 |187049 | - | 133M| 0 |2125 |2418 |6380 |2418 |7565 |5409 | 0 | 0 | 1.169799e+03 | -- | Inf
312.11/312.26 c 309s| 1 | 0 |189256 | - | 134M| 0 |2122 |2418 |6380 |2418 |7634 |5478 | 0 | 0 | 1.171883e+03 | -- | Inf
316.30/316.44 c 313s| 1 | 0 |191163 | - | 134M| 0 |2099 |2418 |6380 |2418 |7572 |5534 | 0 | 0 | 1.174615e+03 | -- | Inf
318.51/318.67 c 315s| 1 | 0 |192876 | - | 135M| 0 |2120 |2418 |6380 |2418 |7616 |5578 | 0 | 0 | 1.177733e+03 | -- | Inf
320.90/321.00 c 317s| 1 | 0 |194574 | - | 136M| 0 |2162 |2418 |6380 |2418 |7645 |5607 | 0 | 0 | 1.179532e+03 | -- | Inf
324.50/324.63 c 321s| 1 | 0 |196143 | - | 136M| 0 |2170 |2418 |6380 |2418 |7668 |5630 | 0 | 0 | 1.180237e+03 | -- | Inf
327.10/327.28 c 323s| 1 | 0 |196674 | - | 136M| 0 |2180 |2418 |6380 |2418 |7677 |5639 | 0 | 0 | 1.180319e+03 | -- | Inf
329.81/330.00 c 326s| 1 | 0 |196696 | - | 136M| 0 |2188 |2418 |6380 |2418 |7682 |5644 | 0 | 0 | 1.180319e+03 | -- | Inf
332.70/332.85 c 329s| 1 | 0 |196833 | - | 136M| 0 |2164 |2418 |6380 |2418 |7481 |5646 | 0 | 0 | 1.180324e+03 | -- | Inf
335.40/335.52 c 332s| 1 | 0 |196834 | - | 134M| 0 |2163 |2418 |6380 |2418 |7482 |5647 | 0 | 0 | 1.180324e+03 | -- | Inf
338.19/338.33 c 334s| 1 | 0 |197014 | - | 131M| 0 |2161 |2418 |6380 |2418 |7483 |5648 | 0 | 0 | 1.180398e+03 | -- | Inf
341.19/341.32 c 337s| 1 | 0 |198338 | - | 127M| 0 |2055 |2418 |6380 |2418 |7492 |5657 | 0 | 0 | 1.181255e+03 | -- | Inf
342.70/342.90 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
342.70/342.90 c 339s| 1 | 0 |199570 | - | 125M| 0 |2159 |2418 |6380 |2418 |7526 |5691 | 0 | 0 | 1.181787e+03 | -- | Inf
346.30/346.47 c 342s| 1 | 0 |201461 | - | 123M| 0 |2161 |2418 |6380 |2418 |7554 |5719 | 0 | 0 | 1.182497e+03 | -- | Inf
349.99/350.15 c 346s| 1 | 0 |203304 | - | 120M| 0 |2130 |2418 |6380 |2418 |7341 |5751 | 0 | 0 | 1.183557e+03 | -- | Inf
353.19/353.39 c 349s| 1 | 0 |205297 | - | 118M| 0 |2078 |2418 |6380 |2418 |7369 |5779 | 0 | 0 | 1.185719e+03 | -- | Inf
355.20/355.33 c 351s| 1 | 0 |207138 | - | 116M| 0 |2129 |2418 |6380 |2418 |7431 |5841 | 0 | 0 | 1.189298e+03 | -- | Inf
357.49/357.69 c 354s| 1 | 0 |208801 | - | 115M| 0 |2063 |2418 |6380 |2418 |7485 |5895 | 0 | 0 | 1.192356e+03 | -- | Inf
359.99/360.19 c 356s| 1 | 0 |210055 | - | 113M| 0 |2047 |2418 |6380 |2418 |7529 |5939 | 0 | 0 | 1.194656e+03 | -- | Inf
361.99/362.15 c 358s| 1 | 0 |211627 | - | 111M| 0 |1986 |2418 |6380 |2418 |7575 |5985 | 0 | 0 | 1.196920e+03 | -- | Inf
364.00/364.17 c 360s| 1 | 0 |212757 | - | 108M| 0 |2072 |2418 |6380 |2418 |7590 |6036 | 0 | 0 | 1.200656e+03 | -- | Inf
366.38/366.55 c 362s| 1 | 0 |213936 | - | 108M| 0 |2090 |2418 |6380 |2418 |7617 |6063 | 0 | 0 | 1.203401e+03 | -- | Inf
369.08/369.27 c 365s| 1 | 0 |214440 | - | 105M| 0 |2066 |2418 |6380 |2418 |7642 |6088 | 0 | 0 | 1.203581e+03 | -- | Inf
372.59/372.79 c 369s| 1 | 0 |215330 | - | 104M| 0 |2031 |2418 |6380 |2418 |7658 |6104 | 0 | 0 | 1.203876e+03 | -- | Inf
374.89/375.10 c 371s| 1 | 0 |216255 | - | 103M| 0 |2086 |2418 |6380 |2418 |7680 |6126 | 0 | 0 | 1.204840e+03 | -- | Inf
377.38/377.57 c 373s| 1 | 0 |217258 | - | 98M| 0 |2084 |2418 |6380 |2418 |7692 |6138 | 0 | 0 | 1.205544e+03 | -- | Inf
379.58/379.70 c 375s| 1 | 0 |217786 | - | 96M| 0 |2095 |2418 |6380 |2418 |7499 |6151 | 0 | 0 | 1.205991e+03 | -- | Inf
382.19/382.38 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
382.19/382.38 c 378s| 1 | 0 |218667 | - | 92M| 0 |2097 |2418 |6380 |2418 |7505 |6157 | 0 | 0 | 1.206196e+03 | -- | Inf
385.09/385.28 c 381s| 1 | 0 |220073 | - | 89M| 0 |2081 |2418 |6380 |2418 |7523 |6175 | 0 | 0 | 1.206805e+03 | -- | Inf
388.18/388.33 c 384s| 1 | 0 |222010 | - | 88M| 0 |2092 |2418 |6380 |2418 |7562 |6214 | 0 | 0 | 1.209467e+03 | -- | Inf
390.29/390.49 c 386s| 1 | 0 |222455 | - | 87M| 0 |2092 |2418 |6380 |2418 |7576 |6228 | 0 | 0 | 1.209720e+03 | -- | Inf
391.68/391.89 c 387s| 1 | 0 |223149 | - | 86M| 0 |2116 |2418 |6380 |2418 |7585 |6237 | 0 | 0 | 1.209947e+03 | -- | Inf
394.38/394.53 c 390s| 1 | 0 |223839 | - | 85M| 0 |2106 |2418 |6380 |2418 |7413 |6244 | 0 | 0 | 1.210466e+03 | -- | Inf
396.38/396.59 c 392s| 1 | 0 |225258 | - | 86M| 0 |2091 |2418 |6380 |2418 |7423 |6254 | 0 | 0 | 1.211219e+03 | -- | Inf
398.88/399.04 c 395s| 1 | 0 |226475 | - | 85M| 0 |2085 |2418 |6380 |2418 |7452 |6283 | 0 | 0 | 1.211770e+03 | -- | Inf
400.57/400.70 c 396s| 1 | 0 |227652 | - | 85M| 0 |1996 |2418 |6380 |2418 |7484 |6315 | 0 | 0 | 1.214384e+03 | -- | Inf
402.17/402.37 c 398s| 1 | 0 |229199 | - | 84M| 0 |2056 |2418 |6380 |2418 |7511 |6342 | 0 | 0 | 1.215640e+03 | -- | Inf
404.58/404.80 c 400s| 1 | 0 |229782 | - | 82M| 0 |2047 |2418 |6380 |2418 |7547 |6378 | 0 | 0 | 1.216151e+03 | -- | Inf
406.08/406.24 c 402s| 1 | 0 |230847 | - | 81M| 0 |2008 |2418 |6380 |2418 |7486 |6404 | 0 | 0 | 1.217987e+03 | -- | Inf
407.57/407.74 c 403s| 1 | 0 |232009 | - | 80M| 0 |2049 |2418 |6380 |2418 |7506 |6424 | 0 | 0 | 1.218750e+03 | -- | Inf
409.47/409.68 c 405s| 1 | 0 |233021 | - | 80M| 0 |2062 |2418 |6380 |2418 |7535 |6453 | 0 | 0 | 1.219443e+03 | -- | Inf
411.47/411.69 c 407s| 1 | 0 |233574 | - | 78M| 0 |2031 |2418 |6380 |2418 |7554 |6472 | 0 | 0 | 1.219843e+03 | -- | Inf
412.57/412.74 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
412.57/412.74 c 408s| 1 | 0 |234123 | - | 76M| 0 |2035 |2418 |6380 |2418 |7582 |6500 | 0 | 0 | 1.220563e+03 | -- | Inf
414.67/414.86 c 410s| 1 | 0 |235036 | - | 74M| 0 |2060 |2418 |6380 |2418 |7599 |6517 | 0 | 0 | 1.221173e+03 | -- | Inf
417.17/417.30 c 413s| 1 | 0 |236034 | - | 73M| 0 |2007 |2418 |6380 |2418 |7524 |6552 | 0 | 0 | 1.222535e+03 | -- | Inf
419.17/419.35 c 415s| 1 | 0 |236836 | - | 73M| 0 |1999 |2418 |6380 |2418 |7558 |6586 | 0 | 0 | 1.224179e+03 | -- | Inf
420.47/420.64 c 416s| 1 | 0 |237749 | - | 73M| 0 |2024 |2418 |6380 |2418 |7586 |6614 | 0 | 0 | 1.225632e+03 | -- | Inf
422.38/422.53 c 418s| 1 | 0 |238557 | - | 72M| 0 |2051 |2418 |6380 |2418 |7607 |6635 | 0 | 0 | 1.226274e+03 | -- | Inf
424.97/425.12 c 420s| 1 | 0 |239034 | - | 72M| 0 |2041 |2418 |6380 |2418 |7613 |6641 | 0 | 0 | 1.226444e+03 | -- | Inf
427.07/427.25 c 423s| 1 | 0 |239353 | - | 71M| 0 |2048 |2418 |6380 |2418 |7622 |6650 | 0 | 0 | 1.226533e+03 | -- | Inf
429.27/429.50 c 425s| 1 | 0 |239656 | - | 70M| 0 |2057 |2418 |6380 |2418 |7485 |6658 | 0 | 0 | 1.226686e+03 | -- | Inf
431.27/431.41 c 427s| 1 | 0 |239670 | - | 68M| 0 |2064 |2418 |6380 |2418 |7487 |6660 | 0 | 0 | 1.226688e+03 | -- | Inf
433.37/433.56 c 429s| 1 | 0 |239923 | - | 68M| 0 |2046 |2418 |6380 |2418 |7489 |6662 | 0 | 0 | 1.226764e+03 | -- | Inf
435.87/436.02 c 431s| 1 | 0 |240335 | - | 67M| 0 |2045 |2418 |6380 |2418 |7494 |6667 | 0 | 0 | 1.226877e+03 | -- | Inf
437.67/437.82 c 433s| 1 | 0 |240350 | - | 66M| 0 |2047 |2418 |6380 |2418 |7497 |6670 | 0 | 0 | 1.226877e+03 | -- | Inf
439.57/439.74 c 435s| 1 | 0 |240471 | - | 65M| 0 |2047 |2418 |6380 |2418 |7498 |6671 | 0 | 0 | 1.226888e+03 | -- | Inf
441.37/441.56 c 437s| 1 | 0 |240488 | - | 65M| 0 |2047 |2418 |6380 |2418 |7366 |6673 | 0 | 0 | 1.226888e+03 | -- | Inf
443.08/443.28 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
443.08/443.28 c 438s| 1 | 0 |240500 | - | 64M| 0 |2045 |2418 |6380 |2418 |7367 |6674 | 0 | 0 | 1.226889e+03 | -- | Inf
444.87/445.02 c 440s| 1 | 0 |240502 | - | 64M| 0 |2047 |2418 |6380 |2418 |7368 |6675 | 0 | 0 | 1.226889e+03 | -- | Inf
452.56/452.76 c 448s| 1 | 2 |240502 | - | 64M| 0 |2047 |2418 |6380 |2418 |7368 |6675 | 0 | 26 | 1.226889e+03 | -- | Inf
527.85/528.04 c 521s| 10000 | 45 |240502 | 0.0 | 65M| 77 | - |2418 |6443 | 0 | 0 |6675 |6624 | 26 | 1.227412e+03 | -- | Inf
600.62/600.88 c 592s| 20000 | 47 |240502 | 0.0 | 65M| 77 | - |2418 |6464 | 0 | 0 |6675 | 13k| 26 | 1.227412e+03 | -- | Inf
651.81/652.06 c 642s| 30000 | 47 |240502 | 0.0 | 65M| 77 | - |2418 |6465 | 0 | 0 |6675 | 20k| 26 | 1.227412e+03 | -- | Inf
706.00/706.28 c 695s| 40000 | 48 |240502 | 0.0 | 65M| 77 | - |2418 |6402 | 0 | 0 |6675 | 26k| 26 | 1.227412e+03 | -- | Inf
782.07/782.31 c 769s| 50000 | 43 |240502 | 0.0 | 65M| 77 | - |2418 |6463 | 0 | 0 |6675 | 33k| 26 | 1.227412e+03 | -- | Inf
846.85/847.15 c 832s| 60000 | 45 |240502 | 0.0 | 65M| 77 | - |2418 |6466 | 0 | 0 |6675 | 40k| 26 | 1.227412e+03 | -- | Inf
905.04/905.33 c 889s| 70000 | 45 |240502 | 0.0 | 65M| 77 | - |2418 |6445 | 0 | 0 |6675 | 46k| 26 | 1.227412e+03 | -- | Inf
962.51/962.85 c 945s| 80000 | 43 |240502 | 0.0 | 65M| 77 | - |2418 |6436 | 0 | 0 |6675 | 53k| 26 | 1.227412e+03 | -- | Inf
1016.30/1016.62 c 997s| 90000 | 44 |240502 | 0.0 | 65M| 77 | - |2418 |6469 | 0 | 0 |6675 | 60k| 26 | 1.227412e+03 | -- | Inf
1070.09/1070.46 c 1050s|100000 | 44 |240502 | 0.0 | 65M| 77 | - |2418 |6441 | 0 | 0 |6675 | 67k| 26 | 1.227412e+03 | -- | Inf
1127.57/1127.98 c 1106s|110000 | 50 |240502 | 0.0 | 65M| 77 | - |2418 |6427 | 0 | 0 |6675 | 74k| 26 | 1.227412e+03 | -- | Inf
1187.56/1188.00 c 1164s|120000 | 43 |240502 | 0.0 | 65M| 77 | - |2418 |6475 | 0 | 0 |6675 | 80k| 26 | 1.227412e+03 | -- | Inf
1253.43/1253.87 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1253.43/1253.87 c 1229s|130000 | 44 |240502 | 0.0 | 65M| 77 | - |2418 |6480 | 0 | 0 |6675 | 87k| 26 | 1.227412e+03 | -- | Inf
1334.92/1335.31 c 1309s|140000 | 41 |240502 | 0.0 | 65M| 77 | - |2418 |6500 | 0 | 0 |6675 | 94k| 26 | 1.227412e+03 | -- | Inf
1400.90/1401.39 c 1373s|150000 | 44 |240502 | 0.0 | 65M| 77 | - |2418 |6490 | 0 | 0 |6675 | 100k| 26 | 1.227412e+03 | -- | Inf
1487.16/1487.68 c 1457s|160000 | 43 |240502 | 0.0 | 65M| 77 | - |2418 |6485 | 0 | 0 |6675 | 107k| 26 | 1.227412e+03 | -- | Inf
1572.84/1573.30 c 1541s|170000 | 43 |240502 | 0.0 | 65M| 77 | - |2418 |6480 | 0 | 0 |6675 | 114k| 26 | 1.227412e+03 | -- | Inf
1658.01/1658.58 c 1625s|180000 | 45 |240502 | 0.0 | 65M| 77 | - |2418 |6450 | 0 | 0 |6675 | 120k| 26 | 1.227412e+03 | -- | Inf
1744.60/1745.12 c 1710s|190000 | 41 |240502 | 0.0 | 65M| 77 | - |2418 |6498 | 0 | 0 |6675 | 127k| 26 | 1.227412e+03 | -- | Inf
1800.09/1800.61 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.09/1800.61 c
1800.09/1800.61 c SCIP Status : solving was interrupted [user interrupt]
1800.09/1800.61 c Solving Time (sec) : 1763.92
1800.09/1800.61 c Solving Nodes : 196852
1800.09/1800.61 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1800.09/1800.61 c Dual Bound : +1.22741226790151e+03
1800.09/1800.61 c Gap : infinite
1800.09/1800.61 s UNKNOWN
1800.09/1800.61 c SCIP Status : solving was interrupted [user interrupt]
1800.09/1800.61 c Solving Time : 1763.92
1800.09/1800.61 c Original Problem :
1800.09/1800.61 c Problem name : HOME/instance-2665420-1276417117.opb
1800.09/1800.61 c Variables : 2606 (2606 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.09/1800.61 c Constraints : 6509 initial, 6509 maximal
1800.09/1800.61 c Presolved Problem :
1800.09/1800.61 c Problem name : t_HOME/instance-2665420-1276417117.opb
1800.09/1800.61 c Variables : 2418 (2418 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.09/1800.61 c Constraints : 6380 initial, 6547 maximal
1800.09/1800.61 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.09/1800.61 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.09/1800.61 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.09/1800.61 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.09/1800.61 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.09/1800.61 c implics : 0.00 0 3 0 0 0 0 0 0
1800.09/1800.61 c probing : 0.41 2 183 0 0 0 0 0 0
1800.09/1800.61 c linear : 0.09 0 0 0 0 0 122 122 0
1800.09/1800.61 c logicor : 0.15 0 0 0 0 0 7 0 0
1800.09/1800.61 c root node : - 0 - - 0 - - - -
1800.09/1800.61 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.09/1800.61 c integral : 0 0 0 1 0 0 0 0 0 2
1800.09/1800.61 c logicor : 6380+ 151 5923282 0 0 131021 67293271 0 0 0
1800.09/1800.61 c countsols : 0 0 0 0 0 0 0 0 0 0
1800.09/1800.61 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.09/1800.61 c integral : 7.57 0.00 0.00 7.57 0.00
1800.09/1800.61 c logicor : 366.10 0.11 365.99 0.00 0.00
1800.09/1800.61 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.09/1800.61 c Propagators : Time Calls Cutoffs DomReds
1800.09/1800.61 c vbounds : 4.70 2 0 0
1800.09/1800.61 c rootredcost : 3.85 0 0 0
1800.09/1800.61 c pseudoobj : 616.20 6049630 0 0
1800.09/1800.61 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.09/1800.61 c propagation : 102.86 131021 131021 131021 44.8 1069 19.8 -
1800.09/1800.61 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.09/1800.61 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.09/1800.61 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.09/1800.61 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.09/1800.61 c applied globally : - - - 132090 44.6 - - -
1800.09/1800.61 c applied locally : - - - 0 0.0 - - -
1800.09/1800.61 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.09/1800.61 c cut pool : 5.11 150 - - 6295 - (maximal pool size: 34087)
1800.09/1800.61 c redcost : 0.02 151 0 0 0 0
1800.09/1800.61 c impliedbounds : 0.29 151 0 0 2355 0
1800.09/1800.61 c intobj : 0.00 0 0 0 0 0
1800.09/1800.61 c cgmip : 0.00 0 0 0 0 0
1800.09/1800.61 c gomory : 201.27 151 0 0 59701 0
1800.09/1800.61 c strongcg : 5.28 20 0 0 10000 0
1800.09/1800.61 c cmir : 0.75 10 0 0 0 0
1800.09/1800.61 c flowcover : 0.62 10 0 0 0 0
1800.09/1800.61 c clique : 0.38 151 0 0 107 0
1800.09/1800.61 c zerohalf : 0.00 0 0 0 0 0
1800.09/1800.61 c mcf : 0.01 1 0 0 0 0
1800.09/1800.61 c rapidlearning : 0.00 0 0 0 0 0
1800.09/1800.61 c Pricers : Time Calls Vars
1800.09/1800.61 c problem variables: 0.00 0 0
1800.09/1800.61 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.09/1800.61 c relpscost : 7.57 1 0 0 0 0 2
1800.09/1800.61 c pscost : 0.00 0 0 0 0 0 0
1800.09/1800.61 c inference : 72.45 131357 0 0 0 0 262714
1800.09/1800.61 c mostinf : 0.00 0 0 0 0 0 0
1800.09/1800.61 c leastinf : 0.00 0 0 0 0 0 0
1800.09/1800.61 c fullstrong : 0.00 0 0 0 0 0 0
1800.09/1800.61 c allfullstrong : 0.00 0 0 0 0 0 0
1800.09/1800.61 c random : 0.00 0 0 0 0 0 0
1800.09/1800.61 c Primal Heuristics : Time Calls Found
1800.09/1800.61 c LP solutions : 0.00 - 0
1800.09/1800.61 c pseudo solutions : 0.00 - 0
1800.09/1800.61 c oneopt : 0.04 0 0
1800.09/1800.61 c crossover : 0.00 0 0
1800.09/1800.61 c trivial : 0.01 2 0
1800.09/1800.61 c simplerounding : 0.00 0 0
1800.09/1800.61 c zirounding : 0.00 1 0
1800.09/1800.61 c rounding : 0.28 100 0
1800.09/1800.61 c shifting : 2.07 100 0
1800.09/1800.61 c intshifting : 0.00 0 0
1800.09/1800.61 c twoopt : 0.00 0 0
1800.09/1800.61 c fixandinfer : 0.00 0 0
1800.09/1800.61 c feaspump : 0.07 1 0
1800.09/1800.61 c coefdiving : 0.00 0 0
1800.09/1800.61 c pscostdiving : 0.00 0 0
1800.09/1800.61 c fracdiving : 0.00 0 0
1800.09/1800.61 c veclendiving : 0.00 0 0
1800.09/1800.61 c intdiving : 0.00 0 0
1800.09/1800.61 c actconsdiving : 0.00 0 0
1800.09/1800.61 c objpscostdiving : 0.00 0 0
1800.09/1800.61 c rootsoldiving : 0.00 0 0
1800.09/1800.61 c linesearchdiving : 0.00 0 0
1800.09/1800.62 c guideddiving : 0.00 0 0
1800.09/1800.62 c octane : 0.00 0 0
1800.09/1800.62 c rens : 0.01 0 0
1800.09/1800.62 c rins : 0.00 0 0
1800.09/1800.62 c localbranching : 0.00 0 0
1800.09/1800.62 c mutation : 0.00 0 0
1800.09/1800.62 c dins : 0.00 0 0
1800.09/1800.62 c undercover : 0.00 0 0
1800.09/1800.62 c nlp : 0.20 0 0
1800.09/1800.62 c trysol : 0.14 0 0
1800.09/1800.62 c LP : Time Calls Iterations Iter/call Iter/sec
1800.09/1800.62 c primal LP : 0.39 0 0 0.00 0.00
1800.09/1800.62 c dual LP : 220.91 152 240502 1582.25 1088.69
1800.09/1800.62 c lex dual LP : 0.00 0 0 0.00 -
1800.09/1800.62 c barrier LP : 0.00 0 0 0.00 -
1800.09/1800.62 c diving/probing LP: 0.00 0 0 0.00 -
1800.09/1800.62 c strong branching : 7.56 26 9157 352.19 1211.24
1800.09/1800.62 c (at root node) : - 26 9157 352.19 -
1800.09/1800.62 c conflict analysis: 0.00 0 0 0.00 -
1800.09/1800.62 c B&B Tree :
1800.09/1800.62 c number of runs : 1
1800.09/1800.62 c nodes : 196852
1800.09/1800.62 c nodes (total) : 196852
1800.09/1800.62 c nodes left : 41
1800.09/1800.62 c max depth : 77
1800.09/1800.62 c max depth (total): 77
1800.09/1800.62 c backtracks : 65537 (33.3%)
1800.09/1800.62 c delayed cutoffs : 65824
1800.09/1800.62 c repropagations : 193369 (33600492 domain reductions, 65527 cutoffs)
1800.09/1800.62 c avg switch length: 2.64
1800.09/1800.62 c switching time : 165.64
1800.09/1800.62 c Solution :
1800.09/1800.62 c Solutions found : 0 (0 improvements)
1800.09/1800.62 c Primal Bound : -
1800.09/1800.62 c Dual Bound : +1.22741226790151e+03
1800.09/1800.62 c Gap : infinite
1800.09/1800.62 c Root Dual Bound : +1.22688894961049e+03
1800.09/1800.62 c Root Iterations : 240502
1800.19/1800.77 c Time complete: 1800.25.