#BEGIN: [Mon Sep 4 15:10:06 2023] #HOST: s13 #TIMELIMIT: 1800 #MEMLIMIT: 0 #SOLVER: shortest-wallclock-banbaralab2-shortest2 #INSTANCE1: /benchmark/random_instance/random_instance034_graph004.col #INSTANCE2: /benchmark/random_instance/random_instance034_graph004_01.dat #COMMAND: docker run --cidfile /tmp/cid.txt --init --rm -t -v /home/share/benchmark/ISR-benchmark:/benchmark banbaralab2 --shortest -t4 /benchmark/random_instance/random_instance034_graph004.col /benchmark/random_instance/random_instance034_graph004_01.dat c /benchmark/random_instance/random_instance034_graph004.col c /benchmark/random_instance/random_instance034_graph004_01.dat s 439 228 147 220 415 175 59 306 433 348 8 4 118 53 302 30 223 294 119 240 135 29 394 322 132 239 398 166 225 85 427 399 237 256 371 56 391 261 258 93 122 103 437 161 50 80 98 269 106 284 244 396 241 105 83 296 213 146 352 111 201 128 159 108 315 15 3 164 319 417 279 33 318 234 38 192 144 57 176 153 165 266 27 88 421 313 117 290 316 414 299 32 375 183 16 205 378 341 204 130 276 367 13 324 94 35 377 293 420 67 283 253 309 422 1 233 260 383 221 81 434 72 425 76 174 372 435 6 126 177 101 136 196 102 354 224 416 173 5 180 262 335 52 331 34 43 362 66 t 400 365 37 41 321 264 415 442 372 141 5 76 344 239 367 427 218 192 274 397 243 386 161 211 226 210 409 205 38 173 315 106 431 357 187 307 69 75 216 189 241 411 418 254 390 72 404 29 149 67 229 97 277 351 129 314 280 7 57 370 360 71 126 253 108 30 147 377 186 414 270 387 23 364 204 64 422 217 34 374 299 338 316 287 259 319 281 332 238 98 256 62 290 331 132 437 32 111 16 343 426 35 273 396 276 103 154 363 4 122 328 434 43 127 195 81 266 212 279 393 293 93 300 407 341 371 163 8 311 352 244 138 110 346 31 366 159 33 83 165 385 225 40 375 395 368 180 260 a YES a 1 3 4 5 6 8 13 15 16 27 29 30 32 33 34 35 38 43 50 52 53 56 57 59 66 67 72 76 80 81 83 85 88 93 94 98 101 102 103 105 106 108 111 117 118 119 122 126 128 130 132 135 136 144 146 147 153 159 161 164 165 166 173 174 175 176 177 180 183 192 196 201 204 205 213 220 221 223 224 225 228 233 234 237 239 240 241 244 253 256 258 260 261 262 266 269 276 279 283 284 290 293 294 296 299 302 306 309 313 315 316 318 319 322 324 331 335 341 348 352 354 362 367 371 372 375 377 378 383 391 394 396 398 399 414 415 416 417 420 421 422 425 427 433 434 435 437 439 a 1 3 4 5 6 8 13 15 16 27 29 30 32 33 34 35 38 43 50 52 53 56 57 59 66 67 72 76 80 81 83 85 88 93 94 98 101 102 103 105 106 108 111 117 118 119 122 126 128 130 132 135 136 144 146 147 153 159 161 164 165 166 173 174 175 176 177 180 183 192 196 201 204 205 213 220 221 223 224 225 228 233 234 237 239 240 241 244 253 256 258 260 261 262 266 269 276 279 283 284 290 293 294 296 299 302 306 309 313 315 316 318 319 324 331 332 335 341 348 352 354 362 367 371 372 375 377 378 383 391 394 396 398 399 414 415 416 417 420 421 422 425 427 433 434 435 437 439 a 1 3 4 5 8 13 15 16 27 29 30 32 33 34 35 38 43 50 52 53 56 57 59 66 67 72 76 80 81 83 85 88 93 94 98 101 102 103 105 106 108 111 117 118 119 122 126 128 130 132 135 136 138 144 146 147 153 159 161 164 165 166 173 174 175 176 177 180 183 192 196 201 204 205 213 220 221 223 224 225 228 233 234 237 239 240 241 244 253 256 258 260 261 262 266 269 276 279 283 284 290 293 294 296 299 302 306 309 313 315 316 318 319 324 331 332 335 341 348 352 354 362 367 371 372 375 377 378 383 391 394 396 398 399 414 415 416 417 420 421 422 425 427 433 434 435 437 439 a 1 3 4 5 8 13 15 16 27 29 30 32 33 34 35 38 43 50 52 53 56 57 59 66 67 72 76 80 81 83 85 88 93 94 98 101 102 103 105 106 108 111 117 118 119 122 126 128 130 132 135 136 138 144 146 147 153 159 161 164 165 166 173 174 175 176 177 180 183 192 196 201 204 205 213 220 221 223 224 225 228 233 237 239 240 241 244 253 256 258 260 261 262 266 269 276 279 283 284 290 293 294 296 299 302 306 309 313 315 316 318 319 324 331 332 335 341 348 352 354 362 367 371 372 375 377 378 383 391 394 396 398 399 414 415 416 417 418 420 421 422 425 427 433 434 435 437 439 a 1 3 4 5 8 13 15 16 27 29 30 32 33 34 35 37 38 43 50 52 53 57 59 66 67 72 76 80 81 83 85 88 93 94 98 101 102 103 105 106 108 111 117 118 119 122 126 128 130 132 135 136 138 144 146 147 153 159 161 164 165 166 173 174 175 176 177 180 183 192 196 201 204 205 213 220 221 223 224 225 228 233 237 239 240 241 244 253 256 258 260 261 262 266 269 276 279 283 284 290 293 294 296 299 302 306 309 313 315 316 318 319 324 331 332 335 341 348 352 354 362 367 371 372 375 377 378 383 391 394 396 398 399 414 415 416 417 418 420 421 422 425 427 433 434 435 437 439 a 1 3 4 5 8 13 15 16 29 30 32 33 34 35 37 38 43 50 52 53 57 59 66 67 72 76 80 81 83 85 88 93 94 98 101 102 103 105 106 108 111 117 118 119 122 126 128 130 132 135 136 138 144 146 147 153 159 161 164 165 166 173 174 175 176 177 180 183 192 196 201 204 205 213 220 221 223 224 225 228 233 237 239 240 241 244 253 256 258 260 261 262 266 269 276 279 283 284 290 293 294 296 299 302 306 309 313 315 316 318 319 324 331 332 335 341 348 352 354 362 367 371 372 375 377 378 383 391 394 396 398 399 407 414 415 416 417 418 420 421 422 425 427 433 434 435 437 439 a 1 3 4 5 8 13 15 16 29 30 32 33 34 35 37 38 43 50 52 53 57 59 66 67 72 76 80 81 83 85 88 93 94 98 101 102 103 105 106 108 111 117 118 119 122 126 128 130 132 135 136 138 144 146 147 153 159 161 164 165 166 173 174 175 176 177 180 183 192 196 201 204 205 213 218 220 221 223 224 225 228 233 237 239 240 241 244 253 256 258 260 261 262 266 269 276 279 283 284 290 293 294 296 299 302 306 309 313 315 316 318 319 324 331 332 335 341 348 352 354 362 367 371 372 375 377 378 383 391 394 396 398 399 407 414 415 416 418 420 421 422 425 427 433 434 435 437 439 a 1 3 4 5 8 13 15 16 29 30 32 33 34 35 37 38 43 50 52 53 57 59 66 67 72 76 80 81 83 85 88 93 94 98 101 103 105 106 108 111 117 118 119 122 126 128 130 132 135 136 138 144 146 147 153 159 161 164 165 166 173 174 175 176 177 180 183 192 196 201 204 205 213 218 220 221 223 224 225 228 233 237 239 240 241 244 253 256 258 260 261 262 266 269 276 279 283 284 290 293 294 296 299 302 306 309 313 315 316 318 319 321 324 331 332 335 341 348 352 354 362 367 371 372 375 377 378 383 391 394 396 398 399 407 414 415 416 418 420 421 422 425 427 433 434 435 437 439 a 1 3 4 5 8 13 15 16 29 30 32 33 34 35 37 38 43 50 52 53 57 59 66 67 69 72 76 80 81 83 85 88 93 94 98 101 103 105 106 108 111 117 118 119 122 126 128 130 132 135 136 138 144 146 147 153 159 161 164 165 166 173 174 175 176 177 180 183 192 196 201 204 205 213 218 220 221 223 224 225 228 233 237 239 240 241 244 253 256 260 261 262 266 269 276 279 283 284 290 293 294 296 299 302 306 309 313 315 316 318 319 321 324 331 332 335 341 348 352 354 362 367 371 372 375 377 378 383 391 394 396 398 399 407 414 415 416 418 420 421 422 425 427 433 434 435 437 439 a 1 3 4 5 8 13 15 16 29 30 32 33 34 35 37 38 43 50 52 53 57 59 66 67 69 72 76 80 81 83 85 88 93 94 98 101 103 105 106 108 111 117 118 119 122 126 128 130 132 135 138 144 146 147 153 159 161 164 165 166 173 174 175 176 177 180 183 192 196 201 204 205 213 218 220 221 223 224 225 228 233 237 239 240 241 244 253 254 256 260 261 262 266 269 276 279 283 284 290 293 294 296 299 302 306 309 313 315 316 318 319 321 324 331 332 335 341 348 352 354 362 367 371 372 375 377 378 383 391 394 396 398 399 407 414 415 416 418 420 421 422 425 427 433 434 435 437 439 a 1 3 4 5 8 13 15 16 29 30 32 33 34 35 37 38 43 50 52 53 57 59 66 67 69 72 76 80 81 83 85 88 93 94 98 101 103 105 106 108 111 117 118 119 122 126 128 130 132 135 138 144 146 147 153 159 161 164 165 166 173 174 175 176 177 180 183 192 196 201 204 205 218 220 221 223 224 225 228 233 237 239 240 241 244 253 254 256 260 261 262 266 269 270 276 279 283 284 290 293 294 296 299 302 306 309 313 315 316 318 319 321 324 331 332 335 341 348 352 354 362 367 371 372 375 377 378 383 391 394 396 398 399 407 414 415 416 418 420 421 422 425 427 433 434 435 437 439 a 1 3 4 5 8 13 15 16 29 30 32 33 34 35 37 38 43 50 52 53 57 59 66 67 69 72 76 80 81 83 85 88 93 94 98 101 103 105 106 108 111 117 118 119 122 126 128 130 132 135 138 144 146 147 153 159 161 164 165 166 173 174 175 176 177 180 183 192 196 201 204 205 218 221 223 224 225 228 233 237 239 240 241 244 253 254 256 260 261 262 266 269 270 276 279 283 284 290 293 294 296 299 302 306 309 313 315 316 318 319 321 324 331 332 335 341 348 352 354 362 367 371 372 375 377 378 383 391 394 395 396 398 399 407 414 415 416 418 420 421 422 425 427 433 434 435 437 439 a 1 3 4 5 8 13 15 16 29 30 32 33 34 35 37 38 43 50 52 53 57 59 66 67 69 72 76 80 81 83 85 88 93 94 98 101 103 105 106 108 111 117 118 119 122 126 128 130 132 135 138 144 146 147 153 159 161 164 165 166 173 174 175 176 177 180 183 192 196 201 204 205 218 221 223 224 225 228 233 237 239 240 241 244 253 254 256 260 261 262 266 269 270 276 279 283 284 290 293 294 296 299 302 306 309 313 315 316 318 319 321 324 331 332 335 341 348 352 354 362 367 371 372 375 377 378 383 391 394 395 396 398 399 407 411 414 415 416 418 420 421 422 425 427 434 435 437 439 a 1 3 4 5 8 13 15 16 29 30 32 33 34 35 37 38 43 50 52 53 57 59 66 67 69 72 76 80 81 83 85 88 93 94 98 101 103 105 106 108 111 117 118 119 122 126 128 130 132 135 138 144 146 147 153 159 161 164 165 166 173 174 175 176 177 180 183 192 196 201 204 205 218 221 223 224 225 228 233 237 239 240 241 244 253 254 256 260 261 262 266 269 270 274 276 279 283 284 290 293 294 296 299 302 306 309 313 315 316 318 319 321 324 331 332 335 341 348 352 354 362 367 371 372 375 377 378 383 391 394 395 396 398 399 407 411 414 415 416 418 420 421 422 425 427 434 437 439 a 1 3 4 5 8 13 15 16 23 29 30 32 33 34 35 37 38 43 50 52 53 57 59 66 67 69 72 76 80 81 83 85 88 93 94 98 101 103 105 106 108 111 117 118 119 122 126 128 130 132 135 138 144 146 147 153 159 161 164 165 166 173 174 175 176 177 180 183 192 196 201 204 205 218 221 223 224 225 228 233 237 239 240 241 244 253 254 256 260 261 262 266 269 270 274 276 279 283 284 290 293 294 296 299 302 306 309 313 315 316 318 319 321 324 331 332 335 341 348 352 354 362 367 371 372 375 377 378 383 391 394 395 396 398 399 407 411 414 415 416 418 420 421 422 427 434 437 439 a 1 3 4 5 8 13 15 16 23 29 30 32 33 34 35 37 38 43 50 52 53 57 59 66 67 69 72 76 80 81 83 85 88 93 94 98 101 103 105 106 108 111 117 118 119 122 126 128 130 132 135 138 144 146 147 153 159 161 164 165 166 173 174 175 176 177 180 183 192 196 201 204 205 218 221 223 224 225 226 228 233 237 239 240 241 244 253 254 256 260 261 262 266 269 270 274 276 279 283 284 290 293 294 296 299 302 306 309 313 315 316 318 319 321 324 331 332 335 341 348 352 354 362 367 371 372 375 377 378 383 394 395 396 398 399 407 411 414 415 416 418 420 421 422 427 434 437 439 a 1 3 4 5 8 13 15 16 23 29 30 32 33 34 35 37 38 43 50 52 53 57 59 66 67 69 72 76 80 81 83 85 88 93 94 98 101 103 105 106 108 111 117 118 119 122 126 128 130 132 135 138 144 146 147 153 159 161 164 165 166 173 174 175 176 177 180 183 192 196 201 204 205 218 221 223 224 225 226 228 233 237 239 240 241 244 253 254 256 260 261 262 266 269 270 274 276 279 283 284 290 293 294 296 299 302 306 309 313 315 316 318 319 321 324 331 332 335 341 348 352 354 367 371 372 374 375 377 378 383 394 395 396 398 399 407 411 414 415 416 418 420 421 422 427 434 437 439 a 1 3 4 5 8 13 15 16 23 29 30 32 33 34 35 37 38 43 50 52 53 57 59 66 67 69 72 76 80 81 83 85 88 93 94 98 101 103 105 106 108 111 117 118 119 122 126 128 130 132 135 138 144 146 147 153 159 161 164 165 166 173 174 175 176 177 180 183 192 196 201 204 205 218 221 223 224 225 226 228 233 237 239 240 241 244 253 254 256 260 261 262 266 269 270 274 276 279 283 284 290 293 294 296 299 302 306 309 313 315 316 318 319 321 324 331 332 335 341 348 351 352 354 367 371 372 374 375 377 378 383 394 395 396 398 399 407 411 414 415 416 418 420 422 427 434 437 439 a 1 3 4 5 8 13 15 16 23 29 30 32 33 34 35 37 38 43 50 52 53 57 59 67 69 72 76 80 81 83 85 88 93 94 98 101 103 105 106 108 111 117 118 119 122 126 128 130 132 135 138 144 146 147 153 159 161 164 165 166 173 174 175 176 177 180 183 192 196 201 204 205 218 221 223 224 225 226 228 233 237 239 240 241 244 253 254 256 260 261 262 266 269 270 274 276 279 283 284 290 293 294 296 299 302 306 309 313 315 316 318 319 321 324 331 332 335 341 348 351 352 354 367 371 372 374 375 377 378 383 394 395 396 397 398 399 407 411 414 415 416 418 420 422 427 434 437 439 a 1 3 4 5 8 13 15 16 23 29 30 32 33 34 35 37 38 43 50 52 53 57 59 67 69 72 76 80 81 83 85 88 93 94 98 101 103 105 106 108 111 117 118 119 122 126 128 130 132 135 138 144 146 147 153 159 161 164 165 166 173 174 175 176 177 180 192 196 201 204 205 218 221 223 224 225 226 228 233 237 239 240 241 244 253 254 256 260 261 262 266 269 270 274 276 279 283 284 290 293 294 296 299 302 306 309 313 315 316 318 319 321 324 331 332 335 341 348 351 352 354 363 367 371 372 374 375 377 378 383 394 395 396 397 398 399 407 411 414 415 416 418 420 422 427 434 437 439 a 1 3 4 5 8 13 15 16 23 29 30 32 33 34 35 37 38 43 50 52 53 57 59 67 69 72 76 80 81 83 85 88 93 94 98 101 103 105 106 108 111 117 118 119 122 126 128 130 132 135 138 144 146 147 153 159 161 164 165 166 173 174 175 177 180 192 196 201 204 205 218 221 223 224 225 226 228 233 237 239 240 241 244 253 254 256 260 261 262 266 269 270 274 276 279 283 284 290 293 294 296 299 302 306 309 313 315 316 318 319 321 324 331 332 335 341 348 351 352 354 363 366 367 371 372 374 375 377 378 383 394 395 396 397 398 399 407 411 414 415 416 418 420 422 427 434 437 439 a 1 3 4 5 7 8 13 15 16 23 29 30 32 33 34 35 37 38 43 50 52 53 57 59 67 69 72 76 80 81 83 85 88 93 94 98 101 103 105 106 108 111 117 118 119 122 126 128 130 132 135 138 144 146 147 153 159 161 164 165 166 173 174 175 177 180 192 196 201 204 205 218 221 223 224 225 226 228 233 237 239 240 241 244 253 254 256 260 261 262 266 269 270 274 276 279 283 284 290 293 294 296 299 302 306 309 313 315 316 318 319 321 324 331 332 335 341 348 351 352 354 363 366 367 371 372 374 375 377 383 394 395 396 397 398 399 407 411 414 415 416 418 420 422 427 434 437 439 a 1 3 4 5 7 8 13 15 16 23 29 30 32 33 34 35 37 38 43 50 52 53 57 59 67 69 72 76 80 81 83 85 88 93 94 98 101 103 105 106 108 111 117 118 119 122 126 128 130 132 135 138 144 146 147 153 159 161 164 165 166 173 174 175 177 180 192 201 204 205 218 221 223 224 225 226 228 233 237 239 240 241 244 253 254 256 260 261 262 266 269 270 274 276 279 283 284 290 293 294 296 299 302 306 309 313 315 316 318 319 321 324 331 332 335 341 348 351 352 354 363 366 367 371 372 374 375 377 383 394 395 396 397 398 399 404 407 411 414 415 416 418 420 422 427 434 437 439 a 1 3 4 5 7 8 13 15 16 23 29 30 32 33 34 35 37 38 43 50 52 53 57 59 67 69 72 76 80 81 83 85 88 93 94 98 101 103 105 106 108 111 117 118 119 122 126 128 130 132 135 138 144 146 147 153 159 161 164 165 166 173 174 175 177 180 192 201 204 205 218 223 224 225 226 228 229 233 237 239 240 241 244 253 254 256 260 261 262 266 269 270 274 276 279 283 284 290 293 294 296 299 302 306 309 313 315 316 318 319 321 324 331 332 335 341 348 351 352 354 363 366 367 371 372 374 375 377 383 394 395 396 397 398 399 404 407 411 414 415 416 418 420 422 427 434 437 439 a 1 3 4 5 7 8 13 15 16 23 29 30 32 33 34 35 37 38 43 50 52 53 57 59 67 69 72 76 80 81 83 85 88 93 94 98 101 103 105 106 108 111 117 118 119 122 126 128 130 132 135 138 144 146 147 159 161 164 165 166 173 174 175 177 180 192 201 204 205 218 223 224 225 226 228 229 233 237 239 240 241 244 253 254 256 260 261 262 266 269 270 274 276 279 283 284 290 293 294 296 299 302 306 309 313 315 316 318 319 321 324 331 332 335 341 348 351 352 354 357 363 366 367 371 372 374 375 377 383 394 395 396 397 398 399 404 407 411 414 415 416 418 420 422 427 434 437 439 a 3 4 5 7 8 13 15 16 23 29 30 32 33 34 35 37 38 43 50 52 53 57 59 67 69 72 76 80 81 83 85 88 93 94 98 101 103 105 106 108 111 117 118 119 122 126 128 130 132 135 138 144 146 147 159 161 164 165 166 173 174 175 177 180 192 201 204 205 218 223 224 225 226 228 229 233 237 239 240 241 244 253 254 256 260 261 262 266 269 270 274 276 279 283 284 290 293 294 296 299 302 306 309 313 315 316 318 319 321 324 331 332 335 341 348 351 352 354 357 363 366 367 371 372 374 375 377 383 390 394 395 396 397 398 399 404 407 411 414 415 416 418 420 422 427 434 437 439 a 3 4 5 7 8 13 15 16 23 29 30 32 33 34 35 37 38 43 50 52 53 57 59 67 69 72 76 80 81 83 85 88 93 94 98 101 103 105 106 108 111 117 118 119 122 126 128 130 132 135 138 144 146 147 159 161 164 165 166 173 174 175 177 180 192 201 204 205 218 223 224 225 226 228 229 233 237 239 240 241 244 253 254 256 260 261 262 266 269 270 274 276 279 283 290 293 294 296 299 302 306 309 313 315 316 318 319 321 324 331 332 335 341 348 351 352 354 357 363 366 367 371 372 374 375 377 383 390 394 395 396 397 398 399 404 407 411 414 415 416 418 420 422 426 427 434 437 439 a 3 4 5 7 8 13 15 16 23 29 30 32 33 34 35 37 38 43 50 52 53 57 59 67 69 72 76 80 81 83 85 88 93 94 98 101 103 105 106 108 111 117 118 119 122 126 128 130 132 138 144 146 147 159 161 164 165 166 173 174 175 177 180 192 201 204 205 218 223 224 225 226 228 229 233 237 239 240 241 244 253 254 256 259 260 261 262 266 269 270 274 276 279 283 290 293 294 296 299 302 306 309 313 315 316 318 319 321 324 331 332 335 341 348 351 352 354 357 363 366 367 371 372 374 375 377 383 390 394 395 396 397 398 399 404 407 411 414 415 416 418 420 422 426 427 434 437 439 a 3 4 5 7 8 13 15 16 23 29 30 32 33 34 35 37 38 43 50 52 53 57 59 67 69 72 76 80 81 83 85 88 93 94 98 101 103 105 106 108 111 117 118 119 122 126 128 130 132 138 144 146 147 159 161 165 166 173 174 175 177 180 192 201 204 205 218 223 224 225 226 228 229 233 237 239 240 241 244 253 254 256 259 260 261 262 266 269 270 274 276 279 283 290 293 294 296 299 302 306 309 313 315 316 318 319 321 324 328 331 332 335 341 348 351 352 354 357 363 366 367 371 372 374 375 377 383 390 394 395 396 397 398 399 404 407 411 414 415 416 418 420 422 426 427 434 437 439 a 3 4 5 7 8 13 15 16 23 29 30 32 33 34 35 37 38 43 50 52 53 57 59 67 69 72 76 80 81 83 85 88 93 94 98 101 103 105 106 108 111 117 118 119 122 126 128 130 132 138 144 146 147 159 161 165 166 173 174 175 177 180 192 201 204 205 218 223 224 225 226 228 229 233 237 239 240 241 244 253 254 256 259 260 261 262 266 269 270 274 276 279 283 290 293 294 296 299 302 306 309 313 315 316 318 319 321 324 328 331 332 335 341 351 352 354 357 360 363 366 367 371 372 374 375 377 383 390 394 395 396 397 398 399 404 407 411 414 415 416 418 420 422 426 427 434 437 439 a 3 4 5 7 8 13 15 16 23 29 30 32 33 34 35 37 38 43 50 52 53 57 59 67 69 72 76 80 81 83 85 88 93 98 101 103 105 106 108 111 117 118 119 122 126 128 130 132 138 144 146 147 159 161 165 166 173 174 175 177 180 192 201 204 205 218 223 224 225 226 228 229 233 237 239 240 241 243 244 253 254 256 259 260 261 262 266 269 270 274 276 279 283 290 293 294 296 299 302 306 309 313 315 316 318 319 321 324 328 331 332 335 341 351 352 354 357 360 363 366 367 371 372 374 375 377 383 390 394 395 396 397 398 399 404 407 411 414 415 416 418 420 422 426 427 434 437 439 a 3 4 5 7 8 13 15 16 23 29 30 32 33 34 35 37 38 43 50 52 53 57 59 64 67 69 72 76 80 81 83 85 88 93 98 101 103 105 106 108 111 117 118 119 122 126 128 130 132 138 144 146 147 159 161 165 166 173 174 175 177 180 192 201 204 205 218 223 224 225 226 228 229 233 237 239 240 241 243 244 253 254 256 259 260 261 262 266 269 270 274 276 279 283 290 293 294 296 299 302 306 309 313 315 316 318 319 321 324 328 331 332 335 341 351 352 354 357 360 363 366 367 371 372 374 375 377 383 390 394 395 396 397 399 404 407 411 414 415 416 418 420 422 426 427 434 437 439 a 3 4 5 7 8 13 15 16 23 29 30 32 33 34 35 37 38 43 50 52 53 57 59 64 67 69 72 75 76 80 81 83 85 88 93 98 101 103 105 106 108 111 117 118 119 122 126 128 130 132 138 144 146 147 159 161 165 166 173 174 175 177 180 192 201 204 205 218 223 224 225 226 228 229 233 237 239 240 241 243 244 253 254 256 259 260 261 262 266 269 270 274 276 279 283 290 293 294 296 299 302 306 309 313 315 316 318 319 321 324 328 331 332 341 351 352 354 357 360 363 366 367 371 372 374 375 377 383 390 394 395 396 397 399 404 407 411 414 415 416 418 420 422 426 427 434 437 439 a 3 4 5 7 8 13 15 16 23 29 30 32 33 34 35 37 38 43 50 52 53 57 59 62 64 67 69 72 75 76 80 81 83 85 88 93 98 101 103 105 106 108 111 117 118 119 122 126 128 130 132 138 144 146 147 159 161 165 166 173 174 175 177 180 192 201 204 205 218 223 224 225 226 228 229 233 237 239 240 241 243 244 253 254 256 259 260 261 262 266 269 270 274 276 279 283 290 293 294 296 299 302 306 309 313 315 316 318 319 321 324 328 331 332 341 351 352 357 360 363 366 367 371 372 374 375 377 383 390 394 395 396 397 399 404 407 411 414 415 416 418 420 422 426 427 434 437 439 a 3 4 5 7 8 13 15 16 23 29 30 32 33 34 35 37 38 43 50 52 53 57 59 62 64 67 69 72 75 76 80 81 83 85 88 93 98 101 103 105 106 108 111 117 118 119 122 126 128 130 132 138 144 146 147 159 161 165 166 173 174 175 177 180 192 201 204 205 217 218 223 224 225 226 229 233 237 239 240 241 243 244 253 254 256 259 260 261 262 266 269 270 274 276 279 283 290 293 294 296 299 302 306 309 313 315 316 318 319 321 324 328 331 332 341 351 352 357 360 363 366 367 371 372 374 375 377 383 390 394 395 396 397 399 404 407 411 414 415 416 418 420 422 426 427 434 437 439 a 3 4 5 7 8 13 15 16 23 29 30 32 33 34 35 37 38 43 50 52 53 57 59 62 64 67 69 72 75 76 80 81 83 85 88 93 98 101 103 105 106 108 111 117 118 119 122 126 128 130 132 138 141 144 146 147 159 161 165 166 173 174 175 177 180 192 201 204 205 217 218 223 224 225 226 229 233 237 239 240 241 243 244 253 254 256 259 260 261 262 266 269 270 274 276 279 283 290 293 294 296 299 302 309 313 315 316 318 319 321 324 328 331 332 341 351 352 357 360 363 366 367 371 372 374 375 377 383 390 394 395 396 397 399 404 407 411 414 415 416 418 420 422 426 427 434 437 439 a 3 4 5 7 8 13 15 16 23 29 30 32 33 34 35 37 38 43 52 53 57 59 62 64 67 69 72 75 76 80 81 83 85 88 93 98 101 103 105 106 108 111 117 118 119 122 126 128 130 132 138 141 144 146 147 159 161 165 166 173 174 175 177 180 192 201 204 205 217 218 223 224 225 226 229 233 237 239 240 241 243 244 253 254 256 259 260 261 262 266 269 270 273 274 276 279 283 290 293 294 296 299 302 309 313 315 316 318 319 321 324 328 331 332 341 351 352 357 360 363 366 367 371 372 374 375 377 383 390 394 395 396 397 399 404 407 411 414 415 416 418 420 422 426 427 434 437 439 a 3 4 5 7 8 13 15 16 23 29 30 32 33 34 35 37 38 43 52 53 57 59 62 64 67 69 72 75 76 80 81 83 85 88 93 97 98 101 103 105 106 108 111 117 118 119 122 126 128 130 132 138 141 144 146 147 159 161 165 166 173 174 175 177 180 192 201 204 205 217 218 223 224 225 226 229 237 239 240 241 243 244 253 254 256 259 260 261 262 266 269 270 273 274 276 279 283 290 293 294 296 299 302 309 313 315 316 318 319 321 324 328 331 332 341 351 352 357 360 363 366 367 371 372 374 375 377 383 390 394 395 396 397 399 404 407 411 414 415 416 418 420 422 426 427 434 437 439 a 3 4 5 7 8 13 15 16 23 29 30 32 33 34 35 37 38 43 52 53 57 59 62 64 67 69 72 75 76 80 81 83 85 88 93 97 98 103 105 106 108 111 117 118 119 122 126 128 130 132 138 141 144 146 147 159 161 165 166 173 174 175 177 180 187 192 201 204 205 217 218 223 224 225 226 229 237 239 240 241 243 244 253 254 256 259 260 261 262 266 269 270 273 274 276 279 283 290 293 294 296 299 302 309 313 315 316 318 319 321 324 328 331 332 341 351 352 357 360 363 366 367 371 372 374 375 377 383 390 394 395 396 397 399 404 407 411 414 415 416 418 420 422 426 427 434 437 439 a 3 4 5 7 8 15 16 23 29 30 32 33 34 35 37 38 43 52 53 57 59 62 64 67 69 72 75 76 80 81 83 85 88 93 97 98 103 105 106 108 111 117 118 119 122 126 128 130 132 138 141 144 146 147 159 161 165 166 173 174 175 177 180 187 192 201 204 205 217 218 223 224 225 226 229 237 239 240 241 243 244 253 254 256 259 260 261 262 266 269 270 273 274 276 279 283 287 290 293 294 296 299 302 309 313 315 316 318 319 321 324 328 331 332 341 351 352 357 360 363 366 367 371 372 374 375 377 383 390 394 395 396 397 399 404 407 411 414 415 416 418 420 422 426 427 434 437 439 a 3 4 5 7 8 15 16 23 29 30 32 33 34 35 37 38 43 52 53 57 59 62 64 67 69 72 75 76 80 81 83 85 88 93 97 98 103 105 106 108 111 117 118 119 122 126 128 130 132 138 141 144 146 147 159 161 165 166 173 174 175 177 180 187 192 201 204 205 217 218 223 224 225 226 229 237 239 240 241 243 244 253 254 256 259 260 261 262 266 269 270 273 274 276 279 283 287 290 293 294 296 299 302 309 313 314 315 316 319 321 324 328 331 332 341 351 352 357 360 363 366 367 371 372 374 375 377 383 390 394 395 396 397 399 404 407 411 414 415 416 418 420 422 426 427 434 437 439 a 3 4 5 7 8 15 16 23 29 30 32 33 34 35 37 38 43 52 53 57 59 62 64 67 69 72 75 76 80 81 83 85 88 93 97 98 103 105 106 108 111 117 118 119 122 126 128 130 132 138 141 144 146 147 159 161 165 166 173 174 175 177 180 187 192 201 204 205 210 217 218 223 224 225 226 229 237 239 240 241 243 244 253 254 256 259 260 261 262 266 270 273 274 276 279 283 287 290 293 294 296 299 302 309 313 314 315 316 319 321 324 328 331 332 341 351 352 357 360 363 366 367 371 372 374 375 377 383 390 394 395 396 397 399 404 407 411 414 415 416 418 420 422 426 427 434 437 439 a 3 4 5 7 8 15 16 23 29 30 32 33 34 35 37 38 43 52 53 57 59 62 64 67 69 72 75 76 80 81 83 85 93 97 98 103 105 106 108 111 117 118 119 122 126 128 130 132 138 141 144 146 147 159 161 165 166 173 174 175 177 180 187 192 201 204 205 210 212 217 218 223 224 225 226 229 237 239 240 241 243 244 253 254 256 259 260 261 262 266 270 273 274 276 279 283 287 290 293 294 296 299 302 309 313 314 315 316 319 321 324 328 331 332 341 351 352 357 360 363 366 367 371 372 374 375 377 383 390 394 395 396 397 399 404 407 411 414 415 416 418 420 422 426 427 434 437 439 a 4 5 7 8 15 16 23 29 30 32 33 34 35 37 38 43 52 53 57 59 62 64 67 69 72 75 76 80 81 83 85 93 97 98 103 105 106 108 111 117 118 119 122 126 128 130 132 138 141 144 146 147 159 161 165 166 173 174 175 177 180 187 192 201 204 205 210 212 217 218 223 224 225 226 229 237 239 240 241 243 244 253 254 256 259 260 261 262 266 270 273 274 276 279 283 287 290 293 294 296 299 302 309 313 314 315 316 319 321 324 328 331 332 341 351 352 357 360 363 365 366 367 371 372 374 375 377 383 390 394 395 396 397 399 404 407 411 414 415 416 418 420 422 426 427 434 437 439 a 4 5 7 8 15 16 23 29 30 32 33 34 35 37 38 43 52 53 57 59 62 64 67 69 72 75 76 80 81 83 85 93 97 98 103 105 106 108 111 117 118 119 122 126 128 130 132 138 141 144 146 147 159 161 165 166 173 174 175 177 180 187 192 201 204 205 210 212 217 218 223 224 225 226 229 237 239 240 241 243 244 253 254 256 259 260 261 262 266 270 273 274 276 279 283 287 290 293 294 296 299 302 313 314 315 316 319 321 324 328 331 332 341 351 352 357 360 363 365 366 367 368 371 372 374 375 377 383 390 394 395 396 397 399 404 407 411 414 415 416 418 420 422 426 427 434 437 439 a 4 5 7 8 15 16 23 29 30 32 33 34 35 37 38 43 52 53 57 59 62 64 67 69 72 75 76 80 81 83 85 93 97 98 103 105 106 108 111 117 118 119 122 126 128 129 130 132 138 141 144 146 147 159 161 165 166 173 175 177 180 187 192 201 204 205 210 212 217 218 223 224 225 226 229 237 239 240 241 243 244 253 254 256 259 260 261 262 266 270 273 274 276 279 283 287 290 293 294 296 299 302 313 314 315 316 319 321 324 328 331 332 341 351 352 357 360 363 365 366 367 368 371 372 374 375 377 383 390 394 395 396 397 399 404 407 411 414 415 416 418 420 422 426 427 434 437 439 a 4 5 7 8 15 16 23 29 30 32 33 34 35 37 38 43 52 53 57 59 62 64 67 69 72 75 76 80 81 83 85 93 97 98 103 105 106 108 111 117 118 119 122 126 128 129 130 132 138 141 144 146 147 159 161 165 166 173 175 177 180 187 192 201 204 205 210 212 217 218 223 224 225 226 229 237 239 240 241 243 244 253 254 256 259 260 261 262 266 270 273 274 276 279 283 287 290 293 294 296 299 302 313 314 315 316 319 321 324 328 331 332 341 351 352 357 360 363 365 366 367 368 371 372 374 375 377 383 386 390 394 395 396 397 399 404 407 411 414 415 418 420 422 426 427 434 437 439 a 4 5 7 8 15 16 23 29 30 32 33 34 35 37 38 43 52 53 57 59 62 64 67 69 72 75 76 80 81 83 85 93 97 98 103 105 106 108 111 117 118 119 122 126 128 129 130 132 138 141 144 146 147 159 161 165 166 173 175 177 180 187 192 201 204 205 210 212 217 218 223 224 225 226 229 237 239 240 241 243 244 253 254 256 259 260 261 262 266 270 273 274 276 279 283 287 290 293 294 296 299 302 313 314 315 316 319 321 324 328 331 332 341 351 352 357 360 363 365 366 367 368 371 372 374 375 377 383 385 386 390 394 395 396 397 399 404 407 411 414 415 418 422 426 427 434 437 439 a 4 5 7 8 15 16 23 29 30 32 33 34 35 37 38 43 52 53 57 62 64 67 69 72 75 76 80 81 83 85 93 97 98 103 105 106 108 111 117 118 119 122 126 128 129 130 132 138 141 144 146 147 159 161 165 166 173 175 177 180 187 192 201 204 205 210 212 217 218 223 224 225 226 229 237 239 240 241 243 244 253 254 256 259 260 261 262 264 266 270 273 274 276 279 283 287 290 293 294 296 299 302 313 314 315 316 319 321 324 328 331 332 341 351 352 357 360 363 365 366 367 368 371 372 374 375 377 383 385 386 390 394 395 396 397 399 404 407 411 414 415 418 422 426 427 434 437 439 a 4 5 7 8 15 16 23 29 30 32 33 34 35 37 38 43 52 53 57 62 64 67 69 72 75 76 80 81 83 85 93 97 98 103 105 106 108 111 117 118 119 122 126 128 129 130 132 138 141 144 146 147 159 161 165 166 173 175 177 180 186 187 192 201 204 205 210 212 217 218 223 224 225 226 229 237 239 240 241 243 244 253 254 256 259 260 262 264 266 270 273 274 276 279 283 287 290 293 294 296 299 302 313 314 315 316 319 321 324 328 331 332 341 351 352 357 360 363 365 366 367 368 371 372 374 375 377 383 385 386 390 394 395 396 397 399 404 407 411 414 415 418 422 426 427 434 437 439 a 4 5 7 8 15 16 23 29 30 32 33 34 35 37 38 43 52 53 57 62 64 67 69 72 75 76 80 81 83 85 93 97 98 103 105 106 108 111 117 118 119 122 126 128 129 130 132 138 141 144 146 147 159 161 165 166 173 175 177 180 186 187 192 201 204 205 210 212 217 218 223 224 225 226 229 237 239 240 241 243 244 253 254 256 259 260 262 264 266 270 273 274 276 279 283 287 290 293 294 296 299 302 313 314 315 316 319 321 328 331 332 341 351 352 357 360 363 365 366 367 368 371 372 374 375 377 383 385 386 390 394 395 396 397 399 400 404 407 411 414 415 418 422 426 427 434 437 439 a 4 5 7 8 15 16 23 29 30 32 33 34 35 37 38 43 52 53 57 62 64 67 69 72 75 76 80 81 83 85 93 97 98 103 105 106 108 111 118 119 122 126 128 129 130 132 138 141 144 146 147 159 161 165 166 173 175 177 180 186 187 192 201 204 205 210 212 217 218 223 224 225 226 229 237 239 240 241 243 244 253 254 256 259 260 262 264 266 270 273 274 276 279 283 287 290 293 294 296 299 302 313 314 315 316 319 321 328 331 332 341 351 352 357 360 363 364 365 366 367 368 371 372 374 375 377 383 385 386 390 394 395 396 397 399 400 404 407 411 414 415 418 422 426 427 434 437 439 a 4 5 7 8 15 16 23 29 30 32 33 34 35 37 38 43 52 53 57 62 64 67 69 72 75 76 80 81 83 85 93 97 98 103 105 106 108 111 118 119 122 126 128 129 130 132 138 141 144 146 147 154 159 161 165 166 173 175 177 180 186 187 192 201 204 205 210 212 217 218 223 224 225 226 229 237 239 240 241 243 244 253 254 256 259 260 262 264 266 270 273 274 276 279 283 287 290 293 294 299 302 313 314 315 316 319 321 328 331 332 341 351 352 357 360 363 364 365 366 367 368 371 372 374 375 377 383 385 386 390 394 395 396 397 399 400 404 407 411 414 415 418 422 426 427 434 437 439 a 4 5 7 8 15 16 23 29 30 32 33 34 35 37 38 43 52 53 57 62 64 67 69 72 75 76 80 81 83 85 93 97 98 103 105 106 108 111 118 119 122 126 128 129 130 132 138 141 144 146 147 154 159 161 165 166 173 175 177 180 186 187 192 195 201 204 205 210 212 217 218 223 224 225 226 229 237 239 240 241 243 244 253 254 256 259 260 262 264 266 270 273 274 276 279 283 287 290 293 294 299 302 314 315 316 319 321 328 331 332 341 351 352 357 360 363 364 365 366 367 368 371 372 374 375 377 383 385 386 390 394 395 396 397 399 400 404 407 411 414 415 418 422 426 427 434 437 439 a 4 5 7 8 15 16 23 29 30 32 33 34 35 37 38 43 52 53 57 62 64 67 69 72 75 76 80 81 83 85 93 97 98 103 105 106 108 111 118 119 122 126 128 129 130 132 138 141 144 146 147 154 159 161 165 166 173 175 177 180 186 187 192 195 201 204 205 210 212 217 218 223 224 225 226 229 239 240 241 243 244 253 254 256 259 260 262 264 266 270 273 274 276 279 283 287 290 293 294 299 302 314 315 316 319 321 328 331 332 341 351 352 357 360 363 364 365 366 367 368 371 372 374 375 377 383 385 386 390 393 394 395 396 397 399 400 404 407 411 414 415 418 422 426 427 434 437 439 a 4 5 7 8 15 16 23 29 30 32 33 34 35 37 38 43 52 53 57 62 64 67 69 72 75 76 80 81 83 85 93 97 98 103 105 106 108 111 118 119 122 126 128 129 130 132 138 141 144 146 147 154 159 161 165 173 175 177 180 186 187 192 195 201 204 205 210 212 217 218 223 224 225 226 229 239 240 241 243 244 253 254 256 259 260 262 264 266 270 273 274 276 279 283 287 290 293 294 299 302 311 314 315 316 319 321 328 331 332 341 351 352 357 360 363 364 365 366 367 368 371 372 374 375 377 383 385 386 390 393 394 395 396 397 399 400 404 407 411 414 415 418 422 426 427 434 437 439 a 4 5 7 8 15 16 23 29 30 32 33 34 35 37 38 43 52 53 57 62 64 67 69 72 75 76 80 81 83 85 93 97 98 103 105 106 108 111 118 119 122 126 128 129 130 132 138 141 144 146 147 154 159 161 165 173 175 177 180 186 187 192 195 201 204 205 210 212 217 218 223 224 225 226 229 239 241 243 244 253 254 256 259 260 262 264 266 270 273 274 276 279 283 287 290 293 294 299 302 311 314 315 316 319 321 328 331 332 341 343 351 352 357 360 363 364 365 366 367 368 371 372 374 375 377 383 385 386 390 393 394 395 396 397 399 400 404 407 411 414 415 418 422 426 427 434 437 439 a 4 5 7 8 15 16 23 29 30 32 33 34 35 37 38 43 52 53 57 62 64 67 69 72 75 76 80 81 83 85 93 97 98 103 105 106 108 111 118 119 122 126 128 129 130 132 138 141 146 147 154 159 161 165 173 175 177 180 186 187 192 195 201 204 205 210 212 217 218 223 224 225 226 229 239 241 243 244 253 254 256 259 260 262 264 266 270 273 274 276 279 283 287 290 293 294 299 300 302 311 314 315 316 319 321 328 331 332 341 343 351 352 357 360 363 364 365 366 367 368 371 372 374 375 377 383 385 386 390 393 394 395 396 397 399 400 404 407 411 414 415 418 422 426 427 434 437 439 a 4 5 7 8 15 16 23 29 30 32 33 34 35 37 38 43 52 53 57 62 64 67 69 72 75 76 80 81 83 85 93 97 98 103 105 106 108 111 118 119 122 126 128 129 130 132 138 141 146 147 154 159 161 165 173 175 177 180 186 187 192 195 201 204 205 210 212 217 218 223 224 225 226 229 239 241 243 244 253 254 256 259 260 262 264 266 270 273 274 276 279 281 283 287 290 293 294 299 300 302 311 314 315 316 319 321 328 331 332 341 343 351 352 357 360 363 364 365 366 367 368 371 372 374 375 377 383 385 386 390 393 394 395 396 397 400 404 407 411 414 415 418 422 426 427 434 437 439 a 4 5 7 8 15 16 23 29 30 32 33 34 35 37 38 43 52 53 57 62 64 67 69 71 72 75 76 80 81 83 85 93 97 98 103 105 106 108 111 118 119 122 126 128 129 130 132 138 141 146 147 154 159 161 165 173 175 177 180 186 187 192 195 201 204 205 210 212 217 218 223 224 225 226 229 239 241 243 244 253 254 256 259 260 264 266 270 273 274 276 279 281 283 287 290 293 294 299 300 302 311 314 315 316 319 321 328 331 332 341 343 351 352 357 360 363 364 365 366 367 368 371 372 374 375 377 383 385 386 390 393 394 395 396 397 400 404 407 411 414 415 418 422 426 427 434 437 439 a 4 5 7 8 15 16 23 29 30 31 32 33 34 35 37 38 43 52 53 57 62 64 67 69 71 72 75 76 80 81 83 85 93 97 98 103 105 106 108 111 118 119 122 126 128 129 132 138 141 146 147 154 159 161 165 173 175 177 180 186 187 192 195 201 204 205 210 212 217 218 223 224 225 226 229 239 241 243 244 253 254 256 259 260 264 266 270 273 274 276 279 281 283 287 290 293 294 299 300 302 311 314 315 316 319 321 328 331 332 341 343 351 352 357 360 363 364 365 366 367 368 371 372 374 375 377 383 385 386 390 393 394 395 396 397 400 404 407 411 414 415 418 422 426 427 434 437 439 a 4 5 7 8 15 16 23 29 30 31 32 33 34 35 37 38 43 52 53 57 62 64 67 69 71 72 75 76 80 81 83 85 93 97 98 103 105 106 108 111 118 122 126 128 129 132 138 141 146 147 154 159 161 165 173 175 177 180 186 187 192 195 201 204 205 210 212 217 218 223 224 225 226 229 239 241 243 244 253 254 256 259 260 264 266 270 273 274 276 279 280 281 283 287 290 293 294 299 300 302 311 314 315 316 319 321 328 331 332 341 343 351 352 357 360 363 364 365 366 367 368 371 372 374 375 377 383 385 386 390 393 394 395 396 397 400 404 407 411 414 415 418 422 426 427 434 437 439 a 4 5 7 8 15 16 23 29 30 31 32 33 34 35 37 38 43 53 57 62 64 67 69 71 72 75 76 80 81 83 85 93 97 98 103 105 106 108 111 118 122 126 128 129 132 138 141 146 147 154 159 161 165 173 175 177 180 186 187 192 195 201 204 205 210 212 217 218 223 224 225 226 229 239 241 243 244 253 254 256 259 260 264 266 270 273 274 276 279 280 281 283 287 290 293 294 299 300 302 311 314 315 316 319 321 328 331 332 341 343 351 352 357 360 363 364 365 366 367 368 371 372 374 375 377 383 385 386 390 393 394 395 396 397 400 404 407 411 414 415 418 422 426 427 431 434 437 439 a 4 5 7 8 15 16 23 29 30 31 32 33 34 35 37 38 43 53 57 62 64 67 69 71 72 75 76 80 81 83 85 93 97 98 103 105 106 108 111 118 122 126 128 129 132 138 141 146 147 154 159 161 165 173 175 177 180 186 187 192 195 204 205 210 212 217 218 223 224 225 226 229 239 241 243 244 253 254 256 259 260 264 266 270 273 274 276 279 280 281 283 287 290 293 294 299 300 302 311 314 315 316 319 321 328 331 332 341 343 344 351 352 357 360 363 364 365 366 367 368 371 372 374 375 377 383 385 386 390 393 394 395 396 397 400 404 407 411 414 415 418 422 426 427 431 434 437 439 a 4 5 7 8 16 23 29 30 31 32 33 34 35 37 38 43 53 57 62 64 67 69 71 72 75 76 80 81 83 85 93 97 98 103 105 106 108 111 118 122 126 128 129 132 138 141 146 147 154 159 161 165 173 175 177 180 186 187 192 195 204 205 210 212 217 218 223 224 225 226 229 239 241 243 244 253 254 256 259 260 264 266 270 273 274 276 279 280 281 283 287 290 293 294 299 300 302 307 311 314 315 316 319 321 328 331 332 341 343 344 351 352 357 360 363 364 365 366 367 368 371 372 374 375 377 383 385 386 390 393 394 395 396 397 400 404 407 411 414 415 418 422 426 427 431 434 437 439 a 4 5 7 8 16 23 29 30 31 32 33 34 35 37 38 43 53 57 62 64 67 69 71 72 75 76 80 81 83 85 93 97 98 103 105 106 108 111 118 122 126 128 129 132 138 141 146 147 154 159 161 165 173 175 177 180 186 187 192 195 204 205 210 212 217 218 223 224 225 226 229 239 241 243 244 253 254 256 259 260 264 266 270 273 274 276 279 280 281 283 287 290 293 294 299 300 307 311 314 315 316 319 321 328 331 332 341 343 344 346 351 352 357 360 363 364 365 366 367 368 371 372 374 375 377 383 385 386 390 393 394 395 396 397 400 404 407 411 414 415 418 422 426 427 431 434 437 439 a 4 5 7 8 16 23 29 30 31 32 33 34 35 37 38 43 53 57 62 64 67 69 71 72 75 76 81 83 85 93 97 98 103 105 106 108 111 118 122 126 128 129 132 138 141 146 147 154 159 161 165 173 175 177 180 186 187 192 195 204 205 210 212 216 217 218 223 224 225 226 229 239 241 243 244 253 254 256 259 260 264 266 270 273 274 276 279 280 281 283 287 290 293 294 299 300 307 311 314 315 316 319 321 328 331 332 341 343 344 346 351 352 357 360 363 364 365 366 367 368 371 372 374 375 377 383 385 386 390 393 394 395 396 397 400 404 407 411 414 415 418 422 426 427 431 434 437 439 a 4 5 7 8 16 23 29 30 31 32 33 34 35 37 38 41 43 53 57 62 64 67 69 71 72 75 76 81 83 85 93 97 98 103 105 106 108 111 118 122 126 128 129 132 138 141 146 147 154 159 161 165 173 175 177 180 186 187 192 195 204 205 210 212 216 217 218 223 224 225 226 229 239 241 243 244 253 254 256 259 260 264 266 270 273 274 276 279 280 281 283 287 290 293 294 299 300 307 311 314 315 316 319 321 328 331 332 341 343 344 346 351 352 357 360 363 364 365 366 367 368 371 372 374 375 377 383 385 386 390 393 395 396 397 400 404 407 411 414 415 418 422 426 427 431 434 437 439 a 4 5 7 8 16 23 29 30 31 32 33 34 35 37 38 41 43 53 57 62 64 67 69 71 72 75 76 81 83 85 93 97 98 103 105 106 108 111 118 122 126 128 129 132 138 141 146 147 154 159 161 165 173 175 177 180 186 187 192 195 204 205 210 212 216 217 218 223 225 226 229 239 241 243 244 253 254 256 259 260 264 266 270 273 274 276 279 280 281 283 287 290 293 294 299 300 307 311 314 315 316 319 321 328 331 332 341 343 344 346 351 352 357 360 363 364 365 366 367 368 371 372 374 375 377 383 385 386 387 390 393 395 396 397 400 404 407 411 414 415 418 422 426 427 431 434 437 439 a 4 5 7 8 16 23 29 30 31 32 33 34 35 37 38 41 43 53 57 62 64 67 69 71 72 75 76 81 83 85 93 97 98 103 105 106 108 111 118 122 126 128 129 132 138 141 146 147 154 159 161 165 173 175 180 186 187 192 195 204 205 210 212 216 217 218 223 225 226 229 239 241 243 244 253 254 256 259 260 264 266 270 273 274 276 279 280 281 283 287 290 293 294 299 300 307 311 314 315 316 319 321 328 331 332 341 343 344 346 351 352 357 360 363 364 365 366 367 368 370 371 372 374 375 377 383 385 386 387 390 393 395 396 397 400 404 407 411 414 415 418 422 426 427 431 434 437 439 a 4 5 7 8 16 23 29 30 31 32 33 34 35 37 38 41 43 53 57 62 64 67 69 71 72 75 76 81 83 85 93 97 98 103 105 106 108 111 118 122 126 128 129 132 138 141 146 147 154 159 161 163 165 173 175 180 186 187 192 195 204 205 210 212 216 217 218 223 225 226 229 239 241 243 244 253 254 256 259 260 264 266 270 273 274 276 279 280 281 283 287 290 293 294 299 300 307 311 314 315 316 319 321 328 331 332 341 343 344 346 351 352 357 360 363 364 365 366 367 368 370 371 372 374 375 377 385 386 387 390 393 395 396 397 400 404 407 411 414 415 418 422 426 427 431 434 437 439 a 4 5 7 8 16 23 29 30 31 32 33 34 35 37 38 41 43 53 57 62 64 67 69 71 72 75 76 81 83 85 93 97 98 103 105 106 108 111 118 122 126 128 129 132 138 141 146 147 154 159 161 163 165 173 175 180 186 187 192 195 204 205 210 212 216 217 218 223 225 226 229 238 239 241 243 244 253 254 256 259 260 264 266 270 273 274 276 279 280 281 287 290 293 294 299 300 307 311 314 315 316 319 321 328 331 332 341 343 344 346 351 352 357 360 363 364 365 366 367 368 370 371 372 374 375 377 385 386 387 390 393 395 396 397 400 404 407 411 414 415 418 422 426 427 431 434 437 439 a 4 5 7 8 16 23 29 30 31 32 33 34 35 37 38 41 43 53 57 62 64 67 69 71 72 75 76 81 83 85 93 97 98 103 105 106 108 110 111 118 122 126 128 129 132 138 141 146 147 154 159 161 163 165 173 175 180 186 187 192 195 204 205 210 212 216 217 218 225 226 229 238 239 241 243 244 253 254 256 259 260 264 266 270 273 274 276 279 280 281 287 290 293 294 299 300 307 311 314 315 316 319 321 328 331 332 341 343 344 346 351 352 357 360 363 364 365 366 367 368 370 371 372 374 375 377 385 386 387 390 393 395 396 397 400 404 407 411 414 415 418 422 426 427 431 434 437 439 a 4 5 7 8 16 23 29 30 31 32 33 34 35 37 38 41 43 53 57 62 64 67 69 71 72 75 76 81 83 85 93 97 98 103 105 106 108 110 111 118 122 126 128 129 132 138 141 147 154 159 161 163 165 173 175 180 186 187 192 195 204 205 210 212 216 217 218 225 226 229 238 239 241 243 244 253 254 256 259 260 264 266 270 273 274 276 279 280 281 287 290 293 294 299 300 307 311 314 315 316 319 321 328 331 332 341 343 344 346 351 352 357 360 363 364 365 366 367 368 370 371 372 374 375 377 385 386 387 390 393 395 396 397 400 404 407 411 414 415 418 422 426 427 431 434 437 439 442 a 4 5 7 8 16 23 29 30 31 32 33 34 35 37 38 41 43 53 57 62 64 67 69 71 72 75 76 81 83 85 93 97 98 103 105 106 108 110 111 118 122 126 127 129 132 138 141 147 154 159 161 163 165 173 175 180 186 187 192 195 204 205 210 212 216 217 218 225 226 229 238 239 241 243 244 253 254 256 259 260 264 266 270 273 274 276 279 280 281 287 290 293 294 299 300 307 311 314 315 316 319 321 328 331 332 341 343 344 346 351 352 357 360 363 364 365 366 367 368 370 371 372 374 375 377 385 386 387 390 393 395 396 397 400 404 407 411 414 415 418 422 426 427 431 434 437 439 442 a 4 5 7 8 16 23 29 30 31 32 33 34 35 37 38 41 43 57 62 64 67 69 71 72 75 76 81 83 85 93 97 98 103 105 106 108 110 111 118 122 126 127 129 132 138 141 147 154 159 161 163 165 173 175 180 186 187 192 195 204 205 210 211 212 216 217 218 225 226 229 238 239 241 243 244 253 254 256 259 260 264 266 270 273 274 276 279 280 281 287 290 293 294 299 300 307 311 314 315 316 319 321 328 331 332 341 343 344 346 351 352 357 360 363 364 365 366 367 368 370 371 372 374 375 377 385 386 387 390 393 395 396 397 400 404 407 411 414 415 418 422 426 427 431 434 437 439 442 a 4 5 7 8 16 23 29 30 31 32 33 34 35 37 38 41 43 57 62 64 67 69 71 72 75 76 81 83 85 93 97 98 103 105 106 108 110 111 118 122 126 127 129 132 138 141 147 154 159 161 163 165 173 180 186 187 192 195 204 205 210 211 212 216 217 218 225 226 229 238 239 241 243 244 253 254 256 259 260 264 266 270 273 274 276 279 280 281 287 290 293 294 299 300 307 311 314 315 316 319 321 328 331 332 341 343 344 346 351 352 357 360 363 364 365 366 367 368 370 371 372 374 375 377 385 386 387 390 393 395 396 397 400 404 407 409 411 414 415 418 422 426 427 431 434 437 439 442 a 4 5 7 8 16 23 29 30 31 32 33 34 35 37 38 41 43 57 62 64 67 69 71 72 75 76 81 83 85 93 97 98 103 106 108 110 111 118 122 126 127 129 132 138 141 147 154 159 161 163 165 173 180 186 187 192 195 204 205 210 211 212 216 217 218 225 226 229 238 239 241 243 244 253 254 256 259 260 264 266 270 273 274 276 277 279 280 281 287 290 293 294 299 300 307 311 314 315 316 319 321 328 331 332 341 343 344 346 351 352 357 360 363 364 365 366 367 368 370 371 372 374 375 377 385 386 387 390 393 395 396 397 400 404 407 409 411 414 415 418 422 426 427 431 434 437 439 442 a 4 5 7 8 16 23 29 30 31 32 33 34 35 37 38 41 43 57 62 64 67 69 71 72 75 76 81 83 85 93 97 98 103 106 108 110 111 122 126 127 129 132 138 141 147 149 154 159 161 163 165 173 180 186 187 192 195 204 205 210 211 212 216 217 218 225 226 229 238 239 241 243 244 253 254 256 259 260 264 266 270 273 274 276 277 279 280 281 287 290 293 294 299 300 307 311 314 315 316 319 321 328 331 332 341 343 344 346 351 352 357 360 363 364 365 366 367 368 370 371 372 374 375 377 385 386 387 390 393 395 396 397 400 404 407 409 411 414 415 418 422 426 427 431 434 437 439 442 a 4 5 7 8 16 23 29 30 31 32 33 34 35 37 38 40 41 43 57 62 64 67 69 71 72 75 76 81 83 93 97 98 103 106 108 110 111 122 126 127 129 132 138 141 147 149 154 159 161 163 165 173 180 186 187 192 195 204 205 210 211 212 216 217 218 225 226 229 238 239 241 243 244 253 254 256 259 260 264 266 270 273 274 276 277 279 280 281 287 290 293 294 299 300 307 311 314 315 316 319 321 328 331 332 341 343 344 346 351 352 357 360 363 364 365 366 367 368 370 371 372 374 375 377 385 386 387 390 393 395 396 397 400 404 407 409 411 414 415 418 422 426 427 431 434 437 439 442 a 4 5 7 8 16 23 29 30 31 32 33 34 35 37 38 40 41 43 57 62 64 67 69 71 72 75 76 81 83 93 97 98 103 106 108 110 111 122 126 127 129 132 138 141 147 149 154 159 161 163 165 173 180 186 187 189 192 195 204 205 210 211 212 216 217 218 225 226 229 238 239 241 243 244 253 254 256 259 260 264 266 270 273 274 276 277 279 280 281 287 290 293 294 299 300 307 311 314 315 316 319 321 328 331 332 341 343 344 346 351 352 357 360 363 364 365 366 367 368 370 371 372 374 375 377 385 386 387 390 393 395 396 397 400 404 407 409 411 414 415 418 422 426 427 431 434 437 442 a 4 5 7 8 16 23 29 30 31 32 33 34 35 37 38 40 41 43 57 62 64 67 69 71 72 75 76 81 83 93 97 98 103 106 108 110 111 122 126 127 129 132 138 141 147 149 154 159 161 163 165 173 180 186 187 189 192 195 204 205 210 211 212 216 217 218 225 226 229 238 239 241 243 244 253 254 256 259 260 264 266 270 273 274 276 277 279 280 281 287 290 293 299 300 307 311 314 315 316 319 321 328 331 332 338 341 343 344 346 351 352 357 360 363 364 365 366 367 368 370 371 372 374 375 377 385 386 387 390 393 395 396 397 400 404 407 409 411 414 415 418 422 426 427 431 434 437 442 c Step: 81 Command being timed: "python3 run_3.py --shortest -t4 /benchmark/random_instance/random_instance034_graph004.col /benchmark/random_instance/random_instance034_graph004_01.dat" User time (seconds): 20.76 System time (seconds): 0.34 Percent of CPU this job got: 280% Elapsed (wall clock) time (h:mm:ss or m:ss): 0:07.52 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): 404920 Average resident set size (kbytes): 0 Major (requiring I/O) page faults: 1 Minor (reclaiming a frame) page faults: 244124 Voluntary context switches: 13311 Involuntary context switches: 72 Swaps: 0 File system inputs: 0 File system outputs: 616 Socket messages sent: 0 Socket messages received: 0 Signals delivered: 0 Page size (bytes): 4096 Exit status: 0 #END: [Mon Sep 4 15:10:14 2023]