================================================================ reLOC 0.09-vegas : Multirobot Solution solver (C) Copyright 2011-2013 Pavel Surynek ---------------------------------------------------------------- Reading graph... 1,0 11,0 2,1 12,1 3,2 13,2 14,3 5,4 16,4 6,5 17,5 7,6 18,6 8,7 19,7 9,8 20,8 10,9 12,11 22,11 13,12 14,13 23,13 15,14 24,14 16,15 25,15 17,16 26,16 18,17 27,17 19,18 28,18 20,19 29,19 30,20 33,22 24,23 25,24 26,25 35,25 27,26 36,26 28,27 37,27 29,28 38,28 30,29 31,30 39,30 32,31 40,31 34,33 42,33 43,34 36,35 45,35 37,36 46,36 38,37 47,37 48,38 40,39 50,39 41,40 51,40 43,42 52,42 44,43 53,43 54,44 46,45 56,45 47,46 48,47 57,47 49,48 58,48 50,49 59,49 51,50 60,50 61,51 53,52 63,52 54,53 64,53 55,54 65,54 56,55 66,55 67,56 58,57 69,57 59,58 60,59 70,59 61,60 71,60 62,61 64,63 73,63 65,64 74,64 66,65 75,65 67,66 76,66 68,67 77,67 69,68 78,68 79,69 71,70 81,70 82,71 74,73 84,73 75,74 85,74 76,75 86,75 77,76 87,76 78,77 88,77 79,78 89,78 80,79 81,80 90,80 82,81 91,81 92,82 85,84 94,84 86,85 95,85 87,86 96,86 88,87 97,87 89,88 98,88 99,89 91,90 101,90 92,91 102,91 103,92 95,94 105,94 96,95 106,95 97,96 107,96 98,97 108,97 99,98 109,98 100,99 101,100 110,100 102,101 111,101 103,102 112,102 104,103 113,103 114,104 106,105 116,105 107,106 117,106 108,107 118,107 109,108 119,108 120,109 111,110 122,110 112,111 123,111 113,112 124,112 114,113 125,113 115,114 126,114 21,10 32,21 41,32 72,62 83,72 93,83 127,115 117,116 118,117 119,118 120,119 121,120 122,121 123,122 124,123 125,124 126,125 127,126 Reading initial arrangement... Reading goal arrangement... Undirected graph: (|V|=128 |E|=207) [ Vertex: (id = 0) {1 11 } Vertex: (id = 1) {0 2 12 } Vertex: (id = 2) {1 3 13 } Vertex: (id = 3) {2 14 } Vertex: (id = 4) {5 16 } Vertex: (id = 5) {4 6 17 } Vertex: (id = 6) {5 7 18 } Vertex: (id = 7) {6 8 19 } Vertex: (id = 8) {7 9 20 } Vertex: (id = 9) {8 10 } Vertex: (id = 10) {9 21 } Vertex: (id = 11) {0 12 22 } Vertex: (id = 12) {1 11 13 } Vertex: (id = 13) {2 12 14 23 } Vertex: (id = 14) {3 13 15 24 } Vertex: (id = 15) {14 16 25 } Vertex: (id = 16) {4 15 17 26 } Vertex: (id = 17) {5 16 18 27 } Vertex: (id = 18) {6 17 19 28 } Vertex: (id = 19) {7 18 20 29 } Vertex: (id = 20) {8 19 30 } Vertex: (id = 21) {10 32 } Vertex: (id = 22) {11 33 } Vertex: (id = 23) {13 24 } Vertex: (id = 24) {14 23 25 } Vertex: (id = 25) {15 24 26 35 } Vertex: (id = 26) {16 25 27 36 } Vertex: (id = 27) {17 26 28 37 } Vertex: (id = 28) {18 27 29 38 } Vertex: (id = 29) {19 28 30 } Vertex: (id = 30) {20 29 31 39 } Vertex: (id = 31) {30 32 40 } Vertex: (id = 32) {31 21 41 } Vertex: (id = 33) {22 34 42 } Vertex: (id = 34) {33 43 } Vertex: (id = 35) {25 36 45 } Vertex: (id = 36) {26 35 37 46 } Vertex: (id = 37) {27 36 38 47 } Vertex: (id = 38) {28 37 48 } Vertex: (id = 39) {30 40 50 } Vertex: (id = 40) {31 39 41 51 } Vertex: (id = 41) {40 32 } Vertex: (id = 42) {33 43 52 } Vertex: (id = 43) {34 42 44 53 } Vertex: (id = 44) {43 54 } Vertex: (id = 45) {35 46 56 } Vertex: (id = 46) {36 45 47 } Vertex: (id = 47) {37 46 48 57 } Vertex: (id = 48) {38 47 49 58 } Vertex: (id = 49) {48 50 59 } Vertex: (id = 50) {39 49 51 60 } Vertex: (id = 51) {40 50 61 } Vertex: (id = 52) {42 53 63 } Vertex: (id = 53) {43 52 54 64 } Vertex: (id = 54) {44 53 55 65 } Vertex: (id = 55) {54 56 66 } Vertex: (id = 56) {45 55 67 } Vertex: (id = 57) {47 58 69 } Vertex: (id = 58) {48 57 59 } Vertex: (id = 59) {49 58 60 70 } Vertex: (id = 60) {50 59 61 71 } Vertex: (id = 61) {51 60 62 } Vertex: (id = 62) {61 72 } Vertex: (id = 63) {52 64 73 } Vertex: (id = 64) {53 63 65 74 } Vertex: (id = 65) {54 64 66 75 } Vertex: (id = 66) {55 65 67 76 } Vertex: (id = 67) {56 66 68 77 } Vertex: (id = 68) {67 69 78 } Vertex: (id = 69) {57 68 79 } Vertex: (id = 70) {59 71 81 } Vertex: (id = 71) {60 70 82 } Vertex: (id = 72) {62 83 } Vertex: (id = 73) {63 74 84 } Vertex: (id = 74) {64 73 75 85 } Vertex: (id = 75) {65 74 76 86 } Vertex: (id = 76) {66 75 77 87 } Vertex: (id = 77) {67 76 78 88 } Vertex: (id = 78) {68 77 79 89 } Vertex: (id = 79) {69 78 80 } Vertex: (id = 80) {79 81 90 } Vertex: (id = 81) {70 80 82 91 } Vertex: (id = 82) {71 81 92 } Vertex: (id = 83) {72 93 } Vertex: (id = 84) {73 85 94 } Vertex: (id = 85) {74 84 86 95 } Vertex: (id = 86) {75 85 87 96 } Vertex: (id = 87) {76 86 88 97 } Vertex: (id = 88) {77 87 89 98 } Vertex: (id = 89) {78 88 99 } Vertex: (id = 90) {80 91 101 } Vertex: (id = 91) {81 90 92 102 } Vertex: (id = 92) {82 91 103 } Vertex: (id = 93) {83 } Vertex: (id = 94) {84 95 105 } Vertex: (id = 95) {85 94 96 106 } Vertex: (id = 96) {86 95 97 107 } Vertex: (id = 97) {87 96 98 108 } Vertex: (id = 98) {88 97 99 109 } Vertex: (id = 99) {89 98 100 } Vertex: (id = 100) {99 101 110 } Vertex: (id = 101) {90 100 102 111 } Vertex: (id = 102) {91 101 103 112 } Vertex: (id = 103) {92 102 104 113 } Vertex: (id = 104) {103 114 } Vertex: (id = 105) {94 106 116 } Vertex: (id = 106) {95 105 107 117 } Vertex: (id = 107) {96 106 108 118 } Vertex: (id = 108) {97 107 109 119 } Vertex: (id = 109) {98 108 120 } Vertex: (id = 110) {100 111 122 } Vertex: (id = 111) {101 110 112 123 } Vertex: (id = 112) {102 111 113 124 } Vertex: (id = 113) {103 112 114 125 } Vertex: (id = 114) {104 113 115 126 } Vertex: (id = 115) {114 127 } Vertex: (id = 116) {105 117 } Vertex: (id = 117) {106 116 118 } Vertex: (id = 118) {107 117 119 } Vertex: (id = 119) {108 118 120 } Vertex: (id = 120) {109 119 121 } Vertex: (id = 121) {120 122 } Vertex: (id = 122) {110 121 123 } Vertex: (id = 123) {111 122 124 } Vertex: (id = 124) {112 123 125 } Vertex: (id = 125) {113 124 126 } Vertex: (id = 126) {114 125 127 } Vertex: (id = 127) {115 126 } Edge 0: 1 <-> 0 Edge 1: 11 <-> 0 Edge 2: 2 <-> 1 Edge 3: 12 <-> 1 Edge 4: 3 <-> 2 Edge 5: 13 <-> 2 Edge 6: 14 <-> 3 Edge 7: 5 <-> 4 Edge 8: 16 <-> 4 Edge 9: 6 <-> 5 Edge 10: 17 <-> 5 Edge 11: 7 <-> 6 Edge 12: 18 <-> 6 Edge 13: 8 <-> 7 Edge 14: 19 <-> 7 Edge 15: 9 <-> 8 Edge 16: 20 <-> 8 Edge 17: 10 <-> 9 Edge 18: 12 <-> 11 Edge 19: 22 <-> 11 Edge 20: 13 <-> 12 Edge 21: 14 <-> 13 Edge 22: 23 <-> 13 Edge 23: 15 <-> 14 Edge 24: 24 <-> 14 Edge 25: 16 <-> 15 Edge 26: 25 <-> 15 Edge 27: 17 <-> 16 Edge 28: 26 <-> 16 Edge 29: 18 <-> 17 Edge 30: 27 <-> 17 Edge 31: 19 <-> 18 Edge 32: 28 <-> 18 Edge 33: 20 <-> 19 Edge 34: 29 <-> 19 Edge 35: 30 <-> 20 Edge 36: 33 <-> 22 Edge 37: 24 <-> 23 Edge 38: 25 <-> 24 Edge 39: 26 <-> 25 Edge 40: 35 <-> 25 Edge 41: 27 <-> 26 Edge 42: 36 <-> 26 Edge 43: 28 <-> 27 Edge 44: 37 <-> 27 Edge 45: 29 <-> 28 Edge 46: 38 <-> 28 Edge 47: 30 <-> 29 Edge 48: 31 <-> 30 Edge 49: 39 <-> 30 Edge 50: 32 <-> 31 Edge 51: 40 <-> 31 Edge 52: 34 <-> 33 Edge 53: 42 <-> 33 Edge 54: 43 <-> 34 Edge 55: 36 <-> 35 Edge 56: 45 <-> 35 Edge 57: 37 <-> 36 Edge 58: 46 <-> 36 Edge 59: 38 <-> 37 Edge 60: 47 <-> 37 Edge 61: 48 <-> 38 Edge 62: 40 <-> 39 Edge 63: 50 <-> 39 Edge 64: 41 <-> 40 Edge 65: 51 <-> 40 Edge 66: 43 <-> 42 Edge 67: 52 <-> 42 Edge 68: 44 <-> 43 Edge 69: 53 <-> 43 Edge 70: 54 <-> 44 Edge 71: 46 <-> 45 Edge 72: 56 <-> 45 Edge 73: 47 <-> 46 Edge 74: 48 <-> 47 Edge 75: 57 <-> 47 Edge 76: 49 <-> 48 Edge 77: 58 <-> 48 Edge 78: 50 <-> 49 Edge 79: 59 <-> 49 Edge 80: 51 <-> 50 Edge 81: 60 <-> 50 Edge 82: 61 <-> 51 Edge 83: 53 <-> 52 Edge 84: 63 <-> 52 Edge 85: 54 <-> 53 Edge 86: 64 <-> 53 Edge 87: 55 <-> 54 Edge 88: 65 <-> 54 Edge 89: 56 <-> 55 Edge 90: 66 <-> 55 Edge 91: 67 <-> 56 Edge 92: 58 <-> 57 Edge 93: 69 <-> 57 Edge 94: 59 <-> 58 Edge 95: 60 <-> 59 Edge 96: 70 <-> 59 Edge 97: 61 <-> 60 Edge 98: 71 <-> 60 Edge 99: 62 <-> 61 Edge 100: 64 <-> 63 Edge 101: 73 <-> 63 Edge 102: 65 <-> 64 Edge 103: 74 <-> 64 Edge 104: 66 <-> 65 Edge 105: 75 <-> 65 Edge 106: 67 <-> 66 Edge 107: 76 <-> 66 Edge 108: 68 <-> 67 Edge 109: 77 <-> 67 Edge 110: 69 <-> 68 Edge 111: 78 <-> 68 Edge 112: 79 <-> 69 Edge 113: 71 <-> 70 Edge 114: 81 <-> 70 Edge 115: 82 <-> 71 Edge 116: 74 <-> 73 Edge 117: 84 <-> 73 Edge 118: 75 <-> 74 Edge 119: 85 <-> 74 Edge 120: 76 <-> 75 Edge 121: 86 <-> 75 Edge 122: 77 <-> 76 Edge 123: 87 <-> 76 Edge 124: 78 <-> 77 Edge 125: 88 <-> 77 Edge 126: 79 <-> 78 Edge 127: 89 <-> 78 Edge 128: 80 <-> 79 Edge 129: 81 <-> 80 Edge 130: 90 <-> 80 Edge 131: 82 <-> 81 Edge 132: 91 <-> 81 Edge 133: 92 <-> 82 Edge 134: 85 <-> 84 Edge 135: 94 <-> 84 Edge 136: 86 <-> 85 Edge 137: 95 <-> 85 Edge 138: 87 <-> 86 Edge 139: 96 <-> 86 Edge 140: 88 <-> 87 Edge 141: 97 <-> 87 Edge 142: 89 <-> 88 Edge 143: 98 <-> 88 Edge 144: 99 <-> 89 Edge 145: 91 <-> 90 Edge 146: 101 <-> 90 Edge 147: 92 <-> 91 Edge 148: 102 <-> 91 Edge 149: 103 <-> 92 Edge 150: 95 <-> 94 Edge 151: 105 <-> 94 Edge 152: 96 <-> 95 Edge 153: 106 <-> 95 Edge 154: 97 <-> 96 Edge 155: 107 <-> 96 Edge 156: 98 <-> 97 Edge 157: 108 <-> 97 Edge 158: 99 <-> 98 Edge 159: 109 <-> 98 Edge 160: 100 <-> 99 Edge 161: 101 <-> 100 Edge 162: 110 <-> 100 Edge 163: 102 <-> 101 Edge 164: 111 <-> 101 Edge 165: 103 <-> 102 Edge 166: 112 <-> 102 Edge 167: 104 <-> 103 Edge 168: 113 <-> 103 Edge 169: 114 <-> 104 Edge 170: 106 <-> 105 Edge 171: 116 <-> 105 Edge 172: 107 <-> 106 Edge 173: 117 <-> 106 Edge 174: 108 <-> 107 Edge 175: 118 <-> 107 Edge 176: 109 <-> 108 Edge 177: 119 <-> 108 Edge 178: 120 <-> 109 Edge 179: 111 <-> 110 Edge 180: 122 <-> 110 Edge 181: 112 <-> 111 Edge 182: 123 <-> 111 Edge 183: 113 <-> 112 Edge 184: 124 <-> 112 Edge 185: 114 <-> 113 Edge 186: 125 <-> 113 Edge 187: 115 <-> 114 Edge 188: 126 <-> 114 Edge 189: 21 <-> 10 Edge 190: 32 <-> 21 Edge 191: 41 <-> 32 Edge 192: 72 <-> 62 Edge 193: 83 <-> 72 Edge 194: 93 <-> 83 Edge 195: 127 <-> 115 Edge 196: 117 <-> 116 Edge 197: 118 <-> 117 Edge 198: 119 <-> 118 Edge 199: 120 <-> 119 Edge 200: 121 <-> 120 Edge 201: 122 <-> 121 Edge 202: 123 <-> 122 Edge 203: 124 <-> 123 Edge 204: 125 <-> 124 Edge 205: 126 <-> 125 Edge 206: 127 <-> 126 ] Robot arrangement: (|R| = 35, |V| = 128) [ robot locations: {1#74 2#69 3#25 4#63 5#6 6#32 7#87 8#23 9#40 10#123 11#56 12#126 13#85 14#116 15#3 16#102 17#20 18#30 19#93 20#99 21#39 22#1 23#35 24#101 25#70 26#121 27#66 28#117 29#79 30#90 31#47 32#29 33#11 34#33 35#78 } vertex occupancy: {0#0 22#1 0#2 15#3 0#4 0#5 5#6 0#7 0#8 0#9 0#10 33#11 0#12 0#13 0#14 0#15 0#16 0#17 0#18 0#19 17#20 0#21 0#22 8#23 0#24 3#25 0#26 0#27 0#28 32#29 18#30 0#31 6#32 34#33 0#34 23#35 0#36 0#37 0#38 21#39 9#40 0#41 0#42 0#43 0#44 0#45 0#46 31#47 0#48 0#49 0#50 0#51 0#52 0#53 0#54 0#55 11#56 0#57 0#58 0#59 0#60 0#61 0#62 4#63 0#64 0#65 27#66 0#67 0#68 2#69 25#70 0#71 0#72 0#73 1#74 0#75 0#76 0#77 35#78 29#79 0#80 0#81 0#82 0#83 0#84 13#85 0#86 7#87 0#88 0#89 30#90 0#91 0#92 19#93 0#94 0#95 0#96 0#97 0#98 20#99 0#100 24#101 16#102 0#103 0#104 0#105 0#106 0#107 0#108 0#109 0#110 0#111 0#112 0#113 0#114 0#115 14#116 28#117 0#118 0#119 0#120 26#121 0#122 10#123 0#124 0#125 12#126 0#127 } ] Robot arrangement: (|R| = -1, |V| = 0) [ robot locations: {} vertex occupancy: {} ] Robot goal: (|R| = 35, |V| = 128) [ robot goals: { 1#{86} 2#{16} 3#{83} 4#{100} 5#{58} 6#{121} 7#{101} 8#{95} 9#{22} 10#{25} 11#{12} 12#{54} 13#{98} 14#{29} 15#{122} 16#{10} 17#{68} 18#{107} 19#{26} 20#{9} 21#{92} 22#{124} 23#{93} 24#{82} 25#{112} 26#{27} 27#{67} 28#{17} 29#{42} 30#{78} 31#{119} 32#{79} 33#{41} 34#{117} 35#{84} } vertex compatibilities: { 0@{} 1@{} 2@{} 3@{} 4@{} 5@{} 6@{} 7@{} 8@{} 9@{20} 10@{16} 11@{} 12@{11} 13@{} 14@{} 15@{} 16@{2} 17@{28} 18@{} 19@{} 20@{} 21@{} 22@{9} 23@{} 24@{} 25@{10} 26@{19} 27@{26} 28@{} 29@{14} 30@{} 31@{} 32@{} 33@{} 34@{} 35@{} 36@{} 37@{} 38@{} 39@{} 40@{} 41@{33} 42@{29} 43@{} 44@{} 45@{} 46@{} 47@{} 48@{} 49@{} 50@{} 51@{} 52@{} 53@{} 54@{12} 55@{} 56@{} 57@{} 58@{5} 59@{} 60@{} 61@{} 62@{} 63@{} 64@{} 65@{} 66@{} 67@{27} 68@{17} 69@{} 70@{} 71@{} 72@{} 73@{} 74@{} 75@{} 76@{} 77@{} 78@{30} 79@{32} 80@{} 81@{} 82@{24} 83@{3} 84@{35} 85@{} 86@{1} 87@{} 88@{} 89@{} 90@{} 91@{} 92@{21} 93@{23} 94@{} 95@{8} 96@{} 97@{} 98@{13} 99@{} 100@{4} 101@{7} 102@{} 103@{} 104@{} 105@{} 106@{} 107@{18} 108@{} 109@{} 110@{} 111@{} 112@{25} 113@{} 114@{} 115@{} 116@{} 117@{34} 118@{} 119@{31} 120@{} 121@{6} 122@{15} 123@{} 124@{22} 125@{} 126@{} 127@{} } ] 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 Solving layer: 12 Solving layer: 13 Solving layer: 14 Solving layer: 15 Solving layer: 16 Solving layer: 17 Solving layer: 18 Solving layer: 19 Computed optimal makespan:18 Makespan optimal solution: Mulirobot solution: (|moves| = 534, paralellism = 29.667) [ Step 0: 1#74->75 2#69->68 3#25->15 4#63->73 5#6->7 6#32->41 8#23->13 9#40->51 10#123->111 11#56->55 12#126->125 13#85->84 15#3->14 16#102->103 17#20->19 18#30->31 19#93->83 20#99->89 21#39->50 22#1->2 23#35->36 24#101->100 26#121->122 27#66->65 28#117->118 30#90->91 31#47->46 33#11->0 34#33->42 35#78->77 Step 1: 1#75->86 2#68->57 3#15->16 4#73->74 6#41->40 7#87->88 8#13->12 9#51->61 10#111->101 12#125->126 13#84->94 14#116->117 15#14->24 16#103->92 17#19->18 18#31->30 19#83->72 20#89->78 21#50->60 22#2->3 23#36->37 24#100->99 25#70->81 27#65->64 28#118->95 29#79->80 30#91->102 31#46->45 33#0->1 34#42->52 35#77->67 Step 2: 1#86->76 3#16->4 4#74->75 5#7->8 6#40->39 7#88->77 8#12->11 9#61->51 10#101->90 11#55->54 14#117->118 15#24->25 16#92->82 17#18->17 19#72->62 20#78->68 21#60->71 22#3->14 23#37->38 24#99->89 25#81->91 26#122->110 27#64->53 28#95->96 29#80->79 31#45->56 32#29->19 33#1->2 34#52->63 35#67->66 Step 3: 2#57->47 3#4->5 4#75->86 5#8->9 6#39->50 7#77->67 8#11->22 9#51->40 11#54->44 12#126->125 13#94->105 14#118->107 15#25->35 16#82->81 17#17->27 18#30->29 19#62->72 20#68->69 22#14->15 23#38->48 24#89->99 27#53->52 28#96->74 29#79->78 30#102->101 31#56->55 32#19->20 33#2->3 34#63->73 35#66->65 Step 4: 1#76->75 2#47->46 3#5->6 4#86->96 6#50->60 7#67->68 8#22->33 9#40->31 10#90->80 11#44->43 12#125->121 13#105->94 14#107->108 15#35->45 16#81->70 17#27->37 18#29->28 20#69->57 21#71->82 22#15->25 23#48->49 24#99->98 25#91->102 26#110->111 28#74->64 29#78->89 30#101->100 31#55->66 32#20->30 33#3->14 34#73->84 35#65->54 Step 5: 1#75->86 2#46->36 3#6->18 4#96->107 6#60->71 7#68->69 8#33->42 10#80->79 11#43->34 12#121->120 13#94->95 14#108->109 15#45->56 16#70->59 17#37->47 18#28->38 19#72->62 20#57->58 21#82->92 22#25->35 23#49->50 24#98->97 26#111->110 28#64->63 29#89->88 30#100->101 31#66->65 32#30->39 33#14->15 34#84->85 35#54->44 Step 6: 1#86->96 3#18->28 4#107->106 5#9->10 6#71->82 7#69->68 9#31->30 10#79->78 11#34->33 12#120->119 14#109->98 15#56->55 16#59->70 17#47->57 18#38->37 19#62->60 20#58->48 21#92->103 22#35->45 23#50->51 24#97->108 25#102->112 26#110->122 28#63->54 29#88->87 30#101->111 31#65->75 33#15->16 34#85->84 Step 7: 1#96->97 3#28->27 4#106->105 5#10->21 6#82->92 7#68->69 9#30->29 10#78->77 11#33->22 12#119->118 14#98->99 17#57->58 18#37->47 19#60->59 21#103->104 22#45->56 24#108->109 25#112->124 26#122->101 27#52->53 28#54->34 29#87->86 31#75->63 32#39->50 33#16->17 34#84->94 Step 8: 1#97->98 2#36->26 3#27->37 4#105->116 5#21->32 6#92->103 7#69->79 8#42->52 9#29->28 10#77->76 11#22->11 12#118->107 13#95->106 14#99->89 18#47->57 19#59->60 20#48->38 21#104->114 22#56->67 24#109->120 25#124->125 26#101->102 27#53->54 28#34->33 29#86->85 30#111->123 31#63->73 32#50->35 35#44->43 Step 9: 1#98->99 2#26->25 3#37->47 4#116->117 5#32->31 6#103->113 7#79->80 8#52->63 9#28->27 10#76->75 11#11->12 12#107->96 14#89->78 15#55->66 16#70->71 17#58->59 18#57->69 19#60->48 21#114->115 22#67->77 23#51->61 24#120->121 25#125->126 26#102->101 28#33->22 29#85->74 30#123->86 31#73->84 32#35->36 33#17->18 35#43->42 Step 10: 2#25->15 3#47->57 4#117->118 5#31->40 6#113->112 7#80->81 9#27->26 10#75->65 11#12->1 13#106->107 14#78->68 15#66->76 16#71->60 17#59->70 18#69->79 21#115->114 22#77->88 23#61->62 24#121->122 26#101->90 27#54->55 28#22->11 29#74->73 30#86->85 32#36->46 33#18->17 34#94->95 35#42->52 Step 11: 1#99->89 2#15->14 3#57->58 4#118->119 5#40->39 6#112->124 7#81->91 9#26->25 10#65->54 11#1->0 12#96->86 14#68->69 15#76->87 16#60->61 18#79->78 21#114->115 22#88->98 24#122->110 25#126->127 26#90->80 27#55->66 28#11->12 30#85->74 31#84->94 32#46->47 33#17->7 Step 12: 2#14->3 3#58->59 4#119->120 6#124->123 7#91->102 9#25->24 11#0->11 12#86->85 13#107->108 14#69->57 15#87->97 16#61->51 17#70->81 18#78->77 19#48->37 20#38->28 22#98->99 23#62->72 24#110->111 26#80->79 28#12->13 29#73->84 30#74->64 31#94->105 32#47->56 33#7->8 34#95->106 Step 13: 1#89->78 3#59->60 4#120->109 5#39->50 6#123->122 7#102->112 8#63->73 9#24->23 10#54->55 11#11->22 13#108->119 14#57->47 15#97->98 16#51->40 17#81->80 18#77->88 19#37->36 20#28->29 22#99->100 23#72->62 24#111->101 25#127->126 26#79->69 27#66->76 28#13->14 29#84->43 30#64->65 32#56->67 33#8->20 34#106->107 Step 14: 1#78->89 3#60->61 6#122->121 7#112->124 9#23->13 10#55->56 11#22->11 12#85->74 13#119->120 14#47->37 15#98->99 16#40->31 17#80->79 18#88->87 19#36->46 20#29->19 21#115->114 22#100->110 23#62->72 24#101->102 25#126->125 26#69->57 27#76->66 28#14->15 29#43->53 30#65->75 31#105->106 32#67->68 33#20->30 34#107->108 35#52->63 Step 15: 1#89->88 2#3->14 3#61->62 4#109->98 5#50->49 7#124->112 8#73->84 9#13->12 10#56->45 11#11->0 12#74->64 14#37->38 15#99->100 16#31->32 17#79->78 18#87->86 20#19->20 21#114->104 22#110->122 23#72->83 24#102->91 26#57->47 27#66->67 28#15->16 29#53->52 30#75->76 31#106->117 32#68->69 33#30->39 34#108->107 Step 16: 1#88->87 2#14->15 3#62->72 4#98->99 5#49->48 7#112->111 8#84->94 9#12->11 10#45->35 11#0->1 12#64->53 13#120->109 14#38->28 15#100->110 16#32->21 17#78->68 18#86->96 19#46->36 20#20->8 21#104->103 22#122->123 23#83->93 24#91->81 25#125->113 26#47->37 27#67->66 28#16->17 29#52->42 30#76->77 31#117->118 33#39->40 34#107->106 35#63->73 Step 17: 1#87->86 2#15->16 3#72->83 4#99->100 5#48->58 7#111->101 8#94->95 9#11->22 10#35->25 11#1->12 12#53->54 13#109->98 14#28->29 15#110->122 16#21->10 18#96->107 19#36->26 20#8->9 21#103->92 22#123->124 24#81->82 25#113->112 26#37->27 27#66->67 30#77->78 31#118->119 32#69->79 33#40->41 34#106->117 35#73->84 ] Multirobot solution analysis: ( total makespan = 18 total distance = 331 total trajectory = 534 average parallelism = 29.667 average distance = 9.457 average trajectory = 15.257 parallelism distribution = [ 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 1 1 2 6 4 1 1 ] distance distribution = [ 1 1 1 3 3 1 2 0 4 1 0 7 2 3 3 0 1 1 ] trajectory distribution = [ 0 0 0 0 0 0 0 0 0 0 0 4 3 4 7 6 8 3 ] ) Phase statistics (current phase = 'root_phase') [ Phase (name = 'root_phase') [ Total SAT solver calls = 18 Satisfiable SAT solver calls = 1 Unsatisfiable SAT solver calls = 17 Indeterminate SAT solver calls = 0 Move executions = 1068 Produced CNF variables = 870912 Produced CNF clauses = 16854800 Search steps = 0 Wall clock TIME (seconds) = 62.446 CPU/machine TIME (seconds) = 37.960 ] ] ----------------------------------------------------------------