================================================================
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
Solving layer: 14
Computed optimal makespan:13
Makespan optimal solution:
Mulirobot solution: (|moves| = 151, paralellism = 11.615) [
    Step 0: 14#2->1 13#5->13 6#15->16 4#25->26 11#33->34 2#35->42 10#38->30 12#40->32 7#43->48 
    Step 1: 14#1->0 5#3->4 3#7->15 8#9->2 9#11->10 13#13->12 6#16->8 4#26->27 10#30->22 12#32->31 11#34->35 2#42->46 7#48->49 
    Step 2: 14#0->7 8#2->3 6#8->1 9#10->9 13#12->11 3#15->16 1#20->26 10#22->18 4#27->28 12#31->30 11#35->36 7#49->44 
    Step 3: 6#1->2 14#7->15 9#9->8 13#11->10 3#16->20 10#18->12 1#26->27 4#28->29 12#30->22 7#44->39 2#46->42 
    Step 4: 6#2->1 5#4->11 13#10->9 10#12->13 14#15->16 3#20->26 12#22->21 1#27->28 4#29->30 11#36->35 2#42->41 
    Step 5: 6#1->0 8#3->10 13#9->2 5#11->12 10#13->14 14#16->20 12#21->22 3#26->27 1#28->29 4#30->38 11#35->36 7#39->31 2#41->42 
    Step 6: 6#0->7 9#8->16 8#10->11 5#12->18 10#14->19 14#20->26 12#22->23 3#27->35 1#29->21 7#31->30 11#36->37 4#38->39 
    Step 7: 13#2->9 6#7->0 8#11->12 9#16->20 5#18->22 12#23->31 14#26->27 7#30->29 3#35->36 11#37->38 4#39->40 
    Step 8: 6#0->7 13#9->8 8#12->18 10#19->14 9#20->26 5#22->23 14#27->35 7#29->28 12#31->30 3#36->37 11#38->39 4#40->45 2#42->46 
    Step 9: 6#7->0 13#8->16 10#14->13 8#18->22 5#23->31 9#26->34 7#28->27 12#30->29 14#35->36 3#37->38 11#39->40 2#46->42 
    Step 10: 6#0->1 10#13->12 13#16->15 8#22->23 7#27->26 12#29->28 5#31->39 9#34->41 14#36->37 11#40->32 2#42->35 
    Step 11: 6#1->8 10#12->11 13#15->7 1#21->22 8#23->31 7#26->20 12#28->27 11#32->24 2#35->36 14#37->29 5#39->44 9#41->42 4#45->40 
    Step 12: 13#7->0 6#8->16 10#11->10 1#22->18 12#27->35 14#29->21 8#31->23 3#38->39 4#40->32 9#42->46 
]
Multirobot solution analysis: (
    total makespan           = 13
    total distance           = 86
    total trajectory         = 151
    average parallelism      = 11.615
    average distance         = 6.143
    average trajectory       = 10.786
    parallelism distribution  = [ 0 0 0 0 0 0 0 0 1 1 4 3 4 ]
    distance distribution     = [ 2 0 0 0 1 2 3 1 2 2 ]
    trajectory distribution   = [ 0 0 0 0 0 0 1 0 2 3 3 2 3 ]
)
Phase statistics (current phase = 'root_phase') [
        Phase (name = 'root_phase') [
            Total SAT solver calls         = 13
            Satisfiable SAT solver calls   = 1
            Unsatisfiable SAT solver calls = 12
            Indeterminate SAT solver calls = 0
            Move executions                = 302
            Produced CNF variables         = 69693
            Produced CNF clauses           = 392990
            Search steps                   = 0
            Wall clock TIME (seconds)      = 162.943
            CPU/machine TIME (seconds)     = 162.980
        ]
]
----------------------------------------------------------------