Output from FIND_GLOBAL_MIN on 05/04/2012 at 22:01:04. 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. ] BOUND_CONSTRAINT: F F F F F F F F F F F F F F F F F F --------------------------------------- CONFIGURATION VALUES: EPS_DOMAIN: 0.1000D-07 MAXITR: 500000 SMALLEST_LIST_BOX_SIZE = 0.0000D+00 A_PRIORI_UPPER_BOUND (on global optimum): 0.180+309 MAX_CPU_SECONDS: 0.720E+04 MAX_LP_PRE: 10000000 ALSO_PRINT_TO_TERMINAL F NO_ABSOLUTE_VALUE_IN_MINIMAX F MAX_PT_SOLVER_ITER 3000 MAX_SMALL_BOXES 2000 MAX_BEFORE_AMALGAMATE 200 DO_INTERVAL_NEWTON: T QUADRATIC: T FULL_SPACE: F VERY_GOOD_INITIAL_GUESS: F USE_SUBSIT: T OUTPUT UNIT: 7 PRINT_LENGTH: 3 USE_INTRINSIC_PRINTING: T PHI_MUST_CONVERGE: T EQ_CNS_MUST_CONVERGE: T INEQ_CNS_MUST_CONVERGE: T ALLOW_EPSILON_APPROXIMATE: F USES_INTERMEDIATE_VARIABLES: F PHI_THICKNESS_FACTOR: 0.500 EQ_CNS_THICKNESS_FACTOR: 0.500 INEQ_CNS_THICKNESS_FACTOR: 0.500 PHI_MUST_CONVERGE: T EQ_CNS_MUST_CONVERGE: T INEQ_CNS_MUST_CONVERGE: T PHI_CONVERGENCE_FACTOR: 0.100E-13 EQ_CNS_CONVERGENCE_FACTOR: 0.100E-13 INEQ_CNS_CONVERGENCE_FACTOR: 0.100E-13 CONTINUITY_ACROSS_BRANCHES: F SINGULAR_EXPANSION_FACTOR: 10.0 HEURISTIC PARAMETER ALPHA: 0.500 APPROX_OPT_BEFORE_BISECTION: F APPROX_OPTIMIZER_TYPE 7 USE_LP: T ITERATE__LP: F EPS_LP_FIT: 1.00000000000000002E-002 USE_EPPERLY_SPLIT: 0 PRINTING_IN_SPLIT 0 USE_REDUCED_SPACE: F REDUCED_IN_BISECTION: T USE_TAYLOR_EQUALITY_CONSTRAINTS F USE_TAYLOR_INEQ_CONSTRAINTS F USE_TAYLOR_OBJECTIVE F USE_TAYLOR_EQ_CNS_GRD F USE_TAYLOR_GRAD F USE_TAYLOR_INEQ_CNS_GRD F USE_TAYLOR_REDUCED_INEWTON F COSY_POLYNOMIAL_ORDER 5 LEAST_SQUARES_FUNCTIONS: F NONLINEAR_SYSTEM: F UNCONSTRAINED_MINIMAX: F NO_ABSOLUTE_VALUE_IN_MINIMAX: F DO_INFEASIBILITY_CHECK: T DO_PIVOTING: T DO_INV_MID: T TRY_C_LP_HEURISTIC: 10000000000.000000 REUSE_PRECONDITIONERS: T ORDERED_LIST_IN_COMPLEMENTATION 1 DO_PROBE: F DO_PROBE_TESTS_3_AND_4: F USE_INEQ_PERTURB_FOR_FEAS: F DO_SPLITS_IN_SUBSIT F PRINTING_IN_VALIDATE_FJ: 0 PRINT_SUBSIT: 0 ALSO_PRINT_TO_TERMINAL F C-LP is used for computing C-LP preconditioners. UNCONSTRAINED_MINIMAX F NO_ABSOLUTE_VALUE_IN_MINIMAX F MINIMAX_FORMULATION_2 T C_LP_DENSE, Manuel Novoa's special routine, was used to compute LP preconditioners. LIST OF SMALL BOXES: Box no.: 1 Box coordinates: [ 0.00 , 0.150E-02 ], [ 200. , 200. ] [ 50.0 , 50.1 ], [ 150. , 150. ] [ 0.00 , 0.150E-02 ], [ 0.00 , 0.150E-02 ] [ 1.50 , 1.50 ], [ 0.00 , 0.150E-02 ] [ 200. , 200. ] PHI: [ -752. , -743. ] Box contains the following approximate root: -0.999E-08, 200. , 50.0 , 150. , 0.202E-11, -0.998E-08 1.50 , -0.999E-08, 200. OBJECTIVE ENCLOSURE AT APPROXIMATE ROOT: [ -750. , -750. ] Unknown = T Contains_root = F Fritz John multiplier U0: [ 0.290E-01, 0.320E-01 ] Fritz John multipliers U: [ 0.00 , 0.821E-01 ], [ 0.101 , 0.112 ] [ 0.00 , 0.324E-01 ], [ 0.00 , 1.00 ] [ 0.00 , 0.500 ], [ 0.109 , 0.120 ] [ 0.00 , 1.00 ], [ 0.00 , 1.00 ] [ 0.00 , 1.00 ], [ 0.00 , 1.00 ] [ 0.00 , 0.339E-01 ], [ 0.00 , 1.00 ] [ 0.145E-01, 0.160E-01 ], [ 0.00 , 1.00 ] [ 0.00 , 1.00 ], [ 0.00 , 1.00 ] [ 0.00 , 0.756E-01 ], [ 0.00 , 1.00 ] [ 0.00 , 1.00 ], [ 0.00 , 1.00 ] Fritz John multipliers V: [ 0.478 , 0.528 ], [ 0.268 , 0.458 ] [ 0.478 , 0.528 ], [ -0.112 , -0.101 ] INEQ_CERT_FEASIBLE: F F F T T F T T T T F T F T T T F T T T NIN_POSS_BINDING: 7 ------------------------------------------------- Box no.: 2 Box coordinates: [ 12.5 , 12.5 ], [ 200. , 200. ] [ 53.1 , 53.2 ], [ 159. , 160. ] [ 0.00 , 0.150E-02 ], [ 0.00 , 0.150E-02 ] [ 1.50 , 1.50 ], [ 12.5 , 12.5 ] [ 200. , 200. ] PHI: [ -724. , -715. ] Box contains the following approximate root: -0.999E-08, 200. , 50.0 , 150. , 0.432E-11, -0.998E-08 1.50 , -0.999E-08, 200. OBJECTIVE ENCLOSURE AT APPROXIMATE ROOT: [ -750. , -750. ] Unknown = T Contains_root = F Fritz John multiplier U0: [ 0.275E-01, 0.328E-01 ] Fritz John multipliers U: [ 0.00 , 0.829E-01 ], [ 0.944E-01, 0.121 ] [ 0.00 , 0.345E-01 ], [ 0.00 , 1.00 ] [ 0.00 , 0.500 ], [ 0.101 , 0.125 ] [ 0.00 , 1.00 ], [ 0.00 , 1.00 ] [ 0.00 , 1.00 ], [ 0.00 , 1.00 ] [ 0.00 , 0.556E-01 ], [ 0.00 , 1.00 ] [ 0.898E-02, 0.231E-01 ], [ 0.00 , 1.00 ] [ 0.00 , 1.00 ], [ 0.00 , 1.00 ] [ 0.00 , 0.113 ], [ 0.00 , 1.00 ] [ 0.00 , 1.00 ], [ 0.00 , 1.00 ] Fritz John multipliers V: [ 0.455 , 0.541 ], [ 0.240 , 0.482 ] [ 0.455 , 0.547 ], [ -0.115 , -0.964E-01 ] INEQ_CERT_FEASIBLE: F F F T T F T T T T F T F T T T F T T T NIN_POSS_BINDING: 7 ------------------------------------------------- Box no.: 3 Box coordinates: [ 74.9 , 75.1 ], [ 150. , 150. ] [ 0.00 , 0.150E-02 ], [ 93.7 , 93.8 ] [ 74.9 , 75.1 ], [ 56.2 , 56.3 ] [ 0.999 , 1.00 ], [ 0.00 , 0.150E-02 ] [ 93.7 , 93.8 ] PHI: [ -399. , -388. ] Box contains the following approximate root: -0.999E-08, 200. , 50.0 , 150. , 0.820E-12, -0.998E-08 1.50 , -0.999E-08, 200. OBJECTIVE ENCLOSURE AT APPROXIMATE ROOT: [ -750. , -750. ] Unknown = T Contains_root = F Fritz John multiplier U0: [ 0.00 , 0.143E-01 ] Fritz John multipliers U: [ 0.00 , 0.401E-01 ], [ 0.00 , 0.141 ] [ 0.00 , 0.606E-01 ], [ 0.00 , 0.213E-01 ] [ 0.00 , 0.500 ], [ 0.00 , 0.303 ] [ 0.302 , 0.668 ], [ 0.00 , 1.00 ] [ 0.00 , 1.00 ], [ 0.00 , 1.00 ] [ 0.00 , 1.00 ], [ 0.00 , 1.00 ] [ 0.00 , 1.00 ], [ 0.00 , 1.00 ] [ 0.00 , 1.00 ], [ 0.00 , 1.00 ] [ 0.00 , 0.175 ], [ 0.00 , 1.00 ] [ 0.00 , 1.00 ], [ 0.00 , 1.00 ] Fritz John multipliers V: [ 0.296 , 0.483 ], [ -0.855E-14, 0.225 ] [ -0.866E-14, 0.426 ], [ -0.471 , -0.184 ] INEQ_CERT_FEASIBLE: F F T F T T F T T T T T T T T T F T T T NIN_POSS_BINDING: 5 ------------------------------------------------- Box no.: 4 Box coordinates: [ 99.8 , 100. ], [ 0.00 , 0.150E-02 ] [ 74.7 , 74.9 ], [ 24.8 , 24.9 ] [ 0.332 , 0.334 ], [ 0.00 , 0.150E-02 ] [ 2.50 , 2.50 ], [ 99.5 , 99.7 ] [ 0.00 , 0.150E-02 ] PHI: [ -126. , -123. ] Box contains the following approximate root: 100. , 0.300E-07, 75.0 , 25.0 , -0.998E-08, 0.400E-07 2.50 , 100. , -0.100E-07 OBJECTIVE ENCLOSURE AT APPROXIMATE ROOT: [ -125. , -125. ] Unknown = T Contains_root = F Fritz John multiplier U0: [ 0.00 , 0.389E-15 ] Fritz John multipliers U: [ 0.00 , 0.170E-14 ], [ 0.307 , 0.317 ] [ 0.00 , 0.333E-01 ], [ 0.00 , 0.309E-13 ] [ 0.00 , 0.159 ], [ 0.00 , 1.00 ] [ 0.00 , 1.00 ], [ 0.00 , 1.00 ] [ 0.00 , 1.00 ], [ 0.00 , 1.00 ] [ 0.00 , 0.174E-01 ], [ 0.00 , 1.00 ] [ 0.00 , 0.162 ], [ 0.00 , 1.00 ] [ 0.00 , 1.00 ], [ 0.00 , 1.00 ] [ 0.00 , 1.00 ], [ 0.00 , 1.00 ] [ 0.154 , 0.322 ], [ 0.00 , 1.00 ] Fritz John multipliers V: [ -0.448E-19, 0.506E-14 ], [ -0.270E-28, 0.506E-14 ] [ 0.465 , 0.629 ], [ -0.325E-18, 0.149E-19 ] INEQ_CERT_FEASIBLE: T F T T F T T T T T T T F T T T T T F T NIN_POSS_BINDING: 4 ------------------------------------------------- Box no.: 5 Box coordinates: [ 99.8 , 100. ], [ 0.00 , 0.150E-02 ] [ 74.6 , 74.8 ], [ 24.7 , 24.8 ] [ 0.556 , 0.558 ], [ 0.00 , 0.150E-02 ] [ 2.50 , 2.50 ], [ 99.3 , 99.5 ] [ 0.00 , 0.150E-02 ] PHI: [ -126. , -122. ] Box contains the following approximate root: 100. , 0.300E-07, 75.0 , 25.0 , -0.998E-08, 0.400E-07 2.50 , 100. , -0.100E-07 OBJECTIVE ENCLOSURE AT APPROXIMATE ROOT: [ -125. , -125. ] Unknown = T Contains_root = F Fritz John multiplier U0: [ 0.00 , 0.462E-15 ] Fritz John multipliers U: [ 0.00 , 0.187E-14 ], [ 0.307 , 0.317 ] [ 0.00 , 0.333E-01 ], [ 0.00 , 0.306E-13 ] [ 0.00 , 0.159 ], [ 0.00 , 1.00 ] [ 0.00 , 1.00 ], [ 0.00 , 1.00 ] [ 0.00 , 1.00 ], [ 0.00 , 1.00 ] [ 0.00 , 0.194E-01 ], [ 0.00 , 1.00 ] [ 0.00 , 0.162 ], [ 0.00 , 1.00 ] [ 0.00 , 1.00 ], [ 0.00 , 1.00 ] [ 0.00 , 1.00 ], [ 0.00 , 1.00 ] [ 0.153 , 0.323 ], [ 0.00 , 1.00 ] Fritz John multipliers V: [ -0.700E-19, 0.277E-14 ], [ -0.245E-28, 0.277E-14 ] [ 0.464 , 0.628 ], [ -0.336E-18, 0.233E-19 ] INEQ_CERT_FEASIBLE: T F T T F T T T T T T T F T T T T T F T NIN_POSS_BINDING: 4 ------------------------------------------------- Box no.: 6 Box coordinates: [ 87.4 , 87.6 ], [ 74.9 , 75.1 ] [ 0.00 , 0.150E-02 ], [ 65.6 , 65.7 ] [ 87.4 , 87.6 ], [ 9.37 , 9.38 ] [ 0.999 , 1.00 ], [ 0.00 , 0.150E-02 ] [ 65.6 , 65.7 ] PHI: [ -94.4 , -86.9 ] Box contains the following approximate root: -0.999E-08, 200. , 50.0 , 150. , 0.130E-11, -0.998E-08 1.50 , -0.999E-08, 200. OBJECTIVE ENCLOSURE AT APPROXIMATE ROOT: [ -750. , -750. ] Unknown = T Contains_root = F Fritz John multiplier U0: [ 0.00 , 0.668E-14 ] Fritz John multipliers U: [ 0.00 , 0.500 ], [ 0.00 , 0.206 ] [ 0.00 , 0.333E-01 ], [ 0.00 , 0.200E-14 ] [ 0.00 , 0.250 ], [ 0.00 , 1.00 ] [ 0.356 , 0.935 ], [ 0.00 , 1.00 ] [ 0.00 , 1.00 ], [ 0.00 , 1.00 ] [ 0.00 , 1.00 ], [ 0.00 , 1.00 ] [ 0.00 , 0.145 ], [ 0.00 , 1.00 ] [ 0.00 , 1.00 ], [ 0.00 , 1.00 ] [ 0.00 , 0.999E-01 ], [ 0.00 , 1.00 ] [ 0.00 , 0.683 ], [ 0.00 , 1.00 ] Fritz John multipliers V: [ -0.716E-14, 0.418 ], [ -0.350E-14, 0.163E-13 ] [ -0.200E-13, 0.408 ], [ -0.454 , -0.162 ] INEQ_CERT_FEASIBLE: T F T F T T F T T T T T F T T T F T T T NIN_POSS_BINDING: 5 ------------------------------------------------- Box no.: 7 Box coordinates: [ 87.4 , 87.6 ], [ 56.2 , 56.3 ] [ 0.00 , 0.150E-02 ], [ 37.5 , 37.5 ] [ 87.4 , 87.6 ], [ 18.7 , 18.8 ] [ 0.999 , 1.00 ], [ 0.00 , 0.150E-02 ] [ 37.5 , 37.5 ] PHI: [ -84.4 , -78.1 ] Box contains the following approximate root: -0.999E-08, 200. , 50.0 , 150. , 0.206E-11, -0.998E-08 1.50 , -0.999E-08, 200. OBJECTIVE ENCLOSURE AT APPROXIMATE ROOT: [ -750. , -750. ] Unknown = T Contains_root = F Fritz John multiplier U0: [ 0.00 , 0.420E-14 ] Fritz John multipliers U: [ 0.00 , 0.500 ], [ 0.00 , 0.188 ] [ 0.00 , 0.333E-01 ], [ 0.00 , 0.213E-14 ] [ 0.00 , 0.250 ], [ 0.00 , 1.00 ] [ 0.191 , 0.923 ], [ 0.00 , 1.00 ] [ 0.00 , 1.00 ], [ 0.00 , 1.00 ] [ 0.00 , 1.00 ], [ 0.00 , 1.00 ] [ 0.00 , 0.210 ], [ 0.00 , 1.00 ] [ 0.00 , 1.00 ], [ 0.00 , 1.00 ] [ 0.00 , 0.237 ], [ 0.00 , 1.00 ] [ 0.00 , 1.00 ], [ 0.00 , 1.00 ] Fritz John multipliers V: [ 0.278 , 0.500 ], [ -0.350E-14, 0.164E-13 ] [ -0.200E-13, 0.563 ], [ -0.457 , -0.150 ] INEQ_CERT_FEASIBLE: T F T F T T F T T T T T T T T T F T T T NIN_POSS_BINDING: 4 ------------------------------------------------- THERE WERE NO BOXES CORRESPONDING TO VERIFIED FEASIBLE POINTS. ALGORITHM COULD NOT COMPLETE IN 0.7200D+04 SECONDS OF CPU TIME. Number of boxes that have not yet been processed: 112755 Number of bisections: 236194 No. dense interval residual evaluations -- gradient code list: 6859530 Number of orig. system inverse midpoint preconditioner rows: 30765095 Number of orig. system C-LP preconditioner rows: 4198297 Number of solutions for a component in the expanded system: 56276988 Total number of forward_substitutions: 30966348 Number of Gauss--Seidel steps on the dense system: 40877794 Number point dense residual evaluations, gradient codelist: 25765 Number of gradient evaluations from a gradient code list: 1461947 Total number of dense slope matrix evaluations: 27494945 Total number second-order interval evaluations of the original function: 736595 Total number dense interval constraint evaluations: 357416224 Total number dense interval constraint gradient component evaluations: -2047427392 Total number dense point constraint gradient component evaluations: 54837720 Total number dense interval reduced gradient evaluations: 11940384 Total number of calls to FRITZ_JOHN_RESIDUALS: 2997042 Number of times a box was rejected because the constraints were not satisfied: 2380 Number of times a box was rejected because the gradient or reduced gradient did not contain zero: 23890 Number of times a box was rejected due to infeasibility in LP_FILTER: 1 Average number of overall loop iterations in each call to the reduced interval Newton method): 9.47 Number of times a box was rejected in the interval Newton method due to an empty intersection: 35798 Number of times the interval Newton method made a coordinate interval smaller: 5200359 Number of times a pivoting preconditioner made a coordinate interval smaller or rejected a coordinate: 1286214 Number of times a pivoting preconditioner was successful after the first sweep: 1217291 Number of times a midpoint matrix was factored: 1852001 Total number of times the reduced interval Newton method was tried: 318818 Number of times an inverse midpoint preconditioner led to improvement or rejection: 2293418 Number of times a C LP preconditioner led to improvement or rejection: 1656525 Number of times computing a C_LP failed 9997 N_C_LP_INFEASIBLE = 175877 N_REJECT_WITH_LP filter = 1 N_LPF_INF_OR_UNB = 175877 Number of times a C LP preconditioner was not computed because the heuristic determined it was not worth it: 1 Number of possible splits as detected by the pivoting preconditioner: 2973150 Total time spent in the LP filter (creating and solving the LP): 955. Total time spent in subsit (constraint propagation): 26.6 Total time spent in reduced_interval_Newton (iteration to reduce the box): 0.411E+04 Total time spent actually solving the linear relaxations: 882. Total time spent doing linear algebra (preconditioners and solution processes): 0.299E+04 Total time spent running the approximate optimizer: 6.84 LIST_BOOKKEEPING_TIME: 0.188E+04 FUNCTION_EVALUATION_TIME (in forward_substitution): 175. Time spent setting up pivoting preconditioners: 309. Time spent computing pivoting preconditioners: 192. Time spent computing LP preconditioners: 412. Time spent computing inverse midpoint preconditioners: 122. Number of times MAXIT was exceeded in C_LP_DENSE: 45510 Number of unbounded problems found in C_LP_DENSE: 9997 Number of times the approximate solver was called: 1121 Number Fritz-John matrix evaluations: 2973150 Number of times SUBSIT decreased one or more coordinate widths: 179391 Number of times SUBSIT rejected a box: 33094 Number times a box was rejected due infeasible inequality constraints: 21676 Total number of boxes processed in loop: 351919 BEST_ESTIMATE: 0.195E+05 Overall CPU time: 0.720E+04 CPU time in PEEL_BOUNDARY: 0.00 CPU time in REDUCED_INTERVAL_NEWTON: 0.411E+04 =================================================== =================================================== Number of boxes in the list with proven feasible points: 0 Number of boxes in the list of other small boxes: 7 Number of unfathomed boxes: 112755 Interval hull of the small unverified boxes: [ 0.00 , 100. ], [ 0.00 , 200. ] [ 0.00 , 74.9 ], [ 24.7 , 160. ] [ 0.00 , 87.6 ], [ 0.00 , 56.3 ] [ 0.999 , 2.50 ], [ 0.00 , 99.7 ] [ 0.00 , 200. ] Interval hull of the unfathomed boxes: [ 0.00 , 100. ], [ 0.00 , 200. ] [ 0.00 , 75.0 ], [ 0.00 , 300. ] [ 0.00 , 100. ], [ 0.00 , 56.3 ] [ 0.00 , 500. ], [ 0.00 , 100. ] [ 0.00 , 200. ] Rigorously verified bounds on the optimum, provided an optimum exists: [ -752. , 0.215E+04 ] FIRST UNFINISHED BOX: Box coordinates: [ 100. , 100. ], [ 0.381E-03, 0.572E-03 ] [ 75.0 , 75.0 ], [ 25.0 , 25.0 ] [ 0.00 , 0.354E-03 ], [ 0.00 , 0.191E-03 ] [ 2.50 , 2.50 ], [ 100. , 100. ] [ 0.00 , 0.606E-03 ] PHI: [ -125. , -125. ] Box does not contain an approximate root. Unknown = T Contains_root = F Fritz John multiplier U0: [ 0.00 , 0.107E-04 ] Fritz John multipliers U: [ 0.00 , 0.122 ], [ 0.146 , 0.490 ] [ 0.00 , 0.333E-01 ], [ 0.00 , 0.593E-03 ] [ 0.00 , 0.250 ], [ 0.00 , 1.00 ] [ 0.00 , 1.00 ], [ 0.00 , 1.00 ] [ 0.00 , 1.00 ], [ 0.00 , 1.00 ] [ 0.00 , 0.583E-03 ], [ 0.00 , 1.00 ] [ 0.00 , 0.269 ], [ 0.00 , 1.00 ] [ 0.00 , 1.00 ], [ 0.00 , 1.00 ] [ 0.00 , 1.00 ], [ 0.00 , 1.00 ] [ 0.357E-01, 0.530 ], [ 0.00 , 1.00 ] Fritz John multipliers V: [ -0.716E-14, 0.177E-03 ], [ -0.936E-04, 0.177E-03 ] [ 0.381 , 0.822 ], [ -0.374E-04, 0.527E-14 ] INEQ_CERT_FEASIBLE: T F T F T T T T T T F T F T T T T T F T NIN_POSS_BINDING: 5 LAST UNFINISHED BOX: Box coordinates: [ 62.5 , 100. ], [ 12.5 , 31.3 ] [ 0.00 , 37.5 ], [ 113. , 150. ] [ 0.00 , 37.5 ], [ 0.00 , 35.2 ] [ 0.441 , 1.95 ], [ 62.5 , 100. ] [ 12.5 , 50.0 ] PHI: [ 93.7 , 0.215E+04 ] Box does not contain an approximate root. Unknown = T Contains_root = F Fritz John multiplier U0: [ 0.00 , 0.333E-01 ] Fritz John multipliers U: [ 0.00 , 0.800 ], [ 0.00 , 0.688 ] [ 0.00 , 0.363E-01 ], [ 0.00 , 1.00 ] [ 0.00 , 0.250 ], [ 0.00 , 1.00 ] [ 0.00 , 1.00 ], [ 0.00 , 1.00 ] [ 0.00 , 1.00 ], [ 0.00 , 1.00 ] [ 0.00 , 0.936 ], [ 0.00 , 1.00 ] [ 0.00 , 0.344 ], [ 0.00 , 1.00 ] [ 0.00 , 1.00 ], [ 0.00 , 1.00 ] [ 0.00 , 1.00 ], [ 0.00 , 1.00 ] [ 0.00 , 0.683 ], [ 0.00 , 1.00 ] Fritz John multipliers V: [ -0.772E-14, 1.00 ], [ -0.781 , 1.00 ] [ -0.200E-13, 1.00 ], [ -0.606 , 0.494E-14 ] INEQ_CERT_FEASIBLE: F F T F T T F T T T F T F T T T T T T T NIN_POSS_BINDING: 6 Total volume of the boxes that have not yet been processed: 33311858803117.215