0.00/0.00 c SCIP version 1.2.1.3 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.4.2]
0.00/0.00 c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c user parameter file <scip.set> not found - using default parameters
0.00/0.00 c reading problem <HOME/instance-2703434-1278553894.opb>
0.19/0.23 c original problem has 6352 variables (6352 bin, 0 int, 0 impl, 0 cont) and 13473 constraints
0.19/0.23 c problem read
0.19/0.23 c presolving settings loaded
0.29/0.33 c presolving:
0.39/0.41 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.46 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.48 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.48 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.49 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.49/0.50 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.49/0.50 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.51 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.52 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.53 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.55 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.56 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.56 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.57 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.57 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.49/0.58 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.49/0.59 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.49/0.59 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.60 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.60 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.61 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.61 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.62 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.62 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.63 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.63 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.64 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.59/0.65 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.59/0.65 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.59/0.66 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.59/0.66 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.59/0.67 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.59/0.67 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.59/0.68 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.59/0.68 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.59/0.69 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.59/0.69 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.70 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.70 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.71 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.69/0.71 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.69/0.72 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.69/0.72 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.69/0.73 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.69/0.73 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.69/0.74 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.69/0.74 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.69/0.75 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.69/0.75 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.69/0.76 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.69/0.77 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.69/0.77 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.69/0.78 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.69/0.78 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.69/0.79 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.69/0.79 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.69/0.79 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.79/0.80 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.79/0.80 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.79/0.81 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.79/0.81 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.79/0.82 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.89/0.90 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.10/1.13 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.10/1.13 c (round 69) 4264 del vars, 7421 del conss, 1041 chg bounds, 159 chg sides, 315 chg coeffs, 6106 upgd conss, 105487 impls, 0 clqs
1.29/1.36 c (round 70) 4314 del vars, 7421 del conss, 1041 chg bounds, 159 chg sides, 315 chg coeffs, 6106 upgd conss, 111775 impls, 0 clqs
1.29/1.37 c (round 71) 4314 del vars, 7471 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) 4364 del vars, 7471 del conss, 1041 chg bounds, 159 chg sides, 315 chg coeffs, 6106 upgd conss, 112843 impls, 0 clqs
1.49/1.52 c (round 73) 4364 del vars, 7521 del conss, 1041 chg bounds, 159 chg sides, 315 chg coeffs, 6106 upgd conss, 112843 impls, 0 clqs
1.59/1.66 c (1.4s) probing: 835/2138 (39.1%) - 1 fixings, 186 aggregations, 5637 implications, 0 bound changes
1.59/1.66 c (1.4s) probing aborted: 100/100 successive totally useless probings
1.59/1.66 c (round 74) 4401 del vars, 7521 del conss, 1041 chg bounds, 159 chg sides, 315 chg coeffs, 6106 upgd conss, 113313 impls, 0 clqs
1.59/1.67 c (round 75) 4401 del vars, 7558 del conss, 1041 chg bounds, 159 chg sides, 315 chg coeffs, 6106 upgd conss, 113313 impls, 0 clqs
1.69/1.70 c (1.5s) probing: 845/2138 (39.5%) - 1 fixings, 186 aggregations, 5637 implications, 0 bound changes
1.69/1.70 c (1.5s) probing aborted: 100/100 successive totally useless probings
1.69/1.70 c presolving (76 rounds):
1.69/1.70 c 4401 deleted vars, 7558 deleted constraints, 1041 tightened bounds, 0 added holes, 159 changed sides, 315 changed coefficients
1.69/1.70 c 113313 implications, 0 cliques
1.69/1.70 c presolved problem has 1951 variables (1951 bin, 0 int, 0 impl, 0 cont) and 5915 constraints
1.69/1.70 c 996 constraints of type <setppc>
1.69/1.70 c 4919 constraints of type <logicor>
1.69/1.70 c transformed objective value is always integral (scale: 1)
1.69/1.70 c Presolving Time: 1.41
1.69/1.70 c - non default parameters ----------------------------------------------------------------------
1.69/1.70 c # SCIP version 1.2.1.3
1.69/1.70 c
1.69/1.70 c # frequency for displaying node information lines
1.69/1.70 c # [type: int, range: [-1,2147483647], default: 100]
1.69/1.70 c display/freq = 10000
1.69/1.70 c
1.69/1.70 c # maximal time in seconds to run
1.69/1.70 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1.69/1.70 c limits/time = 1789.78
1.69/1.70 c
1.69/1.70 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1.69/1.70 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1.69/1.70 c limits/memory = 1620
1.69/1.70 c
1.69/1.70 c # default clock type (1: CPU user seconds, 2: wall clock time)
1.69/1.70 c # [type: int, range: [1,2], default: 1]
1.69/1.70 c timing/clocktype = 2
1.69/1.70 c
1.69/1.70 c # should presolving try to simplify inequalities
1.69/1.70 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.69/1.70 c constraints/linear/simplifyinequalities = TRUE
1.69/1.70 c
1.69/1.70 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
1.69/1.70 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.69/1.70 c constraints/indicator/addCouplingCons = TRUE
1.69/1.70 c
1.69/1.70 c # should presolving try to simplify knapsacks
1.69/1.70 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.69/1.70 c constraints/knapsack/simplifyinequalities = TRUE
1.69/1.70 c
1.69/1.70 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
1.69/1.70 c # [type: int, range: [-1,2147483647], default: -1]
1.69/1.70 c separating/rapidlearning/freq = 0
1.69/1.70 c
1.69/1.70 c -----------------------------------------------------------------------------------------------
1.69/1.70 c start solving
1.69/1.70 c
2.20/2.28 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
2.20/2.28 c 2.0s| 1 | 0 | 2007 | - | 21M| 0 |1245 |1951 |5915 |1951 |5913 | 0 | 0 | 0 | 2.808013e+03 | -- | Inf
5.28/5.35 c 5.1s| 1 | 0 | 6183 | - | 22M| 0 |1218 |1951 |5915 |1951 |7913 |2000 | 0 | 0 | 2.815667e+03 | -- | Inf
9.69/9.72 c 9.5s| 1 | 0 | 7833 | - | 24M| 0 |1139 |1951 |7054 |1951 |7951 |2038 | 0 | 0 | 2.841667e+03 | -- | Inf
10.68/10.77 c 10.5s| 1 | 0 | 8299 | - | 25M| 0 |1164 |1951 |7054 |1951 |7974 |2061 | 0 | 0 | 2.844667e+03 | -- | Inf
11.79/11.89 c 11.7s| 1 | 0 | 8905 | - | 26M| 0 |1188 |1951 |7054 |1951 |8003 |2090 | 0 | 0 | 2.848708e+03 | -- | Inf
13.09/13.15 c 12.9s| 1 | 0 | 9526 | - | 27M| 0 |1196 |1951 |7054 |1951 |8034 |2121 | 0 | 0 | 2.854243e+03 | -- | Inf
15.18/15.26 c 15.0s| 1 | 0 | 10646 | - | 29M| 0 |1162 |1951 |7054 |1951 |8071 |2158 | 0 | 0 | 2.858640e+03 | -- | Inf
17.58/17.68 c 17.4s| 1 | 0 | 11999 | - | 31M| 0 |1217 |1951 |7054 |1951 |8110 |2197 | 0 | 0 | 2.862641e+03 | -- | Inf
20.28/20.32 c 20.1s| 1 | 0 | 13313 | - | 32M| 0 |1182 |1951 |7054 |1951 |8153 |2240 | 0 | 0 | 2.866788e+03 | -- | Inf
22.48/22.53 c 22.3s| 1 | 0 | 14425 | - | 34M| 0 |1211 |1951 |7054 |1951 |8184 |2271 | 0 | 0 | 2.870351e+03 | -- | Inf
24.68/24.73 c 24.5s| 1 | 0 | 15590 | - | 37M| 0 |1219 |1951 |7054 |1951 |8221 |2308 | 0 | 0 | 2.874826e+03 | -- | Inf
28.27/28.35 c 28.1s| 1 | 0 | 17510 | - | 39M| 0 |1269 |1951 |7054 |1951 |8265 |2352 | 0 | 0 | 2.879269e+03 | -- | Inf
31.58/31.61 c 31.4s| 1 | 0 | 19206 | - | 40M| 0 |1292 |1951 |7054 |1951 |8304 |2391 | 0 | 0 | 2.883994e+03 | -- | Inf
35.18/35.29 c 35.1s| 1 | 0 | 21107 | - | 42M| 0 |1271 |1951 |7054 |1951 |8349 |2436 | 0 | 0 | 2.888638e+03 | -- | Inf
38.87/38.97 c 38.7s| 1 | 0 | 22988 | - | 45M| 0 |1287 |1951 |7054 |1951 |8388 |2475 | 0 | 0 | 2.892935e+03 | -- | Inf
42.78/42.81 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
42.78/42.81 c 42.6s| 1 | 0 | 24921 | - | 48M| 0 |1316 |1951 |7054 |1951 |6451 |2513 | 0 | 0 | 2.896691e+03 | -- | Inf
47.07/47.16 c 46.9s| 1 | 0 | 27488 | - | 50M| 0 |1289 |1951 |7054 |1951 |6505 |2567 | 0 | 0 | 2.902088e+03 | -- | Inf
49.57/49.67 c 49.4s| 1 | 0 | 29051 | - | 53M| 0 |1328 |1951 |7054 |1951 |6556 |2618 | 0 | 0 | 2.908591e+03 | -- | Inf
54.16/54.21 c 54.0s| 1 | 0 | 31614 | - | 56M| 0 |1329 |1951 |7054 |1951 |6588 |2650 | 0 | 0 | 2.913930e+03 | -- | Inf
58.77/58.86 c 58.6s| 1 | 0 | 34269 | - | 60M| 0 |1401 |1951 |7054 |1951 |6632 |2694 | 0 | 0 | 2.918356e+03 | -- | Inf
62.17/62.24 c 62.0s| 1 | 0 | 35844 | - | 64M| 0 |1353 |1951 |7054 |1951 |6691 |2753 | 0 | 0 | 2.924413e+03 | -- | Inf
67.08/67.16 c 66.9s| 1 | 0 | 38233 | - | 67M| 0 |1392 |1951 |7054 |1951 |6587 |2792 | 0 | 0 | 2.929059e+03 | -- | Inf
69.66/69.73 c 69.5s| 1 | 0 | 39636 | - | 68M| 0 |1399 |1951 |7054 |1951 |6623 |2828 | 0 | 0 | 2.932635e+03 | -- | Inf
72.06/72.19 c 72.0s| 1 | 0 | 41123 | - | 69M| 0 |1394 |1951 |7054 |1951 |6665 |2870 | 0 | 0 | 2.934971e+03 | -- | Inf
75.46/75.57 c 75.3s| 1 | 0 | 42951 | - | 69M| 0 |1430 |1951 |7054 |1951 |6711 |2916 | 0 | 0 | 2.940831e+03 | -- | Inf
79.96/80.03 c 79.8s| 1 | 0 | 45292 | - | 70M| 0 |1395 |1951 |7054 |1951 |6751 |2956 | 0 | 0 | 2.943459e+03 | -- | Inf
82.16/82.23 c 82.0s| 1 | 0 | 46469 | - | 70M| 0 |1449 |1951 |7054 |1951 |6788 |2993 | 0 | 0 | 2.946133e+03 | -- | Inf
90.96/91.05 c 90.8s| 1 | 0 | 50847 | - | 72M| 0 |1523 |1951 |7054 |1951 |6631 |3033 | 0 | 0 | 2.948951e+03 | -- | Inf
95.56/95.62 c 95.4s| 1 | 0 | 52660 | - | 72M| 0 |1507 |1951 |7054 |1951 |6687 |3089 | 0 | 0 | 2.956276e+03 | -- | Inf
98.86/98.98 c 98.7s| 1 | 0 | 54456 | - | 73M| 0 |1453 |1951 |7054 |1951 |6732 |3134 | 0 | 0 | 2.959153e+03 | -- | Inf
102.95/103.08 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
102.95/103.08 c 103s| 1 | 0 | 56623 | - | 74M| 0 |1465 |1951 |7054 |1951 |6772 |3174 | 0 | 0 | 2.963068e+03 | -- | Inf
107.66/107.72 c 107s| 1 | 0 | 59023 | - | 74M| 0 |1503 |1951 |7054 |1951 |6833 |3235 | 0 | 0 | 2.968866e+03 | -- | Inf
112.75/112.89 c 113s| 1 | 0 | 61792 | - | 75M| 0 |1537 |1951 |7054 |1951 |6884 |3286 | 0 | 0 | 2.973794e+03 | -- | Inf
119.44/119.55 c 119s| 1 | 0 | 65301 | - | 76M| 0 |1516 |1951 |7054 |1951 |6740 |3344 | 0 | 0 | 2.978950e+03 | -- | Inf
123.24/123.35 c 123s| 1 | 0 | 67642 | - | 77M| 0 |1517 |1951 |7054 |1951 |6778 |3382 | 0 | 0 | 2.982322e+03 | -- | Inf
126.35/126.49 c 126s| 1 | 0 | 69593 | - | 78M| 0 |1581 |1951 |7054 |1951 |6829 |3433 | 0 | 0 | 2.986548e+03 | -- | Inf
130.94/131.02 c 131s| 1 | 0 | 72430 | - | 80M| 0 |1533 |1951 |7054 |1951 |6867 |3471 | 0 | 0 | 2.990815e+03 | -- | Inf
134.15/134.22 c 134s| 1 | 0 | 74358 | - | 80M| 0 |1520 |1951 |7054 |1951 |6913 |3517 | 0 | 0 | 2.993167e+03 | -- | Inf
138.34/138.49 c 138s| 1 | 0 | 76939 | - | 82M| 0 |1565 |1951 |7054 |1951 |6959 |3563 | 0 | 0 | 2.997396e+03 | -- | Inf
142.04/142.16 c 142s| 1 | 0 | 78921 | - | 82M| 0 |1599 |1951 |7054 |1951 |6775 |3596 | 0 | 0 | 2.999848e+03 | -- | Inf
145.24/145.30 c 145s| 1 | 0 | 80387 | - | 83M| 0 |1593 |1951 |7054 |1951 |6819 |3640 | 0 | 0 | 3.004711e+03 | -- | Inf
148.03/148.11 c 148s| 1 | 0 | 82137 | - | 83M| 0 |1625 |1951 |7054 |1951 |6859 |3680 | 0 | 0 | 3.006213e+03 | -- | Inf
154.33/154.40 c 154s| 1 | 0 | 85019 | - | 83M| 0 |1579 |1951 |7054 |1951 |6910 |3731 | 0 | 0 | 3.010993e+03 | -- | Inf
157.44/157.56 c 157s| 1 | 0 | 87035 | - | 85M| 0 |1546 |1951 |7054 |1951 |6949 |3770 | 0 | 0 | 3.015659e+03 | -- | Inf
160.63/160.70 c 160s| 1 | 0 | 88786 | - | 86M| 0 |1610 |1951 |7054 |1951 |6985 |3806 | 0 | 0 | 3.019552e+03 | -- | Inf
162.93/163.00 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
162.93/163.00 c 163s| 1 | 0 | 90129 | - | 86M| 0 |1601 |1951 |7054 |1951 |6757 |3843 | 0 | 0 | 3.022406e+03 | -- | Inf
165.94/166.05 c 166s| 1 | 0 | 92263 | - | 87M| 0 |1558 |1951 |7054 |1951 |6793 |3879 | 0 | 0 | 3.025456e+03 | -- | Inf
168.93/169.05 c 169s| 1 | 0 | 94177 | - | 88M| 0 |1569 |1951 |7054 |1951 |6841 |3927 | 0 | 0 | 3.028250e+03 | -- | Inf
172.33/172.47 c 172s| 1 | 0 | 96584 | - | 89M| 0 |1615 |1951 |7054 |1951 |6885 |3971 | 0 | 0 | 3.032520e+03 | -- | Inf
178.53/178.61 c 178s| 1 | 0 | 99819 | - | 89M| 0 |1640 |1951 |7054 |1951 |6932 |4018 | 0 | 0 | 3.035258e+03 | -- | Inf
186.43/186.57 c 186s| 1 | 0 |103822 | - | 89M| 0 |1636 |1951 |7054 |1951 |6979 |4065 | 0 | 0 | 3.040256e+03 | -- | Inf
191.63/191.73 c 192s| 1 | 0 |106328 | - | 90M| 0 |1682 |1951 |7054 |1951 |6829 |4117 | 0 | 0 | 3.042602e+03 | -- | Inf
195.12/195.29 c 195s| 1 | 0 |108721 | - | 91M| 0 |1584 |1951 |7054 |1951 |6863 |4151 | 0 | 0 | 3.045146e+03 | -- | Inf
198.83/198.90 c 199s| 1 | 0 |110707 | - | 92M| 0 |1606 |1951 |7054 |1951 |6901 |4189 | 0 | 0 | 3.047067e+03 | -- | Inf
202.82/202.90 c 203s| 1 | 0 |112670 | - | 92M| 0 |1649 |1951 |7054 |1951 |6945 |4233 | 0 | 0 | 3.047920e+03 | -- | Inf
206.63/206.71 c 206s| 1 | 0 |114543 | - | 92M| 0 |1670 |1951 |7054 |1951 |6989 |4277 | 0 | 0 | 3.050277e+03 | -- | Inf
210.12/210.26 c 210s| 1 | 0 |115602 | - | 92M| 0 |1663 |1951 |7054 |1951 |7033 |4321 | 0 | 0 | 3.053429e+03 | -- | Inf
213.42/213.57 c 213s| 1 | 0 |117831 | - | 93M| 0 |1640 |1951 |7054 |1951 |6856 |4355 | 0 | 0 | 3.056494e+03 | -- | Inf
216.12/216.24 c 216s| 1 | 0 |119520 | - | 94M| 0 |1642 |1951 |7054 |1951 |6885 |4384 | 0 | 0 | 3.059669e+03 | -- | Inf
217.91/218.01 c 218s| 1 | 0 |120464 | - | 95M| 0 |1676 |1951 |7054 |1951 |6918 |4417 | 0 | 0 | 3.060516e+03 | -- | Inf
221.82/221.90 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
221.82/221.90 c 222s| 1 | 0 |121963 | - | 95M| 0 |1686 |1951 |7054 |1951 |6943 |4442 | 0 | 0 | 3.061487e+03 | -- | Inf
226.53/226.69 c 226s| 1 | 0 |124552 | - | 95M| 0 |1680 |1951 |7054 |1951 |6968 |4467 | 0 | 0 | 3.062766e+03 | -- | Inf
229.32/229.44 c 229s| 1 | 0 |125424 | - | 95M| 0 |1686 |1951 |7054 |1951 |6990 |4489 | 0 | 0 | 3.063946e+03 | -- | Inf
232.82/232.98 c 233s| 1 | 0 |126782 | - | 96M| 0 |1705 |1951 |7054 |1951 |6802 |4520 | 0 | 0 | 3.065164e+03 | -- | Inf
236.62/236.71 c 236s| 1 | 0 |128321 | - | 96M| 0 |1658 |1951 |7054 |1951 |6831 |4549 | 0 | 0 | 3.068520e+03 | -- | Inf
238.21/238.38 c 238s| 1 | 0 |129127 | - | 97M| 0 |1664 |1951 |7054 |1951 |6856 |4574 | 0 | 0 | 3.069183e+03 | -- | Inf
240.52/240.64 c 240s| 1 | 0 |130232 | - | 97M| 0 |1655 |1951 |7054 |1951 |6877 |4595 | 0 | 0 | 3.071279e+03 | -- | Inf
243.61/243.79 c 244s| 1 | 0 |131437 | - | 97M| 0 |1651 |1951 |7054 |1951 |6907 |4625 | 0 | 0 | 3.073433e+03 | -- | Inf
246.61/246.74 c 247s| 1 | 0 |132767 | - | 98M| 0 |1675 |1951 |7054 |1951 |6933 |4651 | 0 | 0 | 3.074496e+03 | -- | Inf
249.40/249.51 c 249s| 1 | 0 |133775 | - | 98M| 0 |1680 |1951 |7054 |1951 |6754 |4690 | 0 | 0 | 3.075599e+03 | -- | Inf
251.31/251.48 c 251s| 1 | 0 |134940 | - | 98M| 0 |1680 |1951 |7054 |1951 |6785 |4721 | 0 | 0 | 3.076819e+03 | -- | Inf
253.91/254.04 c 254s| 1 | 0 |135974 | - | 99M| 0 |1675 |1951 |7054 |1951 |6810 |4746 | 0 | 0 | 3.077392e+03 | -- | Inf
256.81/256.91 c 257s| 1 | 0 |137081 | - | 99M| 0 |1681 |1951 |7054 |1951 |6848 |4784 | 0 | 0 | 3.078263e+03 | -- | Inf
259.10/259.27 c 259s| 1 | 0 |138524 | - | 100M| 0 |1651 |1951 |7054 |1951 |6877 |4813 | 0 | 0 | 3.079495e+03 | -- | Inf
262.60/262.79 c 263s| 1 | 0 |140388 | - | 100M| 0 |1680 |1951 |7054 |1951 |6919 |4855 | 0 | 0 | 3.082040e+03 | -- | Inf
265.80/265.92 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
265.80/265.92 c 266s| 1 | 0 |141681 | - | 100M| 0 |1646 |1951 |7054 |1951 |6797 |4885 | 0 | 0 | 3.083309e+03 | -- | Inf
268.01/268.18 c 268s| 1 | 0 |142865 | - | 101M| 0 |1686 |1951 |7054 |1951 |6820 |4908 | 0 | 0 | 3.084368e+03 | -- | Inf
271.10/271.23 c 271s| 1 | 0 |143944 | - | 101M| 0 |1700 |1951 |7054 |1951 |6833 |4921 | 0 | 0 | 3.085792e+03 | -- | Inf
273.81/273.95 c 274s| 1 | 0 |144857 | - | 101M| 0 |1684 |1951 |7054 |1951 |6856 |4944 | 0 | 0 | 3.086092e+03 | -- | Inf
277.50/277.67 c 277s| 1 | 0 |146352 | - | 101M| 0 |1692 |1951 |7054 |1951 |6868 |4956 | 0 | 0 | 3.086766e+03 | -- | Inf
280.70/280.81 c 281s| 1 | 0 |147420 | - | 101M| 0 |1683 |1951 |7054 |1951 |6886 |4974 | 0 | 0 | 3.087085e+03 | -- | Inf
284.00/284.17 c 284s| 1 | 0 |148849 | - | 102M| 0 |1676 |1951 |7054 |1951 |6744 |4994 | 0 | 0 | 3.087679e+03 | -- | Inf
286.40/286.54 c 286s| 1 | 0 |150126 | - | 103M| 0 |1668 |1951 |7054 |1951 |6762 |5012 | 0 | 0 | 3.088069e+03 | -- | Inf
290.69/290.82 c 291s| 1 | 0 |152011 | - | 103M| 0 |1670 |1951 |7054 |1951 |6785 |5035 | 0 | 0 | 3.089519e+03 | -- | Inf
293.40/293.60 c 293s| 1 | 0 |153059 | - | 103M| 0 |1641 |1951 |7054 |1951 |6811 |5061 | 0 | 0 | 3.090616e+03 | -- | Inf
296.29/296.43 c 296s| 1 | 0 |154343 | - | 103M| 0 |1661 |1951 |7054 |1951 |6833 |5083 | 0 | 0 | 3.091568e+03 | -- | Inf
298.89/299.01 c 299s| 1 | 0 |155180 | - | 103M| 0 |1675 |1951 |7054 |1951 |6848 |5098 | 0 | 0 | 3.092037e+03 | -- | Inf
301.10/301.23 c 301s| 1 | 0 |155674 | - | 103M| 0 |1650 |1951 |7054 |1951 |6703 |5112 | 0 | 0 | 3.092151e+03 | -- | Inf
303.40/303.59 c 303s| 1 | 0 |156457 | - | 104M| 0 |1666 |1951 |7054 |1951 |6717 |5126 | 0 | 0 | 3.092502e+03 | -- | Inf
306.19/306.39 c 306s| 1 | 0 |157377 | - | 104M| 0 |1682 |1951 |7054 |1951 |6733 |5142 | 0 | 0 | 3.093335e+03 | -- | Inf
308.69/308.80 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
308.69/308.80 c 309s| 1 | 0 |158044 | - | 104M| 0 |1673 |1951 |7054 |1951 |6772 |5181 | 0 | 0 | 3.093966e+03 | -- | Inf
310.69/310.80 c 311s| 1 | 0 |158873 | - | 105M| 0 |1668 |1951 |7054 |1951 |6793 |5202 | 0 | 0 | 3.094733e+03 | -- | Inf
313.88/314.01 c 314s| 1 | 0 |160081 | - | 105M| 0 |1661 |1951 |7054 |1951 |6812 |5221 | 0 | 0 | 3.096784e+03 | -- | Inf
316.09/316.25 c 316s| 1 | 0 |160836 | - | 105M| 0 |1644 |1951 |7054 |1951 |6738 |5237 | 0 | 0 | 3.098194e+03 | -- | Inf
318.58/318.70 c 318s| 1 | 0 |161382 | - | 106M| 0 |1639 |1951 |7054 |1951 |6761 |5260 | 0 | 0 | 3.099763e+03 | -- | Inf
321.39/321.56 c 321s| 1 | 0 |162543 | - | 106M| 0 |1655 |1951 |7054 |1951 |6786 |5285 | 0 | 0 | 3.100583e+03 | -- | Inf
323.09/323.24 c 323s| 1 | 0 |163333 | - | 106M| 0 |1665 |1951 |7054 |1951 |6812 |5311 | 0 | 0 | 3.101916e+03 | -- | Inf
325.88/326.05 c 326s| 1 | 0 |164295 | - | 107M| 0 |1654 |1951 |7054 |1951 |6830 |5329 | 0 | 0 | 3.103437e+03 | -- | Inf
328.09/328.23 c 328s| 1 | 0 |164775 | - | 107M| 0 |1666 |1951 |7054 |1951 |6838 |5337 | 0 | 0 | 3.103733e+03 | -- | Inf
330.68/330.83 c 331s| 1 | 0 |165780 | - | 107M| 0 |1656 |1951 |7054 |1951 |6755 |5353 | 0 | 0 | 3.105360e+03 | -- | Inf
332.18/332.34 c 332s| 1 | 0 |166461 | - | 107M| 0 |1659 |1951 |7054 |1951 |6776 |5374 | 0 | 0 | 3.106163e+03 | -- | Inf
333.88/334.02 c 334s| 1 | 0 |166786 | - | 108M| 0 |1656 |1951 |7054 |1951 |6794 |5392 | 0 | 0 | 3.106911e+03 | -- | Inf
335.78/335.95 c 336s| 1 | 0 |167089 | - | 108M| 0 |1669 |1951 |7054 |1951 |6808 |5406 | 0 | 0 | 3.107158e+03 | -- | Inf
338.18/338.35 c 338s| 1 | 0 |167628 | - | 108M| 0 |1634 |1951 |7054 |1951 |6816 |5414 | 0 | 0 | 3.107545e+03 | -- | Inf
339.98/340.18 c 340s| 1 | 0 |168314 | - | 107M| 0 |1637 |1951 |7054 |1951 |6838 |5436 | 0 | 0 | 3.108159e+03 | -- | Inf
342.38/342.53 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
342.38/342.53 c 342s| 1 | 0 |169066 | - | 107M| 0 |1651 |1951 |7054 |1951 |6714 |5455 | 0 | 0 | 3.109384e+03 | -- | Inf
344.88/345.00 c 345s| 1 | 0 |170267 | - | 106M| 0 |1679 |1951 |7054 |1951 |6728 |5469 | 0 | 0 | 3.110867e+03 | -- | Inf
346.78/346.98 c 347s| 1 | 0 |170668 | - | 104M| 0 |1648 |1951 |7054 |1951 |6745 |5486 | 0 | 0 | 3.111556e+03 | -- | Inf
349.07/349.22 c 349s| 1 | 0 |171280 | - | 103M| 0 |1660 |1951 |7054 |1951 |6756 |5497 | 0 | 0 | 3.112170e+03 | -- | Inf
350.98/351.19 c 351s| 1 | 0 |171607 | - | 102M| 0 |1635 |1951 |7054 |1951 |6770 |5511 | 0 | 0 | 3.112335e+03 | -- | Inf
352.98/353.16 c 353s| 1 | 0 |172334 | - | 101M| 0 |1645 |1951 |7054 |1951 |6779 |5520 | 0 | 0 | 3.112562e+03 | -- | Inf
355.08/355.24 c 355s| 1 | 0 |172712 | - | 99M| 0 |1647 |1951 |7054 |1951 |6702 |5529 | 0 | 0 | 3.112870e+03 | -- | Inf
356.87/357.05 c 357s| 1 | 0 |172843 | - | 97M| 0 |1663 |1951 |7054 |1951 |6708 |5535 | 0 | 0 | 3.112927e+03 | -- | Inf
358.77/358.96 c 359s| 1 | 0 |172981 | - | 96M| 0 |1645 |1951 |7054 |1951 |6712 |5539 | 0 | 0 | 3.112976e+03 | -- | Inf
360.59/360.74 c 361s| 1 | 0 |173094 | - | 94M| 0 |1653 |1951 |7054 |1951 |6718 |5545 | 0 | 0 | 3.112997e+03 | -- | Inf
362.37/362.57 c 362s| 1 | 0 |173097 | - | 92M| 0 |1653 |1951 |7054 |1951 |6720 |5547 | 0 | 0 | 3.112997e+03 | -- | Inf
364.27/364.41 c 364s| 1 | 0 |173101 | - | 88M| 0 |1654 |1951 |7054 |1951 |6721 |5548 | 0 | 0 | 3.112997e+03 | -- | Inf
366.08/366.28 c 366s| 1 | 0 |173103 | - | 86M| 0 |1654 |1951 |7054 |1951 |6623 |5549 | 0 | 0 | 3.112997e+03 | -- | Inf
367.88/368.08 c 368s| 1 | 0 |173105 | - | 83M| 0 |1654 |1951 |7054 |1951 |6624 |5550 | 0 | 0 | 3.112997e+03 | -- | Inf
369.78/369.92 c 370s| 1 | 0 |173118 | - | 80M| 0 |1654 |1951 |7054 |1951 |6625 |5551 | 0 | 0 | 3.112997e+03 | -- | Inf
373.77/373.94 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
373.77/373.94 c 374s| 1 | 2 |173118 | - | 80M| 0 |1654 |1951 |7054 |1951 |6625 |5551 | 0 | 14 | 3.112997e+03 | -- | Inf
1789.24/1790.02 c
1789.24/1790.02 c SCIP Status : solving was interrupted [time limit reached]
1789.24/1790.02 c Solving Time (sec) : 1789.79
1789.24/1790.02 c Solving Nodes : 959
1789.24/1790.02 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1789.24/1790.02 c Dual Bound : +3.12858341094677e+03
1789.24/1790.02 c Gap : infinite
1789.24/1790.02 s UNKNOWN
1789.24/1790.02 c SCIP Status : solving was interrupted [time limit reached]
1789.24/1790.02 c Solving Time : 1789.79
1789.24/1790.02 c Original Problem :
1789.24/1790.02 c Problem name : HOME/instance-2703434-1278553894.opb
1789.24/1790.02 c Variables : 6352 (6352 binary, 0 integer, 0 implicit integer, 0 continuous)
1789.24/1790.02 c Constraints : 13473 initial, 13473 maximal
1789.24/1790.02 c Presolved Problem :
1789.24/1790.02 c Problem name : t_HOME/instance-2703434-1278553894.opb
1789.24/1790.02 c Variables : 1951 (1951 binary, 0 integer, 0 implicit integer, 0 continuous)
1789.24/1790.02 c Constraints : 5915 initial, 7541 maximal
1789.24/1790.02 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1789.24/1790.02 c trivial : 0.04 40 0 0 0 0 0 0 0
1789.24/1790.02 c dualfix : 0.02 0 0 0 0 0 0 0 0
1789.24/1790.02 c boundshift : 0.00 0 0 0 0 0 0 0 0
1789.24/1790.02 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1789.24/1790.02 c implics : 0.08 0 3128 0 0 0 0 0 0
1789.24/1790.02 c probing : 0.63 1 186 0 0 0 0 0 0
1789.24/1790.02 c setppc : 0.04 0 0 0 0 0 189 0 0
1789.24/1790.02 c linear : 0.35 1001 45 0 1041 0 7367 159 315
1789.24/1790.02 c logicor : 0.13 0 0 0 0 0 2 0 0
1789.24/1790.02 c root node : - 0 - - 0 - - - -
1789.24/1790.02 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1789.24/1790.02 c integral : 0 0 0 943 0 3 1 0 0 1878
1789.24/1790.02 c setppc : 996 119 24791 0 1 66 3606 0 0 0
1789.24/1790.02 c linear : 0+ 118 21678 0 0 0 2 629 0 0
1789.24/1790.02 c logicor : 4919+ 119 18262 0 1 95 6839 0 0 0
1789.24/1790.02 c countsols : 0 0 0 0 1 0 0 0 0 0
1789.24/1790.02 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1789.24/1790.02 c integral : 476.42 0.00 0.00 476.42 0.00
1789.24/1790.02 c setppc : 2.09 0.03 2.06 0.00 0.00
1789.24/1790.02 c linear : 1.70 0.20 1.50 0.00 0.00
1789.24/1790.02 c logicor : 0.80 0.11 0.69 0.00 0.00
1789.24/1790.02 c countsols : 0.00 0.00 0.00 0.00 0.00
1789.24/1790.02 c Propagators : Time Calls Cutoffs DomReds
1789.24/1790.02 c vbounds : 0.02 2 0 0
1789.24/1790.02 c rootredcost : 0.02 0 0 0
1789.24/1790.02 c pseudoobj : 1.63 21904 0 0
1789.24/1790.02 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1789.24/1790.02 c propagation : 0.01 160 158 362 13.1 45 4.6 -
1789.24/1790.02 c infeasible LP : 0.14 91 91 492 32.0 12 3.9 0
1789.24/1790.02 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1789.24/1790.02 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1789.24/1790.02 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1789.24/1790.02 c applied globally : - - - 699 20.0 - - -
1789.24/1790.02 c applied locally : - - - 0 0.0 - - -
1789.24/1790.02 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1789.24/1790.02 c cut pool : 3.37 118 - - 4716 - (maximal pool size: 29958)
1789.24/1790.02 c redcost : 0.11 1061 0 0 0 0
1789.24/1790.02 c impliedbounds : 0.17 119 0 0 4126 0
1789.24/1790.02 c intobj : 0.00 0 0 0 0 0
1789.24/1790.02 c cgmip : 0.00 0 0 0 0 0
1789.24/1790.02 c gomory : 122.29 118 0 0 48852 0
1789.24/1790.02 c strongcg : 4.07 20 0 0 10000 0
1789.24/1790.02 c cmir : 0.85 10 0 0 0 0
1789.24/1790.02 c flowcover : 0.82 10 0 0 0 0
1789.24/1790.02 c clique : 0.21 118 0 0 28 0
1789.24/1790.02 c zerohalf : 0.00 0 0 0 0 0
1789.24/1790.02 c mcf : 0.01 1 0 0 0 0
1789.24/1790.02 c rapidlearning : 2.11 1 0 0 0 1139
1789.24/1790.02 c Pricers : Time Calls Vars
1789.24/1790.02 c problem variables: 0.00 0 0
1789.24/1790.02 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1789.24/1790.02 c relpscost : 476.42 943 3 1 0 0 1878
1789.24/1790.02 c pscost : 0.00 0 0 0 0 0 0
1789.24/1790.02 c inference : 0.00 1 0 0 0 0 2
1789.24/1790.02 c mostinf : 0.00 0 0 0 0 0 0
1789.24/1790.02 c leastinf : 0.00 0 0 0 0 0 0
1789.24/1790.02 c fullstrong : 0.00 0 0 0 0 0 0
1789.24/1790.02 c allfullstrong : 0.00 0 0 0 0 0 0
1789.24/1790.02 c random : 0.00 0 0 0 0 0 0
1789.24/1790.02 c Primal Heuristics : Time Calls Found
1789.24/1790.02 c LP solutions : 0.00 - 0
1789.24/1790.02 c pseudo solutions : 0.00 - 0
1789.24/1790.02 c oneopt : 0.00 0 0
1789.24/1790.02 c crossover : 0.00 0 0
1789.24/1790.02 c trivial : 0.02 2 0
1789.24/1790.02 c simplerounding : 0.00 0 0
1789.24/1790.02 c zirounding : 0.89 942 0
1789.24/1790.02 c rounding : 0.92 410 0
1789.24/1790.02 c shifting : 2.69 173 0
1789.24/1790.02 c intshifting : 0.00 0 0
1789.24/1790.02 c twoopt : 0.00 0 0
1789.24/1790.02 c fixandinfer : 0.00 0 0
1789.24/1790.02 c feaspump : 35.67 4 0
1789.24/1790.02 c coefdiving : 69.26 17 0
1789.24/1790.02 c pscostdiving : 57.38 16 0
1789.24/1790.02 c fracdiving : 69.93 17 0
1789.24/1790.02 c veclendiving : 58.75 13 0
1789.24/1790.02 c intdiving : 0.00 0 0
1789.24/1790.02 c actconsdiving : 0.00 0 0
1789.24/1790.02 c objpscostdiving : 77.67 1 0
1789.24/1790.02 c rootsoldiving : 48.82 3 0
1789.24/1790.02 c linesearchdiving : 65.26 21 0
1789.24/1790.02 c guideddiving : 0.00 0 0
1789.24/1790.02 c octane : 0.00 0 0
1789.24/1790.02 c rens : 0.01 0 0
1789.24/1790.02 c rins : 0.00 0 0
1789.24/1790.02 c localbranching : 0.00 0 0
1789.24/1790.02 c mutation : 0.00 0 0
1789.24/1790.02 c dins : 0.00 0 0
1789.24/1790.02 c undercover : 0.00 0 0
1789.24/1790.02 c nlp : 0.00 0 0
1789.24/1790.02 c trysol : 0.00 0 0
1789.24/1790.02 c LP : Time Calls Iterations Iter/call Iter/sec
1789.24/1790.02 c primal LP : 0.21 0 0 0.00 0.00
1789.24/1790.02 c dual LP : 682.41 1063 657612 618.64 963.67
1789.24/1790.02 c lex dual LP : 0.00 0 0 0.00 -
1789.24/1790.02 c barrier LP : 0.00 0 0 0.00 -
1789.24/1790.02 c diving/probing LP: 454.28 8202 420059 51.21 924.67
1789.24/1790.02 c strong branching : 475.47 2020 434749 215.22 914.36
1789.24/1790.02 c (at root node) : - 14 3445 246.07 -
1789.24/1790.02 c conflict analysis: 0.00 0 0 0.00 -
1789.24/1790.02 c B&B Tree :
1789.24/1790.02 c number of runs : 1
1789.24/1790.02 c nodes : 959
1789.24/1790.02 c nodes (total) : 959
1789.24/1790.02 c nodes left : 912
1789.24/1790.02 c max depth : 25
1789.24/1790.02 c max depth (total): 25
1789.24/1790.02 c backtracks : 453 (47.2%)
1789.24/1790.02 c delayed cutoffs : 10
1789.24/1790.02 c repropagations : 39 (296 domain reductions, 2 cutoffs)
1789.24/1790.02 c avg switch length: 7.60
1789.24/1790.02 c switching time : 0.82
1789.24/1790.02 c Solution :
1789.24/1790.02 c Solutions found : 0 (0 improvements)
1789.24/1790.02 c Primal Bound : -
1789.24/1790.02 c Dual Bound : +3.12858341094677e+03
1789.24/1790.02 c Gap : infinite
1789.24/1790.02 c Root Dual Bound : +3.11299744657050e+03
1789.24/1790.02 c Root Iterations : 173118
1789.34/1790.18 c Time complete: 1789.42.