#BEGIN: [Tue Sep 26 03:14:46 2023]
#HOST: s11
#TIMELIMIT: 1800
#MEMLIMIT: 0
#SOLVER: shortest-cpu-banbaralab2-shortest2
#INSTANCE1: /benchmark/random_instance/random_instance030_graph005.col
#INSTANCE2: /benchmark/random_instance/random_instance030_graph005_01.dat
#COMMAND: docker run --cidfile /tmp/cid.txt --init --rm -t --ulimit cpu=1800 -v /home/share/benchmark/ISR-benchmark:/benchmark banbaralab2 --shortest -t4 /benchmark/random_instance/random_instance030_graph005.col /benchmark/random_instance/random_instance030_graph005_01.dat
c /benchmark/random_instance/random_instance030_graph005.col
c /benchmark/random_instance/random_instance030_graph005_01.dat
s 250 253 128 5 223 27 299 207 57 241 2 117 159 14 124 111 213 272 313 364 310 262 52 338 165 249 283 374 60 198 7 325 385 182 292 29 166 345 77 53 273 289 102 172 51 203 366 186 361 308 367 217 225 363 118 254 194 75 232 239 3 231 152 354 311 191 222 142 346 71 336 320 50 139 79 146 290 160 11 277 221 133 39 85 278 97 269 10 47 312 161 318 316 23 148 197 54 291 271 28 324 260 333 33 314 214 205 235 121 181 242 173 234 301 329 68 215 373 41 56 22 219 341 96 331 381 176
t 228 3 88 248 327 57 133 179 7 184 164 310 1 339 43 278 319 94 281 63 385 31 91 42 269 85 144 30 106 111 370 51 322 20 46 366 226 167 208 285 16 376 44 303 107 177 390 378 45 247 155 275 380 103 252 108 249 203 353 356 37 277 21 225 56 28 13 236 309 128 211 340 181 182 358 221 66 260 239 18 262 266 24 97 338 170 214 323 122 11 335 62 368 298 350 68 280 188 23 102 152 375 314 53 267 328 166 308 244 148 357 331 347 124 294 234 320 334 195 344 207 346 254 191 112 201 200
a YES
a 2 3 5 7 10 11 14 22 23 27 28 29 33 39 41 47 50 51 52 53 54 56 57 60 68 71 75 77 79 85 96 97 102 111 117 118 121 124 128 133 139 142 146 148 152 159 160 161 165 166 172 173 176 181 182 186 191 194 197 198 203 205 207 213 214 215 217 219 221 222 223 225 231 232 234 235 239 241 242 249 250 253 254 260 262 269 271 272 273 277 278 283 289 290 291 292 299 301 308 310 311 312 313 314 316 318 320 324 325 329 331 333 336 338 341 345 346 354 361 363 364 366 367 373 374 381 385
a 2 3 5 7 10 11 14 22 23 27 28 29 33 39 41 47 50 51 52 53 54 56 57 60 68 71 75 77 79 85 96 97 102 111 117 118 121 124 128 133 139 142 146 148 152 159 160 161 165 166 172 173 176 181 182 186 191 194 197 198 203 205 207 213 214 215 217 219 221 222 223 225 231 232 234 235 239 241 242 249 250 253 254 260 262 269 271 272 273 277 278 283 289 290 291 292 299 308 310 311 312 313 314 316 318 320 324 325 327 329 331 333 336 338 341 345 346 354 361 363 364 366 367 373 374 381 385
a 2 3 5 7 10 11 14 22 23 27 28 29 33 39 41 47 50 51 52 53 54 56 57 60 68 71 75 77 79 85 96 97 102 111 117 118 121 124 128 133 139 142 146 148 152 159 160 161 165 166 172 173 176 181 182 186 191 194 197 198 203 205 207 213 214 215 217 219 221 222 223 225 231 232 234 235 236 239 241 242 249 250 253 254 260 262 269 271 272 273 277 278 283 289 290 291 292 299 308 310 311 312 313 314 316 318 320 324 325 327 329 331 333 336 338 341 346 354 361 363 364 366 367 373 374 381 385
a 2 3 5 7 10 11 14 22 23 27 28 29 33 39 41 47 50 51 52 53 54 56 57 60 68 71 75 77 79 85 96 97 102 111 117 118 121 124 128 133 139 142 146 148 152 159 160 161 165 166 172 176 181 182 186 191 194 197 198 203 205 207 213 214 215 217 219 221 222 223 225 231 232 234 235 236 239 241 242 249 250 253 254 260 262 269 271 272 273 277 278 283 289 290 291 292 299 308 310 311 312 313 314 316 318 320 324 325 327 329 331 333 336 338 341 346 350 354 361 363 364 366 367 373 374 381 385
a 2 3 5 7 10 11 14 22 23 27 28 29 33 39 41 47 50 51 52 53 54 56 57 60 68 71 75 77 79 85 96 97 102 111 117 118 121 124 128 133 139 142 146 148 152 159 160 161 165 166 172 176 181 182 186 191 194 197 198 203 205 207 213 214 215 219 221 222 223 225 228 231 232 234 235 236 239 241 242 249 250 253 254 260 262 269 271 272 273 277 278 283 289 290 291 292 299 308 310 311 312 313 314 316 318 320 324 325 327 329 331 333 336 338 341 346 350 354 361 363 364 366 367 373 374 381 385
a 2 3 5 7 10 11 14 22 23 27 28 29 33 39 41 47 50 51 52 53 54 56 57 60 68 71 75 77 79 85 96 97 102 111 117 118 121 124 128 133 139 142 146 148 152 159 160 161 165 166 172 176 179 181 182 186 191 194 197 198 203 205 207 213 214 215 219 221 222 223 225 228 231 232 234 235 236 239 241 242 249 250 253 254 260 262 269 271 272 273 277 278 283 289 290 291 292 299 308 310 311 312 313 314 316 318 320 324 325 327 331 333 336 338 341 346 350 354 361 363 364 366 367 373 374 381 385
a 2 3 5 7 10 11 14 22 23 27 28 29 30 33 39 41 47 50 51 52 53 54 56 57 60 68 71 75 77 79 85 96 97 102 111 117 118 121 124 128 133 139 142 146 148 152 159 160 161 165 166 172 176 179 181 182 186 191 194 197 198 203 205 207 213 214 215 219 221 222 223 225 228 231 232 234 235 236 239 241 242 249 250 253 254 260 262 269 271 272 273 277 278 283 290 291 292 299 308 310 311 312 313 314 316 318 320 324 325 327 331 333 336 338 341 346 350 354 361 363 364 366 367 373 374 381 385
a 2 3 5 7 10 11 14 21 22 23 27 28 29 30 33 39 41 47 50 51 52 53 54 56 57 60 68 71 75 77 79 85 96 97 102 111 117 118 121 124 128 133 139 142 146 148 152 159 160 161 165 166 172 176 179 181 182 186 191 194 197 198 203 205 207 213 214 215 219 221 222 223 225 228 231 232 234 235 236 239 241 242 249 250 253 254 260 262 269 271 272 273 277 278 283 290 291 292 299 308 310 311 312 313 314 316 318 320 324 325 327 331 333 336 338 346 350 354 361 363 364 366 367 373 374 381 385
a 2 3 5 7 10 11 14 21 22 23 27 28 29 30 33 39 41 43 47 50 51 52 53 54 56 57 60 68 71 75 77 79 85 96 97 102 111 117 118 121 124 128 133 139 142 146 148 152 159 160 161 165 166 172 176 179 181 182 186 191 197 198 203 205 207 213 214 215 219 221 222 223 225 228 231 232 234 235 236 239 241 242 249 250 253 254 260 262 269 271 272 273 277 278 283 290 291 292 299 308 310 311 312 313 314 316 318 320 324 325 327 331 333 336 338 346 350 354 361 363 364 366 367 373 374 381 385
a 2 3 5 7 10 11 14 18 21 22 23 27 28 29 30 33 39 41 43 47 50 51 52 53 54 56 57 60 68 71 75 77 79 85 96 97 102 111 117 118 121 124 128 133 139 142 146 148 152 159 160 161 165 166 172 176 179 181 182 186 191 197 198 203 205 207 213 214 215 219 221 222 223 225 228 231 232 234 235 236 239 241 242 249 250 253 254 260 262 269 271 272 273 277 278 283 290 291 292 299 308 310 311 312 313 314 316 320 324 325 327 331 333 336 338 346 350 354 361 363 364 366 367 373 374 381 385
a 2 3 5 7 10 11 14 18 21 22 23 27 28 29 30 33 39 41 43 47 50 51 52 53 54 56 57 60 68 71 75 77 79 85 96 97 102 111 117 118 121 124 128 133 139 142 144 146 148 152 159 160 161 165 166 172 176 179 181 182 186 191 197 198 203 205 207 213 214 215 219 221 222 223 225 228 231 232 234 235 236 239 241 242 249 250 254 260 262 269 271 272 273 277 278 283 290 291 292 299 308 310 311 312 313 314 316 320 324 325 327 331 333 336 338 346 350 354 361 363 364 366 367 373 374 381 385
a 2 3 5 7 10 11 13 14 18 21 22 23 27 28 29 30 33 39 41 43 47 50 51 52 53 54 56 57 60 68 71 75 77 79 85 96 97 102 111 117 118 121 124 128 133 139 142 144 146 148 152 159 160 161 165 166 172 176 179 181 182 186 191 197 198 203 205 207 213 214 215 219 221 222 223 225 228 231 232 234 235 236 239 241 242 249 250 254 260 262 269 271 272 273 277 278 283 290 291 292 299 308 310 311 312 313 314 316 320 324 325 327 331 333 336 338 346 350 354 361 363 364 366 367 374 381 385
a 2 3 5 7 10 11 13 14 18 21 22 23 27 28 29 30 33 39 41 43 47 50 51 52 53 54 56 57 60 66 68 71 75 77 79 85 96 97 102 111 117 118 121 124 128 133 139 142 144 146 148 152 159 160 161 165 166 172 176 179 181 182 186 191 197 198 203 205 207 213 214 215 219 221 222 225 228 231 232 234 235 236 239 241 242 249 250 254 260 262 269 271 272 273 277 278 283 290 291 292 299 308 310 311 312 313 314 316 320 324 325 327 331 333 336 338 346 350 354 361 363 364 366 367 374 381 385
a 2 3 5 7 10 11 13 14 18 21 22 23 27 28 29 30 39 41 43 47 50 51 52 53 54 56 57 60 66 68 71 75 77 79 85 96 97 102 111 117 118 121 124 128 133 139 142 144 146 148 152 159 160 161 165 166 172 176 179 181 182 186 191 197 198 203 205 207 213 214 215 219 221 222 225 228 231 232 234 235 236 239 241 242 249 250 254 260 262 269 271 272 273 277 278 283 290 291 292 299 308 310 311 312 313 314 316 320 324 325 327 331 333 336 338 340 346 350 354 361 363 364 366 367 374 381 385
a 2 3 5 7 10 11 13 14 18 21 22 23 27 28 29 30 39 41 43 47 50 51 52 53 54 56 57 60 66 68 71 75 77 79 85 96 97 102 111 117 118 121 124 128 133 139 142 144 146 148 152 159 160 161 165 166 172 176 179 181 182 186 191 197 198 203 205 207 213 214 215 219 221 222 225 228 231 232 234 235 236 239 242 249 250 254 260 262 269 271 272 273 277 278 283 290 291 292 299 308 310 311 312 313 314 316 319 320 324 325 327 331 333 336 338 340 346 350 354 361 363 364 366 367 374 381 385
a 2 3 5 7 10 11 13 14 18 21 22 23 27 28 29 30 39 41 43 45 47 50 51 52 53 54 56 57 60 66 68 71 75 77 79 85 96 97 102 111 117 118 121 124 128 133 139 142 144 146 148 152 159 160 161 165 166 172 176 179 181 182 186 191 197 198 203 205 207 213 214 215 219 221 222 225 228 231 232 234 235 236 239 242 249 250 254 260 262 269 271 272 273 277 278 283 290 291 292 299 308 310 311 312 313 314 316 319 320 324 325 327 331 333 336 338 340 346 350 354 361 363 364 366 367 381 385
a 2 3 5 7 10 11 13 14 18 21 22 23 27 28 29 30 39 41 43 45 47 50 51 52 53 54 56 57 60 66 68 71 75 77 79 85 96 97 102 111 117 118 121 124 128 133 142 144 146 148 152 159 160 161 165 166 172 176 179 181 182 186 191 197 198 203 205 207 213 214 215 219 221 222 225 228 231 232 234 235 236 239 242 249 250 254 260 262 266 269 271 272 273 277 278 283 290 291 292 299 308 310 311 312 313 314 316 319 320 324 325 327 331 333 336 338 340 346 350 354 361 363 364 366 367 381 385
a 2 3 5 7 10 11 13 14 18 21 22 23 27 28 29 30 39 41 43 45 47 50 51 52 53 54 56 57 60 66 68 71 75 77 79 85 96 97 102 111 117 118 121 124 128 133 142 144 146 148 152 159 160 161 165 166 172 176 179 181 182 186 191 197 198 200 203 205 207 213 214 215 219 221 222 225 228 231 232 234 235 236 239 242 249 250 254 260 262 266 269 272 273 277 278 283 290 291 292 299 308 310 311 312 313 314 316 319 320 324 325 327 331 333 336 338 340 346 350 354 361 363 364 366 367 381 385
a 2 3 5 7 10 11 13 14 18 21 22 23 27 28 30 39 41 43 45 47 50 51 52 53 54 56 57 60 66 68 71 75 77 79 85 96 97 102 111 117 118 121 124 128 133 142 144 146 148 152 159 160 161 165 166 172 176 179 181 182 186 191 197 198 200 203 205 207 213 214 215 219 221 222 225 228 231 232 234 235 236 239 242 249 250 254 260 262 266 269 272 273 277 278 283 290 291 292 299 308 310 311 312 313 314 316 319 320 323 324 325 327 331 333 336 338 340 346 350 354 361 363 364 366 367 381 385
a 2 3 5 7 10 11 13 14 18 21 22 23 27 28 30 39 41 43 45 47 50 51 52 53 54 56 57 60 66 68 71 75 77 79 85 96 97 102 111 117 118 121 124 128 133 142 144 146 148 152 159 160 161 165 166 172 176 179 181 182 186 191 197 198 200 203 205 207 213 214 215 219 221 222 225 228 231 232 234 235 236 239 242 248 249 250 254 260 262 266 269 272 273 277 278 283 290 291 299 308 310 311 312 313 314 316 319 320 323 324 325 327 331 333 336 338 340 346 350 354 361 363 364 366 367 381 385
a 2 3 5 7 10 11 13 14 18 21 22 23 27 28 30 39 41 43 45 47 50 51 52 53 54 56 57 60 66 68 71 75 77 79 85 96 97 102 111 117 118 121 124 128 133 142 144 146 148 152 159 160 161 165 166 172 176 179 181 182 186 191 197 198 200 203 205 207 213 214 215 219 221 222 225 228 231 232 234 235 236 239 242 248 249 250 254 260 262 266 269 272 273 277 278 283 290 291 299 308 310 311 312 313 314 316 319 320 323 324 325 327 331 333 335 336 338 340 346 350 354 361 363 364 366 381 385
a 2 3 5 7 10 11 13 14 16 18 21 22 23 27 28 30 39 41 43 45 47 50 51 52 53 54 56 57 60 66 68 71 75 77 79 85 96 97 102 111 117 121 124 128 133 142 144 146 148 152 159 160 161 165 166 172 176 179 181 182 186 191 197 198 200 203 205 207 213 214 215 219 221 222 225 228 231 232 234 235 236 239 242 248 249 250 254 260 262 266 269 272 273 277 278 283 290 291 299 308 310 311 312 313 314 316 319 320 323 324 325 327 331 333 335 336 338 340 346 350 354 361 363 364 366 381 385
a 2 3 5 7 10 11 13 14 16 18 21 22 23 27 28 30 39 41 43 45 47 50 51 52 53 54 56 57 60 66 68 71 75 77 79 85 96 97 102 111 117 121 124 128 133 142 144 146 148 152 159 160 161 165 166 172 176 179 181 182 186 191 197 198 200 203 207 213 214 215 219 221 222 225 228 231 232 234 235 236 239 242 244 248 249 250 254 260 262 266 269 272 273 277 278 283 290 291 299 308 310 311 312 313 314 316 319 320 323 324 325 327 331 333 335 336 338 340 346 350 354 361 363 364 366 381 385
a 2 3 5 7 10 11 13 14 16 18 21 22 23 27 28 30 39 41 43 45 47 50 51 52 53 54 56 57 60 66 68 71 75 77 79 85 96 97 102 111 117 121 124 128 133 142 144 146 148 152 159 160 161 165 166 172 176 179 181 182 186 191 197 198 200 203 207 208 213 214 215 219 221 222 225 228 231 232 234 235 236 239 242 244 248 249 250 254 260 262 266 269 272 273 277 278 283 290 291 299 308 310 311 312 313 314 316 319 320 323 324 327 331 333 335 336 338 340 346 350 354 361 363 364 366 381 385
a 2 3 5 7 10 11 13 14 16 18 21 22 23 24 27 28 30 39 41 43 45 47 50 51 52 53 54 56 57 60 66 68 75 77 79 85 96 97 102 111 117 121 124 128 133 142 144 146 148 152 159 160 161 165 166 172 176 179 181 182 186 191 197 198 200 203 207 208 213 214 215 219 221 222 225 228 231 232 234 235 236 239 242 244 248 249 250 254 260 262 266 269 272 273 277 278 283 290 291 299 308 310 311 312 313 314 316 319 320 323 324 327 331 333 335 336 338 340 346 350 354 361 363 364 366 381 385
a 1 2 3 5 7 10 11 13 14 16 18 21 22 23 24 27 28 30 39 41 43 45 47 50 51 52 53 54 56 57 60 66 68 75 77 79 85 96 97 102 111 117 121 124 128 133 142 144 146 148 152 159 160 161 165 166 172 176 179 181 182 186 191 197 198 200 203 207 208 213 214 215 219 221 222 225 228 231 232 234 235 236 239 242 244 248 249 254 260 262 266 269 272 273 277 278 283 290 291 299 308 310 311 312 313 314 316 319 320 323 324 327 331 333 335 336 338 340 346 350 354 361 363 364 366 381 385
a 1 2 3 5 7 10 11 13 14 16 18 21 22 23 24 27 28 30 39 41 42 43 45 47 50 51 52 53 54 56 57 60 66 68 75 77 79 85 96 97 102 111 117 121 124 128 133 144 146 148 152 159 160 161 165 166 172 176 179 181 182 186 191 197 198 200 203 207 208 213 214 215 219 221 222 225 228 231 232 234 235 236 239 242 244 248 249 254 260 262 266 269 272 273 277 278 283 290 291 299 308 310 311 312 313 314 316 319 320 323 324 327 331 333 335 336 338 340 346 350 354 361 363 364 366 381 385
a 1 2 3 5 7 10 11 13 14 16 18 21 22 23 24 27 28 30 41 42 43 45 47 50 51 52 53 54 56 57 60 66 68 75 77 79 85 96 97 102 111 117 121 124 128 133 144 146 148 152 159 160 161 165 166 172 176 179 181 182 186 191 197 198 200 203 207 208 211 213 214 215 219 221 222 225 228 231 232 234 235 236 239 242 244 248 249 254 260 262 266 269 272 273 277 278 283 290 291 299 308 310 311 312 313 314 316 319 320 323 324 327 331 333 335 336 338 340 346 350 354 361 363 364 366 381 385
a 1 2 3 5 7 10 11 13 14 16 18 21 22 23 24 27 28 30 41 42 43 45 47 50 51 52 53 54 56 57 60 66 68 75 77 79 85 96 97 102 111 117 121 124 128 133 144 146 148 152 160 161 164 165 166 172 176 179 181 182 186 191 197 198 200 203 207 208 211 213 214 215 219 221 222 225 228 231 232 234 235 236 239 242 244 248 249 254 260 262 266 269 272 273 277 278 283 290 291 299 308 310 311 312 313 314 316 319 320 323 324 327 331 333 335 336 338 340 346 350 354 361 363 364 366 381 385
a 1 2 3 5 7 10 11 13 14 16 18 21 22 23 24 27 28 30 41 42 43 45 47 50 51 52 53 54 56 57 60 66 68 75 77 79 85 96 97 102 111 117 121 124 128 133 144 146 148 152 160 161 164 165 166 172 176 179 181 182 186 191 197 198 200 203 207 208 211 213 214 215 219 221 222 225 228 232 234 235 236 239 242 244 248 249 254 260 262 266 269 272 273 277 278 283 290 291 299 308 310 311 312 313 314 316 319 320 323 324 327 331 333 334 335 336 338 340 346 350 354 361 363 364 366 381 385
a 1 2 3 5 7 10 11 13 14 16 18 21 22 23 24 27 28 30 41 42 43 45 47 50 51 52 53 54 56 57 60 66 68 75 77 79 85 96 97 102 111 117 121 122 124 128 133 144 146 148 152 160 161 164 166 172 176 179 181 182 186 191 197 198 200 203 207 208 211 213 214 215 219 221 222 225 228 232 234 235 236 239 242 244 248 249 254 260 262 266 269 272 273 277 278 283 290 291 299 308 310 311 312 313 314 316 319 320 323 324 327 331 333 334 335 336 338 340 346 350 354 361 363 364 366 381 385
a 1 2 3 5 7 10 11 13 14 16 18 21 22 23 24 27 28 30 41 42 43 45 47 50 51 52 53 54 56 57 60 66 68 75 77 79 85 88 96 97 102 111 117 121 122 124 128 133 144 146 148 152 160 161 164 166 172 176 179 181 182 186 191 197 198 200 203 207 208 211 213 214 215 219 221 222 225 228 232 234 235 236 239 242 244 248 249 254 260 262 266 269 272 273 277 278 283 290 291 299 308 310 311 312 314 316 319 320 323 324 327 331 333 334 335 336 338 340 346 350 354 361 363 364 366 381 385
a 1 2 3 5 7 10 11 13 14 16 18 21 22 23 24 27 28 30 41 42 43 45 47 50 51 52 53 54 56 57 60 66 68 75 77 79 85 88 96 97 102 111 117 121 122 124 128 133 144 146 148 152 160 161 164 166 172 176 179 181 182 186 191 197 198 200 203 207 208 211 213 214 215 219 221 222 225 228 232 234 235 236 239 242 244 248 249 254 260 262 266 269 273 277 278 283 290 291 299 308 310 311 312 314 316 319 320 323 324 327 331 333 334 335 336 338 340 346 350 354 361 363 364 366 380 381 385
a 1 2 3 5 7 10 11 13 14 16 18 21 23 24 27 28 30 41 42 43 45 47 50 51 52 53 54 56 57 60 66 68 75 77 79 85 88 96 97 102 111 117 121 122 124 128 133 144 146 148 152 160 161 164 166 172 176 179 181 182 186 191 197 198 200 203 207 208 211 213 214 215 219 221 222 225 228 232 234 235 236 239 242 244 248 249 254 260 262 266 269 273 277 278 283 290 291 299 308 310 311 312 314 316 319 320 323 324 327 331 333 334 335 336 338 340 346 350 354 361 363 364 366 368 380 381 385
a 1 2 3 5 7 10 11 13 14 16 18 21 23 24 27 28 30 41 42 43 45 47 50 51 52 53 54 56 57 60 66 68 75 77 79 85 88 96 97 102 111 117 121 122 124 128 133 144 146 148 152 160 161 164 166 167 176 179 181 182 186 191 197 198 200 203 207 208 211 213 214 215 219 221 222 225 228 232 234 235 236 239 242 244 248 249 254 260 262 266 269 273 277 278 283 290 291 299 308 310 311 312 314 316 319 320 323 324 327 331 333 334 335 336 338 340 346 350 354 361 363 364 366 368 380 381 385
a 1 2 3 5 7 10 11 13 14 16 18 21 23 24 27 28 30 41 42 43 45 47 50 51 52 53 54 56 57 60 66 68 75 77 79 85 88 96 97 102 111 117 121 122 124 128 133 144 146 148 152 160 161 164 166 167 176 179 181 182 186 191 197 198 200 203 207 208 211 213 214 215 219 221 222 225 228 232 234 235 236 239 242 244 248 249 254 260 262 266 269 277 278 283 290 291 299 308 310 311 312 314 316 319 320 323 324 327 331 333 334 335 336 338 340 346 347 350 354 361 363 364 366 368 380 381 385
a 1 2 3 7 10 11 13 14 16 18 21 23 24 27 28 30 41 42 43 45 47 50 51 52 53 54 56 57 60 66 68 75 77 79 85 88 96 97 102 111 117 121 122 124 128 133 144 146 148 152 160 161 164 166 167 176 179 181 182 186 191 197 198 200 203 207 208 211 213 214 215 219 221 222 225 228 232 234 235 236 239 242 244 248 249 254 260 262 266 269 277 278 283 290 291 299 308 310 311 312 314 316 319 320 323 324 327 328 331 333 334 335 336 338 340 346 347 350 354 361 363 364 366 368 380 381 385
a 1 2 3 7 10 11 13 14 16 18 21 23 24 27 28 30 41 42 43 45 47 50 51 52 53 54 56 57 60 66 68 75 77 79 85 88 97 102 106 111 117 121 122 124 128 133 144 146 148 152 160 161 164 166 167 176 179 181 182 186 191 197 198 200 203 207 208 211 213 214 215 219 221 222 225 228 232 234 235 236 239 242 244 248 249 254 260 262 266 269 277 278 283 290 291 299 308 310 311 312 314 316 319 320 323 324 327 328 331 333 334 335 336 338 340 346 347 350 354 361 363 364 366 368 380 381 385
a 1 2 3 7 10 11 13 14 16 18 21 23 24 27 28 30 41 42 43 45 47 50 51 52 53 54 56 57 60 66 68 75 77 79 85 88 97 102 106 111 121 122 124 128 133 144 146 148 152 160 161 164 166 167 176 179 181 182 186 191 197 198 200 203 207 208 211 213 214 215 219 221 222 225 228 232 234 235 236 239 242 244 248 249 254 260 262 266 269 277 278 283 290 291 299 308 310 311 312 314 316 319 320 323 324 327 328 331 333 334 335 336 338 340 346 347 350 354 361 363 364 366 368 370 380 381 385
a 1 2 3 7 10 11 13 14 16 18 21 23 24 27 28 30 42 43 45 47 50 51 52 53 54 56 57 60 66 68 75 77 79 85 88 97 102 106 111 121 122 124 128 133 144 146 148 152 160 161 164 166 167 176 179 181 182 186 191 197 198 200 203 207 208 211 213 214 215 219 221 222 225 228 232 234 235 236 239 242 244 248 249 254 260 262 266 269 277 278 283 290 291 299 308 310 311 312 314 316 319 320 323 324 327 328 331 333 334 335 336 338 340 346 347 350 354 361 363 364 366 368 370 378 380 381 385
a 1 2 3 7 10 11 13 14 16 18 21 23 24 27 28 30 42 43 45 47 50 51 52 53 54 56 57 60 66 68 75 77 79 85 88 97 102 106 111 121 122 124 128 133 144 146 148 152 160 161 164 166 167 176 179 181 182 186 191 198 200 203 207 208 211 213 214 215 219 221 222 225 228 232 234 235 236 239 242 244 248 249 254 260 262 266 269 277 278 283 290 291 299 308 310 311 312 314 316 319 320 323 324 327 328 331 333 334 335 336 338 339 340 346 347 350 354 361 363 364 366 368 370 378 380 381 385
a 1 2 3 7 10 11 13 14 16 18 21 23 24 27 28 30 42 43 45 47 50 51 53 54 56 57 60 66 68 75 77 79 85 88 97 102 106 111 121 122 124 128 133 144 146 148 152 160 161 164 166 167 176 179 181 182 186 191 198 200 203 207 208 211 213 214 215 219 221 222 225 228 232 234 235 236 239 242 244 248 249 254 260 262 266 269 277 278 283 285 290 291 299 308 310 311 312 314 316 319 320 323 324 327 328 331 333 334 335 336 338 339 340 346 347 350 354 361 363 364 366 368 370 378 380 381 385
a 1 2 3 7 10 11 13 14 16 18 21 23 24 27 28 30 42 43 45 47 50 51 53 54 56 57 60 66 68 75 77 79 85 88 97 102 106 111 121 122 124 128 133 144 146 148 152 160 161 164 166 167 176 179 181 182 191 198 200 203 207 208 211 213 214 215 219 221 222 225 228 232 234 235 236 239 242 244 248 249 254 260 262 266 269 277 278 283 285 290 291 299 308 310 311 312 314 316 319 320 323 324 327 328 331 333 334 335 336 338 339 340 346 347 350 354 361 363 364 366 368 370 378 380 381 385 390
a 1 2 3 7 10 11 13 14 16 18 21 23 24 27 28 30 42 43 45 47 50 51 53 54 56 57 60 66 68 75 77 79 85 88 97 102 106 111 122 124 128 133 144 146 148 152 160 161 164 166 167 176 179 181 182 191 198 200 203 207 208 211 213 214 215 219 221 222 225 228 232 234 235 236 239 242 244 248 249 254 260 262 266 269 277 278 283 285 290 291 299 308 310 311 312 314 316 319 320 323 324 327 328 331 333 334 335 336 338 339 340 346 347 350 354 357 361 363 364 366 368 370 378 380 381 385 390
a 1 2 3 7 10 11 13 14 16 18 21 23 24 27 28 30 42 43 45 47 50 51 53 54 56 57 60 66 68 75 77 79 85 88 97 102 106 111 112 122 124 128 133 144 146 148 152 160 161 164 166 167 176 179 181 182 191 198 200 203 207 208 211 213 214 215 219 221 222 225 228 232 234 235 236 239 242 244 248 249 254 260 262 266 269 277 278 283 285 290 291 299 308 310 311 312 314 316 319 320 323 324 327 328 331 333 334 335 338 339 340 346 347 350 354 357 361 363 364 366 368 370 378 380 381 385 390
a 1 2 3 7 10 11 13 14 16 18 21 23 24 27 28 30 42 43 45 47 50 51 53 54 56 57 60 66 68 75 77 79 85 88 97 102 106 111 112 122 124 128 133 144 146 148 152 160 161 164 166 167 176 179 181 182 191 198 200 203 207 208 211 213 214 215 219 221 222 225 228 232 234 235 236 239 242 244 248 249 254 260 262 266 269 277 278 281 283 285 291 299 308 310 311 312 314 316 319 320 323 324 327 328 331 333 334 335 338 339 340 346 347 350 354 357 361 363 364 366 368 370 378 380 381 385 390
a 1 2 3 7 10 11 13 14 16 18 21 23 24 27 28 30 42 43 45 47 50 51 53 54 56 57 60 66 68 75 77 85 88 97 102 106 111 112 122 124 128 133 144 146 148 152 160 161 164 166 167 170 176 179 181 182 191 198 200 203 207 208 211 213 214 215 219 221 222 225 228 232 234 235 236 239 242 244 248 249 254 260 262 266 269 277 278 281 283 285 291 299 308 310 311 312 314 316 319 320 323 324 327 328 331 333 334 335 338 339 340 346 347 350 354 357 361 363 364 366 368 370 378 380 381 385 390
a 1 2 3 7 10 11 13 14 16 18 21 23 24 27 28 30 42 43 45 47 50 51 53 54 56 57 66 68 75 77 85 88 97 102 106 111 112 122 124 128 133 144 146 148 152 160 161 164 166 167 170 176 179 181 182 191 198 200 203 207 208 211 213 214 215 219 221 222 225 228 232 234 235 236 239 242 244 248 249 254 260 262 266 269 277 278 281 283 285 291 294 299 308 310 311 312 314 316 319 320 323 324 327 328 331 333 334 335 338 339 340 346 347 350 354 357 361 363 364 366 368 370 378 380 381 385 390
a 1 2 3 7 10 11 13 14 16 18 21 23 24 27 28 30 42 43 45 47 50 51 53 54 56 57 66 68 75 77 85 88 97 102 106 111 112 122 124 128 133 144 146 148 152 160 161 164 166 167 170 176 177 179 181 182 191 198 200 203 207 208 211 213 214 215 219 221 222 225 228 232 234 235 236 239 242 244 248 249 254 260 262 266 269 277 278 281 283 285 291 294 299 308 310 311 312 314 316 319 320 323 324 327 328 331 333 334 335 338 339 340 346 347 350 357 361 363 364 366 368 370 378 380 381 385 390
a 1 2 3 7 10 11 13 14 16 18 21 23 24 27 28 30 42 43 45 47 50 51 53 54 56 57 66 68 75 77 85 88 97 102 106 111 112 122 124 128 133 144 146 148 152 160 161 164 166 167 170 176 177 179 181 182 191 198 200 203 207 208 211 213 214 215 219 221 222 225 228 232 234 235 236 239 242 244 248 249 254 260 262 266 269 277 278 281 283 285 291 294 299 308 309 310 311 312 314 316 319 320 323 324 327 328 331 333 334 335 338 339 340 346 347 350 357 361 363 364 366 368 370 378 380 385 390
a 1 2 3 7 10 11 13 14 16 18 21 23 24 27 28 30 42 43 45 47 50 51 53 54 56 57 66 68 75 77 85 88 97 102 106 111 112 122 124 128 133 144 146 148 152 160 161 164 166 167 170 177 179 181 182 191 198 200 203 207 208 211 213 214 215 219 221 222 225 228 232 234 235 236 239 242 244 248 249 254 260 262 266 269 277 278 281 283 285 291 294 298 299 308 309 310 311 312 314 316 319 320 323 324 327 328 331 333 334 335 338 339 340 346 347 350 357 361 363 364 366 368 370 378 380 385 390
a 1 2 3 7 10 11 13 14 16 18 21 23 24 27 28 30 42 43 45 47 50 51 53 54 56 57 66 68 75 77 85 88 97 102 106 111 112 122 124 128 133 144 146 148 152 160 161 164 166 167 170 177 179 181 182 191 198 200 203 207 208 211 213 214 219 221 222 225 228 232 234 235 236 239 242 244 248 249 252 254 260 262 266 269 277 278 281 283 285 291 294 298 299 308 309 310 311 312 314 316 319 320 323 324 327 328 331 333 334 335 338 339 340 346 347 350 357 361 363 364 366 368 370 378 380 385 390
a 1 2 3 7 10 11 13 14 16 18 21 23 24 27 28 30 42 43 45 47 50 51 53 54 56 57 66 68 75 77 85 88 97 102 106 111 112 122 124 128 133 144 146 148 152 160 161 164 166 167 170 177 179 181 182 191 198 200 203 207 208 211 213 214 219 221 222 225 228 232 234 235 236 239 242 244 248 249 252 254 260 262 266 269 277 278 281 283 285 291 294 298 299 308 309 310 311 312 314 316 319 320 323 324 327 328 331 333 334 335 338 339 340 346 347 350 356 357 361 364 366 368 370 378 380 385 390
a 1 2 3 7 10 11 13 14 16 18 21 23 24 27 28 30 42 43 45 47 50 51 53 54 56 57 66 68 75 77 85 88 97 102 106 111 112 122 124 128 133 144 146 148 152 160 161 164 166 167 170 177 179 181 182 188 191 198 200 203 207 208 211 213 214 221 222 225 228 232 234 235 236 239 242 244 248 249 252 254 260 262 266 269 277 278 281 283 285 291 294 298 299 308 309 310 311 312 314 316 319 320 323 324 327 328 331 333 334 335 338 339 340 346 347 350 356 357 361 364 366 368 370 378 380 385 390
a 1 2 3 7 10 11 13 14 16 18 21 23 24 27 28 30 42 43 45 47 50 51 53 56 57 66 68 75 77 85 88 97 102 106 111 112 122 124 128 133 144 146 148 152 160 161 164 166 167 170 177 179 181 182 188 191 198 200 203 207 208 211 213 214 221 222 225 228 232 234 235 236 239 242 244 247 248 249 252 254 260 262 266 269 277 278 281 283 285 291 294 298 299 308 309 310 311 312 314 316 319 320 323 324 327 328 331 333 334 335 338 339 340 346 347 350 356 357 361 364 366 368 370 378 380 385 390
a 1 2 3 7 10 11 13 16 18 21 23 24 27 28 30 42 43 45 47 50 51 53 56 57 66 68 75 77 85 88 97 102 106 111 112 122 124 128 133 144 146 148 152 160 161 164 166 167 170 177 179 181 182 188 191 198 200 203 207 208 211 213 214 221 222 225 228 232 234 235 236 239 242 244 247 248 249 252 254 260 262 266 269 277 278 281 283 285 291 294 298 299 308 309 310 311 312 314 316 319 320 323 324 327 328 331 333 334 335 338 339 340 344 346 347 350 356 357 361 364 366 368 370 378 380 385 390
a 1 2 3 7 10 11 13 16 18 21 23 24 27 28 30 42 43 45 47 50 51 53 56 57 66 68 75 77 85 88 97 102 106 111 112 122 124 128 133 144 146 148 152 160 161 164 166 167 170 177 179 181 182 188 191 198 200 203 207 208 211 213 214 221 222 225 228 232 234 235 236 239 242 244 247 248 249 252 254 260 262 266 269 277 278 281 283 285 291 294 298 299 303 308 309 310 311 312 314 316 319 320 323 324 327 328 331 333 334 335 338 339 340 344 346 347 350 356 357 361 366 368 370 378 380 385 390
a 1 2 3 7 10 11 13 16 18 21 23 24 27 28 30 42 43 45 47 50 51 53 56 57 66 68 75 77 85 88 97 102 106 111 112 122 124 128 133 144 146 148 152 160 161 164 166 167 170 177 179 181 182 188 191 198 200 203 207 208 211 213 214 221 225 228 232 234 235 236 239 242 244 247 248 249 252 254 260 262 266 267 269 277 278 281 283 285 291 294 298 299 303 308 309 310 311 312 314 316 319 320 323 324 327 328 331 333 334 335 338 339 340 344 346 347 350 356 357 361 366 368 370 378 380 385 390
a 1 2 3 7 10 11 13 16 18 21 23 24 27 28 30 42 43 45 47 50 51 53 56 57 66 68 75 77 85 88 97 102 106 111 112 122 124 128 133 144 146 148 152 155 160 161 164 166 167 170 177 179 181 182 188 191 198 200 203 207 208 211 213 214 221 225 228 232 234 235 236 239 242 244 247 248 249 252 254 260 262 266 267 269 277 278 281 283 285 291 294 298 299 303 308 309 310 311 312 314 316 319 320 323 324 327 328 331 334 335 338 339 340 344 346 347 350 356 357 361 366 368 370 378 380 385 390
a 1 2 3 7 10 11 13 16 18 21 23 24 27 28 30 42 43 45 47 51 53 56 57 66 68 75 77 85 88 97 102 106 111 112 122 124 128 133 144 146 148 152 155 160 161 164 166 167 170 177 179 181 182 188 191 198 200 203 207 208 211 213 214 221 225 228 232 234 235 236 239 242 244 247 248 249 252 254 260 262 266 267 269 277 278 281 283 285 291 294 298 299 303 308 309 310 311 312 314 316 319 320 323 324 327 328 331 334 335 338 339 340 344 346 347 350 356 357 358 361 366 368 370 378 380 385 390
a 1 2 3 7 10 11 13 16 18 21 23 24 27 28 30 42 43 45 47 51 53 56 57 66 68 75 77 85 88 91 97 102 106 111 112 122 124 128 133 144 146 148 152 155 160 164 166 167 170 177 179 181 182 188 191 198 200 203 207 208 211 213 214 221 225 228 232 234 235 236 239 242 244 247 248 249 252 254 260 262 266 267 269 277 278 281 283 285 291 294 298 299 303 308 309 310 311 312 314 316 319 320 323 324 327 328 331 334 335 338 339 340 344 346 347 350 356 357 358 361 366 368 370 378 380 385 390
a 1 2 3 7 10 11 13 16 18 21 23 24 27 28 30 42 43 45 47 51 53 56 57 62 66 68 75 77 85 88 91 97 102 106 111 112 122 124 128 133 144 146 148 152 155 164 166 167 170 177 179 181 182 188 191 198 200 203 207 208 211 213 214 221 225 228 232 234 235 236 239 242 244 247 248 249 252 254 260 262 266 267 269 277 278 281 283 285 291 294 298 299 303 308 309 310 311 312 314 316 319 320 323 324 327 328 331 334 335 338 339 340 344 346 347 350 356 357 358 361 366 368 370 378 380 385 390
a 1 2 3 7 10 11 13 16 18 21 23 24 27 28 30 42 43 44 45 47 51 53 56 57 62 66 68 75 77 85 88 91 97 102 106 111 112 122 124 128 133 144 146 148 152 155 164 166 167 170 177 179 181 182 188 191 198 200 203 207 208 211 213 214 221 225 228 232 234 236 239 242 244 247 248 249 252 254 260 262 266 267 269 277 278 281 283 285 291 294 298 299 303 308 309 310 311 312 314 316 319 320 323 324 327 328 331 334 335 338 339 340 344 346 347 350 356 357 358 361 366 368 370 378 380 385 390
a 1 2 3 7 10 11 13 16 18 21 23 24 27 28 30 42 43 44 45 47 51 53 56 57 62 66 68 75 77 85 88 91 97 102 106 111 112 122 124 128 133 144 146 148 152 155 164 166 167 170 177 179 181 182 188 191 198 200 203 207 208 211 213 214 221 225 228 232 234 236 239 242 244 247 248 249 252 254 260 262 266 267 269 277 278 280 281 283 285 294 298 299 303 308 309 310 311 312 314 316 319 320 323 324 327 328 331 334 335 338 339 340 344 346 347 350 356 357 358 361 366 368 370 378 380 385 390
a 1 2 3 7 10 11 13 16 18 21 23 24 27 28 30 42 43 44 45 51 53 56 57 62 66 68 75 77 85 88 91 97 102 106 111 112 122 124 128 133 144 146 148 152 155 164 166 167 170 177 179 181 182 188 191 198 200 203 207 208 211 213 214 221 225 228 232 234 236 239 242 244 247 248 249 252 254 260 262 266 267 269 277 278 280 281 283 285 294 298 299 303 308 309 310 311 312 314 316 319 320 323 324 327 328 331 334 335 338 339 340 344 346 347 350 353 356 357 358 361 366 368 370 378 380 385 390
a 1 2 3 7 11 13 16 18 21 23 24 27 28 30 42 43 44 45 46 51 53 56 57 62 66 68 75 77 85 88 91 97 102 106 111 112 122 124 128 133 144 146 148 152 155 164 166 167 170 177 179 181 182 188 191 198 200 203 207 208 211 213 214 221 225 228 232 234 236 239 242 244 247 248 249 252 254 260 262 266 267 269 277 278 280 281 283 285 294 298 299 303 308 309 310 311 312 314 316 319 320 323 324 327 328 331 334 335 338 339 340 344 346 347 350 353 356 357 358 361 366 368 370 378 380 385 390
a 1 2 3 7 11 13 16 18 21 23 24 27 28 30 42 43 44 45 46 51 53 56 57 62 66 68 75 77 85 88 91 97 102 106 111 112 122 124 128 133 144 146 148 152 155 164 166 167 170 177 179 181 182 188 191 198 200 201 203 207 208 211 213 214 221 225 228 232 234 236 239 242 244 247 248 249 252 254 260 262 266 267 269 277 278 280 281 283 285 294 298 299 303 308 309 310 311 312 314 316 319 320 323 324 327 328 331 334 335 338 339 340 344 346 347 350 353 356 357 358 366 368 370 378 380 385 390
a 1 2 3 7 11 13 16 18 21 23 24 27 28 30 42 43 44 45 46 51 53 56 57 62 66 68 75 77 85 88 91 97 102 106 111 112 122 124 128 133 144 146 148 152 155 164 166 167 170 177 179 181 182 188 191 198 200 201 203 207 208 211 213 214 221 225 228 232 234 236 239 242 244 247 248 249 252 254 260 262 266 267 269 277 278 280 281 283 285 294 298 299 303 308 309 310 311 312 314 319 320 322 323 324 327 328 331 334 335 338 339 340 344 346 347 350 353 356 357 358 366 368 370 378 380 385 390
a 1 2 3 7 11 13 16 18 21 23 24 27 28 30 31 42 43 44 45 46 51 53 56 57 62 66 68 75 77 85 88 91 97 102 106 111 112 122 124 128 133 144 146 148 152 155 164 166 167 170 177 179 181 182 188 191 198 200 201 203 207 208 211 213 214 221 225 228 234 236 239 242 244 247 248 249 252 254 260 262 266 267 269 277 278 280 281 283 285 294 298 299 303 308 309 310 311 312 314 319 320 322 323 324 327 328 331 334 335 338 339 340 344 346 347 350 353 356 357 358 366 368 370 378 380 385 390
a 1 3 7 11 13 16 18 21 23 24 27 28 30 31 42 43 44 45 46 51 53 56 57 62 66 68 75 77 85 88 91 97 102 106 111 112 122 124 128 133 144 146 148 152 155 164 166 167 170 177 179 181 182 188 191 198 200 201 203 207 208 211 213 214 221 225 228 234 236 239 242 244 247 248 249 252 254 260 262 266 267 269 277 278 280 281 283 285 294 298 299 303 308 309 310 311 312 314 319 320 322 323 324 327 328 331 334 335 338 339 340 344 346 347 350 353 356 357 358 366 368 370 375 378 380 385 390
a 1 3 7 11 13 16 18 21 23 24 27 28 30 31 42 43 44 45 46 51 53 56 57 62 66 68 75 77 85 88 91 97 102 106 111 112 122 124 128 133 144 146 148 152 155 164 166 167 170 177 179 181 182 184 188 191 198 200 201 203 207 208 211 213 214 221 225 228 234 236 239 242 244 247 248 249 252 254 260 262 266 267 269 277 278 280 281 283 285 294 298 299 303 308 309 310 311 314 319 320 322 323 324 327 328 331 334 335 338 339 340 344 346 347 350 353 356 357 358 366 368 370 375 378 380 385 390
a 1 3 7 11 13 16 18 21 23 24 27 28 30 31 42 43 44 45 46 51 53 56 57 62 66 68 75 77 85 88 91 97 102 106 108 111 112 122 124 128 133 144 146 148 152 155 164 166 167 170 177 179 181 182 184 188 191 198 200 201 203 207 208 211 213 214 221 225 228 234 236 239 242 244 247 248 249 252 254 260 262 266 267 269 277 278 280 281 283 285 294 298 299 303 308 309 310 314 319 320 322 323 324 327 328 331 334 335 338 339 340 344 346 347 350 353 356 357 358 366 368 370 375 378 380 385 390
a 1 3 7 11 13 16 18 21 23 24 28 30 31 42 43 44 45 46 51 53 56 57 62 66 68 75 77 85 88 91 97 102 106 108 111 112 122 124 128 133 144 146 148 152 155 164 166 167 170 177 179 181 182 184 188 191 198 200 201 203 207 208 211 213 214 221 225 226 228 234 236 239 242 244 247 248 249 252 254 260 262 266 267 269 277 278 280 281 283 285 294 298 299 303 308 309 310 314 319 320 322 323 324 327 328 331 334 335 338 339 340 344 346 347 350 353 356 357 358 366 368 370 375 378 380 385 390
a 1 3 7 11 13 16 18 21 23 24 28 30 31 42 43 44 45 46 51 53 56 57 62 66 68 77 85 88 91 97 102 103 106 108 111 112 122 124 128 133 144 146 148 152 155 164 166 167 170 177 179 181 182 184 188 191 198 200 201 203 207 208 211 213 214 221 225 226 228 234 236 239 242 244 247 248 249 252 254 260 262 266 267 269 277 278 280 281 283 285 294 298 299 303 308 309 310 314 319 320 322 323 324 327 328 331 334 335 338 339 340 344 346 347 350 353 356 357 358 366 368 370 375 378 380 385 390
a 1 3 7 11 13 16 18 20 21 23 24 28 30 31 42 43 44 45 46 51 53 56 57 62 66 68 85 88 91 97 102 103 106 108 111 112 122 124 128 133 144 146 148 152 155 164 166 167 170 177 179 181 182 184 188 191 198 200 201 203 207 208 211 213 214 221 225 226 228 234 236 239 242 244 247 248 249 252 254 260 262 266 267 269 277 278 280 281 283 285 294 298 299 303 308 309 310 314 319 320 322 323 324 327 328 331 334 335 338 339 340 344 346 347 350 353 356 357 358 366 368 370 375 378 380 385 390
a 1 3 7 11 13 16 18 20 21 23 24 28 30 31 42 43 44 45 46 51 53 56 57 62 66 68 85 88 91 97 102 103 106 108 111 112 122 124 128 133 144 146 148 152 155 164 166 167 170 177 179 181 182 184 188 191 195 198 200 201 203 207 208 211 213 214 221 225 226 228 234 236 239 242 244 247 248 249 252 254 260 262 266 267 269 277 278 280 281 283 285 294 298 303 308 309 310 314 319 320 322 323 324 327 328 331 334 335 338 339 340 344 346 347 350 353 356 357 358 366 368 370 375 378 380 385 390
a 1 3 7 11 13 16 18 20 21 23 24 28 30 31 42 43 44 45 46 51 53 56 57 62 63 66 68 85 88 91 97 102 103 106 108 111 112 122 124 128 133 144 146 148 152 155 164 166 167 170 177 179 181 182 184 188 191 195 198 200 201 203 207 208 211 213 214 221 225 226 228 234 236 239 244 247 248 249 252 254 260 262 266 267 269 277 278 280 281 283 285 294 298 303 308 309 310 314 319 320 322 323 324 327 328 331 334 335 338 339 340 344 346 347 350 353 356 357 358 366 368 370 375 378 380 385 390
a 1 3 7 11 13 16 18 20 21 23 24 28 30 31 42 43 44 45 46 51 53 56 57 62 63 66 68 85 88 91 97 102 103 106 108 111 112 122 124 128 133 144 146 148 152 155 164 166 167 170 177 179 181 182 184 188 191 195 200 201 203 207 208 211 213 214 221 225 226 228 234 236 239 244 247 248 249 252 254 260 262 266 267 269 275 277 278 280 281 283 285 294 298 303 308 309 310 314 319 320 322 323 324 327 328 331 334 335 338 339 340 344 346 347 350 353 356 357 358 366 368 370 375 378 380 385 390
a 1 3 7 11 13 16 18 20 21 23 24 28 30 31 42 43 44 45 46 51 53 56 57 62 63 66 68 85 88 91 97 102 103 106 107 108 111 112 122 124 128 133 144 146 148 152 155 164 166 167 170 177 179 181 182 184 188 191 195 200 201 203 207 208 211 213 214 221 225 226 228 234 236 239 244 247 248 249 252 254 260 262 266 267 269 275 277 278 280 281 283 285 294 298 303 308 309 310 314 319 320 322 323 327 328 331 334 335 338 339 340 344 346 347 350 353 356 357 358 366 368 370 375 378 380 385 390
a 1 3 7 11 13 16 18 20 21 23 24 28 30 31 42 43 44 45 46 51 53 56 57 62 63 66 68 85 88 91 94 97 102 103 106 107 108 111 112 122 124 128 133 144 146 148 152 155 164 166 167 170 177 179 181 182 184 188 191 195 200 201 203 207 208 211 214 221 225 226 228 234 236 239 244 247 248 249 252 254 260 262 266 267 269 275 277 278 280 281 283 285 294 298 303 308 309 310 314 319 320 322 323 327 328 331 334 335 338 339 340 344 346 347 350 353 356 357 358 366 368 370 375 378 380 385 390
a 1 3 7 11 13 16 18 20 21 23 24 28 30 31 37 42 43 44 45 46 51 53 56 57 62 63 66 68 85 88 91 94 97 102 103 106 107 108 111 112 122 124 128 133 144 148 152 155 164 166 167 170 177 179 181 182 184 188 191 195 200 201 203 207 208 211 214 221 225 226 228 234 236 239 244 247 248 249 252 254 260 262 266 267 269 275 277 278 280 281 283 285 294 298 303 308 309 310 314 319 320 322 323 327 328 331 334 335 338 339 340 344 346 347 350 353 356 357 358 366 368 370 375 378 380 385 390
a 1 3 7 11 13 16 18 20 21 23 24 28 30 31 37 42 43 44 45 46 51 53 56 57 62 63 66 68 85 88 91 94 97 102 103 106 107 108 111 112 122 124 128 133 144 148 152 155 164 166 167 170 177 179 181 182 184 188 191 195 200 201 203 207 208 211 214 221 225 226 228 234 236 239 244 247 248 249 252 254 260 262 266 267 269 275 277 278 280 281 285 294 298 303 308 309 310 314 319 320 322 323 327 328 331 334 335 338 339 340 344 346 347 350 353 356 357 358 366 368 370 375 376 378 380 385 390
c Step: 81
	Command being timed: "python3 run_3.py --shortest -t4 /benchmark/random_instance/random_instance030_graph005.col /benchmark/random_instance/random_instance030_graph005_01.dat"
	User time (seconds): 117.59
	System time (seconds): 0.41
	Percent of CPU this job got: 367%
	Elapsed (wall clock) time (h:mm:ss or m:ss): 0:32.08
	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): 389400
	Average resident set size (kbytes): 0
	Major (requiring I/O) page faults: 1
	Minor (reclaiming a frame) page faults: 223445
	Voluntary context switches: 8129
	Involuntary context switches: 310
	Swaps: 0
	File system inputs: 0
	File system outputs: 536
	Socket messages sent: 0
	Socket messages received: 0
	Signals delivered: 0
	Page size (bytes): 4096
	Exit status: 0
#END: [Tue Sep 26 03:15:19 2023]