#BEGIN: [Mon Sep 4 15:07:33 2023] #HOST: s15 #TIMELIMIT: 1800 #MEMLIMIT: 0 #SOLVER: shortest-wallclock-banbaralab2-shortest1 #INSTANCE1: /benchmark/random_instance/random_instance032_graph003.col #INSTANCE2: /benchmark/random_instance/random_instance032_graph003_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_graph003.col /benchmark/random_instance/random_instance032_graph003_01.dat c /benchmark/random_instance/random_instance032_graph003.col c /benchmark/random_instance/random_instance032_graph003_01.dat s 367 191 272 387 164 359 336 261 319 135 268 300 361 138 166 6 15 210 128 325 392 263 156 355 30 350 46 54 317 371 354 176 344 208 368 177 285 181 230 83 377 24 353 180 205 409 232 122 271 131 117 127 22 44 125 91 270 20 225 233 274 69 186 155 7 161 183 84 362 112 200 329 314 26 384 132 75 410 40 50 401 391 227 162 244 94 316 73 65 235 204 151 47 18 352 326 38 255 284 37 107 39 207 351 335 247 90 136 110 163 251 189 119 310 9 59 179 120 331 61 33 154 109 321 85 416 198 257 309 t 165 47 34 265 243 184 102 85 215 154 26 254 140 61 40 4 9 392 369 242 80 259 223 270 217 349 170 412 150 70 3 250 30 83 7 294 71 79 183 89 81 262 310 122 293 346 249 355 151 226 379 202 261 271 139 408 413 272 332 177 220 213 411 239 251 286 368 131 125 324 416 91 301 134 124 344 62 247 92 295 161 415 159 58 374 296 302 273 147 176 37 175 104 119 94 266 377 284 179 230 371 308 162 210 245 203 233 227 18 235 76 282 354 323 334 82 59 31 194 198 22 257 240 335 73 292 90 173 199 a YES a 6 7 9 15 18 20 22 24 26 30 33 37 38 39 40 44 46 47 50 54 59 61 65 69 73 75 83 84 85 90 91 94 107 109 110 112 117 119 120 122 125 127 128 131 132 135 136 138 151 154 155 156 161 162 163 164 166 176 177 179 180 181 183 186 189 191 198 200 204 205 207 208 210 225 227 230 232 233 235 244 247 251 255 257 261 263 268 270 271 272 274 284 285 300 309 310 314 316 317 319 321 325 326 329 331 335 336 344 350 351 352 353 354 355 359 361 362 367 368 371 377 384 387 391 392 401 409 410 416 a 6 7 9 15 18 20 22 24 26 30 33 37 38 39 40 44 46 47 50 54 59 61 65 69 73 75 83 84 85 90 91 94 107 109 110 112 117 119 120 122 125 127 128 131 132 135 136 138 151 154 155 156 161 162 163 164 166 176 177 179 180 181 183 186 189 191 198 200 204 205 207 208 210 215 225 227 230 232 233 235 244 247 251 255 257 261 263 268 270 271 272 274 284 285 300 309 310 314 316 317 319 321 325 326 329 331 335 336 344 350 351 352 353 354 355 359 361 367 368 371 377 384 387 391 392 401 409 410 416 a 6 7 9 15 18 20 22 24 26 30 33 37 38 39 40 44 46 47 50 54 59 61 65 69 73 75 83 84 85 90 91 94 107 109 110 112 117 119 120 122 125 127 128 131 132 135 136 138 151 154 155 156 161 162 163 164 166 176 177 179 180 181 183 186 189 191 198 200 204 205 207 208 210 215 225 227 230 232 233 235 244 247 251 255 257 261 263 268 270 271 272 274 284 285 300 309 310 314 316 317 319 321 325 326 329 331 335 336 344 349 350 351 352 353 354 355 359 361 367 368 371 377 384 387 391 392 401 410 416 a 6 7 9 15 18 20 22 24 26 30 33 37 38 39 40 44 46 47 50 54 59 61 65 69 73 75 83 84 85 90 91 94 107 109 110 112 117 119 120 122 125 127 128 131 132 135 136 138 151 154 155 156 161 162 163 164 176 177 179 180 181 183 186 189 191 198 200 204 205 207 208 210 215 225 227 230 232 233 235 244 247 251 255 257 261 263 268 270 271 272 274 284 285 292 300 309 310 314 316 317 319 321 325 326 329 331 335 336 344 349 350 351 352 353 354 355 359 361 367 368 371 377 384 387 391 392 401 410 416 a 6 7 9 15 18 20 22 24 26 30 33 37 38 39 40 44 46 47 50 54 59 61 65 69 73 75 83 84 85 90 91 94 107 109 110 112 117 119 120 122 125 127 128 131 132 135 136 138 151 154 155 156 161 162 163 164 176 177 179 180 181 183 186 189 191 198 200 204 205 207 208 210 215 225 227 230 232 233 235 244 247 251 255 257 261 263 268 270 271 272 273 274 284 285 292 300 309 310 314 316 317 319 321 325 326 329 331 335 336 344 349 350 351 352 353 354 355 361 367 368 371 377 384 387 391 392 401 410 416 a 6 7 9 15 18 20 22 24 26 30 33 37 38 39 40 44 46 47 50 54 59 61 65 69 73 75 81 83 84 85 90 91 94 107 109 110 112 117 119 120 122 125 127 128 131 132 135 136 138 151 154 155 156 161 162 163 164 176 177 179 180 181 183 186 189 191 198 200 204 205 207 208 210 215 225 227 230 232 233 235 244 247 251 257 261 263 268 270 271 272 273 274 284 285 292 300 309 310 314 316 317 319 321 325 326 329 331 335 336 344 349 350 351 352 353 354 355 361 367 368 371 377 384 387 391 392 401 410 416 a 6 7 9 15 18 20 22 24 26 30 33 37 38 39 40 44 46 47 50 54 59 61 65 69 73 75 81 83 84 85 90 91 94 107 109 110 112 117 119 120 122 125 127 128 131 132 135 136 138 151 154 155 156 161 162 163 164 176 177 179 180 181 183 186 189 191 198 200 204 205 208 210 215 225 227 230 232 233 235 244 247 251 257 261 263 268 270 271 272 273 274 284 285 292 300 302 309 310 314 316 317 319 321 325 326 329 331 335 336 344 349 350 351 352 353 354 355 361 367 368 371 377 384 387 391 392 401 410 416 a 6 7 9 15 18 20 22 24 26 30 33 37 38 39 40 44 46 47 50 54 59 61 65 69 73 75 81 83 84 85 90 91 94 107 109 110 112 117 119 120 122 125 127 128 131 132 135 136 138 151 154 155 156 161 162 163 164 176 177 179 180 181 183 186 189 191 198 200 204 205 208 210 215 225 227 230 232 233 235 244 247 251 257 261 263 268 270 271 272 273 274 284 285 292 302 309 310 314 316 317 319 321 325 326 329 331 335 336 344 349 350 351 352 353 354 355 361 367 368 371 377 384 387 391 392 401 410 413 416 a 6 7 9 15 18 20 22 24 26 30 33 37 38 39 40 44 47 50 54 59 61 65 69 73 75 81 83 84 85 89 90 91 94 107 109 110 112 117 119 120 122 125 127 128 131 132 135 136 138 151 154 155 156 161 162 163 164 176 177 179 180 181 183 186 189 191 198 200 204 205 208 210 215 225 227 230 232 233 235 244 247 251 257 261 263 268 270 271 272 273 274 284 285 292 302 309 310 314 316 317 319 321 325 326 329 331 335 336 344 349 350 351 352 353 354 355 361 367 368 371 377 384 387 391 392 401 410 413 416 a 4 6 7 9 15 18 20 22 24 26 30 33 37 38 39 40 44 47 50 54 59 61 65 69 73 75 81 83 84 85 89 90 91 94 107 109 110 112 117 119 120 122 125 127 128 131 132 135 136 138 151 154 155 156 161 162 163 164 176 177 179 180 181 183 186 189 198 200 204 205 208 210 215 225 227 230 232 233 235 244 247 251 257 261 263 268 270 271 272 273 274 284 285 292 302 309 310 314 316 317 319 321 325 326 329 331 335 336 344 349 350 351 352 353 354 355 361 367 368 371 377 384 387 391 392 401 410 413 416 a 4 6 7 9 15 18 20 22 24 26 30 33 37 38 39 40 44 47 50 54 59 61 65 69 73 75 81 83 84 85 89 90 91 94 107 109 110 112 117 119 120 122 125 127 128 131 132 135 136 138 151 154 155 156 161 162 163 164 176 177 179 180 181 183 186 189 198 200 204 205 208 210 215 225 227 230 232 233 235 247 251 257 261 263 268 270 271 272 273 274 284 285 292 302 309 310 314 316 317 319 321 325 326 329 331 332 335 336 344 349 350 351 352 353 354 355 361 367 368 371 377 384 387 391 392 401 410 413 416 a 4 6 7 9 15 18 20 22 24 26 30 33 37 38 39 40 44 47 50 59 61 65 69 73 75 81 83 84 85 89 90 91 94 107 109 110 112 117 119 120 122 125 127 128 131 132 135 136 138 151 154 155 156 161 162 163 164 176 177 179 180 181 183 186 189 198 200 203 204 205 208 210 215 225 227 230 232 233 235 247 251 257 261 263 268 270 271 272 273 274 284 285 292 302 309 310 314 316 317 319 321 325 326 329 331 332 335 336 344 349 350 351 352 353 354 355 361 367 368 371 377 384 387 391 392 401 410 413 416 a 4 6 7 9 15 18 20 22 24 26 30 33 37 38 39 40 44 47 50 59 61 65 69 73 75 81 83 84 85 89 90 91 94 107 109 110 112 117 119 120 122 125 127 128 131 132 135 136 138 151 154 155 156 161 162 163 164 176 177 179 180 181 183 186 189 198 200 203 204 208 210 215 225 227 230 232 233 235 247 251 257 261 263 266 268 270 271 272 273 274 284 285 292 302 309 310 314 316 317 319 321 325 326 329 331 332 335 336 344 349 350 351 352 353 354 355 361 367 368 371 377 384 387 391 392 401 410 413 416 a 4 6 7 9 15 18 20 22 24 26 30 33 37 38 39 40 44 47 50 59 61 65 69 73 75 81 83 84 85 89 90 91 94 107 109 110 112 117 119 120 122 125 127 128 131 132 135 136 138 151 154 155 156 161 162 163 164 175 176 177 179 180 181 183 186 189 198 200 203 204 208 210 215 225 227 230 232 233 235 247 251 257 261 263 266 270 271 272 273 274 284 285 292 302 309 310 314 316 317 319 321 325 326 329 331 332 335 336 344 349 350 351 352 353 354 355 361 367 368 371 377 384 387 391 392 401 410 413 416 a 4 6 7 9 15 18 20 22 24 26 30 33 37 38 39 40 44 47 59 61 65 69 73 75 81 83 84 85 89 90 91 94 107 109 110 112 117 119 120 122 125 127 128 131 132 135 136 138 151 154 155 156 161 162 163 164 175 176 177 179 180 181 183 186 189 198 200 203 204 208 210 215 225 227 230 232 233 235 247 251 257 261 263 266 270 271 272 273 274 282 284 285 292 302 309 310 314 316 317 319 321 325 326 329 331 332 335 336 344 349 350 351 352 353 354 355 361 367 368 371 377 384 387 391 392 401 410 413 416 a 4 6 7 9 15 18 20 22 24 26 30 33 37 38 39 40 44 47 59 61 65 69 73 75 81 83 84 85 89 90 91 94 107 109 110 112 117 119 120 122 125 127 128 131 132 135 136 138 139 151 154 155 156 161 162 163 164 175 176 177 179 180 181 183 186 189 198 200 203 204 208 210 215 225 227 230 232 233 235 247 251 257 261 263 266 270 271 272 273 274 282 284 285 292 302 309 310 314 316 317 319 321 325 326 329 331 332 335 336 344 349 350 351 352 353 354 355 367 368 371 377 384 387 391 392 401 410 413 416 a 4 6 7 9 15 18 20 22 24 26 30 33 37 38 39 40 44 47 59 61 65 69 73 75 81 83 84 85 89 90 91 94 107 109 110 112 117 119 120 122 125 127 128 131 132 135 136 138 139 151 154 155 161 162 163 164 175 176 177 179 180 181 183 186 189 198 200 203 204 208 210 215 225 227 230 232 233 235 247 251 257 261 263 266 270 271 272 273 274 282 284 285 292 293 302 309 310 314 316 317 319 321 325 326 329 331 332 335 336 344 349 350 351 352 353 354 355 367 368 371 377 384 387 391 392 401 410 413 416 a 4 6 7 9 15 18 20 22 24 26 30 33 37 38 40 44 47 59 61 65 69 73 75 81 83 84 85 89 90 91 92 94 107 109 110 112 117 119 120 122 125 127 128 131 132 135 136 138 139 151 154 155 161 162 163 164 175 176 177 179 180 181 183 186 189 198 200 203 204 208 210 215 225 227 230 232 233 235 247 251 257 261 263 266 270 271 272 273 274 282 284 285 292 293 302 309 310 314 316 317 319 321 325 326 329 331 332 335 336 344 349 350 351 352 353 354 355 367 368 371 377 384 387 391 392 401 410 413 416 a 4 6 7 9 15 18 20 22 24 26 30 33 37 38 40 44 47 59 61 65 69 73 75 81 83 84 85 89 90 91 92 94 107 109 110 112 117 119 120 122 125 127 128 131 132 135 136 138 139 151 154 155 161 162 163 164 175 176 177 179 180 181 183 186 189 198 200 203 204 208 210 215 225 227 230 232 233 235 247 251 257 261 263 265 266 270 271 272 273 274 282 284 285 292 293 302 309 310 314 316 317 319 321 326 329 331 332 335 336 344 349 350 351 352 353 354 355 367 368 371 377 384 387 391 392 401 410 413 416 a 4 6 7 9 15 18 20 22 24 26 30 33 37 38 40 44 47 59 61 65 69 73 75 81 83 84 85 89 90 91 92 94 107 109 110 112 117 119 120 122 125 127 128 131 132 135 136 138 139 150 151 154 155 161 162 164 175 176 177 179 180 181 183 186 189 198 200 203 204 208 210 215 225 227 230 232 233 235 247 251 257 261 263 265 266 270 271 272 273 274 282 284 285 292 293 302 309 310 314 316 317 319 321 326 329 331 332 335 336 344 349 350 351 352 353 354 355 367 368 371 377 384 387 391 392 401 410 413 416 a 4 6 7 9 15 18 22 24 26 30 33 37 38 40 44 47 59 61 65 69 73 75 81 83 84 85 89 90 91 92 94 107 109 110 112 117 119 120 122 125 127 128 131 132 135 136 138 139 150 151 154 155 161 162 164 175 176 177 179 180 181 183 186 189 198 200 202 203 204 208 210 215 225 227 230 232 233 235 247 251 257 261 263 265 266 270 271 272 273 274 282 284 285 292 293 302 309 310 314 316 317 319 321 326 329 331 332 335 336 344 349 350 351 352 353 354 355 367 368 371 377 384 387 391 392 401 410 413 416 a 4 6 7 9 15 18 22 24 26 30 33 37 38 40 44 47 59 61 65 69 73 75 80 81 83 84 85 89 90 91 92 94 107 109 110 112 117 119 120 122 125 127 128 131 132 135 136 138 139 150 151 154 155 161 162 164 175 176 177 179 180 181 183 186 189 198 200 202 203 204 208 210 215 225 227 230 232 233 235 247 251 257 261 263 265 266 270 271 272 273 274 282 284 285 292 293 302 309 310 314 316 317 319 321 326 329 331 332 335 336 344 349 350 351 352 353 354 355 367 368 371 377 387 391 392 401 410 413 416 a 4 6 7 9 15 18 22 24 26 30 33 37 38 40 44 47 59 61 65 69 73 75 80 81 83 84 85 89 90 91 92 94 107 109 110 112 117 119 120 122 125 127 128 131 132 135 136 138 139 150 151 154 155 161 162 164 175 176 177 179 180 181 183 186 189 194 198 200 202 203 204 208 210 215 225 227 230 232 233 235 247 251 257 261 263 265 266 270 271 272 273 274 282 284 285 292 293 302 309 310 316 317 319 321 326 329 331 332 335 336 344 349 350 351 352 353 354 355 367 368 371 377 387 391 392 401 410 413 416 a 4 6 7 9 15 18 22 24 26 30 33 37 38 40 44 47 59 61 65 69 73 75 80 81 83 84 85 89 90 91 92 94 107 109 110 112 117 119 120 122 125 127 128 131 132 135 136 138 139 150 151 154 155 161 162 164 175 176 177 179 180 181 183 186 189 194 198 200 202 203 204 208 210 215 225 227 230 232 233 235 247 251 257 261 263 265 266 270 271 272 273 274 282 284 285 292 293 302 309 310 317 319 321 326 329 331 332 335 336 344 349 350 351 352 353 354 355 367 368 369 371 377 387 391 392 401 410 413 416 a 4 6 7 9 15 18 22 24 26 30 33 37 38 40 44 47 59 61 65 69 73 75 80 81 83 84 85 89 90 91 92 94 107 109 110 112 117 119 120 122 125 127 128 131 132 135 136 138 139 150 151 154 155 161 162 164 175 176 177 179 180 181 183 186 189 194 198 200 202 203 208 210 215 225 227 230 232 233 235 247 251 257 261 263 265 266 270 271 272 273 274 282 284 285 292 293 294 302 309 310 317 319 321 326 329 331 332 335 336 344 349 350 351 352 353 354 355 367 368 369 371 377 387 391 392 401 410 413 416 a 4 6 7 9 15 18 22 24 26 30 33 37 38 40 44 47 59 61 65 69 73 75 80 81 83 84 85 89 90 91 92 94 107 109 110 112 117 119 120 122 125 127 131 132 135 136 138 139 150 151 154 155 161 162 164 175 176 177 179 180 181 183 186 189 194 198 200 202 203 208 210 215 225 227 230 232 233 235 247 251 257 261 263 265 266 270 271 272 273 274 282 284 285 292 293 294 302 309 310 317 319 321 326 329 331 332 335 336 344 349 350 351 352 353 354 355 367 368 369 371 377 387 391 392 401 410 413 415 416 a 4 6 7 9 15 18 22 24 26 30 33 37 38 40 44 47 59 61 65 69 73 75 80 81 83 84 85 89 90 91 92 94 107 109 110 112 117 119 120 122 125 131 132 135 136 138 139 150 151 154 155 161 162 164 175 176 177 179 180 181 183 186 189 194 198 199 200 202 203 208 210 215 225 227 230 232 233 235 247 251 257 261 263 265 266 270 271 272 273 274 282 284 285 292 293 294 302 309 310 317 319 321 326 329 331 332 335 336 344 349 350 351 352 353 354 355 367 368 369 371 377 387 391 392 401 410 413 415 416 a 4 6 7 9 15 18 22 24 26 30 33 37 38 40 44 47 59 61 65 69 73 75 80 81 83 85 89 90 91 92 94 107 109 110 112 117 119 120 122 125 131 132 135 136 138 139 150 151 154 155 161 162 164 170 175 176 177 179 180 181 183 186 189 194 198 199 200 202 203 208 210 215 225 227 230 232 233 235 247 251 257 261 263 265 266 270 271 272 273 274 282 284 285 292 293 294 302 309 310 317 319 321 326 329 331 332 335 336 344 349 350 351 352 353 354 355 367 368 369 371 377 387 391 392 401 410 413 415 416 a 4 6 7 9 15 18 22 24 26 30 33 37 38 40 44 47 59 61 65 69 73 75 80 81 83 85 89 90 91 92 94 107 109 110 112 117 119 120 122 125 131 132 135 136 138 139 150 151 154 155 161 162 164 170 175 176 177 179 181 183 186 189 194 198 199 200 202 203 208 210 215 225 227 230 232 233 235 247 251 257 261 263 265 266 270 271 272 273 274 282 284 285 292 293 294 296 302 309 310 317 319 321 326 329 331 332 335 336 344 349 350 351 352 353 354 355 367 368 369 371 377 387 391 392 401 410 413 415 416 a 4 6 7 9 15 18 22 24 26 30 33 37 38 40 44 47 59 61 65 69 73 75 80 81 83 85 89 90 91 92 94 107 109 110 112 117 119 120 122 125 131 132 135 136 138 139 150 151 154 155 161 162 164 170 175 176 177 179 181 183 186 189 194 198 199 200 202 203 208 210 215 225 227 230 232 233 235 245 247 251 257 261 263 265 266 270 271 272 273 274 282 284 292 293 294 296 302 309 310 317 319 321 326 329 331 332 335 336 344 349 350 351 352 353 354 355 367 368 369 371 377 387 391 392 401 410 413 415 416 a 4 6 7 9 15 18 22 24 26 30 33 37 38 40 44 47 59 61 65 69 73 75 80 81 83 85 89 90 91 92 94 107 109 110 112 117 119 120 122 125 131 132 135 136 138 139 150 151 154 155 161 162 164 170 175 176 177 179 181 183 186 189 194 198 199 200 202 203 208 210 215 225 227 230 232 233 235 245 247 251 257 261 263 265 266 270 271 272 273 274 282 284 292 293 294 296 302 309 310 317 319 321 326 329 331 332 335 336 344 349 351 352 353 354 355 367 368 369 371 374 377 387 391 392 401 410 413 415 416 a 4 6 7 9 15 18 22 24 26 30 33 37 38 40 44 47 59 61 65 69 73 80 81 83 85 89 90 91 92 94 107 109 110 112 117 119 120 122 125 131 132 135 136 138 139 150 151 154 155 161 162 164 170 175 176 177 179 181 183 186 189 194 198 199 200 202 203 208 210 215 220 225 227 230 232 233 235 245 247 251 257 261 263 265 266 270 271 272 273 274 282 284 292 293 294 296 302 309 310 317 319 321 326 329 331 332 335 336 344 349 351 352 353 354 355 367 368 369 371 374 377 387 391 392 401 410 413 415 416 a 4 6 7 9 15 18 22 24 26 30 33 37 38 40 44 47 59 61 65 69 73 80 81 82 83 85 89 90 91 92 94 107 109 110 112 117 119 120 122 125 131 132 135 136 138 139 150 151 154 155 161 162 164 170 175 176 177 179 181 183 186 189 194 198 199 200 202 203 208 210 215 220 225 227 230 232 233 235 245 247 251 257 261 265 266 270 271 272 273 274 282 284 292 293 294 296 302 309 310 317 319 321 326 329 331 332 335 336 344 349 351 352 353 354 355 367 368 369 371 374 377 387 391 392 401 410 413 415 416 a 4 6 7 9 15 18 22 24 26 30 33 37 38 40 44 47 59 61 65 69 73 80 81 82 83 85 89 90 91 92 94 104 107 109 110 112 117 119 120 122 125 131 132 135 136 138 139 150 151 154 155 161 162 164 170 175 176 177 179 181 183 189 194 198 199 200 202 203 208 210 215 220 225 227 230 232 233 235 245 247 251 257 261 265 266 270 271 272 273 274 282 284 292 293 294 296 302 309 310 317 319 321 326 329 331 332 335 336 344 349 351 352 353 354 355 367 368 369 371 374 377 387 391 392 401 410 413 415 416 a 4 6 7 9 15 18 22 24 26 30 33 37 38 40 44 47 59 61 65 69 73 80 81 82 83 85 89 90 91 92 94 104 107 109 110 112 117 119 120 122 125 131 132 135 136 138 139 150 151 154 155 161 162 164 170 175 176 177 179 181 183 189 194 198 199 200 202 203 208 210 215 220 225 227 230 232 233 235 242 245 247 251 257 261 265 266 270 271 272 273 274 282 284 292 293 294 296 302 309 310 317 319 321 326 329 331 332 335 336 344 349 351 352 353 354 355 368 369 371 374 377 387 391 392 401 410 413 415 416 a 4 6 7 9 15 18 22 24 26 30 33 37 38 40 44 47 59 61 65 69 73 80 81 82 83 85 89 90 91 92 94 104 107 109 110 112 117 119 120 122 125 131 132 135 136 138 139 150 151 154 155 161 162 164 170 175 176 177 179 181 183 189 194 198 199 202 203 208 210 215 220 225 227 230 232 233 235 242 245 247 251 257 261 265 266 270 271 272 273 274 282 284 292 293 294 296 302 308 309 310 317 319 321 326 329 331 332 335 336 344 349 351 352 353 354 355 368 369 371 374 377 387 391 392 401 410 413 415 416 a 4 6 7 9 15 18 22 24 26 30 33 37 38 40 44 47 59 61 65 69 73 80 81 82 83 85 89 90 91 92 94 104 107 109 110 112 117 119 120 122 125 131 132 135 136 138 139 150 151 154 155 159 161 162 164 170 175 176 177 179 181 183 189 194 198 199 202 203 208 210 215 220 225 227 230 232 233 235 242 245 247 251 257 261 265 266 270 271 272 273 274 282 284 292 293 294 296 302 308 309 310 317 319 321 326 329 331 332 335 336 344 349 351 352 354 355 368 369 371 374 377 387 391 392 401 410 413 415 416 a 4 6 7 9 15 18 22 24 26 30 33 37 38 40 44 47 59 61 65 69 73 80 81 82 83 85 89 90 91 92 94 104 107 109 110 112 117 119 120 122 125 131 132 135 136 138 139 150 151 154 155 159 161 162 164 170 175 176 177 179 181 183 189 194 198 199 202 203 208 210 215 220 225 227 230 232 233 235 242 245 247 251 257 261 265 266 270 271 272 273 274 282 284 286 292 293 294 296 302 308 309 310 317 319 321 326 329 331 332 335 336 344 349 351 352 354 355 368 369 371 374 377 387 392 401 410 413 415 416 a 4 6 7 9 15 18 22 24 26 30 33 37 38 40 44 47 58 59 61 65 69 73 80 81 82 83 85 89 90 91 92 94 104 107 109 110 112 117 119 120 122 125 131 132 135 136 138 139 150 151 154 155 159 161 162 170 175 176 177 179 181 183 189 194 198 199 202 203 208 210 215 220 225 227 230 232 233 235 242 245 247 251 257 261 265 266 270 271 272 273 274 282 284 286 292 293 294 296 302 308 309 310 317 319 321 326 329 331 332 335 336 344 349 351 352 354 355 368 369 371 374 377 387 392 401 410 413 415 416 a 4 6 7 9 15 18 22 24 26 30 33 37 38 40 44 47 58 59 61 65 69 73 80 81 82 83 85 89 90 91 92 94 104 109 110 112 117 119 120 122 125 131 132 135 136 138 139 150 151 154 155 159 161 162 165 170 175 176 177 179 181 183 189 194 198 199 202 203 208 210 215 220 225 227 230 232 233 235 242 245 247 251 257 261 265 266 270 271 272 273 274 282 284 286 292 293 294 296 302 308 309 310 317 319 321 326 329 331 332 335 336 344 349 351 352 354 355 368 369 371 374 377 387 392 401 410 413 415 416 a 4 6 7 9 18 22 24 26 30 33 37 38 40 44 47 58 59 61 65 69 73 80 81 82 83 85 89 90 91 92 94 104 109 110 112 117 119 120 122 125 131 132 135 136 138 139 150 151 154 155 159 161 162 165 170 175 176 177 179 181 183 189 194 198 199 202 203 208 210 215 220 225 227 230 232 233 235 242 245 247 251 257 261 265 266 270 271 272 273 274 282 284 286 292 293 294 296 302 308 309 310 317 319 321 324 326 329 331 332 335 336 344 349 351 352 354 355 368 369 371 374 377 387 392 401 410 413 415 416 a 4 6 7 9 18 22 24 26 30 33 37 38 40 44 47 58 59 61 65 73 80 81 82 83 85 89 90 91 92 94 104 109 110 112 117 119 120 122 124 125 131 132 135 136 138 139 150 151 154 155 159 161 162 165 170 175 176 177 179 181 183 189 194 198 199 202 203 208 210 215 220 225 227 230 232 233 235 242 245 247 251 257 261 265 266 270 271 272 273 274 282 284 286 292 293 294 296 302 308 309 310 317 319 321 324 326 329 331 332 335 336 344 349 351 352 354 355 368 369 371 374 377 387 392 401 410 413 415 416 a 4 6 7 9 18 22 24 26 30 33 37 38 40 44 47 58 59 61 65 73 80 81 82 83 85 89 90 91 92 94 104 109 110 112 117 119 120 122 124 125 131 132 135 136 138 139 150 151 154 155 159 161 162 165 170 175 176 177 179 181 183 189 194 198 199 202 203 208 210 215 220 225 227 230 232 233 235 242 245 247 251 257 259 261 265 266 270 271 272 273 274 282 284 286 292 293 294 296 302 308 309 310 317 319 321 324 326 329 331 332 335 336 344 349 351 354 355 368 369 371 374 377 387 392 401 410 413 415 416 a 4 6 7 9 18 22 24 26 30 33 37 38 40 44 47 58 59 61 65 73 80 81 82 83 85 89 90 91 92 94 104 109 110 112 117 119 120 122 124 125 131 132 135 136 138 139 150 151 154 155 159 161 162 165 170 175 176 177 179 183 189 194 198 199 202 203 208 210 215 220 225 227 230 232 233 235 242 245 247 251 257 259 261 265 266 270 271 272 273 274 282 284 286 292 293 294 296 302 308 309 310 317 319 321 324 326 329 331 332 335 336 344 346 349 351 354 355 368 369 371 374 377 387 392 401 410 413 415 416 a 4 6 7 9 18 22 24 26 30 33 37 40 44 47 58 59 61 65 73 80 81 82 83 85 89 90 91 92 94 104 109 110 112 117 119 120 122 124 125 131 132 135 136 138 139 150 151 154 155 159 161 162 165 170 175 176 177 179 183 189 194 198 199 202 203 208 210 215 220 223 225 227 230 232 233 235 242 245 247 251 257 259 261 265 266 270 271 272 273 274 282 284 286 292 293 294 296 302 308 309 310 317 319 321 324 326 329 331 332 335 336 344 346 349 351 354 355 368 369 371 374 377 387 392 401 410 413 415 416 a 4 6 7 9 18 22 24 26 30 33 37 40 44 47 58 59 61 65 73 80 81 82 83 85 89 90 91 92 94 104 109 110 112 117 119 120 122 124 125 131 132 135 136 138 139 150 151 154 155 159 161 162 165 170 175 176 177 179 183 189 194 198 199 202 203 208 210 215 220 223 225 227 230 232 233 235 242 245 247 251 254 257 259 261 265 266 270 271 272 273 274 282 284 286 292 293 294 296 302 308 309 310 317 319 321 324 326 329 331 332 335 344 346 349 351 354 355 368 369 371 374 377 387 392 401 410 413 415 416 a 4 6 7 9 18 22 24 26 30 33 37 40 44 47 58 59 61 65 73 80 81 82 83 85 89 90 91 92 94 104 109 110 112 117 119 120 122 124 125 131 132 135 136 138 139 150 151 154 155 159 161 162 165 170 175 176 177 179 183 189 194 198 199 202 203 208 210 215 217 220 223 225 227 230 232 233 235 242 245 247 251 254 257 259 261 265 266 270 271 272 273 274 282 284 286 292 293 294 296 302 308 309 310 317 319 321 324 326 329 331 332 335 344 346 349 354 355 368 369 371 374 377 387 392 401 410 413 415 416 a 4 6 7 9 18 22 24 26 30 33 37 40 47 58 59 61 65 73 80 81 82 83 85 89 90 91 92 94 104 109 110 112 117 119 120 122 124 125 131 132 135 136 138 139 150 151 154 155 159 161 162 165 170 175 176 177 179 183 189 194 198 199 202 203 208 210 215 217 220 223 225 226 227 230 232 233 235 242 245 247 251 254 257 259 261 265 266 270 271 272 273 274 282 284 286 292 293 294 296 302 308 309 310 317 319 321 324 326 329 331 332 335 344 346 349 354 355 368 369 371 374 377 387 392 401 410 413 415 416 a 4 6 7 9 18 22 24 26 30 33 37 40 47 58 59 61 65 73 80 81 82 83 85 89 90 91 92 94 104 109 110 112 117 119 120 122 124 125 131 132 135 136 138 139 150 151 154 155 159 161 162 165 170 175 176 177 179 183 189 194 198 199 202 203 208 210 215 217 220 223 225 226 227 230 232 233 235 242 245 247 249 251 254 257 259 261 265 266 270 271 272 273 274 282 284 286 292 293 294 296 302 308 309 310 317 319 324 326 329 331 332 335 344 346 349 354 355 368 369 371 374 377 387 392 401 410 413 415 416 a 4 6 7 9 18 22 24 26 30 33 37 40 47 58 59 61 73 80 81 82 83 85 89 90 91 92 94 102 104 109 110 112 117 119 120 122 124 125 131 132 135 136 138 139 150 151 154 155 159 161 162 165 170 175 176 177 179 183 189 194 198 199 202 203 208 210 215 217 220 223 225 226 227 230 232 233 235 242 245 247 249 251 254 257 259 261 265 266 270 271 272 273 274 282 284 286 292 293 294 296 302 308 309 310 317 319 324 326 329 331 332 335 344 346 349 354 355 368 369 371 374 377 387 392 401 410 413 415 416 a 4 6 7 9 18 22 24 26 30 33 37 40 47 58 59 61 73 80 81 82 83 85 89 90 91 92 94 102 104 109 110 112 117 119 120 122 124 125 131 132 135 136 138 139 150 151 154 155 159 161 162 165 170 175 176 177 179 183 189 194 198 199 202 203 208 210 213 215 217 220 223 225 226 227 230 232 233 235 242 245 247 249 251 254 257 259 261 265 266 270 271 272 273 274 282 284 286 292 293 294 296 302 308 309 310 317 319 324 326 329 331 332 335 344 346 349 354 355 368 369 371 374 377 387 392 401 413 415 416 a 4 6 7 9 18 22 24 26 30 33 37 40 47 58 59 61 73 80 81 82 83 85 89 90 91 92 94 102 104 109 110 112 117 119 120 122 124 125 131 135 136 138 139 150 151 154 155 159 161 162 165 170 175 176 177 179 183 189 194 198 199 202 203 208 210 213 215 217 220 223 225 226 227 230 232 233 235 242 243 245 247 249 251 254 257 259 261 265 266 270 271 272 273 274 282 284 286 292 293 294 296 302 308 309 310 317 319 324 326 329 331 332 335 344 346 349 354 355 368 369 371 374 377 387 392 401 413 415 416 a 4 6 7 9 18 22 24 26 30 33 37 40 47 58 59 61 73 76 80 81 82 83 85 89 90 91 92 94 102 104 109 110 112 117 119 120 122 124 125 131 135 136 138 139 150 151 154 155 159 161 162 165 170 175 176 177 179 183 189 194 198 199 202 203 208 210 213 215 217 220 223 225 226 227 230 232 233 235 242 243 245 247 249 251 254 257 259 261 265 266 270 271 272 273 274 282 284 286 292 293 294 296 302 308 309 310 319 324 326 329 331 332 335 344 346 349 354 355 368 369 371 374 377 387 392 401 413 415 416 a 4 7 9 18 22 24 26 30 33 37 40 47 58 59 61 70 73 76 80 81 82 83 85 89 90 91 92 94 102 104 109 110 112 117 119 120 122 124 125 131 135 136 138 139 150 151 154 155 159 161 162 165 170 175 176 177 179 183 189 194 198 199 202 203 208 210 213 215 217 220 223 225 226 227 230 232 233 235 242 243 245 247 249 251 254 257 259 261 265 266 270 271 272 273 274 282 284 286 292 293 294 296 302 308 309 310 319 324 326 329 331 332 335 344 346 349 354 355 368 369 371 374 377 387 392 401 413 415 416 a 4 7 9 18 22 24 26 30 33 37 40 47 58 59 61 70 73 76 80 81 82 83 85 89 90 91 92 94 102 104 109 110 112 117 119 120 122 124 125 131 135 136 138 139 150 151 154 155 159 161 162 165 170 175 176 177 179 183 189 194 198 199 202 203 208 210 213 215 217 220 223 225 226 227 230 232 233 235 242 243 245 247 249 251 254 257 259 261 265 266 270 271 272 273 274 282 284 286 292 293 294 296 302 308 309 310 319 324 326 329 331 332 334 335 344 346 349 354 355 368 369 371 374 377 387 392 413 415 416 a 4 7 9 18 22 24 26 30 33 37 40 47 58 59 61 70 73 76 80 81 82 83 85 89 90 91 92 94 102 104 109 110 112 117 119 122 124 125 131 135 136 138 139 150 151 154 155 159 161 162 165 170 175 176 177 179 183 189 194 198 199 202 203 208 210 213 215 217 220 223 225 226 227 230 232 233 235 242 243 245 247 249 251 254 257 259 261 265 266 270 271 272 273 274 282 284 286 292 293 294 296 302 308 309 310 319 323 324 326 329 331 332 334 335 344 346 349 354 355 368 369 371 374 377 387 392 413 415 416 a 4 7 9 18 22 24 26 30 33 37 40 47 58 59 61 70 73 76 80 81 82 83 85 89 90 91 92 94 102 104 109 110 112 117 119 122 124 125 131 135 136 138 139 150 151 154 155 159 161 162 165 170 175 176 177 179 183 189 194 198 199 202 203 208 210 213 215 217 220 223 225 226 227 230 232 233 235 242 243 245 247 249 250 251 254 257 259 261 265 266 270 271 272 273 274 282 284 286 292 293 294 296 302 308 309 310 319 323 324 326 329 332 334 335 344 346 349 354 355 368 369 371 374 377 387 392 413 415 416 a 4 7 9 18 22 24 26 30 33 37 40 47 58 59 61 70 73 76 80 81 82 83 85 89 90 91 92 94 102 104 109 110 112 117 119 122 124 125 131 135 136 138 139 150 151 154 155 159 161 162 165 170 175 176 177 179 183 189 194 198 199 202 203 208 210 213 215 217 220 223 225 226 227 230 232 233 235 242 243 245 247 249 250 251 254 257 259 261 265 266 270 271 272 273 274 282 284 286 292 293 294 296 302 308 310 319 323 324 326 329 332 334 335 344 346 349 354 355 368 369 371 374 377 387 392 411 413 415 416 a 4 7 9 18 22 24 26 30 33 37 40 47 58 59 61 70 73 76 80 81 82 83 85 89 90 91 92 94 102 104 110 112 117 119 122 124 125 131 135 136 138 139 150 151 154 155 159 161 162 165 170 173 175 176 177 179 183 189 194 198 199 202 203 208 210 213 215 217 220 223 225 226 227 230 232 233 235 242 243 245 247 249 250 251 254 257 259 261 265 266 270 271 272 273 274 282 284 286 292 293 294 296 302 308 310 319 323 324 326 329 332 334 335 344 346 349 354 355 368 369 371 374 377 387 392 411 413 415 416 a 4 7 9 18 22 24 26 30 31 33 37 40 47 58 59 61 70 73 76 80 81 82 83 85 89 90 91 92 94 102 104 110 112 117 119 122 124 125 131 135 136 138 139 150 151 154 155 159 161 162 165 170 173 175 176 177 179 183 189 194 198 199 202 203 208 210 213 215 217 220 223 225 226 227 230 232 233 235 242 243 245 247 249 250 251 254 257 259 261 265 266 270 271 272 273 274 282 284 286 292 293 294 296 302 308 310 323 324 326 329 332 334 335 344 346 349 354 355 368 369 371 374 377 387 392 411 413 415 416 a 4 7 9 18 22 24 26 30 31 33 37 40 47 58 59 61 70 73 76 80 81 82 83 85 89 90 91 92 94 102 104 110 112 117 119 122 124 125 131 135 136 138 139 150 151 154 155 159 161 162 165 170 173 175 176 177 179 183 189 194 198 199 202 203 208 210 213 215 217 220 223 226 227 230 232 233 235 242 243 245 247 249 250 251 254 257 259 261 265 266 270 271 272 273 274 282 284 286 292 293 294 296 302 308 310 323 324 326 329 332 334 335 344 346 349 354 355 368 369 371 374 377 387 392 411 412 413 415 416 a 4 7 9 18 22 24 26 30 31 33 37 40 47 58 59 61 70 73 76 80 81 82 83 85 89 90 91 92 94 102 104 110 112 117 119 122 124 125 131 135 136 138 139 150 151 154 159 161 162 165 170 173 175 176 177 179 183 189 194 198 199 202 203 208 210 213 215 217 220 223 226 227 230 232 233 235 242 243 245 247 249 250 251 254 257 259 261 265 266 270 271 272 273 274 282 284 286 292 293 294 296 301 302 308 310 323 324 326 329 332 334 335 344 346 349 354 355 368 369 371 374 377 387 392 411 412 413 415 416 a 4 7 9 18 22 24 26 30 31 33 37 40 47 58 59 61 70 73 76 80 81 82 83 85 89 90 91 92 94 102 104 110 112 117 119 122 124 125 131 135 136 138 139 150 151 154 159 161 162 165 170 173 175 176 177 179 183 189 194 198 199 202 203 208 210 213 215 217 220 223 226 227 230 233 235 239 242 243 245 247 249 250 251 254 257 259 261 265 266 270 271 272 273 274 282 284 286 292 293 294 296 301 302 308 310 323 324 326 329 332 334 335 344 346 349 354 355 368 369 371 374 377 387 392 411 412 413 415 416 a 3 4 7 9 18 22 24 26 30 31 33 37 40 47 58 59 61 70 73 76 80 81 82 83 85 89 90 91 92 94 102 104 112 117 119 122 124 125 131 135 136 138 139 150 151 154 159 161 162 165 170 173 175 176 177 179 183 189 194 198 199 202 203 208 210 213 215 217 220 223 226 227 230 233 235 239 242 243 245 247 249 250 251 254 257 259 261 265 266 270 271 272 273 274 282 284 286 292 293 294 296 301 302 308 310 323 324 326 329 332 334 335 344 346 349 354 355 368 369 371 374 377 387 392 411 412 413 415 416 a 3 4 7 9 18 22 24 26 30 31 33 37 40 47 58 59 61 70 73 76 80 81 82 83 85 89 90 91 92 94 102 104 112 119 122 124 125 131 135 136 138 139 150 151 154 159 161 162 165 170 173 175 176 177 179 183 189 194 198 199 202 203 208 210 213 215 217 220 223 226 227 230 233 235 239 242 243 245 247 249 250 251 254 257 259 261 265 266 270 271 272 273 274 282 284 286 292 293 294 295 296 301 302 308 310 323 324 326 329 332 334 335 344 346 349 354 355 368 369 371 374 377 387 392 411 412 413 415 416 a 3 4 7 9 18 22 24 26 30 31 33 34 37 40 47 58 59 61 70 73 76 80 81 82 83 85 89 90 91 92 94 102 104 112 119 122 124 125 131 135 136 138 139 150 151 154 159 161 162 165 170 173 175 176 177 179 183 189 194 198 199 202 203 210 213 215 217 220 223 226 227 230 233 235 239 242 243 245 247 249 250 251 254 257 259 261 265 266 270 271 272 273 274 282 284 286 292 293 294 295 296 301 302 308 310 323 324 326 329 332 334 335 344 346 349 354 355 368 369 371 374 377 387 392 411 412 413 415 416 a 3 4 7 9 18 22 24 26 30 31 33 34 37 40 47 58 59 61 70 73 76 80 81 82 83 85 89 90 91 92 94 102 104 112 119 122 124 125 131 135 136 138 139 147 150 151 154 159 161 162 165 170 173 175 176 177 179 183 189 194 198 199 202 203 210 213 215 217 220 223 226 227 230 233 235 239 242 243 245 247 249 250 251 254 257 259 261 265 266 270 271 272 273 274 282 284 286 292 293 294 295 296 301 302 308 310 323 324 329 332 334 335 344 346 349 354 355 368 369 371 374 377 387 392 411 412 413 415 416 a 3 4 7 9 18 22 26 30 31 33 34 37 40 47 58 59 61 62 70 73 76 80 81 82 83 85 89 90 91 92 94 102 104 112 119 122 124 125 131 135 136 138 139 147 150 151 154 159 161 162 165 170 173 175 176 177 179 183 189 194 198 199 202 203 210 213 215 217 220 223 226 227 230 233 235 239 242 243 245 247 249 250 251 254 257 259 261 265 266 270 271 272 273 274 282 284 286 292 293 294 295 296 301 302 308 310 323 324 329 332 334 335 344 346 349 354 355 368 369 371 374 377 387 392 411 412 413 415 416 a 3 4 7 9 18 22 26 30 31 33 34 37 40 47 58 59 61 62 70 73 76 80 81 82 83 85 89 90 91 92 94 102 104 112 119 122 124 125 131 135 138 139 147 150 151 154 159 161 162 165 170 173 175 176 177 179 183 189 194 198 199 202 203 210 213 215 217 220 223 226 227 230 233 235 239 242 243 245 247 249 250 251 254 257 259 261 265 266 270 271 272 273 274 282 284 286 292 293 294 295 296 301 302 308 310 323 324 329 332 334 335 344 346 349 354 355 368 369 371 374 377 379 387 392 411 412 413 415 416 a 3 4 7 9 18 22 26 30 31 33 34 37 40 47 58 59 61 62 70 73 76 80 81 82 83 85 89 90 91 92 94 102 104 112 119 122 124 125 131 135 138 139 147 150 151 154 159 161 162 165 170 173 175 176 177 179 183 184 189 194 198 199 202 203 210 213 215 217 220 223 226 227 230 233 235 239 242 243 245 247 249 250 251 254 257 259 261 265 266 270 271 272 273 274 282 284 286 292 293 294 295 296 301 302 308 310 323 324 329 332 334 335 344 346 349 354 355 368 369 371 374 377 379 392 411 412 413 415 416 a 3 4 7 9 18 22 26 30 31 33 34 37 40 47 58 59 61 62 70 73 76 80 81 82 83 85 89 90 91 92 94 102 104 112 119 122 124 125 131 135 139 147 150 151 154 159 161 162 165 170 173 175 176 177 179 183 184 189 194 198 199 202 203 210 213 215 217 220 223 226 227 230 233 235 239 242 243 245 247 249 250 251 254 257 259 261 265 266 270 271 272 273 274 282 284 286 292 293 294 295 296 301 302 308 310 323 324 329 332 334 335 344 346 349 354 355 368 369 371 374 377 379 392 408 411 412 413 415 416 a 3 4 7 9 18 22 26 30 31 34 37 40 47 58 59 61 62 70 73 76 80 81 82 83 85 89 90 91 92 94 102 104 112 119 122 124 125 131 135 139 140 147 150 151 154 159 161 162 165 170 173 175 176 177 179 183 184 189 194 198 199 202 203 210 213 215 217 220 223 226 227 230 233 235 239 242 243 245 247 249 250 251 254 257 259 261 265 266 270 271 272 273 274 282 284 286 292 293 294 295 296 301 302 308 310 323 324 329 332 334 335 344 346 349 354 355 368 369 371 374 377 379 392 408 411 412 413 415 416 a 3 4 7 9 18 22 26 30 31 34 37 40 47 58 59 61 62 70 73 76 80 81 82 83 85 89 90 91 92 94 102 104 112 119 122 124 125 131 135 139 140 147 150 151 154 159 161 162 165 170 173 175 176 177 179 183 184 194 198 199 202 203 210 213 215 217 220 223 226 227 230 233 235 239 242 243 245 247 249 250 251 254 257 259 261 262 265 266 270 271 272 273 274 282 284 286 292 293 294 295 296 301 302 308 310 323 324 329 332 334 335 344 346 349 354 355 368 369 371 374 377 379 392 408 411 412 413 415 416 a 3 4 7 9 18 22 26 30 31 34 37 40 47 58 59 61 62 70 71 73 76 80 81 82 83 85 89 90 91 92 94 102 104 119 122 124 125 131 135 139 140 147 150 151 154 159 161 162 165 170 173 175 176 177 179 183 184 194 198 199 202 203 210 213 215 217 220 223 226 227 230 233 235 239 242 243 245 247 249 250 251 254 257 259 261 262 265 266 270 271 272 273 274 282 284 286 292 293 294 295 296 301 302 308 310 323 324 329 332 334 335 344 346 349 354 355 368 369 371 374 377 379 392 408 411 412 413 415 416 a 3 4 7 9 18 22 26 30 31 34 37 40 47 58 59 61 62 70 71 73 76 80 81 82 83 85 89 90 91 92 94 102 104 119 122 124 125 131 135 139 140 147 150 151 154 159 161 162 165 170 173 175 176 177 179 183 184 194 198 199 202 203 210 213 215 217 220 223 226 227 230 233 235 239 240 242 243 245 247 249 250 251 254 257 259 261 262 265 266 270 271 272 273 282 284 286 292 293 294 295 296 301 302 308 310 323 324 329 332 334 335 344 346 349 354 355 368 369 371 374 377 379 392 408 411 412 413 415 416 a 3 4 7 9 18 22 26 30 31 34 37 40 47 58 59 61 62 70 71 73 76 79 80 81 82 83 85 89 90 91 92 94 102 104 119 122 124 125 131 139 140 147 150 151 154 159 161 162 165 170 173 175 176 177 179 183 184 194 198 199 202 203 210 213 215 217 220 223 226 227 230 233 235 239 240 242 243 245 247 249 250 251 254 257 259 261 262 265 266 270 271 272 273 282 284 286 292 293 294 295 296 301 302 308 310 323 324 329 332 334 335 344 346 349 354 355 368 369 371 374 377 379 392 408 411 412 413 415 416 a 3 4 7 9 18 22 26 30 31 34 37 40 47 58 59 61 62 70 71 73 76 79 80 81 82 83 85 89 90 91 92 94 102 104 119 122 124 125 131 134 139 140 147 150 151 154 159 161 162 165 170 173 175 176 177 179 183 184 194 198 199 202 203 210 213 215 217 220 223 226 227 230 233 235 239 240 242 243 245 247 249 250 251 254 257 259 261 262 265 266 270 271 272 273 282 284 286 292 293 294 295 296 301 302 308 310 323 324 332 334 335 344 346 349 354 355 368 369 371 374 377 379 392 408 411 412 413 415 416 c Step: 76 Command being timed: "python3 run_3.py --shortest /benchmark/random_instance/random_instance032_graph003.col /benchmark/random_instance/random_instance032_graph003_01.dat" User time (seconds): 3.43 System time (seconds): 0.14 Percent of CPU this job got: 99% Elapsed (wall clock) time (h:mm:ss or m:ss): 0:03.58 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): 134840 Average resident set size (kbytes): 0 Major (requiring I/O) page faults: 0 Minor (reclaiming a frame) page faults: 154235 Voluntary context switches: 16 Involuntary context switches: 12 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:37 2023]