================================================================
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| = 79, paralellism = 8.778) [
    Step 0: 10#2->1 1#3->4 9#5->13 4#9->8 5#11->10 2#15->16 7#33->34 6#38->39 8#40->32 
    Step 1: 10#1->2 1#4->11 4#8->7 5#10->9 9#13->12 2#16->20 8#32->24 7#34->35 6#39->40 3#43->38 
    Step 2: 4#7->15 5#9->8 9#12->18 2#20->26 8#24->19 7#35->36 3#38->30 6#40->39 
    Step 3: 10#2->9 5#8->16 1#11->12 9#18->22 2#26->27 3#30->29 7#36->37 6#39->31 
    Step 4: 10#9->8 1#12->13 5#16->20 8#19->24 9#22->18 2#27->28 3#29->30 6#31->23 7#37->38 
    Step 5: 10#8->16 1#13->5 4#15->7 9#18->12 5#20->26 6#23->31 8#24->19 2#28->29 3#30->22 7#38->39 
    Step 6: 1#5->6 9#12->11 10#16->20 3#22->18 5#26->34 2#29->21 6#31->30 7#39->38 
    Step 7: 4#7->0 9#11->10 3#18->12 8#19->24 10#20->26 2#21->22 6#30->29 5#34->35 7#38->39 
    Step 8: 4#0->7 1#6->14 9#10->17 2#22->23 8#24->32 10#26->20 5#35->36 7#39->44 
]
Multirobot solution analysis: (
    total makespan           = 9
    total distance           = 43
    total trajectory         = 79
    average parallelism      = 8.778
    average distance         = 4.300
    average trajectory       = 7.900
    parallelism distribution  = [ 0 0 0 0 0 0 0 4 3 2 ]
    distance distribution     = [ 1 2 0 0 3 0 2 0 1 ]
    trajectory distribution   = [ 0 0 0 0 0 1 3 2 4 ]
)
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                = 158
            Produced CNF variables         = 35415
            Produced CNF clauses           = 206532
            Search steps                   = 0
            Wall clock TIME (seconds)      = 6.006
            CPU/machine TIME (seconds)     = 6.030
        ]
]
----------------------------------------------------------------