0.00/0.00 c SCIP version 2.1.1.4 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.6.0.3] [GitHash: a3bf3a4-dirty]
0.00/0.00 c Copyright (c) 2002-2012 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-3690839-1338018750.opb>
0.00/0.04 c original problem has 6352 variables (6352 bin, 0 int, 0 impl, 0 cont) and 13501 constraints
0.00/0.04 c problem read in 0.04
0.09/0.10 c presolving:
0.09/0.15 c (round 1) 2895 del vars, 511 del conss, 0 add conss, 334 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 37718 impls, 0 clqs
0.09/0.18 c (round 2) 3165 del vars, 4406 del conss, 0 add conss, 367 chg bounds, 1 chg sides, 2 chg coeffs, 0 upgd conss, 46772 impls, 0 clqs
0.09/0.18 c (round 3) 3204 del vars, 4831 del conss, 0 add conss, 382 chg bounds, 3 chg sides, 6 chg coeffs, 0 upgd conss, 47219 impls, 0 clqs
0.09/0.19 c (round 4) 3239 del vars, 4922 del conss, 0 add conss, 396 chg bounds, 6 chg sides, 12 chg coeffs, 0 upgd conss, 47658 impls, 0 clqs
0.09/0.19 c (round 5) 3271 del vars, 5005 del conss, 0 add conss, 409 chg bounds, 9 chg sides, 18 chg coeffs, 0 upgd conss, 48011 impls, 0 clqs
0.09/0.19 c (round 6) 3299 del vars, 5078 del conss, 0 add conss, 420 chg bounds, 12 chg sides, 24 chg coeffs, 0 upgd conss, 48284 impls, 0 clqs
0.09/0.19 c (round 7) 3323 del vars, 5141 del conss, 0 add conss, 429 chg bounds, 15 chg sides, 30 chg coeffs, 0 upgd conss, 48517 impls, 0 clqs
0.18/0.20 c (round 8) 3343 del vars, 5194 del conss, 0 add conss, 436 chg bounds, 18 chg sides, 36 chg coeffs, 0 upgd conss, 48790 impls, 0 clqs
0.18/0.20 c (round 9) 3359 del vars, 5238 del conss, 0 add conss, 442 chg bounds, 21 chg sides, 42 chg coeffs, 0 upgd conss, 49013 impls, 0 clqs
0.18/0.20 c (round 10) 3375 del vars, 5278 del conss, 0 add conss, 448 chg bounds, 24 chg sides, 48 chg coeffs, 0 upgd conss, 49186 impls, 0 clqs
0.18/0.21 c (round 11) 3391 del vars, 5318 del conss, 0 add conss, 454 chg bounds, 27 chg sides, 54 chg coeffs, 0 upgd conss, 49371 impls, 0 clqs
0.18/0.21 c (round 12) 3407 del vars, 5358 del conss, 0 add conss, 460 chg bounds, 30 chg sides, 60 chg coeffs, 0 upgd conss, 49530 impls, 0 clqs
0.18/0.21 c (round 13) 3423 del vars, 5398 del conss, 0 add conss, 466 chg bounds, 33 chg sides, 66 chg coeffs, 0 upgd conss, 49717 impls, 0 clqs
0.18/0.21 c (round 14) 3439 del vars, 5438 del conss, 0 add conss, 472 chg bounds, 36 chg sides, 72 chg coeffs, 0 upgd conss, 49984 impls, 0 clqs
0.18/0.22 c (round 15) 3455 del vars, 5478 del conss, 0 add conss, 478 chg bounds, 39 chg sides, 78 chg coeffs, 0 upgd conss, 50187 impls, 0 clqs
0.29/0.32 c (round 16) 3472 del vars, 5519 del conss, 0 add conss, 485 chg bounds, 42 chg sides, 84 chg coeffs, 0 upgd conss, 50338 impls, 0 clqs
0.29/0.32 c (round 17) 3488 del vars, 5559 del conss, 0 add conss, 491 chg bounds, 45 chg sides, 90 chg coeffs, 0 upgd conss, 50535 impls, 0 clqs
0.29/0.32 c (round 18) 3504 del vars, 5599 del conss, 0 add conss, 497 chg bounds, 48 chg sides, 96 chg coeffs, 0 upgd conss, 50818 impls, 0 clqs
0.29/0.32 c (round 19) 3520 del vars, 5639 del conss, 0 add conss, 503 chg bounds, 51 chg sides, 102 chg coeffs, 0 upgd conss, 50975 impls, 0 clqs
0.29/0.32 c (round 20) 3536 del vars, 5679 del conss, 0 add conss, 509 chg bounds, 54 chg sides, 108 chg coeffs, 0 upgd conss, 51180 impls, 0 clqs
0.29/0.32 c (round 21) 3549 del vars, 5712 del conss, 0 add conss, 512 chg bounds, 55 chg sides, 110 chg coeffs, 0 upgd conss, 51366 impls, 0 clqs
0.29/0.32 c (round 22) 3566 del vars, 5755 del conss, 0 add conss, 520 chg bounds, 57 chg sides, 114 chg coeffs, 0 upgd conss, 51524 impls, 0 clqs
0.29/0.32 c (round 23) 3582 del vars, 5802 del conss, 0 add conss, 528 chg bounds, 58 chg sides, 116 chg coeffs, 0 upgd conss, 51649 impls, 0 clqs
0.29/0.32 c (round 24) 3598 del vars, 5842 del conss, 0 add conss, 536 chg bounds, 59 chg sides, 118 chg coeffs, 0 upgd conss, 51784 impls, 0 clqs
0.29/0.32 c (round 25) 3612 del vars, 5881 del conss, 0 add conss, 543 chg bounds, 60 chg sides, 120 chg coeffs, 0 upgd conss, 51923 impls, 0 clqs
0.29/0.32 c (round 26) 3627 del vars, 5918 del conss, 0 add conss, 550 chg bounds, 61 chg sides, 122 chg coeffs, 0 upgd conss, 52058 impls, 0 clqs
0.29/0.32 c (round 27) 3642 del vars, 5953 del conss, 0 add conss, 558 chg bounds, 62 chg sides, 124 chg coeffs, 0 upgd conss, 52123 impls, 0 clqs
0.29/0.32 c (round 28) 3653 del vars, 5981 del conss, 0 add conss, 565 chg bounds, 63 chg sides, 126 chg coeffs, 0 upgd conss, 52210 impls, 0 clqs
0.29/0.32 c (round 29) 3667 del vars, 6016 del conss, 0 add conss, 574 chg bounds, 66 chg sides, 130 chg coeffs, 0 upgd conss, 52269 impls, 0 clqs
0.29/0.32 c (round 30) 3683 del vars, 6051 del conss, 0 add conss, 583 chg bounds, 69 chg sides, 136 chg coeffs, 0 upgd conss, 52417 impls, 0 clqs
0.29/0.32 c (round 31) 3695 del vars, 6098 del conss, 0 add conss, 594 chg bounds, 72 chg sides, 142 chg coeffs, 0 upgd conss, 52527 impls, 0 clqs
0.29/0.32 c (round 32) 3710 del vars, 6131 del conss, 0 add conss, 604 chg bounds, 73 chg sides, 145 chg coeffs, 0 upgd conss, 52548 impls, 0 clqs
0.29/0.32 c (round 33) 3723 del vars, 6160 del conss, 0 add conss, 613 chg bounds, 74 chg sides, 147 chg coeffs, 0 upgd conss, 52611 impls, 0 clqs
0.29/0.32 c (round 34) 3738 del vars, 6195 del conss, 0 add conss, 623 chg bounds, 76 chg sides, 151 chg coeffs, 0 upgd conss, 52702 impls, 0 clqs
0.29/0.32 c (round 35) 3756 del vars, 6239 del conss, 0 add conss, 639 chg bounds, 82 chg sides, 162 chg coeffs, 0 upgd conss, 52735 impls, 0 clqs
0.29/0.32 c (round 36) 3768 del vars, 6271 del conss, 0 add conss, 647 chg bounds, 84 chg sides, 166 chg coeffs, 0 upgd conss, 52818 impls, 0 clqs
0.29/0.32 c (round 37) 3787 del vars, 6314 del conss, 0 add conss, 662 chg bounds, 87 chg sides, 174 chg coeffs, 0 upgd conss, 52903 impls, 0 clqs
0.29/0.32 c (round 38) 3798 del vars, 6351 del conss, 0 add conss, 671 chg bounds, 90 chg sides, 180 chg coeffs, 0 upgd conss, 52975 impls, 0 clqs
0.29/0.32 c (round 39) 3810 del vars, 6385 del conss, 0 add conss, 681 chg bounds, 92 chg sides, 184 chg coeffs, 0 upgd conss, 53026 impls, 0 clqs
0.29/0.32 c (round 40) 3824 del vars, 6418 del conss, 0 add conss, 693 chg bounds, 95 chg sides, 192 chg coeffs, 0 upgd conss, 53093 impls, 0 clqs
0.29/0.32 c (round 41) 3838 del vars, 6455 del conss, 0 add conss, 705 chg bounds, 98 chg sides, 198 chg coeffs, 0 upgd conss, 53141 impls, 0 clqs
0.29/0.32 c (round 42) 3858 del vars, 6495 del conss, 0 add conss, 721 chg bounds, 101 chg sides, 204 chg coeffs, 0 upgd conss, 53223 impls, 0 clqs
0.29/0.32 c (round 43) 3872 del vars, 6533 del conss, 0 add conss, 731 chg bounds, 105 chg sides, 212 chg coeffs, 0 upgd conss, 53313 impls, 0 clqs
0.29/0.32 c (round 44) 3890 del vars, 6581 del conss, 0 add conss, 746 chg bounds, 107 chg sides, 216 chg coeffs, 0 upgd conss, 53431 impls, 0 clqs
0.29/0.32 c (round 45) 3905 del vars, 6611 del conss, 0 add conss, 757 chg bounds, 111 chg sides, 224 chg coeffs, 0 upgd conss, 53493 impls, 0 clqs
0.29/0.32 c (round 46) 3916 del vars, 6654 del conss, 0 add conss, 769 chg bounds, 114 chg sides, 230 chg coeffs, 0 upgd conss, 53570 impls, 0 clqs
0.29/0.32 c (round 47) 3933 del vars, 6691 del conss, 0 add conss, 787 chg bounds, 121 chg sides, 244 chg coeffs, 0 upgd conss, 53610 impls, 0 clqs
0.29/0.32 c (round 48) 3944 del vars, 6732 del conss, 0 add conss, 797 chg bounds, 122 chg sides, 246 chg coeffs, 0 upgd conss, 53651 impls, 0 clqs
0.29/0.32 c (round 49) 3962 del vars, 6768 del conss, 0 add conss, 814 chg bounds, 126 chg sides, 254 chg coeffs, 0 upgd conss, 53706 impls, 0 clqs
0.29/0.32 c (round 50) 3980 del vars, 6809 del conss, 0 add conss, 828 chg bounds, 128 chg sides, 258 chg coeffs, 0 upgd conss, 53828 impls, 0 clqs
0.29/0.32 c (round 51) 3996 del vars, 6848 del conss, 0 add conss, 841 chg bounds, 131 chg sides, 264 chg coeffs, 0 upgd conss, 53944 impls, 0 clqs
0.29/0.32 c (round 52) 4012 del vars, 6890 del conss, 0 add conss, 853 chg bounds, 134 chg sides, 270 chg coeffs, 0 upgd conss, 54004 impls, 0 clqs
0.29/0.32 c (round 53) 4028 del vars, 6926 del conss, 0 add conss, 868 chg bounds, 137 chg sides, 276 chg coeffs, 0 upgd conss, 54102 impls, 0 clqs
0.29/0.32 c (round 54) 4046 del vars, 6970 del conss, 0 add conss, 883 chg bounds, 140 chg sides, 282 chg coeffs, 0 upgd conss, 54189 impls, 0 clqs
0.29/0.32 c (round 55) 4058 del vars, 7013 del conss, 0 add conss, 896 chg bounds, 145 chg sides, 292 chg coeffs, 0 upgd conss, 54210 impls, 0 clqs
0.29/0.32 c (round 56) 4075 del vars, 7052 del conss, 0 add conss, 911 chg bounds, 147 chg sides, 296 chg coeffs, 0 upgd conss, 54282 impls, 0 clqs
0.29/0.32 c (round 57) 4089 del vars, 7084 del conss, 0 add conss, 924 chg bounds, 151 chg sides, 304 chg coeffs, 0 upgd conss, 54336 impls, 0 clqs
0.29/0.32 c (round 58) 4107 del vars, 7121 del conss, 0 add conss, 933 chg bounds, 151 chg sides, 304 chg coeffs, 0 upgd conss, 54418 impls, 0 clqs
0.29/0.32 c (round 59) 4122 del vars, 7159 del conss, 0 add conss, 946 chg bounds, 152 chg sides, 306 chg coeffs, 0 upgd conss, 54553 impls, 0 clqs
0.29/0.32 c (round 60) 4136 del vars, 7193 del conss, 0 add conss, 957 chg bounds, 154 chg sides, 312 chg coeffs, 0 upgd conss, 54598 impls, 0 clqs
0.29/0.32 c (round 61) 4140 del vars, 7219 del conss, 0 add conss, 961 chg bounds, 154 chg sides, 312 chg coeffs, 0 upgd conss, 54678 impls, 0 clqs
0.29/0.32 c (round 62) 4149 del vars, 7235 del conss, 0 add conss, 969 chg bounds, 157 chg sides, 318 chg coeffs, 0 upgd conss, 54706 impls, 0 clqs
0.29/0.32 c (round 63) 4159 del vars, 7261 del conss, 0 add conss, 976 chg bounds, 157 chg sides, 318 chg coeffs, 0 upgd conss, 54760 impls, 0 clqs
0.29/0.32 c (round 64) 4165 del vars, 7279 del conss, 0 add conss, 983 chg bounds, 161 chg sides, 324 chg coeffs, 0 upgd conss, 54804 impls, 0 clqs
0.29/0.33 c (round 65) 4172 del vars, 7292 del conss, 0 add conss, 985 chg bounds, 162 chg sides, 326 chg coeffs, 0 upgd conss, 54862 impls, 0 clqs
0.29/0.33 c (round 66) 4175 del vars, 7302 del conss, 0 add conss, 988 chg bounds, 162 chg sides, 326 chg coeffs, 0 upgd conss, 54874 impls, 0 clqs
0.29/0.33 c (round 67) 4178 del vars, 7314 del conss, 0 add conss, 991 chg bounds, 162 chg sides, 326 chg coeffs, 0 upgd conss, 54902 impls, 0 clqs
0.29/0.33 c (round 68) 4178 del vars, 7316 del conss, 0 add conss, 991 chg bounds, 162 chg sides, 326 chg coeffs, 0 upgd conss, 54922 impls, 0 clqs
0.29/0.40 c (round 69) 4178 del vars, 7323 del conss, 0 add conss, 991 chg bounds, 169 chg sides, 326 chg coeffs, 6293 upgd conss, 54922 impls, 0 clqs
0.29/0.42 c (round 70) 4178 del vars, 7438 del conss, 0 add conss, 991 chg bounds, 169 chg sides, 326 chg coeffs, 6293 upgd conss, 54922 impls, 0 clqs
0.42/0.49 c (round 71) 4203 del vars, 7441 del conss, 1 add conss, 991 chg bounds, 169 chg sides, 326 chg coeffs, 6293 upgd conss, 71534 impls, 0 clqs
0.48/0.50 c (round 72) 4203 del vars, 7466 del conss, 1 add conss, 991 chg bounds, 169 chg sides, 326 chg coeffs, 6318 upgd conss, 71534 impls, 0 clqs
0.48/0.54 c (round 73) 4228 del vars, 7466 del conss, 1 add conss, 991 chg bounds, 169 chg sides, 326 chg coeffs, 6318 upgd conss, 93000 impls, 0 clqs
0.48/0.55 c (round 74) 4228 del vars, 7491 del conss, 1 add conss, 991 chg bounds, 169 chg sides, 326 chg coeffs, 6343 upgd conss, 93000 impls, 0 clqs
0.48/0.57 c (round 75) 4253 del vars, 7491 del conss, 1 add conss, 991 chg bounds, 169 chg sides, 326 chg coeffs, 6343 upgd conss, 94442 impls, 0 clqs
0.48/0.58 c (round 76) 4253 del vars, 7516 del conss, 1 add conss, 991 chg bounds, 169 chg sides, 326 chg coeffs, 6352 upgd conss, 94442 impls, 0 clqs
0.58/0.60 c (round 77) 4278 del vars, 7516 del conss, 1 add conss, 991 chg bounds, 169 chg sides, 326 chg coeffs, 6352 upgd conss, 95092 impls, 0 clqs
0.58/0.61 c (round 78) 4278 del vars, 7541 del conss, 1 add conss, 991 chg bounds, 169 chg sides, 326 chg coeffs, 6352 upgd conss, 95092 impls, 0 clqs
0.58/0.64 c (round 79) 4303 del vars, 7541 del conss, 1 add conss, 991 chg bounds, 169 chg sides, 326 chg coeffs, 6352 upgd conss, 96440 impls, 0 clqs
0.58/0.65 c (round 80) 4303 del vars, 7566 del conss, 1 add conss, 991 chg bounds, 169 chg sides, 326 chg coeffs, 6354 upgd conss, 96440 impls, 0 clqs
0.58/0.68 c (round 81) 4328 del vars, 7566 del conss, 1 add conss, 991 chg bounds, 169 chg sides, 326 chg coeffs, 6354 upgd conss, 98804 impls, 0 clqs
0.58/0.69 c (round 82) 4328 del vars, 7591 del conss, 1 add conss, 991 chg bounds, 169 chg sides, 326 chg coeffs, 6354 upgd conss, 98804 impls, 0 clqs
0.68/0.71 c (0.7s) probing: 272/2174 (12.5%) - 1 fixings, 150 aggregations, 9470 implications, 1 bound changes
0.68/0.71 c (0.7s) probing aborted: 50/50 successive totally useless probings
0.68/0.72 c (round 83) 4329 del vars, 7591 del conss, 1 add conss, 992 chg bounds, 169 chg sides, 326 chg coeffs, 6354 upgd conss, 98847 impls, 0 clqs
0.68/0.73 c (round 84) 4330 del vars, 7595 del conss, 1 add conss, 992 chg bounds, 169 chg sides, 326 chg coeffs, 6359 upgd conss, 98849 impls, 0 clqs
0.68/0.73 c (round 85) 4330 del vars, 7597 del conss, 1 add conss, 992 chg bounds, 169 chg sides, 326 chg coeffs, 6359 upgd conss, 98849 impls, 0 clqs
0.68/0.75 c (round 86) 4330 del vars, 7599 del conss, 1 add conss, 992 chg bounds, 169 chg sides, 326 chg coeffs, 6359 upgd conss, 98849 impls, 0 clqs
0.68/0.76 c (0.8s) probing: 277/2174 (12.7%) - 1 fixings, 150 aggregations, 9470 implications, 1 bound changes
0.68/0.76 c (0.8s) probing aborted: 50/50 successive totally useless probings
0.68/0.76 c presolving (87 rounds):
0.68/0.76 c 4330 deleted vars, 7599 deleted constraints, 1 added constraints, 992 tightened bounds, 0 added holes, 169 changed sides, 326 changed coefficients
0.68/0.76 c 98849 implications, 0 cliques
0.68/0.76 c presolved problem has 2022 variables (2022 bin, 0 int, 0 impl, 0 cont) and 5903 constraints
0.68/0.76 c 1113 constraints of type <setppc>
0.68/0.76 c 1 constraints of type <and>
0.68/0.76 c 4789 constraints of type <logicor>
0.68/0.76 c transformed objective value is always integral (scale: 1)
0.68/0.76 c Presolving Time: 0.71
0.68/0.76 c - non default parameters ----------------------------------------------------------------------
0.68/0.76 c # SCIP version 2.1.1.4
0.68/0.76 c
0.68/0.76 c # maximal time in seconds to run
0.68/0.76 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.68/0.76 c limits/time = 1797
0.68/0.76 c
0.68/0.76 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.68/0.76 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.68/0.76 c limits/memory = 13950
0.68/0.76 c
0.68/0.76 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.68/0.76 c # [type: int, range: [1,2], default: 1]
0.68/0.76 c timing/clocktype = 2
0.68/0.76 c
0.68/0.76 c # belongs reading time to solving time?
0.68/0.76 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.68/0.76 c timing/reading = TRUE
0.68/0.76 c
0.68/0.76 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.68/0.76 c # [type: int, range: [-1,2147483647], default: -1]
0.68/0.76 c separating/rapidlearning/freq = 0
0.68/0.76 c
0.68/0.76 c -----------------------------------------------------------------------------------------------
0.68/0.76 c start solving
0.68/0.77 c
0.88/0.96 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.88/0.96 c 1.0s| 1 | 0 | 2197 | - | 23M| 0 |1262 |2022 |6004 |2022 |5904 | 0 | 101 | 0 | 2.789861e+03 | -- | Inf
2.78/2.89 c 2.9s| 1 | 0 | 8524 | - | 26M| 0 |1160 |2022 |6678 |2022 |6118 | 214 | 101 | 0 | 2.820725e+03 | -- | Inf
3.09/3.10 c 3.1s| 1 | 0 | 9012 | - | 26M| 0 |1207 |2022 |6678 |2022 |6146 | 242 | 101 | 0 | 2.825023e+03 | -- | Inf
3.29/3.36 c 3.4s| 1 | 0 | 9554 | - | 27M| 0 |1170 |2022 |6678 |2022 |6177 | 273 | 101 | 0 | 2.830673e+03 | -- | Inf
3.59/3.63 c 3.6s| 1 | 0 | 10200 | - | 28M| 0 |1225 |2022 |6678 |2022 |6215 | 311 | 101 | 0 | 2.835201e+03 | -- | Inf
3.88/3.93 c 3.9s| 1 | 0 | 10864 | - | 29M| 0 |1236 |2022 |6678 |2022 |6249 | 345 | 101 | 0 | 2.839526e+03 | -- | Inf
4.29/4.36 c 4.4s| 1 | 0 | 12054 | - | 31M| 0 |1237 |2022 |6678 |2022 |6281 | 377 | 101 | 0 | 2.843738e+03 | -- | Inf
4.59/4.68 c 4.7s| 1 | 0 | 12850 | - | 32M| 0 |1278 |2022 |6678 |2022 |6323 | 419 | 101 | 0 | 2.847581e+03 | -- | Inf
4.89/4.98 c 5.0s| 1 | 0 | 13482 | - | 33M| 0 |1261 |2022 |6678 |2022 |6353 | 449 | 101 | 0 | 2.851260e+03 | -- | Inf
5.19/5.22 c 5.2s| 1 | 0 | 13845 | - | 34M| 0 |1271 |2022 |6678 |2022 |6388 | 484 | 101 | 0 | 2.854482e+03 | -- | Inf
5.39/5.49 c 5.5s| 1 | 0 | 14384 | - | 36M| 0 |1266 |2022 |6678 |2022 |6425 | 521 | 101 | 0 | 2.858415e+03 | -- | Inf
5.68/5.78 c 5.8s| 1 | 0 | 15028 | - | 37M| 0 |1263 |2022 |6678 |2022 |6455 | 551 | 101 | 0 | 2.861932e+03 | -- | Inf
5.98/6.02 c 6.0s| 1 | 0 | 15605 | - | 39M| 0 |1226 |2022 |6678 |2022 |6497 | 593 | 101 | 0 | 2.866079e+03 | -- | Inf
6.18/6.28 c 6.3s| 1 | 0 | 16158 | - | 41M| 0 |1279 |2022 |6678 |2022 |6525 | 621 | 101 | 0 | 2.868330e+03 | -- | Inf
6.59/6.63 c 6.6s| 1 | 0 | 16897 | - | 43M| 0 |1262 |2022 |6678 |2022 |6563 | 659 | 101 | 0 | 2.870781e+03 | -- | Inf
7.09/7.15 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
7.09/7.15 c 7.1s| 1 | 0 | 18409 | - | 44M| 0 |1265 |2022 |6678 |2022 |6381 | 704 | 101 | 0 | 2.874519e+03 | -- | Inf
7.29/7.39 c 7.4s| 1 | 0 | 18952 | - | 46M| 0 |1336 |2022 |6678 |2022 |6417 | 740 | 101 | 0 | 2.877227e+03 | -- | Inf
7.69/7.78 c 7.8s| 1 | 0 | 20060 | - | 49M| 0 |1306 |2022 |6678 |2022 |6451 | 774 | 101 | 0 | 2.879856e+03 | -- | Inf
8.08/8.14 c 8.1s| 1 | 0 | 20983 | - | 50M| 0 |1358 |2022 |6678 |2022 |6497 | 820 | 101 | 0 | 2.883393e+03 | -- | Inf
8.48/8.53 c 8.5s| 1 | 0 | 22107 | - | 52M| 0 |1296 |2022 |6678 |2022 |6546 | 869 | 101 | 0 | 2.886998e+03 | -- | Inf
8.88/8.95 c 9.0s| 1 | 0 | 23222 | - | 54M| 0 |1305 |2022 |6678 |2022 |6573 | 896 | 101 | 0 | 2.890031e+03 | -- | Inf
8.98/9.01 c 9.0s| 1 | 0 | 23314 | - | 54M| 0 |1317 |2022 |6678 |2022 |6442 | 902 | 101 | 0 | 2.890232e+03 | -- | Inf
8.98/9.05 c 9.0s| 1 | 0 | 23369 | - | 54M| 0 |1319 |2022 |6678 |2022 |6446 | 906 | 101 | 0 | 2.890255e+03 | -- | Inf
8.98/9.08 c 9.1s| 1 | 0 | 23394 | - | 54M| 0 |1347 |2022 |6678 |2022 |6448 | 908 | 101 | 0 | 2.890259e+03 | -- | Inf
9.08/9.11 c 9.1s| 1 | 0 | 23433 | - | 54M| 0 |1350 |2022 |6678 |2022 |6450 | 910 | 101 | 0 | 2.890276e+03 | -- | Inf
9.08/9.15 c 9.1s| 1 | 0 | 23465 | - | 54M| 0 |1351 |2022 |6678 |2022 |6451 | 911 | 101 | 0 | 2.890283e+03 | -- | Inf
9.08/9.19 c 9.2s| 1 | 0 | 23525 | - | 54M| 0 |1338 |2022 |6678 |2022 |6452 | 912 | 101 | 0 | 2.890325e+03 | -- | Inf
10.19/10.20 c 10.2s| 1 | 2 | 23525 | - | 54M| 0 |1338 |2022 |6678 |2022 |6452 | 912 | 101 | 14 | 2.890325e+03 | -- | Inf
52.28/52.32 c 52.3s| 100 | 99 | 90219 | 673.7 | 54M| 17 |1589 |2022 |6701 |2022 |6137 | 913 | 124 | 402 | 2.902996e+03 | -- | Inf
63.57/63.64 c 63.6s| 200 | 199 |129831 | 534.2 | 55M| 22 |1603 |2022 |6743 |2022 |6137 | 914 | 166 | 468 | 2.902996e+03 | -- | Inf
82.56/82.67 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
82.56/82.67 c 82.7s| 300 | 297 |191999 | 563.5 | 55M| 22 |1513 |2022 |6837 |2022 |6137 | 916 | 284 | 564 | 2.922213e+03 | -- | Inf
95.35/95.41 c 95.4s| 400 | 397 |238170 | 538.0 | 55M| 22 |1620 |2022 |6858 |2022 |6137 | 916 | 312 | 660 | 2.924213e+03 | -- | Inf
103.85/103.93 c 104s| 500 | 497 |265724 | 485.4 | 55M| 22 |1547 |2022 |6866 |2022 |6137 | 917 | 337 | 740 | 2.925213e+03 | -- | Inf
114.05/114.16 c 114s| 600 | 597 |304718 | 469.4 | 56M| 22 |1703 |2022 |6850 |2022 |6137 | 917 | 372 | 804 | 2.939546e+03 | -- | Inf
122.06/122.15 c 122s| 700 | 697 |332152 | 441.5 | 56M| 25 |1631 |2022 |6847 |2022 |6137 | 920 | 391 | 884 | 2.941296e+03 | -- | Inf
130.15/130.26 c 130s| 800 | 797 |362201 | 423.9 | 56M| 25 |1622 |2022 |6855 |2022 |6137 | 920 | 410 | 964 | 2.944296e+03 | -- | Inf
138.34/138.43 c 138s| 900 | 897 |392193 | 410.1 | 56M| 25 |1692 |2022 |6857 |2022 |6138 | 920 | 431 |1036 | 2.950296e+03 | -- | Inf
145.75/145.89 c 146s| 1000 | 997 |419217 | 396.1 | 57M| 25 |1561 |2022 |6869 |2022 |6137 | 921 | 449 |1108 | 2.957546e+03 | -- | Inf
152.75/152.81 c 153s| 1100 | 1097 |443730 | 382.4 | 57M| 25 |1596 |2022 |6884 |2022 |6137 | 921 | 467 |1180 | 2.962296e+03 | -- | Inf
158.94/159.04 c 159s| 1200 | 1197 |466481 | 369.4 | 57M| 25 |1571 |2022 |6892 |2022 |6137 | 921 | 478 |1236 | 2.963296e+03 | -- | Inf
166.84/166.94 c 167s| 1300 | 1297 |495610 | 363.4 | 57M| 25 |1567 |2022 |6918 |2022 |6137 | 921 | 510 |1300 | 2.963546e+03 | -- | Inf
173.34/173.45 c 173s| 1400 | 1397 |520342 | 355.1 | 58M| 25 |1528 |2022 |6927 |2022 |6137 | 921 | 527 |1356 | 2.964296e+03 | -- | Inf
182.34/182.45 c 182s| 1500 | 1497 |553893 | 353.8 | 58M| 25 |1591 |2022 |6941 |2022 |6137 | 921 | 556 |1428 | 2.964546e+03 | -- | Inf
189.04/189.17 c 189s| 1600 | 1597 |580026 | 348.0 | 58M| 25 |1564 |2022 |6945 |2022 |6137 | 921 | 568 |1484 | 2.965546e+03 | -- | Inf
198.64/198.79 c 199s| 1700 | 1697 |615257 | 348.3 | 58M| 25 |1619 |2022 |6936 |2022 |6137 | 921 | 578 |1556 | 2.966546e+03 | -- | Inf
207.03/207.12 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
207.03/207.12 c 207s| 1800 | 1797 |646234 | 346.1 | 59M| 28 |1665 |2022 |6943 |2022 |6137 | 921 | 593 |1628 | 2.980046e+03 | -- | Inf
218.53/218.61 c 219s| 1900 | 1897 |689425 | 350.7 | 59M| 28 |1665 |2022 |6947 |2022 |6137 | 921 | 619 |1732 | 2.983546e+03 | -- | Inf
225.63/225.77 c 226s| 2000 | 1997 |714874 | 345.8 | 59M| 28 |1624 |2022 |6950 |2022 |6137 | 922 | 632 |1804 | 2.983546e+03 | -- | Inf
232.23/232.35 c 232s| 2100 | 2097 |738188 | 340.5 | 59M| 28 |1559 |2022 |6923 |2022 |6137 | 922 | 642 |1876 | 2.984546e+03 | -- | Inf
243.63/243.75 c 244s| 2200 | 2197 |781599 | 344.7 | 59M| 28 |1504 |2022 |6930 |2022 |6137 | 922 | 671 |1972 | 2.984546e+03 | -- | Inf
251.73/251.84 c 252s| 2300 | 2297 |809630 | 341.9 | 60M| 28 |1582 |2022 |6920 |2022 |6137 | 923 | 689 |2054 | 2.984546e+03 | -- | Inf
260.03/260.17 c 260s| 2400 | 2397 |849561 | 344.3 | 60M| 28 |1534 |2022 |6925 |2022 |6137 | 923 | 721 |2062 | 2.985546e+03 | -- | Inf
265.33/265.41 c 265s| 2500 | 2497 |875616 | 341.0 | 60M| 28 |1578 |2022 |6920 |2022 |6137 | 923 | 735 |2062 | 2.985546e+03 | -- | Inf
271.73/271.81 c 272s| 2600 | 2597 |907207 | 340.0 | 60M| 28 |1558 |2022 |6917 |2022 |6137 | 924 | 766 |2062 | 2.985546e+03 | -- | Inf
280.43/280.56 c 281s| 2700 | 2697 |949184 | 343.0 | 61M| 28 |1594 |2022 |6898 |2022 |6137 | 924 | 782 |2062 | 2.985546e+03 | -- | Inf
290.82/290.92 c 291s| 2800 | 2797 |990825 | 345.6 | 61M| 28 |1656 |2022 |6887 |2022 |6137 | 924 | 810 |2121 | 2.985546e+03 | -- | Inf
300.72/300.84 c 301s| 2900 | 2897 | 1028k| 346.6 | 61M| 28 |1709 |2022 |6898 |2022 |6137 | 924 | 859 |2178 | 2.986546e+03 | -- | Inf
314.92/315.06 c 315s| 3000 | 2997 | 1088k| 355.1 | 61M| 28 |1706 |2022 |6888 |2022 |6137 | 924 | 873 |2235 | 2.986546e+03 | -- | Inf
325.82/325.92 c 326s| 3100 | 3097 | 1129k| 356.8 | 62M| 28 |1585 |2022 |6879 |2022 |6137 | 925 | 904 |2306 | 2.986546e+03 | -- | Inf
333.71/333.88 c 334s| 3200 | 3197 | 1162k| 356.1 | 62M| 28 |1467 |2022 |6878 |2022 |6137 | 925 | 935 |2342 | 2.986546e+03 | -- | Inf
343.81/343.98 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
343.81/343.98 c 344s| 3300 | 3297 | 1202k| 357.5 | 62M| 28 |1556 |2022 |6890 |2022 |6137 | 925 | 982 |2401 | 2.987546e+03 | -- | Inf
355.60/355.77 c 356s| 3400 | 3397 | 1249k| 360.6 | 62M| 28 |1696 |2022 |6880 |2022 |6137 | 925 |1013 |2470 | 2.988546e+03 | -- | Inf
365.41/365.56 c 366s| 3500 | 3497 | 1286k| 361.0 | 63M| 28 |1650 |2022 |6866 |2022 |6138 | 926 |1022 |2546 | 2.996546e+03 | -- | Inf
375.10/375.27 c 375s| 3600 | 3597 | 1326k| 362.1 | 63M| 28 |1671 |2022 |6851 |2022 |6138 | 927 |1048 |2603 | 2.997546e+03 | -- | Inf
388.30/388.45 c 388s| 3700 | 3697 | 1376k| 365.9 | 63M| 28 |1462 |2022 |6832 |2022 |6137 | 929 |1067 |2693 | 2.997546e+03 | -- | Inf
400.40/400.50 c 400s| 3800 | 3797 | 1425k| 369.1 | 63M| 28 |1526 |2022 |6840 |2022 |6137 | 932 |1112 |2743 | 2.997546e+03 | -- | Inf
411.80/411.91 c 412s| 3900 | 3897 | 1469k| 370.9 | 64M| 28 |1533 |2022 |6832 |2022 |6137 | 934 |1123 |2821 | 2.998546e+03 | -- | Inf
420.50/420.63 c 421s| 4000 | 3997 | 1502k| 369.9 | 64M| 28 |1463 |2022 |6810 |2022 |6137 | 937 |1135 |2900 | 2.998546e+03 | -- | Inf
430.90/431.09 c 431s| 4100 | 4097 | 1542k| 370.7 | 64M| 28 |1645 |2022 |6807 |2022 |6137 | 940 |1164 |2986 | 2.998546e+03 | -- | Inf
444.59/444.75 c 445s| 4200 | 4197 | 1595k| 374.3 | 64M| 28 |1473 |2022 |6823 |2022 |6138 | 943 |1216 |3069 | 2.998546e+03 | -- | Inf
455.79/455.95 c 456s| 4300 | 4297 | 1635k| 374.9 | 64M| 28 |1471 |2022 |6815 |2022 |6137 | 948 |1234 |3165 | 2.998546e+03 | -- | Inf
470.89/471.05 c 471s| 4400 | 4397 | 1693k| 379.6 | 65M| 28 |1644 |2022 |6824 |2022 |6137 | 955 |1264 |3283 | 2.999546e+03 | -- | Inf
485.28/485.41 c 485s| 4500 | 4497 | 1748k| 383.4 | 65M| 28 |1566 |2022 |6820 |2022 |6137 | 961 |1302 |3387 | 2.999546e+03 | -- | Inf
496.69/496.84 c 497s| 4600 | 4597 | 1791k| 384.5 | 65M| 28 |1563 |2022 |6813 |2022 |6137 | 965 |1315 |3496 | 2.999546e+03 | -- | Inf
508.79/508.95 c 509s| 4700 | 4697 | 1834k| 385.4 | 65M| 28 |1586 |2022 |6836 |2022 |6137 | 966 |1356 |3668 | 2.999546e+03 | -- | Inf
518.68/518.80 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
518.68/518.80 c 519s| 4800 | 4797 | 1873k| 385.5 | 66M| 28 |1605 |2022 |6841 |2022 |6138 | 972 |1386 |3730 | 2.999546e+03 | -- | Inf
528.08/528.23 c 528s| 4900 | 4897 | 1919k| 387.0 | 66M| 28 |1680 |2022 |6848 |2022 |6137 | 973 |1429 |3738 | 2.999546e+03 | -- | Inf
533.97/534.13 c 534s| 5000 | 4997 | 1951k| 385.7 | 66M| 28 |1715 |2022 |6840 |2022 |6137 | 976 |1439 |3738 | 2.999546e+03 | -- | Inf
542.28/542.48 c 542s| 5100 | 5097 | 1992k| 386.1 | 66M| 28 |1638 |2022 |6807 |2022 |6138 | 981 |1464 |3738 | 2.999546e+03 | -- | Inf
551.88/552.08 c 552s| 5200 | 5197 | 2039k| 387.8 | 66M| 28 |1586 |2022 |6774 |2022 |6137 | 988 |1500 |3742 | 3.000546e+03 | -- | Inf
560.47/560.69 c 561s| 5300 | 5297 | 2084k| 388.9 | 67M| 28 |1510 |2022 |6766 |2022 |6137 | 997 |1527 |3742 | 3.000546e+03 | -- | Inf
569.77/569.92 c 570s| 5400 | 5397 | 2123k| 389.0 | 67M| 31 |1484 |2022 |6760 |2022 |6137 |1003 |1546 |3772 | 3.000546e+03 | -- | Inf
580.47/580.66 c 581s| 5500 | 5491 | 2170k| 390.3 | 67M| 33 |1535 |2022 |6793 |2022 |6137 |1005 |1607 |3804 | 3.000546e+03 | -- | Inf
589.97/590.14 c 590s| 5600 | 5591 | 2208k| 390.3 | 67M| 33 |1480 |2022 |6802 |2022 |6137 |1010 |1643 |3854 | 3.001546e+03 | -- | Inf
597.97/598.16 c 598s| 5700 | 5674 | 2240k| 389.1 | 68M| 40 | 962 |2022 |6840 |2022 |6137 |1016 |1707 |3898 | 3.001546e+03 | -- | Inf
604.46/604.66 c 605s| 5800 | 5715 | 2266k| 386.8 | 68M| 40 |1502 |2022 |6893 |2022 |6137 |1016 |1802 |3926 | 3.002546e+03 | -- | Inf
611.47/611.69 c 612s| 5900 | 5777 | 2294k| 385.0 | 68M| 41 |1332 |2022 |6962 |2022 |6138 |1017 |1933 |3959 | 3.002546e+03 | -- | Inf
617.07/617.23 c 617s| 6000 | 5805 | 2315k| 382.1 | 68M| 43 |1336 |2022 |7107 |2022 |6138 |1017 |2117 |3994 | 3.003546e+03 | -- | Inf
622.17/622.34 c 622s| 6100 | 5814 | 2331k| 378.5 | 69M| 43 |1367 |2022 |7303 |2022 |6138 |1017 |2367 |4028 | 3.003546e+03 | -- | Inf
628.07/628.28 c 628s| 6200 | 5843 | 2356k| 376.3 | 69M| 43 |1450 |2022 |7411 |2022 |6138 |1017 |2607 |4065 | 3.004546e+03 | -- | Inf
634.76/634.97 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
634.76/634.97 c 635s| 6300 | 5872 | 2380k| 374.2 | 69M| 43 | - |2022 |7423 | 0 | 0 |1017 |2786 |4107 | 3.009796e+03 | -- | Inf
641.86/642.04 c 642s| 6400 | 5899 | 2408k| 372.6 | 69M| 44 |1183 |2022 |7468 |2022 |6138 |1017 |2985 |4153 | 3.010796e+03 | -- | Inf
647.57/647.76 c 648s| 6500 | 5894 | 2428k| 370.1 | 69M| 44 |1425 |2022 |7534 |2022 |6138 |1017 |3147 |4197 | 3.010796e+03 | -- | Inf
658.77/658.92 c 659s| 6600 | 5897 | 2486k| 373.2 | 69M| 45 | - |2022 |7421 | 0 | 0 |1017 |3288 |4216 | 3.011796e+03 | -- | Inf
663.96/664.12 c 664s| 6700 | 5907 | 2507k| 370.8 | 69M| 45 |1329 |2022 |7438 |2022 |6138 |1017 |3483 |4242 | 3.011796e+03 | -- | Inf
669.46/669.65 c 670s| 6800 | 5899 | 2531k| 368.9 | 69M| 45 |1198 |2022 |7346 |2022 |6138 |1017 |3658 |4272 | 3.011796e+03 | -- | Inf
677.37/677.54 c 678s| 6900 | 5943 | 2561k| 367.9 | 70M| 45 |1469 |2022 |7172 |2022 |6138 |1017 |3811 |4325 | 3.011796e+03 | -- | Inf
685.85/686.00 c 686s| 7000 | 6000 | 2600k| 368.2 | 70M| 45 | - |2022 |7220 | 0 | 0 |1017 |3992 |4359 | 3.011796e+03 | -- | Inf
692.65/692.81 c 693s| 7100 | 6013 | 2625k| 366.5 | 70M| 45 | - |2022 |7291 | 0 | 0 |1017 |4244 |4403 | 3.011796e+03 | -- | Inf
699.36/699.60 c 700s| 7200 | 6034 | 2653k| 365.4 | 70M| 45 | - |2022 |7106 | 0 | 0 |1017 |4415 |4422 | 3.011796e+03 | -- | Inf
705.36/705.55 c 706s| 7300 | 6027 | 2676k| 363.5 | 70M| 45 | - |2022 |7016 | 0 | 0 |1017 |4606 |4478 | 3.011796e+03 | -- | Inf
711.56/711.73 c 712s| 7400 | 6008 | 2703k| 362.2 | 70M| 45 | - |2022 |6862 | 0 | 0 |1017 |4781 |4514 | 3.012796e+03 | -- | Inf
718.15/718.37 c 718s| 7500 | 6040 | 2730k| 361.0 | 70M| 45 | - |2022 |6947 | 0 | 0 |1017 |4993 |4567 | 3.012796e+03 | -- | Inf
724.76/724.99 c 725s| 7600 | 6053 | 2756k| 359.6 | 70M| 45 |1417 |2022 |6918 |2022 |6138 |1017 |5171 |4603 | 3.012796e+03 | -- | Inf
730.25/730.47 c 730s| 7700 | 6013 | 2779k| 358.0 | 69M| 45 |1193 |2022 |6956 |2022 |6138 |1017 |5367 |4634 | 3.012796e+03 | -- | Inf
735.35/735.54 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
735.35/735.54 c 736s| 7800 | 6014 | 2799k| 356.0 | 69M| 45 |1432 |2022 |7090 |2022 |6137 |1017 |5568 |4671 | 3.012796e+03 | -- | Inf
743.54/743.76 c 744s| 7900 | 6058 | 2830k| 355.4 | 70M| 45 |1363 |2022 |7108 |2022 |6137 |1018 |5684 |4718 | 3.012796e+03 | -- | Inf
753.54/753.73 c 754s| 8000 | 6071 | 2867k| 355.6 | 70M| 45 |1464 |2022 |7208 |2022 |6138 |1019 |5829 |4772 | 3.012796e+03 | -- | Inf
758.54/758.75 c 759s| 8100 | 6088 | 2887k| 353.6 | 70M| 45 |1410 |2022 |7327 |2022 |6138 |1019 |5985 |4791 | 3.012796e+03 | -- | Inf
764.83/765.02 c 765s| 8200 | 6095 | 2910k| 352.1 | 70M| 45 | - |2022 |7344 | 0 | 0 |1019 |6122 |4829 | 3.012796e+03 | -- | Inf
770.43/770.68 c 771s| 8300 | 6089 | 2932k| 350.5 | 70M| 45 |1474 |2022 |7345 |2022 |6138 |1019 |6300 |4859 | 3.012796e+03 | -- | Inf
777.44/777.61 c 778s| 8400 | 6115 | 2959k| 349.6 | 70M| 45 |1301 |2022 |7426 |2022 |6138 |1019 |6505 |4891 | 3.012796e+03 | -- | Inf
783.53/783.75 c 784s| 8500 | 6121 | 2982k| 348.1 | 70M| 45 | - |2022 |7543 | 0 | 0 |1019 |6733 |4940 | 3.012796e+03 | -- | Inf
789.03/789.26 c 789s| 8600 | 6126 | 3006k| 346.9 | 70M| 45 |1574 |2022 |7340 |2022 |6138 |1019 |6863 |4960 | 3.012796e+03 | -- | Inf
794.83/795.06 c 795s| 8700 | 6132 | 3030k| 345.7 | 70M| 45 |1296 |2022 |7330 |2022 |6137 |1019 |6997 |5006 | 3.012796e+03 | -- | Inf
800.13/800.31 c 800s| 8800 | 6158 | 3050k| 344.0 | 70M| 45 |1224 |2022 |7393 |2022 |6138 |1024 |7160 |5045 | 3.012796e+03 | -- | Inf
805.63/805.87 c 806s| 8900 | 6168 | 3073k| 342.8 | 70M| 45 | - |2022 |7560 |2022 |6137 |1025 |7379 |5078 | 3.012796e+03 | -- | Inf
812.23/812.46 c 812s| 9000 | 6204 | 3095k| 341.4 | 70M| 45 |1353 |2022 |7694 |2022 |6138 |1028 |7637 |5117 | 3.013796e+03 | -- | Inf
818.23/818.48 c 818s| 9100 | 6217 | 3117k| 340.0 | 71M| 45 |1077 |2022 |7641 |2022 |6137 |1029 |7817 |5159 | 3.013796e+03 | -- | Inf
823.23/823.40 c 823s| 9200 | 6234 | 3136k| 338.4 | 71M| 45 |1231 |2022 |7639 |2022 |6137 |1029 |7975 |5178 | 3.013796e+03 | -- | Inf
828.13/828.33 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
828.13/828.33 c 828s| 9300 | 6248 | 3154k| 336.7 | 71M| 45 |1305 |2022 |7712 |2022 |6137 |1030 |8168 |5211 | 3.013796e+03 | -- | Inf
831.73/831.96 c 832s| 9400 | 6264 | 3169k| 334.7 | 71M| 49 | - |2022 |7804 | 0 | 0 |1034 |8354 |5231 | 3.013796e+03 | -- | Inf
837.42/837.69 c 838s| 9500 | 6273 | 3189k| 333.3 | 71M| 49 |1404 |2022 |7710 |2022 |6138 |1035 |8513 |5281 | 3.013796e+03 | -- | Inf
841.02/841.27 c 841s| 9600 | 6279 | 3205k| 331.5 | 71M| 49 |1158 |2022 |7712 |2022 |6138 |1037 |8676 |5293 | 3.013796e+03 | -- | Inf
846.93/847.12 c 847s| 9700 | 6300 | 3228k| 330.4 | 71M| 49 |1448 |2022 |7694 |2022 |6138 |1039 |8840 |5324 | 3.013796e+03 | -- | Inf
853.02/853.23 c 853s| 9800 | 6333 | 3250k| 329.3 | 71M| 49 |1358 |2022 |7641 |2022 |6138 |1040 |9013 |5352 | 3.013796e+03 | -- | Inf
858.22/858.42 c 858s| 9900 | 6354 | 3269k| 327.9 | 71M| 49 | - |2022 |7692 | 0 | 0 |1041 |9213 |5403 | 3.013796e+03 | -- | Inf
863.63/863.86 c 864s| 10000 | 6367 | 3291k| 326.8 | 71M| 49 | - |2022 |7685 | 0 | 0 |1042 |9416 |5435 | 3.013796e+03 | -- | Inf
867.33/867.52 c 868s| 10100 | 6354 | 3306k| 325.0 | 71M| 49 |1435 |2022 |7797 |2022 |6138 |1044 |9605 |5467 | 3.013796e+03 | -- | Inf
871.22/871.46 c 871s| 10200 | 6359 | 3323k| 323.5 | 71M| 49 | - |2022 |7756 | 0 | 0 |1045 |9756 |5487 | 3.013796e+03 | -- | Inf
877.53/877.74 c 878s| 10300 | 6366 | 3347k| 322.7 | 71M| 49 | 982 |2022 |7651 |2022 |6137 |1046 |9947 |5519 | 3.013796e+03 | -- | Inf
883.22/883.46 c 883s| 10400 | 6380 | 3374k| 322.2 | 71M| 49 |1109 |2022 |7502 |2022 |6137 |1046 | 10k|5523 | 3.013796e+03 | -- | Inf
886.82/887.05 c 887s| 10500 | 6371 | 3390k| 320.7 | 71M| 49 |1191 |2022 |7381 |2022 |6138 |1047 | 10k|5540 | 3.013796e+03 | -- | Inf
889.52/889.70 c 890s| 10600 | 6357 | 3404k| 319.0 | 71M| 49 | - |2022 |7463 | 0 | 0 |1047 | 10k|5541 | 3.013796e+03 | -- | Inf
893.02/893.28 c 893s| 10700 | 6364 | 3422k| 317.6 | 71M| 49 |1289 |2022 |7419 |2022 |6137 |1049 | 10k|5545 | 3.013796e+03 | -- | Inf
897.82/898.07 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
897.82/898.07 c 898s| 10800 | 6370 | 3447k| 317.1 | 71M| 49 |1214 |2022 |7445 |2022 |6138 |1050 | 10k|5547 | 3.013796e+03 | -- | Inf
902.71/902.94 c 903s| 10900 | 6376 | 3472k| 316.4 | 71M| 49 |1528 |2022 |7441 |2022 |6138 |1053 | 10k|5547 | 3.013796e+03 | -- | Inf
906.71/906.91 c 907s| 11000 | 6400 | 3491k| 315.3 | 71M| 49 | 954 |2022 |7496 |2022 |6138 |1053 | 11k|5548 | 3.013796e+03 | -- | Inf
911.01/911.28 c 911s| 11100 | 6425 | 3513k| 314.4 | 71M| 50 |1474 |2022 |7515 |2022 |6138 |1053 | 11k|5548 | 3.014546e+03 | -- | Inf
915.11/915.37 c 915s| 11200 | 6436 | 3533k| 313.4 | 71M| 50 |1396 |2022 |7461 |2022 |6138 |1053 | 11k|5548 | 3.014796e+03 | -- | Inf
919.61/919.80 c 920s| 11300 | 6468 | 3556k| 312.7 | 71M| 50 | - |2022 |7534 | 0 | 0 |1053 | 11k|5548 | 3.014796e+03 | -- | Inf
923.11/923.30 c 923s| 11400 | 6472 | 3574k| 311.6 | 71M| 50 |1377 |2022 |7607 |2022 |6138 |1053 | 11k|5548 | 3.014796e+03 | -- | Inf
925.81/926.09 c 926s| 11500 | 6465 | 3591k| 310.3 | 71M| 50 |1018 |2022 |7674 |2022 |6138 |1053 | 11k|5548 | 3.014796e+03 | -- | Inf
929.10/929.39 c 929s| 11600 | 6481 | 3609k| 309.2 | 71M| 50 | - |2022 |7595 | 0 | 0 |1053 | 12k|5548 | 3.014796e+03 | -- | Inf
932.10/932.36 c 932s| 11700 | 6501 | 3624k| 307.8 | 71M| 50 |1310 |2022 |7681 |2022 |6138 |1053 | 12k|5548 | 3.014796e+03 | -- | Inf
934.72/935.00 c 935s| 11800 | 6508 | 3639k| 306.5 | 71M| 50 |1249 |2022 |7794 |2022 |6138 |1053 | 12k|5548 | 3.014796e+03 | -- | Inf
938.31/938.55 c 939s| 11900 | 6516 | 3658k| 305.5 | 71M| 50 | - |2022 |7856 | 0 | 0 |1053 | 12k|5548 | 3.014796e+03 | -- | Inf
943.01/943.29 c 943s| 12000 | 6542 | 3682k| 304.9 | 71M| 50 | - |2022 |7808 | 0 | 0 |1053 | 12k|5550 | 3.014796e+03 | -- | Inf
945.91/946.14 c 946s| 12100 | 6553 | 3697k| 303.7 | 71M| 50 |1295 |2022 |7840 |2022 |6138 |1053 | 13k|5550 | 3.014796e+03 | -- | Inf
948.41/948.67 c 949s| 12200 | 6555 | 3711k| 302.3 | 71M| 50 |1163 |2022 |7840 |2022 |6138 |1053 | 13k|5550 | 3.014796e+03 | -- | Inf
955.20/955.40 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
955.20/955.40 c 955s| 12300 | 6576 | 3739k| 302.1 | 71M| 50 |1245 |2022 |7651 |2022 |6138 |1053 | 13k|5574 | 3.014796e+03 | -- | Inf
958.51/958.78 c 959s| 12400 | 6580 | 3753k| 300.8 | 71M| 50 |1188 |2022 |7750 |2022 |6138 |1053 | 13k|5595 | 3.014796e+03 | -- | Inf
963.31/963.54 c 964s| 12500 | 6600 | 3774k| 300.1 | 72M| 50 | - |2022 |7755 | 0 | 0 |1053 | 13k|5606 | 3.014796e+03 | -- | Inf
968.81/969.05 c 969s| 12600 | 6608 | 3796k| 299.5 | 71M| 50 |1248 |2022 |7567 |2022 |6138 |1053 | 13k|5640 | 3.014796e+03 | -- | Inf
973.90/974.12 c 974s| 12700 | 6622 | 3812k| 298.4 | 71M| 50 |1156 |2022 |7567 |2022 |6138 |1053 | 14k|5675 | 3.014796e+03 | -- | Inf
976.90/977.13 c 977s| 12800 | 6627 | 3827k| 297.2 | 71M| 50 |1149 |2022 |7524 |2022 |6138 |1053 | 14k|5675 | 3.014796e+03 | -- | Inf
982.50/982.72 c 983s| 12900 | 6638 | 3850k| 296.7 | 71M| 50 |1416 |2022 |7544 |2022 |6138 |1053 | 14k|5702 | 3.014796e+03 | -- | Inf
988.80/989.01 c 989s| 13000 | 6644 | 3876k| 296.4 | 72M| 50 |1492 |2022 |7539 |2022 |6138 |1053 | 14k|5735 | 3.014796e+03 | -- | Inf
993.79/994.02 c 994s| 13100 | 6656 | 3895k| 295.6 | 72M| 50 | - |2022 |7554 | 0 | 0 |1053 | 14k|5766 | 3.014796e+03 | -- | Inf
1000.80/1001.05 c 1001s| 13200 | 6669 | 3919k| 295.2 | 72M| 50 | - |2022 |7325 | 0 | 0 |1053 | 14k|5828 | 3.015546e+03 | -- | Inf
1007.30/1007.55 c 1008s| 13300 | 6683 | 3947k| 295.0 | 71M| 50 |1081 |2022 |7220 |2022 |6138 |1053 | 14k|5863 | 3.015546e+03 | -- | Inf
1010.19/1010.41 c 1010s| 13400 | 6690 | 3963k| 294.1 | 72M| 50 | - |2022 |7240 | 0 | 0 |1053 | 15k|5863 | 3.015546e+03 | -- | Inf
1014.10/1014.38 c 1014s| 13500 | 6683 | 3979k| 293.1 | 72M| 50 |1470 |2022 |7341 |2022 |6138 |1053 | 15k|5890 | 3.015546e+03 | -- | Inf
1022.49/1022.75 c 1023s| 13600 | 6692 | 4015k| 293.6 | 72M| 50 |1430 |2022 |7374 |2022 |6138 |1053 | 15k|5916 | 3.015796e+03 | -- | Inf
1027.99/1028.26 c 1028s| 13700 | 6711 | 4036k| 292.9 | 72M| 50 |1537 |2022 |7390 |2022 |6138 |1053 | 15k|5939 | 3.015796e+03 | -- | Inf
1032.90/1033.10 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1032.90/1033.10 c 1033s| 13800 | 6718 | 4054k| 292.1 | 72M| 50 |1495 |2022 |7438 |2022 |6138 |1054 | 15k|5961 | 3.015796e+03 | -- | Inf
1038.19/1038.41 c 1038s| 13900 | 6736 | 4076k| 291.6 | 72M| 50 |1312 |2022 |7413 |2022 |6138 |1054 | 15k|5998 | 3.015796e+03 | -- | Inf
1043.99/1044.25 c 1044s| 14000 | 6759 | 4098k| 291.1 | 72M| 50 | - |2022 |7359 | 0 | 0 |1054 | 15k|6031 | 3.015796e+03 | -- | Inf
1049.29/1049.58 c 1050s| 14100 | 6784 | 4120k| 290.6 | 72M| 50 |1119 |2022 |7183 |2022 |6138 |1054 | 16k|6057 | 3.015796e+03 | -- | Inf
1055.99/1056.24 c 1056s| 14200 | 6801 | 4144k| 290.3 | 72M| 50 |1364 |2022 |7010 |2022 |6138 |1054 | 16k|6103 | 3.016546e+03 | -- | Inf
1060.19/1060.45 c 1060s| 14300 | 6818 | 4164k| 289.6 | 72M| 50 | - |2022 |7075 | 0 | 0 |1054 | 16k|6112 | 3.016546e+03 | -- | Inf
1065.18/1065.49 c 1065s| 14400 | 6833 | 4181k| 288.8 | 72M| 51 |1378 |2022 |7079 |2022 |6138 |1054 | 16k|6145 | 3.016546e+03 | -- | Inf
1069.89/1070.14 c 1070s| 14500 | 6848 | 4201k| 288.2 | 72M| 51 |1338 |2022 |7051 |2022 |6138 |1054 | 16k|6158 | 3.016546e+03 | -- | Inf
1075.38/1075.66 c 1076s| 14600 | 6860 | 4223k| 287.7 | 72M| 51 |1206 |2022 |7082 |2022 |6138 |1054 | 16k|6189 | 3.016546e+03 | -- | Inf
1079.18/1079.49 c 1079s| 14700 | 6862 | 4239k| 286.8 | 72M| 51 | - |2022 |7099 | 0 | 0 |1054 | 17k|6218 | 3.016546e+03 | -- | Inf
1084.38/1084.66 c 1085s| 14800 | 6869 | 4260k| 286.3 | 72M| 51 |1248 |2022 |7230 |2022 |6138 |1054 | 17k|6250 | 3.016546e+03 | -- | Inf
1092.87/1093.10 c 1093s| 14900 | 6877 | 4302k| 287.2 | 72M| 51 |1187 |2022 |7300 |2022 |6138 |1054 | 17k|6271 | 3.016796e+03 | -- | Inf
1099.08/1099.39 c 1099s| 15000 | 6906 | 4328k| 287.0 | 72M| 51 | - |2022 |7265 | 0 | 0 |1055 | 17k|6294 | 3.017546e+03 | -- | Inf
1103.68/1103.92 c 1104s| 15100 | 6920 | 4347k| 286.3 | 72M| 51 | - |2022 |7313 | 0 | 0 |1055 | 17k|6328 | 3.017546e+03 | -- | Inf
1110.07/1110.33 c 1110s| 15200 | 6930 | 4369k| 285.9 | 72M| 51 |1254 |2022 |7238 |2022 |6138 |1055 | 17k|6375 | 3.017546e+03 | -- | Inf
1114.27/1114.50 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1114.27/1114.50 c 1114s| 15300 | 6944 | 4390k| 285.4 | 72M| 51 | - |2022 |7169 | 0 | 0 |1055 | 18k|6375 | 3.017546e+03 | -- | Inf
1119.48/1119.71 c 1120s| 15400 | 6974 | 4412k| 285.0 | 72M| 51 |1326 |2022 |7157 |2022 |6138 |1055 | 18k|6397 | 3.017546e+03 | -- | Inf
1123.57/1123.86 c 1124s| 15500 | 6981 | 4428k| 284.2 | 72M| 51 |1381 |2022 |7177 |2022 |6138 |1055 | 18k|6427 | 3.017546e+03 | -- | Inf
1128.58/1128.82 c 1129s| 15600 | 6988 | 4449k| 283.7 | 72M| 51 |1321 |2022 |7211 |2022 |6138 |1055 | 18k|6449 | 3.017546e+03 | -- | Inf
1134.57/1134.86 c 1135s| 15700 | 7011 | 4472k| 283.4 | 72M| 51 |1235 |2022 |7152 |2022 |6138 |1055 | 18k|6499 | 3.017546e+03 | -- | Inf
1139.57/1139.88 c 1140s| 15800 | 7041 | 4490k| 282.7 | 72M| 51 | 896 |2022 |7158 |2022 |6138 |1055 | 18k|6543 | 3.018546e+03 | -- | Inf
1145.07/1145.33 c 1145s| 15900 | 7059 | 4512k| 282.3 | 73M| 51 | - |2022 |7241 | 0 | 0 |1055 | 18k|6569 | 3.018546e+03 | -- | Inf
1149.77/1150.03 c 1150s| 16000 | 7076 | 4531k| 281.8 | 73M| 53 |1375 |2022 |7178 |2022 |6138 |1055 | 19k|6587 | 3.018546e+03 | -- | Inf
1155.47/1155.75 c 1156s| 16100 | 7089 | 4551k| 281.3 | 73M| 53 | 954 |2022 |7249 |2022 |6138 |1055 | 19k|6636 | 3.018546e+03 | -- | Inf
1158.97/1159.26 c 1159s| 16200 | 7093 | 4569k| 280.6 | 73M| 53 |1281 |2022 |7300 |2022 |6138 |1055 | 19k|6650 | 3.018546e+03 | -- | Inf
1163.67/1163.92 c 1164s| 16300 | 7099 | 4586k| 279.9 | 73M| 53 |1355 |2022 |7188 |2022 |6138 |1055 | 19k|6679 | 3.018546e+03 | -- | Inf
1168.07/1168.31 c 1168s| 16400 | 7112 | 4605k| 279.4 | 73M| 53 | - |2022 |7110 | 0 | 0 |1055 | 19k|6696 | 3.018546e+03 | -- | Inf
1172.17/1172.43 c 1172s| 16500 | 7129 | 4625k| 278.9 | 73M| 53 |1114 |2022 |7064 |2022 |6138 |1055 | 19k|6707 | 3.018546e+03 | -- | Inf
1176.86/1177.16 c 1177s| 16600 | 7130 | 4643k| 278.3 | 73M| 53 |1354 |2022 |7014 |2022 |6138 |1055 | 19k|6728 | 3.018546e+03 | -- | Inf
1180.77/1181.07 c 1181s| 16700 | 7137 | 4657k| 277.5 | 73M| 53 |1322 |2022 |7140 |2022 |6138 |1055 | 19k|6757 | 3.018546e+03 | -- | Inf
1186.86/1187.19 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1186.86/1187.19 c 1187s| 16800 | 7148 | 4681k| 277.3 | 73M| 53 |1102 |2022 |7185 |2022 |6138 |1055 | 20k|6793 | 3.018546e+03 | -- | Inf
1190.97/1191.28 c 1191s| 16900 | 7155 | 4698k| 276.7 | 73M| 53 |1367 |2022 |7205 |2022 |6138 |1055 | 20k|6809 | 3.018546e+03 | -- | Inf
1194.97/1195.21 c 1195s| 17000 | 7145 | 4715k| 276.0 | 73M| 53 |1098 |2022 |7217 |2022 |6138 |1055 | 20k|6849 | 3.018546e+03 | -- | Inf
1199.77/1200.05 c 1200s| 17100 | 7139 | 4734k| 275.5 | 73M| 53 | - |2022 |7210 | 0 | 0 |1055 | 20k|6878 | 3.019546e+03 | -- | Inf
1203.26/1203.50 c 1204s| 17200 | 7158 | 4748k| 274.7 | 73M| 53 |1117 |2022 |7233 |2022 |6138 |1055 | 20k|6891 | 3.019546e+03 | -- | Inf
1207.06/1207.31 c 1207s| 17300 | 7169 | 4763k| 274.0 | 73M| 53 |1136 |2022 |7291 |2022 |6138 |1055 | 20k|6934 | 3.019546e+03 | -- | Inf
1211.16/1211.42 c 1211s| 17400 | 7169 | 4778k| 273.3 | 73M| 53 | - |2022 |7316 | 0 | 0 |1055 | 21k|6980 | 3.019546e+03 | -- | Inf
1215.86/1216.18 c 1216s| 17500 | 7176 | 4794k| 272.6 | 73M| 53 |1419 |2022 |7268 |2022 |6138 |1055 | 21k|7032 | 3.019546e+03 | -- | Inf
1221.36/1221.60 c 1222s| 17600 | 7176 | 4817k| 272.4 | 73M| 53 |1226 |2022 |7306 |2022 |6138 |1055 | 21k|7069 | 3.019546e+03 | -- | Inf
1226.35/1226.61 c 1227s| 17700 | 7182 | 4835k| 271.9 | 73M| 53 |1521 |2022 |7411 |2022 |6138 |1055 | 21k|7111 | 3.019546e+03 | -- | Inf
1231.05/1231.35 c 1231s| 17800 | 7198 | 4855k| 271.5 | 73M| 53 | - |2022 |7385 | 0 | 0 |1055 | 21k|7121 | 3.019546e+03 | -- | Inf
1234.95/1235.26 c 1235s| 17900 | 7206 | 4875k| 271.1 | 73M| 53 | - |2022 |7443 | 0 | 0 |1055 | 21k|7127 | 3.019546e+03 | -- | Inf
1237.95/1238.26 c 1238s| 18000 | 7212 | 4891k| 270.4 | 73M| 53 | - |2022 |7470 | 0 | 0 |1055 | 21k|7131 | 3.019546e+03 | -- | Inf
1242.85/1243.16 c 1243s| 18100 | 7226 | 4914k| 270.2 | 73M| 53 |1258 |2022 |7434 |2022 |6138 |1055 | 22k|7133 | 3.019546e+03 | -- | Inf
1246.35/1246.69 c 1247s| 18200 | 7245 | 4932k| 269.8 | 73M| 53 |1214 |2022 |7450 |2022 |6138 |1055 | 22k|7135 | 3.019546e+03 | -- | Inf
1251.25/1251.52 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1251.25/1251.52 c 1252s| 18300 | 7254 | 4955k| 269.5 | 73M| 53 |1245 |2022 |7348 |2022 |6138 |1055 | 22k|7140 | 3.019546e+03 | -- | Inf
1256.74/1257.06 c 1257s| 18400 | 7256 | 4983k| 269.6 | 73M| 53 |1051 |2022 |7402 |2022 |6138 |1055 | 22k|7140 | 3.019546e+03 | -- | Inf
1259.34/1259.61 c 1260s| 18500 | 7257 | 4997k| 268.9 | 73M| 53 |1370 |2022 |7469 |2022 |6138 |1055 | 22k|7140 | 3.019546e+03 | -- | Inf
1263.25/1263.50 c 1264s| 18600 | 7272 | 5015k| 268.4 | 73M| 53 |1310 |2022 |7338 |2022 |6138 |1055 | 22k|7142 | 3.019546e+03 | -- | Inf
1266.65/1266.96 c 1267s| 18700 | 7287 | 5033k| 267.9 | 73M| 53 | - |2022 |7434 | 0 | 0 |1055 | 22k|7143 | 3.019546e+03 | -- | Inf
1270.15/1270.47 c 1270s| 18800 | 7303 | 5052k| 267.5 | 73M| 53 | - |2022 |7405 | 0 | 0 |1056 | 23k|7143 | 3.019546e+03 | -- | Inf
1273.85/1274.17 c 1274s| 18900 | 7321 | 5070k| 267.1 | 73M| 53 | 938 |2022 |7395 |2022 |6138 |1056 | 23k|7145 | 3.019880e+03 | -- | Inf
1276.65/1276.93 c 1277s| 19000 | 7320 | 5086k| 266.5 | 73M| 53 |1247 |2022 |7447 |2022 |6138 |1056 | 23k|7148 | 3.020401e+03 | -- | Inf
1279.35/1279.64 c 1280s| 19100 | 7320 | 5101k| 265.9 | 73M| 53 |1351 |2022 |7552 |2022 |6138 |1056 | 23k|7148 | 3.020401e+03 | -- | Inf
1283.94/1284.21 c 1284s| 19200 | 7336 | 5124k| 265.7 | 73M| 53 | - |2022 |7530 | 0 | 0 |1056 | 23k|7148 | 3.020546e+03 | -- | Inf
1288.95/1289.26 c 1289s| 19300 | 7355 | 5150k| 265.7 | 73M| 53 | - |2022 |7421 | 0 | 0 |1056 | 23k|7148 | 3.020546e+03 | -- | Inf
1292.25/1292.53 c 1293s| 19400 | 7370 | 5169k| 265.2 | 73M| 53 | - |2022 |7409 | 0 | 0 |1056 | 23k|7148 | 3.020984e+03 | -- | Inf
1295.84/1296.15 c 1296s| 19500 | 7377 | 5188k| 264.9 | 73M| 53 |1430 |2022 |7360 |2022 |6138 |1056 | 24k|7148 | 3.021401e+03 | -- | Inf
1300.84/1301.12 c 1301s| 19600 | 7392 | 5213k| 264.8 | 73M| 53 |1418 |2022 |7140 |2022 |6138 |1056 | 24k|7148 | 3.022151e+03 | -- | Inf
1303.84/1304.18 c 1304s| 19700 | 7402 | 5230k| 264.3 | 73M| 53 |1319 |2022 |7178 |2022 |6138 |1056 | 24k|7148 | 3.022984e+03 | -- | Inf
1307.34/1307.63 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1307.34/1307.63 c 1308s| 19800 | 7410 | 5249k| 263.9 | 73M| 53 |1476 |2022 |7195 |2022 |6138 |1056 | 24k|7148 | 3.022984e+03 | -- | Inf
1311.35/1311.62 c 1312s| 19900 | 7419 | 5270k| 263.7 | 73M| 53 |1128 |2022 |7180 |2022 |6138 |1056 | 24k|7148 | 3.023109e+03 | -- | Inf
1315.24/1315.56 c 1316s| 20000 | 7434 | 5289k| 263.3 | 73M| 53 |1207 |2022 |7179 |2022 |6138 |1056 | 24k|7148 | 3.023984e+03 | -- | Inf
1317.84/1318.20 c 1318s| 20100 | 7436 | 5304k| 262.8 | 73M| 53 | - |2022 |7274 | 0 | 0 |1056 | 24k|7148 | 3.023984e+03 | -- | Inf
1322.14/1322.46 c 1322s| 20200 | 7438 | 5325k| 262.5 | 73M| 53 | - |2022 |7362 | 0 | 0 |1056 | 25k|7166 | 3.024484e+03 | -- | Inf
1326.64/1326.99 c 1327s| 20300 | 7459 | 5344k| 262.1 | 73M| 53 |1246 |2022 |7340 |2022 |6138 |1056 | 25k|7175 | 3.026046e+03 | -- | Inf
1330.75/1331.02 c 1331s| 20400 | 7456 | 5362k| 261.7 | 73M| 53 |1098 |2022 |7378 |2022 |6138 |1056 | 25k|7201 | 3.026046e+03 | -- | Inf
1335.73/1336.03 c 1336s| 20500 | 7464 | 5385k| 261.6 | 73M| 53 |1188 |2022 |7433 |2022 |6138 |1056 | 25k|7238 | 3.026046e+03 | -- | Inf
1343.14/1343.41 c 1343s| 20600 | 7492 | 5415k| 261.8 | 73M| 53 |1062 |2022 |7307 |2022 |6138 |1056 | 25k|7265 | 3.028296e+03 | -- | Inf
1348.34/1348.67 c 1349s| 20700 | 7508 | 5439k| 261.6 | 73M| 53 |1110 |2022 |7226 |2022 |6138 |1056 | 25k|7293 | 3.028296e+03 | -- | Inf
1351.54/1351.81 c 1352s| 20800 | 7517 | 5452k| 261.0 | 74M| 53 | - |2022 |7272 |2022 |6138 |1056 | 25k|7308 | 3.028296e+03 | -- | Inf
1357.14/1357.49 c 1357s| 20900 | 7522 | 5476k| 260.9 | 73M| 53 |1205 |2022 |7277 |2022 |6138 |1056 | 26k|7343 | 3.028296e+03 | -- | Inf
1362.43/1362.70 c 1363s| 21000 | 7535 | 5492k| 260.4 | 74M| 53 | - |2022 |7299 | 0 | 0 |1056 | 26k|7383 | 3.028296e+03 | -- | Inf
1366.74/1367.01 c 1367s| 21100 | 7555 | 5513k| 260.2 | 74M| 53 |1331 |2022 |7264 |2022 |6138 |1056 | 26k|7383 | 3.028296e+03 | -- | Inf
1372.13/1372.44 c 1372s| 21200 | 7567 | 5533k| 259.9 | 74M| 53 |1195 |2022 |7245 |2022 |6138 |1056 | 26k|7424 | 3.028796e+03 | -- | Inf
1377.94/1378.28 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1377.94/1378.28 c 1378s| 21300 | 7581 | 5560k| 259.9 | 74M| 53 |1062 |2022 |7155 |2022 |6138 |1056 | 26k|7436 | 3.028796e+03 | -- | Inf
1383.54/1383.89 c 1384s| 21400 | 7612 | 5582k| 259.8 | 74M| 53 |1219 |2022 |7118 |2022 |6138 |1056 | 26k|7462 | 3.028796e+03 | -- | Inf
1386.83/1387.17 c 1387s| 21500 | 7603 | 5597k| 259.3 | 74M| 53 |1306 |2022 |7150 |2022 |6138 |1056 | 26k|7471 | 3.028796e+03 | -- | Inf
1390.93/1391.29 c 1391s| 21600 | 7619 | 5615k| 258.9 | 74M| 53 |1169 |2022 |7205 |2022 |6138 |1056 | 27k|7486 | 3.028796e+03 | -- | Inf
1396.64/1396.92 c 1397s| 21700 | 7637 | 5636k| 258.7 | 74M| 53 | - |2022 |7150 | 0 | 0 |1056 | 27k|7516 | 3.028796e+03 | -- | Inf
1399.93/1400.29 c 1400s| 21800 | 7654 | 5650k| 258.1 | 74M| 53 |1308 |2022 |7129 |2022 |6138 |1056 | 27k|7527 | 3.028796e+03 | -- | Inf
1403.73/1404.06 c 1404s| 21900 | 7666 | 5666k| 257.7 | 74M| 53 | - |2022 |7114 | 0 | 0 |1056 | 27k|7546 | 3.028796e+03 | -- | Inf
1407.92/1408.24 c 1408s| 22000 | 7683 | 5682k| 257.2 | 74M| 53 | - |2022 |7218 | 0 | 0 |1056 | 27k|7571 | 3.028796e+03 | -- | Inf
1413.83/1414.17 c 1414s| 22100 | 7700 | 5706k| 257.2 | 74M| 53 |1241 |2022 |7122 |2022 |6138 |1056 | 27k|7595 | 3.029296e+03 | -- | Inf
1417.03/1417.36 c 1417s| 22200 | 7707 | 5720k| 256.6 | 74M| 53 | - |2022 |7157 | 0 | 0 |1056 | 27k|7612 | 3.029296e+03 | -- | Inf
1421.42/1421.72 c 1422s| 22300 | 7710 | 5741k| 256.4 | 74M| 53 | - |2022 |7270 | 0 | 0 |1056 | 28k|7621 | 3.029296e+03 | -- | Inf
1426.13/1426.43 c 1426s| 22400 | 7725 | 5756k| 255.9 | 74M| 53 | - |2022 |7240 | 0 | 0 |1056 | 28k|7654 | 3.029296e+03 | -- | Inf
1429.22/1429.51 c 1430s| 22500 | 7729 | 5771k| 255.5 | 74M| 53 | - |2022 |7284 |2022 |6138 |1056 | 28k|7664 | 3.029296e+03 | -- | Inf
1435.13/1435.48 c 1435s| 22600 | 7752 | 5795k| 255.4 | 74M| 53 | - |2022 |7243 | 0 | 0 |1056 | 28k|7686 | 3.029296e+03 | -- | Inf
1439.42/1439.76 c 1440s| 22700 | 7765 | 5813k| 255.1 | 74M| 53 |1020 |2022 |7266 |2022 |6138 |1056 | 28k|7706 | 3.029296e+03 | -- | Inf
1442.12/1442.50 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1442.12/1442.50 c 1442s| 22800 | 7772 | 5823k| 254.4 | 74M| 53 | - |2022 |7306 | 0 | 0 |1056 | 28k|7731 | 3.029296e+03 | -- | Inf
1446.72/1447.08 c 1447s| 22900 | 7787 | 5842k| 254.1 | 74M| 53 |1176 |2022 |7231 |2022 |6138 |1056 | 28k|7750 | 3.029796e+03 | -- | Inf
1452.52/1452.81 c 1453s| 23000 | 7804 | 5865k| 254.0 | 74M| 53 |1173 |2022 |7199 |2022 |6138 |1056 | 29k|7778 | 3.029796e+03 | -- | Inf
1456.31/1456.68 c 1457s| 23100 | 7815 | 5881k| 253.6 | 74M| 53 | - |2022 |7224 | 0 | 0 |1056 | 29k|7809 | 3.029796e+03 | -- | Inf
1461.32/1461.65 c 1462s| 23200 | 7839 | 5900k| 253.3 | 74M| 53 |1357 |2022 |7194 |2022 |6138 |1056 | 29k|7830 | 3.029796e+03 | -- | Inf
1472.21/1472.50 c 1473s| 23300 | 7890 | 5944k| 254.1 | 74M| 53 |1132 |2022 |7080 |2022 |6137 |1057 | 29k|7861 | 3.029796e+03 | -- | Inf
1477.02/1477.31 c 1477s| 23400 | 7897 | 5964k| 253.9 | 74M| 53 | - |2022 |7236 | 0 | 0 |1058 | 29k|7881 | 3.029796e+03 | -- | Inf
1483.41/1483.72 c 1484s| 23500 | 7928 | 5989k| 253.9 | 74M| 53 |1231 |2022 |7276 |2022 |6137 |1058 | 29k|7930 | 3.029796e+03 | -- | Inf
1487.81/1488.18 c 1488s| 23600 | 7934 | 6005k| 253.5 | 75M| 53 | - |2022 |7305 | 0 | 0 |1058 | 30k|7955 | 3.029796e+03 | -- | Inf
1491.41/1491.79 c 1492s| 23700 | 7936 | 6023k| 253.2 | 74M| 53 |1221 |2022 |7195 |2022 |6137 |1059 | 30k|7955 | 3.029796e+03 | -- | Inf
1502.21/1502.53 c 1503s| 23800 | 7961 | 6068k| 254.0 | 75M| 53 | - |2022 |7316 | 0 | 0 |1062 | 30k|7984 | 3.029796e+03 | -- | Inf
1507.51/1507.87 c 1508s| 23900 | 7984 | 6093k| 254.0 | 75M| 53 |1129 |2022 |7349 |2022 |6137 |1064 | 30k|8007 | 3.029796e+03 | -- | Inf
1513.01/1513.32 c 1513s| 24000 | 7990 | 6113k| 253.8 | 75M| 53 |1104 |2022 |7360 |2022 |6137 |1064 | 30k|8041 | 3.029796e+03 | -- | Inf
1518.31/1518.65 c 1519s| 24100 | 7998 | 6136k| 253.6 | 75M| 53 | - |2022 |7368 | 0 | 0 |1064 | 30k|8062 | 3.029796e+03 | -- | Inf
1523.30/1523.61 c 1524s| 24200 | 8026 | 6155k| 253.4 | 75M| 53 |1243 |2022 |7429 |2022 |6137 |1064 | 30k|8085 | 3.029796e+03 | -- | Inf
1527.70/1528.04 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1527.70/1528.04 c 1528s| 24300 | 8034 | 6173k| 253.1 | 75M| 53 | - |2022 |7470 | 0 | 0 |1065 | 31k|8106 | 3.029796e+03 | -- | Inf
1533.41/1533.76 c 1534s| 24400 | 8053 | 6193k| 252.9 | 75M| 53 |1297 |2022 |7544 |2022 |6137 |1065 | 31k|8147 | 3.029796e+03 | -- | Inf
1536.20/1536.53 c 1537s| 24500 | 8046 | 6206k| 252.4 | 75M| 53 | - |2022 |7605 | 0 | 0 |1073 | 31k|8166 | 3.029796e+03 | -- | Inf
1540.90/1541.28 c 1541s| 24600 | 8050 | 6227k| 252.2 | 75M| 53 |1480 |2022 |7716 |2022 |6138 |1076 | 31k|8194 | 3.029796e+03 | -- | Inf
1547.30/1547.70 c 1548s| 24700 | 8060 | 6253k| 252.2 | 75M| 53 |1031 |2022 |7765 |2022 |6137 |1077 | 31k|8226 | 3.029796e+03 | -- | Inf
1551.50/1551.86 c 1552s| 24800 | 8057 | 6272k| 252.0 | 75M| 53 |1303 |2022 |7827 |2022 |6137 |1078 | 32k|8243 | 3.029796e+03 | -- | Inf
1559.10/1559.49 c 1559s| 24900 | 8104 | 6303k| 252.2 | 75M| 53 | - |2022 |7843 | 0 | 0 |1078 | 32k|8286 | 3.029796e+03 | -- | Inf
1562.49/1562.85 c 1563s| 25000 | 8109 | 6318k| 251.8 | 75M| 53 |1136 |2022 |8000 |2022 |6137 |1078 | 32k|8298 | 3.029796e+03 | -- | Inf
1567.80/1568.10 c 1568s| 25100 | 8121 | 6339k| 251.7 | 75M| 53 |1262 |2022 |8072 |2022 |6137 |1079 | 32k|8330 | 3.029796e+03 | -- | Inf
1573.39/1573.71 c 1574s| 25200 | 8143 | 6361k| 251.5 | 75M| 53 |1005 |2022 |8084 |2022 |6137 |1080 | 32k|8377 | 3.030296e+03 | -- | Inf
1579.60/1579.97 c 1580s| 25300 | 8158 | 6389k| 251.6 | 75M| 53 | - |2022 |8143 | 0 | 0 |1080 | 32k|8389 | 3.030296e+03 | -- | Inf
1584.39/1584.73 c 1585s| 25400 | 8180 | 6407k| 251.3 | 76M| 53 |1019 |2022 |8099 |2022 |6137 |1081 | 33k|8412 | 3.030296e+03 | -- | Inf
1589.10/1589.41 c 1589s| 25500 | 8182 | 6426k| 251.1 | 75M| 53 |1166 |2022 |8181 |2022 |6137 |1081 | 33k|8443 | 3.030296e+03 | -- | Inf
1594.09/1594.42 c 1594s| 25600 | 8195 | 6447k| 250.9 | 76M| 53 |1227 |2022 |8166 |2022 |6137 |1082 | 33k|8466 | 3.030296e+03 | -- | Inf
1598.49/1598.84 c 1599s| 25700 | 8203 | 6466k| 250.7 | 76M| 53 | - |2022 |8124 | 0 | 0 |1083 | 33k|8496 | 3.030296e+03 | -- | Inf
1603.59/1603.90 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1603.59/1603.90 c 1604s| 25800 | 8219 | 6485k| 250.5 | 76M| 53 |1432 |2022 |8022 |2022 |6137 |1083 | 33k|8526 | 3.030796e+03 | -- | Inf
1608.79/1609.14 c 1609s| 25900 | 8238 | 6507k| 250.3 | 76M| 53 |1337 |2022 |8003 |2022 |6137 |1084 | 33k|8554 | 3.030796e+03 | -- | Inf
1613.89/1614.25 c 1614s| 26000 | 8253 | 6526k| 250.1 | 76M| 53 |1414 |2022 |7925 |2022 |6137 |1084 | 33k|8589 | 3.030796e+03 | -- | Inf
1622.20/1622.53 c 1623s| 26100 | 8286 | 6557k| 250.4 | 75M| 53 |1560 |2022 |7714 |2022 |6137 |1084 | 34k|8627 | 3.030796e+03 | -- | Inf
1627.99/1628.31 c 1628s| 26200 | 8324 | 6578k| 250.2 | 76M| 53 |1265 |2022 |7645 |2022 |6138 |1086 | 34k|8677 | 3.030796e+03 | -- | Inf
1631.29/1631.67 c 1632s| 26300 | 8337 | 6591k| 249.7 | 76M| 53 |1194 |2022 |7759 |2022 |6138 |1086 | 34k|8700 | 3.030796e+03 | -- | Inf
1634.59/1634.95 c 1635s| 26400 | 8341 | 6603k| 249.2 | 76M| 53 | - |2022 |7835 | 0 | 0 |1086 | 34k|8712 | 3.030796e+03 | -- | Inf
1639.48/1639.85 c 1640s| 26500 | 8357 | 6622k| 249.0 | 76M| 53 |1335 |2022 |7683 |2022 |6138 |1091 | 34k|8728 | 3.030796e+03 | -- | Inf
1642.09/1642.44 c 1642s| 26600 | 8362 | 6636k| 248.6 | 76M| 53 | - |2022 |7722 | 0 | 0 |1092 | 34k|8728 | 3.030796e+03 | -- | Inf
1645.19/1645.57 c 1646s| 26700 | 8385 | 6651k| 248.3 | 76M| 53 |1174 |2022 |7692 |2022 |6138 |1093 | 35k|8729 | 3.030796e+03 | -- | Inf
1646.89/1647.27 c 1647s| 26800 | 8381 | 6661k| 247.7 | 76M| 53 | 996 |2022 |7826 |2022 |6138 |1093 | 35k|8729 | 3.030796e+03 | -- | Inf
1650.48/1650.88 c 1651s| 26900 | 8386 | 6679k| 247.4 | 76M| 53 |1230 |2022 |7805 |2022 |6138 |1095 | 35k|8733 | 3.030796e+03 | -- | Inf
1654.19/1654.52 c 1655s| 27000 | 8403 | 6696k| 247.2 | 76M| 53 |1398 |2022 |7666 |2022 |6137 |1098 | 35k|8737 | 3.030796e+03 | -- | Inf
1658.78/1659.11 c 1659s| 27100 | 8428 | 6717k| 247.0 | 76M| 53 |1198 |2022 |7366 |2022 |6138 |1102 | 35k|8737 | 3.030796e+03 | -- | Inf
1662.79/1663.10 c 1663s| 27200 | 8442 | 6734k| 246.7 | 76M| 53 | - |2022 |7280 | 0 | 0 |1103 | 35k|8738 | 3.030796e+03 | -- | Inf
1665.49/1665.88 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1665.49/1665.88 c 1666s| 27300 | 8449 | 6751k| 246.4 | 76M| 53 | - |2022 |7280 | 0 | 0 |1106 | 35k|8738 | 3.030796e+03 | -- | Inf
1668.08/1668.47 c 1668s| 27400 | 8459 | 6764k| 246.0 | 76M| 53 |1286 |2022 |7402 |2022 |6137 |1107 | 36k|8738 | 3.030796e+03 | -- | Inf
1670.98/1671.37 c 1671s| 27500 | 8468 | 6779k| 245.7 | 76M| 53 | - |2022 |7465 | 0 | 0 |1107 | 36k|8738 | 3.030796e+03 | -- | Inf
1675.08/1675.45 c 1675s| 27600 | 8479 | 6801k| 245.6 | 76M| 53 |1261 |2022 |7489 |2022 |6137 |1107 | 36k|8738 | 3.030796e+03 | -- | Inf
1679.48/1679.85 c 1680s| 27700 | 8493 | 6824k| 245.5 | 76M| 53 |1286 |2022 |7478 |2022 |6137 |1107 | 36k|8738 | 3.030796e+03 | -- | Inf
1683.18/1683.56 c 1684s| 27800 | 8499 | 6844k| 245.4 | 76M| 53 |1142 |2022 |7413 |2022 |6137 |1107 | 36k|8738 | 3.030796e+03 | -- | Inf
1685.58/1685.96 c 1686s| 27900 | 8500 | 6859k| 245.0 | 76M| 53 |1247 |2022 |7486 |2022 |6137 |1107 | 36k|8738 | 3.030796e+03 | -- | Inf
1688.87/1689.23 c 1689s| 28000 | 8512 | 6876k| 244.7 | 76M| 53 | - |2022 |7568 | 0 | 0 |1108 | 37k|8738 | 3.030796e+03 | -- | Inf
1691.77/1692.17 c 1692s| 28100 | 8524 | 6890k| 244.4 | 76M| 53 | - |2022 |7658 | 0 | 0 |1109 | 37k|8738 | 3.030796e+03 | -- | Inf
1695.18/1695.56 c 1696s| 28200 | 8533 | 6905k| 244.1 | 76M| 53 | - |2022 |7725 | 0 | 0 |1109 | 37k|8738 | 3.030796e+03 | -- | Inf
1697.88/1698.24 c 1698s| 28300 | 8545 | 6918k| 243.6 | 76M| 53 | - |2022 |7763 | 0 | 0 |1109 | 37k|8738 | 3.030796e+03 | -- | Inf
1702.28/1702.61 c 1703s| 28400 | 8565 | 6939k| 243.5 | 76M| 53 |1232 |2022 |7604 |2022 |6137 |1109 | 37k|8738 | 3.030796e+03 | -- | Inf
1707.88/1708.21 c 1708s| 28500 | 8576 | 6964k| 243.6 | 76M| 53 | - |2022 |7580 | 0 | 0 |1109 | 37k|8738 | 3.030796e+03 | -- | Inf
1712.07/1712.49 c 1712s| 28600 | 8602 | 6982k| 243.3 | 76M| 53 | - |2022 |7383 | 0 | 0 |1109 | 37k|8738 | 3.030796e+03 | -- | Inf
1714.18/1714.51 c 1715s| 28700 | 8605 | 6993k| 242.9 | 76M| 53 |1126 |2022 |7440 |2022 |6137 |1109 | 38k|8738 | 3.031296e+03 | -- | Inf
1715.68/1716.05 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1715.68/1716.05 c 1716s| 28800 | 8600 | 7001k| 242.3 | 76M| 53 | - |2022 |7479 | 0 | 0 |1109 | 38k|8738 | 3.031296e+03 | -- | Inf
1720.58/1720.93 c 1721s| 28900 | 8628 | 7024k| 242.2 | 76M| 53 |1381 |2022 |7399 |2022 |6138 |1110 | 38k|8738 | 3.031296e+03 | -- | Inf
1723.57/1723.97 c 1724s| 29000 | 8642 | 7037k| 241.9 | 76M| 53 |1142 |2022 |7512 |2022 |6138 |1110 | 38k|8738 | 3.031296e+03 | -- | Inf
1726.48/1726.80 c 1727s| 29100 | 8646 | 7050k| 241.5 | 76M| 53 |1205 |2022 |7407 |2022 |6138 |1110 | 38k|8738 | 3.031296e+03 | -- | Inf
1729.47/1729.82 c 1730s| 29200 | 8663 | 7065k| 241.2 | 76M| 53 |1130 |2022 |7426 |2022 |6138 |1110 | 38k|8738 | 3.031296e+03 | -- | Inf
1732.47/1732.89 c 1733s| 29300 | 8674 | 7079k| 240.8 | 76M| 53 | - |2022 |7456 | 0 | 0 |1110 | 39k|8738 | 3.031296e+03 | -- | Inf
1736.47/1736.81 c 1737s| 29400 | 8692 | 7099k| 240.7 | 76M| 53 |1173 |2022 |7401 |2022 |6138 |1110 | 39k|8738 | 3.031296e+03 | -- | Inf
1739.36/1739.75 c 1740s| 29500 | 8701 | 7113k| 240.3 | 76M| 53 |1092 |2022 |7392 |2022 |6138 |1110 | 39k|8738 | 3.031296e+03 | -- | Inf
1741.27/1741.61 c 1742s| 29600 | 8700 | 7122k| 239.8 | 77M| 53 |1172 |2022 |7453 |2022 |6138 |1110 | 39k|8738 | 3.031296e+03 | -- | Inf
1745.86/1746.29 c 1746s| 29700 | 8722 | 7145k| 239.8 | 76M| 53 |1284 |2022 |7362 |2022 |6137 |1110 | 39k|8738 | 3.031796e+03 | -- | Inf
1749.96/1750.31 c 1750s| 29800 | 8740 | 7164k| 239.7 | 77M| 53 |1207 |2022 |7434 |2022 |6137 |1110 | 39k|8738 | 3.031796e+03 | -- | Inf
1752.77/1753.10 c 1753s| 29900 | 8749 | 7179k| 239.3 | 77M| 53 | - |2022 |7416 | 0 | 0 |1110 | 39k|8738 | 3.031796e+03 | -- | Inf
1754.67/1755.04 c 1755s| 30000 | 8753 | 7190k| 238.9 | 77M| 53 | - |2022 |7524 | 0 | 0 |1111 | 40k|8738 | 3.031796e+03 | -- | Inf
1758.96/1759.34 c 1759s| 30100 | 8780 | 7211k| 238.8 | 77M| 53 |1272 |2022 |7517 |2022 |6138 |1113 | 40k|8738 | 3.031796e+03 | -- | Inf
1763.87/1764.26 c 1764s| 30200 | 8804 | 7232k| 238.7 | 77M| 53 |1269 |2022 |7400 |2022 |6138 |1117 | 40k|8761 | 3.031796e+03 | -- | Inf
1769.16/1769.55 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1769.16/1769.55 c 1770s| 30300 | 8828 | 7254k| 238.7 | 77M| 53 |1225 |2022 |7371 |2022 |6137 |1117 | 40k|8774 | 3.031796e+03 | -- | Inf
1772.67/1773.08 c 1773s| 30400 | 8842 | 7269k| 238.4 | 77M| 53 |1156 |2022 |7433 |2022 |6137 |1117 | 40k|8797 | 3.031796e+03 | -- | Inf
1776.56/1776.90 c 1777s| 30500 | 8837 | 7287k| 238.2 | 77M| 53 |1286 |2022 |7513 |2022 |6137 |1117 | 40k|8813 | 3.031796e+03 | -- | Inf
1783.06/1783.45 c 1783s| 30600 | 8864 | 7313k| 238.3 | 77M| 53 |1387 |2022 |7457 |2022 |6137 |1117 | 41k|8832 | 3.031796e+03 | -- | Inf
1789.06/1789.45 c 1789s| 30700 | 8895 | 7337k| 238.3 | 77M| 53 | - |2022 |7332 | 0 | 0 |1117 | 41k|8857 | 3.031796e+03 | -- | Inf
1794.76/1795.14 c 1795s| 30800 | 8924 | 7360k| 238.2 | 77M| 53 |1289 |2022 |7295 |2022 |6138 |1118 | 41k|8894 | 3.031796e+03 | -- | Inf
1796.65/1797.01 c
1796.65/1797.01 c SCIP Status : solving was interrupted [time limit reached]
1796.65/1797.01 c Solving Time (sec) : 1797.01
1796.65/1797.01 c Solving Nodes : 30856
1796.65/1797.01 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1796.65/1797.01 c Dual Bound : +3.03179643500765e+03
1796.65/1797.01 c Gap : infinite
1796.65/1797.01 s UNKNOWN
1796.65/1797.01 c SCIP Status : solving was interrupted [time limit reached]
1796.65/1797.01 c Total Time : 1797.01
1796.65/1797.01 c solving : 1797.01
1796.65/1797.01 c presolving : 0.71 (included in solving)
1796.65/1797.01 c reading : 0.04 (included in solving)
1796.65/1797.01 c copying : 0.04 (2 #copies) (minimal 0.02, maximal 0.02, average 0.02)
1796.65/1797.01 c Original Problem :
1796.65/1797.01 c Problem name : HOME/instance-3690839-1338018750.opb
1796.65/1797.01 c Variables : 6352 (6352 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.65/1797.01 c Constraints : 13501 initial, 13501 maximal
1796.65/1797.01 c Objective sense : minimize
1796.65/1797.01 c Presolved Problem :
1796.65/1797.01 c Problem name : t_HOME/instance-3690839-1338018750.opb
1796.65/1797.01 c Variables : 2022 (2022 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.65/1797.01 c Constraints : 5903 initial, 8217 maximal
1796.65/1797.01 c Presolvers : ExecTime SetupTime FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1796.65/1797.01 c domcol : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.65/1797.01 c trivial : 0.01 0.00 38 0 0 0 0 0 0 0 0
1796.65/1797.01 c dualfix : 0.01 0.00 0 0 0 0 0 0 0 0 0
1796.65/1797.01 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.65/1797.01 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.65/1797.01 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.65/1797.01 c gateextraction : 0.01 0.00 0 0 0 0 0 3 1 0 0
1796.65/1797.01 c implics : 0.03 0.00 0 3134 0 0 0 0 0 0 0
1796.65/1797.01 c components : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.65/1797.01 c pseudoobj : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.65/1797.01 c probing : 0.15 0.00 1 150 0 1 0 0 0 0 0
1796.65/1797.01 c setppc : 0.04 0.00 0 0 0 0 0 273 0 0 0
1796.65/1797.01 c and : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.65/1797.01 c linear : 0.23 0.00 953 54 0 991 0 7323 0 169 326
1796.65/1797.01 c logicor : 0.16 0.00 0 0 0 0 0 0 0 0 0
1796.65/1797.01 c root node : - - 0 - - 0 - - - - -
1796.65/1797.01 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Conss Children
1796.65/1797.01 c integral : 0 0 0 0 24099 0 4 0 32 196 0 0 47964
1796.65/1797.01 c setppc : 1113 1113 27 662594 0 0 3 1687505 3381 2020570 0 0 0
1796.65/1797.01 c and : 1 1 20150 467161 0 0 0 41 0 412 207 0 0
1796.65/1797.01 c linear : 0+ 674 27 650081 0 0 0 22619 30 14545 5 0 0
1796.65/1797.01 c logicor : 4789+ 7091 27 591018 0 0 0 1660547 10272 3621585 0 0 0
1796.65/1797.01 c countsols : 0 0 0 0 0 0 0 0 0 0 0 0 0
1796.65/1797.01 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS Check ResProp
1796.65/1797.01 c integral : 351.64 0.00 0.00 0.00 351.64 0.00 0.00 0.00
1796.65/1797.01 c setppc : 14.05 0.00 0.00 13.30 0.00 0.00 0.00 0.74
1796.65/1797.01 c and : 0.16 0.00 0.02 0.14 0.00 0.00 0.00 0.00
1796.65/1797.01 c linear : 0.89 0.00 0.02 0.84 0.00 0.00 0.00 0.02
1796.65/1797.01 c logicor : 21.48 0.00 0.01 20.46 0.00 0.00 0.00 1.01
1796.65/1797.01 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1796.65/1797.01 c Propagators : #Propagate #ResProp Cutoffs DomReds
1796.65/1797.01 c rootredcost : 0 0 0 0
1796.65/1797.01 c pseudoobj : 683875 0 0 0
1796.65/1797.01 c vbounds : 0 0 0 0
1796.65/1797.01 c redcost : 24331 0 0 0
1796.65/1797.01 c probing : 0 0 0 0
1796.65/1797.01 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp
1796.65/1797.01 c rootredcost : 0.19 0.00 0.00 0.19 0.00
1796.65/1797.01 c pseudoobj : 0.95 0.00 0.00 0.95 0.00
1796.65/1797.01 c vbounds : 0.15 0.00 0.00 0.15 0.00
1796.65/1797.01 c redcost : 0.58 0.00 0.00 0.58 0.00
1796.65/1797.01 c probing : 0.15 0.00 0.15 0.00 0.00
1796.65/1797.01 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1796.65/1797.01 c propagation : 3.43 13683 13078 146302 40.4 1725 16.4 -
1796.65/1797.01 c infeasible LP : 0.21 495 495 4349 39.3 72 11.8 0
1796.65/1797.01 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1796.65/1797.01 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1796.65/1797.01 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1796.65/1797.01 c applied globally : - - - 41351 35.0 - - -
1796.65/1797.01 c applied locally : - - - 0 0.0 - - -
1796.65/1797.01 c Separators : ExecTime SetupTime Calls Cutoffs DomReds Cuts Conss
1796.65/1797.01 c cut pool : 0.09 26 - - 557 - (maximal pool size: 6945)
1796.65/1797.01 c closecuts : 0.00 0.00 0 0 0 0 0
1796.65/1797.01 c impliedbounds : 0.01 0.00 27 0 0 404 0
1796.65/1797.01 c intobj : 0.00 0.00 0 0 0 0 0
1796.65/1797.01 c gomory : 0.09 0.00 10 0 0 500 0
1796.65/1797.01 c cgmip : 0.00 0.00 0 0 0 0 0
1796.65/1797.01 c strongcg : 1.34 0.00 20 0 0 10000 0
1796.65/1797.01 c cmir : 0.26 0.00 10 0 0 0 0
1796.65/1797.01 c flowcover : 0.24 0.00 10 0 0 0 0
1796.65/1797.01 c clique : 0.05 0.00 27 0 0 108 0
1796.65/1797.01 c zerohalf : 0.00 0.00 0 0 0 0 0
1796.65/1797.01 c mcf : 0.00 0.00 1 0 0 0 0
1796.65/1797.01 c oddcycle : 0.00 0.00 0 0 0 0 0
1796.65/1797.01 c rapidlearning : 0.69 0.00 1 0 0 0 674
1796.65/1797.01 c Pricers : ExecTime SetupTime Calls Vars
1796.65/1797.01 c problem variables: 0.00 - 0 0
1796.65/1797.01 c Branching Rules : ExecTime SetupTime Calls Cutoffs DomReds Cuts Conss Children
1796.65/1797.01 c relpscost : 351.60 0.00 24099 32 196 0 0 47964
1796.65/1797.01 c pscost : 0.00 0.00 0 0 0 0 0 0
1796.65/1797.01 c inference : 0.00 0.00 0 0 0 0 0 0
1796.65/1797.01 c mostinf : 0.00 0.00 0 0 0 0 0 0
1796.65/1797.01 c leastinf : 0.00 0.00 0 0 0 0 0 0
1796.65/1797.01 c fullstrong : 0.00 0.00 0 0 0 0 0 0
1796.65/1797.01 c allfullstrong : 0.00 0.00 0 0 0 0 0 0
1796.65/1797.01 c random : 0.00 0.00 0 0 0 0 0 0
1796.65/1797.01 c Primal Heuristics : ExecTime SetupTime Calls Found
1796.65/1797.01 c LP solutions : 0.00 - - 0
1796.65/1797.01 c pseudo solutions : 0.00 - - 0
1796.65/1797.01 c oneopt : 0.02 0.00 0 0
1796.65/1797.01 c crossover : 0.01 0.00 0 0
1796.65/1797.01 c veclendiving : 78.35 0.00 110 0
1796.65/1797.01 c pscostdiving : 74.68 0.00 173 0
1796.65/1797.01 c fracdiving : 52.13 0.00 223 0
1796.65/1797.01 c linesearchdiving : 68.72 0.00 223 0
1796.65/1797.01 c coefdiving : 75.94 0.00 223 0
1796.65/1797.01 c smallcard : 0.00 0.00 0 0
1796.65/1797.01 c trivial : 0.01 0.00 2 0
1796.65/1797.01 c shiftandpropagate: 0.03 0.00 1 0
1796.65/1797.01 c simplerounding : 0.01 0.00 0 0
1796.65/1797.01 c zirounding : 0.53 0.00 1000 0
1796.65/1797.01 c rounding : 0.90 0.00 2167 0
1796.65/1797.01 c shifting : 1.54 0.00 654 0
1796.65/1797.01 c intshifting : 0.00 0.00 0 0
1796.65/1797.01 c twoopt : 0.00 0.00 0 0
1796.65/1797.01 c indoneopt : 0.02 0.00 0 0
1796.65/1797.01 c indtwoopt : 0.00 0.00 0 0
1796.65/1797.01 c fixandinfer : 0.00 0.00 0 0
1796.65/1797.01 c feaspump : 24.10 0.00 19 0
1796.65/1797.01 c clique : 0.00 0.00 0 0
1796.65/1797.01 c indrounding : 0.00 0.00 0 0
1796.65/1797.01 c indcoefdiving : 0.00 0.00 0 0
1796.65/1797.01 c nlpdiving : 0.00 0.00 0 0
1796.65/1797.01 c intdiving : 0.00 0.00 0 0
1796.65/1797.01 c actconsdiving : 0.00 0.00 0 0
1796.65/1797.01 c objpscostdiving : 25.65 0.00 7 0
1796.65/1797.01 c rootsoldiving : 25.77 0.00 12 0
1796.65/1797.01 c guideddiving : 0.00 0.00 0 0
1796.65/1797.01 c octane : 0.00 0.00 0 0
1796.65/1797.01 c rens : 0.03 0.00 0 0
1796.65/1797.01 c rins : 0.00 0.00 0 0
1796.65/1797.01 c localbranching : 0.00 0.00 0 0
1796.65/1797.01 c mutation : 0.00 0.00 0 0
1796.65/1797.01 c dins : 0.00 0.00 0 0
1796.65/1797.01 c vbounds : 0.00 0.00 0 0
1796.65/1797.01 c undercover : 0.00 0.00 1 0
1796.65/1797.01 c subnlp : 0.01 0.00 0 0
1796.65/1797.01 c trysol : 0.02 0.00 0 0
1796.65/1797.01 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It
1796.65/1797.01 c primal LP : 0.01 3 0 0.00 0.00 0.01 3
1796.65/1797.01 c dual LP : 940.37 24624 5755926 234.11 6120.90 0.11 38
1796.65/1797.01 c lex dual LP : 0.00 0 0 0.00 -
1796.65/1797.01 c barrier LP : 0.00 0 0 0.00 - 0.00 0
1796.65/1797.01 c diving/probing LP: 377.71 51290 1614154 31.47 4273.51
1796.65/1797.01 c strong branching : 343.39 8894 1741061 195.76 5070.20
1796.65/1797.01 c (at root node) : - 14 2756 196.86 -
1796.65/1797.01 c conflict analysis: 0.00 0 0 0.00 -
1796.65/1797.01 c B&B Tree :
1796.65/1797.01 c number of runs : 1
1796.65/1797.01 c nodes : 30856
1796.65/1797.01 c nodes (total) : 30856
1796.65/1797.01 c nodes left : 8927
1796.65/1797.01 c max depth : 53
1796.65/1797.01 c max depth (total): 53
1796.65/1797.01 c backtracks : 8608 (27.9%)
1796.65/1797.01 c delayed cutoffs : 8182
1796.65/1797.01 c repropagations : 19680 (2507270 domain reductions, 5607 cutoffs)
1796.65/1797.01 c avg switch length: 5.30
1796.65/1797.01 c switching time : 15.90
1796.65/1797.01 c Solution :
1796.65/1797.01 c Solutions found : 0 (0 improvements)
1796.65/1797.01 c Primal Bound : -
1796.65/1797.01 c Dual Bound : +3.03179643500765e+03
1796.65/1797.01 c Gap : infinite
1796.65/1797.01 c Root Dual Bound : +2.89032501376838e+03
1796.65/1797.01 c Root Iterations : 23525
1796.65/1797.06 c Time complete: 1796.73.