================================================================
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| = 98, paralellism = 7.538) [
    Step 0: 2#5->12 6#8->15 9#13->18 1#20->25 4#23->19 7#27->26 5#36->29 
    Step 1: 10#9->16 2#12->11 6#15->8 9#18->21 1#25->24 8#37->36 
    Step 2: 6#8->2 2#11->10 4#19->15 1#24->23 7#26->25 
    Step 3: 3#0->6 6#2->1 2#10->9 9#21->28 1#23->22 7#25->24 5#29->30 8#36->35 
    Step 4: 2#9->10 4#15->14 1#22->21 7#24->23 9#28->29 5#30->37 8#35->36 
    Step 5: 2#10->9 4#14->7 10#16->15 1#21->18 7#23->22 8#36->35 5#37->30 
    Step 6: 3#6->0 4#7->8 2#9->16 10#15->14 1#18->13 7#22->21 8#35->28 
    Step 7: 6#1->2 4#8->9 1#13->6 10#14->15 7#21->18 9#29->22 5#30->23 
    Step 8: 3#0->1 6#2->3 1#6->7 4#9->10 10#15->19 7#18->13 9#22->29 5#23->24 8#28->21 
    Step 9: 3#1->2 6#3->4 1#7->6 4#10->11 7#13->14 2#16->15 10#19->23 8#21->18 5#24->25 9#29->30 
    Step 10: 3#2->3 6#4->10 4#11->12 7#14->7 2#15->19 8#18->13 10#23->22 5#25->20 9#30->31 
    Step 11: 3#3->4 1#6->0 7#7->8 6#10->11 8#13->14 2#19->23 10#22->29 9#31->32 
    Step 12: 1#0->1 3#4->10 7#8->2 4#12->5 8#14->15 2#23->24 10#29->30 9#32->25 
]
Multirobot solution analysis: (
    total makespan           = 13
    total distance           = 57
    total trajectory         = 98
    average parallelism      = 7.538
    average distance         = 5.700
    average trajectory       = 9.800
    parallelism distribution  = [ 0 0 0 0 1 1 5 3 2 1 ]
    distance distribution     = [ 0 0 1 1 1 2 0 3 1 ]
    trajectory distribution   = [ 0 0 0 0 0 0 1 1 2 3 1 2 ]
)
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                = 196
            Produced CNF variables         = 56303
            Produced CNF clauses           = 335894
            Search steps                   = 0
            Wall clock TIME (seconds)      = 82.480
            CPU/machine TIME (seconds)     = 82.600
        ]
]
----------------------------------------------------------------