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-4503394-1751171985.opb>
0.00/0.02 c original problem has 483 variables (483 bin, 0 int, 0 impl, 0 cont) and 8027 constraints
0.00/0.02 c problem read in 0.02
0.00/0.02 c No objective function, only one solution is needed.
0.00/0.03 c presolving:
0.00/0.04 c (round 1, fast) 2 del vars, 2 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 1984 clqs
0.00/0.05 c (0.0s) running MILP presolver
0.00/0.06 c (0.1s) MILP presolver found nothing
0.00/0.07 c (round 2, exhaustive) 2 del vars, 6 del conss, 0 add conss, 0 chg bounds, 4 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 1984 clqs
0.00/0.08 c (round 3, exhaustive) 2 del vars, 6 del conss, 0 add conss, 0 chg bounds, 4 chg sides, 0 chg coeffs, 8019 upgd conss, 0 impls, 1984 clqs
0.00/0.10 c (round 4, exhaustive) 2 del vars, 66 del conss, 0 add conss, 0 chg bounds, 4 chg sides, 94 chg coeffs, 8019 upgd conss, 0 impls, 1984 clqs
0.09/0.11 c (round 5, exhaustive) 2 del vars, 66 del conss, 0 add conss, 0 chg bounds, 4 chg sides, 224 chg coeffs, 8019 upgd conss, 0 impls, 1984 clqs
0.09/0.12 c (round 6, exhaustive) 2 del vars, 70 del conss, 0 add conss, 0 chg bounds, 4 chg sides, 286 chg coeffs, 8019 upgd conss, 0 impls, 1986 clqs
0.09/0.16 c (0.2s) probing: 59/481 (12.3%) - 0 fixings, 0 aggregations, 164 implications, 0 bound changes
0.09/0.16 c (0.2s) probing aborted: 50/50 successive totally useless probings
0.09/0.20 c (0.2s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
0.19/0.22 c (0.2s) no symmetry present (symcode time: 0.00)
0.19/0.22 c presolving (7 rounds: 7 fast, 6 medium, 6 exhaustive):
0.19/0.22 c 2 deleted vars, 70 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 4 changed sides, 288 changed coefficients
0.19/0.22 c 0 implications, 2150 cliques
0.19/0.22 c presolved problem has 481 variables (481 bin, 0 int, 0 impl, 0 cont) and 7957 constraints
0.19/0.22 c 720 constraints of type <knapsack>
0.19/0.22 c 1984 constraints of type <setppc>
0.19/0.22 c 2 constraints of type <linear>
0.19/0.22 c 5251 constraints of type <logicor>
0.19/0.22 c transformed objective value is always integral (scale: 1)
0.19/0.22 c Presolving Time: 0.19
0.19/0.22 c - non default parameters ----------------------------------------------------------------------
0.19/0.22 c # SCIP version 10.0.0
0.19/0.22 c
0.19/0.22 c # maximal time in seconds to run
0.19/0.22 c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
0.19/0.22 c limits/time = 3596.998006
0.19/0.22 c
0.19/0.22 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.19/0.22 c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
0.19/0.22 c limits/memory = 27900
0.19/0.22 c
0.19/0.22 c # solving stops, if the given number of solutions were found; this limit is first checked in presolving (-1: no limit)
0.19/0.22 c # [type: int, advanced: FALSE, range: [-1,2147483647], default: -1]
0.19/0.22 c limits/solutions = 1
0.19/0.22 c
0.19/0.22 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.19/0.22 c # [type: int, advanced: FALSE, range: [0,7], default: 7]
0.19/0.22 c misc/usesymmetry = 3
0.19/0.22 c
0.19/0.22 c # belongs reading time to solving time?
0.19/0.22 c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
0.19/0.22 c timing/reading = TRUE
0.19/0.22 c
0.19/0.22 c # Should we check whether the components of the symmetry group can be handled by double lex matrices?
0.19/0.22 c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
0.19/0.22 c propagating/symmetry/detectdoublelex = FALSE
0.19/0.22 c
0.19/0.22 c # Should we try to detect symmetric subgroups of the symmetry group on binary variables?
0.19/0.22 c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
0.19/0.22 c propagating/symmetry/detectsubgroups = FALSE
0.19/0.22 c
0.19/0.22 c # Type of symmetries that shall be computed?
0.19/0.22 c # [type: int, advanced: TRUE, range: [0,1], default: 0]
0.19/0.22 c propagating/symmetry/symtype = 1
0.19/0.22 c
0.19/0.22 c # Should components consisting of a single full reflection be handled?
0.19/0.22 c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
0.19/0.22 c propagating/symmetry/usesimplesgncomp = FALSE
0.19/0.22 c
0.19/0.22 c -----------------------------------------------------------------------------------------------
0.19/0.22 c start solving
0.19/0.22 c
0.29/0.31 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
0.29/0.31 c 0.3s| 1 | 0 | 98 | - | 50M | 0 | 481 |8008 |7957 | 0 | 0 | 50 | 0 | 0.000000e+00 | -- | Inf | unknown
0.49/0.54 c 0.5s| 1 | 0 | 671 | - | 52M | 0 | 481 |8008 |7963 | 6 | 1 | 50 | 0 | 0.000000e+00 | -- | Inf | unknown
0.59/0.63 c 0.6s| 1 | 0 | 698 | - | 52M | 0 | 481 |8008 |7969 | 12 | 2 | 50 | 0 | 0.000000e+00 | -- | Inf | unknown
0.68/0.76 c 0.8s| 1 | 0 | 715 | - | 54M | 0 | 481 |8008 |7974 | 17 | 3 | 50 | 0 | 0.000000e+00 | -- | Inf | unknown
0.88/1.00 c 1.0s| 1 | 0 | 730 | - | 56M | 0 | 481 |8009 |7977 | 20 | 4 | 51 | 0 | 0.000000e+00 | -- | Inf | unknown
1.09/1.17 c 1.2s| 1 | 0 | 740 | - | 57M | 0 | 481 |8014 |7980 | 23 | 5 | 56 | 0 | 0.000000e+00 | -- | Inf | unknown
1.28/1.31 c 1.3s| 1 | 0 | 764 | - | 58M | 0 | 481 |8015 |7985 | 28 | 6 | 57 | 0 | 0.000000e+00 | -- | Inf | unknown
1.38/1.46 c 1.5s| 1 | 0 | 809 | - | 61M | 0 | 481 |8020 |7992 | 35 | 7 | 62 | 0 | 0.000000e+00 | -- | Inf | unknown
1.48/1.56 c 1.6s| 1 | 0 | 836 | - | 63M | 0 | 481 |8021 |8001 | 44 | 8 | 63 | 0 | 0.000000e+00 | -- | Inf | unknown
1.58/1.68 c 1.7s| 1 | 0 | 849 | - | 65M | 0 | 481 |8021 |8008 | 51 | 9 | 63 | 0 | 0.000000e+00 | -- | Inf | unknown
1.78/1.81 c 1.8s| 1 | 0 | 872 | - | 69M | 0 | 481 |8024 |8013 | 56 | 10 | 66 | 0 | 0.000000e+00 | -- | Inf | unknown
1.78/1.82 c 1.8s| 1 | 0 | 889 | - | 70M | 0 | 481 |8025 |8020 | 63 | 11 | 67 | 0 | 0.000000e+00 | -- | Inf | unknown
1.87/1.94 c 1.9s| 1 | 2 | 914 | - | 70M | 0 | 481 |8035 |8020 | 63 | 11 | 77 | 14 | 0.000000e+00 | -- | Inf | unknown
3.57/3.64 c 3.6s| 100 | 60 | 8376 | 76.1 | 75M | 20 | 481 |8288 |7978 | 100 | 1 | 338 | 14 | 0.000000e+00 | -- | Inf | unknown
4.77/4.85 c 4.8s| 200 | 66 | 12833 | 60.2 | 76M | 20 | 481 |8451 | 0 | 123 | 0 | 554 | 14 | 0.000000e+00 | -- | Inf | 4.09%
6.07/6.18 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
6.07/6.18 c 6.2s| 300 | 90 | 16214 | 51.4 | 83M | 20 | 481 |8646 |7981 | 208 | 1 | 799 | 14 | 0.000000e+00 | -- | Inf | 6.03%
6.86/6.99 c 7.0s| 400 | 106 | 17822 | 42.6 | 83M | 20 | 481 |8852 |7981 | 215 | 1 |1026 | 14 | 0.000000e+00 | -- | Inf | 6.07%
7.55/7.61 c 7.6s| 500 | 130 | 20472 | 39.3 | 84M | 20 | 481 |9123 |7983 | 228 | 1 |1336 | 14 | 0.000000e+00 | -- | Inf | 6.13%
8.35/8.46 c 8.5s| 600 | 146 | 22268 | 35.8 | 84M | 20 | 481 |9306 |7983 | 236 | 1 |1552 | 14 | 0.000000e+00 | -- | Inf | 6.20%
9.85/9.96 c 10.0s| 700 | 168 | 24768 | 34.2 | 85M | 20 | 481 |9439 |7982 | 242 | 1 |1742 | 14 | 0.000000e+00 | -- | Inf | 6.24%
11.14/11.21 c 11.2s| 800 | 179 | 26632 | 32.3 | 85M | 20 | 481 |9525 |7982 | 243 | 1 |1877 | 14 | 0.000000e+00 | -- | Inf | 6.26%
12.05/12.13 c 12.1s| 900 | 202 | 28935 | 31.2 | 86M | 21 | 481 |9722 |7985 | 264 | 1 |2143 | 14 | 0.000000e+00 | -- | Inf | 6.30%
12.14/12.23 c Restart triggered after 50 consecutive estimations that the remaining tree will be large
12.14/12.24 c (run 1, node 957) performing user restart
12.14/12.24 c
12.14/12.24 c (restart) converted 17 cuts from the global cut pool into linear constraints
12.14/12.24 c
12.14/12.25 c presolving:
12.14/12.25 c (round 1, fast) 0 del vars, 110 del conss, 0 add conss, 0 chg bounds, 8 chg sides, 23 chg coeffs, 0 upgd conss, 0 impls, 2165 clqs
12.14/12.26 c (round 2, medium) 0 del vars, 114 del conss, 1 add conss, 0 chg bounds, 24 chg sides, 40 chg coeffs, 0 upgd conss, 0 impls, 2165 clqs
12.14/12.27 c (round 3, exhaustive) 0 del vars, 123 del conss, 4 add conss, 0 chg bounds, 24 chg sides, 40 chg coeffs, 0 upgd conss, 0 impls, 2165 clqs
12.14/12.28 c (round 4, exhaustive) 0 del vars, 123 del conss, 4 add conss, 0 chg bounds, 24 chg sides, 76 chg coeffs, 19 upgd conss, 0 impls, 2165 clqs
12.24/12.30 c (round 5, exhaustive) 0 del vars, 451 del conss, 4 add conss, 0 chg bounds, 25 chg sides, 718 chg coeffs, 19 upgd conss, 0 impls, 2165 clqs
12.24/12.32 c (round 6, exhaustive) 0 del vars, 459 del conss, 4 add conss, 0 chg bounds, 25 chg sides, 724 chg coeffs, 19 upgd conss, 0 impls, 2165 clqs
12.24/12.35 c presolving (7 rounds: 7 fast, 6 medium, 5 exhaustive):
12.24/12.35 c 0 deleted vars, 459 deleted constraints, 4 added constraints, 0 tightened bounds, 0 added holes, 25 changed sides, 747 changed coefficients
12.24/12.35 c 0 implications, 2165 cliques
12.24/12.35 c presolved problem has 481 variables (481 bin, 0 int, 0 impl, 0 cont) and 9392 constraints
12.24/12.35 c 739 constraints of type <knapsack>
12.24/12.35 c 1995 constraints of type <setppc>
12.24/12.35 c 3 constraints of type <and>
12.24/12.35 c 40 constraints of type <linear>
12.24/12.35 c 6615 constraints of type <logicor>
12.24/12.35 c transformed objective value is always integral (scale: 1)
12.24/12.35 c Presolving Time: 0.30
12.24/12.35 c
12.34/12.40 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
12.34/12.40 c 12.4s| 1 | 0 | 29733 | - | 86M | 0 | 481 |9405 |7975 | 0 | 0 |2298 | 14 | 0.000000e+00 | -- | Inf | unknown
12.54/12.60 c 12.6s| 1 | 0 | 29749 | - | 88M | 0 | 481 |9406 |7980 | 5 | 1 |2299 | 14 | 0.000000e+00 | -- | Inf | unknown
12.74/12.83 c 12.8s| 1 | 0 | 29777 | - | 88M | 0 | 481 |9407 |7984 | 9 | 2 |2300 | 14 | 0.000000e+00 | -- | Inf | unknown
12.84/12.97 c 13.0s| 1 | 0 | 29799 | - | 88M | 0 | 481 |9409 |7990 | 15 | 3 |2302 | 14 | 0.000000e+00 | -- | Inf | unknown
12.94/13.08 c 13.1s| 1 | 0 | 29822 | - | 89M | 0 | 481 |9410 |7996 | 21 | 4 |2303 | 14 | 0.000000e+00 | -- | Inf | unknown
13.04/13.17 c 13.2s| 1 | 0 | 29851 | - | 89M | 0 | 481 |9412 |8003 | 28 | 5 |2305 | 14 | 0.000000e+00 | -- | Inf | unknown
13.14/13.27 c 13.3s| 1 | 0 | 29888 | - | 90M | 0 | 481 |9413 |8009 | 34 | 6 |2306 | 14 | 0.000000e+00 | -- | Inf | unknown
13.34/13.41 c 13.4s| 1 | 0 | 29911 | - | 91M | 0 | 481 |9414 |8015 | 40 | 7 |2307 | 14 | 0.000000e+00 | -- | Inf | unknown
13.44/13.52 c 13.5s| 1 | 0 | 29956 | - | 93M | 0 | 481 |9416 |8021 | 46 | 8 |2309 | 14 | 0.000000e+00 | -- | Inf | unknown
13.54/13.64 c 13.6s| 1 | 0 | 29991 | - | 95M | 0 | 481 |9417 |8025 | 50 | 9 |2310 | 14 | 0.000000e+00 | -- | Inf | unknown
13.64/13.75 c 13.7s| 1 | 0 | 30060 | - | 100M | 0 | 481 |9427 |8032 | 57 | 10 |2320 | 14 | 0.000000e+00 | -- | Inf | unknown
13.64/13.76 c 13.8s| 1 | 0 | 30092 | - | 101M | 0 | 481 |9428 |8040 | 65 | 11 |2321 | 14 | 0.000000e+00 | -- | Inf | unknown
13.64/13.78 c 13.8s| 1 | 0 | 30128 | - | 102M | 0 | 481 |9431 |8049 | 74 | 12 |2324 | 14 | 0.000000e+00 | -- | Inf | unknown
13.94/14.03 c 14.0s| 1 | 2 | 30377 | - | 102M | 0 | 481 |9442 |8049 | 74 | 12 |2335 | 33 | 0.000000e+00 | -- | Inf | unknown
15.13/15.22 c 15.2s| 100 | 80 | 37216 | 34.0 | 110M | 18 | 481 |9828 |7989 | 114 | 1 |2769 | 33 | 0.000000e+00 | -- | Inf | unknown
15.73/15.89 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
15.73/15.89 c 15.9s| 200 | 135 | 41570 | 34.8 | 112M | 21 | 481 |9992 | 0 | 151 | 0 |3044 | 33 | 0.000000e+00 | -- | Inf | 1.13%
16.42/16.52 c 16.5s| 300 | 159 | 44010 | 34.0 | 112M | 24 | 481 | 10k|7996 | 174 | 1 |3335 | 33 | 0.000000e+00 | -- | Inf | 1.45%
17.12/17.29 c 17.3s| 400 | 185 | 49875 | 35.8 | 116M | 25 | 481 | 10k| 0 | 208 | 0 |3547 | 33 | 0.000000e+00 | -- | Inf | 1.88%
18.12/18.29 c 18.3s| 500 | 220 | 53663 | 36.0 | 124M | 25 | 481 | 10k|8003 | 311 | 2 |3792 | 33 | 0.000000e+00 | -- | Inf | 2.19%
19.02/19.10 c 19.1s| 600 | 248 | 57781 | 36.3 | 125M | 27 | 481 | 10k| 0 | 378 | 0 |4062 | 33 | 0.000000e+00 | -- | Inf | 2.44%
19.51/19.65 c 19.6s| 700 | 274 | 60309 | 35.6 | 125M | 27 | 481 | 10k|7994 | 407 | 1 |4318 | 33 | 0.000000e+00 | -- | Inf | 3.32%
19.92/20.06 c 20.1s| 800 | 293 | 63692 | 35.5 | 125M | 27 | 481 | 10k| 0 | 409 | 0 |4516 | 33 | 0.000000e+00 | -- | Inf | 3.36%
20.41/20.57 c 20.6s| 900 | 318 | 66256 | 35.0 | 125M | 27 | 481 | 10k|7989 | 440 | 1 |4752 | 33 | 0.000000e+00 | -- | Inf | 3.54%
21.01/21.19 c 21.2s| 1000 | 344 | 69028 | 34.6 | 127M | 27 | 481 | 10k|7994 | 493 | 1 |5026 | 33 | 0.000000e+00 | -- | Inf | 3.57%
22.01/22.15 c 22.1s| 1100 | 377 | 73774 | 35.2 | 127M | 27 | 481 | 10k|7991 | 564 | 1 |5454 | 33 | 0.000000e+00 | -- | Inf | 3.86%
23.00/23.16 c 23.2s| 1200 | 414 | 77658 | 35.4 | 127M | 27 | 481 | 10k|7996 | 632 | 1 |5690 | 33 | 0.000000e+00 | -- | Inf | 4.26%
23.30/23.45 c 23.4s| 1300 | 437 | 80080 | 34.9 | 128M | 27 | 481 | 10k| 0 | 636 | 0 |5956 | 33 | 0.000000e+00 | -- | Inf | 4.34%
24.19/24.35 c 24.3s| 1400 | 453 | 83007 | 34.7 | 129M | 27 | 481 | 10k| 0 | 689 | 0 |6291 | 33 | 0.000000e+00 | -- | Inf | 5.23%
24.59/24.78 c 24.8s| 1500 | 464 | 84334 | 33.8 | 129M | 27 | 481 | 10k|7991 | 703 | 1 |6503 | 33 | 0.000000e+00 | -- | Inf | 5.58%
25.29/25.43 c 25.4s| 1600 | 464 | 85583 | 33.0 | 130M | 27 | 481 | 10k|7993 | 749 | 1 |6706 | 33 | 0.000000e+00 | -- | Inf | 6.03%
25.80/25.94 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
25.80/25.94 c 25.9s| 1700 | 475 | 88320 | 32.8 | 132M | 27 | 481 | 10k|7995 | 781 | 1 |6964 | 33 | 0.000000e+00 | -- | Inf | 6.17%
26.19/26.35 c 26.3s| 1800 | 500 | 92195 | 33.0 | 132M | 27 | 481 | 10k|7994 | 791 | 1 |7190 | 33 | 0.000000e+00 | -- | Inf | 6.28%
26.69/26.83 c 26.8s| 1900 | 511 | 94460 | 32.6 | 132M | 27 | 481 | 10k|7987 | 803 | 1 |7491 | 33 | 0.000000e+00 | -- | Inf | 6.44%
27.29/27.43 c 27.4s| 2000 | 523 | 96583 | 32.2 | 132M | 27 | 481 | 10k|8005 | 877 | 3 |7664 | 33 | 0.000000e+00 | -- | Inf | 6.77%
27.59/27.71 c 27.7s| 2100 | 529 | 98356 | 31.8 | 132M | 27 | 481 | 11k|7997 | 889 | 1 |7879 | 33 | 0.000000e+00 | -- | Inf | 7.07%
28.49/28.67 c 28.7s| 2200 | 540 |103424 | 32.4 | 132M | 27 | 481 | 11k|7988 | 922 | 1 |8116 | 33 | 0.000000e+00 | -- | Inf | 7.28%
28.79/28.99 c 29.0s| 2300 | 556 |105178 | 31.9 | 132M | 27 | 481 | 11k|8001 | 941 | 1 |8318 | 33 | 0.000000e+00 | -- | Inf | 7.44%
29.08/29.21 c 29.2s| 2400 | 563 |107134 | 31.5 | 132M | 27 | 481 | 11k|7996 | 946 | 1 |8527 | 33 | 0.000000e+00 | -- | Inf | 7.59%
29.28/29.44 c 29.4s| 2500 | 585 |109142 | 31.2 | 134M | 28 | 481 | 11k| 0 | 959 | 0 |8740 | 33 | 0.000000e+00 | -- | Inf | 7.60%
29.78/29.92 c 29.9s| 2600 | 595 |111284 | 30.9 | 134M | 29 | 481 | 11k|7991 | 982 | 1 |9018 | 33 | 0.000000e+00 | -- | Inf | 7.73%
30.18/30.30 c 30.3s| 2700 | 610 |113811 | 30.8 | 135M | 29 | 481 | 11k|7996 |1004 | 1 |9328 | 33 | 0.000000e+00 | -- | Inf | 7.93%
30.48/30.66 c 30.7s| 2800 | 621 |115649 | 30.4 | 135M | 29 | 481 | 11k|7994 |1023 | 1 |9560 | 33 | 0.000000e+00 | -- | Inf | 8.10%
31.08/31.20 c 31.2s| 2900 | 640 |118730 | 30.5 | 135M | 31 | 481 | 11k|7994 |1037 | 1 |9833 | 33 | 0.000000e+00 | -- | Inf | 8.33%
31.48/31.66 c 31.7s| 3000 | 654 |121494 | 30.4 | 136M | 31 | 481 | 11k|7996 |1055 | 1 | 10k| 33 | 0.000000e+00 | -- | Inf | 9.25%
32.17/32.32 c 32.3s| 3100 | 669 |123800 | 30.2 | 136M | 31 | 481 | 11k| 0 |1084 | 0 | 10k| 33 | 0.000000e+00 | -- | Inf | 9.57%
32.77/32.91 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
32.77/32.91 c 32.9s| 3200 | 693 |126153 | 30.0 | 137M | 31 | 481 | 11k| 0 |1136 | 0 | 10k| 33 | 0.000000e+00 | -- | Inf | 10.19%
32.98/33.19 c 33.2s| 3300 | 702 |128323 | 29.8 | 137M | 31 | 481 | 11k|7992 |1145 | 1 | 10k| 33 | 0.000000e+00 | -- | Inf | 10.36%
33.57/33.75 c 33.7s| 3400 | 704 |131069 | 29.8 | 138M | 31 | 481 | 11k|7997 |1201 | 1 | 10k| 33 | 0.000000e+00 | -- | Inf | 10.59%
33.97/34.15 c 34.1s| 3500 | 712 |135012 | 30.0 | 138M | 31 | 481 | 11k|7995 |1205 | 1 | 11k| 33 | 0.000000e+00 | -- | Inf | 10.63%
35.36/35.51 c 35.5s| 3600 | 730 |138446 | 30.1 | 143M | 31 | 481 | 11k| 0 |1386 | 0 | 11k| 33 | 0.000000e+00 | -- | Inf | 13.00%
35.86/36.02 c 36.0s| 3700 | 743 |141022 | 30.0 | 143M | 31 | 481 | 11k|7997 |1430 | 1 | 11k| 33 | 0.000000e+00 | -- | Inf | 13.30%
36.66/36.82 c 36.8s| 3800 | 753 |143390 | 29.9 | 144M | 31 | 481 | 11k| 0 |1472 | 0 | 11k| 33 | 0.000000e+00 | -- | Inf | 13.65%
37.86/38.03 c 38.0s| 3900 | 787 |146467 | 29.9 | 145M | 31 | 481 | 11k|7998 |1574 | 1 | 12k| 33 | 0.000000e+00 | -- | Inf | 13.80%
38.65/38.87 c 38.9s| 4000 | 808 |149026 | 29.8 | 148M | 31 | 481 | 11k|7992 |1624 | 1 | 12k| 33 | 0.000000e+00 | -- | Inf | 14.39%
39.34/39.58 c 39.6s| 4100 | 812 |151706 | 29.7 | 148M | 31 | 481 | 11k|7997 |1692 | 1 | 12k| 33 | 0.000000e+00 | -- | Inf | 16.67%
39.96/40.12 c 40.1s| 4200 | 837 |154005 | 29.6 | 149M | 31 | 481 | 11k| 0 |1764 | 0 | 12k| 33 | 0.000000e+00 | -- | Inf | 22.75%
40.55/40.71 c 40.7s| 4300 | 857 |157031 | 29.6 | 149M | 31 | 481 | 11k| 0 |1795 | 0 | 12k| 33 | 0.000000e+00 | -- | Inf | 23.78%
40.85/41.07 c 41.1s| 4400 | 859 |158579 | 29.4 | 149M | 31 | 481 | 11k|8001 |1816 | 2 | 13k| 33 | 0.000000e+00 | -- | Inf | 23.86%
41.55/41.75 c 41.7s| 4500 | 879 |164035 | 29.8 | 149M | 31 | 481 | 11k|7997 |1835 | 1 | 13k| 33 | 0.000000e+00 | -- | Inf | 27.36%
42.24/42.41 c 42.4s| 4600 | 891 |166875 | 29.8 | 149M | 31 | 481 | 11k|7996 |1883 | 1 | 13k| 33 | 0.000000e+00 | -- | Inf | 28.38%
42.44/42.61 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
42.44/42.61 c 42.6s| 4700 | 895 |168103 | 29.5 | 149M | 31 | 481 | 11k| 0 |1885 | 0 | 14k| 33 | 0.000000e+00 | -- | Inf | 28.40%
43.24/43.42 c 43.4s| 4800 | 920 |171701 | 29.6 | 149M | 31 | 481 | 11k|7998 |1925 | 1 | 14k| 33 | 0.000000e+00 | -- | Inf | 28.49%
44.24/44.42 c 44.4s| 4900 | 959 |175315 | 29.7 | 151M | 31 | 481 | 11k|8001 |2025 | 1 | 14k| 33 | 0.000000e+00 | -- | Inf | 30.34%
45.03/45.28 c 45.3s| 5000 | 998 |178091 | 29.7 | 155M | 31 | 481 | 12k|7987 |2091 | 1 | 14k| 33 | 0.000000e+00 | -- | Inf | 31.08%
45.73/45.93 c 45.9s| 5100 | 1011 |181774 | 29.8 | 155M | 31 | 481 | 12k|7995 |2109 | 0 | 15k| 33 | 0.000000e+00 | -- | Inf | 31.25%
46.53/46.74 c 46.7s| 5200 | 1028 |184496 | 29.8 | 155M | 31 | 481 | 11k|8004 |2160 | 1 | 15k| 33 | 0.000000e+00 | -- | Inf | 32.21%
46.93/47.19 c 47.2s| 5300 | 1025 |186673 | 29.6 | 155M | 31 | 481 | 11k|8003 |2194 | 1 | 15k| 33 | 0.000000e+00 | -- | Inf | 38.73%
47.42/47.60 c 47.6s| 5400 | 1029 |188958 | 29.5 | 155M | 31 | 481 | 11k|7999 |2211 | 2 | 15k| 33 | 0.000000e+00 | -- | Inf | 40.34%
48.02/48.20 c 48.2s| 5500 | 1048 |191646 | 29.5 | 155M | 31 | 481 | 12k|7992 |2234 | 1 | 15k| 33 | 0.000000e+00 | -- | Inf | 40.43%
48.22/48.43 c 48.4s| 5600 | 1051 |193374 | 29.3 | 156M | 31 | 481 | 12k|7990 |2237 | 1 | 16k| 33 | 0.000000e+00 | -- | Inf | 40.50%
48.72/48.99 c 49.0s| 5700 | 1089 |197639 | 29.5 | 156M | 31 | 481 | 12k| 0 |2266 | 0 | 16k| 33 | 0.000000e+00 | -- | Inf | 40.54%
49.32/49.50 c 49.5s| 5800 | 1114 |200633 | 29.5 | 156M | 31 | 481 | 12k|7998 |2290 | 1 | 16k| 33 | 0.000000e+00 | -- | Inf | 40.62%
49.62/49.82 c 49.8s| 5900 | 1140 |203688 | 29.5 | 156M | 31 | 481 | 12k| 0 |2294 | 0 | 17k| 33 | 0.000000e+00 | -- | Inf | 41.04%
50.31/50.52 c 50.5s| 6000 | 1153 |206930 | 29.6 | 156M | 31 | 481 | 12k|7991 |2345 | 1 | 17k| 33 | 0.000000e+00 | -- | Inf | 41.20%
50.82/51.07 c 51.1s| 6100 | 1170 |210502 | 29.6 | 156M | 31 | 481 | 12k|7991 |2361 | 1 | 17k| 33 | 0.000000e+00 | -- | Inf | 41.47%
51.31/51.51 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
51.31/51.51 c 51.5s| 6200 | 1192 |212456 | 29.5 | 156M | 31 | 481 | 12k|7997 |2385 | 1 | 17k| 33 | 0.000000e+00 | -- | Inf | 41.57%
51.51/51.72 c 51.7s| 6300 | 1186 |214094 | 29.3 | 156M | 31 | 481 | 13k|7995 |2392 | 0 | 18k| 33 | 0.000000e+00 | -- | Inf | 41.57%
52.10/52.31 c 52.3s| 6400 | 1202 |216410 | 29.2 | 157M | 31 | 481 | 13k|7997 |2429 | 1 | 18k| 33 | 0.000000e+00 | -- | Inf | 41.66%
52.40/52.66 c 52.7s| 6500 | 1194 |218473 | 29.1 | 157M | 31 | 481 | 12k|7999 |2438 | 1 | 18k| 33 | 0.000000e+00 | -- | Inf | 42.05%
53.00/53.25 c 53.2s| 6600 | 1198 |221759 | 29.2 | 158M | 31 | 481 | 12k|7994 |2469 | 1 | 18k| 33 | 0.000000e+00 | -- | Inf | 42.12%
53.50/53.72 c 53.7s| 6700 | 1222 |224960 | 29.2 | 158M | 31 | 481 | 12k|7988 |2499 | 1 | 18k| 33 | 0.000000e+00 | -- | Inf | 42.23%
54.20/54.45 c 54.4s| 6800 | 1216 |226066 | 29.0 | 159M | 31 | 481 | 12k| 0 |2531 | 0 | 19k| 33 | 0.000000e+00 | -- | Inf | 44.20%
54.60/54.87 c 54.9s| 6900 | 1236 |229102 | 29.0 | 161M | 31 | 481 | 12k| 0 |2554 | 0 | 19k| 33 | 0.000000e+00 | -- | Inf | 44.41%
54.90/55.13 c 55.1s| 7000 | 1235 |230664 | 28.8 | 161M | 31 | 481 | 12k|7994 |2562 | 1 | 19k| 33 | 0.000000e+00 | -- | Inf | 44.85%
55.39/55.64 c 55.6s| 7100 | 1227 |232899 | 28.7 | 162M | 31 | 481 | 12k|7995 |2621 | 1 | 19k| 33 | 0.000000e+00 | -- | Inf | 45.15%
55.90/56.17 c 56.2s| 7200 | 1251 |235888 | 28.8 | 162M | 31 | 481 | 12k|7997 |2641 | 1 | 19k| 33 | 0.000000e+00 | -- | Inf | 45.64%
56.30/56.59 c 56.6s| 7300 | 1229 |238189 | 28.7 | 162M | 31 | 481 | 12k|7999 |2670 | 1 | 20k| 33 | 0.000000e+00 | -- | Inf | 46.14%
56.90/57.13 c 57.1s| 7400 | 1260 |241123 | 28.7 | 162M | 31 | 481 | 12k|7991 |2704 | 1 | 20k| 33 | 0.000000e+00 | -- | Inf | 46.24%
57.30/57.57 c 57.6s| 7500 | 1256 |243543 | 28.6 | 162M | 31 | 481 | 12k| 0 |2718 | 0 | 20k| 33 | 0.000000e+00 | -- | Inf | 46.53%
57.69/57.98 c 58.0s| 7600 | 1271 |246236 | 28.6 | 162M | 31 | 481 | 12k| 0 |2735 | 0 | 20k| 33 | 0.000000e+00 | -- | Inf | 46.60%
57.99/58.23 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
57.99/58.23 c 58.2s| 7700 | 1268 |248059 | 28.5 | 162M | 31 | 481 | 12k|7998 |2738 | 1 | 21k| 33 | 0.000000e+00 | -- | Inf | 47.09%
58.39/58.64 c 58.6s| 7800 | 1284 |250396 | 28.4 | 162M | 31 | 481 | 13k|7990 |2758 | 2 | 21k| 33 | 0.000000e+00 | -- | Inf | 47.15%
58.69/58.93 c 58.9s| 7900 | 1292 |252666 | 28.4 | 162M | 31 | 481 | 13k|8006 |2765 | 1 | 21k| 33 | 0.000000e+00 | -- | Inf | 47.21%
58.99/59.28 c 59.3s| 8000 | 1309 |255570 | 28.4 | 163M | 31 | 481 | 13k|8005 |2766 | 1 | 21k| 33 | 0.000000e+00 | -- | Inf | 47.76%
59.39/59.62 c 59.6s| 8100 | 1296 |258022 | 28.3 | 163M | 31 | 481 | 13k|7998 |2773 | 1 | 22k| 33 | 0.000000e+00 | -- | Inf | 48.08%
59.98/60.26 c 60.3s| 8200 | 1318 |261156 | 28.4 | 163M | 31 | 481 | 13k|7998 |2809 | 1 | 22k| 33 | 0.000000e+00 | -- | Inf | 50.38%
60.48/60.71 c 60.7s| 8300 | 1311 |263803 | 28.4 | 164M | 31 | 481 | 13k| 0 |2826 | 0 | 22k| 33 | 0.000000e+00 | -- | Inf | 50.63%
60.79/61.09 c 61.1s| 8400 | 1314 |266342 | 28.3 | 164M | 31 | 481 | 12k| 0 |2843 | 0 | 22k| 33 | 0.000000e+00 | -- | Inf | 50.66%
61.28/61.59 c 61.6s| 8500 | 1328 |269440 | 28.4 | 164M | 31 | 481 | 13k|8003 |2880 | 1 | 22k| 33 | 0.000000e+00 | -- | Inf | 51.13%
61.88/62.15 c 62.1s| 8600 | 1343 |273544 | 28.5 | 164M | 31 | 481 | 13k|7999 |2899 | 1 | 23k| 33 | 0.000000e+00 | -- | Inf | 51.45%
62.18/62.41 c 62.4s| 8700 | 1351 |275741 | 28.4 | 164M | 31 | 481 | 13k|7999 |2922 | 1 | 23k| 33 | 0.000000e+00 | -- | Inf | 51.47%
62.47/62.73 c 62.7s| 8800 | 1355 |277432 | 28.3 | 164M | 31 | 481 | 13k| 0 |2955 | 0 | 23k| 33 | 0.000000e+00 | -- | Inf | 51.62%
62.88/63.15 c 63.1s| 8900 | 1349 |279331 | 28.2 | 164M | 31 | 481 | 13k|7996 |2979 | 1 | 23k| 33 | 0.000000e+00 | -- | Inf | 53.07%
63.47/63.72 c 63.7s| 9000 | 1351 |282215 | 28.2 | 164M | 31 | 481 | 13k|7997 |2998 | 1 | 23k| 33 | 0.000000e+00 | -- | Inf | 53.22%
63.87/64.14 c 64.1s| 9100 | 1365 |285386 | 28.2 | 164M | 31 | 481 | 13k| 0 |3018 | 0 | 24k| 33 | 0.000000e+00 | -- | Inf | 53.38%
64.27/64.54 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
64.27/64.54 c 64.5s| 9200 | 1389 |289081 | 28.3 | 164M | 31 | 481 | 13k|7997 |3030 | 1 | 24k| 33 | 0.000000e+00 | -- | Inf | 53.63%
64.56/64.86 c 64.9s| 9300 | 1391 |291836 | 28.3 | 164M | 31 | 481 | 13k| 0 |3037 | 0 | 24k| 33 | 0.000000e+00 | -- | Inf | 53.63%
64.96/65.24 c 65.2s| 9400 | 1392 |293564 | 28.2 | 165M | 31 | 481 | 13k|7995 |3064 | 2 | 24k| 33 | 0.000000e+00 | -- | Inf | 53.70%
65.26/65.52 c 65.5s| 9500 | 1392 |295515 | 28.1 | 165M | 31 | 481 | 13k| 0 |3067 | 0 | 25k| 33 | 0.000000e+00 | -- | Inf | 53.76%
65.66/65.97 c 66.0s| 9600 | 1406 |298105 | 28.1 | 165M | 31 | 481 | 14k| 0 |3086 | 0 | 25k| 33 | 0.000000e+00 | -- | Inf | 53.82%
66.16/66.41 c 66.4s| 9700 | 1404 |300224 | 28.1 | 166M | 31 | 481 | 14k| 0 |3112 | 0 | 25k| 33 | 0.000000e+00 | -- | Inf | 54.77%
66.66/66.98 c 67.0s| 9800 | 1417 |302747 | 28.0 | 167M | 31 | 481 | 13k|7997 |3145 | 1 | 25k| 33 | 0.000000e+00 | -- | Inf | 56.05%
66.96/67.29 c 67.3s| 9900 | 1442 |305192 | 28.0 | 167M | 31 | 481 | 13k|8000 |3148 | 1 | 26k| 33 | 0.000000e+00 | -- | Inf | 56.07%
67.45/67.79 c 67.8s| 10000 | 1474 |308641 | 28.1 | 167M | 31 | 481 | 14k|7997 |3169 | 2 | 26k| 33 | 0.000000e+00 | -- | Inf | 56.07%
67.86/68.17 c 68.2s| 10100 | 1498 |311807 | 28.1 | 168M | 31 | 481 | 14k| 0 |3173 | 0 | 26k| 33 | 0.000000e+00 | -- | Inf | 56.19%
68.16/68.47 c 68.5s| 10200 | 1507 |314072 | 28.0 | 169M | 31 | 481 | 14k|7999 |3185 | 1 | 27k| 33 | 0.000000e+00 | -- | Inf | 56.21%
68.66/68.91 c 68.9s| 10300 | 1519 |316283 | 28.0 | 169M | 32 | 481 | 14k|7994 |3203 | 1 | 27k| 33 | 0.000000e+00 | -- | Inf | 56.43%
68.96/69.23 c 69.2s| 10400 | 1531 |319325 | 28.0 | 169M | 32 | 481 | 14k|7997 |3203 | 1 | 27k| 33 | 0.000000e+00 | -- | Inf | 56.51%
69.66/70.00 c 70.0s| 10500 | 1521 |321885 | 28.0 | 172M | 32 | 481 | 14k|7997 |3250 | 1 | 27k| 33 | 0.000000e+00 | -- | Inf | 57.03%
70.25/70.59 c 70.6s| 10600 | 1522 |324500 | 28.0 | 172M | 32 | 481 | 14k|7995 |3281 | 1 | 28k| 33 | 0.000000e+00 | -- | Inf | 57.27%
70.95/71.25 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
70.95/71.25 c 71.2s| 10700 | 1533 |327078 | 27.9 | 172M | 32 | 481 | 14k| 0 |3313 | 0 | 28k| 33 | 0.000000e+00 | -- | Inf | 58.15%
71.35/71.68 c 71.7s| 10800 | 1545 |330114 | 28.0 | 172M | 32 | 481 | 14k|7995 |3325 | 1 | 28k| 33 | 0.000000e+00 | -- | Inf | 58.38%
72.05/72.33 c 72.3s| 10900 | 1562 |333118 | 28.0 | 173M | 32 | 481 | 14k|8002 |3361 | 1 | 28k| 33 | 0.000000e+00 | -- | Inf | 58.59%
72.35/72.60 c 72.6s| 11000 | 1582 |335592 | 28.0 | 173M | 32 | 481 | 14k|8003 |3387 | 2 | 29k| 33 | 0.000000e+00 | -- | Inf | 58.59%
72.94/73.22 c 73.2s| 11100 | 1585 |336824 | 27.8 | 174M | 32 | 481 | 14k|8000 |3445 | 1 | 29k| 33 | 0.000000e+00 | -- | Inf | 59.31%
73.64/73.91 c 73.9s| 11200 | 1577 |339685 | 27.8 | 174M | 32 | 481 | 14k| 0 |3494 | 0 | 29k| 33 | 0.000000e+00 | -- | Inf | 59.78%
73.85/74.18 c 74.2s| 11300 | 1578 |341386 | 27.7 | 174M | 32 | 481 | 14k| 0 |3501 | 0 | 29k| 33 | 0.000000e+00 | -- | Inf | 59.91%
74.24/74.50 c 74.5s| 11400 | 1588 |342543 | 27.6 | 174M | 32 | 481 | 14k|7994 |3524 | 1 | 29k| 33 | 0.000000e+00 | -- | Inf | 60.05%
74.44/74.79 c 74.8s| 11500 | 1568 |343970 | 27.5 | 174M | 32 | 481 | 14k|7991 |3547 | 1 | 29k| 33 | 0.000000e+00 | -- | Inf | 60.52%
75.53/75.81 c 75.8s| 11600 | 1582 |350847 | 27.8 | 174M | 32 | 481 | 14k| 0 |3555 | 0 | 30k| 33 | 0.000000e+00 | -- | Inf | 60.56%
75.84/76.11 c 76.1s| 11700 | 1586 |353272 | 27.8 | 174M | 32 | 481 | 14k|8002 |3564 | 1 | 30k| 33 | 0.000000e+00 | -- | Inf | 60.68%
76.23/76.51 c 76.5s| 11800 | 1596 |356468 | 27.8 | 174M | 32 | 481 | 14k|7996 |3578 | 1 | 30k| 33 | 0.000000e+00 | -- | Inf | 60.72%
76.53/76.86 c 76.8s| 11900 | 1569 |358727 | 27.8 | 174M | 32 | 481 | 14k|8003 |3584 | 1 | 30k| 33 | 0.000000e+00 | -- | Inf | 60.95%
77.03/77.39 c 77.4s| 12000 | 1578 |361455 | 27.8 | 175M | 32 | 481 | 14k|7990 |3634 | 1 | 31k| 33 | 0.000000e+00 | -- | Inf | 61.18%
77.23/77.59 c 77.6s| 12100 | 1572 |363143 | 27.7 | 175M | 32 | 481 | 14k|8005 |3639 | 1 | 31k| 33 | 0.000000e+00 | -- | Inf | 61.26%
77.53/77.84 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
77.53/77.84 c 77.8s| 12200 | 1575 |365035 | 27.6 | 175M | 32 | 481 | 14k|7996 |3642 | 1 | 31k| 33 | 0.000000e+00 | -- | Inf | 61.27%
78.23/78.59 c 78.6s| 12300 | 1605 |370236 | 27.8 | 175M | 32 | 481 | 14k|7994 |3698 | 1 | 31k| 33 | 0.000000e+00 | -- | Inf | 61.36%
78.62/78.92 c 78.9s| 12400 | 1636 |373014 | 27.8 | 175M | 32 | 481 | 14k|7995 |3714 | 1 | 32k| 33 | 0.000000e+00 | -- | Inf | 61.46%
78.92/79.29 c 79.3s| 12500 | 1653 |375416 | 27.8 | 175M | 32 | 481 | 14k| 0 |3734 | 0 | 32k| 33 | 0.000000e+00 | -- | Inf | 61.60%
79.32/79.65 c 79.6s| 12600 | 1650 |377609 | 27.8 | 175M | 32 | 481 | 15k|7997 |3756 | 1 | 32k| 33 | 0.000000e+00 | -- | Inf | 61.77%
79.62/79.93 c 79.9s| 12700 | 1657 |380257 | 27.7 | 175M | 32 | 481 | 15k|7994 |3766 | 1 | 32k| 33 | 0.000000e+00 | -- | Inf | 61.85%
80.02/80.34 c 80.3s| 12800 | 1676 |383501 | 27.8 | 176M | 32 | 481 | 15k|7993 |3810 | 1 | 32k| 33 | 0.000000e+00 | -- | Inf | 61.90%
80.22/80.57 c 80.6s| 12900 | 1661 |385492 | 27.7 | 176M | 32 | 481 | 15k|7994 |3810 | 1 | 33k| 33 | 0.000000e+00 | -- | Inf | 62.00%
80.42/80.76 c 80.7s| 13000 | 1672 |387214 | 27.7 | 176M | 32 | 481 | 15k| 0 |3810 | 0 | 33k| 33 | 0.000000e+00 | -- | Inf | 62.06%
80.82/81.18 c 81.2s| 13100 | 1667 |389539 | 27.6 | 176M | 32 | 481 | 15k|8002 |3848 | 1 | 33k| 33 | 0.000000e+00 | -- | Inf | 62.22%
81.01/81.38 c 81.4s| 13200 | 1659 |391277 | 27.5 | 176M | 32 | 481 | 16k|7997 |3848 | 0 | 34k| 33 | 0.000000e+00 | -- | Inf | 62.36%
81.31/81.62 c 81.6s| 13300 | 1616 |392921 | 27.5 | 176M | 32 | 481 | 16k|7998 |3848 | 1 | 34k| 33 | 0.000000e+00 | -- | Inf | 62.57%
81.51/81.82 c 81.8s| 13400 | 1602 |394126 | 27.4 | 176M | 32 | 481 | 15k| 0 |3849 | 0 | 34k| 33 | 0.000000e+00 | -- | Inf | 62.66%
81.82/82.18 c 82.2s| 13500 | 1600 |397296 | 27.4 | 176M | 33 | 481 | 15k|7997 |3859 | 1 | 34k| 33 | 0.000000e+00 | -- | Inf | 62.94%
82.41/82.71 c 82.7s| 13600 | 1618 |400483 | 27.4 | 178M | 33 | 481 | 15k|8002 |3892 | 1 | 35k| 33 | 0.000000e+00 | -- | Inf | 63.00%
82.71/83.08 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
82.71/83.08 c 83.1s| 13700 | 1605 |403497 | 27.4 | 179M | 33 | 481 | 16k|7994 |3898 | 1 | 35k| 33 | 0.000000e+00 | -- | Inf | 63.12%
83.60/83.94 c 83.9s| 13800 | 1630 |406871 | 27.5 | 179M | 33 | 481 | 16k| 0 |3983 | 0 | 35k| 33 | 0.000000e+00 | -- | Inf | 63.31%
84.00/84.34 c 84.3s| 13900 | 1625 |409644 | 27.5 | 179M | 33 | 481 | 16k|7997 |4001 | 1 | 35k| 33 | 0.000000e+00 | -- | Inf | 63.53%
84.60/84.90 c 84.9s| 14000 | 1621 |411692 | 27.4 | 180M | 33 | 481 | 15k|7991 |4030 | 1 | 36k| 33 | 0.000000e+00 | -- | Inf | 64.87%
85.00/85.30 c 85.3s| 14100 | 1613 |413929 | 27.4 | 180M | 33 | 481 | 16k| 0 |4049 | 0 | 36k| 33 | 0.000000e+00 | -- | Inf | 65.25%
85.30/85.63 c 85.6s| 14200 | 1603 |416312 | 27.4 | 180M | 33 | 481 | 15k|8000 |4065 | 1 | 36k| 33 | 0.000000e+00 | -- | Inf | 65.47%
85.50/85.88 c 85.9s| 14300 | 1616 |418445 | 27.3 | 180M | 33 | 481 | 15k|7999 |4081 | 1 | 36k| 33 | 0.000000e+00 | -- | Inf | 65.49%
86.09/86.40 c 86.4s| 14400 | 1641 |422455 | 27.4 | 184M | 33 | 481 | 15k|8000 |4105 | 1 | 36k| 33 | 0.000000e+00 | -- | Inf | 65.53%
86.49/86.88 c 86.9s| 14500 | 1667 |425693 | 27.5 | 184M | 33 | 481 | 15k|7994 |4119 | 1 | 37k| 33 | 0.000000e+00 | -- | Inf | 65.57%
86.70/87.07 c 87.1s| 14600 | 1666 |427356 | 27.4 | 184M | 33 | 481 | 16k|7989 |4119 | 1 | 37k| 33 | 0.000000e+00 | -- | Inf | 65.60%
87.19/87.50 c 87.5s| 14700 | 1674 |430602 | 27.4 | 184M | 33 | 481 | 16k|7996 |4128 | 2 | 37k| 33 | 0.000000e+00 | -- | Inf | 65.74%
87.59/87.90 c 87.9s| 14800 | 1669 |432674 | 27.4 | 184M | 33 | 481 | 16k|7996 |4140 | 1 | 37k| 33 | 0.000000e+00 | -- | Inf | 65.79%
87.99/88.36 c 88.4s| 14900 | 1655 |435056 | 27.4 | 184M | 33 | 481 | 15k|8003 |4158 | 1 | 38k| 33 | 0.000000e+00 | -- | Inf | 68.19%
88.59/88.93 c 88.9s| 15000 | 1670 |438747 | 27.4 | 184M | 33 | 481 | 16k|7999 |4171 | 1 | 38k| 33 | 0.000000e+00 | -- | Inf | 68.25%
89.59/89.97 c 90.0s| 15100 | 1689 |443018 | 27.5 | 184M | 33 | 481 | 16k| 0 |4208 | 0 | 38k| 33 | 0.000000e+00 | -- | Inf | 68.61%
90.09/90.44 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
90.09/90.44 c 90.4s| 15200 | 1688 |445232 | 27.5 | 184M | 33 | 481 | 15k| 0 |4226 | 0 | 38k| 33 | 0.000000e+00 | -- | Inf | 68.86%
90.59/90.97 c 91.0s| 15300 | 1670 |448150 | 27.5 | 185M | 33 | 481 | 15k| 0 |4248 | 0 | 39k| 33 | 0.000000e+00 | -- | Inf | 69.06%
90.89/91.24 c 91.2s| 15400 | 1657 |450402 | 27.5 | 185M | 33 | 481 | 15k| 0 |4249 | 0 | 39k| 33 | 0.000000e+00 | -- | Inf | 69.84%
91.38/91.76 c 91.7s| 15500 | 1653 |454317 | 27.5 | 185M | 33 | 481 | 15k|7995 |4269 | 1 | 39k| 33 | 0.000000e+00 | -- | Inf | 70.62%
91.98/92.38 c 92.4s| 15600 | 1668 |457311 | 27.5 | 185M | 33 | 481 | 15k|7995 |4322 | 1 | 39k| 33 | 0.000000e+00 | -- | Inf | 76.95%
92.48/92.81 c 92.8s| 15700 | 1661 |459880 | 27.5 | 185M | 33 | 481 | 15k|7991 |4352 | 1 | 40k| 33 | 0.000000e+00 | -- | Inf | 77.83%
93.18/93.50 c 93.5s| 15800 | 1646 |462394 | 27.5 | 185M | 33 | 481 | 15k|7998 |4430 | 1 | 40k| 33 | 0.000000e+00 | -- | Inf | 78.25%
93.58/93.92 c 93.9s| 15900 | 1634 |464578 | 27.5 | 185M | 33 | 481 | 15k|8007 |4448 | 1 | 40k| 33 | 0.000000e+00 | -- | Inf | 78.29%
93.97/94.36 c 94.4s| 16000 | 1634 |466878 | 27.5 | 185M | 33 | 481 | 15k|7998 |4457 | 1 | 40k| 33 | 0.000000e+00 | -- | Inf | 78.52%
94.47/94.83 c 94.8s| 16100 | 1618 |469603 | 27.5 | 185M | 33 | 481 | 15k| 0 |4480 | 0 | 41k| 33 | 0.000000e+00 | -- | Inf | 79.73%
94.78/95.14 c 95.1s| 16200 | 1619 |472113 | 27.4 | 185M | 33 | 481 | 15k|8000 |4499 | 2 | 41k| 33 | 0.000000e+00 | -- | Inf | 79.87%
95.17/95.57 c 95.6s| 16300 | 1626 |475081 | 27.5 | 185M | 33 | 481 | 15k|8004 |4533 | 3 | 41k| 33 | 0.000000e+00 | -- | Inf | 79.87%
95.97/96.36 c 96.4s| 16400 | 1640 |478736 | 27.5 | 185M | 33 | 481 | 15k| 0 |4563 | 0 | 41k| 33 | 0.000000e+00 | -- | Inf | 80.14%
96.36/96.75 c 96.7s| 16500 | 1631 |482153 | 27.5 | 185M | 33 | 481 | 15k| 0 |4564 | 0 | 41k| 33 | 0.000000e+00 | -- | Inf | 80.31%
96.77/97.16 c 97.2s| 16600 | 1625 |484144 | 27.5 | 186M | 33 | 481 | 15k| 0 |4589 | 0 | 42k| 33 | 0.000000e+00 | -- | Inf | 80.55%
97.06/97.48 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
97.06/97.48 c 97.5s| 16700 | 1638 |487509 | 27.5 | 186M | 33 | 481 | 15k| 0 |4592 | 0 | 42k| 33 | 0.000000e+00 | -- | Inf | 80.57%
97.46/97.85 c 97.8s| 16800 | 1641 |489114 | 27.5 | 186M | 33 | 481 | 15k|7998 |4619 | 1 | 42k| 33 | 0.000000e+00 | -- | Inf | 80.90%
97.77/98.18 c 98.2s| 16900 | 1642 |490645 | 27.4 | 186M | 33 | 481 | 16k| 0 |4631 | 0 | 42k| 33 | 0.000000e+00 | -- | Inf | 81.20%
98.16/98.55 c 98.5s| 17000 | 1633 |494292 | 27.5 | 186M | 33 | 481 | 16k| 0 |4638 | 0 | 43k| 33 | 0.000000e+00 | -- | Inf | 81.24%
98.36/98.76 c 98.7s| 17100 | 1638 |495840 | 27.4 | 186M | 33 | 481 | 16k|8002 |4646 | 1 | 43k| 33 | 0.000000e+00 | -- | Inf | 81.25%
98.66/99.07 c 99.1s| 17200 | 1637 |497570 | 27.3 | 188M | 33 | 481 | 16k|7999 |4674 | 0 | 43k| 33 | 0.000000e+00 | -- | Inf | 81.51%
98.96/99.38 c 99.4s| 17300 | 1628 |499545 | 27.3 | 188M | 33 | 481 | 16k|7997 |4678 | 1 | 43k| 33 | 0.000000e+00 | -- | Inf | 81.58%
99.35/99.75 c 99.7s| 17400 | 1619 |501646 | 27.3 | 188M | 33 | 481 | 16k| 0 |4698 | 0 | 44k| 33 | 0.000000e+00 | -- | Inf | 81.76%
99.85/100.20 c 100s| 17500 | 1620 |503425 | 27.2 | 188M | 33 | 481 | 16k| 0 |4721 | 0 | 44k| 33 | 0.000000e+00 | -- | Inf | 82.35%
100.05/100.46 c 100s| 17600 | 1610 |505147 | 27.2 | 188M | 33 | 481 | 16k| 0 |4721 | 0 | 44k| 33 | 0.000000e+00 | -- | Inf | 82.51%
100.76/101.11 c 101s| 17700 | 1626 |508010 | 27.2 | 188M | 33 | 481 | 16k| 0 |4755 | 0 | 44k| 33 | 0.000000e+00 | -- | Inf | 82.62%
101.25/101.64 c 102s| 17800 | 1617 |510063 | 27.1 | 188M | 33 | 481 | 16k|8004 |4809 | 1 | 45k| 33 | 0.000000e+00 | -- | Inf | 82.76%
101.75/102.19 c 102s| 17900 | 1604 |511571 | 27.1 | 189M | 33 | 481 | 16k|7996 |4865 | 1 | 45k| 33 | 0.000000e+00 | -- | Inf | 83.50%
102.05/102.44 c 102s| 18000 | 1598 |512987 | 27.0 | 189M | 33 | 481 | 16k| 0 |4891 | 0 | 45k| 33 | 0.000000e+00 | -- | Inf | 83.71%
102.34/102.75 c 103s| 18100 | 1599 |515346 | 27.0 | 189M | 33 | 481 | 16k| 0 |4897 | 0 | 45k| 33 | 0.000000e+00 | -- | Inf | 83.96%
102.75/103.16 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
102.75/103.16 c 103s| 18200 | 1585 |518075 | 27.0 | 193M | 33 | 481 | 16k| 0 |4901 | 0 | 46k| 33 | 0.000000e+00 | -- | Inf | 84.25%
103.14/103.58 c 104s| 18300 | 1557 |520687 | 27.0 | 193M | 33 | 481 | 16k| 0 |4920 | 0 | 46k| 33 | 0.000000e+00 | -- | Inf | 84.53%
103.44/103.82 c 104s| 18400 | 1559 |522579 | 26.9 | 193M | 33 | 481 | 16k|7993 |4943 | 0 | 46k| 33 | 0.000000e+00 | -- | Inf | 84.55%
103.75/104.15 c 104s| 18500 | 1540 |524516 | 26.9 | 193M | 33 | 481 | 16k| 0 |4968 | 0 | 46k| 33 | 0.000000e+00 | -- | Inf | 84.58%
104.14/104.59 c 105s| 18600 | 1536 |527532 | 26.9 | 193M | 33 | 481 | 16k|8002 |4997 | 1 | 46k| 33 | 0.000000e+00 | -- | Inf | 85.69%
104.64/105.06 c 105s| 18700 | 1529 |530819 | 26.9 | 193M | 33 | 481 | 16k|7994 |5006 | 1 | 47k| 33 | 0.000000e+00 | -- | Inf | 85.85%
105.03/105.47 c 105s| 18800 | 1506 |533339 | 26.9 | 194M | 33 | 481 | 16k| 0 |5018 | 0 | 47k| 33 | 0.000000e+00 | -- | Inf | 85.95%
105.33/105.75 c 106s| 18900 | 1497 |535368 | 26.9 | 194M | 33 | 481 | 16k|8001 |5022 | 1 | 47k| 33 | 0.000000e+00 | -- | Inf | 87.64%
105.74/106.17 c 106s| 19000 | 1482 |537839 | 26.9 | 194M | 33 | 481 | 15k|8005 |5054 | 1 | 47k| 33 | 0.000000e+00 | -- | Inf | 87.80%
106.03/106.47 c 106s| 19100 | 1466 |540342 | 26.9 | 194M | 33 | 481 | 16k|7998 |5055 | 1 | 48k| 33 | 0.000000e+00 | -- | Inf | 87.89%
106.43/106.84 c 107s| 19200 | 1459 |543227 | 26.9 | 194M | 33 | 481 | 16k|8014 |5060 | 1 | 48k| 33 | 0.000000e+00 | -- | Inf | 88.05%
106.73/107.19 c 107s| 19300 | 1440 |545778 | 26.9 | 194M | 33 | 481 | 16k|8000 |5060 | 1 | 48k| 33 | 0.000000e+00 | -- | Inf | 88.15%
107.23/107.62 c 108s| 19400 | 1420 |548116 | 26.9 | 194M | 33 | 481 | 15k|7998 |5071 | 1 | 48k| 33 | 0.000000e+00 | -- | Inf | 88.37%
107.53/107.94 c 108s| 19500 | 1415 |549854 | 26.8 | 194M | 33 | 481 | 15k|8000 |5081 | 1 | 48k| 33 | 0.000000e+00 | -- | Inf | 88.40%
107.92/108.31 c 108s| 19600 | 1422 |553000 | 26.8 | 194M | 33 | 481 | 16k|8000 |5081 | 0 | 49k| 33 | 0.000000e+00 | -- | Inf | 88.43%
108.22/108.62 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
108.22/108.62 c 109s| 19700 | 1404 |554843 | 26.8 | 194M | 33 | 481 | 15k|8003 |5092 | 2 | 49k| 33 | 0.000000e+00 | -- | Inf | 88.67%
108.63/109.02 c 109s| 19800 | 1413 |557712 | 26.8 | 194M | 33 | 481 | 16k|7996 |5101 | 1 | 49k| 33 | 0.000000e+00 | -- | Inf | 88.77%
108.92/109.32 c 109s| 19900 | 1409 |559840 | 26.8 | 194M | 33 | 481 | 16k| 0 |5102 | 0 | 49k| 33 | 0.000000e+00 | -- | Inf | 88.81%
109.22/109.67 c 110s| 20000 | 1407 |562552 | 26.8 | 194M | 33 | 481 | 16k|7996 |5104 | 1 | 50k| 33 | 0.000000e+00 | -- | Inf | 88.96%
109.62/110.04 c 110s| 20100 | 1397 |565143 | 26.8 | 194M | 33 | 481 | 16k| 0 |5113 | 0 | 50k| 33 | 0.000000e+00 | -- | Inf | 89.05%
110.12/110.57 c 111s| 20200 | 1388 |568347 | 26.8 | 194M | 33 | 481 | 16k|7991 |5120 | 2 | 50k| 33 | 0.000000e+00 | -- | Inf | 89.08%
110.42/110.84 c 111s| 20300 | 1383 |570253 | 26.8 | 194M | 33 | 481 | 16k| 0 |5122 | 0 | 50k| 33 | 0.000000e+00 | -- | Inf | 90.65%
110.81/111.24 c 111s| 20400 | 1385 |573009 | 26.8 | 194M | 33 | 481 | 16k|8004 |5134 | 1 | 51k| 33 | 0.000000e+00 | -- | Inf | 90.73%
111.11/111.50 c 111s| 20500 | 1388 |574658 | 26.7 | 194M | 33 | 481 | 16k|7994 |5134 | 1 | 51k| 33 | 0.000000e+00 | -- | Inf | 90.78%
111.31/111.78 c 112s| 20600 | 1365 |576105 | 26.7 | 194M | 33 | 481 | 16k|7989 |5134 | 1 | 51k| 33 | 0.000000e+00 | -- | Inf | 91.04%
111.72/112.12 c 112s| 20700 | 1353 |578788 | 26.7 | 194M | 33 | 481 | 16k| 0 |5134 | 0 | 52k| 33 | 0.000000e+00 | -- | Inf | 91.91%
112.01/112.42 c 112s| 20800 | 1350 |581400 | 26.7 | 194M | 33 | 481 | 16k|8000 |5137 | 1 | 52k| 33 | 0.000000e+00 | -- | Inf | 92.01%
112.41/112.87 c 113s| 20900 | 1345 |584683 | 26.7 | 194M | 33 | 481 | 16k|8009 |5142 | 1 | 52k| 33 | 0.000000e+00 | -- | Inf | 92.08%
112.71/113.16 c 113s| 21000 | 1318 |586793 | 26.7 | 194M | 33 | 481 | 16k| 0 |5148 | 0 | 52k| 33 | 0.000000e+00 | -- | Inf | 92.18%
113.31/113.76 c 114s| 21100 | 1297 |589690 | 26.7 | 194M | 33 | 481 | 16k|7989 |5159 | 1 | 53k| 33 | 0.000000e+00 | -- | Inf | 92.54%
113.61/114.02 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
113.61/114.02 c 114s| 21200 | 1277 |591431 | 26.6 | 194M | 33 | 481 | 16k|7997 |5160 | 1 | 53k| 33 | 0.000000e+00 | -- | Inf | 92.69%
113.80/114.28 c 114s| 21300 | 1276 |593403 | 26.6 | 194M | 33 | 481 | 16k| 0 |5168 | 0 | 53k| 33 | 0.000000e+00 | -- | Inf | 92.81%
114.20/114.63 c 115s| 21400 | 1266 |595706 | 26.6 | 194M | 33 | 481 | 16k|8001 |5176 | 1 | 53k| 33 | 0.000000e+00 | -- | Inf | 92.93%
114.50/114.99 c 115s| 21500 | 1260 |598508 | 26.6 | 194M | 33 | 481 | 16k| 0 |5176 | 0 | 54k| 33 | 0.000000e+00 | -- | Inf | 93.02%
114.90/115.32 c 115s| 21600 | 1243 |600833 | 26.6 | 194M | 33 | 481 | 16k|7997 |5177 | 1 | 54k| 33 | 0.000000e+00 | -- | Inf | 93.50%
115.20/115.67 c 116s| 21700 | 1256 |603749 | 26.6 | 194M | 33 | 481 | 17k|8001 |5180 | 1 | 54k| 33 | 0.000000e+00 | -- | Inf | 93.52%
115.80/116.28 c 116s| 21800 | 1244 |607385 | 26.6 | 194M | 33 | 481 | 17k|8005 |5192 | 1 | 54k| 33 | 0.000000e+00 | -- | Inf | 93.69%
116.19/116.62 c 117s| 21900 | 1235 |609678 | 26.6 | 195M | 33 | 481 | 17k| 0 |5193 | 0 | 55k| 33 | 0.000000e+00 | -- | Inf | 94.00%
116.49/116.99 c 117s| 22000 | 1221 |612774 | 26.6 | 195M | 33 | 481 | 16k| 0 |5199 | 0 | 55k| 33 | 0.000000e+00 | -- | Inf | 94.06%
116.99/117.40 c 117s| 22100 | 1206 |615553 | 26.6 | 195M | 33 | 481 | 16k|7995 |5204 | 1 | 55k| 33 | 0.000000e+00 | -- | Inf | 94.90%
117.29/117.75 c 118s| 22200 | 1171 |617559 | 26.6 | 195M | 33 | 481 | 16k|8002 |5206 | 1 | 56k| 33 | 0.000000e+00 | -- | Inf | 95.45%
117.69/118.15 c 118s| 22300 | 1154 |619560 | 26.6 | 195M | 33 | 481 | 16k|7997 |5216 | 1 | 56k| 33 | 0.000000e+00 | -- | Inf | 95.70%
118.09/118.55 c 119s| 22400 | 1143 |622860 | 26.6 | 195M | 33 | 481 | 16k|8002 |5218 | 0 | 56k| 33 | 0.000000e+00 | -- | Inf | 96.03%
118.39/118.89 c 119s| 22500 | 1112 |625366 | 26.6 | 195M | 33 | 481 | 16k| 0 |5218 | 0 | 56k| 33 | 0.000000e+00 | -- | Inf | 96.31%
118.79/119.27 c 119s| 22600 | 1072 |627519 | 26.6 | 195M | 33 | 481 | 16k|7996 |5225 | 1 | 57k| 33 | 0.000000e+00 | -- | Inf | 96.86%
119.28/119.71 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
119.28/119.71 c 120s| 22700 | 1056 |630696 | 26.6 | 195M | 33 | 481 | 16k| 0 |5228 | 0 | 57k| 33 | 0.000000e+00 | -- | Inf | 96.92%
119.59/120.10 c 120s| 22800 | 1060 |633603 | 26.6 | 195M | 33 | 481 | 16k|7996 |5234 | 1 | 57k| 33 | 0.000000e+00 | -- | Inf | 96.99%
120.08/120.54 c 121s| 22900 | 1047 |637157 | 26.7 | 195M | 33 | 481 | 16k| 0 |5248 | 0 | 57k| 33 | 0.000000e+00 | -- | Inf | 97.30%
120.38/120.87 c 121s| 23000 | 1031 |639692 | 26.6 | 195M | 33 | 481 | 16k|7991 |5251 | 1 | 57k| 33 | 0.000000e+00 | -- | Inf | 97.35%
120.68/121.16 c 121s| 23100 | 1013 |641742 | 26.6 | 195M | 34 | 481 | 16k| 0 |5254 | 0 | 58k| 33 | 0.000000e+00 | -- | Inf | 97.39%
121.08/121.56 c 122s| 23200 | 998 |644914 | 26.6 | 195M | 39 | 481 | 16k|7991 |5258 | 1 | 58k| 33 | 0.000000e+00 | -- | Inf | 97.48%
121.38/121.80 c 122s| 23300 | 978 |646334 | 26.6 | 195M | 39 | 481 | 16k|7991 |5260 | 1 | 58k| 33 | 0.000000e+00 | -- | Inf | 97.66%
121.58/122.09 c 122s| 23400 | 961 |648291 | 26.6 | 195M | 39 | 481 | 16k| 0 |5261 | 0 | 58k| 33 | 0.000000e+00 | -- | Inf | 97.68%
121.97/122.42 c 122s| 23500 | 943 |650694 | 26.6 | 195M | 39 | 481 | 16k| 0 |5265 | 0 | 59k| 33 | 0.000000e+00 | -- | Inf | 97.72%
122.27/122.70 c 123s| 23600 | 945 |652694 | 26.5 | 195M | 39 | 481 | 16k|7996 |5273 | 1 | 59k| 33 | 0.000000e+00 | -- | Inf | 97.81%
122.47/122.92 c 123s| 23700 | 932 |654478 | 26.5 | 195M | 39 | 481 | 17k| 0 |5274 | 0 | 59k| 33 | 0.000000e+00 | -- | Inf | 97.81%
122.77/123.23 c 123s| 23800 | 927 |656691 | 26.5 | 195M | 39 | 481 | 17k|7999 |5276 | 1 | 60k| 33 | 0.000000e+00 | -- | Inf | 97.83%
123.07/123.50 c 123s| 23900 | 919 |658434 | 26.4 | 195M | 39 | 481 | 17k| 0 |5283 | 0 | 60k| 33 | 0.000000e+00 | -- | Inf | 97.94%
123.37/123.89 c 124s| 24000 | 890 |660701 | 26.4 | 195M | 39 | 481 | 17k| 0 |5288 | 0 | 60k| 33 | 0.000000e+00 | -- | Inf | 98.14%
123.87/124.38 c 124s| 24100 | 889 |663790 | 26.4 | 195M | 39 | 481 | 17k|8003 |5293 | 1 | 61k| 33 | 0.000000e+00 | -- | Inf | 98.22%
124.27/124.77 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
124.27/124.77 c 125s| 24200 | 882 |666498 | 26.4 | 195M | 39 | 481 | 17k|7998 |5296 | 1 | 61k| 33 | 0.000000e+00 | -- | Inf | 98.35%
124.46/124.99 c 125s| 24300 | 872 |668213 | 26.4 | 196M | 39 | 481 | 17k| 0 |5303 | 0 | 61k| 33 | 0.000000e+00 | -- | Inf | 98.35%
124.86/125.33 c 125s| 24400 | 861 |670777 | 26.4 | 196M | 39 | 481 | 17k|8001 |5307 | 1 | 61k| 33 | 0.000000e+00 | -- | Inf | 98.43%
125.16/125.69 c 126s| 24500 | 875 |673922 | 26.4 | 196M | 39 | 481 | 17k|7991 |5308 | 2 | 62k| 33 | 0.000000e+00 | -- | Inf | 98.43%
125.57/126.04 c 126s| 24600 | 873 |676640 | 26.4 | 196M | 39 | 481 | 17k|7990 |5308 | 1 | 62k| 33 | 0.000000e+00 | -- | Inf | 98.43%
125.96/126.47 c 126s| 24700 | 863 |679419 | 26.4 | 196M | 39 | 481 | 17k| 0 |5308 | 0 | 63k| 33 | 0.000000e+00 | -- | Inf | 98.46%
126.36/126.87 c 127s| 24800 | 810 |681343 | 26.4 | 196M | 39 | 481 | 17k| 0 |5312 | 0 | 63k| 33 | 0.000000e+00 | -- | Inf | 98.55%
126.86/127.33 c 127s| 24900 | 769 |684056 | 26.4 | 196M | 39 | 481 | 17k|7998 |5317 | 1 | 63k| 33 | 0.000000e+00 | -- | Inf | 98.60%
127.15/127.68 c 128s| 25000 | 754 |686641 | 26.4 | 196M | 39 | 481 | 17k| 0 |5321 | 0 | 63k| 33 | 0.000000e+00 | -- | Inf | 98.66%
127.56/128.02 c 128s| 25100 | 738 |689334 | 26.4 | 196M | 39 | 481 | 17k|8000 |5322 | 1 | 63k| 33 | 0.000000e+00 | -- | Inf | 98.69%
127.85/128.36 c 128s| 25200 | 700 |691445 | 26.4 | 196M | 39 | 481 | 17k| 0 |5323 | 0 | 64k| 33 | 0.000000e+00 | -- | Inf | 98.79%
128.56/129.02 c 129s| 25300 | 679 |697267 | 26.5 | 196M | 39 | 481 | 17k| 0 |5326 | 0 | 64k| 33 | 0.000000e+00 | -- | Inf | 98.85%
128.85/129.34 c 129s| 25400 | 673 |699669 | 26.5 | 196M | 39 | 481 | 17k|7994 |5328 | 1 | 64k| 33 | 0.000000e+00 | -- | Inf | 98.86%
129.05/129.57 c 130s| 25500 | 666 |701497 | 26.5 | 196M | 39 | 481 | 17k|8000 |5328 | 1 | 64k| 33 | 0.000000e+00 | -- | Inf | 98.86%
129.35/129.89 c 130s| 25600 | 653 |703699 | 26.4 | 196M | 39 | 481 | 17k|8003 |5330 | 1 | 65k| 33 | 0.000000e+00 | -- | Inf | 98.92%
129.74/130.20 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
129.74/130.20 c 130s| 25700 | 627 |705350 | 26.4 | 196M | 39 | 481 | 17k|7994 |5334 | 1 | 65k| 33 | 0.000000e+00 | -- | Inf | 99.04%
130.04/130.52 c 131s| 25800 | 597 |707041 | 26.4 | 196M | 39 | 481 | 17k|7994 |5336 | 1 | 65k| 33 | 0.000000e+00 | -- | Inf | 99.15%
130.34/130.87 c 131s| 25900 | 590 |710068 | 26.4 | 196M | 39 | 481 | 17k|7990 |5338 | 1 | 65k| 33 | 0.000000e+00 | -- | Inf | 99.15%
130.74/131.21 c 131s| 26000 | 575 |713263 | 26.4 | 196M | 39 | 481 | 17k|8003 |5339 | 1 | 66k| 33 | 0.000000e+00 | -- | Inf | 99.17%
131.04/131.55 c 132s| 26100 | 564 |715533 | 26.4 | 196M | 39 | 481 | 17k| 0 |5340 | 0 | 66k| 33 | 0.000000e+00 | -- | Inf | 99.19%
131.34/131.87 c 132s| 26200 | 554 |717858 | 26.4 | 196M | 39 | 481 | 17k|7999 |5343 | 0 | 66k| 33 | 0.000000e+00 | -- | Inf | 99.22%
131.94/132.44 c 132s| 26300 | 509 |722150 | 26.4 | 196M | 39 | 481 | 17k|7995 |5344 | 1 | 66k| 33 | 0.000000e+00 | -- | Inf | 99.33%
132.33/132.83 c 133s| 26400 | 492 |724914 | 26.5 | 196M | 39 | 481 | 17k|7995 |5347 | 1 | 67k| 33 | 0.000000e+00 | -- | Inf | 99.34%
132.64/133.19 c 133s| 26500 | 479 |727630 | 26.5 | 196M | 39 | 481 | 17k| 0 |5350 | 0 | 67k| 33 | 0.000000e+00 | -- | Inf | 99.37%
133.13/133.61 c 134s| 26600 | 438 |730119 | 26.4 | 196M | 39 | 481 | 17k| 0 |5352 | 0 | 67k| 33 | 0.000000e+00 | -- | Inf | 99.41%
133.54/134.00 c 134s| 26700 | 410 |733130 | 26.5 | 196M | 39 | 481 | 17k|7993 |5355 | 1 | 67k| 33 | 0.000000e+00 | -- | Inf | 99.48%
133.83/134.39 c 134s| 26800 | 372 |735943 | 26.5 | 196M | 39 | 481 | 17k|7997 |5356 | 1 | 68k| 33 | 0.000000e+00 | -- | Inf | 99.54%
134.33/134.85 c 135s| 26900 | 338 |739262 | 26.5 | 196M | 39 | 481 | 17k|8002 |5356 | 1 | 68k| 33 | 0.000000e+00 | -- | Inf | 99.63%
134.73/135.23 c 135s| 27000 | 296 |741722 | 26.5 | 196M | 39 | 481 | 17k| 0 |5358 | 0 | 68k| 33 | 0.000000e+00 | -- | Inf | 99.67%
135.12/135.68 c 136s| 27100 | 263 |743970 | 26.5 | 196M | 39 | 481 | 17k|7990 |5358 | 1 | 68k| 33 | 0.000000e+00 | -- | Inf | 99.70%
135.53/136.05 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
135.53/136.05 c 136s| 27200 | 250 |747177 | 26.5 | 196M | 39 | 481 | 17k|8003 |5359 | 1 | 69k| 33 | 0.000000e+00 | -- | Inf | 99.73%
135.92/136.46 c 136s| 27300 | 194 |750700 | 26.5 | 196M | 39 | 481 | 17k|7994 |5362 | 1 | 69k| 33 | 0.000000e+00 | -- | Inf | 99.81%
136.32/136.80 c 137s| 27400 | 179 |752902 | 26.5 | 196M | 39 | 481 | 17k|8002 |5366 | 2 | 69k| 33 | 0.000000e+00 | -- | Inf | 99.84%
136.72/137.26 c 137s| 27500 | 136 |756015 | 26.5 | 196M | 39 | 481 | 17k|8004 |5371 | 2 | 69k| 33 | 0.000000e+00 | -- | Inf | 99.86%
137.22/137.77 c 138s| 27600 | 100 |758999 | 26.5 | 196M | 40 | 481 | 17k|8000 |5385 | 1 | 70k| 33 | 0.000000e+00 | -- | Inf | 99.91%
137.62/138.12 c 138s| 27700 | 60 |761723 | 26.5 | 196M | 40 | 481 | 17k|7989 |5388 | 1 | 70k| 33 | 0.000000e+00 | -- | Inf | 99.96%
137.91/138.43 c
137.91/138.43 c SCIP Status : problem is solved [infeasible]
137.91/138.43 c Solving Time (sec) : 138.43
137.91/138.43 c Solving Nodes : 27766 (total of 28723 nodes in 2 runs)
137.91/138.43 c Primal Bound : +1.00000000000000e+20 (0 solutions)
137.91/138.43 c Dual Bound : +1.00000000000000e+20
137.91/138.43 c Gap : 0.00 %
137.91/138.43 s UNSATISFIABLE
137.91/138.43 c SCIP Status : problem is solved [infeasible]
137.91/138.43 c Total Time : 138.43
137.91/138.43 c solving : 138.43
137.91/138.43 c presolving : 0.30 (included in solving)
137.91/138.43 c reading : 0.02 (included in solving)
137.91/138.43 c copying : 1.55 (109 #copies) (minimal 0.01, maximal 0.04, average 0.01)
137.91/138.43 c Original Problem :
137.91/138.43 c Problem name : HOME/instance-4503394-1751171985.opb
137.91/138.43 c Variables : 483 (483 binary, 0 integer, 0 implicit integer, 0 continuous)
137.91/138.43 c Constraints : 8027 initial, 8027 maximal
137.91/138.43 c Objective : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
137.91/138.43 c Presolved Problem :
137.91/138.43 c Problem name : t_HOME/instance-4503394-1751171985.opb
137.91/138.43 c Variables : 481 (481 binary, 0 integer, 0 implicit integer, 0 continuous)
137.91/138.43 c Constraints : 9392 initial, 17969 maximal
137.91/138.43 c Objective : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
137.91/138.43 c Nonzeros : 47341 constraint, 4585 clique table
137.91/138.43 c Presolvers : ExecTime SetupTime Calls FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
137.91/138.43 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
137.91/138.43 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
137.91/138.43 c domcol : 0.00 0.00 2 0 0 0 0 0 0 0 0 0
137.91/138.43 c dualagg : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
137.91/138.43 c dualcomp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
137.91/138.43 c dualinfer : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
137.91/138.43 c dualsparsify : 0.04 0.00 1 0 0 0 0 0 0 0 0 0
137.91/138.43 c gateextraction : 0.03 0.00 9 0 0 0 0 0 9 3 0 0
137.91/138.43 c implics : 0.00 0.00 12 0 0 0 0 0 0 0 0 0
137.91/138.43 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
137.91/138.43 c milp : 0.02 0.00 1 0 0 0 0 0 0 0 0 0
137.91/138.43 c qpkktref : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
137.91/138.43 c redvub : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
137.91/138.43 c sparsify : 0.01 0.00 1 0 0 0 0 0 0 0 0 0
137.91/138.43 c stuffing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
137.91/138.43 c trivial : 0.00 0.00 14 0 0 0 0 0 0 0 0 0
137.91/138.43 c tworowbnd : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
137.91/138.43 c dualfix : 0.00 0.00 14 0 0 0 0 0 0 0 0 0
137.91/138.43 c genvbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
137.91/138.43 c probing : 0.02 0.00 1 0 0 0 0 0 0 0 0 0
137.91/138.43 c pseudoobj : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
137.91/138.43 c symmetry : 0.01 0.00 1 0 0 0 0 0 0 0 0 0
137.91/138.43 c vbounds : 0.00 0.00 2 0 0 0 0 0 0 0 0 0
137.91/138.43 c knapsack : 0.01 0.00 29 0 0 0 0 0 4 1 17 67
137.91/138.43 c setppc : 0.02 0.00 29 0 0 0 0 0 37 0 0 0
137.91/138.43 c and : 0.00 0.00 8 0 0 0 0 0 0 0 0 0
137.91/138.43 c linear : 0.03 0.00 24 0 2 0 0 0 6 0 12 23
137.91/138.43 c logicor : 0.09 0.01 28 0 0 0 0 0 473 0 0 945
137.91/138.43 c benders : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
137.91/138.43 c components : 0.01 0.00 2 0 0 0 0 0 0 0 0 0
137.91/138.43 c root node : - - - 19 - - 19 - - - - -
137.91/138.43 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoRelax #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Applied Conss Children
137.91/138.43 c benderslp : 0 0 0 0 18682 0 0 2001 0 0 0 0 0 0 0
137.91/138.43 c integral : 0 0 0 0 18682 0 0 2001 0 0 0 0 0 0 37364
137.91/138.43 c knapsack : 739+ 763 23 223268 0 0 0 1996 165382 3086 165293 104 4 0 0
137.91/138.43 c setppc : 1995+ 2017 23 220140 0 0 0 148 438171 1860 334690 3 0 0 0
137.91/138.43 c and : 3 3 14547 154746 0 0 0 5 16829 26 2647 117 105 0 0
137.91/138.43 c linear : 40+ 70 23 218298 0 0 0 10 32266 305 37932 0 0 0 0
137.91/138.43 c logicor : 6615+ 15169 23 189954 0 0 0 5 769141 14154 598792 52 15 0 0
137.91/138.43 c benders : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
137.91/138.43 c fixedvar : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
137.91/138.43 c countsols : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
137.91/138.43 c components : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
137.91/138.43 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS EnfoRelax Check ResProp SB-Prop
137.91/138.43 c benderslp : 0.01 0.00 0.00 0.00 0.01 0.00 0.00 0.00 0.00 0.00
137.91/138.43 c integral : 1.57 0.00 0.00 0.00 1.57 0.00 0.00 0.00 0.00 0.00
137.91/138.43 c knapsack : 1.74 0.00 0.02 1.59 0.00 0.00 0.00 0.06 0.08 0.00
137.91/138.43 c setppc : 1.50 0.00 0.00 1.40 0.00 0.00 0.00 0.00 0.09 0.00
137.91/138.43 c and : 0.05 0.00 0.01 0.04 0.00 0.00 0.00 0.00 0.00 0.00
137.91/138.43 c linear : 0.39 0.00 0.00 0.37 0.00 0.00 0.00 0.00 0.02 0.00
137.91/138.43 c logicor : 11.38 0.01 0.02 10.99 0.00 0.00 0.00 0.00 0.36 0.00
137.91/138.43 c benders : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
137.91/138.43 c fixedvar : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
137.91/138.43 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
137.91/138.43 c components : 0.01 0.00 0.00 0.01 0.00 0.00 0.00 0.00 0.00 0.00
137.91/138.43 c Propagators : #Propagate #ResProp Cutoffs DomReds
137.91/138.43 c dualfix : 2 0 0 0
137.91/138.43 c genvbounds : 0 0 0 0
137.91/138.43 c nlobbt : 0 0 0 0
137.91/138.43 c obbt : 0 0 0 0
137.91/138.43 c probing : 0 0 0 0
137.91/138.43 c pseudoobj : 0 0 0 0
137.91/138.43 c redcost : 0 0 0 0
137.91/138.43 c rootredcost : 0 0 0 0
137.91/138.43 c symmetry : 0 0 0 0
137.91/138.43 c vbounds : 154701 0 0 0
137.91/138.43 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp SB-Prop
137.91/138.43 c dualfix : 0.00 0.00 0.00 0.00 0.00 0.00
137.91/138.43 c genvbounds : 0.02 0.00 0.00 0.02 0.00 0.00
137.91/138.43 c nlobbt : 0.00 0.00 0.00 0.00 0.00 0.00
137.91/138.43 c obbt : 0.00 0.00 0.00 0.00 0.00 0.00
137.91/138.43 c probing : 0.02 0.00 0.02 0.00 0.00 0.00
137.91/138.43 c pseudoobj : 0.02 0.00 0.00 0.02 0.00 0.00
137.91/138.43 c redcost : 0.01 0.00 0.00 0.01 0.00 0.00
137.91/138.43 c rootredcost : 0.02 0.00 0.00 0.02 0.00 0.00
137.91/138.43 c symmetry : 0.04 0.00 0.01 0.03 0.00 0.00
137.91/138.43 c vbounds : 0.37 0.00 0.00 0.37 0.00 0.00
137.91/138.43 c Symmetry :
137.91/138.43 c orbitopal red. : 0 reductions applied, 0 cutoffs
137.91/138.43 c orbital reduction: 0 reductions applied, 0 cutoffs
137.91/138.43 c lexicographic red: 0 reductions applied, 0 cutoffs
137.91/138.43 c shadow tree time : 0.00 s
137.91/138.43 c Conflict Analysis : Time Calls Success DomReds Conflicts Literals Reconvs ReconvLits Dualrays Nonzeros LP Iters (pool size: [10000,10000])
137.91/138.43 c propagation : 1.05 19198 18329 - 131520 27.0 2023 14.6 - - -
137.91/138.43 c infeasible LP : 0.41 1346 1332 - 12714 33.7 100 13.4 1249 43.6 0
137.91/138.43 c bound exceed. LP : 0.00 0 0 - 0 0.0 0 0.0 0 0.0 0
137.91/138.43 c strong branching : 0.00 0 0 - 0 0.0 0 0.0 - - 0
137.91/138.43 c pseudo solution : 0.00 0 0 - 0 0.0 0 0.0 - - -
137.91/138.43 c applied globally : 0.47 - - 0 69396 19.2 - - 1232 - -
137.91/138.43 c applied locally : - - - 0 5 29.2 - - 17 - -
137.91/138.43 c Separators : ExecTime SetupTime Calls RootCalls Cutoffs DomReds FoundCuts ViaPoolAdd DirectAdd Applied ViaPoolApp DirectApp Conss
137.91/138.43 c cut pool : 1.02 - 3638 44 - - 31388 61020 - - - - - (maximal pool size: 3988)
137.91/138.43 c aggregation : 0.39 0.00 843 23 0 0 74 120 26 30 25 5 0
137.91/138.43 c > cmir : - - - - - - - 60 2 8 8 0 -
137.91/138.43 c > flowcover : - - - - - - - 54 0 17 17 0 -
137.91/138.43 c > knapsackcover : - - - - - - - 6 24 5 0 5 -
137.91/138.43 c cgmip : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
137.91/138.43 c clique : 0.00 0.00 23 23 0 0 50 269 0 95 95 0 0
137.91/138.43 c closecuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
137.91/138.43 c convexproj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
137.91/138.43 c disjunctive : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
137.91/138.43 c eccuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
137.91/138.43 c gauge : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
137.91/138.43 c gomory : 27.17 0.00 841 20 0 0 42019 56567 11544 2659 2350 309 0
137.91/138.43 c > gomorymi : - - - - - - - 21870 5772 428 255 173 -
137.91/138.43 c > strongcg : - - - - - - - 34697 5772 2231 2095 136 -
137.91/138.43 c impliedbounds : 0.04 0.00 844 23 0 0 75 464 0 395 395 0 0
137.91/138.43 c interminor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
137.91/138.43 c intobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
137.91/138.43 c lagromory : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
137.91/138.43 c mcf : 0.00 0.00 2 2 0 0 0 0 0 0 0 0 0
137.91/138.43 c minor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
137.91/138.43 c mixing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
137.91/138.43 c multilinear : 0.00 0.00 1723 23 0 0 0 0 0 0 0 0 0
137.91/138.43 c oddcycle : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
137.91/138.43 c rapidlearning : 4.87 0.00 100 1 0 2806 0 0 0 0 0 0 53
137.91/138.43 c rlt : 3.63 0.00 405 20 0 0 1 1 0 1 1 0 0
137.91/138.43 c zerohalf : 0.49 0.00 843 23 0 0 2150 3599 1411 2355 1455 900 0
137.91/138.43 c Cutselectors : ExecTime SetupTime Calls RootCalls Selected Forced Filtered RootSelec RootForc RootFilt
137.91/138.43 c hybrid : 0.05 0.00 1744 23 5596 66 68573 137 0 5699
137.91/138.43 c ensemble : 0.00 0.00 0 0 0 0 0 0 0 0
137.91/138.43 c dynamic : 0.00 0.00 0 0 0 0 0 0 0 0
137.91/138.43 c Pricers : ExecTime SetupTime Calls Vars
137.91/138.43 c problem variables: 0.00 - 0 0
137.91/138.43 c Branching Rules : ExecTime SetupTime BranchLP BranchExt BranchPS Cutoffs DomReds Cuts Conss Children
137.91/138.43 c allfullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
137.91/138.43 c cloud : 0.00 0.00 0 0 0 0 0 0 0 0
137.91/138.43 c distribution : 0.00 0.00 0 0 0 0 0 0 0 0
137.91/138.43 c fullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
137.91/138.43 c gomory : 0.00 0.00 0 0 0 0 0 0 0 0
137.91/138.43 c inference : 0.00 0.00 0 0 0 0 0 0 0 0
137.91/138.43 c leastinf : 0.00 0.00 0 0 0 0 0 0 0 0
137.91/138.43 c lookahead : 0.00 0.00 0 0 0 0 0 0 0 0
137.91/138.43 c mostinf : 0.00 0.00 0 0 0 0 0 0 0 0
137.91/138.43 c multaggr : 0.00 0.00 0 0 0 0 0 0 0 0
137.91/138.43 c nodereopt : 0.00 0.00 0 0 0 0 0 0 0 0
137.91/138.43 c pscost : 0.00 0.00 0 0 0 0 0 0 0 0
137.91/138.43 c random : 0.00 0.00 0 0 0 0 0 0 0 0
137.91/138.43 c relpscost : 1.56 0.00 18682 0 0 0 0 0 0 37364
137.91/138.43 c vanillafullstrong: 0.00 0.00 0 0 0 0 0 0 0 0
137.91/138.43 c Primal Heuristics : ExecTime SetupTime Calls Found Best
137.91/138.43 c LP solutions : 0.00 - - 0 0
137.91/138.43 c relax solutions : 0.00 - - 0 0
137.91/138.43 c pseudo solutions : 0.00 - - 0 0
137.91/138.43 c strong branching : 0.00 - - 0 0
137.91/138.43 c actconsdiving : 0.00 0.00 0 0 0
137.91/138.43 c adaptivediving : 0.47 0.00 41 0 0
137.91/138.43 c alns : 0.60 0.00 6 0 0
137.91/138.43 c bound : 0.00 0.00 0 0 0
137.91/138.43 c clique : 0.01 0.00 1 0 0
137.91/138.43 c coefdiving : 0.00 0.00 0 0 0
137.91/138.43 c completesol : 0.00 0.00 0 0 0
137.91/138.43 c conflictdiving : 1.12 0.00 318 0 0
137.91/138.43 c crossover : 0.00 0.00 0 0 0
137.91/138.43 c dins : 0.00 0.00 0 0 0
137.91/138.43 c distributiondivin: 7.21 0.00 316 0 0
137.91/138.43 c dps : 0.00 0.00 0 0 0
137.91/138.43 c dualval : 0.00 0.00 0 0 0
137.91/138.43 c farkasdiving : 0.00 0.00 0 0 0
137.91/138.43 c feasjump : 0.05 0.00 2 0 0
137.91/138.43 c feaspump : 1.05 0.00 17 0 0
137.91/138.43 c fixandinfer : 0.00 0.00 0 0 0
137.91/138.43 c fracdiving : 1.06 0.00 317 0 0
137.91/138.43 c gins : 0.00 0.00 0 0 0
137.91/138.43 c guideddiving : 0.00 0.00 0 0 0
137.91/138.43 c indcoefdiving : 0.00 0.00 0 0 0
137.91/138.43 c indicator : 0.01 0.00 0 0 0
137.91/138.43 c indicatordiving : 0.00 0.00 0 0 0
137.91/138.43 c indoneopt : 0.01 0.00 0 0 0
137.91/138.43 c indrounding : 0.00 0.00 0 0 0
137.91/138.43 c indtwoopt : 0.00 0.00 0 0 0
137.91/138.43 c intdiving : 0.00 0.00 0 0 0
137.91/138.43 c intshifting : 0.00 0.00 0 0 0
137.91/138.43 c linesearchdiving : 1.11 0.00 319 0 0
137.91/138.43 c localbranching : 0.00 0.00 0 0 0
137.91/138.43 c locks : 0.00 0.00 1 0 0
137.91/138.43 c lpface : 0.02 0.00 0 0 0
137.91/138.43 c mpec : 0.00 0.00 0 0 0
137.91/138.43 c multistart : 0.00 0.00 0 0 0
137.91/138.43 c mutation : 0.00 0.00 0 0 0
137.91/138.43 c nlpdiving : 0.00 0.00 0 0 0
137.91/138.43 c objpscostdiving : 1.92 0.00 13 0 0
137.91/138.43 c octane : 0.00 0.00 0 0 0
137.91/138.43 c ofins : 0.00 0.00 0 0 0
137.91/138.43 c oneopt : 0.01 0.00 0 0 0
137.91/138.43 c padm : 0.00 0.00 0 0 0
137.91/138.43 c proximity : 0.00 0.00 0 0 0
137.91/138.43 c pscostdiving : 3.61 0.00 317 0 0
137.91/138.43 c randrounding : 0.15 0.00 2009 0 0
137.91/138.43 c rens : 0.08 0.00 2 0 0
137.91/138.43 c reoptsols : 0.00 0.00 0 0 0
137.91/138.43 c repair : 0.00 0.00 0 0 0
137.91/138.43 c rins : 0.00 0.00 0 0 0
137.91/138.43 c rootsoldiving : 1.13 0.00 9 0 0
137.91/138.43 c rounding : 0.22 0.00 1957 0 0
137.91/138.43 c scheduler : 0.00 0.00 0 0 0
137.91/138.43 c shiftandpropagate: 0.02 0.00 2 0 0
137.91/138.43 c shifting : 0.35 0.00 818 0 0
137.91/138.43 c simplerounding : 0.01 0.00 0 0 0
137.91/138.43 c smallcard : 0.00 0.00 0 0 0
137.91/138.43 c subnlp : 0.01 0.00 0 0 0
137.91/138.43 c trivial : 0.00 0.00 4 0 0
137.91/138.43 c trivialnegation : 0.00 0.00 0 0 0
137.91/138.43 c trustregion : 0.00 0.00 0 0 0
137.91/138.43 c trysol : 0.00 0.00 0 0 0
137.91/138.43 c twoopt : 0.00 0.00 0 0 0
137.91/138.43 c undercover : 0.00 0.00 1 0 0
137.91/138.43 c vbounds : 0.05 0.00 2 0 0
137.91/138.43 c veclendiving : 1.29 0.00 316 0 0
137.91/138.43 c zeroobj : 0.00 0.00 0 0 0
137.91/138.43 c zirounding : 0.05 0.00 1000 0 0
137.91/138.43 c other solutions : - - - 0 -
137.91/138.43 c LNS (Scheduler) : Calls SetupTime SolveTime SolveNodes Sols Best Exp3 Exp3-IX EpsGreedy UCB TgtFixRate Opt Inf Node Stal Sol Usr Othr Actv
137.91/138.43 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
137.91/138.43 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
137.91/138.43 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
137.91/138.43 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
137.91/138.43 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
137.91/138.43 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
137.91/138.43 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
137.91/138.43 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
137.91/138.43 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
137.91/138.43 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It ItLimit
137.91/138.43 c primal LP : 0.25 456 0 0.00 0.00 0.25 456
137.91/138.43 c dual LP : 40.61 21714 634259 29.24 15618.63 0.01 24
137.91/138.43 c lex dual LP : 0.00 0 0 0.00 -
137.91/138.43 c barrier LP : 0.00 0 0 0.00 - 0.00 0
137.91/138.43 c resolve instable : 0.00 0 0 0.00 -
137.91/138.43 c diving/probing LP: 13.76 2278 129344 56.78 9396.75
137.91/138.43 c strong branching : 0.18 33 2018 61.15 10947.64 - - 0
137.91/138.43 c (at root node) : - 33 2018 61.15 -
137.91/138.43 c conflict analysis: 0.00 0 0 0.00 -
137.91/138.43 c B&B Tree :
137.91/138.43 c number of runs : 2
137.91/138.43 c nodes : 27766 (18055 internal, 9711 leaves)
137.91/138.43 c feasible leaves : 0
137.91/138.43 c infeas. leaves : 9711
137.91/138.43 c objective leaves : 0
137.91/138.43 c nodes (total) : 28723 (18682 internal, 10041 leaves)
137.91/138.43 c nodes left : 0
137.91/138.43 c max depth : 40
137.91/138.43 c max depth (total): 40
137.91/138.43 c backtracks : 9170 (33.0%)
137.91/138.43 c early backtracks : 0 (0.0%)
137.91/138.43 c nodes exc. ref. : 0 (0.0%)
137.91/138.43 c delayed cutoffs : 8345
137.91/138.43 c repropagations : 29515 (405193 domain reductions, 5942 cutoffs)
137.91/138.43 c avg switch length: 6.93
137.91/138.43 c switching time : 9.31
137.91/138.43 c Root Node :
137.91/138.43 c First LP value : +0.00000000000000e+00
137.91/138.43 c First LP Iters : 53 (29994.34 Iter/sec)
137.91/138.43 c First LP Time : 0.00
137.91/138.43 c Final Dual Bound : +0.00000000000000e+00
137.91/138.43 c Final Root Iters : 1310
137.91/138.43 c Root LP Estimate : +5.00310700980412e-03
137.91/138.43 c Solution :
137.91/138.43 c Solutions found : 0 (0 improvements)
137.91/138.43 c Primal Bound : infeasible
137.91/138.43 c Dual Bound : -
137.91/138.43 c Gap : 0.00 %
137.91/138.43 c Integrals : Total Avg%
137.91/138.43 c primal-dual : - - (problem infeasible)
137.91/138.43 c primal-ref : - - (problem infeasible)
137.91/138.43 c dual-ref : - - (problem infeasible)
137.91/138.46 c Time complete: 137.992.