#BEGIN: [Mon Sep 4 15:07:39 2023] #HOST: s08 #TIMELIMIT: 1800 #MEMLIMIT: 0 #SOLVER: shortest-wallclock-banbaralab2-shortest1 #INSTANCE1: /benchmark/random_instance/random_instance033_graph003.col #INSTANCE2: /benchmark/random_instance/random_instance033_graph003_01.dat #COMMAND: docker run --cidfile /tmp/cid.txt --init --rm -t -v /home/share/benchmark/ISR-benchmark:/benchmark banbaralab2 --shortest /benchmark/random_instance/random_instance033_graph003.col /benchmark/random_instance/random_instance033_graph003_01.dat c /benchmark/random_instance/random_instance033_graph003.col c /benchmark/random_instance/random_instance033_graph003_01.dat s 112 368 382 356 385 202 328 408 80 74 379 65 211 52 360 227 172 128 380 417 288 299 383 373 406 298 105 366 400 169 200 308 63 44 339 118 135 64 255 141 207 390 413 27 324 183 402 278 226 182 155 223 419 274 201 358 246 133 258 350 190 126 18 271 134 216 98 22 310 302 139 388 394 157 338 391 363 163 51 146 100 284 124 218 129 164 409 73 322 334 353 119 1 306 97 377 319 60 46 147 131 84 365 224 270 285 230 347 148 424 330 210 180 48 208 40 315 123 20 428 272 156 235 59 340 34 410 372 t 97 251 134 325 127 328 204 427 209 75 400 412 351 143 381 173 345 117 176 330 382 10 113 358 73 298 130 396 399 329 249 86 402 48 243 175 135 355 352 398 391 306 91 270 136 124 353 403 119 409 12 40 260 413 390 334 379 70 79 174 332 372 16 26 59 141 132 319 322 162 393 57 140 315 47 52 50 296 221 310 23 307 81 151 67 262 235 166 277 276 375 238 256 316 111 272 28 206 78 365 211 41 401 18 223 373 122 147 428 246 148 156 280 11 374 88 1 227 131 218 19 105 51 44 85 184 181 118 a YES a 1 18 20 22 27 34 40 44 46 48 51 52 59 60 63 64 65 73 74 80 84 97 98 100 105 112 118 119 123 124 126 128 129 131 133 134 135 139 141 146 147 148 155 156 157 163 164 169 172 180 182 183 190 200 201 202 207 208 210 211 216 218 223 224 226 227 230 235 246 255 258 270 271 272 274 278 284 285 288 298 299 302 306 308 310 315 319 322 324 328 330 334 338 339 340 347 350 353 356 358 360 363 365 366 368 372 373 377 379 380 382 383 385 388 390 391 394 400 402 406 408 409 410 413 417 419 424 428 a 1 18 20 22 27 34 40 44 46 48 51 52 59 60 63 64 65 73 74 80 84 88 97 98 100 105 112 118 119 123 124 126 128 129 131 133 134 135 139 141 146 147 148 155 156 157 163 164 169 172 180 182 183 190 200 201 202 207 208 210 211 216 218 223 224 226 227 230 235 246 255 258 270 271 272 274 278 284 285 288 298 299 302 306 308 310 315 319 322 324 328 330 334 338 339 340 347 350 353 356 358 360 363 365 366 372 373 377 379 380 382 383 385 388 390 391 394 400 402 406 408 409 410 413 417 419 424 428 a 1 18 20 22 27 34 40 44 46 48 51 52 59 60 63 64 65 73 74 80 84 88 97 98 100 105 112 118 119 123 124 126 128 129 131 133 134 135 139 141 146 147 148 155 156 157 163 164 169 172 180 182 183 190 200 201 202 207 208 210 211 216 218 223 224 226 227 230 235 246 255 258 270 271 272 274 277 278 284 285 288 298 299 302 306 308 310 315 319 322 324 328 330 334 338 339 340 347 350 353 356 358 360 363 365 366 372 373 377 379 380 382 383 388 390 391 394 400 402 406 408 409 410 413 417 419 424 428 a 1 18 20 22 27 34 40 44 46 48 51 52 59 60 63 64 65 73 74 80 84 88 97 98 100 105 112 118 119 123 124 126 128 129 131 133 134 135 139 141 146 147 148 155 156 157 163 164 169 172 175 180 182 183 190 200 201 202 207 208 210 211 216 218 223 224 226 227 230 235 246 255 258 270 271 272 274 277 278 284 285 288 298 299 302 306 308 310 315 319 322 324 328 330 334 338 339 340 347 350 353 356 358 360 363 365 366 372 373 379 380 382 383 388 390 391 394 400 402 406 408 409 410 413 417 419 424 428 a 1 18 20 22 27 34 40 44 46 48 51 52 59 60 63 64 65 73 74 80 84 88 97 98 100 105 112 118 119 123 124 126 128 129 131 133 134 135 139 141 146 147 148 151 155 156 157 163 164 169 172 175 180 182 183 190 200 201 202 207 208 210 211 216 218 223 224 226 227 230 235 246 255 258 270 271 272 274 277 278 284 285 288 298 299 302 306 308 310 315 319 322 324 328 330 334 338 339 340 347 350 353 356 358 360 363 365 366 372 373 379 380 382 383 388 390 391 394 400 402 406 408 409 413 417 419 424 428 a 1 18 20 22 27 34 40 44 46 48 51 52 59 60 63 64 65 73 74 84 88 97 98 100 105 112 118 119 123 124 126 128 129 131 133 134 135 139 141 146 147 148 151 155 156 157 163 164 169 172 175 180 182 183 190 200 201 202 207 208 210 211 216 218 223 224 226 227 230 235 243 246 255 258 270 271 272 274 277 278 284 285 288 298 299 302 306 308 310 315 319 322 324 328 330 334 338 339 340 347 350 353 356 358 360 363 365 366 372 373 379 380 382 383 388 390 391 394 400 402 406 408 409 413 417 419 424 428 a 1 18 20 22 27 34 40 44 46 48 51 52 59 60 63 64 65 73 74 84 88 97 98 100 105 112 118 119 123 124 126 128 129 131 133 134 135 139 141 146 147 148 151 155 156 157 163 164 169 172 175 180 182 183 190 200 201 202 207 208 210 211 216 218 221 223 224 226 227 230 235 243 246 255 258 270 271 272 274 277 278 284 285 288 298 302 306 308 310 315 319 322 324 328 330 334 338 339 340 347 350 353 356 358 360 363 365 366 372 373 379 380 382 383 388 390 391 394 400 402 406 408 409 413 417 419 424 428 a 1 18 20 22 27 34 40 44 46 48 51 52 59 60 63 64 65 73 74 84 88 97 98 100 105 112 118 119 123 124 126 128 129 131 133 134 135 139 141 146 147 148 151 155 156 157 163 164 169 172 175 180 182 183 190 200 201 202 207 208 210 211 216 218 221 223 224 226 227 230 235 238 243 246 255 258 270 271 272 274 277 278 284 285 288 298 302 306 308 310 315 319 322 324 328 330 334 339 340 347 350 353 356 358 360 363 365 366 372 373 379 380 382 383 388 390 391 394 400 402 406 408 409 413 417 419 424 428 a 1 18 20 27 34 40 44 46 48 51 52 57 59 60 63 64 65 73 74 84 88 97 98 100 105 112 118 119 123 124 126 128 129 131 133 134 135 139 141 146 147 148 151 155 156 157 163 164 169 172 175 180 182 183 190 200 201 202 207 208 210 211 216 218 221 223 224 226 227 230 235 238 243 246 255 258 270 271 272 274 277 278 284 285 288 298 302 306 308 310 315 319 322 324 328 330 334 339 340 347 350 353 356 358 360 363 365 366 372 373 379 380 382 383 388 390 391 394 400 402 406 408 409 413 417 419 424 428 a 1 18 20 27 34 40 44 46 48 51 52 57 59 60 63 65 73 74 84 88 97 98 100 105 112 118 119 123 124 126 128 129 131 133 134 135 139 141 146 147 148 151 155 156 157 163 164 169 172 175 180 182 183 190 200 201 202 207 208 210 211 216 218 221 223 224 226 227 230 235 238 243 246 255 256 258 270 271 272 274 277 278 284 285 288 298 302 306 308 310 315 319 322 324 328 330 334 339 340 347 350 353 356 358 360 363 365 366 372 373 379 380 382 383 388 390 391 394 400 402 406 408 409 413 417 419 424 428 a 1 11 18 20 27 34 40 44 46 48 51 52 57 59 60 63 65 73 74 84 88 97 98 100 105 112 118 119 123 124 126 128 129 131 133 134 135 139 141 146 147 148 151 156 157 163 164 169 172 175 180 182 183 190 200 201 202 207 208 210 211 216 218 221 223 224 226 227 230 235 238 243 246 255 256 258 270 271 272 274 277 278 284 285 288 298 302 306 308 310 315 319 322 324 328 330 334 339 340 347 350 353 356 358 360 363 365 366 372 373 379 380 382 383 388 390 391 394 400 402 406 408 409 413 417 419 424 428 a 1 11 18 20 27 34 40 44 46 48 51 52 57 59 60 63 65 73 74 84 88 97 98 100 105 112 118 119 123 124 126 128 129 131 133 134 135 139 141 146 147 148 151 156 157 163 164 169 172 175 180 182 183 190 200 201 202 207 208 210 211 216 218 221 223 224 226 227 230 235 238 243 246 255 256 258 270 271 272 274 277 278 284 285 288 298 302 306 308 310 315 319 322 324 328 330 334 339 340 347 350 353 356 358 360 363 365 366 372 373 379 380 382 383 388 390 391 394 398 400 402 406 408 409 413 417 419 428 a 1 11 18 20 27 34 40 44 46 48 51 52 57 59 60 63 65 73 74 84 88 97 98 100 105 112 118 119 123 124 126 128 129 131 133 134 135 139 141 146 147 148 151 156 157 162 163 164 169 172 175 180 182 183 190 200 201 207 208 210 211 216 218 221 223 224 226 227 230 235 238 243 246 255 256 258 270 271 272 274 277 278 284 285 288 298 302 306 308 310 315 319 322 324 328 330 334 339 340 347 350 353 356 358 360 363 365 366 372 373 379 380 382 383 388 390 391 394 398 400 402 406 408 409 413 417 419 428 a 1 11 18 20 27 34 40 44 46 48 51 52 57 59 60 63 65 67 73 74 84 88 97 98 100 105 112 118 119 123 124 126 128 129 131 133 134 135 139 141 146 147 148 151 156 157 162 163 164 169 172 175 180 182 183 190 200 201 207 208 210 211 216 218 221 223 224 226 227 230 235 238 243 246 255 256 258 270 271 272 274 277 278 284 285 288 298 302 306 308 310 315 319 322 324 328 330 334 339 340 347 353 356 358 360 363 365 366 372 373 379 380 382 383 388 390 391 394 398 400 402 406 408 409 413 417 419 428 a 1 11 18 20 27 34 40 44 46 48 51 52 57 59 60 63 65 67 73 74 84 88 97 98 105 112 118 119 123 124 126 128 129 131 133 134 135 139 141 146 147 148 151 156 157 162 163 164 169 172 175 180 182 183 184 190 200 201 207 208 210 211 216 218 221 223 224 226 227 230 235 238 243 246 255 256 258 270 271 272 274 277 278 284 285 288 298 302 306 308 310 315 319 322 324 328 330 334 339 340 347 353 356 358 360 363 365 366 372 373 379 380 382 383 388 390 391 394 398 400 402 406 408 409 413 417 419 428 a 1 11 18 20 27 34 40 44 46 48 51 52 57 59 60 63 65 67 73 74 84 88 97 98 105 112 118 119 123 124 126 128 129 131 133 134 135 139 141 146 147 148 151 156 157 162 163 164 169 172 175 180 182 183 184 190 201 206 207 208 210 211 216 218 221 223 224 226 227 230 235 238 243 246 255 256 258 270 271 272 274 277 278 284 285 288 298 302 306 308 310 315 319 322 324 328 330 334 339 340 347 353 356 358 360 363 365 366 372 373 379 380 382 383 388 390 391 394 398 400 402 406 408 409 413 417 419 428 a 1 11 18 20 27 34 40 44 46 48 51 52 57 59 60 63 65 67 73 74 84 88 97 98 105 112 118 119 123 124 126 128 129 131 133 134 135 139 141 146 147 148 151 156 157 162 163 164 169 172 175 180 182 183 184 190 201 206 207 208 210 211 216 218 221 223 224 226 227 230 235 238 243 246 255 256 258 270 271 272 274 277 278 284 285 288 298 302 306 308 310 315 319 322 324 328 330 334 339 340 347 353 356 358 360 363 365 366 372 373 379 380 382 383 390 391 394 398 400 402 403 406 408 409 413 417 419 428 a 1 11 18 20 27 34 40 44 46 47 48 51 52 57 59 60 63 65 67 73 74 84 88 97 98 105 112 118 119 123 124 126 128 129 131 133 134 135 139 141 146 147 148 151 156 157 162 163 164 169 172 175 180 182 183 184 190 201 206 207 208 210 211 216 218 221 223 224 226 227 230 235 238 243 246 255 256 258 270 271 272 274 277 278 284 285 288 298 302 306 308 310 315 319 322 324 328 330 334 339 340 347 353 356 358 360 363 365 366 372 373 379 380 382 390 391 394 398 400 402 403 406 408 409 413 417 419 428 a 1 11 18 20 27 34 40 41 44 46 47 48 51 52 57 59 60 63 65 67 73 74 84 88 97 105 112 118 119 123 124 126 128 129 131 133 134 135 139 141 146 147 148 151 156 157 162 163 164 169 172 175 180 182 183 184 190 201 206 207 208 210 211 216 218 221 223 224 226 227 230 235 238 243 246 255 256 258 270 271 272 274 277 278 284 285 288 298 302 306 308 310 315 319 322 324 328 330 334 339 340 347 353 356 358 360 363 365 366 372 373 379 380 382 390 391 394 398 400 402 403 406 408 409 413 417 419 428 a 1 11 18 20 27 34 40 41 44 46 47 48 51 52 57 59 60 63 65 67 73 74 84 88 97 105 112 113 118 119 123 124 126 128 129 131 133 134 135 139 141 146 147 148 151 156 157 162 163 164 169 172 175 180 182 183 184 190 201 206 207 208 210 211 216 218 221 223 224 226 227 230 235 238 243 246 255 256 258 270 271 272 274 277 278 285 288 298 302 306 308 310 315 319 322 324 328 330 334 339 340 347 353 356 358 360 363 365 366 372 373 379 380 382 390 391 394 398 400 402 403 406 408 409 413 417 419 428 a 1 11 18 20 27 34 40 41 44 46 47 48 51 52 57 59 60 63 65 67 73 74 75 84 88 97 105 113 118 119 123 124 126 128 129 131 133 134 135 139 141 146 147 148 151 156 157 162 163 164 169 172 175 180 182 183 184 190 201 206 207 208 210 211 216 218 221 223 224 226 227 230 235 238 243 246 255 256 258 270 271 272 274 277 278 285 288 298 302 306 308 310 315 319 322 324 328 330 334 339 340 347 353 356 358 360 363 365 366 372 373 379 380 382 390 391 394 398 400 402 403 406 408 409 413 417 419 428 a 1 11 18 20 27 34 40 41 44 46 47 48 51 52 57 59 60 63 65 67 73 74 75 84 88 97 105 113 118 119 123 124 126 128 129 131 133 134 135 139 141 146 147 148 151 156 157 162 163 164 169 172 175 180 182 183 184 190 201 206 207 208 210 211 216 218 221 223 224 226 227 230 235 238 243 246 255 256 258 270 271 272 274 276 277 278 285 298 302 306 308 310 315 319 322 324 328 330 334 339 340 347 353 356 358 360 363 365 366 372 373 379 380 382 390 391 394 398 400 402 403 406 408 409 413 417 419 428 a 1 11 18 20 27 34 40 41 44 46 47 48 51 52 57 59 60 63 65 67 73 74 75 84 88 97 105 113 118 119 123 124 126 128 129 131 133 134 135 139 141 146 147 148 151 156 157 162 163 164 169 172 175 180 182 183 184 190 201 206 207 208 210 211 216 218 221 223 224 226 227 230 235 238 243 246 255 256 258 270 271 272 274 276 277 278 285 298 302 306 308 310 315 319 322 324 328 330 334 339 340 347 353 356 358 360 363 365 366 372 373 379 380 382 390 391 393 394 398 400 402 403 408 409 413 417 419 428 a 1 11 18 20 27 34 40 41 44 46 47 48 51 52 57 59 60 63 65 67 73 74 75 84 88 97 105 113 118 119 123 124 126 128 129 131 133 134 135 139 141 146 147 148 151 156 157 162 163 164 169 172 175 180 182 183 184 190 201 206 207 208 210 211 216 218 221 223 224 226 227 230 235 238 243 246 249 256 258 270 271 272 274 276 277 278 285 298 302 306 308 310 315 319 322 324 328 330 334 339 340 347 353 356 358 360 363 365 366 372 373 379 380 382 390 391 393 394 398 400 402 403 408 409 413 417 419 428 a 1 11 18 20 27 34 40 41 44 46 47 48 51 52 57 59 60 63 67 73 74 75 79 84 88 97 105 113 118 119 123 124 126 128 129 131 133 134 135 139 141 146 147 148 151 156 157 162 163 164 169 172 175 180 182 183 184 190 201 206 207 208 210 211 216 218 221 223 224 226 227 230 235 238 243 246 249 256 258 270 271 272 274 276 277 278 285 298 302 306 308 310 315 319 322 324 328 330 334 339 340 347 353 356 358 360 363 365 366 372 373 379 380 382 390 391 393 394 398 400 402 403 408 409 413 417 419 428 a 1 11 18 20 27 34 40 41 44 46 47 48 51 52 57 59 60 63 67 73 74 75 79 84 88 97 105 113 118 119 123 124 126 128 129 131 133 134 135 139 141 146 147 148 151 156 157 162 163 164 166 169 172 175 180 182 183 184 190 201 206 207 208 210 211 216 218 221 223 224 226 227 230 235 238 243 246 249 256 258 270 271 272 274 276 277 285 298 302 306 308 310 315 319 322 324 328 330 334 339 340 347 353 356 358 360 363 365 366 372 373 379 380 382 390 391 393 394 398 400 402 403 408 409 413 417 419 428 a 1 11 18 20 27 34 40 41 44 46 47 48 51 52 57 59 60 63 67 73 74 75 79 84 88 97 105 113 118 119 123 124 126 128 129 130 131 133 134 135 141 146 147 148 151 156 157 162 163 164 166 169 172 175 180 182 183 184 190 201 206 207 208 210 211 216 218 221 223 224 226 227 230 235 238 243 246 249 256 258 270 271 272 274 276 277 285 298 302 306 308 310 315 319 322 324 328 330 334 339 340 347 353 356 358 360 363 365 366 372 373 379 380 382 390 391 393 394 398 400 402 403 408 409 413 417 419 428 a 1 11 18 20 27 34 40 41 44 46 47 48 51 52 57 59 60 63 67 73 74 75 79 84 88 97 105 111 113 118 119 123 124 126 128 129 130 131 133 134 135 141 146 147 148 151 156 157 162 163 164 166 169 172 175 180 182 183 184 190 201 206 207 208 210 211 216 218 221 223 224 226 227 230 235 238 243 246 249 256 258 270 271 272 274 276 277 285 298 302 306 308 310 315 319 322 324 328 330 334 339 340 347 353 356 358 360 363 365 366 372 373 379 380 382 390 391 393 394 398 400 402 403 408 409 413 417 428 a 1 11 18 20 27 34 40 41 44 46 47 48 50 51 52 57 59 60 63 67 73 74 75 79 84 88 97 105 111 113 118 119 123 124 126 128 129 130 131 133 134 135 141 146 147 148 151 156 157 162 163 164 166 169 172 175 180 182 183 184 190 201 206 207 208 210 211 216 218 221 223 224 226 227 230 235 238 243 246 249 256 258 270 271 272 274 276 277 285 298 306 308 310 315 319 322 324 328 330 334 339 340 347 353 356 358 360 363 365 366 372 373 379 380 382 390 391 393 394 398 400 402 403 408 409 413 417 428 a 1 11 18 20 27 34 40 41 44 46 47 48 50 51 52 57 59 60 63 67 73 74 75 79 84 88 97 105 111 113 118 119 122 123 124 126 128 129 130 131 133 134 135 141 146 147 148 151 156 157 162 163 164 166 169 172 175 180 182 183 184 190 201 206 207 208 211 216 218 221 223 224 226 227 230 235 238 243 246 249 256 258 270 271 272 274 276 277 285 298 306 308 310 315 319 322 324 328 330 334 339 340 347 353 356 358 360 363 365 366 372 373 379 380 382 390 391 393 394 398 400 402 403 408 409 413 417 428 a 1 11 18 20 27 34 40 41 44 46 47 48 50 51 52 57 59 60 63 67 73 75 79 84 88 97 105 111 113 118 119 122 123 124 126 128 129 130 131 133 134 135 141 146 147 148 151 156 157 162 163 164 166 169 172 175 180 182 183 184 190 201 206 207 208 211 216 218 221 223 224 226 227 230 235 238 243 246 249 256 258 270 271 272 274 276 277 285 298 306 308 310 315 319 322 324 328 329 330 334 339 340 347 353 356 358 360 363 365 366 372 373 379 380 382 390 391 393 394 398 400 402 403 408 409 413 417 428 a 1 11 18 20 27 34 40 41 44 46 47 48 50 51 52 57 59 60 63 67 73 75 79 84 88 97 105 111 113 118 119 122 123 124 126 128 129 130 131 133 134 135 141 146 147 148 151 156 157 162 163 164 166 169 172 175 180 182 183 184 190 201 206 207 208 211 216 218 221 223 224 226 227 230 235 238 243 246 249 256 258 270 271 272 274 276 277 285 298 306 308 310 315 319 322 324 328 329 330 334 340 347 351 353 356 358 360 363 365 366 372 373 379 380 382 390 391 393 394 398 400 402 403 408 409 413 417 428 a 1 11 18 20 27 34 40 41 44 46 47 48 50 51 52 57 59 60 63 67 73 75 79 84 88 97 105 111 113 118 119 122 123 124 126 128 129 130 131 133 134 135 141 146 147 148 151 156 157 162 163 164 166 169 172 175 180 182 183 184 190 201 206 207 211 216 218 221 223 224 226 227 230 235 238 243 246 249 256 258 270 271 272 274 276 277 285 298 306 308 310 315 319 322 324 328 329 330 334 340 347 351 353 355 356 358 360 363 365 366 372 373 379 380 382 390 391 393 394 398 400 402 403 408 409 413 417 428 a 1 11 18 20 27 34 40 41 44 46 47 48 50 51 52 57 59 60 63 67 73 75 79 84 88 97 105 111 113 118 119 122 123 124 126 128 129 130 131 132 133 134 135 141 146 147 148 151 156 157 162 163 164 166 169 172 175 180 182 183 184 190 201 206 207 211 216 218 221 223 224 227 230 235 238 243 246 249 256 258 270 271 272 274 276 277 285 298 306 308 310 315 319 322 324 328 329 330 334 340 347 351 353 355 356 358 360 363 365 366 372 373 379 380 382 390 391 393 394 398 400 402 403 408 409 413 417 428 a 1 11 18 20 27 34 40 41 44 46 47 48 50 51 52 57 59 60 63 67 73 75 79 84 86 88 97 105 111 113 118 119 122 123 124 126 128 129 130 131 132 133 134 135 141 147 148 151 156 157 162 163 164 166 169 172 175 180 182 183 184 190 201 206 207 211 216 218 221 223 224 227 230 235 238 243 246 249 256 258 270 271 272 274 276 277 285 298 306 308 310 315 319 322 324 328 329 330 334 340 347 351 353 355 356 358 360 363 365 366 372 373 379 380 382 390 391 393 394 398 400 402 403 408 409 413 417 428 a 1 11 16 18 20 27 34 40 41 44 46 47 48 50 51 52 57 59 60 63 67 73 75 79 84 86 88 97 105 111 113 118 119 122 123 124 126 128 129 130 131 132 133 134 135 141 147 148 151 156 157 162 163 164 166 169 172 175 180 183 184 190 201 206 207 211 216 218 221 223 224 227 230 235 238 243 246 249 256 258 270 271 272 274 276 277 285 298 306 308 310 315 319 322 324 328 329 330 334 340 347 351 353 355 356 358 360 363 365 366 372 373 379 380 382 390 391 393 394 398 400 402 403 408 409 413 417 428 a 1 11 16 18 20 27 34 40 41 44 46 47 48 50 51 52 57 59 60 63 67 73 75 79 84 85 86 88 97 105 111 113 118 119 122 123 124 126 128 129 130 131 132 133 134 135 141 147 148 151 156 157 162 163 164 166 169 172 175 180 183 184 190 201 206 207 211 216 218 221 223 224 227 230 235 238 243 246 249 256 258 270 271 272 274 276 277 285 298 306 310 315 319 322 324 328 329 330 334 340 347 351 353 355 356 358 360 363 365 366 372 373 379 380 382 390 391 393 394 398 400 402 403 408 409 413 417 428 a 1 11 16 18 20 27 34 40 41 44 46 47 48 50 51 52 57 59 60 63 67 73 75 79 84 85 86 88 97 105 111 113 118 119 122 123 124 126 128 129 130 131 132 133 134 135 136 141 147 148 151 156 157 162 163 164 166 172 175 180 183 184 190 201 206 207 211 216 218 221 223 224 227 230 235 238 243 246 249 256 258 270 271 272 274 276 277 285 298 306 310 315 319 322 324 328 329 330 334 340 347 351 353 355 356 358 360 363 365 366 372 373 379 380 382 390 391 393 394 398 400 402 403 408 409 413 417 428 a 1 11 16 18 20 27 34 40 41 44 46 47 48 50 51 52 57 59 60 63 67 73 75 79 84 85 86 88 97 105 111 113 118 119 122 123 124 126 128 129 130 131 132 133 134 135 136 141 147 148 151 156 157 162 163 164 166 172 175 180 183 184 190 201 206 207 211 216 218 221 223 224 227 230 235 238 243 246 249 256 258 270 271 272 274 276 277 285 298 306 310 315 319 322 324 328 329 330 334 340 347 351 353 355 356 358 360 365 366 372 373 379 380 382 390 391 393 394 396 398 400 402 403 408 409 413 417 428 a 1 11 16 18 27 34 40 41 44 46 47 48 50 51 52 57 59 60 63 67 73 75 79 84 85 86 88 97 105 111 113 118 119 122 123 124 126 128 129 130 131 132 133 134 135 136 141 147 148 151 156 157 162 163 164 166 172 175 180 183 184 190 201 206 207 211 216 218 221 223 224 227 230 235 238 243 246 249 256 258 270 271 272 274 276 277 285 298 306 310 315 319 322 324 328 329 330 334 340 347 351 353 355 356 358 360 365 366 372 373 379 380 382 390 391 393 394 396 398 400 401 402 403 408 409 413 417 428 a 1 11 16 18 27 34 40 41 44 46 47 48 50 51 52 57 59 60 63 67 73 75 79 84 85 86 88 97 105 111 113 118 119 122 123 124 126 128 129 130 131 132 133 134 135 136 141 147 148 151 156 157 162 163 164 166 172 175 180 183 184 190 201 206 207 211 216 218 221 223 224 227 230 235 238 243 246 249 251 256 258 270 272 274 276 277 285 298 306 310 315 319 322 324 328 329 330 334 340 347 351 353 355 356 358 360 365 366 372 373 379 380 382 390 391 393 394 396 398 400 401 402 403 408 409 413 417 428 a 1 11 16 18 27 34 40 41 44 47 48 50 51 52 57 59 60 63 67 73 75 79 84 85 86 88 97 105 111 113 118 119 122 123 124 126 128 129 130 131 132 133 134 135 136 141 147 148 151 156 157 162 163 164 166 172 175 180 181 183 184 190 201 206 207 211 216 218 221 223 224 227 230 235 238 243 246 249 251 256 258 270 272 274 276 277 285 298 306 310 315 319 322 324 328 329 330 334 340 347 351 353 355 356 358 360 365 366 372 373 379 380 382 390 391 393 394 396 398 400 401 402 403 408 409 413 417 428 a 1 11 16 18 27 34 40 41 44 47 48 50 51 52 57 59 60 63 67 73 75 79 84 85 86 88 97 105 111 113 117 118 119 122 123 124 126 128 129 130 131 132 133 134 135 136 141 147 148 151 156 157 162 163 164 166 172 175 180 181 183 184 190 201 206 207 211 216 218 221 223 224 227 230 235 238 243 246 249 251 256 258 270 272 274 276 277 285 298 306 310 315 319 322 324 328 329 330 334 340 351 353 355 356 358 360 365 366 372 373 379 380 382 390 391 393 394 396 398 400 401 402 403 408 409 413 417 428 a 1 11 16 18 26 27 34 40 41 44 47 48 50 51 52 57 59 60 63 67 73 75 79 84 85 86 88 97 105 111 113 117 118 119 122 123 124 126 128 129 130 131 132 133 134 135 136 141 147 148 151 156 157 162 163 164 166 172 175 180 181 183 184 190 201 206 207 211 216 218 221 223 224 227 230 235 238 243 246 249 251 256 258 270 272 274 276 277 285 298 306 310 315 319 322 324 328 329 330 334 340 351 353 355 356 358 360 365 366 372 373 379 380 382 390 391 393 394 396 398 400 401 402 403 408 409 413 428 a 1 11 16 18 26 27 34 40 41 44 47 48 50 51 52 57 59 63 67 73 75 79 81 84 85 86 88 97 105 111 113 117 118 119 122 123 124 126 128 129 130 131 132 133 134 135 136 141 147 148 151 156 157 162 163 164 166 172 175 180 181 183 184 190 201 206 207 211 216 218 221 223 224 227 230 235 238 243 246 249 251 256 258 270 272 274 276 277 285 298 306 310 315 319 322 324 328 329 330 334 340 351 353 355 356 358 360 365 366 372 373 379 380 382 390 391 393 394 396 398 400 401 402 403 408 409 413 428 a 1 11 16 18 26 27 34 40 41 44 47 48 50 51 52 57 59 63 67 73 75 79 81 84 85 86 88 97 105 111 113 117 118 119 122 123 124 126 128 129 130 131 132 133 134 135 136 141 147 148 151 156 157 162 163 164 166 172 175 180 181 183 184 190 201 206 207 211 216 218 221 223 224 227 230 235 238 243 246 249 251 256 258 260 270 272 274 276 277 285 298 306 310 315 319 322 324 328 329 330 334 340 351 353 355 356 358 360 365 366 372 373 379 380 382 390 391 393 394 396 398 400 401 402 403 409 413 428 a 1 11 16 18 26 27 34 40 41 44 47 48 50 51 52 57 59 63 67 70 73 75 79 81 84 85 86 88 97 105 111 113 117 118 119 122 123 124 126 128 129 130 131 132 133 134 135 136 141 147 148 151 156 157 162 163 164 166 175 180 181 183 184 190 201 206 207 211 216 218 221 223 224 227 230 235 238 243 246 249 251 256 258 260 270 272 274 276 277 285 298 306 310 315 319 322 324 328 329 330 334 340 351 353 355 356 358 360 365 366 372 373 379 380 382 390 391 393 394 396 398 400 401 402 403 409 413 428 a 1 11 16 18 26 27 34 40 41 44 47 48 50 51 52 57 59 63 67 70 73 75 79 81 84 85 86 88 97 105 111 113 117 118 119 122 123 124 126 128 129 130 131 132 133 134 135 136 140 141 147 148 151 156 162 163 164 166 175 180 181 183 184 190 201 206 207 211 216 218 221 223 224 227 230 235 238 243 246 249 251 256 258 260 270 272 274 276 277 285 298 306 310 315 319 322 324 328 329 330 334 340 351 353 355 356 358 360 365 366 372 373 379 380 382 390 391 393 394 396 398 400 401 402 403 409 413 428 a 1 11 16 18 26 27 34 40 41 44 47 48 50 51 52 57 59 63 67 70 73 75 79 81 84 85 86 88 97 105 111 113 117 118 119 122 123 124 126 128 129 130 131 132 133 134 135 136 140 141 147 148 151 156 162 163 164 166 175 180 181 183 184 190 201 206 207 211 216 218 221 223 224 227 230 235 238 243 246 249 251 256 258 260 270 272 276 277 285 298 306 310 315 319 322 324 328 329 330 334 340 351 352 353 355 356 358 360 365 366 372 373 379 380 382 390 391 393 394 396 398 400 401 402 403 409 413 428 a 1 11 16 18 19 26 27 34 40 41 44 47 48 50 51 52 57 59 67 70 73 75 79 81 84 85 86 88 97 105 111 113 117 118 119 122 123 124 126 128 129 130 131 132 133 134 135 136 140 141 147 148 151 156 162 163 164 166 175 180 181 183 184 190 201 206 207 211 216 218 221 223 224 227 230 235 238 243 246 249 251 256 258 260 270 272 276 277 285 298 306 310 315 319 322 324 328 329 330 334 340 351 352 353 355 356 358 360 365 366 372 373 379 380 382 390 391 393 394 396 398 400 401 402 403 409 413 428 a 1 11 16 18 19 26 27 40 41 44 47 48 50 51 52 57 59 67 70 73 75 79 81 84 85 86 88 97 105 111 113 117 118 119 122 123 124 126 128 129 130 131 132 133 134 135 136 140 141 147 148 151 156 162 163 164 166 175 180 181 183 184 190 201 206 207 211 216 218 221 223 224 227 230 235 238 243 246 249 251 256 258 260 270 272 276 277 280 285 298 306 310 315 319 322 324 328 329 330 334 340 351 352 353 355 356 358 360 365 366 372 373 379 380 382 390 391 393 394 396 398 400 401 402 403 409 413 428 a 1 11 16 18 19 26 27 40 41 44 47 48 50 51 52 57 59 67 70 73 75 79 81 84 85 86 88 97 105 111 113 117 118 119 122 123 124 126 128 129 130 131 132 133 134 135 136 140 141 147 148 151 156 162 163 164 166 175 180 181 183 184 190 201 206 207 211 216 218 221 223 224 227 230 235 238 243 246 249 251 256 258 260 270 272 276 277 280 298 306 310 315 319 322 324 325 328 329 330 334 340 351 352 353 355 356 358 360 365 366 372 373 379 380 382 390 391 393 394 396 398 400 401 402 403 409 413 428 a 1 11 16 18 19 26 27 40 41 44 47 48 50 51 52 57 59 67 70 73 75 79 81 84 85 86 88 97 105 111 113 117 118 119 122 123 124 126 128 129 130 131 132 133 134 135 136 140 141 147 148 151 156 162 163 164 166 175 180 181 183 184 190 201 206 207 211 216 218 221 223 224 227 235 238 243 246 249 251 256 258 260 270 272 276 277 280 298 306 310 315 319 322 324 325 328 329 330 334 340 351 352 353 355 356 358 360 365 366 372 373 379 380 382 390 391 393 394 396 398 400 401 402 403 409 412 413 428 a 1 11 16 18 19 26 27 40 41 44 47 48 50 51 52 57 59 67 70 73 75 79 81 84 85 86 88 97 105 111 113 117 118 119 122 124 126 128 129 130 131 132 133 134 135 136 140 141 143 147 148 151 156 162 163 164 166 175 180 181 183 184 190 201 206 207 211 216 218 221 223 224 227 235 238 243 246 249 251 256 258 260 270 272 276 277 280 298 306 310 315 319 322 324 325 328 329 330 334 340 351 352 353 355 356 358 360 365 366 372 373 379 380 382 390 391 393 394 396 398 400 401 402 403 409 412 413 428 a 1 11 16 18 19 26 27 40 41 44 47 48 50 51 52 57 59 67 70 73 75 79 81 85 86 88 97 105 111 113 117 118 119 122 124 126 128 129 130 131 132 133 134 135 136 140 141 143 147 148 151 156 162 163 164 166 175 180 181 183 184 190 201 206 207 211 216 218 221 223 224 227 235 238 243 246 249 251 256 258 260 270 272 276 277 280 298 306 310 315 319 322 324 325 328 329 330 334 340 351 352 353 355 356 358 360 365 366 372 373 379 380 381 382 390 391 393 394 396 398 400 401 402 403 409 412 413 428 a 1 11 16 18 19 26 27 40 41 44 47 48 50 51 52 57 59 67 70 73 75 79 81 85 86 88 97 105 111 113 117 118 119 122 124 126 128 129 130 131 132 133 134 135 136 140 141 143 147 148 151 156 162 163 164 166 175 180 181 184 190 201 206 207 209 211 216 218 221 223 224 227 235 238 243 246 249 251 256 258 260 270 272 276 277 280 298 306 310 315 319 322 324 325 328 329 330 334 340 351 352 353 355 356 358 360 365 366 372 373 379 380 381 382 390 391 393 394 396 398 400 401 402 403 409 412 413 428 a 1 11 16 18 19 26 27 40 41 44 47 48 50 51 52 57 59 67 70 73 75 79 81 85 86 88 97 105 111 113 117 118 119 122 124 126 128 129 130 131 132 134 135 136 140 141 143 147 148 151 156 162 163 164 166 175 180 181 184 190 201 206 207 209 211 216 218 221 223 224 227 235 238 243 246 249 251 256 258 260 270 272 276 277 280 298 306 310 315 319 322 324 325 328 329 330 334 340 351 352 353 355 356 358 360 365 366 372 373 379 380 381 382 390 391 393 394 396 398 400 401 402 403 409 412 413 427 428 a 1 11 16 18 19 26 27 40 41 44 47 48 50 51 52 57 59 67 70 73 75 79 81 85 86 88 97 105 111 113 117 118 119 122 124 126 128 129 130 131 132 134 135 136 140 141 143 147 148 151 156 162 163 164 166 175 180 181 184 190 201 206 207 209 211 216 218 221 223 224 227 235 238 243 246 249 251 256 258 260 270 272 276 277 280 298 306 307 310 315 319 322 324 325 328 329 330 334 340 351 352 353 355 358 360 365 366 372 373 379 380 381 382 390 391 393 394 396 398 400 401 402 403 409 412 413 427 428 a 1 11 16 18 19 26 27 40 41 44 47 48 50 51 52 57 59 67 70 73 75 79 81 85 86 88 97 105 111 113 117 118 119 122 124 126 128 129 130 131 132 134 135 136 140 141 143 147 148 151 156 162 163 164 166 174 175 180 181 184 190 201 206 207 209 211 216 218 221 223 224 227 235 238 243 246 249 251 256 258 260 270 272 276 277 280 298 306 307 310 315 319 322 325 328 329 330 334 340 351 352 353 355 358 360 365 366 372 373 379 380 381 382 390 391 393 394 396 398 400 401 402 403 409 412 413 427 428 a 1 10 11 16 18 19 26 27 40 41 44 47 48 50 51 52 57 59 67 70 73 75 79 81 85 86 88 97 105 111 113 117 118 119 122 124 126 129 130 131 132 134 135 136 140 141 143 147 148 151 156 162 163 164 166 174 175 180 181 184 190 201 206 207 209 211 216 218 221 223 224 227 235 238 243 246 249 251 256 258 260 270 272 276 277 280 298 306 307 310 315 319 322 325 328 329 330 334 340 351 352 353 355 358 360 365 366 372 373 379 380 381 382 390 391 393 394 396 398 400 401 402 403 409 412 413 427 428 a 1 10 11 16 18 19 26 27 40 41 44 47 48 50 51 52 57 59 67 70 73 75 79 81 85 86 88 97 105 111 113 117 118 119 122 124 126 127 129 130 131 132 134 135 136 140 141 143 147 148 151 156 162 163 164 166 174 175 180 181 184 190 201 206 207 209 211 216 218 221 223 224 227 235 238 243 246 249 251 256 258 260 270 272 276 277 280 298 306 307 310 315 319 322 325 328 329 330 334 340 351 352 353 355 358 360 365 366 372 373 379 380 381 382 390 391 393 396 398 400 401 402 403 409 412 413 427 428 a 1 10 11 16 18 19 26 27 40 41 44 47 48 50 51 52 57 59 67 70 73 75 79 81 85 86 88 91 97 105 111 113 117 118 119 122 124 126 127 129 130 131 132 134 135 136 140 141 143 147 148 151 156 162 163 164 166 174 175 180 181 184 190 201 206 207 209 211 216 218 221 223 224 227 235 238 243 246 249 251 256 258 260 270 272 276 277 280 298 306 307 310 315 319 322 325 328 329 330 334 340 351 352 353 355 358 360 365 372 373 379 380 381 382 390 391 393 396 398 400 401 402 403 409 412 413 427 428 a 1 10 11 16 18 19 23 26 27 40 41 44 47 48 50 51 52 57 59 67 70 73 75 79 81 85 86 88 91 97 105 111 113 117 118 119 122 124 126 127 129 130 131 132 134 135 136 140 141 143 147 148 151 156 162 163 164 166 174 175 180 181 184 190 201 206 207 209 211 218 221 223 224 227 235 238 243 246 249 251 256 258 260 270 272 276 277 280 298 306 307 310 315 319 322 325 328 329 330 334 340 351 352 353 355 358 360 365 372 373 379 380 381 382 390 391 393 396 398 400 401 402 403 409 412 413 427 428 a 1 10 11 16 18 19 23 26 27 28 40 41 44 47 48 50 51 52 57 59 67 70 73 75 79 81 85 86 88 91 97 105 111 113 117 118 119 122 124 126 127 129 130 131 132 134 135 136 140 141 143 147 148 151 156 162 163 164 166 174 175 180 181 184 190 206 207 209 211 218 221 223 224 227 235 238 243 246 249 251 256 258 260 270 272 276 277 280 298 306 307 310 315 319 322 325 328 329 330 334 340 351 352 353 355 358 360 365 372 373 379 380 381 382 390 391 393 396 398 400 401 402 403 409 412 413 427 428 a 1 10 11 12 16 18 19 23 26 27 28 40 41 44 47 48 50 51 52 57 59 67 70 73 75 79 81 85 86 88 91 97 105 111 113 117 118 119 122 124 126 127 129 130 131 132 134 135 136 140 141 143 147 148 151 156 162 164 166 174 175 180 181 184 190 206 207 209 211 218 221 223 224 227 235 238 243 246 249 251 256 258 260 270 272 276 277 280 298 306 307 310 315 319 322 325 328 329 330 334 340 351 352 353 355 358 360 365 372 373 379 380 381 382 390 391 393 396 398 400 401 402 403 409 412 413 427 428 a 1 10 11 12 16 18 19 23 26 27 28 40 41 44 47 48 50 51 52 57 59 67 70 73 75 79 81 85 86 88 91 97 105 111 113 117 118 119 122 124 126 127 129 130 131 132 134 135 136 140 141 143 147 148 151 156 162 164 166 174 175 180 181 184 190 206 207 209 211 218 221 223 224 227 235 238 243 246 249 251 256 260 270 272 276 277 280 296 298 306 307 310 315 319 322 325 328 329 330 334 340 351 352 353 355 358 360 365 372 373 379 380 381 382 390 391 393 396 398 400 401 402 403 409 412 413 427 428 a 1 10 11 12 16 18 19 23 26 27 28 40 41 44 47 48 50 51 52 57 59 67 70 73 75 79 81 85 86 88 91 97 105 111 113 117 118 119 122 124 126 127 129 130 131 132 134 135 136 140 141 143 147 148 151 156 162 164 166 174 175 180 181 184 190 206 207 209 211 218 221 223 224 227 235 238 243 246 249 251 256 260 270 272 276 277 280 296 298 306 307 310 315 319 322 325 328 329 330 332 334 351 352 353 355 358 360 365 372 373 379 380 381 382 390 391 393 396 398 400 401 402 403 409 412 413 427 428 a 1 10 11 12 16 18 19 23 26 27 28 40 41 44 47 48 50 51 52 57 59 67 70 73 75 79 81 85 86 88 91 97 105 111 113 117 118 119 122 124 126 127 129 130 131 132 134 135 136 140 141 143 147 148 151 156 162 164 166 174 175 180 181 184 190 204 206 207 209 211 218 221 223 227 235 238 243 246 249 251 256 260 270 272 276 277 280 296 298 306 307 310 315 319 322 325 328 329 330 332 334 351 352 353 355 358 360 365 372 373 379 380 381 382 390 391 393 396 398 400 401 402 403 409 412 413 427 428 a 1 10 11 12 16 18 19 23 26 27 28 40 41 44 47 48 50 51 52 57 59 67 70 73 75 79 81 85 86 88 91 97 105 111 113 117 118 119 122 124 126 127 129 130 131 132 134 135 136 140 141 143 147 148 151 156 162 164 166 174 175 180 181 184 190 204 206 207 209 211 218 221 223 227 235 238 243 246 249 251 256 260 270 272 276 277 280 296 298 306 307 310 315 319 322 325 328 329 330 332 334 351 352 353 355 358 365 372 373 379 380 381 382 390 391 393 396 398 399 400 401 402 403 409 412 413 427 428 a 1 10 11 12 16 18 19 23 26 27 28 40 41 44 47 48 50 51 52 57 59 67 70 73 75 78 79 81 85 86 88 91 97 105 111 113 117 118 119 122 124 126 127 129 130 131 132 134 135 136 140 141 143 147 148 151 156 162 164 166 174 175 180 181 184 190 204 206 209 211 218 221 223 227 235 238 243 246 249 251 256 260 270 272 276 277 280 296 298 306 307 310 315 319 322 325 328 329 330 332 334 351 352 353 355 358 365 372 373 379 380 381 382 390 391 393 396 398 399 400 401 402 403 409 412 413 427 428 a 1 10 11 12 16 18 19 23 26 27 28 40 41 44 47 48 50 51 52 57 59 67 70 73 75 78 79 81 85 86 88 91 97 105 111 113 117 118 119 122 124 126 127 129 130 131 132 134 135 136 140 141 143 147 148 151 156 162 164 166 173 174 175 180 181 184 190 204 206 209 211 218 221 223 227 235 238 243 246 249 251 256 260 270 272 276 277 280 296 298 306 307 310 315 319 322 325 328 329 330 332 334 351 352 353 355 358 365 372 373 379 381 382 390 391 393 396 398 399 400 401 402 403 409 412 413 427 428 a 1 10 11 12 16 18 19 23 26 27 28 40 41 44 47 48 50 51 52 57 59 67 70 73 75 78 79 81 85 86 88 91 97 105 111 113 117 118 119 122 124 126 127 129 130 131 132 134 135 136 140 141 143 147 148 151 156 162 166 173 174 175 176 180 181 184 190 204 206 209 211 218 221 223 227 235 238 243 246 249 251 256 260 270 272 276 277 280 296 298 306 307 310 315 319 322 325 328 329 330 332 334 351 352 353 355 358 365 372 373 379 381 382 390 391 393 396 398 399 400 401 402 403 409 412 413 427 428 a 1 10 11 12 16 18 19 23 26 28 40 41 44 47 48 50 51 52 57 59 67 70 73 75 78 79 81 85 86 88 91 97 105 111 113 117 118 119 122 124 126 127 129 130 131 132 134 135 136 140 141 143 147 148 151 156 162 166 173 174 175 176 180 181 184 190 204 206 209 211 218 221 223 227 235 238 243 246 249 251 256 260 270 272 276 277 280 296 298 306 307 310 315 319 322 325 328 329 330 332 334 351 352 353 355 358 365 372 373 375 379 381 382 390 391 393 396 398 399 400 401 402 403 409 412 413 427 428 a 1 10 11 12 16 18 19 23 26 28 40 41 44 47 48 50 51 52 57 59 67 70 73 75 78 79 81 85 86 88 91 97 105 111 113 117 118 119 122 124 127 129 130 131 132 134 135 136 140 141 143 147 148 151 156 162 166 173 174 175 176 180 181 184 190 204 206 209 211 218 221 223 227 235 238 243 246 249 251 256 260 262 270 272 276 277 280 296 298 306 307 310 315 319 322 325 328 329 330 332 334 351 352 353 355 358 365 372 373 375 379 381 382 390 391 393 396 398 399 400 401 402 403 409 412 413 427 428 a 1 10 11 12 16 18 19 23 26 28 40 41 44 47 48 50 51 52 57 59 67 70 73 75 78 79 81 85 86 88 91 97 105 111 113 117 118 119 122 124 127 129 130 131 132 134 135 136 140 141 143 147 148 151 156 162 166 173 174 175 176 181 184 190 204 206 209 211 218 221 223 227 235 238 243 246 249 251 256 260 262 270 272 276 277 280 296 298 306 307 310 315 319 322 325 328 329 330 332 334 351 352 353 355 358 365 372 373 374 375 379 381 382 390 391 393 396 398 399 400 401 402 403 409 412 413 427 428 a 1 10 11 12 16 18 19 23 26 28 40 41 44 47 48 50 51 52 57 59 67 70 73 75 78 79 81 85 86 88 91 97 105 111 113 117 118 119 122 124 127 129 130 131 132 134 135 136 140 141 143 147 148 151 156 162 166 173 174 175 176 181 184 204 206 209 211 218 221 223 227 235 238 243 246 249 251 256 260 262 270 272 276 277 280 296 298 306 307 310 315 316 319 322 325 328 329 330 332 334 351 352 353 355 358 365 372 373 374 375 379 381 382 390 391 393 396 398 399 400 401 402 403 409 412 413 427 428 a 1 10 11 12 16 18 19 23 26 28 40 41 44 47 48 50 51 52 57 59 67 70 73 75 78 79 81 85 86 88 91 97 105 111 113 117 118 119 122 124 127 130 131 132 134 135 136 140 141 143 147 148 151 156 162 166 173 174 175 176 181 184 204 206 209 211 218 221 223 227 235 238 243 246 249 251 256 260 262 270 272 276 277 280 296 298 306 307 310 315 316 319 322 325 328 329 330 332 334 345 351 352 353 355 358 365 372 373 374 375 379 381 382 390 391 393 396 398 399 400 401 402 403 409 412 413 427 428 c Step: 76 Command being timed: "python3 run_3.py --shortest /benchmark/random_instance/random_instance033_graph003.col /benchmark/random_instance/random_instance033_graph003_01.dat" User time (seconds): 3.41 System time (seconds): 0.15 Percent of CPU this job got: 99% Elapsed (wall clock) time (h:mm:ss or m:ss): 0:03.57 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): 137384 Average resident set size (kbytes): 0 Major (requiring I/O) page faults: 0 Minor (reclaiming a frame) page faults: 158718 Voluntary context switches: 20 Involuntary context switches: 14 Swaps: 0 File system inputs: 0 File system outputs: 504 Socket messages sent: 0 Socket messages received: 0 Signals delivered: 0 Page size (bytes): 4096 Exit status: 0 #END: [Mon Sep 4 15:07:43 2023]