================================================================
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
Computed optimal makespan:12
Makespan optimal solution:
Mulirobot solution: (|moves| = 88, paralellism = 7.333) [
    Step 0: 2#2->7 11#4->3 3#9->15 4#17->12 5#22->28 10#24->23 
    Step 1: 12#0->5 6#1->6 11#3->2 2#7->8 4#12->11 3#15->16 7#20->17 8#21->22 13#25->24 5#28->27 
    Step 2: 11#2->1 6#6->7 2#8->14 3#16->19 7#17->12 13#24->20 9#26->25 5#27->28 
    Step 3: 11#1->0 12#5->6 6#7->8 1#10->16 7#12->13 13#20->17 8#22->21 9#25->24 
    Step 4: 12#6->1 6#8->3 4#11->5 7#13->7 2#14->15 13#17->12 8#21->27 9#24->20 
    Step 5: 4#5->6 7#7->8 13#12->11 2#15->9 1#16->10 3#19->22 9#20->17 10#23->24 
    Step 6: 6#3->2 4#6->7 7#8->14 2#9->4 9#17->12 3#22->21 10#24->20 8#27->26 
    Step 7: 2#4->3 4#7->8 9#12->6 7#14->18 10#20->17 3#21->27 
    Step 8: 9#6->5 4#8->14 1#10->9 10#17->12 
    Step 9: 12#1->6 2#3->8 1#9->10 10#12->13 4#14->15 8#26->25 3#27->21 
    Step 10: 11#0->1 6#2->7 12#6->12 2#8->9 4#15->16 7#18->14 3#21->22 8#25->24 5#28->27 
    Step 11: 6#7->6 2#9->15 12#12->17 3#22->19 8#24->20 5#27->28 
]
Multirobot solution analysis: (
    total makespan           = 12
    total distance           = 41
    total trajectory         = 88
    average parallelism      = 7.333
    average distance         = 3.154
    average trajectory       = 6.769
    parallelism distribution  = [ 0 0 0 1 0 3 1 5 1 1 ]
    distance distribution     = [ 1 2 0 2 4 2 0 1 ]
    trajectory distribution   = [ 0 0 0 1 3 2 3 1 2 1 ]
)
Phase statistics (current phase = 'root_phase') [
        Phase (name = 'root_phase') [
            Total SAT solver calls         = 12
            Satisfiable SAT solver calls   = 1
            Unsatisfiable SAT solver calls = 11
            Indeterminate SAT solver calls = 0
            Move executions                = 176
            Produced CNF variables         = 33420
            Produced CNF clauses           = 184596
            Search steps                   = 0
            Wall clock TIME (seconds)      = 4.891
            CPU/machine TIME (seconds)     = 4.950
        ]
]
----------------------------------------------------------------