#BEGIN: [Mon Sep 4 14:33:06 2023] #HOST: s11 #TIMELIMIT: 1800 #MEMLIMIT: 0 #SOLVER: existent-wallclock-banbaralab2-existent3 #INSTANCE1: /benchmark/random_instance/random_instance025_graph003.col #INSTANCE2: /benchmark/random_instance/random_instance025_graph003_01.dat #COMMAND: docker run --cidfile /tmp/cid.txt --init --rm -t -v /home/share/benchmark/ISR-benchmark:/benchmark banbaralab2 --existent --na -t4 /benchmark/random_instance/random_instance025_graph003.col /benchmark/random_instance/random_instance025_graph003_01.dat c /benchmark/random_instance/random_instance025_graph003.col c /benchmark/random_instance/random_instance025_graph003_01.dat *** Info : (clingo): INTERRUPTED by signal! *** Info : (clingo): Queueing signal... *** Info : (clingo): Sending shutdown signal... *** ERROR: (clingo): solving stopped by signal *** Info : (clingo): Shutdown completed in 0.002 seconds s 94 139 93 193 4 206 172 81 226 314 303 20 322 143 59 173 221 17 320 160 203 195 30 136 153 99 14 2 273 47 168 27 25 126 83 103 96 119 64 234 72 120 35 69 250 254 256 311 76 279 91 118 26 216 108 102 158 7 15 134 74 192 306 200 224 294 101 129 197 23 163 117 175 285 188 283 28 52 71 215 240 179 280 183 145 60 202 151 18 176 53 170 180 222 80 298 41 304 37 237 21 313 246 186 t 35 147 12 162 286 307 196 104 6 97 41 100 71 171 164 15 217 105 98 91 305 213 284 212 200 259 94 19 273 1 316 223 72 277 296 176 9 90 118 11 205 77 74 279 280 135 219 101 260 156 244 51 120 148 52 25 168 238 150 228 224 262 170 211 302 37 45 178 75 46 122 70 253 295 249 80 161 266 227 142 129 239 117 108 255 294 24 267 69 63 145 313 226 215 165 246 154 26 18 39 245 182 64 283 a YES a 2 4 7 14 15 17 18 20 21 23 25 26 27 28 30 35 37 41 47 52 53 59 60 64 69 71 72 74 76 80 81 83 91 93 94 96 99 101 102 103 108 117 118 119 120 126 129 134 136 139 143 145 151 153 158 160 163 168 170 172 173 175 176 179 180 183 186 188 192 193 195 197 200 202 203 206 215 216 221 222 224 226 234 237 240 246 250 254 256 273 279 280 283 285 294 298 303 304 306 311 313 314 320 322 a 2 4 7 14 15 17 18 20 21 23 25 26 27 28 30 35 37 41 47 52 53 57 59 60 69 71 72 74 76 80 81 83 91 93 94 96 99 101 102 103 108 117 118 119 120 126 129 134 136 139 143 145 151 153 158 160 163 168 170 172 173 175 176 179 180 183 186 188 192 193 195 197 200 202 203 206 215 216 221 222 224 226 234 237 240 246 250 254 256 273 279 280 283 285 294 298 303 304 306 311 313 314 320 322 a 2 4 7 14 15 17 18 20 21 23 25 26 27 28 30 35 37 41 47 52 53 57 59 60 71 72 74 76 80 81 83 91 93 94 96 99 101 102 103 108 117 118 119 120 126 129 134 136 139 143 145 151 153 158 160 163 168 170 172 173 175 176 179 180 183 186 188 192 193 195 197 200 202 203 206 208 215 216 221 222 224 226 234 237 240 246 250 254 256 273 279 280 283 285 294 298 303 304 306 311 313 314 320 322 a 2 4 7 14 15 17 18 20 21 23 25 26 27 28 35 37 41 47 52 53 57 59 60 71 72 74 76 80 81 83 91 93 94 96 99 101 102 103 108 117 118 119 120 126 129 134 136 139 143 145 151 153 155 158 160 163 168 170 172 173 175 176 179 180 183 186 188 192 193 195 197 200 202 203 206 208 215 216 221 222 224 226 234 237 240 246 250 254 256 273 279 280 283 285 294 298 303 304 306 311 313 314 320 322 a 2 4 7 14 15 17 18 20 21 23 25 26 27 28 35 37 41 47 52 53 57 59 60 71 72 74 76 80 81 83 91 93 94 96 99 101 102 103 108 117 118 119 120 126 129 134 136 139 143 145 151 153 155 158 160 163 168 170 172 173 175 176 179 180 183 186 188 192 193 195 197 200 202 203 206 207 208 215 216 221 222 224 226 234 237 240 246 250 254 256 279 280 283 285 294 298 303 304 306 311 313 314 320 322 a 2 4 7 14 15 17 18 20 21 22 23 25 26 27 28 35 37 41 47 52 53 57 59 60 71 72 74 76 80 81 83 91 93 94 96 99 101 102 103 108 117 118 119 120 126 129 134 136 139 143 145 151 153 155 158 160 163 168 170 172 173 175 176 179 180 186 188 192 193 195 197 200 202 203 206 207 208 215 216 221 222 224 226 234 237 240 246 250 254 256 279 280 283 285 294 298 303 304 306 311 313 314 320 322 a 2 4 7 14 17 18 20 21 22 23 25 26 27 28 35 37 41 47 52 53 57 59 60 71 72 74 76 77 80 81 83 91 93 94 96 99 101 102 103 108 117 118 119 120 126 129 134 136 139 143 145 151 153 155 158 160 163 168 170 172 173 175 176 179 180 186 188 192 193 195 197 200 202 203 206 207 208 215 216 221 222 224 226 234 237 240 246 250 254 256 279 280 283 285 294 298 303 304 306 311 313 314 320 322 a 2 4 7 14 17 18 20 21 22 23 25 26 27 28 35 37 41 47 52 53 59 60 64 71 72 74 76 77 80 81 83 91 93 94 96 99 101 102 103 108 117 118 119 120 126 129 134 136 139 143 145 151 153 155 158 160 163 168 170 172 173 175 176 179 180 186 188 192 193 195 197 200 202 203 206 207 208 215 216 221 222 224 226 234 237 240 246 250 254 256 279 280 283 285 294 298 303 304 306 311 313 314 320 322 a 2 4 7 14 17 18 20 21 22 23 25 26 27 28 35 37 41 47 52 53 59 60 64 71 72 74 76 77 80 81 83 91 93 94 96 99 101 102 103 108 117 118 119 120 126 129 134 136 143 145 151 153 155 158 160 163 168 170 172 173 175 176 179 180 186 188 192 193 195 197 200 202 203 206 207 208 215 216 221 222 224 226 234 237 240 246 250 254 256 279 280 283 285 294 298 300 303 304 306 311 313 314 320 322 a 2 4 7 14 15 17 18 20 21 22 23 25 26 27 28 35 37 41 47 52 53 59 60 64 71 72 76 77 80 81 83 91 93 94 96 99 101 102 103 108 117 118 119 120 126 129 134 136 143 145 151 153 155 158 160 163 168 170 172 173 175 176 179 180 186 188 192 193 195 197 200 202 203 206 207 208 215 216 221 222 224 226 234 237 240 246 250 254 256 279 280 283 285 294 298 300 303 304 306 311 313 314 320 322 a 2 4 7 14 15 17 18 20 21 22 23 25 26 27 28 35 37 41 47 52 53 59 60 64 71 72 76 77 80 81 83 91 93 94 96 99 101 102 103 108 117 118 119 120 126 129 133 134 136 143 145 151 153 155 158 160 163 168 170 172 173 175 176 179 180 186 188 192 193 195 197 200 202 203 206 207 208 215 216 221 222 224 226 234 237 240 246 250 254 256 279 280 285 294 298 300 303 304 306 311 313 314 320 322 a 2 4 14 15 17 18 20 21 22 23 25 26 27 28 35 37 41 47 52 53 59 60 64 71 72 74 76 77 80 81 83 91 93 94 96 99 101 102 103 108 117 118 119 120 126 129 133 134 136 143 145 151 153 155 158 160 163 168 170 172 173 175 176 179 180 186 188 192 193 195 197 200 202 203 206 207 208 215 216 221 222 224 226 234 237 240 246 250 254 256 279 280 285 294 298 300 303 304 306 311 313 314 320 322 a 2 4 14 15 17 18 21 22 23 25 26 27 28 35 37 41 47 52 53 59 60 64 71 72 74 76 77 80 81 83 91 93 94 96 99 101 102 103 108 117 118 119 120 126 129 133 134 136 143 145 151 153 155 158 160 163 168 170 172 173 175 176 178 179 180 186 188 192 193 195 197 200 202 203 206 207 208 215 216 221 222 224 226 234 237 240 246 250 254 256 279 280 285 294 298 300 303 304 306 311 313 314 320 322 a 2 4 14 15 17 18 21 22 23 25 26 27 28 35 37 41 42 47 52 53 59 60 64 71 72 74 76 77 80 81 83 91 93 94 96 99 101 102 103 108 117 118 119 120 126 129 133 134 136 143 145 151 153 155 158 160 163 168 170 172 173 175 176 178 179 180 186 188 192 193 195 197 200 202 203 206 207 208 215 216 221 222 224 226 234 237 240 246 254 256 279 280 285 294 298 300 303 304 306 311 313 314 320 322 a 2 4 14 15 17 18 21 22 23 25 26 27 28 35 37 41 42 47 52 53 59 60 64 71 72 74 76 77 80 81 83 91 93 94 96 99 101 102 103 108 118 119 120 126 129 132 133 134 136 143 145 151 153 155 158 160 163 168 170 172 173 175 176 178 179 180 186 188 192 193 195 197 200 202 203 206 207 208 215 216 221 222 224 226 234 237 240 246 254 256 279 280 285 294 298 300 303 304 306 311 313 314 320 322 a 2 4 14 15 17 18 21 22 23 25 26 27 28 35 37 41 42 47 52 53 59 60 64 71 72 74 76 77 80 81 83 91 93 94 96 99 101 103 108 118 119 120 126 129 132 133 134 136 143 145 151 153 155 158 160 163 168 170 172 173 175 176 178 179 180 186 188 192 193 195 197 200 202 203 206 207 208 215 216 221 222 224 226 234 237 240 243 246 254 256 279 280 285 294 298 300 303 304 306 311 313 314 320 322 a 2 3 4 14 15 17 18 21 22 23 25 26 27 28 35 37 41 42 47 52 53 59 60 64 71 72 76 77 80 81 83 91 93 94 96 99 101 103 108 118 119 120 126 129 132 133 134 136 143 145 151 153 155 158 160 163 168 170 172 173 175 176 178 179 180 186 188 192 193 195 197 200 202 203 206 207 208 215 216 221 222 224 226 234 237 240 243 246 254 256 279 280 285 294 298 300 303 304 306 311 313 314 320 322 a 2 3 4 7 14 15 17 18 21 22 23 25 26 27 28 35 37 41 42 47 52 53 59 60 64 71 72 76 77 80 81 83 91 93 94 96 99 101 103 108 118 119 120 126 129 132 133 134 136 143 145 151 153 155 158 160 163 168 170 172 173 175 176 178 180 186 188 192 193 195 197 200 202 203 206 207 208 215 216 221 222 224 226 234 237 240 243 246 254 256 279 280 285 294 298 300 303 304 306 311 313 314 320 322 a 2 3 4 7 14 15 17 18 21 22 23 25 26 27 28 35 37 41 42 47 49 52 53 59 60 64 71 72 76 77 80 81 83 91 93 94 96 99 101 103 108 118 119 120 126 129 132 133 134 136 143 145 151 153 155 158 160 163 168 170 172 173 175 176 178 180 186 188 192 193 195 197 200 202 203 206 207 208 215 216 221 222 224 234 237 240 243 246 254 256 279 280 285 294 298 300 303 304 306 311 313 314 320 322 a 2 3 4 7 14 15 18 21 22 23 25 26 27 28 35 37 41 42 47 49 52 53 59 60 64 71 72 76 77 80 81 83 91 93 94 96 99 101 103 108 118 119 120 126 129 132 133 134 136 143 145 151 153 155 158 160 163 168 170 172 173 175 176 178 180 186 188 192 193 195 197 200 202 203 206 207 208 215 216 221 222 224 234 237 240 243 246 254 256 279 280 285 294 298 300 303 304 306 311 312 313 314 320 322 a 2 3 4 7 14 15 18 21 22 23 25 26 27 28 35 37 41 42 47 49 52 53 59 60 64 71 72 76 77 80 81 83 91 93 94 96 99 101 103 108 118 119 120 126 129 132 133 134 136 143 145 151 153 155 158 160 163 168 170 172 173 175 176 178 180 186 188 192 193 195 197 200 202 203 206 208 215 216 221 222 224 234 237 240 243 246 254 256 278 279 280 285 294 298 300 303 304 306 311 312 313 314 320 322 a 2 3 4 7 14 15 18 21 22 23 25 26 27 28 35 37 41 42 47 49 52 53 59 60 64 71 72 76 77 80 81 83 91 93 94 96 99 101 108 118 119 120 126 129 132 133 134 136 143 145 151 153 155 158 160 163 168 170 172 173 175 176 178 180 186 188 192 193 195 197 199 200 202 203 206 208 215 216 221 222 224 234 237 240 243 246 254 256 278 279 280 285 294 298 300 303 304 306 311 312 313 314 320 322 a 2 3 4 7 11 14 15 18 21 22 23 25 26 27 28 35 37 41 42 47 49 52 53 60 64 71 72 76 77 80 81 83 91 93 94 96 99 101 108 118 119 120 126 129 132 133 134 136 143 145 151 153 155 158 160 163 168 170 172 173 175 176 178 180 186 188 192 193 195 197 199 200 202 203 206 208 215 216 221 222 224 234 237 240 243 246 254 256 278 279 280 285 294 298 300 303 304 306 311 312 313 314 320 322 a 2 3 4 7 11 14 15 18 21 22 23 25 26 27 28 30 35 37 41 42 47 49 52 53 60 64 71 72 76 77 80 81 83 91 93 94 96 99 101 108 118 119 120 126 129 132 133 134 136 143 145 151 153 158 160 163 168 170 172 173 175 176 178 180 186 188 192 193 195 197 199 200 202 203 206 208 215 216 221 222 224 234 237 240 243 246 254 256 278 279 280 285 294 298 300 303 304 306 311 312 313 314 320 322 a 2 3 4 7 11 14 15 17 18 21 22 23 25 26 27 28 30 35 37 41 42 47 49 52 53 60 64 71 72 76 77 80 81 83 91 93 94 96 99 101 108 118 119 120 126 129 132 133 134 136 143 145 151 153 158 160 163 168 170 172 173 175 176 178 180 186 188 192 193 195 197 199 200 202 203 206 208 215 216 221 222 224 234 237 240 243 246 254 256 278 279 280 285 294 298 300 303 304 306 311 313 314 320 322 a 2 3 4 7 11 14 15 17 18 21 22 23 25 26 27 28 30 35 37 41 42 47 49 52 53 60 64 71 72 76 77 80 81 83 91 93 94 96 99 101 108 118 119 120 126 129 132 133 134 136 143 145 151 153 158 160 163 168 170 172 173 175 176 178 180 186 188 192 193 195 197 199 200 202 203 206 208 215 216 221 222 224 234 237 240 243 246 254 256 273 278 279 280 285 294 298 300 303 304 306 311 313 314 320 a 2 3 4 7 11 14 15 17 18 21 22 23 25 26 27 28 30 35 37 41 42 47 49 52 53 60 64 71 72 76 77 80 81 83 91 93 94 96 99 101 108 118 119 120 126 129 132 133 134 136 143 145 151 153 158 160 163 168 170 172 173 175 176 178 180 186 188 192 193 195 197 199 200 202 203 206 208 215 221 222 224 234 237 240 243 246 254 255 256 273 278 279 280 285 294 298 300 303 304 306 311 313 314 320 a 2 3 4 7 11 14 15 17 18 21 22 23 25 26 27 28 35 37 41 42 47 49 52 53 60 64 71 72 76 77 80 81 83 91 93 94 96 99 101 108 118 119 120 126 129 132 133 134 136 143 145 151 153 158 160 163 168 170 172 173 175 176 178 180 186 188 192 193 195 197 199 200 202 203 206 208 215 221 222 224 234 237 240 243 246 254 255 256 273 278 279 280 285 293 294 298 300 303 304 306 311 313 314 320 a 2 3 4 7 11 14 15 17 18 21 22 23 25 26 27 28 35 37 41 42 47 49 52 53 59 60 64 71 72 76 77 80 81 83 91 93 94 96 99 101 108 118 119 120 126 129 132 133 134 136 143 145 151 153 158 160 163 168 170 172 173 175 176 178 180 186 188 192 193 195 197 199 200 202 203 206 208 215 221 222 224 234 237 240 243 246 254 255 256 273 278 279 280 285 293 294 298 300 303 304 306 311 313 320 a 2 3 4 7 11 14 15 17 18 21 22 23 25 26 27 28 35 37 41 42 47 49 52 53 59 60 64 71 72 76 77 80 81 83 91 93 94 96 99 101 108 118 119 120 126 129 133 134 136 143 145 151 153 158 160 163 168 170 172 173 175 176 178 180 186 188 192 193 195 197 199 200 202 203 206 208 215 221 222 224 234 237 240 243 246 254 255 256 273 278 279 280 285 293 294 298 300 303 304 306 311 313 320 322 a 2 3 4 7 11 14 15 17 18 20 21 22 23 25 26 27 28 35 37 41 42 47 49 52 53 59 60 64 71 72 76 77 80 81 83 91 93 94 96 99 101 108 118 119 120 126 129 133 134 136 143 145 151 153 158 160 163 168 170 172 173 175 176 180 186 188 192 193 195 197 199 200 202 203 206 208 215 221 222 224 234 237 240 243 246 254 255 256 273 278 279 280 285 293 294 298 300 303 304 306 311 313 320 322 a 2 4 7 11 14 15 17 18 20 21 22 23 25 26 27 28 35 37 41 42 47 49 52 53 59 60 64 71 72 74 76 77 80 81 83 91 93 94 96 99 101 108 118 119 120 126 129 133 134 136 143 145 151 153 158 160 163 168 170 172 173 175 176 180 186 188 192 193 195 197 199 200 202 203 206 208 215 221 222 224 234 237 240 243 246 254 255 256 273 278 279 280 285 293 294 298 300 303 304 306 311 313 320 322 a 2 4 7 11 14 15 17 18 20 21 22 23 25 26 27 28 35 37 41 42 47 49 52 53 59 60 64 71 72 74 76 77 80 81 83 91 93 94 96 99 101 108 118 119 120 126 129 133 134 136 143 145 151 153 158 160 163 168 170 172 173 175 176 180 186 192 193 195 197 199 200 202 203 206 208 215 221 222 224 234 237 240 243 246 254 255 256 273 278 279 280 285 293 294 298 300 303 304 306 311 313 314 320 322 a 2 4 7 11 15 17 18 20 21 22 23 25 26 27 28 35 37 41 42 47 49 52 53 59 60 64 71 72 74 76 77 80 81 83 91 93 94 96 99 101 108 118 119 120 126 129 133 134 136 143 145 151 153 158 160 163 168 170 172 173 175 176 180 186 192 193 195 197 199 200 202 203 206 208 210 215 221 222 224 234 237 240 243 246 254 255 256 273 278 279 280 285 293 294 298 300 303 304 306 311 313 314 320 322 a 2 4 7 11 15 17 18 20 21 22 23 25 26 27 28 35 37 41 42 47 49 52 53 59 60 64 71 72 74 75 76 77 80 81 83 91 93 94 96 99 101 108 118 119 120 126 129 133 134 136 143 145 151 153 158 160 163 168 170 172 175 176 180 186 192 193 195 197 199 200 202 203 206 208 210 215 221 222 224 234 237 240 243 246 254 255 256 273 278 279 280 285 293 294 298 300 303 304 306 311 313 314 320 322 a 2 4 7 11 15 17 18 20 21 22 23 25 26 27 28 35 37 41 42 47 49 52 53 59 60 64 69 71 72 74 75 76 77 80 81 83 91 93 94 96 99 101 108 118 119 120 126 129 133 134 136 143 145 151 153 158 160 163 168 170 172 175 176 180 186 192 193 195 197 199 200 202 203 206 210 215 221 222 224 234 237 240 243 246 254 255 256 273 278 279 280 285 293 294 298 300 303 304 306 311 313 314 320 322 a 2 4 7 11 15 17 18 20 21 22 23 25 26 27 28 35 37 41 42 47 49 52 53 59 60 64 69 71 72 74 75 76 77 80 81 83 91 93 94 96 99 101 108 118 119 120 126 129 133 134 136 143 145 151 153 158 160 163 168 170 172 175 176 179 180 186 192 193 195 197 199 200 202 203 206 210 215 221 222 224 234 237 240 243 246 254 255 256 273 278 279 280 285 293 294 298 300 303 304 306 311 313 314 320 a 2 4 7 11 14 15 17 18 20 21 22 23 25 26 27 28 35 37 41 42 47 49 52 53 59 60 64 69 71 72 74 75 76 77 80 81 83 91 93 94 96 99 101 108 118 119 120 126 129 133 134 136 143 145 151 153 158 160 163 168 170 172 175 176 179 180 186 192 193 195 197 199 200 202 203 206 215 221 222 224 234 237 240 243 246 254 255 256 273 278 279 280 285 293 294 298 300 303 304 306 311 313 314 320 a 2 4 7 11 14 15 17 18 20 21 22 23 25 26 27 28 35 37 41 42 47 49 52 53 59 60 64 69 71 72 74 75 76 77 80 81 83 91 93 94 96 99 101 108 118 119 120 126 129 133 134 136 143 145 151 153 158 160 163 168 170 172 175 176 179 180 186 192 193 195 197 199 200 202 203 206 215 221 222 224 234 237 240 243 246 254 255 256 273 278 279 280 285 293 294 298 300 303 304 306 311 313 314 322 a 2 4 7 11 14 15 17 18 20 21 22 23 25 26 27 28 35 37 41 42 47 49 52 53 59 60 64 69 71 72 74 75 76 77 80 81 83 91 93 94 96 99 101 108 118 119 120 126 129 133 134 136 143 145 151 153 155 158 160 163 168 170 172 175 176 179 180 186 192 193 195 197 199 200 202 203 206 215 221 222 224 234 237 240 243 246 254 255 256 273 278 279 280 285 293 294 298 303 304 306 311 313 314 322 a 2 4 11 14 15 17 18 20 21 22 23 25 26 27 28 35 37 41 42 47 49 52 53 59 60 64 69 71 72 74 75 76 77 80 81 83 91 93 94 96 99 101 108 118 119 120 126 129 133 134 136 143 145 151 153 155 158 160 163 168 170 171 172 175 176 179 180 186 192 193 195 197 199 200 202 203 206 215 221 222 224 234 237 240 243 246 254 255 256 273 278 279 280 285 293 294 298 303 304 306 311 313 314 322 a 2 4 11 14 15 17 18 20 21 22 23 25 26 27 28 35 37 41 42 47 49 52 53 59 60 64 69 71 72 74 75 76 77 80 81 83 91 93 94 96 99 101 108 118 119 120 126 129 132 133 134 136 143 145 151 153 155 158 160 163 168 170 171 172 175 176 179 180 186 192 193 195 197 199 200 202 203 206 215 221 222 224 234 237 240 243 246 254 255 256 273 278 279 280 285 293 294 298 303 304 306 311 313 314 a 2 4 11 14 15 17 18 20 21 22 23 25 26 27 28 35 37 41 42 47 49 52 53 59 60 64 65 69 71 72 74 75 76 77 80 81 83 91 93 94 96 99 101 108 118 119 120 126 129 132 133 134 136 143 145 151 153 155 158 160 163 168 170 171 172 175 176 179 180 186 192 193 195 197 199 200 202 203 206 215 221 222 224 234 237 240 243 246 254 255 256 273 278 279 280 285 293 294 298 303 304 306 313 314 a 2 4 14 15 17 18 20 21 22 23 25 26 27 28 35 37 41 42 47 49 52 53 59 60 64 65 69 71 72 74 75 76 77 80 81 83 91 93 94 96 99 101 108 118 119 120 126 129 132 133 134 136 139 143 145 151 153 155 158 160 163 168 170 171 172 175 176 179 180 186 192 193 195 197 199 200 202 203 206 215 221 222 224 234 237 240 243 246 254 255 256 273 278 279 280 285 293 294 298 303 304 306 313 314 a 2 4 14 15 17 18 20 21 22 23 25 26 27 28 35 37 41 42 47 49 52 53 59 60 64 65 69 71 72 74 75 76 77 80 81 83 91 93 94 96 99 101 108 118 119 120 126 129 132 133 134 136 139 141 143 145 151 153 155 158 160 163 168 170 171 172 175 176 179 180 186 192 193 195 197 199 200 202 203 215 221 222 224 234 237 240 243 246 254 255 256 273 278 279 280 285 293 294 298 303 304 306 313 314 a 2 4 14 15 17 18 20 21 22 23 25 26 27 28 35 37 41 42 47 49 52 53 59 60 64 65 69 71 72 74 75 76 77 80 81 83 91 93 94 96 99 101 108 118 119 120 126 129 132 133 134 136 139 141 143 145 151 153 155 158 160 163 168 170 171 172 175 176 179 180 186 192 193 195 197 199 200 202 203 215 221 222 224 234 237 240 243 246 254 255 256 273 278 279 280 285 293 294 298 303 304 306 313 322 a 2 4 15 17 18 20 21 22 23 25 26 27 28 35 37 41 42 47 49 52 53 59 60 64 65 69 71 72 74 75 76 77 80 81 83 91 93 94 96 99 101 108 118 119 120 126 129 132 133 134 136 139 141 143 145 151 153 155 158 160 163 168 170 171 172 175 176 179 180 186 192 193 195 197 199 200 202 203 215 221 222 224 234 237 240 243 246 249 254 255 256 273 278 279 280 285 293 294 298 303 304 306 313 322 a 2 4 15 17 18 20 21 22 23 25 26 27 28 35 37 41 42 47 49 52 53 59 60 64 65 69 71 72 74 75 76 77 80 81 83 91 93 94 96 99 101 108 118 119 120 126 129 132 133 134 136 139 141 143 145 151 153 155 158 160 163 168 170 171 172 175 176 179 180 186 192 193 195 197 199 200 202 203 215 221 222 224 234 237 243 246 249 254 255 256 267 273 278 279 280 285 293 294 298 303 304 306 313 322 a 2 4 14 15 17 18 20 21 22 23 25 26 27 28 35 37 41 42 47 49 52 53 59 60 64 65 69 71 72 74 75 76 77 80 81 83 91 93 94 96 99 101 108 118 119 120 126 129 132 133 134 136 139 141 143 145 151 153 155 158 160 163 168 170 171 172 175 176 179 180 186 192 193 195 197 199 200 202 203 215 221 222 224 234 237 243 246 254 255 256 267 273 278 279 280 285 293 294 298 303 304 306 313 322 a 2 4 14 15 17 18 20 21 22 23 25 26 27 28 35 37 41 42 47 49 52 53 59 60 64 65 69 71 72 74 75 76 77 80 81 83 91 93 94 96 99 101 108 118 119 120 126 129 132 133 134 136 139 141 143 145 151 153 155 158 160 163 168 170 171 172 175 176 179 180 186 192 193 195 197 199 200 202 203 215 221 222 224 234 237 243 246 254 255 256 267 273 278 279 280 285 293 294 298 303 304 306 314 322 a 2 4 14 15 17 18 20 21 22 23 25 26 27 28 35 37 41 42 47 49 52 53 59 60 64 65 69 71 72 74 75 76 77 80 81 83 91 93 94 96 99 101 108 118 119 120 126 129 132 133 134 136 139 141 143 145 151 153 155 158 160 163 168 170 171 172 175 176 179 180 186 192 193 195 197 199 200 202 203 215 221 222 224 234 237 243 246 254 255 256 267 273 278 279 280 285 293 294 298 303 304 306 314 320 a 2 4 14 15 17 18 20 21 22 23 25 26 27 28 35 37 41 42 47 49 52 53 59 60 64 65 69 71 72 74 75 76 77 80 81 83 91 93 94 96 99 101 108 118 119 120 126 129 132 133 134 136 139 141 143 145 151 153 155 158 160 163 168 170 171 172 175 176 179 180 186 192 193 195 197 199 200 202 203 215 221 222 224 234 237 240 243 246 254 255 256 273 278 279 280 285 293 294 298 303 304 306 314 320 a 2 4 15 17 18 20 21 22 23 25 26 27 28 35 37 41 42 47 49 52 53 59 60 64 65 69 71 72 74 75 76 77 80 81 83 91 93 94 96 99 101 108 118 119 120 126 129 132 133 134 136 139 141 143 145 151 153 155 158 160 163 168 170 171 172 175 176 179 180 186 192 193 195 197 199 200 202 203 215 221 222 224 234 237 240 243 246 249 254 255 256 273 278 279 280 285 293 294 298 303 304 306 314 320 a 2 4 15 17 18 20 21 22 23 25 26 27 28 35 37 41 42 47 49 52 53 59 60 64 65 69 71 72 74 75 76 77 80 81 83 91 93 94 96 99 101 108 118 119 120 126 129 132 133 134 136 139 143 145 151 153 155 158 160 163 168 170 171 172 175 176 179 180 186 192 193 195 197 199 200 202 203 206 215 221 222 224 234 237 240 243 246 249 254 255 256 273 278 279 280 285 293 294 298 303 304 306 314 320 a 2 4 15 17 18 20 21 22 23 25 26 27 28 35 37 41 42 47 49 52 53 59 60 64 65 69 71 72 74 75 76 77 80 81 83 91 93 94 96 99 101 108 117 118 119 120 126 129 133 134 136 139 143 145 151 153 155 158 160 163 168 170 171 172 175 176 179 180 186 192 193 195 197 199 200 202 203 206 215 221 222 224 234 237 240 243 246 249 254 255 256 273 278 279 280 285 293 294 298 303 304 306 314 320 a 2 4 15 17 18 20 21 22 23 25 26 27 28 35 37 41 42 47 49 52 53 59 60 64 65 69 71 72 74 75 76 77 80 81 83 91 93 94 96 99 101 108 117 118 119 120 126 129 133 134 136 139 143 145 151 153 155 158 160 163 168 170 171 172 175 176 179 180 186 192 193 195 197 199 200 202 203 206 215 221 222 224 234 237 240 243 246 249 254 255 256 273 278 279 280 285 293 294 298 303 304 306 313 314 a 2 4 15 17 18 20 21 22 23 25 26 27 28 35 37 41 42 47 49 52 53 59 60 64 65 69 71 72 74 75 76 77 80 81 83 91 93 94 96 99 101 108 117 118 119 120 126 129 133 134 136 139 143 145 151 153 155 158 160 163 168 170 171 172 175 176 179 180 186 192 193 195 197 199 200 202 203 206 215 221 222 224 234 237 240 243 246 249 254 255 256 273 278 279 280 285 293 294 298 303 306 313 314 322 a 2 4 15 17 18 20 21 22 23 25 26 27 28 35 37 41 42 47 49 52 53 59 60 64 65 69 71 72 74 75 76 77 80 81 83 91 92 93 94 96 99 101 108 117 118 119 120 126 129 133 134 136 139 143 145 151 153 155 158 160 163 168 170 171 172 175 176 179 180 186 192 195 197 199 200 202 203 206 215 221 222 224 234 237 240 243 246 249 254 255 256 273 278 279 280 285 293 294 298 303 306 313 314 322 a 2 4 15 17 18 20 21 22 23 25 26 27 28 35 37 41 42 47 49 52 53 59 60 64 65 71 72 74 75 76 77 80 81 83 91 92 93 94 96 99 101 108 117 118 119 120 126 129 133 134 136 139 143 145 151 153 155 158 160 163 168 170 171 172 175 176 179 180 186 192 195 197 199 200 202 203 206 208 215 221 222 224 234 237 240 243 246 249 254 255 256 273 278 279 280 285 293 294 298 303 306 313 314 322 a 2 4 7 15 17 18 20 21 22 23 25 26 27 28 35 37 41 42 47 49 52 53 59 60 64 65 71 72 74 75 76 77 80 81 83 91 92 93 94 96 99 101 108 117 118 119 120 126 129 133 134 136 139 143 145 151 153 155 158 160 163 168 170 172 175 176 179 180 186 192 195 197 199 200 202 203 206 208 215 221 222 224 234 237 240 243 246 249 254 255 256 273 278 279 280 285 293 294 298 303 306 313 314 322 a 2 4 7 15 17 18 20 21 22 23 25 26 27 28 35 37 41 42 47 49 52 53 59 60 64 65 71 72 74 75 76 77 80 81 83 91 92 93 94 96 99 101 108 117 118 119 120 126 129 133 134 136 139 141 143 145 151 153 155 158 160 163 168 170 172 175 176 179 180 186 192 195 197 199 200 202 203 208 215 221 222 224 234 237 240 243 246 249 254 255 256 273 278 279 280 285 293 294 298 303 306 313 314 322 a 2 4 7 15 17 18 20 21 22 23 25 26 27 28 35 37 41 42 47 49 52 53 59 60 64 65 71 72 74 75 76 77 80 81 83 91 93 94 96 99 101 108 117 118 119 120 126 129 133 134 136 139 141 143 145 151 153 155 158 160 163 168 170 172 175 176 179 180 186 192 193 195 197 199 200 202 203 208 215 221 222 224 234 237 240 243 246 249 254 255 256 273 278 279 280 285 293 294 298 303 306 313 314 322 a 2 4 7 15 17 18 20 21 22 23 25 26 27 28 35 37 41 42 47 49 52 53 59 60 64 65 71 72 74 75 76 77 80 81 83 91 93 94 96 99 101 108 117 118 119 120 126 129 133 134 136 139 141 143 145 151 153 155 158 160 163 168 170 172 175 176 179 180 186 192 193 195 197 199 200 202 203 208 210 215 221 222 224 234 237 240 243 246 249 254 255 256 273 278 279 280 285 293 294 298 303 306 313 314 a 2 4 7 15 17 18 20 21 22 23 25 26 27 28 35 37 41 42 47 49 52 53 59 60 64 65 71 72 74 75 76 77 80 81 83 91 93 94 96 99 101 108 117 118 119 120 126 129 133 134 136 139 141 143 145 151 153 155 158 160 163 168 170 172 175 176 179 180 182 186 192 193 195 197 199 200 202 203 208 210 215 221 222 224 234 237 240 243 246 249 254 255 256 273 278 279 280 285 294 298 303 306 313 314 a 2 4 7 15 17 18 21 22 23 25 26 27 28 35 37 41 42 47 49 52 53 59 60 64 65 71 72 74 75 76 77 80 81 83 91 93 94 96 99 101 108 117 118 119 120 122 126 129 133 134 136 139 141 143 145 151 153 155 158 160 163 168 170 172 175 176 179 180 182 186 192 193 195 197 199 200 202 203 208 210 215 221 222 224 234 237 240 243 246 249 254 255 256 273 278 279 280 285 294 298 303 306 313 314 a 2 4 7 15 17 18 21 22 23 25 26 27 28 35 37 41 42 45 47 49 52 53 59 60 64 65 71 72 74 75 76 77 80 81 83 91 93 94 96 99 101 108 117 118 119 120 122 126 129 133 134 136 139 141 143 145 151 153 155 158 160 163 168 170 172 175 176 179 180 182 186 192 193 195 197 199 200 202 203 208 210 215 221 222 224 234 237 240 243 246 249 254 255 256 273 278 279 280 285 294 298 303 306 313 a 2 4 7 15 17 18 21 22 23 25 26 27 28 35 37 41 42 45 47 49 52 53 59 64 65 71 72 74 75 76 77 80 81 83 91 93 94 96 99 101 108 117 118 119 120 122 126 129 133 134 136 139 141 143 145 151 153 155 158 160 163 168 170 172 175 176 179 180 182 186 192 193 195 197 199 200 202 203 208 210 215 221 222 224 234 237 240 243 246 249 254 255 256 273 278 279 280 285 294 298 302 303 306 313 a 2 4 7 15 17 18 21 22 25 26 27 28 35 37 41 42 45 47 49 52 53 59 64 65 71 72 74 75 76 77 80 81 83 91 93 94 96 99 101 108 117 118 119 120 122 126 129 133 134 136 139 141 143 145 151 153 155 158 160 163 168 170 172 175 176 179 180 182 186 192 193 195 197 199 200 202 203 208 210 215 221 222 224 234 237 240 243 244 246 249 254 255 256 273 278 279 280 285 294 298 302 303 306 313 a 2 4 7 15 17 18 21 22 25 26 27 28 35 37 41 42 45 47 49 52 53 59 64 65 71 72 74 75 76 77 80 81 83 91 93 94 96 99 101 108 117 118 119 120 122 126 129 133 134 136 139 141 143 145 151 153 155 158 160 163 164 168 170 172 175 176 179 180 182 186 192 193 195 197 199 200 202 203 208 210 215 221 222 224 234 237 240 243 244 246 249 254 255 256 273 278 279 280 285 294 298 302 303 313 a 2 4 7 15 17 18 22 25 26 27 28 35 37 41 42 45 46 47 49 52 53 59 64 65 71 72 74 75 76 77 80 81 83 91 93 94 96 99 101 108 117 118 119 120 122 126 129 133 134 136 139 141 143 145 151 153 155 158 160 163 164 168 170 172 175 176 179 180 182 186 192 193 195 197 199 200 202 203 208 210 215 221 222 224 234 237 240 243 244 246 249 254 255 256 273 278 279 280 285 294 298 302 303 313 a 2 4 7 15 17 18 22 25 26 28 35 37 41 42 45 46 47 49 52 53 59 64 65 71 72 74 75 76 77 80 81 83 91 93 94 96 99 101 108 117 118 119 120 122 126 129 133 134 136 139 141 143 145 151 153 155 158 160 163 164 168 170 172 175 176 179 180 182 186 192 193 195 197 199 200 202 203 208 210 215 221 222 224 234 237 240 243 244 246 249 254 255 256 260 273 278 279 280 285 294 298 302 303 313 a 2 4 7 15 17 18 22 25 26 28 35 37 41 42 45 46 47 49 52 53 59 64 65 71 72 74 75 76 77 80 81 83 91 93 94 96 99 101 108 117 118 119 120 122 126 129 133 134 136 139 141 143 145 151 153 155 158 163 164 168 170 172 175 176 179 180 182 186 192 193 195 197 199 200 202 203 208 210 215 221 222 224 234 237 239 240 243 244 246 249 254 255 256 260 273 278 279 280 285 294 298 302 303 313 a 2 4 7 15 17 18 22 25 26 28 35 37 41 42 45 46 47 49 52 53 59 63 64 65 71 72 74 75 76 77 80 81 83 91 93 94 96 99 101 108 117 118 119 120 122 126 129 133 134 136 139 141 143 145 151 153 155 158 163 164 168 170 172 175 176 179 180 182 186 192 193 195 197 199 200 202 203 210 215 221 222 224 234 237 239 240 243 244 246 249 254 255 256 260 273 278 279 280 285 294 298 302 303 313 a 2 4 7 15 17 18 22 25 26 28 35 37 39 41 42 45 46 47 49 52 53 59 63 64 65 71 72 74 75 76 77 80 81 83 91 93 94 96 99 101 108 117 118 119 120 122 126 129 133 134 136 139 141 143 145 151 153 155 158 163 164 168 170 172 175 176 179 180 182 186 192 193 195 197 199 200 202 203 210 215 221 222 224 234 237 239 240 243 244 246 249 254 255 256 260 273 278 279 280 285 294 302 303 313 a 2 4 7 15 17 18 22 25 26 28 35 37 39 41 42 45 46 47 49 52 53 59 63 64 65 71 72 74 75 76 77 80 81 83 91 93 94 96 98 99 101 108 117 118 119 120 122 126 129 133 134 136 139 141 143 145 151 153 155 158 163 164 168 170 172 175 176 179 180 182 186 192 193 195 197 199 200 202 203 210 215 222 224 234 237 239 240 243 244 246 249 254 255 256 260 273 278 279 280 285 294 302 303 313 a 2 4 15 17 18 22 25 26 28 35 37 39 41 42 45 46 47 49 52 53 59 63 64 65 71 72 74 75 76 77 80 81 83 91 93 94 96 98 99 101 108 117 118 119 120 122 126 129 133 134 136 139 141 143 145 151 153 155 158 163 164 168 170 172 175 176 179 180 182 186 192 193 195 197 199 200 202 203 210 215 222 224 234 237 239 240 243 244 246 249 254 255 256 260 273 278 279 280 285 294 302 303 313 316 a 2 4 15 17 18 22 25 26 28 35 37 39 41 42 45 46 47 49 52 53 59 63 64 65 71 72 74 75 76 77 80 81 83 91 93 94 96 98 99 101 108 117 118 119 120 122 126 129 133 134 136 139 141 143 145 151 153 155 158 163 164 168 170 175 176 178 179 180 182 186 192 193 195 197 199 200 202 203 210 215 222 224 234 237 239 240 243 244 246 249 254 255 256 260 273 278 279 280 285 294 302 303 313 316 a 2 4 15 17 18 22 25 26 28 35 37 39 41 42 45 46 47 49 52 53 59 63 64 65 71 72 74 75 76 77 80 81 83 91 93 94 96 98 99 101 108 117 118 119 120 122 126 129 133 134 136 139 141 143 145 151 153 155 158 163 164 168 170 175 176 178 179 180 182 186 192 193 195 197 199 200 202 203 210 215 222 224 234 237 239 240 243 244 246 249 255 256 260 273 278 279 280 284 285 294 302 303 313 316 a 2 4 15 17 18 22 25 26 28 35 37 39 41 42 45 46 47 49 52 53 59 63 64 65 71 72 74 75 76 77 80 81 83 91 93 94 96 98 99 101 108 117 118 119 120 122 126 129 133 134 136 139 141 143 145 151 155 158 163 164 165 168 170 175 176 178 179 180 182 186 192 193 195 197 199 200 202 203 210 215 222 224 234 237 239 240 243 244 246 249 255 256 260 273 278 279 280 284 285 294 302 303 313 316 a 2 4 15 17 18 22 25 26 28 35 37 39 41 42 45 46 47 49 52 59 63 64 65 71 72 74 75 76 77 80 81 83 91 93 94 96 98 99 101 108 117 118 119 120 122 126 129 133 134 136 139 141 143 145 151 155 158 161 163 164 165 168 170 175 176 178 179 180 182 186 192 193 195 197 199 200 202 203 210 215 222 224 234 237 239 240 243 244 246 249 255 256 260 273 278 279 280 284 285 294 302 303 313 316 a 2 4 15 17 18 22 25 26 28 35 37 39 41 42 45 46 47 49 52 59 63 64 65 71 72 74 75 76 77 80 81 83 91 93 94 96 98 99 101 108 117 118 119 120 122 126 129 133 134 136 139 141 143 145 151 155 158 161 163 164 165 168 170 175 176 178 179 180 182 186 192 193 197 199 200 202 203 210 215 222 224 234 237 239 240 243 244 246 249 255 256 260 273 277 278 279 280 284 285 294 302 303 313 316 a 2 4 15 17 18 22 24 25 26 35 37 39 41 42 45 46 47 49 52 59 63 64 65 71 72 74 75 76 77 80 81 83 91 93 94 96 98 99 101 108 117 118 119 120 122 126 129 133 134 136 139 141 143 145 151 155 158 161 163 164 165 168 170 175 176 178 179 180 182 186 192 193 197 199 200 202 203 210 215 222 224 234 237 239 240 243 244 246 249 255 256 260 273 277 278 279 280 284 285 294 302 303 313 316 a 2 4 15 17 18 22 24 25 26 35 37 39 41 42 45 46 47 49 52 59 63 64 65 71 72 74 75 76 77 80 81 83 91 93 94 96 98 99 101 105 108 117 118 120 122 126 129 133 134 136 139 141 143 145 151 155 158 161 163 164 165 168 170 175 176 178 179 180 182 186 192 193 197 199 200 202 203 210 215 222 224 234 237 239 240 243 244 246 249 255 256 260 273 277 278 279 280 284 285 294 302 303 313 316 a 2 4 15 17 18 22 24 25 26 35 37 39 41 42 45 46 47 49 52 59 63 64 65 71 72 74 75 77 80 81 83 91 93 94 96 98 99 101 105 108 117 118 120 122 126 129 133 134 136 139 141 143 145 151 155 158 161 163 164 165 168 170 171 175 176 178 179 180 182 186 192 193 197 199 200 202 203 210 215 222 224 234 237 239 240 243 244 246 249 255 256 260 273 277 278 279 280 284 285 294 302 303 313 316 a 2 4 15 17 18 22 24 25 26 35 37 39 41 42 45 46 47 49 52 59 63 64 65 70 71 72 74 75 77 80 81 83 91 93 94 96 98 99 101 105 108 117 118 120 122 126 129 133 134 136 139 141 143 145 151 155 158 161 163 164 165 168 170 171 175 176 178 179 180 182 186 192 193 197 199 200 202 203 210 215 222 224 234 237 239 243 244 246 249 255 256 260 273 277 278 279 280 284 285 294 302 303 313 316 a 2 4 15 17 18 22 24 25 26 35 37 39 41 42 45 46 47 49 52 59 63 64 65 70 71 72 74 75 77 80 81 83 91 93 94 96 98 99 101 105 108 117 118 120 122 126 129 133 134 136 139 141 145 151 155 158 161 163 164 165 168 170 171 175 176 178 179 180 182 186 192 193 197 199 200 202 203 210 215 222 224 234 237 239 243 244 246 249 255 256 260 273 277 278 279 280 284 285 294 296 302 303 313 316 a 2 15 17 18 22 24 25 26 35 37 39 41 42 45 46 47 49 52 59 63 64 65 70 71 72 74 75 77 80 81 83 91 93 94 96 98 99 101 105 108 117 118 120 122 126 129 133 134 136 139 141 145 151 155 158 161 163 164 165 168 170 171 175 176 178 179 180 182 186 192 193 197 199 200 202 203 210 215 222 224 234 237 239 243 244 246 249 255 256 260 267 273 277 278 279 280 284 285 294 296 302 303 313 316 a 2 15 17 18 22 24 25 26 35 37 39 41 42 45 46 49 52 59 63 64 65 69 70 71 72 74 75 77 80 81 83 91 93 94 96 98 99 101 105 108 117 118 120 122 126 129 133 134 136 139 141 145 151 155 158 161 163 164 165 168 170 171 175 176 178 179 180 182 186 192 193 197 199 200 202 203 210 215 222 224 234 237 239 243 244 246 249 255 256 260 267 273 277 278 279 280 284 285 294 296 302 303 313 316 a 1 2 15 17 18 22 24 25 26 35 37 39 41 42 45 46 49 52 59 63 64 65 69 70 71 72 74 75 77 80 81 83 91 93 94 96 98 99 101 105 108 117 118 120 122 126 129 133 134 136 139 145 151 155 158 161 163 164 165 168 170 171 175 176 178 179 180 182 186 192 193 197 199 200 202 203 210 215 222 224 234 237 239 243 244 246 249 255 256 260 267 273 277 278 279 280 284 285 294 296 302 303 313 316 a 1 2 15 17 18 22 24 25 26 35 37 39 41 42 45 46 49 52 59 63 64 65 69 70 71 72 74 75 77 80 81 83 91 93 94 96 98 99 101 105 108 117 118 120 122 126 129 133 134 136 145 151 155 158 161 163 164 165 168 170 171 175 176 178 179 180 182 186 192 193 197 199 200 202 203 210 212 215 222 224 234 237 239 243 244 246 249 255 256 260 267 273 277 278 279 280 284 285 294 296 302 303 313 316 a 1 2 15 17 18 22 24 25 26 35 37 39 41 42 45 46 49 52 59 63 64 65 69 70 71 72 74 75 77 80 81 83 91 93 94 96 98 99 101 105 108 117 118 120 122 126 129 133 134 136 145 151 154 155 158 161 163 164 165 168 170 171 175 176 178 179 180 182 186 192 193 197 199 200 202 203 210 212 215 222 224 234 237 239 243 244 246 249 255 260 267 273 277 278 279 280 284 285 294 296 302 303 313 316 a 1 2 15 17 18 22 24 25 26 35 37 39 41 42 45 46 49 52 59 63 64 65 69 70 71 72 74 75 77 80 81 83 91 94 96 98 99 101 105 108 117 118 120 122 126 129 133 134 136 145 151 154 155 156 158 161 163 164 165 168 170 171 175 176 178 179 180 182 186 192 193 197 199 200 202 203 210 212 215 222 224 234 237 239 243 244 246 249 255 260 267 273 277 278 279 280 284 285 294 296 302 303 313 316 a 1 2 15 17 18 22 24 25 26 35 37 39 41 42 45 46 49 52 59 63 64 65 69 70 71 72 74 75 77 80 81 83 91 94 96 98 99 101 104 105 108 117 118 120 122 126 129 133 134 136 145 151 154 155 156 158 161 163 164 165 168 170 171 175 176 178 179 180 182 186 192 197 199 200 202 203 210 212 215 222 224 234 237 239 243 244 246 249 255 260 267 273 277 278 279 280 284 285 294 296 302 303 313 316 a 1 2 15 17 18 22 24 25 26 35 37 39 41 42 45 46 49 52 59 63 64 69 70 71 72 74 75 77 80 81 83 91 94 96 98 99 101 104 105 108 117 118 120 122 126 129 133 134 136 145 151 154 155 156 158 161 163 164 165 168 170 171 175 176 178 179 180 182 186 192 197 199 200 202 203 210 212 215 222 223 224 234 237 239 243 244 246 249 255 260 267 273 277 278 279 280 284 285 294 296 302 303 313 316 a 1 2 15 17 18 22 24 25 26 35 37 39 41 42 45 46 49 51 52 59 63 64 69 70 71 72 74 75 77 80 81 83 91 94 96 98 99 101 104 105 108 117 118 120 122 126 129 134 136 145 151 154 155 156 158 161 163 164 165 168 170 171 175 176 178 179 180 182 186 192 197 199 200 202 203 210 212 215 222 223 224 234 237 239 243 244 246 249 255 260 267 273 277 278 279 280 284 285 294 296 302 303 313 316 a 1 2 15 17 18 24 25 26 35 37 39 41 42 45 46 49 51 52 59 63 64 69 70 71 72 74 75 77 80 81 83 91 94 96 98 99 101 104 105 108 117 118 120 122 126 129 134 136 145 151 154 155 156 158 161 163 164 165 168 170 171 175 176 178 179 180 182 186 192 197 199 200 202 203 210 212 215 222 223 224 234 237 239 243 244 246 249 255 260 266 267 273 277 278 279 280 284 285 294 296 302 303 313 316 a 1 2 15 17 18 24 25 26 35 37 39 41 42 45 46 49 51 52 59 63 64 69 70 71 72 74 75 77 80 81 83 91 94 96 98 99 101 104 105 108 117 118 120 122 126 129 134 136 145 151 154 155 156 158 161 163 164 165 168 170 171 175 176 178 179 180 182 186 192 197 199 200 202 203 210 212 215 223 224 234 237 238 239 243 244 246 249 255 260 266 267 273 277 278 279 280 284 285 294 296 302 303 313 316 a 1 2 15 17 18 24 25 26 35 37 39 41 42 45 46 49 51 52 59 63 64 69 70 71 72 74 75 77 80 81 83 91 94 96 98 99 101 104 105 108 117 118 120 122 126 129 134 136 145 151 154 155 156 158 161 164 165 168 170 171 175 176 178 179 180 182 186 192 197 199 200 202 203 210 212 215 223 224 234 237 238 239 243 244 245 246 249 255 260 266 267 273 277 278 279 280 284 285 294 296 302 303 313 316 a 1 2 15 17 18 24 25 26 35 37 39 41 42 45 46 49 51 52 59 63 64 69 70 71 72 74 75 77 80 81 83 90 91 94 96 98 99 101 104 105 108 117 118 120 122 126 129 134 136 145 151 154 155 156 158 161 164 165 168 170 171 175 176 178 179 180 182 186 192 197 199 200 202 203 210 212 215 223 224 234 238 239 243 244 245 246 249 255 260 266 267 273 277 278 279 280 284 285 294 296 302 303 313 316 a 1 2 15 17 18 24 25 26 35 37 39 41 42 45 46 49 51 52 59 63 64 69 70 71 72 74 75 77 80 81 83 90 91 94 96 98 99 101 104 105 108 117 118 120 122 126 129 134 136 145 147 151 154 155 156 158 161 164 165 168 170 171 175 176 178 179 180 182 192 197 199 200 202 203 210 212 215 223 224 234 238 239 243 244 245 246 249 255 260 266 267 273 277 278 279 280 284 285 294 296 302 303 313 316 a 1 2 11 15 17 18 24 25 26 35 37 39 41 42 45 46 49 51 52 59 63 64 69 70 71 72 74 75 77 80 81 83 90 91 94 96 98 99 101 104 105 108 117 118 120 122 126 129 134 136 145 147 151 154 155 156 158 161 164 165 168 170 171 175 176 178 179 180 182 192 197 199 200 202 203 210 212 215 223 224 234 238 239 243 244 245 246 249 255 260 266 267 273 277 279 280 284 285 294 296 302 303 313 316 a 1 2 11 15 17 18 24 25 26 35 37 39 41 42 45 46 49 51 52 59 63 64 69 70 71 72 74 75 77 80 81 83 90 91 94 96 98 99 101 104 105 108 117 118 120 122 129 134 136 145 147 148 151 154 155 156 158 161 164 165 168 170 171 175 176 178 179 180 182 192 197 199 200 202 203 210 212 215 223 224 234 238 239 243 244 245 246 249 255 260 266 267 273 277 279 280 284 285 294 296 302 303 313 316 a 1 2 9 11 15 17 18 24 25 26 35 37 39 41 42 45 46 49 51 52 59 63 64 69 70 71 72 74 75 77 80 81 83 90 91 94 96 98 99 101 104 105 108 117 118 120 122 129 134 136 145 147 148 151 154 155 156 158 161 164 165 168 170 171 175 176 178 180 182 192 197 199 200 202 203 210 212 215 223 224 234 238 239 243 244 245 246 249 255 260 266 267 273 277 279 280 284 285 294 296 302 303 313 316 a 1 2 9 11 15 17 18 24 25 26 35 37 39 41 42 45 46 49 51 52 59 63 64 69 70 71 72 74 75 77 80 81 83 90 91 94 96 98 99 100 101 104 105 108 117 118 120 122 129 136 145 147 148 151 154 155 156 158 161 164 165 168 170 171 175 176 178 180 182 192 197 199 200 202 203 210 212 215 223 224 234 238 239 243 244 245 246 249 255 260 266 267 273 277 279 280 284 285 294 296 302 303 313 316 a 1 2 9 11 15 17 18 24 25 26 35 37 39 41 42 45 46 49 51 52 59 63 64 69 70 71 72 74 75 77 80 81 83 90 91 94 96 98 99 100 101 104 105 108 117 118 120 122 129 135 136 145 147 148 151 154 155 156 158 161 164 165 168 170 171 175 176 178 180 182 192 197 199 200 202 210 212 215 223 224 234 238 239 243 244 245 246 249 255 260 266 267 273 277 279 280 284 285 294 296 302 303 313 316 a 1 2 9 11 15 17 18 24 25 26 35 37 39 41 42 45 46 49 51 52 59 63 64 69 70 71 72 74 75 77 80 81 83 90 91 94 96 97 98 99 100 101 104 105 108 117 118 120 122 129 135 136 145 147 148 151 154 156 158 161 164 165 168 170 171 175 176 178 180 182 192 197 199 200 202 210 212 215 223 224 234 238 239 243 244 245 246 249 255 260 266 267 273 277 279 280 284 285 294 296 302 303 313 316 a 1 2 9 11 15 17 18 24 25 26 35 37 39 41 42 45 46 49 51 52 59 63 64 69 70 71 72 74 75 77 80 81 83 90 91 94 96 97 98 99 100 101 104 105 108 117 118 120 122 129 135 136 145 147 148 150 151 154 156 161 164 165 168 170 171 175 176 178 180 182 192 197 199 200 202 210 212 215 223 224 234 238 239 243 244 245 246 249 255 260 266 267 273 277 279 280 284 285 294 296 302 303 313 316 a 1 2 9 11 15 17 18 24 25 26 35 37 39 41 45 46 49 51 52 59 63 64 69 70 71 72 74 75 77 80 81 83 90 91 94 96 97 98 99 100 101 104 105 108 117 118 120 122 129 135 136 145 147 148 150 151 154 156 161 164 165 168 170 171 175 176 178 180 182 192 196 197 199 200 202 210 212 215 223 224 234 238 239 243 244 245 246 249 255 260 266 267 273 277 279 280 284 285 294 296 302 303 313 316 a 1 2 9 11 15 17 18 24 25 26 35 37 39 41 45 46 49 51 52 59 63 64 69 70 71 72 74 75 77 80 81 83 90 91 94 96 97 98 99 100 101 104 105 108 117 118 120 122 129 135 136 145 147 148 150 151 154 156 161 164 165 168 170 171 175 176 178 180 182 192 196 197 199 200 202 212 213 215 223 224 234 238 239 243 244 245 246 249 255 260 266 267 273 277 279 280 284 285 294 296 302 303 313 316 a 1 2 9 11 15 17 18 24 25 26 35 37 39 41 45 46 49 51 52 59 63 64 69 70 71 72 74 75 77 80 81 83 90 91 94 96 97 98 99 100 101 104 105 108 117 118 120 122 129 135 136 145 147 148 150 151 154 156 161 164 165 168 170 171 175 176 178 180 182 192 196 197 199 200 202 212 213 215 223 224 238 239 243 244 245 246 249 255 260 266 267 273 277 279 280 284 285 294 296 302 303 305 313 316 a 1 2 9 11 15 17 18 19 24 25 26 35 37 39 41 45 46 49 51 52 59 63 64 69 70 71 72 74 75 77 80 81 83 90 91 94 96 97 98 99 100 101 104 105 108 117 118 120 122 129 135 145 147 148 150 151 154 156 161 164 165 168 170 171 175 176 178 180 182 192 196 197 199 200 202 212 213 215 223 224 238 239 243 244 245 246 249 255 260 266 267 273 277 279 280 284 285 294 296 302 303 305 313 316 a 1 2 9 11 15 17 18 19 24 25 26 35 37 39 41 45 46 49 51 52 63 64 69 70 71 72 74 75 77 80 81 83 90 91 94 96 97 98 99 100 101 104 105 108 117 118 120 122 129 135 145 147 148 150 151 154 156 161 162 164 165 168 170 171 175 176 178 180 182 192 196 197 199 200 202 212 213 215 223 224 238 239 243 244 245 246 249 255 260 266 267 273 277 279 280 284 285 294 296 302 303 305 313 316 a 1 2 9 11 15 17 18 19 24 25 26 35 37 39 41 45 46 49 51 52 63 64 69 70 71 72 74 75 77 80 81 83 90 91 94 96 97 98 99 100 101 104 105 108 117 118 120 122 129 135 145 147 148 150 151 154 156 161 162 164 165 168 170 171 175 176 178 180 182 196 197 199 200 202 212 213 215 217 223 224 238 239 243 244 245 246 249 255 260 266 267 273 277 279 280 284 285 294 296 302 303 305 313 316 a 1 2 9 11 15 17 18 19 24 25 26 35 37 39 41 45 46 49 51 52 63 64 69 70 71 72 74 75 77 80 81 83 90 91 94 97 98 99 100 101 104 105 108 117 118 120 122 129 135 145 147 148 150 151 154 156 161 162 164 165 168 170 171 175 176 178 180 182 196 197 199 200 202 212 213 215 217 223 224 238 239 243 244 245 246 249 253 255 260 266 267 273 277 279 280 284 285 294 296 302 303 305 313 316 a 1 2 9 11 15 17 18 19 24 25 26 35 37 39 41 45 46 49 51 52 63 64 69 70 71 72 74 75 77 80 81 83 90 91 94 97 98 99 100 101 104 105 108 117 118 120 122 129 135 145 147 148 150 151 154 156 161 162 164 165 168 170 171 175 176 178 180 182 196 197 199 200 202 212 213 215 217 223 224 238 239 244 245 246 249 253 255 260 262 266 267 273 277 279 280 284 285 294 296 302 303 305 313 316 a 1 2 9 11 15 17 18 19 24 25 26 35 37 39 41 45 46 49 51 52 63 64 69 70 71 72 74 75 77 80 81 83 90 91 94 97 98 99 100 101 104 105 108 117 118 120 122 129 135 145 147 148 150 151 154 156 161 162 164 165 168 170 171 175 176 178 182 196 197 199 200 202 212 213 215 217 223 224 227 238 239 244 245 246 249 253 255 260 262 266 267 273 277 279 280 284 285 294 296 302 303 305 313 316 a 1 2 9 11 15 17 18 19 24 25 26 35 37 39 41 45 46 49 51 52 63 64 69 70 71 72 74 75 77 80 81 90 91 94 97 98 99 100 101 104 105 108 117 118 120 122 129 135 145 147 148 150 151 154 156 161 162 164 165 168 170 171 175 176 178 182 196 197 199 200 202 212 213 215 217 223 224 227 228 238 239 244 245 246 249 253 255 260 262 266 267 273 277 279 280 284 285 294 296 302 303 305 313 316 a 1 2 9 11 15 17 18 19 24 25 26 35 37 39 41 45 46 49 51 52 63 64 69 70 71 72 74 75 77 80 81 90 91 94 97 98 99 100 101 104 105 108 117 118 120 122 129 135 145 147 148 150 151 154 156 161 162 164 165 168 170 171 175 176 178 182 196 197 199 200 212 213 215 217 223 224 227 228 238 239 244 245 246 249 253 255 260 262 266 267 273 277 279 280 284 285 294 296 302 303 305 307 313 316 a 1 2 9 11 15 17 18 19 24 25 26 35 37 39 41 45 46 49 51 52 63 64 69 70 71 72 74 75 77 80 81 90 91 94 97 98 99 100 101 104 105 108 117 118 120 122 129 135 145 147 148 150 151 154 156 161 162 164 165 168 170 171 175 176 178 182 196 197 200 212 213 215 217 223 224 227 228 238 239 244 245 246 249 253 255 260 262 266 267 273 277 279 280 284 285 294 295 296 302 303 305 307 313 316 a 1 2 9 11 15 17 18 19 24 25 26 35 37 39 41 45 46 49 51 52 63 64 69 70 71 72 74 75 77 80 81 90 91 94 97 98 99 100 101 104 105 108 117 118 120 122 129 135 142 145 147 148 150 154 156 161 162 164 165 168 170 171 175 176 178 182 196 197 200 212 213 215 217 223 224 227 228 238 239 244 245 246 249 253 255 260 262 266 267 273 277 279 280 284 285 294 295 296 302 303 305 307 313 316 a 1 2 9 11 15 17 18 19 24 25 26 35 37 39 41 45 46 49 51 52 63 64 69 70 71 72 74 75 77 80 81 90 91 94 97 98 99 100 101 104 105 108 117 118 120 122 129 135 142 145 147 148 150 154 156 161 162 164 165 168 170 171 175 176 178 182 196 197 200 211 212 213 215 217 223 224 227 228 238 239 244 245 246 249 253 255 260 262 266 267 273 277 279 280 284 285 294 295 296 302 305 307 313 316 a 1 2 9 11 15 17 18 19 24 25 26 35 37 39 41 45 46 51 52 63 64 69 70 71 72 74 75 77 80 81 90 91 94 97 98 99 100 101 104 105 108 117 118 120 122 129 135 142 145 147 148 150 154 156 161 162 164 165 168 170 171 175 176 178 182 196 197 200 211 212 213 215 217 223 224 226 227 228 238 239 244 245 246 249 253 255 260 262 266 267 273 277 279 280 284 285 294 295 296 302 305 307 313 316 a 1 2 9 11 15 17 18 19 24 25 26 35 37 39 41 45 46 51 52 63 64 69 70 71 72 74 75 77 80 81 90 91 94 97 98 100 101 104 105 108 117 118 120 122 129 135 142 145 147 148 150 154 156 161 162 164 165 168 170 171 175 176 178 182 196 197 200 211 212 213 215 217 223 224 226 227 228 238 239 244 245 246 249 253 255 259 260 262 266 267 273 277 279 280 284 285 294 295 296 302 305 307 313 316 a 1 2 9 11 15 18 19 24 25 26 35 37 39 41 45 46 51 52 63 64 69 70 71 72 74 75 77 80 81 90 91 94 97 98 100 101 104 105 108 117 118 120 122 129 135 142 145 147 148 150 154 156 161 162 164 165 168 170 171 175 176 178 182 196 197 200 211 212 213 215 217 223 224 226 227 228 238 239 244 245 246 249 253 255 259 260 262 266 267 273 277 279 280 284 285 286 294 295 296 302 305 307 313 316 a 1 2 9 11 15 18 19 24 25 26 35 37 39 41 45 46 51 52 63 64 69 70 71 72 74 75 77 80 90 91 94 97 98 100 101 104 105 108 117 118 120 122 129 135 142 145 147 148 150 154 156 161 162 164 165 168 170 171 175 176 178 182 196 197 200 211 212 213 215 217 223 224 226 227 228 238 239 244 245 246 249 253 255 259 260 262 266 267 273 277 279 280 283 284 285 286 294 295 296 302 305 307 313 316 a 1 9 11 12 15 18 19 24 25 26 35 37 39 41 45 46 51 52 63 64 69 70 71 72 74 75 77 80 90 91 94 97 98 100 101 104 105 108 117 118 120 122 129 135 142 145 147 148 150 154 156 161 162 164 165 168 170 171 175 176 178 182 196 197 200 211 212 213 215 217 223 224 226 227 228 238 239 244 245 246 249 253 255 259 260 262 266 267 273 277 279 280 283 284 285 286 294 295 296 302 305 307 313 316 a 1 9 11 12 15 18 19 24 25 26 35 37 39 41 45 46 51 52 63 64 69 70 71 72 74 75 77 80 90 91 94 97 98 100 101 104 105 108 117 118 120 122 129 135 142 145 147 148 150 154 156 161 162 164 165 168 170 171 175 176 178 182 196 200 205 211 212 213 215 217 223 224 226 227 228 238 239 244 245 246 249 253 255 259 260 262 266 267 273 277 279 280 283 284 285 286 294 295 296 302 305 307 313 316 a 1 6 9 11 12 15 18 19 24 25 26 35 37 39 41 45 46 51 52 63 64 69 70 71 72 74 75 77 80 90 91 94 97 98 100 101 104 105 108 117 118 120 122 129 135 142 145 147 148 150 154 156 161 162 164 165 168 170 171 175 176 178 182 196 200 205 211 212 213 215 217 223 224 226 227 228 238 239 244 245 246 249 253 255 259 260 262 266 267 273 277 279 280 283 284 286 294 295 296 302 305 307 313 316 a 1 6 9 11 12 15 18 19 24 25 26 35 37 39 41 45 46 51 52 63 64 69 70 71 72 74 75 77 80 90 91 94 97 98 100 101 104 105 108 117 118 120 122 129 135 142 145 147 148 150 154 156 161 162 164 165 168 170 171 176 178 182 196 200 205 211 212 213 215 217 219 223 224 226 227 228 238 239 244 245 246 249 253 255 259 260 262 266 267 273 277 279 280 283 284 286 294 295 296 302 305 307 313 316 c Step: 128 Command being timed: "python3 run_3.py --existent --na -t4 /benchmark/random_instance/random_instance025_graph003.col /benchmark/random_instance/random_instance025_graph003_01.dat" User time (seconds): 552.87 System time (seconds): 7.76 Percent of CPU this job got: 152% Elapsed (wall clock) time (h:mm:ss or m:ss): 6:07.56 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): 19285384 Average resident set size (kbytes): 0 Major (requiring I/O) page faults: 1 Minor (reclaiming a frame) page faults: 6781381 Voluntary context switches: 15431 Involuntary context switches: 1450 Swaps: 0 File system inputs: 0 File system outputs: 688 Socket messages sent: 0 Socket messages received: 0 Signals delivered: 0 Page size (bytes): 4096 Exit status: 0 #END: [Mon Sep 4 14:39:14 2023]