feasible solution found by trivial heuristic after 0.1 seconds, objective value 0.000000e+00
presolving:
(round 1, fast) 996 del vars, 996 del conss, 0 add conss, 9843 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
(0.2s) dualsparsify: 996 nonzeros canceled
(round 2, exhaustive) 996 del vars, 996 del conss, 0 add conss, 9844 chg bounds, 0 chg sides, 2988 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
(round 3, fast) 1992 del vars, 1992 del conss, 0 add conss, 11836 chg bounds, 0 chg sides, 2988 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
(round 4, fast) 2988 del vars, 2988 del conss, 0 add conss, 11836 chg bounds, 0 chg sides, 2988 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
(0.3s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
(0.4s) symmetry computation finished: 21 generators found (max: 1500, log10 of symmetry group size: 0.0) (symcode time: 0.01)
dynamic symmetry handling statistics:
orbitopal reduction: 2 components: 75x3, 81x4
orbital reduction: no components
lexicographic reduction: 16 permutations with support sizes 174, 186, 162, 174, 186, 186, 150, 162, 162, 186, 150, 150, 174, 186, 162, 150
handled 18 out of 18 symmetry components
presolving (5 rounds: 5 fast, 2 medium, 2 exhaustive):
2988 deleted vars, 2988 deleted constraints, 0 added constraints, 11836 tightened bounds, 0 added holes, 0 changed sides, 2988 changed coefficients
0 implications, 0 cliques
presolved problem has 6856 variables (0 bin, 0 int, 0 impl, 6856 cont) and 10790 constraints
10790 constraints of type <linear>
Presolving Time: 0.34
transformed 1/1 original solutions to the transformed problem space
time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
* 4.2s| 1 | 0 | 12213 | - | LP | 0 |6856 | 10k| 10k| 0 | 0 | 0 | 0 | 3.620433e+07 | 3.620433e+07 | 0.00%| unknown
4.2s| 1 | 0 | 12213 | - | 112M | 0 |6856 | 10k| 10k| 0 | 0 | 0 | 0 | 3.620433e+07 | 3.620433e+07 | 0.00%| unknown
SCIP Status : problem is solved [optimal solution found]
Solving Time (sec) : 4.16
Solving Nodes : 1
Primal Bound : +3.62043337104110e+07 (2 solutions)
Dual Bound : +3.62043337104110e+07
Gap : 0.00 %