================================================================
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| = 84, paralellism = 9.333) [
    Step 0: 5#0->6 2#1->2 4#5->12 12#9->16 11#13->14 1#15->19 3#20->25 6#23->22 9#27->26 10#37->38 
    Step 1: 2#2->3 5#6->13 8#8->15 4#12->11 11#14->7 6#22->29 3#25->24 7#36->37 10#38->39 
    Step 2: 2#3->4 11#7->1 4#11->10 5#13->18 8#15->14 1#19->23 3#24->31 9#26->27 6#29->36 7#37->38 10#39->32 
    Step 3: 4#10->9 8#14->7 12#16->15 5#18->21 1#23->24 3#31->30 6#36->37 7#38->39 
    Step 4: 11#1->2 2#4->10 4#9->16 12#15->19 5#21->18 1#24->31 9#27->26 10#32->25 6#37->38 7#39->40 
    Step 5: 11#2->3 2#10->9 4#16->15 5#18->13 12#19->23 10#25->24 9#26->27 3#30->37 6#38->39 7#40->33 
    Step 6: 8#7->6 2#9->10 5#13->14 4#15->19 12#23->30 9#27->26 1#31->38 7#33->34 3#37->36 
    Step 7: 11#3->4 8#6->7 2#10->11 5#14->15 4#19->23 9#26->25 12#30->31 7#34->27 3#36->35 1#38->37 
    Step 8: 8#7->14 2#11->12 5#15->19 9#25->32 7#27->34 3#35->28 1#37->30 
]
Multirobot solution analysis: (
    total makespan           = 9
    total distance           = 52
    total trajectory         = 84
    average parallelism      = 9.333
    average distance         = 4.333
    average trajectory       = 7.000
    parallelism distribution  = [ 0 0 0 0 0 0 1 1 2 4 1 ]
    distance distribution     = [ 0 1 3 1 1 4 0 1 ]
    trajectory distribution   = [ 0 0 0 0 1 4 2 4 1 ]
)
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.660
            CPU/machine TIME (seconds)     = 17.660
        ]
        Sub-phases {
            Phase (name = 'SAT') [
                Total SAT solver calls         = 9
                Satisfiable SAT solver calls   = 1
                Unsatisfiable SAT solver calls = 8
                Indeterminate SAT solver calls = 0
                Move executions                = 168
                Produced CNF variables         = 28611
                Produced CNF clauses           = 203579
                Search steps                   = 0
                Wall clock TIME (seconds)      = 2.320
                CPU/machine TIME (seconds)     = 2.440
            ]
        }
]
----------------------------------------------------------------