#BEGIN: [Mon Sep 25 14:08:13 2023] #HOST: s01 #TIMELIMIT: 1800 #MEMLIMIT: 0 #SOLVER: shortest-cpu-ai-planning2-shortest1 #INSTANCE1: /benchmark/random_instance/random_instance025_graph005.col #INSTANCE2: /benchmark/random_instance/random_instance025_graph005_01.dat #COMMAND: docker run --cap-add=CAP_SYS_RESOURCE --cidfile /tmp/cid.txt --init --rm -t --ulimit cpu=1800 -v /home/share/benchmark/ISR-benchmark:/benchmark ai-planning2 --config=shortest-single --memory-limit=54 --time-limit=1800 /benchmark/random_instance/random_instance025_graph005.col /benchmark/random_instance/random_instance025_graph005_01.dat s 295 204 107 255 242 247 131 205 178 305 292 268 186 197 63 210 15 148 323 65 177 293 47 54 214 34 303 77 273 157 158 289 140 206 228 315 259 224 199 213 167 106 29 18 231 266 149 284 9 1 144 201 49 220 310 251 39 237 252 42 175 151 269 31 128 87 195 302 185 146 133 216 152 101 179 80 278 86 170 154 229 291 135 233 68 117 265 5 94 234 276 79 188 279 257 12 203 71 115 166 66 222 116 50 93 t 293 69 197 102 84 13 264 148 107 130 166 125 267 248 180 227 119 155 17 99 192 253 123 229 31 298 290 55 92 21 162 19 204 139 135 134 39 47 124 154 282 228 20 103 26 259 221 191 62 277 165 308 207 82 1 306 212 185 105 115 320 73 57 193 269 71 304 72 141 205 252 237 163 233 94 209 289 59 61 169 294 300 215 144 296 318 100 199 29 136 198 276 52 201 30 195 299 187 80 173 184 44 167 75 188 a YES a 1 5 9 12 15 18 29 31 34 39 42 47 49 50 54 63 65 66 68 71 77 79 80 86 87 93 94 101 106 107 115 116 117 128 131 133 135 140 144 146 148 149 151 152 154 157 158 166 167 170 175 177 178 179 185 186 188 195 197 199 201 203 204 205 206 210 213 214 216 220 222 224 228 229 231 233 234 237 242 247 251 252 255 257 259 265 266 268 269 273 276 278 279 284 289 291 292 293 295 302 303 305 310 315 323 a 1 5 12 15 18 29 31 34 39 42 47 49 50 54 62 63 65 66 68 71 77 79 80 86 87 93 94 101 106 107 115 116 117 128 131 133 135 140 144 146 148 149 151 152 154 157 158 166 167 170 175 177 178 179 185 186 188 195 197 199 201 203 204 205 206 210 213 214 216 220 222 224 228 229 231 233 234 237 242 247 251 252 255 257 259 265 266 268 269 273 276 278 279 284 289 291 292 293 295 302 303 305 310 315 323 a 1 5 12 15 29 31 34 39 42 47 49 50 54 62 63 65 66 68 71 77 79 80 86 87 93 94 101 106 107 115 116 117 128 131 133 135 140 144 146 148 149 151 152 154 157 158 166 167 170 173 175 177 178 179 185 186 188 195 197 199 201 203 204 205 206 210 213 214 216 220 222 224 228 229 231 233 234 237 242 247 251 252 255 257 259 265 266 268 269 273 276 278 279 284 289 291 292 293 295 302 303 305 310 315 323 a 1 5 12 15 29 31 34 39 47 49 50 54 62 63 65 66 68 71 77 79 80 86 87 93 94 101 106 107 115 116 117 128 131 133 135 140 144 146 148 149 151 152 154 157 158 166 167 170 173 175 177 178 179 185 186 188 195 197 199 201 203 204 205 206 210 213 214 216 220 222 224 228 229 231 233 234 237 242 247 251 252 255 257 259 265 266 268 269 273 276 278 279 284 289 291 292 293 295 299 302 303 305 310 315 323 a 1 5 12 15 29 31 34 39 47 50 54 62 63 65 66 68 71 77 79 80 86 87 93 94 100 101 106 107 115 116 117 128 131 133 135 140 144 146 148 149 151 152 154 157 158 166 167 170 173 175 177 178 179 185 186 188 195 197 199 201 203 204 205 206 210 213 214 216 220 222 224 228 229 231 233 234 237 242 247 251 252 255 257 259 265 266 268 269 273 276 278 279 284 289 291 292 293 295 299 302 303 305 310 315 323 a 1 5 12 15 19 29 31 34 39 47 50 54 62 65 66 68 71 77 79 80 86 87 93 94 100 101 106 107 115 116 117 128 131 133 135 140 144 146 148 149 151 152 154 157 158 166 167 170 173 175 177 178 179 185 186 188 195 197 199 201 203 204 205 206 210 213 214 216 220 222 224 228 229 231 233 234 237 242 247 251 252 255 257 259 265 266 268 269 273 276 278 279 284 289 291 292 293 295 299 302 303 305 310 315 323 a 1 5 12 15 19 29 31 34 39 47 50 54 62 65 66 71 77 79 80 86 87 93 94 100 101 106 107 115 116 117 128 131 133 135 140 144 146 148 149 151 152 154 157 158 166 167 170 173 175 177 178 179 185 186 188 195 197 199 201 203 204 205 206 210 213 214 216 220 222 224 228 229 231 233 234 237 242 247 251 252 255 257 259 265 266 268 269 273 276 278 279 284 289 291 292 293 295 299 302 303 305 308 310 315 323 a 1 5 12 15 19 29 31 34 39 47 50 54 62 65 66 71 77 80 86 87 93 94 100 101 106 107 115 116 117 128 131 133 135 140 144 146 148 149 151 152 154 157 158 166 167 170 173 175 177 178 179 185 186 188 195 197 199 201 203 204 205 206 210 212 213 214 216 220 222 224 228 229 231 233 234 237 242 247 251 252 255 257 259 265 266 268 269 273 276 278 279 284 289 291 292 293 295 299 302 303 305 308 310 315 323 a 1 5 12 15 19 29 31 34 39 47 50 54 62 65 66 71 77 80 87 93 94 100 101 106 107 115 116 117 128 131 133 135 139 140 144 146 148 149 151 152 154 157 158 166 167 170 173 175 177 178 179 185 186 188 195 197 199 201 203 204 205 206 210 212 213 214 216 220 222 224 228 229 231 233 234 237 242 247 251 252 255 257 259 265 266 268 269 273 276 278 279 284 289 291 292 293 295 299 302 303 305 308 310 315 323 a 1 5 12 15 19 29 31 34 39 47 50 54 62 65 66 71 77 80 87 93 94 100 101 106 107 115 116 117 128 131 133 135 139 144 146 148 149 151 152 154 157 158 166 167 170 173 175 177 178 179 185 186 188 195 197 199 201 203 204 205 206 210 212 213 214 216 220 222 224 228 229 231 233 234 237 242 247 248 251 252 255 257 259 265 266 268 269 273 276 278 279 284 289 291 292 293 295 299 302 303 305 308 310 315 323 a 1 5 12 15 19 29 31 34 39 47 50 54 62 65 66 71 77 80 87 93 94 100 101 106 107 115 116 117 128 131 133 135 139 144 148 149 151 152 154 157 158 166 167 170 173 175 177 178 179 185 186 188 195 197 199 201 203 204 205 206 210 212 213 214 216 220 222 224 228 229 231 233 234 237 242 247 248 251 252 255 257 259 265 266 268 269 273 276 278 279 284 289 291 292 293 295 296 299 302 303 305 308 310 315 323 a 1 5 12 15 19 29 31 34 39 47 50 54 62 65 66 71 77 80 87 93 94 100 101 106 107 115 116 117 128 131 133 135 139 144 148 149 151 154 157 158 166 167 170 173 175 177 178 179 185 186 188 195 197 199 201 203 204 205 206 210 212 213 214 216 220 222 224 228 229 231 233 234 237 242 247 248 251 252 255 257 259 265 266 268 269 273 276 278 279 284 289 291 292 293 295 296 299 302 303 305 308 310 315 318 323 a 1 12 15 19 29 31 34 39 47 50 54 62 65 66 71 77 80 87 93 94 100 101 106 107 115 116 117 128 131 133 135 139 141 144 148 149 151 154 157 158 166 167 170 173 175 177 178 179 185 186 188 195 197 199 201 203 204 205 206 210 212 213 214 216 220 222 224 228 229 231 233 234 237 242 247 248 251 252 255 257 259 265 266 268 269 273 276 278 279 284 289 291 292 293 295 296 299 302 303 305 308 310 315 318 323 a 1 12 15 19 29 31 34 39 47 50 54 62 65 66 71 77 80 87 93 94 100 101 106 107 115 116 117 128 131 133 135 139 141 144 148 149 151 154 157 158 166 167 170 173 175 178 179 185 186 188 195 197 198 199 201 203 204 205 206 210 212 213 214 216 220 222 224 228 229 231 233 234 237 242 247 248 251 252 255 257 259 265 266 268 269 273 276 278 279 284 289 291 292 293 295 296 299 302 303 305 308 310 315 318 323 a 1 15 19 29 31 34 39 47 50 54 62 65 66 71 77 80 87 93 94 100 101 106 107 115 116 117 128 131 133 135 139 141 144 148 149 151 154 157 158 166 167 170 173 175 178 179 185 186 188 195 197 198 199 201 203 204 205 206 209 210 212 213 214 216 220 222 224 228 229 231 233 234 237 242 247 248 251 252 255 257 259 265 266 268 269 273 276 278 279 284 289 291 292 293 295 296 299 302 303 305 308 310 315 318 323 a 1 15 19 29 31 34 39 47 50 54 62 65 66 71 77 80 84 87 93 94 100 101 106 107 115 116 117 128 131 133 135 139 141 144 148 149 151 154 157 158 166 167 170 173 175 179 185 186 188 195 197 198 199 201 203 204 205 206 209 210 212 213 214 216 220 222 224 228 229 231 233 234 237 242 247 248 251 252 255 257 259 265 266 268 269 273 276 278 279 284 289 291 292 293 295 296 299 302 303 305 308 310 315 318 323 a 1 15 19 29 31 34 39 47 50 54 62 65 66 71 77 80 84 87 93 94 100 101 106 107 115 116 117 128 131 133 135 139 141 144 148 149 151 154 157 158 162 166 167 170 173 175 179 185 188 195 197 198 199 201 203 204 205 206 209 210 212 213 214 216 220 222 224 228 229 231 233 234 237 242 247 248 251 252 255 257 259 265 266 268 269 273 276 278 279 284 289 291 292 293 295 296 299 302 303 305 308 310 315 318 323 a 1 15 19 29 31 34 39 47 50 54 62 65 66 71 77 80 84 87 93 94 100 101 106 107 115 116 117 128 131 133 135 139 141 144 148 149 151 154 157 158 162 166 167 170 173 175 179 185 188 195 197 198 199 201 204 205 206 209 210 212 213 214 216 220 221 222 224 228 229 231 233 234 237 242 247 248 251 252 255 257 259 265 266 268 269 273 276 278 279 284 289 291 292 293 295 296 299 302 303 305 308 310 315 318 323 a 1 15 19 29 31 34 39 47 50 54 62 65 66 71 73 77 80 84 87 93 94 100 101 106 107 115 116 117 128 131 133 135 139 141 144 148 149 151 154 157 158 162 166 167 170 173 175 179 185 188 195 197 198 199 201 204 205 209 210 212 213 214 216 220 221 222 224 228 229 231 233 234 237 242 247 248 251 252 255 257 259 265 266 268 269 273 276 278 279 284 289 291 292 293 295 296 299 302 303 305 308 310 315 318 323 a 1 15 19 29 31 34 39 47 50 54 62 65 66 71 73 77 80 84 87 93 94 100 101 106 107 115 116 117 128 131 133 135 139 141 144 148 149 151 154 157 158 162 166 167 170 173 175 179 185 188 195 197 198 199 201 204 205 209 210 212 213 216 220 221 222 224 228 229 231 233 234 237 242 247 248 251 252 255 257 259 265 266 268 269 273 276 278 279 284 289 291 292 293 295 296 299 300 302 303 305 308 310 315 318 323 a 1 15 19 21 29 31 34 39 47 50 54 62 65 66 71 73 77 80 84 87 93 94 100 101 106 107 115 116 117 128 131 133 135 139 141 144 148 149 151 154 157 158 162 166 167 170 173 175 179 185 188 195 197 198 199 201 204 205 209 210 212 213 216 220 221 222 228 229 231 233 234 237 242 247 248 251 252 255 257 259 265 266 268 269 273 276 278 279 284 289 291 292 293 295 296 299 300 302 303 305 308 310 315 318 323 a 1 15 19 21 29 31 34 39 47 50 54 59 62 65 71 73 77 80 84 87 93 94 100 101 106 107 115 116 117 128 131 133 135 139 141 144 148 149 151 154 157 158 162 166 167 170 173 175 179 185 188 195 197 198 199 201 204 205 209 210 212 213 216 220 221 222 228 229 231 233 234 237 242 247 248 251 252 255 257 259 265 266 268 269 273 276 278 279 284 289 291 292 293 295 296 299 300 302 303 305 308 310 315 318 323 a 1 15 19 21 29 31 34 39 47 50 54 59 62 65 71 73 77 80 84 87 93 94 100 101 106 107 115 116 117 128 131 133 135 139 141 144 148 149 151 154 157 158 162 166 167 170 173 175 179 185 187 188 195 197 198 199 201 204 205 209 210 212 213 216 220 221 222 228 229 231 233 234 237 242 248 251 252 255 257 259 265 266 268 269 273 276 278 279 284 289 291 292 293 295 296 299 300 302 303 305 308 310 315 318 323 a 1 15 19 21 29 31 34 39 47 50 54 57 59 62 65 71 73 77 80 84 87 93 94 100 101 106 107 115 116 117 128 131 133 135 139 141 144 148 149 151 154 157 158 162 166 167 170 173 175 179 185 187 188 195 197 198 199 201 204 205 209 210 212 216 220 221 222 228 229 231 233 234 237 242 248 251 252 255 257 259 265 266 268 269 273 276 278 279 284 289 291 292 293 295 296 299 300 302 303 305 308 310 315 318 323 a 1 15 19 21 29 31 34 39 47 50 54 57 59 62 65 71 73 77 80 84 87 93 94 100 101 106 107 115 116 117 128 131 133 134 135 139 141 144 148 149 151 154 157 158 162 166 167 170 173 175 179 185 187 188 195 197 198 199 201 204 205 209 210 212 216 220 221 228 229 231 233 234 237 242 248 251 252 255 257 259 265 266 268 269 273 276 278 279 284 289 291 292 293 295 296 299 300 302 303 305 308 310 315 318 323 a 1 15 19 21 29 31 34 39 47 50 54 57 59 62 65 71 73 77 80 84 87 93 94 100 101 103 106 107 115 116 117 128 131 133 134 135 139 141 144 148 149 151 154 157 158 162 166 167 170 173 175 179 185 187 188 195 197 198 199 201 204 205 209 210 212 216 220 221 228 229 231 233 234 237 242 248 251 252 255 259 265 266 268 269 273 276 278 279 284 289 291 292 293 295 296 299 300 302 303 305 308 310 315 318 323 a 1 15 19 21 29 31 34 39 47 50 54 57 59 62 65 71 73 77 80 84 87 93 94 100 101 103 106 107 115 116 117 128 131 133 134 135 139 141 144 148 149 151 154 157 158 162 166 167 170 173 175 179 185 187 188 195 197 198 199 201 204 205 209 210 212 216 220 221 228 229 231 233 234 237 242 248 251 252 255 259 265 267 268 269 273 276 278 279 284 289 291 292 293 295 296 299 300 302 303 305 308 310 315 318 323 a 1 15 19 21 29 31 34 39 47 50 54 57 59 62 65 71 73 75 77 80 84 87 93 94 100 103 106 107 115 116 117 128 131 133 134 135 139 141 144 148 149 151 154 157 158 162 166 167 170 173 175 179 185 187 188 195 197 198 199 201 204 205 209 210 212 216 220 221 228 229 231 233 234 237 242 248 251 252 255 259 265 267 268 269 273 276 278 279 284 289 291 292 293 295 296 299 300 302 303 305 308 310 315 318 323 a 1 15 19 21 29 31 34 39 47 50 54 57 59 62 65 71 73 75 77 80 84 87 93 94 100 103 106 107 115 116 128 131 133 134 135 139 141 144 148 149 151 154 157 158 162 166 167 169 170 173 175 179 185 187 188 195 197 198 199 201 204 205 209 210 212 216 220 221 228 229 231 233 234 237 242 248 251 252 255 259 265 267 268 269 273 276 278 279 284 289 291 292 293 295 296 299 300 302 303 305 308 310 315 318 323 a 1 15 19 21 29 31 34 39 47 50 54 57 59 62 65 71 73 75 77 80 84 87 93 94 100 103 106 107 115 116 128 131 133 134 135 139 141 144 148 149 151 154 157 158 162 163 166 167 169 170 173 175 179 185 187 188 195 197 198 199 201 204 205 209 210 212 216 220 221 228 229 233 234 237 242 248 251 252 255 259 265 267 268 269 273 276 278 279 284 289 291 292 293 295 296 299 300 302 303 305 308 310 315 318 323 a 1 15 19 21 29 31 34 39 47 50 54 57 59 62 65 71 73 75 77 80 84 87 93 94 100 103 106 107 115 116 119 128 131 133 134 135 139 141 144 148 149 151 154 157 158 162 163 166 167 169 170 173 175 179 185 187 188 195 197 198 199 201 204 205 209 210 212 216 220 221 228 229 233 234 237 242 248 251 252 255 259 265 267 268 269 273 276 278 284 289 291 292 293 295 296 299 300 302 303 305 308 310 315 318 323 a 1 15 19 21 29 31 34 39 47 50 54 57 59 62 65 71 73 75 77 80 84 87 93 94 100 103 106 107 115 116 119 123 128 131 133 134 135 139 141 144 148 149 151 154 157 158 162 163 166 167 169 170 173 175 179 185 187 188 195 197 198 199 201 204 205 209 210 212 216 220 221 228 229 233 234 237 242 248 251 252 255 259 265 267 268 269 273 276 278 289 291 292 293 295 296 299 300 302 303 305 308 310 315 318 323 a 1 15 19 21 29 31 34 39 47 50 54 57 59 62 65 71 72 73 75 77 80 84 87 93 94 100 103 107 115 116 119 123 128 131 133 134 135 139 141 144 148 149 151 154 157 158 162 163 166 167 169 170 173 175 179 185 187 188 195 197 198 199 201 204 205 209 210 212 216 220 221 228 229 233 234 237 242 248 251 252 255 259 265 267 268 269 273 276 278 289 291 292 293 295 296 299 300 302 303 305 308 310 315 318 323 a 1 15 19 21 29 31 34 39 47 50 54 57 59 62 65 69 71 72 73 75 77 80 84 87 93 94 100 103 107 115 116 119 123 128 131 133 134 135 139 141 144 148 149 151 154 157 158 162 163 166 167 169 170 173 175 179 185 187 188 195 197 198 199 201 204 205 209 210 212 216 220 221 228 229 233 234 237 242 248 251 252 255 259 265 267 268 269 273 276 278 289 291 293 295 296 299 300 302 303 305 308 310 315 318 323 a 1 19 21 29 31 34 39 47 50 54 57 59 62 65 69 71 72 73 75 77 80 84 87 93 94 100 103 107 115 116 119 123 128 131 133 134 135 139 141 144 148 149 151 154 157 158 162 163 165 166 167 169 170 173 175 179 185 187 188 195 197 198 199 201 204 205 209 210 212 216 220 221 228 229 233 234 237 242 248 251 252 255 259 265 267 268 269 273 276 278 289 291 293 295 296 299 300 302 303 305 308 310 315 318 323 a 1 17 19 21 29 31 34 39 47 50 54 57 59 62 65 69 71 72 73 75 77 80 84 87 93 94 100 103 107 115 119 123 128 131 133 134 135 139 141 144 148 149 151 154 157 158 162 163 165 166 167 169 170 173 175 179 185 187 188 195 197 198 199 201 204 205 209 210 212 216 220 221 228 229 233 234 237 242 248 251 252 255 259 265 267 268 269 273 276 278 289 291 293 295 296 299 300 302 303 305 308 310 315 318 323 a 1 17 19 21 29 31 34 39 47 50 54 57 59 62 65 69 71 72 73 75 77 80 84 87 93 94 100 103 107 115 119 123 128 131 134 135 139 141 144 148 149 151 154 157 158 162 163 165 166 167 169 170 173 175 179 185 187 188 192 195 197 198 199 201 204 205 209 210 212 216 220 221 228 229 233 234 237 242 248 251 252 255 259 265 267 268 269 273 276 278 289 291 293 295 296 299 300 302 303 305 308 310 315 318 323 a 1 17 19 21 29 31 34 39 47 50 54 57 59 62 65 69 71 72 73 75 77 80 84 87 93 94 100 103 107 115 119 123 128 131 134 135 139 141 144 148 149 154 157 158 162 163 165 166 167 169 170 173 175 179 185 187 188 191 192 195 197 198 199 201 204 205 209 210 212 216 220 221 228 229 233 234 237 242 248 251 252 255 259 265 267 268 269 273 276 278 289 291 293 295 296 299 300 302 303 305 308 310 315 318 323 a 1 17 19 21 29 31 34 39 47 50 54 57 59 62 65 69 71 72 73 75 77 80 84 87 93 94 100 103 107 115 119 123 128 131 134 135 139 141 144 148 149 154 157 158 162 163 165 166 167 169 170 173 175 179 185 187 188 191 192 195 197 198 199 201 204 205 209 212 216 220 221 228 229 233 234 237 242 248 251 252 253 255 259 265 267 268 269 273 276 278 289 291 293 295 296 299 300 302 303 305 308 310 315 318 323 a 1 17 19 21 29 31 34 39 47 50 54 57 59 62 65 69 71 72 73 75 77 80 84 87 93 94 100 103 105 107 115 119 123 128 131 134 135 139 141 144 148 149 154 157 158 162 163 165 166 167 169 170 173 175 179 185 187 188 191 192 195 197 198 199 201 204 205 209 212 216 220 221 228 229 233 234 237 242 248 251 252 253 255 259 265 267 268 269 273 276 278 289 291 293 296 299 300 302 303 305 308 310 315 318 323 a 1 17 19 21 29 31 34 39 47 50 54 57 59 62 65 69 71 72 73 75 77 80 84 87 93 94 100 103 105 107 115 119 123 128 131 134 135 139 141 144 148 149 154 157 158 162 163 165 166 167 169 170 173 175 179 185 187 188 191 192 195 197 198 199 201 204 205 209 212 216 220 221 228 229 233 234 237 242 248 251 252 253 255 259 265 267 268 269 273 276 278 289 291 293 294 296 299 300 302 305 308 310 315 318 323 a 1 17 19 21 29 31 39 47 50 54 57 59 62 65 69 71 72 73 75 77 80 84 87 93 94 100 103 105 107 115 119 123 128 131 134 135 139 141 144 148 149 154 157 158 162 163 165 166 167 169 170 173 175 179 185 187 188 191 192 195 197 198 199 201 204 205 209 212 216 220 221 227 228 229 233 234 237 242 248 251 252 253 255 259 265 267 268 269 273 276 278 289 291 293 294 296 299 300 302 305 308 310 315 318 323 a 1 17 19 21 29 31 39 47 54 57 59 62 65 69 71 72 73 75 77 80 82 84 87 93 94 100 103 105 107 115 119 123 128 131 134 135 139 141 144 148 149 154 157 158 162 163 165 166 167 169 170 173 175 179 185 187 188 191 192 195 197 198 199 201 204 205 209 212 216 220 221 227 228 229 233 234 237 242 248 251 252 253 255 259 265 267 268 269 273 276 278 289 291 293 294 296 299 300 302 305 308 310 315 318 323 a 1 17 19 21 29 31 39 47 54 57 59 62 65 69 71 72 73 75 77 80 82 84 87 93 94 100 103 105 107 115 119 123 128 131 134 135 139 141 144 148 149 154 157 158 162 163 165 166 167 169 173 175 179 185 187 188 191 192 195 197 198 199 201 204 205 209 212 216 220 221 227 228 229 233 234 237 242 248 251 252 253 255 259 265 267 268 269 273 276 278 282 289 291 293 294 296 299 300 302 305 308 310 315 318 323 a 1 17 19 21 29 31 39 47 54 57 59 61 62 65 69 71 72 73 75 77 80 82 84 87 93 94 100 103 105 107 115 119 123 128 131 134 135 139 141 144 148 154 157 158 162 163 165 166 167 169 173 175 179 185 187 188 191 192 195 197 198 199 201 204 205 209 212 216 220 221 227 228 229 233 234 237 242 248 251 252 253 255 259 265 267 268 269 273 276 278 282 289 291 293 294 296 299 300 302 305 308 310 315 318 323 a 1 17 19 21 29 31 39 47 54 57 59 61 62 65 69 71 72 73 75 77 80 82 84 87 93 94 100 103 105 107 115 119 123 128 131 134 135 139 141 144 148 154 157 158 162 163 165 166 167 169 173 175 179 180 185 187 188 191 192 195 197 198 199 201 204 205 209 212 216 220 221 227 228 229 233 234 237 242 248 251 252 253 255 259 265 267 269 273 276 278 282 289 291 293 294 296 299 300 302 305 308 310 315 318 323 a 1 17 19 21 26 29 31 39 47 54 57 59 61 62 65 69 71 72 73 75 80 82 84 87 93 94 100 103 105 107 115 119 123 128 131 134 135 139 141 144 148 154 157 158 162 163 165 166 167 169 173 175 179 180 185 187 188 191 192 195 197 198 199 201 204 205 209 212 216 220 221 227 228 229 233 234 237 242 248 251 252 253 255 259 265 267 269 273 276 278 282 289 291 293 294 296 299 300 302 305 308 310 315 318 323 a 1 17 19 20 21 26 29 31 39 47 54 57 59 61 62 65 69 71 72 73 75 80 82 84 87 93 94 100 103 105 107 115 119 123 128 131 134 135 139 141 144 148 154 158 162 163 165 166 167 169 173 175 179 180 185 187 188 191 192 195 197 198 199 201 204 205 209 212 216 220 221 227 228 229 233 234 237 242 248 251 252 253 255 259 265 267 269 273 276 278 282 289 291 293 294 296 299 300 302 305 308 310 315 318 323 a 1 17 19 20 21 26 29 31 39 47 54 57 59 61 62 65 69 71 72 73 75 80 82 84 87 93 94 100 103 105 107 115 119 123 128 131 134 135 139 141 144 148 154 158 162 163 165 166 167 169 173 175 179 180 185 187 188 191 192 195 197 198 199 201 204 205 209 212 216 220 221 227 228 229 233 237 242 248 251 252 253 255 259 265 267 269 273 276 277 278 282 289 291 293 294 296 299 300 302 305 308 310 315 318 323 a 1 17 19 20 21 26 29 30 31 39 47 54 57 59 61 62 65 69 71 72 73 75 80 82 84 87 93 94 100 103 105 107 115 119 123 128 131 134 135 139 141 144 148 154 158 162 163 165 166 167 169 173 175 179 180 185 187 188 191 192 195 197 198 199 201 204 205 209 212 216 220 221 227 228 229 233 237 242 248 251 252 253 259 265 267 269 273 276 277 278 282 289 291 293 294 296 299 300 302 305 308 310 315 318 323 a 1 17 19 20 21 26 29 30 31 39 47 54 57 59 61 62 65 69 71 72 73 75 80 82 84 87 93 94 100 103 105 107 115 119 123 128 130 131 134 135 139 141 144 148 154 158 162 163 165 166 167 169 173 175 179 180 185 187 188 191 192 195 197 198 199 201 204 205 209 212 216 220 221 227 228 229 233 237 242 248 252 253 259 265 267 269 273 276 277 278 282 289 291 293 294 296 299 300 302 305 308 310 315 318 323 a 1 17 19 20 21 26 29 30 31 39 47 54 57 59 61 62 65 69 71 72 73 75 80 82 84 87 93 94 100 103 105 107 115 119 123 128 130 131 134 135 139 141 144 148 154 158 162 163 165 166 167 169 173 175 179 180 185 187 188 191 192 195 197 198 199 201 204 205 209 212 216 220 221 227 228 229 233 237 242 248 252 253 259 265 267 269 276 277 278 282 289 291 293 294 296 298 299 300 302 305 308 310 315 318 323 a 1 17 19 20 21 26 29 30 31 39 47 54 57 59 61 62 65 69 71 72 73 75 80 82 84 87 93 94 100 103 105 107 115 119 123 128 130 131 134 135 139 141 144 148 154 155 158 162 163 165 166 167 169 173 179 180 185 187 188 191 192 195 197 198 199 201 204 205 209 212 216 220 221 227 228 229 233 237 242 248 252 253 259 265 267 269 276 277 278 282 289 291 293 294 296 298 299 300 302 305 308 310 315 318 323 a 1 17 19 20 21 26 29 30 31 39 47 54 57 59 61 62 65 69 71 72 73 75 80 82 84 87 93 94 100 103 105 107 115 119 123 128 130 131 134 135 139 141 144 148 154 155 158 162 163 165 166 167 169 173 179 180 185 187 188 191 192 193 195 197 198 199 201 204 205 209 212 216 220 221 227 228 229 233 237 242 248 252 253 259 265 267 269 276 277 282 289 291 293 294 296 298 299 300 302 305 308 310 315 318 323 a 1 17 19 20 21 26 29 30 31 39 47 52 54 57 59 61 62 65 69 71 72 73 75 80 82 84 93 94 100 103 105 107 115 119 123 128 130 131 134 135 139 141 144 148 154 155 158 162 163 165 166 167 169 173 179 180 185 187 188 191 192 193 195 197 198 199 201 204 205 209 212 216 220 221 227 228 229 233 237 242 248 252 253 259 265 267 269 276 277 282 289 291 293 294 296 298 299 300 302 305 308 310 315 318 323 a 1 17 19 20 21 26 29 30 31 39 47 52 54 57 59 61 62 65 69 71 72 73 75 80 82 84 93 94 100 103 105 107 115 119 123 128 130 134 135 139 141 144 148 154 155 158 162 163 165 166 167 169 173 179 180 185 187 188 191 192 193 195 197 198 199 201 204 205 209 212 216 220 221 227 228 229 233 237 242 248 252 253 259 265 267 269 276 277 282 289 290 291 293 294 296 298 299 300 302 305 308 310 315 318 323 a 1 17 19 20 21 26 29 30 31 39 47 52 54 57 59 61 62 65 69 71 72 73 75 80 82 84 93 94 100 103 105 107 115 119 123 124 128 130 134 135 139 141 144 148 154 155 158 162 163 165 166 167 169 173 179 180 185 187 188 191 192 193 195 197 198 199 201 204 205 209 212 216 220 221 227 228 229 233 237 242 248 252 253 259 267 269 276 277 282 289 290 291 293 294 296 298 299 300 302 305 308 310 315 318 323 a 1 17 19 20 21 26 29 30 31 39 47 52 54 57 59 61 62 65 69 71 72 73 75 80 82 84 93 94 100 103 105 107 115 119 123 124 128 130 134 135 139 141 144 148 154 155 158 162 163 165 166 167 169 173 179 180 185 187 188 191 192 193 195 197 198 199 201 204 205 209 212 216 220 221 227 228 229 233 237 242 248 252 253 259 264 267 269 276 277 282 289 290 291 293 294 296 298 299 300 305 308 310 315 318 323 a 1 17 19 20 21 26 29 30 31 39 47 52 54 57 59 61 62 65 69 71 72 73 75 80 82 84 93 94 100 103 105 107 115 119 123 124 128 130 134 135 139 141 144 148 154 155 158 162 163 165 166 167 169 173 179 180 185 187 188 191 192 193 195 197 198 199 201 204 205 207 209 212 216 220 221 227 228 229 233 237 242 248 252 253 259 264 267 269 276 277 282 289 290 291 293 294 296 298 299 300 308 310 315 318 323 a 1 17 19 20 21 26 29 30 31 39 47 52 54 57 59 61 62 65 69 71 72 73 75 80 82 84 93 94 100 103 105 107 115 119 123 124 128 130 134 135 139 141 144 148 154 155 158 162 163 165 166 167 169 173 179 180 185 187 188 191 192 193 195 197 198 199 201 204 205 207 209 212 216 220 221 227 228 229 233 237 242 248 252 253 259 264 267 269 276 277 282 289 290 291 293 294 296 298 299 300 306 308 310 318 323 a 1 17 19 20 21 26 29 30 31 39 47 52 54 57 59 61 62 65 69 71 72 73 75 80 82 84 93 94 100 103 105 107 115 119 123 124 128 130 134 135 139 141 144 148 154 155 158 162 163 165 166 167 169 173 179 180 185 187 188 191 192 193 195 197 198 199 201 204 205 207 209 212 215 216 220 221 227 228 229 233 237 242 248 252 253 259 264 267 269 276 277 282 289 290 291 293 294 296 298 299 300 306 308 318 323 a 1 13 17 19 20 21 26 29 30 31 39 47 52 54 57 59 61 62 65 69 71 72 73 75 80 82 84 93 94 100 103 105 107 115 119 123 124 128 130 134 135 139 141 144 148 154 155 158 162 163 165 166 167 169 173 179 180 185 187 188 191 192 193 195 197 198 199 201 204 205 207 209 212 215 216 220 221 227 228 229 233 237 242 248 252 253 259 264 267 269 276 277 282 289 290 293 294 296 298 299 300 306 308 318 323 a 1 13 17 19 20 21 26 29 30 31 39 47 52 57 59 61 62 65 69 71 72 73 75 80 82 84 93 94 100 103 105 107 115 119 123 124 128 130 134 135 139 141 144 148 154 155 158 162 163 165 166 167 169 173 179 180 184 185 187 188 191 192 193 195 197 198 199 201 204 205 207 209 212 215 216 220 221 227 228 229 233 237 242 248 252 253 259 264 267 269 276 277 282 289 290 293 294 296 298 299 300 306 308 318 323 a 1 13 17 19 20 21 26 29 30 31 39 47 52 55 57 59 61 62 65 69 71 72 73 75 80 82 84 93 94 100 103 105 107 115 119 123 124 130 134 135 139 141 144 148 154 155 158 162 163 165 166 167 169 173 179 180 184 185 187 188 191 192 193 195 197 198 199 201 204 205 207 209 212 215 216 220 221 227 228 229 233 237 242 248 252 253 259 264 267 269 276 277 282 289 290 293 294 296 298 299 300 306 308 318 323 a 1 13 17 19 20 21 26 29 30 31 39 47 52 55 57 59 61 62 65 69 71 72 73 75 80 82 84 93 94 100 102 103 105 107 115 119 123 124 130 134 135 139 141 144 148 154 155 158 162 163 165 166 167 169 173 179 180 184 185 187 188 191 192 193 195 197 198 199 201 204 205 207 209 212 215 220 221 227 228 229 233 237 242 248 252 253 259 264 267 269 276 277 282 289 290 293 294 296 298 299 300 306 308 318 323 a 1 13 17 19 20 21 26 29 30 31 39 47 52 55 57 59 61 62 65 69 71 72 73 75 80 82 84 92 93 94 100 102 103 105 107 115 119 123 124 130 134 135 139 141 144 148 154 155 158 162 163 165 166 167 169 173 179 180 184 185 187 188 191 192 193 195 197 198 199 201 204 205 207 209 212 215 221 227 228 229 233 237 242 248 252 253 259 264 267 269 276 277 282 289 290 293 294 296 298 299 300 306 308 318 323 a 1 13 17 19 20 21 26 29 30 31 39 47 52 55 57 59 61 62 65 69 71 72 73 75 80 82 84 92 93 94 100 102 103 105 107 115 119 123 124 125 130 134 135 139 141 144 148 154 155 162 163 165 166 167 169 173 179 180 184 185 187 188 191 192 193 195 197 198 199 201 204 205 207 209 212 215 221 227 228 229 233 237 242 248 252 253 259 264 267 269 276 277 282 289 290 293 294 296 298 299 300 306 308 318 323 a 1 13 17 19 20 21 26 29 30 31 39 44 47 52 55 57 59 61 62 65 69 71 72 73 75 80 82 84 92 93 94 100 102 103 105 107 115 119 123 124 125 130 134 135 139 141 144 148 154 155 162 163 165 166 167 169 173 179 180 184 185 187 188 191 192 193 195 197 198 199 201 204 205 207 209 212 215 221 227 228 229 233 237 242 248 252 253 259 264 267 269 276 277 282 289 290 293 294 296 298 299 300 306 308 318 a 1 13 17 19 20 21 26 29 30 31 39 44 47 52 55 57 59 61 62 69 71 72 73 75 80 82 84 92 93 94 99 100 102 103 105 107 115 119 123 124 125 130 134 135 139 141 144 148 154 155 162 163 165 166 167 169 173 179 180 184 185 187 188 191 192 193 195 197 198 199 201 204 205 207 209 212 215 221 227 228 229 233 237 242 248 252 253 259 264 267 269 276 277 282 289 290 293 294 296 298 299 300 306 308 318 a 1 13 17 19 20 21 26 29 30 31 39 44 47 52 55 57 59 61 62 69 71 72 73 75 80 82 84 92 94 99 100 102 103 105 107 115 119 123 124 125 130 134 135 136 139 141 144 148 154 155 162 163 165 166 167 169 173 179 180 184 185 187 188 191 192 193 195 197 198 199 201 204 205 207 209 212 215 221 227 228 229 233 237 242 248 252 253 259 264 267 269 276 277 282 289 290 293 294 296 298 299 300 306 308 318 a 1 13 17 19 20 21 26 29 30 31 39 44 47 52 55 57 59 61 62 69 71 72 73 75 80 82 84 92 94 99 100 102 103 105 107 115 119 123 124 125 130 134 135 136 139 141 144 148 154 155 162 163 165 166 167 169 173 180 184 185 187 188 191 192 193 195 197 198 199 201 204 205 207 209 212 215 221 227 228 229 233 237 242 248 252 253 259 264 267 269 276 277 282 289 290 293 294 296 298 299 300 306 308 318 320 a 1 13 17 19 20 21 26 29 30 31 39 44 47 52 55 57 59 61 62 69 71 72 73 75 80 82 84 92 94 99 100 102 103 105 107 115 119 123 124 125 130 134 135 136 139 141 144 148 154 155 162 163 165 166 167 169 173 180 184 185 187 188 191 192 193 195 197 198 199 201 204 205 207 209 212 215 221 227 228 229 233 237 248 252 253 259 264 267 269 276 277 282 289 290 293 294 296 298 299 300 304 306 308 318 320 Command being timed: "/solvers/driver/run.py --config=shortest-single --memory-limit=54 --time-limit=1800 /benchmark/random_instance/random_instance025_graph005.col /benchmark/random_instance/random_instance025_graph005_01.dat" User time (seconds): 1734.65 System time (seconds): 5.84 Percent of CPU this job got: 99% Elapsed (wall clock) time (h:mm:ss or m:ss): 29:00.59 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): 26916992 Average resident set size (kbytes): 0 Major (requiring I/O) page faults: 0 Minor (reclaiming a frame) page faults: 7067265 Voluntary context switches: 28 Involuntary context switches: 11867 Swaps: 0 File system inputs: 0 File system outputs: 472 Socket messages sent: 0 Socket messages received: 0 Signals delivered: 0 Page size (bytes): 4096 Exit status: 0 #END: [Mon Sep 25 14:37:14 2023]