osi-assertion-gdb.log

tkelman@ygdesk:~/.julia/v0.4/CoinOptServices/.osil$ gdb --args ../deps/src/OS-2.9.2/build01/OS/src/OSSolverService -osil problem.osil
GNU gdb (Ubuntu 7.7.1-0ubuntu5~14.04.2) 7.7.1
Copyright (C) 2014 Free Software Foundation, Inc.
License GPLv3+: GNU GPL version 3 or later <http://gnu.org/licenses/gpl.html>
This is free software: you are free to change and redistribute it.
There is NO WARRANTY, to the extent permitted by law.  Type "show copying"
and "show warranty" for details.
This GDB was configured as "x86_64-linux-gnu".
Type "show configuration" for configuration details.
For bug reporting instructions, please see:
<http://www.gnu.org/software/gdb/bugs/>.
Find the GDB manual and other documentation resources online at:
<http://www.gnu.org/software/gdb/documentation/>.
For help, type "help".
Type "apropos word" to search for commands related to "word"...
Reading symbols from ../deps/src/OS-2.9.2/build01/OS/src/OSSolverService...done.
(gdb) break OsiSimpleInteger::createBranch
Breakpoint 1 at 0xdcd790: file ../../../../Osi/src/Osi/OsiBranchingObject.cpp, line 623.
(gdb) r
Starting program: /home/tkelman/.julia/v0.4/CoinOptServices/deps/src/OS-2.9.2/build01/OS/src/OSSolverService -osil problem.osil
[Thread debugging using libthread_db enabled]
Using host libthread_db library "/lib/x86_64-linux-gnu/libthread_db.so.1".


Optimization Services Solver
Main Authors: Horand Gassmann, Jun Ma, and Kipp Martin
Distributed under the Eclipse Public License
OS Version:  2.9.2
Build Date: Apr 18 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
******************************************************************************


Breakpoint 1, OsiSimpleInteger::createBranch (this=0x1cb6a10, solver=0x1c960a0,
    info=0x7fffffffbe30, way=0) at ../../../../Osi/src/Osi/OsiBranchingObject.cpp:623
623       double value = info->solution_[columnNumber_];
(gdb) break 629
Breakpoint 2 at 0xdcd8af: file ../../../../Osi/src/Osi/OsiBranchingObject.cpp, line 629.
(gdb) c
Continuing.

Breakpoint 2, OsiSimpleInteger::createBranch (this=0x1cb6a10, solver=0x1c960a0,
    info=0x7fffffffbe30, way=0) at ../../../../Osi/src/Osi/OsiBranchingObject.cpp:629
629       assert (fabs(value-nearest)>info->integerTolerance_);
(gdb) print value - nearest
$1 = 0.48803387604949977
(gdb) c
Continuing.

Breakpoint 1, OsiSimpleInteger::createBranch (this=0x1cb9dd0, solver=0x1c960a0,
    info=0x7fffffffbe30, way=0) at ../../../../Osi/src/Osi/OsiBranchingObject.cpp:623
623       double value = info->solution_[columnNumber_];
(gdb) c
Continuing.

Breakpoint 2, OsiSimpleInteger::createBranch (this=0x1cb9dd0, solver=0x1c960a0,
    info=0x7fffffffbe30, way=0) at ../../../../Osi/src/Osi/OsiBranchingObject.cpp:629
629       assert (fabs(value-nearest)>info->integerTolerance_);
(gdb) print value - nearest
$2 = 0.17863279063268722
(gdb) c
Continuing.

Breakpoint 1, OsiSimpleInteger::createBranch (this=0x1cb6a10, solver=0x1c960a0,
    info=0x7fffffffbe30, way=0) at ../../../../Osi/src/Osi/OsiBranchingObject.cpp:623
623       double value = info->solution_[columnNumber_];
(gdb) c
Continuing.

Breakpoint 2, OsiSimpleInteger::createBranch (this=0x1cb6a10, solver=0x1c960a0,
    info=0x7fffffffbe30, way=0) at ../../../../Osi/src/Osi/OsiBranchingObject.cpp:629
