Output from RUN_SOLUTION_BY_DISCRETIZATION on 05/08/2012 at 12:30:26. Version for the system is: March 13, 2009 Codelist file name is: ex3_1_4G.CDL Box data file name is: ex3_1_4.DT1 Initial box: [ 0.00 , 2.00 ], [ 0.00 , 0.100E+05 ] [ 0.00 , 3.00 ] 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: 22 17 13 Subspace variables from the Kearfott / Hongthong 2005 analysis: 1 2 3 MAX_SUBDIVISIONS: 20 Total number of sub-problems: 8000 n_intermediate_bounds: 0 working indices: 1 2 3 ------------------------------------------------ ------------------------------------------------ ------------------------------------------------ Completion of run_solution_by_discretization. Total CPU time: 6.6404150000000000 MAX_SUBDIVISIONS: 20 BEST_ESTIMATE: -5.5999999999999908 FEASIBILITY_VERIFICATION_SUCCEEDED: T N_FEASIBILITY_VERIFICATION_FAILED: 91 EFFECTIVE_EPSILON: 1.33226762955018824E-015 EPSILON_PHI: 0.95000000000001461 LP_SOLUTION_FAILED: F Solution boxes: ------------------------------------------------ Solution box number: 1 with overall box index: 4020 [ 1.90 , 2.00 ], [ 0.00 , 0.600 ] [ 1.50 , 1.65 ] LP solution: 1.95 , 0.300 , 1.57 LP solution possibly adjusted with a point optimizer: 1.95 , 0.300 , 1.57 Objective bounds over the solution box: [ -5.65 , -4.70 ] Inequality constraint bounds over the box: [ -6.55 , 0.00 ], [ -0.600 , 0.00 ] [ -4.50 , -2.55 ], [ -2.00 , -1.90 ] [ -0.100 , 0.133E-14 ], [ -0.600 , 0.223-307 ] [ -1.65 , -1.50 ], [ -1.50 , -1.35 ] ------------------------------------------------ Solution box number: 2 with overall box index: 4419 [ 1.80 , 1.90 ], [ 0.00 , 0.550 ] [ 1.65 , 1.80 ] LP solution: 1.85 , 0.275 , 1.72 LP solution possibly adjusted with a point optimizer: 1.85 , 0.275 , 1.72 Objective bounds over the solution box: [ -5.60 , -4.70 ] Inequality constraint bounds over the box: [ -6.10 , 0.00 ], [ -0.550 , 0.00 ] [ -4.35 , -2.55 ], [ -1.90 , -1.80 ] [ -0.200 , -0.100 ], [ -0.550 , 0.223-307 ] [ -1.80 , -1.65 ], [ -1.35 , -1.20 ] ------------------------------------------------ Solution box number: 3 with overall box index: 4420 [ 1.90 , 2.00 ], [ 0.00 , 0.450 ] [ 1.65 , 1.80 ] LP solution: 1.95 , 0.225 , 1.72 LP solution possibly adjusted with a point optimizer: 1.95 , 0.225 , 1.72 Objective bounds over the solution box: [ -5.80 , -5.00 ] Inequality constraint bounds over the box: [ -5.48 , 0.00 ], [ -0.450 , 0.00 ] [ -4.35 , -2.85 ], [ -2.00 , -1.90 ] [ -0.100 , 0.133E-14 ], [ -0.450 , 0.223-307 ] [ -1.80 , -1.65 ], [ -1.35 , -1.20 ] ------------------------------------------------ Solution box number: 4 with overall box index: 4819 [ 1.80 , 1.90 ], [ 0.00 , 0.400 ] [ 1.80 , 1.95 ] LP solution: 1.85 , 0.200 , 1.88 LP solution possibly adjusted with a point optimizer: 1.85 , 0.200 , 1.88 Objective bounds over the solution box: [ -5.75 , -5.00 ] Inequality constraint bounds over the box: [ -5.07 , 0.00 ], [ -0.400 , 0.00 ] [ -4.20 , -2.85 ], [ -1.90 , -1.80 ] [ -0.200 , -0.100 ], [ -0.400 , 0.223-307 ] [ -1.95 , -1.80 ], [ -1.20 , -1.05 ] ------------------------------------------------ Solution box number: 5 with overall box index: 4820 [ 1.90 , 2.00 ], [ 0.00 , 0.300 ] [ 1.80 , 1.95 ] LP solution: 1.95 , 0.150 , 1.88 LP solution possibly adjusted with a point optimizer: 1.95 , 0.150 , 1.88 Objective bounds over the solution box: [ -5.95 , -5.30 ] Inequality constraint bounds over the box: [ -4.51 , 0.00 ], [ -0.300 , 0.00 ] [ -4.20 , -3.15 ], [ -2.00 , -1.90 ] [ -0.100 , 0.133E-14 ], [ -0.300 , 0.223-307 ] [ -1.95 , -1.80 ], [ -1.20 , -1.05 ] ------------------------------------------------ Solution box number: 6 with overall box index: 5218 [ 1.70 , 1.80 ], [ 0.00 , 0.350 ] [ 1.95 , 2.10 ] LP solution: 1.75 , 0.175 , 2.02 LP solution possibly adjusted with a point optimizer: 1.75 , 0.175 , 2.02 Objective bounds over the solution box: [ -5.70 , -5.00 ] Inequality constraint bounds over the box: [ -4.70 , 0.00 ], [ -0.350 , 0.00 ] [ -4.05 , -2.85 ], [ -1.80 , -1.70 ] [ -0.300 , -0.200 ], [ -0.350 , 0.223-307 ] [ -2.10 , -1.95 ], [ -1.05 , -0.900 ] ------------------------------------------------ Solution box number: 7 with overall box index: 5219 [ 1.80 , 1.90 ], [ 0.00 , 0.250 ] [ 1.95 , 2.10 ] LP solution: 1.85 , 0.125 , 2.02 LP solution possibly adjusted with a point optimizer: 1.85 , 0.125 , 2.02 Objective bounds over the solution box: [ -5.90 , -5.30 ] Inequality constraint bounds over the box: [ -4.12 , 0.00 ], [ -0.250 , 0.00 ] [ -4.05 , -3.15 ], [ -1.90 , -1.80 ] [ -0.200 , -0.100 ], [ -0.250 , 0.223-307 ] [ -2.10 , -1.95 ], [ -1.05 , -0.900 ] ------------------------------------------------ Solution box number: 8 with overall box index: 5220 [ 1.90 , 2.00 ], [ 0.00 , 0.150 ] [ 1.95 , 2.10 ] LP solution: 1.95 , 0.750E-01, 2.02 LP solution possibly adjusted with a point optimizer: 1.95 , 0.750E-01, 2.02 Objective bounds over the solution box: [ -6.10 , -5.60 ] Inequality constraint bounds over the box: [ -3.62 , 0.00 ], [ -0.150 , 0.00 ] [ -4.05 , -3.45 ], [ -2.00 , -1.90 ] [ -0.100 , 0.133E-14 ], [ -0.150 , 0.223-307 ] [ -2.10 , -1.95 ], [ -1.05 , -0.900 ] ------------------------------------------------ Solution box number: 9 with overall box index: 5617 [ 1.60 , 1.70 ], [ 0.00 , 0.300 ] [ 2.10 , 2.25 ] LP solution: 1.65 , 0.150 , 2.17 LP solution possibly adjusted with a point optimizer: 1.65 , 0.150 , 2.17 Objective bounds over the solution box: [ -5.65 , -5.00 ] Inequality constraint bounds over the box: [ -4.39 , 0.00 ], [ -0.300 , 0.00 ] [ -3.90 , -2.85 ], [ -1.70 , -1.60 ] [ -0.400 , -0.300 ], [ -0.300 , 0.223-307 ] [ -2.25 , -2.10 ], [ -0.900 , -0.750 ] ------------------------------------------------ Solution box number: 10 with overall box index: 5618 [ 1.70 , 1.80 ], [ 0.00 , 0.200 ] [ 2.10 , 2.25 ] LP solution: 1.75 , 0.100 , 2.17 LP solution possibly adjusted with a point optimizer: 1.75 , 0.100 , 2.17 Objective bounds over the solution box: [ -5.85 , -5.30 ] Inequality constraint bounds over the box: [ -3.79 , 0.00 ], [ -0.200 , 0.00 ] [ -3.90 , -3.15 ], [ -1.80 , -1.70 ] [ -0.300 , -0.200 ], [ -0.200 , 0.223-307 ] [ -2.25 , -2.10 ], [ -0.900 , -0.750 ] ------------------------------------------------ Solution box number: 11 with overall box index: 5619 [ 1.80 , 1.90 ], [ 0.00 , 0.100 ] [ 2.10 , 2.20 ] LP solution: 1.85 , 0.500E-01, 2.15 LP solution possibly adjusted with a point optimizer: 1.85 , 0.500E-01, 2.15 Objective bounds over the solution box: [ -6.00 , -5.60 ] Inequality constraint bounds over the box: [ -2.44 , 0.00 ], [ -0.100 , 0.00 ] [ -3.90 , -3.50 ], [ -1.90 , -1.80 ] [ -0.200 , -0.100 ], [ -0.100 , 0.223-307 ] [ -2.20 , -2.10 ], [ -0.900 , -0.800 ] ------------------------------------------------ Solution box number: 12 with overall box index: 6016 [ 1.50 , 1.60 ], [ 0.00 , 0.250 ] [ 2.25 , 2.40 ] LP solution: 1.55 , 0.125 , 2.33 LP solution possibly adjusted with a point optimizer: 1.55 , 0.125 , 2.33 Objective bounds over the solution box: [ -5.60 , -5.00 ] Inequality constraint bounds over the box: [ -4.12 , 0.00 ], [ -0.250 , 0.00 ] [ -3.75 , -2.85 ], [ -1.60 , -1.50 ] [ -0.500 , -0.400 ], [ -0.250 , 0.223-307 ] [ -2.40 , -2.25 ], [ -0.750 , -0.600 ] ------------------------------------------------ Solution box number: 13 with overall box index: 6017 [ 1.60 , 1.70 ], [ 0.00 , 0.150 ] [ 2.25 , 2.40 ] LP solution: 1.65 , 0.750E-01, 2.33 LP solution possibly adjusted with a point optimizer: 1.65 , 0.750E-01, 2.33 Objective bounds over the solution box: [ -5.80 , -5.30 ] Inequality constraint bounds over the box: [ -3.50 , 0.00 ], [ -0.150 , 0.00 ] [ -3.75 , -3.15 ], [ -1.70 , -1.60 ] [ -0.400 , -0.300 ], [ -0.150 , 0.223-307 ] [ -2.40 , -2.25 ], [ -0.750 , -0.600 ] ------------------------------------------------ Solution box number: 14 with overall box index: 6416 [ 1.50 , 1.60 ], [ 0.00 , 0.100 ] [ 2.40 , 2.50 ] LP solution: 1.55 , 0.500E-01, 2.45 LP solution possibly adjusted with a point optimizer: 1.55 , 0.500E-01, 2.45 Objective bounds over the solution box: [ -5.70 , -5.30 ] Inequality constraint bounds over the box: [ -2.44 , 0.00 ], [ -0.100 , 0.00 ] [ -3.60 , -3.20 ], [ -1.60 , -1.50 ] [ -0.500 , -0.400 ], [ -0.100 , 0.223-307 ] [ -2.50 , -2.40 ], [ -0.600 , -0.500 ] ------------------------------------------------ No. dense interval residual evaluations -- gradient code list: 369 Number of orig. system inverse midpoint preconditioner rows: 352 Number of solutions for a component in the expanded system: 559106 Total number of forward_substitutions: 1083 Number of Gauss--Seidel steps on the dense system: 311 Number point dense residual evaluations, gradient codelist: 5072 Total number dense interval constraint evaluations: 10064 Total number dense interval constraint gradient component evaluations: 13824 Total number dense point constraint gradient component evaluations: 124512 N_C_LP_INFEASIBLE = 73 Total time spent in subsit (constraint propagation): 0.224 FUNCTION_EVALUATION_TIME (in forward_substitution): 0.160E-01 Number of times SUBSIT decreased one or more coordinate widths: 398 Number of times SUBSIT rejected a box: 7630