Requirement:Equip to tasks scheduling.Earlier tasks may not exceed a waittime to latest endtime for each job. 2 JOBs to plan each with 2 identical TASKs with only 1 EQUIPMENT anchor: J1 comprises T1,T2 and J2 comprises T1,T2. problem Fact: EQUIPMENT E1 planning Entity: TASK T1|duration=3|waittime=2 and T2|duration=5|waittime=3 OptaPlan Schedule attempt ------------------------- anchor(E1:T1J1,T1J2,T2J1,T2J2) - so T1J1 is pos1,T1J2 is pos2 etc : timings are 3+3+5+5 and respective waittimes are 2,2,3,3 Rule: get latest ending task by JOB and punish if waittime is exceeded between the tasks for that specific JOB. J1 latestendtime=11 which is T2J1 J2 latestendtime=16 which is T2J2 Punish if any task endtime for JOB exceeds waittime (so for J1: T2J1-T1J1=(11-6-2)*-1 = -3 (SOFT) - I believe that the score function remembers J1,T2J1 in position 3 and T1J1 in position 1 with SOFT score -3 OptaPlan Schedule attempt ------------------------- anchor(E1:T1J1,T2J2,T2J1,T1J2) - so T1J1 is pos1,T2J2 is pos2 etc : timings are 3+5+5+3 and respective waittimes are 2,3,3,2 Rule: get latest ending task by JOB and punish if waittime is exceeded between JOBs J1 latestendtime=13 which is T2J1 J2 latestendtime=16 which is T1J2 Punish if any task endtime for JOB exceeds waittime (so for J1: T2J1-T1J1=(13-6-2)*-1 = -5 (SOFT) - I believe that the score function remembers J1,T2J1 in position 3 and T1J1 in position 1 with SOFT score -5 Score corruption seems to occur as the DRL scoring function has 2 identical set of entities/values but with different score results! J1,T2J1 in position 3 and T1J1 in position 1 with SOFT score -3 J1,T2J1 in position 3 and T1J1 in position 1 with SOFT score -5

What has happened is that J2 has swapped its tasks around which are not(?) taken into account for a chaining DRL score function and hence does not see them as different. Q?: Am I correct in my assumption that the DRL score function has insufficient data to compare for my requirement? Q?: If so any ideas to resolve? -- View this message in context: http://drools.46999.n3.nabble.com/Optaplan6-0-0Beta1-chaining-simpleScore... Sent from the Drools: User forum mailing list archive at Nabble.com. _______________________________________________ rules-users mailing list rules-users(a)lists.jboss.org https://lists.jboss.org/mailman/listinfo/rules-users

Hi Geoffrey - thanks for the prompt reply. Installed the latest OptaPlanner snapshot but did not resolve the error - no change. I have played around and made some incremental improvements and although I can still replicate the error I described earlier the single constraint match error appears easier to debug with this test data. SimpleScore still works fine and comes up with best answer SOFT -2. DRL score corruption (only 1 rule) occurs in local search - gets through FIRST_FIT heuristics OK. I am still using 4 Plan entities,1 equipment(anchor) to schedule. Equip idNo:44 fryer1 Plan idNo:58 T1 fryer fry chips duration : 3 stand: 1 Plan idNo:61 T1 fryer fry snitzel duration: 7 stand: 2 Plan idNo:64 T2 fryer fry chips duration : 3 stand: 1 Plan idNo:67 T2 fryer fry snitzel duration: 7 stand: 2 Table idNo:41 T1 Table idNo:42 T2 Exception in thread "main" java.lang.IllegalStateException: Score corruption: the workingScore (0hard/0medium/-8soft) is not the uncorruptedScore (0hard/0medium/-12soft): The corrupted scoreDirector has no ConstraintMatch(s) which are in excess. The corrupted scoreDirector has 1 ConstraintMatch(s) which are missing: com.umple.solver/standtime vs maxendtime/level2/[org.drools.core.reteoo.InitialFactImpl@4dde85f0, [Table-41], fryer1 44 T1 POS:4 Plan: id 58 fry chips, fryer1 44 T1 POS:2 Plan: id 61 fry snitzel]=-4 rule "standtime vs maxendtime" salience 20 when not Plan(previousItemTaskorEquip== null) // forces all plans to be initialised $table : Table(id!=null,$tableName : name) $latestplan : Plan(previousItemTaskorEquip!= null,tableName ==$tableName, $maxend : getEquipEndTime(),$maxid : id,$maxstandtime : taskSeqStandTime ) // NB working - selects correct latestplan - strange not all the latestplans used in heuristics - but are used in local search not Plan(previousItemTaskorEquip != null,tableName ==$tableName,getEquipEndTime() > $maxend) // check all plans vs latestplan $plan : Plan(previousItemTaskorEquip!= null,id != null,equip!=null, tableName ==$tableName,getEquipEndTime()<$maxend,id != $maxid, $equip :equip,$endtime: getEquipEndTime(),$standtime : taskSeqStandTime,$id : id) eval ($endtime+$standtime-$maxend<0) then scoreHolder.addSoftConstraintMatch(kcontext, $endtime+$standtime-$maxend); end The part of xml config file which is most likely relevant: <localSearch> <unionMoveSelector> <changeMoveSelector> </changeMoveSelector> <swapMoveSelector> </swapMoveSelector> </unionMoveSelector> <acceptor> <planningEntityTabuSize>6</planningEntityTabuSize> </acceptor> <forager> <minimalAcceptedSelection>2000</minimalAcceptedSelection> </forager> </localSearch> If the Rule looks OK, I will manually step through the trace as it is doable but am not sure how to do so or what to look for. Thanks Paul -- View this message in context: http://drools.46999.n3.nabble.com/Optaplan6-0-0Beta1-chaining-simpleScore... Sent from the Drools: User forum mailing list archive at Nabble.com. _______________________________________________ rules-users mailing list rules-users(a)lists.jboss.org https://lists.jboss.org/mailman/listinfo/rules-users

Hi Geoffrey Again thanks for quick response - I will do so although a public unit test is beyond me as I am no expert in Java or Drools but will provide a simple stripped run example. The 4 entities,1 anchor,1 rule is the simplest crashing example data I have. Thanks Paul -- View this message in context: http://drools.46999.n3.nabble.com/Optaplan6-0-0Beta1-chaining-simpleScore... Sent from the Drools: User forum mailing list archive at Nabble.com. _______________________________________________ rules-users mailing list rules-users(a)lists.jboss.org https://lists.jboss.org/mailman/listinfo/rules-users

Hi Geoffrey Thanks for attending to the Jira. I am at a loss as how to continue using Rete if my model cannot be handled by Rete so as Phreak works ..... tried out using Drools,OptaPlanner as per 2013-05-14 snapshots, turned on Phreak in OptaPlanner ScoreDirectorFactoryConfig, used OptaCrashExample-2.tar.gz from the Jira , changed testConfigDRL.xml from minimalAcceptedSelection to acceptedCountLimit which resulted in the following error: which appears similar to the previous score corruption problem. 2013-05-15 07:38:26,149 [main] INFO Loaded: data/plansched/solved/tmp.xml 2013-05-15 07:38:28,308 [main] INFO KieModule was added:MemoryKieModule[ ReleaseId=org.default:artifact:1.0.0-SNAPSHOT] OptaPlanner 2013-5-14 PT PhreakOption.ENABLED 2013-05-15 07:38:28,666 [main] INFO Solving started: time spend (146), score (0hard/0medium/0soft), new best score (0hard/0medium/0soft), random seed (0). 2013-05-15 07:38:28,669 [main] INFO Phase (0) constructionHeuristic ended: step total (0), time spend (149), best score (0hard/0medium/0soft). Exception in thread "main" Exception executing consequence for rule "standtime vs maxendtime" in com.umple.solver: java.lang.IllegalStateException: The constraintMatchTotal (com.umple.solver/standtime vs maxendtime/level2=11) could not remove constraintMatch (com.umple.solver/standtime vs maxendtime/level2/[ Plan: id 12 fry snitzel, Plan: id 10 fry chips, [Table-2], org.drools.core.reteoo.InitialFactImpl@4dde85f0]=-11) from its constraintMatchSet ([]). at org.drools.core.runtime.rule.impl.DefaultConsequenceExceptionHandler.handleException(DefaultConsequenceExceptionHandler.java:39) at org.drools.core.common.DefaultAgenda.fireActivation(DefaultAgenda.java:1448) at org.drools.core.phreak.RuleExecutor.evaluateNetwork(RuleExecutor.java:105) at org.drools.core.common.DefaultAgenda.fireNextItem(DefaultAgenda.java:1334) at org.drools.core.common.DefaultAgenda.fireAllRules(DefaultAgenda.java:1585) at org.drools.core.common.AbstractWorkingMemory.fireAllRules(AbstractWorkingMemory.java:654) at org.drools.core.common.AbstractWorkingMemory.fireAllRules(AbstractWorkingMemory.java:618) at org.drools.core.impl.StatefulKnowledgeSessionImpl.fireAllRules(StatefulKnowledgeSessionImpl.java:233) at org.optaplanner.core.impl.score.director.drools.DroolsScoreDirector.calculateScore(DroolsScoreDirector.java:181) at org.optaplanner.core.impl.solver.scope.DefaultSolverScope.calculateScore(DefaultSolverScope.java:93) at org.optaplanner.core.impl.phase.AbstractSolverPhaseScope.calculateScore(AbstractSolverPhaseScope.java:117) at org.optaplanner.core.impl.localsearch.decider.DefaultDecider.processMove(DefaultDecider.java:157) at org.optaplanner.core.impl.localsearch.decider.DefaultDecider.doMove(DefaultDecider.java:144) at org.optaplanner.core.impl.localsearch.decider.DefaultDecider.decideNextStep(DefaultDecider.java:116) at org.optaplanner.core.impl.localsearch.DefaultLocalSearchSolverPhase.solve(DefaultLocalSearchSolverPhase.java:62) at org.optaplanner.core.impl.solver.DefaultSolver.runSolverPhases(DefaultSolver.java:190) at org.optaplanner.core.impl.solver.DefaultSolver.solve(DefaultSolver.java:155) at com.umple.app.PlanSchedHelloWorld.pseudoBenchMark(PlanSchedHelloWorld.java:77) at com.umple.app.PlanSchedHelloWorld.main(PlanSchedHelloWorld.java:60) Caused by: java.lang.IllegalStateException: The constraintMatchTotal (com.umple.solver/standtime vs maxendtime/level2=11) could not remove constraintMatch (com.umple.solver/standtime vs maxendtime/level2/[ Plan: id 12 fry snitzel, Plan: id 10 fry chips, [Table-2], org.drools.core.reteoo.InitialFactImpl@4dde85f0]=-11) from its constraintMatchSet ([]). at org.optaplanner.core.api.score.constraint.primint.IntConstraintMatchTotal.removeConstraintMatch(IntConstraintMatchTotal.java:101) at org.optaplanner.core.api.score.holder.AbstractScoreHolder$2.unMatch(AbstractScoreHolder.java:87) at org.optaplanner.core.api.score.holder.AbstractScoreHolder.prepareAgendaItemForUnMatchListener(AbstractScoreHolder.java:218) at org.optaplanner.core.api.score.holder.AbstractScoreHolder.registerIntConstraintMatch(AbstractScoreHolder.java:72) at org.optaplanner.core.api.score.buildin.hardmediumsoft.HardMediumSoftScoreHolder.addSoftConstraintMatch(HardMediumSoftScoreHolder.java:90) at com.umple.solver.Rule_standtime_vs_maxendtime2105489009.defaultConsequence(Rule_standtime_vs_maxendtime2105489009.java:13) at com.umple.solver.Rule_standtime_vs_maxendtime2105489009DefaultConsequenceInvokerGenerated.evaluate(Unknown Source) at com.umple.solver.Rule_standtime_vs_maxendtime2105489009DefaultConsequenceInvoker.evaluate(Unknown Source) at org.drools.core.common.DefaultAgenda.fireActivation(DefaultAgenda.java:1438) Any suggestions: - do you think that my requirement is unsuited to using rule based scoring ? - stay with SimpleScore ? Thanks Paul -- View this message in context: http://drools.46999.n3.nabble.com/Optaplan6-0-0Beta1-chaining-simpleScore... Sent from the Drools: User forum mailing list archive at Nabble.com. _______________________________________________ rules-users mailing list rules-users(a)lists.jboss.org https://lists.jboss.org/mailman/listinfo/rules-users