================================================================
reLOC 0.08-osaka : Multirobot Solution solver
(C) Copyright 2011-2013 Pavel Surynek
----------------------------------------------------------------
Reading graph...
1,0
8,0
2,1
9,1
3,2
10,2
4,3
11,3
5,4
12,4
6,5
7,6
13,6
9,8
15,8
10,9
16,9
11,10
17,10
12,11
18,11
19,12
14,13
21,13
16,15
23,15
17,16
24,16
18,17
25,17
19,18
26,18
20,19
27,19
21,20
28,20
22,21
29,21
24,23
31,23
25,24
32,24
26,25
33,25
27,26
34,26
28,27
35,27
29,28
36,28
30,29
37,29
32,31
33,32
39,32
34,33
35,34
40,34
36,35
41,35
37,36
38,37
42,37
45,39
41,40
47,40
48,41
43,42
50,42
45,44
52,44
46,45
53,45
47,46
54,46
48,47
55,47
49,48
56,48
50,49
57,49
51,50
58,50
14,7
22,14
30,22
38,30
43,38
51,43
59,51
53,52
54,53
55,54
56,55
57,56
58,57
59,58
Reading initial arrangement...
Reading goal arrangement...
Undirected graph: (|V|=60 |E|=97) [
    Vertex: (id = 0) {1 8 }
    Vertex: (id = 1) {0 2 9 }
    Vertex: (id = 2) {1 3 10 }
    Vertex: (id = 3) {2 4 11 }
    Vertex: (id = 4) {3 5 12 }
    Vertex: (id = 5) {4 6 }
    Vertex: (id = 6) {5 7 13 }
    Vertex: (id = 7) {6 14 }
    Vertex: (id = 8) {0 9 15 }
    Vertex: (id = 9) {1 8 10 16 }
    Vertex: (id = 10) {2 9 11 17 }
    Vertex: (id = 11) {3 10 12 18 }
    Vertex: (id = 12) {4 11 19 }
    Vertex: (id = 13) {6 14 21 }
    Vertex: (id = 14) {13 7 22 }
    Vertex: (id = 15) {8 16 23 }
    Vertex: (id = 16) {9 15 17 24 }
    Vertex: (id = 17) {10 16 18 25 }
    Vertex: (id = 18) {11 17 19 26 }
    Vertex: (id = 19) {12 18 20 27 }
    Vertex: (id = 20) {19 21 28 }
    Vertex: (id = 21) {13 20 22 29 }
    Vertex: (id = 22) {21 14 30 }
    Vertex: (id = 23) {15 24 31 }
    Vertex: (id = 24) {16 23 25 32 }
    Vertex: (id = 25) {17 24 26 33 }
    Vertex: (id = 26) {18 25 27 34 }
    Vertex: (id = 27) {19 26 28 35 }
    Vertex: (id = 28) {20 27 29 36 }
    Vertex: (id = 29) {21 28 30 37 }
    Vertex: (id = 30) {29 22 38 }
    Vertex: (id = 31) {23 32 }
    Vertex: (id = 32) {24 31 33 39 }
    Vertex: (id = 33) {25 32 34 }
    Vertex: (id = 34) {26 33 35 40 }
    Vertex: (id = 35) {27 34 36 41 }
    Vertex: (id = 36) {28 35 37 }
    Vertex: (id = 37) {29 36 38 42 }
    Vertex: (id = 38) {37 30 43 }
    Vertex: (id = 39) {32 45 }
    Vertex: (id = 40) {34 41 47 }
    Vertex: (id = 41) {35 40 48 }
    Vertex: (id = 42) {37 43 50 }
    Vertex: (id = 43) {42 38 51 }
    Vertex: (id = 44) {45 52 }
    Vertex: (id = 45) {39 44 46 53 }
    Vertex: (id = 46) {45 47 54 }
    Vertex: (id = 47) {40 46 48 55 }
    Vertex: (id = 48) {41 47 49 56 }
    Vertex: (id = 49) {48 50 57 }
    Vertex: (id = 50) {42 49 51 58 }
    Vertex: (id = 51) {50 43 59 }
    Vertex: (id = 52) {44 53 }
    Vertex: (id = 53) {45 52 54 }
    Vertex: (id = 54) {46 53 55 }
    Vertex: (id = 55) {47 54 56 }
    Vertex: (id = 56) {48 55 57 }
    Vertex: (id = 57) {49 56 58 }
    Vertex: (id = 58) {50 57 59 }
    Vertex: (id = 59) {51 58 }
    Edge  0: 1 <-> 0
    Edge  1: 8 <-> 0
    Edge  2: 2 <-> 1
    Edge  3: 9 <-> 1
    Edge  4: 3 <-> 2
    Edge  5: 10 <-> 2
    Edge  6: 4 <-> 3
    Edge  7: 11 <-> 3
    Edge  8: 5 <-> 4
    Edge  9: 12 <-> 4
    Edge  10: 6 <-> 5
    Edge  11: 7 <-> 6
    Edge  12: 13 <-> 6
    Edge  13: 9 <-> 8
    Edge  14: 15 <-> 8
    Edge  15: 10 <-> 9
    Edge  16: 16 <-> 9
    Edge  17: 11 <-> 10
    Edge  18: 17 <-> 10
    Edge  19: 12 <-> 11
    Edge  20: 18 <-> 11
    Edge  21: 19 <-> 12
    Edge  22: 14 <-> 13
    Edge  23: 21 <-> 13
    Edge  24: 16 <-> 15
    Edge  25: 23 <-> 15
    Edge  26: 17 <-> 16
    Edge  27: 24 <-> 16
    Edge  28: 18 <-> 17
    Edge  29: 25 <-> 17
    Edge  30: 19 <-> 18
    Edge  31: 26 <-> 18
    Edge  32: 20 <-> 19
    Edge  33: 27 <-> 19
    Edge  34: 21 <-> 20
    Edge  35: 28 <-> 20
    Edge  36: 22 <-> 21
    Edge  37: 29 <-> 21
    Edge  38: 24 <-> 23
    Edge  39: 31 <-> 23
    Edge  40: 25 <-> 24
    Edge  41: 32 <-> 24
    Edge  42: 26 <-> 25
    Edge  43: 33 <-> 25
    Edge  44: 27 <-> 26
    Edge  45: 34 <-> 26
    Edge  46: 28 <-> 27
    Edge  47: 35 <-> 27
    Edge  48: 29 <-> 28
    Edge  49: 36 <-> 28
    Edge  50: 30 <-> 29
    Edge  51: 37 <-> 29
    Edge  52: 32 <-> 31
    Edge  53: 33 <-> 32
    Edge  54: 39 <-> 32
    Edge  55: 34 <-> 33
    Edge  56: 35 <-> 34
    Edge  57: 40 <-> 34
    Edge  58: 36 <-> 35
    Edge  59: 41 <-> 35
    Edge  60: 37 <-> 36
    Edge  61: 38 <-> 37
    Edge  62: 42 <-> 37
    Edge  63: 45 <-> 39
    Edge  64: 41 <-> 40
    Edge  65: 47 <-> 40
    Edge  66: 48 <-> 41
    Edge  67: 43 <-> 42
    Edge  68: 50 <-> 42
    Edge  69: 45 <-> 44
    Edge  70: 52 <-> 44
    Edge  71: 46 <-> 45
    Edge  72: 53 <-> 45
    Edge  73: 47 <-> 46
    Edge  74: 54 <-> 46
    Edge  75: 48 <-> 47
    Edge  76: 55 <-> 47
    Edge  77: 49 <-> 48
    Edge  78: 56 <-> 48
    Edge  79: 50 <-> 49
    Edge  80: 57 <-> 49
    Edge  81: 51 <-> 50
    Edge  82: 58 <-> 50
    Edge  83: 14 <-> 7
    Edge  84: 22 <-> 14
    Edge  85: 30 <-> 22
    Edge  86: 38 <-> 30
    Edge  87: 43 <-> 38
    Edge  88: 51 <-> 43
    Edge  89: 59 <-> 51
    Edge  90: 53 <-> 52
    Edge  91: 54 <-> 53
    Edge  92: 55 <-> 54
    Edge  93: 56 <-> 55
    Edge  94: 57 <-> 56
    Edge  95: 58 <-> 57
    Edge  96: 59 <-> 58
]
Robot arrangement: (|R| = 23, |V| = 60) [
     robot locations: {1#20 2#28 3#39 4#50 5#51 6#49 7#8 8#27 9#36 10#14 11#37 12#10 13#48 14#26 15#25 16#6 17#41 18#21 19#31 20#7 21#42 22#44 23#2 }
     vertex occupancy: {0#0 0#1 23#2 0#3 0#4 0#5 16#6 20#7 7#8 0#9 12#10 0#11 0#12 0#13 10#14 0#15 0#16 0#17 0#18 0#19 1#20 18#21 0#22 0#23 0#24 15#25 14#26 8#27 2#28 0#29 0#30 19#31 0#32 0#33 0#34 0#35 9#36 11#37 0#38 3#39 0#40 17#41 21#42 0#43 22#44 0#45 0#46 0#47 13#48 6#49 4#50 5#51 0#52 0#53 0#54 0#55 0#56 0#57 0#58 0#59 }
]
Robot arrangement: (|R| = -1, |V| = 0) [
     robot locations: {}
     vertex occupancy: {}
]
Robot goal: (|R| = 911, |V| = 60) [
    robot goals: {
        1#{23}
        2#{12,15}
        3#{50}
        4#{22}
        5#{14}
        6#{5}
        7#{23,52}
        8#{25}
        9#{7}
        10#{34}
        11#{13,25}
        12#{8}
        13#{23,41}
        14#{15,19}
        15#{31}
        16#{10}
        17#{28}
        18#{12}
        19#{40}
        20#{30,49}
        21#{17,22}
        22#{21}
        23#{6}
        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#{}
        722#{}
        723#{}
        724#{}
        725#{}
        726#{}
        727#{}
        728#{}
        729#{}
        730#{}
        731#{}
        732#{}
        733#{}
        734#{}
        735#{}
        736#{}
        737#{}
        738#{}
        739#{}
        740#{}
        741#{}
        742#{}
        743#{}
        744#{}
        745#{}
        746#{}
        747#{}
        748#{}
        749#{}
        750#{}
        751#{}
        752#{}
        753#{}
        754#{}
        755#{}
        756#{}
        757#{}
        758#{}
        759#{}
        760#{}
        761#{}
        762#{}
        763#{}
        764#{}
        765#{}
        766#{}
        767#{}
        768#{}
        769#{}
        770#{}
        771#{}
        772#{}
        773#{}
        774#{}
        775#{}
        776#{}
        777#{}
        778#{}
        779#{}
        780#{}
        781#{}
        782#{}
        783#{}
        784#{}
        785#{}
        786#{}
        787#{}
        788#{}
        789#{}
        790#{}
        791#{}
        792#{}
        793#{}
        794#{}
        795#{}
        796#{}
        797#{}
        798#{}
        799#{}
        800#{}
        801#{}
        802#{}
        803#{}
        804#{}
        805#{}
        806#{}
        807#{}
        808#{}
        809#{}
        810#{}
        811#{}
        812#{}
        813#{}
        814#{}
        815#{}
        816#{}
        817#{}
        818#{}
        819#{}
        820#{}
        821#{}
        822#{}
        823#{}
        824#{}
        825#{}
        826#{}
        827#{}
        828#{}
        829#{}
        830#{}
        831#{}
        832#{}
        833#{}
        834#{}
        835#{}
        836#{}
        837#{}
        838#{}
        839#{}
        840#{}
        841#{}
        842#{}
        843#{}
        844#{}
        845#{}
        846#{}
        847#{}
        848#{}
        849#{}
        850#{}
        851#{}
        852#{}
        853#{}
        854#{}
        855#{}
        856#{}
        857#{}
        858#{}
        859#{}
        860#{}
        861#{}
        862#{}
        863#{}
        864#{}
        865#{}
        866#{}
        867#{}
        868#{}
        869#{}
        870#{}
        871#{}
        872#{}
        873#{}
        874#{}
        875#{}
        876#{}
        877#{}
        878#{}
        879#{}
        880#{}
        881#{}
        882#{}
        883#{}
        884#{}
        885#{}
        886#{}
        887#{}
        888#{}
        889#{}
        890#{}
        891#{}
        892#{}
        893#{}
        894#{}
        895#{}
        896#{}
        897#{}
        898#{}
        899#{}
        900#{}
        901#{}
        902#{}
        903#{}
        904#{}
        905#{}
        906#{}
        907#{}
        908#{}
        909#{}
        910#{}
        911#{}
    }
    vertex compatibilities: {
        0@{}
        1@{}
        2@{}
        3@{}
        4@{}
        5@{6}
        6@{23}
        7@{9}
        8@{12}
        9@{}
        10@{16}
        11@{}
        12@{2,18}
        13@{11}
        14@{5}
        15@{2,14}
        16@{}
        17@{21}
        18@{}
        19@{14}
        20@{}
        21@{22}
        22@{4,21}
        23@{1,7,13}
        24@{}
        25@{8,11}
        26@{}
        27@{}
        28@{17}
        29@{}
        30@{20}
        31@{15}
        32@{}
        33@{}
        34@{10}
        35@{}
        36@{}
        37@{}
        38@{}
        39@{}
        40@{19}
        41@{13}
        42@{}
        43@{}
        44@{}
        45@{}
        46@{}
        47@{}
        48@{}
        49@{20}
        50@{3}
        51@{}
        52@{7}
        53@{}
        54@{}
        55@{}
        56@{}
        57@{}
        58@{}
        59@{}
    }
]
Solving layer: 2
Solving layer: 3
Solving layer: 4
Solving layer: 5
Computed optimal makespan:4
Makespan optimal solution:
Mulirobot solution: (|moves| = 53, paralellism = 13.250) [
    Step 0: 23#2->1 16#6->5 7#8->0 12#10->9 10#14->13 18#21->22 2#28->29 11#37->38 3#39->32 17#41->40 21#42->43 22#44->45 13#48->56 6#49->57 4#50->58 5#51->59 
    Step 1: 7#0->8 10#13->6 18#22->14 15#25->24 14#26->18 2#29->21 3#32->33 11#38->30 17#40->34 13#56->55 6#57->49 
    Step 2: 23#1->0 7#8->15 12#9->10 14#18->11 2#21->13 15#24->16 8#27->19 11#30->22 3#33->25 9#36->28 21#43->38 22#45->44 6#49->48 13#55->47 4#58->57 5#59->51 
    Step 3: 23#0->8 14#11->12 15#16->17 1#20->21 21#38->30 22#44->52 13#47->40 6#48->41 5#51->50 4#57->49 
]
Multirobot solution analysis: (
    total makespan           = 4
    total distance           = 34
    total trajectory         = 53
    average parallelism      = 13.250
    average distance         = 1.478
    average trajectory       = 2.304
    parallelism distribution  = [ 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 2 ]
    distance distribution     = [ 3 9 5 5 ]
    trajectory distribution   = [ 4 4 11 2 ]
)
Phase statistics (current phase = 'root_phase') [
        Phase (name = 'root_phase') [
            Total SAT solver calls         = 4
            Satisfiable SAT solver calls   = 1
            Unsatisfiable SAT solver calls = 3
            Indeterminate SAT solver calls = 0
            Move executions                = 106
            Produced CNF variables         = 11674
            Produced CNF clauses           = 73400
            Search steps                   = 0
            Wall clock TIME (seconds)      = 0.329
            CPU/machine TIME (seconds)     = 0.360
        ]
]
----------------------------------------------------------------