0.19/0.22 c SCIP version 1.1.0.7
0.19/0.22 c LP-Solver SoPlex 1.4.1
0.19/0.22 c user parameter file <scip.set> not found - using default parameters
0.19/0.22 c read problem <HOME/instance-1868994-1245153654.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.54 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.55 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.49/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.60 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.61 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.65 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.66 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.59/0.69 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.70 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.73 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.74 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.77 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.78 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.69/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.80 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.81 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.83 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.84 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.86 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.87 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.88 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.79/0.89 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.90 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.91 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.92 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.93 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.94 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.95 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.95 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
1.00/1.05 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.24 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.24 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.27 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.47 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.39/1.50 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.60/1.61 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.60/1.65 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.75 c (1.3s) probing: 835/2138 (39.1%) - 1 fixings, 186 aggregations, 5652 implications, 0 bound changes
1.69/1.75 c (1.3s) probing aborted: 100/100 successive totally useless probings
1.69/1.75 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.69/1.78 c (1.3s) probing: 845/2138 (39.5%) - 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 presolving (76 rounds):
1.69/1.78 c 4401 deleted vars, 7381 deleted constraints, 1041 tightened bounds, 0 added holes, 159 changed sides, 315 changed coefficients
1.69/1.78 c 113305 implications, 0 cliques
1.69/1.78 c presolved problem has 1951 variables (1951 bin, 0 int, 0 impl, 0 cont) and 6092 constraints
1.69/1.78 c 6092 constraints of type <logicor>
1.69/1.78 c transformed objective value is always integral (scale: 1)
1.69/1.78 c Presolving Time: 1.25
1.69/1.78 c strange?!, PURESAT with obj
1.69/1.78 c -----------------------------------------------------------------------------------------------
1.69/1.78 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1.69/1.78 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1.69/1.78 c limits/memory = c 1620
1.69/1.78 c # maximal time in seconds to run
1.69/1.78 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1.69/1.78 c limits/time = c 1791
1.69/1.78 c # frequency for displaying node information lines
1.69/1.78 c # [type: int, range: [-1,2147483647], default: 100]
1.69/1.78 c display/freq = c 10000
1.69/1.78 c -----------------------------------------------------------------------------------------------
1.69/1.78 c start solving problem
1.69/1.78 c
2.39/2.46 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
2.39/2.46 c 1.9s| 1 | 0 | 2051 | 22M| 0 |1246 |1951 |6092 |6092 |1951 |5905 | 0 | 0 | 0 | 2.808013e+03 | -- | Inf
5.60/5.63 c 5.1s| 1 | 0 | 7169 | 23M| 0 |1230 |1951 |6092 |6092 |1951 |7905 |2000 | 0 | 0 | 2.815667e+03 | -- | Inf
7.59/7.69 c 7.1s| 1 | 0 | 8552 | 24M| 0 |1138 |1951 |6092 |6092 |1951 |7932 |2027 | 0 | 0 | 2.840662e+03 | -- | Inf
8.48/8.59 c 8.0s| 1 | 0 | 9016 | 24M| 0 |1161 |1951 |6092 |6092 |1951 |7959 |2054 | 0 | 0 | 2.845122e+03 | -- | Inf
9.79/9.85 c 9.3s| 1 | 0 | 9779 | 25M| 0 |1181 |1951 |6092 |6092 |1951 |7989 |2084 | 0 | 0 | 2.849386e+03 | -- | Inf
11.68/11.73 c 11.2s| 1 | 0 | 10738 | 27M| 0 |1211 |1951 |6092 |6092 |1951 |8026 |2121 | 0 | 0 | 2.853744e+03 | -- | Inf
13.58/13.64 c 13.0s| 1 | 0 | 11834 | 28M| 0 |1224 |1951 |6092 |6092 |1951 |8058 |2153 | 0 | 0 | 2.857439e+03 | -- | Inf
15.58/15.61 c 15.0s| 1 | 0 | 12899 | 30M| 0 |1252 |1951 |6092 |6092 |1951 |8093 |2188 | 0 | 0 | 2.860982e+03 | -- | Inf
17.48/17.55 c 16.9s| 1 | 0 | 13998 | 31M| 0 |1247 |1951 |6092 |6092 |1951 |8138 |2233 | 0 | 0 | 2.867543e+03 | -- | Inf
19.88/19.98 c 19.4s| 1 | 0 | 15404 | 33M| 0 |1283 |1951 |6092 |6092 |1951 |8185 |2280 | 0 | 0 | 2.870742e+03 | -- | Inf
22.48/22.50 c 21.9s| 1 | 0 | 16846 | 34M| 0 |1278 |1951 |6092 |6092 |1951 |8227 |2322 | 0 | 0 | 2.874725e+03 | -- | Inf
24.58/24.64 c 24.0s| 1 | 0 | 17863 | 36M| 0 |1308 |1951 |6092 |6092 |1951 |8281 |2376 | 0 | 0 | 2.878989e+03 | -- | Inf
27.48/27.57 c 26.9s| 1 | 0 | 19371 | 38M| 0 |1300 |1951 |6092 |6092 |1951 |8322 |2417 | 0 | 0 | 2.882764e+03 | -- | Inf
29.68/29.75 c 29.1s| 1 | 0 | 20527 | 39M| 0 |1265 |1951 |6092 |6092 |1951 |8368 |2463 | 0 | 0 | 2.886197e+03 | -- | Inf
32.58/32.69 c 32.0s| 1 | 0 | 21665 | 40M| 0 |1337 |1951 |6092 |6092 |1951 |6445 |2506 | 0 | 0 | 2.889519e+03 | -- | Inf
35.78/35.86 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
35.78/35.86 c 35.1s| 1 | 0 | 22888 | 41M| 0 |1321 |1951 |6092 |6092 |1951 |6498 |2559 | 0 | 0 | 2.893324e+03 | -- | Inf
38.47/38.52 c 37.8s| 1 | 0 | 23920 | 43M| 0 |1330 |1951 |6092 |6092 |1951 |6540 |2601 | 0 | 0 | 2.898232e+03 | -- | Inf
41.56/41.64 c 40.9s| 1 | 0 | 25212 | 45M| 0 |1353 |1951 |6092 |6092 |1951 |6579 |2640 | 0 | 0 | 2.901804e+03 | -- | Inf
47.27/47.38 c 46.6s| 1 | 0 | 27771 | 47M| 0 |1341 |1951 |6092 |6092 |1951 |6620 |2681 | 0 | 0 | 2.904748e+03 | -- | Inf
50.67/50.79 c 50.0s| 1 | 0 | 29319 | 52M| 0 |1375 |1951 |6092 |6092 |1951 |6667 |2728 | 0 | 0 | 2.913669e+03 | -- | Inf
54.27/54.31 c 53.5s| 1 | 0 | 30323 | 54M| 0 |1410 |1951 |6092 |6092 |1951 |6554 |2786 | 0 | 0 | 2.919393e+03 | -- | Inf
57.86/57.90 c 57.1s| 1 | 0 | 31652 | 56M| 0 |1391 |1951 |6092 |6092 |1951 |6609 |2841 | 0 | 0 | 2.923435e+03 | -- | Inf
60.37/60.41 c 59.5s| 1 | 0 | 32921 | 56M| 0 |1410 |1951 |6092 |6092 |1951 |6655 |2887 | 0 | 0 | 2.926648e+03 | -- | Inf
64.46/64.51 c 63.6s| 1 | 0 | 34680 | 57M| 0 |1403 |1951 |6092 |6092 |1951 |6703 |2935 | 0 | 0 | 2.930898e+03 | -- | Inf
68.06/68.19 c 67.3s| 1 | 0 | 36527 | 57M| 0 |1424 |1951 |6092 |6092 |1951 |6746 |2978 | 0 | 0 | 2.934679e+03 | -- | Inf
71.86/71.94 c 71.0s| 1 | 0 | 38511 | 59M| 0 |1446 |1951 |6092 |6092 |1951 |6780 |3012 | 0 | 0 | 2.936400e+03 | -- | Inf
77.66/77.79 c 76.9s| 1 | 0 | 41369 | 59M| 0 |1584 |1951 |6092 |6092 |1951 |6631 |3049 | 0 | 0 | 2.938086e+03 | -- | Inf
83.65/83.74 c 82.8s| 1 | 0 | 43061 | 59M| 0 |1466 |1951 |6092 |6092 |1951 |6699 |3117 | 0 | 0 | 2.950456e+03 | -- | Inf
86.95/87.00 c 86.1s| 1 | 0 | 44674 | 61M| 0 |1489 |1951 |6092 |6092 |1951 |6747 |3165 | 0 | 0 | 2.955447e+03 | -- | Inf
91.35/91.47 c 90.5s| 1 | 0 | 47114 | 61M| 0 |1511 |1951 |6092 |6092 |1951 |6791 |3209 | 0 | 0 | 2.958980e+03 | -- | Inf
97.55/97.61 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
97.55/97.61 c 96.6s| 1 | 0 | 49589 | 62M| 0 |1431 |1951 |6092 |6092 |1951 |6861 |3279 | 0 | 0 | 2.970728e+03 | -- | Inf
101.15/101.27 c 100s| 1 | 0 | 51532 | 62M| 0 |1487 |1951 |6092 |6092 |1951 |6914 |3332 | 0 | 0 | 2.975407e+03 | -- | Inf
104.25/104.39 c 103s| 1 | 0 | 52911 | 63M| 0 |1430 |1951 |6092 |6092 |1951 |6713 |3371 | 0 | 0 | 2.979732e+03 | -- | Inf
106.66/106.70 c 106s| 1 | 0 | 54147 | 64M| 0 |1446 |1951 |6092 |6092 |1951 |6750 |3408 | 0 | 0 | 2.984759e+03 | -- | Inf
109.44/109.52 c 109s| 1 | 0 | 55881 | 65M| 0 |1461 |1951 |6092 |6092 |1951 |6787 |3445 | 0 | 0 | 2.987862e+03 | -- | Inf
112.25/112.34 c 111s| 1 | 0 | 57604 | 66M| 0 |1482 |1951 |6092 |6092 |1951 |6826 |3484 | 0 | 0 | 2.990813e+03 | -- | Inf
114.84/114.94 c 114s| 1 | 0 | 59237 | 68M| 0 |1551 |1951 |6092 |6092 |1951 |6857 |3515 | 0 | 0 | 2.993416e+03 | -- | Inf
117.75/117.80 c 117s| 1 | 0 | 60689 | 68M| 0 |1484 |1951 |6092 |6092 |1951 |6891 |3549 | 0 | 0 | 2.995551e+03 | -- | Inf
121.75/121.88 c 121s| 1 | 0 | 62965 | 70M| 0 |1597 |1951 |6092 |6092 |1951 |6711 |3581 | 0 | 0 | 2.997662e+03 | -- | Inf
125.85/125.93 c 125s| 1 | 0 | 64776 | 70M| 0 |1560 |1951 |6092 |6092 |1951 |6752 |3622 | 0 | 0 | 3.002387e+03 | -- | Inf
128.74/128.84 c 128s| 1 | 0 | 65710 | 71M| 0 |1554 |1951 |6092 |6092 |1951 |6794 |3664 | 0 | 0 | 3.004530e+03 | -- | Inf
131.95/132.06 c 131s| 1 | 0 | 67103 | 72M| 0 |1621 |1951 |6092 |6092 |1951 |6823 |3693 | 0 | 0 | 3.007859e+03 | -- | Inf
135.44/135.55 c 134s| 1 | 0 | 68324 | 73M| 0 |1633 |1951 |6092 |6092 |1951 |6859 |3729 | 0 | 0 | 3.011503e+03 | -- | Inf
140.54/140.60 c 139s| 1 | 0 | 70042 | 73M| 0 |1618 |1951 |6092 |6092 |1951 |6899 |3769 | 0 | 0 | 3.015939e+03 | -- | Inf
145.34/145.47 c 144s| 1 | 0 | 71728 | 73M| 0 |1643 |1951 |6092 |6092 |1951 |6684 |3810 | 0 | 0 | 3.017979e+03 | -- | Inf
152.04/152.14 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
152.04/152.14 c 151s| 1 | 0 | 74366 | 73M| 0 |1608 |1951 |6092 |6092 |1951 |6719 |3845 | 0 | 0 | 3.021393e+03 | -- | Inf
155.54/155.66 c 154s| 1 | 0 | 75817 | 74M| 0 |1583 |1951 |6092 |6092 |1951 |6747 |3873 | 0 | 0 | 3.022396e+03 | -- | Inf
158.74/158.83 c 158s| 1 | 0 | 77393 | 75M| 0 |1671 |1951 |6092 |6092 |1951 |6779 |3905 | 0 | 0 | 3.025342e+03 | -- | Inf
162.84/162.96 c 162s| 1 | 0 | 79068 | 75M| 0 |1664 |1951 |6092 |6092 |1951 |6814 |3940 | 0 | 0 | 3.028884e+03 | -- | Inf
165.23/165.30 c 164s| 1 | 0 | 80633 | 76M| 0 |1635 |1951 |6092 |6092 |1951 |6844 |3970 | 0 | 0 | 3.031194e+03 | -- | Inf
168.34/168.41 c 167s| 1 | 0 | 82146 | 76M| 0 |1595 |1951 |6092 |6092 |1951 |6716 |4001 | 0 | 0 | 3.033874e+03 | -- | Inf
170.63/170.77 c 170s| 1 | 0 | 83468 | 76M| 0 |1661 |1951 |6092 |6092 |1951 |6757 |4042 | 0 | 0 | 3.038334e+03 | -- | Inf
174.43/174.55 c 173s| 1 | 0 | 84510 | 77M| 0 |1637 |1951 |6092 |6092 |1951 |6799 |4084 | 0 | 0 | 3.042291e+03 | -- | Inf
177.04/177.12 c 176s| 1 | 0 | 85735 | 77M| 0 |1619 |1951 |6092 |6092 |1951 |6829 |4114 | 0 | 0 | 3.044581e+03 | -- | Inf
179.63/179.70 c 178s| 1 | 0 | 86613 | 77M| 0 |1626 |1951 |6092 |6092 |1951 |6860 |4145 | 0 | 0 | 3.046380e+03 | -- | Inf
181.43/181.58 c 180s| 1 | 0 | 87895 | 78M| 0 |1640 |1951 |6092 |6092 |1951 |6890 |4175 | 0 | 0 | 3.047432e+03 | -- | Inf
183.32/183.41 c 182s| 1 | 0 | 88544 | 78M| 0 |1641 |1951 |6092 |6092 |1951 |6722 |4196 | 0 | 0 | 3.048485e+03 | -- | Inf
186.73/186.82 c 185s| 1 | 0 | 89471 | 79M| 0 |1622 |1951 |6092 |6092 |1951 |6740 |4214 | 0 | 0 | 3.049026e+03 | -- | Inf
189.63/189.79 c 188s| 1 | 0 | 89799 | 79M| 0 |1611 |1951 |6092 |6092 |1951 |6757 |4231 | 0 | 0 | 3.049529e+03 | -- | Inf
192.43/192.56 c 191s| 1 | 0 | 90243 | 79M| 0 |1620 |1951 |6092 |6092 |1951 |6767 |4241 | 0 | 0 | 3.049671e+03 | -- | Inf
195.73/195.86 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
195.73/195.87 c 195s| 1 | 0 | 90718 | 79M| 0 |1598 |1951 |6092 |6092 |1951 |6777 |4251 | 0 | 0 | 3.050356e+03 | -- | Inf
199.52/199.62 c 198s| 1 | 0 | 91695 | 79M| 0 |1628 |1951 |6092 |6092 |1951 |6800 |4274 | 0 | 0 | 3.051715e+03 | -- | Inf
202.02/202.18 c 201s| 1 | 0 | 91854 | 79M| 0 |1625 |1951 |6092 |6092 |1951 |6626 |4286 | 0 | 0 | 3.051747e+03 | -- | Inf
205.12/205.21 c 204s| 1 | 0 | 92383 | 79M| 0 |1634 |1951 |6092 |6092 |1951 |6633 |4293 | 0 | 0 | 3.051914e+03 | -- | Inf
208.32/208.46 c 207s| 1 | 0 | 93029 | 79M| 0 |1636 |1951 |6092 |6092 |1951 |6643 |4303 | 0 | 0 | 3.052852e+03 | -- | Inf
211.22/211.32 c 210s| 1 | 0 | 93282 | 79M| 0 |1628 |1951 |6092 |6092 |1951 |6646 |4306 | 0 | 0 | 3.052913e+03 | -- | Inf
213.42/213.56 c 212s| 1 | 0 | 93499 | 79M| 0 |1628 |1951 |6092 |6092 |1951 |6651 |4311 | 0 | 0 | 3.053077e+03 | -- | Inf
215.82/215.95 c 214s| 1 | 0 | 93775 | 79M| 0 |1633 |1951 |6092 |6092 |1951 |6666 |4326 | 0 | 0 | 3.053589e+03 | -- | Inf
218.31/218.42 c 217s| 1 | 0 | 94450 | 80M| 0 |1623 |1951 |6092 |6092 |1951 |6554 |4338 | 0 | 0 | 3.054135e+03 | -- | Inf
221.22/221.37 c 220s| 1 | 0 | 95136 | 80M| 0 |1608 |1951 |6092 |6092 |1951 |6567 |4351 | 0 | 0 | 3.055150e+03 | -- | Inf
223.82/223.94 c 222s| 1 | 0 | 95731 | 80M| 0 |1612 |1951 |6092 |6092 |1951 |6587 |4371 | 0 | 0 | 3.056729e+03 | -- | Inf
227.32/227.41 c 226s| 1 | 0 | 96365 | 81M| 0 |1650 |1951 |6092 |6092 |1951 |6598 |4382 | 0 | 0 | 3.057640e+03 | -- | Inf
230.51/230.69 c 229s| 1 | 0 | 97206 | 81M| 0 |1639 |1951 |6092 |6092 |1951 |6613 |4397 | 0 | 0 | 3.058459e+03 | -- | Inf
233.12/233.28 c 232s| 1 | 0 | 97693 | 81M| 0 |1629 |1951 |6092 |6092 |1951 |6623 |4407 | 0 | 0 | 3.059367e+03 | -- | Inf
235.21/235.35 c 234s| 1 | 0 | 98876 | 81M| 0 |1622 |1951 |6092 |6092 |1951 |6567 |4429 | 0 | 0 | 3.061063e+03 | -- | Inf
238.91/239.03 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
238.91/239.03 c 237s| 1 | 0 |100039 | 81M| 0 |1607 |1951 |6092 |6092 |1951 |6592 |4454 | 0 | 0 | 3.061921e+03 | -- | Inf
241.31/241.49 c 240s| 1 | 0 |100641 | 81M| 0 |1616 |1951 |6092 |6092 |1951 |6612 |4474 | 0 | 0 | 3.062176e+03 | -- | Inf
244.31/244.50 c 243s| 1 | 0 |101259 | 82M| 0 |1602 |1951 |6092 |6092 |1951 |6649 |4511 | 0 | 0 | 3.062949e+03 | -- | Inf
248.71/248.80 c 247s| 1 | 0 |102267 | 82M| 0 |1611 |1951 |6092 |6092 |1951 |6670 |4532 | 0 | 0 | 3.064346e+03 | -- | Inf
251.11/251.22 c 250s| 1 | 0 |103260 | 82M| 0 |1625 |1951 |6092 |6092 |1951 |6698 |4560 | 0 | 0 | 3.065256e+03 | -- | Inf
254.11/254.23 c 253s| 1 | 0 |104058 | 83M| 0 |1653 |1951 |6092 |6092 |1951 |6656 |4589 | 0 | 0 | 3.066457e+03 | -- | Inf
257.40/257.59 c 256s| 1 | 0 |105088 | 83M| 0 |1651 |1951 |6092 |6092 |1951 |6687 |4620 | 0 | 0 | 3.068049e+03 | -- | Inf
259.41/259.54 c 258s| 1 | 0 |105934 | 83M| 0 |1644 |1951 |6092 |6092 |1951 |6707 |4640 | 0 | 0 | 3.069506e+03 | -- | Inf
262.91/263.09 c 261s| 1 | 0 |106941 | 83M| 0 |1666 |1951 |6092 |6092 |1951 |6728 |4661 | 0 | 0 | 3.070145e+03 | -- | Inf
265.61/265.78 c 264s| 1 | 0 |107504 | 83M| 0 |1654 |1951 |6092 |6092 |1951 |6751 |4684 | 0 | 0 | 3.070991e+03 | -- | Inf
268.61/268.73 c 267s| 1 | 0 |108162 | 83M| 0 |1664 |1951 |6092 |6092 |1951 |6781 |4714 | 0 | 0 | 3.071428e+03 | -- | Inf
271.80/271.96 c 270s| 1 | 0 |109041 | 83M| 0 |1671 |1951 |6092 |6092 |1951 |6705 |4733 | 0 | 0 | 3.071818e+03 | -- | Inf
274.90/275.05 c 273s| 1 | 0 |109699 | 84M| 0 |1662 |1951 |6092 |6092 |1951 |6714 |4742 | 0 | 0 | 3.072011e+03 | -- | Inf
277.01/277.18 c 275s| 1 | 0 |109722 | 84M| 0 |1663 |1951 |6092 |6092 |1951 |6724 |4752 | 0 | 0 | 3.072014e+03 | -- | Inf
279.20/279.37 c 278s| 1 | 0 |109779 | 84M| 0 |1661 |1951 |6092 |6092 |1951 |6727 |4755 | 0 | 0 | 3.072015e+03 | -- | Inf
296.20/296.36 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
296.20/296.36 c 295s| 1 | 2 |109779 | 84M| 0 |1661 |1951 |6092 |6092 |1951 |6727 |4755 | 0 | 40 | 3.072015e+03 | -- | Inf
1796.98/1797.55 c
1796.98/1797.55 c SCIP Status : solving was interrupted [time limit reached]
1796.98/1797.55 c Solving Time (sec) : 1791.01
1796.98/1797.55 c Solving Nodes : 1590
1796.98/1797.55 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1796.98/1797.55 c Dual Bound : +3.08810090803326e+03
1796.98/1797.55 c Gap : infinite
1796.98/1797.55 c NODE 1590
1796.98/1797.55 c DUAL BOUND 3088.1
1796.98/1797.55 c PRIMAL BOUND 1e+20
1796.98/1797.55 c GAP 1e+20
1796.98/1797.55 s UNKNOWN
1796.98/1797.55 c SCIP Status : solving was interrupted [time limit reached]
1796.98/1797.55 c Solving Time : 1791.01
1796.98/1797.55 c Original Problem :
1796.98/1797.55 c Problem name : HOME/instance-1868994-1245153654.opb
1796.98/1797.55 c Variables : 6352 (6352 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.98/1797.55 c Constraints : 13473 initial, 13473 maximal
1796.98/1797.55 c Presolved Problem :
1796.98/1797.55 c Problem name : t_HOME/instance-1868994-1245153654.opb
1796.98/1797.55 c Variables : 1951 (1951 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.98/1797.55 c Constraints : 6092 initial, 8105 maximal
1796.98/1797.55 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1796.98/1797.55 c trivial : 0.04 40 0 0 0 0 0 0 0
1796.98/1797.55 c dualfix : 0.03 0 0 0 0 0 0 0 0
1796.98/1797.55 c boundshift : 0.00 0 0 0 0 0 0 0 0
1796.98/1797.55 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1796.98/1797.55 c implics : 0.05 0 3128 0 0 0 0 0 0
1796.98/1797.55 c probing : 0.50 1 186 0 0 0 0 0 0
1796.98/1797.55 c linear : 0.36 1001 45 0 1041 0 7367 159 315
1796.98/1797.55 c logicor : 0.19 0 0 0 0 0 14 0 0
1796.98/1797.55 c root node : - 0 - - 0 - - - -
1796.98/1797.55 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1796.98/1797.55 c integral : 0 0 0 1401 0 0 20 0 0 2788
1796.98/1797.55 c logicor : 6092+ 90 46889 0 1 485 212089 0 0 0
1796.98/1797.55 c countsols : 0 0 0 0 1 0 0 0 0 0
1796.98/1797.55 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1796.98/1797.55 c integral : 489.41 0.00 0.00 489.41 0.00
1796.98/1797.55 c logicor : 2.36 0.13 2.23 0.00 0.00
1796.98/1797.55 c countsols : 0.00 0.00 0.00 0.00 0.00
1796.98/1797.55 c Propagators : Time Calls Cutoffs DomReds
1796.98/1797.55 c rootredcost : 0.02 0 0 0
1796.98/1797.55 c pseudoobj : 3.19 44782 0 0
1796.98/1797.55 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1796.98/1797.55 c propagation : 0.21 484 450 4686 36.6 155 4.1 -
1796.98/1797.55 c infeasible LP : 0.09 74 74 612 37.0 13 2.5 0
1796.98/1797.55 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1796.98/1797.55 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1796.98/1797.55 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1796.98/1797.55 c applied globally : - - - 2593 29.9 - - -
1796.98/1797.55 c applied locally : - - - 0 0.0 - - -
1796.98/1797.55 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1796.98/1797.55 c cut pool : 1.78 89 - - 3141 - (maximal pool size: 24617)
1796.98/1797.55 c redcost : 0.18 1490 0 0 0 0
1796.98/1797.55 c impliedbounds : 0.11 90 0 0 4099 0
1796.98/1797.55 c intobj : 0.00 0 0 0 0 0
1796.98/1797.55 c gomory : 120.02 89 0 0 36011 0
1796.98/1797.55 c strongcg : 6.09 20 0 0 10000 0
1796.98/1797.55 c cmir : 0.85 10 0 0 0 0
1796.98/1797.55 c flowcover : 0.74 10 0 0 0 0
1796.98/1797.55 c clique : 0.13 89 0 0 33 0
1796.98/1797.55 c zerohalf : 0.00 0 0 0 0 0
1796.98/1797.55 c mcf : 0.02 1 0 0 0 0
1796.98/1797.55 c Pricers : Time Calls Vars
1796.98/1797.55 c problem variables: 0.00 0 0
1796.98/1797.55 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1796.98/1797.55 c relpscost : 489.41 1401 0 20 0 0 2788
1796.98/1797.55 c pscost : 0.00 0 0 0 0 0 0
1796.98/1797.55 c inference : 0.00 1 0 0 0 0 2
1796.98/1797.55 c mostinf : 0.00 0 0 0 0 0 0
1796.98/1797.55 c leastinf : 0.00 0 0 0 0 0 0
1796.98/1797.55 c fullstrong : 0.00 0 0 0 0 0 0
1796.98/1797.55 c allfullstrong : 0.00 0 0 0 0 0 0
1796.98/1797.55 c random : 0.00 0 0 0 0 0 0
1796.98/1797.55 c Primal Heuristics : Time Calls Found
1796.98/1797.55 c LP solutions : 0.00 - 0
1796.98/1797.55 c pseudo solutions : 0.00 - 0
1796.98/1797.55 c oneopt : 0.00 0 0
1796.98/1797.55 c crossover : 0.00 0 0
1796.98/1797.55 c intshifting : 0.00 0 0
1796.98/1797.55 c veclendiving : 62.52 12 0
1796.98/1797.55 c coefdiving : 65.93 16 0
1796.98/1797.55 c pscostdiving : 58.18 18 0
1796.98/1797.55 c linesearchdiving : 62.85 18 0
1796.98/1797.55 c fracdiving : 63.12 18 0
1796.98/1797.55 c simplerounding : 0.00 0 0
1796.98/1797.55 c rounding : 0.86 506 0
1796.98/1797.55 c shifting : 2.53 169 0
1796.98/1797.55 c fixandinfer : 0.00 0 0
1796.98/1797.55 c feaspump : 37.19 5 0
1796.98/1797.55 c intdiving : 0.00 0 0
1796.98/1797.55 c actconsdiving : 0.00 0 0
1796.98/1797.55 c objpscostdiving : 46.07 2 0
1796.98/1797.55 c rootsoldiving : 62.39 3 0
1796.98/1797.55 c guideddiving : 0.00 0 0
1796.98/1797.55 c octane : 0.00 0 0
1796.98/1797.55 c rens : 0.01 0 0
1796.98/1797.55 c rins : 0.00 0 0
1796.98/1797.55 c localbranching : 0.00 0 0
1796.98/1797.55 c mutation : 0.00 0 0
1796.98/1797.55 c dins : 0.00 0 0
1796.98/1797.55 c LP : Time Calls Iterations Iter/call Iter/sec
1796.98/1797.56 c primal LP : 0.15 0 0 0.00 0.00
1796.98/1797.56 c dual LP : 696.36 1516 722361 476.49 1037.34
1796.98/1797.56 c barrier LP : 0.00 0 0 0.00 -
1796.98/1797.56 c diving/probing LP: 429.29 8515 370283 43.49 862.55
1796.98/1797.56 c strong branching : 487.92 1738 477296 274.62 978.23
1796.98/1797.56 c (at root node) : - 40 11978 299.45 -
1796.98/1797.56 c conflict analysis: 0.00 0 0 0.00 -
1796.98/1797.56 c B&B Tree :
1796.98/1797.56 c number of runs : 1
1796.98/1797.56 c nodes : 1590
1796.98/1797.56 c nodes (total) : 1590
1796.98/1797.56 c nodes left : 1009
1796.98/1797.56 c max depth : 37
1796.98/1797.56 c max depth (total): 37
1796.98/1797.56 c backtracks : 587 (36.9%)
1796.98/1797.56 c delayed cutoffs : 192
1796.98/1797.56 c repropagations : 416 (93564 domain reductions, 166 cutoffs)
1796.98/1797.56 c avg switch length: 5.33
1796.98/1797.56 c switching time : 1.20
1796.98/1797.56 c Solution :
1796.98/1797.56 c Solutions found : 0 (0 improvements)
1796.98/1797.56 c Primal Bound : -
1796.98/1797.56 c Dual Bound : +3.08810090803326e+03
1796.98/1797.56 c Gap : infinite
1796.98/1797.56 c Root Dual Bound : +3.07201485726424e+03
1797.18/1797.70 c Time complete: 1797.19.