#BEGIN: [Sun Sep 10 22:37:25 2023]
#HOST: s10
#TIMELIMIT: 1800
#MEMLIMIT: 0
#SOLVER: longest-wallclock-ai-planning-longest2
#INSTANCE1: /benchmark/random_instance/random_instance019_graph003.col
#INSTANCE2: /benchmark/random_instance/random_instance019_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_instance019_graph003.col /benchmark/random_instance/random_instance019_graph003_01.dat
s 219 164 104 31 207 107 228 28 91 192 231 67 134 37 59 213 19 50 172 149 179 32 112 106 16 205 150 81 218 180 43 187 5 168 233 142 153 58 120 119 240 111 229 133 23 113 78 193 74 118 68 71 97 230 162 212 173 175 116 165 14 200 30 26 9 183 190 123 234 167 152 166 99 217 185 210 238 15 76
t 160 79 71 32 211 14 1 65 77 212 27 244 118 9 189 28 178 243 25 119 51 207 196 195 114 10 182 214 93 95 36 80 174 217 154 64 218 156 41 88 62 239 247 235 203 157 53 229 23 21 20 48 127 134 124 26 164 150 147 99 86 171 105 121 104 199 208 240 12 221 42 202 37 112 216 38 200 89 57
a YES
a 5 9 14 15 16 19 23 26 28 30 31 32 37 43 50 58 59 67 68 71 74 76 78 81 91 97 99 104 106 107 111 112 113 116 118 119 120 123 133 134 142 149 150 152 153 162 164 165 166 167 168 172 173 175 179 180 183 185 187 190 192 193 200 205 207 210 212 213 217 218 219 228 229 230 231 233 234 238 240
a 5 9 14 15 19 23 26 28 30 31 32 37 43 50 58 59 67 68 71 74 76 78 81 91 97 99 104 106 107 111 112 113 116 118 119 120 123 133 134 142 149 150 152 153 162 164 165 166 167 168 172 173 175 179 180 183 185 187 190 192 193 200 205 207 210 212 213 217 218 219 221 228 229 230 231 233 234 238 240
a 5 9 14 15 19 23 26 28 30 32 36 37 43 50 58 59 67 68 71 74 76 78 81 91 97 99 104 106 107 111 112 113 116 118 119 120 123 133 134 142 149 150 152 153 162 164 165 166 167 168 172 173 175 179 180 183 185 187 190 192 193 200 205 207 210 212 213 217 218 219 221 228 229 230 231 233 234 238 240
a 5 9 14 15 19 23 26 28 30 32 36 37 43 50 59 67 68 71 74 76 78 81 91 97 99 104 106 107 111 112 113 116 118 119 120 123 133 134 142 149 150 152 153 162 164 165 166 167 168 172 173 175 179 180 183 185 187 190 192 193 200 205 207 210 212 213 217 218 219 221 228 229 230 231 233 234 235 238 240
a 5 9 14 15 19 23 26 28 30 32 36 37 43 50 59 67 68 71 74 76 78 81 91 97 99 104 107 111 112 113 116 118 119 120 123 133 134 142 149 150 152 153 157 162 164 165 166 167 168 172 173 175 179 180 183 185 187 190 192 193 200 205 207 210 212 213 217 218 219 221 228 229 230 231 233 234 235 238 240
a 5 9 14 15 19 23 26 28 30 32 36 37 43 50 59 67 68 71 74 76 78 81 91 97 99 104 111 112 113 116 118 119 120 123 133 134 142 149 150 152 153 157 162 164 165 166 167 168 172 173 175 179 180 183 185 187 190 192 193 200 205 207 210 212 213 217 218 219 221 228 229 230 231 233 234 235 238 240 247
a 5 9 14 15 19 23 26 28 30 32 36 37 41 43 50 59 67 68 71 74 76 78 81 91 97 99 104 111 112 113 116 118 119 123 133 134 142 149 150 152 153 157 162 164 165 166 167 168 172 173 175 179 180 183 185 187 190 192 193 200 205 207 210 212 213 217 218 219 221 228 229 230 231 233 234 235 238 240 247
a 9 14 15 19 23 26 28 30 32 36 37 41 42 43 50 59 67 68 71 74 76 78 81 91 97 99 104 111 112 113 116 118 119 123 133 134 142 149 150 152 153 157 162 164 165 166 167 168 172 173 175 179 180 183 185 187 190 192 193 200 205 207 210 212 213 217 218 219 221 228 229 230 231 233 234 235 238 240 247
a 9 14 15 19 23 25 26 28 30 32 36 37 41 42 43 50 59 67 68 71 74 76 78 81 91 97 99 104 111 112 113 116 118 119 133 134 142 149 150 152 153 157 162 164 165 166 167 168 172 173 175 179 180 183 185 187 190 192 193 200 205 207 210 212 213 217 218 219 221 228 229 230 231 233 234 235 238 240 247
a 9 14 15 19 23 25 26 28 30 32 36 37 41 42 43 50 59 67 68 71 74 76 78 81 91 97 99 104 111 112 113 116 118 119 127 133 134 149 150 152 153 157 162 164 165 166 167 168 172 173 175 179 180 183 185 187 190 192 193 200 205 207 210 212 213 217 218 219 221 228 229 230 231 233 234 235 238 240 247
a 9 14 15 19 23 25 26 28 32 36 37 41 42 43 50 59 67 68 71 74 76 78 81 91 97 99 104 111 112 113 116 118 119 127 133 134 149 150 152 153 157 162 164 165 166 167 168 172 173 175 179 180 183 185 187 190 192 193 200 205 207 208 210 212 213 217 218 219 221 228 229 230 231 233 234 235 238 240 247
a 9 14 19 23 25 26 28 32 36 37 41 42 43 50 53 59 67 68 71 74 76 78 81 91 97 99 104 111 112 113 116 118 119 127 133 134 149 150 152 153 157 162 164 165 166 167 168 172 173 175 179 180 183 185 187 190 192 193 200 205 207 208 210 212 213 217 218 219 221 228 229 230 231 233 234 235 238 240 247
a 9 14 19 23 25 26 28 32 36 37 41 42 43 50 53 59 67 68 71 74 76 78 81 91 97 99 104 111 112 113 116 118 119 124 127 133 134 150 152 153 157 162 164 165 166 167 168 172 173 175 179 180 183 185 187 190 192 193 200 205 207 208 210 212 213 217 218 219 221 228 229 230 231 233 234 235 238 240 247
a 9 14 19 23 25 26 28 32 36 37 38 41 42 43 50 53 59 67 68 71 74 76 78 81 91 97 99 104 111 112 113 116 118 119 124 127 133 134 150 152 157 162 164 165 166 167 168 172 173 175 179 180 183 185 187 190 192 193 200 205 207 208 210 212 213 217 218 219 221 228 229 230 231 233 234 235 238 240 247
a 9 10 14 19 23 25 26 28 32 36 37 38 41 42 43 50 53 59 67 68 71 74 76 81 91 97 99 104 111 112 113 116 118 119 124 127 133 134 150 152 157 162 164 165 166 167 168 172 173 175 179 180 183 185 187 190 192 193 200 205 207 208 210 212 213 217 218 219 221 228 229 230 231 233 234 235 238 240 247
a 9 10 14 19 23 25 26 28 32 36 37 38 41 42 43 50 53 59 67 68 71 74 76 81 91 97 99 104 111 112 113 116 118 119 124 127 133 134 150 152 156 157 162 164 166 167 168 172 173 175 179 180 183 185 187 190 192 193 200 205 207 208 210 212 213 217 218 219 221 228 229 230 231 233 234 235 238 240 247
a 9 10 14 19 23 25 26 28 32 36 37 38 41 42 43 50 53 59 65 67 68 71 74 76 81 91 97 99 104 111 112 113 116 118 119 124 127 133 134 150 152 156 157 162 164 166 167 172 173 175 179 180 183 185 187 190 192 193 200 205 207 208 210 212 213 217 218 219 221 228 229 230 231 233 234 235 238 240 247
a 9 10 14 23 25 26 28 32 36 37 38 41 42 43 50 53 59 65 67 68 71 74 76 81 91 97 99 104 111 112 113 116 118 119 124 127 133 134 147 150 152 156 157 162 164 166 167 172 173 175 179 180 183 185 187 190 192 193 200 205 207 208 210 212 213 217 218 219 221 228 229 230 231 233 234 235 238 240 247
a 9 10 14 23 25 26 28 32 36 37 38 41 42 43 50 53 59 65 67 68 71 74 76 81 91 97 99 104 111 112 113 118 119 124 127 133 134 147 150 152 156 157 162 164 166 167 172 173 175 179 180 183 185 187 190 192 193 200 202 205 207 208 210 212 213 217 218 219 221 228 229 230 231 233 234 235 238 240 247
a 9 10 14 23 25 26 28 32 36 37 38 41 42 43 50 53 59 65 67 68 71 74 76 81 91 97 99 104 105 111 112 113 118 119 124 127 133 134 147 150 152 156 157 162 164 166 167 172 175 179 180 183 185 187 190 192 193 200 202 205 207 208 210 212 213 217 218 219 221 228 229 230 231 233 234 235 238 240 247
a 9 10 14 21 23 25 26 28 32 36 37 38 41 42 43 50 53 59 65 67 68 71 74 76 81 91 97 99 104 105 111 112 113 118 119 124 127 133 134 147 150 152 156 157 162 164 166 167 175 179 180 183 185 187 190 192 193 200 202 205 207 208 210 212 213 217 218 219 221 228 229 230 231 233 234 235 238 240 247
a 9 10 14 21 23 25 26 28 32 36 37 38 41 42 43 50 53 59 65 67 68 71 74 76 81 91 95 97 99 104 105 111 112 113 118 119 124 127 133 134 147 150 152 156 157 162 164 166 167 175 180 183 185 187 190 192 193 200 202 205 207 208 210 212 213 217 218 219 221 228 229 230 231 233 234 235 238 240 247
a 9 10 14 21 23 25 26 28 32 36 37 38 41 42 50 53 59 65 67 68 71 74 76 81 91 95 97 99 104 105 111 112 113 118 119 124 127 133 134 147 150 152 154 156 157 162 164 166 167 175 180 183 185 187 190 192 193 200 202 205 207 208 210 212 213 217 218 219 221 228 229 230 231 233 234 235 238 240 247
a 9 10 14 21 23 25 26 28 32 36 37 38 41 42 50 53 59 65 67 68 71 74 76 81 91 95 97 99 104 105 111 112 113 118 119 124 127 133 134 147 150 152 154 156 157 162 164 166 167 175 180 185 187 190 192 193 200 202 205 207 208 210 212 213 216 217 218 219 221 228 229 230 231 233 234 235 238 240 247
a 9 10 14 21 23 25 26 28 32 36 37 38 41 42 53 57 59 65 67 68 71 74 76 81 91 95 97 99 104 105 111 112 113 118 119 124 127 133 134 147 150 152 154 156 157 162 164 166 167 175 180 185 187 190 192 193 200 202 205 207 208 210 212 213 216 217 218 219 221 228 229 230 231 233 234 235 238 240 247
a 9 10 14 21 23 25 26 28 32 36 37 38 41 42 53 57 59 65 67 68 71 74 76 81 91 95 97 99 104 105 111 112 118 119 124 127 133 134 147 150 152 154 156 157 162 164 166 167 175 180 185 187 190 192 193 200 202 205 207 208 210 212 213 214 216 217 218 219 221 228 229 230 231 233 234 235 238 240 247
a 9 10 14 21 23 25 26 28 32 36 37 38 41 42 53 57 59 65 67 68 71 74 76 81 91 93 95 97 99 104 105 111 112 118 119 124 127 134 147 150 152 154 156 157 162 164 166 167 175 180 185 187 190 192 193 200 202 205 207 208 210 212 213 214 216 217 218 219 221 228 229 230 231 233 234 235 238 240 247
a 9 10 14 21 23 25 26 28 32 36 37 38 41 42 53 57 59 65 67 68 71 74 76 81 88 91 93 95 97 99 104 105 111 112 118 119 124 127 134 147 150 152 154 156 157 162 164 166 167 175 180 187 190 192 193 200 202 205 207 208 210 212 213 214 216 217 218 219 221 228 229 230 231 233 234 235 238 240 247
a 9 10 14 21 23 25 26 28 32 36 37 38 41 42 53 57 59 65 67 68 71 74 76 81 88 91 93 95 97 99 104 105 111 112 118 119 124 127 134 147 150 152 154 156 157 162 164 166 167 175 180 187 190 193 200 202 205 207 208 210 212 213 214 216 217 218 219 221 228 229 230 231 233 234 235 238 239 240 247
a 9 10 14 21 23 25 26 28 32 36 37 38 41 42 53 57 65 67 68 71 74 76 79 81 88 91 93 95 97 99 104 105 111 112 118 119 124 127 134 147 150 152 154 156 157 162 164 166 167 175 180 187 190 193 200 202 205 207 208 210 212 213 214 216 217 218 219 221 228 229 230 231 233 234 235 238 239 240 247
a 9 10 14 21 23 25 26 28 32 36 37 38 41 42 53 57 64 65 67 68 71 74 76 79 81 88 91 93 95 99 104 105 111 112 118 119 124 127 134 147 150 152 154 156 157 162 164 166 167 175 180 187 190 193 200 202 205 207 208 210 212 213 214 216 217 218 219 221 228 229 230 231 233 234 235 238 239 240 247
a 1 9 10 14 21 23 25 26 28 32 36 37 38 41 42 53 57 64 65 67 71 74 76 79 81 88 91 93 95 99 104 105 111 112 118 119 124 127 134 147 150 152 154 156 157 162 164 166 167 175 180 187 190 193 200 202 205 207 208 210 212 213 214 216 217 218 219 221 228 229 230 231 233 234 235 238 239 240 247
a 1 9 10 14 21 23 25 26 28 32 36 37 38 41 42 53 57 64 65 67 71 74 76 79 81 88 89 91 93 95 99 104 105 112 118 119 124 127 134 147 150 152 154 156 157 162 164 166 167 175 180 187 190 193 200 202 205 207 208 210 212 213 214 216 217 218 219 221 228 229 230 231 233 234 235 238 239 240 247
a 1 9 10 14 21 23 25 26 28 32 36 37 38 41 42 53 57 64 65 71 74 76 79 81 88 89 91 93 95 99 104 105 112 118 119 124 127 134 147 150 152 154 156 157 162 164 166 167 175 178 180 187 190 193 200 202 205 207 208 210 212 213 214 216 217 218 219 221 228 229 230 231 233 234 235 238 239 240 247
a 1 9 10 14 21 23 25 26 28 32 36 37 38 41 42 53 57 64 65 71 74 76 79 81 88 89 91 93 95 99 104 105 112 118 119 124 127 134 147 150 152 154 156 157 162 164 166 167 178 180 187 190 193 195 200 202 205 207 208 210 212 213 214 216 217 218 219 221 228 229 230 231 233 234 235 238 239 240 247
a 1 9 10 14 21 23 25 26 27 28 32 36 37 38 41 42 53 57 64 65 71 74 76 79 81 88 89 91 93 95 99 104 105 112 118 119 124 127 134 147 150 152 154 156 157 162 164 166 167 178 180 187 190 195 200 202 205 207 208 210 212 213 214 216 217 218 219 221 228 229 230 231 233 234 235 238 239 240 247
a 1 9 10 14 21 23 25 26 27 28 32 36 37 38 41 42 53 57 64 65 71 74 76 79 81 88 89 91 93 95 99 104 105 112 118 119 124 127 134 147 150 152 154 156 157 162 164 166 167 174 178 180 187 190 195 200 202 205 207 208 212 213 214 216 217 218 219 221 228 229 230 231 233 234 235 238 239 240 247
a 1 9 10 14 21 23 25 26 27 28 32 36 37 38 41 42 48 53 57 64 65 71 74 76 79 81 88 89 91 93 95 99 104 105 112 118 119 124 127 134 147 150 152 154 156 157 162 164 166 167 174 178 180 187 190 195 200 202 205 207 208 212 213 214 216 217 218 221 228 229 230 231 233 234 235 238 239 240 247
a 1 9 10 14 20 21 23 25 26 27 28 32 36 37 38 41 42 48 53 57 64 65 71 74 79 81 88 89 91 93 95 99 104 105 112 118 119 124 127 134 147 150 152 154 156 157 162 164 166 167 174 178 180 187 190 195 200 202 205 207 208 212 213 214 216 217 218 221 228 229 230 231 233 234 235 238 239 240 247
a 1 9 10 14 20 21 23 25 26 27 28 32 36 37 38 41 42 48 53 57 64 65 71 74 79 80 81 88 89 91 93 95 99 104 105 112 118 119 124 127 134 147 150 152 154 156 157 162 164 166 167 174 178 180 187 190 195 200 202 205 207 208 212 214 216 217 218 221 228 229 230 231 233 234 235 238 239 240 247
a 1 9 10 14 20 21 23 25 26 27 28 32 36 37 38 41 42 48 53 57 64 65 71 74 79 80 81 88 89 91 93 95 99 104 105 112 118 119 124 127 134 147 150 152 154 156 157 160 162 164 166 167 174 178 180 187 190 195 200 202 205 207 208 212 214 216 217 218 221 229 230 231 233 234 235 238 239 240 247
a 1 9 10 14 20 21 23 25 26 27 28 32 36 37 38 41 42 48 53 57 64 65 71 79 80 81 88 89 91 93 95 99 104 105 112 118 119 124 127 134 147 150 152 154 156 157 160 162 164 166 167 174 178 180 182 187 190 195 200 202 205 207 208 212 214 216 217 218 221 229 230 231 233 234 235 238 239 240 247
a 1 9 10 14 20 21 23 25 26 27 28 32 36 37 38 41 42 48 53 57 64 65 71 79 80 81 88 89 93 95 99 104 105 112 118 119 124 127 134 147 150 152 154 156 157 160 162 164 166 167 171 174 178 180 182 187 190 195 200 202 205 207 208 212 214 216 217 218 221 229 230 231 233 234 235 238 239 240 247
a 1 9 10 14 20 21 23 25 26 27 28 32 36 37 38 41 42 48 53 57 62 64 65 71 79 80 81 88 89 93 95 99 104 105 112 118 119 124 127 134 147 150 152 154 156 157 160 162 164 167 171 174 178 180 182 187 190 195 200 202 205 207 208 212 214 216 217 218 221 229 230 231 233 234 235 238 239 240 247
a 1 9 10 14 20 21 23 25 26 27 28 32 36 37 38 41 42 48 53 57 62 64 65 71 77 79 80 81 88 89 93 95 99 104 105 112 118 119 124 127 134 147 150 152 154 156 157 160 162 164 167 171 174 178 180 182 187 190 195 200 202 205 207 208 212 214 216 217 218 221 229 231 233 234 235 238 239 240 247
a 1 9 10 14 20 21 23 25 26 27 28 32 36 37 38 41 42 48 53 57 62 64 65 71 77 79 80 81 88 89 93 95 99 104 105 112 118 119 124 127 134 147 150 152 154 156 157 160 162 164 167 171 174 178 180 182 187 189 190 195 200 202 205 207 208 212 214 216 217 218 221 229 231 233 234 235 239 240 247
a 1 9 10 14 20 21 23 25 26 27 28 32 36 37 38 41 42 48 53 57 62 64 65 71 77 79 80 88 89 93 95 99 104 105 112 118 119 121 124 127 134 147 150 152 154 156 157 160 162 164 167 171 174 178 180 182 187 189 190 195 200 202 205 207 208 212 214 216 217 218 221 229 231 233 234 235 239 240 247
a 1 9 10 14 20 21 23 25 26 27 28 32 36 37 38 41 42 48 53 57 62 64 65 71 77 79 80 88 89 93 95 99 104 105 112 118 119 121 124 127 134 147 150 152 154 156 157 160 164 167 171 174 178 180 182 187 189 190 195 199 200 202 205 207 208 212 214 216 217 218 221 229 231 233 234 235 239 240 247
a 1 9 10 14 20 21 23 25 26 27 28 32 36 37 38 41 42 48 53 57 62 64 65 71 77 79 80 88 89 93 95 99 104 105 112 118 119 121 124 127 134 147 150 152 154 156 157 160 164 167 171 174 178 182 187 189 190 195 199 200 202 203 205 207 208 212 214 216 217 218 221 229 231 233 234 235 239 240 247
a 1 9 10 14 20 21 23 25 26 27 28 32 36 37 38 41 42 48 53 57 62 64 65 71 77 79 80 88 89 93 95 99 104 105 112 118 119 121 124 127 134 147 150 154 156 157 160 164 167 171 174 178 182 187 189 190 195 199 200 202 203 205 207 208 212 214 216 217 218 221 229 231 233 234 235 239 240 244 247
a 1 9 10 14 20 21 23 25 26 27 28 32 36 37 38 41 42 48 53 57 62 64 65 71 77 79 80 88 89 93 95 99 104 105 112 114 118 119 121 124 127 134 147 150 154 156 157 160 164 171 174 178 182 187 189 190 195 199 200 202 203 205 207 208 212 214 216 217 218 221 229 231 233 234 235 239 240 244 247
a 1 9 10 14 20 21 23 25 26 27 28 32 36 37 38 41 42 48 53 57 62 64 65 71 77 79 80 88 89 93 95 99 104 105 112 114 118 119 121 124 127 134 147 150 154 156 157 160 164 171 174 178 182 189 190 195 199 200 202 203 205 207 208 212 214 216 217 218 221 229 231 233 234 235 239 240 243 244 247
a 1 9 10 12 14 20 21 23 25 26 27 28 32 36 37 38 41 42 48 53 57 62 64 65 71 77 79 80 88 89 93 95 99 104 105 112 114 118 119 121 124 127 134 147 150 154 156 157 160 164 171 174 178 182 189 195 199 200 202 203 205 207 208 212 214 216 217 218 221 229 231 233 234 235 239 240 243 244 247
a 1 9 10 12 14 20 21 23 25 26 27 28 32 36 37 38 41 42 48 53 57 62 64 65 71 77 79 80 88 89 93 95 99 104 105 112 114 118 119 121 124 127 134 147 150 154 156 157 160 164 171 174 178 182 189 195 196 199 200 202 203 207 208 212 214 216 217 218 221 229 231 233 234 235 239 240 243 244 247
a 1 9 10 12 14 20 21 23 25 26 27 28 32 36 37 38 41 42 48 53 57 62 64 65 71 77 79 80 88 89 93 95 99 104 105 112 114 118 119 121 124 127 134 147 150 154 156 157 160 164 171 174 178 182 189 195 196 199 200 202 203 207 208 211 212 214 216 217 218 221 229 233 234 235 239 240 243 244 247
a 1 9 10 12 14 20 21 23 25 26 27 28 32 36 37 38 41 42 48 53 57 62 64 65 71 77 79 80 86 88 89 93 95 99 104 105 112 114 118 119 121 124 127 134 147 150 154 156 157 160 164 171 174 178 182 189 195 196 199 200 202 203 207 208 211 212 214 216 217 218 221 229 234 235 239 240 243 244 247
a 1 9 10 12 14 20 21 23 25 26 27 28 32 36 37 38 41 42 48 51 53 57 62 64 65 71 77 79 80 86 88 89 93 95 99 104 105 112 114 118 119 121 124 127 134 147 150 154 156 157 160 164 171 174 178 182 189 195 196 199 200 202 203 207 208 211 212 214 216 217 218 221 229 235 239 240 243 244 247
#END: [Sun Sep 10 23:06:24 2023]