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-3692003-1338031640.opb>
0.00/0.04 c original problem has 6352 variables (6352 bin, 0 int, 0 impl, 0 cont) and 13453 constraints
0.00/0.04 c problem read in 0.04
0.06/0.07 c presolving:
0.09/0.12 c (round 1) 2985 del vars, 484 del conss, 0 add conss, 317 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 38900 impls, 0 clqs
0.09/0.15 c (round 2) 3252 del vars, 4511 del conss, 0 add conss, 341 chg bounds, 1 chg sides, 2 chg coeffs, 0 upgd conss, 51428 impls, 0 clqs
0.09/0.15 c (round 3) 3283 del vars, 4948 del conss, 0 add conss, 356 chg bounds, 3 chg sides, 6 chg coeffs, 0 upgd conss, 51677 impls, 0 clqs
0.09/0.15 c (round 4) 3318 del vars, 5025 del conss, 0 add conss, 370 chg bounds, 6 chg sides, 12 chg coeffs, 0 upgd conss, 52116 impls, 0 clqs
0.09/0.16 c (round 5) 3350 del vars, 5108 del conss, 0 add conss, 383 chg bounds, 9 chg sides, 18 chg coeffs, 0 upgd conss, 52497 impls, 0 clqs
0.09/0.16 c (round 6) 3378 del vars, 5181 del conss, 0 add conss, 394 chg bounds, 12 chg sides, 24 chg coeffs, 0 upgd conss, 52814 impls, 0 clqs
0.09/0.16 c (round 7) 3402 del vars, 5244 del conss, 0 add conss, 403 chg bounds, 15 chg sides, 30 chg coeffs, 0 upgd conss, 53079 impls, 0 clqs
0.09/0.17 c (round 8) 3422 del vars, 5297 del conss, 0 add conss, 410 chg bounds, 18 chg sides, 36 chg coeffs, 0 upgd conss, 53366 impls, 0 clqs
0.09/0.17 c (round 9) 3438 del vars, 5341 del conss, 0 add conss, 416 chg bounds, 21 chg sides, 42 chg coeffs, 0 upgd conss, 53567 impls, 0 clqs
0.09/0.17 c (round 10) 3454 del vars, 5381 del conss, 0 add conss, 422 chg bounds, 24 chg sides, 48 chg coeffs, 0 upgd conss, 53726 impls, 0 clqs
0.09/0.17 c (round 11) 3470 del vars, 5421 del conss, 0 add conss, 428 chg bounds, 27 chg sides, 54 chg coeffs, 0 upgd conss, 53885 impls, 0 clqs
0.09/0.17 c (round 12) 3486 del vars, 5461 del conss, 0 add conss, 434 chg bounds, 30 chg sides, 60 chg coeffs, 0 upgd conss, 54058 impls, 0 clqs
0.09/0.18 c (round 13) 3502 del vars, 5501 del conss, 0 add conss, 440 chg bounds, 33 chg sides, 66 chg coeffs, 0 upgd conss, 54297 impls, 0 clqs
0.09/0.18 c (round 14) 3518 del vars, 5541 del conss, 0 add conss, 446 chg bounds, 36 chg sides, 72 chg coeffs, 0 upgd conss, 54494 impls, 0 clqs
0.09/0.18 c (round 15) 3534 del vars, 5581 del conss, 0 add conss, 452 chg bounds, 39 chg sides, 78 chg coeffs, 0 upgd conss, 54751 impls, 0 clqs
0.09/0.18 c (round 16) 3551 del vars, 5622 del conss, 0 add conss, 459 chg bounds, 42 chg sides, 84 chg coeffs, 0 upgd conss, 54958 impls, 0 clqs
0.09/0.19 c (round 17) 3567 del vars, 5662 del conss, 0 add conss, 465 chg bounds, 45 chg sides, 90 chg coeffs, 0 upgd conss, 55161 impls, 0 clqs
0.09/0.19 c (round 18) 3583 del vars, 5702 del conss, 0 add conss, 471 chg bounds, 48 chg sides, 96 chg coeffs, 0 upgd conss, 55442 impls, 0 clqs
0.09/0.19 c (round 19) 3599 del vars, 5742 del conss, 0 add conss, 477 chg bounds, 51 chg sides, 102 chg coeffs, 0 upgd conss, 55637 impls, 0 clqs
0.09/0.19 c (round 20) 3615 del vars, 5782 del conss, 0 add conss, 483 chg bounds, 54 chg sides, 108 chg coeffs, 0 upgd conss, 55836 impls, 0 clqs
0.09/0.20 c (round 21) 3631 del vars, 5822 del conss, 0 add conss, 489 chg bounds, 57 chg sides, 114 chg coeffs, 0 upgd conss, 55989 impls, 0 clqs
0.19/0.20 c (round 22) 3645 del vars, 5856 del conss, 0 add conss, 493 chg bounds, 58 chg sides, 116 chg coeffs, 0 upgd conss, 56165 impls, 0 clqs
0.19/0.20 c (round 23) 3653 del vars, 5894 del conss, 0 add conss, 500 chg bounds, 61 chg sides, 122 chg coeffs, 0 upgd conss, 56193 impls, 0 clqs
0.19/0.20 c (round 24) 3666 del vars, 5913 del conss, 0 add conss, 505 chg bounds, 63 chg sides, 126 chg coeffs, 0 upgd conss, 56336 impls, 0 clqs
0.19/0.20 c (round 25) 3681 del vars, 5956 del conss, 0 add conss, 514 chg bounds, 65 chg sides, 130 chg coeffs, 0 upgd conss, 56438 impls, 0 clqs
0.19/0.21 c (round 26) 3697 del vars, 5997 del conss, 0 add conss, 524 chg bounds, 67 chg sides, 134 chg coeffs, 0 upgd conss, 56590 impls, 0 clqs
0.19/0.21 c (round 27) 3711 del vars, 6034 del conss, 0 add conss, 533 chg bounds, 69 chg sides, 138 chg coeffs, 0 upgd conss, 56744 impls, 0 clqs
0.19/0.21 c (round 28) 3729 del vars, 6076 del conss, 0 add conss, 544 chg bounds, 71 chg sides, 142 chg coeffs, 0 upgd conss, 56882 impls, 0 clqs
0.19/0.21 c (round 29) 3744 del vars, 6116 del conss, 0 add conss, 553 chg bounds, 74 chg sides, 148 chg coeffs, 0 upgd conss, 57028 impls, 0 clqs
0.19/0.21 c (round 30) 3753 del vars, 6153 del conss, 0 add conss, 562 chg bounds, 77 chg sides, 154 chg coeffs, 0 upgd conss, 57062 impls, 0 clqs
0.19/0.22 c (round 31) 3768 del vars, 6178 del conss, 0 add conss, 571 chg bounds, 81 chg sides, 162 chg coeffs, 0 upgd conss, 57214 impls, 0 clqs
0.19/0.22 c (round 32) 3781 del vars, 6213 del conss, 0 add conss, 579 chg bounds, 83 chg sides, 166 chg coeffs, 0 upgd conss, 57335 impls, 0 clqs
0.19/0.22 c (round 33) 3797 del vars, 6254 del conss, 0 add conss, 590 chg bounds, 86 chg sides, 172 chg coeffs, 0 upgd conss, 57438 impls, 0 clqs
0.19/0.22 c (round 34) 3809 del vars, 6288 del conss, 0 add conss, 603 chg bounds, 90 chg sides, 180 chg coeffs, 0 upgd conss, 57481 impls, 0 clqs
0.19/0.22 c (round 35) 3826 del vars, 6327 del conss, 0 add conss, 615 chg bounds, 93 chg sides, 186 chg coeffs, 0 upgd conss, 57533 impls, 0 clqs
0.19/0.23 c (round 36) 3839 del vars, 6363 del conss, 0 add conss, 628 chg bounds, 98 chg sides, 196 chg coeffs, 0 upgd conss, 57612 impls, 0 clqs
0.19/0.23 c (round 37) 3855 del vars, 6401 del conss, 0 add conss, 639 chg bounds, 102 chg sides, 204 chg coeffs, 0 upgd conss, 57678 impls, 0 clqs
0.19/0.23 c (round 38) 3865 del vars, 6439 del conss, 0 add conss, 650 chg bounds, 104 chg sides, 208 chg coeffs, 0 upgd conss, 57700 impls, 0 clqs
0.19/0.23 c (round 39) 3881 del vars, 6476 del conss, 0 add conss, 666 chg bounds, 109 chg sides, 218 chg coeffs, 0 upgd conss, 57727 impls, 0 clqs
0.19/0.24 c (round 40) 3897 del vars, 6514 del conss, 0 add conss, 681 chg bounds, 111 chg sides, 222 chg coeffs, 0 upgd conss, 57787 impls, 0 clqs
0.19/0.24 c (round 41) 3919 del vars, 6552 del conss, 0 add conss, 698 chg bounds, 114 chg sides, 228 chg coeffs, 0 upgd conss, 57861 impls, 0 clqs
0.19/0.24 c (round 42) 3931 del vars, 6594 del conss, 0 add conss, 710 chg bounds, 115 chg sides, 230 chg coeffs, 0 upgd conss, 57916 impls, 0 clqs
0.19/0.24 c (round 43) 3947 del vars, 6630 del conss, 0 add conss, 725 chg bounds, 120 chg sides, 240 chg coeffs, 0 upgd conss, 57974 impls, 0 clqs
0.19/0.24 c (round 44) 3963 del vars, 6668 del conss, 0 add conss, 737 chg bounds, 122 chg sides, 244 chg coeffs, 0 upgd conss, 58069 impls, 0 clqs
0.19/0.25 c (round 45) 3974 del vars, 6702 del conss, 0 add conss, 750 chg bounds, 125 chg sides, 250 chg coeffs, 0 upgd conss, 58123 impls, 0 clqs
0.19/0.25 c (round 46) 3993 del vars, 6743 del conss, 0 add conss, 769 chg bounds, 132 chg sides, 264 chg coeffs, 0 upgd conss, 58155 impls, 0 clqs
0.19/0.25 c (round 47) 4007 del vars, 6783 del conss, 0 add conss, 781 chg bounds, 135 chg sides, 270 chg coeffs, 0 upgd conss, 58217 impls, 0 clqs
0.19/0.25 c (round 48) 4021 del vars, 6825 del conss, 0 add conss, 798 chg bounds, 140 chg sides, 280 chg coeffs, 0 upgd conss, 58233 impls, 0 clqs
0.19/0.25 c (round 49) 4037 del vars, 6867 del conss, 0 add conss, 813 chg bounds, 144 chg sides, 288 chg coeffs, 0 upgd conss, 58306 impls, 0 clqs
0.19/0.25 c (round 50) 4055 del vars, 6905 del conss, 0 add conss, 832 chg bounds, 151 chg sides, 302 chg coeffs, 0 upgd conss, 58331 impls, 0 clqs
0.19/0.26 c (round 51) 4071 del vars, 6950 del conss, 0 add conss, 845 chg bounds, 155 chg sides, 310 chg coeffs, 0 upgd conss, 58405 impls, 0 clqs
0.19/0.26 c (round 52) 4087 del vars, 6978 del conss, 0 add conss, 859 chg bounds, 160 chg sides, 320 chg coeffs, 0 upgd conss, 58477 impls, 0 clqs
0.19/0.26 c (round 53) 4103 del vars, 7018 del conss, 0 add conss, 874 chg bounds, 166 chg sides, 332 chg coeffs, 0 upgd conss, 58526 impls, 0 clqs
0.19/0.26 c (round 54) 4119 del vars, 7063 del conss, 0 add conss, 886 chg bounds, 168 chg sides, 336 chg coeffs, 0 upgd conss, 58694 impls, 0 clqs
0.19/0.26 c (round 55) 4133 del vars, 7105 del conss, 0 add conss, 902 chg bounds, 173 chg sides, 346 chg coeffs, 0 upgd conss, 58727 impls, 0 clqs
0.19/0.27 c (round 56) 4150 del vars, 7148 del conss, 0 add conss, 918 chg bounds, 181 chg sides, 362 chg coeffs, 0 upgd conss, 58801 impls, 0 clqs
0.19/0.27 c (round 57) 4166 del vars, 7181 del conss, 0 add conss, 930 chg bounds, 182 chg sides, 364 chg coeffs, 0 upgd conss, 58880 impls, 0 clqs
0.19/0.27 c (round 58) 4183 del vars, 7225 del conss, 0 add conss, 947 chg bounds, 187 chg sides, 374 chg coeffs, 0 upgd conss, 58980 impls, 0 clqs
0.19/0.27 c (round 59) 4198 del vars, 7261 del conss, 0 add conss, 957 chg bounds, 189 chg sides, 378 chg coeffs, 0 upgd conss, 59057 impls, 0 clqs
0.19/0.27 c (round 60) 4208 del vars, 7287 del conss, 0 add conss, 966 chg bounds, 191 chg sides, 382 chg coeffs, 0 upgd conss, 59125 impls, 0 clqs
0.19/0.28 c (round 61) 4220 del vars, 7322 del conss, 0 add conss, 978 chg bounds, 194 chg sides, 390 chg coeffs, 0 upgd conss, 59177 impls, 0 clqs
0.19/0.28 c (round 62) 4228 del vars, 7340 del conss, 0 add conss, 982 chg bounds, 194 chg sides, 390 chg coeffs, 0 upgd conss, 59229 impls, 0 clqs
0.19/0.28 c (round 63) 4239 del vars, 7365 del conss, 0 add conss, 993 chg bounds, 196 chg sides, 394 chg coeffs, 0 upgd conss, 59253 impls, 0 clqs
0.19/0.28 c (round 64) 4245 del vars, 7383 del conss, 0 add conss, 999 chg bounds, 197 chg sides, 396 chg coeffs, 0 upgd conss, 59274 impls, 0 clqs
0.19/0.28 c (round 65) 4252 del vars, 7395 del conss, 0 add conss, 1003 chg bounds, 197 chg sides, 396 chg coeffs, 0 upgd conss, 59336 impls, 0 clqs
0.19/0.29 c (round 66) 4256 del vars, 7414 del conss, 0 add conss, 1007 chg bounds, 198 chg sides, 398 chg coeffs, 0 upgd conss, 59340 impls, 0 clqs
0.19/0.29 c (round 67) 4257 del vars, 7419 del conss, 0 add conss, 1008 chg bounds, 198 chg sides, 398 chg coeffs, 0 upgd conss, 59396 impls, 0 clqs
0.29/0.34 c (round 68) 4257 del vars, 7422 del conss, 0 add conss, 1008 chg bounds, 201 chg sides, 398 chg coeffs, 6150 upgd conss, 59396 impls, 0 clqs
0.29/0.35 c (round 69) 4257 del vars, 7541 del conss, 0 add conss, 1008 chg bounds, 201 chg sides, 398 chg coeffs, 6150 upgd conss, 59396 impls, 0 clqs
0.39/0.41 c (round 70) 4282 del vars, 7544 del conss, 1 add conss, 1008 chg bounds, 201 chg sides, 398 chg coeffs, 6150 upgd conss, 76008 impls, 0 clqs
0.39/0.42 c (round 71) 4282 del vars, 7569 del conss, 1 add conss, 1008 chg bounds, 201 chg sides, 398 chg coeffs, 6175 upgd conss, 76008 impls, 0 clqs
0.39/0.46 c (round 72) 4307 del vars, 7569 del conss, 1 add conss, 1008 chg bounds, 201 chg sides, 398 chg coeffs, 6175 upgd conss, 97474 impls, 0 clqs
0.39/0.47 c (round 73) 4307 del vars, 7594 del conss, 1 add conss, 1008 chg bounds, 201 chg sides, 398 chg coeffs, 6200 upgd conss, 97474 impls, 0 clqs
0.39/0.49 c (round 74) 4332 del vars, 7594 del conss, 1 add conss, 1008 chg bounds, 201 chg sides, 398 chg coeffs, 6200 upgd conss, 98916 impls, 0 clqs
0.49/0.50 c (round 75) 4332 del vars, 7619 del conss, 1 add conss, 1008 chg bounds, 201 chg sides, 398 chg coeffs, 6209 upgd conss, 98916 impls, 0 clqs
0.49/0.52 c (round 76) 4357 del vars, 7619 del conss, 1 add conss, 1008 chg bounds, 201 chg sides, 398 chg coeffs, 6209 upgd conss, 99566 impls, 0 clqs
0.49/0.53 c (round 77) 4357 del vars, 7644 del conss, 1 add conss, 1008 chg bounds, 201 chg sides, 398 chg coeffs, 6209 upgd conss, 99566 impls, 0 clqs
0.49/0.56 c (round 78) 4382 del vars, 7644 del conss, 1 add conss, 1008 chg bounds, 201 chg sides, 398 chg coeffs, 6209 upgd conss, 100914 impls, 0 clqs
0.49/0.56 c (round 79) 4382 del vars, 7669 del conss, 1 add conss, 1008 chg bounds, 201 chg sides, 398 chg coeffs, 6211 upgd conss, 100914 impls, 0 clqs
0.49/0.59 c (round 80) 4407 del vars, 7669 del conss, 1 add conss, 1008 chg bounds, 201 chg sides, 398 chg coeffs, 6211 upgd conss, 103274 impls, 0 clqs
0.59/0.60 c (round 81) 4407 del vars, 7694 del conss, 1 add conss, 1008 chg bounds, 201 chg sides, 398 chg coeffs, 6211 upgd conss, 103274 impls, 0 clqs
0.59/0.62 c (0.6s) probing: 272/2095 (13.0%) - 1 fixings, 150 aggregations, 9468 implications, 1 bound changes
0.59/0.62 c (0.6s) probing aborted: 50/50 successive totally useless probings
0.59/0.62 c (round 82) 4408 del vars, 7694 del conss, 1 add conss, 1009 chg bounds, 201 chg sides, 398 chg coeffs, 6211 upgd conss, 103317 impls, 0 clqs
0.59/0.63 c (round 83) 4409 del vars, 7698 del conss, 1 add conss, 1009 chg bounds, 201 chg sides, 398 chg coeffs, 6216 upgd conss, 103331 impls, 0 clqs
0.59/0.64 c (round 84) 4409 del vars, 7700 del conss, 1 add conss, 1009 chg bounds, 201 chg sides, 398 chg coeffs, 6216 upgd conss, 103331 impls, 0 clqs
0.59/0.65 c (round 85) 4409 del vars, 7702 del conss, 1 add conss, 1009 chg bounds, 201 chg sides, 398 chg coeffs, 6216 upgd conss, 103331 impls, 0 clqs
0.59/0.67 c (0.7s) probing: 277/2095 (13.2%) - 1 fixings, 150 aggregations, 9468 implications, 1 bound changes
0.59/0.67 c (0.7s) probing aborted: 50/50 successive totally useless probings
0.59/0.67 c presolving (86 rounds):
0.59/0.67 c 4409 deleted vars, 7702 deleted constraints, 1 added constraints, 1009 tightened bounds, 0 added holes, 201 changed sides, 398 changed coefficients
0.59/0.67 c 103331 implications, 0 cliques
0.59/0.67 c presolved problem has 1943 variables (1943 bin, 0 int, 0 impl, 0 cont) and 5752 constraints
0.59/0.67 c 1058 constraints of type <setppc>
0.59/0.67 c 1 constraints of type <and>
0.59/0.67 c 4693 constraints of type <logicor>
0.59/0.67 c transformed objective value is always integral (scale: 1)
0.59/0.67 c Presolving Time: 0.61
0.59/0.67 c - non default parameters ----------------------------------------------------------------------
0.59/0.67 c # SCIP version 2.1.1.4
0.59/0.67 c
0.59/0.67 c # maximal time in seconds to run
0.59/0.67 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.59/0.67 c limits/time = 1797
0.59/0.67 c
0.59/0.67 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.59/0.67 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.59/0.67 c limits/memory = 13950
0.59/0.67 c
0.59/0.67 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.59/0.67 c # [type: int, range: [1,2], default: 1]
0.59/0.67 c timing/clocktype = 2
0.59/0.67 c
0.59/0.67 c # belongs reading time to solving time?
0.59/0.67 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.59/0.67 c timing/reading = TRUE
0.59/0.67 c
0.59/0.67 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.59/0.67 c # [type: int, range: [-1,2147483647], default: -1]
0.59/0.67 c separating/rapidlearning/freq = 0
0.59/0.67 c
0.59/0.67 c -----------------------------------------------------------------------------------------------
0.59/0.67 c start solving
0.59/0.67 c
0.79/0.84 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.79/0.84 c 0.8s| 1 | 0 | 2231 | - | 24M| 0 |1246 |1943 |5781 |1943 |5753 | 0 | 29 | 0 | 2.821810e+03 | -- | Inf
2.79/2.87 c 2.9s| 1 | 0 | 9966 | - | 27M| 0 |1135 |1943 |6567 |1943 |5966 | 213 | 29 | 0 | 2.851351e+03 | -- | Inf
2.99/3.04 c 3.0s| 1 | 0 | 10373 | - | 27M| 0 |1141 |1943 |6567 |1943 |6000 | 247 | 29 | 0 | 2.855245e+03 | -- | Inf
3.19/3.23 c 3.2s| 1 | 0 | 10809 | - | 28M| 0 |1227 |1943 |6567 |1943 |6039 | 286 | 29 | 0 | 2.858966e+03 | -- | Inf
3.39/3.46 c 3.5s| 1 | 0 | 11302 | - | 29M| 0 |1180 |1943 |6567 |1943 |6083 | 330 | 29 | 0 | 2.862592e+03 | -- | Inf
3.69/3.78 c 3.8s| 1 | 0 | 12012 | - | 30M| 0 |1175 |1943 |6567 |1943 |6119 | 366 | 29 | 0 | 2.867074e+03 | -- | Inf
3.99/4.03 c 4.0s| 1 | 0 | 12463 | - | 32M| 0 |1214 |1943 |6567 |1943 |6151 | 398 | 29 | 0 | 2.870799e+03 | -- | Inf
4.29/4.31 c 4.3s| 1 | 0 | 13105 | - | 33M| 0 |1220 |1943 |6567 |1943 |6186 | 433 | 29 | 0 | 2.874331e+03 | -- | Inf
4.48/4.58 c 4.6s| 1 | 0 | 13738 | - | 34M| 0 |1199 |1943 |6567 |1943 |6230 | 477 | 29 | 0 | 2.882566e+03 | -- | Inf
4.79/4.81 c 4.8s| 1 | 0 | 14270 | - | 35M| 0 |1217 |1943 |6567 |1943 |6272 | 519 | 29 | 0 | 2.888291e+03 | -- | Inf
4.99/5.06 c 5.1s| 1 | 0 | 14782 | - | 36M| 0 |1236 |1943 |6567 |1943 |6316 | 563 | 29 | 0 | 2.893718e+03 | -- | Inf
5.19/5.28 c 5.3s| 1 | 0 | 15306 | - | 37M| 0 |1248 |1943 |6567 |1943 |6348 | 595 | 29 | 0 | 2.896510e+03 | -- | Inf
5.40/5.45 c 5.4s| 1 | 0 | 15745 | - | 38M| 0 |1253 |1943 |6567 |1943 |6388 | 635 | 29 | 0 | 2.900275e+03 | -- | Inf
5.69/5.75 c 5.8s| 1 | 0 | 16830 | - | 39M| 0 |1265 |1943 |6567 |1943 |6422 | 669 | 29 | 0 | 2.903894e+03 | -- | Inf
5.89/5.98 c 6.0s| 1 | 0 | 17446 | - | 41M| 0 |1263 |1943 |6567 |1943 |6453 | 700 | 29 | 0 | 2.907396e+03 | -- | Inf
6.19/6.23 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
6.19/6.23 c 6.2s| 1 | 0 | 18146 | - | 42M| 0 |1274 |1943 |6567 |1943 |6261 | 730 | 29 | 0 | 2.909319e+03 | -- | Inf
6.39/6.46 c 6.5s| 1 | 0 | 18737 | - | 43M| 0 |1291 |1943 |6567 |1943 |6293 | 762 | 29 | 0 | 2.912290e+03 | -- | Inf
6.69/6.72 c 6.7s| 1 | 0 | 19446 | - | 45M| 0 |1284 |1943 |6567 |1943 |6335 | 804 | 29 | 0 | 2.916760e+03 | -- | Inf
6.89/6.93 c 6.9s| 1 | 0 | 20040 | - | 46M| 0 |1289 |1943 |6567 |1943 |6362 | 831 | 29 | 0 | 2.918578e+03 | -- | Inf
7.18/7.21 c 7.2s| 1 | 0 | 20792 | - | 47M| 0 |1307 |1943 |6567 |1943 |6388 | 857 | 29 | 0 | 2.920734e+03 | -- | Inf
7.39/7.41 c 7.4s| 1 | 0 | 21287 | - | 49M| 0 |1319 |1943 |6567 |1943 |6416 | 885 | 29 | 0 | 2.922760e+03 | -- | Inf
7.49/7.52 c 7.5s| 1 | 0 | 21588 | - | 49M| 0 |1322 |1943 |6567 |1943 |6242 | 892 | 29 | 0 | 2.923026e+03 | -- | Inf
7.49/7.55 c 7.5s| 1 | 0 | 21629 | - | 49M| 0 |1322 |1943 |6567 |1943 |6248 | 898 | 29 | 0 | 2.923026e+03 | -- | Inf
7.49/7.58 c 7.6s| 1 | 0 | 21718 | - | 49M| 0 |1322 |1943 |6567 |1943 |6255 | 905 | 29 | 0 | 2.923114e+03 | -- | Inf
7.59/7.61 c 7.6s| 1 | 0 | 21729 | - | 49M| 0 |1330 |1943 |6567 |1943 |6257 | 907 | 29 | 0 | 2.923114e+03 | -- | Inf
7.99/8.05 c 8.0s| 1 | 2 | 21729 | - | 49M| 0 |1330 |1943 |6567 |1943 |6257 | 907 | 29 | 10 | 2.923114e+03 | -- | Inf
55.27/55.34 c 55.3s| 100 | 101 |102447 | 815.3 | 50M| 17 |1345 |1943 |6662 |1943 |5998 | 907 | 124 | 841 | 2.936272e+03 | -- | Inf
64.07/64.11 c 64.1s| 200 | 201 |130966 | 548.9 | 50M| 17 |1462 |1943 |6698 |1943 |5998 | 907 | 160 | 916 | 2.937272e+03 | -- | Inf
79.07/79.12 c 79.1s| 300 | 301 |178936 | 525.8 | 50M| 17 |1293 |1943 |6778 |1943 |5998 | 907 | 240 |1044 | 2.937656e+03 | -- | Inf
91.27/91.37 c 91.4s| 400 | 397 |219214 | 494.9 | 50M| 18 |1331 |1943 |6817 |1943 |5998 | 907 | 289 |1164 | 2.937656e+03 | -- | Inf
98.36/98.49 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
98.36/98.49 c 98.5s| 500 | 497 |242100 | 441.6 | 51M| 19 |1339 |1943 |6829 |1943 |5998 | 907 | 311 |1252 | 2.942560e+03 | -- | Inf
104.86/104.93 c 105s| 600 | 597 |263534 | 403.7 | 51M| 19 |1304 |1943 |6827 |1943 |5998 | 907 | 326 |1340 | 2.942560e+03 | -- | Inf
111.67/111.73 c 112s| 700 | 697 |285292 | 377.1 | 51M| 19 |1195 |1943 |6831 |1943 |5998 | 907 | 336 |1420 | 2.942560e+03 | -- | Inf
120.56/120.67 c 121s| 800 | 797 |314215 | 366.1 | 51M| 19 |1353 |1943 |6867 |1943 |5998 | 907 | 388 |1524 | 2.944772e+03 | -- | Inf
133.15/133.21 c 133s| 900 | 897 |359559 | 375.8 | 51M| 22 |1091 |1943 |6875 |1943 |5998 | 907 | 407 |1628 | 2.952751e+03 | -- | Inf
139.96/140.01 c 140s| 1000 | 997 |384510 | 363.1 | 52M| 22 |1342 |1943 |6869 |1943 |5998 | 907 | 417 |1708 | 2.962981e+03 | -- | Inf
147.95/148.07 c 148s| 1100 | 1097 |411335 | 354.5 | 52M| 22 |1101 |1943 |6880 |1943 |5998 | 907 | 441 |1828 | 2.964277e+03 | -- | Inf
154.96/155.05 c 155s| 1200 | 1197 |433537 | 343.5 | 52M| 24 |1033 |1943 |6867 |1943 |5998 | 907 | 453 |1948 | 2.964344e+03 | -- | Inf
161.35/161.42 c 161s| 1300 | 1277 |455122 | 333.6 | 52M| 34 | 410 |1943 |6952 |1943 |5998 | 907 | 566 |2036 | 2.965117e+03 | -- | Inf
169.36/169.41 c 169s| 1400 | 1286 |484619 | 330.9 | 53M| 34 | 385 |1943 |7324 |1943 |5998 | 907 | 986 |2134 | 2.966617e+03 | -- | Inf
177.25/177.38 c 177s| 1500 | 1341 |509662 | 325.5 | 53M| 34 |1353 |1943 |7523 |1943 |5998 | 907 |1214 |2245 | 2.966826e+03 | -- | Inf
187.04/187.11 c 187s| 1600 | 1407 |546432 | 328.1 | 53M| 34 |1335 |1943 |7598 |1943 |5998 | 907 |1338 |2340 | 2.967909e+03 | -- | Inf
193.64/193.72 c 194s| 1700 | 1507 |576349 | 326.4 | 53M| 34 |1309 |1943 |7560 |1943 |5998 | 907 |1347 |2393 | 2.967909e+03 | -- | Inf
199.45/199.50 c 199s| 1800 | 1573 |603133 | 323.2 | 54M| 35 |1197 |1943 |7495 |1943 |5998 | 907 |1518 |2396 | 2.968659e+03 | -- | Inf
203.84/203.90 c 204s| 1900 | 1613 |626490 | 318.5 | 54M| 35 | - |1943 |7540 | 0 | 0 | 907 |1737 |2396 | 2.972186e+03 | -- | Inf
209.96/210.06 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
209.96/210.06 c 210s| 2000 | 1686 |655735 | 317.2 | 54M| 35 | 409 |1943 |7535 |1943 |5998 | 907 |1886 |2396 | 2.973344e+03 | -- | Inf
218.15/218.25 c 218s| 2100 | 1717 |687189 | 317.0 | 54M| 35 | - |1943 |7720 | 0 | 0 | 907 |2231 |2449 | 2.973844e+03 | -- | Inf
225.45/225.59 c 226s| 2200 | 1754 |714357 | 315.0 | 54M| 35 |1132 |1943 |7726 |1943 |5998 | 907 |2608 |2498 | 2.976784e+03 | -- | Inf
234.45/234.57 c 235s| 2300 | 1854 |747690 | 315.8 | 54M| 35 |1099 |1943 |7536 |1943 |5998 | 907 |2642 |2562 | 2.976784e+03 | -- | Inf
241.34/241.43 c 241s| 2400 | 1922 |775060 | 314.0 | 55M| 35 |1314 |1943 |7315 |1943 |5998 | 907 |2772 |2617 | 2.976839e+03 | -- | Inf
247.84/247.96 c 248s| 2500 | 1998 |799249 | 311.1 | 55M| 35 |1120 |1943 |7174 |1943 |5998 | 907 |2905 |2685 | 2.977511e+03 | -- | Inf
256.94/257.07 c 257s| 2600 | 2063 |832951 | 312.1 | 55M| 35 | - |1943 |7325 | 0 | 0 | 907 |3139 |2757 | 2.977785e+03 | -- | Inf
263.64/263.78 c 264s| 2700 | 2138 |859166 | 310.3 | 55M| 35 |1380 |1943 |7375 |1943 |5998 | 907 |3295 |2799 | 2.978242e+03 | -- | Inf
273.33/273.41 c 273s| 2800 | 2202 |897382 | 312.8 | 55M| 35 |1435 |1943 |7500 |1943 |5998 | 907 |3541 |2877 | 2.978785e+03 | -- | Inf
279.74/279.80 c 280s| 2900 | 2278 |920719 | 310.1 | 56M| 35 |1450 |1943 |7417 |1943 |5998 | 907 |3653 |2940 | 2.979742e+03 | -- | Inf
290.04/290.12 c 290s| 3000 | 2333 |960482 | 313.0 | 56M| 35 | - |1943 |7573 | 0 | 0 | 907 |3937 |3020 | 2.979912e+03 | -- | Inf
298.93/299.02 c 299s| 3100 | 2397 |997266 | 314.8 | 56M| 35 | - |1943 |7595 | 0 | 0 | 907 |4139 |3093 | 2.981034e+03 | -- | Inf
307.44/307.54 c 308s| 3200 | 2496 | 1029k| 315.1 | 56M| 35 | 389 |1943 |7351 |1943 |5998 | 907 |4185 |3162 | 2.981284e+03 | -- | Inf
313.34/313.47 c 313s| 3300 | 2515 | 1052k| 312.5 | 56M| 35 | 338 |1943 |7552 |1943 |5998 | 907 |4541 |3196 | 2.981492e+03 | -- | Inf
321.14/321.21 c 321s| 3400 | 2550 | 1081k| 311.8 | 57M| 35 | 400 |1943 |7667 |1943 |5998 | 907 |4879 |3255 | 2.981784e+03 | -- | Inf
327.83/327.94 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
327.83/327.94 c 328s| 3500 | 2574 | 1105k| 309.7 | 57M| 35 | 487 |1943 |7857 |1943 |5998 | 907 |5208 |3320 | 2.982076e+03 | -- | Inf
334.33/334.44 c 334s| 3600 | 2632 | 1130k| 308.2 | 57M| 35 | 389 |1943 |7907 |1943 |5998 | 907 |5424 |3365 | 2.982909e+03 | -- | Inf
341.03/341.16 c 341s| 3700 | 2697 | 1156k| 306.8 | 57M| 35 |1393 |1943 |7819 |1943 |5998 | 907 |5574 |3424 | 2.983660e+03 | -- | Inf
347.63/347.78 c 348s| 3800 | 2752 | 1181k| 305.3 | 57M| 35 | 800 |1943 |7863 |1943 |5998 | 907 |5812 |3484 | 2.984011e+03 | -- | Inf
357.72/357.90 c 358s| 3900 | 2799 | 1218k| 307.1 | 57M| 35 |1468 |1943 |7738 |1943 |5998 | 907 |6065 |3571 | 2.984492e+03 | -- | Inf
365.03/365.16 c 365s| 4000 | 2828 | 1245k| 306.1 | 58M| 35 |1438 |1943 |7949 |1943 |5998 | 907 |6416 |3640 | 2.984742e+03 | -- | Inf
372.62/372.74 c 373s| 4100 | 2888 | 1274k| 305.6 | 58M| 35 | 345 |1943 |8034 |1943 |5998 | 907 |6664 |3707 | 2.985159e+03 | -- | Inf
381.62/381.78 c 382s| 4200 | 2950 | 1307k| 306.2 | 58M| 35 |1164 |1943 |7964 |1943 |5998 | 907 |6828 |3788 | 2.985159e+03 | -- | Inf
388.61/388.77 c 389s| 4300 | 3006 | 1333k| 305.2 | 58M| 35 | 799 |1943 |7985 |1943 |5998 | 907 |7096 |3860 | 2.985297e+03 | -- | Inf
399.01/399.10 c 399s| 4400 | 3047 | 1374k| 307.6 | 58M| 35 | 615 |1943 |7926 |1943 |5998 | 907 |7382 |3944 | 2.985339e+03 | -- | Inf
404.92/405.02 c 405s| 4500 | 3096 | 1401k| 306.6 | 58M| 35 | - |1943 |7914 | 0 | 0 | 907 |7656 |3965 | 2.985969e+03 | -- | Inf
412.32/412.42 c 412s| 4600 | 3136 | 1438k| 308.2 | 59M| 35 | 752 |1943 |8047 |1943 |5998 | 907 |8032 |3967 | 2.986297e+03 | -- | Inf
418.71/418.81 c 419s| 4700 | 3186 | 1468k| 308.0 | 59M| 35 | 797 |1943 |8059 |1943 |5998 | 907 |8339 |3967 | 2.986297e+03 | -- | Inf
423.01/423.13 c 423s| 4800 | 3209 | 1491k| 306.2 | 59M| 35 | - |1943 |8254 | 0 | 0 | 907 |8678 |3967 | 2.986297e+03 | -- | Inf
432.41/432.51 c 433s| 4900 | 3296 | 1533k| 308.6 | 59M| 35 |1434 |1943 |7926 |1943 |5998 | 907 |8829 |3967 | 2.986992e+03 | -- | Inf
439.41/439.59 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
439.41/439.59 c 440s| 5000 | 3369 | 1569k| 309.6 | 59M| 35 |1381 |1943 |7702 |1943 |5998 | 907 |8985 |3967 | 2.987576e+03 | -- | Inf
444.61/444.71 c 445s| 5100 | 3443 | 1592k| 308.0 | 59M| 35 |1087 |1943 |7618 |1943 |5998 | 907 |9116 |3989 | 2.987742e+03 | -- | Inf
453.41/453.52 c 454s| 5200 | 3522 | 1625k| 308.6 | 59M| 35 |1204 |1943 |7461 |1943 |5998 | 908 |9239 |4039 | 2.988412e+03 | -- | Inf
460.20/460.36 c 460s| 5300 | 3589 | 1653k| 308.0 | 60M| 35 | - |1943 |7503 | 0 | 0 | 908 |9426 |4076 | 2.989084e+03 | -- | Inf
467.31/467.48 c 467s| 5400 | 3648 | 1679k| 307.1 | 60M| 35 |1420 |1943 |7590 |1943 |5998 | 908 |9708 |4121 | 2.990492e+03 | -- | Inf
473.10/473.23 c 473s| 5500 | 3692 | 1704k| 306.0 | 60M| 35 |1405 |1943 |7684 |1943 |5998 | 908 | 10k|4137 | 2.990992e+03 | -- | Inf
478.31/478.45 c 478s| 5600 | 3754 | 1724k| 304.2 | 60M| 35 |1412 |1943 |7760 |1943 |5998 | 908 | 10k|4179 | 2.990992e+03 | -- | Inf
485.90/486.10 c 486s| 5700 | 3807 | 1755k| 304.1 | 60M| 35 |1078 |1943 |7767 |1943 |5998 | 908 | 10k|4217 | 2.991084e+03 | -- | Inf
493.60/493.72 c 494s| 5800 | 3844 | 1784k| 304.0 | 61M| 35 | 761 |1943 |7836 |1943 |5998 | 908 | 10k|4262 | 2.991159e+03 | -- | Inf
500.59/500.78 c 501s| 5900 | 3893 | 1810k| 303.3 | 61M| 35 | 726 |1943 |7950 |1943 |5998 | 908 | 11k|4304 | 2.991159e+03 | -- | Inf
508.29/508.43 c 508s| 6000 | 3938 | 1840k| 303.1 | 61M| 35 | 615 |1943 |7990 |1943 |5998 | 908 | 11k|4363 | 2.991339e+03 | -- | Inf
515.40/515.52 c 516s| 6100 | 3988 | 1867k| 302.7 | 61M| 35 |1310 |1943 |7927 |1943 |5998 | 908 | 11k|4399 | 2.991714e+03 | -- | Inf
522.30/522.47 c 522s| 6200 | 4057 | 1895k| 302.3 | 61M| 35 |1430 |1943 |7847 |1943 |5998 | 908 | 11k|4431 | 2.991881e+03 | -- | Inf
531.20/531.38 c 531s| 6300 | 4109 | 1928k| 302.8 | 61M| 35 | - |1943 |7788 | 0 | 0 | 908 | 12k|4484 | 2.992131e+03 | -- | Inf
538.30/538.45 c 538s| 6400 | 4163 | 1956k| 302.3 | 62M| 35 | 826 |1943 |7669 |1943 |5998 | 908 | 12k|4519 | 2.992339e+03 | -- | Inf
548.40/548.57 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
548.40/548.57 c 549s| 6500 | 4204 | 1997k| 304.0 | 62M| 35 | 518 |1943 |7801 |1943 |5998 | 908 | 12k|4554 | 2.992826e+03 | -- | Inf
558.88/559.08 c 559s| 6600 | 4240 | 2039k| 305.8 | 62M| 35 | 760 |1943 |7904 |1943 |5998 | 908 | 13k|4593 | 2.992826e+03 | -- | Inf
567.19/567.36 c 567s| 6700 | 4271 | 2071k| 306.0 | 62M| 35 |1112 |1943 |8066 |1943 |5998 | 908 | 13k|4638 | 2.992886e+03 | -- | Inf
576.08/576.27 c 576s| 6800 | 4338 | 2106k| 306.6 | 62M| 35 |1015 |1943 |7921 |1943 |5998 | 908 | 13k|4706 | 2.992992e+03 | -- | Inf
583.58/583.71 c 584s| 6900 | 4379 | 2135k| 306.4 | 62M| 35 |1058 |1943 |7861 |1943 |5998 | 908 | 14k|4746 | 2.993159e+03 | -- | Inf
590.29/590.49 c 590s| 7000 | 4420 | 2161k| 305.7 | 63M| 35 | - |1943 |7890 | 0 | 0 | 908 | 14k|4791 | 2.993159e+03 | -- | Inf
602.28/602.44 c 602s| 7100 | 4463 | 2215k| 309.0 | 63M| 35 | 811 |1943 |7877 |1943 |5998 | 908 | 14k|4829 | 2.993214e+03 | -- | Inf
611.98/612.11 c 612s| 7200 | 4495 | 2247k| 309.1 | 63M| 35 | 615 |1943 |7939 |1943 |5998 | 908 | 15k|4917 | 2.993409e+03 | -- | Inf
619.68/619.84 c 620s| 7300 | 4543 | 2278k| 309.2 | 63M| 35 |1121 |1943 |7830 |1943 |5998 | 908 | 15k|4951 | 2.993659e+03 | -- | Inf
626.28/626.41 c 626s| 7400 | 4589 | 2306k| 308.8 | 63M| 35 | 749 |1943 |7900 |1943 |5998 | 908 | 15k|4993 | 2.993742e+03 | -- | Inf
635.59/635.73 c 636s| 7500 | 4666 | 2342k| 309.5 | 63M| 35 | 726 |1943 |7685 |1943 |5998 | 908 | 15k|5052 | 2.993826e+03 | -- | Inf
643.28/643.43 c 643s| 7600 | 4735 | 2372k| 309.4 | 63M| 35 |1087 |1943 |7492 |1943 |5998 | 908 | 16k|5112 | 2.993826e+03 | -- | Inf
652.18/652.31 c 652s| 7700 | 4792 | 2408k| 310.0 | 63M| 35 | - |1943 |7534 | 0 | 0 | 908 | 16k|5188 | 2.993826e+03 | -- | Inf
662.38/662.59 c 663s| 7800 | 4826 | 2448k| 311.2 | 64M| 35 | 414 |1943 |7674 |1943 |5998 | 908 | 16k|5270 | 2.993897e+03 | -- | Inf
670.27/670.49 c 670s| 7900 | 4900 | 2481k| 311.4 | 64M| 35 | 403 |1943 |7553 |1943 |5998 | 908 | 16k|5326 | 2.994159e+03 | -- | Inf
677.77/677.90 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
677.77/677.90 c 678s| 8000 | 4918 | 2511k| 311.2 | 64M| 35 | 637 |1943 |7846 |1943 |5998 | 908 | 17k|5393 | 2.994159e+03 | -- | Inf
685.57/685.80 c 686s| 8100 | 4942 | 2541k| 311.1 | 64M| 35 | 625 |1943 |7954 |1943 |5998 | 908 | 17k|5491 | 2.994214e+03 | -- | Inf
692.97/693.17 c 693s| 8200 | 4973 | 2575k| 311.4 | 64M| 35 | 402 |1943 |8106 |1943 |5998 | 908 | 18k|5510 | 2.994659e+03 | -- | Inf
698.47/698.63 c 699s| 8300 | 4984 | 2603k| 311.0 | 65M| 35 | 393 |1943 |8411 |1943 |5998 | 908 | 18k|5510 | 2.994659e+03 | -- | Inf
704.97/705.19 c 705s| 8400 | 5004 | 2636k| 311.3 | 65M| 35 | 682 |1943 |8467 |1943 |5998 | 908 | 19k|5513 | 2.994659e+03 | -- | Inf
710.96/711.14 c 711s| 8500 | 5030 | 2665k| 311.1 | 65M| 35 | - |1943 |8529 | 0 | 0 | 908 | 19k|5513 | 2.995034e+03 | -- | Inf
717.76/717.95 c 718s| 8600 | 5066 | 2698k| 311.3 | 65M| 35 | - |1943 |8466 | 0 | 0 | 908 | 20k|5513 | 2.995159e+03 | -- | Inf
724.76/724.93 c 725s| 8700 | 5089 | 2732k| 311.6 | 65M| 35 | 433 |1943 |8474 |1943 |5998 | 908 | 20k|5513 | 2.995159e+03 | -- | Inf
731.96/732.14 c 732s| 8800 | 5137 | 2766k| 311.9 | 65M| 35 |1002 |1943 |8078 |1943 |5998 | 908 | 20k|5513 | 2.995159e+03 | -- | Inf
739.86/740.06 c 740s| 8900 | 5174 | 2805k| 312.8 | 65M| 35 | 842 |1943 |7882 |1943 |5998 | 908 | 21k|5513 | 2.995535e+03 | -- | Inf
746.25/746.41 c 746s| 9000 | 5194 | 2831k| 312.2 | 65M| 35 | 410 |1943 |8087 |1943 |5998 | 908 | 21k|5537 | 2.995659e+03 | -- | Inf
754.66/754.88 c 755s| 9100 | 5238 | 2866k| 312.6 | 65M| 35 |1170 |1943 |7958 |1943 |5998 | 908 | 21k|5571 | 2.996159e+03 | -- | Inf
762.66/762.81 c 763s| 9200 | 5287 | 2901k| 313.0 | 65M| 35 | - |1943 |7945 | 0 | 0 | 908 | 22k|5600 | 2.996242e+03 | -- | Inf
771.46/771.66 c 772s| 9300 | 5327 | 2935k| 313.3 | 65M| 35 | - |1943 |7866 | 0 | 0 | 908 | 22k|5638 | 2.996534e+03 | -- | Inf
779.35/779.56 c 780s| 9400 | 5354 | 2967k| 313.4 | 65M| 35 | - |1943 |7967 | 0 | 0 | 908 | 23k|5668 | 2.996659e+03 | -- | Inf
787.55/787.70 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
787.55/787.70 c 788s| 9500 | 5406 | 2997k| 313.3 | 65M| 35 |1028 |1943 |7831 |1943 |5998 | 908 | 23k|5710 | 2.997076e+03 | -- | Inf
792.95/793.11 c 793s| 9600 | 5424 | 3020k| 312.5 | 66M| 35 |1448 |1943 |8088 |1943 |5998 | 908 | 23k|5729 | 2.997492e+03 | -- | Inf
800.74/800.95 c 801s| 9700 | 5456 | 3048k| 312.1 | 65M| 35 |1484 |1943 |7969 |1943 |5998 | 908 | 24k|5773 | 2.997992e+03 | -- | Inf
806.95/807.14 c 807s| 9800 | 5482 | 3075k| 311.6 | 66M| 35 | 692 |1943 |8187 |1943 |5998 | 908 | 24k|5809 | 2.998659e+03 | -- | Inf
813.85/814.03 c 814s| 9900 | 5502 | 3100k| 311.0 | 66M| 35 |1491 |1943 |8157 |1943 |5998 | 908 | 24k|5848 | 2.998992e+03 | -- | Inf
821.55/821.73 c 822s| 10000 | 5517 | 3129k| 310.8 | 66M| 35 | 824 |1943 |8386 |1943 |5998 | 908 | 25k|5891 | 2.999584e+03 | -- | Inf
829.44/829.60 c 830s| 10100 | 5526 | 3160k| 310.8 | 66M| 35 |1403 |1943 |8683 |1943 |5998 | 908 | 25k|5934 | 2.999714e+03 | -- | Inf
838.74/838.93 c 839s| 10200 | 5558 | 3196k| 311.3 | 66M| 35 |1008 |1943 |8742 |1943 |5998 | 908 | 26k|5964 | 2.999714e+03 | -- | Inf
847.24/847.42 c 847s| 10300 | 5607 | 3232k| 311.7 | 66M| 35 | 393 |1943 |8438 |1943 |5998 | 908 | 26k|5990 | 3.000386e+03 | -- | Inf
858.24/858.43 c 858s| 10400 | 5631 | 3276k| 313.0 | 66M| 35 | - |1943 |8280 | 0 | 0 | 908 | 27k|6038 | 3.000631e+03 | -- | Inf
866.14/866.33 c 866s| 10500 | 5683 | 3310k| 313.2 | 66M| 35 |1372 |1943 |7825 |1943 |5998 | 908 | 27k|6080 | 3.000659e+03 | -- | Inf
876.04/876.28 c 876s| 10600 | 5729 | 3350k| 314.0 | 66M| 35 |1087 |1943 |7644 |1943 |5998 | 908 | 27k|6120 | 3.000659e+03 | -- | Inf
883.73/883.91 c 884s| 10700 | 5798 | 3381k| 314.0 | 66M| 35 |1102 |1943 |7374 |1943 |5998 | 908 | 27k|6157 | 3.000714e+03 | -- | Inf
891.74/891.97 c 892s| 10800 | 5826 | 3413k| 314.1 | 66M| 35 | - |1943 |7520 | 0 | 0 | 908 | 28k|6201 | 3.000714e+03 | -- | Inf
901.33/901.55 c 902s| 10900 | 5872 | 3449k| 314.5 | 66M| 35 | 685 |1943 |7625 |1943 |5998 | 908 | 28k|6272 | 3.000714e+03 | -- | Inf
908.93/909.13 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
908.93/909.13 c 909s| 11000 | 5896 | 3481k| 314.5 | 67M| 35 |1148 |1943 |7774 |1943 |5998 | 908 | 28k|6300 | 3.000714e+03 | -- | Inf
915.53/915.73 c 916s| 11100 | 5938 | 3507k| 314.1 | 67M| 35 | 719 |1943 |7876 |1943 |5998 | 908 | 29k|6349 | 3.001302e+03 | -- | Inf
924.53/924.76 c 925s| 11200 | 5964 | 3544k| 314.5 | 67M| 35 | - |1943 |7927 | 0 | 0 | 908 | 29k|6399 | 3.001386e+03 | -- | Inf
932.83/933.05 c 933s| 11300 | 6022 | 3576k| 314.6 | 67M| 35 | - |1943 |7693 | 0 | 0 | 908 | 30k|6468 | 3.001714e+03 | -- | Inf
941.92/942.11 c 942s| 11400 | 6056 | 3614k| 315.2 | 67M| 35 | - |1943 |7705 | 0 | 0 | 908 | 30k|6511 | 3.001714e+03 | -- | Inf
951.33/951.56 c 952s| 11500 | 6091 | 3650k| 315.5 | 67M| 35 | - |1943 |7819 | 0 | 0 | 908 | 30k|6593 | 3.001714e+03 | -- | Inf
960.53/960.74 c 961s| 11600 | 6127 | 3683k| 315.7 | 67M| 35 | 387 |1943 |7841 |1943 |5998 | 908 | 31k|6670 | 3.001714e+03 | -- | Inf
970.42/970.63 c 971s| 11700 | 6152 | 3721k| 316.3 | 67M| 35 |1316 |1943 |7928 |1943 |5998 | 908 | 31k|6736 | 3.001714e+03 | -- | Inf
978.42/978.65 c 979s| 11800 | 6204 | 3753k| 316.3 | 67M| 35 | - |1943 |7910 | 0 | 0 | 908 | 31k|6803 | 3.001992e+03 | -- | Inf
987.53/987.78 c 988s| 11900 | 6226 | 3788k| 316.6 | 68M| 35 | 811 |1943 |8069 |1943 |5998 | 908 | 32k|6843 | 3.002089e+03 | -- | Inf
995.51/995.79 c 996s| 12000 | 6253 | 3824k| 316.9 | 68M| 35 |1097 |1943 |8137 |1943 |5998 | 908 | 32k|6878 | 3.002214e+03 | -- | Inf
1003.62/1003.81 c 1004s| 12100 | 6295 | 3853k| 316.7 | 68M| 35 | - |1943 |8075 |1943 |5998 | 908 | 33k|6958 | 3.002214e+03 | -- | Inf
1011.51/1011.70 c 1012s| 12200 | 6314 | 3886k| 316.8 | 68M| 35 | 719 |1943 |8095 |1943 |5998 | 908 | 33k|7003 | 3.002302e+03 | -- | Inf
1018.52/1018.78 c 1019s| 12300 | 6325 | 3916k| 316.7 | 68M| 35 | - |1943 |8309 | 0 | 0 | 908 | 34k|7057 | 3.002386e+03 | -- | Inf
1024.51/1024.71 c 1025s| 12400 | 6340 | 3945k| 316.5 | 68M| 35 | 816 |1943 |8529 |1943 |5998 | 908 | 34k|7058 | 3.002659e+03 | -- | Inf
1030.91/1031.10 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1030.91/1031.10 c 1031s| 12500 | 6347 | 3976k| 316.4 | 68M| 35 | - |1943 |8864 | 0 | 0 | 908 | 35k|7063 | 3.002714e+03 | -- | Inf
1037.12/1037.37 c 1037s| 12600 | 6367 | 4007k| 316.3 | 68M| 35 | - |1943 |9017 | 0 | 0 | 908 | 35k|7063 | 3.002714e+03 | -- | Inf
1045.51/1045.76 c 1046s| 12700 | 6421 | 4046k| 316.9 | 68M| 35 | - |1943 |8666 | 0 | 0 | 908 | 35k|7066 | 3.002714e+03 | -- | Inf
1052.30/1052.55 c 1053s| 12800 | 6437 | 4079k| 317.0 | 68M| 35 |1104 |1943 |8472 |1943 |5998 | 908 | 36k|7066 | 3.002992e+03 | -- | Inf
1060.00/1060.22 c 1060s| 12900 | 6466 | 4116k| 317.4 | 68M| 35 | 392 |1943 |8245 |1943 |5998 | 908 | 36k|7066 | 3.003131e+03 | -- | Inf
1067.31/1067.59 c 1068s| 13000 | 6486 | 4151k| 317.7 | 68M| 35 |1083 |1943 |8088 |1943 |5998 | 908 | 37k|7066 | 3.003172e+03 | -- | Inf
1071.81/1072.07 c 1072s| 13100 | 6507 | 4175k| 317.1 | 68M| 35 | 422 |1943 |8144 |1943 |5998 | 908 | 37k|7066 | 3.003214e+03 | -- | Inf
1077.50/1077.75 c 1078s| 13200 | 6520 | 4203k| 316.9 | 69M| 36 | - |1943 |8394 | 0 | 0 | 912 | 37k|7066 | 3.003214e+03 | -- | Inf
1084.11/1084.30 c 1084s| 13300 | 6553 | 4234k| 316.7 | 69M| 36 | - |1943 |8302 | 0 | 0 | 912 | 38k|7066 | 3.003302e+03 | -- | Inf
1090.50/1090.79 c 1091s| 13400 | 6572 | 4264k| 316.7 | 69M| 36 | 378 |1943 |8230 |1943 |5998 | 912 | 38k|7066 | 3.003492e+03 | -- | Inf
1095.80/1096.05 c 1096s| 13500 | 6582 | 4291k| 316.3 | 69M| 36 | 744 |1943 |8290 |1943 |5998 | 912 | 39k|7066 | 3.003831e+03 | -- | Inf
1104.30/1104.53 c 1105s| 13600 | 6615 | 4326k| 316.5 | 69M| 36 | 407 |1943 |8157 |1943 |5998 | 912 | 39k|7094 | 3.003992e+03 | -- | Inf
1111.00/1111.20 c 1111s| 13700 | 6624 | 4354k| 316.3 | 69M| 36 | 405 |1943 |8377 |1943 |5998 | 912 | 39k|7115 | 3.004214e+03 | -- | Inf
1118.41/1118.64 c 1119s| 13800 | 6638 | 4382k| 316.0 | 69M| 36 | 429 |1943 |8542 |1943 |5998 | 912 | 40k|7161 | 3.004214e+03 | -- | Inf
1125.80/1126.06 c 1126s| 13900 | 6663 | 4415k| 316.1 | 69M| 36 |1077 |1943 |8521 |1943 |5998 | 912 | 40k|7171 | 3.004214e+03 | -- | Inf
1134.79/1135.05 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1134.79/1135.05 c 1135s| 14000 | 6693 | 4450k| 316.4 | 69M| 36 | - |1943 |8486 |1943 |5998 | 912 | 41k|7223 | 3.004326e+03 | -- | Inf
1141.60/1141.87 c 1142s| 14100 | 6705 | 4480k| 316.2 | 69M| 36 | - |1943 |8524 | 0 | 0 | 912 | 41k|7246 | 3.004326e+03 | -- | Inf
1148.69/1148.91 c 1149s| 14200 | 6719 | 4506k| 315.9 | 69M| 36 | 804 |1943 |8641 |1943 |5998 | 912 | 42k|7299 | 3.004831e+03 | -- | Inf
1155.80/1156.03 c 1156s| 14300 | 6735 | 4536k| 315.8 | 69M| 36 | 693 |1943 |8811 |1943 |5998 | 912 | 42k|7324 | 3.005214e+03 | -- | Inf
1163.50/1163.79 c 1164s| 14400 | 6763 | 4567k| 315.7 | 69M| 36 |1074 |1943 |8649 |1943 |5998 | 912 | 43k|7353 | 3.005214e+03 | -- | Inf
1174.50/1174.77 c 1175s| 14500 | 6790 | 4612k| 316.7 | 69M| 36 | - |1943 |8535 | 0 | 0 | 912 | 43k|7396 | 3.005326e+03 | -- | Inf
1182.09/1182.33 c 1182s| 14600 | 6825 | 4643k| 316.6 | 69M| 36 |1025 |1943 |8231 |1943 |5998 | 912 | 43k|7431 | 3.005409e+03 | -- | Inf
1189.29/1189.58 c 1190s| 14700 | 6850 | 4672k| 316.4 | 70M| 36 | 404 |1943 |8270 |1943 |5998 | 912 | 44k|7466 | 3.005659e+03 | -- | Inf
1197.08/1197.30 c 1197s| 14800 | 6869 | 4701k| 316.2 | 70M| 36 | - |1943 |8302 | 0 | 0 | 912 | 44k|7515 | 3.005659e+03 | -- | Inf
1204.79/1205.01 c 1205s| 14900 | 6893 | 4733k| 316.3 | 70M| 36 | 418 |1943 |8222 |1943 |5998 | 912 | 45k|7533 | 3.005992e+03 | -- | Inf
1212.38/1212.68 c 1213s| 15000 | 6915 | 4766k| 316.3 | 70M| 36 | - |1943 |8352 | 0 | 0 | 912 | 45k|7557 | 3.005992e+03 | -- | Inf
1222.08/1222.34 c 1222s| 15100 | 6945 | 4804k| 316.8 | 70M| 36 | - |1943 |8395 | 0 | 0 | 912 | 46k|7588 | 3.006492e+03 | -- | Inf
1230.79/1231.06 c 1231s| 15200 | 6973 | 4840k| 317.1 | 70M| 36 |1102 |1943 |8304 |1943 |5998 | 912 | 46k|7618 | 3.006592e+03 | -- | Inf
1239.78/1240.00 c 1240s| 15300 | 6994 | 4877k| 317.4 | 70M| 36 | - |1943 |8486 | 0 | 0 | 912 | 47k|7666 | 3.006659e+03 | -- | Inf
1247.48/1247.73 c 1248s| 15400 | 7026 | 4909k| 317.4 | 70M| 36 | 431 |1943 |8460 |1943 |5998 | 912 | 47k|7700 | 3.006659e+03 | -- | Inf
1257.48/1257.72 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1257.48/1257.72 c 1258s| 15500 | 7055 | 4949k| 317.9 | 70M| 36 | 434 |1943 |8525 |1943 |5998 | 913 | 48k|7760 | 3.006659e+03 | -- | Inf
1264.08/1264.38 c 1264s| 15600 | 7073 | 4978k| 317.8 | 70M| 36 | 425 |1943 |8445 |1943 |5998 | 913 | 48k|7782 | 3.006659e+03 | -- | Inf
1271.58/1271.80 c 1272s| 15700 | 7086 | 5006k| 317.5 | 70M| 36 | 724 |1943 |8507 |1943 |5998 | 913 | 48k|7838 | 3.006714e+03 | -- | Inf
1278.98/1279.24 c 1279s| 15800 | 7105 | 5035k| 317.3 | 70M| 36 | - |1943 |8553 | 0 | 0 | 913 | 49k|7875 | 3.006742e+03 | -- | Inf
1286.87/1287.18 c 1287s| 15900 | 7131 | 5068k| 317.4 | 71M| 36 | - |1943 |8793 | 0 | 0 | 913 | 49k|7917 | 3.006992e+03 | -- | Inf
1295.37/1295.60 c 1296s| 16000 | 7148 | 5102k| 317.6 | 71M| 36 | 307 |1943 |8818 |1943 |5998 | 913 | 50k|7953 | 3.007492e+03 | -- | Inf
1302.37/1302.60 c 1303s| 16100 | 7169 | 5129k| 317.3 | 71M| 36 | 834 |1943 |8874 |1943 |5998 | 913 | 50k|8000 | 3.007492e+03 | -- | Inf
1311.07/1311.34 c 1311s| 16200 | 7190 | 5163k| 317.4 | 71M| 36 |1098 |1943 |8671 |1943 |5998 | 914 | 51k|8057 | 3.007492e+03 | -- | Inf
1318.87/1319.17 c 1319s| 16300 | 7216 | 5193k| 317.3 | 71M| 36 | 390 |1943 |8722 |1943 |5998 | 914 | 51k|8116 | 3.007492e+03 | -- | Inf
1326.57/1326.84 c 1327s| 16400 | 7231 | 5226k| 317.4 | 71M| 36 | - |1943 |8763 |1943 |5998 | 914 | 52k|8150 | 3.007492e+03 | -- | Inf
1334.37/1334.65 c 1335s| 16500 | 7241 | 5259k| 317.5 | 71M| 36 | - |1943 |8897 | 0 | 0 | 914 | 52k|8194 | 3.007659e+03 | -- | Inf
1343.66/1343.95 c 1344s| 16600 | 7269 | 5293k| 317.6 | 71M| 36 | 769 |1943 |8866 |1943 |5998 | 914 | 53k|8260 | 3.007714e+03 | -- | Inf
1351.06/1351.39 c 1351s| 16700 | 7282 | 5325k| 317.6 | 71M| 36 | 770 |1943 |8951 |1943 |5998 | 914 | 53k|8284 | 3.007714e+03 | -- | Inf
1358.26/1358.53 c 1359s| 16800 | 7289 | 5355k| 317.5 | 71M| 36 | 807 |1943 |9011 |1943 |5998 | 914 | 54k|8320 | 3.007714e+03 | -- | Inf
1366.56/1366.80 c 1367s| 16900 | 7301 | 5384k| 317.4 | 71M| 36 | - |1943 |8766 | 0 | 0 | 914 | 54k|8461 | 3.007714e+03 | -- | Inf
1375.16/1375.46 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1375.16/1375.46 c 1375s| 17000 | 7323 | 5416k| 317.3 | 71M| 36 | - |1943 |8394 | 0 | 0 | 914 | 54k|8625 | 3.007881e+03 | -- | Inf
1382.37/1382.69 c 1383s| 17100 | 7335 | 5448k| 317.4 | 71M| 36 |1030 |1943 |8206 |1943 |5998 | 914 | 55k|8642 | 3.008492e+03 | -- | Inf
1390.46/1390.73 c 1391s| 17200 | 7346 | 5489k| 317.9 | 71M| 36 | 398 |1943 |8441 |1943 |5998 | 914 | 55k|8642 | 3.008492e+03 | -- | Inf
1396.66/1396.96 c 1397s| 17300 | 7355 | 5520k| 317.9 | 71M| 36 |1082 |1943 |8593 |1943 |5998 | 914 | 56k|8642 | 3.008492e+03 | -- | Inf
1405.66/1405.94 c 1406s| 17400 | 7382 | 5564k| 318.6 | 71M| 36 | 422 |1943 |8414 |1943 |5998 | 914 | 56k|8644 | 3.008492e+03 | -- | Inf
1411.76/1412.01 c 1412s| 17500 | 7402 | 5593k| 318.4 | 71M| 36 | - |1943 |8395 | 0 | 0 | 914 | 57k|8646 | 3.008492e+03 | -- | Inf
1417.86/1418.13 c 1418s| 17600 | 7410 | 5623k| 318.3 | 71M| 36 | 340 |1943 |8609 |1943 |5998 | 914 | 57k|8646 | 3.008492e+03 | -- | Inf
1423.66/1423.92 c 1424s| 17700 | 7422 | 5652k| 318.2 | 72M| 36 | - |1943 |8768 |1943 |5998 | 914 | 58k|8646 | 3.008631e+03 | -- | Inf
1431.16/1431.41 c 1431s| 17800 | 7441 | 5687k| 318.3 | 72M| 36 | 373 |1943 |8716 |1943 |5998 | 914 | 58k|8646 | 3.008659e+03 | -- | Inf
1436.05/1436.33 c 1436s| 17900 | 7449 | 5710k| 317.8 | 72M| 36 | 756 |1943 |8634 |1943 |5998 | 914 | 59k|8646 | 3.008659e+03 | -- | Inf
1442.45/1442.71 c 1443s| 18000 | 7459 | 5741k| 317.8 | 71M| 36 | - |1943 |8481 | 0 | 0 | 914 | 59k|8646 | 3.008714e+03 | -- | Inf
1448.65/1448.99 c 1449s| 18100 | 7474 | 5772k| 317.8 | 71M| 36 | 365 |1943 |8455 |1943 |5998 | 914 | 60k|8646 | 3.008867e+03 | -- | Inf
1453.95/1454.22 c 1454s| 18200 | 7481 | 5798k| 317.4 | 71M| 36 |1103 |1943 |8524 |1943 |5998 | 914 | 60k|8646 | 3.008881e+03 | -- | Inf
1460.35/1460.62 c 1461s| 18300 | 7504 | 5827k| 317.3 | 72M| 36 | 374 |1943 |8407 |1943 |5998 | 914 | 61k|8646 | 3.009214e+03 | -- | Inf
1466.44/1466.76 c 1467s| 18400 | 7514 | 5855k| 317.1 | 72M| 36 | 727 |1943 |8503 |1943 |5998 | 914 | 61k|8647 | 3.009464e+03 | -- | Inf
1472.65/1472.92 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1472.65/1472.92 c 1473s| 18500 | 7524 | 5885k| 317.0 | 72M| 36 |1073 |1943 |8402 |1943 |5998 | 914 | 61k|8647 | 3.009492e+03 | -- | Inf
1479.15/1479.41 c 1479s| 18600 | 7544 | 5916k| 316.9 | 72M| 36 | 723 |1943 |8286 |1943 |5998 | 914 | 62k|8647 | 3.009492e+03 | -- | Inf
1486.74/1487.04 c 1487s| 18700 | 7556 | 5946k| 316.8 | 72M| 36 | 358 |1943 |8414 |1943 |5998 | 914 | 62k|8678 | 3.009492e+03 | -- | Inf
1494.14/1494.41 c 1494s| 18800 | 7589 | 5974k| 316.7 | 72M| 36 | 743 |1943 |8304 |1943 |5998 | 914 | 63k|8693 | 3.009659e+03 | -- | Inf
1500.74/1501.06 c 1501s| 18900 | 7620 | 6004k| 316.6 | 72M| 36 | 383 |1943 |8064 |1943 |5998 | 914 | 63k|8715 | 3.009659e+03 | -- | Inf
1508.74/1509.10 c 1509s| 19000 | 7630 | 6036k| 316.6 | 72M| 36 |1098 |1943 |8240 |1943 |5998 | 914 | 64k|8754 | 3.009659e+03 | -- | Inf
1516.04/1516.30 c 1516s| 19100 | 7651 | 6066k| 316.5 | 72M| 36 | 443 |1943 |8470 |1943 |5998 | 914 | 64k|8777 | 3.009714e+03 | -- | Inf
1523.03/1523.35 c 1523s| 19200 | 7657 | 6095k| 316.4 | 72M| 36 | - |1943 |8666 | 0 | 0 | 914 | 65k|8804 | 3.009714e+03 | -- | Inf
1531.04/1531.39 c 1531s| 19300 | 7682 | 6129k| 316.5 | 72M| 36 |1025 |1943 |8678 |1943 |5998 | 914 | 65k|8829 | 3.009867e+03 | -- | Inf
1540.23/1540.53 c 1541s| 19400 | 7693 | 6164k| 316.7 | 72M| 36 | - |1943 |8794 | 0 | 0 | 914 | 66k|8876 | 3.009881e+03 | -- | Inf
1547.04/1547.34 c 1547s| 19500 | 7701 | 6194k| 316.6 | 72M| 36 |1086 |1943 |9099 |1943 |5998 | 914 | 66k|8897 | 3.009881e+03 | -- | Inf
1554.53/1554.81 c 1555s| 19600 | 7711 | 6225k| 316.5 | 72M| 36 | 823 |1943 |9016 |1943 |5998 | 914 | 67k|8918 | 3.010159e+03 | -- | Inf
1563.33/1563.66 c 1564s| 19700 | 7728 | 6259k| 316.6 | 72M| 36 | 726 |1943 |8854 |1943 |5998 | 914 | 67k|8950 | 3.010159e+03 | -- | Inf
1570.33/1570.69 c 1571s| 19800 | 7731 | 6290k| 316.6 | 72M| 36 | 408 |1943 |9006 |1943 |5998 | 914 | 68k|8969 | 3.010159e+03 | -- | Inf
1579.82/1580.16 c 1580s| 19900 | 7750 | 6330k| 317.0 | 72M| 36 | 749 |1943 |8990 |1943 |5998 | 914 | 68k|9013 | 3.010201e+03 | -- | Inf
1588.93/1589.21 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1588.93/1589.21 c 1589s| 20000 | 7780 | 6369k| 317.4 | 72M| 36 | 727 |1943 |8829 |1943 |5998 | 915 | 69k|9044 | 3.010214e+03 | -- | Inf
1598.22/1598.59 c 1599s| 20100 | 7804 | 6402k| 317.5 | 72M| 36 | 680 |1943 |8586 |1943 |5998 | 917 | 69k|9090 | 3.010492e+03 | -- | Inf
1605.13/1605.49 c 1605s| 20200 | 7817 | 6432k| 317.4 | 73M| 36 |1055 |1943 |8829 |1943 |5998 | 917 | 70k|9102 | 3.010492e+03 | -- | Inf
1613.12/1613.48 c 1613s| 20300 | 7837 | 6462k| 317.3 | 73M| 36 | 804 |1943 |8753 |1943 |5998 | 917 | 70k|9134 | 3.010492e+03 | -- | Inf
1622.03/1622.36 c 1622s| 20400 | 7852 | 6500k| 317.6 | 73M| 36 | 799 |1943 |8877 |1943 |5998 | 917 | 71k|9163 | 3.010647e+03 | -- | Inf
1629.22/1629.56 c 1630s| 20500 | 7874 | 6526k| 317.3 | 73M| 36 | 828 |1943 |8899 |1943 |5998 | 917 | 71k|9202 | 3.010659e+03 | -- | Inf
1637.02/1637.35 c 1637s| 20600 | 7907 | 6558k| 317.4 | 73M| 36 | - |1943 |8751 | 0 | 0 | 917 | 71k|9218 | 3.010659e+03 | -- | Inf
1644.23/1644.51 c 1645s| 20700 | 7923 | 6587k| 317.2 | 73M| 36 | 760 |1943 |8849 |1943 |5998 | 917 | 72k|9245 | 3.010659e+03 | -- | Inf
1651.22/1651.51 c 1652s| 20800 | 7932 | 6618k| 317.2 | 73M| 36 | 815 |1943 |9036 |1943 |5998 | 917 | 72k|9276 | 3.010659e+03 | -- | Inf
1660.21/1660.54 c 1661s| 20900 | 7962 | 6651k| 317.2 | 73M| 36 | - |1943 |8927 | 0 | 0 | 917 | 73k|9334 | 3.010659e+03 | -- | Inf
1667.51/1667.89 c 1668s| 21000 | 7985 | 6683k| 317.3 | 73M| 36 | 836 |1943 |8878 |1943 |5998 | 917 | 73k|9358 | 3.011159e+03 | -- | Inf
1674.82/1675.15 c 1675s| 21100 | 8016 | 6711k| 317.1 | 73M| 36 | 763 |1943 |8512 |1943 |5998 | 917 | 74k|9403 | 3.011159e+03 | -- | Inf
1682.91/1683.26 c 1683s| 21200 | 8029 | 6743k| 317.1 | 73M| 36 |1056 |1943 |8604 |1943 |5998 | 917 | 74k|9451 | 3.011159e+03 | -- | Inf
1690.42/1690.77 c 1691s| 21300 | 8054 | 6772k| 317.0 | 73M| 36 |1057 |1943 |8603 |1943 |5998 | 917 | 75k|9487 | 3.011159e+03 | -- | Inf
1699.81/1700.10 c 1700s| 21400 | 8096 | 6810k| 317.3 | 73M| 36 | 381 |1943 |8378 |1943 |5998 | 917 | 75k|9512 | 3.011159e+03 | -- | Inf
1706.41/1706.75 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1706.41/1706.75 c 1707s| 21500 | 8103 | 6837k| 317.1 | 73M| 36 | - |1943 |8628 | 0 | 0 | 917 | 76k|9542 | 3.011159e+03 | -- | Inf
1714.31/1714.69 c 1715s| 21600 | 8108 | 6868k| 317.0 | 73M| 36 |1104 |1943 |8719 |1943 |5998 | 917 | 76k|9594 | 3.011159e+03 | -- | Inf
1722.41/1722.80 c 1723s| 21700 | 8125 | 6904k| 317.2 | 73M| 36 | 717 |1943 |8810 |1943 |5998 | 917 | 76k|9622 | 3.011159e+03 | -- | Inf
1730.01/1730.38 c 1730s| 21800 | 8136 | 6935k| 317.2 | 74M| 36 |1103 |1943 |9024 |1943 |5998 | 917 | 77k|9666 | 3.011159e+03 | -- | Inf
1738.60/1738.97 c 1739s| 21900 | 8161 | 6967k| 317.2 | 74M| 36 | - |1943 |8736 | 0 | 0 | 918 | 77k|9698 | 3.011214e+03 | -- | Inf
1748.71/1749.10 c 1749s| 22000 | 8187 | 7008k| 317.6 | 73M| 36 | - |1943 |8400 | 0 | 0 | 918 | 78k|9723 | 3.011659e+03 | -- | Inf
1754.80/1755.14 c 1755s| 22100 | 8207 | 7036k| 317.4 | 73M| 36 | 736 |1943 |8356 |1943 |5998 | 918 | 78k|9726 | 3.011659e+03 | -- | Inf
1762.80/1763.14 c 1763s| 22200 | 8222 | 7065k| 317.3 | 74M| 36 | - |1943 |8499 | 0 | 0 | 918 | 79k|9773 | 3.011659e+03 | -- | Inf
1769.89/1770.22 c 1770s| 22300 | 8238 | 7095k| 317.2 | 74M| 36 |1060 |1943 |8595 |1943 |5998 | 918 | 79k|9807 | 3.011659e+03 | -- | Inf
1778.00/1778.33 c 1778s| 22400 | 8249 | 7126k| 317.2 | 74M| 36 | 972 |1943 |8777 |1943 |5998 | 918 | 80k|9855 | 3.011802e+03 | -- | Inf
1784.90/1785.23 c 1785s| 22500 | 8267 | 7158k| 317.2 | 74M| 36 | - |1943 |8790 | 0 | 0 | 918 | 80k|9867 | 3.012076e+03 | -- | Inf
1792.19/1792.54 c 1793s| 22600 | 8286 | 7186k| 317.0 | 74M| 36 | - |1943 |8795 | 0 | 0 | 918 | 81k|9905 | 3.012076e+03 | -- | Inf
1796.70/1797.00 c
1796.70/1797.00 c SCIP Status : solving was interrupted [time limit reached]
1796.70/1797.00 c Solving Time (sec) : 1797.00
1796.70/1797.00 c Solving Nodes : 22657
1796.70/1797.00 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1796.70/1797.00 c Dual Bound : +3.01215914275202e+03
1796.70/1797.00 c Gap : infinite
1796.70/1797.00 s UNKNOWN
1796.70/1797.00 c SCIP Status : solving was interrupted [time limit reached]
1796.70/1797.00 c Total Time : 1797.00
1796.70/1797.00 c solving : 1797.00
1796.70/1797.00 c presolving : 0.61 (included in solving)
1796.70/1797.00 c reading : 0.04 (included in solving)
1796.70/1797.00 c copying : 0.04 (2 #copies) (minimal 0.02, maximal 0.02, average 0.02)
1796.70/1797.00 c Original Problem :
1796.70/1797.00 c Problem name : HOME/instance-3692003-1338031640.opb
1796.70/1797.00 c Variables : 6352 (6352 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.70/1797.00 c Constraints : 13453 initial, 13453 maximal
1796.70/1797.00 c Objective sense : minimize
1796.70/1797.00 c Presolved Problem :
1796.70/1797.00 c Problem name : t_HOME/instance-3692003-1338031640.opb
1796.70/1797.00 c Variables : 1943 (1943 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.70/1797.00 c Constraints : 5752 initial, 9273 maximal
1796.70/1797.00 c Presolvers : ExecTime SetupTime FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1796.70/1797.00 c domcol : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.00 c trivial : 0.01 0.00 49 0 0 0 0 0 0 0 0
1796.70/1797.00 c dualfix : 0.01 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.00 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.00 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.00 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.00 c gateextraction : 0.01 0.00 0 0 0 0 0 3 1 0 0
1796.70/1797.00 c implics : 0.03 0.00 0 3213 0 0 0 0 0 0 0
1796.70/1797.00 c components : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.00 c pseudoobj : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.00 c probing : 0.13 0.00 1 150 0 1 0 0 0 0 0
1796.70/1797.00 c setppc : 0.03 0.00 0 0 0 0 0 277 0 0 0
1796.70/1797.00 c and : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.00 c linear : 0.20 0.00 959 37 0 1008 0 7422 0 201 398
1796.70/1797.00 c logicor : 0.15 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.00 c root node : - - 0 - - 0 - - - - -
1796.70/1797.00 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Conss Children
1796.70/1797.00 c integral : 0 0 0 0 17874 0 4 0 39 243 0 0 35498
1796.70/1797.00 c setppc : 1058 1058 25 515133 0 1 3 1947213 4028 1910229 0 0 0
1796.70/1797.00 c and : 1 1 10805 201869 0 0 0 5407 0 2528 12 0 0
1796.70/1797.00 c linear : 0+ 786 25 407580 0 0 0 2957 8 3513 4 0 0
1796.70/1797.00 c logicor : 4693+ 8159 25 437320 0 1 0 3182347 6823 2380804 0 0 0
1796.70/1797.00 c countsols : 0 0 0 0 0 1 0 0 0 0 0 0 0
1796.70/1797.00 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS Check ResProp
1796.70/1797.00 c integral : 321.65 0.00 0.00 0.00 321.65 0.00 0.00 0.00
1796.70/1797.00 c setppc : 15.66 0.00 0.00 14.82 0.00 0.00 0.00 0.84
1796.70/1797.00 c and : 0.10 0.00 0.01 0.08 0.00 0.00 0.00 0.00
1796.70/1797.00 c linear : 0.94 0.00 0.02 0.91 0.00 0.00 0.00 0.01
1796.70/1797.00 c logicor : 19.40 0.00 0.01 17.82 0.00 0.00 0.00 1.58
1796.70/1797.00 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1796.70/1797.00 c Propagators : #Propagate #ResProp Cutoffs DomReds
1796.70/1797.00 c rootredcost : 0 0 0 0
1796.70/1797.00 c pseudoobj : 530156 0 0 0
1796.70/1797.00 c vbounds : 0 0 0 0
1796.70/1797.00 c redcost : 17909 0 0 0
1796.70/1797.00 c probing : 0 0 0 0
1796.70/1797.00 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp
1796.70/1797.00 c rootredcost : 0.15 0.00 0.00 0.15 0.00
1796.70/1797.00 c pseudoobj : 0.82 0.00 0.00 0.82 0.00
1796.70/1797.00 c vbounds : 0.13 0.00 0.00 0.13 0.00
1796.70/1797.00 c redcost : 0.46 0.00 0.00 0.46 0.00
1796.70/1797.00 c probing : 0.13 0.00 0.13 0.00 0.00
1796.70/1797.00 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1796.70/1797.00 c propagation : 4.52 10859 10178 134261 43.0 553 7.7 -
1796.70/1797.00 c infeasible LP : 0.43 630 630 8085 46.6 64 6.2 0
1796.70/1797.00 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1796.70/1797.00 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1796.70/1797.00 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1796.70/1797.00 c applied globally : - - - 81289 39.2 - - -
1796.70/1797.00 c applied locally : - - - 0 0.0 - - -
1796.70/1797.00 c Separators : ExecTime SetupTime Calls Cutoffs DomReds Cuts Conss
1796.70/1797.00 c cut pool : 0.06 24 - - 921 - (maximal pool size: 6362)
1796.70/1797.00 c closecuts : 0.00 0.00 0 0 0 0 0
1796.70/1797.00 c impliedbounds : 0.01 0.00 25 0 0 397 0
1796.70/1797.00 c intobj : 0.00 0.00 0 0 0 0 0
1796.70/1797.00 c gomory : 0.12 0.00 10 0 0 500 0
1796.70/1797.00 c cgmip : 0.00 0.00 0 0 0 0 0
1796.70/1797.00 c strongcg : 1.16 0.00 20 0 0 10000 0
1796.70/1797.00 c cmir : 0.24 0.00 10 0 0 0 0
1796.70/1797.00 c flowcover : 0.22 0.00 10 0 0 0 0
1796.70/1797.00 c clique : 0.05 0.00 25 0 0 100 0
1796.70/1797.00 c zerohalf : 0.00 0.00 0 0 0 0 0
1796.70/1797.00 c mcf : 0.01 0.00 1 0 0 0 0
1796.70/1797.00 c oddcycle : 0.00 0.00 0 0 0 0 0
1796.70/1797.00 c rapidlearning : 0.73 0.00 1 0 0 0 786
1796.70/1797.00 c Pricers : ExecTime SetupTime Calls Vars
1796.70/1797.00 c problem variables: 0.00 - 0 0
1796.70/1797.00 c Branching Rules : ExecTime SetupTime Calls Cutoffs DomReds Cuts Conss Children
1796.70/1797.00 c relpscost : 321.62 0.00 17874 39 243 0 0 35498
1796.70/1797.00 c pscost : 0.00 0.00 0 0 0 0 0 0
1796.70/1797.00 c inference : 0.00 0.00 1 0 0 0 0 2
1796.70/1797.00 c mostinf : 0.00 0.00 0 0 0 0 0 0
1796.70/1797.00 c leastinf : 0.00 0.00 0 0 0 0 0 0
1796.70/1797.00 c fullstrong : 0.00 0.00 0 0 0 0 0 0
1796.70/1797.00 c allfullstrong : 0.00 0.00 0 0 0 0 0 0
1796.70/1797.00 c random : 0.00 0.00 0 0 0 0 0 0
1796.70/1797.00 c Primal Heuristics : ExecTime SetupTime Calls Found
1796.70/1797.00 c LP solutions : 0.00 - - 0
1796.70/1797.00 c pseudo solutions : 0.00 - - 0
1796.70/1797.00 c oneopt : 0.02 0.00 0 0
1796.70/1797.00 c crossover : 0.01 0.00 0 0
1796.70/1797.00 c intshifting : 0.00 0.00 0 0
1796.70/1797.00 c coefdiving : 85.10 0.00 184 0
1796.70/1797.00 c pscostdiving : 76.21 0.00 190 0
1796.70/1797.00 c fracdiving : 109.03 0.00 340 0
1796.70/1797.00 c smallcard : 0.00 0.00 0 0
1796.70/1797.00 c trivial : 0.01 0.00 2 0
1796.70/1797.00 c shiftandpropagate: 0.02 0.00 1 0
1796.70/1797.00 c simplerounding : 0.01 0.00 0 0
1796.70/1797.00 c zirounding : 0.50 0.00 1000 0
1796.70/1797.00 c rounding : 0.61 0.00 1849 0
1796.70/1797.00 c shifting : 1.43 0.00 806 0
1796.70/1797.00 c twoopt : 0.00 0.00 0 0
1796.70/1797.00 c indoneopt : 0.02 0.00 0 0
1796.70/1797.00 c indtwoopt : 0.00 0.00 0 0
1796.70/1797.00 c fixandinfer : 0.00 0.00 0 0
1796.70/1797.00 c feaspump : 23.45 0.00 18 0
1796.70/1797.00 c clique : 0.00 0.00 0 0
1796.70/1797.00 c indrounding : 0.00 0.00 0 0
1796.70/1797.00 c indcoefdiving : 0.00 0.00 0 0
1796.70/1797.00 c nlpdiving : 0.00 0.00 0 0
1796.70/1797.00 c veclendiving : 74.89 0.00 116 0
1796.70/1797.00 c intdiving : 0.00 0.00 0 0
1796.70/1797.00 c actconsdiving : 0.00 0.00 0 0
1796.70/1797.00 c objpscostdiving : 20.32 0.00 9 0
1796.70/1797.00 c rootsoldiving : 20.72 0.00 13 0
1796.70/1797.00 c linesearchdiving : 77.13 0.00 261 0
1796.70/1797.00 c guideddiving : 0.00 0.00 0 0
1796.70/1797.00 c octane : 0.00 0.00 0 0
1796.70/1797.00 c rens : 0.03 0.00 0 0
1796.70/1797.00 c rins : 0.00 0.00 0 0
1796.70/1797.00 c localbranching : 0.00 0.00 0 0
1796.70/1797.00 c mutation : 0.00 0.00 0 0
1796.70/1797.00 c dins : 0.00 0.00 0 0
1796.70/1797.00 c vbounds : 0.00 0.00 0 0
1796.70/1797.00 c undercover : 0.00 0.00 1 0
1796.70/1797.00 c subnlp : 0.01 0.00 0 0
1796.70/1797.00 c trysol : 0.01 0.00 0 0
1796.70/1797.00 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It
1796.70/1797.00 c primal LP : 0.01 3 0 0.00 0.00 0.01 3
1796.70/1797.00 c dual LP : 914.28 18255 5475993 300.63 5989.39 0.11 40
1796.70/1797.00 c lex dual LP : 0.00 0 0 0.00 -
1796.70/1797.00 c barrier LP : 0.00 0 0 0.00 - 0.00 0
1796.70/1797.00 c diving/probing LP: 424.60 71113 1728868 24.31 4071.73
1796.70/1797.00 c strong branching : 316.90 9941 1656757 166.66 5228.09
1796.70/1797.00 c (at root node) : - 10 1124 112.40 -
1796.70/1797.00 c conflict analysis: 0.00 0 0 0.00 -
1796.70/1797.00 c B&B Tree :
1796.70/1797.00 c number of runs : 1
1796.70/1797.00 c nodes : 22657
1796.70/1797.00 c nodes (total) : 22657
1796.70/1797.00 c nodes left : 8299
1796.70/1797.00 c max depth : 36
1796.70/1797.00 c max depth (total): 36
1796.70/1797.00 c backtracks : 6957 (30.7%)
1796.70/1797.00 c delayed cutoffs : 4545
1796.70/1797.00 c repropagations : 9182 (1851473 domain reductions, 4371 cutoffs)
1796.70/1797.00 c avg switch length: 6.81
1796.70/1797.00 c switching time : 19.69
1796.70/1797.00 c Solution :
1796.70/1797.00 c Solutions found : 0 (0 improvements)
1796.70/1797.00 c Primal Bound : -
1796.70/1797.00 c Dual Bound : +3.01215914275202e+03
1796.70/1797.00 c Gap : infinite
1796.70/1797.00 c Root Dual Bound : +2.92311448229712e+03
1796.70/1797.00 c Root Iterations : 21729
1796.70/1797.07 c Time complete: 1796.77.