#BEGIN: [Mon Sep 4 14:34:10 2023] #HOST: s10 #TIMELIMIT: 1800 #MEMLIMIT: 0 #SOLVER: existent-wallclock-banbaralab2-existent3 #INSTANCE1: /benchmark/random_instance/random_instance026_graph001.col #INSTANCE2: /benchmark/random_instance/random_instance026_graph001_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_instance026_graph001.col /benchmark/random_instance/random_instance026_graph001_01.dat c /benchmark/random_instance/random_instance026_graph001.col c /benchmark/random_instance/random_instance026_graph001_01.dat *** Info : (clingo): INTERRUPTED by signal! *** Info : (clingo): Sending shutdown signal... *** ERROR: (clingo): solving stopped by signal *** Info : (clingo): Shutdown completed in 0.000 seconds s 221 117 65 104 149 38 328 11 291 61 313 97 63 66 319 332 28 16 268 114 21 17 6 217 333 158 176 240 150 203 307 135 207 73 82 85 289 322 278 170 98 317 264 42 25 127 208 184 290 75 100 125 166 37 230 52 338 287 183 228 152 301 33 157 118 321 56 200 109 238 131 256 312 251 303 253 81 331 300 136 102 202 224 285 70 113 178 68 298 87 258 59 169 191 337 280 181 212 159 294 57 144 64 54 110 92 132 243 215 315 t 256 217 79 134 107 119 231 192 153 246 233 23 71 13 172 44 45 301 84 190 51 270 321 274 329 7 65 105 117 24 306 175 312 295 238 286 35 59 307 88 110 204 131 43 279 225 50 315 52 74 282 112 205 338 103 135 133 158 82 169 62 11 37 271 318 277 48 292 148 159 281 201 157 36 331 188 259 288 320 104 15 123 85 218 186 208 87 61 212 75 213 180 215 313 324 28 150 273 12 66 302 280 257 5 219 243 21 305 223 258 a YES a 6 11 16 17 21 25 28 33 37 38 42 52 54 56 57 59 61 63 64 65 66 68 70 73 75 81 82 85 87 92 97 98 100 102 104 109 110 113 114 117 118 125 127 131 132 135 136 144 149 150 152 157 158 159 166 169 170 176 178 181 183 184 191 200 202 203 207 208 212 215 217 221 224 228 230 238 240 243 251 253 256 258 264 268 278 280 285 287 289 290 291 294 298 300 301 303 307 312 313 315 317 319 321 322 328 331 332 333 337 338 a 6 11 16 17 21 25 28 33 37 38 42 52 54 56 57 59 61 63 64 65 66 68 70 73 75 81 82 85 87 92 97 98 100 102 104 109 110 113 114 117 118 125 127 131 132 135 136 144 147 149 150 152 157 158 159 166 169 170 176 178 181 183 184 191 200 202 203 207 208 212 215 217 221 224 228 230 238 240 243 251 253 256 258 264 268 278 280 285 287 289 290 291 294 298 300 301 303 307 312 313 315 319 321 322 328 331 332 333 337 338 a 6 11 16 17 21 25 28 33 37 38 42 52 54 56 57 59 61 63 64 65 66 68 70 73 75 81 82 85 87 88 92 97 98 100 102 104 109 110 113 114 117 118 125 127 131 132 135 136 144 147 149 150 152 157 158 159 166 169 170 176 178 181 183 184 191 200 202 203 207 208 212 215 217 221 224 228 230 238 240 243 251 253 256 258 264 278 280 285 287 289 290 291 294 298 300 301 303 307 312 313 315 319 321 322 328 331 332 333 337 338 a 5 11 16 17 21 25 28 33 37 38 42 52 54 56 57 59 61 63 64 65 66 68 70 73 75 81 82 85 87 88 92 97 98 100 102 104 109 110 113 114 117 118 125 127 131 132 135 136 144 147 149 150 152 157 158 159 166 169 170 176 178 181 183 184 191 200 202 203 207 208 212 215 217 221 224 228 230 238 240 243 251 253 256 258 264 278 280 285 287 289 290 291 294 298 300 301 303 307 312 313 315 319 321 322 328 331 332 333 337 338 a 5 11 15 16 17 21 25 28 33 37 38 42 52 54 56 57 59 61 63 64 65 66 68 70 73 75 81 82 85 87 88 92 97 98 100 102 104 109 110 113 114 117 118 125 127 131 132 135 136 147 149 150 152 157 158 159 166 169 170 176 178 181 183 184 191 200 202 203 207 208 212 215 217 221 224 228 230 238 240 243 251 253 256 258 264 278 280 285 287 289 290 291 294 298 300 301 303 307 312 313 315 319 321 322 328 331 332 333 337 338 a 5 11 15 16 17 21 25 28 33 37 38 42 52 54 56 57 59 61 63 64 65 66 68 70 73 75 81 85 87 88 92 97 98 100 102 104 109 110 113 114 116 117 118 125 127 131 132 135 136 147 149 150 152 157 158 159 166 169 170 176 178 181 183 184 191 200 202 203 207 208 212 215 217 221 224 228 230 238 240 243 251 253 256 258 264 278 280 285 287 289 290 291 294 298 300 301 303 307 312 313 315 319 321 322 328 331 332 333 337 338 a 5 11 15 17 21 25 28 33 37 38 42 52 54 56 57 59 61 63 64 65 66 68 70 73 75 81 85 87 88 92 97 98 100 102 104 109 110 113 114 116 117 118 125 127 131 132 135 136 147 149 150 152 157 158 159 166 169 170 175 176 178 181 183 184 191 200 202 203 207 208 212 215 217 221 224 228 230 238 240 243 251 253 256 258 264 278 280 285 287 289 290 291 294 298 300 301 303 307 312 313 315 319 321 322 328 331 332 333 337 338 a 5 11 15 17 21 25 28 33 37 38 42 52 54 56 57 59 61 63 64 65 66 68 70 73 75 81 85 87 88 92 97 98 100 102 104 109 110 113 114 116 117 118 124 125 127 131 132 135 136 147 149 150 152 157 158 159 166 169 170 175 176 178 181 183 184 191 200 202 203 207 208 212 215 217 221 224 228 230 238 240 243 251 253 256 258 264 278 280 285 287 289 290 291 294 298 301 303 307 312 313 315 319 321 322 328 331 332 333 337 338 a 5 11 15 16 17 21 25 28 33 37 38 42 52 54 56 57 59 61 63 64 65 66 68 70 73 75 81 85 87 88 92 97 98 100 102 104 109 110 113 114 116 117 118 124 125 127 131 132 135 136 147 149 150 152 157 158 159 166 169 170 175 176 178 181 183 184 191 200 202 203 207 208 212 215 217 221 224 228 230 238 240 243 251 253 256 258 264 278 280 285 287 289 290 291 294 298 301 303 307 312 313 315 319 321 322 328 331 332 333 337 a 5 11 15 16 17 21 25 28 33 37 38 42 52 54 56 57 59 61 63 64 65 66 68 70 73 75 81 85 87 88 92 98 100 102 104 109 110 113 114 116 117 118 124 125 127 131 132 135 136 144 147 149 150 152 157 158 159 166 169 170 175 176 178 181 183 184 191 200 202 203 207 208 212 215 217 221 224 228 230 238 240 243 251 253 256 258 264 278 280 285 287 289 290 291 294 298 301 303 307 312 313 315 319 321 322 328 331 332 333 337 a 5 11 15 16 17 21 25 28 33 37 38 42 52 54 56 57 59 61 63 64 65 66 68 70 73 75 81 85 87 88 92 98 100 102 104 109 110 113 114 116 117 118 124 125 127 131 132 135 136 144 147 149 150 152 157 158 159 166 169 170 175 176 178 181 183 184 191 200 202 203 207 208 212 215 217 221 224 228 230 238 240 243 251 253 256 258 264 278 280 285 287 289 290 291 294 298 300 301 303 307 312 313 315 319 321 322 328 331 332 333 a 5 11 15 16 17 21 25 28 33 37 38 42 52 54 56 57 59 61 63 64 65 66 68 70 73 75 81 85 87 88 92 98 100 102 104 109 110 112 113 114 116 117 118 124 125 127 131 132 135 136 144 147 149 150 152 157 158 159 166 169 170 175 176 178 181 183 184 191 200 202 203 207 208 212 215 217 221 224 228 230 238 240 243 251 256 258 264 278 280 285 287 289 290 291 294 298 300 301 303 307 312 313 315 319 321 322 328 331 332 333 a 5 11 15 16 17 21 25 28 33 37 38 42 52 54 56 57 59 61 63 64 65 66 68 70 73 75 81 85 87 88 92 98 100 102 104 109 110 112 113 114 116 117 118 124 125 127 131 132 135 136 144 147 149 150 152 157 158 159 166 169 170 175 176 178 181 183 184 191 200 202 203 207 208 212 215 217 221 224 228 230 238 240 243 251 256 258 264 278 280 285 287 289 290 291 294 298 300 301 303 307 312 313 315 319 321 322 328 332 333 338 a 5 11 15 16 17 21 25 28 33 37 38 42 52 54 56 57 59 61 63 64 65 66 68 70 73 75 81 85 87 88 92 98 100 102 104 109 110 112 113 114 116 117 118 124 125 127 131 132 135 136 144 147 149 150 152 157 158 159 166 169 170 175 176 178 181 183 184 191 200 202 203 207 208 212 215 217 221 224 228 230 238 240 243 251 253 256 258 264 278 280 285 287 289 290 291 294 298 300 301 303 307 312 313 315 319 321 322 328 333 338 a 5 11 15 16 17 21 25 28 33 37 38 42 52 54 56 57 59 61 63 64 65 66 68 70 73 75 81 85 87 92 98 100 102 104 109 110 112 113 114 116 117 118 124 125 127 131 132 135 136 144 147 149 150 152 157 158 159 166 169 170 175 176 178 181 183 184 191 200 202 203 207 208 212 215 217 221 224 228 230 238 240 243 251 253 256 258 264 278 280 285 287 289 290 291 294 298 300 301 303 307 312 313 315 319 321 322 328 333 337 338 a 5 11 15 16 17 21 25 28 33 37 38 42 52 54 56 57 59 61 63 64 65 66 68 70 73 75 81 85 87 92 98 100 102 104 109 110 112 113 114 116 117 118 124 125 127 131 132 135 136 144 147 149 150 152 157 158 159 166 169 170 175 176 178 181 183 184 191 200 202 203 207 208 212 215 217 221 224 227 228 230 238 240 243 251 253 256 258 264 278 280 285 287 289 290 291 294 298 300 301 303 307 312 313 315 319 321 322 328 337 338 a 5 11 15 16 17 21 25 28 33 37 38 42 52 54 56 57 59 61 63 64 65 66 68 70 73 75 81 85 87 92 98 100 102 104 109 110 112 113 114 116 117 118 124 125 127 131 132 135 136 144 147 149 150 152 157 158 159 166 169 170 175 176 178 181 183 184 191 200 202 203 207 208 212 215 217 221 224 227 228 230 238 240 243 251 253 256 258 264 278 280 285 287 289 290 291 294 298 300 301 303 307 312 315 319 321 322 328 332 337 338 a 5 11 15 16 17 21 25 28 33 37 38 42 52 54 56 57 59 61 63 64 65 66 68 70 73 75 81 85 87 92 98 100 102 104 109 110 112 113 114 116 117 118 124 125 127 131 132 135 136 144 147 149 150 152 157 158 159 166 169 170 175 176 178 181 183 184 191 200 202 203 207 208 212 215 216 217 221 224 227 228 230 238 240 243 251 253 256 258 278 280 285 287 289 290 291 294 298 300 301 303 307 312 315 319 321 322 328 332 337 338 a 5 11 15 16 17 21 25 28 33 37 38 42 52 54 56 57 59 61 63 64 65 66 68 70 73 75 81 85 87 92 98 100 102 104 109 110 112 113 114 116 117 118 124 125 127 131 132 135 136 144 147 149 150 152 157 158 159 166 169 170 175 176 178 181 183 184 191 200 202 203 207 208 212 215 216 217 221 224 227 228 230 238 240 243 251 253 256 258 278 280 285 286 287 289 290 291 294 300 301 303 307 312 315 319 321 322 328 332 337 338 a 5 11 15 16 17 21 25 28 33 37 38 42 52 54 56 57 59 61 63 64 65 66 68 70 73 75 81 85 87 92 96 98 100 102 104 109 110 112 113 114 116 117 118 124 125 127 131 132 135 136 144 147 149 150 152 157 158 159 166 169 170 175 176 178 181 183 184 191 200 202 203 207 208 212 215 216 217 221 224 227 228 230 238 240 243 251 253 256 258 278 280 285 286 287 289 290 291 294 300 301 303 307 312 315 319 321 328 332 337 338 a 5 11 15 16 17 21 25 28 33 37 38 42 52 54 56 57 59 61 63 64 65 66 68 70 73 75 79 81 85 87 92 96 98 100 102 104 109 110 112 113 114 116 117 118 124 125 127 131 132 135 136 144 147 149 150 152 157 158 159 166 169 170 175 176 178 181 183 184 191 200 202 203 207 208 212 215 216 217 221 224 227 228 230 238 240 243 251 253 256 258 278 280 285 286 287 289 290 291 294 300 301 303 307 312 315 319 321 328 337 338 a 5 11 15 16 17 21 25 28 33 37 38 42 52 54 56 57 59 61 63 64 65 66 68 70 73 75 79 81 85 87 92 96 98 100 102 104 109 110 112 113 114 116 117 118 124 125 127 131 132 135 136 144 147 149 150 152 157 158 159 166 169 170 175 176 178 181 183 184 191 200 202 203 207 208 212 215 217 221 224 227 228 230 238 240 243 251 253 256 258 264 278 280 285 286 287 289 290 291 294 300 301 303 307 312 315 319 321 328 337 338 a 5 11 15 16 17 21 25 28 33 37 38 42 43 52 54 56 57 59 61 63 64 65 66 68 70 73 75 79 81 85 87 92 96 98 100 102 104 109 110 112 113 114 116 117 118 124 125 127 131 132 135 136 144 147 149 150 152 157 158 159 166 169 170 175 176 178 181 183 184 191 200 202 203 207 208 212 215 217 221 224 227 228 230 238 240 243 251 253 256 258 264 278 280 285 286 287 289 291 294 300 301 303 307 312 315 319 321 328 337 338 a 5 11 15 16 17 21 25 28 33 37 38 42 43 52 54 56 57 59 61 63 64 65 66 68 70 73 75 79 81 85 87 92 96 98 100 102 104 109 110 112 113 114 116 117 118 124 125 127 131 132 135 136 144 147 149 150 152 157 158 159 166 169 170 173 175 176 178 181 183 184 191 200 202 203 207 208 212 215 217 221 224 227 228 230 238 240 243 251 253 258 264 278 280 285 286 287 289 291 294 300 301 303 307 312 315 319 321 328 337 338 a 5 11 15 16 17 21 25 28 33 37 38 42 43 52 54 56 57 59 61 63 64 65 66 68 70 71 73 75 79 81 85 87 92 96 98 100 102 104 109 110 112 113 114 116 117 118 124 125 127 131 132 135 136 144 147 149 150 152 157 158 159 166 169 170 173 175 176 178 181 183 184 191 200 202 203 207 208 212 215 217 221 224 227 228 230 238 240 243 251 253 258 264 278 280 285 286 287 289 291 294 300 301 303 307 312 315 319 321 328 337 a 5 11 15 16 17 21 25 28 33 37 38 42 43 52 54 56 57 59 61 63 64 65 66 68 70 71 73 75 79 81 85 87 92 96 98 100 102 104 109 110 112 113 114 116 117 118 124 125 127 131 132 135 136 144 147 149 150 152 157 158 159 166 169 170 173 175 176 178 181 183 184 191 200 202 203 207 208 212 215 217 221 224 227 228 230 238 240 243 251 253 256 258 264 278 280 285 286 287 289 291 294 300 301 303 307 312 315 319 321 337 a 5 11 15 16 17 21 25 28 33 37 38 42 43 52 54 56 57 59 61 63 64 65 66 68 70 71 73 75 79 81 85 87 92 96 98 100 102 104 109 110 112 113 114 116 117 118 124 125 127 131 132 135 136 144 147 149 150 152 157 158 159 166 169 170 173 175 176 178 181 183 184 191 200 202 203 207 208 212 215 217 221 224 227 228 230 238 240 243 251 253 256 258 264 278 280 285 286 287 289 291 294 300 301 303 307 312 319 321 333 337 a 5 11 15 16 17 21 25 28 33 37 38 42 43 52 54 56 57 59 61 63 64 65 66 68 70 71 73 75 79 81 85 87 92 96 98 100 102 104 109 110 112 113 114 116 117 118 124 125 127 131 132 135 136 144 147 149 150 152 157 158 159 166 169 170 173 175 176 178 181 183 184 191 200 202 203 207 208 212 215 217 221 224 227 228 230 238 240 243 251 253 256 258 264 278 280 285 286 287 289 291 294 300 301 303 312 319 321 333 337 338 a 5 11 15 16 17 21 25 28 33 37 38 42 43 52 54 56 57 59 61 63 64 65 66 68 70 71 73 75 79 81 85 87 92 96 98 100 102 104 109 110 112 113 114 116 117 118 124 125 127 131 132 135 136 144 147 149 150 152 157 158 159 166 169 170 173 175 176 178 181 183 184 191 200 202 203 207 208 212 215 217 221 224 227 228 230 238 240 243 251 253 256 258 264 278 280 285 286 287 289 291 294 300 301 303 312 319 321 328 337 338 a 5 11 15 16 17 21 25 28 33 37 38 42 43 52 54 56 57 59 61 63 64 65 66 68 70 71 73 75 79 81 85 87 92 96 98 100 102 104 109 110 112 113 114 116 117 118 124 125 127 131 132 135 136 144 147 149 150 152 157 158 159 166 169 170 173 175 176 178 181 183 184 191 200 202 203 207 208 212 215 217 221 224 227 228 230 238 240 243 251 253 256 258 264 277 278 280 285 286 287 289 291 294 300 301 303 312 319 321 328 337 a 5 11 15 16 17 21 25 28 33 37 38 42 43 52 54 56 57 59 61 63 64 65 66 68 70 71 73 75 79 81 85 87 92 96 98 100 102 104 109 110 112 113 114 116 117 118 124 125 127 131 132 135 136 144 147 149 150 152 157 158 159 166 169 170 173 175 176 178 181 183 184 191 200 202 203 207 208 212 215 217 221 224 227 228 230 238 240 243 251 253 256 258 264 277 278 280 285 286 287 289 291 294 300 301 303 307 312 319 321 337 a 5 11 16 17 21 25 28 33 37 38 42 43 52 54 56 57 59 61 63 64 65 66 68 70 71 73 75 79 81 85 87 92 96 98 100 102 104 109 110 112 113 114 116 117 118 124 125 127 131 132 135 136 144 147 149 150 152 157 158 159 166 169 170 173 175 176 178 181 183 184 191 200 202 203 207 208 212 215 217 218 221 224 227 228 230 238 240 243 251 253 256 258 264 277 278 280 285 286 287 289 291 294 300 301 303 307 312 319 321 337 a 5 11 16 17 21 25 28 33 37 38 42 43 52 54 56 57 59 61 63 64 65 66 68 70 71 73 75 79 81 85 87 92 96 98 100 102 104 109 110 112 113 114 116 117 118 124 125 127 131 132 135 136 144 147 149 150 152 157 158 159 166 169 170 173 175 176 178 181 183 184 191 200 202 203 207 208 212 215 217 218 221 224 228 230 238 240 243 251 253 256 258 264 277 278 280 285 286 287 289 291 294 300 301 303 307 312 319 320 321 337 a 5 11 16 17 21 25 28 33 37 38 42 43 52 54 56 57 59 61 63 64 65 66 68 70 71 73 75 79 81 85 87 92 96 98 100 102 104 109 110 112 113 114 116 117 118 124 125 127 131 132 135 136 144 147 149 150 152 157 158 159 166 169 170 175 176 178 181 183 184 191 200 202 203 207 208 212 215 217 218 221 224 228 230 238 240 243 251 253 256 258 264 277 278 280 285 286 287 289 291 294 300 301 303 307 312 319 320 321 333 337 a 5 11 16 17 21 25 28 33 37 38 42 43 52 54 56 57 59 61 63 64 65 66 68 70 71 73 75 79 81 85 87 92 96 98 100 102 104 109 110 112 113 114 116 117 118 124 125 127 131 132 135 136 144 147 149 150 152 157 158 159 166 169 170 175 176 178 181 183 184 191 200 202 203 207 208 212 215 216 217 218 221 224 228 230 238 240 243 251 253 256 258 277 278 280 285 286 287 289 291 294 300 301 303 307 312 319 320 321 333 337 a 5 11 16 17 21 25 28 33 37 38 42 43 52 54 56 57 59 61 63 64 65 66 68 70 71 73 75 79 81 85 87 92 96 98 100 102 104 109 110 113 114 116 117 118 124 125 127 131 132 135 136 144 147 149 150 152 157 158 159 166 169 170 175 176 178 181 183 184 191 200 202 203 207 208 212 215 216 217 218 221 224 228 230 238 240 243 251 253 256 258 277 278 280 285 286 287 289 291 294 300 301 303 307 312 315 319 320 321 333 337 a 5 11 16 17 21 25 28 33 37 38 42 43 52 54 56 57 59 61 63 64 65 66 68 70 71 73 75 79 81 85 87 92 96 98 100 102 104 109 110 113 114 116 117 118 124 125 127 131 132 135 136 144 147 149 150 152 157 158 159 166 169 170 175 176 178 181 183 184 191 200 202 203 207 208 212 215 216 217 218 221 223 224 228 230 238 240 243 251 253 256 258 277 278 280 285 286 287 289 291 294 300 301 303 307 312 315 319 320 321 333 a 5 11 15 16 17 21 25 28 33 37 38 42 43 52 54 56 57 59 61 63 64 65 66 68 70 71 73 75 79 81 85 87 92 96 98 100 102 104 109 110 113 114 116 117 118 124 125 127 131 132 135 136 144 147 149 150 152 157 158 159 166 169 170 175 176 178 181 183 184 191 200 202 203 207 208 212 215 216 217 218 221 223 224 228 230 238 240 243 251 253 256 258 277 278 280 285 286 287 289 291 294 300 301 303 307 312 315 319 320 321 a 5 11 15 16 17 21 25 28 33 37 38 42 43 52 54 56 57 59 61 63 64 65 66 68 70 71 73 75 79 81 85 87 92 96 98 100 102 104 109 110 113 114 116 117 118 124 125 127 131 132 135 136 144 147 149 150 152 157 158 159 166 169 170 175 176 178 181 183 184 191 200 202 203 207 208 212 215 216 217 218 221 223 224 228 230 238 240 243 251 253 256 258 277 278 280 285 286 287 289 291 294 300 301 303 307 312 315 319 320 338 a 5 11 15 16 17 21 25 28 33 37 38 42 43 52 54 56 57 59 61 63 64 65 66 68 70 71 73 75 79 81 85 87 92 96 98 100 102 104 109 110 113 114 116 117 118 124 125 127 131 132 135 136 144 147 149 150 152 157 158 159 166 169 170 175 176 178 181 183 184 191 200 202 203 207 208 212 215 216 217 218 221 223 224 228 230 238 240 243 251 253 256 258 277 278 280 285 286 287 289 291 294 300 301 303 307 312 315 319 333 338 a 5 11 15 16 17 21 25 28 33 37 38 42 43 52 54 56 57 59 61 64 65 66 68 70 71 73 75 79 81 85 87 92 96 98 100 102 104 109 110 112 113 114 116 117 118 124 125 127 131 132 135 136 144 147 149 150 152 157 158 159 166 169 170 175 176 178 181 183 184 191 200 202 203 207 208 212 215 216 217 218 221 223 224 228 230 238 240 243 251 253 256 258 277 278 280 285 286 287 289 291 294 300 301 303 307 312 315 319 333 338 a 5 11 15 16 17 21 25 28 33 37 38 42 43 52 54 56 57 59 61 64 65 66 68 70 71 73 75 79 81 85 87 92 96 98 100 102 104 109 110 112 113 114 116 117 118 124 125 127 131 132 135 136 144 147 149 150 152 157 158 159 166 169 170 175 176 178 181 183 184 191 200 202 203 207 208 212 215 216 217 218 221 223 224 228 230 238 240 243 251 253 256 258 277 278 280 285 286 287 289 291 294 300 301 303 307 312 315 319 321 333 a 5 11 15 16 17 21 25 28 33 37 38 42 43 52 54 56 57 59 61 65 66 68 70 71 73 75 79 81 85 87 92 96 98 100 102 104 109 110 112 113 114 116 117 118 124 125 127 131 132 135 136 144 147 149 150 152 157 158 159 166 169 170 175 176 178 181 183 184 191 200 202 203 207 208 212 215 216 217 218 221 223 224 228 230 238 240 243 251 253 256 258 277 278 280 285 286 287 289 291 294 300 301 303 307 312 315 319 321 333 337 a 5 11 16 17 21 25 28 33 37 38 42 43 52 54 56 57 59 61 65 66 68 70 71 73 75 79 81 82 85 87 92 96 98 100 102 104 109 110 112 113 114 116 117 118 124 125 127 131 132 135 136 144 147 149 150 152 157 158 159 166 169 170 175 176 178 181 183 184 191 200 202 203 207 208 212 215 216 217 218 221 223 224 228 230 238 240 243 251 253 256 258 277 278 280 285 286 287 289 291 294 300 301 303 307 312 315 319 321 333 337 a 5 11 16 17 21 25 28 33 37 38 42 43 52 54 56 57 59 61 65 66 68 70 71 73 75 79 81 82 85 87 92 96 98 100 102 104 109 110 112 113 114 116 117 118 124 125 127 131 132 135 136 144 147 149 150 152 157 158 159 166 169 170 175 176 178 181 183 184 191 200 202 203 207 208 212 215 216 217 218 221 224 228 230 238 240 243 251 253 256 258 277 278 280 285 286 287 289 291 294 300 301 303 307 312 315 319 321 328 333 337 a 5 11 16 17 21 25 28 33 37 38 42 43 52 54 56 57 59 61 65 66 68 70 71 73 75 79 81 82 85 87 92 96 98 100 102 104 109 110 112 113 114 116 117 118 124 125 127 131 132 135 136 144 147 149 150 152 157 158 159 166 169 170 175 176 178 181 183 184 191 200 202 203 207 208 212 215 216 217 218 221 224 228 230 238 240 243 251 253 256 258 277 278 280 285 286 287 289 291 294 300 301 303 307 312 315 319 320 321 328 333 a 5 11 16 17 21 25 28 33 37 38 42 43 52 54 56 57 59 61 65 66 68 70 71 73 75 79 81 82 85 87 92 96 98 100 102 104 109 110 112 113 114 116 117 118 124 125 127 131 132 135 136 144 147 149 150 152 157 158 159 166 169 170 175 176 178 181 183 184 191 200 202 203 207 208 212 215 216 217 218 221 224 228 230 238 240 243 251 253 256 258 277 278 280 285 286 287 289 291 294 300 301 303 307 312 315 319 320 321 328 338 a 5 11 16 17 21 25 28 33 37 38 42 43 52 54 56 57 59 61 64 65 66 68 70 71 73 75 79 81 82 85 87 92 96 98 100 102 104 109 110 112 113 114 116 117 118 124 125 127 131 132 135 136 144 147 149 150 152 157 158 159 166 169 170 175 176 178 181 183 184 191 200 202 203 207 208 212 215 216 217 218 221 224 228 230 238 240 243 251 253 256 258 277 278 280 285 286 287 289 291 294 300 301 303 307 312 315 319 320 321 338 a 5 11 16 17 21 25 28 33 37 38 42 43 52 54 56 57 59 61 64 65 66 68 70 71 73 75 79 81 82 85 87 92 96 98 100 102 104 109 110 112 113 114 116 117 118 124 127 131 132 135 136 144 147 149 150 152 157 158 159 166 169 170 175 176 178 181 183 184 191 200 202 203 207 208 212 215 216 217 218 221 224 228 230 238 240 243 251 253 256 258 277 278 280 285 286 287 289 291 294 300 301 303 307 312 315 319 320 321 337 338 a 5 11 16 17 21 25 28 33 37 38 42 43 52 54 56 57 59 61 64 65 66 68 70 71 73 75 79 81 82 85 87 92 96 98 100 102 104 109 110 112 113 114 116 118 124 127 128 131 132 135 136 144 147 149 150 152 157 158 159 166 169 170 175 176 178 181 183 184 191 200 202 203 207 208 212 215 216 217 218 221 224 228 230 238 240 243 251 253 256 258 277 278 280 285 286 287 289 291 294 300 301 303 307 312 315 319 320 321 337 338 a 5 11 16 17 21 25 28 33 37 38 42 43 52 54 56 57 59 61 64 65 66 68 70 71 73 75 79 81 82 85 87 92 96 98 100 102 104 109 110 112 113 114 116 118 124 127 128 131 132 135 136 144 147 149 150 152 157 158 159 166 169 170 175 176 178 181 183 184 191 200 202 203 207 208 209 212 215 217 218 221 224 228 230 238 240 243 251 253 256 258 277 278 280 285 286 287 289 291 294 300 301 303 307 312 315 319 320 321 337 338 a 5 11 16 17 21 25 28 33 37 38 42 43 52 54 56 57 59 61 64 65 66 68 70 71 73 75 79 81 82 85 87 92 96 98 100 102 104 109 110 112 113 114 116 118 124 127 128 131 132 135 136 144 147 149 150 152 157 158 159 166 169 170 175 176 178 181 183 184 191 200 202 203 207 208 209 212 215 217 218 221 224 228 230 238 239 240 243 251 253 256 258 277 278 280 285 286 287 289 291 294 300 301 303 307 312 315 319 320 321 338 a 5 11 16 17 21 25 28 33 37 38 42 43 52 54 56 57 59 61 64 65 66 68 70 71 73 75 79 81 82 85 87 92 96 98 100 102 104 109 110 112 113 114 116 118 124 127 128 131 132 135 136 144 147 149 150 152 157 158 159 166 169 170 175 176 178 181 183 184 191 200 202 203 207 208 212 215 216 217 218 221 224 228 230 238 239 240 243 251 253 256 258 277 278 280 285 286 287 289 291 294 300 301 303 307 312 315 319 320 321 338 a 5 11 16 17 21 25 28 33 37 38 42 43 52 54 56 57 59 61 64 65 66 68 70 71 73 75 79 81 82 85 87 92 96 98 100 102 104 109 110 112 113 114 116 118 124 127 128 131 132 135 136 144 147 149 150 152 157 158 159 166 169 170 175 176 178 181 183 184 191 200 202 203 207 208 212 215 216 217 218 221 224 228 230 238 239 240 243 251 253 256 258 277 278 280 285 286 287 289 294 300 301 303 307 312 315 319 320 321 337 338 a 5 11 16 17 21 25 28 33 37 38 42 43 52 54 56 57 59 61 64 65 66 68 70 71 73 75 79 81 82 85 87 92 96 98 100 102 104 109 110 112 113 114 116 118 124 127 128 131 132 135 136 144 147 149 150 152 157 158 159 166 169 170 175 176 178 181 183 184 191 200 202 203 207 208 212 216 217 218 221 224 228 230 238 239 240 243 251 253 256 258 277 278 280 285 286 287 289 294 300 301 303 304 307 312 315 319 320 321 337 338 a 5 11 16 17 21 25 28 33 37 38 42 43 52 54 56 57 59 61 64 65 66 68 70 71 73 75 79 81 82 85 87 92 96 98 100 102 104 109 110 112 113 114 116 118 124 127 128 131 132 135 136 144 147 149 150 152 157 158 159 166 169 170 175 176 178 181 183 184 191 200 202 203 207 208 209 212 217 218 221 224 228 230 238 239 240 243 251 253 256 258 277 278 280 285 286 287 289 294 300 301 303 304 307 312 315 319 320 321 337 338 a 5 11 15 16 17 21 25 28 33 37 38 42 43 52 54 56 57 59 61 64 65 66 68 70 71 73 75 79 81 82 85 87 92 96 98 100 102 104 109 110 112 113 114 116 118 124 127 128 131 132 135 136 144 147 149 150 152 157 158 159 166 169 170 175 176 178 181 183 184 191 200 202 203 207 208 209 212 217 218 221 224 228 230 238 239 240 243 251 253 256 258 277 278 280 285 286 287 289 294 300 301 303 304 307 312 315 319 320 337 338 a 5 11 15 16 17 21 25 28 33 37 38 42 43 52 54 56 57 59 61 64 65 66 68 70 71 73 75 79 81 82 85 87 92 96 98 100 102 104 109 110 112 113 114 116 117 118 124 127 128 131 132 135 136 144 147 149 150 152 157 158 159 166 169 170 175 176 178 181 183 184 191 200 202 203 207 208 209 212 217 218 221 224 228 230 238 239 240 243 251 253 256 258 277 278 280 285 286 287 289 294 300 301 303 304 307 312 315 319 320 337 a 5 11 15 16 17 21 25 28 33 37 38 42 43 52 54 56 57 59 61 64 65 66 68 70 71 73 75 79 81 82 85 87 92 96 98 100 102 104 109 110 112 113 114 116 117 118 124 127 128 131 132 135 136 144 147 149 150 152 157 158 159 166 169 170 175 176 178 181 183 184 191 200 202 203 207 208 209 212 217 218 221 224 228 230 238 239 240 243 251 253 256 258 277 278 280 285 286 287 289 291 294 300 301 303 304 307 312 315 319 337 a 5 11 15 16 17 21 25 28 33 37 38 42 43 52 54 56 57 59 61 64 65 66 68 70 71 73 75 79 81 82 85 87 92 96 98 100 102 104 109 110 112 113 114 116 117 118 124 127 128 131 132 135 136 144 147 149 150 152 157 158 159 166 169 175 176 178 181 183 184 191 200 202 203 207 208 209 212 217 218 221 224 228 230 238 239 240 243 251 253 256 258 264 277 278 280 285 286 287 289 291 294 300 301 303 304 307 312 315 319 337 a 5 11 15 16 17 21 25 28 33 37 38 42 52 54 56 57 59 61 64 65 66 68 70 71 73 75 79 81 82 85 87 92 96 98 100 102 104 109 110 112 113 114 116 117 118 124 127 128 131 132 135 136 144 147 149 150 152 157 158 159 166 169 175 176 178 181 183 184 191 200 202 203 207 208 209 212 215 217 218 221 224 228 230 238 239 240 243 251 253 256 258 264 277 278 280 285 286 287 289 291 294 300 301 303 304 307 312 315 319 337 a 5 11 15 16 17 21 25 28 33 37 38 42 52 54 56 57 59 61 64 65 66 68 70 71 73 75 79 81 82 85 87 92 96 98 100 102 104 109 110 112 113 114 117 118 124 127 128 131 132 135 136 144 147 149 150 152 157 158 159 166 169 170 175 176 178 181 183 184 191 200 202 203 207 208 209 212 215 217 218 221 224 228 230 238 239 240 243 251 253 256 258 264 277 278 280 285 286 287 289 291 294 300 301 303 304 307 312 315 319 337 a 5 11 15 16 17 21 25 28 33 37 38 42 52 54 56 57 59 61 64 65 66 68 70 71 73 75 79 81 82 85 87 92 96 98 100 102 104 109 110 112 113 114 117 118 124 127 128 131 132 135 136 144 147 149 150 152 157 158 159 166 169 170 175 176 178 181 183 184 191 200 202 203 207 208 209 212 215 217 218 221 224 228 230 238 239 240 243 251 253 256 258 264 277 278 280 285 286 287 289 291 294 300 301 303 304 307 312 313 315 319 a 5 11 15 16 17 21 25 28 33 37 38 42 52 54 56 57 59 61 64 65 66 68 70 71 73 75 79 81 82 85 87 92 96 98 100 102 104 109 110 112 113 114 117 118 124 127 128 131 132 133 135 136 144 147 149 150 152 157 158 159 166 169 170 175 176 178 181 183 184 191 200 202 203 208 209 212 215 217 218 221 224 228 230 238 239 240 243 251 253 256 258 264 277 278 280 285 286 287 289 291 294 300 301 303 304 307 312 313 315 319 a 5 11 15 16 17 21 25 28 33 37 38 42 52 54 56 57 59 61 64 65 66 68 70 71 73 75 79 81 82 85 87 92 96 98 100 102 104 109 110 112 113 114 117 118 124 127 128 131 132 133 135 136 144 147 149 150 152 158 159 166 169 170 175 176 178 181 183 184 191 200 202 203 208 209 212 215 217 218 221 224 228 230 238 239 240 243 251 253 256 258 264 277 278 280 285 286 287 289 291 294 300 301 303 304 307 312 313 315 319 328 a 5 11 15 16 17 21 25 28 33 37 38 42 43 52 54 56 57 59 61 64 65 66 68 70 71 73 75 79 81 82 85 87 92 96 98 100 102 104 109 110 112 113 114 117 118 124 127 128 131 133 135 136 144 147 149 150 152 158 159 166 169 170 175 176 178 181 183 184 191 200 202 203 208 209 212 215 217 218 221 224 228 230 238 239 240 243 251 253 256 258 264 277 278 280 285 286 287 289 291 294 300 301 303 304 307 312 313 315 319 328 a 5 11 15 16 17 21 25 28 33 37 38 42 43 52 54 56 57 59 61 64 65 66 68 70 71 73 75 79 81 82 85 87 92 96 98 100 102 104 109 110 112 113 114 117 118 124 127 128 131 133 135 136 144 147 149 150 152 158 159 166 169 170 175 176 178 181 183 184 191 200 202 203 208 209 212 215 217 218 221 224 228 230 238 239 240 243 251 253 256 258 264 271 277 278 280 285 286 287 289 291 294 300 301 304 307 312 313 315 319 328 a 5 11 15 16 17 21 25 28 33 37 38 42 43 52 54 56 57 59 61 64 65 66 68 70 71 73 75 79 81 82 85 87 92 96 98 100 102 104 109 110 112 113 114 117 118 124 127 128 131 133 135 136 144 147 149 150 152 158 159 166 169 170 175 176 178 181 183 184 191 200 202 203 208 209 212 215 217 218 221 224 228 230 238 239 240 243 251 253 256 258 264 271 277 278 280 285 286 287 289 291 294 300 301 304 307 312 313 315 321 328 a 5 11 15 16 17 21 25 28 33 37 38 42 43 52 54 56 57 59 61 64 65 66 68 70 71 73 75 79 81 82 85 87 92 96 98 100 102 104 107 109 110 112 113 114 117 118 124 127 128 131 133 135 136 144 147 149 150 152 158 159 166 169 170 175 176 178 181 183 184 191 200 202 203 208 209 212 215 217 218 221 224 228 230 238 239 240 243 251 253 256 258 264 271 277 278 280 286 287 289 291 294 300 301 304 307 312 313 315 321 328 a 5 11 15 16 17 21 25 28 33 37 38 42 43 52 54 56 57 59 61 64 65 66 68 70 71 73 75 79 81 82 85 87 92 96 98 100 102 104 107 109 110 112 113 114 117 118 124 127 128 131 133 134 135 136 144 147 149 150 152 158 159 166 169 170 175 176 178 181 183 184 191 200 202 203 208 209 212 215 217 218 221 224 228 230 238 239 243 251 253 256 258 264 271 277 278 280 286 287 289 291 294 300 301 304 307 312 313 315 321 328 a 5 11 15 16 17 21 25 28 33 37 38 42 43 52 54 56 57 59 61 65 66 68 70 71 73 75 79 81 82 85 87 92 96 98 100 102 104 107 109 110 112 113 114 117 118 124 127 128 131 133 134 135 136 144 147 149 150 152 158 159 166 169 170 175 176 178 181 183 184 191 200 202 203 208 209 212 215 217 218 221 224 228 230 238 239 243 251 253 256 258 264 271 277 278 280 286 287 289 291 294 300 301 304 307 312 313 315 321 328 338 a 5 11 15 16 17 21 25 28 33 37 38 42 43 52 54 56 57 59 61 65 66 68 70 71 73 75 79 81 82 85 87 88 92 96 98 100 102 104 107 109 110 112 113 114 117 118 124 127 128 131 133 134 135 136 144 147 149 150 152 158 159 166 169 170 175 176 178 181 183 184 191 200 202 203 208 209 212 215 217 218 221 224 228 230 238 239 243 251 253 256 258 264 271 277 278 280 286 287 289 291 294 300 301 304 307 312 313 315 321 338 a 5 11 15 16 17 21 25 28 33 37 38 42 43 52 54 56 57 59 61 65 66 68 70 71 73 75 79 81 82 85 87 88 92 96 98 100 102 104 107 109 110 112 113 114 117 118 124 127 128 131 133 134 135 136 144 147 149 150 152 158 159 166 169 170 175 176 178 181 183 184 191 200 202 203 208 209 212 215 217 218 221 223 224 228 230 238 239 243 251 253 256 258 264 271 277 278 280 286 289 291 294 300 301 304 307 312 313 315 321 338 a 5 11 15 16 17 21 25 28 33 37 38 42 43 52 54 56 57 59 61 65 66 68 70 71 73 75 79 81 82 85 87 88 96 98 100 102 104 107 109 110 112 113 114 117 118 124 127 128 131 133 134 135 136 144 147 149 150 152 158 159 166 169 170 175 176 178 181 183 184 191 200 202 203 208 209 212 215 217 218 221 223 224 225 228 230 238 239 243 251 253 256 258 264 271 277 278 280 286 289 291 294 300 301 304 307 312 313 315 321 338 a 5 11 15 16 17 21 25 28 33 37 38 42 43 52 54 56 57 59 61 65 66 68 70 71 73 75 79 81 82 85 87 88 96 98 100 102 104 107 109 110 112 113 114 117 118 124 127 128 131 133 134 135 136 147 149 150 152 158 159 166 169 170 175 176 178 181 183 184 191 200 202 203 208 209 212 215 217 218 221 223 224 225 228 230 238 239 243 251 253 256 258 264 271 277 278 280 286 289 291 294 300 301 304 307 312 313 315 321 331 338 a 5 11 15 16 17 21 25 28 33 37 38 42 43 52 54 56 57 59 61 65 66 68 70 71 73 75 79 81 82 85 87 88 96 98 100 102 104 107 109 110 112 113 114 117 118 124 127 128 131 133 134 135 136 147 150 152 158 159 166 169 170 175 176 178 181 183 184 191 192 200 202 203 208 209 212 215 217 218 221 223 224 225 228 230 238 239 243 251 253 256 258 264 271 277 278 280 286 289 291 294 300 301 304 307 312 313 315 321 331 338 a 5 11 15 16 17 21 25 28 33 37 38 42 43 52 54 56 57 59 61 65 66 68 70 71 73 75 79 81 82 85 87 88 96 98 100 102 104 107 109 110 112 113 114 117 124 127 128 131 133 134 135 136 147 150 152 153 158 159 166 169 170 175 176 178 181 183 184 191 192 200 202 203 208 209 212 215 217 218 221 223 224 225 228 230 238 239 243 251 253 256 258 264 271 277 278 280 286 289 291 294 300 301 304 307 312 313 315 321 331 338 a 5 11 15 16 17 21 25 28 33 37 38 42 43 52 54 56 59 61 65 66 68 70 71 73 75 79 81 82 85 87 88 96 98 100 102 104 107 109 110 112 113 114 117 124 127 128 131 133 134 135 136 147 150 152 153 158 159 166 169 170 175 176 178 181 183 184 191 192 200 202 203 208 209 212 213 215 217 218 221 223 224 225 228 230 238 239 243 251 253 256 258 264 271 277 278 280 286 289 291 294 300 301 304 307 312 313 315 321 331 338 a 5 11 15 16 17 21 25 28 33 37 38 42 43 52 54 56 59 61 65 66 68 70 71 73 75 79 81 82 84 85 87 88 96 98 100 102 104 107 109 110 112 113 114 117 124 127 128 131 133 134 135 136 147 150 152 153 158 159 166 169 170 175 176 178 181 183 184 191 192 200 202 203 208 209 212 213 215 217 218 221 223 224 225 228 230 238 239 243 251 253 256 258 264 271 277 278 280 286 289 294 300 301 304 307 312 313 315 321 331 338 a 5 11 15 16 17 21 25 28 33 37 38 42 43 52 54 56 59 61 65 66 68 70 71 73 75 79 81 82 84 85 87 88 96 98 100 102 104 107 109 110 112 113 117 124 127 128 131 133 134 135 136 147 150 152 153 158 159 166 169 170 175 176 178 181 183 184 191 192 200 202 203 208 209 212 213 215 217 218 221 223 224 225 228 230 238 239 243 251 253 256 258 264 271 277 278 280 286 289 292 294 300 301 304 307 312 313 315 321 331 338 a 5 11 15 16 17 21 25 28 33 37 38 42 43 52 54 56 59 61 65 66 68 70 71 73 75 79 82 84 85 87 88 96 98 100 102 104 107 109 110 112 113 117 124 127 128 131 133 134 135 136 147 150 152 153 157 158 159 166 169 170 175 176 178 181 183 184 191 192 200 202 203 208 209 212 213 215 217 218 221 223 224 225 228 230 238 239 243 251 253 256 258 264 271 277 278 280 286 289 292 294 300 301 304 307 312 313 315 321 331 338 a 5 11 15 16 17 21 25 28 33 37 38 42 43 52 56 59 61 65 66 68 70 71 73 75 79 82 84 85 87 88 96 98 100 102 104 107 109 110 112 113 117 124 127 128 131 133 134 135 136 147 150 152 153 157 158 159 166 169 170 175 176 178 181 183 184 191 192 200 202 203 208 209 212 213 215 217 218 219 221 223 224 225 228 230 238 239 243 251 253 256 258 264 271 277 278 280 286 289 292 294 300 301 304 307 312 313 315 321 331 338 a 5 11 15 16 17 21 25 28 33 37 38 42 43 52 56 59 61 65 66 68 70 71 73 75 79 82 84 85 87 88 96 98 100 102 104 107 109 110 112 113 117 124 127 128 131 133 134 135 136 147 150 152 153 157 158 159 166 169 170 175 176 178 181 183 184 191 192 200 202 203 208 209 212 213 215 217 218 219 221 223 224 225 228 230 238 239 243 251 253 256 258 264 271 277 280 286 289 292 294 300 301 304 307 312 313 315 320 321 331 338 a 5 11 12 15 16 17 21 25 28 33 37 38 42 43 52 56 59 61 65 66 68 70 71 73 75 79 82 84 85 87 88 96 98 100 102 104 107 109 110 112 113 117 124 127 128 131 133 134 135 136 147 150 152 153 157 158 159 166 169 170 175 176 178 181 183 184 191 192 200 202 203 208 209 212 213 215 217 218 219 221 223 225 228 230 238 239 243 251 253 256 258 264 271 277 280 286 289 292 294 300 301 304 307 312 313 315 320 321 331 338 a 5 11 12 15 16 17 21 25 28 33 37 38 42 43 52 56 59 61 65 66 68 70 71 73 75 79 82 84 85 87 88 96 98 100 102 104 107 109 110 112 113 117 124 127 128 131 133 134 135 136 147 150 152 153 157 158 159 166 169 170 175 176 178 181 183 184 191 192 200 202 203 208 209 212 213 215 217 218 219 221 223 225 228 230 231 238 239 243 251 253 256 258 264 271 277 280 286 289 292 300 301 304 307 312 313 315 320 321 331 338 a 5 11 12 15 16 17 21 28 33 37 38 42 43 52 56 59 61 65 66 68 70 71 73 75 79 82 84 85 87 88 96 98 100 102 104 107 109 110 112 113 117 124 127 128 131 133 134 135 136 147 150 152 153 157 158 159 166 169 170 175 176 178 181 183 184 191 192 200 202 203 208 209 212 213 215 217 218 219 221 223 225 228 230 231 238 239 243 251 253 256 257 258 264 271 277 280 286 289 292 300 301 304 307 312 313 315 320 321 331 338 a 5 11 12 15 16 17 21 28 33 37 38 42 43 52 56 59 61 65 66 68 70 71 73 75 79 82 84 85 87 88 96 98 100 102 104 107 109 110 112 113 117 124 127 128 131 133 134 135 136 147 150 152 153 157 158 159 166 169 170 175 176 178 181 183 184 191 192 200 202 203 208 209 212 213 215 217 218 219 221 223 225 228 230 231 238 239 243 251 253 256 257 258 264 271 273 277 280 286 292 300 301 304 307 312 313 315 320 321 331 338 a 5 11 12 15 16 17 21 28 33 37 38 42 43 52 56 59 61 65 66 68 70 71 73 75 79 82 84 85 87 88 96 98 100 102 104 107 109 110 112 113 117 124 127 128 131 133 134 135 136 147 150 152 153 157 158 159 166 169 170 175 176 178 183 184 191 192 200 202 203 208 209 212 213 215 217 218 219 221 223 225 228 230 231 238 239 243 251 253 256 257 258 264 271 273 277 279 280 286 292 300 301 304 307 312 313 315 320 321 331 338 a 5 11 12 15 16 17 21 28 33 37 38 42 43 52 59 61 65 66 68 70 71 73 75 79 82 84 85 87 88 96 98 100 102 104 107 109 110 112 113 117 124 127 128 131 133 134 135 136 147 150 152 153 157 158 159 166 169 170 172 175 176 178 183 184 191 192 200 202 203 208 209 212 213 215 217 218 219 221 223 225 228 230 231 238 239 243 251 253 256 257 258 264 271 273 277 279 280 286 292 300 301 304 307 312 313 315 320 321 331 338 a 5 11 12 15 16 17 21 28 33 37 38 42 43 52 59 61 65 66 68 70 71 73 75 79 82 84 85 87 88 96 98 100 102 104 107 109 110 112 113 117 124 127 128 131 133 134 135 136 147 150 152 153 157 158 159 166 169 170 172 175 176 178 183 184 191 192 200 202 203 208 209 212 213 215 217 218 219 221 223 225 228 230 231 238 239 243 251 253 256 257 258 271 273 274 277 279 280 286 292 300 301 304 307 312 313 315 320 321 331 338 a 5 11 12 15 16 17 21 28 33 37 38 42 43 52 59 61 65 66 68 70 71 73 75 79 82 84 85 87 88 96 98 100 102 104 107 109 110 112 117 124 127 128 131 133 134 135 136 147 150 152 153 157 158 159 166 169 170 172 175 176 178 183 184 191 192 200 202 203 208 209 212 213 215 217 218 219 221 223 225 228 230 231 238 239 243 251 253 256 257 258 271 273 274 277 279 280 286 292 300 301 304 307 312 313 315 320 321 329 331 338 a 5 11 12 15 16 17 21 28 33 37 38 42 43 52 59 61 65 66 68 70 71 73 75 79 82 84 85 87 88 96 98 100 102 104 107 109 110 112 117 119 124 127 128 131 133 134 135 136 147 150 152 153 157 158 159 166 169 170 172 175 176 178 183 184 191 192 200 202 203 208 209 212 213 215 217 218 219 221 223 225 228 230 231 238 243 251 253 256 257 258 271 273 274 277 279 280 286 292 300 301 304 307 312 313 315 320 321 329 331 338 a 5 11 12 15 16 17 21 28 33 37 38 42 43 45 52 59 61 65 66 68 70 71 73 75 79 82 84 85 87 88 96 98 100 102 104 107 109 110 112 117 119 124 127 128 131 133 134 135 136 147 150 152 153 157 158 159 166 169 170 172 175 176 183 184 191 192 200 202 203 208 209 212 213 215 217 218 219 221 223 225 228 230 231 238 243 251 253 256 257 258 271 273 274 277 279 280 286 292 300 301 304 307 312 313 315 320 321 329 331 338 a 5 11 12 15 16 17 21 28 33 37 38 42 43 45 52 59 61 65 66 68 70 71 73 75 79 82 84 85 87 88 96 98 100 102 104 107 109 110 112 117 119 124 127 128 131 133 134 135 136 147 150 152 153 157 158 159 166 169 170 172 175 176 183 184 191 192 200 202 203 208 209 212 213 215 217 218 219 223 225 228 230 231 238 243 251 253 256 257 258 271 273 274 277 279 280 286 292 300 301 304 306 307 312 313 315 320 321 329 331 338 a 5 11 12 15 16 17 21 28 33 37 38 42 43 45 52 59 61 65 66 68 70 71 73 75 79 82 84 85 87 88 96 98 100 102 104 107 109 110 112 117 119 124 127 128 131 133 134 135 136 147 150 152 153 157 158 159 166 169 170 172 175 176 184 191 192 200 202 203 208 209 212 213 215 217 218 219 223 225 228 230 231 238 243 251 253 256 257 258 271 273 274 277 279 280 281 286 292 300 301 304 306 307 312 313 315 320 321 329 331 338 a 5 11 12 15 16 17 21 28 33 37 38 42 43 45 52 59 61 65 66 68 70 71 75 79 82 84 85 87 88 96 98 100 102 104 107 109 110 112 117 119 124 127 128 131 133 134 135 136 147 150 152 153 157 158 159 166 169 170 172 175 176 184 191 192 200 201 202 203 208 209 212 213 215 217 218 219 223 225 228 230 231 238 243 251 253 256 257 258 271 273 274 277 279 280 281 286 292 300 301 304 306 307 312 313 315 320 321 329 331 338 a 5 11 12 13 15 16 17 21 28 33 37 38 42 43 45 52 59 61 65 66 68 70 71 75 79 82 84 85 87 88 96 98 100 102 104 107 109 110 112 117 119 124 127 128 131 133 134 135 136 147 150 152 153 157 158 159 166 169 170 172 175 176 184 191 192 200 201 202 203 208 212 213 215 217 218 219 223 225 228 230 231 238 243 251 253 256 257 258 271 273 274 277 279 280 281 286 292 300 301 304 306 307 312 313 315 320 321 329 331 338 a 5 11 12 13 15 16 17 21 28 33 37 38 42 43 45 50 52 59 61 65 66 68 70 71 75 79 82 84 85 87 88 96 98 100 102 104 107 109 110 112 117 119 124 127 128 131 133 134 135 136 147 150 152 153 157 158 159 166 169 170 172 175 176 184 191 192 200 201 202 203 208 212 213 215 217 218 219 223 225 228 231 238 243 251 253 256 257 258 271 273 274 277 279 280 281 286 292 300 301 304 306 307 312 313 315 320 321 329 331 338 a 5 11 12 13 15 16 17 21 28 33 37 38 42 43 45 50 52 59 61 65 66 68 70 71 75 79 82 84 85 87 88 96 98 100 102 104 107 109 110 112 117 119 124 127 128 131 133 134 135 136 147 150 152 153 157 158 159 166 169 170 172 175 176 191 192 200 201 202 203 208 212 213 215 217 218 219 223 225 228 231 238 243 251 253 256 257 258 271 273 274 277 279 280 281 286 292 295 300 301 304 306 307 312 313 315 320 321 329 331 338 a 5 7 11 12 13 15 16 17 21 28 37 38 42 43 45 50 52 59 61 65 66 68 70 71 75 79 82 84 85 87 88 96 98 100 102 104 107 109 110 112 117 119 124 127 128 131 133 134 135 136 147 150 152 153 157 158 159 166 169 170 172 175 176 191 192 200 201 202 203 208 212 213 215 217 218 219 223 225 228 231 238 243 251 253 256 257 258 271 273 274 277 279 280 281 286 292 295 300 301 304 306 307 312 313 315 320 321 329 331 338 a 5 7 11 12 13 15 16 17 21 28 37 38 42 43 45 50 52 59 61 65 66 68 70 71 75 79 82 84 85 87 88 96 98 100 102 104 107 109 110 112 117 119 124 127 128 131 133 134 135 136 147 150 152 153 157 158 159 166 169 170 172 175 176 191 192 200 201 203 208 212 213 215 217 218 219 223 225 228 231 238 243 251 253 256 257 258 271 273 274 277 279 280 281 282 286 292 295 300 301 304 306 307 312 313 315 320 321 329 331 338 a 5 7 11 12 13 15 16 17 21 28 37 38 43 45 50 52 59 61 65 66 68 70 71 75 79 82 84 85 87 88 96 98 100 102 104 107 109 110 112 117 119 124 127 128 131 133 134 135 136 147 150 152 153 157 158 159 166 169 170 172 175 176 191 192 200 201 203 205 208 212 213 215 217 218 219 223 225 228 231 238 243 251 253 256 257 258 271 273 274 277 279 280 281 282 286 292 295 300 301 304 306 307 312 313 315 320 321 329 331 338 a 5 7 11 12 13 15 16 17 21 28 37 38 43 45 50 52 59 61 65 66 68 70 71 75 79 82 84 85 87 88 96 98 100 102 104 107 109 110 112 117 119 124 127 128 131 133 134 135 136 147 150 152 153 157 158 159 166 169 170 172 175 176 190 191 192 200 201 203 205 208 212 213 215 217 218 219 223 225 228 231 238 243 251 256 257 258 271 273 274 277 279 280 281 282 286 292 295 300 301 304 306 307 312 313 315 320 321 329 331 338 a 5 7 11 12 13 15 16 17 21 28 37 38 43 45 50 51 52 59 61 65 66 68 70 71 75 79 82 84 85 87 88 96 98 100 102 104 107 109 110 112 117 119 124 127 128 131 133 134 135 136 150 152 153 157 158 159 166 169 170 172 175 176 190 191 192 200 201 203 205 208 212 213 215 217 218 219 223 225 228 231 238 243 251 256 257 258 271 273 274 277 279 280 281 282 286 292 295 300 301 304 306 307 312 313 315 320 321 329 331 338 a 5 7 11 12 13 15 16 17 21 28 37 38 43 45 50 51 52 59 61 65 66 68 70 71 75 79 82 84 85 87 88 96 98 100 102 104 107 109 110 112 117 119 124 127 128 131 133 134 135 136 150 152 153 157 158 159 166 169 170 172 175 176 186 190 192 200 201 203 205 208 212 213 215 217 218 219 223 225 228 231 238 243 251 256 257 258 271 273 274 277 279 280 281 282 286 292 295 300 301 304 306 307 312 313 315 320 321 329 331 338 a 5 7 11 12 13 15 16 17 21 28 37 38 43 45 50 51 52 59 61 65 66 68 70 71 75 79 82 84 85 87 88 96 98 100 104 107 109 110 112 117 119 124 127 128 131 133 134 135 136 150 152 153 157 158 159 166 169 170 172 175 176 186 190 192 200 201 203 205 208 212 213 215 217 218 219 223 225 228 231 238 243 251 256 257 258 271 273 274 277 279 280 281 282 286 292 295 300 301 302 304 306 307 312 313 315 320 321 329 331 338 a 5 7 11 12 13 15 16 17 21 28 37 43 45 50 51 52 59 61 65 66 68 70 71 75 79 82 84 85 87 88 96 98 100 103 104 107 109 110 112 117 119 124 127 128 131 133 134 135 136 150 152 153 157 158 159 166 169 170 172 175 176 186 190 192 200 201 203 205 208 212 213 215 217 218 219 223 225 228 231 238 243 251 256 257 258 271 273 274 277 279 280 281 282 286 292 295 300 301 302 304 306 307 312 313 315 320 321 329 331 338 a 5 7 11 12 13 15 17 21 28 37 43 45 50 51 52 59 61 65 66 68 70 71 75 79 82 84 85 87 88 96 98 100 103 104 107 109 110 112 117 119 124 127 128 131 133 134 135 136 150 152 153 157 158 159 166 169 170 172 175 176 186 190 192 200 201 203 205 208 212 213 215 217 218 219 223 225 228 231 238 243 251 256 257 258 259 271 273 274 277 279 280 281 282 286 292 295 300 301 302 304 306 307 312 313 315 320 321 329 331 338 a 5 7 11 12 13 15 17 21 28 37 43 45 50 51 52 59 61 65 66 68 70 71 74 75 79 82 84 85 87 88 96 98 100 103 104 107 109 110 112 117 119 124 127 128 131 133 134 135 136 150 152 153 157 158 159 166 169 170 172 175 176 186 190 192 200 201 203 205 208 212 213 215 217 218 219 223 225 228 231 238 243 256 257 258 259 271 273 274 277 279 280 281 282 286 292 295 300 301 302 304 306 307 312 313 315 320 321 329 331 338 a 5 7 11 12 13 15 17 21 28 37 43 45 50 51 52 59 61 65 66 68 70 71 74 75 79 82 84 85 87 88 96 98 100 103 104 107 109 110 112 117 119 124 127 128 131 133 134 135 136 150 152 153 157 158 159 166 169 170 172 175 176 186 190 192 200 201 203 205 208 212 213 215 217 218 219 223 225 228 231 233 238 243 256 257 258 259 271 273 274 277 279 280 281 282 286 292 295 301 302 304 306 307 312 313 315 320 321 329 331 338 a 5 7 11 12 13 15 17 21 28 37 43 45 50 51 52 59 61 65 66 68 70 71 74 75 79 82 84 85 87 88 96 100 103 104 107 109 110 112 117 119 123 124 127 128 131 133 134 135 136 150 152 153 157 158 159 166 169 170 172 175 176 186 190 192 200 201 203 205 208 212 213 215 217 218 219 223 225 228 231 233 238 243 256 257 258 259 271 273 274 277 279 280 281 282 286 292 295 301 302 304 306 307 312 313 315 320 321 329 331 338 a 5 7 11 12 13 15 17 21 28 37 43 45 50 51 52 59 61 65 66 68 70 71 74 75 79 82 84 85 87 88 96 100 103 104 107 109 110 112 117 119 123 124 127 128 131 133 134 135 136 148 150 152 153 157 158 159 166 169 170 172 175 176 186 190 192 201 203 205 208 212 213 215 217 218 219 223 225 228 231 233 238 243 256 257 258 259 271 273 274 277 279 280 281 282 286 292 295 301 302 304 306 307 312 313 315 320 321 329 331 338 a 5 7 11 12 13 15 17 21 28 37 43 45 50 51 52 59 61 65 66 68 70 71 74 75 79 82 84 85 87 88 96 100 103 104 105 107 109 110 112 117 119 123 124 127 128 131 133 134 135 136 148 150 152 153 157 158 159 166 169 172 175 176 186 190 192 201 203 205 208 212 213 215 217 218 219 223 225 228 231 233 238 243 256 257 258 259 271 273 274 277 279 280 281 282 286 292 295 301 302 304 306 307 312 313 315 320 321 329 331 338 a 5 7 11 12 13 15 17 21 28 35 37 43 45 50 51 52 59 61 65 66 68 70 71 74 75 79 82 84 85 87 88 96 100 103 104 105 107 109 110 112 117 119 123 124 127 131 133 134 135 136 148 150 152 153 157 158 159 166 169 172 175 176 186 190 192 201 203 205 208 212 213 215 217 218 219 223 225 228 231 233 238 243 256 257 258 259 271 273 274 277 279 280 281 282 286 292 295 301 302 304 306 307 312 313 315 320 321 329 331 338 a 5 7 11 12 13 15 17 21 24 28 35 37 43 45 50 51 52 59 61 65 66 68 70 71 74 75 79 82 84 85 87 88 96 100 103 104 105 107 109 110 112 117 119 123 124 127 131 133 134 135 136 148 150 152 153 157 158 159 166 169 172 175 176 186 190 192 201 203 205 208 212 213 215 217 218 219 223 225 228 231 233 238 243 256 257 258 259 271 273 274 277 279 280 281 282 286 292 295 301 302 306 307 312 313 315 320 321 329 331 338 a 5 7 11 12 13 15 17 21 24 28 35 37 43 45 50 51 52 59 61 65 66 68 70 71 74 75 79 82 84 85 87 88 96 100 103 104 105 107 110 112 117 119 123 124 127 131 133 134 135 136 148 150 152 153 157 158 159 166 169 172 175 176 186 190 192 201 203 205 208 212 213 215 217 218 219 223 225 228 231 233 238 243 256 257 258 259 271 273 274 277 279 280 281 282 286 288 292 295 301 302 306 307 312 313 315 320 321 329 331 338 a 5 7 11 12 13 15 17 21 24 28 35 37 43 45 48 50 51 52 59 61 65 66 68 70 71 74 75 79 82 84 85 87 88 96 103 104 105 107 110 112 117 119 123 124 127 131 133 134 135 136 148 150 152 153 157 158 159 166 169 172 175 176 186 190 192 201 203 205 208 212 213 215 217 218 219 223 225 228 231 233 238 243 256 257 258 259 271 273 274 277 279 280 281 282 286 288 292 295 301 302 306 307 312 313 315 320 321 329 331 338 a 5 7 11 12 13 15 17 21 24 28 35 37 43 45 48 50 51 52 59 61 65 66 68 70 71 74 75 79 82 84 85 87 88 96 103 104 105 107 110 112 117 119 123 124 131 133 134 135 136 148 150 152 153 157 158 159 166 169 172 175 176 186 190 192 201 203 205 208 212 213 215 217 218 219 223 225 228 231 233 238 243 256 257 258 259 271 273 274 277 279 280 281 282 286 288 292 295 301 302 306 307 312 313 315 320 321 324 329 331 338 a 5 7 11 12 13 15 17 21 24 28 35 37 43 45 48 50 51 52 59 61 65 66 68 70 71 74 75 79 82 84 85 87 88 103 104 105 107 110 112 117 119 123 124 131 133 134 135 136 148 150 152 153 157 158 159 166 169 172 175 176 186 190 192 201 203 205 208 212 213 215 217 218 219 223 225 228 231 233 238 243 246 256 257 258 259 271 273 274 277 279 280 281 282 286 288 292 295 301 302 306 307 312 313 315 320 321 324 329 331 338 a 5 7 11 12 13 15 17 21 24 28 35 37 43 45 48 50 51 52 59 61 65 66 68 70 71 74 75 79 82 84 85 87 88 103 104 105 107 110 112 117 119 123 124 131 133 134 135 136 148 150 152 153 157 158 159 166 169 172 175 186 190 192 201 203 205 208 212 213 215 217 218 219 223 225 228 231 233 238 243 246 256 257 258 259 271 273 274 277 279 280 281 282 286 288 292 295 301 302 306 307 312 313 315 318 320 321 324 329 331 338 a 5 7 11 12 13 15 17 21 23 24 28 35 37 43 45 48 50 51 52 59 61 65 66 70 71 74 75 79 82 84 85 87 88 103 104 105 107 110 112 117 119 123 124 131 133 134 135 136 148 150 152 153 157 158 159 166 169 172 175 186 190 192 201 203 205 208 212 213 215 217 218 219 223 225 228 231 233 238 243 246 256 257 258 259 271 273 274 277 279 280 281 282 286 288 292 295 301 302 306 307 312 313 315 318 320 321 324 329 331 338 a 5 7 11 12 13 15 17 21 23 24 28 35 37 43 45 48 50 51 52 59 61 65 66 70 71 74 75 79 82 84 85 87 88 103 104 105 107 110 112 117 119 123 131 133 134 135 136 148 150 152 153 157 158 159 166 169 172 175 186 190 192 201 203 204 205 208 212 213 215 217 218 219 223 225 228 231 233 238 243 246 256 257 258 259 271 273 274 277 279 280 281 282 286 288 292 295 301 302 306 307 312 313 315 318 320 321 324 329 331 338 a 5 7 11 12 13 15 17 21 23 24 28 35 37 43 45 48 50 51 52 59 61 65 66 70 71 74 75 79 82 84 85 87 88 103 104 105 107 110 112 117 119 123 131 133 134 135 136 148 150 153 157 158 159 166 169 172 175 186 188 190 192 201 203 204 205 208 212 213 215 217 218 219 223 225 228 231 233 238 243 246 256 257 258 259 271 273 274 277 279 280 281 282 286 288 292 295 301 302 306 307 312 313 315 318 320 321 324 329 331 338 a 5 7 11 12 13 15 17 21 23 24 28 35 36 37 43 45 48 50 51 52 59 61 65 66 71 74 75 79 82 84 85 87 88 103 104 105 107 110 112 117 119 123 131 133 134 135 136 148 150 153 157 158 159 166 169 172 175 186 188 190 192 201 203 204 205 208 212 213 215 217 218 219 223 225 228 231 233 238 243 246 256 257 258 259 271 273 274 277 279 280 281 282 286 288 292 295 301 302 306 307 312 313 315 318 320 321 324 329 331 338 a 5 7 11 12 13 15 17 21 23 24 28 35 36 37 43 44 45 48 50 51 52 59 61 65 66 71 74 75 79 82 84 85 87 88 103 104 105 107 110 112 117 119 123 131 133 134 135 136 148 150 153 157 158 159 166 169 172 175 186 188 190 192 201 204 205 208 212 213 215 217 218 219 223 225 228 231 233 238 243 246 256 257 258 259 271 273 274 277 279 280 281 282 286 288 292 295 301 302 306 307 312 313 315 318 320 321 324 329 331 338 a 5 7 11 12 13 15 17 21 23 24 28 35 36 37 43 44 45 48 50 51 52 59 61 65 66 71 74 75 79 82 84 85 87 88 103 104 105 107 110 112 117 119 123 131 133 134 135 148 150 153 157 158 159 166 169 172 175 180 186 188 190 192 201 204 205 208 212 213 215 217 218 219 223 225 228 231 233 238 243 246 256 257 258 259 271 273 274 277 279 280 281 282 286 288 292 295 301 302 306 307 312 313 315 318 320 321 324 329 331 338 a 5 7 11 12 13 15 17 21 23 24 28 35 36 37 43 44 45 48 50 51 52 59 61 62 65 66 71 74 75 79 82 84 85 87 88 103 104 105 107 110 112 117 119 123 131 133 134 135 148 150 153 157 158 159 169 172 175 180 186 188 190 192 201 204 205 208 212 213 215 217 218 219 223 225 228 231 233 238 243 246 256 257 258 259 271 273 274 277 279 280 281 282 286 288 292 295 301 302 306 307 312 313 315 318 320 321 324 329 331 338 a 5 7 11 12 13 15 21 23 24 28 35 36 37 43 44 45 48 50 51 52 59 61 62 65 66 71 74 75 79 82 84 85 87 88 103 104 105 107 110 112 117 119 123 131 133 134 135 148 150 153 157 158 159 169 172 175 180 186 188 190 192 201 204 205 208 212 213 215 217 218 219 223 225 228 231 233 238 243 246 256 257 258 259 271 273 274 277 279 280 281 282 286 288 292 295 301 302 305 306 307 312 313 315 318 320 321 324 329 331 338 a 5 7 11 12 13 15 21 23 24 28 35 36 37 43 44 45 48 50 51 52 59 61 62 65 66 71 74 75 79 82 84 85 87 88 103 104 105 107 110 112 117 119 123 131 133 134 135 148 150 153 157 158 159 169 172 175 180 186 188 190 192 201 204 205 208 212 213 215 217 218 219 223 225 231 233 238 243 246 256 257 258 259 270 271 273 274 277 279 280 281 282 286 288 292 295 301 302 305 306 307 312 313 315 318 320 321 324 329 331 338 c Step: 128 Command being timed: "python3 run_3.py --existent --na -t4 /benchmark/random_instance/random_instance026_graph001.col /benchmark/random_instance/random_instance026_graph001_01.dat" User time (seconds): 536.58 System time (seconds): 10.20 Percent of CPU this job got: 150% Elapsed (wall clock) time (h:mm:ss or m:ss): 6:03.69 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): 25276072 Average resident set size (kbytes): 0 Major (requiring I/O) page faults: 1 Minor (reclaiming a frame) page faults: 9134026 Voluntary context switches: 727872 Involuntary context switches: 1443 Swaps: 0 File system inputs: 0 File system outputs: 720 Socket messages sent: 0 Socket messages received: 0 Signals delivered: 0 Page size (bytes): 4096 Exit status: 0 #END: [Mon Sep 4 14:40:14 2023]