================================================================
reLOC 0.08-osaka : Multirobot Solution solver
(C) Copyright 2011-2013 Pavel Surynek
----------------------------------------------------------------
Reading graph...
1,0
7,0
2,1
8,1
9,2
4,3
11,3
5,4
12,4
6,5
13,5
8,7
15,7
9,8
16,8
10,9
17,9
11,10
18,10
12,11
19,11
13,12
20,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
24,23
30,23
25,24
31,24
26,25
32,25
27,26
28,27
33,27
34,28
31,30
32,31
37,31
38,32
34,33
40,33
35,34
41,34
36,35
42,35
38,37
45,37
39,38
46,38
40,39
47,39
41,40
48,40
42,41
49,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,6
22,14
29,22
36,29
43,36
51,43
53,52
54,53
55,54
56,55
57,56
58,57
Reading initial arrangement...
Reading goal arrangement...
Undirected graph: (|V|=59 |E|=96) [
Vertex: (id = 0) {1 7 }
Vertex: (id = 1) {0 2 8 }
Vertex: (id = 2) {1 9 }
Vertex: (id = 3) {4 11 }
Vertex: (id = 4) {3 5 12 }
Vertex: (id = 5) {4 6 13 }
Vertex: (id = 6) {5 14 }
Vertex: (id = 7) {0 8 15 }
Vertex: (id = 8) {1 7 9 16 }
Vertex: (id = 9) {2 8 10 17 }
Vertex: (id = 10) {9 11 18 }
Vertex: (id = 11) {3 10 12 19 }
Vertex: (id = 12) {4 11 13 20 }
Vertex: (id = 13) {5 12 14 21 }
Vertex: (id = 14) {13 6 22 }
Vertex: (id = 15) {7 16 23 }
Vertex: (id = 16) {8 15 17 24 }
Vertex: (id = 17) {9 16 18 25 }
Vertex: (id = 18) {10 17 19 26 }
Vertex: (id = 19) {11 18 20 27 }
Vertex: (id = 20) {12 19 21 28 }
Vertex: (id = 21) {13 20 22 }
Vertex: (id = 22) {21 14 29 }
Vertex: (id = 23) {15 24 30 }
Vertex: (id = 24) {16 23 25 31 }
Vertex: (id = 25) {17 24 26 32 }
Vertex: (id = 26) {18 25 27 }
Vertex: (id = 27) {19 26 28 33 }
Vertex: (id = 28) {20 27 34 }
Vertex: (id = 29) {22 36 }
Vertex: (id = 30) {23 31 }
Vertex: (id = 31) {24 30 32 37 }
Vertex: (id = 32) {25 31 38 }
Vertex: (id = 33) {27 34 40 }
Vertex: (id = 34) {28 33 35 41 }
Vertex: (id = 35) {34 36 42 }
Vertex: (id = 36) {35 29 43 }
Vertex: (id = 37) {31 38 45 }
Vertex: (id = 38) {32 37 39 46 }
Vertex: (id = 39) {38 40 47 }
Vertex: (id = 40) {33 39 41 48 }
Vertex: (id = 41) {34 40 42 49 }
Vertex: (id = 42) {35 41 43 50 }
Vertex: (id = 43) {42 36 51 }
Vertex: (id = 44) {45 52 }
Vertex: (id = 45) {37 44 46 53 }
Vertex: (id = 46) {38 45 47 54 }
Vertex: (id = 47) {39 46 48 55 }
Vertex: (id = 48) {40 47 49 56 }
Vertex: (id = 49) {41 48 50 57 }
Vertex: (id = 50) {42 49 51 58 }
Vertex: (id = 51) {50 43 }
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 }
Edge 0: 1 <-> 0
Edge 1: 7 <-> 0
Edge 2: 2 <-> 1
Edge 3: 8 <-> 1
Edge 4: 9 <-> 2
Edge 5: 4 <-> 3
Edge 6: 11 <-> 3
Edge 7: 5 <-> 4
Edge 8: 12 <-> 4
Edge 9: 6 <-> 5
Edge 10: 13 <-> 5
Edge 11: 8 <-> 7
Edge 12: 15 <-> 7
Edge 13: 9 <-> 8
Edge 14: 16 <-> 8
Edge 15: 10 <-> 9
Edge 16: 17 <-> 9
Edge 17: 11 <-> 10
Edge 18: 18 <-> 10
Edge 19: 12 <-> 11
Edge 20: 19 <-> 11
Edge 21: 13 <-> 12
Edge 22: 20 <-> 12
Edge 23: 14 <-> 13
Edge 24: 21 <-> 13
Edge 25: 16 <-> 15
Edge 26: 23 <-> 15
Edge 27: 17 <-> 16
Edge 28: 24 <-> 16
Edge 29: 18 <-> 17
Edge 30: 25 <-> 17
Edge 31: 19 <-> 18
Edge 32: 26 <-> 18
Edge 33: 20 <-> 19
Edge 34: 27 <-> 19
Edge 35: 21 <-> 20
Edge 36: 28 <-> 20
Edge 37: 22 <-> 21
Edge 38: 24 <-> 23
Edge 39: 30 <-> 23
Edge 40: 25 <-> 24
Edge 41: 31 <-> 24
Edge 42: 26 <-> 25
Edge 43: 32 <-> 25
Edge 44: 27 <-> 26
Edge 45: 28 <-> 27
Edge 46: 33 <-> 27
Edge 47: 34 <-> 28
Edge 48: 31 <-> 30
Edge 49: 32 <-> 31
Edge 50: 37 <-> 31
Edge 51: 38 <-> 32
Edge 52: 34 <-> 33
Edge 53: 40 <-> 33
Edge 54: 35 <-> 34
Edge 55: 41 <-> 34
Edge 56: 36 <-> 35
Edge 57: 42 <-> 35
Edge 58: 38 <-> 37
Edge 59: 45 <-> 37
Edge 60: 39 <-> 38
Edge 61: 46 <-> 38
Edge 62: 40 <-> 39
Edge 63: 47 <-> 39
Edge 64: 41 <-> 40
Edge 65: 48 <-> 40
Edge 66: 42 <-> 41
Edge 67: 49 <-> 41
Edge 68: 43 <-> 42
Edge 69: 50 <-> 42
Edge 70: 45 <-> 44
Edge 71: 52 <-> 44
Edge 72: 46 <-> 45
Edge 73: 53 <-> 45
Edge 74: 47 <-> 46
Edge 75: 54 <-> 46
Edge 76: 48 <-> 47
Edge 77: 55 <-> 47
Edge 78: 49 <-> 48
Edge 79: 56 <-> 48
Edge 80: 50 <-> 49
Edge 81: 57 <-> 49
Edge 82: 51 <-> 50
Edge 83: 58 <-> 50
Edge 84: 14 <-> 6
Edge 85: 22 <-> 14
Edge 86: 29 <-> 22
Edge 87: 36 <-> 29
Edge 88: 43 <-> 36
Edge 89: 51 <-> 43
Edge 90: 53 <-> 52
Edge 91: 54 <-> 53
Edge 92: 55 <-> 54
Edge 93: 56 <-> 55
Edge 94: 57 <-> 56
Edge 95: 58 <-> 57
]
Robot arrangement: (|R| = 1, |V| = 59) [
robot locations: {1#56 }
vertex occupancy: {0#0 0#1 0#2 0#3 0#4 0#5 0#6 0#7 0#8 0#9 0#10 0#11 0#12 0#13 0#14 0#15 0#16 0#17 0#18 0#19 0#20 0#21 0#22 0#23 0#24 0#25 0#26 0#27 0#28 0#29 0#30 0#31 0#32 0#33 0#34 0#35 0#36 0#37 0#38 0#39 0#40 0#41 0#42 0#43 0#44 0#45 0#46 0#47 0#48 0#49 0#50 0#51 0#52 0#53 0#54 0#55 1#56 0#57 0#58 }
]
Robot arrangement: (|R| = -1, |V| = 0) [
robot locations: {}
vertex occupancy: {}
]
Robot goal: (|R| = 1, |V| = 59) [
robot goals: {
1#{58}
}
vertex compatibilities: {
0@{}
1@{}
2@{}
3@{}
4@{}
5@{}
6@{}
7@{}
8@{}
9@{}
10@{}
11@{}
12@{}
13@{}
14@{}
15@{}
16@{}
17@{}
18@{}
19@{}
20@{}
21@{}
22@{}
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@{1}
}
]
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
Solving layer: 20
Solving layer: 21
Solving layer: 22
Solving layer: 23
Solving layer: 24
Solving layer: 25
Computed optimal makespan:-1
Makespan optimal solution:
Mulirobot solution: (|moves| = 0, paralellism = -nan) [
]
Multirobot solution analysis: (
total makespan = 0
total distance = 0
total trajectory = 0
average parallelism = -nan
average distance = 0.000
average trajectory = 0.000
parallelism distribution = [ ]
distance distribution = [ ]
trajectory distribution = [ ]
)
Phase statistics (current phase = 'root_phase') [
Phase (name = 'root_phase') [
Total SAT solver calls = 24
Satisfiable SAT solver calls = 0
Unsatisfiable SAT solver calls = 24
Indeterminate SAT solver calls = 0
Move executions = 0
Produced CNF variables = 217812
Produced CNF clauses = 875808
Search steps = 0
Wall clock TIME (seconds) = 30.368
CPU/machine TIME (seconds) = 30.420
]
]
----------------------------------------------------------------