0.00/0.01 c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.0.0] [GitHash: 405ed0d46f]
0.00/0.01 c Copyright (c) 2002-2024 Zuse Institute Berlin (ZIB)
0.00/0.01 c
0.00/0.01 c user parameter file <scip.set> not found - using default parameters
0.00/0.01 c reading problem <HOME/instance-4493742-1751148311.opb>
0.00/0.01 c original problem has 316 variables (316 bin, 0 int, 0 impl, 0 cont) and 476 constraints
0.00/0.01 c problem read in 0.00
0.00/0.01 c No objective function, only one solution is needed.
0.00/0.01 c presolving:
0.00/0.01 c (0.0s) running MILP presolver
0.00/0.01 c (0.0s) MILP presolver (2 rounds): 4 aggregations, 0 fixings, 0 bound changes
0.00/0.01 c (round 1, medium) 4 del vars, 0 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 162 clqs
0.00/0.01 c (round 2, fast) 4 del vars, 4 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 162 clqs
0.00/0.01 c (round 3, exhaustive) 4 del vars, 4 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 472 upgd conss, 0 impls, 162 clqs
0.00/0.02 c (round 4, medium) 8 del vars, 208 del conss, 796 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 472 upgd conss, 0 impls, 946 clqs
0.00/0.02 c (round 5, fast) 8 del vars, 216 del conss, 796 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 472 upgd conss, 0 impls, 946 clqs
0.00/0.02 c (round 6, exhaustive) 8 del vars, 1116 del conss, 904 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 472 upgd conss, 0 impls, 946 clqs
0.00/0.04 c (0.0s) probing cycle finished: starting next cycle
0.00/0.04 c (0.0s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
0.00/0.04 c (0.0s) symmetry computation finished: 3 generators found (max: 1500, log10 of symmetry group size: 0.0) (symcode time: 0.00)
0.00/0.04 c dynamic symmetry handling statistics:
0.00/0.04 c orbitopal reduction: no components
0.00/0.04 c orbital reduction: 1 components of sizes 3
0.00/0.04 c lexicographic reduction: 3 permutations with support sizes 288, 252, 308
0.00/0.04 c handled 1 out of 1 symmetry components
0.00/0.04 c presolving (7 rounds: 7 fast, 5 medium, 3 exhaustive):
0.00/0.04 c 8 deleted vars, 1116 deleted constraints, 904 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.00/0.04 c 0 implications, 2432 cliques
0.00/0.04 c presolved problem has 308 variables (308 bin, 0 int, 0 impl, 0 cont) and 264 constraints
0.00/0.04 c 2 constraints of type <knapsack>
0.00/0.04 c 154 constraints of type <setppc>
0.00/0.04 c 108 constraints of type <and>
0.00/0.04 c transformed objective value is always integral (scale: 1)
0.00/0.04 c Presolving Time: 0.03
0.00/0.04 c - non default parameters ----------------------------------------------------------------------
0.00/0.04 c # SCIP version 10.0.0
0.00/0.04 c
0.00/0.04 c # maximal time in seconds to run
0.00/0.04 c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
0.00/0.04 c limits/time = 3596.997013
0.00/0.04 c
0.00/0.04 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.04 c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
0.00/0.04 c limits/memory = 27900
0.00/0.04 c
0.00/0.04 c # solving stops, if the given number of solutions were found; this limit is first checked in presolving (-1: no limit)
0.00/0.04 c # [type: int, advanced: FALSE, range: [-1,2147483647], default: -1]
0.00/0.04 c limits/solutions = 1
0.00/0.04 c
0.00/0.04 c # bitset describing used symmetry handling technique: (0: off; 1: constraint-based (orbitopes and/or symresacks); 2: orbital fixing; 3: orbitopes and orbital fixing; 4: Schreier Sims cuts; 5: Schreier Sims cuts and orbitopes; 6: Schreier Sims cuts and orbital fixing; 7: Schreier Sims cuts, orbitopes, and orbital fixing) See type_symmetry.h.
0.00/0.04 c # [type: int, advanced: FALSE, range: [0,7], default: 7]
0.00/0.04 c misc/usesymmetry = 3
0.00/0.04 c
0.00/0.04 c # belongs reading time to solving time?
0.00/0.04 c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
0.00/0.04 c timing/reading = TRUE
0.00/0.04 c
0.00/0.04 c # Should we check whether the components of the symmetry group can be handled by double lex matrices?
0.00/0.04 c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
0.00/0.04 c propagating/symmetry/detectdoublelex = FALSE
0.00/0.04 c
0.00/0.04 c # Should we try to detect symmetric subgroups of the symmetry group on binary variables?
0.00/0.04 c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
0.00/0.04 c propagating/symmetry/detectsubgroups = FALSE
0.00/0.04 c
0.00/0.04 c # Type of symmetries that shall be computed?
0.00/0.04 c # [type: int, advanced: TRUE, range: [0,1], default: 0]
0.00/0.04 c propagating/symmetry/symtype = 1
0.00/0.04 c
0.00/0.04 c # Should components consisting of a single full reflection be handled?
0.00/0.04 c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
0.00/0.04 c propagating/symmetry/usesimplesgncomp = FALSE
0.00/0.04 c
0.00/0.04 c -----------------------------------------------------------------------------------------------
0.00/0.04 c start solving
0.00/0.04 c
0.00/0.06 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
0.00/0.06 c 0.1s| 1 | 0 | 118 | - | 6852k | 0 | 308 | 303 | 372 | 0 | 0 | 47 | 0 | 0.000000e+00 | -- | Inf | unknown
0.09/0.11 c 0.1s| 1 | 0 | 250 | - | 7619k | 0 | 308 | 322 | 427 | 55 | 1 | 52 | 0 | 0.000000e+00 | -- | Inf | unknown
0.09/0.12 c 0.1s| 1 | 0 | 305 | - | 10M | 0 | 308 | 322 | 466 | 94 | 2 | 52 | 0 | 0.000000e+00 | -- | Inf | unknown
0.09/0.16 c 0.2s| 1 | 0 | 361 | - | 14M | 0 | 308 | 323 | 499 | 127 | 3 | 53 | 0 | 0.000000e+00 | -- | Inf | unknown
0.09/0.20 c 0.2s| 1 | 0 | 396 | - | 19M | 0 | 308 | 324 | 528 | 156 | 4 | 54 | 0 | 0.000000e+00 | -- | Inf | unknown
0.19/0.24 c 0.2s| 1 | 0 | 445 | - | 24M | 0 | 308 | 325 | 543 | 171 | 5 | 55 | 0 | 0.000000e+00 | -- | Inf | unknown
0.19/0.29 c 0.3s| 1 | 0 | 469 | - | 31M | 0 | 308 | 331 | 571 | 199 | 6 | 61 | 0 | 0.000000e+00 | -- | Inf | unknown
0.30/0.33 c 0.3s| 1 | 0 | 494 | - | 36M | 0 | 308 | 332 | 590 | 218 | 7 | 62 | 0 | 0.000000e+00 | -- | Inf | unknown
0.30/0.38 c 0.4s| 1 | 0 | 530 | - | 41M | 0 | 308 | 333 | 600 | 228 | 8 | 63 | 0 | 0.000000e+00 | -- | Inf | unknown
0.39/0.42 c 0.4s| 1 | 0 | 590 | - | 44M | 0 | 308 | 337 | 609 | 237 | 9 | 67 | 0 | 0.000000e+00 | -- | Inf | unknown
0.39/0.47 c 0.5s| 1 | 0 | 631 | - | 51M | 0 | 308 | 345 | 629 | 257 | 10 | 75 | 0 | 0.000000e+00 | -- | Inf | unknown
0.39/0.48 c 0.5s| 1 | 0 | 666 | - | 51M | 0 | 308 | 351 | 643 | 271 | 11 | 81 | 0 | 0.000000e+00 | -- | Inf | unknown
0.49/0.56 c 0.6s| 1 | 2 | 994 | - | 51M | 0 | 308 | 377 | 643 | 271 | 11 | 107 | 10 | 0.000000e+00 | -- | Inf | unknown
1.09/1.17 c 1.2s| 100 | 23 | 4623 | 40.0 | 61M | 18 | 308 | 399 | 663 | 951 | 2 | 131 | 10 | 0.000000e+00 | -- | Inf | unknown
1.38/1.44 c 1.4s| 200 | 31 | 8523 | 39.5 | 62M | 20 | 308 | 415 | 661 |1395 | 2 | 147 | 10 | 0.000000e+00 | -- | Inf | unknown
1.78/1.80 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1.78/1.80 c 1.8s| 300 | 41 | 11283 | 35.5 | 65M | 20 | 308 | 428 | 671 |1721 | 2 | 161 | 10 | 0.000000e+00 | -- | Inf | 0.54%
1.88/1.98 c 2.0s| 400 | 35 | 13392 | 31.9 | 65M | 20 | 308 | 439 | 682 |1981 | 0 | 172 | 10 | 0.000000e+00 | -- | Inf | 0.62%
2.28/2.30 c 2.3s| 500 | 37 | 15335 | 29.4 | 68M | 20 | 308 | 441 | 667 |2282 | 1 | 174 | 10 | 0.000000e+00 | -- | Inf | 0.72%
2.57/2.69 c 2.7s| 600 | 37 | 17970 | 28.9 | 72M | 23 | 308 | 455 | 659 |2668 | 1 | 188 | 10 | 0.000000e+00 | -- | Inf | 0.93%
2.87/2.96 c 3.0s| 700 | 39 | 19954 | 27.6 | 72M | 23 | 308 | 462 | 694 |2946 | 1 | 195 | 10 | 0.000000e+00 | -- | Inf | 1.03%
3.37/3.45 c 3.4s| 800 | 37 | 22391 | 27.2 | 76M | 23 | 308 | 468 | 684 |3304 | 0 | 201 | 10 | 0.000000e+00 | -- | Inf | 1.24%
3.76/3.81 c 3.8s| 900 | 35 | 24559 | 26.6 | 76M | 23 | 308 | 474 | 673 |3535 | 2 | 207 | 10 | 0.000000e+00 | -- | Inf | 1.31%
4.07/4.11 c 4.1s| 1000 | 39 | 26445 | 25.8 | 77M | 23 | 308 | 484 | 654 |3807 | 2 | 217 | 10 | 0.000000e+00 | -- | Inf | 1.44%
4.07/4.19 c Restart triggered after 50 consecutive estimations that the remaining tree will be large
4.07/4.19 c (run 1, node 1055) performing user restart
4.07/4.19 c
4.07/4.19 c (restart) converted 99 cuts from the global cut pool into linear constraints
4.07/4.19 c
4.17/4.20 c presolving:
4.17/4.20 c (round 1, fast) 0 del vars, 4 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 2432 clqs
4.17/4.21 c (round 2, exhaustive) 0 del vars, 5 del conss, 0 add conss, 0 chg bounds, 1 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 2432 clqs
4.17/4.21 c (round 3, exhaustive) 0 del vars, 5 del conss, 0 add conss, 0 chg bounds, 1 chg sides, 0 chg coeffs, 110 upgd conss, 0 impls, 2432 clqs
4.17/4.21 c (round 4, medium) 0 del vars, 11 del conss, 12 add conss, 0 chg bounds, 1 chg sides, 0 chg coeffs, 110 upgd conss, 0 impls, 2432 clqs
4.17/4.21 c (round 5, exhaustive) 0 del vars, 20 del conss, 12 add conss, 0 chg bounds, 1 chg sides, 22 chg coeffs, 110 upgd conss, 0 impls, 2432 clqs
4.17/4.21 c (round 6, exhaustive) 0 del vars, 20 del conss, 12 add conss, 0 chg bounds, 1 chg sides, 133 chg coeffs, 110 upgd conss, 0 impls, 2432 clqs
4.17/4.22 c presolving (7 rounds: 7 fast, 6 medium, 5 exhaustive):
4.17/4.22 c 0 deleted vars, 20 deleted constraints, 12 added constraints, 0 tightened bounds, 0 added holes, 1 changed sides, 133 changed coefficients
4.17/4.22 c 0 implications, 2432 cliques
4.17/4.22 c presolved problem has 308 variables (308 bin, 0 int, 0 impl, 0 cont) and 583 constraints
4.17/4.22 c 2 constraints of type <knapsack>
4.17/4.22 c 271 constraints of type <setppc>
4.17/4.22 c 108 constraints of type <and>
4.17/4.22 c 2 constraints of type <linear>
4.17/4.22 c 200 constraints of type <logicor>
4.17/4.22 c transformed objective value is always integral (scale: 1)
4.17/4.22 c Presolving Time: 0.05
4.17/4.22 c
4.17/4.25 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
4.17/4.25 c 4.2s| 1 | 0 | 27240 | - | 77M | 0 | 308 | 582 | 477 | 0 | 0 | 232 | 10 | 0.000000e+00 | -- | Inf | unknown
4.26/4.30 c 4.3s| 1 | 0 | 27319 | - | 77M | 0 | 308 | 596 | 515 | 38 | 1 | 233 | 10 | 0.000000e+00 | -- | Inf | unknown
4.26/4.35 c 4.3s| 1 | 0 | 27373 | - | 77M | 0 | 308 | 600 | 543 | 66 | 2 | 237 | 10 | 0.000000e+00 | -- | Inf | unknown
4.36/4.40 c 4.4s| 1 | 0 | 27398 | - | 77M | 0 | 308 | 601 | 559 | 82 | 3 | 238 | 10 | 0.000000e+00 | -- | Inf | unknown
4.36/4.44 c 4.4s| 1 | 0 | 27427 | - | 77M | 0 | 308 | 602 | 572 | 95 | 4 | 239 | 10 | 0.000000e+00 | -- | Inf | unknown
4.36/4.49 c 4.5s| 1 | 0 | 27463 | - | 78M | 0 | 308 | 606 | 586 | 109 | 5 | 243 | 10 | 0.000000e+00 | -- | Inf | unknown
4.45/4.54 c 4.5s| 1 | 0 | 27506 | - | 78M | 0 | 308 | 607 | 593 | 116 | 6 | 244 | 10 | 0.000000e+00 | -- | Inf | unknown
4.55/4.60 c 4.6s| 1 | 0 | 27540 | - | 78M | 0 | 308 | 608 | 607 | 130 | 7 | 245 | 10 | 0.000000e+00 | -- | Inf | unknown
4.55/4.64 c 4.6s| 1 | 0 | 27589 | - | 78M | 0 | 308 | 612 | 623 | 146 | 8 | 249 | 10 | 0.000000e+00 | -- | Inf | unknown
4.65/4.70 c 4.7s| 1 | 0 | 27623 | - | 78M | 0 | 308 | 616 | 635 | 158 | 9 | 253 | 10 | 0.000000e+00 | -- | Inf | unknown
4.65/4.76 c 4.8s| 1 | 0 | 27664 | - | 78M | 0 | 308 | 620 | 648 | 171 | 10 | 257 | 10 | 0.000000e+00 | -- | Inf | unknown
4.65/4.77 c 4.8s| 1 | 0 | 27676 | - | 78M | 0 | 308 | 624 | 653 | 176 | 11 | 261 | 10 | 0.000000e+00 | -- | Inf | unknown
4.75/4.89 c 4.9s| 1 | 2 | 28021 | - | 78M | 0 | 308 | 636 | 653 | 176 | 11 | 276 | 21 | 0.000000e+00 | -- | Inf | unknown
5.34/5.43 c 5.4s| 100 | 15 | 32033 | 26.7 | 79M | 17 | 308 | 654 | 698 | 981 | 0 | 296 | 21 | 0.000000e+00 | -- | Inf | 0.68%
5.54/5.62 c 5.6s| 200 | 19 | 33898 | 26.0 | 79M | 19 | 308 | 693 | 703 |1265 | 2 | 335 | 21 | 0.000000e+00 | -- | Inf | 0.78%
5.94/6.02 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
5.94/6.02 c 6.0s| 300 | 21 | 36999 | 26.4 | 80M | 20 | 308 | 709 | 717 |1782 | 2 | 351 | 21 | 0.000000e+00 | -- | Inf | 0.97%
6.04/6.19 c 6.2s| 400 | 21 | 39013 | 26.0 | 81M | 20 | 308 | 717 | 712 |2032 | 1 | 359 | 21 | 0.000000e+00 | -- | Inf | 1.01%
6.53/6.66 c 6.7s| 500 | 21 | 41458 | 25.9 | 82M | 20 | 308 | 725 | 686 |2442 | 2 | 367 | 21 | 0.000000e+00 | -- | Inf | 1.41%
6.83/6.96 c 7.0s| 600 | 19 | 43326 | 25.4 | 82M | 20 | 308 | 745 | 727 |2730 | 1 | 387 | 21 | 0.000000e+00 | -- | Inf | 1.43%
7.04/7.19 c 7.2s| 700 | 21 | 45436 | 25.2 | 82M | 25 | 308 | 762 | 727 |3024 | 2 | 404 | 21 | 0.000000e+00 | -- | Inf | 1.44%
7.23/7.31 c 7.3s| 800 | 21 | 47116 | 24.7 | 82M | 25 | 308 | 777 | 727 |3314 | 2 | 419 | 21 | 0.000000e+00 | -- | Inf | 1.45%
7.43/7.55 c 7.5s| 900 | 19 | 49474 | 24.7 | 82M | 25 | 308 | 789 | 676 |3680 | 2 | 431 | 21 | 0.000000e+00 | -- | Inf | 1.65%
7.73/7.83 c 7.8s| 1000 | 23 | 51274 | 24.4 | 82M | 25 | 308 | 796 | 705 |3916 | 0 | 438 | 21 | 0.000000e+00 | -- | Inf | 1.82%
7.83/7.93 c 7.9s| 1100 | 25 | 52880 | 24.0 | 82M | 26 | 308 | 807 | 694 |4210 | 2 | 449 | 21 | 0.000000e+00 | -- | Inf | 1.83%
7.93/8.01 c 8.0s| 1200 | 23 | 54615 | 23.7 | 82M | 27 | 308 | 808 | 703 |4412 | 2 | 450 | 21 | 0.000000e+00 | -- | Inf | 1.84%
7.93/8.09 c 8.1s| 1300 | 23 | 56208 | 23.3 | 82M | 29 | 308 | 821 | 716 |4624 | 1 | 463 | 21 | 0.000000e+00 | -- | Inf | 1.84%
8.13/8.20 c 8.2s| 1400 | 27 | 58423 | 23.3 | 82M | 29 | 308 | 829 | 723 |4942 | 0 | 471 | 21 | 0.000000e+00 | -- | Inf | 1.87%
8.13/8.29 c 8.3s| 1500 | 23 | 60111 | 23.0 | 83M | 29 | 308 | 860 | 718 |5083 | 1 | 502 | 21 | 0.000000e+00 | -- | Inf | 1.88%
8.23/8.38 c 8.4s| 1600 | 21 | 61972 | 22.9 | 83M | 30 | 308 | 873 | 0 |5399 | 0 | 515 | 21 | 0.000000e+00 | -- | Inf | 1.89%
8.33/8.49 c 8.5s| 1700 | 27 | 64646 | 23.0 | 83M | 30 | 308 | 887 | 722 |5895 | 2 | 529 | 21 | 0.000000e+00 | -- | Inf | 1.91%
8.43/8.58 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
8.43/8.58 c 8.6s| 1800 | 25 | 66260 | 22.8 | 83M | 30 | 308 | 895 | 0 |6155 | 0 | 537 | 21 | 0.000000e+00 | -- | Inf | 1.91%
8.63/8.76 c 8.7s| 1900 | 23 | 68214 | 22.7 | 83M | 30 | 308 | 906 | 692 |6363 | 1 | 548 | 21 | 0.000000e+00 | -- | Inf | 2.50%
9.12/9.21 c 9.2s| 2000 | 25 | 72089 | 23.2 | 84M | 30 | 308 | 922 | 683 |6957 | 2 | 564 | 21 | 0.000000e+00 | -- | Inf | 3.00%
9.22/9.37 c 9.4s| 2100 | 23 | 73897 | 23.0 | 84M | 30 | 308 | 928 | 731 |7212 | 2 | 570 | 21 | 0.000000e+00 | -- | Inf | 3.19%
9.52/9.68 c 9.7s| 2200 | 23 | 76098 | 23.0 | 84M | 30 | 308 | 933 | 713 |7527 | 1 | 576 | 21 | 0.000000e+00 | -- | Inf | 3.39%
9.62/9.79 c 9.8s| 2300 | 23 | 78447 | 23.0 | 84M | 30 | 308 | 939 | 677 |7877 | 2 | 582 | 21 | 0.000000e+00 | -- | Inf | 3.42%
9.82/9.92 c 9.9s| 2400 | 21 | 81369 | 23.2 | 84M | 30 | 308 | 940 | 721 |8274 | 0 | 584 | 21 | 0.000000e+00 | -- | Inf | 3.48%
10.12/10.28 c 10.3s| 2500 | 23 | 83829 | 23.2 | 84M | 30 | 308 | 954 | 710 |8759 | 2 | 599 | 21 | 0.000000e+00 | -- | Inf | 3.82%
10.42/10.54 c 10.5s| 2600 | 25 | 85728 | 23.1 | 84M | 30 | 308 | 963 | 729 |9177 | 2 | 608 | 21 | 0.000000e+00 | -- | Inf | 3.99%
10.52/10.63 c 10.6s| 2700 | 25 | 87422 | 23.0 | 84M | 30 | 308 | 981 | 0 |9460 | 0 | 626 | 21 | 0.000000e+00 | -- | Inf | 4.01%
10.62/10.72 c 10.7s| 2800 | 27 | 88919 | 22.7 | 84M | 30 | 308 |1015 | 721 |9689 | 2 | 660 | 21 | 0.000000e+00 | -- | Inf | 4.02%
10.72/10.88 c 10.9s| 2900 | 23 | 90954 | 22.7 | 84M | 32 | 308 |1029 | 728 |9976 | 2 | 674 | 21 | 0.000000e+00 | -- | Inf | 4.10%
10.82/10.97 c 11.0s| 3000 | 25 | 92705 | 22.6 | 84M | 32 | 308 |1056 | 701 | 10k| 0 | 701 | 21 | 0.000000e+00 | -- | Inf | 4.15%
10.92/11.06 c 11.1s| 3100 | 23 | 94347 | 22.4 | 84M | 32 | 308 |1060 | 699 | 10k| 1 | 705 | 21 | 0.000000e+00 | -- | Inf | 4.16%
11.02/11.15 c 11.1s| 3200 | 23 | 95855 | 22.2 | 84M | 32 | 308 |1072 | 722 | 10k| 2 | 717 | 21 | 0.000000e+00 | -- | Inf | 4.17%
11.12/11.25 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
11.12/11.25 c 11.2s| 3300 | 25 | 98007 | 22.2 | 84M | 32 | 308 |1089 | 705 | 11k| 0 | 734 | 21 | 0.000000e+00 | -- | Inf | 4.17%
11.22/11.34 c 11.3s| 3400 | 21 | 99761 | 22.1 | 84M | 33 | 308 |1099 | 718 | 11k| 0 | 744 | 21 | 0.000000e+00 | -- | Inf | 4.17%
11.62/11.77 c 11.8s| 3500 | 29 |101640 | 22.0 | 84M | 33 | 308 |1111 | 697 | 11k| 2 | 756 | 21 | 0.000000e+00 | -- | Inf | 4.55%
11.82/11.96 c 12.0s| 3600 | 27 |103208 | 21.9 | 84M | 33 | 308 |1125 | 0 | 11k| 0 | 770 | 21 | 0.000000e+00 | -- | Inf | 4.76%
12.02/12.12 c 12.1s| 3700 | 33 |104751 | 21.8 | 84M | 33 | 308 |1137 | 683 | 12k| 1 | 782 | 21 | 0.000000e+00 | -- | Inf | 4.85%
12.12/12.28 c 12.3s| 3800 | 29 |106347 | 21.7 | 84M | 33 | 308 |1147 | 689 | 12k| 0 | 792 | 21 | 0.000000e+00 | -- | Inf | 4.90%
12.22/12.36 c 12.4s| 3900 | 31 |107870 | 21.5 | 84M | 33 | 308 |1169 | 691 | 12k| 2 | 814 | 21 | 0.000000e+00 | -- | Inf | 4.94%
12.32/12.45 c 12.4s| 4000 | 29 |109489 | 21.4 | 84M | 33 | 308 |1173 | 691 | 12k| 2 | 819 | 21 | 0.000000e+00 | -- | Inf | 4.95%
12.51/12.68 c 12.7s| 4100 | 31 |112076 | 21.5 | 84M | 33 | 308 |1205 | 718 | 13k| 0 | 853 | 21 | 0.000000e+00 | -- | Inf | 5.12%
12.71/12.82 c 12.8s| 4200 | 31 |114554 | 21.6 | 84M | 33 | 308 |1210 | 720 | 13k| 0 | 859 | 21 | 0.000000e+00 | -- | Inf | 5.24%
13.11/13.29 c 13.3s| 4300 | 37 |118993 | 22.0 | 85M | 33 | 308 |1220 | 725 | 14k| 1 | 870 | 21 | 0.000000e+00 | -- | Inf | 6.35%
13.51/13.60 c 13.6s| 4400 | 33 |121754 | 22.1 | 85M | 33 | 308 |1231 | 705 | 14k| 0 | 882 | 21 | 0.000000e+00 | -- | Inf | 6.70%
13.81/13.97 c 14.0s| 4500 | 33 |124329 | 22.2 | 87M | 33 | 308 |1255 | 700 | 15k| 0 | 908 | 21 | 0.000000e+00 | -- | Inf | 7.15%
14.02/14.16 c 14.2s| 4600 | 37 |125811 | 22.0 | 87M | 33 | 308 |1261 | 715 | 15k| 1 | 914 | 21 | 0.000000e+00 | -- | Inf | 7.34%
14.31/14.46 c 14.5s| 4700 | 37 |128363 | 22.1 | 87M | 33 | 308 |1266 | 721 | 15k| 2 | 920 | 21 | 0.000000e+00 | -- | Inf | 7.46%
14.41/14.57 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
14.41/14.57 c 14.6s| 4800 | 35 |130501 | 22.1 | 87M | 33 | 308 |1279 | 712 | 15k| 1 | 934 | 21 | 0.000000e+00 | -- | Inf | 7.50%
14.61/14.74 c 14.7s| 4900 | 41 |132534 | 22.1 | 87M | 33 | 308 |1283 | 723 | 16k| 0 | 939 | 21 | 0.000000e+00 | -- | Inf | 7.62%
14.81/14.91 c 14.9s| 5000 | 39 |134269 | 22.0 | 87M | 33 | 308 |1287 | 701 | 16k| 2 | 943 | 21 | 0.000000e+00 | -- | Inf | 7.70%
14.91/15.08 c 15.1s| 5100 | 39 |136177 | 21.9 | 87M | 33 | 308 |1288 | 681 | 16k| 0 | 945 | 21 | 0.000000e+00 | -- | Inf | 7.77%
15.01/15.17 c 15.2s| 5200 | 39 |137853 | 21.8 | 87M | 33 | 308 |1288 | 687 | 16k| 2 | 945 | 21 | 0.000000e+00 | -- | Inf | 7.83%
15.11/15.26 c 15.3s| 5300 | 37 |139618 | 21.8 | 87M | 33 | 308 |1286 | 699 | 17k| 2 | 945 | 21 | 0.000000e+00 | -- | Inf | 7.85%
15.31/15.44 c 15.4s| 5400 | 37 |141809 | 21.8 | 87M | 33 | 308 |1293 | 717 | 17k| 2 | 952 | 21 | 0.000000e+00 | -- | Inf | 7.88%
15.51/15.60 c 15.6s| 5500 | 37 |143493 | 21.7 | 88M | 33 | 308 |1310 | 701 | 17k| 0 | 970 | 21 | 0.000000e+00 | -- | Inf | 7.99%
15.51/15.69 c 15.7s| 5600 | 35 |145305 | 21.7 | 88M | 33 | 308 |1321 | 718 | 17k| 0 | 983 | 21 | 0.000000e+00 | -- | Inf | 8.02%
15.80/15.92 c 15.9s| 5700 | 37 |148619 | 21.8 | 88M | 33 | 308 |1330 | 727 | 18k| 2 | 998 | 21 | 0.000000e+00 | -- | Inf | 8.47%
16.10/16.21 c 16.2s| 5800 | 55 |152210 | 22.0 | 88M | 33 | 308 |1340 | 688 | 18k| 0 |1010 | 21 | 0.000000e+00 | -- | Inf | 8.64%
16.20/16.30 c 16.3s| 5900 | 53 |153676 | 21.9 | 88M | 33 | 308 |1339 | 679 | 18k| 2 |1010 | 21 | 0.000000e+00 | -- | Inf | 8.65%
16.40/16.53 c 16.5s| 6000 | 47 |155080 | 21.8 | 88M | 33 | 308 |1355 | 693 | 18k| 0 |1027 | 21 | 0.000000e+00 | -- | Inf | 8.96%
16.70/16.83 c 16.8s| 6100 | 45 |156975 | 21.8 | 88M | 33 | 308 |1375 | 0 | 19k| 0 |1055 | 21 | 0.000000e+00 | -- | Inf | 9.36%
16.91/17.01 c 17.0s| 6200 | 49 |159137 | 21.8 | 88M | 33 | 308 |1376 | 704 | 19k| 2 |1060 | 21 | 0.000000e+00 | -- | Inf | 9.55%
17.01/17.15 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
17.01/17.15 c 17.1s| 6300 | 47 |160805 | 21.7 | 88M | 33 | 308 |1387 | 696 | 19k| 2 |1073 | 21 | 0.000000e+00 | -- | Inf | 9.65%
17.10/17.26 c 17.3s| 6400 | 43 |162520 | 21.6 | 88M | 33 | 308 |1383 | 711 | 20k| 0 |1078 | 21 | 0.000000e+00 | -- | Inf | 9.66%
17.30/17.47 c 17.5s| 6500 | 43 |164458 | 21.6 | 88M | 33 | 308 |1386 | 698 | 20k| 1 |1088 | 21 | 0.000000e+00 | -- | Inf | 10.05%
17.50/17.65 c 17.6s| 6600 | 49 |166843 | 21.6 | 88M | 33 | 308 |1379 | 724 | 20k| 2 |1096 | 21 | 0.000000e+00 | -- | Inf | 10.14%
17.70/17.85 c 17.8s| 6700 | 47 |169918 | 21.8 | 88M | 33 | 308 |1381 | 0 | 21k| 0 |1111 | 21 | 0.000000e+00 | -- | Inf | 10.24%
18.00/18.11 c 18.1s| 6800 | 49 |171836 | 21.7 | 88M | 33 | 308 |1387 | 678 | 21k| 0 |1123 | 21 | 0.000000e+00 | -- | Inf | 10.32%
18.10/18.28 c 18.3s| 6900 | 51 |173544 | 21.7 | 88M | 33 | 308 |1382 | 686 | 21k| 2 |1123 | 21 | 0.000000e+00 | -- | Inf | 10.37%
18.20/18.37 c 18.4s| 7000 | 51 |175403 | 21.6 | 88M | 33 | 308 |1378 | 703 | 22k| 0 |1125 | 21 | 0.000000e+00 | -- | Inf | 10.47%
18.30/18.47 c 18.5s| 7100 | 51 |177020 | 21.6 | 88M | 33 | 308 |1371 | 696 | 22k| 2 |1125 | 21 | 0.000000e+00 | -- | Inf | 10.47%
18.40/18.58 c 18.6s| 7200 | 49 |178651 | 21.5 | 88M | 33 | 308 |1367 | 673 | 22k| 2 |1125 | 21 | 0.000000e+00 | -- | Inf | 10.51%
18.50/18.67 c 18.7s| 7300 | 51 |180454 | 21.5 | 88M | 33 | 308 |1361 | 706 | 22k| 2 |1125 | 21 | 0.000000e+00 | -- | Inf | 10.53%
18.60/18.77 c 18.8s| 7400 | 53 |182275 | 21.4 | 88M | 33 | 308 |1365 | 700 | 23k| 2 |1131 | 21 | 0.000000e+00 | -- | Inf | 10.56%
18.70/18.85 c 18.8s| 7500 | 51 |183639 | 21.3 | 88M | 33 | 308 |1372 | 704 | 23k| 1 |1139 | 21 | 0.000000e+00 | -- | Inf | 10.57%
18.79/18.93 c 18.9s| 7600 | 47 |185201 | 21.3 | 88M | 33 | 308 |1376 | 702 | 23k| 0 |1149 | 21 | 0.000000e+00 | -- | Inf | 10.59%
19.09/19.21 c 19.2s| 7700 | 53 |187121 | 21.2 | 88M | 33 | 308 |1370 | 699 | 23k| 2 |1151 | 21 | 0.000000e+00 | -- | Inf | 10.87%
19.19/19.39 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
19.19/19.39 c 19.4s| 7800 | 55 |189201 | 21.2 | 88M | 33 | 308 |1366 | 0 | 24k| 0 |1157 | 21 | 0.000000e+00 | -- | Inf | 11.05%
19.39/19.58 c 19.6s| 7900 | 55 |191393 | 21.2 | 88M | 33 | 308 |1366 | 703 | 24k| 2 |1163 | 21 | 0.000000e+00 | -- | Inf | 11.15%
19.59/19.78 c 19.8s| 8000 | 51 |193565 | 21.2 | 88M | 33 | 308 |1364 | 711 | 24k| 2 |1169 | 21 | 0.000000e+00 | -- | Inf | 11.28%
19.90/20.02 c 20.0s| 8100 | 57 |195527 | 21.2 | 88M | 33 | 308 |1362 | 704 | 25k| 2 |1179 | 21 | 0.000000e+00 | -- | Inf | 11.41%
20.00/20.14 c 20.1s| 8200 | 55 |197140 | 21.2 | 88M | 33 | 308 |1358 | 706 | 25k| 1 |1181 | 21 | 0.000000e+00 | -- | Inf | 11.49%
20.09/20.22 c 20.2s| 8300 | 55 |198435 | 21.1 | 88M | 33 | 308 |1355 | 699 | 25k| 0 |1181 | 21 | 0.000000e+00 | -- | Inf | 11.51%
20.19/20.31 c 20.3s| 8400 | 57 |200075 | 21.0 | 88M | 33 | 308 |1355 | 688 | 25k| 2 |1185 | 21 | 0.000000e+00 | -- | Inf | 11.53%
20.19/20.39 c 20.4s| 8500 | 55 |201350 | 20.9 | 88M | 33 | 308 |1362 | 704 | 25k| 0 |1195 | 21 | 0.000000e+00 | -- | Inf | 11.54%
20.39/20.54 c 20.5s| 8600 | 55 |202976 | 20.9 | 88M | 33 | 308 |1361 | 686 | 26k| 1 |1202 | 21 | 0.000000e+00 | -- | Inf | 11.61%
20.49/20.63 c 20.6s| 8700 | 57 |204521 | 20.8 | 88M | 33 | 308 |1358 | 699 | 26k| 0 |1210 | 21 | 0.000000e+00 | -- | Inf | 11.63%
20.59/20.73 c 20.7s| 8800 | 55 |206342 | 20.8 | 88M | 33 | 308 |1360 | 726 | 26k| 1 |1221 | 21 | 0.000000e+00 | -- | Inf | 11.65%
20.69/20.83 c 20.8s| 8900 | 53 |208187 | 20.8 | 88M | 33 | 308 |1354 | 734 | 27k| 2 |1225 | 21 | 0.000000e+00 | -- | Inf | 11.65%
20.99/21.12 c 21.1s| 9000 | 55 |211411 | 20.9 | 88M | 33 | 308 |1356 | 711 | 27k| 2 |1242 | 21 | 0.000000e+00 | -- | Inf | 12.14%
21.09/21.29 c 21.3s| 9100 | 57 |213329 | 20.9 | 88M | 33 | 308 |1342 | 717 | 27k| 1 |1248 | 21 | 0.000000e+00 | -- | Inf | 12.18%
21.19/21.37 c 21.4s| 9200 | 57 |214758 | 20.8 | 88M | 33 | 308 |1337 | 707 | 27k| 2 |1250 | 21 | 0.000000e+00 | -- | Inf | 12.19%
21.29/21.47 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
21.29/21.47 c 21.5s| 9300 | 55 |216822 | 20.8 | 88M | 33 | 308 |1334 | 0 | 28k| 0 |1255 | 21 | 0.000000e+00 | -- | Inf | 12.21%
21.59/21.71 c 21.7s| 9400 | 55 |220483 | 21.0 | 88M | 33 | 308 |1335 | 0 | 28k| 0 |1271 | 21 | 0.000000e+00 | -- | Inf | 12.48%
21.79/21.98 c 22.0s| 9500 | 61 |224754 | 21.2 | 88M | 33 | 308 |1347 | 740 | 29k| 2 |1308 | 21 | 0.000000e+00 | -- | Inf | 12.68%
21.99/22.11 c 22.1s| 9600 | 59 |227179 | 21.2 | 88M | 33 | 308 |1368 | 725 | 29k| 2 |1355 | 21 | 0.000000e+00 | -- | Inf | 12.73%
22.18/22.30 c 22.3s| 9700 | 57 |230433 | 21.3 | 88M | 33 | 308 |1366 | 690 | 30k| 2 |1374 | 21 | 0.000000e+00 | -- | Inf | 12.88%
22.28/22.44 c 22.4s| 9800 | 57 |232565 | 21.3 | 88M | 33 | 308 |1369 | 707 | 30k| 0 |1378 | 21 | 0.000000e+00 | -- | Inf | 12.97%
22.48/22.62 c 22.6s| 9900 | 57 |234859 | 21.3 | 88M | 33 | 308 |1378 | 0 | 30k| 0 |1392 | 21 | 0.000000e+00 | -- | Inf | 13.18%
22.58/22.71 c 22.7s| 10000 | 61 |236544 | 21.3 | 88M | 33 | 308 |1384 | 713 | 31k| 2 |1402 | 21 | 0.000000e+00 | -- | Inf | 13.19%
22.68/22.89 c 22.9s| 10100 | 63 |239205 | 21.3 | 90M | 33 | 308 |1382 | 0 | 31k| 0 |1406 | 21 | 0.000000e+00 | -- | Inf | 13.38%
22.99/23.13 c 23.1s| 10200 | 61 |242831 | 21.5 | 90M | 33 | 308 |1391 | 708 | 31k| 0 |1429 | 21 | 0.000000e+00 | -- | Inf | 13.56%
23.18/23.32 c 23.3s| 10300 | 65 |245228 | 21.5 | 90M | 33 | 308 |1387 | 706 | 32k| 0 |1433 | 21 | 0.000000e+00 | -- | Inf | 13.64%
23.28/23.41 c 23.4s| 10400 | 63 |246859 | 21.4 | 90M | 33 | 308 |1389 | 706 | 32k| 1 |1438 | 21 | 0.000000e+00 | -- | Inf | 13.65%
23.48/23.67 c 23.7s| 10500 | 65 |250510 | 21.6 | 90M | 33 | 308 |1382 | 839 | 33k| 0 |1443 | 21 | 0.000000e+00 | -- | Inf | 14.14%
23.68/23.84 c 23.8s| 10600 | 65 |252846 | 21.6 | 90M | 33 | 308 |1381 | 729 | 33k| 2 |1449 | 21 | 0.000000e+00 | -- | Inf | 14.24%
23.88/24.02 c 24.0s| 10700 | 67 |255575 | 21.6 | 90M | 33 | 308 |1381 | 834 | 33k| 1 |1464 | 21 | 0.000000e+00 | -- | Inf | 14.44%
23.88/24.09 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
23.88/24.09 c 24.1s| 10800 | 65 |256780 | 21.6 | 90M | 33 | 308 |1381 | 838 | 33k| 1 |1468 | 21 | 0.000000e+00 | -- | Inf | 14.44%
23.98/24.18 c 24.2s| 10900 | 65 |258458 | 21.5 | 90M | 33 | 308 |1383 | 836 | 33k| 1 |1474 | 21 | 0.000000e+00 | -- | Inf | 14.44%
24.08/24.26 c 24.3s| 11000 | 63 |259907 | 21.5 | 90M | 33 | 308 |1388 | 841 | 34k| 1 |1486 | 21 | 0.000000e+00 | -- | Inf | 14.44%
24.18/24.33 c 24.3s| 11100 | 63 |261145 | 21.4 | 90M | 33 | 308 |1385 | 852 | 34k| 1 |1490 | 21 | 0.000000e+00 | -- | Inf | 14.44%
24.38/24.57 c 24.6s| 11200 | 69 |262991 | 21.4 | 90M | 35 | 308 |1383 | 695 | 34k| 2 |1502 | 21 | 0.000000e+00 | -- | Inf | 14.73%
24.58/24.73 c 24.7s| 11300 | 67 |265031 | 21.4 | 90M | 35 | 308 |1378 | 704 | 34k| 2 |1506 | 21 | 0.000000e+00 | -- | Inf | 14.83%
24.68/24.88 c 24.9s| 11400 | 67 |267024 | 21.3 | 90M | 35 | 308 |1375 | 718 | 35k| 2 |1510 | 21 | 0.000000e+00 | -- | Inf | 14.87%
24.78/24.98 c 25.0s| 11500 | 67 |269257 | 21.3 | 90M | 35 | 308 |1379 | 715 | 35k| 0 |1520 | 21 | 0.000000e+00 | -- | Inf | 14.90%
24.98/25.16 c 25.2s| 11600 | 69 |271098 | 21.3 | 90M | 35 | 308 |1377 | 701 | 35k| 2 |1528 | 21 | 0.000000e+00 | -- | Inf | 14.96%
25.07/25.25 c 25.2s| 11700 | 65 |272793 | 21.3 | 90M | 35 | 308 |1376 | 709 | 35k| 0 |1537 | 21 | 0.000000e+00 | -- | Inf | 14.97%
25.37/25.58 c 25.6s| 11800 | 73 |274923 | 21.3 | 90M | 35 | 308 |1389 | 682 | 36k| 0 |1563 | 21 | 0.000000e+00 | -- | Inf | 15.26%
25.47/25.66 c 25.7s| 11900 | 73 |276327 | 21.2 | 90M | 35 | 308 |1396 | 696 | 36k| 1 |1575 | 21 | 0.000000e+00 | -- | Inf | 15.34%
25.57/25.79 c 25.8s| 12000 | 73 |277856 | 21.2 | 90M | 35 | 308 |1410 | 700 | 36k| 2 |1593 | 21 | 0.000000e+00 | -- | Inf | 15.39%
25.67/25.88 c 25.9s| 12100 | 73 |279607 | 21.2 | 90M | 35 | 308 |1413 | 694 | 36k| 0 |1603 | 21 | 0.000000e+00 | -- | Inf | 15.43%
25.88/26.09 c 26.1s| 12200 | 75 |281383 | 21.1 | 90M | 35 | 308 |1404 | 675 | 36k| 2 |1603 | 21 | 0.000000e+00 | -- | Inf | 15.53%
25.98/26.19 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
25.98/26.19 c 26.2s| 12300 | 75 |283363 | 21.1 | 90M | 35 | 308 |1406 | 693 | 37k| 2 |1607 | 21 | 0.000000e+00 | -- | Inf | 15.63%
26.17/26.32 c 26.3s| 12400 | 77 |284966 | 21.1 | 90M | 35 | 308 |1413 | 690 | 37k| 0 |1616 | 21 | 0.000000e+00 | -- | Inf | 15.68%
26.27/26.42 c 26.4s| 12500 | 79 |286787 | 21.1 | 91M | 35 | 308 |1425 | 689 | 37k| 2 |1630 | 21 | 0.000000e+00 | -- | Inf | 15.71%
26.37/26.52 c 26.5s| 12600 | 79 |288806 | 21.1 | 91M | 35 | 308 |1436 | 697 | 37k| 2 |1642 | 21 | 0.000000e+00 | -- | Inf | 15.73%
26.47/26.62 c 26.6s| 12700 | 79 |290426 | 21.0 | 91M | 35 | 308 |1436 | 731 | 38k| 1 |1644 | 21 | 0.000000e+00 | -- | Inf | 15.73%
26.57/26.73 c 26.7s| 12800 | 77 |292761 | 21.0 | 91M | 35 | 308 |1442 | 704 | 38k| 1 |1652 | 21 | 0.000000e+00 | -- | Inf | 15.73%
26.67/26.81 c 26.8s| 12900 | 77 |294351 | 21.0 | 91M | 35 | 308 |1436 | 724 | 38k| 2 |1652 | 21 | 0.000000e+00 | -- | Inf | 15.73%
26.97/27.12 c 27.1s| 13000 | 75 |296444 | 21.0 | 91M | 35 | 308 |1426 | 698 | 39k| 2 |1661 | 21 | 0.000000e+00 | -- | Inf | 15.91%
27.07/27.21 c 27.2s| 13100 | 75 |298112 | 21.0 | 91M | 35 | 308 |1434 | 717 | 39k| 1 |1675 | 21 | 0.000000e+00 | -- | Inf | 15.96%
27.17/27.30 c 27.3s| 13200 | 77 |299838 | 20.9 | 91M | 35 | 308 |1434 | 724 | 39k| 2 |1681 | 21 | 0.000000e+00 | -- | Inf | 15.97%
27.17/27.39 c 27.4s| 13300 | 75 |301516 | 20.9 | 91M | 35 | 308 |1436 | 840 | 39k| 1 |1686 | 21 | 0.000000e+00 | -- | Inf | 15.97%
27.37/27.53 c 27.5s| 13400 | 73 |303503 | 20.9 | 91M | 35 | 308 |1421 | 702 | 40k| 2 |1688 | 21 | 0.000000e+00 | -- | Inf | 16.08%
27.57/27.71 c 27.7s| 13500 | 73 |305690 | 20.9 | 91M | 35 | 308 |1410 | 724 | 40k| 0 |1690 | 21 | 0.000000e+00 | -- | Inf | 16.14%
27.67/27.80 c 27.8s| 13600 | 75 |307229 | 20.9 | 91M | 35 | 308 |1414 | 697 | 40k| 2 |1699 | 21 | 0.000000e+00 | -- | Inf | 16.17%
27.67/27.89 c 27.9s| 13700 | 75 |309007 | 20.9 | 91M | 35 | 308 |1413 | 770 | 40k| 0 |1703 | 21 | 0.000000e+00 | -- | Inf | 16.18%
27.97/28.12 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
27.97/28.12 c 28.1s| 13800 | 77 |311188 | 20.9 | 91M | 35 | 308 |1417 | 701 | 41k| 2 |1711 | 21 | 0.000000e+00 | -- | Inf | 16.29%
28.07/28.21 c 28.2s| 13900 | 79 |312948 | 20.8 | 91M | 35 | 308 |1436 | 708 | 41k| 0 |1732 | 21 | 0.000000e+00 | -- | Inf | 16.34%
28.07/28.29 c 28.3s| 14000 | 77 |314643 | 20.8 | 91M | 35 | 308 |1435 | 721 | 41k| 1 |1734 | 21 | 0.000000e+00 | -- | Inf | 16.36%
28.16/28.38 c 28.4s| 14100 | 77 |316214 | 20.8 | 91M | 35 | 308 |1439 | 0 | 41k| 0 |1738 | 21 | 0.000000e+00 | -- | Inf | 16.36%
28.26/28.47 c 28.5s| 14200 | 79 |318171 | 20.8 | 91M | 35 | 308 |1444 | 713 | 42k| 2 |1747 | 21 | 0.000000e+00 | -- | Inf | 16.37%
28.36/28.56 c 28.6s| 14300 | 79 |319822 | 20.7 | 91M | 35 | 308 |1444 | 717 | 42k| 0 |1749 | 21 | 0.000000e+00 | -- | Inf | 16.37%
28.46/28.64 c 28.6s| 14400 | 75 |321359 | 20.7 | 91M | 36 | 308 |1439 | 905 | 42k| 0 |1751 | 21 | 0.000000e+00 | -- | Inf | 16.38%
28.66/28.87 c 28.9s| 14500 | 75 |324005 | 20.8 | 91M | 36 | 308 |1441 | 720 | 42k| 2 |1757 | 21 | 0.000000e+00 | -- | Inf | 16.58%
28.87/29.03 c 29.0s| 14600 | 77 |325433 | 20.7 | 91M | 36 | 308 |1452 | 699 | 42k| 2 |1769 | 21 | 0.000000e+00 | -- | Inf | 16.65%
29.06/29.27 c 29.3s| 14700 | 83 |327187 | 20.7 | 91M | 36 | 308 |1453 | 682 | 43k| 2 |1780 | 21 | 0.000000e+00 | -- | Inf | 16.70%
29.16/29.36 c 29.4s| 14800 | 83 |328938 | 20.7 | 91M | 36 | 308 |1452 | 698 | 43k| 2 |1786 | 21 | 0.000000e+00 | -- | Inf | 16.73%
29.36/29.52 c 29.5s| 14900 | 81 |330696 | 20.7 | 91M | 36 | 308 |1448 | 695 | 43k| 2 |1795 | 21 | 0.000000e+00 | -- | Inf | 16.81%
29.46/29.60 c 29.6s| 15000 | 81 |332024 | 20.6 | 91M | 36 | 308 |1447 | 704 | 43k| 1 |1799 | 21 | 0.000000e+00 | -- | Inf | 16.83%
29.46/29.69 c 29.7s| 15100 | 79 |333585 | 20.6 | 91M | 36 | 308 |1442 | 693 | 43k| 1 |1806 | 21 | 0.000000e+00 | -- | Inf | 16.84%
29.56/29.78 c 29.8s| 15200 | 83 |335321 | 20.6 | 91M | 36 | 308 |1438 | 688 | 44k| 0 |1816 | 21 | 0.000000e+00 | -- | Inf | 16.86%
29.66/29.88 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
29.66/29.88 c 29.9s| 15300 | 81 |337165 | 20.5 | 91M | 36 | 308 |1438 | 755 | 44k| 2 |1825 | 21 | 0.000000e+00 | -- | Inf | 16.87%
29.76/29.97 c 30.0s| 15400 | 83 |338947 | 20.5 | 91M | 36 | 308 |1432 | 0 | 44k| 0 |1829 | 21 | 0.000000e+00 | -- | Inf | 16.88%
29.86/30.07 c 30.1s| 15500 | 83 |340922 | 20.5 | 91M | 36 | 308 |1423 | 720 | 44k| 2 |1833 | 21 | 0.000000e+00 | -- | Inf | 16.88%
30.26/30.43 c 30.4s| 15600 | 83 |344290 | 20.6 | 91M | 36 | 308 |1415 | 724 | 45k| 1 |1837 | 21 | 0.000000e+00 | -- | Inf | 17.06%
30.36/30.56 c 30.6s| 15700 | 81 |347173 | 20.6 | 91M | 36 | 308 |1404 | 720 | 45k| 2 |1843 | 21 | 0.000000e+00 | -- | Inf | 17.08%
30.56/30.76 c 30.8s| 15800 | 81 |350056 | 20.7 | 91M | 36 | 308 |1406 | 728 | 46k| 2 |1857 | 21 | 0.000000e+00 | -- | Inf | 17.15%
30.66/30.87 c 30.9s| 15900 | 81 |352472 | 20.7 | 91M | 36 | 308 |1402 | 781 | 46k| 0 |1867 | 21 | 0.000000e+00 | -- | Inf | 17.17%
30.76/30.97 c 31.0s| 16000 | 79 |354583 | 20.7 | 91M | 36 | 308 |1400 | 0 | 46k| 0 |1875 | 21 | 0.000000e+00 | -- | Inf | 17.18%
31.06/31.25 c 31.2s| 16100 | 89 |358633 | 20.8 | 91M | 36 | 308 |1387 | 722 | 47k| 2 |1880 | 21 | 0.000000e+00 | -- | Inf | 17.45%
31.26/31.46 c 31.5s| 16200 | 85 |361151 | 20.9 | 91M | 36 | 308 |1380 | 770 | 47k| 0 |1884 | 21 | 0.000000e+00 | -- | Inf | 17.51%
31.45/31.67 c 31.7s| 16300 | 89 |364691 | 20.9 | 91M | 36 | 308 |1358 | 702 | 47k| 2 |1893 | 21 | 0.000000e+00 | -- | Inf | 17.59%
31.55/31.77 c 31.8s| 16400 | 85 |366645 | 20.9 | 91M | 36 | 308 |1346 | 723 | 48k| 2 |1895 | 21 | 0.000000e+00 | -- | Inf | 17.66%
31.86/32.04 c 32.0s| 16500 | 87 |368878 | 20.9 | 91M | 36 | 308 |1331 | 711 | 48k| 2 |1895 | 21 | 0.000000e+00 | -- | Inf | 17.70%
31.96/32.15 c 32.1s| 16600 | 87 |371438 | 21.0 | 91M | 36 | 308 |1316 | 726 | 48k| 2 |1899 | 21 | 0.000000e+00 | -- | Inf | 17.78%
32.05/32.27 c 32.3s| 16700 | 83 |374128 | 21.0 | 91M | 36 | 308 |1301 | 720 | 49k| 2 |1901 | 21 | 0.000000e+00 | -- | Inf | 17.84%
32.35/32.51 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
32.35/32.51 c 32.5s| 16800 | 85 |377614 | 21.1 | 91M | 36 | 308 |1288 | 743 | 49k| 1 |1905 | 21 | 0.000000e+00 | -- | Inf | 17.92%
32.45/32.65 c 32.6s| 16900 | 83 |381376 | 21.2 | 91M | 36 | 308 |1269 | 742 | 50k| 2 |1906 | 21 | 0.000000e+00 | -- | Inf | 17.96%
32.65/32.85 c 32.8s| 17000 | 89 |383733 | 21.2 | 91M | 36 | 308 |1259 | 687 | 50k| 2 |1906 | 21 | 0.000000e+00 | -- | Inf | 18.00%
32.75/32.93 c 32.9s| 17100 | 93 |385128 | 21.1 | 91M | 36 | 308 |1269 | 706 | 50k| 0 |1922 | 21 | 0.000000e+00 | -- | Inf | 18.01%
32.86/33.01 c 33.0s| 17200 | 85 |386657 | 21.1 | 91M | 36 | 308 |1271 | 721 | 50k| 0 |1936 | 21 | 0.000000e+00 | -- | Inf | 18.06%
32.95/33.19 c 33.2s| 17300 | 85 |388323 | 21.1 | 91M | 36 | 308 |1262 | 689 | 51k| 2 |1945 | 21 | 0.000000e+00 | -- | Inf | 18.09%
33.05/33.29 c 33.3s| 17400 | 85 |390368 | 21.1 | 91M | 37 | 308 |1262 | 721 | 51k| 2 |1955 | 21 | 0.000000e+00 | -- | Inf | 18.13%
33.35/33.50 c 33.5s| 17500 | 87 |392906 | 21.1 | 91M | 37 | 308 |1267 | 689 | 51k| 2 |1971 | 21 | 0.000000e+00 | -- | Inf | 18.22%
33.45/33.61 c 33.6s| 17600 | 85 |395233 | 21.1 | 91M | 37 | 308 |1265 | 713 | 52k| 2 |1977 | 21 | 0.000000e+00 | -- | Inf | 18.24%
33.65/33.87 c 33.9s| 17700 | 89 |397958 | 21.2 | 91M | 37 | 308 |1268 | 726 | 52k| 0 |1989 | 21 | 0.000000e+00 | -- | Inf | 18.32%
33.75/33.97 c 34.0s| 17800 | 85 |400094 | 21.2 | 91M | 37 | 308 |1281 | 706 | 52k| 2 |2012 | 21 | 0.000000e+00 | -- | Inf | 18.35%
33.85/34.04 c 34.0s| 17900 | 85 |401224 | 21.1 | 91M | 37 | 308 |1290 | 897 | 52k| 1 |2026 | 21 | 0.000000e+00 | -- | Inf | 18.36%
33.95/34.18 c 34.2s| 18000 | 87 |402781 | 21.1 | 91M | 37 | 308 |1290 | 700 | 53k| 0 |2033 | 21 | 0.000000e+00 | -- | Inf | 18.39%
34.05/34.28 c 34.3s| 18100 | 89 |404718 | 21.1 | 91M | 37 | 308 |1288 | 709 | 53k| 0 |2039 | 21 | 0.000000e+00 | -- | Inf | 18.44%
34.15/34.37 c 34.4s| 18200 | 89 |406207 | 21.0 | 91M | 37 | 308 |1289 | 703 | 53k| 2 |2043 | 21 | 0.000000e+00 | -- | Inf | 18.44%
34.35/34.51 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
34.35/34.51 c 34.5s| 18300 | 87 |407804 | 21.0 | 91M | 37 | 308 |1292 | 672 | 53k| 1 |2049 | 21 | 0.000000e+00 | -- | Inf | 18.47%
34.45/34.62 c 34.6s| 18400 | 89 |410141 | 21.0 | 91M | 37 | 308 |1302 | 721 | 54k| 0 |2061 | 21 | 0.000000e+00 | -- | Inf | 18.53%
34.54/34.72 c 34.7s| 18500 | 89 |412236 | 21.0 | 91M | 37 | 308 |1302 | 706 | 54k| 0 |2063 | 21 | 0.000000e+00 | -- | Inf | 18.54%
34.64/34.80 c 34.8s| 18600 | 87 |413793 | 21.0 | 91M | 37 | 308 |1304 | 697 | 54k| 1 |2065 | 21 | 0.000000e+00 | -- | Inf | 18.54%
34.74/34.96 c 35.0s| 18700 | 87 |415611 | 21.0 | 91M | 37 | 308 |1302 | 680 | 54k| 2 |2071 | 21 | 0.000000e+00 | -- | Inf | 18.56%
34.85/35.06 c 35.1s| 18800 | 89 |417679 | 21.0 | 91M | 37 | 308 |1299 | 697 | 55k| 2 |2073 | 21 | 0.000000e+00 | -- | Inf | 18.62%
34.95/35.16 c 35.2s| 18900 | 87 |419603 | 21.0 | 91M | 37 | 308 |1297 | 688 | 55k| 2 |2075 | 21 | 0.000000e+00 | -- | Inf | 18.64%
35.04/35.25 c 35.2s| 19000 | 85 |421205 | 20.9 | 91M | 37 | 308 |1298 | 714 | 55k| 1 |2077 | 21 | 0.000000e+00 | -- | Inf | 18.65%
35.14/35.36 c 35.4s| 19100 | 85 |423295 | 20.9 | 91M | 37 | 308 |1292 | 720 | 56k| 2 |2082 | 21 | 0.000000e+00 | -- | Inf | 18.66%
35.24/35.46 c 35.5s| 19200 | 85 |425399 | 20.9 | 91M | 37 | 308 |1288 | 786 | 56k| 1 |2082 | 21 | 0.000000e+00 | -- | Inf | 18.67%
35.34/35.53 c 35.5s| 19300 | 87 |426863 | 20.9 | 91M | 37 | 308 |1290 | 786 | 56k| 0 |2086 | 21 | 0.000000e+00 | -- | Inf | 18.67%
35.44/35.61 c 35.6s| 19400 | 85 |428412 | 20.9 | 91M | 37 | 308 |1293 | 705 | 56k| 2 |2094 | 21 | 0.000000e+00 | -- | Inf | 18.67%
35.54/35.76 c 35.8s| 19500 | 83 |430506 | 20.9 | 91M | 37 | 308 |1297 | 702 | 56k| 2 |2109 | 21 | 0.000000e+00 | -- | Inf | 18.76%
35.64/35.85 c 35.8s| 19600 | 81 |432252 | 20.9 | 91M | 37 | 308 |1293 | 708 | 57k| 2 |2120 | 21 | 0.000000e+00 | -- | Inf | 18.79%
35.85/36.01 c 36.0s| 19700 | 81 |434777 | 20.9 | 91M | 37 | 308 |1292 | 725 | 57k| 1 |2135 | 21 | 0.000000e+00 | -- | Inf | 19.00%
36.14/36.35 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
36.14/36.35 c 36.3s| 19800 | 83 |436941 | 20.9 | 91M | 37 | 308 |1317 | 703 | 57k| 0 |2171 | 21 | 0.000000e+00 | -- | Inf | 19.25%
36.24/36.44 c 36.4s| 19900 | 83 |438985 | 20.9 | 91M | 37 | 308 |1319 | 901 | 58k| 1 |2175 | 21 | 0.000000e+00 | -- | Inf | 19.30%
36.54/36.71 c 36.7s| 20000 | 81 |441189 | 20.9 | 91M | 37 | 308 |1315 | 696 | 58k| 0 |2186 | 21 | 0.000000e+00 | -- | Inf | 19.42%
36.84/37.03 c 37.0s| 20100 | 85 |444565 | 21.0 | 91M | 37 | 308 |1304 | 720 | 58k| 0 |2195 | 21 | 0.000000e+00 | -- | Inf | 20.15%
37.14/37.30 c 37.3s| 20200 | 85 |448157 | 21.0 | 92M | 37 | 308 |1300 | 702 | 59k| 0 |2202 | 21 | 0.000000e+00 | -- | Inf | 20.35%
37.24/37.48 c 37.5s| 20300 | 87 |450324 | 21.0 | 92M | 37 | 308 |1299 | 716 | 59k| 2 |2204 | 21 | 0.000000e+00 | -- | Inf | 20.50%
37.34/37.57 c 37.6s| 20400 | 85 |451959 | 21.0 | 92M | 37 | 308 |1297 | 734 | 59k| 1 |2204 | 21 | 0.000000e+00 | -- | Inf | 20.54%
37.44/37.66 c 37.7s| 20500 | 83 |453645 | 21.0 | 92M | 37 | 308 |1296 | 900 | 59k| 1 |2208 | 21 | 0.000000e+00 | -- | Inf | 20.55%
37.63/37.83 c 37.8s| 20600 | 87 |455441 | 21.0 | 92M | 37 | 308 |1295 | 702 | 60k| 2 |2216 | 21 | 0.000000e+00 | -- | Inf | 20.58%
37.73/37.91 c 37.9s| 20700 | 89 |457048 | 21.0 | 92M | 37 | 308 |1291 | 695 | 60k| 2 |2218 | 21 | 0.000000e+00 | -- | Inf | 20.59%
37.84/38.01 c 38.0s| 20800 | 89 |458696 | 20.9 | 92M | 37 | 308 |1290 | 698 | 60k| 2 |2219 | 21 | 0.000000e+00 | -- | Inf | 20.59%
37.84/38.09 c 38.1s| 20900 | 87 |460135 | 20.9 | 92M | 37 | 308 |1286 | 698 | 60k| 2 |2219 | 21 | 0.000000e+00 | -- | Inf | 20.60%
37.94/38.18 c 38.2s| 21000 | 89 |461794 | 20.9 | 92M | 37 | 308 |1285 | 715 | 61k| 2 |2223 | 21 | 0.000000e+00 | -- | Inf | 20.60%
38.03/38.26 c 38.3s| 21100 | 87 |463181 | 20.9 | 92M | 37 | 308 |1286 | 722 | 61k| 0 |2227 | 21 | 0.000000e+00 | -- | Inf | 20.60%
38.13/38.34 c 38.3s| 21200 | 83 |464568 | 20.8 | 92M | 37 | 308 |1285 | 729 | 61k| 0 |2234 | 21 | 0.000000e+00 | -- | Inf | 20.61%
38.23/38.48 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
38.23/38.48 c 38.5s| 21300 | 79 |466989 | 20.8 | 92M | 37 | 308 |1280 | 939 | 61k| 0 |2240 | 21 | 0.000000e+00 | -- | Inf | 20.71%
38.43/38.68 c 38.7s| 21400 | 83 |469445 | 20.9 | 92M | 37 | 308 |1275 | 720 | 62k| 2 |2243 | 21 | 0.000000e+00 | -- | Inf | 20.75%
38.53/38.75 c 38.7s| 21500 | 83 |470843 | 20.8 | 92M | 37 | 308 |1278 | 0 | 62k| 0 |2253 | 21 | 0.000000e+00 | -- | Inf | 20.76%
38.63/38.83 c 38.8s| 21600 | 81 |472452 | 20.8 | 92M | 37 | 308 |1278 | 725 | 62k| 0 |2259 | 21 | 0.000000e+00 | -- | Inf | 20.76%
38.73/38.94 c 38.9s| 21700 | 83 |474682 | 20.8 | 92M | 37 | 308 |1271 | 719 | 62k| 2 |2265 | 21 | 0.000000e+00 | -- | Inf | 20.79%
38.84/39.06 c 39.1s| 21800 | 81 |477275 | 20.8 | 92M | 37 | 308 |1267 | 904 | 63k| 0 |2271 | 21 | 0.000000e+00 | -- | Inf | 20.81%
38.93/39.17 c 39.2s| 21900 | 83 |479615 | 20.8 | 94M | 37 | 308 |1275 | 722 | 63k| 0 |2284 | 21 | 0.000000e+00 | -- | Inf | 20.82%
39.03/39.25 c 39.2s| 22000 | 83 |481030 | 20.8 | 94M | 37 | 308 |1279 | 723 | 63k| 0 |2290 | 21 | 0.000000e+00 | -- | Inf | 20.82%
39.13/39.35 c 39.3s| 22100 | 83 |482939 | 20.8 | 94M | 37 | 308 |1281 | 719 | 64k| 0 |2294 | 21 | 0.000000e+00 | -- | Inf | 20.82%
39.23/39.43 c 39.4s| 22200 | 83 |484663 | 20.8 | 94M | 37 | 308 |1281 | 717 | 64k| 1 |2302 | 21 | 0.000000e+00 | -- | Inf | 20.82%
39.33/39.52 c 39.5s| 22300 | 83 |486379 | 20.8 | 94M | 37 | 308 |1281 | 730 | 64k| 2 |2307 | 21 | 0.000000e+00 | -- | Inf | 20.83%
39.43/39.60 c 39.6s| 22400 | 83 |488079 | 20.8 | 94M | 37 | 308 |1289 | 743 | 64k| 0 |2315 | 21 | 0.000000e+00 | -- | Inf | 20.83%
39.43/39.70 c 39.7s| 22500 | 83 |489964 | 20.7 | 94M | 37 | 308 |1294 | 697 | 64k| 0 |2327 | 21 | 0.000000e+00 | -- | Inf | 20.83%
39.53/39.78 c 39.8s| 22600 | 83 |491709 | 20.7 | 94M | 37 | 308 |1295 | 683 | 65k| 1 |2331 | 21 | 0.000000e+00 | -- | Inf | 20.85%
39.63/39.86 c 39.9s| 22700 | 85 |493250 | 20.7 | 94M | 37 | 308 |1295 | 748 | 65k| 1 |2332 | 21 | 0.000000e+00 | -- | Inf | 20.85%
39.73/39.95 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
39.73/39.95 c 39.9s| 22800 | 83 |495008 | 20.7 | 94M | 37 | 308 |1297 | 716 | 65k| 0 |2336 | 21 | 0.000000e+00 | -- | Inf | 20.86%
39.83/40.04 c 40.0s| 22900 | 83 |497018 | 20.7 | 94M | 37 | 308 |1305 | 713 | 65k| 1 |2346 | 21 | 0.000000e+00 | -- | Inf | 20.87%
39.93/40.15 c 40.1s| 23000 | 83 |499302 | 20.7 | 94M | 37 | 308 |1300 | 723 | 66k| 2 |2356 | 21 | 0.000000e+00 | -- | Inf | 20.89%
40.03/40.24 c 40.2s| 23100 | 83 |501099 | 20.7 | 94M | 37 | 308 |1295 | 714 | 66k| 2 |2361 | 21 | 0.000000e+00 | -- | Inf | 20.90%
40.13/40.33 c 40.3s| 23200 | 83 |503133 | 20.7 | 94M | 37 | 308 |1299 | 723 | 66k| 2 |2376 | 21 | 0.000000e+00 | -- | Inf | 20.90%
40.22/40.42 c 40.4s| 23300 | 87 |504773 | 20.7 | 94M | 37 | 308 |1319 | 730 | 67k| 2 |2397 | 21 | 0.000000e+00 | -- | Inf | 20.91%
40.32/40.50 c 40.5s| 23400 | 85 |506292 | 20.7 | 94M | 37 | 308 |1336 | 705 | 67k| 1 |2419 | 21 | 0.000000e+00 | -- | Inf | 20.91%
40.42/40.67 c 40.7s| 23500 | 91 |508147 | 20.6 | 94M | 37 | 308 |1338 | 674 | 67k| 2 |2434 | 21 | 0.000000e+00 | -- | Inf | 20.93%
40.52/40.76 c 40.8s| 23600 | 89 |509871 | 20.6 | 94M | 37 | 308 |1342 | 707 | 67k| 1 |2446 | 21 | 0.000000e+00 | -- | Inf | 20.99%
40.62/40.87 c 40.9s| 23700 | 89 |511696 | 20.6 | 94M | 37 | 308 |1370 | 856 | 68k| 2 |2479 | 21 | 0.000000e+00 | -- | Inf | 21.01%
40.72/40.94 c 40.9s| 23800 | 87 |512939 | 20.6 | 94M | 37 | 308 |1399 | 0 | 68k| 0 |2508 | 21 | 0.000000e+00 | -- | Inf | 21.01%
40.93/41.11 c 41.1s| 23900 | 91 |514721 | 20.6 | 94M | 37 | 308 |1388 | 732 | 68k| 0 |2517 | 21 | 0.000000e+00 | -- | Inf | 21.05%
40.93/41.19 c 41.2s| 24000 | 89 |515939 | 20.5 | 94M | 37 | 308 |1393 | 742 | 68k| 2 |2527 | 21 | 0.000000e+00 | -- | Inf | 21.05%
41.12/41.30 c 41.3s| 24100 | 93 |517979 | 20.5 | 94M | 37 | 308 |1395 | 719 | 69k| 2 |2538 | 21 | 0.000000e+00 | -- | Inf | 21.06%
41.12/41.39 c 41.4s| 24200 | 89 |519629 | 20.5 | 94M | 37 | 308 |1395 | 725 | 69k| 0 |2542 | 21 | 0.000000e+00 | -- | Inf | 21.06%
41.32/41.56 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
41.32/41.56 c 41.6s| 24300 | 91 |521378 | 20.5 | 94M | 37 | 308 |1388 | 725 | 69k| 0 |2551 | 21 | 0.000000e+00 | -- | Inf | 21.14%
41.52/41.78 c 41.8s| 24400 | 89 |524540 | 20.6 | 94M | 37 | 308 |1382 | 709 | 69k| 1 |2562 | 21 | 0.000000e+00 | -- | Inf | 21.20%
41.62/41.88 c 41.9s| 24500 | 93 |526513 | 20.6 | 94M | 37 | 308 |1373 | 729 | 70k| 2 |2565 | 21 | 0.000000e+00 | -- | Inf | 21.23%
41.72/41.98 c 42.0s| 24600 | 91 |528096 | 20.5 | 94M | 37 | 308 |1370 | 710 | 70k| 2 |2569 | 21 | 0.000000e+00 | -- | Inf | 21.23%
41.92/42.12 c 42.1s| 24700 | 87 |530639 | 20.6 | 94M | 37 | 308 |1359 | 724 | 70k| 2 |2576 | 21 | 0.000000e+00 | -- | Inf | 21.33%
42.02/42.29 c 42.3s| 24800 | 89 |532062 | 20.5 | 94M | 37 | 308 |1352 | 697 | 71k| 2 |2578 | 21 | 0.000000e+00 | -- | Inf | 21.36%
42.12/42.38 c 42.4s| 24900 | 89 |533767 | 20.5 | 94M | 37 | 308 |1344 | 708 | 71k| 0 |2578 | 21 | 0.000000e+00 | -- | Inf | 21.39%
42.22/42.47 c 42.5s| 25000 | 89 |535551 | 20.5 | 94M | 37 | 308 |1345 | 696 | 71k| 2 |2584 | 21 | 0.000000e+00 | -- | Inf | 21.41%
42.42/42.64 c 42.6s| 25100 | 95 |538026 | 20.5 | 94M | 37 | 308 |1328 | 697 | 72k| 0 |2584 | 21 | 0.000000e+00 | -- | Inf | 21.57%
42.62/42.89 c 42.9s| 25200 | 93 |539774 | 20.5 | 94M | 37 | 308 |1331 | 706 | 72k| 2 |2595 | 21 | 0.000000e+00 | -- | Inf | 21.71%
42.82/43.06 c 43.1s| 25300 | 97 |541553 | 20.5 | 94M | 37 | 308 |1334 | 698 | 72k| 1 |2609 | 21 | 0.000000e+00 | -- | Inf | 21.86%
43.22/43.41 c 43.4s| 25400 | 95 |544594 | 20.5 | 94M | 37 | 308 |1325 | 737 | 72k| 2 |2609 | 21 | 0.000000e+00 | -- | Inf | 22.14%
43.32/43.57 c 43.6s| 25500 | 97 |546631 | 20.5 | 94M | 37 | 308 |1321 | 714 | 73k| 0 |2611 | 21 | 0.000000e+00 | -- | Inf | 22.27%
43.41/43.67 c 43.7s| 25600 | 97 |548358 | 20.5 | 94M | 37 | 308 |1315 | 728 | 73k| 2 |2611 | 21 | 0.000000e+00 | -- | Inf | 22.28%
43.61/43.86 c 43.9s| 25700 | 99 |551215 | 20.6 | 94M | 37 | 308 |1309 | 717 | 73k| 2 |2616 | 21 | 0.000000e+00 | -- | Inf | 22.57%
43.82/44.06 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
43.82/44.06 c 44.1s| 25800 | 97 |553720 | 20.6 | 94M | 37 | 308 |1304 | 709 | 74k| 2 |2619 | 21 | 0.000000e+00 | -- | Inf | 22.62%
44.01/44.29 c 44.3s| 25900 | 97 |557247 | 20.6 | 94M | 37 | 308 |1296 | 697 | 74k| 2 |2626 | 21 | 0.000000e+00 | -- | Inf | 22.70%
44.21/44.44 c 44.4s| 26000 | 95 |559097 | 20.6 | 94M | 37 | 308 |1287 | 736 | 74k| 2 |2626 | 21 | 0.000000e+00 | -- | Inf | 22.75%
44.31/44.55 c 44.5s| 26100 | 95 |561357 | 20.6 | 94M | 37 | 308 |1276 | 729 | 75k| 1 |2626 | 21 | 0.000000e+00 | -- | Inf | 22.85%
44.41/44.67 c 44.7s| 26200 | 97 |563952 | 20.6 | 94M | 37 | 308 |1271 | 729 | 75k| 0 |2632 | 21 | 0.000000e+00 | -- | Inf | 22.86%
44.61/44.80 c 44.8s| 26300 | 97 |566827 | 20.7 | 94M | 37 | 308 |1266 | 700 | 76k| 2 |2634 | 21 | 0.000000e+00 | -- | Inf | 22.87%
44.71/44.92 c 44.9s| 26400 | 95 |569086 | 20.7 | 94M | 37 | 308 |1264 | 662 | 76k| 1 |2638 | 21 | 0.000000e+00 | -- | Inf | 22.87%
44.82/45.02 c 45.0s| 26500 | 95 |571217 | 20.7 | 94M | 37 | 308 |1262 | 731 | 76k| 1 |2643 | 21 | 0.000000e+00 | -- | Inf | 22.90%
45.01/45.22 c 45.2s| 26600 | 95 |573959 | 20.7 | 94M | 37 | 308 |1260 | 724 | 77k| 2 |2645 | 21 | 0.000000e+00 | -- | Inf | 22.98%
45.21/45.44 c 45.4s| 26700 | 95 |577400 | 20.8 | 94M | 37 | 308 |1252 | 755 | 77k| 0 |2660 | 21 | 0.000000e+00 | -- | Inf | 23.03%
45.31/45.54 c 45.5s| 26800 | 95 |579280 | 20.8 | 94M | 37 | 308 |1255 | 698 | 78k| 2 |2667 | 21 | 0.000000e+00 | -- | Inf | 23.04%
45.41/45.65 c 45.6s| 26900 | 97 |581299 | 20.8 | 94M | 37 | 308 |1242 | 707 | 78k| 2 |2669 | 21 | 0.000000e+00 | -- | Inf | 23.04%
45.51/45.73 c 45.7s| 27000 | 95 |583070 | 20.7 | 94M | 37 | 308 |1241 | 720 | 78k| 2 |2669 | 21 | 0.000000e+00 | -- | Inf | 23.04%
45.61/45.82 c 45.8s| 27100 | 97 |584895 | 20.7 | 94M | 38 | 308 |1237 | 715 | 78k| 2 |2669 | 21 | 0.000000e+00 | -- | Inf | 23.05%
45.71/45.93 c 45.9s| 27200 | 93 |587052 | 20.7 | 94M | 38 | 308 |1239 | 712 | 79k| 1 |2675 | 21 | 0.000000e+00 | -- | Inf | 23.06%
45.81/46.03 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
45.81/46.03 c 46.0s| 27300 | 95 |589365 | 20.7 | 94M | 38 | 308 |1232 | 737 | 79k| 0 |2681 | 21 | 0.000000e+00 | -- | Inf | 23.06%
45.91/46.12 c 46.1s| 27400 | 97 |591141 | 20.7 | 94M | 38 | 308 |1232 | 713 | 79k| 0 |2682 | 21 | 0.000000e+00 | -- | Inf | 23.06%
46.01/46.21 c 46.2s| 27500 | 99 |592861 | 20.7 | 94M | 38 | 308 |1229 | 746 | 80k| 2 |2682 | 21 | 0.000000e+00 | -- | Inf | 23.07%
46.11/46.30 c 46.3s| 27600 | 99 |594637 | 20.7 | 95M | 38 | 308 |1259 | 835 | 80k| 0 |2716 | 21 | 0.000000e+00 | -- | Inf | 23.07%
46.11/46.38 c 46.4s| 27700 | 95 |596298 | 20.7 | 95M | 38 | 308 |1275 | 749 | 80k| 0 |2734 | 21 | 0.000000e+00 | -- | Inf | 23.07%
46.21/46.46 c 46.5s| 27800 | 97 |598057 | 20.7 | 95M | 38 | 308 |1281 | 0 | 80k| 0 |2742 | 21 | 0.000000e+00 | -- | Inf | 23.07%
46.31/46.54 c 46.5s| 27900 | 97 |599780 | 20.7 | 95M | 38 | 308 |1286 | 747 | 80k| 0 |2755 | 21 | 0.000000e+00 | -- | Inf | 23.07%
46.50/46.73 c 46.7s| 28000 | 101 |602296 | 20.7 | 95M | 38 | 308 |1287 | 0 | 80k| 0 |2776 | 21 | 0.000000e+00 | -- | Inf | 23.13%
46.60/46.83 c 46.8s| 28100 | 99 |604395 | 20.7 | 95M | 38 | 308 |1290 | 714 | 80k| 0 |2786 | 21 | 0.000000e+00 | -- | Inf | 23.16%
46.70/46.97 c 47.0s| 28200 | 103 |606817 | 20.7 | 95M | 38 | 308 |1297 | 746 | 81k| 0 |2794 | 21 | 0.000000e+00 | -- | Inf | 23.24%
46.81/47.06 c 47.1s| 28300 | 103 |608459 | 20.7 | 95M | 38 | 308 |1301 | 711 | 81k| 2 |2798 | 21 | 0.000000e+00 | -- | Inf | 23.25%
46.91/47.14 c 47.1s| 28400 | 103 |610116 | 20.7 | 95M | 38 | 308 |1304 | 717 | 81k| 1 |2804 | 21 | 0.000000e+00 | -- | Inf | 23.26%
47.00/47.21 c 47.2s| 28500 | 103 |611458 | 20.6 | 95M | 38 | 308 |1299 | 721 | 81k| 1 |2804 | 21 | 0.000000e+00 | -- | Inf | 23.26%
47.00/47.29 c 47.3s| 28600 | 101 |612883 | 20.6 | 95M | 38 | 308 |1301 | 727 | 81k| 2 |2816 | 21 | 0.000000e+00 | -- | Inf | 23.26%
47.10/47.39 c 47.4s| 28700 | 99 |615075 | 20.6 | 95M | 38 | 308 |1296 | 708 | 82k| 2 |2821 | 21 | 0.000000e+00 | -- | Inf | 23.27%
47.40/47.60 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
47.40/47.60 c 47.6s| 28800 | 101 |616849 | 20.6 | 95M | 38 | 308 |1285 | 699 | 82k| 2 |2824 | 21 | 0.000000e+00 | -- | Inf | 23.30%
47.40/47.68 c 47.7s| 28900 | 101 |618395 | 20.6 | 95M | 38 | 308 |1282 | 776 | 82k| 2 |2832 | 21 | 0.000000e+00 | -- | Inf | 23.32%
47.50/47.76 c 47.8s| 29000 | 101 |620043 | 20.6 | 95M | 38 | 308 |1276 | 796 | 82k| 0 |2840 | 21 | 0.000000e+00 | -- | Inf | 23.35%
47.60/47.84 c 47.8s| 29100 | 99 |621579 | 20.6 | 95M | 38 | 308 |1269 | 0 | 82k| 0 |2844 | 21 | 0.000000e+00 | -- | Inf | 23.37%
47.81/48.00 c 48.0s| 29200 | 101 |623692 | 20.6 | 95M | 38 | 308 |1265 | 729 | 82k| 0 |2851 | 21 | 0.000000e+00 | -- | Inf | 23.40%
47.91/48.11 c 48.1s| 29300 | 101 |626035 | 20.6 | 95M | 38 | 308 |1250 | 711 | 83k| 2 |2851 | 21 | 0.000000e+00 | -- | Inf | 23.44%
48.00/48.20 c 48.2s| 29400 | 101 |627669 | 20.6 | 95M | 38 | 308 |1240 | 0 | 83k| 0 |2853 | 21 | 0.000000e+00 | -- | Inf | 23.45%
48.10/48.31 c 48.3s| 29500 | 101 |629773 | 20.6 | 95M | 38 | 308 |1226 | 749 | 83k| 2 |2861 | 21 | 0.000000e+00 | -- | Inf | 23.46%
48.20/48.44 c 48.4s| 29600 | 101 |632704 | 20.6 | 95M | 38 | 308 |1202 | 740 | 84k| 2 |2871 | 21 | 0.000000e+00 | -- | Inf | 23.47%
48.40/48.67 c 48.7s| 29700 | 101 |636714 | 20.7 | 95M | 38 | 308 |1181 | 710 | 84k| 1 |2884 | 21 | 0.000000e+00 | -- | Inf | 23.49%
48.50/48.74 c 48.7s| 29800 | 99 |638044 | 20.6 | 95M | 38 | 308 |1186 | 696 | 85k| 1 |2892 | 21 | 0.000000e+00 | -- | Inf | 23.56%
48.70/48.93 c 48.9s| 29900 | 101 |639860 | 20.6 | 95M | 38 | 308 |1188 | 723 | 85k| 0 |2896 | 21 | 0.000000e+00 | -- | Inf | 23.61%
48.80/49.02 c 49.0s| 30000 | 103 |641608 | 20.6 | 95M | 38 | 308 |1193 | 723 | 85k| 2 |2904 | 21 | 0.000000e+00 | -- | Inf | 23.63%
48.90/49.10 c 49.1s| 30100 | 103 |643221 | 20.6 | 95M | 38 | 308 |1201 | 701 | 85k| 2 |2912 | 21 | 0.000000e+00 | -- | Inf | 23.65%
48.90/49.19 c 49.2s| 30200 | 101 |644897 | 20.6 | 95M | 38 | 308 |1206 | 720 | 86k| 0 |2919 | 21 | 0.000000e+00 | -- | Inf | 23.66%
49.00/49.28 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
49.00/49.28 c 49.3s| 30300 | 99 |646582 | 20.6 | 95M | 38 | 308 |1197 | 728 | 86k| 0 |2927 | 21 | 0.000000e+00 | -- | Inf | 23.67%
49.10/49.36 c 49.4s| 30400 | 99 |648120 | 20.6 | 95M | 38 | 308 |1196 | 737 | 86k| 0 |2934 | 21 | 0.000000e+00 | -- | Inf | 23.67%
49.20/49.44 c 49.4s| 30500 | 103 |649897 | 20.6 | 95M | 38 | 308 |1194 | 746 | 86k| 1 |2936 | 21 | 0.000000e+00 | -- | Inf | 23.67%
49.29/49.51 c 49.5s| 30600 | 101 |651176 | 20.5 | 95M | 38 | 308 |1191 | 907 | 86k| 0 |2937 | 21 | 0.000000e+00 | -- | Inf | 23.67%
49.39/49.67 c 49.7s| 30700 | 103 |652685 | 20.5 | 95M | 38 | 308 |1178 | 769 | 86k| 0 |2941 | 21 | 0.000000e+00 | -- | Inf | 23.69%
49.49/49.77 c 49.8s| 30800 | 103 |654874 | 20.5 | 95M | 38 | 308 |1177 | 783 | 86k| 2 |2943 | 21 | 0.000000e+00 | -- | Inf | 23.73%
49.69/49.90 c 49.9s| 30900 | 101 |657093 | 20.5 | 95M | 38 | 308 |1172 | 783 | 87k| 0 |2943 | 21 | 0.000000e+00 | -- | Inf | 23.78%
49.69/50.00 c 50.0s| 31000 | 101 |659266 | 20.5 | 95M | 38 | 308 |1168 | 777 | 87k| 2 |2943 | 21 | 0.000000e+00 | -- | Inf | 23.84%
49.80/50.08 c 50.1s| 31100 | 101 |660748 | 20.5 | 95M | 38 | 308 |1161 | 727 | 87k| 2 |2950 | 21 | 0.000000e+00 | -- | Inf | 23.84%
49.90/50.17 c 50.2s| 31200 | 103 |662275 | 20.5 | 95M | 38 | 308 |1165 | 699 | 87k| 2 |2962 | 21 | 0.000000e+00 | -- | Inf | 23.86%
49.99/50.26 c 50.3s| 31300 | 101 |664065 | 20.5 | 95M | 38 | 308 |1166 | 710 | 87k| 0 |2966 | 21 | 0.000000e+00 | -- | Inf | 23.87%
50.09/50.36 c 50.4s| 31400 | 99 |666204 | 20.5 | 95M | 38 | 308 |1158 | 798 | 88k| 1 |2973 | 21 | 0.000000e+00 | -- | Inf | 23.88%
50.19/50.45 c 50.4s| 31500 | 105 |668037 | 20.5 | 95M | 38 | 308 |1155 | 706 | 88k| 1 |2973 | 21 | 0.000000e+00 | -- | Inf | 23.89%
50.29/50.54 c 50.5s| 31600 | 103 |669750 | 20.5 | 95M | 38 | 308 |1149 | 714 | 88k| 0 |2975 | 21 | 0.000000e+00 | -- | Inf | 23.89%
50.39/50.64 c 50.6s| 31700 | 99 |671878 | 20.5 | 95M | 38 | 308 |1152 | 706 | 88k| 1 |2981 | 21 | 0.000000e+00 | -- | Inf | 23.89%
50.59/50.82 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
50.59/50.82 c 50.8s| 31800 | 103 |673671 | 20.5 | 95M | 38 | 308 |1139 | 709 | 89k| 0 |2987 | 21 | 0.000000e+00 | -- | Inf | 23.97%
50.69/50.91 c 50.9s| 31900 | 101 |675603 | 20.5 | 95M | 38 | 308 |1132 | 0 | 89k| 0 |2992 | 21 | 0.000000e+00 | -- | Inf | 24.00%
50.80/51.01 c 51.0s| 32000 | 99 |677547 | 20.5 | 95M | 38 | 308 |1117 | 776 | 89k| 1 |3005 | 21 | 0.000000e+00 | -- | Inf | 24.01%
51.09/51.33 c 51.3s| 32100 | 101 |680544 | 20.5 | 95M | 38 | 308 |1117 | 708 | 90k| 0 |3008 | 21 | 0.000000e+00 | -- | Inf | 24.21%
51.19/51.45 c 51.4s| 32200 | 97 |683216 | 20.5 | 95M | 38 | 308 |1108 | 715 | 90k| 1 |3008 | 21 | 0.000000e+00 | -- | Inf | 24.28%
51.39/51.62 c 51.6s| 32300 | 99 |684990 | 20.5 | 95M | 38 | 308 |1110 | 693 | 91k| 2 |3010 | 21 | 0.000000e+00 | -- | Inf | 24.32%
51.59/51.88 c 51.9s| 32400 | 103 |688937 | 20.6 | 95M | 38 | 308 |1102 | 756 | 91k| 2 |3016 | 21 | 0.000000e+00 | -- | Inf | 24.47%
51.69/52.00 c 52.0s| 32500 | 99 |691665 | 20.6 | 95M | 38 | 308 |1094 | 768 | 92k| 0 |3024 | 21 | 0.000000e+00 | -- | Inf | 24.48%
51.89/52.15 c 52.1s| 32600 | 103 |693827 | 20.6 | 95M | 38 | 308 |1088 | 693 | 92k| 2 |3026 | 21 | 0.000000e+00 | -- | Inf | 24.55%
51.99/52.25 c 52.2s| 32700 | 107 |695663 | 20.6 | 95M | 38 | 308 |1079 | 744 | 92k| 2 |3028 | 21 | 0.000000e+00 | -- | Inf | 24.56%
52.19/52.45 c 52.4s| 32800 | 105 |698692 | 20.6 | 95M | 38 | 308 |1076 | 766 | 93k| 0 |3032 | 21 | 0.000000e+00 | -- | Inf | 24.62%
52.29/52.57 c 52.6s| 32900 | 107 |701083 | 20.6 | 95M | 38 | 308 |1064 | 723 | 93k| 0 |3032 | 21 | 0.000000e+00 | -- | Inf | 24.64%
52.39/52.67 c 52.7s| 33000 | 105 |703079 | 20.6 | 95M | 38 | 308 |1069 | 706 | 93k| 1 |3043 | 21 | 0.000000e+00 | -- | Inf | 24.64%
52.48/52.76 c 52.8s| 33100 | 107 |704456 | 20.6 | 95M | 38 | 308 |1070 | 713 | 94k| 2 |3052 | 21 | 0.000000e+00 | -- | Inf | 24.65%
52.68/52.94 c 52.9s| 33200 | 113 |705978 | 20.6 | 95M | 38 | 308 |1078 | 698 | 94k| 1 |3066 | 21 | 0.000000e+00 | -- | Inf | 24.69%
52.79/53.03 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
52.79/53.03 c 53.0s| 33300 | 109 |707612 | 20.6 | 95M | 38 | 308 |1093 | 707 | 94k| 2 |3083 | 21 | 0.000000e+00 | -- | Inf | 24.69%
52.89/53.18 c 53.2s| 33400 | 109 |709827 | 20.6 | 95M | 38 | 308 |1074 | 770 | 95k| 0 |3090 | 21 | 0.000000e+00 | -- | Inf | 24.74%
52.98/53.27 c 53.3s| 33500 | 111 |711593 | 20.6 | 95M | 38 | 308 |1070 | 705 | 95k| 1 |3095 | 21 | 0.000000e+00 | -- | Inf | 24.80%
53.08/53.35 c 53.3s| 33600 | 111 |713024 | 20.5 | 95M | 38 | 308 |1067 | 700 | 95k| 1 |3101 | 21 | 0.000000e+00 | -- | Inf | 24.81%
53.28/53.53 c 53.5s| 33700 | 111 |714446 | 20.5 | 95M | 38 | 308 |1067 | 688 | 95k| 0 |3110 | 21 | 0.000000e+00 | -- | Inf | 24.82%
53.38/53.61 c 53.6s| 33800 | 111 |715953 | 20.5 | 95M | 38 | 308 |1073 | 727 | 95k| 0 |3125 | 21 | 0.000000e+00 | -- | Inf | 24.85%
53.48/53.70 c 53.7s| 33900 | 111 |717793 | 20.5 | 95M | 38 | 308 |1071 | 698 | 96k| 2 |3129 | 21 | 0.000000e+00 | -- | Inf | 24.88%
53.48/53.78 c 53.8s| 34000 | 111 |719290 | 20.5 | 95M | 38 | 308 |1075 | 706 | 96k| 1 |3137 | 21 | 0.000000e+00 | -- | Inf | 24.89%
53.58/53.87 c 53.9s| 34100 | 107 |721161 | 20.5 | 95M | 38 | 308 |1082 | 0 | 96k| 0 |3152 | 21 | 0.000000e+00 | -- | Inf | 24.90%
53.68/53.97 c 54.0s| 34200 | 109 |723264 | 20.5 | 95M | 38 | 308 |1085 | 0 | 96k| 0 |3162 | 21 | 0.000000e+00 | -- | Inf | 24.90%
53.79/54.05 c 54.0s| 34300 | 109 |725092 | 20.5 | 95M | 38 | 308 |1086 | 677 | 97k| 1 |3165 | 21 | 0.000000e+00 | -- | Inf | 24.90%
53.89/54.14 c 54.1s| 34400 | 111 |727008 | 20.5 | 95M | 38 | 308 |1083 | 713 | 97k| 1 |3167 | 21 | 0.000000e+00 | -- | Inf | 24.90%
53.98/54.21 c 54.2s| 34500 | 109 |728418 | 20.5 | 95M | 38 | 308 |1085 | 716 | 97k| 2 |3171 | 21 | 0.000000e+00 | -- | Inf | 24.90%
54.08/54.32 c 54.3s| 34600 | 107 |730361 | 20.4 | 95M | 38 | 308 |1080 | 719 | 97k| 0 |3179 | 21 | 0.000000e+00 | -- | Inf | 25.00%
54.18/54.42 c 54.4s| 34700 | 109 |732152 | 20.4 | 95M | 38 | 308 |1078 | 721 | 97k| 2 |3185 | 21 | 0.000000e+00 | -- | Inf | 25.01%
54.28/54.54 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
54.28/54.54 c 54.5s| 34800 | 109 |733904 | 20.4 | 95M | 38 | 308 |1096 | 696 | 98k| 0 |3211 | 21 | 0.000000e+00 | -- | Inf | 25.03%
54.38/54.64 c 54.6s| 34900 | 107 |736059 | 20.4 | 95M | 38 | 308 |1090 | 704 | 98k| 0 |3223 | 21 | 0.000000e+00 | -- | Inf | 25.06%
54.48/54.79 c 54.8s| 35000 | 109 |737994 | 20.4 | 95M | 38 | 308 |1087 | 0 | 98k| 0 |3225 | 21 | 0.000000e+00 | -- | Inf | 25.08%
54.68/54.91 c 54.9s| 35100 | 109 |739825 | 20.4 | 95M | 38 | 308 |1089 | 712 | 99k| 2 |3233 | 21 | 0.000000e+00 | -- | Inf | 25.12%
54.68/55.00 c 55.0s| 35200 | 109 |741475 | 20.4 | 95M | 38 | 308 |1085 | 688 | 99k| 2 |3235 | 21 | 0.000000e+00 | -- | Inf | 25.14%
54.78/55.07 c 55.1s| 35300 | 109 |742871 | 20.4 | 95M | 38 | 308 |1093 | 0 | 99k| 0 |3247 | 21 | 0.000000e+00 | -- | Inf | 25.15%
54.88/55.17 c 55.2s| 35400 | 109 |745063 | 20.4 | 95M | 38 | 308 |1096 | 705 | 99k| 1 |3263 | 21 | 0.000000e+00 | -- | Inf | 25.17%
54.98/55.26 c 55.3s| 35500 | 107 |746771 | 20.4 | 95M | 38 | 308 |1100 | 713 | 100k| 1 |3280 | 21 | 0.000000e+00 | -- | Inf | 25.17%
55.08/55.35 c 55.3s| 35600 | 107 |748618 | 20.4 | 95M | 38 | 308 |1101 | 732 | 100k| 2 |3298 | 21 | 0.000000e+00 | -- | Inf | 25.18%
55.18/55.44 c 55.4s| 35700 | 105 |750498 | 20.4 | 95M | 38 | 308 |1107 | 0 | 100k| 0 |3321 | 21 | 0.000000e+00 | -- | Inf | 25.18%
55.28/55.54 c 55.5s| 35800 | 107 |752615 | 20.4 | 95M | 38 | 308 |1123 | 707 | 100k| 2 |3339 | 21 | 0.000000e+00 | -- | Inf | 25.19%
55.38/55.62 c 55.6s| 35900 | 105 |754297 | 20.4 | 95M | 38 | 308 |1120 | 718 | 100k| 2 |3341 | 21 | 0.000000e+00 | -- | Inf | 25.19%
55.47/55.71 c 55.7s| 36000 | 107 |756172 | 20.4 | 95M | 38 | 308 |1113 | 697 | 101k| 1 |3353 | 21 | 0.000000e+00 | -- | Inf | 25.21%
55.57/55.80 c 55.8s| 36100 | 109 |758017 | 20.4 | 95M | 38 | 308 |1116 | 730 | 101k| 0 |3361 | 21 | 0.000000e+00 | -- | Inf | 25.22%
55.57/55.88 c 55.9s| 36200 | 105 |759621 | 20.4 | 95M | 38 | 308 |1117 | 733 | 101k| 2 |3365 | 21 | 0.000000e+00 | -- | Inf | 25.22%
55.67/55.98 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
55.67/55.98 c 56.0s| 36300 | 105 |761798 | 20.4 | 95M | 38 | 308 |1119 | 706 | 101k| 2 |3372 | 21 | 0.000000e+00 | -- | Inf | 25.22%
55.78/56.09 c 56.1s| 36400 | 105 |764120 | 20.4 | 95M | 38 | 308 |1129 | 731 | 102k| 2 |3389 | 21 | 0.000000e+00 | -- | Inf | 25.23%
55.88/56.17 c 56.2s| 36500 | 105 |765719 | 20.4 | 95M | 38 | 308 |1128 | 715 | 102k| 0 |3389 | 21 | 0.000000e+00 | -- | Inf | 25.23%
56.07/56.34 c 56.3s| 36600 | 109 |768797 | 20.4 | 96M | 38 | 308 |1110 | 758 | 102k| 2 |3405 | 21 | 0.000000e+00 | -- | Inf | 25.25%
56.17/56.43 c 56.4s| 36700 | 111 |770463 | 20.4 | 96M | 38 | 308 |1107 | 704 | 103k| 1 |3405 | 21 | 0.000000e+00 | -- | Inf | 25.27%
56.27/56.52 c 56.5s| 36800 | 111 |772179 | 20.4 | 96M | 39 | 308 |1103 | 732 | 103k| 2 |3405 | 21 | 0.000000e+00 | -- | Inf | 25.28%
56.37/56.63 c 56.6s| 36900 | 109 |774700 | 20.4 | 96M | 39 | 308 |1109 | 714 | 103k| 0 |3422 | 21 | 0.000000e+00 | -- | Inf | 25.30%
56.57/56.85 c 56.8s| 37000 | 113 |777819 | 20.4 | 96M | 39 | 308 |1121 | 703 | 104k| 1 |3448 | 21 | 0.000000e+00 | -- | Inf | 25.41%
56.67/56.97 c 57.0s| 37100 | 115 |780208 | 20.4 | 96M | 39 | 308 |1126 | 702 | 104k| 2 |3463 | 21 | 0.000000e+00 | -- | Inf | 25.43%
56.88/57.12 c 57.1s| 37200 | 109 |783985 | 20.5 | 96M | 39 | 308 |1113 | 722 | 104k| 2 |3474 | 21 | 0.000000e+00 | -- | Inf | 25.47%
56.97/57.28 c 57.3s| 37300 | 113 |786873 | 20.5 | 96M | 39 | 308 |1093 | 678 | 105k| 2 |3480 | 21 | 0.000000e+00 | -- | Inf | 25.54%
57.27/57.50 c 57.5s| 37400 | 121 |789532 | 20.5 | 96M | 39 | 308 |1093 | 728 | 105k| 1 |3488 | 21 | 0.000000e+00 | -- | Inf | 25.63%
57.37/57.65 c 57.6s| 37500 | 121 |791149 | 20.5 | 96M | 39 | 308 |1090 | 700 | 106k| 2 |3490 | 21 | 0.000000e+00 | -- | Inf | 25.72%
57.47/57.74 c 57.7s| 37600 | 123 |792673 | 20.5 | 96M | 39 | 308 |1100 | 713 | 106k| 1 |3501 | 21 | 0.000000e+00 | -- | Inf | 25.76%
57.57/57.85 c *57.8s| 37688 | 0 |793997 | 20.5 | LP | 39 | 308 |1104 | 715 | 106k| 1 |3505 | 21 | 0.000000e+00 | 0.000000e+00 | 0.00%| 100.00%
57.57/57.85 c
57.57/57.85 c SCIP Status : problem is solved [optimal solution found]
57.57/57.85 c Solving Time (sec) : 57.84
57.57/57.85 c Solving Nodes : 37688 (total of 38743 nodes in 2 runs)
57.57/57.85 c Primal Bound : +0.00000000000000e+00 (1 solutions)
57.57/57.85 c Dual Bound : +0.00000000000000e+00
57.57/57.85 c Gap : 0.00 %
57.57/57.85 s SATISFIABLE
57.57/57.85 v x315 -x316 x313 -x314 x311 -x312 x309 -x310 x307 -x308 x305 -x306 x303 -x304 -x301 -x302 x299 -x300 -x297 -x298 -x295 -x296 -x293
57.57/57.85 v -x294 -x291 x292 -x289 x290 -x287 x288 x285 -x286 x283 -x284 -x281 x282 x279 -x280 -x277 x278 -x275 x276 -x273 x274 x271 -x272
57.57/57.85 v x269 -x270 x267 -x268 x265 -x266 -x263 -x264 -x261 -x262 -x259 -x260 -x257 x258 -x255 x256 -x253 x254 -x251 x252 -x249 x250
57.57/57.85 v -x247 x248 -x245 x246 x243 -x244 -x241 x242 x239 -x240 x237 -x238 x235 -x236 -x233 x234 -x231 x232 -x229 x230 x227 -x228
57.57/57.85 v x225 -x226 -x223 x224 -x221 x222 -x219 x220 -x217 x218 -x215 x216 -x213 x214 -x211 x212 x209 -x210 x207 -x208 x205 -x206 x203
57.57/57.85 v -x204 x201 -x202 -x200 -x198 -x196 -x194 -x192 -x190 -x188 -x186 -x184 -x182 -x180 -x178 -x176 -x174 -x172 -x170 -x168 -x166
57.57/57.85 v -x164 -x162 -x160 -x158 -x156 -x154 -x152 -x150 -x148 -x146 -x144 -x142 -x140 -x138 -x136 -x134 -x132 -x130 -x128 -x126 -x124
57.57/57.85 v -x122 -x120 -x118 -x116 -x114 -x112 -x110 -x108 -x106 -x104 -x102 -x100 x98 x96 -x94 -x92 -x90 -x88 -x86 -x84 -x82 x80 x78
57.57/57.85 v -x76 -x74 -x72 -x70 -x68 x66 -x64 -x62 x60 -x58 x56 -x54 -x52 -x50 x48 -x46 -x44 -x42 -x40 x38 -x36 -x34 -x32 -x30 x28 x26 -x24
57.57/57.85 v -x22 x20 -x18 -x16 -x14 -x12 -x10 x8 x6 -x4 -x2 -x199 -x197 -x195 x193 x191 x189 -x187 -x185 x183 -x181 -x179 -x177 -x175
57.57/57.85 v x173 x171 -x169 -x167 -x165 -x163 x161 -x159 -x157 -x155 -x153 -x151 -x149 -x147 -x145 x143 x141 -x139 -x137 -x135 -x133 -x131
57.57/57.85 v x129 -x127 -x125 x123 x121 -x119 -x117 -x115 -x113 x111 -x109 -x107 -x105 x103 -x101 -x99 -x97 -x95 -x93 -x91 -x89 -x87 -x85
57.57/57.85 v -x83 -x81 -x79 -x77 -x75 -x73 -x71 -x69 -x67 -x65 -x63 -x61 -x59 -x57 -x55 -x53 -x51 -x49 -x47 -x45 -x43 -x41 -x39 -x37 -x35
57.57/57.85 v -x33 -x31 -x29 -x27 -x25 -x23 -x21 -x19 -x17 -x15 -x13 -x11 -x9 -x7 -x5 -x3 -x1
57.57/57.85 c SCIP Status : problem is solved [optimal solution found]
57.57/57.85 c Total Time : 57.84
57.57/57.85 c solving : 57.84
57.57/57.85 c presolving : 0.05 (included in solving)
57.57/57.85 c reading : 0.00 (included in solving)
57.57/57.85 c copying : 0.32 (104 #copies) (minimal 0.00, maximal 0.01, average 0.00)
57.57/57.85 c Original Problem :
57.57/57.85 c Problem name : HOME/instance-4493742-1751148311.opb
57.57/57.85 c Variables : 316 (316 binary, 0 integer, 0 implicit integer, 0 continuous)
57.57/57.85 c Constraints : 476 initial, 476 maximal
57.57/57.85 c Objective : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
57.57/57.85 c Presolved Problem :
57.57/57.85 c Problem name : t_HOME/instance-4493742-1751148311.opb
57.57/57.85 c Variables : 308 (308 binary, 0 integer, 0 implicit integer, 0 continuous)
57.57/57.85 c Constraints : 583 initial, 1459 maximal
57.57/57.85 c Objective : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
57.57/57.85 c Nonzeros : 7044 constraint, 4864 clique table
57.57/57.85 c Presolvers : ExecTime SetupTime Calls FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
57.57/57.85 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
57.57/57.85 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
57.57/57.85 c domcol : 0.00 0.00 2 0 0 0 0 0 0 0 0 0
57.57/57.85 c dualagg : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
57.57/57.85 c dualcomp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
57.57/57.85 c dualinfer : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
57.57/57.85 c dualsparsify : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
57.57/57.85 c gateextraction : 0.00 0.00 6 0 0 0 0 0 900 108 0 0
57.57/57.85 c implics : 0.00 0.00 11 0 0 0 0 0 0 0 0 0
57.57/57.85 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
57.57/57.85 c milp : 0.00 0.00 1 0 4 0 0 0 0 0 0 0
57.57/57.85 c qpkktref : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
57.57/57.85 c redvub : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
57.57/57.85 c sparsify : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
57.57/57.85 c stuffing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
57.57/57.85 c trivial : 0.00 0.00 14 0 0 0 0 0 0 0 0 0
57.57/57.85 c tworowbnd : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
57.57/57.85 c dualfix : 0.00 0.00 14 0 0 0 0 0 0 0 0 0
57.57/57.85 c genvbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
57.57/57.85 c probing : 0.02 0.00 1 0 0 0 0 0 0 0 0 0
57.57/57.85 c pseudoobj : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
57.57/57.85 c symmetry : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
57.57/57.85 c vbounds : 0.00 0.00 3 0 0 0 0 0 0 0 0 0
57.57/57.85 c knapsack : 0.00 0.00 26 0 0 0 0 0 206 808 0 0
57.57/57.85 c setppc : 0.00 0.00 26 0 4 0 0 0 15 0 0 0
57.57/57.85 c and : 0.00 0.00 14 0 0 0 0 0 0 0 0 0
57.57/57.85 c linear : 0.00 0.00 16 0 0 0 0 0 5 0 1 0
57.57/57.85 c logicor : 0.01 0.00 21 0 0 0 0 0 10 0 0 133
57.57/57.85 c benders : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
57.57/57.85 c components : 0.00 0.00 2 0 0 0 0 0 0 0 0 0
57.57/57.85 c root node : - - - 0 - - 0 - - - - -
57.57/57.85 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoRelax #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Applied Conss Children
57.57/57.85 c benderslp : 0 0 0 0 19451 0 0 3799 0 0 0 0 0 0 0
57.57/57.85 c integral : 0 0 0 0 19451 0 0 3799 0 0 0 0 0 0 38900
57.57/57.85 c knapsack : 2 2 22 105301 1 0 0 3792 8969 2451 10404 0 0 0 0
57.57/57.85 c setppc : 271+ 275 22 102850 1 0 0 1403 94794 27 82253 15 0 0 0
57.57/57.85 c and : 108 108 39662 102823 1 0 0 9 315270 62 304906 154228 102867 0 0
57.57/57.85 c linear : 2+ 35 23 23119 0 0 0 3 0 0 12 0 0 0 0
57.57/57.85 c logicor : 200+ 1059 22 33708 0 0 0 0 1549 33 3063 3 0 0 0
57.57/57.85 c benders : 0 0 0 0 1 0 0 2 0 0 0 0 0 0 0
57.57/57.85 c fixedvar : 0 0 0 0 1 0 0 2 0 0 0 0 0 0 0
57.57/57.85 c countsols : 0 0 0 0 1 0 0 2 0 0 0 0 0 0 0
57.57/57.85 c components : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
57.57/57.85 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS EnfoRelax Check ResProp SB-Prop
57.57/57.85 c benderslp : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
57.57/57.85 c integral : 0.54 0.00 0.00 0.00 0.54 0.00 0.00 0.00 0.00 0.00
57.57/57.85 c knapsack : 0.39 0.00 0.01 0.33 0.00 0.00 0.00 0.01 0.03 0.00
57.57/57.85 c setppc : 0.18 0.00 0.00 0.16 0.00 0.00 0.00 0.00 0.01 0.00
57.57/57.85 c and : 1.26 0.00 0.38 0.84 0.00 0.00 0.00 0.00 0.03 0.00
57.57/57.85 c linear : 0.02 0.00 0.00 0.01 0.00 0.00 0.00 0.00 0.00 0.00
57.57/57.85 c logicor : 0.18 0.00 0.00 0.18 0.00 0.00 0.00 0.00 0.00 0.00
57.57/57.85 c benders : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
57.57/57.85 c fixedvar : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
57.57/57.85 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
57.57/57.85 c components : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
57.57/57.85 c Propagators : #Propagate #ResProp Cutoffs DomReds
57.57/57.85 c dualfix : 2 0 0 0
57.57/57.85 c genvbounds : 0 0 0 0
57.57/57.85 c nlobbt : 0 0 0 0
57.57/57.85 c obbt : 0 0 0 0
57.57/57.85 c probing : 0 0 0 0
57.57/57.85 c pseudoobj : 0 0 0 0
57.57/57.85 c redcost : 0 0 0 0
57.57/57.85 c rootredcost : 0 0 0 0
57.57/57.85 c symmetry : 3101 0 0 52
57.57/57.85 c vbounds : 85522 0 0 0
57.57/57.85 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp SB-Prop
57.57/57.85 c dualfix : 0.00 0.00 0.00 0.00 0.00 0.00
57.57/57.85 c genvbounds : 0.02 0.00 0.00 0.02 0.00 0.00
57.57/57.85 c nlobbt : 0.00 0.00 0.00 0.00 0.00 0.00
57.57/57.85 c obbt : 0.00 0.00 0.00 0.00 0.00 0.00
57.57/57.85 c probing : 0.02 0.00 0.02 0.00 0.00 0.00
57.57/57.85 c pseudoobj : 0.02 0.00 0.00 0.02 0.00 0.00
57.57/57.85 c redcost : 0.01 0.00 0.00 0.01 0.00 0.00
57.57/57.85 c rootredcost : 0.01 0.00 0.00 0.01 0.00 0.00
57.57/57.85 c symmetry : 0.06 0.00 0.00 0.06 0.00 0.00
57.57/57.85 c vbounds : 0.06 0.00 0.00 0.06 0.00 0.00
57.57/57.85 c Symmetry :
57.57/57.85 c orbitopal red. : 0 reductions applied, 0 cutoffs
57.57/57.85 c orbital reduction: 15 reductions applied, 0 cutoffs
57.57/57.85 c lexicographic red: 38 reductions applied, 0 cutoffs
57.57/57.85 c shadow tree time : 0.03 s
57.57/57.85 c Conflict Analysis : Time Calls Success DomReds Conflicts Literals Reconvs ReconvLits Dualrays Nonzeros LP Iters (pool size: [10000,10000])
57.57/57.85 c propagation : 0.23 2564 1899 - 12991 66.3 1 84.0 - - -
57.57/57.85 c infeasible LP : 0.86 17108 14 - 99 61.5 0 0.0 2 2.0 0
57.57/57.85 c bound exceed. LP : 0.00 0 0 - 0 0.0 0 0.0 0 0.0 0
57.57/57.85 c strong branching : 0.00 0 0 - 0 0.0 0 0.0 - - 0
57.57/57.85 c pseudo solution : 0.00 1 1 - 1 0.0 0 0.0 - - -
57.57/57.85 c applied globally : 0.03 - - 0 3475 19.0 - - 2 - -
57.57/57.85 c applied locally : - - - 0 28 76.2 - - 0 - -
57.57/57.85 c Separators : ExecTime SetupTime Calls RootCalls Cutoffs DomReds FoundCuts ViaPoolAdd DirectAdd Applied ViaPoolApp DirectApp Conss
57.57/57.85 c cut pool : 0.85 - 4352 42 - - 29464 48176 - - - - - (maximal pool size: 3687)
57.57/57.85 c aggregation : 0.45 0.00 534 22 0 0 501 1444 0 86 86 0 0
57.57/57.85 c > cmir : - - - - - - - 1262 0 59 59 0 -
57.57/57.85 c > flowcover : - - - - - - - 0 0 0 0 0 -
57.57/57.85 c > knapsackcover : - - - - - - - 182 0 27 27 0 -
57.57/57.85 c cgmip : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
57.57/57.85 c clique : 0.01 0.00 22 22 0 0 0 0 0 0 0 0 0
57.57/57.85 c closecuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
57.57/57.85 c convexproj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
57.57/57.85 c disjunctive : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
57.57/57.85 c eccuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
57.57/57.85 c gauge : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
57.57/57.85 c gomory : 15.65 0.00 532 20 0 0 23920 30884 796 676 660 16 0
57.57/57.85 c > gomorymi : - - - - - - - 14168 398 570 558 12 -
57.57/57.85 c > strongcg : - - - - - - - 16716 398 106 102 4 -
57.57/57.85 c impliedbounds : 0.04 0.00 534 22 0 0 5706 15368 0 6662 6662 0 0
57.57/57.85 c interminor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
57.57/57.85 c intobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
57.57/57.85 c lagromory : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
57.57/57.85 c mcf : 0.00 0.00 2 2 0 0 0 0 0 0 0 0 0
57.57/57.85 c minor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
57.57/57.85 c mixing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
57.57/57.85 c multilinear : 0.00 0.00 3841 22 0 0 0 0 0 0 0 0 0
57.57/57.85 c oddcycle : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
57.57/57.85 c rapidlearning : 1.65 0.00 100 2 0 4469 0 0 0 0 0 0 1007
57.57/57.85 c rlt : 0.09 0.00 275 20 0 0 0 0 0 0 0 0 0
57.57/57.85 c zerohalf : 0.28 0.00 534 22 0 0 675 480 542 185 143 42 0
57.57/57.85 c Cutselectors : ExecTime SetupTime Calls RootCalls Selected Forced Filtered RootSelec RootForc RootFilt
57.57/57.85 c hybrid : 0.11 0.00 29125 22 110476 0 92778 447 0 6309
57.57/57.85 c ensemble : 0.00 0.00 0 0 0 0 0 0 0 0
57.57/57.85 c dynamic : 0.00 0.00 0 0 0 0 0 0 0 0
57.57/57.85 c Pricers : ExecTime SetupTime Calls Vars
57.57/57.85 c problem variables: 0.00 - 0 0
57.57/57.85 c Branching Rules : ExecTime SetupTime BranchLP BranchExt BranchPS Cutoffs DomReds Cuts Conss Children
57.57/57.85 c allfullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
57.57/57.85 c cloud : 0.00 0.00 0 0 0 0 0 0 0 0
57.57/57.85 c distribution : 0.00 0.00 0 0 0 0 0 0 0 0
57.57/57.85 c fullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
57.57/57.85 c gomory : 0.00 0.00 0 0 0 0 0 0 0 0
57.57/57.85 c inference : 0.00 0.00 0 0 0 0 0 0 0 0
57.57/57.85 c leastinf : 0.00 0.00 0 0 0 0 0 0 0 0
57.57/57.85 c lookahead : 0.00 0.00 0 0 0 0 0 0 0 0
57.57/57.85 c mostinf : 0.00 0.00 0 0 0 0 0 0 0 0
57.57/57.85 c multaggr : 0.00 0.00 0 0 0 0 0 0 0 0
57.57/57.85 c nodereopt : 0.00 0.00 0 0 0 0 0 0 0 0
57.57/57.85 c pscost : 0.00 0.00 0 0 0 0 0 0 0 0
57.57/57.85 c random : 0.00 0.00 0 0 0 0 0 0 0 0
57.57/57.85 c relpscost : 0.53 0.00 19450 0 0 0 0 0 0 38900
57.57/57.85 c vanillafullstrong: 0.00 0.00 0 0 0 0 0 0 0 0
57.57/57.85 c Primal Heuristics : ExecTime SetupTime Calls Found Best
57.57/57.85 c LP solutions : 0.00 - - 1 1
57.57/57.85 c relax solutions : 0.00 - - 0 0
57.57/57.85 c pseudo solutions : 0.00 - - 0 0
57.57/57.85 c strong branching : 0.00 - - 0 0
57.57/57.85 c actconsdiving : 0.00 0.00 0 0 0
57.57/57.85 c adaptivediving : 0.09 0.00 20 0 0
57.57/57.85 c alns : 0.04 0.00 7 0 0
57.57/57.85 c bound : 0.00 0.00 0 0 0
57.57/57.85 c clique : 0.00 0.00 1 0 0
57.57/57.85 c coefdiving : 0.00 0.00 0 0 0
57.57/57.85 c completesol : 0.00 0.00 0 0 0
57.57/57.85 c conflictdiving : 0.05 0.00 11 0 0
57.57/57.85 c crossover : 0.00 0.00 0 0 0
57.57/57.85 c dins : 0.00 0.00 0 0 0
57.57/57.85 c distributiondivin: 0.23 0.00 10 0 0
57.57/57.85 c dps : 0.00 0.00 0 0 0
57.57/57.85 c dualval : 0.00 0.00 0 0 0
57.57/57.85 c farkasdiving : 0.00 0.00 0 0 0
57.57/57.85 c feasjump : 0.03 0.00 2 0 0
57.57/57.85 c feaspump : 0.04 0.00 5 0 0
57.57/57.85 c fixandinfer : 0.00 0.00 0 0 0
57.57/57.85 c fracdiving : 0.03 0.00 10 0 0
57.57/57.85 c gins : 0.00 0.00 0 0 0
57.57/57.85 c guideddiving : 0.00 0.00 0 0 0
57.57/57.85 c indcoefdiving : 0.00 0.00 0 0 0
57.57/57.85 c indicator : 0.01 0.00 0 0 0
57.57/57.85 c indicatordiving : 0.00 0.00 0 0 0
57.57/57.85 c indoneopt : 0.01 0.00 0 0 0
57.57/57.85 c indrounding : 0.00 0.00 0 0 0
57.57/57.85 c indtwoopt : 0.00 0.00 0 0 0
57.57/57.85 c intdiving : 0.00 0.00 0 0 0
57.57/57.85 c intshifting : 0.00 0.00 0 0 0
57.57/57.85 c linesearchdiving : 0.03 0.00 10 0 0
57.57/57.85 c localbranching : 0.00 0.00 0 0 0
57.57/57.85 c locks : 0.00 0.00 1 0 0
57.57/57.85 c lpface : 0.01 0.00 0 0 0
57.57/57.85 c mpec : 0.00 0.00 0 0 0
57.57/57.85 c multistart : 0.00 0.00 0 0 0
57.57/57.85 c mutation : 0.00 0.00 0 0 0
57.57/57.85 c nlpdiving : 0.00 0.00 0 0 0
57.57/57.85 c objpscostdiving : 0.06 0.00 6 0 0
57.57/57.85 c octane : 0.00 0.00 0 0 0
57.57/57.85 c ofins : 0.00 0.00 0 0 0
57.57/57.85 c oneopt : 0.01 0.00 0 0 0
57.57/57.85 c padm : 0.00 0.00 0 0 0
57.57/57.85 c proximity : 0.00 0.00 0 0 0
57.57/57.85 c pscostdiving : 0.05 0.00 11 0 0
57.57/57.85 c randrounding : 0.10 0.00 3806 0 0
57.57/57.85 c rens : 0.09 0.00 2 0 0
57.57/57.85 c reoptsols : 0.00 0.00 0 0 0
57.57/57.85 c repair : 0.00 0.00 0 0 0
57.57/57.85 c rins : 0.00 0.00 0 0 0
57.57/57.85 c rootsoldiving : 0.05 0.00 6 0 0
57.57/57.85 c rounding : 0.11 0.00 3063 0 0
57.57/57.85 c scheduler : 0.00 0.00 0 0 0
57.57/57.85 c shiftandpropagate: 0.01 0.00 2 0 0
57.57/57.85 c shifting : 0.16 0.00 906 0 0
57.57/57.85 c simplerounding : 0.01 0.00 0 0 0
57.57/57.85 c smallcard : 0.00 0.00 0 0 0
57.57/57.85 c subnlp : 0.01 0.00 0 0 0
57.57/57.85 c trivial : 0.00 0.00 4 0 0
57.57/57.85 c trivialnegation : 0.00 0.00 0 0 0
57.57/57.85 c trustregion : 0.00 0.00 0 0 0
57.57/57.85 c trysol : 0.01 0.00 0 0 0
57.57/57.85 c twoopt : 0.00 0.00 0 0 0
57.57/57.85 c undercover : 0.01 0.00 1 0 0
57.57/57.85 c vbounds : 0.00 0.00 2 0 0
57.57/57.85 c veclendiving : 0.04 0.00 10 0 0
57.57/57.85 c zeroobj : 0.00 0.00 0 0 0
57.57/57.85 c zirounding : 0.03 0.00 1000 0 0
57.57/57.85 c other solutions : - - - 0 -
57.57/57.85 c LNS (Scheduler) : Calls SetupTime SolveTime SolveNodes Sols Best Exp3 Exp3-IX EpsGreedy UCB TgtFixRate Opt Inf Node Stal Sol Usr Othr Actv
57.57/57.85 c rens : 0 0.00 0.00 0 0 0 0.00000 0.14286 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
57.57/57.85 c rins : 0 0.00 0.00 0 0 0 0.00000 0.14286 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
57.57/57.85 c mutation : 0 0.00 0.00 0 0 0 0.00000 0.14286 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
57.57/57.85 c localbranching : 0 0.00 0.00 0 0 0 0.00000 0.14286 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
57.57/57.85 c crossover : 0 0.00 0.00 0 0 0 0.00000 0.14286 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
57.57/57.85 c proximity : 0 0.00 0.00 0 0 0 0.00000 0.14286 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
57.57/57.85 c dins : 0 0.00 0.00 0 0 0 0.00000 0.14286 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
57.57/57.85 c zeroobjective : 0 0.00 0.00 0 0 0 0.00000 0.00000 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 0
57.57/57.85 c trustregion : 0 0.00 0.00 0 0 0 0.00000 0.00000 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 0
57.57/57.85 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It ItLimit
57.57/57.85 c primal LP : 0.09 710 0 0.00 0.00 0.09 710
57.57/57.85 c dual LP : 26.24 65719 781966 11.91 29795.86 0.00 43
57.57/57.85 c lex dual LP : 0.00 0 0 0.00 -
57.57/57.85 c barrier LP : 0.00 0 0 0.00 - 0.00 0
57.57/57.85 c resolve instable : 0.00 0 0 0.00 -
57.57/57.85 c diving/probing LP: 0.36 386 12031 31.17 33710.76
57.57/57.85 c strong branching : 0.06 21 2082 99.14 32073.70 - - 0
57.57/57.85 c (at root node) : - 21 2082 99.14 -
57.57/57.85 c conflict analysis: 0.00 0 0 0.00 -
57.57/57.85 c B&B Tree :
57.57/57.85 c number of runs : 2
57.57/57.85 c nodes : 37688 (18904 internal, 18784 leaves)
57.57/57.85 c feasible leaves : 1
57.57/57.85 c infeas. leaves : 18783
57.57/57.85 c objective leaves : 0
57.57/57.85 c nodes (total) : 38743 (19450 internal, 19293 leaves)
57.57/57.85 c nodes left : 0
57.57/57.85 c max depth : 39
57.57/57.85 c max depth (total): 39
57.57/57.85 c backtracks : 5773 (15.3%)
57.57/57.85 c early backtracks : 0 (0.0%)
57.57/57.85 c nodes exc. ref. : 0 (0.0%)
57.57/57.85 c delayed cutoffs : 0
57.57/57.85 c repropagations : 3126 (2229 domain reductions, 0 cutoffs)
57.57/57.85 c avg switch length: 3.14
57.57/57.85 c switching time : 1.75
57.57/57.85 c Root Node :
57.57/57.85 c First LP value : +0.00000000000000e+00
57.57/57.85 c First LP Iters : 118 (106306.31 Iter/sec)
57.57/57.85 c First LP Time : 0.00
57.57/57.85 c Final Dual Bound : +0.00000000000000e+00
57.57/57.85 c Final Root Iters : 1244
57.57/57.85 c Root LP Estimate : +9.00041175160472e-03
57.57/57.85 c Solution :
57.57/57.85 c Solutions found : 1 (1 improvements)
57.57/57.85 c First Solution : +0.00000000000000e+00 (in run 2, after 37688 nodes, 57.84 seconds, depth 17, found by <relaxation>)
57.57/57.85 c Gap First Sol. : 0.00 %
57.57/57.85 c Gap Last Sol. : 0.00 %
57.57/57.85 c Primal Bound : +0.00000000000000e+00 (in run 2, after 37688 nodes, 57.84 seconds, depth 17, found by <relaxation>)
57.57/57.85 c Dual Bound : +0.00000000000000e+00
57.57/57.85 c Gap : 0.00 %
57.57/57.85 c Integrals : Total Avg%
57.57/57.85 c primal-dual : 5784.01 100.00
57.57/57.85 c primal-ref : - - (not evaluated)
57.57/57.85 c dual-ref : - - (not evaluated)
57.57/57.86 c Time complete: 57.6381.