Output from RUN_SOLUTION_BY_DISCRETIZATION on 05/08/2012 at 12:25:05. Version for the system is: March 13, 2009 Codelist file name is: ex5_2_2_case3_sourceG.CDL Box data file name is: ex5_2_2_case3_source.DT1 Initial box: [ 0.00 , 100. ], [ 0.00 , 200. ] [ 0.00 , 500. ], [ 0.00 , 500. ] [ 0.00 , 500. ], [ 0.00 , 500. ] [ 0.00 , 500. ], [ 0.00 , 500. ] [ 0.00 , 500. ] 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: 31 30 Subspace variables from the Kearfott / Hongthong 2005 analysis: 8 9 MAX_SUBDIVISIONS: 20 Total number of sub-problems: 400 n_intermediate_bounds: 0 working indices: 8 9 ------------------------------------------------ ------------------------------------------------ ------------------------------------------------ Completion of run_solution_by_discretization. Total CPU time: 1.3080820000000000 MAX_SUBDIVISIONS: 20 BEST_ESTIMATE: -693.74997397061577 FEASIBILITY_VERIFICATION_SUCCEEDED: T N_FEASIBILITY_VERIFICATION_FAILED: 37 EFFECTIVE_EPSILON: 5.42625110711014883E-006 EPSILON_PHI: 4221.8750000000491 LP_SOLUTION_FAILED: F Solution boxes: ------------------------------------------------ Solution box number: 1 with overall box index: 61 [ 0.00 , 100. ], [ 75.0 , 200. ] [ 0.00 , 125. ], [ 0.00 , 125. ] [ 0.00 , 100. ], [ 0.00 , 125. ] [ 0.00 , 4.00 ], [ 0.00 , 25.0 ] [ 75.0 , 100. ] LP solution: 25.0 , 200. , 9.38 , 96.9 , 18.8 , 100. 1.00 , 6.25 , 100. LP solution possibly adjusted with a point optimizer: 25.0 , 200. , 9.38 , 96.9 , 18.8 , 100. 1.00 , 6.25 , 100. Objective bounds over the solution box: [ -722. , 0.350E+04 ] Equality constraint bounds over the box: [ 0.00 , 0.00 ], [ 0.00 , 0.00 ] [ 0.00 , 0.00 ], [ 0.00 , 0.00 ] Inequality constraint bounds over the box: [ -250. , 0.00 ], [ -300. , 0.00 ] [ -100. , 0.223-307 ], [ -100. , 0.114E-12 ] [ -200. , -75.0 ], [ -125. , 0.227E-12 ] [ -125. , 0.223-307 ], [ -500. , -375. ] [ -125. , 0.223-307 ], [ -500. , -375. ] [ -100. , 0.223-307 ], [ -500. , -400. ] [ -125. , 0.223-307 ], [ -500. , -375. ] [ -4.00 , 0.223-307 ], [ -500. , -496. ] [ -25.0 , 0.223-307 ], [ -500. , -475. ] [ -100. , -75.0 ], [ -425. , -400. ] ------------------------------------------------ Solution box number: 2 with overall box index: 81 [ 0.00 , 100. ], [ 100. , 200. ] [ 0.00 , 125. ], [ 0.00 , 150. ] [ 0.00 , 100. ], [ 0.00 , 100. ] [ 0.00 , 3.00 ], [ 0.00 , 25.0 ] [ 100. , 125. ] LP solution: 20.0 , 200. , 22.5 , 112. , 10.0 , 75.0 1.20 , 10.0 , 125. LP solution possibly adjusted with a point optimizer: 20.0 , 200. , 22.5 , 112. , 10.0 , 75.0 1.20 , 10.0 , 125. Objective bounds over the solution box: [ -733. , 0.320E+04 ] Equality constraint bounds over the box: [ 0.00 , 0.00 ], [ 0.00 , 0.00 ] [ 0.00 , 0.00 ], [ 0.00 , 0.00 ] Inequality constraint bounds over the box: [ -250. , 0.00 ], [ -300. , 0.00 ] [ -100. , 0.223-307 ], [ -100. , 0.114E-12 ] [ -200. , -100. ], [ -100. , 0.227E-12 ] [ -125. , 0.223-307 ], [ -500. , -375. ] [ -150. , 0.223-307 ], [ -500. , -350. ] [ -100. , 0.223-307 ], [ -500. , -400. ] [ -100. , 0.223-307 ], [ -500. , -400. ] [ -3.00 , 0.223-307 ], [ -500. , -497. ] [ -25.0 , 0.223-307 ], [ -500. , -475. ] [ -125. , -100. ], [ -400. , -375. ] ------------------------------------------------ Solution box number: 3 with overall box index: 101 [ 0.00 , 100. ], [ 125. , 200. ] [ 0.00 , 118. ], [ 7.47 , 175. ] [ 0.00 , 100. ], [ 0.00 , 75.0 ] [ 0.00 , 2.40 ], [ 0.00 , 25.0 ] [ 125. , 150. ] LP solution: 13.9 , 200. , 34.7 , 129. , 0.00 , 50.0 1.33 , 13.9 , 150. LP solution possibly adjusted with a point optimizer: 13.9 , 200. , 34.7 , 129. , 0.00 , 50.0 1.33 , 13.9 , 150. Objective bounds over the solution box: [ -738. , 0.286E+04 ] Equality constraint bounds over the box: [ 0.00 , 0.00 ], [ 0.00 , 0.00 ] [ 0.00 , 0.00 ], [ 0.00 , 0.00 ] Inequality constraint bounds over the box: [ -250. , 0.00 ], [ -300. , 0.00 ] [ -100. , 0.223-307 ], [ -100. , 0.114E-12 ] [ -200. , -125. ], [ -75.0 , 0.227E-12 ] [ -118. , 0.223-307 ], [ -500. , -382. ] [ -175. , -7.47 ], [ -493. , -325. ] [ -100. , 0.223-307 ], [ -500. , -400. ] [ -75.0 , 0.223-307 ], [ -500. , -425. ] [ -2.40 , 0.223-307 ], [ -500. , -498. ] [ -25.0 , 0.223-307 ], [ -500. , -475. ] [ -150. , -125. ], [ -375. , -350. ] ------------------------------------------------ Solution box number: 4 with overall box index: 121 [ 0.00 , 100. ], [ 150. , 200. ] [ 0.00 , 100. ], [ 49.9 , 200. ] [ 0.00 , 100. ], [ 0.00 , 50.0 ] [ 0.00 , 2.00 ], [ 0.00 , 25.0 ] [ 150. , 175. ] LP solution: 0.00 , 200. , 37.5 , 137. , 0.00 , 25.0 1.43 , 0.00 , 175. LP solution possibly adjusted with a point optimizer: 0.00 , 200. , 37.5 , 137. , 0.00 , 25.0 1.43 , 0.00 , 175. Objective bounds over the solution box: [ -738. , 0.245E+04 ] Equality constraint bounds over the box: [ 0.00 , 0.00 ], [ 0.00 , 0.00 ] [ 0.00 , 0.00 ], [ 0.00 , 0.00 ] Inequality constraint bounds over the box: [ -250. , 0.00 ], [ -300. , 0.00 ] [ -100. , 0.223-307 ], [ -100. , 0.114E-12 ] [ -200. , -150. ], [ -50.0 , 0.227E-12 ] [ -100. , 0.223-307 ], [ -500. , -400. ] [ -200. , -49.9 ], [ -450. , -300. ] [ -100. , 0.223-307 ], [ -500. , -400. ] [ -50.0 , 0.223-307 ], [ -500. , -450. ] [ -2.00 , 0.223-307 ], [ -500. , -498. ] [ -25.0 , 0.223-307 ], [ -500. , -475. ] [ -175. , -150. ], [ -350. , -325. ] ------------------------------------------------ Solution box number: 5 with overall box index: 141 [ 0.00 , 100. ], [ 175. , 200. ] [ 0.00 , 83.9 ], [ 91.0 , 225. ] [ 0.00 , 100. ], [ 0.00 , 25.0 ] [ 0.241 , 1.71 ], [ 0.00 , 25.0 ] [ 175. , 200. ] LP solution: 0.00 , 200. , 50.0 , 150. , 0.00 , 0.00 1.50 , 0.00 , 200. LP solution possibly adjusted with a point optimizer: 0.00 , 200. , 50.0 , 150. , 0.00 , 0.00 1.50 , 0.00 , 200. Objective bounds over the solution box: [ -750. , 0.205E+04 ] Equality constraint bounds over the box: [ 0.00 , 0.00 ], [ 0.00 , 0.00 ] [ 0.00 , 0.00 ], [ 0.00 , 0.00 ] Inequality constraint bounds over the box: [ -250. , 0.00 ], [ -252. , 0.00 ] [ -100. , 0.223-307 ], [ -100. , 0.114E-12 ] [ -200. , -175. ], [ -25.0 , 0.227E-12 ] [ -84.0 , 0.223-307 ], [ -500. , -416. ] [ -225. , -91.0 ], [ -409. , -275. ] [ -100. , 0.223-307 ], [ -500. , -400. ] [ -25.0 , 0.223-307 ], [ -500. , -475. ] [ -1.71 , -0.190 ], [ -500. , -498. ] [ -25.0 , 0.223-307 ], [ -500. , -475. ] [ -200. , -175. ], [ -325. , -300. ] ------------------------------------------------ Solution box number: 6 with overall box index: 142 [ 25.0 , 100. ], [ 175. , 200. ] [ 0.00 , 92.9 ], [ 107. , 247. ] [ 0.00 , 75.0 ], [ 0.00 , 25.0 ] [ 0.107 , 1.71 ], [ 25.0 , 50.0 ] [ 175. , 200. ] LP solution: 25.0 , 200. , 56.3 , 169. , 0.00 , 0.00 1.50 , 25.0 , 200. LP solution possibly adjusted with a point optimizer: 25.0 , 200. , 56.2 , 169. , 0.00 , 0.00 1.50 , 25.0 , 200. Objective bounds over the solution box: [ -694. , -694. ] Equality constraint bounds over the box: [ 0.00 , 0.00 ], [ 0.00 , 0.00 ] [ 0.00 , 0.00 ], [ 0.00 , 0.00 ] Inequality constraint bounds over the box: [ -247. , 0.00 ], [ -279. , 0.00 ] [ -100. , -25.0 ], [ -75.0 , 0.114E-12 ] [ -200. , -175. ], [ -25.0 , 0.227E-12 ] [ -92.9 , 0.223-307 ], [ -500. , -407. ] [ -247. , -107. ], [ -393. , -253. ] [ -75.0 , 0.223-307 ], [ -500. , -425. ] [ -25.0 , 0.223-307 ], [ -500. , -475. ] [ -1.71 , 0.223-307 ], [ -500. , -498. ] [ -50.0 , -25.0 ], [ -475. , -450. ] [ -200. , -175. ], [ -325. , -300. ] ------------------------------------------------ Solution box number: 7 with overall box index: 161 [ 0.00 , 100. ], [ 200. , 200. ] [ 0.00 , 68.8 ], [ 131. , 225. ] [ 0.00 , 100. ], [ 0.00 , 0.223-307 ] [ 0.468 , 1.50 ], [ 0.00 , 25.0 ] [ 200. , 200. ] LP solution: 0.00 , 200. , 50.0 , 150. , 0.00 , 0.00 1.50 , 0.00 , 200. LP solution possibly adjusted with a point optimizer: 0.00 , 200. , 50.0 , 150. , 0.00 , 0.00 1.50 , 0.00 , 200. Objective bounds over the solution box: [ -750. , 0.134E+04 ] Equality constraint bounds over the box: [ 0.00 , 0.00 ], [ 0.00 , 0.00 ] [ 0.00 , 0.00 ], [ 0.00 , 0.00 ] Inequality constraint bounds over the box: [ -250. , 0.00 ], [ -206. , 0.00 ] [ -100. , 0.223-307 ], [ -100. , 0.114E-12 ] [ -200. , -200. ], [ -0.227E-12, 0.227E-12 ] [ -68.8 , 0.223-307 ], [ -500. , -431. ] [ -225. , -131. ], [ -369. , -275. ] [ -100. , 0.223-307 ], [ -500. , -400. ] [ -0.223-307, 0.223-307 ], [ -500. , -500. ] [ -1.50 , -0.444 ], [ -500. , -498. ] [ -25.0 , 0.223-307 ], [ -500. , -475. ] [ -200. , -200. ], [ -300. , -300. ] ------------------------------------------------ Solution box number: 8 with overall box index: 162 [ 25.0 , 100. ], [ 200. , 200. ] [ 0.00 , 75.0 ], [ 150. , 247. ] [ 0.00 , 75.0 ], [ 0.00 , 0.223-307 ] [ 0.375 , 1.50 ], [ 25.0 , 50.0 ] [ 200. , 200. ] LP solution: 25.0 , 200. , 56.3 , 169. , 0.00 , 0.00 1.50 , 25.0 , 200. LP solution possibly adjusted with a point optimizer: 25.0 , 200. , 56.2 , 169. , 0.00 , 0.00 1.50 , 25.0 , 200. Objective bounds over the solution box: [ -694. , -694. ] Equality constraint bounds over the box: [ 0.00 , 0.00 ], [ 0.00 , 0.00 ] [ 0.00 , 0.00 ], [ 0.00 , 0.00 ] Inequality constraint bounds over the box: [ -241. , 0.00 ], [ -225. , 0.00 ] [ -100. , -25.0 ], [ -75.0 , 0.114E-12 ] [ -200. , -200. ], [ -0.227E-12, 0.227E-12 ] [ -75.1 , 0.223-307 ], [ -500. , -425. ] [ -247. , -150. ], [ -350. , -253. ] [ -75.0 , 0.223-307 ], [ -500. , -425. ] [ -0.223-307, 0.223-307 ], [ -500. , -500. ] [ -1.50 , -0.347 ], [ -500. , -498. ] [ -50.0 , -25.0 ], [ -475. , -450. ] [ -200. , -200. ], [ -300. , -300. ] ------------------------------------------------ No. dense interval residual evaluations -- gradient code list: 45 Number of orig. system inverse midpoint preconditioner rows: 247 Number of solutions for a component in the expanded system: 30591 Total number of forward_substitutions: 129 Number of Gauss--Seidel steps on the dense system: 142 Number point dense residual evaluations, gradient codelist: 857 Total number dense interval constraint evaluations: 4128 Total number dense interval constraint gradient component evaluations: 14688 Total number dense point constraint gradient component evaluations: 181872 Total time spent in subsit (constraint propagation): 0.800E-02 Number of times SUBSIT decreased one or more coordinate widths: 61 Number of times SUBSIT rejected a box: 355