#BEGIN: [Tue Sep 26 01:47:08 2023] #HOST: s09 #TIMELIMIT: 1800 #MEMLIMIT: 0 #SOLVER: existent-cpu-banbaralab2-existent3 #INSTANCE1: /benchmark/random_instance/random_instance025_graph001.col #INSTANCE2: /benchmark/random_instance/random_instance025_graph001_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_graph001.col /benchmark/random_instance/random_instance025_graph001_01.dat c /benchmark/random_instance/random_instance025_graph001.col c /benchmark/random_instance/random_instance025_graph001_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 39 161 239 91 28 169 307 201 223 319 281 175 202 158 96 293 128 191 55 48 84 163 92 269 20 208 266 138 106 136 149 246 262 273 237 322 221 249 12 34 119 308 4 244 179 289 7 21 3 220 280 274 6 311 172 76 277 323 302 89 110 174 130 207 11 144 62 118 94 228 292 243 193 178 81 103 59 225 97 80 8 13 187 287 35 297 29 251 185 318 160 258 31 301 85 176 181 298 151 45 19 71 195 306 99 147 t 55 20 6 257 49 113 25 129 322 182 87 290 163 1 269 214 41 261 99 14 292 142 44 155 144 307 217 221 321 170 318 185 33 279 235 282 164 27 154 68 208 23 153 67 141 272 53 60 276 255 236 169 286 63 274 157 43 304 36 180 121 112 140 227 251 62 137 76 75 7 309 173 13 94 101 191 308 88 56 47 222 81 152 85 29 147 136 17 108 72 187 59 247 149 177 131 24 42 135 246 161 313 124 114 111 45 a YES a 3 4 6 7 8 11 12 13 19 20 21 28 29 31 34 35 39 45 48 55 59 62 71 76 80 81 84 85 89 91 92 94 96 97 99 103 106 110 118 119 128 130 136 138 144 147 149 151 158 160 161 163 169 172 174 175 176 178 179 181 185 187 191 193 195 201 202 207 208 220 221 223 225 228 237 239 243 244 246 249 251 258 262 266 269 273 274 277 280 281 287 289 292 293 297 298 301 302 306 307 308 311 318 319 322 323 a 3 4 6 7 8 11 12 13 19 20 21 28 29 31 34 35 39 45 48 55 59 62 71 76 80 81 84 85 89 91 92 94 96 97 99 103 106 110 118 119 128 130 138 144 147 149 151 158 159 160 161 163 169 172 174 175 176 178 179 181 185 187 191 193 195 201 202 207 208 220 221 223 225 228 237 239 243 244 246 249 251 258 262 266 269 273 274 277 280 281 287 289 292 293 297 298 301 302 306 307 308 311 318 319 322 323 a 3 4 6 7 8 11 12 13 19 20 21 28 29 31 34 35 39 45 48 55 59 62 71 76 80 81 84 85 89 91 92 94 96 97 99 103 106 110 118 119 128 130 138 144 147 149 151 158 159 160 161 163 169 172 174 175 176 178 179 181 185 187 191 193 195 201 202 207 208 220 221 225 228 237 239 243 244 246 249 251 258 262 266 269 273 274 277 279 280 281 287 289 292 293 297 298 301 302 306 307 308 311 318 319 322 323 a 3 4 6 7 8 11 12 13 19 20 21 28 29 31 34 35 39 45 48 55 59 62 71 76 80 81 84 85 89 91 92 94 96 97 99 103 106 110 118 119 128 130 136 138 144 147 149 151 158 160 161 163 169 172 174 175 176 178 179 181 185 187 191 193 195 201 202 207 208 220 221 225 228 237 239 243 244 246 249 251 258 262 266 269 273 274 277 279 280 281 287 289 292 293 297 298 301 302 306 307 308 311 318 319 322 323 a 3 4 6 7 8 11 12 13 19 20 21 28 29 31 34 35 39 45 48 55 59 62 71 76 80 81 84 85 89 91 92 94 96 97 99 103 106 110 118 119 121 128 130 136 138 144 147 149 151 158 160 161 163 169 172 174 175 176 178 179 181 185 187 191 193 195 201 202 207 208 220 221 225 228 237 239 243 244 246 249 251 258 262 266 269 273 274 277 279 280 281 289 292 293 297 298 301 302 306 307 308 311 318 319 322 323 a 3 4 6 7 8 11 12 13 19 20 21 28 29 31 34 35 39 45 48 55 59 62 71 76 80 81 84 85 89 91 92 94 96 97 99 103 106 110 118 119 121 128 130 136 138 144 147 149 151 158 160 161 163 169 172 174 175 176 178 179 181 185 187 191 193 195 201 202 207 208 220 221 223 225 228 237 239 243 244 246 249 251 258 262 266 269 273 274 277 280 281 289 292 293 297 298 301 302 306 307 308 311 318 319 322 323 a 3 4 6 7 8 11 12 13 19 20 21 28 29 31 34 35 38 39 45 48 55 59 62 71 76 80 81 84 85 89 91 92 94 96 97 99 103 106 110 118 119 121 128 130 136 138 144 147 149 151 158 160 161 163 169 172 174 175 176 178 179 181 185 187 191 193 195 201 207 208 220 221 223 225 228 237 239 243 244 246 249 251 258 262 266 269 273 274 277 280 281 289 292 293 297 298 301 302 306 307 308 311 318 319 322 323 a 3 4 6 7 8 11 12 13 19 20 21 28 29 31 34 35 38 39 45 48 55 59 62 71 76 80 81 84 85 89 91 92 94 96 97 99 103 106 110 118 119 121 128 130 136 138 144 147 149 158 160 161 163 169 172 174 175 176 178 179 181 185 187 191 193 195 201 207 208 215 220 221 223 225 228 237 239 243 244 246 249 251 258 262 266 269 273 274 277 280 281 289 292 293 297 298 301 302 306 307 308 311 318 319 322 323 a 3 4 6 7 8 11 12 13 19 20 21 28 29 31 34 35 38 39 45 48 55 59 62 71 76 78 80 81 84 85 89 91 92 94 96 97 99 103 106 110 118 119 121 128 130 136 138 144 147 149 158 160 161 163 169 172 174 175 176 178 179 181 185 187 191 193 195 201 207 208 215 220 221 223 225 228 237 239 243 244 246 249 251 258 262 266 269 273 274 277 280 281 289 292 293 297 298 301 302 306 307 308 311 318 322 323 a 3 4 6 7 8 9 11 12 13 19 20 21 28 29 31 34 35 38 45 48 55 59 62 71 76 78 80 81 84 85 89 91 92 94 96 97 99 103 106 110 118 119 121 128 130 136 138 144 147 149 158 160 161 163 169 172 174 175 176 178 179 181 185 187 191 193 195 201 207 208 215 220 221 223 225 228 237 239 243 244 246 249 251 258 262 266 269 273 274 277 280 281 289 292 293 297 298 301 302 306 307 308 311 318 322 323 a 3 4 6 7 8 9 11 12 13 19 20 21 28 29 31 34 35 38 45 48 49 55 59 62 71 76 78 80 81 84 85 89 91 92 94 96 97 99 103 106 118 119 121 128 130 136 138 144 147 149 158 160 161 163 169 172 174 175 176 178 179 181 185 187 191 193 195 201 207 208 215 220 221 223 225 228 237 239 243 244 246 249 251 258 262 266 269 273 274 277 280 281 289 292 293 297 298 301 302 306 307 308 311 318 322 323 a 3 4 6 7 8 9 11 12 13 19 20 21 28 29 31 34 35 38 45 48 49 52 55 59 62 71 76 78 80 81 84 85 89 91 92 94 96 97 99 103 106 118 119 121 128 130 136 138 144 147 149 158 160 161 163 169 172 174 175 176 178 179 181 185 187 191 193 195 201 207 208 215 220 221 223 225 228 237 239 243 244 246 249 251 258 262 266 269 273 274 277 281 289 292 293 297 298 301 302 306 307 308 311 318 322 323 a 3 4 6 7 8 9 11 12 13 19 20 21 28 29 31 34 35 38 45 48 49 52 55 59 62 71 76 78 80 81 84 85 89 91 92 94 96 97 99 103 118 119 121 128 130 136 138 144 147 148 149 158 160 161 163 169 172 174 175 176 178 179 181 185 187 191 193 195 201 207 208 215 220 221 223 225 228 237 239 243 244 246 249 251 258 262 266 269 273 274 277 281 289 292 293 297 298 301 302 306 307 308 311 318 322 323 a 3 4 6 7 8 9 11 12 13 19 20 21 28 29 31 34 35 38 45 48 49 52 55 59 62 71 76 78 80 81 84 85 89 91 92 94 96 97 99 103 118 119 121 124 128 130 136 138 144 147 148 149 158 160 161 163 169 172 174 175 176 178 179 181 185 187 191 193 195 201 207 208 215 220 221 223 225 228 237 239 243 244 246 249 251 258 262 266 269 273 274 277 281 289 292 293 297 298 301 302 306 307 308 311 318 322 a 3 4 6 7 8 9 11 12 13 19 20 21 28 29 31 34 35 38 45 48 49 52 55 59 62 71 76 78 80 81 84 85 89 91 92 94 96 97 99 103 118 119 124 128 130 136 138 144 147 148 149 158 160 161 163 169 172 174 175 176 178 179 181 185 187 191 193 195 201 207 208 215 220 221 223 225 228 237 239 243 244 246 249 251 258 262 266 269 273 274 277 281 287 289 292 293 297 298 301 302 306 307 308 311 318 322 a 3 4 6 7 8 9 11 12 13 19 20 21 28 29 31 34 35 38 45 48 49 52 55 59 62 71 76 78 80 81 84 85 89 91 92 94 96 97 99 103 118 119 124 128 130 136 138 144 147 148 149 158 160 161 163 169 172 174 175 176 178 179 181 185 187 191 193 195 201 207 208 215 220 221 223 225 228 237 239 243 244 246 249 251 258 262 266 269 273 274 277 281 287 289 292 293 297 298 301 302 306 307 308 311 318 323 a 3 4 6 7 8 9 11 12 13 19 20 21 28 29 31 34 35 38 45 48 49 52 55 59 62 71 76 78 80 81 84 85 89 91 92 94 97 99 102 103 118 119 124 128 130 136 138 144 147 148 149 158 160 161 163 169 172 174 175 176 178 179 181 185 187 191 193 195 201 207 208 215 220 221 223 225 228 237 239 243 244 246 249 251 258 262 266 269 273 274 277 281 287 289 292 293 297 298 301 302 306 307 308 311 318 323 a 3 4 6 7 8 9 11 12 13 19 20 21 28 29 31 34 35 38 45 48 49 52 55 59 62 71 76 78 80 81 84 85 89 91 92 94 97 99 102 103 106 118 119 124 128 130 136 138 144 147 149 158 160 161 163 169 172 174 175 176 178 179 181 185 187 191 193 195 201 207 208 215 220 221 223 225 228 237 239 243 244 246 249 251 258 262 266 269 273 274 277 281 287 289 292 293 297 298 301 302 306 307 308 311 318 323 a 3 4 6 7 8 9 11 12 13 19 20 21 28 29 31 34 35 38 45 48 49 52 55 59 62 71 76 78 80 81 84 85 89 91 92 94 97 99 102 103 106 118 119 124 128 130 136 138 144 147 149 151 158 160 161 163 169 172 174 175 176 178 179 181 185 187 191 193 195 201 207 208 215 220 221 223 225 228 237 239 243 244 246 249 251 258 262 266 269 273 274 277 281 287 289 292 293 297 298 301 302 306 307 308 311 318 a 3 4 6 7 8 9 11 12 13 19 20 21 28 29 31 34 35 38 45 48 49 52 55 59 62 71 76 78 80 81 84 85 89 91 92 94 97 99 102 103 106 111 118 119 124 128 130 136 138 144 147 149 151 158 160 161 163 169 172 174 175 176 178 179 181 185 187 191 193 195 201 207 208 215 220 221 223 225 228 237 239 243 244 246 249 251 258 262 266 269 273 274 277 281 287 289 292 293 297 298 301 302 306 307 308 311 a 3 4 6 7 8 9 11 12 13 19 20 21 28 29 31 34 35 38 45 48 49 52 55 59 62 71 76 78 80 84 85 89 91 92 94 97 99 102 103 106 111 118 119 124 128 130 136 138 144 147 149 151 158 160 161 163 169 172 174 175 176 178 179 181 185 187 190 191 193 195 201 207 208 215 220 221 223 225 228 237 239 243 244 246 249 251 258 262 266 269 273 274 277 281 287 289 292 293 297 298 301 302 306 307 308 311 a 3 4 6 7 8 9 11 12 13 19 20 21 28 29 31 34 35 38 45 48 49 52 55 59 62 71 76 78 80 84 85 89 91 92 94 97 99 102 103 106 111 118 119 124 128 130 136 144 147 149 151 158 160 161 163 169 172 174 175 176 178 179 181 185 187 190 191 193 195 201 207 208 215 220 221 223 225 226 228 237 239 243 244 246 249 251 258 262 266 269 273 274 277 281 287 289 292 293 297 298 301 302 306 307 308 311 a 3 4 6 7 8 9 11 12 13 19 20 21 28 29 31 34 35 38 45 48 49 52 55 59 62 71 76 78 80 84 85 89 91 92 94 97 99 102 103 111 118 119 124 128 130 136 144 147 148 149 151 158 160 161 163 169 172 174 175 176 178 179 181 185 187 190 191 193 195 201 207 208 215 220 221 223 225 226 228 237 239 243 244 246 249 251 258 262 266 269 273 274 277 281 287 289 292 293 297 298 301 302 306 307 308 311 a 3 4 6 7 8 9 11 12 13 19 20 21 28 29 31 34 35 38 45 48 49 52 53 55 59 62 71 76 78 80 84 85 89 91 92 94 97 99 102 111 118 119 124 128 130 136 144 147 148 149 151 158 160 161 163 169 172 174 175 176 178 179 181 185 187 190 191 193 195 201 207 208 215 220 221 223 225 226 228 237 239 243 244 246 249 251 258 262 266 269 273 274 277 281 287 289 292 293 297 298 301 302 306 307 308 311 a 3 6 7 8 9 11 12 13 19 20 21 28 29 31 34 35 38 45 48 49 52 53 55 59 62 71 76 78 80 84 85 89 91 92 94 97 99 102 111 118 119 124 128 130 136 144 147 148 149 151 158 160 161 163 169 172 174 175 176 178 179 181 185 187 190 191 193 195 201 207 208 212 215 220 221 223 225 226 228 237 239 243 244 246 249 251 258 262 266 269 273 274 277 281 287 289 292 293 297 298 301 302 306 307 308 311 a 3 6 7 8 9 11 12 13 19 20 21 28 29 31 34 35 38 45 48 52 53 55 59 62 71 76 78 80 84 85 89 91 92 94 97 99 102 110 111 118 119 124 128 130 136 144 147 148 149 151 158 160 161 163 169 172 174 175 176 178 179 181 185 187 190 191 193 195 201 207 208 212 215 220 221 223 225 226 228 237 239 243 244 246 249 251 258 262 266 269 273 274 277 281 287 289 292 293 297 298 301 302 306 307 308 311 a 3 4 6 7 8 9 11 12 13 19 20 21 28 29 31 34 35 38 45 48 52 53 55 59 62 71 76 78 80 84 85 89 91 92 94 97 99 102 110 111 118 119 124 128 130 136 144 147 148 149 151 158 160 161 163 169 172 174 175 176 178 179 181 185 187 190 191 193 195 201 207 208 215 220 221 223 225 226 228 237 239 243 244 246 249 251 258 262 266 269 273 274 277 281 287 289 292 293 297 298 301 302 306 307 308 311 a 3 4 6 7 8 9 11 12 13 19 20 21 28 29 31 34 35 38 45 48 52 53 55 59 62 71 76 78 80 84 85 89 91 92 94 97 99 102 110 111 118 119 124 128 130 144 147 148 149 151 158 159 160 161 163 169 172 174 175 176 178 179 181 185 187 190 191 193 195 201 207 208 215 220 221 223 225 226 228 237 239 243 244 246 249 251 258 262 266 269 273 274 277 281 287 289 292 293 297 298 301 302 306 307 308 311 a 3 4 6 7 8 9 11 12 13 19 20 21 28 29 31 34 35 38 45 48 52 55 59 62 71 76 78 80 84 85 89 91 92 94 97 99 102 103 110 111 118 119 124 128 130 144 147 148 149 151 158 159 160 161 163 169 172 174 175 176 178 179 181 185 187 190 191 193 195 201 207 208 215 220 221 223 225 226 228 237 239 243 244 246 249 251 258 262 266 269 273 274 277 281 287 289 292 293 297 298 301 302 306 307 308 311 a 3 4 6 7 8 9 11 12 13 19 20 21 28 29 31 34 35 38 45 48 52 55 59 62 71 76 78 80 84 85 89 91 92 94 97 99 102 103 110 111 118 119 124 128 130 144 147 148 149 151 158 159 160 161 163 169 172 174 175 176 178 179 181 185 187 190 191 193 195 201 207 208 215 220 221 223 225 226 228 237 239 243 244 246 249 251 258 262 266 269 273 274 277 281 287 289 292 293 298 301 302 306 307 308 311 322 a 3 4 6 7 8 9 11 12 13 19 20 21 28 29 31 34 35 38 45 48 50 52 55 59 62 71 76 78 80 84 85 89 91 92 94 97 99 102 103 111 118 119 124 128 130 144 147 148 149 151 158 159 160 161 163 169 172 174 175 176 178 179 181 185 187 190 191 193 195 201 207 208 215 220 221 223 225 226 228 237 239 243 244 246 249 251 258 262 266 269 273 274 277 281 287 289 292 293 298 301 302 306 307 308 311 322 a 3 4 6 7 8 9 11 12 13 19 20 21 28 29 31 34 35 38 45 48 50 52 55 59 62 71 76 78 80 84 85 89 91 92 94 97 99 102 103 111 118 119 124 128 130 144 147 148 149 151 158 159 160 161 163 169 172 174 175 176 178 179 181 185 187 190 191 193 195 201 207 208 215 220 221 223 225 226 228 237 239 243 244 246 249 251 258 262 266 269 273 274 277 281 289 292 293 298 301 302 306 307 308 311 322 323 a 3 4 6 7 8 9 11 12 13 19 20 21 28 29 31 34 35 38 45 48 50 52 55 59 62 71 76 78 80 84 85 89 91 92 93 94 97 99 102 103 111 118 119 124 128 130 144 147 148 149 151 158 159 160 161 163 169 172 174 175 176 178 179 181 185 187 190 193 195 201 207 208 215 220 221 223 225 226 228 237 239 243 244 246 249 251 258 262 266 269 273 274 277 281 289 292 293 298 301 302 306 307 308 311 322 323 a 3 4 6 7 8 9 11 12 13 19 20 21 28 29 31 35 38 45 48 50 52 55 59 62 71 76 78 80 84 85 89 91 92 93 94 97 99 102 103 111 118 119 124 128 130 144 147 148 149 151 158 159 160 161 163 169 172 174 175 176 178 179 181 185 187 190 193 195 201 207 208 215 220 221 223 225 226 228 237 239 243 244 246 249 250 251 258 262 266 269 273 274 277 281 289 292 293 298 301 302 306 307 308 311 322 323 a 3 4 6 7 8 9 11 12 13 19 20 21 28 29 31 35 38 45 48 50 52 55 59 62 71 76 78 80 84 85 89 91 92 93 94 97 99 102 103 111 118 119 124 128 130 144 147 148 149 151 158 159 160 161 163 169 172 174 175 176 178 179 181 185 187 190 193 195 201 207 208 215 221 223 225 226 228 237 239 243 244 246 249 250 251 258 262 266 269 273 274 277 281 287 289 292 293 298 301 302 306 307 308 311 322 323 a 3 4 6 7 8 9 11 12 13 19 20 21 28 29 31 35 38 45 48 50 52 55 59 62 70 71 76 78 80 84 85 89 91 92 93 94 97 99 102 103 111 118 119 124 128 130 144 147 148 149 151 158 159 160 161 163 169 172 174 175 176 178 179 181 185 187 190 193 195 201 207 208 215 221 223 225 226 228 237 243 244 246 249 250 251 258 262 266 269 273 274 277 281 287 289 292 293 298 301 302 306 307 308 311 322 323 a 3 4 6 7 8 9 11 12 13 19 20 21 28 29 31 35 38 45 48 52 55 59 62 70 71 76 78 80 84 85 89 91 92 93 94 97 99 102 103 110 111 118 119 124 128 130 144 147 148 149 151 158 159 160 161 163 169 172 174 175 176 178 179 181 185 187 190 193 195 201 207 208 215 221 223 225 226 228 237 243 244 246 249 250 251 258 262 266 269 273 274 277 281 287 289 292 293 298 301 302 306 307 308 311 322 323 a 3 4 6 7 8 9 11 12 13 19 20 21 28 29 31 35 38 45 48 52 55 59 62 70 71 76 78 80 84 85 89 91 92 93 94 97 99 103 110 111 118 119 124 128 130 144 147 148 149 151 158 159 160 161 163 169 172 174 175 176 178 179 181 185 187 190 193 195 201 207 208 215 221 223 225 226 228 237 243 244 246 249 250 251 257 258 262 266 269 273 274 277 281 287 289 292 293 298 301 302 306 307 308 311 322 323 a 3 4 6 7 8 9 11 12 13 19 20 21 28 29 31 35 38 45 48 52 55 59 62 70 71 76 78 80 84 85 89 91 92 93 94 96 97 99 103 110 111 118 119 124 128 130 144 147 148 149 151 158 159 160 161 163 169 172 174 175 176 178 179 181 185 187 190 193 201 207 208 215 221 223 225 226 228 237 243 244 246 249 250 251 257 258 262 266 269 273 274 277 281 287 289 292 293 298 301 302 306 307 308 311 322 323 a 3 4 6 7 8 11 12 13 19 20 21 28 29 31 35 38 45 48 52 55 59 62 70 71 76 78 80 84 85 89 91 92 93 94 96 97 99 103 110 111 118 119 124 128 130 141 144 147 148 149 151 158 159 160 161 163 169 172 174 175 176 178 179 181 185 187 190 193 201 207 208 215 221 223 225 226 228 237 243 244 246 249 250 251 257 258 262 266 269 273 274 277 281 287 289 292 293 298 301 302 306 307 308 311 322 323 a 3 4 6 7 8 11 12 13 19 20 21 28 29 31 35 38 45 48 52 53 55 59 62 70 71 76 78 80 84 85 89 91 92 93 94 96 97 99 110 111 118 119 124 128 130 141 144 147 148 149 151 158 159 160 161 163 169 172 174 175 176 178 179 181 185 187 190 193 201 207 208 215 221 223 225 226 228 237 243 244 246 249 250 251 257 258 262 266 269 273 274 277 281 287 289 292 293 298 301 302 306 307 308 311 322 323 a 3 4 6 7 8 11 12 13 19 20 21 28 29 31 35 38 39 45 48 52 53 55 59 62 70 71 76 78 80 84 85 89 91 92 93 94 96 97 99 110 111 118 119 124 128 130 141 144 147 149 151 158 159 160 161 163 169 172 174 175 176 178 179 181 185 187 190 193 201 207 208 215 221 223 225 226 228 237 243 244 246 249 250 251 257 258 262 266 269 273 274 277 281 287 289 292 293 298 301 302 306 307 308 311 322 323 a 3 4 6 7 8 11 12 13 19 20 21 28 29 31 35 38 39 45 48 52 53 55 59 62 70 71 76 78 80 84 85 89 91 92 93 94 96 97 99 110 111 118 119 124 128 130 141 144 147 149 151 158 159 160 161 163 169 172 174 175 176 178 179 181 185 187 190 193 201 207 208 215 221 223 225 226 228 237 239 243 244 246 249 250 251 257 258 262 266 269 273 274 277 281 287 289 292 293 298 301 302 306 307 308 311 322 a 3 4 6 7 8 11 12 13 19 20 21 28 29 31 35 38 39 45 48 52 53 55 59 62 70 71 76 78 80 84 85 89 91 92 93 94 96 97 99 110 111 118 119 124 128 130 141 144 147 149 151 158 159 160 161 163 169 172 174 175 176 178 179 181 185 187 190 193 201 207 208 215 221 223 225 226 228 237 239 243 244 246 249 251 257 258 262 266 269 273 274 277 281 287 289 292 293 298 301 302 306 307 308 311 318 322 a 3 4 6 7 8 11 12 13 19 20 21 28 29 31 35 38 39 45 48 52 53 55 59 62 70 71 76 78 80 84 85 89 91 92 93 94 96 97 99 110 111 118 119 124 128 130 141 144 147 149 151 158 159 160 161 163 169 172 174 175 176 178 179 181 185 187 190 193 201 207 208 215 221 225 226 228 237 239 243 244 246 249 251 257 258 262 266 269 273 274 277 279 281 287 289 292 293 298 301 302 306 307 308 311 318 322 a 3 4 6 7 8 11 12 13 19 21 28 29 31 35 38 39 45 48 52 53 55 59 62 70 71 76 78 80 84 85 89 91 92 93 94 96 97 99 110 111 118 119 124 128 130 141 144 147 149 151 158 159 160 161 163 169 172 174 175 176 178 179 181 185 187 190 193 196 201 207 208 215 221 225 226 228 237 239 243 244 246 249 251 257 258 262 266 269 273 274 277 279 281 287 289 292 293 298 301 302 306 307 308 311 318 322 a 3 4 6 7 8 11 12 13 19 21 28 29 31 35 38 45 48 52 53 55 59 62 70 71 76 78 80 84 85 89 91 92 93 94 96 97 99 110 111 118 119 124 128 130 141 144 147 148 149 151 158 159 160 161 163 169 172 174 175 176 178 179 181 185 187 190 193 196 201 207 208 215 221 225 226 228 237 239 243 244 246 249 251 257 258 262 266 269 273 274 277 279 281 287 289 292 293 298 301 302 306 307 308 311 318 322 a 3 4 6 7 8 9 11 12 13 19 21 28 29 31 35 38 45 48 52 53 55 59 62 70 71 76 78 80 84 85 89 91 92 93 94 96 97 99 110 111 118 119 124 128 130 144 147 148 149 151 158 159 160 161 163 169 172 174 175 176 178 179 181 185 187 190 193 196 201 207 208 215 221 225 226 228 237 239 243 244 246 249 251 257 258 262 266 269 273 274 277 279 281 287 289 292 293 298 301 302 306 307 308 311 318 322 a 3 4 6 7 8 9 11 12 13 19 21 28 29 31 35 38 45 48 52 55 59 62 70 71 76 78 80 84 85 89 91 92 93 94 96 97 99 103 110 111 118 119 124 128 130 144 147 148 149 151 158 159 160 161 163 169 172 174 175 176 178 179 181 185 187 190 193 196 201 207 208 215 221 225 226 228 237 239 243 244 246 249 251 257 258 262 266 269 273 274 277 279 281 287 289 292 293 298 301 302 306 307 308 311 318 322 a 3 4 6 7 8 11 12 13 19 21 28 29 31 35 38 45 48 52 55 59 62 70 71 76 78 80 84 85 89 91 92 93 94 96 97 99 103 110 111 118 119 124 128 130 141 144 147 148 149 151 158 159 160 161 163 169 172 174 175 176 178 179 181 185 187 190 193 196 201 207 208 215 221 225 226 228 237 239 243 244 246 249 251 257 258 262 266 269 273 274 277 279 281 287 289 292 293 298 301 302 306 307 308 311 318 322 a 3 4 6 7 8 11 12 13 19 21 28 29 31 35 38 45 48 52 55 59 62 70 71 76 78 80 84 85 89 91 92 93 94 96 97 99 103 106 110 111 118 119 124 128 130 141 144 147 149 151 158 159 160 161 163 169 172 174 175 176 178 179 181 185 187 190 193 196 201 207 208 215 221 225 226 228 237 239 243 244 246 249 251 257 258 262 266 269 273 274 277 279 281 287 289 292 293 298 301 302 306 307 308 311 318 322 a 3 4 6 7 8 11 12 13 19 21 28 29 31 35 38 45 48 52 55 59 62 70 71 76 78 80 84 85 89 91 92 93 94 96 97 99 103 106 110 111 118 119 124 128 130 141 144 147 149 151 158 159 160 161 163 169 172 174 175 176 178 179 181 185 187 190 193 196 201 207 208 215 221 225 226 228 237 239 243 244 246 249 251 257 258 262 266 269 273 274 277 279 281 287 289 292 293 298 301 302 306 307 308 311 318 323 a 3 4 6 7 8 11 12 13 19 21 28 29 31 35 38 45 48 52 55 59 62 70 71 76 78 80 84 85 89 91 92 93 94 96 97 99 103 106 110 111 118 119 124 128 130 138 141 144 147 149 151 158 159 160 161 163 169 172 174 175 176 178 179 181 185 187 190 193 196 201 207 208 215 221 225 228 237 239 243 244 246 249 251 257 258 262 266 269 273 274 277 279 281 287 289 292 293 298 301 302 306 307 308 311 318 323 a 3 4 6 7 8 11 12 13 19 21 28 29 31 35 38 45 46 48 52 55 59 62 70 71 76 78 80 84 85 89 91 92 93 94 96 97 99 103 106 110 111 118 119 124 128 130 138 141 144 147 149 151 158 159 160 161 163 169 172 174 175 176 178 179 181 185 187 190 193 196 201 207 208 215 221 225 228 237 239 243 244 246 249 251 257 258 262 266 269 274 277 279 281 287 289 292 293 298 301 302 306 307 308 311 318 323 a 3 4 6 7 8 11 12 13 19 21 23 28 29 31 35 38 45 46 48 52 55 59 62 70 71 76 78 80 84 85 89 91 92 93 94 97 99 103 106 110 111 118 119 124 128 130 138 141 144 147 149 151 158 159 160 161 163 169 172 174 175 176 178 179 181 185 187 190 193 196 201 207 208 215 221 225 228 237 239 243 244 246 249 251 257 258 262 266 269 274 277 279 281 287 289 292 293 298 301 302 306 307 308 311 318 323 a 3 4 6 7 8 11 12 13 19 21 23 28 29 31 35 38 45 46 48 52 55 59 62 70 71 76 78 80 81 84 85 89 91 92 93 94 97 99 103 106 110 111 118 119 124 128 130 138 141 144 147 149 151 158 159 160 161 163 169 172 174 175 176 178 179 181 185 187 193 196 201 207 208 215 221 225 228 237 239 243 244 246 249 251 257 258 262 266 269 274 277 279 281 287 289 292 293 298 301 302 306 307 308 311 318 323 a 3 4 6 7 8 11 12 13 19 21 23 28 29 31 35 38 39 45 46 48 52 55 59 62 70 71 76 78 80 81 84 85 89 91 92 93 94 97 99 103 106 110 111 118 119 124 128 130 138 141 144 147 149 151 158 159 160 161 163 169 172 174 175 176 178 179 181 185 187 193 196 201 207 208 215 221 225 228 237 239 243 244 246 249 251 257 258 262 266 269 274 277 279 281 287 289 292 293 298 301 302 306 307 308 311 323 a 3 4 6 7 8 11 12 13 19 21 23 28 29 31 35 38 39 45 46 48 52 55 59 62 70 71 76 78 80 81 84 85 89 91 92 93 94 97 99 103 106 110 111 118 119 124 128 130 138 141 144 147 149 151 158 159 160 161 163 169 172 174 175 176 178 179 181 185 187 193 195 196 201 207 208 215 221 225 228 237 239 243 244 246 249 251 257 258 262 266 269 274 277 279 281 287 289 292 293 298 301 302 306 307 308 311 a 3 4 6 7 8 11 12 13 18 19 21 23 28 29 31 35 38 39 45 46 48 52 55 59 62 70 71 76 78 80 81 84 85 89 91 92 93 94 97 99 103 106 111 118 119 124 128 130 138 141 144 147 149 151 158 159 160 161 163 169 172 174 175 176 178 179 181 185 187 193 195 196 201 207 208 215 221 225 228 237 239 243 244 246 249 251 257 258 262 266 269 274 277 279 281 287 289 292 293 298 301 302 306 307 308 311 a 3 4 6 7 8 11 12 13 18 19 20 21 23 28 29 31 35 38 39 45 46 48 52 55 59 62 70 71 76 78 80 81 84 85 89 91 92 93 94 97 99 103 106 111 118 119 124 128 130 138 141 144 147 149 151 158 159 160 161 163 169 172 174 175 176 178 179 181 185 187 193 195 201 207 208 215 221 225 228 237 239 243 244 246 249 251 257 258 262 266 269 274 277 279 281 287 289 292 293 298 301 302 306 307 308 311 a 3 4 6 7 8 11 12 13 18 19 20 21 23 28 29 31 35 38 39 45 46 48 52 55 59 62 70 71 76 78 80 81 84 85 89 91 92 93 94 97 99 103 106 111 118 119 124 128 130 138 141 144 147 149 151 158 159 160 161 163 169 172 174 175 176 178 179 181 185 187 193 195 201 207 208 215 221 225 228 237 239 243 244 246 249 251 255 257 258 262 266 269 274 277 279 281 287 289 292 293 298 301 302 306 307 308 a 3 4 6 7 8 11 12 13 18 19 20 21 23 28 29 31 35 38 39 45 46 48 52 55 59 62 70 71 76 78 80 81 84 85 89 91 92 93 94 97 99 103 106 111 113 118 124 128 130 138 141 144 147 149 151 158 159 160 161 163 169 172 174 175 176 178 179 181 185 187 193 195 201 207 208 215 221 225 228 237 239 243 244 246 249 251 255 257 258 262 266 269 274 277 279 281 287 289 292 293 298 301 302 306 307 308 a 3 4 6 7 8 11 12 13 18 19 20 21 23 28 29 31 35 38 39 45 46 48 52 55 59 62 70 71 76 78 80 81 84 85 89 91 92 93 94 97 99 103 106 111 113 118 124 128 130 138 141 144 147 149 151 158 159 160 161 163 169 172 174 175 176 178 179 181 185 187 193 201 207 208 215 221 225 228 237 239 243 244 246 249 251 255 257 258 262 266 269 274 277 279 281 287 289 292 293 298 301 302 306 307 308 318 a 3 4 6 7 11 12 13 18 19 20 21 23 25 28 29 31 35 38 39 45 46 48 52 55 59 62 70 71 76 78 80 81 84 85 89 91 92 93 94 97 99 103 106 111 113 118 124 128 130 138 141 144 147 149 151 158 159 160 161 163 169 172 174 175 176 178 179 181 185 187 193 201 207 208 215 221 225 228 237 239 243 244 246 249 251 255 257 258 262 266 269 274 277 279 281 287 289 292 293 298 301 302 306 307 308 318 a 3 4 6 7 11 12 13 18 19 20 21 23 25 28 29 31 35 38 39 45 46 52 55 59 62 70 71 76 78 80 81 84 85 89 91 92 93 94 97 99 103 106 111 113 118 124 128 130 138 141 144 147 149 151 158 159 160 161 163 169 172 174 175 176 178 179 181 185 187 193 201 207 208 215 221 225 228 237 239 243 244 246 249 251 255 257 258 262 266 269 274 277 279 281 287 289 292 293 298 301 302 306 307 308 318 322 a 3 4 6 7 11 12 13 18 19 20 21 23 25 28 29 31 35 38 39 45 46 52 55 59 62 70 71 76 78 80 81 84 85 89 91 92 93 94 97 99 103 106 111 113 118 124 128 130 138 141 144 147 149 151 159 160 161 163 164 169 172 174 175 176 178 179 181 185 187 193 201 207 208 215 221 225 228 237 239 243 244 246 249 251 255 257 258 262 266 269 274 277 279 281 287 289 292 293 298 301 302 306 307 308 318 322 a 3 4 6 7 11 12 13 18 19 20 21 23 25 28 29 31 35 38 39 45 46 52 55 59 62 70 71 76 78 80 81 84 85 89 91 92 93 94 97 99 103 106 111 113 118 121 124 128 130 138 141 144 147 149 151 159 160 161 163 164 169 172 174 175 176 178 179 181 185 187 193 201 207 208 215 221 225 228 237 239 243 244 246 249 251 255 257 258 262 266 269 274 277 279 281 289 292 293 298 301 302 306 307 308 318 322 a 3 4 6 7 11 12 13 18 19 20 21 23 25 28 29 31 33 35 38 39 45 46 52 55 59 62 70 71 76 78 80 81 84 85 89 91 92 93 94 97 99 103 106 111 113 118 121 124 128 130 138 141 144 147 149 151 159 160 161 163 164 169 172 174 175 176 178 179 181 185 187 193 201 207 208 215 221 225 228 237 239 243 244 246 249 251 255 257 258 262 266 269 274 277 279 281 289 292 298 301 302 306 307 308 318 322 a 3 4 6 7 11 12 13 18 19 20 21 23 25 28 29 31 33 35 38 39 45 46 52 55 59 62 70 71 76 78 80 81 84 85 89 91 92 93 94 97 99 103 106 111 113 118 121 124 128 130 138 141 144 147 149 151 159 160 161 163 164 169 172 174 175 176 178 179 181 185 187 193 201 207 208 215 221 225 228 235 237 239 243 244 246 249 251 255 257 258 262 266 269 274 277 279 281 289 292 298 301 306 307 308 318 322 a 3 4 6 7 11 13 18 19 20 21 23 24 25 28 29 31 33 35 38 39 45 46 52 55 59 62 70 71 76 78 80 81 84 85 89 91 92 93 94 97 99 103 106 111 113 118 121 124 128 130 138 141 144 147 149 151 159 160 161 163 164 169 172 174 175 176 178 179 181 185 187 193 201 207 208 215 221 225 228 235 237 239 243 244 246 249 251 255 257 258 262 266 269 274 277 279 281 289 292 298 301 306 307 308 318 322 a 3 4 6 7 11 13 18 19 20 21 23 24 25 28 29 31 33 35 38 39 45 46 49 52 55 59 62 70 71 76 78 80 81 84 85 89 91 92 93 94 97 99 103 106 111 113 118 121 124 128 130 138 141 144 147 149 151 160 161 163 164 169 172 174 175 176 178 179 181 185 187 193 201 207 208 215 221 225 228 235 237 239 243 244 246 249 251 255 257 258 262 266 269 274 277 279 281 289 292 298 301 306 307 308 318 322 a 3 4 6 7 11 13 18 19 20 21 23 24 25 28 29 31 33 35 38 39 43 45 46 49 52 55 59 62 70 71 76 78 80 81 84 85 89 91 92 93 94 97 99 103 106 111 113 118 121 124 128 130 138 141 144 147 149 151 160 161 163 164 169 172 175 176 178 179 181 185 187 193 201 207 208 215 221 225 228 235 237 239 243 244 246 249 251 255 257 258 262 266 269 274 277 279 281 289 292 298 301 306 307 308 318 322 a 3 4 6 7 11 13 18 19 20 21 23 24 25 28 29 31 33 35 38 39 43 45 46 49 52 55 59 62 70 71 76 78 80 81 84 85 89 91 92 93 94 97 99 103 106 111 113 118 121 124 128 130 138 141 142 144 147 149 151 160 161 163 164 169 172 175 176 178 179 181 185 187 193 207 208 215 221 225 228 235 237 239 243 244 246 249 251 255 257 258 262 266 269 274 277 279 281 289 292 298 301 306 307 308 318 322 a 3 4 6 7 11 13 18 19 20 21 23 24 25 28 29 31 33 35 38 39 43 45 46 49 52 53 55 59 62 70 71 76 78 80 81 84 85 89 91 92 93 94 97 99 106 111 113 118 121 124 128 130 138 141 142 144 147 149 151 160 161 163 164 169 172 175 176 178 179 181 185 187 193 207 208 215 221 225 228 235 237 239 243 244 246 249 251 255 257 258 262 266 269 274 277 279 281 289 292 298 301 306 307 308 318 322 a 3 4 6 7 11 13 18 19 20 21 23 24 25 28 29 31 33 35 38 39 43 45 46 49 52 53 55 59 62 70 71 76 78 80 81 84 85 89 91 92 93 94 97 99 106 111 113 118 121 124 128 130 141 142 144 147 149 151 157 160 161 163 164 169 172 175 176 178 179 181 185 187 193 207 208 215 221 225 228 235 237 239 243 244 246 249 251 255 257 258 262 266 269 274 277 279 281 289 292 298 301 306 307 308 318 322 a 3 4 6 7 11 13 18 19 20 21 23 24 25 28 29 31 33 35 38 39 43 45 46 49 52 53 55 59 62 70 71 76 78 81 84 85 89 91 92 93 94 97 99 106 111 113 118 121 124 128 130 135 141 142 144 147 149 151 157 160 161 163 164 169 172 175 176 178 179 181 185 187 193 207 208 215 221 225 228 235 237 239 243 244 246 249 251 255 257 258 262 266 269 274 277 279 281 289 292 298 301 306 307 308 318 322 a 3 4 6 7 11 13 18 19 20 21 23 24 25 28 29 31 33 35 38 39 43 45 46 49 52 53 55 59 62 67 70 71 76 78 81 84 85 89 91 92 93 94 97 99 106 111 113 118 121 124 128 130 135 141 142 144 147 149 151 157 160 161 163 164 169 172 175 176 178 179 181 185 187 193 207 208 215 221 225 228 235 237 239 243 244 246 249 251 255 257 258 262 266 269 274 279 281 289 292 298 301 306 307 308 318 322 a 3 4 6 7 11 13 18 19 20 21 23 24 25 28 29 31 33 35 38 39 43 45 46 47 49 52 53 55 59 62 67 70 71 76 78 81 84 85 89 91 92 93 94 97 99 106 111 113 118 121 124 128 130 135 141 142 144 147 149 151 157 160 161 163 164 169 172 175 176 178 179 181 185 187 193 207 208 215 221 225 228 235 237 239 244 246 249 251 255 257 258 262 266 269 274 279 281 289 292 298 301 306 307 308 318 322 a 3 4 6 7 11 13 18 20 21 23 24 25 28 29 31 33 35 38 39 42 43 45 46 47 49 52 53 55 59 62 67 70 71 76 78 81 84 85 89 91 92 93 94 97 99 106 111 113 118 121 124 128 130 135 141 142 144 147 149 151 157 160 161 163 164 169 172 175 176 178 179 181 185 187 193 207 208 215 221 225 228 235 237 239 244 246 249 251 255 257 258 262 266 269 274 279 281 289 292 298 301 306 307 308 318 322 a 3 4 6 7 11 13 18 20 21 23 24 25 28 29 31 33 35 38 39 42 43 45 46 47 49 52 53 55 59 62 67 70 71 76 78 81 84 85 89 91 92 93 94 97 99 106 111 113 118 121 124 128 130 135 141 142 144 147 149 151 157 160 161 163 164 169 172 175 176 178 179 181 185 187 193 207 208 215 221 225 228 235 237 239 244 246 249 251 255 257 258 262 266 269 274 279 281 289 290 292 298 306 307 308 318 322 a 3 4 6 7 11 13 18 20 21 23 24 25 28 29 31 33 35 38 39 42 43 45 46 47 49 52 53 55 59 62 67 70 71 76 78 81 84 85 89 91 92 93 94 97 99 106 111 113 118 121 124 128 130 135 141 142 144 147 149 151 157 160 161 163 164 169 172 175 178 179 181 185 187 193 207 208 215 221 225 228 235 237 239 244 246 249 251 255 257 258 262 266 269 272 274 279 281 289 290 292 298 306 307 308 318 322 a 3 4 6 7 11 13 18 20 21 23 24 25 28 29 31 33 35 38 39 42 43 45 46 47 49 52 53 55 59 62 67 71 76 78 81 84 85 89 91 92 93 94 97 99 106 111 113 118 121 124 128 130 135 141 142 144 147 149 151 157 160 161 163 164 169 172 175 178 179 181 185 187 193 207 208 215 221 225 228 235 237 239 244 246 249 251 255 257 258 262 266 269 272 274 276 279 281 289 290 292 298 306 307 308 318 322 a 3 6 7 11 13 18 20 21 23 24 25 28 29 31 33 35 38 39 42 43 45 46 47 49 52 53 55 59 62 67 71 76 78 81 84 85 89 91 92 93 94 97 99 106 111 113 118 121 124 128 130 135 141 142 144 147 149 151 157 160 161 163 164 169 172 175 178 179 181 185 187 193 207 208 215 221 225 227 228 235 237 239 244 246 249 251 255 257 258 262 266 269 272 274 276 279 281 289 290 292 298 306 307 308 318 322 a 3 6 7 11 13 18 20 21 23 24 25 28 29 31 33 35 38 39 42 43 45 46 47 49 52 53 55 59 62 67 71 76 78 81 84 85 89 91 93 94 97 99 106 111 113 118 121 124 128 130 135 141 142 144 147 149 151 157 160 161 163 164 169 172 175 177 178 179 181 185 187 193 207 208 215 221 225 227 228 235 237 239 244 246 249 251 255 257 258 262 266 269 272 274 276 279 281 289 290 292 298 306 307 308 318 322 a 3 6 7 11 13 18 20 21 23 24 25 28 29 31 33 35 38 39 42 43 45 46 47 49 52 53 55 59 62 67 71 72 76 78 81 84 85 89 91 93 94 97 99 106 111 113 118 121 124 128 130 135 141 142 144 147 149 151 157 160 161 163 164 169 172 175 177 178 179 181 185 187 193 207 208 215 221 225 227 228 235 237 239 244 246 249 251 255 257 258 262 266 269 272 274 276 279 289 290 292 298 306 307 308 318 322 a 3 6 7 11 13 18 20 21 23 24 25 28 29 31 33 35 38 39 42 43 45 46 47 49 52 53 55 59 62 67 71 72 76 78 81 84 85 89 91 93 94 97 99 106 111 113 118 121 124 128 130 135 141 142 144 147 149 151 157 160 161 163 164 169 172 175 177 178 179 181 185 187 193 207 208 215 221 225 227 228 235 237 244 246 249 251 255 257 258 262 266 269 272 274 276 279 289 290 292 298 304 306 307 308 318 322 a 3 6 7 11 13 18 20 21 23 24 25 28 29 31 33 35 38 39 42 43 45 46 47 49 52 53 55 59 62 67 71 72 76 78 81 84 85 91 93 94 97 99 106 111 113 118 121 124 128 130 135 141 142 144 147 149 151 157 160 161 163 164 169 172 175 177 178 179 181 185 187 193 207 208 215 221 225 227 228 235 237 244 246 249 251 255 257 258 262 266 269 272 274 276 279 289 290 292 298 304 306 307 308 313 318 322 a 3 6 7 11 13 18 20 21 23 24 25 28 29 31 33 35 38 39 42 43 45 46 47 49 52 53 55 59 62 67 71 72 76 78 81 84 85 91 93 94 97 99 106 111 113 118 121 124 128 129 130 135 141 142 144 147 149 151 157 160 161 163 164 169 172 177 178 179 181 185 187 193 207 208 215 221 225 227 228 235 237 244 246 249 251 255 257 258 262 266 269 272 274 276 279 289 290 292 298 304 306 307 308 313 318 322 a 3 6 7 11 13 18 20 21 23 24 25 28 29 31 33 35 38 39 42 43 45 46 47 49 52 53 55 59 62 67 71 72 76 78 81 84 85 91 93 94 97 99 106 111 113 118 121 124 128 129 130 135 141 142 144 147 149 151 157 160 161 163 164 169 170 172 177 178 179 181 185 187 193 207 208 215 221 225 227 235 237 244 246 249 251 255 257 258 262 266 269 272 274 276 279 289 290 292 298 304 306 307 308 313 318 322 a 3 6 7 11 13 18 20 21 23 24 25 28 29 31 33 35 38 39 42 43 45 46 47 49 52 53 55 59 62 67 71 72 76 78 81 84 85 91 93 94 97 99 106 111 113 118 121 124 128 129 130 135 141 142 144 147 149 151 157 160 161 163 164 169 170 177 178 179 181 185 187 193 207 208 215 221 225 227 235 237 244 246 247 249 251 255 257 258 262 266 269 272 274 276 279 289 290 292 298 304 306 307 308 313 318 322 a 3 6 7 11 13 18 20 21 23 24 25 28 29 31 33 35 38 39 42 43 45 46 47 49 52 53 55 59 62 67 71 72 76 78 81 84 85 91 93 94 97 99 106 111 113 118 121 124 128 129 130 135 141 142 144 147 149 151 155 157 160 161 163 164 169 170 177 178 179 181 185 187 207 208 215 221 225 227 235 237 244 246 247 249 251 255 257 258 262 266 269 272 274 276 279 289 290 292 298 304 306 307 308 313 318 322 a 3 6 7 11 13 18 20 21 23 24 25 28 29 31 33 35 38 39 42 43 45 46 47 49 52 53 55 59 62 67 71 72 76 78 81 84 85 91 93 94 97 99 106 111 113 118 121 124 128 129 130 135 141 142 144 147 149 151 155 157 160 161 163 164 169 170 177 179 181 185 187 207 208 215 221 225 227 235 237 244 246 247 249 251 255 257 258 261 262 266 269 272 274 276 279 289 290 292 298 304 306 307 308 313 318 322 a 3 6 7 11 13 18 20 21 23 24 25 28 29 31 33 35 38 39 42 43 45 46 47 49 52 53 55 59 62 67 71 72 76 78 81 84 85 91 93 94 97 99 106 111 113 118 121 124 128 129 130 135 141 142 144 147 149 151 155 157 160 161 163 164 169 170 177 179 181 185 187 207 208 215 221 222 225 227 235 244 246 247 249 251 255 257 258 261 262 266 269 272 274 276 279 289 290 292 298 304 306 307 308 313 318 322 a 3 6 7 11 13 18 20 21 23 24 25 28 29 31 33 35 38 39 42 43 45 46 47 49 52 53 55 59 62 67 71 72 76 78 81 84 85 93 94 97 99 106 111 113 118 121 124 128 129 130 135 136 141 142 144 147 149 151 155 157 160 161 163 164 169 170 177 179 181 185 187 207 208 215 221 222 225 227 235 244 246 247 249 251 255 257 258 261 262 266 269 272 274 276 279 289 290 292 298 304 306 307 308 313 318 322 a 3 6 7 11 13 18 20 21 23 24 25 28 29 31 33 35 38 39 42 43 45 46 47 49 52 53 55 56 59 62 67 72 76 78 81 84 85 93 94 97 99 106 111 113 118 121 124 128 129 130 135 136 141 142 144 147 149 151 155 157 160 161 163 164 169 170 177 179 181 185 187 207 208 215 221 222 225 227 235 244 246 247 249 251 255 257 258 261 262 266 269 272 274 276 279 289 290 292 298 304 306 307 308 313 318 322 a 3 6 7 11 13 18 20 21 23 24 25 28 29 31 33 35 38 39 42 43 45 46 47 49 52 53 55 56 59 62 67 72 76 78 81 84 85 93 94 97 99 106 111 113 118 121 124 128 129 130 135 136 141 142 144 147 149 151 155 157 160 161 163 164 169 170 177 179 181 185 187 207 208 215 221 222 225 227 235 244 246 247 249 251 255 257 261 262 266 269 272 274 276 279 289 290 292 298 304 306 307 308 313 318 321 322 a 3 6 7 11 13 18 20 21 23 24 25 28 29 31 33 35 38 39 42 43 45 46 47 49 52 53 55 56 59 62 67 72 76 78 81 84 85 93 94 97 99 106 111 113 118 121 124 128 129 130 135 136 137 141 142 144 147 149 151 155 157 160 161 163 164 169 170 177 179 181 185 187 207 208 215 221 222 225 227 235 244 246 247 249 251 255 257 261 262 266 269 272 274 276 279 290 292 298 304 306 307 308 313 318 321 322 a 3 6 7 11 13 18 20 21 23 24 25 28 29 31 33 35 38 39 42 43 45 46 47 49 52 53 55 56 59 62 67 72 76 78 81 84 85 93 94 97 99 106 111 113 118 121 124 128 129 135 136 137 141 142 144 147 149 151 155 157 160 161 163 164 169 170 177 179 181 182 185 187 207 208 215 221 222 225 227 235 244 246 247 249 251 255 257 261 262 266 269 272 274 276 279 290 292 298 304 306 307 308 313 318 321 322 a 3 6 7 11 13 18 20 21 23 24 25 28 29 31 33 35 38 39 42 43 45 46 47 49 52 53 55 56 59 62 67 72 76 78 81 84 85 93 94 97 99 106 111 113 118 121 124 128 129 135 136 137 141 142 144 147 149 151 155 157 160 161 163 164 169 170 177 179 181 182 185 187 207 208 215 221 222 225 227 235 244 246 247 249 251 255 257 261 262 266 269 272 274 276 279 290 292 304 306 307 308 309 313 318 321 322 a 3 6 7 11 13 18 20 21 23 24 25 28 29 31 33 38 39 42 43 45 46 47 49 52 53 55 56 59 62 67 72 76 78 81 84 85 93 94 97 99 106 111 113 118 121 124 128 129 135 136 137 141 142 144 147 149 151 154 155 157 160 161 163 164 169 170 177 179 181 182 185 187 207 208 215 221 222 225 227 235 244 246 247 249 251 255 257 261 262 266 269 272 274 276 279 290 292 304 306 307 308 309 313 318 321 322 a 3 6 7 11 13 18 20 21 23 24 25 28 29 31 33 36 38 39 42 43 45 46 47 49 52 53 55 56 59 62 67 72 76 78 81 84 85 93 94 97 99 106 111 113 118 121 124 128 129 135 136 137 141 142 144 147 149 151 154 155 157 160 161 163 164 169 170 177 179 181 182 185 187 208 215 221 222 225 227 235 244 246 247 249 251 255 257 261 262 266 269 272 274 276 279 290 292 304 306 307 308 309 313 318 321 322 a 3 6 7 11 13 18 20 21 23 24 25 28 29 31 33 36 38 39 42 43 45 46 47 49 52 53 55 56 59 62 67 72 76 78 81 85 93 94 97 99 106 111 113 118 121 124 128 129 135 136 137 141 142 144 147 149 151 154 155 157 160 161 163 164 169 170 177 179 181 182 185 187 208 215 221 222 225 227 235 244 246 247 249 251 255 257 261 262 266 269 272 274 276 279 286 290 292 304 306 307 308 309 313 318 321 322 a 3 6 7 11 13 18 20 21 23 24 25 29 31 33 36 38 39 42 43 45 46 47 49 52 53 55 56 59 62 67 72 76 78 81 85 93 94 97 99 106 111 113 118 121 124 128 129 135 136 137 141 142 144 147 149 151 154 155 157 160 161 163 164 169 170 177 179 180 181 182 185 187 208 215 221 222 225 227 235 244 246 247 249 251 255 257 261 262 266 269 272 274 276 279 286 290 292 304 306 307 308 309 313 318 321 322 a 3 6 7 11 13 18 20 21 23 24 25 29 31 33 36 38 39 42 43 45 46 47 49 52 53 55 56 59 62 67 72 76 78 81 85 93 94 97 99 106 111 113 118 121 124 128 129 135 136 137 141 142 144 147 149 151 154 155 157 160 161 163 164 169 170 173 177 179 180 181 182 185 187 208 215 221 222 225 227 235 244 246 247 249 251 255 257 261 262 266 269 272 274 276 279 286 290 292 304 307 308 309 313 318 321 322 a 3 6 7 11 13 18 20 21 23 24 25 29 31 33 36 38 39 42 43 45 46 47 49 52 53 55 56 59 62 67 72 75 76 78 81 85 93 94 97 99 106 111 113 121 124 128 129 135 136 137 141 142 144 147 149 151 154 155 157 160 161 163 164 169 170 173 177 179 180 181 182 185 187 208 215 221 222 225 227 235 244 246 247 249 251 255 257 261 262 266 269 272 274 276 279 286 290 292 304 307 308 309 313 318 321 322 a 3 6 7 11 13 18 20 21 23 24 25 27 29 31 33 36 38 39 42 43 45 46 47 49 52 53 55 56 59 62 67 72 75 76 78 81 85 93 94 97 99 106 111 113 121 124 128 129 135 136 137 141 142 144 147 149 151 154 155 157 160 161 163 164 169 170 173 177 179 180 181 182 185 187 208 215 221 222 225 227 235 244 246 247 251 255 257 261 262 266 269 272 274 276 279 286 290 292 304 307 308 309 313 318 321 322 a 3 6 7 11 13 18 20 21 23 24 25 27 29 33 36 38 39 42 43 45 46 47 49 52 53 55 56 59 62 67 72 75 76 78 81 85 88 93 94 97 99 106 111 113 121 124 128 129 135 136 137 141 142 144 147 149 151 154 155 157 160 161 163 164 169 170 173 177 179 180 181 182 185 187 208 215 221 222 225 227 235 244 246 247 251 255 257 261 262 266 269 272 274 276 279 286 290 292 304 307 308 309 313 318 321 322 a 3 6 7 11 13 18 20 21 23 24 25 27 29 33 36 39 42 43 44 45 46 47 49 52 53 55 56 59 62 67 72 75 76 78 81 85 88 93 94 97 99 106 111 113 121 124 128 129 135 136 137 141 142 144 147 149 151 154 155 157 160 161 163 164 169 170 173 177 179 180 181 182 185 187 208 215 221 222 225 227 235 244 246 247 251 255 257 261 262 266 269 272 274 276 279 286 290 292 304 307 308 309 313 318 321 322 a 3 6 7 11 13 18 20 21 23 24 25 27 29 33 36 39 42 43 44 45 46 47 49 52 53 55 56 59 62 67 72 75 76 78 81 85 88 93 94 97 99 106 111 113 121 124 128 129 135 136 137 141 142 144 147 149 151 154 155 157 160 161 163 164 169 170 173 177 179 180 181 182 185 187 208 214 215 221 222 227 235 244 246 247 251 255 257 261 262 266 269 272 274 276 279 286 290 292 304 307 308 309 313 318 321 322 a 6 7 11 13 18 20 21 23 24 25 27 29 33 36 39 42 43 44 45 46 47 49 52 53 55 56 59 62 67 72 75 76 78 81 85 88 93 94 97 99 106 111 113 114 121 124 128 129 135 136 137 141 142 144 147 149 151 154 155 157 160 161 163 164 169 170 173 177 179 180 181 182 185 187 208 214 215 221 222 227 235 244 246 247 251 255 257 261 262 266 269 272 274 276 279 286 290 292 304 307 308 309 313 318 321 322 a 6 7 11 13 17 18 20 21 23 24 25 27 29 33 36 39 42 43 44 45 46 47 49 53 55 56 59 62 67 72 75 76 78 81 85 88 93 94 97 99 106 111 113 114 121 124 128 129 135 136 137 141 142 144 147 149 151 154 155 157 160 161 163 164 169 170 173 177 179 180 181 182 185 187 208 214 215 221 222 227 235 244 246 247 251 255 257 261 262 266 269 272 274 276 279 286 290 292 304 307 308 309 313 318 321 322 a 6 7 11 13 17 18 20 21 23 24 25 27 29 33 36 39 42 43 44 45 46 47 49 53 55 56 59 62 67 72 75 76 78 81 85 88 93 94 97 99 106 111 113 114 121 124 128 129 135 136 137 141 142 144 147 149 151 154 155 157 160 161 163 164 169 170 173 177 180 181 182 185 187 208 214 215 217 221 222 227 235 244 246 247 251 255 257 261 262 266 269 272 274 276 279 286 290 292 304 307 308 309 313 318 321 322 a 6 7 11 13 17 18 20 21 23 24 25 27 29 33 36 39 42 43 44 45 46 47 49 53 55 56 59 62 63 67 72 75 76 78 81 85 88 93 94 97 99 106 111 113 114 121 124 128 129 135 136 137 141 142 144 147 149 151 154 155 157 160 161 163 164 169 170 173 177 180 181 182 185 187 208 214 217 221 222 227 235 244 246 247 251 255 257 261 262 266 269 272 274 276 279 286 290 292 304 307 308 309 313 318 321 322 a 6 7 11 13 17 18 20 21 23 24 25 27 29 33 36 39 42 43 44 45 46 47 49 53 55 56 59 62 63 67 72 75 76 78 81 85 88 93 94 97 99 106 111 113 114 121 124 129 135 136 137 141 142 144 147 149 151 154 155 157 160 161 163 164 169 170 173 177 180 181 182 185 187 208 214 217 221 222 227 235 236 244 246 247 251 255 257 261 262 266 269 272 274 276 279 286 290 292 304 307 308 309 313 318 321 322 a 6 7 11 13 17 18 20 21 23 24 25 27 29 33 36 39 42 43 44 45 46 47 49 53 55 56 59 62 63 67 68 72 75 76 78 81 85 88 93 94 97 99 111 113 114 121 124 129 135 136 137 141 142 144 147 149 151 154 155 157 160 161 163 164 169 170 173 177 180 181 182 185 187 208 214 217 221 222 227 235 236 244 246 247 251 255 257 261 262 266 269 272 274 276 279 286 290 292 304 307 308 309 313 318 321 322 a 6 7 11 13 17 18 20 21 23 24 25 27 29 33 36 39 42 43 44 45 46 47 49 53 55 56 59 60 62 63 67 68 72 75 76 78 81 85 88 93 94 97 99 111 113 114 121 124 129 135 136 137 141 142 144 147 149 154 155 157 160 161 163 164 169 170 173 177 180 181 182 185 187 208 214 217 221 222 227 235 236 244 246 247 251 255 257 261 262 266 269 272 274 276 279 286 290 292 304 307 308 309 313 318 321 322 a 6 7 11 13 17 18 20 21 23 24 25 27 29 33 36 39 42 43 44 45 46 47 49 53 55 56 59 60 62 63 67 68 72 75 76 78 81 85 88 93 94 97 99 111 113 114 121 124 129 135 136 137 140 141 142 144 147 149 154 155 157 160 161 163 164 169 170 173 177 180 181 182 185 187 208 214 217 221 222 227 235 236 246 247 251 255 257 261 262 266 269 272 274 276 279 286 290 292 304 307 308 309 313 318 321 322 a 6 7 11 13 17 18 20 21 23 24 25 27 29 33 36 39 42 43 44 45 46 47 49 53 55 56 59 60 62 63 67 68 72 75 76 78 81 85 88 94 97 99 111 113 114 121 124 129 135 136 137 140 141 142 144 147 149 152 154 155 157 160 161 163 164 169 170 173 177 180 181 182 185 187 208 214 217 221 222 227 235 236 246 247 251 255 257 261 262 266 269 272 274 276 279 286 290 292 304 307 308 309 313 318 321 322 a 6 7 11 13 17 18 20 21 23 24 25 27 29 33 36 39 42 43 44 45 46 47 49 53 55 56 59 60 62 63 67 68 72 75 76 81 85 88 94 97 99 101 111 113 114 121 124 129 135 136 137 140 141 142 144 147 149 152 154 155 157 160 161 163 164 169 170 173 177 180 181 182 185 187 208 214 217 221 222 227 235 236 246 247 251 255 257 261 262 266 269 272 274 276 279 286 290 292 304 307 308 309 313 318 321 322 a 6 7 11 13 17 18 20 23 24 25 27 29 33 36 39 42 43 44 45 46 47 49 53 55 56 59 60 62 63 67 68 72 75 76 81 85 88 94 97 99 101 108 111 113 114 121 124 129 135 136 137 140 141 142 144 147 149 152 154 155 157 160 161 163 164 169 170 173 177 180 181 182 185 187 208 214 217 221 222 227 235 236 246 247 251 255 257 261 262 266 269 272 274 276 279 286 290 292 304 307 308 309 313 318 321 322 a 6 7 11 13 14 17 18 20 23 24 25 27 29 33 36 39 42 43 44 45 46 47 49 53 55 56 59 60 62 63 67 68 72 75 76 81 85 88 94 97 99 101 108 111 113 114 121 124 129 135 136 137 140 141 142 144 147 149 152 154 155 157 160 161 163 164 169 170 173 177 180 182 185 187 208 214 217 221 222 227 235 236 246 247 251 255 257 261 262 266 269 272 274 276 279 286 290 292 304 307 308 309 313 318 321 322 a 6 7 11 13 14 17 18 20 23 24 25 27 29 33 36 39 41 42 43 44 45 47 49 53 55 56 59 60 62 63 67 68 72 75 76 81 85 88 94 97 99 101 108 111 113 114 121 124 129 135 136 137 140 141 142 144 147 149 152 154 155 157 160 161 163 164 169 170 173 177 180 182 185 187 208 214 217 221 222 227 235 236 246 247 251 255 257 261 262 266 269 272 274 276 279 286 290 292 304 307 308 309 313 318 321 322 a 6 7 11 13 14 17 18 20 23 24 25 27 29 33 36 39 41 42 43 44 45 47 49 53 55 56 59 60 62 63 67 68 72 75 76 81 85 88 94 99 101 108 111 113 114 121 124 129 135 136 137 140 141 142 144 147 149 152 153 154 155 157 160 161 163 164 169 170 173 177 180 182 185 187 208 214 217 221 222 227 235 236 246 247 251 255 257 261 262 266 269 272 274 276 279 286 290 292 304 307 308 309 313 318 321 322 a 1 6 7 11 13 14 17 18 20 23 24 25 27 29 33 36 41 42 43 44 45 47 49 53 55 56 59 60 62 63 67 68 72 75 76 81 85 88 94 99 101 108 111 113 114 121 124 129 135 136 137 140 141 142 144 147 149 152 153 154 155 157 160 161 163 164 169 170 173 177 180 182 185 187 208 214 217 221 222 227 235 236 246 247 251 255 257 261 262 266 269 272 274 276 279 286 290 292 304 307 308 309 313 318 321 322 a 1 6 7 11 13 14 17 18 20 23 24 25 27 29 33 36 41 42 43 44 45 47 49 53 55 56 59 60 62 63 67 68 72 75 76 81 85 88 94 99 101 108 111 112 113 114 121 124 129 135 136 137 140 141 142 144 147 149 152 153 154 155 157 160 161 163 164 169 170 173 177 180 182 185 187 208 214 217 221 222 227 235 236 246 247 251 255 257 261 266 269 272 274 276 279 286 290 292 304 307 308 309 313 318 321 322 a 1 6 7 11 13 14 17 20 23 24 25 27 29 33 36 41 42 43 44 45 47 49 53 55 56 59 60 62 63 67 68 72 75 76 81 85 88 94 99 101 108 111 112 113 114 121 124 129 135 136 137 140 141 142 144 147 149 152 153 154 155 157 160 161 163 164 169 170 173 177 180 182 185 187 191 208 214 217 221 222 227 235 236 246 247 251 255 257 261 266 269 272 274 276 279 286 290 292 304 307 308 309 313 318 321 322 a 1 6 7 11 13 14 17 20 23 24 25 27 29 33 36 41 42 43 44 45 47 49 53 55 56 59 60 62 63 67 68 72 75 76 81 85 88 94 99 101 108 111 112 113 114 121 124 129 135 136 137 140 141 142 144 147 149 152 153 154 155 157 161 163 164 169 170 173 177 180 182 185 187 191 208 214 217 221 222 227 235 236 246 247 251 255 257 261 266 269 272 274 276 279 282 286 290 292 304 307 308 309 313 318 321 322 a 1 6 7 11 13 14 17 20 23 24 25 27 29 33 36 41 42 43 44 45 47 49 53 55 56 59 60 62 63 67 68 72 75 76 81 85 88 94 99 101 108 111 112 113 114 121 124 129 131 135 136 137 140 141 142 144 147 149 152 153 154 155 157 161 163 164 169 170 173 177 180 182 185 187 191 208 214 217 221 222 227 235 236 246 247 251 255 257 261 269 272 274 276 279 282 286 290 292 304 307 308 309 313 318 321 322 a 1 6 7 13 14 17 20 23 24 25 27 29 33 36 41 42 43 44 45 47 49 53 55 56 59 60 62 63 67 68 72 75 76 81 85 87 88 94 99 101 108 111 112 113 114 121 124 129 131 135 136 137 140 141 142 144 147 149 152 153 154 155 157 161 163 164 169 170 173 177 180 182 185 187 191 208 214 217 221 222 227 235 236 246 247 251 255 257 261 269 272 274 276 279 282 286 290 292 304 307 308 309 313 318 321 322 c Step: 128 Command being timed: "python3 run_3.py --existent --na -t4 /benchmark/random_instance/random_instance025_graph001.col /benchmark/random_instance/random_instance025_graph001_01.dat" User time (seconds): 551.02 System time (seconds): 7.53 Percent of CPU this job got: 152% Elapsed (wall clock) time (h:mm:ss or m:ss): 6:06.22 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): 27271268 Average resident set size (kbytes): 0 Major (requiring I/O) page faults: 2 Minor (reclaiming a frame) page faults: 9387217 Voluntary context switches: 10261 Involuntary context switches: 2413 Swaps: 0 File system inputs: 0 File system outputs: 696 Socket messages sent: 0 Socket messages received: 0 Signals delivered: 0 Page size (bytes): 4096 Exit status: 0 #END: [Tue Sep 26 01:53:15 2023]