#BEGIN: [Mon Sep 25 16:41:19 2023] #HOST: s11 #TIMELIMIT: 1800 #MEMLIMIT: 0 #SOLVER: shortest-wallclock-ai-planning2-shortest1 #INSTANCE1: /benchmark/random_instance/random_instance017_graph004.col #INSTANCE2: /benchmark/random_instance/random_instance017_graph004_01.dat #COMMAND: docker run --cap-add=CAP_SYS_RESOURCE --cidfile /tmp/cid.txt --init --rm -t -v /home/share/benchmark/ISR-benchmark:/benchmark ai-planning2 --config=shortest-single --memory-limit=54 --time-limit=1800 /benchmark/random_instance/random_instance017_graph004.col /benchmark/random_instance/random_instance017_graph004_01.dat s 207 45 89 35 46 109 197 56 25 128 162 163 147 23 122 31 146 215 60 196 203 173 65 209 59 220 180 187 130 22 157 66 170 214 67 117 12 151 108 7 96 73 149 21 91 17 134 80 92 166 5 97 44 29 69 40 54 53 55 213 83 1 119 123 127 81 3 216 164 26 33 152 169 t 57 147 206 82 35 23 212 199 15 40 168 60 20 156 205 190 103 110 119 162 25 79 54 104 136 159 77 111 115 27 87 143 96 219 116 95 48 146 167 68 102 108 43 154 26 158 5 135 2 209 90 180 10 7 13 47 107 124 185 142 217 56 64 188 41 113 51 151 112 198 179 129 203 a YES a 1 3 5 7 12 17 21 22 23 25 26 29 31 33 35 40 44 45 46 53 54 55 56 59 60 65 66 67 69 73 80 81 83 89 91 92 96 97 108 109 117 119 122 123 127 128 130 134 146 147 149 151 152 157 162 163 164 166 169 170 173 180 187 196 197 203 207 209 213 214 215 216 220 a 1 3 5 7 12 21 22 23 25 26 29 31 33 35 40 44 45 46 53 54 55 56 59 60 65 66 67 69 73 80 81 83 89 91 92 96 97 108 109 117 119 122 123 127 128 130 134 146 147 149 151 152 157 162 163 164 166 167 169 170 173 180 187 196 197 203 207 209 213 214 215 216 220 a 1 3 5 7 12 21 22 23 25 26 29 33 35 40 44 45 46 53 54 55 56 59 60 65 66 67 69 73 80 81 83 89 91 92 96 97 108 109 117 119 122 123 127 128 130 134 146 147 149 151 152 157 162 163 164 166 167 169 170 173 180 187 196 197 203 207 209 213 214 215 216 219 220 a 1 3 5 7 12 21 22 23 25 26 29 33 35 40 44 46 53 54 55 56 59 60 65 66 67 68 69 73 80 81 83 89 91 92 96 97 108 109 117 119 122 123 127 128 130 134 146 147 149 151 152 157 162 163 164 166 167 169 170 173 180 187 196 197 203 207 209 213 214 215 216 219 220 a 1 3 5 7 12 21 22 23 25 26 29 33 35 40 44 53 54 55 56 59 60 65 66 67 68 69 73 80 81 83 89 91 92 96 97 108 109 117 119 122 123 127 128 130 134 146 147 149 151 152 157 158 162 163 164 166 167 169 170 173 180 187 196 197 203 207 209 213 214 215 216 219 220 a 1 3 5 7 10 12 21 22 23 25 26 29 33 35 40 44 53 54 56 59 60 65 66 67 68 69 73 80 81 83 89 91 92 96 97 108 109 117 119 122 123 127 128 130 134 146 147 149 151 152 157 158 162 163 164 166 167 169 170 173 180 187 196 197 203 207 209 213 214 215 216 219 220 a 1 3 5 7 10 12 21 22 23 25 26 29 33 35 40 44 53 54 56 60 65 66 67 68 69 73 80 81 83 89 91 92 96 97 108 109 117 119 122 123 127 128 130 134 146 147 149 151 152 157 158 162 163 164 166 167 169 170 173 179 180 187 196 197 203 207 209 213 214 215 216 219 220 a 3 5 7 10 12 21 22 23 25 26 29 33 35 40 44 53 54 56 60 65 66 67 68 69 73 80 81 83 89 91 92 96 97 108 109 117 119 122 123 127 128 130 134 143 146 147 149 151 152 157 158 162 163 164 166 167 169 170 173 179 180 187 196 197 203 207 209 213 214 215 216 219 220 a 3 5 7 10 12 21 22 23 25 26 29 33 35 40 44 53 54 56 60 66 67 68 69 73 80 81 83 89 91 92 96 97 108 109 117 119 122 123 127 128 130 134 143 146 147 149 151 152 157 158 162 163 164 166 167 169 170 173 179 180 187 196 197 203 207 209 212 213 214 215 216 219 220 a 3 5 7 10 12 21 22 23 25 26 29 33 35 40 43 44 53 54 56 60 67 68 69 73 80 81 83 89 91 92 96 97 108 109 117 119 122 123 127 128 130 134 143 146 147 149 151 152 157 158 162 163 164 166 167 169 170 173 179 180 187 196 197 203 207 209 212 213 214 215 216 219 220 a 3 5 7 10 12 21 22 23 25 26 29 33 35 40 43 44 53 54 56 60 68 69 73 80 81 83 89 91 92 96 97 108 109 117 119 122 123 127 128 130 134 135 143 146 147 149 151 152 157 158 162 163 164 166 167 169 170 173 179 180 187 196 197 203 207 209 212 213 214 215 216 219 220 a 5 7 10 12 21 22 23 25 26 29 33 35 40 43 44 53 54 56 60 68 69 73 80 81 83 89 91 92 96 97 108 109 117 119 122 123 127 128 130 134 135 143 146 147 149 151 152 157 158 162 163 164 166 167 169 170 173 179 180 187 196 197 203 205 207 209 212 213 214 215 216 219 220 a 5 7 10 21 22 23 25 26 29 33 35 40 43 44 53 54 56 60 68 69 73 80 81 83 89 91 92 96 97 104 108 109 117 119 122 123 127 128 130 134 135 143 146 147 149 151 152 157 158 162 163 164 166 167 169 170 173 179 180 187 196 197 203 205 207 209 212 213 214 215 216 219 220 a 5 7 10 21 22 23 25 26 29 33 35 40 41 43 53 54 56 60 68 69 73 80 81 83 89 91 92 96 97 104 108 109 117 119 122 123 127 128 130 134 135 143 146 147 149 151 152 157 158 162 163 164 166 167 169 170 173 179 180 187 196 197 203 205 207 209 212 213 214 215 216 219 220 a 2 5 7 10 21 22 23 25 26 29 33 35 40 41 43 54 56 60 68 69 73 80 81 83 89 91 92 96 97 104 108 109 117 119 122 123 127 128 130 134 135 143 146 147 149 151 152 157 158 162 163 164 166 167 169 170 173 179 180 187 196 197 203 205 207 209 212 213 214 215 216 219 220 a 2 5 7 10 21 22 23 25 26 29 33 35 40 41 43 54 56 60 68 73 80 81 83 89 91 92 96 97 103 104 108 109 117 119 122 123 127 128 130 134 135 143 146 147 149 151 152 157 158 162 163 164 166 167 169 170 173 179 180 187 196 197 203 205 207 209 212 213 214 215 216 219 220 a 2 5 7 10 22 23 25 26 29 33 35 40 41 43 54 56 60 68 73 80 81 83 89 91 92 96 97 103 104 108 109 117 119 122 123 127 128 130 134 135 143 146 147 149 151 152 157 158 162 163 164 166 167 168 169 170 173 179 180 187 196 197 203 205 207 209 212 213 214 215 216 219 220 a 2 5 7 10 22 23 25 26 29 33 35 40 41 43 54 56 60 68 80 81 83 87 89 91 92 96 97 103 104 108 109 117 119 122 123 127 128 130 134 135 143 146 147 149 151 152 157 158 162 163 164 166 167 168 169 170 173 179 180 187 196 197 203 205 207 209 212 213 214 215 216 219 220 a 2 5 7 10 22 23 25 26 29 33 35 40 41 43 54 56 60 68 81 83 87 89 90 91 92 96 97 103 104 108 109 117 119 122 123 127 128 130 134 135 143 146 147 149 151 152 157 158 162 163 164 166 167 168 169 170 173 179 180 187 196 197 203 205 207 209 212 213 214 215 216 219 220 a 2 5 7 10 22 23 25 26 29 33 35 40 41 43 54 56 60 68 81 83 87 90 91 92 96 97 103 104 108 109 117 119 122 123 127 128 130 134 135 143 146 147 149 151 152 156 157 158 162 163 164 166 167 168 169 170 173 179 180 187 196 197 203 205 207 209 212 213 214 215 216 219 220 a 2 5 7 10 22 23 25 26 29 33 35 40 41 43 48 54 56 60 68 81 83 87 90 91 96 97 103 104 108 109 117 119 122 123 127 128 130 134 135 143 146 147 149 151 152 156 157 158 162 163 164 166 167 168 169 170 173 179 180 187 196 197 203 205 207 209 212 213 214 215 216 219 220 a 2 5 7 10 22 23 25 26 29 33 35 40 41 43 48 54 56 60 68 81 82 83 87 90 91 96 97 103 104 108 117 119 122 123 127 128 130 134 135 143 146 147 149 151 152 156 157 158 162 163 164 166 167 168 169 170 173 179 180 187 196 197 203 205 207 209 212 213 214 215 216 219 220 a 2 5 7 10 22 23 25 26 29 33 35 40 41 43 48 54 56 60 68 81 82 83 87 90 91 96 97 103 104 108 113 117 119 123 127 128 130 134 135 143 146 147 149 151 152 156 157 158 162 163 164 166 167 168 169 170 173 179 180 187 196 197 203 205 207 209 212 213 214 215 216 219 220 a 2 5 7 10 22 23 25 26 33 35 40 41 43 48 54 56 60 68 81 82 83 87 90 91 96 97 103 104 108 111 113 117 119 123 127 128 130 134 135 143 146 147 149 151 152 156 157 158 162 163 164 166 167 168 169 170 173 179 180 187 196 197 203 205 207 209 212 213 214 215 216 219 220 a 2 5 7 10 22 23 25 26 33 35 40 41 43 48 54 56 60 68 82 83 87 90 91 95 96 97 103 104 108 111 113 117 119 123 127 128 130 134 135 143 146 147 149 151 152 156 157 158 162 163 164 166 167 168 169 170 173 179 180 187 196 197 203 205 207 209 212 213 214 215 216 219 220 a 2 5 7 10 22 23 25 26 33 35 40 41 43 48 54 56 60 68 82 83 87 90 95 96 97 103 104 108 111 113 117 119 123 127 128 130 134 135 143 146 147 149 151 152 156 157 158 159 162 163 164 166 167 168 169 170 173 179 180 187 196 197 203 205 207 209 212 213 214 215 216 219 220 a 2 5 7 10 22 23 25 26 33 35 40 41 43 48 51 54 56 60 68 82 83 87 90 95 96 97 103 104 108 111 113 117 119 123 128 130 134 135 143 146 147 149 151 152 156 157 158 159 162 163 164 166 167 168 169 170 173 179 180 187 196 197 203 205 207 209 212 213 214 215 216 219 220 a 2 5 7 10 13 22 23 25 26 33 35 40 41 43 48 51 54 56 60 68 82 83 87 90 95 96 97 103 104 108 111 113 117 119 123 128 130 135 143 146 147 149 151 152 156 157 158 159 162 163 164 166 167 168 169 170 173 179 180 187 196 197 203 205 207 209 212 213 214 215 216 219 220 a 2 5 7 10 13 22 23 25 26 27 33 35 40 41 43 48 51 54 56 60 68 82 83 87 90 95 96 97 103 104 108 111 113 117 119 123 128 130 135 143 146 147 149 151 152 156 158 159 162 163 164 166 167 168 169 170 173 179 180 187 196 197 203 205 207 209 212 213 214 215 216 219 220 a 2 5 7 10 13 23 25 26 27 33 35 40 41 43 48 51 54 56 60 68 82 83 87 90 95 96 97 103 104 108 111 112 113 117 119 123 128 130 135 143 146 147 149 151 152 156 158 159 162 163 164 166 167 168 169 170 173 179 180 187 196 197 203 205 207 209 212 213 214 215 216 219 220 a 2 5 7 10 13 23 25 26 27 33 35 40 41 43 48 51 54 56 60 68 82 83 87 90 95 96 97 103 104 108 111 112 113 117 119 123 128 130 135 143 146 147 149 151 152 156 158 159 162 164 166 167 168 169 170 173 179 180 187 196 197 203 205 206 207 209 212 213 214 215 216 219 220 a 2 5 7 10 13 15 23 25 26 27 33 35 40 41 43 48 51 54 56 60 68 82 83 87 90 95 96 97 103 104 108 111 112 113 117 119 123 128 130 135 143 146 147 149 151 152 156 158 159 162 166 167 168 169 170 173 179 180 187 196 197 203 205 206 207 209 212 213 214 215 216 219 220 a 2 5 7 10 13 15 23 25 26 27 33 35 40 41 43 48 51 54 56 60 68 82 83 87 90 95 96 97 103 104 108 111 112 113 117 119 123 128 130 135 143 146 147 149 151 152 156 158 159 162 166 167 168 170 173 179 180 187 190 196 197 203 205 206 207 209 212 213 214 215 216 219 220 a 2 5 7 10 13 15 23 25 26 27 33 35 40 41 43 48 51 54 56 60 68 79 82 83 87 90 95 96 97 103 104 108 111 112 113 117 119 123 128 130 135 143 146 147 149 151 152 156 158 159 162 166 167 168 173 179 180 187 190 196 197 203 205 206 207 209 212 213 214 215 216 219 220 a 2 5 7 10 13 15 23 25 26 27 35 40 41 43 48 51 54 56 60 68 79 82 83 87 90 95 96 97 103 104 108 111 112 113 117 119 123 124 128 130 135 143 146 147 149 151 152 156 158 159 162 166 167 168 173 179 180 187 190 196 197 203 205 206 207 209 212 213 214 215 216 219 220 a 2 5 7 10 13 15 20 23 25 26 27 35 40 41 43 48 51 54 56 60 68 79 82 83 87 90 95 96 97 103 104 108 111 112 113 117 119 123 124 128 130 135 143 146 147 149 151 152 156 158 159 162 166 167 168 173 179 180 190 196 197 203 205 206 207 209 212 213 214 215 216 219 220 a 2 5 7 10 13 15 20 23 25 26 27 35 40 41 43 48 51 54 56 57 60 68 79 82 83 87 90 95 96 97 103 104 108 111 112 113 117 119 123 124 128 130 135 143 146 147 149 151 152 156 158 159 162 166 167 168 173 179 180 190 197 203 205 206 207 209 212 213 214 215 216 219 220 a 2 5 7 10 13 15 20 23 25 26 27 35 40 41 43 48 51 54 56 57 60 68 79 82 87 90 95 96 97 103 104 108 111 112 113 117 119 123 124 128 130 135 143 146 147 149 151 152 156 158 159 162 166 167 168 173 179 180 190 197 198 203 205 206 207 209 212 213 214 215 216 219 220 a 2 5 7 10 13 15 20 23 25 26 27 35 40 41 43 48 51 54 56 57 60 68 79 82 87 90 95 96 97 103 104 108 111 112 113 116 119 123 124 128 130 135 143 146 147 149 151 152 156 158 159 162 166 167 168 173 179 180 190 197 198 203 205 206 207 209 212 213 214 215 216 219 220 a 2 5 7 10 13 15 20 23 25 26 27 35 40 41 43 48 51 54 56 57 60 68 79 82 87 90 95 96 103 104 108 111 112 113 116 119 123 124 128 130 135 143 146 147 149 151 152 156 158 159 162 166 167 168 173 179 180 185 190 197 198 203 205 206 207 209 212 213 214 215 216 219 220 a 2 5 7 10 13 15 20 23 25 26 27 35 40 41 43 47 48 51 54 56 57 60 68 79 82 87 90 95 96 103 104 108 111 112 113 116 119 124 128 130 135 143 146 147 149 151 152 156 158 159 162 166 167 168 173 179 180 185 190 197 198 203 205 206 207 209 212 213 214 215 216 219 220 a 2 5 7 10 13 15 20 23 25 26 27 35 40 41 43 47 48 51 54 56 57 60 64 68 79 82 87 90 95 96 103 104 108 111 112 113 116 119 124 128 130 135 143 146 147 149 151 152 156 158 159 162 166 167 168 173 179 180 185 190 197 198 203 205 206 207 209 212 213 215 216 219 220 a 2 5 7 10 13 15 20 23 25 26 27 35 40 41 43 47 48 51 54 56 57 60 64 68 79 82 87 90 95 96 102 103 104 108 111 112 113 116 119 124 130 135 143 146 147 149 151 152 156 158 159 162 166 167 168 173 179 180 185 190 197 198 203 205 206 207 209 212 213 215 216 219 220 a 2 5 7 10 13 15 20 23 25 26 27 35 40 41 43 47 48 51 54 56 57 60 64 68 79 82 87 90 95 96 102 103 104 108 111 112 113 116 119 124 130 135 142 143 146 147 149 151 152 156 158 159 162 167 168 173 179 180 185 190 197 198 203 205 206 207 209 212 213 215 216 219 220 a 2 5 7 10 13 15 20 23 25 26 27 35 40 41 43 47 48 51 54 56 57 60 64 68 79 82 87 90 95 96 102 103 104 108 110 111 112 113 116 119 124 130 135 142 143 146 147 149 151 152 156 158 159 162 167 168 173 179 180 185 190 198 203 205 206 207 209 212 213 215 216 219 220 a 2 5 7 10 13 15 20 23 25 26 27 35 40 41 43 47 48 51 54 56 57 60 64 68 79 82 87 90 95 96 102 103 104 108 110 111 112 113 116 119 124 130 135 142 143 146 147 149 151 152 156 158 159 162 167 168 173 179 180 185 190 198 199 203 205 206 207 209 212 213 216 219 220 a 2 5 7 10 13 15 20 23 25 26 27 35 40 41 43 47 48 51 54 56 57 60 64 68 79 82 87 90 95 96 102 103 104 108 110 111 112 113 116 119 124 129 130 135 142 143 146 147 149 151 152 156 158 159 162 167 168 173 179 180 185 190 198 199 203 205 206 207 209 212 213 219 220 a 2 5 7 10 13 15 20 23 25 26 27 35 40 41 43 47 48 51 54 56 57 60 64 68 79 82 87 90 95 96 102 103 104 108 110 111 112 113 116 119 124 129 135 142 143 146 147 149 151 152 154 156 158 159 162 167 168 173 179 180 185 190 198 199 203 205 206 207 209 212 213 219 220 a 2 5 7 10 13 15 20 23 25 26 27 35 40 41 43 47 48 51 54 56 57 60 64 68 79 82 87 90 95 96 102 103 104 108 110 111 112 113 116 119 124 129 135 142 143 146 147 151 152 154 156 158 159 162 167 168 173 179 180 185 188 190 198 199 203 205 206 207 209 212 213 219 220 a 2 5 7 10 13 15 20 23 25 26 27 35 40 41 43 47 48 51 54 56 57 60 64 68 77 79 82 87 90 95 96 102 103 104 108 110 111 112 113 116 119 124 129 135 142 143 146 147 151 154 156 158 159 162 167 168 173 179 180 185 188 190 198 199 203 205 206 207 209 212 213 219 220 a 2 5 7 10 13 15 20 23 25 26 27 35 40 41 43 47 48 51 54 56 57 60 64 68 77 79 82 87 90 95 96 102 103 104 108 110 111 112 113 116 119 124 129 135 136 142 143 146 147 151 154 156 158 159 162 167 168 173 179 180 185 188 190 198 199 203 205 206 207 209 212 219 220 a 2 5 7 10 13 15 20 23 25 26 27 35 40 41 43 47 48 51 54 56 57 60 64 68 77 79 82 87 90 95 96 102 103 104 107 108 110 111 112 113 116 119 124 129 135 136 142 143 146 147 151 154 156 158 159 162 167 168 173 179 180 185 188 190 198 199 203 205 206 207 209 212 219 a 2 5 7 10 13 15 20 23 25 26 27 35 40 41 43 47 48 51 54 56 57 60 64 68 77 79 82 87 90 95 96 102 103 104 107 108 110 111 112 113 116 119 124 129 135 136 142 143 146 147 151 154 156 158 159 162 167 168 179 180 185 188 190 198 199 203 205 206 207 209 212 217 219 a 2 5 7 10 13 15 20 23 25 26 27 35 40 41 43 47 48 51 54 56 57 60 64 68 77 79 82 87 90 95 96 102 103 104 107 108 110 111 112 113 115 116 119 124 129 135 136 142 143 146 147 151 154 156 158 159 162 167 168 179 180 185 188 190 198 199 203 205 206 209 212 217 219 Command being timed: "/solvers/driver/run.py --config=shortest-single --memory-limit=54 --time-limit=1800 /benchmark/random_instance/random_instance017_graph004.col /benchmark/random_instance/random_instance017_graph004_01.dat" User time (seconds): 1732.90 System time (seconds): 7.79 Percent of CPU this job got: 99% Elapsed (wall clock) time (h:mm:ss or m:ss): 29:00.83 Average shared text size (kbytes): 0 Average unshared data size (kbytes): 0 Average stack size (kbytes): 0 Average total size (kbytes): 0 Maximum resident set size (kbytes): 20929680 Average resident set size (kbytes): 0 Major (requiring I/O) page faults: 172 Minor (reclaiming a frame) page faults: 5569972 Voluntary context switches: 377 Involuntary context switches: 6602 Swaps: 0 File system inputs: 25760 File system outputs: 400 Socket messages sent: 0 Socket messages received: 0 Signals delivered: 0 Page size (bytes): 4096 Exit status: 0 #END: [Mon Sep 25 17:10:20 2023]