================================================================
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
Solving layer: 15
Solving layer: 16
Computed optimal makespan:15
Makespan optimal solution:
Mulirobot solution: (|moves| = 157, paralellism = 10.467) [
    Step 0: 6#1->2 3#4->10 8#5->12 2#6->7 16#9->16 5#15->19 4#18->21 10#23->22 13#27->26 14#37->38 
    Step 1: 9#0->6 12#8->9 3#10->4 8#12->11 15#13->18 1#14->15 5#19->23 4#21->28 13#26->25 11#36->37 14#38->39 
    Step 2: 6#2->8 9#6->13 8#11->10 1#15->19 15#18->21 5#23->30 13#25->24 4#28->35 11#37->38 14#39->40 
    Step 3: 6#8->15 12#9->3 9#13->6 1#19->23 7#20->25 15#21->28 13#24->31 5#30->37 4#35->36 
    Step 4: 12#3->2 9#6->13 2#7->1 8#10->11 10#22->21 1#23->24 7#25->26 15#28->35 13#31->30 
    Step 5: 12#2->8 8#11->10 9#13->14 6#15->19 10#21->18 1#24->25 7#26->27 13#30->29 11#38->31 14#40->39 
    Step 6: 3#4->3 12#8->15 8#10->9 10#18->13 6#19->23 1#25->32 7#27->34 13#29->28 11#31->30 14#39->38 
    Step 7: 3#3->4 8#9->8 10#13->6 9#14->7 12#15->19 6#23->24 13#28->21 11#30->29 1#32->39 7#34->33 14#38->31 
    Step 8: 2#1->2 10#6->0 9#7->14 8#8->15 16#16->9 12#19->23 13#21->18 6#24->25 11#29->28 14#31->32 7#33->40 5#37->30 
    Step 9: 10#0->1 2#2->8 3#4->10 16#9->3 9#14->7 8#15->19 13#18->13 12#23->24 6#25->20 11#28->21 5#30->29 
    Step 10: 10#1->2 16#3->4 9#7->14 2#8->15 3#10->9 13#13->6 8#19->23 11#21->18 12#24->25 5#29->22 14#32->31 15#35->28 4#36->37 7#40->33 
    Step 11: 10#2->8 16#4->3 13#6->7 3#9->16 2#15->19 11#18->13 5#22->29 8#23->30 15#28->21 14#31->24 7#33->32 4#37->38 
    Step 12: 16#3->2 10#8->9 11#13->6 3#16->15 2#19->23 15#21->18 12#25->26 5#29->36 8#30->37 7#32->31 
    Step 13: 16#2->1 11#6->0 13#7->8 10#9->10 3#15->19 15#18->13 6#20->25 2#23->22 12#26->33 7#31->30 1#39->32 
    Step 14: 16#1->7 13#8->15 15#13->6 3#19->23 2#22->29 6#25->26 4#38->31 
]
Multirobot solution analysis: (
    total makespan           = 15
    total distance           = 81
    total trajectory         = 157
    average parallelism      = 10.467
    average distance         = 5.062
    average trajectory       = 9.812
    parallelism distribution  = [ 0 0 0 0 0 0 1 0 2 5 4 2 0 1 ]
    distance distribution     = [ 1 0 2 1 4 3 2 1 0 1 ]
    trajectory distribution   = [ 0 0 0 0 0 0 1 2 5 3 3 1 0 1 ]
)
Phase statistics (current phase = 'root_phase') [
        Phase (name = 'root_phase') [
            Total SAT solver calls         = 15
            Satisfiable SAT solver calls   = 1
            Unsatisfiable SAT solver calls = 14
            Indeterminate SAT solver calls = 0
            Move executions                = 314
            Produced CNF variables         = 79275
            Produced CNF clauses           = 564855
            Search steps                   = 0
            Wall clock TIME (seconds)      = 10346.900
            CPU/machine TIME (seconds)     = 10346.910
        ]
]
----------------------------------------------------------------