================================================================
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| = 146, paralellism = 11.231) [
    Step 0: 15#2->1 6#3->10 14#5->13 4#7->8 10#11->4 12#33->34 3#35->42 11#38->30 13#40->39 
    Step 1: 10#4->3 4#8->16 6#10->17 14#13->14 7#15->7 2#20->26 1#22->18 5#25->33 11#30->31 12#34->35 13#39->44 3#42->46 8#43->38 
    Step 2: 15#1->0 10#3->2 7#7->8 9#9->10 14#14->19 4#16->20 1#18->22 2#26->25 11#31->32 5#33->34 12#35->27 8#38->37 13#44->39 
    Step 3: 15#0->7 7#8->9 9#10->11 14#19->24 4#20->26 1#22->21 12#27->28 11#32->31 8#37->36 13#39->38 
    Step 4: 15#7->8 7#9->10 9#11->12 14#24->32 2#25->33 4#26->27 12#28->29 11#31->23 5#34->41 8#36->35 13#38->37 
    Step 5: 15#8->9 7#10->11 9#12->18 11#23->24 4#27->28 12#29->30 14#32->40 5#41->34 
    Step 6: 10#2->1 15#9->10 7#11->12 9#18->22 4#28->29 12#30->31 2#33->25 5#34->26 8#35->42 13#37->36 
    Step 7: 15#10->11 7#12->18 9#22->30 11#24->19 2#25->33 5#26->20 4#29->37 12#31->23 13#36->28 14#40->39 8#42->35 
    Step 8: 15#11->12 6#17->10 7#18->22 11#19->14 5#20->16 12#23->24 13#28->29 9#30->31 8#35->36 4#37->38 14#39->40 3#46->42 
    Step 9: 10#1->0 6#10->3 15#12->18 11#14->13 5#16->8 7#22->23 12#24->19 13#29->30 9#31->32 2#33->34 4#38->43 14#40->39 
    Step 10: 6#3->10 5#8->1 11#13->12 15#18->22 12#19->14 1#21->29 13#30->31 9#32->40 2#34->41 8#36->28 14#39->38 3#42->35 4#43->48 
    Step 11: 5#1->2 6#10->9 11#12->11 12#14->13 15#22->30 8#28->36 1#29->21 13#31->32 3#35->34 14#38->37 9#40->39 2#41->42 
    Step 12: 5#2->3 6#9->8 11#11->4 12#13->12 1#21->22 7#23->31 15#30->38 13#32->24 3#34->33 8#36->35 2#42->46 4#48->47 
]
Multirobot solution analysis: (
    total makespan           = 13
    total distance           = 78
    total trajectory         = 146
    average parallelism      = 11.231
    average distance         = 5.200
    average trajectory       = 9.733
    parallelism distribution  = [ 0 0 0 0 0 0 0 1 1 2 2 4 3 ]
    distance distribution     = [ 1 0 2 1 1 2 1 2 2 1 0 0 1 ]
    trajectory distribution   = [ 0 0 0 0 1 2 1 0 1 3 2 4 1 ]
)
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                = 292
            Produced CNF variables         = 69693
            Produced CNF clauses           = 387686
            Search steps                   = 0
            Wall clock TIME (seconds)      = 116.974
            CPU/machine TIME (seconds)     = 117.040
        ]
]
----------------------------------------------------------------