#BEGIN: [Sat Sep 9 05:20:59 2023] #HOST: s04 #TIMELIMIT: 1800 #MEMLIMIT: 0 #SOLVER: shortest-wallclock-ai-planning2-shortest1 #INSTANCE1: /benchmark/random_instance/random_instance024_graph004.col #INSTANCE2: /benchmark/random_instance/random_instance024_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_instance024_graph004.col /benchmark/random_instance/random_instance024_graph004_01.dat s 165 112 255 51 251 68 57 188 261 180 89 98 249 198 237 92 96 158 286 303 137 65 227 222 147 293 64 207 90 20 102 109 156 94 281 32 108 122 238 86 95 213 242 206 103 186 78 235 45 182 100 61 265 74 302 194 60 15 226 267 16 41 148 231 216 248 163 215 43 28 11 284 181 285 1 166 294 152 87 169 38 311 3 97 279 155 10 197 127 297 66 118 44 54 58 140 62 111 288 247 121 t 138 59 277 2 84 263 147 189 159 38 164 148 92 187 96 43 303 244 168 103 140 237 122 202 47 15 6 195 113 141 207 41 201 193 300 214 143 17 210 285 281 163 191 10 61 98 310 86 293 179 11 239 205 305 49 107 94 190 57 101 97 169 269 160 54 215 149 276 116 246 229 200 311 309 66 87 180 52 144 154 302 192 216 308 167 18 24 129 60 228 95 194 185 120 297 28 81 220 284 221 14 a YES a 1 3 10 11 15 16 20 28 32 38 41 43 44 45 51 54 57 58 60 61 62 64 65 66 68 74 78 86 87 89 90 92 94 95 96 97 98 100 102 103 108 109 111 112 118 121 122 127 137 140 147 148 152 155 156 158 163 165 166 169 180 181 182 186 188 194 197 198 206 207 213 215 216 222 226 227 231 235 237 238 242 247 248 249 251 255 261 265 267 279 281 284 285 286 288 293 294 297 302 303 311 a 3 10 11 15 16 20 28 32 38 41 43 44 45 51 54 57 58 60 61 62 64 65 66 68 74 78 86 87 89 90 92 94 95 96 97 98 100 102 103 108 109 111 112 113 118 121 122 127 137 140 147 148 152 155 156 158 163 165 166 169 180 181 182 186 188 194 197 198 206 207 213 215 216 222 226 227 231 235 237 238 242 247 248 249 251 255 261 265 267 279 281 284 285 286 288 293 294 297 302 303 311 a 10 11 15 16 20 28 32 38 41 43 44 45 51 54 57 58 60 61 62 64 65 66 68 74 78 86 87 89 90 92 94 95 96 97 98 100 102 103 108 109 111 112 113 118 121 122 127 137 140 147 148 152 155 156 158 163 165 166 169 180 181 182 186 188 194 197 198 201 206 207 213 215 216 222 226 227 231 235 237 238 242 247 248 249 251 255 261 265 267 279 281 284 285 286 288 293 294 297 302 303 311 a 10 11 15 16 20 28 32 38 41 43 44 45 51 54 57 58 60 61 62 64 65 66 68 74 78 86 87 89 90 92 94 95 96 97 98 102 103 108 109 111 112 113 118 120 121 122 127 137 140 147 148 152 155 156 158 163 165 166 169 180 181 182 186 188 194 197 198 201 206 207 213 215 216 222 226 227 231 235 237 238 242 247 248 249 251 255 261 265 267 279 281 284 285 286 288 293 294 297 302 303 311 a 10 11 15 16 20 28 32 38 41 43 44 45 51 54 57 58 60 61 62 64 65 66 68 74 78 86 87 89 90 92 94 95 96 97 98 102 103 109 111 112 113 118 120 121 122 127 137 140 147 148 152 155 156 158 163 165 166 169 180 181 182 186 188 194 197 198 201 206 207 213 215 216 222 226 227 231 235 237 238 242 247 248 249 251 255 261 265 267 279 281 284 285 286 288 293 294 297 300 302 303 311 a 10 11 15 16 20 28 32 38 41 43 44 45 51 54 57 58 60 61 62 64 65 66 68 74 78 86 87 89 90 92 94 95 96 97 98 102 103 109 111 113 118 120 121 122 127 137 140 147 148 152 155 156 158 163 165 166 169 180 181 182 186 188 194 197 198 201 206 207 213 215 216 221 222 226 227 231 235 237 238 242 247 248 249 251 255 261 265 267 279 281 284 285 286 288 293 294 297 300 302 303 311 a 10 11 15 20 28 32 38 41 43 44 45 51 54 57 58 60 61 62 64 65 66 68 74 78 86 87 89 90 92 94 95 96 97 98 102 103 109 111 113 118 120 121 122 127 137 140 147 148 152 155 156 158 159 163 165 166 169 180 181 182 186 188 194 197 198 201 206 207 213 215 216 221 222 226 227 231 235 237 238 242 247 248 249 251 255 261 265 267 279 281 284 285 286 288 293 294 297 300 302 303 311 a 10 11 15 20 28 32 38 41 43 44 45 51 54 57 58 60 61 62 64 65 66 68 74 78 86 87 89 90 92 94 95 96 97 98 102 103 109 111 113 118 120 121 122 127 140 147 148 152 155 156 158 159 163 165 166 169 180 181 182 186 188 194 197 198 201 206 207 213 215 216 220 221 222 226 227 231 235 237 238 242 247 248 249 251 255 261 265 267 279 281 284 285 286 288 293 294 297 300 302 303 311 a 10 11 15 20 28 32 38 41 43 44 45 54 57 58 60 61 62 64 65 66 68 74 78 86 87 89 90 92 94 95 96 97 98 102 103 107 109 111 113 118 120 121 122 127 140 147 148 152 155 156 158 159 163 165 166 169 180 181 182 186 188 194 197 198 201 206 207 213 215 216 220 221 222 226 227 231 235 237 238 242 247 248 249 251 255 261 265 267 279 281 284 285 286 288 293 294 297 300 302 303 311 a 10 11 15 20 28 32 38 41 43 44 45 54 57 58 60 61 62 64 65 66 68 74 78 86 87 89 90 92 94 95 96 97 98 102 103 107 109 111 113 118 120 121 122 127 140 147 148 152 155 158 159 163 165 166 169 180 181 182 186 188 194 197 198 201 206 207 213 215 216 220 221 222 226 227 231 235 237 238 242 247 248 249 251 255 261 265 267 269 279 281 284 285 286 288 293 294 297 300 302 303 311 a 10 11 15 20 28 32 38 41 43 44 45 54 57 58 60 61 62 64 65 66 68 74 78 86 87 89 90 92 94 95 96 97 98 102 103 107 109 111 113 118 120 121 122 127 140 147 148 152 154 155 158 159 163 166 169 180 181 182 186 188 194 197 198 201 206 207 213 215 216 220 221 222 226 227 231 235 237 238 242 247 248 249 251 255 261 265 267 269 279 281 284 285 286 288 293 294 297 300 302 303 311 a 10 11 15 20 28 32 38 41 43 44 45 54 57 58 60 61 62 64 65 66 68 74 78 86 87 89 90 92 94 95 96 97 98 102 103 107 109 111 113 118 120 121 122 127 140 147 148 152 154 155 158 159 163 166 169 180 181 182 186 188 194 197 201 206 207 213 215 216 220 221 222 226 227 229 231 235 237 238 242 247 248 249 251 255 261 265 267 269 279 281 284 285 286 288 293 294 297 300 302 303 311 a 10 11 15 20 28 32 38 41 43 44 45 54 57 58 60 61 62 64 65 66 68 74 78 86 87 89 90 92 94 95 96 97 98 102 103 107 109 111 113 118 120 121 122 127 140 147 148 152 154 155 158 159 163 166 169 180 181 182 186 188 194 195 201 206 207 213 215 216 220 221 222 226 227 229 231 235 237 238 242 247 248 249 251 255 261 265 267 269 279 281 284 285 286 288 293 294 297 300 302 303 311 a 10 11 14 15 20 28 32 38 41 43 44 45 54 57 58 60 61 62 64 65 66 68 74 78 86 87 89 90 92 94 95 96 97 98 102 103 107 109 111 113 118 120 121 122 127 140 147 148 152 154 155 158 159 163 166 169 180 181 182 186 188 194 195 201 207 213 215 216 220 221 222 226 227 229 231 235 237 238 242 247 248 249 251 255 261 265 267 269 279 281 284 285 286 288 293 294 297 300 302 303 311 a 10 11 14 15 20 28 32 38 41 43 44 45 54 57 58 60 61 62 64 65 66 68 74 78 86 87 89 90 92 94 95 96 97 98 102 103 107 109 111 113 118 120 121 122 127 129 140 147 148 152 154 155 158 159 163 166 169 180 181 182 186 188 194 195 201 207 215 216 220 221 222 226 227 229 231 235 237 238 242 247 248 249 251 255 261 265 267 269 279 281 284 285 286 288 293 294 297 300 302 303 311 a 10 11 14 15 20 28 32 38 41 43 44 45 54 57 58 60 61 62 64 65 66 68 74 78 86 87 89 90 92 94 95 96 97 98 102 103 107 109 111 113 118 120 121 122 127 129 140 147 148 152 154 155 158 159 163 166 169 180 181 182 186 188 190 194 195 201 207 215 216 220 221 226 227 229 231 235 237 238 242 247 248 249 251 255 261 265 267 269 279 281 284 285 286 288 293 294 297 300 302 303 311 a 10 11 14 15 20 28 32 38 41 43 44 45 54 57 58 60 61 62 64 65 66 68 74 78 86 87 89 90 92 94 95 96 97 98 102 103 107 109 111 113 118 120 121 122 127 129 140 147 148 152 154 155 158 159 163 166 169 180 181 182 186 188 190 194 195 201 207 215 216 220 221 227 229 231 235 237 238 242 247 248 249 251 255 261 265 267 269 277 279 281 284 285 286 288 293 294 297 300 302 303 311 a 10 11 14 15 20 28 32 38 41 43 44 45 54 57 58 60 61 64 65 66 68 74 78 86 87 89 90 92 94 95 96 97 98 102 103 107 109 111 113 118 120 121 122 127 129 140 147 148 152 154 155 158 159 163 166 169 180 181 182 185 186 188 190 194 195 201 207 215 216 220 221 227 229 231 235 237 238 242 247 248 249 251 255 261 265 267 269 277 279 281 284 285 286 288 293 294 297 300 302 303 311 a 10 11 14 15 20 24 28 32 38 41 43 44 45 54 57 58 60 61 64 65 66 68 74 78 86 87 89 90 92 94 95 96 97 98 102 103 107 111 113 118 120 121 122 127 129 140 147 148 152 154 155 158 159 163 166 169 180 181 182 185 186 188 190 194 195 201 207 215 216 220 221 227 229 231 235 237 238 242 247 248 249 251 255 261 265 267 269 277 279 281 284 285 286 288 293 294 297 300 302 303 311 a 6 10 11 14 15 20 24 28 32 38 41 43 44 45 54 57 58 60 61 64 65 66 68 74 78 86 87 89 90 92 94 95 96 97 98 102 103 107 111 113 118 120 121 122 127 129 140 147 148 152 154 155 158 159 163 166 169 180 181 185 186 188 190 194 195 201 207 215 216 220 221 227 229 231 235 237 238 242 247 248 249 251 255 261 265 267 269 277 279 281 284 285 286 288 293 294 297 300 302 303 311 a 6 10 11 14 15 20 24 28 32 38 41 43 44 45 54 57 58 60 61 64 65 66 68 74 78 86 87 89 90 92 94 95 96 97 98 102 103 107 111 113 118 120 121 122 127 129 140 147 148 154 155 158 159 163 166 169 180 181 185 186 188 190 194 195 200 201 207 215 216 220 221 227 229 231 235 237 238 242 247 248 249 251 255 261 265 267 269 277 279 281 284 285 286 288 293 294 297 300 302 303 311 a 6 10 11 14 15 20 24 28 32 38 41 43 44 45 54 57 58 60 61 64 65 66 68 74 78 86 87 89 90 92 94 95 96 97 98 102 103 107 111 113 118 120 121 122 127 129 140 147 148 154 155 158 159 163 166 169 180 181 185 186 188 190 194 195 200 201 207 210 215 216 220 221 227 229 235 237 238 242 247 248 249 251 255 261 265 267 269 277 279 281 284 285 286 288 293 294 297 300 302 303 311 a 6 10 11 14 15 20 24 28 32 38 41 43 44 45 49 54 57 58 60 61 64 66 68 74 78 86 87 89 90 92 94 95 96 97 98 102 103 107 111 113 118 120 121 122 127 129 140 147 148 154 155 158 159 163 166 169 180 181 185 186 188 190 194 195 200 201 207 210 215 216 220 221 227 229 235 237 238 242 247 248 249 251 255 261 265 267 269 277 279 281 284 285 286 288 293 294 297 300 302 303 311 a 6 10 11 14 15 20 24 28 32 38 41 43 44 45 49 54 57 58 60 61 64 66 68 74 78 86 87 89 90 92 94 95 96 97 98 102 103 107 111 113 118 120 122 127 129 140 147 148 154 155 158 159 163 166 169 180 181 185 186 188 190 194 195 200 201 207 210 215 216 220 221 227 229 235 237 238 242 247 248 249 251 255 261 265 267 269 277 279 281 284 285 286 288 293 294 297 300 302 303 305 311 a 6 10 11 14 15 20 24 28 32 38 41 43 44 45 49 54 57 58 60 61 64 66 74 78 86 87 89 90 92 94 95 96 97 98 102 103 107 111 113 118 120 122 127 129 140 147 148 154 155 158 159 163 166 169 180 181 185 186 188 190 192 194 195 200 201 207 210 215 216 220 221 227 229 235 237 238 242 247 248 249 251 255 261 265 267 269 277 279 281 284 285 286 288 293 294 297 300 302 303 305 311 a 6 10 11 14 15 20 24 28 32 38 41 43 44 45 49 54 57 58 60 61 64 66 74 78 86 87 89 90 92 94 95 96 97 98 102 103 107 111 113 118 120 122 127 129 140 147 148 154 155 158 159 163 166 169 180 181 185 188 190 192 194 195 200 201 207 210 215 216 220 221 227 229 235 237 238 242 246 247 248 249 251 255 261 265 267 269 277 279 281 284 285 286 288 293 294 297 300 302 303 305 311 a 6 10 11 14 15 20 24 28 32 38 41 43 45 49 54 57 58 60 61 64 66 74 78 86 87 89 90 92 94 95 96 97 98 102 103 107 111 113 118 120 122 127 129 140 147 148 154 155 158 159 163 166 169 180 181 185 188 190 192 194 195 200 201 207 210 215 216 220 221 227 229 235 237 238 239 242 246 247 248 249 251 255 261 265 267 269 277 279 281 284 285 286 288 293 294 297 300 302 303 305 311 a 6 10 11 14 15 20 24 28 32 38 41 43 45 49 54 57 58 60 61 64 66 74 78 86 87 89 90 92 94 95 96 97 98 102 103 107 111 113 118 120 122 127 129 140 144 147 148 154 155 158 159 163 166 169 180 181 185 188 190 192 194 195 200 201 207 210 215 216 220 221 227 229 237 238 239 242 246 247 248 249 251 255 261 265 267 269 277 279 281 284 285 286 288 293 294 297 300 302 303 305 311 a 6 10 11 14 15 18 24 28 32 38 41 43 45 49 54 57 58 60 61 64 66 74 78 86 87 89 90 92 94 95 96 97 98 102 103 107 111 113 118 120 122 127 129 140 144 147 148 154 155 158 159 163 166 169 180 181 185 188 190 192 194 195 200 201 207 210 215 216 220 221 227 229 237 238 239 242 246 247 248 249 251 255 261 265 267 269 277 279 281 284 285 286 288 293 294 297 300 302 303 305 311 a 6 10 11 14 15 18 24 28 38 41 43 45 49 54 57 58 60 61 64 66 74 78 86 87 89 90 92 94 95 96 97 98 102 103 107 111 113 118 120 122 127 129 140 143 144 147 148 154 155 158 159 163 166 169 180 181 185 188 190 192 194 195 200 201 207 210 215 216 220 221 227 229 237 238 239 242 246 247 248 249 251 255 261 265 267 269 277 279 281 284 285 286 288 293 294 297 300 302 303 305 311 a 6 10 11 14 15 18 24 28 38 41 43 49 54 57 58 60 61 64 66 74 78 86 87 89 90 92 94 95 96 97 98 102 103 107 111 113 118 120 122 127 129 140 143 144 147 148 154 155 158 159 163 166 169 180 181 185 188 190 192 194 195 200 201 207 210 214 215 216 220 221 227 229 237 238 239 242 246 247 248 249 251 255 261 265 267 269 277 279 281 284 285 286 288 293 294 297 300 302 303 305 311 a 6 10 11 14 15 17 18 24 28 38 41 43 49 54 57 58 60 61 64 66 78 86 87 89 90 92 94 95 96 97 98 102 103 107 111 113 118 120 122 127 129 140 143 144 147 148 154 155 158 159 163 166 169 180 181 185 188 190 192 194 195 200 201 207 210 214 215 216 220 221 227 229 237 238 239 242 246 247 248 249 251 255 261 265 267 269 277 279 281 284 285 286 288 293 294 297 300 302 303 305 311 a 6 10 11 14 15 17 18 24 28 38 41 43 49 54 57 58 60 61 64 66 78 84 86 87 90 92 94 95 96 97 98 102 103 107 111 113 118 120 122 127 129 140 143 144 147 148 154 155 158 159 163 166 169 180 181 185 188 190 192 194 195 200 201 207 210 214 215 216 220 221 227 229 237 238 239 242 246 247 248 249 251 255 261 265 267 269 277 279 281 284 285 286 288 293 294 297 300 302 303 305 311 a 6 10 11 14 15 17 18 24 28 38 41 43 49 54 57 58 60 61 64 66 78 84 86 87 90 92 94 95 96 97 98 102 103 107 111 113 118 120 122 127 129 140 143 144 147 148 154 155 158 159 163 169 180 181 185 188 190 192 194 195 200 201 202 207 210 214 215 216 220 221 227 229 237 238 239 242 246 247 248 249 251 255 261 265 267 269 277 279 281 284 285 286 288 293 294 297 300 302 303 305 311 a 6 10 11 14 15 17 18 24 28 38 41 43 49 54 57 58 60 61 64 66 78 84 86 87 90 92 94 95 96 97 98 102 103 107 111 113 116 118 120 122 127 129 140 143 144 147 148 154 155 158 159 163 169 180 181 185 188 190 192 194 195 200 201 202 207 210 214 215 216 220 221 227 229 237 238 239 242 246 247 249 251 255 261 265 267 269 277 279 281 284 285 286 288 293 294 297 300 302 303 305 311 a 6 10 11 14 15 17 18 24 28 38 41 43 47 49 54 57 60 61 64 66 78 84 86 87 90 92 94 95 96 97 98 102 103 107 111 113 116 118 120 122 127 129 140 143 144 147 148 154 155 158 159 163 169 180 181 185 188 190 192 194 195 200 201 202 207 210 214 215 216 220 221 227 229 237 238 239 242 246 247 249 251 255 261 265 267 269 277 279 281 284 285 286 288 293 294 297 300 302 303 305 311 a 6 10 11 14 15 17 18 24 28 38 41 43 47 49 54 57 60 61 64 66 78 84 86 87 92 94 95 96 97 98 102 103 107 111 113 116 118 120 122 127 129 140 143 144 147 148 154 155 158 159 160 163 169 180 181 185 188 190 192 194 195 200 201 202 207 210 214 215 216 220 221 227 229 237 238 239 242 246 247 249 251 255 261 265 267 269 277 279 281 284 285 286 288 293 294 297 300 302 303 305 311 a 6 10 11 14 15 17 18 24 28 38 41 43 47 49 54 57 60 61 64 66 78 84 86 87 92 94 95 96 97 98 102 103 107 111 113 116 118 120 122 127 129 140 143 144 147 148 149 154 155 158 159 160 163 169 180 181 185 188 190 192 194 195 200 201 202 207 210 214 215 216 220 221 227 229 237 238 239 246 247 249 251 255 261 265 267 269 277 279 281 284 285 286 288 293 294 297 300 302 303 305 311 a 6 10 11 14 15 17 18 24 28 38 41 43 47 49 54 57 60 61 64 66 78 84 86 87 92 94 95 96 97 98 103 107 111 113 116 118 120 122 127 129 140 143 144 147 148 149 154 155 158 159 160 163 169 180 181 185 188 190 192 194 195 200 201 202 207 210 214 215 216 220 221 227 229 237 238 239 246 247 249 251 255 261 263 265 267 269 277 279 281 284 285 286 288 293 294 297 300 302 303 305 311 a 6 10 11 14 15 17 18 24 28 38 41 43 47 49 54 57 60 61 64 66 78 84 86 87 92 94 95 96 97 98 101 103 107 111 113 116 118 120 122 127 129 140 143 144 147 148 149 154 155 158 159 160 163 169 180 181 185 188 190 192 194 195 200 201 202 207 210 214 215 216 220 221 227 229 237 238 239 246 247 251 255 261 263 265 267 269 277 279 281 284 285 286 288 293 294 297 300 302 303 305 311 a 6 10 11 14 15 17 18 24 28 38 41 43 47 49 54 57 60 61 64 66 78 84 86 87 92 94 95 96 97 98 101 103 107 113 116 118 120 122 127 129 138 140 143 144 147 148 149 154 155 158 159 160 163 169 180 181 185 188 190 192 194 195 200 201 202 207 210 214 215 216 220 221 227 229 237 238 239 246 247 251 255 261 263 265 267 269 277 279 281 284 285 286 288 293 294 297 300 302 303 305 311 a 6 10 11 14 15 17 18 24 28 38 41 43 47 49 54 57 60 61 64 66 78 84 86 87 92 94 95 96 97 98 101 103 107 113 116 118 120 122 127 129 138 140 143 144 147 148 149 154 155 158 159 160 163 169 179 180 181 185 188 190 192 194 195 200 201 202 207 210 214 215 216 220 221 227 229 237 238 239 246 247 255 261 263 265 267 269 277 279 281 284 285 286 288 293 294 297 300 302 303 305 311 a 6 10 11 14 15 17 18 24 28 38 41 43 47 49 54 57 60 61 66 78 81 84 86 87 92 94 95 96 97 98 101 103 107 113 116 118 120 122 127 129 138 140 143 144 147 148 149 154 155 158 159 160 163 169 179 180 181 185 188 190 192 194 195 200 201 202 207 210 214 215 216 220 221 227 229 237 238 239 246 247 255 261 263 265 267 269 277 279 281 284 285 286 288 293 294 297 300 302 303 305 311 a 6 10 11 14 15 17 18 24 28 38 41 43 47 49 54 57 60 61 66 81 84 86 87 92 94 95 96 97 98 101 103 107 113 116 118 120 122 127 129 138 140 143 144 147 148 149 154 155 158 159 160 163 169 179 180 181 185 187 188 190 192 194 195 200 201 202 207 210 214 215 216 220 221 227 229 237 238 239 246 247 255 261 263 265 267 269 277 279 281 284 285 286 288 293 294 297 300 302 303 305 311 a 6 10 11 14 15 17 18 24 28 38 41 43 47 49 54 57 60 61 66 81 84 86 87 92 94 95 96 97 98 101 103 107 113 116 118 120 122 127 129 138 140 143 144 147 148 149 154 155 159 160 163 169 179 180 181 185 187 188 190 192 194 195 200 201 202 207 210 214 215 216 220 221 227 228 229 237 238 239 246 247 255 261 263 265 267 269 277 279 281 284 285 286 288 293 294 297 300 302 303 305 311 a 6 10 11 14 15 17 18 24 28 38 41 43 47 49 52 54 57 60 61 66 81 84 86 87 92 94 95 96 97 98 101 103 107 113 116 118 120 122 127 129 138 140 143 144 147 148 149 154 155 159 160 163 169 179 180 181 185 187 190 192 194 195 200 201 202 207 210 214 215 216 220 221 227 228 229 237 238 239 246 247 255 261 263 265 267 269 277 279 281 284 285 286 288 293 294 297 300 302 303 305 311 a 6 10 11 14 15 17 18 24 28 38 41 43 47 49 52 54 57 60 61 66 81 84 86 87 92 94 95 96 97 98 101 103 107 113 116 118 120 122 127 129 138 140 143 144 147 148 149 154 155 159 160 163 169 179 180 181 185 187 190 192 194 195 200 201 202 207 210 214 215 216 220 221 227 228 229 237 238 239 246 255 261 263 265 267 269 276 277 279 281 284 285 286 288 293 294 297 300 302 303 305 311 a 6 10 11 14 15 17 18 24 28 38 41 43 47 49 52 54 57 60 61 66 81 84 86 87 92 94 95 96 97 98 101 103 107 113 116 118 120 122 127 129 138 140 143 144 147 148 149 154 155 159 160 163 169 179 180 181 185 187 190 192 194 195 200 201 202 207 210 214 215 216 220 221 227 228 229 237 238 239 246 261 263 265 267 269 276 277 279 281 284 285 286 288 293 294 297 300 302 303 305 310 311 a 6 10 11 14 15 17 18 24 28 38 41 43 47 49 52 54 57 60 61 66 81 84 86 87 92 94 95 96 97 98 101 103 107 113 116 118 120 122 127 129 138 140 143 144 147 148 149 154 155 159 160 163 169 179 180 181 185 187 190 192 194 195 200 201 202 207 210 214 215 216 220 221 227 228 229 237 238 239 244 246 263 265 267 269 276 277 279 281 284 285 286 288 293 294 297 300 302 303 305 310 311 a 6 10 11 14 15 17 18 24 28 38 41 43 47 49 52 54 57 60 61 66 81 84 86 87 92 94 95 96 97 98 101 103 107 113 116 120 122 127 129 138 140 143 144 147 148 149 154 155 159 160 163 169 179 180 181 185 187 190 192 194 195 200 201 202 205 207 210 214 215 216 220 221 227 228 229 237 238 239 244 246 263 265 267 269 276 277 279 281 284 285 286 288 293 294 297 300 302 303 305 310 311 a 6 10 11 14 15 17 18 24 28 38 41 43 47 49 52 54 57 60 61 66 81 84 86 87 92 94 95 96 97 98 101 103 107 113 116 120 122 129 138 140 143 144 147 148 149 154 155 159 160 163 169 179 180 181 185 187 190 192 194 195 200 201 202 205 207 210 214 215 216 220 221 227 228 229 237 238 239 244 246 263 265 267 269 276 277 279 281 284 285 286 288 293 294 297 300 302 303 305 308 310 311 a 6 10 11 14 15 17 18 24 28 38 41 43 47 49 52 54 57 60 61 66 81 84 86 87 92 94 95 96 97 98 101 103 107 113 116 120 122 129 138 140 143 144 147 148 149 154 155 159 160 163 169 179 180 181 185 187 190 191 192 194 195 200 201 202 205 207 210 214 215 216 220 221 227 228 229 237 239 244 246 263 265 267 269 276 277 279 281 284 285 286 288 293 294 297 300 302 303 305 308 310 311 a 6 10 11 14 15 17 18 24 28 38 41 43 47 49 52 54 57 60 61 66 81 84 86 87 92 94 95 96 97 98 101 103 107 113 116 120 122 129 138 140 143 144 147 148 149 154 155 159 160 163 164 169 179 180 181 185 187 190 191 192 194 195 200 201 202 205 207 210 214 215 216 220 221 227 228 229 237 239 244 246 263 267 269 276 277 279 281 284 285 286 288 293 294 297 300 302 303 305 308 310 311 a 6 10 11 14 15 17 18 24 28 38 41 43 47 49 52 54 57 60 61 66 81 84 86 87 92 94 95 96 97 98 101 103 107 113 116 120 122 129 138 140 143 144 147 148 149 154 155 159 160 163 164 168 169 179 180 181 185 187 190 191 192 194 195 200 201 202 205 207 210 214 215 216 220 221 227 228 229 237 239 244 246 263 267 269 276 277 281 284 285 286 288 293 294 297 300 302 303 305 308 310 311 a 6 10 11 14 15 17 18 24 28 38 41 43 47 49 52 54 57 60 61 66 81 84 86 87 92 94 95 96 97 98 101 103 107 113 116 120 122 129 138 140 143 144 147 148 149 154 159 160 163 164 167 168 169 179 180 181 185 187 190 191 192 194 195 200 201 202 205 207 210 214 215 216 220 221 227 228 229 237 239 244 246 263 267 269 276 277 281 284 285 286 288 293 294 297 300 302 303 305 308 310 311 a 6 10 11 14 15 17 18 24 28 38 41 43 47 49 52 54 57 60 61 66 81 84 86 87 92 94 95 96 97 98 101 103 107 113 116 120 122 129 138 140 141 143 144 147 148 149 154 159 160 163 164 167 168 169 179 180 185 187 190 191 192 194 195 200 201 202 205 207 210 214 215 216 220 221 227 228 229 237 239 244 246 263 267 269 276 277 281 284 285 286 288 293 294 297 300 302 303 305 308 310 311 a 6 10 11 14 15 17 18 24 28 38 41 43 47 49 52 54 57 60 61 66 81 84 86 87 92 94 95 96 97 98 101 103 107 113 116 120 122 129 138 140 141 143 144 147 148 149 154 159 160 163 164 167 168 169 179 180 185 187 190 191 192 194 195 200 201 202 205 207 210 214 215 216 220 221 227 228 229 237 239 244 246 263 267 269 276 277 281 284 285 288 293 294 297 300 302 303 305 308 309 310 311 a 2 6 10 11 14 15 17 18 24 28 38 41 43 47 49 52 54 57 60 61 66 81 84 86 87 92 94 95 96 97 98 101 103 107 113 116 120 122 129 138 140 141 143 144 147 148 149 154 159 160 163 164 167 168 169 179 180 185 187 190 191 192 194 195 200 201 202 205 207 210 214 215 216 220 221 227 228 229 237 239 244 246 263 267 269 276 277 281 284 285 293 294 297 300 302 303 305 308 309 310 311 a 2 6 10 11 14 15 17 18 24 28 38 41 43 47 49 52 54 57 59 60 61 66 81 84 86 87 92 94 95 96 97 98 101 103 107 113 116 120 122 129 138 140 141 143 144 147 148 149 154 159 160 163 164 167 168 169 179 180 185 187 190 191 192 194 195 200 201 202 205 207 210 214 215 216 220 221 227 228 229 237 239 244 246 263 267 269 276 277 281 284 285 293 297 300 302 303 305 308 309 310 311 a 2 6 10 11 14 15 17 18 24 28 38 41 43 47 49 52 54 57 59 60 61 66 81 84 86 87 92 94 95 96 97 98 101 103 107 113 116 120 122 129 138 140 141 143 144 147 148 149 154 159 160 163 164 167 168 169 179 180 185 187 190 191 192 193 194 195 200 201 202 205 207 210 214 215 216 220 221 228 229 237 239 244 246 263 267 269 276 277 281 284 285 293 297 300 302 303 305 308 309 310 311 a 2 6 10 11 14 15 17 18 24 28 38 41 43 47 49 52 54 57 59 60 61 66 81 84 86 87 92 94 95 96 97 98 101 103 107 113 116 120 122 129 138 140 141 143 144 147 148 149 154 159 160 163 164 167 168 169 179 180 185 187 189 190 191 192 193 194 195 200 201 202 205 207 210 214 215 216 220 221 228 229 237 239 244 246 263 269 276 277 281 284 285 293 297 300 302 303 305 308 309 310 311 Command being timed: "/solvers/driver/run.py --config=shortest-single --memory-limit=54 --time-limit=1800 /benchmark/random_instance/random_instance024_graph004.col /benchmark/random_instance/random_instance024_graph004_01.dat" User time (seconds): 1733.67 System time (seconds): 6.79 Percent of CPU this job got: 99% Elapsed (wall clock) time (h:mm:ss or m:ss): 29:00.62 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): 25894372 Average resident set size (kbytes): 0 Major (requiring I/O) page faults: 0 Minor (reclaiming a frame) page faults: 6811471 Voluntary context switches: 24 Involuntary context switches: 11689 Swaps: 0 File system inputs: 0 File system outputs: 464 Socket messages sent: 0 Socket messages received: 0 Signals delivered: 0 Page size (bytes): 4096 Exit status: 0 #END: [Sat Sep 9 05:50:00 2023]