Domain: domain.pddl Problem: problem.pddl Parsing... Parsing: [0.010s CPU, 0.004s wall-clock] Generating Datalog program... [0.000s CPU, 0.001s wall-clock] Normalizing Datalog program... Normalizing Datalog program: [0.000s CPU, 0.004s wall-clock] Preparing model... [0.000s CPU, 0.002s wall-clock] Generated 38 rules. Computing model... [0.010s CPU, 0.010s wall-clock] 375 relevant atoms 528 auxiliary atoms 903 final queue length 1060 total queue pushes Completing instantiation... [0.010s CPU, 0.005s wall-clock] goal relaxed reachable: True 64 atoms Computing fact groups... Finding invariants... 7 initial candidates Time limit reached, aborting invariant generation Finding invariants: [0.000s CPU, 0.000s wall-clock] Checking invariant weight... [0.000s CPU, 0.000s wall-clock] Instantiating groups... [0.000s CPU, 0.000s wall-clock] Collecting mutex groups... [0.000s CPU, 0.000s wall-clock] Choosing groups... 64 uncovered facts Choosing groups: [0.000s CPU, 0.000s wall-clock] Building translation key... [0.000s CPU, 0.000s wall-clock] Computing fact groups: [0.000s CPU, 0.001s wall-clock] Axioms 0 Deterministic 78 actions 0 negated fluents created Invariants 64 Match tree built with 78 nodes. PDDL problem description loaded: Domain: sokoban-sequential Problem: p014-microban-sequential #Actions: 78 #Fluents: 64 Landmarks found: 2 Starting search with IW (time budget is 60 secs)... Plan found with cost: 10.041 1. (move player-01 pos-6-4 pos-6-3 dir-up) 2. (move player-01 pos-6-3 pos-6-2 dir-up) 3. (move player-01 pos-6-2 pos-5-2 dir-left) 4. (move player-01 pos-5-2 pos-4-2 dir-left) 5. (move player-01 pos-4-2 pos-3-2 dir-left) 6. (move player-01 pos-3-2 pos-2-2 dir-left) 7. (move player-01 pos-2-2 pos-2-3 dir-down) 8. (move player-01 pos-2-3 pos-2-4 dir-down) 9. (move player-01 pos-2-4 pos-3-4 dir-right) 10. (move player-01 pos-3-4 pos-3-5 dir-down) 11. (move player-01 pos-3-5 pos-4-5 dir-right) 12. (push-to-nongoal player-01 stone-01 pos-4-5 pos-4-4 pos-4-3 dir-up) 13. (move player-01 pos-4-4 pos-3-4 dir-left) 14. (move player-01 pos-3-4 pos-2-4 dir-left) 15. (move player-01 pos-2-4 pos-2-3 dir-up) 16. (move player-01 pos-2-3 pos-2-2 dir-up) 17. (move player-01 pos-2-2 pos-3-2 dir-right) 18. (move player-01 pos-3-2 pos-4-2 dir-right) 19. (move player-01 pos-4-2 pos-5-2 dir-right) 20. (move player-01 pos-5-2 pos-6-2 dir-right) 21. (move player-01 pos-6-2 pos-6-3 dir-down) 22. (move player-01 pos-6-3 pos-6-4 dir-down) 23. (push-to-nongoal player-01 stone-02 pos-6-4 pos-5-4 pos-4-4 dir-left) 24. (push-to-nongoal player-01 stone-02 pos-5-4 pos-4-4 pos-3-4 dir-left) 25. (push-to-goal player-01 stone-02 pos-4-4 pos-3-4 pos-2-4 dir-left) 26. (move player-01 pos-3-4 pos-4-4 dir-right) 27. (move player-01 pos-4-4 pos-5-4 dir-right) 28. (move player-01 pos-5-4 pos-6-4 dir-right) 29. (move player-01 pos-6-4 pos-6-3 dir-up) 30. (move player-01 pos-6-3 pos-6-2 dir-up) 31. (move player-01 pos-6-2 pos-5-2 dir-left) 32. (move player-01 pos-5-2 pos-4-2 dir-left) 33. (push-to-nongoal player-01 stone-01 pos-4-2 pos-4-3 pos-4-4 dir-down) 34. (move player-01 pos-4-3 pos-4-2 dir-up) 35. (move player-01 pos-4-2 pos-5-2 dir-right) 36. (move player-01 pos-5-2 pos-6-2 dir-right) 37. (move player-01 pos-6-2 pos-6-3 dir-down) 38. (move player-01 pos-6-3 pos-6-4 dir-down) 39. (move player-01 pos-6-4 pos-5-4 dir-left) 40. (push-to-nongoal player-01 stone-01 pos-5-4 pos-4-4 pos-3-4 dir-left) 41. (move player-01 pos-4-4 pos-4-5 dir-down) 42. (move player-01 pos-4-5 pos-3-5 dir-left) 43. (move player-01 pos-3-5 pos-2-5 dir-left) 44. (push-to-nongoal player-01 stone-02 pos-2-5 pos-2-4 pos-2-3 dir-up) 45. (push-to-nongoal player-01 stone-01 pos-2-4 pos-3-4 pos-4-4 dir-right) 46. (push-to-goal player-01 stone-01 pos-3-4 pos-4-4 pos-5-4 dir-right) 47. (move player-01 pos-4-4 pos-4-3 dir-up) 48. (move player-01 pos-4-3 pos-4-2 dir-up) 49. (move player-01 pos-4-2 pos-3-2 dir-left) 50. (move player-01 pos-3-2 pos-2-2 dir-left) 51. (push-to-goal player-01 stone-02 pos-2-2 pos-2-3 pos-2-4 dir-down) Time: 0.02 Generated: 4739 Expanded: 4575 Total time: 0.02 Nodes generated during search: 4739 Nodes expanded during search: 4575 Backtracks during search: 1 IW search completed in 0.02 secs, check 'iw.log' for details Checking plan: /home/linuxbuildslave/buildslaves/ailinux/ipc-build-singularity-linux/build/tmpTZmNdQ/sas_plan Plan executed successfully - checking goal Plan valid Final value: 10 Successful plans: Value: 10 /home/linuxbuildslave/buildslaves/ailinux/ipc-build-singularity-linux/build/tmpTZmNdQ/sas_plan 10