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