0.00/0.00 c SCIP version 2.0.1.5 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.5.0.4]
0.00/0.00 c Copyright (c) 2002-2011 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-3450854-1307086214.opb>
0.04/0.09 c original problem has 6352 variables (6352 bin, 0 int, 0 impl, 0 cont) and 13453 constraints
0.04/0.09 c problem read
0.04/0.09 c presolving settings loaded
0.09/0.12 c presolving:
0.09/0.16 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.18 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.19 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.19 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.19 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.19 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.19 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.20 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.19/0.20 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.19/0.20 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.19/0.20 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.19/0.20 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.19/0.20 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.19/0.20 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.19/0.21 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.19/0.21 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.19/0.21 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.19/0.21 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.19/0.21 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.19/0.21 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.19/0.22 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.22 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.22 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.22 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.22 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.22 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.22 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.23 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.23 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.23 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.23 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.23 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.23 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.23 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.24 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.24 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.24 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.24 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.24 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.25 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.25 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.26 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.26 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.27 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.27 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.27 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.27 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.28 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.28 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.32 c (round 68) 4257 del vars, 7422 del conss, 0 add conss, 1008 chg bounds, 201 chg sides, 398 chg coeffs, 6031 upgd conss, 59396 impls, 0 clqs
0.39/0.40 c (round 69) 4307 del vars, 7422 del conss, 0 add conss, 1008 chg bounds, 201 chg sides, 398 chg coeffs, 6031 upgd conss, 114266 impls, 0 clqs
0.39/0.40 c (round 70) 4308 del vars, 7477 del conss, 0 add conss, 1008 chg bounds, 201 chg sides, 398 chg coeffs, 6031 upgd conss, 114306 impls, 0 clqs
0.39/0.41 c (round 71) 4310 del vars, 7477 del conss, 0 add conss, 1008 chg bounds, 201 chg sides, 398 chg coeffs, 6031 upgd conss, 114320 impls, 0 clqs
0.39/0.42 c (round 72) 4310 del vars, 7479 del conss, 0 add conss, 1008 chg bounds, 201 chg sides, 398 chg coeffs, 6031 upgd conss, 114320 impls, 0 clqs
0.49/0.50 c (round 73) 4360 del vars, 7479 del conss, 0 add conss, 1008 chg bounds, 201 chg sides, 398 chg coeffs, 6031 upgd conss, 117168 impls, 0 clqs
0.49/0.51 c (round 74) 4360 del vars, 7529 del conss, 0 add conss, 1008 chg bounds, 201 chg sides, 398 chg coeffs, 6031 upgd conss, 117168 impls, 0 clqs
0.49/0.56 c (round 75) 4410 del vars, 7529 del conss, 0 add conss, 1008 chg bounds, 201 chg sides, 398 chg coeffs, 6031 upgd conss, 117950 impls, 0 clqs
0.49/0.58 c (round 76) 4410 del vars, 7581 del conss, 0 add conss, 1008 chg bounds, 201 chg sides, 398 chg coeffs, 6031 upgd conss, 117950 impls, 0 clqs
0.59/0.63 c (0.6s) probing: 688/2095 (32.8%) - 1 fixings, 181 aggregations, 4753 implications, 0 bound changes
0.59/0.63 c (0.6s) probing aborted: 100/100 successive totally useless probings
0.59/0.63 c (round 77) 4442 del vars, 7581 del conss, 0 add conss, 1008 chg bounds, 201 chg sides, 398 chg coeffs, 6031 upgd conss, 118352 impls, 0 clqs
0.59/0.64 c (round 78) 4442 del vars, 7613 del conss, 0 add conss, 1008 chg bounds, 201 chg sides, 398 chg coeffs, 6031 upgd conss, 118352 impls, 0 clqs
0.59/0.65 c (0.7s) probing: 698/2095 (33.3%) - 1 fixings, 181 aggregations, 4753 implications, 0 bound changes
0.59/0.65 c (0.7s) probing aborted: 100/100 successive totally useless probings
0.59/0.65 c presolving (79 rounds):
0.59/0.65 c 4442 deleted vars, 7613 deleted constraints, 0 added constraints, 1008 tightened bounds, 0 added holes, 201 changed sides, 398 changed coefficients
0.59/0.65 c 118352 implications, 0 cliques
0.59/0.65 c presolved problem has 1910 variables (1910 bin, 0 int, 0 impl, 0 cont) and 5840 constraints
0.59/0.65 c 965 constraints of type <setppc>
0.59/0.65 c 4875 constraints of type <logicor>
0.59/0.65 c transformed objective value is always integral (scale: 1)
0.59/0.65 c Presolving Time: 0.54
0.59/0.65 c - non default parameters ----------------------------------------------------------------------
0.59/0.65 c # SCIP version 2.0.1.5
0.59/0.65 c
0.59/0.65 c # frequency for displaying node information lines
0.59/0.65 c # [type: int, range: [-1,2147483647], default: 100]
0.59/0.65 c display/freq = 10000
0.59/0.65 c
0.59/0.65 c # maximal time in seconds to run
0.59/0.65 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.59/0.65 c limits/time = 1800
0.59/0.65 c
0.59/0.65 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.59/0.65 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.59/0.65 c limits/memory = 13950
0.59/0.65 c
0.59/0.65 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.59/0.65 c # [type: int, range: [1,2], default: 1]
0.59/0.65 c timing/clocktype = 2
0.59/0.65 c
0.59/0.65 c # belongs reading time to solving time?
0.59/0.65 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.59/0.65 c timing/reading = TRUE
0.59/0.65 c
0.59/0.65 c # should presolving try to simplify inequalities
0.59/0.65 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.59/0.65 c constraints/linear/simplifyinequalities = TRUE
0.59/0.65 c
0.59/0.65 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.59/0.65 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.59/0.65 c constraints/indicator/addCouplingCons = TRUE
0.59/0.65 c
0.59/0.65 c # should presolving try to simplify knapsacks
0.59/0.65 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.59/0.65 c constraints/knapsack/simplifyinequalities = TRUE
0.59/0.65 c
0.59/0.65 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.59/0.65 c # [type: int, range: [-1,2147483647], default: -1]
0.59/0.65 c separating/rapidlearning/freq = 0
0.59/0.65 c
0.59/0.65 c -----------------------------------------------------------------------------------------------
0.59/0.65 c start solving
0.59/0.65 c
0.89/0.92 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.89/0.92 c 0.9s| 1 | 0 | 2106 | - | 22M| 0 |1230 |1910 |5878 |1910 |5838 | 0 | 38 | 0 | 2.821920e+03 | -- | Inf
2.99/3.08 c 3.1s| 1 | 0 | 9677 | - | 25M| 0 |1161 |1910 |6593 |1910 |6119 | 281 | 38 | 0 | 2.857021e+03 | -- | Inf
3.31/3.34 c 3.3s| 1 | 0 | 10040 | - | 26M| 0 |1100 |1910 |6593 |1910 |6156 | 318 | 38 | 0 | 2.864124e+03 | -- | Inf
3.59/3.65 c 3.7s| 1 | 0 | 10765 | - | 27M| 0 |1150 |1910 |6593 |1910 |6190 | 352 | 38 | 0 | 2.870040e+03 | -- | Inf
3.89/3.95 c 3.9s| 1 | 0 | 11312 | - | 28M| 0 |1161 |1910 |6593 |1910 |6228 | 390 | 38 | 0 | 2.874946e+03 | -- | Inf
4.19/4.26 c 4.3s| 1 | 0 | 11802 | - | 30M| 0 |1184 |1910 |6593 |1910 |6267 | 429 | 38 | 0 | 2.878416e+03 | -- | Inf
4.69/4.70 c 4.7s| 1 | 0 | 12719 | - | 31M| 0 |1199 |1910 |6593 |1910 |6304 | 466 | 38 | 0 | 2.882850e+03 | -- | Inf
5.19/5.26 c 5.3s| 1 | 0 | 13434 | - | 32M| 0 |1211 |1910 |6593 |1910 |6360 | 522 | 38 | 0 | 2.890786e+03 | -- | Inf
5.89/5.94 c 5.9s| 1 | 0 | 14365 | - | 32M| 0 |1235 |1910 |6593 |1910 |6410 | 572 | 38 | 0 | 2.900136e+03 | -- | Inf
6.19/6.28 c 6.3s| 1 | 0 | 14866 | - | 34M| 0 |1263 |1910 |6593 |1910 |6463 | 625 | 38 | 0 | 2.905940e+03 | -- | Inf
6.79/6.81 c 6.8s| 1 | 0 | 15888 | - | 35M| 0 |1290 |1910 |6593 |1910 |6514 | 676 | 38 | 0 | 2.913479e+03 | -- | Inf
7.19/7.21 c 7.2s| 1 | 0 | 16830 | - | 37M| 0 |1315 |1910 |6593 |1910 |6561 | 723 | 38 | 0 | 2.919379e+03 | -- | Inf
7.71/7.77 c 7.8s| 1 | 0 | 17782 | - | 39M| 0 |1310 |1910 |6593 |1910 |6618 | 780 | 38 | 0 | 2.927522e+03 | -- | Inf
8.19/8.20 c 8.2s| 1 | 0 | 18899 | - | 41M| 0 |1336 |1910 |6593 |1910 |6435 | 828 | 38 | 0 | 2.931412e+03 | -- | Inf
8.70/8.72 c 8.7s| 1 | 0 | 19840 | - | 43M| 0 |1300 |1910 |6593 |1910 |6481 | 874 | 38 | 0 | 2.935538e+03 | -- | Inf
9.09/9.19 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
9.09/9.19 c 9.2s| 1 | 0 | 20613 | - | 45M| 0 |1338 |1910 |6593 |1910 |6533 | 926 | 38 | 0 | 2.941697e+03 | -- | Inf
9.59/9.66 c 9.7s| 1 | 0 | 21266 | - | 47M| 0 |1341 |1910 |6593 |1910 |6589 | 982 | 38 | 0 | 2.945479e+03 | -- | Inf
10.59/10.60 c 10.6s| 1 | 0 | 23005 | - | 50M| 0 |1356 |1910 |6593 |1910 |6644 |1037 | 38 | 0 | 2.948769e+03 | -- | Inf
11.39/11.42 c 11.4s| 1 | 0 | 24377 | - | 51M| 0 |1346 |1910 |6593 |1910 |6707 |1100 | 38 | 0 | 2.954522e+03 | -- | Inf
12.19/12.21 c 12.2s| 1 | 0 | 25718 | - | 54M| 0 |1366 |1910 |6593 |1910 |6570 |1150 | 38 | 0 | 2.960486e+03 | -- | Inf
12.79/12.86 c 12.9s| 1 | 0 | 26566 | - | 57M| 0 |1354 |1910 |6593 |1910 |6604 |1184 | 38 | 0 | 2.962687e+03 | -- | Inf
13.39/13.40 c 13.4s| 1 | 0 | 27790 | - | 58M| 0 |1461 |1910 |6593 |1910 |6645 |1225 | 38 | 0 | 2.965265e+03 | -- | Inf
14.31/14.36 c 14.4s| 1 | 0 | 30304 | - | 59M| 0 |1486 |1910 |6593 |1910 |6681 |1261 | 38 | 0 | 2.967248e+03 | -- | Inf
15.49/15.55 c 15.5s| 1 | 0 | 32738 | - | 59M| 0 |1538 |1910 |6593 |1910 |6722 |1302 | 38 | 0 | 2.974958e+03 | -- | Inf
16.40/16.50 c 16.5s| 1 | 0 | 34586 | - | 59M| 0 |1482 |1910 |6593 |1910 |6771 |1351 | 38 | 0 | 2.983135e+03 | -- | Inf
16.89/16.93 c 16.9s| 1 | 0 | 35972 | - | 60M| 0 |1493 |1910 |6593 |1910 |6597 |1392 | 38 | 0 | 2.988282e+03 | -- | Inf
17.61/17.65 c 17.7s| 1 | 0 | 38051 | - | 60M| 0 |1531 |1910 |6593 |1910 |6646 |1441 | 38 | 0 | 2.993927e+03 | -- | Inf
17.99/18.07 c 18.1s| 1 | 0 | 38715 | - | 62M| 0 |1433 |1910 |6593 |1910 |6685 |1480 | 38 | 0 | 2.997614e+03 | -- | Inf
18.39/18.48 c 18.5s| 1 | 0 | 39925 | - | 63M| 0 |1457 |1910 |6593 |1910 |6725 |1520 | 38 | 0 | 3.000458e+03 | -- | Inf
18.89/18.96 c 19.0s| 1 | 0 | 41528 | - | 64M| 0 |1420 |1910 |6593 |1910 |6769 |1564 | 38 | 0 | 3.003453e+03 | -- | Inf
19.29/19.34 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
19.29/19.34 c 19.3s| 1 | 0 | 42328 | - | 64M| 0 |1517 |1910 |6593 |1910 |6805 |1600 | 38 | 0 | 3.006806e+03 | -- | Inf
19.81/19.88 c 19.9s| 1 | 0 | 43974 | - | 65M| 0 |1544 |1910 |6593 |1910 |6617 |1647 | 38 | 0 | 3.009716e+03 | -- | Inf
20.39/20.49 c 20.5s| 1 | 0 | 45997 | - | 66M| 0 |1510 |1910 |6593 |1910 |6655 |1685 | 38 | 0 | 3.011040e+03 | -- | Inf
20.99/21.09 c 21.1s| 1 | 0 | 47683 | - | 67M| 0 |1558 |1910 |6593 |1910 |6707 |1737 | 38 | 0 | 3.013423e+03 | -- | Inf
22.01/22.02 c 22.0s| 1 | 0 | 49759 | - | 67M| 0 |1550 |1910 |6593 |1910 |6763 |1793 | 38 | 0 | 3.019315e+03 | -- | Inf
22.89/22.96 c 23.0s| 1 | 0 | 51616 | - | 68M| 0 |1539 |1910 |6593 |1910 |6827 |1857 | 38 | 0 | 3.023236e+03 | -- | Inf
23.39/23.40 c 23.4s| 1 | 0 | 52654 | - | 68M| 0 |1553 |1910 |6593 |1910 |6871 |1901 | 38 | 0 | 3.028317e+03 | -- | Inf
23.69/23.76 c 23.8s| 1 | 0 | 53524 | - | 69M| 0 |1599 |1910 |6593 |1910 |6695 |1932 | 38 | 0 | 3.031348e+03 | -- | Inf
24.10/24.19 c 24.2s| 1 | 0 | 54800 | - | 70M| 0 |1551 |1910 |6593 |1910 |6737 |1974 | 38 | 0 | 3.035406e+03 | -- | Inf
24.59/24.66 c 24.7s| 1 | 0 | 56439 | - | 70M| 0 |1558 |1910 |6593 |1910 |6782 |2019 | 38 | 0 | 3.041841e+03 | -- | Inf
24.99/25.07 c 25.1s| 1 | 0 | 57704 | - | 71M| 0 |1604 |1910 |6593 |1910 |6819 |2056 | 38 | 0 | 3.045096e+03 | -- | Inf
25.60/25.67 c 25.7s| 1 | 0 | 58850 | - | 72M| 0 |1569 |1910 |6593 |1910 |6857 |2094 | 38 | 0 | 3.047832e+03 | -- | Inf
26.09/26.18 c 26.2s| 1 | 0 | 59963 | - | 72M| 0 |1592 |1910 |6593 |1910 |6892 |2129 | 38 | 0 | 3.049815e+03 | -- | Inf
27.40/27.45 c 27.5s| 1 | 0 | 61556 | - | 72M| 0 |1564 |1910 |6593 |1910 |6704 |2160 | 38 | 0 | 3.053135e+03 | -- | Inf
28.10/28.14 c 28.1s| 1 | 0 | 63409 | - | 73M| 0 |1549 |1910 |6593 |1910 |6735 |2191 | 38 | 0 | 3.056364e+03 | -- | Inf
28.80/28.82 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
28.80/28.82 c 28.8s| 1 | 0 | 65602 | - | 73M| 0 |1615 |1910 |6593 |1910 |6766 |2222 | 38 | 0 | 3.058998e+03 | -- | Inf
29.71/29.77 c 29.8s| 1 | 0 | 66729 | - | 74M| 0 |1569 |1910 |6593 |1910 |6804 |2260 | 38 | 0 | 3.061488e+03 | -- | Inf
30.19/30.28 c 30.3s| 1 | 0 | 68015 | - | 74M| 0 |1568 |1910 |6593 |1910 |6843 |2299 | 38 | 0 | 3.064692e+03 | -- | Inf
30.81/30.83 c 30.8s| 1 | 0 | 69374 | - | 75M| 0 |1605 |1910 |6593 |1910 |6873 |2329 | 38 | 0 | 3.066533e+03 | -- | Inf
31.59/31.61 c 31.6s| 1 | 0 | 70461 | - | 75M| 0 |1654 |1910 |6593 |1910 |6674 |2360 | 38 | 0 | 3.068243e+03 | -- | Inf
32.29/32.31 c 32.3s| 1 | 0 | 72456 | - | 76M| 0 |1601 |1910 |6593 |1910 |6714 |2400 | 38 | 0 | 3.071063e+03 | -- | Inf
33.09/33.14 c 33.1s| 1 | 0 | 74068 | - | 76M| 0 |1643 |1910 |6593 |1910 |6748 |2434 | 38 | 0 | 3.073635e+03 | -- | Inf
33.89/33.92 c 33.9s| 1 | 0 | 75661 | - | 76M| 0 |1588 |1910 |6593 |1910 |6776 |2462 | 38 | 0 | 3.075912e+03 | -- | Inf
34.70/34.72 c 34.7s| 1 | 0 | 76445 | - | 77M| 0 |1626 |1910 |6593 |1910 |6802 |2488 | 38 | 0 | 3.076765e+03 | -- | Inf
35.69/35.72 c 35.7s| 1 | 0 | 77375 | - | 77M| 0 |1639 |1910 |6593 |1910 |6822 |2508 | 38 | 0 | 3.077743e+03 | -- | Inf
36.49/36.51 c 36.5s| 1 | 0 | 77731 | - | 77M| 0 |1614 |1910 |6593 |1910 |6665 |2535 | 38 | 0 | 3.078919e+03 | -- | Inf
37.59/37.64 c 37.6s| 1 | 0 | 78850 | - | 77M| 0 |1652 |1910 |6593 |1910 |6685 |2555 | 38 | 0 | 3.080768e+03 | -- | Inf
38.59/38.64 c 38.6s| 1 | 0 | 80199 | - | 77M| 0 |1588 |1910 |6593 |1910 |6719 |2589 | 38 | 0 | 3.081723e+03 | -- | Inf
39.30/39.36 c 39.4s| 1 | 0 | 81480 | - | 78M| 0 |1556 |1910 |6593 |1910 |6746 |2616 | 38 | 0 | 3.083832e+03 | -- | Inf
40.19/40.24 c 40.2s| 1 | 0 | 82927 | - | 78M| 0 |1608 |1910 |6593 |1910 |6787 |2657 | 38 | 0 | 3.085550e+03 | -- | Inf
41.19/41.25 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
41.19/41.25 c 41.3s| 1 | 0 | 83778 | - | 78M| 0 |1630 |1910 |6593 |1910 |6807 |2677 | 38 | 0 | 3.086375e+03 | -- | Inf
42.29/42.36 c 42.4s| 1 | 0 | 84660 | - | 78M| 0 |1649 |1910 |6593 |1910 |6648 |2687 | 38 | 0 | 3.087383e+03 | -- | Inf
43.29/43.38 c 43.4s| 1 | 0 | 85608 | - | 79M| 0 |1614 |1910 |6593 |1910 |6662 |2701 | 38 | 0 | 3.087919e+03 | -- | Inf
44.19/44.29 c 44.3s| 1 | 0 | 85712 | - | 79M| 0 |1622 |1910 |6593 |1910 |6670 |2709 | 38 | 0 | 3.087924e+03 | -- | Inf
45.19/45.25 c 45.2s| 1 | 0 | 86151 | - | 79M| 0 |1614 |1910 |6593 |1910 |6675 |2714 | 38 | 0 | 3.088126e+03 | -- | Inf
46.10/46.18 c 46.2s| 1 | 0 | 86254 | - | 79M| 0 |1638 |1910 |6593 |1910 |6678 |2717 | 38 | 0 | 3.088127e+03 | -- | Inf
47.20/47.25 c 47.3s| 1 | 0 | 86479 | - | 79M| 0 |1624 |1910 |6593 |1910 |6679 |2718 | 38 | 0 | 3.088160e+03 | -- | Inf
48.09/48.14 c 48.1s| 1 | 0 | 87264 | - | 79M| 0 |1619 |1910 |6593 |1910 |6540 |2728 | 38 | 0 | 3.088182e+03 | -- | Inf
49.10/49.13 c 49.1s| 1 | 0 | 87888 | - | 79M| 0 |1626 |1910 |6593 |1910 |6548 |2736 | 38 | 0 | 3.088245e+03 | -- | Inf
49.89/49.97 c 50.0s| 1 | 0 | 88655 | - | 80M| 0 |1634 |1910 |6593 |1910 |6565 |2753 | 38 | 0 | 3.088478e+03 | -- | Inf
51.20/51.22 c 51.2s| 1 | 0 | 89548 | - | 80M| 0 |1640 |1910 |6593 |1910 |6570 |2758 | 38 | 0 | 3.088750e+03 | -- | Inf
52.39/52.45 c 52.4s| 1 | 0 | 90518 | - | 80M| 0 |1619 |1910 |6593 |1910 |6577 |2765 | 38 | 0 | 3.089547e+03 | -- | Inf
53.59/53.69 c 53.7s| 1 | 0 | 91796 | - | 80M| 0 |1593 |1910 |6593 |1910 |6590 |2778 | 38 | 0 | 3.089934e+03 | -- | Inf
54.50/54.58 c 54.6s| 1 | 0 | 91940 | - | 80M| 0 |1621 |1910 |6593 |1910 |6501 |2788 | 38 | 0 | 3.089952e+03 | -- | Inf
55.59/55.61 c 55.6s| 1 | 0 | 92542 | - | 80M| 0 |1630 |1910 |6593 |1910 |6505 |2792 | 38 | 0 | 3.090279e+03 | -- | Inf
56.39/56.49 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
56.39/56.49 c 56.5s| 1 | 0 | 92563 | - | 80M| 0 |1628 |1910 |6593 |1910 |6508 |2795 | 38 | 0 | 3.090279e+03 | -- | Inf
60.51/60.52 c 60.5s| 1 | 2 | 92563 | - | 80M| 0 |1628 |1910 |6593 |1910 |6508 |2795 | 38 | 19 | 3.090279e+03 | -- | Inf
1800.04/1800.01 c
1800.04/1800.01 c SCIP Status : solving was interrupted [time limit reached]
1800.04/1800.01 c Solving Time (sec) : 1800.01
1800.04/1800.01 c Solving Nodes : 7042
1800.04/1800.01 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1800.04/1800.01 c Dual Bound : +3.13087671614407e+03
1800.04/1800.01 c Gap : infinite
1800.04/1800.01 s UNKNOWN
1800.04/1800.01 c SCIP Status : solving was interrupted [time limit reached]
1800.04/1800.01 c Total Time : 1800.01
1800.04/1800.01 c solving : 1800.01
1800.04/1800.01 c presolving : 0.54 (included in solving)
1800.04/1800.01 c reading : 0.09 (included in solving)
1800.04/1800.01 c Original Problem :
1800.04/1800.01 c Problem name : HOME/instance-3450854-1307086214.opb
1800.04/1800.01 c Variables : 6352 (6352 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.04/1800.01 c Constraints : 13453 initial, 13453 maximal
1800.04/1800.01 c Presolved Problem :
1800.04/1800.01 c Problem name : t_HOME/instance-3450854-1307086214.opb
1800.04/1800.01 c Variables : 1910 (1910 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.04/1800.01 c Constraints : 5840 initial, 7321 maximal
1800.04/1800.01 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1800.04/1800.01 c trivial : 0.01 49 0 0 0 0 0 0 0 0
1800.04/1800.01 c dualfix : 0.01 0 0 0 0 0 0 0 0 0
1800.04/1800.01 c boundshift : 0.00 0 0 0 0 0 0 0 0 0
1800.04/1800.01 c inttobinary : 0.00 0 0 0 0 0 0 0 0 0
1800.04/1800.01 c pseudoobj : 0.00 0 0 0 0 0 0 0 0 0
1800.04/1800.01 c implics : 0.02 0 3215 0 0 0 0 0 0 0
1800.04/1800.01 c probing : 0.22 1 181 0 0 0 0 0 0 0
1800.04/1800.01 c setppc : 0.02 0 0 0 0 0 187 0 0 0
1800.04/1800.01 c linear : 0.13 959 37 0 1008 0 7422 0 201 398
1800.04/1800.01 c logicor : 0.09 0 0 0 0 0 4 0 0 0
1800.04/1800.01 c root node : - 0 - - 0 - - - - -
1800.04/1800.01 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS #Check #Resprop Cutoffs DomReds Cuts Conss Children
1800.04/1800.01 c integral : 0 0 0 8027 0 4 0 1 1272 0 0 13986
1800.04/1800.01 c setppc : 965 76 116031 0 2 3 21534 312 15379 0 0 0
1800.04/1800.01 c linear : 0+ 76 112909 0 0 0 33 0 0 28 0 0
1800.04/1800.01 c logicor : 4875+ 76 82712 0 2 0 22484 464 23412 0 0 0
1800.04/1800.01 c countsols : 0 0 0 0 2 0 0 0 0 0 0 0
1800.04/1800.01 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS Check Resprop
1800.04/1800.01 c integral : 388.89 0.00 0.00 388.89 0.00 0.00 0.00
1800.04/1800.01 c setppc : 2.69 0.01 2.68 0.00 0.00 0.00 0.01
1800.04/1800.01 c linear : 0.51 0.03 0.48 0.00 0.00 0.00 0.00
1800.04/1800.01 c logicor : 1.19 0.03 1.15 0.00 0.00 0.00 0.01
1800.04/1800.01 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1800.04/1800.01 c Propagators : #Propagate #Resprop Cutoffs DomReds
1800.04/1800.01 c vbounds : 0 0 0 0
1800.04/1800.01 c rootredcost : 0 0 0 0
1800.04/1800.01 c pseudoobj : 113600 0 0 0
1800.04/1800.01 c Propagator Timings : TotalTime Propagate Resprop
1800.04/1800.01 c vbounds : 0.03 0.03 0.00
1800.04/1800.01 c rootredcost : 0.03 0.03 0.00
1800.04/1800.01 c pseudoobj : 2.58 2.58 0.00
1800.04/1800.01 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.04/1800.01 c propagation : 0.02 775 729 1519 13.6 236 5.1 -
1800.04/1800.01 c infeasible LP : 0.11 305 305 1453 31.7 44 3.9 0
1800.04/1800.01 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.01 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.01 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.04/1800.01 c applied globally : - - - 2434 18.3 - - -
1800.04/1800.01 c applied locally : - - - 0 0.0 - - -
1800.04/1800.01 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.04/1800.01 c cut pool : 0.61 75 - - 3426 - (maximal pool size: 20825)
1800.04/1800.01 c redcost : 0.15 8102 0 0 0 0
1800.04/1800.01 c impliedbounds : 0.03 76 0 0 610 0
1800.04/1800.01 c intobj : 0.00 0 0 0 0 0
1800.04/1800.01 c gomory : 30.63 76 0 0 31118 0
1800.04/1800.01 c cgmip : 0.00 0 0 0 0 0
1800.04/1800.01 c closecuts : 0.00 0 0 0 0 0
1800.04/1800.01 c strongcg : 2.03 20 0 0 10000 0
1800.04/1800.01 c cmir : 0.24 10 0 0 0 0
1800.04/1800.01 c flowcover : 0.22 10 0 0 0 0
1800.04/1800.01 c clique : 0.10 76 0 0 21 0
1800.04/1800.01 c zerohalf : 0.00 0 0 0 0 0
1800.04/1800.01 c mcf : 0.00 1 0 0 0 0
1800.04/1800.01 c oddcycle : 0.00 0 0 0 0 0
1800.04/1800.01 c rapidlearning : 0.67 1 0 0 0 715
1800.04/1800.01 c Pricers : Time Calls Vars
1800.04/1800.01 c problem variables: 0.00 0 0
1800.04/1800.01 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.04/1800.01 c relpscost : 388.88 8027 1 1272 0 0 13986
1800.04/1800.01 c pscost : 0.00 0 0 0 0 0 0
1800.04/1800.01 c inference : 0.00 2 0 0 0 0 4
1800.04/1800.01 c mostinf : 0.00 0 0 0 0 0 0
1800.04/1800.01 c leastinf : 0.00 0 0 0 0 0 0
1800.04/1800.01 c fullstrong : 0.00 0 0 0 0 0 0
1800.04/1800.01 c allfullstrong : 0.00 0 0 0 0 0 0
1800.04/1800.01 c random : 0.00 0 0 0 0 0 0
1800.04/1800.01 c Primal Heuristics : Time Calls Found
1800.04/1800.01 c LP solutions : 0.00 - 0
1800.04/1800.01 c pseudo solutions : 0.00 - 0
1800.04/1800.01 c oneopt : 0.01 0 0
1800.04/1800.01 c crossover : 0.00 0 0
1800.04/1800.01 c intshifting : 0.00 0 0
1800.04/1800.01 c trivial : 0.01 2 0
1800.04/1800.01 c shiftandpropagate: 0.02 1 0
1800.04/1800.01 c simplerounding : 0.00 0 0
1800.04/1800.01 c zirounding : 0.66 1000 0
1800.04/1800.01 c rounding : 0.56 1217 0
1800.04/1800.01 c shifting : 1.27 381 0
1800.04/1800.01 c twoopt : 0.00 0 0
1800.04/1800.01 c fixandinfer : 0.00 0 0
1800.04/1800.01 c feaspump : 26.19 17 0
1800.04/1800.01 c clique : 0.00 0 0
1800.04/1800.01 c coefdiving : 80.43 92 0
1800.04/1800.01 c pscostdiving : 66.56 83 0
1800.04/1800.01 c fracdiving : 84.32 104 0
1800.04/1800.01 c veclendiving : 56.55 58 0
1800.04/1800.01 c intdiving : 0.00 0 0
1800.04/1800.01 c actconsdiving : 0.00 0 0
1800.04/1800.01 c objpscostdiving : 9.12 1 0
1800.04/1800.01 c rootsoldiving : 4.09 1 0
1800.04/1800.01 c linesearchdiving : 79.58 113 0
1800.04/1800.01 c guideddiving : 0.00 0 0
1800.04/1800.01 c octane : 0.00 0 0
1800.04/1800.01 c rens : 0.02 0 0
1800.04/1800.01 c rins : 0.00 0 0
1800.04/1800.01 c localbranching : 0.00 0 0
1800.04/1800.01 c mutation : 0.00 0 0
1800.04/1800.01 c dins : 0.00 0 0
1800.04/1800.01 c vbounds : 0.00 0 0
1800.04/1800.01 c undercover : 0.00 0 0
1800.04/1800.01 c subnlp : 0.00 0 0
1800.04/1800.01 c trysol : 0.00 0 0
1800.04/1800.01 c LP : Time Calls Iterations Iter/call Iter/sec
1800.04/1800.01 c primal LP : 0.05 0 0 0.00 0.00
1800.04/1800.01 c dual LP : 953.28 8104 4887643 603.11 5127.19
1800.04/1800.01 c lex dual LP : 0.00 0 0 0.00 -
1800.04/1800.01 c barrier LP : 0.00 0 0 0.00 -
1800.04/1800.01 c diving/probing LP: 371.27 38632 1542547 39.93 4154.76
1800.04/1800.01 c strong branching : 385.45 7804 1767144 226.44 4584.57
1800.04/1800.01 c (at root node) : - 19 14405 758.16 -
1800.04/1800.01 c conflict analysis: 0.00 0 0 0.00 -
1800.04/1800.01 c B&B Tree :
1800.04/1800.01 c number of runs : 1
1800.04/1800.01 c nodes : 7042
1800.04/1800.01 c nodes (total) : 7042
1800.04/1800.01 c nodes left : 6947
1800.04/1800.01 c max depth : 22
1800.04/1800.01 c max depth (total): 22
1800.04/1800.01 c backtracks : 3154 (44.8%)
1800.04/1800.01 c delayed cutoffs : 2
1800.04/1800.01 c repropagations : 31 (14 domain reductions, 1 cutoffs)
1800.04/1800.01 c avg switch length: 9.63
1800.04/1800.01 c switching time : 2.73
1800.04/1800.01 c Solution :
1800.04/1800.01 c Solutions found : 0 (0 improvements)
1800.04/1800.01 c Primal Bound : -
1800.04/1800.01 c Dual Bound : +3.13087671614407e+03
1800.04/1800.01 c Gap : infinite
1800.04/1800.01 c Root Dual Bound : +3.09027945498092e+03
1800.04/1800.01 c Root Iterations : 92563