0.19/0.22 c SCIP version 1.1.0.7
0.19/0.22 c LP-Solver Clp 1.8.2
0.19/0.22 c user parameter file <scip.set> not found - using default parameters
0.19/0.22 c read problem <HOME/instance-1869077-1245157051.opb>
0.19/0.22 c original problem has 6352 variables (6352 bin, 0 int, 0 impl, 0 cont) and 13429 constraints
0.29/0.30 c start presolving problem
0.29/0.30 c presolving:
0.29/0.38 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.44 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.46 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.47 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.48 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.49 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.49/0.50 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.49/0.51 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.49/0.52 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.53 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.54 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.54 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.55 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.56 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.57 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.58 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.59 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.60 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.59/0.60 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.59/0.61 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.59/0.62 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.59/0.63 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.64 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.65 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.66 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.66 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.67 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.68 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.69 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.70 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.69/0.70 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.69/0.71 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.69/0.72 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.69/0.73 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.69/0.74 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.74 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.75 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.76 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.77 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.78 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.78 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.79 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.79/0.80 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.79/0.81 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.79/0.81 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.79/0.82 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.79/0.83 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.79/0.84 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.84 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.85 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.86 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.87 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.87 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.88 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.89 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.90 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.89/0.90 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.89/0.91 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.89/0.92 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.89/0.93 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.89/0.93 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.89/0.94 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.89/0.95 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.95 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.96 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.97 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.97 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
0.99/1.09 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.19/1.29 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.19/1.30 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.29/1.32 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.49/1.51 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.49/1.55 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.59/1.67 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.70 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.69/1.73 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.80 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.79/1.90 c (1.4s) probing: 834/2095 (39.8%) - 1 fixings, 183 aggregations, 5531 implications, 0 bound changes
1.79/1.90 c (1.4s) probing aborted: 100/100 successive totally useless probings
1.79/1.90 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.89/1.92 c (1.4s) probing: 844/2095 (40.3%) - 1 fixings, 183 aggregations, 5531 implications, 0 bound changes
1.89/1.92 c (1.4s) probing aborted: 100/100 successive totally useless probings
1.89/1.92 c presolving (79 rounds):
1.89/1.92 c 4444 deleted vars, 7465 deleted constraints, 1000 tightened bounds, 0 added holes, 171 changed sides, 321 changed coefficients
1.89/1.92 c 115321 implications, 0 cliques
1.89/1.92 c presolved problem has 1908 variables (1908 bin, 0 int, 0 impl, 0 cont) and 5964 constraints
1.89/1.92 c 5964 constraints of type <logicor>
1.89/1.92 c transformed objective value is always integral (scale: 1)
1.89/1.92 c Presolving Time: 1.38
1.89/1.92 c strange?!, PURESAT with obj
1.89/1.92 c -----------------------------------------------------------------------------------------------
1.89/1.92 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1.89/1.92 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1.89/1.92 c limits/memory = c 1620
1.89/1.92 c # maximal time in seconds to run
1.89/1.92 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1.89/1.92 c limits/time = c 1791
1.89/1.92 c # frequency for displaying node information lines
1.89/1.92 c # [type: int, range: [-1,2147483647], default: 100]
1.89/1.92 c display/freq = c 10000
1.89/1.92 c -----------------------------------------------------------------------------------------------
1.89/1.92 c start solving problem
1.89/1.92 c
2.10/2.15 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
2.10/2.15 c 1.6s| 1 | 0 | 1773 | 21M| 0 |1207 |1908 |5964 |5964 |1908 |5777 | 0 | 0 | 0 | 2.811119e+03 | -- | Inf
4.55/4.97 c 4.4s| 1 | 0 | 7691 | 23M| 0 |1203 |1908 |5964 |5964 |1908 |7777 |2000 | 0 | 0 | 2.818667e+03 | -- | Inf
6.44/6.63 c 5.9s| 1 | 0 | 9277 | 23M| 0 |1105 |1908 |5964 |5964 |1908 |7817 |2040 | 0 | 0 | 2.857775e+03 | -- | Inf
6.94/7.15 c 6.5s| 1 | 0 | 9658 | 24M| 0 |1119 |1908 |5964 |5964 |1908 |7842 |2065 | 0 | 0 | 2.863027e+03 | -- | Inf
7.53/7.78 c 7.1s| 1 | 0 | 10241 | 24M| 0 |1153 |1908 |5964 |5964 |1908 |7870 |2093 | 0 | 0 | 2.871738e+03 | -- | Inf
8.24/8.41 c 7.7s| 1 | 0 | 10761 | 25M| 0 |1173 |1908 |5964 |5964 |1908 |7908 |2131 | 0 | 0 | 2.880038e+03 | -- | Inf
9.03/9.20 c 8.5s| 1 | 0 | 11257 | 25M| 0 |1178 |1908 |5964 |5964 |1908 |7951 |2174 | 0 | 0 | 2.890046e+03 | -- | Inf
9.92/10.11 c 9.4s| 1 | 0 | 11887 | 26M| 0 |1189 |1908 |5964 |5964 |1908 |7992 |2215 | 0 | 0 | 2.896320e+03 | -- | Inf
10.92/11.17 c 10.4s| 1 | 0 | 12933 | 26M| 0 |1179 |1908 |5964 |5964 |1908 |8035 |2258 | 0 | 0 | 2.904935e+03 | -- | Inf
11.72/11.97 c 11.2s| 1 | 0 | 13570 | 27M| 0 |1218 |1908 |5964 |5964 |1908 |8082 |2305 | 0 | 0 | 2.915690e+03 | -- | Inf
12.52/12.77 c 12.0s| 1 | 0 | 14133 | 27M| 0 |1217 |1908 |5964 |5964 |1908 |8127 |2350 | 0 | 0 | 2.923155e+03 | -- | Inf
13.42/13.69 c 12.9s| 1 | 0 | 14850 | 28M| 0 |1203 |1908 |5964 |5964 |1908 |8172 |2395 | 0 | 0 | 2.929920e+03 | -- | Inf
15.02/15.21 c 14.4s| 1 | 0 | 16169 | 29M| 0 |1213 |1908 |5964 |5964 |1908 |8211 |2434 | 0 | 0 | 2.937621e+03 | -- | Inf
16.22/16.46 c 15.7s| 1 | 0 | 17305 | 30M| 0 |1238 |1908 |5964 |5964 |1908 |8260 |2483 | 0 | 0 | 2.946806e+03 | -- | Inf
16.92/17.12 c 16.3s| 1 | 0 | 17854 | 31M| 0 |1226 |1908 |5964 |5964 |1908 |8305 |2528 | 0 | 0 | 2.954648e+03 | -- | Inf
18.02/18.30 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
18.02/18.30 c 17.5s| 1 | 0 | 18705 | 32M| 0 |1307 |1908 |5964 |5964 |1908 |6336 |2570 | 0 | 0 | 2.959267e+03 | -- | Inf
19.02/19.23 c 18.4s| 1 | 0 | 19490 | 32M| 0 |1250 |1908 |5964 |5964 |1908 |6388 |2622 | 0 | 0 | 2.967555e+03 | -- | Inf
20.02/20.29 c 19.5s| 1 | 0 | 20717 | 33M| 0 |1270 |1908 |5964 |5964 |1908 |6447 |2681 | 0 | 0 | 2.976594e+03 | -- | Inf
20.81/21.06 c 20.2s| 1 | 0 | 21514 | 34M| 0 |1296 |1908 |5964 |5964 |1908 |6500 |2734 | 0 | 0 | 2.984187e+03 | -- | Inf
21.82/22.01 c 21.2s| 1 | 0 | 22597 | 35M| 0 |1320 |1908 |5964 |5964 |1908 |6558 |2792 | 0 | 0 | 2.991171e+03 | -- | Inf
22.82/23.00 c 22.2s| 1 | 0 | 23407 | 36M| 0 |1300 |1908 |5964 |5964 |1908 |6605 |2839 | 0 | 0 | 3.000284e+03 | -- | Inf
23.81/24.01 c 23.2s| 1 | 0 | 24322 | 37M| 0 |1330 |1908 |5964 |5964 |1908 |6476 |2898 | 0 | 0 | 3.005243e+03 | -- | Inf
24.72/24.98 c 24.1s| 1 | 0 | 25478 | 38M| 0 |1307 |1908 |5964 |5964 |1908 |6528 |2950 | 0 | 0 | 3.011133e+03 | -- | Inf
25.42/25.67 c 24.8s| 1 | 0 | 26385 | 38M| 0 |1374 |1908 |5964 |5964 |1908 |6587 |3009 | 0 | 0 | 3.015187e+03 | -- | Inf
26.11/26.38 c 25.5s| 1 | 0 | 27115 | 39M| 0 |1352 |1908 |5964 |5964 |1908 |6634 |3056 | 0 | 0 | 3.018815e+03 | -- | Inf
26.81/27.09 c 26.2s| 1 | 0 | 27940 | 39M| 0 |1403 |1908 |5964 |5964 |1908 |6678 |3100 | 0 | 0 | 3.022224e+03 | -- | Inf
27.91/28.11 c 27.3s| 1 | 0 | 29060 | 39M| 0 |1397 |1908 |5964 |5964 |1908 |6733 |3155 | 0 | 0 | 3.028670e+03 | -- | Inf
28.91/29.17 c 28.3s| 1 | 0 | 29988 | 40M| 0 |1436 |1908 |5964 |5964 |1908 |6557 |3198 | 0 | 0 | 3.032372e+03 | -- | Inf
29.82/30.05 c 29.2s| 1 | 0 | 30838 | 40M| 0 |1469 |1908 |5964 |5964 |1908 |6599 |3240 | 0 | 0 | 3.037413e+03 | -- | Inf
30.81/31.05 c 30.2s| 1 | 0 | 31720 | 41M| 0 |1523 |1908 |5964 |5964 |1908 |6637 |3278 | 0 | 0 | 3.040674e+03 | -- | Inf
31.91/32.12 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
31.91/32.12 c 31.2s| 1 | 0 | 32739 | 41M| 0 |1549 |1908 |5964 |5964 |1908 |6680 |3321 | 0 | 0 | 3.044082e+03 | -- | Inf
32.81/33.01 c 32.1s| 1 | 0 | 33545 | 42M| 0 |1490 |1908 |5964 |5964 |1908 |6720 |3361 | 0 | 0 | 3.048062e+03 | -- | Inf
33.60/33.85 c 33.0s| 1 | 0 | 34422 | 43M| 0 |1588 |1908 |5964 |5964 |1908 |6758 |3399 | 0 | 0 | 3.051968e+03 | -- | Inf
34.71/34.97 c 34.1s| 1 | 0 | 35437 | 43M| 0 |1574 |1908 |5964 |5964 |1908 |6542 |3448 | 0 | 0 | 3.055986e+03 | -- | Inf
36.00/36.23 c 35.4s| 1 | 0 | 36759 | 44M| 0 |1594 |1908 |5964 |5964 |1908 |6585 |3491 | 0 | 0 | 3.060618e+03 | -- | Inf
37.30/37.58 c 36.7s| 1 | 0 | 37902 | 44M| 0 |1609 |1908 |5964 |5964 |1908 |6635 |3541 | 0 | 0 | 3.063606e+03 | -- | Inf
39.60/39.83 c 38.9s| 1 | 0 | 38989 | 44M| 0 |1607 |1908 |5964 |5964 |1908 |6676 |3582 | 0 | 0 | 3.066020e+03 | -- | Inf
40.70/40.91 c 40.0s| 1 | 0 | 39645 | 45M| 0 |1626 |1908 |5964 |5964 |1908 |6715 |3621 | 0 | 0 | 3.067749e+03 | -- | Inf
42.21/42.48 c 41.6s| 1 | 0 | 40987 | 45M| 0 |1609 |1908 |5964 |5964 |1908 |6744 |3650 | 0 | 0 | 3.070616e+03 | -- | Inf
43.60/43.82 c 42.9s| 1 | 0 | 42291 | 45M| 0 |1600 |1908 |5964 |5964 |1908 |6540 |3675 | 0 | 0 | 3.073188e+03 | -- | Inf
45.00/45.28 c 44.4s| 1 | 0 | 43824 | 46M| 0 |1553 |1908 |5964 |5964 |1908 |6574 |3709 | 0 | 0 | 3.076054e+03 | -- | Inf
46.70/46.99 c 46.1s| 1 | 0 | 45234 | 46M| 0 |1634 |1908 |5964 |5964 |1908 |6615 |3750 | 0 | 0 | 3.078513e+03 | -- | Inf
48.80/49.08 c 48.2s| 1 | 0 | 46183 | 46M| 0 |1622 |1908 |5964 |5964 |1908 |6649 |3784 | 0 | 0 | 3.080543e+03 | -- | Inf
50.80/51.05 c 50.1s| 1 | 0 | 47497 | 47M| 0 |1634 |1908 |5964 |5964 |1908 |6679 |3814 | 0 | 0 | 3.081479e+03 | -- | Inf
52.50/52.72 c 51.8s| 1 | 0 | 48724 | 47M| 0 |1645 |1908 |5964 |5964 |1908 |6716 |3851 | 0 | 0 | 3.082409e+03 | -- | Inf
54.40/54.63 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
54.40/54.63 c 53.7s| 1 | 0 | 49944 | 47M| 0 |1636 |1908 |5964 |5964 |1908 |6513 |3878 | 0 | 0 | 3.083578e+03 | -- | Inf
55.60/55.88 c 55.0s| 1 | 0 | 50968 | 48M| 0 |1578 |1908 |5964 |5964 |1908 |6533 |3898 | 0 | 0 | 3.085186e+03 | -- | Inf
56.49/56.78 c 55.8s| 1 | 0 | 51922 | 48M| 0 |1608 |1908 |5964 |5964 |1908 |6574 |3939 | 0 | 0 | 3.087107e+03 | -- | Inf
58.10/58.36 c 57.4s| 1 | 0 | 52826 | 49M| 0 |1647 |1908 |5964 |5964 |1908 |6606 |3971 | 0 | 0 | 3.090039e+03 | -- | Inf
59.79/60.02 c 59.1s| 1 | 0 | 53565 | 49M| 0 |1640 |1908 |5964 |5964 |1908 |6625 |3990 | 0 | 0 | 3.091366e+03 | -- | Inf
60.70/60.94 c 60.0s| 1 | 0 | 54276 | 50M| 0 |1632 |1908 |5964 |5964 |1908 |6658 |4023 | 0 | 0 | 3.092497e+03 | -- | Inf
62.89/63.14 c 62.2s| 1 | 0 | 54973 | 50M| 0 |1632 |1908 |5964 |5964 |1908 |6531 |4055 | 0 | 0 | 3.093688e+03 | -- | Inf
64.70/64.94 c 64.0s| 1 | 0 | 55834 | 50M| 0 |1611 |1908 |5964 |5964 |1908 |6558 |4082 | 0 | 0 | 3.095008e+03 | -- | Inf
66.50/66.80 c 65.8s| 1 | 0 | 56413 | 50M| 0 |1633 |1908 |5964 |5964 |1908 |6584 |4108 | 0 | 0 | 3.096043e+03 | -- | Inf
67.79/68.01 c 67.0s| 1 | 0 | 56924 | 51M| 0 |1608 |1908 |5964 |5964 |1908 |6602 |4126 | 0 | 0 | 3.096977e+03 | -- | Inf
69.90/70.19 c 69.2s| 1 | 0 | 57998 | 51M| 0 |1609 |1908 |5964 |5964 |1908 |6627 |4151 | 0 | 0 | 3.098543e+03 | -- | Inf
71.79/72.01 c 71.0s| 1 | 0 | 58356 | 51M| 0 |1581 |1908 |5964 |5964 |1908 |6640 |4164 | 0 | 0 | 3.098669e+03 | -- | Inf
73.39/73.66 c 72.7s| 1 | 0 | 59434 | 51M| 0 |1599 |1908 |5964 |5964 |1908 |6501 |4188 | 0 | 0 | 3.100216e+03 | -- | Inf
75.49/75.72 c 74.7s| 1 | 0 | 60824 | 51M| 0 |1605 |1908 |5964 |5964 |1908 |6532 |4219 | 0 | 0 | 3.102046e+03 | -- | Inf
77.39/77.66 c 76.7s| 1 | 0 | 61756 | 52M| 0 |1569 |1908 |5964 |5964 |1908 |6575 |4262 | 0 | 0 | 3.103188e+03 | -- | Inf
79.09/79.33 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
79.09/79.33 c 78.3s| 1 | 0 | 62871 | 52M| 0 |1624 |1908 |5964 |5964 |1908 |6611 |4298 | 0 | 0 | 3.105231e+03 | -- | Inf
80.39/80.66 c 79.7s| 1 | 0 | 64274 | 52M| 0 |1566 |1908 |5964 |5964 |1908 |6657 |4344 | 0 | 0 | 3.107615e+03 | -- | Inf
81.99/82.29 c 81.3s| 1 | 0 | 65297 | 53M| 0 |1596 |1908 |5964 |5964 |1908 |6705 |4392 | 0 | 0 | 3.110267e+03 | -- | Inf
83.58/83.82 c 82.8s| 1 | 0 | 66550 | 53M| 0 |1599 |1908 |5964 |5964 |1908 |6605 |4429 | 0 | 0 | 3.113027e+03 | -- | Inf
84.99/85.25 c 84.2s| 1 | 0 | 67632 | 53M| 0 |1602 |1908 |5964 |5964 |1908 |6638 |4462 | 0 | 0 | 3.115231e+03 | -- | Inf
86.49/86.73 c 85.7s| 1 | 0 | 68821 | 54M| 0 |1607 |1908 |5964 |5964 |1908 |6670 |4494 | 0 | 0 | 3.116541e+03 | -- | Inf
88.88/89.17 c 88.1s| 1 | 0 | 69906 | 54M| 0 |1588 |1908 |5964 |5964 |1908 |6701 |4525 | 0 | 0 | 3.117433e+03 | -- | Inf
90.58/90.86 c 89.8s| 1 | 0 | 71007 | 54M| 0 |1623 |1908 |5964 |5964 |1908 |6741 |4565 | 0 | 0 | 3.119103e+03 | -- | Inf
93.59/93.82 c 92.7s| 1 | 0 | 72456 | 55M| 0 |1607 |1908 |5964 |5964 |1908 |6759 |4583 | 0 | 0 | 3.120137e+03 | -- | Inf
96.38/96.67 c 95.5s| 1 | 0 | 73570 | 55M| 0 |1586 |1908 |5964 |5964 |1908 |6653 |4604 | 0 | 0 | 3.120968e+03 | -- | Inf
98.39/98.64 c 97.5s| 1 | 0 | 74175 | 55M| 0 |1596 |1908 |5964 |5964 |1908 |6668 |4619 | 0 | 0 | 3.121544e+03 | -- | Inf
100.69/100.92 c 99.8s| 1 | 0 | 74935 | 55M| 0 |1625 |1908 |5964 |5964 |1908 |6682 |4633 | 0 | 0 | 3.122484e+03 | -- | Inf
102.89/103.16 c 102s| 1 | 0 | 75300 | 55M| 0 |1612 |1908 |5964 |5964 |1908 |6697 |4648 | 0 | 0 | 3.122816e+03 | -- | Inf
104.88/105.14 c 104s| 1 | 0 | 75490 | 55M| 0 |1603 |1908 |5964 |5964 |1908 |6702 |4653 | 0 | 0 | 3.122820e+03 | -- | Inf
107.38/107.64 c 106s| 1 | 0 | 76436 | 55M| 0 |1611 |1908 |5964 |5964 |1908 |6704 |4655 | 0 | 0 | 3.122876e+03 | -- | Inf
109.67/109.92 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
109.67/109.92 c 109s| 1 | 0 | 77141 | 55M| 0 |1601 |1908 |5964 |5964 |1908 |6523 |4665 | 0 | 0 | 3.123623e+03 | -- | Inf
111.27/111.55 c 110s| 1 | 0 | 77169 | 55M| 0 |1608 |1908 |5964 |5964 |1908 |6525 |4667 | 0 | 0 | 3.123625e+03 | -- | Inf
114.98/115.28 c 114s| 1 | 2 | 77169 | 55M| 0 |1608 |1908 |5964 |5964 |1908 |6525 |4667 | 0 | 20 | 3.123625e+03 | -- | Inf
1799.80/1800.55 c
1799.80/1800.55 c SCIP Status : solving was interrupted [time limit reached]
1799.80/1800.55 c Solving Time (sec) : 1791.01
1799.80/1800.55 c Solving Nodes : 3015
1799.80/1800.55 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1799.80/1800.55 c Dual Bound : +3.14040840299052e+03
1799.80/1800.55 c Gap : infinite
1799.80/1800.55 c NODE 3015
1799.80/1800.55 c DUAL BOUND 3140.41
1799.80/1800.55 c PRIMAL BOUND 1e+20
1799.80/1800.55 c GAP 1e+20
1799.80/1800.55 s UNKNOWN
1799.80/1800.55 c SCIP Status : solving was interrupted [time limit reached]
1799.80/1800.55 c Solving Time : 1791.01
1799.80/1800.55 c Original Problem :
1799.80/1800.55 c Problem name : HOME/instance-1869077-1245157051.opb
1799.80/1800.55 c Variables : 6352 (6352 binary, 0 integer, 0 implicit integer, 0 continuous)
1799.80/1800.55 c Constraints : 13429 initial, 13429 maximal
1799.80/1800.55 c Presolved Problem :
1799.80/1800.55 c Problem name : t_HOME/instance-1869077-1245157051.opb
1799.80/1800.55 c Variables : 1908 (1908 binary, 0 integer, 0 implicit integer, 0 continuous)
1799.80/1800.55 c Constraints : 5964 initial, 8436 maximal
1799.80/1800.55 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1799.80/1800.55 c trivial : 0.03 35 0 0 0 0 0 0 0
1799.80/1800.55 c dualfix : 0.03 0 0 0 0 0 0 0 0
1799.80/1800.55 c boundshift : 0.00 0 0 0 0 0 0 0 0
1799.80/1800.55 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1799.80/1800.55 c implics : 0.09 0 3209 0 0 0 0 0 0
1799.80/1800.55 c probing : 0.51 1 183 0 0 0 0 0 0
1799.80/1800.55 c linear : 0.31 965 51 0 1000 0 7440 171 321
1799.80/1800.55 c logicor : 0.28 0 0 0 0 0 25 0 0
1799.80/1800.55 c root node : - 0 - - 0 - - - -
1799.80/1800.55 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1799.80/1800.55 c integral : 0 0 0 1900 0 9 31 0 0 3752
1799.80/1800.55 c logicor : 5964+ 77 86652 0 0 824 269405 0 0 0
1799.80/1800.55 c countsols : 0 0 0 0 0 0 0 0 0 0
1799.80/1800.55 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1799.80/1800.55 c integral : 426.97 0.00 0.00 426.97 0.00
1799.80/1800.55 c logicor : 3.19 0.09 3.10 0.00 0.00
1799.80/1800.55 c countsols : 0.00 0.00 0.00 0.00 0.00
1799.80/1800.55 c Propagators : Time Calls Cutoffs DomReds
1799.80/1800.55 c rootredcost : 0.05 0 0 0
1799.80/1800.55 c pseudoobj : 5.60 84470 0 0
1799.80/1800.55 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1799.80/1800.55 c propagation : 0.28 823 809 9048 38.6 149 5.0 -
1799.80/1800.55 c infeasible LP : 0.35 748 0 0 0.0 0 0.0 0
1799.80/1800.55 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1799.80/1800.55 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1799.80/1800.55 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1799.80/1800.55 c applied globally : - - - 5460 32.5 - - -
1799.80/1800.55 c applied locally : - - - 0 0.0 - - -
1799.80/1800.55 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1799.80/1800.55 c cut pool : 0.85 76 - - 4761 - (maximal pool size: 23817)
1799.80/1800.55 c redcost : 0.19 1976 0 0 0 0
1799.80/1800.55 c impliedbounds : 0.13 77 0 0 4128 0
1799.80/1800.55 c intobj : 0.00 0 0 0 0 0
1799.80/1800.55 c gomory : 50.87 76 0 0 33663 0
1799.80/1800.55 c strongcg : 2.60 20 0 0 10000 0
1799.80/1800.55 c cmir : 0.86 10 0 0 0 0
1799.80/1800.55 c flowcover : 0.75 10 0 0 0 0
1799.80/1800.55 c clique : 0.17 76 0 0 25 0
1799.80/1800.55 c zerohalf : 0.00 0 0 0 0 0
1799.80/1800.55 c mcf : 0.01 1 0 0 0 0
1799.80/1800.55 c Pricers : Time Calls Vars
1799.80/1800.55 c problem variables: 0.00 0 0
1799.80/1800.55 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1799.80/1800.55 c relpscost : 426.96 1900 9 31 0 0 3752
1799.80/1800.55 c pscost : 0.00 0 0 0 0 0 0
1799.80/1800.55 c inference : 0.00 0 0 0 0 0 0
1799.80/1800.55 c mostinf : 0.00 0 0 0 0 0 0
1799.80/1800.55 c leastinf : 0.00 0 0 0 0 0 0
1799.80/1800.55 c fullstrong : 0.00 0 0 0 0 0 0
1799.80/1800.55 c allfullstrong : 0.00 0 0 0 0 0 0
1799.80/1800.55 c random : 0.00 0 0 0 0 0 0
1799.80/1800.55 c Primal Heuristics : Time Calls Found
1799.80/1800.55 c LP solutions : 0.00 - 0
1799.80/1800.55 c pseudo solutions : 0.00 - 0
1799.80/1800.55 c oneopt : 0.01 0 0
1799.80/1800.55 c crossover : 0.00 0 0
1799.80/1800.55 c simplerounding : 0.01 0 0
1799.80/1800.55 c rounding : 1.05 573 0
1799.80/1800.55 c shifting : 2.06 253 0
1799.80/1800.55 c intshifting : 0.00 0 0
1799.80/1800.55 c fixandinfer : 0.00 0 0
1799.80/1800.55 c feaspump : 18.83 3 0
1799.80/1800.55 c coefdiving : 74.67 22 0
1799.80/1800.55 c pscostdiving : 60.01 21 0
1799.80/1800.55 c fracdiving : 80.82 21 0
1799.80/1800.55 c veclendiving : 51.16 20 0
1799.80/1800.55 c intdiving : 0.00 0 0
1799.80/1800.55 c actconsdiving : 0.00 0 0
1799.80/1800.55 c objpscostdiving : 56.22 4 0
1799.80/1800.55 c rootsoldiving : 57.69 4 0
1799.80/1800.55 c linesearchdiving : 52.36 22 0
1799.80/1800.55 c guideddiving : 0.00 0 0
1799.80/1800.55 c octane : 0.00 0 0
1799.80/1800.55 c rens : 0.01 0 0
1799.80/1800.55 c rins : 0.00 0 0
1799.80/1800.55 c localbranching : 0.00 0 0
1799.80/1800.55 c mutation : 0.00 0 0
1799.80/1800.55 c dins : 0.00 0 0
1799.80/1800.55 c LP : Time Calls Iterations Iter/call Iter/sec
1799.80/1800.55 c primal LP : 1.38 0 0 0.00 0.00
1799.80/1800.55 c dual LP : 833.52 2675 1664700 622.32 1997.19
1799.80/1800.55 c barrier LP : 0.00 0 0 0.00 -
1799.80/1800.55 c diving/probing LP: 422.62 10799 546491 50.61 1293.10
1799.80/1800.55 c strong branching : 425.80 3888 825376 212.29 1938.41
1799.80/1800.55 c (at root node) : - 20 2902 145.10 -
1799.80/1800.55 c conflict analysis: 0.00 0 0 0.00 -
1799.80/1800.55 c B&B Tree :
1799.80/1800.55 c number of runs : 1
1799.80/1800.55 c nodes : 3015
1799.80/1800.55 c nodes (total) : 3015
1799.80/1800.55 c nodes left : 515
1799.80/1800.55 c max depth : 41
1799.80/1800.55 c max depth (total): 41
1799.80/1800.55 c backtracks : 791 (26.2%)
1799.80/1800.55 c delayed cutoffs : 223
1799.80/1800.55 c repropagations : 626 (59348 domain reductions, 195 cutoffs)
1799.80/1800.55 c avg switch length: 4.11
1799.80/1800.55 c switching time : 2.36
1799.80/1800.55 c Solution :
1799.80/1800.55 c Solutions found : 0 (0 improvements)
1799.80/1800.55 c Primal Bound : -
1799.80/1800.55 c Dual Bound : +3.14040840299052e+03
1799.80/1800.55 c Gap : infinite
1799.80/1800.55 c Root Dual Bound : +3.12362495384839e+03
1799.89/1800.68 c Time complete: 1799.97.