#BEGIN: [Tue Sep 26 03:36:19 2023] #HOST: s13 #TIMELIMIT: 1800 #MEMLIMIT: 0 #SOLVER: shortest-wallclock-banbaralab2-shortest2 #INSTANCE1: /benchmark/random_instance/random_instance030_graph002.col #INSTANCE2: /benchmark/random_instance/random_instance030_graph002_01.dat #COMMAND: docker run --cidfile /tmp/cid.txt --init --rm -t -v /home/share/benchmark/ISR-benchmark:/benchmark banbaralab2 --shortest -t4 /benchmark/random_instance/random_instance030_graph002.col /benchmark/random_instance/random_instance030_graph002_01.dat c /benchmark/random_instance/random_instance030_graph002.col c /benchmark/random_instance/random_instance030_graph002_01.dat s 35 267 23 170 83 150 225 251 378 314 187 238 139 43 323 8 290 387 369 79 185 47 376 313 271 72 285 5 236 312 343 137 20 56 205 263 138 191 113 381 257 356 133 136 197 247 159 306 117 222 73 164 180 249 270 380 99 354 259 295 371 143 63 126 269 291 288 39 101 52 12 26 68 207 67 208 76 338 90 277 282 310 40 1 55 66 11 321 216 219 262 54 169 333 81 235 264 223 175 194 215 168 25 373 198 300 162 193 75 13 94 41 233 384 250 374 84 91 195 135 265 286 9 59 206 261 213 77 t 353 18 388 286 169 317 228 193 221 225 244 45 346 176 300 232 38 147 17 93 231 91 251 340 141 255 380 159 267 106 385 175 144 148 92 204 307 125 365 285 182 256 102 67 331 258 185 20 243 315 152 341 59 342 70 131 278 283 184 309 27 207 181 35 373 110 323 9 304 326 31 97 47 352 293 124 261 80 347 58 95 192 390 316 235 32 34 1 212 318 85 357 254 94 174 6 54 377 369 245 103 301 14 268 137 8 214 75 4 381 13 344 382 374 133 308 337 310 190 306 363 79 299 5 329 376 296 229 a YES a 1 5 8 9 11 12 13 20 23 25 26 35 39 40 41 43 47 52 54 55 56 59 63 66 67 68 72 73 75 76 77 79 81 83 84 90 91 94 99 101 113 117 126 133 135 136 137 138 139 143 150 159 162 164 168 169 170 175 180 185 187 191 193 194 195 197 198 205 206 207 208 213 215 216 219 222 223 225 233 235 236 238 247 249 250 251 257 259 261 262 263 264 265 267 269 270 271 277 282 285 286 288 290 291 295 300 306 310 312 313 314 321 323 333 338 343 354 356 369 371 373 374 376 378 380 381 384 387 a 1 5 8 9 11 12 13 20 23 25 26 35 39 40 41 43 47 52 54 55 59 63 66 67 68 72 73 75 76 77 79 81 83 84 90 91 94 95 99 101 113 117 126 133 135 136 137 138 139 143 150 159 162 164 168 169 170 175 180 185 187 191 193 194 195 197 198 205 206 207 208 213 215 216 219 222 223 225 233 235 236 238 247 249 250 251 257 259 261 262 263 264 265 267 269 270 271 277 282 285 286 288 290 291 295 300 306 310 312 313 314 321 323 333 338 343 354 356 369 371 373 374 376 378 380 381 384 387 a 1 5 8 9 11 12 13 14 20 25 26 35 39 40 41 43 47 52 54 55 59 63 66 67 68 72 73 75 76 77 79 81 83 84 90 91 94 95 99 101 113 117 126 133 135 136 137 138 139 143 150 159 162 164 168 169 170 175 180 185 187 191 193 194 195 197 198 205 206 207 208 213 215 216 219 222 223 225 233 235 236 238 247 249 250 251 257 259 261 262 263 264 265 267 269 270 271 277 282 285 286 288 290 291 295 300 306 310 312 313 314 321 323 333 338 343 354 356 369 371 373 374 376 378 380 381 384 387 a 1 5 8 9 11 12 13 14 20 25 26 35 39 40 41 43 47 52 54 55 59 63 66 67 68 72 73 75 76 77 79 81 83 84 90 91 94 95 99 101 113 117 126 133 135 136 137 138 139 143 150 159 162 164 168 169 170 175 180 181 185 187 191 193 194 195 197 198 205 206 207 208 213 215 216 219 222 223 225 233 235 236 238 247 249 250 251 257 259 261 262 263 264 265 267 270 271 277 282 285 286 288 290 291 295 300 306 310 312 313 314 321 323 333 338 343 354 356 369 371 373 374 376 378 380 381 384 387 a 1 5 8 9 11 12 13 14 20 25 26 35 39 40 41 43 47 52 54 55 59 63 66 67 68 72 73 75 76 77 79 81 83 84 90 91 94 95 99 101 113 117 126 133 135 136 137 138 139 143 150 159 162 164 168 169 170 175 180 181 185 187 191 193 194 195 197 198 205 206 207 208 213 215 216 219 222 223 225 233 235 236 238 247 249 250 251 257 259 261 262 263 264 265 267 270 271 277 282 285 286 288 290 291 295 300 306 310 312 313 314 321 323 333 338 343 354 369 371 373 374 376 377 378 380 381 384 387 a 1 5 8 9 11 12 13 14 20 25 26 35 39 40 41 43 47 52 54 55 58 59 63 66 67 68 72 73 75 76 77 79 81 83 84 90 91 94 95 99 101 113 117 126 133 135 136 137 138 139 143 150 159 162 164 168 169 170 175 180 181 185 187 191 193 194 195 197 198 205 206 207 208 213 215 216 219 222 223 225 233 235 236 238 247 249 250 251 257 259 261 262 263 264 265 267 270 271 277 282 285 286 288 290 291 295 300 306 310 312 313 314 323 333 338 343 354 369 371 373 374 376 377 378 380 381 384 387 a 1 5 8 9 11 12 13 14 20 25 26 35 39 40 41 43 47 52 54 55 58 59 63 66 67 68 72 73 75 76 77 79 81 83 84 90 91 94 95 99 101 113 117 126 133 135 136 137 138 139 143 150 159 162 164 168 169 170 175 180 181 185 187 191 193 194 195 197 198 205 206 207 208 213 215 216 219 222 223 225 233 235 236 238 247 249 250 251 257 259 261 262 263 264 265 267 270 271 277 282 285 286 288 290 291 295 300 306 310 313 314 323 333 338 343 354 369 371 373 374 376 377 378 380 381 384 387 390 a 1 5 8 9 11 12 13 14 20 25 26 35 39 40 41 43 47 52 54 55 58 59 63 66 67 68 72 73 75 76 77 79 81 83 84 90 91 94 95 99 101 113 117 126 133 135 136 137 138 139 143 150 159 162 164 168 169 170 175 180 181 185 187 191 193 194 195 197 198 205 206 207 208 213 215 216 219 222 223 225 233 235 236 238 247 249 250 251 257 259 261 262 263 264 265 267 270 271 277 282 285 286 288 290 291 295 300 301 306 310 313 314 323 333 338 343 354 369 371 373 374 376 377 380 381 384 387 390 a 1 5 8 9 11 12 13 14 20 25 26 35 39 40 41 43 47 52 54 55 58 59 63 66 67 68 72 73 75 76 77 79 81 83 84 90 91 94 95 99 101 113 117 126 133 135 136 137 138 139 143 150 159 162 164 168 169 170 175 180 181 185 187 191 193 194 195 197 198 205 206 207 208 213 215 216 219 222 223 225 233 235 236 238 247 249 250 251 257 259 261 262 263 264 265 267 270 271 277 282 285 286 288 290 291 300 301 306 310 313 314 323 333 337 338 343 354 369 371 373 374 376 377 380 381 384 387 390 a 1 5 8 9 11 12 13 14 20 25 26 35 39 40 41 43 47 52 54 55 58 59 63 66 67 68 72 73 75 76 77 79 81 83 84 90 91 94 95 99 101 113 117 126 133 135 136 137 138 139 143 150 159 162 164 168 169 170 175 180 181 185 187 191 193 194 195 197 198 205 206 207 208 213 215 216 219 222 223 225 233 235 236 238 243 247 249 250 251 257 259 261 262 263 264 265 267 270 271 277 282 285 286 288 290 300 301 306 310 313 314 323 333 337 338 343 354 369 371 373 374 376 377 380 381 384 387 390 a 1 5 8 9 11 12 13 14 20 25 26 35 39 40 41 43 47 52 54 55 58 59 63 66 67 68 72 73 75 76 77 79 81 83 84 90 91 94 95 99 101 113 117 126 133 135 136 137 138 139 143 150 159 162 164 168 169 170 175 180 181 185 187 191 193 194 195 197 198 205 206 207 208 213 215 216 219 222 223 225 235 236 238 243 247 249 250 251 257 259 261 262 263 264 265 267 270 271 277 282 285 286 288 290 300 301 306 310 313 314 323 333 337 338 343 354 369 371 373 374 376 377 380 381 384 387 388 390 a 1 5 8 9 11 12 13 14 20 25 26 35 39 40 41 43 47 52 54 55 58 59 63 66 67 68 72 73 75 76 77 79 81 83 84 90 91 94 95 99 101 113 117 126 133 135 136 137 138 139 143 150 159 162 164 168 169 170 175 180 181 185 187 191 193 194 195 197 198 205 206 207 208 213 215 216 219 222 223 225 235 236 238 243 247 249 250 251 257 259 261 262 263 264 265 267 270 271 277 282 285 286 290 300 301 306 309 310 313 314 323 333 337 338 343 354 369 371 373 374 376 377 380 381 384 387 388 390 a 1 5 8 9 11 12 13 14 20 25 26 35 39 40 41 43 47 52 54 55 58 59 63 66 67 68 72 73 75 76 77 79 81 83 84 90 91 94 95 99 101 113 117 126 133 135 136 137 138 139 143 150 159 162 164 168 169 170 175 180 181 185 187 191 193 194 195 197 198 205 206 207 208 213 215 216 219 222 223 225 235 236 238 243 247 249 250 251 257 259 261 262 263 264 265 267 270 271 277 285 286 290 300 301 306 309 310 313 314 323 329 333 337 338 343 354 369 371 373 374 376 377 380 381 384 387 388 390 a 1 5 8 9 11 12 13 14 20 25 26 35 39 40 41 43 47 52 54 55 58 59 63 66 67 68 72 73 75 76 77 79 81 83 84 90 91 94 95 99 101 113 117 126 133 135 136 137 138 139 143 150 159 162 164 168 169 170 175 180 181 185 187 191 193 194 195 197 198 205 206 207 208 213 215 216 219 222 223 225 235 236 238 243 247 249 250 251 257 259 261 262 264 265 267 270 271 277 278 285 286 290 300 301 306 309 310 313 314 323 329 333 337 338 343 354 369 371 373 374 376 377 380 381 384 387 388 390 a 1 5 8 9 11 12 13 14 20 25 26 35 39 40 41 43 47 52 54 55 58 59 63 66 67 68 72 73 75 76 77 79 81 83 84 90 91 94 95 99 101 113 117 126 133 135 136 137 138 139 143 150 159 162 164 168 169 170 175 180 181 185 187 191 193 194 195 197 198 205 206 207 208 213 215 219 222 223 225 235 236 238 243 245 247 249 250 251 257 259 261 262 264 265 267 270 271 277 278 285 286 290 300 301 306 309 310 313 314 323 329 333 337 338 343 354 369 371 373 374 376 377 380 381 384 387 388 390 a 1 5 8 9 11 12 13 14 20 25 35 39 40 41 43 47 52 54 55 58 59 63 66 67 68 72 73 75 76 77 79 81 83 84 90 91 94 95 99 101 113 117 126 133 135 136 137 138 139 143 150 159 162 164 168 169 170 175 180 181 185 187 190 191 193 194 195 197 198 205 206 207 208 213 215 219 222 223 225 235 236 238 243 245 247 249 250 251 257 259 261 262 264 265 267 270 271 277 278 285 286 290 300 301 306 309 310 313 314 323 329 333 337 338 343 354 369 371 373 374 376 377 380 381 384 387 388 390 a 1 5 8 9 11 12 13 14 20 25 35 39 40 41 43 47 52 54 55 58 59 63 66 67 68 72 73 75 76 77 79 81 83 84 90 91 94 95 99 101 113 117 126 133 135 136 137 138 139 143 150 159 162 164 168 169 170 175 180 181 185 187 190 191 193 194 195 197 198 205 206 207 208 213 215 219 222 223 225 235 236 238 243 245 247 249 250 251 257 259 261 262 264 265 267 270 271 277 278 285 286 290 300 301 306 309 310 313 314 317 323 329 333 337 338 343 354 369 371 373 374 376 377 380 381 384 388 390 a 1 5 8 9 11 12 13 14 20 25 35 39 40 41 43 47 52 54 55 58 59 63 66 67 68 72 73 75 76 77 79 81 83 84 90 91 94 95 99 101 103 113 117 126 133 135 136 137 138 139 143 150 159 162 164 168 169 170 175 180 181 185 187 190 191 193 194 195 197 198 205 206 207 208 213 215 219 222 223 225 235 236 238 243 245 247 249 250 251 257 259 261 264 265 267 270 271 277 278 285 286 290 300 301 306 309 310 313 314 317 323 329 333 337 338 343 354 369 371 373 374 376 377 380 381 384 388 390 a 1 5 8 9 11 12 13 14 20 25 35 39 40 41 43 47 52 54 55 58 59 63 66 67 68 72 73 75 76 77 79 81 83 84 90 91 94 95 99 101 103 113 117 126 133 135 136 137 138 139 143 150 159 162 164 168 169 170 175 180 181 185 187 190 191 193 194 195 197 198 205 206 207 208 213 215 219 222 223 225 235 236 238 243 245 247 249 250 251 257 259 261 264 265 267 270 271 277 278 285 286 290 300 301 304 306 309 310 313 314 317 323 329 333 337 343 354 369 371 373 374 376 377 380 381 384 388 390 a 1 5 8 9 11 12 13 14 20 25 35 39 40 41 43 47 52 54 55 58 59 63 66 67 68 72 73 75 76 77 79 81 83 84 90 91 94 95 99 101 103 113 117 126 133 135 136 137 138 139 143 150 159 162 164 168 169 170 175 180 181 185 187 190 191 193 194 195 197 198 205 206 207 208 213 215 219 222 223 225 235 236 238 243 245 247 249 250 251 257 259 261 264 265 267 270 271 277 278 285 286 290 300 301 304 306 309 310 313 314 317 318 323 329 333 337 354 369 371 373 374 376 377 380 381 384 388 390 a 1 5 8 9 11 12 13 14 20 25 35 39 40 41 43 47 52 54 55 58 59 63 66 67 68 72 73 75 76 77 79 81 83 84 90 91 94 95 99 103 113 117 126 133 135 136 137 138 139 143 150 159 162 164 168 169 170 175 180 181 185 187 190 191 193 194 195 197 198 205 206 207 208 213 215 219 222 223 225 235 236 238 243 244 245 247 249 250 251 257 259 261 264 265 267 270 271 277 278 285 286 290 300 301 304 306 309 310 313 314 317 318 323 329 333 337 354 369 371 373 374 376 377 380 381 384 388 390 a 1 5 8 9 11 12 13 14 20 25 35 39 40 41 43 47 52 54 55 58 59 63 66 67 68 72 73 75 76 77 79 81 83 84 90 91 94 95 99 103 113 117 126 133 135 136 137 138 139 143 150 159 162 164 168 169 170 175 180 181 185 187 190 191 193 194 195 197 198 205 206 207 208 213 215 219 222 223 225 235 236 238 243 244 245 247 249 250 251 257 259 261 264 265 267 270 271 277 278 285 286 290 296 300 301 304 306 309 310 313 314 317 318 323 329 333 337 354 369 371 373 374 376 377 380 381 388 390 a 1 5 8 9 11 12 13 14 20 25 35 39 40 41 43 47 52 54 55 58 59 63 66 67 68 72 73 75 76 77 79 81 83 84 90 91 94 95 99 103 113 117 126 133 135 136 137 138 139 143 150 159 162 164 169 170 175 180 181 185 187 190 191 193 194 195 197 198 205 206 207 208 213 215 219 222 223 225 235 236 238 243 244 245 247 249 250 251 257 259 261 264 265 267 270 271 277 278 285 286 290 296 300 301 304 306 309 310 313 314 317 318 323 329 333 337 344 354 369 371 373 374 376 377 380 381 388 390 a 1 5 8 9 11 12 13 14 20 25 35 39 40 41 43 47 52 54 55 58 59 63 66 67 68 72 73 75 76 77 79 81 83 84 90 91 94 95 99 103 113 117 126 133 135 136 137 138 139 143 150 159 162 164 169 170 175 180 181 185 187 190 191 193 194 195 197 198 205 206 207 208 213 215 219 222 223 225 235 236 238 243 244 245 247 249 250 251 257 259 261 264 265 267 268 270 277 278 285 286 290 296 300 301 304 306 309 310 313 314 317 318 323 329 333 337 344 354 369 371 373 374 376 377 380 381 388 390 a 1 5 8 9 11 12 13 14 20 25 35 39 40 41 43 47 52 54 55 58 59 63 66 67 68 72 73 75 76 77 79 81 83 84 90 91 94 95 99 103 113 117 126 133 135 136 137 138 139 143 147 150 159 162 164 169 170 175 180 181 185 187 190 191 193 194 195 197 198 205 206 207 208 213 215 222 223 225 235 236 238 243 244 245 247 249 250 251 257 259 261 264 265 267 268 270 277 278 285 286 290 296 300 301 304 306 309 310 313 314 317 318 323 329 333 337 344 354 369 371 373 374 376 377 380 381 388 390 a 1 5 8 9 11 12 13 14 17 20 25 35 39 40 41 43 47 52 54 55 58 59 63 66 67 68 72 73 75 76 77 79 81 83 84 90 91 94 95 99 103 113 117 126 133 135 136 137 138 139 143 147 150 159 162 164 169 170 175 180 181 185 187 190 191 193 194 195 197 198 205 206 207 208 213 215 222 223 225 235 236 238 243 244 245 247 249 250 251 257 261 264 265 267 268 270 277 278 285 286 290 296 300 301 304 306 309 310 313 314 317 318 323 329 333 337 344 354 369 371 373 374 376 377 380 381 388 390 a 1 5 8 9 12 13 14 17 20 25 35 39 40 41 43 47 52 54 55 58 59 63 66 67 68 72 73 75 76 77 79 81 83 84 90 91 94 95 99 103 113 117 126 133 135 136 137 138 139 143 147 150 159 162 164 169 170 175 180 181 185 187 190 191 193 194 195 197 198 205 206 207 208 213 215 222 223 225 235 236 238 243 244 245 247 249 250 251 255 257 261 264 265 267 268 270 277 278 285 286 290 296 300 301 304 306 309 310 313 314 317 318 323 329 333 337 344 354 369 371 373 374 376 377 380 381 388 390 a 1 5 8 9 12 13 14 17 20 25 35 39 40 41 43 47 52 54 55 58 59 63 66 67 68 72 73 75 76 77 79 81 83 84 90 91 94 95 99 103 113 117 126 133 135 136 137 138 139 143 147 150 159 162 164 169 170 175 180 181 185 187 190 191 193 194 195 197 198 205 206 207 208 213 215 222 223 225 235 236 243 244 245 247 249 250 251 255 257 261 264 265 267 268 270 277 278 285 286 290 296 300 301 304 306 309 310 313 314 317 318 323 329 333 337 344 354 357 369 371 373 374 376 377 380 381 388 390 a 1 5 8 9 12 13 14 17 20 25 32 35 39 40 41 43 47 52 54 55 58 59 63 66 67 68 72 73 75 76 77 79 81 83 84 90 91 94 95 103 113 117 126 133 135 136 137 138 139 143 147 150 159 162 164 169 170 175 180 181 185 187 190 191 193 194 195 197 198 205 206 207 208 213 215 222 223 225 235 236 243 244 245 247 249 250 251 255 257 261 264 265 267 268 270 277 278 285 286 290 296 300 301 304 306 309 310 313 314 317 318 323 329 333 337 344 354 357 369 371 373 374 376 377 380 381 388 390 a 1 5 8 9 12 13 14 17 20 25 32 35 39 40 41 43 47 52 54 55 58 59 63 66 67 68 72 73 75 76 77 79 81 83 84 90 91 94 95 103 113 117 126 133 135 136 137 138 139 143 147 150 159 162 164 169 170 175 180 181 182 185 187 190 191 193 194 195 197 198 205 206 207 208 213 215 222 223 225 235 243 244 245 247 249 250 251 255 257 261 264 265 267 268 270 277 278 285 286 290 296 300 301 304 306 309 310 313 314 317 318 323 329 333 337 344 354 357 369 371 373 374 376 377 380 381 388 390 a 1 5 8 9 12 13 14 17 20 25 32 35 39 40 41 43 47 52 54 55 58 59 63 66 67 68 72 73 75 76 77 79 81 83 84 90 91 94 95 103 113 117 126 133 135 136 137 138 139 143 147 150 159 162 164 169 170 175 181 182 185 187 190 191 193 194 195 197 198 205 206 207 208 213 215 222 223 225 235 243 244 245 247 249 250 251 255 257 258 261 264 265 267 268 270 277 278 285 286 290 296 300 301 304 306 309 310 313 314 317 318 323 329 333 337 344 354 357 369 371 373 374 376 377 380 381 388 390 a 1 5 8 9 12 13 14 17 20 25 32 35 39 40 41 43 47 52 54 55 58 59 63 66 67 68 72 73 75 76 77 79 81 83 84 90 91 94 95 103 113 117 133 135 136 137 138 139 143 147 150 159 162 164 169 170 175 181 182 185 187 190 191 193 194 195 197 198 205 206 207 208 213 215 222 223 225 235 243 244 245 247 249 250 251 255 257 258 261 264 265 267 268 270 277 278 285 286 290 296 299 300 301 304 306 309 310 313 314 317 318 323 329 333 337 344 354 357 369 371 373 374 376 377 380 381 388 390 a 1 5 6 8 9 12 13 14 17 20 25 32 35 39 40 41 43 47 52 54 55 58 59 63 66 67 68 72 73 75 76 77 79 81 83 84 90 91 94 95 103 113 117 133 135 136 137 138 139 143 147 150 159 162 164 169 170 175 181 182 185 187 190 191 193 194 195 197 198 205 206 207 208 213 215 222 223 225 235 243 244 245 247 249 250 251 255 257 258 261 264 265 267 268 270 277 278 285 286 290 296 299 300 301 304 306 309 310 313 314 317 318 323 329 333 337 344 354 357 369 373 374 376 377 380 381 388 390 a 1 5 6 8 9 12 13 14 17 20 25 32 35 39 40 41 43 47 52 54 55 58 59 63 66 67 68 72 73 75 76 77 79 81 83 84 90 91 94 95 103 113 117 133 135 136 137 138 139 143 147 150 159 162 164 169 170 175 181 182 185 187 190 191 193 194 195 197 198 205 206 207 208 213 215 222 223 225 232 235 243 244 245 247 249 250 251 255 258 261 264 265 267 268 270 277 278 285 286 290 296 299 300 301 304 306 309 310 313 314 317 318 323 329 333 337 344 354 357 369 373 374 376 377 380 381 388 390 a 1 5 6 8 9 12 13 14 17 20 25 32 35 39 40 41 43 47 52 54 55 58 59 63 66 67 68 72 73 75 76 77 79 81 83 84 90 91 94 95 103 113 117 133 135 136 137 138 139 143 147 150 159 162 164 169 170 175 181 182 185 190 191 193 194 195 197 198 205 206 207 208 213 215 222 223 225 232 235 243 244 245 247 249 250 251 255 258 261 264 265 267 268 270 277 278 285 286 290 296 299 300 301 304 306 309 310 313 314 317 318 323 329 333 337 344 352 354 357 369 373 374 376 377 380 381 388 390 a 1 5 6 8 9 12 13 14 17 20 25 32 35 39 40 41 43 47 52 54 55 58 59 63 66 67 68 72 73 75 76 77 79 81 83 84 90 91 94 95 103 113 117 133 135 136 137 138 139 143 147 150 159 162 164 169 170 175 181 182 185 190 191 193 194 195 197 198 205 206 207 213 215 222 223 225 232 235 243 244 245 247 249 250 251 254 255 258 261 264 265 267 268 270 277 278 285 286 290 296 299 300 301 304 306 309 310 313 314 317 318 323 329 333 337 344 352 354 357 369 373 374 376 377 380 381 388 390 a 1 5 6 8 9 12 13 14 17 20 25 32 35 39 40 41 43 47 52 54 55 58 59 63 66 67 68 72 73 75 76 77 79 81 83 84 90 91 94 95 103 113 117 133 135 136 137 138 139 143 147 150 159 164 169 170 175 181 182 185 190 191 193 194 195 197 198 205 206 207 213 215 222 223 225 229 232 235 243 244 245 247 249 250 251 254 255 258 261 264 265 267 268 270 277 278 285 286 290 296 299 300 301 304 306 309 310 313 314 317 318 323 329 333 337 344 352 354 357 369 373 374 376 377 380 381 388 390 a 1 5 6 8 9 12 13 14 17 20 25 32 35 39 40 41 43 47 52 54 55 58 59 63 66 67 68 72 73 75 76 77 79 81 83 84 90 91 94 95 103 113 117 133 135 136 137 138 139 143 144 147 150 159 164 169 170 175 181 182 185 190 191 193 194 195 197 198 205 206 207 213 215 222 223 225 229 232 235 243 244 245 247 249 250 251 254 255 258 261 264 265 267 268 277 278 285 286 290 296 299 300 301 304 306 309 310 313 314 317 318 323 329 333 337 344 352 354 357 369 373 374 376 377 380 381 388 390 a 1 5 6 8 9 12 13 14 17 20 25 32 35 39 40 41 43 47 52 54 55 58 59 63 66 67 68 72 73 75 76 79 81 83 84 90 91 94 95 103 113 117 133 135 136 137 138 139 143 144 147 150 159 164 169 170 174 175 181 182 185 190 191 193 194 195 197 198 205 206 207 213 215 222 223 225 229 232 235 243 244 245 247 249 250 251 254 255 258 261 264 265 267 268 277 278 285 286 290 296 299 300 301 304 306 309 310 313 314 317 318 323 329 333 337 344 352 354 357 369 373 374 376 377 380 381 388 390 a 1 5 6 8 9 12 13 14 17 20 25 32 35 39 40 41 43 47 52 54 55 58 59 63 66 67 68 72 73 75 76 79 81 83 84 90 91 94 95 103 113 117 133 135 136 137 138 139 143 144 147 150 159 164 169 174 175 181 182 185 190 191 193 194 195 197 198 205 206 207 213 215 222 223 225 229 232 235 243 244 245 247 249 250 251 254 255 258 261 264 265 267 268 277 278 285 286 290 296 299 300 301 304 306 309 310 313 314 317 318 323 329 333 337 344 352 354 357 363 369 373 374 376 377 380 381 388 390 a 1 5 6 8 9 12 13 14 17 20 25 32 35 39 40 41 43 47 52 54 55 58 59 63 66 67 68 72 73 75 76 79 81 83 84 90 91 94 95 103 113 117 133 135 136 137 138 139 143 144 147 148 150 159 169 174 175 181 182 185 190 191 193 194 195 197 198 205 206 207 213 215 222 223 225 229 232 235 243 244 245 247 249 250 251 254 255 258 261 264 265 267 268 277 278 285 286 290 296 299 300 301 304 306 309 310 313 314 317 318 323 329 333 337 344 352 354 357 363 369 373 374 376 377 380 381 388 390 a 1 5 6 8 9 12 13 14 17 20 25 32 35 39 40 41 43 47 52 54 55 58 59 63 66 67 68 72 73 75 76 79 81 83 84 90 91 94 95 103 113 117 133 135 136 137 138 139 143 144 147 148 150 159 169 174 175 181 182 184 185 190 191 193 194 195 197 198 206 207 213 215 222 223 225 229 232 235 243 244 245 247 249 250 251 254 255 258 261 264 265 267 268 277 278 285 286 290 296 299 300 301 304 306 309 310 313 314 317 318 323 329 333 337 344 352 354 357 363 369 373 374 376 377 380 381 388 390 a 1 5 6 8 9 12 13 14 17 20 25 32 35 38 39 40 41 43 47 52 54 55 58 59 63 66 67 68 72 75 76 79 81 83 84 90 91 94 95 103 113 117 133 135 136 137 138 139 143 144 147 148 150 159 169 174 175 181 182 184 185 190 191 193 194 195 197 198 206 207 213 215 222 223 225 229 232 235 243 244 245 247 249 250 251 254 255 258 261 264 265 267 268 277 278 285 286 290 296 299 300 301 304 306 309 310 313 314 317 318 323 329 333 337 344 352 354 357 363 369 373 374 376 377 380 381 388 390 a 1 5 6 8 9 12 13 14 17 20 25 32 35 38 39 40 41 43 47 52 54 55 58 59 63 66 67 68 72 75 76 79 81 83 84 90 91 94 95 103 113 117 133 135 136 137 138 139 143 144 147 148 150 159 169 174 175 181 182 184 185 190 191 193 194 195 197 198 204 206 207 213 215 222 225 229 232 235 243 244 245 247 249 250 251 254 255 258 261 264 265 267 268 277 278 285 286 290 296 299 300 301 304 306 309 310 313 314 317 318 323 329 333 337 344 352 354 357 363 369 373 374 376 377 380 381 388 390 a 1 5 6 8 9 12 13 14 17 20 25 32 35 38 39 40 41 43 47 52 54 55 58 59 63 66 67 68 72 75 76 79 81 83 84 90 91 94 95 103 113 117 133 135 136 137 138 139 143 144 147 148 159 169 174 175 181 182 184 185 190 191 193 194 195 197 198 204 206 207 213 215 222 225 229 232 235 243 244 245 247 249 250 251 254 255 256 258 261 264 265 267 268 277 278 285 286 290 296 299 300 301 304 306 309 310 313 314 317 318 323 329 333 337 344 352 354 357 363 369 373 374 376 377 380 381 388 390 a 1 5 6 8 9 12 13 14 17 20 25 32 35 38 39 40 41 43 47 52 54 55 58 59 63 66 67 68 72 75 76 79 81 83 84 90 91 94 95 103 113 117 133 135 136 137 138 139 143 144 147 148 159 169 174 175 181 182 184 185 190 191 192 193 194 195 197 198 204 206 207 213 215 222 225 229 232 235 243 244 245 249 250 251 254 255 256 258 261 264 265 267 268 277 278 285 286 290 296 299 300 301 304 306 309 310 313 314 317 318 323 329 333 337 344 352 354 357 363 369 373 374 376 377 380 381 388 390 a 1 5 6 8 9 12 13 14 17 20 25 32 35 38 39 40 41 43 47 52 54 55 58 59 63 66 67 68 72 75 76 79 81 83 84 90 91 94 95 103 113 117 133 135 136 137 138 139 143 144 147 148 159 169 174 175 181 182 184 185 190 191 192 193 194 195 197 198 204 206 207 213 215 222 225 229 232 235 243 244 245 249 250 251 254 255 256 258 261 264 265 267 268 278 285 286 290 296 299 300 301 304 306 309 310 313 314 317 318 323 329 333 337 344 347 352 354 357 363 369 373 374 376 377 380 381 388 390 a 1 5 6 8 9 12 13 14 17 20 25 32 35 38 39 40 41 43 47 52 54 55 58 59 63 66 67 68 72 75 76 79 81 83 84 90 91 94 95 103 113 117 133 135 136 137 138 139 143 144 147 148 159 169 174 175 181 182 184 185 190 191 192 193 194 195 197 198 204 206 207 213 215 225 229 232 235 243 244 245 249 250 251 254 255 256 258 261 264 265 267 268 278 285 286 290 293 296 299 300 301 304 306 309 310 313 314 317 318 323 329 333 337 344 347 352 354 357 363 369 373 374 376 377 380 381 388 390 a 1 5 6 8 9 12 13 14 17 20 25 32 35 38 39 40 41 43 47 52 54 55 58 59 63 66 67 68 72 75 76 79 81 83 90 91 92 94 95 103 113 117 133 135 136 137 138 139 143 144 147 148 159 169 174 175 181 182 184 185 190 191 192 193 194 195 197 198 204 206 207 213 215 225 229 232 235 243 244 245 249 250 251 254 255 256 258 261 264 265 267 268 278 285 286 290 293 296 299 300 301 304 306 309 310 313 314 317 318 323 329 333 337 344 347 352 354 357 363 369 373 374 376 377 380 381 388 390 a 1 5 6 8 9 12 13 14 17 20 25 32 35 38 39 41 43 45 47 52 54 55 58 59 63 66 67 68 72 75 76 79 81 83 90 91 92 94 95 103 113 117 133 135 136 137 138 139 143 144 147 148 159 169 174 175 181 182 184 185 190 191 192 193 194 195 197 198 204 206 207 213 215 225 229 232 235 243 244 245 249 250 251 254 255 256 258 261 264 265 267 268 278 285 286 290 293 296 299 300 301 304 306 309 310 313 314 317 318 323 329 333 337 344 347 352 354 357 363 369 373 374 376 377 380 381 388 390 a 1 5 6 8 9 12 13 14 17 20 25 32 35 38 39 41 43 45 47 52 54 55 58 59 63 67 68 72 75 76 79 81 83 90 91 92 94 95 103 113 117 131 133 135 136 137 138 139 143 144 147 148 159 169 174 175 181 182 184 185 190 191 192 193 194 195 197 198 204 206 207 213 215 225 229 232 235 243 244 245 249 250 251 254 255 256 258 261 264 265 267 268 278 285 286 290 293 296 299 300 301 304 306 309 310 313 314 317 318 323 329 333 337 344 347 352 354 357 363 369 373 374 376 377 380 381 388 390 a 1 5 6 8 9 12 13 14 17 20 25 32 35 38 39 41 43 45 47 52 54 55 58 59 63 67 68 72 75 76 79 81 83 90 91 92 94 95 103 113 117 131 133 135 136 137 138 139 143 144 147 148 159 169 174 175 181 182 184 185 190 191 192 193 194 195 197 198 204 206 207 213 215 225 229 232 235 243 244 245 249 251 254 255 256 258 261 264 265 267 268 278 285 286 290 293 296 299 300 301 304 306 308 309 310 313 314 317 318 323 329 333 337 344 347 352 354 357 363 369 373 374 376 377 380 381 388 390 a 1 5 6 8 9 12 13 14 17 20 25 32 35 38 41 43 45 47 52 54 55 58 59 63 67 68 72 75 76 79 80 81 83 90 91 92 94 95 103 113 117 131 133 135 136 137 138 139 143 144 147 148 159 169 174 175 181 182 184 185 190 191 192 193 194 195 197 198 204 206 207 213 215 225 229 232 235 243 244 245 249 251 254 255 256 258 261 264 265 267 268 278 285 286 290 293 296 299 300 301 304 306 308 309 310 313 314 317 318 323 329 333 337 344 347 352 354 357 363 369 373 374 376 377 380 381 388 390 a 1 5 6 8 9 12 13 14 17 20 25 32 35 38 41 43 45 47 52 54 55 58 59 63 67 68 72 75 76 79 80 81 83 90 91 92 94 95 103 113 131 133 135 136 137 138 139 143 144 147 148 159 169 174 175 181 182 184 185 190 191 192 193 194 195 197 198 204 206 207 213 214 215 225 229 232 235 243 244 245 249 251 254 255 256 258 261 264 265 267 268 278 285 286 290 293 296 299 300 301 304 306 308 309 310 313 314 317 318 323 329 333 337 344 347 352 354 357 363 369 373 374 376 377 380 381 388 390 a 1 5 6 8 9 12 13 14 17 20 25 32 35 38 41 45 47 52 54 55 58 59 63 67 68 72 75 76 79 80 81 83 90 91 92 94 95 103 113 131 133 135 136 137 138 139 143 144 147 148 159 169 174 175 181 182 184 185 190 191 192 193 194 195 197 198 204 206 207 213 214 215 225 229 232 235 243 244 245 249 251 254 255 256 258 261 264 265 267 268 278 285 286 290 293 296 299 300 301 304 306 307 308 309 310 313 314 317 318 323 329 333 337 344 347 352 354 357 363 369 373 374 376 377 380 381 388 390 a 1 5 6 8 9 12 13 14 17 20 25 32 35 38 41 45 47 52 54 55 58 59 63 67 68 72 75 76 79 80 81 90 91 92 94 95 103 113 131 133 135 136 137 138 139 143 144 147 148 159 169 174 175 181 182 184 185 190 191 192 193 194 195 197 198 204 206 207 213 214 215 221 225 229 232 235 243 244 245 249 251 254 255 256 258 261 264 265 267 268 278 285 286 290 293 296 299 300 301 304 306 307 308 309 310 313 314 317 318 323 329 333 337 344 347 352 354 357 363 369 373 374 376 377 380 381 388 390 a 1 5 6 8 9 12 13 14 17 20 25 32 35 38 41 45 47 52 54 58 59 63 67 68 70 72 75 76 79 80 81 90 91 92 94 95 103 113 131 133 135 136 137 138 139 143 144 147 148 159 169 174 175 181 182 184 185 190 191 192 193 194 195 197 198 204 206 207 213 214 215 221 225 229 232 235 243 244 245 249 251 254 255 256 258 261 264 265 267 268 278 285 286 290 293 296 299 300 301 304 306 307 308 309 310 313 314 317 318 323 329 333 337 344 347 352 354 357 363 369 373 374 376 377 380 381 388 390 a 1 5 6 8 9 12 13 14 17 20 25 32 35 38 41 45 47 52 54 58 59 63 67 68 70 72 75 76 79 80 81 90 91 92 94 95 103 113 131 133 135 136 137 138 139 143 144 147 148 159 169 174 175 181 182 184 185 190 191 192 193 194 195 197 198 204 207 212 213 214 215 221 225 229 232 235 243 244 245 249 251 254 255 256 258 261 264 265 267 268 278 285 286 290 293 296 299 300 301 304 306 307 308 309 310 313 314 317 318 323 329 333 337 344 347 352 354 357 363 369 373 374 376 377 380 381 388 390 a 1 5 6 8 9 12 13 14 17 20 25 32 34 35 38 41 45 47 52 54 58 59 63 67 68 70 72 75 76 79 80 90 91 92 94 95 103 113 131 133 135 136 137 138 139 143 144 147 148 159 169 174 175 181 182 184 185 190 191 192 193 194 195 197 198 204 207 212 213 214 215 221 225 229 232 235 243 244 245 249 251 254 255 256 258 261 264 265 267 268 278 285 286 290 293 296 299 300 301 304 306 307 308 309 310 313 314 317 318 323 329 333 337 344 347 352 354 357 363 369 373 374 376 377 380 381 388 390 a 1 5 6 8 9 12 13 14 17 20 25 32 34 35 38 41 45 47 52 54 58 59 63 67 68 70 72 75 76 79 80 90 91 92 94 95 103 113 131 133 135 136 137 138 139 143 144 147 148 159 169 174 175 181 182 184 185 190 191 192 193 194 195 197 198 204 207 212 213 214 215 221 225 229 231 232 235 243 244 245 249 251 254 255 256 258 261 264 265 267 268 278 285 286 290 293 296 299 300 301 304 306 307 308 309 310 313 317 318 323 329 333 337 344 347 352 354 357 363 369 373 374 376 377 380 381 388 390 a 1 5 6 8 9 12 13 14 17 20 25 32 34 35 38 41 45 47 52 54 58 59 63 67 68 70 72 75 76 79 80 90 91 92 94 95 103 113 131 133 135 136 137 138 139 143 144 147 148 159 169 174 175 181 182 184 185 190 191 192 193 194 195 198 204 207 212 213 214 215 221 225 229 231 232 235 243 244 245 249 251 254 255 256 258 261 264 265 267 268 278 285 286 290 293 296 299 300 301 304 306 307 308 309 310 313 317 318 323 329 331 333 337 344 347 352 354 357 363 369 373 374 376 377 380 381 388 390 a 1 5 6 8 9 12 13 14 17 20 31 32 34 35 38 41 45 47 52 54 58 59 63 67 68 70 72 75 76 79 80 90 91 92 94 95 103 113 131 133 135 136 137 138 139 143 144 147 148 159 169 174 175 181 182 184 185 190 191 192 193 194 195 198 204 207 212 213 214 215 221 225 229 231 232 235 243 244 245 249 251 254 255 256 258 261 264 265 267 268 278 285 286 290 293 296 299 300 301 304 306 307 308 309 310 313 317 318 323 329 331 333 337 344 347 352 354 357 363 369 373 374 376 377 380 381 388 390 a 1 5 6 8 9 12 13 14 17 20 31 32 34 35 38 41 45 47 54 58 59 63 67 68 70 72 75 76 79 80 90 91 92 94 95 103 113 131 133 135 136 137 138 139 143 144 147 148 159 169 174 175 181 182 184 185 190 191 192 193 194 195 198 204 207 212 213 214 215 221 225 229 231 232 235 243 244 245 249 251 254 255 256 258 261 264 265 267 268 278 285 286 290 293 296 299 300 301 304 306 307 308 309 310 313 317 318 323 329 331 333 337 340 344 347 352 354 357 363 369 373 374 376 377 380 381 388 390 a 1 5 6 8 9 12 13 14 17 20 31 32 34 35 38 41 45 47 54 58 59 63 67 68 70 72 75 76 79 80 90 91 92 94 95 103 113 131 133 136 137 138 139 141 143 144 147 148 159 169 174 175 181 182 184 185 190 191 192 193 194 195 198 204 207 212 213 214 215 221 225 229 231 232 235 243 244 245 249 251 254 255 256 258 261 264 265 267 268 278 285 286 290 293 296 299 300 301 304 306 307 308 309 310 313 317 318 323 329 331 333 337 340 344 347 352 354 357 363 369 373 374 376 377 380 381 388 390 a 1 4 5 6 8 9 12 13 14 17 20 31 32 34 35 38 41 45 47 54 58 59 63 67 68 70 72 75 76 79 80 91 92 94 95 103 113 131 133 136 137 138 139 141 143 144 147 148 159 169 174 175 181 182 184 185 190 191 192 193 194 195 198 204 207 212 213 214 215 221 225 229 231 232 235 243 244 245 249 251 254 255 256 258 261 264 265 267 268 278 285 286 290 293 296 299 300 301 304 306 307 308 309 310 313 317 318 323 329 331 333 337 340 344 347 352 354 357 363 369 373 374 376 377 380 381 388 390 a 1 4 5 6 8 9 12 13 14 17 20 31 32 34 35 38 41 45 47 54 58 59 63 67 68 70 72 75 79 80 91 92 94 95 103 113 131 133 136 137 138 139 141 143 144 147 148 159 169 174 175 181 182 184 185 190 191 192 193 194 195 198 204 207 212 213 214 215 221 225 229 231 232 235 243 244 245 249 251 254 255 256 258 261 264 265 267 268 278 285 286 290 293 296 299 300 301 304 306 307 308 309 310 313 317 318 323 329 331 333 337 340 342 344 347 352 354 357 363 369 373 374 376 377 380 381 388 390 a 1 4 5 6 8 9 12 13 14 17 20 31 32 34 35 38 41 45 47 54 58 59 67 68 70 72 75 79 80 91 92 94 95 103 106 113 131 133 136 137 138 139 141 143 144 147 148 159 169 174 175 181 182 184 185 190 191 192 193 194 195 198 204 207 212 213 214 215 221 225 229 231 232 235 243 244 245 249 251 254 255 256 258 261 264 265 267 268 278 285 286 290 293 296 299 300 301 304 306 307 308 309 310 313 317 318 323 329 331 333 337 340 342 344 347 352 354 357 363 369 373 374 376 377 380 381 388 390 a 1 4 5 6 8 9 12 13 14 17 20 31 32 34 35 38 41 45 47 54 58 59 67 68 70 72 75 79 80 91 92 94 95 103 106 113 131 133 136 137 138 139 141 143 144 147 148 159 169 174 175 181 182 184 185 190 191 192 193 194 195 198 204 207 212 213 214 215 221 225 228 229 231 232 235 243 244 245 249 251 254 255 256 258 261 264 265 267 268 278 285 286 290 293 296 299 300 301 304 306 307 308 309 310 313 317 318 323 329 331 337 340 342 344 347 352 354 357 363 369 373 374 376 377 380 381 388 390 a 1 4 5 6 8 9 12 13 14 17 20 31 32 34 35 38 41 45 47 54 58 59 67 68 70 72 75 79 80 91 92 94 95 103 106 113 131 133 136 137 138 139 141 143 144 147 148 159 169 174 175 181 182 184 185 190 191 192 193 195 198 204 207 212 213 214 215 221 225 228 229 231 232 235 243 244 245 249 251 254 255 256 258 261 264 265 267 268 278 285 286 290 293 296 299 300 301 304 306 307 308 309 310 313 317 318 323 329 331 337 340 341 342 344 347 352 354 357 363 369 373 374 376 377 380 381 388 390 a 1 4 5 6 8 9 12 13 14 17 20 31 32 34 35 38 41 45 47 54 58 59 67 68 70 72 75 79 80 91 92 94 95 103 106 110 113 131 133 136 137 138 139 141 143 144 147 148 159 169 174 175 181 182 184 185 190 191 192 193 195 198 204 207 212 213 214 215 221 225 228 229 231 232 235 243 244 245 249 251 254 255 256 258 261 264 265 267 268 278 285 286 290 293 296 299 300 301 304 306 307 308 309 310 317 318 323 329 331 337 340 341 342 344 347 352 354 357 363 369 373 374 376 377 380 381 388 390 a 1 4 5 6 8 9 12 13 14 17 20 31 32 34 35 38 41 45 47 54 58 59 67 68 70 72 75 79 80 91 92 94 95 103 106 110 113 124 131 133 137 138 139 141 143 144 147 148 159 169 174 175 181 182 184 185 190 191 192 193 195 198 204 207 212 213 214 215 221 225 228 229 231 232 235 243 244 245 249 251 254 255 256 258 261 264 265 267 268 278 285 286 290 293 296 299 300 301 304 306 307 308 309 310 317 318 323 329 331 337 340 341 342 344 347 352 354 357 363 369 373 374 376 377 380 381 388 390 a 1 4 5 6 8 9 12 13 14 17 20 31 32 34 35 38 41 45 47 54 58 59 67 68 70 72 75 79 80 91 92 94 95 103 106 110 113 124 125 131 133 137 139 141 143 144 147 148 159 169 174 175 181 182 184 185 190 191 192 193 195 198 204 207 212 213 214 215 221 225 228 229 231 232 235 243 244 245 249 251 254 255 256 258 261 264 265 267 268 278 285 286 290 293 296 299 300 301 304 306 307 308 309 310 317 318 323 329 331 337 340 341 342 344 347 352 354 357 363 369 373 374 376 377 380 381 388 390 a 1 4 5 6 8 9 12 13 14 17 20 31 32 34 35 38 41 45 47 54 58 59 67 68 70 72 75 79 80 85 91 92 94 95 103 106 110 113 124 125 131 133 137 139 141 143 144 147 148 159 169 174 175 181 182 184 185 190 191 192 193 198 204 207 212 213 214 215 221 225 228 229 231 232 235 243 244 245 249 251 254 255 256 258 261 264 265 267 268 278 285 286 290 293 296 299 300 301 304 306 307 308 309 310 317 318 323 329 331 337 340 341 342 344 347 352 354 357 363 369 373 374 376 377 380 381 388 390 a 1 4 5 6 8 9 12 13 14 17 20 27 31 32 34 35 38 41 45 47 54 58 59 67 68 70 72 75 79 80 85 91 92 94 95 103 106 110 113 124 125 131 133 137 139 141 143 144 147 148 159 169 174 175 181 182 184 185 190 191 192 193 198 204 207 212 214 215 221 225 228 229 231 232 235 243 244 245 249 251 254 255 256 258 261 264 265 267 268 278 285 286 290 293 296 299 300 301 304 306 307 308 309 310 317 318 323 329 331 337 340 341 342 344 347 352 354 357 363 369 373 374 376 377 380 381 388 390 a 1 4 5 6 8 9 12 13 14 17 20 27 31 32 34 35 38 45 47 54 58 59 67 68 70 72 75 79 80 85 91 92 94 95 103 106 110 113 124 125 131 133 137 139 141 143 144 147 148 159 169 174 175 181 182 184 185 190 191 192 193 198 204 207 212 214 215 221 225 228 229 231 232 235 243 244 245 249 251 254 255 256 258 261 264 265 267 268 278 285 286 290 293 296 299 300 301 304 306 307 308 309 310 316 317 318 323 329 331 337 340 341 342 344 347 352 354 357 363 369 373 374 376 377 380 381 388 390 a 1 4 5 6 8 9 12 13 14 17 20 27 31 32 34 35 38 45 47 54 58 59 67 68 70 72 75 79 80 85 91 92 94 95 103 106 110 113 124 125 131 133 137 139 141 143 144 147 148 159 169 174 175 181 182 184 185 190 191 192 193 198 204 207 212 214 215 221 225 228 229 231 232 235 243 244 245 249 251 254 255 256 258 261 264 265 267 268 278 285 286 293 296 299 300 301 304 306 307 308 309 310 316 317 318 323 329 331 337 340 341 342 344 347 352 354 357 363 369 373 374 376 377 380 381 382 388 390 a 1 4 5 6 8 9 12 13 14 17 20 27 31 32 34 35 38 45 47 54 58 59 67 68 70 72 75 79 80 85 91 92 94 95 103 106 110 124 125 131 133 137 139 141 143 144 147 148 159 169 174 175 181 182 184 185 190 191 192 193 198 204 207 212 214 215 221 225 228 229 231 232 235 243 244 245 249 251 254 255 256 258 261 264 265 267 268 278 285 286 293 296 299 300 301 304 306 307 308 309 310 315 316 317 318 323 329 331 337 340 341 342 344 347 352 354 357 363 369 373 374 376 377 380 381 382 388 390 a 1 4 5 6 8 9 12 13 14 17 20 27 31 32 34 35 38 45 47 54 58 59 67 68 70 72 75 79 80 85 91 92 94 95 103 106 110 124 125 131 133 137 139 141 143 144 147 148 159 169 174 175 181 182 184 185 190 192 193 198 204 207 212 214 215 221 225 228 229 231 232 235 243 244 245 249 251 254 255 256 258 261 264 265 267 268 278 285 286 293 296 299 300 301 304 306 307 308 309 310 315 316 317 318 323 329 331 337 340 341 342 344 347 352 354 357 363 365 369 373 374 376 377 380 381 382 388 390 a 1 4 5 6 8 9 12 13 14 17 20 27 31 32 34 35 38 45 47 54 58 59 67 68 70 75 79 80 85 91 92 94 95 103 106 110 124 125 131 133 137 139 141 143 144 147 148 159 169 174 175 176 181 182 184 185 190 192 193 198 204 207 212 214 215 221 225 228 229 231 232 235 243 244 245 249 251 254 255 256 258 261 264 265 267 268 278 285 286 293 296 299 300 301 304 306 307 308 309 310 315 316 317 318 323 329 331 337 340 341 342 344 347 352 354 357 363 365 369 373 374 376 377 380 381 382 388 390 a 1 4 5 6 8 9 12 13 14 17 20 27 31 32 34 35 38 45 47 54 58 59 67 68 70 75 79 80 85 91 92 94 95 97 103 106 110 124 125 131 133 137 139 141 143 144 147 148 159 169 174 175 176 181 182 184 185 190 192 193 198 204 207 212 214 215 221 225 228 229 231 232 235 243 244 245 249 251 254 255 256 258 261 264 265 267 268 278 285 286 293 296 299 300 301 304 306 307 308 309 310 315 316 317 318 323 329 331 337 340 341 342 344 347 352 357 363 365 369 373 374 376 377 380 381 382 388 390 a 1 4 5 6 8 9 12 13 14 17 20 27 31 32 34 35 38 45 47 54 58 59 67 68 70 75 79 80 85 91 92 94 95 97 103 106 110 124 125 131 133 137 141 143 144 147 148 159 169 174 175 176 181 182 184 185 190 192 193 198 204 207 212 214 215 221 225 228 229 231 232 235 243 244 245 249 251 254 255 256 258 261 264 265 267 268 278 285 286 293 296 299 300 301 304 306 307 308 309 310 315 316 317 318 323 326 329 331 337 340 341 342 344 347 352 357 363 365 369 373 374 376 377 380 381 382 388 390 a 1 4 5 6 8 9 12 13 14 17 20 27 31 32 34 35 38 45 47 54 58 59 67 68 70 75 79 80 85 91 92 94 95 97 102 103 106 110 124 125 131 133 137 141 143 144 147 148 159 169 174 175 176 181 182 184 185 190 192 193 198 204 207 212 214 215 221 225 228 229 231 232 235 243 244 245 249 251 254 255 256 258 261 264 267 268 278 285 286 293 296 299 300 301 304 306 307 308 309 310 315 316 317 318 323 326 329 331 337 340 341 342 344 347 352 357 363 365 369 373 374 376 377 380 381 382 388 390 a 1 4 5 6 8 9 12 13 14 17 20 27 31 32 34 35 38 45 47 54 58 59 67 68 70 75 79 80 85 91 92 94 95 97 102 103 106 110 124 125 131 133 137 141 143 144 147 148 159 169 174 175 176 181 182 184 185 190 192 193 198 204 207 212 214 221 225 228 229 231 232 235 243 244 245 249 251 254 255 256 258 261 264 267 268 278 283 285 286 293 296 299 300 301 304 306 307 308 309 310 315 316 317 318 323 326 329 331 337 340 341 342 344 347 352 357 363 365 369 373 374 376 377 380 381 382 388 390 a 1 4 5 6 8 9 12 13 14 17 20 27 31 32 34 35 38 45 47 54 58 59 67 68 70 75 79 80 85 91 92 93 94 95 97 102 103 106 110 124 125 131 133 137 141 144 147 148 159 169 174 175 176 181 182 184 185 190 192 193 198 204 207 212 214 221 225 228 229 231 232 235 243 244 245 249 251 254 255 256 258 261 264 267 268 278 283 285 286 293 296 299 300 301 304 306 307 308 309 310 315 316 317 318 323 326 329 331 337 340 341 342 344 347 352 357 363 365 369 373 374 376 377 380 381 382 388 390 a 1 4 5 6 8 9 13 14 17 20 27 31 32 34 35 38 45 47 54 58 59 67 68 70 75 79 80 85 91 92 93 94 95 97 102 103 106 110 124 125 131 133 137 141 144 147 148 159 169 174 175 176 181 182 184 185 190 192 193 198 204 207 212 214 221 225 228 229 231 232 235 243 244 245 249 251 254 255 256 258 261 264 267 268 278 283 285 286 293 296 299 300 301 304 306 307 308 309 310 315 316 317 318 323 326 329 331 337 340 341 342 344 347 352 353 357 363 365 369 373 374 376 377 380 381 382 388 390 a 1 4 5 6 8 9 13 14 17 20 27 31 32 34 35 38 45 47 54 58 59 67 68 70 75 79 80 85 91 92 93 94 95 97 102 103 106 110 124 125 131 133 137 141 144 147 148 159 169 174 175 176 181 182 184 185 190 192 193 204 207 212 214 221 225 228 229 231 232 235 243 244 245 249 251 254 255 256 258 261 264 267 268 278 283 285 286 293 296 299 300 301 304 306 307 308 309 310 315 316 317 318 323 326 329 331 337 340 341 342 344 346 347 352 353 357 363 365 369 373 374 376 377 380 381 382 388 390 a 1 4 5 6 8 9 13 14 17 20 27 31 32 34 35 38 45 47 54 58 59 67 68 70 75 79 80 85 91 92 93 94 95 97 102 103 106 110 124 125 131 133 137 141 144 147 148 152 159 169 174 175 176 181 182 184 185 190 192 193 204 207 212 214 221 225 228 229 231 232 235 243 244 245 251 254 255 256 258 261 264 267 268 278 283 285 286 293 296 299 300 301 304 306 307 308 309 310 315 316 317 318 323 326 329 331 337 340 341 342 344 346 347 352 353 357 363 365 369 373 374 376 377 380 381 382 388 390 a 1 4 5 6 8 9 13 14 17 20 27 31 32 34 35 38 45 47 54 58 59 67 68 70 75 79 80 85 91 92 93 94 95 97 102 103 106 110 124 125 131 133 137 141 144 147 148 152 159 169 174 175 176 181 182 184 185 190 192 193 204 207 212 214 221 225 228 229 231 232 235 243 244 245 251 254 255 256 258 261 267 268 278 283 285 286 293 296 299 300 301 304 306 307 308 309 310 315 316 317 318 323 326 329 331 337 340 341 342 344 346 347 352 353 357 363 365 369 373 374 376 377 380 381 382 385 388 390 a 1 4 5 6 8 9 13 14 17 18 20 27 31 32 34 35 38 45 47 54 58 59 67 70 75 79 80 85 91 92 93 94 95 97 102 103 106 110 124 125 131 133 137 141 144 147 148 152 159 169 174 175 176 181 182 184 185 190 192 193 204 207 212 214 221 225 228 229 231 232 235 243 244 245 251 254 255 256 258 261 267 268 278 283 285 286 293 296 299 300 301 304 306 307 308 309 310 315 316 317 318 323 326 329 331 337 340 341 342 344 346 347 352 353 357 363 365 369 373 374 376 377 380 381 382 385 388 390 c Step: 88 Command being timed: "python3 run_3.py --shortest -t4 /benchmark/random_instance/random_instance030_graph002.col /benchmark/random_instance/random_instance030_graph002_01.dat" User time (seconds): 20.44 System time (seconds): 0.26 Percent of CPU this job got: 279% Elapsed (wall clock) time (h:mm:ss or m:ss): 0:07.41 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): 367584 Average resident set size (kbytes): 0 Major (requiring I/O) page faults: 0 Minor (reclaiming a frame) page faults: 240119 Voluntary context switches: 14001 Involuntary context switches: 76 Swaps: 0 File system inputs: 0 File system outputs: 576 Socket messages sent: 0 Socket messages received: 0 Signals delivered: 0 Page size (bytes): 4096 Exit status: 0 #END: [Tue Sep 26 03:36:27 2023]