#BEGIN: [Mon Sep 4 15:09:56 2023] #HOST: s01 #TIMELIMIT: 1800 #MEMLIMIT: 0 #SOLVER: shortest-wallclock-banbaralab2-shortest2 #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 -t4 /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 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 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 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 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 112 118 120 122 124 125 126 138 139 144 149 154 156 161 172 176 179 180 181 186 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 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 112 118 120 122 124 125 126 138 139 144 149 154 156 161 172 176 179 180 181 186 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 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 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 144 149 154 156 161 172 176 179 180 181 186 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 262 266 267 268 271 273 274 277 281 288 290 293 301 308 312 318 322 323 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 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 144 149 154 156 161 172 176 179 180 181 186 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 262 263 266 267 268 271 273 274 277 281 288 290 293 301 308 312 318 323 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 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 144 149 154 156 161 172 176 179 180 181 186 188 189 191 195 196 197 201 202 205 209 210 213 215 218 220 226 227 230 235 236 237 242 248 249 250 251 254 256 257 258 260 262 263 266 267 268 271 273 274 277 281 288 290 293 301 308 312 318 323 330 331 334 335 336 337 338 339 346 350 352 358 359 361 363 371 372 374 378 379 383 389 397 398 402 403 404 405 407 409 410 415 a 2 3 5 12 17 19 31 34 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 144 149 154 156 161 167 172 176 179 180 181 186 188 189 191 195 196 197 201 202 205 209 210 213 215 218 220 226 227 230 235 236 237 242 248 249 250 251 254 256 257 258 260 262 263 266 267 268 271 273 274 277 281 288 290 293 301 308 312 318 323 330 331 335 336 337 338 339 346 350 352 358 359 361 363 371 372 374 378 379 383 389 397 398 402 403 404 405 407 409 410 415 a 2 3 5 12 17 19 31 34 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 144 149 154 156 157 161 167 172 176 179 180 181 186 188 189 191 195 196 197 201 202 205 209 210 213 215 218 220 226 227 230 235 236 237 242 248 249 251 254 256 257 258 260 262 263 266 267 268 271 273 274 277 281 288 290 293 301 308 312 318 323 330 331 335 336 337 338 339 346 350 352 358 359 361 363 371 372 374 378 379 383 389 397 398 402 403 404 405 407 409 410 415 a 2 3 5 12 17 19 31 34 53 55 59 61 62 63 65 72 73 76 78 83 86 87 90 94 98 102 107 109 112 118 120 122 124 125 126 138 139 144 149 154 156 157 161 166 167 172 176 179 180 181 186 188 189 191 195 196 197 201 202 205 209 210 213 215 218 220 226 227 230 235 236 237 242 248 249 251 254 256 257 258 260 262 263 266 267 268 271 273 274 277 281 288 290 293 301 308 312 318 323 330 331 335 336 337 338 339 346 350 352 358 359 361 363 371 372 374 378 379 383 389 397 398 402 403 404 405 407 409 410 415 a 2 3 5 12 17 19 31 34 39 53 55 59 61 62 63 65 72 73 76 78 83 86 87 90 94 98 102 107 109 112 118 120 122 124 125 126 138 139 144 149 154 156 157 161 166 167 172 176 179 180 181 186 188 189 195 196 197 201 202 205 209 210 213 215 218 220 226 227 230 235 236 237 242 248 249 251 254 256 257 258 260 262 263 266 267 268 271 273 274 277 281 288 290 293 301 308 312 318 323 330 331 335 336 337 338 339 346 350 352 358 359 361 363 371 372 374 378 379 383 389 397 398 402 403 404 405 407 409 410 415 a 2 3 5 12 17 19 31 34 39 53 55 59 61 62 63 65 72 73 76 78 83 86 87 90 94 98 102 107 109 112 118 120 122 124 125 126 138 139 144 149 154 156 157 161 166 167 172 176 179 180 181 186 188 189 195 196 197 201 202 205 209 210 213 215 218 220 226 230 235 236 237 242 248 249 251 254 256 257 258 260 262 263 266 267 268 271 273 274 277 281 288 290 293 301 308 312 318 323 330 331 335 336 337 338 339 346 350 352 358 359 360 361 363 371 372 374 378 379 383 389 397 398 402 403 404 405 407 409 410 415 a 2 3 5 12 17 19 31 34 39 53 55 59 61 62 63 65 72 73 76 78 83 86 87 90 94 98 102 107 109 112 118 120 122 124 125 126 138 139 144 149 154 156 157 161 166 167 172 176 179 180 181 186 188 189 195 196 197 201 202 205 209 210 213 215 218 220 226 230 235 236 237 242 248 249 251 254 256 257 258 260 262 263 266 267 268 271 273 274 277 281 288 290 293 301 308 312 318 323 330 335 336 337 338 339 342 346 350 352 358 359 360 361 363 371 372 374 378 379 383 389 397 398 402 403 404 405 407 409 410 415 a 2 3 5 12 17 19 31 34 39 53 55 59 61 62 63 65 72 73 76 78 83 86 87 90 94 98 102 107 109 112 118 120 122 125 126 138 139 144 149 154 156 157 161 166 167 172 176 179 180 181 186 188 189 195 196 197 201 202 205 209 210 213 215 218 220 226 230 235 236 237 242 248 249 251 252 254 256 257 258 260 262 263 266 267 268 271 273 274 277 281 288 290 293 301 308 312 318 323 330 335 336 337 338 339 342 346 350 352 358 359 360 361 363 371 372 374 378 379 383 389 397 398 402 403 404 405 407 409 410 415 a 2 3 5 12 17 19 31 34 39 53 55 59 61 62 63 65 68 72 73 76 78 83 86 87 90 94 98 102 107 109 112 118 120 122 125 126 138 139 144 149 154 156 157 161 166 167 172 176 179 180 181 186 188 189 195 196 197 201 202 205 209 210 213 215 218 220 226 230 235 236 237 242 248 249 251 252 254 256 257 258 260 262 263 266 267 268 271 273 274 277 281 288 290 293 301 308 312 318 323 330 335 336 337 338 339 342 346 352 358 359 360 361 363 371 372 374 378 379 383 389 397 398 402 403 404 405 407 409 410 415 a 2 3 5 12 17 19 31 34 39 53 55 59 61 62 63 65 68 72 73 76 78 83 86 87 90 94 98 102 107 109 112 118 120 122 125 126 138 139 144 149 154 156 157 161 166 167 172 176 179 180 181 186 188 189 195 196 197 201 202 205 209 210 213 215 218 220 226 230 235 236 237 242 248 249 251 252 254 256 257 258 260 262 263 266 267 268 271 273 274 277 281 288 290 293 301 308 312 318 323 330 336 337 338 339 342 346 352 358 359 360 361 363 371 372 374 378 379 381 383 389 397 398 402 403 404 405 407 409 410 415 a 2 3 5 12 17 19 31 34 39 53 55 59 61 62 63 65 68 72 73 76 78 83 86 87 90 94 98 102 107 109 112 118 120 122 125 126 138 139 144 149 154 156 157 161 166 167 172 176 179 180 181 186 188 189 195 196 197 201 202 205 209 210 213 215 218 220 224 226 230 235 236 237 242 248 249 251 252 254 256 257 258 260 262 263 266 267 268 271 273 274 277 281 288 290 293 301 308 312 318 323 330 336 337 338 339 342 346 352 358 360 361 363 371 372 374 378 379 381 383 389 397 398 402 403 404 405 407 409 410 415 a 2 3 5 12 17 19 31 34 39 53 55 59 61 63 65 68 72 73 76 78 83 86 87 90 94 98 102 107 109 112 118 120 122 125 126 138 139 144 149 154 156 157 161 166 167 172 176 179 180 181 186 188 189 195 196 197 201 202 205 209 210 211 213 215 218 220 224 226 230 235 236 237 242 248 249 251 252 254 256 257 258 260 262 263 266 267 268 271 273 274 277 281 288 290 293 301 308 312 318 323 330 336 337 338 339 342 346 352 358 360 361 363 371 372 374 378 379 381 383 389 397 398 402 403 404 405 407 409 410 415 a 2 3 5 6 12 17 19 31 34 39 53 55 59 61 63 65 68 72 73 76 78 83 86 87 90 94 98 102 107 109 112 118 120 122 125 126 138 139 144 149 154 156 157 161 166 167 172 176 179 180 181 186 188 189 195 196 197 201 202 205 209 210 211 213 215 218 220 224 226 230 235 236 237 242 248 249 251 252 254 256 257 258 260 262 263 266 267 268 271 273 274 277 281 288 290 293 301 308 312 318 323 330 336 337 338 342 346 352 358 360 361 363 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 19 31 34 39 53 55 59 61 63 65 68 72 73 76 78 83 86 87 90 94 98 102 107 109 112 118 120 122 125 126 138 139 144 149 154 156 157 161 166 167 172 176 179 180 181 186 188 189 195 196 197 202 205 209 210 211 213 215 218 220 224 226 230 235 236 237 242 248 249 251 252 254 256 257 258 260 262 263 266 267 268 271 273 274 277 281 288 290 293 301 308 312 318 323 330 336 337 338 342 346 352 358 360 361 363 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 19 31 34 39 53 55 59 61 63 65 68 72 73 76 78 83 86 87 90 94 98 102 107 109 112 118 120 122 125 126 138 139 144 149 154 156 157 161 166 167 172 176 179 180 181 186 188 189 195 196 197 202 205 209 210 211 213 215 218 220 224 226 230 235 236 237 242 248 249 251 252 254 256 257 258 260 262 263 266 267 268 271 273 274 277 281 288 290 292 293 301 308 312 318 323 330 337 338 342 346 352 358 360 361 363 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 19 30 31 34 39 53 55 59 61 63 65 68 72 73 76 78 83 86 87 90 94 98 102 107 109 112 118 120 122 125 126 138 139 144 149 154 156 157 161 166 167 172 176 179 180 181 186 188 189 195 196 197 202 205 209 210 211 213 215 218 220 224 226 230 235 236 237 242 248 249 251 252 254 256 257 258 260 262 263 266 267 268 273 274 277 281 288 290 292 293 301 308 312 318 323 330 337 338 342 346 352 358 360 361 363 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 19 30 31 34 39 53 55 59 61 63 65 68 73 76 78 83 86 87 90 94 98 102 107 109 112 118 120 122 125 126 138 139 144 149 154 155 156 157 161 166 167 172 176 179 180 181 186 188 189 195 196 197 202 205 209 210 211 213 215 218 220 224 226 230 235 236 237 242 248 249 251 252 254 256 257 258 260 262 263 266 267 268 273 274 277 281 288 290 292 293 301 308 312 318 323 330 337 338 342 346 352 358 360 361 363 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 19 30 31 34 39 53 55 59 61 63 65 68 73 76 78 83 86 87 90 94 98 102 107 109 112 118 120 122 125 126 138 139 144 149 154 155 156 157 161 166 167 172 176 179 180 181 186 188 189 195 196 197 205 209 210 211 213 215 218 220 224 226 230 235 236 237 242 248 249 251 252 254 256 257 258 260 262 263 266 267 268 273 274 277 281 288 290 292 293 301 308 311 312 318 323 330 337 338 342 346 352 358 360 361 363 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 19 30 31 34 39 53 55 59 61 63 65 68 73 76 78 83 86 87 94 98 102 107 109 112 118 120 122 125 126 138 139 144 149 154 155 156 157 161 166 167 172 176 179 180 181 186 188 189 195 196 197 205 209 210 211 213 215 218 220 224 226 230 235 236 237 242 248 249 251 252 254 256 257 258 260 262 263 266 267 268 273 274 277 281 288 290 292 293 301 308 311 312 318 323 330 337 338 340 342 346 352 358 360 361 363 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 19 23 30 31 34 39 53 55 59 61 63 65 68 73 76 78 83 86 87 94 98 102 107 109 112 118 120 122 125 126 138 139 144 149 154 155 156 157 161 166 167 172 176 179 180 181 186 188 189 195 196 197 205 209 210 211 213 215 218 220 224 226 230 235 236 237 242 248 249 251 252 254 256 257 258 260 262 263 266 267 268 273 274 277 281 288 290 292 293 301 308 311 312 318 323 330 337 338 340 342 346 352 358 360 361 363 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 19 23 30 31 34 39 53 55 59 61 63 65 68 73 76 78 83 86 87 94 98 102 107 109 112 118 120 122 125 126 138 139 144 149 154 155 156 157 161 166 167 172 176 179 180 181 186 188 189 195 196 197 205 209 210 211 213 215 220 224 226 230 235 236 237 242 248 249 251 252 254 256 257 258 260 262 263 266 267 268 273 274 277 281 285 288 290 292 293 301 308 311 312 318 323 330 337 338 340 342 346 352 358 360 361 363 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 19 23 30 31 34 39 53 55 59 61 63 65 68 73 76 78 83 86 87 94 98 102 107 109 112 118 120 122 125 126 138 139 144 149 154 155 156 157 161 166 167 172 176 179 180 181 186 188 189 195 196 197 205 209 210 211 213 215 220 224 226 230 235 236 237 242 248 249 251 252 254 256 257 258 260 262 263 266 267 268 273 277 281 285 288 290 292 293 301 304 308 311 312 318 323 330 337 338 340 342 346 352 358 360 361 363 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 19 23 30 31 34 39 53 55 59 61 63 65 68 73 76 78 83 86 87 94 98 102 107 109 112 118 120 122 125 126 138 139 144 149 154 155 156 157 161 166 167 172 176 179 180 181 186 188 189 195 196 197 205 209 210 211 213 215 220 224 226 230 235 236 237 242 248 249 251 252 254 256 257 258 260 262 263 266 267 268 273 277 281 285 288 290 292 293 301 304 308 311 312 318 323 330 337 338 340 342 346 352 358 360 361 363 371 372 374 378 379 381 383 389 397 398 402 403 404 405 406 410 415 a 2 3 5 6 9 12 17 19 23 30 31 34 39 53 55 59 61 63 65 68 73 76 78 83 86 87 94 98 102 107 109 110 112 118 120 122 125 126 138 139 144 149 154 155 156 157 161 166 167 172 176 179 180 181 188 189 195 196 197 205 209 210 211 213 215 220 224 226 230 235 236 237 242 248 249 251 252 254 256 257 258 260 262 263 266 267 268 273 277 281 285 288 290 292 293 301 304 308 311 312 318 323 330 337 338 340 342 346 352 358 360 361 363 371 372 374 378 379 381 383 389 397 398 402 403 404 405 406 410 415 a 2 3 5 6 9 12 17 19 21 23 30 31 34 39 53 55 59 61 63 65 68 73 76 78 83 86 87 94 98 102 107 109 110 112 118 120 122 125 126 138 139 144 149 154 155 156 157 161 166 167 172 176 179 180 181 188 189 195 196 197 205 209 210 211 213 215 220 224 226 230 235 236 237 242 248 251 252 254 256 257 258 260 262 263 266 267 268 273 277 281 285 288 290 292 293 301 304 308 311 312 318 323 330 337 338 340 342 346 352 358 360 361 363 371 372 374 378 379 381 383 389 397 398 402 403 404 405 406 410 415 a 2 3 5 6 9 12 17 19 21 23 30 31 34 39 53 55 59 61 63 65 68 73 76 78 83 86 87 94 98 102 107 109 110 112 118 120 122 125 126 138 139 144 149 154 155 156 157 161 166 167 172 176 179 180 181 188 189 195 196 197 205 209 210 211 213 215 220 224 226 230 235 236 242 248 251 252 254 256 257 258 260 262 263 266 267 268 273 277 281 285 288 290 292 293 298 301 304 308 311 312 318 323 330 337 338 340 342 346 352 358 360 361 363 371 372 374 378 379 381 383 389 397 398 402 403 404 405 406 410 415 a 2 3 5 6 9 12 17 19 21 23 30 31 34 39 53 55 59 61 63 65 68 73 76 78 83 86 87 94 98 102 107 109 110 112 118 120 122 125 126 138 139 144 149 154 155 156 157 161 166 167 172 176 179 180 188 189 195 196 197 205 209 210 211 213 215 216 220 224 226 230 235 236 242 248 251 252 254 256 257 258 260 262 263 266 267 268 273 277 281 285 288 290 292 293 298 301 304 308 311 312 318 323 330 337 338 340 342 346 352 358 360 361 363 371 372 374 378 379 381 383 389 397 398 402 403 404 405 406 410 415 a 2 3 5 6 9 12 17 18 19 21 23 30 31 34 39 53 55 59 61 63 65 68 73 76 78 83 87 94 98 102 107 109 110 112 118 120 122 125 126 138 139 144 149 154 155 156 157 161 166 167 172 176 179 180 188 189 195 196 197 205 209 210 211 213 215 216 220 224 226 230 235 236 242 248 251 252 254 256 257 258 260 262 263 266 267 268 273 277 281 285 288 290 292 293 298 301 304 308 311 312 318 323 330 337 338 340 342 346 352 358 360 361 363 371 372 374 378 379 381 383 389 397 398 402 403 404 405 406 410 415 a 2 3 5 6 9 12 17 18 19 21 23 30 31 34 39 53 55 59 61 63 65 68 73 76 78 83 87 94 98 102 107 109 110 112 120 122 125 126 138 139 144 149 154 155 156 157 161 166 167 172 176 179 180 188 189 195 196 197 205 209 210 211 213 215 216 220 224 226 230 235 236 242 248 251 252 254 256 257 258 260 262 263 266 267 268 273 277 281 285 288 290 292 293 298 301 304 308 311 312 318 323 330 337 338 340 342 346 352 358 360 361 363 371 372 374 378 379 381 383 389 397 398 401 402 403 404 405 406 410 415 a 2 3 5 6 9 12 17 18 19 21 23 30 31 34 39 53 55 59 61 63 65 68 73 76 78 83 87 94 98 102 107 109 110 112 120 122 125 126 138 139 144 149 154 155 156 157 161 166 167 172 176 179 180 188 189 195 196 197 205 209 210 211 213 215 216 220 224 226 230 235 242 248 251 252 254 256 257 258 260 262 263 266 267 268 273 277 281 285 288 290 292 293 298 301 304 308 311 312 318 323 330 333 337 338 340 342 346 352 358 360 361 363 371 372 374 378 379 381 383 389 397 398 401 402 403 404 405 406 410 415 a 2 3 5 6 9 12 17 18 19 21 23 30 31 34 39 53 55 59 61 63 65 68 73 76 78 83 87 94 98 102 107 109 110 112 120 122 125 126 138 139 144 149 154 155 156 157 161 166 167 172 176 179 180 188 189 195 196 197 205 209 210 211 215 216 220 224 226 230 235 242 248 251 252 254 256 257 258 260 262 263 266 267 268 273 277 281 285 288 290 292 293 298 301 304 308 311 312 318 323 328 330 333 337 338 340 342 346 352 358 360 361 363 371 372 374 378 379 381 383 389 397 398 401 402 403 404 405 406 410 415 a 2 3 5 6 9 12 17 18 19 21 23 30 31 34 39 53 55 59 61 63 65 68 73 76 78 83 87 94 98 102 107 109 110 112 120 122 125 126 138 139 144 149 154 155 156 157 161 166 167 172 176 179 180 188 189 195 196 197 205 209 210 211 215 216 220 224 226 230 235 242 248 251 252 254 256 257 258 260 262 263 266 267 268 273 277 281 285 288 290 292 298 301 304 308 311 312 318 323 328 330 333 337 338 340 342 346 352 356 358 360 361 363 371 372 374 378 379 381 383 389 397 398 401 402 403 404 405 406 410 415 a 2 3 5 6 9 12 17 18 19 21 23 30 31 34 39 55 59 61 63 65 68 73 76 78 83 87 94 98 102 107 109 110 112 120 122 125 126 138 139 144 149 154 155 156 157 161 166 167 172 176 179 180 188 189 195 196 197 205 209 210 211 215 216 220 224 226 230 235 242 248 251 252 254 256 257 258 260 262 263 266 267 268 273 277 281 285 288 290 292 298 301 304 308 311 312 318 323 328 330 333 337 338 340 342 346 352 356 358 360 361 363 369 371 372 374 378 379 381 383 389 397 398 401 402 403 404 405 406 410 415 a 2 3 5 6 9 12 17 18 19 21 23 30 31 34 39 55 59 61 63 65 68 73 76 78 83 87 94 98 102 107 109 110 112 120 122 125 126 138 139 144 149 154 155 156 157 161 166 167 172 176 179 180 188 189 195 196 197 205 209 210 211 215 216 220 224 226 230 235 242 248 251 252 254 256 257 258 260 262 263 266 267 268 273 277 281 285 288 290 292 298 301 304 308 311 312 317 318 323 328 330 333 337 338 340 342 346 352 356 358 360 361 363 369 372 374 378 379 381 383 389 397 398 401 402 403 404 405 406 410 415 a 2 3 5 6 9 12 17 18 19 21 23 30 31 34 39 55 59 61 63 64 65 68 73 76 78 83 87 94 98 102 107 109 110 112 120 122 125 126 138 139 144 149 154 155 156 157 161 166 167 172 176 179 180 188 189 195 196 197 205 209 210 211 215 216 220 224 226 230 235 242 248 251 252 256 257 258 260 262 263 266 267 268 273 277 281 285 288 290 292 298 301 304 308 311 312 317 318 323 328 330 333 337 338 340 342 346 352 356 358 360 361 363 369 372 374 378 379 381 383 389 397 398 401 402 403 404 405 406 410 415 a 2 3 5 6 9 12 17 18 19 21 23 30 31 34 39 52 55 59 61 63 64 65 68 73 76 78 83 87 94 98 102 107 109 110 112 120 122 125 126 138 139 144 149 154 155 156 157 161 166 167 172 176 179 180 188 189 195 196 197 205 209 210 211 215 216 220 224 226 230 235 242 248 251 252 256 257 258 260 262 263 266 267 268 273 277 281 285 288 290 292 298 301 304 308 311 312 317 318 323 328 330 333 337 338 340 342 346 352 356 358 360 361 363 369 372 374 378 379 381 383 389 397 398 401 402 403 405 406 410 415 a 2 3 5 6 9 12 17 18 19 21 23 30 31 34 39 52 55 59 61 63 64 65 68 73 76 78 83 87 94 98 102 107 109 110 112 120 122 125 126 138 139 144 149 154 155 156 157 161 166 167 172 176 179 180 188 189 195 196 197 205 209 210 211 215 216 220 224 226 230 235 242 248 251 252 256 257 258 260 262 263 267 268 273 277 281 285 288 290 292 298 301 304 308 311 312 317 318 323 328 330 333 337 338 340 342 344 346 352 356 358 360 361 363 369 372 374 378 379 381 383 389 397 398 401 402 403 405 406 410 415 a 2 3 5 6 9 12 17 18 19 21 23 30 31 34 39 52 55 59 61 63 64 65 68 73 76 78 83 87 94 98 107 109 110 112 120 122 125 126 138 139 144 149 154 155 156 157 161 164 166 167 172 176 179 180 188 189 195 196 197 205 209 210 211 215 216 220 224 226 230 235 242 248 251 252 256 257 258 260 262 263 267 268 273 277 281 285 288 290 292 298 301 304 308 311 312 317 318 323 328 330 333 337 338 340 342 344 346 352 356 358 360 361 363 369 372 374 378 379 381 383 389 397 398 401 402 403 405 406 410 415 a 2 3 5 6 9 12 17 18 19 21 23 30 31 34 39 52 55 59 61 63 64 65 68 73 76 78 83 87 94 98 107 109 110 112 120 122 125 126 138 139 144 149 154 155 156 157 161 164 166 167 172 176 179 180 183 188 189 195 196 197 205 209 210 211 215 216 220 224 226 230 235 242 248 251 252 256 258 260 262 263 267 268 273 277 281 285 288 290 292 298 301 304 308 311 312 317 318 323 328 330 333 337 338 340 342 344 346 352 356 358 360 361 363 369 372 374 378 379 381 383 389 397 398 401 402 403 405 406 410 415 a 2 3 5 6 9 12 17 18 19 21 23 30 31 34 39 52 55 59 61 63 64 65 68 73 76 78 83 87 94 98 107 109 110 112 120 122 125 126 138 139 144 149 154 155 156 157 161 164 166 167 172 176 179 180 183 188 189 195 196 197 205 209 210 211 215 216 220 224 226 230 235 242 248 251 252 256 258 260 262 263 267 268 273 277 281 285 288 290 292 298 301 304 305 308 311 312 317 318 323 328 330 333 337 338 340 342 344 346 352 356 358 360 361 363 369 372 378 379 381 383 389 397 398 401 402 403 405 406 410 415 a 2 3 5 6 9 12 17 18 19 21 23 30 31 34 39 52 55 59 61 63 64 65 68 73 76 78 83 87 88 94 98 107 109 110 112 120 122 125 126 138 139 144 149 154 155 156 157 161 164 166 167 172 176 179 180 183 188 189 195 196 197 205 209 210 211 215 216 220 224 226 230 242 248 251 252 256 258 260 262 263 267 268 273 277 281 285 288 290 292 298 301 304 305 308 311 312 317 318 323 328 330 333 337 338 340 342 344 346 352 356 358 360 361 363 369 372 378 379 381 383 389 397 398 401 402 403 405 406 410 415 a 2 3 5 6 9 12 17 18 19 21 23 30 31 34 39 52 55 59 61 63 64 65 68 73 76 78 83 87 88 94 98 107 109 110 112 120 122 125 126 138 139 144 149 154 155 156 157 161 164 166 167 172 176 179 180 183 188 189 195 196 197 205 209 210 211 215 216 220 224 226 230 242 248 251 252 256 258 260 262 263 267 268 273 277 281 285 288 290 292 298 301 304 305 308 311 312 314 317 318 323 328 330 333 337 338 340 342 344 346 352 356 358 360 361 363 369 372 378 381 383 389 397 398 401 402 403 405 406 410 415 a 2 3 5 6 9 12 17 18 19 21 23 30 31 34 39 52 55 59 61 63 64 65 68 73 76 78 83 87 88 94 98 107 109 110 112 120 122 125 126 138 139 144 149 155 156 157 161 164 166 167 172 176 179 180 183 188 189 195 196 197 205 209 210 211 215 216 220 224 226 230 242 248 251 252 256 258 260 262 263 267 268 273 277 281 285 288 290 292 298 301 304 305 308 311 312 314 317 318 323 328 330 333 337 338 340 342 344 346 352 356 358 360 361 363 369 372 377 378 381 383 389 397 398 401 402 403 405 406 410 415 a 2 3 5 6 9 12 17 18 19 21 23 30 31 34 39 52 55 59 60 61 63 64 65 68 73 76 78 83 87 88 94 98 107 109 110 112 120 122 125 126 138 139 144 149 155 156 157 161 164 166 167 172 176 179 180 183 188 189 195 196 197 205 209 210 211 215 216 220 224 226 230 242 248 251 252 256 258 260 262 263 268 273 277 281 285 288 290 292 298 301 304 305 308 311 312 314 317 318 323 328 330 333 337 338 340 342 344 346 352 356 358 360 361 363 369 372 377 378 381 383 389 397 398 401 402 403 405 406 410 415 a 2 3 5 6 9 12 17 18 19 21 23 30 31 34 39 52 55 59 60 61 63 64 65 68 73 76 78 83 87 88 94 98 107 109 110 112 120 122 125 126 138 139 144 149 155 156 157 161 164 166 167 172 176 179 180 183 188 189 195 196 197 205 209 210 211 215 216 220 224 226 230 242 248 251 252 256 258 260 262 263 268 273 277 281 285 288 290 292 298 299 301 304 305 308 311 312 314 317 323 328 330 333 337 338 340 342 344 346 352 356 358 360 361 363 369 372 377 378 381 383 389 397 398 401 402 403 405 406 410 415 a 2 3 5 6 9 12 17 18 19 21 23 30 31 34 39 52 55 58 59 60 61 63 64 65 68 73 76 78 83 87 88 98 107 109 110 112 120 122 125 126 138 139 144 149 155 156 157 161 164 166 167 172 176 179 180 183 188 189 195 196 197 205 209 210 211 215 216 220 224 226 230 242 248 251 252 256 258 260 262 263 268 273 277 281 285 288 290 292 298 299 301 304 305 308 311 312 314 317 323 328 330 333 337 338 340 342 344 346 352 356 358 360 361 363 369 372 377 378 381 383 389 397 398 401 402 403 405 406 410 415 a 2 3 5 6 9 12 17 18 19 21 23 30 31 34 39 52 55 58 59 60 61 63 64 65 68 73 76 78 83 87 88 98 107 109 110 112 120 122 125 126 138 139 144 149 155 156 157 161 164 166 167 172 176 179 180 183 188 189 196 197 205 209 210 211 214 215 216 220 224 226 230 242 248 251 252 256 258 260 262 263 268 273 277 281 285 288 290 292 298 299 301 304 305 308 311 312 314 317 323 328 330 333 337 338 340 342 344 346 352 356 358 360 361 363 369 372 377 378 381 383 389 397 398 401 402 403 405 406 410 415 a 2 3 5 6 9 12 17 18 19 21 23 30 31 34 39 52 55 58 59 60 61 63 64 65 68 73 76 78 83 87 88 98 107 109 110 112 120 122 125 126 138 139 144 149 155 156 157 161 164 166 167 172 176 179 180 183 188 189 196 197 205 209 210 211 214 215 216 220 224 226 230 242 247 248 251 252 256 258 260 262 263 268 273 277 281 285 288 290 292 298 299 301 304 305 308 311 314 317 323 328 330 333 337 338 340 342 344 346 352 356 358 360 361 363 369 372 377 378 381 383 389 397 398 401 402 403 405 406 410 415 a 2 3 5 6 9 12 17 18 19 21 23 30 31 34 39 52 55 58 59 60 61 63 64 65 68 73 76 78 83 87 88 98 107 109 110 112 120 122 125 126 138 139 144 149 155 156 157 161 164 166 167 172 176 179 180 183 188 189 196 197 205 209 211 214 215 216 220 224 226 230 242 247 248 251 252 256 258 260 262 263 268 273 277 281 285 288 290 292 298 299 301 304 305 308 311 314 317 323 328 330 333 337 338 340 342 344 346 352 356 358 360 361 363 369 372 377 378 381 383 389 395 397 398 401 402 403 405 406 410 415 a 2 3 5 6 9 12 17 18 21 23 30 31 34 39 52 55 58 59 60 61 63 64 65 68 73 76 78 83 87 88 98 107 109 110 112 120 122 125 126 138 139 144 149 155 156 157 161 164 166 167 172 176 179 180 183 188 189 196 197 205 209 211 214 215 216 220 224 226 230 242 247 248 251 252 256 258 260 262 263 268 273 277 281 285 288 290 292 298 299 301 304 305 308 311 314 317 323 328 330 333 337 338 340 342 344 346 352 356 358 360 361 363 366 369 372 377 378 381 383 389 395 397 398 401 402 403 405 406 410 415 a 2 3 5 6 9 12 17 18 21 23 30 31 34 39 44 52 55 58 59 60 61 63 64 65 68 73 76 78 83 87 88 98 107 109 110 112 120 122 125 126 138 139 144 149 155 156 157 161 164 166 167 172 176 179 180 183 188 189 196 197 205 209 211 214 215 216 220 224 226 230 242 247 248 251 252 256 258 260 262 263 268 273 277 281 285 288 290 292 298 299 301 304 305 308 311 314 317 323 328 330 333 337 338 340 342 344 346 352 356 358 360 361 363 366 369 372 377 381 383 389 395 397 398 401 402 403 405 406 410 415 a 2 3 5 6 9 12 13 17 18 21 23 30 31 34 39 44 52 55 58 59 60 61 63 64 65 68 73 76 78 83 87 88 98 107 109 110 112 120 122 125 126 138 144 149 155 156 157 161 164 166 167 172 176 179 180 183 188 189 196 197 205 209 211 214 215 216 220 224 226 230 242 247 248 251 252 256 258 260 262 263 268 273 277 281 285 288 290 292 298 299 301 304 305 308 311 314 317 323 328 330 333 337 338 340 342 344 346 352 356 358 360 361 363 366 369 372 377 381 383 389 395 397 398 401 402 403 405 406 410 415 a 2 3 5 6 9 12 13 17 18 21 23 30 31 34 39 44 52 55 58 59 60 61 63 64 65 68 73 76 78 80 83 87 88 98 107 109 110 112 120 122 125 126 138 144 149 155 156 157 161 164 166 167 172 176 179 180 183 188 189 196 197 205 209 211 214 215 216 220 224 226 230 242 247 248 251 252 256 258 260 262 263 268 273 277 281 285 288 290 292 298 299 304 305 308 311 314 317 323 328 330 333 337 338 340 342 344 346 352 356 358 360 361 363 366 369 372 377 381 383 389 395 397 398 401 402 403 405 406 410 415 a 2 3 5 6 9 12 13 17 18 21 23 30 31 34 39 44 52 55 58 59 60 61 63 64 65 68 73 78 80 83 87 88 98 107 109 110 112 120 122 125 126 138 144 149 150 155 156 157 161 164 166 167 172 176 179 180 183 188 189 196 197 205 209 211 214 215 216 220 224 226 230 242 247 248 251 252 256 258 260 262 263 268 273 277 281 285 288 290 292 298 299 304 305 308 311 314 317 323 328 330 333 337 338 340 342 344 346 352 356 358 360 361 363 366 369 372 377 381 383 389 395 397 398 401 402 403 405 406 410 415 a 2 3 5 6 9 12 13 17 18 21 23 30 31 34 39 44 52 55 58 59 60 61 63 64 65 68 73 78 80 83 87 88 98 107 109 110 112 120 122 125 126 138 144 149 150 155 156 157 161 164 166 167 172 176 179 180 183 188 189 196 197 205 209 211 214 215 216 220 224 226 230 242 245 247 248 251 252 256 258 260 262 263 268 273 277 281 285 288 290 292 298 299 304 305 308 311 314 317 323 328 330 333 337 338 340 342 344 346 352 356 358 360 361 363 366 369 372 377 381 383 389 395 397 398 401 402 403 405 406 415 a 2 3 5 6 9 12 13 17 18 21 23 30 31 34 39 44 52 55 58 59 60 61 63 64 65 68 73 80 83 87 88 98 107 109 110 112 120 122 125 126 138 144 149 150 155 156 157 161 164 166 167 172 176 179 180 183 188 189 196 197 205 209 211 214 215 216 220 224 226 230 242 245 247 248 251 252 256 258 260 262 263 268 273 277 281 285 288 290 292 298 299 304 305 308 311 314 316 317 323 328 330 333 337 338 340 342 344 346 352 356 358 360 361 363 366 369 372 377 381 383 389 395 397 398 401 402 403 405 406 415 a 2 3 5 6 9 12 13 17 18 21 23 30 31 34 39 44 52 55 58 59 60 61 63 64 65 68 73 80 83 87 88 98 107 109 110 112 120 122 125 126 138 144 149 150 155 156 157 161 164 166 167 172 176 179 180 183 188 189 196 197 205 209 211 214 215 216 220 224 226 230 242 245 247 248 251 252 256 258 260 262 263 268 273 277 281 285 288 290 292 298 299 304 305 311 314 316 317 323 328 330 332 333 337 338 340 342 344 346 352 356 358 360 361 363 366 369 372 377 381 383 389 395 397 398 401 402 403 405 406 415 a 2 3 5 6 9 12 13 17 18 21 23 30 31 34 39 44 52 55 58 59 60 61 63 64 65 68 73 80 83 87 88 98 107 109 110 112 120 122 125 126 138 144 149 150 155 156 157 161 164 166 167 172 176 179 180 183 188 189 196 197 205 209 211 214 215 216 220 224 226 230 242 245 247 248 251 252 256 258 260 262 263 268 273 277 281 285 288 290 292 298 299 304 305 311 314 316 317 323 328 330 332 333 337 338 340 342 344 346 352 356 358 360 361 363 366 369 372 377 381 389 395 397 398 401 402 403 405 406 414 415 a 2 3 5 6 9 12 13 17 18 21 23 30 31 34 39 44 52 55 56 58 59 60 61 63 64 65 68 73 80 83 87 88 98 107 109 110 112 120 122 125 126 138 144 149 150 155 156 157 161 164 166 167 172 176 179 180 183 188 189 196 197 205 209 211 214 215 216 220 224 226 230 242 245 247 248 251 252 256 258 260 262 263 268 273 277 281 285 288 290 292 298 299 304 305 311 314 316 317 323 328 330 332 333 337 338 340 342 344 346 352 356 360 361 363 366 369 372 377 381 389 395 397 398 401 402 403 405 406 414 415 a 2 3 5 6 9 12 13 17 18 21 23 30 31 34 39 44 52 55 56 58 59 60 61 63 64 65 68 73 80 87 88 98 107 109 110 112 120 122 125 126 138 144 149 150 155 156 157 161 164 166 167 172 176 179 180 183 188 189 196 197 205 209 211 214 215 216 220 224 226 230 242 245 247 248 251 252 256 258 260 262 263 268 273 277 281 285 288 290 292 298 299 304 305 311 314 316 317 323 328 329 330 332 333 337 338 340 342 344 346 352 356 360 361 363 366 369 372 377 381 389 395 397 398 401 402 403 405 406 414 415 a 2 3 5 6 9 12 13 17 18 21 23 30 31 34 39 44 52 55 56 58 59 60 61 63 64 65 68 73 80 87 88 89 98 107 109 110 112 120 122 125 126 138 144 149 150 155 156 157 161 164 166 167 172 176 179 180 183 188 189 196 197 205 209 211 214 215 216 220 224 226 230 242 245 247 248 251 252 256 258 260 262 263 268 273 277 281 285 288 290 292 298 299 304 305 311 314 316 317 323 328 329 330 332 333 337 338 340 342 344 346 356 360 361 363 366 369 372 377 381 389 395 397 398 401 402 403 405 406 414 415 a 2 3 5 6 9 12 13 17 18 21 23 30 31 34 39 44 52 55 56 58 59 60 61 63 64 65 68 73 80 87 88 89 98 107 109 110 112 120 122 125 126 138 144 149 150 155 156 157 161 164 166 167 172 176 179 180 183 188 189 196 197 205 209 211 214 215 216 220 224 226 230 242 243 245 247 248 251 252 256 258 260 262 263 268 273 277 281 285 288 290 292 298 299 304 305 311 314 316 317 323 328 329 330 332 333 338 340 342 344 346 356 360 361 363 366 369 372 377 381 389 395 397 398 401 402 403 405 406 414 415 a 2 3 5 6 9 12 13 17 18 21 23 30 31 34 39 44 52 55 56 58 59 60 61 63 64 65 68 73 80 87 88 89 98 107 109 110 112 120 122 125 126 138 144 150 155 156 157 161 164 166 167 172 176 179 180 183 188 189 196 197 205 209 211 214 215 216 220 224 226 230 242 243 245 247 248 251 252 256 258 260 262 263 268 273 277 281 285 288 290 292 298 299 304 305 311 314 316 317 323 328 329 330 332 333 338 340 342 344 346 356 357 360 361 363 366 369 372 377 381 389 395 397 398 401 402 403 405 406 414 415 a 2 3 5 6 9 12 13 17 18 21 23 30 31 34 39 44 52 55 56 58 59 60 61 63 64 65 68 73 80 87 88 89 98 107 109 110 112 120 122 125 126 138 144 150 155 156 157 161 164 166 167 172 176 179 180 183 188 189 196 197 205 209 211 214 215 216 220 224 226 230 242 243 245 247 248 251 252 256 258 260 262 263 268 273 277 281 285 288 290 292 298 299 304 305 311 314 316 317 323 328 329 330 332 333 338 340 342 344 346 356 357 360 361 363 366 369 372 377 381 389 395 398 401 402 403 405 406 413 414 415 a 2 3 5 6 9 12 13 17 18 21 23 30 31 34 39 44 52 55 56 58 59 60 61 63 64 65 68 73 80 87 88 89 98 107 109 110 112 120 122 125 126 138 144 150 155 156 157 161 164 166 167 172 176 179 183 188 189 196 197 205 209 211 214 215 216 220 224 226 230 242 243 245 247 248 251 252 256 258 260 262 263 268 273 277 281 285 288 290 292 298 299 304 305 311 314 316 317 323 328 329 330 332 333 338 340 342 344 346 356 357 360 361 363 364 366 369 372 377 381 389 395 398 401 402 403 405 406 413 414 415 a 2 3 5 6 9 12 13 17 18 21 23 30 31 34 39 44 52 55 56 58 59 60 61 63 64 65 68 73 80 87 88 89 98 107 109 110 112 120 122 125 126 138 144 150 155 156 157 161 164 166 167 172 176 179 183 188 189 196 197 205 209 211 214 215 216 224 226 230 242 243 245 247 248 251 252 256 258 260 262 263 268 273 277 281 285 288 290 292 298 299 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 381 389 395 398 401 402 403 405 406 413 414 415 a 2 3 5 6 9 12 13 17 18 21 23 30 31 34 39 44 52 55 56 58 59 60 61 63 64 65 68 73 80 87 88 89 98 107 109 110 112 120 122 125 126 138 144 150 155 156 157 161 164 166 167 176 179 183 185 188 189 196 197 205 209 211 214 215 216 224 226 230 242 243 245 247 248 251 252 256 258 260 262 263 268 273 277 281 285 288 290 292 298 299 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 381 389 395 398 401 402 403 405 406 413 414 415 a 2 3 5 6 9 12 13 17 18 21 23 30 31 33 34 39 44 52 55 56 58 59 60 61 63 64 65 68 73 80 87 88 89 98 107 109 110 112 120 122 125 126 138 144 150 155 156 157 161 164 166 167 176 179 183 185 188 189 196 205 209 211 214 215 216 224 226 230 242 243 245 247 248 251 252 256 258 260 262 263 268 273 277 281 285 288 290 292 298 299 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 381 389 395 398 401 402 403 405 406 413 414 415 a 2 3 5 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 98 107 109 110 112 120 122 125 126 138 144 150 155 156 157 161 164 166 167 176 179 183 185 188 189 196 205 211 214 215 216 224 226 230 242 243 245 247 248 251 252 256 258 260 262 263 268 273 277 281 285 288 290 292 298 299 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 381 389 395 398 401 402 403 405 406 413 414 415 a 2 3 5 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 98 107 109 110 112 120 122 125 126 138 144 150 155 156 157 161 164 166 167 176 179 183 185 188 189 196 205 211 214 215 216 224 226 242 243 245 247 248 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 381 389 395 398 401 402 403 405 406 413 414 415 a 2 3 5 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 98 107 109 110 112 120 122 125 126 138 144 146 150 155 156 157 161 164 166 167 179 183 185 188 189 196 205 211 214 215 216 224 226 242 243 245 247 248 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 381 389 395 398 401 402 403 405 406 413 414 415 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 98 107 109 110 112 120 122 125 126 138 144 146 150 155 156 157 161 164 166 167 179 183 185 188 189 196 203 205 211 214 215 216 224 226 242 243 245 247 248 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 381 389 395 398 401 402 403 405 406 413 414 415 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 98 107 109 110 112 120 122 125 126 138 144 146 150 155 156 157 164 166 167 179 183 185 188 189 196 203 205 211 214 215 216 224 226 242 243 245 247 248 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 381 389 390 395 398 401 402 403 405 406 413 414 415 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 122 125 126 138 144 146 150 155 156 157 164 166 167 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 381 389 390 395 398 401 402 403 405 406 413 414 415 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 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 381 389 390 395 398 401 402 403 405 406 413 414 415 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 381 389 390 395 401 402 403 405 406 413 414 415 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 -t4 /benchmark/random_instance/random_instance032_graph004.col /benchmark/random_instance/random_instance032_graph004_01.dat" User time (seconds): 10.39 System time (seconds): 0.26 Percent of CPU this job got: 224% Elapsed (wall clock) time (h:mm:ss or m:ss): 0:04.74 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): 323984 Average resident set size (kbytes): 0 Major (requiring I/O) page faults: 0 Minor (reclaiming a frame) page faults: 228998 Voluntary context switches: 13990 Involuntary context switches: 37 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:10:02 2023]