0.00/0.00 c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.0.0] [GitHash: 405ed0d46f]
0.00/0.00 c Copyright (c) 2002-2024 Zuse Institute 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-4443345-1721298115.opb>
0.00/0.00 c original problem has 316 variables (316 bin, 0 int, 0 impl, 0 cont) and 476 constraints
0.00/0.00 c problem read in 0.00
0.00/0.00 c No objective function, only one solution is needed.
0.00/0.00 c presolving:
0.00/0.00 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.01 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.01 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.01 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.03 c (0.0s) probing cycle finished: starting next cycle
0.00/0.03 c (0.0s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
0.00/0.03 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.03 c dynamic symmetry handling statistics:
0.00/0.03 c orbitopal reduction: no components
0.00/0.03 c orbital reduction: 1 components of sizes 3
0.00/0.03 c lexicographic reduction: 3 permutations with support sizes 288, 252, 308
0.00/0.03 c handled 1 out of 1 symmetry components
0.00/0.03 c presolving (7 rounds: 7 fast, 5 medium, 3 exhaustive):
0.00/0.03 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.03 c 0 implications, 2432 cliques
0.00/0.03 c presolved problem has 308 variables (308 bin, 0 int, 0 impl, 0 cont) and 264 constraints
0.00/0.03 c 2 constraints of type <knapsack>
0.00/0.03 c 154 constraints of type <setppc>
0.00/0.03 c 108 constraints of type <and>
0.00/0.03 c transformed objective value is always integral (scale: 1)
0.00/0.03 c Presolving Time: 0.03
0.00/0.03 c - non default parameters ----------------------------------------------------------------------
0.00/0.03 c # SCIP version 10.0.0
0.00/0.03 c
0.00/0.03 c # maximal time in seconds to run
0.00/0.03 c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
0.00/0.03 c limits/time = 3596.998039
0.00/0.03 c
0.00/0.03 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.03 c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
0.00/0.03 c limits/memory = 27900
0.00/0.03 c
0.00/0.03 c # solving stops, if the given number of solutions were found; this limit is first checked in presolving (-1: no limit)
0.00/0.03 c # [type: int, advanced: FALSE, range: [-1,2147483647], default: -1]
0.00/0.03 c limits/solutions = 1
0.00/0.03 c
0.00/0.03 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.03 c # [type: int, advanced: FALSE, range: [0,7], default: 7]
0.00/0.03 c misc/usesymmetry = 3
0.00/0.03 c
0.00/0.03 c # belongs reading time to solving time?
0.00/0.03 c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
0.00/0.03 c timing/reading = TRUE
0.00/0.03 c
0.00/0.03 c # Should we check whether the components of the symmetry group can be handled by double lex matrices?
0.00/0.03 c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
0.00/0.03 c propagating/symmetry/detectdoublelex = FALSE
0.00/0.03 c
0.00/0.03 c # Should we try to detect symmetric subgroups of the symmetry group on binary variables?
0.00/0.03 c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
0.00/0.03 c propagating/symmetry/detectsubgroups = FALSE
0.00/0.03 c
0.00/0.03 c # Type of symmetries that shall be computed?
0.00/0.03 c # [type: int, advanced: TRUE, range: [0,1], default: 0]
0.00/0.03 c propagating/symmetry/symtype = 1
0.00/0.03 c
0.00/0.03 c # Should components consisting of a single full reflection be handled?
0.00/0.03 c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
0.00/0.03 c propagating/symmetry/usesimplesgncomp = FALSE
0.00/0.03 c
0.00/0.03 c -----------------------------------------------------------------------------------------------
0.00/0.03 c start solving
0.00/0.03 c
0.00/0.05 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.05 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.28 c 0.3s| 1 | 0 | 469 | - | 31M | 0 | 308 | 331 | 571 | 199 | 6 | 61 | 0 | 0.000000e+00 | -- | Inf | unknown
0.29/0.32 c 0.3s| 1 | 0 | 494 | - | 36M | 0 | 308 | 332 | 590 | 218 | 7 | 62 | 0 | 0.000000e+00 | -- | Inf | unknown
0.29/0.37 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.55 c 0.6s| 1 | 2 | 994 | - | 51M | 0 | 308 | 377 | 643 | 271 | 11 | 107 | 10 | 0.000000e+00 | -- | Inf | unknown
1.08/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.37/1.43 c 1.4s| 200 | 31 | 8523 | 39.5 | 62M | 20 | 308 | 415 | 661 |1395 | 2 | 147 | 10 | 0.000000e+00 | -- | Inf | unknown
1.68/1.79 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1.68/1.79 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.67/2.70 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.97 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.46 c 3.5s| 800 | 37 | 22391 | 27.2 | 76M | 23 | 308 | 468 | 684 |3304 | 0 | 201 | 10 | 0.000000e+00 | -- | Inf | 1.24%
3.77/3.83 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.12 c 4.1s| 1000 | 39 | 26445 | 25.8 | 77M | 23 | 308 | 484 | 654 |3807 | 2 | 217 | 10 | 0.000000e+00 | -- | Inf | 1.44%
4.17/4.20 c Restart triggered after 50 consecutive estimations that the remaining tree will be large
4.17/4.20 c (run 1, node 1055) performing user restart
4.17/4.20 c
4.17/4.20 c (restart) converted 99 cuts from the global cut pool into linear constraints
4.17/4.20 c
4.17/4.21 c presolving:
4.17/4.21 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.22 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.22 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.23 c presolving (7 rounds: 7 fast, 6 medium, 5 exhaustive):
4.17/4.23 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.23 c 0 implications, 2432 cliques
4.17/4.23 c presolved problem has 308 variables (308 bin, 0 int, 0 impl, 0 cont) and 583 constraints
4.17/4.23 c 2 constraints of type <knapsack>
4.17/4.23 c 271 constraints of type <setppc>
4.17/4.23 c 108 constraints of type <and>
4.17/4.23 c 2 constraints of type <linear>
4.17/4.23 c 200 constraints of type <logicor>
4.17/4.23 c transformed objective value is always integral (scale: 1)
4.17/4.23 c Presolving Time: 0.05
4.17/4.23 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.3s| 1 | 0 | 27240 | - | 77M | 0 | 308 | 582 | 477 | 0 | 0 | 232 | 10 | 0.000000e+00 | -- | Inf | unknown
4.26/4.31 c 4.3s| 1 | 0 | 27319 | - | 77M | 0 | 308 | 596 | 515 | 38 | 1 | 233 | 10 | 0.000000e+00 | -- | Inf | unknown
4.26/4.36 c 4.4s| 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.46/4.54 c 4.5s| 1 | 0 | 27506 | - | 78M | 0 | 308 | 607 | 593 | 116 | 6 | 244 | 10 | 0.000000e+00 | -- | Inf | unknown
4.46/4.59 c 4.6s| 1 | 0 | 27540 | - | 78M | 0 | 308 | 608 | 607 | 130 | 7 | 245 | 10 | 0.000000e+00 | -- | Inf | unknown
4.56/4.63 c 4.6s| 1 | 0 | 27589 | - | 78M | 0 | 308 | 612 | 623 | 146 | 8 | 249 | 10 | 0.000000e+00 | -- | Inf | unknown
4.56/4.68 c 4.7s| 1 | 0 | 27623 | - | 78M | 0 | 308 | 616 | 635 | 158 | 9 | 253 | 10 | 0.000000e+00 | -- | Inf | unknown
4.66/4.74 c 4.7s| 1 | 0 | 27664 | - | 78M | 0 | 308 | 620 | 648 | 171 | 10 | 257 | 10 | 0.000000e+00 | -- | Inf | unknown
4.66/4.75 c 4.7s| 1 | 0 | 27676 | - | 78M | 0 | 308 | 624 | 653 | 176 | 11 | 261 | 10 | 0.000000e+00 | -- | Inf | unknown
4.76/4.87 c 4.9s| 1 | 2 | 28021 | - | 78M | 0 | 308 | 636 | 653 | 176 | 11 | 276 | 21 | 0.000000e+00 | -- | Inf | unknown
5.27/5.39 c 5.4s| 100 | 15 | 32033 | 26.7 | 79M | 17 | 308 | 654 | 698 | 981 | 0 | 296 | 21 | 0.000000e+00 | -- | Inf | 0.68%
5.47/5.58 c 5.6s| 200 | 19 | 33898 | 26.0 | 79M | 19 | 308 | 693 | 703 |1265 | 2 | 335 | 21 | 0.000000e+00 | -- | Inf | 0.78%
5.87/5.96 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
5.87/5.96 c 6.0s| 300 | 21 | 36999 | 26.4 | 80M | 20 | 308 | 709 | 717 |1782 | 2 | 351 | 21 | 0.000000e+00 | -- | Inf | 0.97%
6.07/6.14 c 6.1s| 400 | 21 | 39013 | 26.0 | 81M | 20 | 308 | 717 | 712 |2032 | 1 | 359 | 21 | 0.000000e+00 | -- | Inf | 1.01%
6.56/6.62 c 6.6s| 500 | 21 | 41458 | 25.9 | 82M | 20 | 308 | 725 | 686 |2442 | 2 | 367 | 21 | 0.000000e+00 | -- | Inf | 1.41%
6.86/6.92 c 6.9s| 600 | 19 | 43326 | 25.4 | 82M | 20 | 308 | 745 | 727 |2730 | 1 | 387 | 21 | 0.000000e+00 | -- | Inf | 1.43%
7.06/7.16 c 7.2s| 700 | 21 | 45436 | 25.2 | 82M | 25 | 308 | 762 | 727 |3024 | 2 | 404 | 21 | 0.000000e+00 | -- | Inf | 1.44%
7.16/7.27 c 7.3s| 800 | 21 | 47116 | 24.7 | 82M | 25 | 308 | 777 | 727 |3314 | 2 | 419 | 21 | 0.000000e+00 | -- | Inf | 1.45%
7.46/7.52 c 7.5s| 900 | 19 | 49474 | 24.7 | 82M | 25 | 308 | 789 | 676 |3680 | 2 | 431 | 21 | 0.000000e+00 | -- | Inf | 1.65%
7.66/7.79 c 7.8s| 1000 | 23 | 51274 | 24.4 | 82M | 25 | 308 | 796 | 705 |3916 | 0 | 438 | 21 | 0.000000e+00 | -- | Inf | 1.82%
7.75/7.89 c 7.9s| 1100 | 25 | 52880 | 24.0 | 82M | 26 | 308 | 807 | 694 |4210 | 2 | 449 | 21 | 0.000000e+00 | -- | Inf | 1.83%
7.85/7.98 c 8.0s| 1200 | 23 | 54615 | 23.7 | 82M | 27 | 308 | 808 | 703 |4412 | 2 | 450 | 21 | 0.000000e+00 | -- | Inf | 1.84%
7.96/8.06 c 8.1s| 1300 | 23 | 56208 | 23.3 | 82M | 29 | 308 | 821 | 716 |4624 | 1 | 463 | 21 | 0.000000e+00 | -- | Inf | 1.84%
8.06/8.16 c 8.2s| 1400 | 27 | 58423 | 23.3 | 82M | 29 | 308 | 829 | 723 |4942 | 0 | 471 | 21 | 0.000000e+00 | -- | Inf | 1.87%
8.15/8.25 c 8.3s| 1500 | 23 | 60111 | 23.0 | 83M | 29 | 308 | 860 | 718 |5083 | 1 | 502 | 21 | 0.000000e+00 | -- | Inf | 1.88%
8.25/8.34 c 8.3s| 1600 | 21 | 61972 | 22.9 | 83M | 30 | 308 | 873 | 0 |5399 | 0 | 515 | 21 | 0.000000e+00 | -- | Inf | 1.89%
8.35/8.46 c 8.5s| 1700 | 27 | 64646 | 23.0 | 83M | 30 | 308 | 887 | 722 |5895 | 2 | 529 | 21 | 0.000000e+00 | -- | Inf | 1.91%
8.45/8.55 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
8.45/8.55 c 8.5s| 1800 | 25 | 66260 | 22.8 | 83M | 30 | 308 | 895 | 0 |6155 | 0 | 537 | 21 | 0.000000e+00 | -- | Inf | 1.91%
8.65/8.72 c 8.7s| 1900 | 23 | 68214 | 22.7 | 83M | 30 | 308 | 906 | 692 |6363 | 1 | 548 | 21 | 0.000000e+00 | -- | Inf | 2.50%
9.06/9.18 c 9.2s| 2000 | 25 | 72089 | 23.2 | 84M | 30 | 308 | 922 | 683 |6957 | 2 | 564 | 21 | 0.000000e+00 | -- | Inf | 3.00%
9.25/9.33 c 9.3s| 2100 | 23 | 73897 | 23.0 | 84M | 30 | 308 | 928 | 731 |7212 | 2 | 570 | 21 | 0.000000e+00 | -- | Inf | 3.19%
9.55/9.64 c 9.6s| 2200 | 23 | 76098 | 23.0 | 84M | 30 | 308 | 933 | 713 |7527 | 1 | 576 | 21 | 0.000000e+00 | -- | Inf | 3.39%
9.65/9.75 c 9.8s| 2300 | 23 | 78447 | 23.0 | 84M | 30 | 308 | 939 | 677 |7877 | 2 | 582 | 21 | 0.000000e+00 | -- | Inf | 3.42%
9.75/9.88 c 9.9s| 2400 | 21 | 81369 | 23.2 | 84M | 30 | 308 | 940 | 721 |8274 | 0 | 584 | 21 | 0.000000e+00 | -- | Inf | 3.48%
10.15/10.24 c 10.2s| 2500 | 23 | 83829 | 23.2 | 84M | 30 | 308 | 954 | 710 |8759 | 2 | 599 | 21 | 0.000000e+00 | -- | Inf | 3.82%
10.45/10.50 c 10.5s| 2600 | 25 | 85728 | 23.1 | 84M | 30 | 308 | 963 | 729 |9177 | 2 | 608 | 21 | 0.000000e+00 | -- | Inf | 3.99%
10.45/10.58 c 10.6s| 2700 | 25 | 87422 | 23.0 | 84M | 30 | 308 | 981 | 0 |9460 | 0 | 626 | 21 | 0.000000e+00 | -- | Inf | 4.01%
10.55/10.68 c 10.7s| 2800 | 27 | 88919 | 22.7 | 84M | 30 | 308 |1015 | 721 |9689 | 2 | 660 | 21 | 0.000000e+00 | -- | Inf | 4.02%
10.74/10.84 c 10.8s| 2900 | 23 | 90954 | 22.7 | 84M | 32 | 308 |1029 | 728 |9976 | 2 | 674 | 21 | 0.000000e+00 | -- | Inf | 4.10%
10.84/10.93 c 10.9s| 3000 | 25 | 92705 | 22.6 | 84M | 32 | 308 |1056 | 701 | 10k| 0 | 701 | 21 | 0.000000e+00 | -- | Inf | 4.15%
10.95/11.02 c 11.0s| 3100 | 23 | 94347 | 22.4 | 84M | 32 | 308 |1060 | 699 | 10k| 1 | 705 | 21 | 0.000000e+00 | -- | Inf | 4.16%
11.05/11.11 c 11.1s| 3200 | 23 | 95855 | 22.2 | 84M | 32 | 308 |1072 | 722 | 10k| 2 | 717 | 21 | 0.000000e+00 | -- | Inf | 4.17%
11.14/11.21 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
11.14/11.21 c 11.2s| 3300 | 25 | 98007 | 22.2 | 84M | 32 | 308 |1089 | 705 | 11k| 0 | 734 | 21 | 0.000000e+00 | -- | Inf | 4.17%
11.24/11.30 c 11.3s| 3400 | 21 | 99761 | 22.1 | 84M | 33 | 308 |1099 | 718 | 11k| 0 | 744 | 21 | 0.000000e+00 | -- | Inf | 4.17%
11.64/11.73 c 11.7s| 3500 | 29 |101640 | 22.0 | 84M | 33 | 308 |1111 | 697 | 11k| 2 | 756 | 21 | 0.000000e+00 | -- | Inf | 4.55%
11.84/11.92 c 11.9s| 3600 | 27 |103208 | 21.9 | 84M | 33 | 308 |1125 | 0 | 11k| 0 | 770 | 21 | 0.000000e+00 | -- | Inf | 4.76%
11.95/12.07 c 12.1s| 3700 | 33 |104751 | 21.8 | 84M | 33 | 308 |1137 | 683 | 12k| 1 | 782 | 21 | 0.000000e+00 | -- | Inf | 4.85%
12.14/12.24 c 12.2s| 3800 | 29 |106347 | 21.7 | 84M | 33 | 308 |1147 | 689 | 12k| 0 | 792 | 21 | 0.000000e+00 | -- | Inf | 4.90%
12.24/12.32 c 12.3s| 3900 | 31 |107870 | 21.5 | 84M | 33 | 308 |1169 | 691 | 12k| 2 | 814 | 21 | 0.000000e+00 | -- | Inf | 4.94%
12.34/12.41 c 12.4s| 4000 | 29 |109489 | 21.4 | 84M | 33 | 308 |1173 | 691 | 12k| 2 | 819 | 21 | 0.000000e+00 | -- | Inf | 4.95%
12.54/12.63 c 12.6s| 4100 | 31 |112076 | 21.5 | 84M | 33 | 308 |1205 | 718 | 13k| 0 | 853 | 21 | 0.000000e+00 | -- | Inf | 5.12%
12.64/12.77 c 12.8s| 4200 | 31 |114554 | 21.6 | 84M | 33 | 308 |1210 | 720 | 13k| 0 | 859 | 21 | 0.000000e+00 | -- | Inf | 5.24%
13.14/13.24 c 13.2s| 4300 | 37 |118993 | 22.0 | 85M | 33 | 308 |1220 | 725 | 14k| 1 | 870 | 21 | 0.000000e+00 | -- | Inf | 6.35%
13.44/13.55 c 13.5s| 4400 | 33 |121754 | 22.1 | 85M | 33 | 308 |1231 | 705 | 14k| 0 | 882 | 21 | 0.000000e+00 | -- | Inf | 6.70%
13.83/13.92 c 13.9s| 4500 | 33 |124329 | 22.2 | 87M | 33 | 308 |1255 | 700 | 15k| 0 | 908 | 21 | 0.000000e+00 | -- | Inf | 7.15%
14.04/14.11 c 14.1s| 4600 | 37 |125811 | 22.0 | 87M | 33 | 308 |1261 | 715 | 15k| 1 | 914 | 21 | 0.000000e+00 | -- | Inf | 7.34%
14.33/14.41 c 14.4s| 4700 | 37 |128363 | 22.1 | 87M | 33 | 308 |1266 | 721 | 15k| 2 | 920 | 21 | 0.000000e+00 | -- | Inf | 7.46%
14.43/14.52 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
14.43/14.52 c 14.5s| 4800 | 35 |130501 | 22.1 | 87M | 33 | 308 |1279 | 712 | 15k| 1 | 934 | 21 | 0.000000e+00 | -- | Inf | 7.50%
14.53/14.69 c 14.7s| 4900 | 41 |132534 | 22.1 | 87M | 33 | 308 |1283 | 723 | 16k| 0 | 939 | 21 | 0.000000e+00 | -- | Inf | 7.62%
14.73/14.86 c 14.9s| 5000 | 39 |134269 | 22.0 | 87M | 33 | 308 |1287 | 701 | 16k| 2 | 943 | 21 | 0.000000e+00 | -- | Inf | 7.70%
14.93/15.03 c 15.0s| 5100 | 39 |136177 | 21.9 | 87M | 33 | 308 |1288 | 681 | 16k| 0 | 945 | 21 | 0.000000e+00 | -- | Inf | 7.77%
15.03/15.12 c 15.1s| 5200 | 39 |137853 | 21.8 | 87M | 33 | 308 |1288 | 687 | 16k| 2 | 945 | 21 | 0.000000e+00 | -- | Inf | 7.83%
15.13/15.21 c 15.2s| 5300 | 37 |139618 | 21.8 | 87M | 33 | 308 |1286 | 699 | 17k| 2 | 945 | 21 | 0.000000e+00 | -- | Inf | 7.85%
15.23/15.39 c 15.4s| 5400 | 37 |141809 | 21.8 | 87M | 33 | 308 |1293 | 717 | 17k| 2 | 952 | 21 | 0.000000e+00 | -- | Inf | 7.88%
15.43/15.55 c 15.5s| 5500 | 37 |143493 | 21.7 | 88M | 33 | 308 |1310 | 701 | 17k| 0 | 970 | 21 | 0.000000e+00 | -- | Inf | 7.99%
15.53/15.65 c 15.6s| 5600 | 35 |145305 | 21.7 | 88M | 33 | 308 |1321 | 718 | 17k| 0 | 983 | 21 | 0.000000e+00 | -- | Inf | 8.02%
15.73/15.88 c 15.9s| 5700 | 37 |148619 | 21.8 | 88M | 33 | 308 |1330 | 727 | 18k| 2 | 998 | 21 | 0.000000e+00 | -- | Inf | 8.47%
16.03/16.16 c 16.2s| 5800 | 55 |152210 | 22.0 | 88M | 33 | 308 |1340 | 688 | 18k| 0 |1010 | 21 | 0.000000e+00 | -- | Inf | 8.64%
16.13/16.26 c 16.3s| 5900 | 53 |153676 | 21.9 | 88M | 33 | 308 |1339 | 679 | 18k| 2 |1010 | 21 | 0.000000e+00 | -- | Inf | 8.65%
16.32/16.49 c 16.5s| 6000 | 47 |155080 | 21.8 | 88M | 33 | 308 |1355 | 693 | 18k| 0 |1027 | 21 | 0.000000e+00 | -- | Inf | 8.96%
16.62/16.78 c 16.8s| 6100 | 45 |156975 | 21.8 | 88M | 33 | 308 |1375 | 0 | 19k| 0 |1055 | 21 | 0.000000e+00 | -- | Inf | 9.36%
16.82/16.96 c 17.0s| 6200 | 49 |159137 | 21.8 | 88M | 33 | 308 |1376 | 704 | 19k| 2 |1060 | 21 | 0.000000e+00 | -- | Inf | 9.55%
17.03/17.11 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
17.03/17.11 c 17.1s| 6300 | 47 |160805 | 21.7 | 88M | 33 | 308 |1387 | 696 | 19k| 2 |1073 | 21 | 0.000000e+00 | -- | Inf | 9.65%
17.12/17.21 c 17.2s| 6400 | 43 |162520 | 21.6 | 88M | 33 | 308 |1383 | 711 | 20k| 0 |1078 | 21 | 0.000000e+00 | -- | Inf | 9.66%
17.32/17.43 c 17.4s| 6500 | 43 |164458 | 21.6 | 88M | 33 | 308 |1386 | 698 | 20k| 1 |1088 | 21 | 0.000000e+00 | -- | Inf | 10.05%
17.52/17.60 c 17.6s| 6600 | 49 |166843 | 21.6 | 88M | 33 | 308 |1379 | 724 | 20k| 2 |1096 | 21 | 0.000000e+00 | -- | Inf | 10.14%
17.72/17.80 c 17.8s| 6700 | 47 |169918 | 21.8 | 88M | 33 | 308 |1381 | 0 | 21k| 0 |1111 | 21 | 0.000000e+00 | -- | Inf | 10.24%
17.92/18.06 c 18.1s| 6800 | 49 |171836 | 21.7 | 88M | 33 | 308 |1387 | 678 | 21k| 0 |1123 | 21 | 0.000000e+00 | -- | Inf | 10.32%
18.12/18.23 c 18.2s| 6900 | 51 |173544 | 21.7 | 88M | 33 | 308 |1382 | 686 | 21k| 2 |1123 | 21 | 0.000000e+00 | -- | Inf | 10.37%
18.22/18.32 c 18.3s| 7000 | 51 |175403 | 21.6 | 88M | 33 | 308 |1378 | 703 | 22k| 0 |1125 | 21 | 0.000000e+00 | -- | Inf | 10.47%
18.32/18.42 c 18.4s| 7100 | 51 |177020 | 21.6 | 88M | 33 | 308 |1371 | 696 | 22k| 2 |1125 | 21 | 0.000000e+00 | -- | Inf | 10.47%
18.42/18.53 c 18.5s| 7200 | 49 |178651 | 21.5 | 88M | 33 | 308 |1367 | 673 | 22k| 2 |1125 | 21 | 0.000000e+00 | -- | Inf | 10.51%
18.52/18.62 c 18.6s| 7300 | 51 |180454 | 21.5 | 88M | 33 | 308 |1361 | 706 | 22k| 2 |1125 | 21 | 0.000000e+00 | -- | Inf | 10.53%
18.62/18.72 c 18.7s| 7400 | 53 |182275 | 21.4 | 88M | 33 | 308 |1365 | 700 | 23k| 2 |1131 | 21 | 0.000000e+00 | -- | Inf | 10.56%
18.72/18.80 c 18.8s| 7500 | 51 |183639 | 21.3 | 88M | 33 | 308 |1372 | 704 | 23k| 1 |1139 | 21 | 0.000000e+00 | -- | Inf | 10.57%
18.72/18.88 c 18.9s| 7600 | 47 |185201 | 21.3 | 88M | 33 | 308 |1376 | 702 | 23k| 0 |1149 | 21 | 0.000000e+00 | -- | Inf | 10.59%
19.02/19.16 c 19.2s| 7700 | 53 |187121 | 21.2 | 88M | 33 | 308 |1370 | 699 | 23k| 2 |1151 | 21 | 0.000000e+00 | -- | Inf | 10.87%
19.21/19.34 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
19.21/19.34 c 19.3s| 7800 | 55 |189201 | 21.2 | 88M | 33 | 308 |1366 | 0 | 24k| 0 |1157 | 21 | 0.000000e+00 | -- | Inf | 11.05%
19.41/19.53 c 19.5s| 7900 | 55 |191393 | 21.2 | 88M | 33 | 308 |1366 | 703 | 24k| 2 |1163 | 21 | 0.000000e+00 | -- | Inf | 11.15%
19.61/19.73 c 19.7s| 8000 | 51 |193565 | 21.2 | 88M | 33 | 308 |1364 | 711 | 24k| 2 |1169 | 21 | 0.000000e+00 | -- | Inf | 11.28%
19.81/19.97 c 20.0s| 8100 | 57 |195527 | 21.2 | 88M | 33 | 308 |1362 | 704 | 25k| 2 |1179 | 21 | 0.000000e+00 | -- | Inf | 11.41%
19.92/20.09 c 20.1s| 8200 | 55 |197140 | 21.2 | 88M | 33 | 308 |1358 | 706 | 25k| 1 |1181 | 21 | 0.000000e+00 | -- | Inf | 11.49%
20.02/20.17 c 20.2s| 8300 | 55 |198435 | 21.1 | 88M | 33 | 308 |1355 | 699 | 25k| 0 |1181 | 21 | 0.000000e+00 | -- | Inf | 11.51%
20.11/20.26 c 20.3s| 8400 | 57 |200075 | 21.0 | 88M | 33 | 308 |1355 | 688 | 25k| 2 |1185 | 21 | 0.000000e+00 | -- | Inf | 11.53%
20.21/20.34 c 20.3s| 8500 | 55 |201350 | 20.9 | 88M | 33 | 308 |1362 | 704 | 25k| 0 |1195 | 21 | 0.000000e+00 | -- | Inf | 11.54%
20.31/20.49 c 20.5s| 8600 | 55 |202976 | 20.9 | 88M | 33 | 308 |1361 | 686 | 26k| 1 |1202 | 21 | 0.000000e+00 | -- | Inf | 11.61%
20.41/20.58 c 20.6s| 8700 | 57 |204521 | 20.8 | 88M | 33 | 308 |1358 | 699 | 26k| 0 |1210 | 21 | 0.000000e+00 | -- | Inf | 11.63%
20.51/20.68 c 20.7s| 8800 | 55 |206342 | 20.8 | 88M | 33 | 308 |1360 | 726 | 26k| 1 |1221 | 21 | 0.000000e+00 | -- | Inf | 11.65%
20.61/20.78 c 20.8s| 8900 | 53 |208187 | 20.8 | 88M | 33 | 308 |1354 | 734 | 27k| 2 |1225 | 21 | 0.000000e+00 | -- | Inf | 11.65%
20.91/21.06 c 21.1s| 9000 | 55 |211411 | 20.9 | 88M | 33 | 308 |1356 | 711 | 27k| 2 |1242 | 21 | 0.000000e+00 | -- | Inf | 12.14%
21.11/21.24 c 21.2s| 9100 | 57 |213329 | 20.9 | 88M | 33 | 308 |1342 | 717 | 27k| 1 |1248 | 21 | 0.000000e+00 | -- | Inf | 12.18%
21.21/21.31 c 21.3s| 9200 | 57 |214758 | 20.8 | 88M | 33 | 308 |1337 | 707 | 27k| 2 |1250 | 21 | 0.000000e+00 | -- | Inf | 12.19%
21.31/21.41 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
21.31/21.41 c 21.4s| 9300 | 55 |216822 | 20.8 | 88M | 33 | 308 |1334 | 0 | 28k| 0 |1255 | 21 | 0.000000e+00 | -- | Inf | 12.21%
21.51/21.65 c 21.7s| 9400 | 55 |220483 | 21.0 | 88M | 33 | 308 |1335 | 0 | 28k| 0 |1271 | 21 | 0.000000e+00 | -- | Inf | 12.48%
21.81/21.92 c 21.9s| 9500 | 61 |224754 | 21.2 | 88M | 33 | 308 |1347 | 740 | 29k| 2 |1308 | 21 | 0.000000e+00 | -- | Inf | 12.68%
21.91/22.04 c 22.0s| 9600 | 59 |227179 | 21.2 | 88M | 33 | 308 |1368 | 725 | 29k| 2 |1355 | 21 | 0.000000e+00 | -- | Inf | 12.73%
22.10/22.23 c 22.2s| 9700 | 57 |230433 | 21.3 | 88M | 33 | 308 |1366 | 690 | 30k| 2 |1374 | 21 | 0.000000e+00 | -- | Inf | 12.88%
22.20/22.38 c 22.4s| 9800 | 57 |232565 | 21.3 | 88M | 33 | 308 |1369 | 707 | 30k| 0 |1378 | 21 | 0.000000e+00 | -- | Inf | 12.97%
22.40/22.55 c 22.6s| 9900 | 57 |234859 | 21.3 | 88M | 33 | 308 |1378 | 0 | 30k| 0 |1392 | 21 | 0.000000e+00 | -- | Inf | 13.18%
22.50/22.64 c 22.6s| 10000 | 61 |236544 | 21.3 | 88M | 33 | 308 |1384 | 713 | 31k| 2 |1402 | 21 | 0.000000e+00 | -- | Inf | 13.19%
22.71/22.83 c 22.8s| 10100 | 63 |239205 | 21.3 | 90M | 33 | 308 |1382 | 0 | 31k| 0 |1406 | 21 | 0.000000e+00 | -- | Inf | 13.38%
22.92/23.07 c 23.1s| 10200 | 61 |242831 | 21.5 | 90M | 33 | 308 |1391 | 708 | 31k| 0 |1429 | 21 | 0.000000e+00 | -- | Inf | 13.56%
23.11/23.26 c 23.3s| 10300 | 65 |245228 | 21.5 | 90M | 33 | 308 |1387 | 706 | 32k| 0 |1433 | 21 | 0.000000e+00 | -- | Inf | 13.64%
23.21/23.35 c 23.3s| 10400 | 63 |246859 | 21.4 | 90M | 33 | 308 |1389 | 706 | 32k| 1 |1438 | 21 | 0.000000e+00 | -- | Inf | 13.65%
23.51/23.61 c 23.6s| 10500 | 65 |250510 | 21.6 | 90M | 33 | 308 |1382 | 839 | 33k| 0 |1443 | 21 | 0.000000e+00 | -- | Inf | 14.14%
23.61/23.78 c 23.8s| 10600 | 65 |252846 | 21.6 | 90M | 33 | 308 |1381 | 729 | 33k| 2 |1449 | 21 | 0.000000e+00 | -- | Inf | 14.24%
23.81/23.97 c 24.0s| 10700 | 67 |255575 | 21.6 | 90M | 33 | 308 |1381 | 834 | 33k| 1 |1464 | 21 | 0.000000e+00 | -- | Inf | 14.44%
23.91/24.03 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
23.91/24.03 c 24.0s| 10800 | 65 |256780 | 21.6 | 90M | 33 | 308 |1381 | 838 | 33k| 1 |1468 | 21 | 0.000000e+00 | -- | Inf | 14.44%
24.01/24.13 c 24.1s| 10900 | 65 |258458 | 21.5 | 90M | 33 | 308 |1383 | 836 | 33k| 1 |1474 | 21 | 0.000000e+00 | -- | Inf | 14.44%
24.11/24.21 c 24.2s| 11000 | 63 |259907 | 21.5 | 90M | 33 | 308 |1388 | 841 | 34k| 1 |1486 | 21 | 0.000000e+00 | -- | Inf | 14.44%
24.11/24.28 c 24.3s| 11100 | 63 |261145 | 21.4 | 90M | 33 | 308 |1385 | 852 | 34k| 1 |1490 | 21 | 0.000000e+00 | -- | Inf | 14.44%
24.41/24.52 c 24.5s| 11200 | 69 |262991 | 21.4 | 90M | 35 | 308 |1383 | 695 | 34k| 2 |1502 | 21 | 0.000000e+00 | -- | Inf | 14.73%
24.51/24.68 c 24.7s| 11300 | 67 |265031 | 21.4 | 90M | 35 | 308 |1378 | 704 | 34k| 2 |1506 | 21 | 0.000000e+00 | -- | Inf | 14.83%
24.71/24.83 c 24.8s| 11400 | 67 |267024 | 21.3 | 90M | 35 | 308 |1375 | 718 | 35k| 2 |1510 | 21 | 0.000000e+00 | -- | Inf | 14.87%
24.80/24.93 c 24.9s| 11500 | 67 |269257 | 21.3 | 90M | 35 | 308 |1379 | 715 | 35k| 0 |1520 | 21 | 0.000000e+00 | -- | Inf | 14.90%
25.01/25.11 c 25.1s| 11600 | 69 |271098 | 21.3 | 90M | 35 | 308 |1377 | 701 | 35k| 2 |1528 | 21 | 0.000000e+00 | -- | Inf | 14.96%
25.10/25.20 c 25.2s| 11700 | 65 |272793 | 21.3 | 90M | 35 | 308 |1376 | 709 | 35k| 0 |1537 | 21 | 0.000000e+00 | -- | Inf | 14.97%
25.40/25.53 c 25.5s| 11800 | 73 |274923 | 21.3 | 90M | 35 | 308 |1389 | 682 | 36k| 0 |1563 | 21 | 0.000000e+00 | -- | Inf | 15.26%
25.50/25.61 c 25.6s| 11900 | 73 |276327 | 21.2 | 90M | 35 | 308 |1396 | 696 | 36k| 1 |1575 | 21 | 0.000000e+00 | -- | Inf | 15.34%
25.60/25.75 c 25.7s| 12000 | 73 |277856 | 21.2 | 90M | 35 | 308 |1410 | 700 | 36k| 2 |1593 | 21 | 0.000000e+00 | -- | Inf | 15.39%
25.70/25.84 c 25.8s| 12100 | 73 |279607 | 21.2 | 90M | 35 | 308 |1413 | 694 | 36k| 0 |1603 | 21 | 0.000000e+00 | -- | Inf | 15.43%
25.91/26.04 c 26.0s| 12200 | 75 |281383 | 21.1 | 90M | 35 | 308 |1404 | 675 | 36k| 2 |1603 | 21 | 0.000000e+00 | -- | Inf | 15.53%
26.01/26.14 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
26.01/26.14 c 26.1s| 12300 | 75 |283363 | 21.1 | 90M | 35 | 308 |1406 | 693 | 37k| 2 |1607 | 21 | 0.000000e+00 | -- | Inf | 15.63%
26.10/26.27 c 26.3s| 12400 | 77 |284966 | 21.1 | 90M | 35 | 308 |1413 | 690 | 37k| 0 |1616 | 21 | 0.000000e+00 | -- | Inf | 15.68%
26.20/26.37 c 26.4s| 12500 | 79 |286787 | 21.1 | 91M | 35 | 308 |1425 | 689 | 37k| 2 |1630 | 21 | 0.000000e+00 | -- | Inf | 15.71%
26.30/26.47 c 26.5s| 12600 | 79 |288806 | 21.1 | 91M | 35 | 308 |1436 | 697 | 37k| 2 |1642 | 21 | 0.000000e+00 | -- | Inf | 15.73%
26.40/26.57 c 26.6s| 12700 | 79 |290426 | 21.0 | 91M | 35 | 308 |1436 | 731 | 38k| 1 |1644 | 21 | 0.000000e+00 | -- | Inf | 15.73%
26.50/26.68 c 26.7s| 12800 | 77 |292761 | 21.0 | 91M | 35 | 308 |1442 | 704 | 38k| 1 |1652 | 21 | 0.000000e+00 | -- | Inf | 15.73%
26.60/26.76 c 26.8s| 12900 | 77 |294351 | 21.0 | 91M | 35 | 308 |1436 | 724 | 38k| 2 |1652 | 21 | 0.000000e+00 | -- | Inf | 15.73%
26.90/27.07 c 27.1s| 13000 | 75 |296444 | 21.0 | 91M | 35 | 308 |1426 | 698 | 39k| 2 |1661 | 21 | 0.000000e+00 | -- | Inf | 15.91%
27.00/27.16 c 27.2s| 13100 | 75 |298112 | 21.0 | 91M | 35 | 308 |1434 | 717 | 39k| 1 |1675 | 21 | 0.000000e+00 | -- | Inf | 15.96%
27.10/27.25 c 27.3s| 13200 | 77 |299838 | 20.9 | 91M | 35 | 308 |1434 | 724 | 39k| 2 |1681 | 21 | 0.000000e+00 | -- | Inf | 15.97%
27.20/27.34 c 27.3s| 13300 | 75 |301516 | 20.9 | 91M | 35 | 308 |1436 | 840 | 39k| 1 |1686 | 21 | 0.000000e+00 | -- | Inf | 15.97%
27.30/27.48 c 27.5s| 13400 | 73 |303503 | 20.9 | 91M | 35 | 308 |1421 | 702 | 40k| 2 |1688 | 21 | 0.000000e+00 | -- | Inf | 16.08%
27.50/27.66 c 27.7s| 13500 | 73 |305690 | 20.9 | 91M | 35 | 308 |1410 | 724 | 40k| 0 |1690 | 21 | 0.000000e+00 | -- | Inf | 16.14%
27.60/27.74 c 27.7s| 13600 | 75 |307229 | 20.9 | 91M | 35 | 308 |1414 | 697 | 40k| 2 |1699 | 21 | 0.000000e+00 | -- | Inf | 16.17%
27.69/27.83 c 27.8s| 13700 | 75 |309007 | 20.9 | 91M | 35 | 308 |1413 | 770 | 40k| 0 |1703 | 21 | 0.000000e+00 | -- | Inf | 16.18%
27.90/28.06 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
27.90/28.06 c 28.1s| 13800 | 77 |311188 | 20.9 | 91M | 35 | 308 |1417 | 701 | 41k| 2 |1711 | 21 | 0.000000e+00 | -- | Inf | 16.29%
28.00/28.16 c 28.2s| 13900 | 79 |312948 | 20.8 | 91M | 35 | 308 |1436 | 708 | 41k| 0 |1732 | 21 | 0.000000e+00 | -- | Inf | 16.34%
28.09/28.24 c 28.2s| 14000 | 77 |314643 | 20.8 | 91M | 35 | 308 |1435 | 721 | 41k| 1 |1734 | 21 | 0.000000e+00 | -- | Inf | 16.36%
28.19/28.32 c 28.3s| 14100 | 77 |316214 | 20.8 | 91M | 35 | 308 |1439 | 0 | 41k| 0 |1738 | 21 | 0.000000e+00 | -- | Inf | 16.36%
28.29/28.42 c 28.4s| 14200 | 79 |318171 | 20.8 | 91M | 35 | 308 |1444 | 713 | 42k| 2 |1747 | 21 | 0.000000e+00 | -- | Inf | 16.37%
28.39/28.50 c 28.5s| 14300 | 79 |319822 | 20.7 | 91M | 35 | 308 |1444 | 717 | 42k| 0 |1749 | 21 | 0.000000e+00 | -- | Inf | 16.37%
28.39/28.58 c 28.6s| 14400 | 75 |321359 | 20.7 | 91M | 36 | 308 |1439 | 905 | 42k| 0 |1751 | 21 | 0.000000e+00 | -- | Inf | 16.38%
28.69/28.82 c 28.8s| 14500 | 75 |324005 | 20.8 | 91M | 36 | 308 |1441 | 720 | 42k| 2 |1757 | 21 | 0.000000e+00 | -- | Inf | 16.58%
28.79/28.97 c 29.0s| 14600 | 77 |325433 | 20.7 | 91M | 36 | 308 |1452 | 699 | 42k| 2 |1769 | 21 | 0.000000e+00 | -- | Inf | 16.65%
29.09/29.21 c 29.2s| 14700 | 83 |327187 | 20.7 | 91M | 36 | 308 |1453 | 682 | 43k| 2 |1780 | 21 | 0.000000e+00 | -- | Inf | 16.70%
29.19/29.30 c 29.3s| 14800 | 83 |328938 | 20.7 | 91M | 36 | 308 |1452 | 698 | 43k| 2 |1786 | 21 | 0.000000e+00 | -- | Inf | 16.73%
29.29/29.46 c 29.5s| 14900 | 81 |330696 | 20.7 | 91M | 36 | 308 |1448 | 695 | 43k| 2 |1795 | 21 | 0.000000e+00 | -- | Inf | 16.81%
29.39/29.53 c 29.5s| 15000 | 81 |332024 | 20.6 | 91M | 36 | 308 |1447 | 704 | 43k| 1 |1799 | 21 | 0.000000e+00 | -- | Inf | 16.83%
29.49/29.63 c 29.6s| 15100 | 79 |333585 | 20.6 | 91M | 36 | 308 |1442 | 693 | 43k| 1 |1806 | 21 | 0.000000e+00 | -- | Inf | 16.84%
29.59/29.72 c 29.7s| 15200 | 83 |335321 | 20.6 | 91M | 36 | 308 |1438 | 688 | 44k| 0 |1816 | 21 | 0.000000e+00 | -- | Inf | 16.86%
29.69/29.81 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
29.69/29.81 c 29.8s| 15300 | 81 |337165 | 20.5 | 91M | 36 | 308 |1438 | 755 | 44k| 2 |1825 | 21 | 0.000000e+00 | -- | Inf | 16.87%
29.79/29.90 c 29.9s| 15400 | 83 |338947 | 20.5 | 91M | 36 | 308 |1432 | 0 | 44k| 0 |1829 | 21 | 0.000000e+00 | -- | Inf | 16.88%
29.89/30.00 c 30.0s| 15500 | 83 |340922 | 20.5 | 91M | 36 | 308 |1423 | 720 | 44k| 2 |1833 | 21 | 0.000000e+00 | -- | Inf | 16.88%
30.19/30.37 c 30.4s| 15600 | 83 |344290 | 20.6 | 91M | 36 | 308 |1415 | 724 | 45k| 1 |1837 | 21 | 0.000000e+00 | -- | Inf | 17.06%
30.28/30.49 c 30.5s| 15700 | 81 |347173 | 20.6 | 91M | 36 | 308 |1404 | 720 | 45k| 2 |1843 | 21 | 0.000000e+00 | -- | Inf | 17.08%
30.48/30.69 c 30.7s| 15800 | 81 |350056 | 20.7 | 91M | 36 | 308 |1406 | 728 | 46k| 2 |1857 | 21 | 0.000000e+00 | -- | Inf | 17.15%
30.68/30.80 c 30.8s| 15900 | 81 |352472 | 20.7 | 91M | 36 | 308 |1402 | 781 | 46k| 0 |1867 | 21 | 0.000000e+00 | -- | Inf | 17.17%
30.78/30.90 c 30.9s| 16000 | 79 |354583 | 20.7 | 91M | 36 | 308 |1400 | 0 | 46k| 0 |1875 | 21 | 0.000000e+00 | -- | Inf | 17.18%
30.99/31.17 c 31.2s| 16100 | 89 |358633 | 20.8 | 91M | 36 | 308 |1387 | 722 | 47k| 2 |1880 | 21 | 0.000000e+00 | -- | Inf | 17.45%
31.18/31.38 c 31.4s| 16200 | 85 |361151 | 20.9 | 91M | 36 | 308 |1380 | 770 | 47k| 0 |1884 | 21 | 0.000000e+00 | -- | Inf | 17.51%
31.48/31.60 c 31.6s| 16300 | 89 |364691 | 20.9 | 91M | 36 | 308 |1358 | 702 | 47k| 2 |1893 | 21 | 0.000000e+00 | -- | Inf | 17.59%
31.48/31.69 c 31.7s| 16400 | 85 |366645 | 20.9 | 91M | 36 | 308 |1346 | 723 | 48k| 2 |1895 | 21 | 0.000000e+00 | -- | Inf | 17.66%
31.78/31.96 c 32.0s| 16500 | 87 |368878 | 20.9 | 91M | 36 | 308 |1331 | 711 | 48k| 2 |1895 | 21 | 0.000000e+00 | -- | Inf | 17.70%
31.88/32.07 c 32.1s| 16600 | 87 |371438 | 21.0 | 91M | 36 | 308 |1316 | 726 | 48k| 2 |1899 | 21 | 0.000000e+00 | -- | Inf | 17.78%
31.98/32.19 c 32.2s| 16700 | 83 |374128 | 21.0 | 91M | 36 | 308 |1301 | 720 | 49k| 2 |1901 | 21 | 0.000000e+00 | -- | Inf | 17.84%
32.28/32.42 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
32.28/32.42 c 32.4s| 16800 | 85 |377614 | 21.1 | 91M | 36 | 308 |1288 | 743 | 49k| 1 |1905 | 21 | 0.000000e+00 | -- | Inf | 17.92%
32.38/32.56 c 32.6s| 16900 | 83 |381376 | 21.2 | 91M | 36 | 308 |1269 | 742 | 50k| 2 |1906 | 21 | 0.000000e+00 | -- | Inf | 17.96%
32.58/32.77 c 32.8s| 17000 | 89 |383733 | 21.2 | 91M | 36 | 308 |1259 | 687 | 50k| 2 |1906 | 21 | 0.000000e+00 | -- | Inf | 18.00%
32.68/32.84 c 32.8s| 17100 | 93 |385128 | 21.1 | 91M | 36 | 308 |1269 | 706 | 50k| 0 |1922 | 21 | 0.000000e+00 | -- | Inf | 18.01%
32.78/32.92 c 32.9s| 17200 | 85 |386657 | 21.1 | 91M | 36 | 308 |1271 | 721 | 50k| 0 |1936 | 21 | 0.000000e+00 | -- | Inf | 18.06%
32.88/33.10 c 33.1s| 17300 | 85 |388323 | 21.1 | 91M | 36 | 308 |1262 | 689 | 51k| 2 |1945 | 21 | 0.000000e+00 | -- | Inf | 18.09%
33.08/33.20 c 33.2s| 17400 | 85 |390368 | 21.1 | 91M | 37 | 308 |1262 | 721 | 51k| 2 |1955 | 21 | 0.000000e+00 | -- | Inf | 18.13%
33.27/33.41 c 33.4s| 17500 | 87 |392906 | 21.1 | 91M | 37 | 308 |1267 | 689 | 51k| 2 |1971 | 21 | 0.000000e+00 | -- | Inf | 18.22%
33.37/33.52 c 33.5s| 17600 | 85 |395233 | 21.1 | 91M | 37 | 308 |1265 | 713 | 52k| 2 |1977 | 21 | 0.000000e+00 | -- | Inf | 18.24%
33.57/33.78 c 33.8s| 17700 | 89 |397958 | 21.2 | 91M | 37 | 308 |1268 | 726 | 52k| 0 |1989 | 21 | 0.000000e+00 | -- | Inf | 18.32%
33.67/33.88 c 33.9s| 17800 | 85 |400094 | 21.2 | 91M | 37 | 308 |1281 | 706 | 52k| 2 |2012 | 21 | 0.000000e+00 | -- | Inf | 18.35%
33.77/33.95 c 34.0s| 17900 | 85 |401224 | 21.1 | 91M | 37 | 308 |1290 | 897 | 52k| 1 |2026 | 21 | 0.000000e+00 | -- | Inf | 18.36%
33.88/34.09 c 34.1s| 18000 | 87 |402781 | 21.1 | 91M | 37 | 308 |1290 | 700 | 53k| 0 |2033 | 21 | 0.000000e+00 | -- | Inf | 18.39%
33.98/34.19 c 34.2s| 18100 | 89 |404718 | 21.1 | 91M | 37 | 308 |1288 | 709 | 53k| 0 |2039 | 21 | 0.000000e+00 | -- | Inf | 18.44%
34.07/34.28 c 34.3s| 18200 | 89 |406207 | 21.0 | 91M | 37 | 308 |1289 | 703 | 53k| 2 |2043 | 21 | 0.000000e+00 | -- | Inf | 18.44%
34.27/34.42 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
34.27/34.42 c 34.4s| 18300 | 87 |407804 | 21.0 | 91M | 37 | 308 |1292 | 672 | 53k| 1 |2049 | 21 | 0.000000e+00 | -- | Inf | 18.47%
34.37/34.52 c 34.5s| 18400 | 89 |410141 | 21.0 | 91M | 37 | 308 |1302 | 721 | 54k| 0 |2061 | 21 | 0.000000e+00 | -- | Inf | 18.53%
34.47/34.63 c 34.6s| 18500 | 89 |412236 | 21.0 | 91M | 37 | 308 |1302 | 706 | 54k| 0 |2063 | 21 | 0.000000e+00 | -- | Inf | 18.54%
34.57/34.71 c 34.7s| 18600 | 87 |413793 | 21.0 | 91M | 37 | 308 |1304 | 697 | 54k| 1 |2065 | 21 | 0.000000e+00 | -- | Inf | 18.54%
34.67/34.87 c 34.9s| 18700 | 87 |415611 | 21.0 | 91M | 37 | 308 |1302 | 680 | 54k| 2 |2071 | 21 | 0.000000e+00 | -- | Inf | 18.56%
34.77/34.97 c 35.0s| 18800 | 89 |417679 | 21.0 | 91M | 37 | 308 |1299 | 697 | 55k| 2 |2073 | 21 | 0.000000e+00 | -- | Inf | 18.62%
34.87/35.07 c 35.1s| 18900 | 87 |419603 | 21.0 | 91M | 37 | 308 |1297 | 688 | 55k| 2 |2075 | 21 | 0.000000e+00 | -- | Inf | 18.64%
34.97/35.16 c 35.2s| 19000 | 85 |421205 | 20.9 | 91M | 37 | 308 |1298 | 714 | 55k| 1 |2077 | 21 | 0.000000e+00 | -- | Inf | 18.65%
35.07/35.26 c 35.3s| 19100 | 85 |423295 | 20.9 | 91M | 37 | 308 |1292 | 720 | 56k| 2 |2082 | 21 | 0.000000e+00 | -- | Inf | 18.66%
35.17/35.36 c 35.4s| 19200 | 85 |425399 | 20.9 | 91M | 37 | 308 |1288 | 786 | 56k| 1 |2082 | 21 | 0.000000e+00 | -- | Inf | 18.67%
35.27/35.43 c 35.4s| 19300 | 87 |426863 | 20.9 | 91M | 37 | 308 |1290 | 786 | 56k| 0 |2086 | 21 | 0.000000e+00 | -- | Inf | 18.67%
35.37/35.51 c 35.5s| 19400 | 85 |428412 | 20.9 | 91M | 37 | 308 |1293 | 705 | 56k| 2 |2094 | 21 | 0.000000e+00 | -- | Inf | 18.67%
35.47/35.66 c 35.7s| 19500 | 83 |430506 | 20.9 | 91M | 37 | 308 |1297 | 702 | 56k| 2 |2109 | 21 | 0.000000e+00 | -- | Inf | 18.76%
35.57/35.75 c 35.8s| 19600 | 81 |432252 | 20.9 | 91M | 37 | 308 |1293 | 708 | 57k| 2 |2120 | 21 | 0.000000e+00 | -- | Inf | 18.79%
35.77/35.91 c 35.9s| 19700 | 81 |434777 | 20.9 | 91M | 37 | 308 |1292 | 725 | 57k| 1 |2135 | 21 | 0.000000e+00 | -- | Inf | 19.00%
36.07/36.24 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
36.07/36.24 c 36.2s| 19800 | 83 |436941 | 20.9 | 91M | 37 | 308 |1317 | 703 | 57k| 0 |2171 | 21 | 0.000000e+00 | -- | Inf | 19.25%
36.16/36.33 c 36.3s| 19900 | 83 |438985 | 20.9 | 91M | 37 | 308 |1319 | 901 | 58k| 1 |2175 | 21 | 0.000000e+00 | -- | Inf | 19.30%
36.46/36.60 c 36.6s| 20000 | 81 |441189 | 20.9 | 91M | 37 | 308 |1315 | 696 | 58k| 0 |2186 | 21 | 0.000000e+00 | -- | Inf | 19.42%
36.76/36.91 c 36.9s| 20100 | 85 |444565 | 21.0 | 91M | 37 | 308 |1304 | 720 | 58k| 0 |2195 | 21 | 0.000000e+00 | -- | Inf | 20.15%
36.97/37.18 c 37.2s| 20200 | 85 |448157 | 21.0 | 92M | 37 | 308 |1300 | 702 | 59k| 0 |2202 | 21 | 0.000000e+00 | -- | Inf | 20.35%
37.16/37.36 c 37.4s| 20300 | 87 |450324 | 21.0 | 92M | 37 | 308 |1299 | 716 | 59k| 2 |2204 | 21 | 0.000000e+00 | -- | Inf | 20.50%
37.26/37.44 c 37.4s| 20400 | 85 |451959 | 21.0 | 92M | 37 | 308 |1297 | 734 | 59k| 1 |2204 | 21 | 0.000000e+00 | -- | Inf | 20.54%
37.36/37.53 c 37.5s| 20500 | 83 |453645 | 21.0 | 92M | 37 | 308 |1296 | 900 | 59k| 1 |2208 | 21 | 0.000000e+00 | -- | Inf | 20.55%
37.56/37.70 c 37.7s| 20600 | 87 |455441 | 21.0 | 92M | 37 | 308 |1295 | 702 | 60k| 2 |2216 | 21 | 0.000000e+00 | -- | Inf | 20.58%
37.56/37.78 c 37.8s| 20700 | 89 |457048 | 21.0 | 92M | 37 | 308 |1291 | 695 | 60k| 2 |2218 | 21 | 0.000000e+00 | -- | Inf | 20.59%
37.66/37.88 c 37.9s| 20800 | 89 |458696 | 20.9 | 92M | 37 | 308 |1290 | 698 | 60k| 2 |2219 | 21 | 0.000000e+00 | -- | Inf | 20.59%
37.76/37.96 c 38.0s| 20900 | 87 |460135 | 20.9 | 92M | 37 | 308 |1286 | 698 | 60k| 2 |2219 | 21 | 0.000000e+00 | -- | Inf | 20.60%
37.86/38.05 c 38.1s| 21000 | 89 |461794 | 20.9 | 92M | 37 | 308 |1285 | 715 | 61k| 2 |2223 | 21 | 0.000000e+00 | -- | Inf | 20.60%
37.96/38.13 c 38.1s| 21100 | 87 |463181 | 20.9 | 92M | 37 | 308 |1286 | 722 | 61k| 0 |2227 | 21 | 0.000000e+00 | -- | Inf | 20.60%
38.06/38.21 c 38.2s| 21200 | 83 |464568 | 20.8 | 92M | 37 | 308 |1285 | 729 | 61k| 0 |2234 | 21 | 0.000000e+00 | -- | Inf | 20.61%
38.16/38.35 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
38.16/38.35 c 38.4s| 21300 | 79 |466989 | 20.8 | 92M | 37 | 308 |1280 | 939 | 61k| 0 |2240 | 21 | 0.000000e+00 | -- | Inf | 20.71%
38.36/38.55 c 38.5s| 21400 | 83 |469445 | 20.9 | 92M | 37 | 308 |1275 | 720 | 62k| 2 |2243 | 21 | 0.000000e+00 | -- | Inf | 20.75%
38.46/38.62 c 38.6s| 21500 | 83 |470843 | 20.8 | 92M | 37 | 308 |1278 | 0 | 62k| 0 |2253 | 21 | 0.000000e+00 | -- | Inf | 20.76%
38.56/38.70 c 38.7s| 21600 | 81 |472452 | 20.8 | 92M | 37 | 308 |1278 | 725 | 62k| 0 |2259 | 21 | 0.000000e+00 | -- | Inf | 20.76%
38.66/38.81 c 38.8s| 21700 | 83 |474682 | 20.8 | 92M | 37 | 308 |1271 | 719 | 62k| 2 |2265 | 21 | 0.000000e+00 | -- | Inf | 20.79%
38.76/38.92 c 38.9s| 21800 | 81 |477275 | 20.8 | 92M | 37 | 308 |1267 | 904 | 63k| 0 |2271 | 21 | 0.000000e+00 | -- | Inf | 20.81%
38.86/39.04 c 39.0s| 21900 | 83 |479615 | 20.8 | 94M | 37 | 308 |1275 | 722 | 63k| 0 |2284 | 21 | 0.000000e+00 | -- | Inf | 20.82%
38.96/39.12 c 39.1s| 22000 | 83 |481030 | 20.8 | 94M | 37 | 308 |1279 | 723 | 63k| 0 |2290 | 21 | 0.000000e+00 | -- | Inf | 20.82%
39.05/39.22 c 39.2s| 22100 | 83 |482939 | 20.8 | 94M | 37 | 308 |1281 | 719 | 64k| 0 |2294 | 21 | 0.000000e+00 | -- | Inf | 20.82%
39.15/39.30 c 39.3s| 22200 | 83 |484663 | 20.8 | 94M | 37 | 308 |1281 | 717 | 64k| 1 |2302 | 21 | 0.000000e+00 | -- | Inf | 20.82%
39.15/39.39 c 39.4s| 22300 | 83 |486379 | 20.8 | 94M | 37 | 308 |1281 | 730 | 64k| 2 |2307 | 21 | 0.000000e+00 | -- | Inf | 20.83%
39.25/39.47 c 39.5s| 22400 | 83 |488079 | 20.8 | 94M | 37 | 308 |1289 | 743 | 64k| 0 |2315 | 21 | 0.000000e+00 | -- | Inf | 20.83%
39.35/39.56 c 39.6s| 22500 | 83 |489964 | 20.7 | 94M | 37 | 308 |1294 | 697 | 64k| 0 |2327 | 21 | 0.000000e+00 | -- | Inf | 20.83%
39.45/39.65 c 39.6s| 22600 | 83 |491709 | 20.7 | 94M | 37 | 308 |1295 | 683 | 65k| 1 |2331 | 21 | 0.000000e+00 | -- | Inf | 20.85%
39.55/39.73 c 39.7s| 22700 | 85 |493250 | 20.7 | 94M | 37 | 308 |1295 | 748 | 65k| 1 |2332 | 21 | 0.000000e+00 | -- | Inf | 20.85%
39.65/39.81 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
39.65/39.81 c 39.8s| 22800 | 83 |495008 | 20.7 | 94M | 37 | 308 |1297 | 716 | 65k| 0 |2336 | 21 | 0.000000e+00 | -- | Inf | 20.86%
39.75/39.91 c 39.9s| 22900 | 83 |497018 | 20.7 | 94M | 37 | 308 |1305 | 713 | 65k| 1 |2346 | 21 | 0.000000e+00 | -- | Inf | 20.87%
39.86/40.02 c 40.0s| 23000 | 83 |499302 | 20.7 | 94M | 37 | 308 |1300 | 723 | 66k| 2 |2356 | 21 | 0.000000e+00 | -- | Inf | 20.89%
39.96/40.10 c 40.1s| 23100 | 83 |501099 | 20.7 | 94M | 37 | 308 |1295 | 714 | 66k| 2 |2361 | 21 | 0.000000e+00 | -- | Inf | 20.90%
40.05/40.20 c 40.2s| 23200 | 83 |503133 | 20.7 | 94M | 37 | 308 |1299 | 723 | 66k| 2 |2376 | 21 | 0.000000e+00 | -- | Inf | 20.90%
40.05/40.29 c 40.3s| 23300 | 87 |504773 | 20.7 | 94M | 37 | 308 |1319 | 730 | 67k| 2 |2397 | 21 | 0.000000e+00 | -- | Inf | 20.91%
40.15/40.37 c 40.4s| 23400 | 85 |506292 | 20.7 | 94M | 37 | 308 |1336 | 705 | 67k| 1 |2419 | 21 | 0.000000e+00 | -- | Inf | 20.91%
40.35/40.54 c 40.5s| 23500 | 91 |508147 | 20.6 | 94M | 37 | 308 |1338 | 674 | 67k| 2 |2434 | 21 | 0.000000e+00 | -- | Inf | 20.93%
40.45/40.63 c 40.6s| 23600 | 89 |509871 | 20.6 | 94M | 37 | 308 |1342 | 707 | 67k| 1 |2446 | 21 | 0.000000e+00 | -- | Inf | 20.99%
40.55/40.74 c 40.7s| 23700 | 89 |511696 | 20.6 | 94M | 37 | 308 |1370 | 856 | 68k| 2 |2479 | 21 | 0.000000e+00 | -- | Inf | 21.01%
40.65/40.80 c 40.8s| 23800 | 87 |512939 | 20.6 | 94M | 37 | 308 |1399 | 0 | 68k| 0 |2508 | 21 | 0.000000e+00 | -- | Inf | 21.01%
40.75/40.98 c 41.0s| 23900 | 91 |514721 | 20.6 | 94M | 37 | 308 |1388 | 732 | 68k| 0 |2517 | 21 | 0.000000e+00 | -- | Inf | 21.05%
40.85/41.06 c 41.1s| 24000 | 89 |515939 | 20.5 | 94M | 37 | 308 |1393 | 742 | 68k| 2 |2527 | 21 | 0.000000e+00 | -- | Inf | 21.05%
40.95/41.17 c 41.2s| 24100 | 93 |517979 | 20.5 | 94M | 37 | 308 |1395 | 719 | 69k| 2 |2538 | 21 | 0.000000e+00 | -- | Inf | 21.06%
41.05/41.25 c 41.3s| 24200 | 89 |519629 | 20.5 | 94M | 37 | 308 |1395 | 725 | 69k| 0 |2542 | 21 | 0.000000e+00 | -- | Inf | 21.06%
41.24/41.42 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
41.24/41.42 c 41.4s| 24300 | 91 |521378 | 20.5 | 94M | 37 | 308 |1388 | 725 | 69k| 0 |2551 | 21 | 0.000000e+00 | -- | Inf | 21.14%
41.44/41.65 c 41.6s| 24400 | 89 |524540 | 20.6 | 94M | 37 | 308 |1382 | 709 | 69k| 1 |2562 | 21 | 0.000000e+00 | -- | Inf | 21.20%
41.54/41.75 c 41.7s| 24500 | 93 |526513 | 20.6 | 94M | 37 | 308 |1373 | 729 | 70k| 2 |2565 | 21 | 0.000000e+00 | -- | Inf | 21.23%
41.64/41.85 c 41.8s| 24600 | 91 |528096 | 20.5 | 94M | 37 | 308 |1370 | 710 | 70k| 2 |2569 | 21 | 0.000000e+00 | -- | Inf | 21.23%
41.74/41.98 c 42.0s| 24700 | 87 |530639 | 20.6 | 94M | 37 | 308 |1359 | 724 | 70k| 2 |2576 | 21 | 0.000000e+00 | -- | Inf | 21.33%
41.95/42.16 c 42.2s| 24800 | 89 |532062 | 20.5 | 94M | 37 | 308 |1352 | 697 | 71k| 2 |2578 | 21 | 0.000000e+00 | -- | Inf | 21.36%
42.04/42.25 c 42.2s| 24900 | 89 |533767 | 20.5 | 94M | 37 | 308 |1344 | 708 | 71k| 0 |2578 | 21 | 0.000000e+00 | -- | Inf | 21.39%
42.14/42.34 c 42.3s| 25000 | 89 |535551 | 20.5 | 94M | 37 | 308 |1345 | 696 | 71k| 2 |2584 | 21 | 0.000000e+00 | -- | Inf | 21.41%
42.34/42.50 c 42.5s| 25100 | 95 |538026 | 20.5 | 94M | 37 | 308 |1328 | 697 | 72k| 0 |2584 | 21 | 0.000000e+00 | -- | Inf | 21.57%
42.54/42.76 c 42.8s| 25200 | 93 |539774 | 20.5 | 94M | 37 | 308 |1331 | 706 | 72k| 2 |2595 | 21 | 0.000000e+00 | -- | Inf | 21.71%
42.74/42.93 c 42.9s| 25300 | 97 |541553 | 20.5 | 94M | 37 | 308 |1334 | 698 | 72k| 1 |2609 | 21 | 0.000000e+00 | -- | Inf | 21.86%
43.04/43.28 c 43.3s| 25400 | 95 |544594 | 20.5 | 94M | 37 | 308 |1325 | 737 | 72k| 2 |2609 | 21 | 0.000000e+00 | -- | Inf | 22.14%
43.24/43.44 c 43.4s| 25500 | 97 |546631 | 20.5 | 94M | 37 | 308 |1321 | 714 | 73k| 0 |2611 | 21 | 0.000000e+00 | -- | Inf | 22.27%
43.34/43.53 c 43.5s| 25600 | 97 |548358 | 20.5 | 94M | 37 | 308 |1315 | 728 | 73k| 2 |2611 | 21 | 0.000000e+00 | -- | Inf | 22.28%
43.54/43.72 c 43.7s| 25700 | 99 |551215 | 20.6 | 94M | 37 | 308 |1309 | 717 | 73k| 2 |2616 | 21 | 0.000000e+00 | -- | Inf | 22.57%
43.74/43.91 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
43.74/43.91 c 43.9s| 25800 | 97 |553720 | 20.6 | 94M | 37 | 308 |1304 | 709 | 74k| 2 |2619 | 21 | 0.000000e+00 | -- | Inf | 22.62%
43.94/44.14 c 44.1s| 25900 | 97 |557247 | 20.6 | 94M | 37 | 308 |1296 | 697 | 74k| 2 |2626 | 21 | 0.000000e+00 | -- | Inf | 22.70%
44.13/44.30 c 44.3s| 26000 | 95 |559097 | 20.6 | 94M | 37 | 308 |1287 | 736 | 74k| 2 |2626 | 21 | 0.000000e+00 | -- | Inf | 22.75%
44.23/44.41 c 44.4s| 26100 | 95 |561357 | 20.6 | 94M | 37 | 308 |1276 | 729 | 75k| 1 |2626 | 21 | 0.000000e+00 | -- | Inf | 22.85%
44.33/44.52 c 44.5s| 26200 | 97 |563952 | 20.6 | 94M | 37 | 308 |1271 | 729 | 75k| 0 |2632 | 21 | 0.000000e+00 | -- | Inf | 22.86%
44.43/44.65 c 44.7s| 26300 | 97 |566827 | 20.7 | 94M | 37 | 308 |1266 | 700 | 76k| 2 |2634 | 21 | 0.000000e+00 | -- | Inf | 22.87%
44.53/44.77 c 44.8s| 26400 | 95 |569086 | 20.7 | 94M | 37 | 308 |1264 | 662 | 76k| 1 |2638 | 21 | 0.000000e+00 | -- | Inf | 22.87%
44.63/44.87 c 44.9s| 26500 | 95 |571217 | 20.7 | 94M | 37 | 308 |1262 | 731 | 76k| 1 |2643 | 21 | 0.000000e+00 | -- | Inf | 22.90%
44.84/45.07 c 45.1s| 26600 | 95 |573959 | 20.7 | 94M | 37 | 308 |1260 | 724 | 77k| 2 |2645 | 21 | 0.000000e+00 | -- | Inf | 22.98%
45.03/45.29 c 45.3s| 26700 | 95 |577400 | 20.8 | 94M | 37 | 308 |1252 | 755 | 77k| 0 |2660 | 21 | 0.000000e+00 | -- | Inf | 23.03%
45.23/45.40 c 45.4s| 26800 | 95 |579280 | 20.8 | 94M | 37 | 308 |1255 | 698 | 78k| 2 |2667 | 21 | 0.000000e+00 | -- | Inf | 23.04%
45.33/45.50 c 45.5s| 26900 | 97 |581299 | 20.8 | 94M | 37 | 308 |1242 | 707 | 78k| 2 |2669 | 21 | 0.000000e+00 | -- | Inf | 23.04%
45.33/45.58 c 45.6s| 27000 | 95 |583070 | 20.7 | 94M | 37 | 308 |1241 | 720 | 78k| 2 |2669 | 21 | 0.000000e+00 | -- | Inf | 23.04%
45.43/45.68 c 45.7s| 27100 | 97 |584895 | 20.7 | 94M | 38 | 308 |1237 | 715 | 78k| 2 |2669 | 21 | 0.000000e+00 | -- | Inf | 23.05%
45.53/45.78 c 45.8s| 27200 | 93 |587052 | 20.7 | 94M | 38 | 308 |1239 | 712 | 79k| 1 |2675 | 21 | 0.000000e+00 | -- | Inf | 23.06%
45.63/45.89 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
45.63/45.89 c 45.9s| 27300 | 95 |589365 | 20.7 | 94M | 38 | 308 |1232 | 737 | 79k| 0 |2681 | 21 | 0.000000e+00 | -- | Inf | 23.06%
45.73/45.98 c 46.0s| 27400 | 97 |591141 | 20.7 | 94M | 38 | 308 |1232 | 713 | 79k| 0 |2682 | 21 | 0.000000e+00 | -- | Inf | 23.06%
45.83/46.07 c 46.1s| 27500 | 99 |592861 | 20.7 | 94M | 38 | 308 |1229 | 746 | 80k| 2 |2682 | 21 | 0.000000e+00 | -- | Inf | 23.07%
45.93/46.16 c 46.2s| 27600 | 99 |594637 | 20.7 | 95M | 38 | 308 |1259 | 835 | 80k| 0 |2716 | 21 | 0.000000e+00 | -- | Inf | 23.07%
46.03/46.24 c 46.2s| 27700 | 95 |596298 | 20.7 | 95M | 38 | 308 |1275 | 749 | 80k| 0 |2734 | 21 | 0.000000e+00 | -- | Inf | 23.07%
46.13/46.32 c 46.3s| 27800 | 97 |598057 | 20.7 | 95M | 38 | 308 |1281 | 0 | 80k| 0 |2742 | 21 | 0.000000e+00 | -- | Inf | 23.07%
46.23/46.40 c 46.4s| 27900 | 97 |599780 | 20.7 | 95M | 38 | 308 |1286 | 747 | 80k| 0 |2755 | 21 | 0.000000e+00 | -- | Inf | 23.07%
46.33/46.59 c 46.6s| 28000 | 101 |602296 | 20.7 | 95M | 38 | 308 |1287 | 0 | 80k| 0 |2776 | 21 | 0.000000e+00 | -- | Inf | 23.13%
46.43/46.68 c 46.7s| 28100 | 99 |604395 | 20.7 | 95M | 38 | 308 |1290 | 714 | 80k| 0 |2786 | 21 | 0.000000e+00 | -- | Inf | 23.16%
46.63/46.83 c 46.8s| 28200 | 103 |606817 | 20.7 | 95M | 38 | 308 |1297 | 746 | 81k| 0 |2794 | 21 | 0.000000e+00 | -- | Inf | 23.24%
46.73/46.92 c 46.9s| 28300 | 103 |608459 | 20.7 | 95M | 38 | 308 |1301 | 711 | 81k| 2 |2798 | 21 | 0.000000e+00 | -- | Inf | 23.25%
46.73/47.00 c 47.0s| 28400 | 103 |610116 | 20.7 | 95M | 38 | 308 |1304 | 717 | 81k| 1 |2804 | 21 | 0.000000e+00 | -- | Inf | 23.26%
46.83/47.07 c 47.1s| 28500 | 103 |611458 | 20.6 | 95M | 38 | 308 |1299 | 721 | 81k| 1 |2804 | 21 | 0.000000e+00 | -- | Inf | 23.26%
46.93/47.15 c 47.1s| 28600 | 101 |612883 | 20.6 | 95M | 38 | 308 |1301 | 727 | 81k| 2 |2816 | 21 | 0.000000e+00 | -- | Inf | 23.26%
47.02/47.25 c 47.2s| 28700 | 99 |615075 | 20.6 | 95M | 38 | 308 |1296 | 708 | 82k| 2 |2821 | 21 | 0.000000e+00 | -- | Inf | 23.27%
47.22/47.46 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
47.22/47.46 c 47.5s| 28800 | 101 |616849 | 20.6 | 95M | 38 | 308 |1285 | 699 | 82k| 2 |2824 | 21 | 0.000000e+00 | -- | Inf | 23.30%
47.32/47.54 c 47.5s| 28900 | 101 |618395 | 20.6 | 95M | 38 | 308 |1282 | 776 | 82k| 2 |2832 | 21 | 0.000000e+00 | -- | Inf | 23.32%
47.42/47.62 c 47.6s| 29000 | 101 |620043 | 20.6 | 95M | 38 | 308 |1276 | 796 | 82k| 0 |2840 | 21 | 0.000000e+00 | -- | Inf | 23.35%
47.52/47.70 c 47.7s| 29100 | 99 |621579 | 20.6 | 95M | 38 | 308 |1269 | 0 | 82k| 0 |2844 | 21 | 0.000000e+00 | -- | Inf | 23.37%
47.62/47.86 c 47.9s| 29200 | 101 |623692 | 20.6 | 95M | 38 | 308 |1265 | 729 | 82k| 0 |2851 | 21 | 0.000000e+00 | -- | Inf | 23.40%
47.72/47.96 c 48.0s| 29300 | 101 |626035 | 20.6 | 95M | 38 | 308 |1250 | 711 | 83k| 2 |2851 | 21 | 0.000000e+00 | -- | Inf | 23.44%
47.83/48.06 c 48.1s| 29400 | 101 |627669 | 20.6 | 95M | 38 | 308 |1240 | 0 | 83k| 0 |2853 | 21 | 0.000000e+00 | -- | Inf | 23.45%
47.93/48.16 c 48.2s| 29500 | 101 |629773 | 20.6 | 95M | 38 | 308 |1226 | 749 | 83k| 2 |2861 | 21 | 0.000000e+00 | -- | Inf | 23.46%
48.12/48.30 c 48.3s| 29600 | 101 |632704 | 20.6 | 95M | 38 | 308 |1202 | 740 | 84k| 2 |2871 | 21 | 0.000000e+00 | -- | Inf | 23.47%
48.32/48.52 c 48.5s| 29700 | 101 |636714 | 20.7 | 95M | 38 | 308 |1181 | 710 | 84k| 1 |2884 | 21 | 0.000000e+00 | -- | Inf | 23.49%
48.32/48.59 c 48.6s| 29800 | 99 |638044 | 20.6 | 95M | 38 | 308 |1186 | 696 | 85k| 1 |2892 | 21 | 0.000000e+00 | -- | Inf | 23.56%
48.52/48.79 c 48.8s| 29900 | 101 |639860 | 20.6 | 95M | 38 | 308 |1188 | 723 | 85k| 0 |2896 | 21 | 0.000000e+00 | -- | Inf | 23.61%
48.62/48.87 c 48.9s| 30000 | 103 |641608 | 20.6 | 95M | 38 | 308 |1193 | 723 | 85k| 2 |2904 | 21 | 0.000000e+00 | -- | Inf | 23.63%
48.72/48.95 c 49.0s| 30100 | 103 |643221 | 20.6 | 95M | 38 | 308 |1201 | 701 | 85k| 2 |2912 | 21 | 0.000000e+00 | -- | Inf | 23.65%
48.82/49.04 c 49.0s| 30200 | 101 |644897 | 20.6 | 95M | 38 | 308 |1206 | 720 | 86k| 0 |2919 | 21 | 0.000000e+00 | -- | Inf | 23.66%
48.92/49.13 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
48.92/49.13 c 49.1s| 30300 | 99 |646582 | 20.6 | 95M | 38 | 308 |1197 | 728 | 86k| 0 |2927 | 21 | 0.000000e+00 | -- | Inf | 23.67%
49.02/49.21 c 49.2s| 30400 | 99 |648120 | 20.6 | 95M | 38 | 308 |1196 | 737 | 86k| 0 |2934 | 21 | 0.000000e+00 | -- | Inf | 23.67%
49.12/49.30 c 49.3s| 30500 | 103 |649897 | 20.6 | 95M | 38 | 308 |1194 | 746 | 86k| 1 |2936 | 21 | 0.000000e+00 | -- | Inf | 23.67%
49.12/49.36 c 49.4s| 30600 | 101 |651176 | 20.5 | 95M | 38 | 308 |1191 | 907 | 86k| 0 |2937 | 21 | 0.000000e+00 | -- | Inf | 23.67%
49.32/49.52 c 49.5s| 30700 | 103 |652685 | 20.5 | 95M | 38 | 308 |1178 | 769 | 86k| 0 |2941 | 21 | 0.000000e+00 | -- | Inf | 23.69%
49.42/49.62 c 49.6s| 30800 | 103 |654874 | 20.5 | 95M | 38 | 308 |1177 | 783 | 86k| 2 |2943 | 21 | 0.000000e+00 | -- | Inf | 23.73%
49.51/49.75 c 49.8s| 30900 | 101 |657093 | 20.5 | 95M | 38 | 308 |1172 | 783 | 87k| 0 |2943 | 21 | 0.000000e+00 | -- | Inf | 23.78%
49.61/49.85 c 49.8s| 31000 | 101 |659266 | 20.5 | 95M | 38 | 308 |1168 | 777 | 87k| 2 |2943 | 21 | 0.000000e+00 | -- | Inf | 23.84%
49.71/49.93 c 49.9s| 31100 | 101 |660748 | 20.5 | 95M | 38 | 308 |1161 | 727 | 87k| 2 |2950 | 21 | 0.000000e+00 | -- | Inf | 23.84%
49.82/50.02 c 50.0s| 31200 | 103 |662275 | 20.5 | 95M | 38 | 308 |1165 | 699 | 87k| 2 |2962 | 21 | 0.000000e+00 | -- | Inf | 23.86%
49.92/50.11 c 50.1s| 31300 | 101 |664065 | 20.5 | 95M | 38 | 308 |1166 | 710 | 87k| 0 |2966 | 21 | 0.000000e+00 | -- | Inf | 23.87%
50.01/50.21 c 50.2s| 31400 | 99 |666204 | 20.5 | 95M | 38 | 308 |1158 | 798 | 88k| 1 |2973 | 21 | 0.000000e+00 | -- | Inf | 23.88%
50.11/50.30 c 50.3s| 31500 | 105 |668037 | 20.5 | 95M | 38 | 308 |1155 | 706 | 88k| 1 |2973 | 21 | 0.000000e+00 | -- | Inf | 23.89%
50.11/50.39 c 50.4s| 31600 | 103 |669750 | 20.5 | 95M | 38 | 308 |1149 | 714 | 88k| 0 |2975 | 21 | 0.000000e+00 | -- | Inf | 23.89%
50.21/50.49 c 50.5s| 31700 | 99 |671878 | 20.5 | 95M | 38 | 308 |1152 | 706 | 88k| 1 |2981 | 21 | 0.000000e+00 | -- | Inf | 23.89%
50.41/50.67 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
50.41/50.67 c 50.7s| 31800 | 103 |673671 | 20.5 | 95M | 38 | 308 |1139 | 709 | 89k| 0 |2987 | 21 | 0.000000e+00 | -- | Inf | 23.97%
50.51/50.76 c 50.8s| 31900 | 101 |675603 | 20.5 | 95M | 38 | 308 |1132 | 0 | 89k| 0 |2992 | 21 | 0.000000e+00 | -- | Inf | 24.00%
50.61/50.86 c 50.9s| 32000 | 99 |677547 | 20.5 | 95M | 38 | 308 |1117 | 776 | 89k| 1 |3005 | 21 | 0.000000e+00 | -- | Inf | 24.01%
50.91/51.18 c 51.2s| 32100 | 101 |680544 | 20.5 | 95M | 38 | 308 |1117 | 708 | 90k| 0 |3008 | 21 | 0.000000e+00 | -- | Inf | 24.21%
51.11/51.30 c 51.3s| 32200 | 97 |683216 | 20.5 | 95M | 38 | 308 |1108 | 715 | 90k| 1 |3008 | 21 | 0.000000e+00 | -- | Inf | 24.28%
51.21/51.47 c 51.5s| 32300 | 99 |684990 | 20.5 | 95M | 38 | 308 |1110 | 693 | 91k| 2 |3010 | 21 | 0.000000e+00 | -- | Inf | 24.32%
51.51/51.73 c 51.7s| 32400 | 103 |688937 | 20.6 | 95M | 38 | 308 |1102 | 756 | 91k| 2 |3016 | 21 | 0.000000e+00 | -- | Inf | 24.47%
51.61/51.84 c 51.8s| 32500 | 99 |691665 | 20.6 | 95M | 38 | 308 |1094 | 768 | 92k| 0 |3024 | 21 | 0.000000e+00 | -- | Inf | 24.48%
51.71/51.99 c 52.0s| 32600 | 103 |693827 | 20.6 | 95M | 38 | 308 |1088 | 693 | 92k| 2 |3026 | 21 | 0.000000e+00 | -- | Inf | 24.55%
51.81/52.09 c 52.1s| 32700 | 107 |695663 | 20.6 | 95M | 38 | 308 |1079 | 744 | 92k| 2 |3028 | 21 | 0.000000e+00 | -- | Inf | 24.56%
52.01/52.30 c 52.3s| 32800 | 105 |698692 | 20.6 | 95M | 38 | 308 |1076 | 766 | 93k| 0 |3032 | 21 | 0.000000e+00 | -- | Inf | 24.62%
52.21/52.41 c 52.4s| 32900 | 107 |701083 | 20.6 | 95M | 38 | 308 |1064 | 723 | 93k| 0 |3032 | 21 | 0.000000e+00 | -- | Inf | 24.64%
52.30/52.51 c 52.5s| 33000 | 105 |703079 | 20.6 | 95M | 38 | 308 |1069 | 706 | 93k| 1 |3043 | 21 | 0.000000e+00 | -- | Inf | 24.64%
52.40/52.60 c 52.6s| 33100 | 107 |704456 | 20.6 | 95M | 38 | 308 |1070 | 713 | 94k| 2 |3052 | 21 | 0.000000e+00 | -- | Inf | 24.65%
52.50/52.78 c 52.8s| 33200 | 113 |705978 | 20.6 | 95M | 38 | 308 |1078 | 698 | 94k| 1 |3066 | 21 | 0.000000e+00 | -- | Inf | 24.69%
52.60/52.87 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
52.60/52.87 c 52.9s| 33300 | 109 |707612 | 20.6 | 95M | 38 | 308 |1093 | 707 | 94k| 2 |3083 | 21 | 0.000000e+00 | -- | Inf | 24.69%
52.81/53.03 c 53.0s| 33400 | 109 |709827 | 20.6 | 95M | 38 | 308 |1074 | 770 | 95k| 0 |3090 | 21 | 0.000000e+00 | -- | Inf | 24.74%
52.91/53.12 c 53.1s| 33500 | 111 |711593 | 20.6 | 95M | 38 | 308 |1070 | 705 | 95k| 1 |3095 | 21 | 0.000000e+00 | -- | Inf | 24.80%
52.91/53.19 c 53.2s| 33600 | 111 |713024 | 20.5 | 95M | 38 | 308 |1067 | 700 | 95k| 1 |3101 | 21 | 0.000000e+00 | -- | Inf | 24.81%
53.10/53.37 c 53.4s| 33700 | 111 |714446 | 20.5 | 95M | 38 | 308 |1067 | 688 | 95k| 0 |3110 | 21 | 0.000000e+00 | -- | Inf | 24.82%
53.20/53.45 c 53.5s| 33800 | 111 |715953 | 20.5 | 95M | 38 | 308 |1073 | 727 | 95k| 0 |3125 | 21 | 0.000000e+00 | -- | Inf | 24.85%
53.30/53.54 c 53.5s| 33900 | 111 |717793 | 20.5 | 95M | 38 | 308 |1071 | 698 | 96k| 2 |3129 | 21 | 0.000000e+00 | -- | Inf | 24.88%
53.40/53.62 c 53.6s| 34000 | 111 |719290 | 20.5 | 95M | 38 | 308 |1075 | 706 | 96k| 1 |3137 | 21 | 0.000000e+00 | -- | Inf | 24.89%
53.50/53.72 c 53.7s| 34100 | 107 |721161 | 20.5 | 95M | 38 | 308 |1082 | 0 | 96k| 0 |3152 | 21 | 0.000000e+00 | -- | Inf | 24.90%
53.60/53.81 c 53.8s| 34200 | 109 |723264 | 20.5 | 95M | 38 | 308 |1085 | 0 | 96k| 0 |3162 | 21 | 0.000000e+00 | -- | Inf | 24.90%
53.60/53.89 c 53.9s| 34300 | 109 |725092 | 20.5 | 95M | 38 | 308 |1086 | 677 | 97k| 1 |3165 | 21 | 0.000000e+00 | -- | Inf | 24.90%
53.70/53.98 c 54.0s| 34400 | 111 |727008 | 20.5 | 95M | 38 | 308 |1083 | 713 | 97k| 1 |3167 | 21 | 0.000000e+00 | -- | Inf | 24.90%
53.80/54.06 c 54.1s| 34500 | 109 |728418 | 20.5 | 95M | 38 | 308 |1085 | 716 | 97k| 2 |3171 | 21 | 0.000000e+00 | -- | Inf | 24.90%
53.90/54.17 c 54.2s| 34600 | 107 |730361 | 20.4 | 95M | 38 | 308 |1080 | 719 | 97k| 0 |3179 | 21 | 0.000000e+00 | -- | Inf | 25.00%
54.00/54.26 c 54.3s| 34700 | 109 |732152 | 20.4 | 95M | 38 | 308 |1078 | 721 | 97k| 2 |3185 | 21 | 0.000000e+00 | -- | Inf | 25.01%
54.10/54.39 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
54.10/54.39 c 54.4s| 34800 | 109 |733904 | 20.4 | 95M | 38 | 308 |1096 | 696 | 98k| 0 |3211 | 21 | 0.000000e+00 | -- | Inf | 25.03%
54.20/54.49 c 54.5s| 34900 | 107 |736059 | 20.4 | 95M | 38 | 308 |1090 | 704 | 98k| 0 |3223 | 21 | 0.000000e+00 | -- | Inf | 25.06%
54.40/54.64 c 54.6s| 35000 | 109 |737994 | 20.4 | 95M | 38 | 308 |1087 | 0 | 98k| 0 |3225 | 21 | 0.000000e+00 | -- | Inf | 25.08%
54.50/54.76 c 54.8s| 35100 | 109 |739825 | 20.4 | 95M | 38 | 308 |1089 | 712 | 99k| 2 |3233 | 21 | 0.000000e+00 | -- | Inf | 25.12%
54.60/54.84 c 54.8s| 35200 | 109 |741475 | 20.4 | 95M | 38 | 308 |1085 | 688 | 99k| 2 |3235 | 21 | 0.000000e+00 | -- | Inf | 25.14%
54.70/54.92 c 54.9s| 35300 | 109 |742871 | 20.4 | 95M | 38 | 308 |1093 | 0 | 99k| 0 |3247 | 21 | 0.000000e+00 | -- | Inf | 25.15%
54.80/55.02 c 55.0s| 35400 | 109 |745063 | 20.4 | 95M | 38 | 308 |1096 | 705 | 99k| 1 |3263 | 21 | 0.000000e+00 | -- | Inf | 25.17%
54.90/55.10 c 55.1s| 35500 | 107 |746771 | 20.4 | 95M | 38 | 308 |1100 | 713 | 100k| 1 |3280 | 21 | 0.000000e+00 | -- | Inf | 25.17%
54.90/55.19 c 55.2s| 35600 | 107 |748618 | 20.4 | 95M | 38 | 308 |1101 | 732 | 100k| 2 |3298 | 21 | 0.000000e+00 | -- | Inf | 25.18%
55.00/55.28 c 55.3s| 35700 | 105 |750498 | 20.4 | 95M | 38 | 308 |1107 | 0 | 100k| 0 |3321 | 21 | 0.000000e+00 | -- | Inf | 25.18%
55.09/55.38 c 55.4s| 35800 | 107 |752615 | 20.4 | 95M | 38 | 308 |1123 | 707 | 100k| 2 |3339 | 21 | 0.000000e+00 | -- | Inf | 25.19%
55.19/55.46 c 55.5s| 35900 | 105 |754297 | 20.4 | 95M | 38 | 308 |1120 | 718 | 100k| 2 |3341 | 21 | 0.000000e+00 | -- | Inf | 25.19%
55.29/55.55 c 55.5s| 36000 | 107 |756172 | 20.4 | 95M | 38 | 308 |1113 | 697 | 101k| 1 |3353 | 21 | 0.000000e+00 | -- | Inf | 25.21%
55.39/55.64 c 55.6s| 36100 | 109 |758017 | 20.4 | 95M | 38 | 308 |1116 | 730 | 101k| 0 |3361 | 21 | 0.000000e+00 | -- | Inf | 25.22%
55.49/55.72 c 55.7s| 36200 | 105 |759621 | 20.4 | 95M | 38 | 308 |1117 | 733 | 101k| 2 |3365 | 21 | 0.000000e+00 | -- | Inf | 25.22%
55.59/55.82 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
55.59/55.82 c 55.8s| 36300 | 105 |761798 | 20.4 | 95M | 38 | 308 |1119 | 706 | 101k| 2 |3372 | 21 | 0.000000e+00 | -- | Inf | 25.22%
55.69/55.93 c 55.9s| 36400 | 105 |764120 | 20.4 | 95M | 38 | 308 |1129 | 731 | 102k| 2 |3389 | 21 | 0.000000e+00 | -- | Inf | 25.23%
55.80/56.01 c 56.0s| 36500 | 105 |765719 | 20.4 | 95M | 38 | 308 |1128 | 715 | 102k| 0 |3389 | 21 | 0.000000e+00 | -- | Inf | 25.23%
55.90/56.18 c 56.2s| 36600 | 109 |768797 | 20.4 | 96M | 38 | 308 |1110 | 758 | 102k| 2 |3405 | 21 | 0.000000e+00 | -- | Inf | 25.25%
55.99/56.27 c 56.3s| 36700 | 111 |770463 | 20.4 | 96M | 38 | 308 |1107 | 704 | 103k| 1 |3405 | 21 | 0.000000e+00 | -- | Inf | 25.27%
56.09/56.36 c 56.4s| 36800 | 111 |772179 | 20.4 | 96M | 39 | 308 |1103 | 732 | 103k| 2 |3405 | 21 | 0.000000e+00 | -- | Inf | 25.28%
56.19/56.47 c 56.5s| 36900 | 109 |774700 | 20.4 | 96M | 39 | 308 |1109 | 714 | 103k| 0 |3422 | 21 | 0.000000e+00 | -- | Inf | 25.30%
56.39/56.69 c 56.7s| 37000 | 113 |777819 | 20.4 | 96M | 39 | 308 |1121 | 703 | 104k| 1 |3448 | 21 | 0.000000e+00 | -- | Inf | 25.41%
56.59/56.81 c 56.8s| 37100 | 115 |780208 | 20.4 | 96M | 39 | 308 |1126 | 702 | 104k| 2 |3463 | 21 | 0.000000e+00 | -- | Inf | 25.43%
56.69/56.96 c 57.0s| 37200 | 109 |783985 | 20.5 | 96M | 39 | 308 |1113 | 722 | 104k| 2 |3474 | 21 | 0.000000e+00 | -- | Inf | 25.47%
56.89/57.11 c 57.1s| 37300 | 113 |786873 | 20.5 | 96M | 39 | 308 |1093 | 678 | 105k| 2 |3480 | 21 | 0.000000e+00 | -- | Inf | 25.54%
57.09/57.34 c 57.3s| 37400 | 121 |789532 | 20.5 | 96M | 39 | 308 |1093 | 728 | 105k| 1 |3488 | 21 | 0.000000e+00 | -- | Inf | 25.63%
57.19/57.49 c 57.5s| 37500 | 121 |791149 | 20.5 | 96M | 39 | 308 |1090 | 700 | 106k| 2 |3490 | 21 | 0.000000e+00 | -- | Inf | 25.72%
57.29/57.57 c 57.6s| 37600 | 123 |792673 | 20.5 | 96M | 39 | 308 |1100 | 713 | 106k| 1 |3501 | 21 | 0.000000e+00 | -- | Inf | 25.76%
57.39/57.68 c *57.7s| 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.39/57.68 c
57.39/57.68 c SCIP Status : problem is solved [optimal solution found]
57.39/57.68 c Solving Time (sec) : 57.68
57.39/57.68 c Solving Nodes : 37688 (total of 38743 nodes in 2 runs)
57.39/57.68 c Primal Bound : +0.00000000000000e+00 (1 solutions)
57.39/57.68 c Dual Bound : +0.00000000000000e+00
57.39/57.68 c Gap : 0.00 %
57.39/57.68 s SATISFIABLE
57.39/57.68 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.39/57.68 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.39/57.68 v x269 -x270 x267 -x268 x265 -x266 -x263 -x264 -x261 -x262 -x259 -x260 -x257 x258 -x255 x256 -x253 x254 -x251 x252 -x249 x250
57.39/57.68 v -x247 x248 -x245 x246 x243 -x244 -x241 x242 x239 -x240 x237 -x238 x235 -x236 -x233 x234 -x231 x232 -x229 x230 x227 -x228
57.39/57.68 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.39/57.68 v -x204 x201 -x202 -x200 -x198 -x196 -x194 -x192 -x190 -x188 -x186 -x184 -x182 -x180 -x178 -x176 -x174 -x172 -x170 -x168 -x166
57.39/57.68 v -x164 -x162 -x160 -x158 -x156 -x154 -x152 -x150 -x148 -x146 -x144 -x142 -x140 -x138 -x136 -x134 -x132 -x130 -x128 -x126 -x124
57.39/57.68 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.39/57.68 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.39/57.68 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.39/57.68 v x173 x171 -x169 -x167 -x165 -x163 x161 -x159 -x157 -x155 -x153 -x151 -x149 -x147 -x145 x143 x141 -x139 -x137 -x135 -x133 -x131
57.39/57.68 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.39/57.68 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.39/57.68 v -x33 -x31 -x29 -x27 -x25 -x23 -x21 -x19 -x17 -x15 -x13 -x11 -x9 -x7 -x5 -x3 -x1
57.39/57.68 c SCIP Status : problem is solved [optimal solution found]
57.39/57.68 c Total Time : 57.68
57.39/57.68 c solving : 57.68
57.39/57.68 c presolving : 0.05 (included in solving)
57.39/57.68 c reading : 0.00 (included in solving)
57.39/57.68 c copying : 0.33 (104 #copies) (minimal 0.00, maximal 0.01, average 0.00)
57.39/57.68 c Original Problem :
57.39/57.68 c Problem name : HOME/instance-4443345-1721298115.opb
57.39/57.68 c Variables : 316 (316 binary, 0 integer, 0 implicit integer, 0 continuous)
57.39/57.68 c Constraints : 476 initial, 476 maximal
57.39/57.68 c Objective : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
57.39/57.68 c Presolved Problem :
57.39/57.68 c Problem name : t_HOME/instance-4443345-1721298115.opb
57.39/57.68 c Variables : 308 (308 binary, 0 integer, 0 implicit integer, 0 continuous)
57.39/57.68 c Constraints : 583 initial, 1459 maximal
57.39/57.68 c Objective : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
57.39/57.68 c Nonzeros : 7044 constraint, 4864 clique table
57.39/57.68 c Presolvers : ExecTime SetupTime Calls FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
57.39/57.68 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
57.39/57.68 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
57.39/57.68 c domcol : 0.00 0.00 2 0 0 0 0 0 0 0 0 0
57.39/57.68 c dualagg : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
57.39/57.68 c dualcomp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
57.39/57.68 c dualinfer : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
57.39/57.68 c dualsparsify : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
57.39/57.68 c gateextraction : 0.00 0.00 6 0 0 0 0 0 900 108 0 0
57.39/57.68 c implics : 0.00 0.00 11 0 0 0 0 0 0 0 0 0
57.39/57.68 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
57.39/57.68 c milp : 0.00 0.00 1 0 4 0 0 0 0 0 0 0
57.39/57.68 c qpkktref : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
57.39/57.68 c redvub : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
57.39/57.68 c sparsify : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
57.39/57.68 c stuffing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
57.39/57.68 c trivial : 0.00 0.00 14 0 0 0 0 0 0 0 0 0
57.39/57.68 c tworowbnd : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
57.39/57.68 c dualfix : 0.00 0.00 14 0 0 0 0 0 0 0 0 0
57.39/57.68 c genvbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
57.39/57.68 c probing : 0.02 0.00 1 0 0 0 0 0 0 0 0 0
57.39/57.68 c pseudoobj : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
57.39/57.68 c symmetry : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
57.39/57.68 c vbounds : 0.00 0.00 3 0 0 0 0 0 0 0 0 0
57.39/57.68 c knapsack : 0.00 0.00 26 0 0 0 0 0 206 808 0 0
57.39/57.68 c setppc : 0.00 0.00 26 0 4 0 0 0 15 0 0 0
57.39/57.68 c and : 0.00 0.00 14 0 0 0 0 0 0 0 0 0
57.39/57.68 c linear : 0.00 0.00 16 0 0 0 0 0 5 0 1 0
57.39/57.68 c logicor : 0.01 0.00 21 0 0 0 0 0 10 0 0 133
57.39/57.68 c benders : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
57.39/57.68 c components : 0.00 0.00 2 0 0 0 0 0 0 0 0 0
57.39/57.68 c root node : - - - 0 - - 0 - - - - -
57.39/57.68 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoRelax #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Applied Conss Children
57.39/57.68 c benderslp : 0 0 0 0 19451 0 0 3799 0 0 0 0 0 0 0
57.39/57.68 c integral : 0 0 0 0 19451 0 0 3799 0 0 0 0 0 0 38900
57.39/57.68 c knapsack : 2 2 22 105301 1 0 0 3792 8969 2451 10404 0 0 0 0
57.39/57.68 c setppc : 271+ 275 22 102850 1 0 0 1403 94794 27 82253 15 0 0 0
57.39/57.68 c and : 108 108 39662 102823 1 0 0 9 315270 62 304906 154228 102867 0 0
57.39/57.68 c linear : 2+ 35 23 23119 0 0 0 3 0 0 12 0 0 0 0
57.39/57.68 c logicor : 200+ 1059 22 33708 0 0 0 0 1549 33 3063 3 0 0 0
57.39/57.68 c benders : 0 0 0 0 1 0 0 2 0 0 0 0 0 0 0
57.39/57.68 c fixedvar : 0 0 0 0 1 0 0 2 0 0 0 0 0 0 0
57.39/57.68 c countsols : 0 0 0 0 1 0 0 2 0 0 0 0 0 0 0
57.39/57.68 c components : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
57.39/57.68 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS EnfoRelax Check ResProp SB-Prop
57.39/57.68 c benderslp : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
57.39/57.68 c integral : 0.55 0.00 0.00 0.00 0.55 0.00 0.00 0.00 0.00 0.00
57.39/57.68 c knapsack : 0.39 0.00 0.01 0.33 0.00 0.00 0.00 0.02 0.03 0.00
57.39/57.68 c setppc : 0.18 0.00 0.00 0.16 0.00 0.00 0.00 0.00 0.01 0.00
57.39/57.68 c and : 1.29 0.00 0.39 0.86 0.00 0.00 0.00 0.00 0.03 0.00
57.39/57.68 c linear : 0.02 0.00 0.00 0.02 0.00 0.00 0.00 0.00 0.00 0.00
57.39/57.68 c logicor : 0.19 0.00 0.00 0.18 0.00 0.00 0.00 0.00 0.00 0.00
57.39/57.68 c benders : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
57.39/57.68 c fixedvar : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
57.39/57.68 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
57.39/57.68 c components : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
57.39/57.68 c Propagators : #Propagate #ResProp Cutoffs DomReds
57.39/57.68 c dualfix : 2 0 0 0
57.39/57.68 c genvbounds : 0 0 0 0
57.39/57.68 c nlobbt : 0 0 0 0
57.39/57.68 c obbt : 0 0 0 0
57.39/57.68 c probing : 0 0 0 0
57.39/57.68 c pseudoobj : 0 0 0 0
57.39/57.68 c redcost : 0 0 0 0
57.39/57.68 c rootredcost : 0 0 0 0
57.39/57.68 c symmetry : 3101 0 0 52
57.39/57.68 c vbounds : 85522 0 0 0
57.39/57.68 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp SB-Prop
57.39/57.68 c dualfix : 0.00 0.00 0.00 0.00 0.00 0.00
57.39/57.68 c genvbounds : 0.02 0.00 0.00 0.02 0.00 0.00
57.39/57.68 c nlobbt : 0.00 0.00 0.00 0.00 0.00 0.00
57.39/57.68 c obbt : 0.00 0.00 0.00 0.00 0.00 0.00
57.39/57.68 c probing : 0.02 0.00 0.02 0.00 0.00 0.00
57.39/57.68 c pseudoobj : 0.02 0.00 0.00 0.02 0.00 0.00
57.39/57.68 c redcost : 0.01 0.00 0.00 0.01 0.00 0.00
57.39/57.68 c rootredcost : 0.01 0.00 0.00 0.01 0.00 0.00
57.39/57.68 c symmetry : 0.06 0.00 0.00 0.06 0.00 0.00
57.39/57.68 c vbounds : 0.07 0.00 0.00 0.07 0.00 0.00
57.39/57.68 c Symmetry :
57.39/57.68 c orbitopal red. : 0 reductions applied, 0 cutoffs
57.39/57.68 c orbital reduction: 15 reductions applied, 0 cutoffs
57.39/57.68 c lexicographic red: 38 reductions applied, 0 cutoffs
57.39/57.68 c shadow tree time : 0.03 s
57.39/57.68 c Conflict Analysis : Time Calls Success DomReds Conflicts Literals Reconvs ReconvLits Dualrays Nonzeros LP Iters (pool size: [10000,10000])
57.39/57.68 c propagation : 0.23 2564 1899 - 12991 66.3 1 84.0 - - -
57.39/57.68 c infeasible LP : 0.87 17108 14 - 99 61.5 0 0.0 2 2.0 0
57.39/57.68 c bound exceed. LP : 0.00 0 0 - 0 0.0 0 0.0 0 0.0 0
57.39/57.68 c strong branching : 0.00 0 0 - 0 0.0 0 0.0 - - 0
57.39/57.68 c pseudo solution : 0.00 1 1 - 1 0.0 0 0.0 - - -
57.39/57.68 c applied globally : 0.03 - - 0 3475 19.0 - - 2 - -
57.39/57.68 c applied locally : - - - 0 28 76.2 - - 0 - -
57.39/57.68 c Separators : ExecTime SetupTime Calls RootCalls Cutoffs DomReds FoundCuts ViaPoolAdd DirectAdd Applied ViaPoolApp DirectApp Conss
57.39/57.68 c cut pool : 0.88 - 4352 42 - - 29464 48176 - - - - - (maximal pool size: 3687)
57.39/57.68 c aggregation : 0.44 0.00 534 22 0 0 501 1444 0 86 86 0 0
57.39/57.68 c > cmir : - - - - - - - 1262 0 59 59 0 -
57.39/57.68 c > flowcover : - - - - - - - 0 0 0 0 0 -
57.39/57.68 c > knapsackcover : - - - - - - - 182 0 27 27 0 -
57.39/57.68 c cgmip : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
57.39/57.68 c clique : 0.01 0.00 22 22 0 0 0 0 0 0 0 0 0
57.39/57.68 c closecuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
57.39/57.68 c convexproj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
57.39/57.68 c disjunctive : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
57.39/57.68 c eccuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
57.39/57.68 c gauge : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
57.39/57.68 c gomory : 15.52 0.00 532 20 0 0 23920 30884 796 676 660 16 0
57.39/57.68 c > gomorymi : - - - - - - - 14168 398 570 558 12 -
57.39/57.68 c > strongcg : - - - - - - - 16716 398 106 102 4 -
57.39/57.68 c impliedbounds : 0.04 0.00 534 22 0 0 5706 15368 0 6662 6662 0 0
57.39/57.68 c interminor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
57.39/57.68 c intobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
57.39/57.68 c lagromory : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
57.39/57.68 c mcf : 0.00 0.00 2 2 0 0 0 0 0 0 0 0 0
57.39/57.68 c minor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
57.39/57.68 c mixing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
57.39/57.68 c multilinear : 0.00 0.00 3841 22 0 0 0 0 0 0 0 0 0
57.39/57.68 c oddcycle : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
57.39/57.68 c rapidlearning : 1.70 0.00 100 2 0 4469 0 0 0 0 0 0 1007
57.39/57.68 c rlt : 0.09 0.00 275 20 0 0 0 0 0 0 0 0 0
57.39/57.68 c zerohalf : 0.27 0.00 534 22 0 0 675 480 542 185 143 42 0
57.39/57.68 c Cutselectors : ExecTime SetupTime Calls RootCalls Selected Forced Filtered RootSelec RootForc RootFilt
57.39/57.68 c hybrid : 0.11 0.00 29125 22 110476 0 92778 447 0 6309
57.39/57.68 c ensemble : 0.00 0.00 0 0 0 0 0 0 0 0
57.39/57.68 c dynamic : 0.00 0.00 0 0 0 0 0 0 0 0
57.39/57.68 c Pricers : ExecTime SetupTime Calls Vars
57.39/57.68 c problem variables: 0.00 - 0 0
57.39/57.68 c Branching Rules : ExecTime SetupTime BranchLP BranchExt BranchPS Cutoffs DomReds Cuts Conss Children
57.39/57.68 c allfullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
57.39/57.68 c cloud : 0.00 0.00 0 0 0 0 0 0 0 0
57.39/57.68 c distribution : 0.00 0.00 0 0 0 0 0 0 0 0
57.39/57.68 c fullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
57.39/57.68 c gomory : 0.00 0.00 0 0 0 0 0 0 0 0
57.39/57.68 c inference : 0.00 0.00 0 0 0 0 0 0 0 0
57.39/57.68 c leastinf : 0.00 0.00 0 0 0 0 0 0 0 0
57.39/57.68 c lookahead : 0.00 0.00 0 0 0 0 0 0 0 0
57.39/57.68 c mostinf : 0.00 0.00 0 0 0 0 0 0 0 0
57.39/57.68 c multaggr : 0.00 0.00 0 0 0 0 0 0 0 0
57.39/57.68 c nodereopt : 0.00 0.00 0 0 0 0 0 0 0 0
57.39/57.68 c pscost : 0.00 0.00 0 0 0 0 0 0 0 0
57.39/57.68 c random : 0.00 0.00 0 0 0 0 0 0 0 0
57.39/57.68 c relpscost : 0.54 0.00 19450 0 0 0 0 0 0 38900
57.39/57.68 c vanillafullstrong: 0.00 0.00 0 0 0 0 0 0 0 0
57.39/57.68 c Primal Heuristics : ExecTime SetupTime Calls Found Best
57.39/57.68 c LP solutions : 0.00 - - 1 1
57.39/57.68 c relax solutions : 0.00 - - 0 0
57.39/57.68 c pseudo solutions : 0.00 - - 0 0
57.39/57.68 c strong branching : 0.00 - - 0 0
57.39/57.68 c actconsdiving : 0.00 0.00 0 0 0
57.39/57.68 c adaptivediving : 0.09 0.00 20 0 0
57.39/57.68 c alns : 0.04 0.00 7 0 0
57.39/57.68 c bound : 0.00 0.00 0 0 0
57.39/57.68 c clique : 0.00 0.00 1 0 0
57.39/57.68 c coefdiving : 0.00 0.00 0 0 0
57.39/57.68 c completesol : 0.00 0.00 0 0 0
57.39/57.68 c conflictdiving : 0.05 0.00 11 0 0
57.39/57.68 c crossover : 0.00 0.00 0 0 0
57.39/57.68 c dins : 0.00 0.00 0 0 0
57.39/57.68 c distributiondivin: 0.23 0.00 10 0 0
57.39/57.68 c dps : 0.00 0.00 0 0 0
57.39/57.68 c dualval : 0.00 0.00 0 0 0
57.39/57.68 c farkasdiving : 0.00 0.00 0 0 0
57.39/57.68 c feasjump : 0.03 0.00 2 0 0
57.39/57.68 c feaspump : 0.04 0.00 5 0 0
57.39/57.68 c fixandinfer : 0.00 0.00 0 0 0
57.39/57.68 c fracdiving : 0.03 0.00 10 0 0
57.39/57.68 c gins : 0.00 0.00 0 0 0
57.39/57.68 c guideddiving : 0.00 0.00 0 0 0
57.39/57.68 c indcoefdiving : 0.00 0.00 0 0 0
57.39/57.68 c indicator : 0.01 0.00 0 0 0
57.39/57.68 c indicatordiving : 0.00 0.00 0 0 0
57.39/57.68 c indoneopt : 0.01 0.00 0 0 0
57.39/57.68 c indrounding : 0.00 0.00 0 0 0
57.39/57.68 c indtwoopt : 0.00 0.00 0 0 0
57.39/57.68 c intdiving : 0.00 0.00 0 0 0
57.39/57.68 c intshifting : 0.00 0.00 0 0 0
57.39/57.68 c linesearchdiving : 0.03 0.00 10 0 0
57.39/57.68 c localbranching : 0.00 0.00 0 0 0
57.39/57.68 c locks : 0.00 0.00 1 0 0
57.39/57.68 c lpface : 0.01 0.00 0 0 0
57.39/57.68 c mpec : 0.00 0.00 0 0 0
57.39/57.68 c multistart : 0.00 0.00 0 0 0
57.39/57.68 c mutation : 0.00 0.00 0 0 0
57.39/57.68 c nlpdiving : 0.00 0.00 0 0 0
57.39/57.68 c objpscostdiving : 0.06 0.00 6 0 0
57.39/57.68 c octane : 0.00 0.00 0 0 0
57.39/57.68 c ofins : 0.00 0.00 0 0 0
57.39/57.68 c oneopt : 0.01 0.00 0 0 0
57.39/57.68 c padm : 0.00 0.00 0 0 0
57.39/57.68 c proximity : 0.00 0.00 0 0 0
57.39/57.68 c pscostdiving : 0.04 0.00 11 0 0
57.39/57.68 c randrounding : 0.10 0.00 3806 0 0
57.39/57.68 c rens : 0.09 0.00 2 0 0
57.39/57.68 c reoptsols : 0.00 0.00 0 0 0
57.39/57.68 c repair : 0.00 0.00 0 0 0
57.39/57.68 c rins : 0.00 0.00 0 0 0
57.39/57.68 c rootsoldiving : 0.05 0.00 6 0 0
57.39/57.68 c rounding : 0.11 0.00 3063 0 0
57.39/57.68 c scheduler : 0.00 0.00 0 0 0
57.39/57.68 c shiftandpropagate: 0.01 0.00 2 0 0
57.39/57.68 c shifting : 0.16 0.00 906 0 0
57.39/57.68 c simplerounding : 0.01 0.00 0 0 0
57.39/57.68 c smallcard : 0.00 0.00 0 0 0
57.39/57.68 c subnlp : 0.01 0.00 0 0 0
57.39/57.68 c trivial : 0.00 0.00 4 0 0
57.39/57.68 c trivialnegation : 0.00 0.00 0 0 0
57.39/57.68 c trustregion : 0.00 0.00 0 0 0
57.39/57.68 c trysol : 0.01 0.00 0 0 0
57.39/57.68 c twoopt : 0.00 0.00 0 0 0
57.39/57.68 c undercover : 0.01 0.00 1 0 0
57.39/57.68 c vbounds : 0.00 0.00 2 0 0
57.39/57.68 c veclendiving : 0.04 0.00 10 0 0
57.39/57.68 c zeroobj : 0.00 0.00 0 0 0
57.39/57.68 c zirounding : 0.03 0.00 1000 0 0
57.39/57.68 c other solutions : - - - 0 -
57.39/57.68 c LNS (Scheduler) : Calls SetupTime SolveTime SolveNodes Sols Best Exp3 Exp3-IX EpsGreedy UCB TgtFixRate Opt Inf Node Stal Sol Usr Othr Actv
57.39/57.68 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.39/57.68 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.39/57.68 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.39/57.68 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.39/57.68 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.39/57.68 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.39/57.68 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.39/57.68 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.39/57.68 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.39/57.68 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It ItLimit
57.39/57.68 c primal LP : 0.09 710 0 0.00 0.00 0.09 710
57.39/57.68 c dual LP : 25.96 65719 781966 11.91 30127.23 0.00 43
57.39/57.68 c lex dual LP : 0.00 0 0 0.00 -
57.39/57.68 c barrier LP : 0.00 0 0 0.00 - 0.00 0
57.39/57.68 c resolve instable : 0.00 0 0 0.00 -
57.39/57.68 c diving/probing LP: 0.34 386 12031 31.17 35329.39
57.39/57.68 c strong branching : 0.06 21 2082 99.14 32910.75 - - 0
57.39/57.68 c (at root node) : - 21 2082 99.14 -
57.39/57.68 c conflict analysis: 0.00 0 0 0.00 -
57.39/57.68 c B&B Tree :
57.39/57.68 c number of runs : 2
57.39/57.68 c nodes : 37688 (18904 internal, 18784 leaves)
57.39/57.68 c feasible leaves : 1
57.39/57.68 c infeas. leaves : 18783
57.39/57.68 c objective leaves : 0
57.39/57.68 c nodes (total) : 38743 (19450 internal, 19293 leaves)
57.39/57.68 c nodes left : 0
57.39/57.68 c max depth : 39
57.39/57.68 c max depth (total): 39
57.39/57.68 c backtracks : 5773 (15.3%)
57.39/57.68 c early backtracks : 0 (0.0%)
57.39/57.68 c nodes exc. ref. : 0 (0.0%)
57.39/57.68 c delayed cutoffs : 0
57.39/57.68 c repropagations : 3126 (2229 domain reductions, 0 cutoffs)
57.39/57.68 c avg switch length: 3.14
57.39/57.68 c switching time : 1.80
57.39/57.68 c Root Node :
57.39/57.68 c First LP value : +0.00000000000000e+00
57.39/57.68 c First LP Iters : 118 (105263.16 Iter/sec)
57.39/57.68 c First LP Time : 0.00
57.39/57.68 c Final Dual Bound : +0.00000000000000e+00
57.39/57.68 c Final Root Iters : 1244
57.39/57.68 c Root LP Estimate : +9.00041175160472e-03
57.39/57.68 c Solution :
57.39/57.68 c Solutions found : 1 (1 improvements)
57.39/57.68 c First Solution : +0.00000000000000e+00 (in run 2, after 37688 nodes, 57.68 seconds, depth 17, found by <relaxation>)
57.39/57.68 c Gap First Sol. : 0.00 %
57.39/57.68 c Gap Last Sol. : 0.00 %
57.39/57.68 c Primal Bound : +0.00000000000000e+00 (in run 2, after 37688 nodes, 57.68 seconds, depth 17, found by <relaxation>)
57.39/57.68 c Dual Bound : +0.00000000000000e+00
57.39/57.68 c Gap : 0.00 %
57.39/57.68 c Integrals : Total Avg%
57.39/57.68 c primal-dual : 5767.98 100.00
57.39/57.68 c primal-ref : - - (not evaluated)
57.39/57.68 c dual-ref : - - (not evaluated)
57.39/57.69 c Time complete: 57.4899.