#BEGIN: [Mon Sep 4 15:09:54 2023] #HOST: s13 #TIMELIMIT: 1800 #MEMLIMIT: 0 #SOLVER: shortest-wallclock-banbaralab2-shortest2 #INSTANCE1: /benchmark/random_instance/random_instance032_graph001.col #INSTANCE2: /benchmark/random_instance/random_instance032_graph001_01.dat #COMMAND: docker run --cidfile /tmp/cid.txt --init --rm -t -v /home/share/benchmark/ISR-benchmark:/benchmark banbaralab2 --shortest -t4 /benchmark/random_instance/random_instance032_graph001.col /benchmark/random_instance/random_instance032_graph001_01.dat c /benchmark/random_instance/random_instance032_graph001.col c /benchmark/random_instance/random_instance032_graph001_01.dat s 295 219 82 306 346 304 88 312 98 75 137 40 171 180 73 369 133 232 200 34 364 256 231 253 46 173 261 278 94 92 47 361 18 50 168 122 221 44 86 271 9 37 17 240 266 61 338 201 263 230 127 68 280 91 323 291 118 59 43 197 215 23 35 416 250 81 80 42 352 248 404 69 347 367 386 302 190 169 262 129 406 378 182 128 39 177 192 376 114 293 216 83 259 146 348 214 111 6 1 371 340 246 147 377 238 396 235 285 368 321 318 4 57 198 344 307 319 145 411 188 211 70 124 251 151 305 11 360 284 252 119 t 209 5 72 163 346 63 14 284 65 99 316 349 282 350 76 183 61 49 125 154 25 296 234 175 33 211 412 190 170 216 366 138 331 109 135 261 21 403 354 192 3 8 159 291 178 264 88 240 223 4 385 193 259 256 388 398 248 252 227 293 305 370 379 134 364 317 214 150 406 400 221 149 393 249 13 332 92 239 276 382 378 96 108 171 85 52 91 38 245 165 43 323 372 341 119 401 307 254 94 184 384 231 16 250 225 342 123 168 224 219 328 191 387 28 241 206 205 57 257 279 95 327 361 344 312 151 6 140 263 111 54 a YES a 1 4 6 9 11 17 18 23 34 35 37 39 40 42 43 44 46 47 50 57 59 61 68 69 70 73 75 80 81 82 83 86 88 91 92 94 98 111 114 118 119 122 124 127 128 129 133 137 145 146 147 151 168 169 171 173 177 180 182 188 190 192 197 198 200 201 211 214 215 216 219 221 230 231 232 235 238 240 246 248 250 251 252 253 256 259 261 262 263 266 271 278 280 284 285 291 293 295 302 304 305 306 307 312 318 319 321 323 338 340 344 346 347 348 352 360 361 364 367 368 369 371 376 377 378 386 396 404 406 411 416 a 1 4 6 9 11 17 18 23 34 35 37 39 40 42 43 44 46 47 50 57 59 61 68 69 70 73 75 80 81 82 83 86 88 91 92 94 98 111 114 118 119 122 124 127 128 129 133 137 145 146 147 151 168 169 171 173 177 180 182 188 190 192 197 198 200 211 214 215 216 219 221 230 231 232 235 238 240 246 248 250 251 252 253 256 257 259 261 262 263 266 271 278 280 284 285 291 293 295 302 304 305 306 307 312 318 319 321 323 338 340 344 346 347 348 352 360 361 364 367 368 369 371 376 377 378 386 396 404 406 411 416 a 1 4 6 9 11 17 18 23 34 35 37 39 40 42 43 44 46 47 50 57 59 61 68 70 73 75 80 81 82 83 86 88 91 92 94 98 111 114 118 119 122 124 127 128 129 133 137 145 146 147 151 168 169 171 173 177 180 182 188 190 192 197 198 200 211 214 215 216 219 221 230 231 232 234 235 238 240 246 248 250 251 252 253 256 257 259 261 262 263 266 271 278 280 284 285 291 293 295 302 304 305 306 307 312 318 319 321 323 338 340 344 346 347 348 352 360 361 364 367 368 369 371 376 377 378 386 396 404 406 411 416 a 1 4 6 9 11 17 18 23 34 35 37 39 40 42 43 44 46 47 50 57 59 61 65 68 70 73 75 80 81 82 83 86 88 91 92 94 98 111 114 118 119 122 124 127 128 133 137 145 146 147 151 168 169 171 173 177 180 182 188 190 192 197 198 200 211 214 215 216 219 221 230 231 232 234 235 238 240 246 248 250 251 252 253 256 257 259 261 262 263 266 271 278 280 284 285 291 293 295 302 304 305 306 307 312 318 319 321 323 338 340 344 346 347 348 352 360 361 364 367 368 369 371 376 377 378 386 396 404 406 411 416 a 1 4 6 9 11 17 18 23 34 35 37 39 40 42 43 44 47 50 57 59 61 65 68 70 73 75 80 81 82 83 86 88 91 92 94 98 111 114 118 119 122 124 127 128 133 137 145 146 147 151 168 169 171 173 177 180 182 188 190 192 197 198 200 211 214 215 216 219 221 230 231 232 234 235 238 240 246 248 250 251 252 253 256 257 259 261 262 263 266 271 278 280 284 285 291 293 295 302 304 305 306 307 312 318 319 321 323 332 338 340 344 346 347 348 352 360 361 364 367 368 369 371 376 377 378 386 396 404 406 411 416 a 1 4 6 9 11 17 18 23 34 35 37 39 40 42 43 44 47 50 57 61 65 68 70 73 75 80 81 82 83 86 88 91 92 94 98 111 114 118 119 122 124 127 128 133 137 145 146 147 151 168 169 171 173 177 180 182 188 190 192 197 198 200 205 211 214 215 216 219 221 230 231 232 234 235 238 240 246 248 250 251 252 253 256 257 259 261 262 263 266 271 278 280 284 285 291 293 295 302 304 305 306 307 312 318 319 321 323 332 338 340 344 346 347 348 352 360 361 364 367 368 369 371 376 377 378 386 396 404 406 411 416 a 1 4 6 9 11 17 18 23 34 35 37 39 40 43 44 47 50 57 61 65 68 70 73 75 80 81 82 83 86 88 91 92 94 98 111 114 118 119 122 124 127 128 133 137 145 146 147 151 168 169 171 173 177 180 182 188 190 192 197 198 200 205 211 214 215 216 219 221 230 231 232 234 235 238 240 246 248 250 251 252 253 256 257 259 261 262 263 266 271 278 280 284 285 291 293 295 302 304 305 306 307 312 318 319 321 323 332 338 340 344 346 347 348 352 360 361 364 367 368 369 371 376 377 378 386 388 396 404 406 411 416 a 1 4 6 9 11 17 18 23 34 35 37 39 40 43 44 47 50 57 61 65 68 70 73 75 80 81 82 83 86 88 91 92 94 98 111 114 118 119 122 124 127 128 133 145 146 147 151 168 169 171 173 177 180 182 188 190 192 197 198 200 205 211 214 215 216 219 221 230 231 232 234 235 238 240 246 248 249 250 251 252 253 256 257 259 261 262 263 266 271 278 280 284 285 291 293 295 302 304 305 306 307 312 318 319 321 323 332 338 340 344 346 347 348 352 360 361 364 367 368 369 371 376 377 378 386 388 396 404 406 411 416 a 4 6 9 11 17 18 23 34 35 37 39 40 43 44 47 50 57 61 65 68 70 73 75 80 81 82 83 86 88 91 92 94 96 98 111 114 118 119 122 124 127 128 133 145 146 147 151 168 169 171 173 177 180 182 188 190 192 197 198 200 205 211 214 215 216 219 221 230 231 232 234 235 238 240 246 248 249 250 251 252 253 256 257 259 261 262 263 266 271 278 280 284 285 291 293 295 302 304 305 306 307 312 318 319 321 323 332 338 340 344 346 347 348 352 360 361 364 367 368 369 371 376 377 378 386 388 396 404 406 411 416 a 4 6 9 11 17 18 23 34 35 37 39 40 43 44 47 50 57 61 65 68 70 73 75 80 81 82 83 86 88 91 92 94 96 98 111 114 118 119 122 124 127 128 133 145 146 147 151 168 169 171 173 177 180 182 188 190 192 197 198 200 205 211 214 215 216 219 221 225 230 231 232 234 235 238 240 246 248 249 250 251 252 253 256 257 259 261 262 263 266 271 278 280 284 285 291 293 295 302 304 305 306 307 312 318 319 321 323 332 338 340 344 346 347 348 352 360 361 364 367 368 369 371 377 378 386 388 396 404 406 411 416 a 4 6 9 11 17 18 23 34 35 37 39 40 43 44 47 50 57 61 65 68 70 73 75 80 81 82 83 86 88 91 92 94 96 98 111 114 118 119 122 124 127 128 133 145 146 147 151 168 169 171 173 177 180 182 188 190 192 197 198 200 205 211 214 215 216 219 221 225 230 231 232 234 235 238 240 246 248 249 250 251 252 253 256 257 259 261 262 263 266 271 278 280 284 285 291 293 295 302 304 305 306 307 312 318 319 321 323 332 338 340 344 346 347 348 360 361 364 367 368 369 371 377 378 379 386 388 396 404 406 411 416 a 4 6 9 11 17 18 23 34 35 39 40 43 44 47 50 57 61 65 68 70 73 75 80 81 82 83 86 88 91 92 94 96 98 111 114 118 119 122 124 127 128 133 145 146 147 151 168 169 171 173 177 180 182 188 190 192 197 198 200 205 211 214 215 216 219 221 225 230 231 232 234 235 238 240 246 248 249 250 251 252 253 256 257 259 261 262 263 266 271 278 280 284 285 291 293 295 302 304 305 306 307 312 318 319 321 323 332 338 340 344 346 347 348 360 361 364 367 368 369 371 377 378 379 386 388 393 396 404 406 411 416 a 4 6 9 11 17 18 23 34 35 39 40 43 44 47 50 57 61 65 68 70 73 75 80 81 82 83 86 88 91 92 94 96 98 111 114 118 119 122 124 127 128 133 145 146 147 151 168 169 171 173 177 180 182 188 190 192 193 197 198 200 205 211 214 215 216 219 221 225 230 231 232 234 238 240 246 248 249 250 251 252 253 256 257 259 261 262 263 266 271 278 280 284 285 291 293 295 302 304 305 306 307 312 318 319 321 323 332 338 340 344 346 347 348 360 361 364 367 368 369 371 377 378 379 386 388 393 396 404 406 411 416 a 4 6 9 11 17 18 23 34 35 39 40 43 44 47 50 57 61 65 68 70 73 75 80 81 82 83 86 88 91 92 94 96 98 111 114 118 119 122 124 127 128 133 145 146 147 151 168 169 171 173 177 180 182 188 190 192 193 197 198 200 205 211 214 215 216 219 221 225 230 231 232 234 238 240 246 248 249 250 251 252 253 256 257 259 261 262 263 266 271 278 280 284 285 291 293 295 302 304 305 306 307 312 318 319 321 323 332 338 340 342 344 346 347 348 360 361 364 367 368 369 371 377 378 379 388 393 396 404 406 411 416 a 4 6 9 11 14 17 18 23 34 39 40 43 44 47 50 57 61 65 68 70 73 75 80 81 82 83 86 88 91 92 94 96 98 111 114 118 119 122 124 127 128 133 145 146 147 151 168 169 171 173 177 180 182 188 190 192 193 197 198 200 205 211 214 215 216 219 221 225 230 231 232 234 238 240 246 248 249 250 251 252 253 256 257 259 261 262 263 266 271 278 280 284 285 291 293 295 302 304 305 306 307 312 318 319 321 323 332 338 340 342 344 346 347 348 360 361 364 367 368 369 371 377 378 379 388 393 396 404 406 411 416 a 4 6 9 11 14 17 18 23 34 39 40 43 44 47 50 57 61 65 68 70 73 75 80 81 82 83 86 88 91 92 94 96 98 111 114 118 119 122 124 127 128 133 145 146 147 151 168 169 171 173 177 180 182 188 190 192 193 197 198 200 205 211 214 215 216 219 221 225 230 231 232 234 238 240 248 249 250 251 252 253 256 257 259 261 262 263 266 271 278 280 284 285 291 293 295 302 304 305 306 307 312 318 319 321 323 332 338 340 342 344 346 347 348 360 361 364 367 368 369 371 377 378 379 388 393 396 401 404 406 411 416 a 4 6 9 11 14 17 18 23 34 39 40 43 44 47 50 57 61 65 68 70 73 75 80 81 82 83 86 88 91 92 94 96 98 111 114 118 119 122 124 127 128 133 145 146 147 151 168 169 171 173 177 180 182 188 190 192 193 197 198 200 205 211 214 215 216 219 221 225 230 231 232 234 238 239 240 248 249 250 251 252 253 256 257 259 261 262 263 266 271 278 280 284 285 291 293 295 302 305 306 307 312 318 319 321 323 332 338 340 342 344 346 347 348 360 361 364 367 368 369 371 377 378 379 388 393 396 401 404 406 411 416 a 4 6 9 11 14 18 23 34 39 40 43 44 47 50 57 61 65 68 70 73 75 80 81 82 83 86 88 91 92 94 96 98 111 114 118 119 122 124 127 128 133 145 146 147 151 168 169 171 173 177 180 182 188 190 192 193 197 198 200 205 211 214 215 216 219 221 225 230 231 232 234 238 239 240 248 249 250 251 252 253 256 257 259 261 262 263 266 271 278 280 284 285 291 293 295 302 305 306 307 312 318 319 321 323 332 338 340 342 344 346 347 348 360 361 364 367 368 369 371 377 378 379 384 388 393 396 401 404 406 411 416 a 4 6 9 11 14 18 23 34 39 40 43 44 47 50 57 61 65 68 70 73 75 80 81 82 83 86 88 91 92 94 96 98 111 114 118 119 122 124 127 128 133 145 146 147 151 168 169 171 173 177 180 182 188 190 192 193 197 198 200 205 211 214 215 216 219 221 225 230 231 232 234 238 239 240 248 249 250 251 252 253 256 257 259 261 262 263 266 271 278 280 284 285 291 293 295 302 305 306 307 312 316 318 319 321 323 332 338 340 342 344 346 347 348 360 361 364 367 368 369 371 377 378 379 384 388 393 396 401 404 406 411 a 4 6 9 11 14 18 23 34 39 40 43 44 47 50 57 61 65 68 70 73 75 80 81 82 83 88 91 92 94 96 98 99 111 114 118 119 122 124 127 128 133 145 146 147 151 168 169 171 173 177 180 182 188 190 192 193 197 198 200 205 211 214 215 216 219 221 225 230 231 232 234 238 239 240 248 249 250 251 252 253 256 257 259 261 262 263 266 271 278 280 284 285 291 293 295 302 305 306 307 312 316 318 319 321 323 332 338 340 342 344 346 347 348 360 361 364 367 368 369 371 377 378 379 384 388 393 396 401 404 406 411 a 4 6 9 11 14 18 23 34 38 39 40 43 44 47 50 57 61 65 68 70 73 75 80 81 82 83 88 91 92 94 96 98 99 111 114 118 119 122 124 127 128 133 145 146 147 151 168 169 171 173 177 180 182 188 190 192 193 197 198 200 205 211 214 215 216 219 221 225 231 232 234 238 239 240 248 249 250 251 252 253 256 257 259 261 262 263 266 271 278 280 284 285 291 293 295 302 305 306 307 312 316 318 319 321 323 332 338 340 342 344 346 347 348 360 361 364 367 368 369 371 377 378 379 384 388 393 396 401 404 406 411 a 4 6 9 11 14 18 23 34 38 39 40 43 44 47 50 57 61 65 68 70 73 75 80 81 82 83 88 91 92 94 96 98 99 111 114 118 119 122 124 127 128 133 145 146 147 149 151 168 169 171 173 177 180 182 188 190 192 193 197 198 200 205 211 214 215 216 219 221 225 231 232 234 238 239 240 248 249 250 251 252 253 256 257 259 261 262 263 266 271 278 280 284 285 291 293 295 302 305 306 307 312 316 318 319 321 323 332 338 340 342 344 346 347 348 361 364 367 368 369 371 377 378 379 384 388 393 396 401 404 406 411 a 4 6 9 11 14 18 23 34 38 39 40 43 44 47 50 57 61 65 68 70 73 75 80 81 82 83 88 91 92 94 96 98 99 111 114 118 119 122 124 127 128 133 145 146 147 149 151 168 169 171 173 177 180 182 188 190 192 193 197 198 200 205 211 214 215 216 219 221 225 231 234 238 239 240 248 249 250 251 252 253 256 257 259 261 262 263 266 271 276 278 280 284 285 291 293 295 302 305 306 307 312 316 318 319 321 323 332 338 340 342 344 346 347 348 361 364 367 368 369 371 377 378 379 384 388 393 396 401 404 406 411 a 4 6 9 11 14 18 23 34 38 39 40 43 44 47 50 57 61 65 68 70 73 75 76 80 81 82 83 88 91 92 94 96 98 99 111 114 118 119 122 124 127 128 133 145 146 147 149 151 168 169 171 173 177 180 182 188 190 192 193 197 198 200 205 211 214 215 216 219 221 225 231 234 238 239 240 248 249 250 251 252 256 257 259 261 262 263 266 271 276 278 280 284 285 291 293 295 302 305 306 307 312 316 318 319 321 323 332 338 340 342 344 346 347 348 361 364 367 368 369 371 377 378 379 384 388 393 396 401 404 406 411 a 4 6 9 11 14 18 23 34 38 39 40 43 44 47 50 57 61 65 68 70 73 75 76 80 81 83 88 91 92 94 96 98 99 111 114 118 119 122 124 127 128 133 145 146 147 149 151 168 169 171 173 177 180 182 188 190 192 193 197 198 200 205 211 214 215 216 219 221 225 231 234 238 239 240 248 249 250 251 252 256 257 259 261 262 263 266 271 276 278 280 284 285 291 293 295 302 305 306 307 312 316 318 319 321 323 332 338 340 342 344 346 347 348 361 364 367 368 369 371 372 377 378 379 384 388 393 396 401 404 406 411 a 4 6 9 11 14 18 23 34 38 39 40 43 44 47 50 57 61 65 68 70 73 75 76 80 81 83 88 91 92 94 96 98 99 111 114 118 119 122 124 127 128 133 145 146 147 149 151 168 171 173 177 180 182 188 190 192 193 197 198 200 205 211 214 215 216 219 221 225 231 234 238 239 240 248 249 250 251 252 256 257 259 261 262 263 266 271 276 278 280 284 285 291 293 295 302 305 306 307 312 316 318 319 321 323 332 338 340 342 344 346 347 348 361 364 367 368 369 371 372 377 378 379 384 387 388 393 396 401 404 406 411 a 4 6 9 11 14 18 23 34 38 39 40 43 44 47 50 57 61 63 65 70 73 75 76 80 81 83 88 91 92 94 96 98 99 111 114 118 119 122 124 127 128 133 145 146 147 149 151 168 171 173 177 180 182 188 190 192 193 197 198 200 205 211 214 215 216 219 221 225 231 234 238 239 240 248 249 250 251 252 256 257 259 261 262 263 266 271 276 278 280 284 285 291 293 295 302 305 306 307 312 316 318 319 321 323 332 338 340 342 344 346 347 348 361 364 367 368 369 371 372 377 378 379 384 387 388 393 396 401 404 406 411 a 4 6 9 11 14 18 23 34 38 39 40 43 44 47 57 61 63 65 70 73 75 76 80 81 83 88 91 92 94 96 98 99 111 114 118 119 122 124 125 127 128 133 145 146 147 149 151 168 171 173 177 180 182 188 190 192 193 197 198 200 205 211 214 215 216 219 221 225 231 234 238 239 240 248 249 250 251 252 256 257 259 261 262 263 266 271 276 278 280 284 285 291 293 295 302 305 306 307 312 316 318 319 321 323 332 338 340 342 344 346 347 348 361 364 367 368 369 371 372 377 378 379 384 387 388 393 396 401 404 406 411 a 4 6 11 14 18 23 34 38 39 40 43 44 47 57 61 63 65 70 73 75 76 80 81 83 88 91 92 94 96 98 99 111 114 118 119 122 124 125 127 128 133 145 146 147 149 151 168 171 173 177 180 182 188 190 192 193 197 198 200 205 211 214 215 216 219 221 225 231 234 238 239 240 248 249 250 251 252 256 257 259 261 262 263 266 271 276 278 280 284 285 291 293 295 302 305 306 307 312 316 317 318 319 321 323 332 338 340 342 344 346 347 348 361 364 367 368 369 371 372 377 378 379 384 387 388 393 396 401 404 406 411 a 4 6 11 14 18 23 34 38 39 40 43 44 47 57 61 63 65 70 73 75 76 80 81 83 88 91 92 94 96 98 99 111 114 118 119 122 124 125 127 128 133 145 146 147 149 151 168 171 173 177 180 182 188 190 192 193 197 198 200 205 211 214 215 216 219 221 225 231 234 238 239 240 248 249 250 251 252 256 257 259 261 262 263 266 271 276 278 284 285 291 293 295 302 305 306 307 312 316 317 318 319 321 323 332 338 340 342 344 346 347 348 354 361 364 367 368 369 371 372 377 378 379 384 387 388 393 396 401 404 406 411 a 4 6 11 14 18 23 34 38 39 40 43 44 47 57 61 63 65 70 73 75 76 80 81 83 88 91 92 94 96 98 99 111 114 118 119 122 124 125 127 128 133 145 146 147 149 151 154 168 171 173 177 180 182 188 190 192 193 197 198 200 205 211 214 215 216 219 221 225 231 234 238 239 240 248 249 250 251 252 256 257 259 261 262 263 266 271 276 278 284 285 291 293 295 302 305 306 307 312 316 317 318 319 321 323 332 338 340 342 344 346 347 348 354 361 364 367 368 369 371 372 377 378 379 384 387 388 393 396 401 406 411 a 4 6 11 14 18 23 34 38 39 40 43 44 47 57 61 63 65 70 73 75 76 80 81 83 88 91 92 94 96 98 99 111 114 118 119 122 125 127 128 133 140 145 146 147 149 151 154 168 171 173 177 180 182 188 190 192 193 197 198 200 205 211 214 215 216 219 221 225 231 234 238 239 240 248 249 250 251 252 256 257 259 261 262 263 266 271 276 278 284 285 291 293 295 302 305 306 307 312 316 317 318 319 321 323 332 338 340 342 344 346 347 348 354 361 364 367 368 369 371 372 377 378 379 384 387 388 393 396 401 406 411 a 4 6 11 14 18 23 34 38 39 40 43 44 47 57 61 63 65 70 73 75 76 80 81 83 88 91 92 94 96 98 99 111 114 118 119 122 125 128 133 140 145 146 147 149 151 154 168 171 173 177 180 182 188 190 192 193 197 198 200 205 211 214 215 216 219 221 225 231 234 238 239 240 248 249 250 251 252 256 257 259 261 262 263 266 271 276 278 284 285 291 293 295 302 305 306 307 312 316 317 318 319 321 323 332 338 340 342 344 346 347 348 350 354 361 364 367 368 369 371 372 377 378 379 384 387 388 393 396 401 406 411 a 4 6 11 14 18 23 34 38 39 40 43 44 47 57 61 63 65 70 75 76 80 81 83 88 91 92 94 96 98 99 111 114 118 119 122 125 128 133 140 145 146 147 149 151 154 168 171 173 177 180 182 188 190 192 193 197 198 200 205 211 214 215 216 219 221 224 225 231 234 238 239 240 248 249 250 251 252 256 257 259 261 262 263 266 271 276 278 284 285 291 293 295 302 305 306 307 312 316 317 318 319 321 323 332 338 340 342 344 346 347 348 350 354 361 364 367 368 369 371 372 377 378 379 384 387 388 393 396 401 406 411 a 4 6 11 14 18 23 34 38 39 40 43 44 47 57 61 63 65 70 75 76 80 81 83 88 91 92 94 96 98 99 111 114 118 119 122 125 128 133 140 145 146 147 149 151 154 168 171 173 177 180 182 188 190 192 193 197 198 200 205 209 211 214 215 216 219 221 224 225 231 234 238 239 240 248 249 250 251 252 256 257 259 261 262 263 266 271 276 278 284 285 291 293 295 302 305 306 307 312 316 317 318 319 321 323 332 338 340 342 344 346 347 348 350 354 361 364 367 368 369 371 372 377 378 379 384 387 388 393 396 401 406 a 3 4 6 11 14 18 23 34 38 39 40 43 44 47 57 61 63 65 70 75 76 80 81 83 88 91 92 94 96 98 99 111 114 118 119 122 125 128 133 140 145 146 147 149 151 154 168 171 173 177 180 182 188 190 192 193 197 198 200 205 209 211 214 215 216 219 221 224 225 231 234 238 239 240 248 249 250 251 252 256 257 259 261 262 263 266 271 276 278 284 291 293 295 302 305 306 307 312 316 317 318 319 321 323 332 338 340 342 344 346 347 348 350 354 361 364 367 368 369 371 372 377 378 379 384 387 388 393 396 401 406 a 3 4 6 11 14 18 23 34 38 39 40 43 44 47 57 61 63 65 70 75 76 80 81 83 88 91 92 94 96 98 99 111 114 119 122 125 128 133 140 145 146 147 149 151 154 168 171 173 177 180 182 188 190 192 193 197 198 200 205 209 211 214 215 216 219 221 224 225 231 234 238 239 240 241 248 249 250 251 252 256 257 259 261 262 263 266 271 276 278 284 291 293 295 302 305 306 307 312 316 317 318 319 321 323 332 338 340 342 344 346 347 348 350 354 361 364 367 368 369 371 372 377 378 379 384 387 388 393 396 401 406 a 3 4 6 11 14 23 34 38 39 40 43 44 47 49 57 61 63 65 70 75 76 80 81 83 88 91 92 94 96 98 99 111 114 119 122 125 128 133 140 145 146 147 149 151 154 168 171 173 177 180 182 188 190 192 193 197 198 200 205 209 211 214 215 216 219 221 224 225 231 234 238 239 240 241 248 249 250 251 252 256 257 259 261 262 263 266 271 276 278 284 291 293 295 302 305 306 307 312 316 317 318 319 321 323 332 338 340 342 344 346 347 348 350 354 361 364 367 368 369 371 372 377 378 379 384 387 388 393 396 401 406 a 3 4 6 11 14 23 34 38 39 40 43 44 47 49 57 61 63 65 75 76 80 81 83 88 91 92 94 96 98 99 111 114 119 122 125 128 133 140 145 146 147 149 151 154 168 171 173 177 180 182 188 190 192 193 197 198 200 205 206 209 211 214 215 216 219 221 224 225 231 234 238 239 240 241 248 249 250 251 252 256 257 259 261 262 263 266 271 276 278 284 291 293 295 302 305 306 307 312 316 317 318 319 321 323 332 338 340 342 344 346 347 348 350 354 361 364 367 368 369 371 372 377 378 379 384 387 388 393 396 401 406 a 3 4 6 11 14 16 23 34 38 39 40 43 44 47 49 57 61 63 65 75 76 80 81 83 88 91 92 94 96 98 99 111 114 119 122 125 128 133 140 145 146 147 149 151 154 168 171 173 177 180 182 188 190 192 193 197 198 200 205 206 209 211 214 215 216 219 221 224 225 231 234 238 239 240 241 248 249 250 252 256 257 259 261 262 263 266 271 276 278 284 291 293 295 302 305 306 307 312 316 317 318 319 321 323 332 338 340 342 344 346 347 348 350 354 361 364 367 368 369 371 372 377 378 379 384 387 388 393 396 401 406 a 3 4 6 11 14 16 23 34 38 39 40 43 44 47 49 57 61 63 65 75 76 80 81 83 88 91 92 94 96 98 99 111 114 119 122 125 128 133 140 145 146 147 149 151 154 168 171 173 177 178 180 182 188 190 192 193 197 198 200 205 206 209 211 214 216 219 221 224 225 231 234 238 239 240 241 248 249 250 252 256 257 259 261 262 263 266 271 276 278 284 291 293 295 302 305 306 307 312 316 317 318 319 321 323 332 338 340 342 344 346 347 348 350 354 361 364 367 368 369 371 372 377 378 379 384 387 388 393 396 401 406 a 3 4 6 11 14 16 23 38 39 40 43 44 47 49 57 61 63 65 75 76 80 81 83 88 91 92 94 96 98 99 111 114 119 122 125 128 133 140 145 146 147 149 151 154 165 168 171 173 177 178 180 182 188 190 192 193 197 198 200 205 206 209 211 214 216 219 221 224 225 231 234 238 239 240 241 248 249 250 252 256 257 259 261 262 263 266 271 276 278 284 291 293 295 302 305 306 307 312 316 317 318 319 321 323 332 338 340 342 344 346 347 348 350 354 361 364 367 368 369 371 372 377 378 379 384 387 388 393 396 401 406 a 3 4 6 11 14 16 23 38 39 43 44 47 49 57 61 63 65 75 76 80 81 83 88 91 92 94 96 98 99 111 114 119 122 125 128 133 140 145 146 147 149 151 154 165 168 171 173 177 178 180 182 184 188 190 192 193 197 198 200 205 206 209 211 214 216 219 221 224 225 231 234 238 239 240 241 248 249 250 252 256 257 259 261 262 263 266 271 276 278 284 291 293 295 302 305 306 307 312 316 317 318 319 321 323 332 338 340 342 344 346 347 348 350 354 361 364 367 368 369 371 372 377 378 379 384 387 388 393 396 401 406 a 3 4 6 11 14 16 23 38 39 43 44 47 49 57 61 63 65 75 76 80 81 88 91 92 94 96 98 99 111 114 119 122 125 128 133 140 145 146 147 149 151 154 165 168 171 173 177 178 180 182 184 188 190 192 193 197 198 200 205 206 209 211 214 216 219 221 224 225 231 234 238 239 240 241 248 249 250 252 256 257 259 261 262 263 266 271 276 278 284 291 293 295 302 305 306 307 312 316 317 318 319 321 323 327 332 338 340 342 344 346 347 348 350 354 361 364 367 368 369 371 372 377 378 379 384 387 388 393 396 401 406 a 3 4 6 11 14 16 23 38 39 43 44 47 49 57 61 63 65 76 80 81 88 91 92 94 96 98 99 111 114 119 122 125 128 133 140 145 146 147 149 151 154 165 168 171 173 177 178 180 182 184 188 190 192 193 197 198 200 205 206 209 211 214 216 219 221 224 225 231 234 238 239 240 241 248 249 250 252 256 257 259 261 262 263 264 266 271 276 278 284 291 293 295 302 305 306 307 312 316 317 318 319 321 323 327 332 338 340 342 344 346 347 348 350 354 361 364 367 368 369 371 372 377 378 379 384 387 388 393 396 401 406 a 3 4 6 11 14 16 23 38 39 43 47 49 57 61 63 65 76 80 81 88 91 92 94 96 98 99 111 114 119 122 125 128 133 140 145 146 147 149 150 151 154 165 168 171 173 177 178 180 182 184 188 190 192 193 197 198 200 205 206 209 211 214 216 219 221 224 225 231 234 238 239 240 241 248 249 250 252 256 257 259 261 262 263 264 266 271 276 278 284 291 293 295 302 305 306 307 312 316 317 318 319 321 323 327 332 338 340 342 344 346 347 348 350 354 361 364 367 368 369 371 372 377 378 379 384 387 388 393 396 401 406 a 3 4 6 11 14 16 23 38 39 43 47 49 57 61 63 65 76 80 81 88 91 92 94 96 98 99 111 114 119 122 125 128 133 140 145 146 147 149 150 151 154 165 168 171 173 177 178 180 182 184 188 190 192 193 197 198 200 205 206 209 211 214 216 219 221 224 225 231 234 238 239 240 241 248 249 250 252 256 257 259 261 262 263 264 266 271 276 278 284 291 293 295 302 305 307 312 316 317 318 319 321 323 327 332 338 340 342 344 346 347 348 350 354 361 364 367 368 369 371 372 377 378 379 384 387 388 393 396 401 403 406 a 3 4 6 11 14 16 23 38 39 43 47 49 57 61 63 65 76 81 88 91 92 94 96 98 99 111 114 119 122 125 128 133 140 145 146 147 149 150 151 154 165 168 171 173 177 178 180 182 184 188 190 192 193 197 198 200 205 206 209 211 214 216 219 221 224 225 231 234 238 239 240 241 248 249 250 252 256 257 259 261 262 263 264 266 271 276 278 284 291 293 295 302 305 307 312 316 317 318 319 321 323 327 332 338 340 342 344 346 347 348 350 354 361 364 367 368 369 371 372 377 378 379 384 387 388 393 396 398 401 403 406 a 3 4 6 11 14 16 23 38 39 43 47 49 57 61 63 65 76 81 88 91 92 94 96 98 99 111 114 119 122 125 128 133 140 145 146 147 149 150 151 154 165 168 171 173 177 178 180 182 184 188 190 192 193 197 198 200 205 206 209 211 214 216 219 221 224 225 227 231 234 238 239 240 241 248 249 250 252 256 257 259 261 262 263 264 266 271 276 278 284 291 293 295 302 305 307 312 316 317 318 319 321 323 327 332 340 342 344 346 347 348 350 354 361 364 367 368 369 371 372 377 378 379 384 387 388 393 396 398 401 403 406 a 3 4 6 11 14 16 23 38 39 43 47 49 57 61 63 65 76 81 88 91 92 94 96 98 99 111 114 119 122 125 128 133 140 145 146 147 149 150 151 154 165 168 171 173 177 178 180 182 184 188 190 192 193 197 198 200 205 206 209 211 214 216 219 221 224 225 227 231 234 238 239 240 241 248 249 250 252 256 257 259 261 262 263 264 266 271 276 278 284 291 293 295 302 305 307 312 316 317 318 319 321 323 327 328 332 340 342 344 346 347 348 350 354 361 364 367 368 371 372 377 378 379 384 387 388 393 396 398 401 403 406 a 3 4 6 11 14 16 23 38 39 43 47 49 57 61 63 65 76 81 88 91 92 94 96 98 99 111 114 119 122 125 128 133 140 145 146 147 149 150 151 154 165 168 170 171 173 177 178 180 182 184 188 190 192 193 197 198 200 205 206 209 211 214 216 219 221 224 225 227 231 234 238 239 240 241 248 249 250 252 256 257 259 261 262 263 264 266 271 276 284 291 293 295 302 305 307 312 316 317 318 319 321 323 327 328 332 340 342 344 346 347 348 350 354 361 364 367 368 371 372 377 378 379 384 387 388 393 396 398 401 403 406 a 3 4 6 11 14 16 23 38 39 43 47 49 57 61 63 65 76 81 88 91 92 94 96 98 99 111 114 119 122 125 128 133 140 145 146 147 149 150 151 154 165 168 170 171 173 177 178 180 182 184 188 190 192 193 197 198 200 205 206 209 211 214 216 219 221 224 225 227 231 234 239 240 241 248 249 250 252 256 257 259 261 262 263 264 266 271 276 284 291 293 295 302 305 307 312 316 317 318 319 321 323 327 328 332 340 342 344 346 347 348 350 354 361 364 367 368 371 372 377 378 379 384 385 387 388 393 396 398 401 403 406 a 3 4 6 11 14 16 23 38 39 43 47 49 57 61 63 65 76 81 88 91 92 94 96 98 99 108 111 114 119 122 125 128 133 140 145 146 147 149 150 151 154 165 168 170 171 173 177 178 180 182 184 188 190 192 193 197 198 200 205 206 209 211 214 216 219 221 224 225 227 231 234 239 240 241 248 249 250 252 256 257 259 261 262 263 264 266 271 276 284 291 293 295 302 305 307 312 316 317 318 319 321 323 327 328 332 340 342 344 346 347 348 350 354 361 364 367 371 372 377 378 379 384 385 387 388 393 396 398 401 403 406 a 3 4 6 11 14 16 23 38 39 43 47 49 57 61 63 65 76 81 88 91 92 94 96 98 99 108 111 114 119 122 125 128 133 140 145 146 147 149 150 151 154 165 168 170 171 173 177 178 180 184 188 190 192 193 197 198 200 205 206 209 211 214 216 219 221 224 225 227 231 234 239 240 241 248 249 250 252 254 256 257 259 261 262 263 264 266 271 276 284 291 293 295 302 305 307 312 316 317 318 319 321 323 327 328 332 340 342 344 346 347 348 350 354 361 364 367 371 372 377 378 379 384 385 387 388 393 396 398 401 403 406 a 3 4 6 11 14 16 23 38 39 43 47 49 57 61 63 65 76 81 88 91 92 94 96 98 99 108 111 114 119 122 125 128 133 140 145 146 147 149 150 151 154 165 168 170 171 173 177 178 180 184 188 190 192 193 197 198 205 206 209 211 214 216 219 221 224 225 227 231 234 239 240 241 248 249 250 252 254 256 257 259 261 262 263 264 266 271 276 284 291 293 295 302 305 307 312 316 317 318 319 321 323 327 328 332 340 342 344 346 347 348 350 354 361 364 366 367 371 372 377 378 379 384 385 387 388 393 396 398 401 403 406 a 3 4 6 11 14 16 23 38 39 43 47 49 57 61 63 65 76 81 88 91 92 94 96 98 99 108 111 114 119 122 125 128 133 140 145 146 147 149 150 151 154 165 168 170 171 173 175 177 178 180 184 188 190 192 193 197 198 205 206 209 211 214 216 219 221 224 225 227 231 234 239 240 241 248 249 250 252 254 256 257 259 261 262 263 264 266 271 276 284 291 293 302 305 307 312 316 317 318 319 321 323 327 328 332 340 342 344 346 347 348 350 354 361 364 366 367 371 372 377 378 379 384 385 387 388 393 396 398 401 403 406 a 3 4 6 11 14 16 21 23 38 39 43 47 49 57 61 63 65 76 81 88 91 92 94 96 98 99 108 111 114 119 122 125 128 133 140 145 146 147 149 150 151 154 165 168 170 171 173 175 177 178 184 188 190 192 193 197 198 205 206 209 211 214 216 219 221 224 225 227 231 234 239 240 241 248 249 250 252 254 256 257 259 261 262 263 264 266 271 276 284 291 293 302 305 307 312 316 317 318 319 321 323 327 328 332 340 342 344 346 347 348 350 354 361 364 366 367 371 372 377 378 379 384 385 387 388 393 396 398 401 403 406 a 3 4 6 11 14 16 21 23 38 39 43 47 49 57 61 63 65 76 81 88 91 92 94 96 98 99 108 111 114 119 122 125 128 133 140 145 146 147 149 150 151 154 165 168 170 171 173 175 178 184 188 190 192 193 197 198 205 206 209 211 214 216 219 221 224 225 227 231 234 239 240 241 248 249 250 252 254 256 257 259 261 262 263 264 266 271 276 284 291 293 302 305 307 312 316 317 318 319 321 323 327 328 332 340 341 342 344 346 347 348 350 354 361 364 366 367 371 372 377 378 379 384 385 387 388 393 396 398 401 403 406 a 3 4 6 11 14 16 21 23 38 39 43 47 49 57 61 63 65 76 81 85 88 91 92 94 96 98 99 108 111 114 119 122 125 128 133 140 146 147 149 150 151 154 165 168 170 171 173 175 178 184 188 190 192 193 197 198 205 206 209 211 214 216 219 221 224 225 227 231 234 239 240 241 248 249 250 252 254 256 257 259 261 262 263 264 266 271 276 284 291 293 302 305 307 312 316 317 318 319 321 323 327 328 332 340 341 342 344 346 347 348 350 354 361 364 366 367 371 372 377 378 379 384 385 387 388 393 396 398 401 403 406 a 3 4 6 11 14 16 21 23 28 38 39 43 47 49 57 61 63 65 76 85 88 91 92 94 96 98 99 108 111 114 119 122 125 128 133 140 146 147 149 150 151 154 165 168 170 171 173 175 178 184 188 190 192 193 197 198 205 206 209 211 214 216 219 221 224 225 227 231 234 239 240 241 248 249 250 252 254 256 257 259 261 262 263 264 266 271 276 284 291 293 302 305 307 312 316 317 318 319 321 323 327 328 332 340 341 342 344 346 347 348 350 354 361 364 366 367 371 372 377 378 379 384 385 387 388 393 396 398 401 403 406 a 3 4 6 11 14 16 21 28 38 39 43 47 49 57 61 63 65 76 85 88 91 92 94 96 98 99 108 111 114 119 122 125 128 133 138 140 146 147 149 150 151 154 165 168 170 171 173 175 178 184 188 190 192 193 197 198 205 206 209 211 214 216 219 221 224 225 227 231 234 239 240 241 248 249 250 252 254 256 257 259 261 262 263 264 266 271 276 284 291 293 302 305 307 312 316 317 318 319 321 323 327 328 332 340 341 342 344 346 347 348 350 354 361 364 366 367 371 372 377 378 379 384 385 387 388 393 396 398 401 403 406 a 3 4 6 11 14 16 21 28 38 39 43 47 49 57 61 63 65 76 85 88 91 92 94 96 98 99 108 111 114 119 122 125 128 133 138 140 146 147 149 150 151 154 165 168 170 171 173 175 178 184 188 190 192 193 197 198 205 206 209 211 214 216 219 221 224 225 227 231 234 239 240 241 248 249 250 252 254 256 257 259 261 262 263 264 266 271 276 284 291 293 302 305 307 312 316 317 318 319 321 323 327 328 332 340 341 342 344 346 347 348 350 354 361 364 366 367 371 372 378 379 382 384 385 387 388 393 396 398 401 403 406 a 3 4 6 11 14 16 21 28 38 39 43 47 49 57 61 63 65 76 85 88 91 92 94 95 96 98 99 108 111 114 119 122 125 128 133 138 140 146 147 149 150 151 154 165 168 170 171 173 175 178 184 188 190 192 193 197 198 205 206 209 211 214 216 219 221 224 225 227 231 234 239 240 241 248 249 250 252 254 256 257 259 261 262 263 264 266 271 276 284 291 293 302 305 307 312 316 317 318 319 321 323 327 328 332 340 341 342 344 346 347 348 350 354 361 364 366 371 372 378 379 382 384 385 387 388 393 396 398 401 403 406 a 3 4 6 11 14 16 21 28 38 39 43 47 49 57 61 63 65 76 85 88 91 92 94 95 96 98 99 108 111 114 119 122 125 128 133 138 140 146 147 149 150 151 154 163 165 168 170 171 173 175 178 184 188 190 192 193 198 205 206 209 211 214 216 219 221 224 225 227 231 234 239 240 241 248 249 250 252 254 256 257 259 261 262 263 264 266 271 276 284 291 293 302 305 307 312 316 317 318 319 321 323 327 328 332 340 341 342 344 346 347 348 350 354 361 364 366 371 372 378 379 382 384 385 387 388 393 396 398 401 403 406 a 3 4 6 11 14 16 21 28 38 39 43 47 49 57 61 63 65 72 76 85 88 91 92 94 95 96 98 99 108 111 114 119 122 125 128 133 138 140 146 147 149 150 151 154 163 165 168 170 171 173 175 178 184 188 190 192 193 198 205 206 209 211 214 216 219 221 224 225 227 231 234 239 240 241 248 249 250 252 254 256 257 259 261 262 263 264 266 271 276 284 291 293 305 307 312 316 317 318 319 321 323 327 328 332 340 341 342 344 346 347 348 350 354 361 364 366 371 372 378 379 382 384 385 387 388 393 396 398 401 403 406 a 3 4 6 11 14 16 21 28 38 39 43 49 57 61 63 65 72 76 85 88 91 92 94 95 96 98 99 108 111 114 119 122 125 128 133 138 140 146 147 149 150 151 154 163 165 168 170 171 173 175 178 184 188 190 191 192 193 198 205 206 209 211 214 216 219 221 224 225 227 231 234 239 240 241 248 249 250 252 254 256 257 259 261 262 263 264 266 271 276 284 291 293 305 307 312 316 317 318 319 321 323 327 328 332 340 341 342 344 346 347 348 350 354 361 364 366 371 372 378 379 382 384 385 387 388 393 396 398 401 403 406 a 3 4 6 11 14 16 21 28 38 39 43 49 57 61 63 65 72 76 85 88 91 92 94 95 96 98 99 108 111 114 119 122 125 128 133 135 138 140 146 147 149 150 151 154 163 165 168 170 171 173 175 178 184 188 190 191 192 193 198 205 206 209 211 214 216 219 221 224 225 227 231 234 239 240 241 248 249 250 252 254 256 257 259 261 262 263 264 266 271 276 284 291 293 305 307 312 316 317 318 319 323 327 328 332 340 341 342 344 346 347 348 350 354 361 364 366 371 372 378 379 382 384 385 387 388 393 396 398 401 403 406 a 3 4 6 11 14 16 21 28 38 39 43 49 57 61 63 65 72 76 85 88 91 92 94 95 96 98 99 108 111 114 119 122 125 128 133 135 138 140 146 149 150 151 154 163 165 168 170 171 173 175 178 184 188 190 191 192 193 198 205 206 209 211 214 216 219 221 223 224 225 227 231 234 239 240 241 248 249 250 252 254 256 257 259 261 262 263 264 266 271 276 284 291 293 305 307 312 316 317 318 319 323 327 328 332 340 341 342 344 346 347 348 350 354 361 364 366 371 372 378 379 382 384 385 387 388 393 396 398 401 403 406 a 3 4 6 11 14 16 21 25 28 38 39 43 49 57 61 63 65 72 76 85 88 91 92 94 95 96 98 99 108 111 119 122 125 128 133 135 138 140 146 149 150 151 154 163 165 168 170 171 173 175 178 184 188 190 191 192 193 198 205 206 209 211 214 216 219 221 223 224 225 227 231 234 239 240 241 248 249 250 252 254 256 257 259 261 262 263 264 266 271 276 284 291 293 305 307 312 316 317 318 319 323 327 328 332 340 341 342 344 346 347 348 350 354 361 364 366 371 372 378 379 382 384 385 387 388 393 396 398 401 403 406 a 3 4 6 11 14 16 21 25 28 38 39 43 49 57 61 63 65 72 76 85 88 91 92 94 95 96 98 99 108 111 119 122 125 128 133 135 138 140 146 149 150 151 154 163 165 168 170 171 173 175 178 184 188 190 191 192 193 198 205 206 209 211 214 216 219 221 223 224 225 227 231 234 239 240 241 248 249 250 252 254 256 257 259 261 263 264 266 271 276 284 291 293 305 307 312 316 317 318 319 323 327 328 332 340 341 342 344 346 347 348 350 354 361 364 366 370 371 372 378 379 382 384 385 387 388 393 396 398 401 403 406 a 3 4 6 11 14 16 21 25 28 38 39 43 49 57 61 63 65 72 76 85 88 91 92 94 95 96 98 99 108 111 119 122 125 128 133 135 138 140 146 149 150 151 154 163 165 168 170 171 173 175 178 184 188 190 191 192 193 198 205 206 209 211 214 216 219 221 223 224 225 227 231 234 239 240 241 245 248 249 250 252 254 256 257 259 261 263 264 266 271 276 284 291 293 305 307 312 316 317 318 319 323 327 328 332 340 341 342 344 346 347 348 350 354 361 364 366 370 372 378 379 382 384 385 387 388 393 396 398 401 403 406 a 3 4 6 11 14 16 21 25 28 33 38 39 43 49 57 61 63 65 72 76 85 88 91 92 94 95 96 98 99 108 111 119 122 125 128 135 138 140 146 149 150 151 154 163 165 168 170 171 173 175 178 184 188 190 191 192 193 198 205 206 209 211 214 216 219 221 223 224 225 227 231 234 239 240 241 245 248 249 250 252 254 256 257 259 261 263 264 266 271 276 284 291 293 305 307 312 316 317 318 319 323 327 328 332 340 341 342 344 346 347 348 350 354 361 364 366 370 372 378 379 382 384 385 387 388 393 396 398 401 403 406 a 3 4 6 11 14 16 21 25 28 33 38 39 43 49 57 61 63 65 72 76 85 88 91 92 94 95 96 98 99 108 111 119 122 125 128 135 138 140 146 149 150 151 154 163 165 168 170 171 173 175 178 184 188 190 191 192 193 198 205 206 209 211 214 216 219 221 223 224 225 227 231 234 239 240 241 245 248 249 250 252 254 256 257 259 261 263 264 271 276 284 291 293 296 305 307 312 316 317 318 319 323 327 328 332 340 341 342 344 346 347 348 350 354 361 364 366 370 372 378 379 382 384 385 387 388 393 396 398 401 403 406 a 3 4 6 11 14 16 21 25 28 33 38 39 43 49 57 61 63 65 72 76 85 88 91 92 94 95 96 98 99 108 111 119 122 125 128 135 138 140 146 149 150 151 154 163 165 168 170 171 173 175 178 183 184 188 190 191 192 193 198 205 206 209 211 214 216 219 221 223 224 225 227 231 234 239 240 241 245 248 249 250 252 254 256 257 259 261 263 264 271 276 284 291 293 296 305 307 312 316 317 318 319 323 327 328 332 340 341 342 344 346 347 348 350 354 361 364 366 370 372 378 379 382 384 385 387 388 393 398 401 403 406 a 3 4 6 8 11 14 16 21 25 28 33 38 39 43 49 57 61 63 65 72 76 85 88 91 92 94 95 96 98 99 108 111 119 122 125 128 135 138 140 146 149 150 151 154 163 165 168 170 171 173 175 178 183 184 190 191 192 193 198 205 206 209 211 214 216 219 221 223 224 225 227 231 234 239 240 241 245 248 249 250 252 254 256 257 259 261 263 264 271 276 284 291 293 296 305 307 312 316 317 318 319 323 327 328 332 340 341 342 344 346 347 348 350 354 361 364 366 370 372 378 379 382 384 385 387 388 393 398 401 403 406 a 3 4 6 8 11 14 16 21 25 28 33 38 43 49 57 61 63 65 72 76 85 88 91 92 94 95 96 98 99 108 111 119 122 125 128 135 138 140 146 149 150 151 154 163 165 168 170 171 173 175 178 183 184 190 191 192 193 198 205 206 209 211 214 216 219 221 223 224 225 227 231 234 239 240 241 245 248 249 250 252 254 256 257 259 261 263 264 271 276 279 284 291 293 296 305 307 312 316 317 318 319 323 327 328 332 340 341 342 344 346 347 348 350 354 361 364 366 370 372 378 379 382 384 385 387 388 393 398 401 403 406 a 3 4 6 8 14 16 21 25 28 33 38 43 49 57 61 63 65 72 76 85 88 91 92 94 95 96 98 99 108 109 111 119 122 125 128 135 138 140 146 149 150 151 154 163 165 168 170 171 173 175 178 183 184 190 191 192 193 198 205 206 209 211 214 216 219 221 223 224 225 227 231 234 239 240 241 245 248 249 250 252 254 256 257 259 261 263 264 271 276 279 284 291 293 296 305 307 312 316 317 318 319 323 327 328 332 340 341 342 344 346 347 348 350 354 361 364 366 370 372 378 379 382 384 385 387 388 393 398 401 403 406 a 3 4 6 8 14 16 21 25 28 33 38 43 49 57 61 63 65 72 76 85 88 91 92 94 95 96 98 99 108 109 111 119 122 125 128 135 138 140 146 149 150 151 154 163 165 168 170 171 173 175 178 183 184 190 191 192 193 198 205 206 209 211 214 216 219 221 223 224 225 227 231 234 239 240 241 245 248 249 250 252 254 256 257 259 261 263 264 271 276 279 282 284 291 293 296 305 307 312 316 317 318 319 323 327 328 332 341 342 344 346 347 348 350 354 361 364 366 370 372 378 379 382 384 385 387 388 393 398 401 403 406 a 3 4 6 8 14 16 21 25 28 33 38 43 49 57 61 63 65 72 76 85 88 91 92 94 95 96 98 99 108 109 111 119 125 128 135 138 140 146 149 150 151 154 163 165 168 170 171 173 175 178 183 184 190 191 192 193 198 205 206 209 211 214 216 219 221 223 224 225 227 231 234 239 240 241 245 248 249 250 252 254 256 257 259 261 263 264 271 276 279 282 284 291 293 296 305 307 312 316 317 318 319 323 327 328 332 341 342 344 346 347 348 350 354 361 364 366 370 372 378 379 382 384 385 387 388 393 398 400 401 403 406 a 3 4 6 8 14 16 21 25 28 33 38 43 49 57 61 63 65 72 76 85 88 91 92 94 95 96 98 99 108 109 111 119 125 128 135 138 140 146 149 150 151 154 163 165 168 170 171 173 175 178 183 184 190 191 192 193 205 206 209 211 214 216 219 221 223 224 225 227 231 234 239 240 241 245 248 249 250 252 254 256 257 259 261 263 264 271 276 279 282 284 291 293 296 305 307 312 316 317 318 319 323 327 328 331 332 341 342 344 346 347 348 350 354 361 364 366 370 372 378 379 382 384 385 387 388 393 398 400 401 403 406 a 3 4 6 8 14 16 21 25 28 33 38 43 49 57 61 63 65 72 76 85 88 91 92 94 95 96 98 99 108 109 111 119 123 125 128 135 138 140 149 150 151 154 163 165 168 170 171 173 175 178 183 184 190 191 192 193 205 206 209 211 214 216 219 221 223 224 225 227 231 234 239 240 241 245 248 249 250 252 254 256 257 259 261 263 264 271 276 279 282 284 291 293 296 305 307 312 316 317 318 319 323 327 328 331 332 341 342 344 346 347 348 350 354 361 364 366 370 372 378 379 382 384 385 387 388 393 398 400 401 403 406 a 3 4 6 8 13 14 16 21 25 28 33 38 43 49 57 61 63 65 72 76 85 88 91 92 94 95 96 98 99 108 109 111 119 123 125 128 135 138 140 149 150 151 154 163 165 168 170 171 175 178 183 184 190 191 192 193 205 206 209 211 214 216 219 221 223 224 225 227 231 234 239 240 241 245 248 249 250 252 254 256 257 259 261 263 264 271 276 279 282 284 291 293 296 305 307 312 316 317 318 319 323 327 328 331 332 341 342 344 346 347 348 350 354 361 364 366 370 372 378 379 382 384 385 387 388 393 398 400 401 403 406 a 3 4 6 8 13 14 16 21 25 28 33 38 43 49 52 57 61 63 65 72 76 85 88 91 92 94 95 96 98 99 108 109 111 119 123 125 128 135 138 140 149 150 151 154 163 165 168 170 171 175 178 183 184 190 191 192 193 205 206 209 211 214 216 219 221 223 224 225 227 231 234 239 240 241 245 248 249 250 252 254 256 257 259 261 263 264 271 276 279 282 284 291 293 296 305 307 312 316 317 318 323 327 328 331 332 341 342 344 346 347 348 350 354 361 364 366 370 372 378 379 382 384 385 387 388 393 398 400 401 403 406 a 3 4 6 8 13 14 16 21 25 28 33 38 43 49 52 54 57 61 63 65 72 76 85 88 91 92 94 95 96 98 99 108 109 111 119 123 125 128 135 138 140 149 150 151 154 163 165 168 170 171 175 178 183 184 190 191 192 193 205 206 209 211 214 216 219 221 223 224 225 227 231 234 239 240 241 245 248 249 250 252 254 256 257 259 261 263 264 271 276 279 282 284 291 293 296 305 307 312 316 317 318 323 327 328 331 332 341 342 344 346 347 350 354 361 364 366 370 372 378 379 382 384 385 387 388 393 398 400 401 403 406 a 3 4 6 8 13 14 16 21 25 28 33 38 43 49 52 54 57 61 63 65 72 76 85 88 91 92 94 95 96 99 108 109 111 119 123 125 128 135 138 140 149 150 151 154 163 165 168 170 171 175 178 183 184 190 191 192 193 205 206 209 211 214 216 219 221 223 224 225 227 231 234 239 240 241 245 248 249 250 252 254 256 257 259 261 263 264 271 276 279 282 284 291 293 296 305 307 312 316 317 318 323 327 328 331 332 341 342 344 346 347 350 354 361 364 366 370 372 378 379 382 384 385 387 388 393 398 400 401 403 406 412 a 3 4 6 8 13 14 16 21 25 28 33 38 43 49 52 54 57 61 63 65 72 76 85 88 91 92 94 95 96 99 108 109 111 119 123 125 128 135 138 140 149 150 151 154 159 163 165 168 170 171 175 178 183 184 190 191 192 193 205 206 209 211 214 216 219 221 223 224 225 227 231 234 239 240 241 245 248 249 250 252 254 256 257 259 261 263 264 276 279 282 284 291 293 296 305 307 312 316 317 318 323 327 328 331 332 341 342 344 346 347 350 354 361 364 366 370 372 378 379 382 384 385 387 388 393 398 400 401 403 406 412 a 3 4 5 6 8 13 14 16 21 25 28 33 38 43 49 52 54 57 61 63 65 72 76 85 88 91 92 94 95 96 99 108 109 111 119 123 125 128 135 138 140 149 150 151 154 159 163 165 168 170 171 175 178 183 184 190 191 192 193 205 206 209 211 214 216 219 221 223 224 225 227 231 234 239 240 241 245 248 249 250 252 254 256 257 259 261 263 264 276 279 282 284 291 293 296 305 307 312 316 317 318 323 327 328 331 332 341 342 344 346 350 354 361 364 366 370 372 378 379 382 384 385 387 388 393 398 400 401 403 406 412 a 3 4 5 6 8 13 14 16 21 25 28 33 38 43 49 52 54 57 61 63 65 72 76 85 88 91 92 94 95 96 99 108 109 111 119 123 125 135 138 140 149 150 151 154 159 163 165 168 170 171 175 178 183 184 190 191 192 193 205 206 209 211 214 216 219 221 223 224 225 227 231 234 239 240 241 245 248 249 250 252 254 256 257 259 261 263 264 276 279 282 284 291 293 296 305 307 312 316 317 318 323 327 328 331 332 341 342 344 346 349 350 354 361 364 366 370 372 378 379 382 384 385 387 388 393 398 400 401 403 406 412 a 3 4 5 6 8 13 14 16 21 25 28 33 38 43 49 52 54 57 61 63 65 72 76 85 88 91 92 94 95 96 99 108 109 111 119 123 125 134 135 138 140 149 150 151 154 159 163 165 168 170 171 175 178 183 184 190 191 192 193 205 206 209 211 214 216 219 221 223 224 225 227 231 234 239 240 241 245 248 249 250 252 254 256 257 259 261 263 264 276 279 282 284 291 293 296 305 307 312 316 317 323 327 328 331 332 341 342 344 346 349 350 354 361 364 366 370 372 378 379 382 384 385 387 388 393 398 400 401 403 406 412 c Step: 88 Command being timed: "python3 run_3.py --shortest -t4 /benchmark/random_instance/random_instance032_graph001.col /benchmark/random_instance/random_instance032_graph001_01.dat" User time (seconds): 12.29 System time (seconds): 0.29 Percent of CPU this job got: 229% Elapsed (wall clock) time (h:mm:ss or m:ss): 0:05.48 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): 348004 Average resident set size (kbytes): 0 Major (requiring I/O) page faults: 0 Minor (reclaiming a frame) page faults: 245381 Voluntary context switches: 15392 Involuntary context switches: 45 Swaps: 0 File system inputs: 0 File system outputs: 592 Socket messages sent: 0 Socket messages received: 0 Signals delivered: 0 Page size (bytes): 4096 Exit status: 0 #END: [Mon Sep 4 15:10:00 2023]