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-3692004-1338031558.opb>
0.00/0.04 c original problem has 6352 variables (6352 bin, 0 int, 0 impl, 0 cont) and 13473 constraints
0.00/0.04 c problem read in 0.04
0.05/0.07 c presolving:
0.09/0.14 c (round 1) 2944 del vars, 496 del conss, 0 add conss, 325 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 38274 impls, 0 clqs
0.09/0.19 c (round 2) 3207 del vars, 4467 del conss, 0 add conss, 356 chg bounds, 1 chg sides, 2 chg coeffs, 0 upgd conss, 47718 impls, 0 clqs
0.19/0.20 c (round 3) 3240 del vars, 4891 del conss, 0 add conss, 371 chg bounds, 3 chg sides, 6 chg coeffs, 0 upgd conss, 47987 impls, 0 clqs
0.19/0.21 c (round 4) 3275 del vars, 4972 del conss, 0 add conss, 387 chg bounds, 6 chg sides, 12 chg coeffs, 0 upgd conss, 48326 impls, 0 clqs
0.19/0.22 c (round 5) 3310 del vars, 5064 del conss, 0 add conss, 401 chg bounds, 9 chg sides, 18 chg coeffs, 0 upgd conss, 48683 impls, 0 clqs
0.19/0.22 c (round 6) 3339 del vars, 5138 del conss, 0 add conss, 413 chg bounds, 12 chg sides, 24 chg coeffs, 0 upgd conss, 49050 impls, 0 clqs
0.19/0.23 c (round 7) 3362 del vars, 5205 del conss, 0 add conss, 425 chg bounds, 16 chg sides, 32 chg coeffs, 0 upgd conss, 49290 impls, 0 clqs
0.19/0.24 c (round 8) 3386 del vars, 5263 del conss, 0 add conss, 434 chg bounds, 19 chg sides, 38 chg coeffs, 0 upgd conss, 49503 impls, 0 clqs
0.19/0.25 c (round 9) 3402 del vars, 5310 del conss, 0 add conss, 442 chg bounds, 23 chg sides, 46 chg coeffs, 0 upgd conss, 49664 impls, 0 clqs
0.19/0.25 c (round 10) 3418 del vars, 5350 del conss, 0 add conss, 450 chg bounds, 27 chg sides, 54 chg coeffs, 0 upgd conss, 49805 impls, 0 clqs
0.19/0.26 c (round 11) 3434 del vars, 5390 del conss, 0 add conss, 458 chg bounds, 31 chg sides, 62 chg coeffs, 0 upgd conss, 49928 impls, 0 clqs
0.19/0.27 c (round 12) 3450 del vars, 5430 del conss, 0 add conss, 466 chg bounds, 35 chg sides, 70 chg coeffs, 0 upgd conss, 50061 impls, 0 clqs
0.19/0.27 c (round 13) 3466 del vars, 5470 del conss, 0 add conss, 474 chg bounds, 39 chg sides, 78 chg coeffs, 0 upgd conss, 50182 impls, 0 clqs
0.19/0.28 c (round 14) 3482 del vars, 5510 del conss, 0 add conss, 482 chg bounds, 43 chg sides, 86 chg coeffs, 0 upgd conss, 50325 impls, 0 clqs
0.19/0.29 c (round 15) 3499 del vars, 5551 del conss, 0 add conss, 491 chg bounds, 47 chg sides, 94 chg coeffs, 0 upgd conss, 50508 impls, 0 clqs
0.29/0.30 c (round 16) 3515 del vars, 5591 del conss, 0 add conss, 499 chg bounds, 51 chg sides, 102 chg coeffs, 0 upgd conss, 50725 impls, 0 clqs
0.29/0.30 c (round 17) 3531 del vars, 5631 del conss, 0 add conss, 507 chg bounds, 55 chg sides, 110 chg coeffs, 0 upgd conss, 50918 impls, 0 clqs
0.29/0.31 c (round 18) 3547 del vars, 5671 del conss, 0 add conss, 515 chg bounds, 59 chg sides, 118 chg coeffs, 0 upgd conss, 51049 impls, 0 clqs
0.29/0.32 c (round 19) 3563 del vars, 5711 del conss, 0 add conss, 523 chg bounds, 63 chg sides, 126 chg coeffs, 0 upgd conss, 51190 impls, 0 clqs
0.29/0.32 c (round 20) 3579 del vars, 5751 del conss, 0 add conss, 531 chg bounds, 67 chg sides, 134 chg coeffs, 0 upgd conss, 51333 impls, 0 clqs
0.29/0.33 c (round 21) 3592 del vars, 5784 del conss, 0 add conss, 536 chg bounds, 69 chg sides, 138 chg coeffs, 0 upgd conss, 51499 impls, 0 clqs
0.29/0.34 c (round 22) 3609 del vars, 5825 del conss, 0 add conss, 546 chg bounds, 72 chg sides, 144 chg coeffs, 0 upgd conss, 51613 impls, 0 clqs
0.29/0.34 c (round 23) 3622 del vars, 5872 del conss, 0 add conss, 556 chg bounds, 75 chg sides, 150 chg coeffs, 0 upgd conss, 51677 impls, 0 clqs
0.39/0.48 c (round 24) 3640 del vars, 5910 del conss, 0 add conss, 568 chg bounds, 76 chg sides, 152 chg coeffs, 0 upgd conss, 51800 impls, 0 clqs
0.39/0.48 c (round 25) 3654 del vars, 5949 del conss, 0 add conss, 577 chg bounds, 77 chg sides, 154 chg coeffs, 0 upgd conss, 51911 impls, 0 clqs
0.39/0.48 c (round 26) 3670 del vars, 5987 del conss, 0 add conss, 587 chg bounds, 78 chg sides, 156 chg coeffs, 0 upgd conss, 52054 impls, 0 clqs
0.39/0.48 c (round 27) 3690 del vars, 6027 del conss, 0 add conss, 597 chg bounds, 80 chg sides, 160 chg coeffs, 0 upgd conss, 52205 impls, 0 clqs
0.39/0.48 c (round 28) 3697 del vars, 6068 del conss, 0 add conss, 606 chg bounds, 82 chg sides, 164 chg coeffs, 0 upgd conss, 52223 impls, 0 clqs
0.39/0.48 c (round 29) 3713 del vars, 6097 del conss, 0 add conss, 616 chg bounds, 85 chg sides, 170 chg coeffs, 0 upgd conss, 52300 impls, 0 clqs
0.39/0.48 c (round 30) 3727 del vars, 6136 del conss, 0 add conss, 628 chg bounds, 86 chg sides, 172 chg coeffs, 0 upgd conss, 52349 impls, 0 clqs
0.39/0.48 c (round 31) 3742 del vars, 6172 del conss, 0 add conss, 640 chg bounds, 87 chg sides, 174 chg coeffs, 0 upgd conss, 52408 impls, 0 clqs
0.39/0.48 c (round 32) 3759 del vars, 6211 del conss, 0 add conss, 653 chg bounds, 88 chg sides, 176 chg coeffs, 0 upgd conss, 52441 impls, 0 clqs
0.39/0.48 c (round 33) 3778 del vars, 6252 del conss, 0 add conss, 666 chg bounds, 89 chg sides, 178 chg coeffs, 0 upgd conss, 52548 impls, 0 clqs
0.39/0.48 c (round 34) 3795 del vars, 6294 del conss, 0 add conss, 676 chg bounds, 90 chg sides, 180 chg coeffs, 0 upgd conss, 52671 impls, 0 clqs
0.39/0.48 c (round 35) 3807 del vars, 6327 del conss, 0 add conss, 686 chg bounds, 92 chg sides, 185 chg coeffs, 0 upgd conss, 52708 impls, 0 clqs
0.39/0.48 c (round 36) 3816 del vars, 6357 del conss, 0 add conss, 694 chg bounds, 95 chg sides, 191 chg coeffs, 0 upgd conss, 52762 impls, 0 clqs
0.39/0.48 c (round 37) 3836 del vars, 6398 del conss, 0 add conss, 707 chg bounds, 96 chg sides, 193 chg coeffs, 0 upgd conss, 52853 impls, 0 clqs
0.39/0.48 c (round 38) 3846 del vars, 6439 del conss, 0 add conss, 716 chg bounds, 96 chg sides, 193 chg coeffs, 0 upgd conss, 52881 impls, 0 clqs
0.39/0.48 c (round 39) 3863 del vars, 6472 del conss, 0 add conss, 731 chg bounds, 100 chg sides, 201 chg coeffs, 0 upgd conss, 52932 impls, 0 clqs
0.39/0.48 c (round 40) 3878 del vars, 6516 del conss, 0 add conss, 743 chg bounds, 102 chg sides, 205 chg coeffs, 0 upgd conss, 52989 impls, 0 clqs
0.39/0.48 c (round 41) 3892 del vars, 6554 del conss, 0 add conss, 759 chg bounds, 107 chg sides, 215 chg coeffs, 0 upgd conss, 53019 impls, 0 clqs
0.39/0.48 c (round 42) 3910 del vars, 6592 del conss, 0 add conss, 773 chg bounds, 109 chg sides, 219 chg coeffs, 0 upgd conss, 53112 impls, 0 clqs
0.39/0.48 c (round 43) 3922 del vars, 6632 del conss, 0 add conss, 787 chg bounds, 112 chg sides, 225 chg coeffs, 0 upgd conss, 53133 impls, 0 clqs
0.39/0.48 c (round 44) 3943 del vars, 6667 del conss, 0 add conss, 802 chg bounds, 114 chg sides, 229 chg coeffs, 0 upgd conss, 53246 impls, 0 clqs
0.39/0.49 c (round 45) 3956 del vars, 6711 del conss, 0 add conss, 815 chg bounds, 117 chg sides, 235 chg coeffs, 0 upgd conss, 53276 impls, 0 clqs
0.39/0.49 c (round 46) 3974 del vars, 6749 del conss, 0 add conss, 830 chg bounds, 120 chg sides, 241 chg coeffs, 0 upgd conss, 53396 impls, 0 clqs
0.49/0.50 c (round 47) 3985 del vars, 6790 del conss, 0 add conss, 842 chg bounds, 123 chg sides, 247 chg coeffs, 0 upgd conss, 53422 impls, 0 clqs
0.49/0.50 c (round 48) 4000 del vars, 6823 del conss, 0 add conss, 855 chg bounds, 125 chg sides, 251 chg coeffs, 0 upgd conss, 53441 impls, 0 clqs
0.49/0.51 c (round 49) 4017 del vars, 6864 del conss, 0 add conss, 871 chg bounds, 127 chg sides, 255 chg coeffs, 0 upgd conss, 53531 impls, 0 clqs
0.49/0.52 c (round 50) 4031 del vars, 6898 del conss, 0 add conss, 883 chg bounds, 128 chg sides, 257 chg coeffs, 0 upgd conss, 53574 impls, 0 clqs
0.49/0.52 c (round 51) 4051 del vars, 6943 del conss, 0 add conss, 901 chg bounds, 130 chg sides, 261 chg coeffs, 0 upgd conss, 53725 impls, 0 clqs
0.49/0.53 c (round 52) 4067 del vars, 6992 del conss, 0 add conss, 916 chg bounds, 134 chg sides, 269 chg coeffs, 0 upgd conss, 53788 impls, 0 clqs
0.49/0.54 c (round 53) 4080 del vars, 7026 del conss, 0 add conss, 930 chg bounds, 139 chg sides, 279 chg coeffs, 0 upgd conss, 53823 impls, 0 clqs
0.49/0.54 c (round 54) 4101 del vars, 7062 del conss, 0 add conss, 943 chg bounds, 140 chg sides, 281 chg coeffs, 0 upgd conss, 53946 impls, 0 clqs
0.49/0.55 c (round 55) 4114 del vars, 7108 del conss, 0 add conss, 955 chg bounds, 143 chg sides, 287 chg coeffs, 0 upgd conss, 54060 impls, 0 clqs
0.49/0.55 c (round 56) 4129 del vars, 7152 del conss, 0 add conss, 970 chg bounds, 145 chg sides, 291 chg coeffs, 0 upgd conss, 54088 impls, 0 clqs
0.49/0.56 c (round 57) 4149 del vars, 7184 del conss, 0 add conss, 984 chg bounds, 149 chg sides, 297 chg coeffs, 0 upgd conss, 54194 impls, 0 clqs
0.49/0.56 c (round 58) 4159 del vars, 7225 del conss, 0 add conss, 994 chg bounds, 151 chg sides, 301 chg coeffs, 0 upgd conss, 54226 impls, 0 clqs
0.49/0.57 c (round 59) 4174 del vars, 7249 del conss, 0 add conss, 1006 chg bounds, 153 chg sides, 305 chg coeffs, 0 upgd conss, 54313 impls, 0 clqs
0.49/0.58 c (round 60) 4182 del vars, 7284 del conss, 0 add conss, 1013 chg bounds, 153 chg sides, 305 chg coeffs, 0 upgd conss, 54337 impls, 0 clqs
0.49/0.58 c (round 61) 4189 del vars, 7299 del conss, 0 add conss, 1022 chg bounds, 155 chg sides, 309 chg coeffs, 0 upgd conss, 54356 impls, 0 clqs
0.49/0.59 c (round 62) 4197 del vars, 7320 del conss, 0 add conss, 1028 chg bounds, 155 chg sides, 309 chg coeffs, 0 upgd conss, 54396 impls, 0 clqs
0.49/0.59 c (round 63) 4202 del vars, 7334 del conss, 0 add conss, 1033 chg bounds, 157 chg sides, 313 chg coeffs, 0 upgd conss, 54421 impls, 0 clqs
0.59/0.60 c (round 64) 4210 del vars, 7345 del conss, 0 add conss, 1037 chg bounds, 157 chg sides, 313 chg coeffs, 0 upgd conss, 54471 impls, 0 clqs
0.59/0.60 c (round 65) 4214 del vars, 7364 del conss, 0 add conss, 1041 chg bounds, 158 chg sides, 315 chg coeffs, 0 upgd conss, 54527 impls, 0 clqs
0.59/0.61 c (round 66) 4214 del vars, 7366 del conss, 0 add conss, 1041 chg bounds, 158 chg sides, 315 chg coeffs, 0 upgd conss, 54535 impls, 0 clqs
0.59/0.67 c (round 67) 4214 del vars, 7367 del conss, 0 add conss, 1041 chg bounds, 159 chg sides, 315 chg coeffs, 6227 upgd conss, 54535 impls, 0 clqs
0.59/0.68 c (round 68) 4214 del vars, 7488 del conss, 0 add conss, 1041 chg bounds, 159 chg sides, 315 chg coeffs, 6227 upgd conss, 54535 impls, 0 clqs
0.69/0.77 c (round 69) 4239 del vars, 7491 del conss, 1 add conss, 1041 chg bounds, 159 chg sides, 315 chg coeffs, 6227 upgd conss, 71147 impls, 0 clqs
0.69/0.78 c (round 70) 4239 del vars, 7516 del conss, 1 add conss, 1041 chg bounds, 159 chg sides, 315 chg coeffs, 6252 upgd conss, 71147 impls, 0 clqs
0.79/0.83 c (round 71) 4264 del vars, 7516 del conss, 1 add conss, 1041 chg bounds, 159 chg sides, 315 chg coeffs, 6252 upgd conss, 92613 impls, 0 clqs
0.79/0.84 c (round 72) 4264 del vars, 7541 del conss, 1 add conss, 1041 chg bounds, 159 chg sides, 315 chg coeffs, 6277 upgd conss, 92613 impls, 0 clqs
0.79/0.87 c (round 73) 4289 del vars, 7541 del conss, 1 add conss, 1041 chg bounds, 159 chg sides, 315 chg coeffs, 6277 upgd conss, 94055 impls, 0 clqs
0.79/0.89 c (round 74) 4289 del vars, 7566 del conss, 1 add conss, 1041 chg bounds, 159 chg sides, 315 chg coeffs, 6286 upgd conss, 94055 impls, 0 clqs
0.89/0.91 c (round 75) 4314 del vars, 7566 del conss, 1 add conss, 1041 chg bounds, 159 chg sides, 315 chg coeffs, 6286 upgd conss, 94705 impls, 0 clqs
0.89/0.93 c (round 76) 4314 del vars, 7591 del conss, 1 add conss, 1041 chg bounds, 159 chg sides, 315 chg coeffs, 6286 upgd conss, 94705 impls, 0 clqs
0.89/0.96 c (round 77) 4339 del vars, 7591 del conss, 1 add conss, 1041 chg bounds, 159 chg sides, 315 chg coeffs, 6286 upgd conss, 96051 impls, 0 clqs
0.89/0.98 c (round 78) 4339 del vars, 7616 del conss, 1 add conss, 1041 chg bounds, 159 chg sides, 315 chg coeffs, 6288 upgd conss, 96051 impls, 0 clqs
0.99/1.01 c (round 79) 4364 del vars, 7616 del conss, 1 add conss, 1041 chg bounds, 159 chg sides, 315 chg coeffs, 6288 upgd conss, 98413 impls, 0 clqs
0.99/1.03 c (round 80) 4364 del vars, 7641 del conss, 1 add conss, 1041 chg bounds, 159 chg sides, 315 chg coeffs, 6288 upgd conss, 98413 impls, 0 clqs
0.99/1.06 c (1.1s) probing: 272/2138 (12.7%) - 1 fixings, 150 aggregations, 9468 implications, 1 bound changes
0.99/1.06 c (1.1s) probing aborted: 50/50 successive totally useless probings
0.99/1.06 c (round 81) 4365 del vars, 7641 del conss, 1 add conss, 1042 chg bounds, 159 chg sides, 315 chg coeffs, 6288 upgd conss, 98456 impls, 0 clqs
0.99/1.07 c (round 82) 4366 del vars, 7645 del conss, 1 add conss, 1042 chg bounds, 159 chg sides, 315 chg coeffs, 6293 upgd conss, 98470 impls, 0 clqs
0.99/1.09 c (round 83) 4366 del vars, 7647 del conss, 1 add conss, 1042 chg bounds, 159 chg sides, 315 chg coeffs, 6293 upgd conss, 98470 impls, 0 clqs
1.10/1.10 c (round 84) 4366 del vars, 7649 del conss, 1 add conss, 1042 chg bounds, 159 chg sides, 315 chg coeffs, 6293 upgd conss, 98470 impls, 0 clqs
1.10/1.12 c (1.1s) probing: 277/2138 (13.0%) - 1 fixings, 150 aggregations, 9468 implications, 1 bound changes
1.10/1.12 c (1.1s) probing aborted: 50/50 successive totally useless probings
1.10/1.13 c presolving (85 rounds):
1.10/1.13 c 4366 deleted vars, 7649 deleted constraints, 1 added constraints, 1042 tightened bounds, 0 added holes, 159 changed sides, 315 changed coefficients
1.10/1.13 c 98470 implications, 0 cliques
1.10/1.13 c presolved problem has 1986 variables (1986 bin, 0 int, 0 impl, 0 cont) and 5825 constraints
1.10/1.13 c 1091 constraints of type <setppc>
1.10/1.13 c 1 constraints of type <and>
1.10/1.13 c 4733 constraints of type <logicor>
1.10/1.13 c transformed objective value is always integral (scale: 1)
1.10/1.13 c Presolving Time: 1.06
1.10/1.13 c - non default parameters ----------------------------------------------------------------------
1.10/1.13 c # SCIP version 2.1.1.4
1.10/1.13 c
1.10/1.13 c # maximal time in seconds to run
1.10/1.13 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1.10/1.13 c limits/time = 1797
1.10/1.13 c
1.10/1.13 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1.10/1.13 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1.10/1.13 c limits/memory = 13950
1.10/1.13 c
1.10/1.13 c # default clock type (1: CPU user seconds, 2: wall clock time)
1.10/1.13 c # [type: int, range: [1,2], default: 1]
1.10/1.13 c timing/clocktype = 2
1.10/1.13 c
1.10/1.13 c # belongs reading time to solving time?
1.10/1.13 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.10/1.13 c timing/reading = TRUE
1.10/1.13 c
1.10/1.13 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
1.10/1.13 c # [type: int, range: [-1,2147483647], default: -1]
1.10/1.13 c separating/rapidlearning/freq = 0
1.10/1.13 c
1.10/1.13 c -----------------------------------------------------------------------------------------------
1.10/1.13 c start solving
1.10/1.13 c
1.29/1.30 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.30 c 1.3s| 1 | 0 | 2249 | - | 24M| 0 |1250 |1986 |5897 |1986 |5826 | 0 | 72 | 0 | 2.807498e+03 | -- | Inf
3.09/3.12 c 3.1s| 1 | 0 | 6509 | - | 27M| 0 |1167 |1986 |6582 |1986 |6049 | 223 | 72 | 0 | 2.838552e+03 | -- | Inf
3.19/3.30 c 3.3s| 1 | 0 | 6851 | - | 27M| 0 |1185 |1986 |6582 |1986 |6081 | 255 | 72 | 0 | 2.844237e+03 | -- | Inf
3.48/3.52 c 3.5s| 1 | 0 | 7389 | - | 28M| 0 |1172 |1986 |6582 |1986 |6111 | 285 | 72 | 0 | 2.848937e+03 | -- | Inf
3.69/3.71 c 3.7s| 1 | 0 | 7800 | - | 29M| 0 |1249 |1986 |6582 |1986 |6137 | 311 | 72 | 0 | 2.852637e+03 | -- | Inf
3.89/3.95 c 4.0s| 1 | 0 | 8193 | - | 29M| 0 |1233 |1986 |6582 |1986 |6180 | 354 | 72 | 0 | 2.857433e+03 | -- | Inf
4.29/4.31 c 4.3s| 1 | 0 | 9409 | - | 30M| 0 |1235 |1986 |6582 |1986 |6223 | 397 | 72 | 0 | 2.865595e+03 | -- | Inf
4.59/4.62 c 4.6s| 1 | 0 | 10048 | - | 31M| 0 |1249 |1986 |6582 |1986 |6258 | 432 | 72 | 0 | 2.870242e+03 | -- | Inf
4.88/4.99 c 5.0s| 1 | 0 | 10723 | - | 32M| 0 |1227 |1986 |6582 |1986 |6305 | 479 | 72 | 0 | 2.876381e+03 | -- | Inf
5.29/5.33 c 5.3s| 1 | 0 | 11581 | - | 34M| 0 |1250 |1986 |6582 |1986 |6344 | 518 | 72 | 0 | 2.881052e+03 | -- | Inf
5.59/5.63 c 5.6s| 1 | 0 | 12279 | - | 35M| 0 |1241 |1986 |6582 |1986 |6375 | 549 | 72 | 0 | 2.885154e+03 | -- | Inf
5.89/5.91 c 5.9s| 1 | 0 | 13103 | - | 37M| 0 |1245 |1986 |6582 |1986 |6413 | 587 | 72 | 0 | 2.891523e+03 | -- | Inf
6.18/6.20 c 6.2s| 1 | 0 | 13970 | - | 38M| 0 |1230 |1986 |6582 |1986 |6445 | 619 | 72 | 0 | 2.896841e+03 | -- | Inf
6.39/6.43 c 6.4s| 1 | 0 | 14517 | - | 40M| 0 |1305 |1986 |6582 |1986 |6474 | 648 | 72 | 0 | 2.901796e+03 | -- | Inf
6.60/6.69 c 6.7s| 1 | 0 | 15074 | - | 41M| 0 |1328 |1986 |6582 |1986 |6515 | 689 | 72 | 0 | 2.908015e+03 | -- | Inf
6.89/6.97 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
6.89/6.97 c 7.0s| 1 | 0 | 15929 | - | 42M| 0 |1368 |1986 |6582 |1986 |6342 | 728 | 72 | 0 | 2.911565e+03 | -- | Inf
7.29/7.32 c 7.3s| 1 | 0 | 17014 | - | 43M| 0 |1320 |1986 |6582 |1986 |6379 | 765 | 72 | 0 | 2.916459e+03 | -- | Inf
7.49/7.53 c 7.5s| 1 | 0 | 17521 | - | 44M| 0 |1376 |1986 |6582 |1986 |6420 | 806 | 72 | 0 | 2.919774e+03 | -- | Inf
7.70/7.78 c 7.8s| 1 | 0 | 18088 | - | 46M| 0 |1362 |1986 |6582 |1986 |6454 | 840 | 72 | 0 | 2.923335e+03 | -- | Inf
7.99/8.02 c 8.0s| 1 | 0 | 18750 | - | 48M| 0 |1343 |1986 |6582 |1986 |6487 | 873 | 72 | 0 | 2.926246e+03 | -- | Inf
8.09/8.19 c 8.2s| 1 | 0 | 19210 | - | 49M| 0 |1341 |1986 |6582 |1986 |6517 | 903 | 72 | 0 | 2.927985e+03 | -- | Inf
8.19/8.25 c 8.3s| 1 | 0 | 19351 | - | 49M| 0 |1356 |1986 |6582 |1986 |6367 | 911 | 72 | 0 | 2.928299e+03 | -- | Inf
8.29/8.32 c 8.3s| 1 | 0 | 19534 | - | 49M| 0 |1350 |1986 |6582 |1986 |6373 | 917 | 72 | 0 | 2.928552e+03 | -- | Inf
8.29/8.34 c 8.3s| 1 | 0 | 19555 | - | 49M| 0 |1359 |1986 |6582 |1986 |6379 | 923 | 72 | 0 | 2.928552e+03 | -- | Inf
9.29/9.32 c 9.3s| 1 | 2 | 19555 | - | 49M| 0 |1359 |1986 |6582 |1986 |6379 | 923 | 72 | 13 | 2.928552e+03 | -- | Inf
49.27/49.34 c 49.3s| 100 | 99 | 83856 | 649.5 | 49M| 17 |1585 |1986 |6636 |1986 |6096 | 923 | 126 | 893 | 2.956908e+03 | -- | Inf
59.38/59.49 c 59.5s| 200 | 199 |118892 | 499.2 | 50M| 17 |1393 |1986 |6694 |1986 |6096 | 923 | 184 | 974 | 2.957075e+03 | -- | Inf
69.66/69.74 c 69.7s| 300 | 299 |150829 | 439.0 | 50M| 17 |1322 |1986 |6743 |1986 |6096 | 923 | 236 |1091 | 2.958908e+03 | -- | Inf
79.46/79.58 c 79.6s| 400 | 399 |180632 | 403.7 | 50M| 19 |1521 |1986 |6779 |1986 |6096 | 923 | 294 |1198 | 2.965226e+03 | -- | Inf
89.06/89.17 c 89.2s| 500 | 499 |215569 | 392.8 | 51M| 19 |1597 |1986 |6791 |1986 |6096 | 923 | 319 |1305 | 2.976385e+03 | -- | Inf
98.06/98.20 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
98.06/98.20 c 98.2s| 600 | 599 |245068 | 376.5 | 51M| 19 |1618 |1986 |6811 |1986 |6096 | 923 | 347 |1455 | 2.978385e+03 | -- | Inf
109.16/109.29 c 109s| 700 | 699 |287073 | 382.7 | 51M| 22 |1526 |1986 |6825 |1986 |6096 | 923 | 379 |1569 | 2.978696e+03 | -- | Inf
115.56/115.61 c 116s| 800 | 799 |309289 | 362.6 | 51M| 22 |1549 |1986 |6825 |1986 |6096 | 923 | 397 |1641 | 2.979552e+03 | -- | Inf
126.16/126.24 c 126s| 900 | 855 |345601 | 362.7 | 52M| 34 | 331 |1986 |6920 |1986 |6096 | 923 | 528 |1769 | 2.979838e+03 | -- | Inf
138.35/138.45 c 138s| 1000 | 867 |386097 | 366.9 | 52M| 35 | - |1986 |7100 |1986 |6096 | 923 | 749 |1903 | 2.981030e+03 | -- | Inf
151.15/151.22 c 151s| 1100 | 900 |430702 | 374.1 | 52M| 35 |1512 |1986 |7244 |1986 |6096 | 923 | 987 |1993 | 2.982552e+03 | -- | Inf
160.25/160.31 c 160s| 1200 | 996 |462240 | 369.2 | 52M| 35 |1389 |1986 |7219 |1986 |6096 | 923 |1012 |2081 | 2.989552e+03 | -- | Inf
169.64/169.70 c 170s| 1300 | 1096 |496745 | 367.4 | 52M| 35 |1654 |1986 |7165 |1986 |6096 | 923 |1040 |2145 | 2.992862e+03 | -- | Inf
176.65/176.72 c 177s| 1400 | 1196 |522072 | 359.2 | 52M| 35 |1532 |1986 |6980 |1986 |6096 | 923 |1067 |2201 | 2.993862e+03 | -- | Inf
185.64/185.75 c 186s| 1500 | 1289 |555757 | 357.7 | 53M| 35 |1535 |1986 |6962 |1986 |6096 | 923 |1125 |2297 | 2.994219e+03 | -- | Inf
193.14/193.27 c 193s| 1600 | 1373 |583157 | 352.5 | 53M| 35 | - |1986 |6969 |1986 |6096 | 923 |1184 |2370 | 2.994552e+03 | -- | Inf
201.04/201.16 c 201s| 1700 | 1470 |612633 | 349.1 | 53M| 35 |1631 |1986 |6985 |1986 |6096 | 923 |1233 |2434 | 2.994793e+03 | -- | Inf
206.24/206.31 c 206s| 1800 | 1568 |637455 | 343.5 | 53M| 35 |1641 |1986 |6974 |1986 |6096 | 923 |1254 |2442 | 2.995052e+03 | -- | Inf
212.43/212.50 c 212s| 1900 | 1658 |667183 | 341.0 | 54M| 35 |1659 |1986 |6985 |1986 |6096 | 923 |1341 |2446 | 2.995219e+03 | -- | Inf
218.94/219.02 c 219s| 2000 | 1749 |697517 | 339.2 | 54M| 35 |1570 |1986 |7003 |1986 |6096 | 923 |1394 |2447 | 2.995219e+03 | -- | Inf
225.04/225.19 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
225.04/225.19 c 225s| 2100 | 1849 |726388 | 336.7 | 54M| 35 |1648 |1986 |7019 |1986 |6096 | 923 |1432 |2456 | 2.995719e+03 | -- | Inf
231.94/232.06 c 232s| 2200 | 1949 |751796 | 333.0 | 54M| 35 |1541 |1986 |7025 |1986 |6096 | 923 |1450 |2509 | 2.996052e+03 | -- | Inf
239.64/239.74 c 240s| 2300 | 2030 |780499 | 331.0 | 55M| 35 |1468 |1986 |7061 |1986 |6096 | 923 |1527 |2564 | 2.996195e+03 | -- | Inf
247.63/247.78 c 248s| 2400 | 2125 |810500 | 329.7 | 55M| 35 |1630 |1986 |7058 |1986 |6096 | 923 |1573 |2625 | 2.996219e+03 | -- | Inf
255.63/255.71 c 256s| 2500 | 2225 |842266 | 329.2 | 55M| 35 |1546 |1986 |7036 |1986 |6096 | 923 |1585 |2683 | 2.996719e+03 | -- | Inf
265.12/265.24 c 265s| 2600 | 2325 |879583 | 330.9 | 55M| 35 |1524 |1986 |7030 |1986 |6096 | 923 |1615 |2749 | 2.997219e+03 | -- | Inf
273.92/274.07 c 274s| 2700 | 2425 |911367 | 330.4 | 55M| 35 |1591 |1986 |7028 |1986 |6096 | 923 |1648 |2826 | 2.997695e+03 | -- | Inf
280.92/281.09 c 281s| 2800 | 2525 |940314 | 329.0 | 56M| 35 |1544 |1986 |7011 |1986 |6096 | 923 |1656 |2871 | 2.998719e+03 | -- | Inf
293.63/293.73 c 294s| 2900 | 2621 |991504 | 335.3 | 56M| 35 | - |1986 |7023 | 0 | 0 | 923 |1703 |2946 | 3.000136e+03 | -- | Inf
302.02/302.15 c 302s| 3000 | 2720 | 1024k| 334.9 | 56M| 35 |1529 |1986 |7006 |1986 |6096 | 923 |1727 |3005 | 3.000372e+03 | -- | Inf
310.32/310.41 c 310s| 3100 | 2798 | 1055k| 334.4 | 56M| 35 |1311 |1986 |7073 |1986 |6096 | 923 |1824 |3063 | 3.001136e+03 | -- | Inf
319.82/319.94 c 320s| 3200 | 2898 | 1092k| 335.3 | 57M| 35 |1529 |1986 |7100 |1986 |6096 | 923 |1870 |3148 | 3.001136e+03 | -- | Inf
327.52/327.65 c 328s| 3300 | 2998 | 1120k| 333.7 | 57M| 35 | 364 |1986 |7095 |1986 |6096 | 923 |1887 |3230 | 3.001136e+03 | -- | Inf
336.52/336.64 c 337s| 3400 | 3077 | 1153k| 333.5 | 57M| 35 |1565 |1986 |7124 |1986 |6096 | 923 |1974 |3288 | 3.001136e+03 | -- | Inf
348.52/348.65 c 349s| 3500 | 3171 | 1195k| 336.1 | 57M| 35 |1559 |1986 |7141 |1986 |6096 | 923 |2038 |3396 | 3.004690e+03 | -- | Inf
356.51/356.68 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
356.51/356.68 c 357s| 3600 | 3261 | 1225k| 335.1 | 58M| 35 |1603 |1986 |7123 |1986 |6096 | 923 |2072 |3466 | 3.005636e+03 | -- | Inf
365.42/365.51 c 366s| 3700 | 3335 | 1256k| 334.4 | 58M| 35 |1605 |1986 |7157 |1986 |6096 | 923 |2196 |3554 | 3.009386e+03 | -- | Inf
376.41/376.54 c 377s| 3800 | 3435 | 1297k| 336.4 | 58M| 35 |1520 |1986 |7115 |1986 |6096 | 923 |2227 |3652 | 3.009386e+03 | -- | Inf
384.31/384.49 c 384s| 3900 | 3531 | 1327k| 335.5 | 58M| 35 |1600 |1986 |7098 |1986 |6096 | 923 |2250 |3725 | 3.011386e+03 | -- | Inf
393.21/393.35 c 393s| 4000 | 3613 | 1360k| 335.3 | 58M| 35 |1523 |1986 |7116 |1986 |6096 | 923 |2335 |3799 | 3.011719e+03 | -- | Inf
401.71/401.83 c 402s| 4100 | 3708 | 1390k| 334.4 | 59M| 35 |1647 |1986 |7104 |1986 |6096 | 923 |2378 |3874 | 3.011886e+03 | -- | Inf
409.50/409.63 c 410s| 4200 | 3790 | 1420k| 333.7 | 59M| 35 |1534 |1986 |7122 |1986 |6096 | 923 |2460 |3929 | 3.012219e+03 | -- | Inf
419.60/419.79 c 420s| 4300 | 3848 | 1457k| 334.4 | 59M| 36 |1522 |1986 |7227 |1986 |6096 | 923 |2625 |3993 | 3.012302e+03 | -- | Inf
428.40/428.52 c 429s| 4400 | 3908 | 1489k| 334.1 | 59M| 36 |1501 |1986 |7280 |1986 |6096 | 923 |2757 |4065 | 3.012886e+03 | -- | Inf
434.10/434.23 c 434s| 4500 | 3982 | 1518k| 333.1 | 60M| 36 |1476 |1986 |7243 |1986 |6096 | 923 |2829 |4075 | 3.013063e+03 | -- | Inf
440.50/440.66 c 441s| 4600 | 4068 | 1547k| 332.3 | 60M| 36 |1568 |1986 |7200 |1986 |6096 | 923 |2910 |4081 | 3.013230e+03 | -- | Inf
446.90/447.05 c 447s| 4700 | 4136 | 1578k| 331.8 | 60M| 36 |1482 |1986 |7209 |1986 |6096 | 923 |3019 |4083 | 3.013230e+03 | -- | Inf
454.59/454.70 c 455s| 4800 | 4220 | 1614k| 332.4 | 60M| 36 |1524 |1986 |7223 |1986 |6096 | 923 |3119 |4086 | 3.014063e+03 | -- | Inf
460.49/460.60 c 461s| 4900 | 4294 | 1643k| 331.5 | 61M| 37 | 495 |1986 |7234 |1986 |6096 | 923 |3220 |4086 | 3.014063e+03 | -- | Inf
466.21/466.32 c 466s| 5000 | 4371 | 1672k| 330.6 | 61M| 37 |1339 |1986 |7221 |1986 |6096 | 923 |3319 |4086 | 3.014230e+03 | -- | Inf
474.09/474.28 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
474.09/474.28 c 474s| 5100 | 4423 | 1707k| 331.0 | 61M| 37 |1473 |1986 |7277 |1986 |6096 | 923 |3491 |4100 | 3.014230e+03 | -- | Inf
482.60/482.70 c 483s| 5200 | 4482 | 1738k| 330.7 | 61M| 37 | - |1986 |7283 | 0 | 0 | 923 |3643 |4151 | 3.014230e+03 | -- | Inf
492.19/492.34 c 492s| 5300 | 4543 | 1773k| 331.1 | 61M| 37 |1584 |1986 |7274 |1986 |6096 | 923 |3771 |4197 | 3.014886e+03 | -- | Inf
501.99/502.14 c 502s| 5400 | 4598 | 1810k| 331.7 | 62M| 37 | 507 |1986 |7358 |1986 |6096 | 923 |4001 |4249 | 3.015063e+03 | -- | Inf
512.50/512.67 c 513s| 5500 | 4618 | 1848k| 332.5 | 62M| 37 |1529 |1986 |7517 |1986 |6096 | 923 |4307 |4310 | 3.015230e+03 | -- | Inf
524.29/524.42 c 524s| 5600 | 4664 | 1894k| 334.9 | 62M| 37 |1628 |1986 |7574 |1986 |6096 | 923 |4515 |4358 | 3.015230e+03 | -- | Inf
537.39/537.59 c 538s| 5700 | 4702 | 1943k| 337.6 | 62M| 37 | 347 |1986 |7553 |1986 |6096 | 923 |4738 |4425 | 3.015230e+03 | -- | Inf
551.29/551.46 c 551s| 5800 | 4750 | 1995k| 340.7 | 62M| 37 |1601 |1986 |7461 |1986 |6096 | 923 |4904 |4469 | 3.015328e+03 | -- | Inf
562.58/562.79 c 563s| 5900 | 4791 | 2037k| 342.0 | 62M| 37 |1430 |1986 |7452 |1986 |6096 | 923 |5118 |4526 | 3.015385e+03 | -- | Inf
573.18/573.35 c 573s| 6000 | 4835 | 2077k| 343.1 | 62M| 37 | - |1986 |7464 | 0 | 0 | 923 |5319 |4578 | 3.015385e+03 | -- | Inf
582.28/582.41 c 582s| 6100 | 4886 | 2113k| 343.3 | 63M| 37 | 362 |1986 |7509 |1986 |6096 | 923 |5508 |4629 | 3.015896e+03 | -- | Inf
593.47/593.67 c 594s| 6200 | 4896 | 2153k| 344.3 | 63M| 37 |1538 |1986 |7735 |1986 |6096 | 923 |5863 |4701 | 3.016230e+03 | -- | Inf
606.37/606.58 c 607s| 6300 | 4954 | 2203k| 346.7 | 63M| 37 |1361 |1986 |7790 |1986 |6096 | 923 |6065 |4763 | 3.016230e+03 | -- | Inf
618.36/618.50 c 619s| 6400 | 4964 | 2246k| 348.1 | 63M| 37 |1405 |1986 |7947 |1986 |6096 | 923 |6344 |4837 | 3.016230e+03 | -- | Inf
629.37/629.54 c 630s| 6500 | 5005 | 2294k| 350.1 | 63M| 37 |1396 |1986 |8018 |1986 |6096 | 923 |6543 |4872 | 3.016385e+03 | -- | Inf
639.87/640.01 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
639.87/640.01 c 640s| 6600 | 5023 | 2332k| 350.5 | 64M| 37 |1632 |1986 |8128 |1986 |6096 | 923 |6789 |4949 | 3.016385e+03 | -- | Inf
651.37/651.56 c 652s| 6700 | 5053 | 2376k| 351.9 | 64M| 37 |1428 |1986 |8098 |1986 |6096 | 923 |7053 |5007 | 3.016385e+03 | -- | Inf
664.36/664.55 c 665s| 6800 | 5104 | 2422k| 353.4 | 64M| 37 |1558 |1986 |7984 |1986 |6096 | 923 |7219 |5086 | 3.016495e+03 | -- | Inf
676.46/676.60 c 677s| 6900 | 5137 | 2470k| 355.3 | 64M| 37 |1493 |1986 |7919 |1986 |6096 | 923 |7488 |5138 | 3.016718e+03 | -- | Inf
686.35/686.51 c 687s| 7000 | 5160 | 2512k| 356.1 | 64M| 37 |1314 |1986 |8024 |1986 |6096 | 923 |7713 |5195 | 3.016718e+03 | -- | Inf
697.55/697.71 c 698s| 7100 | 5189 | 2552k| 356.8 | 64M| 37 | - |1986 |8014 |1986 |6096 | 923 |7948 |5254 | 3.016896e+03 | -- | Inf
705.95/706.16 c 706s| 7200 | 5203 | 2585k| 356.4 | 64M| 37 |1649 |1986 |8107 |1986 |6096 | 923 |8164 |5292 | 3.017028e+03 | -- | Inf
716.75/716.98 c 717s| 7300 | 5223 | 2626k| 357.1 | 64M| 37 | - |1986 |8084 | 0 | 0 | 923 |8418 |5356 | 3.017385e+03 | -- | Inf
725.45/725.62 c 726s| 7400 | 5259 | 2659k| 356.7 | 64M| 37 | 350 |1986 |8026 |1986 |6096 | 923 |8652 |5406 | 3.017552e+03 | -- | Inf
736.44/736.61 c 737s| 7500 | 5278 | 2697k| 357.0 | 65M| 37 | 327 |1986 |8080 |1986 |6096 | 923 |8963 |5484 | 3.018028e+03 | -- | Inf
747.85/748.00 c 748s| 7600 | 5306 | 2745k| 358.7 | 65M| 37 | 470 |1986 |8157 |1986 |6096 | 923 |9244 |5520 | 3.018028e+03 | -- | Inf
758.14/758.33 c 758s| 7700 | 5313 | 2782k| 358.9 | 65M| 37 | - |1986 |8321 | 0 | 0 | 923 |9524 |5578 | 3.018028e+03 | -- | Inf
768.24/768.49 c 768s| 7800 | 5327 | 2820k| 359.1 | 65M| 37 | 278 |1986 |8377 |1986 |6096 | 923 |9793 |5635 | 3.018146e+03 | -- | Inf
778.34/778.58 c 779s| 7900 | 5352 | 2857k| 359.3 | 65M| 37 | - |1986 |8324 |1986 |6096 | 923 | 10k|5707 | 3.019146e+03 | -- | Inf
792.23/792.44 c 792s| 8000 | 5397 | 2911k| 361.5 | 65M| 37 | - |1986 |8170 | 0 | 0 | 923 | 10k|5735 | 3.020445e+03 | -- | Inf
801.33/801.58 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
801.33/801.58 c 802s| 8100 | 5434 | 2947k| 361.5 | 65M| 37 | 478 |1986 |8026 |1986 |6096 | 923 | 10k|5774 | 3.022386e+03 | -- | Inf
808.84/809.03 c 809s| 8200 | 5449 | 2981k| 361.3 | 65M| 37 | - |1986 |7982 | 0 | 0 | 923 | 10k|5774 | 3.024146e+03 | -- | Inf
815.93/816.17 c 816s| 8300 | 5462 | 3016k| 361.1 | 65M| 37 | 382 |1986 |8112 |1986 |6096 | 923 | 10k|5778 | 3.025146e+03 | -- | Inf
824.63/824.88 c 825s| 8400 | 5486 | 3055k| 361.5 | 66M| 37 | 613 |1986 |8129 |1986 |6096 | 923 | 11k|5778 | 3.025730e+03 | -- | Inf
831.73/831.98 c 832s| 8500 | 5502 | 3089k| 361.2 | 66M| 37 | 310 |1986 |8233 |1986 |6096 | 923 | 11k|5778 | 3.026469e+03 | -- | Inf
840.52/840.75 c 841s| 8600 | 5532 | 3129k| 361.7 | 66M| 37 |1477 |1986 |8062 |1986 |6096 | 923 | 11k|5778 | 3.026563e+03 | -- | Inf
847.42/847.60 c 848s| 8700 | 5546 | 3163k| 361.4 | 66M| 37 |1610 |1986 |8108 |1986 |6096 | 923 | 12k|5778 | 3.027469e+03 | -- | Inf
854.53/854.70 c 855s| 8800 | 5562 | 3197k| 361.2 | 66M| 37 | 379 |1986 |8333 |1986 |6096 | 923 | 12k|5778 | 3.027469e+03 | -- | Inf
861.82/862.07 c 862s| 8900 | 5586 | 3233k| 361.2 | 66M| 37 | - |1986 |8326 | 0 | 0 | 923 | 12k|5778 | 3.027563e+03 | -- | Inf
872.81/873.00 c 873s| 9000 | 5625 | 3282k| 362.6 | 66M| 37 | 513 |1986 |8265 |1986 |6096 | 923 | 12k|5796 | 3.028386e+03 | -- | Inf
883.02/883.30 c 883s| 9100 | 5638 | 3320k| 362.8 | 67M| 37 | - |1986 |8426 |1986 |6096 | 923 | 13k|5845 | 3.028469e+03 | -- | Inf
893.42/893.62 c 894s| 9200 | 5670 | 3360k| 363.2 | 67M| 37 | 367 |1986 |8327 |1986 |6096 | 923 | 13k|5874 | 3.028563e+03 | -- | Inf
903.51/903.77 c 904s| 9300 | 5705 | 3400k| 363.6 | 67M| 37 |1544 |1986 |8105 |1986 |6096 | 923 | 13k|5909 | 3.028563e+03 | -- | Inf
913.82/914.08 c 914s| 9400 | 5743 | 3439k| 363.8 | 67M| 37 | 278 |1986 |7989 |1986 |6096 | 923 | 13k|5955 | 3.028563e+03 | -- | Inf
923.61/923.80 c 924s| 9500 | 5775 | 3477k| 364.0 | 67M| 37 | 455 |1986 |7910 |1986 |6096 | 923 | 14k|5994 | 3.029563e+03 | -- | Inf
934.21/934.44 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
934.21/934.44 c 934s| 9600 | 5799 | 3516k| 364.3 | 67M| 37 | - |1986 |7918 | 0 | 0 | 923 | 14k|6033 | 3.029563e+03 | -- | Inf
943.31/943.55 c 944s| 9700 | 5808 | 3551k| 364.2 | 67M| 37 | 374 |1986 |8019 |1986 |6096 | 923 | 14k|6075 | 3.029730e+03 | -- | Inf
954.01/954.21 c 954s| 9800 | 5829 | 3593k| 364.7 | 67M| 37 | - |1986 |8047 |1986 |6096 | 923 | 15k|6113 | 3.029828e+03 | -- | Inf
963.31/963.57 c 964s| 9900 | 5865 | 3626k| 364.4 | 67M| 37 | - |1986 |7876 |1986 |6096 | 923 | 15k|6155 | 3.030719e+03 | -- | Inf
970.71/970.91 c 971s| 10000 | 5900 | 3656k| 363.8 | 67M| 37 | - |1986 |7843 | 0 | 0 | 923 | 15k|6166 | 3.030730e+03 | -- | Inf
980.50/980.73 c 981s| 10100 | 5924 | 3690k| 363.5 | 67M| 37 |1457 |1986 |7882 |1986 |6096 | 923 | 15k|6220 | 3.030886e+03 | -- | Inf
988.50/988.72 c 989s| 10200 | 5934 | 3724k| 363.3 | 67M| 37 | - |1986 |8011 | 0 | 0 | 923 | 16k|6245 | 3.030886e+03 | -- | Inf
999.80/1000.09 c 1000s| 10300 | 5951 | 3767k| 363.9 | 67M| 37 | 328 |1986 |8036 |1986 |6096 | 923 | 16k|6287 | 3.030886e+03 | -- | Inf
1009.20/1009.49 c 1009s| 10400 | 5972 | 3803k| 363.9 | 67M| 37 |1501 |1986 |8053 |1986 |6096 | 923 | 16k|6326 | 3.030886e+03 | -- | Inf
1017.10/1017.39 c 1017s| 10500 | 5979 | 3833k| 363.3 | 68M| 37 |1563 |1986 |8232 |1986 |6096 | 923 | 16k|6363 | 3.030896e+03 | -- | Inf
1027.39/1027.63 c 1028s| 10600 | 6011 | 3869k| 363.2 | 68M| 37 |1483 |1986 |8220 |1986 |6096 | 923 | 17k|6411 | 3.031052e+03 | -- | Inf
1037.30/1037.55 c 1038s| 10700 | 6035 | 3907k| 363.4 | 68M| 37 | - |1986 |8308 | 0 | 0 | 923 | 17k|6456 | 3.031230e+03 | -- | Inf
1043.79/1044.01 c 1044s| 10800 | 6066 | 3933k| 362.5 | 68M| 37 | - |1986 |8335 | 0 | 0 | 924 | 17k|6484 | 3.031230e+03 | -- | Inf
1051.19/1051.48 c 1051s| 10900 | 6062 | 3957k| 361.3 | 68M| 37 | - |1986 |8428 | 0 | 0 | 924 | 17k|6535 | 3.031719e+03 | -- | Inf
1060.38/1060.69 c 1061s| 11000 | 6076 | 3995k| 361.5 | 68M| 37 | - |1986 |8573 | 0 | 0 | 924 | 18k|6564 | 3.031719e+03 | -- | Inf
1068.99/1069.21 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1068.99/1069.21 c 1069s| 11100 | 6094 | 4028k| 361.2 | 68M| 37 |1430 |1986 |8693 |1986 |6096 | 924 | 18k|6618 | 3.031730e+03 | -- | Inf
1077.98/1078.20 c 1078s| 11200 | 6107 | 4060k| 360.8 | 69M| 37 |1458 |1986 |8731 |1986 |6096 | 924 | 18k|6666 | 3.031730e+03 | -- | Inf
1087.28/1087.51 c 1088s| 11300 | 6133 | 4097k| 360.9 | 69M| 37 | - |1986 |8785 | 0 | 0 | 924 | 19k|6692 | 3.031886e+03 | -- | Inf
1097.38/1097.64 c 1098s| 11400 | 6149 | 4135k| 361.1 | 69M| 37 | - |1986 |8829 | 0 | 0 | 924 | 19k|6747 | 3.031896e+03 | -- | Inf
1106.18/1106.43 c 1106s| 11500 | 6167 | 4172k| 361.1 | 69M| 37 | 517 |1986 |8900 |1986 |6096 | 924 | 19k|6779 | 3.031896e+03 | -- | Inf
1115.18/1115.47 c 1115s| 11600 | 6177 | 4204k| 360.8 | 69M| 37 | - |1986 |8838 | 0 | 0 | 924 | 20k|6828 | 3.032052e+03 | -- | Inf
1122.78/1123.06 c 1123s| 11700 | 6196 | 4232k| 360.1 | 69M| 37 | 490 |1986 |8735 |1986 |6096 | 924 | 20k|6862 | 3.032230e+03 | -- | Inf
1131.69/1131.99 c 1132s| 11800 | 6209 | 4265k| 359.8 | 69M| 37 |1247 |1986 |8837 |1986 |6096 | 925 | 20k|6895 | 3.032469e+03 | -- | Inf
1140.07/1140.31 c 1140s| 11900 | 6232 | 4293k| 359.2 | 69M| 37 |1368 |1986 |8731 |1986 |6096 | 925 | 20k|6941 | 3.032896e+03 | -- | Inf
1148.67/1148.93 c 1149s| 12000 | 6241 | 4325k| 358.9 | 69M| 37 | - |1986 |8695 |1986 |6096 | 925 | 21k|6983 | 3.032896e+03 | -- | Inf
1156.27/1156.52 c 1157s| 12100 | 6261 | 4353k| 358.2 | 69M| 37 |1405 |1986 |8515 |1986 |6096 | 925 | 21k|7013 | 3.033063e+03 | -- | Inf
1163.97/1164.21 c 1164s| 12200 | 6259 | 4385k| 357.9 | 69M| 37 | - |1986 |8623 | 0 | 0 | 925 | 22k|7054 | 3.033063e+03 | -- | Inf
1172.37/1172.63 c 1173s| 12300 | 6256 | 4414k| 357.4 | 69M| 37 | - |1986 |8988 | 0 | 0 | 925 | 22k|7100 | 3.033063e+03 | -- | Inf
1180.67/1180.92 c 1181s| 12400 | 6264 | 4448k| 357.2 | 70M| 37 | - |1986 |9194 | 0 | 0 | 925 | 22k|7125 | 3.033063e+03 | -- | Inf
1192.86/1193.17 c 1193s| 12500 | 6285 | 4494k| 358.0 | 70M| 37 |1413 |1986 |9289 |1986 |6096 | 925 | 23k|7194 | 3.033063e+03 | -- | Inf
1205.86/1206.12 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1205.86/1206.12 c 1206s| 12600 | 6304 | 4546k| 359.3 | 70M| 37 | - |1986 |9424 | 0 | 0 | 925 | 23k|7252 | 3.033063e+03 | -- | Inf
1216.86/1217.15 c 1217s| 12700 | 6321 | 4588k| 359.8 | 70M| 37 |1660 |1986 |9386 |1986 |6096 | 925 | 23k|7305 | 3.033469e+03 | -- | Inf
1227.46/1227.77 c 1228s| 12800 | 6336 | 4627k| 360.1 | 70M| 37 | 361 |1986 |9355 |1986 |6096 | 925 | 24k|7363 | 3.033896e+03 | -- | Inf
1236.35/1236.67 c 1237s| 12900 | 6347 | 4664k| 360.1 | 70M| 37 | 508 |1986 |9460 |1986 |6096 | 925 | 24k|7407 | 3.033896e+03 | -- | Inf
1244.16/1244.41 c 1244s| 13000 | 6351 | 4699k| 360.1 | 70M| 37 |1439 |1986 |9336 |1986 |6096 | 925 | 24k|7417 | 3.033896e+03 | -- | Inf
1251.95/1252.22 c 1252s| 13100 | 6360 | 4738k| 360.2 | 70M| 37 |1491 |1986 |9129 |1986 |6096 | 925 | 25k|7417 | 3.033896e+03 | -- | Inf
1258.96/1259.27 c 1259s| 13200 | 6377 | 4773k| 360.1 | 70M| 37 | 508 |1986 |8936 |1986 |6096 | 925 | 25k|7417 | 3.033896e+03 | -- | Inf
1267.15/1267.45 c 1267s| 13300 | 6389 | 4811k| 360.3 | 70M| 37 |1366 |1986 |8889 |1986 |6096 | 925 | 25k|7421 | 3.033896e+03 | -- | Inf
1274.66/1274.92 c 1275s| 13400 | 6405 | 4844k| 360.1 | 70M| 37 | - |1986 |8576 | 0 | 0 | 925 | 26k|7421 | 3.034063e+03 | -- | Inf
1282.45/1282.70 c 1283s| 13500 | 6439 | 4879k| 360.0 | 70M| 37 | 549 |1986 |8367 |1986 |6096 | 925 | 26k|7422 | 3.034063e+03 | -- | Inf
1288.95/1289.21 c 1289s| 13600 | 6454 | 4909k| 359.6 | 70M| 37 |1379 |1986 |8435 |1986 |6096 | 925 | 26k|7423 | 3.034063e+03 | -- | Inf
1295.35/1295.64 c 1296s| 13700 | 6470 | 4940k| 359.2 | 70M| 37 | 361 |1986 |8545 |1986 |6096 | 925 | 26k|7423 | 3.034063e+03 | -- | Inf
1301.44/1301.71 c 1302s| 13800 | 6479 | 4968k| 358.6 | 70M| 37 | - |1986 |8693 | 0 | 0 | 925 | 27k|7423 | 3.034063e+03 | -- | Inf
1307.34/1307.67 c 1308s| 13900 | 6486 | 4996k| 358.1 | 70M| 37 | - |1986 |8671 | 0 | 0 | 925 | 27k|7423 | 3.034063e+03 | -- | Inf
1315.05/1315.31 c 1315s| 14000 | 6507 | 5032k| 358.1 | 70M| 37 |1482 |1986 |8478 |1986 |6096 | 925 | 27k|7423 | 3.034218e+03 | -- | Inf
1321.85/1322.19 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1321.85/1322.19 c 1322s| 14100 | 6509 | 5068k| 358.1 | 70M| 37 |1316 |1986 |8507 |1986 |6096 | 925 | 28k|7423 | 3.034219e+03 | -- | Inf
1329.84/1330.19 c 1330s| 14200 | 6534 | 5103k| 358.1 | 70M| 37 | 350 |1986 |8459 |1986 |6096 | 925 | 28k|7423 | 3.034396e+03 | -- | Inf
1338.14/1338.43 c 1338s| 14300 | 6553 | 5140k| 358.1 | 70M| 37 | - |1986 |8251 | 0 | 0 | 925 | 28k|7434 | 3.034896e+03 | -- | Inf
1346.74/1347.04 c 1347s| 14400 | 6571 | 5167k| 357.5 | 70M| 37 |1470 |1986 |8121 |1986 |6096 | 925 | 28k|7472 | 3.034896e+03 | -- | Inf
1354.73/1355.09 c 1355s| 14500 | 6585 | 5201k| 357.4 | 70M| 37 | - |1986 |7974 |1986 |6096 | 925 | 29k|7481 | 3.034896e+03 | -- | Inf
1364.24/1364.59 c 1365s| 14600 | 6587 | 5237k| 357.4 | 70M| 37 | 357 |1986 |8105 |1986 |6096 | 925 | 29k|7526 | 3.034896e+03 | -- | Inf
1375.14/1375.45 c 1375s| 14700 | 6601 | 5281k| 358.0 | 70M| 37 | 469 |1986 |7999 |1986 |6096 | 925 | 29k|7552 | 3.035063e+03 | -- | Inf
1384.64/1384.94 c 1385s| 14800 | 6608 | 5318k| 358.0 | 70M| 37 | - |1986 |8158 | 0 | 0 | 925 | 30k|7589 | 3.035063e+03 | -- | Inf
1395.13/1395.41 c 1395s| 14900 | 6630 | 5359k| 358.4 | 70M| 37 |1485 |1986 |8162 |1986 |6096 | 925 | 30k|7631 | 3.035063e+03 | -- | Inf
1407.03/1407.32 c 1407s| 15000 | 6656 | 5406k| 359.2 | 70M| 37 |1609 |1986 |8124 |1986 |6096 | 925 | 30k|7671 | 3.035063e+03 | -- | Inf
1414.13/1414.45 c 1414s| 15100 | 6644 | 5435k| 358.7 | 70M| 37 | - |1986 |8368 | 0 | 0 | 925 | 31k|7698 | 3.035063e+03 | -- | Inf
1422.63/1422.93 c 1423s| 15200 | 6666 | 5466k| 358.4 | 70M| 37 |1336 |1986 |8353 |1986 |6096 | 925 | 31k|7738 | 3.035063e+03 | -- | Inf
1430.22/1430.51 c 1431s| 15300 | 6663 | 5495k| 357.9 | 70M| 37 | - |1986 |8450 | 0 | 0 | 925 | 31k|7770 | 3.035063e+03 | -- | Inf
1439.02/1439.33 c 1439s| 15400 | 6670 | 5529k| 357.8 | 70M| 37 |1484 |1986 |8456 |1986 |6096 | 925 | 31k|7803 | 3.035063e+03 | -- | Inf
1446.72/1447.07 c 1447s| 15500 | 6672 | 5559k| 357.5 | 71M| 37 | - |1986 |8636 |1986 |6096 | 925 | 32k|7824 | 3.035063e+03 | -- | Inf
1455.72/1456.06 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1455.72/1456.06 c 1456s| 15600 | 6684 | 5593k| 357.3 | 71M| 37 |1324 |1986 |8830 |1986 |6096 | 925 | 32k|7865 | 3.035162e+03 | -- | Inf
1465.02/1465.39 c 1465s| 15700 | 6692 | 5628k| 357.3 | 71M| 37 | 306 |1986 |8873 |1986 |6096 | 925 | 32k|7906 | 3.035162e+03 | -- | Inf
1475.21/1475.59 c 1476s| 15800 | 6706 | 5668k| 357.6 | 71M| 37 |1488 |1986 |8768 |1986 |6096 | 925 | 32k|7946 | 3.035218e+03 | -- | Inf
1484.42/1484.77 c 1485s| 15900 | 6723 | 5704k| 357.6 | 71M| 37 | - |1986 |8772 | 0 | 0 | 925 | 33k|7978 | 3.035328e+03 | -- | Inf
1493.81/1494.15 c 1494s| 16000 | 6729 | 5739k| 357.5 | 71M| 37 | - |1986 |8646 | 0 | 0 | 925 | 33k|8022 | 3.035328e+03 | -- | Inf
1504.61/1504.96 c 1505s| 16100 | 6762 | 5782k| 358.0 | 71M| 37 | 340 |1986 |8345 |1986 |6096 | 925 | 33k|8051 | 3.035469e+03 | -- | Inf
1513.61/1513.90 c 1514s| 16200 | 6769 | 5820k| 358.1 | 71M| 37 | 342 |1986 |8466 |1986 |6096 | 925 | 34k|8073 | 3.035469e+03 | -- | Inf
1522.61/1522.90 c 1523s| 16300 | 6789 | 5851k| 357.8 | 71M| 37 | - |1986 |8244 | 0 | 0 | 925 | 34k|8119 | 3.035896e+03 | -- | Inf
1531.31/1531.69 c 1532s| 16400 | 6795 | 5884k| 357.7 | 71M| 37 | - |1986 |8272 | 0 | 0 | 925 | 34k|8157 | 3.035896e+03 | -- | Inf
1541.81/1542.20 c 1542s| 16500 | 6812 | 5927k| 358.1 | 71M| 37 |1534 |1986 |8143 |1986 |6096 | 925 | 34k|8195 | 3.036063e+03 | -- | Inf
1551.01/1551.38 c 1551s| 16600 | 6820 | 5962k| 358.0 | 71M| 37 | - |1986 |8160 | 0 | 0 | 925 | 35k|8236 | 3.036063e+03 | -- | Inf
1559.00/1559.30 c 1559s| 16700 | 6827 | 5992k| 357.7 | 71M| 37 | - |1986 |8100 | 0 | 0 | 925 | 35k|8264 | 3.036218e+03 | -- | Inf
1568.31/1568.64 c 1569s| 16800 | 6834 | 6028k| 357.7 | 71M| 37 |1414 |1986 |8149 |1986 |6096 | 925 | 35k|8314 | 3.036218e+03 | -- | Inf
1576.60/1576.90 c 1577s| 16900 | 6843 | 6059k| 357.4 | 71M| 37 | - |1986 |8276 | 0 | 0 | 925 | 36k|8343 | 3.036328e+03 | -- | Inf
1586.39/1586.79 c 1587s| 17000 | 6852 | 6097k| 357.5 | 71M| 37 |1322 |1986 |8329 |1986 |6096 | 925 | 36k|8382 | 3.036328e+03 | -- | Inf
1594.10/1594.47 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1594.10/1594.47 c 1594s| 17100 | 6848 | 6125k| 357.1 | 71M| 37 | 469 |1986 |8544 |1986 |6096 | 925 | 36k|8419 | 3.036328e+03 | -- | Inf
1602.00/1602.37 c 1602s| 17200 | 6859 | 6158k| 357.0 | 71M| 37 | - |1986 |8500 | 0 | 0 | 925 | 37k|8447 | 3.036396e+03 | -- | Inf
1612.80/1613.16 c 1613s| 17300 | 6872 | 6204k| 357.6 | 71M| 37 | 338 |1986 |8579 |1986 |6096 | 925 | 37k|8488 | 3.036396e+03 | -- | Inf
1622.20/1622.56 c 1623s| 17400 | 6883 | 6241k| 357.6 | 71M| 37 | 373 |1986 |8673 |1986 |6096 | 925 | 37k|8528 | 3.036469e+03 | -- | Inf
1629.90/1630.25 c 1630s| 17500 | 6884 | 6271k| 357.2 | 71M| 37 |1550 |1986 |8761 |1986 |6096 | 925 | 37k|8572 | 3.036469e+03 | -- | Inf
1638.79/1639.13 c 1639s| 17600 | 6905 | 6308k| 357.4 | 71M| 37 | - |1986 |8762 | 0 | 0 | 925 | 38k|8601 | 3.036552e+03 | -- | Inf
1648.50/1648.89 c 1649s| 17700 | 6908 | 6346k| 357.5 | 71M| 37 |1550 |1986 |8925 |1986 |6096 | 925 | 38k|8651 | 3.036552e+03 | -- | Inf
1656.99/1657.31 c 1657s| 17800 | 6954 | 6380k| 357.4 | 71M| 37 | - |1986 |8907 | 0 | 0 | 925 | 38k|8675 | 3.036552e+03 | -- | Inf
1665.18/1665.55 c 1666s| 17900 | 6961 | 6409k| 357.0 | 71M| 37 |1284 |1986 |9018 |1986 |6096 | 925 | 39k|8713 | 3.037063e+03 | -- | Inf
1673.89/1674.26 c 1674s| 18000 | 6976 | 6441k| 356.8 | 71M| 37 |1531 |1986 |8922 |1986 |6096 | 926 | 39k|8750 | 3.037230e+03 | -- | Inf
1681.88/1682.22 c 1682s| 18100 | 6981 | 6471k| 356.5 | 71M| 37 | 479 |1986 |9046 |1986 |6096 | 926 | 39k|8798 | 3.037328e+03 | -- | Inf
1689.69/1690.01 c 1690s| 18200 | 6988 | 6500k| 356.1 | 71M| 37 | - |1986 |8907 | 0 | 0 | 926 | 39k|8830 | 3.037469e+03 | -- | Inf
1702.68/1703.04 c 1703s| 18300 | 7015 | 6547k| 356.8 | 71M| 37 |1493 |1986 |8830 |1986 |6096 | 926 | 40k|8903 | 3.037469e+03 | -- | Inf
1709.18/1709.59 c 1710s| 18400 | 7039 | 6578k| 356.5 | 71M| 37 | - |1986 |8826 |1986 |6096 | 926 | 40k|8907 | 3.037469e+03 | -- | Inf
1717.98/1718.38 c 1718s| 18500 | 7047 | 6610k| 356.3 | 71M| 37 | - |1986 |8841 | 0 | 0 | 926 | 40k|8949 | 3.037552e+03 | -- | Inf
1726.69/1727.07 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1726.69/1727.07 c 1727s| 18600 | 7063 | 6643k| 356.1 | 71M| 37 | - |1986 |8795 | 0 | 0 | 926 | 40k|8986 | 3.037719e+03 | -- | Inf
1736.67/1737.06 c 1737s| 18700 | 7082 | 6682k| 356.3 | 72M| 37 | - |1986 |8951 | 0 | 0 | 926 | 41k|9057 | 3.038063e+03 | -- | Inf
1745.57/1745.94 c 1746s| 18800 | 7102 | 6715k| 356.2 | 71M| 37 | - |1986 |8875 | 0 | 0 | 926 | 41k|9083 | 3.038230e+03 | -- | Inf
1752.57/1752.91 c 1753s| 18900 | 7112 | 6746k| 355.9 | 72M| 37 | 328 |1986 |8979 |1986 |6096 | 926 | 41k|9103 | 3.038230e+03 | -- | Inf
1762.17/1762.50 c 1763s| 19000 | 7140 | 6789k| 356.3 | 72M| 37 | 516 |1986 |8957 |1986 |6096 | 926 | 42k|9105 | 3.038552e+03 | -- | Inf
1769.77/1770.19 c 1770s| 19100 | 7161 | 6823k| 356.2 | 72M| 37 | 600 |1986 |8791 |1986 |6096 | 926 | 42k|9105 | 3.038730e+03 | -- | Inf
1776.18/1776.59 c 1777s| 19200 | 7175 | 6852k| 355.9 | 72M| 37 | 519 |1986 |8770 |1986 |6096 | 927 | 42k|9105 | 3.039230e+03 | -- | Inf
1783.97/1784.31 c 1784s| 19300 | 7186 | 6887k| 355.8 | 72M| 37 | - |1986 |8628 |1986 |6096 | 927 | 43k|9105 | 3.039730e+03 | -- | Inf
1790.67/1791.02 c 1791s| 19400 | 7191 | 6921k| 355.8 | 72M| 37 |1525 |1986 |8810 |1986 |6096 | 927 | 43k|9105 | 3.039886e+03 | -- | Inf
1796.67/1797.00 c
1796.67/1797.00 c SCIP Status : solving was interrupted [time limit reached]
1796.67/1797.00 c Solving Time (sec) : 1797.00
1796.67/1797.00 c Solving Nodes : 19465
1796.67/1797.00 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1796.67/1797.00 c Dual Bound : +3.04055177990284e+03
1796.67/1797.00 c Gap : infinite
1796.67/1797.00 s UNKNOWN
1796.67/1797.00 c SCIP Status : solving was interrupted [time limit reached]
1796.67/1797.00 c Total Time : 1797.00
1796.67/1797.00 c solving : 1797.00
1796.67/1797.00 c presolving : 1.06 (included in solving)
1796.67/1797.00 c reading : 0.04 (included in solving)
1796.67/1797.00 c copying : 0.04 (2 #copies) (minimal 0.02, maximal 0.02, average 0.02)
1796.67/1797.00 c Original Problem :
1796.67/1797.00 c Problem name : HOME/instance-3692004-1338031558.opb
1796.67/1797.00 c Variables : 6352 (6352 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.67/1797.00 c Constraints : 13473 initial, 13473 maximal
1796.67/1797.00 c Objective sense : minimize
1796.67/1797.00 c Presolved Problem :
1796.67/1797.00 c Problem name : t_HOME/instance-3692004-1338031558.opb
1796.67/1797.00 c Variables : 1986 (1986 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.67/1797.00 c Constraints : 5825 initial, 9570 maximal
1796.67/1797.00 c Presolvers : ExecTime SetupTime FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1796.67/1797.00 c domcol : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.67/1797.00 c trivial : 0.01 0.00 40 0 0 0 0 0 0 0 0
1796.67/1797.00 c dualfix : 0.01 0.00 0 0 0 0 0 0 0 0 0
1796.67/1797.00 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.67/1797.00 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.67/1797.00 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.67/1797.00 c gateextraction : 0.01 0.00 0 0 0 0 0 3 1 0 0
1796.67/1797.00 c implics : 0.02 0.00 0 3129 0 0 0 0 0 0 0
1796.67/1797.00 c components : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.67/1797.00 c pseudoobj : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.67/1797.00 c probing : 0.16 0.00 1 150 0 1 0 0 0 0 0
1796.67/1797.00 c setppc : 0.05 0.00 0 0 0 0 0 279 0 0 0
1796.67/1797.00 c and : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.67/1797.00 c linear : 0.52 0.00 1001 45 0 1041 0 7367 0 159 315
1796.67/1797.00 c logicor : 0.23 0.00 0 0 0 0 0 0 0 0 0
1796.67/1797.00 c root node : - - 0 - - 0 - - - - -
1796.67/1797.00 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Conss Children
1796.67/1797.00 c integral : 0 0 0 0 15259 0 4 0 39 194 0 0 30292
1796.67/1797.00 c setppc : 1091 1091 24 469337 0 1 3 1345539 3368 1936763 0 0 0
1796.67/1797.00 c and : 1 1 11034 264570 0 0 0 2611 7 2146 5 0 0
1796.67/1797.00 c linear : 0+ 685 24 356422 0 0 0 4150 5 7683 20 0 0
1796.67/1797.00 c logicor : 4733+ 8412 24 401722 0 1 0 2073816 4969 3009577 0 0 0
1796.67/1797.00 c countsols : 0 0 0 0 0 1 0 0 0 0 0 0 0
1796.67/1797.00 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS Check ResProp
1796.67/1797.00 c integral : 346.69 0.00 0.00 0.00 346.69 0.00 0.00 0.00
1796.67/1797.00 c setppc : 15.72 0.00 0.00 14.32 0.00 0.00 0.00 1.39
1796.67/1797.00 c and : 0.29 0.00 0.02 0.27 0.00 0.00 0.00 0.00
1796.67/1797.00 c linear : 1.07 0.00 0.02 1.04 0.00 0.00 0.00 0.01
1796.67/1797.00 c logicor : 21.13 0.00 0.01 18.83 0.00 0.00 0.00 2.29
1796.67/1797.00 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1796.67/1797.00 c Propagators : #Propagate #ResProp Cutoffs DomReds
1796.67/1797.00 c rootredcost : 0 0 0 0
1796.67/1797.00 c pseudoobj : 481752 0 0 0
1796.67/1797.00 c vbounds : 0 0 0 0
1796.67/1797.00 c redcost : 15286 0 0 0
1796.67/1797.00 c probing : 0 0 0 0
1796.67/1797.00 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp
1796.67/1797.00 c rootredcost : 0.43 0.00 0.00 0.43 0.00
1796.67/1797.00 c pseudoobj : 1.03 0.00 0.00 1.03 0.00
1796.67/1797.00 c vbounds : 0.40 0.00 0.00 0.40 0.00
1796.67/1797.00 c redcost : 0.55 0.00 0.00 0.55 0.00
1796.67/1797.00 c probing : 0.16 0.00 0.16 0.00 0.00
1796.67/1797.00 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1796.67/1797.00 c propagation : 6.21 8349 7855 70343 34.2 585 8.2 -
1796.67/1797.00 c infeasible LP : 1.51 1121 1118 16105 41.7 59 5.4 0
1796.67/1797.00 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1796.67/1797.00 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1796.67/1797.00 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1796.67/1797.00 c applied globally : - - - 43561 32.5 - - -
1796.67/1797.00 c applied locally : - - - 0 0.0 - - -
1796.67/1797.00 c Separators : ExecTime SetupTime Calls Cutoffs DomReds Cuts Conss
1796.67/1797.00 c cut pool : 0.05 23 - - 641 - (maximal pool size: 6222)
1796.67/1797.00 c closecuts : 0.00 0.00 0 0 0 0 0
1796.67/1797.00 c impliedbounds : 0.01 0.00 24 0 0 395 0
1796.67/1797.00 c intobj : 0.00 0.00 0 0 0 0 0
1796.67/1797.00 c gomory : 0.11 0.00 10 0 0 500 0
1796.67/1797.00 c cgmip : 0.00 0.00 0 0 0 0 0
1796.67/1797.00 c strongcg : 1.35 0.00 20 0 0 10000 0
1796.67/1797.00 c cmir : 0.25 0.00 10 0 0 0 0
1796.67/1797.00 c flowcover : 0.22 0.00 10 0 0 0 0
1796.67/1797.00 c clique : 0.06 0.00 24 0 0 87 0
1796.67/1797.00 c zerohalf : 0.00 0.00 0 0 0 0 0
1796.67/1797.00 c mcf : 0.00 0.00 1 0 0 0 0
1796.67/1797.00 c oddcycle : 0.00 0.00 0 0 0 0 0
1796.67/1797.00 c rapidlearning : 1.02 0.00 1 0 0 0 685
1796.67/1797.00 c Pricers : ExecTime SetupTime Calls Vars
1796.67/1797.00 c problem variables: 0.00 - 0 0
1796.67/1797.00 c Branching Rules : ExecTime SetupTime Calls Cutoffs DomReds Cuts Conss Children
1796.67/1797.00 c relpscost : 346.62 0.00 15259 39 194 0 0 30292
1796.67/1797.00 c pscost : 0.00 0.00 0 0 0 0 0 0
1796.67/1797.00 c inference : 0.00 0.00 1 0 0 0 0 2
1796.67/1797.00 c mostinf : 0.00 0.00 0 0 0 0 0 0
1796.67/1797.00 c leastinf : 0.00 0.00 0 0 0 0 0 0
1796.67/1797.00 c fullstrong : 0.00 0.00 0 0 0 0 0 0
1796.67/1797.00 c allfullstrong : 0.00 0.00 0 0 0 0 0 0
1796.67/1797.00 c random : 0.00 0.00 0 0 0 0 0 0
1796.67/1797.00 c Primal Heuristics : ExecTime SetupTime Calls Found
1796.67/1797.00 c LP solutions : 0.00 - - 0
1796.67/1797.00 c pseudo solutions : 0.00 - - 0
1796.67/1797.00 c oneopt : 0.04 0.00 0 0
1796.67/1797.00 c crossover : 0.02 0.00 0 0
1796.67/1797.00 c intshifting : 0.00 0.00 0 0
1796.67/1797.00 c coefdiving : 87.76 0.00 173 0
1796.67/1797.00 c pscostdiving : 79.98 0.00 221 0
1796.67/1797.00 c fracdiving : 76.32 0.00 226 0
1796.67/1797.00 c smallcard : 0.00 0.00 0 0
1796.67/1797.00 c trivial : 0.01 0.00 2 0
1796.67/1797.00 c shiftandpropagate: 0.03 0.00 1 0
1796.67/1797.00 c simplerounding : 0.02 0.00 0 0
1796.67/1797.00 c zirounding : 0.52 0.00 1000 0
1796.67/1797.00 c rounding : 0.63 0.00 1715 0
1796.67/1797.00 c shifting : 1.40 0.00 718 0
1796.67/1797.00 c twoopt : 0.00 0.00 0 0
1796.67/1797.00 c indoneopt : 0.05 0.00 0 0
1796.67/1797.00 c indtwoopt : 0.00 0.00 0 0
1796.67/1797.00 c fixandinfer : 0.00 0.00 0 0
1796.67/1797.00 c feaspump : 25.24 0.00 16 0
1796.67/1797.00 c clique : 0.00 0.00 0 0
1796.67/1797.00 c indcoefdiving : 0.00 0.00 0 0
1796.67/1797.00 c indrounding : 0.00 0.00 0 0
1796.67/1797.00 c nlpdiving : 0.00 0.00 0 0
1796.67/1797.00 c veclendiving : 71.57 0.00 115 0
1796.67/1797.00 c intdiving : 0.00 0.00 0 0
1796.67/1797.00 c actconsdiving : 0.00 0.00 0 0
1796.67/1797.00 c objpscostdiving : 19.82 0.00 9 0
1796.67/1797.00 c rootsoldiving : 20.22 0.00 13 0
1796.67/1797.00 c linesearchdiving : 64.43 0.00 184 0
1796.67/1797.00 c guideddiving : 0.00 0.00 0 0
1796.67/1797.00 c octane : 0.00 0.00 0 0
1796.67/1797.00 c rens : 0.03 0.00 0 0
1796.67/1797.00 c rins : 0.00 0.00 0 0
1796.67/1797.00 c localbranching : 0.00 0.00 0 0
1796.67/1797.00 c mutation : 0.00 0.00 0 0
1796.67/1797.00 c dins : 0.00 0.00 0 0
1796.67/1797.00 c vbounds : 0.00 0.00 0 0
1796.67/1797.00 c undercover : 0.00 0.00 1 0
1796.67/1797.00 c subnlp : 0.02 0.00 0 0
1796.67/1797.00 c trysol : 0.04 0.00 0 0
1796.67/1797.00 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It
1796.67/1797.00 c primal LP : 0.01 3 0 0.00 0.00 0.01 3
1796.67/1797.00 c dual LP : 930.91 16222 5360617 331.25 5758.50 0.11 39
1796.67/1797.00 c lex dual LP : 0.00 0 0 0.00 -
1796.67/1797.00 c barrier LP : 0.00 0 0 0.00 - 0.00 0
1796.67/1797.00 c diving/probing LP: 387.13 61578 1588367 25.79 4102.95
1796.67/1797.00 c strong branching : 341.86 9105 1716454 188.52 5020.98
1796.67/1797.00 c (at root node) : - 13 3775 290.38 -
1796.67/1797.00 c conflict analysis: 0.00 0 0 0.00 -
1796.67/1797.00 c B&B Tree :
1796.67/1797.00 c number of runs : 1
1796.67/1797.00 c nodes : 19465
1796.67/1797.00 c nodes (total) : 19465
1796.67/1797.00 c nodes left : 7204
1796.67/1797.00 c max depth : 37
1796.67/1797.00 c max depth (total): 37
1796.67/1797.00 c backtracks : 5880 (30.2%)
1796.67/1797.00 c delayed cutoffs : 3626
1796.67/1797.00 c repropagations : 7805 (2035091 domain reductions, 3285 cutoffs)
1796.67/1797.00 c avg switch length: 8.32
1796.67/1797.00 c switching time : 16.68
1796.67/1797.00 c Solution :
1796.67/1797.00 c Solutions found : 0 (0 improvements)
1796.67/1797.00 c Primal Bound : -
1796.67/1797.00 c Dual Bound : +3.04055177990284e+03
1796.67/1797.00 c Gap : infinite
1796.67/1797.00 c Root Dual Bound : +2.92855185570095e+03
1796.67/1797.00 c Root Iterations : 19555
1796.67/1797.06 c Time complete: 1796.73.