Ibex cannot be loaded when used with Choco

Forums:

Even though I followed every step carefully, Ibex loader won't work with Choco. 
I use Eclipse as IDE.
Here is the code

         public static void main(String[] args) {
         Solver solver = new Solver();
            double PREC = 0.01d; // precision
            RealVar x = VariableFactory.real("x", -1.0d, 1.0d, PREC, solver);
            RealVar y = VariableFactory.real("y", -1.0d, 1.0d, PREC, solver);
            RealConstraint rc = new RealConstraint(
                    "my fct",
                    "({0}*{1})+sin({0})=1.0;ln({0}+[-0.1,0.1])>=2.6",
                    Ibex.TRUE,
                    x, y);
            solver.post(rc);
            solver.findSolution();
    }

And here is the output:
 

Picked up JAVA_TOOL_OPTIONS: -javaagent:/usr/share/java/jayatanaag.jar 
22:23:41,617 |-INFO in ch.qos.logback.classic.LoggerContext[default] - Could NOT find resource [logback.groovy]
22:23:41,617 |-INFO in ch.qos.logback.classic.LoggerContext[default] - Could NOT find resource [logback-test.xml]
22:23:41,621 |-INFO in ch.qos.logback.classic.LoggerContext[default] - Found resource [logback.xml] at [jar:file:/home/onr/workspace/Test/choco-solver-3.3.1-sources.jar!/logback.xml]
22:23:41,622 |-WARN in ch.qos.logback.classic.LoggerContext[default] - Resource [logback.xml] occurs multiple times on the classpath.
22:23:41,622 |-WARN in ch.qos.logback.classic.LoggerContext[default] - Resource [logback.xml] occurs at [jar:file:/home/onr/workspace/Test/choco-solver-3.3.1-sources.jar!/logback.xml]
22:23:41,622 |-WARN in ch.qos.logback.classic.LoggerContext[default] - Resource [logback.xml] occurs at [jar:file:/home/onr/workspace/Test/choco-solver-3.3.1-with-dependencies.jar!/logback.xml]
22:23:41,668 |-INFO in ch.qos.logback.core.joran.spi.ConfigurationWatchList@2812cbfa - URL [jar:file:/home/onr/workspace/Test/choco-solver-3.3.1-sources.jar!/logback.xml] is not of type file
22:23:42,011 |-INFO in ch.qos.logback.classic.joran.action.ConfigurationAction - debug attribute not set
22:23:42,025 |-INFO in ch.qos.logback.core.joran.action.AppenderAction - About to instantiate appender of type [ch.qos.logback.core.ConsoleAppender]
22:23:42,056 |-INFO in ch.qos.logback.core.joran.action.AppenderAction - Naming appender as [STDOUT]
22:23:42,145 |-INFO in ch.qos.logback.core.joran.action.NestedComplexPropertyIA - Assuming default type [ch.qos.logback.classic.encoder.PatternLayoutEncoder] for [encoder] property
22:23:42,245 |-INFO in ch.qos.logback.core.joran.action.TimestampAction - Using current interpretation time, i.e. now, as time reference.
22:23:42,284 |-INFO in ch.qos.logback.core.joran.action.TimestampAction - Adding property to the context with key="bySecond" and value="20150628_222342" to the LOCAL scope
22:23:42,285 |-INFO in ch.qos.logback.classic.joran.action.LoggerAction - Setting level of logger [solver] to OFF
22:23:42,285 |-INFO in ch.qos.logback.classic.joran.action.RootLoggerAction - Setting level of ROOT logger to OFF
22:23:42,285 |-INFO in ch.qos.logback.core.joran.action.AppenderRefAction - Attaching appender named [STDOUT] to Logger[ROOT]
22:23:42,289 |-INFO in ch.qos.logback.classic.joran.action.ConfigurationAction - End of configuration.
22:23:42,292 |-INFO in ch.qos.logback.classic.joran.JoranConfigurator@2acf57e3 - Registering current configuration as safe fallback point

Exception in thread "main" java.lang.ExceptionInInitializerError
    at org.chocosolver.solver.Solver.getIbex(Solver.java:1088)
    at org.chocosolver.solver.constraints.real.RealPropagator.<init>(RealPropagator.java:83)
    at org.chocosolver.solver.constraints.real.RealConstraint.createPropagator(RealConstraint.java:151)
    at org.chocosolver.solver.constraints.real.RealConstraint.<init>(RealConstraint.java:78)
    at org.chocosolver.samples.real.SantaClaude.main(SantaClaude.java:52)
