0.18/0.22 c SCIP version 1.1.0.7
0.18/0.22 c LP-Solver SoPlex 1.4.1
0.18/0.22 c user parameter file <scip.set> not found - using default parameters
0.18/0.22 c read problem <HOME/instance-1869090-1245158064.opb>
0.18/0.22 c original problem has 6352 variables (6352 bin, 0 int, 0 impl, 0 cont) and 13501 constraints
0.18/0.29 c start presolving problem
0.18/0.29 c presolving:
0.28/0.37 c (round 1) 2895 del vars, 511 del conss, 334 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 37718 impls, 0 clqs
0.39/0.43 c (round 2) 3165 del vars, 4406 del conss, 367 chg bounds, 1 chg sides, 2 chg coeffs, 0 upgd conss, 46772 impls, 0 clqs
0.39/0.45 c (round 3) 3204 del vars, 4831 del conss, 382 chg bounds, 3 chg sides, 6 chg coeffs, 0 upgd conss, 47219 impls, 0 clqs
0.39/0.46 c (round 4) 3239 del vars, 4922 del conss, 396 chg bounds, 6 chg sides, 12 chg coeffs, 0 upgd conss, 47658 impls, 0 clqs
0.39/0.47 c (round 5) 3271 del vars, 5005 del conss, 409 chg bounds, 9 chg sides, 18 chg coeffs, 0 upgd conss, 48011 impls, 0 clqs
0.39/0.48 c (round 6) 3299 del vars, 5078 del conss, 420 chg bounds, 12 chg sides, 24 chg coeffs, 0 upgd conss, 48284 impls, 0 clqs
0.39/0.49 c (round 7) 3323 del vars, 5141 del conss, 429 chg bounds, 15 chg sides, 30 chg coeffs, 0 upgd conss, 48517 impls, 0 clqs
0.39/0.49 c (round 8) 3343 del vars, 5194 del conss, 436 chg bounds, 18 chg sides, 36 chg coeffs, 0 upgd conss, 48790 impls, 0 clqs
0.49/0.50 c (round 9) 3359 del vars, 5238 del conss, 442 chg bounds, 21 chg sides, 42 chg coeffs, 0 upgd conss, 49013 impls, 0 clqs
0.49/0.51 c (round 10) 3375 del vars, 5278 del conss, 448 chg bounds, 24 chg sides, 48 chg coeffs, 0 upgd conss, 49186 impls, 0 clqs
0.49/0.52 c (round 11) 3391 del vars, 5318 del conss, 454 chg bounds, 27 chg sides, 54 chg coeffs, 0 upgd conss, 49371 impls, 0 clqs
0.49/0.53 c (round 12) 3407 del vars, 5358 del conss, 460 chg bounds, 30 chg sides, 60 chg coeffs, 0 upgd conss, 49530 impls, 0 clqs
0.49/0.54 c (round 13) 3423 del vars, 5398 del conss, 466 chg bounds, 33 chg sides, 66 chg coeffs, 0 upgd conss, 49717 impls, 0 clqs
0.49/0.55 c (round 14) 3439 del vars, 5438 del conss, 472 chg bounds, 36 chg sides, 72 chg coeffs, 0 upgd conss, 49984 impls, 0 clqs
0.49/0.56 c (round 15) 3455 del vars, 5478 del conss, 478 chg bounds, 39 chg sides, 78 chg coeffs, 0 upgd conss, 50187 impls, 0 clqs
0.49/0.56 c (round 16) 3472 del vars, 5519 del conss, 485 chg bounds, 42 chg sides, 84 chg coeffs, 0 upgd conss, 50338 impls, 0 clqs
0.49/0.57 c (round 17) 3488 del vars, 5559 del conss, 491 chg bounds, 45 chg sides, 90 chg coeffs, 0 upgd conss, 50535 impls, 0 clqs
0.49/0.58 c (round 18) 3504 del vars, 5599 del conss, 497 chg bounds, 48 chg sides, 96 chg coeffs, 0 upgd conss, 50818 impls, 0 clqs
0.49/0.59 c (round 19) 3520 del vars, 5639 del conss, 503 chg bounds, 51 chg sides, 102 chg coeffs, 0 upgd conss, 50975 impls, 0 clqs
0.58/0.60 c (round 20) 3536 del vars, 5679 del conss, 509 chg bounds, 54 chg sides, 108 chg coeffs, 0 upgd conss, 51180 impls, 0 clqs
0.58/0.61 c (round 21) 3549 del vars, 5712 del conss, 512 chg bounds, 55 chg sides, 110 chg coeffs, 0 upgd conss, 51366 impls, 0 clqs
0.58/0.62 c (round 22) 3566 del vars, 5755 del conss, 520 chg bounds, 57 chg sides, 114 chg coeffs, 0 upgd conss, 51524 impls, 0 clqs
0.58/0.62 c (round 23) 3582 del vars, 5802 del conss, 528 chg bounds, 58 chg sides, 116 chg coeffs, 0 upgd conss, 51649 impls, 0 clqs
0.58/0.63 c (round 24) 3598 del vars, 5842 del conss, 536 chg bounds, 59 chg sides, 118 chg coeffs, 0 upgd conss, 51784 impls, 0 clqs
0.58/0.64 c (round 25) 3612 del vars, 5881 del conss, 543 chg bounds, 60 chg sides, 120 chg coeffs, 0 upgd conss, 51923 impls, 0 clqs
0.58/0.65 c (round 26) 3627 del vars, 5918 del conss, 550 chg bounds, 61 chg sides, 122 chg coeffs, 0 upgd conss, 52058 impls, 0 clqs
0.58/0.66 c (round 27) 3642 del vars, 5953 del conss, 558 chg bounds, 62 chg sides, 124 chg coeffs, 0 upgd conss, 52123 impls, 0 clqs
0.58/0.66 c (round 28) 3653 del vars, 5981 del conss, 565 chg bounds, 63 chg sides, 126 chg coeffs, 0 upgd conss, 52210 impls, 0 clqs
0.58/0.67 c (round 29) 3667 del vars, 6016 del conss, 574 chg bounds, 66 chg sides, 130 chg coeffs, 0 upgd conss, 52269 impls, 0 clqs
0.58/0.68 c (round 30) 3683 del vars, 6051 del conss, 583 chg bounds, 69 chg sides, 136 chg coeffs, 0 upgd conss, 52417 impls, 0 clqs
0.58/0.69 c (round 31) 3695 del vars, 6098 del conss, 594 chg bounds, 72 chg sides, 142 chg coeffs, 0 upgd conss, 52527 impls, 0 clqs
0.58/0.70 c (round 32) 3710 del vars, 6131 del conss, 604 chg bounds, 73 chg sides, 145 chg coeffs, 0 upgd conss, 52548 impls, 0 clqs
0.69/0.71 c (round 33) 3723 del vars, 6160 del conss, 613 chg bounds, 74 chg sides, 147 chg coeffs, 0 upgd conss, 52611 impls, 0 clqs
0.69/0.71 c (round 34) 3738 del vars, 6195 del conss, 623 chg bounds, 76 chg sides, 151 chg coeffs, 0 upgd conss, 52702 impls, 0 clqs
0.69/0.72 c (round 35) 3756 del vars, 6239 del conss, 639 chg bounds, 82 chg sides, 162 chg coeffs, 0 upgd conss, 52735 impls, 0 clqs
0.69/0.73 c (round 36) 3768 del vars, 6271 del conss, 647 chg bounds, 84 chg sides, 166 chg coeffs, 0 upgd conss, 52818 impls, 0 clqs
0.69/0.74 c (round 37) 3787 del vars, 6314 del conss, 662 chg bounds, 87 chg sides, 174 chg coeffs, 0 upgd conss, 52903 impls, 0 clqs
0.69/0.74 c (round 38) 3798 del vars, 6351 del conss, 671 chg bounds, 90 chg sides, 180 chg coeffs, 0 upgd conss, 52975 impls, 0 clqs
0.69/0.75 c (round 39) 3810 del vars, 6385 del conss, 681 chg bounds, 92 chg sides, 184 chg coeffs, 0 upgd conss, 53026 impls, 0 clqs
0.69/0.76 c (round 40) 3824 del vars, 6418 del conss, 693 chg bounds, 95 chg sides, 192 chg coeffs, 0 upgd conss, 53093 impls, 0 clqs
0.69/0.77 c (round 41) 3838 del vars, 6455 del conss, 705 chg bounds, 98 chg sides, 198 chg coeffs, 0 upgd conss, 53141 impls, 0 clqs
0.69/0.78 c (round 42) 3858 del vars, 6495 del conss, 721 chg bounds, 101 chg sides, 204 chg coeffs, 0 upgd conss, 53223 impls, 0 clqs
0.69/0.78 c (round 43) 3872 del vars, 6533 del conss, 731 chg bounds, 105 chg sides, 212 chg coeffs, 0 upgd conss, 53313 impls, 0 clqs
0.69/0.79 c (round 44) 3890 del vars, 6581 del conss, 746 chg bounds, 107 chg sides, 216 chg coeffs, 0 upgd conss, 53431 impls, 0 clqs
0.78/0.80 c (round 45) 3905 del vars, 6611 del conss, 757 chg bounds, 111 chg sides, 224 chg coeffs, 0 upgd conss, 53493 impls, 0 clqs
0.78/0.81 c (round 46) 3916 del vars, 6654 del conss, 769 chg bounds, 114 chg sides, 230 chg coeffs, 0 upgd conss, 53570 impls, 0 clqs
0.78/0.81 c (round 47) 3933 del vars, 6691 del conss, 787 chg bounds, 121 chg sides, 244 chg coeffs, 0 upgd conss, 53610 impls, 0 clqs
0.78/0.82 c (round 48) 3944 del vars, 6732 del conss, 797 chg bounds, 122 chg sides, 246 chg coeffs, 0 upgd conss, 53651 impls, 0 clqs
0.78/0.83 c (round 49) 3962 del vars, 6768 del conss, 814 chg bounds, 126 chg sides, 254 chg coeffs, 0 upgd conss, 53706 impls, 0 clqs
0.78/0.84 c (round 50) 3980 del vars, 6809 del conss, 828 chg bounds, 128 chg sides, 258 chg coeffs, 0 upgd conss, 53828 impls, 0 clqs
0.78/0.84 c (round 51) 3996 del vars, 6848 del conss, 841 chg bounds, 131 chg sides, 264 chg coeffs, 0 upgd conss, 53944 impls, 0 clqs
0.78/0.85 c (round 52) 4012 del vars, 6890 del conss, 853 chg bounds, 134 chg sides, 270 chg coeffs, 0 upgd conss, 54004 impls, 0 clqs
0.78/0.86 c (round 53) 4028 del vars, 6926 del conss, 868 chg bounds, 137 chg sides, 276 chg coeffs, 0 upgd conss, 54102 impls, 0 clqs
0.78/0.87 c (round 54) 4046 del vars, 6970 del conss, 883 chg bounds, 140 chg sides, 282 chg coeffs, 0 upgd conss, 54189 impls, 0 clqs
0.78/0.87 c (round 55) 4058 del vars, 7013 del conss, 896 chg bounds, 145 chg sides, 292 chg coeffs, 0 upgd conss, 54210 impls, 0 clqs
0.78/0.88 c (round 56) 4075 del vars, 7052 del conss, 911 chg bounds, 147 chg sides, 296 chg coeffs, 0 upgd conss, 54282 impls, 0 clqs
0.78/0.89 c (round 57) 4089 del vars, 7084 del conss, 924 chg bounds, 151 chg sides, 304 chg coeffs, 0 upgd conss, 54336 impls, 0 clqs
0.78/0.90 c (round 58) 4107 del vars, 7121 del conss, 933 chg bounds, 151 chg sides, 304 chg coeffs, 0 upgd conss, 54418 impls, 0 clqs
0.88/0.90 c (round 59) 4122 del vars, 7159 del conss, 946 chg bounds, 152 chg sides, 306 chg coeffs, 0 upgd conss, 54553 impls, 0 clqs
0.88/0.91 c (round 60) 4136 del vars, 7193 del conss, 957 chg bounds, 154 chg sides, 312 chg coeffs, 0 upgd conss, 54598 impls, 0 clqs
0.88/0.92 c (round 61) 4140 del vars, 7219 del conss, 961 chg bounds, 154 chg sides, 312 chg coeffs, 0 upgd conss, 54678 impls, 0 clqs
0.88/0.92 c (round 62) 4149 del vars, 7235 del conss, 969 chg bounds, 157 chg sides, 318 chg coeffs, 0 upgd conss, 54706 impls, 0 clqs
0.88/0.93 c (round 63) 4159 del vars, 7261 del conss, 976 chg bounds, 157 chg sides, 318 chg coeffs, 0 upgd conss, 54760 impls, 0 clqs
0.88/0.94 c (round 64) 4165 del vars, 7279 del conss, 983 chg bounds, 161 chg sides, 324 chg coeffs, 0 upgd conss, 54804 impls, 0 clqs
0.88/0.95 c (round 65) 4172 del vars, 7292 del conss, 985 chg bounds, 162 chg sides, 326 chg coeffs, 0 upgd conss, 54862 impls, 0 clqs
0.88/0.95 c (round 66) 4175 del vars, 7302 del conss, 988 chg bounds, 162 chg sides, 326 chg coeffs, 0 upgd conss, 54874 impls, 0 clqs
0.88/0.96 c (round 67) 4178 del vars, 7314 del conss, 991 chg bounds, 162 chg sides, 326 chg coeffs, 0 upgd conss, 54902 impls, 0 clqs
0.88/0.96 c (round 68) 4178 del vars, 7316 del conss, 991 chg bounds, 162 chg sides, 326 chg coeffs, 0 upgd conss, 54922 impls, 0 clqs
1.08/1.10 c (round 69) 4178 del vars, 7323 del conss, 991 chg bounds, 169 chg sides, 326 chg coeffs, 6178 upgd conss, 54922 impls, 0 clqs
1.17/1.29 c (round 70) 4228 del vars, 7323 del conss, 991 chg bounds, 169 chg sides, 326 chg coeffs, 6178 upgd conss, 108920 impls, 0 clqs
1.17/1.29 c (round 71) 4228 del vars, 7329 del conss, 991 chg bounds, 169 chg sides, 326 chg coeffs, 6178 upgd conss, 108928 impls, 0 clqs
1.37/1.47 c (round 72) 4278 del vars, 7329 del conss, 991 chg bounds, 169 chg sides, 326 chg coeffs, 6178 upgd conss, 112334 impls, 0 clqs
1.47/1.59 c (round 73) 4328 del vars, 7329 del conss, 991 chg bounds, 169 chg sides, 326 chg coeffs, 6178 upgd conss, 113386 impls, 0 clqs
1.57/1.69 c (1.2s) probing: 835/2174 (38.4%) - 1 fixings, 186 aggregations, 5620 implications, 0 bound changes
1.57/1.69 c (1.2s) probing aborted: 100/100 successive totally useless probings
1.57/1.69 c (round 74) 4365 del vars, 7329 del conss, 991 chg bounds, 169 chg sides, 326 chg coeffs, 6178 upgd conss, 113820 impls, 0 clqs
1.77/1.80 c (round 75) 4365 del vars, 7348 del conss, 991 chg bounds, 169 chg sides, 326 chg coeffs, 6178 upgd conss, 113820 impls, 0 clqs
1.77/1.82 c (1.4s) probing: 845/2174 (38.9%) - 1 fixings, 186 aggregations, 5620 implications, 0 bound changes
1.77/1.82 c (1.4s) probing aborted: 100/100 successive totally useless probings
1.77/1.82 c presolving (76 rounds):
1.77/1.82 c 4365 deleted vars, 7348 deleted constraints, 991 tightened bounds, 0 added holes, 169 changed sides, 326 changed coefficients
1.77/1.82 c 113820 implications, 0 cliques
1.77/1.82 c presolved problem has 1987 variables (1987 bin, 0 int, 0 impl, 0 cont) and 6153 constraints
1.77/1.82 c 6153 constraints of type <logicor>
1.77/1.82 c transformed objective value is always integral (scale: 1)
1.77/1.82 c Presolving Time: 1.31
1.77/1.83 c strange?!, PURESAT with obj
1.77/1.83 c -----------------------------------------------------------------------------------------------
1.77/1.83 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1.77/1.83 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1.77/1.83 c limits/memory = c 1620
1.77/1.83 c # maximal time in seconds to run
1.77/1.83 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1.77/1.83 c limits/time = c 1791
1.77/1.83 c # frequency for displaying node information lines
1.77/1.83 c # [type: int, range: [-1,2147483647], default: 100]
1.77/1.83 c display/freq = c 10000
1.77/1.83 c -----------------------------------------------------------------------------------------------
1.77/1.83 c start solving problem
1.77/1.83 c
2.56/2.63 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
2.56/2.63 c 2.1s| 1 | 0 | 2038 | 22M| 0 |1239 |1987 |6153 |6153 |1987 |5966 | 0 | 0 | 0 | 2.790419e+03 | -- | Inf
6.44/6.55 c 6.0s| 1 | 0 | 7813 | 23M| 0 |1229 |1987 |6153 |6153 |1987 |7835 |1869 | 0 | 0 | 2.806871e+03 | -- | Inf
9.52/9.60 c 9.0s| 1 | 0 | 9960 | 24M| 0 |1210 |1987 |6153 |6153 |1987 |7880 |1914 | 0 | 0 | 2.826534e+03 | -- | Inf
10.60/10.73 c 10.1s| 1 | 0 | 10799 | 25M| 0 |1189 |1987 |6153 |6153 |1987 |7914 |1948 | 0 | 0 | 2.829261e+03 | -- | Inf
12.09/12.29 c 11.7s| 1 | 0 | 11676 | 25M| 0 |1215 |1987 |6153 |6153 |1987 |7957 |1991 | 0 | 0 | 2.832706e+03 | -- | Inf
13.99/14.12 c 13.5s| 1 | 0 | 12741 | 27M| 0 |1255 |1987 |6153 |6153 |1987 |7996 |2030 | 0 | 0 | 2.836252e+03 | -- | Inf
16.37/16.52 c 15.8s| 1 | 0 | 14158 | 28M| 0 |1260 |1987 |6153 |6153 |1987 |8045 |2079 | 0 | 0 | 2.840765e+03 | -- | Inf
19.04/19.27 c 18.6s| 1 | 0 | 15652 | 30M| 0 |1275 |1987 |6153 |6153 |1987 |8091 |2125 | 0 | 0 | 2.845036e+03 | -- | Inf
22.54/22.72 c 22.0s| 1 | 0 | 17445 | 32M| 0 |1317 |1987 |6153 |6153 |1987 |8133 |2167 | 0 | 0 | 2.848839e+03 | -- | Inf
25.84/26.00 c 25.3s| 1 | 0 | 19248 | 34M| 0 |1293 |1987 |6153 |6153 |1987 |8176 |2210 | 0 | 0 | 2.852577e+03 | -- | Inf
28.74/28.93 c 28.2s| 1 | 0 | 20766 | 37M| 0 |1290 |1987 |6153 |6153 |1987 |8220 |2254 | 0 | 0 | 2.856734e+03 | -- | Inf
31.83/32.05 c 31.3s| 1 | 0 | 22165 | 39M| 0 |1307 |1987 |6153 |6153 |1987 |8267 |2301 | 0 | 0 | 2.862547e+03 | -- | Inf
35.13/35.36 c 34.6s| 1 | 0 | 23224 | 41M| 0 |1344 |1987 |6153 |6153 |1987 |6498 |2342 | 0 | 0 | 2.866883e+03 | -- | Inf
38.24/38.46 c 37.6s| 1 | 0 | 24900 | 42M| 0 |1332 |1987 |6153 |6153 |1987 |6540 |2384 | 0 | 0 | 2.871851e+03 | -- | Inf
41.83/42.09 c 41.3s| 1 | 0 | 26776 | 45M| 0 |1367 |1987 |6153 |6153 |1987 |6583 |2427 | 0 | 0 | 2.876110e+03 | -- | Inf
45.34/45.59 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
45.34/45.59 c 44.7s| 1 | 0 | 28683 | 48M| 0 |1364 |1987 |6153 |6153 |1987 |6639 |2483 | 0 | 0 | 2.882889e+03 | -- | Inf
52.23/52.45 c 51.6s| 1 | 0 | 32267 | 51M| 0 |1393 |1987 |6153 |6153 |1987 |6675 |2519 | 0 | 0 | 2.887108e+03 | -- | Inf
55.23/55.41 c 54.5s| 1 | 0 | 33137 | 52M| 0 |1397 |1987 |6153 |6153 |1987 |6722 |2566 | 0 | 0 | 2.895124e+03 | -- | Inf
60.13/60.32 c 59.4s| 1 | 0 | 35521 | 53M| 0 |1395 |1987 |6153 |6153 |1987 |6617 |2616 | 0 | 0 | 2.905470e+03 | -- | Inf
62.82/63.08 c 62.1s| 1 | 0 | 37170 | 56M| 0 |1455 |1987 |6153 |6153 |1987 |6663 |2662 | 0 | 0 | 2.908540e+03 | -- | Inf
65.92/66.10 c 65.2s| 1 | 0 | 38496 | 57M| 0 |1442 |1987 |6153 |6153 |1987 |6710 |2709 | 0 | 0 | 2.914707e+03 | -- | Inf
68.73/68.92 c 68.0s| 1 | 0 | 39581 | 59M| 0 |1440 |1987 |6153 |6153 |1987 |6758 |2757 | 0 | 0 | 2.919532e+03 | -- | Inf
71.02/71.24 c 70.3s| 1 | 0 | 40781 | 60M| 0 |1446 |1987 |6153 |6153 |1987 |6798 |2797 | 0 | 0 | 2.922543e+03 | -- | Inf
73.92/74.12 c 73.1s| 1 | 0 | 42345 | 61M| 0 |1467 |1987 |6153 |6153 |1987 |6843 |2842 | 0 | 0 | 2.926504e+03 | -- | Inf
77.42/77.68 c 76.7s| 1 | 0 | 44182 | 62M| 0 |1534 |1987 |6153 |6153 |1987 |6726 |2897 | 0 | 0 | 2.931572e+03 | -- | Inf
80.32/80.52 c 79.5s| 1 | 0 | 45518 | 62M| 0 |1525 |1987 |6153 |6153 |1987 |6771 |2942 | 0 | 0 | 2.935745e+03 | -- | Inf
83.82/84.02 c 83.0s| 1 | 0 | 47107 | 62M| 0 |1576 |1987 |6153 |6153 |1987 |6825 |2996 | 0 | 0 | 2.941606e+03 | -- | Inf
87.52/87.80 c 86.8s| 1 | 0 | 48789 | 63M| 0 |1529 |1987 |6153 |6153 |1987 |6874 |3045 | 0 | 0 | 2.945572e+03 | -- | Inf
91.62/91.85 c 90.8s| 1 | 0 | 51005 | 63M| 0 |1629 |1987 |6153 |6153 |1987 |6923 |3094 | 0 | 0 | 2.949923e+03 | -- | Inf
97.11/97.33 c 96.3s| 1 | 0 | 53614 | 64M| 0 |1575 |1987 |6153 |6153 |1987 |6987 |3158 | 0 | 0 | 2.954282e+03 | -- | Inf
101.02/101.28 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
101.02/101.28 c 100s| 1 | 0 | 55879 | 64M| 0 |1584 |1987 |6153 |6153 |1987 |6793 |3210 | 0 | 0 | 2.959543e+03 | -- | Inf
103.83/104.09 c 103s| 1 | 0 | 57465 | 65M| 0 |1629 |1987 |6153 |6153 |1987 |6842 |3259 | 0 | 0 | 2.963858e+03 | -- | Inf
108.79/109.07 c 108s| 1 | 0 | 60566 | 66M| 0 |1615 |1987 |6153 |6153 |1987 |6889 |3306 | 0 | 0 | 2.966558e+03 | -- | Inf
111.20/111.45 c 110s| 1 | 0 | 61542 | 67M| 0 |1659 |1987 |6153 |6153 |1987 |6929 |3346 | 0 | 0 | 2.968816e+03 | -- | Inf
115.00/115.28 c 114s| 1 | 0 | 63693 | 68M| 0 |1655 |1987 |6153 |6153 |1987 |6968 |3385 | 0 | 0 | 2.971663e+03 | -- | Inf
119.70/119.91 c 119s| 1 | 0 | 65662 | 68M| 0 |1682 |1987 |6153 |6153 |1987 |7001 |3418 | 0 | 0 | 2.973305e+03 | -- | Inf
122.19/122.49 c 121s| 1 | 0 | 66922 | 69M| 0 |1649 |1987 |6153 |6153 |1987 |6796 |3446 | 0 | 0 | 2.974479e+03 | -- | Inf
126.70/126.94 c 126s| 1 | 0 | 69391 | 70M| 0 |1712 |1987 |6153 |6153 |1987 |6836 |3486 | 0 | 0 | 2.977300e+03 | -- | Inf
132.48/132.71 c 131s| 1 | 0 | 71326 | 70M| 0 |1634 |1987 |6153 |6153 |1987 |6900 |3550 | 0 | 0 | 2.982880e+03 | -- | Inf
137.49/137.73 c 136s| 1 | 0 | 73915 | 70M| 0 |1604 |1987 |6153 |6153 |1987 |6948 |3598 | 0 | 0 | 2.987145e+03 | -- | Inf
140.38/140.63 c 139s| 1 | 0 | 75711 | 71M| 0 |1656 |1987 |6153 |6153 |1987 |6995 |3645 | 0 | 0 | 2.991383e+03 | -- | Inf
143.79/144.01 c 143s| 1 | 0 | 77376 | 72M| 0 |1618 |1987 |6153 |6153 |1987 |7034 |3684 | 0 | 0 | 2.993128e+03 | -- | Inf
146.89/147.15 c 146s| 1 | 0 | 79063 | 73M| 0 |1630 |1987 |6153 |6153 |1987 |6827 |3719 | 0 | 0 | 2.994842e+03 | -- | Inf
149.68/149.90 c 149s| 1 | 0 | 80390 | 73M| 0 |1631 |1987 |6153 |6153 |1987 |6857 |3749 | 0 | 0 | 2.996227e+03 | -- | Inf
152.98/153.30 c 152s| 1 | 0 | 82117 | 74M| 0 |1682 |1987 |6153 |6153 |1987 |6896 |3788 | 0 | 0 | 2.998431e+03 | -- | Inf
157.78/158.04 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
157.78/158.04 c 157s| 1 | 0 | 84316 | 74M| 0 |1697 |1987 |6153 |6153 |1987 |6941 |3833 | 0 | 0 | 3.002296e+03 | -- | Inf
163.08/163.33 c 162s| 1 | 0 | 86543 | 74M| 0 |1717 |1987 |6153 |6153 |1987 |6987 |3879 | 0 | 0 | 3.008163e+03 | -- | Inf
169.16/169.48 c 168s| 1 | 0 | 89116 | 75M| 0 |1682 |1987 |6153 |6153 |1987 |7029 |3921 | 0 | 0 | 3.010955e+03 | -- | Inf
173.75/174.09 c 173s| 1 | 0 | 91725 | 75M| 0 |1631 |1987 |6153 |6153 |1987 |6883 |3948 | 0 | 0 | 3.013267e+03 | -- | Inf
176.66/176.98 c 176s| 1 | 0 | 93356 | 76M| 0 |1712 |1987 |6153 |6153 |1987 |6921 |3986 | 0 | 0 | 3.015087e+03 | -- | Inf
181.16/181.48 c 180s| 1 | 0 | 95511 | 76M| 0 |1723 |1987 |6153 |6153 |1987 |6952 |4017 | 0 | 0 | 3.017020e+03 | -- | Inf
186.35/186.69 c 185s| 1 | 0 | 97416 | 76M| 0 |1667 |1987 |6153 |6153 |1987 |6987 |4052 | 0 | 0 | 3.018992e+03 | -- | Inf
189.15/189.44 c 188s| 1 | 0 | 98865 | 77M| 0 |1665 |1987 |6153 |6153 |1987 |7029 |4094 | 0 | 0 | 3.021703e+03 | -- | Inf
192.35/192.61 c 191s| 1 | 0 |100339 | 77M| 0 |1620 |1987 |6153 |6153 |1987 |7069 |4134 | 0 | 0 | 3.025458e+03 | -- | Inf
194.85/195.19 c 194s| 1 | 0 |102295 | 78M| 0 |1615 |1987 |6153 |6153 |1987 |6880 |4170 | 0 | 0 | 3.028627e+03 | -- | Inf
196.45/196.71 c 195s| 1 | 0 |103189 | 79M| 0 |1689 |1987 |6153 |6153 |1987 |6911 |4201 | 0 | 0 | 3.030964e+03 | -- | Inf
198.45/198.72 c 197s| 1 | 0 |104425 | 79M| 0 |1580 |1987 |6153 |6153 |1987 |6942 |4232 | 0 | 0 | 3.032709e+03 | -- | Inf
200.45/200.74 c 199s| 1 | 0 |105823 | 80M| 0 |1676 |1987 |6153 |6153 |1987 |6977 |4267 | 0 | 0 | 3.034801e+03 | -- | Inf
202.94/203.21 c 202s| 1 | 0 |107006 | 81M| 0 |1658 |1987 |6153 |6153 |1987 |7004 |4294 | 0 | 0 | 3.036640e+03 | -- | Inf
205.65/205.96 c 204s| 1 | 0 |108640 | 82M| 0 |1681 |1987 |6153 |6153 |1987 |7034 |4324 | 0 | 0 | 3.038352e+03 | -- | Inf
210.45/210.70 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
210.45/210.70 c 209s| 1 | 0 |110843 | 82M| 0 |1710 |1987 |6153 |6153 |1987 |6861 |4346 | 0 | 0 | 3.040520e+03 | -- | Inf
214.65/214.92 c 213s| 1 | 0 |112543 | 82M| 0 |1626 |1987 |6153 |6153 |1987 |6893 |4378 | 0 | 0 | 3.043457e+03 | -- | Inf
218.04/218.39 c 217s| 1 | 0 |114925 | 83M| 0 |1638 |1987 |6153 |6153 |1987 |6926 |4411 | 0 | 0 | 3.044991e+03 | -- | Inf
222.04/222.31 c 221s| 1 | 0 |117015 | 83M| 0 |1664 |1987 |6153 |6153 |1987 |6967 |4452 | 0 | 0 | 3.047909e+03 | -- | Inf
225.54/225.87 c 224s| 1 | 0 |119306 | 84M| 0 |1695 |1987 |6153 |6153 |1987 |6991 |4476 | 0 | 0 | 3.050272e+03 | -- | Inf
229.04/229.31 c 228s| 1 | 0 |121185 | 84M| 0 |1648 |1987 |6153 |6153 |1987 |7023 |4508 | 0 | 0 | 3.051594e+03 | -- | Inf
232.44/232.71 c 231s| 1 | 0 |123124 | 85M| 0 |1670 |1987 |6153 |6153 |1987 |6849 |4536 | 0 | 0 | 3.052743e+03 | -- | Inf
235.94/236.20 c 235s| 1 | 0 |124590 | 85M| 0 |1656 |1987 |6153 |6153 |1987 |6875 |4562 | 0 | 0 | 3.054852e+03 | -- | Inf
238.24/238.58 c 237s| 1 | 0 |126287 | 86M| 0 |1633 |1987 |6153 |6153 |1987 |6914 |4601 | 0 | 0 | 3.057107e+03 | -- | Inf
241.04/241.32 c 240s| 1 | 0 |128189 | 86M| 0 |1648 |1987 |6153 |6153 |1987 |6946 |4633 | 0 | 0 | 3.058506e+03 | -- | Inf
244.24/244.51 c 243s| 1 | 0 |129365 | 87M| 0 |1652 |1987 |6153 |6153 |1987 |6982 |4669 | 0 | 0 | 3.061101e+03 | -- | Inf
247.63/247.95 c 246s| 1 | 0 |130971 | 87M| 0 |1612 |1987 |6153 |6153 |1987 |7011 |4698 | 0 | 0 | 3.064162e+03 | -- | Inf
249.94/250.28 c 249s| 1 | 0 |132153 | 88M| 0 |1600 |1987 |6153 |6153 |1987 |6889 |4740 | 0 | 0 | 3.066033e+03 | -- | Inf
252.03/252.35 c 251s| 1 | 0 |133722 | 88M| 0 |1686 |1987 |6153 |6153 |1987 |6919 |4770 | 0 | 0 | 3.068388e+03 | -- | Inf
254.23/254.58 c 253s| 1 | 0 |134923 | 89M| 0 |1690 |1987 |6153 |6153 |1987 |6951 |4802 | 0 | 0 | 3.069818e+03 | -- | Inf
256.44/256.79 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
256.44/256.79 c 255s| 1 | 0 |136074 | 89M| 0 |1696 |1987 |6153 |6153 |1987 |6971 |4822 | 0 | 0 | 3.071201e+03 | -- | Inf
259.93/260.28 c 259s| 1 | 0 |137946 | 90M| 0 |1686 |1987 |6153 |6153 |1987 |6996 |4847 | 0 | 0 | 3.072693e+03 | -- | Inf
263.43/263.79 c 262s| 1 | 0 |139584 | 90M| 0 |1663 |1987 |6153 |6153 |1987 |7024 |4875 | 0 | 0 | 3.074360e+03 | -- | Inf
266.13/266.49 c 265s| 1 | 0 |140871 | 90M| 0 |1688 |1987 |6153 |6153 |1987 |6875 |4903 | 0 | 0 | 3.076664e+03 | -- | Inf
269.73/270.03 c 268s| 1 | 0 |142349 | 91M| 0 |1700 |1987 |6153 |6153 |1987 |6891 |4919 | 0 | 0 | 3.077781e+03 | -- | Inf
271.62/271.98 c 270s| 1 | 0 |142489 | 91M| 0 |1701 |1987 |6153 |6153 |1987 |6904 |4932 | 0 | 0 | 3.077934e+03 | -- | Inf
273.63/274.01 c 272s| 1 | 0 |142696 | 91M| 0 |1679 |1987 |6153 |6153 |1987 |6917 |4945 | 0 | 0 | 3.078097e+03 | -- | Inf
275.62/275.91 c 274s| 1 | 0 |143068 | 91M| 0 |1709 |1987 |6153 |6153 |1987 |6929 |4957 | 0 | 0 | 3.078854e+03 | -- | Inf
277.52/277.90 c 276s| 1 | 0 |143492 | 92M| 0 |1696 |1987 |6153 |6153 |1987 |6950 |4978 | 0 | 0 | 3.080210e+03 | -- | Inf
280.42/280.73 c 279s| 1 | 0 |144459 | 92M| 0 |1715 |1987 |6153 |6153 |1987 |6780 |4997 | 0 | 0 | 3.081345e+03 | -- | Inf
282.62/282.94 c 281s| 1 | 0 |144843 | 92M| 0 |1700 |1987 |6153 |6153 |1987 |6792 |5009 | 0 | 0 | 3.082063e+03 | -- | Inf
284.82/285.12 c 283s| 1 | 0 |145256 | 92M| 0 |1677 |1987 |6153 |6153 |1987 |6801 |5018 | 0 | 0 | 3.082581e+03 | -- | Inf
286.92/287.24 c 285s| 1 | 0 |145619 | 92M| 0 |1717 |1987 |6153 |6153 |1987 |6809 |5026 | 0 | 0 | 3.083133e+03 | -- | Inf
288.71/289.08 c 287s| 1 | 0 |146043 | 92M| 0 |1653 |1987 |6153 |6153 |1987 |6817 |5034 | 0 | 0 | 3.084162e+03 | -- | Inf
290.71/291.06 c 289s| 1 | 0 |146310 | 92M| 0 |1676 |1987 |6153 |6153 |1987 |6829 |5046 | 0 | 0 | 3.085293e+03 | -- | Inf
292.71/293.04 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
292.71/293.04 c 291s| 1 | 0 |146543 | 93M| 0 |1665 |1987 |6153 |6153 |1987 |6713 |5054 | 0 | 0 | 3.085394e+03 | -- | Inf
294.61/294.96 c 293s| 1 | 0 |146789 | 93M| 0 |1676 |1987 |6153 |6153 |1987 |6716 |5057 | 0 | 0 | 3.085586e+03 | -- | Inf
296.41/296.72 c 295s| 1 | 0 |146816 | 93M| 0 |1676 |1987 |6153 |6153 |1987 |6719 |5060 | 0 | 0 | 3.085589e+03 | -- | Inf
298.21/298.52 c 297s| 1 | 0 |146893 | 93M| 0 |1663 |1987 |6153 |6153 |1987 |6721 |5062 | 0 | 0 | 3.085622e+03 | -- | Inf
300.21/300.50 c 299s| 1 | 0 |147246 | 93M| 0 |1667 |1987 |6153 |6153 |1987 |6726 |5067 | 0 | 0 | 3.085931e+03 | -- | Inf
301.92/302.30 c 300s| 1 | 0 |147280 | 93M| 0 |1662 |1987 |6153 |6153 |1987 |6728 |5069 | 0 | 0 | 3.085931e+03 | -- | Inf
303.72/304.07 c 302s| 1 | 0 |147282 | 93M| 0 |1662 |1987 |6153 |6153 |1987 |6649 |5070 | 0 | 0 | 3.085931e+03 | -- | Inf
305.52/305.84 c 304s| 1 | 0 |147322 | 93M| 0 |1664 |1987 |6153 |6153 |1987 |6650 |5071 | 0 | 0 | 3.085931e+03 | -- | Inf
307.31/307.63 c 306s| 1 | 0 |147324 | 93M| 0 |1664 |1987 |6153 |6153 |1987 |6651 |5072 | 0 | 0 | 3.085931e+03 | -- | Inf
309.11/309.43 c 307s| 1 | 0 |147328 | 93M| 0 |1662 |1987 |6153 |6153 |1987 |6652 |5073 | 0 | 0 | 3.085931e+03 | -- | Inf
315.51/315.85 c 314s| 1 | 2 |147328 | 93M| 0 |1662 |1987 |6153 |6153 |1987 |6652 |5073 | 0 | 19 | 3.085931e+03 | -- | Inf
1797.63/1799.94 c
1797.63/1799.94 c SCIP Status : solving was interrupted [time limit reached]
1797.63/1799.94 c Solving Time (sec) : 1791.12
1797.63/1799.94 c Solving Nodes : 1673
1797.63/1799.94 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1797.63/1799.94 c Dual Bound : +3.09429964327712e+03
1797.63/1799.94 c Gap : infinite
1797.63/1799.94 c NODE 1673
1797.63/1799.94 c DUAL BOUND 3094.3
1797.63/1799.94 c PRIMAL BOUND 1e+20
1797.63/1799.94 c GAP 1e+20
1797.63/1799.94 s UNKNOWN
1797.63/1799.94 c SCIP Status : solving was interrupted [time limit reached]
1797.63/1799.94 c Solving Time : 1791.12
1797.63/1799.94 c Original Problem :
1797.63/1799.94 c Problem name : HOME/instance-1869090-1245158064.opb
1797.63/1799.94 c Variables : 6352 (6352 binary, 0 integer, 0 implicit integer, 0 continuous)
1797.63/1799.94 c Constraints : 13501 initial, 13501 maximal
1797.63/1799.94 c Presolved Problem :
1797.63/1799.94 c Problem name : t_HOME/instance-1869090-1245158064.opb
1797.63/1799.94 c Variables : 1987 (1987 binary, 0 integer, 0 implicit integer, 0 continuous)
1797.63/1799.94 c Constraints : 6153 initial, 8103 maximal
1797.63/1799.94 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1797.63/1799.94 c trivial : 0.02 38 0 0 0 0 0 0 0
1797.63/1799.94 c dualfix : 0.01 0 0 0 0 0 0 0 0
1797.63/1799.94 c boundshift : 0.00 0 0 0 0 0 0 0 0
1797.63/1799.94 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1797.63/1799.94 c implics : 0.09 0 3133 0 0 0 0 0 0
1797.63/1799.94 c probing : 0.48 1 186 0 0 0 0 0 0
1797.63/1799.94 c linear : 0.42 953 54 0 991 0 7323 169 326
1797.63/1799.94 c logicor : 0.20 0 0 0 0 0 25 0 0
1797.63/1799.94 c root node : - 0 - - 0 - - - -
1797.63/1799.94 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1797.63/1799.94 c integral : 0 0 0 1364 0 11 18 0 0 2694
1797.63/1799.94 c logicor : 6153+ 99 48517 0 0 673 211923 0 0 0
1797.63/1799.94 c countsols : 0 0 0 0 0 0 0 0 0 0
1797.63/1799.94 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1797.63/1799.94 c integral : 522.74 0.00 0.00 522.74 0.00
1797.63/1799.94 c logicor : 2.06 0.13 1.93 0.00 0.00
1797.63/1799.94 c countsols : 0.00 0.00 0.00 0.00 0.00
1797.63/1799.94 c Propagators : Time Calls Cutoffs DomReds
1797.63/1799.94 c rootredcost : 0.02 0 0 0
1797.63/1799.94 c pseudoobj : 3.32 46454 0 0
1797.63/1799.94 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1797.63/1799.94 c propagation : 0.19 672 672 4977 32.0 105 13.2 -
1797.63/1799.94 c infeasible LP : 0.11 103 103 851 39.3 17 10.7 0
1797.63/1799.94 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1797.63/1799.94 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1797.63/1799.94 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1797.63/1799.94 c applied globally : - - - 2751 27.4 - - -
1797.63/1799.94 c applied locally : - - - 0 0.0 - - -
1797.63/1799.94 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1797.63/1799.94 c cut pool : 2.30 98 - - 4322 - (maximal pool size: 28428)
1797.63/1799.94 c redcost : 0.14 1462 0 0 0 0
1797.63/1799.94 c impliedbounds : 0.07 99 0 0 3803 0
1797.63/1799.94 c intobj : 0.00 0 0 0 0 0
1797.63/1799.94 c gomory : 101.01 99 0 0 42594 0
1797.63/1799.94 c strongcg : 6.25 20 0 0 10000 0
1797.63/1799.94 c cmir : 0.78 10 0 0 0 0
1797.63/1799.94 c flowcover : 0.79 10 0 0 0 0
1797.63/1799.94 c clique : 0.15 98 0 0 28 0
1797.63/1799.94 c zerohalf : 0.00 0 0 0 0 0
1797.63/1799.94 c mcf : 0.02 1 0 0 0 0
1797.63/1799.94 c Pricers : Time Calls Vars
1797.63/1799.94 c problem variables: 0.00 0 0
1797.63/1799.94 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1797.63/1799.94 c relpscost : 522.74 1364 11 18 0 0 2694
1797.63/1799.94 c pscost : 0.00 0 0 0 0 0 0
1797.63/1799.94 c inference : 0.00 0 0 0 0 0 0
1797.63/1799.94 c mostinf : 0.00 0 0 0 0 0 0
1797.63/1799.94 c leastinf : 0.00 0 0 0 0 0 0
1797.63/1799.94 c fullstrong : 0.00 0 0 0 0 0 0
1797.63/1799.94 c allfullstrong : 0.00 0 0 0 0 0 0
1797.63/1799.94 c random : 0.00 0 0 0 0 0 0
1797.63/1799.94 c Primal Heuristics : Time Calls Found
1797.63/1799.94 c LP solutions : 0.00 - 0
1797.63/1799.94 c pseudo solutions : 0.00 - 0
1797.63/1799.94 c oneopt : 0.00 0 0
1797.63/1799.94 c crossover : 0.00 0 0
1797.63/1799.94 c guideddiving : 0.00 0 0
1797.63/1799.94 c objpscostdiving : 50.47 3 0
1797.63/1799.94 c rootsoldiving : 43.20 4 0
1797.63/1799.94 c feaspump : 22.84 6 0
1797.63/1799.94 c fracdiving : 50.18 14 0
1797.63/1799.94 c coefdiving : 45.48 14 0
1797.63/1799.94 c linesearchdiving : 31.67 14 0
1797.63/1799.94 c pscostdiving : 39.62 14 0
1797.63/1799.94 c veclendiving : 51.25 14 0
1797.63/1799.94 c simplerounding : 0.00 0 0
1797.63/1799.94 c rounding : 1.07 497 0
1797.63/1799.94 c shifting : 2.53 165 0
1797.63/1799.94 c intshifting : 0.00 0 0
1797.63/1799.94 c fixandinfer : 0.00 0 0
1797.63/1799.94 c intdiving : 0.00 0 0
1797.63/1799.94 c actconsdiving : 0.00 0 0
1797.63/1799.94 c octane : 0.00 0 0
1797.63/1799.94 c rens : 0.01 0 0
1797.63/1799.94 c rins : 0.00 0 0
1797.63/1799.94 c localbranching : 0.00 0 0
1797.63/1799.94 c mutation : 0.00 0 0
1797.63/1799.94 c dins : 0.00 0 0
1797.63/1799.94 c LP : Time Calls Iterations Iter/call Iter/sec
1797.63/1799.94 c primal LP : 0.16 0 0 0.00 0.00
1797.63/1799.94 c dual LP : 804.59 1517 808659 533.06 1005.06
1797.63/1799.94 c barrier LP : 0.00 0 0 0.00 -
1797.63/1799.94 c diving/probing LP: 312.51 6506 290380 44.63 929.19
1797.63/1799.94 c strong branching : 521.46 1408 514262 365.24 986.20
1797.63/1799.94 c (at root node) : - 19 5337 280.89 -
1797.63/1799.94 c conflict analysis: 0.00 0 0 0.00 -
1797.63/1799.94 c B&B Tree :
1797.63/1799.94 c number of runs : 1
1797.63/1799.94 c nodes : 1673
1797.63/1799.94 c nodes (total) : 1673
1797.63/1799.94 c nodes left : 295
1797.63/1799.94 c max depth : 56
1797.63/1799.94 c max depth (total): 56
1797.63/1799.94 c backtracks : 429 (25.6%)
1797.63/1799.94 c delayed cutoffs : 727
1797.63/1799.94 c repropagations : 1149 (108187 domain reductions, 287 cutoffs)
1797.63/1799.94 c avg switch length: 3.59
1797.63/1799.94 c switching time : 1.08
1797.63/1799.94 c Solution :
1797.63/1799.94 c Solutions found : 0 (0 improvements)
1797.63/1799.94 c Primal Bound : -
1797.63/1799.94 c Dual Bound : +3.09429964327712e+03
1797.63/1799.94 c Gap : infinite
1797.63/1799.94 c Root Dual Bound : +3.08593123433531e+03
1797.83/1800.11 c Time complete: 1797.85.