================================================================
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| = 87, paralellism = 8.700) [
    Step 0: 3#5->12 4#0->6 5#23->30 6#36->29 7#8->7 8#27->26 9#37->38 10#13->14 11#9->3 
    Step 1: 1#1->0 3#12->11 4#6->13 5#30->37 6#29->22 8#26->25 9#38->31 10#14->15 11#3->2 
    Step 2: 1#0->6 3#11->10 4#13->18 6#22->23 7#7->8 8#25->24 9#31->30 10#15->16 11#2->1 
    Step 3: 1#6->13 3#10->4 4#18->21 5#37->38 6#23->19 7#8->2 10#16->9 11#1->0 
    Step 4: 1#13->18 3#4->3 4#21->22 6#19->15 7#2->8 8#24->23 9#30->37 
    Step 5: 1#18->21 2#20->25 3#3->2 4#22->29 5#38->39 6#15->16 7#8->7 8#23->19 9#37->36 10#9->10 11#0->1 
    Step 6: 2#25->32 3#2->3 4#29->30 5#39->40 6#16->9 7#7->8 8#19->15 10#10->11 11#1->0 
    Step 7: 1#21->28 2#32->39 4#30->37 5#40->33 6#9->10 7#8->7 8#15->16 9#36->29 10#11->12 11#0->1 
    Step 8: 1#28->21 2#39->40 3#3->4 4#37->38 5#33->26 6#10->11 7#7->14 8#16->9 9#29->30 
    Step 9: 1#21->18 4#38->39 6#11->17 8#9->3 9#30->23 10#12->5 
]
Multirobot solution analysis: (
    total makespan           = 10
    total distance           = 56
    total trajectory         = 87
    average parallelism      = 8.700
    average distance         = 5.091
    average trajectory       = 7.909
    parallelism distribution  = [ 0 0 0 0 0 1 1 1 5 1 1 ]
    distance distribution     = [ 0 2 1 3 0 0 0 1 1 2 ]
    trajectory distribution   = [ 0 0 0 1 0 0 2 5 1 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.788
            CPU/machine TIME (seconds)     = 17.790
        ]
        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                = 87
                Produced CNF variables         = 101613
                Produced CNF clauses           = 62399
                Search steps                   = 0
                Wall clock TIME (seconds)      = 2.442
                CPU/machine TIME (seconds)     = 2.580
            ]
        }
]
----------------------------------------------------------------