0.00/0.00 c SCIP version 1.2.1.3 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Clp 1.11.1]
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-2705056-1278574754.wbo>
0.00/0.03 c original problem has 3364 variables (2277 bin, 0 int, 1087 impl, 0 cont) and 4271 constraints
0.00/0.03 c problem read
0.00/0.03 c presolving settings loaded
0.00/0.04 c presolving:
0.00/0.05 c (round 1) 52 del vars, 10 del conss, 2 chg bounds, 64 chg sides, 130 chg coeffs, 0 upgd conss, 11825 impls, 0 clqs
0.00/0.05 c (round 2) 53 del vars, 107 del conss, 2 chg bounds, 64 chg sides, 130 chg coeffs, 0 upgd conss, 11825 impls, 0 clqs
0.00/0.07 c (round 3) 54 del vars, 110 del conss, 1088 chg bounds, 66 chg sides, 130 chg coeffs, 0 upgd conss, 11825 impls, 0 clqs
0.07/0.08 c (round 4) 56 del vars, 110 del conss, 1088 chg bounds, 66 chg sides, 130 chg coeffs, 1992 upgd conss, 11825 impls, 0 clqs
0.19/0.23 c (round 5) 107 del vars, 110 del conss, 1088 chg bounds, 66 chg sides, 130 chg coeffs, 1992 upgd conss, 15502 impls, 0 clqs
0.19/0.23 c (round 6) 107 del vars, 161 del conss, 1088 chg bounds, 66 chg sides, 130 chg coeffs, 1992 upgd conss, 15502 impls, 0 clqs
0.19/0.24 c (round 7) 107 del vars, 171 del conss, 1088 chg bounds, 66 chg sides, 130 chg coeffs, 1992 upgd conss, 15502 impls, 0 clqs
0.29/0.35 c (0.3s) probing: 827/2223 (37.2%) - 0 fixings, 61 aggregations, 453 implications, 0 bound changes
0.29/0.35 c (0.3s) probing aborted: 100/100 successive totally useless probings
0.29/0.35 c (round 8) 117 del vars, 171 del conss, 1088 chg bounds, 66 chg sides, 130 chg coeffs, 1992 upgd conss, 15628 impls, 0 clqs
0.29/0.35 c (round 9) 117 del vars, 181 del conss, 1088 chg bounds, 66 chg sides, 130 chg coeffs, 1992 upgd conss, 15628 impls, 0 clqs
0.29/0.35 c (round 10) 117 del vars, 184 del conss, 1088 chg bounds, 66 chg sides, 130 chg coeffs, 1992 upgd conss, 15628 impls, 0 clqs
0.29/0.36 c (0.3s) probing: 837/2223 (37.7%) - 0 fixings, 61 aggregations, 453 implications, 0 bound changes
0.29/0.36 c (0.3s) probing aborted: 100/100 successive totally useless probings
0.29/0.36 c presolving (11 rounds):
0.29/0.36 c 117 deleted vars, 184 deleted constraints, 1088 tightened bounds, 0 added holes, 66 changed sides, 130 changed coefficients
0.29/0.36 c 15628 implications, 0 cliques
0.29/0.36 c presolved problem has 3247 variables (2162 bin, 0 int, 1085 impl, 0 cont) and 4087 constraints
0.29/0.36 c 1 constraints of type <varbound>
0.29/0.36 c 83 constraints of type <knapsack>
0.29/0.36 c 1222 constraints of type <setppc>
0.29/0.36 c 1084 constraints of type <linear>
0.29/0.36 c 1085 constraints of type <indicator>
0.29/0.36 c 612 constraints of type <logicor>
0.29/0.36 c transformed objective value is always integral (scale: 1)
0.29/0.36 c Presolving Time: 0.32
0.29/0.36 c - non default parameters ----------------------------------------------------------------------
0.29/0.36 c # SCIP version 1.2.1.3
0.29/0.36 c
0.29/0.36 c # frequency for displaying node information lines
0.29/0.36 c # [type: int, range: [-1,2147483647], default: 100]
0.29/0.36 c display/freq = 10000
0.29/0.36 c
0.29/0.36 c # maximal time in seconds to run
0.29/0.36 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.29/0.36 c limits/time = 1789.98
0.29/0.36 c
0.29/0.36 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.29/0.36 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.29/0.36 c limits/memory = 3420
0.29/0.36 c
0.29/0.36 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.29/0.36 c # [type: int, range: [1,2], default: 1]
0.29/0.36 c timing/clocktype = 2
0.29/0.36 c
0.29/0.36 c # should presolving try to simplify inequalities
0.29/0.36 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.29/0.36 c constraints/linear/simplifyinequalities = TRUE
0.29/0.36 c
0.29/0.36 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.29/0.36 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.29/0.36 c constraints/indicator/addCouplingCons = TRUE
0.29/0.36 c
0.29/0.36 c # should presolving try to simplify knapsacks
0.29/0.36 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.29/0.36 c constraints/knapsack/simplifyinequalities = TRUE
0.29/0.36 c
0.29/0.36 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.29/0.36 c # [type: int, range: [-1,2147483647], default: -1]
0.29/0.36 c separating/rapidlearning/freq = 0
0.29/0.36 c
0.29/0.36 c -----------------------------------------------------------------------------------------------
0.29/0.36 c start solving
0.29/0.36 c
0.29/0.37 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.29/0.37 c 0.3s| 1 | 0 | 151 | - | 13M| 0 | 101 |3247 |4087 |3247 |1856 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
0.49/0.53 c 0.5s| 1 | 0 | 317 | - | 13M| 0 | 143 |3247 |4087 |3247 |1977 | 121 | 0 | 0 | 0.000000e+00 | -- | Inf
0.59/0.62 c 0.6s| 1 | 0 | 406 | - | 13M| 0 | 78 |3247 |4087 |3247 |2065 | 209 | 0 | 0 | 0.000000e+00 | -- | Inf
0.69/0.71 c 0.7s| 1 | 0 | 514 | - | 14M| 0 | 136 |3247 |4087 |3247 |2128 | 272 | 0 | 0 | 0.000000e+00 | -- | Inf
0.79/0.82 c 0.8s| 1 | 0 | 606 | - | 14M| 0 | 94 |3247 |4087 |3247 |2188 | 332 | 0 | 0 | 0.000000e+00 | -- | Inf
0.89/0.93 c 0.9s| 1 | 0 | 685 | - | 14M| 0 | 116 |3247 |4087 |3247 |2233 | 377 | 0 | 0 | 0.000000e+00 | -- | Inf
0.99/1.06 c 1.0s| 1 | 0 | 736 | - | 14M| 0 | 114 |3247 |4087 |3247 |2273 | 417 | 0 | 0 | 0.000000e+00 | -- | Inf
1.09/1.19 c 1.2s| 1 | 0 | 800 | - | 14M| 0 | 112 |3247 |4087 |3247 |2287 | 431 | 0 | 0 | 0.000000e+00 | -- | Inf
1.39/1.40 c 1.4s| 1 | 2 | 800 | - | 14M| 0 | 112 |3247 |4087 |3247 |2287 | 431 | 0 | 15 | 0.000000e+00 | -- | Inf
2.20/2.29 o 55457
2.20/2.29 c y 2.3s| 33 | 32 | 1091 | 9.1 | 14M| 31 | - |3247 |4087 | 0 | 0 | 439 | 0 | 282 | 0.000000e+00 | 5.545700e+04 | Inf
34.29/34.32 c 34.3s| 10000 | 9888 | 45361 | 4.5 | 41M| 103 | 0 |3247 |4140 |3247 |2153 |3861 | 60 |3602 | 0.000000e+00 | 5.545700e+04 | Inf
50.50/50.57 c 50.5s| 20000 | 19888 | 49413 | 2.4 | 60M| 295 | 0 |3247 |4143 |3247 |2186 |4322 | 63 |3711 | 0.000000e+00 | 5.545700e+04 | Inf
66.39/66.41 c 66.4s| 30000 | 29888 | 52199 | 1.7 | 78M| 295 | 0 |3247 |4143 |3247 |2187 |4785 | 63 |3723 | 0.000000e+00 | 5.545700e+04 | Inf
82.00/82.07 c 82.0s| 40000 | 39888 | 54801 | 1.4 | 97M| 295 | 0 |3247 |4143 |3247 |2185 |5168 | 63 |3735 | 0.000000e+00 | 5.545700e+04 | Inf
97.69/97.72 c 97.7s| 50000 | 49888 | 57165 | 1.1 | 116M| 295 | 0 |3247 |4143 |3247 |2142 |5520 | 63 |3735 | 0.000000e+00 | 5.545700e+04 | Inf
113.39/113.49 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
113.39/113.49 c 113s| 60000 | 59888 | 59754 | 1.0 | 135M| 297 | 0 |3247 |4143 |3247 |2180 |5886 | 63 |3765 | 0.000000e+00 | 5.545700e+04 | Inf
128.90/128.96 c 129s| 70000 | 69888 | 61799 | 0.9 | 154M| 297 | 0 |3247 |4143 |3247 |2174 |6168 | 63 |3786 | 0.000000e+00 | 5.545700e+04 | Inf
144.70/144.75 c 145s| 80000 | 79888 | 64131 | 0.8 | 173M| 303 | 0 |3247 |4143 |3247 |2166 |6500 | 63 |3799 | 0.000000e+00 | 5.545700e+04 | Inf
160.20/160.23 c 160s| 90000 | 89888 | 66070 | 0.7 | 192M| 303 | 0 |3247 |4143 |3247 |2181 |6813 | 63 |3820 | 0.000000e+00 | 5.545700e+04 | Inf
175.69/175.73 c 176s|100000 | 99888 | 68124 | 0.7 | 211M| 303 | 0 |3247 |4143 |3247 |2193 |7083 | 63 |3820 | 0.000000e+00 | 5.545700e+04 | Inf
191.30/191.33 c 191s|110000 |109888 | 69678 | 0.6 | 230M| 303 | 0 |3247 |4142 |3247 |2164 |7272 | 63 |3824 | 0.000000e+00 | 5.545700e+04 | Inf
207.80/207.83 c 208s|120000 |119888 | 72587 | 0.6 | 249M| 303 | 0 |3247 |4142 |3247 |2183 |7718 | 63 |3826 | 0.000000e+00 | 5.545700e+04 | Inf
223.30/223.34 c 223s|130000 |129888 | 74871 | 0.6 | 268M| 303 | 0 |3247 |4142 |3247 |2193 |8017 | 63 |3834 | 0.000000e+00 | 5.545700e+04 | Inf
238.89/238.98 c 239s|140000 |139888 | 77344 | 0.5 | 287M| 303 | 0 |3247 |4142 |3247 |2179 |8321 | 63 |3834 | 0.000000e+00 | 5.545700e+04 | Inf
254.40/254.42 c 254s|150000 |149888 | 79762 | 0.5 | 306M| 303 | 0 |3247 |4142 |3247 |2180 |8587 | 63 |3834 | 0.000000e+00 | 5.545700e+04 | Inf
270.09/270.17 c 270s|160000 |159888 | 81900 | 0.5 | 326M| 303 | 0 |3247 |4142 |3247 |2179 |8838 | 63 |3834 | 0.000000e+00 | 5.545700e+04 | Inf
285.49/285.52 c 285s|170000 |169888 | 83501 | 0.5 | 345M| 303 | 0 |3247 |4142 |3247 |2184 |9001 | 63 |3834 | 0.000000e+00 | 5.545700e+04 | Inf
301.40/301.43 c 301s|180000 |179888 | 86931 | 0.5 | 364M| 303 | 0 |3247 |4141 |3247 |2176 |9368 | 63 |3862 | 0.000000e+00 | 5.545700e+04 | Inf
316.89/316.93 c 317s|190000 |189888 | 89024 | 0.5 | 382M| 303 | 0 |3247 |4141 |3247 |2176 |9631 | 63 |3862 | 0.000000e+00 | 5.545700e+04 | Inf
332.40/332.48 c 332s|200000 |199888 | 91114 | 0.5 | 401M| 303 | 0 |3247 |4141 |3247 |2180 |9931 | 63 |3862 | 0.000000e+00 | 5.545700e+04 | Inf
348.40/348.46 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
348.40/348.46 c 348s|210000 |209888 | 93591 | 0.4 | 421M| 303 | 0 |3247 |4141 |3247 |2174 | 10k| 63 |3862 | 0.000000e+00 | 5.545700e+04 | Inf
363.90/363.94 c 364s|220000 |219888 | 95665 | 0.4 | 439M| 303 | 0 |3247 |4141 |3247 |2177 | 10k| 63 |3862 | 0.000000e+00 | 5.545700e+04 | Inf
379.30/379.36 c 379s|230000 |229888 | 97549 | 0.4 | 458M| 303 | 0 |3247 |4141 |3247 |2177 | 10k| 63 |3862 | 0.000000e+00 | 5.545700e+04 | Inf
394.70/394.73 c 395s|240000 |239888 | 99409 | 0.4 | 477M| 303 | 0 |3247 |4141 |3247 |2186 | 10k| 63 |3862 | 0.000000e+00 | 5.545700e+04 | Inf
410.00/410.07 c 410s|250000 |249888 |101299 | 0.4 | 496M| 303 | 0 |3247 |4141 |3247 |2189 | 11k| 63 |3862 | 0.000000e+00 | 5.545700e+04 | Inf
425.50/425.51 c 425s|260000 |259888 |103293 | 0.4 | 515M| 303 | 0 |3247 |4141 |3247 |2181 | 11k| 63 |3862 | 0.000000e+00 | 5.545700e+04 | Inf
441.30/441.39 c 441s|270000 |269888 |105938 | 0.4 | 534M| 303 | 0 |3247 |4141 |3247 |2177 | 11k| 63 |3866 | 0.000000e+00 | 5.545700e+04 | Inf
457.20/457.28 c 457s|280000 |279888 |108597 | 0.4 | 554M| 303 | 0 |3247 |4141 |3247 |2193 | 12k| 63 |3867 | 0.000000e+00 | 5.545700e+04 | Inf
473.20/473.27 c 473s|290000 |289885 |111350 | 0.4 | 573M| 303 | 0 |3247 |4142 |3247 |2164 | 12k| 64 |3867 | 0.000000e+00 | 5.545700e+04 | Inf
488.70/488.79 c 489s|300000 |299885 |113515 | 0.4 | 592M| 303 | 0 |3247 |4142 |3247 |2182 | 12k| 64 |3867 | 0.000000e+00 | 5.545700e+04 | Inf
504.41/504.49 c 504s|310000 |309885 |115784 | 0.4 | 611M| 303 | 0 |3247 |4142 |3247 |2166 | 13k| 64 |3869 | 0.000000e+00 | 5.545700e+04 | Inf
520.41/520.46 c 520s|320000 |319885 |117286 | 0.4 | 630M| 303 | 0 |3247 |4142 |3247 |2178 | 13k| 64 |3869 | 0.000000e+00 | 5.545700e+04 | Inf
536.21/536.25 c 536s|330000 |329885 |119149 | 0.4 | 649M| 303 | 0 |3247 |4142 |3247 |2181 | 13k| 64 |3869 | 0.000000e+00 | 5.545700e+04 | Inf
552.00/552.10 c 552s|340000 |339885 |120738 | 0.4 | 668M| 303 | 0 |3247 |4142 |3247 |2180 | 13k| 64 |3869 | 0.000000e+00 | 5.545700e+04 | Inf
567.80/567.89 c 568s|350000 |349885 |122163 | 0.3 | 688M| 303 | 0 |3247 |4142 |3247 |2166 | 14k| 64 |3872 | 0.000000e+00 | 5.545700e+04 | Inf
583.81/583.80 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
583.81/583.80 c 584s|360000 |359885 |124080 | 0.3 | 707M| 303 | 0 |3247 |4142 |3247 |2180 | 14k| 64 |3872 | 0.000000e+00 | 5.545700e+04 | Inf
599.61/599.64 c 600s|370000 |369885 |125542 | 0.3 | 726M| 303 | 0 |3247 |4142 |3247 |2174 | 14k| 64 |3872 | 0.000000e+00 | 5.545700e+04 | Inf
615.50/615.50 c 615s|380000 |379885 |127405 | 0.3 | 745M| 303 | 0 |3247 |4140 |3247 |2176 | 14k| 64 |3872 | 0.000000e+00 | 5.545700e+04 | Inf
631.31/631.32 c 631s|390000 |389885 |128855 | 0.3 | 764M| 303 | 0 |3247 |4140 |3247 |2187 | 15k| 64 |3874 | 0.000000e+00 | 5.545700e+04 | Inf
647.21/647.20 c 647s|400000 |399885 |130498 | 0.3 | 783M| 303 | 0 |3247 |4140 |3247 |2200 | 15k| 64 |3874 | 0.000000e+00 | 5.545700e+04 | Inf
663.01/663.06 c 663s|410000 |409885 |132419 | 0.3 | 802M| 303 | 0 |3247 |4140 |3247 |2191 | 15k| 64 |3876 | 0.000000e+00 | 5.545700e+04 | Inf
678.90/678.94 c 679s|420000 |419885 |134103 | 0.3 | 822M| 303 | 0 |3247 |4140 |3247 |2181 | 15k| 64 |3876 | 0.000000e+00 | 5.545700e+04 | Inf
694.71/694.71 c 695s|430000 |429885 |135762 | 0.3 | 841M| 303 | 0 |3247 |4140 |3247 |2174 | 15k| 64 |3880 | 0.000000e+00 | 5.545700e+04 | Inf
710.41/710.49 c 710s|440000 |439885 |137321 | 0.3 | 860M| 303 | 0 |3247 |4140 |3247 |2188 | 16k| 64 |3882 | 0.000000e+00 | 5.545700e+04 | Inf
726.21/726.29 c 726s|450000 |449885 |138904 | 0.3 | 879M| 303 | 0 |3247 |4140 |3247 |2173 | 16k| 64 |3884 | 0.000000e+00 | 5.545700e+04 | Inf
742.01/742.00 c 742s|460000 |459885 |140428 | 0.3 | 898M| 303 | 0 |3247 |4140 |3247 |2182 | 16k| 64 |3884 | 0.000000e+00 | 5.545700e+04 | Inf
757.71/757.73 c 758s|470000 |469885 |142431 | 0.3 | 917M| 303 | 0 |3247 |4140 |3247 |2172 | 16k| 64 |3886 | 0.000000e+00 | 5.545700e+04 | Inf
773.51/773.54 c 774s|480000 |479885 |144124 | 0.3 | 936M| 303 | 0 |3247 |4140 |3247 |2169 | 16k| 64 |3886 | 0.000000e+00 | 5.545700e+04 | Inf
789.41/789.40 c 789s|490000 |489885 |145620 | 0.3 | 956M| 303 | 0 |3247 |4140 |3247 |2178 | 16k| 64 |3886 | 0.000000e+00 | 5.545700e+04 | Inf
805.32/805.39 c 805s|500000 |499885 |147510 | 0.3 | 975M| 303 | 0 |3247 |4140 |3247 |2181 | 17k| 64 |3886 | 0.000000e+00 | 5.545700e+04 | Inf
821.31/821.39 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
821.31/821.39 c 821s|510000 |509885 |149156 | 0.3 | 994M| 303 | 0 |3247 |4140 |3247 |2168 | 17k| 64 |3886 | 0.000000e+00 | 5.545700e+04 | Inf
837.31/837.33 c 837s|520000 |519885 |150908 | 0.3 |1013M| 303 | 0 |3247 |4140 |3247 |2172 | 17k| 64 |3886 | 0.000000e+00 | 5.545700e+04 | Inf
853.31/853.34 c 853s|530000 |529885 |152974 | 0.3 |1032M| 303 | 0 |3247 |4140 |3247 |2184 | 17k| 64 |3886 | 0.000000e+00 | 5.545700e+04 | Inf
869.11/869.19 c 869s|540000 |539885 |154583 | 0.3 |1051M| 303 | 0 |3247 |4139 |3247 |2188 | 18k| 64 |3886 | 0.000000e+00 | 5.545700e+04 | Inf
884.91/884.95 c 885s|550000 |549885 |155764 | 0.3 |1070M| 303 | 0 |3247 |4138 |3247 |2198 | 18k| 64 |3886 | 0.000000e+00 | 5.545700e+04 | Inf
900.92/900.92 c 901s|560000 |559885 |157107 | 0.3 |1089M| 303 | 0 |3247 |4138 |3247 |2168 | 18k| 64 |3886 | 0.000000e+00 | 5.545700e+04 | Inf
916.82/916.85 c 917s|570000 |569885 |158410 | 0.3 |1109M| 303 | 0 |3247 |4138 |3247 |2174 | 18k| 64 |3886 | 0.000000e+00 | 5.545700e+04 | Inf
932.62/932.64 c 933s|580000 |579885 |160039 | 0.3 |1128M| 303 | 0 |3247 |4138 |3247 |2178 | 18k| 64 |3886 | 0.000000e+00 | 5.545700e+04 | Inf
948.12/948.18 c 948s|590000 |589885 |161920 | 0.3 |1147M| 303 | 0 |3247 |4138 |3247 |2186 | 19k| 64 |3886 | 0.000000e+00 | 5.545700e+04 | Inf
964.01/964.09 c 964s|600000 |599885 |163854 | 0.3 |1166M| 303 | 0 |3247 |4138 |3247 |2164 | 19k| 64 |3886 | 0.000000e+00 | 5.545700e+04 | Inf
980.02/980.03 c 980s|610000 |609885 |165394 | 0.3 |1185M| 303 | 0 |3247 |4138 |3247 |2163 | 19k| 64 |3886 | 0.000000e+00 | 5.545700e+04 | Inf
995.92/995.98 c 996s|620000 |619885 |166928 | 0.3 |1204M| 303 | 0 |3247 |4138 |3247 |2171 | 19k| 64 |3886 | 0.000000e+00 | 5.545700e+04 | Inf
1011.92/1011.92 c 1012s|630000 |629885 |168478 | 0.3 |1223M| 303 | 0 |3247 |4138 |3247 |2162 | 20k| 64 |3886 | 0.000000e+00 | 5.545700e+04 | Inf
1027.82/1027.84 c 1028s|640000 |639885 |169973 | 0.3 |1242M| 303 | 0 |3247 |4138 |3247 |2168 | 20k| 64 |3886 | 0.000000e+00 | 5.545700e+04 | Inf
1043.41/1043.45 c 1043s|650000 |649885 |171949 | 0.3 |1261M| 303 | 0 |3247 |4138 |3247 |2177 | 20k| 64 |3886 | 0.000000e+00 | 5.545700e+04 | Inf
1059.32/1059.34 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1059.32/1059.34 c 1059s|660000 |659885 |175016 | 0.3 |1280M| 303 | 0 |3247 |4138 |3247 |2181 | 20k| 64 |3886 | 0.000000e+00 | 5.545700e+04 | Inf
1075.62/1075.61 c 1076s|670000 |669883 |177890 | 0.3 |1300M| 303 | 0 |3247 |4139 |3247 |2162 | 21k| 65 |3889 | 0.000000e+00 | 5.545700e+04 | Inf
1091.52/1091.50 c 1091s|680000 |679883 |179172 | 0.3 |1319M| 303 | 0 |3247 |4139 |3247 |2161 | 21k| 65 |3889 | 0.000000e+00 | 5.545700e+04 | Inf
1107.22/1107.21 c 1107s|690000 |689883 |180558 | 0.3 |1338M| 303 | 0 |3247 |4139 |3247 |2163 | 21k| 65 |3889 | 0.000000e+00 | 5.545700e+04 | Inf
1123.02/1123.04 c 1123s|700000 |699883 |182027 | 0.3 |1357M| 303 | 0 |3247 |4138 |3247 |2175 | 21k| 65 |3889 | 0.000000e+00 | 5.545700e+04 | Inf
1138.82/1138.84 c 1139s|710000 |709883 |183560 | 0.3 |1376M| 303 | 0 |3247 |4138 |3247 |2185 | 22k| 65 |3889 | 0.000000e+00 | 5.545700e+04 | Inf
1154.83/1154.82 c 1155s|720000 |719883 |185284 | 0.3 |1396M| 303 | 0 |3247 |4138 |3247 |2190 | 22k| 65 |3889 | 0.000000e+00 | 5.545700e+04 | Inf
1170.82/1170.81 c 1171s|730000 |729883 |186753 | 0.3 |1415M| 303 | 0 |3247 |4138 |3247 |2162 | 22k| 65 |3889 | 0.000000e+00 | 5.545700e+04 | Inf
1186.72/1186.75 c 1187s|740000 |739883 |188160 | 0.3 |1434M| 303 | 0 |3247 |4138 |3247 |2173 | 22k| 65 |3889 | 0.000000e+00 | 5.545700e+04 | Inf
1202.72/1202.71 c 1203s|750000 |749883 |189513 | 0.3 |1453M| 303 | 0 |3247 |4138 |3247 |2161 | 22k| 65 |3889 | 0.000000e+00 | 5.545700e+04 | Inf
1218.62/1218.62 c 1219s|760000 |759883 |191130 | 0.3 |1473M| 303 | 0 |3247 |4138 |3247 |2171 | 23k| 65 |3889 | 0.000000e+00 | 5.545700e+04 | Inf
1234.63/1234.64 c 1235s|770000 |769883 |192695 | 0.2 |1492M| 303 | 0 |3247 |4138 |3247 |2162 | 23k| 65 |3889 | 0.000000e+00 | 5.545700e+04 | Inf
1250.52/1250.60 c 1251s|780000 |779883 |194046 | 0.2 |1511M| 303 | 0 |3247 |4138 |3247 |2164 | 23k| 65 |3889 | 0.000000e+00 | 5.545700e+04 | Inf
1266.52/1266.56 c 1267s|790000 |789883 |195572 | 0.2 |1530M| 303 | 0 |3247 |4138 |3247 |2162 | 24k| 65 |3889 | 0.000000e+00 | 5.545700e+04 | Inf
1282.42/1282.49 c 1282s|800000 |799883 |197001 | 0.2 |1549M| 303 | 0 |3247 |4138 |3247 |2162 | 24k| 65 |3889 | 0.000000e+00 | 5.545700e+04 | Inf
1298.52/1298.50 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1298.52/1298.50 c 1298s|810000 |809883 |198343 | 0.2 |1569M| 303 | 0 |3247 |4138 |3247 |2161 | 24k| 65 |3889 | 0.000000e+00 | 5.545700e+04 | Inf
1314.53/1314.54 c 1315s|820000 |819883 |199670 | 0.2 |1588M| 303 | 0 |3247 |4138 |3247 |2171 | 24k| 65 |3889 | 0.000000e+00 | 5.545700e+04 | Inf
1330.52/1330.51 c 1330s|830000 |829883 |200931 | 0.2 |1607M| 303 | 0 |3247 |4138 |3247 |2164 | 25k| 65 |3889 | 0.000000e+00 | 5.545700e+04 | Inf
1346.82/1346.83 c 1347s|840000 |839883 |203067 | 0.2 |1627M| 303 | 0 |3247 |4138 |3247 |2141 | 25k| 65 |3914 | 0.000000e+00 | 5.545700e+04 | Inf
1363.23/1363.29 c 1363s|850000 |849883 |205974 | 0.2 |1646M| 303 | 0 |3247 |4137 |3247 |2147 | 25k| 65 |3972 | 0.000000e+00 | 5.545700e+04 | Inf
1379.23/1379.28 c 1379s|860000 |859883 |207348 | 0.2 |1666M| 303 | 0 |3247 |4137 |3247 |2151 | 25k| 65 |4023 | 0.000000e+00 | 5.545700e+04 | Inf
1395.23/1395.21 c 1395s|870000 |869883 |208943 | 0.2 |1685M| 303 | 0 |3247 |4137 |3247 |2146 | 25k| 65 |4031 | 0.000000e+00 | 5.545700e+04 | Inf
1411.33/1411.36 c 1411s|880000 |879883 |210576 | 0.2 |1705M| 303 | 0 |3247 |4137 |3247 |2143 | 26k| 65 |4068 | 0.000000e+00 | 5.545700e+04 | Inf
1427.23/1427.27 c 1427s|890000 |889883 |211764 | 0.2 |1724M| 303 | 0 |3247 |4137 |3247 |2147 | 26k| 65 |4068 | 0.000000e+00 | 5.545700e+04 | Inf
1443.23/1443.24 c 1443s|900000 |899881 |213436 | 0.2 |1744M| 303 | 0 |3247 |4139 |3247 |2151 | 26k| 67 |4068 | 0.000000e+00 | 5.545700e+04 | Inf
1459.23/1459.21 c 1459s|910000 |909881 |214661 | 0.2 |1764M| 303 | 0 |3247 |4139 |3247 |2143 | 26k| 67 |4087 | 0.000000e+00 | 5.545700e+04 | Inf
1475.23/1475.28 c 1475s|920000 |919881 |216489 | 0.2 |1783M| 303 | 0 |3247 |4139 |3247 |2160 | 26k| 67 |4108 | 0.000000e+00 | 5.545700e+04 | Inf
1491.33/1491.36 c 1491s|930000 |929881 |217997 | 0.2 |1803M| 303 | 0 |3247 |4139 |3247 |2180 | 26k| 67 |4108 | 0.000000e+00 | 5.545700e+04 | Inf
1507.33/1507.37 c 1507s|940000 |939881 |219691 | 0.2 |1822M| 303 | 0 |3247 |4139 |3247 |2175 | 27k| 67 |4109 | 0.000000e+00 | 5.545700e+04 | Inf
1523.33/1523.33 c 1523s|950000 |949881 |221149 | 0.2 |1842M| 303 | 0 |3247 |4139 |3247 |2151 | 27k| 67 |4109 | 0.000000e+00 | 5.545700e+04 | Inf
1539.33/1539.34 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1539.33/1539.34 c 1539s|960000 |959881 |222718 | 0.2 |1861M| 303 | 0 |3247 |4139 |3247 |2152 | 27k| 67 |4116 | 0.000000e+00 | 5.545700e+04 | Inf
1555.43/1555.48 c 1555s|970000 |969881 |223848 | 0.2 |1881M| 303 | 0 |3247 |4139 |3247 |2141 | 27k| 67 |4129 | 0.000000e+00 | 5.545700e+04 | Inf
1571.13/1571.13 c 1571s|980000 |979881 |225436 | 0.2 |1900M| 303 | 0 |3247 |4139 |3247 |2180 | 27k| 67 |4129 | 0.000000e+00 | 5.545700e+04 | Inf
1586.83/1586.86 c 1587s|990000 |989881 |227354 | 0.2 |1919M| 303 | 0 |3247 |4139 |3247 |2179 | 27k| 67 |4162 | 0.000000e+00 | 5.545700e+04 | Inf
1602.83/1602.83 c 1603s| 1000k|999881 |229210 | 0.2 |1938M| 303 | 0 |3247 |4139 |3247 |2175 | 28k| 67 |4241 | 0.000000e+00 | 5.545700e+04 | Inf
1618.44/1618.49 c 1618s| 1010k| 1009k|230998 | 0.2 |1957M| 303 | 0 |3247 |4139 |3247 |2187 | 28k| 67 |4244 | 0.000000e+00 | 5.545700e+04 | Inf
1634.24/1634.26 c 1634s| 1020k| 1019k|232575 | 0.2 |1976M| 303 | 0 |3247 |4139 |3247 |2176 | 28k| 67 |4252 | 0.000000e+00 | 5.545700e+04 | Inf
1649.94/1649.98 c 1650s| 1030k| 1029k|234226 | 0.2 |1995M| 303 | 0 |3247 |4139 |3247 |2179 | 28k| 67 |4263 | 0.000000e+00 | 5.545700e+04 | Inf
1665.84/1665.85 c 1666s| 1040k| 1039k|235326 | 0.2 |2015M| 303 | 0 |3247 |4139 |3247 |2141 | 28k| 67 |4281 | 0.000000e+00 | 5.545700e+04 | Inf
1681.84/1681.86 c 1682s| 1050k| 1049k|236708 | 0.2 |2034M| 303 | 0 |3247 |4139 |3247 |2154 | 29k| 67 |4295 | 0.000000e+00 | 5.545700e+04 | Inf
1697.83/1697.85 c 1698s| 1060k| 1059k|237879 | 0.2 |2054M| 303 | 0 |3247 |4139 |3247 |2187 | 29k| 67 |4296 | 0.000000e+00 | 5.545700e+04 | Inf
1713.63/1713.61 c 1714s| 1070k| 1069k|238773 | 0.2 |2073M| 303 | 0 |3247 |4139 |3247 |2149 | 29k| 67 |4296 | 0.000000e+00 | 5.545700e+04 | Inf
1729.33/1729.40 c 1729s| 1080k| 1079k|239668 | 0.2 |2093M| 303 | 0 |3247 |4139 |3247 |2147 | 29k| 67 |4296 | 0.000000e+00 | 5.545700e+04 | Inf
1745.43/1745.42 c 1745s| 1090k| 1089k|240972 | 0.2 |2112M| 303 | 0 |3247 |4137 |3247 |2141 | 29k| 67 |4304 | 0.000000e+00 | 5.545700e+04 | Inf
1761.44/1761.44 c 1761s| 1100k| 1099k|242343 | 0.2 |2132M| 303 | 0 |3247 |4137 |3247 |2155 | 29k| 67 |4304 | 0.000000e+00 | 5.545700e+04 | Inf
1777.34/1777.35 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1777.34/1777.35 c 1777s| 1110k| 1109k|243702 | 0.2 |2151M| 303 | 0 |3247 |4137 |3247 |2155 | 29k| 67 |4304 | 0.000000e+00 | 5.545700e+04 | Inf
1790.04/1790.01 c
1790.04/1790.01 c SCIP Status : solving was interrupted [time limit reached]
1790.04/1790.01 c Solving Time (sec) : 1789.98
1790.04/1790.01 c Solving Nodes : 1117884
1790.04/1790.01 c Primal Bound : +5.54570000000000e+04 (100 solutions)
1790.04/1790.01 c Dual Bound : +0.00000000000000e+00
1790.04/1790.01 c Gap : infinite
1790.04/1790.03 s SATISFIABLE
1790.04/1790.03 v x1190 -x1189 -x1188 -x1187 -x1186 -x1185 -x1184 -x1183 -x1182 -x1181 x1180 x1179 -x1178 x1177 x1176 -x1175 -x1174 -x1173 -x1172
1790.04/1790.03 v -x1171 -x1170 -x1169 -x1168 -x1167 -x1166 -x1165 -x1164 -x1163 x1162 -x1161 -x1160 x1159 x1158 x1157 x1156 x1155 x1154 x1153
1790.04/1790.03 v x1152 x1151 -x1150 -x1149 -x1148 x1147 -x1146 x1145 -x1144 -x1143 -x1142 -x1141 -x1140 -x1139 -x1138 -x1137 -x1136 -x1135 -x1134
1790.04/1790.03 v -x1133 x1132 -x1131 -x1130 -x1129 x1128 -x1127 -x1126 -x1125 -x1124 -x1123 -x1122 -x1121 -x1120 -x1119 -x1118 -x1117 -x1116
1790.04/1790.03 v -x1115 -x1114 x1113 -x1112 -x1111 -x1110 -x1109 -x1108 -x1107 -x1106 -x1105 x1104 -x1103 -x1102 -x1101 -x1100 -x1099 -x1098
1790.04/1790.03 v -x1097 -x1096 -x1095 -x1094 -x1093 -x1092 -x1091 -x1090 -x1089 -x1088 -x1087 -x1086 -x1085 -x1084 -x1083 -x1082 -x1081 -x1080
1790.04/1790.03 v -x1079 -x1078 -x1077 -x1076 -x1075 -x1074 -x1073 -x1072 -x1071 -x1070 -x1069 -x1068 -x1067 -x1066 -x1065 -x1064 -x1063 -x1062
1790.04/1790.03 v -x1061 -x1060 -x1059 -x1058 -x1057 -x1056 -x1055 -x1054 -x1053 -x1052 -x1051 -x1050 -x1049 -x1048 -x1047 -x1046 -x1045 -x1044
1790.04/1790.03 v -x1043 -x1042 -x1041 -x1040 -x1039 -x1038 -x1037 -x1036 -x1035 -x1034 -x1033 -x1032 -x1031 -x1030 -x1029 -x1028 -x1027
1790.04/1790.03 v -x1026 -x1025 -x1024 -x1023 -x1022 -x1021 -x1020 -x1019 -x1018 -x1017 -x1016 -x1015 -x1014 -x1013 -x1012 -x1011 -x1010 -x1009
1790.04/1790.03 v -x1008 -x1007 -x1006 -x1005 -x1004 -x1003 -x1002 -x1001 -x1000 -x999 -x998 -x997 -x996 -x995 -x994 -x993 -x992 -x991 -x990 -x989
1790.04/1790.03 v -x988 -x987 -x986 -x985 -x984 -x983 -x982 -x981 -x980 -x979 -x978 -x977 -x976 -x975 -x974 -x973 -x972 -x971 -x970 -x969
1790.04/1790.03 v -x968 -x967 -x966 -x965 -x964 -x963 -x962 -x961 -x960 -x959 -x958 -x957 x956 -x955 -x954 -x953 -x952 -x951 -x950 -x949 -x948
1790.04/1790.03 v -x947 -x946 -x945 -x944 -x943 -x942 -x941 -x940 -x939 -x938 -x937 -x936 -x935 -x934 -x933 -x932 -x931 -x930 -x929 -x928 -x927
1790.04/1790.03 v -x926 -x925 -x924 -x923 -x922 -x921 x920 -x919 -x918 -x917 -x916 x915 -x914 -x913 -x912 -x911 x910 -x909 -x908 -x907 -x906 x905
1790.04/1790.03 v -x904 -x903 -x902 -x901 x900 -x899 -x898 -x897 -x896 x895 -x894 -x893 -x892 -x891 x890 x889 x888 -x887 -x886 -x885 -x884
1790.04/1790.03 v -x883 -x882 -x881 -x880 x879 x878 -x877 -x876 -x875 -x874 -x873 -x872 -x871 -x870 -x869 -x868 -x867 -x866 -x865 -x864 -x863 -x862
1790.04/1790.03 v -x861 -x860 -x859 -x858 -x857 -x856 -x855 -x854 -x853 -x852 -x851 -x850 -x849 -x848 -x847 -x846 -x845 -x844 -x843 x842 x841
1790.04/1790.03 v -x840 x839 -x838 -x837 -x836 -x835 x834 x833 x832 x831 x830 -x829 -x828 -x827 -x826 x825 x824 x823 x822 x821 -x820 -x819
1790.04/1790.03 v -x818 -x817 x816 x815 x814 x813 x812 -x811 -x810 -x809 -x808 x807 x806 x805 x804 x803 -x802 -x801 -x800 -x799 x798 x797 x796
1790.04/1790.03 v x795 x794 -x793 -x792 -x791 -x790 x789 x788 x787 x786 x785 -x784 -x783 -x782 -x781 x780 x779 x778 -x777 x776 -x775 -x774 -x773
1790.04/1790.03 v -x772 -x771 -x770 x769 -x768 -x767 x766 x765 -x764 -x763 -x762 -x761 -x760 x759 -x758 -x757 x756 x755 -x754 -x753 -x752 -x751
1790.04/1790.03 v -x750 x749 -x748 -x747 x746 x745 -x744 -x743 -x742 -x741 -x740 x739 -x738 -x737 x736 x735 -x734 -x733 -x732 -x731 -x730 x729
1790.04/1790.03 v -x728 -x727 x726 x725 -x724 -x723 -x722 -x721 -x720 x719 -x718 -x717 x716 x715 -x714 -x713 -x712 -x711 -x710 x709 -x708 -x707
1790.04/1790.03 v x706 x705 -x704 -x703 -x702 -x701 -x700 -x699 -x698 -x697 x696 x695 x694 x693 x692 x691 -x690 x689 -x688 -x687 -x686 -x685
1790.04/1790.03 v x684 x683 x682 -x681 -x680 x679 -x678 -x677 -x676 -x675 -x674 -x673 x672 -x671 -x670 -x669 -x668 -x667 -x666 -x665 -x664 -x663
1790.04/1790.03 v -x662 -x661 -x660 -x659 -x658 -x657 -x656 -x655 -x654 -x653 -x652 -x651 -x650 -x649 -x648 -x647 -x646 -x645 -x644 -x643 -x642
1790.04/1790.03 v -x641 -x640 -x639 -x638 -x637 -x636 x635 -x634 -x633 -x632 -x631 -x630 -x629 -x628 -x627 -x626 -x625 -x624 -x623 -x622 -x621
1790.04/1790.03 v -x620 -x619 -x618 -x617 -x616 -x615 -x614 -x613 -x612 -x611 -x610 -x609 -x608 -x607 -x606 -x605 -x604 -x603 -x602 -x601
1790.04/1790.03 v -x600 -x599 -x598 -x597 -x596 -x595 -x594 -x593 -x592 -x591 -x590 -x589 -x588 -x587 -x586 -x585 -x584 -x583 -x582 -x581 -x580
1790.04/1790.03 v -x579 -x578 -x577 -x576 -x575 -x574 -x573 -x572 -x571 -x570 -x569 -x568 -x567 -x566 -x565 -x564 -x563 -x562 -x561 -x560 -x559
1790.04/1790.03 v -x558 -x557 -x556 -x555 -x554 -x553 -x552 -x551 -x550 -x549 -x548 -x547 -x546 -x545 -x544 -x543 -x542 -x541 -x540 -x539 -x538
1790.04/1790.03 v -x537 -x536 -x535 -x534 -x533 -x532 -x531 -x530 -x529 -x528 -x527 -x526 -x525 -x524 -x523 -x522 -x521 -x520 -x519 -x518 -x517
1790.04/1790.03 v -x516 -x515 -x514 -x513 -x512 -x511 x510 -x509 -x508 -x507 -x506 -x505 -x504 -x503 -x502 -x501 -x500 -x499 -x498 -x497 -x496
1790.04/1790.03 v -x495 -x494 -x493 -x492 -x491 -x490 -x489 -x488 -x487 -x486 -x485 -x484 -x483 -x482 -x481 -x480 -x479 -x478 -x477 -x476 -x475
1790.04/1790.03 v -x474 x473 -x472 x471 x470 x469 x468 x467 x466 x465 x464 -x463 x462 -x461 x460 -x459 x458 -x457 x456 -x455 x454 -x453 x452
1790.04/1790.03 v -x451 x450 -x449 x448 -x447 -x446 -x445 -x444 -x443 -x442 -x441 -x440 -x439 -x438 -x437 -x436 -x435 -x434 -x433 -x432 -x431
1790.04/1790.03 v -x430 -x429 -x428 -x427 -x426 -x425 -x424 -x423 x422 -x421 -x420 -x419 -x418 -x417 -x416 -x415 x414 x413 -x412 -x411 -x410
1790.04/1790.03 v -x409 -x408 -x407 -x406 x405 x404 -x403 -x402 -x401 -x400 -x399 -x398 x397 x396 x395 x394 x393 -x392 -x391 -x390 -x389 x388 x387
1790.04/1790.03 v x386 x385 x384 -x383 -x382 -x381 -x380 x379 x378 x377 x376 x375 -x374 -x373 -x372 -x371 x370 x369 x368 x367 -x366 -x365 -x364
1790.04/1790.03 v x363 x362 -x361 -x360 -x359 -x358 -x357 -x356 -x355 -x354 -x353 -x352 x351 x350 -x349 x348 x347 x346 -x345 -x344 -x343 -x342
1790.04/1790.03 v x341 x340 -x339 x338 -x337 -x336 x335 x334 -x333 x332 -x331 -x330 x329 x328 -x327 x326 -x325 -x324 x323 x322 -x321 x320
1790.04/1790.03 v -x319 -x318 x317 x316 -x315 x314 -x313 -x312 x311 x310 x309 x308 -x307 -x306 -x305 -x304 -x303 x302 -x301 -x300 -x299 -x298 x297
1790.04/1790.03 v -x296 -x295 x294 -x293 -x292 -x291 -x290 x289 x288 -x287 -x286 -x285 -x284 x283 -x282 -x281 -x280 x279 -x278 -x277 -x276
1790.04/1790.03 v x275 x274 -x273 -x272 -x271 -x270 x269 x268 -x267 -x266 x265 -x264 -x263 -x262 -x261 x260 x259 x258 -x257 -x256 -x255 -x254 -x253
1790.04/1790.03 v -x252 -x251 -x250 -x249 -x248 -x247 x246 -x245 -x244 -x243 -x242 -x241 -x240 -x239 -x238 -x237 -x236 -x235 -x234 x233 -x232
1790.04/1790.03 v -x231 -x230 -x229 -x228 -x227 -x226 x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216 -x215 -x214 x213 -x212 -x211
1790.04/1790.03 v -x210 -x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 -x199 -x198 -x197 -x196 x195 -x194 x193 x192 x191 x190 x189
1790.04/1790.03 v -x188 -x187 -x186 -x185 x184 -x183 -x182 -x181 x180 x179 x178 -x177 -x176 x175 x174 -x173 -x172 -x171 x170 -x169 -x168 -x167
1790.04/1790.03 v -x166 -x165 x164 -x163 -x162 -x161 -x160 -x159 -x158 x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 x149 -x148 -x147 x146
1790.04/1790.03 v -x145 -x144 -x143 -x142 x141 -x140 -x139 -x138 -x137 -x136 x135 -x134 -x133 -x132 -x131 x130 -x129 -x128 -x127 -x126 -x125 x124
1790.04/1790.03 v -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 x115 -x114 -x113 x112 x111 -x110 -x109 -x108 -x107 x106 -x105 -x104 -x103
1790.04/1790.03 v x102 -x101 x100 x99 x98 -x97 x96 -x95 -x94 -x93 -x92 -x91 x90 -x89 -x88 -x87 -x86 x85 x84 x83 -x82 -x81 -x80 x79 -x78 -x77 -x76
1790.04/1790.03 v -x75 x74 -x73 x72 -x71 -x70 x69 -x68 x67 -x66 -x65 x64 -x63 -x62 -x61 -x60 x59 -x58 -x57 -x56 -x55 -x54 -x53 -x52 x51 -x50
1790.04/1790.03 v -x49 -x48 -x47 x46 -x45 -x44 x43 x42 x41 -x40 x39 x38 x37 -x36 -x35 x34 x33 x32 -x31 -x30 x29 x28 x27 -x26 -x25 x24 x23 x22
1790.04/1790.03 v -x21 -x20 x19 x18 x17 -x16 -x15 x14 x13 x12 -x11 -x10 -x9 -x8 x7 x6 x5 x4 x3 -x2 -x1
1790.04/1790.03 c SCIP Status : solving was interrupted [time limit reached]
1790.04/1790.03 c Solving Time : 1789.98
1790.04/1790.03 c Original Problem :
1790.04/1790.03 c Problem name : HOME/instance-2705056-1278574754.wbo
1790.04/1790.03 c Variables : 3364 (2277 binary, 0 integer, 1087 implicit integer, 0 continuous)
1790.04/1790.03 c Constraints : 4271 initial, 4271 maximal
1790.04/1790.03 c Presolved Problem :
1790.04/1790.03 c Problem name : t_HOME/instance-2705056-1278574754.wbo
1790.04/1790.03 c Variables : 3247 (2162 binary, 0 integer, 1085 implicit integer, 0 continuous)
1790.04/1790.03 c Constraints : 4087 initial, 4143 maximal
1790.04/1790.03 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1790.04/1790.03 c trivial : 0.00 1 0 0 0 0 0 0 0
1790.04/1790.03 c dualfix : 0.00 3 0 0 0 0 0 0 0
1790.04/1790.03 c boundshift : 0.00 0 0 0 0 0 0 0 0
1790.04/1790.03 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1790.04/1790.03 c implics : 0.00 0 47 0 0 0 0 0 0
1790.04/1790.03 c probing : 0.23 0 61 0 0 0 0 0 0
1790.04/1790.03 c varbound : 0.00 0 0 0 0 0 0 0 0
1790.04/1790.03 c knapsack : 0.00 0 0 0 0 0 0 0 0
1790.04/1790.03 c setppc : 0.01 0 0 0 0 0 74 0 0
1790.04/1790.03 c linear : 0.06 2 3 0 1088 0 108 66 130
1790.04/1790.03 c indicator : 0.00 0 0 0 0 0 2 0 0
1790.04/1790.03 c logicor : 0.01 0 0 0 0 0 0 0 0
1790.04/1790.03 c bounddisjunction : 0.00 0 0 0 0 0 0 0 0
1790.04/1790.03 c root node : - 0 - - 0 - - - -
1790.04/1790.03 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1790.04/1790.03 c integral : 0 0 0 1133594 0 0 109 0 0 15236
1790.04/1790.03 c varbound : 1 7 330002 103080 0 0 7062 1 0 0
1790.04/1790.03 c knapsack : 83 7 2662879 1125918 0 21 17714 280 0 0
1790.04/1790.03 c setppc : 1222 7 2662858 1125918 0 3 1572898 0 0 0
1790.04/1790.03 c linear : 1084 7 2662855 1125918 0 1 499432 29668 0 0
1790.04/1790.03 c indicator : 1085 0 2662854 1125918 0 0 625519 0 0 0
1790.04/1790.03 c logicor : 612+ 7 1023731 1110211 0 7 552390 0 0 0
1790.04/1790.03 c bounddisjunction : 0+ 0 521 0 0 0 2 0 0 0
1790.04/1790.03 c countsols : 0 0 0 1110211 0 0 0 0 0 0
1790.04/1790.03 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1790.04/1790.03 c integral : 10.96 0.00 0.00 10.96 0.00
1790.04/1790.03 c varbound : 0.12 0.00 0.09 0.02 0.00
1790.04/1790.03 c knapsack : 3.14 0.00 2.20 0.93 0.00
1790.04/1790.03 c setppc : 21.30 0.00 15.29 6.00 0.00
1790.04/1790.03 c linear : 79.69 0.00 14.81 64.89 0.00
1790.04/1790.03 c indicator : 194.00 0.02 85.79 108.18 0.00
1790.04/1790.03 c logicor : 10.43 0.00 2.08 8.35 0.00
1790.04/1790.03 c bounddisjunction : 0.00 0.00 0.00 0.00 0.00
1790.04/1790.03 c countsols : 0.16 0.00 0.00 0.16 0.00
1790.04/1790.03 c Propagators : Time Calls Cutoffs DomReds
1790.04/1790.03 c vbounds : 1.01 72222 0 63533
1790.04/1790.03 c rootredcost : 0.51 1 0 0
1790.04/1790.03 c pseudoobj : 53.95 2660923 0 0
1790.04/1790.03 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1790.04/1790.03 c propagation : 0.00 32 27 58 7.9 0 0.0 -
1790.04/1790.03 c infeasible LP : 0.00 25 25 25 2.5 0 0.0 0
1790.04/1790.03 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1790.04/1790.03 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1790.04/1790.03 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1790.04/1790.03 c applied globally : - - - 67 5.7 - - -
1790.04/1790.03 c applied locally : - - - 0 0.0 - - -
1790.04/1790.03 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1790.04/1790.03 c cut pool : 0.00 6 - - 168 - (maximal pool size: 969)
1790.04/1790.03 c redcost : 81.45 1133578 0 0 0 0
1790.04/1790.03 c impliedbounds : 0.00 7 0 0 19 0
1790.04/1790.03 c intobj : 0.00 0 0 0 0 0
1790.04/1790.03 c cgmip : 0.00 0 0 0 0 0
1790.04/1790.03 c gomory : 0.08 7 0 0 1473 0
1790.04/1790.03 c strongcg : 0.06 7 0 0 1614 0
1790.04/1790.03 c cmir : 0.16 7 0 0 217 0
1790.04/1790.03 c flowcover : 0.36 7 0 0 489 0
1790.04/1790.03 c clique : 0.00 7 0 0 2 0
1790.04/1790.03 c zerohalf : 0.00 0 0 0 0 0
1790.04/1790.03 c mcf : 0.00 1 0 0 0 0
1790.04/1790.03 c rapidlearning : 0.07 1 0 0 0 0
1790.04/1790.03 c Pricers : Time Calls Vars
1790.04/1790.03 c problem variables: 0.00 0 0
1790.04/1790.03 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1790.04/1790.03 c relpscost : 10.64 7676 0 109 0 0 15236
1790.04/1790.03 c pscost : 0.00 0 0 0 0 0 0
1790.04/1790.03 c inference : 244.69 1110211 0 0 0 0 2220428
1790.04/1790.03 c mostinf : 0.00 0 0 0 0 0 0
1790.04/1790.03 c leastinf : 0.00 0 0 0 0 0 0
1790.04/1790.03 c fullstrong : 0.00 0 0 0 0 0 0
1790.04/1790.03 c allfullstrong : 0.00 0 0 0 0 0 0
1790.04/1790.03 c random : 0.00 0 0 0 0 0 0
1790.04/1790.03 c Primal Heuristics : Time Calls Found
1790.04/1790.03 c LP solutions : 0.00 - 0
1790.04/1790.03 c pseudo solutions : 0.00 - 0
1790.04/1790.03 c intshifting : 0.00 0 0
1790.04/1790.03 c oneopt : 0.32 1 0
1790.04/1790.03 c feaspump : 0.02 1 0
1790.04/1790.03 c crossover : 0.59 12 0
1790.04/1790.03 c guideddiving : 7.16 7313 0
1790.04/1790.03 c coefdiving : 6.11 7314 0
1790.04/1790.03 c pscostdiving : 6.05 7314 0
1790.04/1790.03 c fracdiving : 6.08 7314 0
1790.04/1790.03 c veclendiving : 6.04 7314 0
1790.04/1790.03 c linesearchdiving : 6.16 7314 0
1790.04/1790.03 c objpscostdiving : 6.40 7310 0
1790.04/1790.03 c rootsoldiving : 6.52 7310 0
1790.04/1790.03 c trivial : 0.00 2 0
1790.04/1790.03 c simplerounding : 0.36 7610 0
1790.04/1790.03 c zirounding : 0.27 1000 0
1790.04/1790.03 c rounding : 0.28 1182 0
1790.04/1790.03 c shifting : 0.18 331 0
1790.04/1790.03 c twoopt : 0.00 0 0
1790.04/1790.03 c fixandinfer : 0.00 0 0
1790.04/1790.03 c intdiving : 0.00 0 0
1790.04/1790.03 c actconsdiving : 0.00 0 0
1790.04/1790.03 c octane : 0.00 0 0
1790.04/1790.03 c rens : 0.03 1 0
1790.04/1790.03 c rins : 0.00 0 0
1790.04/1790.03 c localbranching : 0.00 0 0
1790.04/1790.03 c mutation : 0.00 0 0
1790.04/1790.03 c dins : 0.00 0 0
1790.04/1790.03 c undercover : 0.00 0 0
1790.04/1790.03 c nlp : 0.21 0 0
1790.04/1790.03 c trysol : 0.40 7352 100
1790.04/1790.03 c LP : Time Calls Iterations Iter/call Iter/sec
1790.04/1790.03 c primal LP : 0.00 0 0 0.00 -
1790.04/1790.03 c dual LP : 697.65 67926 244401 3.60 350.32
1790.04/1790.03 c lex dual LP : 0.00 0 0 0.00 -
1790.04/1790.03 c barrier LP : 0.00 0 0 0.00 -
1790.04/1790.03 c diving/probing LP: 0.20 133 433 3.26 2218.76
1790.04/1790.03 c strong branching : 10.55 4304 53858 12.51 5103.78
1790.04/1790.03 c (at root node) : - 15 1332 88.80 -
1790.04/1790.03 c conflict analysis: 0.00 0 0 0.00 -
1790.04/1790.03 c B&B Tree :
1790.04/1790.03 c number of runs : 1
1790.04/1790.03 c nodes : 1117884
1790.04/1790.03 c nodes (total) : 1117884
1790.04/1790.03 c nodes left : 1117765
1790.04/1790.03 c max depth : 303
1790.04/1790.03 c max depth (total): 303
1790.04/1790.03 c backtracks : 7361 (0.7%)
1790.04/1790.03 c delayed cutoffs : 16
1790.04/1790.03 c repropagations : 477 (619 domain reductions, 0 cutoffs)
1790.04/1790.03 c avg switch length: 2.11
1790.04/1790.03 c switching time : 54.59
1790.04/1790.03 c Solution :
1790.04/1790.03 c Solutions found : 100 (1 improvements)
1790.04/1790.03 c First Solution : +5.54570000000000e+04 (in run 1, after 32 nodes, 2.26 seconds, depth 32, found by <trysol>)
1790.04/1790.03 c Primal Bound : +5.54570000000000e+04 (in run 1, after 32 nodes, 2.26 seconds, depth 32, found by <trysol>)
1790.04/1790.03 c Dual Bound : +0.00000000000000e+00
1790.04/1790.03 c Gap : infinite
1790.04/1790.03 c Root Dual Bound : +0.00000000000000e+00
1790.04/1790.03 c Root Iterations : 800
1791.74/1791.75 c Time complete: 1791.79.