================================================================
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| = 163, paralellism = 13.583) [
    Step 0: 2#14->19 3#22->18 4#20->26 5#35->36 8#3->10 9#15->16 10#43->44 12#11->4 14#33->34 16#5->13 17#2->1 
    Step 1: 1#39->31 2#19->24 3#18->22 4#26->27 5#36->37 9#16->20 10#44->45 11#9->2 12#4->3 13#38->43 14#34->41 16#13->12 17#1->8 
    Step 2: 1#31->23 2#24->32 3#22->18 4#27->35 5#37->29 8#10->9 9#20->26 10#45->44 11#2->1 13#43->48 14#41->42 15#40->39 16#12->11 17#8->16 
    Step 3: 1#23->24 2#32->40 3#18->12 4#35->34 5#29->30 6#7->15 8#9->8 9#26->27 10#44->43 11#1->0 12#3->2 15#39->31 17#16->20 
    Step 4: 1#24->19 4#34->33 5#30->22 6#15->16 8#8->9 9#27->28 10#43->44 12#2->1 14#42->35 15#31->32 16#11->4 17#20->26 
    Step 5: 2#40->39 3#12->13 5#22->18 6#16->20 9#28->29 10#44->45 12#1->8 13#48->49 14#35->27 15#32->24 16#4->11 17#26->34 
    Step 6: 2#39->44 3#13->14 5#18->12 6#20->26 8#9->2 9#29->30 12#8->16 13#49->50 14#27->28 15#24->23 16#11->10 17#34->35 
    Step 7: 2#44->49 3#14->13 4#33->34 5#12->11 6#26->27 8#2->3 9#30->38 10#45->40 11#0->1 12#16->20 14#28->29 16#10->9 17#35->36 
    Step 8: 1#19->14 2#49->44 3#13->12 4#34->35 5#11->4 6#27->28 7#25->33 8#3->10 9#38->43 10#40->32 11#1->2 12#20->26 13#50->45 14#29->30 15#23->22 16#9->8 17#36->37 
    Step 9: 1#14->13 3#12->18 4#35->36 5#4->3 6#28->27 7#33->25 8#10->11 9#43->48 10#32->24 11#2->9 12#26->34 13#45->40 14#30->31 15#22->21 16#8->16 17#37->38 
    Step 10: 1#13->5 2#44->45 3#18->22 4#36->37 5#3->2 6#27->35 7#25->33 8#11->12 9#48->49 10#24->19 11#9->10 12#34->41 13#40->32 14#31->39 15#21->29 16#16->20 17#38->43 
    Step 11: 1#5->6 2#45->40 3#22->23 5#2->9 6#35->36 7#33->34 10#19->14 11#10->11 13#32->24 14#39->44 15#29->28 16#20->26 17#43->48 
]
Multirobot solution analysis: (
    total makespan           = 12
    total distance           = 87
    total trajectory         = 163
    average parallelism      = 13.583
    average distance         = 5.118
    average trajectory       = 9.588
    parallelism distribution  = [ 0 0 0 0 0 0 0 0 0 0 1 3 4 1 0 1 2 ]
    distance distribution     = [ 1 2 1 2 2 2 3 1 1 0 1 ]
    trajectory distribution   = [ 0 0 0 1 0 0 0 3 4 2 5 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.973
            CPU/machine TIME (seconds)     = 43.950
        ]
        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                = 163
                Produced CNF variables         = 337576
                Produced CNF clauses           = 211196
                Search steps                   = 0
                Wall clock TIME (seconds)      = 66.446
                CPU/machine TIME (seconds)     = 66.530
            ]
        }
]
----------------------------------------------------------------