Caused by: org.chocosolver.solver.exception.SolverException
    at org.chocosolver.solver.constraints.real.Ibex.<clinit>(Ibex.java:106)
    ... 5 more

I even did configure with java.
 
What would be wrong?
 
My operating system is Ubuntu 15.04 64bit working on Virtual Machine.
 
  

Did you set the argument to the JVM: -Djava.library.path=… ?

Gilles

Should I do it during the configuration? Or should I do it before running the application? 
Where should I type it?
Can I change it in Eclipse?
 
If you're asking about the .jar file being included in the project, I did that.

I have done configuring Java etc. However, now I get this error while installing.
 

[177/180] cxxshlib: __build__/src/arithmetic/ibex_Affine2_No.cpp.11.o __build__/src/arithmetic/ibex_Affine2_fAF1.cpp.11.o __build__/src/arithmetic/ibex_Affine2_fAF2.cpp.11.o __build__/src/arithmetic/ibex_Affine2_fAF2_fma.cpp.11.o __build__/src/arithmetic/ibex_Affine2_fAFFullI.cpp.11.o __build__/src/arithmetic/ibex_Affine2_iAF.cpp.11.o __build__/src/arithmetic/ibex_Affine2_sAF.cpp.11.o __build__/src/arithmetic/ibex_Dim.cpp.11.o __build__/src/arithmetic/ibex_InnerArith.cpp.11.o __build__/src/arithmetic/ibex_Interval.cpp.11.o __build__/src/arithmetic/ibex_IntervalMatrix.cpp.11.o __build__/src/arithmetic/ibex_IntervalMatrixArray.cpp.11.o __build__/src/arithmetic/ibex_IntervalVector.cpp.11.o __build__/src/arithmetic/ibex_Matrix.cpp.11.o __build__/src/arithmetic/ibex_MatrixArray.cpp.11.o __build__/src/arithmetic/ibex_SetMembership.cpp.11.o __build__/src/arithmetic/ibex_Tube.cpp.11.o __build__/src/arithmetic/ibex_Vector.cpp.11.o __build__/src/bisector/ibex_Bsc.cpp.11.o __build__/src/bisector/ibex_LargestFirst.cpp.11.o __build__/src/bisector/ibex_RoundRobin.cpp.11.o __build__/src/bisector/ibex_SmearFunction.cpp.11.o __build__/src/cliquer/cl.cpp.11.o __build__/src/cliquer/cliquer.cpp.11.o __build__/src/cliquer/graph.cpp.11.o __build__/src/cliquer/reorder.cpp.11.o __build__/src/combinatorial/ibex_QInter.cpp.11.o __build__/src/combinatorial/ibex_QInter2.cpp.11.o __build__/src/combinatorial/ibex_QInterEx_Cliquer.cpp.11.o __build__/src/combinatorial/ibex_QInter_coreF.cpp.11.o __build__/src/combinatorial/ibex_QInter_projF.cpp.11.o __build__/src/contractor/ibex_Ctc.cpp.11.o __build__/src/contractor/ibex_Ctc3BCid.cpp.11.o __build__/src/contractor/ibex_CtcAcid.cpp.11.o __build__/src/contractor/ibex_CtcCompo.cpp.11.o __build__/src/contractor/ibex_CtcEmpty.cpp.11.o __build__/src/contractor/ibex_CtcExist.cpp.11.o __build__/src/contractor/ibex_CtcFixPoint.cpp.11.o __build__/src/contractor/ibex_CtcForAll.cpp.11.o __build__/src/contractor/ibex_CtcFwdBwd.cpp.11.o __build__/src/contractor/ibex_CtcHC4.cpp.11.o __build__/src/contractor/ibex_CtcIdentity.cpp.11.o __build__/src/contractor/ibex_CtcInteger.cpp.11.o __build__/src/contractor/ibex_CtcInverse.cpp.11.o __build__/src/contractor/ibex_CtcMohc.cpp.11.o __build__/src/contractor/ibex_CtcNewton.cpp.11.o __build__/src/contractor/ibex_CtcNotIn.cpp.11.o __build__/src/contractor/ibex_CtcOptimShaving.cpp.11.o __build__/src/contractor/ibex_CtcPixelMap.cpp.11.o __build__/src/contractor/ibex_CtcPolytopeHull.cpp.11.o __build__/src/contractor/ibex_CtcPropag.cpp.11.o __build__/src/contractor/ibex_CtcQInter.cpp.11.o __build__/src/contractor/ibex_CtcQuantif.cpp.11.o __build__/src/contractor/ibex_CtcUnion.cpp.11.o __build__/src/function/ibex_Affine2Eval.cpp.11.o __build__/src/function/ibex_AffineLinEval.cpp.11.o __build__/src/function/ibex_CompiledFunction.cpp.11.o __build__/src/function/ibex_Decorator.cpp.11.o __build__/src/function/ibex_Eval.cpp.11.o __build__/src/function/ibex_Fnc.cpp.11.o __build__/src/function/ibex_Function.cpp.11.o __build__/src/function/ibex_Gradient.cpp.11.o __build__/src/function/ibex_HC4Revise.cpp.11.o __build__/src/function/ibex_InHC4Revise.cpp.11.o __build__/src/function/ibex_NumConstraint.cpp.11.o __build__/src/geometry/ibex_CtcSegment.cpp.11.o __build__/src/geometry/ibex_PdcInPolygon.cpp.11.o __build__/src/geometry/ibex_SepPolygon.cpp.11.o __build__/src/numeric/ibex_Linear.cpp.11.o __build__/src/numeric/ibex_LinearRelax.cpp.11.o __build__/src/numeric/ibex_LinearRelaxAffine2.cpp.11.o __build__/src/numeric/ibex_LinearRelaxCombo.cpp.11.o __build__/src/numeric/ibex_LinearRelaxFixed.cpp.11.o __build__/src/numeric/ibex_LinearRelaxXTaylor.cpp.11.o __build__/src/numeric/ibex_LinearSolver.cpp.11.o __build__/src/numeric/ibex_Newton.cpp.11.o __build__/src/parser/ibex_AmplInterface.cpp.11.o __build__/src/parser/ibex_ConstantGenerator.cpp.11.o __build__/src/parser/ibex_CtrGenerator.cpp.11.o __build__/src/parser/ibex_Entity.cpp.11.o __build__/src/parser/ibex_MainGenerator.cpp.11.o __build__/src/parser/ibex_P_Expr.cpp.11.o __build__/src/parser/ibex_P_ExprGenerator.cpp.11.o __build__/src/parser/ibex_P_ExprPrinter.cpp.11.o __build__/src/parser/ibex_P_NumConstraint.cpp.11.o __build__/src/parser/ibex_ParserSource.cpp.11.o __build__/src/parser/ibex_Scope.cpp.11.o __build__/src/parser/ibex_SyntaxError.cpp.11.o __build__/src/predicate/ibex_BoolInterval.cpp.11.o __build__/src/predicate/ibex_PdcAnd.cpp.11.o __build__/src/predicate/ibex_PdcCleared.cpp.11.o __build__/src/predicate/ibex_PdcDiameterLT.cpp.11.o __build__/src/predicate/ibex_PdcFirstOrder.cpp.11.o __build__/src/predicate/ibex_PdcFwdBwd.cpp.11.o __build__/src/predicate/ibex_PdcHansenFeasibility.cpp.11.o __build__/src/predicate/ibex_PdcImageSubset.cpp.11.o __build__/src/predicate/ibex_PdcNo.cpp.11.o __build__/src/predicate/ibex_PdcNot.cpp.11.o __build__/src/predicate/ibex_PdcOr.cpp.11.o __build__/src/predicate/ibex_PdcYes.cpp.11.o __build__/src/set/ibex_Sep.cpp.11.o __build__/src/set/ibex_SepBoundaryCtc.cpp.11.o __build__/src/set/ibex_SepCtcPair.cpp.11.o __build__/src/set/ibex_SepFwdBwd.cpp.11.o __build__/src/set/ibex_SepInter.cpp.11.o __build__/src/set/ibex_SepNot.cpp.11.o __build__/src/set/ibex_SepUnion.cpp.11.o __build__/src/set/ibex_Set.cpp.11.o __build__/src/set/ibex_SetBisect.cpp.11.o __build__/src/set/ibex_SetInterval.cpp.11.o __build__/src/set/ibex_SetLeaf.cpp.11.o __build__/src/set/ibex_SetNode.cpp.11.o __build__/src/set/ibex_SetValueNode.cpp.11.o __build__/src/strategy/ibex_Backtrackable.cpp.11.o __build__/src/strategy/ibex_Cell.cpp.11.o __build__/src/strategy/ibex_CellBuffer.cpp.11.o __build__/src/strategy/ibex_CellCostFunc.cpp.11.o __build__/src/strategy/ibex_CellStack.cpp.11.o __build__/src/strategy/ibex_DefaultOptimizer.cpp.11.o __build__/src/strategy/ibex_DefaultSolver.cpp.11.o __build__/src/strategy/ibex_EntailedCtr.cpp.11.o __build__/src/strategy/ibex_LineSearch.cpp.11.o __build__/src/strategy/ibex_Multipliers.cpp.11.o __build__/src/strategy/ibex_OptimData.cpp.11.o __build__/src/strategy/ibex_Optimizer.cpp.11.o __build__/src/strategy/ibex_Paver.cpp.11.o __build__/src/strategy/ibex_SetImage.cpp.11.o __build__/src/strategy/ibex_Solver.cpp.11.o __build__/src/strategy/ibex_StrategyParam.cpp.11.o __build__/src/strategy/ibex_SubPaving.cpp.11.o __build__/src/strategy/ibex_UnconstrainedLocalSearch.cpp.11.o __build__/src/symbolic/ibex_CmpOp.cpp.11.o __build__/src/symbolic/ibex_Expr.cpp.11.o __build__/src/symbolic/ibex_Expr2DAG.cpp.11.o __build__/src/symbolic/ibex_ExprCmp.cpp.11.o __build__/src/symbolic/ibex_ExprCopy.cpp.11.o __build__/src/symbolic/ibex_ExprDiff.cpp.11.o __build__/src/symbolic/ibex_ExprLabel.cpp.11.o __build__/src/symbolic/ibex_ExprPrinter.cpp.11.o __build__/src/symbolic/ibex_ExprSize.cpp.11.o __build__/src/symbolic/ibex_ExprSplitOcc.cpp.11.o __build__/src/symbolic/ibex_ExprSubNodes.cpp.11.o __build__/src/system/ibex_ExtendedSystem.cpp.11.o __build__/src/system/ibex_FritzJohnCond.cpp.11.o __build__/src/system/ibex_NormalizedSystem.cpp.11.o __build__/src/system/ibex_System.cpp.11.o __build__/src/system/ibex_SystemFactory.cpp.11.o __build__/src/tools/ibex_Agenda.cpp.11.o __build__/src/tools/ibex_DirectedHyperGraph.cpp.11.o __build__/src/tools/ibex_Exception.cpp.11.o __build__/src/tools/ibex_HyperGraph.cpp.11.o __build__/src/tools/ibex_KCoreGraph.cpp.11.o __build__/src/tools/ibex_PixelMap.cpp.11.o __build__/src/tools/ibex_Random.cpp.11.o __build__/src/tools/ibex_String.cpp.11.o __build__/src/tools/ibex_Timer.cpp.11.o __build__/src/parser/lexer.lex.cc.11.o __build__/src/parser/parser.tab.cc.11.o -> __build__/src/libibex.so
/usr/bin/ld: /usr/local/lib/libprim.a(primitive.o): relocation R_X86_64_32 against `.rodata' can not be used when making a shared object; recompile with -fPIC
/usr/local/lib/libprim.a: error adding symbols: Bad value
collect2: error: ld returned 1 exit status
Waf: Leaving directory `/home/onr/Ibex/ibex-2.1.16/__build__'
Build failed
 -> task in 'ibex' failed (exit status 1): 
    {task 140045254736912: cxxshlib ibex_Affine2_No.cpp.11.o,ibex_Affine2_fAF1.cpp.11.o,ibex_Affine2_fAF2.cpp.11.o,ibex_Affine2_fAF2_fma.cpp.11.o,ibex_Affine2_fAFFullI.cpp.11.o,ibex_Affine2_iAF.cpp.11.o,ibex_Affine2_sAF.cpp.11.o,ibex_Dim.cpp.11.o,ibex_InnerArith.cpp.11.o,ibex_Interval.cpp.11.o,ibex_IntervalMatrix.cpp.11.o,ibex_IntervalMatrixArray.cpp.11.o,ibex_IntervalVector.cpp.11.o,ibex_Matrix.cpp.11.o,ibex_MatrixArray.cpp.11.o,ibex_SetMembership.cpp.11.o,ibex_Tube.cpp.11.o,ibex_Vector.cpp.11.o,ibex_Bsc.cpp.11.o,ibex_LargestFirst.cpp.11.o,ibex_RoundRobin.cpp.11.o,ibex_SmearFunction.cpp.11.o,cl.cpp.11.o,cliquer.cpp.11.o,graph.cpp.11.o,reorder.cpp.11.o,ibex_QInter.cpp.11.o,ibex_QInter2.cpp.11.o,ibex_QInterEx_Cliquer.cpp.11.o,ibex_QInter_coreF.cpp.11.o,ibex_QInter_projF.cpp.11.o,ibex_Ctc.cpp.11.o,ibex_Ctc3BCid.cpp.11.o,ibex_CtcAcid.cpp.11.o,ibex_CtcCompo.cpp.11.o,ibex_CtcEmpty.cpp.11.o,ibex_CtcExist.cpp.11.o,ibex_CtcFixPoint.cpp.11.o,ibex_CtcForAll.cpp.11.o,ibex_CtcFwdBwd.cpp.11.o,ibex_CtcHC4.cpp.11.o,ibex_CtcIdentity.cpp.11.o,ibex_CtcInteger.cpp.11.o,ibex_CtcInverse.cpp.11.o,ibex_CtcMohc.cpp.11.o,ibex_CtcNewton.cpp.11.o,ibex_CtcNotIn.cpp.11.o,ibex_CtcOptimShaving.cpp.11.o,ibex_CtcPixelMap.cpp.11.o,ibex_CtcPolytopeHull.cpp.11.o,ibex_CtcPropag.cpp.11.o,ibex_CtcQInter.cpp.11.o,ibex_CtcQuantif.cpp.11.o,ibex_CtcUnion.cpp.11.o,ibex_Affine2Eval.cpp.11.o,ibex_AffineLinEval.cpp.11.o,ibex_CompiledFunction.cpp.11.o,ibex_Decorator.cpp.11.o,ibex_Eval.cpp.11.o,ibex_Fnc.cpp.11.o,ibex_Function.cpp.11.o,ibex_Gradient.cpp.11.o,ibex_HC4Revise.cpp.11.o,ibex_InHC4Revise.cpp.11.o,ibex_NumConstraint.cpp.11.o,ibex_CtcSegment.cpp.11.o,ibex_PdcInPolygon.cpp.11.o,ibex_SepPolygon.cpp.11.o,ibex_Linear.cpp.11.o,ibex_LinearRelax.cpp.11.o,ibex_LinearRelaxAffine2.cpp.11.o,ibex_LinearRelaxCombo.cpp.11.o,ibex_LinearRelaxFixed.cpp.11.o,ibex_LinearRelaxXTaylor.cpp.11.o,ibex_LinearSolver.cpp.11.o,ibex_Newton.cpp.11.o,ibex_AmplInterface.cpp.11.o,ibex_ConstantGenerator.cpp.11.o,ibex_CtrGenerator.cpp.11.o,ibex_Entity.cpp.11.o,ibex_MainGenerator.cpp.11.o,ibex_P_Expr.cpp.11.o,ibex_P_ExprGenerator.cpp.11.o,ibex_P_ExprPrinter.cpp.11.o,ibex_P_NumConstraint.cpp.11.o,ibex_ParserSource.cpp.11.o,ibex_Scope.cpp.11.o,ibex_SyntaxError.cpp.11.o,ibex_BoolInterval.cpp.11.o,ibex_PdcAnd.cpp.11.o,ibex_PdcCleared.cpp.11.o,ibex_PdcDiameterLT.cpp.11.o,ibex_PdcFirstOrder.cpp.11.o,ibex_PdcFwdBwd.cpp.11.o,ibex_PdcHansenFeasibility.cpp.11.o,ibex_PdcImageSubset.cpp.11.o,ibex_PdcNo.cpp.11.o,ibex_PdcNot.cpp.11.o,ibex_PdcOr.cpp.11.o,ibex_PdcYes.cpp.11.o,ibex_Sep.cpp.11.o,ibex_SepBoundaryCtc.cpp.11.o,ibex_SepCtcPair.cpp.11.o,ibex_SepFwdBwd.cpp.11.o,ibex_SepInter.cpp.11.o,ibex_SepNot.cpp.11.o,ibex_SepUnion.cpp.11.o,ibex_Set.cpp.11.o,ibex_SetBisect.cpp.11.o,ibex_SetInterval.cpp.11.o,ibex_SetLeaf.cpp.11.o,ibex_SetNode.cpp.11.o,ibex_SetValueNode.cpp.11.o,ibex_Backtrackable.cpp.11.o,ibex_Cell.cpp.11.o,ibex_CellBuffer.cpp.11.o,ibex_CellCostFunc.cpp.11.o,ibex_CellStack.cpp.11.o,ibex_DefaultOptimizer.cpp.11.o,ibex_DefaultSolver.cpp.11.o,ibex_EntailedCtr.cpp.11.o,ibex_LineSearch.cpp.11.o,ibex_Multipliers.cpp.11.o,ibex_OptimData.cpp.11.o,ibex_Optimizer.cpp.11.o,ibex_Paver.cpp.11.o,ibex_SetImage.cpp.11.o,ibex_Solver.cpp.11.o,ibex_StrategyParam.cpp.11.o,ibex_SubPaving.cpp.11.o,ibex_UnconstrainedLocalSearch.cpp.11.o,ibex_CmpOp.cpp.11.o,ibex_Expr.cpp.11.o,ibex_Expr2DAG.cpp.11.o,ibex_ExprCmp.cpp.11.o,ibex_ExprCopy.cpp.11.o,ibex_ExprDiff.cpp.11.o,ibex_ExprLabel.cpp.11.o,ibex_ExprPrinter.cpp.11.o,ibex_ExprSize.cpp.11.o,ibex_ExprSplitOcc.cpp.11.o,ibex_ExprSubNodes.cpp.11.o,ibex_ExtendedSystem.cpp.11.o,ibex_FritzJohnCond.cpp.11.o,ibex_NormalizedSystem.cpp.11.o,ibex_System.cpp.11.o,ibex_SystemFactory.cpp.11.o,ibex_Agenda.cpp.11.o,ibex_DirectedHyperGraph.cpp.11.o,ibex_Exception.cpp.11.o,ibex_HyperGraph.cpp.11.o,ibex_KCoreGraph.cpp.11.o,ibex_PixelMap.cpp.11.o,ibex_Random.cpp.11.o,ibex_String.cpp.11.o,ibex_Timer.cpp.11.o,lexer.lex.cc.11.o,parser.tab.cc.11.o -> libibex.so}
