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-1868995-1245153671.opb>
0.19/0.22 c original problem has 6352 variables (6352 bin, 0 int, 0 impl, 0 cont) and 13473 constraints
0.19/0.29 c start presolving problem
0.19/0.29 c presolving:
0.29/0.38 c (round 1) 2944 del vars, 496 del conss, 325 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 38274 impls, 0 clqs
0.39/0.44 c (round 2) 3207 del vars, 4467 del conss, 356 chg bounds, 1 chg sides, 2 chg coeffs, 0 upgd conss, 47718 impls, 0 clqs
0.39/0.45 c (round 3) 3240 del vars, 4891 del conss, 371 chg bounds, 3 chg sides, 6 chg coeffs, 0 upgd conss, 47987 impls, 0 clqs
0.39/0.46 c (round 4) 3275 del vars, 4972 del conss, 387 chg bounds, 6 chg sides, 12 chg coeffs, 0 upgd conss, 48326 impls, 0 clqs
0.39/0.47 c (round 5) 3310 del vars, 5064 del conss, 401 chg bounds, 9 chg sides, 18 chg coeffs, 0 upgd conss, 48683 impls, 0 clqs
0.39/0.48 c (round 6) 3339 del vars, 5138 del conss, 413 chg bounds, 12 chg sides, 24 chg coeffs, 0 upgd conss, 49050 impls, 0 clqs
0.39/0.49 c (round 7) 3362 del vars, 5205 del conss, 425 chg bounds, 16 chg sides, 32 chg coeffs, 0 upgd conss, 49290 impls, 0 clqs
0.49/0.50 c (round 8) 3386 del vars, 5263 del conss, 434 chg bounds, 19 chg sides, 38 chg coeffs, 0 upgd conss, 49503 impls, 0 clqs
0.49/0.51 c (round 9) 3402 del vars, 5310 del conss, 442 chg bounds, 23 chg sides, 46 chg coeffs, 0 upgd conss, 49664 impls, 0 clqs
0.49/0.52 c (round 10) 3418 del vars, 5350 del conss, 450 chg bounds, 27 chg sides, 54 chg coeffs, 0 upgd conss, 49805 impls, 0 clqs
0.49/0.53 c (round 11) 3434 del vars, 5390 del conss, 458 chg bounds, 31 chg sides, 62 chg coeffs, 0 upgd conss, 49928 impls, 0 clqs
0.49/0.54 c (round 12) 3450 del vars, 5430 del conss, 466 chg bounds, 35 chg sides, 70 chg coeffs, 0 upgd conss, 50061 impls, 0 clqs
0.49/0.55 c (round 13) 3466 del vars, 5470 del conss, 474 chg bounds, 39 chg sides, 78 chg coeffs, 0 upgd conss, 50182 impls, 0 clqs
0.49/0.56 c (round 14) 3482 del vars, 5510 del conss, 482 chg bounds, 43 chg sides, 86 chg coeffs, 0 upgd conss, 50325 impls, 0 clqs
0.49/0.56 c (round 15) 3499 del vars, 5551 del conss, 491 chg bounds, 47 chg sides, 94 chg coeffs, 0 upgd conss, 50508 impls, 0 clqs
0.49/0.57 c (round 16) 3515 del vars, 5591 del conss, 499 chg bounds, 51 chg sides, 102 chg coeffs, 0 upgd conss, 50725 impls, 0 clqs
0.49/0.58 c (round 17) 3531 del vars, 5631 del conss, 507 chg bounds, 55 chg sides, 110 chg coeffs, 0 upgd conss, 50918 impls, 0 clqs
0.49/0.59 c (round 18) 3547 del vars, 5671 del conss, 515 chg bounds, 59 chg sides, 118 chg coeffs, 0 upgd conss, 51049 impls, 0 clqs
0.59/0.60 c (round 19) 3563 del vars, 5711 del conss, 523 chg bounds, 63 chg sides, 126 chg coeffs, 0 upgd conss, 51190 impls, 0 clqs
0.59/0.61 c (round 20) 3579 del vars, 5751 del conss, 531 chg bounds, 67 chg sides, 134 chg coeffs, 0 upgd conss, 51333 impls, 0 clqs
0.59/0.62 c (round 21) 3592 del vars, 5784 del conss, 536 chg bounds, 69 chg sides, 138 chg coeffs, 0 upgd conss, 51499 impls, 0 clqs
0.59/0.62 c (round 22) 3609 del vars, 5825 del conss, 546 chg bounds, 72 chg sides, 144 chg coeffs, 0 upgd conss, 51613 impls, 0 clqs
0.59/0.63 c (round 23) 3622 del vars, 5872 del conss, 556 chg bounds, 75 chg sides, 150 chg coeffs, 0 upgd conss, 51677 impls, 0 clqs
0.59/0.64 c (round 24) 3640 del vars, 5910 del conss, 568 chg bounds, 76 chg sides, 152 chg coeffs, 0 upgd conss, 51800 impls, 0 clqs
0.59/0.65 c (round 25) 3654 del vars, 5949 del conss, 577 chg bounds, 77 chg sides, 154 chg coeffs, 0 upgd conss, 51911 impls, 0 clqs
0.59/0.66 c (round 26) 3670 del vars, 5987 del conss, 587 chg bounds, 78 chg sides, 156 chg coeffs, 0 upgd conss, 52054 impls, 0 clqs
0.59/0.67 c (round 27) 3690 del vars, 6027 del conss, 597 chg bounds, 80 chg sides, 160 chg coeffs, 0 upgd conss, 52205 impls, 0 clqs
0.59/0.67 c (round 28) 3697 del vars, 6068 del conss, 606 chg bounds, 82 chg sides, 164 chg coeffs, 0 upgd conss, 52223 impls, 0 clqs
0.59/0.68 c (round 29) 3713 del vars, 6097 del conss, 616 chg bounds, 85 chg sides, 170 chg coeffs, 0 upgd conss, 52300 impls, 0 clqs
0.59/0.69 c (round 30) 3727 del vars, 6136 del conss, 628 chg bounds, 86 chg sides, 172 chg coeffs, 0 upgd conss, 52349 impls, 0 clqs
0.69/0.70 c (round 31) 3742 del vars, 6172 del conss, 640 chg bounds, 87 chg sides, 174 chg coeffs, 0 upgd conss, 52408 impls, 0 clqs
0.69/0.71 c (round 32) 3759 del vars, 6211 del conss, 653 chg bounds, 88 chg sides, 176 chg coeffs, 0 upgd conss, 52441 impls, 0 clqs
0.69/0.71 c (round 33) 3778 del vars, 6252 del conss, 666 chg bounds, 89 chg sides, 178 chg coeffs, 0 upgd conss, 52548 impls, 0 clqs
0.69/0.72 c (round 34) 3795 del vars, 6294 del conss, 676 chg bounds, 90 chg sides, 180 chg coeffs, 0 upgd conss, 52671 impls, 0 clqs
0.69/0.73 c (round 35) 3807 del vars, 6327 del conss, 686 chg bounds, 92 chg sides, 185 chg coeffs, 0 upgd conss, 52708 impls, 0 clqs
0.69/0.74 c (round 36) 3816 del vars, 6357 del conss, 694 chg bounds, 95 chg sides, 191 chg coeffs, 0 upgd conss, 52762 impls, 0 clqs
0.69/0.75 c (round 37) 3836 del vars, 6398 del conss, 707 chg bounds, 96 chg sides, 193 chg coeffs, 0 upgd conss, 52853 impls, 0 clqs
0.69/0.75 c (round 38) 3846 del vars, 6439 del conss, 716 chg bounds, 96 chg sides, 193 chg coeffs, 0 upgd conss, 52881 impls, 0 clqs
0.69/0.76 c (round 39) 3863 del vars, 6472 del conss, 731 chg bounds, 100 chg sides, 201 chg coeffs, 0 upgd conss, 52932 impls, 0 clqs
0.69/0.77 c (round 40) 3878 del vars, 6516 del conss, 743 chg bounds, 102 chg sides, 205 chg coeffs, 0 upgd conss, 52989 impls, 0 clqs
0.69/0.78 c (round 41) 3892 del vars, 6554 del conss, 759 chg bounds, 107 chg sides, 215 chg coeffs, 0 upgd conss, 53019 impls, 0 clqs
0.69/0.79 c (round 42) 3910 del vars, 6592 del conss, 773 chg bounds, 109 chg sides, 219 chg coeffs, 0 upgd conss, 53112 impls, 0 clqs
0.69/0.79 c (round 43) 3922 del vars, 6632 del conss, 787 chg bounds, 112 chg sides, 225 chg coeffs, 0 upgd conss, 53133 impls, 0 clqs
0.79/0.80 c (round 44) 3943 del vars, 6667 del conss, 802 chg bounds, 114 chg sides, 229 chg coeffs, 0 upgd conss, 53246 impls, 0 clqs
0.79/0.81 c (round 45) 3956 del vars, 6711 del conss, 815 chg bounds, 117 chg sides, 235 chg coeffs, 0 upgd conss, 53276 impls, 0 clqs
0.79/0.82 c (round 46) 3974 del vars, 6749 del conss, 830 chg bounds, 120 chg sides, 241 chg coeffs, 0 upgd conss, 53396 impls, 0 clqs
0.79/0.82 c (round 47) 3985 del vars, 6790 del conss, 842 chg bounds, 123 chg sides, 247 chg coeffs, 0 upgd conss, 53422 impls, 0 clqs
0.79/0.83 c (round 48) 4000 del vars, 6823 del conss, 855 chg bounds, 125 chg sides, 251 chg coeffs, 0 upgd conss, 53441 impls, 0 clqs
0.79/0.84 c (round 49) 4017 del vars, 6864 del conss, 871 chg bounds, 127 chg sides, 255 chg coeffs, 0 upgd conss, 53531 impls, 0 clqs
0.79/0.85 c (round 50) 4031 del vars, 6898 del conss, 883 chg bounds, 128 chg sides, 257 chg coeffs, 0 upgd conss, 53574 impls, 0 clqs
0.79/0.85 c (round 51) 4051 del vars, 6943 del conss, 901 chg bounds, 130 chg sides, 261 chg coeffs, 0 upgd conss, 53725 impls, 0 clqs
0.79/0.86 c (round 52) 4067 del vars, 6992 del conss, 916 chg bounds, 134 chg sides, 269 chg coeffs, 0 upgd conss, 53788 impls, 0 clqs
0.79/0.87 c (round 53) 4080 del vars, 7026 del conss, 930 chg bounds, 139 chg sides, 279 chg coeffs, 0 upgd conss, 53823 impls, 0 clqs
0.79/0.88 c (round 54) 4101 del vars, 7062 del conss, 943 chg bounds, 140 chg sides, 281 chg coeffs, 0 upgd conss, 53946 impls, 0 clqs
0.79/0.89 c (round 55) 4114 del vars, 7108 del conss, 955 chg bounds, 143 chg sides, 287 chg coeffs, 0 upgd conss, 54060 impls, 0 clqs
0.79/0.89 c (round 56) 4129 del vars, 7152 del conss, 970 chg bounds, 145 chg sides, 291 chg coeffs, 0 upgd conss, 54088 impls, 0 clqs
0.89/0.90 c (round 57) 4149 del vars, 7184 del conss, 984 chg bounds, 149 chg sides, 297 chg coeffs, 0 upgd conss, 54194 impls, 0 clqs
0.89/0.91 c (round 58) 4159 del vars, 7225 del conss, 994 chg bounds, 151 chg sides, 301 chg coeffs, 0 upgd conss, 54226 impls, 0 clqs
0.89/0.92 c (round 59) 4174 del vars, 7249 del conss, 1006 chg bounds, 153 chg sides, 305 chg coeffs, 0 upgd conss, 54313 impls, 0 clqs
0.89/0.92 c (round 60) 4182 del vars, 7284 del conss, 1013 chg bounds, 153 chg sides, 305 chg coeffs, 0 upgd conss, 54337 impls, 0 clqs
0.89/0.93 c (round 61) 4189 del vars, 7299 del conss, 1022 chg bounds, 155 chg sides, 309 chg coeffs, 0 upgd conss, 54356 impls, 0 clqs
0.89/0.94 c (round 62) 4197 del vars, 7320 del conss, 1028 chg bounds, 155 chg sides, 309 chg coeffs, 0 upgd conss, 54396 impls, 0 clqs
0.89/0.94 c (round 63) 4202 del vars, 7334 del conss, 1033 chg bounds, 157 chg sides, 313 chg coeffs, 0 upgd conss, 54421 impls, 0 clqs
0.89/0.95 c (round 64) 4210 del vars, 7345 del conss, 1037 chg bounds, 157 chg sides, 313 chg coeffs, 0 upgd conss, 54471 impls, 0 clqs
0.89/0.96 c (round 65) 4214 del vars, 7364 del conss, 1041 chg bounds, 158 chg sides, 315 chg coeffs, 0 upgd conss, 54527 impls, 0 clqs
0.89/0.96 c (round 66) 4214 del vars, 7366 del conss, 1041 chg bounds, 158 chg sides, 315 chg coeffs, 0 upgd conss, 54535 impls, 0 clqs
0.99/1.06 c (round 67) 4214 del vars, 7367 del conss, 1041 chg bounds, 159 chg sides, 315 chg coeffs, 6106 upgd conss, 54535 impls, 0 clqs
1.19/1.25 c (round 68) 4264 del vars, 7367 del conss, 1041 chg bounds, 159 chg sides, 315 chg coeffs, 6106 upgd conss, 105479 impls, 0 clqs
1.19/1.25 c (round 69) 4264 del vars, 7373 del conss, 1041 chg bounds, 159 chg sides, 315 chg coeffs, 6106 upgd conss, 105487 impls, 0 clqs
1.19/1.28 c (round 70) 4264 del vars, 7375 del conss, 1041 chg bounds, 159 chg sides, 315 chg coeffs, 6106 upgd conss, 105487 impls, 0 clqs
1.39/1.48 c (round 71) 4314 del vars, 7375 del conss, 1041 chg bounds, 159 chg sides, 315 chg coeffs, 6106 upgd conss, 111775 impls, 0 clqs
1.49/1.51 c (round 72) 4314 del vars, 7376 del conss, 1041 chg bounds, 159 chg sides, 315 chg coeffs, 6106 upgd conss, 111775 impls, 0 clqs
1.59/1.63 c (round 73) 4364 del vars, 7376 del conss, 1041 chg bounds, 159 chg sides, 315 chg coeffs, 6106 upgd conss, 112835 impls, 0 clqs
1.59/1.67 c (round 74) 4364 del vars, 7381 del conss, 1041 chg bounds, 159 chg sides, 315 chg coeffs, 6106 upgd conss, 112835 impls, 0 clqs
1.69/1.78 c (1.3s) probing: 835/2138 (39.1%) - 1 fixings, 186 aggregations, 5652 implications, 0 bound changes
1.69/1.78 c (1.3s) probing aborted: 100/100 successive totally useless probings
1.69/1.78 c (round 75) 4401 del vars, 7381 del conss, 1041 chg bounds, 159 chg sides, 315 chg coeffs, 6106 upgd conss, 113305 impls, 0 clqs
1.79/1.80 c (1.3s) probing: 845/2138 (39.5%) - 1 fixings, 186 aggregations, 5652 implications, 0 bound changes
1.79/1.80 c (1.3s) probing aborted: 100/100 successive totally useless probings
1.79/1.80 c presolving (76 rounds):
1.79/1.80 c 4401 deleted vars, 7381 deleted constraints, 1041 tightened bounds, 0 added holes, 159 changed sides, 315 changed coefficients
1.79/1.80 c 113305 implications, 0 cliques
1.79/1.80 c presolved problem has 1951 variables (1951 bin, 0 int, 0 impl, 0 cont) and 6092 constraints
1.79/1.80 c 6092 constraints of type <logicor>
1.79/1.80 c transformed objective value is always integral (scale: 1)
1.79/1.80 c Presolving Time: 1.28
1.79/1.80 c strange?!, PURESAT with obj
1.79/1.80 c -----------------------------------------------------------------------------------------------
1.79/1.80 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1.79/1.80 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1.79/1.80 c limits/memory = c 1620
1.79/1.80 c # maximal time in seconds to run
1.79/1.80 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1.79/1.80 c limits/time = c 1791
1.79/1.80 c # frequency for displaying node information lines
1.79/1.80 c # [type: int, range: [-1,2147483647], default: 100]
1.79/1.80 c display/freq = c 10000
1.79/1.80 c -----------------------------------------------------------------------------------------------
1.79/1.80 c start solving problem
1.79/1.80 c
1.98/2.04 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1.98/2.04 c 1.6s| 1 | 0 | 1813 | 22M| 0 |1245 |1951 |6092 |6092 |1951 |5905 | 0 | 0 | 0 | 2.808013e+03 | -- | Inf
5.40/5.48 c 5.0s| 1 | 0 | 8736 | 23M| 0 |1232 |1951 |6092 |6092 |1951 |7885 |1980 | 0 | 0 | 2.839087e+03 | -- | Inf
6.98/7.04 c 6.5s| 1 | 0 | 10234 | 23M| 0 |1186 |1951 |6092 |6092 |1951 |7929 |2024 | 0 | 0 | 2.867389e+03 | -- | Inf
7.59/7.68 c 7.2s| 1 | 0 | 10545 | 25M| 0 |1204 |1951 |6092 |6092 |1951 |7967 |2062 | 0 | 0 | 2.873833e+03 | -- | Inf
8.39/8.42 c 7.9s| 1 | 0 | 11015 | 25M| 0 |1225 |1951 |6092 |6092 |1951 |8006 |2101 | 0 | 0 | 2.882083e+03 | -- | Inf
9.19/9.27 c 8.7s| 1 | 0 | 11688 | 26M| 0 |1211 |1951 |6092 |6092 |1951 |8050 |2145 | 0 | 0 | 2.890183e+03 | -- | Inf
9.99/10.04 c 9.5s| 1 | 0 | 12226 | 27M| 0 |1221 |1951 |6092 |6092 |1951 |8102 |2197 | 0 | 0 | 2.900465e+03 | -- | Inf
10.89/10.95 c 10.4s| 1 | 0 | 12961 | 28M| 0 |1224 |1951 |6092 |6092 |1951 |8153 |2248 | 0 | 0 | 2.910359e+03 | -- | Inf
11.79/11.81 c 11.2s| 1 | 0 | 13507 | 28M| 0 |1263 |1951 |6092 |6092 |1951 |8204 |2299 | 0 | 0 | 2.918548e+03 | -- | Inf
12.59/12.66 c 12.1s| 1 | 0 | 14068 | 29M| 0 |1263 |1951 |6092 |6092 |1951 |8259 |2354 | 0 | 0 | 2.923288e+03 | -- | Inf
13.38/13.48 c 12.9s| 1 | 0 | 14681 | 30M| 0 |1298 |1951 |6092 |6092 |1951 |8305 |2400 | 0 | 0 | 2.929490e+03 | -- | Inf
14.69/14.75 c 14.2s| 1 | 0 | 15686 | 31M| 0 |1287 |1951 |6092 |6092 |1951 |8358 |2453 | 0 | 0 | 2.935289e+03 | -- | Inf
16.09/16.11 c 15.5s| 1 | 0 | 16809 | 32M| 0 |1262 |1951 |6092 |6092 |1951 |8407 |2502 | 0 | 0 | 2.941719e+03 | -- | Inf
17.08/17.12 c 16.5s| 1 | 0 | 17768 | 33M| 0 |1293 |1951 |6092 |6092 |1951 |8458 |2553 | 0 | 0 | 2.950055e+03 | -- | Inf
18.29/18.34 c 17.8s| 1 | 0 | 18600 | 34M| 0 |1289 |1951 |6092 |6092 |1951 |6533 |2607 | 0 | 0 | 2.958637e+03 | -- | Inf
19.08/19.12 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
19.08/19.12 c 18.5s| 1 | 0 | 19345 | 35M| 0 |1308 |1951 |6092 |6092 |1951 |6593 |2667 | 0 | 0 | 2.963649e+03 | -- | Inf
19.99/20.06 c 19.5s| 1 | 0 | 20278 | 35M| 0 |1354 |1951 |6092 |6092 |1951 |6658 |2732 | 0 | 0 | 2.971545e+03 | -- | Inf
21.08/21.11 c 20.5s| 1 | 0 | 21304 | 36M| 0 |1370 |1951 |6092 |6092 |1951 |6721 |2795 | 0 | 0 | 2.982874e+03 | -- | Inf
21.89/21.91 c 21.3s| 1 | 0 | 22091 | 37M| 0 |1345 |1951 |6092 |6092 |1951 |6782 |2856 | 0 | 0 | 2.990418e+03 | -- | Inf
22.99/23.04 c 22.4s| 1 | 0 | 23076 | 38M| 0 |1343 |1951 |6092 |6092 |1951 |6849 |2923 | 0 | 0 | 3.000278e+03 | -- | Inf
24.39/24.43 c 23.8s| 1 | 0 | 24062 | 38M| 0 |1385 |1951 |6092 |6092 |1951 |6697 |2985 | 0 | 0 | 3.007878e+03 | -- | Inf
25.38/25.42 c 24.8s| 1 | 0 | 24972 | 39M| 0 |1402 |1951 |6092 |6092 |1951 |6759 |3047 | 0 | 0 | 3.013670e+03 | -- | Inf
25.99/26.04 c 25.4s| 1 | 0 | 25761 | 40M| 0 |1422 |1951 |6092 |6092 |1951 |6829 |3117 | 0 | 0 | 3.022550e+03 | -- | Inf
26.59/26.65 c 26.0s| 1 | 0 | 26525 | 40M| 0 |1417 |1951 |6092 |6092 |1951 |6900 |3188 | 0 | 0 | 3.030212e+03 | -- | Inf
27.18/27.28 c 26.6s| 1 | 0 | 27289 | 41M| 0 |1518 |1951 |6092 |6092 |1951 |6956 |3244 | 0 | 0 | 3.034778e+03 | -- | Inf
28.18/28.27 c 27.6s| 1 | 0 | 28314 | 41M| 0 |1539 |1951 |6092 |6092 |1951 |7011 |3299 | 0 | 0 | 3.040019e+03 | -- | Inf
29.39/29.43 c 28.8s| 1 | 0 | 29589 | 42M| 0 |1607 |1951 |6092 |6092 |1951 |6815 |3364 | 0 | 0 | 3.045010e+03 | -- | Inf
30.28/30.30 c 29.6s| 1 | 0 | 30391 | 42M| 0 |1666 |1951 |6092 |6092 |1951 |6862 |3411 | 0 | 0 | 3.047884e+03 | -- | Inf
31.28/31.31 c 30.6s| 1 | 0 | 31490 | 43M| 0 |1612 |1951 |6092 |6092 |1951 |6914 |3463 | 0 | 0 | 3.052813e+03 | -- | Inf
31.98/32.02 c 31.3s| 1 | 0 | 32215 | 43M| 0 |1669 |1951 |6092 |6092 |1951 |6959 |3508 | 0 | 0 | 3.055743e+03 | -- | Inf
33.28/33.35 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
33.28/33.35 c 32.7s| 1 | 0 | 33081 | 44M| 0 |1694 |1951 |6092 |6092 |1951 |6991 |3540 | 0 | 0 | 3.058100e+03 | -- | Inf
34.47/34.52 c 33.8s| 1 | 0 | 33788 | 44M| 0 |1699 |1951 |6092 |6092 |1951 |7013 |3562 | 0 | 0 | 3.059975e+03 | -- | Inf
36.67/36.74 c 36.0s| 1 | 0 | 35063 | 45M| 0 |1672 |1951 |6092 |6092 |1951 |6770 |3597 | 0 | 0 | 3.063349e+03 | -- | Inf
37.67/37.75 c 37.0s| 1 | 0 | 35741 | 45M| 0 |1655 |1951 |6092 |6092 |1951 |6811 |3638 | 0 | 0 | 3.066711e+03 | -- | Inf
38.67/38.71 c 38.0s| 1 | 0 | 36517 | 45M| 0 |1695 |1951 |6092 |6092 |1951 |6851 |3678 | 0 | 0 | 3.070000e+03 | -- | Inf
40.37/40.44 c 39.7s| 1 | 0 | 37440 | 46M| 0 |1675 |1951 |6092 |6092 |1951 |6885 |3712 | 0 | 0 | 3.073347e+03 | -- | Inf
42.17/42.29 c 41.5s| 1 | 0 | 38201 | 46M| 0 |1662 |1951 |6092 |6092 |1951 |6913 |3740 | 0 | 0 | 3.075206e+03 | -- | Inf
43.58/43.61 c 42.8s| 1 | 0 | 39083 | 46M| 0 |1651 |1951 |6092 |6092 |1951 |6943 |3770 | 0 | 0 | 3.077109e+03 | -- | Inf
44.87/44.91 c 44.1s| 1 | 0 | 40028 | 47M| 0 |1661 |1951 |6092 |6092 |1951 |6701 |3810 | 0 | 0 | 3.080102e+03 | -- | Inf
46.18/46.29 c 45.5s| 1 | 0 | 41099 | 47M| 0 |1630 |1951 |6092 |6092 |1951 |6734 |3843 | 0 | 0 | 3.082073e+03 | -- | Inf
47.17/47.28 c 46.5s| 1 | 0 | 42134 | 47M| 0 |1608 |1951 |6092 |6092 |1951 |6781 |3890 | 0 | 0 | 3.085488e+03 | -- | Inf
48.27/48.34 c 47.6s| 1 | 0 | 43212 | 48M| 0 |1635 |1951 |6092 |6092 |1951 |6821 |3930 | 0 | 0 | 3.088638e+03 | -- | Inf
49.37/49.42 c 48.6s| 1 | 0 | 44290 | 48M| 0 |1585 |1951 |6092 |6092 |1951 |6871 |3980 | 0 | 0 | 3.092152e+03 | -- | Inf
50.27/50.39 c 49.6s| 1 | 0 | 45408 | 49M| 0 |1656 |1951 |6092 |6092 |1951 |6907 |4016 | 0 | 0 | 3.094613e+03 | -- | Inf
51.47/51.52 c 50.7s| 1 | 0 | 46358 | 49M| 0 |1669 |1951 |6092 |6092 |1951 |6753 |4059 | 0 | 0 | 3.097995e+03 | -- | Inf
52.17/52.28 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
52.17/52.28 c 51.5s| 1 | 0 | 47004 | 50M| 0 |1642 |1951 |6092 |6092 |1951 |6785 |4091 | 0 | 0 | 3.099740e+03 | -- | Inf
53.36/53.43 c 52.6s| 1 | 0 | 47927 | 50M| 0 |1635 |1951 |6092 |6092 |1951 |6815 |4121 | 0 | 0 | 3.102664e+03 | -- | Inf
54.67/54.72 c 53.9s| 1 | 0 | 49318 | 50M| 0 |1649 |1951 |6092 |6092 |1951 |6846 |4152 | 0 | 0 | 3.104431e+03 | -- | Inf
55.67/55.77 c 55.0s| 1 | 0 | 50263 | 51M| 0 |1632 |1951 |6092 |6092 |1951 |6881 |4187 | 0 | 0 | 3.107075e+03 | -- | Inf
56.86/56.91 c 56.1s| 1 | 0 | 51359 | 51M| 0 |1679 |1951 |6092 |6092 |1951 |6914 |4220 | 0 | 0 | 3.109884e+03 | -- | Inf
58.77/58.80 c 58.0s| 1 | 0 | 52416 | 52M| 0 |1658 |1951 |6092 |6092 |1951 |6750 |4248 | 0 | 0 | 3.111594e+03 | -- | Inf
59.87/59.98 c 59.2s| 1 | 0 | 53019 | 52M| 0 |1623 |1951 |6092 |6092 |1951 |6783 |4281 | 0 | 0 | 3.112308e+03 | -- | Inf
61.87/61.91 c 61.1s| 1 | 0 | 53499 | 52M| 0 |1626 |1951 |6092 |6092 |1951 |6803 |4301 | 0 | 0 | 3.113299e+03 | -- | Inf
63.07/63.13 c 62.3s| 1 | 0 | 53957 | 52M| 0 |1598 |1951 |6092 |6092 |1951 |6815 |4313 | 0 | 0 | 3.114823e+03 | -- | Inf
64.96/65.01 c 64.2s| 1 | 0 | 54409 | 53M| 0 |1610 |1951 |6092 |6092 |1951 |6831 |4329 | 0 | 0 | 3.115235e+03 | -- | Inf
66.37/66.46 c 65.6s| 1 | 0 | 55202 | 53M| 0 |1603 |1951 |6092 |6092 |1951 |6844 |4342 | 0 | 0 | 3.116559e+03 | -- | Inf
68.26/68.31 c 67.5s| 1 | 0 | 55382 | 53M| 0 |1621 |1951 |6092 |6092 |1951 |6660 |4355 | 0 | 0 | 3.116997e+03 | -- | Inf
70.07/70.13 c 69.3s| 1 | 0 | 55769 | 53M| 0 |1606 |1951 |6092 |6092 |1951 |6671 |4366 | 0 | 0 | 3.117632e+03 | -- | Inf
71.07/71.16 c 70.3s| 1 | 0 | 56051 | 53M| 0 |1631 |1951 |6092 |6092 |1951 |6687 |4382 | 0 | 0 | 3.118010e+03 | -- | Inf
72.87/72.97 c 72.1s| 1 | 0 | 56401 | 53M| 0 |1617 |1951 |6092 |6092 |1951 |6698 |4393 | 0 | 0 | 3.118548e+03 | -- | Inf
74.77/74.83 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
74.77/74.83 c 74.0s| 1 | 0 | 56793 | 54M| 0 |1618 |1951 |6092 |6092 |1951 |6713 |4408 | 0 | 0 | 3.119120e+03 | -- | Inf
76.66/76.72 c 75.8s| 1 | 0 | 57232 | 54M| 0 |1636 |1951 |6092 |6092 |1951 |6720 |4415 | 0 | 0 | 3.120397e+03 | -- | Inf
78.56/78.63 c 77.7s| 1 | 0 | 57519 | 54M| 0 |1627 |1951 |6092 |6092 |1951 |6563 |4422 | 0 | 0 | 3.120545e+03 | -- | Inf
80.17/80.21 c 79.3s| 1 | 0 | 57548 | 54M| 0 |1628 |1951 |6092 |6092 |1951 |6567 |4426 | 0 | 0 | 3.120545e+03 | -- | Inf
81.66/81.76 c 80.8s| 1 | 0 | 57559 | 54M| 0 |1630 |1951 |6092 |6092 |1951 |6569 |4428 | 0 | 0 | 3.120545e+03 | -- | Inf
83.36/83.42 c 82.5s| 1 | 0 | 57756 | 54M| 0 |1627 |1951 |6092 |6092 |1951 |6571 |4430 | 0 | 0 | 3.120573e+03 | -- | Inf
85.15/85.20 c 84.3s| 1 | 0 | 58235 | 54M| 0 |1645 |1951 |6092 |6092 |1951 |6575 |4434 | 0 | 0 | 3.120705e+03 | -- | Inf
86.76/86.88 c 86.0s| 1 | 0 | 58280 | 54M| 0 |1645 |1951 |6092 |6092 |1951 |6577 |4436 | 0 | 0 | 3.120705e+03 | -- | Inf
88.56/88.67 c 87.7s| 1 | 0 | 58350 | 54M| 0 |1647 |1951 |6092 |6092 |1951 |6504 |4438 | 0 | 0 | 3.120707e+03 | -- | Inf
90.26/90.30 c 89.4s| 1 | 0 | 58411 | 54M| 0 |1643 |1951 |6092 |6092 |1951 |6505 |4439 | 0 | 0 | 3.120710e+03 | -- | Inf
93.46/93.58 c 92.6s| 1 | 2 | 58411 | 54M| 0 |1643 |1951 |6092 |6092 |1951 |6505 |4439 | 0 | 21 | 3.120710e+03 | -- | Inf
1799.94/1800.41 c
1799.94/1800.41 c SCIP Status : solving was interrupted [time limit reached]
1799.94/1800.41 c Solving Time (sec) : 1791.00
1799.94/1800.41 c Solving Nodes : 4545
1799.94/1800.41 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1799.94/1800.41 c Dual Bound : +3.13313610007893e+03
1799.94/1800.41 c Gap : infinite
1799.94/1800.41 c NODE 4545
1799.94/1800.41 c DUAL BOUND 3133.14
1799.94/1800.41 c PRIMAL BOUND 1e+20
1799.94/1800.41 c GAP 1e+20
1799.94/1800.41 s UNKNOWN
1799.94/1800.41 c SCIP Status : solving was interrupted [time limit reached]
1799.94/1800.41 c Solving Time : 1791.00
1799.94/1800.41 c Original Problem :
1799.94/1800.41 c Problem name : HOME/instance-1868995-1245153671.opb
1799.94/1800.41 c Variables : 6352 (6352 binary, 0 integer, 0 implicit integer, 0 continuous)
1799.94/1800.41 c Constraints : 13473 initial, 13473 maximal
1799.94/1800.41 c Presolved Problem :
1799.94/1800.41 c Problem name : t_HOME/instance-1868995-1245153671.opb
1799.94/1800.41 c Variables : 1951 (1951 binary, 0 integer, 0 implicit integer, 0 continuous)
1799.94/1800.41 c Constraints : 6092 initial, 8007 maximal
1799.94/1800.41 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1799.94/1800.41 c trivial : 0.03 40 0 0 0 0 0 0 0
1799.94/1800.41 c dualfix : 0.01 0 0 0 0 0 0 0 0
1799.94/1800.41 c boundshift : 0.00 0 0 0 0 0 0 0 0
1799.94/1800.41 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1799.94/1800.41 c implics : 0.05 0 3128 0 0 0 0 0 0
1799.94/1800.41 c probing : 0.51 1 186 0 0 0 0 0 0
1799.94/1800.41 c linear : 0.33 1001 45 0 1041 0 7367 159 315
1799.94/1800.41 c logicor : 0.22 0 0 0 0 0 14 0 0
1799.94/1800.41 c root node : - 0 - - 0 - - - -
1799.94/1800.41 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1799.94/1800.41 c integral : 0 0 0 3275 0 6 40 0 0 6504
1799.94/1800.41 c logicor : 6092+ 70 151269 0 0 2241 965971 0 0 0
1799.94/1800.41 c countsols : 0 0 0 0 0 0 0 0 0 0
1799.94/1800.41 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1799.94/1800.41 c integral : 456.53 0.00 0.00 456.53 0.00
1799.94/1800.41 c logicor : 9.22 0.11 9.11 0.00 0.00
1799.94/1800.41 c countsols : 0.00 0.00 0.00 0.00 0.00
1799.94/1800.41 c Propagators : Time Calls Cutoffs DomReds
1799.94/1800.41 c rootredcost : 0.04 0 0 0
1799.94/1800.41 c pseudoobj : 9.31 150102 0 0
1799.94/1800.41 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1799.94/1800.41 c propagation : 1.37 2240 2117 27756 43.1 448 10.7 -
1799.94/1800.41 c infeasible LP : 0.11 252 0 0 0.0 0 0.0 0
1799.94/1800.41 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1799.94/1800.41 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1799.94/1800.41 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1799.94/1800.41 c applied globally : - - - 8398 35.8 - - -
1799.94/1800.42 c applied locally : - - - 0 0.0 - - -
1799.94/1800.42 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1799.94/1800.42 c cut pool : 0.88 69 - - 3507 - (maximal pool size: 22407)
1799.94/1800.42 c redcost : 0.19 3344 0 0 0 0
1799.94/1800.42 c impliedbounds : 0.10 70 0 0 3991 0
1799.94/1800.42 c intobj : 0.00 0 0 0 0 0
1799.94/1800.42 c gomory : 47.66 70 0 0 29903 0
1799.94/1800.42 c strongcg : 2.82 20 0 0 10000 0
1799.94/1800.42 c cmir : 0.87 10 0 0 0 0
1799.94/1800.42 c flowcover : 0.86 10 0 0 2 0
1799.94/1800.42 c clique : 0.15 69 0 0 26 0
1799.94/1800.42 c zerohalf : 0.00 0 0 0 0 0
1799.94/1800.42 c mcf : 0.02 1 0 0 0 0
1799.94/1800.42 c Pricers : Time Calls Vars
1799.94/1800.42 c problem variables: 0.00 0 0
1799.94/1800.42 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1799.94/1800.42 c relpscost : 456.50 3275 6 40 0 0 6504
1799.94/1800.42 c pscost : 0.00 0 0 0 0 0 0
1799.94/1800.42 c inference : 0.00 0 0 0 0 0 0
1799.94/1800.42 c mostinf : 0.00 0 0 0 0 0 0
1799.94/1800.42 c leastinf : 0.00 0 0 0 0 0 0
1799.94/1800.42 c fullstrong : 0.00 0 0 0 0 0 0
1799.94/1800.42 c allfullstrong : 0.00 0 0 0 0 0 0
1799.94/1800.42 c random : 0.00 0 0 0 0 0 0
1799.94/1800.42 c Primal Heuristics : Time Calls Found
1799.94/1800.42 c LP solutions : 0.00 - 0
1799.94/1800.42 c pseudo solutions : 0.00 - 0
1799.94/1800.42 c oneopt : 0.01 0 0
1799.94/1800.42 c crossover : 0.00 0 0
1799.94/1800.42 c pscostdiving : 58.38 24 0
1799.94/1800.42 c linesearchdiving : 60.19 24 0
1799.94/1800.42 c coefdiving : 62.80 24 0
1799.94/1800.42 c fracdiving : 76.49 25 0
1799.94/1800.42 c simplerounding : 0.00 0 0
1799.94/1800.42 c rounding : 1.82 777 0
1799.94/1800.42 c shifting : 2.37 217 0
1799.94/1800.42 c intshifting : 0.00 0 0
1799.94/1800.42 c fixandinfer : 0.00 0 0
1799.94/1800.42 c feaspump : 50.14 7 0
1799.94/1800.42 c veclendiving : 52.40 22 0
1799.94/1800.42 c intdiving : 0.00 0 0
1799.94/1800.42 c actconsdiving : 0.00 0 0
1799.94/1800.42 c objpscostdiving : 26.93 4 0
1799.94/1800.42 c rootsoldiving : 70.39 4 0
1799.94/1800.42 c guideddiving : 0.00 0 0
1799.94/1800.42 c octane : 0.00 0 0
1799.94/1800.42 c rens : 0.00 0 0
1799.94/1800.42 c rins : 0.00 0 0
1799.94/1800.42 c localbranching : 0.00 0 0
1799.94/1800.42 c mutation : 0.00 0 0
1799.94/1800.42 c dins : 0.00 0 0
1799.94/1800.42 c LP : Time Calls Iterations Iter/call Iter/sec
1799.94/1800.42 c primal LP : 1.34 0 0 0.00 0.00
1799.94/1800.42 c dual LP : 783.88 3542 1607304 453.78 2050.45
1799.94/1800.42 c barrier LP : 0.00 0 0 0.00 -
1799.94/1800.42 c diving/probing LP: 425.70 11954 508019 42.50 1193.37
1799.94/1800.42 c strong branching : 453.52 3834 883740 230.50 1948.62
1799.94/1800.42 c (at root node) : - 21 2624 124.95 -
1799.94/1800.42 c conflict analysis: 0.00 0 0 0.00 -
1799.94/1800.42 c B&B Tree :
1799.94/1800.42 c number of runs : 1
1799.94/1800.42 c nodes : 4545
1799.94/1800.42 c nodes (total) : 4545
1799.94/1800.42 c nodes left : 660
1799.94/1800.42 c max depth : 48
1799.94/1800.42 c max depth (total): 48
1799.94/1800.42 c backtracks : 1229 (27.0%)
1799.94/1800.42 c delayed cutoffs : 1300
1799.94/1800.42 c repropagations : 3022 (407894 domain reductions, 916 cutoffs)
1799.94/1800.42 c avg switch length: 4.21
1799.94/1800.42 c switching time : 4.88
1799.94/1800.42 c Solution :
1799.94/1800.42 c Solutions found : 0 (0 improvements)
1799.94/1800.42 c Primal Bound : -
1799.94/1800.42 c Dual Bound : +3.13313610007893e+03
1799.94/1800.42 c Gap : infinite
1799.94/1800.42 c Root Dual Bound : +3.12070998572803e+03