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 1430 variables (1430 bin, 0 int, 0 impl, 0 cont) and 2866 constraints presolving: (round 1, fast) 2 del vars, 51 del conss, 0 add conss, 2 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 6 clqs (round 2, fast) 2 del vars, 100 del conss, 0 add conss, 2 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 6 clqs (round 3, exhaustive) 2 del vars, 1481 del conss, 0 add conss, 2 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 6 clqs (round 4, exhaustive) 2 del vars, 1481 del conss, 0 add conss, 2 chg bounds, 1097 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 6 clqs (round 5, exhaustive) 2 del vars, 1481 del conss, 0 add conss, 2 chg bounds, 1097 chg sides, 0 chg coeffs, 1103 upgd conss, 0 impls, 6 clqs (round 6, exhaustive) 44 del vars, 1481 del conss, 0 add conss, 2 chg bounds, 1097 chg sides, 0 chg coeffs, 1103 upgd conss, 0 impls, 6 clqs (round 7, fast) 44 del vars, 1481 del conss, 0 add conss, 2 chg bounds, 1097 chg sides, 2058 chg coeffs, 1103 upgd conss, 0 impls, 349 clqs (1.2s) probing: 1000/1386 (72.2%) - 0 fixings, 0 aggregations, 193207 implications, 0 bound changes (1.2s) probing: 1001/1386 (72.2%) - 0 fixings, 0 aggregations, 193501 implications, 0 bound changes (1.2s) probing aborted: 1000/1000 successive useless probings (1.2s) symmetry computation started: requiring (bin +, int -, cont +), (fixed: bin -, int +, cont -) (1.2s) no symmetry present presolving (8 rounds: 8 fast, 5 medium, 5 exhaustive): 44 deleted vars, 1481 deleted constraints, 0 added constraints, 2 tightened bounds, 0 added holes, 1097 changed sides, 2058 changed coefficients 0 implications, 110043 cliques presolved problem has 1386 variables (1386 bin, 0 int, 0 impl, 0 cont) and 1385 constraints 6 constraints of type 282 constraints of type 1097 constraints of type Presolving Time: 1.21 time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl. p 1.3s| 1 | 0 | 0 | - | clique| 0 |1386 |1385 |1385 | 0 | 0 | 0 | 0 |-5.490232e+03 |-2.565580e+01 | Large | unknown 1.3s| 1 | 0 | 73 | - | 62M | 0 |1386 |1403 |1385 | 0 | 0 | 18 | 0 |-2.668368e+01 |-2.565580e+01 | 4.01%| unknown r 1.3s| 1 | 0 | 73 | - |shifting| 0 |1386 |1403 |1385 | 0 | 0 | 18 | 0 |-2.668368e+01 |-2.567730e+01 | 3.92%| unknown 1.5s| 1 | 0 | 116 | - | 62M | 0 |1386 |1403 |1387 | 2 | 1 | 18 | 0 |-2.664349e+01 |-2.567730e+01 | 3.76%| unknown 1.6s| 1 | 0 | 169 | - | 62M | 0 |1386 |1403 |1389 | 4 | 2 | 18 | 0 |-2.658006e+01 |-2.567730e+01 | 3.52%| unknown 1.6s| 1 | 0 | 242 | - | 63M | 0 |1386 |1403 |1392 | 7 | 3 | 18 | 0 |-2.649554e+01 |-2.567730e+01 | 3.19%| unknown 1.7s| 1 | 0 | 351 | - | 64M | 0 |1386 |1403 |1394 | 9 | 4 | 18 | 0 |-2.635059e+01 |-2.567730e+01 | 2.62%| unknown 1.9s| 1 | 0 | 467 | - | 65M | 0 |1386 |1403 |1397 | 12 | 5 | 18 | 0 |-2.629263e+01 |-2.567730e+01 | 2.40%| unknown 2.2s| 1 | 0 | 647 | - | 66M | 0 |1386 |1404 |1398 | 13 | 6 | 19 | 0 |-2.623383e+01 |-2.567730e+01 | 2.17%| unknown 2.4s| 1 | 0 | 771 | - | 68M | 0 |1386 |1406 |1401 | 16 | 7 | 21 | 0 |-2.622106e+01 |-2.567730e+01 | 2.12%| unknown 2.4s| 1 | 0 | 828 | - | 69M | 0 |1386 |1406 |1403 | 18 | 8 | 21 | 0 |-2.620709e+01 |-2.567730e+01 | 2.06%| unknown 2.4s| 1 | 0 | 877 | - | 69M | 0 |1386 |1407 |1405 | 20 | 9 | 22 | 0 |-2.620393e+01 |-2.567730e+01 | 2.05%| unknown r 2.4s| 1 | 0 | 877 | - |shifting| 0 |1386 |1408 |1405 | 20 | 9 | 23 | 0 |-2.620393e+01 |-2.569860e+01 | 1.97%| unknown 2.5s| 1 | 0 | 921 | - | 69M | 0 |1386 |1408 |1407 | 22 | 10 | 23 | 0 |-2.619866e+01 |-2.569860e+01 | 1.95%| unknown 2.5s| 1 | 0 | 936 | - | 69M | 0 |1386 |1408 |1410 | 25 | 11 | 23 | 0 |-2.619734e+01 |-2.569860e+01 | 1.94%| unknown time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl. 2.5s| 1 | 0 | 964 | - | 70M | 0 |1386 |1409 |1411 | 26 | 12 | 24 | 0 |-2.619498e+01 |-2.569860e+01 | 1.93%| unknown 2.6s| 1 | 0 | 976 | - | 70M | 0 |1386 |1410 |1412 | 27 | 13 | 25 | 0 |-2.619428e+01 |-2.569860e+01 | 1.93%| unknown 2.6s| 1 | 0 | 1014 | - | 70M | 0 |1386 |1410 |1414 | 29 | 14 | 25 | 0 |-2.619208e+01 |-2.569860e+01 | 1.92%| unknown 2.6s| 1 | 0 | 1028 | - | 70M | 0 |1386 |1411 |1416 | 31 | 15 | 26 | 0 |-2.619082e+01 |-2.569860e+01 | 1.92%| unknown 2.6s| 1 | 0 | 1047 | - | 70M | 0 |1386 |1411 |1417 | 32 | 16 | 26 | 0 |-2.618972e+01 |-2.569860e+01 | 1.91%| unknown 2.7s| 1 | 0 | 1059 | - | 70M | 0 |1386 |1411 |1418 | 33 | 17 | 26 | 0 |-2.618924e+01 |-2.569860e+01 | 1.91%| unknown 2.7s| 1 | 0 | 1070 | - | 71M | 0 |1386 |1412 |1419 | 34 | 18 | 27 | 0 |-2.618875e+01 |-2.569860e+01 | 1.91%| unknown 2.7s| 1 | 0 | 1076 | - | 71M | 0 |1386 |1412 |1420 | 35 | 19 | 27 | 0 |-2.618860e+01 |-2.569860e+01 | 1.91%| unknown 2.7s| 1 | 0 | 1089 | - | 71M | 0 |1386 |1412 |1421 | 36 | 20 | 27 | 0 |-2.618828e+01 |-2.569860e+01 | 1.91%| unknown 2.7s| 1 | 0 | 1091 | - | 71M | 0 |1386 |1412 |1419 | 37 | 21 | 27 | 0 |-2.618821e+01 |-2.569860e+01 | 1.91%| unknown d 2.8s| 1 | 0 | 1150 | - |farkasdi| 0 |1386 |1412 |1419 | 0 | 22 | 27 | 0 |-2.618821e+01 |-2.574160e+01 | 1.73%| unknown L 2.8s| 1 | 0 | 1657 | - | rens| 0 |1386 |1412 |1419 | 37 | 22 | 27 | 0 |-2.618821e+01 |-2.575170e+01 | 1.70%| unknown 2.9s| 1 | 0 | 1657 | - | 71M | 0 |1386 |1412 |1419 | 37 | 22 | 27 | 0 |-2.618821e+01 |-2.575170e+01 | 1.70%| unknown 2.9s| 1 | 0 | 1657 | - | 71M | 0 |1386 |1413 |1412 | 37 | 22 | 28 | 0 |-2.618821e+01 |-2.575170e+01 | 1.70%| unknown 2.9s| 1 | 0 | 1667 | - | 71M | 0 |1386 |1411 |1413 | 38 | 23 | 28 | 0 |-2.618792e+01 |-2.575170e+01 | 1.69%| unknown time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl. 2.9s| 1 | 0 | 1675 | - | 71M | 0 |1386 |1412 |1414 | 39 | 24 | 29 | 0 |-2.618754e+01 |-2.575170e+01 | 1.69%| unknown 3.1s| 1 | 2 | 1675 | - | 71M | 0 |1386 |1412 |1414 | 39 | 24 | 29 | 21 |-2.618255e+01 |-2.575170e+01 | 1.67%| unknown *11.8s| 63 | 6 | 8435 | 118.3 |strongbr| 11 |1386 |1445 |1403 | 83 | 2 | 255 |1363 |-2.616797e+01 |-2.575460e+01 | 1.61%| 15.86% *11.9s| 64 | 5 | 8459 | 116.8 |strongbr| 11 |1386 |1447 |1403 | 83 | 1 | 259 |1372 |-2.616797e+01 |-2.575640e+01 | 1.60%| 16.43% *12.0s| 65 | 6 | 8534 | 116.1 | LP | 11 |1386 |1447 |1403 | 83 | 1 | 259 |1385 |-2.616797e+01 |-2.576630e+01 | 1.56%| 16.43% *12.6s| 68 | 5 | 9007 | 118.0 |strongbr| 11 |1386 |1454 |1403 | 83 | 17 | 266 |1504 |-2.616797e+01 |-2.578960e+01 | 1.47%| 19.44% 13.6s| 100 | 7 | 10376 | 93.7 | 82M | 14 |1386 |1457 |1409 | 94 | 2 | 283 |1638 |-2.615342e+01 |-2.578960e+01 | 1.41%| 26.47% 17.7s| 200 | 5 | 15504 | 72.4 | 84M | 18 |1386 |1505 |1407 | 133 | 4 | 442 |2174 |-2.612401e+01 |-2.578960e+01 | 1.30%| 30.98% 21.8s| 300 | 7 | 21778 | 69.1 | 86M | 33 |1386 |1576 | 0 | 139 | 0 | 614 |2953 |-2.611291e+01 |-2.578960e+01 | 1.25%| 32.49% 23.7s| 400 | 7 | 25931 | 62.2 | 87M | 38 |1386 |1572 | 0 | 149 | 0 | 668 |3257 |-2.607746e+01 |-2.578960e+01 | 1.12%| 34.44% 25.4s| 500 | 7 | 29411 | 56.7 | 88M | 40 |1386 |1573 |1414 | 151 | 2 | 750 |3529 |-2.606909e+01 |-2.578960e+01 | 1.08%| 36.54% 26.9s| 600 | 7 | 32915 | 53.1 | 89M | 54 |1386 |1595 |1409 | 155 | 0 | 836 |3745 |-2.605477e+01 |-2.578960e+01 | 1.03%| 38.34% 28.7s| 700 | 7 | 37524 | 52.1 | 90M | 76 |1386 |1630 |1408 | 162 | 0 | 899 |3968 |-2.602720e+01 |-2.578960e+01 | 0.92%| 40.79% 29.7s| 800 | 7 | 41619 | 50.7 | 91M | 76 |1386 |1639 | 0 | 163 | 0 |1001 |4122 |-2.601536e+01 |-2.578960e+01 | 0.88%| 42.86% 32.4s| 900 | 7 | 44015 | 47.7 | 97M | 77 |1386 |1584 | 0 | 181 | 0 |1022 |4218 |-2.599455e+01 |-2.578960e+01 | 0.79%| 73.50% time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl. 34.1s| 1000 | 7 | 47507 | 46.5 | 99M | 89 |1386 |1592 |1415 | 196 | 1 |1066 |4372 |-2.595795e+01 |-2.578960e+01 | 0.65%| 77.09% 35.1s| 1100 | 13 | 51429 | 45.8 | 100M | 112 |1386 |1603 |1414 | 199 | 2 |1084 |4471 |-2.595417e+01 |-2.578960e+01 | 0.64%| 82.02% 36.2s| 1200 | 13 | 54368 | 44.4 | 100M | 127 |1386 |1604 |1416 | 203 | 0 |1102 |4612 |-2.595417e+01 |-2.578960e+01 | 0.64%| 84.12% 37.0s| 1300 | 13 | 56894 | 42.9 | 100M | 127 |1386 |1611 |1418 | 207 | 1 |1129 |4693 |-2.595417e+01 |-2.578960e+01 | 0.64%| 85.39% 38.3s| 1400 | 13 | 58870 | 41.3 | 100M | 139 |1386 |1607 | 0 | 211 | 0 |1153 |4881 |-2.595356e+01 |-2.578960e+01 | 0.64%| 88.32% 39.5s| 1500 | 11 | 60309 | 39.5 | 101M | 142 |1386 |1609 |1414 | 216 | 1 |1227 |5049 |-2.595356e+01 |-2.578960e+01 | 0.64%| 90.17% SCIP Status : problem is solved [optimal solution found] Solving Time (sec) : 39.83 Solving Nodes : 1547 Primal Bound : -2.57896000000000e+01 (179 solutions) Dual Bound : -2.57896000000000e+01 Gap : 0.00 % objective value: -25.7896 x_1_1 1 (obj:-1.9011) x_2_7 1 (obj:-2.9329) x_3_49 1 (obj:-4.0822) x_4_49 1 (obj:-4.0822) x_5_49 1 (obj:-4.0822) x_6_49 1 (obj:-4.0822) x_7_14 1 (obj:-2.7257) x_8_1 1 (obj:-1.9011)