================================================================
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
Computed optimal makespan:10
Makespan optimal solution:
Mulirobot solution: (|moves| = 79, paralellism = 7.900) [
    Step 0: 4#0->6 3#5->12 7#8->7 10#13->14 2#20->25 5#23->30 6#36->29 
    Step 1: 1#1->0 4#6->13 11#9->8 10#14->15 2#25->32 8#27->26 6#29->22 5#30->31 9#37->36 
    Step 2: 1#0->6 7#7->14 11#8->2 3#12->11 4#13->18 10#15->16 6#22->23 8#26->25 5#31->38 2#32->33 
    Step 3: 11#2->3 1#6->0 3#11->10 7#14->13 10#16->9 4#18->21 6#23->19 8#25->24 5#38->31 
    Step 4: 3#10->4 7#13->14 6#19->15 4#21->22 8#24->23 5#31->32 2#33->40 9#36->37 
    Step 5: 1#0->6 11#3->2 10#9->10 6#15->8 4#22->29 8#23->19 5#32->25 9#37->38 
    Step 6: 6#8->9 10#10->11 8#19->15 4#29->36 9#38->31 
    Step 7: 6#9->10 10#11->12 7#14->7 8#15->8 5#25->24 9#31->30 4#36->37 2#40->39 
    Step 8: 1#6->13 7#7->14 8#8->9 6#10->11 5#24->25 4#37->38 2#39->40 
    Step 9: 11#2->1 8#9->3 6#11->17 10#12->5 1#13->18 5#25->26 9#30->23 4#38->39 
]
Multirobot solution analysis: (
    total makespan           = 10
    total distance           = 56
    total trajectory         = 79
    average parallelism      = 7.900
    average distance         = 5.091
    average trajectory       = 7.182
    parallelism distribution  = [ 0 0 0 0 1 0 2 4 2 1 ]
    distance distribution     = [ 0 2 1 3 0 0 0 1 1 2 ]
    trajectory distribution   = [ 0 0 0 1 1 4 0 1 2 2 ]
)
Phase statistics (current phase = 'SAT') [
        Phase (name = 'root_phase') [
            Total SAT solver calls         = 0
            Satisfiable SAT solver calls   = 0
            Unsatisfiable SAT solver calls = 0
            Indeterminate SAT solver calls = 0
            Move executions                = 0
            Produced CNF variables         = 0
            Produced CNF clauses           = 0
            Search steps                   = 0
            Wall clock TIME (seconds)      = 17.839
            CPU/machine TIME (seconds)     = 17.840
        ]
        Sub-phases {
            Phase (name = 'SAT') [
                Total SAT solver calls         = 10
                Satisfiable SAT solver calls   = 1
                Unsatisfiable SAT solver calls = 9
                Indeterminate SAT solver calls = 0
                Move executions                = 158
                Produced CNF variables         = 34670
                Produced CNF clauses           = 243709
                Search steps                   = 0
                Wall clock TIME (seconds)      = 1.481
                CPU/machine TIME (seconds)     = 1.600
            ]
        }
]
----------------------------------------------------------------