================================================================
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
Computed optimal makespan:11
Makespan optimal solution:
Mulirobot solution: (|moves| = 94, paralellism = 8.545) [
    Step 0: 11#5->13 1#7->0 6#9->10 7#11->12 4#15->16 9#33->34 8#38->37 
    Step 1: 12#2->9 6#10->11 7#12->18 4#16->20 8#37->36 10#40->32 5#43->38 
    Step 2: 12#9->10 6#11->12 11#13->14 7#18->22 4#20->26 2#25->33 10#32->31 9#34->41 8#36->35 5#38->37 
    Step 3: 1#0->1 3#3->4 12#10->11 6#12->13 7#22->30 4#26->25 10#31->32 8#35->34 5#37->29 9#41->42 
    Step 4: 1#1->2 12#11->12 6#13->5 5#29->28 7#30->38 8#34->26 9#42->35 
    Step 5: 1#2->3 3#4->11 12#12->18 11#14->19 8#26->20 5#28->36 10#32->24 2#33->34 9#35->27 
    Step 6: 1#3->4 3#11->12 12#18->22 8#20->16 9#27->28 2#34->26 5#36->35 7#38->43 
    Step 7: 1#4->11 6#5->6 3#12->18 8#16->8 11#19->14 12#22->30 10#24->23 4#25->33 9#28->29 5#35->34 7#43->44 
    Step 8: 6#6->5 8#8->1 1#11->12 3#18->22 2#26->27 9#29->37 12#30->38 5#34->41 7#44->39 
    Step 9: 8#1->2 6#5->6 1#12->11 10#23->31 2#27->28 4#33->34 12#38->43 7#39->40 5#41->42 
    Step 10: 8#2->3 3#22->18 2#28->29 10#31->30 4#34->41 9#37->38 12#43->44 
]
Multirobot solution analysis: (
    total makespan           = 11
    total distance           = 52
    total trajectory         = 94
    average parallelism      = 8.545
    average distance         = 4.333
    average trajectory       = 7.833
    parallelism distribution  = [ 0 0 0 0 0 0 4 1 3 2 1 ]
    distance distribution     = [ 0 1 1 3 3 1 2 ]
    trajectory distribution   = [ 0 0 0 1 0 2 2 2 3 1 1 ]
)
Phase statistics (current phase = 'root_phase') [
        Phase (name = 'root_phase') [
            Total SAT solver calls         = 11
            Satisfiable SAT solver calls   = 1
            Unsatisfiable SAT solver calls = 10
            Indeterminate SAT solver calls = 0
            Move executions                = 188
            Produced CNF variables         = 51128
            Produced CNF clauses           = 293601
            Search steps                   = 0
            Wall clock TIME (seconds)      = 13.995
            CPU/machine TIME (seconds)     = 14.100
        ]
]
----------------------------------------------------------------