0.00/0.00 c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.4.2] [Expressions interpreter: NONE]
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-2666865-1276473822.opb>
0.19/0.26 c original problem has 6352 variables (6352 bin, 0 int, 0 impl, 0 cont) and 13453 constraints
0.19/0.26 c problem read
0.19/0.26 c presolving settings loaded
0.29/0.37 c presolving:
0.39/0.46 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.49/0.53 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.49/0.56 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.49/0.57 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.49/0.58 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.49/0.60 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.59/0.61 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.59/0.62 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.59/0.63 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.59/0.64 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.59/0.65 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.59/0.67 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.59/0.68 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.59/0.69 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.69/0.70 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.69/0.71 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.69/0.72 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.69/0.73 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.69/0.75 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.69/0.76 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.69/0.77 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.69/0.78 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.69/0.79 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.79/0.80 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.79/0.81 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.79/0.82 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.79/0.83 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.79/0.84 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.79/0.85 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.79/0.86 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.79/0.87 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.79/0.89 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.79/0.90 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.89/0.91 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.89/0.92 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.89/0.93 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.89/0.94 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.89/0.95 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.89/0.96 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.89/0.97 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.89/0.98 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.89/0.99 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.99/1.00 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.99/1.01 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.99/1.02 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.99/1.03 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.99/1.04 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.99/1.05 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.99/1.06 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.99/1.07 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.99/1.08 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.99/1.09 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
1.09/1.10 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
1.09/1.11 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
1.09/1.12 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
1.09/1.13 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
1.09/1.14 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
1.09/1.15 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
1.09/1.16 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
1.09/1.16 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
1.09/1.17 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
1.09/1.18 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
1.09/1.19 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
1.09/1.20 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
1.19/1.21 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
1.19/1.22 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
1.19/1.23 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
1.29/1.35 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.49/1.55 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.49/1.56 c (round 70) 4308 del vars, 7428 del conss, 1008 chg bounds, 201 chg sides, 398 chg coeffs, 6031 upgd conss, 114306 impls, 0 clqs
1.49/1.58 c (round 71) 4310 del vars, 7428 del conss, 1008 chg bounds, 201 chg sides, 398 chg coeffs, 6031 upgd conss, 114320 impls, 0 clqs
1.59/1.62 c (round 72) 4310 del vars, 7432 del conss, 1008 chg bounds, 201 chg sides, 398 chg coeffs, 6031 upgd conss, 114320 impls, 0 clqs
1.79/1.82 c (round 73) 4360 del vars, 7432 del conss, 1008 chg bounds, 201 chg sides, 398 chg coeffs, 6031 upgd conss, 117168 impls, 0 clqs
1.89/1.95 c (round 74) 4410 del vars, 7432 del conss, 1008 chg bounds, 201 chg sides, 398 chg coeffs, 6031 upgd conss, 117950 impls, 0 clqs
1.99/2.03 c (1.4s) probing: 714/2095 (34.1%) - 1 fixings, 182 aggregations, 4766 implications, 0 bound changes
1.99/2.03 c (1.4s) probing aborted: 100/100 successive totally useless probings
1.99/2.04 c (round 75) 4443 del vars, 7432 del conss, 1008 chg bounds, 201 chg sides, 398 chg coeffs, 6031 upgd conss, 118380 impls, 0 clqs
1.99/2.08 c (round 76) 4443 del vars, 7436 del conss, 1008 chg bounds, 201 chg sides, 398 chg coeffs, 6031 upgd conss, 118380 impls, 0 clqs
2.09/2.10 c (1.4s) probing: 724/2095 (34.6%) - 1 fixings, 182 aggregations, 4766 implications, 0 bound changes
2.09/2.10 c (1.4s) probing aborted: 100/100 successive totally useless probings
2.09/2.10 c presolving (77 rounds):
2.09/2.10 c 4443 deleted vars, 7436 deleted constraints, 1008 tightened bounds, 0 added holes, 201 changed sides, 398 changed coefficients
2.09/2.10 c 118380 implications, 0 cliques
2.09/2.10 c presolved problem has 1909 variables (1909 bin, 0 int, 0 impl, 0 cont) and 6017 constraints
2.09/2.10 c 6017 constraints of type <logicor>
2.09/2.10 c transformed objective value is always integral (scale: 1)
2.09/2.10 c Presolving Time: 1.41
2.09/2.10 c - non default parameters ----------------------------------------------------------------------
2.09/2.10 c # SCIP version 1.2.1.2
2.09/2.10 c
2.09/2.10 c # maximal number of intermediate conflict constraints generated in conflict graph (-1: use every intermediate constraint)
2.09/2.10 c # [type: int, range: [-1,2147483647], default: -1]
2.09/2.10 c conflict/interconss = 0
2.09/2.10 c
2.09/2.10 c # should binary conflicts be preferred?
2.09/2.10 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
2.09/2.10 c conflict/preferbinary = TRUE
2.09/2.10 c
2.09/2.10 c # maximum age an unnecessary constraint can reach before it is deleted (0: dynamic, -1: keep all constraints)
2.09/2.10 c # [type: int, range: [-1,2147483647], default: 0]
2.09/2.10 c constraints/agelimit = 1
2.09/2.10 c
2.09/2.10 c # should enforcement of pseudo solution be disabled?
2.09/2.10 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
2.09/2.10 c constraints/disableenfops = TRUE
2.09/2.10 c
2.09/2.10 c # frequency for displaying node information lines
2.09/2.10 c # [type: int, range: [-1,2147483647], default: 100]
2.09/2.10 c display/freq = 10000
2.09/2.10 c
2.09/2.10 c # maximal time in seconds to run
2.09/2.10 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
2.09/2.10 c limits/time = 1799.74
2.09/2.10 c
2.09/2.10 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
2.09/2.10 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
2.09/2.10 c limits/memory = 1620
2.09/2.10 c
2.09/2.10 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
2.09/2.10 c # [type: int, range: [-1,2147483647], default: 1]
2.09/2.10 c lp/solvefreq = 0
2.09/2.10 c
2.09/2.10 c # LP pricing strategy ('l'pi default, 'a'uto, 'f'ull pricing, 'p'artial, 's'teepest edge pricing, 'q'uickstart steepest edge pricing, 'd'evex pricing)
2.09/2.10 c # [type: char, range: {lafpsqd}, default: l]
2.09/2.10 c lp/pricing = a
2.09/2.10 c
2.09/2.10 c # should presolving try to simplify inequalities
2.09/2.10 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
2.09/2.10 c constraints/linear/simplifyinequalities = TRUE
2.09/2.10 c
2.09/2.10 c # should presolving try to simplify knapsacks
2.09/2.10 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
2.09/2.10 c constraints/knapsack/simplifyinequalities = TRUE
2.09/2.10 c
2.09/2.10 c # priority of node selection rule <dfs> in standard mode
2.09/2.10 c # [type: int, range: [-536870912,536870911], default: 0]
2.09/2.10 c nodeselection/dfs/stdpriority = 1000000
2.09/2.10 c
2.09/2.10 c -----------------------------------------------------------------------------------------------
2.09/2.10 c start solving
2.09/2.11 c
2.89/2.92 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
2.89/2.92 c 2.2s| 1 | 0 | 2028 | - | 22M| 0 |1216 |1909 |6017 |1909 |5831 | 0 | 0 | 0 | 2.821920e+03 | -- | Inf
6.49/6.51 c 5.8s| 1 | 0 | 6292 | - | 23M| 0 |1083 |1909 |6017 |1909 |6112 | 281 | 0 | 0 | 2.855683e+03 | -- | Inf
7.09/7.15 c 6.4s| 1 | 0 | 6754 | - | 23M| 0 |1091 |1909 |6017 |1909 |6140 | 309 | 0 | 0 | 2.859583e+03 | -- | Inf
7.99/8.03 c 7.3s| 1 | 0 | 7474 | - | 23M| 0 |1127 |1909 |6017 |1909 |6177 | 346 | 0 | 0 | 2.864969e+03 | -- | Inf
8.89/8.95 c 8.2s| 1 | 0 | 8201 | - | 24M| 0 |1126 |1909 |6017 |1909 |6209 | 378 | 0 | 0 | 2.869249e+03 | -- | Inf
10.19/10.25 c 9.5s| 1 | 0 | 9119 | - | 26M| 0 |1157 |1909 |6017 |1909 |6240 | 409 | 0 | 0 | 2.873129e+03 | -- | Inf
11.48/11.56 c 10.8s| 1 | 0 | 10050 | - | 27M| 0 |1166 |1909 |6017 |1909 |6283 | 452 | 0 | 0 | 2.879151e+03 | -- | Inf
12.99/13.01 c 12.2s| 1 | 0 | 11092 | - | 29M| 0 |1179 |1909 |6017 |1909 |6318 | 487 | 0 | 0 | 2.884519e+03 | -- | Inf
14.79/14.80 c 14.0s| 1 | 0 | 12310 | - | 30M| 0 |1247 |1909 |6017 |1909 |6360 | 529 | 0 | 0 | 2.890060e+03 | -- | Inf
16.79/16.85 c 16.0s| 1 | 0 | 13718 | - | 31M| 0 |1252 |1909 |6017 |1909 |6403 | 572 | 0 | 0 | 2.894482e+03 | -- | Inf
18.88/18.94 c 18.1s| 1 | 0 | 14921 | - | 32M| 0 |1227 |1909 |6017 |1909 |6442 | 611 | 0 | 0 | 2.897780e+03 | -- | Inf
21.08/21.15 c 20.3s| 1 | 0 | 16380 | - | 34M| 0 |1303 |1909 |6017 |1909 |6474 | 643 | 0 | 0 | 2.902306e+03 | -- | Inf
24.38/24.44 c 23.5s| 1 | 0 | 17941 | - | 34M| 0 |1268 |1909 |6017 |1909 |6523 | 692 | 0 | 0 | 2.908699e+03 | -- | Inf
27.18/27.27 c 26.3s| 1 | 0 | 19782 | - | 37M| 0 |1319 |1909 |6017 |1909 |6563 | 732 | 0 | 0 | 2.912799e+03 | -- | Inf
30.58/30.60 c 29.6s| 1 | 0 | 21630 | - | 40M| 0 |1323 |1909 |6017 |1909 |6360 | 784 | 0 | 0 | 2.919672e+03 | -- | Inf
32.48/32.55 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
32.48/32.55 c 31.5s| 1 | 0 | 22912 | - | 43M| 0 |1323 |1909 |6017 |1909 |6398 | 822 | 0 | 0 | 2.922172e+03 | -- | Inf
35.08/35.18 c 34.1s| 1 | 0 | 24645 | - | 45M| 0 |1361 |1909 |6017 |1909 |6451 | 875 | 0 | 0 | 2.924883e+03 | -- | Inf
37.78/37.85 c 36.8s| 1 | 0 | 26069 | - | 48M| 0 |1350 |1909 |6017 |1909 |6496 | 920 | 0 | 0 | 2.929935e+03 | -- | Inf
41.68/41.79 c 40.7s| 1 | 0 | 28360 | - | 50M| 0 |1367 |1909 |6017 |1909 |6539 | 963 | 0 | 0 | 2.933251e+03 | -- | Inf
44.68/44.78 c 43.7s| 1 | 0 | 30036 | - | 53M| 0 |1394 |1909 |6017 |1909 |6581 |1005 | 0 | 0 | 2.938750e+03 | -- | Inf
52.17/52.24 c 51.1s| 1 | 0 | 33919 | - | 56M| 0 |1407 |1909 |6017 |1909 |6493 |1053 | 0 | 0 | 2.943385e+03 | -- | Inf
54.77/54.84 c 53.6s| 1 | 0 | 35238 | - | 57M| 0 |1382 |1909 |6017 |1909 |6532 |1092 | 0 | 0 | 2.946885e+03 | -- | Inf
57.87/57.93 c 56.7s| 1 | 0 | 37109 | - | 57M| 0 |1437 |1909 |6017 |1909 |6578 |1138 | 0 | 0 | 2.950717e+03 | -- | Inf
63.17/63.27 c 62.0s| 1 | 0 | 40037 | - | 58M| 0 |1465 |1909 |6017 |1909 |6621 |1181 | 0 | 0 | 2.956499e+03 | -- | Inf
66.97/67.09 c 65.8s| 1 | 0 | 42132 | - | 59M| 0 |1415 |1909 |6017 |1909 |6659 |1219 | 0 | 0 | 2.960152e+03 | -- | Inf
70.47/70.52 c 69.2s| 1 | 0 | 44026 | - | 60M| 0 |1516 |1909 |6017 |1909 |6707 |1267 | 0 | 0 | 2.963676e+03 | -- | Inf
75.16/75.20 c 73.8s| 1 | 0 | 46424 | - | 62M| 0 |1526 |1909 |6017 |1909 |6560 |1312 | 0 | 0 | 2.967325e+03 | -- | Inf
79.56/79.62 c 78.2s| 1 | 0 | 48657 | - | 62M| 0 |1534 |1909 |6017 |1909 |6610 |1362 | 0 | 0 | 2.973970e+03 | -- | Inf
82.96/83.09 c 81.7s| 1 | 0 | 50698 | - | 62M| 0 |1589 |1909 |6017 |1909 |6659 |1411 | 0 | 0 | 2.977403e+03 | -- | Inf
88.86/88.98 c 87.5s| 1 | 0 | 54046 | - | 63M| 0 |1634 |1909 |6017 |1909 |6692 |1444 | 0 | 0 | 2.979894e+03 | -- | Inf
94.86/94.90 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
94.86/94.90 c 93.4s| 1 | 0 | 56632 | - | 63M| 0 |1574 |1909 |6017 |1909 |6732 |1484 | 0 | 0 | 2.984268e+03 | -- | Inf
98.26/98.39 c 96.8s| 1 | 0 | 58195 | - | 64M| 0 |1564 |1909 |6017 |1909 |6780 |1532 | 0 | 0 | 2.986032e+03 | -- | Inf
102.76/102.81 c 101s| 1 | 0 | 60587 | - | 64M| 0 |1583 |1909 |6017 |1909 |6629 |1562 | 0 | 0 | 2.988132e+03 | -- | Inf
106.26/106.30 c 105s| 1 | 0 | 62448 | - | 64M| 0 |1481 |1909 |6017 |1909 |6661 |1594 | 0 | 0 | 2.991480e+03 | -- | Inf
111.55/111.69 c 110s| 1 | 0 | 65762 | - | 65M| 0 |1623 |1909 |6017 |1909 |6701 |1634 | 0 | 0 | 2.992252e+03 | -- | Inf
117.45/117.51 c 116s| 1 | 0 | 67974 | - | 65M| 0 |1660 |1909 |6017 |1909 |6756 |1689 | 0 | 0 | 2.995463e+03 | -- | Inf
122.95/123.01 c 121s| 1 | 0 | 69905 | - | 66M| 0 |1594 |1909 |6017 |1909 |6809 |1742 | 0 | 0 | 2.999179e+03 | -- | Inf
126.75/126.82 c 125s| 1 | 0 | 72043 | - | 66M| 0 |1632 |1909 |6017 |1909 |6856 |1789 | 0 | 0 | 3.003228e+03 | -- | Inf
131.64/131.79 c 130s| 1 | 0 | 73876 | - | 66M| 0 |1515 |1909 |6017 |1909 |6693 |1828 | 0 | 0 | 3.005833e+03 | -- | Inf
133.85/133.90 c 132s| 1 | 0 | 75431 | - | 68M| 0 |1532 |1909 |6017 |1909 |6715 |1850 | 0 | 0 | 3.007970e+03 | -- | Inf
136.05/136.17 c 134s| 1 | 0 | 76850 | - | 68M| 0 |1479 |1909 |6017 |1909 |6756 |1891 | 0 | 0 | 3.011003e+03 | -- | Inf
138.65/138.77 c 137s| 1 | 0 | 78725 | - | 70M| 0 |1603 |1909 |6017 |1909 |6789 |1924 | 0 | 0 | 3.013403e+03 | -- | Inf
140.94/141.06 c 139s| 1 | 0 | 79945 | - | 70M| 0 |1585 |1909 |6017 |1909 |6818 |1953 | 0 | 0 | 3.014955e+03 | -- | Inf
144.24/144.35 c 142s| 1 | 0 | 81578 | - | 71M| 0 |1598 |1909 |6017 |1909 |6856 |1991 | 0 | 0 | 3.017322e+03 | -- | Inf
147.54/147.66 c 146s| 1 | 0 | 82453 | - | 71M| 0 |1616 |1909 |6017 |1909 |6676 |2009 | 0 | 0 | 3.017830e+03 | -- | Inf
151.14/151.25 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
151.14/151.25 c 149s| 1 | 0 | 83870 | - | 72M| 0 |1592 |1909 |6017 |1909 |6720 |2053 | 0 | 0 | 3.020028e+03 | -- | Inf
155.64/155.79 c 154s| 1 | 0 | 85706 | - | 72M| 0 |1600 |1909 |6017 |1909 |6769 |2102 | 0 | 0 | 3.022511e+03 | -- | Inf
160.03/160.16 c 158s| 1 | 0 | 87624 | - | 72M| 0 |1575 |1909 |6017 |1909 |6809 |2142 | 0 | 0 | 3.025945e+03 | -- | Inf
163.54/163.69 c 162s| 1 | 0 | 89144 | - | 72M| 0 |1544 |1909 |6017 |1909 |6845 |2178 | 0 | 0 | 3.028116e+03 | -- | Inf
165.94/166.04 c 164s| 1 | 0 | 90624 | - | 73M| 0 |1584 |1909 |6017 |1909 |6886 |2219 | 0 | 0 | 3.029549e+03 | -- | Inf
171.04/171.12 c 169s| 1 | 0 | 92982 | - | 73M| 0 |1578 |1909 |6017 |1909 |6660 |2272 | 0 | 0 | 3.032628e+03 | -- | Inf
174.14/174.25 c 172s| 1 | 0 | 94149 | - | 74M| 0 |1579 |1909 |6017 |1909 |6679 |2291 | 0 | 0 | 3.033855e+03 | -- | Inf
176.93/177.09 c 175s| 1 | 0 | 94728 | - | 74M| 0 |1639 |1909 |6017 |1909 |6695 |2307 | 0 | 0 | 3.034851e+03 | -- | Inf
179.93/180.04 c 178s| 1 | 0 | 95341 | - | 74M| 0 |1606 |1909 |6017 |1909 |6709 |2321 | 0 | 0 | 3.036072e+03 | -- | Inf
182.73/182.82 c 181s| 1 | 0 | 95723 | - | 74M| 0 |1628 |1909 |6017 |1909 |6719 |2331 | 0 | 0 | 3.036204e+03 | -- | Inf
185.12/185.25 c 183s| 1 | 0 | 95916 | - | 74M| 0 |1622 |1909 |6017 |1909 |6725 |2337 | 0 | 0 | 3.036464e+03 | -- | Inf
187.73/187.81 c 186s| 1 | 0 | 95949 | - | 74M| 0 |1621 |1909 |6017 |1909 |6555 |2342 | 0 | 0 | 3.036488e+03 | -- | Inf
190.43/190.53 c 188s| 1 | 0 | 96260 | - | 74M| 0 |1626 |1909 |6017 |1909 |6557 |2344 | 0 | 0 | 3.036544e+03 | -- | Inf
192.83/192.90 c 191s| 1 | 0 | 96286 | - | 74M| 0 |1623 |1909 |6017 |1909 |6560 |2347 | 0 | 0 | 3.036550e+03 | -- | Inf
195.12/195.26 c 193s| 1 | 0 | 96301 | - | 74M| 0 |1623 |1909 |6017 |1909 |6562 |2349 | 0 | 0 | 3.036550e+03 | -- | Inf
197.83/197.95 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
197.83/197.95 c 196s| 1 | 0 | 96598 | - | 74M| 0 |1610 |1909 |6017 |1909 |6563 |2350 | 0 | 0 | 3.036663e+03 | -- | Inf
200.93/201.04 c 199s| 1 | 0 | 97368 | - | 74M| 0 |1606 |1909 |6017 |1909 |6577 |2364 | 0 | 0 | 3.037333e+03 | -- | Inf
203.63/203.79 c 201s| 1 | 0 | 98457 | - | 74M| 0 |1610 |1909 |6017 |1909 |6412 |2390 | 0 | 0 | 3.037967e+03 | -- | Inf
206.02/206.16 c 204s| 1 | 0 | 99214 | - | 75M| 0 |1465 |1909 |6017 |1909 |6455 |2433 | 0 | 0 | 3.039765e+03 | -- | Inf
207.42/207.56 c 205s| 1 | 0 |100227 | - | 76M| 0 |1538 |1909 |6017 |1909 |6500 |2478 | 0 | 0 | 3.042150e+03 | -- | Inf
209.72/209.88 c 207s| 1 | 0 |101371 | - | 76M| 0 |1558 |1909 |6017 |1909 |6552 |2530 | 0 | 0 | 3.044365e+03 | -- | Inf
211.13/211.29 c 209s| 1 | 0 |102289 | - | 77M| 0 |1581 |1909 |6017 |1909 |6590 |2568 | 0 | 0 | 3.046358e+03 | -- | Inf
213.91/214.00 c 211s| 1 | 0 |103380 | - | 77M| 0 |1624 |1909 |6017 |1909 |6630 |2608 | 0 | 0 | 3.048343e+03 | -- | Inf
216.73/216.84 c 214s| 1 | 0 |104136 | - | 77M| 0 |1624 |1909 |6017 |1909 |6599 |2637 | 0 | 0 | 3.050112e+03 | -- | Inf
219.81/219.94 c 217s| 1 | 0 |104822 | - | 77M| 0 |1628 |1909 |6017 |1909 |6616 |2654 | 0 | 0 | 3.051336e+03 | -- | Inf
222.71/222.88 c 220s| 1 | 0 |105453 | - | 77M| 0 |1627 |1909 |6017 |1909 |6630 |2668 | 0 | 0 | 3.052006e+03 | -- | Inf
225.32/225.40 c 223s| 1 | 0 |105861 | - | 77M| 0 |1620 |1909 |6017 |1909 |6640 |2678 | 0 | 0 | 3.052772e+03 | -- | Inf
228.12/228.21 c 226s| 1 | 0 |106467 | - | 78M| 0 |1608 |1909 |6017 |1909 |6649 |2687 | 0 | 0 | 3.053516e+03 | -- | Inf
230.71/230.82 c 228s| 1 | 0 |107511 | - | 78M| 0 |1624 |1909 |6017 |1909 |6667 |2705 | 0 | 0 | 3.054483e+03 | -- | Inf
233.31/233.46 c 231s| 1 | 0 |107707 | - | 78M| 0 |1617 |1909 |6017 |1909 |6560 |2712 | 0 | 0 | 3.054529e+03 | -- | Inf
235.91/236.05 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
235.91/236.05 c 233s| 1 | 0 |108437 | - | 78M| 0 |1584 |1909 |6017 |1909 |6573 |2725 | 0 | 0 | 3.054842e+03 | -- | Inf
238.62/238.73 c 236s| 1 | 0 |109529 | - | 79M| 0 |1596 |1909 |6017 |1909 |6606 |2758 | 0 | 0 | 3.056290e+03 | -- | Inf
240.61/240.76 c 238s| 1 | 0 |110426 | - | 79M| 0 |1618 |1909 |6017 |1909 |6629 |2781 | 0 | 0 | 3.057135e+03 | -- | Inf
243.80/243.93 c 241s| 1 | 0 |110892 | - | 79M| 0 |1620 |1909 |6017 |1909 |6637 |2789 | 0 | 0 | 3.057698e+03 | -- | Inf
247.01/247.13 c 244s| 1 | 0 |111525 | - | 80M| 0 |1624 |1909 |6017 |1909 |6660 |2812 | 0 | 0 | 3.058547e+03 | -- | Inf
249.91/250.02 c 247s| 1 | 0 |112112 | - | 80M| 0 |1605 |1909 |6017 |1909 |6539 |2830 | 0 | 0 | 3.058994e+03 | -- | Inf
252.50/252.69 c 250s| 1 | 0 |112852 | - | 80M| 0 |1610 |1909 |6017 |1909 |6555 |2846 | 0 | 0 | 3.060517e+03 | -- | Inf
255.22/255.33 c 252s| 1 | 0 |113323 | - | 80M| 0 |1616 |1909 |6017 |1909 |6571 |2862 | 0 | 0 | 3.061034e+03 | -- | Inf
257.51/257.68 c 255s| 1 | 0 |114049 | - | 80M| 0 |1623 |1909 |6017 |1909 |6591 |2882 | 0 | 0 | 3.061995e+03 | -- | Inf
260.80/260.99 c 258s| 1 | 0 |114918 | - | 80M| 0 |1590 |1909 |6017 |1909 |6606 |2897 | 0 | 0 | 3.062856e+03 | -- | Inf
263.11/263.26 c 260s| 1 | 0 |115682 | - | 81M| 0 |1586 |1909 |6017 |1909 |6640 |2931 | 0 | 0 | 3.063811e+03 | -- | Inf
265.50/265.65 c 263s| 1 | 0 |116570 | - | 81M| 0 |1598 |1909 |6017 |1909 |6583 |2955 | 0 | 0 | 3.065137e+03 | -- | Inf
267.60/267.76 c 265s| 1 | 0 |116793 | - | 81M| 0 |1587 |1909 |6017 |1909 |6595 |2967 | 0 | 0 | 3.066526e+03 | -- | Inf
270.10/270.20 c 267s| 1 | 0 |117138 | - | 81M| 0 |1597 |1909 |6017 |1909 |6604 |2976 | 0 | 0 | 3.066731e+03 | -- | Inf
272.20/272.38 c 269s| 1 | 0 |117333 | - | 81M| 0 |1599 |1909 |6017 |1909 |6610 |2982 | 0 | 0 | 3.066847e+03 | -- | Inf
274.60/274.77 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
274.60/274.77 c 272s| 1 | 0 |117478 | - | 81M| 0 |1601 |1909 |6017 |1909 |6617 |2989 | 0 | 0 | 3.066953e+03 | -- | Inf
277.30/277.47 c 274s| 1 | 0 |117841 | - | 81M| 0 |1560 |1909 |6017 |1909 |6629 |3001 | 0 | 0 | 3.067679e+03 | -- | Inf
279.10/279.26 c 276s| 1 | 0 |118084 | - | 82M| 0 |1580 |1909 |6017 |1909 |6569 |3026 | 0 | 0 | 3.068844e+03 | -- | Inf
281.39/281.57 c 278s| 1 | 0 |118976 | - | 82M| 0 |1591 |1909 |6017 |1909 |6594 |3051 | 0 | 0 | 3.069712e+03 | -- | Inf
284.49/284.69 c 282s| 1 | 0 |119822 | - | 82M| 0 |1590 |1909 |6017 |1909 |6620 |3077 | 0 | 0 | 3.071296e+03 | -- | Inf
286.89/287.03 c 284s| 1 | 0 |120505 | - | 82M| 0 |1563 |1909 |6017 |1909 |6656 |3113 | 0 | 0 | 3.072805e+03 | -- | Inf
289.79/289.90 c 287s| 1 | 0 |121398 | - | 83M| 0 |1576 |1909 |6017 |1909 |6685 |3142 | 0 | 0 | 3.074145e+03 | -- | Inf
292.29/292.44 c 289s| 1 | 0 |121935 | - | 83M| 0 |1586 |1909 |6017 |1909 |6715 |3172 | 0 | 0 | 3.074587e+03 | -- | Inf
294.49/294.62 c 291s| 1 | 0 |122133 | - | 83M| 0 |1574 |1909 |6017 |1909 |6631 |3185 | 0 | 0 | 3.074698e+03 | -- | Inf
296.59/296.70 c 293s| 1 | 0 |122847 | - | 83M| 0 |1609 |1909 |6017 |1909 |6665 |3219 | 0 | 0 | 3.075881e+03 | -- | Inf
298.19/298.30 c 295s| 1 | 0 |123396 | - | 84M| 0 |1623 |1909 |6017 |1909 |6696 |3250 | 0 | 0 | 3.076613e+03 | -- | Inf
300.59/300.76 c 298s| 1 | 0 |124033 | - | 84M| 0 |1632 |1909 |6017 |1909 |6721 |3275 | 0 | 0 | 3.077799e+03 | -- | Inf
302.89/303.08 c 300s| 1 | 0 |124378 | - | 84M| 0 |1607 |1909 |6017 |1909 |6748 |3302 | 0 | 0 | 3.078371e+03 | -- | Inf
304.59/304.72 c 301s| 1 | 0 |125369 | - | 84M| 0 |1619 |1909 |6017 |1909 |6774 |3328 | 0 | 0 | 3.080283e+03 | -- | Inf
306.59/306.75 c 303s| 1 | 0 |125511 | - | 84M| 0 |1637 |1909 |6017 |1909 |6694 |3338 | 0 | 0 | 3.080432e+03 | -- | Inf
309.00/309.15 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
309.00/309.15 c 306s| 1 | 0 |125847 | - | 83M| 0 |1635 |1909 |6017 |1909 |6700 |3344 | 0 | 0 | 3.080621e+03 | -- | Inf
312.59/312.78 c 309s| 1 | 0 |127024 | - | 82M| 0 |1632 |1909 |6017 |1909 |6711 |3355 | 0 | 0 | 3.081667e+03 | -- | Inf
315.38/315.55 c 312s| 1 | 0 |127444 | - | 81M| 0 |1635 |1909 |6017 |1909 |6721 |3365 | 0 | 0 | 3.081960e+03 | -- | Inf
317.79/317.94 c 315s| 1 | 0 |127601 | - | 80M| 0 |1640 |1909 |6017 |1909 |6728 |3372 | 0 | 0 | 3.082114e+03 | -- | Inf
320.28/320.41 c 317s| 1 | 0 |128011 | - | 79M| 0 |1625 |1909 |6017 |1909 |6736 |3380 | 0 | 0 | 3.082548e+03 | -- | Inf
322.58/322.77 c 319s| 1 | 0 |128573 | - | 77M| 0 |1665 |1909 |6017 |1909 |6607 |3397 | 0 | 0 | 3.082847e+03 | -- | Inf
324.88/325.03 c 322s| 1 | 0 |128827 | - | 77M| 0 |1652 |1909 |6017 |1909 |6615 |3405 | 0 | 0 | 3.083157e+03 | -- | Inf
327.08/327.24 c 324s| 1 | 0 |128974 | - | 75M| 0 |1659 |1909 |6017 |1909 |6624 |3414 | 0 | 0 | 3.083281e+03 | -- | Inf
329.38/329.57 c 326s| 1 | 0 |129138 | - | 74M| 0 |1658 |1909 |6017 |1909 |6631 |3421 | 0 | 0 | 3.083670e+03 | -- | Inf
331.58/331.79 c 328s| 1 | 0 |129270 | - | 72M| 0 |1653 |1909 |6017 |1909 |6636 |3426 | 0 | 0 | 3.083705e+03 | -- | Inf
333.78/333.99 c 330s| 1 | 0 |129427 | - | 70M| 0 |1656 |1909 |6017 |1909 |6641 |3431 | 0 | 0 | 3.083885e+03 | -- | Inf
336.08/336.28 c 333s| 1 | 0 |129616 | - | 67M| 0 |1656 |1909 |6017 |1909 |6541 |3437 | 0 | 0 | 3.084402e+03 | -- | Inf
338.37/338.51 c 335s| 1 | 0 |130050 | - | 65M| 0 |1658 |1909 |6017 |1909 |6551 |3447 | 0 | 0 | 3.085350e+03 | -- | Inf
340.78/340.93 c 337s| 1 | 0 |130244 | - | 62M| 0 |1639 |1909 |6017 |1909 |6563 |3459 | 0 | 0 | 3.085484e+03 | -- | Inf
343.28/343.41 c 340s| 1 | 0 |130847 | - | 60M| 0 |1632 |1909 |6017 |1909 |6573 |3469 | 0 | 0 | 3.085667e+03 | -- | Inf
345.68/345.87 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
345.68/345.87 c 342s| 1 | 0 |131502 | - | 57M| 0 |1645 |1909 |6017 |1909 |6592 |3488 | 0 | 0 | 3.086052e+03 | -- | Inf
347.87/348.08 c 344s| 1 | 0 |131814 | - | 54M| 0 |1614 |1909 |6017 |1909 |6603 |3499 | 0 | 0 | 3.086534e+03 | -- | Inf
350.17/350.36 c 347s| 1 | 0 |132198 | - | 54M| 0 |1593 |1909 |6017 |1909 |6555 |3506 | 0 | 0 | 3.087470e+03 | -- | Inf
352.17/352.33 c 349s| 1 | 0 |132523 | - | 53M| 0 |1598 |1909 |6017 |1909 |6562 |3513 | 0 | 0 | 3.087869e+03 | -- | Inf
353.87/354.00 c 350s| 1 | 0 |132734 | - | 53M| 0 |1607 |1909 |6017 |1909 |6572 |3523 | 0 | 0 | 3.088035e+03 | -- | Inf
355.98/356.14 c 352s| 1 | 0 |133026 | - | 52M| 0 |1619 |1909 |6017 |1909 |6582 |3533 | 0 | 0 | 3.088246e+03 | -- | Inf
357.87/358.00 c 354s| 1 | 0 |133081 | - | 51M| 0 |1601 |1909 |6017 |1909 |6590 |3541 | 0 | 0 | 3.088263e+03 | -- | Inf
359.58/359.79 c 356s| 1 | 0 |133100 | - | 49M| 0 |1601 |1909 |6017 |1909 |6592 |3543 | 0 | 0 | 3.088264e+03 | -- | Inf
361.57/361.70 c 358s| 1 | 0 |133256 | - | 49M| 0 |1604 |1909 |6017 |1909 |6552 |3544 | 0 | 0 | 3.088294e+03 | -- | Inf
363.47/363.64 c 360s| 1 | 0 |133472 | - | 49M| 0 |1612 |1909 |6017 |1909 |6555 |3547 | 0 | 0 | 3.088402e+03 | -- | Inf
367.56/367.72 c 364s| 1 | 2 |133472 | - | 48M| 0 |1612 |1909 |6017 |1909 |6555 |3547 | 0 | 17 | 3.088402e+03 | -- | Inf
394.26/394.49 c 390s| 10000 | 36 |133472 | 0.0 | 49M| 57 | - |1909 |6100 | 0 | 0 |3547 |7782 | 17 | 3.088963e+03 | -- | Inf
419.75/419.97 c 414s| 20000 | 37 |133472 | 0.0 | 49M| 57 | - |1909 |6095 | 0 | 0 |3547 | 15k| 17 | 3.088963e+03 | -- | Inf
444.84/445.03 c 439s| 30000 | 34 |133472 | 0.0 | 49M| 57 | - |1909 |6086 | 0 | 0 |3547 | 23k| 17 | 3.088963e+03 | -- | Inf
470.83/471.08 c 464s| 40000 | 39 |133472 | 0.0 | 49M| 57 | - |1909 |6091 | 0 | 0 |3547 | 31k| 17 | 3.088963e+03 | -- | Inf
498.13/498.38 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
498.13/498.38 c 490s| 50000 | 38 |133472 | 0.0 | 49M| 57 | - |1909 |6104 | 0 | 0 |3547 | 38k| 17 | 3.088963e+03 | -- | Inf
524.72/524.91 c 516s| 60000 | 34 |133472 | 0.0 | 49M| 57 | - |1909 |6133 | 0 | 0 |3547 | 46k| 17 | 3.088963e+03 | -- | Inf
552.41/552.62 c 543s| 70000 | 38 |133472 | 0.0 | 49M| 57 | - |1909 |6096 | 0 | 0 |3547 | 54k| 17 | 3.088963e+03 | -- | Inf
578.70/578.92 c 568s| 80000 | 36 |133472 | 0.0 | 49M| 57 | - |1909 |6103 | 0 | 0 |3547 | 61k| 17 | 3.088963e+03 | -- | Inf
605.69/605.96 c 594s| 90000 | 40 |133472 | 0.0 | 49M| 57 | - |1909 |6087 | 0 | 0 |3547 | 69k| 17 | 3.088963e+03 | -- | Inf
643.28/643.57 c 631s|100000 | 38 |133472 | 0.0 | 49M| 57 | - |1909 |6108 | 0 | 0 |3547 | 77k| 17 | 3.088963e+03 | -- | Inf
678.26/678.57 c 665s|110000 | 35 |133472 | 0.0 | 49M| 57 | - |1909 |6123 | 0 | 0 |3547 | 84k| 17 | 3.088963e+03 | -- | Inf
713.35/713.64 c 699s|120000 | 38 |133472 | 0.0 | 49M| 57 | - |1909 |6117 | 0 | 0 |3547 | 91k| 17 | 3.088963e+03 | -- | Inf
747.43/747.76 c 732s|130000 | 36 |133472 | 0.0 | 49M| 57 | - |1909 |6139 | 0 | 0 |3547 | 99k| 17 | 3.088963e+03 | -- | Inf
779.53/779.87 c 763s|140000 | 32 |133472 | 0.0 | 49M| 57 | - |1909 |6183 | 0 | 0 |3547 | 107k| 17 | 3.088963e+03 | -- | Inf
815.31/815.66 c 797s|150000 | 34 |133472 | 0.0 | 49M| 57 | - |1909 |6116 | 0 | 0 |3547 | 115k| 17 | 3.088963e+03 | -- | Inf
848.50/848.89 c 830s|160000 | 38 |133472 | 0.0 | 49M| 57 | - |1909 |6161 | 0 | 0 |3547 | 122k| 17 | 3.088963e+03 | -- | Inf
881.10/881.43 c 861s|170000 | 33 |133472 | 0.0 | 49M| 57 | - |1909 |6174 | 0 | 0 |3547 | 130k| 17 | 3.088963e+03 | -- | Inf
914.18/914.51 c 893s|180000 | 34 |133472 | 0.0 | 49M| 57 | - |1909 |6172 | 0 | 0 |3547 | 138k| 17 | 3.088963e+03 | -- | Inf
949.47/949.84 c 927s|190000 | 38 |133472 | 0.0 | 49M| 57 | - |1909 |6163 | 0 | 0 |3547 | 146k| 17 | 3.088963e+03 | -- | Inf
986.66/987.02 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
986.66/987.02 c 963s|200000 | 33 |133472 | 0.0 | 49M| 57 | - |1909 |6200 | 0 | 0 |3547 | 153k| 17 | 3.088963e+03 | -- | Inf
1022.45/1022.80 c 998s|210000 | 35 |133472 | 0.0 | 49M| 57 | - |1909 |6178 | 0 | 0 |3547 | 161k| 17 | 3.088963e+03 | -- | Inf
1058.03/1058.49 c 1032s|220000 | 34 |133472 | 0.0 | 49M| 57 | - |1909 |6195 | 0 | 0 |3547 | 168k| 17 | 3.088963e+03 | -- | Inf
1094.23/1094.66 c 1067s|230000 | 32 |133472 | 0.0 | 49M| 57 | - |1909 |6219 | 0 | 0 |3547 | 176k| 17 | 3.088963e+03 | -- | Inf
1130.31/1130.79 c 1102s|240000 | 31 |133472 | 0.0 | 49M| 57 | - |1909 |6220 | 0 | 0 |3547 | 184k| 17 | 3.088963e+03 | -- | Inf
1163.79/1164.29 c 1135s|250000 | 33 |133472 | 0.0 | 49M| 57 | - |1909 |6224 | 0 | 0 |3547 | 191k| 17 | 3.088963e+03 | -- | Inf
1201.09/1201.58 c 1171s|260000 | 30 |133472 | 0.0 | 49M| 57 | - |1909 |6325 | 0 | 0 |3547 | 198k| 17 | 3.088963e+03 | -- | Inf
1245.67/1246.16 c 1214s|270000 | 34 |133472 | 0.0 | 49M| 57 | - |1909 |6264 | 0 | 0 |3547 | 206k| 17 | 3.088963e+03 | -- | Inf
1282.95/1283.41 c 1250s|280000 | 36 |133472 | 0.0 | 49M| 57 | - |1909 |6258 | 0 | 0 |3547 | 213k| 17 | 3.088963e+03 | -- | Inf
1321.54/1322.04 c 1288s|290000 | 36 |133472 | 0.0 | 49M| 57 | - |1909 |6248 | 0 | 0 |3547 | 221k| 17 | 3.088963e+03 | -- | Inf
1359.33/1359.81 c 1324s|300000 | 37 |133472 | 0.0 | 49M| 57 | - |1909 |6266 | 0 | 0 |3547 | 228k| 17 | 3.088963e+03 | -- | Inf
1395.31/1395.81 c 1359s|310000 | 33 |133472 | 0.0 | 49M| 57 | - |1909 |6249 | 0 | 0 |3547 | 236k| 17 | 3.088963e+03 | -- | Inf
1431.00/1431.58 c 1394s|320000 | 33 |133472 | 0.0 | 49M| 57 | - |1909 |6274 | 0 | 0 |3547 | 243k| 17 | 3.088963e+03 | -- | Inf
1465.10/1465.62 c 1427s|330000 | 34 |133472 | 0.0 | 49M| 57 | - |1909 |6293 | 0 | 0 |3547 | 251k| 17 | 3.088963e+03 | -- | Inf
1500.39/1500.92 c 1461s|340000 | 32 |133472 | 0.0 | 49M| 57 | - |1909 |6300 | 0 | 0 |3547 | 258k| 17 | 3.088963e+03 | -- | Inf
1542.37/1542.94 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1542.37/1542.94 c 1502s|350000 | 33 |133472 | 0.0 | 49M| 57 | - |1909 |6296 | 0 | 0 |3547 | 265k| 17 | 3.088963e+03 | -- | Inf
1578.25/1578.83 c 1536s|360000 | 32 |133472 | 0.0 | 49M| 57 | - |1909 |6298 | 0 | 0 |3547 | 273k| 17 | 3.088963e+03 | -- | Inf
1613.25/1613.87 c 1570s|370000 | 30 |133472 | 0.0 | 49M| 57 | - |1909 |6332 | 0 | 0 |3547 | 281k| 17 | 3.088963e+03 | -- | Inf
1651.74/1652.37 c 1608s|380000 | 37 |133472 | 0.0 | 49M| 57 | - |1909 |6262 | 0 | 0 |3547 | 288k| 17 | 3.088963e+03 | -- | Inf
1690.01/1690.61 c 1645s|390000 | 36 |133472 | 0.0 | 49M| 57 | - |1909 |6295 | 0 | 0 |3547 | 295k| 17 | 3.088963e+03 | -- | Inf
1725.21/1725.83 c 1679s|400000 | 31 |133472 | 0.0 | 49M| 57 | - |1909 |6327 | 0 | 0 |3547 | 303k| 17 | 3.088963e+03 | -- | Inf
1761.89/1762.52 c 1714s|410000 | 34 |133472 | 0.0 | 49M| 57 | - |1909 |6290 | 0 | 0 |3547 | 310k| 17 | 3.088963e+03 | -- | Inf
1797.38/1798.06 c 1749s|420000 | 33 |133472 | 0.0 | 49M| 57 | - |1909 |6323 | 0 | 0 |3547 | 318k| 17 | 3.088963e+03 | -- | Inf
1800.10/1800.71 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.10/1800.71 c
1800.10/1800.71 c SCIP Status : solving was interrupted [user interrupt]
1800.10/1800.71 c Solving Time (sec) : 1751.30
1800.10/1800.71 c Solving Nodes : 420816
1800.10/1800.71 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1800.10/1800.71 c Dual Bound : +3.08896285925540e+03
1800.10/1800.71 c Gap : infinite
1800.10/1800.71 s UNKNOWN
1800.10/1800.71 c SCIP Status : solving was interrupted [user interrupt]
1800.10/1800.71 c Solving Time : 1751.30
1800.10/1800.71 c Original Problem :
1800.10/1800.71 c Problem name : HOME/instance-2666865-1276473822.opb
1800.10/1800.71 c Variables : 6352 (6352 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.10/1800.71 c Constraints : 13453 initial, 13453 maximal
1800.10/1800.71 c Presolved Problem :
1800.10/1800.71 c Problem name : t_HOME/instance-2666865-1276473822.opb
1800.10/1800.71 c Variables : 1909 (1909 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.10/1800.71 c Constraints : 6017 initial, 6387 maximal
1800.10/1800.71 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.10/1800.71 c trivial : 0.05 49 0 0 0 0 0 0 0
1800.10/1800.71 c dualfix : 0.01 0 0 0 0 0 0 0 0
1800.10/1800.71 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.10/1800.71 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.10/1800.71 c implics : 0.10 0 3215 0 0 0 0 0 0
1800.10/1800.71 c probing : 0.50 1 182 0 0 0 0 0 0
1800.10/1800.71 c linear : 0.48 959 37 0 1008 0 7422 201 398
1800.10/1800.71 c logicor : 0.20 0 0 0 0 0 14 0 0
1800.10/1800.71 c root node : - 0 - - 0 - - - -
1800.10/1800.71 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.10/1800.71 c integral : 0 0 0 1 0 0 0 0 0 2
1800.10/1800.71 c logicor : 6017+ 130 8086058 0 0 288224 63037145 0 0 0
1800.10/1800.71 c countsols : 0 0 0 0 0 0 0 0 0 0
1800.10/1800.71 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.10/1800.71 c integral : 2.25 0.00 0.00 2.25 0.00
1800.10/1800.71 c logicor : 480.76 0.13 480.63 0.00 0.00
1800.10/1800.71 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.10/1800.71 c Propagators : Time Calls Cutoffs DomReds
1800.10/1800.71 c vbounds : 3.81 2 0 0
1800.10/1800.71 c rootredcost : 3.71 0 0 0
1800.10/1800.71 c pseudoobj : 477.95 8329795 0 0
1800.10/1800.71 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.10/1800.71 c propagation : 120.00 288223 288223 288223 26.7 30860 25.5 -
1800.10/1800.71 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.10/1800.71 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.10/1800.71 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.10/1800.71 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.10/1800.71 c applied globally : - - - 319026 26.6 - - -
1800.10/1800.71 c applied locally : - - - 0 0.0 - - -
1800.10/1800.71 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.10/1800.71 c cut pool : 2.79 129 - - 4685 - (maximal pool size: 23455)
1800.10/1800.71 c redcost : 0.05 130 0 0 0 0
1800.10/1800.71 c impliedbounds : 0.16 130 0 0 575 0
1800.10/1800.71 c intobj : 0.00 0 0 0 0 0
1800.10/1800.71 c cgmip : 0.00 0 0 0 0 0
1800.10/1800.71 c gomory : 182.89 130 0 0 42629 0
1800.10/1800.71 c strongcg : 3.83 20 0 0 10000 0
1800.10/1800.71 c cmir : 0.55 10 0 0 0 0
1800.10/1800.71 c flowcover : 0.49 10 0 0 0 0
1800.10/1800.71 c clique : 0.28 130 0 0 20 0
1800.10/1800.71 c zerohalf : 0.00 0 0 0 0 0
1800.10/1800.71 c mcf : 0.01 1 0 0 0 0
1800.10/1800.71 c rapidlearning : 0.00 0 0 0 0 0
1800.10/1800.71 c Pricers : Time Calls Vars
1800.10/1800.71 c problem variables: 0.00 0 0
1800.10/1800.71 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.10/1800.71 c relpscost : 2.25 1 0 0 0 0 2
1800.10/1800.71 c pscost : 0.00 0 0 0 0 0 0
1800.10/1800.71 c inference : 66.64 291910 0 0 0 0 583820
1800.10/1800.71 c mostinf : 0.00 0 0 0 0 0 0
1800.10/1800.71 c leastinf : 0.00 0 0 0 0 0 0
1800.10/1800.71 c fullstrong : 0.00 0 0 0 0 0 0
1800.10/1800.71 c allfullstrong : 0.00 0 0 0 0 0 0
1800.10/1800.71 c random : 0.00 0 0 0 0 0 0
1800.10/1800.71 c Primal Heuristics : Time Calls Found
1800.10/1800.71 c LP solutions : 0.00 - 0
1800.10/1800.71 c pseudo solutions : 0.00 - 0
1800.10/1800.71 c oneopt : 0.26 0 0
1800.10/1800.71 c crossover : 0.00 0 0
1800.10/1800.71 c trivial : 0.02 2 0
1800.10/1800.71 c simplerounding : 0.00 0 0
1800.10/1800.71 c zirounding : 0.00 1 0
1800.10/1800.71 c rounding : 0.26 100 0
1800.10/1800.71 c shifting : 1.78 100 0
1800.10/1800.71 c intshifting : 0.00 0 0
1800.10/1800.71 c twoopt : 0.00 0 0
1800.10/1800.71 c fixandinfer : 0.00 0 0
1800.10/1800.71 c feaspump : 1.89 1 0
1800.10/1800.71 c coefdiving : 0.00 0 0
1800.10/1800.71 c pscostdiving : 0.00 0 0
1800.10/1800.71 c fracdiving : 0.00 0 0
1800.10/1800.71 c veclendiving : 0.00 0 0
1800.10/1800.71 c intdiving : 0.00 0 0
1800.10/1800.71 c actconsdiving : 0.00 0 0
1800.10/1800.71 c objpscostdiving : 0.00 0 0
1800.10/1800.71 c rootsoldiving : 0.00 0 0
1800.10/1800.71 c linesearchdiving : 0.00 0 0
1800.10/1800.71 c guideddiving : 0.00 0 0
1800.10/1800.71 c octane : 0.00 0 0
1800.10/1800.71 c rens : 0.01 0 0
1800.10/1800.71 c rins : 0.00 0 0
1800.10/1800.71 c localbranching : 0.00 0 0
1800.10/1800.71 c mutation : 0.00 0 0
1800.10/1800.71 c dins : 0.00 0 0
1800.10/1800.71 c undercover : 0.00 0 0
1800.10/1800.71 c nlp : 0.30 0 0
1800.10/1800.71 c trysol : 0.25 0 0
1800.10/1800.71 c LP : Time Calls Iterations Iter/call Iter/sec
1800.10/1800.71 c primal LP : 0.22 0 0 0.00 0.00
1800.10/1800.71 c dual LP : 163.75 130 130537 1004.13 797.17
1800.10/1800.71 c lex dual LP : 0.00 0 0 0.00 -
1800.10/1800.71 c barrier LP : 0.00 0 0 0.00 -
1800.10/1800.71 c diving/probing LP: 1.81 27 2935 108.70 1621.55
1800.10/1800.71 c strong branching : 2.25 17 2132 125.41 947.56
1800.10/1800.71 c (at root node) : - 17 2132 125.41 -
1800.10/1800.71 c conflict analysis: 0.00 0 0 0.00 -
1800.10/1800.71 c B&B Tree :
1800.10/1800.71 c number of runs : 1
1800.10/1800.71 c nodes : 420816
1800.10/1800.71 c nodes (total) : 420816
1800.10/1800.71 c nodes left : 30
1800.10/1800.71 c max depth : 57
1800.10/1800.71 c max depth (total): 57
1800.10/1800.71 c backtracks : 159621 (37.9%)
1800.10/1800.71 c delayed cutoffs : 162977
1800.10/1800.71 c repropagations : 409727 (32002186 domain reductions, 159318 cutoffs)
1800.10/1800.71 c avg switch length: 2.59
1800.10/1800.71 c switching time : 236.88
1800.10/1800.71 c Solution :
1800.10/1800.71 c Solutions found : 0 (0 improvements)
1800.10/1800.71 c Primal Bound : -
1800.10/1800.71 c Dual Bound : +3.08896285925540e+03
1800.10/1800.71 c Gap : infinite
1800.10/1800.71 c Root Dual Bound : +3.08840223485707e+03
1800.10/1800.71 c Root Iterations : 133472
1800.20/1800.86 c Time complete: 1800.24.