#BEGIN: [Tue Sep 26 03:36:34 2023] #HOST: s03 #TIMELIMIT: 1800 #MEMLIMIT: 0 #SOLVER: shortest-wallclock-banbaralab2-shortest2 #INSTANCE1: /benchmark/random_instance/random_instance033_graph005.col #INSTANCE2: /benchmark/random_instance/random_instance033_graph005_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_instance033_graph005.col /benchmark/random_instance/random_instance033_graph005_01.dat c /benchmark/random_instance/random_instance033_graph005.col c /benchmark/random_instance/random_instance033_graph005_01.dat s 320 298 40 339 259 263 324 413 299 205 11 215 390 101 398 392 242 383 170 66 273 410 160 46 396 36 257 267 4 219 138 311 43 317 118 426 252 96 113 424 307 5 14 112 179 369 1 109 240 68 260 249 279 395 264 288 75 345 393 350 108 234 86 248 92 360 183 373 408 404 24 142 8 402 336 15 157 334 378 64 200 93 368 422 325 344 134 100 387 3 176 25 135 247 74 401 62 314 159 51 276 301 177 244 304 204 287 123 222 303 212 76 90 129 169 359 261 83 171 420 88 178 285 365 318 148 144 231 226 87 122 116 39 190 206 343 214 388 423 72 230 47 t 423 219 278 41 242 308 348 96 143 283 32 168 227 81 207 360 252 346 59 297 335 383 327 6 398 396 90 364 80 22 222 3 106 203 73 126 390 397 218 140 36 105 314 401 110 353 402 271 101 226 331 332 10 146 375 38 261 338 150 263 189 419 162 61 100 53 255 45 230 290 309 144 254 399 340 152 310 285 171 66 1 376 307 275 179 206 425 420 326 123 313 273 198 382 358 78 184 99 174 350 141 216 395 408 248 5 190 208 102 33 212 137 57 16 258 279 211 318 147 68 163 388 260 223 204 15 54 87 224 71 266 188 107 243 325 312 72 145 284 336 317 343 a YES a 1 3 4 5 8 11 14 15 24 25 36 39 40 43 46 47 51 62 64 66 68 72 74 75 76 83 86 87 88 90 92 93 96 100 101 108 109 112 113 116 118 122 123 129 134 135 138 142 144 148 157 159 160 169 170 171 176 177 178 179 183 190 200 204 205 206 212 214 215 219 222 226 230 231 234 240 242 244 247 248 249 252 257 259 260 261 263 264 267 273 276 279 285 287 288 298 299 301 303 304 307 311 314 317 318 320 324 325 334 336 339 343 344 345 350 359 360 365 368 369 373 378 383 387 388 390 392 393 395 396 398 401 402 404 408 410 413 420 422 423 424 426 a 1 3 4 5 8 11 14 15 24 25 36 39 40 43 46 47 51 62 64 66 68 72 74 75 76 83 86 87 88 90 92 93 96 100 101 108 109 112 113 116 118 122 123 129 134 135 138 142 144 148 157 159 160 169 170 171 176 177 178 179 183 190 200 204 205 206 212 214 215 219 222 226 230 231 234 240 242 247 248 249 252 257 259 260 261 263 264 267 273 276 279 285 287 288 298 299 301 303 304 307 311 314 317 318 320 324 325 334 336 339 343 344 345 350 359 360 365 368 369 373 378 383 387 388 390 392 393 395 396 397 398 401 402 404 408 410 413 420 422 423 424 426 a 1 3 4 5 8 11 14 15 24 25 36 39 40 43 46 47 51 62 64 66 68 72 74 75 76 83 86 87 88 90 92 93 96 100 101 108 109 112 113 116 118 122 123 129 134 135 138 142 144 148 157 159 160 169 170 171 176 177 178 179 183 190 200 204 205 206 212 214 215 219 222 226 230 231 234 240 242 247 248 249 252 257 259 260 261 263 264 267 273 276 279 285 287 288 298 299 301 303 304 307 311 314 317 318 320 324 325 334 336 339 343 344 345 350 359 360 365 368 369 373 378 383 387 388 390 392 393 395 396 397 398 401 402 404 408 410 413 420 423 424 425 426 a 1 3 4 5 8 11 14 15 24 25 36 39 40 43 46 47 51 62 64 66 68 72 74 75 76 83 86 87 88 90 92 93 96 100 101 108 109 112 113 116 118 122 123 129 134 135 138 142 144 148 157 159 160 169 170 171 176 177 178 179 183 190 200 204 205 206 212 214 215 219 222 226 230 231 234 240 242 247 248 249 252 257 259 260 261 263 264 267 273 275 279 285 287 288 298 299 301 303 304 307 311 314 317 318 320 324 325 334 336 339 343 344 345 350 359 360 365 368 369 373 378 383 387 388 390 392 393 395 396 397 398 401 402 404 408 410 413 420 423 424 425 426 a 1 3 4 5 8 11 14 15 24 25 36 38 39 40 43 46 47 51 62 64 66 68 72 74 75 76 83 86 87 88 90 92 93 96 100 101 108 109 112 113 116 122 123 129 134 135 138 142 144 148 157 159 160 169 170 171 176 177 178 179 183 190 200 204 205 206 212 214 215 219 222 226 230 231 234 240 242 247 248 249 252 257 259 260 261 263 264 267 273 275 279 285 287 288 298 299 301 303 304 307 311 314 317 318 320 324 325 334 336 339 343 344 345 350 359 360 365 368 369 373 378 383 387 388 390 392 393 395 396 397 398 401 402 404 408 410 413 420 423 424 425 426 a 1 3 4 5 8 11 14 15 24 25 36 38 39 40 43 46 47 51 62 64 66 68 72 74 75 76 83 86 87 88 90 92 93 96 100 101 108 109 112 113 116 122 123 129 134 135 138 142 144 148 157 159 160 169 170 171 176 177 178 179 183 190 200 204 205 206 212 214 215 219 222 226 230 231 234 240 242 247 248 249 252 257 259 260 261 263 264 267 273 275 279 285 287 288 298 299 301 303 304 307 311 314 317 318 320 324 325 334 336 339 343 344 350 359 360 365 368 369 373 378 383 387 388 390 392 393 395 396 397 398 399 401 402 404 408 410 413 420 423 424 425 426 a 1 3 4 5 8 11 14 15 24 25 36 38 39 40 43 46 47 51 62 64 66 68 72 74 75 76 83 86 87 88 90 92 93 96 100 101 108 109 112 113 116 122 123 129 134 135 138 142 144 148 150 157 159 160 169 170 171 176 177 178 179 183 190 200 204 205 206 212 214 215 219 222 226 230 231 234 240 242 247 248 249 252 257 259 260 261 263 264 267 273 275 279 285 287 288 298 299 301 303 304 307 311 314 317 318 320 324 325 334 336 339 343 344 350 359 360 365 368 373 378 383 387 388 390 392 393 395 396 397 398 399 401 402 404 408 410 413 420 423 424 425 426 a 1 3 4 5 8 11 14 15 24 25 36 38 39 40 43 46 47 51 62 64 66 68 72 75 76 83 86 87 88 90 92 93 96 100 101 108 109 112 113 116 122 123 129 134 135 138 142 144 148 150 157 159 160 162 169 170 171 176 177 178 179 183 190 200 204 205 206 212 214 215 219 222 226 230 231 234 240 242 247 248 249 252 257 259 260 261 263 264 267 273 275 279 285 287 288 298 299 301 303 304 307 311 314 317 318 320 324 325 334 336 339 343 344 350 359 360 365 368 373 378 383 387 388 390 392 393 395 396 397 398 399 401 402 404 408 410 413 420 423 424 425 426 a 1 3 4 5 8 11 14 15 24 25 36 38 39 40 43 45 46 47 51 62 64 66 68 72 75 76 83 86 87 88 90 92 93 96 100 101 108 109 112 113 116 122 123 129 134 135 138 142 144 148 150 157 159 160 162 169 171 176 177 178 179 183 190 200 204 205 206 212 214 215 219 222 226 230 231 234 240 242 247 248 249 252 257 259 260 261 263 264 267 273 275 279 285 287 288 298 299 301 303 304 307 311 314 317 318 320 324 325 334 336 339 343 344 350 359 360 365 368 373 378 383 387 388 390 392 393 395 396 397 398 399 401 402 404 408 410 413 420 423 424 425 426 a 1 3 4 5 8 11 14 15 24 25 36 38 39 40 43 45 46 47 51 62 64 66 68 72 75 76 83 86 87 88 90 92 93 96 100 101 108 109 112 113 116 122 123 129 134 135 138 142 144 148 150 157 159 160 162 169 171 176 177 178 179 183 190 200 204 205 206 212 214 215 219 222 226 230 231 234 240 242 247 248 249 252 257 259 260 261 263 264 267 273 275 279 285 287 288 298 299 301 303 304 307 311 314 317 318 320 324 325 336 339 343 344 350 358 359 360 365 368 373 378 383 387 388 390 392 393 395 396 397 398 399 401 402 404 408 410 413 420 423 424 425 426 a 1 3 4 5 8 11 14 15 24 25 36 38 39 40 43 45 46 47 51 59 62 64 66 68 72 75 76 83 86 87 88 90 92 93 96 100 101 108 109 112 113 116 122 123 129 134 135 138 142 144 148 150 157 159 160 162 169 171 176 177 178 179 183 190 200 204 205 206 212 214 215 219 222 226 230 231 234 240 242 247 248 249 252 257 259 260 261 263 264 267 273 275 279 285 287 288 298 299 301 303 304 307 311 314 317 318 320 324 325 336 339 343 344 350 358 359 360 368 373 378 383 387 388 390 392 393 395 396 397 398 399 401 402 404 408 410 413 420 423 424 425 426 a 1 3 4 5 8 11 14 15 22 24 25 36 38 40 43 45 46 47 51 59 62 64 66 68 72 75 76 83 86 87 88 90 92 93 96 100 101 108 109 112 113 116 122 123 129 134 135 138 142 144 148 150 157 159 160 162 169 171 176 177 178 179 183 190 200 204 205 206 212 214 215 219 222 226 230 231 234 240 242 247 248 249 252 257 259 260 261 263 264 267 273 275 279 285 287 288 298 299 301 303 304 307 311 314 317 318 320 324 325 336 339 343 344 350 358 359 360 368 373 378 383 387 388 390 392 393 395 396 397 398 399 401 402 404 408 410 413 420 423 424 425 426 a 1 3 4 5 8 11 14 15 22 24 25 36 38 40 43 45 46 47 51 59 62 64 66 68 71 72 75 76 83 86 87 88 90 92 93 96 100 101 108 109 112 113 122 123 129 134 135 138 142 144 148 150 157 159 160 162 169 171 176 177 178 179 183 190 200 204 205 206 212 214 215 219 222 226 230 231 234 240 242 247 248 249 252 257 259 260 261 263 264 267 273 275 279 285 287 288 298 299 301 303 304 307 311 314 317 318 320 324 325 336 339 343 344 350 358 359 360 368 373 378 383 387 388 390 392 393 395 396 397 398 399 401 402 404 408 410 413 420 423 424 425 426 a 1 3 4 5 8 11 14 15 22 24 25 36 38 40 43 45 46 47 51 59 62 64 66 68 71 72 75 76 83 86 87 88 90 92 93 96 100 101 108 109 112 113 122 123 129 134 135 138 142 144 148 150 157 159 160 162 169 171 176 177 178 179 183 190 200 204 205 206 212 214 215 219 222 226 230 231 234 240 242 247 248 249 252 257 259 260 261 263 264 267 273 275 279 285 287 288 297 298 299 301 303 304 307 311 314 317 318 320 324 325 336 339 343 344 350 358 359 360 368 373 378 383 387 388 390 392 393 395 396 397 398 399 401 402 404 408 410 413 420 423 424 425 a 1 3 4 5 8 11 14 15 22 24 25 36 38 40 43 45 46 47 51 59 62 64 66 68 71 72 76 83 86 87 88 90 92 93 96 100 101 108 109 112 113 122 123 129 134 135 138 142 144 148 150 157 159 160 162 169 171 176 177 178 179 183 190 200 204 205 206 211 212 214 215 219 222 226 230 231 234 240 242 247 248 249 252 257 259 260 261 263 264 267 273 275 279 285 287 288 297 298 299 301 303 304 307 311 314 317 318 320 324 325 336 339 343 344 350 358 359 360 368 373 378 383 387 388 390 392 393 395 396 397 398 399 401 402 404 408 410 413 420 423 424 425 a 1 3 4 5 8 11 14 15 22 24 25 36 38 40 43 45 46 47 51 59 62 64 66 68 71 72 76 83 86 87 88 90 92 93 96 100 101 108 109 112 113 122 123 129 134 135 138 142 144 148 150 157 159 160 162 169 171 176 177 178 179 183 190 200 204 205 206 211 212 214 215 219 222 226 230 231 234 240 242 247 248 252 257 259 260 261 263 264 267 273 275 278 279 285 287 288 297 298 299 301 303 304 307 311 314 317 318 320 324 325 336 339 343 344 350 358 359 360 368 373 378 383 387 388 390 392 393 395 396 397 398 399 401 402 404 408 410 413 420 423 424 425 a 1 3 4 5 8 11 14 15 22 24 25 36 38 40 43 45 46 47 51 59 62 64 66 68 71 72 76 83 86 87 88 90 92 93 96 100 101 108 109 112 113 122 123 129 134 135 138 142 144 148 150 157 159 160 162 169 171 176 177 178 179 183 190 200 204 205 206 211 212 214 215 219 222 224 226 230 231 234 240 242 247 248 252 257 259 260 261 263 264 267 273 275 278 279 285 287 288 297 298 299 301 303 304 307 311 314 317 318 320 324 325 336 339 343 344 350 358 360 368 373 378 383 387 388 390 392 393 395 396 397 398 399 401 402 404 408 410 413 420 423 424 425 a 1 3 4 5 8 11 14 15 22 24 25 36 38 40 43 45 46 47 51 59 62 64 66 68 71 72 76 83 86 87 88 90 92 93 96 100 101 108 112 113 122 123 129 134 135 138 142 144 148 150 157 159 160 162 169 171 176 177 178 179 183 190 200 204 205 206 211 212 214 215 219 222 224 226 230 231 234 240 242 247 248 252 257 258 259 260 261 263 264 267 273 275 278 279 285 287 288 297 298 299 301 303 304 307 311 314 317 318 320 324 325 336 339 343 344 350 358 360 368 373 378 383 387 388 390 392 393 395 396 397 398 399 401 402 404 408 410 413 420 423 424 425 a 1 3 4 5 8 11 14 15 22 24 25 36 38 40 43 45 46 47 51 59 62 64 66 68 71 72 76 83 86 87 88 90 92 93 96 100 101 108 112 113 122 123 129 134 135 138 142 144 148 150 157 159 160 162 169 171 176 177 178 179 183 190 200 204 205 206 211 212 214 215 219 222 224 226 230 231 234 242 247 248 252 257 258 259 260 261 263 264 267 273 275 278 279 285 287 288 290 297 298 299 301 303 304 307 311 314 317 318 320 324 325 336 339 343 344 350 358 360 368 373 378 383 387 388 390 392 393 395 396 397 398 399 401 402 404 408 410 413 420 423 424 425 a 1 3 4 5 8 11 14 15 22 24 25 36 38 40 43 45 46 51 59 62 64 66 68 71 72 76 83 86 87 88 90 92 93 96 100 101 107 108 112 113 122 123 129 134 135 138 142 144 148 150 157 159 160 162 169 171 176 177 178 179 183 190 200 204 205 206 211 212 214 215 219 222 224 226 230 231 234 242 247 248 252 257 258 259 260 261 263 264 267 273 275 278 279 285 287 288 290 297 298 299 301 303 304 307 311 314 317 318 320 324 325 336 339 343 344 350 358 360 368 373 378 383 387 388 390 392 393 395 396 397 398 399 401 402 404 408 410 413 420 423 424 425 a 1 3 4 5 8 11 14 15 22 24 25 36 38 40 43 45 46 51 59 62 64 66 68 71 72 76 83 86 87 88 90 92 93 96 100 101 107 108 112 113 122 123 129 134 135 138 142 144 148 150 157 159 160 162 169 171 176 178 179 183 190 200 204 205 206 211 212 214 215 219 222 224 226 230 231 234 242 247 248 252 257 258 259 260 261 263 264 267 273 275 278 279 284 285 287 288 290 297 298 299 301 303 304 307 311 314 317 318 320 324 325 336 339 343 344 350 358 360 368 373 378 383 387 388 390 392 393 395 396 397 398 399 401 402 404 408 410 413 420 423 424 425 a 1 3 4 5 8 11 14 15 22 24 25 36 38 40 41 43 45 46 51 59 62 64 66 68 71 72 83 86 87 88 90 92 93 96 100 101 107 108 112 113 122 123 129 134 135 138 142 144 148 150 157 159 160 162 169 171 176 178 179 183 190 200 204 205 206 211 212 214 215 219 222 224 226 230 231 234 242 247 248 252 257 258 259 260 261 263 264 267 273 275 278 279 284 285 287 288 290 297 298 299 301 303 304 307 311 314 317 318 320 324 325 336 339 343 344 350 358 360 368 373 378 383 387 388 390 392 393 395 396 397 398 399 401 402 404 408 410 413 420 423 424 425 a 1 3 4 5 8 11 14 15 22 24 25 36 38 40 41 43 45 51 59 62 64 66 68 71 72 83 86 87 88 90 92 93 96 100 101 107 108 112 113 122 123 129 134 135 138 142 144 148 150 157 159 160 162 169 171 176 178 179 183 189 190 200 204 205 206 211 212 214 215 219 222 224 226 230 231 234 242 247 248 252 257 258 259 260 261 263 264 267 273 275 278 279 284 285 287 288 290 297 298 299 301 303 304 307 311 314 317 318 320 324 325 336 339 343 344 350 358 360 368 373 378 383 387 388 390 392 393 395 396 397 398 399 401 402 404 408 410 413 420 423 424 425 a 1 3 4 5 8 11 14 15 22 24 25 36 38 40 41 43 45 51 59 62 64 66 68 71 72 83 86 87 88 90 92 93 96 100 101 107 108 112 113 122 123 129 134 135 138 142 144 148 150 157 159 160 162 169 171 176 178 179 183 189 190 200 204 205 206 211 212 214 215 219 222 224 226 230 231 234 242 243 247 248 252 257 258 259 260 261 263 264 267 273 275 278 279 284 285 287 288 290 297 298 299 301 303 304 307 311 314 317 318 324 325 336 339 343 344 350 358 360 368 373 378 383 387 388 390 392 393 395 396 397 398 399 401 402 404 408 410 413 420 423 424 425 a 1 3 4 5 8 11 14 15 22 24 25 36 38 40 41 43 45 51 59 61 62 64 66 68 71 72 83 86 87 88 90 92 93 96 100 101 107 108 112 113 122 123 129 134 135 138 142 144 148 150 157 159 160 162 169 171 176 178 179 183 189 190 200 204 206 211 212 214 215 219 222 224 226 230 231 234 242 243 247 248 252 257 258 259 260 261 263 264 267 273 275 278 279 284 285 287 288 290 297 298 299 301 303 304 307 311 314 317 318 324 325 336 339 343 344 350 358 360 368 373 378 383 387 388 390 392 393 395 396 397 398 399 401 402 404 408 410 413 420 423 424 425 a 1 3 4 5 6 8 11 14 15 22 24 25 36 38 40 41 43 45 51 59 61 62 64 66 68 71 72 83 86 87 88 90 92 93 96 100 101 107 108 112 113 122 123 129 134 135 138 142 144 148 150 157 159 160 162 169 171 176 178 179 183 189 190 200 204 206 211 212 214 215 219 222 224 226 230 231 234 242 243 247 248 252 257 258 259 260 261 263 264 267 273 275 278 279 284 285 287 288 290 297 298 299 301 303 304 307 311 314 317 318 324 325 336 339 343 344 350 358 360 368 373 378 383 387 388 390 392 395 396 397 398 399 401 402 404 408 410 413 420 423 424 425 a 1 3 4 5 6 8 11 14 15 22 24 25 36 38 40 41 43 45 51 59 61 62 64 66 68 71 72 83 86 87 88 90 92 93 96 100 101 107 108 112 113 122 123 129 134 135 138 142 144 148 150 157 159 160 162 169 171 176 178 179 183 188 189 190 200 204 206 211 212 214 215 219 222 224 226 230 231 234 242 243 247 248 252 257 258 259 260 261 263 264 267 273 275 278 279 284 285 287 288 290 297 298 299 301 303 304 307 311 314 317 318 324 325 336 339 343 344 350 358 360 368 373 378 383 387 388 390 392 395 396 397 398 399 401 402 404 408 410 413 420 423 425 a 1 3 4 5 6 8 11 14 15 22 24 25 36 38 40 41 43 45 51 59 61 62 64 66 68 71 72 83 86 87 88 90 92 93 96 100 101 107 108 112 113 122 123 129 134 135 138 142 144 148 150 157 159 160 162 169 171 176 178 179 183 188 189 190 200 204 206 211 212 214 215 219 222 224 226 230 231 234 242 243 247 248 252 257 258 259 260 261 263 264 266 267 273 275 278 279 284 285 287 288 290 297 298 299 301 303 304 307 311 314 317 318 324 325 336 339 343 344 350 358 360 368 373 378 383 387 388 390 392 395 396 397 398 399 401 402 404 408 410 420 423 425 a 1 3 4 5 6 8 11 14 15 22 24 25 36 38 40 41 43 45 51 59 61 62 64 66 68 71 72 83 86 87 88 90 92 93 96 100 101 107 108 112 113 122 123 129 134 135 138 142 144 148 150 157 159 160 162 169 171 176 178 179 183 188 189 190 200 204 206 211 212 214 215 219 222 224 226 230 231 234 242 243 247 248 252 257 258 259 260 261 263 264 266 267 273 275 278 279 284 285 287 288 290 297 298 299 301 303 304 307 311 314 317 318 324 325 336 339 343 344 350 358 360 368 373 375 378 383 388 390 392 395 396 397 398 399 401 402 404 408 410 420 423 425 a 1 3 4 5 6 8 11 14 15 22 24 25 32 36 38 40 41 43 45 51 59 61 62 64 66 68 71 72 83 86 87 88 90 92 93 96 100 101 107 108 112 113 122 123 129 134 135 138 142 144 148 150 157 159 160 162 169 171 176 178 179 183 188 189 190 200 204 206 211 212 214 215 219 222 224 226 230 231 234 242 243 247 248 252 257 258 259 260 261 263 264 266 267 273 275 278 279 284 285 287 288 290 297 298 299 301 303 304 307 311 314 317 318 324 325 336 339 343 344 350 358 360 373 375 378 383 388 390 392 395 396 397 398 399 401 402 404 408 410 420 423 425 a 1 3 4 5 6 8 11 14 15 22 24 25 32 33 36 38 40 41 43 45 51 59 61 62 64 66 68 71 72 83 86 87 88 90 92 93 96 100 101 107 108 112 113 122 123 129 134 135 138 142 144 148 150 157 159 160 162 169 171 178 179 183 188 189 190 200 204 206 211 212 214 215 219 222 224 226 230 231 234 242 243 247 248 252 257 258 259 260 261 263 264 266 267 273 275 278 279 284 285 287 288 290 297 298 299 301 303 304 307 311 314 317 318 324 325 336 339 343 344 350 358 360 373 375 378 383 388 390 392 395 396 397 398 399 401 402 404 408 410 420 423 425 a 1 3 4 5 6 8 11 14 15 22 24 25 32 33 36 38 40 41 43 45 51 59 61 62 64 66 68 71 72 80 83 86 87 88 90 92 93 96 100 101 107 108 112 113 122 123 129 134 135 138 142 144 148 150 157 159 160 162 169 171 179 183 188 189 190 200 204 206 211 212 214 215 219 222 224 226 230 231 234 242 243 247 248 252 257 258 259 260 261 263 264 266 267 273 275 278 279 284 285 287 288 290 297 298 299 301 303 304 307 311 314 317 318 324 325 336 339 343 344 350 358 360 373 375 378 383 388 390 392 395 396 397 398 399 401 402 404 408 410 420 423 425 a 1 3 4 5 6 8 11 14 15 22 24 25 32 33 36 38 40 41 43 45 51 59 61 62 64 66 68 71 72 80 83 86 87 88 90 92 93 96 100 101 107 108 112 113 122 123 129 134 135 138 142 144 148 150 157 160 162 169 171 179 183 188 189 190 200 204 206 211 212 214 215 219 222 224 226 230 231 234 242 243 247 248 252 257 258 259 260 261 263 264 266 267 273 275 278 279 284 285 287 288 290 297 298 299 301 303 304 307 311 314 317 318 324 325 336 339 343 344 348 350 358 360 373 375 378 383 388 390 392 395 396 397 398 399 401 402 404 408 410 420 423 425 a 1 3 4 5 6 8 11 14 15 22 24 25 32 33 36 38 40 41 43 45 51 59 61 62 66 68 71 72 80 83 86 87 88 90 92 93 96 100 101 107 108 112 113 122 123 129 134 135 138 140 142 144 148 150 157 160 162 169 171 179 183 188 189 190 200 204 206 211 212 214 215 219 222 224 226 230 231 234 242 243 247 248 252 257 258 259 260 261 263 264 266 267 273 275 278 279 284 285 287 288 290 297 298 299 301 303 304 307 311 314 317 318 324 325 336 339 343 344 348 350 358 360 373 375 378 383 388 390 392 395 396 397 398 399 401 402 404 408 410 420 423 425 a 1 3 4 5 6 8 11 14 15 22 24 25 32 33 36 38 40 41 43 45 51 59 61 62 66 68 71 72 80 83 86 87 88 90 92 93 96 100 101 107 108 112 113 122 123 129 134 135 138 140 142 144 147 148 150 157 160 162 169 171 179 183 188 189 190 200 204 206 211 212 214 215 219 222 224 226 230 231 234 242 243 247 248 252 257 258 259 260 261 263 264 266 267 273 275 278 279 284 285 287 288 290 297 298 299 301 303 304 307 311 314 317 318 324 325 336 339 343 344 348 350 358 360 375 378 383 388 390 392 395 396 397 398 399 401 402 404 408 410 420 423 425 a 1 3 4 5 6 8 11 14 15 22 24 25 32 33 36 38 40 41 43 45 51 59 61 62 66 68 71 72 80 83 86 87 88 90 92 93 96 100 101 107 108 112 113 122 123 129 134 135 138 140 142 144 147 148 150 157 160 162 169 171 179 183 188 189 190 200 204 206 211 212 214 215 219 222 224 226 230 231 234 242 243 247 248 252 257 258 260 261 263 264 266 267 271 273 275 278 279 284 285 287 288 290 297 298 299 301 303 304 307 311 314 317 318 324 325 336 339 343 344 348 350 358 360 375 378 383 388 390 392 395 396 397 398 399 401 402 404 408 410 420 423 425 a 1 3 4 5 6 8 11 14 15 22 24 25 32 33 36 38 40 41 43 45 51 59 61 62 66 68 71 72 80 83 86 87 88 90 92 93 96 100 101 107 108 112 113 122 123 129 134 135 138 140 142 144 147 148 150 157 160 162 169 171 179 183 188 189 190 200 204 206 211 212 214 215 219 222 224 226 230 231 234 242 243 247 248 252 257 258 260 261 263 264 266 267 271 273 275 278 279 284 285 287 288 290 297 298 299 301 303 304 307 314 317 318 324 325 336 339 343 344 348 350 358 360 375 378 382 383 388 390 392 395 396 397 398 399 401 402 404 408 410 420 423 425 a 1 3 4 5 6 8 11 14 15 22 24 25 32 33 36 38 40 41 43 45 51 59 61 62 66 68 71 72 80 83 86 87 88 90 92 93 96 100 101 107 108 112 113 122 123 129 134 135 138 140 142 144 147 148 150 157 160 162 169 171 179 183 188 189 190 200 204 206 211 212 214 215 219 222 224 226 230 231 234 242 243 247 248 252 257 258 260 261 263 264 266 267 271 273 275 278 279 284 285 287 288 290 297 298 299 301 303 304 307 314 317 318 324 325 331 336 339 343 344 348 350 358 360 375 382 383 388 390 392 395 396 397 398 399 401 402 404 408 410 420 423 425 a 1 3 5 6 8 11 14 15 22 24 25 32 33 36 38 40 41 43 45 51 59 61 62 66 68 71 72 80 83 86 87 88 90 92 93 96 100 101 107 108 112 113 122 123 129 134 135 138 140 142 144 147 148 150 157 160 162 169 171 179 183 188 189 190 200 204 206 211 212 214 215 219 222 224 226 230 231 234 242 243 247 248 252 257 258 260 261 263 264 266 267 271 273 275 278 279 284 285 287 288 290 297 298 299 301 303 304 307 313 314 317 318 324 325 331 336 339 343 344 348 350 358 360 375 382 383 388 390 392 395 396 397 398 399 401 402 404 408 410 420 423 425 a 1 3 5 6 8 11 14 15 22 24 25 32 33 36 38 40 41 43 45 51 59 61 62 66 68 71 72 80 83 86 87 88 90 92 93 96 100 101 107 108 112 113 122 123 129 134 135 138 140 142 144 147 148 150 157 160 162 169 171 179 183 188 189 190 200 204 206 211 212 214 215 219 222 224 226 230 234 242 243 247 248 252 257 258 260 261 263 264 266 267 271 273 275 278 279 284 285 287 288 290 297 298 299 301 303 304 307 312 313 314 317 318 324 325 331 336 339 343 344 348 350 358 360 375 382 383 388 390 392 395 396 397 398 399 401 402 404 408 410 420 423 425 a 1 3 5 6 8 11 14 15 22 24 25 32 33 36 38 40 41 43 45 51 59 61 62 66 68 71 72 80 83 86 87 88 90 92 93 96 100 101 107 108 112 113 122 123 129 134 135 138 140 141 142 144 147 148 150 157 160 162 169 171 179 183 188 189 190 200 204 206 211 212 215 219 222 224 226 230 234 242 243 247 248 252 257 258 260 261 263 264 266 267 271 273 275 278 279 284 285 287 288 290 297 298 299 301 303 304 307 312 313 314 317 318 324 325 331 336 339 343 344 348 350 358 360 375 382 383 388 390 392 395 396 397 398 399 401 402 404 408 410 420 423 425 a 1 3 5 6 8 11 14 15 22 24 32 33 36 38 40 41 43 45 51 59 61 62 66 68 71 72 80 83 86 87 88 90 92 93 96 100 101 107 108 112 113 122 123 129 134 135 138 140 141 142 143 144 147 148 150 157 160 162 169 171 179 183 188 189 190 200 204 206 211 212 215 219 222 224 226 230 234 242 243 247 248 252 257 258 260 261 263 264 266 267 271 273 275 278 279 284 285 287 288 290 297 298 299 301 303 304 307 312 313 314 317 318 324 325 331 336 339 343 344 348 350 358 360 375 382 383 388 390 392 395 396 397 398 399 401 402 404 408 410 420 423 425 a 1 3 5 6 8 11 14 15 22 24 32 33 36 38 40 41 43 45 51 59 61 62 66 68 71 72 73 80 83 86 87 88 90 92 93 96 100 101 107 108 112 113 122 123 129 134 135 138 140 141 143 144 147 148 150 157 160 162 169 171 179 183 188 189 190 200 204 206 211 212 215 219 222 224 226 230 234 242 243 247 248 252 257 258 260 261 263 264 266 267 271 273 275 278 279 284 285 287 288 290 297 298 299 301 303 304 307 312 313 314 317 318 324 325 331 336 339 343 344 348 350 358 360 375 382 383 388 390 392 395 396 397 398 399 401 402 404 408 410 420 423 425 a 1 3 5 6 8 11 14 15 22 24 32 33 36 38 40 41 43 45 51 59 61 62 66 68 71 72 73 80 83 86 87 88 90 92 93 96 100 101 107 108 112 113 122 123 129 134 135 138 140 141 143 144 147 148 150 157 160 162 168 169 171 179 183 188 189 190 200 204 206 211 212 215 219 222 224 226 230 234 242 243 247 248 252 257 258 260 261 263 264 266 267 271 273 275 278 279 284 285 287 288 290 297 298 299 303 304 307 312 313 314 317 318 324 325 331 336 339 343 344 348 350 358 360 375 382 383 388 390 392 395 396 397 398 399 401 402 404 408 410 420 423 425 a 1 3 5 6 8 11 14 15 22 24 32 33 36 38 40 41 43 45 51 59 61 62 66 68 71 72 73 80 83 86 87 88 90 92 93 96 99 100 101 107 108 112 113 122 123 129 134 135 138 140 141 143 144 147 148 150 157 160 162 168 169 171 179 188 189 190 200 204 206 211 212 215 219 222 224 226 230 234 242 243 247 248 252 257 258 260 261 263 264 266 267 271 273 275 278 279 284 285 287 288 290 297 298 299 303 304 307 312 313 314 317 318 324 325 331 336 339 343 344 348 350 358 360 375 382 383 388 390 392 395 396 397 398 399 401 402 404 408 410 420 423 425 a 1 3 5 6 8 11 14 15 22 24 32 33 36 38 40 41 43 45 51 59 61 62 66 68 71 72 73 80 83 86 87 88 90 92 93 96 99 100 101 107 108 112 113 122 123 129 134 135 138 140 141 143 144 147 148 150 157 160 162 163 168 169 171 179 188 189 190 200 204 206 211 212 215 219 222 224 226 230 234 242 243 247 248 252 257 258 260 261 263 264 266 267 271 273 275 278 279 284 285 287 288 290 297 298 299 303 307 312 313 314 317 318 324 325 331 336 339 343 344 348 350 358 360 375 382 383 388 390 392 395 396 397 398 399 401 402 404 408 410 420 423 425 a 1 3 5 6 8 11 14 15 22 24 32 33 36 38 40 41 43 45 51 59 61 62 66 68 71 72 73 80 83 86 87 88 90 92 93 96 99 100 101 107 108 112 113 122 123 129 134 135 138 140 141 143 144 147 148 150 157 160 162 163 168 169 171 179 188 189 190 200 204 206 211 212 215 219 222 224 226 230 234 242 243 247 248 252 257 258 260 261 263 264 266 267 271 273 275 278 279 284 285 287 288 290 297 298 299 303 307 312 313 314 317 318 324 325 327 331 336 339 343 348 350 358 360 375 382 383 388 390 392 395 396 397 398 399 401 402 404 408 410 420 423 425 a 1 3 5 6 8 11 14 15 22 24 32 33 36 38 40 41 43 45 51 59 61 62 66 68 71 72 73 80 83 86 87 88 90 92 93 96 99 100 101 107 108 112 113 122 123 129 134 135 138 140 141 143 144 147 148 150 157 160 162 163 168 169 171 179 188 189 190 200 204 206 211 212 215 219 222 223 224 226 230 234 242 243 247 248 252 257 258 260 261 263 264 266 267 271 273 275 278 279 284 285 287 290 297 298 299 303 307 312 313 314 317 318 324 325 327 331 336 339 343 348 350 358 360 375 382 383 388 390 392 395 396 397 398 399 401 402 404 408 410 420 423 425 a 1 3 5 6 8 11 14 15 22 24 32 33 36 38 40 41 43 45 51 59 61 62 66 68 71 72 73 80 83 86 87 88 90 92 93 96 99 100 101 107 108 110 112 113 122 123 129 134 135 138 140 141 143 144 147 148 150 157 160 162 163 168 169 171 179 188 189 190 200 204 206 211 212 215 219 222 223 224 226 230 234 242 243 247 248 252 257 258 260 261 263 264 266 267 271 273 275 278 279 284 285 287 290 297 298 299 303 307 312 313 314 317 318 324 325 327 331 336 339 343 348 350 358 360 375 382 383 388 390 392 395 396 397 398 399 401 402 404 408 420 423 425 a 1 3 5 6 8 11 14 15 22 24 32 33 36 38 40 41 43 45 59 61 62 66 68 71 72 73 80 83 86 87 88 90 92 93 96 99 100 101 106 107 108 110 112 113 122 123 129 134 135 138 140 141 143 144 147 148 150 157 160 162 163 168 169 171 179 188 189 190 200 204 206 211 212 215 219 222 223 224 226 230 234 242 243 247 248 252 257 258 260 261 263 264 266 267 271 273 275 278 279 284 285 287 290 297 298 299 303 307 312 313 314 317 318 324 325 327 331 336 339 343 348 350 358 360 375 382 383 388 390 392 395 396 397 398 399 401 402 404 408 420 423 425 a 1 3 5 6 8 11 14 15 22 24 32 33 36 38 40 41 43 45 59 61 62 66 68 71 72 73 80 83 86 87 88 90 92 93 96 99 100 101 106 107 108 110 112 113 122 123 129 134 135 138 140 141 143 144 146 147 148 150 157 160 162 163 168 169 171 179 188 189 190 200 204 206 211 212 219 222 223 224 226 230 234 242 243 247 248 252 257 258 260 261 263 264 266 267 271 273 275 278 279 284 285 287 290 297 298 299 303 307 312 313 314 317 318 324 325 327 331 336 339 343 348 350 358 360 375 382 383 388 390 392 395 396 397 398 399 401 402 404 408 420 423 425 a 1 3 5 6 8 11 14 15 22 24 32 33 36 38 40 41 43 45 59 61 62 66 68 71 72 73 80 83 86 87 88 90 92 93 96 99 100 101 106 107 108 110 112 113 122 123 129 134 135 138 140 141 143 144 145 146 147 148 150 157 162 163 168 169 171 179 188 189 190 200 204 206 211 212 219 222 223 224 226 230 234 242 243 247 248 252 257 258 260 261 263 264 266 267 271 273 275 278 279 284 285 287 290 297 298 299 303 307 312 313 314 317 318 324 325 327 331 336 339 343 348 350 358 360 375 382 383 388 390 392 395 396 397 398 399 401 402 404 408 420 423 425 a 1 3 5 6 8 11 15 22 24 32 33 36 38 40 41 43 45 59 61 62 66 68 71 72 73 80 83 86 87 88 90 92 93 96 99 100 101 106 107 108 110 112 113 122 123 129 134 135 138 140 141 143 144 145 146 147 148 150 157 162 163 168 169 171 179 188 189 190 200 204 206 211 212 219 222 223 224 226 230 234 242 243 247 248 252 257 258 260 261 263 264 266 267 271 273 275 278 279 284 285 287 290 297 298 299 303 307 312 313 314 317 318 324 325 327 331 336 339 343 348 350 358 360 375 382 383 388 390 392 395 396 397 398 399 401 402 404 408 419 420 423 425 a 1 3 5 6 8 11 15 22 24 32 33 36 38 40 41 43 45 59 61 62 66 68 71 72 73 80 83 86 87 88 90 92 93 96 99 100 101 106 107 108 110 112 113 122 123 129 134 138 140 141 143 144 145 146 147 148 150 157 162 163 168 169 171 179 188 189 190 200 204 206 211 212 219 222 223 224 226 230 234 242 243 247 248 252 257 258 260 261 263 264 266 267 271 273 275 278 279 284 285 287 290 297 298 299 303 307 312 313 314 317 318 324 325 327 331 336 338 339 343 348 350 358 360 375 382 383 388 390 392 395 396 397 398 399 401 402 404 408 419 420 423 425 a 1 3 5 6 11 15 22 24 32 33 36 38 40 41 43 45 59 61 62 66 68 71 72 73 80 83 86 87 88 90 92 93 96 99 100 101 106 107 108 110 112 113 122 123 129 134 138 140 141 143 144 145 146 147 148 150 157 162 163 168 169 171 179 188 189 190 200 204 206 211 212 219 222 223 224 226 230 234 242 243 247 248 252 257 258 260 261 263 264 266 267 271 273 275 278 279 284 285 287 290 297 298 299 303 307 310 312 313 314 317 318 324 325 327 331 336 338 339 343 348 350 358 360 375 382 383 388 390 392 395 396 397 398 399 401 402 404 408 419 420 423 425 a 1 3 5 6 11 15 22 24 32 33 36 38 40 41 43 45 59 61 62 66 68 71 72 73 80 83 86 87 88 90 92 93 96 99 100 101 106 107 108 110 112 113 122 123 129 134 138 140 141 143 144 145 146 147 148 150 157 162 163 168 169 171 179 188 189 190 200 204 206 208 211 212 219 222 223 224 226 230 234 242 243 247 248 252 257 258 260 261 263 264 266 267 271 273 275 278 279 284 285 287 290 297 298 303 307 310 312 313 314 317 318 324 325 327 331 336 338 339 343 348 350 358 360 375 382 383 388 390 392 395 396 397 398 399 401 402 404 408 419 420 423 425 a 1 3 5 6 11 15 22 24 32 33 36 38 40 41 43 45 59 61 62 66 68 71 72 73 80 83 86 87 88 90 92 93 96 99 100 101 106 107 108 110 112 113 122 123 129 134 138 140 141 143 144 145 146 147 148 150 157 162 163 168 169 171 179 188 189 190 200 204 206 208 211 212 219 222 223 224 226 230 242 243 247 248 252 257 258 260 261 263 264 266 267 271 273 275 278 279 284 285 287 290 297 298 303 307 310 312 313 314 317 318 324 325 327 331 336 338 339 340 343 348 350 358 360 375 382 383 388 390 392 395 396 397 398 399 401 402 404 408 419 420 423 425 a 1 3 5 6 11 15 22 24 32 33 36 38 40 41 43 45 59 61 66 68 71 72 73 80 83 86 87 88 90 92 93 96 99 100 101 106 107 108 110 112 113 122 123 129 134 138 140 141 143 144 145 146 147 148 150 157 162 163 168 169 171 179 188 189 190 200 204 206 208 211 212 219 222 223 224 226 230 242 243 247 248 252 257 258 260 261 263 264 266 267 271 273 275 278 279 284 285 287 290 297 298 303 307 309 310 312 313 314 317 318 324 325 327 331 336 338 339 340 343 348 350 358 360 375 382 383 388 390 392 395 396 397 398 399 401 402 404 408 419 420 423 425 a 1 3 5 6 10 11 15 22 24 32 33 36 38 40 41 43 45 59 61 66 68 71 72 73 80 83 86 87 88 90 92 93 96 99 100 101 106 107 108 110 112 113 122 123 129 134 138 140 141 143 144 145 146 147 148 150 157 162 163 168 171 179 188 189 190 200 204 206 208 211 212 219 222 223 224 226 230 242 243 247 248 252 257 258 260 261 263 264 266 267 271 273 275 278 279 284 285 287 290 297 298 303 307 309 310 312 313 314 317 318 324 325 327 331 336 338 339 340 343 348 350 358 360 375 382 383 388 390 392 395 396 397 398 399 401 402 404 408 419 420 423 425 a 1 3 5 6 10 11 15 22 24 32 33 36 38 40 41 43 45 59 61 66 68 71 72 73 80 83 86 87 88 90 92 93 96 99 100 101 106 107 108 110 112 113 122 123 129 134 138 140 141 143 144 145 146 147 148 150 157 162 163 168 171 179 188 189 190 200 204 206 208 211 212 216 219 222 223 224 226 230 242 243 247 248 252 258 260 261 263 264 266 267 271 273 275 278 279 284 285 287 290 297 298 303 307 309 310 312 313 314 317 318 324 325 327 331 336 338 339 340 343 348 350 358 360 375 382 383 388 390 392 395 396 397 398 399 401 402 404 408 419 420 423 425 a 1 3 5 6 10 11 15 22 24 32 33 36 38 40 41 43 45 57 59 61 66 68 71 72 73 80 83 86 87 88 90 93 96 99 100 101 106 107 108 110 112 113 122 123 129 134 138 140 141 143 144 145 146 147 148 150 157 162 163 168 171 179 188 189 190 200 204 206 208 211 212 216 219 222 223 224 226 230 242 243 247 248 252 258 260 261 263 264 266 267 271 273 275 278 279 284 285 287 290 297 298 303 307 309 310 312 313 314 317 318 324 325 327 331 336 338 339 340 343 348 350 358 360 375 382 383 388 390 392 395 396 397 398 399 401 402 404 408 419 420 423 425 a 1 3 5 6 10 11 15 22 24 32 33 36 38 40 41 43 45 57 59 61 66 68 71 72 73 80 83 86 87 88 90 93 96 99 100 101 106 107 108 110 112 113 122 123 129 138 140 141 143 144 145 146 147 148 150 157 162 163 168 171 179 188 189 190 200 204 206 208 211 212 216 219 222 223 224 226 230 242 243 247 248 252 258 260 261 263 264 266 267 271 273 275 278 279 284 285 287 290 297 298 303 307 309 310 312 313 314 317 318 324 325 327 331 332 336 338 339 340 343 348 350 358 360 375 382 383 388 390 392 395 396 397 398 399 401 402 404 408 419 420 423 425 a 1 3 5 6 10 11 15 22 24 32 33 36 38 40 41 43 45 57 59 61 66 68 71 72 73 80 83 86 87 88 90 93 96 99 100 101 106 107 110 112 113 122 123 129 138 140 141 143 144 145 146 147 148 150 157 162 163 168 171 179 188 189 190 200 204 206 208 211 212 216 219 222 223 224 226 230 242 243 247 248 252 254 258 260 261 263 264 266 267 271 273 275 278 279 284 285 287 290 297 298 303 307 309 310 312 313 314 317 318 324 325 327 331 332 336 338 339 340 343 348 350 358 360 375 382 383 388 390 392 395 396 397 398 399 401 402 404 408 419 420 423 425 a 1 3 5 6 10 11 15 22 24 32 33 36 38 40 41 45 57 59 61 66 68 71 72 73 78 80 83 86 87 88 90 93 96 99 100 101 106 107 110 112 113 122 123 129 138 140 141 143 144 145 146 147 148 150 157 162 163 168 171 179 188 189 190 200 204 206 208 211 212 216 219 222 223 224 226 230 242 243 247 248 252 254 258 260 261 263 264 266 267 271 273 275 278 279 284 285 287 290 297 298 303 307 309 310 312 313 314 317 318 324 325 327 331 332 336 338 339 340 343 348 350 358 360 375 382 383 388 390 392 395 396 397 398 399 401 402 404 408 419 420 423 425 a 1 3 5 6 10 11 15 22 24 32 33 36 38 40 41 45 57 59 61 66 68 71 72 73 78 80 81 83 86 87 88 90 93 96 99 100 101 106 107 110 112 113 122 123 129 138 140 141 143 144 145 146 147 148 150 157 162 163 168 171 179 188 189 190 200 204 206 208 211 212 216 219 222 223 224 226 230 242 243 247 248 252 254 258 260 261 263 264 266 271 273 275 278 279 284 285 287 290 297 298 303 307 309 310 312 313 314 317 318 324 325 327 331 332 336 338 339 340 343 348 350 358 360 375 382 383 388 390 392 395 396 397 398 399 401 402 404 408 419 420 423 425 a 1 3 5 6 10 11 15 22 24 32 33 36 38 40 41 45 57 59 61 66 68 71 72 73 78 80 81 83 86 87 88 90 93 96 99 100 101 106 107 110 112 113 122 123 129 138 140 141 143 144 145 146 147 148 150 152 157 162 163 168 171 179 188 189 190 200 204 206 208 211 212 216 219 222 223 224 226 230 242 243 247 248 252 254 258 260 261 263 264 266 271 273 275 278 279 284 285 287 290 297 298 303 307 309 310 312 313 314 317 318 324 325 327 331 332 336 338 339 340 343 348 350 358 360 375 382 383 388 390 395 396 397 398 399 401 402 404 408 419 420 423 425 a 1 3 5 6 10 11 15 22 24 32 33 36 38 40 41 45 57 59 61 66 68 71 72 73 78 80 81 83 86 87 88 90 93 96 99 100 101 106 107 110 112 113 122 123 129 138 140 141 143 144 145 146 147 148 150 152 157 162 163 168 171 179 188 189 190 200 203 204 206 208 211 212 216 219 222 223 224 226 230 242 243 247 248 252 254 258 260 261 263 264 266 271 273 275 278 279 284 285 287 290 297 298 303 307 309 310 312 313 314 317 318 324 325 327 331 332 336 338 339 340 343 348 350 358 360 375 382 383 388 390 395 396 397 398 399 401 402 408 419 420 423 425 a 1 3 5 6 10 11 15 22 24 32 33 36 38 40 41 45 57 59 61 66 68 71 72 73 78 80 81 83 86 87 88 90 93 96 99 100 101 106 107 110 112 113 122 123 129 138 140 141 143 144 145 146 147 148 150 152 157 162 163 168 171 179 184 188 189 190 200 203 204 206 208 211 212 216 219 222 223 224 226 230 242 243 247 248 252 254 258 260 261 263 264 266 271 273 275 278 279 284 285 287 290 297 303 307 309 310 312 313 314 317 318 324 325 327 331 332 336 338 339 340 343 348 350 358 360 375 382 383 388 390 395 396 397 398 399 401 402 408 419 420 423 425 a 1 3 5 6 10 11 15 22 24 32 33 36 38 40 41 45 57 59 61 66 68 71 72 73 78 80 81 83 86 87 88 90 93 96 99 100 101 105 106 107 110 112 113 122 123 129 138 140 141 143 144 145 146 147 148 150 152 157 162 163 168 171 179 184 188 189 190 203 204 206 208 211 212 216 219 222 223 224 226 230 242 243 247 248 252 254 258 260 261 263 264 266 271 273 275 278 279 284 285 287 290 297 303 307 309 310 312 313 314 317 318 324 325 327 331 332 336 338 339 340 343 348 350 358 360 375 382 383 388 390 395 396 397 398 399 401 402 408 419 420 423 425 a 1 3 5 6 10 11 15 22 24 32 33 36 38 40 41 45 54 57 59 61 66 68 71 72 73 78 80 81 83 86 87 88 90 93 96 99 100 101 105 106 107 110 113 122 123 129 138 140 141 143 144 145 146 147 148 150 152 157 162 163 168 171 179 184 188 189 190 203 204 206 208 211 212 216 219 222 223 224 226 230 242 243 247 248 252 254 258 260 261 263 264 266 271 273 275 278 279 284 285 287 290 297 303 307 309 310 312 313 314 317 318 324 325 327 331 332 336 338 339 340 343 348 350 358 360 375 382 383 388 390 395 396 397 398 399 401 402 408 419 420 423 425 a 1 3 5 6 10 11 15 22 24 32 33 36 38 40 41 45 54 57 59 61 66 68 71 72 73 78 80 81 83 86 87 88 90 93 96 99 100 101 105 106 107 110 113 122 123 129 138 140 141 143 144 145 146 147 148 150 152 157 162 163 168 171 179 184 188 189 190 203 204 206 208 211 212 216 219 222 223 224 226 230 242 243 247 248 252 254 258 260 261 263 264 266 271 273 275 278 279 284 285 287 290 297 307 309 310 312 313 314 317 318 324 325 327 331 332 336 338 339 340 343 346 348 350 358 360 375 382 383 388 390 395 396 397 398 399 401 402 408 419 420 423 425 a 1 3 5 6 10 11 15 22 24 32 33 36 38 40 41 45 54 57 59 61 66 68 71 72 73 78 80 81 83 86 87 88 90 96 99 100 101 105 106 107 110 113 122 123 129 138 140 141 143 144 145 146 147 148 150 152 157 162 163 168 171 179 184 188 189 190 203 204 206 208 211 212 216 218 219 222 223 224 226 230 242 243 247 248 252 254 258 260 261 263 264 266 271 273 275 278 279 284 285 287 290 297 307 309 310 312 313 314 317 318 324 325 327 331 332 336 338 339 340 343 346 348 350 358 360 375 382 383 388 390 395 396 397 398 399 401 402 408 419 420 423 425 a 1 3 5 6 10 11 15 22 24 32 33 36 38 41 45 54 57 59 61 66 68 71 72 73 78 80 81 83 86 87 88 90 96 99 100 101 105 106 107 110 113 122 123 129 138 140 141 143 144 145 146 147 148 150 152 157 162 163 168 171 179 184 188 189 190 203 204 206 207 208 211 212 216 218 219 222 223 224 226 230 242 243 247 248 252 254 258 260 261 263 264 266 271 273 275 278 279 284 285 287 290 297 307 309 310 312 313 314 317 318 324 325 327 331 332 336 338 339 340 343 346 348 350 358 360 375 382 383 388 390 395 396 397 398 399 401 402 408 419 420 423 425 a 1 3 5 6 10 11 15 22 24 32 33 36 38 41 45 54 57 59 61 66 68 71 72 73 78 80 81 83 86 87 88 90 96 99 100 101 105 106 107 110 113 123 129 137 138 140 141 143 144 145 146 147 148 150 152 157 162 163 168 171 179 184 188 189 190 203 204 206 207 208 211 212 216 218 219 222 223 224 226 230 242 243 247 248 252 254 258 260 261 263 264 266 271 273 275 278 279 284 285 287 290 297 307 309 310 312 313 314 317 318 324 325 327 331 332 336 338 339 340 343 346 348 350 358 360 375 382 383 388 390 395 396 397 398 399 401 402 408 419 420 423 425 a 1 3 5 6 10 15 22 24 32 33 36 38 41 45 54 57 59 61 66 68 71 72 73 78 80 81 83 86 87 88 90 96 99 100 101 105 106 107 110 113 123 129 137 138 140 141 143 144 145 146 147 148 150 152 157 162 163 168 171 179 184 188 189 190 203 204 206 207 208 211 212 216 218 219 222 223 224 226 230 242 243 247 248 252 254 258 260 261 263 264 266 271 273 275 278 279 284 285 287 290 297 307 309 310 312 313 314 317 318 324 325 327 331 332 336 338 339 340 343 346 348 350 353 358 360 375 382 383 388 390 395 396 397 398 399 401 402 408 419 420 423 425 a 1 3 5 6 10 15 22 24 32 33 36 38 41 45 54 57 59 61 66 68 71 72 73 78 80 81 83 86 87 88 90 96 99 100 101 105 106 107 110 113 123 129 137 138 140 141 143 144 145 146 147 148 150 152 157 162 163 168 171 179 184 188 189 190 203 204 206 207 208 211 212 216 218 219 222 223 224 226 230 242 243 247 248 252 254 258 260 261 263 264 266 271 273 275 278 279 284 285 290 297 307 308 309 310 312 313 314 317 318 324 325 327 331 332 336 338 339 340 343 346 348 350 353 358 360 375 382 383 388 390 395 396 397 398 399 401 402 408 419 420 423 425 a 1 3 5 6 10 15 22 24 32 33 36 38 41 45 54 57 59 61 66 68 71 72 73 78 80 81 83 86 87 88 90 96 99 100 101 105 106 107 110 123 129 137 138 140 141 143 144 145 146 147 148 150 152 157 162 163 168 171 179 184 188 189 190 203 204 206 207 208 211 212 216 218 219 222 223 224 226 230 242 243 247 248 252 254 258 260 261 263 264 266 271 273 275 278 279 284 285 290 297 307 308 309 310 312 313 314 317 318 324 325 327 331 332 336 338 339 340 343 346 348 350 353 358 360 364 375 382 383 388 390 395 396 397 398 399 401 402 408 419 420 423 425 a 1 3 5 6 10 15 22 24 32 33 36 38 41 45 54 57 59 61 66 68 71 72 73 78 80 81 83 86 87 88 90 96 99 100 101 105 106 107 110 123 137 138 140 141 143 144 145 146 147 148 150 152 157 162 163 168 171 179 184 188 189 190 198 203 204 206 207 208 211 212 216 218 219 222 223 224 226 230 242 243 247 248 252 254 258 260 261 263 264 266 271 273 275 278 279 284 285 290 297 307 308 309 310 312 313 314 317 318 324 325 327 331 332 336 338 339 340 343 346 348 350 353 358 360 364 375 382 383 388 390 395 396 397 398 399 401 402 408 419 420 423 425 a 1 3 5 6 10 15 22 24 32 33 36 38 41 45 54 57 59 61 66 68 71 72 73 78 80 81 83 86 87 88 90 96 99 100 101 105 106 107 110 123 137 138 140 141 143 144 145 146 147 148 150 152 157 162 163 168 171 174 179 184 188 189 190 198 203 204 206 207 208 211 212 216 218 219 222 223 224 226 230 242 243 247 248 252 254 258 260 261 263 264 266 271 273 275 278 279 284 285 290 297 307 308 309 310 312 313 314 317 318 325 327 331 332 336 338 339 340 343 346 348 350 353 358 360 364 375 382 383 388 390 395 396 397 398 399 401 402 408 419 420 423 425 a 1 3 5 6 10 15 22 24 32 33 36 38 41 45 54 57 59 61 66 68 71 72 73 78 80 81 83 86 87 90 96 99 100 101 105 106 107 110 123 137 138 140 141 143 144 145 146 147 148 150 152 157 162 163 168 171 174 179 184 188 189 190 198 203 204 206 207 208 211 212 216 218 219 222 223 224 226 230 242 243 247 248 252 254 255 258 260 261 263 264 266 271 273 275 278 279 284 285 290 297 307 308 309 310 312 313 314 317 318 325 327 331 332 336 338 339 340 343 346 348 350 353 358 360 364 375 382 383 388 390 395 396 397 398 399 401 402 408 419 420 423 425 a 1 3 5 6 10 15 22 24 32 33 36 38 41 45 54 57 59 61 66 68 71 72 73 78 80 81 83 86 87 90 96 99 100 101 105 106 107 110 123 137 138 140 141 143 144 145 146 147 150 152 157 162 163 168 171 174 179 184 188 189 190 198 203 204 206 207 208 211 212 216 218 219 222 223 224 226 230 242 243 247 248 252 254 255 258 260 261 263 264 266 271 273 275 278 279 283 284 285 290 297 307 308 309 310 312 313 314 317 318 325 327 331 332 336 338 339 340 343 346 348 350 353 358 360 364 375 382 383 388 390 395 396 397 398 399 401 402 408 419 420 423 425 a 1 3 5 6 10 15 22 32 33 36 38 41 45 54 57 59 61 66 68 71 72 73 78 80 81 83 86 87 90 96 99 100 101 102 105 106 107 110 123 137 138 140 141 143 144 145 146 147 150 152 157 162 163 168 171 174 179 184 188 189 190 198 203 204 206 207 208 211 212 216 218 219 222 223 224 226 230 242 243 247 248 252 254 255 258 260 261 263 264 266 271 273 275 278 279 283 284 285 290 297 307 308 309 310 312 313 314 317 318 325 327 331 332 336 338 339 340 343 346 348 350 353 358 360 364 375 382 383 388 390 395 396 397 398 399 401 402 408 419 420 423 425 a 1 3 5 6 10 15 22 32 33 36 38 41 45 54 57 59 61 66 68 71 72 73 78 80 81 83 86 87 90 96 99 100 101 102 105 106 107 110 123 126 137 138 140 141 143 144 145 146 147 150 152 157 162 163 168 171 174 179 184 188 189 190 198 203 204 206 207 208 211 212 216 218 219 222 223 224 226 230 242 243 247 248 252 254 255 258 260 261 263 266 271 273 275 278 279 283 284 285 290 297 307 308 309 310 312 313 314 317 318 325 327 331 332 336 338 339 340 343 346 348 350 353 358 360 364 375 382 383 388 390 395 396 397 398 399 401 402 408 419 420 423 425 a 1 3 5 6 10 15 16 22 32 33 36 38 41 45 54 57 59 61 66 68 71 72 73 78 80 81 83 86 87 90 96 99 100 101 102 105 106 107 110 123 126 137 138 140 141 143 144 145 146 147 150 152 157 162 163 168 171 174 179 184 188 189 190 198 203 204 206 207 208 211 212 216 218 219 222 223 224 226 230 242 243 247 248 252 254 255 258 260 261 263 266 271 273 275 278 279 283 284 285 290 297 307 308 309 310 312 313 314 317 318 325 327 331 332 336 338 340 343 346 348 350 353 358 360 364 375 382 383 388 390 395 396 397 398 399 401 402 408 419 420 423 425 a 1 3 5 6 10 15 16 22 32 33 36 38 41 45 54 57 59 61 66 68 71 72 73 78 80 81 83 86 87 90 96 99 100 101 102 105 106 107 110 123 126 137 138 140 141 143 144 145 146 147 150 152 157 162 163 168 171 174 179 184 188 189 190 198 203 204 206 207 208 211 212 216 218 219 222 223 224 226 230 242 243 248 252 254 255 258 260 261 263 266 271 273 275 278 279 283 284 285 290 297 307 308 309 310 312 313 314 317 318 325 326 327 331 332 336 338 340 343 346 348 350 353 358 360 364 375 382 383 388 390 395 396 397 398 399 401 402 408 419 420 423 425 a 1 3 5 6 10 15 16 22 32 33 36 38 41 45 53 54 57 59 61 66 68 71 72 73 78 80 81 86 87 90 96 99 100 101 102 105 106 107 110 123 126 137 138 140 141 143 144 145 146 147 150 152 157 162 163 168 171 174 179 184 188 189 190 198 203 204 206 207 208 211 212 216 218 219 222 223 224 226 230 242 243 248 252 254 255 258 260 261 263 266 271 273 275 278 279 283 284 285 290 297 307 308 309 310 312 313 314 317 318 325 326 327 331 332 336 338 340 343 346 348 350 353 358 360 364 375 382 383 388 390 395 396 397 398 399 401 402 408 419 420 423 425 a 1 3 5 6 10 15 16 22 32 33 36 38 41 45 53 54 57 59 61 66 68 71 72 73 78 80 81 86 87 90 96 99 100 101 102 105 106 107 110 123 126 137 140 141 143 144 145 146 147 150 152 157 162 163 168 171 174 179 184 188 189 190 198 203 204 206 207 208 211 212 216 218 219 222 223 224 226 227 230 242 243 248 252 254 255 258 260 261 263 266 271 273 275 278 279 283 284 285 290 297 307 308 309 310 312 313 314 317 318 325 326 327 331 332 336 338 340 343 346 348 350 353 358 360 364 375 382 383 388 390 395 396 397 398 399 401 402 408 419 420 423 425 a 1 3 5 6 10 15 16 22 32 33 36 38 41 45 53 54 57 59 61 66 68 71 72 73 78 80 81 87 90 96 99 100 101 102 105 106 107 110 123 126 137 140 141 143 144 145 146 147 150 152 157 162 163 168 171 174 179 184 188 189 190 198 203 204 206 207 208 211 212 216 218 219 222 223 224 226 227 230 242 243 248 252 254 255 258 260 261 263 266 271 273 275 278 279 283 284 285 290 297 307 308 309 310 312 313 314 317 318 325 326 327 331 332 336 338 340 343 346 348 350 353 358 360 364 375 376 382 383 388 390 395 396 397 398 399 401 402 408 419 420 423 425 a 1 3 5 6 10 15 16 22 32 33 36 38 41 45 53 54 57 59 61 66 68 71 72 73 78 80 81 87 90 96 99 100 101 102 105 106 107 110 123 126 137 140 141 143 144 145 146 147 150 152 162 163 168 171 174 179 184 188 189 190 198 203 204 206 207 208 211 212 216 218 219 222 223 224 226 227 230 242 243 248 252 254 255 258 260 261 263 266 271 273 275 278 279 283 284 285 290 297 307 308 309 310 312 313 314 317 318 325 326 327 331 332 335 336 338 340 343 346 348 350 353 358 360 364 375 376 382 383 388 390 395 396 397 398 399 401 402 408 419 420 423 425 c Step: 88 Command being timed: "python3 run_3.py --shortest -t4 /benchmark/random_instance/random_instance033_graph005.col /benchmark/random_instance/random_instance033_graph005_01.dat" User time (seconds): 14.37 System time (seconds): 0.27 Percent of CPU this job got: 238% Elapsed (wall clock) time (h:mm:ss or m:ss): 0:06.14 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): 375400 Average resident set size (kbytes): 0 Major (requiring I/O) page faults: 0 Minor (reclaiming a frame) page faults: 256814 Voluntary context switches: 15123 Involuntary context switches: 48 Swaps: 0 File system inputs: 0 File system outputs: 640 Socket messages sent: 0 Socket messages received: 0 Signals delivered: 0 Page size (bytes): 4096 Exit status: 0 #END: [Tue Sep 26 03:36:40 2023]