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-4445205-1721327088.opb>
0.00/0.01 c original problem has 93 variables (93 bin, 0 int, 0 impl, 0 cont) and 2 constraints
0.00/0.01 c problem read in 0.00
0.00/0.01 c No objective function, only one solution is needed.
0.00/0.01 c presolving:
0.00/0.01 c (0.0s) running MILP presolver
0.00/0.01 c (0.0s) MILP presolver (2 rounds): 0 aggregations, 0 fixings, 0 bound changes
0.00/0.01 c (round 1, medium) 0 del vars, 2 del conss, 1 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 34 clqs
0.00/0.01 c (round 2, fast) 0 del vars, 2 del conss, 2 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 34 clqs
0.00/0.01 c (round 3, fast) 0 del vars, 2 del conss, 2 add conss, 0 chg bounds, 65 chg sides, 64 chg coeffs, 0 upgd conss, 0 impls, 34 clqs
0.00/0.01 c (round 4, exhaustive) 1 del vars, 2 del conss, 2 add conss, 0 chg bounds, 65 chg sides, 64 chg coeffs, 0 upgd conss, 0 impls, 34 clqs
0.00/0.01 c (round 5, fast) 1 del vars, 2 del conss, 3 add conss, 0 chg bounds, 66 chg sides, 64 chg coeffs, 0 upgd conss, 0 impls, 34 clqs
0.00/0.01 c (round 6, fast) 1 del vars, 2 del conss, 3 add conss, 0 chg bounds, 130 chg sides, 128 chg coeffs, 0 upgd conss, 0 impls, 34 clqs
0.00/0.01 c (round 7, exhaustive) 1 del vars, 2 del conss, 3 add conss, 0 chg bounds, 130 chg sides, 128 chg coeffs, 2 upgd conss, 0 impls, 34 clqs
0.00/0.02 c (0.0s) probing: 51/92 (55.4%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.00/0.02 c (0.0s) probing aborted: 50/50 successive totally useless probings
0.00/0.02 c (0.0s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
0.00/0.02 c (0.0s) symmetry computation finished: 9 generators found (max: 1500, log10 of symmetry group size: 0.0) (symcode time: 0.00)
0.00/0.02 c dynamic symmetry handling statistics:
0.00/0.02 c orbitopal reduction: no components
0.00/0.02 c orbital reduction: no components
0.00/0.02 c lexicographic reduction: no permutations
0.00/0.02 c handled 9 out of 9 symmetry components
0.00/0.02 c (round 8, exhaustive) 1 del vars, 2 del conss, 12 add conss, 0 chg bounds, 130 chg sides, 128 chg coeffs, 2 upgd conss, 0 impls, 43 clqs
0.00/0.02 c (round 9, fast) 1 del vars, 2 del conss, 13 add conss, 0 chg bounds, 130 chg sides, 128 chg coeffs, 2 upgd conss, 0 impls, 43 clqs
0.00/0.02 c (round 10, fast) 1 del vars, 2 del conss, 13 add conss, 0 chg bounds, 130 chg sides, 191 chg coeffs, 2 upgd conss, 0 impls, 43 clqs
0.00/0.02 c (round 11, exhaustive) 1 del vars, 2 del conss, 13 add conss, 0 chg bounds, 130 chg sides, 191 chg coeffs, 12 upgd conss, 0 impls, 43 clqs
0.00/0.02 c (round 12, fast) 1 del vars, 3 del conss, 13 add conss, 0 chg bounds, 130 chg sides, 191 chg coeffs, 12 upgd conss, 0 impls, 43 clqs
0.00/0.02 c (round 13, exhaustive) 1 del vars, 3 del conss, 13 add conss, 0 chg bounds, 130 chg sides, 209 chg coeffs, 12 upgd conss, 0 impls, 43 clqs
0.00/0.02 c presolving (14 rounds: 14 fast, 7 medium, 6 exhaustive):
0.00/0.02 c 1 deleted vars, 3 deleted constraints, 13 added constraints, 0 tightened bounds, 0 added holes, 130 changed sides, 209 changed coefficients
0.00/0.02 c 0 implications, 43 cliques
0.00/0.02 c presolved problem has 92 variables (92 bin, 0 int, 0 impl, 0 cont) and 12 constraints
0.00/0.02 c 9 constraints of type <setppc>
0.00/0.02 c 1 constraints of type <linear>
0.00/0.02 c 2 constraints of type <logicor>
0.00/0.02 c transformed objective value is always integral (scale: 1)
0.00/0.02 c Presolving Time: 0.01
0.00/0.02 c - non default parameters ----------------------------------------------------------------------
0.00/0.02 c # SCIP version 10.0.0
0.00/0.02 c
0.00/0.02 c # maximal time in seconds to run
0.00/0.02 c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
0.00/0.02 c limits/time = 3596.992814
0.00/0.02 c
0.00/0.02 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.02 c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
0.00/0.02 c limits/memory = 27900
0.00/0.02 c
0.00/0.02 c # solving stops, if the given number of solutions were found; this limit is first checked in presolving (-1: no limit)
0.00/0.02 c # [type: int, advanced: FALSE, range: [-1,2147483647], default: -1]
0.00/0.02 c limits/solutions = 1
0.00/0.02 c
0.00/0.02 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.02 c # [type: int, advanced: FALSE, range: [0,7], default: 7]
0.00/0.02 c misc/usesymmetry = 3
0.00/0.02 c
0.00/0.02 c # belongs reading time to solving time?
0.00/0.02 c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
0.00/0.02 c timing/reading = TRUE
0.00/0.02 c
0.00/0.02 c # Should we check whether the components of the symmetry group can be handled by double lex matrices?
0.00/0.02 c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
0.00/0.02 c propagating/symmetry/detectdoublelex = FALSE
0.00/0.02 c
0.00/0.02 c # Should we try to detect symmetric subgroups of the symmetry group on binary variables?
0.00/0.02 c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
0.00/0.02 c propagating/symmetry/detectsubgroups = FALSE
0.00/0.02 c
0.00/0.02 c # Type of symmetries that shall be computed?
0.00/0.02 c # [type: int, advanced: TRUE, range: [0,1], default: 0]
0.00/0.02 c propagating/symmetry/symtype = 1
0.00/0.02 c
0.00/0.02 c # Should components consisting of a single full reflection be handled?
0.00/0.02 c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
0.00/0.02 c propagating/symmetry/usesimplesgncomp = FALSE
0.00/0.02 c
0.00/0.02 c -----------------------------------------------------------------------------------------------
0.00/0.02 c start solving
0.00/0.02 c
0.00/0.07 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.07 c 0.1s| 1 | 0 | 5 | - | 1708k | 0 | 92 | 12 | 12 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf | unknown
0.00/0.09 c 0.1s| 1 | 0 | 8 | - | 1770k | 0 | 92 | 12 | 13 | 1 | 1 | 0 | 0 | 0.000000e+00 | -- | Inf | unknown
0.00/0.09 c 0.1s| 1 | 0 | 9 | - | 1893k | 0 | 92 | 12 | 14 | 2 | 2 | 0 | 0 | 0.000000e+00 | -- | Inf | unknown
0.00/0.09 c 0.1s| 1 | 0 | 11 | - | 1897k | 0 | 92 | 12 | 15 | 3 | 3 | 0 | 0 | 0.000000e+00 | -- | Inf | unknown
0.00/0.09 c 0.1s| 1 | 0 | 12 | - | 1903k | 0 | 92 | 12 | 16 | 4 | 4 | 0 | 0 | 0.000000e+00 | -- | Inf | unknown
0.00/0.10 c 0.1s| 1 | 0 | 13 | - | 1921k | 0 | 92 | 12 | 18 | 6 | 5 | 0 | 0 | 0.000000e+00 | -- | Inf | unknown
0.00/0.10 c 0.1s| 1 | 0 | 14 | - | 1978k | 0 | 92 | 12 | 19 | 7 | 6 | 0 | 0 | 0.000000e+00 | -- | Inf | unknown
0.00/0.10 c 0.1s| 1 | 0 | 17 | - | 1987k | 0 | 92 | 12 | 21 | 9 | 7 | 0 | 0 | 0.000000e+00 | -- | Inf | unknown
0.00/0.10 c 0.1s| 1 | 0 | 20 | - | 2095k | 0 | 92 | 12 | 23 | 11 | 8 | 0 | 0 | 0.000000e+00 | -- | Inf | unknown
0.00/0.10 c 0.1s| 1 | 0 | 24 | - | 2101k | 0 | 92 | 12 | 25 | 13 | 9 | 0 | 0 | 0.000000e+00 | -- | Inf | unknown
0.10/0.11 c 0.1s| 1 | 0 | 26 | - | 2242k | 0 | 92 | 12 | 27 | 15 | 10 | 0 | 0 | 0.000000e+00 | -- | Inf | unknown
0.10/0.11 c 0.1s| 1 | 0 | 31 | - | 2253k | 0 | 92 | 12 | 29 | 17 | 11 | 0 | 0 | 0.000000e+00 | -- | Inf | unknown
0.10/0.11 c 0.1s| 1 | 0 | 33 | - | 2256k | 0 | 92 | 12 | 31 | 19 | 12 | 0 | 0 | 0.000000e+00 | -- | Inf | unknown
0.10/0.11 c 0.1s| 1 | 0 | 37 | - | 2276k | 0 | 92 | 12 | 30 | 21 | 13 | 0 | 0 | 0.000000e+00 | -- | Inf | unknown
0.10/0.11 c 0.1s| 1 | 0 | 42 | - | 2279k | 0 | 92 | 12 | 32 | 23 | 14 | 0 | 0 | 0.000000e+00 | -- | Inf | unknown
0.10/0.11 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
0.10/0.11 c 0.1s| 1 | 0 | 43 | - | 2375k | 0 | 92 | 12 | 33 | 24 | 15 | 0 | 0 | 0.000000e+00 | -- | Inf | unknown
0.10/0.12 c 0.1s| 1 | 0 | 44 | - | 2391k | 0 | 92 | 12 | 34 | 25 | 16 | 0 | 0 | 0.000000e+00 | -- | Inf | unknown
0.10/0.12 c 0.1s| 1 | 0 | 46 | - | 2395k | 0 | 92 | 12 | 37 | 28 | 17 | 0 | 0 | 0.000000e+00 | -- | Inf | unknown
0.10/0.12 c 0.1s| 1 | 0 | 47 | - | 2414k | 0 | 92 | 12 | 38 | 29 | 18 | 0 | 0 | 0.000000e+00 | -- | Inf | unknown
0.10/0.12 c 0.1s| 1 | 0 | 50 | - | 2418k | 0 | 92 | 12 | 30 | 31 | 19 | 0 | 0 | 0.000000e+00 | -- | Inf | unknown
0.10/0.13 c 0.1s| 1 | 0 | 52 | - | 2425k | 0 | 92 | 12 | 31 | 32 | 20 | 0 | 0 | 0.000000e+00 | -- | Inf | unknown
0.10/0.13 c 0.1s| 1 | 0 | 53 | - | 2425k | 0 | 92 | 12 | 32 | 33 | 21 | 0 | 0 | 0.000000e+00 | -- | Inf | unknown
0.10/0.13 c 0.1s| 1 | 0 | 55 | - | 2455k | 0 | 92 | 12 | 33 | 34 | 22 | 0 | 0 | 0.000000e+00 | -- | Inf | unknown
0.10/0.15 c 0.1s| 1 | 2 | 65 | - | 2456k | 0 | 92 | 12 | 33 | 34 | 22 | 0 | 6 | 0.000000e+00 | -- | Inf | unknown
0.42/0.49 c 0.5s| 100 | 57 | 244 | 1.9 | 3036k | 30 | 92 | 12 | 12 | 43 | 1 | 0 | 6 | 0.000000e+00 | -- | Inf | unknown
0.60/0.65 c 0.6s| 200 | 153 | 823 | 3.9 | 3327k | 30 | 92 | 12 | 0 | 73 | 0 | 0 | 6 | 0.000000e+00 | -- | Inf | unknown
0.69/0.77 c 0.8s| 300 | 249 | 1314 | 4.2 | 3485k | 44 | 92 | 12 | 14 | 78 | 1 | 0 | 6 | 0.000000e+00 | -- | Inf | unknown
0.79/0.85 c 0.8s| 400 | 291 | 1491 | 3.6 | 3529k | 44 | 92 | 12 | 16 | 91 | 1 | 0 | 6 | 0.000000e+00 | -- | Inf | 0.92%
0.88/0.90 c 0.9s| 500 | 325 | 1596 | 3.1 | 3541k | 61 | 92 | 12 | 0 | 91 | 0 | 0 | 6 | 0.000000e+00 | -- | Inf | 0.92%
0.88/0.91 c 0.9s| 600 | 345 | 1674 | 2.7 | 3545k | 61 | 92 | 12 | 0 | 91 | 0 | 0 | 6 | 0.000000e+00 | -- | Inf | 0.92%
0.88/0.93 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
0.88/0.93 c 0.9s| 700 | 369 | 1753 | 2.4 | 3552k | 61 | 92 | 12 | 16 | 97 | 1 | 0 | 6 | 0.000000e+00 | -- | Inf | 0.92%
0.88/0.97 c 1.0s| 800 | 401 | 1889 | 2.3 | 3574k | 63 | 92 | 12 | 14 | 103 | 1 | 0 | 6 | 0.000000e+00 | -- | Inf | 1.85%
0.88/1.00 c 1.0s| 900 | 421 | 1972 | 2.1 | 3578k | 68 | 92 | 12 | 0 | 112 | 0 | 0 | 6 | 0.000000e+00 | -- | Inf | 1.85%
1.00/1.04 c 1.0s| 1000 | 431 | 2069 | 2.0 | 3650k | 71 | 92 | 12 | 16 | 124 | 1 | 0 | 6 | 0.000000e+00 | -- | Inf | 2.62%
1.00/1.07 c 1.1s| 1100 | 447 | 2159 | 1.9 | 3661k | 71 | 92 | 12 | 0 | 135 | 0 | 0 | 6 | 0.000000e+00 | -- | Inf | 2.62%
1.00/1.11 c 1.1s| 1200 | 455 | 2253 | 1.8 | 3669k | 71 | 92 | 12 | 0 | 150 | 0 | 1 | 6 | 0.000000e+00 | -- | Inf | 2.66%
1.10/1.14 c 1.1s| 1300 | 457 | 2311 | 1.7 | 3677k | 71 | 92 | 12 | 0 | 153 | 0 | 1 | 6 | 0.000000e+00 | -- | Inf | 2.66%
1.10/1.17 c 1.2s| 1400 | 467 | 2374 | 1.7 | 3682k | 71 | 92 | 12 | 14 | 156 | 1 | 1 | 6 | 0.000000e+00 | -- | Inf | 2.66%
1.10/1.19 c 1.2s| 1500 | 483 | 2492 | 1.6 | 4028k | 71 | 92 | 12 | 17 | 186 | 1 | 1 | 6 | 0.000000e+00 | -- | Inf | 2.66%
1.18/1.22 c 1.2s| 1600 | 497 | 2565 | 1.6 | 4037k | 71 | 92 | 13 | 0 | 188 | 0 | 2 | 6 | 0.000000e+00 | -- | Inf | 2.66%
1.18/1.25 c 1.2s| 1700 | 507 | 2626 | 1.5 | 4037k | 71 | 92 | 13 | 0 | 188 | 0 | 2 | 6 | 0.000000e+00 | -- | Inf | 2.67%
1.18/1.27 c 1.3s| 1800 | 509 | 2701 | 1.5 | 4045k | 71 | 92 | 13 | 15 | 194 | 1 | 2 | 6 | 0.000000e+00 | -- | Inf | 2.67%
1.28/1.31 c 1.3s| 1900 | 525 | 2774 | 1.4 | 4086k | 71 | 92 | 13 | 14 | 198 | 1 | 2 | 6 | 0.000000e+00 | -- | Inf | 3.13%
1.28/1.36 c 1.4s| 2000 | 529 | 2863 | 1.4 | 4098k | 71 | 92 | 13 | 17 | 210 | 1 | 2 | 6 | 0.000000e+00 | -- | Inf | 3.14%
1.28/1.38 c 1.4s| 2100 | 537 | 2932 | 1.4 | 4227k | 71 | 92 | 13 | 17 | 210 | 1 | 2 | 6 | 0.000000e+00 | -- | Inf | 3.14%
1.38/1.41 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1.38/1.41 c 1.4s| 2200 | 537 | 3005 | 1.3 | 4227k | 71 | 92 | 13 | 16 | 216 | 1 | 2 | 6 | 0.000000e+00 | -- | Inf | 3.14%
1.38/1.43 c 1.4s| 2300 | 557 | 3093 | 1.3 | 4230k | 71 | 92 | 13 | 0 | 230 | 0 | 2 | 6 | 0.000000e+00 | -- | Inf | 3.18%
1.38/1.49 c 1.5s| 2400 | 567 | 3163 | 1.3 | 4230k | 71 | 92 | 13 | 0 | 235 | 0 | 2 | 6 | 0.000000e+00 | -- | Inf | 3.92%
1.48/1.51 c 1.5s| 2500 | 597 | 3253 | 1.3 | 4268k | 71 | 92 | 13 | 0 | 235 | 0 | 2 | 6 | 0.000000e+00 | -- | Inf | 3.92%
1.48/1.53 c 1.5s| 2600 | 643 | 3410 | 1.3 | 4316k | 71 | 92 | 13 | 17 | 256 | 0 | 2 | 6 | 0.000000e+00 | -- | Inf | 3.92%
1.48/1.55 c 1.5s| 2700 | 661 | 3502 | 1.3 | 4389k | 71 | 92 | 13 | 17 | 271 | 1 | 2 | 6 | 0.000000e+00 | -- | Inf | 3.92%
1.48/1.57 c 1.6s| 2800 | 677 | 3587 | 1.3 | 4396k | 71 | 92 | 13 | 18 | 283 | 1 | 2 | 6 | 0.000000e+00 | -- | Inf | 3.92%
1.48/1.59 c 1.6s| 2900 | 689 | 3663 | 1.2 | 4396k | 71 | 92 | 13 | 17 | 285 | 1 | 2 | 6 | 0.000000e+00 | -- | Inf | 3.92%
1.58/1.61 c 1.6s| 3000 | 695 | 3741 | 1.2 | 4396k | 71 | 92 | 13 | 18 | 290 | 1 | 2 | 6 | 0.000000e+00 | -- | Inf | 3.92%
1.58/1.62 c 1.6s| 3100 | 703 | 3801 | 1.2 | 4525k | 71 | 92 | 13 | 16 | 293 | 1 | 2 | 6 | 0.000000e+00 | -- | Inf | 3.92%
1.58/1.62 c 1.6s| 3200 | 709 | 3871 | 1.2 | 4549k | 71 | 92 | 13 | 17 | 295 | 1 | 2 | 6 | 0.000000e+00 | -- | Inf | 3.92%
1.58/1.63 c 1.6s| 3300 | 715 | 3944 | 1.2 | 4551k | 71 | 92 | 13 | 15 | 302 | 1 | 2 | 6 | 0.000000e+00 | -- | Inf | 4.65%
1.58/1.66 c 1.6s| 3400 | 727 | 4015 | 1.2 | 4556k | 71 | 92 | 13 | 0 | 306 | 0 | 2 | 6 | 0.000000e+00 | -- | Inf | 4.65%
1.58/1.67 c 1.7s| 3500 | 743 | 4093 | 1.2 | 4556k | 71 | 92 | 13 | 0 | 314 | 0 | 2 | 6 | 0.000000e+00 | -- | Inf | 4.67%
1.58/1.67 c Restart triggered after 50 consecutive estimations that the remaining tree will be large
1.58/1.67 c (run 1, node 3501) performing user restart
1.58/1.67 c
1.58/1.67 c (restart) converted 2 cuts from the global cut pool into linear constraints
1.58/1.67 c
1.58/1.67 c presolving:
1.58/1.67 c (round 1, fast) 0 del vars, 0 del conss, 1 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 43 clqs
1.58/1.67 c (round 2, fast) 0 del vars, 0 del conss, 1 add conss, 0 chg bounds, 8 chg sides, 8 chg coeffs, 0 upgd conss, 0 impls, 43 clqs
1.58/1.67 c (round 3, exhaustive) 0 del vars, 0 del conss, 1 add conss, 0 chg bounds, 8 chg sides, 8 chg coeffs, 2 upgd conss, 0 impls, 43 clqs
1.58/1.67 c (round 4, exhaustive) 0 del vars, 0 del conss, 1 add conss, 0 chg bounds, 8 chg sides, 9 chg coeffs, 2 upgd conss, 0 impls, 43 clqs
1.58/1.68 c (round 5, exhaustive) 0 del vars, 0 del conss, 1 add conss, 0 chg bounds, 8 chg sides, 31 chg coeffs, 2 upgd conss, 0 impls, 43 clqs
1.58/1.68 c presolving (6 rounds: 6 fast, 4 medium, 4 exhaustive):
1.58/1.68 c 0 deleted vars, 0 deleted constraints, 1 added constraints, 0 tightened bounds, 0 added holes, 8 changed sides, 31 changed coefficients
1.58/1.68 c 0 implications, 43 cliques
1.58/1.68 c presolved problem has 92 variables (92 bin, 0 int, 0 impl, 0 cont) and 16 constraints
1.58/1.68 c 9 constraints of type <setppc>
1.58/1.68 c 2 constraints of type <linear>
1.58/1.68 c 5 constraints of type <logicor>
1.58/1.68 c transformed objective value is always integral (scale: 1)
1.58/1.68 c Presolving Time: 0.01
1.58/1.68 c
1.58/1.69 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1.58/1.69 c 1.7s| 1 | 0 | 4097 | - | 4581k | 0 | 92 | 16 | 15 | 0 | 0 | 2 | 6 | 0.000000e+00 | -- | Inf | unknown
1.58/1.69 c 1.7s| 1 | 0 | 4100 | - | 4581k | 0 | 92 | 16 | 16 | 1 | 1 | 2 | 6 | 0.000000e+00 | -- | Inf | unknown
1.58/1.69 c 1.7s| 1 | 0 | 4101 | - | 4582k | 0 | 92 | 16 | 17 | 2 | 2 | 2 | 6 | 0.000000e+00 | -- | Inf | unknown
1.58/1.69 c 1.7s| 1 | 0 | 4103 | - | 4582k | 0 | 92 | 16 | 19 | 4 | 3 | 2 | 6 | 0.000000e+00 | -- | Inf | unknown
1.58/1.69 c 1.7s| 1 | 0 | 4104 | - | 4582k | 0 | 92 | 16 | 20 | 5 | 4 | 2 | 6 | 0.000000e+00 | -- | Inf | unknown
1.68/1.70 c 1.7s| 1 | 0 | 4105 | - | 4582k | 0 | 92 | 16 | 21 | 6 | 5 | 2 | 6 | 0.000000e+00 | -- | Inf | unknown
1.68/1.70 c 1.7s| 1 | 0 | 4107 | - | 4582k | 0 | 92 | 16 | 23 | 8 | 6 | 2 | 6 | 0.000000e+00 | -- | Inf | unknown
1.68/1.70 c 1.7s| 1 | 0 | 4111 | - | 4597k | 0 | 92 | 16 | 25 | 10 | 7 | 2 | 6 | 0.000000e+00 | -- | Inf | unknown
1.68/1.70 c 1.7s| 1 | 0 | 4114 | - | 4691k | 0 | 92 | 16 | 26 | 11 | 8 | 2 | 6 | 0.000000e+00 | -- | Inf | unknown
1.68/1.70 c 1.7s| 1 | 0 | 4115 | - | 4692k | 0 | 92 | 16 | 27 | 12 | 9 | 2 | 6 | 0.000000e+00 | -- | Inf | unknown
1.68/1.70 c 1.7s| 1 | 0 | 4116 | - | 4692k | 0 | 92 | 16 | 25 | 13 | 10 | 2 | 6 | 0.000000e+00 | -- | Inf | unknown
1.68/1.70 c 1.7s| 1 | 0 | 4117 | - | 4692k | 0 | 92 | 16 | 26 | 14 | 11 | 2 | 6 | 0.000000e+00 | -- | Inf | unknown
1.68/1.71 c 1.7s| 1 | 2 | 4183 | - | 4692k | 0 | 92 | 16 | 26 | 14 | 11 | 2 | 6 | 0.000000e+00 | -- | Inf | unknown
1.68/1.78 c 1.8s| 100 | 45 | 4362 | 1.2 | 4694k | 22 | 92 | 16 | 13 | 29 | 1 | 2 | 6 | 0.000000e+00 | -- | Inf | 15.72%
1.78/1.82 c 1.8s| 200 | 51 | 4437 | 1.2 | 4694k | 22 | 92 | 16 | 0 | 38 | 0 | 2 | 6 | 0.000000e+00 | -- | Inf | 17.08%
1.88/1.91 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1.88/1.91 c 1.9s| 300 | 59 | 4510 | 1.2 | 4810k | 27 | 92 | 16 | 12 | 41 | 1 | 2 | 6 | 0.000000e+00 | -- | Inf | 17.15%
1.88/1.98 c 2.0s| 400 | 73 | 4590 | 1.2 | 4810k | 29 | 92 | 16 | 0 | 45 | 0 | 2 | 6 | 0.000000e+00 | -- | Inf | 17.37%
1.99/2.04 c 2.0s| 500 | 113 | 4713 | 1.2 | 4817k | 38 | 92 | 16 | 12 | 45 | 1 | 2 | 6 | 0.000000e+00 | -- | Inf | 17.37%
1.99/2.05 c 2.0s| 600 | 137 | 4780 | 1.1 | 4817k | 40 | 92 | 16 | 12 | 45 | 1 | 2 | 6 | 0.000000e+00 | -- | Inf | 17.37%
1.99/2.07 c 2.1s| 700 | 157 | 4854 | 1.1 | 4817k | 40 | 92 | 16 | 0 | 49 | 0 | 2 | 6 | 0.000000e+00 | -- | Inf | 17.37%
1.99/2.10 c 2.1s| 800 | 175 | 4947 | 1.1 | 4817k | 40 | 92 | 16 | 14 | 55 | 2 | 2 | 6 | 0.000000e+00 | -- | Inf | 17.37%
2.09/2.14 c 2.1s| 900 | 189 | 5056 | 1.1 | 4817k | 41 | 92 | 16 | 13 | 60 | 1 | 2 | 6 | 0.000000e+00 | -- | Inf | 17.38%
2.09/2.17 c 2.2s| 1000 | 195 | 5111 | 1.1 | 4817k | 41 | 92 | 16 | 0 | 60 | 0 | 2 | 6 | 0.000000e+00 | -- | Inf | 17.38%
2.09/2.18 c 2.2s| 1100 | 199 | 5163 | 1.1 | 4817k | 41 | 92 | 16 | 13 | 60 | 1 | 2 | 6 | 0.000000e+00 | -- | Inf | 17.38%
2.18/2.20 c 2.2s| 1200 | 207 | 5217 | 1.1 | 4817k | 41 | 92 | 16 | 0 | 60 | 0 | 2 | 6 | 0.000000e+00 | -- | Inf | 17.38%
2.18/2.21 c 2.2s| 1300 | 211 | 5271 | 1.1 | 4817k | 41 | 92 | 16 | 0 | 60 | 0 | 2 | 6 | 0.000000e+00 | -- | Inf | 17.38%
2.18/2.24 c 2.2s| 1400 | 221 | 5367 | 1.1 | 4818k | 42 | 92 | 16 | 13 | 81 | 1 | 2 | 6 | 0.000000e+00 | -- | Inf | 17.38%
2.18/2.26 c 2.2s| 1500 | 225 | 5428 | 1.1 | 4818k | 42 | 92 | 16 | 0 | 83 | 0 | 2 | 6 | 0.000000e+00 | -- | Inf | 17.38%
2.18/2.27 c 2.3s| 1600 | 233 | 5497 | 1.1 | 4818k | 43 | 92 | 16 | 13 | 91 | 1 | 2 | 6 | 0.000000e+00 | -- | Inf | 17.38%
2.18/2.29 c 2.3s| 1700 | 249 | 5580 | 1.1 | 4818k | 43 | 92 | 16 | 0 | 99 | 0 | 2 | 6 | 0.000000e+00 | -- | Inf | 17.38%
2.28/2.31 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2.28/2.31 c 2.3s| 1800 | 253 | 5657 | 1.1 | 4819k | 43 | 92 | 16 | 0 | 115 | 0 | 2 | 6 | 0.000000e+00 | -- | Inf | 17.38%
2.28/2.33 c 2.3s| 1900 | 255 | 5739 | 1.0 | 4819k | 43 | 92 | 16 | 16 | 126 | 1 | 2 | 6 | 0.000000e+00 | -- | Inf | 17.38%
2.28/2.35 c 2.3s| 2000 | 273 | 5845 | 1.0 | 4824k | 45 | 92 | 17 | 12 | 150 | 1 | 3 | 6 | 0.000000e+00 | -- | Inf | 17.47%
2.28/2.37 c 2.4s| 2100 | 275 | 5919 | 1.0 | 4828k | 45 | 92 | 17 | 12 | 161 | 2 | 3 | 6 | 0.000000e+00 | -- | Inf | 41.70%
2.28/2.39 c 2.4s| 2200 | 277 | 5989 | 1.0 | 4828k | 45 | 92 | 17 | 12 | 172 | 2 | 3 | 6 | 0.000000e+00 | -- | Inf | 48.22%
2.37/2.41 c 2.4s| 2300 | 281 | 6068 | 1.0 | 4853k | 45 | 92 | 17 | 0 | 181 | 0 | 3 | 6 | 0.000000e+00 | -- | Inf | 48.62%
2.37/2.43 c 2.4s| 2400 | 297 | 6147 | 1.0 | 4853k | 45 | 92 | 17 | 12 | 183 | 1 | 3 | 6 | 0.000000e+00 | -- | Inf | 48.66%
2.37/2.45 c 2.4s| 2500 | 311 | 6216 | 1.0 | 4859k | 45 | 92 | 17 | 0 | 183 | 0 | 3 | 6 | 0.000000e+00 | -- | Inf | 48.68%
2.37/2.46 c 2.5s| 2600 | 319 | 6282 | 1.0 | 4859k | 45 | 92 | 17 | 0 | 183 | 0 | 3 | 6 | 0.000000e+00 | -- | Inf | 48.69%
2.37/2.48 c 2.5s| 2700 | 321 | 6344 | 1.0 | 4862k | 45 | 92 | 17 | 12 | 187 | 1 | 3 | 6 | 0.000000e+00 | -- | Inf | 50.03%
2.47/2.50 c 2.5s| 2800 | 333 | 6440 | 1.0 | 4862k | 45 | 92 | 17 | 0 | 189 | 0 | 3 | 6 | 0.000000e+00 | -- | Inf | 50.07%
2.47/2.51 c 2.5s| 2900 | 333 | 6492 | 1.0 | 4862k | 45 | 92 | 17 | 0 | 189 | 0 | 3 | 6 | 0.000000e+00 | -- | Inf | 50.08%
2.47/2.53 c 2.5s| 3000 | 333 | 6545 | 1.0 | 4862k | 45 | 92 | 17 | 0 | 189 | 0 | 3 | 6 | 0.000000e+00 | -- | Inf | 50.11%
2.47/2.54 c 2.5s| 3100 | 337 | 6600 | 1.0 | 4862k | 45 | 92 | 17 | 12 | 189 | 1 | 3 | 6 | 0.000000e+00 | -- | Inf | 50.12%
2.47/2.56 c 2.6s| 3200 | 339 | 6651 | 1.0 | 4862k | 45 | 92 | 17 | 12 | 189 | 1 | 3 | 6 | 0.000000e+00 | -- | Inf | 50.12%
2.47/2.58 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2.47/2.58 c 2.6s| 3300 | 339 | 6708 | 1.0 | 4862k | 45 | 92 | 17 | 0 | 190 | 0 | 3 | 6 | 0.000000e+00 | -- | Inf | 50.12%
2.57/2.60 c 2.6s| 3400 | 355 | 6785 | 1.0 | 4862k | 45 | 92 | 17 | 12 | 191 | 1 | 3 | 6 | 0.000000e+00 | -- | Inf | 50.12%
2.57/2.61 c 2.6s| 3500 | 365 | 6849 | 1.0 | 4862k | 45 | 92 | 17 | 12 | 191 | 1 | 3 | 6 | 0.000000e+00 | -- | Inf | 50.12%
2.57/2.63 c 2.6s| 3600 | 389 | 6946 | 1.0 | 4862k | 45 | 92 | 17 | 12 | 191 | 1 | 3 | 6 | 0.000000e+00 | -- | Inf | 50.12%
2.57/2.65 c 2.6s| 3700 | 389 | 6998 | 1.0 | 4862k | 45 | 92 | 17 | 12 | 191 | 1 | 3 | 6 | 0.000000e+00 | -- | Inf | 50.12%
2.57/2.66 c 2.7s| 3800 | 399 | 7068 | 1.0 | 4862k | 45 | 92 | 17 | 0 | 191 | 0 | 3 | 6 | 0.000000e+00 | -- | Inf | 50.12%
2.57/2.67 c 2.7s| 3900 | 405 | 7127 | 1.0 | 4862k | 45 | 92 | 17 | 0 | 191 | 0 | 3 | 6 | 0.000000e+00 | -- | Inf | 50.12%
2.57/2.69 c 2.7s| 4000 | 405 | 7180 | 0.9 | 4862k | 45 | 92 | 17 | 0 | 191 | 0 | 3 | 6 | 0.000000e+00 | -- | Inf | 50.12%
2.67/2.71 c 2.7s| 4100 | 407 | 7235 | 0.9 | 4862k | 45 | 92 | 17 | 0 | 191 | 0 | 3 | 6 | 0.000000e+00 | -- | Inf | 50.13%
2.67/2.72 c 2.7s| 4200 | 413 | 7291 | 0.9 | 4862k | 45 | 92 | 17 | 0 | 191 | 0 | 3 | 6 | 0.000000e+00 | -- | Inf | 50.13%
2.67/2.74 c 2.7s| 4300 | 413 | 7341 | 0.9 | 4862k | 45 | 92 | 17 | 12 | 191 | 1 | 3 | 6 | 0.000000e+00 | -- | Inf | 50.13%
2.67/2.75 c 2.7s| 4400 | 409 | 7392 | 0.9 | 4862k | 45 | 92 | 17 | 0 | 191 | 0 | 3 | 6 | 0.000000e+00 | -- | Inf | 50.16%
2.67/2.77 c 2.8s| 4500 | 419 | 7467 | 0.9 | 4862k | 45 | 92 | 17 | 12 | 195 | 1 | 3 | 6 | 0.000000e+00 | -- | Inf | 50.17%
2.67/2.79 c 2.8s| 4600 | 421 | 7532 | 0.9 | 4862k | 45 | 92 | 17 | 12 | 200 | 1 | 3 | 6 | 0.000000e+00 | -- | Inf | 50.17%
2.77/2.81 c 2.8s| 4700 | 435 | 7628 | 0.9 | 4862k | 45 | 92 | 17 | 12 | 211 | 1 | 3 | 6 | 0.000000e+00 | -- | Inf | 50.17%
2.77/2.83 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2.77/2.83 c 2.8s| 4800 | 445 | 7726 | 0.9 | 4862k | 45 | 92 | 17 | 0 | 232 | 0 | 3 | 6 | 0.000000e+00 | -- | Inf | 50.17%
2.77/2.84 c 2.8s| 4900 | 451 | 7797 | 0.9 | 4862k | 45 | 92 | 17 | 12 | 239 | 1 | 3 | 6 | 0.000000e+00 | -- | Inf | 53.05%
2.77/2.86 c 2.9s| 5000 | 449 | 7854 | 0.9 | 4862k | 45 | 92 | 17 | 0 | 243 | 0 | 3 | 6 | 0.000000e+00 | -- | Inf | 53.24%
2.77/2.88 c 2.9s| 5100 | 451 | 7908 | 0.9 | 4862k | 45 | 92 | 17 | 12 | 243 | 1 | 3 | 6 | 0.000000e+00 | -- | Inf | 53.28%
2.77/2.89 c 2.9s| 5200 | 457 | 7970 | 0.9 | 4862k | 45 | 92 | 17 | 12 | 243 | 1 | 3 | 6 | 0.000000e+00 | -- | Inf | 53.28%
2.87/2.92 c 2.9s| 5300 | 463 | 8024 | 0.9 | 4862k | 45 | 92 | 17 | 0 | 243 | 0 | 3 | 6 | 0.000000e+00 | -- | Inf | 53.28%
2.87/2.93 c 2.9s| 5400 | 467 | 8085 | 0.9 | 4862k | 45 | 92 | 17 | 0 | 245 | 0 | 3 | 6 | 0.000000e+00 | -- | Inf | 53.33%
2.87/2.95 c 2.9s| 5500 | 473 | 8141 | 0.9 | 4862k | 45 | 92 | 17 | 0 | 245 | 0 | 3 | 6 | 0.000000e+00 | -- | Inf | 53.33%
2.87/2.97 c 3.0s| 5600 | 479 | 8194 | 0.9 | 4862k | 45 | 92 | 17 | 12 | 245 | 1 | 3 | 6 | 0.000000e+00 | -- | Inf | 53.33%
2.87/2.98 c 3.0s| 5700 | 493 | 8255 | 0.9 | 4862k | 45 | 92 | 17 | 0 | 245 | 0 | 3 | 6 | 0.000000e+00 | -- | Inf | 53.33%
2.87/3.01 c 3.0s| 5800 | 493 | 8305 | 0.9 | 4862k | 45 | 92 | 17 | 0 | 245 | 0 | 3 | 6 | 0.000000e+00 | -- | Inf | 53.33%
2.98/3.02 c 3.0s| 5900 | 499 | 8372 | 0.9 | 4862k | 45 | 92 | 17 | 12 | 245 | 1 | 3 | 6 | 0.000000e+00 | -- | Inf | 53.36%
2.98/3.03 c 3.0s| 6000 | 511 | 8453 | 0.9 | 4862k | 45 | 92 | 17 | 0 | 245 | 0 | 3 | 6 | 0.000000e+00 | -- | Inf | 53.36%
2.98/3.04 c 3.0s| 6100 | 537 | 8534 | 0.9 | 4893k | 45 | 92 | 17 | 12 | 245 | 1 | 3 | 6 | 0.000000e+00 | -- | Inf | 53.36%
2.98/3.06 c 3.1s| 6200 | 569 | 8615 | 0.9 | 4893k | 45 | 92 | 17 | 12 | 249 | 1 | 3 | 6 | 0.000000e+00 | -- | Inf | 53.36%
2.98/3.08 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2.98/3.08 c 3.1s| 6300 | 585 | 8689 | 0.9 | 4893k | 45 | 92 | 17 | 0 | 253 | 0 | 3 | 6 | 0.000000e+00 | -- | Inf | 53.36%
2.98/3.11 c 3.1s| 6400 | 597 | 8768 | 0.9 | 4893k | 45 | 92 | 17 | 0 | 260 | 0 | 3 | 6 | 0.000000e+00 | -- | Inf | 53.36%
3.08/3.12 c 3.1s| 6500 | 631 | 8886 | 0.9 | 4895k | 45 | 92 | 17 | 0 | 264 | 0 | 3 | 6 | 0.000000e+00 | -- | Inf | 53.36%
3.08/3.15 c 3.1s| 6600 | 647 | 8970 | 0.9 | 4895k | 45 | 92 | 17 | 14 | 271 | 1 | 3 | 6 | 0.000000e+00 | -- | Inf | 53.36%
3.08/3.17 c 3.2s| 6700 | 661 | 9070 | 0.9 | 4895k | 45 | 92 | 17 | 12 | 280 | 1 | 3 | 6 | 0.000000e+00 | -- | Inf | 53.36%
3.08/3.19 c 3.2s| 6800 | 661 | 9137 | 0.9 | 4895k | 45 | 92 | 17 | 0 | 286 | 0 | 3 | 6 | 0.000000e+00 | -- | Inf | 53.37%
3.17/3.22 c 3.2s| 6900 | 663 | 9206 | 0.9 | 4895k | 45 | 92 | 17 | 12 | 291 | 1 | 3 | 6 | 0.000000e+00 | -- | Inf | 53.37%
3.17/3.24 c 3.2s| 7000 | 667 | 9263 | 0.9 | 4901k | 45 | 92 | 17 | 12 | 291 | 1 | 3 | 6 | 0.000000e+00 | -- | Inf | 53.37%
3.17/3.25 c 3.2s| 7100 | 675 | 9325 | 0.9 | 4901k | 45 | 92 | 17 | 0 | 293 | 0 | 3 | 6 | 0.000000e+00 | -- | Inf | 53.37%
3.17/3.27 c 3.3s| 7200 | 679 | 9386 | 0.9 | 4901k | 45 | 92 | 17 | 12 | 296 | 1 | 3 | 6 | 0.000000e+00 | -- | Inf | 53.38%
3.17/3.29 c 3.3s| 7300 | 681 | 9446 | 0.9 | 4901k | 45 | 92 | 17 | 12 | 298 | 1 | 3 | 6 | 0.000000e+00 | -- | Inf | 53.38%
3.27/3.30 c 3.3s| 7400 | 679 | 9495 | 0.9 | 4901k | 45 | 92 | 17 | 12 | 298 | 1 | 3 | 6 | 0.000000e+00 | -- | Inf | 53.38%
3.27/3.32 c 3.3s| 7500 | 695 | 9575 | 0.9 | 4901k | 45 | 92 | 17 | 0 | 310 | 0 | 3 | 6 | 0.000000e+00 | -- | Inf | 53.38%
3.27/3.34 c 3.3s| 7600 | 691 | 9634 | 0.9 | 4901k | 45 | 92 | 17 | 0 | 316 | 0 | 3 | 6 | 0.000000e+00 | -- | Inf | 53.43%
3.27/3.36 c 3.3s| 7700 | 699 | 9689 | 0.9 | 4901k | 45 | 92 | 17 | 0 | 316 | 0 | 3 | 6 | 0.000000e+00 | -- | Inf | 53.43%
3.27/3.37 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3.27/3.37 c 3.4s| 7800 | 701 | 9741 | 0.9 | 4901k | 45 | 92 | 17 | 12 | 316 | 1 | 3 | 6 | 0.000000e+00 | -- | Inf | 53.43%
3.27/3.39 c 3.4s| 7900 | 709 | 9796 | 0.9 | 4901k | 45 | 92 | 17 | 12 | 316 | 1 | 3 | 6 | 0.000000e+00 | -- | Inf | 53.43%
3.37/3.41 c 3.4s| 8000 | 721 | 9873 | 0.9 | 4901k | 45 | 92 | 17 | 12 | 320 | 1 | 3 | 6 | 0.000000e+00 | -- | Inf | 53.43%
3.37/3.43 c 3.4s| 8100 | 721 | 9927 | 0.8 | 4901k | 45 | 92 | 17 | 0 | 320 | 0 | 3 | 6 | 0.000000e+00 | -- | Inf | 53.43%
3.37/3.45 c 3.4s| 8200 | 725 | 9992 | 0.8 | 4901k | 45 | 92 | 17 | 0 | 324 | 0 | 3 | 6 | 0.000000e+00 | -- | Inf | 53.62%
3.37/3.48 c 3.5s| 8300 | 725 | 10045 | 0.8 | 4901k | 45 | 92 | 17 | 12 | 324 | 1 | 3 | 6 | 0.000000e+00 | -- | Inf | 53.62%
3.47/3.50 c 3.5s| 8400 | 727 | 10101 | 0.8 | 4901k | 45 | 92 | 17 | 0 | 324 | 0 | 3 | 6 | 0.000000e+00 | -- | Inf | 53.63%
3.47/3.51 c 3.5s| 8500 | 741 | 10170 | 0.8 | 4903k | 45 | 92 | 17 | 12 | 324 | 1 | 3 | 6 | 0.000000e+00 | -- | Inf | 53.64%
3.47/3.52 c 3.5s| 8600 | 757 | 10233 | 0.8 | 4903k | 45 | 92 | 17 | 0 | 325 | 0 | 3 | 6 | 0.000000e+00 | -- | Inf | 53.64%
3.47/3.54 c 3.5s| 8700 | 795 | 10346 | 0.8 | 4903k | 45 | 92 | 17 | 12 | 329 | 1 | 3 | 6 | 0.000000e+00 | -- | Inf | 53.64%
3.47/3.55 c 3.5s| 8800 | 811 | 10447 | 0.8 | 4903k | 45 | 92 | 17 | 0 | 330 | 0 | 3 | 6 | 0.000000e+00 | -- | Inf | 53.64%
3.47/3.57 c 3.6s| 8900 | 817 | 10528 | 0.8 | 4903k | 45 | 92 | 17 | 12 | 342 | 1 | 3 | 6 | 0.000000e+00 | -- | Inf | 53.64%
3.47/3.59 c 3.6s| 9000 | 829 | 10612 | 0.8 | 4903k | 45 | 92 | 17 | 12 | 353 | 1 | 3 | 6 | 0.000000e+00 | -- | Inf | 53.64%
3.57/3.61 c 3.6s| 9100 | 835 | 10667 | 0.8 | 5162k | 45 | 92 | 17 | 12 | 353 | 1 | 3 | 6 | 0.000000e+00 | -- | Inf | 53.64%
3.57/3.62 c 3.6s| 9200 | 845 | 10724 | 0.8 | 5162k | 45 | 92 | 17 | 0 | 353 | 0 | 3 | 6 | 0.000000e+00 | -- | Inf | 53.64%
3.57/3.64 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3.57/3.64 c 3.6s| 9300 | 855 | 10783 | 0.8 | 5162k | 45 | 92 | 17 | 0 | 353 | 0 | 3 | 6 | 0.000000e+00 | -- | Inf | 53.64%
3.57/3.66 c 3.6s| 9400 | 871 | 10841 | 0.8 | 5162k | 45 | 92 | 17 | 0 | 353 | 0 | 3 | 6 | 0.000000e+00 | -- | Inf | 53.64%
3.57/3.67 c 3.7s| 9500 | 879 | 10901 | 0.8 | 5227k | 45 | 92 | 17 | 12 | 353 | 1 | 3 | 6 | 0.000000e+00 | -- | Inf | 53.64%
3.57/3.69 c 3.7s| 9600 | 891 | 10960 | 0.8 | 5227k | 45 | 92 | 17 | 12 | 353 | 1 | 3 | 6 | 0.000000e+00 | -- | Inf | 53.64%
3.67/3.70 c 3.7s| 9700 | 919 | 11036 | 0.8 | 5293k | 45 | 92 | 17 | 0 | 355 | 0 | 3 | 6 | 0.000000e+00 | -- | Inf | 53.64%
3.67/3.72 c 3.7s| 9800 | 935 | 11108 | 0.8 | 5551k | 45 | 92 | 17 | 0 | 359 | 0 | 3 | 6 | 0.000000e+00 | -- | Inf | 53.64%
3.67/3.74 c 3.7s| 9900 | 933 | 11175 | 0.8 | 5554k | 45 | 92 | 17 | 0 | 364 | 0 | 3 | 6 | 0.000000e+00 | -- | Inf | 53.64%
3.67/3.76 c 3.8s| 10000 | 933 | 11242 | 0.8 | 5554k | 45 | 92 | 17 | 0 | 372 | 0 | 3 | 6 | 0.000000e+00 | -- | Inf | 53.64%
3.67/3.78 c 3.8s| 10100 | 931 | 11315 | 0.8 | 5554k | 45 | 92 | 17 | 12 | 379 | 1 | 3 | 6 | 0.000000e+00 | -- | Inf | 53.64%
3.77/3.80 c 3.8s| 10200 | 937 | 11385 | 0.8 | 5554k | 45 | 92 | 17 | 0 | 386 | 0 | 3 | 6 | 0.000000e+00 | -- | Inf | 53.64%
3.77/3.82 c 3.8s| 10300 | 935 | 11451 | 0.8 | 5554k | 45 | 92 | 17 | 0 | 390 | 0 | 3 | 6 | 0.000000e+00 | -- | Inf | 55.20%
3.77/3.84 c 3.8s| 10400 | 947 | 11523 | 0.8 | 5554k | 45 | 92 | 17 | 0 | 390 | 0 | 3 | 6 | 0.000000e+00 | -- | Inf | 55.20%
3.77/3.86 c 3.8s| 10500 | 949 | 11601 | 0.8 | 5554k | 45 | 92 | 17 | 0 | 402 | 0 | 3 | 6 | 0.000000e+00 | -- | Inf | 55.21%
3.77/3.87 c 3.9s| 10600 | 949 | 11651 | 0.8 | 5554k | 45 | 92 | 17 | 0 | 402 | 0 | 3 | 6 | 0.000000e+00 | -- | Inf | 55.21%
3.87/3.90 c 3.9s| 10700 | 969 | 11740 | 0.8 | 5554k | 45 | 92 | 17 | 12 | 412 | 1 | 3 | 6 | 0.000000e+00 | -- | Inf | 55.21%
3.87/3.92 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3.87/3.92 c 3.9s| 10800 | 973 | 11851 | 0.8 | 5554k | 45 | 92 | 17 | 0 | 433 | 0 | 3 | 6 | 0.000000e+00 | -- | Inf | 55.23%
3.87/3.94 c 3.9s| 10900 | 975 | 11923 | 0.8 | 5554k | 45 | 92 | 17 | 0 | 440 | 0 | 3 | 6 | 0.000000e+00 | -- | Inf | 55.24%
3.87/3.96 c 4.0s| 11000 | 983 | 11994 | 0.8 | 5554k | 45 | 92 | 17 | 12 | 440 | 1 | 3 | 6 | 0.000000e+00 | -- | Inf | 55.25%
3.87/3.98 c 4.0s| 11100 | 999 | 12065 | 0.8 | 5615k | 45 | 92 | 17 | 0 | 440 | 0 | 3 | 6 | 0.000000e+00 | -- | Inf | 55.25%
3.87/3.99 c 4.0s| 11200 | 1003 | 12122 | 0.8 | 5615k | 45 | 92 | 17 | 12 | 440 | 1 | 3 | 6 | 0.000000e+00 | -- | Inf | 55.27%
3.87/4.01 c 4.0s| 11300 | 1013 | 12197 | 0.8 | 5615k | 45 | 92 | 17 | 0 | 444 | 0 | 3 | 6 | 0.000000e+00 | -- | Inf | 55.28%
3.98/4.02 c 4.0s| 11400 | 1025 | 12268 | 0.8 | 5615k | 45 | 92 | 17 | 0 | 447 | 0 | 3 | 6 | 0.000000e+00 | -- | Inf | 55.29%
3.98/4.05 c 4.0s| 11500 | 1029 | 12323 | 0.8 | 5615k | 45 | 92 | 17 | 0 | 447 | 0 | 3 | 6 | 0.000000e+00 | -- | Inf | 55.29%
3.98/4.07 c 4.1s| 11600 | 1033 | 12389 | 0.8 | 5615k | 45 | 92 | 17 | 12 | 447 | 1 | 3 | 6 | 0.000000e+00 | -- | Inf | 55.29%
3.98/4.08 c 4.1s| 11700 | 1033 | 12442 | 0.8 | 5615k | 45 | 92 | 17 | 0 | 447 | 0 | 3 | 6 | 0.000000e+00 | -- | Inf | 55.29%
3.98/4.10 c 4.1s| 11800 | 1033 | 12500 | 0.8 | 5615k | 45 | 92 | 17 | 0 | 450 | 0 | 3 | 6 | 0.000000e+00 | -- | Inf | 55.68%
4.08/4.12 c 4.1s| 11900 | 1043 | 12568 | 0.8 | 5615k | 45 | 92 | 17 | 0 | 455 | 0 | 3 | 6 | 0.000000e+00 | -- | Inf | 55.68%
4.08/4.14 c 4.1s| 12000 | 1061 | 12655 | 0.8 | 5615k | 45 | 92 | 17 | 13 | 461 | 1 | 3 | 6 | 0.000000e+00 | -- | Inf | 55.68%
4.08/4.16 c 4.1s| 12100 | 1069 | 12720 | 0.8 | 5615k | 45 | 92 | 17 | 0 | 463 | 0 | 3 | 6 | 0.000000e+00 | -- | Inf | 55.68%
4.08/4.17 c 4.2s| 12200 | 1099 | 12801 | 0.8 | 5622k | 45 | 92 | 17 | 0 | 463 | 0 | 3 | 6 | 0.000000e+00 | -- | Inf | 55.68%
4.08/4.19 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
4.08/4.19 c 4.2s| 12300 | 1107 | 12868 | 0.8 | 5622k | 45 | 92 | 17 | 12 | 465 | 1 | 3 | 6 | 0.000000e+00 | -- | Inf | 55.68%
4.16/4.21 c 4.2s| 12400 | 1113 | 12942 | 0.8 | 5622k | 45 | 92 | 17 | 12 | 472 | 1 | 3 | 6 | 0.000000e+00 | -- | Inf | 55.68%
4.16/4.23 c 4.2s| 12500 | 1111 | 13001 | 0.8 | 5622k | 45 | 92 | 17 | 12 | 480 | 1 | 3 | 6 | 0.000000e+00 | -- | Inf | 55.68%
4.16/4.25 c 4.2s| 12600 | 1125 | 13086 | 0.8 | 5622k | 45 | 92 | 17 | 12 | 492 | 1 | 3 | 6 | 0.000000e+00 | -- | Inf | 55.68%
4.16/4.27 c 4.3s| 12700 | 1135 | 13153 | 0.8 | 5622k | 45 | 92 | 17 | 0 | 492 | 0 | 3 | 6 | 0.000000e+00 | -- | Inf | 55.68%
4.16/4.29 c 4.3s| 12800 | 1159 | 13234 | 0.8 | 5622k | 45 | 92 | 17 | 0 | 494 | 0 | 3 | 6 | 0.000000e+00 | -- | Inf | 55.68%
4.26/4.31 c 4.3s| 12900 | 1177 | 13332 | 0.8 | 5639k | 45 | 92 | 17 | 14 | 508 | 2 | 3 | 6 | 0.000000e+00 | -- | Inf | 55.68%
4.26/4.33 c 4.3s| 13000 | 1181 | 13413 | 0.8 | 5777k | 45 | 92 | 17 | 0 | 522 | 0 | 3 | 6 | 0.000000e+00 | -- | Inf | 55.68%
4.26/4.35 c 4.3s| 13100 | 1177 | 13485 | 0.8 | 5956k | 45 | 92 | 17 | 0 | 533 | 0 | 3 | 6 | 0.000000e+00 | -- | Inf | 55.68%
4.26/4.36 c 4.4s| 13200 | 1179 | 13552 | 0.8 | 5957k | 45 | 92 | 17 | 0 | 539 | 0 | 4 | 6 | 0.000000e+00 | -- | Inf | 55.68%
4.26/4.38 c 4.4s| 13300 | 1185 | 13614 | 0.8 | 5957k | 45 | 92 | 17 | 16 | 545 | 1 | 4 | 6 | 0.000000e+00 | -- | Inf | 55.68%
4.36/4.40 c 4.4s| 13400 | 1191 | 13688 | 0.8 | 5957k | 45 | 92 | 17 | 12 | 551 | 1 | 5 | 6 | 0.000000e+00 | -- | Inf | 55.68%
4.36/4.42 c 4.4s| 13500 | 1193 | 13752 | 0.8 | 5957k | 45 | 92 | 17 | 12 | 554 | 1 | 6 | 6 | 0.000000e+00 | -- | Inf | 55.68%
4.36/4.44 c 4.4s| 13600 | 1203 | 13818 | 0.8 | 5957k | 45 | 92 | 17 | 0 | 560 | 0 | 6 | 6 | 0.000000e+00 | -- | Inf | 55.68%
4.36/4.45 c 4.4s| 13700 | 1209 | 13873 | 0.8 | 6022k | 45 | 92 | 17 | 0 | 560 | 0 | 6 | 6 | 0.000000e+00 | -- | Inf | 55.69%
4.36/4.48 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
4.36/4.48 c 4.5s| 13800 | 1217 | 13942 | 0.8 | 6022k | 45 | 92 | 17 | 0 | 565 | 0 | 6 | 6 | 0.000000e+00 | -- | Inf | 55.69%
4.36/4.49 c 4.5s| 13900 | 1233 | 14008 | 0.8 | 6022k | 45 | 92 | 17 | 12 | 565 | 1 | 6 | 6 | 0.000000e+00 | -- | Inf | 55.69%
4.46/4.51 c 4.5s| 14000 | 1269 | 14094 | 0.8 | 6033k | 45 | 92 | 17 | 0 | 565 | 0 | 6 | 6 | 0.000000e+00 | -- | Inf | 55.69%
4.46/4.53 c 4.5s| 14100 | 1277 | 14157 | 0.8 | 6033k | 45 | 92 | 17 | 0 | 565 | 0 | 6 | 6 | 0.000000e+00 | -- | Inf | 55.69%
4.46/4.55 c 4.5s| 14200 | 1287 | 14232 | 0.8 | 6033k | 45 | 92 | 17 | 12 | 565 | 1 | 6 | 6 | 0.000000e+00 | -- | Inf | 55.69%
4.46/4.56 c 4.6s| 14300 | 1291 | 14288 | 0.8 | 6033k | 45 | 92 | 17 | 12 | 566 | 1 | 6 | 6 | 0.000000e+00 | -- | Inf | 55.69%
4.46/4.58 c 4.6s| 14400 | 1303 | 14348 | 0.8 | 6033k | 45 | 92 | 17 | 12 | 568 | 1 | 6 | 6 | 0.000000e+00 | -- | Inf | 55.69%
4.56/4.60 c 4.6s| 14500 | 1299 | 14425 | 0.8 | 6033k | 45 | 92 | 17 | 0 | 580 | 0 | 6 | 6 | 0.000000e+00 | -- | Inf | 55.69%
4.56/4.62 c 4.6s| 14600 | 1301 | 14484 | 0.8 | 6033k | 45 | 92 | 17 | 12 | 586 | 1 | 6 | 6 | 0.000000e+00 | -- | Inf | 55.69%
4.56/4.64 c 4.6s| 14700 | 1299 | 14547 | 0.8 | 6033k | 45 | 92 | 17 | 12 | 598 | 1 | 6 | 6 | 0.000000e+00 | -- | Inf | 55.69%
4.56/4.66 c 4.7s| 14800 | 1303 | 14607 | 0.8 | 6033k | 45 | 92 | 17 | 12 | 602 | 1 | 6 | 6 | 0.000000e+00 | -- | Inf | 55.69%
4.56/4.68 c 4.7s| 14900 | 1309 | 14674 | 0.8 | 6033k | 45 | 92 | 17 | 12 | 608 | 1 | 6 | 6 | 0.000000e+00 | -- | Inf | 55.69%
4.66/4.70 c 4.7s| 15000 | 1311 | 14725 | 0.8 | 6033k | 45 | 92 | 17 | 12 | 608 | 1 | 6 | 6 | 0.000000e+00 | -- | Inf | 55.69%
4.66/4.72 c 4.7s| 15100 | 1315 | 14777 | 0.8 | 6033k | 45 | 92 | 17 | 12 | 608 | 1 | 6 | 6 | 0.000000e+00 | -- | Inf | 55.69%
4.66/4.73 c 4.7s| 15200 | 1329 | 14840 | 0.8 | 6033k | 45 | 92 | 17 | 12 | 608 | 1 | 6 | 6 | 0.000000e+00 | -- | Inf | 55.69%
4.66/4.76 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
4.66/4.76 c 4.7s| 15300 | 1327 | 14910 | 0.8 | 6033k | 45 | 92 | 17 | 0 | 618 | 0 | 6 | 6 | 0.000000e+00 | -- | Inf | 55.69%
4.66/4.78 c 4.8s| 15400 | 1335 | 14997 | 0.8 | 6096k | 45 | 92 | 17 | 0 | 632 | 0 | 6 | 6 | 0.000000e+00 | -- | Inf | 55.69%
4.66/4.79 c 4.8s| 15500 | 1339 | 15064 | 0.8 | 6096k | 45 | 92 | 17 | 13 | 639 | 1 | 6 | 6 | 0.000000e+00 | -- | Inf | 55.69%
4.76/4.81 c 4.8s| 15600 | 1341 | 15144 | 0.8 | 6096k | 45 | 92 | 17 | 15 | 652 | 3 | 6 | 6 | 0.000000e+00 | -- | Inf | 55.69%
4.76/4.83 c 4.8s| 15700 | 1347 | 15217 | 0.8 | 6096k | 45 | 92 | 17 | 12 | 658 | 1 | 7 | 6 | 0.000000e+00 | -- | Inf | 55.69%
4.76/4.85 c 4.8s| 15800 | 1345 | 15290 | 0.8 | 6096k | 45 | 92 | 17 | 0 | 670 | 0 | 7 | 6 | 0.000000e+00 | -- | Inf | 55.69%
4.76/4.87 c 4.9s| 15900 | 1349 | 15377 | 0.8 | 6112k | 45 | 92 | 17 | 12 | 682 | 1 | 7 | 6 | 0.000000e+00 | -- | Inf | 55.70%
4.76/4.89 c 4.9s| 16000 | 1357 | 15433 | 0.8 | 6116k | 45 | 92 | 17 | 12 | 682 | 1 | 7 | 6 | 0.000000e+00 | -- | Inf | 55.70%
4.86/4.91 c 4.9s| 16100 | 1369 | 15493 | 0.8 | 6116k | 45 | 92 | 17 | 0 | 682 | 0 | 7 | 6 | 0.000000e+00 | -- | Inf | 55.70%
4.86/4.92 c 4.9s| 16200 | 1381 | 15565 | 0.8 | 6116k | 45 | 92 | 17 | 12 | 688 | 1 | 7 | 6 | 0.000000e+00 | -- | Inf | 55.70%
4.86/4.94 c 4.9s| 16300 | 1395 | 15626 | 0.8 | 6116k | 45 | 92 | 17 | 12 | 692 | 1 | 7 | 6 | 0.000000e+00 | -- | Inf | 55.70%
4.86/4.96 c 5.0s| 16400 | 1409 | 15703 | 0.8 | 6116k | 45 | 92 | 17 | 12 | 705 | 1 | 7 | 6 | 0.000000e+00 | -- | Inf | 55.70%
4.86/4.98 c 5.0s| 16500 | 1411 | 15761 | 0.8 | 6116k | 45 | 92 | 17 | 12 | 708 | 1 | 7 | 6 | 0.000000e+00 | -- | Inf | 55.70%
4.86/4.99 c 5.0s| 16600 | 1423 | 15839 | 0.8 | 6116k | 46 | 92 | 17 | 12 | 719 | 1 | 7 | 6 | 0.000000e+00 | -- | Inf | 55.70%
4.97/5.02 c 5.0s| 16700 | 1445 | 15956 | 0.8 | 6116k | 46 | 92 | 17 | 12 | 735 | 1 | 7 | 6 | 0.000000e+00 | -- | Inf | 55.70%
4.97/5.04 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
4.97/5.04 c 5.0s| 16800 | 1451 | 16034 | 0.8 | 6116k | 46 | 92 | 17 | 0 | 744 | 0 | 7 | 6 | 0.000000e+00 | -- | Inf | 55.70%
4.97/5.06 c 5.1s| 16900 | 1457 | 16124 | 0.8 | 6132k | 46 | 92 | 17 | 12 | 760 | 1 | 7 | 6 | 0.000000e+00 | -- | Inf | 55.70%
4.97/5.09 c 5.1s| 17000 | 1463 | 16218 | 0.8 | 6162k | 46 | 92 | 17 | 0 | 776 | 0 | 9 | 6 | 0.000000e+00 | -- | Inf | 55.70%
4.97/5.11 c 5.1s| 17100 | 1467 | 16293 | 0.8 | 6334k | 46 | 92 | 17 | 0 | 787 | 0 | 9 | 6 | 0.000000e+00 | -- | Inf | 55.70%
5.07/5.13 c 5.1s| 17200 | 1471 | 16381 | 0.8 | 6334k | 46 | 92 | 17 | 12 | 805 | 1 | 9 | 6 | 0.000000e+00 | -- | Inf | 55.70%
5.07/5.15 c 5.1s| 17300 | 1471 | 16463 | 0.8 | 6334k | 46 | 92 | 17 | 12 | 819 | 1 | 9 | 6 | 0.000000e+00 | -- | Inf | 55.71%
5.07/5.17 c 5.2s| 17400 | 1471 | 16544 | 0.8 | 6334k | 46 | 92 | 17 | 0 | 830 | 0 | 9 | 6 | 0.000000e+00 | -- | Inf | 55.71%
5.07/5.19 c 5.2s| 17500 | 1477 | 16629 | 0.8 | 6334k | 46 | 92 | 17 | 17 | 846 | 2 | 9 | 6 | 0.000000e+00 | -- | Inf | 55.71%
5.16/5.21 c 5.2s| 17600 | 1485 | 16702 | 0.8 | 6334k | 46 | 92 | 17 | 13 | 848 | 1 | 10 | 6 | 0.000000e+00 | -- | Inf | 55.71%
5.16/5.27 c 5.3s| 17700 | 1489 | 16818 | 0.8 | 6334k | 46 | 92 | 17 | 0 | 876 | 0 | 12 | 6 | 0.000000e+00 | -- | Inf | 56.10%
5.16/5.29 c 5.3s| 17800 | 1493 | 16890 | 0.8 | 6334k | 46 | 92 | 17 | 12 | 886 | 1 | 12 | 6 | 0.000000e+00 | -- | Inf | 56.88%
5.26/5.30 c 5.3s| 17900 | 1501 | 16945 | 0.8 | 6334k | 46 | 92 | 17 | 12 | 886 | 1 | 12 | 6 | 0.000000e+00 | -- | Inf | 56.88%
5.26/5.31 c 5.3s| 18000 | 1497 | 17008 | 0.8 | 6334k | 46 | 92 | 18 | 0 | 889 | 0 | 13 | 6 | 0.000000e+00 | -- | Inf | 56.88%
5.26/5.34 c 5.3s| 18100 | 1505 | 17093 | 0.8 | 6334k | 46 | 92 | 18 | 13 | 904 | 1 | 14 | 6 | 0.000000e+00 | -- | Inf | 56.88%
5.26/5.36 c 5.3s| 18200 | 1509 | 17153 | 0.8 | 6334k | 46 | 92 | 18 | 0 | 907 | 0 | 14 | 6 | 0.000000e+00 | -- | Inf | 56.88%
5.26/5.38 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
5.26/5.38 c 5.4s| 18300 | 1511 | 17221 | 0.8 | 6334k | 46 | 92 | 18 | 12 | 912 | 1 | 14 | 6 | 0.000000e+00 | -- | Inf | 56.88%
5.26/5.39 c 5.4s| 18400 | 1523 | 17278 | 0.8 | 6334k | 46 | 92 | 18 | 12 | 912 | 1 | 14 | 6 | 0.000000e+00 | -- | Inf | 56.88%
5.36/5.41 c 5.4s| 18500 | 1523 | 17331 | 0.8 | 6334k | 46 | 92 | 18 | 0 | 912 | 0 | 14 | 6 | 0.000000e+00 | -- | Inf | 56.88%
5.36/5.42 c 5.4s| 18600 | 1525 | 17387 | 0.8 | 6334k | 46 | 92 | 18 | 0 | 912 | 0 | 14 | 6 | 0.000000e+00 | -- | Inf | 56.92%
5.36/5.44 c * 5.4s| 18689 | 0 | 17442 | 0.8 | LP | 46 | 92 | 18 | 12 | 913 | 1 | 14 | 6 | 0.000000e+00 | 0.000000e+00 | 0.00%| 100.00%
5.36/5.44 c
5.36/5.44 c SCIP Status : problem is solved [optimal solution found]
5.36/5.44 c Solving Time (sec) : 5.43
5.36/5.44 c Solving Nodes : 18689 (total of 22190 nodes in 2 runs)
5.36/5.44 c Primal Bound : +0.00000000000000e+00 (1 solutions)
5.36/5.44 c Dual Bound : +0.00000000000000e+00
5.36/5.44 c Gap : 0.00 %
5.36/5.44 s SATISFIABLE
5.36/5.44 v -x93 -x92 -x91 -x90 -x89 -x88 -x87 -x86 -x85 -x84 -x83 -x82 -x81 -x80 -x79 x78 x77 -x76 -x75 -x74 -x73 -x72 -x71 -x70 -x69 -x68
5.36/5.44 v -x67 -x66 -x65 -x64 -x63 -x62 -x61 -x60 -x59 -x58 -x57 -x56 -x55 x54 -x53 -x52 -x51 -x50 -x49 -x48 -x47 -x46 -x45 -x44 -x43
5.36/5.44 v -x42 -x41 -x40 -x39 -x38 -x37 -x36 -x35 -x34 -x33 -x32 -x31 -x30 -x29 -x28 -x27 -x26 -x25 -x24 -x23 -x22 -x21 -x20 -x19 -x18
5.36/5.44 v -x17 -x16 -x15 -x14 -x13 x12 x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2 x1
5.36/5.44 c SCIP Status : problem is solved [optimal solution found]
5.36/5.44 c Total Time : 5.43
5.36/5.44 c solving : 5.43
5.36/5.44 c presolving : 0.01 (included in solving)
5.36/5.44 c reading : 0.00 (included in solving)
5.36/5.44 c copying : 0.29 (111 #copies) (minimal 0.00, maximal 0.01, average 0.00)
5.36/5.44 c Original Problem :
5.36/5.44 c Problem name : HOME/instance-4445205-1721327088.opb
5.36/5.44 c Variables : 93 (93 binary, 0 integer, 0 implicit integer, 0 continuous)
5.36/5.44 c Constraints : 2 initial, 2 maximal
5.36/5.44 c Objective : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
5.36/5.44 c Presolved Problem :
5.36/5.44 c Problem name : t_HOME/instance-4445205-1721327088.opb
5.36/5.44 c Variables : 92 (92 binary, 0 integer, 0 implicit integer, 0 continuous)
5.36/5.44 c Constraints : 16 initial, 18 maximal
5.36/5.44 c Objective : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
5.36/5.44 c Nonzeros : 383 constraint, 184 clique table
5.36/5.44 c Presolvers : ExecTime SetupTime Calls FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
5.36/5.44 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
5.36/5.44 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
5.36/5.44 c domcol : 0.00 0.00 4 1 0 0 0 0 0 0 0 0
5.36/5.44 c dualagg : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
5.36/5.44 c dualcomp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
5.36/5.44 c dualinfer : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
5.36/5.44 c dualsparsify : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
5.36/5.44 c gateextraction : 0.00 0.00 6 0 0 0 0 0 0 0 0 0
5.36/5.44 c implics : 0.00 0.00 11 0 0 0 0 0 0 0 0 0
5.36/5.44 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
5.36/5.44 c milp : 0.00 0.00 1 0 0 0 0 0 2 1 0 0
5.36/5.44 c qpkktref : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
5.36/5.44 c redvub : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
5.36/5.44 c sparsify : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
5.36/5.44 c stuffing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
5.36/5.44 c trivial : 0.00 0.00 20 0 0 0 0 0 0 0 0 0
5.36/5.44 c tworowbnd : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
5.36/5.44 c dualfix : 0.00 0.00 20 0 0 0 0 0 0 0 0 0
5.36/5.44 c genvbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
5.36/5.44 c probing : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
5.36/5.44 c pseudoobj : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
5.36/5.44 c symmetry : 0.00 0.00 1 0 0 0 0 0 0 9 0 0
5.36/5.44 c vbounds : 0.00 0.00 3 0 0 0 0 0 0 0 0 0
5.36/5.44 c setppc : 0.00 0.00 21 0 0 0 0 0 0 0 0 0
5.36/5.44 c linear : 0.00 0.00 30 0 0 0 0 0 0 4 138 199
5.36/5.44 c logicor : 0.00 0.00 27 0 0 0 0 0 1 0 0 41
5.36/5.44 c benders : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
5.36/5.44 c components : 0.00 0.00 2 0 0 0 0 0 0 0 0 0
5.36/5.44 c root node : - - - 0 - - 0 - - - - -
5.36/5.44 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoRelax #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Applied Conss Children
5.36/5.44 c benderslp : 0 0 0 0 12231 0 0 1420 0 0 0 0 0 0 0
5.36/5.44 c integral : 0 0 0 0 12231 0 0 1420 0 0 0 0 0 0 24460
5.36/5.44 c setppc : 9 9 33 25809 1 0 0 1413 2 1 1442 0 0 0 0
5.36/5.44 c linear : 2+ 5 33 28613 1 0 0 1394 9 10398 66912 0 0 0 0
5.36/5.44 c logicor : 5+ 6 33 6507 1 0 0 0 0 0 0 0 0 0 0
5.36/5.44 c benders : 0 0 0 0 1 0 0 2 0 0 0 0 0 0 0
5.36/5.44 c fixedvar : 0 0 0 0 1 0 0 2 0 0 0 0 0 0 0
5.36/5.44 c countsols : 0 0 0 0 1 0 0 2 0 0 0 0 0 0 0
5.36/5.44 c components : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
5.36/5.44 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS EnfoRelax Check ResProp SB-Prop
5.36/5.44 c benderslp : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
5.36/5.44 c integral : 0.03 0.00 0.00 0.00 0.03 0.00 0.00 0.00 0.00 0.00
5.36/5.44 c setppc : 0.01 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
5.36/5.44 c linear : 2.49 0.00 0.00 2.49 0.00 0.00 0.00 0.00 0.00 0.00
5.36/5.44 c logicor : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
5.36/5.44 c benders : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
5.36/5.44 c fixedvar : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
5.36/5.44 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
5.36/5.44 c components : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
5.36/5.44 c Propagators : #Propagate #ResProp Cutoffs DomReds
5.36/5.44 c dualfix : 2 0 0 0
5.36/5.44 c genvbounds : 0 0 0 0
5.36/5.44 c nlobbt : 0 0 0 0
5.36/5.44 c obbt : 0 0 0 0
5.36/5.44 c probing : 0 0 0 0
5.36/5.44 c pseudoobj : 0 0 0 0
5.36/5.44 c redcost : 0 0 0 0
5.36/5.44 c rootredcost : 0 0 0 0
5.36/5.44 c symmetry : 0 0 0 0
5.36/5.44 c vbounds : 9446 0 0 0
5.36/5.44 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp SB-Prop
5.36/5.44 c dualfix : 0.00 0.00 0.00 0.00 0.00 0.00
5.36/5.44 c genvbounds : 0.00 0.00 0.00 0.00 0.00 0.00
5.36/5.44 c nlobbt : 0.00 0.00 0.00 0.00 0.00 0.00
5.36/5.44 c obbt : 0.00 0.00 0.00 0.00 0.00 0.00
5.36/5.44 c probing : 0.00 0.00 0.00 0.00 0.00 0.00
5.36/5.44 c pseudoobj : 0.00 0.00 0.00 0.00 0.00 0.00
5.36/5.44 c redcost : 0.00 0.00 0.00 0.00 0.00 0.00
5.36/5.44 c rootredcost : 0.00 0.00 0.00 0.00 0.00 0.00
5.36/5.44 c symmetry : 0.00 0.00 0.00 0.00 0.00 0.00
5.36/5.44 c vbounds : 0.01 0.00 0.00 0.01 0.00 0.00
5.36/5.44 c Symmetry :
5.36/5.44 c orbitopal red. : 0 reductions applied, 0 cutoffs
5.36/5.44 c orbital reduction: 0 reductions applied, 0 cutoffs
5.36/5.44 c lexicographic red: 0 reductions applied, 0 cutoffs
5.36/5.44 c shadow tree time : 0.00 s
5.36/5.44 c Conflict Analysis : Time Calls Success DomReds Conflicts Literals Reconvs ReconvLits Dualrays Nonzeros LP Iters (pool size: [10000,10000])
5.36/5.44 c propagation : 0.00 1 0 - 0 0.0 0 0.0 - - -
5.36/5.44 c infeasible LP : 0.00 184 14 - 8 12.9 0 0.0 11 74.6 0
5.36/5.44 c bound exceed. LP : 0.00 0 0 - 0 0.0 0 0.0 0 0.0 0
5.36/5.44 c strong branching : 0.00 0 0 - 0 0.0 0 0.0 - - 0
5.36/5.44 c pseudo solution : 0.00 1 1 - 1 0.0 0 0.0 - - -
5.36/5.44 c applied globally : 0.00 - - 0 2 9.0 - - 1 - -
5.36/5.44 c applied locally : - - - 0 1 15.0 - - 10 - -
5.36/5.44 c Separators : ExecTime SetupTime Calls RootCalls Cutoffs DomReds FoundCuts ViaPoolAdd DirectAdd Applied ViaPoolApp DirectApp Conss
5.36/5.44 c cut pool : 0.02 - 2864 64 - - 2062 2850 - - - - - (maximal pool size: 192)
5.36/5.44 c aggregation : 0.14 0.00 959 33 0 0 2297 1339 1197 806 430 376 0
5.36/5.44 c > cmir : - - - - - - - 319 113 46 40 6 -
5.36/5.44 c > flowcover : - - - - - - - 997 112 422 380 42 -
5.36/5.44 c > knapsackcover : - - - - - - - 23 972 338 10 328 -
5.36/5.44 c cgmip : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
5.36/5.44 c clique : 0.00 0.00 33 33 0 0 7 10 0 4 4 0 0
5.36/5.44 c closecuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
5.36/5.44 c convexproj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
5.36/5.44 c disjunctive : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
5.36/5.44 c eccuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
5.36/5.44 c gauge : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
5.36/5.44 c gomory : 0.08 0.00 946 20 0 0 3201 1493 2252 414 79 335 0
5.36/5.44 c > gomorymi : - - - - - - - 781 1195 179 40 139 -
5.36/5.44 c > strongcg : - - - - - - - 712 1057 235 39 196 -
5.36/5.44 c impliedbounds : 0.00 0.00 959 33 0 0 0 0 0 0 0 0 0
5.36/5.44 c interminor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
5.36/5.44 c intobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
5.36/5.44 c lagromory : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
5.36/5.44 c mcf : 0.00 0.00 2 2 0 0 0 0 0 0 0 0 0
5.36/5.44 c minor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
5.36/5.44 c mixing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
5.36/5.44 c multilinear : 0.00 0.00 203 33 0 0 0 0 0 0 0 0 0
5.36/5.44 c oddcycle : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
5.36/5.44 c rapidlearning : 0.90 0.00 100 2 0 279 0 0 0 0 0 0 14
5.36/5.44 c rlt : 0.00 0.00 493 20 0 0 0 0 0 0 0 0 0
5.36/5.44 c zerohalf : 0.02 0.00 957 31 0 0 34 8 28 3 2 1 0
5.36/5.44 c Cutselectors : ExecTime SetupTime Calls RootCalls Selected Forced Filtered RootSelec RootForc RootFilt
5.36/5.44 c hybrid : 0.00 0.00 983 33 1227 0 5099 48 0 243
5.36/5.44 c ensemble : 0.00 0.00 0 0 0 0 0 0 0 0
5.36/5.44 c dynamic : 0.00 0.00 0 0 0 0 0 0 0 0
5.36/5.44 c Pricers : ExecTime SetupTime Calls Vars
5.36/5.44 c problem variables: 0.00 - 0 0
5.36/5.44 c Branching Rules : ExecTime SetupTime BranchLP BranchExt BranchPS Cutoffs DomReds Cuts Conss Children
5.36/5.44 c allfullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
5.36/5.44 c cloud : 0.00 0.00 0 0 0 0 0 0 0 0
5.36/5.44 c distribution : 0.00 0.00 0 0 0 0 0 0 0 0
5.36/5.44 c fullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
5.36/5.44 c gomory : 0.00 0.00 0 0 0 0 0 0 0 0
5.36/5.44 c inference : 0.00 0.00 0 0 0 0 0 0 0 0
5.36/5.44 c leastinf : 0.00 0.00 0 0 0 0 0 0 0 0
5.36/5.44 c lookahead : 0.00 0.00 0 0 0 0 0 0 0 0
5.36/5.44 c mostinf : 0.00 0.00 0 0 0 0 0 0 0 0
5.36/5.44 c multaggr : 0.00 0.00 0 0 0 0 0 0 0 0
5.36/5.44 c nodereopt : 0.00 0.00 0 0 0 0 0 0 0 0
5.36/5.44 c pscost : 0.00 0.00 0 0 0 0 0 0 0 0
5.36/5.44 c random : 0.00 0.00 0 0 0 0 0 0 0 0
5.36/5.44 c relpscost : 0.03 0.00 12230 0 0 0 0 0 0 24460
5.36/5.44 c vanillafullstrong: 0.00 0.00 0 0 0 0 0 0 0 0
5.36/5.44 c Primal Heuristics : ExecTime SetupTime Calls Found Best
5.36/5.44 c LP solutions : 0.00 - - 1 1
5.36/5.44 c relax solutions : 0.00 - - 0 0
5.36/5.44 c pseudo solutions : 0.00 - - 0 0
5.36/5.44 c strong branching : 0.00 - - 0 0
5.36/5.44 c actconsdiving : 0.00 0.00 0 0 0
5.36/5.44 c adaptivediving : 0.02 0.00 48 0 0
5.36/5.44 c alns : 0.14 0.00 6 0 0
5.36/5.44 c bound : 0.00 0.00 0 0 0
5.36/5.44 c clique : 0.00 0.00 1 0 0
5.36/5.44 c coefdiving : 0.00 0.00 0 0 0
5.36/5.44 c completesol : 0.00 0.00 0 0 0
5.36/5.44 c conflictdiving : 0.01 0.00 24 0 0
5.36/5.44 c crossover : 0.00 0.00 0 0 0
5.36/5.44 c dins : 0.00 0.00 0 0 0
5.36/5.44 c distributiondivin: 0.02 0.00 24 0 0
5.36/5.44 c dps : 0.00 0.00 0 0 0
5.36/5.44 c dualval : 0.00 0.00 0 0 0
5.36/5.44 c farkasdiving : 0.00 0.00 0 0 0
5.36/5.44 c feasjump : 0.03 0.00 2 0 0
5.36/5.44 c feaspump : 0.00 0.00 12 0 0
5.36/5.44 c fixandinfer : 0.00 0.00 0 0 0
5.36/5.44 c fracdiving : 0.01 0.00 24 0 0
5.36/5.44 c gins : 0.00 0.00 0 0 0
5.36/5.44 c guideddiving : 0.00 0.00 0 0 0
5.36/5.44 c indcoefdiving : 0.00 0.00 0 0 0
5.36/5.44 c indicator : 0.00 0.00 0 0 0
5.36/5.44 c indicatordiving : 0.00 0.00 0 0 0
5.36/5.44 c indoneopt : 0.00 0.00 0 0 0
5.36/5.44 c indrounding : 0.00 0.00 0 0 0
5.36/5.44 c indtwoopt : 0.00 0.00 0 0 0
5.36/5.44 c intdiving : 0.00 0.00 0 0 0
5.36/5.44 c intshifting : 0.00 0.00 0 0 0
5.36/5.44 c linesearchdiving : 0.01 0.00 24 0 0
5.36/5.44 c localbranching : 0.00 0.00 0 0 0
5.36/5.44 c locks : 0.00 0.00 1 0 0
5.36/5.44 c lpface : 0.00 0.00 0 0 0
5.36/5.44 c mpec : 0.00 0.00 0 0 0
5.36/5.44 c multistart : 0.00 0.00 0 0 0
5.36/5.44 c mutation : 0.00 0.00 0 0 0
5.36/5.44 c nlpdiving : 0.00 0.00 0 0 0
5.36/5.44 c objpscostdiving : 0.00 0.00 13 0 0
5.36/5.44 c octane : 0.00 0.00 0 0 0
5.36/5.44 c ofins : 0.00 0.00 0 0 0
5.36/5.44 c oneopt : 0.00 0.00 0 0 0
5.36/5.44 c padm : 0.00 0.00 0 0 0
5.36/5.44 c proximity : 0.00 0.00 0 0 0
5.36/5.44 c pscostdiving : 0.02 0.00 24 0 0
5.36/5.44 c randrounding : 0.01 0.00 1404 0 0
5.36/5.44 c rens : 0.01 0.00 2 0 0
5.36/5.44 c reoptsols : 0.00 0.00 0 0 0
5.36/5.44 c repair : 0.00 0.00 0 0 0
5.36/5.44 c rins : 0.00 0.00 0 0 0
5.36/5.44 c rootsoldiving : 0.03 0.00 13 0 0
5.36/5.44 c rounding : 0.01 0.00 1607 0 0
5.36/5.44 c scheduler : 0.00 0.00 0 0 0
5.36/5.44 c shiftandpropagate: 0.00 0.00 2 0 0
5.36/5.44 c shifting : 0.10 0.00 591 0 0
5.36/5.44 c simplerounding : 0.00 0.00 0 0 0
5.36/5.44 c smallcard : 0.00 0.00 0 0 0
5.36/5.44 c subnlp : 0.00 0.00 0 0 0
5.36/5.44 c trivial : 0.00 0.00 4 0 0
5.36/5.44 c trivialnegation : 0.00 0.00 0 0 0
5.36/5.44 c trustregion : 0.00 0.00 0 0 0
5.36/5.44 c trysol : 0.00 0.00 0 0 0
5.36/5.44 c twoopt : 0.00 0.00 0 0 0
5.36/5.44 c undercover : 0.00 0.00 0 0 0
5.36/5.44 c vbounds : 0.03 0.00 2 0 0
5.36/5.44 c veclendiving : 0.01 0.00 24 0 0
5.36/5.44 c zeroobj : 0.00 0.00 0 0 0
5.36/5.44 c zirounding : 0.00 0.00 1000 0 0
5.36/5.44 c other solutions : - - - 0 -
5.36/5.44 c LNS (Scheduler) : Calls SetupTime SolveTime SolveNodes Sols Best Exp3 Exp3-IX EpsGreedy UCB TgtFixRate Opt Inf Node Stal Sol Usr Othr Actv
5.36/5.44 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
5.36/5.44 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
5.36/5.44 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
5.36/5.44 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
5.36/5.44 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
5.36/5.44 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
5.36/5.44 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
5.36/5.44 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
5.36/5.44 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
5.36/5.44 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It ItLimit
5.36/5.44 c primal LP : 0.00 176 0 0.00 - 0.00 176
5.36/5.44 c dual LP : 0.30 13487 15573 1.16 51190.94 0.00 55
5.36/5.44 c lex dual LP : 0.00 0 0 0.00 -
5.36/5.44 c barrier LP : 0.00 0 0 0.00 - 0.00 0
5.36/5.44 c resolve instable : 0.00 0 0 0.00 -
5.36/5.44 c diving/probing LP: 0.07 1465 1869 1.28 26030.64
5.36/5.44 c strong branching : 0.00 6 59 9.83 - - - 0
5.36/5.44 c (at root node) : - 6 59 9.83 -
5.36/5.44 c conflict analysis: 0.00 0 0 0.00 -
5.36/5.44 c B&B Tree :
5.36/5.44 c number of runs : 2
5.36/5.44 c nodes : 18689 (10108 internal, 8581 leaves)
5.36/5.44 c feasible leaves : 1
5.36/5.44 c infeas. leaves : 8580
5.36/5.44 c objective leaves : 0
5.36/5.44 c nodes (total) : 22190 (12230 internal, 9960 leaves)
5.36/5.44 c nodes left : 0
5.36/5.44 c max depth : 46
5.36/5.44 c max depth (total): 71
5.36/5.44 c backtracks : 2703 (14.5%)
5.36/5.44 c early backtracks : 0 (0.0%)
5.36/5.44 c nodes exc. ref. : 0 (0.0%)
5.36/5.44 c delayed cutoffs : 0
5.36/5.44 c repropagations : 0 (0 domain reductions, 0 cutoffs)
5.36/5.44 c avg switch length: 4.01
5.36/5.44 c switching time : 0.13
5.36/5.44 c Root Node :
5.36/5.44 c First LP value : +0.00000000000000e+00
5.36/5.44 c First LP Iters : 2 (13888.89 Iter/sec)
5.36/5.44 c First LP Time : 0.00
5.36/5.44 c Final Dual Bound : +0.00000000000000e+00
5.36/5.44 c Final Root Iters : 75
5.36/5.44 c Root LP Estimate : +1.23241515990997e-05
5.36/5.44 c Solution :
5.36/5.44 c Solutions found : 1 (1 improvements)
5.36/5.44 c First Solution : +0.00000000000000e+00 (in run 2, after 18689 nodes, 5.43 seconds, depth 23, found by <relaxation>)
5.36/5.44 c Gap First Sol. : 0.00 %
5.36/5.44 c Gap Last Sol. : 0.00 %
5.36/5.44 c Primal Bound : +0.00000000000000e+00 (in run 2, after 18689 nodes, 5.43 seconds, depth 23, found by <relaxation>)
5.36/5.44 c Dual Bound : +0.00000000000000e+00
5.36/5.44 c Gap : 0.00 %
5.36/5.44 c Integrals : Total Avg%
5.36/5.44 c primal-dual : 543.26 100.00
5.36/5.44 c primal-ref : - - (not evaluated)
5.36/5.44 c dual-ref : - - (not evaluated)
5.36/5.44 c Time complete: 5.41045.