\ Equation counts \ Total E G L N X C B \ 139 5 0 134 0 0 0 0 \ \ Variable counts \ x b i s1s s2s sc si \ Total cont binary integer sos1 sos2 scont sint \ 105 30 75 0 0 0 0 0 \ \ Nonzero counts \ Total const NL DLL \ 523 373 150 0 \ Minimize obj: 0 b1 + 0 b2 + 0 b3 + 0 b4 + 0 b5 + 0 b6 + 0 b7 + 0 b8 + 0 b9 + 0 b10 + 0 b11 + 0 b12 + 0 b13 + 0 b14 + 0 b15 + 0 b16 + 0 b17 + 0 b18 + 0 b19 + 0 b20 + 0 b21 + 0 b22 + 0 b23 + 0 b24 + 0 b25 + 0 b26 + 0 b27 + 0 b28 + 0 b29 + 0 b30 + 0 b31 + 0 b32 + 0 b33 + 0 b34 + 0 b35 + 0 b36 + 0 b37 + 0 b38 + 0 b39 + 0 b40 + 0 b41 + 0 b42 + 0 b43 + 0 b44 + 0 b45 + 0 b46 + 0 b47 + 0 b48 + 0 b49 + 0 b50 + 0 b51 + 0 b52 + 0 b53 + 0 b54 + 0 b55 + 0 b56 + 0 b57 + 0 b58 + 0 b59 + 0 b60 + 0 b61 + 0 b62 + 0 b63 + 0 b64 + 0 b65 + 0 b66 + 0 b67 + 0 b68 + 0 b69 + 0 b70 + 0 b71 + 0 b72 + 0 b73 + 0 b74 + 0 b75 + 0 x76 + 0 x77 + x78 + 0 x79 + 0 x80 + x81 + 0 x82 + x83 + 0 x84 + x85 + 0 x86 + x87 + 0 x88 + x89 + 0 x90 + x91 + 0 x92 + x93 + x94 + x95 + x96 + x97 + x98 + x99 + x100 + x101 + x102 + x103 + x104 + x105 Subject To e1: x76 - x77 - x78 <= 0 e2: - x76 + x77 - x78 <= 0 e3: x79 - x80 - x81 <= 0 e4: - x79 + x80 - x81 <= 0 e5: x76 - x82 - x83 <= 0 e6: - x76 + x82 - x83 <= 0 e7: x79 - x84 - x85 <= 0 e8: - x79 + x84 - x85 <= 0 e9: x76 - x86 - x87 <= 0 e10: - x76 + x86 - x87 <= 0 e11: x79 - x88 - x89 <= 0 e12: - x79 + x88 - x89 <= 0 e13: x76 - x90 - x91 <= 0 e14: - x76 + x90 - x91 <= 0 e15: x79 - x92 - x93 <= 0 e16: - x79 + x92 - x93 <= 0 e17: x77 - x82 - x94 <= 0 e18: - x77 + x82 - x94 <= 0 e19: x80 - x84 - x95 <= 0 e20: - x80 + x84 - x95 <= 0 e21: x77 - x86 - x96 <= 0 e22: - x77 + x86 - x96 <= 0 e23: x80 - x88 - x97 <= 0 e24: - x80 + x88 - x97 <= 0 e25: x77 - x90 - x98 <= 0 e26: - x77 + x90 - x98 <= 0 e27: x80 - x92 - x99 <= 0 e28: - x80 + x92 - x99 <= 0 e29: x82 - x86 - x100 <= 0 e30: - x82 + x86 - x100 <= 0 e31: x84 - x88 - x101 <= 0 e32: - x84 + x88 - x101 <= 0 e33: x82 - x90 - x102 <= 0 e34: - x82 + x90 - x102 <= 0 e35: x84 - x92 - x103 <= 0 e36: - x84 + x92 - x103 <= 0 e37: x86 - x90 - x104 <= 0 e38: - x86 + x90 - x104 <= 0 e39: x88 - x92 - x105 <= 0 e40: - x88 + x92 - x105 <= 0 e41: 122.913026025479 b1 - 17.36680684854714 x76 - 17.15949192176736 x79 + x76^2 + x79^2 <= -25.100509756506753 e42: 144.203684439948 b2 - 19.27228667824352 x76 - 17.6035267583619 x79 + x76^2 + x79^2 <= -25.122612595243538 e43: 113.075460968432 b3 - 7.36284410836396 x76 - 2.3384643628124 x79 + x76^2 + x79^2 <= 99.15548873337863 e44: 132.715787162747 b4 - 19.4243513467654 x76 - 15.37545608843548 x79 + x76^2 + x79^2 <= -19.711731629751597 e45: 71.5990957077621 b5 - 6.5544456983562 x76 - 16.40210809098542 x79 + x76^2 + x79^2 <= -5.398381352505254 e46: 101.022453999802 b6 - 17.90338741251786 x76 - 11.4366754248037 x79 + x76^2 + x79^2 <= -10.809752403950966 e47: 76.9700130269697 b7 - 12.79427403345352 x76 - 4.38749555982786 x79 + x76^2 + x79^2 <= 32.23412169431664 e48: 86.0532928024441 b8 - 17.26648545974702 x76 - 5.84348580340558 x79 + x76^2 + x79^2 <= 3.9838311858796374 e49: 101.707832966379 b9 - 7.26489255762726 x76 - 3.83479697506664 x79 + x76^2 + x79^2 <= 85.83675003791694 e50: 144.203684439948 b10 - .606168979577722 x76 - 5.7717730994547 x79 + x76^2 + x79^2 <= 136.7834830541002 e51: 107.566095593812 b11 - 18.65115248434942 x76 - 11.18351112044164 x79 + x76^2 + x79^2 <= -9.668006900061854 e52: 90.6220952924323 b12 - 17.04236217098128 x76 - 10.6466463799663 x79 + x76^2 + x79^2 <= -9.326201584303533 e53: 97.233140568496 b13 - 8.03722661991152 x76 - 19.30761780505474 x79 + x76^2 + x79^2 <= -11.112138692974298 e54: 135.249644224288 b14 - 4.98040657845226 x76 - 1.749192278824426 x79 + x76^2 + x79^2 <= 129.2836133955406 e55: 128.252112242799 b15 - 1.091342985650488 x76 - 7.62803397639266 x79 + x76^2 + x79^2 <= 114.40762927846666 e56: b1 + b2 + b3 + b4 + b5 + b6 + b7 + b8 + b9 + b10 + b11 + b12 + b13 + b14 + b15 = 1 e57: 122.913026025479 b16 - 17.36680684854714 x77 - 17.15949192176736 x80 + x77^2 + x80^2 <= -25.100509756506753 e58: 144.203684439948 b17 - 19.27228667824352 x77 - 17.6035267583619 x80 + x77^2 + x80^2 <= -25.122612595243538 e59: 113.075460968432 b18 - 7.36284410836396 x77 - 2.3384643628124 x80 + x77^2 + x80^2 <= 99.15548873337863 e60: 132.715787162747 b19 - 19.4243513467654 x77 - 15.37545608843548 x80 + x77^2 + x80^2 <= -19.711731629751597 e61: 71.5990957077621 b20 - 6.5544456983562 x77 - 16.40210809098542 x80 + x77^2 + x80^2 <= -5.398381352505254 e62: 101.022453999802 b21 - 17.90338741251786 x77 - 11.4366754248037 x80 + x77^2 + x80^2 <= -10.809752403950966 e63: 76.9700130269697 b22 - 12.79427403345352 x77 - 4.38749555982786 x80 + x77^2 + x80^2 <= 32.23412169431664 e64: 86.0532928024441 b23 - 17.26648545974702 x77 - 5.84348580340558 x80 + x77^2 + x80^2 <= 3.9838311858796374 e65: 101.707832966379 b24 - 7.26489255762726 x77 - 3.83479697506664 x80 + x77^2 + x80^2 <= 85.83675003791694 e66: 144.203684439948 b25 - .606168979577722 x77 - 5.7717730994547 x80 + x77^2 + x80^2 <= 136.7834830541002 e67: 107.566095593812 b26 - 18.65115248434942 x77 - 11.18351112044164 x80 + x77^2 + x80^2 <= -9.668006900061854 e68: 90.6220952924323 b27 - 17.04236217098128 x77 - 10.6466463799663 x80 + x77^2 + x80^2 <= -9.326201584303533 e69: 97.233140568496 b28 - 8.03722661991152 x77 - 19.30761780505474 x80 + x77^2 + x80^2 <= -11.112138692974298 e70: 135.249644224288 b29 - 4.98040657845226 x77 - 1.749192278824426 x80 + x77^2 + x80^2 <= 129.2836133955406 e71: 128.252112242799 b30 - 1.091342985650488 x77 - 7.62803397639266 x80 + x77^2 + x80^2 <= 114.40762927846666 e72: b16 + b17 + b18 + b19 + b20 + b21 + b22 + b23 + b24 + b25 + b26 + b27 + b28 + b29 + b30 = 1 e73: 122.913026025479 b31 - 17.36680684854714 x82 - 17.15949192176736 x84 + x82^2 + x84^2 <= -25.100509756506753 e74: 144.203684439948 b32 - 19.27228667824352 x82 - 17.6035267583619 x84 + x82^2 + x84^2 <= -25.122612595243538 e75: 113.075460968432 b33 - 7.36284410836396 x82 - 2.3384643628124 x84 + x82^2 + x84^2 <= 99.15548873337863 e76: 132.715787162747 b34 - 19.4243513467654 x82 - 15.37545608843548 x84 + x82^2 + x84^2 <= -19.711731629751597 e77: 71.5990957077621 b35 - 6.5544456983562 x82 - 16.40210809098542 x84 + x82^2 + x84^2 <= -5.398381352505254 e78: 101.022453999802 b36 - 17.90338741251786 x82 - 11.4366754248037 x84 + x82^2 + x84^2 <= -10.809752403950966 e79: 76.9700130269697 b37 - 12.79427403345352 x82 - 4.38749555982786 x84 + x82^2 + x84^2 <= 32.23412169431664 e80: 86.0532928024441 b38 - 17.26648545974702 x82 - 5.84348580340558 x84 + x82^2 + x84^2 <= 3.9838311858796374 e81: 101.707832966379 b39 - 7.26489255762726 x82 - 3.83479697506664 x84 + x82^2 + x84^2 <= 85.83675003791694 e82: 144.203684439948 b40 - .606168979577722 x82 - 5.7717730994547 x84 + x82^2 + x84^2 <= 136.7834830541002 e83: 107.566095593812 b41 - 18.65115248434942 x82 - 11.18351112044164 x84 + x82^2 + x84^2 <= -9.668006900061854 e84: 90.6220952924323 b42 - 17.04236217098128 x82 - 10.6466463799663 x84 + x82^2 + x84^2 <= -9.326201584303533 e85: 97.233140568496 b43 - 8.03722661991152 x82 - 19.30761780505474 x84 + x82^2 + x84^2 <= -11.112138692974298 e86: 135.249644224288 b44 - 4.98040657845226 x82 - 1.749192278824426 x84 + x82^2 + x84^2 <= 129.2836133955406 e87: 128.252112242799 b45 - 1.091342985650488 x82 - 7.62803397639266 x84 + x82^2 + x84^2 <= 114.40762927846666 e88: b31 + b32 + b33 + b34 + b35 + b36 + b37 + b38 + b39 + b40 + b41 + b42 + b43 + b44 + b45 = 1 e89: 122.913026025479 b46 - 17.36680684854714 x86 - 17.15949192176736 x88 + x86^2 + x88^2 <= -25.100509756506753 e90: 144.203684439948 b47 - 19.27228667824352 x86 - 17.6035267583619 x88 + x86^2 + x88^2 <= -25.122612595243538 e91: 113.075460968432 b48 - 7.36284410836396 x86 - 2.3384643628124 x88 + x86^2 + x88^2 <= 99.15548873337863 e92: 132.715787162747 b49 - 19.4243513467654 x86 - 15.37545608843548 x88 + x86^2 + x88^2 <= -19.711731629751597 e93: 71.5990957077621 b50 - 6.5544456983562 x86 - 16.40210809098542 x88 + x86^2 + x88^2 <= -5.398381352505254 e94: 101.022453999802 b51 - 17.90338741251786 x86 - 11.4366754248037 x88 + x86^2 + x88^2 <= -10.809752403950966 e95: 76.9700130269697 b52 - 12.79427403345352 x86 - 4.38749555982786 x88 + x86^2 + x88^2 <= 32.23412169431664 e96: 86.0532928024441 b53 - 17.26648545974702 x86 - 5.84348580340558 x88 + x86^2 + x88^2 <= 3.9838311858796374 e97: 101.707832966379 b54 - 7.26489255762726 x86 - 3.83479697506664 x88 + x86^2 + x88^2 <= 85.83675003791694 e98: 144.203684439948 b55 - .606168979577722 x86 - 5.7717730994547 x88 + x86^2 + x88^2 <= 136.7834830541002 e99: 107.566095593812 b56 - 18.65115248434942 x86 - 11.18351112044164 x88 + x86^2 + x88^2 <= -9.668006900061854 e100: 90.6220952924323 b57 - 17.04236217098128 x86 - 10.6466463799663 x88 + x86^2 + x88^2 <= -9.326201584303533 e101: 97.233140568496 b58 - 8.03722661991152 x86 - 19.30761780505474 x88 + x86^2 + x88^2 <= -11.112138692974298 e102: 135.249644224288 b59 - 4.98040657845226 x86 - 1.749192278824426 x88 + x86^2 + x88^2 <= 129.2836133955406 e103: 128.252112242799 b60 - 1.091342985650488 x86 - 7.62803397639266 x88 + x86^2 + x88^2 <= 114.40762927846666 e104: b46 + b47 + b48 + b49 + b50 + b51 + b52 + b53 + b54 + b55 + b56 + b57 + b58 + b59 + b60 = 1 e105: 122.913026025479 b61 - 17.36680684854714 x90 - 17.15949192176736 x92 + x90^2 + x92^2 <= -25.100509756506753 e106: 144.203684439948 b62 - 19.27228667824352 x90 - 17.6035267583619 x92 + x90^2 + x92^2 <= -25.122612595243538 e107: 113.075460968432 b63 - 7.36284410836396 x90 - 2.3384643628124 x92 + x90^2 + x92^2 <= 99.15548873337863 e108: 132.715787162747 b64 - 19.4243513467654 x90 - 15.37545608843548 x92 + x90^2 + x92^2 <= -19.711731629751597 e109: 71.5990957077621 b65 - 6.5544456983562 x90 - 16.40210809098542 x92 + x90^2 + x92^2 <= -5.398381352505254 e110: 101.022453999802 b66 - 17.90338741251786 x90 - 11.4366754248037 x92 + x90^2 + x92^2 <= -10.809752403950966 e111: 76.9700130269697 b67 - 12.79427403345352 x90 - 4.38749555982786 x92 + x90^2 + x92^2 <= 32.23412169431664 e112: 86.0532928024441 b68 - 17.26648545974702 x90 - 5.84348580340558 x92 + x90^2 + x92^2 <= 3.9838311858796374 e113: 101.707832966379 b69 - 7.26489255762726 x90 - 3.83479697506664 x92 + x90^2 + x92^2 <= 85.83675003791694 e114: 144.203684439948 b70 - .606168979577722 x90 - 5.7717730994547 x92 + x90^2 + x92^2 <= 136.7834830541002 e115: 107.566095593812 b71 - 18.65115248434942 x90 - 11.18351112044164 x92 + x90^2 + x92^2 <= -9.668006900061854 e116: 90.6220952924323 b72 - 17.04236217098128 x90 - 10.6466463799663 x92 + x90^2 + x92^2 <= -9.326201584303533 e117: 97.233140568496 b73 - 8.03722661991152 x90 - 19.30761780505474 x92 + x90^2 + x92^2 <= -11.112138692974298 e118: 135.249644224288 b74 - 4.98040657845226 x90 - 1.749192278824426 x92 + x90^2 + x92^2 <= 129.2836133955406 e119: 128.252112242799 b75 - 1.091342985650488 x90 - 7.62803397639266 x92 + x90^2 + x92^2 <= 114.40762927846666 e120: b61 + b62 + b63 + b64 + b65 + b66 + b67 + b68 + b69 + b70 + b71 + b72 + b73 + b74 + b75 = 1 e121: b1 + b16 + b31 + b46 + b61 <= 1 e122: b2 + b17 + b32 + b47 + b62 <= 1 e123: b3 + b18 + b33 + b48 + b63 <= 1 e124: b4 + b19 + b34 + b49 + b64 <= 1 e125: b5 + b20 + b35 + b50 + b65 <= 1 e126: b6 + b21 + b36 + b51 + b66 <= 1 e127: b7 + b22 + b37 + b52 + b67 <= 1 e128: b8 + b23 + b38 + b53 + b68 <= 1 e129: b9 + b24 + b39 + b54 + b69 <= 1 e130: b10 + b25 + b40 + b55 + b70 <= 1 e131: b11 + b26 + b41 + b56 + b71 <= 1 e132: b12 + b27 + b42 + b57 + b72 <= 1 e133: b13 + b28 + b43 + b58 + b73 <= 1 e134: b14 + b29 + b44 + b59 + b74 <= 1 e135: b15 + b30 + b45 + b60 + b75 <= 1 e136: x76 - x77 <= 0 e137: x77 - x82 <= 0 e138: x82 - x86 <= 0 e139: x86 - x90 <= 0 Bounds x76 <= 10 x77 <= 10 x78 <= 10 x79 <= 10 x80 <= 10 x81 <= 10 x82 <= 10 x83 <= 10 x84 <= 10 x85 <= 10 x86 <= 10 x87 <= 10 x88 <= 10 x89 <= 10 x90 <= 10 x91 <= 10 x92 <= 10 x93 <= 10 x94 <= 10 x95 <= 10 x96 <= 10 x97 <= 10 x98 <= 10 x99 <= 10 x100 <= 10 x101 <= 10 x102 <= 10 x103 <= 10 x104 <= 10 x105 <= 10 Binary b1 b2 b3 b4 b5 b6 b7 b8 b9 b10 b11 b12 b13 b14 b15 b16 b17 b18 b19 b20 b21 b22 b23 b24 b25 b26 b27 b28 b29 b30 b31 b32 b33 b34 b35 b36 b37 b38 b39 b40 b41 b42 b43 b44 b45 b46 b47 b48 b49 b50 b51 b52 b53 b54 b55 b56 b57 b58 b59 b60 b61 b62 b63 b64 b65 b66 b67 b68 b69 b70 b71 b72 b73 b74 b75 End