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: 947bdb7-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-3692005-1338031610.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.06/0.07 c presolving:
0.09/0.14 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.19 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.19/0.20 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.19/0.21 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.19/0.22 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.19/0.22 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.19/0.23 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.19/0.24 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.19/0.25 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.19/0.25 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.19/0.26 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.19/0.27 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.19/0.27 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.19/0.28 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.19/0.29 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.30 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.30 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.31 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.39/0.48 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.39/0.48 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.39/0.48 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.39/0.48 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.39/0.48 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.39/0.48 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.39/0.48 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.39/0.48 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.39/0.48 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.39/0.48 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.39/0.48 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.39/0.48 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.39/0.48 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.39/0.48 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.39/0.48 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.39/0.48 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.39/0.48 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.39/0.48 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.39/0.48 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.39/0.48 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.39/0.48 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.39/0.48 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.39/0.48 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.39/0.48 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.39/0.49 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.39/0.49 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.49/0.50 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.49/0.51 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.49/0.51 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.49/0.52 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.49/0.52 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.49/0.53 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.49/0.54 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.49/0.54 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.49/0.55 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.49/0.55 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.49/0.56 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.49/0.56 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.49/0.57 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.49/0.58 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.49/0.58 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.49/0.59 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.49/0.59 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.59/0.60 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.59/0.60 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.59/0.61 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.59/0.62 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.59/0.62 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.69/0.71 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.69/0.72 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.79/0.81 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.79/0.82 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.79/0.87 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.79/0.88 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.89/0.91 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.89/0.93 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.89/0.95 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.89/0.97 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
1.00/1.00 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
1.00/1.02 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
1.00/1.05 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
1.00/1.07 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
1.00/1.10 c (1.1s) probing: 272/2174 (12.5%) - 1 fixings, 150 aggregations, 9470 implications, 1 bound changes
1.00/1.10 c (1.1s) probing aborted: 50/50 successive totally useless probings
1.00/1.10 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
1.09/1.11 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
1.09/1.13 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
1.09/1.14 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
1.09/1.16 c (1.2s) probing: 277/2174 (12.7%) - 1 fixings, 150 aggregations, 9470 implications, 1 bound changes
1.09/1.16 c (1.2s) probing aborted: 50/50 successive totally useless probings
1.09/1.16 c presolving (87 rounds):
1.09/1.16 c 4330 deleted vars, 7599 deleted constraints, 1 added constraints, 992 tightened bounds, 0 added holes, 169 changed sides, 326 changed coefficients
1.09/1.16 c 98849 implications, 0 cliques
1.09/1.16 c presolved problem has 2022 variables (2022 bin, 0 int, 0 impl, 0 cont) and 5903 constraints
1.09/1.16 c 1113 constraints of type <setppc>
1.09/1.16 c 1 constraints of type <and>
1.09/1.16 c 4789 constraints of type <logicor>
1.09/1.16 c transformed objective value is always integral (scale: 1)
1.09/1.16 c Presolving Time: 1.10
1.09/1.16 c - non default parameters ----------------------------------------------------------------------
1.09/1.16 c # SCIP version 2.1.1.4
1.09/1.16 c
1.09/1.16 c # maximal time in seconds to run
1.09/1.16 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1.09/1.16 c limits/time = 1797
1.09/1.16 c
1.09/1.16 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1.09/1.16 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1.09/1.16 c limits/memory = 13950
1.09/1.16 c
1.09/1.16 c # default clock type (1: CPU user seconds, 2: wall clock time)
1.09/1.16 c # [type: int, range: [1,2], default: 1]
1.09/1.16 c timing/clocktype = 2
1.09/1.16 c
1.09/1.16 c # belongs reading time to solving time?
1.09/1.16 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.09/1.16 c timing/reading = TRUE
1.09/1.16 c
1.09/1.16 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
1.09/1.16 c # [type: int, range: [-1,2147483647], default: -1]
1.09/1.16 c separating/rapidlearning/freq = 0
1.09/1.16 c
1.09/1.16 c -----------------------------------------------------------------------------------------------
1.09/1.16 c start solving
1.09/1.16 c
1.29/1.35 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1.29/1.35 c 1.3s| 1 | 0 | 2197 | - | 24M| 0 |1262 |2022 |6004 |2022 |5904 | 0 | 101 | 0 | 2.789861e+03 | -- | Inf
3.39/3.43 c 3.4s| 1 | 0 | 8524 | - | 27M| 0 |1160 |2022 |6678 |2022 |6118 | 214 | 101 | 0 | 2.820725e+03 | -- | Inf
3.59/3.63 c 3.6s| 1 | 0 | 9012 | - | 28M| 0 |1207 |2022 |6678 |2022 |6146 | 242 | 101 | 0 | 2.825023e+03 | -- | Inf
3.79/3.89 c 3.9s| 1 | 0 | 9554 | - | 29M| 0 |1170 |2022 |6678 |2022 |6177 | 273 | 101 | 0 | 2.830673e+03 | -- | Inf
4.09/4.14 c 4.1s| 1 | 0 | 10200 | - | 30M| 0 |1225 |2022 |6678 |2022 |6215 | 311 | 101 | 0 | 2.835201e+03 | -- | Inf
4.40/4.43 c 4.4s| 1 | 0 | 10864 | - | 31M| 0 |1236 |2022 |6678 |2022 |6249 | 345 | 101 | 0 | 2.839526e+03 | -- | Inf
4.79/4.84 c 4.8s| 1 | 0 | 12054 | - | 33M| 0 |1237 |2022 |6678 |2022 |6281 | 377 | 101 | 0 | 2.843738e+03 | -- | Inf
5.09/5.15 c 5.1s| 1 | 0 | 12850 | - | 33M| 0 |1278 |2022 |6678 |2022 |6323 | 419 | 101 | 0 | 2.847581e+03 | -- | Inf
5.39/5.43 c 5.4s| 1 | 0 | 13482 | - | 35M| 0 |1261 |2022 |6678 |2022 |6353 | 449 | 101 | 0 | 2.851260e+03 | -- | Inf
5.59/5.66 c 5.7s| 1 | 0 | 13845 | - | 36M| 0 |1271 |2022 |6678 |2022 |6388 | 484 | 101 | 0 | 2.854482e+03 | -- | Inf
5.89/5.92 c 5.9s| 1 | 0 | 14384 | - | 38M| 0 |1266 |2022 |6678 |2022 |6425 | 521 | 101 | 0 | 2.858415e+03 | -- | Inf
6.09/6.19 c 6.2s| 1 | 0 | 15028 | - | 39M| 0 |1263 |2022 |6678 |2022 |6455 | 551 | 101 | 0 | 2.861932e+03 | -- | Inf
6.39/6.42 c 6.4s| 1 | 0 | 15605 | - | 41M| 0 |1226 |2022 |6678 |2022 |6497 | 593 | 101 | 0 | 2.866079e+03 | -- | Inf
6.60/6.66 c 6.7s| 1 | 0 | 16158 | - | 42M| 0 |1279 |2022 |6678 |2022 |6525 | 621 | 101 | 0 | 2.868330e+03 | -- | Inf
6.99/7.00 c 7.0s| 1 | 0 | 16897 | - | 45M| 0 |1262 |2022 |6678 |2022 |6563 | 659 | 101 | 0 | 2.870781e+03 | -- | Inf
7.39/7.49 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
7.39/7.49 c 7.5s| 1 | 0 | 18409 | - | 46M| 0 |1265 |2022 |6678 |2022 |6381 | 704 | 101 | 0 | 2.874519e+03 | -- | Inf
7.69/7.71 c 7.7s| 1 | 0 | 18952 | - | 48M| 0 |1336 |2022 |6678 |2022 |6417 | 740 | 101 | 0 | 2.877227e+03 | -- | Inf
7.99/8.09 c 8.1s| 1 | 0 | 20060 | - | 50M| 0 |1306 |2022 |6678 |2022 |6451 | 774 | 101 | 0 | 2.879856e+03 | -- | Inf
8.39/8.42 c 8.4s| 1 | 0 | 20983 | - | 52M| 0 |1358 |2022 |6678 |2022 |6497 | 820 | 101 | 0 | 2.883393e+03 | -- | Inf
8.70/8.80 c 8.8s| 1 | 0 | 22107 | - | 53M| 0 |1296 |2022 |6678 |2022 |6546 | 869 | 101 | 0 | 2.886998e+03 | -- | Inf
9.19/9.20 c 9.2s| 1 | 0 | 23222 | - | 56M| 0 |1305 |2022 |6678 |2022 |6573 | 896 | 101 | 0 | 2.890031e+03 | -- | Inf
9.19/9.25 c 9.3s| 1 | 0 | 23314 | - | 56M| 0 |1317 |2022 |6678 |2022 |6442 | 902 | 101 | 0 | 2.890232e+03 | -- | Inf
9.19/9.29 c 9.3s| 1 | 0 | 23369 | - | 56M| 0 |1319 |2022 |6678 |2022 |6446 | 906 | 101 | 0 | 2.890255e+03 | -- | Inf
9.29/9.32 c 9.3s| 1 | 0 | 23394 | - | 56M| 0 |1347 |2022 |6678 |2022 |6448 | 908 | 101 | 0 | 2.890259e+03 | -- | Inf
9.29/9.35 c 9.4s| 1 | 0 | 23433 | - | 56M| 0 |1350 |2022 |6678 |2022 |6450 | 910 | 101 | 0 | 2.890276e+03 | -- | Inf
9.29/9.39 c 9.4s| 1 | 0 | 23465 | - | 56M| 0 |1351 |2022 |6678 |2022 |6451 | 911 | 101 | 0 | 2.890283e+03 | -- | Inf
9.39/9.42 c 9.4s| 1 | 0 | 23525 | - | 56M| 0 |1338 |2022 |6678 |2022 |6452 | 912 | 101 | 0 | 2.890325e+03 | -- | Inf
10.29/10.38 c 10.4s| 1 | 2 | 23525 | - | 56M| 0 |1338 |2022 |6678 |2022 |6452 | 912 | 101 | 14 | 2.890325e+03 | -- | Inf
51.98/52.02 c 52.0s| 100 | 99 | 90219 | 673.7 | 56M| 17 |1589 |2022 |6701 |2022 |6137 | 913 | 124 | 402 | 2.902996e+03 | -- | Inf
63.07/63.18 c 63.2s| 200 | 199 |129831 | 534.2 | 57M| 22 |1603 |2022 |6743 |2022 |6137 | 914 | 166 | 468 | 2.902996e+03 | -- | Inf
81.96/82.09 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
81.96/82.09 c 82.1s| 300 | 297 |191999 | 563.5 | 57M| 22 |1513 |2022 |6837 |2022 |6137 | 916 | 284 | 564 | 2.922213e+03 | -- | Inf
94.66/94.78 c 94.8s| 400 | 397 |238170 | 538.0 | 57M| 22 |1620 |2022 |6858 |2022 |6137 | 916 | 312 | 660 | 2.924213e+03 | -- | Inf
103.16/103.29 c 103s| 500 | 497 |265724 | 485.4 | 57M| 22 |1547 |2022 |6866 |2022 |6137 | 917 | 337 | 740 | 2.925213e+03 | -- | Inf
113.45/113.51 c 114s| 600 | 597 |304718 | 469.4 | 58M| 22 |1703 |2022 |6850 |2022 |6137 | 917 | 372 | 804 | 2.939546e+03 | -- | Inf
121.36/121.47 c 121s| 700 | 697 |332152 | 441.5 | 58M| 25 |1631 |2022 |6847 |2022 |6137 | 920 | 391 | 884 | 2.941296e+03 | -- | Inf
129.46/129.55 c 130s| 800 | 797 |362201 | 423.9 | 58M| 25 |1622 |2022 |6855 |2022 |6137 | 920 | 410 | 964 | 2.944296e+03 | -- | Inf
137.55/137.69 c 138s| 900 | 897 |392193 | 410.1 | 58M| 25 |1692 |2022 |6857 |2022 |6138 | 920 | 431 |1036 | 2.950296e+03 | -- | Inf
145.06/145.12 c 145s| 1000 | 997 |419217 | 396.1 | 58M| 25 |1561 |2022 |6869 |2022 |6137 | 921 | 449 |1108 | 2.957546e+03 | -- | Inf
151.95/152.04 c 152s| 1100 | 1097 |443730 | 382.4 | 59M| 25 |1596 |2022 |6884 |2022 |6137 | 921 | 467 |1180 | 2.962296e+03 | -- | Inf
158.15/158.26 c 158s| 1200 | 1197 |466481 | 369.4 | 59M| 25 |1571 |2022 |6892 |2022 |6137 | 921 | 478 |1236 | 2.963296e+03 | -- | Inf
166.06/166.12 c 166s| 1300 | 1297 |495610 | 363.4 | 59M| 25 |1567 |2022 |6918 |2022 |6137 | 921 | 510 |1300 | 2.963546e+03 | -- | Inf
172.44/172.60 c 173s| 1400 | 1397 |520342 | 355.1 | 59M| 25 |1528 |2022 |6927 |2022 |6137 | 921 | 527 |1356 | 2.964296e+03 | -- | Inf
181.45/181.57 c 182s| 1500 | 1497 |553893 | 353.8 | 60M| 25 |1591 |2022 |6941 |2022 |6137 | 921 | 556 |1428 | 2.964546e+03 | -- | Inf
188.14/188.28 c 188s| 1600 | 1597 |580026 | 348.0 | 60M| 25 |1564 |2022 |6945 |2022 |6137 | 921 | 568 |1484 | 2.965546e+03 | -- | Inf
197.74/197.86 c 198s| 1700 | 1697 |615257 | 348.3 | 60M| 25 |1619 |2022 |6936 |2022 |6137 | 921 | 578 |1556 | 2.966546e+03 | -- | Inf
206.04/206.15 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
206.04/206.15 c 206s| 1800 | 1797 |646234 | 346.1 | 60M| 28 |1665 |2022 |6943 |2022 |6137 | 921 | 593 |1628 | 2.980046e+03 | -- | Inf
217.44/217.59 c 218s| 1900 | 1897 |689425 | 350.7 | 61M| 28 |1665 |2022 |6947 |2022 |6137 | 921 | 619 |1732 | 2.983546e+03 | -- | Inf
224.64/224.71 c 225s| 2000 | 1997 |714874 | 345.8 | 61M| 28 |1624 |2022 |6950 |2022 |6137 | 922 | 632 |1804 | 2.983546e+03 | -- | Inf
231.13/231.27 c 231s| 2100 | 2097 |738188 | 340.5 | 61M| 28 |1559 |2022 |6923 |2022 |6137 | 922 | 642 |1876 | 2.984546e+03 | -- | Inf
242.53/242.63 c 243s| 2200 | 2197 |781599 | 344.7 | 61M| 28 |1504 |2022 |6930 |2022 |6137 | 922 | 671 |1972 | 2.984546e+03 | -- | Inf
250.53/250.68 c 251s| 2300 | 2297 |809630 | 341.9 | 62M| 28 |1582 |2022 |6920 |2022 |6137 | 923 | 689 |2054 | 2.984546e+03 | -- | Inf
258.83/258.98 c 259s| 2400 | 2397 |849561 | 344.3 | 62M| 28 |1534 |2022 |6925 |2022 |6137 | 923 | 721 |2062 | 2.985546e+03 | -- | Inf
264.13/264.20 c 264s| 2500 | 2497 |875616 | 341.0 | 62M| 28 |1578 |2022 |6920 |2022 |6137 | 923 | 735 |2062 | 2.985546e+03 | -- | Inf
270.43/270.57 c 271s| 2600 | 2597 |907207 | 340.0 | 62M| 28 |1558 |2022 |6917 |2022 |6137 | 924 | 766 |2062 | 2.985546e+03 | -- | Inf
279.24/279.31 c 279s| 2700 | 2697 |949184 | 343.0 | 63M| 28 |1594 |2022 |6898 |2022 |6137 | 924 | 782 |2062 | 2.985546e+03 | -- | Inf
289.53/289.63 c 290s| 2800 | 2797 |990825 | 345.6 | 63M| 28 |1656 |2022 |6887 |2022 |6137 | 924 | 810 |2121 | 2.985546e+03 | -- | Inf
299.43/299.51 c 300s| 2900 | 2897 | 1028k| 346.6 | 63M| 28 |1709 |2022 |6898 |2022 |6137 | 924 | 859 |2178 | 2.986546e+03 | -- | Inf
313.52/313.67 c 314s| 3000 | 2997 | 1088k| 355.1 | 63M| 28 |1706 |2022 |6887 |2022 |6137 | 924 | 873 |2235 | 2.986546e+03 | -- | Inf
324.33/324.46 c 324s| 3100 | 3097 | 1129k| 356.8 | 64M| 28 |1585 |2022 |6876 |2022 |6137 | 925 | 904 |2306 | 2.986546e+03 | -- | Inf
332.22/332.38 c 332s| 3200 | 3197 | 1162k| 356.1 | 64M| 28 |1467 |2022 |6878 |2022 |6137 | 925 | 935 |2342 | 2.986546e+03 | -- | Inf
342.32/342.43 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
342.32/342.43 c 342s| 3300 | 3297 | 1202k| 357.5 | 64M| 28 |1556 |2022 |6888 |2022 |6137 | 925 | 982 |2401 | 2.987546e+03 | -- | Inf
354.02/354.15 c 354s| 3400 | 3397 | 1249k| 360.6 | 64M| 28 |1696 |2022 |6880 |2022 |6137 | 925 |1013 |2470 | 2.988546e+03 | -- | Inf
363.72/363.88 c 364s| 3500 | 3497 | 1286k| 361.0 | 64M| 28 |1650 |2022 |6866 |2022 |6138 | 926 |1022 |2546 | 2.996546e+03 | -- | Inf
373.41/373.55 c 374s| 3600 | 3597 | 1326k| 362.1 | 65M| 28 |1671 |2022 |6850 |2022 |6138 | 927 |1048 |2603 | 2.997546e+03 | -- | Inf
386.62/386.70 c 387s| 3700 | 3697 | 1376k| 365.9 | 65M| 28 |1462 |2022 |6831 |2022 |6137 | 929 |1067 |2693 | 2.997546e+03 | -- | Inf
398.51/398.68 c 399s| 3800 | 3797 | 1425k| 369.1 | 65M| 28 |1526 |2022 |6840 |2022 |6137 | 932 |1112 |2743 | 2.997546e+03 | -- | Inf
409.91/410.03 c 410s| 3900 | 3897 | 1469k| 370.9 | 65M| 28 |1533 |2022 |6832 |2022 |6137 | 934 |1123 |2821 | 2.998546e+03 | -- | Inf
418.61/418.71 c 419s| 4000 | 3997 | 1502k| 369.9 | 66M| 28 |1463 |2022 |6810 |2022 |6137 | 937 |1135 |2900 | 2.998546e+03 | -- | Inf
429.01/429.12 c 429s| 4100 | 4097 | 1542k| 370.7 | 66M| 28 |1645 |2022 |6807 |2022 |6137 | 940 |1164 |2986 | 2.998546e+03 | -- | Inf
442.60/442.71 c 443s| 4200 | 4197 | 1595k| 374.3 | 66M| 28 |1473 |2022 |6823 |2022 |6138 | 943 |1216 |3069 | 2.998546e+03 | -- | Inf
453.10/453.23 c 453s| 4300 | 4297 | 1634k| 374.7 | 66M| 28 |1471 |2022 |6808 |2022 |6137 | 948 |1224 |3156 | 2.998546e+03 | -- | Inf
467.00/467.13 c 467s| 4400 | 4397 | 1688k| 378.6 | 66M| 28 |1644 |2022 |6803 |2022 |6137 | 955 |1251 |3251 | 2.999546e+03 | -- | Inf
480.09/480.29 c 480s| 4500 | 4497 | 1736k| 380.7 | 67M| 28 |1566 |2022 |6793 |2022 |6137 | 961 |1280 |3371 | 2.999546e+03 | -- | Inf
493.60/493.73 c 494s| 4600 | 4597 | 1784k| 382.9 | 67M| 28 |1563 |2022 |6800 |2022 |6137 | 967 |1307 |3512 | 2.999546e+03 | -- | Inf
506.19/506.37 c 506s| 4700 | 4697 | 1828k| 384.2 | 67M| 28 |1586 |2022 |6802 |2022 |6137 | 969 |1328 |3681 | 2.999546e+03 | -- | Inf
515.49/515.67 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
515.49/515.67 c 516s| 4800 | 4797 | 1869k| 384.7 | 67M| 28 |1605 |2022 |6803 |2022 |6138 | 975 |1348 |3728 | 2.999546e+03 | -- | Inf
524.50/524.65 c 525s| 4900 | 4897 | 1914k| 386.1 | 68M| 28 |1680 |2022 |6782 |2022 |6137 | 976 |1372 |3733 | 2.999546e+03 | -- | Inf
533.49/533.63 c 534s| 5000 | 4997 | 1960k| 387.5 | 68M| 28 |1677 |2022 |6787 |2022 |6137 | 980 |1420 |3733 | 2.999546e+03 | -- | Inf
542.20/542.39 c 542s| 5100 | 5097 | 2003k| 388.3 | 68M| 28 |1638 |2022 |6756 |2022 |6138 | 984 |1449 |3733 | 2.999546e+03 | -- | Inf
553.88/554.03 c 554s| 5200 | 5197 | 2063k| 392.3 | 68M| 28 |1586 |2022 |6766 |2022 |6137 | 991 |1480 |3737 | 3.000546e+03 | -- | Inf
567.89/568.07 c 568s| 5300 | 5297 | 2124k| 396.5 | 69M| 28 |1510 |2022 |6774 |2022 |6137 | 998 |1522 |3780 | 3.000546e+03 | -- | Inf
575.88/576.09 c 576s| 5400 | 5397 | 2157k| 395.2 | 69M| 33 |1571 |2022 |6774 |2022 |6137 |1001 |1549 |3829 | 3.000546e+03 | -- | Inf
584.99/585.19 c 585s| 5500 | 5471 | 2194k| 394.7 | 69M| 41 |1454 |2022 |6833 |2022 |6137 |1006 |1645 |3871 | 3.000546e+03 | -- | Inf
590.18/590.31 c 590s| 5600 | 5514 | 2214k| 391.4 | 69M| 43 |1487 |2022 |6985 |2022 |6137 |1006 |1823 |3899 | 3.000546e+03 | -- | Inf
596.48/596.66 c 597s| 5700 | 5576 | 2237k| 388.5 | 70M| 43 | - |2022 |7074 | 0 | 0 |1007 |1975 |3932 | 3.001546e+03 | -- | Inf
601.38/601.58 c 602s| 5800 | 5629 | 2257k| 385.1 | 70M| 43 |1463 |2022 |7088 |2022 |6137 |1007 |2085 |3968 | 3.001546e+03 | -- | Inf
608.58/608.74 c 609s| 5900 | 5672 | 2283k| 383.0 | 70M| 43 | - |2022 |7188 | 0 | 0 |1009 |2273 |4008 | 3.001546e+03 | -- | Inf
614.68/614.88 c 615s| 6000 | 5711 | 2304k| 380.2 | 70M| 43 |1441 |2022 |7150 |2022 |6137 |1013 |2449 |4040 | 3.002546e+03 | -- | Inf
618.48/618.64 c 619s| 6100 | 5721 | 2319k| 376.4 | 71M| 43 |1155 |2022 |7194 |2022 |6137 |1013 |2645 |4055 | 3.002546e+03 | -- | Inf
622.67/622.87 c 623s| 6200 | 5755 | 2335k| 372.9 | 71M| 45 | - |2022 |7176 | 0 | 0 |1016 |2813 |4077 | 3.002546e+03 | -- | Inf
629.97/630.18 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
629.97/630.18 c 630s| 6300 | 5769 | 2360k| 371.0 | 71M| 45 |1255 |2022 |7201 |2022 |6137 |1019 |3020 |4135 | 3.003546e+03 | -- | Inf
635.58/635.78 c 636s| 6400 | 5755 | 2383k| 368.7 | 71M| 45 | - |2022 |7288 | 0 | 0 |1019 |3301 |4159 | 3.003546e+03 | -- | Inf
640.37/640.54 c 641s| 6500 | 5771 | 2401k| 365.8 | 71M| 47 | - |2022 |7352 | 0 | 0 |1019 |3548 |4179 | 3.004546e+03 | -- | Inf
646.77/646.94 c 647s| 6600 | 5773 | 2424k| 363.9 | 71M| 47 | - |2022 |7428 |2022 |6137 |1020 |3768 |4214 | 3.010796e+03 | -- | Inf
653.18/653.32 c 653s| 6700 | 5768 | 2450k| 362.3 | 71M| 47 |1557 |2022 |7244 |2022 |6137 |1021 |3950 |4251 | 3.011796e+03 | -- | Inf
660.37/660.52 c 661s| 6800 | 5843 | 2476k| 360.8 | 71M| 47 |1406 |2022 |7087 |2022 |6138 |1026 |4011 |4282 | 3.011796e+03 | -- | Inf
665.87/666.06 c 666s| 6900 | 5888 | 2497k| 358.6 | 72M| 47 |1285 |2022 |7148 |2022 |6137 |1026 |4171 |4324 | 3.011796e+03 | -- | Inf
671.97/672.17 c 672s| 7000 | 5905 | 2521k| 356.9 | 72M| 47 |1348 |2022 |7346 |2022 |6137 |1028 |4432 |4363 | 3.011796e+03 | -- | Inf
679.27/679.44 c 679s| 7100 | 5934 | 2548k| 355.7 | 72M| 47 |1535 |2022 |7395 |2022 |6137 |1029 |4586 |4403 | 3.011796e+03 | -- | Inf
685.17/685.31 c 685s| 7200 | 5957 | 2574k| 354.4 | 72M| 47 |1376 |2022 |7412 |2022 |6137 |1029 |4754 |4423 | 3.011796e+03 | -- | Inf
692.27/692.45 c 692s| 7300 | 5969 | 2602k| 353.3 | 73M| 47 | - |2022 |7345 | 0 | 0 |1031 |4922 |4461 | 3.011796e+03 | -- | Inf
698.37/698.50 c 699s| 7400 | 5976 | 2627k| 352.0 | 73M| 47 | - |2022 |7359 | 0 | 0 |1034 |5151 |4498 | 3.011796e+03 | -- | Inf
704.36/704.54 c 705s| 7500 | 5959 | 2649k| 350.2 | 73M| 47 | - |2022 |7316 | 0 | 0 |1034 |5372 |4543 | 3.012796e+03 | -- | Inf
709.76/709.91 c 710s| 7600 | 5970 | 2670k| 348.4 | 73M| 47 |1171 |2022 |7187 |2022 |6137 |1034 |5481 |4571 | 3.012796e+03 | -- | Inf
715.07/715.27 c 715s| 7700 | 5934 | 2690k| 346.5 | 72M| 47 |1381 |2022 |7291 |2022 |6138 |1036 |5688 |4613 | 3.012796e+03 | -- | Inf
722.06/722.24 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
722.06/722.24 c 722s| 7800 | 5935 | 2721k| 345.9 | 72M| 47 |1554 |2022 |7377 |2022 |6137 |1036 |5934 |4647 | 3.012796e+03 | -- | Inf
727.16/727.35 c 727s| 7900 | 5940 | 2742k| 344.2 | 72M| 47 |1329 |2022 |7466 |2022 |6137 |1037 |6141 |4680 | 3.012796e+03 | -- | Inf
735.45/735.64 c 736s| 8000 | 5938 | 2778k| 344.4 | 72M| 47 |1450 |2022 |7558 |2022 |6138 |1037 |6327 |4718 | 3.012796e+03 | -- | Inf
742.56/742.70 c 743s| 8100 | 5946 | 2805k| 343.5 | 72M| 47 |1346 |2022 |7650 |2022 |6137 |1037 |6537 |4757 | 3.012796e+03 | -- | Inf
747.86/748.01 c 748s| 8200 | 5955 | 2829k| 342.2 | 72M| 47 |1604 |2022 |7635 |2022 |6137 |1037 |6733 |4787 | 3.012796e+03 | -- | Inf
755.15/755.38 c 755s| 8300 | 5970 | 2857k| 341.5 | 72M| 47 |1250 |2022 |7484 |2022 |6137 |1037 |6880 |4826 | 3.012796e+03 | -- | Inf
761.15/761.30 c 761s| 8400 | 6000 | 2880k| 340.1 | 72M| 47 |1270 |2022 |7507 |2022 |6137 |1037 |7089 |4870 | 3.012796e+03 | -- | Inf
768.46/768.61 c 769s| 8500 | 6033 | 2906k| 339.2 | 72M| 47 |1291 |2022 |7219 |2022 |6137 |1037 |7238 |4936 | 3.012796e+03 | -- | Inf
775.65/775.86 c 776s| 8600 | 6024 | 2932k| 338.3 | 72M| 47 |1122 |2022 |7227 |2022 |6137 |1037 |7456 |4979 | 3.012796e+03 | -- | Inf
782.25/782.43 c 782s| 8700 | 6044 | 2959k| 337.5 | 72M| 47 |1291 |2022 |7191 |2022 |6138 |1039 |7610 |5001 | 3.012796e+03 | -- | Inf
787.35/787.58 c 788s| 8800 | 6054 | 2979k| 336.0 | 72M| 47 |1386 |2022 |7247 |2022 |6137 |1039 |7833 |5034 | 3.013546e+03 | -- | Inf
793.95/794.17 c 794s| 8900 | 6077 | 3005k| 335.1 | 72M| 47 |1453 |2022 |7307 |2022 |6137 |1040 |8045 |5084 | 3.013796e+03 | -- | Inf
799.95/800.10 c 800s| 9000 | 6081 | 3029k| 334.0 | 72M| 47 |1284 |2022 |7322 |2022 |6137 |1040 |8237 |5124 | 3.013796e+03 | -- | Inf
804.85/805.10 c 805s| 9100 | 6079 | 3049k| 332.6 | 72M| 47 | - |2022 |7204 | 0 | 0 |1040 |8398 |5150 | 3.013796e+03 | -- | Inf
812.54/812.71 c 813s| 9200 | 6097 | 3079k| 332.2 | 72M| 47 |1230 |2022 |7133 |2022 |6137 |1041 |8547 |5192 | 3.013796e+03 | -- | Inf
818.64/818.81 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
818.64/818.81 c 819s| 9300 | 6107 | 3106k| 331.6 | 72M| 47 | - |2022 |7171 | 0 | 0 |1041 |8717 |5218 | 3.013796e+03 | -- | Inf
824.05/824.25 c 824s| 9400 | 6125 | 3127k| 330.2 | 72M| 47 |1240 |2022 |7242 |2022 |6137 |1041 |8925 |5256 | 3.013796e+03 | -- | Inf
827.94/828.10 c 828s| 9500 | 6125 | 3143k| 328.5 | 72M| 47 |1106 |2022 |7325 |2022 |6137 |1041 |9130 |5288 | 3.013796e+03 | -- | Inf
832.04/832.22 c 832s| 9600 | 6141 | 3158k| 326.6 | 72M| 47 |1413 |2022 |7462 |2022 |6137 |1041 |9336 |5312 | 3.013796e+03 | -- | Inf
836.85/837.10 c 837s| 9700 | 6140 | 3177k| 325.2 | 73M| 47 | - |2022 |7618 | 0 | 0 |1045 |9545 |5358 | 3.013796e+03 | -- | Inf
842.04/842.27 c 842s| 9800 | 6154 | 3197k| 323.9 | 73M| 47 |1331 |2022 |7683 |2022 |6137 |1045 |9725 |5396 | 3.013796e+03 | -- | Inf
845.34/845.59 c 846s| 9900 | 6157 | 3212k| 322.1 | 73M| 47 |1469 |2022 |7765 |2022 |6137 |1048 |9880 |5420 | 3.013796e+03 | -- | Inf
849.44/849.67 c 850s| 10000 | 6158 | 3231k| 320.8 | 73M| 47 | - |2022 |7796 | 0 | 0 |1048 | 10k|5442 | 3.013796e+03 | -- | Inf
855.94/856.10 c 856s| 10100 | 6172 | 3255k| 320.0 | 73M| 47 |1448 |2022 |7676 |2022 |6137 |1048 | 10k|5473 | 3.013796e+03 | -- | Inf
859.44/859.60 c 860s| 10200 | 6171 | 3272k| 318.6 | 73M| 47 | - |2022 |7731 | 0 | 0 |1051 | 10k|5485 | 3.013796e+03 | -- | Inf
863.64/863.84 c 864s| 10300 | 6188 | 3292k| 317.4 | 73M| 47 |1349 |2022 |7736 |2022 |6137 |1051 | 10k|5488 | 3.013796e+03 | -- | Inf
867.93/868.15 c 868s| 10400 | 6191 | 3312k| 316.3 | 73M| 47 |1397 |2022 |7642 |2022 |6137 |1051 | 10k|5492 | 3.013796e+03 | -- | Inf
871.24/871.44 c 871s| 10500 | 6195 | 3329k| 314.9 | 73M| 47 |1162 |2022 |7571 |2022 |6137 |1051 | 10k|5495 | 3.013796e+03 | -- | Inf
874.84/875.01 c 875s| 10600 | 6202 | 3347k| 313.6 | 73M| 47 |1331 |2022 |7564 |2022 |6138 |1052 | 11k|5498 | 3.013796e+03 | -- | Inf
879.94/880.16 c 880s| 10700 | 6225 | 3371k| 312.9 | 73M| 47 | - |2022 |7558 | 0 | 0 |1052 | 11k|5501 | 3.013796e+03 | -- | Inf
884.93/885.16 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
884.93/885.16 c 885s| 10800 | 6238 | 3395k| 312.3 | 73M| 47 |1082 |2022 |7546 |2022 |6138 |1052 | 11k|5502 | 3.013796e+03 | -- | Inf
889.44/889.64 c 890s| 10900 | 6253 | 3418k| 311.5 | 73M| 47 |1328 |2022 |7431 |2022 |6138 |1052 | 11k|5503 | 3.014546e+03 | -- | Inf
894.23/894.47 c 894s| 11000 | 6291 | 3442k| 310.8 | 73M| 47 |1478 |2022 |7514 |2022 |6137 |1052 | 11k|5504 | 3.014546e+03 | -- | Inf
898.34/898.55 c 899s| 11100 | 6310 | 3464k| 310.0 | 73M| 47 |1430 |2022 |7612 |2022 |6137 |1052 | 11k|5504 | 3.014546e+03 | -- | Inf
903.04/903.20 c 903s| 11200 | 6326 | 3487k| 309.3 | 73M| 47 |1335 |2022 |7608 |2022 |6137 |1054 | 12k|5504 | 3.014796e+03 | -- | Inf
907.73/907.94 c 908s| 11300 | 6347 | 3509k| 308.5 | 73M| 47 |1441 |2022 |7498 |2022 |6138 |1055 | 12k|5505 | 3.014796e+03 | -- | Inf
911.53/911.75 c 912s| 11400 | 6351 | 3529k| 307.5 | 73M| 47 | - |2022 |7560 | 0 | 0 |1055 | 12k|5505 | 3.014796e+03 | -- | Inf
916.53/916.71 c 917s| 11500 | 6364 | 3555k| 307.1 | 73M| 47 |1350 |2022 |7585 |2022 |6138 |1055 | 12k|5505 | 3.014796e+03 | -- | Inf
922.53/922.78 c 923s| 11600 | 6357 | 3584k| 307.0 | 73M| 47 | - |2022 |7444 | 0 | 0 |1055 | 12k|5505 | 3.014796e+03 | -- | Inf
928.43/928.62 c 929s| 11700 | 6353 | 3611k| 306.7 | 73M| 47 |1608 |2022 |7251 |2022 |6137 |1056 | 12k|5505 | 3.014796e+03 | -- | Inf
935.12/935.38 c 935s| 11800 | 6390 | 3638k| 306.4 | 73M| 47 |1128 |2022 |7400 |2022 |6137 |1059 | 13k|5550 | 3.014796e+03 | -- | Inf
940.63/940.83 c 941s| 11900 | 6396 | 3659k| 305.6 | 73M| 47 |1249 |2022 |7566 |2022 |6138 |1060 | 13k|5582 | 3.014796e+03 | -- | Inf
946.83/947.09 c 947s| 12000 | 6395 | 3686k| 305.2 | 73M| 47 |1236 |2022 |7615 |2022 |6138 |1060 | 13k|5609 | 3.014796e+03 | -- | Inf
954.22/954.40 c 954s| 12100 | 6425 | 3712k| 304.9 | 73M| 47 |1277 |2022 |7588 |2022 |6137 |1062 | 13k|5655 | 3.014796e+03 | -- | Inf
959.32/959.55 c 960s| 12200 | 6429 | 3733k| 304.2 | 74M| 47 |1327 |2022 |7676 |2022 |6137 |1066 | 13k|5692 | 3.014796e+03 | -- | Inf
966.12/966.34 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
966.12/966.34 c 966s| 12300 | 6436 | 3761k| 303.9 | 73M| 47 |1481 |2022 |7625 |2022 |6138 |1066 | 13k|5719 | 3.014796e+03 | -- | Inf
974.42/974.65 c 975s| 12400 | 6437 | 3796k| 304.3 | 73M| 47 |1362 |2022 |7557 |2022 |6138 |1067 | 14k|5744 | 3.014796e+03 | -- | Inf
980.72/980.96 c 981s| 12500 | 6466 | 3819k| 303.7 | 73M| 47 |1348 |2022 |7622 |2022 |6138 |1067 | 14k|5772 | 3.014796e+03 | -- | Inf
987.41/987.60 c 988s| 12600 | 6487 | 3845k| 303.3 | 73M| 47 | - |2022 |7589 |2022 |6138 |1067 | 14k|5809 | 3.014796e+03 | -- | Inf
993.51/993.78 c 994s| 12700 | 6502 | 3869k| 302.8 | 74M| 47 | - |2022 |7579 | 0 | 0 |1067 | 14k|5839 | 3.015546e+03 | -- | Inf
999.02/999.23 c 999s| 12800 | 6507 | 3890k| 302.1 | 73M| 47 |1335 |2022 |7504 |2022 |6138 |1067 | 14k|5870 | 3.015796e+03 | -- | Inf
1009.52/1009.75 c 1010s| 12900 | 6531 | 3935k| 303.3 | 73M| 47 |1215 |2022 |7487 |2022 |6137 |1067 | 14k|5900 | 3.015796e+03 | -- | Inf
1014.72/1014.94 c 1015s| 13000 | 6547 | 3957k| 302.7 | 73M| 47 |1463 |2022 |7585 |2022 |6138 |1071 | 14k|5929 | 3.015796e+03 | -- | Inf
1022.41/1022.61 c 1023s| 13100 | 6564 | 3986k| 302.6 | 74M| 47 | - |2022 |7692 | 0 | 0 |1073 | 15k|5972 | 3.015796e+03 | -- | Inf
1028.41/1028.68 c 1029s| 13200 | 6580 | 4010k| 302.1 | 74M| 47 |1334 |2022 |7754 |2022 |6137 |1077 | 15k|6009 | 3.015796e+03 | -- | Inf
1033.71/1033.91 c 1034s| 13300 | 6594 | 4034k| 301.6 | 74M| 47 |1263 |2022 |7917 |2022 |6138 |1084 | 15k|6030 | 3.015796e+03 | -- | Inf
1039.60/1039.88 c 1040s| 13400 | 6604 | 4059k| 301.2 | 74M| 47 |1386 |2022 |8046 |2022 |6138 |1087 | 15k|6063 | 3.015796e+03 | -- | Inf
1044.50/1044.72 c 1045s| 13500 | 6611 | 4079k| 300.5 | 74M| 47 |1033 |2022 |8089 |2022 |6138 |1089 | 15k|6095 | 3.015796e+03 | -- | Inf
1050.71/1050.94 c 1051s| 13600 | 6615 | 4104k| 300.1 | 74M| 47 |1145 |2022 |8124 |2022 |6138 |1089 | 16k|6130 | 3.015796e+03 | -- | Inf
1055.11/1055.39 c 1055s| 13700 | 6629 | 4123k| 299.3 | 74M| 47 |1315 |2022 |8136 |2022 |6137 |1091 | 16k|6154 | 3.015796e+03 | -- | Inf
1060.90/1061.12 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1060.90/1061.12 c 1061s| 13800 | 6635 | 4145k| 298.7 | 74M| 47 | - |2022 |8120 | 0 | 0 |1092 | 16k|6191 | 3.015796e+03 | -- | Inf
1065.61/1065.88 c 1066s| 13900 | 6647 | 4165k| 298.0 | 74M| 47 |1352 |2022 |7974 |2022 |6137 |1092 | 16k|6206 | 3.016546e+03 | -- | Inf
1069.91/1070.17 c 1070s| 14000 | 6651 | 4185k| 297.3 | 74M| 47 | - |2022 |8085 | 0 | 0 |1096 | 16k|6232 | 3.016546e+03 | -- | Inf
1076.10/1076.35 c 1076s| 14100 | 6656 | 4211k| 297.1 | 74M| 47 |1399 |2022 |8090 |2022 |6137 |1099 | 17k|6264 | 3.016546e+03 | -- | Inf
1083.21/1083.43 c 1083s| 14200 | 6673 | 4238k| 296.8 | 74M| 48 | - |2022 |7891 | 0 | 0 |1100 | 17k|6308 | 3.016546e+03 | -- | Inf
1088.81/1089.03 c 1089s| 14300 | 6670 | 4260k| 296.3 | 74M| 48 |1234 |2022 |7711 |2022 |6138 |1100 | 17k|6351 | 3.016546e+03 | -- | Inf
1093.80/1094.08 c 1094s| 14400 | 6664 | 4283k| 295.8 | 74M| 48 |1337 |2022 |7697 |2022 |6138 |1101 | 17k|6387 | 3.016546e+03 | -- | Inf
1097.90/1098.14 c 1098s| 14500 | 6667 | 4300k| 295.0 | 74M| 48 | - |2022 |7834 | 0 | 0 |1104 | 17k|6411 | 3.016546e+03 | -- | Inf
1104.21/1104.45 c 1104s| 14600 | 6676 | 4326k| 294.7 | 74M| 48 |1286 |2022 |7838 |2022 |6137 |1108 | 17k|6440 | 3.016546e+03 | -- | Inf
1108.19/1108.42 c 1108s| 14700 | 6679 | 4343k| 293.9 | 74M| 48 |1364 |2022 |7892 |2022 |6137 |1109 | 18k|6461 | 3.016546e+03 | -- | Inf
1114.10/1114.35 c 1114s| 14800 | 6701 | 4366k| 293.5 | 74M| 48 | - |2022 |7608 | 0 | 0 |1110 | 18k|6481 | 3.017546e+03 | -- | Inf
1118.90/1119.12 c 1119s| 14900 | 6699 | 4386k| 292.8 | 74M| 48 | - |2022 |7672 | 0 | 0 |1112 | 18k|6517 | 3.017546e+03 | -- | Inf
1124.09/1124.31 c 1124s| 15000 | 6707 | 4406k| 292.2 | 74M| 48 |1261 |2022 |7758 |2022 |6138 |1115 | 18k|6559 | 3.017546e+03 | -- | Inf
1129.29/1129.51 c 1130s| 15100 | 6715 | 4427k| 291.7 | 74M| 48 |1311 |2022 |7707 |2022 |6138 |1120 | 18k|6577 | 3.017546e+03 | -- | Inf
1133.39/1133.62 c 1134s| 15200 | 6717 | 4443k| 290.8 | 74M| 48 |1154 |2022 |7817 |2022 |6137 |1122 | 18k|6597 | 3.017546e+03 | -- | Inf
1137.39/1137.69 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1137.39/1137.69 c 1138s| 15300 | 6718 | 4462k| 290.2 | 74M| 48 |1143 |2022 |7838 |2022 |6137 |1123 | 19k|6616 | 3.017546e+03 | -- | Inf
1142.10/1142.37 c 1142s| 15400 | 6728 | 4479k| 289.4 | 74M| 48 |1217 |2022 |7866 |2022 |6137 |1124 | 19k|6647 | 3.017546e+03 | -- | Inf
1147.29/1147.50 c 1148s| 15500 | 6724 | 4500k| 288.9 | 74M| 48 | - |2022 |8045 | 0 | 0 |1125 | 19k|6677 | 3.017546e+03 | -- | Inf
1152.29/1152.50 c 1153s| 15600 | 6729 | 4517k| 288.1 | 74M| 48 | - |2022 |8113 | 0 | 0 |1126 | 19k|6715 | 3.017546e+03 | -- | Inf
1157.00/1157.26 c 1157s| 15700 | 6748 | 4536k| 287.5 | 74M| 48 |1332 |2022 |8110 |2022 |6137 |1126 | 19k|6727 | 3.017546e+03 | -- | Inf
1161.30/1161.51 c 1162s| 15800 | 6750 | 4555k| 286.9 | 74M| 48 | 898 |2022 |8146 |2022 |6137 |1126 | 20k|6745 | 3.017546e+03 | -- | Inf
1166.99/1167.28 c 1167s| 15900 | 6758 | 4577k| 286.5 | 74M| 48 |1421 |2022 |7885 |2022 |6137 |1126 | 20k|6766 | 3.017546e+03 | -- | Inf
1171.98/1172.27 c 1172s| 16000 | 6762 | 4598k| 285.9 | 74M| 48 |1124 |2022 |7906 |2022 |6137 |1126 | 20k|6796 | 3.017546e+03 | -- | Inf
1177.09/1177.32 c 1177s| 16100 | 6764 | 4618k| 285.4 | 74M| 48 |1468 |2022 |8042 |2022 |6137 |1127 | 20k|6827 | 3.017546e+03 | -- | Inf
1183.19/1183.49 c 1183s| 16200 | 6769 | 4644k| 285.3 | 74M| 48 | - |2022 |8076 | 0 | 0 |1127 | 20k|6862 | 3.017546e+03 | -- | Inf
1189.89/1190.16 c 1190s| 16300 | 6785 | 4671k| 285.2 | 74M| 48 |1463 |2022 |8019 |2022 |6137 |1128 | 20k|6901 | 3.017546e+03 | -- | Inf
1195.99/1196.22 c 1196s| 16400 | 6808 | 4696k| 285.0 | 74M| 48 | - |2022 |7920 | 0 | 0 |1129 | 21k|6932 | 3.017546e+03 | -- | Inf
1202.58/1202.82 c 1203s| 16500 | 6815 | 4722k| 284.8 | 74M| 48 | - |2022 |7915 | 0 | 0 |1130 | 21k|6991 | 3.017546e+03 | -- | Inf
1209.98/1210.25 c 1210s| 16600 | 6835 | 4752k| 284.9 | 74M| 48 |1259 |2022 |7770 |2022 |6137 |1133 | 21k|7036 | 3.018546e+03 | -- | Inf
1216.18/1216.40 c 1216s| 16700 | 6853 | 4776k| 284.6 | 74M| 48 | - |2022 |7750 | 0 | 0 |1135 | 21k|7076 | 3.018546e+03 | -- | Inf
1222.78/1223.01 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1222.78/1223.01 c 1223s| 16800 | 6857 | 4802k| 284.5 | 74M| 48 | - |2022 |7724 | 0 | 0 |1137 | 21k|7109 | 3.018546e+03 | -- | Inf
1231.87/1232.17 c 1232s| 16900 | 6891 | 4840k| 285.0 | 74M| 48 |1139 |2022 |7699 |2022 |6138 |1140 | 21k|7149 | 3.018546e+03 | -- | Inf
1238.58/1238.88 c 1239s| 17000 | 6922 | 4869k| 285.1 | 74M| 48 |1469 |2022 |7599 |2022 |6137 |1141 | 22k|7153 | 3.018546e+03 | -- | Inf
1243.37/1243.67 c 1244s| 17100 | 6940 | 4893k| 284.8 | 75M| 48 |1195 |2022 |7687 |2022 |6137 |1141 | 22k|7153 | 3.019546e+03 | -- | Inf
1246.38/1246.69 c 1247s| 17200 | 6947 | 4910k| 284.2 | 75M| 48 |1120 |2022 |7786 |2022 |6138 |1142 | 22k|7153 | 3.019546e+03 | -- | Inf
1251.27/1251.52 c 1252s| 17300 | 6957 | 4935k| 283.9 | 75M| 48 | - |2022 |7685 | 0 | 0 |1143 | 22k|7153 | 3.019546e+03 | -- | Inf
1255.67/1255.99 c 1256s| 17400 | 6973 | 4957k| 283.6 | 75M| 48 | - |2022 |7644 | 0 | 0 |1143 | 22k|7156 | 3.019546e+03 | -- | Inf
1259.37/1259.60 c 1260s| 17500 | 6982 | 4974k| 282.9 | 75M| 48 |1283 |2022 |7630 |2022 |6137 |1144 | 22k|7157 | 3.019546e+03 | -- | Inf
1263.88/1264.11 c 1264s| 17600 | 6998 | 4997k| 282.6 | 75M| 48 | - |2022 |7599 |2022 |6137 |1147 | 23k|7157 | 3.019546e+03 | -- | Inf
1266.68/1266.93 c 1267s| 17700 | 6999 | 5011k| 281.8 | 75M| 48 |1273 |2022 |7622 |2022 |6137 |1148 | 23k|7157 | 3.019546e+03 | -- | Inf
1271.57/1271.89 c 1272s| 17800 | 7016 | 5036k| 281.7 | 75M| 48 | - |2022 |7562 | 0 | 0 |1150 | 23k|7157 | 3.019546e+03 | -- | Inf
1275.47/1275.74 c 1276s| 17900 | 7012 | 5058k| 281.3 | 75M| 48 | - |2022 |7529 | 0 | 0 |1150 | 23k|7157 | 3.019546e+03 | -- | Inf
1279.97/1280.25 c 1280s| 18000 | 7019 | 5083k| 281.1 | 75M| 48 |1362 |2022 |7655 |2022 |6137 |1153 | 23k|7157 | 3.019546e+03 | -- | Inf
1283.57/1283.81 c 1284s| 18100 | 7031 | 5100k| 280.5 | 75M| 48 |1267 |2022 |7636 |2022 |6137 |1155 | 23k|7157 | 3.019546e+03 | -- | Inf
1287.47/1287.77 c 1288s| 18200 | 7034 | 5123k| 280.2 | 75M| 48 |1487 |2022 |7635 |2022 |6137 |1157 | 24k|7157 | 3.019546e+03 | -- | Inf
1293.06/1293.30 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1293.06/1293.30 c 1293s| 18300 | 7053 | 5150k| 280.2 | 75M| 48 | - |2022 |7607 | 0 | 0 |1158 | 24k|7157 | 3.019546e+03 | -- | Inf
1297.27/1297.56 c 1298s| 18400 | 7090 | 5174k| 280.0 | 75M| 48 |1167 |2022 |7529 |2022 |6138 |1161 | 24k|7157 | 3.019880e+03 | -- | Inf
1301.37/1301.61 c 1302s| 18500 | 7082 | 5194k| 279.5 | 75M| 48 |1240 |2022 |7720 |2022 |6138 |1161 | 24k|7157 | 3.020401e+03 | -- | Inf
1304.37/1304.62 c 1305s| 18600 | 7088 | 5210k| 278.9 | 75M| 48 | - |2022 |7833 | 0 | 0 |1161 | 24k|7157 | 3.020484e+03 | -- | Inf
1310.76/1311.01 c 1311s| 18700 | 7099 | 5239k| 279.0 | 75M| 48 |1294 |2022 |7723 |2022 |6138 |1161 | 24k|7157 | 3.020546e+03 | -- | Inf
1314.17/1314.50 c 1314s| 18800 | 7108 | 5257k| 278.4 | 75M| 48 |1456 |2022 |7726 |2022 |6138 |1161 | 25k|7157 | 3.020546e+03 | -- | Inf
1317.06/1317.37 c 1317s| 18900 | 7116 | 5272k| 277.7 | 75M| 48 |1383 |2022 |7736 |2022 |6138 |1161 | 25k|7157 | 3.020984e+03 | -- | Inf
1320.66/1320.97 c 1321s| 19000 | 7124 | 5291k| 277.3 | 75M| 48 | - |2022 |7787 | 0 | 0 |1161 | 25k|7157 | 3.021151e+03 | -- | Inf
1324.17/1324.49 c 1324s| 19100 | 7124 | 5310k| 276.8 | 75M| 48 |1361 |2022 |7834 |2022 |6138 |1161 | 25k|7157 | 3.021401e+03 | -- | Inf
1328.17/1328.45 c 1328s| 19200 | 7131 | 5327k| 276.2 | 75M| 48 |1031 |2022 |7910 |2022 |6138 |1161 | 25k|7181 | 3.021401e+03 | -- | Inf
1332.67/1332.92 c 1333s| 19300 | 7135 | 5343k| 275.7 | 75M| 48 | - |2022 |8009 | 0 | 0 |1161 | 25k|7208 | 3.021984e+03 | -- | Inf
1340.36/1340.66 c 1341s| 19400 | 7154 | 5382k| 276.2 | 75M| 48 |1286 |2022 |8045 |2022 |6138 |1161 | 26k|7225 | 3.022984e+03 | -- | Inf
1346.17/1346.43 c 1346s| 19500 | 7166 | 5407k| 276.1 | 75M| 48 |1252 |2022 |7988 |2022 |6138 |1161 | 26k|7249 | 3.023109e+03 | -- | Inf
1349.76/1350.08 c 1350s| 19600 | 7170 | 5420k| 275.4 | 75M| 48 |1428 |2022 |8068 |2022 |6138 |1162 | 26k|7273 | 3.023151e+03 | -- | Inf
1352.56/1352.87 c 1353s| 19700 | 7170 | 5433k| 274.6 | 76M| 48 | - |2022 |8251 | 0 | 0 |1162 | 26k|7283 | 3.023151e+03 | -- | Inf
1357.56/1357.88 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1357.56/1357.88 c 1358s| 19800 | 7181 | 5452k| 274.2 | 75M| 48 |1223 |2022 |8163 |2022 |6138 |1162 | 26k|7319 | 3.023984e+03 | -- | Inf
1362.86/1363.13 c 1363s| 19900 | 7186 | 5476k| 274.0 | 75M| 48 |1588 |2022 |8065 |2022 |6138 |1162 | 26k|7335 | 3.025046e+03 | -- | Inf
1369.75/1370.06 c 1370s| 20000 | 7211 | 5507k| 274.2 | 75M| 48 |1258 |2022 |7945 |2022 |6138 |1163 | 27k|7361 | 3.026046e+03 | -- | Inf
1374.36/1374.68 c 1375s| 20100 | 7222 | 5530k| 274.0 | 75M| 48 |1166 |2022 |8044 |2022 |6138 |1163 | 27k|7383 | 3.026046e+03 | -- | Inf
1378.75/1379.04 c 1379s| 20200 | 7224 | 5550k| 273.6 | 75M| 48 |1297 |2022 |8153 |2022 |6138 |1163 | 27k|7406 | 3.027296e+03 | -- | Inf
1384.45/1384.72 c 1385s| 20300 | 7234 | 5573k| 273.4 | 75M| 48 | - |2022 |7937 | 0 | 0 |1163 | 27k|7433 | 3.028296e+03 | -- | Inf
1389.36/1389.68 c 1390s| 20400 | 7237 | 5592k| 273.0 | 75M| 48 | - |2022 |7899 | 0 | 0 |1163 | 27k|7474 | 3.028296e+03 | -- | Inf
1393.75/1394.06 c 1394s| 20500 | 7240 | 5612k| 272.7 | 75M| 48 |1430 |2022 |7933 |2022 |6138 |1163 | 28k|7497 | 3.028296e+03 | -- | Inf
1401.15/1401.47 c 1401s| 20600 | 7258 | 5642k| 272.8 | 76M| 48 | 987 |2022 |7936 |2022 |6138 |1163 | 28k|7553 | 3.028296e+03 | -- | Inf
1405.85/1406.13 c 1406s| 20700 | 7254 | 5663k| 272.5 | 76M| 49 | - |2022 |7951 | 0 | 0 |1163 | 28k|7569 | 3.028296e+03 | -- | Inf
1411.45/1411.79 c 1412s| 20800 | 7274 | 5689k| 272.4 | 75M| 49 |1337 |2022 |7675 |2022 |6138 |1163 | 28k|7590 | 3.028546e+03 | -- | Inf
1415.85/1416.11 c 1416s| 20900 | 7274 | 5709k| 272.1 | 75M| 49 |1416 |2022 |7547 |2022 |6138 |1163 | 28k|7605 | 3.028796e+03 | -- | Inf
1419.54/1419.86 c 1420s| 21000 | 7292 | 5725k| 271.5 | 75M| 49 |1178 |2022 |7622 |2022 |6138 |1165 | 28k|7629 | 3.028796e+03 | -- | Inf
1425.75/1426.01 c 1426s| 21100 | 7291 | 5749k| 271.4 | 75M| 49 |1387 |2022 |7749 |2022 |6138 |1165 | 29k|7655 | 3.028796e+03 | -- | Inf
1432.15/1432.43 c 1432s| 21200 | 7303 | 5776k| 271.4 | 76M| 49 |1347 |2022 |7783 |2022 |6138 |1165 | 29k|7682 | 3.028796e+03 | -- | Inf
1436.54/1436.88 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1436.54/1436.88 c 1437s| 21300 | 7311 | 5794k| 270.9 | 76M| 49 |1282 |2022 |7797 |2022 |6138 |1165 | 29k|7704 | 3.028796e+03 | -- | Inf
1441.75/1442.05 c 1442s| 21400 | 7319 | 5814k| 270.6 | 76M| 49 | - |2022 |7781 | 0 | 0 |1165 | 29k|7730 | 3.028796e+03 | -- | Inf
1448.35/1448.69 c 1449s| 21500 | 7338 | 5841k| 270.6 | 76M| 49 | - |2022 |7658 | 0 | 0 |1165 | 29k|7748 | 3.028796e+03 | -- | Inf
1453.64/1453.93 c 1454s| 21600 | 7350 | 5861k| 270.3 | 76M| 49 |1375 |2022 |7758 |2022 |6138 |1165 | 30k|7778 | 3.028796e+03 | -- | Inf
1457.64/1457.93 c 1458s| 21700 | 7354 | 5879k| 269.9 | 76M| 51 |1374 |2022 |7737 |2022 |6138 |1165 | 30k|7787 | 3.028796e+03 | -- | Inf
1463.04/1463.35 c 1463s| 21800 | 7365 | 5902k| 269.7 | 76M| 51 |1421 |2022 |7637 |2022 |6138 |1165 | 30k|7817 | 3.028796e+03 | -- | Inf
1466.05/1466.38 c 1466s| 21900 | 7374 | 5915k| 269.1 | 76M| 51 |1372 |2022 |7614 |2022 |6138 |1165 | 30k|7828 | 3.028796e+03 | -- | Inf
1470.64/1470.96 c 1471s| 22000 | 7383 | 5935k| 268.7 | 76M| 51 |1312 |2022 |7689 |2022 |6138 |1165 | 30k|7858 | 3.028796e+03 | -- | Inf
1474.54/1474.81 c 1475s| 22100 | 7378 | 5951k| 268.2 | 76M| 51 | - |2022 |7703 | 0 | 0 |1165 | 31k|7881 | 3.028796e+03 | -- | Inf
1480.73/1481.09 c 1481s| 22200 | 7391 | 5975k| 268.1 | 76M| 51 | - |2022 |7614 | 0 | 0 |1165 | 31k|7910 | 3.028796e+03 | -- | Inf
1485.23/1485.53 c 1486s| 22300 | 7403 | 5995k| 267.8 | 76M| 51 |1185 |2022 |7642 |2022 |6138 |1165 | 31k|7942 | 3.029296e+03 | -- | Inf
1490.24/1490.55 c 1491s| 22400 | 7403 | 6019k| 267.7 | 76M| 51 | - |2022 |7671 | 0 | 0 |1165 | 31k|7962 | 3.029296e+03 | -- | Inf
1495.53/1495.80 c 1496s| 22500 | 7405 | 6042k| 267.5 | 76M| 51 | - |2022 |7723 | 0 | 0 |1165 | 31k|7995 | 3.029296e+03 | -- | Inf
1501.14/1501.41 c 1501s| 22600 | 7421 | 6065k| 267.4 | 76M| 51 |1408 |2022 |7645 |2022 |6138 |1165 | 31k|8013 | 3.029296e+03 | -- | Inf
1505.54/1505.81 c 1506s| 22700 | 7433 | 6085k| 267.0 | 76M| 51 |1382 |2022 |7682 |2022 |6138 |1165 | 31k|8032 | 3.029296e+03 | -- | Inf
1510.14/1510.43 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1510.14/1510.43 c 1510s| 22800 | 7456 | 6102k| 266.6 | 76M| 51 | - |2022 |7611 | 0 | 0 |1165 | 32k|8060 | 3.029296e+03 | -- | Inf
1516.53/1516.88 c 1517s| 22900 | 7473 | 6130k| 266.7 | 76M| 51 |1072 |2022 |7533 |2022 |6138 |1165 | 32k|8083 | 3.029296e+03 | -- | Inf
1519.83/1520.15 c 1520s| 23000 | 7474 | 6143k| 266.1 | 76M| 51 | - |2022 |7603 | 0 | 0 |1165 | 32k|8101 | 3.029296e+03 | -- | Inf
1524.43/1524.78 c 1525s| 23100 | 7476 | 6163k| 265.8 | 76M| 51 |1415 |2022 |7660 |2022 |6138 |1165 | 32k|8125 | 3.029296e+03 | -- | Inf
1530.43/1530.74 c 1531s| 23200 | 7490 | 6190k| 265.8 | 76M| 51 | - |2022 |7599 | 0 | 0 |1165 | 32k|8155 | 3.029296e+03 | -- | Inf
1537.93/1538.21 c 1538s| 23300 | 7526 | 6220k| 266.0 | 76M| 51 |1536 |2022 |7335 |2022 |6138 |1165 | 32k|8189 | 3.029796e+03 | -- | Inf
1544.23/1544.54 c 1545s| 23400 | 7542 | 6244k| 265.9 | 76M| 51 | - |2022 |7235 | 0 | 0 |1165 | 32k|8248 | 3.029796e+03 | -- | Inf
1548.23/1548.52 c 1549s| 23500 | 7556 | 6260k| 265.4 | 76M| 51 |1143 |2022 |7280 |2022 |6138 |1165 | 33k|8273 | 3.029796e+03 | -- | Inf
1552.62/1552.92 c 1553s| 23600 | 7565 | 6279k| 265.1 | 76M| 51 |1353 |2022 |7399 |2022 |6138 |1165 | 33k|8298 | 3.029796e+03 | -- | Inf
1557.42/1557.79 c 1558s| 23700 | 7574 | 6301k| 264.9 | 76M| 51 | - |2022 |7521 | 0 | 0 |1165 | 33k|8324 | 3.029796e+03 | -- | Inf
1562.92/1563.21 c 1563s| 23800 | 7578 | 6323k| 264.7 | 76M| 51 | - |2022 |7514 | 0 | 0 |1165 | 33k|8356 | 3.029796e+03 | -- | Inf
1569.62/1569.96 c 1570s| 23900 | 7602 | 6350k| 264.7 | 76M| 51 | - |2022 |7466 | 0 | 0 |1165 | 33k|8405 | 3.029796e+03 | -- | Inf
1575.02/1575.34 c 1575s| 24000 | 7627 | 6372k| 264.5 | 76M| 51 |1335 |2022 |7470 |2022 |6138 |1165 | 34k|8432 | 3.029796e+03 | -- | Inf
1580.82/1581.11 c 1581s| 24100 | 7638 | 6395k| 264.4 | 76M| 51 | - |2022 |7530 | 0 | 0 |1165 | 34k|8474 | 3.029796e+03 | -- | Inf
1586.22/1586.55 c 1587s| 24200 | 7665 | 6413k| 264.0 | 76M| 51 |1359 |2022 |7416 |2022 |6138 |1165 | 34k|8526 | 3.029796e+03 | -- | Inf
1590.33/1590.67 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1590.33/1590.67 c 1591s| 24300 | 7664 | 6432k| 263.8 | 76M| 51 | - |2022 |7477 | 0 | 0 |1165 | 34k|8541 | 3.029796e+03 | -- | Inf
1598.32/1598.60 c 1599s| 24400 | 7691 | 6464k| 264.0 | 76M| 51 | - |2022 |7403 | 0 | 0 |1165 | 34k|8590 | 3.029796e+03 | -- | Inf
1602.12/1602.47 c 1602s| 24500 | 7690 | 6480k| 263.6 | 76M| 51 | - |2022 |7456 | 0 | 0 |1165 | 34k|8612 | 3.029796e+03 | -- | Inf
1607.72/1608.07 c 1608s| 24600 | 7703 | 6502k| 263.4 | 76M| 51 |1379 |2022 |7414 |2022 |6138 |1165 | 35k|8671 | 3.029796e+03 | -- | Inf
1614.01/1614.39 c 1614s| 24700 | 7710 | 6530k| 263.5 | 76M| 51 | - |2022 |7321 | 0 | 0 |1165 | 35k|8707 | 3.029796e+03 | -- | Inf
1618.02/1618.31 c 1618s| 24800 | 7715 | 6546k| 263.0 | 76M| 51 | - |2022 |7350 | 0 | 0 |1165 | 35k|8747 | 3.029796e+03 | -- | Inf
1623.62/1623.90 c 1624s| 24900 | 7726 | 6568k| 262.8 | 76M| 51 |1314 |2022 |7279 |2022 |6138 |1165 | 35k|8784 | 3.029796e+03 | -- | Inf
1627.52/1627.82 c 1628s| 25000 | 7736 | 6586k| 262.5 | 77M| 51 | 778 |2022 |7421 |2022 |6138 |1165 | 35k|8793 | 3.029796e+03 | -- | Inf
1631.11/1631.47 c 1631s| 25100 | 7746 | 6604k| 262.2 | 77M| 51 | - |2022 |7458 |2022 |6138 |1165 | 36k|8799 | 3.029796e+03 | -- | Inf
1635.91/1636.21 c 1636s| 25200 | 7753 | 6625k| 262.0 | 77M| 51 | - |2022 |7454 | 0 | 0 |1165 | 36k|8812 | 3.030296e+03 | -- | Inf
1639.72/1640.10 c 1640s| 25300 | 7767 | 6644k| 261.7 | 76M| 51 | 662 |2022 |7474 |2022 |6137 |1165 | 36k|8814 | 3.030296e+03 | -- | Inf
1642.82/1643.10 c 1643s| 25400 | 7783 | 6659k| 261.3 | 77M| 51 | - |2022 |7572 | 0 | 0 |1165 | 36k|8818 | 3.030296e+03 | -- | Inf
1646.01/1646.33 c 1646s| 25500 | 7774 | 6675k| 260.9 | 77M| 51 | - |2022 |7702 | 0 | 0 |1165 | 36k|8819 | 3.030296e+03 | -- | Inf
1649.81/1650.10 c 1650s| 25600 | 7783 | 6693k| 260.6 | 77M| 51 |1153 |2022 |7775 |2022 |6137 |1165 | 36k|8823 | 3.030296e+03 | -- | Inf
1654.61/1654.97 c 1655s| 25700 | 7803 | 6718k| 260.5 | 77M| 51 |1285 |2022 |7816 |2022 |6137 |1165 | 37k|8824 | 3.030296e+03 | -- | Inf
1659.81/1660.14 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1659.81/1660.14 c 1660s| 25800 | 7829 | 6744k| 260.5 | 77M| 51 |1360 |2022 |7715 |2022 |6137 |1165 | 37k|8824 | 3.030796e+03 | -- | Inf
1666.21/1666.52 c 1667s| 25900 | 7856 | 6776k| 260.7 | 77M| 51 | - |2022 |7661 | 0 | 0 |1165 | 37k|8825 | 3.030796e+03 | -- | Inf
1670.11/1670.42 c 1670s| 26000 | 7875 | 6795k| 260.5 | 77M| 51 | - |2022 |7434 | 0 | 0 |1165 | 37k|8825 | 3.030796e+03 | -- | Inf
1674.11/1674.41 c 1674s| 26100 | 7892 | 6815k| 260.3 | 77M| 51 | - |2022 |7364 | 0 | 0 |1165 | 37k|8827 | 3.030796e+03 | -- | Inf
1677.41/1677.79 c 1678s| 26200 | 7899 | 6834k| 260.0 | 77M| 51 |1394 |2022 |7384 |2022 |6137 |1165 | 37k|8827 | 3.030796e+03 | -- | Inf
1681.21/1681.54 c 1682s| 26300 | 7913 | 6854k| 259.7 | 77M| 51 |1143 |2022 |7413 |2022 |6137 |1165 | 38k|8827 | 3.030796e+03 | -- | Inf
1683.11/1683.47 c 1683s| 26400 | 7908 | 6865k| 259.2 | 77M| 51 | - |2022 |7512 | 0 | 0 |1165 | 38k|8827 | 3.030796e+03 | -- | Inf
1687.91/1688.28 c 1688s| 26500 | 7936 | 6890k| 259.1 | 77M| 51 |1155 |2022 |7504 |2022 |6138 |1165 | 38k|8827 | 3.030796e+03 | -- | Inf
1691.10/1691.46 c 1691s| 26600 | 7945 | 6906k| 258.8 | 77M| 51 |1214 |2022 |7607 |2022 |6138 |1165 | 38k|8827 | 3.030796e+03 | -- | Inf
1693.21/1693.59 c 1694s| 26700 | 7946 | 6918k| 258.3 | 77M| 51 | - |2022 |7724 | 0 | 0 |1165 | 38k|8827 | 3.030796e+03 | -- | Inf
1696.01/1696.36 c 1696s| 26800 | 7951 | 6934k| 257.9 | 77M| 51 |1075 |2022 |7840 |2022 |6138 |1165 | 39k|8827 | 3.030796e+03 | -- | Inf
1699.41/1699.75 c 1700s| 26900 | 7958 | 6952k| 257.6 | 77M| 51 |1362 |2022 |7865 |2022 |6138 |1165 | 39k|8827 | 3.030796e+03 | -- | Inf
1703.80/1704.10 c 1704s| 27000 | 7973 | 6973k| 257.4 | 77M| 51 |1310 |2022 |7777 |2022 |6138 |1165 | 39k|8827 | 3.030796e+03 | -- | Inf
1707.91/1708.22 c 1708s| 27100 | 7996 | 6996k| 257.3 | 77M| 51 |1157 |2022 |7794 |2022 |6138 |1165 | 39k|8827 | 3.030796e+03 | -- | Inf
1711.21/1711.55 c 1712s| 27200 | 8007 | 7012k| 257.0 | 77M| 51 |1242 |2022 |7761 |2022 |6138 |1165 | 39k|8827 | 3.030796e+03 | -- | Inf
1715.50/1715.80 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1715.50/1715.80 c 1716s| 27300 | 8019 | 7034k| 256.8 | 77M| 51 | - |2022 |7742 | 0 | 0 |1165 | 39k|8827 | 3.030796e+03 | -- | Inf
1719.81/1720.12 c 1720s| 27400 | 8035 | 7057k| 256.7 | 77M| 51 |1164 |2022 |7705 |2022 |6138 |1165 | 40k|8827 | 3.030796e+03 | -- | Inf
1723.70/1724.07 c 1724s| 27500 | 8054 | 7077k| 256.5 | 77M| 51 | - |2022 |7620 | 0 | 0 |1165 | 40k|8827 | 3.030796e+03 | -- | Inf
1727.30/1727.63 c 1728s| 27600 | 8068 | 7096k| 256.3 | 77M| 51 |1251 |2022 |7585 |2022 |6138 |1165 | 40k|8827 | 3.030796e+03 | -- | Inf
1730.90/1731.22 c 1731s| 27700 | 8076 | 7115k| 256.0 | 77M| 51 |1053 |2022 |7579 |2022 |6138 |1165 | 40k|8827 | 3.030796e+03 | -- | Inf
1734.00/1734.32 c 1734s| 27800 | 8086 | 7133k| 255.8 | 77M| 51 | 945 |2022 |7685 |2022 |6138 |1165 | 40k|8827 | 3.030796e+03 | -- | Inf
1737.89/1738.28 c 1738s| 27900 | 8097 | 7154k| 255.6 | 77M| 51 |1475 |2022 |7677 |2022 |6138 |1165 | 40k|8827 | 3.030796e+03 | -- | Inf
1743.89/1744.20 c 1744s| 28000 | 8125 | 7178k| 255.5 | 77M| 51 | - |2022 |7647 | 0 | 0 |1165 | 41k|8846 | 3.030796e+03 | -- | Inf
1748.49/1748.85 c 1749s| 28100 | 8132 | 7199k| 255.4 | 77M| 51 |1249 |2022 |7694 |2022 |6138 |1165 | 41k|8864 | 3.030796e+03 | -- | Inf
1751.70/1752.00 c 1752s| 28200 | 8133 | 7215k| 255.0 | 77M| 51 |1098 |2022 |7791 |2022 |6138 |1165 | 41k|8880 | 3.030796e+03 | -- | Inf
1755.50/1755.89 c 1756s| 28300 | 8133 | 7232k| 254.7 | 77M| 51 |1327 |2022 |7853 |2022 |6138 |1165 | 41k|8892 | 3.030796e+03 | -- | Inf
1761.50/1761.82 c 1762s| 28400 | 8146 | 7260k| 254.8 | 78M| 51 | - |2022 |7915 | 0 | 0 |1165 | 41k|8911 | 3.030796e+03 | -- | Inf
1767.90/1768.25 c 1768s| 28500 | 8166 | 7286k| 254.9 | 78M| 51 | - |2022 |7786 | 0 | 0 |1165 | 41k|8938 | 3.030796e+03 | -- | Inf
1771.80/1772.10 c 1772s| 28600 | 8173 | 7304k| 254.6 | 78M| 51 |1294 |2022 |7758 |2022 |6138 |1165 | 42k|8951 | 3.030796e+03 | -- | Inf
1776.69/1777.01 c 1777s| 28700 | 8173 | 7322k| 254.3 | 78M| 51 | - |2022 |7767 |2022 |6138 |1165 | 42k|8990 | 3.030796e+03 | -- | Inf
1780.19/1780.55 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1780.19/1780.55 c 1781s| 28800 | 8181 | 7339k| 254.0 | 78M| 51 |1319 |2022 |7756 |2022 |6138 |1165 | 42k|8999 | 3.030796e+03 | -- | Inf
1787.39/1787.75 c 1788s| 28900 | 8189 | 7370k| 254.2 | 78M| 51 | - |2022 |7754 | 0 | 0 |1165 | 42k|9024 | 3.030796e+03 | -- | Inf
1794.09/1794.46 c 1794s| 29000 | 8214 | 7395k| 254.2 | 78M| 51 |1323 |2022 |7596 |2022 |6138 |1165 | 42k|9055 | 3.031296e+03 | -- | Inf
1796.69/1797.00 c
1796.69/1797.00 c SCIP Status : solving was interrupted [time limit reached]
1796.69/1797.00 c Solving Time (sec) : 1797.00
1796.69/1797.00 c Solving Nodes : 29054
1796.69/1797.00 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1796.69/1797.00 c Dual Bound : +3.03129643500765e+03
1796.69/1797.00 c Gap : infinite
1796.69/1797.00 s UNKNOWN
1796.69/1797.00 c SCIP Status : solving was interrupted [time limit reached]
1796.69/1797.00 c Total Time : 1797.00
1796.69/1797.00 c solving : 1797.00
1796.69/1797.00 c presolving : 1.10 (included in solving)
1796.69/1797.00 c reading : 0.04 (included in solving)
1796.69/1797.00 c copying : 0.04 (2 #copies) (minimal 0.02, maximal 0.02, average 0.02)
1796.69/1797.00 c Original Problem :
1796.69/1797.00 c Problem name : HOME/instance-3692005-1338031610.opb
1796.69/1797.00 c Variables : 6352 (6352 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.69/1797.00 c Constraints : 13501 initial, 13501 maximal
1796.69/1797.00 c Objective sense : minimize
1796.69/1797.00 c Presolved Problem :
1796.69/1797.00 c Problem name : t_HOME/instance-3692005-1338031610.opb
1796.69/1797.00 c Variables : 2022 (2022 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.69/1797.00 c Constraints : 5903 initial, 8295 maximal
1796.69/1797.00 c Presolvers : ExecTime SetupTime FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1796.69/1797.00 c domcol : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.69/1797.00 c trivial : 0.01 0.00 38 0 0 0 0 0 0 0 0
1796.69/1797.00 c dualfix : 0.01 0.00 0 0 0 0 0 0 0 0 0
1796.69/1797.00 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.69/1797.00 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.69/1797.00 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.69/1797.00 c gateextraction : 0.01 0.00 0 0 0 0 0 3 1 0 0
1796.69/1797.00 c implics : 0.02 0.00 0 3134 0 0 0 0 0 0 0
1796.69/1797.00 c components : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.69/1797.00 c pseudoobj : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.69/1797.00 c probing : 0.16 0.00 1 150 0 1 0 0 0 0 0
1796.69/1797.00 c setppc : 0.05 0.00 0 0 0 0 0 273 0 0 0
1796.69/1797.00 c and : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.69/1797.00 c linear : 0.56 0.00 953 54 0 991 0 7323 0 169 326
1796.69/1797.00 c logicor : 0.23 0.00 0 0 0 0 0 0 0 0 0
1796.69/1797.00 c root node : - - 0 - - 0 - - - - -
1796.69/1797.00 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Conss Children
1796.69/1797.00 c integral : 0 0 0 0 22609 0 4 0 44 173 0 0 44962
1796.69/1797.00 c setppc : 1113 1113 27 613517 0 0 3 1501175 3288 2051633 0 0 0
1796.69/1797.00 c and : 1 1 18927 435221 0 0 0 222 2 1166 254 0 0
1796.69/1797.00 c linear : 0+ 674 27 604890 0 0 0 21386 45 19358 5 0 0
1796.69/1797.00 c logicor : 4789+ 7161 27 544523 0 0 0 1426256 9256 3619020 0 0 0
1796.69/1797.00 c countsols : 0 0 0 0 0 0 0 0 0 0 0 0 0
1796.69/1797.00 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS Check ResProp
1796.69/1797.00 c integral : 353.81 0.00 0.00 0.00 353.81 0.00 0.00 0.00
1796.69/1797.00 c setppc : 16.03 0.00 0.00 14.44 0.00 0.00 0.00 1.59
1796.69/1797.00 c and : 0.43 0.00 0.03 0.39 0.00 0.00 0.00 0.00
1796.69/1797.00 c linear : 1.32 0.00 0.02 1.26 0.00 0.00 0.00 0.03
1796.69/1797.00 c logicor : 24.38 0.00 0.01 22.63 0.00 0.00 0.00 1.74
1796.69/1797.00 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1796.69/1797.00 c Propagators : #Propagate #ResProp Cutoffs DomReds
1796.69/1797.00 c rootredcost : 0 0 0 0
1796.69/1797.00 c pseudoobj : 633308 0 0 0
1796.69/1797.00 c vbounds : 0 0 0 0
1796.69/1797.00 c redcost : 22888 0 0 0
1796.69/1797.00 c probing : 0 0 0 0
1796.69/1797.00 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp
1796.69/1797.00 c rootredcost : 0.53 0.00 0.00 0.53 0.00
1796.69/1797.00 c pseudoobj : 1.23 0.00 0.00 1.23 0.00
1796.69/1797.00 c vbounds : 0.51 0.00 0.00 0.51 0.00
1796.69/1797.00 c redcost : 0.74 0.00 0.00 0.74 0.00
1796.69/1797.00 c probing : 0.16 0.00 0.16 0.00 0.00
1796.69/1797.00 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1796.69/1797.00 c propagation : 6.50 12591 11865 133385 40.6 1765 16.3 -
1796.69/1797.00 c infeasible LP : 0.45 653 653 6962 41.9 93 11.5 0
1796.69/1797.00 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1796.69/1797.00 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1796.69/1797.00 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1796.69/1797.00 c applied globally : - - - 42769 35.5 - - -
1796.69/1797.00 c applied locally : - - - 0 0.0 - - -
1796.69/1797.00 c Separators : ExecTime SetupTime Calls Cutoffs DomReds Cuts Conss
1796.69/1797.00 c cut pool : 0.08 26 - - 557 - (maximal pool size: 6945)
1796.69/1797.00 c closecuts : 0.00 0.00 0 0 0 0 0
1796.69/1797.00 c impliedbounds : 0.01 0.00 27 0 0 404 0
1796.69/1797.00 c intobj : 0.00 0.00 0 0 0 0 0
1796.69/1797.00 c gomory : 0.09 0.00 10 0 0 500 0
1796.69/1797.00 c cgmip : 0.00 0.00 0 0 0 0 0
1796.69/1797.00 c strongcg : 1.30 0.00 20 0 0 10000 0
1796.69/1797.00 c cmir : 0.25 0.00 10 0 0 0 0
1796.69/1797.00 c flowcover : 0.23 0.00 10 0 0 0 0
1796.69/1797.00 c clique : 0.06 0.00 27 0 0 108 0
1796.69/1797.00 c zerohalf : 0.00 0.00 0 0 0 0 0
1796.69/1797.00 c mcf : 0.00 0.00 1 0 0 0 0
1796.69/1797.00 c oddcycle : 0.00 0.00 0 0 0 0 0
1796.69/1797.00 c rapidlearning : 0.89 0.00 1 0 0 0 674
1796.69/1797.00 c Pricers : ExecTime SetupTime Calls Vars
1796.69/1797.00 c problem variables: 0.00 - 0 0
1796.69/1797.00 c Branching Rules : ExecTime SetupTime Calls Cutoffs DomReds Cuts Conss Children
1796.69/1797.00 c relpscost : 353.73 0.00 22609 44 173 0 0 44962
1796.69/1797.00 c pscost : 0.00 0.00 0 0 0 0 0 0
1796.69/1797.00 c inference : 0.00 0.00 0 0 0 0 0 0
1796.69/1797.00 c mostinf : 0.00 0.00 0 0 0 0 0 0
1796.69/1797.00 c leastinf : 0.00 0.00 0 0 0 0 0 0
1796.69/1797.00 c fullstrong : 0.00 0.00 0 0 0 0 0 0
1796.69/1797.00 c allfullstrong : 0.00 0.00 0 0 0 0 0 0
1796.69/1797.00 c random : 0.00 0.00 0 0 0 0 0 0
1796.69/1797.00 c Primal Heuristics : ExecTime SetupTime Calls Found
1796.69/1797.00 c LP solutions : 0.00 - - 0
1796.69/1797.00 c pseudo solutions : 0.00 - - 0
1796.69/1797.00 c oneopt : 0.06 0.00 0 0
1796.69/1797.00 c crossover : 0.03 0.00 0 0
1796.69/1797.00 c fracdiving : 51.59 0.00 202 0
1796.69/1797.00 c linesearchdiving : 67.35 0.00 203 0
1796.69/1797.00 c smallcard : 0.00 0.00 0 0
1796.69/1797.00 c trivial : 0.01 0.00 2 0
1796.69/1797.00 c shiftandpropagate: 0.03 0.00 1 0
1796.69/1797.00 c simplerounding : 0.03 0.00 0 0
1796.69/1797.00 c zirounding : 0.54 0.00 1000 0
1796.69/1797.00 c rounding : 0.87 0.00 2103 0
1796.69/1797.00 c shifting : 1.51 0.00 649 0
1796.69/1797.00 c intshifting : 0.00 0.00 0 0
1796.69/1797.00 c twoopt : 0.00 0.00 0 0
1796.69/1797.00 c indoneopt : 0.07 0.00 0 0
1796.69/1797.00 c indtwoopt : 0.00 0.00 0 0
1796.69/1797.00 c fixandinfer : 0.00 0.00 0 0
1796.69/1797.00 c feaspump : 25.50 0.00 18 0
1796.69/1797.00 c clique : 0.00 0.00 0 0
1796.69/1797.00 c indrounding : 0.00 0.00 0 0
1796.69/1797.00 c coefdiving : 72.58 0.00 203 0
1796.69/1797.00 c indcoefdiving : 0.00 0.00 0 0
1796.69/1797.00 c pscostdiving : 77.59 0.00 193 0
1796.69/1797.00 c nlpdiving : 0.00 0.00 0 0
1796.69/1797.00 c veclendiving : 80.71 0.00 113 0
1796.69/1797.00 c intdiving : 0.00 0.00 0 0
1796.69/1797.00 c actconsdiving : 0.00 0.00 0 0
1796.69/1797.00 c objpscostdiving : 23.50 0.00 9 0
1796.69/1797.00 c rootsoldiving : 24.16 0.00 14 0
1796.69/1797.00 c guideddiving : 0.00 0.00 0 0
1796.69/1797.00 c octane : 0.00 0.00 0 0
1796.69/1797.00 c rens : 0.03 0.00 0 0
1796.69/1797.00 c rins : 0.00 0.00 0 0
1796.69/1797.00 c localbranching : 0.00 0.00 0 0
1796.69/1797.00 c mutation : 0.00 0.00 0 0
1796.69/1797.00 c dins : 0.00 0.00 0 0
1796.69/1797.00 c vbounds : 0.00 0.00 0 0
1796.69/1797.00 c undercover : 0.00 0.00 1 0
1796.69/1797.00 c subnlp : 0.03 0.00 0 0
1796.69/1797.00 c trysol : 0.05 0.00 0 0
1796.69/1797.00 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It
1796.69/1797.00 c primal LP : 0.01 3 0 0.00 0.00 0.01 3
1796.69/1797.00 c dual LP : 932.80 23339 5812524 249.51 6231.23 0.12 43
1796.69/1797.00 c lex dual LP : 0.00 0 0 0.00 -
1796.69/1797.00 c barrier LP : 0.00 0 0 0.00 - 0.00 0
1796.69/1797.00 c diving/probing LP: 373.08 50588 1596040 31.55 4277.99
1796.69/1797.00 c strong branching : 345.68 9055 1757718 194.12 5084.80
1796.69/1797.00 c (at root node) : - 14 2756 196.86 -
1796.69/1797.00 c conflict analysis: 0.00 0 0 0.00 -
1796.69/1797.00 c B&B Tree :
1796.69/1797.00 c number of runs : 1
1796.69/1797.00 c nodes : 29054
1796.69/1797.00 c nodes (total) : 29054
1796.69/1797.00 c nodes left : 8227
1796.69/1797.00 c max depth : 51
1796.69/1797.00 c max depth (total): 51
1796.69/1797.00 c backtracks : 8080 (27.8%)
1796.69/1797.00 c delayed cutoffs : 7682
1796.69/1797.00 c repropagations : 18277 (2440161 domain reductions, 5037 cutoffs)
1796.69/1797.00 c avg switch length: 5.33
1796.69/1797.00 c switching time : 15.49
1796.69/1797.00 c Solution :
1796.69/1797.00 c Solutions found : 0 (0 improvements)
1796.69/1797.00 c Primal Bound : -
1796.69/1797.00 c Dual Bound : +3.03129643500765e+03
1796.69/1797.00 c Gap : infinite
1796.69/1797.00 c Root Dual Bound : +2.89032501376838e+03
1796.69/1797.00 c Root Iterations : 23525
1796.69/1797.06 c Time complete: 1796.75.