0.00/0.00 c SCIP version 1.2.1.3 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.4.2]
0.00/0.00 c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c user parameter file <scip.set> not found - using default parameters
0.00/0.00 c reading problem <HOME/instance-2703435-1278553923.opb>
0.19/0.23 c original problem has 6352 variables (6352 bin, 0 int, 0 impl, 0 cont) and 13489 constraints
0.19/0.23 c problem read
0.19/0.23 c presolving settings loaded
0.29/0.34 c presolving:
0.39/0.42 c (round 1) 2925 del vars, 496 del conss, 323 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 38106 impls, 0 clqs
0.39/0.47 c (round 2) 3199 del vars, 4444 del conss, 358 chg bounds, 1 chg sides, 2 chg coeffs, 0 upgd conss, 49388 impls, 0 clqs
0.39/0.49 c (round 3) 3234 del vars, 4874 del conss, 373 chg bounds, 3 chg sides, 6 chg coeffs, 0 upgd conss, 49707 impls, 0 clqs
0.39/0.49 c (round 4) 3269 del vars, 4958 del conss, 389 chg bounds, 6 chg sides, 12 chg coeffs, 0 upgd conss, 50118 impls, 0 clqs
0.50/0.50 c (round 5) 3304 del vars, 5050 del conss, 403 chg bounds, 9 chg sides, 18 chg coeffs, 0 upgd conss, 50485 impls, 0 clqs
0.50/0.51 c (round 6) 3333 del vars, 5124 del conss, 415 chg bounds, 12 chg sides, 24 chg coeffs, 0 upgd conss, 50808 impls, 0 clqs
0.50/0.51 c (round 7) 3356 del vars, 5191 del conss, 425 chg bounds, 16 chg sides, 32 chg coeffs, 0 upgd conss, 51028 impls, 0 clqs
0.50/0.52 c (round 8) 3376 del vars, 5244 del conss, 434 chg bounds, 20 chg sides, 40 chg coeffs, 0 upgd conss, 51260 impls, 0 clqs
0.50/0.53 c (round 9) 3392 del vars, 5288 del conss, 442 chg bounds, 24 chg sides, 48 chg coeffs, 0 upgd conss, 51440 impls, 0 clqs
0.50/0.53 c (round 10) 3408 del vars, 5328 del conss, 450 chg bounds, 28 chg sides, 56 chg coeffs, 0 upgd conss, 51566 impls, 0 clqs
0.50/0.54 c (round 11) 3424 del vars, 5368 del conss, 458 chg bounds, 32 chg sides, 64 chg coeffs, 0 upgd conss, 51692 impls, 0 clqs
0.50/0.54 c (round 12) 3440 del vars, 5408 del conss, 466 chg bounds, 36 chg sides, 72 chg coeffs, 0 upgd conss, 51814 impls, 0 clqs
0.50/0.55 c (round 13) 3456 del vars, 5448 del conss, 474 chg bounds, 40 chg sides, 80 chg coeffs, 0 upgd conss, 51970 impls, 0 clqs
0.50/0.55 c (round 14) 3472 del vars, 5488 del conss, 482 chg bounds, 44 chg sides, 88 chg coeffs, 0 upgd conss, 52096 impls, 0 clqs
0.50/0.56 c (round 15) 3489 del vars, 5529 del conss, 491 chg bounds, 48 chg sides, 96 chg coeffs, 0 upgd conss, 52238 impls, 0 clqs
0.50/0.57 c (round 16) 3505 del vars, 5569 del conss, 499 chg bounds, 52 chg sides, 104 chg coeffs, 0 upgd conss, 52362 impls, 0 clqs
0.50/0.57 c (round 17) 3514 del vars, 5606 del conss, 508 chg bounds, 56 chg sides, 112 chg coeffs, 0 upgd conss, 52394 impls, 0 clqs
0.50/0.58 c (round 18) 3529 del vars, 5632 del conss, 517 chg bounds, 61 chg sides, 122 chg coeffs, 0 upgd conss, 52528 impls, 0 clqs
0.50/0.58 c (round 19) 3545 del vars, 5672 del conss, 527 chg bounds, 66 chg sides, 132 chg coeffs, 0 upgd conss, 52652 impls, 0 clqs
0.50/0.59 c (round 20) 3559 del vars, 5706 del conss, 535 chg bounds, 69 chg sides, 138 chg coeffs, 0 upgd conss, 52795 impls, 0 clqs
0.50/0.59 c (round 21) 3577 del vars, 5752 del conss, 547 chg bounds, 74 chg sides, 148 chg coeffs, 0 upgd conss, 52892 impls, 0 clqs
0.60/0.60 c (round 22) 3591 del vars, 5786 del conss, 555 chg bounds, 76 chg sides, 152 chg coeffs, 0 upgd conss, 53011 impls, 0 clqs
0.60/0.61 c (round 23) 3602 del vars, 5828 del conss, 566 chg bounds, 79 chg sides, 158 chg coeffs, 0 upgd conss, 53040 impls, 0 clqs
0.60/0.61 c (round 24) 3615 del vars, 5861 del conss, 578 chg bounds, 82 chg sides, 164 chg coeffs, 0 upgd conss, 53099 impls, 0 clqs
0.60/0.62 c (round 25) 3631 del vars, 5900 del conss, 592 chg bounds, 84 chg sides, 168 chg coeffs, 0 upgd conss, 53147 impls, 0 clqs
0.60/0.62 c (round 26) 3647 del vars, 5941 del conss, 606 chg bounds, 87 chg sides, 174 chg coeffs, 0 upgd conss, 53225 impls, 0 clqs
0.60/0.63 c (round 27) 3663 del vars, 5982 del conss, 620 chg bounds, 90 chg sides, 180 chg coeffs, 0 upgd conss, 53303 impls, 0 clqs
0.60/0.63 c (round 28) 3679 del vars, 6015 del conss, 633 chg bounds, 92 chg sides, 184 chg coeffs, 0 upgd conss, 53375 impls, 0 clqs
0.60/0.64 c (round 29) 3695 del vars, 6054 del conss, 646 chg bounds, 94 chg sides, 188 chg coeffs, 0 upgd conss, 53471 impls, 0 clqs
0.60/0.64 c (round 30) 3708 del vars, 6091 del conss, 658 chg bounds, 97 chg sides, 194 chg coeffs, 0 upgd conss, 53554 impls, 0 clqs
0.60/0.65 c (round 31) 3726 del vars, 6136 del conss, 672 chg bounds, 100 chg sides, 198 chg coeffs, 0 upgd conss, 53598 impls, 0 clqs
0.60/0.65 c (round 32) 3744 del vars, 6169 del conss, 684 chg bounds, 103 chg sides, 204 chg coeffs, 0 upgd conss, 53752 impls, 0 clqs
0.60/0.66 c (round 33) 3755 del vars, 6214 del conss, 694 chg bounds, 104 chg sides, 206 chg coeffs, 0 upgd conss, 53809 impls, 0 clqs
0.60/0.66 c (round 34) 3772 del vars, 6246 del conss, 709 chg bounds, 109 chg sides, 216 chg coeffs, 0 upgd conss, 53879 impls, 0 clqs
0.60/0.67 c (round 35) 3787 del vars, 6289 del conss, 724 chg bounds, 114 chg sides, 226 chg coeffs, 0 upgd conss, 53918 impls, 0 clqs
0.60/0.68 c (round 36) 3806 del vars, 6330 del conss, 740 chg bounds, 118 chg sides, 234 chg coeffs, 0 upgd conss, 54003 impls, 0 clqs
0.60/0.68 c (round 37) 3820 del vars, 6372 del conss, 751 chg bounds, 123 chg sides, 244 chg coeffs, 0 upgd conss, 54097 impls, 0 clqs
0.60/0.69 c (round 38) 3833 del vars, 6406 del conss, 765 chg bounds, 127 chg sides, 252 chg coeffs, 0 upgd conss, 54127 impls, 0 clqs
0.60/0.69 c (round 39) 3852 del vars, 6446 del conss, 778 chg bounds, 133 chg sides, 264 chg coeffs, 0 upgd conss, 54222 impls, 0 clqs
0.60/0.70 c (round 40) 3866 del vars, 6487 del conss, 789 chg bounds, 136 chg sides, 270 chg coeffs, 0 upgd conss, 54338 impls, 0 clqs
0.70/0.70 c (round 41) 3886 del vars, 6528 del conss, 805 chg bounds, 140 chg sides, 278 chg coeffs, 0 upgd conss, 54428 impls, 0 clqs
0.70/0.71 c (round 42) 3901 del vars, 6566 del conss, 815 chg bounds, 143 chg sides, 284 chg coeffs, 0 upgd conss, 54539 impls, 0 clqs
0.70/0.71 c (round 43) 3917 del vars, 6606 del conss, 827 chg bounds, 146 chg sides, 292 chg coeffs, 0 upgd conss, 54631 impls, 0 clqs
0.70/0.72 c (round 44) 3930 del vars, 6644 del conss, 841 chg bounds, 151 chg sides, 302 chg coeffs, 0 upgd conss, 54667 impls, 0 clqs
0.70/0.72 c (round 45) 3942 del vars, 6682 del conss, 851 chg bounds, 153 chg sides, 306 chg coeffs, 0 upgd conss, 54726 impls, 0 clqs
0.70/0.73 c (round 46) 3958 del vars, 6717 del conss, 867 chg bounds, 158 chg sides, 316 chg coeffs, 0 upgd conss, 54781 impls, 0 clqs
0.70/0.73 c (round 47) 3978 del vars, 6754 del conss, 883 chg bounds, 164 chg sides, 328 chg coeffs, 0 upgd conss, 54890 impls, 0 clqs
0.70/0.74 c (round 48) 3993 del vars, 6806 del conss, 897 chg bounds, 168 chg sides, 336 chg coeffs, 0 upgd conss, 54952 impls, 0 clqs
0.70/0.74 c (round 49) 4011 del vars, 6843 del conss, 911 chg bounds, 172 chg sides, 344 chg coeffs, 0 upgd conss, 55042 impls, 0 clqs
0.70/0.75 c (round 50) 4026 del vars, 6884 del conss, 922 chg bounds, 175 chg sides, 348 chg coeffs, 0 upgd conss, 55099 impls, 0 clqs
0.70/0.75 c (round 51) 4041 del vars, 6925 del conss, 937 chg bounds, 180 chg sides, 358 chg coeffs, 0 upgd conss, 55183 impls, 0 clqs
0.70/0.76 c (round 52) 4060 del vars, 6971 del conss, 952 chg bounds, 183 chg sides, 364 chg coeffs, 0 upgd conss, 55253 impls, 0 clqs
0.70/0.76 c (round 53) 4070 del vars, 7006 del conss, 966 chg bounds, 188 chg sides, 374 chg coeffs, 0 upgd conss, 55299 impls, 0 clqs
0.70/0.77 c (round 54) 4090 del vars, 7051 del conss, 983 chg bounds, 192 chg sides, 382 chg coeffs, 0 upgd conss, 55362 impls, 0 clqs
0.70/0.77 c (round 55) 4102 del vars, 7083 del conss, 994 chg bounds, 193 chg sides, 384 chg coeffs, 0 upgd conss, 55401 impls, 0 clqs
0.70/0.78 c (round 56) 4121 del vars, 7119 del conss, 1011 chg bounds, 198 chg sides, 394 chg coeffs, 0 upgd conss, 55481 impls, 0 clqs
0.70/0.78 c (round 57) 4138 del vars, 7169 del conss, 1025 chg bounds, 201 chg sides, 398 chg coeffs, 0 upgd conss, 55516 impls, 0 clqs
0.70/0.79 c (round 58) 4147 del vars, 7193 del conss, 1034 chg bounds, 204 chg sides, 404 chg coeffs, 0 upgd conss, 55586 impls, 0 clqs
0.70/0.79 c (round 59) 4162 del vars, 7225 del conss, 1046 chg bounds, 205 chg sides, 407 chg coeffs, 0 upgd conss, 55643 impls, 0 clqs
0.80/0.80 c (round 60) 4174 del vars, 7260 del conss, 1059 chg bounds, 211 chg sides, 417 chg coeffs, 0 upgd conss, 55674 impls, 0 clqs
0.80/0.80 c (round 61) 4186 del vars, 7290 del conss, 1070 chg bounds, 214 chg sides, 423 chg coeffs, 0 upgd conss, 55725 impls, 0 clqs
0.80/0.81 c (round 62) 4191 del vars, 7306 del conss, 1075 chg bounds, 214 chg sides, 423 chg coeffs, 0 upgd conss, 55745 impls, 0 clqs
0.80/0.81 c (round 63) 4198 del vars, 7319 del conss, 1080 chg bounds, 214 chg sides, 423 chg coeffs, 0 upgd conss, 55815 impls, 0 clqs
0.80/0.82 c (round 64) 4203 del vars, 7335 del conss, 1085 chg bounds, 216 chg sides, 427 chg coeffs, 0 upgd conss, 55832 impls, 0 clqs
0.80/0.82 c (round 65) 4208 del vars, 7348 del conss, 1090 chg bounds, 219 chg sides, 431 chg coeffs, 0 upgd conss, 55876 impls, 0 clqs
0.80/0.83 c (round 66) 4208 del vars, 7352 del conss, 1090 chg bounds, 219 chg sides, 431 chg coeffs, 0 upgd conss, 55896 impls, 0 clqs
0.89/0.91 c (round 67) 4208 del vars, 7355 del conss, 1090 chg bounds, 222 chg sides, 431 chg coeffs, 6134 upgd conss, 55896 impls, 0 clqs
1.10/1.15 c (round 68) 4258 del vars, 7355 del conss, 1090 chg bounds, 222 chg sides, 431 chg coeffs, 6134 upgd conss, 107042 impls, 0 clqs
1.10/1.15 c (round 69) 4259 del vars, 7410 del conss, 1090 chg bounds, 222 chg sides, 431 chg coeffs, 6134 upgd conss, 107124 impls, 0 clqs
1.10/1.18 c (round 70) 4261 del vars, 7410 del conss, 1090 chg bounds, 222 chg sides, 431 chg coeffs, 6134 upgd conss, 107180 impls, 0 clqs
1.10/1.19 c (round 71) 4261 del vars, 7412 del conss, 1090 chg bounds, 222 chg sides, 431 chg coeffs, 6134 upgd conss, 107180 impls, 0 clqs
1.39/1.42 c (round 72) 4311 del vars, 7412 del conss, 1090 chg bounds, 222 chg sides, 431 chg coeffs, 6134 upgd conss, 113700 impls, 0 clqs
1.39/1.44 c (round 73) 4311 del vars, 7462 del conss, 1090 chg bounds, 222 chg sides, 431 chg coeffs, 6134 upgd conss, 113700 impls, 0 clqs
1.49/1.57 c (round 74) 4361 del vars, 7462 del conss, 1090 chg bounds, 222 chg sides, 431 chg coeffs, 6134 upgd conss, 114420 impls, 0 clqs
1.49/1.59 c (round 75) 4361 del vars, 7512 del conss, 1090 chg bounds, 222 chg sides, 431 chg coeffs, 6134 upgd conss, 114420 impls, 0 clqs
1.69/1.72 c (1.5s) probing: 831/2144 (38.8%) - 1 fixings, 183 aggregations, 6534 implications, 0 bound changes
1.69/1.72 c (1.5s) probing aborted: 100/100 successive totally useless probings
1.69/1.72 c (round 76) 4395 del vars, 7512 del conss, 1090 chg bounds, 222 chg sides, 431 chg coeffs, 6134 upgd conss, 114822 impls, 0 clqs
1.69/1.74 c (round 77) 4395 del vars, 7546 del conss, 1090 chg bounds, 222 chg sides, 431 chg coeffs, 6134 upgd conss, 114822 impls, 0 clqs
1.69/1.76 c (1.5s) probing: 841/2144 (39.2%) - 1 fixings, 183 aggregations, 6534 implications, 0 bound changes
1.69/1.76 c (1.5s) probing aborted: 100/100 successive totally useless probings
1.69/1.76 c presolving (78 rounds):
1.69/1.76 c 4395 deleted vars, 7546 deleted constraints, 1090 tightened bounds, 0 added holes, 222 changed sides, 431 changed coefficients
1.69/1.76 c 114822 implications, 0 cliques
1.69/1.76 c presolved problem has 1957 variables (1957 bin, 0 int, 0 impl, 0 cont) and 5943 constraints
1.69/1.76 c 994 constraints of type <setppc>
1.69/1.76 c 4949 constraints of type <logicor>
1.69/1.76 c transformed objective value is always integral (scale: 1)
1.69/1.76 c Presolving Time: 1.47
1.69/1.76 c - non default parameters ----------------------------------------------------------------------
1.69/1.76 c # SCIP version 1.2.1.3
1.69/1.76 c
1.69/1.76 c # frequency for displaying node information lines
1.69/1.76 c # [type: int, range: [-1,2147483647], default: 100]
1.69/1.76 c display/freq = 10000
1.69/1.76 c
1.69/1.76 c # maximal time in seconds to run
1.69/1.76 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1.69/1.76 c limits/time = 1789.78
1.69/1.76 c
1.69/1.76 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1.69/1.76 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1.69/1.76 c limits/memory = 1620
1.69/1.76 c
1.69/1.76 c # default clock type (1: CPU user seconds, 2: wall clock time)
1.69/1.76 c # [type: int, range: [1,2], default: 1]
1.69/1.76 c timing/clocktype = 2
1.69/1.76 c
1.69/1.76 c # should presolving try to simplify inequalities
1.69/1.76 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.69/1.76 c constraints/linear/simplifyinequalities = TRUE
1.69/1.76 c
1.69/1.76 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
1.69/1.76 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.69/1.76 c constraints/indicator/addCouplingCons = TRUE
1.69/1.76 c
1.69/1.76 c # should presolving try to simplify knapsacks
1.69/1.76 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.69/1.76 c constraints/knapsack/simplifyinequalities = TRUE
1.69/1.76 c
1.69/1.76 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
1.69/1.76 c # [type: int, range: [-1,2147483647], default: -1]
1.69/1.76 c separating/rapidlearning/freq = 0
1.69/1.76 c
1.69/1.76 c -----------------------------------------------------------------------------------------------
1.69/1.76 c start solving
1.69/1.76 c
2.29/2.37 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
2.29/2.37 c 2.1s| 1 | 0 | 2044 | - | 21M| 0 |1251 |1957 |5943 |1957 |5941 | 0 | 0 | 0 | 2.814317e+03 | -- | Inf
5.59/5.62 c 5.4s| 1 | 0 | 7264 | - | 23M| 0 |1254 |1957 |5943 |1957 |7695 |1754 | 0 | 0 | 2.827472e+03 | -- | Inf
11.39/11.40 c 11.2s| 1 | 0 | 9103 | - | 26M| 0 |1178 |1957 |7272 |1957 |7731 |1790 | 0 | 0 | 2.849417e+03 | -- | Inf
12.49/12.56 c 12.3s| 1 | 0 | 9818 | - | 27M| 0 |1164 |1957 |7272 |1957 |7761 |1820 | 0 | 0 | 2.852333e+03 | -- | Inf
13.79/13.82 c 13.6s| 1 | 0 | 10548 | - | 28M| 0 |1149 |1957 |7272 |1957 |7791 |1850 | 0 | 0 | 2.855250e+03 | -- | Inf
15.69/15.80 c 15.6s| 1 | 0 | 11683 | - | 30M| 0 |1174 |1957 |7272 |1957 |7826 |1885 | 0 | 0 | 2.857681e+03 | -- | Inf
17.39/17.44 c 17.2s| 1 | 0 | 12704 | - | 31M| 0 |1217 |1957 |7272 |1957 |7866 |1925 | 0 | 0 | 2.860894e+03 | -- | Inf
19.49/19.51 c 19.3s| 1 | 0 | 13775 | - | 34M| 0 |1219 |1957 |7272 |1957 |7905 |1964 | 0 | 0 | 2.865641e+03 | -- | Inf
22.18/22.23 c 22.0s| 1 | 0 | 15269 | - | 37M| 0 |1230 |1957 |7272 |1957 |7932 |1991 | 0 | 0 | 2.868600e+03 | -- | Inf
24.58/24.61 c 24.4s| 1 | 0 | 16557 | - | 39M| 0 |1207 |1957 |7272 |1957 |7962 |2021 | 0 | 0 | 2.873186e+03 | -- | Inf
26.39/26.42 c 26.2s| 1 | 0 | 17445 | - | 40M| 0 |1193 |1957 |7272 |1957 |8004 |2063 | 0 | 0 | 2.878264e+03 | -- | Inf
28.19/28.20 c 28.0s| 1 | 0 | 18387 | - | 42M| 0 |1276 |1957 |7272 |1957 |8050 |2109 | 0 | 0 | 2.883708e+03 | -- | Inf
31.18/31.25 c 31.0s| 1 | 0 | 20137 | - | 44M| 0 |1285 |1957 |7272 |1957 |6390 |2147 | 0 | 0 | 2.888241e+03 | -- | Inf
33.58/33.68 c 33.4s| 1 | 0 | 21762 | - | 45M| 0 |1330 |1957 |7272 |1957 |6429 |2186 | 0 | 0 | 2.894197e+03 | -- | Inf
35.87/35.99 c 35.8s| 1 | 0 | 23302 | - | 48M| 0 |1291 |1957 |7272 |1957 |6478 |2235 | 0 | 0 | 2.898336e+03 | -- | Inf
37.38/37.41 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
37.38/37.41 c 37.2s| 1 | 0 | 24176 | - | 50M| 0 |1264 |1957 |7272 |1957 |6522 |2279 | 0 | 0 | 2.902857e+03 | -- | Inf
38.58/38.67 c 38.4s| 1 | 0 | 24977 | - | 51M| 0 |1318 |1957 |7272 |1957 |6561 |2318 | 0 | 0 | 2.905910e+03 | -- | Inf
40.27/40.31 c 40.1s| 1 | 0 | 26071 | - | 54M| 0 |1336 |1957 |7272 |1957 |6602 |2359 | 0 | 0 | 2.909239e+03 | -- | Inf
44.99/45.10 c 44.9s| 1 | 0 | 29044 | - | 56M| 0 |1411 |1957 |7272 |1957 |6512 |2404 | 0 | 0 | 2.913786e+03 | -- | Inf
46.98/47.07 c 46.8s| 1 | 0 | 30281 | - | 58M| 0 |1404 |1957 |7272 |1957 |6553 |2445 | 0 | 0 | 2.919132e+03 | -- | Inf
49.58/49.68 c 49.4s| 1 | 0 | 31378 | - | 61M| 0 |1360 |1957 |7272 |1957 |6589 |2481 | 0 | 0 | 2.924032e+03 | -- | Inf
53.07/53.13 c 52.9s| 1 | 0 | 33457 | - | 61M| 0 |1362 |1957 |7272 |1957 |6641 |2533 | 0 | 0 | 2.929034e+03 | -- | Inf
56.28/56.39 c 56.2s| 1 | 0 | 35514 | - | 63M| 0 |1392 |1957 |7272 |1957 |6680 |2572 | 0 | 0 | 2.933622e+03 | -- | Inf
59.38/59.45 c 59.2s| 1 | 0 | 37387 | - | 64M| 0 |1445 |1957 |7272 |1957 |6716 |2608 | 0 | 0 | 2.937678e+03 | -- | Inf
63.37/63.46 c 63.2s| 1 | 0 | 39681 | - | 64M| 0 |1421 |1957 |7272 |1957 |6577 |2651 | 0 | 0 | 2.940882e+03 | -- | Inf
66.47/66.56 c 66.3s| 1 | 0 | 41686 | - | 66M| 0 |1483 |1957 |7272 |1957 |6614 |2688 | 0 | 0 | 2.944515e+03 | -- | Inf
70.28/70.31 c 70.1s| 1 | 0 | 43740 | - | 67M| 0 |1489 |1957 |7272 |1957 |6660 |2734 | 0 | 0 | 2.946222e+03 | -- | Inf
73.26/73.38 c 73.1s| 1 | 0 | 45415 | - | 68M| 0 |1475 |1957 |7272 |1957 |6708 |2782 | 0 | 0 | 2.949082e+03 | -- | Inf
77.66/77.79 c 77.6s| 1 | 0 | 47694 | - | 68M| 0 |1461 |1957 |7272 |1957 |6761 |2835 | 0 | 0 | 2.950865e+03 | -- | Inf
82.37/82.43 c 82.2s| 1 | 0 | 50299 | - | 69M| 0 |1498 |1957 |7272 |1957 |6810 |2884 | 0 | 0 | 2.952810e+03 | -- | Inf
86.16/86.28 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
86.16/86.28 c 86.0s| 1 | 0 | 52280 | - | 70M| 0 |1479 |1957 |7272 |1957 |6673 |2924 | 0 | 0 | 2.955282e+03 | -- | Inf
88.97/89.02 c 88.8s| 1 | 0 | 53693 | - | 70M| 0 |1470 |1957 |7272 |1957 |6724 |2975 | 0 | 0 | 2.958942e+03 | -- | Inf
92.86/92.92 c 92.7s| 1 | 0 | 55837 | - | 71M| 0 |1488 |1957 |7272 |1957 |6761 |3012 | 0 | 0 | 2.961198e+03 | -- | Inf
95.57/95.65 c 95.4s| 1 | 0 | 57444 | - | 72M| 0 |1536 |1957 |7272 |1957 |6805 |3056 | 0 | 0 | 2.964746e+03 | -- | Inf
99.76/99.85 c 99.6s| 1 | 0 | 59197 | - | 73M| 0 |1493 |1957 |7272 |1957 |6837 |3088 | 0 | 0 | 2.967989e+03 | -- | Inf
105.16/105.28 c 105s| 1 | 0 | 62346 | - | 74M| 0 |1472 |1957 |7272 |1957 |6870 |3121 | 0 | 0 | 2.970500e+03 | -- | Inf
108.76/108.82 c 109s| 1 | 0 | 64272 | - | 75M| 0 |1548 |1957 |7272 |1957 |6722 |3167 | 0 | 0 | 2.973682e+03 | -- | Inf
112.65/112.75 c 113s| 1 | 0 | 65981 | - | 76M| 0 |1519 |1957 |7272 |1957 |6772 |3217 | 0 | 0 | 2.981578e+03 | -- | Inf
115.65/115.79 c 116s| 1 | 0 | 67670 | - | 77M| 0 |1494 |1957 |7272 |1957 |6800 |3245 | 0 | 0 | 2.985301e+03 | -- | Inf
118.16/118.23 c 118s| 1 | 0 | 68953 | - | 79M| 0 |1463 |1957 |7272 |1957 |6840 |3285 | 0 | 0 | 2.988894e+03 | -- | Inf
120.96/121.05 c 121s| 1 | 0 | 70573 | - | 80M| 0 |1554 |1957 |7272 |1957 |6879 |3324 | 0 | 0 | 2.992801e+03 | -- | Inf
123.55/123.60 c 123s| 1 | 0 | 71956 | - | 81M| 0 |1514 |1957 |7272 |1957 |6913 |3358 | 0 | 0 | 2.995754e+03 | -- | Inf
126.75/126.87 c 127s| 1 | 0 | 73766 | - | 82M| 0 |1513 |1957 |7272 |1957 |6733 |3391 | 0 | 0 | 2.998681e+03 | -- | Inf
129.85/129.92 c 130s| 1 | 0 | 75535 | - | 82M| 0 |1515 |1957 |7272 |1957 |6764 |3422 | 0 | 0 | 3.001115e+03 | -- | Inf
131.95/132.04 c 132s| 1 | 0 | 76114 | - | 83M| 0 |1534 |1957 |7272 |1957 |6804 |3462 | 0 | 0 | 3.005778e+03 | -- | Inf
134.34/134.46 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
134.34/134.46 c 134s| 1 | 0 | 77129 | - | 84M| 0 |1599 |1957 |7272 |1957 |6832 |3490 | 0 | 0 | 3.007706e+03 | -- | Inf
137.36/137.48 c 137s| 1 | 0 | 78756 | - | 85M| 0 |1609 |1957 |7272 |1957 |6855 |3513 | 0 | 0 | 3.009686e+03 | -- | Inf
141.54/141.66 c 141s| 1 | 0 | 80460 | - | 86M| 0 |1535 |1957 |7272 |1957 |6906 |3564 | 0 | 0 | 3.016100e+03 | -- | Inf
144.34/144.42 c 144s| 1 | 0 | 81860 | - | 86M| 0 |1523 |1957 |7272 |1957 |6745 |3600 | 0 | 0 | 3.020962e+03 | -- | Inf
147.25/147.36 c 147s| 1 | 0 | 83153 | - | 87M| 0 |1605 |1957 |7272 |1957 |6788 |3643 | 0 | 0 | 3.025429e+03 | -- | Inf
150.34/150.44 c 150s| 1 | 0 | 84215 | - | 87M| 0 |1504 |1957 |7272 |1957 |6855 |3710 | 0 | 0 | 3.032534e+03 | -- | Inf
152.24/152.34 c 152s| 1 | 0 | 85468 | - | 88M| 0 |1481 |1957 |7272 |1957 |6893 |3748 | 0 | 0 | 3.035171e+03 | -- | Inf
153.95/154.04 c 154s| 1 | 0 | 86559 | - | 89M| 0 |1522 |1957 |7272 |1957 |6935 |3790 | 0 | 0 | 3.038742e+03 | -- | Inf
155.64/155.78 c 156s| 1 | 0 | 87507 | - | 89M| 0 |1578 |1957 |7272 |1957 |6966 |3821 | 0 | 0 | 3.041748e+03 | -- | Inf
157.54/157.64 c 157s| 1 | 0 | 88467 | - | 90M| 0 |1588 |1957 |7272 |1957 |6752 |3846 | 0 | 0 | 3.043250e+03 | -- | Inf
159.74/159.84 c 160s| 1 | 0 | 89708 | - | 91M| 0 |1601 |1957 |7272 |1957 |6783 |3877 | 0 | 0 | 3.046038e+03 | -- | Inf
161.43/161.53 c 161s| 1 | 0 | 90455 | - | 91M| 0 |1620 |1957 |7272 |1957 |6823 |3917 | 0 | 0 | 3.049070e+03 | -- | Inf
164.84/164.99 c 165s| 1 | 0 | 91638 | - | 91M| 0 |1621 |1957 |7272 |1957 |6874 |3968 | 0 | 0 | 3.053359e+03 | -- | Inf
167.73/167.81 c 168s| 1 | 0 | 93405 | - | 92M| 0 |1634 |1957 |7272 |1957 |6906 |4000 | 0 | 0 | 3.057575e+03 | -- | Inf
170.73/170.82 c 171s| 1 | 0 | 94390 | - | 92M| 0 |1597 |1957 |7272 |1957 |6946 |4040 | 0 | 0 | 3.059904e+03 | -- | Inf
172.23/172.35 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
172.23/172.35 c 172s| 1 | 0 | 95145 | - | 92M| 0 |1645 |1957 |7272 |1957 |6779 |4072 | 0 | 0 | 3.062740e+03 | -- | Inf
174.63/174.72 c 174s| 1 | 0 | 96095 | - | 93M| 0 |1624 |1957 |7272 |1957 |6816 |4109 | 0 | 0 | 3.064744e+03 | -- | Inf
176.23/176.32 c 176s| 1 | 0 | 97185 | - | 93M| 0 |1631 |1957 |7272 |1957 |6838 |4131 | 0 | 0 | 3.065938e+03 | -- | Inf
178.24/178.36 c 178s| 1 | 0 | 97911 | - | 94M| 0 |1624 |1957 |7272 |1957 |6864 |4157 | 0 | 0 | 3.067816e+03 | -- | Inf
179.43/179.58 c 179s| 1 | 0 | 98466 | - | 95M| 0 |1635 |1957 |7272 |1957 |6885 |4178 | 0 | 0 | 3.068952e+03 | -- | Inf
182.23/182.30 c 182s| 1 | 0 | 99685 | - | 95M| 0 |1628 |1957 |7272 |1957 |6914 |4207 | 0 | 0 | 3.073024e+03 | -- | Inf
184.53/184.61 c 184s| 1 | 0 |100972 | - | 95M| 0 |1638 |1957 |7272 |1957 |6768 |4242 | 0 | 0 | 3.076232e+03 | -- | Inf
186.53/186.68 c 186s| 1 | 0 |102589 | - | 96M| 0 |1633 |1957 |7272 |1957 |6800 |4274 | 0 | 0 | 3.077726e+03 | -- | Inf
189.93/190.04 c 190s| 1 | 0 |103743 | - | 96M| 0 |1647 |1957 |7272 |1957 |6833 |4307 | 0 | 0 | 3.080128e+03 | -- | Inf
194.32/194.45 c 194s| 1 | 0 |105108 | - | 96M| 0 |1631 |1957 |7272 |1957 |6870 |4344 | 0 | 0 | 3.082990e+03 | -- | Inf
196.83/196.93 c 197s| 1 | 0 |105940 | - | 97M| 0 |1631 |1957 |7272 |1957 |6909 |4383 | 0 | 0 | 3.086204e+03 | -- | Inf
199.52/199.61 c 199s| 1 | 0 |106550 | - | 97M| 0 |1585 |1957 |7272 |1957 |6933 |4407 | 0 | 0 | 3.087539e+03 | -- | Inf
201.82/201.97 c 202s| 1 | 0 |107150 | - | 97M| 0 |1612 |1957 |7272 |1957 |6778 |4434 | 0 | 0 | 3.088389e+03 | -- | Inf
204.32/204.49 c 204s| 1 | 0 |108040 | - | 97M| 0 |1633 |1957 |7272 |1957 |6804 |4460 | 0 | 0 | 3.090352e+03 | -- | Inf
206.73/206.85 c 207s| 1 | 0 |108716 | - | 98M| 0 |1609 |1957 |7272 |1957 |6830 |4486 | 0 | 0 | 3.091493e+03 | -- | Inf
208.42/208.52 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
208.42/208.52 c 208s| 1 | 0 |109200 | - | 98M| 0 |1608 |1957 |7272 |1957 |6844 |4500 | 0 | 0 | 3.092294e+03 | -- | Inf
210.82/210.99 c 211s| 1 | 0 |109730 | - | 98M| 0 |1608 |1957 |7272 |1957 |6861 |4517 | 0 | 0 | 3.093051e+03 | -- | Inf
213.42/213.59 c 213s| 1 | 0 |110404 | - | 98M| 0 |1599 |1957 |7272 |1957 |6875 |4531 | 0 | 0 | 3.094223e+03 | -- | Inf
215.82/215.90 c 216s| 1 | 0 |110860 | - | 99M| 0 |1603 |1957 |7272 |1957 |6727 |4546 | 0 | 0 | 3.095147e+03 | -- | Inf
218.02/218.10 c 218s| 1 | 0 |111379 | - | 99M| 0 |1624 |1957 |7272 |1957 |6740 |4559 | 0 | 0 | 3.095829e+03 | -- | Inf
220.51/220.63 c 220s| 1 | 0 |112092 | - | 99M| 0 |1589 |1957 |7272 |1957 |6760 |4579 | 0 | 0 | 3.097068e+03 | -- | Inf
223.12/223.20 c 223s| 1 | 0 |112920 | - | 99M| 0 |1611 |1957 |7272 |1957 |6787 |4606 | 0 | 0 | 3.097762e+03 | -- | Inf
225.32/225.43 c 225s| 1 | 0 |113369 | - | 99M| 0 |1626 |1957 |7272 |1957 |6805 |4624 | 0 | 0 | 3.098322e+03 | -- | Inf
228.22/228.38 c 228s| 1 | 0 |114210 | - | 99M| 0 |1607 |1957 |7272 |1957 |6818 |4637 | 0 | 0 | 3.098901e+03 | -- | Inf
230.71/230.83 c 231s| 1 | 0 |114453 | - | 99M| 0 |1617 |1957 |7272 |1957 |6653 |4643 | 0 | 0 | 3.099006e+03 | -- | Inf
232.91/233.03 c 233s| 1 | 0 |114587 | - | 99M| 0 |1623 |1957 |7272 |1957 |6655 |4645 | 0 | 0 | 3.099054e+03 | -- | Inf
235.22/235.35 c 235s| 1 | 0 |114807 | - | 99M| 0 |1619 |1957 |7272 |1957 |6658 |4648 | 0 | 0 | 3.099102e+03 | -- | Inf
237.31/237.47 c 237s| 1 | 0 |114862 | - | 99M| 0 |1620 |1957 |7272 |1957 |6663 |4653 | 0 | 0 | 3.099102e+03 | -- | Inf
239.41/239.59 c 239s| 1 | 0 |114966 | - | 99M| 0 |1628 |1957 |7272 |1957 |6665 |4655 | 0 | 0 | 3.099103e+03 | -- | Inf
242.81/242.99 c 243s| 1 | 2 |114966 | - | 99M| 0 |1628 |1957 |7272 |1957 |6665 |4655 | 0 | 11 | 3.099103e+03 | -- | Inf
1789.15/1790.02 c
1789.15/1790.02 c SCIP Status : solving was interrupted [time limit reached]
1789.15/1790.02 c Solving Time (sec) : 1789.78
1789.15/1790.02 c Solving Nodes : 1505
1789.15/1790.02 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1789.15/1790.02 c Dual Bound : +3.11865333481962e+03
1789.15/1790.02 c Gap : infinite
1789.15/1790.02 s UNKNOWN
1789.15/1790.02 c SCIP Status : solving was interrupted [time limit reached]
1789.15/1790.02 c Solving Time : 1789.78
1789.15/1790.02 c Original Problem :
1789.15/1790.02 c Problem name : HOME/instance-2703435-1278553923.opb
1789.15/1790.02 c Variables : 6352 (6352 binary, 0 integer, 0 implicit integer, 0 continuous)
1789.15/1790.02 c Constraints : 13489 initial, 13489 maximal
1789.15/1790.02 c Presolved Problem :
1789.15/1790.02 c Problem name : t_HOME/instance-2703435-1278553923.opb
1789.15/1790.02 c Variables : 1957 (1957 binary, 0 integer, 0 implicit integer, 0 continuous)
1789.15/1790.02 c Constraints : 5943 initial, 7709 maximal
1789.15/1790.02 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1789.15/1790.02 c trivial : 0.04 55 0 0 0 0 0 0 0
1789.15/1790.02 c dualfix : 0.02 0 0 0 0 0 0 0 0
1789.15/1790.02 c boundshift : 0.00 0 0 0 0 0 0 0 0
1789.15/1790.02 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1789.15/1790.02 c implics : 0.09 0 3078 0 0 0 0 0 0
1789.15/1790.02 c probing : 0.64 1 183 0 0 0 0 0 0
1789.15/1790.02 c setppc : 0.04 0 0 0 0 0 189 0 0
1789.15/1790.02 c linear : 0.36 1035 43 0 1090 0 7355 222 431
1789.15/1790.02 c logicor : 0.16 0 0 0 0 0 2 0 0
1789.15/1790.02 c root node : - 0 - - 0 - - - -
1789.15/1790.02 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1789.15/1790.02 c integral : 0 0 0 1544 0 0 53 0 0 2982
1789.15/1790.02 c setppc : 994 89 29185 0 1 90 1182 0 0 0
1789.15/1790.02 c linear : 0+ 88 25963 0 0 0 11 220 0 0
1789.15/1790.02 c logicor : 4949+ 89 21127 0 1 108 1667 0 0 0
1789.15/1790.02 c countsols : 0 0 0 0 1 0 0 0 0 0
1789.15/1790.02 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1789.15/1790.02 c integral : 450.31 0.00 0.00 450.31 0.00
1789.15/1790.02 c setppc : 2.72 0.02 2.70 0.00 0.00
1789.15/1790.02 c linear : 2.58 0.18 2.40 0.00 0.00
1789.15/1790.02 c logicor : 0.77 0.08 0.69 0.00 0.00
1789.15/1790.02 c countsols : 0.00 0.00 0.00 0.00 0.00
1789.15/1790.02 c Propagators : Time Calls Cutoffs DomReds
1789.15/1790.02 c vbounds : 0.02 2 0 0
1789.15/1790.02 c rootredcost : 0.03 0 0 0
1789.15/1790.02 c pseudoobj : 1.90 26204 0 0
1789.15/1790.02 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1789.15/1790.02 c propagation : 0.01 197 186 466 16.4 70 3.9 -
1789.15/1790.02 c infeasible LP : 0.07 52 52 181 23.8 11 3.6 0
1789.15/1790.02 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1789.15/1790.02 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1789.15/1790.02 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1789.15/1790.02 c applied globally : - - - 619 15.1 - - -
1789.15/1790.02 c applied locally : - - - 0 0.0 - - -
1789.15/1790.02 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1789.15/1790.02 c cut pool : 2.23 88 - - 3488 - (maximal pool size: 27514)
1789.15/1790.02 c redcost : 0.16 1632 0 0 0 0
1789.15/1790.02 c impliedbounds : 0.12 89 0 0 3530 0
1789.15/1790.02 c intobj : 0.00 0 0 0 0 0
1789.15/1790.02 c cgmip : 0.00 0 0 0 0 0
1789.15/1790.02 c gomory : 82.55 89 0 0 39522 0
1789.15/1790.02 c strongcg : 3.43 20 0 0 10000 0
1789.15/1790.02 c cmir : 0.85 10 0 0 0 0
1789.15/1790.02 c flowcover : 0.82 10 0 0 0 0
1789.15/1790.02 c clique : 0.16 88 0 0 21 0
1789.15/1790.02 c zerohalf : 0.00 0 0 0 0 0
1789.15/1790.02 c mcf : 0.01 1 0 0 0 0
1789.15/1790.02 c rapidlearning : 3.02 1 0 0 0 1329
1789.15/1790.02 c Pricers : Time Calls Vars
1789.15/1790.02 c problem variables: 0.00 0 0
1789.15/1790.02 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1789.15/1790.02 c relpscost : 450.30 1544 0 53 0 0 2982
1789.15/1790.02 c pscost : 0.00 0 0 0 0 0 0
1789.15/1790.02 c inference : 0.00 1 0 0 0 0 2
1789.15/1790.02 c mostinf : 0.00 0 0 0 0 0 0
1789.15/1790.02 c leastinf : 0.00 0 0 0 0 0 0
1789.15/1790.02 c fullstrong : 0.00 0 0 0 0 0 0
1789.15/1790.02 c allfullstrong : 0.00 0 0 0 0 0 0
1789.15/1790.02 c random : 0.00 0 0 0 0 0 0
1789.15/1790.02 c Primal Heuristics : Time Calls Found
1789.15/1790.02 c LP solutions : 0.00 - 0
1789.15/1790.02 c pseudo solutions : 0.00 - 0
1789.15/1790.02 c oneopt : 0.01 0 0
1789.15/1790.02 c crossover : 0.00 0 0
1789.15/1790.02 c trivial : 0.02 2 0
1789.15/1790.02 c simplerounding : 0.00 0 0
1789.15/1790.02 c zirounding : 0.72 1000 0
1789.15/1790.02 c rounding : 1.02 520 0
1789.15/1790.02 c shifting : 2.61 162 0
1789.15/1790.02 c intshifting : 0.00 0 0
1789.15/1790.02 c twoopt : 0.00 0 0
1789.15/1790.02 c fixandinfer : 0.00 0 0
1789.15/1790.02 c feaspump : 51.87 5 0
1789.15/1790.02 c coefdiving : 74.42 19 0
1789.15/1790.02 c pscostdiving : 64.99 24 0
1789.15/1790.02 c fracdiving : 82.73 21 0
1789.15/1790.02 c veclendiving : 65.53 13 0
1789.15/1790.02 c intdiving : 0.00 0 0
1789.15/1790.02 c actconsdiving : 0.00 0 0
1789.15/1790.02 c objpscostdiving : 45.57 1 0
1789.15/1790.02 c rootsoldiving : 36.12 2 0
1789.15/1790.02 c linesearchdiving : 74.03 24 0
1789.15/1790.02 c guideddiving : 0.00 0 0
1789.15/1790.02 c octane : 0.00 0 0
1789.15/1790.02 c rens : 0.01 0 0
1789.15/1790.02 c rins : 0.00 0 0
1789.15/1790.02 c localbranching : 0.00 0 0
1789.15/1790.02 c mutation : 0.00 0 0
1789.15/1790.02 c dins : 0.00 0 0
1789.15/1790.02 c undercover : 0.00 0 0
1789.15/1790.02 c nlp : 0.00 0 0
1789.15/1790.02 c trysol : 0.00 0 0
1789.15/1790.02 c LP : Time Calls Iterations Iter/call Iter/sec
1789.15/1790.02 c primal LP : 0.15 0 0 0.00 0.00
1789.15/1790.02 c dual LP : 733.85 1635 808548 494.52 1101.79
1789.15/1790.02 c lex dual LP : 0.00 0 0 0.00 -
1789.15/1790.02 c barrier LP : 0.00 0 0 0.00 -
1789.15/1790.02 c diving/probing LP: 460.58 10229 417938 40.86 907.41
1789.15/1790.02 c strong branching : 448.69 2647 446533 168.69 995.19
1789.15/1790.02 c (at root node) : - 11 1032 93.82 -
1789.15/1790.02 c conflict analysis: 0.00 0 0 0.00 -
1789.15/1790.02 c B&B Tree :
1789.15/1790.02 c number of runs : 1
1789.15/1790.02 c nodes : 1505
1789.15/1790.02 c nodes (total) : 1505
1789.15/1790.02 c nodes left : 1480
1789.15/1790.02 c max depth : 22
1789.15/1790.02 c max depth (total): 22
1789.15/1790.02 c backtracks : 712 (47.3%)
1789.15/1790.02 c delayed cutoffs : 0
1789.15/1790.02 c repropagations : 20 (3 domain reductions, 0 cutoffs)
1789.15/1790.02 c avg switch length: 9.05
1789.15/1790.02 c switching time : 1.10
1789.15/1790.02 c Solution :
1789.15/1790.02 c Solutions found : 0 (0 improvements)
1789.15/1790.02 c Primal Bound : -
1789.15/1790.02 c Dual Bound : +3.11865333481962e+03
1789.15/1790.02 c Gap : infinite
1789.15/1790.02 c Root Dual Bound : +3.09910320815797e+03
1789.15/1790.02 c Root Iterations : 114966
1789.25/1790.18 c Time complete: 1789.33.