629       assert (fabs(value-nearest)>info->integerTolerance_);
(gdb) print value - nearest
$3 = 0.48803387604949977
(gdb) c
Continuing.

Breakpoint 1, OsiSimpleInteger::createBranch (this=0x1cb6a10, solver=0x1c960a0,
    info=0x7fffffffbe30, way=1) at ../../../../Osi/src/Osi/OsiBranchingObject.cpp:623
623       double value = info->solution_[columnNumber_];
(gdb) c
Continuing.

Breakpoint 2, OsiSimpleInteger::createBranch (this=0x1cb6a10, solver=0x1c960a0,
    info=0x7fffffffbe30, way=1) at ../../../../Osi/src/Osi/OsiBranchingObject.cpp:629
629       assert (fabs(value-nearest)>info->integerTolerance_);
(gdb) print value - nearest
$4 = 0
(gdb) print value
$5 = 1
(gdb) print nearest
$6 = 1
(gdb) bt
#0  OsiSimpleInteger::createBranch (this=0x1cb6a10, solver=0x1c960a0, info=0x7fffffffbe30, way=1)
    at ../../../../Osi/src/Osi/OsiBranchingObject.cpp:629
#1  0x000000000077cafb in Bonmin::BonChooseVariable::chooseVariable (this=0x1ca0740,
    solver=0x1c960a0, info=0x7fffffffbe30, fixVariables=true)
    at ../../../../../Bonmin/src/Algorithms/Branching/BonChooseVariable.cpp:729
#2  0x0000000000978261 in CbcNode::chooseOsiBranch (this=0x1cb8060, model=0x1c40d78, lastNode=0x0,
    usefulInfo=0x7fffffffbe30, branchState=0) at ../../../Cbc/src/CbcNode.cpp:5905
#3  0x00000000009531a6 in CbcModel::chooseBranch (this=0x1c40d78,
    newNode=@0x7fffffffc290: 0x1cb8060, numberPassesLeft=1000, oldNode=0x0, cuts=...,
    resolved=@0x7fffffffbf98: false, lastws=0x0, lowerBefore=0x0, upperBefore=0x0,
    branches=@0x7fffffffca60: 0x0) at ../../../Cbc/src/CbcModel.cpp:14932
#4  0x00000000009291f7 in CbcModel::branchAndBound (this=0x1c40d78, doStatistics=0)
    at ../../../Cbc/src/CbcModel.cpp:3958
#5  0x00000000007558b9 in Bonmin::Bab::branchAndBound (this=0x1c40d40, s=...)
    at ../../../../Bonmin/src/CbcBonmin/BonCbc.cpp:525
#6  0x0000000000753060 in Bonmin::Bab::operator() (this=0x1c40d40, s=...)
    at ../../../../Bonmin/src/CbcBonmin/BonCbc.cpp:100
#7  0x00000000005bac0d in BonminSolver::solve (this=0x1c40cf0)
    at ../../../../OS/src/OSSolverInterfaces/OSBonminSolver.cpp:851
#8  0x00000000005b375b in runSolver (solverName=..., osol=..., osinstance=0x1c3f460)
    at ../../../../OS/src/OSSolverInterfaces/OSRunSolver.cpp:79
#9  0x000000000040c1b9 in solve (oscommandline=0x1c403d0)
    at ../../../OS/src/OSSolverService.cpp:827
#10 0x0000000000409fa5 in main (argC=3, argV=0x7fffffffe308)
    at ../../../OS/src/OSSolverService.cpp:649
(gdb) print columnNumber_
$7 = 1
(gdb) print info->solution_[columnNumber_]
$8 = 1.4880338760494998
(gdb) print info->lower_[columnNumber_]
$9 = -2
(gdb) print info->upper_[columnNumber_]
$10 = 1
(gdb) print info->integerTolerance_
$11 = 9.9999999999999995e-07