================================================================
reLOC 0.08-osaka : Multirobot Solution solver
(C) Copyright 2011-2013 Pavel Surynek
----------------------------------------------------------------
Reading graph...
Reading initial arrangement...
Reading goal arrangement...
Solving layer: 2
Solving layer: 3
Solving layer: 4
Solving layer: 5
Solving layer: 6
Solving layer: 7
Solving layer: 8
Solving layer: 9
Solving layer: 10
Solving layer: 11
Solving layer: 12
Solving layer: 13
Computed optimal makespan:12
Makespan optimal solution:
Mulirobot solution: (|moves| = 165, paralellism = 13.750) [
    Step 0: 17#2->1 8#3->4 16#5->6 6#7->0 12#11->10 2#14->13 9#15->16 4#20->26 14#33->34 5#35->36 1#39->31 10#43->44 
    Step 1: 17#1->8 16#6->14 11#9->2 12#10->3 2#13->5 9#16->20 3#22->23 7#25->33 4#26->27 1#31->32 14#34->35 5#36->28 13#38->43 15#40->45 10#44->39 
    Step 2: 6#0->1 11#2->9 2#5->13 17#8->16 16#14->19 9#20->26 3#23->22 5#28->29 1#32->40 7#33->25 14#35->36 13#43->48 15#45->50 
    Step 3: 6#1->8 12#3->2 8#4->11 11#9->10 2#13->14 17#16->20 16#19->24 3#22->30 7#25->33 9#26->34 4#27->28 5#29->21 14#36->37 10#39->38 15#50->49 
    Step 4: 12#2->9 6#8->16 8#11->4 2#14->19 17#20->26 5#21->22 16#24->23 4#28->27 3#30->29 7#33->25 9#34->35 10#38->39 1#40->32 13#48->47 
    Step 5: 12#9->8 11#10->3 6#16->20 2#19->24 5#22->18 16#23->31 7#25->33 17#26->34 4#27->28 3#29->21 9#35->36 14#37->38 10#39->40 13#47->48 15#49->44 
    Step 6: 11#3->2 12#8->16 5#18->12 6#20->26 3#21->22 2#24->23 4#28->27 16#31->30 17#34->35 9#36->37 14#38->43 15#44->39 13#48->49 
    Step 7: 8#4->3 5#12->11 12#16->20 3#22->18 6#26->34 16#30->29 1#32->24 17#35->36 9#37->38 15#39->31 14#43->44 13#49->50 
    Step 8: 8#3->4 5#11->10 12#20->26 1#24->19 4#27->35 15#31->30 7#33->25 6#34->41 17#36->37 9#38->39 10#40->32 14#44->49 13#50->45 
    Step 9: 11#2->9 8#4->11 5#10->3 1#19->14 2#23->31 7#25->33 12#26->34 16#29->28 10#32->24 4#35->36 17#37->38 9#39->44 6#41->42 13#45->40 14#49->50 
    Step 10: 5#3->2 11#9->10 8#11->12 1#14->6 3#18->22 10#24->19 16#28->27 15#30->29 2#31->39 12#34->41 4#36->37 17#38->43 13#40->32 6#42->35 9#44->49 14#50->45 
    Step 11: 5#2->9 11#10->11 10#19->14 3#22->23 16#27->26 15#29->28 13#32->24 7#33->34 6#35->36 2#39->40 17#43->48 14#45->44 
]
Multirobot solution analysis: (
    total makespan           = 12
    total distance           = 87
    total trajectory         = 165
    average parallelism      = 13.750
    average distance         = 5.118
    average trajectory       = 9.706
    parallelism distribution  = [ 0 0 0 0 0 0 0 0 0 0 0 3 3 1 4 1 ]
    distance distribution     = [ 1 2 1 2 2 2 3 1 1 0 1 ]
    trajectory distribution   = [ 0 0 0 0 0 0 1 3 4 3 4 2 ]
)
Phase statistics (current phase = 'root_phase') [
        Phase (name = 'root_phase') [
            Total SAT solver calls         = 12
            Satisfiable SAT solver calls   = 1
            Unsatisfiable SAT solver calls = 11
            Indeterminate SAT solver calls = 0
            Move executions                = 330
            Produced CNF variables         = 64734
            Produced CNF clauses           = 451644
            Search steps                   = 0
            Wall clock TIME (seconds)      = 56.330
            CPU/machine TIME (seconds)     = 56.330
        ]
]
----------------------------------------------------------------