0.00/0.00 c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Clp 1.11.1] [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-2665435-1276473664.opb>
0.19/0.25 c original problem has 6352 variables (6352 bin, 0 int, 0 impl, 0 cont) and 13453 constraints
0.19/0.25 c problem read
0.19/0.25 c presolving settings loaded
0.29/0.36 c presolving:
0.39/0.45 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.52 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.55 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.56 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.57 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.58 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.60 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.61 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.62 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.63 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.64 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.65 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.67 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.68 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.59/0.69 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.70 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.71 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.72 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.73 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.74 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.76 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.77 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.78 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.69/0.79 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.80 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.81 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.82 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.83 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.84 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.85 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.86 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.87 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.88 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.79/0.89 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.91 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.92 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.93 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.94 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.95 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.96 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.97 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.98 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.89/0.99 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
1.00/1.00 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
1.00/1.01 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
1.00/1.02 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
1.00/1.03 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
1.00/1.04 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
1.00/1.05 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
1.00/1.06 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
1.00/1.07 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
1.00/1.08 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.00/1.09 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.00/1.10 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.10/1.11 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.10/1.12 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.10/1.13 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.10/1.14 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.10/1.14 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.10/1.15 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.10/1.16 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.10/1.17 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.10/1.18 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.10/1.19 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.20 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.21 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.22 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.33 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.53 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.54 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.57 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.61 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.81 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.94 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.02 c (1.4s) probing: 714/2095 (34.1%) - 1 fixings, 182 aggregations, 4766 implications, 0 bound changes
1.99/2.02 c (1.4s) probing aborted: 100/100 successive totally useless probings
1.99/2.03 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.07 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
1.99/2.09 c (1.4s) probing: 724/2095 (34.6%) - 1 fixings, 182 aggregations, 4766 implications, 0 bound changes
1.99/2.09 c (1.4s) probing aborted: 100/100 successive totally useless probings
1.99/2.09 c presolving (77 rounds):
1.99/2.09 c 4443 deleted vars, 7436 deleted constraints, 1008 tightened bounds, 0 added holes, 201 changed sides, 398 changed coefficients
1.99/2.09 c 118380 implications, 0 cliques
1.99/2.09 c presolved problem has 1909 variables (1909 bin, 0 int, 0 impl, 0 cont) and 6017 constraints
1.99/2.09 c 6017 constraints of type <logicor>
1.99/2.09 c transformed objective value is always integral (scale: 1)
1.99/2.09 c Presolving Time: 1.40
1.99/2.09 c - non default parameters ----------------------------------------------------------------------
1.99/2.09 c # SCIP version 1.2.1.2
1.99/2.09 c
1.99/2.09 c # maximal number of intermediate conflict constraints generated in conflict graph (-1: use every intermediate constraint)
1.99/2.09 c # [type: int, range: [-1,2147483647], default: -1]
1.99/2.09 c conflict/interconss = 0
1.99/2.09 c
1.99/2.09 c # should binary conflicts be preferred?
1.99/2.09 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.99/2.09 c conflict/preferbinary = TRUE
1.99/2.09 c
1.99/2.09 c # maximum age an unnecessary constraint can reach before it is deleted (0: dynamic, -1: keep all constraints)
1.99/2.09 c # [type: int, range: [-1,2147483647], default: 0]
1.99/2.09 c constraints/agelimit = 1
1.99/2.09 c
1.99/2.09 c # should enforcement of pseudo solution be disabled?
1.99/2.09 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.99/2.09 c constraints/disableenfops = TRUE
1.99/2.09 c
1.99/2.09 c # frequency for displaying node information lines
1.99/2.09 c # [type: int, range: [-1,2147483647], default: 100]
1.99/2.09 c display/freq = 10000
1.99/2.09 c
1.99/2.09 c # maximal time in seconds to run
1.99/2.09 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1.99/2.09 c limits/time = 1799.75
1.99/2.09 c
1.99/2.09 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1.99/2.09 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1.99/2.09 c limits/memory = 1620
1.99/2.09 c
1.99/2.09 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
1.99/2.09 c # [type: int, range: [-1,2147483647], default: 1]
1.99/2.09 c lp/solvefreq = 0
1.99/2.09 c
1.99/2.09 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)
1.99/2.09 c # [type: char, range: {lafpsqd}, default: l]
1.99/2.09 c lp/pricing = a
1.99/2.09 c
1.99/2.09 c # should presolving try to simplify inequalities
1.99/2.09 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.99/2.09 c constraints/linear/simplifyinequalities = TRUE
1.99/2.09 c
1.99/2.09 c # should presolving try to simplify knapsacks
1.99/2.09 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.99/2.09 c constraints/knapsack/simplifyinequalities = TRUE
1.99/2.09 c
1.99/2.09 c # priority of node selection rule <dfs> in standard mode
1.99/2.09 c # [type: int, range: [-536870912,536870911], default: 0]
1.99/2.09 c nodeselection/dfs/stdpriority = 1000000
1.99/2.09 c
1.99/2.09 c -----------------------------------------------------------------------------------------------
1.99/2.09 c start solving
1.99/2.10 c
2.29/2.36 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
2.29/2.36 c 1.7s| 1 | 0 | 1830 | - | 22M| 0 |1225 |1909 |6017 |1909 |5831 | 0 | 0 | 0 | 2.821920e+03 | -- | Inf
3.39/3.41 c 2.7s| 1 | 0 | 3280 | - | 23M| 0 |1136 |1909 |6017 |1909 |6124 | 293 | 0 | 0 | 2.873893e+03 | -- | Inf
3.79/3.84 c 3.1s| 1 | 0 | 3688 | - | 23M| 0 |1144 |1909 |6017 |1909 |6157 | 326 | 0 | 0 | 2.882032e+03 | -- | Inf
4.18/4.30 c 3.6s| 1 | 0 | 4078 | - | 24M| 0 |1174 |1909 |6017 |1909 |6190 | 359 | 0 | 0 | 2.888708e+03 | -- | Inf
4.78/4.89 c 4.2s| 1 | 0 | 4596 | - | 25M| 0 |1187 |1909 |6017 |1909 |6222 | 391 | 0 | 0 | 2.896277e+03 | -- | Inf
5.40/5.48 c 4.8s| 1 | 0 | 5092 | - | 26M| 0 |1183 |1909 |6017 |1909 |6264 | 433 | 0 | 0 | 2.905951e+03 | -- | Inf
6.08/6.19 c 5.5s| 1 | 0 | 5772 | - | 27M| 0 |1207 |1909 |6017 |1909 |6302 | 471 | 0 | 0 | 2.914381e+03 | -- | Inf
6.99/7.07 c 6.3s| 1 | 0 | 6357 | - | 27M| 0 |1218 |1909 |6017 |1909 |6349 | 518 | 0 | 0 | 2.923046e+03 | -- | Inf
7.69/7.77 c 7.0s| 1 | 0 | 6826 | - | 28M| 0 |1224 |1909 |6017 |1909 |6387 | 556 | 0 | 0 | 2.932012e+03 | -- | Inf
8.49/8.58 c 7.8s| 1 | 0 | 7439 | - | 29M| 0 |1235 |1909 |6017 |1909 |6434 | 603 | 0 | 0 | 2.942617e+03 | -- | Inf
9.38/9.40 c 8.6s| 1 | 0 | 8223 | - | 30M| 0 |1265 |1909 |6017 |1909 |6479 | 648 | 0 | 0 | 2.950350e+03 | -- | Inf
10.38/10.41 c 9.6s| 1 | 0 | 9027 | - | 30M| 0 |1263 |1909 |6017 |1909 |6337 | 706 | 0 | 0 | 2.962390e+03 | -- | Inf
10.99/11.02 c 10.2s| 1 | 0 | 9738 | - | 31M| 0 |1274 |1909 |6017 |1909 |6392 | 761 | 0 | 0 | 2.975764e+03 | -- | Inf
11.58/11.61 c 10.8s| 1 | 0 | 10321 | - | 31M| 0 |1281 |1909 |6017 |1909 |6443 | 812 | 0 | 0 | 2.985543e+03 | -- | Inf
12.18/12.28 c 11.5s| 1 | 0 | 11152 | - | 32M| 0 |1350 |1909 |6017 |1909 |6503 | 872 | 0 | 0 | 2.994402e+03 | -- | Inf
12.78/12.86 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
12.78/12.86 c 12.0s| 1 | 0 | 11844 | - | 33M| 0 |1322 |1909 |6017 |1909 |6558 | 927 | 0 | 0 | 3.003290e+03 | -- | Inf
13.58/13.69 c 12.8s| 1 | 0 | 12708 | - | 34M| 0 |1354 |1909 |6017 |1909 |6623 | 992 | 0 | 0 | 3.013374e+03 | -- | Inf
14.38/14.42 c 13.6s| 1 | 0 | 13424 | - | 34M| 0 |1382 |1909 |6017 |1909 |6542 |1042 | 0 | 0 | 3.022455e+03 | -- | Inf
14.98/15.01 c 14.2s| 1 | 0 | 14121 | - | 35M| 0 |1427 |1909 |6017 |1909 |6599 |1099 | 0 | 0 | 3.029513e+03 | -- | Inf
15.58/15.63 c 14.8s| 1 | 0 | 14823 | - | 36M| 0 |1402 |1909 |6017 |1909 |6655 |1155 | 0 | 0 | 3.036856e+03 | -- | Inf
16.18/16.27 c 15.4s| 1 | 0 | 15450 | - | 37M| 0 |1368 |1909 |6017 |1909 |6702 |1202 | 0 | 0 | 3.043701e+03 | -- | Inf
16.98/17.09 c 16.2s| 1 | 0 | 16506 | - | 37M| 0 |1459 |1909 |6017 |1909 |6753 |1253 | 0 | 0 | 3.049600e+03 | -- | Inf
17.59/17.62 c 16.7s| 1 | 0 | 17178 | - | 38M| 0 |1482 |1909 |6017 |1909 |6809 |1309 | 0 | 0 | 3.054698e+03 | -- | Inf
18.38/18.42 c 17.5s| 1 | 0 | 18120 | - | 38M| 0 |1536 |1909 |6017 |1909 |6643 |1353 | 0 | 0 | 3.061832e+03 | -- | Inf
18.98/19.01 c 18.1s| 1 | 0 | 19015 | - | 38M| 0 |1577 |1909 |6017 |1909 |6686 |1396 | 0 | 0 | 3.065990e+03 | -- | Inf
19.69/19.79 c 18.9s| 1 | 0 | 20091 | - | 39M| 0 |1595 |1909 |6017 |1909 |6729 |1439 | 0 | 0 | 3.070810e+03 | -- | Inf
20.48/20.57 c 19.6s| 1 | 0 | 20920 | - | 39M| 0 |1584 |1909 |6017 |1909 |6770 |1480 | 0 | 0 | 3.074749e+03 | -- | Inf
21.38/21.42 c 20.4s| 1 | 0 | 21775 | - | 39M| 0 |1620 |1909 |6017 |1909 |6813 |1523 | 0 | 0 | 3.079589e+03 | -- | Inf
22.28/22.32 c 21.4s| 1 | 0 | 22996 | - | 40M| 0 |1569 |1909 |6017 |1909 |6855 |1565 | 0 | 0 | 3.084042e+03 | -- | Inf
23.58/23.64 c 22.6s| 1 | 0 | 24401 | - | 40M| 0 |1629 |1909 |6017 |1909 |6628 |1597 | 0 | 0 | 3.085882e+03 | -- | Inf
24.58/24.60 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
24.58/24.60 c 23.6s| 1 | 0 | 25672 | - | 41M| 0 |1558 |1909 |6017 |1909 |6656 |1625 | 0 | 0 | 3.088828e+03 | -- | Inf
25.18/25.30 c 24.3s| 1 | 0 | 26556 | - | 41M| 0 |1591 |1909 |6017 |1909 |6685 |1654 | 0 | 0 | 3.090537e+03 | -- | Inf
25.97/26.09 c 25.1s| 1 | 0 | 27439 | - | 41M| 0 |1611 |1909 |6017 |1909 |6721 |1690 | 0 | 0 | 3.092574e+03 | -- | Inf
27.39/27.47 c 26.4s| 1 | 0 | 28203 | - | 41M| 0 |1635 |1909 |6017 |1909 |6750 |1719 | 0 | 0 | 3.093922e+03 | -- | Inf
28.59/28.67 c 27.6s| 1 | 0 | 28780 | - | 42M| 0 |1606 |1909 |6017 |1909 |6776 |1745 | 0 | 0 | 3.094799e+03 | -- | Inf
30.18/30.29 c 29.2s| 1 | 0 | 29631 | - | 42M| 0 |1623 |1909 |6017 |1909 |6568 |1767 | 0 | 0 | 3.097573e+03 | -- | Inf
31.67/31.74 c 30.6s| 1 | 0 | 30355 | - | 42M| 0 |1604 |1909 |6017 |1909 |6591 |1790 | 0 | 0 | 3.099502e+03 | -- | Inf
32.67/32.78 c 31.7s| 1 | 0 | 31024 | - | 42M| 0 |1585 |1909 |6017 |1909 |6622 |1821 | 0 | 0 | 3.101598e+03 | -- | Inf
33.98/34.00 c 32.9s| 1 | 0 | 31442 | - | 42M| 0 |1586 |1909 |6017 |1909 |6642 |1841 | 0 | 0 | 3.102155e+03 | -- | Inf
35.26/35.34 c 34.2s| 1 | 0 | 32034 | - | 42M| 0 |1613 |1909 |6017 |1909 |6657 |1856 | 0 | 0 | 3.103072e+03 | -- | Inf
36.37/36.47 c 35.3s| 1 | 0 | 32410 | - | 42M| 0 |1596 |1909 |6017 |1909 |6675 |1874 | 0 | 0 | 3.103939e+03 | -- | Inf
37.67/37.73 c 36.6s| 1 | 0 | 32828 | - | 43M| 0 |1612 |1909 |6017 |1909 |6495 |1892 | 0 | 0 | 3.105010e+03 | -- | Inf
38.48/38.59 c 37.4s| 1 | 0 | 33266 | - | 43M| 0 |1628 |1909 |6017 |1909 |6508 |1905 | 0 | 0 | 3.105612e+03 | -- | Inf
39.76/39.81 c 38.6s| 1 | 0 | 33748 | - | 43M| 0 |1605 |1909 |6017 |1909 |6526 |1923 | 0 | 0 | 3.106427e+03 | -- | Inf
40.96/41.05 c 39.8s| 1 | 0 | 34153 | - | 43M| 0 |1629 |1909 |6017 |1909 |6542 |1939 | 0 | 0 | 3.106804e+03 | -- | Inf
42.16/42.27 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
42.16/42.27 c 41.0s| 1 | 0 | 34457 | - | 43M| 0 |1641 |1909 |6017 |1909 |6558 |1955 | 0 | 0 | 3.106953e+03 | -- | Inf
43.36/43.44 c 42.2s| 1 | 0 | 34909 | - | 43M| 0 |1620 |1909 |6017 |1909 |6574 |1971 | 0 | 0 | 3.107972e+03 | -- | Inf
44.56/44.66 c 43.4s| 1 | 0 | 35170 | - | 43M| 0 |1616 |1909 |6017 |1909 |6434 |1981 | 0 | 0 | 3.108586e+03 | -- | Inf
45.76/45.87 c 44.6s| 1 | 0 | 35410 | - | 43M| 0 |1616 |1909 |6017 |1909 |6439 |1986 | 0 | 0 | 3.108819e+03 | -- | Inf
46.96/47.02 c 45.8s| 1 | 0 | 35586 | - | 43M| 0 |1595 |1909 |6017 |1909 |6447 |1994 | 0 | 0 | 3.109005e+03 | -- | Inf
48.16/48.21 c 46.9s| 1 | 0 | 35712 | - | 43M| 0 |1566 |1909 |6017 |1909 |6452 |1999 | 0 | 0 | 3.109044e+03 | -- | Inf
49.37/49.44 c 48.1s| 1 | 0 | 36021 | - | 44M| 0 |1570 |1909 |6017 |1909 |6462 |2009 | 0 | 0 | 3.109422e+03 | -- | Inf
50.57/50.64 c 49.3s| 1 | 0 | 36349 | - | 44M| 0 |1592 |1909 |6017 |1909 |6469 |2016 | 0 | 0 | 3.109895e+03 | -- | Inf
51.86/51.91 c 50.6s| 1 | 0 | 36756 | - | 44M| 0 |1585 |1909 |6017 |1909 |6391 |2021 | 0 | 0 | 3.110275e+03 | -- | Inf
52.96/53.08 c 51.8s| 1 | 0 | 36929 | - | 44M| 0 |1583 |1909 |6017 |1909 |6396 |2026 | 0 | 0 | 3.110521e+03 | -- | Inf
54.16/54.26 c 52.9s| 1 | 0 | 37147 | - | 44M| 0 |1600 |1909 |6017 |1909 |6402 |2032 | 0 | 0 | 3.110691e+03 | -- | Inf
55.36/55.48 c 54.1s| 1 | 0 | 37607 | - | 44M| 0 |1562 |1909 |6017 |1909 |6407 |2037 | 0 | 0 | 3.111727e+03 | -- | Inf
56.46/56.54 c 55.2s| 1 | 0 | 37751 | - | 44M| 0 |1570 |1909 |6017 |1909 |6417 |2047 | 0 | 0 | 3.112448e+03 | -- | Inf
57.66/57.78 c 56.4s| 1 | 0 | 38040 | - | 44M| 0 |1565 |1909 |6017 |1909 |6425 |2055 | 0 | 0 | 3.112823e+03 | -- | Inf
59.06/59.12 c 57.7s| 1 | 0 | 38381 | - | 44M| 0 |1552 |1909 |6017 |1909 |6363 |2061 | 0 | 0 | 3.113579e+03 | -- | Inf
60.15/60.26 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
60.15/60.26 c 58.9s| 1 | 0 | 38596 | - | 44M| 0 |1561 |1909 |6017 |1909 |6369 |2067 | 0 | 0 | 3.113874e+03 | -- | Inf
61.26/61.37 c 60.0s| 1 | 0 | 38608 | - | 44M| 0 |1563 |1909 |6017 |1909 |6372 |2070 | 0 | 0 | 3.113874e+03 | -- | Inf
62.36/62.44 c 61.0s| 1 | 0 | 38625 | - | 44M| 0 |1563 |1909 |6017 |1909 |6373 |2071 | 0 | 0 | 3.113874e+03 | -- | Inf
65.05/65.10 c 63.6s| 1 | 2 | 38625 | - | 44M| 0 |1563 |1909 |6017 |1909 |6373 |2071 | 0 | 18 | 3.113874e+03 | -- | Inf
97.24/97.30 c 94.9s| 10000 | 38 | 38625 | 0.0 | 45M| 54 | - |1909 |6071 | 0 | 0 |2071 |6632 | 18 | 3.114050e+03 | -- | Inf
130.63/130.77 c 127s| 20000 | 37 | 38625 | 0.0 | 45M| 54 | - |1909 |6105 | 0 | 0 |2071 | 13k| 18 | 3.114050e+03 | -- | Inf
164.83/164.93 c 161s| 30000 | 36 | 38625 | 0.0 | 45M| 54 | - |1909 |6125 | 0 | 0 |2071 | 20k| 18 | 3.114050e+03 | -- | Inf
200.61/200.74 c 195s| 40000 | 38 | 38625 | 0.0 | 45M| 54 | - |1909 |6137 | 0 | 0 |2071 | 26k| 18 | 3.114050e+03 | -- | Inf
234.99/235.15 c 229s| 50000 | 35 | 38625 | 0.0 | 45M| 54 | - |1909 |6162 | 0 | 0 |2071 | 33k| 18 | 3.114050e+03 | -- | Inf
273.17/273.35 c 266s| 60000 | 34 | 38625 | 0.0 | 45M| 54 | - |1909 |6163 | 0 | 0 |2071 | 40k| 18 | 3.114050e+03 | -- | Inf
312.96/313.10 c 305s| 70000 | 37 | 38625 | 0.0 | 45M| 54 | - |1909 |6124 | 0 | 0 |2071 | 46k| 18 | 3.114050e+03 | -- | Inf
352.74/352.97 c 343s| 80000 | 36 | 38625 | 0.0 | 45M| 54 | - |1909 |6155 | 0 | 0 |2071 | 53k| 18 | 3.114050e+03 | -- | Inf
390.83/391.00 c 380s| 90000 | 32 | 38625 | 0.0 | 45M| 54 | - |1909 |6188 | 0 | 0 |2071 | 60k| 18 | 3.114050e+03 | -- | Inf
426.22/426.41 c 415s|100000 | 31 | 38625 | 0.0 | 45M| 54 | - |1909 |6224 | 0 | 0 |2071 | 67k| 18 | 3.114050e+03 | -- | Inf
461.41/461.69 c 449s|110000 | 35 | 38625 | 0.0 | 45M| 54 | - |1909 |6224 | 0 | 0 |2071 | 73k| 18 | 3.114050e+03 | -- | Inf
497.38/497.62 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
497.38/497.62 c 484s|120000 | 34 | 38625 | 0.0 | 45M| 54 | - |1909 |6290 | 0 | 0 |2071 | 80k| 18 | 3.114050e+03 | -- | Inf
532.48/532.72 c 518s|130000 | 35 | 38625 | 0.0 | 45M| 54 | - |1909 |6292 | 0 | 0 |2071 | 87k| 18 | 3.114050e+03 | -- | Inf
567.66/567.99 c 552s|140000 | 35 | 38625 | 0.0 | 45M| 54 | - |1909 |6353 | 0 | 0 |2071 | 94k| 18 | 3.114050e+03 | -- | Inf
603.15/603.41 c 587s|150000 | 37 | 38625 | 0.0 | 45M| 54 | - |1909 |6298 | 0 | 0 |2071 | 100k| 18 | 3.114050e+03 | -- | Inf
639.43/639.73 c 622s|160000 | 35 | 38625 | 0.0 | 45M| 54 | - |1909 |6345 | 0 | 0 |2071 | 107k| 18 | 3.114050e+03 | -- | Inf
675.82/676.11 c 657s|170000 | 34 | 38625 | 0.0 | 45M| 54 | - |1909 |6357 | 0 | 0 |2071 | 114k| 18 | 3.114050e+03 | -- | Inf
710.50/710.88 c 691s|180000 | 35 | 38625 | 0.0 | 45M| 54 | - |1909 |6346 | 0 | 0 |2071 | 120k| 18 | 3.114050e+03 | -- | Inf
744.49/744.83 c 724s|190000 | 38 | 38625 | 0.0 | 45M| 54 | - |1909 |6347 | 0 | 0 |2071 | 127k| 18 | 3.114050e+03 | -- | Inf
779.38/779.71 c 758s|200000 | 32 | 38625 | 0.0 | 45M| 54 | - |1909 |6397 | 0 | 0 |2071 | 134k| 18 | 3.114050e+03 | -- | Inf
817.97/818.36 c 796s|210000 | 35 | 38625 | 0.0 | 45M| 54 | - |1909 |6370 | 0 | 0 |2071 | 141k| 18 | 3.114050e+03 | -- | Inf
852.75/853.12 c 829s|220000 | 36 | 38625 | 0.0 | 45M| 54 | - |1909 |6378 | 0 | 0 |2071 | 147k| 18 | 3.114050e+03 | -- | Inf
886.33/886.77 c 862s|230000 | 34 | 38625 | 0.0 | 45M| 54 | - |1909 |6350 | 0 | 0 |2071 | 154k| 18 | 3.114050e+03 | -- | Inf
926.93/927.32 c 902s|240000 | 33 | 38625 | 0.0 | 45M| 54 | - |1909 |6399 | 0 | 0 |2071 | 161k| 18 | 3.114050e+03 | -- | Inf
965.21/965.63 c 939s|250000 | 32 | 38625 | 0.0 | 45M| 54 | - |1909 |6390 | 0 | 0 |2071 | 168k| 18 | 3.114050e+03 | -- | Inf
1002.10/1002.51 c 975s|260000 | 36 | 38625 | 0.0 | 45M| 54 | - |1909 |6373 | 0 | 0 |2071 | 174k| 18 | 3.114050e+03 | -- | Inf
1038.58/1039.01 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1038.58/1039.01 c 1010s|270000 | 32 | 38625 | 0.0 | 45M| 54 | - |1909 |6404 | 0 | 0 |2071 | 181k| 18 | 3.114050e+03 | -- | Inf
1076.77/1077.22 c 1048s|280000 | 35 | 38625 | 0.0 | 45M| 54 | - |1909 |6387 | 0 | 0 |2071 | 188k| 18 | 3.114050e+03 | -- | Inf
1114.16/1114.63 c 1084s|290000 | 37 | 38625 | 0.0 | 45M| 54 | - |1909 |6393 | 0 | 0 |2071 | 195k| 18 | 3.114050e+03 | -- | Inf
1150.54/1151.00 c 1119s|300000 | 32 | 38625 | 0.0 | 45M| 54 | - |1909 |6431 | 0 | 0 |2071 | 201k| 18 | 3.114050e+03 | -- | Inf
1187.23/1187.73 c 1155s|310000 | 35 | 38625 | 0.0 | 45M| 54 | - |1909 |6416 | 0 | 0 |2071 | 208k| 18 | 3.114050e+03 | -- | Inf
1223.52/1224.04 c 1190s|320000 | 33 | 38625 | 0.0 | 45M| 54 | - |1909 |6438 | 0 | 0 |2071 | 215k| 18 | 3.114050e+03 | -- | Inf
1258.20/1258.79 c 1224s|330000 | 35 | 38625 | 0.0 | 45M| 54 | - |1909 |6432 | 0 | 0 |2071 | 221k| 18 | 3.114050e+03 | -- | Inf
1294.79/1295.32 c 1260s|340000 | 34 | 38625 | 0.0 | 45M| 54 | - |1909 |6443 | 0 | 0 |2071 | 228k| 18 | 3.114050e+03 | -- | Inf
1329.28/1329.89 c 1293s|350000 | 29 | 38625 | 0.0 | 45M| 54 | - |1909 |6485 | 0 | 0 |2071 | 235k| 18 | 3.114050e+03 | -- | Inf
1366.96/1367.57 c 1330s|360000 | 34 | 38625 | 0.0 | 45M| 54 | - |1909 |6453 | 0 | 0 |2071 | 241k| 18 | 3.114050e+03 | -- | Inf
1405.65/1406.25 c 1368s|370000 | 35 | 38625 | 0.0 | 45M| 54 | - |1909 |6463 | 0 | 0 |2071 | 248k| 18 | 3.114050e+03 | -- | Inf
1443.03/1443.63 c 1404s|380000 | 33 | 38625 | 0.0 | 45M| 54 | - |1909 |6488 | 0 | 0 |2071 | 255k| 18 | 3.114050e+03 | -- | Inf
1478.72/1479.35 c 1439s|390000 | 31 | 38625 | 0.0 | 45M| 54 | - |1909 |6498 | 0 | 0 |2071 | 262k| 18 | 3.114050e+03 | -- | Inf
1512.81/1513.44 c 1472s|400000 | 31 | 38625 | 0.0 | 45M| 54 | - |1909 |6525 | 0 | 0 |2071 | 268k| 18 | 3.114050e+03 | -- | Inf
1554.29/1554.91 c 1512s|410000 | 34 | 38625 | 0.0 | 45M| 54 | - |1909 |6237 | 0 | 0 |2071 | 275k| 18 | 3.114050e+03 | -- | Inf
1591.48/1592.12 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1591.48/1592.12 c 1548s|420000 | 38 | 38625 | 0.0 | 45M| 54 | - |1909 |6247 | 0 | 0 |2071 | 282k| 18 | 3.114050e+03 | -- | Inf
1626.76/1627.43 c 1583s|430000 | 36 | 38625 | 0.0 | 45M| 54 | - |1909 |6253 | 0 | 0 |2071 | 289k| 18 | 3.114050e+03 | -- | Inf
1662.46/1663.16 c 1618s|440000 | 37 | 38625 | 0.0 | 45M| 54 | - |1909 |6252 | 0 | 0 |2071 | 295k| 18 | 3.114050e+03 | -- | Inf
1698.34/1699.04 c 1653s|450000 | 33 | 38625 | 0.0 | 45M| 54 | - |1909 |6287 | 0 | 0 |2071 | 302k| 18 | 3.114050e+03 | -- | Inf
1732.22/1732.98 c 1685s|460000 | 35 | 38625 | 0.0 | 45M| 54 | - |1909 |6275 | 0 | 0 |2071 | 309k| 18 | 3.114050e+03 | -- | Inf
1767.22/1767.96 c 1719s|470000 | 37 | 38625 | 0.0 | 45M| 54 | - |1909 |6263 | 0 | 0 |2071 | 316k| 18 | 3.114050e+03 | -- | Inf
1800.02/1800.71 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.02/1800.71 c
1800.02/1800.71 c SCIP Status : solving was interrupted [user interrupt]
1800.02/1800.71 c Solving Time (sec) : 1751.35
1800.02/1800.71 c Solving Nodes : 479727
1800.02/1800.71 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1800.02/1800.71 c Dual Bound : +3.11405033761982e+03
1800.02/1800.71 c Gap : infinite
1800.02/1800.71 s UNKNOWN
1800.02/1800.71 c SCIP Status : solving was interrupted [user interrupt]
1800.02/1800.71 c Solving Time : 1751.35
1800.02/1800.71 c Original Problem :
1800.02/1800.71 c Problem name : HOME/instance-2665435-1276473664.opb
1800.02/1800.71 c Variables : 6352 (6352 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.02/1800.71 c Constraints : 13453 initial, 13453 maximal
1800.02/1800.71 c Presolved Problem :
1800.02/1800.71 c Problem name : t_HOME/instance-2665435-1276473664.opb
1800.02/1800.71 c Variables : 1909 (1909 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.02/1800.71 c Constraints : 6017 initial, 6544 maximal
1800.02/1800.71 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.02/1800.71 c trivial : 0.01 49 0 0 0 0 0 0 0
1800.02/1800.71 c dualfix : 0.01 0 0 0 0 0 0 0 0
1800.02/1800.71 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.71 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.71 c implics : 0.11 0 3215 0 0 0 0 0 0
1800.02/1800.71 c probing : 0.49 1 182 0 0 0 0 0 0
1800.02/1800.71 c linear : 0.46 959 37 0 1008 0 7422 201 398
1800.02/1800.71 c logicor : 0.22 0 0 0 0 0 14 0 0
1800.02/1800.71 c root node : - 0 - - 0 - - - -
1800.02/1800.71 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.02/1800.71 c integral : 0 0 0 1 0 0 0 0 0 2
1800.02/1800.71 c logicor : 6017+ 63 8344483 0 0 318793 84501160 0 0 0
1800.02/1800.71 c countsols : 0 0 0 0 0 0 0 0 0 0
1800.02/1800.71 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.02/1800.71 c integral : 1.51 0.00 0.00 1.51 0.00
1800.02/1800.71 c logicor : 634.24 0.08 634.16 0.00 0.00
1800.02/1800.71 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.02/1800.71 c Propagators : Time Calls Cutoffs DomReds
1800.02/1800.71 c vbounds : 4.64 2 0 0
1800.02/1800.71 c rootredcost : 3.85 0 0 0
1800.02/1800.71 c pseudoobj : 500.62 8652121 0 0
1800.02/1800.71 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.02/1800.71 c propagation : 149.57 318792 318792 318792 28.8 3992 13.8 -
1800.02/1800.71 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.02/1800.71 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.02/1800.71 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.02/1800.71 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.02/1800.71 c applied globally : - - - 322771 28.6 - - -
1800.02/1800.71 c applied locally : - - - 0 0.0 - - -
1800.02/1800.71 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.02/1800.71 c cut pool : 0.51 62 - - 3048 - (maximal pool size: 15969)
1800.02/1800.71 c redcost : 0.02 63 0 0 0 0
1800.02/1800.71 c impliedbounds : 0.09 63 0 0 550 0
1800.02/1800.71 c intobj : 0.00 0 0 0 0 0
1800.02/1800.71 c cgmip : 0.00 0 0 0 0 0
1800.02/1800.71 c gomory : 35.05 63 0 0 23344 0
1800.02/1800.71 c strongcg : 2.10 20 0 0 10000 0
1800.02/1800.71 c cmir : 0.57 10 0 0 0 0
1800.02/1800.71 c flowcover : 0.54 10 0 0 0 0
1800.02/1800.71 c clique : 0.07 63 0 0 16 0
1800.02/1800.71 c zerohalf : 0.00 0 0 0 0 0
1800.02/1800.71 c mcf : 0.01 1 0 0 0 0
1800.02/1800.71 c rapidlearning : 0.00 0 0 0 0 0
1800.02/1800.71 c Pricers : Time Calls Vars
1800.02/1800.71 c problem variables: 0.00 0 0
1800.02/1800.71 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.02/1800.71 c relpscost : 1.51 1 0 0 0 0 2
1800.02/1800.71 c pscost : 0.00 0 0 0 0 0 0
1800.02/1800.71 c inference : 80.76 320336 0 0 0 0 640672
1800.02/1800.71 c mostinf : 0.00 0 0 0 0 0 0
1800.02/1800.71 c leastinf : 0.00 0 0 0 0 0 0
1800.02/1800.71 c fullstrong : 0.00 0 0 0 0 0 0
1800.02/1800.71 c allfullstrong : 0.00 0 0 0 0 0 0
1800.02/1800.71 c random : 0.00 0 0 0 0 0 0
1800.02/1800.71 c Primal Heuristics : Time Calls Found
1800.02/1800.71 c LP solutions : 0.00 - 0
1800.02/1800.71 c pseudo solutions : 0.00 - 0
1800.02/1800.71 c oneopt : 0.38 0 0
1800.02/1800.71 c crossover : 0.00 0 0
1800.02/1800.71 c trivial : 0.01 2 0
1800.02/1800.71 c simplerounding : 0.00 0 0
1800.02/1800.71 c zirounding : 0.00 1 0
1800.02/1800.71 c rounding : 0.14 63 0
1800.02/1800.71 c shifting : 1.00 63 0
1800.02/1800.71 c intshifting : 0.00 0 0
1800.02/1800.71 c twoopt : 0.00 0 0
1800.02/1800.71 c fixandinfer : 0.00 0 0
1800.02/1800.71 c feaspump : 0.06 1 0
1800.02/1800.71 c coefdiving : 0.00 0 0
1800.02/1800.71 c pscostdiving : 0.00 0 0
1800.02/1800.71 c fracdiving : 0.00 0 0
1800.02/1800.71 c veclendiving : 0.00 0 0
1800.02/1800.71 c intdiving : 0.00 0 0
1800.02/1800.71 c actconsdiving : 0.00 0 0
1800.02/1800.71 c objpscostdiving : 0.00 0 0
1800.02/1800.71 c rootsoldiving : 0.00 0 0
1800.02/1800.71 c linesearchdiving : 0.00 0 0
1800.02/1800.71 c guideddiving : 0.00 0 0
1800.02/1800.71 c octane : 0.00 0 0
1800.02/1800.71 c rens : 0.01 0 0
1800.02/1800.71 c rins : 0.00 0 0
1800.02/1800.71 c localbranching : 0.00 0 0
1800.02/1800.71 c mutation : 0.00 0 0
1800.02/1800.71 c dins : 0.00 0 0
1800.02/1800.71 c undercover : 0.00 0 0
1800.02/1800.71 c nlp : 0.53 0 0
1800.02/1800.71 c trysol : 0.29 0 0
1800.02/1800.71 c LP : Time Calls Iterations Iter/call Iter/sec
1800.02/1800.71 c primal LP : 0.11 0 0 0.00 0.00
1800.02/1800.71 c dual LP : 19.74 63 38625 613.10 1956.69
1800.02/1800.71 c lex dual LP : 0.00 0 0 0.00 -
1800.02/1800.71 c barrier LP : 0.00 0 0 0.00 -
1800.02/1800.71 c diving/probing LP: 0.01 0 0 0.00 0.00
1800.02/1800.71 c strong branching : 1.51 18 1827 101.50 1209.93
1800.02/1800.71 c (at root node) : - 18 1827 101.50 -
1800.02/1800.71 c conflict analysis: 0.00 0 0 0.00 -
1800.02/1800.71 c B&B Tree :
1800.02/1800.71 c number of runs : 1
1800.02/1800.71 c nodes : 479727
1800.02/1800.71 c nodes (total) : 479727
1800.02/1800.71 c nodes left : 34
1800.02/1800.71 c max depth : 54
1800.02/1800.71 c max depth (total): 54
1800.02/1800.71 c backtracks : 159480 (33.2%)
1800.02/1800.71 c delayed cutoffs : 160914
1800.02/1800.71 c repropagations : 470799 (42056862 domain reductions, 159402 cutoffs)
1800.02/1800.71 c avg switch length: 2.64
1800.02/1800.71 c switching time : 329.56
1800.02/1800.71 c Solution :
1800.02/1800.71 c Solutions found : 0 (0 improvements)
1800.02/1800.71 c Primal Bound : -
1800.02/1800.71 c Dual Bound : +3.11405033761982e+03
1800.02/1800.71 c Gap : infinite
1800.02/1800.71 c Root Dual Bound : +3.11387423331689e+03
1800.02/1800.71 c Root Iterations : 38625
1800.10/1800.82 c Time complete: 1800.12.