#BEGIN: [Mon Sep 4 12:08:30 2023] #HOST: s16 #TIMELIMIT: 1800 #MEMLIMIT: 0 #SOLVER: existent-cpu-banbaralab2-existent3 #INSTANCE1: /benchmark/random_instance/random_instance025_graph002.col #INSTANCE2: /benchmark/random_instance/random_instance025_graph002_01.dat #COMMAND: docker run --cidfile /tmp/cid.txt --init --rm -t --ulimit cpu=1800 -v /home/share/benchmark/ISR-benchmark:/benchmark banbaralab2 --existent --na -t4 /benchmark/random_instance/random_instance025_graph002.col /benchmark/random_instance/random_instance025_graph002_01.dat c /benchmark/random_instance/random_instance025_graph002.col c /benchmark/random_instance/random_instance025_graph002_01.dat *** Info : (clingo): INTERRUPTED by signal! *** Info : (clingo): Sending shutdown signal... *** ERROR: (clingo): solving stopped by signal *** Info : (clingo): Shutdown completed in 0.013 seconds s 10 202 181 37 236 255 215 276 194 86 164 15 98 304 8 268 246 157 127 143 94 96 248 251 259 311 269 191 108 124 134 121 230 109 220 295 79 56 190 288 100 83 208 34 88 252 279 144 260 205 110 250 137 29 172 214 26 320 151 200 70 27 315 17 204 125 278 211 272 36 199 122 281 180 197 257 282 165 60 231 306 277 173 262 123 241 131 161 158 163 321 294 62 58 80 35 104 41 298 40 206 160 112 237 196 t 95 49 45 79 264 215 23 275 144 13 59 285 44 17 180 202 278 261 266 115 126 279 226 143 114 176 129 276 212 148 33 42 86 131 32 55 171 186 29 141 140 133 109 110 62 294 314 178 3 271 92 224 321 220 277 258 282 169 27 41 37 174 123 181 106 118 66 296 204 65 302 177 265 238 234 2 73 125 119 213 112 105 244 325 208 53 308 63 25 304 250 134 145 68 262 164 101 317 183 9 257 142 231 30 74 a YES a 8 10 15 17 26 27 29 34 35 36 37 40 41 56 58 60 62 70 79 80 83 86 88 94 96 98 100 104 108 109 110 112 121 122 123 124 125 127 131 134 137 143 144 151 157 158 160 161 163 164 165 172 173 180 181 190 191 194 196 197 199 200 202 204 205 206 208 211 214 215 220 230 231 236 237 241 246 248 250 251 252 255 257 259 260 262 268 269 272 276 277 278 279 281 282 288 294 295 298 304 306 311 315 320 321 a 8 10 15 17 26 27 29 34 35 36 37 40 41 56 58 60 62 70 79 80 83 86 88 94 96 98 100 104 108 109 110 112 121 122 123 124 125 127 131 134 137 143 144 151 157 158 160 161 163 164 172 173 180 181 190 191 194 196 197 199 200 202 204 205 206 208 211 214 215 220 230 231 236 237 241 246 248 250 251 252 255 257 259 260 262 268 269 272 276 277 278 279 281 282 288 294 295 298 304 306 311 315 320 321 325 a 8 10 15 17 26 27 29 34 35 36 37 40 41 56 58 60 62 70 79 80 83 86 88 94 96 98 100 104 108 109 110 112 121 122 123 124 125 127 131 134 137 143 144 151 157 158 160 161 163 164 172 173 180 181 190 191 194 196 197 199 200 202 204 205 206 208 211 214 215 220 230 231 237 241 246 248 250 251 252 255 257 259 260 262 268 269 272 276 277 278 279 281 282 288 294 295 298 304 306 311 315 320 321 322 325 a 3 8 10 15 17 26 27 29 34 35 36 37 40 41 56 58 60 62 70 79 80 83 86 88 94 96 98 100 104 108 109 110 112 121 122 123 124 125 127 131 134 137 143 144 151 157 158 160 161 163 164 172 173 180 181 190 191 194 196 197 199 200 202 204 205 206 208 211 214 215 220 230 231 237 241 246 248 250 251 252 255 257 259 260 262 268 269 276 277 278 279 281 282 288 294 295 298 304 306 311 315 320 321 322 325 a 3 8 10 15 17 26 27 29 34 35 36 37 40 41 56 58 60 62 70 79 80 83 86 88 94 96 98 100 104 108 109 110 112 121 122 123 124 125 127 131 134 137 143 144 146 151 157 158 160 161 163 164 172 173 180 181 190 191 194 196 197 199 200 202 204 205 206 208 211 214 220 230 231 237 241 246 248 250 251 252 255 257 259 260 262 268 269 276 277 278 279 281 282 288 294 295 298 304 306 311 315 320 321 322 325 a 3 8 10 15 17 26 27 29 34 35 36 37 40 41 56 58 60 62 70 79 80 83 86 88 94 96 98 100 104 108 109 110 112 121 122 123 124 125 126 127 131 134 137 143 144 146 151 157 158 160 161 163 164 172 173 180 181 190 191 194 196 197 199 200 202 204 206 208 211 214 220 230 231 237 241 246 248 250 251 252 255 257 259 260 262 268 269 276 277 278 279 281 282 288 294 295 298 304 306 311 315 320 321 322 325 a 3 8 10 15 17 26 27 29 34 35 36 37 40 41 48 56 58 60 62 70 79 80 83 86 88 94 96 98 100 104 108 109 110 112 121 122 123 124 125 126 127 131 134 137 143 144 146 151 158 160 161 163 164 172 173 180 181 190 191 194 196 197 199 200 202 204 206 208 211 214 220 230 231 237 241 246 248 250 251 252 255 257 259 260 262 268 269 276 277 278 279 281 282 288 294 295 298 304 306 311 315 320 321 322 325 a 3 8 10 15 17 26 27 29 34 35 36 37 40 41 48 56 58 60 62 70 79 80 83 86 88 94 96 98 100 104 108 109 110 112 121 122 123 124 125 126 127 131 134 137 143 144 146 151 158 160 161 163 164 172 173 180 181 190 191 194 196 197 199 200 202 204 206 208 211 214 220 230 231 237 241 246 248 250 251 252 255 257 259 260 262 268 269 277 278 279 281 282 288 294 295 298 304 306 311 314 315 320 321 322 325 a 3 8 10 15 17 26 27 29 34 35 36 37 40 41 48 56 58 60 62 70 79 80 83 86 88 94 96 98 100 104 108 109 110 112 121 122 123 124 125 126 127 131 134 137 143 144 146 151 158 160 161 163 164 172 173 180 181 190 191 194 196 197 199 200 202 204 206 208 211 214 220 230 231 236 237 241 246 248 250 251 252 255 257 259 260 262 268 269 277 278 279 281 282 288 294 295 298 304 306 311 314 315 320 321 325 a 8 10 15 17 26 27 29 34 35 36 37 40 41 48 56 58 60 62 70 79 80 83 86 88 94 96 98 100 104 108 109 110 112 121 122 123 124 125 126 127 131 134 137 143 144 146 151 158 160 161 163 164 172 173 180 181 190 191 194 196 197 199 200 202 204 206 208 211 214 215 220 230 231 236 237 241 246 248 250 251 252 255 257 259 260 262 268 269 277 278 279 281 282 288 294 295 298 304 306 311 314 315 320 321 325 a 8 10 15 17 26 27 29 34 35 36 37 40 41 48 56 58 60 62 70 79 80 83 86 88 94 96 98 100 104 108 109 110 112 121 122 123 124 125 126 127 131 134 137 143 144 146 151 158 160 161 163 164 172 173 180 181 190 191 194 196 197 199 200 202 204 206 208 211 214 215 220 230 231 236 237 241 246 248 250 251 252 255 257 259 260 262 268 269 276 277 278 279 281 282 288 294 295 298 304 306 311 314 315 320 321 a 8 10 15 17 26 27 29 34 36 37 40 41 48 56 58 60 62 70 79 80 83 86 88 94 96 98 100 104 108 109 110 112 121 122 123 124 125 126 127 131 134 137 143 144 146 151 158 160 161 163 164 172 173 180 181 190 191 194 196 197 199 200 202 204 206 208 211 214 215 220 230 231 236 237 241 246 248 250 251 252 255 257 259 260 262 268 269 276 277 278 279 281 282 288 294 295 298 304 306 311 314 315 318 320 321 a 3 8 10 15 17 26 27 29 34 36 37 40 41 48 56 58 60 62 70 79 80 83 86 88 94 96 98 100 104 108 109 110 112 121 122 123 124 125 126 127 131 134 137 143 144 146 151 158 160 161 163 164 172 173 180 181 190 191 196 197 199 200 202 204 206 208 211 214 215 220 230 231 236 237 241 246 248 250 251 252 255 257 259 260 262 268 269 276 277 278 279 281 282 288 294 295 298 304 306 311 314 315 318 320 321 a 3 8 10 15 17 26 27 29 34 36 37 40 41 48 58 60 62 70 79 80 83 86 88 94 96 98 100 104 108 109 110 112 121 122 123 124 125 126 127 131 134 137 143 144 146 151 158 160 161 163 164 165 172 173 180 181 190 191 196 197 199 200 202 204 206 208 211 214 215 220 230 231 236 237 241 246 248 250 251 252 255 257 259 260 262 268 269 276 277 278 279 281 282 288 294 295 298 304 306 311 314 315 318 320 321 a 3 8 10 15 17 26 27 29 34 35 36 37 40 41 48 58 60 62 70 79 80 83 86 88 94 96 98 100 104 108 109 112 121 122 123 124 125 126 127 131 134 137 143 144 146 151 158 160 161 163 164 165 172 173 180 181 190 191 196 197 199 200 202 204 206 208 211 214 215 220 230 231 236 237 241 246 248 250 251 252 255 257 259 260 262 268 269 276 277 278 279 281 282 288 294 295 298 304 306 311 314 315 318 320 321 a 3 8 10 15 17 26 27 29 34 35 36 37 40 41 48 58 60 62 70 79 80 83 86 88 94 98 100 104 108 109 112 121 122 123 124 125 126 127 131 134 137 143 144 146 151 158 160 161 163 164 165 172 173 180 181 190 191 194 196 197 199 200 202 204 206 208 211 214 215 220 230 231 236 237 241 246 248 250 251 252 255 257 259 260 262 268 269 276 277 278 279 281 282 288 294 295 298 304 306 311 314 315 318 320 321 a 3 8 10 15 17 26 27 29 34 35 36 37 40 41 48 56 58 60 62 70 79 80 83 86 88 94 98 100 104 108 109 112 121 122 123 124 125 126 127 131 134 137 143 144 146 151 158 160 161 163 164 165 172 173 180 181 190 191 194 196 197 199 200 202 204 206 208 211 214 215 220 230 231 236 237 241 246 248 250 251 252 255 257 259 260 262 268 269 276 277 278 279 281 282 288 294 295 298 304 306 311 314 315 318 320 a 3 8 10 15 17 26 27 29 34 35 36 37 40 41 48 56 58 60 62 63 70 79 80 83 86 88 94 98 100 104 108 109 112 121 122 123 124 125 126 127 131 134 137 143 144 146 151 158 160 161 163 164 165 172 173 180 181 190 191 194 196 197 199 200 202 204 206 208 211 214 215 220 230 231 236 237 241 246 248 250 251 252 255 257 259 260 262 268 269 276 277 278 279 281 282 288 294 295 304 306 311 314 315 318 320 a 3 8 10 15 17 26 27 29 34 35 36 37 40 41 48 56 58 60 62 63 70 79 80 83 86 88 94 96 98 100 104 108 109 112 121 122 123 124 125 126 127 131 134 137 143 144 146 151 158 160 161 163 164 165 172 173 180 181 190 191 194 196 197 199 200 202 204 206 208 211 214 215 220 230 231 236 237 241 246 248 250 251 252 255 257 259 260 262 268 269 276 277 278 279 281 282 288 294 295 304 306 311 314 315 318 a 3 8 10 15 17 26 27 29 34 35 36 37 40 41 48 56 58 60 62 63 70 79 80 83 86 88 94 96 98 100 104 108 109 112 121 122 123 124 125 126 127 131 134 137 143 144 146 151 158 160 161 163 164 165 172 173 180 181 190 191 194 196 197 199 200 202 204 206 208 211 214 215 220 230 231 236 237 241 246 248 250 251 252 255 257 259 260 262 268 269 276 277 278 279 281 282 288 294 295 304 306 311 314 315 321 a 3 8 10 15 17 26 27 29 34 35 36 37 40 41 48 56 58 60 62 63 65 70 79 80 83 86 88 94 96 98 100 104 108 109 112 121 122 123 124 125 126 127 131 134 137 143 144 146 151 158 160 163 164 165 172 173 180 181 190 191 194 196 197 199 200 202 204 206 208 211 214 215 220 230 231 236 237 241 246 248 250 251 252 255 257 259 260 262 268 269 276 277 278 279 281 282 288 294 295 304 306 311 314 315 321 a 3 8 10 15 17 26 27 29 34 35 36 37 40 41 42 48 56 58 60 62 63 65 70 79 80 83 86 88 94 96 98 100 104 108 109 112 121 122 123 124 125 126 127 131 134 137 143 144 146 151 158 160 163 164 165 172 173 180 181 190 191 194 196 197 199 200 202 204 206 208 211 214 215 220 230 231 236 237 241 246 248 250 251 252 255 257 259 260 262 268 269 276 277 278 279 281 282 288 294 295 304 306 311 314 315 a 3 8 10 15 17 26 27 29 34 35 36 37 40 41 42 48 56 58 60 62 63 65 70 79 80 83 86 88 94 96 98 100 104 108 109 112 121 122 123 124 125 126 127 131 134 137 143 144 146 151 158 160 163 164 165 172 173 180 181 190 191 194 196 197 199 200 202 204 206 208 211 214 215 220 230 231 236 237 241 246 248 250 251 252 255 257 259 260 262 268 269 276 277 278 279 281 282 288 294 304 306 311 314 315 318 a 3 8 10 15 17 26 27 29 34 35 36 37 40 41 42 48 56 58 60 62 63 65 70 79 80 83 86 88 94 96 98 100 104 108 109 110 112 121 122 123 124 125 126 127 131 134 137 143 144 146 151 158 160 163 164 165 172 173 180 181 190 191 194 196 197 199 200 202 204 206 208 211 214 215 220 230 231 236 237 241 246 248 250 251 252 255 257 259 260 262 268 269 276 277 278 279 281 282 288 294 306 311 314 315 318 a 3 8 10 15 17 26 27 29 34 35 36 37 40 41 48 56 58 60 62 63 65 70 79 80 83 86 88 94 96 98 100 104 108 109 110 112 121 122 123 124 125 126 127 131 134 137 143 144 146 151 158 160 163 164 165 172 173 180 181 190 191 194 196 197 199 200 202 204 206 208 211 214 215 220 230 231 236 237 241 246 248 250 251 252 255 257 259 260 262 268 269 276 277 278 279 281 282 288 294 306 311 314 315 318 320 a 3 8 10 15 17 26 27 29 34 35 36 37 40 41 48 56 58 60 62 63 65 70 79 80 83 86 88 94 96 98 100 104 108 109 110 112 121 122 123 124 125 126 127 131 134 137 141 143 144 146 151 158 160 163 164 165 172 173 180 181 190 191 194 196 197 199 200 202 204 206 208 211 214 215 220 230 231 236 237 241 246 248 250 251 252 255 257 259 260 262 268 269 276 277 278 279 281 282 288 294 306 314 315 318 320 a 3 8 10 15 17 26 27 29 34 35 36 37 40 41 48 56 58 60 62 63 65 70 79 80 83 86 88 94 96 98 100 104 108 109 110 112 121 122 123 124 125 126 127 131 134 137 141 143 144 146 151 158 160 163 164 165 172 173 180 181 190 191 194 196 197 199 200 202 204 206 208 211 214 215 220 230 231 236 237 241 246 248 250 251 252 255 257 259 260 262 268 269 276 277 278 279 281 282 288 294 304 306 314 315 320 a 3 8 10 15 17 26 27 29 34 35 37 40 41 48 56 58 60 62 63 65 70 79 80 83 86 88 94 96 98 100 104 108 109 110 112 121 122 123 124 125 126 127 131 134 137 141 143 144 146 151 158 160 163 164 165 172 173 180 181 190 191 194 196 197 199 200 202 204 206 208 211 214 215 220 230 231 236 237 241 246 248 250 251 252 255 257 259 260 262 268 269 276 277 278 279 281 282 288 294 295 304 306 314 315 320 a 3 8 10 15 17 26 27 29 34 35 37 40 41 48 56 58 60 62 63 65 70 79 80 83 86 88 94 96 98 100 104 108 109 110 112 121 122 123 124 125 126 127 131 134 137 141 143 144 146 151 158 160 163 164 172 173 180 181 190 191 194 196 197 199 200 202 204 206 208 211 214 215 220 230 231 236 237 241 246 248 250 251 252 255 257 259 260 262 268 269 276 277 278 279 281 282 288 294 295 304 306 314 315 320 325 a 3 8 10 15 17 26 27 29 34 35 37 40 41 48 56 58 60 62 65 70 79 80 83 86 88 94 96 98 100 104 108 109 110 112 121 122 123 124 125 126 127 131 134 137 141 143 144 146 151 158 160 163 164 172 173 180 181 190 191 194 196 197 199 200 202 204 206 208 211 214 215 220 230 231 236 237 241 246 248 250 251 252 255 257 259 260 262 268 269 276 277 278 279 281 282 288 294 295 298 304 306 314 315 320 325 a 3 8 10 15 17 26 27 29 34 35 37 40 41 48 56 58 60 62 65 70 79 80 83 86 88 94 96 98 100 104 108 109 110 112 121 122 123 124 125 126 127 131 134 137 141 143 144 146 151 158 160 163 164 172 173 180 181 190 191 194 196 197 199 200 202 204 206 208 211 214 215 220 230 231 236 237 241 246 248 250 251 252 255 257 259 260 262 268 269 276 277 278 279 281 282 288 294 295 298 304 306 314 315 318 320 a 3 8 10 15 17 26 27 29 34 35 36 37 40 41 48 56 58 60 62 65 70 79 80 83 86 88 94 96 98 100 104 108 109 110 112 121 122 123 124 125 126 127 131 134 137 141 143 144 146 151 158 160 163 164 172 173 180 181 190 191 194 196 197 199 200 202 204 206 208 211 214 215 220 230 231 236 237 241 246 248 250 251 252 255 257 259 260 262 268 269 277 278 279 281 282 288 294 295 298 304 306 314 315 318 320 a 3 8 10 15 17 26 27 29 34 35 36 37 40 41 48 56 58 60 62 65 70 79 80 83 86 88 94 96 98 100 104 108 109 110 112 121 122 123 124 125 126 127 131 134 137 141 143 144 146 151 158 160 163 164 172 173 180 181 190 191 194 196 197 199 200 202 204 206 208 211 214 215 220 230 231 236 237 241 246 248 250 251 252 255 257 259 260 262 268 269 277 278 279 281 282 288 294 295 298 306 311 314 315 318 320 a 3 8 10 15 17 26 27 29 34 35 36 37 40 41 48 56 58 60 62 65 70 79 80 83 86 88 94 96 98 100 104 108 109 110 112 121 122 123 124 125 126 127 131 134 137 141 143 144 146 151 158 160 163 164 172 173 180 181 190 191 194 196 197 199 200 202 204 206 208 211 214 215 220 230 231 236 237 241 246 248 250 251 252 255 257 259 260 262 268 269 277 278 279 281 282 288 294 295 298 306 311 314 315 318 321 a 3 8 10 15 17 26 27 29 34 35 37 40 41 48 56 58 60 62 65 70 79 80 83 86 88 94 96 98 100 104 108 109 110 112 121 122 123 124 125 126 127 131 134 137 141 143 144 146 151 158 160 163 164 172 173 180 181 190 191 194 196 197 199 200 202 204 206 208 211 214 215 220 230 231 236 237 241 244 246 248 250 251 252 255 257 259 260 262 268 269 277 278 279 281 282 288 294 295 298 306 311 314 315 318 321 a 3 8 10 15 17 26 27 29 34 35 37 40 41 48 56 58 60 62 65 70 79 80 83 86 88 94 96 98 100 104 108 109 110 112 121 122 123 124 125 127 131 134 137 141 143 144 146 151 158 160 163 164 172 173 180 181 190 191 194 196 197 199 200 202 204 205 206 208 211 214 215 220 230 231 236 237 241 244 246 248 250 251 252 255 257 259 260 262 268 269 277 278 279 281 282 288 294 295 298 306 311 314 315 318 321 a 3 8 10 15 17 26 27 29 34 35 37 40 41 48 56 58 60 62 65 70 79 80 83 86 88 94 96 98 100 104 108 109 110 112 121 122 123 124 125 127 131 134 137 141 143 144 146 151 158 160 163 164 172 173 180 181 190 191 194 196 197 199 200 202 204 205 206 208 211 214 215 220 230 231 236 237 241 244 246 248 250 251 252 255 257 259 260 262 268 276 277 278 279 281 282 288 294 295 298 306 311 314 315 318 321 a 3 8 10 15 17 26 27 29 34 35 37 40 41 48 56 58 60 62 65 70 79 80 83 86 88 94 96 98 100 104 108 109 110 112 121 122 123 124 125 127 131 134 137 141 143 144 146 151 158 160 163 164 172 173 180 181 190 191 194 196 197 199 200 202 204 205 206 208 211 214 215 220 230 231 236 237 241 244 246 248 250 251 252 255 257 259 260 262 268 276 277 278 279 281 282 288 294 295 298 306 311 314 315 318 325 a 3 8 10 12 15 17 26 27 29 34 35 37 40 41 48 56 58 60 62 65 70 79 80 83 86 88 94 96 98 100 104 108 109 110 112 121 122 123 124 125 127 131 134 137 141 143 144 146 151 158 160 163 164 172 173 180 181 190 191 194 196 197 199 200 202 204 205 206 208 211 214 215 220 230 231 236 237 241 244 246 248 250 251 252 255 257 259 260 262 268 276 277 278 279 281 282 288 294 295 298 306 311 315 318 325 a 3 8 10 12 15 17 26 27 29 34 35 37 40 41 48 56 58 60 62 65 70 79 80 83 86 88 94 96 98 100 104 108 109 110 112 121 123 124 125 127 131 134 137 141 143 144 146 151 158 160 163 164 172 173 180 181 190 191 194 196 197 199 200 202 204 205 206 208 211 214 215 220 230 231 236 237 241 244 246 248 250 251 252 255 257 259 260 262 268 276 277 278 279 281 282 288 294 295 298 306 311 315 318 321 325 a 3 8 10 12 15 17 26 27 29 34 35 37 40 41 48 56 58 60 62 65 70 79 80 83 86 88 94 96 98 100 104 108 109 110 112 121 123 124 125 127 131 134 137 141 143 144 146 151 158 160 163 164 172 173 180 181 190 191 194 196 197 199 200 202 204 205 206 208 211 214 215 220 230 231 236 237 241 244 246 248 250 251 252 255 257 259 260 262 268 276 277 278 279 281 282 288 294 295 298 306 311 314 315 318 321 a 3 8 10 12 15 17 26 27 29 34 35 37 40 41 48 56 58 60 62 65 70 79 80 83 86 88 94 96 98 100 104 108 109 110 112 121 123 124 125 127 131 134 137 141 143 144 146 151 158 160 163 164 172 173 180 181 190 191 194 196 197 199 200 202 204 205 206 208 211 214 215 220 230 231 236 237 241 244 246 248 250 251 252 255 257 259 260 262 268 269 276 277 278 279 281 282 288 294 295 298 306 311 314 315 318 a 3 8 10 12 15 17 26 27 29 34 35 37 40 41 48 56 58 60 62 65 70 79 80 83 86 88 94 96 98 100 104 108 109 110 112 121 123 124 125 127 131 134 137 141 143 144 146 151 158 160 163 164 172 173 180 181 190 191 194 196 197 199 200 202 204 205 206 208 211 214 215 220 230 231 236 237 241 244 246 248 250 251 252 255 257 259 260 262 268 269 276 277 278 279 281 282 288 294 295 298 306 311 314 315 325 a 3 8 10 12 15 17 26 27 29 34 35 37 40 41 48 56 58 60 62 65 70 79 80 83 86 88 94 96 98 100 104 108 109 110 112 121 122 123 124 125 127 131 134 137 141 143 144 146 151 158 160 163 164 172 173 180 181 190 191 194 196 197 199 200 202 204 205 206 208 211 214 215 220 230 231 236 237 241 244 246 248 250 251 252 255 257 259 260 262 268 269 276 277 278 279 281 282 288 294 295 298 306 311 314 325 a 3 8 10 12 15 17 26 27 29 34 35 37 40 41 48 56 58 60 62 65 79 80 83 86 88 94 96 98 100 104 108 109 110 112 121 122 123 124 125 127 131 134 137 141 143 144 146 151 158 160 163 164 172 173 180 181 190 191 194 196 197 199 200 202 204 205 206 208 211 214 215 220 230 231 236 237 241 244 246 248 250 251 252 255 257 259 260 262 268 269 276 277 278 279 281 282 288 294 295 298 306 311 314 318 325 a 3 8 10 12 15 17 26 27 29 34 35 37 40 41 48 56 58 60 62 65 79 80 83 86 88 94 96 98 100 104 108 109 110 112 121 122 123 124 125 127 131 134 137 141 143 144 146 151 158 160 163 164 172 173 180 181 190 191 194 196 197 199 200 202 204 205 206 208 211 214 215 220 230 231 236 237 241 244 246 248 250 251 252 255 257 259 260 262 268 269 276 277 278 279 281 282 288 294 295 298 306 311 314 318 320 a 3 8 10 12 15 17 26 27 29 34 35 37 40 41 48 56 58 60 62 65 79 80 83 86 88 94 98 100 104 108 109 110 112 121 122 123 124 125 127 131 134 137 141 143 144 146 151 158 160 163 164 172 173 177 180 181 190 191 194 196 197 199 200 202 204 205 206 208 211 214 215 220 230 231 236 237 241 244 246 248 250 251 252 255 257 259 260 262 268 269 276 277 278 279 281 282 288 294 295 298 306 311 314 318 320 a 3 8 10 12 15 17 26 27 29 34 35 37 40 41 48 56 58 60 62 65 70 79 80 83 86 88 94 98 100 104 108 109 110 112 121 122 123 124 125 127 131 134 137 141 143 144 146 151 158 160 163 164 172 173 177 180 181 190 191 194 196 197 199 200 202 204 205 206 208 211 214 215 220 230 231 236 237 241 244 246 248 250 251 252 255 257 259 260 262 268 269 276 277 278 279 281 282 288 294 295 298 306 311 314 318 a 3 8 10 12 15 17 26 27 29 34 35 37 40 41 48 56 58 60 62 65 70 79 80 83 86 88 94 98 100 104 108 109 110 112 121 122 123 124 125 127 131 134 137 141 143 144 146 151 158 160 163 164 172 173 177 180 181 190 191 194 196 197 199 200 202 204 205 206 208 211 214 215 220 230 231 236 237 241 244 246 248 250 251 252 255 257 259 260 262 268 269 276 277 278 279 281 282 288 294 295 298 306 311 315 318 a 3 8 10 12 15 17 26 27 29 34 35 37 40 41 48 56 58 60 62 65 70 79 80 83 86 88 94 98 100 104 108 109 110 112 121 122 123 124 125 127 131 134 137 141 143 144 146 151 158 160 163 164 172 173 177 180 181 190 191 194 196 197 199 200 202 204 205 206 208 211 214 215 220 230 231 236 237 241 244 246 248 250 251 252 255 257 259 260 262 268 269 276 277 278 279 281 282 288 294 295 298 306 315 318 325 a 3 8 10 12 15 17 26 27 29 34 35 37 40 41 48 56 58 60 62 65 70 79 80 83 86 88 94 98 100 104 108 109 110 112 121 122 123 124 125 127 131 134 137 141 143 144 146 151 158 160 163 164 172 173 177 180 181 190 191 194 196 197 199 200 202 204 205 206 208 211 214 215 220 230 231 236 237 241 244 246 248 250 251 252 255 257 259 260 262 268 269 276 277 278 279 281 282 288 294 295 306 315 318 321 325 a 3 8 10 12 15 17 26 27 29 34 35 37 40 41 48 56 58 60 62 65 70 79 80 83 86 88 94 98 100 104 108 109 110 112 121 122 123 124 125 127 131 134 137 141 143 144 146 151 158 160 163 164 172 173 177 180 181 190 191 194 196 197 199 200 202 204 205 206 208 211 214 215 220 230 231 236 237 244 246 248 250 251 252 255 257 259 260 262 268 269 276 277 278 279 281 282 288 294 295 306 314 315 318 321 325 a 3 8 10 12 15 17 26 27 29 34 35 37 40 41 48 56 58 60 62 65 70 79 80 83 86 88 94 98 100 104 108 109 110 112 121 122 123 125 127 131 134 137 141 143 144 146 151 158 160 163 164 172 173 177 180 181 182 190 191 194 196 197 199 200 202 204 205 206 208 211 214 215 220 230 231 236 237 244 246 248 250 251 252 255 257 259 260 262 268 269 276 277 278 279 281 282 288 294 295 306 314 315 318 321 325 a 3 8 10 12 15 17 26 27 29 34 35 37 40 41 48 56 58 60 62 65 70 79 80 83 86 88 94 98 100 104 108 109 110 112 121 122 123 125 127 131 134 137 141 143 144 146 151 158 160 163 164 172 173 177 180 181 182 190 191 194 196 197 199 200 202 204 205 206 208 211 214 215 220 230 231 236 237 241 244 246 248 250 251 252 255 257 259 260 262 268 269 276 277 278 279 281 282 288 294 295 306 314 315 318 321 a 3 8 10 12 15 17 26 27 29 34 35 37 40 41 48 56 58 60 62 65 70 79 80 83 86 88 94 98 100 104 108 109 110 112 121 122 123 125 127 131 134 137 141 143 144 146 151 158 160 163 164 172 173 177 180 181 182 190 191 194 196 197 199 200 202 204 205 206 208 211 214 215 220 230 231 236 237 241 244 246 248 250 251 252 255 257 260 262 268 269 270 276 277 278 279 281 282 288 294 295 306 314 315 318 321 a 3 8 10 12 15 17 26 27 29 34 35 37 40 41 48 56 58 60 62 65 70 79 80 83 86 88 94 98 100 104 108 109 110 112 121 122 123 125 127 131 134 137 141 143 144 146 151 158 160 163 164 172 173 177 180 181 182 190 191 194 196 197 199 200 202 204 205 206 208 211 214 215 220 230 231 236 237 241 244 246 248 250 251 252 255 257 260 262 268 269 270 276 277 278 279 281 282 288 294 295 306 311 314 315 318 a 3 8 10 12 15 17 26 27 29 34 35 37 40 41 48 56 58 60 62 65 70 79 80 83 86 88 94 98 100 104 108 109 110 112 121 122 123 125 127 131 134 137 141 143 144 146 151 158 160 163 164 172 173 177 180 181 182 190 191 194 196 197 199 200 202 204 205 206 208 211 214 215 220 230 231 236 241 244 246 248 250 251 252 255 257 260 262 268 269 270 276 277 278 279 281 282 288 294 295 306 311 314 315 318 320 a 3 8 10 12 15 17 26 27 29 34 35 37 40 41 48 56 58 60 62 63 65 70 79 80 83 86 88 94 98 100 104 108 109 110 112 121 122 123 125 127 131 134 137 141 143 144 146 151 158 160 163 164 172 173 177 180 181 182 190 191 194 196 197 199 200 202 204 205 206 208 211 214 215 220 230 231 236 241 244 246 248 250 251 252 255 257 260 262 268 269 270 276 277 278 281 282 288 294 295 306 311 314 315 318 320 a 3 8 10 12 15 17 26 27 29 34 35 37 40 41 48 56 58 60 62 63 65 70 79 80 83 86 88 94 98 100 104 108 109 110 112 121 122 123 125 127 131 134 137 141 143 144 146 151 158 160 163 164 172 173 177 180 181 182 190 191 194 196 197 199 200 202 204 205 206 208 211 214 215 220 230 231 236 241 244 246 248 250 251 252 255 257 260 262 268 269 270 276 277 278 281 282 288 294 295 306 311 314 315 318 321 a 3 8 10 12 15 17 26 27 29 34 35 37 40 41 48 56 58 60 62 63 65 70 79 80 83 86 88 94 98 100 104 108 109 110 112 121 122 123 125 127 131 134 137 141 143 144 146 151 158 160 163 164 172 173 177 180 181 182 190 191 194 196 197 199 200 202 204 205 206 208 211 214 215 220 230 231 236 237 241 244 246 248 250 251 252 255 257 260 262 268 269 270 276 277 278 281 282 288 294 295 306 311 314 315 321 a 3 8 10 12 15 17 26 27 29 34 35 37 40 41 48 56 58 60 62 65 70 79 80 83 86 88 94 98 100 104 108 109 110 112 121 122 123 125 127 131 134 137 141 143 144 146 151 158 160 163 164 172 173 177 180 181 182 190 191 194 196 197 199 200 202 204 205 206 208 211 214 215 220 230 231 236 237 241 244 246 248 250 251 252 255 257 260 262 268 269 270 276 277 278 281 282 288 294 295 298 306 311 314 315 321 a 3 8 10 12 15 17 26 27 29 34 35 37 40 41 48 56 58 60 62 65 70 79 80 83 86 88 94 98 100 104 108 109 110 112 121 122 123 125 127 131 134 137 141 143 144 146 151 158 160 163 164 172 173 177 180 181 182 190 191 194 196 197 199 200 202 204 205 206 208 211 214 215 220 230 231 236 237 241 244 246 248 250 251 252 255 257 260 262 268 269 270 276 277 278 281 282 288 294 295 298 306 311 314 315 325 a 3 8 10 12 15 17 26 27 29 34 35 37 40 41 48 56 58 60 62 65 70 79 80 83 86 88 94 98 100 104 108 109 110 112 121 122 123 125 127 131 134 137 141 143 144 146 151 158 160 163 164 172 173 177 180 181 182 190 191 194 196 197 199 200 202 204 205 206 208 211 214 215 220 230 231 236 237 241 244 246 248 250 251 252 255 257 260 262 268 269 270 276 277 278 279 281 282 288 294 295 298 311 314 315 325 a 3 8 10 12 15 17 26 27 29 34 35 37 40 41 48 49 56 58 60 62 65 70 79 80 83 86 88 94 98 104 108 109 110 112 121 122 123 125 127 131 134 137 141 143 144 146 151 158 160 163 164 172 173 177 180 181 182 190 191 194 196 197 199 200 202 204 205 206 208 211 214 215 220 230 231 236 237 241 244 246 248 250 251 252 255 257 260 262 268 269 270 276 277 278 279 281 282 288 294 295 298 311 314 315 325 a 3 8 10 12 15 17 26 27 29 34 35 37 40 41 48 49 56 58 60 62 65 70 79 80 83 86 94 98 104 108 109 110 112 121 122 123 125 127 131 134 137 141 143 144 146 151 158 160 163 164 172 173 177 180 181 182 190 191 194 196 197 199 200 202 204 205 206 208 211 214 215 220 230 231 236 237 241 244 246 248 250 251 252 255 257 260 262 268 269 270 276 277 278 279 281 282 288 294 295 298 311 314 315 321 325 a 3 8 10 12 15 17 26 27 29 34 35 37 40 41 48 49 56 58 60 62 65 70 79 80 83 86 94 98 104 108 109 110 112 121 122 123 125 127 131 134 137 141 143 144 146 151 158 160 163 164 172 173 177 180 181 182 190 191 194 196 197 199 200 202 204 205 206 208 211 214 215 220 230 231 236 237 241 244 246 248 250 251 252 255 257 260 262 268 269 270 276 277 278 279 281 282 288 294 295 298 311 314 315 318 321 a 3 8 10 12 15 17 26 27 29 34 35 37 40 41 48 49 56 58 60 62 65 70 79 80 83 86 94 98 104 108 109 110 112 121 122 123 125 127 131 134 137 141 143 144 146 151 158 160 163 164 172 173 177 180 181 182 190 191 194 196 197 199 200 202 204 205 206 208 211 214 215 220 230 231 236 237 241 244 246 248 250 251 252 255 257 260 262 268 269 270 276 277 278 279 281 282 288 294 295 311 314 315 318 320 321 a 3 8 10 12 15 17 26 27 29 34 35 37 40 41 48 49 56 58 60 62 65 70 79 80 83 86 94 98 104 108 109 110 112 121 122 123 125 127 131 134 137 141 143 144 146 151 158 160 163 164 172 173 177 180 181 182 190 191 194 196 197 199 200 202 204 205 206 208 211 214 215 220 230 231 236 237 241 244 246 248 250 251 252 255 257 262 268 269 270 276 277 278 279 281 282 288 294 295 311 314 315 318 320 321 325 a 3 8 10 12 15 17 26 27 29 34 35 37 40 41 48 49 56 58 60 62 65 70 79 80 83 86 94 98 104 108 109 110 112 121 122 123 125 126 127 131 134 137 141 143 144 146 151 158 160 163 164 172 173 177 180 181 182 190 191 194 196 197 199 200 202 204 206 208 211 214 215 220 230 231 236 237 241 244 246 248 250 251 252 255 257 262 268 269 270 276 277 278 279 281 282 288 294 295 311 314 315 318 320 321 325 a 3 8 10 12 15 17 27 29 34 35 37 40 41 48 49 56 58 60 62 65 70 79 80 83 86 94 98 104 108 109 110 112 115 121 122 123 125 126 127 131 134 137 141 143 144 146 151 158 160 163 164 172 173 177 180 181 182 190 191 194 196 197 199 200 202 204 206 208 211 214 215 220 230 231 236 237 241 244 246 248 250 251 252 255 257 262 268 269 270 276 277 278 279 281 282 288 294 295 311 314 315 318 320 321 325 a 3 8 10 12 15 17 27 29 34 35 37 40 41 48 49 56 58 60 62 65 70 79 80 83 86 94 98 104 108 109 110 112 115 121 122 123 125 126 127 131 134 137 141 143 144 146 151 158 160 163 164 172 173 177 178 180 181 182 190 191 194 196 197 199 200 202 204 206 208 211 214 215 220 230 231 236 237 241 244 246 248 250 251 252 255 257 262 268 269 270 276 277 278 279 281 282 288 294 295 311 314 318 320 321 325 a 3 8 10 12 15 17 27 29 35 37 40 41 48 49 55 56 58 60 62 65 70 79 80 83 86 94 98 104 108 109 110 112 115 121 122 123 125 126 127 131 134 137 141 143 144 146 151 158 160 163 164 172 173 177 178 180 181 182 190 191 194 196 197 199 200 202 204 206 208 211 214 215 220 230 231 236 237 241 244 246 248 250 251 252 255 257 262 268 269 270 276 277 278 279 281 282 288 294 295 311 314 318 320 321 325 a 3 8 10 12 15 17 27 29 35 37 40 41 48 49 55 56 58 60 62 65 70 79 80 83 86 94 98 104 108 109 110 112 115 121 122 123 125 126 127 131 134 137 141 143 144 146 151 158 160 163 164 172 173 177 178 180 181 182 190 191 194 196 197 199 200 202 204 206 208 211 214 215 220 230 231 236 237 241 244 246 248 250 251 252 255 257 262 264 268 269 270 276 277 278 279 281 282 288 294 311 314 318 320 321 325 a 3 8 10 12 15 17 27 29 35 37 40 41 42 48 49 55 56 58 60 62 65 70 79 80 83 86 94 98 104 108 109 110 112 115 121 122 123 125 126 127 131 134 137 141 143 144 146 151 158 160 163 164 172 173 177 178 180 181 182 190 191 194 196 197 199 200 202 204 206 208 211 214 215 220 230 231 236 237 241 244 246 248 250 251 252 255 257 262 264 268 269 270 276 277 278 279 281 282 288 294 311 314 318 321 325 a 3 8 10 12 15 17 27 29 35 37 40 41 42 49 55 56 58 60 62 65 70 79 80 83 86 94 98 104 108 109 110 112 115 121 122 123 125 126 127 131 134 137 141 143 144 146 151 158 160 163 164 172 173 177 178 180 181 182 190 191 194 196 197 199 200 202 204 206 208 211 214 215 220 224 230 231 236 237 241 244 246 248 250 251 252 255 257 262 264 268 269 270 276 277 278 279 281 282 288 294 311 314 318 321 325 a 3 8 10 12 15 17 27 29 35 37 40 41 42 49 55 56 58 60 62 65 70 79 80 83 86 94 98 104 108 109 110 112 115 121 122 123 125 126 127 131 134 137 141 143 144 146 151 158 160 163 164 172 173 177 178 180 181 182 190 191 194 196 197 199 200 202 204 206 208 211 214 215 220 224 230 231 236 237 238 241 244 246 248 250 251 252 255 257 262 264 268 269 270 276 277 278 279 281 282 288 294 311 314 321 325 a 3 8 10 12 15 17 27 29 35 37 40 41 42 49 55 56 58 60 62 65 70 79 80 83 86 94 98 104 105 108 109 110 112 115 121 122 123 125 126 127 131 134 137 141 143 144 146 151 158 160 163 164 172 173 177 178 180 181 182 190 191 194 196 197 199 200 202 204 206 208 211 214 215 220 224 230 231 236 237 238 244 246 248 250 251 252 255 257 262 264 268 269 270 276 277 278 279 281 282 288 294 311 314 321 325 a 3 8 9 10 12 15 17 27 29 35 37 40 41 42 49 55 58 60 62 65 70 79 80 83 86 94 98 104 105 108 109 110 112 115 121 122 123 125 126 127 131 134 137 141 143 144 146 151 158 160 163 164 172 173 177 178 180 181 182 190 191 194 196 197 199 200 202 204 206 208 211 214 215 220 224 230 231 236 237 238 244 246 248 250 251 252 255 257 262 264 268 269 270 276 277 278 279 281 282 288 294 311 314 321 325 a 3 8 9 10 12 15 17 27 29 35 37 40 41 42 49 55 58 60 62 65 70 79 80 83 86 94 98 104 105 108 109 110 112 115 121 122 123 125 126 127 131 134 137 141 143 144 146 151 158 160 164 171 172 173 177 178 180 181 182 190 191 194 196 197 199 200 202 204 206 208 211 214 215 220 224 230 231 236 237 238 244 246 248 250 251 252 255 257 262 264 268 269 270 276 277 278 279 281 282 288 294 311 314 321 325 a 3 8 9 10 12 15 17 27 29 35 37 40 41 42 49 55 58 60 62 65 70 79 80 83 86 94 98 105 108 109 110 112 115 121 122 123 125 126 127 131 134 137 141 143 144 146 151 158 160 164 171 172 173 177 178 180 181 182 190 191 194 196 197 199 200 202 204 206 208 211 214 215 220 224 230 231 236 237 238 244 246 248 250 251 252 255 257 262 264 268 269 270 276 277 278 279 281 282 288 294 302 311 314 321 325 a 3 8 9 10 12 17 27 29 35 37 40 41 42 49 55 58 60 62 63 65 70 79 80 83 86 94 98 105 108 109 110 112 115 121 122 123 125 126 127 131 134 137 141 143 144 146 151 158 160 164 171 172 173 177 178 180 181 182 190 191 194 196 197 199 200 202 204 206 208 211 214 215 220 224 230 231 236 237 238 244 246 248 250 251 252 255 257 262 264 268 269 270 276 277 278 279 281 282 288 294 302 311 314 321 325 a 3 8 9 10 12 17 27 29 35 37 40 41 42 49 55 58 60 62 63 65 70 79 80 83 86 94 98 101 105 108 109 110 112 115 121 122 123 125 126 127 131 134 137 141 143 144 146 151 158 160 164 171 172 173 177 178 180 181 182 190 191 194 196 197 199 200 202 204 206 208 211 214 215 220 224 230 231 236 237 238 244 246 248 250 251 255 257 262 264 268 269 270 276 277 278 279 281 282 288 294 302 311 314 321 325 a 3 8 9 10 12 17 27 29 35 37 40 41 42 45 49 55 58 60 62 63 65 70 79 80 83 86 94 98 101 105 108 109 110 112 115 121 122 123 125 126 127 131 134 137 141 143 144 146 151 158 160 164 171 172 173 177 178 180 181 182 191 194 196 197 199 200 202 204 206 208 211 214 215 220 224 230 231 236 237 238 244 246 248 250 251 255 257 262 264 268 269 270 276 277 278 279 281 282 288 294 302 311 314 321 325 a 3 8 9 10 12 17 27 29 35 37 40 41 42 44 45 49 55 58 60 62 63 65 70 79 80 83 86 94 98 101 105 108 109 110 112 115 121 122 123 125 126 127 131 134 137 141 143 144 146 151 158 160 164 171 172 173 177 178 180 181 182 191 194 196 197 199 200 202 204 208 211 214 215 220 224 230 231 236 237 238 244 246 248 250 251 255 257 262 264 268 269 270 276 277 278 279 281 282 288 294 302 311 314 321 325 a 3 8 9 10 12 17 27 29 35 37 40 41 42 44 45 49 55 58 60 62 63 65 70 79 80 83 86 94 98 101 105 108 109 110 112 115 121 122 123 125 126 127 131 134 137 141 142 143 144 146 151 158 160 164 171 172 173 177 178 180 181 182 191 194 196 197 199 200 202 204 208 211 214 215 220 224 230 231 236 237 238 244 246 248 250 251 255 257 262 264 268 269 270 276 277 278 279 281 282 288 294 302 314 321 325 a 3 8 9 10 17 27 29 32 35 37 40 41 42 44 45 49 55 58 60 62 63 65 70 79 80 83 86 94 98 101 105 108 109 110 112 115 121 122 123 125 126 127 131 134 137 141 142 143 144 146 151 158 160 164 171 172 173 177 178 180 181 182 191 194 196 197 199 200 202 204 208 211 214 215 220 224 230 231 236 237 238 244 246 248 250 251 255 257 262 264 268 269 270 276 277 278 279 281 282 288 294 302 314 321 325 a 3 8 9 10 17 27 29 32 35 37 40 41 42 44 45 49 55 58 60 62 63 65 66 70 79 80 83 86 94 98 101 105 108 109 110 112 115 121 122 123 125 126 127 131 134 137 141 142 143 144 146 151 158 160 164 171 172 173 177 178 180 181 182 191 196 197 199 200 202 204 208 211 214 215 220 224 230 231 236 237 238 244 246 248 250 251 255 257 262 264 268 269 270 276 277 278 279 281 282 288 294 302 314 321 325 a 3 8 9 10 17 27 29 32 35 37 40 41 42 44 45 49 55 58 60 62 63 65 66 70 79 80 83 86 94 98 101 105 108 109 110 112 115 121 122 123 125 126 127 131 134 137 141 142 143 144 146 151 158 160 164 171 172 173 177 178 180 181 182 191 196 197 199 200 202 204 208 211 214 215 220 224 230 231 237 238 244 246 248 250 251 255 257 262 264 268 269 270 276 277 278 279 281 282 288 294 302 304 314 321 325 a 3 8 9 10 17 27 29 32 35 37 40 41 42 44 45 49 55 60 62 63 65 66 70 79 80 83 86 94 98 101 105 108 109 110 112 115 121 122 123 125 126 127 131 134 137 141 142 143 144 146 151 158 160 164 171 172 173 177 178 180 181 182 191 196 197 199 200 202 204 208 211 214 215 220 224 230 231 237 238 244 246 248 250 251 255 257 261 262 264 268 269 270 276 277 278 279 281 282 288 294 302 304 314 321 325 a 3 8 9 10 17 27 29 32 35 37 40 41 42 44 45 49 55 60 62 63 65 66 70 79 80 83 86 94 98 101 105 108 109 110 112 115 121 122 123 125 126 127 131 134 137 141 142 143 144 146 151 158 160 164 171 172 173 177 178 180 181 182 196 197 199 200 202 204 208 211 214 215 220 224 230 231 237 238 244 246 248 250 251 255 257 261 262 264 268 269 270 276 277 278 279 281 282 285 288 294 302 304 314 321 325 a 2 3 8 9 10 17 27 29 32 37 40 41 42 44 45 49 55 60 62 63 65 66 70 79 80 83 86 94 98 101 105 108 109 110 112 115 121 122 123 125 126 127 131 134 137 141 142 143 144 146 151 158 160 164 171 172 173 177 178 180 181 182 196 197 199 200 202 204 208 211 214 215 220 224 230 231 237 238 244 246 248 250 251 255 257 261 262 264 268 269 270 276 277 278 279 281 282 285 288 294 302 304 314 321 325 a 2 3 8 9 10 17 27 29 32 37 40 41 42 44 45 49 55 60 62 63 65 66 70 79 80 83 86 94 98 101 105 108 109 110 112 115 121 122 123 125 126 127 131 134 137 141 142 143 144 146 151 160 164 169 171 172 173 177 178 180 181 182 196 197 199 200 202 204 208 211 214 215 220 224 230 231 237 238 244 246 248 250 251 255 257 261 262 264 268 269 270 276 277 278 279 281 282 285 288 294 302 304 314 321 325 a 2 3 8 9 10 17 27 29 32 37 40 41 42 44 45 49 53 55 60 62 63 65 66 70 79 80 83 86 94 98 101 105 108 109 110 112 115 121 122 123 125 126 127 131 134 137 141 142 143 144 146 151 160 164 169 171 172 173 177 178 180 181 182 196 197 199 200 202 204 208 211 214 215 220 224 230 231 237 238 244 246 248 250 255 257 261 262 264 268 269 270 276 277 278 279 281 282 285 288 294 302 304 314 321 325 a 2 3 8 9 10 17 27 29 32 37 40 41 42 44 45 49 53 55 60 62 63 65 66 70 79 80 83 86 94 98 101 105 108 109 110 112 115 121 122 123 125 126 127 131 134 137 141 142 143 144 146 151 160 164 169 171 172 173 177 178 180 181 182 196 197 199 200 202 204 208 211 212 214 215 220 224 230 231 237 238 244 246 250 255 257 261 262 264 268 269 270 276 277 278 279 281 282 285 288 294 302 304 314 321 325 a 2 3 8 9 10 17 27 29 32 37 40 41 42 44 45 49 53 55 60 62 63 65 66 70 79 80 83 86 94 98 101 105 108 109 110 112 115 121 122 123 125 126 127 131 134 137 141 142 143 144 146 151 160 164 169 171 172 173 177 178 180 181 182 196 197 199 200 202 204 208 211 212 214 215 220 224 226 230 231 238 244 246 250 255 257 261 262 264 268 269 270 276 277 278 279 281 282 285 288 294 302 304 314 321 325 a 2 3 8 9 10 17 27 29 32 37 40 41 42 44 45 49 53 55 60 62 63 65 66 68 70 79 80 83 86 94 98 101 105 108 109 110 112 115 121 122 123 125 126 127 131 134 137 141 142 143 144 146 151 160 164 169 171 172 173 177 178 180 181 182 196 197 200 202 204 208 211 212 214 215 220 224 226 230 231 238 244 246 250 255 257 261 262 264 268 269 270 276 277 278 279 281 282 285 288 294 302 304 314 321 325 a 2 3 8 9 17 25 27 29 32 37 40 41 42 44 45 49 53 55 60 62 63 65 66 68 70 79 80 83 86 94 98 101 105 108 109 110 112 115 121 122 123 125 126 127 131 134 137 141 142 143 144 146 151 160 164 169 171 172 173 177 178 180 181 182 196 197 200 202 204 208 211 212 214 215 220 224 226 230 231 238 244 246 250 255 257 261 262 264 268 269 270 276 277 278 279 281 282 285 288 294 302 304 314 321 325 a 2 3 8 9 17 25 27 29 32 37 40 41 42 44 45 49 53 55 60 62 63 65 66 68 70 79 80 83 86 94 98 101 105 108 109 110 112 115 121 122 123 125 126 127 131 134 137 141 142 143 144 151 160 164 169 171 172 173 174 177 178 180 181 182 196 197 200 202 204 208 211 212 214 215 220 224 226 230 231 238 244 246 250 255 257 261 262 264 268 269 270 276 277 278 279 281 282 285 288 294 302 304 314 321 325 a 2 3 8 9 17 25 27 29 32 37 41 42 44 45 49 53 55 60 62 63 65 66 68 70 79 80 83 86 94 98 101 105 108 109 110 112 115 119 121 122 123 125 126 127 131 134 137 141 142 143 144 151 160 164 169 171 172 173 174 177 178 180 181 182 196 197 200 202 204 208 211 212 214 215 220 224 226 230 231 238 244 246 250 255 257 261 262 264 268 269 270 276 277 278 279 281 282 285 288 294 302 304 314 321 325 a 2 3 8 9 17 25 27 29 32 37 41 42 44 45 49 53 55 60 62 63 65 66 68 70 79 80 86 94 98 101 105 108 109 110 112 115 119 121 122 123 125 126 127 131 134 137 141 142 143 144 151 160 164 169 171 172 173 174 177 178 180 181 182 196 197 200 202 204 208 211 212 214 215 220 224 226 230 231 238 244 246 250 255 257 261 262 264 266 268 269 270 276 277 278 279 281 282 285 288 294 302 304 314 321 325 a 2 3 8 9 17 25 27 29 32 37 41 42 44 45 49 53 55 60 62 63 65 66 68 70 79 80 86 94 98 101 105 108 109 110 112 115 119 121 122 123 125 126 127 131 134 137 141 142 143 144 151 160 164 169 171 172 173 174 177 178 180 181 182 196 197 200 202 204 208 211 212 214 215 220 224 226 230 231 238 244 250 255 257 258 261 262 264 266 268 269 270 276 277 278 279 281 282 285 288 294 302 304 314 321 325 a 2 3 8 9 17 25 27 29 32 33 37 41 42 44 45 49 53 55 60 62 63 65 66 68 70 79 80 86 94 98 101 105 108 109 110 112 115 119 121 122 123 125 126 127 131 134 137 141 142 143 144 151 160 164 169 171 172 173 174 177 178 180 181 182 196 197 200 202 204 208 211 212 214 215 220 224 226 230 231 238 244 250 255 257 258 261 262 264 266 268 269 270 276 277 278 279 281 282 285 294 302 304 314 321 325 a 2 3 8 9 17 25 27 29 32 33 37 41 42 44 45 49 53 55 60 62 63 65 66 68 70 79 80 86 94 98 101 105 108 109 110 112 115 119 121 122 123 125 126 127 131 134 141 142 143 144 151 160 164 169 171 172 173 174 177 178 180 181 182 183 196 197 200 202 204 208 211 212 214 215 220 224 226 230 231 238 244 250 255 257 258 261 262 264 266 268 269 270 276 277 278 279 281 282 285 294 302 304 314 321 325 a 2 3 8 9 17 25 27 29 32 33 37 41 42 44 45 49 53 55 60 62 63 65 66 68 70 79 80 86 94 101 105 108 109 110 112 115 119 121 122 123 125 126 127 131 134 141 142 143 144 151 160 164 169 171 172 173 174 177 178 180 181 182 183 196 197 200 202 204 208 211 212 213 214 215 220 224 226 230 231 238 244 250 255 257 258 261 262 264 266 268 269 270 276 277 278 279 281 282 285 294 302 304 314 321 325 a 2 3 8 9 17 25 27 29 32 33 37 41 42 44 45 49 53 55 60 62 63 65 66 68 70 79 80 86 94 101 105 108 109 110 112 115 119 121 122 123 125 126 127 129 131 134 141 142 143 144 151 160 164 169 171 172 173 174 177 178 180 181 182 183 196 197 200 202 204 208 211 212 213 214 215 220 224 226 230 231 238 244 250 255 257 258 261 262 264 266 269 270 276 277 278 279 281 282 285 294 302 304 314 321 325 a 2 3 8 9 17 25 27 29 32 33 37 41 42 44 45 49 53 55 60 62 63 65 66 68 70 79 80 86 94 101 105 108 109 110 112 115 119 121 122 123 125 126 127 129 131 134 141 142 143 144 151 160 164 169 171 172 173 174 177 178 180 181 182 183 196 197 200 202 204 208 211 212 213 214 215 220 224 226 231 238 244 250 255 257 258 261 262 264 266 269 270 271 276 277 278 279 281 282 285 294 302 304 314 321 325 a 2 3 8 9 17 25 27 29 32 33 37 41 42 44 45 49 53 55 60 62 63 65 66 68 70 79 80 86 94 101 105 109 110 112 115 119 121 122 123 125 126 127 129 131 134 141 142 143 144 148 151 160 164 169 171 172 173 174 177 178 180 181 182 183 196 197 200 202 204 208 211 212 213 214 215 220 224 226 231 238 244 250 255 257 258 261 262 264 266 269 270 271 276 277 278 279 281 282 285 294 302 304 314 321 325 a 2 3 8 9 17 25 27 29 32 33 37 41 42 44 45 49 53 55 60 62 63 65 66 68 70 79 80 86 94 101 105 109 110 112 115 119 121 122 123 125 126 127 129 131 134 141 142 143 144 148 151 160 164 169 171 172 173 174 177 178 180 181 182 183 197 200 202 204 208 211 212 213 214 215 220 224 226 231 238 244 250 255 257 258 261 262 264 265 266 269 270 271 276 277 278 279 281 282 285 294 302 304 314 321 325 a 2 3 8 9 17 25 27 29 32 33 37 41 42 44 45 49 53 55 60 62 63 65 66 68 70 79 80 86 94 101 105 109 110 112 115 119 121 123 125 126 127 129 131 134 141 142 143 144 148 151 160 164 169 171 172 173 174 176 177 178 180 181 182 183 197 200 202 204 208 211 212 213 214 215 220 224 226 231 238 244 250 255 257 258 261 262 264 265 266 269 270 271 276 277 278 279 281 282 285 294 302 304 314 321 325 a 2 3 8 9 17 25 27 29 32 33 37 41 42 44 45 49 53 55 60 62 63 65 66 68 70 79 80 86 94 101 105 106 109 110 112 115 119 121 123 125 126 127 129 131 134 141 142 143 144 148 151 164 169 171 172 173 174 176 177 178 180 181 182 183 197 200 202 204 208 211 212 213 214 215 220 224 226 231 238 244 250 255 257 258 261 262 264 265 266 269 270 271 276 277 278 279 281 282 285 294 302 304 314 321 325 a 2 3 8 9 17 25 27 29 32 33 37 41 42 44 45 49 53 55 59 60 62 63 65 66 68 70 79 80 86 94 101 105 106 109 110 112 115 119 121 123 125 126 129 131 134 141 142 143 144 148 151 164 169 171 172 173 174 176 177 178 180 181 182 183 197 200 202 204 208 211 212 213 214 215 220 224 226 231 238 244 250 255 257 258 261 262 264 265 266 269 270 271 276 277 278 279 281 282 285 294 302 304 314 321 325 a 2 3 8 9 17 25 27 29 32 33 37 41 42 44 45 49 53 55 59 60 62 63 65 66 68 79 80 86 94 101 105 106 109 110 112 115 119 121 123 125 126 129 131 134 140 141 142 143 144 148 151 164 169 171 172 173 174 176 177 178 180 181 182 183 197 200 202 204 208 211 212 213 214 215 220 224 226 231 238 244 250 255 257 258 261 262 264 265 266 269 270 271 276 277 278 279 281 282 285 294 302 304 314 321 325 a 2 3 8 9 17 25 27 29 32 33 37 41 42 44 45 49 53 55 59 60 62 63 65 66 68 79 80 86 94 101 105 106 109 110 112 115 119 121 123 125 126 129 131 134 140 141 142 143 144 148 151 164 169 171 172 173 174 176 177 178 180 181 182 183 197 200 202 204 208 211 212 213 214 215 220 224 226 231 238 244 250 255 257 258 261 262 264 265 266 269 271 276 277 278 279 281 282 285 294 302 304 308 314 321 325 a 2 3 8 9 17 25 27 29 32 33 37 41 42 44 45 49 53 55 59 60 62 63 65 66 68 79 80 86 94 101 105 106 109 110 112 115 118 119 121 123 125 126 129 131 134 140 141 142 143 144 148 151 164 169 171 172 173 174 176 177 178 180 181 182 183 200 202 204 208 211 212 213 214 215 220 224 226 231 238 244 250 255 257 258 261 262 264 265 266 269 271 276 277 278 279 281 282 285 294 302 304 308 314 321 325 a 2 3 8 9 17 25 27 29 32 33 37 41 42 44 45 49 53 55 59 60 62 63 65 66 68 79 80 86 94 101 105 106 109 110 112 115 118 119 121 123 125 126 129 131 134 140 141 142 143 144 148 151 164 169 171 172 173 174 176 177 178 180 181 182 183 200 202 204 208 211 212 213 215 220 224 226 231 238 244 250 255 257 258 261 262 264 265 266 269 271 276 277 278 279 281 282 285 294 302 304 308 314 317 321 325 a 2 3 8 9 17 25 27 29 32 33 37 41 42 44 45 49 53 55 59 60 62 63 65 66 68 79 80 86 94 101 105 106 109 110 112 114 115 118 119 121 123 125 126 129 131 134 140 141 142 143 144 148 164 169 171 172 173 174 176 177 178 180 181 182 183 200 202 204 208 211 212 213 215 220 224 226 231 238 244 250 255 257 258 261 262 264 265 266 269 271 276 277 278 279 281 282 285 294 302 304 308 314 317 321 325 a 2 3 8 9 17 25 27 29 32 33 37 41 42 44 45 49 53 55 59 60 62 63 65 66 68 79 80 86 94 101 105 106 109 110 112 114 115 118 119 121 123 125 126 129 131 134 140 141 142 143 144 148 164 169 171 172 173 174 176 177 178 180 181 182 183 186 200 202 204 208 211 212 213 215 220 224 226 231 238 244 250 255 257 258 261 262 264 265 266 269 271 276 277 278 279 282 285 294 302 304 308 314 317 321 325 a 2 3 8 9 17 25 27 29 32 33 37 41 42 44 45 49 53 55 59 60 62 63 65 66 68 74 79 80 86 94 101 105 106 109 110 112 114 115 118 119 121 123 125 126 129 131 134 140 141 142 143 144 148 164 169 171 172 174 176 177 178 180 181 182 183 186 200 202 204 208 211 212 213 215 220 224 226 231 238 244 250 255 257 258 261 262 264 265 266 269 271 276 277 278 279 282 285 294 302 304 308 314 317 321 325 a 2 3 8 9 17 25 27 29 32 33 37 41 42 44 45 49 53 55 59 60 62 63 65 66 68 74 79 80 86 94 95 101 105 106 109 110 112 114 115 118 119 121 123 125 126 129 131 134 140 141 142 143 144 148 164 169 171 172 174 176 177 178 180 181 182 183 186 202 204 208 211 212 213 215 220 224 226 231 238 244 250 255 257 258 261 262 264 265 266 269 271 276 277 278 279 282 285 294 302 304 308 314 317 321 325 a 2 3 8 9 17 23 25 27 29 32 33 37 41 42 44 45 49 53 55 59 60 62 63 65 66 68 74 79 80 86 94 95 101 105 106 109 110 112 114 115 118 119 121 123 125 126 129 131 134 140 141 142 143 144 148 164 169 171 174 176 177 178 180 181 182 183 186 202 204 208 211 212 213 215 220 224 226 231 238 244 250 255 257 258 261 262 264 265 266 269 271 276 277 278 279 282 285 294 302 304 308 314 317 321 325 a 2 3 8 9 17 23 25 27 29 32 33 37 41 42 44 45 49 53 55 59 60 62 63 65 66 68 74 79 80 86 95 101 105 106 109 110 112 114 115 118 119 121 123 125 126 129 131 134 140 141 142 143 144 148 164 169 171 174 176 177 178 180 181 182 183 186 202 204 208 211 212 213 215 220 224 226 231 234 238 244 250 255 257 258 261 262 264 265 266 269 271 276 277 278 279 282 285 294 302 304 308 314 317 321 325 a 2 3 8 9 13 17 23 25 27 29 32 33 37 41 42 44 45 49 53 55 59 60 62 63 65 66 68 74 79 86 95 101 105 106 109 110 112 114 115 118 119 121 123 125 126 129 131 134 140 141 142 143 144 148 164 169 171 174 176 177 178 180 181 182 183 186 202 204 208 211 212 213 215 220 224 226 231 234 238 244 250 255 257 258 261 262 264 265 266 269 271 276 277 278 279 282 285 294 302 304 308 314 317 321 325 a 2 3 9 13 17 23 25 27 29 32 33 37 41 42 44 45 49 53 55 59 60 62 63 65 66 68 74 79 86 95 101 105 106 109 110 112 114 115 118 119 121 123 125 126 129 131 134 140 141 142 143 144 148 164 169 171 174 176 177 178 180 181 182 183 186 202 204 208 211 212 213 215 220 224 226 231 234 238 244 250 255 257 258 261 262 264 265 266 269 271 275 276 277 278 279 282 285 294 302 304 308 314 317 321 325 a 2 3 9 13 17 23 25 27 29 32 33 37 41 42 44 45 49 53 55 59 60 62 63 65 66 68 73 74 79 86 95 101 105 106 109 110 112 114 115 118 119 121 123 125 126 129 131 134 140 141 142 143 144 148 164 169 171 174 176 177 178 180 181 182 183 186 202 204 208 211 212 213 215 220 224 226 231 234 238 244 250 255 257 258 261 262 264 265 266 271 275 276 277 278 279 282 285 294 302 304 308 314 317 321 325 a 2 3 9 13 17 23 25 27 29 32 33 37 41 42 44 45 49 53 55 59 62 63 65 66 68 73 74 79 86 92 95 101 105 106 109 110 112 114 115 118 119 121 123 125 126 129 131 134 140 141 142 143 144 148 164 169 171 174 176 177 178 180 181 182 183 186 202 204 208 211 212 213 215 220 224 226 231 234 238 244 250 255 257 258 261 262 264 265 266 271 275 276 277 278 279 282 285 294 302 304 308 314 317 321 325 a 2 3 9 13 17 23 25 27 29 30 32 33 37 41 42 44 45 49 53 55 59 62 63 65 66 68 73 74 79 86 92 95 101 105 106 109 110 112 114 115 118 119 123 125 126 129 131 134 140 141 142 143 144 148 164 169 171 174 176 177 178 180 181 182 183 186 202 204 208 211 212 213 215 220 224 226 231 234 238 244 250 255 257 258 261 262 264 265 266 271 275 276 277 278 279 282 285 294 302 304 308 314 317 321 325 a 2 3 9 13 17 23 25 27 29 30 32 33 37 41 42 44 45 49 53 55 59 62 63 65 66 68 73 74 79 86 92 95 101 105 106 109 110 112 114 115 118 119 123 125 126 129 131 134 140 141 142 143 144 145 148 164 169 171 174 176 177 178 180 181 182 183 186 202 204 208 212 213 215 220 224 226 231 234 238 244 250 255 257 258 261 262 264 265 266 271 275 276 277 278 279 282 285 294 302 304 308 314 317 321 325 a 2 3 9 13 17 23 25 27 29 30 32 33 37 41 42 44 45 49 53 55 59 62 63 65 66 68 73 74 79 86 92 95 101 105 106 109 110 112 114 115 118 119 123 125 126 129 131 134 140 141 142 143 144 145 148 164 169 171 174 176 177 178 180 181 183 186 202 204 208 212 213 215 220 224 226 231 234 238 244 250 255 257 258 261 262 264 265 266 271 275 276 277 278 279 282 285 294 296 302 304 308 314 317 321 325 a 2 3 9 13 17 23 25 27 29 30 32 33 37 41 42 44 45 49 53 55 59 62 63 65 66 68 73 74 79 86 92 95 101 105 106 109 110 112 114 115 118 119 123 125 126 129 131 133 134 140 141 142 143 144 145 148 164 169 171 174 176 177 178 180 181 183 186 202 204 208 212 213 215 220 224 226 231 234 238 244 250 257 258 261 262 264 265 266 271 275 276 277 278 279 282 285 294 296 302 304 308 314 317 321 325 c Step: 128 Command being timed: "python3 run_3.py --existent --na -t4 /benchmark/random_instance/random_instance025_graph002.col /benchmark/random_instance/random_instance025_graph002_01.dat" User time (seconds): 538.39 System time (seconds): 12.38 Percent of CPU this job got: 150% Elapsed (wall clock) time (h:mm:ss or m:ss): 6:05.48 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): 20698300 Average resident set size (kbytes): 0 Major (requiring I/O) page faults: 2 Minor (reclaiming a frame) page faults: 7265827 Voluntary context switches: 1453755 Involuntary context switches: 965 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 12:14:36 2023]