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