#BEGIN: [Mon Sep 25 14:57:49 2023] #HOST: s08 #TIMELIMIT: 1800 #MEMLIMIT: 0 #SOLVER: shortest-cpu-ai-planning2-shortest1 #INSTANCE1: /benchmark/random_instance/random_instance031_graph003.col #INSTANCE2: /benchmark/random_instance/random_instance031_graph003_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_instance031_graph003.col /benchmark/random_instance/random_instance031_graph003_01.dat s 368 331 248 242 92 21 14 216 270 321 168 265 218 127 378 5 55 28 85 105 86 115 276 298 49 79 260 339 80 292 189 159 170 137 93 120 151 69 60 129 3 95 228 365 359 202 57 383 315 295 346 37 200 135 87 317 389 210 190 399 236 117 395 274 357 291 330 36 364 299 40 171 154 205 303 142 367 296 269 65 56 54 162 313 243 233 397 121 111 43 88 366 91 128 289 217 113 179 250 15 19 66 97 84 262 241 345 77 102 116 257 393 8 99 169 194 293 156 58 182 166 25 231 320 38 213 326 149 76 281 51 143 90 322 t 26 388 48 144 72 376 225 28 69 237 152 236 313 159 24 282 51 329 141 270 56 293 10 21 106 276 357 112 204 39 65 285 309 122 132 273 224 145 365 304 179 83 345 212 167 358 127 369 359 142 82 213 319 30 102 240 231 223 368 163 371 401 380 35 177 73 254 169 146 260 215 29 392 165 269 246 103 58 8 171 61 182 181 81 234 370 206 70 32 190 390 257 291 267 331 42 230 76 289 245 262 382 105 164 25 292 160 187 312 398 53 36 90 343 279 310 45 227 138 228 317 22 258 330 77 205 363 117 216 62 98 243 143 350 a YES a 3 5 8 14 15 19 21 25 28 36 37 38 40 43 49 51 54 55 56 57 58 60 65 66 69 76 77 79 80 84 85 86 87 88 90 91 92 93 95 97 99 102 105 111 113 115 116 117 120 121 127 128 129 135 137 142 143 149 151 154 156 159 162 166 168 169 170 171 179 182 189 190 194 200 202 205 210 213 216 217 218 228 231 233 236 241 242 243 248 250 257 260 262 265 269 270 274 276 281 289 291 292 293 295 296 298 299 303 313 315 317 320 321 322 326 330 331 339 345 346 357 359 364 365 366 367 368 378 383 389 393 395 397 399 a 5 8 14 15 19 21 25 28 36 37 38 40 43 49 51 54 55 56 57 58 60 65 66 69 76 77 79 80 84 85 86 87 88 90 91 92 93 95 97 99 102 105 111 113 115 116 117 120 121 127 128 129 135 137 142 143 149 151 154 156 159 162 166 168 169 170 171 179 182 189 190 194 200 202 205 210 213 216 217 218 228 231 233 236 241 242 243 248 250 257 260 262 265 269 270 274 276 281 289 291 292 293 295 296 298 299 303 312 313 315 317 320 321 322 326 330 331 339 345 346 357 359 364 365 366 367 368 378 383 389 393 395 397 399 a 8 14 15 19 21 25 28 36 37 38 40 43 49 51 54 55 56 57 58 60 65 66 69 76 77 79 80 84 85 86 87 88 90 91 92 93 95 97 99 102 105 111 113 115 116 117 120 121 127 128 129 135 137 138 142 143 149 151 154 156 159 162 166 168 169 170 171 179 182 189 190 194 200 202 205 210 213 216 217 218 228 231 233 236 241 242 243 248 250 257 260 262 265 269 270 274 276 281 289 291 292 293 295 296 298 299 303 312 313 315 317 320 321 322 326 330 331 339 345 346 357 359 364 365 366 367 368 378 383 389 393 395 397 399 a 8 14 15 21 25 28 36 37 38 40 43 49 51 54 55 56 57 58 60 65 66 69 76 77 79 80 84 85 86 87 88 90 91 92 93 95 97 99 102 105 111 113 115 116 117 120 121 127 128 129 135 137 138 142 143 144 149 151 154 156 159 162 166 168 169 170 171 179 182 189 190 194 200 202 205 210 213 216 217 218 228 231 233 236 241 242 243 248 250 257 260 262 265 269 270 274 276 281 289 291 292 293 295 296 298 299 303 312 313 315 317 320 321 322 326 330 331 339 345 346 357 359 364 365 366 367 368 378 383 389 393 395 397 399 a 8 15 21 25 28 36 37 38 40 43 49 51 54 55 56 57 58 60 65 66 69 76 77 79 80 84 85 86 87 88 90 91 92 93 95 97 99 102 105 111 113 115 116 117 120 121 127 128 129 135 137 138 142 143 144 149 151 154 156 159 162 163 166 168 169 170 171 179 182 189 190 194 200 202 205 210 213 216 217 218 228 231 233 236 241 242 243 248 250 257 260 262 265 269 270 274 276 281 289 291 292 293 295 296 298 299 303 312 313 315 317 320 321 322 326 330 331 339 345 346 357 359 364 365 366 367 368 378 383 389 393 395 397 399 a 8 15 21 25 28 36 37 38 40 43 49 51 55 56 57 58 60 65 66 69 76 77 79 80 84 85 86 87 88 90 91 92 93 95 97 99 102 105 111 113 115 116 117 120 121 127 128 129 135 137 138 142 143 144 149 151 154 156 159 162 163 166 168 169 170 171 179 182 189 190 194 200 202 205 210 213 216 217 218 228 231 233 236 241 242 243 248 250 257 260 262 265 269 270 274 276 281 289 291 292 293 295 296 298 299 303 312 313 315 317 320 321 322 326 330 331 339 345 346 357 358 359 364 365 366 367 368 378 383 389 393 395 397 399 a 8 15 21 25 28 36 37 40 43 49 51 55 56 57 58 60 65 66 69 76 77 79 80 84 85 86 87 88 90 91 92 93 95 97 99 102 105 111 113 115 116 117 120 121 127 128 129 135 137 138 142 143 144 149 151 154 156 159 162 163 166 168 169 170 171 179 182 189 190 194 200 202 205 210 213 216 217 218 227 228 231 233 236 241 242 243 248 250 257 260 262 265 269 270 274 276 281 289 291 292 293 295 296 298 299 303 312 313 315 317 320 321 322 326 330 331 339 345 346 357 358 359 364 365 366 367 368 378 383 389 393 395 397 399 a 8 15 21 25 28 36 37 40 43 49 51 55 56 57 58 60 65 66 69 76 77 79 80 84 86 87 88 90 91 92 93 95 97 99 102 105 111 113 115 116 117 120 121 127 128 129 135 137 138 142 143 144 149 151 154 156 159 162 163 166 168 169 170 171 179 182 189 190 194 200 202 205 210 213 216 217 218 227 228 231 233 236 241 242 243 248 250 257 260 262 265 269 270 274 276 281 289 291 292 293 295 296 298 299 303 312 313 315 317 320 321 322 326 330 331 339 345 346 357 358 359 364 365 366 367 368 378 383 389 393 395 397 399 401 a 8 15 21 25 28 36 37 40 43 49 51 55 56 57 58 60 65 66 69 76 77 79 80 84 87 88 90 91 92 93 95 97 99 102 105 111 113 115 116 117 120 121 127 128 129 135 137 138 142 143 144 149 151 154 156 159 162 163 166 168 169 170 171 179 182 189 190 194 200 202 205 210 213 216 217 218 227 228 231 233 236 241 242 243 248 250 257 260 262 265 269 270 274 276 281 289 291 292 293 295 296 298 299 303 312 313 315 317 320 321 322 326 330 331 339 345 346 357 358 359 364 365 366 367 368 378 382 383 389 393 395 397 399 401 a 8 15 21 25 28 36 37 40 43 49 51 55 56 57 58 60 65 66 69 76 77 79 80 84 87 88 90 91 92 93 95 97 99 102 105 113 115 116 117 120 121 122 127 128 129 135 137 138 142 143 144 149 151 154 156 159 162 163 166 168 169 170 171 179 182 189 190 194 200 202 205 210 213 216 217 218 227 228 231 233 236 241 242 243 248 250 257 260 262 265 269 270 274 276 281 289 291 292 293 295 296 298 299 303 312 313 315 317 320 321 322 326 330 331 339 345 346 357 358 359 364 365 366 367 368 378 382 383 389 393 395 397 399 401 a 8 15 21 25 28 36 37 40 43 49 51 55 56 57 58 60 65 66 69 76 77 79 80 84 87 88 90 91 92 93 95 97 99 102 105 113 115 116 117 120 121 122 127 128 135 137 138 142 143 144 149 151 154 156 159 162 163 166 168 169 170 171 179 182 189 190 194 200 202 205 210 213 216 217 218 227 228 231 233 234 236 241 242 243 248 250 257 260 262 265 269 270 274 276 281 289 291 292 293 295 296 298 299 303 312 313 315 317 320 321 322 326 330 331 339 345 346 357 358 359 364 365 366 367 368 378 382 383 389 393 395 397 399 401 a 8 15 21 25 28 36 37 40 49 51 55 56 57 58 60 65 66 69 76 77 79 80 84 87 88 90 91 92 93 95 97 99 102 105 113 115 116 117 120 121 122 127 128 135 137 138 142 143 144 149 151 154 156 159 162 163 166 168 169 170 171 179 182 189 190 194 200 202 205 210 213 216 217 218 227 228 231 233 234 236 240 241 242 243 248 250 257 260 262 265 269 270 274 276 281 289 291 292 293 295 296 298 299 303 312 313 315 317 320 321 322 326 330 331 339 345 346 357 358 359 364 365 366 367 368 378 382 383 389 393 395 397 399 401 a 8 15 21 25 28 36 37 40 49 51 55 56 57 58 60 65 66 69 76 77 79 80 84 87 88 90 91 92 93 95 97 102 105 113 115 116 117 120 121 122 127 128 135 137 138 141 142 143 144 149 151 154 156 159 162 163 166 168 169 170 171 179 182 189 190 194 200 202 205 210 213 216 217 218 227 228 231 233 234 236 240 241 242 243 248 250 257 260 262 265 269 270 274 276 281 289 291 292 293 295 296 298 299 303 312 313 315 317 320 321 322 326 330 331 339 345 346 357 358 359 364 365 366 367 368 378 382 383 389 393 395 397 399 401 a 8 15 21 25 28 36 37 40 49 51 55 56 57 58 60 65 66 69 76 77 79 80 84 87 88 90 91 92 93 95 97 102 105 113 115 116 117 120 121 122 127 128 137 138 141 142 143 144 149 151 154 156 159 162 163 166 168 169 170 171 179 182 189 190 194 200 202 205 210 213 216 217 218 224 227 228 231 233 234 236 240 241 242 243 248 250 257 260 262 265 269 270 274 276 281 289 291 292 293 295 296 298 299 303 312 313 315 317 320 321 322 326 330 331 339 345 346 357 358 359 364 365 366 367 368 378 382 383 389 393 395 397 399 401 a 8 10 15 21 25 28 36 37 40 49 51 55 56 57 58 60 65 69 76 77 79 80 84 87 88 90 91 92 93 95 97 102 105 113 115 116 117 120 121 122 127 128 137 138 141 142 143 144 149 151 154 156 159 162 163 166 168 169 170 171 179 182 189 190 194 200 202 205 210 213 216 217 218 224 227 228 231 233 234 236 240 241 242 243 248 250 257 260 262 265 269 270 274 276 281 289 291 292 293 295 296 298 299 303 312 313 315 317 320 321 322 326 330 331 339 345 346 357 358 359 364 365 366 367 368 378 382 383 389 393 395 397 399 401 a 8 10 15 21 25 28 36 37 40 49 51 55 56 57 58 60 65 69 76 77 79 80 84 87 88 90 92 93 95 97 102 105 113 115 116 117 120 121 122 127 128 137 138 141 142 143 144 149 151 154 156 159 162 163 166 168 169 170 171 179 182 189 190 194 200 202 205 210 213 216 217 218 224 227 228 230 231 233 234 236 240 241 242 243 248 250 257 260 262 265 269 270 274 276 281 289 291 292 293 295 296 298 299 303 312 313 315 317 320 321 322 326 330 331 339 345 346 357 358 359 364 365 366 367 368 378 382 383 389 393 395 397 399 401 a 8 10 15 21 25 28 36 37 40 49 51 55 56 57 58 60 65 69 73 76 77 79 80 84 87 88 90 92 93 95 97 102 105 113 116 117 120 121 122 127 128 137 138 141 142 143 144 149 151 154 156 159 162 163 166 168 169 170 171 179 182 189 190 194 200 202 205 210 213 216 217 218 224 227 228 230 231 233 234 236 240 241 242 243 248 250 257 260 262 265 269 270 274 276 281 289 291 292 293 295 296 298 299 303 312 313 315 317 320 321 322 326 330 331 339 345 346 357 358 359 364 365 366 367 368 378 382 383 389 393 395 397 399 401 a 8 10 15 21 25 28 36 37 40 49 51 55 56 57 58 60 65 69 73 76 77 79 80 84 87 88 90 92 93 95 97 98 102 105 113 116 117 120 121 122 127 128 137 138 141 142 143 144 149 151 156 159 162 163 166 168 169 170 171 179 182 189 190 194 200 202 205 210 213 216 217 218 224 227 228 230 231 233 234 236 240 241 242 243 248 250 257 260 262 265 269 270 274 276 281 289 291 292 293 295 296 298 299 303 312 313 315 317 320 321 322 326 330 331 339 345 346 357 358 359 364 365 366 367 368 378 382 383 389 393 395 397 399 401 a 8 10 15 21 25 28 36 37 40 49 51 55 56 57 58 60 65 69 73 76 77 79 80 84 87 88 90 92 93 95 97 98 102 105 113 116 117 120 121 122 127 128 137 138 141 142 143 144 149 151 159 162 163 166 168 169 170 171 179 182 189 190 194 200 202 205 206 210 213 216 217 218 224 227 228 230 231 233 234 236 240 241 242 243 248 250 257 260 262 265 269 270 274 276 281 289 291 292 293 295 296 298 299 303 312 313 315 317 320 321 322 326 330 331 339 345 346 357 358 359 364 365 366 367 368 378 382 383 389 393 395 397 399 401 a 8 10 15 21 25 28 36 37 40 49 51 55 56 57 58 60 65 69 73 76 77 79 80 84 87 88 90 92 93 95 97 98 102 105 113 116 117 120 121 122 127 128 137 138 141 142 143 144 149 151 159 162 163 168 169 170 171 179 182 189 190 194 200 202 205 206 210 213 216 217 218 224 227 228 230 231 233 234 236 240 241 242 243 248 250 257 260 262 265 269 270 274 276 281 289 291 292 293 295 296 298 299 303 312 313 315 317 320 321 322 326 330 331 339 345 346 357 358 359 364 365 366 367 368 378 380 382 383 389 393 395 397 399 401 a 8 10 15 21 25 28 36 37 39 40 49 51 55 56 57 58 60 65 69 73 76 77 79 80 84 87 88 90 92 93 95 97 98 102 105 113 116 117 120 121 122 127 128 137 138 141 142 143 144 149 151 159 162 163 168 169 171 179 182 189 190 194 200 202 205 206 210 213 216 217 218 224 227 228 230 231 233 234 236 240 241 242 243 248 250 257 260 262 265 269 270 274 276 281 289 291 292 293 295 296 298 299 303 312 313 315 317 320 321 322 326 330 331 339 345 346 357 358 359 364 365 366 367 368 378 380 382 383 389 393 395 397 399 401 a 8 10 21 25 28 36 37 39 40 49 51 55 56 57 58 60 65 69 73 76 77 79 80 84 87 88 90 92 93 95 97 98 102 105 113 116 117 120 121 122 127 128 137 138 141 142 143 144 149 151 159 162 163 168 169 171 179 182 189 190 194 200 202 205 206 210 213 216 217 218 224 227 228 230 231 233 234 236 240 241 242 243 248 250 257 260 262 265 269 270 274 276 281 289 291 292 293 295 296 298 299 303 310 312 313 315 317 320 321 322 326 330 331 339 345 346 357 358 359 364 365 366 367 368 378 380 382 383 389 393 395 397 399 401 a 8 10 21 25 28 36 37 39 40 49 51 55 56 57 58 60 65 69 73 76 77 79 80 84 87 88 90 92 93 95 98 102 105 113 116 117 120 121 122 127 128 132 137 138 141 142 143 144 149 151 159 162 163 168 169 171 179 182 189 190 194 200 202 205 206 210 213 216 217 218 224 227 228 230 231 233 234 236 240 241 242 243 248 250 257 260 262 265 269 270 274 276 281 289 291 292 293 295 296 298 299 303 310 312 313 315 317 320 321 322 326 330 331 339 345 346 357 358 359 364 365 366 367 368 378 380 382 383 389 393 395 397 399 401 a 8 10 21 25 28 35 36 37 39 40 49 51 55 56 57 58 60 65 69 73 76 77 79 80 84 87 88 90 92 93 95 98 102 105 113 116 117 120 121 122 127 128 132 137 138 141 142 143 144 149 151 159 162 163 168 169 171 179 182 190 194 200 202 205 206 210 213 216 217 218 224 227 228 230 231 233 234 236 240 241 242 243 248 250 257 260 262 265 269 270 274 276 281 289 291 292 293 295 296 298 299 303 310 312 313 315 317 320 321 322 326 330 331 339 345 346 357 358 359 364 365 366 367 368 378 380 382 383 389 393 395 397 399 401 a 8 10 21 25 28 35 36 39 40 45 49 51 55 56 57 58 60 65 69 73 76 77 79 80 84 87 88 90 92 93 95 98 102 105 113 116 117 120 121 122 127 128 132 137 138 141 142 143 144 149 151 159 162 163 168 169 171 179 182 190 194 200 202 205 206 210 213 216 217 218 224 227 228 230 231 233 234 236 240 241 242 243 248 250 257 260 262 265 269 270 274 276 281 289 291 292 293 295 296 298 299 303 310 312 313 315 317 320 321 322 326 330 331 339 345 346 357 358 359 364 365 366 367 368 378 380 382 383 389 393 395 397 399 401 a 8 10 21 25 28 35 36 39 40 45 49 51 55 56 57 58 60 65 69 73 76 77 79 80 81 84 87 88 90 92 93 95 98 102 105 113 116 117 120 121 122 127 128 132 137 138 141 142 143 144 149 151 159 163 168 169 171 179 182 190 194 200 202 205 206 210 213 216 217 218 224 227 228 230 231 233 234 236 240 241 242 243 248 250 257 260 262 265 269 270 274 276 281 289 291 292 293 295 296 298 299 303 310 312 313 315 317 320 321 322 326 330 331 339 345 346 357 358 359 364 365 366 367 368 378 380 382 383 389 393 395 397 399 401 a 8 10 21 25 28 32 35 36 39 40 45 49 51 55 56 57 58 60 65 69 73 76 77 79 80 81 84 87 88 90 92 93 95 98 102 105 116 117 120 121 122 127 128 132 137 138 141 142 143 144 149 151 159 163 168 169 171 179 182 190 194 200 202 205 206 210 213 216 217 218 224 227 228 230 231 233 234 236 240 241 242 243 248 250 257 260 262 265 269 270 274 276 281 289 291 292 293 295 296 298 299 303 310 312 313 315 317 320 321 322 326 330 331 339 345 346 357 358 359 364 365 366 367 368 378 380 382 383 389 393 395 397 399 401 a 8 10 21 25 28 32 35 36 39 40 45 49 51 55 56 57 58 60 65 69 73 76 77 79 80 81 84 87 88 90 92 93 95 98 102 105 116 117 120 121 122 127 128 132 138 141 142 143 144 149 151 159 163 168 169 171 179 182 190 194 200 202 205 206 210 213 216 217 218 224 227 228 230 231 233 234 236 240 241 242 243 248 250 257 260 262 265 269 270 274 276 281 289 291 292 293 295 296 298 299 303 310 312 313 315 317 320 321 322 326 330 331 339 343 345 346 357 358 359 364 365 366 367 368 378 380 382 383 389 393 395 397 399 401 a 8 10 21 25 28 32 35 36 39 40 45 49 51 55 56 57 58 60 65 69 73 76 77 79 80 81 84 87 88 90 92 93 95 98 102 105 116 117 120 121 122 127 128 132 138 141 142 143 144 149 151 159 163 168 169 171 179 182 187 190 200 202 205 206 210 213 216 217 218 224 227 228 230 231 233 234 236 240 241 242 243 248 250 257 260 262 265 269 270 274 276 281 289 291 292 293 295 296 298 299 303 310 312 313 315 317 320 321 322 326 330 331 339 343 345 346 357 358 359 364 365 366 367 368 378 380 382 383 389 393 395 397 399 401 a 8 10 21 25 28 32 35 36 39 40 45 49 51 55 56 57 58 60 65 69 73 76 77 79 80 81 84 87 88 90 92 93 95 98 102 105 116 117 120 121 122 127 128 132 138 141 142 143 144 149 151 159 163 168 169 171 179 182 187 190 202 205 206 210 213 216 217 218 224 227 228 230 231 233 234 236 240 241 242 243 248 250 257 258 260 262 265 269 270 274 276 281 289 291 292 293 295 296 298 299 303 310 312 313 315 317 320 321 322 326 330 331 339 343 345 346 357 358 359 364 365 366 367 368 378 380 382 383 389 393 395 397 399 401 a 8 10 21 25 28 32 35 36 39 40 45 49 51 55 56 57 58 60 62 65 69 73 76 77 79 80 81 84 87 88 90 93 95 98 102 105 116 117 120 121 122 127 128 132 138 141 142 143 144 149 151 159 163 168 169 171 179 182 187 190 202 205 206 210 213 216 217 218 224 227 228 230 231 233 234 236 240 241 242 243 248 250 257 258 260 262 265 269 270 274 276 281 289 291 292 293 295 296 298 299 303 310 312 313 315 317 320 321 322 326 330 331 339 343 345 346 357 358 359 364 365 366 367 368 378 380 382 383 389 393 395 397 399 401 a 8 10 21 25 28 32 35 36 39 40 45 49 51 55 56 57 58 60 62 65 69 73 76 77 79 80 81 84 87 88 90 93 95 98 102 105 116 117 120 121 122 127 128 132 138 141 142 143 144 149 151 159 163 168 169 171 179 182 187 190 205 206 210 213 215 216 217 218 224 227 228 230 231 233 234 236 240 241 242 243 248 250 257 258 260 262 265 269 270 274 276 281 289 291 292 293 295 296 298 299 303 310 312 313 315 317 320 321 322 326 330 331 339 343 345 346 357 358 359 364 365 366 367 368 378 380 382 383 389 393 395 397 399 401 a 8 10 21 25 28 32 35 36 39 40 45 49 51 55 56 57 58 60 62 65 69 73 76 77 79 80 81 84 87 88 90 93 95 98 102 105 116 117 120 121 122 127 128 132 138 141 142 143 144 149 151 159 163 168 169 171 179 182 187 190 205 206 213 215 216 217 218 223 224 227 228 230 231 233 234 236 240 241 242 243 248 250 257 258 260 262 265 269 270 274 276 281 289 291 292 293 295 296 298 299 303 310 312 313 315 317 320 321 322 326 330 331 339 343 345 346 357 358 359 364 365 366 367 368 378 380 382 383 389 393 395 397 399 401 a 8 10 21 25 28 32 35 36 39 45 49 51 55 56 57 58 60 62 65 69 73 76 77 79 80 81 84 87 88 90 93 95 98 102 105 116 117 120 121 122 127 128 132 138 141 142 143 144 149 151 159 163 168 169 171 179 182 187 190 205 206 213 215 216 217 218 223 224 227 228 230 231 233 234 236 240 241 242 243 245 248 250 257 258 260 262 265 269 270 274 276 281 289 291 292 293 295 296 298 299 303 310 312 313 315 317 320 321 322 326 330 331 339 343 345 346 357 358 359 364 365 366 367 368 378 380 382 383 389 393 395 397 399 401 a 8 10 21 25 28 32 35 36 39 45 49 51 55 56 57 58 60 62 65 69 73 76 77 79 80 81 84 87 88 90 93 95 98 102 103 105 116 117 120 121 122 127 128 132 138 141 142 143 144 149 151 159 163 168 169 171 179 182 187 190 205 206 213 215 216 218 223 224 227 228 230 231 233 234 236 240 241 242 243 245 248 250 257 258 260 262 265 269 270 274 276 281 289 291 292 293 295 296 298 299 303 310 312 313 315 317 320 321 322 326 330 331 339 343 345 346 357 358 359 364 365 366 367 368 378 380 382 383 389 393 395 397 399 401 a 8 10 21 25 28 32 35 36 39 45 49 51 55 56 57 58 60 62 65 69 73 76 77 79 80 81 84 87 88 90 93 95 98 102 103 105 116 117 120 121 122 127 128 132 138 141 142 143 144 149 159 163 168 169 171 179 182 187 190 204 205 206 213 215 216 218 223 224 227 228 230 231 233 234 236 240 241 242 243 245 248 250 257 258 260 262 265 269 270 274 276 281 289 291 292 293 295 296 298 299 303 310 312 313 315 317 320 321 322 326 330 331 339 343 345 346 357 358 359 364 365 366 367 368 378 380 382 383 389 393 395 397 399 401 a 8 10 21 25 28 32 35 36 39 45 49 51 55 56 57 58 60 62 65 69 73 76 77 79 80 81 84 87 88 90 93 95 98 102 103 105 116 117 120 121 122 127 128 132 138 141 142 143 144 149 159 163 168 169 171 179 182 187 190 204 205 206 213 215 216 223 224 227 228 230 231 233 234 236 240 241 242 243 245 248 250 257 258 260 262 265 269 270 274 276 281 289 291 292 293 295 296 298 299 303 310 312 313 315 317 320 321 322 326 330 331 339 343 345 346 357 358 359 364 365 366 367 368 376 378 380 382 383 389 393 395 397 399 401 a 8 10 21 25 28 32 35 36 39 45 49 51 55 56 57 58 60 62 65 69 73 76 77 79 80 81 84 87 88 90 93 95 98 102 103 105 116 117 120 121 122 127 128 132 138 141 142 143 144 149 159 163 168 169 171 179 182 187 190 204 205 206 213 215 216 223 224 227 228 230 231 233 234 236 240 242 243 245 246 248 250 257 258 260 262 265 269 270 274 276 281 289 291 292 293 295 296 298 299 303 310 312 313 315 317 320 321 322 326 330 331 339 343 345 346 357 358 359 364 365 366 367 368 376 378 380 382 383 389 393 395 397 399 401 a 8 10 21 25 28 32 35 36 39 45 49 51 55 56 57 58 60 62 65 69 73 76 77 79 80 81 84 87 88 90 93 95 98 102 103 105 116 117 120 121 122 127 128 132 138 141 142 143 144 149 159 163 168 169 171 179 182 187 190 204 205 206 213 215 216 223 224 227 228 230 231 233 234 236 240 243 245 246 248 250 257 258 260 262 265 269 270 274 276 281 289 291 292 293 295 296 298 299 303 310 312 313 315 317 320 321 322 326 330 331 339 343 345 346 357 358 359 364 365 366 367 368 376 378 380 382 383 389 390 393 395 397 399 401 a 8 10 21 25 28 32 35 36 39 45 49 51 55 56 57 58 60 62 65 69 73 76 77 79 80 81 84 87 88 90 93 95 98 102 103 105 116 117 120 121 122 127 128 132 138 141 142 143 144 149 159 163 168 169 171 179 182 187 190 204 205 206 213 215 216 223 224 227 228 230 231 233 234 236 240 243 245 246 248 257 258 260 262 265 269 270 274 276 281 289 291 292 293 295 296 298 299 303 310 312 313 315 317 320 321 322 326 330 331 339 343 345 346 357 358 359 364 365 366 367 368 369 376 378 380 382 383 389 390 393 395 397 399 401 a 8 10 21 25 28 32 35 36 39 45 49 51 55 56 57 58 60 62 65 69 73 76 77 79 80 81 84 87 88 90 93 95 98 102 103 105 116 117 120 121 122 127 132 138 141 142 143 144 149 159 163 165 168 169 171 179 182 187 190 204 205 206 213 215 216 223 224 227 228 230 231 233 234 236 240 243 245 246 248 257 258 260 262 265 269 270 274 276 281 289 291 292 293 295 296 298 299 303 310 312 313 315 317 320 321 322 326 330 331 339 343 345 346 357 358 359 364 365 366 367 368 369 376 378 380 382 383 389 390 393 395 397 399 401 a 8 10 21 25 28 32 35 36 39 45 49 51 55 56 57 58 60 62 65 69 73 76 77 79 80 81 83 84 87 88 90 93 95 98 102 103 105 116 117 120 121 122 127 132 138 141 142 143 144 149 159 163 165 168 169 171 179 182 187 190 204 205 206 213 215 216 223 224 227 228 230 231 233 234 236 240 243 245 246 248 257 258 260 262 269 270 274 276 281 289 291 292 293 295 296 298 299 303 310 312 313 315 317 320 321 322 326 330 331 339 343 345 346 357 358 359 364 365 366 367 368 369 376 378 380 382 383 389 390 393 395 397 399 401 a 8 10 21 25 28 32 35 36 39 45 51 55 56 57 58 60 62 65 69 73 76 77 79 80 81 83 84 87 88 90 93 95 98 102 103 105 116 117 120 121 122 127 132 138 141 142 143 144 149 159 163 165 168 169 171 179 182 187 190 204 205 206 213 215 216 223 224 227 228 230 231 233 234 236 240 243 245 246 248 257 258 260 262 269 270 274 276 281 289 291 292 293 295 296 298 299 303 310 312 313 315 317 320 321 322 326 329 330 331 339 343 345 346 357 358 359 364 365 366 367 368 369 376 378 380 382 383 389 390 393 395 397 399 401 a 8 10 21 24 25 28 32 35 36 39 45 51 55 56 57 58 60 62 65 69 73 76 77 79 80 81 83 84 87 88 90 93 95 98 102 103 105 116 117 120 121 122 127 132 138 141 142 143 144 159 163 165 168 169 171 179 182 187 190 204 205 206 213 215 216 223 224 227 228 230 231 233 234 236 240 243 245 246 248 257 258 260 262 269 270 274 276 281 289 291 292 293 295 296 298 299 303 310 312 313 315 317 320 321 322 326 329 330 331 339 343 345 346 357 358 359 364 365 366 367 368 369 376 378 380 382 383 389 390 393 395 397 399 401 a 8 10 21 24 25 28 32 35 36 39 45 51 55 56 57 58 60 62 65 69 73 76 77 79 80 81 83 84 87 88 90 93 95 98 102 103 105 112 116 117 120 121 122 127 132 138 141 142 143 144 159 163 165 168 169 171 179 182 187 190 204 205 206 213 215 216 223 224 227 228 230 231 233 234 236 240 243 245 246 248 257 258 260 262 269 270 276 281 289 291 292 293 295 296 298 299 303 310 312 313 315 317 320 321 322 326 329 330 331 339 343 345 346 357 358 359 364 365 366 367 368 369 376 378 380 382 383 389 390 393 395 397 399 401 a 8 10 21 24 25 28 32 35 36 39 45 51 53 55 56 57 58 60 62 65 69 73 76 77 79 80 81 83 84 87 88 90 93 95 98 102 103 105 112 116 117 120 121 122 127 132 138 141 142 143 144 159 163 165 168 169 171 179 182 187 190 204 205 206 213 215 216 223 224 227 228 230 231 233 234 236 240 243 245 246 248 257 258 260 262 269 270 276 281 289 291 292 293 296 298 299 303 310 312 313 315 317 320 321 322 326 329 330 331 339 343 345 346 357 358 359 364 365 366 367 368 369 376 378 380 382 383 389 390 393 395 397 399 401 a 8 10 21 24 25 28 32 35 36 39 45 48 51 53 55 56 57 58 60 62 65 69 73 76 77 79 80 81 83 84 87 88 90 93 95 98 102 103 105 112 117 120 121 122 127 132 138 141 142 143 144 159 163 165 168 169 171 179 182 187 190 204 205 206 213 215 216 223 224 227 228 230 231 233 234 236 240 243 245 246 248 257 258 260 262 269 270 276 281 289 291 292 293 296 298 299 303 310 312 313 315 317 320 321 322 326 329 330 331 339 343 345 346 357 358 359 364 365 366 367 368 369 376 378 380 382 383 389 390 393 395 397 399 401 a 8 10 21 24 25 28 32 35 36 39 45 48 51 53 55 56 57 58 60 62 65 69 73 76 77 79 80 81 83 84 87 88 90 93 95 98 102 103 105 112 117 120 121 122 127 132 138 141 142 143 144 159 163 165 168 169 171 179 182 187 190 204 205 206 213 215 216 223 224 225 227 228 230 231 233 234 236 240 243 245 246 248 257 258 260 262 269 270 276 281 289 291 292 293 296 298 299 310 312 313 315 317 320 321 322 326 329 330 331 339 343 345 346 357 358 359 364 365 366 367 368 369 376 378 380 382 383 389 390 393 395 397 399 401 a 8 10 21 24 25 28 32 35 36 39 45 48 51 53 56 57 58 60 62 65 69 73 76 77 79 80 81 83 84 87 88 90 93 95 98 102 103 105 112 117 120 121 122 127 132 138 141 142 143 144 159 163 165 168 169 171 179 182 187 190 204 205 206 213 215 216 223 224 225 227 228 230 231 233 234 236 240 243 245 246 248 257 258 260 262 269 270 276 281 289 291 292 293 296 298 299 310 312 313 315 317 320 321 322 326 329 330 331 339 343 345 346 357 358 359 363 364 365 366 367 368 369 376 378 380 382 383 389 390 393 395 397 399 401 a 8 10 21 24 25 28 32 35 36 39 45 48 51 53 56 57 58 60 62 65 69 73 76 77 79 80 81 83 84 87 88 90 93 95 98 102 103 105 112 117 120 121 122 127 132 138 141 142 143 144 159 163 165 168 169 171 179 182 187 190 204 205 206 213 215 216 223 224 225 227 228 230 231 233 234 236 240 243 245 246 248 257 258 260 262 269 270 276 279 281 289 291 292 293 296 298 299 310 312 313 315 317 321 322 326 329 330 331 339 343 345 346 357 358 359 363 364 365 366 367 368 369 376 378 380 382 383 389 390 393 395 397 399 401 a 8 10 21 24 25 28 32 35 36 39 45 48 51 53 56 57 58 60 62 65 69 73 76 77 79 80 81 83 84 87 88 90 93 95 98 102 103 105 112 117 120 121 122 127 132 138 141 142 143 144 159 163 165 168 169 171 179 182 187 190 204 205 206 213 215 216 223 224 225 227 228 230 231 233 234 236 240 243 245 246 248 257 258 260 262 269 270 276 279 281 289 291 292 293 296 298 299 310 312 313 315 317 321 326 329 330 331 339 343 345 346 350 357 358 359 363 364 365 366 367 368 369 376 378 380 382 383 389 390 393 395 397 399 401 a 8 10 21 24 25 28 32 35 36 39 45 48 51 53 56 57 58 60 62 65 69 73 76 77 79 80 81 83 84 87 88 90 93 95 98 102 103 105 112 117 121 122 127 132 138 141 142 143 144 159 163 164 165 168 169 171 179 182 187 190 204 205 206 213 215 216 223 224 225 227 228 230 231 233 234 236 240 243 245 246 248 257 258 260 262 269 270 276 279 281 289 291 292 293 296 298 299 310 312 313 315 317 321 326 329 330 331 339 343 345 346 350 357 358 359 363 364 365 366 367 368 369 376 378 380 382 383 389 390 393 395 397 399 401 a 8 10 21 24 25 28 32 35 36 39 45 48 51 53 56 57 58 60 62 65 69 73 76 77 79 80 81 83 84 87 88 90 93 95 98 102 103 105 112 117 121 122 127 132 138 141 142 143 144 159 163 164 165 168 169 171 179 182 187 190 204 205 206 213 215 216 223 224 225 227 228 230 231 233 234 236 237 240 243 245 246 248 257 258 260 262 269 270 276 279 281 289 291 292 293 296 298 310 312 313 315 317 321 326 329 330 331 339 343 345 346 350 357 358 359 363 364 365 366 367 368 369 376 378 380 382 383 389 390 393 395 397 399 401 a 8 10 21 24 25 28 32 35 36 39 45 48 51 53 56 57 58 60 62 65 69 70 73 76 77 79 81 83 84 87 88 90 93 95 98 102 103 105 112 117 121 122 127 132 138 141 142 143 144 159 163 164 165 168 169 171 179 182 187 190 204 205 206 213 215 216 223 224 225 227 228 230 231 233 234 236 237 240 243 245 246 248 257 258 260 262 269 270 276 279 281 289 291 292 293 296 298 310 312 313 315 317 321 326 329 330 331 339 343 345 346 350 357 358 359 363 364 365 366 367 368 369 376 378 380 382 383 389 390 393 395 397 399 401 a 8 10 21 24 25 28 32 35 36 39 45 48 51 53 56 57 58 60 62 65 69 70 73 76 77 79 81 83 84 87 88 90 93 95 98 102 103 105 112 117 121 122 127 132 138 141 142 143 144 159 163 164 165 168 169 171 179 182 187 190 204 205 206 213 215 216 223 224 225 227 228 230 231 233 234 236 237 240 243 245 246 248 257 258 260 262 267 269 270 276 279 281 289 291 292 293 296 298 310 312 313 315 317 321 329 330 331 339 343 345 346 350 357 358 359 363 364 365 366 367 368 369 376 378 380 382 383 389 390 393 395 397 399 401 a 8 10 21 24 25 28 30 32 35 36 39 45 48 51 53 56 57 58 60 62 65 69 70 73 76 77 79 81 83 84 87 88 90 93 95 98 102 103 105 112 117 121 122 127 132 138 141 142 143 144 159 163 164 165 168 169 171 179 182 187 190 204 205 206 213 215 216 223 224 225 227 228 230 231 233 234 236 237 240 243 245 246 248 257 258 260 262 267 269 270 276 279 281 289 291 292 293 296 298 310 312 313 315 317 321 329 330 331 343 345 346 350 357 358 359 363 364 365 366 367 368 369 376 378 380 382 383 389 390 393 395 397 399 401 a 8 10 21 24 25 28 30 32 35 36 39 42 45 48 51 53 56 57 58 60 62 65 69 70 73 76 77 79 81 83 84 87 88 90 93 95 98 102 103 105 112 117 121 122 127 132 138 141 142 143 144 159 163 164 165 168 169 171 179 182 187 190 204 205 206 213 215 216 223 224 225 227 228 230 231 233 234 236 237 240 243 245 246 248 257 258 260 262 267 269 270 276 279 281 289 291 292 293 296 298 310 312 313 315 317 321 329 330 331 343 345 350 357 358 359 363 364 365 366 367 368 369 376 378 380 382 383 389 390 393 395 397 399 401 a 8 10 21 22 24 25 28 30 32 35 36 39 42 45 48 51 53 56 58 60 62 65 69 70 73 76 77 79 81 83 84 87 88 90 93 95 98 102 103 105 112 117 121 122 127 132 138 141 142 143 144 159 163 164 165 168 169 171 179 182 187 190 204 205 206 213 215 216 223 224 225 227 228 230 231 233 234 236 237 240 243 245 246 248 257 258 260 262 267 269 270 276 279 281 289 291 292 293 296 298 310 312 313 315 317 321 329 330 331 343 345 350 357 358 359 363 364 365 366 367 368 369 376 378 380 382 383 389 390 393 395 397 399 401 a 8 10 21 22 24 25 28 30 32 35 36 39 42 45 48 51 53 56 58 60 62 65 69 70 73 76 77 79 81 83 84 88 90 93 95 98 102 103 105 112 117 121 122 127 132 138 141 142 143 144 146 159 163 164 165 168 169 171 179 182 187 190 204 205 206 213 215 216 223 224 225 227 228 230 231 233 234 236 237 240 243 245 246 248 257 258 260 262 267 269 270 276 279 281 289 291 292 293 296 298 310 312 313 315 317 321 329 330 331 343 345 350 357 358 359 363 364 365 366 367 368 369 376 378 380 382 383 389 390 393 395 397 399 401 a 8 10 21 22 24 25 28 30 32 35 36 39 42 45 48 51 53 56 58 60 62 65 69 70 73 76 77 79 81 83 84 90 93 95 98 102 103 105 112 117 121 122 127 132 138 141 142 143 144 146 159 163 164 165 168 169 171 179 182 187 190 204 205 206 213 215 216 223 224 225 227 228 230 231 233 234 236 237 240 243 245 246 248 257 258 260 262 267 269 270 276 279 281 285 289 291 292 293 296 298 310 312 313 315 317 321 329 330 331 343 345 350 357 358 359 363 364 365 366 367 368 369 376 378 380 382 383 389 390 393 395 397 399 401 a 8 10 21 22 24 25 28 30 32 35 36 39 42 45 48 51 53 56 58 60 62 65 69 70 73 76 77 79 81 83 84 90 93 95 98 102 103 105 112 117 121 122 127 132 138 141 142 143 144 146 159 160 163 164 165 168 169 171 179 182 187 190 204 205 206 213 215 216 223 224 225 227 228 230 231 233 234 236 237 240 243 245 246 248 257 258 260 262 267 269 270 276 279 281 285 289 291 292 293 296 298 310 312 313 315 317 321 329 330 331 343 345 350 357 358 359 363 364 365 366 368 369 376 378 380 382 383 389 390 393 395 397 399 401 a 8 10 21 22 24 25 28 30 32 35 36 39 42 45 48 51 53 56 58 62 65 69 70 73 76 77 79 81 83 84 90 93 95 98 102 103 105 112 117 121 122 127 132 138 141 142 143 144 146 159 160 163 164 165 168 169 171 179 181 182 187 190 204 205 206 213 215 216 223 224 225 227 228 230 231 233 234 236 237 240 243 245 246 248 257 258 260 262 267 269 270 276 279 281 285 289 291 292 293 296 298 310 312 313 315 317 321 329 330 331 343 345 350 357 358 359 363 364 365 366 368 369 376 378 380 382 383 389 390 393 395 397 399 401 a 8 10 21 22 24 25 28 30 32 35 36 39 42 45 48 51 53 56 58 62 65 69 70 73 76 77 79 81 83 84 90 95 98 102 103 105 112 117 121 122 127 132 138 141 142 143 144 146 159 160 163 164 165 168 169 171 179 181 182 187 190 204 205 206 213 215 216 223 224 225 227 228 230 231 233 234 236 237 240 243 245 246 248 254 257 258 260 262 267 269 270 276 279 281 285 289 291 292 293 296 298 310 312 313 315 317 321 329 330 331 343 345 350 357 358 359 363 364 365 366 368 369 376 378 380 382 383 389 390 393 395 397 399 401 a 8 10 21 22 24 25 28 30 32 35 36 39 42 45 48 51 53 56 58 62 65 69 70 73 76 77 79 81 82 83 84 90 95 98 102 103 105 112 117 121 122 127 132 138 141 142 143 144 146 159 160 163 164 165 168 169 171 179 181 182 187 190 204 205 206 213 215 216 223 224 225 227 228 230 231 233 234 236 237 240 243 245 246 248 254 257 258 260 262 267 269 270 276 279 281 285 289 291 292 293 296 310 312 313 315 317 321 329 330 331 343 345 350 357 358 359 363 364 365 366 368 369 376 378 380 382 383 389 390 393 395 397 399 401 a 8 10 21 22 24 25 28 30 32 35 36 39 42 45 48 51 53 56 58 62 65 69 70 73 76 77 79 81 82 83 84 90 95 98 102 103 105 112 117 121 122 127 132 138 141 142 143 144 146 159 160 163 164 165 168 169 171 177 179 181 182 187 190 204 205 206 213 215 216 223 224 225 227 228 230 231 233 234 236 237 240 243 245 246 248 254 257 258 260 262 267 269 270 276 279 281 285 289 291 292 293 296 310 312 313 315 317 321 329 330 331 343 345 350 357 358 359 363 364 365 366 368 369 376 380 382 383 389 390 393 395 397 399 401 a 8 10 21 22 24 25 26 28 30 32 35 36 39 42 45 48 51 53 56 58 62 65 69 70 73 76 77 79 81 82 83 84 90 95 98 102 103 105 112 117 121 122 127 132 138 141 142 143 144 146 159 160 163 164 165 168 169 171 177 179 181 182 187 190 204 205 206 213 215 216 223 224 225 227 228 230 231 233 234 236 237 240 243 245 246 248 254 257 258 260 262 267 269 270 276 279 281 285 289 291 292 293 296 310 312 313 315 317 321 329 330 331 343 345 350 357 358 359 363 364 365 366 368 369 376 380 382 389 390 393 395 397 399 401 a 8 10 21 22 24 25 26 28 29 30 32 35 36 39 42 45 48 51 53 56 58 62 65 69 70 73 76 77 81 82 83 84 90 95 98 102 103 105 112 117 121 122 127 132 138 141 142 143 144 146 159 160 163 164 165 168 169 171 177 179 181 182 187 190 204 205 206 213 215 216 223 224 225 227 228 230 231 233 234 236 237 240 243 245 246 248 254 257 258 260 262 267 269 270 276 279 281 285 289 291 292 293 296 310 312 313 315 317 321 329 330 331 343 345 350 357 358 359 363 364 365 366 368 369 376 380 382 389 390 393 395 397 399 401 a 8 10 21 22 24 25 26 28 29 30 32 35 36 39 42 45 48 51 53 56 58 62 65 69 70 73 76 77 81 82 83 84 90 95 98 102 103 105 112 117 121 122 127 132 138 141 142 143 144 146 159 160 163 164 165 168 169 171 177 179 181 182 187 190 204 205 206 213 215 216 223 224 225 227 228 230 231 233 234 236 237 240 243 245 246 248 254 257 258 260 262 267 269 270 276 279 285 289 291 292 293 296 304 310 312 313 315 317 321 329 330 331 343 345 350 357 358 359 363 364 365 366 368 369 376 380 382 389 390 393 395 397 399 401 a 8 10 21 22 24 25 26 28 29 30 32 35 36 39 42 45 48 51 53 56 58 62 65 69 70 72 73 76 77 81 82 83 84 90 95 98 102 103 105 112 117 121 122 127 132 138 141 142 143 144 146 159 160 163 164 165 168 169 171 177 179 181 182 187 190 204 205 206 213 215 216 223 224 225 227 228 230 231 234 236 237 240 243 245 246 248 254 257 258 260 262 267 269 270 276 279 285 289 291 292 293 296 304 310 312 313 315 317 321 329 330 331 343 345 350 357 358 359 363 364 365 366 368 369 376 380 382 389 390 393 395 397 399 401 a 8 10 21 22 24 25 26 28 29 30 32 35 36 39 42 45 48 51 53 56 58 62 65 69 70 72 73 76 77 81 82 83 84 90 95 98 102 103 105 112 117 121 122 127 132 138 141 142 143 144 146 159 160 163 164 165 168 169 171 177 179 181 182 187 190 204 205 206 213 215 216 223 224 225 227 228 230 231 234 236 237 240 243 245 246 248 254 257 258 260 262 267 269 270 276 279 285 289 291 292 293 296 304 310 312 313 315 317 321 329 330 331 343 345 350 357 358 359 363 365 366 368 369 370 376 380 382 389 390 393 395 397 399 401 a 8 10 21 22 24 25 26 28 29 30 32 35 36 39 42 45 48 51 53 56 58 62 65 69 70 72 73 76 77 81 82 83 84 90 95 98 102 103 105 112 117 121 122 127 132 138 141 142 143 144 146 159 160 163 164 165 168 169 171 177 179 181 182 187 190 204 205 206 213 215 216 223 224 225 227 228 230 231 234 236 237 240 243 245 246 248 254 257 258 260 262 267 269 270 276 279 285 289 291 292 293 296 304 309 310 312 313 315 317 321 329 330 331 343 345 350 357 358 359 363 365 366 368 369 370 376 380 382 389 390 393 397 399 401 a 8 10 21 22 24 25 26 28 29 30 32 35 36 39 42 45 48 51 53 56 58 62 65 69 70 72 73 76 77 81 82 83 90 95 98 102 103 105 112 117 121 122 127 132 138 141 142 143 144 146 159 160 163 164 165 168 169 171 177 179 181 182 187 190 204 205 206 213 215 216 223 224 225 227 228 230 231 234 236 237 240 243 245 246 248 254 257 258 260 262 267 269 270 276 279 282 285 289 291 292 293 296 304 309 310 312 313 315 317 321 329 330 331 343 345 350 357 358 359 363 365 366 368 369 370 376 380 382 389 390 393 397 399 401 a 8 10 21 22 24 25 26 28 29 30 32 35 36 39 42 45 48 51 53 56 58 62 65 69 70 72 73 76 77 81 82 83 90 95 98 102 103 105 112 117 121 122 127 132 138 141 142 143 144 146 152 159 160 163 164 165 168 169 171 177 179 181 182 187 190 204 205 206 213 215 216 223 224 225 227 228 230 231 234 236 237 240 243 245 246 248 254 257 258 260 262 267 269 270 276 279 282 285 289 291 292 293 296 304 309 310 312 313 315 317 321 329 330 331 343 345 350 357 358 359 363 365 366 368 369 370 376 380 382 389 390 397 399 401 a 8 10 21 22 24 25 26 28 29 30 32 35 36 39 42 45 48 51 53 56 58 62 65 69 70 72 73 76 77 81 82 83 90 95 98 102 103 105 112 117 121 122 127 132 138 141 142 143 144 146 152 159 160 163 164 165 167 168 169 171 177 179 181 182 187 190 204 205 206 213 215 216 223 224 225 227 228 230 231 234 236 237 240 243 245 246 248 254 257 258 260 262 267 269 270 276 279 282 285 289 291 292 293 296 304 309 310 312 313 315 317 321 329 330 331 343 345 350 357 358 359 363 365 366 368 369 370 376 380 382 389 390 399 401 a 8 10 21 22 24 25 26 28 29 30 32 35 36 39 42 45 48 51 53 56 58 61 62 65 69 70 72 73 76 77 81 82 83 90 98 102 103 105 112 117 121 122 127 132 138 141 142 143 144 146 152 159 160 163 164 165 167 168 169 171 177 179 181 182 187 190 204 205 206 213 215 216 223 224 225 227 228 230 231 234 236 237 240 243 245 246 248 254 257 258 260 262 267 269 270 276 279 282 285 289 291 292 293 296 304 309 310 312 313 315 317 321 329 330 331 343 345 350 357 358 359 363 365 366 368 369 370 376 380 382 389 390 399 401 a 8 10 21 22 24 25 26 28 29 30 32 35 36 39 42 45 48 51 53 56 58 61 62 65 69 70 72 73 76 77 81 82 83 90 98 102 103 105 112 117 122 127 132 138 141 142 143 144 146 152 159 160 163 164 165 167 168 169 171 177 179 181 182 187 190 204 205 206 213 215 216 223 224 225 227 228 230 231 234 236 237 240 243 245 246 248 254 257 258 260 262 267 269 270 276 279 282 285 289 291 292 293 296 304 309 310 312 313 315 317 321 329 330 331 343 345 350 357 358 359 363 365 366 368 369 370 376 380 382 389 390 398 399 401 a 8 10 21 22 24 25 26 28 29 30 32 35 36 39 42 45 48 51 53 56 58 61 62 65 69 70 72 73 76 77 81 82 83 90 98 102 103 105 106 112 117 122 127 132 138 141 142 143 144 146 152 159 160 163 164 165 167 169 171 177 179 181 182 187 190 204 205 206 213 215 216 223 224 225 227 228 230 231 234 236 237 240 243 245 246 248 254 257 258 260 262 267 269 270 276 279 282 285 289 291 292 293 296 304 309 310 312 313 315 317 321 329 330 331 343 345 350 357 358 359 363 365 366 368 369 370 376 380 382 389 390 398 399 401 a 8 10 21 22 24 25 26 28 29 30 32 35 36 39 42 45 48 51 53 56 58 61 62 65 69 70 72 73 76 77 81 82 83 90 98 102 103 105 106 112 117 122 127 132 138 141 142 143 144 146 152 159 160 163 164 165 167 169 171 177 179 181 182 187 190 204 205 206 213 215 216 223 224 225 227 228 230 231 234 236 237 240 243 245 246 254 257 258 260 262 267 269 270 276 279 282 285 289 291 292 293 296 304 309 310 312 313 315 317 321 329 330 331 343 345 350 357 358 359 363 365 366 368 369 370 376 380 382 388 389 390 398 399 401 a 8 10 21 22 24 25 26 28 29 30 32 35 36 39 42 45 48 51 53 56 58 61 62 65 69 70 72 73 76 77 81 82 83 90 98 102 103 105 106 112 117 122 127 132 138 141 142 143 144 146 152 159 160 163 164 165 167 169 171 177 179 181 182 187 190 204 205 206 213 215 216 223 224 225 227 228 230 231 234 236 237 240 243 245 246 254 257 258 260 262 267 269 270 276 279 282 285 289 291 292 293 304 309 310 312 313 315 317 321 329 330 331 343 345 350 357 358 359 363 365 366 368 369 370 371 376 380 382 388 389 390 398 399 401 a 8 10 21 22 24 25 26 28 29 30 32 35 36 39 42 45 48 51 53 56 58 61 62 65 69 70 72 73 76 77 81 82 83 90 98 102 103 105 106 112 117 122 127 132 138 141 142 143 144 146 152 159 160 163 164 165 167 169 171 177 179 181 182 187 190 204 205 206 213 215 216 223 224 225 227 228 230 231 234 236 237 240 243 245 246 254 257 258 260 262 267 269 270 273 276 279 282 285 289 291 292 293 304 309 310 312 313 315 317 329 330 331 343 345 350 357 358 359 363 365 366 368 369 370 371 376 380 382 388 389 390 398 399 401 a 8 10 21 22 24 25 26 28 29 30 32 35 36 39 42 45 48 51 53 56 58 61 62 65 69 70 72 73 76 77 81 82 83 90 98 102 103 105 106 112 117 122 127 132 138 141 142 143 144 145 146 152 159 160 163 164 165 167 169 171 177 179 181 182 187 190 204 205 206 213 215 216 223 224 225 227 228 230 231 234 236 237 240 243 245 246 254 257 258 260 262 267 269 270 273 276 279 282 285 289 291 292 293 304 309 310 312 313 315 317 329 330 331 343 345 350 357 358 359 363 365 368 369 370 371 376 380 382 388 389 390 398 399 401 a 8 10 21 22 24 25 26 28 29 30 32 35 36 39 42 45 48 51 53 56 58 61 62 65 69 70 72 73 76 77 81 82 83 90 98 102 103 105 106 112 117 122 127 132 138 141 142 143 144 145 146 152 159 160 163 164 165 167 169 171 177 179 181 182 187 190 204 205 206 212 213 215 216 223 224 225 227 228 230 231 234 236 237 240 243 245 246 254 257 258 260 262 267 269 270 273 276 279 282 285 289 291 292 293 304 309 310 312 313 315 317 329 330 331 343 345 350 357 358 359 363 365 368 369 370 371 376 380 382 388 390 398 399 401 a 8 10 21 22 24 25 26 28 29 30 32 35 36 39 42 45 48 51 53 56 58 61 62 65 69 70 72 73 76 77 81 82 83 90 98 102 103 105 106 112 117 122 127 132 138 141 142 143 144 145 146 152 159 160 163 164 165 167 169 171 177 179 181 182 187 190 204 205 206 212 213 215 216 223 224 225 227 228 230 231 234 236 237 240 243 245 246 254 257 258 260 262 267 269 270 273 276 279 282 285 289 291 292 293 304 309 310 312 313 317 329 330 331 343 345 350 357 358 359 363 365 368 369 370 371 376 380 382 388 390 392 398 399 401 a 8 10 21 22 24 25 26 28 29 30 32 35 36 39 42 45 48 51 53 56 58 61 62 65 69 70 72 73 76 77 81 82 83 90 98 102 103 105 106 112 117 122 127 132 138 141 142 143 144 145 146 152 159 160 163 164 165 167 169 171 177 179 181 182 187 190 204 205 206 212 213 215 216 223 224 225 227 228 230 231 234 236 237 240 243 245 246 254 257 258 260 262 267 269 270 273 276 279 282 285 289 291 292 293 304 309 310 312 313 317 319 329 330 331 343 345 350 357 358 359 363 365 368 369 370 371 376 380 382 388 390 392 398 401 Command being timed: "/solvers/driver/run.py --config=shortest-single --memory-limit=54 --time-limit=1800 /benchmark/random_instance/random_instance031_graph003.col /benchmark/random_instance/random_instance031_graph003_01.dat" User time (seconds): 1733.27 System time (seconds): 7.28 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): 28999176 Average resident set size (kbytes): 0 Major (requiring I/O) page faults: 0 Minor (reclaiming a frame) page faults: 7588162 Voluntary context switches: 24 Involuntary context switches: 3579 Swaps: 0 File system inputs: 0 File system outputs: 528 Socket messages sent: 0 Socket messages received: 0 Signals delivered: 0 Page size (bytes): 4096 Exit status: 0 #END: [Mon Sep 25 15:26:50 2023]