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-2666854-1276446668.opb>
0.19/0.26 c original problem has 6352 variables (6352 bin, 0 int, 0 impl, 0 cont) and 13489 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) 2925 del vars, 496 del conss, 323 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 38106 impls, 0 clqs
0.49/0.53 c (round 2) 3199 del vars, 4444 del conss, 358 chg bounds, 1 chg sides, 2 chg coeffs, 0 upgd conss, 49388 impls, 0 clqs
0.49/0.56 c (round 3) 3234 del vars, 4874 del conss, 373 chg bounds, 3 chg sides, 6 chg coeffs, 0 upgd conss, 49707 impls, 0 clqs
0.49/0.57 c (round 4) 3269 del vars, 4958 del conss, 389 chg bounds, 6 chg sides, 12 chg coeffs, 0 upgd conss, 50118 impls, 0 clqs
0.49/0.58 c (round 5) 3304 del vars, 5050 del conss, 403 chg bounds, 9 chg sides, 18 chg coeffs, 0 upgd conss, 50485 impls, 0 clqs
0.49/0.59 c (round 6) 3333 del vars, 5124 del conss, 415 chg bounds, 12 chg sides, 24 chg coeffs, 0 upgd conss, 50808 impls, 0 clqs
0.59/0.61 c (round 7) 3356 del vars, 5191 del conss, 425 chg bounds, 16 chg sides, 32 chg coeffs, 0 upgd conss, 51028 impls, 0 clqs
0.59/0.62 c (round 8) 3376 del vars, 5244 del conss, 434 chg bounds, 20 chg sides, 40 chg coeffs, 0 upgd conss, 51260 impls, 0 clqs
0.59/0.63 c (round 9) 3392 del vars, 5288 del conss, 442 chg bounds, 24 chg sides, 48 chg coeffs, 0 upgd conss, 51440 impls, 0 clqs
0.59/0.64 c (round 10) 3408 del vars, 5328 del conss, 450 chg bounds, 28 chg sides, 56 chg coeffs, 0 upgd conss, 51566 impls, 0 clqs
0.59/0.65 c (round 11) 3424 del vars, 5368 del conss, 458 chg bounds, 32 chg sides, 64 chg coeffs, 0 upgd conss, 51692 impls, 0 clqs
0.59/0.66 c (round 12) 3440 del vars, 5408 del conss, 466 chg bounds, 36 chg sides, 72 chg coeffs, 0 upgd conss, 51814 impls, 0 clqs
0.59/0.68 c (round 13) 3456 del vars, 5448 del conss, 474 chg bounds, 40 chg sides, 80 chg coeffs, 0 upgd conss, 51970 impls, 0 clqs
0.59/0.69 c (round 14) 3472 del vars, 5488 del conss, 482 chg bounds, 44 chg sides, 88 chg coeffs, 0 upgd conss, 52096 impls, 0 clqs
0.69/0.70 c (round 15) 3489 del vars, 5529 del conss, 491 chg bounds, 48 chg sides, 96 chg coeffs, 0 upgd conss, 52238 impls, 0 clqs
0.69/0.71 c (round 16) 3505 del vars, 5569 del conss, 499 chg bounds, 52 chg sides, 104 chg coeffs, 0 upgd conss, 52362 impls, 0 clqs
0.69/0.72 c (round 17) 3514 del vars, 5606 del conss, 508 chg bounds, 56 chg sides, 112 chg coeffs, 0 upgd conss, 52394 impls, 0 clqs
0.69/0.73 c (round 18) 3529 del vars, 5632 del conss, 517 chg bounds, 61 chg sides, 122 chg coeffs, 0 upgd conss, 52528 impls, 0 clqs
0.69/0.74 c (round 19) 3545 del vars, 5672 del conss, 527 chg bounds, 66 chg sides, 132 chg coeffs, 0 upgd conss, 52652 impls, 0 clqs
0.69/0.76 c (round 20) 3559 del vars, 5706 del conss, 535 chg bounds, 69 chg sides, 138 chg coeffs, 0 upgd conss, 52795 impls, 0 clqs
0.69/0.77 c (round 21) 3577 del vars, 5752 del conss, 547 chg bounds, 74 chg sides, 148 chg coeffs, 0 upgd conss, 52892 impls, 0 clqs
0.69/0.78 c (round 22) 3591 del vars, 5786 del conss, 555 chg bounds, 76 chg sides, 152 chg coeffs, 0 upgd conss, 53011 impls, 0 clqs
0.69/0.79 c (round 23) 3602 del vars, 5828 del conss, 566 chg bounds, 79 chg sides, 158 chg coeffs, 0 upgd conss, 53040 impls, 0 clqs
0.79/0.80 c (round 24) 3615 del vars, 5861 del conss, 578 chg bounds, 82 chg sides, 164 chg coeffs, 0 upgd conss, 53099 impls, 0 clqs
0.79/0.81 c (round 25) 3631 del vars, 5900 del conss, 592 chg bounds, 84 chg sides, 168 chg coeffs, 0 upgd conss, 53147 impls, 0 clqs
0.79/0.82 c (round 26) 3647 del vars, 5941 del conss, 606 chg bounds, 87 chg sides, 174 chg coeffs, 0 upgd conss, 53225 impls, 0 clqs
0.79/0.83 c (round 27) 3663 del vars, 5982 del conss, 620 chg bounds, 90 chg sides, 180 chg coeffs, 0 upgd conss, 53303 impls, 0 clqs
0.79/0.84 c (round 28) 3679 del vars, 6015 del conss, 633 chg bounds, 92 chg sides, 184 chg coeffs, 0 upgd conss, 53375 impls, 0 clqs
0.79/0.85 c (round 29) 3695 del vars, 6054 del conss, 646 chg bounds, 94 chg sides, 188 chg coeffs, 0 upgd conss, 53471 impls, 0 clqs
0.79/0.86 c (round 30) 3708 del vars, 6091 del conss, 658 chg bounds, 97 chg sides, 194 chg coeffs, 0 upgd conss, 53554 impls, 0 clqs
0.79/0.88 c (round 31) 3726 del vars, 6136 del conss, 672 chg bounds, 100 chg sides, 198 chg coeffs, 0 upgd conss, 53598 impls, 0 clqs
0.79/0.89 c (round 32) 3744 del vars, 6169 del conss, 684 chg bounds, 103 chg sides, 204 chg coeffs, 0 upgd conss, 53752 impls, 0 clqs
0.89/0.90 c (round 33) 3755 del vars, 6214 del conss, 694 chg bounds, 104 chg sides, 206 chg coeffs, 0 upgd conss, 53809 impls, 0 clqs
0.89/0.91 c (round 34) 3772 del vars, 6246 del conss, 709 chg bounds, 109 chg sides, 216 chg coeffs, 0 upgd conss, 53879 impls, 0 clqs
0.89/0.92 c (round 35) 3787 del vars, 6289 del conss, 724 chg bounds, 114 chg sides, 226 chg coeffs, 0 upgd conss, 53918 impls, 0 clqs
0.89/0.93 c (round 36) 3806 del vars, 6330 del conss, 740 chg bounds, 118 chg sides, 234 chg coeffs, 0 upgd conss, 54003 impls, 0 clqs
0.89/0.94 c (round 37) 3820 del vars, 6372 del conss, 751 chg bounds, 123 chg sides, 244 chg coeffs, 0 upgd conss, 54097 impls, 0 clqs
0.89/0.95 c (round 38) 3833 del vars, 6406 del conss, 765 chg bounds, 127 chg sides, 252 chg coeffs, 0 upgd conss, 54127 impls, 0 clqs
0.89/0.96 c (round 39) 3852 del vars, 6446 del conss, 778 chg bounds, 133 chg sides, 264 chg coeffs, 0 upgd conss, 54222 impls, 0 clqs
0.89/0.97 c (round 40) 3866 del vars, 6487 del conss, 789 chg bounds, 136 chg sides, 270 chg coeffs, 0 upgd conss, 54338 impls, 0 clqs
0.89/0.98 c (round 41) 3886 del vars, 6528 del conss, 805 chg bounds, 140 chg sides, 278 chg coeffs, 0 upgd conss, 54428 impls, 0 clqs
0.89/0.99 c (round 42) 3901 del vars, 6566 del conss, 815 chg bounds, 143 chg sides, 284 chg coeffs, 0 upgd conss, 54539 impls, 0 clqs
1.00/1.00 c (round 43) 3917 del vars, 6606 del conss, 827 chg bounds, 146 chg sides, 292 chg coeffs, 0 upgd conss, 54631 impls, 0 clqs
1.00/1.01 c (round 44) 3930 del vars, 6644 del conss, 841 chg bounds, 151 chg sides, 302 chg coeffs, 0 upgd conss, 54667 impls, 0 clqs
1.00/1.02 c (round 45) 3942 del vars, 6682 del conss, 851 chg bounds, 153 chg sides, 306 chg coeffs, 0 upgd conss, 54726 impls, 0 clqs
1.00/1.03 c (round 46) 3958 del vars, 6717 del conss, 867 chg bounds, 158 chg sides, 316 chg coeffs, 0 upgd conss, 54781 impls, 0 clqs
1.00/1.04 c (round 47) 3978 del vars, 6754 del conss, 883 chg bounds, 164 chg sides, 328 chg coeffs, 0 upgd conss, 54890 impls, 0 clqs
1.00/1.05 c (round 48) 3993 del vars, 6806 del conss, 897 chg bounds, 168 chg sides, 336 chg coeffs, 0 upgd conss, 54952 impls, 0 clqs
1.00/1.06 c (round 49) 4011 del vars, 6843 del conss, 911 chg bounds, 172 chg sides, 344 chg coeffs, 0 upgd conss, 55042 impls, 0 clqs
1.00/1.07 c (round 50) 4026 del vars, 6884 del conss, 922 chg bounds, 175 chg sides, 348 chg coeffs, 0 upgd conss, 55099 impls, 0 clqs
1.00/1.08 c (round 51) 4041 del vars, 6925 del conss, 937 chg bounds, 180 chg sides, 358 chg coeffs, 0 upgd conss, 55183 impls, 0 clqs
1.00/1.09 c (round 52) 4060 del vars, 6971 del conss, 952 chg bounds, 183 chg sides, 364 chg coeffs, 0 upgd conss, 55253 impls, 0 clqs
1.00/1.10 c (round 53) 4070 del vars, 7006 del conss, 966 chg bounds, 188 chg sides, 374 chg coeffs, 0 upgd conss, 55299 impls, 0 clqs
1.10/1.11 c (round 54) 4090 del vars, 7051 del conss, 983 chg bounds, 192 chg sides, 382 chg coeffs, 0 upgd conss, 55362 impls, 0 clqs
1.10/1.12 c (round 55) 4102 del vars, 7083 del conss, 994 chg bounds, 193 chg sides, 384 chg coeffs, 0 upgd conss, 55401 impls, 0 clqs
1.10/1.13 c (round 56) 4121 del vars, 7119 del conss, 1011 chg bounds, 198 chg sides, 394 chg coeffs, 0 upgd conss, 55481 impls, 0 clqs
1.10/1.14 c (round 57) 4138 del vars, 7169 del conss, 1025 chg bounds, 201 chg sides, 398 chg coeffs, 0 upgd conss, 55516 impls, 0 clqs
1.10/1.15 c (round 58) 4147 del vars, 7193 del conss, 1034 chg bounds, 204 chg sides, 404 chg coeffs, 0 upgd conss, 55586 impls, 0 clqs
1.10/1.16 c (round 59) 4162 del vars, 7225 del conss, 1046 chg bounds, 205 chg sides, 407 chg coeffs, 0 upgd conss, 55643 impls, 0 clqs
1.10/1.17 c (round 60) 4174 del vars, 7260 del conss, 1059 chg bounds, 211 chg sides, 417 chg coeffs, 0 upgd conss, 55674 impls, 0 clqs
1.10/1.18 c (round 61) 4186 del vars, 7290 del conss, 1070 chg bounds, 214 chg sides, 423 chg coeffs, 0 upgd conss, 55725 impls, 0 clqs
1.10/1.19 c (round 62) 4191 del vars, 7306 del conss, 1075 chg bounds, 214 chg sides, 423 chg coeffs, 0 upgd conss, 55745 impls, 0 clqs
1.19/1.20 c (round 63) 4198 del vars, 7319 del conss, 1080 chg bounds, 214 chg sides, 423 chg coeffs, 0 upgd conss, 55815 impls, 0 clqs
1.19/1.21 c (round 64) 4203 del vars, 7335 del conss, 1085 chg bounds, 216 chg sides, 427 chg coeffs, 0 upgd conss, 55832 impls, 0 clqs
1.19/1.21 c (round 65) 4208 del vars, 7348 del conss, 1090 chg bounds, 219 chg sides, 431 chg coeffs, 0 upgd conss, 55876 impls, 0 clqs
1.19/1.22 c (round 66) 4208 del vars, 7352 del conss, 1090 chg bounds, 219 chg sides, 431 chg coeffs, 0 upgd conss, 55896 impls, 0 clqs
1.29/1.33 c (round 67) 4208 del vars, 7355 del conss, 1090 chg bounds, 222 chg sides, 431 chg coeffs, 6134 upgd conss, 55896 impls, 0 clqs
1.49/1.53 c (round 68) 4258 del vars, 7355 del conss, 1090 chg bounds, 222 chg sides, 431 chg coeffs, 6134 upgd conss, 107042 impls, 0 clqs
1.49/1.54 c (round 69) 4259 del vars, 7361 del conss, 1090 chg bounds, 222 chg sides, 431 chg coeffs, 6134 upgd conss, 107124 impls, 0 clqs
1.49/1.57 c (round 70) 4261 del vars, 7361 del conss, 1090 chg bounds, 222 chg sides, 431 chg coeffs, 6134 upgd conss, 107180 impls, 0 clqs
1.59/1.68 c (round 71) 4261 del vars, 7380 del conss, 1090 chg bounds, 222 chg sides, 431 chg coeffs, 6134 upgd conss, 107180 impls, 0 clqs
1.79/1.89 c (round 72) 4311 del vars, 7380 del conss, 1090 chg bounds, 222 chg sides, 431 chg coeffs, 6134 upgd conss, 113668 impls, 0 clqs
1.99/2.01 c (round 73) 4361 del vars, 7380 del conss, 1090 chg bounds, 222 chg sides, 431 chg coeffs, 6134 upgd conss, 114388 impls, 0 clqs
1.99/2.06 c (round 74) 4361 del vars, 7386 del conss, 1090 chg bounds, 222 chg sides, 431 chg coeffs, 6134 upgd conss, 114388 impls, 0 clqs
2.09/2.17 c (1.5s) probing: 831/2144 (38.8%) - 1 fixings, 183 aggregations, 6555 implications, 0 bound changes
2.09/2.17 c (1.5s) probing aborted: 100/100 successive totally useless probings
2.09/2.17 c (round 75) 4395 del vars, 7386 del conss, 1090 chg bounds, 222 chg sides, 431 chg coeffs, 6134 upgd conss, 114802 impls, 0 clqs
2.09/2.20 c (1.6s) probing: 841/2144 (39.2%) - 1 fixings, 183 aggregations, 6555 implications, 0 bound changes
2.09/2.20 c (1.6s) probing aborted: 100/100 successive totally useless probings
2.09/2.20 c presolving (76 rounds):
2.09/2.20 c 4395 deleted vars, 7386 deleted constraints, 1090 tightened bounds, 0 added holes, 222 changed sides, 431 changed coefficients
2.09/2.20 c 114802 implications, 0 cliques
2.09/2.20 c presolved problem has 1957 variables (1957 bin, 0 int, 0 impl, 0 cont) and 6103 constraints
2.09/2.20 c 6103 constraints of type <logicor>
2.09/2.20 c transformed objective value is always integral (scale: 1)
2.09/2.20 c Presolving Time: 1.51
2.09/2.20 c - non default parameters ----------------------------------------------------------------------
2.09/2.20 c # SCIP version 1.2.1.2
2.09/2.20 c
2.09/2.20 c # maximal number of intermediate conflict constraints generated in conflict graph (-1: use every intermediate constraint)
2.09/2.20 c # [type: int, range: [-1,2147483647], default: -1]
2.09/2.20 c conflict/interconss = 0
2.09/2.20 c
2.09/2.20 c # should binary conflicts be preferred?
2.09/2.20 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
2.09/2.20 c conflict/preferbinary = TRUE
2.09/2.20 c
2.09/2.20 c # maximum age an unnecessary constraint can reach before it is deleted (0: dynamic, -1: keep all constraints)
2.09/2.20 c # [type: int, range: [-1,2147483647], default: 0]
2.09/2.20 c constraints/agelimit = 1
2.09/2.20 c
2.09/2.20 c # should enforcement of pseudo solution be disabled?
2.09/2.20 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
2.09/2.20 c constraints/disableenfops = TRUE
2.09/2.20 c
2.09/2.20 c # frequency for displaying node information lines
2.09/2.20 c # [type: int, range: [-1,2147483647], default: 100]
2.09/2.20 c display/freq = 10000
2.09/2.20 c
2.09/2.20 c # maximal time in seconds to run
2.09/2.20 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
2.09/2.20 c limits/time = 1799.74
2.09/2.20 c
2.09/2.20 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
2.09/2.20 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
2.09/2.20 c limits/memory = 1620
2.09/2.20 c
2.09/2.20 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
2.09/2.20 c # [type: int, range: [-1,2147483647], default: 1]
2.09/2.20 c lp/solvefreq = 0
2.09/2.20 c
2.09/2.20 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.20 c # [type: char, range: {lafpsqd}, default: l]
2.09/2.20 c lp/pricing = a
2.09/2.20 c
2.09/2.20 c # should presolving try to simplify inequalities
2.09/2.20 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
2.09/2.20 c constraints/linear/simplifyinequalities = TRUE
2.09/2.20 c
2.09/2.20 c # should presolving try to simplify knapsacks
2.09/2.20 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
2.09/2.20 c constraints/knapsack/simplifyinequalities = TRUE
2.09/2.20 c
2.09/2.20 c # priority of node selection rule <dfs> in standard mode
2.09/2.20 c # [type: int, range: [-536870912,536870911], default: 0]
2.09/2.20 c nodeselection/dfs/stdpriority = 1000000
2.09/2.20 c
2.09/2.20 c -----------------------------------------------------------------------------------------------
2.09/2.20 c start solving
2.20/2.20 c
2.79/2.82 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
2.79/2.82 c 2.1s| 1 | 0 | 2095 | - | 22M| 0 |1253 |1957 |6103 |1957 |5916 | 0 | 0 | 0 | 2.814317e+03 | -- | Inf
6.49/6.55 c 5.8s| 1 | 0 | 7860 | - | 23M| 0 |1248 |1957 |6103 |1957 |7896 |1980 | 0 | 0 | 2.830293e+03 | -- | Inf
9.18/9.21 c 8.4s| 1 | 0 | 9652 | - | 24M| 0 |1167 |1957 |6103 |1957 |7938 |2022 | 0 | 0 | 2.850958e+03 | -- | Inf
10.59/10.60 c 9.8s| 1 | 0 | 10522 | - | 25M| 0 |1206 |1957 |6103 |1957 |7974 |2058 | 0 | 0 | 2.855547e+03 | -- | Inf
11.79/11.87 c 11.1s| 1 | 0 | 11164 | - | 26M| 0 |1224 |1957 |6103 |1957 |8011 |2095 | 0 | 0 | 2.860825e+03 | -- | Inf
13.38/13.46 c 12.7s| 1 | 0 | 11835 | - | 29M| 0 |1261 |1957 |6103 |1957 |8041 |2125 | 0 | 0 | 2.864935e+03 | -- | Inf
15.40/15.46 c 14.6s| 1 | 0 | 12951 | - | 30M| 0 |1276 |1957 |6103 |1957 |8075 |2159 | 0 | 0 | 2.866194e+03 | -- | Inf
17.49/17.60 c 16.7s| 1 | 0 | 14195 | - | 31M| 0 |1252 |1957 |6103 |1957 |8112 |2196 | 0 | 0 | 2.871035e+03 | -- | Inf
19.28/19.36 c 18.5s| 1 | 0 | 15200 | - | 32M| 0 |1244 |1957 |6103 |1957 |8152 |2236 | 0 | 0 | 2.874852e+03 | -- | Inf
24.69/24.71 c 23.8s| 1 | 0 | 17941 | - | 34M| 0 |1265 |1957 |6103 |1957 |8189 |2273 | 0 | 0 | 2.879279e+03 | -- | Inf
27.79/27.84 c 26.9s| 1 | 0 | 19629 | - | 37M| 0 |1307 |1957 |6103 |1957 |8228 |2312 | 0 | 0 | 2.882437e+03 | -- | Inf
30.69/30.75 c 29.8s| 1 | 0 | 20660 | - | 38M| 0 |1311 |1957 |6103 |1957 |8267 |2351 | 0 | 0 | 2.888993e+03 | -- | Inf
32.89/32.98 c 32.0s| 1 | 0 | 21805 | - | 40M| 0 |1310 |1957 |6103 |1957 |6417 |2391 | 0 | 0 | 2.894027e+03 | -- | Inf
37.39/37.41 c 36.4s| 1 | 0 | 24504 | - | 41M| 0 |1315 |1957 |6103 |1957 |6458 |2432 | 0 | 0 | 2.897865e+03 | -- | Inf
41.88/41.93 c 40.9s| 1 | 0 | 26936 | - | 44M| 0 |1342 |1957 |6103 |1957 |6515 |2489 | 0 | 0 | 2.904772e+03 | -- | Inf
44.38/44.49 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
44.38/44.49 c 43.4s| 1 | 0 | 28502 | - | 46M| 0 |1324 |1957 |6103 |1957 |6566 |2540 | 0 | 0 | 2.908293e+03 | -- | Inf
49.08/49.19 c 48.0s| 1 | 0 | 31034 | - | 48M| 0 |1351 |1957 |6103 |1957 |6620 |2594 | 0 | 0 | 2.911713e+03 | -- | Inf
52.18/52.24 c 51.1s| 1 | 0 | 32819 | - | 50M| 0 |1384 |1957 |6103 |1957 |6676 |2650 | 0 | 0 | 2.916746e+03 | -- | Inf
56.18/56.29 c 55.1s| 1 | 0 | 34861 | - | 51M| 0 |1439 |1957 |6103 |1957 |6598 |2699 | 0 | 0 | 2.921995e+03 | -- | Inf
59.29/59.35 c 58.1s| 1 | 0 | 36594 | - | 54M| 0 |1453 |1957 |6103 |1957 |6640 |2741 | 0 | 0 | 2.923797e+03 | -- | Inf
62.68/62.71 c 61.4s| 1 | 0 | 38354 | - | 56M| 0 |1440 |1957 |6103 |1957 |6685 |2786 | 0 | 0 | 2.926566e+03 | -- | Inf
68.09/68.19 c 66.9s| 1 | 0 | 40658 | - | 57M| 0 |1501 |1957 |6103 |1957 |6747 |2848 | 0 | 0 | 2.931400e+03 | -- | Inf
75.98/76.05 c 74.7s| 1 | 0 | 44591 | - | 57M| 0 |1513 |1957 |6103 |1957 |6810 |2911 | 0 | 0 | 2.936156e+03 | -- | Inf
82.18/82.27 c 80.8s| 1 | 0 | 47461 | - | 58M| 0 |1523 |1957 |6103 |1957 |6871 |2972 | 0 | 0 | 2.941029e+03 | -- | Inf
88.87/88.98 c 87.5s| 1 | 0 | 50198 | - | 58M| 0 |1510 |1957 |6103 |1957 |6729 |3018 | 0 | 0 | 2.947415e+03 | -- | Inf
95.87/95.98 c 94.5s| 1 | 0 | 53668 | - | 59M| 0 |1503 |1957 |6103 |1957 |6764 |3053 | 0 | 0 | 2.950333e+03 | -- | Inf
105.07/105.17 c 104s| 1 | 0 | 58044 | - | 59M| 0 |1404 |1957 |6103 |1957 |6832 |3121 | 0 | 0 | 2.964406e+03 | -- | Inf
110.27/110.38 c 109s| 1 | 0 | 60990 | - | 60M| 0 |1490 |1957 |6103 |1957 |6871 |3160 | 0 | 0 | 2.967388e+03 | -- | Inf
114.87/114.97 c 113s| 1 | 0 | 63437 | - | 61M| 0 |1477 |1957 |6103 |1957 |6913 |3202 | 0 | 0 | 2.970102e+03 | -- | Inf
118.27/118.38 c 117s| 1 | 0 | 65258 | - | 62M| 0 |1427 |1957 |6103 |1957 |6948 |3237 | 0 | 0 | 2.973695e+03 | -- | Inf
122.76/122.85 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
122.76/122.85 c 121s| 1 | 0 | 67859 | - | 63M| 0 |1481 |1957 |6103 |1957 |6764 |3285 | 0 | 0 | 2.975990e+03 | -- | Inf
125.46/125.58 c 124s| 1 | 0 | 69466 | - | 64M| 0 |1521 |1957 |6103 |1957 |6803 |3324 | 0 | 0 | 2.977790e+03 | -- | Inf
128.86/128.99 c 127s| 1 | 0 | 71312 | - | 66M| 0 |1519 |1957 |6103 |1957 |6841 |3362 | 0 | 0 | 2.980279e+03 | -- | Inf
131.87/131.91 c 130s| 1 | 0 | 72793 | - | 67M| 0 |1506 |1957 |6103 |1957 |6886 |3407 | 0 | 0 | 2.982354e+03 | -- | Inf
135.76/135.84 c 134s| 1 | 0 | 74767 | - | 68M| 0 |1587 |1957 |6103 |1957 |6935 |3456 | 0 | 0 | 2.983894e+03 | -- | Inf
140.66/140.75 c 139s| 1 | 0 | 77374 | - | 68M| 0 |1532 |1957 |6103 |1957 |6964 |3485 | 0 | 0 | 2.986888e+03 | -- | Inf
143.16/143.27 c 141s| 1 | 0 | 78659 | - | 69M| 0 |1537 |1957 |6103 |1957 |6710 |3520 | 0 | 0 | 2.988871e+03 | -- | Inf
147.65/147.77 c 146s| 1 | 0 | 81172 | - | 70M| 0 |1630 |1957 |6103 |1957 |6755 |3565 | 0 | 0 | 2.992054e+03 | -- | Inf
151.46/151.55 c 150s| 1 | 0 | 83091 | - | 71M| 0 |1563 |1957 |6103 |1957 |6784 |3594 | 0 | 0 | 2.993366e+03 | -- | Inf
155.95/156.03 c 154s| 1 | 0 | 85431 | - | 72M| 0 |1633 |1957 |6103 |1957 |6828 |3638 | 0 | 0 | 2.995998e+03 | -- | Inf
163.76/163.89 c 162s| 1 | 0 | 88999 | - | 73M| 0 |1618 |1957 |6103 |1957 |6877 |3687 | 0 | 0 | 3.000600e+03 | -- | Inf
170.95/171.06 c 169s| 1 | 0 | 92121 | - | 73M| 0 |1602 |1957 |6103 |1957 |6931 |3741 | 0 | 0 | 3.007772e+03 | -- | Inf
177.95/178.09 c 176s| 1 | 0 | 95625 | - | 74M| 0 |1620 |1957 |6103 |1957 |6761 |3776 | 0 | 0 | 3.009934e+03 | -- | Inf
181.05/181.11 c 179s| 1 | 0 | 97164 | - | 74M| 0 |1638 |1957 |6103 |1957 |6810 |3825 | 0 | 0 | 3.014752e+03 | -- | Inf
184.05/184.19 c 182s| 1 | 0 | 98408 | - | 74M| 0 |1585 |1957 |6103 |1957 |6859 |3874 | 0 | 0 | 3.017126e+03 | -- | Inf
190.84/190.99 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
190.84/190.99 c 189s| 1 | 0 |101433 | - | 75M| 0 |1635 |1957 |6103 |1957 |6897 |3912 | 0 | 0 | 3.021045e+03 | -- | Inf
194.15/194.29 c 192s| 1 | 0 |102793 | - | 76M| 0 |1557 |1957 |6103 |1957 |6922 |3937 | 0 | 0 | 3.023202e+03 | -- | Inf
198.54/198.65 c 196s| 1 | 0 |105017 | - | 77M| 0 |1640 |1957 |6103 |1957 |6953 |3968 | 0 | 0 | 3.024704e+03 | -- | Inf
205.75/205.82 c 203s| 1 | 0 |108517 | - | 78M| 0 |1543 |1957 |6103 |1957 |6841 |4007 | 0 | 0 | 3.027192e+03 | -- | Inf
208.85/208.92 c 206s| 1 | 0 |109766 | - | 78M| 0 |1591 |1957 |6103 |1957 |6877 |4043 | 0 | 0 | 3.030297e+03 | -- | Inf
211.75/211.88 c 209s| 1 | 0 |111031 | - | 79M| 0 |1640 |1957 |6103 |1957 |6927 |4093 | 0 | 0 | 3.032784e+03 | -- | Inf
214.24/214.36 c 212s| 1 | 0 |112556 | - | 80M| 0 |1585 |1957 |6103 |1957 |6956 |4122 | 0 | 0 | 3.033891e+03 | -- | Inf
218.24/218.36 c 216s| 1 | 0 |114767 | - | 80M| 0 |1665 |1957 |6103 |1957 |6985 |4151 | 0 | 0 | 3.035176e+03 | -- | Inf
223.84/223.92 c 221s| 1 | 0 |117020 | - | 81M| 0 |1659 |1957 |6103 |1957 |7039 |4205 | 0 | 0 | 3.039324e+03 | -- | Inf
228.13/228.26 c 226s| 1 | 0 |118524 | - | 81M| 0 |1655 |1957 |6103 |1957 |6793 |4237 | 0 | 0 | 3.042176e+03 | -- | Inf
231.74/231.84 c 229s| 1 | 0 |119676 | - | 81M| 0 |1609 |1957 |6103 |1957 |6835 |4279 | 0 | 0 | 3.044901e+03 | -- | Inf
234.94/235.09 c 232s| 1 | 0 |121059 | - | 82M| 0 |1645 |1957 |6103 |1957 |6875 |4319 | 0 | 0 | 3.048604e+03 | -- | Inf
239.44/239.56 c 237s| 1 | 0 |123063 | - | 82M| 0 |1680 |1957 |6103 |1957 |6906 |4350 | 0 | 0 | 3.051899e+03 | -- | Inf
243.64/243.79 c 241s| 1 | 0 |124660 | - | 82M| 0 |1656 |1957 |6103 |1957 |6931 |4375 | 0 | 0 | 3.053892e+03 | -- | Inf
246.43/246.58 c 244s| 1 | 0 |125167 | - | 82M| 0 |1648 |1957 |6103 |1957 |6945 |4389 | 0 | 0 | 3.054473e+03 | -- | Inf
250.43/250.57 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
250.43/250.57 c 248s| 1 | 0 |126672 | - | 82M| 0 |1663 |1957 |6103 |1957 |6750 |4421 | 0 | 0 | 3.056013e+03 | -- | Inf
253.23/253.34 c 250s| 1 | 0 |127133 | - | 82M| 0 |1655 |1957 |6103 |1957 |6770 |4441 | 0 | 0 | 3.057739e+03 | -- | Inf
255.04/255.18 c 252s| 1 | 0 |127977 | - | 82M| 0 |1676 |1957 |6103 |1957 |6783 |4454 | 0 | 0 | 3.060029e+03 | -- | Inf
257.63/257.75 c 255s| 1 | 0 |128638 | - | 83M| 0 |1667 |1957 |6103 |1957 |6798 |4469 | 0 | 0 | 3.060946e+03 | -- | Inf
260.23/260.39 c 257s| 1 | 0 |129349 | - | 83M| 0 |1656 |1957 |6103 |1957 |6811 |4482 | 0 | 0 | 3.061301e+03 | -- | Inf
262.84/262.99 c 260s| 1 | 0 |129728 | - | 83M| 0 |1657 |1957 |6103 |1957 |6822 |4493 | 0 | 0 | 3.061566e+03 | -- | Inf
265.13/265.23 c 262s| 1 | 0 |130034 | - | 83M| 0 |1656 |1957 |6103 |1957 |6617 |4508 | 0 | 0 | 3.061571e+03 | -- | Inf
267.23/267.30 c 264s| 1 | 0 |130444 | - | 83M| 0 |1667 |1957 |6103 |1957 |6625 |4516 | 0 | 0 | 3.061755e+03 | -- | Inf
269.34/269.46 c 266s| 1 | 0 |131100 | - | 83M| 0 |1673 |1957 |6103 |1957 |6652 |4543 | 0 | 0 | 3.063723e+03 | -- | Inf
271.63/271.73 c 269s| 1 | 0 |131680 | - | 84M| 0 |1686 |1957 |6103 |1957 |6673 |4564 | 0 | 0 | 3.065570e+03 | -- | Inf
274.33/274.47 c 271s| 1 | 0 |132139 | - | 84M| 0 |1662 |1957 |6103 |1957 |6687 |4578 | 0 | 0 | 3.065837e+03 | -- | Inf
275.94/276.00 c 273s| 1 | 0 |132855 | - | 84M| 0 |1676 |1957 |6103 |1957 |6692 |4583 | 0 | 0 | 3.066113e+03 | -- | Inf
278.63/278.76 c 276s| 1 | 0 |133300 | - | 84M| 0 |1660 |1957 |6103 |1957 |6594 |4603 | 0 | 0 | 3.066904e+03 | -- | Inf
280.44/280.54 c 277s| 1 | 0 |133735 | - | 84M| 0 |1640 |1957 |6103 |1957 |6626 |4635 | 0 | 0 | 3.068272e+03 | -- | Inf
282.73/282.80 c 280s| 1 | 0 |134418 | - | 84M| 0 |1670 |1957 |6103 |1957 |6655 |4664 | 0 | 0 | 3.069432e+03 | -- | Inf
285.03/285.14 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
285.03/285.14 c 282s| 1 | 0 |134718 | - | 84M| 0 |1606 |1957 |6103 |1957 |6665 |4674 | 0 | 0 | 3.069693e+03 | -- | Inf
287.32/287.40 c 284s| 1 | 0 |135300 | - | 85M| 0 |1659 |1957 |6103 |1957 |6693 |4702 | 0 | 0 | 3.070670e+03 | -- | Inf
289.83/289.99 c 287s| 1 | 0 |136164 | - | 85M| 0 |1650 |1957 |6103 |1957 |6717 |4726 | 0 | 0 | 3.072407e+03 | -- | Inf
292.32/292.40 c 289s| 1 | 0 |136702 | - | 85M| 0 |1668 |1957 |6103 |1957 |6650 |4741 | 0 | 0 | 3.072999e+03 | -- | Inf
294.03/294.13 c 291s| 1 | 0 |136926 | - | 86M| 0 |1678 |1957 |6103 |1957 |6667 |4758 | 0 | 0 | 3.073549e+03 | -- | Inf
296.83/296.96 c 294s| 1 | 0 |137634 | - | 86M| 0 |1665 |1957 |6103 |1957 |6677 |4768 | 0 | 0 | 3.074656e+03 | -- | Inf
299.32/299.49 c 296s| 1 | 0 |138009 | - | 86M| 0 |1688 |1957 |6103 |1957 |6699 |4790 | 0 | 0 | 3.075544e+03 | -- | Inf
301.42/301.51 c 298s| 1 | 0 |138539 | - | 86M| 0 |1651 |1957 |6103 |1957 |6725 |4816 | 0 | 0 | 3.077171e+03 | -- | Inf
304.13/304.27 c 301s| 1 | 0 |139046 | - | 86M| 0 |1654 |1957 |6103 |1957 |6737 |4828 | 0 | 0 | 3.077651e+03 | -- | Inf
306.83/306.95 c 304s| 1 | 0 |139449 | - | 86M| 0 |1630 |1957 |6103 |1957 |6645 |4845 | 0 | 0 | 3.078186e+03 | -- | Inf
309.42/309.50 c 306s| 1 | 0 |139805 | - | 86M| 0 |1643 |1957 |6103 |1957 |6662 |4862 | 0 | 0 | 3.079173e+03 | -- | Inf
312.02/312.15 c 309s| 1 | 0 |140253 | - | 87M| 0 |1641 |1957 |6103 |1957 |6678 |4878 | 0 | 0 | 3.080655e+03 | -- | Inf
314.72/314.85 c 311s| 1 | 0 |140803 | - | 87M| 0 |1626 |1957 |6103 |1957 |6692 |4892 | 0 | 0 | 3.081483e+03 | -- | Inf
317.12/317.27 c 314s| 1 | 0 |141454 | - | 87M| 0 |1612 |1957 |6103 |1957 |6709 |4909 | 0 | 0 | 3.083309e+03 | -- | Inf
319.22/319.33 c 316s| 1 | 0 |141993 | - | 87M| 0 |1612 |1957 |6103 |1957 |6741 |4941 | 0 | 0 | 3.084387e+03 | -- | Inf
321.42/321.55 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
321.42/321.55 c 318s| 1 | 0 |142991 | - | 88M| 0 |1640 |1957 |6103 |1957 |6684 |4960 | 0 | 0 | 3.086202e+03 | -- | Inf
324.11/324.26 c 321s| 1 | 0 |143622 | - | 88M| 0 |1562 |1957 |6103 |1957 |6714 |4990 | 0 | 0 | 3.087697e+03 | -- | Inf
325.61/325.77 c 322s| 1 | 0 |144170 | - | 89M| 0 |1556 |1957 |6103 |1957 |6739 |5015 | 0 | 0 | 3.090595e+03 | -- | Inf
327.62/327.80 c 324s| 1 | 0 |144839 | - | 89M| 0 |1630 |1957 |6103 |1957 |6779 |5055 | 0 | 0 | 3.094310e+03 | -- | Inf
329.72/329.86 c 326s| 1 | 0 |145364 | - | 89M| 0 |1631 |1957 |6103 |1957 |6802 |5078 | 0 | 0 | 3.095516e+03 | -- | Inf
332.02/332.15 c 329s| 1 | 0 |145873 | - | 89M| 0 |1614 |1957 |6103 |1957 |6817 |5093 | 0 | 0 | 3.096897e+03 | -- | Inf
333.91/334.01 c 330s| 1 | 0 |145991 | - | 89M| 0 |1617 |1957 |6103 |1957 |6714 |5099 | 0 | 0 | 3.097129e+03 | -- | Inf
335.72/335.85 c 332s| 1 | 0 |146125 | - | 89M| 0 |1604 |1957 |6103 |1957 |6717 |5102 | 0 | 0 | 3.097402e+03 | -- | Inf
337.41/337.60 c 334s| 1 | 0 |146271 | - | 90M| 0 |1586 |1957 |6103 |1957 |6725 |5110 | 0 | 0 | 3.098008e+03 | -- | Inf
339.22/339.31 c 336s| 1 | 0 |146525 | - | 90M| 0 |1616 |1957 |6103 |1957 |6742 |5127 | 0 | 0 | 3.098774e+03 | -- | Inf
341.01/341.16 c 337s| 1 | 0 |146679 | - | 90M| 0 |1620 |1957 |6103 |1957 |6749 |5134 | 0 | 0 | 3.098862e+03 | -- | Inf
342.91/343.07 c 339s| 1 | 0 |146926 | - | 90M| 0 |1618 |1957 |6103 |1957 |6756 |5141 | 0 | 0 | 3.099396e+03 | -- | Inf
344.81/344.97 c 341s| 1 | 0 |147184 | - | 90M| 0 |1618 |1957 |6103 |1957 |6636 |5153 | 0 | 0 | 3.100162e+03 | -- | Inf
346.81/346.97 c 343s| 1 | 0 |147554 | - | 89M| 0 |1617 |1957 |6103 |1957 |6650 |5167 | 0 | 0 | 3.101387e+03 | -- | Inf
348.71/348.89 c 345s| 1 | 0 |147858 | - | 89M| 0 |1637 |1957 |6103 |1957 |6659 |5176 | 0 | 0 | 3.102339e+03 | -- | Inf
350.61/350.77 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
350.61/350.77 c 347s| 1 | 0 |148104 | - | 88M| 0 |1624 |1957 |6103 |1957 |6664 |5181 | 0 | 0 | 3.102728e+03 | -- | Inf
352.51/352.63 c 349s| 1 | 0 |148327 | - | 85M| 0 |1611 |1957 |6103 |1957 |6673 |5190 | 0 | 0 | 3.103290e+03 | -- | Inf
354.31/354.49 c 351s| 1 | 0 |148565 | - | 84M| 0 |1618 |1957 |6103 |1957 |6684 |5201 | 0 | 0 | 3.103695e+03 | -- | Inf
355.80/355.93 c 352s| 1 | 0 |148660 | - | 84M| 0 |1616 |1957 |6103 |1957 |6606 |5207 | 0 | 0 | 3.103911e+03 | -- | Inf
357.61/357.75 c 354s| 1 | 0 |148833 | - | 82M| 0 |1623 |1957 |6103 |1957 |6610 |5211 | 0 | 0 | 3.104176e+03 | -- | Inf
359.41/359.51 c 356s| 1 | 0 |148951 | - | 80M| 0 |1617 |1957 |6103 |1957 |6612 |5213 | 0 | 0 | 3.104295e+03 | -- | Inf
361.21/361.36 c 358s| 1 | 0 |149223 | - | 78M| 0 |1618 |1957 |6103 |1957 |6613 |5214 | 0 | 0 | 3.104342e+03 | -- | Inf
362.92/363.08 c 359s| 1 | 0 |149270 | - | 77M| 0 |1617 |1957 |6103 |1957 |6617 |5218 | 0 | 0 | 3.104345e+03 | -- | Inf
364.60/364.75 c 361s| 1 | 0 |149273 | - | 75M| 0 |1618 |1957 |6103 |1957 |6618 |5219 | 0 | 0 | 3.104345e+03 | -- | Inf
366.31/366.44 c 363s| 1 | 0 |149276 | - | 73M| 0 |1619 |1957 |6103 |1957 |6562 |5220 | 0 | 0 | 3.104345e+03 | -- | Inf
368.01/368.13 c 364s| 1 | 0 |149317 | - | 70M| 0 |1617 |1957 |6103 |1957 |6563 |5221 | 0 | 0 | 3.104351e+03 | -- | Inf
379.10/379.23 c 375s| 1 | 2 |149317 | - | 68M| 0 |1617 |1957 |6103 |1957 |6563 |5221 | 0 | 46 | 3.104351e+03 | -- | Inf
415.99/416.19 c 411s| 10000 | 42 |149317 | 0.0 | 69M| 63 | - |1957 |6150 | 0 | 0 |5221 |6685 | 46 | 3.104785e+03 | -- | Inf
453.69/453.82 c 447s| 20000 | 41 |149317 | 0.0 | 69M| 63 | - |1957 |6189 | 0 | 0 |5221 | 13k| 46 | 3.104785e+03 | -- | Inf
491.58/491.74 c 484s| 30000 | 38 |149317 | 0.0 | 69M| 63 | - |1957 |6189 | 0 | 0 |5221 | 20k| 46 | 3.104785e+03 | -- | Inf
529.27/529.47 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
529.27/529.47 c 521s| 40000 | 51 |149317 | 0.0 | 69M| 63 | - |1957 |6138 | 0 | 0 |5221 | 27k| 46 | 3.104785e+03 | -- | Inf
567.16/567.36 c 557s| 50000 | 40 |149317 | 0.0 | 69M| 63 | - |1957 |6211 | 0 | 0 |5221 | 33k| 46 | 3.104785e+03 | -- | Inf
604.65/604.82 c 594s| 60000 | 39 |149317 | 0.0 | 69M| 63 | - |1957 |6218 | 0 | 0 |5221 | 40k| 46 | 3.104785e+03 | -- | Inf
642.95/643.13 c 631s| 70000 | 41 |149317 | 0.0 | 69M| 63 | - |1957 |6219 | 0 | 0 |5221 | 47k| 46 | 3.104785e+03 | -- | Inf
680.64/680.84 c 667s| 80000 | 40 |149317 | 0.0 | 69M| 63 | - |1957 |6242 | 0 | 0 |5221 | 54k| 46 | 3.104785e+03 | -- | Inf
718.72/718.93 c 704s| 90000 | 42 |149317 | 0.0 | 69M| 63 | - |1957 |6222 | 0 | 0 |5221 | 60k| 46 | 3.104785e+03 | -- | Inf
756.21/756.49 c 740s|100000 | 40 |149317 | 0.0 | 69M| 63 | - |1957 |6241 | 0 | 0 |5221 | 67k| 46 | 3.104785e+03 | -- | Inf
795.51/795.76 c 778s|110000 | 42 |149317 | 0.0 | 69M| 63 | - |1957 |6226 | 0 | 0 |5221 | 74k| 46 | 3.104785e+03 | -- | Inf
835.10/835.30 c 817s|120000 | 40 |149317 | 0.0 | 69M| 63 | - |1957 |6277 | 0 | 0 |5221 | 81k| 46 | 3.104785e+03 | -- | Inf
873.49/873.70 c 854s|130000 | 41 |149317 | 0.0 | 69M| 63 | - |1957 |6242 | 0 | 0 |5221 | 88k| 46 | 3.104785e+03 | -- | Inf
910.68/910.96 c 890s|140000 | 39 |149317 | 0.0 | 69M| 63 | - |1957 |6286 | 0 | 0 |5221 | 94k| 46 | 3.104785e+03 | -- | Inf
948.97/949.29 c 927s|150000 | 42 |149317 | 0.0 | 69M| 63 | - |1957 |6263 | 0 | 0 |5221 | 101k| 46 | 3.104785e+03 | -- | Inf
991.97/992.27 c 968s|160000 | 38 |149317 | 0.0 | 69M| 63 | - |1957 |6322 | 0 | 0 |5221 | 108k| 46 | 3.104785e+03 | -- | Inf
1033.36/1033.69 c 1008s|170000 | 38 |149317 | 0.0 | 69M| 63 | - |1957 |6331 | 0 | 0 |5221 | 115k| 46 | 3.104785e+03 | -- | Inf
1078.54/1078.81 c 1052s|180000 | 42 |149317 | 0.0 | 69M| 63 | - |1957 |6283 | 0 | 0 |5221 | 122k| 46 | 3.104785e+03 | -- | Inf
1125.33/1125.66 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1125.33/1125.66 c 1097s|190000 | 40 |149317 | 0.0 | 69M| 63 | - |1957 |6321 | 0 | 0 |5221 | 129k| 46 | 3.104785e+03 | -- | Inf
1177.73/1178.08 c 1148s|200000 | 42 |149317 | 0.0 | 69M| 63 | - |1957 |6303 | 0 | 0 |5221 | 136k| 46 | 3.104785e+03 | -- | Inf
1229.71/1230.05 c 1198s|210000 | 41 |149317 | 0.0 | 69M| 63 | - |1957 |6305 | 0 | 0 |5221 | 147k| 46 | 3.104785e+03 | -- | Inf
1268.19/1268.54 c 1235s|220000 | 42 |149317 | 0.0 | 69M| 63 | - |1957 |6322 | 0 | 0 |5221 | 154k| 46 | 3.104785e+03 | -- | Inf
1301.69/1302.02 c 1267s|230000 | 41 |149317 | 0.0 | 69M| 63 | - |1957 |6332 | 0 | 0 |5221 | 161k| 46 | 3.104785e+03 | -- | Inf
1335.18/1335.52 c 1299s|240000 | 42 |149317 | 0.0 | 69M| 63 | - |1957 |6301 | 0 | 0 |5221 | 168k| 46 | 3.104785e+03 | -- | Inf
1368.47/1368.85 c 1331s|250000 | 42 |149317 | 0.0 | 69M| 63 | - |1957 |6299 | 0 | 0 |5221 | 174k| 46 | 3.104785e+03 | -- | Inf
1401.27/1401.68 c 1363s|260000 | 41 |149317 | 0.0 | 69M| 63 | - |1957 |6322 | 0 | 0 |5221 | 181k| 46 | 3.104785e+03 | -- | Inf
1431.86/1432.23 c 1392s|270000 | 41 |149317 | 0.0 | 69M| 63 | - |1957 |6320 | 0 | 0 |5221 | 188k| 46 | 3.104785e+03 | -- | Inf
1463.66/1464.02 c 1423s|280000 | 41 |149317 | 0.0 | 69M| 63 | - |1957 |6329 | 0 | 0 |5221 | 195k| 46 | 3.104785e+03 | -- | Inf
1494.45/1494.83 c 1453s|290000 | 39 |149317 | 0.0 | 69M| 63 | - |1957 |6349 | 0 | 0 |5221 | 202k| 46 | 3.104785e+03 | -- | Inf
1524.04/1524.45 c 1481s|300000 | 38 |149317 | 0.0 | 69M| 63 | - |1957 |6369 | 0 | 0 |5221 | 209k| 46 | 3.104785e+03 | -- | Inf
1565.03/1565.45 c 1521s|310000 | 43 |149317 | 0.0 | 69M| 63 | - |1957 |6298 | 0 | 0 |5221 | 216k| 46 | 3.104785e+03 | -- | Inf
1599.42/1599.85 c 1554s|320000 | 41 |149317 | 0.0 | 69M| 63 | - |1957 |6314 | 0 | 0 |5221 | 223k| 46 | 3.104785e+03 | -- | Inf
1632.11/1632.51 c 1586s|330000 | 38 |149317 | 0.0 | 69M| 63 | - |1957 |6316 | 0 | 0 |5221 | 230k| 46 | 3.104785e+03 | -- | Inf
1663.51/1663.94 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1663.51/1663.94 c 1616s|340000 | 41 |149317 | 0.0 | 69M| 63 | - |1957 |6322 | 0 | 0 |5221 | 238k| 46 | 3.104785e+03 | -- | Inf
1695.10/1695.50 c 1646s|350000 | 39 |149317 | 0.0 | 69M| 63 | - |1957 |6343 | 0 | 0 |5221 | 245k| 46 | 3.104785e+03 | -- | Inf
1726.50/1726.92 c 1676s|360000 | 39 |149317 | 0.0 | 69M| 63 | - |1957 |6342 | 0 | 0 |5221 | 252k| 46 | 3.104785e+03 | -- | Inf
1757.58/1758.03 c 1706s|370000 | 38 |149317 | 0.0 | 69M| 63 | - |1957 |6344 | 0 | 0 |5221 | 259k| 46 | 3.104785e+03 | -- | Inf
1788.68/1789.13 c 1736s|380000 | 42 |149317 | 0.0 | 69M| 63 | - |1957 |6327 | 0 | 0 |5221 | 266k| 46 | 3.104785e+03 | -- | Inf
1800.07/1800.50 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.07/1800.50 c
1800.07/1800.50 c SCIP Status : solving was interrupted [user interrupt]
1800.07/1800.50 c Solving Time (sec) : 1747.34
1800.07/1800.50 c Solving Nodes : 383956
1800.07/1800.50 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1800.07/1800.50 c Dual Bound : +3.10478462979548e+03
1800.07/1800.50 c Gap : infinite
1800.07/1800.50 s UNKNOWN
1800.07/1800.50 c SCIP Status : solving was interrupted [user interrupt]
1800.07/1800.50 c Solving Time : 1747.34
1800.07/1800.50 c Original Problem :
1800.07/1800.50 c Problem name : HOME/instance-2666854-1276446668.opb
1800.07/1800.50 c Variables : 6352 (6352 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.07/1800.50 c Constraints : 13489 initial, 13489 maximal
1800.07/1800.50 c Presolved Problem :
1800.07/1800.50 c Problem name : t_HOME/instance-2666854-1276446668.opb
1800.07/1800.50 c Variables : 1957 (1957 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.07/1800.50 c Constraints : 6103 initial, 6427 maximal
1800.07/1800.50 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.07/1800.50 c trivial : 0.07 55 0 0 0 0 0 0 0
1800.07/1800.50 c dualfix : 0.02 0 0 0 0 0 0 0 0
1800.07/1800.50 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.07/1800.50 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.07/1800.50 c implics : 0.10 0 3078 0 0 0 0 0 0
1800.07/1800.50 c probing : 0.54 1 183 0 0 0 0 0 0
1800.07/1800.50 c linear : 0.41 1035 43 0 1090 0 7355 222 431
1800.07/1800.50 c logicor : 0.28 0 0 0 0 0 31 0 0
1800.07/1800.50 c root node : - 0 - - 0 - - - -
1800.07/1800.50 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.07/1800.50 c integral : 0 0 0 1 0 0 0 0 0 2
1800.07/1800.50 c logicor : 6103+ 116 8912162 0 0 247776 55614747 0 0 0
1800.07/1800.50 c countsols : 0 0 0 0 0 0 0 0 0 0
1800.07/1800.50 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.07/1800.50 c integral : 9.25 0.00 0.00 9.25 0.00
1800.07/1800.50 c logicor : 430.06 0.15 429.91 0.00 0.00
1800.07/1800.50 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.07/1800.50 c Propagators : Time Calls Cutoffs DomReds
1800.07/1800.50 c vbounds : 4.32 2 0 0
1800.07/1800.50 c rootredcost : 4.18 0 0 0
1800.07/1800.50 c pseudoobj : 552.97 9124210 0 0
1800.07/1800.50 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.07/1800.50 c propagation : 108.68 247775 247744 247744 34.9 21673 17.1 -
1800.07/1800.50 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.07/1800.50 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.07/1800.50 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.07/1800.50 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.07/1800.50 c applied globally : - - - 268924 33.5 - - -
1800.07/1800.50 c applied locally : - - - 0 0.0 - - -
1800.07/1800.50 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.07/1800.50 c cut pool : 2.75 115 - - 3907 - (maximal pool size: 27795)
1800.07/1800.50 c redcost : 0.03 116 0 0 0 0
1800.07/1800.50 c impliedbounds : 0.16 116 0 0 4001 0
1800.07/1800.50 c intobj : 0.00 0 0 0 0 0
1800.07/1800.50 c cgmip : 0.00 0 0 0 0 0
1800.07/1800.50 c gomory : 141.51 116 0 0 44386 0
1800.07/1800.50 c strongcg : 5.17 20 0 0 10000 0
1800.07/1800.50 c cmir : 0.71 10 0 0 0 0
1800.07/1800.50 c flowcover : 0.63 10 0 0 0 0
1800.07/1800.50 c clique : 0.21 115 0 0 59 0
1800.07/1800.50 c zerohalf : 0.00 0 0 0 0 0
1800.07/1800.50 c mcf : 0.01 1 0 0 0 0
1800.07/1800.50 c rapidlearning : 0.00 0 0 0 0 0
1800.07/1800.50 c Pricers : Time Calls Vars
1800.07/1800.50 c problem variables: 0.00 0 0
1800.07/1800.50 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.07/1800.50 c relpscost : 9.25 1 0 0 0 0 2
1800.07/1800.50 c pscost : 0.00 0 0 0 0 0 0
1800.07/1800.50 c inference : 74.16 258957 0 0 0 0 517914
1800.07/1800.50 c mostinf : 0.00 0 0 0 0 0 0
1800.07/1800.50 c leastinf : 0.00 0 0 0 0 0 0
1800.07/1800.50 c fullstrong : 0.00 0 0 0 0 0 0
1800.07/1800.50 c allfullstrong : 0.00 0 0 0 0 0 0
1800.07/1800.50 c random : 0.00 0 0 0 0 0 0
1800.07/1800.50 c Primal Heuristics : Time Calls Found
1800.07/1800.50 c LP solutions : 0.00 - 0
1800.07/1800.50 c pseudo solutions : 0.00 - 0
1800.07/1800.50 c oneopt : 0.27 0 0
1800.07/1800.50 c crossover : 0.00 0 0
1800.07/1800.50 c trivial : 0.02 2 0
1800.07/1800.50 c simplerounding : 0.00 0 0
1800.07/1800.50 c zirounding : 0.00 1 0
1800.07/1800.50 c rounding : 0.22 100 0
1800.07/1800.50 c shifting : 2.07 100 0
1800.07/1800.50 c intshifting : 0.00 0 0
1800.07/1800.50 c twoopt : 0.00 0 0
1800.07/1800.50 c fixandinfer : 0.00 0 0
1800.07/1800.50 c feaspump : 2.07 1 0
1800.07/1800.50 c coefdiving : 0.00 0 0
1800.07/1800.50 c pscostdiving : 0.00 0 0
1800.07/1800.50 c fracdiving : 0.00 0 0
1800.07/1800.50 c veclendiving : 0.00 0 0
1800.07/1800.50 c intdiving : 0.00 0 0
1800.07/1800.50 c actconsdiving : 0.00 0 0
1800.07/1800.50 c objpscostdiving : 0.00 0 0
1800.07/1800.50 c rootsoldiving : 0.00 0 0
1800.07/1800.50 c linesearchdiving : 0.00 0 0
1800.07/1800.50 c guideddiving : 0.00 0 0
1800.07/1800.50 c octane : 0.00 0 0
1800.07/1800.50 c rens : 0.01 0 0
1800.07/1800.50 c rins : 0.00 0 0
1800.07/1800.50 c localbranching : 0.00 0 0
1800.07/1800.50 c mutation : 0.00 0 0
1800.07/1800.50 c dins : 0.00 0 0
1800.07/1800.50 c undercover : 0.00 0 0
1800.07/1800.50 c nlp : 0.43 0 0
1800.07/1800.50 c trysol : 0.30 0 0
1800.07/1800.50 c LP : Time Calls Iterations Iter/call Iter/sec
1800.07/1800.50 c primal LP : 0.24 0 0 0.00 0.00
1800.07/1800.50 c dual LP : 206.73 116 144557 1246.18 699.26
1800.07/1800.50 c lex dual LP : 0.00 0 0 0.00 -
1800.07/1800.50 c barrier LP : 0.00 0 0 0.00 -
1800.07/1800.50 c diving/probing LP: 1.96 35 4760 136.00 2428.57
1800.07/1800.51 c strong branching : 9.25 46 7823 170.07 845.73
1800.07/1800.51 c (at root node) : - 46 7823 170.07 -
1800.07/1800.51 c conflict analysis: 0.00 0 0 0.00 -
1800.07/1800.51 c B&B Tree :
1800.07/1800.51 c number of runs : 1
1800.07/1800.51 c nodes : 383956
1800.07/1800.51 c nodes (total) : 383956
1800.07/1800.51 c nodes left : 39
1800.07/1800.51 c max depth : 63
1800.07/1800.51 c max depth (total): 63
1800.07/1800.51 c backtracks : 124043 (32.3%)
1800.07/1800.51 c delayed cutoffs : 133922
1800.07/1800.51 c repropagations : 344263 (27569344 domain reductions, 122777 cutoffs)
1800.07/1800.51 c avg switch length: 2.54
1800.07/1800.51 c switching time : 193.26
1800.07/1800.51 c Solution :
1800.07/1800.51 c Solutions found : 0 (0 improvements)
1800.07/1800.51 c Primal Bound : -
1800.07/1800.51 c Dual Bound : +3.10478462979548e+03
1800.07/1800.51 c Gap : infinite
1800.07/1800.51 c Root Dual Bound : +3.10435138868364e+03
1800.07/1800.51 c Root Iterations : 149317
1800.18/1800.66 c Time complete: 1800.23.