================================================================
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| = 83, paralellism = 6.385) [
    Step 0: 8#9->16 7#13->14 2#23->22 5#27->26 3#36->35 6#37->30 
    Step 1: 4#8->7 7#14->15 2#22->21 5#26->25 6#30->31 
    Step 2: 1#0->6 4#7->1 7#15->8 2#21->18 5#25->24 6#31->32 3#35->28 
    Step 3: 4#1->2 1#6->0 7#8->7 8#16->15 2#18->13 5#24->23 3#28->21 6#32->33 
    Step 4: 7#7->6 2#13->14 8#15->16 3#21->28 5#23->19 
    Step 5: 2#14->7 8#16->9 5#19->15 3#28->35 6#33->34 
    Step 6: 4#2->8 7#6->13 2#7->1 8#9->3 5#15->16 6#34->27 
    Step 7: 1#0->6 2#1->2 8#3->4 7#13->18 5#16->9 6#27->34 3#35->28 
    Step 8: 2#2->3 1#6->7 4#8->15 5#9->10 3#28->29 6#34->27 
    Step 9: 2#3->9 1#7->8 5#10->11 4#15->19 7#18->21 3#29->30 
    Step 10: 8#4->3 1#8->7 2#9->10 5#11->12 4#19->23 7#21->22 6#27->26 
    Step 11: 8#3->4 1#7->1 2#10->11 5#12->5 7#22->29 4#23->24 6#26->33 3#30->31 
    Step 12: 1#1->2 8#4->10 2#11->12 4#24->25 7#29->36 3#31->32 6#33->40 
]
Multirobot solution analysis: (
    total makespan           = 13
    total distance           = 38
    total trajectory         = 83
    average parallelism      = 6.385
    average distance         = 4.750
    average trajectory       = 10.375
    parallelism distribution  = [ 0 0 0 0 3 4 4 2 ]
    distance distribution     = [ 0 1 1 1 2 0 1 0 0 0 0 1 ]
    trajectory distribution   = [ 0 0 0 0 0 0 0 1 2 1 2 1 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                = 166
            Produced CNF variables         = 56303
            Produced CNF clauses           = 344422
            Search steps                   = 0
            Wall clock TIME (seconds)      = 5.963
            CPU/machine TIME (seconds)     = 6.090
        ]
]
----------------------------------------------------------------