Buggy code:
public class CShareableResource implements ChocoView { private ShareableResource rc ; private IntVar [ ] phyRcUsage ; private IntVar [ ] virtRcUsage ; private IntVar [ ] vmAllocation ; private RealVar [ ] ratios ; private ReconfigurationProblem rp ; private Solver solver ; private String id ; private Model source ; private Map < VM , VM > references ; private Map < VM , VM > clones ; public static final double UNCHECKED_RATIO = ( Double . MAX_VALUE ) // 100 ; public CShareableResource ( ReconfigurationProblem p , ShareableResource r ) throws SchedulerException { } public String getResourceIdentifier ( ) { } public ShareableResource getSourceResource ( ) { } public IntVar [ ] getPhysicalUsage ( ) { } public IntVar getPhysicalUsage ( int nIdx ) { } public IntVar [ ] getVirtualUsage ( ) { } public IntVar getVirtualUsage ( int nIdx ) { } public IntVar [ ] getVMsAllocation ( ) { } public IntVar getVMsAllocation ( int vmIdx ) { } public RealVar getOverbookRatio ( int nId ) { } public RealVar [ ] getOverbookRatios ( ) { } public boolean addAllocateAction ( ReconfigurationPlan plan , VM e , Node node , int st , int ed ) { } @ Override public String getIdentifier ( ) { } @ Override public String toString ( ) { } @ Override public boolean beforeSolve ( ReconfigurationProblem p ) throws SchedulerException { } @ Override public boolean insertActions ( ReconfigurationProblem r , ReconfigurationPlan p ) { } private void insertAllocateEvent ( Action a , Action . Hook h , VM vm ) { } private boolean insertAllocateAction ( ReconfigurationPlan p , VM vm , Node destNode , int st ) { } private boolean linkVirtualToPhysicalUsage ( ) throws SchedulerException { } private boolean linkVirtualToPhysicalUsage ( int nIdx ) { double r = ratios [ nIdx ] . getUB ( ) ; if ( r == ( CShareableResource . UNCHECKED_RATIO ) ) { r = 1 ; } try { ratios [ nIdx ] . updateBounds ( r , r , Null ) ; } catch ( ContradictionException ex ) { rp . getLogger ( ) . error ( "Unable<seq2seq4repair_space>to<seq2seq4repair_space>set<seq2seq4repair_space>'{}'<seq2seq4repair_space>to<seq2seq4repair_space>{}" , ratios [ nIdx ] , r ) ; return false ; } if ( r == 1 ) { solver . post ( IntConstraintFactory . arithm ( phyRcUsage [ nIdx ] , "=" , virtRcUsage [ nIdx ] ) ) ; try { virtRcUsage [ nIdx ] . updateUpperBound ( phyRcUsage [ nIdx ] . getUB ( ) , Null ) ; } catch ( ContradictionException ex ) { <START_BUG> rp . getLogger ( ) . error ( "Unable<seq2seq4repair_space>to<seq2seq4repair_space>restrict<seq2seq4repair_space>the<seq2seq4repair_space>virtual<seq2seq4repair_space>'{}'<seq2seq4repair_space>capacity<seq2seq4repair_space>of<seq2seq4repair_space>{}<seq2seq4repair_space>to<seq2seq4repair_space>{}:<seq2seq4repair_space>" , rp . getNode ( nIdx ) , phyRcUsage [ nIdx ] . getUB ( ) , ex . getMessage ( ) ) ; <END_BUG> return false ; } } else { int maxPhy = getSourceResource ( ) . getCapacity ( rp . getNode ( nIdx ) ) ; int maxVirt = ( ( int ) ( maxPhy * r ) ) ; if ( maxVirt != 0 ) { solver . post ( new org . btrplace . scheduler . choco . extensions . RoundedUpDivision ( phyRcUsage [ nIdx ] , virtRcUsage [ nIdx ] , r ) ) ; } else { try { phyRcUsage [ nIdx ] . instantiateTo ( 0 , Null ) ; } catch ( ContradictionException ex ) { rp . getLogger ( ) . error ( "Unable<seq2seq4repair_space>to<seq2seq4repair_space>restrict<seq2seq4repair_space>the<seq2seq4repair_space>physical<seq2seq4repair_space>'{}'<seq2seq4repair_space>capacity<seq2seq4repair_space>of<seq2seq4repair_space>{}<seq2seq4repair_space>to<seq2seq4repair_space>{}:<seq2seq4repair_space>{}" , getResourceIdentifier ( ) , rp . getNode ( nIdx ) , maxPhy , ex . getMessage ( ) ) ; return false ; } } } return true ; } @ Override public boolean cloneVM ( VM vm , VM clone ) { } public static class Builder implements ChocoModelViewBuilder { @ Override public Class < ? extends ModelView > getKey ( ) { } @ Override public SolverViewBuilder build ( final ModelView v ) throws SchedulerException { } } }

Fix:
rp . getLogger ( ) . error ( "Unable<seq2seq4repair_space>to<seq2seq4repair_space>restrict<seq2seq4repair_space>the<seq2seq4repair_space>virtual<seq2seq4repair_space>'{}'<seq2seq4repair_space>capacity<seq2seq4repair_space>of<seq2seq4repair_space>{}<seq2seq4repair_space>to<seq2seq4repair_space>{}:<seq2seq4repair_space>{}" , getResourceIdentifier ( ) , rp . getNode ( nIdx ) , phyRcUsage [ nIdx ] . getUB ( ) , ex . getMessage ( ) ) ;