0.00/0.00 c SCIP version 2.1.1.4 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.6.0.3] [GitHash: a3bf3a4-dirty]
0.00/0.00 c Copyright (c) 2002-2012 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c user parameter file <scip.set> not found - using default parameters
0.00/0.00 c reading problem <HOME/instance-3693169-1338031437.opb>
0.01/0.04 c original problem has 6352 variables (6352 bin, 0 int, 0 impl, 0 cont) and 13453 constraints
0.01/0.04 c problem read in 0.04
0.01/0.09 c presolving:
0.09/0.17 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.18/0.22 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.18/0.23 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.18/0.24 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.18/0.25 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.18/0.25 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.18/0.26 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.18/0.27 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.18/0.28 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.18/0.28 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.18/0.29 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.29/0.30 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.29/0.30 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.29/0.31 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.29/0.32 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.29/0.33 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.29/0.33 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.29/0.34 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.29/0.35 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.29/0.35 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.29/0.36 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.29/0.37 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.29/0.37 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.29/0.38 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.29/0.39 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.29/0.39 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.38/0.40 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.38/0.41 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.38/0.41 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.38/0.42 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.38/0.43 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.38/0.43 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.38/0.44 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.38/0.45 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.38/0.45 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.38/0.46 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.69/0.75 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.69/0.75 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.69/0.75 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.69/0.75 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.69/0.75 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.69/0.75 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.69/0.75 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.69/0.75 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.69/0.75 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.69/0.75 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.69/0.75 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.69/0.75 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.69/0.75 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.69/0.75 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.69/0.75 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.69/0.75 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.69/0.75 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.69/0.75 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.69/0.75 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.69/0.75 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.69/0.75 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.69/0.75 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.69/0.75 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.69/0.75 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.69/0.75 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.69/0.75 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.69/0.75 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.69/0.75 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.69/0.75 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.69/0.75 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.69/0.75 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.69/0.75 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.69/0.75 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.79/0.82 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.79/0.84 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.79/0.89 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.89/0.90 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.89/0.93 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.89/0.95 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.89/0.98 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.89/0.99 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
1.00/1.03 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
1.00/1.05 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
1.00/1.08 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
1.00/1.10 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
1.09/1.13 c (1.1s) probing: 272/2095 (13.0%) - 1 fixings, 150 aggregations, 9468 implications, 1 bound changes
1.09/1.13 c (1.1s) probing aborted: 50/50 successive totally useless probings
1.09/1.13 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
1.09/1.14 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
1.09/1.16 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
1.09/1.17 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
1.09/1.19 c (1.2s) probing: 277/2095 (13.2%) - 1 fixings, 150 aggregations, 9468 implications, 1 bound changes
1.09/1.19 c (1.2s) probing aborted: 50/50 successive totally useless probings
1.09/1.19 c presolving (86 rounds):
1.09/1.19 c 4409 deleted vars, 7702 deleted constraints, 1 added constraints, 1009 tightened bounds, 0 added holes, 201 changed sides, 398 changed coefficients
1.09/1.19 c 103331 implications, 0 cliques
1.09/1.19 c presolved problem has 1943 variables (1943 bin, 0 int, 0 impl, 0 cont) and 5752 constraints
1.09/1.19 c 1058 constraints of type <setppc>
1.09/1.19 c 1 constraints of type <and>
1.09/1.19 c 4693 constraints of type <logicor>
1.09/1.19 c transformed objective value is always integral (scale: 1)
1.09/1.19 c Presolving Time: 1.13
1.09/1.19 c - non default parameters ----------------------------------------------------------------------
1.09/1.19 c # SCIP version 2.1.1.4
1.09/1.19 c
1.09/1.19 c # maximal time in seconds to run
1.09/1.19 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1.09/1.19 c limits/time = 1797
1.09/1.19 c
1.09/1.19 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1.09/1.19 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1.09/1.19 c limits/memory = 13950
1.09/1.19 c
1.09/1.20 c # default clock type (1: CPU user seconds, 2: wall clock time)
1.09/1.20 c # [type: int, range: [1,2], default: 1]
1.09/1.20 c timing/clocktype = 2
1.09/1.20 c
1.09/1.20 c # belongs reading time to solving time?
1.09/1.20 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.09/1.20 c timing/reading = TRUE
1.09/1.20 c
1.09/1.20 c -----------------------------------------------------------------------------------------------
1.09/1.20 c start solving
1.18/1.20 c
1.29/1.38 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.38 c 1.4s| 1 | 0 | 2231 | - | 22M| 0 |1246 |1943 |5781 |1943 |5753 | 0 | 29 | 0 | 2.821810e+03 | -- | Inf
2.69/2.70 c 2.7s| 1 | 0 | 10192 | - | 23M| 0 |1149 |1943 |5781 |1943 |5964 | 211 | 29 | 0 | 2.851351e+03 | -- | Inf
2.78/2.86 c 2.9s| 1 | 0 | 10486 | - | 24M| 0 |1164 |1943 |5781 |1943 |5997 | 244 | 29 | 0 | 2.854608e+03 | -- | Inf
2.99/3.01 c 3.0s| 1 | 0 | 10737 | - | 24M| 0 |1166 |1943 |5781 |1943 |6023 | 270 | 29 | 0 | 2.857837e+03 | -- | Inf
3.19/3.23 c 3.2s| 1 | 0 | 11183 | - | 25M| 0 |1160 |1943 |5781 |1943 |6051 | 298 | 29 | 0 | 2.860787e+03 | -- | Inf
3.48/3.51 c 3.5s| 1 | 0 | 11903 | - | 25M| 0 |1217 |1943 |5781 |1943 |6086 | 333 | 29 | 0 | 2.864567e+03 | -- | Inf
3.79/3.81 c 3.8s| 1 | 0 | 12595 | - | 26M| 0 |1171 |1943 |5781 |1943 |6128 | 375 | 29 | 0 | 2.869263e+03 | -- | Inf
3.99/4.05 c 4.0s| 1 | 0 | 13033 | - | 27M| 0 |1163 |1943 |5781 |1943 |6149 | 396 | 29 | 0 | 2.871374e+03 | -- | Inf
4.30/4.40 c 4.4s| 1 | 0 | 14084 | - | 28M| 0 |1212 |1943 |5781 |1943 |6187 | 434 | 29 | 0 | 2.875838e+03 | -- | Inf
4.59/4.63 c 4.6s| 1 | 0 | 14537 | - | 29M| 0 |1169 |1943 |5781 |1943 |6231 | 478 | 29 | 0 | 2.882252e+03 | -- | Inf
4.88/4.92 c 4.9s| 1 | 0 | 15178 | - | 29M| 0 |1203 |1943 |5781 |1943 |6270 | 517 | 29 | 0 | 2.889863e+03 | -- | Inf
5.09/5.12 c 5.1s| 1 | 0 | 15685 | - | 30M| 0 |1253 |1943 |5781 |1943 |6311 | 558 | 29 | 0 | 2.895306e+03 | -- | Inf
5.29/5.35 c 5.4s| 1 | 0 | 16428 | - | 31M| 0 |1267 |1943 |5781 |1943 |6367 | 614 | 29 | 0 | 2.900944e+03 | -- | Inf
5.49/5.50 c 5.5s| 1 | 0 | 16738 | - | 32M| 0 |1265 |1943 |5781 |1943 |6409 | 656 | 29 | 0 | 2.905023e+03 | -- | Inf
5.68/5.70 c 5.7s| 1 | 0 | 17228 | - | 33M| 0 |1279 |1943 |5781 |1943 |6455 | 702 | 29 | 0 | 2.908343e+03 | -- | Inf
5.99/6.08 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
5.99/6.08 c 6.1s| 1 | 0 | 18367 | - | 33M| 0 |1299 |1943 |5781 |1943 |6286 | 751 | 29 | 0 | 2.913962e+03 | -- | Inf
6.29/6.33 c 6.3s| 1 | 0 | 19145 | - | 35M| 0 |1284 |1943 |5781 |1943 |6318 | 783 | 29 | 0 | 2.919186e+03 | -- | Inf
6.59/6.66 c 6.7s| 1 | 0 | 20258 | - | 35M| 0 |1343 |1943 |5781 |1943 |6361 | 826 | 29 | 0 | 2.923703e+03 | -- | Inf
6.89/6.98 c 7.0s| 1 | 0 | 21200 | - | 37M| 0 |1354 |1943 |5781 |1943 |6396 | 861 | 29 | 0 | 2.927708e+03 | -- | Inf
7.29/7.34 c 7.3s| 1 | 0 | 21968 | - | 38M| 0 |1363 |1943 |5781 |1943 |6435 | 900 | 29 | 0 | 2.933459e+03 | -- | Inf
7.59/7.70 c 7.7s| 1 | 0 | 23250 | - | 39M| 0 |1318 |1943 |5781 |1943 |6469 | 934 | 29 | 0 | 2.937697e+03 | -- | Inf
7.69/7.76 c 7.8s| 1 | 0 | 23424 | - | 39M| 0 |1357 |1943 |5781 |1943 |6315 | 947 | 29 | 0 | 2.937834e+03 | -- | Inf
7.69/7.79 c 7.8s| 1 | 0 | 23480 | - | 39M| 0 |1373 |1943 |5781 |1943 |6323 | 955 | 29 | 0 | 2.937873e+03 | -- | Inf
7.78/7.82 c 7.8s| 1 | 0 | 23532 | - | 39M| 0 |1380 |1943 |5781 |1943 |6327 | 959 | 29 | 0 | 2.937940e+03 | -- | Inf
7.78/7.83 c 7.8s| 1 | 0 | 23534 | - | 39M| 0 |1380 |1943 |5781 |1943 |6328 | 960 | 29 | 0 | 2.937940e+03 | -- | Inf
9.69/9.76 c 9.8s| 1 | 2 | 23534 | - | 39M| 0 |1380 |1943 |5781 |1943 |6328 | 960 | 29 | 17 | 2.937940e+03 | -- | Inf
47.17/47.29 c 47.3s| 100 | 75 | 75227 | 522.2 | 40M| 34 |1510 |1943 |5986 |1943 |6038 | 962 | 234 | 706 | 2.972236e+03 | -- | Inf
52.76/52.88 c 52.9s| 200 | 92 | 95698 | 362.6 | 40M| 34 | 553 |1943 |6437 |1943 |6037 | 962 | 685 | 726 | 2.972236e+03 | -- | Inf
59.55/59.64 c 59.6s| 300 | 118 |117885 | 315.6 | 41M| 38 | 546 |1943 |6838 |1943 |6037 | 963 |1087 | 755 | 2.972954e+03 | -- | Inf
66.35/66.44 c 66.4s| 400 | 127 |139037 | 289.5 | 41M| 38 | 360 |1943 |7260 |1943 |6037 | 963 |1523 | 790 | 2.973095e+03 | -- | Inf
75.35/75.45 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
75.35/75.45 c 75.5s| 500 | 135 |166224 | 286.0 | 41M| 38 | 639 |1943 |7510 |1943 |6037 | 965 |1891 | 846 | 2.979095e+03 | -- | Inf
83.95/84.05 c 84.0s| 600 | 149 |194566 | 285.5 | 41M| 38 | 393 |1943 |7736 |1943 |6037 | 965 |2285 | 899 | 2.980829e+03 | -- | Inf
94.94/95.05 c 95.1s| 700 | 158 |231491 | 297.5 | 42M| 38 | 497 |1943 |8054 |1943 |6038 | 967 |2763 | 962 | 2.992236e+03 | -- | Inf
102.75/102.86 c 103s| 800 | 178 |256995 | 292.2 | 42M| 38 | - |1943 |8078 | 0 | 0 | 967 |3223 |1012 | 2.993095e+03 | -- | Inf
120.54/120.63 c 121s| 900 | 253 |320245 | 330.0 | 41M| 38 |1432 |1943 |6985 |1943 |6037 | 967 |3393 |1075 | 2.993595e+03 | -- | Inf
134.94/135.01 c 135s| 1000 | 353 |367368 | 344.2 | 41M| 38 |1586 |1943 |6443 |1943 |6037 | 967 |3457 |1171 | 2.993595e+03 | -- | Inf
148.83/148.92 c 149s| 1100 | 453 |416181 | 357.3 | 41M| 38 |1397 |1943 |6294 |1943 |6038 | 967 |3495 |1291 | 2.995454e+03 | -- | Inf
161.13/161.24 c 161s| 1200 | 553 |459919 | 364.0 | 42M| 38 |1454 |1943 |6286 |1943 |6038 | 968 |3514 |1434 | 2.996954e+03 | -- | Inf
180.23/180.31 c 180s| 1300 | 653 |535960 | 394.5 | 42M| 38 |1522 |1943 |6297 |1943 |6038 | 968 |3551 |1630 | 2.999095e+03 | -- | Inf
190.83/190.96 c 191s| 1400 | 753 |574237 | 393.6 | 42M| 38 |1378 |1943 |6267 |1943 |6037 | 968 |3593 |1720 | 3.004095e+03 | -- | Inf
201.23/201.38 c 201s| 1500 | 853 |611108 | 392.0 | 42M| 38 |1528 |1943 |6253 |1943 |6038 | 968 |3639 |1820 | 3.008236e+03 | -- | Inf
212.02/212.10 c 212s| 1600 | 953 |653181 | 393.8 | 42M| 38 |1414 |1943 |6223 |1943 |6038 | 968 |3652 |1911 | 3.008526e+03 | -- | Inf
225.12/225.29 c 225s| 1700 | 1053 |704542 | 400.8 | 43M| 38 |1311 |1943 |6210 |1943 |6037 | 968 |3684 |2011 | 3.008595e+03 | -- | Inf
236.42/236.57 c 237s| 1800 | 1153 |744275 | 400.6 | 43M| 38 |1540 |1943 |6199 |1943 |6037 | 968 |3696 |2114 | 3.009095e+03 | -- | Inf
250.01/250.13 c 250s| 1900 | 1253 |793125 | 405.3 | 43M| 38 |1458 |1943 |6185 |1943 |6037 | 971 |3713 |2213 | 3.009095e+03 | -- | Inf
262.51/262.64 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
262.51/262.64 c 263s| 2000 | 1353 |840438 | 408.7 | 43M| 38 |1548 |1943 |6197 |1943 |6038 | 971 |3752 |2285 | 3.009095e+03 | -- | Inf
273.01/273.14 c 273s| 2100 | 1453 |879507 | 407.8 | 43M| 38 |1398 |1943 |6201 |1943 |6037 | 971 |3773 |2384 | 3.010095e+03 | -- | Inf
284.82/284.99 c 285s| 2200 | 1553 |922030 | 408.6 | 44M| 38 |1397 |1943 |6226 |1943 |6037 | 971 |3807 |2510 | 3.010095e+03 | -- | Inf
296.70/296.90 c 297s| 2300 | 1653 |966287 | 410.1 | 44M| 38 |1399 |1943 |6233 |1943 |6037 | 971 |3836 |2582 | 3.010095e+03 | -- | Inf
308.80/308.93 c 309s| 2400 | 1753 | 1011k| 411.9 | 44M| 38 |1399 |1943 |6264 |1943 |6037 | 971 |3877 |2654 | 3.010095e+03 | -- | Inf
320.40/320.53 c 321s| 2500 | 1853 | 1052k| 411.9 | 44M| 38 |1473 |1943 |6267 |1943 |6037 | 971 |3899 |2735 | 3.010095e+03 | -- | Inf
332.40/332.56 c 333s| 2600 | 1953 | 1097k| 413.1 | 45M| 38 |1420 |1943 |6268 |1943 |6037 | 971 |3917 |2816 | 3.010095e+03 | -- | Inf
341.00/341.17 c 341s| 2700 | 2053 | 1127k| 409.1 | 45M| 38 |1382 |1943 |6267 |1943 |6038 | 971 |3923 |2915 | 3.017220e+03 | -- | Inf
352.90/353.04 c 353s| 2800 | 2153 | 1171k| 410.2 | 45M| 38 |1494 |1943 |6267 |1943 |6038 | 971 |3956 |2987 | 3.017220e+03 | -- | Inf
362.99/363.14 c 363s| 2900 | 2253 | 1207k| 408.3 | 45M| 38 |1531 |1943 |6249 |1943 |6038 | 971 |3964 |3068 | 3.017220e+03 | -- | Inf
374.49/374.68 c 375s| 3000 | 2353 | 1250k| 409.0 | 45M| 38 | 650 |1943 |6267 |1943 |6037 | 971 |4004 |3149 | 3.017220e+03 | -- | Inf
388.79/388.98 c 389s| 3100 | 2357 | 1301k| 412.5 | 46M| 38 | - |1943 |6744 | 0 | 0 | 971 |4537 |3218 | 3.019009e+03 | -- | Inf
398.98/399.17 c 399s| 3200 | 2372 | 1335k| 410.1 | 46M| 38 | - |1943 |7202 | 0 | 0 | 972 |5038 |3310 | 3.019151e+03 | -- | Inf
411.29/411.46 c 411s| 3300 | 2384 | 1378k| 410.7 | 46M| 38 | 395 |1943 |7668 |1943 |6037 | 972 |5552 |3401 | 3.019720e+03 | -- | Inf
419.58/419.70 c 420s| 3400 | 2385 | 1410k| 408.1 | 47M| 38 | 372 |1943 |8176 |1943 |6037 | 972 |6106 |3435 | 3.019796e+03 | -- | Inf
435.39/435.56 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
435.39/435.56 c 436s| 3500 | 2403 | 1470k| 413.5 | 47M| 38 | 733 |1943 |8428 |1943 |6038 | 974 |6565 |3656 | 3.020509e+03 | -- | Inf
443.77/443.90 c 444s| 3600 | 2417 | 1507k| 412.4 | 47M| 38 | - |1943 |8510 | 0 | 0 | 976 |7047 |3676 | 3.021343e+03 | -- | Inf
452.08/452.27 c 452s| 3700 | 2438 | 1545k| 411.5 | 47M| 38 | 636 |1943 |8105 |1943 |6037 | 976 |7423 |3683 | 3.021484e+03 | -- | Inf
457.78/457.94 c 458s| 3800 | 2448 | 1573k| 408.0 | 47M| 38 | 365 |1943 |8212 |1943 |6037 | 977 |7923 |3683 | 3.021484e+03 | -- | Inf
465.98/466.19 c 466s| 3900 | 2455 | 1605k| 405.8 | 47M| 38 | 366 |1943 |8325 |1943 |6037 | 978 |8425 |3729 | 3.024595e+03 | -- | Inf
474.27/474.42 c 474s| 4000 | 2472 | 1640k| 404.3 | 47M| 38 | 382 |1943 |8126 |1943 |6038 | 979 |8797 |3739 | 3.025095e+03 | -- | Inf
480.48/480.62 c 481s| 4100 | 2479 | 1668k| 401.3 | 47M| 38 | - |1943 |8334 | 0 | 0 | 979 |9328 |3739 | 3.025095e+03 | -- | Inf
487.77/487.94 c 488s| 4200 | 2489 | 1700k| 399.3 | 47M| 38 | - |1943 |8631 | 0 | 0 | 979 |9871 |3752 | 3.028651e+03 | -- | Inf
498.97/499.13 c 499s| 4300 | 2502 | 1735k| 398.1 | 47M| 38 | - |1943 |8738 | 0 | 0 | 979 | 10k|3812 | 3.029484e+03 | -- | Inf
509.27/509.48 c 509s| 4400 | 2525 | 1777k| 398.6 | 47M| 38 | 403 |1943 |8173 |1943 |6037 | 980 | 10k|3828 | 3.031009e+03 | -- | Inf
518.97/519.20 c 519s| 4500 | 2529 | 1809k| 396.9 | 47M| 38 | - |1943 |8468 | 0 | 0 | 980 | 11k|3896 | 3.031629e+03 | -- | Inf
527.56/527.77 c 528s| 4600 | 2540 | 1840k| 395.1 | 47M| 38 | 607 |1943 |8466 |1943 |6037 | 980 | 11k|3932 | 3.032009e+03 | -- | Inf
538.56/538.72 c 539s| 4700 | 2553 | 1878k| 394.7 | 47M| 38 | 589 |1943 |8407 |1943 |6037 | 980 | 12k|3994 | 3.032484e+03 | -- | Inf
553.46/553.60 c 554s| 4800 | 2599 | 1931k| 397.6 | 47M| 38 |1327 |1943 |7861 |1943 |6037 | 981 | 12k|4053 | 3.032484e+03 | -- | Inf
566.96/567.19 c 567s| 4900 | 2699 | 1983k| 400.1 | 47M| 38 |1374 |1943 |7616 |1943 |6037 | 981 | 12k|4123 | 3.032484e+03 | -- | Inf
580.56/580.78 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
580.56/580.78 c 581s| 5000 | 2767 | 2034k| 402.3 | 47M| 38 | - |1943 |7538 | 0 | 0 | 982 | 12k|4190 | 3.032509e+03 | -- | Inf
590.95/591.15 c 591s| 5100 | 2782 | 2070k| 401.5 | 47M| 38 | 399 |1943 |7399 |1943 |6037 | 982 | 13k|4258 | 3.032509e+03 | -- | Inf
600.85/601.06 c 601s| 5200 | 2796 | 2105k| 400.4 | 47M| 38 | - |1943 |7627 | 0 | 0 | 982 | 13k|4304 | 3.032651e+03 | -- | Inf
609.94/610.10 c 610s| 5300 | 2810 | 2136k| 398.8 | 48M| 38 | 889 |1943 |7791 |1943 |6037 | 982 | 14k|4343 | 3.032651e+03 | -- | Inf
620.74/620.99 c 621s| 5400 | 2815 | 2173k| 398.3 | 48M| 38 | - |1943 |7933 | 0 | 0 | 982 | 14k|4425 | 3.032846e+03 | -- | Inf
631.34/631.50 c 632s| 5500 | 2833 | 2207k| 397.2 | 48M| 38 | 526 |1943 |8178 |1943 |6038 | 985 | 15k|4489 | 3.033248e+03 | -- | Inf
640.94/641.17 c 641s| 5600 | 2843 | 2243k| 396.5 | 48M| 38 | 384 |1943 |8275 |1943 |6038 | 986 | 15k|4562 | 3.033484e+03 | -- | Inf
651.04/651.26 c 651s| 5700 | 2853 | 2277k| 395.5 | 48M| 38 | 389 |1943 |8386 |1943 |6037 | 986 | 16k|4597 | 3.033484e+03 | -- | Inf
661.03/661.25 c 661s| 5800 | 2860 | 2312k| 394.6 | 48M| 38 | 594 |1943 |8501 |1943 |6037 | 986 | 16k|4649 | 3.034186e+03 | -- | Inf
672.53/672.73 c 673s| 5900 | 2876 | 2350k| 394.5 | 48M| 38 | 926 |1943 |8272 |1943 |6037 | 986 | 17k|4730 | 3.035045e+03 | -- | Inf
683.13/683.34 c 683s| 6000 | 2889 | 2388k| 394.2 | 48M| 38 | 384 |1943 |8416 |1943 |6038 | 988 | 17k|4780 | 3.035545e+03 | -- | Inf
692.53/692.71 c 693s| 6100 | 2902 | 2422k| 393.3 | 48M| 38 | 407 |1943 |8596 |1943 |6038 | 990 | 18k|4830 | 3.035741e+03 | -- | Inf
703.03/703.21 c 703s| 6200 | 2906 | 2459k| 393.0 | 48M| 38 | 384 |1943 |8721 |1943 |6037 | 992 | 18k|4873 | 3.035936e+03 | -- | Inf
711.43/711.61 c 712s| 6300 | 2910 | 2495k| 392.4 | 48M| 38 | 810 |1943 |9026 |1943 |6038 | 995 | 19k|4895 | 3.035936e+03 | -- | Inf
728.12/728.39 c 728s| 6400 | 2926 | 2558k| 396.1 | 49M| 38 | 371 |1943 |9003 |1943 |6038 | 997 | 19k|5060 | 3.036317e+03 | -- | Inf
739.02/739.20 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
739.02/739.20 c 739s| 6500 | 2945 | 2593k| 395.4 | 48M| 38 | - |1943 |8392 | 0 | 0 | 998 | 20k|5274 | 3.036545e+03 | -- | Inf
748.62/748.88 c 749s| 6600 | 2959 | 2630k| 395.0 | 48M| 38 | 907 |1943 |7993 |1943 |6037 | 999 | 20k|5383 | 3.039436e+03 | -- | Inf
756.71/756.95 c 757s| 6700 | 2973 | 2670k| 395.1 | 48M| 38 | - |1943 |7839 | 0 | 0 |1000 | 20k|5396 | 3.040484e+03 | -- | Inf
766.62/766.83 c 767s| 6800 | 2988 | 2715k| 396.0 | 48M| 38 | - |1943 |7702 | 0 | 0 |1000 | 21k|5400 | 3.044020e+03 | -- | Inf
778.11/778.39 c 778s| 6900 | 3087 | 2768k| 397.9 | 48M| 38 |1359 |1943 |7222 |1943 |6037 |1000 | 21k|5419 | 3.044688e+03 | -- | Inf
791.31/791.56 c 792s| 7000 | 3187 | 2828k| 400.8 | 48M| 38 |1363 |1943 |6823 |1943 |6037 |1000 | 21k|5426 | 3.045278e+03 | -- | Inf
803.60/803.85 c 804s| 7100 | 3248 | 2884k| 403.0 | 48M| 38 | - |1943 |6736 | 0 | 0 |1001 | 21k|5429 | 3.045545e+03 | -- | Inf
810.80/811.04 c 811s| 7200 | 3264 | 2918k| 402.2 | 48M| 38 | 890 |1943 |7026 |1943 |6037 |1002 | 22k|5429 | 3.045545e+03 | -- | Inf
817.70/817.98 c 818s| 7300 | 3275 | 2952k| 401.3 | 49M| 38 | 382 |1943 |7441 |1943 |6037 |1002 | 22k|5429 | 3.045821e+03 | -- | Inf
823.10/823.38 c 823s| 7400 | 3271 | 2979k| 399.5 | 49M| 38 | - |1943 |7848 | 0 | 0 |1002 | 23k|5429 | 3.046045e+03 | -- | Inf
834.40/834.61 c 835s| 7500 | 3290 | 3021k| 399.8 | 49M| 38 | 385 |1943 |8091 |1943 |6038 |1003 | 23k|5478 | 3.046186e+03 | -- | Inf
842.80/843.02 c 843s| 7600 | 3296 | 3051k| 398.4 | 49M| 38 | 561 |1943 |8487 |1943 |6038 |1004 | 24k|5508 | 3.046520e+03 | -- | Inf
851.70/851.95 c 852s| 7700 | 3311 | 3085k| 397.7 | 49M| 38 | 713 |1943 |8584 |1943 |6038 |1005 | 24k|5539 | 3.046545e+03 | -- | Inf
859.40/859.63 c 860s| 7800 | 3314 | 3114k| 396.3 | 50M| 38 | 777 |1943 |9051 |1943 |6038 |1006 | 25k|5586 | 3.046545e+03 | -- | Inf
868.60/868.89 c 869s| 7900 | 3318 | 3146k| 395.4 | 50M| 38 | 791 |1943 |9368 |1943 |6037 |1007 | 26k|5648 | 3.046748e+03 | -- | Inf
880.20/880.46 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
880.20/880.46 c 880s| 8000 | 3334 | 3186k| 395.4 | 50M| 38 | 371 |1943 |9080 |1943 |6037 |1007 | 26k|5694 | 3.047045e+03 | -- | Inf
889.79/890.00 c 890s| 8100 | 3348 | 3222k| 395.0 | 50M| 38 | - |1943 |8910 | 0 | 0 |1007 | 27k|5727 | 3.047045e+03 | -- | Inf
900.39/900.61 c 901s| 8200 | 3367 | 3261k| 394.9 | 50M| 38 | - |1943 |8757 | 0 | 0 |1007 | 27k|5801 | 3.047045e+03 | -- | Inf
910.09/910.36 c 910s| 8300 | 3381 | 3296k| 394.4 | 49M| 38 | 569 |1943 |8482 |1943 |6038 |1008 | 28k|5873 | 3.047186e+03 | -- | Inf
919.88/920.19 c 920s| 8400 | 3392 | 3332k| 394.0 | 49M| 38 | 648 |1943 |8273 |1943 |6038 |1008 | 28k|5904 | 3.047186e+03 | -- | Inf
927.99/928.25 c 928s| 8500 | 3411 | 3361k| 392.8 | 49M| 38 | 622 |1943 |8160 |1943 |6038 |1009 | 29k|5973 | 3.047379e+03 | -- | Inf
938.68/938.94 c 939s| 8600 | 3421 | 3394k| 392.0 | 49M| 38 | 367 |1943 |8118 |1943 |6038 |1010 | 29k|6024 | 3.047520e+03 | -- | Inf
947.18/947.40 c 947s| 8700 | 3436 | 3430k| 391.6 | 49M| 38 | - |1943 |7922 | 0 | 0 |1011 | 30k|6050 | 3.047520e+03 | -- | Inf
957.59/957.85 c 958s| 8800 | 3454 | 3466k| 391.3 | 49M| 38 | 381 |1943 |7945 |1943 |6038 |1011 | 30k|6115 | 3.047545e+03 | -- | Inf
966.68/966.95 c 967s| 8900 | 3467 | 3497k| 390.4 | 50M| 38 | 353 |1943 |8186 |1943 |6037 |1011 | 31k|6164 | 3.047748e+03 | -- | Inf
975.98/976.21 c 976s| 9000 | 3475 | 3531k| 389.8 | 50M| 38 | - |1943 |8453 | 0 | 0 |1012 | 31k|6196 | 3.047879e+03 | -- | Inf
988.38/988.60 c 989s| 9100 | 3505 | 3580k| 390.9 | 50M| 38 | 889 |1943 |8329 |1943 |6037 |1015 | 31k|6237 | 3.048020e+03 | -- | Inf
997.58/997.89 c 998s| 9200 | 3523 | 3613k| 390.3 | 50M| 38 | - |1943 |8244 | 0 | 0 |1019 | 32k|6289 | 3.048020e+03 | -- | Inf
1008.39/1008.66 c 1009s| 9300 | 3544 | 3649k| 390.0 | 50M| 38 | 361 |1943 |8104 |1943 |6038 |1022 | 32k|6333 | 3.048045e+03 | -- | Inf
1015.87/1016.18 c 1016s| 9400 | 3546 | 3682k| 389.3 | 50M| 38 | - |1943 |8328 | 0 | 0 |1022 | 33k|6359 | 3.048086e+03 | -- | Inf
1026.18/1026.49 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1026.18/1026.49 c 1026s| 9500 | 3564 | 3715k| 388.7 | 50M| 38 | 373 |1943 |8074 |1943 |6038 |1027 | 33k|6421 | 3.048186e+03 | -- | Inf
1038.87/1039.18 c 1039s| 9600 | 3571 | 3765k| 389.9 | 50M| 38 | 880 |1943 |8228 |1943 |6038 |1028 | 34k|6451 | 3.048379e+03 | -- | Inf
1049.07/1049.39 c 1049s| 9700 | 3584 | 3804k| 389.8 | 50M| 38 | 397 |1943 |8365 |1943 |6038 |1028 | 34k|6480 | 3.048520e+03 | -- | Inf
1057.16/1057.46 c 1057s| 9800 | 3591 | 3835k| 389.0 | 50M| 38 | 557 |1943 |8544 |1943 |6037 |1029 | 35k|6511 | 3.048520e+03 | -- | Inf
1068.77/1069.03 c 1069s| 9900 | 3607 | 3873k| 388.9 | 50M| 38 | 626 |1943 |8349 |1943 |6037 |1030 | 35k|6640 | 3.048520e+03 | -- | Inf
1078.16/1078.42 c 1078s| 10000 | 3622 | 3909k| 388.7 | 50M| 38 | - |1943 |8297 | 0 | 0 |1030 | 36k|6668 | 3.048545e+03 | -- | Inf
1089.16/1089.43 c 1089s| 10100 | 3639 | 3949k| 388.8 | 50M| 38 | 391 |1943 |8199 |1943 |6037 |1030 | 36k|6791 | 3.048586e+03 | -- | Inf
1097.06/1097.34 c 1097s| 10200 | 3645 | 3981k| 388.1 | 50M| 38 | 819 |1943 |8235 |1943 |6037 |1031 | 37k|6896 | 3.048748e+03 | -- | Inf
1106.16/1106.47 c 1106s| 10300 | 3661 | 4019k| 388.0 | 50M| 38 | 492 |1943 |8132 |1943 |6038 |1033 | 37k|7024 | 3.048879e+03 | -- | Inf
1115.16/1115.45 c 1115s| 10400 | 3673 | 4053k| 387.6 | 50M| 38 | - |1943 |8182 | 0 | 0 |1034 | 38k|7047 | 3.049020e+03 | -- | Inf
1127.95/1128.29 c 1128s| 10500 | 3691 | 4119k| 390.1 | 50M| 38 | 373 |1943 |8021 |1943 |6038 |1039 | 38k|7049 | 3.049020e+03 | -- | Inf
1135.75/1136.07 c 1136s| 10600 | 3710 | 4155k| 389.8 | 50M| 38 | - |1943 |7928 | 0 | 0 |1040 | 38k|7054 | 3.049045e+03 | -- | Inf
1144.25/1144.53 c 1145s| 10700 | 3719 | 4193k| 389.8 | 50M| 38 | 610 |1943 |7976 |1943 |6037 |1040 | 39k|7070 | 3.049186e+03 | -- | Inf
1151.65/1151.91 c 1152s| 10800 | 3727 | 4229k| 389.5 | 50M| 38 | 669 |1943 |8189 |1943 |6037 |1040 | 40k|7070 | 3.049186e+03 | -- | Inf
1164.05/1164.30 c 1164s| 10900 | 3772 | 4285k| 391.0 | 50M| 38 | 691 |1943 |8002 |1943 |6037 |1041 | 40k|7076 | 3.049186e+03 | -- | Inf
1170.64/1170.98 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1170.64/1170.98 c 1171s| 11000 | 3768 | 4318k| 390.5 | 50M| 38 | 613 |1943 |8511 |1943 |6037 |1042 | 40k|7076 | 3.049186e+03 | -- | Inf
1177.95/1178.26 c 1178s| 11100 | 3776 | 4354k| 390.2 | 51M| 38 | - |1943 |8835 | 0 | 0 |1043 | 41k|7076 | 3.049186e+03 | -- | Inf
1186.04/1186.35 c 1186s| 11200 | 3791 | 4391k| 390.1 | 51M| 38 | 810 |1943 |8682 |1943 |6037 |1044 | 41k|7076 | 3.049186e+03 | -- | Inf
1194.14/1194.50 c 1194s| 11300 | 3805 | 4430k| 390.1 | 51M| 38 | 388 |1943 |8687 |1943 |6037 |1045 | 42k|7076 | 3.049379e+03 | -- | Inf
1203.34/1203.63 c 1204s| 11400 | 3824 | 4471k| 390.2 | 50M| 38 | - |1943 |8278 | 0 | 0 |1049 | 42k|7078 | 3.049520e+03 | -- | Inf
1213.14/1213.47 c 1213s| 11500 | 3835 | 4510k| 390.2 | 50M| 38 | 625 |1943 |8033 |1943 |6038 |1051 | 43k|7100 | 3.049545e+03 | -- | Inf
1223.34/1223.67 c 1224s| 11600 | 3855 | 4549k| 390.2 | 50M| 38 | 837 |1943 |7623 |1943 |6037 |1055 | 43k|7128 | 3.049748e+03 | -- | Inf
1234.03/1234.34 c 1234s| 11700 | 3873 | 4588k| 390.2 | 50M| 38 | - |1943 |7079 | 0 | 0 |1059 | 43k|7158 | 3.050020e+03 | -- | Inf
1246.53/1246.89 c 1247s| 11800 | 3891 | 4634k| 390.8 | 50M| 38 | - |1943 |7219 | 0 | 0 |1059 | 44k|7210 | 3.050045e+03 | -- | Inf
1257.34/1257.63 c 1258s| 11900 | 3907 | 4674k| 390.9 | 50M| 38 | 375 |1943 |7381 |1943 |6037 |1059 | 44k|7257 | 3.050186e+03 | -- | Inf
1266.84/1267.18 c 1267s| 12000 | 3910 | 4707k| 390.4 | 50M| 38 | - |1943 |7453 | 0 | 0 |1059 | 45k|7313 | 3.050186e+03 | -- | Inf
1276.73/1277.02 c 1277s| 12100 | 3918 | 4745k| 390.3 | 50M| 38 |1263 |1943 |7259 |1943 |6037 |1059 | 45k|7344 | 3.050186e+03 | -- | Inf
1287.83/1288.12 c 1288s| 12200 | 3940 | 4788k| 390.6 | 50M| 38 | 365 |1943 |7437 |1943 |6038 |1060 | 46k|7369 | 3.050248e+03 | -- | Inf
1296.22/1296.55 c 1297s| 12300 | 3947 | 4817k| 389.8 | 51M| 38 | 382 |1943 |7841 |1943 |6038 |1061 | 46k|7398 | 3.050545e+03 | -- | Inf
1306.82/1307.12 c 1307s| 12400 | 3970 | 4860k| 390.1 | 51M| 38 | - |1943 |7932 | 0 | 0 |1061 | 47k|7423 | 3.050545e+03 | -- | Inf
1318.12/1318.43 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1318.12/1318.43 c 1318s| 12500 | 3986 | 4901k| 390.3 | 51M| 38 | 379 |1943 |7783 |1943 |6037 |1062 | 47k|7466 | 3.051045e+03 | -- | Inf
1329.32/1329.67 c 1330s| 12600 | 4000 | 4943k| 390.5 | 50M| 38 | 357 |1943 |7329 |1943 |6037 |1064 | 48k|7539 | 3.051045e+03 | -- | Inf
1341.82/1342.12 c 1342s| 12700 | 4015 | 4989k| 391.0 | 51M| 38 | 393 |1943 |7478 |1943 |6037 |1065 | 48k|7585 | 3.051545e+03 | -- | Inf
1352.12/1352.44 c 1352s| 12800 | 4023 | 5027k| 391.0 | 51M| 38 | 379 |1943 |7849 |1943 |6038 |1069 | 49k|7647 | 3.051545e+03 | -- | Inf
1363.81/1364.11 c 1364s| 12900 | 4036 | 5070k| 391.3 | 51M| 38 | 847 |1943 |7890 |1943 |6037 |1074 | 49k|7725 | 3.051545e+03 | -- | Inf
1375.61/1375.98 c 1376s| 13000 | 4055 | 5113k| 391.6 | 51M| 38 | 374 |1943 |7830 |1943 |6037 |1074 | 50k|7775 | 3.052545e+03 | -- | Inf
1383.92/1384.28 c 1384s| 13100 | 4061 | 5145k| 391.0 | 51M| 38 | 808 |1943 |7475 |1943 |6037 |1075 | 50k|7821 | 3.052545e+03 | -- | Inf
1392.81/1393.16 c 1393s| 13200 | 4070 | 5177k| 390.5 | 51M| 38 | - |1943 |7396 | 0 | 0 |1075 | 51k|7849 | 3.052545e+03 | -- | Inf
1402.51/1402.80 c 1403s| 13300 | 4090 | 5211k| 390.1 | 51M| 38 | 301 |1943 |7317 |1943 |6037 |1075 | 51k|7890 | 3.055186e+03 | -- | Inf
1409.30/1409.65 c 1410s| 13400 | 4095 | 5242k| 389.5 | 51M| 38 | 708 |1943 |7700 |1943 |6037 |1075 | 52k|7894 | 3.055186e+03 | -- | Inf
1419.21/1419.51 c 1420s| 13500 | 4107 | 5279k| 389.3 | 51M| 38 | 394 |1943 |7881 |1943 |6037 |1075 | 52k|7921 | 3.056020e+03 | -- | Inf
1426.61/1426.93 c 1427s| 13600 | 4105 | 5306k| 388.5 | 51M| 38 | - |1943 |8271 | 0 | 0 |1075 | 52k|7947 | 3.056020e+03 | -- | Inf
1437.60/1437.93 c 1438s| 13700 | 4120 | 5347k| 388.7 | 51M| 38 | - |1943 |8247 | 0 | 0 |1077 | 53k|8004 | 3.057020e+03 | -- | Inf
1449.00/1449.30 c 1449s| 13800 | 4144 | 5391k| 389.0 | 51M| 38 | 364 |1943 |7739 |1943 |6038 |1080 | 53k|8041 | 3.057484e+03 | -- | Inf
1460.09/1460.47 c 1460s| 13900 | 4154 | 5434k| 389.3 | 51M| 38 |1269 |1943 |7678 |1943 |6038 |1080 | 54k|8072 | 3.057686e+03 | -- | Inf
1468.21/1468.51 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1468.21/1468.51 c 1469s| 14000 | 4166 | 5466k| 388.8 | 51M| 38 | - |1943 |7945 | 0 | 0 |1081 | 54k|8101 | 3.058020e+03 | -- | Inf
1477.70/1478.00 c 1478s| 14100 | 4178 | 5500k| 388.4 | 51M| 38 | 354 |1943 |8031 |1943 |6038 |1083 | 55k|8151 | 3.058520e+03 | -- | Inf
1491.70/1492.04 c 1492s| 14200 | 4195 | 5555k| 389.6 | 51M| 38 | - |1943 |8135 | 0 | 0 |1084 | 55k|8226 | 3.059172e+03 | -- | Inf
1502.79/1503.17 c 1503s| 14300 | 4212 | 5595k| 389.7 | 51M| 38 | 824 |1943 |7902 |1943 |6037 |1084 | 56k|8314 | 3.059545e+03 | -- | Inf
1511.29/1511.66 c 1512s| 14400 | 4231 | 5627k| 389.2 | 51M| 38 | 896 |1943 |7737 |1943 |6037 |1085 | 56k|8373 | 3.060186e+03 | -- | Inf
1521.49/1521.84 c 1522s| 14500 | 4249 | 5664k| 389.1 | 51M| 38 | - |1943 |7459 | 0 | 0 |1085 | 57k|8445 | 3.060520e+03 | -- | Inf
1532.49/1532.86 c 1533s| 14600 | 4273 | 5700k| 388.9 | 51M| 38 | 721 |1943 |7397 |1943 |6038 |1086 | 57k|8675 | 3.060686e+03 | -- | Inf
1542.68/1543.07 c 1543s| 14700 | 4277 | 5744k| 389.2 | 51M| 38 | 834 |1943 |7664 |1943 |6037 |1088 | 58k|8752 | 3.060702e+03 | -- | Inf
1550.69/1551.05 c 1551s| 14800 | 4287 | 5780k| 389.0 | 51M| 38 | 595 |1943 |7833 |1943 |6037 |1090 | 58k|8778 | 3.061002e+03 | -- | Inf
1557.48/1557.81 c 1558s| 14900 | 4297 | 5811k| 388.5 | 52M| 38 | - |1943 |8037 | 0 | 0 |1092 | 58k|8785 | 3.061186e+03 | -- | Inf
1565.08/1565.40 c 1565s| 15000 | 4313 | 5845k| 388.1 | 52M| 38 | - |1943 |8074 | 0 | 0 |1095 | 59k|8797 | 3.061462e+03 | -- | Inf
1572.08/1572.48 c 1572s| 15100 | 4324 | 5879k| 387.8 | 52M| 38 | 818 |1943 |7966 |1943 |6037 |1095 | 59k|8798 | 3.061520e+03 | -- | Inf
1580.48/1580.81 c 1581s| 15200 | 4341 | 5918k| 387.9 | 52M| 38 | 834 |1943 |7841 |1943 |6038 |1096 | 60k|8798 | 3.061595e+03 | -- | Inf
1587.48/1587.86 c 1588s| 15300 | 4360 | 5953k| 387.6 | 52M| 38 | 540 |1943 |7818 |1943 |6038 |1097 | 60k|8799 | 3.061688e+03 | -- | Inf
1594.27/1594.64 c 1595s| 15400 | 4374 | 5986k| 387.2 | 52M| 38 | - |1943 |7813 | 0 | 0 |1097 | 61k|8800 | 3.061737e+03 | -- | Inf
1601.37/1601.73 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1601.37/1601.73 c 1602s| 15500 | 4389 | 6019k| 386.9 | 52M| 38 | 351 |1943 |7822 |1943 |6038 |1100 | 61k|8800 | 3.062045e+03 | -- | Inf
1609.77/1610.15 c 1610s| 15600 | 4399 | 6057k| 386.8 | 52M| 38 | 857 |1943 |7840 |1943 |6037 |1101 | 62k|8812 | 3.062321e+03 | -- | Inf
1617.38/1617.79 c 1618s| 15700 | 4416 | 6092k| 386.6 | 52M| 38 | - |1943 |7866 | 0 | 0 |1104 | 62k|8815 | 3.062321e+03 | -- | Inf
1625.37/1625.72 c 1626s| 15800 | 4428 | 6129k| 386.5 | 52M| 38 | 907 |1943 |7948 |1943 |6037 |1104 | 63k|8815 | 3.062462e+03 | -- | Inf
1633.07/1633.50 c 1633s| 15900 | 4439 | 6166k| 386.3 | 52M| 38 | - |1943 |8066 | 0 | 0 |1106 | 63k|8815 | 3.062520e+03 | -- | Inf
1640.67/1641.00 c 1641s| 16000 | 4462 | 6202k| 386.2 | 52M| 38 | 462 |1943 |7522 |1943 |6037 |1107 | 63k|8815 | 3.062545e+03 | -- | Inf
1647.87/1648.23 c 1648s| 16100 | 4474 | 6237k| 386.0 | 52M| 38 | 763 |1943 |7317 |1943 |6038 |1109 | 64k|8815 | 3.062545e+03 | -- | Inf
1656.07/1656.47 c 1656s| 16200 | 4493 | 6276k| 386.0 | 52M| 38 | 553 |1943 |7251 |1943 |6038 |1109 | 64k|8815 | 3.062564e+03 | -- | Inf
1663.26/1663.63 c 1664s| 16300 | 4498 | 6305k| 385.4 | 52M| 38 | 543 |1943 |7646 |1943 |6037 |1109 | 65k|8830 | 3.062564e+03 | -- | Inf
1672.16/1672.51 c 1673s| 16400 | 4507 | 6340k| 385.2 | 52M| 38 | 860 |1943 |7734 |1943 |6037 |1109 | 65k|8848 | 3.062564e+03 | -- | Inf
1683.36/1683.74 c 1684s| 16500 | 4523 | 6376k| 385.1 | 52M| 38 | 464 |1943 |7803 |1943 |6037 |1109 | 66k|8900 | 3.062595e+03 | -- | Inf
1691.37/1691.71 c 1692s| 16600 | 4540 | 6412k| 384.9 | 52M| 38 | 459 |1943 |7922 |1943 |6038 |1110 | 66k|8900 | 3.062686e+03 | -- | Inf
1701.36/1701.72 c 1702s| 16700 | 4548 | 6448k| 384.8 | 52M| 38 | - |1943 |8113 | 0 | 0 |1114 | 67k|8939 | 3.062688e+03 | -- | Inf
1712.06/1712.47 c 1712s| 16800 | 4566 | 6489k| 384.9 | 52M| 38 | 785 |1943 |7982 |1943 |6037 |1118 | 67k|8962 | 3.063045e+03 | -- | Inf
1726.25/1726.69 c 1727s| 16900 | 4624 | 6545k| 386.0 | 52M| 38 |1379 |1943 |7141 |1943 |6038 |1118 | 67k|8995 | 3.063045e+03 | -- | Inf
1735.85/1736.27 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1735.85/1736.27 c 1736s| 17000 | 4646 | 6583k| 385.9 | 52M| 38 | 389 |1943 |7279 |1943 |6037 |1118 | 68k|9028 | 3.063045e+03 | -- | Inf
1744.26/1744.62 c 1745s| 17100 | 4652 | 6614k| 385.5 | 52M| 38 | - |1943 |7576 | 0 | 0 |1119 | 68k|9065 | 3.063045e+03 | -- | Inf
1755.15/1755.51 c 1756s| 17200 | 4668 | 6654k| 385.6 | 52M| 38 | - |1943 |7692 | 0 | 0 |1120 | 69k|9124 | 3.063045e+03 | -- | Inf
1763.25/1763.66 c 1764s| 17300 | 4692 | 6688k| 385.3 | 52M| 38 | 377 |1943 |7815 |1943 |6038 |1121 | 69k|9139 | 3.063186e+03 | -- | Inf
1773.64/1774.06 c 1774s| 17400 | 4705 | 6723k| 385.1 | 52M| 38 | 858 |1943 |7938 |1943 |6037 |1121 | 70k|9187 | 3.063186e+03 | -- | Inf
1782.45/1782.81 c 1783s| 17500 | 4712 | 6755k| 384.7 | 53M| 38 | 392 |1943 |8342 |1943 |6037 |1121 | 70k|9224 | 3.063186e+03 | -- | Inf
1794.24/1794.64 c 1795s| 17600 | 4736 | 6804k| 385.3 | 53M| 38 | 679 |1943 |8254 |1943 |6038 |1123 | 71k|9247 | 3.063186e+03 | -- | Inf
1796.64/1797.01 c
1796.64/1797.01 c SCIP Status : solving was interrupted [time limit reached]
1796.64/1797.01 c Solving Time (sec) : 1797.02
1796.64/1797.01 c Solving Nodes : 17617
1796.64/1797.01 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1796.64/1797.01 c Dual Bound : +3.06318634638066e+03
1796.64/1797.01 c Gap : infinite
1796.64/1797.01 s UNKNOWN
1796.64/1797.01 c SCIP Status : solving was interrupted [time limit reached]
1796.64/1797.01 c Total Time : 1797.02
1796.64/1797.01 c solving : 1797.02
1796.64/1797.01 c presolving : 1.13 (included in solving)
1796.64/1797.01 c reading : 0.04 (included in solving)
1796.64/1797.01 c copying : 0.01 (1 #copies) (minimal 0.01, maximal 0.01, average 0.01)
1796.64/1797.01 c Original Problem :
1796.64/1797.01 c Problem name : HOME/instance-3693169-1338031437.opb
1796.64/1797.01 c Variables : 6352 (6352 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.64/1797.01 c Constraints : 13453 initial, 13453 maximal
1796.64/1797.01 c Objective sense : minimize
1796.64/1797.01 c Presolved Problem :
1796.64/1797.01 c Problem name : t_HOME/instance-3693169-1338031437.opb
1796.64/1797.01 c Variables : 1943 (1943 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.64/1797.01 c Constraints : 5752 initial, 9454 maximal
1796.64/1797.01 c Presolvers : ExecTime SetupTime FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1796.64/1797.01 c domcol : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.64/1797.01 c trivial : 0.01 0.00 49 0 0 0 0 0 0 0 0
1796.64/1797.01 c dualfix : 0.01 0.00 0 0 0 0 0 0 0 0 0
1796.64/1797.01 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.64/1797.01 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.64/1797.01 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.64/1797.01 c gateextraction : 0.01 0.00 0 0 0 0 0 3 1 0 0
1796.64/1797.01 c implics : 0.03 0.00 0 3213 0 0 0 0 0 0 0
1796.64/1797.01 c components : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.64/1797.01 c pseudoobj : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.64/1797.01 c probing : 0.17 0.00 1 150 0 1 0 0 0 0 0
1796.64/1797.01 c setppc : 0.05 0.00 0 0 0 0 0 277 0 0 0
1796.64/1797.01 c and : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.64/1797.01 c linear : 0.54 0.00 959 37 0 1008 0 7422 0 201 398
1796.64/1797.01 c logicor : 0.25 0.00 0 0 0 0 0 0 0 0 0
1796.64/1797.01 c root node : - - 0 - - 0 - - - - -
1796.64/1797.01 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Conss Children
1796.64/1797.01 c integral : 0 0 0 0 13412 0 4 0 2 195 0 0 26630
1796.64/1797.01 c setppc : 1058 1058 25 392766 0 0 3 1867797 3368 1427196 0 0 0
1796.64/1797.01 c and : 1 1 10691 188824 0 0 0 6478 1 5595 164 0 0
1796.64/1797.01 c logicor : 4693+ 8395 25 327145 0 0 0 3171079 6357 1579055 0 0 0
1796.64/1797.01 c countsols : 0 0 0 0 0 0 0 0 0 0 0 0 0
1796.64/1797.01 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS Check ResProp
1796.64/1797.01 c integral : 358.45 0.00 0.00 0.00 358.45 0.00 0.00 0.00
1796.64/1797.01 c setppc : 12.84 0.00 0.00 10.90 0.00 0.00 0.00 1.94
1796.64/1797.01 c and : 0.22 0.00 0.02 0.19 0.00 0.00 0.00 0.01
1796.64/1797.01 c logicor : 17.74 0.00 0.01 14.25 0.00 0.00 0.00 3.48
1796.64/1797.01 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1796.64/1797.01 c Propagators : #Propagate #ResProp Cutoffs DomReds
1796.64/1797.01 c rootredcost : 0 0 0 0
1796.64/1797.01 c pseudoobj : 403327 0 0 0
1796.64/1797.01 c vbounds : 0 0 0 0
1796.64/1797.01 c redcost : 13599 0 0 0
1796.64/1797.01 c probing : 0 0 0 0
1796.64/1797.01 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp
1796.64/1797.01 c rootredcost : 0.35 0.00 0.00 0.35 0.00
1796.64/1797.01 c pseudoobj : 0.89 0.00 0.00 0.88 0.00
1796.64/1797.01 c vbounds : 0.33 0.00 0.00 0.33 0.00
1796.64/1797.01 c redcost : 0.52 0.00 0.00 0.52 0.00
1796.64/1797.01 c probing : 0.17 0.00 0.17 0.00 0.00
1796.64/1797.01 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1796.64/1797.01 c propagation : 10.64 9726 9195 146571 45.2 469 6.1 -
1796.64/1797.01 c infeasible LP : 0.15 200 200 1629 47.2 31 4.7 0
1796.64/1797.01 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1796.64/1797.01 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1796.64/1797.01 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1796.64/1797.01 c applied globally : - - - 71173 39.1 - - -
1796.64/1797.01 c applied locally : - - - 0 0.0 - - -
1796.64/1797.01 c Separators : ExecTime SetupTime Calls Cutoffs DomReds Cuts Conss
1796.64/1797.01 c cut pool : 0.04 24 - - 682 - (maximal pool size: 6198)
1796.64/1797.01 c closecuts : 0.00 0.00 0 0 0 0 0
1796.64/1797.01 c impliedbounds : 0.01 0.00 25 0 0 405 0
1796.64/1797.01 c intobj : 0.00 0.00 0 0 0 0 0
1796.64/1797.01 c gomory : 0.08 0.00 10 0 0 500 0
1796.64/1797.01 c cgmip : 0.00 0.00 0 0 0 0 0
1796.64/1797.01 c strongcg : 1.30 0.00 20 0 0 10000 0
1796.64/1797.01 c cmir : 0.25 0.00 10 0 0 0 0
1796.64/1797.01 c flowcover : 0.23 0.00 10 0 0 0 0
1796.64/1797.01 c clique : 0.06 0.00 25 0 0 111 0
1796.64/1797.01 c zerohalf : 0.00 0.00 0 0 0 0 0
1796.64/1797.01 c mcf : 0.01 0.00 1 0 0 0 0
1796.64/1797.01 c oddcycle : 0.00 0.00 0 0 0 0 0
1796.64/1797.01 c rapidlearning : 0.00 0.00 0 0 0 0 0
1796.64/1797.01 c Pricers : ExecTime SetupTime Calls Vars
1796.64/1797.01 c problem variables: 0.00 - 0 0
1796.64/1797.01 c Branching Rules : ExecTime SetupTime Calls Cutoffs DomReds Cuts Conss Children
1796.64/1797.01 c relpscost : 358.41 0.00 13412 2 195 0 0 26630
1796.64/1797.01 c pscost : 0.00 0.00 0 0 0 0 0 0
1796.64/1797.01 c inference : 0.00 0.00 0 0 0 0 0 0
1796.64/1797.01 c mostinf : 0.00 0.00 0 0 0 0 0 0
1796.64/1797.01 c leastinf : 0.00 0.00 0 0 0 0 0 0
1796.64/1797.01 c fullstrong : 0.00 0.00 0 0 0 0 0 0
1796.64/1797.01 c allfullstrong : 0.00 0.00 0 0 0 0 0 0
1796.64/1797.01 c random : 0.00 0.00 0 0 0 0 0 0
1796.64/1797.01 c Primal Heuristics : ExecTime SetupTime Calls Found
1796.64/1797.01 c LP solutions : 0.00 - - 0
1796.64/1797.01 c pseudo solutions : 0.00 - - 0
1796.64/1797.01 c oneopt : 0.03 0.00 0 0
1796.64/1797.01 c crossover : 0.02 0.00 0 0
1796.64/1797.01 c pscostdiving : 76.90 0.00 130 0
1796.64/1797.01 c coefdiving : 74.20 0.00 130 0
1796.64/1797.01 c linesearchdiving : 65.25 0.00 152 0
1796.64/1797.01 c fracdiving : 79.36 0.00 153 0
1796.64/1797.01 c smallcard : 0.00 0.00 0 0
1796.64/1797.01 c trivial : 0.01 0.00 2 0
1796.64/1797.01 c shiftandpropagate: 0.02 0.00 1 0
1796.64/1797.01 c simplerounding : 0.01 0.00 0 0
1796.64/1797.01 c zirounding : 0.46 0.00 1000 0
1796.64/1797.01 c rounding : 0.56 0.00 1608 0
1796.64/1797.01 c shifting : 1.08 0.00 649 0
1796.64/1797.01 c intshifting : 0.00 0.00 0 0
1796.64/1797.01 c twoopt : 0.00 0.00 0 0
1796.64/1797.01 c indtwoopt : 0.00 0.00 0 0
1796.64/1797.01 c indoneopt : 0.04 0.00 0 0
1796.64/1797.01 c fixandinfer : 0.00 0.00 0 0
1796.64/1797.01 c feaspump : 5.82 0.00 3 0
1796.64/1797.01 c clique : 0.00 0.00 0 0
1796.64/1797.01 c indcoefdiving : 0.00 0.00 0 0
1796.64/1797.01 c indrounding : 0.00 0.00 0 0
1796.64/1797.01 c nlpdiving : 0.00 0.00 0 0
1796.64/1797.01 c veclendiving : 71.72 0.00 80 0
1796.64/1797.01 c intdiving : 0.00 0.00 0 0
1796.64/1797.01 c actconsdiving : 0.00 0.00 0 0
1796.64/1797.01 c objpscostdiving : 24.86 0.00 6 0
1796.64/1797.01 c rootsoldiving : 28.74 0.00 10 0
1796.64/1797.01 c guideddiving : 0.00 0.00 0 0
1796.64/1797.01 c octane : 0.00 0.00 0 0
1796.64/1797.01 c rens : 0.02 0.00 0 0
1796.64/1797.01 c rins : 0.00 0.00 0 0
1796.64/1797.01 c localbranching : 0.00 0.00 0 0
1796.64/1797.01 c mutation : 0.00 0.00 0 0
1796.64/1797.01 c dins : 0.00 0.00 0 0
1796.64/1797.01 c vbounds : 0.00 0.00 0 0
1796.64/1797.01 c undercover : 0.00 0.00 1 0
1796.64/1797.01 c subnlp : 0.02 0.00 0 0
1796.64/1797.01 c trysol : 0.03 0.00 0 0
1796.64/1797.01 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It
1796.64/1797.01 c primal LP : 0.01 3 0 0.00 0.00 0.01 3
1796.64/1797.01 c dual LP : 958.00 13665 5160896 378.20 5387.16 0.06 19
1796.64/1797.01 c lex dual LP : 0.00 0 0 0.00 -
1796.64/1797.01 c barrier LP : 0.00 0 0 0.00 - 0.00 0
1796.64/1797.02 c diving/probing LP: 380.44 50217 1652064 32.90 4342.54
1796.64/1797.02 c strong branching : 354.55 9257 1716077 185.38 4840.21
1796.64/1797.02 c (at root node) : - 17 7477 439.82 -
1796.64/1797.02 c conflict analysis: 0.00 0 0 0.00 -
1796.64/1797.02 c B&B Tree :
1796.64/1797.02 c number of runs : 1
1796.64/1797.02 c nodes : 17617
1796.64/1797.02 c nodes (total) : 17617
1796.64/1797.02 c nodes left : 4735
1796.64/1797.02 c max depth : 38
1796.64/1797.02 c max depth (total): 38
1796.64/1797.02 c backtracks : 5417 (30.7%)
1796.64/1797.02 c delayed cutoffs : 4279
1796.64/1797.02 c repropagations : 9310 (1408901 domain reductions, 4233 cutoffs)
1796.64/1797.02 c avg switch length: 4.59
1796.64/1797.02 c switching time : 8.18
1796.64/1797.02 c Solution :
1796.64/1797.02 c Solutions found : 0 (0 improvements)
1796.64/1797.02 c Primal Bound : -
1796.64/1797.02 c Dual Bound : +3.06318634638066e+03
1796.64/1797.02 c Gap : infinite
1796.64/1797.02 c Root Dual Bound : +2.93793986178441e+03
1796.64/1797.02 c Root Iterations : 23534
1796.64/1797.06 c Time complete: 1796.71.