0.19/0.21 c SCIP version 1.1.0.7
0.19/0.21 c LP-Solver SoPlex 1.4.1
0.19/0.21 c user parameter file <scip.set> not found - using default parameters
0.19/0.21 c read problem <HOME/instance-1869076-1245157031.opb>
0.19/0.21 c original problem has 6352 variables (6352 bin, 0 int, 0 impl, 0 cont) and 13429 constraints
0.19/0.28 c start presolving problem
0.19/0.28 c presolving:
0.30/0.36 c (round 1) 2972 del vars, 502 del conss, 331 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 38894 impls, 0 clqs
0.39/0.42 c (round 2) 3246 del vars, 4518 del conss, 363 chg bounds, 1 chg sides, 2 chg coeffs, 0 upgd conss, 48820 impls, 0 clqs
0.39/0.43 c (round 3) 3283 del vars, 4951 del conss, 378 chg bounds, 3 chg sides, 6 chg coeffs, 0 upgd conss, 49175 impls, 0 clqs
0.39/0.44 c (round 4) 3318 del vars, 5037 del conss, 392 chg bounds, 6 chg sides, 12 chg coeffs, 0 upgd conss, 49532 impls, 0 clqs
0.39/0.45 c (round 5) 3350 del vars, 5120 del conss, 405 chg bounds, 9 chg sides, 18 chg coeffs, 0 upgd conss, 49951 impls, 0 clqs
0.39/0.46 c (round 6) 3378 del vars, 5193 del conss, 416 chg bounds, 12 chg sides, 24 chg coeffs, 0 upgd conss, 50234 impls, 0 clqs
0.39/0.47 c (round 7) 3402 del vars, 5256 del conss, 425 chg bounds, 15 chg sides, 30 chg coeffs, 0 upgd conss, 50473 impls, 0 clqs
0.39/0.48 c (round 8) 3422 del vars, 5309 del conss, 432 chg bounds, 18 chg sides, 36 chg coeffs, 0 upgd conss, 50788 impls, 0 clqs
0.39/0.49 c (round 9) 3438 del vars, 5353 del conss, 438 chg bounds, 21 chg sides, 42 chg coeffs, 0 upgd conss, 50975 impls, 0 clqs
0.49/0.50 c (round 10) 3454 del vars, 5393 del conss, 444 chg bounds, 24 chg sides, 48 chg coeffs, 0 upgd conss, 51120 impls, 0 clqs
0.49/0.51 c (round 11) 3470 del vars, 5433 del conss, 450 chg bounds, 27 chg sides, 54 chg coeffs, 0 upgd conss, 51375 impls, 0 clqs
0.49/0.51 c (round 12) 3486 del vars, 5473 del conss, 456 chg bounds, 30 chg sides, 60 chg coeffs, 0 upgd conss, 51534 impls, 0 clqs
0.49/0.52 c (round 13) 3502 del vars, 5513 del conss, 462 chg bounds, 33 chg sides, 66 chg coeffs, 0 upgd conss, 51781 impls, 0 clqs
0.49/0.53 c (round 14) 3518 del vars, 5553 del conss, 468 chg bounds, 36 chg sides, 72 chg coeffs, 0 upgd conss, 52022 impls, 0 clqs
0.49/0.54 c (round 15) 3534 del vars, 5593 del conss, 474 chg bounds, 39 chg sides, 78 chg coeffs, 0 upgd conss, 52173 impls, 0 clqs
0.49/0.55 c (round 16) 3551 del vars, 5634 del conss, 481 chg bounds, 42 chg sides, 84 chg coeffs, 0 upgd conss, 52324 impls, 0 clqs
0.49/0.56 c (round 17) 3567 del vars, 5674 del conss, 487 chg bounds, 45 chg sides, 90 chg coeffs, 0 upgd conss, 52479 impls, 0 clqs
0.49/0.56 c (round 18) 3583 del vars, 5714 del conss, 493 chg bounds, 48 chg sides, 96 chg coeffs, 0 upgd conss, 52636 impls, 0 clqs
0.49/0.57 c (round 19) 3599 del vars, 5754 del conss, 499 chg bounds, 51 chg sides, 102 chg coeffs, 0 upgd conss, 52911 impls, 0 clqs
0.49/0.58 c (round 20) 3615 del vars, 5794 del conss, 505 chg bounds, 54 chg sides, 108 chg coeffs, 0 upgd conss, 53110 impls, 0 clqs
0.49/0.59 c (round 21) 3631 del vars, 5834 del conss, 511 chg bounds, 57 chg sides, 114 chg coeffs, 0 upgd conss, 53307 impls, 0 clqs
0.49/0.60 c (round 22) 3647 del vars, 5874 del conss, 517 chg bounds, 60 chg sides, 120 chg coeffs, 0 upgd conss, 53532 impls, 0 clqs
0.59/0.60 c (round 23) 3656 del vars, 5909 del conss, 525 chg bounds, 63 chg sides, 126 chg coeffs, 0 upgd conss, 53572 impls, 0 clqs
0.59/0.61 c (round 24) 3672 del vars, 5943 del conss, 535 chg bounds, 65 chg sides, 130 chg coeffs, 0 upgd conss, 53659 impls, 0 clqs
0.59/0.62 c (round 25) 3687 del vars, 5985 del conss, 544 chg bounds, 66 chg sides, 132 chg coeffs, 0 upgd conss, 53754 impls, 0 clqs
0.59/0.63 c (round 26) 3703 del vars, 6026 del conss, 554 chg bounds, 67 chg sides, 134 chg coeffs, 0 upgd conss, 53865 impls, 0 clqs
0.59/0.63 c (round 27) 3718 del vars, 6064 del conss, 563 chg bounds, 68 chg sides, 136 chg coeffs, 0 upgd conss, 53990 impls, 0 clqs
0.59/0.64 c (round 28) 3734 del vars, 6105 del conss, 574 chg bounds, 69 chg sides, 138 chg coeffs, 0 upgd conss, 54089 impls, 0 clqs
0.59/0.65 c (round 29) 3751 del vars, 6147 del conss, 587 chg bounds, 73 chg sides, 146 chg coeffs, 0 upgd conss, 54185 impls, 0 clqs
0.59/0.66 c (round 30) 3763 del vars, 6182 del conss, 597 chg bounds, 76 chg sides, 152 chg coeffs, 0 upgd conss, 54281 impls, 0 clqs
0.59/0.67 c (round 31) 3778 del vars, 6217 del conss, 608 chg bounds, 79 chg sides, 158 chg coeffs, 0 upgd conss, 54327 impls, 0 clqs
0.59/0.67 c (round 32) 3793 del vars, 6255 del conss, 619 chg bounds, 82 chg sides, 164 chg coeffs, 0 upgd conss, 54408 impls, 0 clqs
0.59/0.68 c (round 33) 3806 del vars, 6293 del conss, 629 chg bounds, 85 chg sides, 168 chg coeffs, 0 upgd conss, 54466 impls, 0 clqs
0.59/0.69 c (round 34) 3824 del vars, 6329 del conss, 640 chg bounds, 86 chg sides, 170 chg coeffs, 0 upgd conss, 54583 impls, 0 clqs
0.59/0.70 c (round 35) 3839 del vars, 6373 del conss, 653 chg bounds, 89 chg sides, 176 chg coeffs, 0 upgd conss, 54645 impls, 0 clqs
0.69/0.70 c (round 36) 3854 del vars, 6410 del conss, 664 chg bounds, 94 chg sides, 186 chg coeffs, 0 upgd conss, 54707 impls, 0 clqs
0.69/0.71 c (round 37) 3874 del vars, 6448 del conss, 678 chg bounds, 96 chg sides, 190 chg coeffs, 0 upgd conss, 54833 impls, 0 clqs
0.69/0.72 c (round 38) 3888 del vars, 6496 del conss, 688 chg bounds, 98 chg sides, 194 chg coeffs, 0 upgd conss, 54911 impls, 0 clqs
0.69/0.73 c (round 39) 3904 del vars, 6525 del conss, 698 chg bounds, 98 chg sides, 194 chg coeffs, 0 upgd conss, 54999 impls, 0 clqs
0.69/0.73 c (round 40) 3921 del vars, 6573 del conss, 713 chg bounds, 101 chg sides, 200 chg coeffs, 0 upgd conss, 55058 impls, 0 clqs
0.69/0.74 c (round 41) 3936 del vars, 6612 del conss, 725 chg bounds, 104 chg sides, 206 chg coeffs, 0 upgd conss, 55109 impls, 0 clqs
0.69/0.75 c (round 42) 3950 del vars, 6649 del conss, 737 chg bounds, 106 chg sides, 210 chg coeffs, 0 upgd conss, 55175 impls, 0 clqs
0.69/0.75 c (round 43) 3968 del vars, 6690 del conss, 752 chg bounds, 108 chg sides, 214 chg coeffs, 0 upgd conss, 55228 impls, 0 clqs
0.69/0.76 c (round 44) 3983 del vars, 6724 del conss, 765 chg bounds, 109 chg sides, 216 chg coeffs, 0 upgd conss, 55305 impls, 0 clqs
0.69/0.77 c (round 45) 3989 del vars, 6755 del conss, 771 chg bounds, 109 chg sides, 216 chg coeffs, 0 upgd conss, 55323 impls, 0 clqs
0.69/0.78 c (round 46) 4008 del vars, 6785 del conss, 785 chg bounds, 110 chg sides, 218 chg coeffs, 0 upgd conss, 55400 impls, 0 clqs
0.69/0.78 c (round 47) 4024 del vars, 6822 del conss, 795 chg bounds, 112 chg sides, 222 chg coeffs, 0 upgd conss, 55506 impls, 0 clqs
0.69/0.79 c (round 48) 4038 del vars, 6865 del conss, 808 chg bounds, 117 chg sides, 232 chg coeffs, 0 upgd conss, 55597 impls, 0 clqs
0.79/0.80 c (round 49) 4053 del vars, 6911 del conss, 821 chg bounds, 122 chg sides, 242 chg coeffs, 0 upgd conss, 55684 impls, 0 clqs
0.79/0.80 c (round 50) 4067 del vars, 6946 del conss, 832 chg bounds, 124 chg sides, 246 chg coeffs, 0 upgd conss, 55751 impls, 0 clqs
0.79/0.81 c (round 51) 4084 del vars, 6979 del conss, 845 chg bounds, 127 chg sides, 252 chg coeffs, 0 upgd conss, 55829 impls, 0 clqs
0.79/0.82 c (round 52) 4101 del vars, 7019 del conss, 857 chg bounds, 131 chg sides, 260 chg coeffs, 0 upgd conss, 55932 impls, 0 clqs
0.79/0.83 c (round 53) 4115 del vars, 7062 del conss, 869 chg bounds, 135 chg sides, 267 chg coeffs, 0 upgd conss, 56002 impls, 0 clqs
0.79/0.83 c (round 54) 4123 del vars, 7095 del conss, 881 chg bounds, 139 chg sides, 275 chg coeffs, 0 upgd conss, 56089 impls, 0 clqs
0.79/0.84 c (round 55) 4141 del vars, 7137 del conss, 895 chg bounds, 141 chg sides, 279 chg coeffs, 0 upgd conss, 56134 impls, 0 clqs
0.79/0.85 c (round 56) 4157 del vars, 7175 del conss, 912 chg bounds, 147 chg sides, 291 chg coeffs, 0 upgd conss, 56163 impls, 0 clqs
0.79/0.85 c (round 57) 4173 del vars, 7214 del conss, 927 chg bounds, 150 chg sides, 297 chg coeffs, 0 upgd conss, 56200 impls, 0 clqs
0.79/0.86 c (round 58) 4187 del vars, 7250 del conss, 939 chg bounds, 154 chg sides, 305 chg coeffs, 0 upgd conss, 56236 impls, 0 clqs
0.79/0.87 c (round 59) 4208 del vars, 7276 del conss, 951 chg bounds, 154 chg sides, 305 chg coeffs, 0 upgd conss, 56396 impls, 0 clqs
0.79/0.88 c (round 60) 4217 del vars, 7327 del conss, 960 chg bounds, 154 chg sides, 305 chg coeffs, 0 upgd conss, 56448 impls, 0 clqs
0.79/0.88 c (round 61) 4223 del vars, 7346 del conss, 969 chg bounds, 157 chg sides, 311 chg coeffs, 0 upgd conss, 56474 impls, 0 clqs
0.79/0.89 c (round 62) 4234 del vars, 7370 del conss, 978 chg bounds, 159 chg sides, 315 chg coeffs, 0 upgd conss, 56507 impls, 0 clqs
0.79/0.89 c (round 63) 4239 del vars, 7384 del conss, 982 chg bounds, 159 chg sides, 315 chg coeffs, 0 upgd conss, 56523 impls, 0 clqs
0.89/0.90 c (round 64) 4245 del vars, 7399 del conss, 989 chg bounds, 160 chg sides, 317 chg coeffs, 0 upgd conss, 56542 impls, 0 clqs
0.89/0.91 c (round 65) 4253 del vars, 7417 del conss, 996 chg bounds, 162 chg sides, 321 chg coeffs, 0 upgd conss, 56567 impls, 0 clqs
0.89/0.91 c (round 66) 4257 del vars, 7430 del conss, 1000 chg bounds, 162 chg sides, 321 chg coeffs, 0 upgd conss, 56623 impls, 0 clqs
0.89/0.92 c (round 67) 4257 del vars, 7431 del conss, 1000 chg bounds, 162 chg sides, 321 chg coeffs, 0 upgd conss, 56643 impls, 0 clqs
1.00/1.03 c (round 68) 4257 del vars, 7440 del conss, 1000 chg bounds, 171 chg sides, 321 chg coeffs, 5989 upgd conss, 56643 impls, 0 clqs
1.20/1.22 c (round 69) 4307 del vars, 7440 del conss, 1000 chg bounds, 171 chg sides, 321 chg coeffs, 5989 upgd conss, 110535 impls, 0 clqs
1.20/1.23 c (round 70) 4308 del vars, 7446 del conss, 1000 chg bounds, 171 chg sides, 321 chg coeffs, 5989 upgd conss, 110593 impls, 0 clqs
1.20/1.25 c (round 71) 4310 del vars, 7446 del conss, 1000 chg bounds, 171 chg sides, 321 chg coeffs, 5989 upgd conss, 110649 impls, 0 clqs
1.39/1.43 c (round 72) 4360 del vars, 7446 del conss, 1000 chg bounds, 171 chg sides, 321 chg coeffs, 5989 upgd conss, 113939 impls, 0 clqs
1.39/1.47 c (round 73) 4360 del vars, 7448 del conss, 1000 chg bounds, 171 chg sides, 321 chg coeffs, 5989 upgd conss, 113939 impls, 0 clqs
1.49/1.58 c (round 74) 4410 del vars, 7448 del conss, 1000 chg bounds, 171 chg sides, 321 chg coeffs, 5989 upgd conss, 114905 impls, 0 clqs
1.59/1.61 c (round 75) 4410 del vars, 7452 del conss, 1000 chg bounds, 171 chg sides, 321 chg coeffs, 5989 upgd conss, 114905 impls, 0 clqs
1.59/1.64 c (round 76) 4410 del vars, 7455 del conss, 1000 chg bounds, 171 chg sides, 321 chg coeffs, 5989 upgd conss, 114905 impls, 0 clqs
1.69/1.70 c (round 77) 4410 del vars, 7465 del conss, 1000 chg bounds, 171 chg sides, 321 chg coeffs, 5989 upgd conss, 114905 impls, 0 clqs
1.80/1.80 c (1.4s) probing: 834/2095 (39.8%) - 1 fixings, 183 aggregations, 5531 implications, 0 bound changes
1.80/1.80 c (1.4s) probing aborted: 100/100 successive totally useless probings
1.80/1.80 c (round 78) 4444 del vars, 7465 del conss, 1000 chg bounds, 171 chg sides, 321 chg coeffs, 5989 upgd conss, 115321 impls, 0 clqs
1.80/1.82 c (1.4s) probing: 844/2095 (40.3%) - 1 fixings, 183 aggregations, 5531 implications, 0 bound changes
1.80/1.82 c (1.4s) probing aborted: 100/100 successive totally useless probings
1.80/1.82 c presolving (79 rounds):
1.80/1.82 c 4444 deleted vars, 7465 deleted constraints, 1000 tightened bounds, 0 added holes, 171 changed sides, 321 changed coefficients
1.80/1.82 c 115321 implications, 0 cliques
1.80/1.82 c presolved problem has 1908 variables (1908 bin, 0 int, 0 impl, 0 cont) and 5964 constraints
1.80/1.82 c 5964 constraints of type <logicor>
1.80/1.82 c transformed objective value is always integral (scale: 1)
1.80/1.82 c Presolving Time: 1.34
1.80/1.82 c strange?!, PURESAT with obj
1.80/1.82 c -----------------------------------------------------------------------------------------------
1.80/1.82 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1.80/1.82 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1.80/1.82 c limits/memory = c 1620
1.80/1.82 c # maximal time in seconds to run
1.80/1.82 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1.80/1.82 c limits/time = c 1791
1.80/1.82 c # frequency for displaying node information lines
1.80/1.82 c # [type: int, range: [-1,2147483647], default: 100]
1.80/1.82 c display/freq = c 10000
1.80/1.82 c -----------------------------------------------------------------------------------------------
1.80/1.82 c start solving problem
1.80/1.82 c
2.49/2.52 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
2.49/2.52 c 2.1s| 1 | 0 | 1972 | 21M| 0 |1210 |1908 |5964 |5964 |1908 |5777 | 0 | 0 | 0 | 2.811119e+03 | -- | Inf
8.08/8.16 c 7.7s| 1 | 0 | 8017 | 23M| 0 |1200 |1908 |5964 |5964 |1908 |7777 |2000 | 0 | 0 | 2.818667e+03 | -- | Inf
9.79/9.80 c 9.3s| 1 | 0 | 9265 | 23M| 0 |1115 |1908 |5964 |5964 |1908 |7814 |2037 | 0 | 0 | 2.845181e+03 | -- | Inf
10.48/10.57 c 10.1s| 1 | 0 | 9728 | 23M| 0 |1111 |1908 |5964 |5964 |1908 |7845 |2068 | 0 | 0 | 2.848833e+03 | -- | Inf
11.89/11.94 c 11.4s| 1 | 0 | 10555 | 24M| 0 |1174 |1908 |5964 |5964 |1908 |7874 |2097 | 0 | 0 | 2.851250e+03 | -- | Inf
13.19/13.22 c 12.7s| 1 | 0 | 11319 | 26M| 0 |1177 |1908 |5964 |5964 |1908 |7905 |2128 | 0 | 0 | 2.856799e+03 | -- | Inf
14.48/14.52 c 14.0s| 1 | 0 | 11946 | 28M| 0 |1176 |1908 |5964 |5964 |1908 |7934 |2157 | 0 | 0 | 2.860000e+03 | -- | Inf
16.78/16.87 c 16.3s| 1 | 0 | 13162 | 31M| 0 |1198 |1908 |5964 |5964 |1908 |7970 |2193 | 0 | 0 | 2.866900e+03 | -- | Inf
18.88/18.91 c 18.3s| 1 | 0 | 14298 | 33M| 0 |1213 |1908 |5964 |5964 |1908 |7994 |2217 | 0 | 0 | 2.870433e+03 | -- | Inf
21.08/21.13 c 20.6s| 1 | 0 | 15466 | 34M| 0 |1191 |1908 |5964 |5964 |1908 |8030 |2253 | 0 | 0 | 2.874800e+03 | -- | Inf
24.18/24.20 c 23.6s| 1 | 0 | 17191 | 35M| 0 |1218 |1908 |5964 |5964 |1908 |8075 |2298 | 0 | 0 | 2.880144e+03 | -- | Inf
26.77/26.89 c 26.3s| 1 | 0 | 18621 | 36M| 0 |1249 |1908 |5964 |5964 |1908 |8115 |2338 | 0 | 0 | 2.885133e+03 | -- | Inf
29.48/29.58 c 29.0s| 1 | 0 | 20288 | 38M| 0 |1261 |1908 |5964 |5964 |1908 |8153 |2376 | 0 | 0 | 2.887896e+03 | -- | Inf
36.17/36.21 c 35.6s| 1 | 0 | 23762 | 40M| 0 |1282 |1908 |5964 |5964 |1908 |8195 |2418 | 0 | 0 | 2.892525e+03 | -- | Inf
39.57/39.66 c 39.0s| 1 | 0 | 25706 | 42M| 0 |1260 |1908 |5964 |5964 |1908 |8236 |2459 | 0 | 0 | 2.896835e+03 | -- | Inf
42.76/42.88 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
42.76/42.88 c 42.2s| 1 | 0 | 27417 | 45M| 0 |1301 |1908 |5964 |5964 |1908 |8279 |2502 | 0 | 0 | 2.902266e+03 | -- | Inf
44.75/44.86 c 44.2s| 1 | 0 | 28492 | 49M| 0 |1282 |1908 |5964 |5964 |1908 |6301 |2542 | 0 | 0 | 2.906205e+03 | -- | Inf
46.75/46.84 c 46.1s| 1 | 0 | 29755 | 50M| 0 |1319 |1908 |5964 |5964 |1908 |6340 |2581 | 0 | 0 | 2.910994e+03 | -- | Inf
49.46/49.55 c 48.8s| 1 | 0 | 31469 | 51M| 0 |1317 |1908 |5964 |5964 |1908 |6394 |2635 | 0 | 0 | 2.916841e+03 | -- | Inf
51.76/51.88 c 51.1s| 1 | 0 | 32928 | 52M| 0 |1334 |1908 |5964 |5964 |1908 |6445 |2686 | 0 | 0 | 2.922115e+03 | -- | Inf
54.35/54.47 c 53.7s| 1 | 0 | 34593 | 54M| 0 |1327 |1908 |5964 |5964 |1908 |6506 |2747 | 0 | 0 | 2.926673e+03 | -- | Inf
59.25/59.37 c 58.6s| 1 | 0 | 37317 | 57M| 0 |1326 |1908 |5964 |5964 |1908 |6546 |2787 | 0 | 0 | 2.928029e+03 | -- | Inf
61.45/61.57 c 60.8s| 1 | 0 | 38705 | 58M| 0 |1379 |1908 |5964 |5964 |1908 |6450 |2836 | 0 | 0 | 2.932130e+03 | -- | Inf
64.15/64.21 c 63.4s| 1 | 0 | 40370 | 59M| 0 |1386 |1908 |5964 |5964 |1908 |6496 |2882 | 0 | 0 | 2.938143e+03 | -- | Inf
67.35/67.48 c 66.7s| 1 | 0 | 42297 | 59M| 0 |1373 |1908 |5964 |5964 |1908 |6554 |2940 | 0 | 0 | 2.946701e+03 | -- | Inf
69.55/69.69 c 68.9s| 1 | 0 | 43605 | 60M| 0 |1383 |1908 |5964 |5964 |1908 |6601 |2987 | 0 | 0 | 2.950702e+03 | -- | Inf
71.65/71.71 c 70.9s| 1 | 0 | 44843 | 61M| 0 |1362 |1908 |5964 |5964 |1908 |6642 |3028 | 0 | 0 | 2.954143e+03 | -- | Inf
73.75/73.88 c 73.1s| 1 | 0 | 46206 | 62M| 0 |1384 |1908 |5964 |5964 |1908 |6678 |3064 | 0 | 0 | 2.956245e+03 | -- | Inf
77.15/77.25 c 76.4s| 1 | 0 | 48318 | 64M| 0 |1419 |1908 |5964 |5964 |1908 |6524 |3103 | 0 | 0 | 2.959157e+03 | -- | Inf
79.14/79.26 c 78.4s| 1 | 0 | 49653 | 65M| 0 |1424 |1908 |5964 |5964 |1908 |6557 |3136 | 0 | 0 | 2.960823e+03 | -- | Inf
83.14/83.20 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
83.14/83.20 c 82.3s| 1 | 0 | 52136 | 67M| 0 |1365 |1908 |5964 |5964 |1908 |6612 |3191 | 0 | 0 | 2.964019e+03 | -- | Inf
86.74/86.85 c 86.0s| 1 | 0 | 54322 | 68M| 0 |1433 |1908 |5964 |5964 |1908 |6663 |3242 | 0 | 0 | 2.967210e+03 | -- | Inf
89.64/89.75 c 88.9s| 1 | 0 | 55798 | 69M| 0 |1375 |1908 |5964 |5964 |1908 |6707 |3286 | 0 | 0 | 2.969424e+03 | -- | Inf
92.34/92.48 c 91.6s| 1 | 0 | 57367 | 70M| 0 |1449 |1908 |5964 |5964 |1908 |6767 |3346 | 0 | 0 | 2.974699e+03 | -- | Inf
95.24/95.33 c 94.4s| 1 | 0 | 58920 | 70M| 0 |1484 |1908 |5964 |5964 |1908 |6608 |3390 | 0 | 0 | 2.977329e+03 | -- | Inf
98.43/98.50 c 97.6s| 1 | 0 | 60830 | 72M| 0 |1514 |1908 |5964 |5964 |1908 |6638 |3420 | 0 | 0 | 2.978232e+03 | -- | Inf
100.73/100.89 c 100s| 1 | 0 | 62148 | 73M| 0 |1480 |1908 |5964 |5964 |1908 |6674 |3456 | 0 | 0 | 2.980453e+03 | -- | Inf
104.03/104.19 c 103s| 1 | 0 | 64091 | 75M| 0 |1551 |1908 |5964 |5964 |1908 |6711 |3493 | 0 | 0 | 2.982523e+03 | -- | Inf
111.43/111.58 c 111s| 1 | 0 | 67313 | 75M| 0 |1455 |1908 |5964 |5964 |1908 |6763 |3545 | 0 | 0 | 2.987844e+03 | -- | Inf
115.63/115.73 c 115s| 1 | 0 | 69900 | 75M| 0 |1463 |1908 |5964 |5964 |1908 |6815 |3597 | 0 | 0 | 2.991826e+03 | -- | Inf
121.32/121.47 c 120s| 1 | 0 | 73373 | 76M| 0 |1520 |1908 |5964 |5964 |1908 |6667 |3634 | 0 | 0 | 2.993781e+03 | -- | Inf
126.22/126.39 c 125s| 1 | 0 | 76232 | 77M| 0 |1544 |1908 |5964 |5964 |1908 |6705 |3672 | 0 | 0 | 2.996938e+03 | -- | Inf
129.83/129.93 c 129s| 1 | 0 | 78082 | 77M| 0 |1592 |1908 |5964 |5964 |1908 |6739 |3706 | 0 | 0 | 2.998869e+03 | -- | Inf
136.32/136.43 c 135s| 1 | 0 | 81485 | 78M| 0 |1567 |1908 |5964 |5964 |1908 |6791 |3758 | 0 | 0 | 3.004508e+03 | -- | Inf
140.31/140.44 c 139s| 1 | 0 | 83115 | 79M| 0 |1498 |1908 |5964 |5964 |1908 |6830 |3797 | 0 | 0 | 3.008293e+03 | -- | Inf
145.51/145.68 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
145.51/145.68 c 145s| 1 | 0 | 86141 | 79M| 0 |1452 |1908 |5964 |5964 |1908 |6869 |3836 | 0 | 0 | 3.011714e+03 | -- | Inf
148.51/148.61 c 147s| 1 | 0 | 87904 | 80M| 0 |1566 |1908 |5964 |5964 |1908 |6665 |3879 | 0 | 0 | 3.014075e+03 | -- | Inf
151.91/152.06 c 151s| 1 | 0 | 89566 | 81M| 0 |1606 |1908 |5964 |5964 |1908 |6695 |3909 | 0 | 0 | 3.016646e+03 | -- | Inf
156.81/156.96 c 156s| 1 | 0 | 92473 | 82M| 0 |1592 |1908 |5964 |5964 |1908 |6734 |3948 | 0 | 0 | 3.019431e+03 | -- | Inf
160.11/160.28 c 159s| 1 | 0 | 94583 | 82M| 0 |1597 |1908 |5964 |5964 |1908 |6771 |3985 | 0 | 0 | 3.020859e+03 | -- | Inf
162.71/162.84 c 162s| 1 | 0 | 96069 | 84M| 0 |1574 |1908 |5964 |5964 |1908 |6806 |4020 | 0 | 0 | 3.022295e+03 | -- | Inf
165.40/165.52 c 164s| 1 | 0 | 97443 | 84M| 0 |1555 |1908 |5964 |5964 |1908 |6839 |4053 | 0 | 0 | 3.024307e+03 | -- | Inf
168.00/168.16 c 167s| 1 | 0 | 99119 | 85M| 0 |1509 |1908 |5964 |5964 |1908 |6643 |4097 | 0 | 0 | 3.026608e+03 | -- | Inf
170.41/170.52 c 169s| 1 | 0 |100909 | 86M| 0 |1548 |1908 |5964 |5964 |1908 |6679 |4133 | 0 | 0 | 3.028333e+03 | -- | Inf
172.80/172.91 c 172s| 1 | 0 |102468 | 87M| 0 |1572 |1908 |5964 |5964 |1908 |6707 |4161 | 0 | 0 | 3.030073e+03 | -- | Inf
175.60/175.70 c 174s| 1 | 0 |103825 | 87M| 0 |1613 |1908 |5964 |5964 |1908 |6748 |4202 | 0 | 0 | 3.032196e+03 | -- | Inf
178.89/179.04 c 178s| 1 | 0 |105195 | 88M| 0 |1598 |1908 |5964 |5964 |1908 |6789 |4243 | 0 | 0 | 3.034748e+03 | -- | Inf
181.70/181.87 c 181s| 1 | 0 |106022 | 88M| 0 |1585 |1908 |5964 |5964 |1908 |6817 |4271 | 0 | 0 | 3.036905e+03 | -- | Inf
185.30/185.41 c 184s| 1 | 0 |107964 | 89M| 0 |1567 |1908 |5964 |5964 |1908 |6631 |4299 | 0 | 0 | 3.039752e+03 | -- | Inf
188.09/188.26 c 187s| 1 | 0 |109729 | 89M| 0 |1583 |1908 |5964 |5964 |1908 |6669 |4337 | 0 | 0 | 3.042882e+03 | -- | Inf
191.50/191.65 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
191.50/191.65 c 190s| 1 | 0 |111565 | 89M| 0 |1587 |1908 |5964 |5964 |1908 |6718 |4386 | 0 | 0 | 3.044929e+03 | -- | Inf
195.29/195.43 c 194s| 1 | 0 |113065 | 89M| 0 |1591 |1908 |5964 |5964 |1908 |6755 |4423 | 0 | 0 | 3.047249e+03 | -- | Inf
198.79/198.94 c 198s| 1 | 0 |114580 | 90M| 0 |1587 |1908 |5964 |5964 |1908 |6782 |4450 | 0 | 0 | 3.049224e+03 | -- | Inf
201.59/201.78 c 200s| 1 | 0 |116566 | 90M| 0 |1511 |1908 |5964 |5964 |1908 |6814 |4482 | 0 | 0 | 3.051496e+03 | -- | Inf
204.39/204.53 c 203s| 1 | 0 |118414 | 91M| 0 |1576 |1908 |5964 |5964 |1908 |6670 |4525 | 0 | 0 | 3.053181e+03 | -- | Inf
206.99/207.15 c 206s| 1 | 0 |120001 | 91M| 0 |1621 |1908 |5964 |5964 |1908 |6703 |4558 | 0 | 0 | 3.055877e+03 | -- | Inf
209.49/209.66 c 208s| 1 | 0 |120682 | 91M| 0 |1609 |1908 |5964 |5964 |1908 |6723 |4578 | 0 | 0 | 3.056723e+03 | -- | Inf
211.58/211.75 c 210s| 1 | 0 |121617 | 92M| 0 |1608 |1908 |5964 |5964 |1908 |6740 |4595 | 0 | 0 | 3.057508e+03 | -- | Inf
213.49/213.62 c 212s| 1 | 0 |122443 | 93M| 0 |1611 |1908 |5964 |5964 |1908 |6765 |4620 | 0 | 0 | 3.058793e+03 | -- | Inf
215.88/216.09 c 215s| 1 | 0 |123223 | 93M| 0 |1613 |1908 |5964 |5964 |1908 |6790 |4645 | 0 | 0 | 3.059850e+03 | -- | Inf
219.09/219.25 c 218s| 1 | 0 |124625 | 94M| 0 |1622 |1908 |5964 |5964 |1908 |6628 |4672 | 0 | 0 | 3.061925e+03 | -- | Inf
221.59/221.75 c 220s| 1 | 0 |125189 | 94M| 0 |1616 |1908 |5964 |5964 |1908 |6648 |4692 | 0 | 0 | 3.062741e+03 | -- | Inf
224.28/224.40 c 223s| 1 | 0 |125904 | 94M| 0 |1559 |1908 |5964 |5964 |1908 |6666 |4710 | 0 | 0 | 3.063786e+03 | -- | Inf
226.97/227.13 c 226s| 1 | 0 |126462 | 94M| 0 |1570 |1908 |5964 |5964 |1908 |6689 |4733 | 0 | 0 | 3.064432e+03 | -- | Inf
229.38/229.60 c 228s| 1 | 0 |126956 | 94M| 0 |1564 |1908 |5964 |5964 |1908 |6705 |4749 | 0 | 0 | 3.064867e+03 | -- | Inf
231.98/232.14 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
231.98/232.14 c 231s| 1 | 0 |128293 | 95M| 0 |1601 |1908 |5964 |5964 |1908 |6723 |4767 | 0 | 0 | 3.065590e+03 | -- | Inf
235.88/236.02 c 234s| 1 | 0 |129265 | 95M| 0 |1566 |1908 |5964 |5964 |1908 |6573 |4789 | 0 | 0 | 3.067030e+03 | -- | Inf
238.48/238.60 c 237s| 1 | 0 |129536 | 95M| 0 |1578 |1908 |5964 |5964 |1908 |6593 |4809 | 0 | 0 | 3.067561e+03 | -- | Inf
241.17/241.30 c 240s| 1 | 0 |129830 | 95M| 0 |1578 |1908 |5964 |5964 |1908 |6608 |4824 | 0 | 0 | 3.067708e+03 | -- | Inf
243.27/243.48 c 242s| 1 | 0 |129985 | 95M| 0 |1576 |1908 |5964 |5964 |1908 |6611 |4827 | 0 | 0 | 3.067757e+03 | -- | Inf
245.37/245.50 c 244s| 1 | 0 |129993 | 95M| 0 |1578 |1908 |5964 |5964 |1908 |6614 |4830 | 0 | 0 | 3.067757e+03 | -- | Inf
247.38/247.52 c 246s| 1 | 0 |129998 | 95M| 0 |1578 |1908 |5964 |5964 |1908 |6615 |4831 | 0 | 0 | 3.067757e+03 | -- | Inf
259.87/260.00 c 258s| 1 | 2 |129998 | 95M| 0 |1578 |1908 |5964 |5964 |1908 |6615 |4831 | 0 | 24 | 3.067757e+03 | -- | Inf
1797.45/1798.39 c
1797.45/1798.39 c SCIP Status : solving was interrupted [time limit reached]
1797.45/1798.39 c Solving Time (sec) : 1791.00
1797.45/1798.39 c Solving Nodes : 1754
1797.45/1798.39 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1797.45/1798.39 c Dual Bound : +3.09192075430110e+03
1797.45/1798.39 c Gap : infinite
1797.45/1798.39 c NODE 1754
1797.45/1798.39 c DUAL BOUND 3091.92
1797.45/1798.39 c PRIMAL BOUND 1e+20
1797.45/1798.39 c GAP 1e+20
1797.45/1798.39 s UNKNOWN
1797.45/1798.39 c SCIP Status : solving was interrupted [time limit reached]
1797.45/1798.39 c Solving Time : 1791.00
1797.45/1798.39 c Original Problem :
1797.45/1798.39 c Problem name : HOME/instance-1869076-1245157031.opb
1797.45/1798.39 c Variables : 6352 (6352 binary, 0 integer, 0 implicit integer, 0 continuous)
1797.45/1798.39 c Constraints : 13429 initial, 13429 maximal
1797.45/1798.39 c Presolved Problem :
1797.45/1798.39 c Problem name : t_HOME/instance-1869076-1245157031.opb
1797.45/1798.39 c Variables : 1908 (1908 binary, 0 integer, 0 implicit integer, 0 continuous)
1797.45/1798.39 c Constraints : 5964 initial, 8178 maximal
1797.45/1798.39 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1797.45/1798.39 c trivial : 0.04 35 0 0 0 0 0 0 0
1797.45/1798.39 c dualfix : 0.01 0 0 0 0 0 0 0 0
1797.45/1798.39 c boundshift : 0.00 0 0 0 0 0 0 0 0
1797.45/1798.39 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1797.45/1798.39 c implics : 0.10 0 3209 0 0 0 0 0 0
1797.45/1798.39 c probing : 0.48 1 183 0 0 0 0 0 0
1797.45/1798.39 c linear : 0.37 965 51 0 1000 0 7440 171 321
1797.45/1798.39 c logicor : 0.24 0 0 0 0 0 25 0 0
1797.45/1798.39 c root node : - 0 - - 0 - - - -
1797.45/1798.39 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1797.45/1798.39 c integral : 0 0 0 1286 0 6 17 0 0 2538
1797.45/1798.39 c logicor : 5964+ 82 62111 0 1 616 227851 0 0 0
1797.45/1798.39 c countsols : 0 0 0 0 1 0 0 0 0 0
1797.45/1798.39 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1797.45/1798.39 c integral : 499.77 0.00 0.00 499.77 0.00
1797.45/1798.39 c logicor : 2.69 0.08 2.61 0.00 0.00
1797.45/1798.39 c countsols : 0.00 0.00 0.00 0.00 0.00
1797.45/1798.39 c Propagators : Time Calls Cutoffs DomReds
1797.45/1798.39 c rootredcost : 0.03 0 0 0
1797.45/1798.39 c pseudoobj : 3.74 60398 0 0
1797.45/1798.39 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1797.45/1798.39 c propagation : 0.31 615 590 6047 34.4 109 4.9 -
1797.45/1798.39 c infeasible LP : 0.73 336 336 4138 35.8 26 5.4 0
1797.45/1798.39 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1797.45/1798.39 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1797.45/1798.39 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1797.45/1798.39 c applied globally : - - - 4022 29.3 - - -
1797.45/1798.39 c applied locally : - - - 0 0.0 - - -
1797.45/1798.39 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1797.45/1798.39 c cut pool : 1.86 81 - - 3405 - (maximal pool size: 26251)
1797.45/1798.39 c redcost : 0.15 1367 0 0 0 0
1797.45/1798.39 c impliedbounds : 0.09 82 0 0 4141 0
1797.45/1798.39 c intobj : 0.00 0 0 0 0 0
1797.45/1798.39 c gomory : 67.01 81 0 0 36178 0
1797.45/1798.39 c strongcg : 3.26 20 0 0 10000 0
1797.45/1798.39 c cmir : 0.78 10 0 0 0 0
1797.45/1798.39 c flowcover : 0.74 10 0 0 0 0
1797.45/1798.39 c clique : 0.12 81 0 0 29 0
1797.45/1798.39 c zerohalf : 0.00 0 0 0 0 0
1797.45/1798.39 c mcf : 0.01 1 0 0 0 0
1797.45/1798.39 c Pricers : Time Calls Vars
1797.45/1798.39 c problem variables: 0.00 0 0
1797.45/1798.39 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1797.45/1798.39 c relpscost : 499.76 1286 6 17 0 0 2538
1797.45/1798.39 c pscost : 0.00 0 0 0 0 0 0
1797.45/1798.39 c inference : 0.00 1 0 0 0 0 2
1797.45/1798.39 c mostinf : 0.00 0 0 0 0 0 0
1797.45/1798.39 c leastinf : 0.00 0 0 0 0 0 0
1797.45/1798.39 c fullstrong : 0.00 0 0 0 0 0 0
1797.45/1798.39 c allfullstrong : 0.00 0 0 0 0 0 0
1797.45/1798.39 c random : 0.00 0 0 0 0 0 0
1797.45/1798.39 c Primal Heuristics : Time Calls Found
1797.45/1798.39 c LP solutions : 0.00 - 0
1797.45/1798.39 c pseudo solutions : 0.00 - 0
1797.45/1798.39 c oneopt : 0.00 0 0
1797.45/1798.39 c crossover : 0.00 0 0
1797.45/1798.39 c intshifting : 0.00 0 0
1797.45/1798.39 c veclendiving : 53.58 13 0
1797.45/1798.39 c fracdiving : 63.24 19 0
1797.45/1798.39 c coefdiving : 60.56 20 0
1797.45/1798.39 c pscostdiving : 62.73 20 0
1797.45/1798.39 c simplerounding : 0.01 0 0
1797.45/1798.39 c rounding : 0.71 474 0
1797.45/1798.39 c shifting : 2.22 201 0
1797.45/1798.39 c fixandinfer : 0.00 0 0
1797.45/1798.39 c feaspump : 36.90 4 0
1797.45/1798.39 c intdiving : 0.00 0 0
1797.45/1798.39 c actconsdiving : 0.00 0 0
1797.45/1798.39 c objpscostdiving : 52.66 3 0
1797.45/1798.39 c rootsoldiving : 49.12 3 0
1797.45/1798.39 c linesearchdiving : 58.48 20 0
1797.45/1798.39 c guideddiving : 0.00 0 0
1797.45/1798.39 c octane : 0.00 0 0
1797.45/1798.39 c rens : 0.01 0 0
1797.45/1798.39 c rins : 0.00 0 0
1797.45/1798.39 c localbranching : 0.00 0 0
1797.45/1798.39 c mutation : 0.00 0 0
1797.45/1798.39 c dins : 0.00 0 0
1797.45/1798.39 c LP : Time Calls Iterations Iter/call Iter/sec
1797.45/1798.39 c primal LP : 0.14 0 0 0.00 0.00
1797.45/1798.39 c dual LP : 762.19 1624 811633 499.77 1064.87
1797.45/1798.39 c barrier LP : 0.00 0 0 0.00 -
1797.45/1798.39 c diving/probing LP: 408.89 8989 373724 41.58 914.00
1797.45/1798.39 c strong branching : 498.77 1673 518081 309.67 1038.72
1797.45/1798.39 c (at root node) : - 24 8675 361.46 -
1797.45/1798.39 c conflict analysis: 0.00 0 0 0.00 -
1797.45/1798.39 c B&B Tree :
1797.45/1798.39 c number of runs : 1
1797.45/1798.39 c nodes : 1754
1797.45/1798.39 c nodes (total) : 1754
1797.45/1798.39 c nodes left : 535
1797.45/1798.39 c max depth : 36
1797.45/1798.39 c max depth (total): 36
1797.45/1798.39 c backtracks : 571 (32.6%)
1797.45/1798.39 c delayed cutoffs : 252
1797.45/1798.39 c repropagations : 910 (99275 domain reductions, 230 cutoffs)
1797.45/1798.39 c avg switch length: 4.48
1797.45/1798.39 c switching time : 1.75
1797.45/1798.39 c Solution :
1797.45/1798.39 c Solutions found : 0 (0 improvements)
1797.45/1798.39 c Primal Bound : -
1797.45/1798.39 c Dual Bound : +3.09192075430110e+03
1797.45/1798.39 c Gap : infinite
1797.45/1798.39 c Root Dual Bound : +3.06775702124278e+03
1797.65/1798.55 c Time complete: 1797.69.