================================================================
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| = 147, paralellism = 12.250) [
    Step 0: 17#2->1 8#3->4 16#5->13 12#11->10 2#14->19 9#15->16 4#20->26 3#22->30 5#35->36 1#39->31 10#43->48 
    Step 1: 17#1->8 8#4->11 6#7->0 11#9->2 9#16->20 2#19->24 4#26->34 1#31->32 5#36->37 13#38->43 15#40->39 10#48->49 
    Step 2: 6#0->1 11#2->3 17#8->16 8#11->12 9#20->26 2#24->23 3#30->38 4#34->41 5#37->36 15#39->31 13#43->48 10#49->44 
    Step 3: 6#1->8 8#12->18 17#16->20 2#23->22 9#26->27 1#32->24 14#33->34 5#36->37 3#38->30 10#44->39 13#48->43 
    Step 4: 11#3->2 6#8->16 12#10->9 16#13->12 17#20->26 1#24->19 9#27->28 3#30->38 15#31->23 14#34->35 5#37->29 10#39->40 4#41->42 13#43->44 
    Step 5: 12#9->8 16#12->11 6#16->20 1#19->14 2#22->30 17#26->34 9#28->36 5#29->21 14#35->27 3#38->39 10#40->32 4#42->46 
    Step 6: 12#8->16 16#11->10 1#14->6 8#18->12 6#20->26 5#21->22 14#27->28 2#30->31 17#34->35 9#36->37 3#39->40 
    Step 7: 11#2->3 1#6->5 16#10->9 8#12->13 12#16->20 5#22->18 7#25->33 6#26->27 14#28->29 2#31->39 10#32->24 17#35->36 9#37->38 13#44->45 4#46->42 
    Step 8: 16#9->8 5#18->12 12#20->26 15#23->22 10#24->19 14#29->30 17#36->37 9#38->43 3#40->32 4#42->35 
    Step 9: 11#3->4 16#8->16 5#12->11 15#22->21 12#26->34 14#30->31 3#32->24 7#33->25 4#35->36 17#37->38 2#39->44 9#43->48 13#45->40 
    Step 10: 5#11->10 16#16->20 15#21->29 3#24->23 7#25->33 6#27->35 14#31->39 12#34->41 4#36->37 17#38->43 13#40->32 2#44->45 9#48->49 
    Step 11: 11#4->11 1#5->6 5#10->9 8#13->12 10#19->14 16#20->26 15#29->28 13#32->24 7#33->34 6#35->36 14#39->44 17#43->48 2#45->40 
]
Multirobot solution analysis: (
    total makespan           = 12
    total distance           = 87
    total trajectory         = 147
    average parallelism      = 12.250
    average distance         = 5.118
    average trajectory       = 8.647
    parallelism distribution  = [ 0 0 0 0 0 0 0 0 0 1 3 3 3 1 1 ]
    distance distribution     = [ 1 2 1 2 2 2 3 1 1 0 1 ]
    trajectory distribution   = [ 0 0 0 1 0 1 2 3 6 1 1 2 ]
)
Phase statistics (current phase = 'SAT') [
        Phase (name = 'root_phase') [
            Total SAT solver calls         = 0
            Satisfiable SAT solver calls   = 0
            Unsatisfiable SAT solver calls = 0
            Indeterminate SAT solver calls = 0
            Move executions                = 0
            Produced CNF variables         = 0
            Produced CNF clauses           = 0
            Search steps                   = 0
            Wall clock TIME (seconds)      = 43.491
            CPU/machine TIME (seconds)     = 43.430
        ]
        Sub-phases {
            Phase (name = 'SAT') [
                Total SAT solver calls         = 12
                Satisfiable SAT solver calls   = 1
                Unsatisfiable SAT solver calls = 11
                Indeterminate SAT solver calls = 0
                Move executions                = 294
                Produced CNF variables         = 64734
                Produced CNF clauses           = 634766
                Search steps                   = 0
                Wall clock TIME (seconds)      = 50.673
                CPU/machine TIME (seconds)     = 50.740
            ]
        }
]
----------------------------------------------------------------