#BEGIN: [Tue Sep 26 01:47:25 2023] #HOST: s15 #TIMELIMIT: 1800 #MEMLIMIT: 0 #SOLVER: existent-cpu-banbaralab2-existent3 #INSTANCE1: /benchmark/random_instance/random_instance025_graph005.col #INSTANCE2: /benchmark/random_instance/random_instance025_graph005_01.dat #COMMAND: docker run --cidfile /tmp/cid.txt --init --rm -t --ulimit cpu=1800 -v /home/share/benchmark/ISR-benchmark:/benchmark banbaralab2 --existent --na -t4 /benchmark/random_instance/random_instance025_graph005.col /benchmark/random_instance/random_instance025_graph005_01.dat c /benchmark/random_instance/random_instance025_graph005.col c /benchmark/random_instance/random_instance025_graph005_01.dat *** Info : (clingo): INTERRUPTED by signal! *** Info : (clingo): Sending shutdown signal... *** ERROR: (clingo): solving stopped by signal *** Info : (clingo): Shutdown completed in 0.000 seconds s 295 204 107 255 242 247 131 205 178 305 292 268 186 197 63 210 15 148 323 65 177 293 47 54 214 34 303 77 273 157 158 289 140 206 228 315 259 224 199 213 167 106 29 18 231 266 149 284 9 1 144 201 49 220 310 251 39 237 252 42 175 151 269 31 128 87 195 302 185 146 133 216 152 101 179 80 278 86 170 154 229 291 135 233 68 117 265 5 94 234 276 79 188 279 257 12 203 71 115 166 66 222 116 50 93 t 293 69 197 102 84 13 264 148 107 130 166 125 267 248 180 227 119 155 17 99 192 253 123 229 31 298 290 55 92 21 162 19 204 139 135 134 39 47 124 154 282 228 20 103 26 259 221 191 62 277 165 308 207 82 1 306 212 185 105 115 320 73 57 193 269 71 304 72 141 205 252 237 163 233 94 209 289 59 61 169 294 300 215 144 296 318 100 199 29 136 198 276 52 201 30 195 299 187 80 173 184 44 167 75 188 a YES a 1 5 9 12 15 18 29 31 34 39 42 47 49 50 54 63 65 66 68 71 77 79 80 86 87 93 94 101 106 107 115 116 117 128 131 133 135 140 144 146 148 149 151 152 154 157 158 166 167 170 175 177 178 179 185 186 188 195 197 199 201 203 204 205 206 210 213 214 216 220 222 224 228 229 231 233 234 237 242 247 251 252 255 257 259 265 266 268 269 273 276 278 279 284 289 291 292 293 295 302 303 305 310 315 323 a 1 5 9 12 15 18 29 31 34 39 42 47 49 50 54 63 65 66 68 71 77 79 80 86 87 93 94 101 106 107 115 116 117 128 131 133 135 144 146 148 149 151 152 154 157 158 166 167 170 175 177 178 179 185 186 188 195 197 199 201 203 204 205 206 210 213 214 216 220 222 224 228 229 231 233 234 237 242 247 251 252 255 257 259 265 266 268 269 273 276 278 279 284 289 291 292 293 295 302 303 305 307 310 315 323 a 1 5 9 12 15 18 29 31 34 39 42 47 49 50 54 63 65 66 68 71 77 79 80 86 87 93 94 98 101 106 107 115 116 117 128 131 133 135 144 146 148 149 151 152 154 157 158 166 167 170 175 177 178 179 185 186 188 195 197 199 201 203 204 205 206 210 213 214 216 220 222 224 228 229 231 233 234 237 242 247 251 252 255 257 259 265 266 268 273 276 278 279 284 289 291 292 293 295 302 303 305 307 310 315 323 a 1 5 9 12 15 18 29 31 34 39 42 47 49 50 54 63 65 66 68 71 77 79 80 86 87 93 94 98 101 106 107 115 116 117 128 131 133 135 144 146 148 149 151 152 154 157 158 166 167 170 175 177 178 179 185 186 188 195 197 199 201 203 204 205 206 210 213 214 216 220 222 224 228 229 231 233 234 237 242 247 251 252 255 257 259 265 266 273 276 278 279 280 284 289 291 292 293 295 302 303 305 307 310 315 323 a 1 5 9 12 15 18 29 31 34 39 42 47 49 50 54 63 65 66 68 71 77 79 80 86 87 93 94 98 101 106 107 115 116 117 128 131 133 135 140 144 146 148 149 151 152 154 157 158 166 167 170 175 177 178 179 185 186 188 195 197 199 201 203 204 205 206 210 213 214 216 220 222 224 228 229 231 233 234 237 242 247 251 252 255 257 259 265 266 273 276 278 279 280 284 289 291 292 293 295 302 303 305 310 315 323 a 1 5 9 12 15 18 29 31 34 39 42 47 49 50 54 63 65 66 68 71 77 79 80 86 87 93 94 101 106 107 115 116 117 128 131 133 135 140 144 146 148 149 151 152 154 157 158 166 167 170 175 177 178 179 185 186 188 195 197 199 201 203 204 205 206 210 213 214 216 220 222 224 228 229 231 233 234 237 242 247 251 252 255 257 259 265 266 269 273 276 278 279 280 284 289 291 292 293 295 302 303 305 310 315 323 a 1 5 9 12 15 18 29 31 34 39 42 47 49 50 54 63 65 66 68 71 77 79 80 86 87 93 94 101 106 107 115 116 117 128 131 133 135 140 144 146 148 149 151 152 154 157 158 166 167 170 175 177 178 179 185 186 188 195 197 199 201 203 204 205 206 210 213 214 216 220 222 224 229 231 233 234 237 242 247 251 252 255 257 259 265 266 269 270 273 276 278 279 280 284 289 291 292 293 295 302 303 305 310 315 323 a 1 5 9 12 15 18 29 31 34 39 42 47 49 50 54 63 65 66 68 71 77 80 86 87 93 94 101 106 107 115 116 117 128 131 133 135 140 144 146 148 149 151 152 154 157 158 166 167 170 175 177 178 179 185 186 188 195 197 199 201 203 204 205 206 210 212 213 214 216 220 222 224 229 231 233 234 237 242 247 251 252 255 257 259 265 266 269 270 273 276 278 279 280 284 289 291 292 293 295 302 303 305 310 315 323 a 1 5 9 12 15 18 29 31 34 39 42 47 49 50 54 63 65 66 68 71 77 80 86 87 93 94 101 106 107 115 116 117 128 131 133 135 144 146 148 149 151 152 154 157 158 166 167 170 175 177 178 179 185 186 188 195 197 199 201 203 204 205 206 210 212 213 214 216 220 222 224 229 231 233 234 237 242 247 248 251 252 255 257 259 265 266 269 270 273 276 278 279 280 284 289 291 292 293 295 302 303 305 310 315 323 a 1 5 9 12 15 18 29 31 34 39 42 47 49 50 54 63 65 66 68 71 77 80 86 87 93 94 101 106 107 115 116 117 128 131 133 135 144 146 148 149 151 152 154 157 158 166 167 170 175 177 178 179 185 186 188 195 197 199 201 203 204 205 206 210 212 213 214 216 220 222 224 229 231 233 234 237 242 247 248 251 252 255 257 259 265 266 268 269 270 273 276 278 279 284 289 291 292 293 295 302 303 305 310 315 323 a 1 5 9 12 15 18 29 31 34 39 42 47 49 50 54 63 65 66 68 71 77 80 86 87 93 94 98 101 106 107 115 116 117 128 131 133 135 144 146 148 149 151 152 154 157 158 166 167 170 175 177 178 179 185 186 188 195 197 199 201 203 204 205 206 210 212 213 214 216 220 222 224 229 231 233 234 237 242 247 248 251 252 255 257 259 265 266 268 270 273 276 278 279 284 289 291 292 293 295 302 303 305 310 315 323 a 1 5 9 12 15 18 29 31 34 39 42 47 49 50 54 63 65 66 68 71 77 80 86 87 93 94 98 101 106 107 115 116 117 128 131 133 135 144 146 148 149 151 152 154 157 158 166 167 170 175 177 178 179 185 186 188 195 197 199 201 203 204 205 206 210 211 212 213 214 216 220 222 229 231 233 234 237 242 247 248 251 252 255 257 259 265 266 268 270 273 276 278 279 284 289 291 292 293 295 302 303 305 310 315 323 a 1 5 9 12 15 18 29 31 34 39 42 47 49 50 54 63 65 66 68 71 77 80 86 87 93 94 98 101 106 107 115 116 117 128 131 133 135 144 146 148 149 151 152 154 157 158 166 167 170 175 177 178 179 185 188 195 197 199 201 203 204 205 206 210 211 212 213 214 216 220 222 229 231 233 234 237 242 247 248 251 252 255 257 259 262 265 266 268 270 273 276 278 279 284 289 291 292 293 295 302 303 305 310 315 323 a 1 5 9 12 15 18 29 31 34 39 42 47 49 50 54 63 65 66 68 71 77 80 86 87 93 94 98 101 106 107 115 116 117 128 131 133 135 144 146 148 149 151 152 154 157 166 167 170 175 177 178 179 185 188 195 197 199 201 203 204 205 206 210 211 212 213 214 216 220 222 224 229 231 233 234 237 242 247 248 251 252 255 257 259 262 265 266 268 270 273 276 278 279 284 289 291 292 293 295 302 303 305 310 315 323 a 1 5 9 12 15 18 29 31 34 39 42 47 49 50 54 63 65 66 68 71 77 80 86 87 93 94 98 101 106 107 115 116 117 128 131 133 135 144 148 149 151 152 154 157 166 167 170 175 177 178 179 185 188 195 197 199 201 203 204 205 206 210 211 212 213 214 216 220 222 224 229 231 233 234 237 242 244 247 248 251 252 255 257 259 262 265 266 268 270 273 276 278 279 284 289 291 292 293 295 302 303 305 310 315 323 a 1 5 9 12 15 18 29 31 34 39 42 47 49 50 54 63 65 66 68 71 77 80 86 87 93 94 97 98 101 106 107 115 116 117 128 131 133 135 144 148 149 151 152 154 157 166 167 170 175 177 178 179 185 188 195 197 199 201 203 204 205 206 210 211 212 213 214 216 220 222 229 231 233 234 237 242 244 247 248 251 252 255 257 259 262 265 266 268 270 273 276 278 279 284 289 291 292 293 295 302 303 305 310 315 323 a 1 5 9 12 15 18 29 31 34 39 42 47 49 50 54 65 66 68 71 77 80 86 87 93 94 97 98 101 106 107 115 116 117 128 131 133 135 144 148 149 151 152 154 157 158 166 167 170 175 177 178 179 185 188 195 197 199 201 203 204 205 206 210 211 212 213 214 216 220 222 229 231 233 234 237 242 244 247 248 251 252 255 257 259 262 265 266 268 270 273 276 278 279 284 289 291 292 293 295 302 303 305 310 315 323 a 1 5 9 12 15 18 29 31 34 39 42 47 49 50 54 65 66 71 77 80 86 87 93 94 97 98 101 106 107 115 116 117 128 131 133 135 144 148 149 151 152 154 157 158 166 167 170 175 177 178 179 185 188 195 197 199 201 203 204 205 206 210 211 212 213 214 216 220 222 229 231 233 234 237 242 244 247 248 251 252 255 257 259 262 265 266 268 270 273 276 278 279 284 289 291 292 293 295 302 303 305 307 310 315 323 a 1 5 9 12 15 18 29 31 34 39 42 47 49 50 54 65 66 71 77 80 86 87 93 94 97 98 101 106 107 115 116 117 128 131 133 135 144 148 149 151 152 154 157 158 166 167 170 172 175 177 179 185 188 195 197 199 201 203 204 205 206 210 211 212 213 214 216 220 222 229 231 233 234 237 242 244 247 248 251 252 255 257 259 262 265 266 268 270 273 276 278 279 284 289 291 292 293 295 302 303 305 307 310 315 323 a 1 5 9 12 15 18 29 31 34 39 42 47 49 50 54 59 65 71 77 80 86 87 93 94 97 98 101 106 107 115 116 117 128 131 133 135 144 148 149 151 152 154 157 158 166 167 170 172 175 177 179 185 188 195 197 199 201 203 204 205 206 210 211 212 213 214 216 220 222 229 231 233 234 237 242 244 247 248 251 252 255 257 259 262 265 266 268 270 273 276 278 279 284 289 291 292 293 295 302 303 305 307 310 315 323 a 1 5 9 12 15 18 29 31 34 39 42 47 49 50 54 59 65 71 77 80 86 87 93 94 97 98 101 106 107 115 116 117 128 131 133 135 144 148 149 151 152 154 157 158 166 167 170 172 175 177 179 185 186 188 195 197 199 201 203 204 205 206 210 211 212 213 214 216 220 222 229 231 233 234 237 242 244 247 248 251 252 255 257 259 265 266 268 270 273 276 278 279 284 289 291 292 293 295 302 303 305 307 310 315 323 a 1 5 9 12 15 18 29 31 34 39 42 47 49 50 54 59 63 65 71 77 80 86 87 93 94 97 101 106 107 115 116 117 128 131 133 135 144 148 149 151 152 154 157 158 166 167 170 172 175 177 179 185 186 188 195 197 199 201 203 204 205 206 210 211 212 213 214 216 220 222 229 231 233 234 237 242 244 247 248 251 252 255 257 259 265 266 268 270 273 276 278 279 284 289 291 292 293 295 302 303 305 307 310 315 323 a 1 5 9 12 15 18 29 31 34 39 42 47 49 50 54 59 63 65 71 77 80 86 87 93 94 97 101 106 107 115 116 117 128 131 133 135 144 148 149 151 152 154 157 158 166 167 170 172 175 177 179 185 188 195 197 199 201 203 204 205 206 210 211 212 213 214 216 220 222 229 231 233 234 237 242 244 247 248 251 252 255 257 259 265 266 268 270 273 276 278 279 284 289 291 292 293 295 302 303 305 307 308 310 315 323 a 1 5 9 12 15 18 29 31 34 39 42 47 49 50 54 59 63 65 71 77 80 86 87 93 94 97 101 106 107 115 116 117 128 131 133 135 144 148 149 151 152 154 157 158 166 167 170 175 177 179 185 188 195 197 199 201 203 204 205 206 210 211 212 213 214 216 220 222 229 231 233 234 237 242 244 247 248 251 252 255 257 259 262 265 266 268 270 273 276 278 279 284 289 291 292 293 295 302 303 305 307 308 310 315 323 a 1 5 9 12 15 18 29 31 34 39 42 47 49 50 54 59 63 65 71 77 80 86 87 93 94 97 101 106 107 115 116 117 128 131 133 135 144 148 149 151 152 154 157 158 166 167 170 175 177 178 179 185 188 195 197 199 201 203 204 205 206 210 211 212 213 214 216 220 222 229 231 233 234 237 242 244 247 248 251 252 255 257 259 262 265 266 268 270 273 276 278 279 284 289 291 292 293 295 302 303 305 307 310 315 323 a 1 5 9 12 15 18 29 31 34 39 42 47 49 50 54 59 63 65 71 77 80 86 87 93 94 97 101 106 107 115 116 117 128 131 133 135 144 146 148 149 151 152 154 157 158 166 167 170 175 177 178 179 185 188 195 197 199 201 203 204 205 206 210 211 212 213 214 216 220 222 229 231 233 234 237 242 247 248 251 252 255 257 259 262 265 266 268 270 273 276 278 279 284 289 291 292 293 295 302 303 305 307 310 315 323 a 1 5 9 12 15 18 29 31 34 39 42 47 49 50 54 63 65 68 71 77 80 86 87 93 94 97 101 106 107 115 116 117 128 131 133 135 144 146 148 149 151 152 154 157 158 166 167 170 175 177 178 179 185 188 195 197 199 201 203 204 205 206 210 211 212 213 214 216 220 222 229 231 233 234 237 242 247 248 251 252 255 257 259 262 265 266 268 270 273 276 278 279 284 289 291 292 293 295 302 303 305 307 310 315 323 a 1 5 9 12 15 18 29 31 34 39 42 47 49 50 54 63 65 66 68 71 77 80 86 87 93 94 97 101 106 107 115 116 117 128 131 133 135 144 148 149 151 152 154 157 158 166 167 170 175 177 178 179 185 188 195 197 199 201 203 204 205 206 210 211 212 213 214 216 220 222 229 231 233 234 237 242 247 248 251 252 255 257 259 262 265 266 268 270 273 276 278 279 284 289 291 292 293 295 302 303 305 307 310 315 323 a 1 5 9 12 15 18 29 31 34 39 42 47 49 50 54 63 65 66 68 71 77 80 86 87 93 94 97 101 106 107 115 116 117 128 131 133 135 144 148 149 151 152 154 157 158 166 167 170 175 177 178 179 185 186 188 195 197 199 201 203 204 205 206 210 211 212 213 214 216 220 222 229 231 233 234 237 242 247 248 251 252 255 257 259 265 266 268 270 273 276 278 279 284 289 291 292 293 295 302 303 305 307 310 315 323 a 1 5 9 12 15 18 29 31 34 39 42 47 49 50 54 63 65 66 68 71 77 80 86 87 93 94 97 101 106 107 115 116 117 128 131 133 135 144 148 149 151 152 153 154 157 158 166 167 170 175 177 178 179 185 186 188 197 199 201 203 204 205 206 210 211 212 213 214 216 220 222 229 231 233 234 237 242 247 248 251 252 255 257 259 265 266 268 270 273 276 278 279 284 289 291 292 293 295 302 303 305 307 310 315 323 a 1 5 9 12 15 18 29 31 34 39 42 47 49 50 54 63 65 66 68 71 77 80 86 87 93 94 97 101 106 107 115 116 117 128 131 133 135 144 146 148 149 151 152 153 154 157 158 166 170 175 177 178 179 185 186 188 197 199 201 203 204 205 206 210 211 212 213 214 216 220 222 229 231 233 234 237 242 247 248 251 252 255 257 259 265 266 268 270 273 276 278 279 284 289 291 292 293 295 302 303 305 307 310 315 323 a 1 5 9 12 15 18 29 31 34 39 42 47 49 50 54 63 65 66 68 71 77 80 86 87 93 94 97 98 101 106 107 115 116 117 128 133 135 144 146 148 149 151 152 153 154 157 158 166 170 175 177 178 179 185 186 188 197 199 201 203 204 205 206 210 211 212 213 214 216 220 222 229 231 233 234 237 242 247 248 251 252 255 257 259 265 266 268 270 273 276 278 279 284 289 291 292 293 295 302 303 305 307 310 315 323 a 1 5 9 12 14 15 18 29 31 34 39 42 47 49 50 54 63 65 66 68 71 77 80 86 87 93 94 97 98 101 106 107 115 116 117 128 133 135 144 146 148 149 151 152 153 157 158 166 170 175 177 178 179 185 186 188 197 199 201 203 204 205 206 210 211 212 213 214 216 220 222 229 231 233 234 237 242 247 248 251 252 255 257 259 265 266 268 270 273 276 278 279 284 289 291 292 293 295 302 303 305 307 310 315 323 a 1 5 9 12 14 15 18 29 31 34 39 42 47 49 50 54 63 65 66 68 71 77 80 86 87 93 94 97 98 101 106 107 115 116 117 128 133 135 144 146 148 149 151 152 157 158 166 170 175 177 178 179 185 186 188 196 197 199 201 203 204 205 206 210 211 212 213 214 216 220 222 229 231 233 234 237 242 247 248 251 252 255 257 259 265 266 268 270 273 276 278 279 284 289 291 292 293 295 302 303 305 307 310 315 323 a 1 5 12 14 15 18 29 31 34 39 42 47 49 50 54 62 63 65 66 68 71 77 80 86 87 93 94 97 98 101 106 107 115 116 117 128 133 135 144 146 148 149 151 152 157 158 166 170 175 177 178 179 185 186 188 196 197 199 201 203 204 205 206 210 211 212 213 214 216 220 222 229 231 233 234 237 242 247 248 251 252 255 257 259 265 266 268 270 273 276 278 279 284 289 291 292 293 295 302 303 305 307 310 315 323 a 1 5 12 14 15 18 29 31 34 39 42 47 49 50 54 62 63 65 66 68 71 77 80 86 87 93 94 97 98 101 106 107 115 116 117 128 133 135 144 146 148 149 151 152 157 158 166 170 175 177 178 179 185 186 188 196 197 199 201 203 204 205 206 210 211 212 213 214 216 220 222 229 231 233 234 237 242 247 248 251 252 255 257 259 265 266 270 273 276 278 279 280 284 289 291 292 293 295 302 303 305 307 310 315 323 a 1 5 12 15 18 29 31 34 39 42 47 49 50 54 62 63 65 66 68 71 77 80 86 87 93 94 97 98 101 106 107 115 116 117 128 133 135 144 146 148 149 151 152 157 158 166 167 170 175 177 178 179 185 186 188 196 197 199 201 203 204 205 206 210 211 212 213 214 216 220 222 229 231 233 234 237 242 247 248 251 252 255 257 259 265 266 270 273 276 278 279 280 284 289 291 292 293 295 302 303 305 307 310 315 323 a 1 5 12 15 18 29 31 34 39 42 47 49 50 54 62 63 65 66 68 71 77 80 86 87 93 94 97 98 101 106 107 115 116 117 128 133 135 144 148 149 151 152 157 158 166 167 170 175 177 178 179 185 186 188 196 197 199 201 203 204 205 206 210 211 212 213 214 216 220 222 229 231 233 234 237 242 244 247 248 251 252 255 257 259 265 266 270 273 276 278 279 280 284 289 291 292 293 295 302 303 305 307 310 315 323 a 1 5 12 15 18 29 31 34 39 42 47 49 50 54 62 63 65 66 68 71 77 80 86 87 93 94 97 98 101 106 107 115 116 117 128 131 133 135 144 148 149 151 152 157 158 166 167 170 175 177 178 179 185 186 188 197 199 201 203 204 205 206 210 211 212 213 214 216 220 222 229 231 233 234 237 242 244 247 248 251 252 255 257 259 265 266 270 273 276 278 279 280 284 289 291 292 293 295 302 303 305 307 310 315 323 a 1 5 12 15 18 29 31 34 39 42 47 49 50 54 62 63 65 66 68 71 77 80 86 87 93 94 97 98 101 106 107 115 116 117 128 131 133 135 144 148 149 151 152 157 158 166 167 170 175 177 178 179 185 186 188 195 197 199 201 204 205 206 210 211 212 213 214 216 220 222 229 231 233 234 237 242 244 247 248 251 252 255 257 259 265 266 270 273 276 278 279 280 284 289 291 292 293 295 302 303 305 307 310 315 323 a 1 5 12 15 18 29 31 34 39 42 47 49 50 54 62 63 65 66 68 71 77 80 86 87 93 94 97 98 101 106 107 115 116 117 128 131 133 135 141 144 148 149 151 157 158 166 167 170 175 177 178 179 185 186 188 195 197 199 201 204 205 206 210 211 212 213 214 216 220 222 229 231 233 234 237 242 244 247 248 251 252 255 257 259 265 266 270 273 276 278 279 280 284 289 291 292 293 295 302 303 305 307 310 315 323 a 1 5 12 15 18 29 31 34 39 42 47 49 50 54 62 63 65 66 71 77 80 86 87 93 94 97 98 101 106 107 115 116 117 128 131 133 135 141 144 148 149 151 157 158 166 167 170 175 177 178 179 185 186 188 195 197 199 201 204 205 206 210 211 212 213 214 216 220 222 229 231 233 234 237 242 244 247 248 251 252 255 257 259 265 266 270 273 276 278 279 280 284 289 291 292 293 295 302 303 305 307 308 310 315 323 a 1 5 12 15 18 29 31 34 39 42 47 49 50 54 62 63 65 66 71 77 80 86 87 93 94 97 98 101 106 107 115 116 117 128 131 133 135 141 144 148 149 151 157 158 166 167 170 175 177 178 179 185 186 188 195 197 199 201 204 205 206 210 211 212 213 214 216 220 222 229 231 233 234 237 242 244 247 248 251 252 255 257 259 265 266 268 270 273 276 278 279 284 289 291 292 293 295 302 303 305 307 308 310 315 323 a 1 5 12 15 18 29 31 34 39 42 47 49 50 54 62 63 65 66 71 77 80 86 87 93 94 97 98 101 106 107 115 116 117 128 131 133 135 141 144 148 149 151 157 158 166 167 170 171 175 177 178 179 185 186 188 195 197 199 201 204 205 206 210 211 212 213 214 216 220 222 229 231 233 234 237 242 244 247 248 251 252 255 257 259 265 266 268 270 273 276 278 279 284 289 291 292 293 295 302 303 305 307 308 310 315 a 1 5 12 15 18 29 31 34 39 42 47 49 50 54 62 63 65 66 71 77 80 86 87 93 94 97 98 101 106 107 115 116 117 128 131 133 135 141 144 148 149 151 157 158 166 167 170 171 175 177 178 179 185 186 188 195 197 199 201 204 205 206 210 211 212 213 214 216 220 222 228 229 231 233 234 237 242 244 247 248 251 252 255 257 259 265 266 268 273 276 278 279 284 289 291 292 293 295 302 303 305 307 308 310 315 a 1 5 12 15 18 29 31 34 39 42 47 49 50 54 62 63 65 66 71 77 80 86 87 93 94 97 98 101 106 107 115 116 117 128 131 133 135 141 144 148 149 151 154 157 158 166 167 170 171 175 177 178 179 185 186 188 195 197 199 201 204 205 206 210 211 212 213 214 216 220 222 228 229 231 233 234 237 242 244 247 248 251 252 255 257 259 265 266 268 273 276 278 279 284 289 291 292 293 295 302 303 305 307 308 315 a 1 5 12 15 18 29 31 34 39 42 47 49 50 54 62 63 65 66 71 77 80 86 87 93 94 97 98 101 106 107 115 116 117 128 131 133 135 141 144 148 149 151 154 157 158 166 167 170 171 175 177 178 179 185 186 188 195 197 199 201 203 204 205 206 210 211 212 213 214 216 220 222 228 229 231 233 234 237 242 244 247 248 251 252 255 257 259 265 266 268 273 276 278 279 284 289 292 293 295 302 303 305 307 308 315 a 1 5 12 15 29 31 34 39 42 47 49 50 54 62 63 65 66 71 77 80 86 87 93 94 97 98 101 106 107 115 116 117 128 131 133 135 141 144 148 149 151 154 157 158 166 167 170 171 173 175 177 178 179 185 186 188 195 197 199 201 203 204 205 206 210 211 212 213 214 216 220 222 228 229 231 233 234 237 242 244 247 248 251 252 255 257 259 265 266 268 273 276 278 279 284 289 292 293 295 302 303 305 307 308 315 a 1 5 12 15 29 31 34 39 42 47 49 50 54 62 63 65 66 71 77 80 86 87 93 94 97 98 101 106 107 115 116 117 128 131 133 135 141 144 148 149 151 154 157 158 166 167 170 171 173 175 177 178 179 185 186 188 195 197 199 201 203 204 205 206 210 211 212 213 214 216 220 222 228 229 231 233 234 237 242 244 247 248 251 252 255 257 259 265 266 268 273 276 278 279 284 289 291 292 293 295 302 303 305 307 308 a 1 5 12 15 29 31 34 38 39 42 47 49 50 54 62 63 65 66 71 77 80 86 87 93 94 97 98 101 106 107 115 116 117 128 131 133 135 141 144 148 149 151 154 157 158 166 167 170 171 173 177 178 179 185 186 188 195 197 199 201 203 204 205 206 210 211 212 213 214 216 220 222 228 229 231 233 234 237 242 244 247 248 251 252 255 257 259 265 266 268 273 276 278 279 284 289 291 292 293 295 302 303 305 307 308 a 1 5 12 15 29 31 34 38 39 42 47 49 50 54 62 63 65 66 71 77 80 86 87 93 94 98 101 106 107 115 116 117 128 131 133 135 141 144 148 149 151 154 157 158 166 167 170 171 173 177 178 179 185 186 188 195 197 199 201 203 204 205 206 210 211 212 213 214 216 220 222 224 228 229 231 233 234 237 242 244 247 248 251 252 255 257 259 265 266 268 273 276 278 279 284 289 291 292 293 295 302 303 305 307 308 a 1 5 12 15 29 31 34 38 39 42 47 49 50 54 62 63 65 66 71 77 80 86 87 93 94 98 101 106 107 115 116 117 128 131 133 135 141 144 148 149 151 154 157 158 166 167 170 171 173 177 178 179 185 186 188 195 197 199 201 203 204 205 206 210 211 212 213 214 216 220 222 224 228 229 231 233 234 237 242 244 247 248 251 252 255 257 259 265 266 268 273 276 278 279 284 289 291 292 293 295 302 303 305 307 315 a 1 5 12 15 29 31 34 38 39 42 47 49 50 54 62 63 65 66 71 77 80 86 87 93 94 98 101 106 107 115 116 117 128 131 133 135 141 144 147 148 149 151 154 157 158 166 167 170 171 173 177 178 179 185 186 188 195 197 199 201 203 204 205 206 210 211 212 213 216 220 222 224 228 229 231 233 234 237 242 244 247 248 251 252 255 257 259 265 266 268 273 276 278 279 284 289 291 292 293 295 302 303 305 307 315 a 1 5 12 15 29 31 34 38 39 42 47 49 50 54 62 63 65 66 71 77 80 86 87 93 94 98 101 106 107 115 116 117 128 131 133 135 144 147 148 149 151 152 154 157 158 166 167 170 171 173 177 178 179 185 186 188 195 197 199 201 203 204 205 206 210 211 212 213 216 220 222 224 228 229 231 233 234 237 242 244 247 248 251 252 255 257 259 265 266 268 273 276 278 279 284 289 291 292 293 295 302 303 305 307 315 a 1 5 12 15 29 31 34 38 39 42 44 47 49 50 54 62 63 65 66 71 77 80 86 87 93 94 98 101 106 107 115 116 117 128 131 133 135 144 147 148 149 151 152 154 157 158 166 167 170 171 173 177 178 179 185 186 188 195 197 199 201 203 204 205 206 210 211 212 213 216 220 222 224 228 229 231 233 234 237 242 244 247 248 251 252 255 257 259 265 266 268 273 276 278 279 284 289 291 292 293 302 303 305 307 315 a 1 5 12 15 29 31 34 38 39 42 44 47 49 50 54 62 63 65 66 71 77 80 86 87 93 94 98 101 106 107 115 116 117 128 131 133 135 144 147 148 149 151 152 153 154 157 158 166 167 170 171 173 177 178 179 185 186 188 197 199 201 203 204 205 206 210 211 212 213 216 220 222 224 228 229 231 233 234 237 242 244 247 248 251 252 255 257 259 265 266 268 273 276 278 279 284 289 291 292 293 302 303 305 307 315 a 1 5 12 15 29 31 34 38 39 41 42 44 47 49 50 54 62 63 65 66 71 77 80 86 87 93 94 98 101 106 115 116 117 128 131 133 135 144 147 148 149 151 152 153 154 157 158 166 167 170 171 173 177 178 179 185 186 188 197 199 201 203 204 205 206 210 211 212 213 216 220 222 224 228 229 231 233 234 237 242 244 247 248 251 252 255 257 259 265 266 268 273 276 278 279 284 289 291 292 293 302 303 305 307 315 a 1 5 12 15 29 31 34 38 39 41 42 44 47 49 50 54 62 63 65 66 71 77 80 86 87 93 94 98 101 106 115 116 117 128 131 133 135 144 147 148 149 151 152 153 154 157 158 166 167 170 171 173 177 178 179 185 186 188 197 199 201 203 204 205 206 210 211 212 213 216 220 222 224 229 231 233 234 237 242 244 247 248 251 252 255 257 259 265 266 268 270 273 276 278 279 284 289 291 292 293 302 303 305 307 315 a 1 5 12 15 29 31 34 38 39 41 42 44 47 49 50 54 62 63 65 66 71 77 80 86 87 93 94 98 101 106 115 116 117 128 131 133 135 144 147 148 149 151 152 153 154 157 158 159 166 167 170 171 173 177 178 179 185 186 188 197 199 201 203 204 205 206 210 211 212 213 216 220 222 224 229 231 233 234 237 242 244 247 248 251 252 255 257 259 265 266 268 270 273 276 278 279 284 289 291 292 293 302 305 307 315 a 1 5 12 15 29 31 34 38 39 41 42 44 47 49 50 54 62 63 65 66 71 77 80 86 87 93 94 98 101 106 115 116 117 128 131 133 135 141 144 147 148 149 151 153 154 157 158 159 166 167 170 171 173 177 178 179 185 186 188 197 199 201 203 204 205 206 210 211 212 213 216 220 222 224 229 231 233 234 237 242 244 247 248 251 252 255 257 259 265 266 268 270 273 276 278 279 284 289 291 292 293 302 305 307 315 a 1 5 12 15 29 31 34 38 39 41 42 44 47 49 50 54 62 63 65 66 71 77 80 86 87 93 94 98 101 106 115 116 117 128 131 133 135 141 144 147 148 149 151 153 154 157 158 159 166 167 170 171 173 177 178 179 185 186 188 197 199 201 203 204 205 206 210 211 212 213 216 220 222 224 228 229 231 233 234 237 242 244 247 248 251 252 255 257 259 265 266 268 273 276 278 279 284 289 291 292 293 302 305 307 315 a 1 5 12 15 29 31 34 38 39 41 42 44 47 49 50 54 62 63 65 66 71 77 80 86 87 93 94 98 99 106 115 116 117 128 131 133 135 141 144 147 148 149 151 153 154 157 158 159 166 167 170 171 173 177 178 179 185 186 188 197 199 201 203 204 205 206 210 211 212 213 216 220 222 224 228 229 231 233 234 237 242 244 247 248 251 252 255 257 259 265 266 268 273 276 278 279 284 289 291 292 293 302 305 307 315 a 1 5 12 15 29 31 34 38 39 41 42 44 47 49 50 54 62 63 65 66 71 80 86 87 93 94 98 99 106 115 116 117 128 131 133 135 141 144 147 148 149 151 153 154 157 158 159 166 167 170 171 173 177 178 179 185 186 188 197 199 201 203 204 205 206 210 211 212 213 216 220 222 224 228 229 231 233 234 237 242 244 247 248 251 252 255 257 259 265 266 268 273 276 278 279 284 289 291 292 293 296 302 305 307 315 a 1 5 12 15 29 31 34 38 39 41 42 44 47 49 50 54 62 63 65 66 71 80 86 87 93 94 98 99 106 115 116 117 128 131 133 135 136 141 144 147 148 149 151 153 154 157 158 159 166 167 170 171 173 177 178 179 185 186 188 197 199 201 203 204 205 206 210 211 212 213 216 220 222 224 228 229 231 233 234 237 242 244 247 248 251 252 255 257 259 265 266 268 273 276 278 279 284 289 291 292 293 296 302 305 307 a 1 5 12 15 29 31 34 38 39 41 42 44 47 49 50 54 62 63 65 66 71 80 84 86 87 93 94 98 99 106 115 116 117 128 131 133 135 136 141 144 147 148 149 151 153 154 157 158 159 166 167 170 171 173 177 179 185 186 188 197 199 201 203 204 205 206 210 211 212 213 216 220 222 224 228 229 231 233 234 237 242 244 247 248 251 252 255 257 259 265 266 268 273 276 278 279 284 289 291 292 293 296 302 305 307 a 1 5 12 15 29 31 34 38 39 41 42 44 47 49 50 54 62 63 65 66 71 80 84 86 87 93 94 98 99 105 106 115 116 117 128 131 133 135 136 141 144 147 148 149 151 153 154 157 158 159 166 167 170 171 173 177 179 185 186 188 197 199 201 203 204 205 206 210 211 212 216 220 222 224 228 229 231 233 234 237 242 244 247 248 251 252 255 257 259 265 266 268 273 276 278 279 284 289 291 292 293 296 302 305 307 a 1 5 12 15 29 31 34 38 39 41 42 44 47 49 50 54 62 63 65 66 69 71 80 84 86 87 93 94 98 99 105 106 115 116 117 128 131 133 135 136 141 144 147 148 149 151 153 154 157 158 159 166 167 170 171 173 177 179 185 186 188 197 199 201 203 204 205 206 210 211 212 216 220 222 224 228 229 231 233 234 237 242 244 247 248 251 252 255 257 259 265 266 268 273 276 278 279 284 289 291 293 296 302 305 307 a 1 5 12 15 29 31 34 38 39 41 42 44 47 49 50 54 62 63 65 66 69 71 80 84 86 87 93 94 98 99 105 106 115 116 117 119 128 131 133 135 136 141 144 147 148 149 151 153 154 157 158 159 166 167 170 171 173 177 179 185 186 188 197 199 201 203 204 205 206 210 211 212 216 220 222 224 228 229 231 233 234 237 242 244 247 248 251 252 255 257 259 265 266 268 273 276 278 284 289 291 293 296 302 305 307 a 1 5 12 15 29 31 34 38 39 41 42 44 47 49 50 54 62 63 65 66 69 71 80 84 86 87 93 94 98 99 105 106 115 116 117 119 128 131 133 135 136 141 144 147 148 149 151 153 154 157 158 166 167 170 171 173 177 179 185 186 188 197 199 201 203 204 205 206 210 211 212 216 220 222 224 228 229 231 233 234 237 242 244 247 248 251 252 255 257 259 265 266 268 273 276 278 284 289 291 293 296 302 305 307 318 a 1 5 12 15 29 31 34 38 39 41 42 44 47 50 54 62 63 65 66 69 71 80 84 86 87 93 94 98 99 100 105 106 115 116 117 119 128 131 133 135 136 141 144 147 148 149 151 153 154 157 158 166 167 170 171 173 177 179 185 186 188 197 199 201 203 204 205 206 210 211 212 216 220 222 224 228 229 231 233 234 237 242 244 247 248 251 252 255 257 259 265 266 268 273 276 278 284 289 291 293 296 302 305 307 318 a 1 5 12 15 26 29 31 34 38 39 41 42 44 47 50 54 62 63 65 66 69 71 80 84 86 87 93 94 98 99 100 105 106 115 116 117 119 128 131 133 135 136 141 144 147 148 149 151 153 154 157 158 166 167 170 171 173 177 179 185 186 188 197 199 201 203 204 205 206 210 211 212 216 220 222 224 228 229 231 233 234 237 242 244 247 248 251 252 255 257 259 265 266 273 276 278 284 289 291 293 296 302 305 307 318 a 1 5 12 15 26 29 31 34 38 39 42 44 47 50 54 62 63 65 66 69 71 80 84 86 87 93 94 98 99 100 105 106 107 115 116 117 119 128 131 133 135 136 141 144 147 148 149 151 153 154 157 158 166 167 170 171 173 177 179 185 186 188 197 199 201 203 204 205 206 210 211 212 216 220 222 224 228 229 231 233 234 237 242 244 247 248 251 252 255 257 259 265 266 273 276 278 284 289 291 293 296 302 305 307 318 a 1 5 12 15 26 29 31 34 38 39 42 44 47 50 54 62 63 65 66 69 71 80 84 86 87 93 94 98 99 100 105 106 107 115 116 117 119 128 131 133 135 136 141 144 147 148 149 151 153 154 157 158 166 167 170 171 173 177 179 185 186 188 197 199 201 203 204 205 206 210 211 212 216 220 222 224 228 229 231 233 234 237 242 247 248 251 252 255 257 259 265 266 273 276 278 284 289 291 293 294 296 302 305 307 318 a 1 5 12 15 26 29 31 38 39 42 44 47 50 54 62 63 65 66 69 71 80 84 86 87 93 94 98 99 100 105 106 107 115 116 117 119 128 131 133 135 136 141 144 147 148 149 151 153 154 157 158 166 167 170 171 173 177 179 185 186 188 197 199 201 203 204 205 206 210 211 212 216 220 222 224 227 228 229 231 233 234 237 242 247 248 251 252 255 257 259 265 266 273 276 278 284 289 291 293 294 296 302 305 307 318 a 1 5 12 15 26 29 31 38 39 42 44 47 50 54 62 63 65 66 69 71 80 84 86 87 93 94 98 99 100 105 106 107 115 116 117 119 128 131 133 135 136 141 144 147 148 149 151 154 157 158 166 167 170 171 173 177 179 185 186 188 197 199 201 203 204 205 206 210 211 212 216 220 222 224 227 228 229 231 233 234 237 242 247 248 251 252 255 257 259 265 266 273 276 278 284 289 291 293 294 296 302 305 307 308 318 a 1 5 12 15 26 29 31 38 39 42 44 47 50 54 62 63 65 66 69 71 80 84 86 87 93 94 98 99 100 105 106 107 115 116 117 119 128 131 133 135 136 141 144 147 148 149 151 154 157 158 166 167 170 171 173 177 179 185 186 188 197 199 201 203 204 205 206 210 211 212 216 220 224 227 228 229 231 233 234 237 242 247 248 251 252 255 257 259 265 266 273 276 278 284 289 291 293 294 296 302 305 306 307 308 318 a 1 5 12 15 26 29 31 38 39 42 44 47 50 54 62 63 65 66 69 71 80 84 86 87 93 94 98 99 100 105 106 107 115 116 117 119 128 131 133 135 136 141 144 147 148 149 151 154 157 158 166 167 170 171 173 177 179 185 186 188 197 199 201 203 204 205 206 210 211 212 216 220 224 227 228 229 231 233 234 237 242 247 248 251 252 255 257 259 265 266 276 278 284 289 291 293 294 296 298 302 305 306 307 308 318 a 1 5 12 15 26 29 31 38 39 42 44 47 50 54 62 63 65 66 69 71 80 84 86 87 93 94 98 99 100 105 106 107 115 116 117 119 128 131 133 135 136 141 144 147 148 149 151 154 157 158 166 167 170 171 173 177 179 185 186 188 195 197 199 201 203 204 205 206 210 211 212 216 220 224 227 228 229 231 233 234 237 242 247 248 251 252 255 257 259 265 266 276 278 284 289 293 294 296 298 302 305 306 307 308 318 a 1 5 12 13 15 26 29 31 38 39 42 44 47 50 54 62 63 65 66 69 71 80 84 86 87 93 94 98 99 100 105 106 107 115 116 117 119 128 131 133 135 136 141 144 147 148 149 151 154 157 158 166 167 170 171 173 177 179 185 186 188 195 197 199 201 203 204 205 206 210 211 212 216 220 224 227 228 229 231 233 234 237 242 247 248 251 252 255 257 259 266 276 278 284 289 293 294 296 298 302 305 306 307 308 318 a 1 5 12 13 15 20 26 29 31 38 39 42 44 47 50 54 62 63 65 66 69 71 80 84 86 87 93 94 98 99 100 105 106 107 115 116 117 119 128 131 133 135 136 141 144 147 148 149 151 154 158 166 167 170 171 173 177 179 185 186 188 195 197 199 201 203 204 205 206 210 211 212 216 220 224 227 228 229 231 233 234 237 242 247 248 251 252 255 257 259 266 276 278 284 289 293 294 296 298 302 305 306 307 308 318 a 1 5 12 13 15 20 26 29 31 38 39 42 44 47 50 54 62 63 65 66 69 71 80 84 86 87 93 94 98 99 100 105 106 107 115 116 117 119 128 131 133 135 136 141 144 147 148 149 151 154 155 158 166 167 170 171 173 177 179 185 186 188 195 197 199 201 203 204 205 206 210 211 212 216 220 224 227 228 229 231 233 234 237 242 247 248 251 252 255 257 259 266 276 278 284 289 293 294 296 298 302 305 306 308 318 a 1 5 12 13 15 20 26 29 31 38 39 42 44 47 50 54 62 63 65 66 69 71 80 84 86 87 93 94 98 99 100 105 106 107 115 116 117 119 123 128 131 133 135 136 141 144 147 148 149 151 154 155 158 166 167 170 171 173 177 179 185 186 188 195 197 199 201 203 204 205 206 210 211 212 216 220 224 227 228 229 231 233 234 237 242 247 248 251 252 255 257 259 266 276 278 289 293 294 296 298 302 305 306 308 318 a 1 5 12 13 15 20 26 29 31 38 39 42 44 47 50 54 62 63 65 66 69 71 80 84 86 87 93 94 98 99 100 105 106 107 115 116 117 119 123 128 131 133 135 136 141 144 147 148 149 151 154 155 158 166 167 171 173 177 179 185 186 188 195 197 199 201 203 204 205 206 210 211 212 216 220 224 227 228 229 231 233 234 237 242 247 248 251 252 255 257 259 266 276 278 282 289 293 294 296 298 302 305 306 308 318 a 1 5 12 13 15 20 26 29 31 38 39 42 44 47 50 54 62 63 65 66 69 71 80 84 86 87 93 94 98 99 100 105 106 107 115 116 117 119 123 128 131 133 134 135 136 141 144 147 148 149 151 154 155 166 167 171 173 177 179 185 186 188 195 197 199 201 203 204 205 206 210 211 212 216 220 224 227 228 229 231 233 234 237 242 247 248 251 252 255 257 259 266 276 278 282 289 293 294 296 298 302 305 306 308 318 a 1 5 12 13 15 20 26 29 31 38 39 42 44 47 50 54 62 65 66 69 71 80 84 86 87 93 94 98 99 100 105 106 107 115 116 117 119 123 128 131 133 134 135 136 141 144 147 148 149 151 154 155 166 167 171 173 177 179 185 186 188 195 197 199 201 203 204 205 206 210 211 212 216 220 224 227 228 229 231 233 234 237 242 247 248 251 252 255 257 259 266 276 278 282 289 293 294 296 298 300 302 305 306 308 318 a 1 5 12 13 15 20 26 29 31 38 39 42 44 47 50 54 57 62 65 66 69 71 80 84 86 87 93 94 98 99 100 105 106 107 115 116 117 119 123 128 131 133 134 135 136 141 144 147 148 149 151 154 155 166 167 171 173 177 179 185 186 188 195 197 199 201 203 204 205 206 210 211 212 216 220 224 227 228 229 231 233 234 237 242 248 251 252 255 257 259 266 276 278 282 289 293 294 296 298 300 302 305 306 308 318 a 1 5 12 13 15 20 26 29 31 38 39 42 44 47 50 54 57 62 65 66 69 71 80 84 86 87 93 94 98 99 100 105 106 107 115 116 117 119 123 128 131 133 134 135 136 141 144 147 148 149 151 154 155 166 167 171 173 177 179 185 187 188 195 197 199 201 203 204 205 206 210 211 212 216 220 224 227 228 229 231 233 234 237 242 248 251 252 255 257 259 266 276 278 282 289 293 294 296 298 300 302 305 306 308 318 a 1 5 12 13 15 20 26 29 31 38 39 42 44 47 50 54 57 62 65 66 69 71 80 84 86 87 93 94 98 99 100 105 106 107 115 116 117 119 123 128 131 133 134 135 136 141 144 147 148 149 151 154 155 166 167 171 173 177 179 184 185 187 188 195 197 199 201 203 204 205 206 210 211 212 216 220 227 228 229 231 233 234 237 242 248 251 252 255 257 259 266 276 278 282 289 293 294 296 298 300 302 305 306 308 318 a 1 5 12 13 20 26 29 31 38 39 42 44 47 50 54 57 62 65 66 69 71 80 84 86 87 93 94 98 99 100 105 106 107 115 116 117 119 123 128 131 133 134 135 136 141 144 147 148 149 151 154 155 165 166 167 171 173 177 179 184 185 187 188 195 197 199 201 203 204 205 206 210 211 212 216 220 227 228 229 231 233 234 237 242 248 251 252 255 257 259 266 276 278 282 289 293 294 296 298 300 302 305 306 308 318 a 1 5 12 13 20 21 26 29 31 38 39 42 44 47 50 54 57 62 65 66 69 71 80 84 86 87 93 94 98 99 100 105 106 107 115 116 117 119 123 128 131 133 134 135 136 141 144 147 148 149 151 154 155 165 166 167 173 177 179 184 185 187 188 195 197 199 201 203 204 205 206 210 211 212 216 220 227 228 229 231 233 234 237 242 248 251 252 255 257 259 266 276 278 282 289 293 294 296 298 300 302 305 306 308 318 a 1 5 12 13 20 21 26 29 31 38 39 42 44 47 50 54 57 62 65 66 69 71 80 84 86 87 93 94 98 99 100 105 106 107 115 116 117 119 123 128 131 133 134 135 136 141 144 147 148 149 151 154 155 165 166 167 173 177 179 184 185 187 188 195 197 199 201 204 205 206 210 211 212 216 220 221 227 228 229 231 233 234 237 242 248 251 252 255 257 259 266 276 278 282 289 293 294 296 298 300 302 305 306 308 318 a 1 5 12 13 20 21 26 29 31 38 39 42 44 47 50 54 57 62 65 66 69 71 80 84 86 87 93 94 98 99 100 105 106 107 115 116 117 119 123 128 131 133 134 135 136 141 144 147 148 149 151 154 155 165 166 167 173 179 184 185 187 188 195 197 199 201 204 205 206 209 210 211 212 216 220 221 227 228 229 231 233 234 237 242 248 251 252 255 257 259 266 276 278 282 289 293 294 296 298 300 302 305 306 308 318 a 1 5 12 13 20 21 26 29 31 38 39 42 44 47 50 54 57 62 65 66 69 71 80 84 86 87 93 94 98 99 100 105 106 107 115 116 117 119 123 128 131 133 134 135 136 141 144 147 148 149 151 154 155 165 166 167 173 180 184 185 187 188 195 197 199 201 204 205 206 209 210 211 212 216 220 221 227 228 229 231 233 234 237 242 248 251 252 255 257 259 266 276 278 282 289 293 294 296 298 300 302 305 306 308 318 a 1 5 12 13 19 20 21 26 29 31 38 39 42 44 47 50 54 57 62 65 66 69 71 80 84 86 87 93 94 98 99 100 105 106 107 115 116 117 119 123 128 131 133 134 135 136 141 144 147 148 149 151 154 155 165 166 167 173 180 184 185 187 188 195 197 199 201 204 205 206 209 210 212 216 220 221 227 228 229 231 233 234 237 242 248 251 252 255 257 259 266 276 278 282 289 293 294 296 298 300 302 305 306 308 318 a 1 5 12 13 19 20 21 26 29 31 38 39 42 44 47 50 54 57 62 65 66 69 71 75 80 84 86 87 93 94 98 99 100 105 106 107 115 116 117 119 123 128 131 133 134 135 136 141 144 147 148 149 151 154 155 165 166 167 173 180 184 185 187 188 195 197 199 201 204 205 206 209 210 212 216 220 221 227 228 229 231 233 234 237 242 248 251 252 255 257 259 276 278 282 289 293 294 296 298 300 302 305 306 308 318 a 1 5 12 13 19 20 21 26 29 31 38 39 42 44 47 50 54 57 62 65 66 69 71 75 80 84 86 87 93 94 98 99 100 103 105 106 107 115 116 117 119 123 128 131 133 134 135 136 141 144 147 148 149 151 154 155 165 166 167 173 180 184 185 187 188 195 197 199 201 204 205 206 209 210 212 216 220 221 227 228 229 231 233 234 237 242 248 251 252 255 259 276 278 282 289 293 294 296 298 300 302 305 306 308 318 a 1 5 12 13 17 19 20 21 26 29 31 38 39 42 44 47 50 54 57 62 65 66 69 71 75 80 84 86 87 93 94 98 99 100 103 105 106 107 115 117 119 123 128 131 133 134 135 136 141 144 147 148 149 151 154 155 165 166 167 173 180 184 185 187 188 195 197 199 201 204 205 206 209 210 212 216 220 221 227 228 229 231 233 234 237 242 248 251 252 255 259 276 278 282 289 293 294 296 298 300 302 305 306 308 318 a 1 5 12 13 17 19 20 21 26 29 31 38 39 42 44 47 50 54 57 62 65 66 69 71 75 80 84 86 87 93 94 98 99 100 103 105 106 107 115 119 123 128 131 133 134 135 136 141 144 147 148 149 151 154 155 165 166 167 169 173 180 184 185 187 188 195 197 199 201 204 205 206 209 210 212 216 220 221 227 228 229 231 233 234 237 242 248 251 252 255 259 276 278 282 289 293 294 296 298 300 302 305 306 308 318 a 1 5 12 13 17 19 20 21 26 29 31 38 39 42 44 47 50 54 57 62 65 66 69 71 75 80 84 86 87 93 94 98 99 100 103 105 106 107 115 119 123 128 131 133 134 135 136 141 144 147 148 149 151 154 155 165 166 167 169 173 180 184 185 187 188 195 197 199 201 204 205 206 209 210 212 216 220 221 227 228 229 231 233 234 237 242 248 251 252 255 259 264 276 278 282 289 293 294 296 298 300 305 306 308 318 a 1 5 12 13 17 19 20 21 26 29 31 38 39 42 44 47 50 54 57 62 65 66 69 71 75 80 84 86 87 93 94 98 99 100 103 105 106 107 115 119 123 128 131 133 134 135 136 141 144 147 148 149 151 154 155 165 166 167 169 173 180 184 185 187 188 195 197 199 201 204 205 206 209 210 212 216 220 221 227 228 229 231 233 237 242 248 251 252 255 259 264 276 277 278 282 289 293 294 296 298 300 305 306 308 318 a 1 5 12 13 17 19 20 21 26 29 31 38 39 42 44 47 50 54 57 61 62 65 66 69 71 75 80 84 86 87 93 94 98 99 100 103 105 106 107 115 119 123 128 131 133 134 135 136 141 144 147 148 151 154 155 165 166 167 169 173 180 184 185 187 188 195 197 199 201 204 205 206 209 210 212 216 220 221 227 228 229 231 233 237 242 248 251 252 255 259 264 276 277 278 282 289 293 294 296 298 300 305 306 308 318 a 1 5 12 13 17 19 20 21 26 29 31 38 39 42 44 47 50 54 57 61 62 65 66 69 71 75 80 84 86 87 93 94 99 100 103 105 106 107 115 119 123 128 131 133 134 135 136 141 144 147 148 151 154 155 165 166 167 169 173 180 184 185 187 188 195 197 199 201 204 205 206 209 210 212 215 216 220 221 227 228 229 231 233 237 242 248 251 252 255 259 264 276 277 278 282 289 293 294 296 298 300 305 306 308 318 a 1 5 12 13 17 19 20 21 26 29 31 38 39 42 44 47 50 54 57 61 62 65 66 69 71 75 80 84 86 87 93 94 99 100 103 105 106 107 115 119 123 128 131 133 134 135 136 141 144 147 148 151 154 155 165 166 167 169 173 180 184 185 187 188 195 197 199 201 204 205 206 209 210 212 215 216 220 221 227 228 229 231 233 237 242 248 251 252 255 259 264 269 276 277 278 282 289 293 294 296 298 300 306 308 318 a 1 5 12 13 17 19 20 21 26 29 31 38 39 42 44 47 54 57 61 62 65 66 69 71 75 80 84 86 87 93 94 99 100 103 105 106 107 115 119 123 128 131 133 134 135 136 141 144 147 148 151 154 155 165 166 167 169 173 180 184 185 187 188 195 197 199 201 204 205 206 207 209 210 212 215 216 220 221 227 228 229 231 233 237 242 248 251 252 255 259 264 269 276 277 278 282 289 293 294 296 298 300 306 308 318 a 1 5 12 13 17 19 20 21 26 29 31 38 39 42 44 47 54 57 61 62 65 66 69 71 75 80 84 86 87 93 94 99 100 103 105 106 107 115 119 123 128 131 134 135 136 141 144 147 148 151 154 155 165 166 167 169 173 180 184 185 187 188 192 195 197 199 201 204 205 206 207 209 210 212 215 216 220 221 227 228 229 231 233 237 242 248 251 252 255 259 264 269 276 277 278 282 289 293 294 296 298 300 306 308 318 a 1 5 12 13 17 19 20 21 26 29 31 38 39 42 44 47 54 57 61 62 65 66 69 71 75 80 84 86 87 93 94 99 100 103 105 106 107 115 119 123 128 131 134 135 136 141 144 147 148 154 155 165 166 167 169 173 180 184 185 187 188 191 192 195 197 199 201 204 205 206 207 209 210 212 215 216 220 221 227 228 229 231 233 237 242 248 251 252 255 259 264 269 276 277 278 282 289 293 294 296 298 300 306 308 318 a 1 5 13 17 19 20 21 26 29 31 38 39 42 44 47 54 57 61 62 65 66 69 71 75 80 84 86 87 93 94 99 100 103 105 106 107 115 119 123 128 131 134 135 136 141 144 147 148 154 155 162 165 166 167 169 173 180 184 185 187 188 191 192 195 197 199 201 204 205 206 207 209 210 212 215 216 220 221 227 228 229 231 233 237 242 248 251 252 255 259 264 269 276 277 278 282 289 293 294 296 298 300 306 308 318 a 1 5 13 17 19 20 21 26 29 31 38 39 42 44 47 54 55 57 61 62 65 66 69 71 75 80 84 86 87 93 94 99 100 103 105 106 107 115 119 123 131 134 135 136 141 144 147 148 154 155 162 165 166 167 169 173 180 184 185 187 188 191 192 195 197 199 201 204 205 206 207 209 210 212 215 216 220 221 227 228 229 231 233 237 242 248 251 252 255 259 264 269 276 277 278 282 289 293 294 296 298 300 306 308 318 a 1 5 13 17 19 20 21 26 29 31 38 39 42 44 47 54 55 57 61 62 65 66 69 71 75 80 84 86 87 93 94 99 100 103 105 106 107 115 119 123 124 134 135 136 141 144 147 148 154 155 162 165 166 167 169 173 180 184 185 187 188 191 192 195 197 199 201 204 205 206 207 209 210 212 215 216 220 221 227 228 229 231 233 237 242 248 251 252 255 259 264 269 276 277 278 282 289 293 294 296 298 300 306 308 318 a 1 5 13 17 19 20 21 26 29 31 38 39 42 44 47 54 55 57 61 62 65 66 69 71 75 80 84 86 87 93 94 99 100 103 105 106 107 115 119 123 124 134 135 136 141 144 147 148 154 155 162 165 166 167 169 173 180 184 185 187 188 191 192 195 197 199 201 204 205 206 207 209 210 212 215 216 220 221 227 228 229 231 233 237 242 248 251 252 255 259 264 269 276 277 282 289 290 293 294 296 298 300 306 308 318 a 1 5 13 17 19 20 21 26 29 31 38 39 42 44 47 54 55 57 61 62 65 66 69 71 75 80 84 87 93 94 99 100 103 105 106 107 115 119 123 124 134 135 136 141 144 147 148 154 155 162 165 166 167 169 173 180 184 185 187 188 191 192 195 197 199 201 204 205 206 207 209 210 212 215 216 220 221 227 228 229 231 233 237 242 248 251 252 255 259 264 267 269 276 277 282 289 290 293 294 296 298 300 306 308 318 a 1 5 13 17 19 20 21 26 29 31 38 39 42 44 47 54 55 57 61 62 65 66 69 71 75 80 84 87 93 94 99 100 103 105 106 107 115 119 123 124 134 135 136 139 141 144 147 148 154 155 162 165 166 167 169 173 180 184 185 187 188 191 192 195 197 199 201 204 205 206 207 209 210 212 215 216 220 221 227 228 229 231 233 237 242 248 252 255 259 264 267 269 276 277 282 289 290 293 294 296 298 300 306 308 318 a 1 5 13 17 19 20 21 26 29 31 38 39 42 44 47 54 55 57 61 62 65 66 69 71 75 80 84 87 93 94 99 100 103 105 106 107 115 119 123 124 130 134 135 136 139 141 144 147 148 154 155 162 165 166 167 169 173 180 184 185 187 188 191 192 195 197 199 201 204 205 206 207 209 210 212 215 216 220 221 227 228 229 231 233 237 242 248 252 259 264 267 269 276 277 282 289 290 293 294 296 298 300 306 308 318 a 1 5 13 17 19 20 21 26 29 30 31 38 39 42 44 47 54 55 57 61 62 65 66 69 71 75 80 84 87 93 94 99 100 103 105 106 107 115 119 123 124 130 134 135 136 139 141 144 147 148 154 155 162 165 166 167 169 173 180 184 185 187 188 191 192 195 197 199 201 204 205 207 209 210 212 215 216 220 221 227 228 229 231 233 237 242 248 252 259 264 267 269 276 277 282 289 290 293 294 296 298 300 306 308 318 a 1 5 13 17 19 20 21 26 29 30 31 39 42 44 47 54 55 57 61 62 65 66 69 71 73 75 80 84 87 93 94 99 100 103 105 106 107 115 119 123 124 130 134 135 136 139 141 144 147 148 154 155 162 165 166 167 169 173 180 184 185 187 188 191 192 195 197 199 201 204 205 207 209 210 212 215 216 220 221 227 228 229 231 233 237 242 248 252 259 264 267 269 276 277 282 289 290 293 294 296 298 300 306 308 318 a 1 5 13 17 19 20 21 26 29 30 31 39 42 44 47 52 54 55 57 61 62 65 66 69 71 73 75 80 84 93 94 99 100 103 105 106 107 115 119 123 124 130 134 135 136 139 141 144 147 148 154 155 162 165 166 167 169 173 180 184 185 187 188 191 192 195 197 199 201 204 205 207 209 210 212 215 216 220 221 227 228 229 231 233 237 242 248 252 259 264 267 269 276 277 282 289 290 293 294 296 298 300 306 308 318 a 1 5 13 17 19 20 21 26 29 30 31 39 44 47 52 54 55 57 61 62 65 66 69 71 73 75 80 84 93 94 99 100 103 105 106 107 115 119 123 124 130 134 135 136 139 141 144 147 148 154 155 162 165 166 167 169 173 180 184 185 187 188 191 192 193 195 197 199 201 204 205 207 209 210 212 215 216 220 221 227 228 229 231 233 237 242 248 252 259 264 267 269 276 277 282 289 290 293 294 296 298 300 306 308 318 a 1 5 13 17 19 20 21 26 29 30 31 39 44 47 52 54 55 57 61 62 65 66 69 71 73 75 80 82 84 93 94 99 100 103 105 106 107 115 119 123 124 130 134 135 136 139 141 144 148 154 155 162 165 166 167 169 173 180 184 185 187 188 191 192 193 195 197 199 201 204 205 207 209 210 212 215 216 220 221 227 228 229 231 233 237 242 248 252 259 264 267 269 276 277 282 289 290 293 294 296 298 300 306 308 318 a 1 5 13 17 19 20 21 26 29 30 31 39 44 47 52 54 55 57 61 62 65 66 69 71 73 75 80 82 84 93 94 99 100 103 105 106 107 115 119 123 124 130 134 135 136 139 141 144 148 154 155 162 165 166 167 169 173 180 184 185 187 188 191 192 193 195 197 198 199 201 204 205 207 209 210 212 215 216 220 221 227 228 229 231 233 237 248 252 259 264 267 269 276 277 282 289 290 293 294 296 298 300 306 308 318 a 1 5 13 17 19 20 21 26 29 30 31 39 44 47 52 54 55 57 61 62 65 66 69 71 73 75 80 82 84 93 94 99 100 103 105 106 107 115 119 123 124 130 134 135 136 139 141 144 148 154 155 162 163 165 166 167 169 173 180 184 185 187 188 191 192 193 195 197 198 199 201 204 205 207 209 210 212 215 216 220 221 227 228 229 233 237 248 252 259 264 267 269 276 277 282 289 290 293 294 296 298 300 306 308 318 a 1 5 13 17 19 20 21 26 29 30 31 39 44 47 52 54 55 57 61 62 66 69 71 73 75 80 82 84 93 94 99 100 103 105 106 107 115 119 123 124 130 134 135 136 139 141 144 148 154 155 162 163 165 166 167 169 173 180 184 185 187 188 191 192 193 195 197 198 199 201 204 205 207 209 210 212 215 216 220 221 227 228 229 233 237 248 252 259 264 267 269 276 277 282 289 290 293 294 296 298 300 304 306 308 318 a 1 5 13 17 19 20 21 26 29 30 31 39 44 47 52 54 55 57 61 62 66 69 71 73 75 80 82 84 94 99 100 103 105 106 107 115 119 123 124 130 134 135 136 139 141 144 148 154 155 162 163 165 166 167 169 173 180 184 185 187 188 191 192 193 195 197 198 199 201 204 205 207 209 210 212 215 216 220 221 227 228 229 233 237 248 252 259 264 267 269 276 277 282 289 290 293 294 296 298 300 304 306 308 318 320 a 1 5 13 17 19 20 21 26 29 30 31 39 44 47 52 54 55 57 61 62 66 69 71 73 75 80 82 84 94 99 100 103 105 106 107 115 119 123 124 130 134 135 136 139 141 144 148 154 155 162 163 165 166 167 169 173 180 184 185 187 188 191 192 193 195 197 198 199 201 204 205 207 209 212 215 216 220 221 227 228 229 233 237 248 252 259 264 267 269 276 277 282 289 290 293 294 296 298 299 300 304 306 308 318 320 a 1 13 17 19 20 21 26 29 30 31 39 44 47 52 54 55 57 61 62 66 69 71 73 75 80 82 84 94 99 100 103 105 106 107 115 119 123 124 130 134 135 136 139 141 144 148 154 155 162 163 165 166 167 169 173 180 184 185 187 188 191 192 193 195 197 198 199 201 204 205 207 209 212 215 216 220 221 227 228 229 233 237 248 252 253 259 264 267 269 276 277 282 289 290 293 294 296 298 299 300 304 306 308 318 320 a 1 13 17 19 20 21 26 29 30 31 39 44 47 52 54 55 57 59 61 62 69 71 73 75 80 82 84 94 99 100 103 105 106 107 115 119 123 124 130 134 135 136 139 141 144 148 154 155 162 163 165 166 167 169 173 180 184 185 187 188 191 192 193 195 197 198 199 201 204 205 207 209 212 215 216 220 221 227 228 229 233 237 248 252 253 259 264 267 269 276 277 282 289 290 293 294 296 298 299 300 304 306 308 318 320 a 1 13 17 19 20 21 26 29 30 31 39 44 47 52 54 55 57 59 61 62 69 71 72 73 75 80 82 84 94 99 100 103 105 107 115 119 123 124 130 134 135 136 139 141 144 148 154 155 162 163 165 166 167 169 173 180 184 185 187 188 191 192 193 195 197 198 199 201 204 205 207 209 212 215 216 220 221 227 228 229 233 237 248 252 253 259 264 267 269 276 277 282 289 290 293 294 296 298 299 300 304 306 308 318 320 a 1 13 17 19 20 21 26 29 30 31 39 44 47 52 54 55 57 59 61 62 69 71 72 73 75 80 82 84 94 99 100 103 105 107 115 119 123 124 125 130 134 135 136 139 141 144 148 154 155 162 163 165 166 167 169 173 180 184 185 187 188 191 192 193 195 197 198 199 201 204 205 207 209 212 215 216 221 227 228 229 233 237 248 252 253 259 264 267 269 276 277 282 289 290 293 294 296 298 299 300 304 306 308 318 320 a 1 13 17 19 20 21 26 29 30 31 39 44 47 52 54 55 57 59 61 62 69 71 72 73 75 80 82 84 92 94 99 100 103 105 107 115 119 123 124 125 130 134 135 136 139 141 144 148 154 155 162 163 165 166 167 169 173 180 184 185 187 188 191 192 193 195 197 198 199 201 204 205 207 209 212 215 221 227 228 229 233 237 248 252 253 259 264 267 269 276 277 282 289 290 293 294 296 298 299 300 304 306 308 318 320 a 1 13 17 19 20 21 26 29 30 31 39 44 47 52 55 57 59 61 62 69 71 72 73 75 80 82 84 92 94 99 100 102 103 105 107 115 119 123 124 125 130 134 135 136 139 141 144 148 154 155 162 163 165 166 167 169 173 180 184 185 187 188 191 192 193 195 197 198 199 201 204 205 207 209 212 215 221 227 228 229 233 237 248 252 253 259 264 267 269 276 277 282 289 290 293 294 296 298 299 300 304 306 308 318 320 c Step: 128 Command being timed: "python3 run_3.py --existent --na -t4 /benchmark/random_instance/random_instance025_graph005.col /benchmark/random_instance/random_instance025_graph005_01.dat" User time (seconds): 538.51 System time (seconds): 8.54 Percent of CPU this job got: 150% Elapsed (wall clock) time (h:mm:ss or m:ss): 6:03.38 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): 27781316 Average resident set size (kbytes): 0 Major (requiring I/O) page faults: 1 Minor (reclaiming a frame) page faults: 9531359 Voluntary context switches: 203376 Involuntary context switches: 2671 Swaps: 0 File system inputs: 0 File system outputs: 688 Socket messages sent: 0 Socket messages received: 0 Signals delivered: 0 Page size (bytes): 4096 Exit status: 0 #END: [Tue Sep 26 01:53:29 2023]