================================================================
reLOC 0.08-osaka : Multirobot Solution solver
(C) Copyright 2011-2013 Pavel Surynek
----------------------------------------------------------------
Reading graph...
1,0
7,0
2,1
8,1
3,2
9,2
10,3
5,4
12,4
6,5
13,5
8,7
14,7
9,8
10,9
15,9
11,10
16,10
12,11
13,12
17,12
18,13
20,14
16,15
22,15
23,16
18,17
25,17
19,18
26,18
21,20
22,21
28,21
23,22
29,22
24,23
25,24
30,24
26,25
31,25
27,26
32,26
29,28
35,28
36,29
31,30
38,30
32,31
39,31
33,32
40,32
35,34
42,34
36,35
43,35
37,36
38,37
44,37
39,38
45,38
40,39
46,39
41,40
47,40
43,42
49,42
50,43
45,44
52,44
46,45
53,45
47,46
54,46
48,47
55,47
27,19
33,27
41,33
48,41
56,48
50,49
51,50
52,51
53,52
54,53
55,54
56,55
Reading initial arrangement...
Reading goal arrangement...
Undirected graph: (|V|=57 |E|=87) [
    Vertex: (id = 0) {1 7 }
    Vertex: (id = 1) {0 2 8 }
    Vertex: (id = 2) {1 3 9 }
    Vertex: (id = 3) {2 10 }
    Vertex: (id = 4) {5 12 }
    Vertex: (id = 5) {4 6 13 }
    Vertex: (id = 6) {5 }
    Vertex: (id = 7) {0 8 14 }
    Vertex: (id = 8) {1 7 9 }
    Vertex: (id = 9) {2 8 10 15 }
    Vertex: (id = 10) {3 9 11 16 }
    Vertex: (id = 11) {10 12 }
    Vertex: (id = 12) {4 11 13 17 }
    Vertex: (id = 13) {5 12 18 }
    Vertex: (id = 14) {7 20 }
    Vertex: (id = 15) {9 16 22 }
    Vertex: (id = 16) {10 15 23 }
    Vertex: (id = 17) {12 18 25 }
    Vertex: (id = 18) {13 17 19 26 }
    Vertex: (id = 19) {18 27 }
    Vertex: (id = 20) {14 21 }
    Vertex: (id = 21) {20 22 28 }
    Vertex: (id = 22) {15 21 23 29 }
    Vertex: (id = 23) {16 22 24 }
    Vertex: (id = 24) {23 25 30 }
    Vertex: (id = 25) {17 24 26 31 }
    Vertex: (id = 26) {18 25 27 32 }
    Vertex: (id = 27) {26 19 33 }
    Vertex: (id = 28) {21 29 35 }
    Vertex: (id = 29) {22 28 36 }
    Vertex: (id = 30) {24 31 38 }
    Vertex: (id = 31) {25 30 32 39 }
    Vertex: (id = 32) {26 31 33 40 }
    Vertex: (id = 33) {32 27 41 }
    Vertex: (id = 34) {35 42 }
    Vertex: (id = 35) {28 34 36 43 }
    Vertex: (id = 36) {29 35 37 }
    Vertex: (id = 37) {36 38 44 }
    Vertex: (id = 38) {30 37 39 45 }
    Vertex: (id = 39) {31 38 40 46 }
    Vertex: (id = 40) {32 39 41 47 }
    Vertex: (id = 41) {40 33 48 }
    Vertex: (id = 42) {34 43 49 }
    Vertex: (id = 43) {35 42 50 }
    Vertex: (id = 44) {37 45 52 }
    Vertex: (id = 45) {38 44 46 53 }
    Vertex: (id = 46) {39 45 47 54 }
    Vertex: (id = 47) {40 46 48 55 }
    Vertex: (id = 48) {47 41 56 }
    Vertex: (id = 49) {42 50 }
    Vertex: (id = 50) {43 49 51 }
    Vertex: (id = 51) {50 52 }
    Vertex: (id = 52) {44 51 53 }
    Vertex: (id = 53) {45 52 54 }
    Vertex: (id = 54) {46 53 55 }
    Vertex: (id = 55) {47 54 56 }
    Vertex: (id = 56) {48 55 }
    Edge  0: 1 <-> 0
    Edge  1: 7 <-> 0
    Edge  2: 2 <-> 1
    Edge  3: 8 <-> 1
    Edge  4: 3 <-> 2
    Edge  5: 9 <-> 2
    Edge  6: 10 <-> 3
    Edge  7: 5 <-> 4
    Edge  8: 12 <-> 4
    Edge  9: 6 <-> 5
    Edge  10: 13 <-> 5
    Edge  11: 8 <-> 7
    Edge  12: 14 <-> 7
    Edge  13: 9 <-> 8
    Edge  14: 10 <-> 9
    Edge  15: 15 <-> 9
    Edge  16: 11 <-> 10
    Edge  17: 16 <-> 10
    Edge  18: 12 <-> 11
    Edge  19: 13 <-> 12
    Edge  20: 17 <-> 12
    Edge  21: 18 <-> 13
    Edge  22: 20 <-> 14
    Edge  23: 16 <-> 15
    Edge  24: 22 <-> 15
    Edge  25: 23 <-> 16
    Edge  26: 18 <-> 17
    Edge  27: 25 <-> 17
    Edge  28: 19 <-> 18
    Edge  29: 26 <-> 18
    Edge  30: 21 <-> 20
    Edge  31: 22 <-> 21
    Edge  32: 28 <-> 21
    Edge  33: 23 <-> 22
    Edge  34: 29 <-> 22
    Edge  35: 24 <-> 23
    Edge  36: 25 <-> 24
    Edge  37: 30 <-> 24
    Edge  38: 26 <-> 25
    Edge  39: 31 <-> 25
    Edge  40: 27 <-> 26
    Edge  41: 32 <-> 26
    Edge  42: 29 <-> 28
    Edge  43: 35 <-> 28
    Edge  44: 36 <-> 29
    Edge  45: 31 <-> 30
    Edge  46: 38 <-> 30
    Edge  47: 32 <-> 31
    Edge  48: 39 <-> 31
    Edge  49: 33 <-> 32
    Edge  50: 40 <-> 32
    Edge  51: 35 <-> 34
    Edge  52: 42 <-> 34
    Edge  53: 36 <-> 35
    Edge  54: 43 <-> 35
    Edge  55: 37 <-> 36
    Edge  56: 38 <-> 37
    Edge  57: 44 <-> 37
    Edge  58: 39 <-> 38
    Edge  59: 45 <-> 38
    Edge  60: 40 <-> 39
    Edge  61: 46 <-> 39
    Edge  62: 41 <-> 40
    Edge  63: 47 <-> 40
    Edge  64: 43 <-> 42
    Edge  65: 49 <-> 42
    Edge  66: 50 <-> 43
    Edge  67: 45 <-> 44
    Edge  68: 52 <-> 44
    Edge  69: 46 <-> 45
    Edge  70: 53 <-> 45
    Edge  71: 47 <-> 46
    Edge  72: 54 <-> 46
    Edge  73: 48 <-> 47
    Edge  74: 55 <-> 47
    Edge  75: 27 <-> 19
    Edge  76: 33 <-> 27
    Edge  77: 41 <-> 33
    Edge  78: 48 <-> 41
    Edge  79: 56 <-> 48
    Edge  80: 50 <-> 49
    Edge  81: 51 <-> 50
    Edge  82: 52 <-> 51
    Edge  83: 53 <-> 52
    Edge  84: 54 <-> 53
    Edge  85: 55 <-> 54
    Edge  86: 56 <-> 55
]
Robot arrangement: (|R| = 22, |V| = 57) [
     robot locations: {1#25 2#41 3#20 4#3 5#55 6#56 7#49 8#48 9#0 10#11 11#50 12#36 13#23 14#28 15#30 16#9 17#13 18#22 19#45 20#5 21#15 22#21 }
     vertex occupancy: {9#0 0#1 0#2 4#3 0#4 20#5 0#6 0#7 0#8 16#9 0#10 10#11 0#12 17#13 0#14 21#15 0#16 0#17 0#18 0#19 3#20 22#21 18#22 13#23 0#24 1#25 0#26 0#27 14#28 0#29 15#30 0#31 0#32 0#33 0#34 0#35 12#36 0#37 0#38 0#39 0#40 2#41 0#42 0#43 0#44 19#45 0#46 0#47 8#48 7#49 11#50 0#51 0#52 0#53 0#54 5#55 6#56 }
]
Robot arrangement: (|R| = -1, |V| = 0) [
     robot locations: {}
     vertex occupancy: {}
]
Robot goal: (|R| = 721, |V| = 57) [
    robot goals: {
        1#{5}
        2#{6}
        3#{45,54}
        4#{3,17}
        5#{42}
        6#{39}
        7#{49,53}
        8#{15}
        9#{42}
        10#{28,41}
        11#{11,42}
        12#{43}
        13#{33}
        14#{3}
        15#{21,35}
        16#{13}
        17#{27}
        18#{12,31}
        19#{16,52}
        20#{33}
        21#{38,42}
        22#{9}
        23#{}
        24#{}
        25#{}
        26#{}
        27#{}
        28#{}
        29#{}
        30#{}
        31#{}
        32#{}
        33#{}
        34#{}
        35#{}
        36#{}
        37#{}
        38#{}
        39#{}
        40#{}
        41#{}
        42#{}
        43#{}
        44#{}
        45#{}
        46#{}
        47#{}
        48#{}
        49#{}
        50#{}
        51#{}
        52#{}
        53#{}
        54#{}
        55#{}
        56#{}
        57#{}
        58#{}
        59#{}
        60#{}
        61#{}
        62#{}
        63#{}
        64#{}
        65#{}
        66#{}
        67#{}
        68#{}
        69#{}
        70#{}
        71#{}
        72#{}
        73#{}
        74#{}
        75#{}
        76#{}
        77#{}
        78#{}
        79#{}
        80#{}
        81#{}
        82#{}
        83#{}
        84#{}
        85#{}
        86#{}
        87#{}
        88#{}
        89#{}
        90#{}
        91#{}
        92#{}
        93#{}
        94#{}
        95#{}
        96#{}
        97#{}
        98#{}
        99#{}
        100#{}
        101#{}
        102#{}
        103#{}
        104#{}
        105#{}
        106#{}
        107#{}
        108#{}
        109#{}
        110#{}
        111#{}
        112#{}
        113#{}
        114#{}
        115#{}
        116#{}
        117#{}
        118#{}
        119#{}
        120#{}
        121#{}
        122#{}
        123#{}
        124#{}
        125#{}
        126#{}
        127#{}
        128#{}
        129#{}
        130#{}
        131#{}
        132#{}
        133#{}
        134#{}
        135#{}
        136#{}
        137#{}
        138#{}
        139#{}
        140#{}
        141#{}
        142#{}
        143#{}
        144#{}
        145#{}
        146#{}
        147#{}
        148#{}
        149#{}
        150#{}
        151#{}
        152#{}
        153#{}
        154#{}
        155#{}
        156#{}
        157#{}
        158#{}
        159#{}
        160#{}
        161#{}
        162#{}
        163#{}
        164#{}
        165#{}
        166#{}
        167#{}
        168#{}
        169#{}
        170#{}
        171#{}
        172#{}
        173#{}
        174#{}
        175#{}
        176#{}
        177#{}
        178#{}
        179#{}
        180#{}
        181#{}
        182#{}
        183#{}
        184#{}
        185#{}
        186#{}
        187#{}
        188#{}
        189#{}
        190#{}
        191#{}
        192#{}
        193#{}
        194#{}
        195#{}
        196#{}
        197#{}
        198#{}
        199#{}
        200#{}
        201#{}
        202#{}
        203#{}
        204#{}
        205#{}
        206#{}
        207#{}
        208#{}
        209#{}
        210#{}
        211#{}
        212#{}
        213#{}
        214#{}
        215#{}
        216#{}
        217#{}
        218#{}
        219#{}
        220#{}
        221#{}
        222#{}
        223#{}
        224#{}
        225#{}
        226#{}
        227#{}
        228#{}
        229#{}
        230#{}
        231#{}
        232#{}
        233#{}
        234#{}
        235#{}
        236#{}
        237#{}
        238#{}
        239#{}
        240#{}
        241#{}
        242#{}
        243#{}
        244#{}
        245#{}
        246#{}
        247#{}
        248#{}
        249#{}
        250#{}
        251#{}
        252#{}
        253#{}
        254#{}
        255#{}
        256#{}
        257#{}
        258#{}
        259#{}
        260#{}
        261#{}
        262#{}
        263#{}
        264#{}
        265#{}
        266#{}
        267#{}
        268#{}
        269#{}
        270#{}
        271#{}
        272#{}
        273#{}
        274#{}
        275#{}
        276#{}
        277#{}
        278#{}
        279#{}
        280#{}
        281#{}
        282#{}
        283#{}
        284#{}
        285#{}
        286#{}
        287#{}
        288#{}
        289#{}
        290#{}
        291#{}
        292#{}
        293#{}
        294#{}
        295#{}
        296#{}
        297#{}
        298#{}
        299#{}
        300#{}
        301#{}
        302#{}
        303#{}
        304#{}
        305#{}
        306#{}
        307#{}
        308#{}
        309#{}
        310#{}
        311#{}
        312#{}
        313#{}
        314#{}
        315#{}
        316#{}
        317#{}
        318#{}
        319#{}
        320#{}
        321#{}
        322#{}
        323#{}
        324#{}
        325#{}
        326#{}
        327#{}
        328#{}
        329#{}
        330#{}
        331#{}
        332#{}
        333#{}
        334#{}
        335#{}
        336#{}
        337#{}
        338#{}
        339#{}
        340#{}
        341#{}
        342#{}
        343#{}
        344#{}
        345#{}
        346#{}
        347#{}
        348#{}
        349#{}
        350#{}
        351#{}
        352#{}
        353#{}
        354#{}
        355#{}
        356#{}
        357#{}
        358#{}
        359#{}
        360#{}
        361#{}
        362#{}
        363#{}
        364#{}
        365#{}
        366#{}
        367#{}
        368#{}
        369#{}
        370#{}
        371#{}
        372#{}
        373#{}
        374#{}
        375#{}
        376#{}
        377#{}
        378#{}
        379#{}
        380#{}
        381#{}
        382#{}
        383#{}
        384#{}
        385#{}
        386#{}
        387#{}
        388#{}
        389#{}
        390#{}
        391#{}
        392#{}
        393#{}
        394#{}
        395#{}
        396#{}
        397#{}
        398#{}
        399#{}
        400#{}
        401#{}
        402#{}
        403#{}
        404#{}
        405#{}
        406#{}
        407#{}
        408#{}
        409#{}
        410#{}
        411#{}
        412#{}
        413#{}
        414#{}
        415#{}
        416#{}
        417#{}
        418#{}
        419#{}
        420#{}
        421#{}
        422#{}
        423#{}
        424#{}
        425#{}
        426#{}
        427#{}
        428#{}
        429#{}
        430#{}
        431#{}
        432#{}
        433#{}
        434#{}
        435#{}
        436#{}
        437#{}
        438#{}
        439#{}
        440#{}
        441#{}
        442#{}
        443#{}
        444#{}
        445#{}
        446#{}
        447#{}
        448#{}
        449#{}
        450#{}
        451#{}
        452#{}
        453#{}
        454#{}
        455#{}
        456#{}
        457#{}
        458#{}
        459#{}
        460#{}
        461#{}
        462#{}
        463#{}
        464#{}
        465#{}
        466#{}
        467#{}
        468#{}
        469#{}
        470#{}
        471#{}
        472#{}
        473#{}
        474#{}
        475#{}
        476#{}
        477#{}
        478#{}
        479#{}
        480#{}
        481#{}
        482#{}
        483#{}
        484#{}
        485#{}
        486#{}
        487#{}
        488#{}
        489#{}
        490#{}
        491#{}
        492#{}
        493#{}
        494#{}
        495#{}
        496#{}
        497#{}
        498#{}
        499#{}
        500#{}
        501#{}
        502#{}
        503#{}
        504#{}
        505#{}
        506#{}
        507#{}
        508#{}
        509#{}
        510#{}
        511#{}
        512#{}
        513#{}
        514#{}
        515#{}
        516#{}
        517#{}
        518#{}
        519#{}
        520#{}
        521#{}
        522#{}
        523#{}
        524#{}
        525#{}
        526#{}
        527#{}
        528#{}
        529#{}
        530#{}
        531#{}
        532#{}
        533#{}
        534#{}
        535#{}
        536#{}
        537#{}
        538#{}
        539#{}
        540#{}
        541#{}
        542#{}
        543#{}
        544#{}
        545#{}
        546#{}
        547#{}
        548#{}
        549#{}
        550#{}
        551#{}
        552#{}
        553#{}
        554#{}
        555#{}
        556#{}
        557#{}
        558#{}
        559#{}
        560#{}
        561#{}
        562#{}
        563#{}
        564#{}
        565#{}
        566#{}
        567#{}
        568#{}
        569#{}
        570#{}
        571#{}
        572#{}
        573#{}
        574#{}
        575#{}
        576#{}
        577#{}
        578#{}
        579#{}
        580#{}
        581#{}
        582#{}
        583#{}
        584#{}
        585#{}
        586#{}
        587#{}
        588#{}
        589#{}
        590#{}
        591#{}
        592#{}
        593#{}
        594#{}
        595#{}
        596#{}
        597#{}
        598#{}
        599#{}
        600#{}
        601#{}
        602#{}
        603#{}
        604#{}
        605#{}
        606#{}
        607#{}
        608#{}
        609#{}
        610#{}
        611#{}
        612#{}
        613#{}
        614#{}
        615#{}
        616#{}
        617#{}
        618#{}
        619#{}
        620#{}
        621#{}
        622#{}
        623#{}
        624#{}
        625#{}
        626#{}
        627#{}
        628#{}
        629#{}
        630#{}
        631#{}
        632#{}
        633#{}
        634#{}
        635#{}
        636#{}
        637#{}
        638#{}
        639#{}
        640#{}
        641#{}
        642#{}
        643#{}
        644#{}
        645#{}
        646#{}
        647#{}
        648#{}
        649#{}
        650#{}
        651#{}
        652#{}
        653#{}
        654#{}
        655#{}
        656#{}
        657#{}
        658#{}
        659#{}
        660#{}
        661#{}
        662#{}
        663#{}
        664#{}
        665#{}
        666#{}
        667#{}
        668#{}
        669#{}
        670#{}
        671#{}
        672#{}
        673#{}
        674#{}
        675#{}
        676#{}
        677#{}
        678#{}
        679#{}
        680#{}
        681#{}
        682#{}
        683#{}
        684#{}
        685#{}
        686#{}
        687#{}
        688#{}
        689#{}
        690#{}
        691#{}
        692#{}
        693#{}
        694#{}
        695#{}
        696#{}
        697#{}
        698#{}
        699#{}
        700#{}
        701#{}
        702#{}
        703#{}
        704#{}
        705#{}
        706#{}
        707#{}
        708#{}
        709#{}
        710#{}
        711#{}
        712#{}
        713#{}
        714#{}
        715#{}
        716#{}
        717#{}
        718#{}
        719#{}
        720#{}
        721#{}
    }
    vertex compatibilities: {
        0@{}
        1@{}
        2@{}
        3@{4,14}
        4@{}
        5@{1}
        6@{2}
        7@{}
        8@{}
        9@{22}
        10@{}
        11@{11}
        12@{18}
        13@{16}
        14@{}
        15@{8}
        16@{19}
        17@{4}
        18@{}
        19@{}
        20@{}
        21@{15}
        22@{}
        23@{}
        24@{}
        25@{}
        26@{}
        27@{17}
        28@{10}
        29@{}
        30@{}
        31@{18}
        32@{}
        33@{13,20}
        34@{}
        35@{15}
        36@{}
        37@{}
        38@{21}
        39@{6}
        40@{}
        41@{10}
        42@{5,9,11,21}
        43@{12}
        44@{}
        45@{3}
        46@{}
        47@{}
        48@{}
        49@{7}
        50@{}
        51@{}
        52@{19}
        53@{7}
        54@{3}
        55@{}
        56@{}
    }
]
Solving layer: 2
Solving layer: 3
Solving layer: 4
Computed optimal makespan:3
Makespan optimal solution:
Mulirobot solution: (|moves| = 46, paralellism = 15.333) [
    Step 0: 9#0->1 4#3->10 20#5->4 10#11->12 21#15->16 18#22->29 13#23->24 1#25->26 14#28->35 15#30->31 12#36->37 2#41->33 19#45->38 7#49->42 5#55->54 
    Step 1: 9#1->8 16#9->2 10#12->17 17#13->5 22#21->28 13#24->30 1#26->18 18#29->36 15#31->32 2#33->27 14#35->43 12#37->44 19#38->45 5#54->46 6#56->55 
    Step 2: 16#2->3 20#4->12 17#5->6 9#8->9 4#10->11 1#18->13 3#20->21 13#30->31 15#32->33 18#36->35 12#44->52 19#45->53 5#46->39 8#48->41 11#50->49 6#55->54 
]
Multirobot solution analysis: (
    total makespan           = 3
    total distance           = 43
    total trajectory         = 46
    average parallelism      = 15.333
    average distance         = 1.955
    average trajectory       = 2.091
    parallelism distribution  = [ 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 1 ]
    distance distribution     = [ 6 8 7 ]
    trajectory distribution   = [ 6 8 8 ]
)
Phase statistics (current phase = 'root_phase') [
        Phase (name = 'root_phase') [
            Total SAT solver calls         = 3
            Satisfiable SAT solver calls   = 1
            Unsatisfiable SAT solver calls = 2
            Indeterminate SAT solver calls = 0
            Move executions                = 92
            Produced CNF variables         = 6792
            Produced CNF clauses           = 40737
            Search steps                   = 0
            Wall clock TIME (seconds)      = 0.143
            CPU/machine TIME (seconds)     = 0.150
        ]
]
----------------------------------------------------------------