Output from RUN_SOLUTION_BY_DISCRETIZATION on 05/08/2012 at 12:24:32. Version for the system is: March 13, 2009 Codelist file name is: ex7_3_3G.CDL Box data file name is: ex7_3_3.DT1 Initial box: [ -0.100E+05, 0.100E+05 ], [ -0.100E+05, 0.100E+05 ] [ 0.00 , 10.0 ], [ -0.100E+05, 0.100E+05 ] [ -0.100E+05, 0.100E+05 ] Printing in overall algorithm: 0 Printing in LP: 0 EPS_LP_FIT: 1.00000000000000002E-002 ALLOW_EPSILON_APPROXIMATE: F USES_INTERMEDIATE_VARIABLES: F ------------------------------------------------ Independent minimal complete set indices: 8 7 6 Subspace variables from the Kearfott / Hongthong 2005 analysis: 3 MAX_SUBDIVISIONS: 20 Total number of sub-problems: 20 n_intermediate_bounds: 0 working indices: 3 ------------------------------------------------ ------------------------------------------------ ------------------------------------------------ Completion of run_solution_by_discretization. Total CPU time: 0.46802899999999997 MAX_SUBDIVISIONS: 20 BEST_ESTIMATE: 10000.000000000000 FEASIBILITY_VERIFICATION_SUCCEEDED: F N_FEASIBILITY_VERIFICATION_FAILED: 20 EFFECTIVE_EPSILON: 5.32907051820075297E-015 EPSILON_PHI: 10000.000000000016 LP_SOLUTION_FAILED: F Solution boxes: ------------------------------------------------ Solution box number: 1 with overall box index: 1 [ -0.250E+04, 0.250E+04 ], [ -0.500E+04, 0.500E+04 ] [ 0.00 , 0.500 ], [ -0.100E+05, 0.100E+05 ] [ -0.127E-10, 0.100E+05 ] LP solution: 2.25 , 1.50 , 0.306E-03, 1.50 , 0.428E-11 LP solution possibly adjusted with a point optimizer: 2.25 , 1.50 , 0.306E-03, 1.50 , 0.428E-11 Objective bounds over the solution box: [ -0.127E-10, 0.100E+05 ] Equality constraint bounds over the box: [ 0.00 , 0.00 ], [ 0.00 , 0.00 ] Inequality constraint bounds over the box: [ -0.500E+04, 0.00 ], [ -0.500E+04, 0.00 ] [ -0.100E+05, 0.00 ], [ -0.100E+05, 0.00 ] [ -0.250E+05, 0.00 ], [ -0.250E+05, 0.00 ] [ -0.500 , 0.223-307 ], [ -10.0 , -9.50 ] ------------------------------------------------ Solution box number: 2 with overall box index: 2 [ -0.250E+04, 0.250E+04 ], [ -0.500E+04, 0.500E+04 ] [ 0.500 , 1.00 ], [ -0.100E+05, 0.100E+05 ] [ -0.139E-10, 0.100E+05 ] LP solution: 2.25 , 1.50 , 0.500 , 1.50 , 0.428E-11 LP solution possibly adjusted with a point optimizer: 2.25 , 1.50 , 0.500 , 1.50 , 0.428E-11 Objective bounds over the solution box: [ -0.139E-10, 0.100E+05 ] Equality constraint bounds over the box: [ 0.00 , 0.00 ], [ 0.00 , 0.00 ] Inequality constraint bounds over the box: [ -0.500E+04, 0.00 ], [ -0.500E+04, 0.00 ] [ -0.100E+05, 0.00 ], [ -0.100E+05, 0.00 ] [ -0.250E+05, 0.00 ], [ -0.250E+05, 0.00 ] [ -1.00 , -0.500 ], [ -9.50 , -9.00 ] ------------------------------------------------ Solution box number: 3 with overall box index: 3 [ -0.250E+04, 0.250E+04 ], [ -0.374E+04, 0.374E+04 ] [ 1.00 , 1.50 ], [ -0.100E+05, 0.100E+05 ] [ -0.135E-10, 0.100E+05 ] LP solution: 2.25 , 1.50 , 1.00 , 1.50 , 0.428E-11 LP solution possibly adjusted with a point optimizer: 2.25 , 1.50 , 1.00 , 1.50 , 0.428E-11 Objective bounds over the solution box: [ -0.135E-10, 0.100E+05 ] Equality constraint bounds over the box: [ 0.00 , 0.00 ], [ 0.00 , 0.00 ] Inequality constraint bounds over the box: [ -0.500E+04, 0.00 ], [ -0.500E+04, 0.00 ] [ -0.874E+04, 0.00 ], [ -0.874E+04, 0.00 ] [ -0.250E+05, 0.00 ], [ -0.250E+05, 0.00 ] [ -1.50 , -1.00 ], [ -9.00 , -8.50 ] ------------------------------------------------ Solution box number: 4 with overall box index: 4 [ -0.250E+04, 0.250E+04 ], [ -0.296E+04, 0.297E+04 ] [ 1.50 , 2.00 ], [ -0.100E+05, 0.100E+05 ] [ -0.131E-10, 0.100E+05 ] LP solution: 2.25 , 1.50 , 1.50 , 1.50 , 0.496E-11 LP solution possibly adjusted with a point optimizer: 2.25 , 1.50 , 1.50 , 1.50 , 0.496E-11 Objective bounds over the solution box: [ -0.131E-10, 0.100E+05 ] Equality constraint bounds over the box: [ 0.00 , 0.00 ], [ 0.00 , 0.00 ] Inequality constraint bounds over the box: [ -0.500E+04, 0.00 ], [ -0.500E+04, 0.00 ] [ -0.796E+04, 0.00 ], [ -0.796E+04, 0.00 ] [ -0.250E+05, 0.00 ], [ -0.250E+05, 0.00 ] [ -2.00 , -1.50 ], [ -8.50 , -8.00 ] ------------------------------------------------ Solution box number: 5 with overall box index: 5 [ -0.180E+04, 0.180E+04 ], [ -0.167E+04, 0.168E+04 ] [ 2.00 , 2.50 ], [ -0.100E+05, 0.100E+05 ] [ -0.980E-11, 0.100E+05 ] LP solution: 2.25 , 1.50 , 2.00 , 1.50 , 0.110E-10 LP solution possibly adjusted with a point optimizer: 2.25 , 1.50 , 2.00 , 1.50 , 0.110E-10 Objective bounds over the solution box: [ -0.980E-11, 0.100E+05 ] Equality constraint bounds over the box: [ 0.00 , 0.00 ], [ 0.00 , 0.00 ] Inequality constraint bounds over the box: [ -0.430E+04, 0.00 ], [ -0.430E+04, 0.00 ] [ -0.667E+04, 0.00 ], [ -0.667E+04, 0.00 ] [ -0.250E+05, 0.00 ], [ -0.250E+05, 0.00 ] [ -2.50 , -2.00 ], [ -8.00 , -7.50 ] ------------------------------------------------ Solution box number: 6 with overall box index: 6 [ -790. , 793. ], [ -826. , 828. ] [ 2.50 , 3.00 ], [ -0.100E+05, 0.100E+05 ] [ -0.167E-11, 0.100E+05 ] LP solution: 2.25 , 1.50 , 2.50 , 1.50 , 0.153E-10 LP solution possibly adjusted with a point optimizer: 2.25 , 1.50 , 2.50 , 1.50 , 0.153E-10 Objective bounds over the solution box: [ -0.167E-11, 0.100E+05 ] Equality constraint bounds over the box: [ 0.00 , 0.00 ], [ 0.00 , 0.00 ] Inequality constraint bounds over the box: [ -0.329E+04, 0.00 ], [ -0.329E+04, 0.00 ] [ -0.583E+04, 0.00 ], [ -0.583E+04, 0.00 ] [ -0.250E+05, 0.00 ], [ -0.250E+05, 0.00 ] [ -3.00 , -2.50 ], [ -7.50 , -7.00 ] ------------------------------------------------ Solution box number: 7 with overall box index: 7 [ -499. , 502. ], [ -563. , 565. ] [ 3.00 , 3.50 ], [ -0.100E+05, 0.100E+05 ] [ -0.144E-11, 0.100E+05 ] LP solution: 2.25 , 1.50 , 3.00 , 1.50 , 0.138E-10 LP solution possibly adjusted with a point optimizer: 2.25 , 1.50 , 3.00 , 1.50 , 0.138E-10 Objective bounds over the solution box: [ -0.144E-11, 0.100E+05 ] Equality constraint bounds over the box: [ 0.00 , 0.00 ], [ 0.00 , 0.00 ] Inequality constraint bounds over the box: [ -0.300E+04, 0.00 ], [ -0.300E+04, 0.00 ] [ -0.556E+04, 0.00 ], [ -0.556E+04, 0.00 ] [ -0.250E+05, 0.00 ], [ -0.250E+05, 0.00 ] [ -3.50 , -3.00 ], [ -7.00 , -6.50 ] ------------------------------------------------ Solution box number: 8 with overall box index: 8 [ -363. , 365. ], [ -432. , 432. ] [ 3.50 , 4.00 ], [ -0.100E+05, 0.100E+05 ] [ 0.261E-11, 0.100E+05 ] LP solution: 2.25 , 1.50 , 3.51 , 1.50 , 0.207E-10 LP solution possibly adjusted with a point optimizer: 2.25 , 1.50 , 3.51 , 1.50 , 0.207E-10 Objective bounds over the solution box: [ 0.261E-11, 0.100E+05 ] Equality constraint bounds over the box: [ 0.00 , 0.00 ], [ 0.00 , 0.00 ] Inequality constraint bounds over the box: [ -0.286E+04, 0.00 ], [ -0.286E+04, 0.00 ] [ -0.543E+04, 0.00 ], [ -0.543E+04, 0.00 ] [ -0.250E+05, 0.00 ], [ -0.250E+05, 0.00 ] [ -4.00 , -3.50 ], [ -6.50 , -6.00 ] ------------------------------------------------ Solution box number: 9 with overall box index: 9 [ -284. , 286. ], [ -352. , 352. ] [ 4.00 , 4.50 ], [ -0.100E+05, 0.100E+05 ] [ 0.288E-11, 0.100E+05 ] LP solution: 2.25 , 1.50 , 4.02 , 1.50 , 0.181E-10 LP solution possibly adjusted with a point optimizer: 2.25 , 1.50 , 4.02 , 1.50 , 0.181E-10 Objective bounds over the solution box: [ 0.288E-11, 0.100E+05 ] Equality constraint bounds over the box: [ 0.00 , 0.00 ], [ 0.00 , 0.00 ] Inequality constraint bounds over the box: [ -0.279E+04, 0.00 ], [ -0.278E+04, 0.00 ] [ -0.535E+04, 0.00 ], [ -0.535E+04, 0.00 ] [ -0.250E+05, 0.00 ], [ -0.250E+05, 0.00 ] [ -4.50 , -4.00 ], [ -6.00 , -5.50 ] ------------------------------------------------ Solution box number: 10 with overall box index: 10 [ -233. , 235. ], [ -298. , 297. ] [ 4.50 , 5.00 ], [ -0.100E+05, 0.100E+05 ] [ -0.146E-11, 0.100E+05 ] LP solution: 2.25 , 1.50 , 4.53 , 1.50 , 0.185E-10 LP solution possibly adjusted with a point optimizer: 2.25 , 1.50 , 4.53 , 1.50 , 0.185E-10 Objective bounds over the solution box: [ -0.146E-11, 0.100E+05 ] Equality constraint bounds over the box: [ 0.00 , 0.00 ], [ 0.00 , 0.00 ] Inequality constraint bounds over the box: [ -0.273E+04, 0.00 ], [ -0.273E+04, 0.00 ] [ -0.530E+04, 0.00 ], [ -0.530E+04, 0.00 ] [ -0.250E+05, 0.00 ], [ -0.250E+05, 0.00 ] [ -5.00 , -4.50 ], [ -5.50 , -5.00 ] ------------------------------------------------ Solution box number: 11 with overall box index: 11 [ -197. , 199. ], [ -259. , 257. ] [ 5.00 , 5.50 ], [ -0.100E+05, 0.100E+05 ] [ 0.342E-11, 0.100E+05 ] LP solution: 2.25 , 1.50 , 5.05 , 1.50 , 0.220E-10 LP solution possibly adjusted with a point optimizer: 2.25 , 1.50 , 5.05 , 1.50 , 0.220E-10 Objective bounds over the solution box: [ 0.342E-11, 0.100E+05 ] Equality constraint bounds over the box: [ 0.00 , 0.00 ], [ 0.00 , 0.00 ] Inequality constraint bounds over the box: [ -0.270E+04, 0.00 ], [ -0.270E+04, 0.00 ] [ -0.526E+04, 0.00 ], [ -0.526E+04, 0.00 ] [ -0.250E+05, 0.00 ], [ -0.250E+05, 0.00 ] [ -5.50 , -5.00 ], [ -5.00 , -4.50 ] ------------------------------------------------ Solution box number: 12 with overall box index: 12 [ -170. , 173. ], [ -230. , 226. ] [ 5.50 , 6.00 ], [ -0.100E+05, 0.100E+05 ] [ 0.611E-12, 0.100E+05 ] LP solution: 2.25 , 1.50 , 5.58 , 1.50 , 0.192E-10 LP solution possibly adjusted with a point optimizer: 2.25 , 1.50 , 5.58 , 1.50 , 0.192E-10 Objective bounds over the solution box: [ 0.611E-12, 0.100E+05 ] Equality constraint bounds over the box: [ 0.00 , 0.00 ], [ 0.00 , 0.00 ] Inequality constraint bounds over the box: [ -0.267E+04, 0.00 ], [ -0.267E+04, 0.00 ] [ -0.522E+04, 0.00 ], [ -0.523E+04, 0.00 ] [ -0.250E+05, 0.00 ], [ -0.250E+05, 0.00 ] [ -6.00 , -5.50 ], [ -4.50 , -4.00 ] ------------------------------------------------ Solution box number: 13 with overall box index: 13 [ -150. , 152. ], [ -207. , 202. ] [ 6.00 , 6.50 ], [ -0.100E+05, 0.100E+05 ] [ 0.567E-11, 0.100E+05 ] LP solution: 2.25 , 1.50 , 6.37 , 1.50 , 0.223E-10 LP solution possibly adjusted with a point optimizer: 2.25 , 1.50 , 6.37 , 1.50 , 0.223E-10 Objective bounds over the solution box: [ 0.567E-11, 0.100E+05 ] Equality constraint bounds over the box: [ 0.00 , 0.00 ], [ 0.00 , 0.00 ] Inequality constraint bounds over the box: [ -0.265E+04, 0.00 ], [ -0.265E+04, 0.00 ] [ -0.520E+04, 0.00 ], [ -0.521E+04, 0.00 ] [ -0.250E+05, 0.00 ], [ -0.250E+05, 0.00 ] [ -6.50 , -6.00 ], [ -4.00 , -3.50 ] ------------------------------------------------ Solution box number: 14 with overall box index: 14 [ -134. , 136. ], [ -188. , 182. ] [ 6.50 , 7.00 ], [ -0.100E+05, 0.100E+05 ] [ 0.420E-11, 0.100E+05 ] LP solution: 2.25 , 1.50 , 6.65 , 1.50 , 0.222E-10 LP solution possibly adjusted with a point optimizer: 2.25 , 1.50 , 6.65 , 1.50 , 0.222E-10 Objective bounds over the solution box: [ 0.420E-11, 0.100E+05 ] Equality constraint bounds over the box: [ 0.00 , 0.00 ], [ 0.00 , 0.00 ] Inequality constraint bounds over the box: [ -0.264E+04, 0.00 ], [ -0.263E+04, 0.00 ] [ -0.518E+04, 0.00 ], [ -0.519E+04, 0.00 ] [ -0.250E+05, 0.00 ], [ -0.250E+05, 0.00 ] [ -7.00 , -6.50 ], [ -3.50 , -3.00 ] ------------------------------------------------ Solution box number: 15 with overall box index: 15 [ -121. , 123. ], [ -173. , 166. ] [ 7.00 , 7.50 ], [ -0.100E+05, 0.100E+05 ] [ 0.147E-11, 0.100E+05 ] LP solution: 2.25 , 1.50 , 7.20 , 1.50 , 0.195E-10 LP solution possibly adjusted with a point optimizer: 2.25 , 1.50 , 7.20 , 1.50 , 0.195E-10 Objective bounds over the solution box: [ 0.147E-11, 0.100E+05 ] Equality constraint bounds over the box: [ 0.00 , 0.00 ], [ 0.00 , 0.00 ] Inequality constraint bounds over the box: [ -0.262E+04, 0.00 ], [ -0.262E+04, 0.00 ] [ -0.516E+04, 0.00 ], [ -0.517E+04, 0.00 ] [ -0.250E+05, 0.00 ], [ -0.250E+05, 0.00 ] [ -7.50 , -7.00 ], [ -3.00 , -2.50 ] ------------------------------------------------ Solution box number: 16 with overall box index: 16 [ -110. , 113. ], [ -160. , 152. ] [ 7.50 , 8.00 ], [ -0.100E+05, 0.100E+05 ] [ 0.575 , 0.100E+05 ] LP solution: 2.11 , 1.21 , 7.74 , 0.638 , 0.575 LP solution possibly adjusted with a point optimizer: 2.11 , 1.21 , 7.74 , 0.638 , 0.575 Objective bounds over the solution box: [ 0.575 , 0.100E+05 ] Equality constraint bounds over the box: [ 0.00 , 0.00 ], [ 0.00 , 0.00 ] Inequality constraint bounds over the box: [ -0.261E+04, 0.00 ], [ -0.261E+04, 0.00 ] [ -0.515E+04, 0.00 ], [ -0.516E+04, 0.00 ] [ -0.250E+05, 0.00 ], [ -0.250E+05, 0.00 ] [ -8.00 , -7.50 ], [ -2.50 , -2.00 ] ------------------------------------------------ Solution box number: 17 with overall box index: 17 [ -101. , 104. ], [ -149. , 141. ] [ 8.00 , 8.50 ], [ -0.100E+05, 0.100E+05 ] [ 2.67 , 0.100E+05 ] LP solution: 1.58 , 0.165 , 8.24 , -2.51 , 2.67 LP solution possibly adjusted with a point optimizer: 1.58 , 0.165 , 8.24 , -2.51 , 2.67 Objective bounds over the solution box: [ 2.67 , 0.100E+05 ] Equality constraint bounds over the box: [ 0.00 , 0.00 ], [ 0.00 , 0.00 ] Inequality constraint bounds over the box: [ -0.260E+04, 0.00 ], [ -0.260E+04, 0.00 ] [ -0.514E+04, 0.00 ], [ -0.515E+04, 0.00 ] [ -0.250E+05, 0.00 ], [ -0.250E+05, 0.00 ] [ -8.50 , -8.00 ], [ -2.00 , -1.50 ] ------------------------------------------------ Solution box number: 18 with overall box index: 18 [ -93.7 , 95.9 ], [ -140. , 130. ] [ 8.50 , 9.00 ], [ -0.100E+05, 0.100E+05 ] [ 4.57 , 0.100E+05 ] LP solution: 1.11 , -0.784 , 8.74 , -5.35 , 4.57 LP solution possibly adjusted with a point optimizer: 1.11 , -0.784 , 8.74 , -5.35 , 4.57 Objective bounds over the solution box: [ 4.57 , 0.100E+05 ] Equality constraint bounds over the box: [ 0.00 , 0.00 ], [ 0.00 , 0.00 ] Inequality constraint bounds over the box: [ -0.260E+04, 0.00 ], [ -0.259E+04, 0.00 ] [ -0.513E+04, 0.00 ], [ -0.514E+04, 0.00 ] [ -0.250E+05, 0.00 ], [ -0.250E+05, 0.00 ] [ -9.00 , -8.50 ], [ -1.50 , -1.00 ] ------------------------------------------------ Solution box number: 19 with overall box index: 19 [ -87.1 , 89.2 ], [ -132. , 121. ] [ 9.00 , 9.50 ], [ -0.100E+05, 0.100E+05 ] [ 6.32 , 0.100E+05 ] LP solution: 0.671 , -1.66 , 9.24 , -7.97 , 6.32 LP solution possibly adjusted with a point optimizer: 0.671 , -1.66 , 9.24 , -7.97 , 6.32 Objective bounds over the solution box: [ 6.32 , 0.100E+05 ] Equality constraint bounds over the box: [ 0.00 , 0.00 ], [ 0.00 , 0.00 ] Inequality constraint bounds over the box: [ -0.259E+04, 0.00 ], [ -0.259E+04, 0.00 ] [ -0.512E+04, 0.00 ], [ -0.513E+04, 0.00 ] [ -0.250E+05, 0.00 ], [ -0.250E+05, 0.00 ] [ -9.50 , -9.00 ], [ -1.00 , -0.500 ] ------------------------------------------------ Solution box number: 20 with overall box index: 20 [ -81.3 , 83.5 ], [ -125. , 113. ] [ 9.50 , 10.0 ], [ -0.100E+05, 0.100E+05 ] [ 7.94 , 0.100E+05 ] LP solution: 0.264 , -2.47 , 9.74 , -10.4 , 7.94 LP solution possibly adjusted with a point optimizer: 0.264 , -2.47 , 9.74 , -10.4 , 7.94 Objective bounds over the solution box: [ 7.94 , 0.100E+05 ] Equality constraint bounds over the box: [ 0.00 , 0.00 ], [ 0.00 , 0.00 ] Inequality constraint bounds over the box: [ -0.258E+04, 0.00 ], [ -0.258E+04, 0.00 ] [ -0.511E+04, 0.00 ], [ -0.513E+04, 0.00 ] [ -0.250E+05, 0.00 ], [ -0.250E+05, 0.00 ] [ -10.0 , -9.50 ], [ -0.500 , 0.533E-14 ] ------------------------------------------------ No. dense interval residual evaluations -- gradient code list: 20 Number of orig. system inverse midpoint preconditioner rows: 78 Number of solutions for a component in the expanded system: 173071 Total number of forward_substitutions: 60 Number of Gauss--Seidel steps on the dense system: 25 Number point dense residual evaluations, gradient codelist: 401 Total number dense interval constraint evaluations: 980 Total number dense interval constraint gradient component evaluations: 1800 Total number dense point constraint gradient component evaluations: 18150 Total time spent in subsit (constraint propagation): 0.640E-01 Number of times SUBSIT decreased one or more coordinate widths: 60