#BEGIN: [Mon Sep 4 15:07:12 2023] #HOST: s13 #TIMELIMIT: 1800 #MEMLIMIT: 0 #SOLVER: shortest-wallclock-banbaralab2-shortest1 #INSTANCE1: /benchmark/random_instance/random_instance029_graph003.col #INSTANCE2: /benchmark/random_instance/random_instance029_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_instance029_graph003.col /benchmark/random_instance/random_instance029_graph003_01.dat c /benchmark/random_instance/random_instance029_graph003.col c /benchmark/random_instance/random_instance029_graph003_01.dat s 238 140 188 253 49 44 20 342 217 274 259 131 103 152 189 133 283 264 322 115 305 167 163 136 179 75 369 282 252 318 230 211 196 315 249 317 17 121 18 23 30 376 122 316 126 128 224 145 209 85 147 92 160 138 214 33 132 109 172 232 359 151 236 245 12 280 227 77 62 251 98 159 87 215 256 41 341 365 260 88 247 263 374 135 102 123 149 19 331 246 193 257 101 194 302 51 368 36 46 290 79 176 326 67 340 113 213 54 225 116 8 344 181 297 293 3 78 200 208 182 31 296 351 t 184 274 148 233 351 301 260 242 64 273 196 183 51 131 85 317 120 376 244 333 101 245 98 83 150 337 109 197 195 335 171 61 79 266 151 100 239 271 169 201 323 316 75 347 91 306 218 309 268 180 105 27 265 60 325 97 175 96 4 345 220 24 11 138 194 292 262 41 253 139 190 248 211 310 70 164 92 297 261 357 367 162 320 21 278 334 223 330 35 114 103 213 187 172 177 370 160 116 348 71 300 247 259 200 42 318 14 192 205 331 99 174 352 17 293 344 366 208 154 89 104 3 365 a YES a 3 8 12 17 18 19 20 23 30 31 33 36 41 44 46 49 51 54 62 67 75 77 78 79 85 87 88 92 98 101 102 103 109 113 115 116 121 122 123 126 128 131 132 133 135 136 138 140 145 147 149 151 152 159 160 163 167 172 176 179 181 182 188 189 193 194 196 200 208 209 211 213 214 215 217 224 225 227 230 232 236 238 245 246 247 249 251 252 253 256 257 259 260 263 264 274 280 282 283 290 293 296 297 302 305 315 316 317 318 322 326 331 340 341 342 344 351 359 365 368 369 374 376 a 3 8 12 17 18 19 20 23 30 31 33 36 41 44 46 49 51 54 62 67 75 77 78 79 85 87 88 92 98 101 102 103 109 113 115 116 121 122 123 126 128 131 132 133 135 136 138 140 145 147 149 151 152 159 160 163 167 172 176 179 181 182 188 189 193 194 195 196 200 208 209 211 213 214 215 217 224 225 227 230 232 236 238 245 246 247 249 251 252 253 256 257 259 260 263 264 274 280 282 283 290 293 296 297 302 315 316 317 318 322 326 331 340 341 342 344 351 359 365 368 369 374 376 a 3 8 12 17 18 19 20 23 30 31 33 36 41 44 46 49 51 54 62 67 75 77 78 79 85 87 88 92 98 101 102 103 109 113 115 116 121 122 123 126 128 131 132 133 135 136 138 140 145 147 149 151 152 159 160 163 167 172 176 179 181 182 188 189 193 194 195 196 200 208 209 211 213 214 215 217 224 225 227 230 232 236 238 245 246 247 249 251 252 253 256 257 259 260 263 264 274 280 282 283 290 293 297 302 315 316 317 318 322 326 331 340 341 342 344 351 359 365 366 368 369 374 376 a 3 8 12 17 18 19 20 30 31 33 36 41 44 46 49 51 54 62 67 75 77 78 79 85 87 88 92 98 101 102 103 109 113 115 116 121 122 123 126 128 131 132 133 135 136 138 140 145 147 149 151 152 159 160 163 167 172 176 179 181 182 188 189 193 194 195 196 200 208 209 211 213 214 215 217 218 224 225 227 230 232 236 238 245 246 247 249 251 252 253 256 257 259 260 263 264 274 280 282 283 290 293 297 302 315 316 317 318 322 326 331 340 341 342 344 351 359 365 366 368 369 374 376 a 3 8 12 17 18 19 20 30 31 33 36 41 44 46 49 51 54 62 67 71 75 77 78 79 85 87 88 92 98 101 102 103 109 113 115 116 121 122 123 126 128 131 132 133 135 136 138 145 147 149 151 152 159 160 163 167 172 176 179 181 182 188 189 193 194 195 196 200 208 209 211 213 214 215 217 218 224 225 227 230 232 236 238 245 246 247 249 251 252 253 256 257 259 260 263 264 274 280 282 283 290 293 297 302 315 316 317 318 322 326 331 340 341 342 344 351 359 365 366 368 369 374 376 a 3 8 12 17 18 19 20 30 31 33 36 41 44 46 49 51 54 62 67 71 75 77 78 79 85 87 88 92 98 101 102 103 109 113 115 116 121 122 123 126 128 131 132 133 135 136 138 145 147 149 151 152 159 160 163 167 172 176 179 181 182 188 189 193 194 195 196 200 208 209 211 213 214 215 217 218 224 225 227 232 236 238 245 246 247 249 251 252 253 256 257 259 260 263 264 274 280 282 283 290 293 297 302 315 316 317 318 322 326 330 331 340 341 342 344 351 359 365 366 368 369 374 376 a 3 8 12 17 18 19 20 30 31 33 36 41 44 46 49 51 54 62 67 71 75 77 78 79 85 87 88 92 98 101 102 103 109 113 115 116 121 122 123 126 128 131 132 133 135 136 138 145 147 149 151 152 159 160 163 167 172 176 179 181 182 188 189 193 194 195 196 200 208 209 211 213 214 215 217 218 224 225 227 232 236 238 245 246 247 249 251 252 253 256 257 259 260 263 264 274 280 282 283 290 293 297 302 315 316 317 318 326 330 331 334 340 341 342 344 351 359 365 366 368 369 374 376 a 3 8 12 17 18 19 20 30 31 33 36 41 44 46 49 51 54 62 67 71 75 77 78 79 85 87 88 92 98 101 102 103 109 113 115 116 121 122 123 126 128 131 132 133 135 136 138 145 147 149 151 152 159 160 163 167 172 176 179 181 182 188 189 193 194 195 196 200 208 209 211 213 214 215 217 218 224 227 232 236 238 245 246 247 249 251 252 253 256 257 259 260 263 264 273 274 280 282 283 290 293 297 302 315 316 317 318 326 330 331 334 340 341 342 344 351 359 365 366 368 369 374 376 a 3 8 12 17 18 19 20 30 31 33 36 41 44 46 49 51 54 62 67 71 75 77 78 79 85 87 88 92 98 101 102 103 109 113 115 116 121 122 123 126 128 131 132 133 135 136 138 145 147 149 151 152 159 160 163 167 172 176 179 181 182 188 189 193 194 195 196 200 205 208 209 211 213 214 215 217 218 224 227 232 236 238 245 246 247 249 251 252 253 256 257 259 260 263 264 273 274 282 283 290 293 297 302 315 316 317 318 326 330 331 334 340 341 342 344 351 359 365 366 368 369 374 376 a 3 8 12 17 18 19 20 30 31 33 36 41 44 46 49 51 54 62 67 71 75 77 78 79 85 87 88 92 98 101 102 103 109 113 116 121 122 123 126 128 131 132 133 135 136 138 145 147 149 151 152 159 160 163 167 172 176 179 181 182 188 189 193 194 195 196 200 205 208 209 211 213 214 215 217 218 223 224 227 232 236 238 245 246 247 249 251 252 253 256 257 259 260 263 264 273 274 282 283 290 293 297 302 315 316 317 318 326 330 331 334 340 341 342 344 351 359 365 366 368 369 374 376 a 3 8 12 17 18 19 20 30 31 33 36 41 44 46 49 51 54 62 67 71 75 77 78 79 85 87 88 92 98 100 101 102 103 109 116 121 122 123 126 128 131 132 133 135 136 138 145 147 149 151 152 159 160 163 167 172 176 179 181 182 188 189 193 194 195 196 200 205 208 209 211 213 214 215 217 218 223 224 227 232 236 238 245 246 247 249 251 252 253 256 257 259 260 263 264 273 274 282 283 290 293 297 302 315 316 317 318 326 330 331 334 340 341 342 344 351 359 365 366 368 369 374 376 a 3 8 12 17 18 19 20 30 31 36 41 44 46 49 51 54 62 67 71 75 77 78 79 85 87 88 92 98 100 101 102 103 109 116 121 122 123 126 128 131 132 133 135 136 138 145 147 149 151 152 159 160 163 167 172 176 179 180 181 182 188 189 193 194 195 196 200 205 208 209 211 213 214 215 217 218 223 224 227 232 236 238 245 246 247 249 251 252 253 256 257 259 260 263 264 273 274 282 283 290 293 297 302 315 316 317 318 326 330 331 334 340 341 342 344 351 359 365 366 368 369 374 376 a 3 8 12 17 18 19 20 31 36 41 44 46 49 51 54 62 67 71 75 77 78 79 85 87 88 92 98 100 101 102 103 109 116 121 122 123 126 128 131 132 133 135 136 138 145 147 149 151 152 159 160 163 167 172 176 179 180 181 182 188 189 193 194 195 196 197 200 205 208 209 211 213 214 215 217 218 223 224 227 232 236 238 245 246 247 249 251 252 253 256 257 259 260 263 264 273 274 282 283 290 293 297 302 315 316 317 318 326 330 331 334 340 341 342 344 351 359 365 366 368 369 374 376 a 3 8 12 17 18 19 20 31 36 41 44 46 49 51 54 62 67 71 75 77 78 79 85 87 88 92 98 100 101 102 103 109 116 121 122 123 126 128 131 132 133 135 136 138 145 147 151 152 159 160 163 167 172 176 179 180 181 182 188 189 193 194 195 196 197 200 205 208 209 211 213 214 215 217 218 223 224 227 232 236 238 245 246 247 249 251 252 253 256 257 259 260 263 264 273 274 282 283 290 293 297 302 315 316 317 318 326 330 331 334 340 341 342 344 351 359 365 366 367 368 369 374 376 a 3 8 12 17 18 19 20 31 36 41 44 46 49 51 54 62 67 71 75 77 78 79 85 87 88 92 98 100 101 102 103 109 116 121 122 123 126 128 131 132 133 135 136 138 145 147 151 152 159 160 163 167 172 176 179 180 181 182 188 189 193 194 195 196 197 200 205 208 209 211 213 214 215 217 218 223 224 227 232 236 238 245 246 247 249 251 252 253 257 259 260 263 264 273 274 282 283 290 293 297 302 315 316 317 318 326 330 331 334 340 341 342 344 351 352 359 365 366 367 368 369 374 376 a 3 8 12 17 18 19 20 31 36 41 44 46 49 51 54 62 67 71 75 77 78 79 85 87 88 92 97 98 100 101 102 103 109 116 121 122 123 126 128 131 132 135 136 138 145 147 151 152 159 160 163 167 172 176 179 180 181 182 188 189 193 194 195 196 197 200 205 208 209 211 213 214 215 217 218 223 224 227 232 236 238 245 246 247 249 251 252 253 257 259 260 263 264 273 274 282 283 290 293 297 302 315 316 317 318 326 330 331 334 340 341 342 344 351 352 359 365 366 367 368 369 374 376 a 3 8 12 17 18 19 20 31 36 41 44 46 49 51 54 62 67 71 75 77 78 79 85 87 88 92 97 98 100 101 102 103 109 116 121 122 123 126 128 131 132 135 136 138 145 147 151 152 159 160 163 167 172 176 179 180 181 182 188 189 193 194 195 196 197 200 205 208 209 211 213 214 215 217 218 220 223 224 227 232 236 238 245 246 247 249 252 253 257 259 260 263 264 273 274 282 283 290 293 297 302 315 316 317 318 326 330 331 334 340 341 342 344 351 352 359 365 366 367 368 369 374 376 a 3 8 12 17 18 19 20 31 36 41 44 46 51 54 62 67 71 75 77 78 79 83 85 87 88 92 97 98 100 101 102 103 109 116 121 122 123 126 128 131 132 135 136 138 145 147 151 152 159 160 163 167 172 176 179 180 181 182 188 189 193 194 195 196 197 200 205 208 209 211 213 214 215 217 218 220 223 224 227 232 236 238 245 246 247 249 252 253 257 259 260 263 264 273 274 282 283 290 293 297 302 315 316 317 318 326 330 331 334 340 341 342 344 351 352 359 365 366 367 368 369 374 376 a 3 8 12 17 18 19 20 31 36 41 44 46 51 54 62 67 71 75 77 78 79 83 85 87 88 92 97 98 100 101 102 103 109 116 121 122 123 126 128 131 132 135 136 138 145 147 151 152 160 163 167 172 176 179 180 181 182 188 189 193 194 195 196 197 200 205 208 209 211 213 214 215 217 218 220 223 224 227 232 236 238 245 246 247 249 252 253 257 259 260 261 263 264 273 274 282 283 290 293 297 302 315 316 317 318 326 330 331 334 340 341 342 344 351 352 359 365 366 367 368 369 374 376 a 3 8 12 17 18 19 20 31 41 42 44 46 51 54 62 67 71 75 77 78 79 83 85 87 88 92 97 98 100 101 102 103 109 116 121 122 123 126 128 131 132 135 136 138 145 147 151 152 160 163 167 172 176 179 180 181 182 188 189 193 194 195 196 197 200 205 208 209 211 213 214 215 217 218 220 223 224 227 232 236 238 245 246 247 249 252 253 257 259 260 261 263 264 273 274 282 283 290 293 297 302 315 316 317 318 326 330 331 334 340 341 342 344 351 352 359 365 366 367 368 369 374 376 a 3 8 12 17 18 19 20 31 41 42 44 46 51 54 62 67 71 75 77 78 79 83 85 87 88 92 97 98 100 101 102 103 109 116 121 122 123 126 128 131 132 135 136 138 145 147 148 151 152 160 163 167 172 176 179 180 181 182 188 193 194 195 196 197 200 205 208 209 211 213 214 215 217 218 220 223 224 227 232 236 238 245 246 247 249 252 253 257 259 260 261 263 264 273 274 282 283 290 293 297 302 315 316 317 318 326 330 331 334 340 341 342 344 351 352 359 365 366 367 368 369 374 376 a 3 8 12 17 18 19 20 31 41 42 44 46 51 54 62 67 71 75 77 78 79 83 85 87 88 92 97 98 100 101 102 103 109 116 121 122 123 126 128 131 132 135 136 138 145 147 148 151 152 160 163 167 172 176 179 180 181 182 187 193 194 195 196 197 200 205 208 209 211 213 214 215 217 218 220 223 224 227 232 236 238 245 246 247 249 252 253 257 259 260 261 263 264 273 274 282 283 290 293 297 302 315 316 317 318 326 330 331 334 340 341 342 344 351 352 359 365 366 367 368 369 374 376 a 3 8 12 17 18 19 20 31 41 42 44 46 51 54 62 67 71 75 77 78 79 83 85 87 88 92 97 98 100 101 102 103 104 109 116 121 122 123 126 128 131 132 135 136 138 145 147 148 151 152 160 163 167 172 176 179 180 181 182 187 193 194 195 196 197 200 205 208 209 211 213 214 215 217 218 220 223 224 227 232 236 238 245 246 247 249 252 253 257 259 260 261 263 264 273 274 282 283 290 293 297 302 316 317 318 326 330 331 334 340 341 342 344 351 352 359 365 366 367 368 369 374 376 a 3 8 12 17 18 19 20 31 41 42 44 46 51 54 62 67 71 75 77 78 79 83 85 87 88 92 97 98 100 101 102 103 104 109 116 121 122 123 126 128 131 132 135 136 138 145 147 148 151 152 160 163 164 167 172 176 179 180 181 182 187 193 194 195 196 197 200 205 208 209 211 213 214 215 217 218 220 223 224 227 232 236 238 245 246 247 249 252 253 257 259 260 261 263 264 273 274 282 283 290 293 297 302 316 317 318 326 330 331 334 340 341 342 344 351 352 359 365 366 367 368 369 376 a 3 8 12 17 18 19 20 31 41 42 44 46 51 54 62 67 71 75 77 78 79 83 85 87 88 92 97 98 100 101 102 103 104 109 116 121 122 123 126 128 131 132 135 136 138 145 147 148 151 152 160 163 164 167 172 176 179 180 181 182 187 193 194 195 196 197 200 205 208 209 211 213 214 215 217 218 220 223 224 227 232 236 238 245 246 247 248 249 252 253 257 259 260 261 263 273 274 282 283 290 293 297 302 316 317 318 326 330 331 334 340 341 342 344 351 352 359 365 366 367 368 369 376 a 3 8 12 17 18 19 20 31 41 42 44 46 51 54 62 67 71 75 77 78 79 83 85 87 88 92 97 98 100 101 102 103 104 109 116 121 122 123 126 128 131 132 135 136 138 145 147 148 151 160 163 164 167 172 176 179 180 181 182 187 193 194 195 196 197 200 205 208 209 211 213 214 215 217 218 220 223 224 227 232 236 238 245 246 247 248 249 252 253 257 259 260 261 263 273 274 282 283 290 293 297 300 302 316 317 318 326 330 331 334 340 341 342 344 351 352 359 365 366 367 368 369 376 a 3 8 12 17 18 19 20 31 41 42 44 46 51 54 62 67 71 75 77 78 79 83 85 87 88 92 97 98 100 101 102 103 104 109 116 121 122 123 126 128 131 132 135 136 138 145 147 148 151 160 163 164 167 172 179 180 181 182 184 187 193 194 195 196 197 200 205 208 209 211 213 214 215 217 218 220 223 224 227 232 236 238 245 246 247 248 249 252 253 257 259 260 261 263 273 274 282 283 290 293 297 300 302 316 317 318 326 330 331 334 340 341 342 344 351 352 359 365 366 367 368 369 376 a 3 8 12 17 18 19 20 31 41 42 44 46 51 54 62 67 71 75 77 78 79 83 85 87 88 92 97 98 100 101 102 103 104 109 116 121 122 123 126 128 131 132 135 136 138 145 147 148 151 160 163 164 167 172 179 180 181 182 184 187 193 194 195 196 197 200 205 208 209 211 213 214 215 217 218 220 223 224 227 232 236 238 245 247 248 249 252 253 257 259 260 261 263 273 274 282 283 290 293 297 300 302 316 317 318 325 326 330 331 334 340 341 342 344 351 352 359 365 366 367 368 369 376 a 3 4 8 12 17 18 19 20 31 41 42 44 46 51 54 62 67 71 75 77 78 79 83 85 87 88 92 97 98 100 101 102 103 104 109 116 121 122 123 126 128 131 132 135 136 138 145 147 148 151 160 163 164 167 172 179 180 181 182 184 187 193 194 195 196 197 200 205 208 211 213 214 215 217 218 220 223 224 227 232 236 238 245 247 248 249 252 253 257 259 260 261 263 273 274 282 283 290 293 297 300 302 316 317 318 325 326 330 331 334 340 341 342 344 351 352 359 365 366 367 368 369 376 a 3 4 8 12 17 18 19 20 31 41 42 44 46 51 54 62 67 71 75 77 78 79 83 85 87 88 91 92 97 98 100 101 102 103 104 109 116 121 122 123 126 128 131 132 135 136 138 145 148 151 160 163 164 167 172 179 180 181 182 184 187 193 194 195 196 197 200 205 208 211 213 214 215 217 218 220 223 224 227 232 236 238 245 247 248 249 252 253 257 259 260 261 263 273 274 282 283 290 293 297 300 302 316 317 318 325 326 330 331 334 340 341 342 344 351 352 359 365 366 367 368 369 376 a 3 4 8 12 17 18 19 20 31 41 42 44 46 51 54 62 67 71 75 77 78 79 83 85 87 88 91 92 97 98 99 100 101 102 103 104 109 116 121 122 123 126 128 131 132 135 136 138 145 148 151 160 163 164 167 172 179 180 181 182 184 187 193 194 195 196 197 200 205 208 211 213 214 215 217 218 220 223 224 227 232 236 238 245 247 248 249 252 253 257 259 260 261 263 273 274 282 283 290 293 297 300 302 316 317 318 325 326 330 331 334 340 342 344 351 352 359 365 366 367 368 369 376 a 3 4 8 12 17 18 19 20 31 41 42 44 46 51 54 62 67 71 75 77 78 79 83 85 87 88 91 92 97 98 99 100 101 102 103 104 109 116 121 122 123 126 128 131 132 135 136 138 145 148 151 160 163 164 172 179 180 181 182 184 187 193 194 195 196 197 200 201 205 208 211 213 214 215 217 218 220 223 224 227 232 236 238 245 247 248 249 252 253 257 259 260 261 263 273 274 282 283 290 293 297 300 302 316 317 318 325 326 330 331 334 340 342 344 351 352 359 365 366 367 368 369 376 a 3 4 8 12 17 18 19 20 31 41 42 44 46 51 54 67 71 75 77 78 79 83 85 87 88 91 92 97 98 99 100 101 102 103 104 109 116 121 122 123 126 128 131 132 135 136 138 145 148 151 160 163 164 172 179 180 181 182 184 187 193 194 195 196 197 200 201 205 208 211 213 214 215 217 218 220 223 224 227 232 236 238 245 247 248 249 252 253 257 259 260 261 263 273 274 282 283 290 293 297 300 302 310 316 317 318 325 326 330 331 334 340 342 344 351 352 359 365 366 367 368 369 376 a 3 4 8 12 17 18 19 20 31 41 42 44 46 51 54 67 71 75 77 78 79 83 85 87 88 91 92 97 98 99 100 101 102 103 104 109 116 121 122 123 126 128 131 132 135 136 138 145 148 151 160 163 164 172 179 180 181 182 184 187 193 194 195 196 197 200 201 205 208 211 213 214 215 217 218 220 223 224 227 232 236 238 245 247 248 249 252 253 257 259 260 261 263 273 274 282 283 290 293 297 300 302 310 316 317 318 325 326 330 331 334 335 340 342 344 351 352 359 365 366 367 369 376 a 3 4 8 11 12 17 18 19 20 31 41 42 44 46 51 54 67 71 75 77 78 79 83 85 87 88 91 92 97 98 99 100 101 102 103 104 109 116 121 122 123 126 128 131 132 135 136 138 145 148 151 160 163 164 172 179 180 181 182 184 187 193 194 195 196 197 200 201 205 208 211 213 214 215 217 218 220 223 224 227 232 236 238 245 247 248 249 252 253 259 260 261 263 273 274 282 283 290 293 297 300 302 310 316 317 318 325 326 330 331 334 335 340 342 344 351 352 359 365 366 367 369 376 a 3 4 8 11 12 17 18 19 20 31 41 42 44 46 51 54 67 71 75 77 78 79 83 85 87 88 91 92 97 98 99 100 101 102 103 104 109 116 121 122 123 126 128 131 132 135 136 138 145 148 151 160 163 164 172 179 180 181 182 184 187 193 194 195 196 197 200 201 205 208 211 213 214 215 217 218 220 223 224 227 232 236 238 245 247 248 249 252 253 259 260 261 263 273 274 282 283 290 293 297 300 302 310 316 317 318 325 330 331 334 335 340 342 344 348 351 352 359 365 366 367 369 376 a 3 4 8 11 12 17 18 19 20 31 41 42 44 46 51 54 67 71 75 77 78 79 83 85 87 88 91 92 97 98 99 100 101 102 103 104 109 116 122 123 126 128 131 132 135 136 138 145 148 151 160 163 164 172 179 180 181 182 184 187 193 194 195 196 197 200 201 205 208 211 213 214 215 217 218 220 223 224 227 232 236 238 242 245 247 248 249 252 253 259 260 261 263 273 274 282 283 290 293 297 300 302 310 316 317 318 325 330 331 334 335 340 342 344 348 351 352 359 365 366 367 369 376 a 3 4 8 11 12 17 18 19 20 31 41 42 44 46 51 54 67 71 75 77 78 79 83 85 87 88 91 92 97 98 99 100 101 102 103 104 109 116 122 123 126 128 131 132 135 136 138 145 148 151 160 163 164 172 179 180 181 182 184 187 193 194 195 196 197 200 201 205 208 211 213 214 215 217 218 220 223 224 227 236 238 242 245 247 248 249 252 253 259 260 261 263 273 274 282 283 290 293 297 300 302 310 316 317 318 320 325 330 331 334 335 340 342 344 348 351 352 359 365 366 367 369 376 a 3 4 8 11 12 17 18 19 20 31 41 42 44 46 51 54 67 71 75 77 78 79 83 85 87 88 91 92 97 98 99 100 101 102 103 104 109 116 122 123 126 128 131 132 135 136 138 145 148 151 160 163 164 172 179 180 181 182 184 187 192 193 194 195 196 197 200 201 205 208 211 213 214 215 218 220 223 224 227 236 238 242 245 247 248 249 252 253 259 260 261 263 273 274 282 283 290 293 297 300 302 310 316 317 318 320 325 330 331 334 335 340 342 344 348 351 352 359 365 366 367 369 376 a 3 4 8 11 12 17 18 19 20 31 41 42 44 46 51 54 67 71 75 77 78 79 83 85 87 88 91 92 97 98 99 100 101 102 103 104 109 116 122 123 128 131 132 135 136 138 145 148 151 160 163 164 172 179 180 181 182 183 184 187 192 193 194 195 196 197 200 201 205 208 211 213 214 215 218 220 223 224 227 236 238 242 245 247 248 249 252 253 259 260 261 263 273 274 282 283 290 293 297 300 302 310 316 317 318 320 325 330 331 334 335 340 342 344 348 351 352 359 365 366 367 369 376 a 3 4 8 11 12 17 18 19 20 41 42 44 46 51 54 67 71 75 77 78 79 83 85 87 88 91 92 97 98 99 100 101 102 103 104 109 114 116 122 123 128 131 132 135 136 138 145 148 151 160 163 164 172 179 180 181 182 183 184 187 192 193 194 195 196 197 200 201 205 208 211 213 214 215 218 220 223 224 227 236 238 242 245 247 248 249 252 253 259 260 261 263 273 274 282 283 290 293 297 300 302 310 316 317 318 320 325 330 331 334 335 340 342 344 348 351 352 359 365 366 367 369 376 a 3 4 8 11 12 17 18 19 20 41 42 44 46 51 67 71 75 77 78 79 83 85 87 88 91 92 97 98 99 100 101 102 103 104 109 114 116 122 123 128 131 132 135 136 138 145 148 151 160 163 164 172 179 180 181 182 183 184 187 192 193 194 195 196 197 200 201 205 208 211 213 214 215 218 220 223 224 227 236 238 242 245 247 248 249 252 253 259 260 261 263 273 274 282 283 290 293 297 300 301 302 310 316 317 318 320 325 330 331 334 335 340 342 344 348 351 352 359 365 366 367 369 376 a 3 4 8 11 12 17 18 19 20 41 42 44 46 51 67 71 75 77 78 79 83 85 87 88 91 92 97 98 99 100 101 102 103 104 109 114 116 122 123 128 131 132 135 136 138 145 148 151 160 163 164 172 179 180 181 182 183 184 187 192 193 194 195 196 197 200 201 205 208 211 213 214 215 218 220 223 224 227 236 238 242 245 247 248 249 252 253 259 260 261 263 265 273 274 282 290 293 297 300 301 302 310 316 317 318 320 325 330 331 334 335 340 342 344 348 351 352 359 365 366 367 369 376 a 3 4 8 11 12 17 18 19 20 41 42 44 46 51 67 71 75 77 78 79 83 85 87 88 91 92 97 98 99 100 101 102 103 104 109 114 116 122 123 128 131 132 135 136 138 145 148 151 160 163 164 172 179 180 182 183 184 187 192 193 194 195 196 197 200 201 205 208 211 213 214 215 218 220 223 224 227 236 238 242 245 247 248 249 252 253 259 260 261 263 265 273 274 282 290 292 293 297 300 301 302 310 316 317 318 320 325 330 331 334 335 340 342 344 348 351 352 359 365 366 367 369 376 a 3 4 8 11 12 17 18 19 20 41 42 44 46 51 67 70 71 75 77 78 79 83 85 87 88 91 92 97 98 99 100 101 102 103 104 109 114 116 122 123 128 131 132 135 136 138 145 148 151 160 163 164 172 179 180 182 183 184 187 192 193 194 195 196 197 200 201 205 208 211 213 214 215 218 220 223 224 227 236 238 242 245 247 248 249 252 253 259 260 261 263 265 273 274 282 290 292 293 297 300 301 302 310 316 317 318 320 325 330 331 334 335 340 342 344 348 351 352 365 366 367 369 376 a 3 4 8 11 12 17 18 19 20 41 42 44 46 51 67 70 71 75 77 78 79 83 85 87 88 91 92 97 98 99 100 101 102 103 104 109 114 116 122 128 131 132 135 136 138 145 148 151 160 163 164 172 179 180 182 183 184 187 192 193 194 195 196 197 200 201 205 208 211 213 214 215 218 220 223 224 227 236 238 242 245 247 248 249 252 253 259 260 261 263 265 273 274 282 290 292 293 297 300 301 302 310 316 317 318 320 325 330 331 334 335 340 342 344 348 351 352 357 365 366 367 369 376 a 3 4 8 11 12 17 18 19 20 41 42 44 46 51 67 70 71 75 77 78 79 83 85 87 88 91 92 97 98 99 100 101 102 103 104 109 114 116 122 128 131 132 135 136 138 145 148 151 160 162 163 164 172 179 180 182 183 184 187 192 193 194 195 196 197 200 201 205 208 211 213 214 215 218 220 223 224 227 236 238 242 245 247 248 252 253 259 260 261 263 265 273 274 282 290 292 293 297 300 301 302 310 316 317 318 320 325 330 331 334 335 340 342 344 348 351 352 357 365 366 367 369 376 a 3 4 8 11 12 17 18 19 20 35 41 42 44 46 51 67 70 71 75 77 78 79 83 85 87 88 91 92 97 98 99 100 101 102 103 104 109 114 116 122 128 131 132 135 136 138 145 148 151 160 162 163 164 172 179 180 182 183 184 187 192 193 194 195 196 197 200 201 205 208 211 213 214 215 218 220 223 224 227 236 238 242 245 247 248 252 253 259 260 261 265 273 274 282 290 292 293 297 300 301 302 310 316 317 318 320 325 330 331 334 335 340 342 344 348 351 352 357 365 366 367 369 376 a 3 4 8 11 12 17 18 19 20 21 35 41 42 44 46 51 67 70 71 75 77 78 79 83 85 87 88 91 92 97 98 99 100 101 102 103 104 109 114 116 122 128 131 132 135 136 138 148 151 160 162 163 164 172 179 180 182 183 184 187 192 193 194 195 196 197 200 201 205 208 211 213 214 215 218 220 223 224 227 236 238 242 245 247 248 252 253 259 260 261 265 273 274 282 290 292 293 297 300 301 302 310 316 317 318 320 325 330 331 334 335 340 342 344 348 351 352 357 365 366 367 369 376 a 3 4 8 11 12 17 18 19 20 21 35 41 42 44 46 51 67 70 71 75 77 78 79 83 85 87 88 89 91 92 97 98 99 100 101 102 103 104 109 114 116 122 128 131 132 135 138 148 151 160 162 163 164 172 179 180 182 183 184 187 192 193 194 195 196 197 200 201 205 208 211 213 214 215 218 220 223 224 227 236 238 242 245 247 248 252 253 259 260 261 265 273 274 282 290 292 293 297 300 301 302 310 316 317 318 320 325 330 331 334 335 340 342 344 348 351 352 357 365 366 367 369 376 a 3 4 8 11 12 17 18 19 20 21 35 41 42 44 46 51 67 70 71 75 77 78 79 83 85 87 88 89 91 92 97 98 99 100 101 102 103 104 105 109 114 116 122 128 131 132 135 138 148 151 160 162 163 164 172 179 180 182 183 184 187 192 193 194 195 196 197 200 201 205 208 211 213 215 218 220 223 224 227 236 238 242 245 247 248 252 253 259 260 261 265 273 274 282 290 292 293 297 300 301 302 310 316 317 318 320 325 330 331 334 335 340 342 344 348 351 352 357 365 366 367 369 376 a 3 4 8 11 12 17 18 19 20 21 35 41 42 44 46 51 67 70 71 75 77 78 79 83 85 87 88 89 91 92 97 98 99 100 101 102 103 104 105 109 114 116 122 128 131 132 135 138 148 151 160 162 163 164 172 179 180 182 183 184 187 192 193 194 195 196 197 200 201 205 208 211 213 215 218 220 223 224 227 236 238 242 245 247 248 252 253 259 260 261 265 266 273 274 282 292 293 297 300 301 302 310 316 317 318 320 325 330 331 334 335 340 342 344 348 351 352 357 365 366 367 369 376 a 3 4 8 11 12 17 18 19 20 21 35 41 42 44 46 51 67 70 71 75 77 78 79 83 85 87 88 89 91 92 97 98 99 100 101 102 103 104 105 109 114 116 122 128 131 132 135 138 148 151 160 162 163 164 172 179 180 182 183 184 187 192 193 194 195 196 197 200 201 205 208 211 213 215 218 220 223 224 227 236 238 242 245 247 248 252 253 259 260 261 265 266 273 274 282 292 293 297 300 301 309 310 316 317 318 320 325 330 331 334 335 340 342 344 348 351 352 357 365 366 367 369 376 a 3 4 8 11 12 17 18 19 20 21 35 41 42 44 46 51 67 70 71 75 77 78 79 83 85 87 88 89 91 92 97 98 99 100 101 102 103 104 105 109 114 116 122 128 131 132 135 138 148 151 160 162 163 164 172 179 180 182 183 184 187 192 193 194 195 196 197 200 201 205 208 211 213 218 220 223 224 227 236 238 242 245 247 248 252 253 259 260 261 265 266 273 274 282 292 293 297 300 301 309 310 316 317 318 320 323 325 330 331 334 335 340 342 344 348 351 352 357 365 366 367 369 376 a 3 4 8 11 12 17 18 19 20 21 35 41 42 44 46 51 70 71 75 77 78 79 83 85 87 88 89 91 92 97 98 99 100 101 102 103 104 105 109 114 116 122 128 131 132 135 138 148 151 160 162 163 164 172 179 180 182 183 184 187 192 193 194 195 196 197 200 201 205 208 211 213 218 220 223 224 227 236 238 242 244 245 247 248 252 253 259 260 261 265 266 273 274 282 292 293 297 300 301 309 310 316 317 318 320 323 325 330 331 334 335 340 342 344 348 351 352 357 365 366 367 369 376 a 3 4 8 11 12 17 18 19 20 21 35 41 42 44 46 51 70 71 75 77 78 79 83 85 87 88 89 91 92 97 98 99 100 101 102 103 104 105 109 114 116 122 128 131 132 135 138 139 148 151 160 162 163 164 172 180 182 183 184 187 192 193 194 195 196 197 200 201 205 208 211 213 218 220 223 224 227 236 238 242 244 245 247 248 252 253 259 260 261 265 266 273 274 282 292 293 297 300 301 309 310 316 317 318 320 323 325 330 331 334 335 340 342 344 348 351 352 357 365 366 367 369 376 a 3 4 8 11 12 17 18 19 20 21 35 41 42 44 46 51 70 71 75 77 78 79 83 85 87 88 89 91 92 97 98 99 100 101 102 103 104 105 109 114 116 122 128 131 132 135 138 139 148 151 160 162 163 164 172 180 182 183 184 187 192 194 195 196 197 200 201 205 208 211 213 218 220 223 224 227 236 238 242 244 245 247 248 252 253 259 260 261 265 266 273 274 278 282 292 293 297 300 301 309 310 316 317 318 320 323 325 330 331 334 335 340 342 344 348 351 352 357 365 366 367 369 376 a 3 4 8 11 12 17 18 19 20 21 35 41 42 44 46 51 70 71 75 77 78 79 83 85 87 88 89 91 92 97 98 99 100 101 102 103 104 105 109 114 116 122 128 131 132 135 138 139 148 151 160 162 163 164 172 180 182 183 184 187 192 194 195 196 197 200 201 205 208 211 213 218 220 223 224 233 236 238 242 244 245 247 248 252 253 259 260 261 265 266 273 274 278 282 292 293 297 300 301 309 310 316 317 318 320 323 325 330 331 334 335 340 342 344 348 351 352 357 365 366 367 369 376 a 3 4 8 11 12 17 18 19 20 21 35 41 42 44 46 51 70 71 75 77 78 79 83 85 87 88 89 91 92 97 98 99 100 101 102 103 104 105 109 114 116 122 128 131 132 138 139 148 151 160 162 163 164 172 180 182 183 184 187 190 192 194 195 196 197 200 201 205 208 211 213 218 220 223 224 233 236 238 242 244 245 247 248 252 253 259 260 261 265 266 273 274 278 282 292 293 297 300 301 309 310 316 317 318 320 323 325 330 331 334 335 340 342 344 348 351 352 357 365 366 367 369 376 a 3 4 8 11 12 17 18 19 20 21 35 41 42 44 46 51 70 71 75 77 78 79 83 85 87 88 89 91 92 97 98 99 100 101 102 103 104 105 109 114 116 120 122 128 131 132 138 139 148 151 160 162 163 164 172 180 183 184 187 190 192 194 195 196 197 200 201 205 208 211 213 218 220 223 224 233 236 238 242 244 245 247 248 252 253 259 260 261 265 266 273 274 278 282 292 293 297 300 301 309 310 316 317 318 320 323 325 330 331 334 335 340 342 344 348 351 352 357 365 366 367 369 376 a 3 4 8 11 12 17 18 19 20 21 35 41 42 44 46 51 70 71 75 77 78 79 83 85 87 88 89 91 92 97 98 99 100 101 102 103 104 105 109 114 116 120 122 128 131 132 138 139 148 151 160 162 163 164 172 177 180 183 184 187 190 192 194 195 196 197 200 201 205 208 211 213 218 220 223 233 236 238 242 244 245 247 248 252 253 259 260 261 265 266 273 274 278 282 292 293 297 300 301 309 310 316 317 318 320 323 325 330 331 334 335 340 342 344 348 351 352 357 365 366 367 369 376 a 3 4 8 11 12 17 18 19 20 21 35 41 42 44 51 70 71 75 77 78 79 83 85 87 88 89 91 92 97 98 99 100 101 102 103 104 105 109 114 116 120 122 128 131 132 138 139 148 151 154 160 162 163 164 172 177 180 183 184 187 190 192 194 195 196 197 200 201 205 208 211 213 218 220 223 233 236 238 242 244 245 247 248 252 253 259 260 261 265 266 273 274 278 282 292 293 297 300 301 309 310 316 317 318 320 323 325 330 331 334 335 340 342 344 348 351 352 357 365 366 367 369 376 a 3 4 8 11 12 17 18 19 20 21 35 41 42 44 51 64 70 71 75 78 79 83 85 87 88 89 91 92 97 98 99 100 101 102 103 104 105 109 114 116 120 122 128 131 132 138 139 148 151 154 160 162 163 164 172 177 180 183 184 187 190 192 194 195 196 197 200 201 205 208 211 213 218 220 223 233 236 238 242 244 245 247 248 252 253 259 260 261 265 266 273 274 278 282 292 293 297 300 301 309 310 316 317 318 320 323 325 330 331 334 335 340 342 344 348 351 352 357 365 366 367 369 376 a 3 4 8 11 12 17 19 20 21 35 41 42 44 51 60 64 70 71 75 78 79 83 85 87 88 89 91 92 97 98 99 100 101 102 103 104 105 109 114 116 120 122 128 131 132 138 139 148 151 154 160 162 163 164 172 177 180 183 184 187 190 192 194 195 196 197 200 201 205 208 211 213 218 220 223 233 236 238 242 244 245 247 248 252 253 259 260 261 265 266 273 274 278 282 292 293 297 300 301 309 310 316 317 318 320 323 325 330 331 334 335 340 342 344 348 351 352 357 365 366 367 369 376 a 3 4 8 11 12 17 19 20 21 35 41 42 44 51 60 64 70 71 75 78 79 83 85 87 88 89 91 92 97 98 99 100 101 102 103 104 105 109 114 116 120 122 128 131 132 138 139 148 151 154 160 162 163 164 172 177 180 183 184 187 190 192 194 195 196 197 200 201 205 208 211 213 218 220 223 233 236 238 242 244 245 247 248 252 253 259 260 261 265 266 273 274 278 282 292 293 297 300 301 309 310 316 317 318 320 323 325 330 331 334 335 340 342 344 345 348 351 352 357 365 366 367 376 a 3 4 8 11 12 17 19 20 21 35 41 42 44 51 60 64 70 71 75 78 79 83 85 87 88 89 91 92 97 98 99 100 101 102 103 104 105 109 114 116 120 122 128 131 132 138 139 148 151 154 160 162 164 172 177 180 183 184 187 190 192 194 195 196 197 200 201 205 208 211 213 218 220 223 233 236 238 242 244 245 247 248 252 253 259 260 261 265 266 271 273 274 278 282 292 293 297 300 301 309 310 316 317 318 320 323 325 330 331 334 335 340 342 344 345 348 351 352 357 365 366 367 376 a 3 4 8 11 12 17 19 20 21 27 35 41 42 44 51 60 64 70 71 75 78 79 83 85 87 88 89 91 92 97 98 99 100 101 103 104 105 109 114 116 120 122 128 131 132 138 139 148 151 154 160 162 164 172 177 180 183 184 187 190 192 194 195 196 197 200 201 205 208 211 213 218 220 223 233 236 238 242 244 245 247 248 252 253 259 260 261 265 266 271 273 274 278 282 292 293 297 300 301 309 310 316 317 318 320 323 325 330 331 334 335 340 342 344 345 348 351 352 357 365 366 367 376 a 3 4 11 12 17 19 20 21 27 35 41 42 44 51 60 64 70 71 75 78 79 83 85 87 88 89 91 92 97 98 99 100 101 103 104 105 109 114 116 120 122 128 131 132 138 139 148 151 154 160 162 164 172 177 180 183 184 187 190 192 194 195 196 197 200 201 205 208 211 213 218 220 223 233 236 238 242 244 245 247 248 252 253 259 260 261 265 266 268 271 273 274 278 282 292 293 297 300 301 309 310 316 317 318 320 323 325 330 331 334 335 340 342 344 345 348 351 352 357 365 366 367 376 a 3 4 11 12 17 19 20 21 27 35 41 42 44 51 60 64 70 71 75 78 79 83 85 87 88 89 91 92 97 98 99 100 101 103 104 105 109 114 116 120 122 128 131 138 139 148 151 154 160 162 164 172 174 177 180 183 184 187 190 192 194 195 196 197 200 201 205 208 211 213 218 220 223 233 236 238 242 244 245 247 248 252 253 259 260 261 265 266 268 271 273 274 278 282 292 293 297 300 301 309 310 316 317 318 320 323 325 330 331 334 335 340 342 344 345 348 351 352 357 365 366 367 376 a 3 4 11 12 17 19 20 21 27 35 41 42 44 51 60 64 70 71 75 78 79 83 85 87 88 89 91 92 97 98 99 100 101 103 104 105 109 114 116 120 122 131 138 139 148 151 154 160 162 164 172 174 177 180 183 184 187 190 192 194 195 196 197 200 201 205 208 211 213 218 220 223 233 236 238 242 244 245 247 248 252 253 259 260 261 262 265 266 268 271 273 274 278 282 292 293 297 300 301 309 310 316 317 318 320 323 325 330 331 334 335 340 342 344 345 348 351 352 357 365 366 367 376 a 3 4 11 12 17 19 20 21 27 35 41 42 51 60 64 70 71 75 78 79 83 85 87 88 89 91 92 97 98 99 100 101 103 104 105 109 114 116 120 122 131 138 139 148 151 154 160 162 164 172 174 177 180 183 184 187 190 192 194 195 196 197 200 201 205 208 211 213 218 220 223 233 236 238 242 244 245 247 248 252 253 259 260 261 262 265 266 268 271 273 274 278 282 292 293 297 300 301 309 310 316 317 318 320 323 325 330 331 334 335 340 342 344 345 348 351 352 357 365 366 367 370 376 a 3 4 11 12 17 19 20 21 27 35 41 42 51 60 64 70 71 75 78 79 83 85 87 88 89 91 92 97 98 99 100 101 103 104 105 109 114 116 120 122 131 138 139 148 151 154 160 162 164 172 174 177 180 183 184 187 190 192 194 195 196 197 200 201 205 208 211 213 218 220 223 233 238 242 244 245 247 248 252 253 259 260 261 262 265 266 268 271 273 274 278 282 292 293 297 300 301 309 310 316 317 318 320 323 325 330 331 334 335 337 340 342 344 345 348 351 352 357 365 366 367 370 376 a 3 4 11 12 17 19 21 27 35 41 42 51 60 64 70 71 75 78 79 83 85 87 88 89 91 92 97 98 99 100 101 103 104 105 109 114 116 120 122 131 138 139 148 151 154 160 162 164 172 174 177 180 183 184 187 190 192 194 195 196 197 200 201 205 208 211 213 218 220 223 233 238 242 244 245 247 248 252 253 259 260 261 262 265 266 268 271 273 274 278 282 292 293 297 300 301 309 310 316 317 318 320 323 325 330 331 334 335 337 340 342 344 345 347 348 351 352 357 365 366 367 370 376 a 3 4 11 12 17 19 21 27 35 41 42 51 60 64 70 71 75 78 79 83 85 87 88 89 91 92 97 98 99 100 101 103 104 105 109 114 116 120 122 131 138 139 148 151 154 160 162 164 171 172 174 177 180 183 184 187 190 192 194 195 196 197 200 201 205 208 211 213 218 220 223 233 242 244 245 247 248 252 253 259 260 261 262 265 266 268 271 273 274 278 282 292 293 297 300 301 309 310 316 317 318 320 323 325 330 331 334 335 337 340 342 344 345 347 348 351 352 357 365 366 367 370 376 a 3 4 11 12 17 21 27 35 41 42 51 60 64 70 71 75 78 79 83 85 87 88 89 91 92 97 98 99 100 101 103 104 105 109 114 116 120 122 131 138 139 148 151 154 160 162 164 171 172 174 177 180 183 184 187 190 192 194 195 196 197 200 201 205 208 211 213 218 220 223 233 242 244 245 247 248 252 253 259 260 261 262 265 266 268 271 273 274 278 282 292 293 297 300 301 309 310 316 317 318 320 323 325 330 331 333 334 335 337 340 342 344 345 347 348 351 352 357 365 366 367 370 376 a 3 4 11 12 17 21 27 35 41 42 51 60 64 70 71 75 78 79 83 85 87 88 89 91 92 96 97 98 99 100 101 103 104 105 109 114 116 120 122 131 138 139 148 151 154 160 162 164 171 172 174 177 180 183 184 187 190 192 194 195 196 197 200 201 205 208 211 213 218 220 223 233 242 244 245 247 248 252 253 259 260 261 262 265 266 268 271 273 274 278 282 292 293 297 300 301 309 310 316 317 318 320 323 325 330 331 333 334 335 337 342 344 345 347 348 351 352 357 365 366 367 370 376 a 3 4 11 12 17 21 27 35 41 42 51 60 64 70 71 75 78 79 83 85 88 89 91 92 96 97 98 99 100 101 103 104 105 109 114 116 120 122 131 138 139 148 151 154 160 162 164 171 172 174 175 177 180 183 184 187 190 192 194 195 196 197 200 201 205 208 211 213 218 220 223 233 242 244 245 247 248 252 253 259 260 261 262 265 266 268 271 273 274 278 282 292 293 297 300 301 309 310 316 317 318 320 323 325 330 331 333 334 335 337 342 344 345 347 348 351 352 357 365 366 367 370 376 a 3 4 11 12 17 21 27 35 41 42 51 60 64 70 71 75 78 79 83 85 88 89 91 92 96 97 98 99 100 101 103 104 105 109 114 116 120 131 138 139 148 151 154 160 162 164 171 172 174 175 177 180 183 184 187 190 192 194 195 196 197 200 201 205 208 211 213 218 220 223 233 239 242 244 245 247 248 252 253 259 260 261 262 265 266 268 271 273 274 278 282 292 293 297 300 301 309 310 316 317 318 320 323 325 330 331 333 334 335 337 342 344 345 347 348 351 352 357 365 366 367 370 376 a 3 4 11 12 17 21 27 35 41 42 51 60 64 70 71 75 78 79 83 85 89 91 92 96 97 98 99 100 101 103 104 105 109 114 116 120 131 138 139 148 151 154 160 162 164 171 172 174 175 177 180 183 184 187 190 192 194 195 196 197 200 201 205 208 211 213 218 220 223 233 239 242 244 245 247 248 252 253 259 260 261 262 265 266 268 271 273 274 278 282 292 293 297 300 301 306 309 310 316 317 318 320 323 325 330 331 333 334 335 337 342 344 345 347 348 351 352 357 365 366 367 370 376 a 3 4 11 12 17 21 24 27 35 41 42 51 60 64 70 71 75 78 79 83 85 89 91 92 96 97 98 99 100 101 103 104 105 109 114 116 120 131 138 139 148 151 154 160 162 164 171 172 174 175 177 180 183 184 187 190 192 194 195 196 197 200 201 205 208 211 213 218 220 223 233 239 242 244 245 247 248 252 253 259 260 261 262 265 266 268 271 273 274 278 282 292 293 297 300 301 306 309 310 316 317 318 320 323 325 330 331 333 334 335 337 344 345 347 348 351 352 357 365 366 367 370 376 a 3 4 11 12 17 21 24 27 35 41 42 51 60 64 70 71 75 79 83 85 89 91 92 96 97 98 99 100 101 103 104 105 109 114 116 120 131 138 139 148 151 154 160 162 164 169 171 172 174 175 177 180 183 184 187 190 192 194 195 196 197 200 201 205 208 211 213 218 220 223 233 239 242 244 245 247 248 252 253 259 260 261 262 265 266 268 271 273 274 278 282 292 293 297 300 301 306 309 310 316 317 318 320 323 325 330 331 333 334 335 337 344 345 347 348 351 352 357 365 366 367 370 376 a 3 4 11 12 17 21 24 27 35 41 42 51 60 61 64 70 71 75 79 83 85 89 91 92 96 97 98 99 100 101 103 104 105 109 114 116 120 131 138 139 148 151 154 160 162 164 169 171 172 174 175 177 180 183 184 187 190 192 194 195 196 197 200 201 205 208 211 213 218 220 223 233 239 242 244 245 247 248 253 259 260 261 262 265 266 268 271 273 274 278 282 292 293 297 300 301 306 309 310 316 317 318 320 323 325 330 331 333 334 335 337 344 345 347 348 351 352 357 365 366 367 370 376 a 3 4 11 14 17 21 24 27 35 41 42 51 60 61 64 70 71 75 79 83 85 89 91 92 96 97 98 99 100 101 103 104 105 109 114 116 120 131 138 139 148 151 154 160 162 164 169 171 172 174 175 177 180 183 184 187 190 192 194 195 196 197 200 201 205 208 211 213 218 220 223 233 239 242 244 245 247 248 253 259 260 261 262 265 266 268 271 273 274 278 282 292 293 297 300 301 306 309 310 316 317 318 320 323 325 330 331 333 334 335 337 344 345 347 348 351 352 357 365 366 367 370 376 a 3 4 11 14 17 21 24 27 35 41 42 51 60 61 64 70 71 75 79 83 85 89 91 92 96 97 98 99 100 101 103 104 105 109 114 116 120 131 138 139 148 150 151 154 160 162 164 169 171 172 174 175 177 180 183 184 187 190 192 194 195 196 197 200 201 205 208 211 213 218 220 223 233 239 242 244 245 247 248 253 259 260 261 262 265 266 268 271 273 274 278 292 293 297 300 301 306 309 310 316 317 318 320 323 325 330 331 333 334 335 337 344 345 347 348 351 352 357 365 366 367 370 376 c Step: 83 Command being timed: "python3 run_3.py --shortest /benchmark/random_instance/random_instance029_graph003.col /benchmark/random_instance/random_instance029_graph003_01.dat" User time (seconds): 3.21 System time (seconds): 0.17 Percent of CPU this job got: 99% Elapsed (wall clock) time (h:mm:ss or m:ss): 0:03.39 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): 137592 Average resident set size (kbytes): 0 Major (requiring I/O) page faults: 0 Minor (reclaiming a frame) page faults: 163328 Voluntary context switches: 17 Involuntary context switches: 21 Swaps: 0 File system inputs: 0 File system outputs: 520 Socket messages sent: 0 Socket messages received: 0 Signals delivered: 0 Page size (bytes): 4096 Exit status: 0 #END: [Mon Sep 4 15:07:16 2023]