0.00/0.00 c SCIP version 2.1.1.4 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.6.0.3] [GitHash: a3bf3a4-dirty]
0.00/0.00 c Copyright (c) 2002-2012 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-3692841-1338025477.opb>
0.00/0.04 c original problem has 4622 variables (4622 bin, 0 int, 0 impl, 0 cont) and 12569 constraints
0.00/0.04 c problem read in 0.04
0.04/0.08 c presolving:
0.19/0.21 c (round 1) 421 del vars, 346 del conss, 0 add conss, 120 chg bounds, 408 chg sides, 868 chg coeffs, 0 upgd conss, 215043 impls, 0 clqs
0.19/0.23 c (round 2) 423 del vars, 986 del conss, 0 add conss, 122 chg bounds, 408 chg sides, 868 chg coeffs, 0 upgd conss, 215043 impls, 0 clqs
0.19/0.24 c (round 3) 427 del vars, 996 del conss, 0 add conss, 126 chg bounds, 408 chg sides, 868 chg coeffs, 0 upgd conss, 215401 impls, 0 clqs
0.19/0.25 c (round 4) 430 del vars, 1002 del conss, 0 add conss, 129 chg bounds, 408 chg sides, 868 chg coeffs, 0 upgd conss, 215401 impls, 0 clqs
0.19/0.27 c (round 5) 435 del vars, 1011 del conss, 0 add conss, 134 chg bounds, 408 chg sides, 868 chg coeffs, 0 upgd conss, 215401 impls, 0 clqs
0.19/0.28 c (round 6) 441 del vars, 1024 del conss, 0 add conss, 140 chg bounds, 408 chg sides, 868 chg coeffs, 0 upgd conss, 215429 impls, 0 clqs
0.19/0.29 c (round 7) 445 del vars, 1038 del conss, 0 add conss, 144 chg bounds, 408 chg sides, 868 chg coeffs, 0 upgd conss, 215623 impls, 0 clqs
0.29/0.30 c (round 8) 445 del vars, 1046 del conss, 0 add conss, 144 chg bounds, 408 chg sides, 868 chg coeffs, 0 upgd conss, 215975 impls, 0 clqs
0.29/0.38 c (round 9) 445 del vars, 1067 del conss, 0 add conss, 144 chg bounds, 408 chg sides, 868 chg coeffs, 11507 upgd conss, 215975 impls, 0 clqs
0.39/0.42 c (round 10) 445 del vars, 1070 del conss, 0 add conss, 144 chg bounds, 408 chg sides, 868 chg coeffs, 11507 upgd conss, 215975 impls, 0 clqs
0.39/0.49 c (round 11) 513 del vars, 11715 del conss, 3547 add conss, 177 chg bounds, 408 chg sides, 868 chg coeffs, 11507 upgd conss, 217283 impls, 0 clqs
0.48/0.50 c (round 12) 543 del vars, 11756 del conss, 3547 add conss, 178 chg bounds, 408 chg sides, 898 chg coeffs, 11529 upgd conss, 218236 impls, 3 clqs
0.48/0.51 c (round 13) 545 del vars, 11757 del conss, 3547 add conss, 178 chg bounds, 408 chg sides, 899 chg coeffs, 11553 upgd conss, 218236 impls, 3 clqs
0.48/0.53 c (round 14) 612 del vars, 12126 del conss, 3913 add conss, 178 chg bounds, 408 chg sides, 899 chg coeffs, 11553 upgd conss, 225505 impls, 4 clqs
0.48/0.54 c (round 15) 647 del vars, 12142 del conss, 3913 add conss, 178 chg bounds, 408 chg sides, 908 chg coeffs, 11573 upgd conss, 225505 impls, 362 clqs
0.48/0.55 c (round 16) 649 del vars, 12143 del conss, 3913 add conss, 178 chg bounds, 408 chg sides, 908 chg coeffs, 11573 upgd conss, 225531 impls, 362 clqs
0.48/0.56 c (round 17) 666 del vars, 12212 del conss, 3981 add conss, 178 chg bounds, 408 chg sides, 908 chg coeffs, 11573 upgd conss, 228815 impls, 362 clqs
0.48/0.57 c (round 18) 670 del vars, 12246 del conss, 3981 add conss, 178 chg bounds, 408 chg sides, 910 chg coeffs, 11573 upgd conss, 228815 impls, 367 clqs
0.69/0.75 c (round 19) 692 del vars, 12283 del conss, 3996 add conss, 178 chg bounds, 408 chg sides, 910 chg coeffs, 11573 upgd conss, 233035 impls, 367 clqs
0.89/0.92 c (round 20) 697 del vars, 12299 del conss, 3997 add conss, 178 chg bounds, 408 chg sides, 910 chg coeffs, 11573 upgd conss, 235217 impls, 367 clqs
0.99/1.09 c (round 21) 698 del vars, 12300 del conss, 3997 add conss, 178 chg bounds, 408 chg sides, 910 chg coeffs, 11573 upgd conss, 235273 impls, 367 clqs
1.19/1.26 c (round 22) 699 del vars, 12301 del conss, 3997 add conss, 178 chg bounds, 408 chg sides, 910 chg coeffs, 11573 upgd conss, 235327 impls, 367 clqs
1.39/1.44 c (round 23) 700 del vars, 12302 del conss, 3997 add conss, 178 chg bounds, 408 chg sides, 910 chg coeffs, 11573 upgd conss, 235379 impls, 367 clqs
1.59/1.61 c (round 24) 701 del vars, 12303 del conss, 3997 add conss, 178 chg bounds, 408 chg sides, 910 chg coeffs, 11573 upgd conss, 235429 impls, 367 clqs
1.89/1.92 c (round 25) 726 del vars, 12303 del conss, 3997 add conss, 194 chg bounds, 408 chg sides, 910 chg coeffs, 11573 upgd conss, 420915 impls, 362 clqs
1.89/1.94 c (round 26) 745 del vars, 12324 del conss, 3997 add conss, 194 chg bounds, 408 chg sides, 924 chg coeffs, 11577 upgd conss, 426442 impls, 362 clqs
1.89/1.96 c (round 27) 767 del vars, 12491 del conss, 4163 add conss, 194 chg bounds, 408 chg sides, 924 chg coeffs, 11577 upgd conss, 434280 impls, 362 clqs
1.89/1.98 c (round 28) 770 del vars, 12512 del conss, 4183 add conss, 194 chg bounds, 408 chg sides, 924 chg coeffs, 11577 upgd conss, 434280 impls, 517 clqs
2.10/2.16 c (round 29) 772 del vars, 12518 del conss, 4186 add conss, 194 chg bounds, 408 chg sides, 924 chg coeffs, 11577 upgd conss, 434466 impls, 518 clqs
2.39/2.48 c (round 30) 802 del vars, 12518 del conss, 4186 add conss, 196 chg bounds, 408 chg sides, 924 chg coeffs, 11577 upgd conss, 545217 impls, 516 clqs
2.48/2.50 c (round 31) 815 del vars, 12534 del conss, 4186 add conss, 196 chg bounds, 408 chg sides, 936 chg coeffs, 11579 upgd conss, 555843 impls, 516 clqs
2.48/2.52 c (round 32) 825 del vars, 12611 del conss, 4262 add conss, 196 chg bounds, 408 chg sides, 936 chg coeffs, 11579 upgd conss, 558459 impls, 516 clqs
2.59/2.69 c (round 33) 825 del vars, 12621 del conss, 4272 add conss, 196 chg bounds, 408 chg sides, 936 chg coeffs, 11579 upgd conss, 558459 impls, 589 clqs
2.88/2.99 c (round 34) 855 del vars, 12621 del conss, 4272 add conss, 203 chg bounds, 408 chg sides, 936 chg coeffs, 11579 upgd conss, 615313 impls, 583 clqs
2.99/3.00 c (round 35) 863 del vars, 12633 del conss, 4272 add conss, 203 chg bounds, 408 chg sides, 941 chg coeffs, 11585 upgd conss, 616255 impls, 583 clqs
2.99/3.02 c (round 36) 864 del vars, 12652 del conss, 4291 add conss, 203 chg bounds, 408 chg sides, 941 chg coeffs, 11585 upgd conss, 616319 impls, 583 clqs
3.09/3.19 c (round 37) 864 del vars, 12653 del conss, 4292 add conss, 203 chg bounds, 408 chg sides, 941 chg coeffs, 11585 upgd conss, 616319 impls, 601 clqs
3.39/3.44 c (round 38) 893 del vars, 12653 del conss, 4292 add conss, 204 chg bounds, 408 chg sides, 941 chg coeffs, 11585 upgd conss, 640232 impls, 594 clqs
3.39/3.45 c (round 39) 900 del vars, 12667 del conss, 4292 add conss, 204 chg bounds, 408 chg sides, 943 chg coeffs, 11593 upgd conss, 642340 impls, 594 clqs
3.58/3.61 c (round 40) 900 del vars, 12675 del conss, 4300 add conss, 204 chg bounds, 408 chg sides, 943 chg coeffs, 11593 upgd conss, 642340 impls, 594 clqs
3.79/3.90 c (round 41) 928 del vars, 12675 del conss, 4300 add conss, 204 chg bounds, 408 chg sides, 943 chg coeffs, 11593 upgd conss, 661832 impls, 586 clqs
3.88/3.91 c (round 42) 934 del vars, 12690 del conss, 4300 add conss, 204 chg bounds, 408 chg sides, 944 chg coeffs, 11605 upgd conss, 662238 impls, 586 clqs
3.99/4.07 c (round 43) 934 del vars, 12702 del conss, 4312 add conss, 204 chg bounds, 408 chg sides, 944 chg coeffs, 11605 upgd conss, 662238 impls, 586 clqs
4.40/4.44 c (round 44) 959 del vars, 12702 del conss, 4312 add conss, 210 chg bounds, 408 chg sides, 944 chg coeffs, 11605 upgd conss, 723800 impls, 578 clqs
4.40/4.45 c (round 45) 966 del vars, 12713 del conss, 4312 add conss, 210 chg bounds, 408 chg sides, 946 chg coeffs, 11605 upgd conss, 725012 impls, 578 clqs
4.40/4.47 c (round 46) 979 del vars, 12762 del conss, 4361 add conss, 210 chg bounds, 408 chg sides, 946 chg coeffs, 11607 upgd conss, 726568 impls, 578 clqs
4.40/4.49 c (round 47) 981 del vars, 12777 del conss, 4376 add conss, 210 chg bounds, 408 chg sides, 946 chg coeffs, 11607 upgd conss, 726576 impls, 623 clqs
4.59/4.65 c (round 48) 981 del vars, 12781 del conss, 4378 add conss, 210 chg bounds, 408 chg sides, 946 chg coeffs, 11607 upgd conss, 726576 impls, 625 clqs
4.88/4.98 c (round 49) 1006 del vars, 12781 del conss, 4378 add conss, 211 chg bounds, 408 chg sides, 946 chg coeffs, 11607 upgd conss, 760421 impls, 617 clqs
4.99/5.01 c (round 50) 1017 del vars, 12816 del conss, 4403 add conss, 211 chg bounds, 408 chg sides, 946 chg coeffs, 11607 upgd conss, 765799 impls, 617 clqs
5.09/5.18 c (round 51) 1017 del vars, 12820 del conss, 4407 add conss, 211 chg bounds, 408 chg sides, 946 chg coeffs, 11607 upgd conss, 765799 impls, 634 clqs
5.50/5.51 c (round 52) 1042 del vars, 12820 del conss, 4407 add conss, 217 chg bounds, 408 chg sides, 946 chg coeffs, 11607 upgd conss, 798453 impls, 632 clqs
5.50/5.53 c (round 53) 1047 del vars, 12858 del conss, 4442 add conss, 217 chg bounds, 408 chg sides, 946 chg coeffs, 11607 upgd conss, 800255 impls, 632 clqs
5.69/5.70 c (round 54) 1047 del vars, 12861 del conss, 4444 add conss, 217 chg bounds, 408 chg sides, 946 chg coeffs, 11607 upgd conss, 800255 impls, 654 clqs
5.88/5.98 c (round 55) 1072 del vars, 12861 del conss, 4444 add conss, 224 chg bounds, 408 chg sides, 946 chg coeffs, 11607 upgd conss, 820738 impls, 650 clqs
5.99/6.00 c (round 56) 1084 del vars, 12876 del conss, 4444 add conss, 225 chg bounds, 408 chg sides, 951 chg coeffs, 11615 upgd conss, 823957 impls, 650 clqs
5.99/6.01 c (round 57) 1096 del vars, 12880 del conss, 4444 add conss, 225 chg bounds, 408 chg sides, 952 chg coeffs, 11627 upgd conss, 824195 impls, 646 clqs
5.99/6.03 c (round 58) 1100 del vars, 12897 del conss, 4459 add conss, 225 chg bounds, 408 chg sides, 952 chg coeffs, 11627 upgd conss, 825919 impls, 646 clqs
6.19/6.23 c (round 59) 1120 del vars, 12924 del conss, 4461 add conss, 225 chg bounds, 408 chg sides, 952 chg coeffs, 11627 upgd conss, 834986 impls, 654 clqs
6.39/6.40 c (round 60) 1127 del vars, 12947 del conss, 4478 add conss, 225 chg bounds, 408 chg sides, 952 chg coeffs, 11629 upgd conss, 837282 impls, 654 clqs
6.49/6.57 c (round 61) 1127 del vars, 12949 del conss, 4479 add conss, 225 chg bounds, 408 chg sides, 952 chg coeffs, 11629 upgd conss, 837282 impls, 671 clqs
6.88/6.90 c (6.9s) probing: 1000/4177 (23.9%) - 258 fixings, 62 aggregations, 68787 implications, 84 bound changes
6.98/7.01 c (round 62) 1152 del vars, 12949 del conss, 4479 add conss, 232 chg bounds, 408 chg sides, 952 chg coeffs, 11629 upgd conss, 884051 impls, 669 clqs
6.98/7.02 c (round 63) 1159 del vars, 12972 del conss, 4479 add conss, 233 chg bounds, 408 chg sides, 960 chg coeffs, 11629 upgd conss, 884298 impls, 669 clqs
6.98/7.04 c (round 64) 1174 del vars, 13025 del conss, 4531 add conss, 233 chg bounds, 408 chg sides, 960 chg coeffs, 11631 upgd conss, 884838 impls, 669 clqs
7.19/7.21 c (round 65) 1177 del vars, 13042 del conss, 4545 add conss, 233 chg bounds, 408 chg sides, 960 chg coeffs, 11631 upgd conss, 885382 impls, 712 clqs
7.29/7.38 c (round 66) 1177 del vars, 13049 del conss, 4547 add conss, 233 chg bounds, 408 chg sides, 960 chg coeffs, 11631 upgd conss, 885382 impls, 712 clqs
7.99/8.04 c (round 67) 1202 del vars, 13049 del conss, 4547 add conss, 238 chg bounds, 408 chg sides, 960 chg coeffs, 11631 upgd conss, 962363 impls, 707 clqs
7.99/8.06 c (round 68) 1216 del vars, 13077 del conss, 4547 add conss, 238 chg bounds, 408 chg sides, 969 chg coeffs, 11631 upgd conss, 965745 impls, 707 clqs
7.99/8.08 c (round 69) 1219 del vars, 13103 del conss, 4573 add conss, 238 chg bounds, 408 chg sides, 969 chg coeffs, 11631 upgd conss, 967985 impls, 707 clqs
8.19/8.26 c (round 70) 1222 del vars, 13109 del conss, 4576 add conss, 238 chg bounds, 408 chg sides, 969 chg coeffs, 11631 upgd conss, 968617 impls, 724 clqs
8.39/8.43 c (round 71) 1222 del vars, 13110 del conss, 4576 add conss, 238 chg bounds, 408 chg sides, 969 chg coeffs, 11631 upgd conss, 968617 impls, 725 clqs
8.89/8.98 c (9.0s) probing: 2000/4177 (47.9%) - 289 fixings, 89 aggregations, 123123 implications, 92 bound changes
9.80/9.83 c (round 72) 1247 del vars, 13110 del conss, 4576 add conss, 239 chg bounds, 408 chg sides, 969 chg coeffs, 11631 upgd conss, 1068202 impls, 725 clqs
9.80/9.84 c (round 73) 1248 del vars, 13116 del conss, 4576 add conss, 239 chg bounds, 408 chg sides, 970 chg coeffs, 11631 upgd conss, 1068406 impls, 725 clqs
9.99/10.00 c (round 74) 1248 del vars, 13134 del conss, 4594 add conss, 239 chg bounds, 408 chg sides, 970 chg coeffs, 11632 upgd conss, 1068406 impls, 725 clqs
10.08/10.16 c (round 75) 1248 del vars, 13134 del conss, 4594 add conss, 239 chg bounds, 408 chg sides, 970 chg coeffs, 11633 upgd conss, 1068406 impls, 733 clqs
10.29/10.37 c (10.4s) probing: 3000/4177 (71.8%) - 290 fixings, 96 aggregations, 161889 implications, 92 bound changes
10.68/10.78 c (round 76) 1273 del vars, 13134 del conss, 4594 add conss, 239 chg bounds, 408 chg sides, 970 chg coeffs, 11633 upgd conss, 1129568 impls, 721 clqs
10.79/10.80 c (round 77) 1284 del vars, 13152 del conss, 4594 add conss, 239 chg bounds, 408 chg sides, 972 chg coeffs, 11659 upgd conss, 1134663 impls, 721 clqs
10.90/10.97 c (round 78) 1285 del vars, 13171 del conss, 4613 add conss, 239 chg bounds, 408 chg sides, 972 chg coeffs, 11659 upgd conss, 1134663 impls, 720 clqs
11.29/11.33 c (11.3s) probing: 3448/4177 (82.5%) - 322 fixings, 103 aggregations, 209296 implications, 92 bound changes
11.29/11.33 c (11.3s) probing aborted: 50/50 successive totally useless probings
11.29/11.33 c (round 79) 1300 del vars, 13171 del conss, 4613 add conss, 239 chg bounds, 408 chg sides, 972 chg coeffs, 11659 upgd conss, 1153237 impls, 728 clqs
11.29/11.35 c (round 80) 1309 del vars, 13186 del conss, 4613 add conss, 239 chg bounds, 408 chg sides, 977 chg coeffs, 11659 upgd conss, 1155559 impls, 728 clqs
11.49/11.52 c (round 81) 1309 del vars, 13202 del conss, 4629 add conss, 239 chg bounds, 408 chg sides, 977 chg coeffs, 11659 upgd conss, 1155559 impls, 728 clqs
11.59/11.68 c (11.7s) probing: 3453/4177 (82.7%) - 322 fixings, 103 aggregations, 209296 implications, 92 bound changes
11.59/11.68 c (11.7s) probing aborted: 50/50 successive totally useless probings
11.59/11.69 c presolving (82 rounds):
11.59/11.69 c 1309 deleted vars, 13202 deleted constraints, 4629 added constraints, 239 tightened bounds, 0 added holes, 408 changed sides, 977 changed coefficients
11.59/11.69 c 1155559 implications, 733 cliques
11.59/11.69 c presolved problem has 3313 variables (3313 bin, 0 int, 0 impl, 0 cont) and 3794 constraints
11.59/11.69 c 810 constraints of type <knapsack>
11.59/11.69 c 977 constraints of type <setppc>
11.59/11.69 c 2005 constraints of type <and>
11.59/11.69 c 2 constraints of type <logicor>
11.59/11.69 c transformed objective value is always integral (scale: 1)
11.59/11.69 c Presolving Time: 11.63
11.59/11.69 c - non default parameters ----------------------------------------------------------------------
11.59/11.69 c # SCIP version 2.1.1.4
11.59/11.69 c
11.59/11.69 c # maximal time in seconds to run
11.59/11.69 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
11.59/11.69 c limits/time = 1797
11.59/11.69 c
11.59/11.69 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
11.59/11.69 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
11.59/11.69 c limits/memory = 13950
11.59/11.69 c
11.59/11.69 c # default clock type (1: CPU user seconds, 2: wall clock time)
11.59/11.69 c # [type: int, range: [1,2], default: 1]
11.59/11.69 c timing/clocktype = 2
11.59/11.69 c
11.59/11.69 c # belongs reading time to solving time?
11.59/11.69 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
11.59/11.69 c timing/reading = TRUE
11.59/11.69 c
11.59/11.69 c -----------------------------------------------------------------------------------------------
11.59/11.69 c start solving
11.59/11.69 c
11.79/11.80 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
11.79/11.80 c 11.8s| 1 | 0 | 957 | - | 45M| 0 | 685 |3313 |3811 |3313 |5799 | 0 | 17 | 0 | 0.000000e+00 | -- | Inf
14.48/14.58 c 14.6s| 1 | 0 | 7468 | - | 47M| 0 |1024 |3313 |3829 |3313 |6927 |1128 | 35 | 0 | 0.000000e+00 | -- | Inf
15.09/15.17 c 15.2s| 1 | 0 | 8837 | - | 48M| 0 |1204 |3313 |3829 |3313 |7760 |1961 | 35 | 0 | 0.000000e+00 | -- | Inf
16.29/16.36 c 16.4s| 1 | 0 | 11727 | - | 49M| 0 |1307 |3313 |3829 |3313 |8576 |2777 | 35 | 0 | 0.000000e+00 | -- | Inf
17.68/17.74 c 17.7s| 1 | 0 | 15385 | - | 50M| 0 |1488 |3313 |3829 |3313 |9830 |4031 | 35 | 0 | 0.000000e+00 | -- | Inf
19.18/19.21 c 19.2s| 1 | 0 | 18092 | - | 51M| 0 |1572 |3313 |3829 |3313 | 11k|5555 | 35 | 0 | 0.000000e+00 | -- | Inf
22.09/22.10 c 22.1s| 1 | 0 | 23660 | - | 51M| 0 |1787 |3313 |3829 |3313 | 12k|6451 | 35 | 0 | 0.000000e+00 | -- | Inf
26.69/26.78 c 26.8s| 1 | 2 | 23660 | - | 51M| 0 |1787 |3313 |3829 |3313 | 12k|6451 | 35 | 19 | 0.000000e+00 | -- | Inf
73.48/73.55 c 73.6s| 100 | 72 | 57258 | 339.4 | 52M| 43 | - |3313 |3899 | 0 | 0 |8507 | 105 | 411 | 0.000000e+00 | -- | Inf
82.27/82.39 c 82.4s| 200 | 5 | 76183 | 263.9 | 52M| 43 |1460 |3313 |4000 |3313 |7900 |9426 | 206 | 443 | 0.000000e+00 | -- | Inf
87.98/88.03 c 88.0s| 300 | 38 | 86358 | 209.7 | 52M| 52 | 894 |3313 |4103 |3313 |8018 |9738 | 309 | 491 | 0.000000e+00 | -- | Inf
101.37/101.42 c 101s| 400 | 66 |117102 | 234.2 | 52M| 52 |1094 |3313 |4343 |3313 |8001 | 10k| 549 | 539 | 0.000000e+00 | -- | Inf
107.37/107.43 c 107s| 500 | 82 |130006 | 213.1 | 53M| 52 | 580 |3313 |4447 |3313 |8157 | 10k| 653 | 587 | 0.000000e+00 | -- | Inf
111.47/111.52 c 112s| 600 | 88 |137672 | 190.3 | 53M| 52 | 610 |3313 |4688 |3313 |8180 | 11k| 897 | 636 | 0.000000e+00 | -- | Inf
115.47/115.53 c 116s| 700 | 85 |144691 | 173.1 | 53M| 52 | - |3313 |4900 | 0 | 0 | 11k|1109 | 683 | 0.000000e+00 | -- | Inf
119.17/119.29 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
119.17/119.29 c 119s| 800 | 99 |156097 | 165.8 | 53M| 52 | 496 |3313 |5077 |3313 |8173 | 11k|1286 | 703 | 0.000000e+00 | -- | Inf
122.77/122.88 c 123s| 900 | 96 |162687 | 154.6 | 53M| 52 | 575 |3313 |5269 |3313 |8169 | 11k|1478 | 742 | 0.000000e+00 | -- | Inf
125.87/125.91 c 126s| 1000 | 92 |168245 | 144.7 | 53M| 52 | - |3313 |5427 | 0 | 0 | 11k|1637 | 772 | 0.000000e+00 | -- | Inf
128.47/128.56 c 129s| 1100 | 84 |173244 | 136.1 | 53M| 52 | 862 |3313 |5572 |3313 |8130 | 12k|1791 | 792 | 0.000000e+00 | -- | Inf
133.08/133.12 c 133s| 1200 | 91 |182010 | 132.1 | 53M| 52 | 593 |3313 |5625 |3313 |8033 | 12k|1859 | 837 | 0.000000e+00 | -- | Inf
139.06/139.12 c 139s| 1300 | 93 |193909 | 131.1 | 53M| 52 |1093 |3313 |5671 |3313 |8042 | 12k|1963 | 893 | 0.000000e+00 | -- | Inf
145.57/145.65 c 146s| 1400 | 78 |210058 | 133.2 | 53M| 52 | 715 |3313 |5674 |3313 |8135 | 13k|2031 | 955 | 0.000000e+00 | -- | Inf
148.66/148.79 c 149s| 1500 | 80 |216178 | 128.4 | 53M| 52 | 665 |3313 |5796 |3313 |8127 | 13k|2224 | 985 | 0.000000e+00 | -- | Inf
153.47/153.51 c 154s| 1600 | 66 |226030 | 126.6 | 53M| 52 | 837 |3313 |5738 |3313 |8165 | 13k|2363 |1009 | 0.000000e+00 | -- | Inf
157.37/157.40 c 157s| 1700 | 59 |233624 | 123.6 | 53M| 52 | - |3313 |5757 | 0 | 0 | 13k|2522 |1054 | 0.000000e+00 | -- | Inf
160.07/160.19 c 160s| 1800 | 54 |238625 | 119.5 | 53M| 52 | - |3313 |5812 | 0 | 0 | 13k|2656 |1094 | 0.000000e+00 | -- | Inf
164.46/164.52 c 165s| 1900 | 71 |247465 | 117.9 | 53M| 52 | 454 |3313 |5669 |3313 |8119 | 14k|2801 |1138 | 0.000000e+00 | -- | Inf
170.06/170.17 c 170s| 2000 | 87 |263856 | 120.2 | 53M| 52 | 783 |3313 |5684 |3313 |8123 | 14k|2989 |1212 | 0.000000e+00 | -- | Inf
174.27/174.38 c 174s| 2100 | 66 |273252 | 118.9 | 53M| 52 | 515 |3313 |5649 |3313 |8124 | 14k|3207 |1255 | 0.000000e+00 | -- | Inf
176.57/176.62 c 177s| 2200 | 59 |277215 | 115.3 | 53M| 52 | 622 |3313 |5743 |3313 |8136 | 14k|3331 |1283 | 0.000000e+00 | -- | Inf
182.26/182.31 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
182.26/182.31 c 182s| 2300 | 78 |288673 | 115.3 | 53M| 52 | 473 |3313 |5740 |3313 |8160 | 15k|3483 |1325 | 0.000000e+00 | -- | Inf
184.27/184.31 c 184s| 2400 | 70 |292708 | 112.2 | 53M| 52 | 613 |3313 |5842 |3313 |8172 | 15k|3604 |1339 | 0.000000e+00 | -- | Inf
187.36/187.41 c 187s| 2500 | 76 |298887 | 110.1 | 53M| 52 | 502 |3313 |5950 |3313 |8173 | 15k|3765 |1369 | 0.000000e+00 | -- | Inf
190.26/190.33 c 190s| 2600 | 71 |304003 | 107.9 | 53M| 52 | 559 |3313 |6091 |3313 |8164 | 15k|3950 |1397 | 0.000000e+00 | -- | Inf
193.36/193.43 c 193s| 2700 | 67 |310114 | 106.1 | 53M| 52 | 595 |3313 |6204 |3313 |8174 | 15k|4125 |1459 | 0.000000e+00 | -- | Inf
196.96/197.02 c 197s| 2800 | 81 |317577 | 105.0 | 54M| 52 | 611 |3313 |6342 |3313 |8162 | 16k|4334 |1515 | 0.000000e+00 | -- | Inf
200.46/200.55 c 201s| 2900 | 79 |325842 | 104.2 | 54M| 52 | 495 |3313 |6445 |3313 |8154 | 16k|4491 |1573 | 0.000000e+00 | -- | Inf
203.96/204.09 c 204s| 3000 | 82 |332358 | 102.9 | 54M| 52 | - |3313 |6504 | 0 | 0 | 16k|4672 |1622 | 0.000000e+00 | -- | Inf
207.46/207.53 c 208s| 3100 | 78 |339480 | 101.9 | 54M| 52 | - |3313 |6651 | 0 | 0 | 16k|4843 |1660 | 0.000000e+00 | -- | Inf
211.25/211.33 c 211s| 3200 | 73 |347232 | 101.1 | 54M| 52 | 565 |3313 |6702 |3313 |8151 | 17k|4983 |1720 | 0.000000e+00 | -- | Inf
215.16/215.22 c 215s| 3300 | 79 |356846 | 101.0 | 54M| 52 | - |3313 |6700 | 0 | 0 | 17k|5118 |1775 | 0.000000e+00 | -- | Inf
218.56/218.69 c 219s| 3400 | 73 |364633 | 100.3 | 54M| 52 | 648 |3313 |6771 |3313 |8161 | 17k|5262 |1816 | 0.000000e+00 | -- | Inf
223.26/223.32 c 223s| 3500 | 77 |374686 | 100.3 | 54M| 52 | 487 |3313 |6855 |3313 |8171 | 17k|5423 |1883 | 0.000000e+00 | -- | Inf
227.25/227.37 c 227s| 3600 | 77 |384005 | 100.1 | 54M| 52 | 446 |3313 |6968 |3313 |8186 | 18k|5577 |1935 | 0.000000e+00 | -- | Inf
230.86/230.92 c 231s| 3700 | 77 |391256 | 99.4 | 54M| 52 | - |3313 |7048 | 0 | 0 | 18k|5737 |1989 | 0.000000e+00 | -- | Inf
234.16/234.22 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
234.16/234.22 c 234s| 3800 | 82 |399149 | 98.8 | 54M| 52 | 465 |3313 |7118 |3313 |8143 | 18k|5886 |2023 | 0.000000e+00 | -- | Inf
237.05/237.16 c 237s| 3900 | 84 |404741 | 97.7 | 54M| 52 | - |3313 |7129 | 0 | 0 | 18k|6022 |2077 | 0.000000e+00 | -- | Inf
241.96/242.09 c 242s| 4000 | 90 |417157 | 98.4 | 54M| 52 | 492 |3313 |7193 |3313 |8105 | 18k|6205 |2153 | 0.000000e+00 | -- | Inf
245.85/245.99 c 246s| 4100 | 80 |424998 | 97.9 | 54M| 52 | - |3313 |7181 | 0 | 0 | 19k|6393 |2181 | 0.000000e+00 | -- | Inf
253.05/253.16 c 253s| 4200 | 84 |444620 | 100.3 | 54M| 52 | 707 |3313 |7094 |3313 |8093 | 19k|6478 |2246 | 0.000000e+00 | -- | Inf
256.75/256.84 c 257s| 4300 | 111 |453549 | 100.0 | 54M| 52 | - |3313 |7164 | 0 | 0 | 19k|6638 |2286 | 0.000000e+00 | -- | Inf
261.05/261.16 c 261s| 4400 | 129 |462143 | 99.7 | 54M| 52 | 605 |3313 |7139 |3313 |8095 | 20k|6786 |2353 | 0.000000e+00 | -- | Inf
264.35/264.48 c 264s| 4500 | 100 |468683 | 98.9 | 54M| 52 | 772 |3313 |7182 |3313 |8099 | 20k|6944 |2417 | 0.000000e+00 | -- | Inf
268.35/268.42 c 268s| 4600 | 101 |476205 | 98.4 | 54M| 52 | 446 |3313 |7114 |3313 |8133 | 20k|7083 |2468 | 0.000000e+00 | -- | Inf
270.95/271.05 c 271s| 4700 | 101 |481005 | 97.3 | 54M| 52 | 480 |3313 |7332 |3313 |8155 | 20k|7322 |2489 | 0.000000e+00 | -- | Inf
274.05/274.16 c 274s| 4800 | 97 |486282 | 96.4 | 54M| 52 | 569 |3313 |7386 |3313 |8132 | 20k|7502 |2513 | 0.000000e+00 | -- | Inf
276.94/277.01 c 277s| 4900 | 95 |491691 | 95.5 | 54M| 52 | 525 |3313 |7445 |3313 |8153 | 21k|7639 |2538 | 0.000000e+00 | -- | Inf
279.55/279.64 c 280s| 5000 | 90 |496974 | 94.7 | 54M| 52 | 741 |3313 |7595 |3313 |8127 | 21k|7859 |2560 | 0.000000e+00 | -- | Inf
282.85/282.97 c 283s| 5100 | 86 |503208 | 94.0 | 54M| 52 | 728 |3313 |7515 |3313 |8152 | 21k|7970 |2584 | 0.000000e+00 | -- | Inf
285.95/286.10 c 286s| 5200 | 97 |509327 | 93.4 | 54M| 52 | 619 |3313 |7572 |3313 |8186 | 21k|8091 |2633 | 0.000000e+00 | -- | Inf
289.65/289.74 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
289.65/289.74 c 290s| 5300 | 104 |517046 | 93.1 | 54M| 52 | 533 |3313 |7672 |3313 |8135 | 21k|8263 |2684 | 0.000000e+00 | -- | Inf
292.55/292.63 c 293s| 5400 | 95 |522819 | 92.5 | 54M| 52 | 604 |3313 |7726 |3313 |8166 | 21k|8401 |2734 | 0.000000e+00 | -- | Inf
296.74/296.80 c 297s| 5500 | 110 |530997 | 92.3 | 55M| 52 | 716 |3313 |7837 |3313 |8178 | 22k|8601 |2804 | 0.000000e+00 | -- | Inf
300.25/300.39 c 300s| 5600 | 99 |538610 | 92.0 | 55M| 52 | - |3313 |7823 | 0 | 0 | 22k|8791 |2859 | 0.000000e+00 | -- | Inf
303.85/303.98 c 304s| 5700 | 96 |545443 | 91.6 | 54M| 52 | 535 |3313 |7841 |3313 |8134 | 22k|8915 |2902 | 0.000000e+00 | -- | Inf
306.54/306.68 c 307s| 5800 | 86 |550392 | 90.8 | 54M| 52 | 819 |3313 |7962 |3313 |8111 | 22k|9049 |2946 | 0.000000e+00 | -- | Inf
311.15/311.29 c 311s| 5900 | 87 |562047 | 91.3 | 54M| 52 | - |3313 |8055 | 0 | 0 | 22k|9190 |3024 | 0.000000e+00 | -- | Inf
313.94/314.09 c 314s| 6000 | 99 |567402 | 90.6 | 55M| 52 | - |3313 |8111 | 0 | 0 | 23k|9306 |3057 | 0.000000e+00 | -- | Inf
317.24/317.30 c 317s| 6100 | 104 |573627 | 90.2 | 55M| 52 | 558 |3313 |8156 |3313 |8127 | 23k|9428 |3109 | 0.000000e+00 | -- | Inf
319.54/319.69 c 320s| 6200 | 90 |578566 | 89.5 | 55M| 52 | - |3313 |8198 | 0 | 0 | 23k|9557 |3158 | 0.000000e+00 | -- | Inf
323.14/323.28 c 323s| 6300 | 84 |586168 | 89.3 | 54M| 52 | 896 |3313 |8161 |3313 |8112 | 23k|9678 |3230 | 0.000000e+00 | -- | Inf
326.55/326.60 c 327s| 6400 | 90 |592748 | 88.9 | 55M| 52 | 514 |3313 |8195 |3313 |8124 | 23k|9796 |3297 | 0.000000e+00 | -- | Inf
330.14/330.26 c 330s| 6500 | 89 |600573 | 88.8 | 55M| 52 | - |3313 |8205 | 0 | 0 | 23k|9943 |3369 | 0.000000e+00 | -- | Inf
333.34/333.47 c 333s| 6600 | 96 |606970 | 88.4 | 55M| 52 | 495 |3313 |8266 |3313 |8160 | 23k| 10k|3423 | 0.000000e+00 | -- | Inf
338.04/338.13 c 338s| 6700 | 94 |615629 | 88.4 | 55M| 52 | - |3313 |8321 | 0 | 0 | 24k| 10k|3531 | 0.000000e+00 | -- | Inf
341.24/341.35 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
341.24/341.35 c 341s| 6800 | 83 |621659 | 88.0 | 55M| 52 | 677 |3313 |8440 |3313 |8121 | 24k| 10k|3585 | 0.000000e+00 | -- | Inf
345.53/345.64 c 346s| 6900 | 82 |630975 | 88.0 | 55M| 52 | 659 |3313 |8495 |3313 |8091 | 24k| 10k|3655 | 0.000000e+00 | -- | Inf
349.24/349.31 c 349s| 7000 | 86 |637273 | 87.7 | 55M| 52 | - |3313 |8606 | 0 | 0 | 24k| 10k|3723 | 0.000000e+00 | -- | Inf
352.54/352.62 c 353s| 7100 | 80 |643036 | 87.2 | 55M| 52 | 573 |3313 |8723 |3313 |8126 | 24k| 10k|3807 | 0.000000e+00 | -- | Inf
357.45/357.55 c 358s| 7200 | 97 |652553 | 87.4 | 55M| 52 | 516 |3313 |8669 |3313 |8140 | 24k| 10k|3843 | 0.000000e+00 | -- | Inf
360.13/360.25 c 360s| 7300 | 95 |657286 | 86.8 | 55M| 52 | - |3313 |8805 | 0 | 0 | 25k| 11k|3893 | 0.000000e+00 | -- | Inf
363.83/364.00 c 364s| 7400 | 85 |664363 | 86.6 | 55M| 52 | 579 |3313 |8902 |3313 |8117 | 25k| 11k|3931 | 0.000000e+00 | -- | Inf
368.44/368.57 c 369s| 7500 | 84 |674034 | 86.7 | 55M| 52 | 819 |3313 |8703 |3313 |8118 | 25k| 11k|4005 | 0.000000e+00 | -- | Inf
371.93/372.06 c 372s| 7600 | 95 |684893 | 87.0 | 55M| 52 | 832 |3313 |8639 |3313 |8124 | 25k| 11k|4041 | 0.000000e+00 | -- | Inf
375.34/375.49 c 375s| 7700 | 103 |692223 | 86.8 | 55M| 52 | 579 |3313 |8555 |3313 |8126 | 25k| 11k|4091 | 0.000000e+00 | -- | Inf
378.53/378.62 c 379s| 7800 | 93 |698565 | 86.5 | 55M| 52 | - |3313 |8607 | 0 | 0 | 25k| 11k|4145 | 0.000000e+00 | -- | Inf
382.53/382.70 c 383s| 7900 | 94 |706651 | 86.5 | 55M| 52 | 610 |3313 |8361 |3313 |8120 | 26k| 11k|4233 | 0.000000e+00 | -- | Inf
385.83/385.91 c 386s| 8000 | 98 |713581 | 86.3 | 55M| 52 | 604 |3313 |8307 |3313 |8092 | 26k| 12k|4266 | 0.000000e+00 | -- | Inf
389.83/389.95 c 390s| 8100 | 89 |721906 | 86.2 | 55M| 52 | 941 |3313 |8251 |3313 |8043 | 26k| 12k|4338 | 0.000000e+00 | -- | Inf
395.23/395.37 c 395s| 8200 | 91 |733565 | 86.6 | 55M| 52 | 680 |3313 |8039 |3313 |8120 | 26k| 12k|4386 | 0.000000e+00 | -- | Inf
399.43/399.52 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
399.43/399.52 c 400s| 8300 | 91 |742522 | 86.6 | 55M| 52 | - |3313 |8019 | 0 | 0 | 26k| 12k|4453 | 0.000000e+00 | -- | Inf
403.73/403.80 c 404s| 8400 | 91 |752323 | 86.8 | 55M| 52 | 636 |3313 |8064 |3313 |8126 | 27k| 12k|4523 | 0.000000e+00 | -- | Inf
408.23/408.33 c 408s| 8500 | 88 |761746 | 86.8 | 55M| 52 | - |3313 |8098 | 0 | 0 | 27k| 12k|4590 | 0.000000e+00 | -- | Inf
414.02/414.16 c 414s| 8600 | 83 |774572 | 87.3 | 55M| 52 | 965 |3313 |8081 |3313 |8118 | 27k| 12k|4678 | 0.000000e+00 | -- | Inf
418.12/418.27 c 418s| 8700 | 88 |782652 | 87.3 | 55M| 52 | 604 |3313 |7955 |3313 |8118 | 28k| 13k|4716 | 0.000000e+00 | -- | Inf
422.62/422.77 c 423s| 8800 | 89 |794128 | 87.6 | 55M| 52 | 656 |3313 |7922 |3313 |8109 | 28k| 13k|4765 | 0.000000e+00 | -- | Inf
424.82/424.98 c 425s| 8900 | 88 |800731 | 87.3 | 55M| 52 | 624 |3313 |8034 |3313 |8128 | 28k| 13k|4767 | 0.000000e+00 | -- | Inf
427.13/427.22 c 427s| 9000 | 89 |808936 | 87.3 | 55M| 52 | 721 |3313 |8119 |3313 |8138 | 28k| 13k|4769 | 0.000000e+00 | -- | Inf
429.72/429.89 c 430s| 9100 | 84 |817046 | 87.2 | 55M| 52 | - |3313 |8145 | 0 | 0 | 28k| 13k|4775 | 0.000000e+00 | -- | Inf
433.53/433.69 c 434s| 9200 | 88 |829267 | 87.6 | 55M| 52 | 832 |3313 |8178 |3313 |8114 | 29k| 13k|4795 | 0.000000e+00 | -- | Inf
436.23/436.33 c 436s| 9300 | 93 |838130 | 87.6 | 55M| 52 | 709 |3313 |8306 |3313 |8120 | 29k| 13k|4796 | 0.000000e+00 | -- | Inf
438.53/438.63 c 439s| 9400 | 99 |845174 | 87.4 | 55M| 52 | 540 |3313 |8389 |3313 |8150 | 29k| 14k|4799 | 0.000000e+00 | -- | Inf
441.42/441.57 c 442s| 9500 | 87 |854207 | 87.4 | 55M| 52 | - |3313 |8455 | 0 | 0 | 29k| 14k|4806 | 0.000000e+00 | -- | Inf
445.43/445.57 c 446s| 9600 | 86 |867584 | 87.9 | 55M| 52 | 742 |3313 |8502 |3313 |8126 | 30k| 14k|4806 | 0.000000e+00 | -- | Inf
449.92/450.06 c 450s| 9700 | 78 |883609 | 88.7 | 55M| 52 | 712 |3313 |8542 |3313 |8176 | 30k| 14k|4813 | 0.000000e+00 | -- | Inf
453.82/453.98 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
453.82/453.98 c 454s| 9800 | 78 |896371 | 89.1 | 55M| 52 | 725 |3313 |8441 |3313 |8157 | 31k| 14k|4837 | 0.000000e+00 | -- | Inf
456.33/456.50 c 457s| 9900 | 74 |903424 | 88.9 | 55M| 52 | 961 |3313 |8472 |3313 |8108 | 31k| 14k|4852 | 0.000000e+00 | -- | Inf
459.42/459.54 c 460s| 10000 | 75 |913331 | 89.0 | 55M| 52 | 568 |3313 |8544 |3313 |8138 | 31k| 14k|4857 | 0.000000e+00 | -- | Inf
463.62/463.79 c 464s| 10100 | 84 |924207 | 89.2 | 55M| 52 | - |3313 |8529 | 0 | 0 | 31k| 15k|4895 | 0.000000e+00 | -- | Inf
466.42/466.50 c 467s| 10200 | 77 |929972 | 88.9 | 55M| 52 | 480 |3313 |8413 |3313 |8165 | 31k| 15k|4911 | 0.000000e+00 | -- | Inf
469.72/469.84 c 470s| 10300 | 74 |938345 | 88.8 | 55M| 52 | 618 |3313 |8349 |3313 |8137 | 32k| 15k|4942 | 0.000000e+00 | -- | Inf
476.82/476.96 c 477s| 10400 | 75 |948423 | 88.9 | 55M| 52 | 644 |3313 |8186 |3313 |8095 | 32k| 15k|5047 | 0.000000e+00 | -- | Inf
485.92/486.00 c 486s| 10500 | 75 |956807 | 88.9 | 55M| 52 | 866 |3313 |8023 |3313 |8045 | 32k| 15k|5270 | 0.000000e+00 | -- | Inf
495.01/495.18 c 495s| 10600 | 70 |979389 | 90.2 | 55M| 52 | - |3313 |8028 | 0 | 0 | 33k| 15k|5353 | 0.000000e+00 | -- | Inf
500.61/500.75 c 501s| 10700 | 76 |999604 | 91.2 | 55M| 52 | - |3313 |7855 | 0 | 0 | 33k| 15k|5381 | 0.000000e+00 | -- | Inf
504.12/504.20 c 504s| 10800 | 77 | 1010k| 91.4 | 55M| 52 | 671 |3313 |7785 |3313 |8101 | 33k| 16k|5395 | 0.000000e+00 | -- | Inf
507.91/508.04 c 508s| 10900 | 72 | 1024k| 91.8 | 54M| 52 |1199 |3313 |7794 |3313 |8099 | 34k| 16k|5396 | 0.000000e+00 | -- | Inf
509.92/510.02 c 510s| 11000 | 75 | 1030k| 91.5 | 55M| 52 | 559 |3313 |7867 |3313 |8121 | 34k| 16k|5396 | 0.000000e+00 | -- | Inf
514.31/514.47 c 514s| 11100 | 75 | 1044k| 91.9 | 55M| 52 | - |3313 |8001 | 0 | 0 | 34k| 16k|5401 | 0.000000e+00 | -- | Inf
519.21/519.35 c 519s| 11200 | 75 | 1059k| 92.5 | 55M| 52 | - |3313 |8119 | 0 | 0 | 35k| 16k|5418 | 0.000000e+00 | -- | Inf
521.91/522.03 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
521.91/522.03 c 522s| 11300 | 70 | 1068k| 92.4 | 55M| 52 | 627 |3313 |8133 |3313 |8077 | 35k| 16k|5420 | 0.000000e+00 | -- | Inf
527.11/527.23 c 527s| 11400 | 97 | 1081k| 92.8 | 55M| 52 | 660 |3313 |8123 |3313 |8053 | 35k| 16k|5453 | 0.000000e+00 | -- | Inf
532.01/532.11 c 532s| 11500 | 112 | 1092k| 92.9 | 55M| 52 | 689 |3313 |8320 |3313 |8053 | 36k| 17k|5492 | 0.000000e+00 | -- | Inf
537.41/537.58 c 538s| 11600 | 123 | 1105k| 93.3 | 55M| 52 | - |3313 |8412 | 0 | 0 | 36k| 17k|5511 | 0.000000e+00 | -- | Inf
539.61/539.75 c 540s| 11700 | 109 | 1110k| 92.9 | 55M| 52 | 676 |3313 |8499 |3313 |8103 | 36k| 17k|5522 | 0.000000e+00 | -- | Inf
543.32/543.47 c 543s| 11800 | 88 | 1118k| 92.8 | 55M| 52 | 684 |3313 |8561 |3313 |8105 | 36k| 17k|5565 | 0.000000e+00 | -- | Inf
547.71/547.81 c 548s| 11900 | 84 | 1128k| 92.8 | 55M| 52 | - |3313 |8612 | 0 | 0 | 37k| 17k|5629 | 0.000000e+00 | -- | Inf
553.21/553.34 c 553s| 12000 | 82 | 1141k| 93.1 | 55M| 52 | - |3313 |8698 | 0 | 0 | 37k| 17k|5671 | 0.000000e+00 | -- | Inf
556.42/556.53 c 557s| 12100 | 87 | 1147k| 92.9 | 55M| 52 | - |3313 |8703 | 0 | 0 | 37k| 18k|5696 | 0.000000e+00 | -- | Inf
561.31/561.45 c 561s| 12200 | 75 | 1158k| 93.0 | 55M| 52 | - |3313 |8680 | 0 | 0 | 38k| 18k|5748 | 0.000000e+00 | -- | Inf
566.10/566.23 c 566s| 12300 | 80 | 1169k| 93.2 | 55M| 52 | 628 |3313 |8635 |3313 |8097 | 38k| 18k|5804 | 0.000000e+00 | -- | Inf
569.71/569.88 c 570s| 12400 | 74 | 1179k| 93.2 | 55M| 52 | - |3313 |8647 | 0 | 0 | 38k| 18k|5832 | 0.000000e+00 | -- | Inf
575.50/575.65 c 576s| 12500 | 69 | 1193k| 93.6 | 55M| 52 | 744 |3313 |8632 |3313 |8079 | 38k| 18k|5897 | 0.000000e+00 | -- | Inf
580.61/580.74 c 581s| 12600 | 80 | 1203k| 93.7 | 55M| 52 | 718 |3313 |8639 |3313 |8148 | 39k| 18k|5940 | 0.000000e+00 | -- | Inf
586.30/586.49 c 586s| 12700 | 75 | 1217k| 94.0 | 55M| 52 | 718 |3313 |8632 |3313 |8069 | 39k| 18k|6008 | 0.000000e+00 | -- | Inf
590.10/590.25 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
590.10/590.25 c 590s| 12800 | 84 | 1226k| 94.0 | 55M| 52 | 571 |3313 |8749 |3313 |8084 | 39k| 19k|6046 | 0.000000e+00 | -- | Inf
594.80/594.92 c 595s| 12900 | 83 | 1237k| 94.1 | 55M| 52 | 659 |3313 |8766 |3313 |8047 | 39k| 19k|6094 | 0.000000e+00 | -- | Inf
600.20/600.35 c 600s| 13000 | 89 | 1248k| 94.3 | 55M| 52 | 714 |3313 |8924 |3313 |8111 | 40k| 19k|6145 | 0.000000e+00 | -- | Inf
603.59/603.80 c 604s| 13100 | 82 | 1255k| 94.1 | 55M| 52 | 677 |3313 |9124 |3313 |8091 | 40k| 19k|6181 | 0.000000e+00 | -- | Inf
608.60/608.78 c 609s| 13200 | 82 | 1266k| 94.2 | 55M| 52 | 715 |3313 |9191 |3313 |8089 | 40k| 19k|6234 | 0.000000e+00 | -- | Inf
612.60/612.71 c 613s| 13300 | 89 | 1274k| 94.1 | 55M| 52 | - |3313 |9283 | 0 | 0 | 41k| 19k|6261 | 0.000000e+00 | -- | Inf
616.59/616.71 c 617s| 13400 | 85 | 1282k| 94.0 | 55M| 52 | 858 |3313 |9453 |3313 |8078 | 41k| 20k|6301 | 0.000000e+00 | -- | Inf
620.69/620.88 c 621s| 13500 | 88 | 1291k| 93.9 | 55M| 52 | 727 |3313 |9541 |3313 |8076 | 41k| 20k|6338 | 0.000000e+00 | -- | Inf
624.70/624.80 c 625s| 13600 | 73 | 1299k| 93.8 | 55M| 52 | 870 |3313 |9559 |3313 |8087 | 42k| 20k|6382 | 0.000000e+00 | -- | Inf
630.10/630.23 c 630s| 13700 | 89 | 1311k| 94.0 | 56M| 52 | 444 |3313 |9495 |3313 |8074 | 42k| 20k|6444 | 0.000000e+00 | -- | Inf
633.89/634.04 c 634s| 13800 | 74 | 1318k| 93.9 | 55M| 52 | - |3313 |9543 | 0 | 0 | 42k| 20k|6488 | 0.000000e+00 | -- | Inf
638.90/639.00 c 639s| 13900 | 88 | 1329k| 93.9 | 56M| 52 | 629 |3313 |9596 |3313 |8093 | 43k| 20k|6548 | 0.000000e+00 | -- | Inf
644.29/644.48 c 644s| 14000 | 76 | 1340k| 94.1 | 55M| 52 | 762 |3313 |9534 |3313 |8089 | 43k| 21k|6619 | 0.000000e+00 | -- | Inf
649.89/650.10 c 650s| 14100 | 81 | 1352k| 94.2 | 56M| 52 | - |3313 |9510 | 0 | 0 | 44k| 21k|6694 | 0.000000e+00 | -- | Inf
653.89/654.02 c 654s| 14200 | 87 | 1360k| 94.1 | 56M| 52 | 688 |3313 |9612 |3313 |8125 | 44k| 21k|6733 | 0.000000e+00 | -- | Inf
660.29/660.46 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
660.29/660.46 c 660s| 14300 | 92 | 1374k| 94.5 | 56M| 52 | 681 |3313 |9689 |3313 |8127 | 44k| 21k|6810 | 0.000000e+00 | -- | Inf
665.79/665.97 c 666s| 14400 | 86 | 1386k| 94.7 | 56M| 52 | 534 |3313 |9693 |3313 |8090 | 45k| 21k|6863 | 0.000000e+00 | -- | Inf
669.49/669.69 c 670s| 14500 | 87 | 1395k| 94.6 | 56M| 52 | 556 |3313 |9761 |3313 |8075 | 45k| 21k|6905 | 0.000000e+00 | -- | Inf
673.89/674.09 c 674s| 14600 | 78 | 1404k| 94.6 | 56M| 52 | 717 |3313 |9793 |3313 |8086 | 46k| 22k|6967 | 0.000000e+00 | -- | Inf
678.99/679.12 c 679s| 14700 | 73 | 1415k| 94.7 | 56M| 52 | 766 |3313 |9652 |3313 |8104 | 46k| 22k|7056 | 0.000000e+00 | -- | Inf
683.49/683.64 c 684s| 14800 | 71 | 1425k| 94.7 | 55M| 52 | 660 |3313 |9491 |3313 |8081 | 46k| 22k|7110 | 0.000000e+00 | -- | Inf
688.08/688.28 c 688s| 14900 | 78 | 1434k| 94.7 | 55M| 52 | 379 |3313 |9235 |3313 |8146 | 46k| 22k|7174 | 0.000000e+00 | -- | Inf
690.19/690.32 c 690s| 15000 | 70 | 1438k| 94.3 | 55M| 52 | 690 |3313 |9356 |3313 |8119 | 46k| 22k|7211 | 0.000000e+00 | -- | Inf
692.68/692.89 c 693s| 15100 | 73 | 1444k| 94.1 | 55M| 52 | 622 |3313 |9370 |3313 |8141 | 47k| 22k|7250 | 0.000000e+00 | -- | Inf
695.09/695.27 c 695s| 15200 | 70 | 1449k| 93.8 | 55M| 52 | 593 |3313 |9395 |3313 |8119 | 47k| 22k|7296 | 0.000000e+00 | -- | Inf
697.98/698.10 c 698s| 15300 | 68 | 1455k| 93.6 | 55M| 52 | 958 |3313 |9392 |3313 |8094 | 47k| 22k|7335 | 0.000000e+00 | -- | Inf
701.19/701.36 c 701s| 15400 | 71 | 1462k| 93.4 | 55M| 52 |1014 |3313 |9372 |3313 |8081 | 47k| 23k|7362 | 0.000000e+00 | -- | Inf
704.19/704.30 c 704s| 15500 | 75 | 1471k| 93.4 | 56M| 52 | - |3313 |9485 | 0 | 0 | 47k| 23k|7380 | 0.000000e+00 | -- | Inf
706.68/706.81 c 707s| 15600 | 66 | 1479k| 93.3 | 55M| 52 |1072 |3313 |9478 |3313 |8087 | 48k| 23k|7387 | 0.000000e+00 | -- | Inf
710.28/710.48 c 710s| 15700 | 74 | 1486k| 93.2 | 55M| 52 | 562 |3313 |9406 |3313 |8153 | 48k| 23k|7425 | 0.000000e+00 | -- | Inf
714.98/715.13 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
714.98/715.13 c 715s| 15800 | 69 | 1494k| 93.1 | 55M| 52 | 684 |3313 |9178 |3313 |8087 | 48k| 23k|7487 | 0.000000e+00 | -- | Inf
718.68/718.86 c 719s| 15900 | 73 | 1503k| 93.1 | 55M| 52 | 773 |3313 |9092 |3313 |8102 | 48k| 23k|7510 | 0.000000e+00 | -- | Inf
721.28/721.49 c 721s| 16000 | 70 | 1511k| 93.0 | 55M| 52 | 863 |3313 |9106 |3313 |8079 | 48k| 23k|7517 | 0.000000e+00 | -- | Inf
725.38/725.50 c 726s| 16100 | 76 | 1522k| 93.1 | 55M| 52 | - |3313 |9238 | 0 | 0 | 49k| 24k|7545 | 0.000000e+00 | -- | Inf
728.17/728.34 c 728s| 16200 | 79 | 1530k| 93.0 | 56M| 52 | 657 |3313 |9436 |3313 |8092 | 49k| 24k|7554 | 0.000000e+00 | -- | Inf
731.08/731.22 c 731s| 16300 | 84 | 1539k| 93.0 | 56M| 52 | - |3313 |9516 | 0 | 0 | 49k| 24k|7554 | 0.000000e+00 | -- | Inf
734.58/734.73 c 735s| 16400 | 75 | 1549k| 93.0 | 56M| 52 | 921 |3313 |9603 |3313 |8067 | 49k| 24k|7565 | 0.000000e+00 | -- | Inf
738.77/738.96 c 739s| 16500 | 79 | 1559k| 93.1 | 56M| 52 |1025 |3313 |9498 |3313 |8076 | 50k| 24k|7592 | 0.000000e+00 | -- | Inf
747.08/747.28 c 747s| 16600 | 73 | 1583k| 94.0 | 55M| 52 | 985 |3313 |9156 |3313 |8038 | 50k| 25k|7671 | 0.000000e+00 | -- | Inf
752.67/752.84 c 753s| 16700 | 80 | 1601k| 94.5 | 55M| 52 | 967 |3313 |9313 |3313 |8016 | 51k| 25k|7677 | 0.000000e+00 | -- | Inf
756.58/756.74 c 757s| 16800 | 79 | 1615k| 94.8 | 56M| 52 | - |3313 |9377 | 0 | 0 | 51k| 25k|7682 | 0.000000e+00 | -- | Inf
761.27/761.49 c 761s| 16900 | 78 | 1631k| 95.1 | 55M| 52 | 749 |3313 |9353 |3313 |8109 | 51k| 25k|7694 | 0.000000e+00 | -- | Inf
765.38/765.60 c 766s| 17000 | 93 | 1644k| 95.4 | 56M| 52 | - |3313 |9419 | 0 | 0 | 52k| 25k|7694 | 0.000000e+00 | -- | Inf
768.47/768.63 c 769s| 17100 | 85 | 1654k| 95.4 | 56M| 52 | - |3313 |9581 | 0 | 0 | 52k| 25k|7694 | 0.000000e+00 | -- | Inf
771.77/771.92 c 772s| 17200 | 86 | 1666k| 95.5 | 56M| 52 |1057 |3313 |9682 |3313 |8042 | 53k| 25k|7694 | 0.000000e+00 | -- | Inf
777.87/778.02 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
777.87/778.02 c 778s| 17300 | 131 | 1681k| 95.8 | 56M| 52 | 676 |3313 |9759 |3313 |8113 | 53k| 26k|7702 | 0.000000e+00 | -- | Inf
779.97/780.19 c 780s| 17400 | 127 | 1688k| 95.7 | 56M| 52 | 870 |3313 |9905 |3313 |8024 | 53k| 26k|7703 | 0.000000e+00 | -- | Inf
782.57/782.70 c 783s| 17500 | 126 | 1694k| 95.5 | 56M| 52 | 741 |3313 |9984 |3313 |8098 | 53k| 26k|7704 | 0.000000e+00 | -- | Inf
784.97/785.15 c 785s| 17600 | 117 | 1702k| 95.4 | 56M| 52 | - |3313 | 10k| 0 | 0 | 53k| 26k|7705 | 0.000000e+00 | -- | Inf
788.67/788.89 c 789s| 17700 | 130 | 1713k| 95.5 | 56M| 52 | 662 |3313 | 10k|3313 |8111 | 54k| 26k|7708 | 0.000000e+00 | -- | Inf
792.57/792.78 c 793s| 17800 | 125 | 1726k| 95.7 | 56M| 52 | - |3313 | 10k| 0 | 0 | 54k| 26k|7708 | 0.000000e+00 | -- | Inf
796.77/796.96 c 797s| 17900 | 134 | 1739k| 95.8 | 56M| 52 | 819 |3313 | 10k|3313 |8120 | 55k| 27k|7709 | 0.000000e+00 | -- | Inf
799.27/799.40 c 799s| 18000 | 134 | 1746k| 95.7 | 56M| 52 | 687 |3313 | 10k|3313 |8083 | 55k| 27k|7709 | 0.000000e+00 | -- | Inf
802.46/802.66 c 803s| 18100 | 132 | 1755k| 95.7 | 56M| 52 | 790 |3313 | 10k|3313 |8112 | 55k| 27k|7710 | 0.000000e+00 | -- | Inf
805.36/805.56 c 806s| 18200 | 134 | 1764k| 95.7 | 56M| 52 | 887 |3313 | 10k|3313 |8086 | 56k| 27k|7710 | 0.000000e+00 | -- | Inf
808.97/809.10 c 809s| 18300 | 136 | 1773k| 95.6 | 57M| 52 | - |3313 | 10k| 0 | 0 | 56k| 27k|7749 | 0.000000e+00 | -- | Inf
814.57/814.79 c 815s| 18400 | 152 | 1786k| 95.8 | 57M| 52 | 880 |3313 | 10k|3313 |8112 | 56k| 27k|7795 | 0.000000e+00 | -- | Inf
819.38/819.58 c 820s| 18500 | 160 | 1798k| 95.9 | 57M| 52 | 827 |3313 | 10k|3313 |8082 | 57k| 27k|7851 | 0.000000e+00 | -- | Inf
823.46/823.61 c 824s| 18600 | 154 | 1807k| 95.9 | 57M| 52 | 666 |3313 | 10k|3313 |8103 | 57k| 28k|7896 | 0.000000e+00 | -- | Inf
829.07/829.23 c 829s| 18700 | 149 | 1820k| 96.1 | 57M| 52 | - |3313 | 10k| 0 | 0 | 57k| 28k|7941 | 0.000000e+00 | -- | Inf
834.07/834.28 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
834.07/834.28 c 834s| 18800 | 163 | 1831k| 96.2 | 57M| 52 |1009 |3313 | 11k|3313 |8053 | 58k| 28k|7981 | 0.000000e+00 | -- | Inf
838.56/838.77 c 839s| 18900 | 164 | 1841k| 96.2 | 57M| 52 | - |3313 | 11k| 0 | 0 | 58k| 28k|8020 | 0.000000e+00 | -- | Inf
842.16/842.38 c 842s| 19000 | 145 | 1849k| 96.1 | 57M| 52 | 683 |3313 | 11k|3313 |8125 | 58k| 28k|8051 | 0.000000e+00 | -- | Inf
845.36/845.51 c 846s| 19100 | 145 | 1856k| 96.0 | 57M| 52 | - |3313 | 11k| 0 | 0 | 58k| 28k|8070 | 0.000000e+00 | -- | Inf
847.96/848.11 c 848s| 19200 | 127 | 1862k| 95.8 | 57M| 52 | - |3313 | 11k| 0 | 0 | 59k| 28k|8089 | 0.000000e+00 | -- | Inf
852.56/852.78 c 853s| 19300 | 124 | 1873k| 95.9 | 57M| 52 | 692 |3313 | 11k|3313 |8105 | 59k| 29k|8136 | 0.000000e+00 | -- | Inf
857.36/857.50 c 857s| 19400 | 105 | 1885k| 96.0 | 57M| 52 | 998 |3313 | 11k|3313 |8098 | 59k| 29k|8181 | 0.000000e+00 | -- | Inf
862.06/862.20 c 862s| 19500 | 100 | 1897k| 96.1 | 56M| 52 | 918 |3313 | 11k|3313 |8095 | 60k| 29k|8220 | 0.000000e+00 | -- | Inf
881.05/881.22 c 881s| 19600 | 126 | 1910k| 96.3 | 57M| 52 | 510 |3313 | 11k|3313 |8161 | 60k| 29k|8707 | 0.000000e+00 | -- | Inf
884.76/884.98 c 885s| 19700 | 87 | 1918k| 96.2 | 56M| 52 | 757 |3313 | 10k|3313 |8086 | 60k| 29k|8739 | 0.000000e+00 | -- | Inf
889.05/889.22 c 889s| 19800 | 98 | 1933k| 96.5 | 56M| 52 | 756 |3313 | 10k|3313 |8094 | 61k| 29k|8739 | 0.000000e+00 | -- | Inf
893.65/893.80 c 894s| 19900 | 107 | 1947k| 96.7 | 56M| 52 | - |3313 | 10k| 0 | 0 | 61k| 30k|8739 | 0.000000e+00 | -- | Inf
897.25/897.41 c 897s| 20000 | 86 | 1959k| 96.8 | 56M| 52 | 774 |3313 | 10k|3313 |8110 | 61k| 30k|8739 | 0.000000e+00 | -- | Inf
903.55/903.73 c 904s| 20100 | 87 | 1981k| 97.4 | 56M| 52 | 659 |3313 | 10k|3313 |8069 | 62k| 30k|8776 | 0.000000e+00 | -- | Inf
906.75/906.95 c 907s| 20200 | 74 | 1990k| 97.4 | 56M| 52 | 792 |3313 |9735 |3313 |8095 | 62k| 30k|8786 | 0.000000e+00 | -- | Inf
909.35/909.54 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
909.35/909.54 c 910s| 20300 | 68 | 1998k| 97.3 | 56M| 52 | - |3313 |9517 | 0 | 0 | 62k| 30k|8786 | 0.000000e+00 | -- | Inf
912.75/912.91 c 913s| 20400 | 69 | 2009k| 97.3 | 56M| 52 | 782 |3313 |9384 |3313 |8072 | 63k| 30k|8791 | 0.000000e+00 | -- | Inf
915.45/915.68 c 916s| 20500 | 73 | 2017k| 97.3 | 56M| 52 | 487 |3313 |9291 |3313 |8098 | 63k| 30k|8791 | 0.000000e+00 | -- | Inf
919.05/919.20 c 919s| 20600 | 80 | 2027k| 97.3 | 56M| 52 | 724 |3313 |9295 |3313 |8086 | 63k| 30k|8791 | 0.000000e+00 | -- | Inf
921.66/921.85 c 922s| 20700 | 74 | 2035k| 97.2 | 56M| 52 | 727 |3313 |9363 |3313 |8092 | 63k| 30k|8791 | 0.000000e+00 | -- | Inf
924.54/924.72 c 925s| 20800 | 68 | 2045k| 97.2 | 56M| 52 | 685 |3313 |9419 |3313 |8091 | 63k| 31k|8791 | 0.000000e+00 | -- | Inf
928.85/929.04 c 929s| 20900 | 71 | 2059k| 97.4 | 56M| 52 | 497 |3313 |9366 |3313 |8090 | 64k| 31k|8800 | 0.000000e+00 | -- | Inf
933.55/933.74 c 934s| 21000 | 70 | 2070k| 97.5 | 56M| 52 | 853 |3313 |9418 |3313 |8076 | 64k| 31k|8841 | 0.000000e+00 | -- | Inf
938.55/938.74 c 939s| 21100 | 73 | 2082k| 97.6 | 56M| 52 | - |3313 |9057 | 0 | 0 | 64k| 31k|8880 | 0.000000e+00 | -- | Inf
944.45/944.62 c 945s| 21200 | 74 | 2095k| 97.7 | 56M| 52 | 818 |3313 |9021 |3313 |8087 | 65k| 31k|8919 | 0.000000e+00 | -- | Inf
948.95/949.15 c 949s| 21300 | 71 | 2105k| 97.8 | 56M| 52 | - |3313 |9105 | 0 | 0 | 65k| 31k|8956 | 0.000000e+00 | -- | Inf
954.34/954.59 c 955s| 21400 | 69 | 2118k| 97.9 | 56M| 52 | 709 |3313 |9162 |3313 |8093 | 65k| 31k|9001 | 0.000000e+00 | -- | Inf
958.65/958.87 c 959s| 21500 | 64 | 2129k| 98.0 | 56M| 52 | 601 |3313 |9105 |3313 |8090 | 66k| 32k|9044 | 0.000000e+00 | -- | Inf
963.35/963.51 c 964s| 21600 | 54 | 2141k| 98.1 | 55M| 52 |1033 |3313 |8880 |3313 |8039 | 66k| 32k|9092 | 0.000000e+00 | -- | Inf
972.84/973.02 c 973s| 21700 | 60 | 2161k| 98.5 | 55M| 52 | 785 |3313 |8839 |3313 |8129 | 67k| 32k|9216 | 0.000000e+00 | -- | Inf
977.24/977.50 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
977.24/977.50 c 977s| 21800 | 60 | 2174k| 98.6 | 55M| 52 | 798 |3313 |8641 |3313 |8182 | 67k| 32k|9232 | 0.000000e+00 | -- | Inf
982.74/982.97 c 983s| 21900 | 59 | 2186k| 98.8 | 55M| 52 | - |3313 |8734 | 0 | 0 | 68k| 32k|9292 | 0.000000e+00 | -- | Inf
987.14/987.38 c 987s| 22000 | 68 | 2198k| 98.8 | 56M| 52 |1001 |3313 |8802 |3313 |8132 | 68k| 32k|9310 | 0.000000e+00 | -- | Inf
992.13/992.35 c 992s| 22100 | 57 | 2209k| 98.9 | 56M| 52 | 561 |3313 |8924 |3313 |8081 | 68k| 32k|9347 | 0.000000e+00 | -- | Inf
996.63/996.88 c 997s| 22200 | 55 | 2220k| 99.0 | 55M| 52 | 936 |3313 |8845 |3313 |8077 | 69k| 32k|9385 | 0.000000e+00 | -- | Inf
1000.14/1000.30 c 1000s| 22300 | 54 | 2227k| 98.8 | 56M| 52 | 788 |3313 |8928 |3313 |8097 | 69k| 33k|9431 | 0.000000e+00 | -- | Inf
1003.63/1003.86 c 1004s| 22400 | 59 | 2235k| 98.8 | 56M| 52 | - |3313 |9035 | 0 | 0 | 69k| 33k|9496 | 0.000000e+00 | -- | Inf
1008.54/1008.78 c 1009s| 22500 | 58 | 2246k| 98.8 | 56M| 52 | 973 |3313 |8986 |3313 |8101 | 70k| 33k|9572 | 0.000000e+00 | -- | Inf
1013.94/1014.17 c 1014s| 22600 | 62 | 2259k| 98.9 | 56M| 52 | 728 |3313 |9018 |3313 |8132 | 70k| 33k|9621 | 0.000000e+00 | -- | Inf
1019.33/1019.55 c 1020s| 22700 | 56 | 2271k| 99.0 | 56M| 52 | - |3313 |9152 | 0 | 0 | 71k| 33k|9687 | 0.000000e+00 | -- | Inf
1023.63/1023.85 c 1024s| 22800 | 54 | 2280k| 99.0 | 56M| 52 | 914 |3313 |9263 |3313 |8125 | 71k| 33k|9721 | 0.000000e+00 | -- | Inf
1028.83/1029.02 c 1029s| 22900 | 61 | 2294k| 99.1 | 56M| 52 | 862 |3313 |9058 |3313 |8067 | 71k| 33k|9759 | 0.000000e+00 | -- | Inf
1032.53/1032.72 c 1033s| 23000 | 79 | 2303k| 99.1 | 56M| 52 | 492 |3313 |9030 |3313 |8101 | 71k| 34k|9786 | 0.000000e+00 | -- | Inf
1038.03/1038.26 c 1038s| 23100 | 73 | 2315k| 99.2 | 56M| 52 | 761 |3313 |9010 |3313 |8085 | 72k| 34k|9864 | 0.000000e+00 | -- | Inf
1043.64/1043.81 c 1044s| 23200 | 83 | 2328k| 99.4 | 56M| 52 | 918 |3313 |8938 |3313 |8062 | 72k| 34k|9903 | 0.000000e+00 | -- | Inf
1047.33/1047.57 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1047.33/1047.57 c 1048s| 23300 | 91 | 2339k| 99.4 | 56M| 52 | 583 |3313 |9068 |3313 |8089 | 73k| 34k|9933 | 0.000000e+00 | -- | Inf
1051.43/1051.69 c 1052s| 23400 | 80 | 2348k| 99.3 | 56M| 52 | 549 |3313 |9119 |3313 |8101 | 73k| 34k|9982 | 0.000000e+00 | -- | Inf
1056.83/1057.01 c 1057s| 23500 | 66 | 2361k| 99.5 | 56M| 52 | - |3313 |9109 | 0 | 0 | 73k| 34k| 10k| 0.000000e+00 | -- | Inf
1062.34/1062.55 c 1063s| 23600 | 55 | 2375k| 99.7 | 56M| 52 | 879 |3313 |9180 |3313 |8139 | 74k| 34k| 10k| 0.000000e+00 | -- | Inf
1067.23/1067.40 c 1067s| 23700 | 53 | 2388k| 99.8 | 55M| 52 | 917 |3313 |9158 |3313 |8086 | 74k| 34k| 10k| 0.000000e+00 | -- | Inf
1072.42/1072.63 c 1073s| 23800 | 54 | 2401k| 99.9 | 56M| 52 | - |3313 |9279 | 0 | 0 | 74k| 35k| 10k| 0.000000e+00 | -- | Inf
1077.13/1077.38 c 1077s| 23900 | 51 | 2412k| 100.0 | 56M| 52 | 804 |3313 |9356 |3313 |8123 | 75k| 35k| 10k| 0.000000e+00 | -- | Inf
1081.13/1081.36 c 1081s| 24000 | 55 | 2423k| 100.0 | 56M| 52 | 929 |3313 |9422 |3313 |8080 | 75k| 35k| 10k| 0.000000e+00 | -- | Inf
1085.82/1086.02 c 1086s| 24100 | 53 | 2441k| 100.3 | 56M| 52 | 774 |3313 |9489 |3313 |8120 | 75k| 35k| 10k| 0.000000e+00 | -- | Inf
1090.03/1090.21 c 1090s| 24200 | 52 | 2453k| 100.4 | 56M| 52 | - |3313 |9514 | 0 | 0 | 76k| 35k| 10k| 0.000000e+00 | -- | Inf
1093.82/1094.07 c 1094s| 24300 | 50 | 2464k| 100.5 | 56M| 52 | 701 |3313 |9579 |3313 |8071 | 76k| 35k| 10k| 0.000000e+00 | -- | Inf
1104.02/1104.22 c 1104s| 24400 | 58 | 2477k| 100.6 | 56M| 52 | 665 |3313 |9564 |3313 |8103 | 77k| 35k| 10k| 0.000000e+00 | -- | Inf
1108.82/1109.00 c 1109s| 24500 | 55 | 2490k| 100.7 | 56M| 52 | 583 |3313 |9522 |3313 |8124 | 77k| 36k| 10k| 0.000000e+00 | -- | Inf
1115.22/1115.49 c 1115s| 24600 | 44 | 2505k| 100.9 | 56M| 52 | 910 |3313 |9585 |3313 |8055 | 77k| 36k| 10k| 0.000000e+00 | -- | Inf
1119.92/1120.15 c 1120s| 24700 | 59 | 2520k| 101.1 | 56M| 52 | 822 |3313 |9658 |3313 |8131 | 78k| 36k| 10k| 0.000000e+00 | -- | Inf
1124.02/1124.20 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1124.02/1124.20 c 1124s| 24800 | 57 | 2534k| 101.2 | 56M| 52 | 824 |3313 |9843 |3313 |8102 | 78k| 36k| 10k| 0.000000e+00 | -- | Inf
1129.32/1129.50 c 1130s| 24900 | 49 | 2548k| 101.4 | 56M| 52 | 470 |3313 |9954 |3313 |8117 | 79k| 36k| 10k| 0.000000e+00 | -- | Inf
1135.21/1135.45 c 1135s| 25000 | 41 | 2563k| 101.6 | 56M| 52 | 962 |3313 | 10k|3313 |8072 | 79k| 36k| 10k| 0.000000e+00 | -- | Inf
1147.91/1148.15 c 1148s| 25100 | 27 | 2584k| 102.0 | 55M| 52 | 769 |3313 |9848 |3313 |8099 | 80k| 37k| 10k| 0.000000e+00 | -- | Inf
1153.42/1153.64 c 1154s| 25200 | 17 | 2596k| 102.1 | 55M| 52 |1022 |3313 |9413 |3313 |8084 | 80k| 37k| 10k| 0.000000e+00 | -- | Inf
1164.91/1165.18 c 1165s| 25300 | 19 | 2609k| 102.2 | 55M| 52 | 577 |3313 |9081 |3313 |8052 | 80k| 37k| 11k| 0.000000e+00 | -- | Inf
1169.31/1169.54 c 1170s| 25400 | 20 | 2620k| 102.2 | 55M| 52 | 562 |3313 |8951 |3313 |8074 | 81k| 37k| 11k| 0.000000e+00 | -- | Inf
1172.32/1172.54 c 1173s| 25500 | 22 | 2629k| 102.2 | 55M| 52 | 610 |3313 |9069 |3313 |8054 | 81k| 37k| 11k| 0.000000e+00 | -- | Inf
1175.01/1175.28 c 1175s| 25600 | 16 | 2637k| 102.1 | 55M| 52 | - |3313 |9200 | 0 | 0 | 81k| 37k| 11k| 0.000000e+00 | -- | Inf
1178.21/1178.49 c 1178s| 25700 | 11 | 2645k| 102.0 | 55M| 52 | 690 |3313 |9265 |3313 |8004 | 81k| 37k| 11k| 0.000000e+00 | -- | Inf
1191.41/1191.67 c 1192s| 25800 | 68 | 2662k| 102.3 | 55M| 52 | 614 |3313 |9137 |3313 |8114 | 82k| 38k| 11k| 0.000000e+00 | -- | Inf
1195.61/1195.81 c 1196s| 25900 | 55 | 2672k| 102.3 | 55M| 52 | 683 |3313 |9438 |3313 |8050 | 83k| 38k| 11k| 0.000000e+00 | -- | Inf
1201.50/1201.75 c 1202s| 26000 | 57 | 2688k| 102.5 | 56M| 52 | 725 |3313 |9515 |3313 |8123 | 83k| 38k| 11k| 0.000000e+00 | -- | Inf
1206.21/1206.40 c 1206s| 26100 | 62 | 2701k| 102.6 | 56M| 52 | 479 |3313 |9507 |3313 |8087 | 84k| 38k| 11k| 0.000000e+00 | -- | Inf
1211.30/1211.51 c 1212s| 26200 | 43 | 2715k| 102.7 | 55M| 52 | 856 |3313 |9565 |3313 |8173 | 85k| 38k| 11k| 0.000000e+00 | -- | Inf
1215.31/1215.55 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1215.31/1215.55 c 1216s| 26300 | 34 | 2726k| 102.8 | 55M| 52 | - |3313 |9593 | 0 | 0 | 85k| 39k| 11k| 0.000000e+00 | -- | Inf
1219.40/1219.63 c 1220s| 26400 | 31 | 2739k| 102.9 | 55M| 52 |1055 |3313 |9616 |3313 |8065 | 86k| 39k| 11k| 0.000000e+00 | -- | Inf
1225.11/1225.38 c 1225s| 26500 | 15 | 2758k| 103.2 | 55M| 52 | 806 |3313 |9633 |3313 |8161 | 86k| 39k| 11k| 0.000000e+00 | -- | Inf
1230.40/1230.63 c 1231s| 26600 | 18 | 2766k| 103.1 | 55M| 52 | 691 |3313 |9669 |3313 |8031 | 87k| 39k| 11k| 0.000000e+00 | -- | Inf
1234.30/1234.52 c 1235s| 26700 | 11 | 2778k| 103.2 | 55M| 52 |1230 |3313 |9638 |3313 |8033 | 87k| 39k| 11k| 0.000000e+00 | -- | Inf
1238.41/1238.69 c 1239s| 26800 | 37 | 2790k| 103.2 | 55M| 52 | 555 |3313 |9698 |3313 |8162 | 87k| 39k| 11k| 0.000000e+00 | -- | Inf
1244.00/1244.23 c 1244s| 26900 | 41 | 2802k| 103.3 | 56M| 52 | 691 |3313 |9763 |3313 |8128 | 88k| 39k| 11k| 0.000000e+00 | -- | Inf
1247.80/1248.03 c 1248s| 27000 | 25 | 2812k| 103.3 | 55M| 52 | 807 |3313 |9843 |3313 |8203 | 88k| 39k| 11k| 0.000000e+00 | -- | Inf
1252.80/1253.03 c 1253s| 27100 | 30 | 2826k| 103.4 | 56M| 52 | 884 |3313 |9931 |3313 |8074 | 88k| 40k| 11k| 0.000000e+00 | -- | Inf
1258.00/1258.28 c 1258s| 27200 | 20 | 2845k| 103.7 | 55M| 52 |1017 |3313 | 10k|3313 |8058 | 89k| 40k| 11k| 0.000000e+00 | -- | Inf
1261.60/1261.82 c 1262s| 27300 | 21 | 2856k| 103.8 | 56M| 52 |1067 |3313 | 10k|3313 |8073 | 89k| 40k| 11k| 0.000000e+00 | -- | Inf
1265.09/1265.32 c 1265s| 27400 | 26 | 2867k| 103.8 | 56M| 52 | - |3313 | 10k| 0 | 0 | 90k| 40k| 11k| 0.000000e+00 | -- | Inf
1267.50/1267.77 c 1268s| 27500 | 26 | 2875k| 103.7 | 56M| 52 | - |3313 | 10k| 0 | 0 | 90k| 40k| 11k| 0.000000e+00 | -- | Inf
1272.79/1273.09 c 1273s| 27600 | 9 | 2893k| 104.0 | 55M| 52 |1098 |3313 | 10k|3313 |8089 | 91k| 40k| 11k| 0.000000e+00 | -- | Inf
1277.09/1277.38 c 1277s| 27700 | 13 | 2906k| 104.1 | 55M| 52 |1035 |3313 | 10k|3313 |8141 | 91k| 40k| 11k| 0.000000e+00 | -- | Inf
1280.59/1280.87 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1280.59/1280.87 c 1281s| 27800 | 30 | 2917k| 104.1 | 56M| 52 | 660 |3313 | 10k|3313 |8165 | 91k| 40k| 11k| 0.000000e+00 | -- | Inf
1284.60/1284.87 c 1285s| 27900 | 15 | 2930k| 104.2 | 56M| 52 |1013 |3313 | 10k|3313 |8181 | 92k| 41k| 11k| 0.000000e+00 | -- | Inf
1288.19/1288.44 c 1288s| 28000 | 25 | 2941k| 104.2 | 56M| 52 | - |3313 | 10k| 0 | 0 | 92k| 41k| 11k| 0.000000e+00 | -- | Inf
1291.69/1291.97 c 1292s| 28100 | 10 | 2952k| 104.2 | 55M| 52 | 901 |3313 | 10k|3313 |8147 | 92k| 41k| 11k| 0.000000e+00 | -- | Inf
1297.99/1298.21 c 1298s| 28200 | 26 | 2972k| 104.6 | 56M| 52 | 857 |3313 | 10k|3313 |8132 | 93k| 41k| 11k| 0.000000e+00 | -- | Inf
1301.29/1301.56 c 1302s| 28300 | 23 | 2982k| 104.6 | 56M| 52 | 974 |3313 | 10k|3313 |8053 | 93k| 41k| 11k| 0.000000e+00 | -- | Inf
1306.19/1306.45 c 1306s| 28400 | 17 | 2996k| 104.7 | 55M| 52 | 927 |3313 | 10k|3313 |8118 | 94k| 41k| 11k| 0.000000e+00 | -- | Inf
1323.58/1323.85 c 1324s| 28500 | 41 | 3043k| 106.0 | 56M| 52 | 976 |3313 | 10k|3313 |8096 | 95k| 41k| 11k| 0.000000e+00 | -- | Inf
1333.49/1333.77 c 1334s| 28600 | 51 | 3063k| 106.3 | 56M| 52 | 841 |3313 | 10k|3313 |8110 | 95k| 41k| 11k| 0.000000e+00 | -- | Inf
1337.69/1337.90 c 1338s| 28700 | 22 | 3076k| 106.4 | 56M| 52 | - |3313 | 10k| 0 | 0 | 96k| 42k| 11k| 0.000000e+00 | -- | Inf
1342.68/1342.95 c 1343s| 28800 | 32 | 3093k| 106.6 | 56M| 52 | 707 |3313 | 10k|3313 |8149 | 96k| 42k| 11k| 0.000000e+00 | -- | Inf
1345.68/1345.90 c 1346s| 28900 | 23 | 3102k| 106.6 | 56M| 52 |1138 |3313 | 10k|3313 |8093 | 97k| 42k| 11k| 0.000000e+00 | -- | Inf
1356.78/1357.07 c 1357s| 29000 | 23 | 3115k| 106.6 | 56M| 52 | 680 |3313 | 10k|3313 |7974 | 97k| 42k| 11k| 0.000000e+00 | -- | Inf
1359.29/1359.54 c 1360s| 29100 | 34 | 3121k| 106.5 | 56M| 52 | 482 |3313 | 10k|3313 |7981 | 97k| 42k| 11k| 0.000000e+00 | -- | Inf
1361.08/1361.36 c 1361s| 29200 | 32 | 3126k| 106.3 | 56M| 52 | - |3313 | 10k| 0 | 0 | 97k| 42k| 11k| 0.000000e+00 | -- | Inf
1363.98/1364.22 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1363.98/1364.22 c 1364s| 29300 | 26 | 3134k| 106.2 | 56M| 52 | 518 |3313 | 10k|3313 |7992 | 98k| 43k| 11k| 0.000000e+00 | -- | Inf
1365.69/1365.95 c 1366s| 29400 | 19 | 3139k| 106.0 | 56M| 52 | - |3313 | 10k| 0 | 0 | 98k| 43k| 11k| 0.000000e+00 | -- | Inf
1371.08/1371.32 c 1371s| 29500 | 24 | 3156k| 106.2 | 56M| 52 | 849 |3313 | 10k|3313 |7987 | 98k| 43k| 11k| 0.000000e+00 | -- | Inf
1372.78/1373.01 c 1373s| 29600 | 39 | 3160k| 106.0 | 56M| 52 | 597 |3313 | 10k|3313 |8014 | 98k| 43k| 11k| 0.000000e+00 | -- | Inf
1375.08/1375.39 c 1375s| 29700 | 45 | 3165k| 105.8 | 56M| 52 | 332 |3313 | 10k|3313 |8025 | 98k| 43k| 12k| 0.000000e+00 | -- | Inf
1377.48/1377.71 c 1378s| 29800 | 48 | 3170k| 105.6 | 56M| 52 | 337 |3313 | 10k|3313 |8141 | 99k| 43k| 12k| 0.000000e+00 | -- | Inf
1379.28/1379.52 c 1380s| 29900 | 72 | 3174k| 105.4 | 56M| 55 | 250 |3313 | 10k|3313 |8014 | 99k| 43k| 12k| 0.000000e+00 | -- | Inf
1381.29/1381.54 c 1382s| 30000 | 36 | 3180k| 105.2 | 56M| 56 | 680 |3313 | 10k|3313 |8059 | 99k| 43k| 12k| 0.000000e+00 | -- | Inf
1383.37/1383.70 c 1384s| 30100 | 34 | 3184k| 105.0 | 56M| 56 | - |3313 | 11k| 0 | 0 | 99k| 43k| 12k| 0.000000e+00 | -- | Inf
1385.69/1385.99 c 1386s| 30200 | 26 | 3191k| 104.9 | 56M| 56 | 385 |3313 | 11k|3313 |7978 | 99k| 44k| 12k| 0.000000e+00 | -- | Inf
1386.98/1387.25 c 1387s| 30300 | 32 | 3194k| 104.6 | 56M| 56 | - |3313 | 11k| 0 | 0 | 99k| 44k| 12k| 0.000000e+00 | -- | Inf
1388.58/1388.81 c 1389s| 30400 | 23 | 3198k| 104.4 | 56M| 56 | 630 |3313 | 11k|3313 |7986 | 99k| 44k| 12k| 0.000000e+00 | -- | Inf
1390.28/1390.53 c 1391s| 30500 | 25 | 3203k| 104.2 | 56M| 56 | 651 |3313 | 11k|3313 |7979 | 99k| 44k| 12k| 0.000000e+00 | -- | Inf
1392.77/1393.05 c 1393s| 30600 | 26 | 3208k| 104.1 | 56M| 56 | 666 |3313 | 11k|3313 |7979 | 100k| 44k| 12k| 0.000000e+00 | -- | Inf
1394.88/1395.13 c 1395s| 30700 | 27 | 3214k| 103.9 | 56M| 56 | 526 |3313 | 11k|3313 |8018 | 100k| 44k| 12k| 0.000000e+00 | -- | Inf
1396.88/1397.17 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1396.88/1397.17 c 1397s| 30800 | 17 | 3219k| 103.8 | 56M| 56 | 600 |3313 | 11k|3313 |7971 | 100k| 44k| 12k| 0.000000e+00 | -- | Inf
1399.78/1400.01 c 1400s| 30900 | 21 | 3227k| 103.7 | 56M| 56 | 834 |3313 | 11k|3313 |8186 | 100k| 44k| 12k| 0.000000e+00 | -- | Inf
1402.87/1403.18 c 1403s| 31000 | 15 | 3236k| 103.6 | 56M| 56 | 559 |3313 | 11k|3313 |7999 | 100k| 45k| 12k| 0.000000e+00 | -- | Inf
1404.87/1405.19 c 1405s| 31100 | 31 | 3241k| 103.5 | 56M| 56 | 536 |3313 | 11k|3313 |7927 | 101k| 45k| 12k| 0.000000e+00 | -- | Inf
1406.98/1407.24 c 1407s| 31200 | 29 | 3246k| 103.3 | 56M| 56 | 646 |3313 | 11k|3313 |7919 | 101k| 45k| 12k| 0.000000e+00 | -- | Inf
1408.78/1409.06 c 1409s| 31300 | 31 | 3251k| 103.1 | 56M| 56 | 551 |3313 | 11k|3313 |7937 | 101k| 45k| 12k| 0.000000e+00 | -- | Inf
1411.48/1411.79 c 1412s| 31400 | 21 | 3258k| 103.0 | 56M| 56 | 647 |3313 | 11k|3313 |7990 | 101k| 45k| 12k| 0.000000e+00 | -- | Inf
1413.38/1413.63 c 1414s| 31500 | 19 | 3263k| 102.8 | 56M| 56 | - |3313 | 11k| 0 | 0 | 101k| 45k| 12k| 0.000000e+00 | -- | Inf
1414.97/1415.28 c 1415s| 31600 | 22 | 3267k| 102.7 | 56M| 56 | - |3313 | 12k| 0 | 0 | 101k| 45k| 12k| 0.000000e+00 | -- | Inf
1416.37/1416.66 c 1417s| 31700 | 44 | 3271k| 102.5 | 56M| 56 | 238 |3313 | 12k|3313 |8000 | 101k| 45k| 12k| 0.000000e+00 | -- | Inf
1418.87/1419.12 c 1419s| 31800 | 23 | 3279k| 102.4 | 56M| 56 | 516 |3313 | 12k|3313 |8010 | 102k| 46k| 12k| 0.000000e+00 | -- | Inf
1420.57/1420.81 c 1421s| 31900 | 28 | 3283k| 102.2 | 56M| 56 | - |3313 | 12k| 0 | 0 | 102k| 46k| 12k| 0.000000e+00 | -- | Inf
1422.88/1423.18 c 1423s| 32000 | 22 | 3290k| 102.1 | 56M| 56 | - |3313 | 12k| 0 | 0 | 102k| 46k| 12k| 0.000000e+00 | -- | Inf
1426.17/1426.41 c 1426s| 32100 | 27 | 3299k| 102.1 | 56M| 56 | 688 |3313 | 12k|3313 |8000 | 102k| 46k| 12k| 0.000000e+00 | -- | Inf
1428.58/1428.88 c 1429s| 32200 | 23 | 3307k| 102.0 | 56M| 56 | - |3313 | 12k| 0 | 0 | 102k| 46k| 12k| 0.000000e+00 | -- | Inf
1430.67/1430.94 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1430.67/1430.94 c 1431s| 32300 | 27 | 3313k| 101.9 | 56M| 56 | - |3313 | 12k| 0 | 0 | 103k| 46k| 12k| 0.000000e+00 | -- | Inf
1433.77/1434.04 c 1434s| 32400 | 20 | 3321k| 101.8 | 56M| 56 | 682 |3313 | 12k|3313 |7933 | 103k| 46k| 12k| 0.000000e+00 | -- | Inf
1436.67/1436.90 c 1437s| 32500 | 26 | 3330k| 101.7 | 57M| 56 | 640 |3313 | 12k|3313 |7938 | 103k| 46k| 12k| 0.000000e+00 | -- | Inf
1439.07/1439.30 c 1439s| 32600 | 20 | 3337k| 101.7 | 57M| 56 | 555 |3313 | 12k|3313 |7957 | 103k| 47k| 12k| 0.000000e+00 | -- | Inf
1442.27/1442.53 c 1443s| 32700 | 15 | 3348k| 101.7 | 57M| 56 | 576 |3313 | 12k|3313 |7939 | 104k| 47k| 12k| 0.000000e+00 | -- | Inf
1444.17/1444.42 c 1444s| 32800 | 29 | 3353k| 101.5 | 57M| 56 | 406 |3313 | 12k|3313 |7957 | 104k| 47k| 12k| 0.000000e+00 | -- | Inf
1447.17/1447.40 c 1447s| 32900 | 24 | 3364k| 101.5 | 57M| 56 | 595 |3313 | 12k|3313 |7938 | 104k| 47k| 12k| 0.000000e+00 | -- | Inf
1450.68/1450.91 c 1451s| 33000 | 14 | 3372k| 101.5 | 56M| 56 | 690 |3313 | 12k|3313 |7932 | 104k| 47k| 12k| 0.000000e+00 | -- | Inf
1453.67/1453.96 c 1454s| 33100 | 19 | 3379k| 101.4 | 57M| 56 | 556 |3313 | 12k|3313 |7928 | 104k| 47k| 12k| 0.000000e+00 | -- | Inf
1456.18/1456.44 c 1456s| 33200 | 30 | 3384k| 101.2 | 57M| 56 | 422 |3313 | 12k|3313 |7951 | 105k| 47k| 12k| 0.000000e+00 | -- | Inf
1458.86/1459.12 c 1459s| 33300 | 18 | 3391k| 101.1 | 57M| 56 | 645 |3313 | 13k|3313 |7940 | 105k| 47k| 12k| 0.000000e+00 | -- | Inf
1461.26/1461.56 c 1462s| 33400 | 21 | 3396k| 101.0 | 57M| 56 | - |3313 | 13k| 0 | 0 | 105k| 48k| 12k| 0.000000e+00 | -- | Inf
1463.46/1463.70 c 1464s| 33500 | 27 | 3400k| 100.8 | 57M| 56 | - |3313 | 13k| 0 | 0 | 105k| 48k| 12k| 0.000000e+00 | -- | Inf
1466.07/1466.38 c 1466s| 33600 | 18 | 3406k| 100.7 | 57M| 56 | 537 |3313 | 13k|3313 |7938 | 105k| 48k| 12k| 0.000000e+00 | -- | Inf
1468.87/1469.17 c 1469s| 33700 | 27 | 3412k| 100.6 | 57M| 56 | - |3313 | 13k| 0 | 0 | 105k| 48k| 12k| 0.000000e+00 | -- | Inf
1472.07/1472.36 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1472.07/1472.36 c 1472s| 33800 | 30 | 3419k| 100.5 | 57M| 56 | 591 |3313 | 13k|3313 |7936 | 106k| 48k| 12k| 0.000000e+00 | -- | Inf
1474.46/1474.77 c 1475s| 33900 | 23 | 3424k| 100.3 | 57M| 56 | - |3313 | 13k| 0 | 0 | 106k| 48k| 12k| 0.000000e+00 | -- | Inf
1477.47/1477.76 c 1478s| 34000 | 20 | 3431k| 100.2 | 57M| 56 | - |3313 | 13k| 0 | 0 | 106k| 48k| 12k| 0.000000e+00 | -- | Inf
1480.47/1480.76 c 1481s| 34100 | 25 | 3437k| 100.1 | 57M| 56 | 512 |3313 | 13k|3313 |7955 | 106k| 49k| 12k| 0.000000e+00 | -- | Inf
1483.36/1483.63 c 1484s| 34200 | 22 | 3445k| 100.0 | 57M| 56 | 640 |3313 | 14k|3313 |7941 | 106k| 49k| 12k| 0.000000e+00 | -- | Inf
1486.56/1486.82 c 1487s| 34300 | 18 | 3451k| 99.9 | 57M| 56 | - |3313 | 14k| 0 | 0 | 106k| 49k| 12k| 0.000000e+00 | -- | Inf
1490.27/1490.58 c 1491s| 34400 | 22 | 3460k| 99.9 | 57M| 56 | 734 |3313 | 14k|3313 |7995 | 107k| 49k| 12k| 0.000000e+00 | -- | Inf
1493.66/1493.94 c 1494s| 34500 | 15 | 3469k| 99.9 | 57M| 56 | 561 |3313 | 14k|3313 |7940 | 107k| 49k| 12k| 0.000000e+00 | -- | Inf
1496.67/1496.91 c 1497s| 34600 | 20 | 3475k| 99.8 | 57M| 56 | 574 |3313 | 14k|3313 |7993 | 107k| 49k| 12k| 0.000000e+00 | -- | Inf
1500.36/1500.63 c 1501s| 34700 | 18 | 3484k| 99.7 | 57M| 56 | 794 |3313 | 14k|3313 |7955 | 107k| 49k| 12k| 0.000000e+00 | -- | Inf
1504.36/1504.69 c 1505s| 34800 | 14 | 3494k| 99.7 | 57M| 56 | - |3313 | 14k| 0 | 0 | 108k| 49k| 12k| 0.000000e+00 | -- | Inf
1508.36/1508.62 c 1509s| 34900 | 9 | 3504k| 99.8 | 57M| 56 | 989 |3313 | 14k|3313 |7960 | 108k| 49k| 12k| 0.000000e+00 | -- | Inf
1511.96/1512.26 c 1512s| 35000 | 17 | 3512k| 99.7 | 57M| 56 | 484 |3313 | 14k|3313 |7956 | 108k| 50k| 12k| 0.000000e+00 | -- | Inf
1515.16/1515.44 c 1515s| 35100 | 10 | 3519k| 99.6 | 57M| 56 | - |3313 | 14k| 0 | 0 | 108k| 50k| 12k| 0.000000e+00 | -- | Inf
1518.16/1518.43 c 1518s| 35200 | 34 | 3526k| 99.5 | 57M| 56 | 667 |3313 | 14k|3313 |7978 | 109k| 50k| 12k| 0.000000e+00 | -- | Inf
1521.06/1521.37 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1521.06/1521.37 c 1521s| 35300 | 36 | 3533k| 99.4 | 57M| 56 | 570 |3313 | 14k|3313 |7959 | 109k| 50k| 12k| 0.000000e+00 | -- | Inf
1523.65/1523.93 c 1524s| 35400 | 61 | 3538k| 99.3 | 57M| 56 | 508 |3313 | 14k|3313 |7971 | 109k| 50k| 12k| 0.000000e+00 | -- | Inf
1526.26/1526.59 c 1527s| 35500 | 29 | 3543k| 99.2 | 57M| 56 | 488 |3313 | 14k|3313 |7951 | 109k| 50k| 12k| 0.000000e+00 | -- | Inf
1529.77/1530.02 c 1530s| 35600 | 15 | 3550k| 99.1 | 57M| 56 | 861 |3313 | 14k|3313 |7940 | 109k| 50k| 12k| 0.000000e+00 | -- | Inf
1532.26/1532.50 c 1533s| 35700 | 20 | 3556k| 99.0 | 57M| 56 | 650 |3313 | 14k|3313 |7972 | 110k| 50k| 12k| 0.000000e+00 | -- | Inf
1535.45/1535.70 c 1536s| 35800 | 13 | 3563k| 98.9 | 57M| 56 | 733 |3313 | 14k|3313 |7958 | 110k| 51k| 12k| 0.000000e+00 | -- | Inf
1540.25/1540.55 c 1541s| 35900 | 15 | 3575k| 98.9 | 57M| 56 | 834 |3313 | 14k|3313 |7949 | 110k| 51k| 13k| 0.000000e+00 | -- | Inf
1544.95/1545.24 c 1545s| 36000 | 19 | 3585k| 98.9 | 57M| 56 | - |3313 | 14k| 0 | 0 | 110k| 51k| 13k| 0.000000e+00 | -- | Inf
1548.75/1549.01 c 1549s| 36100 | 14 | 3594k| 98.9 | 57M| 56 | 776 |3313 | 14k|3313 |7923 | 111k| 51k| 13k| 0.000000e+00 | -- | Inf
1553.85/1554.19 c 1554s| 36200 | 15 | 3608k| 99.0 | 57M| 56 | - |3313 | 14k| 0 | 0 | 111k| 51k| 13k| 0.000000e+00 | -- | Inf
1556.75/1557.02 c 1557s| 36300 | 18 | 3614k| 98.9 | 57M| 56 | 508 |3313 | 14k|3313 |7969 | 111k| 51k| 13k| 0.000000e+00 | -- | Inf
1559.95/1560.28 c 1560s| 36400 | 23 | 3621k| 98.8 | 57M| 56 | 643 |3313 | 14k|3313 |7944 | 112k| 51k| 13k| 0.000000e+00 | -- | Inf
1562.86/1563.13 c 1563s| 36500 | 23 | 3628k| 98.8 | 57M| 56 | 527 |3313 | 14k|3313 |7953 | 112k| 51k| 13k| 0.000000e+00 | -- | Inf
1566.06/1566.34 c 1566s| 36600 | 17 | 3636k| 98.7 | 57M| 56 | - |3313 | 14k| 0 | 0 | 112k| 52k| 13k| 0.000000e+00 | -- | Inf
1569.95/1570.20 c 1570s| 36700 | 19 | 3644k| 98.7 | 57M| 56 | 655 |3313 | 14k|3313 |7956 | 112k| 52k| 13k| 0.000000e+00 | -- | Inf
1573.35/1573.67 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1573.35/1573.67 c 1574s| 36800 | 21 | 3653k| 98.6 | 57M| 56 | 725 |3313 | 14k|3313 |7952 | 113k| 52k| 13k| 0.000000e+00 | -- | Inf
1577.25/1577.50 c 1578s| 36900 | 22 | 3662k| 98.6 | 57M| 56 | 655 |3313 | 14k|3313 |7965 | 113k| 52k| 13k| 0.000000e+00 | -- | Inf
1581.55/1581.86 c 1582s| 37000 | 23 | 3671k| 98.6 | 58M| 56 | 728 |3313 | 14k|3313 |7968 | 113k| 52k| 13k| 0.000000e+00 | -- | Inf
1584.45/1584.74 c 1585s| 37100 | 19 | 3679k| 98.5 | 58M| 56 | 774 |3313 | 15k|3313 |7957 | 113k| 52k| 13k| 0.000000e+00 | -- | Inf
1588.55/1588.84 c 1589s| 37200 | 29 | 3689k| 98.5 | 58M| 56 | - |3313 | 15k| 0 | 0 | 114k| 52k| 13k| 0.000000e+00 | -- | Inf
1591.95/1592.23 c 1592s| 37300 | 18 | 3698k| 98.5 | 58M| 56 | 754 |3313 | 15k|3313 |7933 | 114k| 52k| 13k| 0.000000e+00 | -- | Inf
1595.34/1595.64 c 1596s| 37400 | 22 | 3707k| 98.5 | 58M| 56 | 599 |3313 | 15k|3313 |7958 | 114k| 53k| 13k| 0.000000e+00 | -- | Inf
1598.95/1599.30 c 1599s| 37500 | 15 | 3718k| 98.5 | 58M| 56 | - |3313 | 15k| 0 | 0 | 115k| 53k| 13k| 0.000000e+00 | -- | Inf
1602.25/1602.51 c 1603s| 37600 | 14 | 3728k| 98.5 | 58M| 56 | 691 |3313 | 15k|3313 |7943 | 115k| 53k| 13k| 0.000000e+00 | -- | Inf
1604.94/1605.21 c 1605s| 37700 | 18 | 3736k| 98.5 | 58M| 56 | 560 |3313 | 15k|3313 |7962 | 115k| 53k| 13k| 0.000000e+00 | -- | Inf
1613.85/1614.16 c 1614s| 37800 | 28 | 3746k| 98.5 | 58M| 56 | 647 |3313 | 15k|3313 |7998 | 115k| 53k| 13k| 0.000000e+00 | -- | Inf
1617.34/1617.64 c 1618s| 37900 | 34 | 3756k| 98.5 | 58M| 56 | - |3313 | 15k| 0 | 0 | 116k| 53k| 13k| 0.000000e+00 | -- | Inf
1621.75/1622.06 c 1622s| 38000 | 52 | 3768k| 98.5 | 58M| 56 | 583 |3313 | 14k|3313 |8056 | 116k| 53k| 13k| 0.000000e+00 | -- | Inf
1625.05/1625.38 c 1625s| 38100 | 72 | 3775k| 98.5 | 58M| 56 | 299 |3313 | 14k|3313 |8138 | 116k| 53k| 13k| 0.000000e+00 | -- | Inf
1627.84/1628.11 c 1628s| 38200 | 55 | 3780k| 98.3 | 58M| 56 | 530 |3313 | 15k|3313 |8139 | 117k| 54k| 13k| 0.000000e+00 | -- | Inf
1629.74/1630.05 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1629.74/1630.05 c 1630s| 38300 | 55 | 3783k| 98.2 | 58M| 56 | 674 |3313 | 15k|3313 |8079 | 117k| 54k| 13k| 0.000000e+00 | -- | Inf
1633.84/1634.14 c 1634s| 38400 | 51 | 3792k| 98.2 | 58M| 56 | - |3313 | 15k| 0 | 0 | 117k| 54k| 13k| 0.000000e+00 | -- | Inf
1637.84/1638.10 c 1638s| 38500 | 52 | 3802k| 98.1 | 58M| 56 | 633 |3313 | 15k|3313 |8062 | 118k| 54k| 14k| 0.000000e+00 | -- | Inf
1641.34/1641.67 c 1642s| 38600 | 45 | 3809k| 98.1 | 58M| 56 | 920 |3313 | 15k|3313 |8075 | 118k| 54k| 14k| 0.000000e+00 | -- | Inf
1645.03/1645.31 c 1645s| 38700 | 46 | 3821k| 98.1 | 58M| 56 | - |3313 | 15k| 0 | 0 | 119k| 55k| 14k| 0.000000e+00 | -- | Inf
1649.34/1649.65 c 1650s| 38800 | 35 | 3830k| 98.1 | 58M| 56 | - |3313 | 15k| 0 | 0 | 119k| 55k| 14k| 0.000000e+00 | -- | Inf
1653.14/1653.42 c 1653s| 38900 | 32 | 3839k| 98.1 | 58M| 56 | 753 |3313 | 14k|3313 |8067 | 119k| 55k| 14k| 0.000000e+00 | -- | Inf
1657.94/1658.30 c 1658s| 39000 | 43 | 3849k| 98.1 | 58M| 56 | 870 |3313 | 14k|3313 |8056 | 120k| 55k| 14k| 0.000000e+00 | -- | Inf
1661.43/1661.77 c 1662s| 39100 | 28 | 3858k| 98.1 | 58M| 56 | - |3313 | 14k| 0 | 0 | 120k| 55k| 14k| 0.000000e+00 | -- | Inf
1667.63/1667.99 c 1668s| 39200 | 39 | 3875k| 98.3 | 58M| 56 | 598 |3313 | 14k|3313 |7962 | 121k| 55k| 14k| 0.000000e+00 | -- | Inf
1671.03/1671.30 c 1671s| 39300 | 26 | 3885k| 98.3 | 58M| 56 | - |3313 | 14k| 0 | 0 | 121k| 55k| 14k| 0.000000e+00 | -- | Inf
1673.94/1674.28 c 1674s| 39400 | 24 | 3893k| 98.2 | 58M| 56 | 733 |3313 | 14k|3313 |7962 | 121k| 55k| 14k| 0.000000e+00 | -- | Inf
1678.54/1678.88 c 1679s| 39500 | 16 | 3905k| 98.3 | 58M| 56 |1026 |3313 | 14k|3313 |8022 | 122k| 56k| 14k| 0.000000e+00 | -- | Inf
1682.13/1682.42 c 1682s| 39600 | 29 | 3912k| 98.2 | 58M| 56 | - |3313 | 14k| 0 | 0 | 122k| 56k| 14k| 0.000000e+00 | -- | Inf
1684.84/1685.19 c 1685s| 39700 | 23 | 3921k| 98.2 | 58M| 56 | 999 |3313 | 14k|3313 |8058 | 122k| 56k| 14k| 0.000000e+00 | -- | Inf
1690.13/1690.43 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1690.13/1690.43 c 1690s| 39800 | 30 | 3934k| 98.3 | 58M| 56 | 630 |3313 | 14k|3313 |7966 | 123k| 56k| 14k| 0.000000e+00 | -- | Inf
1695.13/1695.46 c 1695s| 39900 | 33 | 3947k| 98.4 | 58M| 56 | - |3313 | 14k| 0 | 0 | 123k| 56k| 14k| 0.000000e+00 | -- | Inf
1698.93/1699.22 c 1699s| 40000 | 31 | 3960k| 98.4 | 58M| 56 | 494 |3313 | 14k|3313 |7965 | 123k| 56k| 14k| 0.000000e+00 | -- | Inf
1702.44/1702.71 c 1703s| 40100 | 29 | 3971k| 98.4 | 58M| 56 | 909 |3313 | 14k|3313 |7967 | 124k| 56k| 14k| 0.000000e+00 | -- | Inf
1705.23/1705.55 c 1706s| 40200 | 25 | 3979k| 98.4 | 58M| 56 |1033 |3313 | 14k|3313 |7932 | 124k| 56k| 14k| 0.000000e+00 | -- | Inf
1707.83/1708.12 c 1708s| 40300 | 25 | 3988k| 98.4 | 58M| 56 | 927 |3313 | 14k|3313 |7949 | 124k| 56k| 14k| 0.000000e+00 | -- | Inf
1711.24/1711.55 c 1712s| 40400 | 19 | 3999k| 98.4 | 58M| 56 | 894 |3313 | 14k|3313 |7932 | 125k| 57k| 14k| 0.000000e+00 | -- | Inf
1713.23/1713.53 c 1714s| 40500 | 29 | 4005k| 98.3 | 58M| 56 | 629 |3313 | 14k|3313 |7969 | 125k| 57k| 14k| 0.000000e+00 | -- | Inf
1716.03/1716.37 c 1716s| 40600 | 24 | 4013k| 98.3 | 58M| 56 | 694 |3313 | 14k|3313 |7965 | 125k| 57k| 14k| 0.000000e+00 | -- | Inf
1718.52/1718.81 c 1719s| 40700 | 20 | 4020k| 98.2 | 58M| 56 | 607 |3313 | 14k|3313 |7936 | 125k| 57k| 14k| 0.000000e+00 | -- | Inf
1721.63/1721.97 c 1722s| 40800 | 38 | 4030k| 98.2 | 58M| 56 | 655 |3313 | 14k|3313 |7981 | 126k| 57k| 14k| 0.000000e+00 | -- | Inf
1724.22/1724.54 c 1725s| 40900 | 31 | 4038k| 98.2 | 58M| 56 | 633 |3313 | 14k|3313 |7962 | 126k| 57k| 14k| 0.000000e+00 | -- | Inf
1727.63/1727.94 c 1728s| 41000 | 32 | 4050k| 98.2 | 58M| 56 | 514 |3313 | 14k|3313 |7968 | 126k| 57k| 14k| 0.000000e+00 | -- | Inf
1730.42/1730.73 c 1731s| 41100 | 23 | 4059k| 98.2 | 58M| 56 | - |3313 | 14k| 0 | 0 | 127k| 57k| 14k| 0.000000e+00 | -- | Inf
1733.13/1733.42 c 1733s| 41200 | 44 | 4069k| 98.2 | 58M| 56 | 468 |3313 | 14k|3313 |7974 | 127k| 57k| 14k| 0.000000e+00 | -- | Inf
1736.13/1736.48 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1736.13/1736.48 c 1736s| 41300 | 28 | 4078k| 98.2 | 58M| 56 | - |3313 | 14k| 0 | 0 | 127k| 57k| 14k| 0.000000e+00 | -- | Inf
1738.32/1738.66 c 1739s| 41400 | 14 | 4084k| 98.1 | 58M| 56 | 788 |3313 | 14k|3313 |7928 | 127k| 57k| 14k| 0.000000e+00 | -- | Inf
1740.32/1740.69 c 1741s| 41500 | 25 | 4090k| 98.0 | 58M| 56 | - |3313 | 14k| 0 | 0 | 127k| 58k| 14k| 0.000000e+00 | -- | Inf
1742.52/1742.80 c 1743s| 41600 | 15 | 4096k| 97.9 | 58M| 56 | - |3313 | 14k| 0 | 0 | 127k| 58k| 14k| 0.000000e+00 | -- | Inf
1745.12/1745.41 c 1745s| 41700 | 14 | 4104k| 97.9 | 58M| 56 | 797 |3313 | 15k|3313 |7931 | 128k| 58k| 14k| 0.000000e+00 | -- | Inf
1749.12/1749.44 c 1749s| 41800 | 15 | 4122k| 98.0 | 58M| 56 | 971 |3313 | 15k|3313 |7958 | 128k| 58k| 14k| 0.000000e+00 | -- | Inf
1751.52/1751.80 c 1752s| 41900 | 16 | 4128k| 98.0 | 58M| 56 | - |3313 | 15k| 0 | 0 | 128k| 58k| 14k| 0.000000e+00 | -- | Inf
1753.82/1754.10 c 1754s| 42000 | 18 | 4136k| 97.9 | 58M| 56 | 688 |3313 | 15k|3313 |7967 | 128k| 58k| 14k| 0.000000e+00 | -- | Inf
1756.43/1756.75 c 1757s| 42100 | 17 | 4144k| 97.9 | 58M| 56 | 579 |3313 | 15k|3313 |7947 | 129k| 58k| 14k| 0.000000e+00 | -- | Inf
1759.52/1759.86 c 1760s| 42200 | 19 | 4154k| 97.9 | 58M| 56 | 641 |3313 | 15k|3313 |7940 | 129k| 58k| 14k| 0.000000e+00 | -- | Inf
1762.62/1762.95 c 1763s| 42300 | 29 | 4164k| 97.9 | 58M| 56 | 563 |3313 | 15k|3313 |7954 | 129k| 59k| 14k| 0.000000e+00 | -- | Inf
1765.52/1765.86 c 1766s| 42400 | 18 | 4173k| 97.9 | 58M| 56 | - |3313 | 15k| 0 | 0 | 129k| 59k| 14k| 0.000000e+00 | -- | Inf
1768.22/1768.52 c 1769s| 42500 | 15 | 4181k| 97.8 | 58M| 56 | 808 |3313 | 15k|3313 |7943 | 130k| 59k| 14k| 0.000000e+00 | -- | Inf
1772.22/1772.56 c 1773s| 42600 | 22 | 4192k| 97.9 | 58M| 56 | 563 |3313 | 15k|3313 |7961 | 130k| 59k| 14k| 0.000000e+00 | -- | Inf
1773.61/1773.98 c 1774s| 42700 | 43 | 4196k| 97.7 | 58M| 56 | 428 |3313 | 15k|3313 |7939 | 130k| 59k| 14k| 0.000000e+00 | -- | Inf
1775.52/1775.84 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1775.52/1775.84 c 1776s| 42800 | 14 | 4201k| 97.6 | 58M| 56 | 898 |3313 | 15k|3313 |7930 | 130k| 59k| 14k| 0.000000e+00 | -- | Inf
1778.21/1778.57 c 1779s| 42900 | 13 | 4209k| 97.6 | 58M| 56 | 912 |3313 | 15k|3313 |7929 | 131k| 59k| 14k| 0.000000e+00 | -- | Inf
1779.91/1780.25 c 1780s| 43000 | 23 | 4213k| 97.4 | 58M| 56 | 704 |3313 | 15k|3313 |7921 | 131k| 59k| 14k| 0.000000e+00 | -- | Inf
1781.91/1782.22 c 1782s| 43100 | 34 | 4220k| 97.4 | 58M| 56 | 539 |3313 | 15k|3313 |7936 | 131k| 59k| 14k| 0.000000e+00 | -- | Inf
1784.31/1784.61 c 1785s| 43200 | 9 | 4227k| 97.3 | 58M| 56 | 919 |3313 | 15k|3313 |7912 | 131k| 59k| 14k| 0.000000e+00 | -- | Inf
1787.01/1787.38 c 1787s| 43300 | 12 | 4236k| 97.3 | 58M| 56 | 716 |3313 | 15k|3313 |7933 | 131k| 59k| 14k| 0.000000e+00 | -- | Inf
1789.71/1790.06 c 1790s| 43400 | 10 | 4244k| 97.3 | 58M| 56 | - |3313 | 16k| 0 | 0 | 132k| 60k| 14k| 0.000000e+00 | -- | Inf
1793.01/1793.33 c 1793s| 43500 | 34 | 4254k| 97.3 | 58M| 56 | 411 |3313 | 15k|3313 |7952 | 132k| 60k| 14k| 0.000000e+00 | -- | Inf
1795.10/1795.45 c 1795s| 43600 | 15 | 4262k| 97.2 | 58M| 56 | 732 |3313 | 15k|3313 |7982 | 132k| 60k| 14k| 0.000000e+00 | -- | Inf
1796.71/1797.00 c
1796.71/1797.00 c SCIP Status : solving was interrupted [time limit reached]
1796.71/1797.00 c Solving Time (sec) : 1797.01
1796.71/1797.00 c Solving Nodes : 43626
1796.71/1797.00 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1796.71/1797.00 c Dual Bound : +0.00000000000000e+00
1796.71/1797.00 c Gap : infinite
1796.71/1797.00 s UNKNOWN
1796.71/1797.00 c SCIP Status : solving was interrupted [time limit reached]
1796.71/1797.00 c Total Time : 1797.01
1796.71/1797.00 c solving : 1797.01
1796.71/1797.00 c presolving : 11.63 (included in solving)
1796.71/1797.00 c reading : 0.04 (included in solving)
1796.71/1797.00 c copying : 0.01 (1 #copies) (minimal 0.01, maximal 0.01, average 0.01)
1796.71/1797.00 c Original Problem :
1796.71/1797.00 c Problem name : HOME/instance-3692841-1338025477.opb
1796.71/1797.00 c Variables : 4622 (4622 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.71/1797.00 c Constraints : 12569 initial, 12569 maximal
1796.71/1797.00 c Objective sense : minimize
1796.71/1797.00 c Presolved Problem :
1796.71/1797.00 c Problem name : t_HOME/instance-3692841-1338025477.opb
1796.71/1797.00 c Variables : 3313 (3313 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.71/1797.00 c Constraints : 3794 initial, 16049 maximal
1796.71/1797.00 c Presolvers : ExecTime SetupTime FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1796.71/1797.00 c domcol : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.71/1797.00 c trivial : 0.02 0.00 37 0 0 0 0 0 0 0 0
1796.71/1797.00 c dualfix : 0.01 0.00 0 0 0 0 0 0 0 0 0
1796.71/1797.00 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.71/1797.00 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.71/1797.00 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.71/1797.00 c gateextraction : 0.04 0.00 0 0 0 0 0 10645 3547 0 0
1796.71/1797.00 c implics : 0.08 0.00 0 296 0 0 0 0 0 0 0
1796.71/1797.00 c components : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.71/1797.00 c pseudoobj : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.71/1797.00 c probing : 3.93 0.00 322 103 0 92 0 0 0 0 0
1796.71/1797.00 c knapsack : 0.11 0.00 0 0 0 0 0 0 0 0 0
1796.71/1797.00 c setppc : 0.25 0.00 0 64 0 0 0 229 0 0 0
1796.71/1797.00 c and : 6.80 0.00 16 321 0 2 0 1260 1082 0 109
1796.71/1797.00 c linear : 0.25 0.00 144 6 0 144 0 1067 0 408 868
1796.71/1797.00 c logicor : 0.05 0.00 0 0 0 1 0 1 0 0 0
1796.71/1797.00 c root node : - - 3 - - 3 - - - - -
1796.71/1797.00 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Conss Children
1796.71/1797.00 c integral : 0 0 0 0 33388 0 4 0 79 1502 0 0 65408
1796.71/1797.00 c knapsack : 810 810 6 479319 0 0 3 224122 5999 570708 1204 0 0
1796.71/1797.00 c setppc : 977 977 6 473320 0 0 0 953298 3744 1030588 0 0 0
1796.71/1797.00 c and : 2005 2005 67301 469576 0 0 0 2052243 9072 1836575 127997 0 0
1796.71/1797.00 c logicor : 2+ 12259 6 232127 0 0 0 371540 3098 185826 2 0 0
1796.71/1797.00 c countsols : 0 0 0 0 0 0 0 0 0 0 0 0 0
1796.71/1797.00 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS Check ResProp
1796.71/1797.00 c integral : 409.94 0.00 0.00 0.00 409.94 0.00 0.00 0.00
1796.71/1797.00 c knapsack : 13.08 0.00 0.02 12.71 0.00 0.00 0.00 0.35
1796.71/1797.00 c setppc : 9.44 0.00 0.00 8.22 0.00 0.00 0.00 1.22
1796.71/1797.00 c and : 40.18 0.00 23.06 14.83 0.00 0.00 0.00 2.29
1796.71/1797.00 c logicor : 8.92 0.00 0.00 8.09 0.00 0.00 0.00 0.82
1796.71/1797.00 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1796.71/1797.00 c Propagators : #Propagate #ResProp Cutoffs DomReds
1796.71/1797.00 c rootredcost : 0 0 0 0
1796.71/1797.00 c pseudoobj : 0 0 0 0
1796.71/1797.00 c vbounds : 0 0 0 0
1796.71/1797.00 c redcost : 68747 0 0 0
1796.71/1797.00 c probing : 0 0 0 0
1796.71/1797.00 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp
1796.71/1797.00 c rootredcost : 0.44 0.00 0.00 0.44 0.00
1796.71/1797.00 c pseudoobj : 0.43 0.00 0.00 0.43 0.00
1796.71/1797.00 c vbounds : 0.40 0.00 0.00 0.40 0.00
1796.71/1797.00 c redcost : 3.49 0.00 0.00 3.49 0.00
1796.71/1797.00 c probing : 3.93 0.00 3.93 0.00 0.00
1796.71/1797.00 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1796.71/1797.00 c propagation : 9.24 21913 21291 200534 43.5 5455 19.6 -
1796.71/1797.00 c infeasible LP : 0.49 460 460 1465 32.9 105 12.6 0
1796.71/1797.00 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1796.71/1797.00 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1796.71/1797.00 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1796.71/1797.00 c applied globally : - - - 60187 26.5 - - -
1796.71/1797.00 c applied locally : - - - 0 0.0 - - -
1796.71/1797.00 c Separators : ExecTime SetupTime Calls Cutoffs DomReds Cuts Conss
1796.71/1797.00 c cut pool : 0.00 5 - - 454 - (maximal pool size: 8308)
1796.71/1797.00 c closecuts : 0.00 0.00 0 0 0 0 0
1796.71/1797.00 c impliedbounds : 0.04 0.00 6 0 0 8587 0
1796.71/1797.00 c intobj : 0.00 0.00 0 0 0 0 0
1796.71/1797.00 c gomory : 0.13 0.00 6 0 0 300 0
1796.71/1797.00 c cgmip : 0.00 0.00 0 0 0 0 0
1796.71/1797.00 c strongcg : 1.72 0.00 6 0 0 3000 0
1796.71/1797.00 c cmir : 0.39 0.00 6 0 0 417 0
1796.71/1797.00 c flowcover : 0.43 0.00 6 0 0 1203 0
1796.71/1797.00 c clique : 1.55 0.00 6 0 0 54 0
1796.71/1797.00 c zerohalf : 0.00 0.00 0 0 0 0 0
1796.71/1797.00 c mcf : 0.00 0.00 1 0 0 0 0
1796.71/1797.00 c oddcycle : 0.00 0.00 0 0 0 0 0
1796.71/1797.00 c rapidlearning : 0.00 0.00 0 0 0 0 0
1796.71/1797.00 c Pricers : ExecTime SetupTime Calls Vars
1796.71/1797.00 c problem variables: 0.00 - 0 0
1796.71/1797.00 c Branching Rules : ExecTime SetupTime Calls Cutoffs DomReds Cuts Conss Children
1796.71/1797.00 c relpscost : 409.79 0.00 33388 79 1502 0 0 65408
1796.71/1797.00 c pscost : 0.00 0.00 0 0 0 0 0 0
1796.71/1797.00 c inference : 0.00 0.00 0 0 0 0 0 0
1796.71/1797.00 c mostinf : 0.00 0.00 0 0 0 0 0 0
1796.71/1797.00 c leastinf : 0.00 0.00 0 0 0 0 0 0
1796.71/1797.00 c fullstrong : 0.00 0.00 0 0 0 0 0 0
1796.71/1797.00 c allfullstrong : 0.00 0.00 0 0 0 0 0 0
1796.71/1797.00 c random : 0.00 0.00 0 0 0 0 0 0
1796.71/1797.00 c Primal Heuristics : ExecTime SetupTime Calls Found
1796.71/1797.00 c LP solutions : 0.00 - - 0
1796.71/1797.00 c pseudo solutions : 0.00 - - 0
1796.71/1797.00 c oneopt : 0.15 0.00 0 0
1796.71/1797.00 c crossover : 0.06 0.00 0 0
1796.71/1797.00 c linesearchdiving : 12.34 0.00 59 0
1796.71/1797.00 c objpscostdiving : 16.62 0.00 30 0
1796.71/1797.00 c coefdiving : 23.04 0.00 60 0
1796.71/1797.00 c pscostdiving : 11.05 0.00 60 0
1796.71/1797.00 c veclendiving : 14.74 0.00 60 0
1796.71/1797.00 c smallcard : 0.00 0.00 0 0
1796.71/1797.00 c trivial : 0.00 0.00 2 0
1796.71/1797.01 c shiftandpropagate: 0.06 0.00 1 0
1796.71/1797.01 c simplerounding : 0.09 0.00 0 0
1796.71/1797.01 c zirounding : 10.46 0.00 0 0
1796.71/1797.01 c rounding : 1.89 0.00 3709 0
1796.71/1797.01 c shifting : 15.69 0.00 1152 0
1796.71/1797.01 c intshifting : 0.00 0.00 0 0
1796.71/1797.01 c twoopt : 0.00 0.00 0 0
1796.71/1797.01 c indtwoopt : 0.00 0.00 0 0
1796.71/1797.01 c indoneopt : 0.15 0.00 0 0
1796.71/1797.01 c fixandinfer : 0.00 0.00 0 0
1796.71/1797.01 c feaspump : 11.89 0.00 13 0
1796.71/1797.01 c clique : 0.00 0.00 0 0
1796.71/1797.01 c indcoefdiving : 0.00 0.00 0 0
1796.71/1797.01 c indrounding : 0.00 0.00 0 0
1796.71/1797.01 c nlpdiving : 0.00 0.00 0 0
1796.71/1797.01 c fracdiving : 19.13 0.00 60 0
1796.71/1797.01 c intdiving : 0.00 0.00 0 0
1796.71/1797.01 c actconsdiving : 0.00 0.00 0 0
1796.71/1797.01 c rootsoldiving : 9.63 0.00 16 0
1796.71/1797.01 c guideddiving : 0.00 0.00 0 0
1796.71/1797.01 c octane : 0.00 0.00 0 0
1796.71/1797.01 c rens : 0.03 0.00 0 0
1796.71/1797.01 c rins : 0.00 0.00 0 0
1796.71/1797.01 c localbranching : 0.00 0.00 0 0
1796.71/1797.01 c mutation : 0.00 0.00 0 0
1796.71/1797.01 c dins : 0.00 0.00 0 0
1796.71/1797.01 c vbounds : 0.00 0.00 0 0
1796.71/1797.01 c undercover : 0.39 0.00 1 0
1796.71/1797.01 c subnlp : 0.05 0.00 0 0
1796.71/1797.01 c trysol : 0.12 0.00 0 0
1796.71/1797.01 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It
1796.71/1797.01 c primal LP : 0.00 1 0 0.00 - 0.00 1
1796.71/1797.01 c dual LP : 1007.07 68947 3913413 56.81 3885.94 0.25 66
1796.71/1797.01 c lex dual LP : 0.00 0 0 0.00 -
1796.71/1797.01 c barrier LP : 0.00 0 0 0.00 - 0.00 0
1796.71/1797.01 c diving/probing LP: 92.79 13971 352764 25.25 3801.64
1796.71/1797.01 c strong branching : 401.83 14439 1332835 92.31 3316.87
1796.71/1797.01 c (at root node) : - 19 10897 573.53 -
1796.71/1797.01 c conflict analysis: 0.00 0 0 0.00 -
1796.71/1797.01 c B&B Tree :
1796.71/1797.01 c number of runs : 1
1796.71/1797.01 c nodes : 43626
1796.71/1797.01 c nodes (total) : 43626
1796.71/1797.01 c nodes left : 18
1796.71/1797.01 c max depth : 56
1796.71/1797.01 c max depth (total): 56
1796.71/1797.01 c backtracks : 11483 (26.3%)
1796.71/1797.01 c delayed cutoffs : 21765
1796.71/1797.01 c repropagations : 46271 (1335069 domain reductions, 10420 cutoffs)
1796.71/1797.01 c avg switch length: 3.71
1796.71/1797.01 c switching time : 18.91
1796.71/1797.01 c Solution :
1796.71/1797.01 c Solutions found : 0 (0 improvements)
1796.71/1797.01 c Primal Bound : -
1796.71/1797.01 c Dual Bound : +0.00000000000000e+00
1796.71/1797.01 c Gap : infinite
1796.71/1797.01 c Root Dual Bound : +0.00000000000000e+00
1796.71/1797.01 c Root Iterations : 23660
1796.71/1797.09 c Time complete: 1796.79.