#BEGIN: [Tue Sep 26 02:08:31 2023] #HOST: s14 #TIMELIMIT: 1800 #MEMLIMIT: 0 #SOLVER: existent-wallclock-banbaralab2-existent1 #INSTANCE1: /benchmark/random_instance/random_instance027_graph003.col #INSTANCE2: /benchmark/random_instance/random_instance027_graph003_01.dat #COMMAND: docker run --cidfile /tmp/cid.txt --init --rm -t -v /home/share/benchmark/ISR-benchmark:/benchmark banbaralab2 --existent /benchmark/random_instance/random_instance027_graph003.col /benchmark/random_instance/random_instance027_graph003_01.dat c /benchmark/random_instance/random_instance027_graph003.col c /benchmark/random_instance/random_instance027_graph003_01.dat *** Info : (clingo): INTERRUPTED by signal! s 23 317 283 65 287 16 274 1 326 18 286 167 333 197 111 74 342 84 215 213 273 299 231 349 20 247 211 304 88 310 224 294 113 42 25 191 154 330 138 340 124 49 263 156 219 314 265 29 146 129 207 281 322 189 64 54 97 271 192 159 339 14 341 248 180 323 276 46 30 45 135 336 182 288 239 27 348 99 344 267 91 306 270 90 144 251 28 321 307 61 168 223 183 85 252 300 346 200 245 3 134 241 208 331 260 198 147 81 338 298 100 318 58 5 t 202 190 92 349 123 336 200 34 56 58 59 143 329 43 125 201 121 133 341 2 318 273 230 135 97 29 150 351 275 227 173 18 315 74 71 265 295 33 31 118 148 242 196 338 271 215 172 15 100 345 317 343 147 348 245 216 126 65 249 316 268 321 48 291 188 91 310 218 266 239 219 94 111 68 170 62 328 339 17 253 89 288 195 221 208 217 246 149 325 113 284 52 305 163 298 278 164 80 178 3 35 306 16 280 9 191 129 85 234 319 238 243 116 344 a YES a 1 3 5 14 16 18 20 23 25 27 28 29 30 42 45 46 49 54 58 61 64 65 74 81 84 85 88 90 91 97 99 100 111 113 124 129 134 135 138 144 146 147 154 156 159 167 168 180 182 183 189 191 192 197 198 200 207 208 211 213 215 219 223 224 231 239 241 245 247 248 251 252 260 263 265 267 270 271 273 274 276 281 283 286 287 288 294 298 299 300 304 306 307 310 314 317 318 321 322 323 326 330 331 333 336 338 339 340 341 342 344 346 348 349 a 1 3 5 16 18 20 23 25 27 28 29 30 42 45 46 49 54 58 61 64 65 74 81 84 85 88 90 91 97 99 100 111 113 124 129 134 135 138 144 146 147 154 156 159 167 168 180 182 183 189 191 192 197 198 200 207 208 211 213 215 219 223 224 231 239 241 245 247 248 251 252 260 263 265 267 270 271 273 274 276 281 283 286 287 288 293 294 298 299 300 304 306 307 310 314 317 318 321 322 323 326 330 331 333 336 338 339 340 341 342 344 346 348 349 a 1 3 5 16 18 20 23 25 27 28 29 30 42 45 49 54 58 61 64 65 74 81 84 85 88 90 91 97 99 100 111 113 124 129 134 135 138 144 146 147 154 156 159 167 168 178 180 182 183 189 191 192 197 198 200 207 208 211 213 215 219 223 224 231 239 241 245 247 248 251 252 260 263 265 267 270 271 273 274 276 281 283 286 287 288 293 294 298 299 300 304 306 307 310 314 317 318 321 322 323 326 330 331 333 336 338 339 340 341 342 344 346 348 349 a 1 3 5 14 16 18 20 23 25 27 28 29 30 42 45 49 54 58 61 64 65 74 81 84 85 88 90 91 97 99 100 111 113 124 129 134 135 138 144 146 147 154 156 159 167 168 178 180 182 183 189 191 192 197 198 200 207 208 211 213 215 219 223 224 231 239 241 245 247 248 251 252 260 263 265 267 270 271 273 274 276 281 283 286 287 288 294 298 299 300 304 306 307 310 314 317 318 321 322 323 326 330 331 333 336 338 339 340 341 342 344 346 348 349 a 1 3 5 14 16 18 20 23 25 27 28 29 30 42 45 49 54 58 61 63 64 65 74 81 84 85 88 90 91 97 99 100 111 113 124 129 134 135 138 144 146 147 154 156 159 167 168 178 180 182 183 189 191 192 197 198 200 207 208 211 213 215 219 223 224 231 239 241 245 247 248 251 252 260 263 265 267 270 271 273 274 276 281 283 286 287 288 294 298 299 300 304 306 307 310 314 317 318 321 322 323 326 330 331 333 336 339 340 341 342 344 346 348 349 a 1 3 5 14 16 18 20 23 25 27 28 29 30 42 45 49 54 58 61 63 64 65 74 81 84 85 88 90 91 97 99 100 111 113 124 129 134 135 138 144 146 147 154 156 159 165 167 168 178 180 182 183 189 191 192 197 198 200 207 208 211 213 215 219 223 224 231 239 241 245 247 248 251 252 260 263 265 267 270 271 273 274 276 281 283 286 287 288 294 298 299 300 304 306 307 310 314 317 318 321 322 323 326 330 331 333 336 339 340 341 342 344 348 349 a 1 3 5 14 16 18 20 23 25 27 28 29 30 42 45 46 49 54 58 61 63 64 65 74 81 84 85 88 90 91 97 99 100 111 113 124 129 134 135 138 144 146 147 154 156 159 165 167 168 180 182 183 189 191 192 197 198 200 207 208 211 213 215 219 223 224 231 239 241 245 247 248 251 252 260 263 265 267 270 271 273 274 276 281 283 286 287 288 294 298 299 300 304 306 307 310 314 317 318 321 322 323 326 330 331 333 336 339 340 341 342 344 348 349 a 1 3 5 14 16 18 20 23 25 27 28 29 30 42 45 46 49 54 58 61 63 64 65 74 81 84 85 88 90 91 97 99 100 111 113 124 129 134 135 138 144 146 147 154 156 159 165 167 168 180 182 183 186 189 191 192 198 200 207 208 211 213 215 219 223 224 231 239 241 245 247 248 251 252 260 263 265 267 270 271 273 274 276 281 283 286 287 288 294 298 299 300 304 306 307 310 314 317 318 321 322 323 326 330 331 333 336 339 340 341 342 344 348 349 a 1 3 5 16 18 20 23 25 27 28 29 30 42 45 46 49 54 58 61 63 64 65 74 81 84 85 88 90 91 97 99 100 111 113 124 129 134 135 138 144 146 147 154 156 159 165 167 168 180 182 183 186 189 191 192 198 200 207 208 211 213 215 219 223 224 231 239 241 245 247 248 251 252 260 263 265 267 270 271 273 274 276 281 283 286 287 288 293 294 298 299 300 304 306 307 310 314 317 318 321 322 323 326 330 331 333 336 339 340 341 342 344 348 349 a 1 3 5 16 18 20 23 25 27 28 29 30 42 45 46 49 54 58 61 63 64 65 74 81 84 85 88 90 91 97 99 100 111 113 124 129 134 135 138 144 146 147 154 156 159 165 167 168 180 182 183 186 191 192 198 200 207 208 211 213 215 219 223 224 231 239 241 245 247 248 251 252 260 263 265 267 270 271 273 274 276 281 283 286 287 288 292 293 294 298 299 300 304 306 307 310 314 317 318 321 322 323 326 330 331 333 336 339 340 341 342 344 348 349 a 1 3 5 16 18 20 23 25 27 28 29 30 42 45 46 49 54 58 61 63 64 65 74 81 84 85 88 90 91 97 99 100 111 113 124 129 134 135 138 144 146 147 154 156 159 165 167 168 180 182 183 186 191 192 198 200 207 208 211 213 215 219 223 224 231 238 239 241 245 247 248 251 252 260 263 265 267 270 271 273 274 276 281 283 286 287 288 292 293 294 298 299 300 304 306 307 310 317 318 321 322 323 326 330 331 333 336 339 340 341 342 344 348 349 a 1 3 5 16 18 20 23 25 27 28 29 30 42 45 46 49 54 58 61 63 64 65 74 81 84 85 88 90 91 97 99 100 111 113 124 129 134 135 138 144 146 147 154 156 159 165 167 168 180 182 183 186 191 192 198 200 207 208 211 213 219 223 224 230 231 238 239 241 245 247 248 251 252 260 263 265 267 270 271 273 274 276 281 283 286 287 288 292 293 294 298 299 300 304 306 307 310 317 318 321 322 323 326 330 331 333 336 339 340 341 342 344 348 349 a 1 3 5 16 18 20 23 25 27 28 29 30 42 45 46 49 54 58 61 63 64 65 74 81 84 85 88 90 91 97 99 100 111 113 124 129 134 135 138 144 146 147 154 156 159 165 167 168 180 182 183 186 191 192 198 200 207 208 211 213 219 223 224 230 231 239 241 245 247 248 251 252 260 263 265 267 270 271 273 274 276 281 283 286 287 288 292 293 294 298 299 300 304 306 307 310 314 317 318 321 322 323 326 330 331 333 336 339 340 341 342 344 348 349 a 1 3 5 16 18 19 20 23 25 27 28 29 30 42 45 46 49 54 58 61 63 64 65 74 81 84 85 88 90 91 97 99 100 111 113 124 129 134 135 138 144 146 147 154 156 159 165 167 168 180 182 183 186 191 192 200 207 208 211 213 219 223 224 230 231 239 241 245 247 248 251 252 260 263 265 267 270 271 273 274 276 281 283 286 287 288 292 293 294 298 299 300 304 306 307 310 314 317 318 321 322 323 326 330 331 333 336 339 340 341 342 344 348 349 a 1 3 5 16 18 19 20 23 25 27 28 29 30 42 45 46 49 54 58 61 63 64 65 74 81 84 85 88 90 91 97 99 100 111 113 124 129 134 135 138 144 146 147 154 156 159 165 167 168 180 182 183 186 191 192 200 207 208 211 213 219 223 224 230 231 238 239 241 245 247 248 251 252 260 263 265 267 270 271 273 274 276 281 283 286 287 288 292 293 294 298 299 300 304 306 307 310 317 318 321 322 323 326 330 331 333 336 339 340 341 342 344 348 349 a 1 3 5 16 18 19 20 23 25 27 28 29 30 42 45 46 49 54 58 61 63 64 65 67 74 81 84 85 88 90 91 97 99 100 111 113 124 129 134 135 138 144 146 147 154 156 159 165 167 168 180 182 183 186 191 192 200 207 208 211 213 219 223 224 230 231 238 239 241 247 248 251 252 260 263 265 267 270 271 273 274 276 281 283 286 287 288 292 293 294 298 299 300 304 306 307 310 317 318 321 322 323 326 330 331 333 336 339 340 341 342 344 348 349 a 1 3 5 16 18 19 20 23 25 27 28 29 30 42 45 46 49 54 58 61 63 64 65 67 74 81 84 85 88 90 91 97 99 100 111 113 124 125 129 134 135 138 144 146 147 154 156 159 165 167 168 180 182 183 186 191 192 200 207 208 211 213 219 223 230 231 238 239 241 247 248 251 252 260 263 265 267 270 271 273 274 276 281 283 286 287 288 292 293 294 298 299 300 304 306 307 310 317 318 321 322 323 326 330 331 333 336 339 340 341 342 344 348 349 a 1 3 5 16 18 19 20 23 24 25 27 28 29 30 42 45 46 49 54 58 61 63 64 65 67 74 81 84 85 88 90 91 97 99 100 111 113 124 125 129 134 135 138 144 146 147 154 156 159 165 167 168 180 182 183 186 191 192 200 207 208 211 213 219 223 230 231 238 239 241 247 248 251 252 260 263 265 267 270 271 273 274 276 281 283 286 287 288 292 293 294 298 299 304 306 307 310 317 318 321 322 323 326 330 331 333 336 339 340 341 342 344 348 349 a 1 3 5 16 18 19 20 23 24 25 27 28 29 30 42 45 46 49 54 58 61 63 64 65 67 74 81 84 85 88 90 91 97 99 100 111 113 124 125 129 134 135 138 144 146 147 154 156 159 165 167 168 180 182 186 191 192 200 207 208 211 213 215 219 223 230 231 238 239 241 247 248 251 252 260 263 265 267 270 271 273 274 276 281 283 286 287 288 292 293 294 298 299 304 306 307 310 317 318 321 322 323 326 330 331 333 336 339 340 341 342 344 348 349 a 1 3 5 16 18 19 20 23 24 25 27 28 29 30 42 45 46 49 54 58 61 63 64 65 74 81 84 85 88 90 91 97 99 100 111 113 124 125 129 134 135 138 144 146 147 154 156 159 165 167 168 180 182 186 191 192 200 207 208 211 213 215 219 223 230 231 238 239 241 245 247 248 251 252 260 263 265 267 270 271 273 274 276 281 283 286 287 288 292 293 294 298 299 304 306 307 310 317 318 321 322 323 326 330 331 333 336 339 340 341 342 344 348 349 a 1 3 5 16 18 19 20 24 25 27 28 29 30 42 45 46 49 54 58 61 63 64 65 74 81 84 85 88 90 91 97 99 100 111 113 124 125 129 134 135 138 144 146 147 154 156 159 165 167 168 180 182 183 186 191 192 200 207 208 211 213 215 219 223 230 231 238 239 241 245 247 248 251 252 260 263 265 267 270 271 273 274 276 281 283 286 287 288 292 293 294 298 299 304 306 307 310 317 318 321 322 323 326 330 331 333 336 339 340 341 342 344 348 349 a 1 3 5 16 18 19 20 24 25 27 28 29 30 42 45 46 49 54 58 61 63 64 65 74 81 84 85 88 90 91 97 99 100 111 113 124 125 129 134 135 138 144 146 147 154 156 159 165 166 167 168 180 182 183 186 191 200 207 208 211 213 215 219 223 230 231 238 239 241 245 247 248 251 252 260 263 265 267 270 271 273 274 276 281 283 286 287 288 292 293 294 298 299 304 306 307 310 317 318 321 322 323 326 330 331 333 336 339 340 341 342 344 348 349 a 1 3 5 6 16 18 19 20 24 25 27 28 29 30 42 45 46 49 54 58 61 63 64 65 74 81 84 85 88 90 91 97 99 100 111 113 124 125 129 134 135 138 144 146 147 154 156 159 165 166 167 168 180 182 186 191 200 207 208 211 213 215 219 223 230 231 238 239 241 245 247 248 251 252 260 263 265 267 270 271 273 274 276 281 283 286 287 288 292 293 294 298 299 304 306 307 310 317 318 321 322 323 326 330 331 333 336 339 340 341 342 344 348 349 a 1 3 5 6 16 18 19 20 23 24 25 27 28 29 30 42 46 49 54 58 61 63 64 65 74 81 84 85 88 90 91 97 99 100 111 113 124 125 129 134 135 138 144 146 147 154 156 159 165 166 167 168 180 182 186 191 200 207 208 211 213 215 219 223 230 231 238 239 241 245 247 248 251 252 260 263 265 267 270 271 273 274 276 281 283 286 287 288 292 293 294 298 299 304 306 307 310 317 318 321 322 323 326 330 331 333 336 339 340 341 342 344 348 349 a 1 3 5 6 16 18 19 20 23 24 25 27 28 29 30 42 46 49 54 58 63 64 65 74 81 84 85 88 90 91 97 99 100 111 113 124 125 129 134 135 138 144 146 147 154 156 159 165 166 167 168 180 182 186 191 200 207 208 211 213 215 219 223 230 231 237 238 239 241 245 247 248 251 252 260 263 265 267 270 271 273 274 276 281 283 286 287 288 292 293 294 298 299 304 306 307 310 317 318 321 322 323 326 330 331 333 336 339 340 341 342 344 348 349 a 1 3 5 6 16 18 19 20 23 24 25 27 28 29 30 45 46 49 54 58 63 64 65 74 81 84 85 88 90 91 97 99 100 111 113 124 125 129 134 135 138 144 146 147 154 156 159 165 166 167 168 180 182 186 191 200 207 208 211 213 215 219 223 230 231 237 238 239 241 245 247 248 251 252 260 263 265 267 270 271 273 274 276 281 283 286 287 288 292 293 294 298 299 304 306 307 310 317 318 321 322 323 326 330 331 333 336 339 340 341 342 344 348 349 a 1 3 5 16 18 19 20 23 24 25 27 28 29 30 45 46 49 54 58 63 64 65 74 81 84 85 88 90 91 97 99 100 111 113 124 125 129 134 135 138 144 146 147 154 156 159 165 166 167 168 180 182 183 186 191 200 207 208 211 213 215 219 223 230 231 237 238 239 241 245 247 248 251 252 260 263 265 267 270 271 273 274 276 281 283 286 287 288 292 293 294 298 299 304 306 307 310 317 318 321 322 323 326 330 331 333 336 339 340 341 342 344 348 349 a 1 3 5 16 18 19 20 23 24 25 27 28 29 30 42 45 46 49 54 58 63 64 65 74 81 84 85 88 90 91 97 99 100 111 113 124 125 129 134 135 138 144 146 147 154 156 159 165 166 167 168 180 183 186 191 200 207 208 211 213 215 219 223 230 231 237 238 239 241 245 247 248 251 252 260 263 265 267 270 271 273 274 276 281 283 286 287 288 292 293 294 298 299 304 306 307 310 317 318 321 322 323 326 330 331 333 336 339 340 341 342 344 348 349 a 1 3 5 16 18 19 20 23 24 25 27 28 29 30 37 42 45 46 49 54 58 63 64 65 74 81 84 85 88 90 91 97 99 100 111 113 124 125 129 134 135 138 144 146 147 154 156 159 165 166 167 168 180 183 186 191 207 208 211 213 215 219 223 230 231 237 238 239 241 245 247 248 251 252 260 263 265 267 270 271 273 274 276 281 283 286 287 288 292 293 294 298 299 304 306 307 310 317 318 321 322 323 326 330 331 333 336 339 340 341 342 344 348 349 a 1 3 5 6 16 18 19 20 23 24 25 27 28 29 30 37 42 45 46 49 54 58 63 64 65 74 81 84 85 88 90 91 97 99 100 111 113 124 125 129 134 135 138 144 146 147 154 156 159 165 166 167 168 180 186 191 207 208 211 213 215 219 223 230 231 237 238 239 241 245 247 248 251 252 260 263 265 267 270 271 273 274 276 281 283 286 287 288 292 293 294 298 299 304 306 307 310 317 318 321 322 323 326 330 331 333 336 339 340 341 342 344 348 349 a 3 5 6 16 18 19 20 23 24 25 27 28 29 30 37 42 45 46 49 54 58 61 63 64 65 74 81 84 85 88 90 91 97 99 100 111 113 124 125 129 134 135 138 144 146 147 154 156 159 165 166 167 168 180 186 191 207 208 211 213 215 219 223 230 231 237 238 239 241 245 247 248 251 252 260 263 265 267 270 271 273 274 276 281 283 286 287 288 292 293 294 298 299 304 306 307 310 317 318 321 322 323 326 330 331 333 336 339 340 341 342 344 348 349 a 3 5 16 18 19 20 23 24 25 27 28 29 30 37 42 45 46 49 54 58 61 63 64 65 74 81 84 85 88 90 91 97 99 100 111 113 124 125 129 134 135 138 144 146 147 154 156 159 165 166 167 168 180 182 186 191 207 208 211 213 215 219 223 230 231 237 238 239 241 245 247 248 251 252 260 263 265 267 270 271 273 274 276 281 283 286 287 288 292 293 294 298 299 304 306 307 310 317 318 321 322 323 326 330 331 333 336 339 340 341 342 344 348 349 a 1 3 5 16 18 19 20 23 24 25 27 28 29 30 37 42 45 46 49 54 58 61 63 64 65 74 81 84 85 88 90 91 97 99 100 111 113 124 125 129 134 135 138 144 146 147 154 156 159 165 166 167 168 180 182 186 191 207 208 211 213 219 223 230 231 237 238 239 241 245 247 248 251 252 260 263 265 267 270 271 273 274 276 281 283 286 287 288 292 293 294 298 299 304 306 307 310 317 318 321 322 323 326 330 331 333 336 339 340 341 342 344 348 349 a 1 3 5 16 18 19 20 23 24 25 27 28 29 30 37 42 45 46 49 54 58 61 63 64 65 74 81 84 85 88 90 91 97 99 100 111 113 124 125 128 129 134 135 138 144 146 147 154 156 159 165 166 167 168 180 182 186 191 207 208 211 213 219 223 230 231 237 238 239 241 245 247 248 251 252 260 263 265 267 270 271 273 274 276 281 283 286 287 288 292 293 294 298 299 304 306 307 310 317 318 321 322 323 330 331 333 336 339 340 341 342 344 348 349 a 1 3 5 16 18 19 20 23 24 25 27 28 29 30 37 42 45 46 49 54 58 61 63 64 65 67 74 81 84 85 88 90 91 97 99 100 111 113 124 125 128 129 134 135 138 144 146 147 154 156 159 165 166 167 168 180 182 186 191 207 208 211 213 219 223 230 231 237 238 239 241 247 248 251 252 260 263 265 267 270 271 273 274 276 281 283 286 287 288 292 293 294 298 299 304 306 307 310 317 318 321 322 323 330 331 333 336 339 340 341 342 344 348 349 a 1 3 5 6 16 18 19 20 23 24 25 27 28 29 30 37 42 45 46 49 54 58 61 63 64 65 67 74 81 84 85 88 90 91 97 99 100 111 113 124 125 128 129 134 135 138 144 146 147 154 156 159 165 166 167 168 180 182 186 191 207 211 213 219 223 230 231 237 238 239 241 247 248 251 252 260 263 265 267 270 271 273 274 276 281 283 286 287 288 292 293 294 298 299 304 306 307 310 317 318 321 322 323 330 331 333 336 339 340 341 342 344 348 349 a 1 3 5 6 16 18 19 20 23 24 25 27 28 29 30 37 42 45 46 49 54 58 61 63 64 65 67 74 81 84 85 88 90 91 97 99 100 111 124 125 128 129 134 135 138 144 146 147 154 156 159 165 166 167 168 180 182 186 191 207 211 213 215 219 223 230 231 237 238 239 241 247 248 251 252 260 263 265 267 270 271 273 274 276 281 283 286 287 288 292 293 294 298 299 304 306 307 310 317 318 321 322 323 330 331 333 336 339 340 341 342 344 348 349 a 1 3 5 6 16 18 19 20 23 24 25 27 28 29 30 37 42 45 46 49 54 58 61 63 64 65 67 74 81 84 85 88 90 91 97 99 100 111 124 125 128 129 134 135 138 144 146 147 154 156 159 165 166 167 168 180 182 186 191 207 208 211 213 215 219 223 230 231 237 238 239 241 247 248 251 252 263 265 267 270 271 273 274 276 281 283 286 287 288 292 293 294 298 299 304 306 307 310 317 318 321 322 323 330 331 333 336 339 340 341 342 344 348 349 a 1 2 3 5 6 16 18 19 20 23 24 25 27 28 29 30 37 42 45 46 49 54 58 61 63 64 65 67 74 81 84 85 88 90 91 97 99 100 111 124 125 128 129 134 135 138 144 146 147 154 156 159 165 166 167 168 180 182 186 191 207 208 211 213 219 223 230 231 237 238 239 241 247 248 251 252 263 265 267 270 271 273 274 276 281 283 286 287 288 292 293 294 298 299 304 306 307 310 317 318 321 322 323 330 331 333 336 339 340 341 342 344 348 349 a 1 2 3 5 6 16 18 19 20 23 24 25 27 28 30 37 42 45 46 49 54 58 61 63 64 65 67 74 81 84 85 88 90 91 97 99 100 111 124 125 128 129 134 135 138 144 146 147 154 156 159 165 166 167 168 180 182 186 191 207 208 211 213 219 223 230 231 237 238 239 241 247 248 251 252 260 263 265 267 270 271 273 274 276 281 283 286 287 288 292 293 294 298 299 304 306 307 310 317 318 321 322 323 330 331 333 336 339 340 341 342 344 348 349 a 1 2 3 5 6 16 18 19 20 23 24 25 27 28 30 37 42 45 46 49 54 58 61 63 64 65 67 74 81 84 85 88 90 91 97 99 100 111 113 124 125 128 129 134 135 138 144 146 147 154 156 159 165 166 167 168 182 186 191 207 208 211 213 219 223 230 231 237 238 239 241 247 248 251 252 260 263 265 267 270 271 273 274 276 281 283 286 287 288 292 293 294 298 299 304 306 307 310 317 318 321 322 323 330 331 333 336 339 340 341 342 344 348 349 a 1 2 3 5 6 16 18 19 20 23 24 25 27 30 37 42 45 46 49 54 58 61 63 64 65 67 74 81 84 85 88 90 91 97 99 100 111 113 124 125 128 129 134 135 138 144 146 147 154 156 159 165 166 167 168 182 186 191 207 208 211 213 215 219 223 230 231 237 238 239 241 247 248 251 252 260 263 265 267 270 271 273 274 276 281 283 286 287 288 292 293 294 298 299 304 306 307 310 317 318 321 322 323 330 331 333 336 339 340 341 342 344 348 349 a 1 2 3 5 6 16 18 19 20 23 24 25 27 29 30 37 42 45 46 49 54 58 61 63 64 65 67 74 81 84 85 88 90 91 97 99 100 111 113 124 125 128 134 135 138 144 146 147 154 156 159 165 166 167 168 182 186 191 207 208 211 213 215 219 223 230 231 237 238 239 241 247 248 251 252 260 263 265 267 270 271 273 274 276 281 283 286 287 288 292 293 294 298 299 304 306 307 310 317 318 321 322 323 330 331 333 336 339 340 341 342 344 348 349 a 1 2 3 5 6 16 18 19 20 23 24 25 27 28 29 30 37 42 45 46 49 54 58 61 63 64 65 67 74 81 84 85 88 90 91 97 99 100 111 113 124 125 128 134 135 138 144 146 147 154 156 159 165 166 167 168 182 186 191 207 208 211 213 215 219 223 230 231 237 238 239 241 247 248 251 252 260 263 265 267 270 271 273 274 276 281 283 286 287 288 292 294 298 299 304 306 307 310 317 318 321 322 323 330 331 333 336 339 340 341 342 344 348 349 a 1 2 3 5 6 16 18 19 20 23 24 25 27 28 29 30 37 42 45 46 49 54 58 61 63 64 65 67 74 81 84 85 88 90 91 97 99 100 111 113 124 125 128 129 134 135 138 144 146 147 154 156 159 165 166 167 168 182 186 191 207 208 211 213 215 219 223 230 231 237 238 241 247 248 251 252 260 263 265 267 270 271 273 274 276 281 283 286 287 288 292 294 298 299 304 306 307 310 317 318 321 322 323 330 331 333 336 339 340 341 342 344 348 349 a 1 2 3 5 6 16 18 19 20 23 24 25 27 28 29 30 37 42 45 46 49 54 58 61 63 64 65 67 74 81 84 85 88 90 91 97 99 100 111 113 124 125 128 129 134 135 138 144 146 147 154 156 159 165 167 168 182 186 191 192 207 208 211 213 215 219 223 230 231 237 238 241 247 248 251 252 260 263 265 267 270 271 273 274 276 281 283 286 287 288 292 294 298 299 304 306 307 310 317 318 321 322 323 330 331 333 336 339 340 341 342 344 348 349 a 1 2 3 5 6 16 18 19 20 23 24 25 27 28 29 30 37 42 45 46 49 54 58 61 63 64 65 67 74 81 84 85 88 90 91 97 99 100 111 113 124 125 128 129 134 135 138 144 146 147 154 156 159 165 167 168 182 186 191 192 207 208 211 213 215 219 223 230 231 237 238 239 241 247 248 251 252 260 263 265 267 270 271 273 274 276 281 283 286 287 288 292 294 298 299 304 306 307 310 317 318 321 322 323 330 331 336 339 340 341 342 344 348 349 a 1 2 3 5 6 16 18 19 20 23 24 25 27 28 29 30 37 42 45 46 49 54 58 61 63 64 65 67 74 81 84 85 88 90 91 97 99 100 111 113 124 125 128 129 134 135 138 144 146 147 154 156 159 165 167 168 180 182 186 191 207 208 211 213 215 219 223 230 231 237 238 239 241 247 248 251 252 260 263 265 267 270 271 273 274 276 281 283 286 287 288 292 294 298 299 304 306 307 310 317 318 321 322 323 330 331 336 339 340 341 342 344 348 349 a 1 2 3 5 6 16 18 19 20 23 24 25 27 28 29 30 37 42 45 46 49 54 58 61 63 64 65 67 74 81 84 85 88 90 91 97 99 100 111 113 124 125 128 129 134 135 138 144 146 147 154 156 159 165 166 167 168 180 182 186 191 207 208 211 213 215 219 223 230 231 237 238 239 241 247 248 251 252 260 263 265 267 270 271 273 274 276 281 283 286 287 288 292 294 298 299 304 306 307 310 317 318 321 322 323 330 331 336 339 340 341 342 344 349 a 1 2 3 5 6 16 18 19 20 23 24 25 27 28 29 30 37 42 45 46 49 54 58 61 63 64 65 67 74 81 84 85 88 90 91 97 99 100 111 113 124 125 128 129 134 135 138 144 146 147 154 156 159 165 166 167 168 180 182 186 191 207 208 211 213 215 219 223 230 231 237 238 239 241 247 248 251 252 260 263 265 267 270 271 273 274 276 281 283 286 287 288 292 294 298 299 304 306 307 317 318 321 322 323 330 331 333 336 339 340 341 342 344 349 a 1 2 3 5 6 16 18 19 20 23 24 25 27 28 29 30 37 42 45 46 49 54 58 61 63 64 65 67 74 81 84 85 88 90 91 97 99 100 111 113 124 125 128 129 134 135 138 144 146 147 154 156 159 165 166 167 168 180 182 186 191 207 208 211 213 215 219 223 230 231 237 238 239 241 247 248 251 252 260 263 265 267 270 271 273 274 276 281 283 286 287 288 292 293 294 298 299 304 306 307 317 318 321 322 323 330 331 333 336 339 340 341 342 344 a 1 2 3 5 6 16 18 19 20 23 24 25 27 28 29 30 37 42 45 46 49 58 61 63 64 65 67 74 81 84 85 88 90 91 97 99 100 111 113 124 125 128 129 134 135 138 144 146 147 154 156 159 165 166 167 168 180 182 186 191 207 208 211 213 215 219 223 230 231 237 238 239 241 247 248 251 252 260 263 265 267 270 271 273 274 276 281 283 286 287 288 292 293 294 298 299 304 306 307 310 317 318 321 322 323 330 331 333 336 339 340 341 342 344 a 1 2 3 5 6 16 18 19 20 23 24 25 27 28 29 30 37 42 45 46 49 58 61 63 64 65 67 74 81 84 85 88 90 91 97 99 100 111 113 124 125 128 129 134 135 138 144 146 147 154 156 159 165 167 168 180 182 186 191 207 208 211 213 215 219 223 230 231 237 238 239 241 247 248 251 252 260 263 265 267 270 271 273 274 276 281 283 286 287 288 292 293 294 298 299 304 306 307 310 317 318 321 322 323 330 331 333 336 339 340 341 342 344 349 a 1 2 3 5 6 16 18 19 20 23 24 25 27 28 29 30 37 42 45 46 49 54 58 61 63 64 65 67 74 81 84 85 88 90 91 97 99 100 111 113 124 125 128 129 134 135 138 144 146 147 154 156 159 165 167 168 180 182 186 191 207 208 211 213 215 219 223 230 231 237 238 239 241 247 248 251 252 260 263 265 267 270 271 273 274 276 281 283 286 287 288 292 293 294 298 299 304 306 307 310 317 318 321 322 323 330 331 333 336 339 341 342 344 349 a 1 2 3 5 6 16 18 19 20 23 24 25 27 28 29 30 37 42 45 46 49 54 58 61 63 64 65 67 74 81 84 85 88 90 91 97 99 100 111 113 124 125 128 129 134 135 138 144 146 147 154 156 159 165 167 168 180 182 186 191 207 208 211 213 215 219 223 230 231 237 238 239 241 247 248 251 252 260 263 265 267 270 271 273 274 276 281 283 286 287 288 292 293 294 298 299 304 306 307 310 317 318 321 322 330 331 333 336 339 341 342 344 348 349 a 1 2 3 5 6 16 18 19 20 23 24 25 27 28 29 30 42 45 46 49 54 58 61 63 64 65 67 74 81 84 85 88 90 91 97 99 100 111 113 124 125 128 129 134 135 138 144 146 147 154 156 159 165 167 168 180 182 186 191 200 207 208 211 213 215 219 223 230 231 237 238 239 241 247 248 251 252 260 263 265 267 270 271 273 274 276 281 283 286 287 288 292 293 294 298 299 304 306 307 310 317 318 321 322 330 331 333 336 339 341 342 344 348 349 a 1 2 3 5 6 16 18 19 20 23 24 25 27 28 29 30 42 45 46 49 54 58 61 63 64 65 74 81 84 85 88 90 91 97 99 100 111 113 124 125 128 129 134 135 138 144 146 147 154 156 159 165 167 168 180 182 186 191 200 207 208 211 213 215 219 223 230 231 237 238 239 241 245 247 248 251 252 260 263 265 267 270 271 273 274 276 281 283 286 287 288 292 293 294 298 299 304 306 307 310 317 318 321 322 330 331 333 336 339 341 342 344 348 349 a 1 2 3 5 6 16 18 19 20 23 24 25 27 28 29 30 42 45 46 49 54 58 61 62 63 64 65 74 81 84 85 88 90 91 97 99 100 111 113 124 125 128 129 134 135 138 144 146 147 154 156 159 165 167 168 180 182 186 191 200 207 208 211 215 219 223 230 231 237 238 239 241 245 247 248 251 252 260 263 265 267 270 271 273 274 276 281 283 286 287 288 292 293 294 298 299 304 306 307 310 317 318 321 322 330 331 333 336 339 341 342 344 348 349 a 1 2 3 5 6 16 18 19 20 23 24 25 27 28 29 30 42 45 46 49 54 58 61 62 63 64 65 74 81 84 85 88 90 91 97 99 100 111 113 124 125 128 129 134 135 138 144 146 147 154 156 159 165 167 168 180 182 186 191 200 207 208 211 215 219 223 230 231 237 238 239 241 245 247 248 251 252 260 263 265 267 270 271 273 274 276 281 286 287 288 292 293 294 298 299 304 305 306 307 310 317 318 321 322 330 331 333 336 339 341 342 344 348 349 a 1 2 3 5 6 16 18 19 20 23 24 25 27 28 29 30 42 45 46 49 54 58 61 62 63 64 65 74 81 84 85 88 90 91 97 99 100 111 113 124 125 128 129 134 135 138 144 146 147 154 156 159 165 167 168 180 182 186 191 200 207 208 211 215 219 223 230 231 237 238 239 241 245 247 248 251 252 260 263 265 267 270 271 273 276 281 286 287 288 291 292 293 294 298 299 304 305 306 307 310 317 318 321 322 330 331 333 336 339 341 342 344 348 349 a 1 2 3 5 6 16 18 19 20 23 24 25 27 28 29 30 42 45 46 49 54 58 61 62 63 64 65 74 81 84 85 88 90 91 97 99 100 111 113 124 125 128 129 134 135 138 144 146 147 154 156 159 165 167 168 173 180 182 186 191 200 207 208 211 215 219 223 230 231 237 238 239 241 245 247 248 251 252 260 263 265 267 270 271 273 276 281 286 288 291 292 293 294 298 299 304 305 306 307 310 317 318 321 322 330 331 333 336 339 341 342 344 348 349 a 1 2 3 5 6 16 18 19 20 23 24 25 27 28 29 30 42 45 46 49 54 58 61 62 63 64 65 74 81 84 85 88 90 91 97 99 100 111 113 124 125 128 129 134 135 138 144 146 147 154 156 159 165 167 168 173 180 182 186 191 200 207 208 211 215 219 223 230 231 237 238 239 241 245 248 251 252 260 263 265 267 270 271 273 276 280 281 286 288 291 292 293 294 298 299 304 305 306 307 310 317 318 321 322 330 331 333 336 339 341 342 344 348 349 a 1 2 3 5 6 16 18 19 20 23 24 25 27 28 29 30 42 45 46 49 54 58 61 62 63 64 65 71 74 81 84 85 88 90 91 97 99 100 111 113 124 125 128 129 134 135 138 144 146 147 154 156 159 165 167 168 173 182 186 191 200 207 208 211 215 219 223 230 231 237 238 239 241 245 248 251 252 260 263 265 267 270 271 273 276 280 281 286 288 291 292 293 294 298 299 304 305 306 307 310 317 318 321 322 330 331 333 336 339 341 342 344 348 349 a 1 2 3 5 6 16 18 19 20 23 24 25 27 28 29 30 42 45 46 49 54 58 61 62 63 65 71 74 81 84 85 88 90 91 97 99 100 111 113 124 125 126 128 129 134 135 138 144 146 147 154 156 159 165 167 168 173 182 186 191 200 207 208 211 215 219 223 230 231 237 238 239 241 245 248 251 252 260 263 265 267 270 271 273 276 280 281 286 288 291 292 293 294 298 299 304 305 306 307 310 317 318 321 322 330 331 333 336 339 341 342 344 348 349 a 1 2 3 5 6 16 18 19 20 23 24 25 27 28 29 30 42 45 46 49 54 58 61 62 63 65 71 74 81 84 85 88 90 91 97 99 100 111 113 124 125 126 128 129 134 135 138 144 146 147 148 154 156 159 165 167 168 173 182 186 191 200 207 208 211 215 219 223 230 231 237 238 239 241 245 248 251 252 260 263 265 267 270 271 273 276 280 281 286 288 291 292 293 294 298 299 304 305 306 307 310 317 318 321 322 330 331 333 336 339 341 344 348 349 a 1 2 3 5 6 16 18 19 20 23 24 25 27 28 29 30 42 45 46 49 54 58 61 62 63 65 71 74 81 84 85 88 90 91 97 99 100 111 113 124 125 126 128 129 134 135 138 144 146 147 148 154 156 159 165 167 168 173 182 186 191 196 200 207 208 211 215 219 223 230 231 238 239 241 245 248 251 252 260 263 265 267 270 271 273 276 280 281 286 288 291 292 293 294 298 299 304 305 306 307 310 317 318 321 322 330 331 333 336 339 341 344 348 349 a 2 3 5 6 16 18 19 20 23 24 25 27 28 29 30 42 45 46 49 54 58 61 62 63 65 71 74 81 84 85 88 90 91 97 99 100 111 113 123 124 125 126 128 129 134 135 138 144 146 147 148 154 156 159 165 167 168 173 182 186 191 196 200 207 208 211 215 219 223 230 231 238 239 241 245 248 251 252 260 263 265 267 270 271 273 276 280 281 286 288 291 292 293 294 298 299 304 305 306 307 310 317 318 321 322 330 331 333 336 339 341 344 348 349 a 2 3 5 6 16 18 19 20 23 24 25 27 28 29 30 42 45 46 49 54 58 61 62 63 65 71 74 84 85 88 90 91 97 99 100 111 113 123 124 125 126 128 129 134 135 138 144 146 147 148 154 156 159 165 167 168 173 182 186 191 196 200 207 208 211 215 219 223 230 231 234 238 239 241 245 248 251 252 260 263 265 267 270 271 273 276 280 281 286 288 291 292 293 294 298 299 304 305 306 307 310 317 318 321 322 330 331 333 336 339 341 344 348 349 a 2 3 5 6 16 18 19 20 23 24 25 27 28 29 30 42 45 46 49 54 58 61 62 63 65 71 74 84 85 88 90 91 97 99 100 111 113 123 124 125 126 128 129 134 135 138 144 146 147 148 154 156 159 165 167 168 173 182 186 191 196 200 207 208 211 215 219 223 230 231 234 238 239 245 248 251 252 260 263 265 267 270 271 273 276 280 281 286 288 291 292 293 294 298 299 304 305 306 307 310 317 318 321 322 328 330 331 333 336 339 341 344 348 349 a 2 3 5 6 16 18 19 20 23 24 25 27 28 29 30 42 45 46 49 54 58 61 62 63 65 71 74 84 85 88 90 91 97 99 100 111 113 123 124 125 126 128 129 134 135 138 144 146 147 148 154 156 159 165 167 168 173 182 186 191 196 200 207 208 211 215 219 223 230 231 234 238 239 245 248 251 252 253 263 265 267 270 271 273 276 280 281 286 288 291 292 293 294 298 299 304 305 306 307 310 317 318 321 322 328 330 331 333 336 339 341 344 348 349 a 2 3 5 6 16 18 19 20 23 24 25 27 28 29 30 42 45 46 49 54 58 61 62 63 65 71 74 84 85 88 90 91 97 99 100 111 113 123 125 126 128 129 134 135 138 144 146 147 148 154 156 159 165 167 168 173 182 186 191 196 200 201 207 208 211 215 219 223 230 231 234 238 239 245 248 251 252 253 263 265 267 270 271 273 276 280 281 286 288 291 292 293 294 298 299 304 305 306 307 310 317 318 321 322 328 330 331 333 336 339 341 344 348 349 a 2 3 5 6 16 18 19 20 23 24 25 27 28 29 30 42 45 46 49 54 58 61 62 63 65 71 74 84 85 88 90 91 97 99 100 111 113 123 125 126 128 129 134 135 138 144 146 147 148 154 156 159 165 167 168 173 182 186 191 196 200 201 207 208 211 215 219 223 230 231 234 238 239 245 248 251 253 263 265 267 270 271 273 276 280 281 286 288 291 292 293 294 298 299 304 305 306 307 310 317 318 321 322 328 330 331 333 336 339 341 344 345 348 349 a 2 3 5 6 16 18 19 20 23 24 25 27 28 29 30 42 43 45 46 54 58 61 62 63 65 71 74 84 85 88 90 91 97 99 100 111 113 123 125 126 128 129 134 135 138 144 146 147 148 154 156 159 165 167 168 173 182 186 191 196 200 201 207 208 211 215 219 223 230 231 234 238 239 245 248 251 253 263 265 267 270 271 273 276 280 281 286 288 291 292 293 294 298 299 304 305 306 307 310 317 318 321 322 328 330 331 333 336 339 341 344 345 348 349 a 2 3 5 6 16 18 19 20 23 24 25 27 28 29 30 42 43 45 46 54 58 61 62 63 65 71 74 84 85 88 89 90 91 97 99 100 111 113 123 125 126 128 129 134 135 138 144 146 147 148 154 156 159 165 167 168 173 182 186 191 196 200 201 207 208 211 215 219 223 230 231 234 238 239 245 248 251 253 263 265 267 270 271 273 276 280 286 288 291 292 293 294 298 299 304 305 306 307 310 317 318 321 322 328 330 331 333 336 339 341 344 345 348 349 a 2 3 5 6 16 18 19 20 23 24 25 27 28 29 30 42 43 45 46 54 58 61 62 63 65 71 74 84 85 88 89 90 91 97 99 100 111 113 123 125 126 128 129 134 135 138 144 146 147 148 154 156 159 165 167 168 173 182 186 191 196 200 201 207 208 211 215 219 223 230 231 234 238 239 245 248 249 251 253 263 265 267 270 271 273 276 280 286 288 291 292 293 294 298 299 304 305 306 307 310 317 318 321 322 328 330 333 336 339 341 344 345 348 349 a 2 3 5 6 16 18 19 20 23 24 25 27 28 29 30 42 43 45 46 54 58 61 62 63 65 71 74 84 85 88 89 90 91 97 99 100 111 113 123 125 126 128 129 134 135 138 144 146 147 148 154 156 159 165 167 168 173 182 186 191 196 200 201 207 208 211 215 219 223 230 231 234 238 239 243 245 248 249 251 253 263 265 267 270 271 273 280 286 288 291 292 293 294 298 299 304 305 306 307 310 317 318 321 322 328 330 333 336 339 341 344 345 348 349 a 2 3 5 6 16 18 19 20 23 24 25 27 28 29 30 42 43 45 46 54 58 61 62 63 65 71 74 84 85 88 89 90 91 97 99 100 111 113 123 125 126 129 134 135 138 144 146 147 148 154 156 159 165 167 168 173 182 186 191 196 200 201 207 208 211 215 219 223 230 231 234 238 239 243 245 248 249 251 253 263 265 267 270 271 273 280 286 288 291 292 293 294 298 299 304 305 306 307 310 317 318 321 322 325 328 330 333 336 339 341 344 345 348 349 a 2 3 5 6 16 18 19 20 23 24 25 27 28 29 30 42 43 45 46 54 58 61 62 63 65 71 74 84 85 88 89 90 91 97 99 100 111 113 123 125 126 129 134 135 138 144 146 147 148 154 156 159 165 167 168 173 182 186 191 196 200 201 207 208 211 215 219 223 230 234 238 239 243 245 248 249 251 253 263 265 267 270 271 273 280 286 288 291 292 293 294 298 299 304 305 306 307 310 317 318 321 322 325 328 330 333 336 339 341 344 345 348 349 351 a 2 3 5 6 16 18 19 20 23 24 25 27 28 29 30 42 43 45 46 54 58 61 62 63 65 71 74 84 85 88 89 90 91 97 99 100 111 113 123 125 126 129 134 135 138 144 146 147 148 154 156 159 165 167 168 173 182 186 191 196 200 201 202 207 208 211 215 219 223 230 234 238 239 243 245 248 249 251 253 263 265 267 270 271 273 280 286 288 291 293 294 298 299 304 305 306 307 310 317 318 321 322 325 328 330 333 336 339 341 344 345 348 349 351 a 2 3 5 6 16 18 19 20 23 24 25 27 28 29 30 34 42 43 45 46 54 58 61 62 63 65 71 74 84 85 88 89 90 91 97 99 100 111 113 123 125 126 129 134 135 138 144 147 148 154 156 159 165 167 168 173 182 186 191 196 200 201 202 207 208 211 215 219 223 230 234 238 239 243 245 248 249 251 253 263 265 267 270 271 273 280 286 288 291 293 294 298 299 304 305 306 307 310 317 318 321 322 325 328 330 333 336 339 341 344 345 348 349 351 a 2 3 5 6 16 18 19 20 23 24 25 27 28 29 30 34 42 43 45 46 54 58 61 62 63 65 71 74 84 85 88 89 90 91 92 97 99 100 111 113 123 125 126 129 134 135 138 144 147 148 154 156 159 165 168 173 182 186 191 196 200 201 202 207 208 211 215 219 223 230 234 238 239 243 245 248 249 251 253 263 265 267 270 271 273 280 286 288 291 293 294 298 299 304 305 306 307 310 317 318 321 322 325 328 330 333 336 339 341 344 345 348 349 351 a 2 3 5 16 18 19 20 23 24 25 27 28 29 30 34 42 43 45 46 54 58 61 62 63 65 71 74 84 85 88 89 90 91 92 97 99 100 111 113 123 125 126 129 134 135 138 144 147 148 154 156 159 165 168 170 173 182 186 191 196 200 201 202 207 208 211 215 219 223 230 234 238 239 243 245 248 249 251 253 263 265 267 270 271 273 280 286 288 291 293 294 298 299 304 305 306 307 310 317 318 321 322 325 328 330 333 336 339 341 344 345 348 349 351 a 2 3 5 16 18 19 20 23 24 25 27 28 29 30 34 42 43 45 46 54 58 61 62 63 65 71 74 84 85 88 89 90 91 92 97 99 100 111 113 123 125 126 129 134 135 138 144 147 148 154 156 159 165 170 173 182 186 191 196 200 201 202 207 208 211 215 219 223 230 234 238 239 243 245 248 249 251 253 263 265 267 270 271 273 280 286 288 291 293 294 295 298 299 304 305 306 307 310 317 318 321 322 325 328 330 333 336 339 341 344 345 348 349 351 a 2 3 5 16 18 19 20 23 24 25 27 28 29 30 34 42 43 45 46 54 58 61 62 63 65 71 74 84 85 88 89 90 91 92 97 99 100 111 113 123 125 126 129 134 135 138 147 148 154 156 159 165 170 173 182 186 191 196 200 201 202 207 208 211 215 219 221 223 230 234 238 239 243 245 248 249 251 253 263 265 267 270 271 273 280 286 288 291 293 294 295 298 299 304 305 306 307 310 317 318 321 322 325 328 330 333 336 339 341 344 345 348 349 351 a 2 3 5 16 18 19 20 23 24 25 27 28 29 30 34 42 43 45 46 54 58 62 63 65 71 74 84 85 88 89 90 91 92 97 99 100 111 113 123 125 126 129 134 135 138 147 148 154 156 159 165 170 173 182 186 191 196 200 201 202 207 208 211 215 219 221 223 230 234 238 239 243 245 248 249 251 253 263 265 266 267 270 271 273 280 286 288 291 293 294 295 298 299 304 305 306 307 310 317 318 321 322 325 328 330 333 336 339 341 344 345 348 349 351 a 2 3 5 16 18 19 20 23 24 25 27 28 29 30 34 42 43 45 46 54 58 62 63 65 71 74 84 85 88 89 90 91 92 97 99 100 111 113 123 125 126 129 134 135 138 147 148 154 156 159 165 170 173 182 186 191 196 200 201 202 207 208 211 215 219 221 223 230 234 238 239 243 245 246 248 249 253 263 265 266 267 270 271 273 280 286 288 291 293 294 295 298 299 304 305 306 307 310 317 318 321 322 325 328 330 333 336 339 341 344 345 348 349 351 a 2 3 5 16 18 19 20 23 24 25 27 28 29 30 34 42 43 45 46 54 58 62 63 65 71 74 84 85 88 89 90 91 92 97 99 100 111 113 123 125 126 129 134 135 138 147 148 154 156 159 165 170 173 182 186 191 196 200 201 202 207 208 211 215 219 221 223 230 234 238 239 242 243 245 246 248 249 253 263 265 266 267 270 271 273 280 286 288 291 293 294 295 298 299 304 305 306 310 317 318 321 322 325 328 330 333 336 339 341 344 345 348 349 351 a 2 3 5 16 18 19 20 23 24 25 27 28 29 30 34 42 43 45 46 54 58 62 63 65 71 74 84 85 88 89 90 91 92 97 99 100 111 113 123 125 126 129 134 135 138 147 148 154 156 159 165 170 173 182 186 191 195 196 200 201 202 207 208 211 215 219 221 223 230 234 238 239 242 243 245 246 248 249 253 263 265 266 267 270 271 273 280 288 291 293 294 295 298 299 304 305 306 310 317 318 321 322 325 328 330 333 336 339 341 344 345 348 349 351 a 2 3 5 16 18 19 20 23 24 25 27 28 29 30 34 43 45 46 54 58 62 63 65 71 74 84 85 88 89 90 91 92 97 99 100 111 113 123 125 126 129 134 135 138 147 148 154 156 159 163 165 170 173 182 186 191 195 196 200 201 202 207 208 211 215 219 221 223 230 234 238 239 242 243 245 246 248 249 253 263 265 266 267 270 271 273 280 288 291 293 294 295 298 299 304 305 306 310 317 318 321 322 325 328 330 333 336 339 341 344 345 348 349 351 a 2 3 5 16 18 19 20 23 24 25 27 28 29 30 34 43 45 54 58 62 63 65 71 74 84 85 88 89 90 91 92 97 99 100 111 113 123 125 126 129 134 135 138 147 148 154 156 159 163 165 170 173 178 182 186 191 195 196 200 201 202 207 208 211 215 219 221 223 230 234 238 239 242 243 245 246 248 249 253 263 265 266 267 270 271 273 280 288 291 293 294 295 298 299 304 305 306 310 317 318 321 322 325 328 330 333 336 339 341 344 345 348 349 351 a 2 3 5 16 18 19 20 23 24 25 27 28 29 30 34 43 45 54 58 62 63 65 71 74 84 85 88 89 90 91 92 97 99 100 111 113 123 125 126 129 134 135 138 147 148 154 156 159 163 165 170 173 178 182 186 191 195 196 200 201 202 207 208 211 215 217 219 221 223 230 234 238 239 242 243 245 246 248 249 253 263 265 266 270 271 273 280 288 291 293 294 295 298 299 304 305 306 310 317 318 321 322 325 328 330 333 336 339 341 344 345 348 349 351 a 2 3 5 16 18 19 20 23 24 25 27 28 29 30 34 43 45 54 58 62 63 65 71 74 84 85 88 89 90 91 92 97 99 100 111 113 123 125 126 129 134 135 138 147 148 154 156 159 163 165 170 173 178 182 186 191 195 196 200 201 202 207 208 211 215 217 219 221 223 230 234 238 239 242 243 245 246 248 249 253 263 265 266 270 271 273 280 284 288 291 293 294 295 298 299 304 305 306 310 317 318 321 325 328 330 333 336 339 341 344 345 348 349 351 a 2 3 5 16 18 19 20 23 24 25 27 28 29 30 34 43 45 54 58 62 63 65 71 74 84 85 88 89 90 91 92 97 99 100 111 113 123 125 126 129 134 135 147 148 154 156 159 163 165 170 172 173 178 182 186 191 195 196 200 201 202 207 208 211 215 217 219 221 223 230 234 238 239 242 243 245 246 248 249 253 263 265 266 270 271 273 280 284 288 291 293 294 295 298 299 304 305 306 310 317 318 321 325 328 330 333 336 339 341 344 345 348 349 351 a 2 3 5 16 18 19 20 23 24 25 27 28 29 30 34 43 45 54 58 59 62 63 65 71 74 84 85 88 89 90 91 92 97 99 100 111 113 123 125 126 129 134 135 147 148 154 156 163 165 170 172 173 178 182 186 191 195 196 200 201 202 207 208 211 215 217 219 221 223 230 234 238 239 242 243 245 246 248 249 253 263 265 266 270 271 273 280 284 288 291 293 294 295 298 299 304 305 306 310 317 318 321 325 328 330 333 336 339 341 344 345 348 349 351 a 2 3 5 9 16 18 19 20 23 24 25 27 28 29 30 34 43 45 54 58 59 62 63 65 71 74 84 85 88 89 90 91 92 97 99 100 111 113 123 125 126 129 135 147 148 154 156 163 165 170 172 173 178 182 186 191 195 196 200 201 202 207 208 211 215 217 219 221 223 230 234 238 239 242 243 245 246 248 249 253 263 265 266 270 271 273 280 284 288 291 293 294 295 298 299 304 305 306 310 317 318 321 325 328 330 333 336 339 341 344 345 348 349 351 a 2 3 5 9 16 18 19 20 23 24 25 27 28 29 34 43 45 54 58 59 62 63 65 71 74 84 85 88 89 90 91 92 97 99 100 111 113 123 125 126 129 135 147 148 154 156 163 165 170 172 173 178 182 186 190 191 195 196 200 201 202 207 208 211 215 217 219 221 223 230 234 238 239 242 243 245 246 248 249 253 263 265 266 270 271 273 280 284 288 291 293 294 295 298 299 304 305 306 310 317 318 321 325 328 330 333 336 339 341 344 345 348 349 351 a 2 3 5 9 16 18 19 20 23 24 25 27 28 29 34 43 45 48 54 58 59 62 63 65 71 74 84 85 88 89 90 91 92 97 99 100 111 113 123 125 126 129 135 147 148 156 163 165 170 172 173 178 182 186 190 191 195 196 200 201 202 207 208 211 215 217 219 221 223 230 234 238 239 242 243 245 246 248 249 253 263 265 266 270 271 273 280 284 288 291 293 294 295 298 299 304 305 306 310 317 318 321 325 328 330 333 336 339 341 344 345 348 349 351 a 2 3 5 9 16 18 19 20 23 24 25 27 28 29 34 43 45 48 54 58 59 62 63 65 71 74 84 85 88 89 90 91 92 97 99 100 111 113 123 125 126 129 135 147 148 156 163 165 170 172 173 178 182 186 190 191 195 196 200 201 202 207 208 211 215 217 219 221 223 230 234 238 239 242 243 245 246 248 249 253 265 266 270 271 273 280 284 288 291 293 294 295 298 299 304 305 306 310 317 318 321 325 328 329 330 333 336 339 341 344 345 348 349 351 a 2 3 5 9 16 18 19 20 23 24 25 27 28 29 34 43 45 48 52 54 58 59 62 63 65 71 74 84 85 88 89 90 91 92 97 99 100 111 113 123 125 126 129 135 147 148 156 163 165 170 172 173 178 182 186 190 191 195 196 200 201 202 207 208 215 217 219 221 223 230 234 238 239 242 243 245 246 248 249 253 265 266 270 271 273 280 284 288 291 293 294 295 298 299 304 305 306 310 317 318 321 325 328 329 330 333 336 339 341 344 345 348 349 351 a 2 3 5 9 16 18 19 20 23 24 25 27 28 29 34 43 45 48 52 54 58 59 62 63 65 71 74 84 85 88 89 90 91 92 97 99 100 111 113 123 125 126 129 135 147 148 163 165 170 172 173 178 182 186 190 191 195 196 200 201 202 207 208 215 217 219 221 223 227 230 234 238 239 242 243 245 246 248 249 253 265 266 270 271 273 280 284 288 291 293 294 295 298 299 304 305 306 310 317 318 321 325 328 329 330 333 336 339 341 344 345 348 349 351 a 2 3 5 9 16 18 19 20 23 24 25 27 28 29 34 43 45 48 52 54 58 59 62 63 65 71 74 84 85 88 89 90 91 92 97 99 100 111 113 123 125 126 129 135 143 147 148 163 165 170 172 173 178 182 186 190 191 195 196 200 201 202 207 208 215 217 219 221 227 230 234 238 239 242 243 245 246 248 249 253 265 266 270 271 273 280 284 288 291 293 294 295 298 299 304 305 306 310 317 318 321 325 328 329 330 333 336 339 341 344 345 348 349 351 a 2 3 5 9 16 18 19 20 23 24 25 27 28 29 34 43 45 48 52 54 58 59 62 63 65 71 74 84 85 88 89 90 91 92 97 99 100 111 113 123 125 126 129 135 143 147 148 163 170 172 173 178 182 186 190 191 195 196 200 201 202 207 208 215 217 219 221 227 230 234 238 239 242 243 245 246 248 249 253 265 266 270 271 273 280 284 288 291 293 294 295 298 299 304 305 306 310 317 318 319 321 325 328 329 330 333 336 339 341 344 345 348 349 351 a 2 3 5 9 16 18 19 20 23 24 25 27 28 29 33 34 43 45 48 52 54 58 59 62 63 65 71 74 84 85 88 89 90 91 92 97 99 100 111 113 123 125 126 129 135 143 147 148 163 170 172 173 178 182 190 191 195 196 200 201 202 207 208 215 217 219 221 227 230 234 238 239 242 243 245 246 248 249 253 265 266 270 271 273 280 284 288 291 293 294 295 298 299 304 305 306 310 317 318 319 321 325 328 329 330 333 336 339 341 344 345 348 349 351 a 2 3 5 9 16 18 19 20 23 24 25 27 28 29 33 34 43 45 48 52 54 58 59 62 63 65 71 74 84 85 88 89 91 92 97 99 100 111 113 123 125 126 129 135 143 147 148 149 163 170 172 173 178 182 190 191 195 196 200 201 202 207 208 215 217 219 221 227 230 234 238 239 242 243 245 246 248 249 253 265 266 270 271 273 280 284 288 291 293 294 295 298 299 304 305 306 310 317 318 319 321 325 328 329 330 333 336 339 341 344 345 348 349 351 a 2 3 5 9 16 18 19 23 24 25 27 28 29 33 34 43 45 48 52 54 58 59 62 63 65 71 74 84 85 88 89 91 92 97 99 100 111 113 123 125 126 129 135 143 147 148 149 163 170 172 173 178 182 190 191 195 196 200 201 202 207 208 215 217 219 221 227 230 234 238 239 242 243 245 246 248 249 253 265 266 270 271 273 275 280 284 288 291 293 294 295 298 299 304 305 306 310 317 318 319 321 325 328 329 330 333 336 339 341 344 345 348 349 351 a 2 3 5 9 16 18 19 23 24 25 27 28 29 33 34 43 45 48 52 54 58 59 62 63 65 71 74 84 85 88 89 91 92 97 99 100 111 113 123 125 126 129 135 143 147 148 149 163 170 172 173 178 182 190 191 195 196 200 201 202 207 208 215 217 219 221 227 230 234 238 239 242 243 245 246 248 249 253 265 266 268 270 271 273 275 280 284 288 291 293 295 298 299 304 305 306 310 317 318 319 321 325 328 329 330 333 336 339 341 344 345 348 349 351 a 2 3 5 9 16 18 19 23 24 25 27 28 29 33 34 35 43 45 48 52 58 59 62 63 65 71 74 84 85 88 89 91 92 97 99 100 111 113 123 125 126 129 135 143 147 148 149 163 170 172 173 178 182 190 191 195 196 200 201 202 207 208 215 217 219 221 227 230 234 238 239 242 243 245 246 248 249 253 265 266 268 270 271 273 275 280 284 288 291 293 295 298 299 304 305 306 310 317 318 319 321 325 328 329 330 333 336 339 341 344 345 348 349 351 a 2 3 5 9 16 18 19 23 24 25 27 28 29 33 34 35 43 45 48 52 58 59 62 63 65 71 74 84 85 88 89 91 92 97 99 100 111 113 123 125 126 129 135 143 147 148 149 163 170 172 173 178 182 190 191 195 196 200 201 202 208 215 216 217 219 221 227 230 234 238 239 242 243 245 246 248 249 253 265 266 268 270 271 273 275 280 284 288 291 293 295 298 299 304 305 306 310 317 318 319 321 325 328 329 330 333 336 339 341 344 345 348 349 351 a 2 3 5 9 16 18 19 23 24 25 27 28 29 33 34 35 43 45 48 52 58 59 62 63 65 71 74 80 84 85 88 89 91 92 97 99 100 111 113 123 125 126 129 135 143 147 148 149 163 170 172 173 178 182 190 191 195 196 200 201 202 208 215 216 217 219 221 227 230 234 238 239 242 243 245 246 248 249 253 265 266 268 270 271 273 275 280 284 288 291 293 295 298 299 305 306 310 317 318 319 321 325 328 329 330 333 336 339 341 344 345 348 349 351 a 2 3 5 9 16 18 19 23 24 25 27 28 29 33 34 35 43 48 52 58 59 62 63 65 71 74 80 84 85 88 89 91 92 97 99 100 111 113 123 125 126 129 135 143 147 148 149 163 170 172 173 178 182 190 191 195 196 200 201 202 208 215 216 217 219 221 227 230 234 238 239 242 243 245 246 248 249 253 265 266 268 270 271 273 275 280 284 288 291 293 295 298 299 305 306 310 317 318 319 321 325 328 329 330 333 336 339 341 343 344 345 348 349 351 a 2 3 5 9 16 18 19 23 24 25 27 28 29 33 34 35 43 48 52 58 59 62 65 71 74 80 84 85 88 89 91 92 94 97 99 100 111 113 123 125 126 129 135 143 147 148 149 163 170 172 173 178 182 190 191 195 196 200 201 202 208 215 216 217 219 221 227 230 234 238 239 242 243 245 246 248 249 253 265 266 268 270 271 273 275 280 284 288 291 293 295 298 299 305 306 310 317 318 319 321 325 328 329 330 333 336 339 341 343 344 345 348 349 351 a 2 3 5 9 16 18 23 24 25 27 28 29 33 34 35 43 48 52 58 59 62 65 71 74 80 84 85 88 89 91 92 94 97 99 100 111 113 116 123 125 126 129 135 143 147 148 149 163 170 172 173 178 182 190 191 195 196 200 201 202 208 215 216 217 219 221 227 230 234 238 239 242 243 245 246 248 249 253 265 266 268 270 271 273 275 280 284 288 291 293 295 298 299 305 306 310 317 318 319 321 325 328 329 330 333 336 339 341 343 344 345 348 349 351 a 2 3 5 9 16 18 23 24 25 27 28 29 33 34 35 43 48 52 58 59 62 65 71 74 80 84 85 88 89 91 92 94 97 99 100 111 113 116 123 125 126 129 135 143 147 148 149 163 170 172 173 178 182 190 191 195 196 200 201 202 208 215 216 217 219 221 227 230 234 238 239 242 243 245 246 248 249 253 265 266 268 270 271 273 275 280 284 288 291 293 295 298 299 305 306 310 315 317 318 319 321 325 328 329 333 336 339 341 343 344 345 348 349 351 a 2 3 5 9 16 18 23 24 25 27 28 29 33 34 35 43 48 52 58 59 62 65 71 74 80 84 85 89 91 92 94 97 99 100 111 113 116 123 125 126 129 135 143 147 148 149 163 170 172 173 178 182 190 191 195 196 200 201 202 208 215 216 217 219 221 227 230 234 238 239 242 243 245 246 248 249 253 265 266 268 270 271 273 275 280 284 288 291 293 295 298 299 305 306 310 315 316 317 318 319 321 325 328 329 333 336 339 341 343 344 345 348 349 351 a 2 3 5 9 16 18 23 24 25 27 28 29 33 34 35 43 48 52 58 59 62 65 71 74 80 84 85 89 91 92 94 97 99 100 111 113 116 123 125 126 129 135 143 147 148 149 163 170 172 173 178 190 191 195 196 200 201 202 208 215 216 217 219 221 227 230 234 238 239 242 243 245 246 248 249 253 265 266 268 270 271 273 275 280 284 288 291 293 295 298 299 305 306 310 315 316 317 318 319 321 325 328 329 333 336 338 339 341 343 344 345 348 349 351 a 2 3 5 9 16 18 23 24 25 27 28 29 33 34 35 43 48 52 58 59 62 65 71 74 80 84 85 89 91 92 94 97 100 111 113 116 121 123 125 126 129 135 143 147 148 149 163 170 172 173 178 190 191 195 196 200 201 202 208 215 216 217 219 221 227 230 234 238 239 242 243 245 246 248 249 253 265 266 268 270 271 273 275 280 284 288 291 293 295 298 299 305 306 310 315 316 317 318 319 321 325 328 329 333 336 338 339 341 343 344 345 348 349 351 a 2 3 5 9 16 18 23 24 25 27 28 29 33 34 35 43 48 52 58 59 62 65 71 74 80 84 85 89 91 92 94 97 100 111 113 116 121 123 125 126 129 135 143 147 148 149 150 163 170 172 173 178 190 191 195 196 200 201 202 208 215 216 217 219 221 227 230 234 238 239 242 243 245 246 248 249 253 265 266 268 270 271 273 275 280 284 288 291 293 295 298 305 306 310 315 316 317 318 319 321 325 328 329 333 336 338 339 341 343 344 345 348 349 351 a 2 3 5 9 16 17 18 23 24 25 27 29 33 34 35 43 48 52 58 59 62 65 71 74 80 84 85 89 91 92 94 97 100 111 113 116 121 123 125 126 129 135 143 147 148 149 150 163 170 172 173 178 190 191 195 196 200 201 202 208 215 216 217 219 221 227 230 234 238 239 242 243 245 246 248 249 253 265 266 268 270 271 273 275 280 284 288 291 293 295 298 305 306 310 315 316 317 318 319 321 325 328 329 333 336 338 339 341 343 344 345 348 349 351 a 2 3 5 9 16 17 18 23 24 25 27 29 33 34 35 43 48 52 58 59 62 65 71 74 80 84 85 89 91 92 94 97 100 111 113 116 121 123 125 126 129 133 135 143 147 148 149 150 163 170 172 173 178 190 191 195 196 200 201 202 208 215 216 217 219 221 227 230 234 238 239 242 243 245 246 249 253 265 266 268 270 271 273 275 280 284 288 291 293 295 298 305 306 310 315 316 317 318 319 321 325 328 329 333 336 338 339 341 343 344 345 348 349 351 a 2 3 5 9 15 16 17 18 23 24 25 27 29 33 34 35 43 48 52 58 59 62 65 71 74 80 84 85 89 91 92 94 97 100 111 113 116 121 123 125 126 129 133 135 143 147 148 149 150 163 170 172 173 178 190 191 195 196 200 201 202 208 215 216 217 219 221 227 230 234 238 239 242 243 245 246 249 253 265 266 268 270 271 273 275 280 284 288 291 293 295 298 305 306 310 315 316 317 318 319 321 325 328 329 336 338 339 341 343 344 345 348 349 351 a 2 3 5 9 15 16 17 18 23 25 27 29 33 34 35 43 48 52 58 59 62 65 71 74 80 84 85 89 91 92 94 97 100 111 113 116 121 123 125 126 129 133 135 143 147 148 149 150 163 164 170 172 173 178 190 191 195 196 200 201 202 208 215 216 217 219 221 227 230 234 238 239 242 243 245 246 249 253 265 266 268 270 271 273 275 280 284 288 291 293 295 298 305 306 310 315 316 317 318 319 321 325 328 329 336 338 339 341 343 344 345 348 349 351 a 2 3 5 9 15 16 17 18 23 25 29 33 34 35 43 48 52 58 59 62 65 71 74 80 84 85 89 91 92 94 97 100 111 113 116 121 123 125 126 129 133 135 143 147 148 149 150 163 164 170 172 173 178 190 191 195 196 200 201 202 208 215 216 217 219 221 227 230 234 238 239 242 243 245 246 249 253 265 266 268 270 271 273 275 278 280 284 288 291 293 295 298 305 306 310 315 316 317 318 319 321 325 328 329 336 338 339 341 343 344 345 348 349 351 a 2 3 5 9 15 16 17 18 23 25 29 33 34 35 43 48 52 58 59 62 65 71 74 80 84 85 89 91 92 94 97 100 111 113 116 121 123 125 126 129 133 135 143 147 148 149 150 163 164 170 172 173 178 188 190 191 195 196 200 201 202 208 215 216 217 219 221 227 230 234 238 239 242 243 245 246 249 253 265 266 268 271 273 275 278 280 284 288 291 293 295 298 305 306 310 315 316 317 318 319 321 325 328 329 336 338 339 341 343 344 345 348 349 351 a 2 3 5 9 15 16 17 18 23 25 29 33 34 35 43 48 52 58 59 62 65 71 74 80 84 85 89 91 92 94 97 100 111 113 116 121 123 125 126 129 133 135 143 147 148 149 150 163 164 170 172 173 178 188 190 191 195 196 200 201 202 208 215 216 217 218 219 221 227 230 234 238 239 242 243 245 246 249 253 265 266 268 271 273 275 278 280 284 288 291 295 298 305 306 310 315 316 317 318 319 321 325 328 329 336 338 339 341 343 344 345 348 349 351 a 2 3 5 9 15 16 17 18 23 29 33 34 35 43 48 52 58 59 62 65 68 71 74 80 84 85 89 91 92 94 97 100 111 113 116 121 123 125 126 129 133 135 143 147 148 149 150 163 164 170 172 173 178 188 190 191 195 196 200 201 202 208 215 216 217 218 219 221 227 230 234 238 239 242 243 245 246 249 253 265 266 268 271 273 275 278 280 284 288 291 295 298 305 306 310 315 316 317 318 319 321 325 328 329 336 338 339 341 343 344 345 348 349 351 a 2 3 5 9 15 16 17 18 29 31 33 34 35 43 48 52 58 59 62 65 68 71 74 80 84 85 89 91 92 94 97 100 111 113 116 121 123 125 126 129 133 135 143 147 148 149 150 163 164 170 172 173 178 188 190 191 195 196 200 201 202 208 215 216 217 218 219 221 227 230 234 238 239 242 243 245 246 249 253 265 266 268 271 273 275 278 280 284 288 291 295 298 305 306 310 315 316 317 318 319 321 325 328 329 336 338 339 341 343 344 345 348 349 351 a 2 3 5 9 15 16 17 18 29 31 33 34 35 43 48 52 56 58 59 62 65 68 71 74 80 85 89 91 92 94 97 100 111 113 116 121 123 125 126 129 133 135 143 147 148 149 150 163 164 170 172 173 178 188 190 191 195 196 200 201 202 208 215 216 217 218 219 221 227 230 234 238 239 242 243 245 246 249 253 265 266 268 271 273 275 278 280 284 288 291 295 298 305 306 310 315 316 317 318 319 321 325 328 329 336 338 339 341 343 344 345 348 349 351 a 2 3 9 15 16 17 18 29 31 33 34 35 43 48 52 56 58 59 62 65 68 71 74 80 85 89 91 92 94 97 100 111 113 116 118 121 123 125 126 129 133 135 143 147 148 149 150 163 164 170 172 173 178 188 190 191 195 196 200 201 202 208 215 216 217 218 219 221 227 230 234 238 239 242 243 245 246 249 253 265 266 268 271 273 275 278 280 284 288 291 295 298 305 306 310 315 316 317 318 319 321 325 328 329 336 338 339 341 343 344 345 348 349 351 c Step: 127 Command being timed: "python3 run_3.py --existent /benchmark/random_instance/random_instance027_graph003.col /benchmark/random_instance/random_instance027_graph003_01.dat" User time (seconds): 62.46 System time (seconds): 0.11 Percent of CPU this job got: 99% Elapsed (wall clock) time (h:mm:ss or m:ss): 1:02.58 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): 256096 Average resident set size (kbytes): 0 Major (requiring I/O) page faults: 0 Minor (reclaiming a frame) page faults: 96460 Voluntary context switches: 21 Involuntary context switches: 248 Swaps: 0 File system inputs: 0 File system outputs: 720 Socket messages sent: 0 Socket messages received: 0 Signals delivered: 0 Page size (bytes): 4096 Exit status: 0 #END: [Tue Sep 26 02:09:34 2023]