0.00/0.00 c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Clp 1.11.1] [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-2665423-1276429647.opb>
0.19/0.25 c original problem has 6352 variables (6352 bin, 0 int, 0 impl, 0 cont) and 13473 constraints
0.19/0.25 c problem read
0.19/0.25 c presolving settings loaded
0.29/0.35 c presolving:
0.39/0.45 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.51 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.54 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.55 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.56 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.57 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.59 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.60 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.61 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.62 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.63 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.64 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.66 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.67 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.59/0.68 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.59/0.69 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.70 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.71 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.72 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.73 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.75 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.76 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.77 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.69/0.78 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.69/0.79 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.80 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.81 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.82 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.83 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.84 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.85 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.86 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.88 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.79/0.89 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.90 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.91 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.92 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.93 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.94 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.95 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.96 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.97 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.89/0.98 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.89/0.99 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.99/1.00 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.99/1.01 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.99/1.02 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.99/1.03 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.99/1.04 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.99/1.05 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.99/1.06 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.99/1.07 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.99/1.08 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.99/1.09 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.99/1.10 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.11 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.12 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.13 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.14 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.15 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.16 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.16 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.17 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.10/1.18 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.10/1.19 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.20 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.30 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.50 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.51 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.54 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.75 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.69/1.79 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.91 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.96 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.07 c (1.5s) probing: 835/2138 (39.1%) - 1 fixings, 186 aggregations, 5652 implications, 0 bound changes
1.99/2.07 c (1.5s) probing aborted: 100/100 successive totally useless probings
1.99/2.07 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.99/2.09 c (1.5s) probing: 845/2138 (39.5%) - 1 fixings, 186 aggregations, 5652 implications, 0 bound changes
1.99/2.09 c (1.5s) probing aborted: 100/100 successive totally useless probings
1.99/2.09 c presolving (76 rounds):
1.99/2.09 c 4401 deleted vars, 7381 deleted constraints, 1041 tightened bounds, 0 added holes, 159 changed sides, 315 changed coefficients
1.99/2.09 c 113305 implications, 0 cliques
1.99/2.09 c presolved problem has 1951 variables (1951 bin, 0 int, 0 impl, 0 cont) and 6092 constraints
1.99/2.10 c 6092 constraints of type <logicor>
1.99/2.10 c transformed objective value is always integral (scale: 1)
1.99/2.10 c Presolving Time: 1.45
1.99/2.10 c - non default parameters ----------------------------------------------------------------------
1.99/2.10 c # SCIP version 1.2.1.2
1.99/2.10 c
1.99/2.10 c # maximal number of intermediate conflict constraints generated in conflict graph (-1: use every intermediate constraint)
1.99/2.10 c # [type: int, range: [-1,2147483647], default: -1]
1.99/2.10 c conflict/interconss = 0
1.99/2.10 c
1.99/2.10 c # should binary conflicts be preferred?
1.99/2.10 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.99/2.10 c conflict/preferbinary = TRUE
1.99/2.10 c
1.99/2.10 c # maximum age an unnecessary constraint can reach before it is deleted (0: dynamic, -1: keep all constraints)
1.99/2.10 c # [type: int, range: [-1,2147483647], default: 0]
1.99/2.10 c constraints/agelimit = 1
1.99/2.10 c
1.99/2.10 c # should enforcement of pseudo solution be disabled?
1.99/2.10 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.99/2.10 c constraints/disableenfops = TRUE
1.99/2.10 c
1.99/2.10 c # frequency for displaying node information lines
1.99/2.10 c # [type: int, range: [-1,2147483647], default: 100]
1.99/2.10 c display/freq = 10000
1.99/2.10 c
1.99/2.10 c # maximal time in seconds to run
1.99/2.10 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1.99/2.10 c limits/time = 1799.75
1.99/2.10 c
1.99/2.10 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1.99/2.10 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1.99/2.10 c limits/memory = 1620
1.99/2.10 c
1.99/2.10 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
1.99/2.10 c # [type: int, range: [-1,2147483647], default: 1]
1.99/2.10 c lp/solvefreq = 0
1.99/2.10 c
1.99/2.10 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)
1.99/2.10 c # [type: char, range: {lafpsqd}, default: l]
1.99/2.10 c lp/pricing = a
1.99/2.10 c
1.99/2.10 c # should presolving try to simplify inequalities
1.99/2.10 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.99/2.10 c constraints/linear/simplifyinequalities = TRUE
1.99/2.10 c
1.99/2.10 c # should presolving try to simplify knapsacks
1.99/2.10 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.99/2.10 c constraints/knapsack/simplifyinequalities = TRUE
1.99/2.10 c
1.99/2.10 c # priority of node selection rule <dfs> in standard mode
1.99/2.10 c # [type: int, range: [-536870912,536870911], default: 0]
1.99/2.10 c nodeselection/dfs/stdpriority = 1000000
1.99/2.10 c
1.99/2.10 c -----------------------------------------------------------------------------------------------
1.99/2.10 c start solving
2.09/2.10 c
2.29/2.37 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
2.29/2.37 c 1.8s| 1 | 0 | 1848 | - | 22M| 0 |1239 |1951 |6092 |1951 |5905 | 0 | 0 | 0 | 2.808013e+03 | -- | Inf
2.99/3.07 c 2.5s| 1 | 0 | 2237 | - | 23M| 0 |1229 |1951 |6092 |1951 |7905 |2000 | 0 | 0 | 2.815667e+03 | -- | Inf
4.49/4.55 c 3.9s| 1 | 0 | 3837 | - | 24M| 0 |1113 |1951 |6092 |1951 |7949 |2044 | 0 | 0 | 2.856667e+03 | -- | Inf
5.09/5.13 c 4.5s| 1 | 0 | 4255 | - | 24M| 0 |1146 |1951 |6092 |1951 |7987 |2082 | 0 | 0 | 2.868000e+03 | -- | Inf
6.19/6.23 c 5.6s| 1 | 0 | 5200 | - | 25M| 0 |1173 |1951 |6092 |1951 |8025 |2120 | 0 | 0 | 2.873782e+03 | -- | Inf
7.28/7.32 c 6.6s| 1 | 0 | 6179 | - | 26M| 0 |1232 |1951 |6092 |1951 |8063 |2158 | 0 | 0 | 2.880921e+03 | -- | Inf
8.08/8.13 c 7.4s| 1 | 0 | 6882 | - | 27M| 0 |1232 |1951 |6092 |1951 |8109 |2204 | 0 | 0 | 2.891474e+03 | -- | Inf
8.70/8.75 c 8.1s| 1 | 0 | 7376 | - | 28M| 0 |1244 |1951 |6092 |1951 |8153 |2248 | 0 | 0 | 2.899182e+03 | -- | Inf
9.59/9.67 c 9.0s| 1 | 0 | 8316 | - | 28M| 0 |1239 |1951 |6092 |1951 |8202 |2297 | 0 | 0 | 2.906625e+03 | -- | Inf
10.69/10.75 c 10.0s| 1 | 0 | 9341 | - | 29M| 0 |1263 |1951 |6092 |1951 |8257 |2352 | 0 | 0 | 2.914933e+03 | -- | Inf
12.19/12.21 c 11.5s| 1 | 0 | 10863 | - | 31M| 0 |1305 |1951 |6092 |1951 |8315 |2410 | 0 | 0 | 2.922730e+03 | -- | Inf
13.68/13.73 c 13.0s| 1 | 0 | 12144 | - | 32M| 0 |1308 |1951 |6092 |1951 |6484 |2471 | 0 | 0 | 2.934542e+03 | -- | Inf
14.69/14.79 c 14.0s| 1 | 0 | 13374 | - | 33M| 0 |1325 |1951 |6092 |1951 |6538 |2525 | 0 | 0 | 2.944222e+03 | -- | Inf
15.68/15.71 c 14.9s| 1 | 0 | 14417 | - | 34M| 0 |1366 |1951 |6092 |1951 |6584 |2571 | 0 | 0 | 2.951978e+03 | -- | Inf
16.39/16.43 c 15.6s| 1 | 0 | 15194 | - | 35M| 0 |1366 |1951 |6092 |1951 |6647 |2634 | 0 | 0 | 2.961304e+03 | -- | Inf
17.28/17.33 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
17.28/17.33 c 16.5s| 1 | 0 | 16260 | - | 37M| 0 |1343 |1951 |6092 |1951 |6704 |2691 | 0 | 0 | 2.969979e+03 | -- | Inf
18.08/18.16 c 17.3s| 1 | 0 | 17214 | - | 38M| 0 |1368 |1951 |6092 |1951 |6755 |2742 | 0 | 0 | 2.974886e+03 | -- | Inf
18.98/19.00 c 18.1s| 1 | 0 | 18072 | - | 39M| 0 |1362 |1951 |6092 |1951 |6632 |2802 | 0 | 0 | 2.982165e+03 | -- | Inf
19.58/19.63 c 18.8s| 1 | 0 | 18854 | - | 40M| 0 |1345 |1951 |6092 |1951 |6688 |2858 | 0 | 0 | 2.989013e+03 | -- | Inf
20.28/20.33 c 19.4s| 1 | 0 | 19522 | - | 41M| 0 |1352 |1951 |6092 |1951 |6735 |2905 | 0 | 0 | 2.995051e+03 | -- | Inf
21.18/21.28 c 20.4s| 1 | 0 | 20358 | - | 43M| 0 |1370 |1951 |6092 |1951 |6786 |2956 | 0 | 0 | 3.001347e+03 | -- | Inf
22.08/22.19 c 21.3s| 1 | 0 | 21255 | - | 45M| 0 |1378 |1951 |6092 |1951 |6841 |3011 | 0 | 0 | 3.005662e+03 | -- | Inf
22.99/23.08 c 22.1s| 1 | 0 | 22186 | - | 45M| 0 |1371 |1951 |6092 |1951 |6898 |3068 | 0 | 0 | 3.014199e+03 | -- | Inf
23.98/24.01 c 23.0s| 1 | 0 | 23214 | - | 46M| 0 |1406 |1951 |6092 |1951 |6702 |3130 | 0 | 0 | 3.018841e+03 | -- | Inf
24.88/24.91 c 23.9s| 1 | 0 | 24439 | - | 46M| 0 |1459 |1951 |6092 |1951 |6760 |3188 | 0 | 0 | 3.023181e+03 | -- | Inf
25.98/26.08 c 25.1s| 1 | 0 | 25770 | - | 47M| 0 |1446 |1951 |6092 |1951 |6821 |3249 | 0 | 0 | 3.027352e+03 | -- | Inf
26.98/27.09 c 26.1s| 1 | 0 | 26846 | - | 47M| 0 |1465 |1951 |6092 |1951 |6876 |3304 | 0 | 0 | 3.030256e+03 | -- | Inf
28.38/28.47 c 27.4s| 1 | 0 | 28401 | - | 48M| 0 |1545 |1951 |6092 |1951 |6927 |3355 | 0 | 0 | 3.033630e+03 | -- | Inf
30.07/30.14 c 29.1s| 1 | 0 | 30103 | - | 48M| 0 |1522 |1951 |6092 |1951 |6980 |3408 | 0 | 0 | 3.039434e+03 | -- | Inf
31.08/31.14 c 30.1s| 1 | 0 | 31032 | - | 49M| 0 |1573 |1951 |6092 |1951 |6739 |3450 | 0 | 0 | 3.044434e+03 | -- | Inf
31.89/31.99 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
31.89/31.99 c 30.9s| 1 | 0 | 32073 | - | 50M| 0 |1487 |1951 |6092 |1951 |6780 |3491 | 0 | 0 | 3.046818e+03 | -- | Inf
33.48/33.56 c 32.5s| 1 | 0 | 33820 | - | 50M| 0 |1555 |1951 |6092 |1951 |6842 |3553 | 0 | 0 | 3.052199e+03 | -- | Inf
34.37/34.42 c 33.3s| 1 | 0 | 34763 | - | 51M| 0 |1569 |1951 |6092 |1951 |6886 |3597 | 0 | 0 | 3.055974e+03 | -- | Inf
35.38/35.49 c 34.3s| 1 | 0 | 35850 | - | 51M| 0 |1536 |1951 |6092 |1951 |6926 |3637 | 0 | 0 | 3.060040e+03 | -- | Inf
36.19/36.29 c 35.1s| 1 | 0 | 36846 | - | 52M| 0 |1615 |1951 |6092 |1951 |6961 |3672 | 0 | 0 | 3.062260e+03 | -- | Inf
37.39/37.44 c 36.3s| 1 | 0 | 38127 | - | 53M| 0 |1617 |1951 |6092 |1951 |6753 |3726 | 0 | 0 | 3.066959e+03 | -- | Inf
38.08/38.15 c 37.0s| 1 | 0 | 38757 | - | 53M| 0 |1603 |1951 |6092 |1951 |6794 |3767 | 0 | 0 | 3.070161e+03 | -- | Inf
39.38/39.41 c 38.2s| 1 | 0 | 40112 | - | 54M| 0 |1603 |1951 |6092 |1951 |6827 |3800 | 0 | 0 | 3.072695e+03 | -- | Inf
40.28/40.38 c 39.1s| 1 | 0 | 41186 | - | 54M| 0 |1596 |1951 |6092 |1951 |6873 |3846 | 0 | 0 | 3.075669e+03 | -- | Inf
41.88/41.93 c 40.7s| 1 | 0 | 42549 | - | 54M| 0 |1653 |1951 |6092 |1951 |6909 |3882 | 0 | 0 | 3.079295e+03 | -- | Inf
42.97/43.07 c 41.8s| 1 | 0 | 43640 | - | 55M| 0 |1664 |1951 |6092 |1951 |6951 |3924 | 0 | 0 | 3.082230e+03 | -- | Inf
43.88/43.99 c 42.7s| 1 | 0 | 44544 | - | 55M| 0 |1671 |1951 |6092 |1951 |6733 |3953 | 0 | 0 | 3.083857e+03 | -- | Inf
44.87/44.97 c 43.7s| 1 | 0 | 45318 | - | 55M| 0 |1654 |1951 |6092 |1951 |6766 |3986 | 0 | 0 | 3.086442e+03 | -- | Inf
45.97/46.01 c 44.7s| 1 | 0 | 45838 | - | 56M| 0 |1649 |1951 |6092 |1951 |6791 |4011 | 0 | 0 | 3.088878e+03 | -- | Inf
47.37/47.45 c 46.1s| 1 | 0 | 46166 | - | 56M| 0 |1649 |1951 |6092 |1951 |6810 |4030 | 0 | 0 | 3.090527e+03 | -- | Inf
48.88/48.99 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
48.88/48.99 c 47.7s| 1 | 0 | 47000 | - | 56M| 0 |1657 |1951 |6092 |1951 |6824 |4044 | 0 | 0 | 3.091000e+03 | -- | Inf
50.48/50.59 c 49.3s| 1 | 0 | 47943 | - | 56M| 0 |1629 |1951 |6092 |1951 |6859 |4079 | 0 | 0 | 3.092542e+03 | -- | Inf
51.37/51.44 c 50.1s| 1 | 0 | 48788 | - | 57M| 0 |1600 |1951 |6092 |1951 |6678 |4121 | 0 | 0 | 3.094590e+03 | -- | Inf
52.46/52.50 c 51.1s| 1 | 0 | 49819 | - | 57M| 0 |1589 |1951 |6092 |1951 |6702 |4145 | 0 | 0 | 3.096917e+03 | -- | Inf
53.67/53.71 c 52.3s| 1 | 0 | 50838 | - | 57M| 0 |1621 |1951 |6092 |1951 |6740 |4183 | 0 | 0 | 3.098222e+03 | -- | Inf
54.57/54.63 c 53.2s| 1 | 0 | 51733 | - | 58M| 0 |1605 |1951 |6092 |1951 |6763 |4206 | 0 | 0 | 3.099786e+03 | -- | Inf
55.87/55.94 c 54.5s| 1 | 0 | 52861 | - | 58M| 0 |1641 |1951 |6092 |1951 |6788 |4231 | 0 | 0 | 3.102171e+03 | -- | Inf
56.97/57.02 c 55.6s| 1 | 0 | 53353 | - | 58M| 0 |1586 |1951 |6092 |1951 |6812 |4255 | 0 | 0 | 3.103840e+03 | -- | Inf
57.97/58.07 c 56.6s| 1 | 0 | 53862 | - | 59M| 0 |1643 |1951 |6092 |1951 |6647 |4285 | 0 | 0 | 3.105978e+03 | -- | Inf
58.96/59.01 c 57.6s| 1 | 0 | 54775 | - | 59M| 0 |1589 |1951 |6092 |1951 |6673 |4311 | 0 | 0 | 3.108901e+03 | -- | Inf
59.77/59.85 c 58.4s| 1 | 0 | 55645 | - | 60M| 0 |1624 |1951 |6092 |1951 |6700 |4338 | 0 | 0 | 3.110729e+03 | -- | Inf
60.86/60.91 c 59.4s| 1 | 0 | 56524 | - | 60M| 0 |1622 |1951 |6092 |1951 |6715 |4353 | 0 | 0 | 3.111864e+03 | -- | Inf
61.87/61.94 c 60.5s| 1 | 0 | 57445 | - | 61M| 0 |1601 |1951 |6092 |1951 |6731 |4369 | 0 | 0 | 3.113190e+03 | -- | Inf
62.86/62.96 c 61.5s| 1 | 0 | 58128 | - | 61M| 0 |1617 |1951 |6092 |1951 |6746 |4384 | 0 | 0 | 3.113231e+03 | -- | Inf
64.37/64.41 c 62.9s| 1 | 0 | 58509 | - | 61M| 0 |1617 |1951 |6092 |1951 |6615 |4393 | 0 | 0 | 3.113277e+03 | -- | Inf
65.87/65.95 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
65.87/65.95 c 64.4s| 1 | 0 | 58749 | - | 61M| 0 |1613 |1951 |6092 |1951 |6624 |4402 | 0 | 0 | 3.113277e+03 | -- | Inf
67.76/67.81 c 66.3s| 1 | 0 | 59491 | - | 61M| 0 |1602 |1951 |6092 |1951 |6630 |4408 | 0 | 0 | 3.113317e+03 | -- | Inf
69.26/69.36 c 67.8s| 1 | 0 | 60080 | - | 62M| 0 |1602 |1951 |6092 |1951 |6644 |4422 | 0 | 0 | 3.113425e+03 | -- | Inf
70.76/70.80 c 69.2s| 1 | 0 | 60704 | - | 62M| 0 |1600 |1951 |6092 |1951 |6663 |4441 | 0 | 0 | 3.113802e+03 | -- | Inf
71.76/71.89 c 70.3s| 1 | 0 | 61364 | - | 62M| 0 |1620 |1951 |6092 |1951 |6686 |4464 | 0 | 0 | 3.114275e+03 | -- | Inf
73.17/73.24 c 71.6s| 1 | 0 | 61677 | - | 62M| 0 |1615 |1951 |6092 |1951 |6553 |4475 | 0 | 0 | 3.114464e+03 | -- | Inf
74.26/74.34 c 72.7s| 1 | 0 | 62301 | - | 63M| 0 |1598 |1951 |6092 |1951 |6570 |4492 | 0 | 0 | 3.115534e+03 | -- | Inf
75.46/75.51 c 73.9s| 1 | 0 | 62606 | - | 63M| 0 |1597 |1951 |6092 |1951 |6594 |4516 | 0 | 0 | 3.116233e+03 | -- | Inf
76.76/76.88 c 75.2s| 1 | 0 | 62920 | - | 63M| 0 |1618 |1951 |6092 |1951 |6604 |4526 | 0 | 0 | 3.116651e+03 | -- | Inf
78.07/78.11 c 76.5s| 1 | 0 | 63125 | - | 63M| 0 |1614 |1951 |6092 |1951 |6609 |4531 | 0 | 0 | 3.116867e+03 | -- | Inf
79.26/79.32 c 77.7s| 1 | 0 | 63381 | - | 64M| 0 |1593 |1951 |6092 |1951 |6615 |4537 | 0 | 0 | 3.117140e+03 | -- | Inf
80.56/80.64 c 79.0s| 1 | 0 | 63815 | - | 64M| 0 |1568 |1951 |6092 |1951 |6582 |4550 | 0 | 0 | 3.117997e+03 | -- | Inf
81.36/81.47 c 79.8s| 1 | 0 | 64364 | - | 64M| 0 |1540 |1951 |6092 |1951 |6596 |4564 | 0 | 0 | 3.119804e+03 | -- | Inf
82.56/82.63 c 80.9s| 1 | 0 | 64787 | - | 64M| 0 |1574 |1951 |6092 |1951 |6607 |4575 | 0 | 0 | 3.120424e+03 | -- | Inf
83.57/83.67 c 82.0s| 1 | 0 | 65062 | - | 64M| 0 |1567 |1951 |6092 |1951 |6624 |4592 | 0 | 0 | 3.121013e+03 | -- | Inf
84.35/84.43 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
84.35/84.43 c 82.7s| 1 | 0 | 65472 | - | 65M| 0 |1592 |1951 |6092 |1951 |6638 |4606 | 0 | 0 | 3.121795e+03 | -- | Inf
85.45/85.59 c 83.9s| 1 | 0 | 65765 | - | 65M| 0 |1599 |1951 |6092 |1951 |6649 |4617 | 0 | 0 | 3.122378e+03 | -- | Inf
86.45/86.51 c 84.8s| 1 | 0 | 66284 | - | 65M| 0 |1593 |1951 |6092 |1951 |6572 |4628 | 0 | 0 | 3.123225e+03 | -- | Inf
87.36/87.48 c 85.7s| 1 | 0 | 66909 | - | 66M| 0 |1587 |1951 |6092 |1951 |6581 |4637 | 0 | 0 | 3.123994e+03 | -- | Inf
88.65/88.72 c 87.0s| 1 | 0 | 67393 | - | 66M| 0 |1590 |1951 |6092 |1951 |6592 |4648 | 0 | 0 | 3.124921e+03 | -- | Inf
89.95/90.00 c 88.2s| 1 | 0 | 67661 | - | 66M| 0 |1597 |1951 |6092 |1951 |6595 |4651 | 0 | 0 | 3.125013e+03 | -- | Inf
91.45/91.57 c 89.8s| 1 | 0 | 68300 | - | 66M| 0 |1594 |1951 |6092 |1951 |6601 |4657 | 0 | 0 | 3.125324e+03 | -- | Inf
92.65/92.74 c 91.0s| 1 | 0 | 68356 | - | 66M| 0 |1596 |1951 |6092 |1951 |6605 |4661 | 0 | 0 | 3.125376e+03 | -- | Inf
93.95/94.09 c 92.3s| 1 | 0 | 68426 | - | 66M| 0 |1600 |1951 |6092 |1951 |6548 |4663 | 0 | 0 | 3.125376e+03 | -- | Inf
98.24/98.35 c 96.4s| 1 | 2 | 68426 | - | 66M| 0 |1600 |1951 |6092 |1951 |6548 |4663 | 0 | 30 | 3.125376e+03 | -- | Inf
125.34/125.46 c 123s| 10000 | 45 | 68426 | 0.0 | 67M| 61 | - |1951 |6122 | 0 | 0 |4663 |6525 | 30 | 3.125796e+03 | -- | Inf
152.23/152.34 c 149s| 20000 | 39 | 68426 | 0.0 | 67M| 61 | - |1951 |6160 | 0 | 0 |4663 | 13k| 30 | 3.125796e+03 | -- | Inf
179.82/179.92 c 175s| 30000 | 39 | 68426 | 0.0 | 67M| 61 | - |1951 |6169 | 0 | 0 |4663 | 19k| 30 | 3.125796e+03 | -- | Inf
206.40/206.50 c 201s| 40000 | 40 | 68426 | 0.0 | 67M| 61 | - |1951 |6183 | 0 | 0 |4663 | 26k| 30 | 3.125796e+03 | -- | Inf
235.21/235.37 c 229s| 50000 | 41 | 68426 | 0.0 | 67M| 61 | - |1951 |6154 | 0 | 0 |4663 | 33k| 30 | 3.125796e+03 | -- | Inf
262.98/263.16 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
262.98/263.16 c 256s| 60000 | 38 | 68426 | 0.0 | 67M| 61 | - |1951 |6184 | 0 | 0 |4663 | 41k| 30 | 3.125796e+03 | -- | Inf
291.58/291.75 c 283s| 70000 | 38 | 68426 | 0.0 | 67M| 61 | - |1951 |6193 | 0 | 0 |4663 | 48k| 30 | 3.125796e+03 | -- | Inf
320.96/321.16 c 312s| 80000 | 40 | 68426 | 0.0 | 67M| 61 | - |1951 |6152 | 0 | 0 |4663 | 55k| 30 | 3.125796e+03 | -- | Inf
350.44/350.67 c 340s| 90000 | 41 | 68426 | 0.0 | 67M| 61 | - |1951 |6143 | 0 | 0 |4663 | 62k| 30 | 3.125796e+03 | -- | Inf
379.63/379.82 c 368s|100000 | 40 | 68426 | 0.0 | 67M| 61 | - |1951 |6169 | 0 | 0 |4663 | 69k| 30 | 3.125796e+03 | -- | Inf
408.23/408.41 c 396s|110000 | 40 | 68426 | 0.0 | 67M| 61 | - |1951 |6189 | 0 | 0 |4663 | 76k| 30 | 3.125796e+03 | -- | Inf
438.21/438.43 c 425s|120000 | 39 | 68426 | 0.0 | 67M| 61 | - |1951 |6150 | 0 | 0 |4663 | 83k| 30 | 3.125796e+03 | -- | Inf
468.60/468.85 c 454s|130000 | 37 | 68426 | 0.0 | 67M| 61 | - |1951 |6188 | 0 | 0 |4663 | 90k| 30 | 3.125796e+03 | -- | Inf
497.69/497.94 c 482s|140000 | 38 | 68426 | 0.0 | 67M| 61 | - |1951 |6177 | 0 | 0 |4663 | 97k| 30 | 3.125796e+03 | -- | Inf
527.08/527.32 c 511s|150000 | 37 | 68426 | 0.0 | 67M| 61 | - |1951 |6175 | 0 | 0 |4663 | 104k| 30 | 3.125796e+03 | -- | Inf
556.27/556.57 c 539s|160000 | 37 | 68426 | 0.0 | 67M| 61 | - |1951 |6209 | 0 | 0 |4663 | 110k| 30 | 3.125796e+03 | -- | Inf
586.06/586.36 c 568s|170000 | 40 | 68426 | 0.0 | 67M| 61 | - |1951 |6177 | 0 | 0 |4663 | 117k| 30 | 3.125796e+03 | -- | Inf
615.14/615.47 c 596s|180000 | 38 | 68426 | 0.0 | 67M| 61 | - |1951 |6180 | 0 | 0 |4663 | 124k| 30 | 3.125796e+03 | -- | Inf
644.03/644.30 c 624s|190000 | 39 | 68426 | 0.0 | 67M| 61 | - |1951 |6175 | 0 | 0 |4663 | 131k| 30 | 3.125796e+03 | -- | Inf
672.82/673.19 c 652s|200000 | 39 | 68426 | 0.0 | 67M| 61 | - |1951 |6192 | 0 | 0 |4663 | 138k| 30 | 3.125796e+03 | -- | Inf
701.71/702.08 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
701.71/702.08 c 680s|210000 | 37 | 68426 | 0.0 | 67M| 61 | - |1951 |6197 | 0 | 0 |4663 | 145k| 30 | 3.125796e+03 | -- | Inf
735.40/735.72 c 712s|220000 | 39 | 68426 | 0.0 | 67M| 61 | - |1951 |6147 | 0 | 0 |4663 | 152k| 30 | 3.125796e+03 | -- | Inf
769.18/769.51 c 745s|230000 | 37 | 68426 | 0.0 | 67M| 61 | - |1951 |6173 | 0 | 0 |4663 | 160k| 30 | 3.125796e+03 | -- | Inf
803.07/803.48 c 777s|240000 | 39 | 68426 | 0.0 | 67M| 61 | - |1951 |6172 | 0 | 0 |4663 | 168k| 30 | 3.125796e+03 | -- | Inf
836.04/836.49 c 809s|250000 | 34 | 68426 | 0.0 | 67M| 61 | - |1951 |6221 | 0 | 0 |4663 | 175k| 30 | 3.125796e+03 | -- | Inf
870.02/870.47 c 842s|260000 | 40 | 68426 | 0.0 | 67M| 61 | - |1951 |6186 | 0 | 0 |4663 | 183k| 30 | 3.125796e+03 | -- | Inf
905.10/905.56 c 876s|270000 | 39 | 68426 | 0.0 | 67M| 61 | - |1951 |6180 | 0 | 0 |4663 | 191k| 30 | 3.125796e+03 | -- | Inf
939.39/939.84 c 909s|280000 | 36 | 68426 | 0.0 | 67M| 61 | - |1951 |6204 | 0 | 0 |4663 | 198k| 30 | 3.125796e+03 | -- | Inf
973.78/974.24 c 942s|290000 | 36 | 68426 | 0.0 | 67M| 61 | - |1951 |6201 | 0 | 0 |4663 | 206k| 30 | 3.125796e+03 | -- | Inf
1007.66/1008.20 c 974s|300000 | 37 | 68426 | 0.0 | 67M| 61 | - |1951 |6194 | 0 | 0 |4663 | 213k| 30 | 3.125796e+03 | -- | Inf
1041.75/1042.21 c 1007s|310000 | 38 | 68426 | 0.0 | 67M| 61 | - |1951 |6205 | 0 | 0 |4663 | 220k| 30 | 3.125796e+03 | -- | Inf
1077.24/1077.77 c 1042s|320000 | 38 | 68426 | 0.0 | 67M| 61 | - |1951 |6188 | 0 | 0 |4663 | 228k| 30 | 3.125796e+03 | -- | Inf
1112.82/1113.31 c 1076s|330000 | 40 | 68426 | 0.0 | 67M| 61 | - |1951 |6159 | 0 | 0 |4663 | 236k| 30 | 3.125796e+03 | -- | Inf
1147.60/1148.13 c 1109s|340000 | 37 | 68426 | 0.0 | 67M| 61 | - |1951 |6171 | 0 | 0 |4663 | 243k| 30 | 3.125796e+03 | -- | Inf
1182.50/1183.01 c 1143s|350000 | 38 | 68426 | 0.0 | 67M| 61 | - |1951 |6175 | 0 | 0 |4663 | 251k| 30 | 3.125796e+03 | -- | Inf
1216.68/1217.27 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1216.68/1217.27 c 1176s|360000 | 34 | 68426 | 0.0 | 67M| 61 | - |1951 |6213 | 0 | 0 |4663 | 258k| 30 | 3.125796e+03 | -- | Inf
1251.86/1252.42 c 1210s|370000 | 37 | 68426 | 0.0 | 67M| 61 | - |1951 |6186 | 0 | 0 |4663 | 266k| 30 | 3.125796e+03 | -- | Inf
1285.95/1286.59 c 1243s|380000 | 35 | 68426 | 0.0 | 67M| 61 | - |1951 |6204 | 0 | 0 |4663 | 273k| 30 | 3.125796e+03 | -- | Inf
1320.04/1320.67 c 1276s|390000 | 38 | 68426 | 0.0 | 67M| 61 | - |1951 |6200 | 0 | 0 |4663 | 281k| 30 | 3.125796e+03 | -- | Inf
1353.83/1354.49 c 1308s|400000 | 37 | 68426 | 0.0 | 67M| 61 | - |1951 |6141 | 0 | 0 |4663 | 288k| 30 | 3.125796e+03 | -- | Inf
1388.51/1389.14 c 1341s|410000 | 44 | 68426 | 0.0 | 67M| 61 | - |1951 |6139 | 0 | 0 |4663 | 295k| 30 | 3.125796e+03 | -- | Inf
1423.90/1424.51 c 1376s|420000 | 38 | 68426 | 0.0 | 67M| 61 | - |1951 |6180 | 0 | 0 |4663 | 303k| 30 | 3.125796e+03 | -- | Inf
1458.18/1458.86 c 1409s|430000 | 36 | 68426 | 0.0 | 67M| 61 | - |1951 |6189 | 0 | 0 |4663 | 310k| 30 | 3.125796e+03 | -- | Inf
1492.87/1493.53 c 1442s|440000 | 34 | 68426 | 0.0 | 67M| 61 | - |1951 |6200 | 0 | 0 |4663 | 318k| 30 | 3.125796e+03 | -- | Inf
1527.35/1528.07 c 1475s|450000 | 35 | 68426 | 0.0 | 67M| 61 | - |1951 |6175 | 0 | 0 |4663 | 326k| 30 | 3.125796e+03 | -- | Inf
1562.04/1562.70 c 1509s|460000 | 38 | 68426 | 0.0 | 67M| 61 | - |1951 |6166 | 0 | 0 |4663 | 333k| 30 | 3.125796e+03 | -- | Inf
1596.23/1596.92 c 1542s|470000 | 37 | 68426 | 0.0 | 67M| 61 | - |1951 |6189 | 0 | 0 |4663 | 340k| 30 | 3.125796e+03 | -- | Inf
1630.81/1631.53 c 1575s|480000 | 37 | 68426 | 0.0 | 67M| 61 | - |1951 |6216 | 0 | 0 |4663 | 348k| 30 | 3.125796e+03 | -- | Inf
1665.00/1665.79 c 1608s|490000 | 37 | 68426 | 0.0 | 67M| 61 | - |1951 |6192 | 0 | 0 |4663 | 356k| 30 | 3.125796e+03 | -- | Inf
1699.68/1700.49 c 1641s|500000 | 35 | 68426 | 0.0 | 67M| 61 | - |1951 |6214 | 0 | 0 |4663 | 364k| 30 | 3.125796e+03 | -- | Inf
1736.47/1737.25 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1736.47/1737.25 c 1677s|510000 | 40 | 68426 | 0.0 | 67M| 61 | - |1951 |6153 | 0 | 0 |4663 | 372k| 30 | 3.125796e+03 | -- | Inf
1774.75/1775.51 c 1714s|520000 | 38 | 68426 | 0.0 | 67M| 61 | - |1951 |6186 | 0 | 0 |4663 | 379k| 30 | 3.125796e+03 | -- | Inf
1800.04/1800.80 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.04/1800.80 c
1800.04/1800.80 c SCIP Status : solving was interrupted [user interrupt]
1800.04/1800.80 c Solving Time (sec) : 1738.13
1800.04/1800.80 c Solving Nodes : 527306
1800.04/1800.80 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1800.04/1800.80 c Dual Bound : +3.12579574572241e+03
1800.04/1800.80 c Gap : infinite
1800.04/1800.80 s UNKNOWN
1800.04/1800.80 c SCIP Status : solving was interrupted [user interrupt]
1800.04/1800.80 c Solving Time : 1738.13
1800.04/1800.80 c Original Problem :
1800.04/1800.80 c Problem name : HOME/instance-2665423-1276429647.opb
1800.04/1800.80 c Variables : 6352 (6352 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.04/1800.80 c Constraints : 13473 initial, 13473 maximal
1800.04/1800.80 c Presolved Problem :
1800.04/1800.80 c Problem name : t_HOME/instance-2665423-1276429647.opb
1800.04/1800.80 c Variables : 1951 (1951 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.04/1800.80 c Constraints : 6092 initial, 6265 maximal
1800.04/1800.80 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.04/1800.80 c trivial : 0.02 40 0 0 0 0 0 0 0
1800.04/1800.80 c dualfix : 0.01 0 0 0 0 0 0 0 0
1800.04/1800.80 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.80 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.80 c implics : 0.13 0 3128 0 0 0 0 0 0
1800.04/1800.80 c probing : 0.55 1 186 0 0 0 0 0 0
1800.04/1800.80 c linear : 0.47 1001 45 0 1041 0 7367 159 315
1800.04/1800.80 c logicor : 0.18 0 0 0 0 0 14 0 0
1800.04/1800.80 c root node : - 0 - - 0 - - - -
1800.04/1800.80 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.04/1800.80 c integral : 0 0 0 1 0 0 0 0 0 2
1800.04/1800.80 c logicor : 6092+ 84 10924615 0 0 339870 67153821 0 0 0
1800.04/1800.80 c countsols : 0 0 0 0 0 0 0 0 0 0
1800.04/1800.80 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.04/1800.80 c integral : 2.87 0.00 0.00 2.87 0.00
1800.04/1800.80 c logicor : 521.09 0.17 520.92 0.00 0.00
1800.04/1800.80 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.04/1800.80 c Propagators : Time Calls Cutoffs DomReds
1800.04/1800.80 c vbounds : 5.41 2 0 0
1800.04/1800.80 c rootredcost : 4.86 0 0 0
1800.04/1800.80 c pseudoobj : 666.10 11247145 0 0
1800.04/1800.80 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.04/1800.80 c propagation : 134.34 339869 339828 339828 30.6 45726 26.4 -
1800.04/1800.80 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.80 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.80 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.80 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.04/1800.80 c applied globally : - - - 385554 30.1 - - -
1800.04/1800.80 c applied locally : - - - 0 0.0 - - -
1800.04/1800.80 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.04/1800.80 c cut pool : 1.23 83 - - 4360 - (maximal pool size: 26499)
1800.04/1800.80 c redcost : 0.01 84 0 0 0 0
1800.04/1800.80 c impliedbounds : 0.10 84 0 0 4135 0
1800.04/1800.80 c intobj : 0.00 0 0 0 0 0
1800.04/1800.80 c cgmip : 0.00 0 0 0 0 0
1800.04/1800.80 c gomory : 40.07 83 0 0 36075 0
1800.04/1800.80 c strongcg : 1.63 20 0 0 10000 0
1800.04/1800.80 c cmir : 0.77 10 0 0 0 0
1800.04/1800.80 c flowcover : 0.72 10 0 0 0 0
1800.04/1800.80 c clique : 0.17 83 0 0 29 0
1800.04/1800.80 c zerohalf : 0.00 0 0 0 0 0
1800.04/1800.80 c mcf : 0.02 1 0 0 0 0
1800.04/1800.80 c rapidlearning : 0.00 0 0 0 0 0
1800.04/1800.80 c Pricers : Time Calls Vars
1800.04/1800.80 c problem variables: 0.00 0 0
1800.04/1800.80 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.04/1800.80 c relpscost : 2.87 1 0 0 0 0 2
1800.04/1800.80 c pscost : 0.00 0 0 0 0 0 0
1800.04/1800.80 c inference : 79.99 364801 0 0 0 0 729602
1800.04/1800.80 c mostinf : 0.00 0 0 0 0 0 0
1800.04/1800.80 c leastinf : 0.00 0 0 0 0 0 0
1800.04/1800.80 c fullstrong : 0.00 0 0 0 0 0 0
1800.04/1800.80 c allfullstrong : 0.00 0 0 0 0 0 0
1800.04/1800.80 c random : 0.00 0 0 0 0 0 0
1800.04/1800.80 c Primal Heuristics : Time Calls Found
1800.04/1800.80 c LP solutions : 0.00 - 0
1800.04/1800.80 c pseudo solutions : 0.00 - 0
1800.04/1800.80 c oneopt : 0.33 0 0
1800.04/1800.80 c crossover : 0.00 0 0
1800.04/1800.80 c trivial : 0.02 2 0
1800.04/1800.80 c simplerounding : 0.00 0 0
1800.04/1800.80 c zirounding : 0.00 1 0
1800.04/1800.80 c rounding : 0.16 84 0
1800.04/1800.80 c shifting : 1.41 84 0
1800.04/1800.80 c intshifting : 0.00 0 0
1800.04/1800.80 c twoopt : 0.00 0 0
1800.04/1800.80 c fixandinfer : 0.00 0 0
1800.04/1800.80 c feaspump : 0.08 1 0
1800.04/1800.80 c coefdiving : 0.00 0 0
1800.04/1800.80 c pscostdiving : 0.00 0 0
1800.04/1800.80 c fracdiving : 0.00 0 0
1800.04/1800.80 c veclendiving : 0.00 0 0
1800.04/1800.80 c intdiving : 0.00 0 0
1800.04/1800.80 c actconsdiving : 0.00 0 0
1800.04/1800.80 c objpscostdiving : 0.00 0 0
1800.04/1800.80 c rootsoldiving : 0.00 0 0
1800.04/1800.80 c linesearchdiving : 0.00 0 0
1800.04/1800.80 c guideddiving : 0.00 0 0
1800.04/1800.80 c octane : 0.00 0 0
1800.04/1800.80 c rens : 0.01 0 0
1800.04/1800.80 c rins : 0.00 0 0
1800.04/1800.80 c localbranching : 0.00 0 0
1800.04/1800.80 c mutation : 0.00 0 0
1800.04/1800.80 c dins : 0.00 0 0
1800.04/1800.80 c undercover : 0.00 0 0
1800.04/1800.80 c nlp : 0.45 0 0
1800.04/1800.80 c trysol : 0.27 0 0
1800.04/1800.80 c LP : Time Calls Iterations Iter/call Iter/sec
1800.04/1800.80 c primal LP : 0.16 0 0 0.00 0.00
1800.04/1800.80 c dual LP : 44.05 84 68426 814.60 1553.37
1800.04/1800.80 c lex dual LP : 0.00 0 0 0.00 -
1800.04/1800.81 c barrier LP : 0.00 0 0 0.00 -
1800.04/1800.81 c diving/probing LP: 0.01 0 0 0.00 0.00
1800.04/1800.81 c strong branching : 2.87 30 3969 132.30 1382.93
1800.04/1800.81 c (at root node) : - 30 3969 132.30 -
1800.04/1800.81 c conflict analysis: 0.00 0 0 0.00 -
1800.04/1800.81 c B&B Tree :
1800.04/1800.81 c number of runs : 1
1800.04/1800.81 c nodes : 527306
1800.04/1800.81 c nodes (total) : 527306
1800.04/1800.81 c nodes left : 38
1800.04/1800.81 c max depth : 61
1800.04/1800.81 c max depth (total): 61
1800.04/1800.81 c backtracks : 178008 (33.8%)
1800.04/1800.81 c delayed cutoffs : 202261
1800.04/1800.81 c repropagations : 510606 (33405454 domain reductions, 177365 cutoffs)
1800.04/1800.81 c avg switch length: 2.66
1800.04/1800.81 c switching time : 225.49
1800.04/1800.81 c Solution :
1800.04/1800.81 c Solutions found : 0 (0 improvements)
1800.04/1800.81 c Primal Bound : -
1800.04/1800.81 c Dual Bound : +3.12579574572241e+03
1800.04/1800.81 c Gap : infinite
1800.04/1800.81 c Root Dual Bound : +3.12537594590582e+03
1800.04/1800.81 c Root Iterations : 68426
1800.15/1800.95 c Time complete: 1800.19.