#BEGIN: [Mon Sep 4 15:07:24 2023] #HOST: s15 #TIMELIMIT: 1800 #MEMLIMIT: 0 #SOLVER: shortest-wallclock-banbaralab2-shortest1 #INSTANCE1: /benchmark/random_instance/random_instance031_graph001.col #INSTANCE2: /benchmark/random_instance/random_instance031_graph001_01.dat #COMMAND: docker run --cidfile /tmp/cid.txt --init --rm -t -v /home/share/benchmark/ISR-benchmark:/benchmark banbaralab2 --shortest /benchmark/random_instance/random_instance031_graph001.col /benchmark/random_instance/random_instance031_graph001_01.dat c /benchmark/random_instance/random_instance031_graph001.col c /benchmark/random_instance/random_instance031_graph001_01.dat s 224 393 231 252 198 263 28 221 189 58 20 260 223 182 398 140 59 350 84 196 55 281 270 341 276 157 373 49 85 399 7 340 288 303 265 304 230 16 26 22 3 123 364 342 23 228 360 105 15 229 14 24 347 98 206 298 33 320 184 355 402 86 34 192 200 296 348 12 278 216 17 111 344 233 279 164 234 146 35 29 88 384 311 4 124 134 116 257 337 25 249 145 237 349 242 323 297 217 170 392 169 176 187 129 394 183 69 6 2 251 300 274 155 156 329 327 391 52 264 106 295 362 162 395 104 204 325 290 114 t 366 228 253 64 381 120 212 327 122 63 188 7 372 388 386 303 192 288 111 79 44 169 259 223 272 160 291 85 168 318 287 294 103 346 379 323 167 361 101 300 69 11 34 26 355 150 220 204 373 17 156 351 330 382 62 153 80 262 203 194 385 334 200 246 221 130 25 16 3 115 23 283 197 284 196 187 24 183 250 321 276 83 180 104 110 76 243 116 99 299 224 278 93 86 325 403 10 343 309 5 347 57 67 390 201 129 59 127 232 118 329 310 364 311 249 348 292 82 331 337 230 20 6 315 290 38 198 35 233 a YES a 2 3 4 6 7 12 14 15 16 17 20 22 23 24 25 26 28 29 33 34 35 49 52 55 58 59 69 84 85 86 88 98 104 105 106 111 114 116 123 124 129 134 140 145 146 155 156 157 162 164 169 170 176 182 183 184 187 189 192 196 198 200 204 206 216 217 221 223 224 228 229 230 231 233 234 237 242 249 251 252 257 260 263 264 265 270 274 276 278 279 281 288 290 295 296 297 298 300 303 304 311 320 323 325 327 329 337 340 341 342 344 347 348 349 350 355 360 362 364 373 384 391 392 393 394 395 398 399 402 a 2 3 4 6 7 12 14 15 16 17 20 22 23 24 25 26 28 29 33 34 35 49 52 55 58 59 69 84 85 86 88 98 99 104 105 106 111 114 116 123 124 129 134 140 145 146 155 156 157 162 164 169 170 176 182 183 184 187 189 192 196 198 200 204 206 216 217 221 223 224 228 229 230 231 233 234 237 242 249 251 252 257 260 263 264 265 270 274 276 278 279 281 288 290 295 296 297 298 300 303 304 311 320 323 325 327 329 337 340 341 342 344 347 348 349 350 355 362 364 373 384 391 392 393 394 395 398 399 402 a 2 3 4 6 7 12 14 15 16 17 20 22 23 24 25 26 28 29 33 34 35 49 52 55 58 59 69 84 85 86 88 98 99 104 105 106 111 114 116 124 129 134 140 145 146 155 156 157 162 164 169 170 176 182 183 184 187 189 192 196 197 198 200 204 206 216 217 221 223 224 228 229 230 231 233 234 237 242 249 251 252 257 260 263 264 265 270 274 276 278 279 281 288 290 295 296 297 298 300 303 304 311 320 323 325 327 329 337 340 341 342 344 347 348 349 350 355 362 364 373 384 391 392 393 394 395 398 399 402 a 2 3 4 6 7 10 12 14 15 16 17 20 22 23 24 25 26 28 29 33 34 35 49 52 55 58 59 69 84 85 86 88 98 99 104 105 106 111 114 116 124 129 134 140 145 146 155 156 157 162 164 169 170 176 182 183 184 187 189 192 196 197 198 200 204 206 216 217 221 223 224 228 229 230 231 233 234 237 242 249 251 252 257 260 263 264 265 270 274 276 278 279 281 288 290 295 296 297 298 300 303 304 311 320 323 325 327 329 337 340 341 342 344 347 348 349 350 355 362 364 373 391 392 393 394 395 398 399 402 a 2 3 4 6 7 10 12 14 15 16 17 20 22 23 24 25 26 28 29 33 34 35 49 52 55 58 59 69 84 85 86 88 98 99 104 105 106 111 114 116 124 129 134 140 145 146 155 156 157 162 164 169 170 176 182 183 184 187 189 192 196 197 198 200 204 206 216 217 221 223 224 228 229 230 231 233 234 237 242 249 251 252 257 260 263 264 265 270 274 276 278 279 281 288 290 295 296 297 298 300 303 304 311 320 323 325 327 329 337 341 342 344 347 348 349 350 355 362 364 373 391 392 393 394 395 398 399 402 403 a 2 3 4 6 7 10 12 14 15 16 17 20 22 23 24 25 26 28 29 33 34 35 49 52 55 58 59 62 69 84 85 86 88 98 99 104 105 106 111 114 116 124 129 134 140 145 146 155 156 157 162 164 169 170 176 182 183 184 187 189 192 196 197 198 200 204 206 216 217 221 223 224 228 229 230 231 233 234 237 242 249 251 252 257 260 263 264 265 270 274 276 278 279 281 288 290 295 296 297 298 300 303 304 311 320 323 325 327 329 337 341 342 344 347 348 349 350 355 362 364 373 391 392 393 394 395 398 402 403 a 2 3 4 6 7 10 12 14 15 16 17 20 22 23 24 25 26 28 29 33 34 35 49 52 55 58 59 62 69 84 85 86 88 98 99 104 105 106 111 114 116 124 129 134 140 145 146 155 156 157 162 164 169 170 176 182 183 184 187 189 192 196 197 198 200 204 206 216 217 220 221 223 224 228 229 230 231 233 234 237 242 249 251 252 257 260 263 264 265 270 274 276 278 279 281 288 290 295 296 297 298 300 303 304 311 320 323 325 327 329 337 341 342 344 347 348 349 350 355 362 364 373 391 392 394 395 398 402 403 a 2 3 4 6 7 10 12 14 15 16 17 20 22 23 24 25 26 28 29 33 34 35 49 52 55 58 59 62 69 84 85 86 88 98 99 104 105 106 110 111 114 116 124 129 134 140 145 146 155 156 157 162 164 169 170 176 182 183 184 187 189 192 196 197 198 200 204 206 216 217 220 221 223 224 228 229 230 231 233 234 237 242 249 251 252 257 260 263 264 265 270 274 276 278 279 281 288 290 295 296 297 298 300 303 304 311 320 323 325 327 329 337 341 342 344 347 348 349 350 355 362 364 373 391 392 394 395 402 403 a 2 3 4 6 7 10 12 14 15 16 17 20 23 24 25 26 28 29 33 34 35 49 52 55 58 59 62 69 84 85 86 88 98 99 104 105 106 110 111 114 116 124 129 134 140 145 146 155 156 157 162 164 169 170 176 182 183 184 187 189 192 196 197 198 200 204 206 216 217 220 221 223 224 228 229 230 231 233 234 237 242 249 251 252 257 260 263 264 265 270 274 276 278 279 281 288 290 295 296 297 298 300 303 304 309 311 320 323 325 327 329 337 341 342 344 347 348 349 350 355 362 364 373 391 392 394 395 402 403 a 2 3 4 6 7 10 12 14 15 16 17 20 23 24 25 26 28 29 33 34 35 49 52 55 58 59 62 69 84 85 86 88 98 99 104 105 106 110 111 114 116 124 129 134 140 145 146 155 156 157 162 164 169 170 176 182 183 184 187 189 192 196 197 198 200 204 206 216 217 220 221 223 224 228 229 230 231 233 234 237 242 243 249 251 252 257 260 263 264 265 270 274 276 278 279 281 288 290 295 296 297 298 300 303 304 309 311 320 323 325 327 329 337 341 344 347 348 349 350 355 362 364 373 391 392 394 395 402 403 a 2 3 4 6 7 10 12 14 15 16 17 20 23 24 25 26 28 29 33 34 35 49 52 55 58 59 62 64 69 84 85 86 88 98 99 104 105 106 110 111 114 116 124 129 134 140 145 146 155 156 157 162 164 169 170 176 182 183 184 187 189 192 196 197 198 200 204 206 216 217 220 221 223 224 228 229 230 231 233 234 237 242 243 249 251 252 257 260 263 264 265 270 274 276 278 279 281 288 290 295 297 298 300 303 304 309 311 320 323 325 327 329 337 341 344 347 348 349 350 355 362 364 373 391 392 394 395 402 403 a 2 3 4 6 7 10 12 14 15 16 17 20 23 24 25 26 28 29 33 34 35 49 52 55 58 59 62 64 69 84 85 86 88 98 99 104 105 106 110 111 114 116 124 129 134 140 145 146 155 156 157 162 164 169 170 176 183 184 187 189 192 196 197 198 200 204 206 216 217 220 221 223 224 228 229 230 231 233 234 237 242 243 249 251 252 257 260 263 264 265 270 274 276 278 279 281 288 290 295 297 298 300 303 304 309 311 320 323 325 327 329 337 341 344 347 348 349 350 355 362 364 373 390 391 392 394 395 402 403 a 2 3 6 7 10 12 14 15 16 17 20 23 24 25 26 28 29 33 34 35 49 52 55 58 59 62 64 69 84 85 86 88 98 99 104 105 106 110 111 114 116 124 129 134 140 145 146 155 156 157 162 164 169 170 176 183 184 187 189 192 196 197 198 200 204 206 216 217 220 221 223 224 228 229 230 231 233 234 237 242 243 249 251 252 257 260 263 264 265 270 274 276 278 279 281 288 290 295 297 298 300 303 304 309 311 315 320 323 325 327 329 337 341 344 347 348 349 350 355 362 364 373 390 391 392 394 395 402 403 a 2 3 6 7 10 12 14 15 16 17 20 23 24 25 26 28 29 33 34 35 49 52 55 58 59 62 64 69 84 85 86 98 99 103 104 105 106 110 111 114 116 124 129 134 140 145 146 155 156 157 162 164 169 170 176 183 184 187 189 192 196 197 198 200 204 206 216 217 220 221 223 224 228 229 230 231 233 234 237 242 243 249 251 252 257 260 263 264 265 270 274 276 278 279 281 288 290 295 297 298 300 303 304 309 311 315 320 323 325 327 329 337 341 344 347 348 349 350 355 362 364 373 390 391 392 394 395 402 403 a 2 3 6 7 10 12 14 15 16 17 20 23 24 25 26 28 29 33 34 35 49 55 58 59 62 64 69 84 85 86 98 99 103 104 105 106 110 111 114 116 124 127 129 134 140 145 146 155 156 157 162 164 169 170 176 183 184 187 189 192 196 197 198 200 204 206 216 217 220 221 223 224 228 229 230 231 233 234 237 242 243 249 251 252 257 260 263 264 265 270 274 276 278 279 281 288 290 295 297 298 300 303 304 309 311 315 320 323 325 327 329 337 341 344 347 348 349 350 355 362 364 373 390 391 392 394 395 402 403 a 2 3 6 7 10 12 14 15 16 17 20 23 24 25 26 28 29 33 34 35 49 55 58 59 62 64 69 76 84 85 86 98 99 103 104 105 106 110 111 114 116 124 127 129 134 140 145 146 156 157 162 164 169 170 176 183 184 187 189 192 196 197 198 200 204 206 216 217 220 221 223 224 228 229 230 231 233 234 237 242 243 249 251 252 257 260 263 264 265 270 274 276 278 279 281 288 290 295 297 298 300 303 304 309 311 315 320 323 325 327 329 337 341 344 347 348 349 350 355 362 364 373 390 391 392 394 395 402 403 a 2 3 6 7 10 12 14 15 16 17 20 23 24 25 26 28 29 33 34 35 49 55 58 59 62 64 69 76 84 85 86 98 99 103 104 105 106 110 111 114 116 124 127 129 134 140 145 146 156 157 162 164 169 170 176 183 184 187 189 192 196 197 198 200 204 206 216 217 220 221 223 224 228 229 230 231 233 234 237 242 243 249 251 252 257 263 264 265 270 274 276 278 279 281 288 290 295 297 298 300 303 304 309 311 315 320 323 325 327 329 337 341 344 347 348 349 350 355 362 364 366 373 390 391 392 394 395 402 403 a 2 3 6 7 10 12 14 16 17 20 23 24 25 26 28 29 33 34 35 49 55 58 59 62 64 69 76 84 85 86 98 99 103 104 105 106 110 111 114 116 124 127 129 134 140 145 146 156 157 162 164 169 170 176 183 184 187 189 192 196 197 198 200 204 206 216 217 220 221 223 224 228 229 230 231 233 234 237 242 243 249 251 252 257 263 264 265 270 274 276 278 279 281 288 290 295 297 298 300 303 304 309 311 315 320 323 325 327 329 330 337 341 344 347 348 349 350 355 362 364 366 373 390 391 392 394 395 402 403 a 2 3 6 7 10 12 14 16 17 20 23 24 25 26 28 29 33 34 35 49 55 58 59 62 64 69 76 82 84 85 86 98 99 103 104 105 106 110 111 114 116 124 127 129 134 140 145 146 156 157 162 164 169 170 176 183 184 187 189 192 196 197 198 200 204 206 216 220 221 223 224 228 229 230 231 233 234 237 242 243 249 251 252 257 263 264 265 270 274 276 278 279 281 288 290 295 297 298 300 303 304 309 311 315 320 323 325 327 329 330 337 341 344 347 348 349 350 355 362 364 366 373 390 391 392 394 395 402 403 a 2 3 6 7 10 12 14 16 17 20 23 24 25 26 28 29 33 34 35 49 55 58 59 62 64 69 76 82 84 85 86 98 99 103 104 105 106 110 111 114 116 124 127 129 140 145 146 156 157 162 164 169 170 176 183 184 187 189 192 196 197 198 200 203 204 206 216 220 221 223 224 228 229 230 231 233 234 237 242 243 249 251 252 257 263 264 265 270 274 276 278 279 281 288 290 295 297 298 300 303 304 309 311 315 320 323 325 327 329 330 337 341 344 347 348 349 350 355 362 364 366 373 390 391 392 394 395 402 403 a 2 3 6 7 10 12 14 16 17 20 23 24 25 26 28 29 33 34 35 49 55 58 59 62 64 69 76 82 84 85 86 98 99 103 104 105 106 110 111 114 116 124 127 129 140 145 146 156 157 162 164 169 170 176 183 184 187 189 192 196 197 198 200 203 204 206 216 220 221 223 224 228 229 230 231 233 234 237 242 243 249 250 251 252 257 263 264 265 270 274 276 278 281 288 290 295 297 298 300 303 304 309 311 315 320 323 325 327 329 330 337 341 344 347 348 349 350 355 362 364 366 373 390 391 392 394 395 402 403 a 2 3 6 7 10 12 14 16 17 20 23 24 25 26 28 29 33 34 35 49 55 58 59 62 64 69 76 82 83 84 85 86 98 99 103 104 105 106 110 111 114 116 124 127 129 140 145 146 156 157 162 164 169 170 176 183 184 187 189 192 196 197 198 200 203 204 206 216 220 221 223 224 228 229 230 231 233 234 237 242 243 249 250 251 252 257 263 264 265 270 274 276 278 281 288 290 295 297 300 303 304 309 311 315 320 323 325 327 329 330 337 341 344 347 348 349 350 355 362 364 366 373 390 391 392 394 395 402 403 a 2 3 6 7 10 12 14 16 17 20 23 24 25 26 28 29 33 34 35 49 55 58 59 62 64 69 76 82 83 84 85 86 98 99 103 104 105 106 110 111 114 116 124 127 129 140 145 146 156 157 162 164 169 170 176 183 184 187 189 192 196 197 198 200 203 204 216 220 221 223 224 228 229 230 231 233 234 237 242 243 249 250 251 252 257 259 263 264 265 270 274 276 278 281 288 290 295 297 300 303 304 309 311 315 320 323 325 327 329 330 337 341 344 347 348 349 350 355 362 364 366 373 390 391 392 394 395 402 403 a 2 3 6 7 10 12 14 16 17 20 23 24 25 26 28 29 33 34 35 49 55 58 59 62 64 69 76 82 83 84 85 86 98 99 103 104 105 106 110 111 114 116 124 127 129 140 145 146 156 157 162 164 169 170 176 183 184 187 189 192 196 197 198 200 203 204 216 220 221 223 224 228 229 230 231 233 234 237 242 243 249 250 251 252 257 259 263 264 265 270 274 276 278 281 288 290 295 297 300 303 304 309 311 315 320 323 325 327 329 330 337 341 344 347 348 349 350 355 362 364 366 373 388 390 391 392 394 395 403 a 2 3 6 7 10 12 14 16 17 20 23 24 25 26 28 29 33 34 35 49 55 58 59 62 64 69 76 82 83 84 85 86 98 99 103 104 105 106 110 111 114 116 127 129 140 145 146 156 157 162 164 169 170 176 183 184 187 189 192 196 197 198 200 203 204 216 220 221 223 224 228 229 230 231 233 234 237 242 243 249 250 251 252 253 257 259 263 264 265 270 274 276 278 281 288 290 295 297 300 303 304 309 311 315 320 323 325 327 329 330 337 341 344 347 348 349 350 355 362 364 366 373 388 390 391 392 394 395 403 a 2 3 6 7 10 12 14 16 17 20 23 24 25 26 28 29 33 34 35 49 55 58 59 62 64 69 76 82 83 85 86 98 99 103 104 105 106 110 111 114 116 127 129 140 145 146 156 157 162 164 169 170 176 183 184 187 189 192 196 197 198 200 203 204 216 220 221 223 224 228 229 230 231 233 234 237 242 243 249 250 251 252 253 257 259 263 264 265 270 274 276 278 281 288 290 295 297 300 303 304 309 311 315 320 323 325 327 329 330 337 341 344 347 348 349 350 355 362 364 366 373 386 388 390 391 392 394 395 403 a 2 3 6 7 10 12 14 16 17 20 23 24 25 26 28 29 33 34 35 49 55 58 59 62 64 69 76 82 83 85 86 98 99 103 104 105 106 110 111 114 116 127 129 140 145 146 156 157 162 164 169 170 176 183 184 187 189 192 196 197 198 200 203 204 216 220 221 223 224 228 229 230 231 233 234 237 242 243 249 250 251 252 253 257 259 263 264 265 270 272 274 276 278 281 288 290 295 297 300 303 304 309 311 315 320 323 325 327 329 330 337 341 344 347 348 349 350 355 362 364 366 373 386 388 390 391 392 394 403 a 2 3 6 7 10 12 14 16 17 20 23 24 25 26 28 29 33 34 35 55 58 59 62 64 69 76 82 83 85 86 98 99 103 104 105 106 110 111 114 116 127 129 140 145 146 156 157 162 164 169 170 176 183 184 187 189 192 196 197 198 200 203 204 216 220 221 223 224 228 229 230 231 233 234 237 242 243 249 250 251 252 253 257 259 262 263 264 265 270 272 274 276 278 281 288 290 295 297 300 303 304 309 311 315 320 323 325 327 329 330 337 341 344 347 348 349 350 355 362 364 366 373 386 388 390 391 392 394 403 a 2 3 6 7 10 12 14 16 17 20 23 24 25 26 28 29 33 34 35 55 58 59 62 64 69 76 82 83 85 86 98 99 103 104 105 106 110 111 114 116 127 129 140 145 146 156 157 162 164 169 170 176 183 184 187 189 192 196 197 198 200 203 204 216 220 221 223 224 228 229 230 231 233 234 237 242 243 246 249 250 251 252 253 257 259 262 263 264 270 272 274 276 278 281 288 290 295 297 300 303 304 309 311 315 320 323 325 327 329 330 337 341 344 347 348 349 350 355 362 364 366 373 386 388 390 391 392 394 403 a 2 3 6 7 10 12 14 16 17 20 23 24 25 26 28 29 33 34 35 55 58 59 62 64 69 76 82 83 85 86 98 99 103 104 105 106 110 111 114 116 127 129 140 145 146 156 157 162 164 169 170 176 183 184 187 189 192 196 197 198 200 203 204 216 220 221 223 224 228 229 230 231 233 234 237 242 243 246 249 250 251 252 253 257 259 262 263 264 272 274 276 278 281 288 290 292 295 297 300 303 304 309 311 315 320 323 325 327 329 330 337 341 344 347 348 349 350 355 362 364 366 373 386 388 390 391 392 394 403 a 2 3 6 7 10 12 14 16 17 20 23 24 25 26 28 29 33 34 35 55 58 59 62 64 69 76 79 82 83 85 86 98 99 103 104 105 106 110 111 114 116 127 129 140 145 146 156 162 164 169 170 176 183 184 187 189 192 196 197 198 200 203 204 216 220 221 223 224 228 229 230 231 233 234 237 242 243 246 249 250 251 252 253 257 259 262 263 264 272 274 276 278 281 288 290 292 295 297 300 303 304 309 311 315 320 323 325 327 329 330 337 341 344 347 348 349 350 355 362 364 366 373 386 388 390 391 392 394 403 a 2 3 6 7 10 14 16 17 20 23 24 25 26 28 29 33 34 35 55 57 58 59 62 64 69 76 79 82 83 85 86 98 99 103 104 105 106 110 111 114 116 127 129 140 145 146 156 162 164 169 170 176 183 184 187 189 192 196 197 198 200 203 204 216 220 221 223 224 228 229 230 231 233 234 237 242 243 246 249 250 251 252 253 257 259 262 263 264 272 274 276 278 281 288 290 292 295 297 300 303 304 309 311 315 320 323 325 327 329 330 337 341 344 347 348 349 350 355 362 364 366 373 386 388 390 391 392 394 403 a 2 3 6 7 10 14 16 17 20 23 24 25 26 28 29 33 34 35 55 57 58 59 62 64 69 76 79 82 83 85 86 93 98 99 103 104 105 106 110 111 114 116 127 129 140 145 146 156 162 164 169 170 176 183 184 187 189 192 196 197 198 200 203 204 216 220 221 223 224 228 229 230 231 233 237 242 243 246 249 250 251 252 253 257 259 262 263 264 272 274 276 278 281 288 290 292 295 297 300 303 304 309 311 315 320 323 325 327 329 330 337 341 344 347 348 349 350 355 362 364 366 373 386 388 390 391 392 394 403 a 2 3 6 7 10 14 16 17 20 23 24 25 26 28 29 33 34 35 55 57 58 59 62 64 69 76 79 82 83 85 86 93 98 99 101 103 104 105 106 110 111 114 116 127 129 140 145 146 156 162 164 169 170 176 183 184 187 189 192 196 197 198 200 203 204 216 220 221 223 224 228 229 230 231 233 237 242 243 246 249 250 251 252 253 257 259 262 263 264 272 274 276 278 281 288 290 292 295 297 300 303 304 309 311 315 320 323 325 327 329 330 337 341 344 347 348 349 355 362 364 366 373 386 388 390 391 392 394 403 a 2 3 6 7 10 16 17 20 23 24 25 26 28 29 33 34 35 55 57 58 59 62 64 69 76 79 82 83 85 86 93 98 99 101 103 104 105 106 110 111 114 116 127 129 140 145 146 156 162 164 169 170 176 183 184 187 189 192 196 197 198 200 203 204 216 220 221 223 224 228 229 230 231 233 237 242 243 246 249 250 251 252 253 257 259 262 263 264 272 274 276 278 281 288 290 292 295 297 300 303 304 309 311 315 320 323 325 327 329 330 337 341 344 347 348 349 355 362 364 366 373 385 386 388 390 391 392 394 403 a 2 3 6 7 10 16 17 20 23 24 25 26 28 29 33 34 35 55 57 58 59 62 64 69 76 79 82 83 85 86 93 98 99 101 103 104 105 106 110 111 114 116 127 129 145 146 156 162 164 169 170 176 183 184 187 189 192 196 197 198 200 203 204 216 220 221 223 224 228 229 230 231 233 237 242 243 246 249 250 251 252 253 257 259 262 263 264 272 274 276 278 281 284 288 290 292 295 297 300 303 304 309 311 315 320 323 325 327 329 330 337 341 344 347 348 349 355 362 364 366 373 385 386 388 390 391 392 394 403 a 2 3 6 7 10 16 17 20 23 24 25 26 28 29 33 34 35 55 57 58 59 62 64 69 76 79 82 83 85 86 93 98 99 101 103 104 105 106 110 111 114 116 127 129 145 146 156 162 164 169 170 176 183 184 187 189 192 196 197 198 200 203 204 212 220 221 223 224 228 229 230 231 233 237 242 243 246 249 250 251 252 253 257 259 262 263 264 272 274 276 278 281 284 288 290 292 295 297 300 303 304 309 311 315 320 323 325 327 329 330 337 341 344 347 348 349 355 362 364 366 373 385 386 388 390 391 392 394 403 a 2 3 6 7 10 16 17 20 23 24 25 26 28 29 33 34 35 55 57 58 59 62 64 69 76 79 82 83 85 86 93 98 99 101 103 104 105 106 110 111 114 116 127 129 145 146 156 162 164 169 170 176 183 184 187 189 192 196 197 198 200 203 204 212 220 221 223 224 228 229 230 231 233 237 242 243 246 249 250 251 252 253 257 259 262 263 264 272 274 276 278 281 284 287 288 290 292 295 297 300 303 304 309 311 315 320 323 325 327 329 330 337 341 344 347 348 349 355 362 364 366 373 385 386 388 390 391 394 403 a 2 3 6 7 10 16 17 20 23 24 25 26 28 29 33 34 35 55 57 58 59 62 64 69 76 79 82 83 85 86 93 98 99 101 103 104 105 106 110 111 114 116 127 129 145 146 150 156 164 169 170 176 183 184 187 189 192 196 197 198 200 203 204 212 220 221 223 224 228 229 230 231 233 237 242 243 246 249 250 251 252 253 257 259 262 263 264 272 274 276 278 281 284 287 288 290 292 295 297 300 303 304 309 311 315 320 323 325 327 329 330 337 341 344 347 348 349 355 362 364 366 373 385 386 388 390 391 394 403 a 2 3 6 7 10 16 17 20 23 24 25 26 29 33 34 35 55 57 58 59 62 64 69 76 79 82 83 85 86 93 98 99 101 103 104 105 106 110 111 114 116 127 129 145 146 150 156 164 169 170 176 183 184 187 189 192 196 197 198 200 203 204 212 220 221 223 224 228 229 230 231 233 237 242 243 246 249 250 251 252 253 257 259 262 263 264 272 274 276 278 281 284 287 288 290 292 295 297 300 303 304 309 311 315 318 320 323 325 327 329 330 337 341 344 347 348 349 355 362 364 366 373 385 386 388 390 391 394 403 a 2 3 6 7 10 16 17 20 23 24 25 26 29 33 34 35 38 55 57 58 59 62 64 69 76 79 82 83 85 86 93 98 99 101 103 104 105 106 110 111 114 116 127 129 145 146 150 156 164 169 170 176 183 187 189 192 196 197 198 200 203 204 212 220 221 223 224 228 229 230 231 233 237 242 243 246 249 250 251 252 253 257 259 262 263 264 272 274 276 278 281 284 287 288 290 292 295 297 300 303 304 309 311 315 318 320 323 325 327 329 330 337 341 344 347 348 349 355 362 364 366 373 385 386 388 390 391 394 403 a 2 3 6 7 10 16 17 20 23 24 25 26 29 33 34 35 38 44 55 57 58 59 62 64 69 76 79 82 83 85 86 93 98 99 101 103 104 105 106 110 111 114 116 127 129 145 146 150 156 164 169 170 176 183 187 189 192 196 197 198 200 203 204 212 220 221 223 224 228 229 230 231 233 237 242 243 246 249 250 251 252 253 257 259 262 263 264 272 274 276 278 281 284 287 288 290 292 295 297 300 303 304 309 311 315 318 320 323 325 327 329 330 337 344 347 348 349 355 362 364 366 373 385 386 388 390 391 394 403 a 2 3 6 7 10 16 17 20 23 24 25 26 29 33 34 35 38 44 55 57 58 59 62 64 67 69 76 79 82 83 85 86 93 98 99 101 103 104 105 106 110 111 114 116 127 129 145 146 150 156 164 169 170 176 183 187 189 192 196 197 198 200 203 204 212 220 221 223 224 228 229 230 233 237 242 243 246 249 250 251 252 253 257 259 262 263 264 272 274 276 278 281 284 287 288 290 292 295 297 300 303 304 309 311 315 318 320 323 325 327 329 330 337 344 347 348 349 355 362 364 366 373 385 386 388 390 391 394 403 a 2 3 6 7 10 16 17 20 23 24 25 26 29 33 34 35 38 44 55 57 58 59 62 64 67 69 76 79 82 83 85 86 93 98 99 101 103 104 105 106 110 111 114 116 127 129 145 146 150 156 164 169 170 176 183 187 189 192 196 197 198 200 203 204 212 220 221 223 224 228 229 230 233 237 242 243 246 249 250 251 252 253 257 259 262 263 264 272 274 276 278 281 284 287 288 290 292 295 297 300 303 304 309 311 315 318 321 323 325 327 329 330 337 344 347 348 349 355 362 364 366 373 385 386 388 390 391 394 403 a 2 3 6 7 10 16 17 20 23 24 25 26 29 33 34 35 38 44 55 57 58 59 62 64 67 69 76 79 82 83 85 86 93 98 99 101 103 104 105 106 110 111 114 116 127 129 145 146 150 156 164 169 170 176 183 187 189 192 196 197 198 200 203 204 212 220 221 223 224 228 229 230 233 237 242 243 246 249 250 251 252 253 257 259 262 263 264 272 274 276 278 281 284 287 288 290 292 295 297 300 303 309 310 311 315 318 321 323 325 327 329 330 337 344 347 348 349 355 362 364 366 373 385 386 388 390 391 394 403 a 2 3 6 7 10 11 16 17 20 23 24 25 26 29 33 34 35 38 44 55 57 58 59 62 64 67 69 76 79 82 83 85 86 93 98 99 101 103 104 105 106 110 111 114 116 127 129 145 146 150 156 164 169 170 176 183 187 189 192 196 197 198 200 203 204 212 220 221 223 224 228 229 230 233 237 242 243 246 249 250 251 252 253 257 259 262 263 264 272 274 276 278 281 284 287 288 290 292 295 297 300 303 309 310 311 315 318 321 323 325 327 329 330 337 344 347 348 355 362 364 366 373 385 386 388 390 391 394 403 a 2 3 6 7 10 11 16 17 20 23 24 25 26 29 33 34 35 38 44 55 57 58 59 62 64 67 69 76 79 82 83 85 86 93 98 99 101 103 104 105 110 111 114 116 127 129 145 146 150 156 164 168 169 170 176 183 187 189 192 196 197 198 200 203 204 212 220 221 223 224 228 229 230 233 237 242 243 246 249 250 251 252 253 257 259 262 263 264 272 274 276 278 281 284 287 288 290 292 295 297 300 303 309 310 311 315 318 321 323 325 327 329 330 337 344 347 348 355 362 364 366 373 385 386 388 390 391 394 403 a 3 6 7 10 11 16 17 20 23 24 25 26 29 33 34 35 38 44 55 57 58 59 62 64 67 69 76 79 82 83 85 86 93 98 99 101 103 104 105 110 111 114 116 127 129 145 146 150 156 164 168 169 170 176 183 187 189 192 196 197 198 200 203 204 212 220 221 223 224 228 229 230 233 237 242 243 246 249 250 251 252 253 257 259 262 263 264 272 274 276 278 281 284 287 288 290 292 295 297 300 303 309 310 311 315 318 321 323 325 327 329 330 337 344 347 348 355 362 364 366 372 373 385 386 388 390 391 394 403 a 3 6 7 10 11 16 17 20 23 24 25 26 29 33 34 35 38 44 55 57 58 59 62 64 67 69 76 79 82 83 85 86 93 98 99 101 103 104 105 110 111 114 116 127 129 145 146 150 156 164 168 169 170 176 183 187 189 192 196 197 198 200 203 204 212 220 221 223 224 228 229 230 233 237 242 243 246 249 250 251 252 253 257 259 262 263 264 272 274 276 278 281 284 287 288 290 292 295 297 300 303 309 310 311 315 318 321 323 325 327 329 330 337 344 347 348 355 362 364 366 372 373 381 385 386 388 390 394 403 a 3 6 7 10 11 16 17 20 23 24 25 26 29 33 34 35 38 44 55 57 58 59 62 64 67 69 76 79 82 83 85 86 93 98 99 101 103 104 105 110 111 114 116 127 129 145 146 150 156 164 168 169 170 176 183 187 189 192 196 197 198 200 203 204 212 220 221 223 224 228 229 230 233 237 242 243 246 249 250 251 252 253 257 259 262 263 264 272 274 276 278 281 284 287 288 290 292 295 300 303 309 310 311 315 318 321 323 325 327 329 330 337 344 347 348 355 362 364 366 372 373 379 381 385 386 388 390 394 403 a 3 6 7 10 11 16 17 20 23 24 25 26 29 33 34 35 38 44 55 57 58 59 62 64 67 69 76 79 82 83 85 86 93 98 99 101 103 104 105 110 111 114 116 120 127 129 145 146 150 156 164 168 169 170 176 183 187 189 192 196 197 198 200 203 204 212 220 221 223 224 228 229 230 233 237 242 243 246 249 250 251 252 253 257 259 262 263 272 274 276 278 281 284 287 288 290 292 295 300 303 309 310 311 315 318 321 323 325 327 329 330 337 344 347 348 355 362 364 366 372 373 379 381 385 386 388 390 394 403 a 3 6 7 10 11 16 17 20 23 24 25 26 29 33 34 35 38 44 55 57 58 59 62 64 67 69 76 79 80 82 83 85 86 93 99 101 103 104 105 110 111 114 116 120 127 129 145 146 150 156 164 168 169 170 176 183 187 189 192 196 197 198 200 203 204 212 220 221 223 224 228 229 230 233 237 242 243 246 249 250 251 252 253 257 259 262 263 272 274 276 278 281 284 287 288 290 292 295 300 303 309 310 311 315 318 321 323 325 327 329 330 337 344 347 348 355 362 364 366 372 373 379 381 385 386 388 390 394 403 a 3 6 7 10 11 16 17 20 23 24 25 26 29 33 34 35 38 44 55 57 58 59 62 64 67 69 76 79 80 82 83 85 86 93 99 101 103 104 105 110 111 114 116 120 127 129 145 146 150 156 160 164 168 169 170 176 183 187 189 192 196 197 198 200 203 204 212 220 221 223 224 228 229 230 233 237 242 243 246 249 250 251 252 253 257 259 262 263 272 274 276 278 281 284 287 288 290 292 295 300 303 309 310 311 315 318 321 323 325 327 329 330 337 344 347 348 355 362 364 366 372 373 379 381 385 386 388 390 403 a 3 6 7 10 11 16 17 20 23 24 25 26 29 33 34 35 38 44 55 57 58 59 62 64 67 69 76 79 80 82 83 85 86 93 99 101 103 104 105 110 111 114 116 118 120 127 129 146 150 156 160 164 168 169 170 176 183 187 189 192 196 197 198 200 203 204 212 220 221 223 224 228 229 230 233 237 242 243 246 249 250 251 252 253 257 259 262 263 272 274 276 278 281 284 287 288 290 292 295 300 303 309 310 311 315 318 321 323 325 327 329 330 337 344 347 348 355 362 364 366 372 373 379 381 385 386 388 390 403 a 3 6 7 10 11 16 17 20 23 24 25 26 29 33 34 35 38 44 55 57 59 62 64 67 69 76 79 80 82 83 85 86 93 99 101 103 104 105 110 111 114 116 118 120 127 129 146 150 156 160 164 168 169 170 176 183 187 188 189 192 196 197 198 200 203 204 212 220 221 223 224 228 229 230 233 237 242 243 246 249 250 251 252 253 257 259 262 263 272 274 276 278 281 284 287 288 290 292 295 300 303 309 310 311 315 318 321 323 325 327 329 330 337 344 347 348 355 362 364 366 372 373 379 381 385 386 388 390 403 a 3 6 7 10 11 16 17 20 23 24 25 26 29 33 34 35 38 44 55 57 59 62 64 67 69 76 79 80 82 83 85 86 93 99 101 103 104 105 110 111 114 116 118 120 127 129 146 150 156 160 164 168 169 170 176 183 187 188 189 192 196 197 198 200 203 204 212 220 221 223 224 228 229 230 233 237 242 243 246 249 250 251 252 253 257 259 262 263 272 274 276 278 281 284 287 288 290 292 294 300 303 309 310 311 315 318 321 323 325 327 329 330 337 344 347 348 355 362 364 366 372 373 379 381 385 386 388 390 403 a 3 6 7 10 11 16 17 20 23 24 25 26 29 33 34 35 38 44 55 57 59 62 64 67 69 76 79 80 82 83 85 86 93 99 101 103 104 105 110 111 114 116 118 120 127 129 146 150 156 160 164 168 169 170 176 183 187 188 189 192 196 197 198 200 203 204 212 220 221 223 224 228 229 230 233 237 243 246 249 250 251 252 253 257 259 262 263 272 274 276 278 281 284 287 288 290 292 294 299 300 303 309 310 311 315 318 321 323 325 327 329 330 337 344 347 348 355 362 364 366 372 373 379 381 385 386 388 390 403 a 3 6 7 10 11 16 17 20 23 24 25 26 29 33 34 35 38 44 55 57 59 62 64 67 69 76 79 80 82 83 85 86 93 99 101 103 104 105 110 111 114 116 118 120 127 129 146 150 156 160 164 168 169 170 176 180 183 187 188 189 192 196 197 198 200 203 204 212 220 221 223 224 228 229 230 233 237 243 246 249 250 251 252 253 257 259 262 272 274 276 278 281 284 287 288 290 292 294 299 300 303 309 310 311 315 318 321 323 325 327 329 330 337 344 347 348 355 362 364 366 372 373 379 381 385 386 388 390 403 a 3 6 7 10 11 16 17 20 23 24 25 26 29 33 34 35 38 44 55 57 59 62 64 67 69 76 79 80 82 83 85 86 93 99 101 103 104 105 110 111 114 116 118 120 127 129 146 150 156 160 168 169 170 176 180 183 187 188 189 192 194 196 197 198 200 203 204 212 220 221 223 224 228 229 230 233 237 243 246 249 250 251 252 253 257 259 262 272 274 276 278 281 284 287 288 290 292 294 299 300 303 309 310 311 315 318 321 323 325 327 329 330 337 344 347 348 355 362 364 366 372 373 379 381 385 386 388 390 403 a 3 6 7 10 11 16 17 20 23 24 25 26 29 33 34 35 38 44 55 57 59 62 64 67 69 76 79 80 82 83 85 86 93 99 101 103 104 105 110 111 114 116 118 120 127 129 146 150 156 160 167 168 169 170 176 180 183 187 188 189 192 194 196 197 198 200 203 204 212 220 221 223 224 228 229 230 233 237 243 246 249 250 251 253 257 259 262 272 274 276 278 281 284 287 288 290 292 294 299 300 303 309 310 311 315 318 321 323 325 327 329 330 337 344 347 348 355 362 364 366 372 373 379 381 385 386 388 390 403 a 3 6 7 10 11 16 17 20 23 24 25 26 29 33 34 35 38 44 55 57 59 62 64 67 69 76 79 80 82 83 85 86 93 99 101 103 104 105 110 111 114 116 118 120 122 127 129 146 150 156 160 167 168 169 170 176 180 183 187 188 189 192 194 196 197 198 200 203 204 212 220 221 223 224 228 230 233 237 243 246 249 250 251 253 257 259 262 272 274 276 278 281 284 287 288 290 292 294 299 300 303 309 310 311 315 318 321 323 325 327 329 330 337 344 347 348 355 362 364 366 372 373 379 381 385 386 388 390 403 a 3 6 7 10 11 16 17 20 23 24 25 26 29 33 34 35 38 44 55 57 59 62 64 67 69 76 79 80 82 83 85 86 93 99 101 103 104 110 111 114 116 118 120 122 127 129 146 150 156 160 167 168 169 170 176 180 183 187 188 189 192 194 196 197 198 200 201 203 204 212 220 221 223 224 228 230 233 237 243 246 249 250 251 253 257 259 262 272 274 276 278 281 284 287 288 290 292 294 299 300 303 309 310 311 315 318 321 323 325 327 329 330 337 344 347 348 355 362 364 366 372 373 379 381 385 386 388 390 403 a 3 6 7 10 11 16 17 20 23 24 25 26 29 33 34 35 38 44 55 57 59 62 64 67 69 76 79 80 82 83 85 86 93 99 101 103 104 110 111 114 116 118 120 122 127 129 146 150 156 160 167 168 169 176 180 183 187 188 189 192 194 196 197 198 200 201 203 204 212 220 221 223 224 228 230 233 237 243 246 249 250 251 253 257 259 262 272 274 276 278 281 284 287 288 290 292 294 299 300 303 309 310 311 315 318 321 323 325 327 329 330 334 337 344 347 348 355 362 364 366 372 373 379 381 385 386 388 390 403 a 3 6 7 10 11 16 17 20 23 24 25 26 29 33 34 35 38 44 55 57 59 62 64 67 69 76 79 80 82 83 85 86 93 99 101 103 104 110 111 114 116 118 120 122 127 129 146 150 156 160 167 168 169 176 180 183 187 188 189 192 194 196 197 198 200 201 203 204 212 220 221 223 224 228 230 233 243 246 249 250 251 253 257 259 262 272 274 276 278 281 283 284 287 288 290 292 294 299 300 303 309 310 311 315 318 321 323 325 327 329 330 334 337 344 347 348 355 362 364 366 372 373 379 381 385 386 388 390 403 a 3 6 7 10 11 16 17 20 23 24 25 26 29 33 34 35 38 44 55 57 59 62 64 67 69 76 79 80 82 83 85 86 93 99 101 103 104 110 111 114 116 118 120 122 127 129 146 150 156 160 167 168 169 176 180 183 187 188 189 192 194 196 197 198 200 201 203 204 212 220 221 223 224 228 230 233 243 246 249 250 251 253 257 259 262 272 274 276 278 281 283 284 287 288 290 291 292 294 299 300 303 309 310 311 315 318 321 323 325 327 329 330 334 337 344 347 348 355 364 366 372 373 379 381 385 386 388 390 403 a 3 6 7 10 11 16 17 20 23 24 25 26 33 34 35 38 44 55 57 59 62 64 67 69 76 79 80 82 83 85 86 93 99 101 103 104 110 111 114 116 118 120 122 127 129 146 150 156 160 167 168 169 176 180 183 187 188 189 192 194 196 197 198 200 201 203 204 212 220 221 223 224 228 230 233 243 246 249 250 251 253 257 259 262 272 274 276 278 281 283 284 287 288 290 291 292 294 299 300 303 309 310 311 315 318 321 323 325 327 329 330 334 337 343 344 347 348 355 364 366 372 373 379 381 385 386 388 390 403 a 3 6 7 10 11 16 17 20 23 24 25 26 33 34 35 38 44 55 57 59 62 64 67 69 76 79 80 82 83 85 86 93 99 101 103 104 110 111 114 116 118 120 122 127 129 150 156 160 167 168 169 176 180 183 187 188 189 192 194 196 197 198 200 201 203 204 212 220 221 223 224 228 230 233 243 246 249 250 251 253 257 259 262 272 274 276 278 281 283 284 287 288 290 291 292 294 299 300 303 309 310 311 315 318 321 323 325 327 329 330 331 334 337 343 344 347 348 355 364 366 372 373 379 381 385 386 388 390 403 a 3 6 7 10 11 16 17 20 23 24 25 26 33 34 35 38 44 55 57 59 62 64 67 69 76 79 80 82 83 85 86 93 99 101 103 104 110 111 114 116 118 120 122 127 129 150 156 160 167 168 169 176 180 183 187 188 189 192 194 196 197 198 200 201 203 204 212 220 221 223 224 228 230 233 243 246 249 250 251 253 259 262 272 274 276 278 281 283 284 287 288 290 291 292 294 299 300 303 309 310 311 315 318 321 323 325 327 329 330 331 334 337 343 344 347 348 351 355 364 366 372 373 379 381 385 386 388 390 403 a 3 6 7 10 11 16 17 20 23 24 25 26 33 34 35 38 44 55 57 59 62 64 67 69 76 79 80 82 83 85 86 93 99 101 103 104 110 111 114 115 116 118 120 122 127 129 150 156 160 167 168 169 176 180 183 187 188 189 192 194 196 197 198 200 201 203 204 212 220 221 223 224 228 230 233 243 246 249 250 251 253 259 262 272 274 276 278 281 283 284 287 288 290 291 292 294 299 300 303 309 310 311 315 318 321 323 325 327 329 330 331 334 337 343 347 348 351 355 364 366 372 373 379 381 385 386 388 390 403 a 3 6 7 10 11 16 17 20 23 24 25 26 34 35 38 44 55 57 59 62 63 64 67 69 76 79 80 82 83 85 86 93 99 101 103 104 110 111 114 115 116 118 120 122 127 129 150 156 160 167 168 169 176 180 183 187 188 189 192 194 196 197 198 200 201 203 204 212 220 221 223 224 228 230 233 243 246 249 250 251 253 259 262 272 274 276 278 281 283 284 287 288 290 291 292 294 299 300 303 309 310 311 315 318 321 323 325 327 329 330 331 334 337 343 347 348 351 355 364 366 372 373 379 381 385 386 388 390 403 a 3 6 7 10 11 16 17 20 23 24 25 26 34 35 38 44 57 59 62 63 64 67 69 76 79 80 82 83 85 86 93 99 101 103 104 110 111 114 115 116 118 120 122 127 129 130 150 156 160 167 168 169 176 180 183 187 188 189 192 194 196 197 198 200 201 203 204 212 220 221 223 224 228 230 233 243 246 249 250 251 253 259 262 272 274 276 278 281 283 284 287 288 290 291 292 294 299 300 303 309 310 311 315 318 321 323 325 327 329 330 331 334 337 343 347 348 351 355 364 366 372 373 379 381 385 386 388 390 403 a 3 6 7 10 11 16 17 20 23 24 25 26 34 35 38 44 57 59 62 63 64 67 69 76 79 80 82 83 85 86 93 99 101 103 104 110 111 114 115 116 118 120 122 127 129 130 150 156 160 167 168 169 176 180 183 187 188 189 192 194 196 197 198 200 201 203 204 212 220 221 223 224 228 230 233 243 246 249 250 251 253 259 262 272 274 276 278 283 284 287 288 290 291 292 294 299 300 303 309 310 311 315 318 321 323 325 327 329 330 331 334 337 343 347 348 351 355 361 364 366 372 373 379 381 385 386 388 390 403 a 3 6 7 10 11 16 17 20 23 24 25 26 34 35 38 44 57 59 62 63 64 67 69 76 79 80 82 83 85 86 93 99 101 103 104 110 111 115 116 118 120 122 127 129 130 150 156 160 167 168 169 176 180 183 187 188 189 192 194 196 197 198 200 201 203 204 212 220 221 223 224 228 230 233 243 246 249 250 251 253 259 262 272 274 276 278 283 284 287 288 290 291 292 294 299 300 303 309 310 311 315 318 321 323 325 327 329 330 331 334 337 343 346 347 348 351 355 361 364 366 372 373 379 381 385 386 388 390 403 a 3 6 7 10 11 16 17 20 23 24 25 26 34 35 38 44 57 59 62 63 64 67 69 76 79 80 82 83 85 86 93 99 101 103 104 110 111 115 116 118 120 122 127 129 130 150 156 160 167 168 169 176 180 183 187 188 192 194 196 197 198 200 201 203 204 212 220 221 223 224 228 230 232 233 243 246 249 250 251 253 259 262 272 274 276 278 283 284 287 288 290 291 292 294 299 300 303 309 310 311 315 318 321 323 325 327 329 330 331 334 337 343 346 347 348 351 355 361 364 366 372 373 379 381 385 386 388 390 403 a 3 5 6 7 10 11 16 17 20 23 24 25 26 34 35 38 44 57 59 62 63 64 67 69 76 79 80 82 83 85 86 93 99 101 103 104 110 111 115 116 118 120 122 127 129 130 150 156 160 167 168 169 176 180 183 187 188 192 194 196 197 198 200 201 203 204 212 220 221 223 224 228 230 232 233 243 246 249 250 251 253 259 262 272 276 278 283 284 287 288 290 291 292 294 299 300 303 309 310 311 315 318 321 323 325 327 329 330 331 334 337 343 346 347 348 351 355 361 364 366 372 373 379 381 385 386 388 390 403 a 3 5 6 7 10 11 16 17 20 23 24 25 26 34 35 38 44 57 59 62 63 64 67 69 76 79 80 82 83 85 86 93 99 101 103 104 110 111 115 116 118 120 122 127 129 130 150 156 160 167 168 169 180 183 187 188 192 194 196 197 198 200 201 203 204 212 220 221 223 224 228 230 232 233 243 246 249 250 251 253 259 262 272 276 278 283 284 287 288 290 291 292 294 299 300 303 309 310 311 315 318 321 323 325 327 329 330 331 334 337 343 346 347 348 351 355 361 364 366 372 373 379 381 382 385 386 388 390 403 a 3 5 6 7 10 11 16 17 20 23 24 25 26 34 35 38 44 57 59 62 63 64 67 69 76 79 80 82 83 85 86 93 99 101 103 104 110 111 115 116 118 120 122 127 129 130 150 153 156 160 167 168 169 180 183 187 188 192 194 196 197 198 200 201 203 204 212 220 221 223 224 228 230 232 233 243 246 249 250 253 259 262 272 276 278 283 284 287 288 290 291 292 294 299 300 303 309 310 311 315 318 321 323 325 327 329 330 331 334 337 343 346 347 348 351 355 361 364 366 372 373 379 381 382 385 386 388 390 403 c Step: 76 Command being timed: "python3 run_3.py --shortest /benchmark/random_instance/random_instance031_graph001.col /benchmark/random_instance/random_instance031_graph001_01.dat" User time (seconds): 3.45 System time (seconds): 0.14 Percent of CPU this job got: 99% Elapsed (wall clock) time (h:mm:ss or m:ss): 0:03.60 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): 132216 Average resident set size (kbytes): 0 Major (requiring I/O) page faults: 0 Minor (reclaiming a frame) page faults: 150095 Voluntary context switches: 19 Involuntary context switches: 21 Swaps: 0 File system inputs: 0 File system outputs: 504 Socket messages sent: 0 Socket messages received: 0 Signals delivered: 0 Page size (bytes): 4096 Exit status: 0 #END: [Mon Sep 4 15:07:28 2023]