#BEGIN: [Sun Sep 10 22:31:55 2023]
#HOST: s09
#TIMELIMIT: 1800
#MEMLIMIT: 0
#SOLVER: longest-wallclock-ai-planning-longest2
#INSTANCE1: /benchmark/random_instance/random_instance018_graph003.col
#INSTANCE2: /benchmark/random_instance/random_instance018_graph003_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-planning --config=longest-portfolio --memory-limit=54 --time-limit=1800 /benchmark/random_instance/random_instance018_graph003.col /benchmark/random_instance/random_instance018_graph003_01.dat
s 32 22 172 126 133 139 23 93 220 14 216 198 204 186 4 42 15 199 217 29 11 120 9 152 40 46 131 74 25 221 60 113 141 200 115 108 124 67 86 101 65 157 193 33 155 175 102 184 41 104 1 195 61 105 224 90 137 135 223 188 177 149 79 98 2 156 187 63 176 122 27 225 170 181
t 100 183 127 179 89 71 111 130 32 151 229 136 46 14 141 39 79 84 140 174 45 77 113 102 4 6 195 200 148 115 212 154 161 65 28 61 166 40 227 198 228 3 105 223 96 207 58 149 186 95 30 157 87 74 47 142 176 41 101 219 124 19 168 131 218 159 143 167 88 187 2 213 38 119
a YES
a 1 2 4 9 11 14 15 22 23 25 27 29 32 33 40 41 42 46 60 61 63 65 67 74 79 86 90 93 98 101 102 104 105 108 113 115 120 122 124 126 131 133 135 137 139 141 149 152 155 156 157 170 172 175 176 177 181 184 186 187 188 193 195 198 199 200 204 216 217 220 221 223 224 225
a 2 4 9 11 14 15 22 23 25 27 29 32 33 40 41 42 46 60 61 63 65 67 74 79 86 90 93 95 98 101 102 104 105 108 113 115 120 122 124 126 131 133 135 137 139 141 149 152 155 156 157 170 172 175 176 177 181 184 186 187 188 193 195 198 199 200 204 216 217 220 221 223 224 225
a 2 4 9 11 14 15 22 23 25 27 29 32 40 41 42 46 60 61 63 65 67 74 79 86 90 93 95 98 101 102 104 105 108 113 115 120 122 124 126 131 133 135 137 139 141 149 152 155 156 157 170 172 175 176 177 179 181 184 186 187 188 193 195 198 199 200 204 216 217 220 221 223 224 225
a 2 4 9 11 14 15 22 23 25 27 29 32 40 41 46 60 61 63 65 67 74 79 86 90 93 95 98 101 102 104 105 108 113 115 120 122 124 126 131 133 135 137 139 141 142 149 152 155 156 157 170 172 175 176 177 179 181 184 186 187 188 193 195 198 199 200 204 216 217 220 221 223 224 225
a 2 4 9 11 14 15 22 23 25 27 29 32 40 41 46 61 63 65 67 74 79 86 90 93 95 98 101 102 104 105 108 113 115 120 122 124 126 131 133 135 137 139 141 142 148 149 152 155 156 157 170 172 175 176 177 179 181 184 186 187 188 193 195 198 199 200 204 216 217 220 221 223 224 225
a 2 4 9 11 14 15 22 23 25 27 29 32 40 41 46 61 63 65 67 74 79 86 93 95 98 101 102 104 105 108 113 115 120 122 124 126 131 133 135 137 139 141 142 143 148 149 152 155 156 157 170 172 175 176 177 179 181 184 186 187 188 193 195 198 199 200 204 216 217 220 221 223 224 225
a 2 4 9 11 14 15 22 23 25 27 29 32 40 41 46 61 63 65 67 74 79 86 93 95 98 101 102 105 108 113 115 120 122 124 126 131 133 135 137 139 141 142 143 148 149 152 155 156 157 170 172 175 176 177 179 181 184 186 187 188 193 195 198 199 200 204 216 217 220 221 223 224 225 227
a 2 4 9 11 14 15 22 23 25 27 29 32 40 41 46 61 63 65 67 74 77 79 86 93 95 98 101 102 105 113 115 120 122 124 126 131 133 135 137 139 141 142 143 148 149 152 155 156 157 170 172 175 176 177 179 181 184 186 187 188 193 195 198 199 200 204 216 217 220 221 223 224 225 227
a 2 4 9 11 14 15 22 23 25 27 29 32 40 41 46 61 63 65 67 74 77 79 86 93 95 98 101 102 105 113 115 122 124 126 131 133 135 137 139 141 142 143 148 149 152 155 156 157 170 172 175 176 177 179 181 184 186 187 188 193 195 198 199 200 204 216 217 218 220 221 223 224 225 227
a 2 4 9 11 14 15 22 23 25 27 29 32 40 41 46 61 63 65 74 77 79 86 93 95 98 101 102 105 111 113 115 122 124 126 131 133 135 137 139 141 142 143 148 149 152 155 156 157 170 172 175 176 177 179 181 184 186 187 188 193 195 198 199 200 204 216 217 218 220 221 223 224 225 227
a 2 4 9 11 14 15 22 25 27 29 32 40 41 45 46 61 63 65 74 77 79 86 93 95 98 101 102 105 111 113 115 122 124 126 131 133 135 137 139 141 142 143 148 149 152 155 156 157 170 172 175 176 177 179 181 184 186 187 188 193 195 198 199 200 204 216 217 218 220 221 223 224 225 227
a 2 4 9 11 14 15 22 25 27 29 32 40 41 45 46 61 63 65 74 77 79 86 93 95 101 102 105 111 113 115 119 122 124 126 131 133 135 137 139 141 142 143 148 149 152 155 156 157 170 172 175 176 177 179 181 184 186 187 188 193 195 198 199 200 204 216 217 218 220 221 223 224 225 227
a 2 4 9 11 14 15 22 25 27 29 32 40 41 45 46 61 63 65 74 77 79 86 88 93 95 101 102 105 111 113 115 119 124 126 131 133 135 137 139 141 142 143 148 149 152 155 156 157 170 172 175 176 177 179 181 184 186 187 188 193 195 198 199 200 204 216 217 218 220 221 223 224 225 227
a 2 4 9 11 14 15 22 25 27 29 32 40 41 45 46 61 63 65 74 77 79 86 88 93 95 101 102 105 111 113 115 119 124 131 133 135 137 139 141 142 143 148 149 152 155 156 157 170 172 175 176 177 179 181 184 186 187 188 193 195 198 199 200 204 213 216 217 218 220 221 223 224 225 227
a 2 3 4 9 11 14 15 22 25 27 29 32 40 41 45 46 61 63 65 74 77 79 86 88 93 95 101 102 105 111 113 115 119 124 131 133 135 137 141 142 143 148 149 152 155 156 157 170 172 175 176 177 179 181 184 186 187 188 193 195 198 199 200 204 213 216 217 218 220 221 223 224 225 227
a 2 3 4 9 11 14 15 22 25 27 29 32 40 41 45 46 61 63 65 74 77 79 86 88 93 95 101 102 105 111 113 115 119 124 131 133 135 137 141 142 143 148 149 152 155 156 157 161 170 172 175 176 179 181 184 186 187 188 193 195 198 199 200 204 213 216 217 218 220 221 223 224 225 227
a 2 3 4 6 9 14 15 22 25 27 29 32 40 41 45 46 61 63 65 74 77 79 86 88 93 95 101 102 105 111 113 115 119 124 131 133 135 137 141 142 143 148 149 152 155 156 157 161 170 172 175 176 179 181 184 186 187 188 193 195 198 199 200 204 213 216 217 218 220 221 223 224 225 227
a 2 3 4 6 9 14 15 22 25 27 29 32 40 41 45 46 61 63 65 74 77 79 86 88 93 95 101 102 105 111 113 115 119 124 131 133 135 137 141 142 143 148 149 152 155 156 157 159 161 170 175 176 179 181 184 186 187 188 193 195 198 199 200 204 213 216 217 218 220 221 223 224 225 227
a 2 3 4 6 9 14 15 22 25 27 29 32 40 41 45 46 61 63 65 74 77 79 86 88 93 95 101 102 105 111 113 115 119 124 131 133 135 137 141 142 143 148 149 152 155 156 157 159 161 170 174 175 176 179 181 186 187 188 193 195 198 199 200 204 213 216 217 218 220 221 223 224 225 227
a 2 3 4 6 9 14 15 22 25 29 32 40 41 45 46 58 61 63 65 74 77 79 86 88 93 95 101 102 105 111 113 115 119 124 131 133 135 137 141 142 143 148 149 152 155 156 157 159 161 170 174 175 176 179 181 186 187 188 193 195 198 199 200 204 213 216 217 218 220 221 223 224 225 227
a 2 3 4 6 9 14 15 22 25 29 32 40 41 45 46 58 61 63 65 74 77 79 86 88 93 95 101 102 105 111 113 115 119 124 131 133 135 137 141 142 143 148 149 152 155 156 157 159 161 170 174 175 176 179 181 186 187 188 195 198 199 200 204 213 216 217 218 219 220 221 223 224 225 227
a 2 3 4 6 9 14 15 22 25 29 32 40 41 45 46 58 61 63 65 74 77 79 86 88 93 95 101 102 105 111 113 115 119 124 130 131 133 135 137 141 142 143 148 149 152 155 156 157 159 161 170 174 175 176 179 181 186 187 188 195 198 200 204 213 216 217 218 219 220 221 223 224 225 227
a 2 3 4 6 14 15 22 25 29 32 40 41 45 46 58 61 63 65 74 77 79 86 88 93 95 96 101 102 105 111 113 115 119 124 130 131 133 135 137 141 142 143 148 149 152 155 156 157 159 161 170 174 175 176 179 181 186 187 188 195 198 200 204 213 216 217 218 219 220 221 223 224 225 227
a 2 3 4 6 14 15 22 25 29 32 40 41 45 46 58 61 65 74 77 79 86 88 93 95 96 101 102 105 111 113 115 119 124 130 131 133 135 137 141 142 143 148 149 152 154 155 156 157 159 161 170 174 175 176 179 181 186 187 188 195 198 200 204 213 216 217 218 219 220 221 223 224 225 227
a 2 3 4 6 14 15 22 25 29 32 38 40 41 45 46 58 61 65 74 77 79 86 88 93 95 96 101 102 105 111 113 115 119 124 130 131 133 135 137 141 142 143 148 149 152 154 155 156 157 159 161 170 174 175 176 179 181 186 187 188 195 198 200 213 216 217 218 219 220 221 223 224 225 227
a 2 3 4 6 14 22 25 29 32 38 40 41 45 46 58 61 65 74 77 79 86 88 93 95 96 101 102 105 111 113 115 119 124 130 131 133 135 137 141 142 143 148 149 152 154 155 156 157 159 161 168 170 174 175 176 179 181 186 187 188 195 198 200 213 216 217 218 219 220 221 223 224 225 227
a 2 3 4 6 14 19 22 25 29 32 38 40 41 45 46 58 61 65 74 77 79 88 93 95 96 101 102 105 111 113 115 119 124 130 131 133 135 137 141 142 143 148 149 152 154 155 156 157 159 161 168 170 174 175 176 179 181 186 187 188 195 198 200 213 216 217 218 219 220 221 223 224 225 227
a 2 3 4 6 14 19 22 25 29 32 38 40 41 45 46 58 61 65 74 77 79 84 88 93 95 96 101 102 105 111 113 115 119 124 130 131 133 135 137 141 142 143 148 149 152 154 155 156 157 159 161 168 170 174 175 176 179 181 186 187 188 195 198 200 213 217 218 219 220 221 223 224 225 227
a 2 3 4 6 14 19 22 25 29 32 38 40 41 45 46 58 61 65 74 77 79 84 88 93 95 96 101 102 105 111 113 115 119 124 130 131 133 135 137 140 141 142 143 148 149 152 154 155 156 157 159 161 168 170 174 175 176 179 181 186 187 188 195 198 200 213 217 218 219 221 223 224 225 227
a 2 3 4 6 14 19 25 29 32 38 40 41 45 46 47 58 61 65 74 77 79 84 88 93 95 96 101 102 105 111 113 115 119 124 130 131 133 135 137 140 141 142 143 148 149 152 154 155 156 157 159 161 168 170 174 175 176 179 181 186 187 188 195 198 200 213 217 218 219 221 223 224 225 227
a 2 3 4 6 14 19 25 29 32 38 40 41 45 46 47 58 61 65 74 77 79 84 88 93 95 96 101 102 105 111 113 115 119 124 130 131 133 135 137 140 141 142 143 148 149 151 152 154 155 156 157 159 161 168 174 175 176 179 181 186 187 188 195 198 200 213 217 218 219 221 223 224 225 227
a 2 3 4 6 14 19 25 29 32 38 40 41 45 46 47 58 61 65 74 77 79 84 88 93 95 96 101 102 105 111 113 115 119 124 130 131 133 135 137 140 141 142 143 148 149 151 154 155 156 157 159 161 167 168 174 175 176 179 181 186 187 188 195 198 200 213 217 218 219 221 223 224 225 227
a 2 3 4 6 14 19 25 29 32 38 40 41 45 46 47 58 61 65 74 77 79 84 88 93 95 96 101 102 105 111 113 115 119 124 130 131 133 135 137 140 141 142 143 148 149 151 154 155 156 157 159 161 166 167 168 174 175 176 179 181 186 187 188 195 198 200 213 217 218 219 223 224 225 227
a 2 3 4 6 14 19 29 30 32 38 40 41 45 46 47 58 61 65 74 77 79 84 88 93 95 96 101 102 105 111 113 115 119 124 130 131 133 135 137 140 141 142 143 148 149 151 154 155 156 157 159 161 166 167 168 174 175 176 179 181 186 187 188 195 198 200 213 217 218 219 223 224 225 227
a 2 3 4 6 14 19 30 32 38 40 41 45 46 47 58 61 65 71 74 77 79 84 88 93 95 96 101 102 105 111 113 115 119 124 130 131 133 135 137 140 141 142 143 148 149 151 154 155 156 157 159 161 166 167 168 174 175 176 179 181 186 187 188 195 198 200 213 217 218 219 223 224 225 227
a 2 3 4 6 14 19 30 32 38 40 41 45 46 47 58 61 65 71 74 77 79 84 88 93 95 96 101 102 105 111 113 115 119 124 130 131 133 135 137 140 141 142 143 148 149 151 154 156 157 159 161 166 167 168 174 175 176 179 181 186 187 188 195 198 200 213 217 218 219 223 224 225 227 229
a 2 3 4 6 14 19 30 32 38 40 41 45 46 47 58 61 65 71 74 77 79 84 88 93 95 96 101 102 105 111 113 115 119 124 127 130 131 133 135 137 140 141 142 143 148 149 151 154 156 157 159 161 166 167 168 174 175 176 179 181 186 187 188 195 198 200 213 217 218 219 223 225 227 229
a 2 3 4 6 14 19 30 32 38 40 41 45 46 47 58 61 65 71 74 77 79 84 88 95 96 100 101 102 105 111 113 115 119 124 127 130 131 133 135 137 140 141 142 143 148 149 151 154 156 157 159 161 166 167 168 174 175 176 179 181 186 187 188 195 198 200 213 217 218 219 223 225 227 229
a 2 3 4 6 14 19 30 32 38 40 41 45 46 47 58 61 65 71 74 77 79 84 88 95 96 100 101 102 105 111 113 115 119 124 127 130 131 135 137 140 141 142 143 148 149 151 154 156 157 159 161 166 167 168 174 175 176 179 181 186 187 188 195 198 200 213 217 218 219 223 225 227 228 229
a 2 3 4 6 14 19 30 32 38 40 41 45 46 47 58 61 65 71 74 77 79 84 88 95 96 100 101 102 105 111 113 115 119 124 127 130 131 135 136 137 140 141 142 143 148 149 151 154 157 159 161 166 167 168 174 175 176 179 181 186 187 188 195 198 200 213 217 218 219 223 225 227 228 229
a 2 3 4 6 14 19 30 32 38 40 41 45 46 47 58 61 65 71 74 77 79 84 88 95 96 100 101 102 105 111 113 115 119 124 127 130 131 135 136 137 140 141 142 143 148 149 151 154 157 159 161 166 167 168 174 176 179 181 186 187 188 195 198 200 212 213 217 218 219 223 225 227 228 229
a 2 3 4 6 14 19 30 32 38 39 40 41 45 46 47 58 61 65 71 74 77 79 84 88 95 96 100 101 102 105 111 113 115 119 124 127 130 131 135 136 137 140 141 142 143 148 149 151 154 157 159 161 166 167 168 174 176 179 181 186 187 195 198 200 212 213 217 218 219 223 225 227 228 229
a 2 3 4 6 14 19 28 30 32 38 39 40 41 45 46 47 58 61 65 71 74 77 79 84 88 95 96 100 101 102 105 111 113 115 119 124 127 130 131 135 136 140 141 142 143 148 149 151 154 157 159 161 166 167 168 174 176 179 181 186 187 195 198 200 212 213 217 218 219 223 225 227 228 229
a 2 3 4 6 14 19 28 30 32 38 39 40 41 45 46 47 58 61 65 71 74 77 79 84 88 95 96 100 101 102 105 111 113 115 119 124 127 130 131 135 136 140 141 142 143 148 149 151 154 157 159 161 166 167 168 174 176 179 181 183 186 187 195 198 200 212 213 218 219 223 225 227 228 229
a 2 3 4 6 14 19 28 30 32 38 39 40 41 45 46 47 58 61 65 71 74 77 79 84 88 95 96 100 101 102 105 111 113 115 119 124 127 130 131 136 140 141 142 143 148 149 151 154 157 159 161 166 167 168 174 176 179 181 183 186 187 195 198 200 207 212 213 218 219 223 225 227 228 229
a 2 3 4 6 14 19 28 30 32 38 39 40 41 45 46 47 58 61 65 71 74 77 79 84 88 89 95 96 100 101 102 105 111 113 115 119 124 127 130 131 136 140 141 142 143 148 149 151 154 157 159 161 166 167 168 174 176 179 183 186 187 195 198 200 207 212 213 218 219 223 225 227 228 229
a 2 3 4 6 14 19 28 30 32 38 39 40 41 45 46 47 58 61 65 71 74 77 79 84 87 88 89 95 96 100 101 102 105 111 113 115 119 124 127 130 131 136 140 141 142 143 148 149 151 154 157 159 161 166 167 168 174 176 179 183 186 187 195 198 200 207 212 213 218 219 223 227 228 229
#END: [Sun Sep 10 23:00:55 2023]