0.00/0.00 c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.4.2] [Expressions interpreter: NONE]
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-2666853-1276429879.opb>
0.19/0.27 c original problem has 6352 variables (6352 bin, 0 int, 0 impl, 0 cont) and 13473 constraints
0.19/0.27 c problem read
0.19/0.27 c presolving settings loaded
0.29/0.37 c presolving:
0.39/0.47 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.49/0.53 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.49/0.55 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.49/0.57 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.49/0.58 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.59 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.59/0.60 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.59/0.62 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.59/0.63 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.59/0.64 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.59/0.65 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.59/0.66 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.59/0.67 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.59/0.69 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.69/0.70 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.69/0.71 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.69/0.72 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.69/0.73 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.69/0.74 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.69/0.75 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.69/0.76 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.69/0.78 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.69/0.79 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.79/0.80 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.79/0.81 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.79/0.82 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.79/0.83 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.79/0.84 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.79/0.85 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.79/0.86 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.79/0.87 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.79/0.88 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.79/0.89 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.89/0.91 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.89/0.92 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.89/0.93 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.89/0.94 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.89/0.95 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.89/0.96 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.89/0.97 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.89/0.98 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.89/0.99 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
1.00/1.00 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
1.00/1.01 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
1.00/1.02 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
1.00/1.03 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
1.00/1.04 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
1.00/1.05 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
1.00/1.06 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
1.00/1.07 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
1.00/1.08 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
1.00/1.09 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
1.00/1.10 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
1.10/1.11 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
1.10/1.12 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
1.10/1.13 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
1.10/1.14 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
1.10/1.15 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
1.10/1.16 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
1.10/1.17 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
1.10/1.18 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
1.10/1.18 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
1.10/1.19 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
1.19/1.20 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
1.19/1.21 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
1.19/1.22 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.29/1.32 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.49/1.52 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.49/1.53 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.49/1.56 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.69/1.77 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.79/1.80 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.89/1.93 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.89/1.97 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.99/2.08 c (1.4s) probing: 835/2138 (39.1%) - 1 fixings, 186 aggregations, 5652 implications, 0 bound changes
1.99/2.08 c (1.4s) probing aborted: 100/100 successive totally useless probings
1.99/2.08 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
2.09/2.11 c (1.5s) probing: 845/2138 (39.5%) - 1 fixings, 186 aggregations, 5652 implications, 0 bound changes
2.09/2.11 c (1.5s) probing aborted: 100/100 successive totally useless probings
2.09/2.11 c presolving (76 rounds):
2.09/2.11 c 4401 deleted vars, 7381 deleted constraints, 1041 tightened bounds, 0 added holes, 159 changed sides, 315 changed coefficients
2.09/2.11 c 113305 implications, 0 cliques
2.09/2.11 c presolved problem has 1951 variables (1951 bin, 0 int, 0 impl, 0 cont) and 6092 constraints
2.09/2.11 c 6092 constraints of type <logicor>
2.09/2.11 c transformed objective value is always integral (scale: 1)
2.09/2.11 c Presolving Time: 1.43
2.09/2.11 c - non default parameters ----------------------------------------------------------------------
2.09/2.11 c # SCIP version 1.2.1.2
2.09/2.11 c
2.09/2.11 c # maximal number of intermediate conflict constraints generated in conflict graph (-1: use every intermediate constraint)
2.09/2.11 c # [type: int, range: [-1,2147483647], default: -1]
2.09/2.11 c conflict/interconss = 0
2.09/2.11 c
2.09/2.11 c # should binary conflicts be preferred?
2.09/2.11 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
2.09/2.11 c conflict/preferbinary = TRUE
2.09/2.11 c
2.09/2.11 c # maximum age an unnecessary constraint can reach before it is deleted (0: dynamic, -1: keep all constraints)
2.09/2.11 c # [type: int, range: [-1,2147483647], default: 0]
2.09/2.11 c constraints/agelimit = 1
2.09/2.11 c
2.09/2.11 c # should enforcement of pseudo solution be disabled?
2.09/2.11 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
2.09/2.11 c constraints/disableenfops = TRUE
2.09/2.11 c
2.09/2.11 c # frequency for displaying node information lines
2.09/2.11 c # [type: int, range: [-1,2147483647], default: 100]
2.09/2.11 c display/freq = 10000
2.09/2.11 c
2.09/2.11 c # maximal time in seconds to run
2.09/2.11 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
2.09/2.11 c limits/time = 1799.74
2.09/2.11 c
2.09/2.11 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
2.09/2.11 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
2.09/2.11 c limits/memory = 1620
2.09/2.11 c
2.09/2.11 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
2.09/2.11 c # [type: int, range: [-1,2147483647], default: 1]
2.09/2.11 c lp/solvefreq = 0
2.09/2.11 c
2.09/2.11 c # LP pricing strategy ('l'pi default, 'a'uto, 'f'ull pricing, 'p'artial, 's'teepest edge pricing, 'q'uickstart steepest edge pricing, 'd'evex pricing)
2.09/2.11 c # [type: char, range: {lafpsqd}, default: l]
2.09/2.11 c lp/pricing = a
2.09/2.11 c
2.09/2.11 c # should presolving try to simplify inequalities
2.09/2.11 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
2.09/2.11 c constraints/linear/simplifyinequalities = TRUE
2.09/2.11 c
2.09/2.11 c # should presolving try to simplify knapsacks
2.09/2.11 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
2.09/2.11 c constraints/knapsack/simplifyinequalities = TRUE
2.09/2.11 c
2.09/2.11 c # priority of node selection rule <dfs> in standard mode
2.09/2.11 c # [type: int, range: [-536870912,536870911], default: 0]
2.09/2.11 c nodeselection/dfs/stdpriority = 1000000
2.09/2.11 c
2.09/2.11 c -----------------------------------------------------------------------------------------------
2.09/2.11 c start solving
2.09/2.11 c
2.79/2.81 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
2.79/2.81 c 2.1s| 1 | 0 | 2051 | - | 22M| 0 |1246 |1951 |6092 |1951 |5905 | 0 | 0 | 0 | 2.808013e+03 | -- | Inf
5.98/6.04 c 5.3s| 1 | 0 | 7169 | - | 23M| 0 |1230 |1951 |6092 |1951 |7905 |2000 | 0 | 0 | 2.815667e+03 | -- | Inf
7.98/8.07 c 7.3s| 1 | 0 | 8552 | - | 24M| 0 |1138 |1951 |6092 |1951 |7932 |2027 | 0 | 0 | 2.840662e+03 | -- | Inf
8.88/8.92 c 8.2s| 1 | 0 | 9016 | - | 25M| 0 |1161 |1951 |6092 |1951 |7959 |2054 | 0 | 0 | 2.845122e+03 | -- | Inf
10.09/10.13 c 9.4s| 1 | 0 | 9779 | - | 26M| 0 |1181 |1951 |6092 |1951 |7989 |2084 | 0 | 0 | 2.849386e+03 | -- | Inf
11.88/11.99 c 11.2s| 1 | 0 | 10738 | - | 27M| 0 |1211 |1951 |6092 |1951 |8026 |2121 | 0 | 0 | 2.853744e+03 | -- | Inf
13.79/13.84 c 13.0s| 1 | 0 | 11834 | - | 29M| 0 |1224 |1951 |6092 |1951 |8058 |2153 | 0 | 0 | 2.857439e+03 | -- | Inf
15.68/15.79 c 15.0s| 1 | 0 | 12899 | - | 30M| 0 |1252 |1951 |6092 |1951 |8093 |2188 | 0 | 0 | 2.860982e+03 | -- | Inf
17.59/17.69 c 16.9s| 1 | 0 | 13998 | - | 32M| 0 |1247 |1951 |6092 |1951 |8138 |2233 | 0 | 0 | 2.867543e+03 | -- | Inf
19.98/20.09 c 19.2s| 1 | 0 | 15404 | - | 33M| 0 |1283 |1951 |6092 |1951 |8185 |2280 | 0 | 0 | 2.870742e+03 | -- | Inf
22.48/22.57 c 21.7s| 1 | 0 | 16846 | - | 34M| 0 |1278 |1951 |6092 |1951 |8227 |2322 | 0 | 0 | 2.874725e+03 | -- | Inf
24.58/24.66 c 23.8s| 1 | 0 | 17863 | - | 36M| 0 |1308 |1951 |6092 |1951 |8281 |2376 | 0 | 0 | 2.878989e+03 | -- | Inf
27.48/27.55 c 26.6s| 1 | 0 | 19371 | - | 38M| 0 |1300 |1951 |6092 |1951 |8322 |2417 | 0 | 0 | 2.882764e+03 | -- | Inf
29.59/29.70 c 28.8s| 1 | 0 | 20527 | - | 39M| 0 |1265 |1951 |6092 |1951 |8368 |2463 | 0 | 0 | 2.886197e+03 | -- | Inf
32.58/32.60 c 31.6s| 1 | 0 | 21665 | - | 40M| 0 |1337 |1951 |6092 |1951 |6445 |2506 | 0 | 0 | 2.889519e+03 | -- | Inf
35.78/35.80 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
35.78/35.80 c 34.8s| 1 | 0 | 22888 | - | 42M| 0 |1321 |1951 |6092 |1951 |6498 |2559 | 0 | 0 | 2.893324e+03 | -- | Inf
38.38/38.48 c 37.4s| 1 | 0 | 23920 | - | 43M| 0 |1330 |1951 |6092 |1951 |6540 |2601 | 0 | 0 | 2.898232e+03 | -- | Inf
41.57/41.60 c 40.5s| 1 | 0 | 25212 | - | 45M| 0 |1353 |1951 |6092 |1951 |6579 |2640 | 0 | 0 | 2.901804e+03 | -- | Inf
47.27/47.35 c 46.2s| 1 | 0 | 27771 | - | 48M| 0 |1341 |1951 |6092 |1951 |6620 |2681 | 0 | 0 | 2.904748e+03 | -- | Inf
50.67/50.76 c 49.6s| 1 | 0 | 29319 | - | 53M| 0 |1375 |1951 |6092 |1951 |6667 |2728 | 0 | 0 | 2.913669e+03 | -- | Inf
54.16/54.21 c 53.0s| 1 | 0 | 30323 | - | 55M| 0 |1410 |1951 |6092 |1951 |6554 |2786 | 0 | 0 | 2.919393e+03 | -- | Inf
57.76/57.80 c 56.6s| 1 | 0 | 31652 | - | 56M| 0 |1391 |1951 |6092 |1951 |6609 |2841 | 0 | 0 | 2.923435e+03 | -- | Inf
60.26/60.37 c 59.1s| 1 | 0 | 32921 | - | 57M| 0 |1410 |1951 |6092 |1951 |6655 |2887 | 0 | 0 | 2.926648e+03 | -- | Inf
64.36/64.47 c 63.2s| 1 | 0 | 34680 | - | 57M| 0 |1403 |1951 |6092 |1951 |6703 |2935 | 0 | 0 | 2.930898e+03 | -- | Inf
68.06/68.15 c 66.8s| 1 | 0 | 36527 | - | 58M| 0 |1424 |1951 |6092 |1951 |6746 |2978 | 0 | 0 | 2.934679e+03 | -- | Inf
71.76/71.88 c 70.5s| 1 | 0 | 38511 | - | 59M| 0 |1446 |1951 |6092 |1951 |6780 |3012 | 0 | 0 | 2.936400e+03 | -- | Inf
77.76/77.84 c 76.4s| 1 | 0 | 41369 | - | 60M| 0 |1584 |1951 |6092 |1951 |6631 |3049 | 0 | 0 | 2.938086e+03 | -- | Inf
83.65/83.74 c 82.3s| 1 | 0 | 43061 | - | 60M| 0 |1466 |1951 |6092 |1951 |6699 |3117 | 0 | 0 | 2.950456e+03 | -- | Inf
86.86/86.97 c 85.5s| 1 | 0 | 44674 | - | 61M| 0 |1489 |1951 |6092 |1951 |6747 |3165 | 0 | 0 | 2.955447e+03 | -- | Inf
91.35/91.47 c 90.0s| 1 | 0 | 47114 | - | 62M| 0 |1511 |1951 |6092 |1951 |6791 |3209 | 0 | 0 | 2.958980e+03 | -- | Inf
97.45/97.51 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
97.45/97.51 c 96.0s| 1 | 0 | 49589 | - | 62M| 0 |1431 |1951 |6092 |1951 |6861 |3279 | 0 | 0 | 2.970728e+03 | -- | Inf
101.06/101.19 c 99.6s| 1 | 0 | 51532 | - | 63M| 0 |1487 |1951 |6092 |1951 |6914 |3332 | 0 | 0 | 2.975407e+03 | -- | Inf
104.15/104.27 c 103s| 1 | 0 | 52911 | - | 63M| 0 |1430 |1951 |6092 |1951 |6713 |3371 | 0 | 0 | 2.979732e+03 | -- | Inf
106.44/106.55 c 105s| 1 | 0 | 54147 | - | 64M| 0 |1446 |1951 |6092 |1951 |6750 |3408 | 0 | 0 | 2.984759e+03 | -- | Inf
109.25/109.40 c 108s| 1 | 0 | 55881 | - | 65M| 0 |1461 |1951 |6092 |1951 |6787 |3445 | 0 | 0 | 2.987862e+03 | -- | Inf
112.04/112.18 c 110s| 1 | 0 | 57604 | - | 66M| 0 |1482 |1951 |6092 |1951 |6826 |3484 | 0 | 0 | 2.990813e+03 | -- | Inf
114.74/114.80 c 113s| 1 | 0 | 59237 | - | 68M| 0 |1551 |1951 |6092 |1951 |6857 |3515 | 0 | 0 | 2.993416e+03 | -- | Inf
117.44/117.59 c 116s| 1 | 0 | 60689 | - | 68M| 0 |1484 |1951 |6092 |1951 |6891 |3549 | 0 | 0 | 2.995551e+03 | -- | Inf
121.64/121.72 c 120s| 1 | 0 | 62965 | - | 70M| 0 |1597 |1951 |6092 |1951 |6711 |3581 | 0 | 0 | 2.997662e+03 | -- | Inf
125.64/125.71 c 124s| 1 | 0 | 64776 | - | 70M| 0 |1560 |1951 |6092 |1951 |6752 |3622 | 0 | 0 | 3.002387e+03 | -- | Inf
128.43/128.59 c 127s| 1 | 0 | 65710 | - | 72M| 0 |1554 |1951 |6092 |1951 |6794 |3664 | 0 | 0 | 3.004530e+03 | -- | Inf
131.63/131.76 c 130s| 1 | 0 | 67103 | - | 72M| 0 |1621 |1951 |6092 |1951 |6823 |3693 | 0 | 0 | 3.007859e+03 | -- | Inf
135.14/135.21 c 133s| 1 | 0 | 68324 | - | 73M| 0 |1633 |1951 |6092 |1951 |6859 |3729 | 0 | 0 | 3.011503e+03 | -- | Inf
140.03/140.13 c 138s| 1 | 0 | 70042 | - | 73M| 0 |1618 |1951 |6092 |1951 |6899 |3769 | 0 | 0 | 3.015939e+03 | -- | Inf
144.73/144.89 c 143s| 1 | 0 | 71728 | - | 73M| 0 |1643 |1951 |6092 |1951 |6684 |3810 | 0 | 0 | 3.017979e+03 | -- | Inf
151.33/151.49 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
151.33/151.49 c 149s| 1 | 0 | 74366 | - | 74M| 0 |1608 |1951 |6092 |1951 |6719 |3845 | 0 | 0 | 3.021393e+03 | -- | Inf
154.83/154.94 c 153s| 1 | 0 | 75817 | - | 75M| 0 |1583 |1951 |6092 |1951 |6747 |3873 | 0 | 0 | 3.022396e+03 | -- | Inf
158.03/158.10 c 156s| 1 | 0 | 77393 | - | 75M| 0 |1671 |1951 |6092 |1951 |6779 |3905 | 0 | 0 | 3.025342e+03 | -- | Inf
162.03/162.16 c 160s| 1 | 0 | 79068 | - | 76M| 0 |1664 |1951 |6092 |1951 |6814 |3940 | 0 | 0 | 3.028884e+03 | -- | Inf
164.42/164.50 c 162s| 1 | 0 | 80633 | - | 76M| 0 |1635 |1951 |6092 |1951 |6844 |3970 | 0 | 0 | 3.031194e+03 | -- | Inf
167.42/167.57 c 165s| 1 | 0 | 82146 | - | 76M| 0 |1595 |1951 |6092 |1951 |6716 |4001 | 0 | 0 | 3.033874e+03 | -- | Inf
169.82/169.91 c 168s| 1 | 0 | 83468 | - | 77M| 0 |1661 |1951 |6092 |1951 |6757 |4042 | 0 | 0 | 3.038334e+03 | -- | Inf
173.52/173.60 c 171s| 1 | 0 | 84510 | - | 77M| 0 |1637 |1951 |6092 |1951 |6799 |4084 | 0 | 0 | 3.042291e+03 | -- | Inf
176.02/176.14 c 174s| 1 | 0 | 85735 | - | 77M| 0 |1619 |1951 |6092 |1951 |6829 |4114 | 0 | 0 | 3.044581e+03 | -- | Inf
178.52/178.65 c 176s| 1 | 0 | 86613 | - | 78M| 0 |1626 |1951 |6092 |1951 |6860 |4145 | 0 | 0 | 3.046380e+03 | -- | Inf
180.42/180.56 c 178s| 1 | 0 | 87895 | - | 78M| 0 |1640 |1951 |6092 |1951 |6890 |4175 | 0 | 0 | 3.047432e+03 | -- | Inf
182.22/182.36 c 180s| 1 | 0 | 88544 | - | 79M| 0 |1641 |1951 |6092 |1951 |6722 |4196 | 0 | 0 | 3.048485e+03 | -- | Inf
185.52/185.67 c 183s| 1 | 0 | 89471 | - | 79M| 0 |1622 |1951 |6092 |1951 |6740 |4214 | 0 | 0 | 3.049026e+03 | -- | Inf
188.32/188.50 c 186s| 1 | 0 | 89799 | - | 79M| 0 |1611 |1951 |6092 |1951 |6757 |4231 | 0 | 0 | 3.049529e+03 | -- | Inf
191.01/191.19 c 189s| 1 | 0 | 90243 | - | 79M| 0 |1620 |1951 |6092 |1951 |6767 |4241 | 0 | 0 | 3.049671e+03 | -- | Inf
194.31/194.41 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
194.31/194.41 c 192s| 1 | 0 | 90718 | - | 79M| 0 |1598 |1951 |6092 |1951 |6777 |4251 | 0 | 0 | 3.050356e+03 | -- | Inf
197.92/198.05 c 196s| 1 | 0 | 91695 | - | 80M| 0 |1628 |1951 |6092 |1951 |6800 |4274 | 0 | 0 | 3.051715e+03 | -- | Inf
200.41/200.52 c 198s| 1 | 0 | 91854 | - | 80M| 0 |1625 |1951 |6092 |1951 |6626 |4286 | 0 | 0 | 3.051747e+03 | -- | Inf
203.32/203.41 c 201s| 1 | 0 | 92383 | - | 80M| 0 |1634 |1951 |6092 |1951 |6633 |4293 | 0 | 0 | 3.051914e+03 | -- | Inf
206.41/206.51 c 204s| 1 | 0 | 93029 | - | 80M| 0 |1636 |1951 |6092 |1951 |6643 |4303 | 0 | 0 | 3.052852e+03 | -- | Inf
209.11/209.22 c 207s| 1 | 0 | 93282 | - | 80M| 0 |1628 |1951 |6092 |1951 |6646 |4306 | 0 | 0 | 3.052913e+03 | -- | Inf
211.20/211.37 c 209s| 1 | 0 | 93499 | - | 80M| 0 |1628 |1951 |6092 |1951 |6651 |4311 | 0 | 0 | 3.053077e+03 | -- | Inf
213.50/213.69 c 211s| 1 | 0 | 93775 | - | 80M| 0 |1633 |1951 |6092 |1951 |6666 |4326 | 0 | 0 | 3.053589e+03 | -- | Inf
216.00/216.13 c 214s| 1 | 0 | 94450 | - | 80M| 0 |1623 |1951 |6092 |1951 |6554 |4338 | 0 | 0 | 3.054135e+03 | -- | Inf
218.81/218.99 c 216s| 1 | 0 | 95136 | - | 81M| 0 |1608 |1951 |6092 |1951 |6567 |4351 | 0 | 0 | 3.055150e+03 | -- | Inf
221.30/221.47 c 219s| 1 | 0 | 95731 | - | 81M| 0 |1612 |1951 |6092 |1951 |6587 |4371 | 0 | 0 | 3.056729e+03 | -- | Inf
224.60/224.74 c 222s| 1 | 0 | 96365 | - | 81M| 0 |1650 |1951 |6092 |1951 |6598 |4382 | 0 | 0 | 3.057640e+03 | -- | Inf
227.80/227.91 c 225s| 1 | 0 | 97206 | - | 81M| 0 |1639 |1951 |6092 |1951 |6613 |4397 | 0 | 0 | 3.058459e+03 | -- | Inf
230.30/230.41 c 228s| 1 | 0 | 97693 | - | 81M| 0 |1629 |1951 |6092 |1951 |6623 |4407 | 0 | 0 | 3.059367e+03 | -- | Inf
232.30/232.49 c 230s| 1 | 0 | 98876 | - | 81M| 0 |1622 |1951 |6092 |1951 |6567 |4429 | 0 | 0 | 3.061063e+03 | -- | Inf
235.90/236.09 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
235.90/236.09 c 233s| 1 | 0 |100039 | - | 82M| 0 |1607 |1951 |6092 |1951 |6592 |4454 | 0 | 0 | 3.061921e+03 | -- | Inf
238.40/238.50 c 236s| 1 | 0 |100641 | - | 82M| 0 |1616 |1951 |6092 |1951 |6612 |4474 | 0 | 0 | 3.062176e+03 | -- | Inf
241.19/241.37 c 239s| 1 | 0 |101259 | - | 82M| 0 |1602 |1951 |6092 |1951 |6649 |4511 | 0 | 0 | 3.062949e+03 | -- | Inf
245.30/245.45 c 243s| 1 | 0 |102267 | - | 82M| 0 |1611 |1951 |6092 |1951 |6670 |4532 | 0 | 0 | 3.064346e+03 | -- | Inf
247.70/247.81 c 245s| 1 | 0 |103260 | - | 83M| 0 |1625 |1951 |6092 |1951 |6698 |4560 | 0 | 0 | 3.065256e+03 | -- | Inf
250.60/250.74 c 248s| 1 | 0 |104058 | - | 83M| 0 |1653 |1951 |6092 |1951 |6656 |4589 | 0 | 0 | 3.066457e+03 | -- | Inf
253.90/254.02 c 251s| 1 | 0 |105088 | - | 83M| 0 |1651 |1951 |6092 |1951 |6687 |4620 | 0 | 0 | 3.068049e+03 | -- | Inf
255.79/255.96 c 253s| 1 | 0 |105934 | - | 83M| 0 |1644 |1951 |6092 |1951 |6707 |4640 | 0 | 0 | 3.069506e+03 | -- | Inf
259.29/259.41 c 256s| 1 | 0 |106941 | - | 84M| 0 |1666 |1951 |6092 |1951 |6728 |4661 | 0 | 0 | 3.070145e+03 | -- | Inf
261.89/262.00 c 259s| 1 | 0 |107504 | - | 84M| 0 |1654 |1951 |6092 |1951 |6751 |4684 | 0 | 0 | 3.070991e+03 | -- | Inf
264.69/264.83 c 262s| 1 | 0 |108162 | - | 84M| 0 |1664 |1951 |6092 |1951 |6781 |4714 | 0 | 0 | 3.071428e+03 | -- | Inf
267.79/267.94 c 265s| 1 | 0 |109041 | - | 84M| 0 |1671 |1951 |6092 |1951 |6705 |4733 | 0 | 0 | 3.071818e+03 | -- | Inf
270.78/270.92 c 268s| 1 | 0 |109699 | - | 84M| 0 |1662 |1951 |6092 |1951 |6714 |4742 | 0 | 0 | 3.072011e+03 | -- | Inf
272.79/272.95 c 270s| 1 | 0 |109722 | - | 84M| 0 |1663 |1951 |6092 |1951 |6724 |4752 | 0 | 0 | 3.072014e+03 | -- | Inf
274.89/275.04 c 272s| 1 | 0 |109779 | - | 84M| 0 |1661 |1951 |6092 |1951 |6727 |4755 | 0 | 0 | 3.072015e+03 | -- | Inf
291.98/292.12 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
291.98/292.12 c 289s| 1 | 2 |109779 | - | 84M| 0 |1661 |1951 |6092 |1951 |6727 |4755 | 0 | 40 | 3.072015e+03 | -- | Inf
329.56/329.78 c 325s| 10000 | 44 |109779 | 0.0 | 85M| 61 | - |1951 |6124 | 0 | 0 |4755 |6563 | 40 | 3.072515e+03 | -- | Inf
365.75/365.94 c 360s| 20000 | 39 |109779 | 0.0 | 85M| 61 | - |1951 |6150 | 0 | 0 |4755 | 13k| 40 | 3.072515e+03 | -- | Inf
404.93/405.12 c 398s| 30000 | 41 |109779 | 0.0 | 85M| 61 | - |1951 |6166 | 0 | 0 |4755 | 19k| 40 | 3.072515e+03 | -- | Inf
437.92/438.17 c 430s| 40000 | 39 |109779 | 0.0 | 85M| 61 | - |1951 |6234 | 0 | 0 |4755 | 26k| 40 | 3.072515e+03 | -- | Inf
471.51/471.76 c 463s| 50000 | 39 |109779 | 0.0 | 85M| 61 | - |1951 |6429 | 0 | 0 |4755 | 33k| 40 | 3.072515e+03 | -- | Inf
502.99/503.23 c 494s| 60000 | 41 |109779 | 0.0 | 85M| 61 | - |1951 |6466 | 0 | 0 |4755 | 40k| 40 | 3.072515e+03 | -- | Inf
534.78/535.05 c 524s| 70000 | 36 |109779 | 0.0 | 85M| 61 | - |1951 |6499 | 0 | 0 |4755 | 47k| 40 | 3.072515e+03 | -- | Inf
570.77/571.00 c 559s| 80000 | 36 |109779 | 0.0 | 85M| 61 | - |1951 |6538 | 0 | 0 |4755 | 53k| 40 | 3.072515e+03 | -- | Inf
606.54/606.86 c 594s| 90000 | 42 |109779 | 0.0 | 85M| 61 | - |1951 |6563 | 0 | 0 |4755 | 60k| 40 | 3.072515e+03 | -- | Inf
639.93/640.21 c 626s|100000 | 35 |109779 | 0.0 | 85M| 61 | - |1951 |6738 | 0 | 0 |4755 | 67k| 40 | 3.072515e+03 | -- | Inf
675.32/675.61 c 660s|110000 | 41 |109779 | 0.0 | 85M| 61 | - |1951 |6898 | 0 | 0 |4755 | 74k| 40 | 3.072515e+03 | -- | Inf
714.09/714.44 c 698s|120000 | 40 |109779 | 0.0 | 85M| 61 | - |1951 |6915 | 0 | 0 |4755 | 81k| 40 | 3.072515e+03 | -- | Inf
752.27/752.64 c 735s|130000 | 38 |109779 | 0.0 | 85M| 61 | - |1951 |6927 | 0 | 0 |4755 | 88k| 40 | 3.072515e+03 | -- | Inf
789.26/789.67 c 771s|140000 | 40 |109779 | 0.0 | 85M| 61 | - |1951 |6924 | 0 | 0 |4755 | 94k| 40 | 3.072515e+03 | -- | Inf
822.65/823.09 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
822.65/823.09 c 803s|150000 | 38 |109779 | 0.0 | 85M| 61 | - |1951 |6951 | 0 | 0 |4755 | 101k| 40 | 3.072515e+03 | -- | Inf
856.54/856.91 c 836s|160000 | 38 |109779 | 0.0 | 85M| 61 | - |1951 |6901 | 0 | 0 |4755 | 108k| 40 | 3.072515e+03 | -- | Inf
887.82/888.25 c 866s|170000 | 38 |109779 | 0.0 | 85M| 61 | - |1951 |6931 | 0 | 0 |4755 | 116k| 40 | 3.072515e+03 | -- | Inf
916.32/916.77 c 894s|180000 | 37 |109779 | 0.0 | 85M| 61 | - |1951 |6936 | 0 | 0 |4755 | 123k| 40 | 3.072515e+03 | -- | Inf
945.51/945.95 c 922s|190000 | 40 |109779 | 0.0 | 85M| 61 | - |1951 |6913 | 0 | 0 |4755 | 131k| 40 | 3.072515e+03 | -- | Inf
974.29/974.75 c 950s|200000 | 38 |109779 | 0.0 | 85M| 61 | - |1951 |6915 | 0 | 0 |4755 | 139k| 40 | 3.072515e+03 | -- | Inf
1002.88/1003.39 c 978s|210000 | 38 |109779 | 0.0 | 85M| 61 | - |1951 |6950 | 0 | 0 |4755 | 146k| 40 | 3.072515e+03 | -- | Inf
1031.77/1032.25 c 1006s|220000 | 34 |109779 | 0.0 | 85M| 61 | - |1951 |6941 | 0 | 0 |4755 | 154k| 40 | 3.072515e+03 | -- | Inf
1059.86/1060.33 c 1033s|230000 | 41 |109779 | 0.0 | 85M| 61 | - |1951 |6923 | 0 | 0 |4755 | 161k| 40 | 3.072515e+03 | -- | Inf
1088.24/1088.70 c 1060s|240000 | 38 |109779 | 0.0 | 85M| 61 | - |1951 |6950 | 0 | 0 |4755 | 169k| 40 | 3.072515e+03 | -- | Inf
1117.24/1117.73 c 1088s|250000 | 37 |109779 | 0.0 | 85M| 61 | - |1951 |6933 | 0 | 0 |4755 | 176k| 40 | 3.072515e+03 | -- | Inf
1145.63/1146.16 c 1116s|260000 | 40 |109779 | 0.0 | 85M| 61 | - |1951 |6940 | 0 | 0 |4755 | 184k| 40 | 3.072515e+03 | -- | Inf
1175.92/1176.41 c 1145s|270000 | 38 |109779 | 0.0 | 85M| 61 | - |1951 |6914 | 0 | 0 |4755 | 191k| 40 | 3.072515e+03 | -- | Inf
1205.41/1205.98 c 1173s|280000 | 39 |109779 | 0.0 | 85M| 61 | - |1951 |6930 | 0 | 0 |4755 | 199k| 40 | 3.072515e+03 | -- | Inf
1234.10/1234.62 c 1201s|290000 | 40 |109779 | 0.0 | 85M| 61 | - |1951 |6926 | 0 | 0 |4755 | 206k| 40 | 3.072515e+03 | -- | Inf
1262.78/1263.36 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1262.78/1263.36 c 1229s|300000 | 38 |109779 | 0.0 | 85M| 61 | - |1951 |6947 | 0 | 0 |4755 | 214k| 40 | 3.072515e+03 | -- | Inf
1291.17/1291.79 c 1256s|310000 | 37 |109779 | 0.0 | 85M| 61 | - |1951 |6945 | 0 | 0 |4755 | 221k| 40 | 3.072515e+03 | -- | Inf
1319.76/1320.34 c 1284s|320000 | 36 |109779 | 0.0 | 85M| 61 | - |1951 |6952 | 0 | 0 |4755 | 229k| 40 | 3.072515e+03 | -- | Inf
1350.35/1350.94 c 1313s|330000 | 37 |109779 | 0.0 | 85M| 61 | - |1951 |6949 | 0 | 0 |4755 | 236k| 40 | 3.072515e+03 | -- | Inf
1378.64/1379.29 c 1341s|340000 | 38 |109779 | 0.0 | 85M| 61 | - |1951 |6933 | 0 | 0 |4755 | 244k| 40 | 3.072515e+03 | -- | Inf
1406.72/1407.30 c 1368s|350000 | 35 |109779 | 0.0 | 85M| 61 | - |1951 |6965 | 0 | 0 |4755 | 251k| 40 | 3.072515e+03 | -- | Inf
1435.93/1436.52 c 1396s|360000 | 43 |109779 | 0.0 | 85M| 61 | - |1951 |6944 | 0 | 0 |4755 | 259k| 40 | 3.072515e+03 | -- | Inf
1464.71/1465.36 c 1424s|370000 | 36 |109779 | 0.0 | 85M| 61 | - |1951 |6970 | 0 | 0 |4755 | 266k| 40 | 3.072515e+03 | -- | Inf
1493.89/1494.53 c 1452s|380000 | 39 |109779 | 0.0 | 85M| 61 | - |1951 |6903 | 0 | 0 |4755 | 274k| 40 | 3.072515e+03 | -- | Inf
1526.79/1527.47 c 1484s|390000 | 38 |109779 | 0.0 | 85M| 61 | - |1951 |6943 | 0 | 0 |4755 | 281k| 40 | 3.072515e+03 | -- | Inf
1555.37/1556.02 c 1511s|400000 | 36 |109779 | 0.0 | 85M| 61 | - |1951 |6970 | 0 | 0 |4755 | 288k| 40 | 3.072515e+03 | -- | Inf
1583.67/1584.38 c 1539s|410000 | 38 |109779 | 0.0 | 85M| 61 | - |1951 |6946 | 0 | 0 |4755 | 296k| 40 | 3.072515e+03 | -- | Inf
1612.05/1612.78 c 1566s|420000 | 34 |109779 | 0.0 | 85M| 61 | - |1951 |6956 | 0 | 0 |4755 | 303k| 40 | 3.072515e+03 | -- | Inf
1640.74/1641.43 c 1594s|430000 | 34 |109779 | 0.0 | 85M| 61 | - |1951 |6991 | 0 | 0 |4755 | 311k| 40 | 3.072515e+03 | -- | Inf
1671.53/1672.21 c 1624s|440000 | 38 |109779 | 0.0 | 85M| 61 | - |1951 |6939 | 0 | 0 |4755 | 318k| 40 | 3.072515e+03 | -- | Inf
1700.42/1701.15 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1700.42/1701.15 c 1652s|450000 | 39 |109779 | 0.0 | 85M| 61 | - |1951 |6932 | 0 | 0 |4755 | 326k| 40 | 3.072515e+03 | -- | Inf
1728.51/1729.28 c 1679s|460000 | 40 |109779 | 0.0 | 85M| 61 | - |1951 |6953 | 0 | 0 |4755 | 333k| 40 | 3.072515e+03 | -- | Inf
1757.20/1757.99 c 1707s|470000 | 39 |109779 | 0.0 | 85M| 61 | - |1951 |6951 | 0 | 0 |4755 | 341k| 40 | 3.072515e+03 | -- | Inf
1785.99/1786.73 c 1734s|480000 | 37 |109779 | 0.0 | 85M| 61 | - |1951 |6970 | 0 | 0 |4755 | 348k| 40 | 3.072515e+03 | -- | Inf
1800.00/1800.71 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.00/1800.71 c
1800.00/1800.71 c SCIP Status : solving was interrupted [user interrupt]
1800.00/1800.71 c Solving Time (sec) : 1747.82
1800.00/1800.71 c Solving Nodes : 484891
1800.00/1800.71 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1800.00/1800.71 c Dual Bound : +3.07251503129393e+03
1800.00/1800.71 c Gap : infinite
1800.00/1800.71 s UNKNOWN
1800.00/1800.71 c SCIP Status : solving was interrupted [user interrupt]
1800.00/1800.71 c Solving Time : 1747.82
1800.00/1800.71 c Original Problem :
1800.00/1800.71 c Problem name : HOME/instance-2666853-1276429879.opb
1800.00/1800.71 c Variables : 6352 (6352 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.00/1800.71 c Constraints : 13473 initial, 13473 maximal
1800.00/1800.71 c Presolved Problem :
1800.00/1800.71 c Problem name : t_HOME/instance-2666853-1276429879.opb
1800.00/1800.71 c Variables : 1951 (1951 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.00/1800.71 c Constraints : 6092 initial, 7011 maximal
1800.00/1800.71 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.00/1800.71 c trivial : 0.06 40 0 0 0 0 0 0 0
1800.00/1800.71 c dualfix : 0.05 0 0 0 0 0 0 0 0
1800.00/1800.71 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.00/1800.71 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.00/1800.71 c implics : 0.06 0 3128 0 0 0 0 0 0
1800.00/1800.71 c probing : 0.53 1 186 0 0 0 0 0 0
1800.00/1800.71 c linear : 0.41 1001 45 0 1041 0 7367 159 315
1800.00/1800.71 c logicor : 0.21 0 0 0 0 0 14 0 0
1800.00/1800.71 c root node : - 0 - - 0 - - - -
1800.00/1800.71 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.00/1800.71 c integral : 0 0 0 1 0 0 0 0 0 2
1800.00/1800.71 c logicor : 6092+ 90 8687323 0 0 329101 63400956 0 0 0
1800.00/1800.71 c countsols : 0 0 0 0 0 0 0 0 0 0
1800.00/1800.71 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.00/1800.71 c integral : 14.78 0.00 0.00 14.78 0.00
1800.00/1800.71 c logicor : 497.36 0.13 497.23 0.00 0.00
1800.00/1800.71 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.00/1800.71 c Propagators : Time Calls Cutoffs DomReds
1800.00/1800.71 c vbounds : 4.16 2 0 0
1800.00/1800.71 c rootredcost : 3.80 0 0 0
1800.00/1800.71 c pseudoobj : 542.10 8978153 0 0
1800.00/1800.71 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.00/1800.71 c propagation : 147.73 329100 329098 329098 27.5 23549 25.9 -
1800.00/1800.71 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.00/1800.71 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.00/1800.71 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.00/1800.71 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.00/1800.71 c applied globally : - - - 352642 27.4 - - -
1800.00/1800.71 c applied locally : - - - 0 0.0 - - -
1800.00/1800.71 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.00/1800.71 c cut pool : 1.88 89 - - 3142 - (maximal pool size: 24633)
1800.00/1800.71 c redcost : 0.02 90 0 0 0 0
1800.00/1800.71 c impliedbounds : 0.08 90 0 0 4099 0
1800.00/1800.71 c intobj : 0.00 0 0 0 0 0
1800.00/1800.71 c cgmip : 0.00 0 0 0 0 0
1800.00/1800.71 c gomory : 113.71 89 0 0 36011 0
1800.00/1800.71 c strongcg : 5.97 20 0 0 10000 0
1800.00/1800.71 c cmir : 0.67 10 0 0 0 0
1800.00/1800.71 c flowcover : 0.58 10 0 0 0 0
1800.00/1800.71 c clique : 0.10 89 0 0 33 0
1800.00/1800.71 c zerohalf : 0.00 0 0 0 0 0
1800.00/1800.71 c mcf : 0.01 1 0 0 0 0
1800.00/1800.71 c rapidlearning : 0.00 0 0 0 0 0
1800.00/1800.71 c Pricers : Time Calls Vars
1800.00/1800.71 c problem variables: 0.00 0 0
1800.00/1800.71 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.00/1800.71 c relpscost : 14.78 1 0 0 0 0 2
1800.00/1800.71 c pscost : 0.00 0 0 0 0 0 0
1800.00/1800.71 c inference : 72.73 331732 0 0 0 0 663464
1800.00/1800.71 c mostinf : 0.00 0 0 0 0 0 0
1800.00/1800.71 c leastinf : 0.00 0 0 0 0 0 0
1800.00/1800.71 c fullstrong : 0.00 0 0 0 0 0 0
1800.00/1800.71 c allfullstrong : 0.00 0 0 0 0 0 0
1800.00/1800.71 c random : 0.00 0 0 0 0 0 0
1800.00/1800.71 c Primal Heuristics : Time Calls Found
1800.00/1800.71 c LP solutions : 0.00 - 0
1800.00/1800.71 c pseudo solutions : 0.00 - 0
1800.00/1800.71 c oneopt : 0.32 0 0
1800.00/1800.71 c crossover : 0.00 0 0
1800.00/1800.71 c trivial : 0.01 2 0
1800.00/1800.71 c simplerounding : 0.00 0 0
1800.00/1800.71 c zirounding : 0.01 1 0
1800.00/1800.71 c rounding : 0.20 90 0
1800.00/1800.71 c shifting : 1.70 90 0
1800.00/1800.71 c intshifting : 0.00 0 0
1800.00/1800.71 c twoopt : 0.00 0 0
1800.00/1800.71 c fixandinfer : 0.00 0 0
1800.00/1800.71 c feaspump : 2.33 1 0
1800.00/1800.71 c coefdiving : 0.00 0 0
1800.00/1800.71 c pscostdiving : 0.00 0 0
1800.00/1800.71 c fracdiving : 0.00 0 0
1800.00/1800.71 c veclendiving : 0.00 0 0
1800.00/1800.71 c intdiving : 0.00 0 0
1800.00/1800.71 c actconsdiving : 0.00 0 0
1800.00/1800.71 c objpscostdiving : 0.00 0 0
1800.00/1800.71 c rootsoldiving : 0.00 0 0
1800.00/1800.71 c linesearchdiving : 0.00 0 0
1800.00/1800.71 c guideddiving : 0.00 0 0
1800.00/1800.71 c octane : 0.00 0 0
1800.00/1800.71 c rens : 0.00 0 0
1800.00/1800.71 c rins : 0.00 0 0
1800.00/1800.71 c localbranching : 0.00 0 0
1800.00/1800.71 c mutation : 0.00 0 0
1800.00/1800.71 c dins : 0.00 0 0
1800.00/1800.71 c undercover : 0.00 0 0
1800.00/1800.71 c nlp : 0.42 0 0
1800.00/1800.71 c trysol : 0.31 0 0
1800.00/1800.71 c LP : Time Calls Iterations Iter/call Iter/sec
1800.00/1800.71 c primal LP : 0.17 0 0 0.00 0.00
1800.00/1800.71 c dual LP : 143.50 90 105131 1168.12 732.62
1800.00/1800.71 c lex dual LP : 0.00 0 0 0.00 -
1800.00/1800.71 c barrier LP : 0.00 0 0 0.00 -
1800.00/1800.71 c diving/probing LP: 2.22 27 4648 172.15 2093.69
1800.00/1800.71 c strong branching : 14.78 40 11978 299.45 810.42
1800.00/1800.71 c (at root node) : - 40 11978 299.45 -
1800.00/1800.71 c conflict analysis: 0.00 0 0 0.00 -
1800.00/1800.71 c B&B Tree :
1800.00/1800.71 c number of runs : 1
1800.00/1800.71 c nodes : 484891
1800.00/1800.71 c nodes (total) : 484891
1800.00/1800.71 c nodes left : 36
1800.00/1800.71 c max depth : 61
1800.00/1800.71 c max depth (total): 61
1800.00/1800.71 c backtracks : 176014 (36.3%)
1800.00/1800.71 c delayed cutoffs : 178540
1800.00/1800.71 c repropagations : 472895 (32120006 domain reductions, 175942 cutoffs)
1800.00/1800.71 c avg switch length: 2.60
1800.00/1800.71 c switching time : 215.00
1800.00/1800.71 c Solution :
1800.00/1800.71 c Solutions found : 0 (0 improvements)
1800.00/1800.71 c Primal Bound : -
1800.00/1800.71 c Dual Bound : +3.07251503129393e+03
1800.00/1800.71 c Gap : infinite
1800.00/1800.71 c Root Dual Bound : +3.07201485726424e+03
1800.00/1800.71 c Root Iterations : 109779
1800.09/1800.87 c Time complete: 1800.16.