#BEGIN: [Mon Sep 4 15:07:24 2023] #HOST: s08 #TIMELIMIT: 1800 #MEMLIMIT: 0 #SOLVER: shortest-wallclock-banbaralab2-shortest1 #INSTANCE1: /benchmark/random_instance/random_instance031_graph002.col #INSTANCE2: /benchmark/random_instance/random_instance031_graph002_01.dat #COMMAND: docker run --cidfile /tmp/cid.txt --init --rm -t -v /home/share/benchmark/ISR-benchmark:/benchmark banbaralab2 --shortest /benchmark/random_instance/random_instance031_graph002.col /benchmark/random_instance/random_instance031_graph002_01.dat c /benchmark/random_instance/random_instance031_graph002.col c /benchmark/random_instance/random_instance031_graph002_01.dat s 300 291 247 217 324 249 314 285 146 210 188 246 178 83 161 2 174 320 156 240 268 72 378 337 328 84 32 43 138 301 367 278 225 141 374 91 42 90 398 40 9 22 245 228 341 117 362 8 139 82 195 254 394 263 200 173 119 277 167 311 177 377 227 287 198 293 27 23 361 157 75 233 150 74 389 20 266 243 116 242 333 282 220 149 267 388 190 186 400 135 127 364 250 255 197 208 69 326 366 372 206 108 368 100 272 49 192 296 153 257 239 387 122 162 403 340 129 63 351 350 212 281 21 259 344 194 132 t 6 15 150 74 335 306 266 157 76 141 65 29 238 211 97 119 31 49 339 4 232 140 130 272 19 278 26 59 158 178 144 62 143 281 365 305 95 350 132 165 124 336 229 360 209 204 318 223 135 301 320 236 68 193 139 293 36 111 72 215 230 118 121 247 299 41 32 12 222 52 319 104 268 159 363 245 352 23 47 190 308 276 196 372 309 358 84 82 77 218 386 387 267 290 98 99 340 378 113 331 24 366 108 250 356 313 381 207 172 400 288 85 316 255 330 392 256 249 212 228 296 399 225 265 126 7 200 a YES a 2 8 9 20 21 22 23 27 32 40 42 43 49 63 69 72 74 75 82 83 84 90 91 100 108 116 117 119 122 127 129 132 135 138 139 141 146 149 150 153 156 157 161 162 167 173 174 177 178 186 188 190 192 194 195 197 198 200 206 208 210 212 217 220 225 227 228 233 239 240 242 243 245 246 247 249 250 254 255 257 259 263 266 267 268 272 277 278 281 282 285 287 291 293 296 300 301 311 314 320 324 326 328 333 337 340 341 344 350 351 361 362 364 366 367 368 372 374 377 378 387 388 389 394 398 400 403 a 2 8 9 20 21 22 23 27 32 40 42 43 49 63 69 72 74 75 82 83 84 90 91 100 108 116 117 119 122 127 129 132 135 138 139 141 146 149 150 153 156 157 161 162 173 174 177 178 186 188 190 192 194 195 197 198 200 206 208 210 212 217 220 225 227 228 229 233 239 240 242 243 245 246 247 249 250 254 255 257 259 263 266 267 268 272 277 278 281 282 285 287 291 293 296 300 301 311 314 320 324 326 328 333 337 340 341 344 350 351 361 362 364 366 367 368 372 374 377 378 387 388 389 394 398 400 403 a 2 8 9 20 21 22 23 27 32 40 42 43 49 63 69 72 74 75 82 83 84 90 91 100 108 116 117 119 122 127 129 132 135 138 139 141 146 149 150 153 156 157 161 162 173 174 177 178 186 188 190 192 194 195 197 198 200 206 208 210 212 217 220 222 225 227 228 229 233 239 240 242 243 245 246 247 249 250 254 255 257 259 263 266 267 268 272 277 278 281 282 285 287 291 293 296 300 301 311 314 320 324 326 328 333 340 341 344 350 351 361 362 364 366 367 368 372 374 377 378 387 388 389 394 398 400 403 a 2 8 9 20 21 22 23 27 32 40 42 43 49 63 69 72 74 75 82 83 84 90 91 100 108 116 117 119 121 122 127 129 132 135 138 139 141 146 149 150 153 156 157 161 173 174 177 178 186 188 190 192 194 195 197 198 200 206 208 210 212 217 220 222 225 227 228 229 233 239 240 242 243 245 246 247 249 250 254 255 257 259 263 266 267 268 272 277 278 281 282 285 287 291 293 296 300 301 311 314 320 324 326 328 333 340 341 344 350 351 361 362 364 366 367 368 372 374 377 378 387 388 389 394 398 400 403 a 2 8 9 20 21 22 23 27 32 40 42 43 49 63 69 72 74 75 82 83 84 90 91 100 108 111 116 117 119 121 122 127 129 132 135 138 139 141 146 149 150 153 156 157 161 173 174 177 178 186 188 190 192 194 195 197 198 200 206 208 210 212 217 220 222 225 227 228 229 233 239 240 242 243 245 246 247 249 250 254 255 257 259 263 266 267 268 272 277 278 281 282 285 287 293 296 300 301 311 314 320 324 326 328 333 340 341 344 350 351 361 362 364 366 367 368 372 374 377 378 387 388 389 394 398 400 403 a 2 8 9 20 21 22 23 27 31 32 40 42 43 49 63 69 72 74 75 82 83 84 90 91 100 108 111 116 117 119 121 122 127 129 132 135 138 139 141 146 149 150 153 156 157 161 173 174 177 178 186 188 190 192 194 195 197 198 200 206 208 210 212 217 220 222 225 227 228 229 233 239 240 242 243 245 246 247 249 250 254 255 257 259 263 266 267 268 272 277 278 281 282 285 287 293 296 300 301 311 314 320 324 326 328 333 340 341 344 350 351 361 362 364 366 367 368 372 374 377 378 387 388 394 398 400 403 a 2 8 9 21 22 23 27 31 32 40 42 43 49 63 69 72 74 75 82 83 84 90 91 100 108 111 116 117 119 121 122 127 129 132 135 138 139 141 146 149 150 153 156 157 161 173 174 177 178 186 188 190 192 194 195 197 198 200 206 208 210 212 217 220 222 225 227 228 229 233 239 240 242 243 245 246 247 249 250 254 255 257 259 263 266 267 268 272 277 278 281 282 285 287 293 296 300 301 311 314 320 324 326 328 331 333 340 341 344 350 351 361 362 364 366 367 368 372 374 377 378 387 388 394 398 400 403 a 2 8 9 21 22 23 27 31 32 40 42 43 49 63 69 72 74 75 82 83 84 90 91 100 108 111 116 117 119 121 122 127 129 132 135 138 139 141 146 149 150 153 156 157 161 173 174 177 178 186 188 190 192 194 195 197 198 200 206 208 210 212 217 220 222 225 227 228 229 233 239 240 242 243 245 247 249 250 254 255 257 259 263 266 267 268 272 277 278 281 282 285 287 293 296 299 300 301 311 314 320 324 326 328 331 333 340 341 344 350 351 361 362 364 366 367 368 372 374 377 378 387 388 394 398 400 403 a 2 8 9 21 22 23 27 31 32 40 43 49 63 69 72 74 75 82 83 84 90 91 100 108 111 116 117 119 121 122 127 129 132 135 138 139 141 146 149 150 153 156 157 161 173 174 177 178 186 188 190 192 194 195 197 198 200 206 208 210 212 217 220 222 225 227 228 229 233 239 240 242 243 245 247 249 250 254 255 257 259 263 266 267 268 272 277 278 281 282 285 287 293 296 299 300 301 311 314 320 324 326 328 331 333 340 341 344 350 351 361 362 364 365 366 367 368 372 374 377 378 387 388 394 398 400 403 a 2 8 9 21 22 23 27 31 32 40 43 49 63 69 72 74 75 82 83 84 90 91 100 108 111 116 117 119 121 122 127 129 132 135 138 139 141 146 149 150 153 156 157 161 173 174 177 178 186 188 190 192 194 195 197 198 200 206 208 210 212 217 220 222 225 227 228 229 233 239 240 242 243 245 247 249 250 254 255 257 259 263 266 267 268 272 277 278 281 282 285 287 293 296 299 300 301 311 314 319 320 324 326 328 331 333 340 341 344 350 351 361 362 364 365 366 367 368 372 374 377 378 387 388 394 398 400 a 2 8 9 21 22 23 27 31 32 40 43 49 63 69 72 74 75 82 83 84 90 91 100 108 111 116 117 119 121 122 127 129 132 135 138 139 141 146 149 150 153 156 157 161 173 174 178 186 188 190 192 194 195 197 198 200 206 208 210 212 217 220 222 225 227 228 229 232 233 239 240 242 243 245 247 249 250 254 255 257 259 263 266 267 268 272 277 278 281 282 285 287 293 296 299 300 301 311 314 319 320 324 326 328 331 333 340 341 344 350 351 361 362 364 365 366 367 368 372 374 377 378 387 388 394 398 400 a 2 8 9 21 22 23 27 31 32 40 43 49 63 69 72 74 75 82 83 84 90 91 100 108 111 116 117 119 121 122 127 129 132 135 138 139 141 146 149 150 153 156 157 161 173 174 178 186 188 190 192 194 195 197 198 200 206 208 212 217 220 222 225 227 228 229 230 232 233 239 240 242 243 245 247 249 250 254 255 257 259 263 266 267 268 272 277 278 281 282 285 287 293 296 299 300 301 311 314 319 320 324 326 328 331 333 340 341 344 350 351 361 362 364 365 366 367 368 372 374 377 378 387 388 394 398 400 a 2 8 9 21 22 23 27 31 32 40 43 49 63 69 72 74 75 82 83 84 90 91 100 108 111 116 117 119 121 122 127 129 132 135 138 139 141 146 149 150 153 156 157 161 173 174 178 186 188 190 192 194 195 197 198 200 206 207 208 212 217 220 222 225 227 228 229 230 232 233 239 240 242 243 245 247 249 250 254 255 257 259 263 266 267 268 272 277 278 281 282 285 287 293 296 299 300 301 311 314 319 320 324 326 328 331 333 340 341 344 350 351 361 362 364 365 366 367 368 372 377 378 387 388 394 398 400 a 2 8 9 21 22 23 27 31 32 40 43 49 63 69 72 74 75 82 83 84 90 91 100 108 111 116 117 119 121 122 127 129 132 135 138 139 141 146 149 150 153 156 157 161 173 174 178 186 188 190 192 194 195 197 198 200 206 207 208 212 217 220 222 225 227 228 229 230 232 233 239 240 242 243 245 247 249 250 254 255 257 259 263 266 267 268 272 277 278 281 282 285 287 293 296 299 300 301 311 314 319 320 324 326 328 331 333 340 341 344 350 351 361 362 364 365 366 367 368 372 377 378 387 388 392 398 400 a 2 8 9 21 22 23 27 31 32 40 43 49 63 69 72 74 75 82 83 84 90 91 100 108 111 116 117 119 121 122 127 129 132 135 138 139 141 146 149 150 153 156 157 161 173 174 178 186 188 190 192 194 195 197 198 200 206 207 208 212 217 220 222 223 225 227 228 229 230 232 233 239 240 242 243 245 247 249 250 254 255 257 263 266 267 268 272 277 278 281 282 285 287 293 296 299 300 301 311 314 319 320 324 326 328 331 333 340 341 344 350 351 361 362 364 365 366 367 368 372 377 378 387 388 392 398 400 a 2 8 9 21 22 23 27 31 32 40 43 49 63 69 72 74 75 82 83 84 90 91 100 108 111 116 117 119 121 122 127 129 132 135 138 139 141 146 149 150 153 156 157 161 173 174 178 186 188 190 192 194 195 197 198 200 206 207 208 212 215 217 220 222 223 225 227 228 229 230 232 233 239 240 242 243 245 247 249 250 254 255 257 263 266 267 268 272 277 278 281 282 285 287 293 296 299 300 301 311 314 319 320 324 326 328 331 333 340 341 350 351 361 362 364 365 366 367 368 372 377 378 387 388 392 398 400 a 2 8 9 21 22 23 27 31 32 40 43 49 63 69 72 74 75 82 83 84 91 100 108 111 116 117 119 121 122 127 129 132 135 138 139 141 146 149 150 153 156 157 161 173 174 178 186 188 190 192 194 195 197 198 200 206 207 208 212 215 217 220 222 223 225 227 228 229 230 232 233 239 240 242 243 245 247 249 250 254 255 257 263 266 267 268 272 277 278 281 282 285 287 293 296 299 300 301 311 314 319 320 324 326 328 331 333 340 341 350 351 352 361 362 364 365 366 367 368 372 377 378 387 388 392 398 400 a 2 8 9 21 22 23 27 31 32 40 43 49 63 69 72 74 82 83 84 91 100 108 111 116 117 119 121 122 127 129 132 135 138 139 141 146 149 150 153 156 157 161 173 174 178 186 188 190 192 194 195 197 198 200 206 207 208 212 215 217 220 222 223 225 227 228 229 230 232 233 239 240 242 243 245 247 249 250 254 255 257 263 265 266 267 268 272 277 278 281 282 285 287 293 296 299 300 301 311 314 319 320 324 326 328 331 333 340 341 350 351 352 361 362 364 365 366 367 368 372 377 378 387 388 392 398 400 a 2 8 9 21 22 23 27 31 32 40 43 49 63 69 72 74 82 83 84 91 100 108 111 116 117 119 121 122 127 129 132 135 138 139 141 146 149 150 153 157 161 173 174 178 186 188 190 192 194 195 197 198 200 204 206 207 208 212 215 217 220 222 223 225 227 228 229 230 232 233 239 240 242 243 245 247 249 250 254 255 257 263 265 266 267 268 272 277 278 281 282 285 287 293 296 299 300 301 311 314 319 320 324 326 328 331 333 340 341 350 351 352 361 362 364 365 366 367 368 372 377 378 387 388 392 398 400 a 2 8 9 15 21 22 23 27 31 32 40 43 49 63 69 72 74 82 83 84 91 100 108 111 116 117 119 121 122 127 129 132 135 138 139 141 146 149 150 153 157 161 173 174 178 186 188 190 192 194 195 197 198 200 204 206 207 208 212 215 217 220 222 223 225 227 228 229 230 232 233 239 240 242 243 245 247 249 250 254 255 257 263 265 266 267 268 272 277 278 281 282 285 287 293 296 299 300 301 311 314 319 320 324 326 328 331 333 340 341 350 351 352 361 362 364 365 366 368 372 377 378 387 388 392 398 400 a 2 8 9 15 21 22 23 27 31 32 40 43 49 63 69 72 74 82 83 84 91 100 108 111 116 117 119 121 122 127 129 132 135 138 139 141 146 149 150 153 157 161 173 174 178 186 188 190 192 194 195 197 198 200 204 206 207 208 212 215 217 220 222 223 225 227 228 229 230 232 233 239 240 242 243 245 247 249 250 254 255 257 263 265 266 267 268 272 277 278 281 282 285 287 293 296 299 300 301 309 311 314 319 320 324 326 328 331 333 340 341 350 351 352 361 362 364 365 366 368 372 377 378 387 388 392 400 a 2 8 9 15 21 22 23 27 31 32 40 43 49 63 69 72 74 82 83 84 91 100 108 111 116 117 119 121 122 127 132 135 138 139 141 146 149 150 153 157 161 173 174 178 186 188 190 192 194 195 197 198 200 204 206 207 208 212 215 217 220 222 223 225 227 228 229 230 232 233 239 240 242 243 245 247 249 250 254 255 257 263 265 266 267 268 272 277 278 281 282 285 287 288 293 296 299 300 301 309 311 314 319 320 324 326 328 331 333 340 341 350 351 352 361 362 364 365 366 368 372 377 378 387 388 392 400 a 2 8 9 15 21 22 23 27 31 32 40 43 49 63 69 72 74 82 83 84 91 100 108 111 116 117 119 121 122 127 132 135 138 139 141 146 149 150 153 157 161 173 174 178 186 188 190 192 194 195 197 198 200 204 206 207 208 212 215 217 220 222 223 225 227 228 229 230 232 233 239 240 242 245 247 249 250 254 255 257 263 265 266 267 268 272 277 278 281 282 285 287 288 293 296 299 300 301 309 311 314 319 320 324 326 328 331 333 340 341 350 351 352 361 362 363 364 365 366 368 372 377 378 387 388 392 400 a 2 8 9 15 21 22 23 27 31 32 40 43 49 63 69 72 74 82 83 84 91 99 100 108 111 116 117 119 121 122 127 132 135 138 139 141 146 149 150 153 157 161 173 174 178 186 188 190 192 194 195 197 198 200 204 206 207 208 212 215 217 220 222 223 225 227 228 229 230 232 233 239 240 242 245 247 249 250 254 255 257 263 265 266 267 268 272 277 278 281 282 285 287 288 293 296 299 300 301 309 311 314 319 320 324 326 328 331 333 340 341 350 351 352 361 362 363 364 365 366 368 372 377 378 387 392 400 a 6 8 9 15 21 22 23 27 31 32 40 43 49 63 69 72 74 82 83 84 91 99 100 108 111 116 117 119 121 122 127 132 135 138 139 141 146 149 150 153 157 161 173 174 178 186 188 190 192 194 195 197 198 200 204 206 207 208 212 215 217 220 222 223 225 227 228 229 230 232 233 239 240 242 245 247 249 250 254 255 257 263 265 266 267 268 272 277 278 281 282 285 287 288 293 296 299 300 301 309 311 314 319 320 324 326 328 331 333 340 341 350 351 352 361 362 363 364 365 366 368 372 377 378 387 392 400 a 6 8 9 15 21 22 23 27 31 32 40 43 49 63 72 74 82 83 84 91 99 100 108 111 116 117 119 121 122 127 132 135 138 139 141 146 149 150 153 157 161 172 173 174 178 186 188 190 192 194 195 197 198 200 204 206 207 208 212 215 217 220 222 223 225 227 228 229 230 232 233 239 240 242 245 247 249 250 254 255 257 263 265 266 267 268 272 277 278 281 282 285 287 288 293 296 299 300 301 309 311 314 319 320 324 326 328 331 333 340 341 350 351 352 361 362 363 364 365 366 368 372 377 378 387 392 400 a 6 8 9 15 21 22 23 27 31 32 40 43 49 63 72 74 82 83 84 91 99 100 108 111 116 117 119 121 122 127 132 135 138 139 141 146 149 150 153 157 161 172 173 174 178 186 188 190 192 194 195 197 198 200 204 206 207 208 212 215 220 222 223 225 227 228 229 230 232 233 239 240 242 245 247 249 250 254 255 257 263 265 266 267 268 272 277 278 281 282 285 287 288 293 296 299 300 301 309 311 314 319 320 324 326 328 331 333 340 341 350 351 352 361 362 363 364 365 366 368 372 377 378 387 392 399 400 a 6 8 9 15 21 22 23 27 31 32 40 43 49 63 72 74 82 83 84 91 99 100 108 111 116 117 119 121 122 127 132 135 138 139 141 146 149 150 153 157 158 161 172 173 174 178 186 188 190 192 194 195 197 198 200 204 206 207 208 212 215 220 222 223 225 227 228 229 230 232 233 239 240 242 245 247 249 250 254 255 257 263 265 266 267 268 272 277 278 281 282 285 287 288 293 296 299 300 301 309 311 314 319 320 324 328 331 333 340 341 350 351 352 361 362 363 364 365 366 368 372 377 378 387 392 399 400 a 6 8 9 15 21 22 23 27 31 32 40 43 49 63 72 74 77 82 83 84 91 99 100 108 111 116 117 119 121 122 127 132 135 138 139 141 146 149 150 153 157 158 172 173 174 178 186 188 190 192 194 195 197 198 200 204 206 207 208 212 215 220 222 223 225 227 228 229 230 232 233 239 240 242 245 247 249 250 254 255 257 263 265 266 267 268 272 277 278 281 282 285 287 288 293 296 299 300 301 309 311 314 319 320 324 328 331 333 340 341 350 351 352 361 362 363 364 365 366 368 372 377 378 387 392 399 400 a 6 8 9 15 21 22 23 27 31 32 40 43 49 63 72 74 77 82 83 84 91 99 100 108 111 116 117 119 121 122 127 132 135 138 139 141 146 149 150 153 157 158 172 173 174 178 186 188 190 192 194 197 198 200 204 206 207 208 212 215 220 222 223 225 227 228 229 230 232 233 239 240 242 245 247 249 250 254 255 257 263 265 266 267 268 272 277 278 281 282 285 287 288 293 296 299 300 301 308 309 311 314 319 320 324 328 331 333 340 341 350 351 352 361 362 363 364 365 366 368 372 377 378 387 392 399 400 a 6 8 9 15 21 22 23 27 31 32 40 43 49 63 72 74 77 82 83 84 91 99 100 108 111 116 117 119 121 122 127 130 132 135 138 139 141 146 149 150 153 157 158 172 173 174 178 186 190 192 194 197 198 200 204 206 207 208 212 215 220 222 223 225 227 228 229 230 232 233 239 240 242 245 247 249 250 254 255 257 263 265 266 267 268 272 277 278 281 282 285 287 288 293 296 299 300 301 308 309 311 314 319 320 324 328 331 333 340 341 350 351 352 361 362 363 364 365 366 368 372 377 378 387 392 399 400 a 6 9 15 21 22 23 27 31 32 40 43 49 63 72 74 77 82 83 84 91 99 100 108 111 116 117 119 121 122 127 130 132 135 138 139 141 146 149 150 153 157 158 172 173 174 178 186 190 192 194 197 198 200 204 206 207 208 212 215 220 222 223 225 227 228 229 230 232 233 239 240 242 245 247 249 250 254 255 257 263 265 266 267 268 272 276 277 278 281 282 285 287 288 293 296 299 300 301 308 309 311 314 319 320 324 328 331 333 340 341 350 351 352 361 362 363 364 365 366 368 372 377 378 387 392 399 400 a 6 9 15 19 22 23 27 31 32 40 43 49 63 72 74 77 82 83 84 91 99 100 108 111 116 117 119 121 122 127 130 132 135 138 139 141 146 149 150 153 157 158 172 173 174 178 186 190 192 194 197 198 200 204 206 207 208 212 215 220 222 223 225 227 228 229 230 232 233 239 240 242 245 247 249 250 254 255 257 263 265 266 267 268 272 276 277 278 281 282 285 287 288 293 296 299 300 301 308 309 311 314 319 320 324 328 331 333 340 341 350 351 352 361 362 363 364 365 366 368 372 377 378 387 392 399 400 a 6 9 15 19 22 23 27 31 32 40 43 49 63 72 74 77 82 83 84 91 99 108 111 116 117 119 121 122 127 130 132 135 138 139 141 146 149 150 153 157 158 172 173 174 178 186 190 192 194 197 198 200 204 206 207 208 212 215 220 222 223 225 227 228 229 230 232 233 239 240 242 245 247 249 250 254 255 257 263 265 266 267 268 272 276 277 278 281 282 285 287 288 293 296 299 300 301 305 308 309 311 314 319 320 324 328 331 333 340 341 350 351 352 361 362 363 364 365 366 368 372 377 378 387 392 399 400 a 6 9 15 19 22 23 27 31 32 40 43 49 63 72 74 77 82 83 84 91 99 108 111 116 117 119 121 122 127 130 132 135 138 139 141 146 149 150 153 157 158 172 173 174 178 186 190 192 194 197 198 200 204 206 207 208 212 215 220 222 223 225 227 228 229 230 232 233 239 240 242 245 247 249 250 254 255 257 265 266 267 268 272 276 277 278 281 282 285 287 288 293 296 299 300 301 305 308 309 311 314 319 320 324 328 330 331 333 340 341 350 351 352 361 362 363 364 365 366 368 372 377 378 387 392 399 400 a 6 9 15 19 22 23 27 31 32 40 43 47 49 63 72 74 77 82 83 84 91 99 108 111 116 117 119 121 122 127 130 132 135 138 139 141 146 149 150 153 157 158 172 173 174 178 186 190 192 194 197 198 200 204 206 207 208 212 215 220 222 223 225 227 228 229 230 232 233 239 242 245 247 249 250 254 255 257 265 266 267 268 272 276 277 278 281 282 285 287 288 293 296 299 300 301 305 308 309 311 314 319 320 324 328 330 331 333 340 341 350 351 352 361 362 363 364 365 366 368 372 377 378 387 392 399 400 a 6 9 15 19 22 23 27 31 32 40 43 47 49 63 72 74 77 82 83 84 91 99 108 111 116 117 119 121 127 130 132 135 138 139 141 146 149 150 153 157 158 172 173 174 178 186 190 192 194 197 198 200 204 206 207 208 212 215 220 222 223 225 227 228 229 230 232 233 239 242 245 247 249 250 254 255 257 265 266 267 268 272 276 277 278 281 282 285 287 288 293 296 299 300 301 305 308 309 311 314 319 320 324 328 330 331 333 340 341 350 351 352 358 361 362 363 364 365 366 368 372 377 378 387 392 399 400 a 6 9 15 19 22 23 27 31 32 40 43 47 49 63 72 74 77 82 83 84 91 99 108 111 116 117 119 121 127 130 132 135 138 139 141 146 149 150 153 157 158 172 173 174 178 186 190 192 194 198 200 204 206 207 208 212 215 220 222 223 225 227 228 229 230 232 233 239 242 245 247 249 250 254 255 257 265 266 267 268 272 276 277 278 281 282 285 287 288 293 296 299 300 301 305 308 309 311 314 319 320 324 328 330 331 333 340 341 350 351 352 358 361 362 363 364 365 366 368 372 377 378 386 387 392 399 400 a 6 9 15 19 22 23 27 31 32 40 41 43 47 49 63 72 74 77 82 83 84 99 108 111 116 117 119 121 127 130 132 135 138 139 141 146 149 150 153 157 158 172 173 174 178 186 190 192 194 198 200 204 206 207 208 212 215 220 222 223 225 227 228 229 230 232 233 239 242 245 247 249 250 254 255 257 265 266 267 268 272 276 277 278 281 282 285 287 288 293 296 299 300 301 305 308 309 311 314 319 320 324 328 330 331 333 340 341 350 351 352 358 361 362 363 364 365 366 368 372 377 378 386 387 392 399 400 a 6 9 15 19 22 23 27 31 32 40 41 43 47 49 63 72 74 77 82 83 84 99 108 111 116 117 119 121 127 130 132 135 138 139 141 146 149 150 153 157 158 172 173 174 178 186 190 192 194 198 200 204 206 207 208 212 215 220 222 223 225 228 229 230 232 233 239 242 245 247 249 250 254 255 257 265 266 267 268 272 276 277 278 281 282 285 287 288 293 296 299 300 301 305 306 308 309 311 314 319 320 324 328 330 331 333 340 341 350 351 352 358 361 362 363 364 365 366 368 372 377 378 386 387 392 399 400 a 6 9 15 19 22 23 27 31 32 40 41 43 47 49 63 72 74 77 82 83 84 99 108 111 116 117 119 121 127 130 132 135 138 139 141 146 149 150 153 157 158 172 173 174 178 186 190 192 194 198 200 204 206 207 208 212 215 220 222 223 225 228 229 230 232 233 239 242 245 247 249 250 254 255 257 265 266 267 268 272 276 277 278 281 282 285 287 288 293 296 299 300 301 305 306 308 309 311 314 318 319 320 324 328 330 331 333 340 341 350 351 352 358 361 362 363 365 366 368 372 377 378 386 387 392 399 400 a 6 9 15 19 22 23 27 31 32 40 41 43 47 49 72 74 77 82 83 84 99 108 111 116 117 119 121 127 130 132 135 138 139 141 143 146 149 150 153 157 158 172 173 174 178 186 190 192 194 198 200 204 206 207 208 212 215 220 222 223 225 228 229 230 232 233 239 242 245 247 249 250 254 255 257 265 266 267 268 272 276 277 278 281 282 285 287 288 293 296 299 300 301 305 306 308 309 311 314 318 319 320 324 328 330 331 333 340 341 350 351 352 358 361 362 363 365 366 368 372 377 378 386 387 392 399 400 a 6 9 15 19 22 23 27 31 32 40 41 43 47 49 72 74 77 82 83 84 99 108 111 116 117 119 121 127 130 132 135 138 139 141 143 146 149 150 153 157 158 172 173 174 178 186 190 192 194 198 200 204 206 207 208 212 215 220 222 223 225 228 229 230 232 233 239 242 245 247 249 250 254 255 257 265 266 267 268 272 276 277 278 281 282 285 287 288 290 293 296 299 300 301 305 306 308 309 311 314 318 319 320 328 330 331 333 340 341 350 351 352 358 361 362 363 365 366 368 372 377 378 386 387 392 399 400 a 6 9 12 15 19 22 23 27 31 32 40 41 43 47 49 72 74 77 82 83 84 99 108 111 116 117 119 121 127 130 132 135 138 139 141 143 146 149 150 153 157 158 172 173 174 178 186 190 192 194 198 200 204 206 207 212 215 220 222 223 225 228 229 230 232 233 239 242 245 247 249 250 254 255 257 265 266 267 268 272 276 277 278 281 282 285 287 288 290 293 296 299 300 301 305 306 308 309 311 314 318 319 320 328 330 331 333 340 341 350 351 352 358 361 362 363 365 366 368 372 377 378 386 387 392 399 400 a 6 9 12 15 19 22 23 27 31 32 40 41 43 47 49 72 74 76 77 82 83 84 99 108 111 116 117 119 121 130 132 135 138 139 141 143 146 149 150 153 157 158 172 173 174 178 186 190 192 194 198 200 204 206 207 212 215 220 222 223 225 228 229 230 232 233 239 242 245 247 249 250 254 255 257 265 266 267 268 272 276 277 278 281 282 285 287 288 290 293 296 299 300 301 305 306 308 309 311 314 318 319 320 328 330 331 333 340 341 350 351 352 358 361 362 363 365 366 368 372 377 378 386 387 392 399 400 a 6 9 12 15 19 22 23 27 31 32 40 41 43 47 49 72 74 76 77 82 83 84 99 108 111 116 117 119 121 130 132 135 138 139 141 143 146 149 150 153 157 158 172 173 174 178 186 190 192 194 198 200 204 206 207 209 212 215 220 222 223 225 228 229 230 232 233 239 242 245 247 249 250 254 255 257 265 266 267 268 272 276 277 278 281 282 285 287 288 290 293 296 299 300 301 305 306 308 309 311 318 319 320 328 330 331 333 340 341 350 351 352 358 361 362 363 365 366 368 372 377 378 386 387 392 399 400 a 6 9 12 15 19 22 23 27 31 32 40 41 43 47 49 72 74 76 77 82 83 84 99 108 111 113 116 117 119 121 130 132 135 138 139 141 143 146 149 150 153 157 158 172 173 174 178 186 190 192 194 198 200 204 206 207 209 212 215 220 222 223 225 228 229 230 232 233 239 242 245 247 249 250 254 255 257 265 266 267 268 272 276 277 278 281 282 285 287 288 290 293 296 299 300 301 305 306 308 309 311 318 319 320 328 330 331 333 340 341 350 351 352 358 361 362 363 365 366 368 372 378 386 387 392 399 400 a 6 9 12 15 19 22 23 27 31 32 40 41 43 47 49 62 72 74 76 77 82 83 84 99 108 111 113 116 117 119 121 130 132 135 138 139 141 143 146 149 150 153 157 158 172 173 174 178 186 190 192 194 198 200 204 206 207 209 212 215 220 222 223 225 228 229 230 232 233 239 242 245 247 249 250 254 255 257 265 266 267 268 272 276 277 278 281 282 287 288 290 293 296 299 300 301 305 306 308 309 311 318 319 320 328 330 331 333 340 341 350 351 352 358 361 362 363 365 366 368 372 378 386 387 392 399 400 a 6 9 12 15 19 22 23 27 31 32 40 41 43 47 49 62 72 74 76 77 82 84 99 108 111 113 116 117 119 121 130 132 135 138 139 141 143 146 149 150 153 157 158 172 173 174 178 186 190 192 194 198 200 204 206 207 209 212 215 220 222 223 225 228 229 230 232 233 239 242 245 247 249 250 254 255 257 265 266 267 268 272 276 277 278 281 282 287 288 290 293 296 299 300 301 305 306 308 309 311 313 318 319 320 328 330 331 333 340 341 350 351 352 358 361 362 363 365 366 368 372 378 386 387 392 399 400 a 6 9 12 15 19 23 27 31 32 40 41 43 47 49 62 72 74 76 77 82 84 99 108 111 113 116 117 119 121 130 132 135 138 139 141 143 146 149 150 153 157 158 172 173 174 178 186 190 192 194 196 198 200 204 206 207 209 212 215 220 222 223 225 228 229 230 232 233 239 242 245 247 249 250 254 255 257 265 266 267 268 272 276 277 278 281 282 287 288 290 293 296 299 300 301 305 306 308 309 311 313 318 319 320 328 330 331 333 340 341 350 351 352 358 361 362 363 365 366 368 372 378 386 387 392 399 400 a 6 9 12 15 19 23 27 31 32 40 41 43 47 49 62 72 74 76 77 82 84 99 108 111 113 116 117 119 121 130 132 135 138 139 141 143 146 149 150 153 157 158 172 173 174 178 186 190 192 194 196 198 200 204 206 207 209 212 215 220 222 223 225 228 229 230 232 233 239 242 245 247 249 250 254 255 257 265 266 267 268 272 276 277 278 281 282 287 288 290 293 296 299 300 301 305 306 308 309 311 313 318 319 320 328 330 331 333 340 350 351 352 358 361 362 363 365 366 368 372 378 381 386 387 392 399 400 a 6 9 12 15 19 23 27 31 32 41 43 47 49 62 72 74 76 77 82 84 99 108 111 113 116 117 119 121 130 132 135 138 139 141 143 146 149 150 153 157 158 172 173 174 178 186 190 192 194 196 198 200 204 206 207 209 212 215 220 222 223 225 228 229 230 232 233 239 242 245 247 249 250 254 255 256 257 265 266 267 268 272 276 277 278 281 282 287 288 290 293 296 299 300 301 305 306 308 309 311 313 318 319 320 328 330 331 333 340 350 351 352 358 361 362 363 365 366 368 372 378 381 386 387 392 399 400 a 6 9 12 15 19 23 27 31 32 41 43 47 49 62 72 74 76 77 82 84 97 99 108 111 113 116 117 119 121 130 132 135 138 139 141 143 146 149 150 153 157 158 172 173 174 178 186 190 192 194 196 198 200 204 206 207 209 212 215 220 222 223 225 228 229 230 232 233 239 242 245 247 249 250 254 255 256 257 265 266 267 268 272 276 277 278 281 282 287 288 290 293 296 299 300 301 305 306 308 309 311 313 318 319 320 328 330 331 340 350 351 352 358 361 362 363 365 366 368 372 378 381 386 387 392 399 400 a 6 9 12 15 19 23 27 31 32 41 43 47 49 62 72 74 76 77 82 84 97 98 99 108 111 113 116 117 119 121 130 132 135 138 139 141 143 146 149 150 153 157 158 172 173 174 178 186 190 192 194 196 198 200 204 206 207 209 212 215 220 222 223 225 228 229 230 232 233 239 242 245 247 249 250 254 255 256 257 265 266 267 268 272 276 278 281 282 287 288 290 293 296 299 300 301 305 306 308 309 311 313 318 319 320 328 330 331 340 350 351 352 358 361 362 363 365 366 368 372 378 381 386 387 392 399 400 a 6 9 12 15 19 23 27 31 32 41 43 47 49 62 72 74 76 77 82 84 97 98 99 108 111 113 116 117 118 119 121 130 132 135 138 139 141 143 146 149 150 157 158 172 173 174 178 186 190 192 194 196 198 200 204 206 207 209 212 215 220 222 223 225 228 229 230 232 233 239 242 245 247 249 250 254 255 256 257 265 266 267 268 272 276 278 281 282 287 288 290 293 296 299 300 301 305 306 308 309 311 313 318 319 320 328 330 331 340 350 351 352 358 361 362 363 365 366 368 372 378 381 386 387 392 399 400 a 6 9 12 15 19 23 27 31 32 41 43 47 49 62 72 74 76 77 82 84 97 98 99 108 111 113 116 118 119 121 130 132 135 138 139 141 143 146 149 150 157 158 172 173 174 178 186 190 192 194 196 198 200 204 206 207 209 212 215 218 220 222 223 225 228 229 230 232 233 239 242 245 247 249 250 254 255 256 257 265 266 267 268 272 276 278 281 282 287 288 290 293 296 299 300 301 305 306 308 309 311 313 318 319 320 328 330 331 340 350 351 352 358 361 362 363 365 366 368 372 378 381 386 387 392 399 400 a 4 6 12 15 19 23 27 31 32 41 43 47 49 62 72 74 76 77 82 84 97 98 99 108 111 113 116 118 119 121 130 132 135 138 139 141 143 146 149 150 157 158 172 173 174 178 186 190 192 194 196 198 200 204 206 207 209 212 215 218 220 222 223 225 228 229 230 232 233 239 242 245 247 249 250 254 255 256 257 265 266 267 268 272 276 278 281 282 287 288 290 293 296 299 300 301 305 306 308 309 311 313 318 319 320 328 330 331 340 350 351 352 358 361 362 363 365 366 368 372 378 381 386 387 392 399 400 a 4 6 12 15 19 23 26 27 31 32 41 43 47 49 62 72 74 76 77 82 84 97 98 99 108 111 113 116 118 119 121 130 132 135 138 139 141 143 146 149 150 157 158 172 173 174 178 186 190 192 194 196 198 200 204 206 207 209 212 215 218 220 222 223 225 228 229 230 232 233 239 242 245 247 249 250 254 255 256 257 265 266 267 268 272 276 278 281 282 287 288 290 293 296 299 300 301 305 306 308 309 311 313 318 319 320 328 330 331 340 350 351 352 358 362 363 365 366 368 372 378 381 386 387 392 399 400 a 4 6 12 15 19 23 26 27 31 32 41 43 47 49 62 72 74 76 77 82 84 97 98 99 108 111 113 116 118 119 121 124 130 132 135 138 139 141 143 146 149 150 157 158 172 173 174 178 186 190 192 194 196 198 200 204 206 207 209 212 215 218 220 222 223 225 228 229 230 232 233 239 245 247 249 250 254 255 256 257 265 266 267 268 272 276 278 281 282 287 288 290 293 296 299 300 301 305 306 308 309 311 313 318 319 320 328 330 331 340 350 351 352 358 362 363 365 366 368 372 378 381 386 387 392 399 400 a 4 6 12 15 19 23 26 27 31 32 41 43 47 49 62 72 74 76 77 82 84 97 98 99 108 111 113 116 118 119 121 124 130 132 135 138 139 141 143 146 149 150 157 158 165 172 173 174 178 186 190 194 196 198 200 204 206 207 209 212 215 218 220 222 223 225 228 229 230 232 233 239 245 247 249 250 254 255 256 257 265 266 267 268 272 276 278 281 282 287 288 290 293 296 299 300 301 305 306 308 309 311 313 318 319 320 328 330 331 340 350 351 352 358 362 363 365 366 368 372 378 381 386 387 392 399 400 a 4 6 12 15 19 23 26 27 31 32 41 43 47 49 62 68 72 74 76 77 82 84 97 98 99 108 111 113 116 118 119 121 124 130 132 135 138 139 141 143 146 149 150 157 158 165 172 173 174 178 186 190 194 196 198 200 204 206 207 209 212 215 218 220 222 223 225 228 229 230 232 233 239 245 247 249 250 254 255 256 257 265 266 267 268 272 276 278 281 282 287 288 290 293 296 299 300 301 305 306 308 309 311 313 318 319 320 328 330 331 340 350 352 358 362 363 365 366 368 372 378 381 386 387 392 399 400 a 4 6 7 12 15 19 23 26 27 31 32 41 43 47 49 62 68 72 74 76 77 82 84 97 98 99 108 111 113 116 118 119 121 124 130 132 135 138 139 141 143 146 149 150 157 158 165 172 173 174 178 186 190 194 196 200 204 206 207 209 212 215 218 220 222 223 225 228 229 230 232 233 239 245 247 249 250 254 255 256 257 265 266 267 268 272 276 278 281 282 287 288 290 293 296 299 300 301 305 306 308 309 311 313 318 319 320 328 330 331 340 350 352 358 362 363 365 366 368 372 378 381 386 387 392 399 400 a 4 6 7 12 15 19 23 26 27 31 32 41 43 47 49 62 68 72 74 76 77 82 84 97 98 99 108 111 113 116 118 119 121 124 130 132 135 138 139 141 143 144 146 149 150 157 158 165 172 173 178 186 190 194 196 200 204 206 207 209 212 215 218 220 222 223 225 228 229 230 232 233 239 245 247 249 250 254 255 256 257 265 266 267 268 272 276 278 281 282 287 288 290 293 296 299 300 301 305 306 308 309 311 313 318 319 320 328 330 331 340 350 352 358 362 363 365 366 368 372 378 381 386 387 392 399 400 a 4 6 7 12 15 19 23 26 31 32 41 43 47 49 59 62 68 72 74 76 77 82 84 97 98 99 108 111 113 116 118 119 121 124 130 132 135 138 139 141 143 144 146 149 150 157 158 165 172 173 178 186 190 194 196 200 204 206 207 209 212 215 218 220 222 223 225 228 229 230 232 233 239 245 247 249 250 254 255 256 257 265 266 267 268 272 276 278 281 282 287 288 290 293 296 299 300 301 305 306 308 309 311 313 318 319 320 328 330 331 340 350 352 358 362 363 365 366 368 372 378 381 386 387 392 399 400 a 4 6 7 12 15 19 23 26 31 32 41 43 47 49 59 62 68 72 74 76 77 82 84 97 98 99 108 111 113 116 118 119 121 124 130 132 135 138 139 141 143 144 146 149 150 157 158 165 172 178 186 190 194 196 200 204 206 207 209 212 215 218 220 222 223 225 228 229 230 232 233 239 245 247 249 250 254 255 256 257 265 266 267 268 272 276 278 281 282 287 288 290 293 296 299 300 301 305 306 308 309 311 313 316 318 319 320 328 330 331 340 350 352 358 362 363 365 366 368 372 378 381 386 387 392 399 400 a 4 6 7 12 15 19 23 26 31 32 41 43 47 49 59 62 68 72 74 76 77 82 84 97 98 99 108 111 113 116 118 119 121 124 130 132 135 138 139 141 143 144 146 149 150 157 158 165 172 178 186 190 194 196 200 204 206 207 209 212 215 218 220 222 223 225 228 229 230 232 233 236 245 247 249 250 254 255 256 257 265 266 267 268 272 276 278 281 282 287 288 290 293 296 299 300 301 305 306 308 309 311 313 316 318 319 320 328 330 331 340 350 352 358 362 363 365 366 368 372 378 381 386 387 392 399 400 a 4 6 7 12 15 19 23 26 29 31 32 41 43 47 49 59 62 68 72 74 76 77 82 84 97 98 99 108 111 113 116 118 119 121 124 130 132 135 139 141 143 144 146 149 150 157 158 165 172 178 186 190 194 196 200 204 206 207 209 212 215 218 220 222 223 225 228 229 230 232 233 236 245 247 249 250 254 255 256 257 265 266 267 268 272 276 278 281 282 287 288 290 293 296 299 300 301 305 306 308 309 311 313 316 318 319 320 328 330 331 340 350 352 358 362 363 365 366 368 372 378 381 386 387 392 399 400 a 4 6 7 12 15 19 23 26 29 31 32 41 43 47 49 59 62 68 72 74 76 77 82 84 97 98 99 108 111 113 116 118 119 121 124 130 132 135 139 141 143 144 146 149 150 157 158 165 172 178 186 190 194 196 200 204 206 207 209 212 215 218 220 222 223 225 228 229 230 232 233 236 245 247 249 250 254 255 256 257 265 266 267 268 272 276 278 281 282 287 288 290 293 296 299 300 301 305 306 308 309 311 313 316 318 319 320 328 330 331 336 340 350 352 358 363 365 366 368 372 378 381 386 387 392 399 400 a 4 6 7 12 15 19 23 26 29 31 32 41 43 47 49 59 62 68 72 74 76 77 82 84 97 98 99 108 111 113 116 118 119 121 124 130 132 135 139 141 143 144 146 149 150 157 158 165 172 178 186 190 194 196 200 204 206 207 209 211 212 215 218 220 222 223 225 228 229 230 232 233 236 245 247 249 250 255 256 257 265 266 267 268 272 276 278 281 282 287 288 290 293 296 299 300 301 305 306 308 309 311 313 316 318 319 320 328 330 331 336 340 350 352 358 363 365 366 368 372 378 381 386 387 392 399 400 a 4 6 7 12 15 19 23 26 29 31 32 41 43 47 49 59 62 68 72 74 76 77 82 84 97 98 99 108 111 113 116 118 119 121 124 130 132 135 139 141 143 144 146 149 150 157 158 165 172 178 186 190 194 196 200 204 206 207 209 211 212 215 218 222 223 225 228 229 230 232 233 236 245 247 249 250 255 256 257 265 266 267 268 272 276 278 281 282 287 288 290 293 296 299 300 301 305 306 308 309 311 313 316 318 319 320 328 330 331 335 336 340 350 352 358 363 365 366 368 372 378 381 386 387 392 399 400 a 4 6 7 12 15 19 23 26 29 31 32 41 43 47 49 59 62 68 72 74 76 77 82 84 97 98 99 108 111 113 116 118 119 121 124 130 132 135 139 141 143 144 146 149 150 157 158 165 172 178 190 194 196 200 204 206 207 209 211 212 215 218 222 223 225 228 229 230 232 233 236 238 245 247 249 250 255 256 257 265 266 267 268 272 276 278 281 282 287 288 290 293 296 299 300 301 305 306 308 309 311 313 316 318 319 320 328 330 331 335 336 340 350 352 358 363 365 366 368 372 378 381 386 387 392 399 400 a 4 6 7 12 15 19 23 24 26 29 31 32 41 43 47 49 59 62 68 72 74 76 77 82 84 97 98 99 108 111 113 116 118 119 121 124 130 132 135 139 141 143 144 146 149 150 157 158 165 172 178 190 194 196 200 204 206 207 209 211 212 215 218 222 223 225 228 229 230 232 233 236 238 245 247 249 250 255 256 257 265 266 267 268 272 276 278 281 282 288 290 293 296 299 300 301 305 306 308 309 311 313 316 318 319 320 328 330 331 335 336 340 350 352 358 363 365 366 368 372 378 381 386 387 392 399 400 a 4 6 7 12 15 19 23 24 26 29 31 32 41 47 49 59 62 68 72 74 76 77 82 84 85 97 98 99 108 111 113 116 118 119 121 124 130 132 135 139 141 143 144 146 149 150 157 158 165 172 178 190 194 196 200 204 206 207 209 211 212 215 218 222 223 225 228 229 230 232 233 236 238 245 247 249 250 255 256 257 265 266 267 268 272 276 278 281 282 288 290 293 296 299 300 301 305 306 308 309 311 313 316 318 319 320 328 330 331 335 336 340 350 352 358 363 365 366 368 372 378 381 386 387 392 399 400 a 4 6 7 12 15 19 23 24 26 29 31 32 41 47 49 59 62 68 72 74 76 77 82 84 85 97 98 99 104 108 111 113 116 118 119 121 124 130 132 135 139 141 143 144 146 149 150 157 158 165 172 178 190 194 196 200 204 206 207 209 211 212 215 218 222 223 225 228 229 230 232 233 236 238 245 247 249 250 255 256 257 265 266 267 268 272 276 278 281 282 288 290 293 296 299 300 301 305 306 308 309 311 313 316 318 319 320 330 331 335 336 340 350 352 358 363 365 366 368 372 378 381 386 387 392 399 400 a 4 6 7 12 15 19 23 24 26 29 31 32 41 47 49 59 62 68 72 74 76 77 82 84 85 95 97 98 99 104 108 111 113 116 118 119 121 124 130 132 135 139 141 143 144 146 149 150 157 158 165 172 178 190 194 196 200 204 206 207 209 211 212 215 218 222 223 225 228 229 230 232 233 236 238 245 247 249 250 255 256 257 265 266 267 268 272 276 278 281 282 288 290 293 296 299 301 305 306 308 309 311 313 316 318 319 320 330 331 335 336 340 350 352 358 363 365 366 368 372 378 381 386 387 392 399 400 a 4 6 7 12 15 19 23 24 26 29 31 32 41 47 49 59 62 68 72 74 76 77 82 84 85 95 97 98 99 104 108 111 113 116 118 119 121 124 130 132 135 139 141 143 144 146 149 150 157 158 165 172 178 190 194 196 200 204 206 207 209 211 212 215 218 222 223 225 228 229 230 232 236 238 245 247 249 250 255 256 257 265 266 267 268 272 276 278 281 282 288 290 293 296 299 301 305 306 308 309 311 313 316 318 319 320 330 331 335 336 340 350 352 356 358 363 365 366 368 372 378 381 386 387 392 399 400 a 4 6 7 12 15 19 23 24 26 29 31 32 41 47 49 59 62 68 72 74 76 77 82 84 85 95 97 98 99 104 108 111 113 116 118 119 121 124 130 132 135 139 140 141 143 144 146 149 150 157 158 165 172 178 190 194 196 200 204 206 207 209 211 212 215 218 222 223 225 228 229 230 232 236 238 245 247 249 250 255 256 265 266 267 268 272 276 278 281 282 288 290 293 296 299 301 305 306 308 309 311 313 316 318 319 320 330 331 335 336 340 350 352 356 358 363 365 366 368 372 378 381 386 387 392 399 400 a 4 6 7 12 15 19 23 24 26 29 31 32 41 47 49 59 62 68 72 74 76 77 82 84 85 95 97 98 99 104 108 111 113 116 118 119 121 124 130 132 135 139 140 141 143 144 146 149 150 157 158 165 172 178 190 193 194 196 200 204 206 207 209 211 212 215 218 222 223 225 228 229 230 232 236 238 245 247 249 250 255 256 265 266 267 268 272 276 278 281 288 290 293 296 299 301 305 306 308 309 311 313 316 318 319 320 330 331 335 336 340 350 352 356 358 363 365 366 368 372 378 381 386 387 392 399 400 a 4 6 7 12 15 19 23 24 26 29 31 32 41 47 49 59 62 68 72 74 76 77 82 84 85 95 97 98 99 104 108 111 113 116 118 119 121 124 130 132 135 139 140 141 143 144 146 149 150 157 158 165 172 178 190 193 194 196 200 204 207 209 211 212 215 218 222 223 225 228 229 230 232 236 238 245 247 249 250 255 256 265 266 267 268 272 276 278 281 288 290 293 296 299 301 305 306 308 309 311 313 316 318 319 320 330 331 335 336 339 340 350 352 356 358 363 365 366 368 372 378 381 386 387 392 399 400 a 4 6 7 12 15 19 23 24 26 29 31 32 36 41 47 49 59 62 68 72 74 76 77 82 84 85 95 97 98 99 104 108 111 113 116 118 119 121 124 130 132 135 139 140 141 143 144 149 150 157 158 165 172 178 190 193 194 196 200 204 207 209 211 212 215 218 222 223 225 228 229 230 232 236 238 245 247 249 250 255 256 265 266 267 268 272 276 278 281 288 290 293 296 299 301 305 306 308 309 311 313 316 318 319 320 330 331 335 336 339 340 350 352 356 358 363 365 366 368 372 378 381 386 387 392 399 400 a 4 6 7 12 15 19 23 24 26 29 31 32 36 41 47 49 52 59 62 68 72 74 76 77 82 84 85 95 97 98 99 104 108 111 113 116 118 119 121 124 130 132 135 139 140 141 143 144 149 150 157 158 165 172 178 190 193 194 196 200 204 207 209 211 212 215 218 222 223 225 228 229 230 232 236 238 245 247 249 250 255 256 265 266 267 268 272 276 278 281 288 290 293 296 299 301 305 306 308 309 311 313 316 318 319 320 330 331 335 336 339 340 350 352 356 358 363 365 366 372 378 381 386 387 392 399 400 a 4 6 7 12 15 19 23 24 26 29 31 32 36 41 47 49 52 59 62 68 72 74 76 77 82 84 85 95 97 98 99 104 108 111 113 116 118 119 121 124 126 130 132 135 139 140 141 143 144 149 150 157 158 165 172 178 190 193 194 196 200 204 207 209 211 212 215 218 222 223 225 228 229 230 232 236 238 245 247 249 250 255 256 265 266 267 268 272 276 278 281 288 290 293 296 299 301 305 306 308 309 313 316 318 319 320 330 331 335 336 339 340 350 352 356 358 363 365 366 372 378 381 386 387 392 399 400 a 4 6 7 12 15 19 23 24 26 29 31 32 36 41 47 49 52 59 62 65 68 72 74 76 77 82 84 85 95 97 98 99 104 108 111 113 116 118 119 121 124 126 130 132 135 139 140 141 143 144 150 157 158 165 172 178 190 193 194 196 200 204 207 209 211 212 215 218 222 223 225 228 229 230 232 236 238 245 247 249 250 255 256 265 266 267 268 272 276 278 281 288 290 293 296 299 301 305 306 308 309 313 316 318 319 320 330 331 335 336 339 340 350 352 356 358 363 365 366 372 378 381 386 387 392 399 400 a 4 6 7 12 15 19 23 24 26 29 31 32 36 41 47 49 52 59 62 65 68 72 74 76 77 82 84 85 95 97 98 99 104 108 111 113 116 118 119 121 124 126 130 132 135 139 140 141 143 144 150 157 158 165 172 178 190 193 196 200 204 207 209 211 212 215 218 222 223 225 228 229 230 232 236 238 245 247 249 250 255 256 265 266 267 268 272 276 278 281 288 290 293 296 299 301 305 306 308 309 313 316 318 319 320 330 331 335 336 339 340 350 352 356 358 360 363 365 366 372 378 381 386 387 392 399 400 a 4 6 7 12 15 19 23 24 26 29 31 32 36 41 47 49 52 59 62 65 68 72 74 76 77 82 84 85 95 97 98 99 104 108 111 113 118 119 121 124 126 130 132 135 139 140 141 143 144 150 157 158 159 165 172 178 190 193 196 200 204 207 209 211 212 215 218 222 223 225 228 229 230 232 236 238 245 247 249 250 255 256 265 266 267 268 272 276 278 281 288 290 293 296 299 301 305 306 308 309 313 316 318 319 320 330 331 335 336 339 340 350 352 356 358 360 363 365 366 372 378 381 386 387 392 399 400 c Step: 84 Command being timed: "python3 run_3.py --shortest /benchmark/random_instance/random_instance031_graph002.col /benchmark/random_instance/random_instance031_graph002_01.dat" User time (seconds): 3.07 System time (seconds): 0.11 Percent of CPU this job got: 99% Elapsed (wall clock) time (h:mm:ss or m:ss): 0:03.18 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): 146396 Average resident set size (kbytes): 0 Major (requiring I/O) page faults: 0 Minor (reclaiming a frame) page faults: 176772 Voluntary context switches: 17 Involuntary context switches: 17 Swaps: 0 File system inputs: 0 File system outputs: 544 Socket messages sent: 0 Socket messages received: 0 Signals delivered: 0 Page size (bytes): 4096 Exit status: 0 #END: [Mon Sep 4 15:07:28 2023]