================================================================
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| = 79, paralellism = 8.778) [
    Step 0: 1#3->4 2#15->16 4#9->8 5#11->10 6#38->39 7#33->34 8#40->45 9#5->13 
    Step 1: 2#16->20 3#43->38 4#8->1 5#10->9 6#39->44 7#34->35 8#45->50 9#13->12 10#2->3 
    Step 2: 1#4->11 2#20->26 3#38->30 4#1->2 5#9->8 7#35->36 8#50->49 9#12->18 10#3->10 
    Step 3: 1#11->12 2#26->27 3#30->29 4#2->1 5#8->16 6#44->43 7#36->37 9#18->22 10#10->9 
    Step 4: 1#12->13 2#27->28 3#29->21 4#1->2 5#16->20 6#43->44 7#37->38 8#49->50 9#22->18 10#9->8 
    Step 5: 2#28->29 3#21->22 4#2->9 5#20->26 6#44->39 7#38->43 8#50->45 9#18->12 10#8->7 
    Step 6: 1#13->5 2#29->30 3#22->18 4#9->8 5#26->27 6#39->38 9#12->11 10#7->15 
    Step 7: 1#5->6 2#30->31 3#18->12 4#8->7 5#27->35 6#38->37 8#45->40 9#11->10 10#15->16 
    Step 8: 1#6->14 2#31->23 5#35->36 6#37->29 7#43->44 8#40->32 9#10->17 10#16->20 
]
Multirobot solution analysis: (
    total makespan           = 9
    total distance           = 43
    total trajectory         = 79
    average parallelism      = 8.778
    average distance         = 4.300
    average trajectory       = 7.900
    parallelism distribution  = [ 0 0 0 0 0 0 0 3 5 1 ]
    distance distribution     = [ 1 2 0 0 3 0 2 0 1 ]
    trajectory distribution   = [ 0 0 0 0 0 0 4 3 3 ]
)
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)      = 43.125
            CPU/machine TIME (seconds)     = 43.120
        ]
        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                = 79
                Produced CNF variables         = 69310
                Produced CNF clauses           = 44671
                Search steps                   = 0
                Wall clock TIME (seconds)      = 2.107
                CPU/machine TIME (seconds)     = 2.200
            ]
        }
]
----------------------------------------------------------------