SCIP version 8.0.3 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 6.0.3] [GitHash: 62fab8a2e3] Copyright (C) 2002-2022 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB) External libraries: Soplex 6.0.3 Linear Programming Solver developed at Zuse Institute Berlin (soplex.zib.de) [GitHash: f900e3d0] CppAD 20180000.0 Algorithmic Differentiation of C++ algorithms developed by B. Bell (github.com/coin-or/CppAD) ZLIB 1.2.11 General purpose compression library by J. Gailly and M. Adler (zlib.net) GMP 6.2.1 GNU Multiple Precision Arithmetic Library developed by T. Granlund (gmplib.org) ZIMPL 3.5.3 Zuse Institute Mathematical Programming Language developed by T. Koch (zimpl.zib.de) AMPL/MP 4e2d45c4 AMPL .nl file reader library (github.com/ampl/mp) bliss 0.77 Computing Graph Automorphism Groups by T. Junttila and P. Kaski (www.tcs.hut.fi/Software/bliss/) user parameter file not found - using default parameters read problem ============ original problem has 158 variables (158 bin, 0 int, 0 impl, 0 cont) and 322 constraints presolving: (round 1, fast) 4 del vars, 13 del conss, 0 add conss, 4 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 4 clqs (round 2, fast) 4 del vars, 22 del conss, 0 add conss, 4 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 4 clqs (round 3, exhaustive) 4 del vars, 171 del conss, 0 add conss, 4 chg bounds, 147 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 4 clqs (round 4, exhaustive) 4 del vars, 171 del conss, 0 add conss, 4 chg bounds, 147 chg sides, 0 chg coeffs, 151 upgd conss, 0 impls, 4 clqs (round 5, exhaustive) 11 del vars, 171 del conss, 0 add conss, 4 chg bounds, 147 chg sides, 0 chg coeffs, 151 upgd conss, 0 impls, 3 clqs (round 6, fast) 12 del vars, 221 del conss, 0 add conss, 4 chg bounds, 147 chg sides, 0 chg coeffs, 151 upgd conss, 0 impls, 3 clqs (round 7, exhaustive) 54 del vars, 221 del conss, 0 add conss, 4 chg bounds, 147 chg sides, 0 chg coeffs, 151 upgd conss, 0 impls, 3 clqs (round 8, fast) 54 del vars, 221 del conss, 0 add conss, 4 chg bounds, 147 chg sides, 294 chg coeffs, 151 upgd conss, 0 impls, 52 clqs (0.0s) probing cycle finished: starting next cycle (0.0s) symmetry computation started: requiring (bin +, int -, cont +), (fixed: bin -, int +, cont -) (0.0s) no symmetry present presolving (9 rounds: 9 fast, 5 medium, 5 exhaustive): 54 deleted vars, 221 deleted constraints, 0 added constraints, 4 tightened bounds, 0 added holes, 147 changed sides, 294 changed coefficients 0 implications, 2404 cliques presolved problem has 105 variables (105 bin, 0 int, 0 impl, 0 cont) and 101 constraints 3 constraints of type 98 constraints of type Presolving Time: 0.01 time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl. p 0.0s| 1 | 0 | 0 | - | clique| 0 | 105 | 101 | 101 | 0 | 0 | 0 | 0 |-9.881556e+02 |-5.112390e+01 |1832.86%| unknown 0.0s| 1 | 0 | 32 | - | 3428k | 0 | 105 | 104 | 101 | 0 | 0 | 3 | 0 |-5.165185e+01 |-5.112390e+01 | 1.03%| unknown 0.0s| 1 | 0 | 32 | - | 3434k | 0 | 105 | 105 | 78 | 0 | 0 | 4 | 0 |-5.165185e+01 |-5.112390e+01 | 1.03%| unknown 0.0s| 1 | 0 | 53 | - | 3447k | 0 | 105 | 89 | 80 | 2 | 1 | 4 | 0 |-5.150613e+01 |-5.112390e+01 | 0.75%| unknown 0.0s| 1 | 0 | 57 | - | 3451k | 0 | 105 | 90 | 69 | 2 | 1 | 5 | 0 |-5.148583e+01 |-5.112390e+01 | 0.71%| unknown 0.0s| 1 | 0 | 74 | - | 3458k | 0 | 105 | 80 | 71 | 4 | 2 | 5 | 0 |-5.138740e+01 |-5.112390e+01 | 0.52%| unknown 0.0s| 1 | 0 | 74 | - | 3459k | 0 | 105 | 80 | 63 | 4 | 2 | 5 | 0 |-5.138740e+01 |-5.112390e+01 | 0.52%| unknown 0.0s| 1 | 0 | 75 | - | 3469k | 0 | 105 | 78 | 64 | 5 | 3 | 5 | 0 |-5.138432e+01 |-5.112390e+01 | 0.51%| unknown 0.0s| 1 | 0 | 94 | - | 3484k | 0 | 105 | 78 | 66 | 7 | 4 | 5 | 0 |-5.125109e+01 |-5.112390e+01 | 0.25%| unknown 0.0s| 1 | 0 | 96 | - | 3484k | 0 | 105 | 78 | 53 | 7 | 4 | 5 | 0 |-5.125070e+01 |-5.112390e+01 | 0.25%| unknown 0.0s| 1 | 0 | 96 | - | 3484k | 0 | 105 | 78 | 50 | 7 | 4 | 5 | 0 |-5.125070e+01 |-5.112390e+01 | 0.25%| unknown 0.0s| 1 | 0 | 96 | - | 3484k | 0 | 105 | 71 | 49 | 7 | 5 | 5 | 0 |-5.125070e+01 |-5.112390e+01 | 0.25%| unknown d 0.0s| 1 | 0 | 96 | - |farkasdi| 0 | 105 | 71 | 49 | 0 | 7 | 5 | 0 |-5.125070e+01 |-5.125070e+01 | 0.00%| unknown 0.0s| 1 | 0 | 96 | - | 3484k | 0 | 105 | 71 | 49 | 7 | 7 | 5 | 0 |-5.125070e+01 |-5.125070e+01 | 0.00%| unknown SCIP Status : problem is solved [optimal solution found] Solving Time (sec) : 0.02 Solving Nodes : 1 Primal Bound : -5.12507000000000e+01 (5 solutions) Dual Bound : -5.12507000000000e+01 Gap : 0.00 % objective value: -51.2507 x_1_1 1 (obj:-4.2257) x_2_1 1 (obj:-4.2257) x_3_7 1 (obj:-11.0749) x_4_49 1 (obj:-7.9085) x_5_14 1 (obj:-7.2819) x_6_1 1 (obj:-8.0826) x_7_1 1 (obj:-4.2257) x_8_1 1 (obj:-4.2257)