['/usr/bin/g++', '-shared', 'src/arithmetic/ibex_Affine2_No.cpp.11.o', 'src/arithmetic/ibex_Affine2_fAF1.cpp.11.o', 'src/arithmetic/ibex_Affine2_fAF2.cpp.11.o', 'src/arithmetic/ibex_Affine2_fAF2_fma.cpp.11.o', 'src/arithmetic/ibex_Affine2_fAFFullI.cpp.11.o', 'src/arithmetic/ibex_Affine2_iAF.cpp.11.o', 'src/arithmetic/ibex_Affine2_sAF.cpp.11.o', 'src/arithmetic/ibex_Dim.cpp.11.o', 'src/arithmetic/ibex_InnerArith.cpp.11.o', 'src/arithmetic/ibex_Interval.cpp.11.o', 'src/arithmetic/ibex_IntervalMatrix.cpp.11.o', 'src/arithmetic/ibex_IntervalMatrixArray.cpp.11.o', 'src/arithmetic/ibex_IntervalVector.cpp.11.o', 'src/arithmetic/ibex_Matrix.cpp.11.o', 'src/arithmetic/ibex_MatrixArray.cpp.11.o', 'src/arithmetic/ibex_SetMembership.cpp.11.o', 'src/arithmetic/ibex_Tube.cpp.11.o', 'src/arithmetic/ibex_Vector.cpp.11.o', 'src/bisector/ibex_Bsc.cpp.11.o', 'src/bisector/ibex_LargestFirst.cpp.11.o', 'src/bisector/ibex_RoundRobin.cpp.11.o', 'src/bisector/ibex_SmearFunction.cpp.11.o', 'src/cliquer/cl.cpp.11.o', 'src/cliquer/cliquer.cpp.11.o', 'src/cliquer/graph.cpp.11.o', 'src/cliquer/reorder.cpp.11.o', 'src/combinatorial/ibex_QInter.cpp.11.o', 'src/combinatorial/ibex_QInter2.cpp.11.o', 'src/combinatorial/ibex_QInterEx_Cliquer.cpp.11.o', 'src/combinatorial/ibex_QInter_coreF.cpp.11.o', 'src/combinatorial/ibex_QInter_projF.cpp.11.o', 'src/contractor/ibex_Ctc.cpp.11.o', 'src/contractor/ibex_Ctc3BCid.cpp.11.o', 'src/contractor/ibex_CtcAcid.cpp.11.o', 'src/contractor/ibex_CtcCompo.cpp.11.o', 'src/contractor/ibex_CtcEmpty.cpp.11.o', 'src/contractor/ibex_CtcExist.cpp.11.o', 'src/contractor/ibex_CtcFixPoint.cpp.11.o', 'src/contractor/ibex_CtcForAll.cpp.11.o', 'src/contractor/ibex_CtcFwdBwd.cpp.11.o', 'src/contractor/ibex_CtcHC4.cpp.11.o', 'src/contractor/ibex_CtcIdentity.cpp.11.o', 'src/contractor/ibex_CtcInteger.cpp.11.o', 'src/contractor/ibex_CtcInverse.cpp.11.o', 'src/contractor/ibex_CtcMohc.cpp.11.o', 'src/contractor/ibex_CtcNewton.cpp.11.o', 'src/contractor/ibex_CtcNotIn.cpp.11.o', 'src/contractor/ibex_CtcOptimShaving.cpp.11.o', 'src/contractor/ibex_CtcPixelMap.cpp.11.o', 'src/contractor/ibex_CtcPolytopeHull.cpp.11.o', 'src/contractor/ibex_CtcPropag.cpp.11.o', 'src/contractor/ibex_CtcQInter.cpp.11.o', 'src/contractor/ibex_CtcQuantif.cpp.11.o', 'src/contractor/ibex_CtcUnion.cpp.11.o', 'src/function/ibex_Affine2Eval.cpp.11.o', 'src/function/ibex_AffineLinEval.cpp.11.o', 'src/function/ibex_CompiledFunction.cpp.11.o', 'src/function/ibex_Decorator.cpp.11.o', 'src/function/ibex_Eval.cpp.11.o', 'src/function/ibex_Fnc.cpp.11.o', 'src/function/ibex_Function.cpp.11.o', 'src/function/ibex_Gradient.cpp.11.o', 'src/function/ibex_HC4Revise.cpp.11.o', 'src/function/ibex_InHC4Revise.cpp.11.o', 'src/function/ibex_NumConstraint.cpp.11.o', 'src/geometry/ibex_CtcSegment.cpp.11.o', 'src/geometry/ibex_PdcInPolygon.cpp.11.o', 'src/geometry/ibex_SepPolygon.cpp.11.o', 'src/numeric/ibex_Linear.cpp.11.o', 'src/numeric/ibex_LinearRelax.cpp.11.o', 'src/numeric/ibex_LinearRelaxAffine2.cpp.11.o', 'src/numeric/ibex_LinearRelaxCombo.cpp.11.o', 'src/numeric/ibex_LinearRelaxFixed.cpp.11.o', 'src/numeric/ibex_LinearRelaxXTaylor.cpp.11.o', 'src/numeric/ibex_LinearSolver.cpp.11.o', 'src/numeric/ibex_Newton.cpp.11.o', 'src/parser/ibex_AmplInterface.cpp.11.o', 'src/parser/ibex_ConstantGenerator.cpp.11.o', 'src/parser/ibex_CtrGenerator.cpp.11.o', 'src/parser/ibex_Entity.cpp.11.o', 'src/parser/ibex_MainGenerator.cpp.11.o', 'src/parser/ibex_P_Expr.cpp.11.o', 'src/parser/ibex_P_ExprGenerator.cpp.11.o', 'src/parser/ibex_P_ExprPrinter.cpp.11.o', 'src/parser/ibex_P_NumConstraint.cpp.11.o', 'src/parser/ibex_ParserSource.cpp.11.o', 'src/parser/ibex_Scope.cpp.11.o', 'src/parser/ibex_SyntaxError.cpp.11.o', 'src/predicate/ibex_BoolInterval.cpp.11.o', 'src/predicate/ibex_PdcAnd.cpp.11.o', 'src/predicate/ibex_PdcCleared.cpp.11.o', 'src/predicate/ibex_PdcDiameterLT.cpp.11.o', 'src/predicate/ibex_PdcFirstOrder.cpp.11.o', 'src/predicate/ibex_PdcFwdBwd.cpp.11.o', 'src/predicate/ibex_PdcHansenFeasibility.cpp.11.o', 'src/predicate/ibex_PdcImageSubset.cpp.11.o', 'src/predicate/ibex_PdcNo.cpp.11.o', 'src/predicate/ibex_PdcNot.cpp.11.o', 'src/predicate/ibex_PdcOr.cpp.11.o', 'src/predicate/ibex_PdcYes.cpp.11.o', 'src/set/ibex_Sep.cpp.11.o', 'src/set/ibex_SepBoundaryCtc.cpp.11.o', 'src/set/ibex_SepCtcPair.cpp.11.o', 'src/set/ibex_SepFwdBwd.cpp.11.o', 'src/set/ibex_SepInter.cpp.11.o', 'src/set/ibex_SepNot.cpp.11.o', 'src/set/ibex_SepUnion.cpp.11.o', 'src/set/ibex_Set.cpp.11.o', 'src/set/ibex_SetBisect.cpp.11.o', 'src/set/ibex_SetInterval.cpp.11.o', 'src/set/ibex_SetLeaf.cpp.11.o', 'src/set/ibex_SetNode.cpp.11.o', 'src/set/ibex_SetValueNode.cpp.11.o', 'src/strategy/ibex_Backtrackable.cpp.11.o', 'src/strategy/ibex_Cell.cpp.11.o', 'src/strategy/ibex_CellBuffer.cpp.11.o', 'src/strategy/ibex_CellCostFunc.cpp.11.o', 'src/strategy/ibex_CellStack.cpp.11.o', 'src/strategy/ibex_DefaultOptimizer.cpp.11.o', 'src/strategy/ibex_DefaultSolver.cpp.11.o', 'src/strategy/ibex_EntailedCtr.cpp.11.o', 'src/strategy/ibex_LineSearch.cpp.11.o', 'src/strategy/ibex_Multipliers.cpp.11.o', 'src/strategy/ibex_OptimData.cpp.11.o', 'src/strategy/ibex_Optimizer.cpp.11.o', 'src/strategy/ibex_Paver.cpp.11.o', 'src/strategy/ibex_SetImage.cpp.11.o', 'src/strategy/ibex_Solver.cpp.11.o', 'src/strategy/ibex_StrategyParam.cpp.11.o', 'src/strategy/ibex_SubPaving.cpp.11.o', 'src/strategy/ibex_UnconstrainedLocalSearch.cpp.11.o', 'src/symbolic/ibex_CmpOp.cpp.11.o', 'src/symbolic/ibex_Expr.cpp.11.o', 'src/symbolic/ibex_Expr2DAG.cpp.11.o', 'src/symbolic/ibex_ExprCmp.cpp.11.o', 'src/symbolic/ibex_ExprCopy.cpp.11.o', 'src/symbolic/ibex_ExprDiff.cpp.11.o', 'src/symbolic/ibex_ExprLabel.cpp.11.o', 'src/symbolic/ibex_ExprPrinter.cpp.11.o', 'src/symbolic/ibex_ExprSize.cpp.11.o', 'src/symbolic/ibex_ExprSplitOcc.cpp.11.o', 'src/symbolic/ibex_ExprSubNodes.cpp.11.o', 'src/system/ibex_ExtendedSystem.cpp.11.o', 'src/system/ibex_FritzJohnCond.cpp.11.o', 'src/system/ibex_NormalizedSystem.cpp.11.o', 'src/system/ibex_System.cpp.11.o', 'src/system/ibex_SystemFactory.cpp.11.o', 'src/tools/ibex_Agenda.cpp.11.o', 'src/tools/ibex_DirectedHyperGraph.cpp.11.o', 'src/tools/ibex_Exception.cpp.11.o', 'src/tools/ibex_HyperGraph.cpp.11.o', 'src/tools/ibex_KCoreGraph.cpp.11.o', 'src/tools/ibex_PixelMap.cpp.11.o', 'src/tools/ibex_Random.cpp.11.o', 'src/tools/ibex_String.cpp.11.o', 'src/tools/ibex_Timer.cpp.11.o', 'src/parser/lexer.lex.cc.11.o', 'src/parser/parser.tab.cc.11.o', '-o', '/home/onr/Ibex/ibex-2.1.16/__build__/src/libibex.so', '-Wl,-Bstatic', '-Wl,-Bdynamic', '-L3rd', '-Lsrc', '-L/home/onr/Ibex/soplex-1.7.2/lib', '-lprim', '-lsoplex']

</code>
 
 
 
 

I am sorry, we never faced this problem so far and I don't have an answer.
We will make new installation tests soon and see if this happens on our Unbuntu 64bits machine. If so, we will be able to investigate the problem.
I will let  you know.
Gilles