-
-
Save Ph0non/b975edbb6d97c461b858 to your computer and use it in GitHub Desktop.
Pkg.test("Cbc")
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Cgl0004I processed model has 1 rows, 5 columns (5 integer) and 5 elements | |
| Cutoff increment increased from 1e-05 to 0.9999 | |
| Cbc0038I Solution found of -16 | |
| Cbc0038I Before mini branch and bound, 4 integers at bound fixed and 0 continuous | |
| Cbc0038I Mini branch and bound did not improve solution (0.00 seconds) | |
| Cbc0038I After 0.00 seconds - Feasibility pump exiting with objective of -16 - took 0.00 seconds | |
| Cbc0012I Integer solution of -16 found by feasibility pump after 0 iterations and 0 nodes (0.00 seconds) | |
| Cbc0001I Search completed - best objective -16, took 1 iterations and 0 nodes (0.00 seconds) | |
| Cbc0035I Maximum depth 0, 4 variables fixed on reduced cost | |
| Total time (CPU seconds): 0.00 (Wallclock seconds): 0.00 | |
| Optimization Services Solver | |
| Main Authors: Horand Gassmann, Jun Ma, and Kipp Martin | |
| Distributed under the Eclipse Public License | |
| OS Version: 2.9.1 | |
| Build Date: Mar 3 2015 | |
| ****************************************************************************** | |
| This program contains Ipopt, a library for large-scale nonlinear optimization. | |
| Ipopt is released as open source code under the Eclipse Public License (EPL). | |
| For more information visit http://projects.coin-or.org/Ipopt | |
| ****************************************************************************** | |
| Optimization Services Solver | |
| Main Authors: Horand Gassmann, Jun Ma, and Kipp Martin | |
| Distributed under the Eclipse Public License | |
| OS Version: 2.9.1 | |
| Build Date: Mar 3 2015 | |
| Optimization Services Solver | |
| Main Authors: Horand Gassmann, Jun Ma, and Kipp Martin | |
| Distributed under the Eclipse Public License | |
| OS Version: 2.9.1 | |
| Build Date: Mar 3 2015 | |
| Optimization Services Solver | |
| Main Authors: Horand Gassmann, Jun Ma, and Kipp Martin | |
| Distributed under the Eclipse Public License | |
| OS Version: 2.9.1 | |
| Build Date: Mar 3 2015 | |
| Optimization Services Solver | |
| Main Authors: Horand Gassmann, Jun Ma, and Kipp Martin | |
| Distributed under the Eclipse Public License | |
| OS Version: 2.9.1 | |
| Build Date: Mar 3 2015 | |
| Cbc3007W No integer variables - nothing to do | |
| Optimization Services Solver | |
| Main Authors: Horand Gassmann, Jun Ma, and Kipp Martin | |
| Distributed under the Eclipse Public License | |
| OS Version: 2.9.1 | |
| Build Date: Mar 3 2015 | |
| Optimization Services Solver | |
| Main Authors: Horand Gassmann, Jun Ma, and Kipp Martin | |
| Distributed under the Eclipse Public License | |
| OS Version: 2.9.1 | |
| Build Date: Mar 3 2015 | |
| Optimization Services Solver | |
| Main Authors: Horand Gassmann, Jun Ma, and Kipp Martin | |
| Distributed under the Eclipse Public License | |
| OS Version: 2.9.1 | |
| Build Date: Mar 3 2015 | |
| Optimization Services Solver | |
| Main Authors: Horand Gassmann, Jun Ma, and Kipp Martin | |
| Distributed under the Eclipse Public License | |
| OS Version: 2.9.1 | |
| Build Date: Mar 3 2015 | |
| Presolve 0 (-1) rows, 0 (-3) columns and 0 (-3) elements | |
| Optimal - objective value 3.3 | |
| After Postsolve, objective 3.3, infeasibilities - dual 0.9999999 (1), primal 0 (0) | |
| Presolved model was optimal, full model needs cleaning up | |
| 0 Obj 3.3 Dual inf 0.9999999 (1) | |
| 1 Obj 3.3 | |
| Optimal - objective value 3.3 | |
| Optimal objective 3.3 - 1 iterations time 0.002, Presolve 0.00 | |
| Cbc0045I Solution with objective value -3.3 saved | |
| Presolve 0 (-3) rows, 0 (-3) columns and 0 (-7) elements | |
| Optimal - objective value 2.2 | |
| After Postsolve, objective 2.2, infeasibilities - dual 0.9999999 (1), primal 0 (0) | |
| Presolved model was optimal, full model needs cleaning up | |
| 0 Obj 2.2 Dual inf 0.9999999 (1) | |
| 1 Obj 2.2 | |
| Optimal - objective value 2.2 | |
| Optimal objective 2.2 - 1 iterations time 0.002, Presolve 0.00 | |
| Cbc0045I Solution with objective value -2.2 saved | |
| Presolve 0 (-3) rows, 0 (-3) columns and 0 (-7) elements | |
| Optimal - objective value 101.1 | |
| After Postsolve, objective 101.1, infeasibilities - dual 0 (0), primal 0 (0) | |
| Optimal objective 101.1 - 0 iterations time 0.002, Presolve 0.00 | |
| Cbc0045I Solution with objective value -101.1 saved | |
| Optimization Services Solver | |
| Main Authors: Horand Gassmann, Jun Ma, and Kipp Martin | |
| Distributed under the Eclipse Public License | |
| OS Version: 2.9.1 | |
| Build Date: Mar 3 2015 | |
| Optimization Services Solver | |
| Main Authors: Horand Gassmann, Jun Ma, and Kipp Martin | |
| Distributed under the Eclipse Public License | |
| OS Version: 2.9.1 | |
| Build Date: Mar 3 2015 | |
| Optimization Services Solver | |
| Main Authors: Horand Gassmann, Jun Ma, and Kipp Martin | |
| Distributed under the Eclipse Public License | |
| OS Version: 2.9.1 | |
| Build Date: Mar 3 2015 | |
| Optimization Services Solver | |
| Main Authors: Horand Gassmann, Jun Ma, and Kipp Martin | |
| Distributed under the Eclipse Public License | |
| OS Version: 2.9.1 | |
| Build Date: Mar 3 2015 | |
| Optimization Services Solver | |
| Main Authors: Horand Gassmann, Jun Ma, and Kipp Martin | |
| Distributed under the Eclipse Public License | |
| OS Version: 2.9.1 | |
| Build Date: Mar 3 2015 | |
| Optimization Services Solver | |
| Main Authors: Horand Gassmann, Jun Ma, and Kipp Martin | |
| Distributed under the Eclipse Public License | |
| OS Version: 2.9.1 | |
| Build Date: Mar 3 2015 | |
| Optimization Services Solver | |
| Main Authors: Horand Gassmann, Jun Ma, and Kipp Martin | |
| Distributed under the Eclipse Public License | |
| OS Version: 2.9.1 | |
| Build Date: Mar 3 2015 | |
| Optimization Services Solver | |
| Main Authors: Horand Gassmann, Jun Ma, and Kipp Martin | |
| Distributed under the Eclipse Public License | |
| OS Version: 2.9.1 | |
| Build Date: Mar 3 2015 | |
| Optimization Services Solver | |
| Main Authors: Horand Gassmann, Jun Ma, and Kipp Martin | |
| Distributed under the Eclipse Public License | |
| OS Version: 2.9.1 | |
| Build Date: Mar 3 2015 | |
| Optimization Services Solver | |
| Main Authors: Horand Gassmann, Jun Ma, and Kipp Martin | |
| Distributed under the Eclipse Public License | |
| OS Version: 2.9.1 | |
| Build Date: Mar 3 2015 | |
| Optimal - objective value 1 | |
| Optimal objective 1 - 0 iterations time 0.002 | |
| Cbc0045I Solution with objective value -1 saved | |
| Optimal - objective value 0 | |
| Optimal objective 0 - 0 iterations time 0.002 | |
| Cbc0045I Solution with objective value 0 saved | |
| Optimization Services Solver | |
| Main Authors: Horand Gassmann, Jun Ma, and Kipp Martin | |
| Distributed under the Eclipse Public License | |
| OS Version: 2.9.1 | |
| Build Date: Mar 3 2015 | |
| Optimization Services Solver | |
| Main Authors: Horand Gassmann, Jun Ma, and Kipp Martin | |
| Distributed under the Eclipse Public License | |
| OS Version: 2.9.1 | |
| Build Date: Mar 3 2015 | |
| Optimization Services Solver | |
| Main Authors: Horand Gassmann, Jun Ma, and Kipp Martin | |
| Distributed under the Eclipse Public License | |
| OS Version: 2.9.1 | |
| Build Date: Mar 3 2015 | |
| Optimization Services Solver | |
| Main Authors: Horand Gassmann, Jun Ma, and Kipp Martin | |
| Distributed under the Eclipse Public License | |
| OS Version: 2.9.1 | |
| Build Date: Mar 3 2015 | |
| Optimization Services Solver | |
| Main Authors: Horand Gassmann, Jun Ma, and Kipp Martin | |
| Distributed under the Eclipse Public License | |
| OS Version: 2.9.1 | |
| Build Date: Mar 3 2015 | |
| Optimization Services Solver | |
| Main Authors: Horand Gassmann, Jun Ma, and Kipp Martin | |
| Distributed under the Eclipse Public License | |
| OS Version: 2.9.1 | |
| Build Date: Mar 3 2015 | |
| Optimization Services Solver | |
| Main Authors: Horand Gassmann, Jun Ma, and Kipp Martin | |
| Distributed under the Eclipse Public License | |
| OS Version: 2.9.1 | |
| Build Date: Mar 3 2015 | |
| ****************************************************************************** | |
| This program contains Ipopt, a library for large-scale nonlinear optimization. | |
| Ipopt is released as open source code under the Eclipse Public License (EPL). | |
| For more information visit http://projects.coin-or.org/Ipopt | |
| ****************************************************************************** | |
| Optimization Services Solver | |
| Main Authors: Horand Gassmann, Jun Ma, and Kipp Martin | |
| Distributed under the Eclipse Public License | |
| OS Version: 2.9.1 | |
| Build Date: Mar 3 2015 | |
| ****************************************************************************** | |
| This program contains Ipopt, a library for large-scale nonlinear optimization. | |
| Ipopt is released as open source code under the Eclipse Public License (EPL). | |
| For more information visit http://projects.coin-or.org/Ipopt | |
| ****************************************************************************** | |
| Optimization Services Solver | |
| Main Authors: Horand Gassmann, Jun Ma, and Kipp Martin | |
| Distributed under the Eclipse Public License | |
| OS Version: 2.9.1 | |
| Build Date: Mar 3 2015 | |
| NLP0012I | |
| Num Status Obj It time Location | |
| NLP0014I 1 OPT 247 6 0.002 | |
| Coin0506I Presolve 0 (-4) rows, 0 (-8) columns and 0 (-10) elements | |
| Clp0000I Optimal - objective value 247 | |
| Clp0032I Optimal objective 247 - 0 iterations time 0.002, Presolve 0.00 | |
| Clp0000I Optimal - objective value 247 | |
| NLP0014I 2 OPT 247 0 0 | |
| Clp0000I Optimal - objective value 247 | |
| Optimization Services Solver | |
| Main Authors: Horand Gassmann, Jun Ma, and Kipp Martin | |
| Distributed under the Eclipse Public License | |
| OS Version: 2.9.1 | |
| Build Date: Mar 3 2015 | |
| NLP0012I | |
| Num Status Obj It time Location | |
| NLP0014I 1 OPT 247 7 0.004 | |
| Coin0506I Presolve 0 (-4) rows, 0 (-8) columns and 0 (-10) elements | |
| Clp0000I Optimal - objective value 247 | |
| Clp0032I Optimal objective 247 - 0 iterations time 0.002, Presolve 0.00 | |
| Clp0000I Optimal - objective value 247 | |
| NLP0014I 2 OPT 247 0 0 | |
| Clp0000I Optimal - objective value 247 | |
| Optimization Services Solver | |
| Main Authors: Horand Gassmann, Jun Ma, and Kipp Martin | |
| Distributed under the Eclipse Public License | |
| OS Version: 2.9.1 | |
| Build Date: Mar 3 2015 | |
| ****************************************************************************** | |
| This program contains Ipopt, a library for large-scale nonlinear optimization. | |
| Ipopt is released as open source code under the Eclipse Public License (EPL). | |
| For more information visit http://projects.coin-or.org/Ipopt | |
| ****************************************************************************** | |
| Optimization Services Solver | |
| Main Authors: Horand Gassmann, Jun Ma, and Kipp Martin | |
| Distributed under the Eclipse Public License | |
| OS Version: 2.9.1 | |
| Build Date: Mar 3 2015 | |
| ****************************************************************************** | |
| This program contains Ipopt, a library for large-scale nonlinear optimization. | |
| Ipopt is released as open source code under the Eclipse Public License (EPL). | |
| For more information visit http://projects.coin-or.org/Ipopt | |
| ****************************************************************************** | |
| Optimization Services Solver | |
| Main Authors: Horand Gassmann, Jun Ma, and Kipp Martin | |
| Distributed under the Eclipse Public License | |
| OS Version: 2.9.1 | |
| Build Date: Mar 3 2015 | |
| ****************************************************************************** | |
| This program contains Ipopt, a library for large-scale nonlinear optimization. | |
| Ipopt is released as open source code under the Eclipse Public License (EPL). | |
| For more information visit http://projects.coin-or.org/Ipopt | |
| ****************************************************************************** | |
| Optimization Services Solver | |
| Main Authors: Horand Gassmann, Jun Ma, and Kipp Martin | |
| Distributed under the Eclipse Public License | |
| OS Version: 2.9.1 | |
| Build Date: Mar 3 2015 | |
| ****************************************************************************** | |
| This program contains Ipopt, a library for large-scale nonlinear optimization. | |
| Ipopt is released as open source code under the Eclipse Public License (EPL). | |
| For more information visit http://projects.coin-or.org/Ipopt | |
| ****************************************************************************** | |
| Optimization Services Solver | |
| Main Authors: Horand Gassmann, Jun Ma, and Kipp Martin | |
| Distributed under the Eclipse Public License | |
| OS Version: 2.9.1 | |
| Build Date: Mar 3 2015 | |
| ****************************************************************************** | |
| This program contains Ipopt, a library for large-scale nonlinear optimization. | |
| Ipopt is released as open source code under the Eclipse Public License (EPL). | |
| For more information visit http://projects.coin-or.org/Ipopt | |
| ****************************************************************************** | |
| Optimization Services Solver | |
| Main Authors: Horand Gassmann, Jun Ma, and Kipp Martin | |
| Distributed under the Eclipse Public License | |
| OS Version: 2.9.1 | |
| Build Date: Mar 3 2015 | |
| ****************************************************************************** | |
| This program contains Ipopt, a library for large-scale nonlinear optimization. | |
| Ipopt is released as open source code under the Eclipse Public License (EPL). | |
| For more information visit http://projects.coin-or.org/Ipopt | |
| ****************************************************************************** | |
| Optimization Services Solver | |
| Main Authors: Horand Gassmann, Jun Ma, and Kipp Martin | |
| Distributed under the Eclipse Public License | |
| OS Version: 2.9.1 | |
| Build Date: Mar 3 2015 | |
| NLP0012I | |
| Num Status Obj It time Location | |
| NLP0014I 1 OPT -3.3094011 14 0.008 | |
| NLP0014I 2 OPT -2 0 0 | |
| Coin0506I Presolve 9 (0) rows, 6 (-1) columns and 22 (-1) elements | |
| Clp0006I 0 Obj -2 Primal inf 1.9999999 (1) Dual inf 0.9999999 (1) | |
| Clp0006I 5 Obj -4 | |
| Clp0000I Optimal - objective value -4 | |
| Clp0032I Optimal objective -4 - 5 iterations time 0.002, Presolve 0.00 | |
| Clp0000I Optimal - objective value -4 | |
| NLP0014I 3 OPT -3.3094011 9 0.005 | |
| Clp0000I Optimal - objective value -4 | |
| Optimization Services Solver | |
| Main Authors: Horand Gassmann, Jun Ma, and Kipp Martin | |
| Distributed under the Eclipse Public License | |
| OS Version: 2.9.1 | |
| Build Date: Mar 3 2015 | |
| ****************************************************************************** | |
| This program contains Ipopt, a library for large-scale nonlinear optimization. | |
| Ipopt is released as open source code under the Eclipse Public License (EPL). | |
| For more information visit http://projects.coin-or.org/Ipopt | |
| ****************************************************************************** | |
| Optimization Services Solver | |
| Main Authors: Horand Gassmann, Jun Ma, and Kipp Martin | |
| Distributed under the Eclipse Public License | |
| OS Version: 2.9.1 | |
| Build Date: Mar 3 2015 | |
| ****************************************************************************** | |
| This program contains Ipopt, a library for large-scale nonlinear optimization. | |
| Ipopt is released as open source code under the Eclipse Public License (EPL). | |
| For more information visit http://projects.coin-or.org/Ipopt | |
| ****************************************************************************** | |
| Optimization Services Solver | |
| Main Authors: Horand Gassmann, Jun Ma, and Kipp Martin | |
| Distributed under the Eclipse Public License | |
| OS Version: 2.9.1 | |
| Build Date: Mar 3 2015 | |
| ****************************************************************************** | |
| This program contains Ipopt, a library for large-scale nonlinear optimization. | |
| Ipopt is released as open source code under the Eclipse Public License (EPL). | |
| For more information visit http://projects.coin-or.org/Ipopt | |
| ****************************************************************************** | |
| Optimization Services Solver | |
| Main Authors: Horand Gassmann, Jun Ma, and Kipp Martin | |
| Distributed under the Eclipse Public License | |
| OS Version: 2.9.1 | |
| Build Date: Mar 3 2015 | |
| ****************************************************************************** | |
| This program contains Ipopt, a library for large-scale nonlinear optimization. | |
| Ipopt is released as open source code under the Eclipse Public License (EPL). | |
| For more information visit http://projects.coin-or.org/Ipopt | |
| ****************************************************************************** | |
| Optimization Services Solver | |
| Main Authors: Horand Gassmann, Jun Ma, and Kipp Martin | |
| Distributed under the Eclipse Public License | |
| OS Version: 2.9.1 | |
| Build Date: Mar 3 2015 | |
| ****************************************************************************** | |
| This program contains Ipopt, a library for large-scale nonlinear optimization. | |
| Ipopt is released as open source code under the Eclipse Public License (EPL). | |
| For more information visit http://projects.coin-or.org/Ipopt | |
| ****************************************************************************** | |
| Optimization Services Solver | |
| Main Authors: Horand Gassmann, Jun Ma, and Kipp Martin | |
| Distributed under the Eclipse Public License | |
| OS Version: 2.9.1 | |
| Build Date: Mar 3 2015 | |
| ****************************************************************************** | |
| This program contains Ipopt, a library for large-scale nonlinear optimization. | |
| Ipopt is released as open source code under the Eclipse Public License (EPL). | |
| For more information visit http://projects.coin-or.org/Ipopt | |
| ****************************************************************************** | |
| Optimization Services Solver | |
| Main Authors: Horand Gassmann, Jun Ma, and Kipp Martin | |
| Distributed under the Eclipse Public License | |
| OS Version: 2.9.1 | |
| Build Date: Mar 3 2015 | |
| ****************************************************************************** | |
| This program contains Ipopt, a library for large-scale nonlinear optimization. | |
| Ipopt is released as open source code under the Eclipse Public License (EPL). | |
| For more information visit http://projects.coin-or.org/Ipopt | |
| ****************************************************************************** | |
| Optimization Services Solver | |
| Main Authors: Horand Gassmann, Jun Ma, and Kipp Martin | |
| Distributed under the Eclipse Public License | |
| OS Version: 2.9.1 | |
| Build Date: Mar 3 2015 | |
| ****************************************************************************** | |
| This program contains Ipopt, a library for large-scale nonlinear optimization. | |
| Ipopt is released as open source code under the Eclipse Public License (EPL). | |
| For more information visit http://projects.coin-or.org/Ipopt | |
| ****************************************************************************** | |
| Optimization Services Solver | |
| Main Authors: Horand Gassmann, Jun Ma, and Kipp Martin | |
| Distributed under the Eclipse Public License | |
| OS Version: 2.9.1 | |
| Build Date: Mar 3 2015 | |
| ****************************************************************************** | |
| This program contains Ipopt, a library for large-scale nonlinear optimization. | |
| Ipopt is released as open source code under the Eclipse Public License (EPL). | |
| For more information visit http://projects.coin-or.org/Ipopt | |
| ****************************************************************************** | |
| Optimization Services Solver | |
| Main Authors: Horand Gassmann, Jun Ma, and Kipp Martin | |
| Distributed under the Eclipse Public License | |
| OS Version: 2.9.1 | |
| Build Date: Mar 3 2015 | |
| ****************************************************************************** | |
| This program contains Ipopt, a library for large-scale nonlinear optimization. | |
| Ipopt is released as open source code under the Eclipse Public License (EPL). | |
| For more information visit http://projects.coin-or.org/Ipopt | |
| ****************************************************************************** | |
| Optimization Services Solver | |
| Main Authors: Horand Gassmann, Jun Ma, and Kipp Martin | |
| Distributed under the Eclipse Public License | |
| OS Version: 2.9.1 | |
| Build Date: Mar 3 2015 | |
| ****************************************************************************** | |
| This program contains Ipopt, a library for large-scale nonlinear optimization. | |
| Ipopt is released as open source code under the Eclipse Public License (EPL). | |
| For more information visit http://projects.coin-or.org/Ipopt | |
| ****************************************************************************** | |
| Optimization Services Solver | |
| Main Authors: Horand Gassmann, Jun Ma, and Kipp Martin | |
| Distributed under the Eclipse Public License | |
| OS Version: 2.9.1 | |
| Build Date: Mar 3 2015 | |
| ****************************************************************************** | |
| This program contains Ipopt, a library for large-scale nonlinear optimization. | |
| Ipopt is released as open source code under the Eclipse Public License (EPL). | |
| For more information visit http://projects.coin-or.org/Ipopt | |
| ****************************************************************************** | |
| Optimization Services Solver | |
| Main Authors: Horand Gassmann, Jun Ma, and Kipp Martin | |
| Distributed under the Eclipse Public License | |
| OS Version: 2.9.1 | |
| Build Date: Mar 3 2015 | |
| ****************************************************************************** | |
| This program contains Ipopt, a library for large-scale nonlinear optimization. | |
| Ipopt is released as open source code under the Eclipse Public License (EPL). | |
| For more information visit http://projects.coin-or.org/Ipopt | |
| ****************************************************************************** | |
| Optimization Services Solver | |
| Main Authors: Horand Gassmann, Jun Ma, and Kipp Martin | |
| Distributed under the Eclipse Public License | |
| OS Version: 2.9.1 | |
| Build Date: Mar 3 2015 | |
| ****************************************************************************** | |
| This program contains Ipopt, a library for large-scale nonlinear optimization. | |
| Ipopt is released as open source code under the Eclipse Public License (EPL). | |
| For more information visit http://projects.coin-or.org/Ipopt | |
| ****************************************************************************** | |
| Optimization Services Solver | |
| Main Authors: Horand Gassmann, Jun Ma, and Kipp Martin | |
| Distributed under the Eclipse Public License | |
| OS Version: 2.9.1 | |
| Build Date: Mar 3 2015 | |
| ****************************************************************************** | |
| This program contains Ipopt, a library for large-scale nonlinear optimization. | |
| Ipopt is released as open source code under the Eclipse Public License (EPL). | |
| For more information visit http://projects.coin-or.org/Ipopt | |
| ****************************************************************************** | |
| Optimization Services Solver | |
| Main Authors: Horand Gassmann, Jun Ma, and Kipp Martin | |
| Distributed under the Eclipse Public License | |
| OS Version: 2.9.1 | |
| Build Date: Mar 3 2015 | |
| ****************************************************************************** | |
| This program contains Ipopt, a library for large-scale nonlinear optimization. | |
| Ipopt is released as open source code under the Eclipse Public License (EPL). | |
| For more information visit http://projects.coin-or.org/Ipopt | |
| ****************************************************************************** | |
| Optimization Services Solver | |
| Main Authors: Horand Gassmann, Jun Ma, and Kipp Martin | |
| Distributed under the Eclipse Public License | |
| OS Version: 2.9.1 | |
| Build Date: Mar 3 2015 | |
| NLP0012I | |
| Num Status Obj It time Location | |
| NLP0014I 1 OPT 0.75928418 9 0.005 | |
| NLP0014I 2 INFEAS 0.99999999 14 0.012 | |
| Coin0506I Presolve 20 (-2) rows, 10 (-7) columns and 53 (-8) elements | |
| Clp0006I 0 Obj 10.0011 Primal inf 2.4306506 (3) Dual inf 19.2 (1) | |
| Clp0006I 12 Obj 0.50999604 | |
| Clp0000I Optimal - objective value 0.50999604 | |
| Clp0032I Optimal objective 0.5099960377 - 12 iterations time 0.002, Presolve 0.00 | |
| Clp0000I Optimal - objective value 0.50999604 | |
| NLP0014I 3 OPT 9.9999997 13 0.007 | |
| Clp0000I Optimal - objective value 0.50999604 | |
| Optimization Services Solver | |
| Main Authors: Horand Gassmann, Jun Ma, and Kipp Martin | |
| Distributed under the Eclipse Public License | |
| OS Version: 2.9.1 | |
| Build Date: Mar 3 2015 | |
| ****************************************************************************** | |
| This program contains Ipopt, a library for large-scale nonlinear optimization. | |
| Ipopt is released as open source code under the Eclipse Public License (EPL). | |
| For more information visit http://projects.coin-or.org/Ipopt | |
| ****************************************************************************** | |
| Optimization Services Solver | |
| Main Authors: Horand Gassmann, Jun Ma, and Kipp Martin | |
| Distributed under the Eclipse Public License | |
| OS Version: 2.9.1 | |
| Build Date: Mar 3 2015 | |
| ****************************************************************************** | |
| This program contains Ipopt, a library for large-scale nonlinear optimization. | |
| Ipopt is released as open source code under the Eclipse Public License (EPL). | |
| For more information visit http://projects.coin-or.org/Ipopt | |
| ****************************************************************************** | |
| Optimization Services Solver | |
| Main Authors: Horand Gassmann, Jun Ma, and Kipp Martin | |
| Distributed under the Eclipse Public License | |
| OS Version: 2.9.1 | |
| Build Date: Mar 3 2015 | |
| ****************************************************************************** | |
| This program contains Ipopt, a library for large-scale nonlinear optimization. | |
| Ipopt is released as open source code under the Eclipse Public License (EPL). | |
| For more information visit http://projects.coin-or.org/Ipopt | |
| ****************************************************************************** | |
| Optimization Services Solver | |
| Main Authors: Horand Gassmann, Jun Ma, and Kipp Martin | |
| Distributed under the Eclipse Public License | |
| OS Version: 2.9.1 | |
| Build Date: Mar 3 2015 | |
| ****************************************************************************** | |
| This program contains Ipopt, a library for large-scale nonlinear optimization. | |
| Ipopt is released as open source code under the Eclipse Public License (EPL). | |
| For more information visit http://projects.coin-or.org/Ipopt | |
| ****************************************************************************** | |
| Optimization Services Solver | |
| Main Authors: Horand Gassmann, Jun Ma, and Kipp Martin | |
| Distributed under the Eclipse Public License | |
| OS Version: 2.9.1 | |
| Build Date: Mar 3 2015 | |
| ****************************************************************************** | |
| This program contains Ipopt, a library for large-scale nonlinear optimization. | |
| Ipopt is released as open source code under the Eclipse Public License (EPL). | |
| For more information visit http://projects.coin-or.org/Ipopt | |
| ****************************************************************************** | |
| Optimization Services Solver | |
| Main Authors: Horand Gassmann, Jun Ma, and Kipp Martin | |
| Distributed under the Eclipse Public License | |
| OS Version: 2.9.1 | |
| Build Date: Mar 3 2015 | |
| ****************************************************************************** | |
| This program contains Ipopt, a library for large-scale nonlinear optimization. | |
| Ipopt is released as open source code under the Eclipse Public License (EPL). | |
| For more information visit http://projects.coin-or.org/Ipopt | |
| ****************************************************************************** | |
| Optimization Services Solver | |
| Main Authors: Horand Gassmann, Jun Ma, and Kipp Martin | |
| Distributed under the Eclipse Public License | |
| OS Version: 2.9.1 | |
| Build Date: Mar 3 2015 | |
| ****************************************************************************** | |
| This program contains Ipopt, a library for large-scale nonlinear optimization. | |
| Ipopt is released as open source code under the Eclipse Public License (EPL). | |
| For more information visit http://projects.coin-or.org/Ipopt | |
| ****************************************************************************** | |
| Testing mixintprog with solver Cbc.CbcMathProgSolverInterface.CbcSolver | |
| Done | |
| [print] JuMPContainer{Variable} | |
| - bound printing | |
| - index set printing | |
| - category printing | |
| - issue testing | |
| 105 facts verified. | |
| [print] JuMPContainer{Number} | |
| 6 facts verified. | |
| [print] SOS constraints | |
| 6 facts verified. | |
| [print] Model | |
| 7 facts verified. | |
| [print] changing variable categories | |
| 2 facts verified. | |
| [print] expressions | |
| 9 facts verified. | |
| [print] Variable | |
| 32 facts verified. | |
| [variable] constructors | |
| 3 facts verified. | |
| [variable] get and set bounds | |
| 14 facts verified. | |
| [variable] get and set category | |
| 2 facts verified. | |
| [variable] repeated elements in index set (issue #199) | |
| 1 fact verified. | |
| [expr] Test expression construction | |
| - AffExpr | |
| - QuadExpr | |
| 6 facts verified. | |
| [expr] Test getValue(expr) | |
| 2 facts verified. | |
| [expr] Test expression iterators | |
| 4 facts verified. | |
| [expr] Test in(::Variable, ::AffExpr) | |
| 4 facts verified. | |
| [operator] Testing basic operator overloads | |
| - Number--??? | |
| - Variable--??? | |
| - AffExpr--??? | |
| - QuadExpr--??? | |
| 136 facts verified. | |
| [operator] Higher-level operators | |
| - sum | |
| - dot | |
| 17 facts verified. | |
| [macros] Check Julia expression parsing | |
| 13 facts verified. | |
| [macros] Check @addConstraint basics | |
| 8 facts verified. | |
| [macros] Checking @defVar with reverse direction bounds | |
| 2 facts verified. | |
| [macros] sum{} | |
| 3 facts verified. | |
| [macros] Problem modification | |
| 4 facts verified. | |
| [macros] Using pre-built affine is OK in macro | |
| 3 facts verified. | |
| [macros] Test ranges in @defVar | |
| 10 facts verified. | |
| [macros] Unicode comparisons | |
| 9 facts verified. | |
| [macros] Three argument @addConstraint | |
| 3 facts verified. | |
| [macros] @addConstraints | |
| 4 facts verified. | |
| [macros] @addNLConstraints | |
| 5 facts verified. | |
| [macros] @setObjective with quadratic | |
| 1 fact verified. | |
| [macros] @addConstraint with quadratic | |
| 7 facts verified. | |
| [macros] Triangular indexing, iteration | |
| 158 facts verified. | |
| [macros] Multidimensional indexing | |
| 1 fact verified. | |
| [macros] @defExpr | |
| 2 facts verified. | |
| [fuzzer] Check macros for expression construction | |
| [model] Check error cases | |
| 6 facts verified. | |
| [model] Test printing a model | |
| Warning, MPS does not support maximization sense. Flipping objective coefficients. | |
| 62 facts verified. | |
| [model] Test solving a MILP | |
| - With solver Cbc.CbcMathProgSolverInterface.CbcSolver | |
| - With solver CoinOptServices.OsilSolver | |
| 18 facts verified. | |
| [model] Test solving an LP (Min) | |
| - With solver Clp.ClpMathProgSolverInterface.ClpSolver | |
| - With solver Ipopt.IpoptSolver | |
| - With solver CoinOptServices.OsilSolver | |
| 57 facts verified. | |
| [model] Test solving an LP (Max) | |
| - With solver Clp.ClpMathProgSolverInterface.ClpSolver | |
| - With solver Ipopt.IpoptSolver | |
| - With solver CoinOptServices.OsilSolver | |
| 57 facts verified. | |
| [model] Test binary variable handling | |
| - With solver Cbc.CbcMathProgSolverInterface.CbcSolver | |
| - With solver CoinOptServices.OsilSolver | |
| 4 facts verified. | |
| [model] Test model copying | |
| 10 facts verified. | |
| [model] Test variable/model 'hygiene' | |
| 2 facts verified. | |
| [model] Test NaN checking | |
| 3 facts verified. | |
| [model] Test column-wise modeling | |
| 3 facts verified. | |
| [model] Test all MPS paths | |
| Warning, MPS does not support maximization sense. Flipping objective coefficients. | |
| 0 facts verified. | |
| [model] Test all LP paths | |
| 1 fact verified. | |
| [model] Test semi-continuous variables | |
| 0 facts verified. | |
| [model] Test semi-integer variables | |
| 0 facts verified. | |
| [model] Test fixed variables don't leak through MPB | |
| - With solver Clp.ClpMathProgSolverInterface.ClpSolver | |
| - With solver Ipopt.IpoptSolver | |
| - With solver CoinOptServices.OsilSolver | |
| - With solver Cbc.CbcMathProgSolverInterface.CbcSolver | |
| - With solver CoinOptServices.OsilSolver | |
| 17 facts verified. | |
| [model] Test SOS constraints | |
| - With solver Cbc.CbcMathProgSolverInterface.CbcSolver | |
| 10 facts verified. | |
| [model] Test setSolver | |
| 16 facts verified. | |
| [model] Setting solve hook | |
| 2 facts verified. | |
| [model] Setting print hook | |
| 1 fact verified. | |
| [probmod] Testing problem modification basics | |
| - With solver Clp.ClpMathProgSolverInterface.ClpSolver | |
| - With solver Ipopt.IpoptSolver | |
| - With solver CoinOptServices.OsilSolver | |
| 39 facts verified. | |
| [probmod] Testing problem modification part two | |
| - With solver Cbc.CbcMathProgSolverInterface.CbcSolver | |
| - With solver CoinOptServices.OsilSolver | |
| 36 facts verified. | |
| [probmod] Test adding a range constraint and modifying it | |
| 1 fact verified. | |
| [probmod] Test adding a 'decoupled' variable (#205) | |
| - With solver Clp.ClpMathProgSolverInterface.ClpSolver | |
| - With solver Ipopt.IpoptSolver | |
| - With solver CoinOptServices.OsilSolver | |
| 6 facts verified. | |
| [probmod] Test buildInternalModel | |
| - With solver Clp.ClpMathProgSolverInterface.ClpSolver | |
| - With solver Ipopt.IpoptSolver | |
| - With solver CoinOptServices.OsilSolver | |
| 24 facts verified. | |
| [probmod] Test buildInternalModel with MIP | |
| - With solver Cbc.CbcMathProgSolverInterface.CbcSolver | |
| - With solver CoinOptServices.OsilSolver | |
| 12 facts verified. | |
| [probmod] Test bound modification on binaries | |
| - With solver Cbc.CbcMathProgSolverInterface.CbcSolver | |
| - With solver CoinOptServices.OsilSolver | |
| 12 facts verified. | |
| [probmod] Applicable regressions | |
| - Clp | |
| - Cbc | |
| 30 facts verified. | |
| [callback] Test lazy constraints | |
| 0 facts verified. | |
| [callback] Test user cuts | |
| 0 facts verified. | |
| [callback] Test heuristics | |
| 0 facts verified. | |
| [callback] Test informational callback | |
| 0 facts verified. | |
| [callback] Callback exit on CallbackAbort | |
| 0 facts verified. | |
| [qcqpmodel] Test quad objective (discrete) | |
| - With solver CoinOptServices.OsilSolver | |
| - With solver CoinOptServices.OsilSolver | |
| 12 facts verified. | |
| [qcqpmodel] Test quad objective (continuous) | |
| - With solver CoinOptServices.OsilSolver | |
| - With solver Ipopt.IpoptSolver | |
| 6 facts verified. | |
| [qcqpmodel] Test quad constraints (continuous) | |
| - With solver CoinOptServices.OsilSolver | |
| - With solver Ipopt.IpoptSolver | |
| 12 facts verified. | |
| [qcqpmodel] Test SOC constraints (continuous) | |
| - With solver CoinOptServices.OsilSolver | |
| 3 facts verified. | |
| [qcqpmodel] Test SOC duals | |
| - With solver CoinOptServices.OsilSolver | |
| 10 facts verified. | |
| [qcqpmodel] Test quad constraints (discrete) | |
| - With solver CoinOptServices.OsilSolver | |
| Error :: (line:-1) :: With solver CoinOptServices.OsilSolver | |
| solve(modQ) => :Optimal | |
| failed process: Process(`/home/martin/.julia/v0.4/CoinOptServices/deps/usr/lib/../bin/OSSolverService -osil /home/martin/.julia/v0.4/CoinOptServices/.osil/problem.osil -osol /home/martin/.julia/v0.4/CoinOptServices/.osil/options.osol -osrl /home/martin/.julia/v0.4/CoinOptServices/.osil/results.osrl -solver bonmin -printLevel 1`, ProcessSignaled(6)) [0] | |
| in run at ./process.jl:476 | |
| in optimize! at /home/martin/.julia/v0.4/CoinOptServices/src/CoinOptServices.jl:532 | |
| in solveMIP at /home/martin/.julia/v0.4/JuMP/src/solvers.jl:339 | |
| in solve at /home/martin/.julia/v0.4/JuMP/src/solvers.jl:29 | |
| in anonymous at /home/martin/.julia/v0.4/FactCheck/src/FactCheck.jl:142 | |
| in do_fact at /home/martin/.julia/v0.4/FactCheck/src/FactCheck.jl:172 | |
| in anonymous at /home/martin/.julia/v0.4/JuMP/test/qcqpmodel.jl:142 | |
| in context at /home/martin/.julia/v0.4/FactCheck/src/FactCheck.jl:312 | |
| in anonymous at /home/martin/.julia/v0.4/JuMP/test/qcqpmodel.jl:120 | |
| in facts at /home/martin/.julia/v0.4/FactCheck/src/FactCheck.jl:286 | |
| in include at ./boot.jl:249 | |
| in include_from_node1 at ./loading.jl:128 | |
| in include at ./boot.jl:249 | |
| in include_from_node1 at ./loading.jl:128 | |
| in include at ./boot.jl:249 | |
| in include_from_node1 at ./loading.jl:128 | |
| in process_options at ./client.jl:321 | |
| in _start at ./client.jl:413 | |
| Failure :: (line:-1) :: With solver CoinOptServices.OsilSolver :: got 0 | |
| modQ.objVal => roughly(-3,1.0e-6) | |
| Failure :: (line:-1) :: With solver CoinOptServices.OsilSolver :: got NaN | |
| getValue(x) + getValue(y) => roughly(-1,1.0e-6) | |
| - With solver CoinOptServices.OsilSolver | |
| Out of 6 total facts: | |
| Verified: 3 | |
| Failed: 2 | |
| Errored: 1 | |
| [qcqpmodel] Test quad problem modification | |
| - With solver CoinOptServices.OsilSolver | |
| - With solver Ipopt.IpoptSolver | |
| 20 facts verified. | |
| [nonlinear] Test HS071 solves correctly | |
| - With solver Ipopt.IpoptSolver | |
| - With solver CoinOptServices.OsilSolver | |
| 6 facts verified. | |
| [nonlinear] Test HS071 solves correctly, epigraph | |
| - With solver Ipopt.IpoptSolver | |
| - With solver CoinOptServices.OsilSolver | |
| 4 facts verified. | |
| [nonlinear] Accepting fixed variables | |
| - With solver Ipopt.IpoptSolver | |
| - With solver CoinOptServices.OsilSolver | |
| 8 facts verified. | |
| [nonlinear] Test QP solve through NL pathway | |
| - With solver Ipopt.IpoptSolver | |
| - With solver CoinOptServices.OsilSolver | |
| 12 facts verified. | |
| [nonlinear] Test quad con solve through NL pathway | |
| - With solver Ipopt.IpoptSolver | |
| - With solver CoinOptServices.OsilSolver | |
| 6 facts verified. | |
| [nonlinear] Test two-sided nonlinear constraints | |
| - With solver Ipopt.IpoptSolver | |
| - With solver CoinOptServices.OsilSolver | |
| 8 facts verified. | |
| [nonlinear] Test mixed integer nonlinear problems | |
| - With solver CoinOptServices.OsilSolver | |
| - With solver CoinOptServices.OsilSolver | |
| 8 facts verified. | |
| [nonlinear] Test continuous relaxation of minlp test problem | |
| - With solver Ipopt.IpoptSolver | |
| - With solver CoinOptServices.OsilSolver | |
| 10 facts verified. | |
| [nonlinear] Test maximization objective | |
| - With solver Ipopt.IpoptSolver | |
| - With solver CoinOptServices.OsilSolver | |
| 6 facts verified. | |
| [nonlinear] Test maximization objective (embedded expressions) | |
| - With solver Ipopt.IpoptSolver | |
| - With solver CoinOptServices.OsilSolver | |
| 6 facts verified. | |
| [nonlinear] Test infeasibility detection | |
| - With solver Ipopt.IpoptSolver | |
| - With solver CoinOptServices.OsilSolver | |
| 2 facts verified. | |
| [nonlinear] Test unboundedness detection | |
| - With solver Ipopt.IpoptSolver | |
| - With solver CoinOptServices.OsilSolver | |
| 2 facts verified. | |
| [nonlinear] Test entropy maximization | |
| - With solver Ipopt.IpoptSolver | |
| - With solver CoinOptServices.OsilSolver | |
| 4 facts verified. | |
| [nonlinear] Test entropy maximization (reformulation) | |
| - With solver Ipopt.IpoptSolver | |
| - With solver CoinOptServices.OsilSolver | |
| 4 facts verified. | |
| [nonlinear] Test NL MPB interface (-1.0 * x[1] + 1.0 * x[2]) | |
| 11 facts verified. | |
| [nonlinear] Test NL MPB interface (x[1] ^ x[2]) | |
| 11 facts verified. | |
| [nonlinear] Expression graph for linear problem | |
| 1 fact verified. |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment