#BEGIN: [Mon Sep 4 15:07:34 2023] #HOST: s08 #TIMELIMIT: 1800 #MEMLIMIT: 0 #SOLVER: shortest-wallclock-banbaralab2-shortest1 #INSTANCE1: /benchmark/random_instance/random_instance032_graph004.col #INSTANCE2: /benchmark/random_instance/random_instance032_graph004_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_instance032_graph004.col /benchmark/random_instance/random_instance032_graph004_01.dat c /benchmark/random_instance/random_instance032_graph004.col c /benchmark/random_instance/random_instance032_graph004_01.dat s 363 358 72 2 218 335 250 90 156 186 189 404 343 125 403 273 227 237 179 331 191 371 205 59 78 409 352 112 230 154 172 402 34 180 201 324 236 76 107 102 161 359 226 54 62 379 308 122 124 274 19 254 139 267 322 195 220 98 53 260 202 87 339 31 361 350 301 118 17 188 399 235 248 197 336 334 266 55 99 415 213 65 12 83 41 120 397 288 372 258 378 271 398 256 176 94 318 410 293 138 257 149 63 281 196 86 346 312 337 268 109 5 194 73 251 290 407 277 126 249 181 383 209 210 323 242 374 389 330 61 t 144 3 6 61 196 381 357 226 55 372 167 405 110 58 214 13 155 288 56 316 73 380 401 298 9 97 52 21 281 285 251 185 256 361 59 247 342 137 314 333 166 156 328 89 31 414 87 65 360 330 205 338 366 203 252 23 152 402 174 329 413 98 340 88 211 146 356 189 395 80 164 34 346 215 30 258 305 242 262 216 304 46 344 2 377 109 126 403 64 311 179 268 183 390 317 39 245 332 138 243 120 107 206 277 299 44 150 112 263 323 369 68 321 157 17 60 406 224 125 364 33 292 303 273 260 389 18 290 363 12 a YES a 2 5 12 17 19 31 34 41 53 54 55 59 61 62 63 65 72 73 76 78 83 86 87 90 94 98 99 102 107 109 112 118 120 122 124 125 126 138 139 149 154 156 161 172 176 179 180 181 186 188 189 191 194 195 196 197 201 202 205 209 210 213 218 220 226 227 230 235 236 237 242 248 249 250 251 254 256 257 258 260 266 267 268 271 273 274 277 281 288 290 293 301 308 312 318 322 323 324 330 331 334 335 336 337 339 343 346 350 352 358 359 361 363 371 372 374 378 379 383 389 397 398 399 402 403 404 407 409 410 415 a 2 5 12 17 19 31 34 41 53 55 59 61 62 63 65 72 73 76 78 83 86 87 90 94 98 99 102 107 109 112 118 120 122 124 125 126 138 139 149 154 156 161 172 176 179 180 181 186 188 189 191 194 195 196 197 201 202 205 209 210 213 218 220 226 227 230 235 236 237 242 248 249 250 251 254 256 257 258 260 266 267 268 271 273 274 277 281 288 290 293 301 308 312 318 322 323 324 330 331 334 335 336 337 339 343 346 350 352 358 359 361 363 371 372 374 378 379 383 389 397 398 399 402 403 404 405 407 409 410 415 a 2 5 12 17 19 31 34 41 53 55 59 61 62 63 65 72 73 76 78 83 86 87 90 94 98 99 102 107 109 110 112 118 120 122 124 125 126 138 139 149 154 156 161 172 176 179 180 181 188 189 191 194 195 196 197 201 202 205 209 210 213 218 220 226 227 230 235 236 237 242 248 249 250 251 254 256 257 258 260 266 267 268 271 273 274 277 281 288 290 293 301 308 312 318 322 323 324 330 331 334 335 336 337 339 343 346 350 352 358 359 361 363 371 372 374 378 379 383 389 397 398 399 402 403 404 405 407 409 410 415 a 2 5 12 17 19 31 34 41 53 55 59 61 62 63 65 72 73 76 78 83 86 87 90 94 98 99 102 107 109 110 112 118 120 122 124 125 126 138 139 149 154 156 161 172 176 179 180 181 188 189 191 195 196 197 201 202 205 209 210 213 218 220 226 227 230 235 236 237 242 248 249 250 251 254 256 257 258 260 266 267 268 271 273 274 277 281 288 290 293 301 308 312 318 322 323 324 330 331 334 335 336 337 338 339 343 346 350 352 358 359 361 363 371 372 374 378 379 383 389 397 398 399 402 403 404 405 407 409 410 415 a 2 5 12 17 19 31 34 41 53 55 59 61 62 63 65 72 73 76 78 83 86 87 90 94 98 99 102 107 109 110 112 118 120 122 124 125 126 138 139 149 154 156 161 172 176 179 180 181 188 189 191 195 196 197 201 205 209 210 213 218 220 226 227 230 235 236 237 242 248 249 250 251 254 256 257 258 260 266 267 268 271 273 274 277 281 288 290 293 301 308 311 312 318 322 323 324 330 331 334 335 336 337 338 339 343 346 350 352 358 359 361 363 371 372 374 378 379 383 389 397 398 399 402 403 404 405 407 409 410 415 a 2 3 5 12 17 19 31 34 41 53 55 59 61 62 63 65 72 73 76 78 83 86 87 90 94 98 99 102 107 109 110 112 118 120 122 124 125 126 138 139 149 154 156 161 172 176 179 180 181 188 189 191 195 196 197 201 205 209 210 213 218 220 226 227 230 235 236 237 242 248 249 250 251 254 256 257 258 260 266 267 268 271 273 274 277 281 288 290 293 301 308 311 312 318 322 323 324 330 331 334 335 336 337 338 339 346 350 352 358 359 361 363 371 372 374 378 379 383 389 397 398 399 402 403 404 405 407 409 410 415 a 2 3 5 12 17 19 31 34 41 53 55 59 61 62 63 65 72 73 76 78 83 86 87 90 94 98 99 102 107 109 110 112 118 120 122 124 125 126 138 139 149 154 156 161 172 176 179 180 181 188 189 191 195 196 197 201 205 209 210 213 218 220 226 227 230 235 236 237 242 248 249 250 251 254 256 257 258 260 266 267 268 271 273 274 277 281 288 290 293 301 308 311 312 318 322 323 324 330 331 334 335 336 337 338 339 346 350 352 359 361 363 364 371 372 374 378 379 383 389 397 398 399 402 403 404 405 407 409 410 415 a 2 3 5 6 12 17 19 31 34 41 53 55 59 61 62 63 65 72 73 76 78 83 86 87 90 94 98 99 102 107 109 110 112 118 120 122 124 125 126 138 139 149 154 156 161 172 176 179 180 181 188 189 191 195 196 197 201 205 209 210 213 218 220 226 227 230 235 236 237 242 248 249 250 251 254 256 257 258 260 266 267 268 271 273 274 277 281 288 290 293 301 308 311 312 318 322 323 324 330 331 334 335 336 337 338 346 350 352 359 361 363 364 371 372 374 378 379 383 389 397 398 399 402 403 404 405 407 409 410 415 a 2 3 5 6 12 17 19 31 34 41 53 55 59 61 62 63 65 72 73 76 78 83 86 87 90 94 98 99 102 107 109 110 112 118 120 122 124 125 126 138 139 149 154 156 161 172 176 179 180 181 188 189 191 195 196 197 201 205 209 210 213 216 218 220 226 227 230 235 236 242 248 249 250 251 254 256 257 258 260 266 267 268 271 273 274 277 281 288 290 293 301 308 311 312 318 322 323 324 330 331 334 335 336 337 338 346 350 352 359 361 363 364 371 372 374 378 379 383 389 397 398 399 402 403 404 405 407 409 410 415 a 2 3 5 6 12 17 19 31 34 41 53 55 59 61 62 63 65 72 73 76 78 83 86 87 90 94 98 99 102 107 109 110 112 118 120 122 124 125 126 138 139 149 154 156 161 172 176 179 180 181 188 189 191 195 196 197 201 205 209 210 213 215 216 218 220 226 227 230 235 236 242 248 249 250 251 254 256 257 258 260 266 267 268 271 273 274 277 281 288 290 293 301 308 311 312 318 322 323 324 330 331 334 335 336 337 338 346 350 352 359 361 363 364 371 372 374 378 379 383 389 397 398 402 403 404 405 407 409 410 415 a 2 3 5 6 9 12 17 19 31 34 41 53 55 59 61 62 63 65 72 73 76 78 83 86 87 90 94 98 99 102 107 109 110 112 118 120 122 124 125 126 138 139 149 154 156 161 172 176 179 180 181 188 189 191 195 196 197 205 209 210 213 215 216 218 220 226 227 230 235 236 242 248 249 250 251 254 256 257 258 260 266 267 268 271 273 274 277 281 288 290 293 301 308 311 312 318 322 323 324 330 331 334 335 336 337 338 346 350 352 359 361 363 364 371 372 374 378 379 383 389 397 398 402 403 404 405 407 409 410 415 a 2 3 5 6 9 12 17 19 31 34 41 53 55 59 61 62 63 65 72 73 76 78 83 86 87 90 94 98 99 102 107 109 110 112 118 120 122 124 125 126 138 139 149 154 156 161 172 176 179 180 181 188 189 191 195 196 197 205 209 210 213 215 216 218 226 227 230 235 236 242 248 249 250 251 254 256 257 258 260 266 267 268 271 273 274 277 281 288 290 293 301 308 311 312 318 321 322 323 324 330 331 334 335 336 337 338 346 350 352 359 361 363 364 371 372 374 378 379 383 389 397 398 402 403 404 405 407 409 410 415 a 2 3 5 6 9 12 17 19 31 34 41 53 55 59 61 62 63 65 72 73 76 78 83 86 87 90 94 98 99 102 107 109 110 112 118 120 122 124 125 126 138 139 149 154 156 161 172 176 179 180 181 188 189 191 195 196 197 205 209 210 213 215 216 218 226 227 230 235 236 242 248 249 250 251 254 256 257 258 260 266 267 268 271 273 274 277 281 288 290 292 293 301 308 311 312 318 321 322 323 324 330 331 334 335 337 338 346 350 352 359 361 363 364 371 372 374 378 379 383 389 397 398 402 403 404 405 407 409 410 415 a 2 3 5 6 9 12 17 19 31 34 41 53 55 59 61 62 63 65 73 76 78 83 86 87 90 94 98 99 102 107 109 110 112 118 120 122 124 125 126 138 139 149 154 155 156 161 172 176 179 180 181 188 189 191 195 196 197 205 209 210 213 215 216 218 226 227 230 235 236 242 248 249 250 251 254 256 257 258 260 266 267 268 271 273 274 277 281 288 290 292 293 301 308 311 312 318 321 322 323 324 330 331 334 335 337 338 346 350 352 359 361 363 364 371 372 374 378 379 383 389 397 398 402 403 404 405 407 409 410 415 a 2 3 5 6 9 12 17 19 31 34 41 53 55 59 61 62 63 65 73 76 78 83 86 87 90 94 98 99 102 107 109 110 112 118 120 122 124 125 126 138 139 149 154 155 156 161 172 176 179 180 181 188 189 191 195 196 197 205 209 210 213 215 216 218 226 227 230 235 236 242 248 249 250 251 254 256 257 258 260 266 267 268 271 273 274 277 281 288 290 292 293 298 301 308 311 318 321 322 323 324 330 331 334 335 337 338 346 350 352 359 361 363 364 371 372 374 378 379 383 389 397 398 402 403 404 405 407 409 410 415 a 2 3 5 6 9 12 17 19 31 34 41 53 55 59 61 62 63 65 73 76 78 83 86 87 90 94 98 99 102 107 109 110 112 118 120 122 124 125 126 138 139 149 154 155 156 161 172 176 179 180 181 188 189 191 195 196 197 205 209 210 213 215 216 218 226 227 230 235 236 242 248 249 250 251 254 256 257 258 260 263 266 267 268 271 273 274 277 281 288 290 292 293 298 301 308 311 318 321 323 324 330 331 334 335 337 338 346 350 352 359 361 363 364 371 372 374 378 379 383 389 397 398 402 403 404 405 407 409 410 415 a 2 3 5 6 9 12 17 19 31 34 41 53 55 59 61 62 63 65 73 76 78 83 86 87 90 94 98 99 102 107 109 110 112 118 120 122 124 125 126 138 139 149 154 155 156 161 172 176 179 180 181 188 189 191 195 196 205 209 210 213 215 216 218 226 227 230 235 236 242 248 249 250 251 254 256 257 258 260 263 266 267 268 271 273 274 277 281 288 290 292 293 298 301 308 311 318 321 323 324 330 331 334 335 337 338 346 350 352 359 360 361 363 364 371 372 374 378 379 383 389 397 398 402 403 404 405 407 409 410 415 a 2 3 5 6 9 12 17 19 31 34 39 41 53 55 59 61 62 63 65 73 76 78 83 86 87 90 94 98 99 102 107 109 110 112 118 120 122 124 125 126 138 139 149 154 155 156 161 172 176 179 180 181 188 189 195 196 205 209 210 213 215 216 218 226 227 230 235 236 242 248 249 250 251 254 256 257 258 260 263 266 267 268 271 273 274 277 281 288 290 292 293 298 301 308 311 318 321 323 324 330 331 334 335 337 338 346 350 352 359 360 361 363 364 371 372 374 378 379 383 389 397 398 402 403 404 405 407 409 410 415 a 2 3 5 6 9 12 17 19 31 34 39 41 53 55 59 61 62 63 65 73 76 78 83 86 87 90 94 98 99 102 107 109 110 112 118 120 122 124 125 126 138 139 149 154 155 156 161 172 176 179 180 181 188 189 195 196 205 209 210 213 215 216 218 226 227 230 235 236 242 248 249 250 251 254 256 257 258 260 263 266 267 268 271 273 274 277 281 288 290 292 293 298 301 308 311 318 321 323 324 330 331 334 337 338 346 350 352 359 360 361 363 364 371 372 374 378 379 381 383 389 397 398 402 403 404 405 407 409 410 415 a 2 3 5 6 9 12 17 18 19 31 34 39 41 53 55 59 61 62 63 65 73 76 78 83 86 87 90 94 98 99 102 107 109 110 112 118 120 122 124 125 126 138 139 149 154 155 156 161 172 176 179 180 181 188 189 195 196 205 209 210 213 215 216 218 226 227 230 235 236 242 248 249 250 251 254 256 257 258 260 263 266 267 268 271 273 274 277 281 288 290 292 293 298 301 308 311 318 321 323 324 330 331 334 337 338 346 350 352 359 360 361 363 364 371 372 374 378 379 381 383 389 397 398 402 403 404 405 407 410 415 a 2 3 5 6 9 12 17 18 19 31 34 39 41 53 55 59 61 62 63 65 73 76 78 83 86 87 94 98 99 102 107 109 110 112 118 120 122 124 125 126 138 139 149 154 155 156 161 172 176 179 180 181 188 189 195 196 205 209 210 213 215 216 218 226 227 230 235 236 242 248 249 250 251 254 256 257 258 260 263 266 267 268 271 273 274 277 281 288 290 292 293 298 301 308 311 318 321 323 324 330 331 334 337 338 340 346 350 352 359 360 361 363 364 371 372 374 378 379 381 383 389 397 398 402 403 404 405 407 410 415 a 2 3 5 6 9 12 17 18 19 23 31 34 39 41 53 55 59 61 63 65 73 76 78 83 86 87 94 98 99 102 107 109 110 112 118 120 122 124 125 126 138 139 149 154 155 156 161 172 176 179 180 181 188 189 195 196 205 209 210 213 215 216 218 226 227 230 235 236 242 248 249 250 251 254 256 257 258 260 263 266 267 268 271 273 274 277 281 288 290 292 293 298 301 308 311 318 321 323 324 330 331 334 337 338 340 346 350 352 359 360 361 363 364 371 372 374 378 379 381 383 389 397 398 402 403 404 405 407 410 415 a 2 3 5 6 9 12 17 18 23 31 34 39 41 53 55 59 61 63 65 73 76 78 83 86 87 94 98 99 102 107 109 110 112 118 120 122 124 125 126 138 139 149 154 155 156 161 172 176 179 180 181 188 189 195 196 205 209 210 213 215 216 218 226 227 230 235 236 242 248 249 250 251 254 256 257 258 260 263 266 267 268 271 273 274 277 281 288 290 292 293 298 301 308 311 318 321 323 324 330 331 334 337 338 340 346 350 352 359 360 361 363 364 366 371 372 374 378 379 381 383 389 397 398 402 403 404 405 407 410 415 a 2 3 5 6 9 12 17 18 23 31 34 39 41 53 55 59 61 63 65 73 76 78 83 86 87 94 98 99 102 107 109 110 112 118 120 122 124 125 126 138 139 149 154 155 156 161 172 176 179 180 181 188 189 195 196 205 209 210 211 213 215 216 218 226 227 230 235 236 242 248 249 250 251 254 256 257 258 260 263 266 267 268 271 273 274 277 281 288 290 292 293 298 301 308 311 318 321 323 324 330 331 334 337 338 340 346 350 352 360 361 363 364 366 371 372 374 378 379 381 383 389 397 398 402 403 404 405 407 410 415 a 2 3 5 6 9 12 17 18 23 31 34 39 41 53 55 59 61 63 65 73 76 78 83 86 87 94 98 99 102 107 109 110 112 118 120 122 124 125 126 138 139 149 154 155 156 161 172 176 179 180 181 188 189 195 196 205 209 210 211 213 215 216 218 226 227 230 235 236 242 243 248 249 250 251 254 256 257 258 260 263 266 267 268 271 273 274 277 281 288 290 292 293 298 301 308 311 318 321 323 324 330 331 334 337 338 340 346 350 352 360 361 363 364 366 371 372 374 378 379 381 389 397 398 402 403 404 405 407 410 415 a 2 3 5 6 9 12 17 18 23 31 34 39 53 55 59 61 63 65 73 76 78 83 86 87 94 98 99 102 107 109 110 112 118 120 122 124 125 126 138 139 149 154 155 156 161 172 176 179 180 181 188 189 195 196 205 209 210 211 213 215 216 218 226 227 230 235 236 242 243 248 249 250 251 254 256 257 258 260 262 263 266 267 268 271 273 274 277 281 288 290 292 293 298 301 308 311 318 321 323 324 330 331 334 337 338 340 346 350 352 360 361 363 364 366 371 372 374 378 379 381 389 397 398 402 403 404 405 407 410 415 a 2 3 5 6 9 12 17 18 23 31 34 39 53 55 56 59 61 63 65 73 76 78 83 86 87 94 98 99 102 107 109 110 112 118 120 122 124 125 126 138 139 149 154 155 156 161 172 176 179 180 181 188 189 195 196 205 209 210 211 213 215 216 218 226 227 230 235 236 242 243 248 249 250 251 254 256 257 258 260 262 263 266 267 268 271 273 274 277 281 288 290 292 293 298 301 311 318 321 323 324 330 331 334 337 338 340 346 350 352 360 361 363 364 366 371 372 374 378 379 381 389 397 398 402 403 404 405 407 410 415 a 2 3 5 6 9 12 17 18 23 31 34 39 53 55 56 59 61 63 65 73 76 78 83 86 87 89 94 98 99 102 107 109 110 112 118 120 122 124 125 126 138 139 149 154 155 156 161 172 176 179 180 181 188 189 195 196 205 209 210 211 213 215 216 218 226 227 230 235 236 242 243 248 249 250 251 254 256 257 258 260 262 263 266 267 268 271 273 274 277 281 288 290 292 293 298 301 311 318 321 323 324 330 331 334 337 338 340 346 350 360 361 363 364 366 371 372 374 378 379 381 389 397 398 402 403 404 405 407 410 415 a 2 3 5 6 9 12 17 18 23 31 34 39 44 53 55 56 59 61 63 65 73 76 78 83 86 87 89 94 98 99 102 107 109 110 112 118 120 122 124 125 126 138 139 149 154 155 156 161 172 176 179 180 181 188 189 195 196 205 209 210 211 213 215 216 218 226 227 230 235 236 242 243 248 249 250 251 254 256 257 258 260 262 263 266 267 268 271 273 274 277 281 288 290 292 293 298 301 311 318 321 323 324 330 331 334 337 338 340 346 350 360 361 363 364 366 371 372 374 379 381 389 397 398 402 403 404 405 407 410 415 a 2 3 5 6 9 12 17 18 23 31 34 39 44 53 55 56 59 61 63 65 73 76 78 83 86 87 89 94 98 99 102 107 109 110 112 118 120 122 124 125 126 138 139 149 154 155 156 161 172 176 179 180 181 188 189 195 196 205 209 210 211 213 215 216 226 227 230 235 236 242 243 248 249 250 251 254 256 257 258 260 262 263 266 267 268 271 273 274 277 281 285 288 290 292 293 298 301 311 318 321 323 324 330 331 334 337 338 340 346 350 360 361 363 364 366 371 372 374 379 381 389 397 398 402 403 404 405 407 410 415 a 2 3 5 6 9 12 17 18 23 31 34 39 44 53 55 56 59 61 63 65 73 76 78 83 86 87 89 94 98 99 102 107 109 110 112 118 120 122 124 125 126 138 139 149 154 155 156 157 161 172 176 179 180 181 188 189 195 196 205 209 210 211 213 215 216 226 227 230 235 236 242 243 248 249 251 254 256 257 258 260 262 263 266 267 268 271 273 274 277 281 285 288 290 292 293 298 301 311 318 321 323 324 330 331 334 337 338 340 346 350 360 361 363 364 366 371 372 374 379 381 389 397 398 402 403 404 405 407 410 415 a 2 3 5 6 9 12 17 18 23 31 34 39 44 53 55 56 59 61 63 65 73 76 78 83 86 87 89 94 98 99 102 107 109 110 112 118 120 122 124 125 126 138 139 149 154 155 156 157 161 166 172 176 179 180 181 188 189 195 196 205 209 210 211 213 215 216 226 227 230 235 236 242 243 248 249 251 254 256 257 258 260 262 263 266 267 268 271 273 274 277 281 285 288 290 292 293 298 301 311 318 321 323 324 330 331 337 338 340 346 350 360 361 363 364 366 371 372 374 379 381 389 397 398 402 403 404 405 407 410 415 a 2 3 5 6 9 12 17 18 23 31 34 39 44 53 55 56 59 61 63 65 73 76 78 83 86 87 89 94 98 99 102 107 109 110 112 118 120 122 124 125 126 138 139 149 154 155 156 157 161 166 172 176 179 180 181 188 189 195 196 205 209 210 211 213 215 216 226 227 230 235 236 242 243 248 249 251 254 256 257 258 260 262 263 266 267 268 271 273 274 277 281 285 288 290 292 293 298 301 311 318 321 323 324 330 331 332 337 338 340 346 350 360 361 363 364 366 371 372 374 379 381 389 397 398 402 403 404 405 407 415 a 2 3 5 6 9 12 17 18 23 31 34 39 44 53 55 56 59 61 63 65 73 76 78 83 86 87 89 94 98 99 102 107 109 110 112 118 120 122 124 125 126 138 139 149 154 155 156 157 161 166 167 172 176 179 181 188 189 195 196 205 209 210 211 213 215 216 226 227 230 235 236 242 243 248 249 251 254 256 257 258 260 262 263 266 267 268 271 273 274 277 281 285 288 290 292 293 298 301 311 318 321 323 324 330 331 332 337 338 340 346 350 360 361 363 364 366 371 372 374 379 381 389 397 398 402 403 404 405 407 415 a 2 3 5 6 9 12 17 18 23 31 34 39 44 53 55 56 59 61 63 65 73 76 78 83 86 87 89 94 98 99 102 107 109 110 112 118 120 122 124 125 126 138 139 149 154 155 156 157 161 166 167 172 176 179 181 188 189 195 196 205 209 210 211 213 215 216 226 227 235 236 242 243 248 249 251 254 256 257 258 260 262 263 266 267 268 271 273 274 277 281 285 288 290 292 293 298 301 311 318 321 323 324 330 331 332 337 338 340 346 350 360 361 363 364 366 371 372 374 379 381 389 390 397 398 402 403 404 405 407 415 a 2 3 5 6 9 12 17 18 23 31 34 39 44 53 55 56 59 61 63 65 73 76 78 83 86 87 89 94 98 99 102 107 109 110 112 118 120 122 124 125 126 138 139 146 149 154 155 156 157 161 166 167 172 176 179 181 188 189 196 205 209 210 211 213 215 216 226 227 235 236 242 243 248 249 251 254 256 257 258 260 262 263 266 267 268 271 273 274 277 281 285 288 290 292 293 298 301 311 318 321 323 324 330 331 332 337 338 340 346 350 360 361 363 364 366 371 372 374 379 381 389 390 397 398 402 403 404 405 407 415 a 2 3 5 6 9 12 17 18 23 31 34 39 44 53 55 56 59 60 61 63 65 73 76 78 83 86 87 89 94 98 99 102 107 109 110 112 118 120 122 124 125 126 138 139 146 149 154 155 156 157 161 166 167 172 176 179 181 188 189 196 205 209 210 211 213 215 216 226 227 235 236 242 243 248 249 251 254 256 257 258 260 262 263 266 268 271 273 274 277 281 285 288 290 292 293 298 301 311 318 321 323 324 330 331 332 337 338 340 346 350 360 361 363 364 366 371 372 374 379 381 389 390 397 398 402 403 404 405 407 415 a 2 3 6 9 12 17 18 23 31 34 39 44 53 55 56 59 60 61 63 65 73 76 78 83 86 87 89 94 98 99 102 107 109 110 112 118 120 122 124 125 126 138 139 146 149 154 155 156 157 161 166 167 172 176 179 181 188 189 196 203 205 209 210 211 213 215 216 226 227 235 236 242 243 248 249 251 254 256 257 258 260 262 263 266 268 271 273 274 277 281 285 288 290 292 293 298 301 311 318 321 323 324 330 331 332 337 338 340 346 350 360 361 363 364 366 371 372 374 379 381 389 390 397 398 402 403 404 405 407 415 a 2 3 6 9 12 13 17 18 23 31 34 39 44 53 55 56 59 60 61 63 65 73 76 78 83 86 87 89 94 98 99 102 107 109 110 112 118 120 122 124 125 126 138 146 149 154 155 156 157 161 166 167 172 176 179 181 188 189 196 203 205 209 210 211 213 215 216 226 227 235 236 242 243 248 249 251 254 256 257 258 260 262 263 266 268 271 273 274 277 281 285 288 290 292 293 298 301 311 318 321 323 324 330 331 332 337 338 340 346 350 360 361 363 364 366 371 372 374 379 381 389 390 397 398 402 403 404 405 407 415 a 2 3 6 9 12 13 17 18 23 31 34 39 44 53 55 56 59 60 61 63 65 73 76 78 83 86 87 89 94 98 99 102 107 109 110 112 118 120 122 124 125 126 138 144 146 149 154 155 156 157 161 166 167 172 176 179 181 188 189 196 203 205 209 210 211 213 215 216 226 227 235 236 242 243 248 249 251 254 256 257 258 260 262 263 266 268 271 273 274 277 281 285 288 290 292 293 298 301 311 318 321 323 330 331 332 337 338 340 346 350 360 361 363 364 366 371 372 374 379 381 389 390 397 398 402 403 404 405 407 415 a 2 3 6 9 12 13 17 18 23 31 34 39 44 53 55 56 59 60 61 63 65 73 76 78 83 86 87 89 94 98 99 102 107 109 110 112 118 120 122 125 126 138 144 146 149 154 155 156 157 161 166 167 172 176 179 181 188 189 196 203 205 209 210 211 213 215 216 224 226 227 235 236 242 243 248 249 251 254 256 257 258 260 262 263 266 268 271 273 274 277 281 285 288 290 292 293 298 301 311 318 321 323 330 331 332 337 338 340 346 350 360 361 363 364 366 371 372 374 379 381 389 390 397 398 402 403 404 405 407 415 a 2 3 6 9 12 13 17 18 23 31 34 39 44 53 55 56 59 60 61 63 65 73 76 78 83 86 87 89 94 98 99 102 107 109 110 112 120 122 125 126 138 144 146 149 154 155 156 157 161 166 167 172 176 179 181 188 189 196 203 205 209 210 211 213 215 216 224 226 227 235 236 242 243 248 249 251 254 256 257 258 260 262 263 266 268 271 273 274 277 281 285 288 290 292 293 298 301 311 318 321 323 330 331 332 337 338 340 346 350 360 361 363 364 366 371 372 374 379 381 389 390 397 398 401 402 403 404 405 407 415 a 2 3 6 9 12 13 17 18 23 30 31 34 39 44 53 55 56 59 60 61 63 65 73 76 78 83 86 87 89 94 98 99 102 107 109 110 112 120 122 125 126 138 144 146 149 154 155 156 157 161 166 167 172 176 179 181 188 189 196 203 205 209 210 211 213 215 216 224 226 227 235 236 242 243 248 249 251 254 256 257 258 260 262 263 266 268 273 274 277 281 285 288 290 292 293 298 301 311 318 321 323 330 331 332 337 338 340 346 350 360 361 363 364 366 371 372 374 379 381 389 390 397 398 401 402 403 404 405 407 415 a 2 3 6 9 12 13 17 18 23 30 31 34 39 44 53 55 56 59 60 61 63 65 73 76 78 83 86 87 89 94 98 99 102 107 109 110 112 120 122 125 126 138 144 146 149 154 155 156 157 161 166 167 176 179 181 188 189 196 203 205 209 210 211 213 215 216 224 226 227 235 236 242 243 248 249 251 254 256 257 258 260 262 263 266 268 273 274 277 281 285 288 290 292 293 298 301 303 311 318 321 323 330 331 332 337 338 340 346 350 360 361 363 364 366 371 372 374 379 381 389 390 397 398 401 402 403 404 405 407 415 a 2 3 6 9 12 13 17 18 23 30 31 34 39 44 53 55 56 59 60 61 63 65 73 76 78 83 87 89 94 98 99 102 107 109 110 112 120 122 125 126 138 144 146 149 154 155 156 157 161 166 167 176 179 181 188 189 196 203 205 209 210 211 213 214 215 216 224 226 227 235 236 242 243 248 249 251 254 256 257 258 260 262 263 266 268 273 274 277 281 285 288 290 292 293 298 301 303 311 318 321 323 330 331 332 337 338 340 346 350 360 361 363 364 366 371 372 374 379 381 389 390 397 398 401 402 403 404 405 407 415 a 2 3 6 9 12 13 17 18 23 30 31 34 39 44 53 55 56 59 60 61 63 65 73 76 78 83 87 89 94 98 99 102 107 109 110 112 120 122 125 126 138 144 146 149 154 155 156 157 161 166 167 176 179 181 188 189 196 203 205 209 210 211 213 214 215 216 224 226 227 235 236 242 243 248 249 251 254 256 257 258 260 262 263 266 268 273 274 277 281 285 288 290 292 293 298 301 303 311 321 323 330 331 332 337 338 340 346 350 356 360 361 363 364 366 371 372 374 379 381 389 390 397 398 401 402 403 404 405 407 415 a 2 3 6 9 12 13 17 18 23 30 31 34 39 44 53 55 56 59 60 61 63 65 73 76 78 83 87 89 94 98 99 102 107 109 110 112 120 122 125 126 138 144 146 149 154 155 156 157 161 166 167 176 179 181 188 189 196 203 205 209 210 211 213 214 215 216 224 226 227 235 236 242 243 248 249 251 254 256 257 258 260 262 263 266 268 273 274 277 281 285 288 290 292 293 298 299 301 303 311 321 323 330 331 332 337 338 340 346 350 356 360 361 363 364 366 371 372 374 381 389 390 397 398 401 402 403 404 405 407 415 a 2 3 6 9 12 13 17 18 23 30 31 34 39 44 53 55 56 59 60 61 63 65 73 76 78 83 87 89 94 98 99 102 107 109 110 112 120 122 125 126 138 144 146 149 154 155 156 157 161 166 167 176 179 181 188 189 196 203 205 209 210 211 213 214 215 216 224 226 227 235 236 242 243 248 249 251 254 256 257 258 260 262 263 266 268 273 274 277 281 285 288 290 292 293 298 299 301 303 311 321 323 330 331 332 337 338 340 346 350 356 360 361 363 364 366 371 372 374 381 389 390 397 398 401 402 403 404 405 406 407 a 2 3 6 9 12 13 17 18 23 30 31 34 39 44 53 55 56 59 60 61 63 65 73 76 78 83 87 89 94 98 102 107 109 110 112 120 122 125 126 138 144 146 149 154 155 156 157 161 166 167 176 179 181 188 189 196 203 205 209 210 211 213 214 215 216 224 226 227 235 236 242 243 248 249 251 252 254 256 257 258 260 262 263 266 268 273 274 277 281 285 288 290 292 293 298 299 301 303 311 321 323 330 331 332 337 338 340 346 350 356 360 361 363 364 366 371 372 374 381 389 390 397 398 401 402 403 404 405 406 407 a 2 3 6 9 12 13 17 18 23 30 31 34 39 44 53 55 56 59 60 61 63 65 73 76 78 83 87 89 94 98 102 107 109 110 112 120 122 125 126 138 144 146 149 154 155 156 157 161 166 167 176 179 181 188 189 196 203 205 209 210 211 213 214 215 216 224 226 227 235 236 242 243 248 249 251 252 254 256 257 258 260 262 263 266 268 273 277 281 285 288 290 292 293 298 299 301 303 304 311 321 323 330 331 332 337 338 340 346 350 356 360 361 363 364 366 371 372 374 381 389 390 397 398 401 402 403 404 405 406 407 a 2 3 6 9 12 13 17 18 21 23 30 31 34 39 44 53 55 56 59 60 61 63 65 73 76 78 83 87 89 94 98 102 107 109 110 112 120 122 125 126 138 144 146 149 154 155 156 157 161 166 167 176 179 181 188 189 196 203 205 209 210 211 213 214 215 216 224 226 227 235 236 242 243 248 251 252 254 256 257 258 260 262 263 266 268 273 277 281 285 288 290 292 293 298 299 301 303 304 311 321 323 330 331 332 337 338 340 346 350 356 360 361 363 364 366 371 372 374 381 389 390 397 398 401 402 403 404 405 406 407 a 2 3 6 9 12 13 17 18 21 23 30 31 34 39 44 53 55 56 59 60 61 63 65 73 76 78 83 87 89 94 98 102 107 109 110 112 120 122 125 126 138 144 146 149 154 155 156 157 161 166 167 176 179 181 185 188 189 196 203 205 209 210 211 213 214 215 216 224 226 227 235 236 242 243 248 251 252 254 256 257 258 260 262 263 266 268 273 277 281 285 288 290 292 293 298 299 301 303 304 311 321 323 330 331 332 337 338 340 346 350 356 360 361 363 364 366 371 372 374 381 389 390 397 398 401 402 403 405 406 407 a 2 3 6 9 12 13 17 18 21 23 30 31 34 39 44 53 55 56 59 60 61 63 65 73 76 78 83 87 89 94 98 102 107 109 110 112 120 122 125 126 138 144 146 149 154 155 156 157 161 166 167 176 179 181 185 188 189 196 203 205 209 210 211 213 214 215 216 224 226 227 235 236 242 243 248 251 252 254 256 257 258 260 262 263 266 268 273 277 281 285 288 290 292 293 298 299 301 303 304 311 321 323 330 332 337 338 340 342 346 350 356 360 361 363 364 366 371 372 374 381 389 390 397 398 401 402 403 405 406 407 a 2 3 6 9 12 13 17 18 21 23 30 31 34 39 44 53 55 56 59 60 61 63 65 73 76 78 83 87 89 94 98 102 107 109 110 112 120 122 125 126 138 144 146 149 154 155 156 157 161 166 167 176 179 181 185 188 189 196 203 205 209 210 211 213 214 215 216 224 226 227 235 236 242 243 247 248 251 252 254 256 257 258 260 262 263 266 268 273 277 281 285 288 290 292 298 299 301 303 304 311 321 323 330 332 337 338 340 342 346 350 356 360 361 363 364 366 371 372 374 381 389 390 397 398 401 402 403 405 406 407 a 2 3 6 9 12 13 17 18 21 23 30 31 34 39 44 52 53 55 56 59 60 61 63 65 73 76 78 83 87 89 94 98 102 107 109 110 112 120 122 125 126 138 144 146 149 154 155 156 157 161 166 167 176 179 181 185 188 189 196 203 205 209 210 211 213 214 215 216 224 226 227 235 236 242 243 247 248 251 252 256 257 258 260 262 263 266 268 273 277 281 285 288 290 292 298 299 301 303 304 311 321 323 330 332 337 338 340 342 346 350 356 360 361 363 364 366 371 372 374 381 389 390 397 398 401 402 403 405 406 407 a 2 3 6 9 12 13 17 18 21 23 30 31 34 39 44 46 52 53 55 56 59 60 61 63 65 73 76 78 83 87 89 94 98 102 107 109 110 112 120 122 125 126 138 144 146 149 154 155 156 157 161 166 167 176 179 181 185 188 189 196 203 205 210 211 213 214 215 216 224 226 227 235 236 242 243 247 248 251 252 256 257 258 260 262 263 266 268 273 277 281 285 288 290 292 298 299 301 303 304 311 321 323 330 332 337 338 340 342 346 350 356 360 361 363 364 366 371 372 374 381 389 390 397 398 401 402 403 405 406 407 a 2 3 6 9 12 13 17 18 21 23 30 31 34 39 44 46 52 53 55 56 59 60 61 63 64 65 73 76 78 83 87 89 94 98 102 107 109 110 112 120 122 125 126 138 144 146 149 154 155 156 157 161 166 167 176 179 181 185 188 189 196 203 205 210 211 213 214 215 216 224 226 227 235 236 242 243 247 248 251 252 256 257 258 260 262 263 266 268 273 277 281 285 288 290 292 298 299 301 303 304 311 321 323 330 332 337 338 340 342 346 350 356 360 361 363 364 366 371 372 374 381 389 390 397 398 401 402 403 405 406 a 2 3 6 9 12 13 17 18 21 23 30 31 34 39 44 46 52 53 55 56 59 60 61 63 64 65 73 76 78 83 87 89 94 98 102 107 109 110 112 120 122 125 126 138 144 146 149 154 155 156 157 161 166 167 176 179 181 185 188 189 196 203 205 210 211 213 214 215 216 224 226 227 235 236 242 243 247 248 251 252 256 257 258 260 262 263 266 268 273 277 281 285 288 290 292 298 299 301 303 304 311 317 321 323 330 332 337 338 340 342 346 350 356 360 361 363 364 366 372 374 381 389 390 397 398 401 402 403 405 406 a 2 3 6 9 12 13 17 18 21 23 30 31 34 39 44 46 52 53 55 56 59 60 61 63 64 65 73 76 78 83 87 89 94 98 102 107 109 110 112 120 122 125 126 138 144 146 149 155 156 157 161 166 167 176 179 181 185 188 189 196 203 205 210 211 213 214 215 216 224 226 227 235 236 242 243 247 248 251 252 256 257 258 260 262 263 266 268 273 277 281 285 288 290 292 298 299 301 303 304 311 317 321 323 330 332 337 338 340 342 346 350 356 360 361 363 364 366 372 374 381 389 390 397 398 401 402 403 405 406 414 a 2 3 6 9 12 13 17 18 21 23 30 31 34 39 44 46 52 53 55 56 59 60 61 63 64 65 73 76 78 83 87 89 94 98 102 107 109 110 112 120 122 125 126 138 144 146 149 155 156 157 161 166 167 176 179 181 185 188 189 196 203 205 210 211 213 214 215 216 224 226 227 235 236 242 243 247 248 251 252 256 257 258 260 262 263 268 273 277 281 285 288 290 292 298 299 301 303 304 311 317 321 323 330 332 337 338 340 342 344 346 350 356 360 361 363 364 366 372 374 381 389 390 397 398 401 402 403 405 406 414 a 2 3 6 9 12 13 17 18 21 23 30 31 34 39 44 46 52 53 55 56 59 60 61 63 64 65 73 76 78 83 87 89 94 98 102 107 109 110 112 120 122 125 126 138 144 146 149 155 156 157 161 166 167 176 179 181 185 188 189 196 203 205 210 211 213 214 215 216 224 226 227 235 236 242 243 247 248 251 252 256 257 258 260 262 263 268 273 277 281 285 288 290 292 298 299 301 303 304 311 317 321 323 330 332 337 338 340 342 344 346 350 356 360 361 363 364 366 372 374 380 381 389 390 397 401 402 403 405 406 414 a 2 3 6 9 12 13 17 18 21 23 30 31 34 39 44 46 52 53 55 56 59 60 61 63 64 65 73 76 78 83 87 89 94 98 102 107 109 110 112 120 122 125 126 138 144 146 149 155 156 157 161 166 167 176 179 185 188 189 196 203 205 210 211 213 214 215 216 224 226 227 235 236 242 243 247 248 251 252 256 257 258 260 262 263 268 273 277 281 285 288 290 292 298 299 301 303 304 311 317 321 323 328 330 332 337 338 340 342 344 346 350 356 360 361 363 364 366 372 374 380 381 389 390 397 401 402 403 405 406 414 a 2 3 6 9 12 13 17 18 21 23 30 31 34 39 44 46 52 53 55 56 59 60 61 63 64 65 73 76 78 83 87 88 89 94 98 102 107 109 110 112 120 122 125 126 138 144 146 149 155 156 157 161 166 167 176 179 185 188 189 196 203 205 210 211 213 214 215 216 224 226 227 236 242 243 247 248 251 252 256 257 258 260 262 263 268 273 277 281 285 288 290 292 298 299 301 303 304 311 317 321 323 328 330 332 337 338 340 342 344 346 350 356 360 361 363 364 366 372 374 380 381 389 390 397 401 402 403 405 406 414 a 2 3 6 9 12 13 17 18 21 23 30 31 33 34 39 44 46 52 53 55 56 59 60 61 63 64 65 73 76 78 87 88 89 94 98 102 107 109 110 112 120 122 125 126 138 144 146 149 155 156 157 161 166 167 176 179 185 188 189 196 203 205 210 211 213 214 215 216 224 226 227 236 242 243 247 248 251 252 256 257 258 260 262 263 268 273 277 281 285 288 290 292 298 299 301 303 304 311 317 321 323 328 330 332 337 338 340 342 344 346 350 356 360 361 363 364 366 372 374 380 381 389 390 397 401 402 403 405 406 414 a 2 3 6 9 12 13 17 18 21 23 30 31 33 34 39 44 46 52 53 55 56 59 60 61 63 64 65 73 76 78 87 88 89 94 98 102 107 109 110 112 120 122 125 126 138 144 146 149 155 156 157 161 166 167 176 179 185 188 189 196 203 205 210 211 213 214 215 216 224 226 227 242 243 247 248 251 252 256 257 258 260 262 263 268 273 277 281 285 288 290 292 298 299 301 303 304 311 317 321 323 328 330 332 333 337 338 340 342 344 346 350 356 360 361 363 364 366 372 374 380 381 389 390 397 401 402 403 405 406 414 a 2 3 6 9 12 13 17 18 21 23 30 31 33 34 39 44 46 52 53 55 56 59 60 61 63 64 65 73 76 78 87 88 89 94 98 102 107 109 110 112 120 122 125 126 137 138 144 146 149 155 156 157 161 166 167 179 185 188 189 196 203 205 210 211 213 214 215 216 224 226 227 242 243 247 248 251 252 256 257 258 260 262 263 268 273 277 281 285 288 290 292 298 299 301 303 304 311 317 321 323 328 330 332 333 337 338 340 342 344 346 350 356 360 361 363 364 366 372 374 380 381 389 390 397 401 402 403 405 406 414 a 2 3 6 9 12 13 17 18 21 23 30 31 33 34 39 44 46 52 53 55 56 59 60 61 63 64 65 73 76 78 87 88 89 94 98 102 107 109 110 112 120 125 126 137 138 144 146 149 155 156 157 161 166 167 174 179 185 188 189 196 203 205 210 211 213 214 215 216 224 226 227 242 243 247 248 251 252 256 257 258 260 262 263 268 273 277 281 285 288 290 292 298 299 301 303 304 311 317 321 323 328 330 332 333 337 338 340 342 344 346 350 356 360 361 363 364 366 372 374 380 381 389 390 397 401 402 403 405 406 414 a 2 3 6 9 12 13 17 18 21 23 30 31 33 34 39 44 46 52 53 55 56 59 60 61 63 64 65 73 76 78 87 88 89 94 98 102 107 109 110 112 120 125 126 137 138 144 146 149 155 156 157 161 166 167 174 179 185 188 189 196 203 205 210 211 213 214 215 216 224 226 227 242 243 247 248 251 252 256 258 260 262 263 268 273 277 281 285 288 290 292 298 299 301 303 304 311 314 317 321 323 328 330 332 333 337 338 340 342 344 346 350 356 360 361 363 364 366 372 374 380 381 389 390 397 401 402 403 405 406 414 a 2 3 6 9 12 13 17 18 21 23 30 31 33 34 39 44 46 52 53 55 56 58 59 60 61 63 64 65 73 76 78 87 88 89 98 102 107 109 110 112 120 125 126 137 138 144 146 149 155 156 157 161 166 167 174 179 185 188 189 196 203 205 210 211 213 214 215 216 224 226 227 242 243 247 248 251 252 256 258 260 262 263 268 273 277 281 285 288 290 292 298 299 301 303 304 311 314 317 321 323 328 330 332 333 337 338 340 342 344 346 350 356 360 361 363 364 366 372 374 380 381 389 390 397 401 402 403 405 406 414 a 2 3 6 9 12 13 17 18 21 23 30 31 33 34 39 44 46 52 53 55 56 58 59 60 61 63 64 65 73 76 87 88 89 98 102 107 109 110 112 120 125 126 137 138 144 146 149 155 156 157 161 166 167 174 179 183 185 188 189 196 203 205 210 211 213 214 215 216 224 226 227 242 243 247 248 251 252 256 258 260 262 263 268 273 277 281 285 288 290 292 298 299 301 303 304 311 314 317 321 323 328 330 332 333 337 338 340 342 344 346 350 356 360 361 363 364 366 372 374 380 381 389 390 397 401 402 403 405 406 414 a 2 3 6 9 12 13 17 18 21 23 30 31 33 34 39 44 46 52 53 55 56 58 59 60 61 63 64 65 73 76 87 88 89 98 107 109 110 112 120 125 126 137 138 144 146 149 155 156 157 161 164 166 167 174 179 183 185 188 189 196 203 205 210 211 213 214 215 216 224 226 227 242 243 247 248 251 252 256 258 260 262 263 268 273 277 281 285 288 290 292 298 299 301 303 304 311 314 317 321 323 328 330 332 333 337 338 340 342 344 346 350 356 360 361 363 364 366 372 374 380 381 389 390 397 401 402 403 405 406 414 a 2 3 6 9 12 13 17 18 21 23 30 31 33 34 39 44 46 52 53 55 56 58 59 60 61 63 64 65 73 87 88 89 98 107 109 110 112 120 125 126 137 138 144 146 149 155 156 157 161 164 166 167 174 179 183 185 188 189 196 203 205 210 211 213 214 215 216 224 226 227 242 243 247 248 251 252 256 258 260 262 263 268 273 277 281 285 288 290 292 298 299 301 303 304 311 314 317 321 323 328 330 332 333 337 338 340 342 344 346 350 356 360 361 363 364 366 372 374 377 380 381 389 390 397 401 402 403 405 406 414 a 2 3 6 9 12 13 17 18 21 23 30 31 33 34 39 44 46 52 53 55 56 58 59 60 61 63 64 65 73 87 88 89 98 107 109 110 112 120 125 126 137 138 144 146 149 155 156 157 164 166 167 174 179 183 185 188 189 196 203 205 210 211 213 214 215 216 224 226 227 242 243 245 247 248 251 252 256 258 260 262 263 268 273 277 281 285 288 290 292 298 299 301 303 304 311 314 317 321 323 328 330 332 333 337 338 340 342 344 346 350 356 360 361 363 364 366 372 374 377 380 381 389 390 397 401 402 403 405 406 414 a 2 3 6 9 12 13 17 18 21 23 30 31 33 34 39 44 46 52 53 55 56 58 59 60 61 63 64 65 73 87 88 89 97 98 107 109 110 112 120 125 126 137 138 144 146 149 155 156 157 164 166 167 174 179 183 185 188 189 196 203 205 210 211 213 214 215 216 224 226 227 242 243 245 247 251 252 256 258 260 262 263 268 273 277 281 285 288 290 292 298 299 301 303 304 311 314 317 321 323 328 330 332 333 337 338 340 342 344 346 350 356 360 361 363 364 366 372 374 377 380 381 389 390 397 401 402 403 405 406 414 a 2 3 6 9 12 13 17 18 21 23 30 31 33 34 39 44 46 52 53 55 56 58 59 60 61 63 64 65 73 87 88 89 97 98 107 109 110 112 120 125 126 137 138 144 146 149 155 156 157 164 166 167 174 179 183 185 188 189 196 203 205 210 211 213 214 215 216 224 226 227 242 243 245 247 251 252 256 258 260 262 263 268 273 277 281 285 288 290 292 298 299 301 303 304 305 311 314 317 321 323 328 330 332 333 337 338 340 342 344 346 350 356 360 361 363 364 366 372 377 380 381 389 390 397 401 402 403 405 406 414 a 2 3 6 9 12 13 17 18 21 23 30 31 33 34 39 44 46 52 53 55 56 58 59 60 61 63 64 65 73 87 88 89 97 98 107 109 110 112 120 125 126 137 138 144 146 149 155 156 157 164 166 167 174 179 183 185 188 189 196 203 205 210 211 213 214 215 216 224 226 227 242 243 245 247 251 252 256 258 260 262 263 268 273 277 281 285 288 290 292 298 299 303 304 305 311 314 316 317 321 323 328 330 332 333 337 338 340 342 344 346 350 356 360 361 363 364 366 372 377 380 381 389 390 397 401 402 403 405 406 414 a 2 3 6 9 12 13 17 18 21 23 30 31 33 34 39 44 46 52 53 55 56 58 59 60 61 63 64 65 73 87 88 89 97 98 107 109 110 112 120 125 126 137 138 144 146 149 150 155 156 157 164 166 167 174 179 183 185 188 189 196 203 205 210 211 213 214 215 216 224 226 227 242 243 245 247 251 252 256 258 260 262 263 268 273 277 281 285 288 290 292 298 299 303 304 305 311 314 316 317 321 323 328 330 332 333 338 340 342 344 346 350 356 360 361 363 364 366 372 377 380 381 389 390 397 401 402 403 405 406 414 a 2 3 6 9 12 13 17 18 21 23 30 31 33 34 39 44 46 52 53 55 56 58 59 60 61 63 64 65 73 87 88 89 97 98 107 109 110 112 120 125 126 137 138 144 146 150 155 156 157 164 166 167 174 179 183 185 188 189 196 203 205 210 211 213 214 215 216 224 226 227 242 243 245 247 251 252 256 258 260 262 263 268 273 277 281 285 288 290 292 298 299 303 304 305 311 314 316 317 321 323 328 330 332 333 338 340 342 344 346 350 356 357 360 361 363 364 366 372 377 380 381 389 390 397 401 402 403 405 406 414 a 2 3 6 9 12 13 17 18 21 23 30 31 33 34 39 44 46 52 53 55 56 58 59 60 61 63 64 65 73 80 87 88 89 97 98 107 109 110 112 120 125 126 137 138 144 146 150 155 156 157 164 166 167 174 179 183 185 188 189 196 203 205 210 211 214 215 216 224 226 227 242 243 245 247 251 252 256 258 260 262 263 268 273 277 281 285 288 290 292 298 299 303 304 305 311 314 316 317 321 323 328 330 332 333 338 340 342 344 346 350 356 357 360 361 363 364 366 372 377 380 381 389 390 397 401 402 403 405 406 414 a 2 3 6 9 12 13 17 18 21 23 30 31 33 34 39 44 46 52 53 55 56 58 59 60 61 63 64 65 73 80 87 88 89 97 98 107 109 110 112 120 125 126 137 138 144 146 150 155 156 157 164 166 167 174 179 183 185 188 189 196 203 205 210 211 214 215 216 224 226 227 242 243 245 247 251 252 256 258 260 262 263 268 273 277 281 285 288 290 292 298 299 303 304 305 311 314 316 317 321 323 328 330 332 333 338 340 342 344 346 350 356 357 360 361 363 364 366 372 377 380 381 389 390 401 402 403 405 406 413 414 a 2 3 6 9 12 13 17 18 21 23 30 31 33 34 39 44 46 52 53 55 56 58 59 60 61 63 64 65 73 80 87 88 89 97 98 107 109 110 112 120 125 126 137 138 144 146 150 155 156 157 164 166 167 174 179 183 185 188 189 196 203 205 210 211 214 215 216 224 226 227 242 243 245 247 251 252 256 258 260 262 263 268 273 277 281 285 288 290 292 298 299 303 304 305 311 314 316 317 321 323 328 330 332 333 338 340 342 344 346 356 357 360 361 363 364 366 369 372 377 380 381 389 390 401 402 403 405 406 413 414 a 2 3 6 9 12 13 17 18 21 23 30 31 33 34 39 44 46 52 55 56 58 59 60 61 63 64 65 73 80 87 88 89 97 98 107 109 110 112 120 125 126 137 138 144 146 150 155 156 157 164 166 167 174 179 183 185 188 189 196 203 205 210 211 214 215 216 224 226 227 242 243 245 247 251 252 256 258 260 262 263 268 273 277 281 285 288 290 292 298 299 303 304 305 311 314 316 317 321 323 328 329 330 332 333 338 340 342 344 346 356 357 360 361 363 364 366 369 372 377 380 381 389 390 401 402 403 405 406 413 414 a 2 3 6 9 12 13 17 18 21 23 30 31 33 34 39 44 46 52 55 56 58 59 60 61 63 64 65 68 73 80 87 88 89 97 98 107 109 110 112 120 125 126 137 138 144 146 150 155 156 157 164 166 167 174 179 183 185 188 189 196 203 205 210 211 214 215 216 224 226 242 243 245 247 251 252 256 258 260 262 263 268 273 277 281 285 288 290 292 298 299 303 304 305 311 314 316 317 321 323 328 329 330 332 333 338 340 342 344 346 356 357 360 361 363 364 366 369 372 377 380 381 389 390 401 402 403 405 406 413 414 a 2 3 6 9 12 13 17 18 21 23 30 31 33 34 39 44 46 52 55 56 58 59 60 61 63 64 65 68 73 80 87 88 89 97 98 107 109 110 112 120 125 126 137 138 144 146 150 155 156 157 164 166 167 174 179 183 185 188 189 196 203 205 211 214 215 216 224 226 242 243 245 247 251 252 256 258 260 262 263 268 273 277 281 285 288 290 292 298 299 303 304 305 311 314 316 317 321 323 328 329 330 332 333 338 340 342 344 346 356 357 360 361 363 364 366 369 372 377 380 381 389 390 395 401 402 403 405 406 413 414 a 2 3 6 9 12 13 17 18 21 23 30 31 33 34 39 44 46 52 55 56 58 59 60 61 64 65 68 73 80 87 88 89 97 98 107 109 110 112 120 125 126 137 138 144 146 150 155 156 157 164 166 167 174 179 183 185 188 189 196 203 205 206 211 214 215 216 224 226 242 243 245 247 251 252 256 258 260 262 263 268 273 277 281 285 288 290 292 298 299 303 304 305 311 314 316 317 321 323 328 329 330 332 333 338 340 342 344 346 356 357 360 361 363 364 366 369 372 377 380 381 389 390 395 401 402 403 405 406 413 414 a 2 3 6 9 12 13 17 18 21 23 30 31 33 34 39 44 46 52 55 56 58 59 60 61 64 65 68 73 80 87 88 89 97 98 107 109 110 112 120 125 126 137 138 144 146 150 152 155 156 157 164 166 167 174 179 183 185 189 196 203 205 206 211 214 215 216 224 226 242 243 245 247 251 252 256 258 260 262 263 268 273 277 281 285 288 290 292 298 299 303 304 305 311 314 316 317 321 323 328 329 330 332 333 338 340 342 344 346 356 357 360 361 363 364 366 369 372 377 380 381 389 390 395 401 402 403 405 406 413 414 c Step: 85 Command being timed: "python3 run_3.py --shortest /benchmark/random_instance/random_instance032_graph004.col /benchmark/random_instance/random_instance032_graph004_01.dat" User time (seconds): 3.99 System time (seconds): 0.16 Percent of CPU this job got: 99% Elapsed (wall clock) time (h:mm:ss or m:ss): 0:04.16 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): 152072 Average resident set size (kbytes): 0 Major (requiring I/O) page faults: 0 Minor (reclaiming a frame) page faults: 186471 Voluntary context switches: 19 Involuntary context switches: 20 Swaps: 0 File system inputs: 0 File system outputs: 560 Socket messages sent: 0 Socket messages received: 0 Signals delivered: 0 Page size (bytes): 4096 Exit status: 0 #END: [Mon Sep 4 15:07:38 2023]