#BEGIN: [Tue Sep 26 03:23:22 2023] #HOST: s01 #TIMELIMIT: 1800 #MEMLIMIT: 0 #SOLVER: shortest-wallclock-banbaralab2-shortest1 #INSTANCE1: /benchmark/random_instance/random_instance030_graph003.col #INSTANCE2: /benchmark/random_instance/random_instance030_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_instance030_graph003.col /benchmark/random_instance/random_instance030_graph003_01.dat c /benchmark/random_instance/random_instance030_graph003.col c /benchmark/random_instance/random_instance030_graph003_01.dat s 260 61 235 313 126 199 71 77 330 147 267 388 76 19 368 171 105 95 353 325 152 24 383 198 279 244 99 132 8 342 158 85 156 16 387 333 57 141 301 138 179 225 74 205 309 237 86 358 94 172 222 287 136 115 192 161 249 123 202 219 312 193 113 44 88 151 216 144 390 149 174 55 40 114 361 332 196 175 116 320 359 375 29 318 327 127 263 129 326 328 221 331 343 20 52 13 334 33 209 10 145 168 297 239 273 42 363 134 336 314 23 349 371 254 218 348 191 335 280 91 291 100 46 214 187 364 1 163 340 307 164 135 t 224 23 303 142 160 125 333 280 26 343 323 61 192 29 113 203 33 300 35 129 139 86 326 232 257 183 154 236 274 104 143 40 276 88 51 43 48 386 211 134 324 97 344 45 209 213 338 334 179 153 38 73 294 234 47 172 52 68 190 218 69 144 230 356 376 119 363 109 46 243 347 283 93 219 195 94 34 159 312 18 265 304 67 110 11 181 307 126 221 198 241 194 330 296 20 383 285 248 22 57 188 135 64 361 182 284 149 266 329 137 8 331 77 49 278 272 189 212 65 336 315 152 7 163 208 141 121 310 309 91 58 206 a YES a 1 8 10 13 16 19 20 23 24 29 33 40 42 44 46 52 55 57 61 71 74 76 77 85 86 88 91 94 95 99 100 105 113 114 115 116 123 126 127 129 132 134 135 136 138 141 144 145 147 149 151 152 156 158 161 163 164 168 171 172 174 175 179 187 191 192 193 196 198 199 202 205 209 214 216 218 219 221 222 225 235 237 239 244 249 254 260 263 267 273 279 280 287 291 297 301 307 309 312 313 314 318 320 325 326 327 328 330 331 332 333 334 335 336 340 342 343 348 349 353 358 359 361 363 364 368 371 375 383 387 388 390 a 1 8 10 13 16 19 20 23 24 29 33 40 42 44 46 52 55 57 61 71 74 76 77 85 86 88 91 94 95 99 100 105 113 114 115 116 123 126 127 129 132 134 135 136 138 141 144 145 147 149 151 152 156 158 161 163 164 168 171 172 174 175 179 187 191 192 193 196 198 199 202 205 209 214 216 218 219 221 222 225 232 235 237 239 244 249 254 260 263 267 273 280 287 291 297 301 307 309 312 313 314 318 320 325 326 327 328 330 331 332 333 334 335 336 340 342 343 348 349 353 358 359 361 363 364 368 371 375 383 387 388 390 a 1 8 10 13 16 19 20 23 24 29 33 40 42 44 46 52 55 57 61 71 74 76 77 85 86 88 91 94 95 100 105 113 114 115 116 123 126 127 129 132 134 135 136 138 141 144 145 147 149 151 152 156 158 161 163 164 168 171 172 174 175 179 187 191 192 193 196 198 199 202 205 209 214 216 218 219 221 222 225 232 235 237 239 244 249 254 260 263 267 273 280 287 291 297 301 307 309 312 313 314 318 320 325 326 327 328 330 331 332 333 334 335 336 340 342 343 348 349 353 358 359 361 363 364 368 371 375 376 383 387 388 390 a 1 8 10 13 16 19 20 23 24 29 33 40 44 46 52 55 57 61 71 74 76 77 85 86 88 91 94 95 100 105 113 114 115 116 123 126 127 129 132 134 135 136 138 141 144 145 147 149 151 152 156 158 161 163 164 168 171 172 174 175 179 183 187 191 192 193 196 198 199 202 205 209 214 216 218 219 221 222 225 232 235 237 239 244 249 254 260 263 267 273 280 287 291 297 301 307 309 312 313 314 318 320 325 326 327 328 330 331 332 333 334 335 336 340 342 343 348 349 353 358 359 361 363 364 368 371 375 376 383 387 388 390 a 1 8 10 13 16 19 20 23 24 29 33 40 44 46 52 55 57 61 71 74 77 85 86 88 91 94 95 100 105 113 114 115 116 123 126 127 129 132 134 135 136 138 141 144 145 147 149 151 152 156 158 161 163 164 168 171 172 174 175 179 183 187 191 192 193 196 198 199 202 205 209 214 216 218 219 221 222 225 232 235 237 239 244 249 254 260 263 267 273 274 280 287 291 297 301 307 309 312 313 314 318 320 325 326 327 328 330 331 332 333 334 335 336 340 342 343 348 349 353 358 359 361 363 364 368 371 375 376 383 387 388 390 a 1 8 10 13 16 19 20 23 24 29 33 40 44 46 52 55 57 61 71 74 77 85 86 88 91 94 95 100 105 113 114 115 116 123 126 127 129 132 134 135 136 138 141 144 145 147 149 151 152 156 158 161 163 164 168 171 172 174 175 179 183 187 192 193 196 198 199 202 205 209 214 216 218 219 221 222 225 232 235 237 239 244 249 254 260 263 267 273 274 280 287 291 297 301 307 309 312 313 314 318 320 325 326 327 328 329 330 331 332 333 334 335 336 340 342 343 348 349 353 358 359 361 363 364 368 371 375 376 383 387 388 390 a 1 8 10 13 16 19 20 23 24 29 33 34 40 44 46 52 55 57 61 71 74 77 85 86 88 91 94 95 100 105 113 114 115 116 123 126 127 129 132 134 135 136 138 141 144 145 147 149 151 152 156 158 161 163 164 168 171 172 174 175 179 183 187 192 193 196 198 199 202 205 209 214 216 218 219 221 222 225 232 235 237 239 244 249 254 260 263 267 273 274 280 287 291 297 301 307 309 312 313 314 318 320 325 326 327 328 329 330 331 332 333 334 335 336 340 342 343 348 353 358 359 361 363 364 368 371 375 376 383 387 388 390 a 1 8 10 13 16 19 20 23 24 29 33 34 40 44 46 52 55 57 61 71 74 77 85 86 88 91 94 95 100 105 113 114 115 116 123 126 127 129 132 134 135 136 141 144 145 147 149 151 152 156 158 161 163 164 168 171 172 174 175 179 183 187 192 193 196 198 199 202 205 209 214 216 218 219 221 222 225 232 235 237 239 244 248 249 254 260 263 267 273 274 280 287 291 297 301 307 309 312 313 314 318 320 325 326 327 328 329 330 331 332 333 334 335 336 340 342 343 348 353 358 359 361 363 364 368 371 375 376 383 387 388 390 a 1 8 10 13 19 20 23 24 29 33 34 40 44 46 52 55 57 61 71 74 77 85 86 88 91 94 95 100 105 113 114 115 116 123 126 127 129 132 134 135 136 141 144 145 147 149 151 152 156 158 161 163 164 168 171 172 174 175 179 183 187 192 193 196 198 199 202 205 209 214 216 218 219 221 222 225 232 235 237 239 244 248 249 254 260 263 267 273 274 280 287 291 297 301 307 309 312 313 314 315 318 320 325 326 327 328 329 330 331 332 333 334 335 336 340 342 343 348 353 358 359 361 363 364 368 371 375 376 383 387 388 390 a 1 8 10 13 19 20 23 24 29 33 34 40 44 46 52 55 57 61 71 74 77 85 86 88 91 94 95 100 105 113 114 115 116 123 126 127 129 132 134 135 136 141 144 145 147 149 151 152 156 158 161 163 164 168 171 172 174 175 179 183 187 192 193 196 198 199 202 205 209 214 216 218 219 221 222 225 232 235 237 239 244 248 249 254 260 263 267 274 280 287 291 297 301 303 307 309 312 313 314 315 318 320 325 326 327 328 329 330 331 332 333 334 335 336 340 342 343 348 353 358 359 361 363 364 368 371 375 376 383 387 388 390 a 1 8 10 13 19 20 23 24 29 33 34 40 44 46 52 55 57 61 71 73 74 77 85 86 88 91 94 95 100 105 113 114 115 116 123 126 127 129 132 134 135 136 141 144 145 147 149 151 152 156 158 161 163 164 168 171 172 174 175 179 183 187 192 193 196 198 199 202 205 209 214 216 218 219 221 222 225 232 235 237 239 244 248 249 254 260 263 267 274 280 287 291 297 301 303 307 309 312 313 314 315 318 320 325 326 327 328 329 330 331 332 333 334 335 336 340 342 343 348 353 358 361 363 364 368 371 375 376 383 387 388 390 a 1 8 10 13 18 19 20 23 24 29 33 34 40 44 46 52 55 57 61 71 73 74 77 85 86 88 91 94 95 100 105 113 114 115 116 123 126 127 129 132 134 135 136 141 144 145 147 149 151 152 156 158 161 163 164 168 171 172 174 175 179 183 187 192 193 196 198 199 202 205 209 214 216 218 219 221 222 225 232 235 237 239 244 248 249 254 260 263 267 274 280 287 291 297 301 303 307 309 312 313 314 315 318 320 325 326 327 328 329 330 331 333 334 335 336 340 342 343 348 353 358 361 363 364 368 371 375 376 383 387 388 390 a 1 8 10 13 18 19 20 23 24 29 33 34 40 44 45 46 52 55 57 61 71 73 74 77 85 86 88 91 94 95 100 105 113 114 115 116 123 126 127 129 132 134 135 136 141 144 145 147 149 151 152 156 158 161 163 164 168 171 172 175 179 183 187 192 193 196 198 199 202 205 209 214 216 218 219 221 222 225 232 235 237 239 244 248 249 254 260 263 267 274 280 287 291 297 301 303 307 309 312 313 314 315 318 320 325 326 327 328 329 330 331 333 334 335 336 340 342 343 348 353 358 361 363 364 368 371 375 376 383 387 388 390 a 1 8 10 13 18 20 23 24 29 33 34 40 44 45 46 52 55 57 61 71 73 74 77 85 86 88 91 94 95 100 105 113 114 115 116 123 125 126 127 129 132 134 135 136 141 144 145 147 149 151 152 156 158 161 163 164 168 171 172 175 179 183 187 192 193 196 198 199 202 205 209 214 216 218 219 221 222 225 232 235 237 239 244 248 249 254 260 263 267 274 280 287 291 297 301 303 307 309 312 313 314 315 318 320 325 326 327 328 329 330 331 333 334 335 336 340 342 343 348 353 358 361 363 364 368 371 375 376 383 387 388 390 a 1 7 8 10 13 18 20 23 24 29 33 34 40 44 45 46 52 55 57 61 71 73 74 77 85 86 88 91 94 95 100 105 113 114 115 116 123 125 126 127 129 132 134 135 136 141 144 145 147 149 151 152 156 158 161 163 164 168 171 172 175 179 183 187 192 193 196 198 199 202 205 209 214 216 218 219 221 222 225 232 235 237 239 244 248 249 254 260 263 267 274 280 287 291 297 303 307 309 312 313 314 315 318 320 325 326 327 328 329 330 331 333 334 335 336 340 342 343 348 353 358 361 363 364 368 371 375 376 383 387 388 390 a 1 7 8 10 13 18 20 22 23 24 29 33 34 40 44 45 46 52 55 57 61 71 73 74 77 85 86 88 91 94 95 100 105 113 114 115 116 123 125 126 127 129 132 134 135 136 141 144 145 147 149 151 152 156 158 161 163 164 168 171 172 175 179 183 187 192 196 198 199 202 205 209 214 216 218 219 221 222 225 232 235 237 239 244 248 249 254 260 263 267 274 280 287 291 297 303 307 309 312 313 314 315 318 320 325 326 327 328 329 330 331 333 334 335 336 340 342 343 348 353 358 361 363 364 368 371 375 376 383 387 388 390 a 1 7 8 10 13 18 20 22 23 24 29 33 34 40 44 45 46 49 52 55 57 61 71 73 74 77 85 86 88 91 94 95 100 105 113 114 115 116 123 125 126 127 129 132 134 135 136 141 144 145 147 149 151 152 156 158 161 163 164 168 171 172 175 179 183 187 192 196 198 199 202 205 209 214 216 218 219 221 222 225 232 235 237 239 244 248 249 254 260 263 274 280 287 291 297 303 307 309 312 313 314 315 318 320 325 326 327 328 329 330 331 333 334 335 336 340 342 343 348 353 358 361 363 364 368 371 375 376 383 387 388 390 a 1 7 8 10 13 18 20 22 23 24 29 33 34 40 44 45 46 49 52 55 57 61 71 73 74 77 85 86 88 91 94 95 100 105 113 114 115 116 123 125 126 127 129 132 134 135 136 141 144 145 147 149 151 152 156 158 161 163 164 168 171 172 175 179 183 187 192 196 198 199 202 205 209 214 216 218 219 221 222 225 232 235 237 239 244 248 249 254 260 274 280 287 291 297 303 307 309 312 313 314 315 318 320 325 326 327 328 329 330 331 333 334 335 336 340 342 343 348 353 356 358 361 363 364 368 371 375 376 383 387 388 390 a 1 7 8 10 13 18 20 22 23 24 29 33 34 40 44 45 46 49 52 55 57 61 71 73 74 77 85 86 88 91 94 95 100 105 113 114 115 116 123 125 126 127 129 132 134 135 136 141 144 145 147 149 151 152 156 158 161 163 164 168 171 172 175 179 183 187 192 196 198 199 202 205 206 209 214 216 218 219 221 222 225 232 235 237 239 244 248 249 254 260 274 280 287 291 297 303 307 309 312 313 314 315 318 320 325 326 327 328 329 330 331 333 334 335 336 340 342 343 348 353 356 358 361 363 364 368 371 375 376 383 388 390 a 1 7 8 10 13 18 20 22 23 24 29 33 34 40 44 45 46 49 52 55 57 61 71 73 74 77 85 86 88 91 94 95 100 105 113 114 115 116 123 125 126 127 129 132 134 135 136 141 144 145 147 149 151 152 156 158 161 163 164 168 171 172 175 179 183 187 192 196 198 199 202 205 206 209 214 216 218 219 221 222 225 232 235 237 239 244 248 249 254 260 274 280 285 287 291 297 303 307 309 312 313 314 315 318 320 325 326 327 328 329 330 331 333 334 335 336 340 342 343 348 353 356 358 361 363 364 368 371 375 376 383 388 a 1 7 8 10 13 18 20 22 23 24 29 33 34 40 44 45 46 49 52 55 57 61 71 73 74 77 85 86 88 91 94 95 100 105 113 114 115 116 123 125 126 127 129 132 134 135 136 141 144 145 147 149 151 152 156 158 161 163 164 168 171 172 175 179 183 187 192 196 198 199 202 205 206 209 214 216 218 219 221 222 225 232 235 237 239 244 248 249 254 260 274 280 285 287 291 296 297 303 307 309 312 313 314 315 318 320 325 326 327 328 329 330 331 333 334 335 336 340 343 348 353 356 358 361 363 364 368 371 375 376 383 388 a 1 7 8 10 13 18 20 22 23 24 29 33 34 40 44 45 46 49 52 55 57 61 68 71 73 74 77 85 86 88 91 94 95 100 105 113 114 115 116 123 125 126 127 129 132 134 135 136 141 144 145 147 149 151 152 156 158 161 163 164 168 172 175 179 183 187 192 196 198 199 202 205 206 209 214 216 218 219 221 222 225 232 235 237 239 244 248 249 254 260 274 280 285 287 291 296 297 303 307 309 312 313 314 315 318 320 325 326 327 328 329 330 331 333 334 335 336 340 343 348 353 356 358 361 363 364 368 371 375 376 383 388 a 1 7 8 10 13 18 20 22 23 24 29 33 34 40 44 45 46 49 52 55 57 61 64 68 71 73 77 85 86 88 91 94 95 100 105 113 114 115 116 123 125 126 127 129 132 134 135 136 141 144 145 147 149 151 152 156 158 161 163 164 168 172 175 179 183 187 192 196 198 199 202 205 206 209 214 216 218 219 221 222 225 232 235 237 239 244 248 249 254 260 274 280 285 287 291 296 297 303 307 309 312 313 314 315 318 320 325 326 327 328 329 330 331 333 334 335 336 340 343 348 353 356 358 361 363 364 368 371 375 376 383 388 a 1 7 8 10 13 18 20 22 23 24 29 33 34 40 44 45 46 49 52 55 57 61 64 68 71 73 77 85 86 88 91 94 95 100 105 113 114 115 116 123 125 126 127 129 132 134 135 136 141 144 145 147 149 151 152 156 158 161 163 164 168 172 175 179 183 187 192 196 198 199 202 205 206 209 214 216 218 219 221 222 225 232 235 237 239 241 244 248 249 254 260 274 280 285 287 291 296 297 303 307 309 312 313 314 315 318 320 325 326 327 328 329 330 331 333 334 335 336 340 343 348 353 356 358 361 363 364 368 375 376 383 388 a 1 7 8 10 13 18 20 22 23 24 29 33 34 40 44 45 46 49 52 55 57 58 61 64 68 71 73 77 85 86 88 91 94 95 100 105 113 114 115 116 123 125 126 127 129 132 134 135 136 141 144 145 147 149 151 152 156 158 161 163 164 168 172 175 179 183 187 192 196 198 199 202 205 206 209 214 216 218 219 221 222 225 232 235 237 239 241 244 248 249 254 260 274 280 285 287 291 296 297 303 307 309 312 314 315 318 320 325 326 327 328 329 330 331 333 334 335 336 340 343 348 353 356 358 361 363 364 368 375 376 383 388 a 1 7 8 10 13 18 20 22 23 24 29 33 34 40 44 45 46 49 52 55 57 58 61 64 68 71 73 77 85 86 88 91 94 95 100 105 113 114 115 116 123 125 126 127 129 132 134 135 136 141 144 145 147 149 151 152 156 158 161 163 164 168 172 175 179 183 187 192 196 198 199 202 205 206 209 214 216 218 219 221 222 225 232 234 235 237 239 241 244 248 249 254 260 274 280 285 287 291 296 297 303 307 309 312 314 315 318 320 325 326 327 328 329 330 331 333 334 335 336 340 343 348 353 356 358 361 363 364 368 375 376 383 a 1 7 8 10 13 18 20 22 23 24 29 33 34 40 44 45 46 49 52 55 57 58 61 64 68 71 73 77 85 86 88 91 94 95 100 105 113 114 115 116 123 125 126 127 129 132 134 135 136 141 144 145 147 149 151 152 156 158 161 163 164 168 172 175 179 183 187 192 196 198 199 202 205 206 209 214 216 218 219 221 222 225 232 234 235 237 239 241 244 248 249 254 260 274 280 285 287 291 296 297 303 304 307 309 312 314 315 318 320 325 326 328 329 330 331 333 334 335 336 340 343 348 353 356 358 361 363 364 368 375 376 383 a 1 7 8 10 13 18 20 22 23 24 29 33 34 40 44 45 46 49 52 55 57 58 61 64 68 71 73 77 85 86 88 91 94 95 100 105 113 114 115 116 123 125 126 127 129 132 134 135 136 141 144 145 147 149 151 152 153 156 158 161 163 164 168 172 175 179 183 187 192 196 198 199 202 205 206 209 214 216 218 219 221 222 225 232 234 235 237 239 241 244 248 249 254 260 274 280 285 287 291 296 297 303 304 307 309 312 314 315 318 320 325 326 328 329 330 331 333 334 336 340 343 348 353 356 358 361 363 364 368 375 376 383 a 1 7 8 10 13 18 20 22 23 24 29 33 34 40 44 45 46 49 52 55 57 58 61 64 67 68 71 73 77 85 86 88 91 94 95 100 105 113 114 115 116 123 125 126 127 129 132 134 135 136 141 144 145 147 149 151 152 153 156 158 161 163 164 168 172 175 179 183 187 192 196 198 199 202 205 206 209 214 216 218 219 221 222 225 232 234 235 237 239 241 244 248 249 254 260 274 280 285 287 291 296 297 303 304 307 309 312 314 315 318 320 325 326 328 329 330 331 333 334 336 340 343 348 353 356 358 361 363 364 375 376 383 a 1 7 8 10 13 18 20 22 23 24 29 33 34 40 44 45 46 49 52 55 57 58 61 64 67 68 71 73 77 85 86 88 91 94 95 100 105 113 114 115 116 123 125 126 127 129 132 134 135 136 141 144 145 147 149 151 152 153 156 161 163 164 168 172 175 179 183 187 189 192 196 198 199 202 205 206 209 214 216 218 219 221 222 225 232 234 235 237 239 241 244 248 249 254 260 274 280 285 287 291 296 297 303 304 307 309 312 314 315 318 320 325 326 328 329 330 331 333 334 336 340 343 348 353 356 358 361 363 364 375 376 383 a 1 7 8 10 13 18 20 22 23 24 29 33 34 40 44 45 46 49 52 55 57 58 61 64 67 68 71 73 77 85 86 88 91 94 95 100 105 113 114 115 116 123 125 126 127 129 132 134 135 136 141 144 145 147 149 151 152 153 156 161 163 164 168 172 175 179 183 187 189 192 196 198 199 202 203 205 206 209 214 216 218 219 221 222 225 232 234 235 237 239 241 244 248 249 254 260 274 280 285 287 291 296 297 303 304 307 309 312 314 315 318 320 325 326 328 329 330 331 333 334 336 340 343 348 353 356 358 361 363 364 376 383 a 1 7 8 10 13 18 20 22 23 29 33 34 40 44 45 46 49 52 55 57 58 61 64 67 68 71 73 77 85 86 88 91 94 95 100 105 113 114 115 116 123 125 126 127 129 132 134 135 136 141 144 145 147 149 151 152 153 156 161 163 164 168 172 175 179 183 187 189 192 196 198 199 202 203 205 206 209 213 214 216 218 219 221 222 225 232 234 235 237 239 241 244 248 249 254 260 274 280 285 287 291 296 297 303 304 307 309 312 314 315 318 320 325 326 328 329 330 331 333 334 336 340 343 348 353 356 358 361 363 364 376 383 a 1 7 8 10 18 20 22 23 29 33 34 40 44 45 46 49 52 55 57 58 61 64 67 68 71 73 77 85 86 88 91 94 95 100 105 113 114 115 116 123 125 126 127 129 132 134 135 136 141 144 145 147 149 151 152 153 156 161 163 164 168 172 175 179 183 187 189 192 194 196 198 199 202 203 205 206 209 213 214 216 218 219 221 222 225 232 234 235 237 239 241 244 248 249 254 260 274 280 285 287 291 296 297 303 304 307 309 312 314 315 318 320 325 326 328 329 330 331 333 334 336 340 343 348 353 356 358 361 363 364 376 383 a 1 7 8 18 20 22 23 29 33 34 40 44 45 46 49 52 55 57 58 61 64 67 68 71 73 77 85 86 88 91 94 95 100 105 113 114 115 116 123 125 126 127 129 132 134 135 136 141 144 145 147 149 151 152 153 156 161 163 164 168 172 175 179 183 187 189 192 194 196 198 199 202 203 205 206 209 213 214 216 218 219 221 222 225 232 234 235 237 239 241 244 248 249 254 260 274 280 283 285 287 291 296 297 303 304 307 309 312 314 315 318 320 325 326 328 329 330 331 333 334 336 340 343 348 353 356 358 361 363 364 376 383 a 1 7 8 18 20 22 23 29 33 34 40 44 45 46 49 52 55 57 58 61 64 67 68 71 73 77 85 86 88 91 94 95 105 113 114 115 116 123 125 126 127 129 132 134 135 136 141 144 145 147 149 151 152 153 156 161 163 164 168 172 175 179 183 187 189 192 194 196 198 199 202 203 205 206 209 213 214 216 218 219 221 222 225 232 234 235 237 239 241 244 248 249 254 260 274 280 283 285 287 291 296 297 303 304 307 309 312 314 315 318 320 324 325 326 328 329 330 331 333 334 336 340 343 348 353 356 358 361 363 364 376 383 a 1 7 8 18 20 22 23 29 33 34 40 44 45 46 49 52 55 57 58 61 64 67 68 71 73 77 85 86 88 91 94 95 105 113 114 115 116 123 125 126 127 129 132 134 135 136 141 144 145 147 149 151 152 153 156 161 163 164 168 172 175 179 183 187 189 192 194 195 196 198 199 202 203 205 206 209 213 214 216 218 219 221 222 225 232 234 235 237 241 244 248 249 254 260 274 280 283 285 287 291 296 297 303 304 307 309 312 314 315 318 320 324 325 326 328 329 330 331 333 334 336 340 343 348 353 356 358 361 363 364 376 383 a 1 7 8 18 20 22 23 29 33 34 35 40 44 45 46 49 52 55 57 58 61 64 67 68 71 73 77 85 86 88 91 94 95 105 113 114 115 116 123 125 126 127 129 132 134 135 136 141 144 145 149 151 152 153 156 161 163 164 168 172 175 179 183 187 189 192 194 195 196 198 199 202 203 205 206 209 213 214 216 218 219 221 222 225 232 234 235 237 241 244 248 249 254 260 274 280 283 285 287 291 296 297 303 304 307 309 312 314 315 318 320 324 325 326 328 329 330 331 333 334 336 340 343 348 353 356 358 361 363 364 376 383 a 1 7 8 18 20 22 23 29 33 34 35 40 44 45 46 49 52 55 57 58 61 64 67 68 71 73 77 85 86 88 91 94 95 105 113 114 115 116 123 125 126 127 129 132 134 135 136 141 144 145 149 151 152 153 156 161 163 164 168 172 175 179 183 187 189 192 194 195 196 198 199 202 203 205 206 209 213 214 216 218 219 221 222 225 232 234 235 237 241 244 248 249 254 260 274 280 283 285 287 291 296 297 303 304 307 309 312 314 315 318 320 324 325 326 328 329 330 331 333 334 336 338 340 343 348 356 358 361 363 364 376 383 a 1 7 8 18 20 22 23 29 33 34 35 40 44 45 46 49 52 55 57 58 61 64 67 68 71 73 77 85 86 88 91 94 95 105 110 113 114 115 116 123 125 126 127 129 132 134 135 136 141 144 145 149 151 152 153 156 161 163 164 168 172 175 179 183 187 189 192 194 195 196 198 199 202 203 205 206 209 213 214 216 218 219 221 222 225 232 234 235 237 241 244 248 249 254 260 274 280 283 285 287 291 296 297 303 304 307 309 312 314 315 318 320 324 325 326 328 329 330 331 333 334 336 338 340 343 348 356 358 361 363 376 383 a 1 7 8 18 20 22 23 29 33 34 35 40 44 45 46 49 52 55 57 58 61 64 67 68 71 73 77 85 86 88 91 94 95 105 110 113 114 115 116 123 125 126 127 129 132 134 135 136 141 144 145 149 151 152 153 156 161 163 164 168 172 175 179 183 187 189 192 194 195 196 198 199 202 203 205 206 209 213 214 216 218 219 221 222 225 232 234 235 241 244 248 249 254 260 274 280 283 285 287 291 296 297 303 304 307 309 310 312 314 315 318 320 324 325 326 328 329 330 331 333 334 336 338 340 343 348 356 358 361 363 376 383 a 1 7 8 18 20 22 23 29 33 34 35 40 44 45 46 49 52 55 57 58 61 64 67 68 71 73 77 85 86 88 91 94 95 105 110 113 114 115 116 123 125 126 127 129 132 134 135 136 141 144 145 149 151 152 153 156 161 163 164 168 172 175 179 183 187 189 192 194 195 196 198 199 202 203 205 206 209 212 213 214 216 218 219 221 222 225 232 234 235 241 244 248 249 254 260 274 280 283 285 287 291 296 297 303 304 307 309 310 312 314 315 318 320 324 325 326 328 329 330 331 333 334 336 338 340 343 348 356 361 363 376 383 a 1 7 8 18 20 22 23 29 33 34 35 40 44 45 46 49 52 55 57 58 61 64 67 68 71 73 77 85 86 88 91 94 95 105 110 113 114 115 116 123 125 126 127 129 132 134 135 136 141 144 145 149 151 152 153 156 161 163 164 168 172 175 179 183 187 189 192 194 195 196 198 199 202 203 205 206 209 212 213 214 216 218 219 221 222 225 232 234 235 241 244 248 249 254 260 274 280 283 285 287 291 296 303 304 307 309 310 312 314 315 318 320 324 325 326 328 329 330 331 333 334 336 338 340 343 348 356 361 363 376 383 386 a 1 7 8 18 20 22 23 29 33 34 35 40 43 44 45 46 49 52 55 57 58 61 64 67 68 71 73 77 86 88 91 94 95 105 110 113 114 115 116 123 125 126 127 129 132 134 135 136 141 144 145 149 151 152 153 156 161 163 164 168 172 175 179 183 187 189 192 194 195 196 198 199 202 203 205 206 209 212 213 214 216 218 219 221 222 225 232 234 235 241 244 248 249 254 260 274 280 283 285 287 291 296 303 304 307 309 310 312 314 315 318 320 324 325 326 328 329 330 331 333 334 336 338 340 343 348 356 361 363 376 383 386 a 1 7 8 18 20 22 23 29 33 34 35 40 43 44 45 46 49 51 52 55 57 58 61 64 67 68 71 73 77 86 88 91 94 95 105 110 113 114 115 116 123 125 126 127 129 132 134 135 136 141 144 145 149 151 152 153 156 161 163 164 168 172 175 179 183 187 189 192 194 195 196 198 199 202 203 205 206 209 212 213 214 216 218 219 221 222 225 232 234 235 241 244 248 249 254 260 274 280 283 285 291 296 303 304 307 309 310 312 314 315 318 320 324 325 326 328 329 330 331 333 334 336 338 340 343 348 356 361 363 376 383 386 a 1 7 8 18 20 22 23 29 33 34 35 40 43 44 45 46 49 51 52 55 57 58 61 64 67 68 71 73 77 86 88 91 94 95 105 110 113 114 115 116 123 125 126 129 132 134 135 136 141 144 145 149 151 152 153 156 161 163 164 168 172 175 179 183 187 189 192 194 195 196 198 199 202 203 205 206 209 212 213 214 216 218 219 221 222 225 232 234 235 241 244 248 249 254 260 274 276 280 283 285 291 296 303 304 307 309 310 312 314 315 318 320 324 325 326 328 329 330 331 333 334 336 338 340 343 348 356 361 363 376 383 386 a 1 7 8 18 20 22 23 29 33 34 35 40 43 44 45 46 49 51 52 55 57 58 61 64 67 68 71 73 77 86 88 91 94 95 105 110 113 114 115 116 123 125 126 129 132 134 135 136 141 144 145 149 151 152 153 156 161 163 164 168 172 175 179 183 187 189 192 194 195 196 198 199 202 203 205 206 208 209 212 213 214 216 218 219 221 222 225 232 234 235 241 244 248 249 254 274 276 280 283 285 291 296 303 304 307 309 310 312 314 315 318 320 324 325 326 328 329 330 331 333 334 336 338 340 343 348 356 361 363 376 383 386 a 1 7 8 18 20 22 23 29 33 34 35 40 43 44 45 46 49 51 52 55 57 58 61 64 67 68 71 73 77 86 88 91 94 95 105 110 113 114 115 116 123 125 126 129 132 134 135 136 141 144 145 149 151 152 153 156 161 163 164 168 172 175 179 183 187 189 192 194 195 196 198 199 202 203 206 208 209 211 212 213 214 216 218 219 221 222 225 232 234 235 241 244 248 249 254 274 276 280 283 285 291 296 303 304 307 309 310 312 314 315 318 320 324 325 326 328 329 330 331 333 334 336 338 340 343 348 356 361 363 376 383 386 a 1 7 8 18 20 22 23 29 33 34 35 40 43 44 45 46 49 51 52 55 57 58 61 64 67 68 71 73 77 86 88 91 94 95 97 105 110 113 114 115 116 123 125 126 129 132 134 135 136 141 144 145 149 151 152 153 156 161 163 164 168 172 175 179 183 187 189 192 194 195 196 198 199 202 203 206 208 209 211 212 213 214 216 218 219 221 222 232 234 235 241 244 248 249 254 274 276 280 283 285 291 296 303 304 307 309 310 312 314 315 318 320 324 325 326 328 329 330 331 333 334 336 338 340 343 348 356 361 363 376 383 386 a 1 7 8 18 20 22 23 29 33 34 35 40 43 44 45 46 49 51 52 55 57 58 61 64 67 68 71 73 77 86 88 91 94 95 97 104 105 110 113 114 115 116 123 125 126 129 132 134 135 136 141 144 145 149 151 152 153 156 161 163 164 168 172 175 179 183 187 189 192 194 195 196 198 199 202 203 206 208 209 211 212 213 214 216 218 219 221 222 232 234 235 241 244 248 249 254 274 276 280 283 285 291 296 303 304 307 309 310 312 314 315 318 320 324 326 328 329 330 331 333 334 336 338 340 343 348 356 361 363 376 383 386 a 1 7 8 18 20 22 23 29 33 34 35 40 43 44 45 46 49 51 52 55 57 58 61 64 67 68 71 73 77 86 88 91 93 94 95 97 104 105 110 113 114 115 116 123 125 126 129 132 134 135 136 141 144 145 149 151 152 153 161 163 164 168 172 175 179 183 187 189 192 194 195 196 198 199 202 203 206 208 209 211 212 213 214 216 218 219 221 222 232 234 235 241 244 248 249 254 274 276 280 283 285 291 296 303 304 307 309 310 312 314 315 318 320 324 326 328 329 330 331 333 334 336 338 340 343 348 356 361 363 376 383 386 a 1 7 8 18 20 22 23 29 33 34 35 40 43 44 45 46 49 51 52 55 57 58 61 64 67 68 73 77 86 88 91 93 94 95 97 104 105 110 113 114 115 116 123 125 126 129 132 134 135 136 141 144 145 149 151 152 153 161 163 164 168 172 175 179 183 187 189 192 194 195 196 198 199 202 203 206 208 209 211 212 213 214 216 218 219 221 222 230 232 234 235 241 244 248 249 254 274 276 280 283 285 291 296 303 304 307 309 310 312 314 315 318 320 324 326 328 329 330 331 333 334 336 338 340 343 348 356 361 363 376 383 386 a 1 7 8 18 20 22 23 29 33 34 35 40 43 44 45 46 49 51 52 55 57 58 61 64 67 68 73 77 86 88 91 93 94 95 97 104 105 110 113 114 115 116 123 125 126 129 132 134 135 136 141 144 145 149 151 152 153 161 163 164 168 172 175 179 183 187 189 192 194 195 196 198 199 203 206 208 209 211 212 213 214 216 218 219 221 222 230 232 234 235 241 244 248 249 254 272 274 276 280 283 285 291 296 303 304 307 309 310 312 314 315 318 320 324 326 328 329 330 331 333 334 336 338 340 343 348 356 361 363 376 383 386 a 1 7 8 18 20 22 23 29 33 34 35 40 43 44 45 46 49 51 52 55 57 58 61 64 67 68 73 77 86 88 91 93 94 95 97 104 105 110 113 114 115 116 123 125 126 129 132 134 135 136 141 144 145 149 151 152 153 161 163 164 168 172 179 183 187 189 192 194 195 196 198 199 203 206 208 209 211 212 213 214 216 218 219 221 222 230 232 234 235 241 244 248 249 254 272 274 276 280 283 285 291 294 296 303 304 307 309 310 312 314 315 318 320 324 326 328 329 330 331 333 334 336 338 340 343 348 356 361 363 376 383 386 a 1 7 8 18 20 22 23 29 33 34 35 40 43 44 45 46 49 51 52 55 57 58 61 64 67 68 73 77 86 88 91 93 94 95 97 104 105 110 113 115 116 123 125 126 129 132 134 135 136 139 141 144 145 149 151 152 153 161 163 164 168 172 179 183 187 189 192 194 195 196 198 199 203 206 208 209 211 212 213 214 216 218 219 221 222 230 232 234 235 241 244 248 249 254 272 274 276 280 283 285 291 294 296 303 304 307 309 310 312 314 315 318 320 324 326 328 329 330 331 333 334 336 338 340 343 348 356 361 363 376 383 386 a 1 7 8 18 20 22 23 29 33 34 35 40 43 44 45 46 49 51 52 55 57 58 61 64 67 68 73 77 86 88 91 93 94 95 97 104 105 110 113 115 116 125 126 129 132 134 135 136 139 141 144 145 149 151 152 153 161 163 164 168 172 179 183 187 188 189 192 194 195 196 198 199 203 206 208 209 211 212 213 214 216 218 219 221 222 230 232 234 235 241 244 248 249 254 272 274 276 280 283 285 291 294 296 303 304 307 309 310 312 314 315 318 320 324 326 328 329 330 331 333 334 336 338 340 343 348 356 361 363 376 383 386 a 1 7 8 18 20 22 23 29 33 34 35 40 43 44 45 46 49 51 52 55 57 58 61 64 67 68 73 77 86 88 91 93 94 95 97 104 105 110 113 115 125 126 129 132 134 135 136 139 141 144 145 149 151 152 153 161 163 164 168 172 179 183 187 188 189 192 194 195 196 198 199 203 206 208 209 211 212 213 214 216 218 219 221 222 230 232 234 235 241 244 248 249 254 272 274 276 280 283 285 291 294 296 303 304 307 309 310 312 314 315 318 320 324 326 328 329 330 331 333 334 336 338 340 343 347 348 356 361 363 376 383 386 a 1 7 8 18 20 22 23 29 33 34 35 40 43 44 45 46 49 51 52 55 57 58 61 64 67 68 73 77 86 88 91 93 94 95 97 104 110 113 115 125 126 129 132 134 135 136 139 141 144 145 149 151 152 153 161 163 164 168 172 179 183 187 188 189 192 194 195 196 198 199 203 206 208 209 211 212 213 214 216 218 219 221 222 230 232 234 235 241 244 248 249 254 265 272 274 276 280 283 285 291 294 296 303 304 307 309 310 312 314 315 318 320 324 326 328 329 330 331 333 334 336 338 340 343 347 348 356 361 363 376 383 386 a 1 7 8 18 20 22 23 29 33 34 35 40 43 44 45 46 49 51 52 55 57 58 61 64 67 68 73 77 86 88 91 93 94 95 97 104 110 113 115 125 126 129 132 134 135 136 139 141 144 145 149 151 152 153 161 163 164 168 172 179 183 187 188 189 192 194 195 196 198 199 203 206 208 209 211 212 213 214 216 218 219 221 222 224 230 232 234 235 241 244 248 249 254 265 272 274 276 280 283 285 291 294 296 303 304 307 309 310 312 315 318 320 324 326 328 329 330 331 333 334 336 338 340 343 347 348 356 361 363 376 383 386 a 1 7 8 18 20 22 23 29 33 34 35 40 43 44 45 46 49 51 52 55 57 58 61 64 67 68 73 77 86 88 91 93 94 95 97 104 110 113 115 125 126 129 132 134 135 136 139 141 144 145 149 151 152 153 161 163 164 168 172 179 183 187 188 189 192 194 195 196 198 199 203 206 208 209 211 212 213 214 216 218 219 221 224 230 232 234 235 241 244 248 249 254 265 266 272 274 276 280 283 285 291 294 296 303 304 307 309 310 312 315 318 320 324 326 328 329 330 331 333 334 336 338 340 343 347 348 356 361 363 376 383 386 a 1 7 8 18 20 22 23 29 33 34 35 40 43 44 45 46 49 51 52 55 57 58 61 64 67 68 73 77 86 88 91 93 94 95 97 104 110 113 115 125 126 129 132 134 135 136 139 141 144 145 149 151 152 153 161 163 164 168 172 179 183 187 188 189 192 194 195 196 198 199 203 206 208 209 211 212 213 214 216 218 219 221 224 230 232 234 235 241 244 248 249 254 257 265 266 272 274 276 280 283 285 291 294 296 303 304 307 309 310 312 315 318 320 324 326 329 330 331 333 334 336 338 340 343 347 348 356 361 363 376 383 386 a 1 7 8 18 20 22 23 29 33 34 35 40 43 44 45 46 49 51 52 55 57 58 61 64 67 68 73 77 86 88 91 93 94 95 97 104 110 113 115 121 125 126 129 132 134 135 136 139 141 144 145 149 151 152 153 161 163 164 168 172 179 183 188 189 192 194 195 196 198 199 203 206 208 209 211 212 213 214 216 218 219 221 224 230 232 234 235 241 244 248 249 254 257 265 266 272 274 276 280 283 285 291 294 296 303 304 307 309 310 312 315 318 320 324 326 329 330 331 333 334 336 338 340 343 347 348 356 361 363 376 383 386 a 1 7 8 18 20 22 23 29 33 34 35 40 43 44 45 46 49 51 52 55 57 58 61 64 67 68 73 77 86 88 91 93 94 97 104 110 113 115 121 125 126 129 132 134 135 136 137 139 141 144 145 149 151 152 153 161 163 164 168 172 179 183 188 189 192 194 195 196 198 199 203 206 208 209 211 212 213 214 216 218 219 221 224 230 232 234 235 241 244 248 249 254 257 265 266 272 274 276 280 283 285 291 294 296 303 304 307 309 310 312 315 318 320 324 326 329 330 331 333 334 336 338 340 343 347 348 356 361 363 376 383 386 a 1 7 8 18 20 22 23 29 33 34 35 40 43 44 45 46 49 51 52 55 57 58 61 64 67 68 73 77 86 88 91 93 94 97 104 110 113 115 121 125 126 129 132 134 135 136 137 139 141 144 145 149 151 152 153 161 163 168 172 179 183 188 189 192 194 195 196 198 199 203 206 208 209 211 212 213 214 216 218 219 221 224 230 232 234 235 241 244 248 249 254 257 265 266 272 274 276 278 280 283 285 291 294 296 303 304 307 309 310 312 315 318 320 324 326 329 330 331 333 334 336 338 340 343 347 348 356 361 363 376 383 386 a 1 7 8 18 20 22 23 29 33 34 35 40 43 44 45 46 47 49 51 52 55 57 58 61 64 67 68 73 77 86 88 91 93 94 97 104 110 113 115 121 125 126 129 132 134 135 136 137 139 141 144 145 149 152 153 161 163 168 172 179 183 188 189 192 194 195 196 198 199 203 206 208 209 211 212 213 214 216 218 219 221 224 230 232 234 235 241 244 248 249 254 257 265 266 272 274 276 278 280 283 285 291 294 296 303 304 307 309 310 312 315 318 320 324 326 329 330 331 333 334 336 338 340 343 347 348 356 361 363 376 383 386 a 1 7 8 18 20 22 23 29 33 34 35 40 43 44 45 46 47 49 51 52 55 57 58 61 64 67 68 73 77 86 88 91 93 94 97 104 110 113 115 121 125 126 129 132 134 135 137 139 141 144 145 149 152 153 161 163 168 172 179 183 188 189 192 194 195 196 198 199 203 206 208 209 211 212 213 214 216 218 219 221 224 230 232 234 235 241 244 248 249 254 257 265 266 272 274 276 278 280 283 284 285 291 294 296 303 304 307 309 310 312 315 318 320 324 326 329 330 331 333 334 336 338 340 343 347 348 356 361 363 376 383 386 a 1 7 8 18 20 22 23 29 33 34 35 40 43 44 45 46 47 49 51 52 55 57 58 61 64 67 68 69 73 77 86 88 91 93 94 97 104 110 113 115 121 125 126 129 134 135 137 139 141 144 145 149 152 153 161 163 168 172 179 183 188 189 192 194 195 196 198 199 203 206 208 209 211 212 213 214 216 218 219 221 224 230 232 234 235 241 244 248 249 254 257 265 266 272 274 276 278 280 283 284 285 291 294 296 303 304 307 309 310 312 315 318 320 324 326 329 330 331 333 334 336 338 340 343 347 348 356 361 363 376 383 386 a 1 7 8 18 20 22 23 29 33 34 35 40 43 44 45 46 47 49 51 52 55 57 58 61 64 67 68 69 73 77 86 88 91 93 94 97 104 110 113 115 121 125 126 129 134 135 137 139 141 144 145 149 152 153 159 161 163 168 172 179 183 188 189 192 194 195 196 198 199 203 206 208 209 211 212 213 214 216 218 219 221 224 230 232 234 235 241 244 248 249 254 257 265 266 272 274 276 278 280 283 284 285 294 296 303 304 307 309 310 312 315 318 320 324 326 329 330 331 333 334 336 338 340 343 347 348 356 361 363 376 383 386 a 1 7 8 18 20 22 23 29 33 34 35 40 43 44 45 46 47 49 51 52 55 57 58 61 64 67 68 69 73 77 86 88 91 93 94 97 104 110 113 115 121 125 126 129 134 135 137 139 141 142 144 145 149 152 153 159 161 163 168 172 179 183 188 189 192 194 195 196 198 203 206 208 209 211 212 213 214 216 218 219 221 224 230 232 234 235 241 244 248 249 254 257 265 266 272 274 276 278 280 283 284 285 294 296 303 304 307 309 310 312 315 318 320 324 326 329 330 331 333 334 336 338 340 343 347 348 356 361 363 376 383 386 a 7 8 18 20 22 23 29 33 34 35 40 43 44 45 46 47 49 51 52 55 57 58 61 64 67 68 69 73 77 86 88 91 93 94 97 104 110 113 115 121 125 126 129 134 135 137 139 141 142 143 144 145 149 152 153 159 161 163 168 172 179 183 188 189 192 194 195 196 198 203 206 208 209 211 212 213 214 216 218 219 221 224 230 232 234 235 241 244 248 249 254 257 265 266 272 274 276 278 280 283 284 285 294 296 303 304 307 309 310 312 315 318 320 324 326 329 330 331 333 334 336 338 340 343 347 348 356 361 363 376 383 386 a 7 8 18 20 22 23 29 33 34 35 40 43 44 45 46 47 48 49 51 52 55 57 58 61 64 67 68 69 73 77 86 88 91 93 94 97 104 110 113 115 121 125 126 129 134 135 137 139 141 142 143 144 145 149 152 153 159 161 163 168 172 179 183 188 189 192 194 195 196 198 203 206 208 209 211 212 213 214 216 218 219 221 224 230 232 234 235 241 244 248 249 254 257 265 266 272 274 276 278 280 283 284 285 294 296 303 304 307 309 310 312 315 318 320 324 326 329 330 331 333 334 336 338 343 347 348 356 361 363 376 383 386 a 7 8 18 20 22 23 29 33 34 35 40 43 44 45 46 47 48 49 51 52 55 57 58 61 64 67 68 69 73 77 86 88 91 93 94 97 104 110 113 115 121 125 126 129 134 135 137 139 141 142 143 144 145 149 152 153 154 159 161 163 172 179 183 188 189 192 194 195 196 198 203 206 208 209 211 212 213 214 216 218 219 221 224 230 232 234 235 241 244 248 249 254 257 265 266 272 274 276 278 280 283 284 285 294 296 303 304 307 309 310 312 315 318 320 324 326 329 330 331 333 334 336 338 343 347 348 356 361 363 376 383 386 a 7 8 18 20 22 23 29 33 34 35 40 43 45 46 47 48 49 51 52 55 57 58 61 64 67 68 69 73 77 86 88 91 93 94 97 104 110 113 115 121 125 126 129 134 135 137 139 141 142 143 144 145 149 152 153 154 159 160 161 163 172 179 183 188 189 192 194 195 196 198 203 206 208 209 211 212 213 214 216 218 219 221 224 230 232 234 235 241 244 248 249 254 257 265 266 272 274 276 278 280 283 284 285 294 296 303 304 307 309 310 312 315 318 320 324 326 329 330 331 333 334 336 338 343 347 348 356 361 363 376 383 386 a 7 8 18 20 22 23 29 33 34 35 40 43 45 46 47 48 49 51 52 55 57 58 61 64 67 68 69 73 77 86 88 91 93 94 97 104 110 113 115 119 121 125 126 129 134 135 137 139 141 142 143 144 145 149 152 153 154 159 160 161 163 172 179 183 188 189 192 194 195 196 198 203 206 208 209 211 212 213 214 216 218 219 221 224 230 232 234 235 241 244 248 249 254 257 265 266 272 274 276 278 280 283 284 285 294 296 303 304 307 309 310 312 315 318 320 324 326 329 330 331 333 334 336 338 343 347 356 361 363 376 383 386 a 7 8 18 20 22 23 29 33 34 35 40 43 45 46 47 48 49 51 52 55 57 58 61 64 65 67 68 69 73 77 86 88 91 93 94 97 104 110 113 115 119 121 125 126 129 134 135 137 139 141 142 143 144 145 149 152 153 154 159 160 161 163 172 179 183 188 189 192 194 195 196 198 203 206 208 209 211 212 213 214 216 218 219 221 224 230 232 234 235 241 248 249 254 257 265 266 272 274 276 278 280 283 284 285 294 296 303 304 307 309 310 312 315 318 320 324 326 329 330 331 333 334 336 338 343 347 356 361 363 376 383 386 a 7 8 18 20 22 23 29 33 34 35 40 43 45 46 47 48 49 51 52 55 57 58 61 64 65 67 68 69 73 77 86 88 91 93 94 97 104 110 113 115 119 121 125 126 129 134 135 137 139 141 142 143 144 145 149 152 153 154 159 160 161 163 172 179 181 183 188 189 192 194 195 198 203 206 208 209 211 212 213 214 216 218 219 221 224 230 232 234 235 241 248 249 254 257 265 266 272 274 276 278 280 283 284 285 294 296 303 304 307 309 310 312 315 318 320 324 326 329 330 331 333 334 336 338 343 347 356 361 363 376 383 386 a 7 8 18 20 22 23 29 33 34 35 40 43 45 46 47 48 49 51 52 55 57 58 61 64 65 67 68 69 73 77 86 88 91 93 94 97 104 110 113 115 119 121 125 126 129 134 135 137 139 141 142 143 144 145 149 152 153 154 159 160 163 172 179 181 183 188 189 192 194 195 198 203 206 208 209 211 212 213 214 216 218 219 221 224 230 232 234 235 241 248 249 254 257 265 266 272 274 276 278 280 283 284 285 294 296 303 304 307 309 310 312 315 318 320 324 326 329 330 331 333 334 336 338 343 344 347 356 361 363 376 383 386 a 7 8 18 20 22 23 29 33 34 35 40 43 45 46 47 48 49 51 52 55 57 58 61 64 65 67 68 69 73 77 86 88 91 93 94 97 104 110 113 119 121 125 126 129 134 135 137 139 141 142 143 144 145 149 152 153 154 159 160 163 172 179 181 183 188 189 192 194 195 198 203 206 208 209 211 212 213 214 216 218 219 221 224 230 232 234 235 241 243 248 249 254 257 265 266 272 274 276 278 280 283 284 285 294 296 303 304 307 309 310 312 315 318 320 324 326 329 330 331 333 334 336 338 343 344 347 356 361 363 376 383 386 a 7 8 18 20 22 23 29 33 34 35 40 43 45 46 47 48 49 51 52 55 57 58 61 64 65 67 68 69 73 77 86 88 91 93 94 97 104 110 113 119 121 125 126 129 134 135 137 139 141 142 143 144 145 149 152 153 154 159 160 163 172 179 181 183 188 189 192 194 195 198 203 206 208 209 211 212 213 214 216 218 219 221 224 230 232 234 235 236 241 243 248 254 257 265 266 272 274 276 278 280 283 284 285 294 296 303 304 307 309 310 312 315 318 320 324 326 329 330 331 333 334 336 338 343 344 347 356 361 363 376 383 386 a 7 8 18 20 22 23 29 33 34 35 40 43 45 46 47 48 49 51 52 55 57 58 61 64 65 67 68 69 73 77 86 88 91 93 94 97 104 110 113 119 121 125 126 129 134 135 137 139 141 142 143 144 145 149 152 153 154 159 160 163 172 179 181 183 188 189 192 194 195 198 203 206 208 209 211 212 213 214 216 218 219 221 224 230 232 234 235 236 241 243 248 254 257 265 266 272 274 276 278 280 283 284 285 294 296 303 304 307 309 310 312 315 320 323 324 326 329 330 331 333 334 336 338 343 344 347 356 361 363 376 383 386 a 7 8 18 20 22 23 29 33 34 35 40 43 45 46 47 48 49 51 52 55 57 58 61 64 65 67 68 69 73 77 86 88 91 93 94 97 104 110 113 119 121 125 126 129 134 135 137 139 141 142 143 144 149 152 153 154 159 160 163 172 179 181 183 188 189 190 192 194 195 198 203 206 208 209 211 212 213 214 216 218 219 221 224 230 232 234 235 236 241 243 248 254 257 265 266 272 274 276 278 280 283 284 285 294 296 303 304 307 309 310 312 315 320 323 324 326 329 330 331 333 334 336 338 343 344 347 356 361 363 376 383 386 a 7 8 18 20 22 23 29 33 34 35 38 40 43 45 46 47 48 49 51 52 55 57 58 61 64 65 67 68 69 73 77 86 88 91 93 94 97 104 110 113 119 121 125 126 129 134 135 137 139 141 142 143 144 149 152 153 154 159 160 163 172 179 181 183 188 189 190 192 194 195 198 203 206 208 209 211 212 213 214 216 218 219 221 224 230 232 234 236 241 243 248 254 257 265 266 272 274 276 278 280 283 284 285 294 296 303 304 307 309 310 312 315 320 323 324 326 329 330 331 333 334 336 338 343 344 347 356 361 363 376 383 386 a 7 8 18 20 22 23 29 33 34 35 38 40 43 45 46 47 48 49 51 52 55 57 58 61 64 65 67 68 69 73 77 86 88 91 93 94 97 104 110 113 119 121 125 126 129 134 135 137 139 141 142 143 144 149 152 153 154 159 160 163 172 179 181 182 183 188 189 190 192 194 195 198 203 206 208 209 211 212 213 216 218 219 221 224 230 232 234 236 241 243 248 254 257 265 266 272 274 276 278 280 283 284 285 294 296 303 304 307 309 310 312 315 320 323 324 326 329 330 331 333 334 336 338 343 344 347 356 361 363 376 383 386 a 7 8 18 20 22 23 29 33 34 35 38 40 43 45 46 47 48 49 51 52 55 57 58 61 64 65 67 68 69 73 77 86 88 91 93 94 97 104 109 110 113 119 121 125 126 129 134 135 137 139 141 142 143 144 149 152 153 154 159 160 163 172 179 181 182 183 188 189 190 192 194 195 198 203 206 208 209 211 212 213 218 219 221 224 230 232 234 236 241 243 248 254 257 265 266 272 274 276 278 280 283 284 285 294 296 303 304 307 309 310 312 315 320 323 324 326 329 330 331 333 334 336 338 343 344 347 356 361 363 376 383 386 a 7 8 18 20 22 23 26 29 33 34 35 38 40 43 45 46 47 48 49 51 52 57 58 61 64 65 67 68 69 73 77 86 88 91 93 94 97 104 109 110 113 119 121 125 126 129 134 135 137 139 141 142 143 144 149 152 153 154 159 160 163 172 179 181 182 183 188 189 190 192 194 195 198 203 206 208 209 211 212 213 218 219 221 224 230 232 234 236 241 243 248 254 257 265 266 272 274 276 278 280 283 284 285 294 296 303 304 307 309 310 312 315 320 323 324 326 329 330 331 333 334 336 338 343 344 347 356 361 363 376 383 386 a 7 8 11 18 20 22 23 26 29 33 34 35 38 40 43 45 46 47 48 49 51 52 57 58 61 64 65 67 68 69 73 77 86 88 91 93 94 97 104 109 110 113 119 121 125 126 129 134 135 137 139 141 142 143 144 149 152 153 154 159 160 163 172 179 181 182 183 188 189 190 192 194 195 198 203 206 208 209 211 212 213 218 219 221 224 230 232 234 236 241 243 248 257 265 266 272 274 276 278 280 283 284 285 294 296 303 304 307 309 310 312 315 320 323 324 326 329 330 331 333 334 336 338 343 344 347 356 361 363 376 383 386 a 7 8 11 18 20 22 23 26 29 33 34 35 38 40 43 45 46 47 48 49 51 52 57 58 61 64 65 67 68 69 73 77 86 88 91 93 94 97 104 109 110 113 119 121 125 126 129 134 135 137 139 141 142 143 144 149 152 153 154 159 160 163 172 179 181 182 183 188 189 190 192 194 195 198 203 206 208 209 211 212 213 218 219 221 224 230 232 234 236 241 243 248 257 265 266 272 274 276 278 280 283 284 285 294 296 300 303 304 307 309 310 312 315 323 324 326 329 330 331 333 334 336 338 343 344 347 356 361 363 376 383 386 c Step: 85 Command being timed: "python3 run_3.py --shortest /benchmark/random_instance/random_instance030_graph003.col /benchmark/random_instance/random_instance030_graph003_01.dat" User time (seconds): 5.47 System time (seconds): 0.15 Percent of CPU this job got: 99% Elapsed (wall clock) time (h:mm:ss or m:ss): 0:05.63 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): 147520 Average resident set size (kbytes): 0 Major (requiring I/O) page faults: 0 Minor (reclaiming a frame) page faults: 178468 Voluntary context switches: 16 Involuntary context switches: 24 Swaps: 0 File system inputs: 0 File system outputs: 576 Socket messages sent: 0 Socket messages received: 0 Signals delivered: 0 Page size (bytes): 4096 Exit status: 0 #END: [Tue Sep 26 03:23:28 2023]