0.00/0.00 c SCIP version 1.2.1.3 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.4.2]
0.00/0.00 c Copyright (c) 2002-2010 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-2703446-1278555241.opb>
0.19/0.23 c original problem has 6352 variables (6352 bin, 0 int, 0 impl, 0 cont) and 13453 constraints
0.19/0.23 c problem read
0.19/0.23 c presolving settings loaded
0.29/0.33 c presolving:
0.39/0.41 c (round 1) 2985 del vars, 484 del conss, 317 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 38900 impls, 0 clqs
0.39/0.47 c (round 2) 3252 del vars, 4511 del conss, 341 chg bounds, 1 chg sides, 2 chg coeffs, 0 upgd conss, 51428 impls, 0 clqs
0.39/0.48 c (round 3) 3283 del vars, 4948 del conss, 356 chg bounds, 3 chg sides, 6 chg coeffs, 0 upgd conss, 51677 impls, 0 clqs
0.39/0.49 c (round 4) 3318 del vars, 5025 del conss, 370 chg bounds, 6 chg sides, 12 chg coeffs, 0 upgd conss, 52116 impls, 0 clqs
0.50/0.50 c (round 5) 3350 del vars, 5108 del conss, 383 chg bounds, 9 chg sides, 18 chg coeffs, 0 upgd conss, 52497 impls, 0 clqs
0.50/0.51 c (round 6) 3378 del vars, 5181 del conss, 394 chg bounds, 12 chg sides, 24 chg coeffs, 0 upgd conss, 52814 impls, 0 clqs
0.50/0.51 c (round 7) 3402 del vars, 5244 del conss, 403 chg bounds, 15 chg sides, 30 chg coeffs, 0 upgd conss, 53079 impls, 0 clqs
0.50/0.52 c (round 8) 3422 del vars, 5297 del conss, 410 chg bounds, 18 chg sides, 36 chg coeffs, 0 upgd conss, 53366 impls, 0 clqs
0.50/0.52 c (round 9) 3438 del vars, 5341 del conss, 416 chg bounds, 21 chg sides, 42 chg coeffs, 0 upgd conss, 53567 impls, 0 clqs
0.50/0.53 c (round 10) 3454 del vars, 5381 del conss, 422 chg bounds, 24 chg sides, 48 chg coeffs, 0 upgd conss, 53726 impls, 0 clqs
0.50/0.54 c (round 11) 3470 del vars, 5421 del conss, 428 chg bounds, 27 chg sides, 54 chg coeffs, 0 upgd conss, 53885 impls, 0 clqs
0.50/0.54 c (round 12) 3486 del vars, 5461 del conss, 434 chg bounds, 30 chg sides, 60 chg coeffs, 0 upgd conss, 54058 impls, 0 clqs
0.50/0.55 c (round 13) 3502 del vars, 5501 del conss, 440 chg bounds, 33 chg sides, 66 chg coeffs, 0 upgd conss, 54297 impls, 0 clqs
0.50/0.55 c (round 14) 3518 del vars, 5541 del conss, 446 chg bounds, 36 chg sides, 72 chg coeffs, 0 upgd conss, 54494 impls, 0 clqs
0.50/0.56 c (round 15) 3534 del vars, 5581 del conss, 452 chg bounds, 39 chg sides, 78 chg coeffs, 0 upgd conss, 54751 impls, 0 clqs
0.50/0.56 c (round 16) 3551 del vars, 5622 del conss, 459 chg bounds, 42 chg sides, 84 chg coeffs, 0 upgd conss, 54958 impls, 0 clqs
0.50/0.57 c (round 17) 3567 del vars, 5662 del conss, 465 chg bounds, 45 chg sides, 90 chg coeffs, 0 upgd conss, 55161 impls, 0 clqs
0.50/0.58 c (round 18) 3583 del vars, 5702 del conss, 471 chg bounds, 48 chg sides, 96 chg coeffs, 0 upgd conss, 55442 impls, 0 clqs
0.50/0.58 c (round 19) 3599 del vars, 5742 del conss, 477 chg bounds, 51 chg sides, 102 chg coeffs, 0 upgd conss, 55637 impls, 0 clqs
0.50/0.59 c (round 20) 3615 del vars, 5782 del conss, 483 chg bounds, 54 chg sides, 108 chg coeffs, 0 upgd conss, 55836 impls, 0 clqs
0.50/0.59 c (round 21) 3631 del vars, 5822 del conss, 489 chg bounds, 57 chg sides, 114 chg coeffs, 0 upgd conss, 55989 impls, 0 clqs
0.60/0.60 c (round 22) 3645 del vars, 5856 del conss, 493 chg bounds, 58 chg sides, 116 chg coeffs, 0 upgd conss, 56165 impls, 0 clqs
0.60/0.60 c (round 23) 3653 del vars, 5894 del conss, 500 chg bounds, 61 chg sides, 122 chg coeffs, 0 upgd conss, 56193 impls, 0 clqs
0.60/0.61 c (round 24) 3666 del vars, 5913 del conss, 505 chg bounds, 63 chg sides, 126 chg coeffs, 0 upgd conss, 56336 impls, 0 clqs
0.60/0.62 c (round 25) 3681 del vars, 5956 del conss, 514 chg bounds, 65 chg sides, 130 chg coeffs, 0 upgd conss, 56438 impls, 0 clqs
0.60/0.62 c (round 26) 3697 del vars, 5997 del conss, 524 chg bounds, 67 chg sides, 134 chg coeffs, 0 upgd conss, 56590 impls, 0 clqs
0.60/0.63 c (round 27) 3711 del vars, 6034 del conss, 533 chg bounds, 69 chg sides, 138 chg coeffs, 0 upgd conss, 56744 impls, 0 clqs
0.60/0.63 c (round 28) 3729 del vars, 6076 del conss, 544 chg bounds, 71 chg sides, 142 chg coeffs, 0 upgd conss, 56882 impls, 0 clqs
0.60/0.64 c (round 29) 3744 del vars, 6116 del conss, 553 chg bounds, 74 chg sides, 148 chg coeffs, 0 upgd conss, 57028 impls, 0 clqs
0.60/0.64 c (round 30) 3753 del vars, 6153 del conss, 562 chg bounds, 77 chg sides, 154 chg coeffs, 0 upgd conss, 57062 impls, 0 clqs
0.60/0.65 c (round 31) 3768 del vars, 6178 del conss, 571 chg bounds, 81 chg sides, 162 chg coeffs, 0 upgd conss, 57214 impls, 0 clqs
0.60/0.65 c (round 32) 3781 del vars, 6213 del conss, 579 chg bounds, 83 chg sides, 166 chg coeffs, 0 upgd conss, 57335 impls, 0 clqs
0.60/0.66 c (round 33) 3797 del vars, 6254 del conss, 590 chg bounds, 86 chg sides, 172 chg coeffs, 0 upgd conss, 57438 impls, 0 clqs
0.60/0.66 c (round 34) 3809 del vars, 6288 del conss, 603 chg bounds, 90 chg sides, 180 chg coeffs, 0 upgd conss, 57481 impls, 0 clqs
0.60/0.67 c (round 35) 3826 del vars, 6327 del conss, 615 chg bounds, 93 chg sides, 186 chg coeffs, 0 upgd conss, 57533 impls, 0 clqs
0.60/0.67 c (round 36) 3839 del vars, 6363 del conss, 628 chg bounds, 98 chg sides, 196 chg coeffs, 0 upgd conss, 57612 impls, 0 clqs
0.60/0.68 c (round 37) 3855 del vars, 6401 del conss, 639 chg bounds, 102 chg sides, 204 chg coeffs, 0 upgd conss, 57678 impls, 0 clqs
0.60/0.69 c (round 38) 3865 del vars, 6439 del conss, 650 chg bounds, 104 chg sides, 208 chg coeffs, 0 upgd conss, 57700 impls, 0 clqs
0.60/0.69 c (round 39) 3881 del vars, 6476 del conss, 666 chg bounds, 109 chg sides, 218 chg coeffs, 0 upgd conss, 57727 impls, 0 clqs
0.69/0.70 c (round 40) 3897 del vars, 6514 del conss, 681 chg bounds, 111 chg sides, 222 chg coeffs, 0 upgd conss, 57787 impls, 0 clqs
0.69/0.70 c (round 41) 3919 del vars, 6552 del conss, 698 chg bounds, 114 chg sides, 228 chg coeffs, 0 upgd conss, 57861 impls, 0 clqs
0.69/0.71 c (round 42) 3931 del vars, 6594 del conss, 710 chg bounds, 115 chg sides, 230 chg coeffs, 0 upgd conss, 57916 impls, 0 clqs
0.69/0.71 c (round 43) 3947 del vars, 6630 del conss, 725 chg bounds, 120 chg sides, 240 chg coeffs, 0 upgd conss, 57974 impls, 0 clqs
0.69/0.72 c (round 44) 3963 del vars, 6668 del conss, 737 chg bounds, 122 chg sides, 244 chg coeffs, 0 upgd conss, 58069 impls, 0 clqs
0.69/0.72 c (round 45) 3974 del vars, 6702 del conss, 750 chg bounds, 125 chg sides, 250 chg coeffs, 0 upgd conss, 58123 impls, 0 clqs
0.69/0.73 c (round 46) 3993 del vars, 6743 del conss, 769 chg bounds, 132 chg sides, 264 chg coeffs, 0 upgd conss, 58155 impls, 0 clqs
0.69/0.73 c (round 47) 4007 del vars, 6783 del conss, 781 chg bounds, 135 chg sides, 270 chg coeffs, 0 upgd conss, 58217 impls, 0 clqs
0.69/0.74 c (round 48) 4021 del vars, 6825 del conss, 798 chg bounds, 140 chg sides, 280 chg coeffs, 0 upgd conss, 58233 impls, 0 clqs
0.69/0.74 c (round 49) 4037 del vars, 6867 del 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, 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, 845 chg bounds, 155 chg sides, 310 chg coeffs, 0 upgd conss, 58405 impls, 0 clqs
0.69/0.76 c (round 52) 4087 del vars, 6978 del conss, 859 chg bounds, 160 chg sides, 320 chg coeffs, 0 upgd conss, 58477 impls, 0 clqs
0.69/0.76 c (round 53) 4103 del vars, 7018 del conss, 874 chg bounds, 166 chg sides, 332 chg coeffs, 0 upgd conss, 58526 impls, 0 clqs
0.69/0.77 c (round 54) 4119 del vars, 7063 del conss, 886 chg bounds, 168 chg sides, 336 chg coeffs, 0 upgd conss, 58694 impls, 0 clqs
0.69/0.77 c (round 55) 4133 del vars, 7105 del conss, 902 chg bounds, 173 chg sides, 346 chg coeffs, 0 upgd conss, 58727 impls, 0 clqs
0.69/0.78 c (round 56) 4150 del vars, 7148 del conss, 918 chg bounds, 181 chg sides, 362 chg coeffs, 0 upgd conss, 58801 impls, 0 clqs
0.69/0.78 c (round 57) 4166 del vars, 7181 del conss, 930 chg bounds, 182 chg sides, 364 chg coeffs, 0 upgd conss, 58880 impls, 0 clqs
0.69/0.79 c (round 58) 4183 del vars, 7225 del conss, 947 chg bounds, 187 chg sides, 374 chg coeffs, 0 upgd conss, 58980 impls, 0 clqs
0.69/0.79 c (round 59) 4198 del vars, 7261 del conss, 957 chg bounds, 189 chg sides, 378 chg coeffs, 0 upgd conss, 59057 impls, 0 clqs
0.79/0.80 c (round 60) 4208 del vars, 7287 del conss, 966 chg bounds, 191 chg sides, 382 chg coeffs, 0 upgd conss, 59125 impls, 0 clqs
0.79/0.80 c (round 61) 4220 del vars, 7322 del conss, 978 chg bounds, 194 chg sides, 390 chg coeffs, 0 upgd conss, 59177 impls, 0 clqs
0.79/0.81 c (round 62) 4228 del vars, 7340 del conss, 982 chg bounds, 194 chg sides, 390 chg coeffs, 0 upgd conss, 59229 impls, 0 clqs
0.79/0.81 c (round 63) 4239 del vars, 7365 del conss, 993 chg bounds, 196 chg sides, 394 chg coeffs, 0 upgd conss, 59253 impls, 0 clqs
0.79/0.82 c (round 64) 4245 del vars, 7383 del conss, 999 chg bounds, 197 chg sides, 396 chg coeffs, 0 upgd conss, 59274 impls, 0 clqs
0.79/0.82 c (round 65) 4252 del vars, 7395 del conss, 1003 chg bounds, 197 chg sides, 396 chg coeffs, 0 upgd conss, 59336 impls, 0 clqs
0.79/0.82 c (round 66) 4256 del vars, 7414 del conss, 1007 chg bounds, 198 chg sides, 398 chg coeffs, 0 upgd conss, 59340 impls, 0 clqs
0.79/0.83 c (round 67) 4257 del vars, 7419 del conss, 1008 chg bounds, 198 chg sides, 398 chg coeffs, 0 upgd conss, 59396 impls, 0 clqs
0.89/0.93 c (round 68) 4257 del vars, 7422 del conss, 1008 chg bounds, 201 chg sides, 398 chg coeffs, 6031 upgd conss, 59396 impls, 0 clqs
1.10/1.15 c (round 69) 4307 del vars, 7422 del conss, 1008 chg bounds, 201 chg sides, 398 chg coeffs, 6031 upgd conss, 114266 impls, 0 clqs
1.10/1.16 c (round 70) 4308 del vars, 7477 del conss, 1008 chg bounds, 201 chg sides, 398 chg coeffs, 6031 upgd conss, 114306 impls, 0 clqs
1.10/1.18 c (round 71) 4310 del vars, 7477 del conss, 1008 chg bounds, 201 chg sides, 398 chg coeffs, 6031 upgd conss, 114320 impls, 0 clqs
1.19/1.20 c (round 72) 4310 del vars, 7479 del conss, 1008 chg bounds, 201 chg sides, 398 chg coeffs, 6031 upgd conss, 114320 impls, 0 clqs
1.39/1.41 c (round 73) 4360 del vars, 7479 del conss, 1008 chg bounds, 201 chg sides, 398 chg coeffs, 6031 upgd conss, 117168 impls, 0 clqs
1.39/1.42 c (round 74) 4360 del vars, 7529 del conss, 1008 chg bounds, 201 chg sides, 398 chg coeffs, 6031 upgd conss, 117168 impls, 0 clqs
1.49/1.56 c (round 75) 4410 del vars, 7529 del conss, 1008 chg bounds, 201 chg sides, 398 chg coeffs, 6031 upgd conss, 117950 impls, 0 clqs
1.49/1.59 c (round 76) 4410 del vars, 7581 del conss, 1008 chg bounds, 201 chg sides, 398 chg coeffs, 6031 upgd conss, 117950 impls, 0 clqs
1.59/1.69 c (1.5s) probing: 688/2095 (32.8%) - 1 fixings, 181 aggregations, 4753 implications, 0 bound changes
1.59/1.69 c (1.5s) probing aborted: 100/100 successive totally useless probings
1.59/1.69 c (round 77) 4442 del vars, 7581 del conss, 1008 chg bounds, 201 chg sides, 398 chg coeffs, 6031 upgd conss, 118352 impls, 0 clqs
1.69/1.70 c (round 78) 4442 del vars, 7613 del conss, 1008 chg bounds, 201 chg sides, 398 chg coeffs, 6031 upgd conss, 118352 impls, 0 clqs
1.69/1.73 c (1.5s) probing: 698/2095 (33.3%) - 1 fixings, 181 aggregations, 4753 implications, 0 bound changes
1.69/1.73 c (1.5s) probing aborted: 100/100 successive totally useless probings
1.69/1.73 c presolving (79 rounds):
1.69/1.73 c 4442 deleted vars, 7613 deleted constraints, 1008 tightened bounds, 0 added holes, 201 changed sides, 398 changed coefficients
1.69/1.73 c 118352 implications, 0 cliques
1.69/1.73 c presolved problem has 1910 variables (1910 bin, 0 int, 0 impl, 0 cont) and 5840 constraints
1.69/1.73 c 965 constraints of type <setppc>
1.69/1.73 c 4875 constraints of type <logicor>
1.69/1.73 c transformed objective value is always integral (scale: 1)
1.69/1.73 c Presolving Time: 1.44
1.69/1.73 c - non default parameters ----------------------------------------------------------------------
1.69/1.73 c # SCIP version 1.2.1.3
1.69/1.73 c
1.69/1.73 c # frequency for displaying node information lines
1.69/1.73 c # [type: int, range: [-1,2147483647], default: 100]
1.69/1.73 c display/freq = 10000
1.69/1.73 c
1.69/1.73 c # maximal time in seconds to run
1.69/1.73 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1.69/1.73 c limits/time = 1789.78
1.69/1.73 c
1.69/1.73 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1.69/1.73 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1.69/1.73 c limits/memory = 1620
1.69/1.73 c
1.69/1.73 c # default clock type (1: CPU user seconds, 2: wall clock time)
1.69/1.73 c # [type: int, range: [1,2], default: 1]
1.69/1.73 c timing/clocktype = 2
1.69/1.73 c
1.69/1.73 c # should presolving try to simplify inequalities
1.69/1.73 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.69/1.73 c constraints/linear/simplifyinequalities = TRUE
1.69/1.73 c
1.69/1.73 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
1.69/1.73 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.69/1.73 c constraints/indicator/addCouplingCons = TRUE
1.69/1.73 c
1.69/1.73 c # should presolving try to simplify knapsacks
1.69/1.73 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.69/1.73 c constraints/knapsack/simplifyinequalities = TRUE
1.69/1.73 c
1.69/1.73 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
1.69/1.73 c # [type: int, range: [-1,2147483647], default: -1]
1.69/1.73 c separating/rapidlearning/freq = 0
1.69/1.73 c
1.69/1.73 c -----------------------------------------------------------------------------------------------
1.69/1.73 c start solving
1.69/1.73 c
2.39/2.49 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
2.39/2.49 c 2.3s| 1 | 0 | 2030 | - | 21M| 0 |1223 |1910 |5840 |1910 |5838 | 0 | 0 | 0 | 2.821920e+03 | -- | Inf
9.09/9.13 c 8.9s| 1 | 0 | 6041 | - | 25M| 0 |1129 |1910 |7172 |1910 |6118 | 280 | 0 | 0 | 2.855433e+03 | -- | Inf
9.90/9.94 c 9.7s| 1 | 0 | 6479 | - | 26M| 0 |1134 |1910 |7172 |1910 |6140 | 302 | 0 | 0 | 2.859000e+03 | -- | Inf
10.90/10.91 c 10.7s| 1 | 0 | 7151 | - | 26M| 0 |1137 |1910 |7172 |1910 |6173 | 335 | 0 | 0 | 2.861500e+03 | -- | Inf
11.99/12.09 c 11.9s| 1 | 0 | 8050 | - | 27M| 0 |1160 |1910 |7172 |1910 |6205 | 367 | 0 | 0 | 2.864951e+03 | -- | Inf
13.20/13.22 c 13.0s| 1 | 0 | 8851 | - | 28M| 0 |1201 |1910 |7172 |1910 |6244 | 406 | 0 | 0 | 2.868354e+03 | -- | Inf
14.89/14.98 c 14.7s| 1 | 0 | 9991 | - | 29M| 0 |1210 |1910 |7172 |1910 |6283 | 445 | 0 | 0 | 2.871900e+03 | -- | Inf
16.89/16.97 c 16.7s| 1 | 0 | 11106 | - | 31M| 0 |1220 |1910 |7172 |1910 |6324 | 486 | 0 | 0 | 2.877210e+03 | -- | Inf
18.89/18.95 c 18.7s| 1 | 0 | 12142 | - | 32M| 0 |1272 |1910 |7172 |1910 |6371 | 533 | 0 | 0 | 2.881642e+03 | -- | Inf
21.18/21.24 c 21.0s| 1 | 0 | 13313 | - | 33M| 0 |1255 |1910 |7172 |1910 |6411 | 573 | 0 | 0 | 2.886443e+03 | -- | Inf
24.59/24.60 c 24.4s| 1 | 0 | 15242 | - | 35M| 0 |1269 |1910 |7172 |1910 |6454 | 616 | 0 | 0 | 2.890006e+03 | -- | Inf
26.40/26.49 c 26.3s| 1 | 0 | 16280 | - | 37M| 0 |1235 |1910 |7172 |1910 |6498 | 660 | 0 | 0 | 2.893246e+03 | -- | Inf
28.69/28.76 c 28.5s| 1 | 0 | 17243 | - | 39M| 0 |1248 |1910 |7172 |1910 |6553 | 715 | 0 | 0 | 2.901614e+03 | -- | Inf
30.99/31.02 c 30.8s| 1 | 0 | 18787 | - | 41M| 0 |1252 |1910 |7172 |1910 |6592 | 754 | 0 | 0 | 2.906665e+03 | -- | Inf
33.58/33.69 c 33.5s| 1 | 0 | 20555 | - | 42M| 0 |1297 |1910 |7172 |1910 |6392 | 803 | 0 | 0 | 2.911752e+03 | -- | Inf
35.09/35.16 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
35.09/35.16 c 34.9s| 1 | 0 | 21496 | - | 43M| 0 |1286 |1910 |7172 |1910 |6431 | 842 | 0 | 0 | 2.915132e+03 | -- | Inf
37.08/37.15 c 36.9s| 1 | 0 | 22615 | - | 46M| 0 |1253 |1910 |7172 |1910 |6474 | 885 | 0 | 0 | 2.920132e+03 | -- | Inf
39.69/39.78 c 39.5s| 1 | 0 | 24159 | - | 48M| 0 |1293 |1910 |7172 |1910 |6505 | 916 | 0 | 0 | 2.923283e+03 | -- | Inf
41.79/41.86 c 41.6s| 1 | 0 | 25044 | - | 49M| 0 |1270 |1910 |7172 |1910 |6548 | 959 | 0 | 0 | 2.928078e+03 | -- | Inf
43.89/44.00 c 43.8s| 1 | 0 | 26171 | - | 51M| 0 |1296 |1910 |7172 |1910 |6584 | 995 | 0 | 0 | 2.930996e+03 | -- | Inf
46.98/47.00 c 46.8s| 1 | 0 | 27792 | - | 52M| 0 |1282 |1910 |7172 |1910 |6456 |1035 | 0 | 0 | 2.936646e+03 | -- | Inf
48.58/48.68 c 48.4s| 1 | 0 | 28925 | - | 53M| 0 |1339 |1910 |7172 |1910 |6492 |1071 | 0 | 0 | 2.940247e+03 | -- | Inf
51.98/52.06 c 51.8s| 1 | 0 | 31189 | - | 54M| 0 |1394 |1910 |7172 |1910 |6522 |1101 | 0 | 0 | 2.944331e+03 | -- | Inf
54.08/54.14 c 53.9s| 1 | 0 | 32433 | - | 55M| 0 |1367 |1910 |7172 |1910 |6575 |1154 | 0 | 0 | 2.948289e+03 | -- | Inf
55.98/56.01 c 55.8s| 1 | 0 | 33456 | - | 56M| 0 |1354 |1910 |7172 |1910 |6629 |1208 | 0 | 0 | 2.952250e+03 | -- | Inf
58.29/58.38 c 58.1s| 1 | 0 | 34812 | - | 57M| 0 |1431 |1910 |7172 |1910 |6679 |1258 | 0 | 0 | 2.954803e+03 | -- | Inf
61.59/61.61 c 61.4s| 1 | 0 | 36814 | - | 58M| 0 |1389 |1910 |7172 |1910 |6512 |1301 | 0 | 0 | 2.958208e+03 | -- | Inf
63.48/63.57 c 63.3s| 1 | 0 | 38306 | - | 59M| 0 |1388 |1910 |7172 |1910 |6557 |1346 | 0 | 0 | 2.962201e+03 | -- | Inf
66.37/66.47 c 66.2s| 1 | 0 | 40243 | - | 60M| 0 |1380 |1910 |7172 |1910 |6599 |1388 | 0 | 0 | 2.965421e+03 | -- | Inf
69.38/69.46 c 69.2s| 1 | 0 | 42163 | - | 60M| 0 |1468 |1910 |7172 |1910 |6648 |1437 | 0 | 0 | 2.967428e+03 | -- | Inf
73.17/73.22 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
73.17/73.22 c 73.0s| 1 | 0 | 44423 | - | 61M| 0 |1510 |1910 |7172 |1910 |6697 |1486 | 0 | 0 | 2.972526e+03 | -- | Inf
77.17/77.23 c 77.0s| 1 | 0 | 46538 | - | 62M| 0 |1471 |1910 |7172 |1910 |6739 |1528 | 0 | 0 | 2.976197e+03 | -- | Inf
82.88/82.92 c 82.7s| 1 | 0 | 49682 | - | 62M| 0 |1467 |1910 |7172 |1910 |6611 |1573 | 0 | 0 | 2.979039e+03 | -- | Inf
86.27/86.30 c 86.1s| 1 | 0 | 51700 | - | 62M| 0 |1501 |1910 |7172 |1910 |6662 |1624 | 0 | 0 | 2.982514e+03 | -- | Inf
88.87/88.95 c 88.7s| 1 | 0 | 53272 | - | 63M| 0 |1519 |1910 |7172 |1910 |6700 |1662 | 0 | 0 | 2.984256e+03 | -- | Inf
92.47/92.50 c 92.3s| 1 | 0 | 54821 | - | 64M| 0 |1562 |1910 |7172 |1910 |6724 |1686 | 0 | 0 | 2.985109e+03 | -- | Inf
97.47/97.58 c 97.4s| 1 | 0 | 56616 | - | 64M| 0 |1545 |1910 |7172 |1910 |6767 |1729 | 0 | 0 | 2.989761e+03 | -- | Inf
102.06/102.16 c 102s| 1 | 0 | 59489 | - | 65M| 0 |1468 |1910 |7172 |1910 |6797 |1759 | 0 | 0 | 2.993650e+03 | -- | Inf
105.67/105.75 c 106s| 1 | 0 | 61836 | - | 66M| 0 |1413 |1910 |7172 |1910 |6629 |1804 | 0 | 0 | 2.996586e+03 | -- | Inf
108.07/108.14 c 108s| 1 | 0 | 63539 | - | 66M| 0 |1476 |1910 |7172 |1910 |6669 |1844 | 0 | 0 | 3.000419e+03 | -- | Inf
110.77/110.88 c 111s| 1 | 0 | 65572 | - | 67M| 0 |1547 |1910 |7172 |1910 |6717 |1892 | 0 | 0 | 3.003370e+03 | -- | Inf
114.96/115.08 c 115s| 1 | 0 | 67965 | - | 68M| 0 |1539 |1910 |7172 |1910 |6759 |1934 | 0 | 0 | 3.008153e+03 | -- | Inf
118.26/118.39 c 118s| 1 | 0 | 69561 | - | 68M| 0 |1522 |1910 |7172 |1910 |6812 |1987 | 0 | 0 | 3.011537e+03 | -- | Inf
119.97/120.01 c 120s| 1 | 0 | 70586 | - | 69M| 0 |1482 |1910 |7172 |1910 |6848 |2023 | 0 | 0 | 3.012794e+03 | -- | Inf
123.56/123.65 c 123s| 1 | 0 | 72870 | - | 69M| 0 |1548 |1910 |7172 |1910 |6663 |2066 | 0 | 0 | 3.014891e+03 | -- | Inf
125.67/125.75 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
125.67/125.75 c 126s| 1 | 0 | 73967 | - | 71M| 0 |1533 |1910 |7172 |1910 |6702 |2105 | 0 | 0 | 3.017783e+03 | -- | Inf
128.57/128.66 c 128s| 1 | 0 | 75338 | - | 71M| 0 |1549 |1910 |7172 |1910 |6734 |2137 | 0 | 0 | 3.019769e+03 | -- | Inf
131.06/131.16 c 131s| 1 | 0 | 76718 | - | 72M| 0 |1590 |1910 |7172 |1910 |6764 |2167 | 0 | 0 | 3.020910e+03 | -- | Inf
136.37/136.41 c 136s| 1 | 0 | 79031 | - | 72M| 0 |1571 |1910 |7172 |1910 |6811 |2214 | 0 | 0 | 3.027208e+03 | -- | Inf
137.86/137.98 c 138s| 1 | 0 | 79890 | - | 73M| 0 |1563 |1910 |7172 |1910 |6838 |2241 | 0 | 0 | 3.028807e+03 | -- | Inf
141.66/141.72 c 141s| 1 | 0 | 81346 | - | 73M| 0 |1590 |1910 |7172 |1910 |6655 |2276 | 0 | 0 | 3.031624e+03 | -- | Inf
143.36/143.49 c 143s| 1 | 0 | 82263 | - | 74M| 0 |1601 |1910 |7172 |1910 |6675 |2296 | 0 | 0 | 3.033791e+03 | -- | Inf
146.46/146.57 c 146s| 1 | 0 | 83497 | - | 74M| 0 |1548 |1910 |7172 |1910 |6715 |2336 | 0 | 0 | 3.037530e+03 | -- | Inf
148.76/148.83 c 149s| 1 | 0 | 85057 | - | 74M| 0 |1575 |1910 |7172 |1910 |6755 |2376 | 0 | 0 | 3.041234e+03 | -- | Inf
152.16/152.24 c 152s| 1 | 0 | 87070 | - | 75M| 0 |1516 |1910 |7172 |1910 |6790 |2411 | 0 | 0 | 3.042959e+03 | -- | Inf
155.66/155.74 c 156s| 1 | 0 | 89240 | - | 75M| 0 |1547 |1910 |7172 |1910 |6818 |2439 | 0 | 0 | 3.045317e+03 | -- | Inf
157.27/157.33 c 157s| 1 | 0 | 90054 | - | 76M| 0 |1586 |1910 |7172 |1910 |6643 |2464 | 0 | 0 | 3.045663e+03 | -- | Inf
159.75/159.86 c 160s| 1 | 0 | 90741 | - | 76M| 0 |1567 |1910 |7172 |1910 |6662 |2483 | 0 | 0 | 3.045731e+03 | -- | Inf
162.85/162.95 c 163s| 1 | 0 | 92194 | - | 76M| 0 |1584 |1910 |7172 |1910 |6695 |2516 | 0 | 0 | 3.047744e+03 | -- | Inf
165.36/165.44 c 165s| 1 | 0 | 92862 | - | 77M| 0 |1604 |1910 |7172 |1910 |6727 |2548 | 0 | 0 | 3.049268e+03 | -- | Inf
168.16/168.26 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
168.16/168.26 c 168s| 1 | 0 | 93686 | - | 77M| 0 |1601 |1910 |7172 |1910 |6758 |2579 | 0 | 0 | 3.052278e+03 | -- | Inf
169.66/169.76 c 170s| 1 | 0 | 94365 | - | 77M| 0 |1567 |1910 |7172 |1910 |6784 |2605 | 0 | 0 | 3.053408e+03 | -- | Inf
173.06/173.19 c 173s| 1 | 0 | 96111 | - | 78M| 0 |1584 |1910 |7172 |1910 |6611 |2624 | 0 | 0 | 3.054133e+03 | -- | Inf
175.75/175.81 c 176s| 1 | 0 | 97343 | - | 79M| 0 |1593 |1910 |7172 |1910 |6630 |2643 | 0 | 0 | 3.055441e+03 | -- | Inf
178.55/178.67 c 178s| 1 | 0 | 98389 | - | 79M| 0 |1574 |1910 |7172 |1910 |6662 |2675 | 0 | 0 | 3.057161e+03 | -- | Inf
180.75/180.89 c 181s| 1 | 0 | 99892 | - | 79M| 0 |1614 |1910 |7172 |1910 |6688 |2701 | 0 | 0 | 3.059383e+03 | -- | Inf
184.35/184.40 c 184s| 1 | 0 |101471 | - | 80M| 0 |1584 |1910 |7172 |1910 |6712 |2725 | 0 | 0 | 3.061303e+03 | -- | Inf
186.05/186.13 c 186s| 1 | 0 |102674 | - | 80M| 0 |1612 |1910 |7172 |1910 |6751 |2764 | 0 | 0 | 3.063347e+03 | -- | Inf
188.75/188.87 c 189s| 1 | 0 |103862 | - | 80M| 0 |1620 |1910 |7172 |1910 |6635 |2799 | 0 | 0 | 3.065147e+03 | -- | Inf
191.55/191.64 c 191s| 1 | 0 |105166 | - | 80M| 0 |1606 |1910 |7172 |1910 |6688 |2852 | 0 | 0 | 3.068571e+03 | -- | Inf
193.95/194.06 c 194s| 1 | 0 |106144 | - | 81M| 0 |1635 |1910 |7172 |1910 |6715 |2879 | 0 | 0 | 3.070724e+03 | -- | Inf
196.45/196.50 c 196s| 1 | 0 |107193 | - | 81M| 0 |1585 |1910 |7172 |1910 |6736 |2900 | 0 | 0 | 3.071743e+03 | -- | Inf
199.25/199.39 c 199s| 1 | 0 |108252 | - | 81M| 0 |1600 |1910 |7172 |1910 |6759 |2923 | 0 | 0 | 3.073373e+03 | -- | Inf
202.45/202.55 c 202s| 1 | 0 |109561 | - | 81M| 0 |1567 |1910 |7172 |1910 |6789 |2953 | 0 | 0 | 3.075653e+03 | -- | Inf
205.45/205.54 c 205s| 1 | 0 |110748 | - | 82M| 0 |1589 |1910 |7172 |1910 |6676 |2978 | 0 | 0 | 3.076935e+03 | -- | Inf
207.94/208.01 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
207.94/208.01 c 208s| 1 | 0 |112233 | - | 82M| 0 |1579 |1910 |7172 |1910 |6702 |3004 | 0 | 0 | 3.078211e+03 | -- | Inf
210.55/210.63 c 210s| 1 | 0 |113100 | - | 82M| 0 |1578 |1910 |7172 |1910 |6726 |3028 | 0 | 0 | 3.078713e+03 | -- | Inf
213.05/213.13 c 213s| 1 | 0 |113992 | - | 82M| 0 |1590 |1910 |7172 |1910 |6745 |3047 | 0 | 0 | 3.079418e+03 | -- | Inf
215.04/215.18 c 215s| 1 | 0 |114471 | - | 83M| 0 |1583 |1910 |7172 |1910 |6764 |3066 | 0 | 0 | 3.080271e+03 | -- | Inf
217.75/217.87 c 218s| 1 | 0 |115828 | - | 83M| 0 |1596 |1910 |7172 |1910 |6784 |3086 | 0 | 0 | 3.081897e+03 | -- | Inf
221.14/221.23 c 221s| 1 | 0 |117672 | - | 83M| 0 |1567 |1910 |7172 |1910 |6656 |3108 | 0 | 0 | 3.083602e+03 | -- | Inf
223.25/223.32 c 223s| 1 | 0 |118843 | - | 83M| 0 |1593 |1910 |7172 |1910 |6676 |3128 | 0 | 0 | 3.084872e+03 | -- | Inf
226.34/226.47 c 226s| 1 | 0 |120508 | - | 83M| 0 |1572 |1910 |7172 |1910 |6699 |3151 | 0 | 0 | 3.085857e+03 | -- | Inf
229.15/229.22 c 229s| 1 | 0 |121724 | - | 84M| 0 |1594 |1910 |7172 |1910 |6721 |3173 | 0 | 0 | 3.086895e+03 | -- | Inf
231.25/231.36 c 231s| 1 | 0 |122275 | - | 84M| 0 |1563 |1910 |7172 |1910 |6741 |3193 | 0 | 0 | 3.088075e+03 | -- | Inf
233.44/233.57 c 233s| 1 | 0 |122967 | - | 84M| 0 |1576 |1910 |7172 |1910 |6754 |3206 | 0 | 0 | 3.088741e+03 | -- | Inf
235.74/235.81 c 236s| 1 | 0 |123674 | - | 84M| 0 |1596 |1910 |7172 |1910 |6643 |3239 | 0 | 0 | 3.089749e+03 | -- | Inf
237.74/237.81 c 238s| 1 | 0 |124185 | - | 84M| 0 |1583 |1910 |7172 |1910 |6657 |3253 | 0 | 0 | 3.090354e+03 | -- | Inf
239.64/239.78 c 240s| 1 | 0 |124608 | - | 84M| 0 |1576 |1910 |7172 |1910 |6676 |3272 | 0 | 0 | 3.092352e+03 | -- | Inf
241.64/241.73 c 242s| 1 | 0 |125529 | - | 85M| 0 |1581 |1910 |7172 |1910 |6697 |3293 | 0 | 0 | 3.093883e+03 | -- | Inf
243.83/243.92 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
243.83/243.92 c 244s| 1 | 0 |126063 | - | 85M| 0 |1573 |1910 |7172 |1910 |6705 |3301 | 0 | 0 | 3.094827e+03 | -- | Inf
245.84/245.91 c 246s| 1 | 0 |126404 | - | 85M| 0 |1568 |1910 |7172 |1910 |6713 |3309 | 0 | 0 | 3.095479e+03 | -- | Inf
247.94/248.05 c 248s| 1 | 0 |126892 | - | 85M| 0 |1570 |1910 |7172 |1910 |6634 |3336 | 0 | 0 | 3.096870e+03 | -- | Inf
250.14/250.28 c 250s| 1 | 0 |127357 | - | 85M| 0 |1567 |1910 |7172 |1910 |6647 |3349 | 0 | 0 | 3.098133e+03 | -- | Inf
252.33/252.41 c 252s| 1 | 0 |127891 | - | 85M| 0 |1573 |1910 |7172 |1910 |6659 |3361 | 0 | 0 | 3.098893e+03 | -- | Inf
254.34/254.47 c 254s| 1 | 0 |128150 | - | 85M| 0 |1568 |1910 |7172 |1910 |6667 |3369 | 0 | 0 | 3.099434e+03 | -- | Inf
256.44/256.51 c 256s| 1 | 0 |128357 | - | 85M| 0 |1563 |1910 |7172 |1910 |6671 |3373 | 0 | 0 | 3.100278e+03 | -- | Inf
258.24/258.33 c 258s| 1 | 0 |128713 | - | 85M| 0 |1570 |1910 |7172 |1910 |6679 |3381 | 0 | 0 | 3.101168e+03 | -- | Inf
259.94/260.08 c 260s| 1 | 0 |129031 | - | 85M| 0 |1579 |1910 |7172 |1910 |6562 |3386 | 0 | 0 | 3.101354e+03 | -- | Inf
261.54/261.69 c 261s| 1 | 0 |129187 | - | 85M| 0 |1578 |1910 |7172 |1910 |6570 |3394 | 0 | 0 | 3.101409e+03 | -- | Inf
263.64/263.78 c 264s| 1 | 0 |129775 | - | 85M| 0 |1599 |1910 |7172 |1910 |6578 |3402 | 0 | 0 | 3.102106e+03 | -- | Inf
265.64/265.79 c 266s| 1 | 0 |130121 | - | 85M| 0 |1585 |1910 |7172 |1910 |6590 |3414 | 0 | 0 | 3.102546e+03 | -- | Inf
267.33/267.47 c 267s| 1 | 0 |130949 | - | 85M| 0 |1558 |1910 |7172 |1910 |6603 |3427 | 0 | 0 | 3.103297e+03 | -- | Inf
269.23/269.37 c 269s| 1 | 0 |131494 | - | 84M| 0 |1571 |1910 |7172 |1910 |6612 |3436 | 0 | 0 | 3.103524e+03 | -- | Inf
271.33/271.44 c 271s| 1 | 0 |132059 | - | 83M| 0 |1574 |1910 |7172 |1910 |6542 |3450 | 0 | 0 | 3.104624e+03 | -- | Inf
273.23/273.38 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
273.23/273.38 c 273s| 1 | 0 |132600 | - | 83M| 0 |1578 |1910 |7172 |1910 |6551 |3459 | 0 | 0 | 3.105093e+03 | -- | Inf
275.13/275.21 c 275s| 1 | 0 |133136 | - | 82M| 0 |1570 |1910 |7172 |1910 |6561 |3469 | 0 | 0 | 3.105887e+03 | -- | Inf
276.73/276.85 c 277s| 1 | 0 |133313 | - | 81M| 0 |1568 |1910 |7172 |1910 |6565 |3473 | 0 | 0 | 3.105911e+03 | -- | Inf
278.43/278.57 c 278s| 1 | 0 |133569 | - | 80M| 0 |1569 |1910 |7172 |1910 |6568 |3476 | 0 | 0 | 3.106328e+03 | -- | Inf
279.93/280.02 c 280s| 1 | 0 |133581 | - | 79M| 0 |1570 |1910 |7172 |1910 |6570 |3478 | 0 | 0 | 3.106337e+03 | -- | Inf
281.33/281.49 c 281s| 1 | 0 |133592 | - | 77M| 0 |1571 |1910 |7172 |1910 |6525 |3480 | 0 | 0 | 3.106337e+03 | -- | Inf
282.83/282.94 c 283s| 1 | 0 |133598 | - | 76M| 0 |1570 |1910 |7172 |1910 |6526 |3481 | 0 | 0 | 3.106337e+03 | -- | Inf
287.43/287.59 c 287s| 1 | 2 |133598 | - | 74M| 0 |1570 |1910 |7172 |1910 |6526 |3481 | 0 | 17 | 3.106337e+03 | -- | Inf
1789.61/1790.02 c
1789.61/1790.02 c SCIP Status : solving was interrupted [time limit reached]
1789.61/1790.02 c Solving Time (sec) : 1789.79
1789.61/1790.02 c Solving Nodes : 1595
1789.61/1790.02 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1789.61/1790.02 c Dual Bound : +3.12519240546352e+03
1789.61/1790.02 c Gap : infinite
1789.61/1790.02 s UNKNOWN
1789.61/1790.02 c SCIP Status : solving was interrupted [time limit reached]
1789.61/1790.02 c Solving Time : 1789.79
1789.61/1790.02 c Original Problem :
1789.61/1790.02 c Problem name : HOME/instance-2703446-1278555241.opb
1789.61/1790.02 c Variables : 6352 (6352 binary, 0 integer, 0 implicit integer, 0 continuous)
1789.61/1790.02 c Constraints : 13453 initial, 13453 maximal
1789.61/1790.02 c Presolved Problem :
1789.61/1790.02 c Problem name : t_HOME/instance-2703446-1278555241.opb
1789.61/1790.02 c Variables : 1910 (1910 binary, 0 integer, 0 implicit integer, 0 continuous)
1789.61/1790.02 c Constraints : 5840 initial, 7789 maximal
1789.61/1790.02 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1789.61/1790.02 c trivial : 0.04 49 0 0 0 0 0 0 0
1789.61/1790.02 c dualfix : 0.02 0 0 0 0 0 0 0 0
1789.61/1790.02 c boundshift : 0.00 0 0 0 0 0 0 0 0
1789.61/1790.02 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1789.61/1790.02 c implics : 0.08 0 3215 0 0 0 0 0 0
1789.61/1790.02 c probing : 0.58 1 181 0 0 0 0 0 0
1789.61/1790.02 c setppc : 0.05 0 0 0 0 0 187 0 0
1789.61/1790.02 c linear : 0.37 959 37 0 1008 0 7422 201 398
1789.61/1790.02 c logicor : 0.18 0 0 0 0 0 4 0 0
1789.61/1790.02 c root node : - 0 - - 0 - - - -
1789.61/1790.02 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1789.61/1790.02 c integral : 0 0 0 1533 0 2 9 0 0 3058
1789.61/1790.02 c setppc : 965 112 28577 0 9 83 13926 0 0 0
1789.61/1790.02 c linear : 0+ 112 25829 0 0 0 26 58 0 0
1789.61/1790.02 c logicor : 4875+ 112 21548 0 2 105 24272 0 0 0
1789.61/1790.02 c countsols : 0 0 0 0 2 0 0 0 0 0
1789.61/1790.02 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1789.61/1790.02 c integral : 447.27 0.00 0.00 447.27 0.00
1789.61/1790.02 c setppc : 2.29 0.02 2.27 0.00 0.00
1789.61/1790.02 c linear : 1.65 0.20 1.44 0.00 0.00
1789.61/1790.02 c logicor : 1.21 0.10 1.10 0.00 0.00
1789.61/1790.02 c countsols : 0.00 0.00 0.00 0.00 0.00
1789.61/1790.02 c Propagators : Time Calls Cutoffs DomReds
1789.61/1790.02 c vbounds : 0.02 2 0 0
1789.61/1790.02 c rootredcost : 0.02 0 0 0
1789.61/1790.02 c pseudoobj : 1.85 26116 0 0
1789.61/1790.02 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1789.61/1790.02 c propagation : 0.04 187 185 774 29.5 53 5.1 -
1789.61/1790.02 c infeasible LP : 0.28 144 144 1227 41.9 15 4.1 0
1789.61/1790.02 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1789.61/1790.02 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1789.61/1790.02 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1789.61/1790.02 c applied globally : - - - 1201 28.5 - - -
1789.61/1790.02 c applied locally : - - - 0 0.0 - - -
1789.61/1790.02 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1789.61/1790.02 c cut pool : 2.55 111 - - 4528 - (maximal pool size: 25870)
1789.61/1790.02 c redcost : 0.14 1644 0 0 0 0
1789.61/1790.02 c impliedbounds : 0.13 112 0 0 601 0
1789.61/1790.02 c intobj : 0.00 0 0 0 0 0
1789.61/1790.02 c cgmip : 0.00 0 0 0 0 0
1789.61/1790.02 c gomory : 112.63 112 0 0 45065 0
1789.61/1790.02 c strongcg : 4.61 20 0 0 10000 0
1789.61/1790.02 c cmir : 0.67 10 0 0 0 0
1789.61/1790.02 c flowcover : 0.65 10 0 0 0 0
1789.61/1790.02 c clique : 0.16 112 0 0 29 0
1789.61/1790.02 c zerohalf : 0.00 0 0 0 0 0
1789.61/1790.02 c mcf : 0.01 1 0 0 0 0
1789.61/1790.02 c rapidlearning : 3.09 1 0 0 0 1332
1789.61/1790.02 c Pricers : Time Calls Vars
1789.61/1790.02 c problem variables: 0.00 0 0
1789.61/1790.02 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1789.61/1790.02 c relpscost : 447.27 1533 2 9 0 0 3058
1789.61/1790.02 c pscost : 0.00 0 0 0 0 0 0
1789.61/1790.02 c inference : 0.00 2 0 0 0 0 4
1789.61/1790.02 c mostinf : 0.00 0 0 0 0 0 0
1789.61/1790.02 c leastinf : 0.00 0 0 0 0 0 0
1789.61/1790.02 c fullstrong : 0.00 0 0 0 0 0 0
1789.61/1790.02 c allfullstrong : 0.00 0 0 0 0 0 0
1789.61/1790.02 c random : 0.00 0 0 0 0 0 0
1789.61/1790.02 c Primal Heuristics : Time Calls Found
1789.61/1790.02 c LP solutions : 0.00 - 0
1789.61/1790.02 c pseudo solutions : 0.00 - 0
1789.61/1790.02 c oneopt : 0.00 0 0
1789.61/1790.02 c crossover : 0.00 0 0
1789.61/1790.02 c intshifting : 0.00 0 0
1789.61/1790.02 c trivial : 0.02 2 0
1789.61/1790.02 c simplerounding : 0.00 0 0
1789.61/1790.02 c zirounding : 0.80 1000 0
1789.61/1790.02 c rounding : 0.97 522 0
1789.61/1790.02 c shifting : 2.86 201 0
1789.61/1790.02 c twoopt : 0.00 0 0
1789.61/1790.02 c fixandinfer : 0.00 0 0
1789.61/1790.02 c feaspump : 42.99 6 0
1789.61/1790.02 c coefdiving : 65.73 23 0
1789.61/1790.02 c pscostdiving : 63.71 18 0
1789.61/1790.02 c fracdiving : 74.66 24 0
1789.61/1790.02 c veclendiving : 61.57 13 0
1789.61/1790.02 c intdiving : 0.00 0 0
1789.61/1790.02 c actconsdiving : 0.00 0 0
1789.61/1790.02 c objpscostdiving : 59.80 1 0
1789.61/1790.02 c rootsoldiving : 43.40 4 0
1789.61/1790.02 c linesearchdiving : 68.12 24 0
1789.61/1790.02 c guideddiving : 0.00 0 0
1789.61/1790.02 c octane : 0.00 0 0
1789.61/1790.02 c rens : 0.01 0 0
1789.61/1790.02 c rins : 0.00 0 0
1789.61/1790.02 c localbranching : 0.00 0 0
1789.61/1790.02 c mutation : 0.00 0 0
1789.61/1790.02 c dins : 0.00 0 0
1789.61/1790.02 c undercover : 0.00 0 0
1789.61/1790.02 c nlp : 0.00 0 0
1789.61/1790.02 c trysol : 0.00 0 0
1789.61/1790.02 c LP : Time Calls Iterations Iter/call Iter/sec
1789.61/1790.02 c primal LP : 0.19 0 0 0.00 0.00
1789.61/1790.02 c dual LP : 719.73 1695 829300 489.26 1152.24
1789.61/1790.02 c lex dual LP : 0.00 0 0 0.00 -
1789.61/1790.02 c barrier LP : 0.00 0 0 0.00 -
1789.61/1790.02 c diving/probing LP: 451.89 8639 436780 50.56 966.57
1789.61/1790.02 c strong branching : 445.90 1738 520725 299.61 1167.80
1789.61/1790.02 c (at root node) : - 17 3069 180.53 -
1789.61/1790.02 c conflict analysis: 0.00 0 0 0.00 -
1789.61/1790.02 c B&B Tree :
1789.61/1790.02 c number of runs : 1
1789.61/1790.02 c nodes : 1595
1789.61/1790.02 c nodes (total) : 1595
1789.61/1790.02 c nodes left : 1455
1789.61/1790.02 c max depth : 35
1789.61/1790.02 c max depth (total): 35
1789.61/1790.02 c backtracks : 501 (31.4%)
1789.61/1790.02 c delayed cutoffs : 13
1789.61/1790.02 c repropagations : 92 (5605 domain reductions, 13 cutoffs)
1789.61/1790.02 c avg switch length: 6.38
1789.61/1790.02 c switching time : 2.00
1789.61/1790.02 c Solution :
1789.61/1790.02 c Solutions found : 0 (0 improvements)
1789.61/1790.02 c Primal Bound : -
1789.61/1790.02 c Dual Bound : +3.12519240546352e+03
1789.61/1790.02 c Gap : infinite
1789.61/1790.02 c Root Dual Bound : +3.10633702615384e+03
1789.61/1790.02 c Root Iterations : 133598
1789.71/1790.17 c Time complete: 1789.78.