#BEGIN: [Mon Sep 4 10:34:06 2023] #HOST: s04 #TIMELIMIT: 1800 #MEMLIMIT: 0 #SOLVER: existent-cpu-banbaralab2-existent1 #INSTANCE1: /benchmark/random_instance/random_instance027_graph005.col #INSTANCE2: /benchmark/random_instance/random_instance027_graph005_01.dat #COMMAND: docker run --cidfile /tmp/cid.txt --init --rm -t --ulimit cpu=1800 -v /home/share/benchmark/ISR-benchmark:/benchmark banbaralab2 --existent /benchmark/random_instance/random_instance027_graph005.col /benchmark/random_instance/random_instance027_graph005_01.dat c /benchmark/random_instance/random_instance027_graph005.col c /benchmark/random_instance/random_instance027_graph005_01.dat *** Info : (clingo): INTERRUPTED by signal! s 259 182 72 215 57 118 239 66 154 74 30 183 196 133 176 212 314 209 10 332 162 272 202 17 321 155 275 86 343 226 70 323 173 251 347 205 198 134 103 276 61 56 54 320 110 351 90 149 262 184 55 9 115 94 37 47 237 288 204 200 150 109 76 5 168 121 124 309 22 350 318 153 148 141 156 41 301 229 185 171 67 24 341 89 299 189 253 2 295 113 265 286 304 240 327 32 344 15 223 328 130 333 126 145 243 73 163 296 25 348 337 170 218 120 t 286 85 312 346 22 8 38 261 114 154 234 16 245 220 267 198 343 241 195 139 6 209 73 208 83 176 221 250 206 308 175 120 44 31 152 66 105 17 316 77 127 122 258 84 243 91 81 57 287 150 55 185 194 262 203 192 298 300 15 117 186 142 160 200 109 40 116 251 128 126 72 295 1 45 320 318 23 174 56 213 13 225 219 341 48 223 67 89 68 141 75 163 299 242 103 235 58 140 188 190 224 161 334 36 178 193 315 25 307 135 79 94 132 9 a YES a 2 5 9 10 15 17 22 24 25 30 32 37 41 47 54 55 56 57 61 66 67 70 72 73 74 76 86 89 90 94 103 109 110 113 115 118 120 121 124 126 130 133 134 141 145 148 149 150 153 154 155 156 162 163 168 170 171 173 176 182 183 184 185 189 196 198 200 202 204 205 209 212 215 218 223 226 229 237 239 240 243 251 253 259 262 265 272 275 276 286 288 295 296 299 301 304 309 314 318 320 321 323 327 328 332 333 337 341 343 344 347 348 350 351 a 2 5 9 10 15 17 22 24 25 30 32 37 41 47 54 55 56 57 61 66 67 70 72 73 74 76 89 90 94 103 109 110 113 115 118 120 121 124 126 130 133 134 141 145 148 149 150 153 154 155 156 162 163 168 170 171 173 176 182 183 184 185 189 196 198 200 202 204 205 209 212 215 218 223 226 229 237 239 240 243 251 253 259 261 262 265 272 275 276 286 288 295 296 299 301 304 309 314 318 320 321 323 327 328 332 333 337 341 343 344 347 348 350 351 a 2 5 9 10 15 17 22 24 25 30 32 37 41 47 54 55 56 57 61 66 67 70 72 73 74 76 86 89 90 94 103 109 110 113 115 118 120 121 124 126 130 133 134 141 145 148 149 150 153 154 155 156 162 163 168 170 171 173 176 182 183 184 185 189 196 198 200 202 204 205 209 212 215 218 223 226 229 237 239 240 243 251 253 259 262 265 272 275 276 286 288 295 296 299 301 304 309 314 318 320 321 323 327 328 332 333 337 341 343 344 347 348 350 351 a 2 5 9 10 15 17 22 24 25 30 32 37 41 47 54 55 56 57 61 66 67 70 72 73 74 76 86 89 90 94 103 109 110 113 115 118 120 121 124 126 130 133 134 141 145 148 149 150 153 154 155 156 162 163 168 170 171 173 182 183 184 185 189 196 198 200 202 204 205 209 212 215 218 223 226 229 237 239 240 243 251 253 259 262 265 272 275 276 286 288 295 296 299 301 304 309 310 314 318 320 321 323 327 328 332 333 337 341 343 344 347 348 350 351 a 2 5 9 10 15 17 22 24 25 30 32 37 41 47 54 55 56 57 61 66 67 70 72 73 74 76 86 89 90 94 103 109 110 113 115 118 120 121 124 126 130 133 134 141 145 148 149 150 153 154 155 156 162 163 168 170 171 173 182 183 184 185 189 196 198 200 202 204 205 209 212 215 218 226 228 229 237 239 240 243 251 253 259 262 265 272 275 276 286 288 295 296 299 301 304 309 310 314 318 320 321 323 327 328 332 333 337 341 343 344 347 348 350 351 a 2 5 9 10 15 17 22 24 25 30 32 37 41 47 54 55 56 57 61 66 67 70 72 73 74 76 89 90 94 103 109 110 113 115 118 120 121 124 126 130 133 134 141 145 148 149 150 153 154 155 156 162 163 168 170 171 173 182 183 184 185 189 196 198 200 202 204 205 209 212 215 218 226 228 229 237 239 240 243 251 253 259 261 262 265 272 275 276 286 288 295 296 299 301 304 309 310 314 318 320 321 323 327 328 332 333 337 341 343 344 347 348 350 351 a 2 5 9 10 15 17 22 24 25 30 32 37 41 47 54 55 56 57 61 66 67 70 72 73 74 76 89 90 94 96 103 109 110 113 115 118 120 121 124 126 130 133 134 141 145 148 149 150 153 154 155 156 162 163 168 170 171 173 182 183 184 185 189 198 200 202 204 205 209 212 215 218 226 228 229 237 239 240 243 251 253 259 261 262 265 272 275 276 286 288 295 296 299 301 304 309 310 314 318 320 321 323 327 328 332 333 337 341 343 344 347 348 350 351 a 2 5 9 10 15 17 22 24 25 30 32 37 41 47 54 55 56 57 61 66 67 70 72 73 74 76 89 90 94 96 103 109 110 113 115 118 120 121 124 126 130 133 134 141 145 148 149 150 153 154 155 156 162 163 168 170 171 173 182 184 185 189 198 200 202 204 205 209 212 215 218 226 228 229 237 239 240 243 251 253 254 259 261 262 265 272 275 276 286 288 295 296 299 301 304 309 310 314 318 320 321 323 327 328 332 333 337 341 343 344 347 348 350 351 a 2 5 9 10 15 17 22 24 25 30 32 37 41 47 54 55 56 57 61 66 67 70 73 74 76 89 90 94 96 103 109 110 113 115 118 120 121 124 126 130 133 134 141 145 148 149 150 153 154 155 156 162 163 168 170 171 173 182 184 185 189 198 200 202 204 205 209 212 215 218 226 228 229 237 239 240 243 251 253 254 259 261 262 265 268 272 275 276 286 288 295 296 299 301 304 309 310 314 318 320 321 323 327 328 332 333 337 341 343 344 347 348 350 351 a 2 5 9 10 15 17 22 24 25 30 32 37 41 47 54 55 56 57 61 67 70 73 74 76 89 90 94 96 103 109 110 113 115 118 120 121 124 126 130 133 134 141 145 148 149 150 153 154 155 156 162 163 168 170 171 173 182 184 185 189 198 200 202 204 205 209 212 215 218 226 228 229 237 239 240 243 251 253 254 259 261 262 265 268 272 275 276 286 288 295 296 299 301 304 309 310 314 318 320 321 323 327 328 332 333 337 339 341 343 344 347 348 350 351 a 2 5 9 10 15 17 22 24 25 30 32 37 41 47 54 55 56 57 61 67 70 73 74 76 89 90 94 96 103 109 110 113 115 118 120 121 124 126 130 133 134 141 145 148 149 150 153 154 155 156 163 168 170 171 173 182 184 185 189 198 200 202 204 205 209 212 215 218 226 227 228 229 237 239 240 243 251 253 254 259 261 262 265 268 272 275 276 286 288 295 296 299 301 304 309 310 314 318 320 321 323 327 328 332 333 337 339 341 343 344 347 348 350 351 a 2 5 9 10 15 17 22 24 25 30 32 37 41 47 54 55 56 57 61 67 70 73 74 76 89 90 94 96 103 109 110 113 115 118 120 121 124 126 130 133 134 141 145 148 149 150 153 154 155 156 163 166 168 170 171 173 182 184 185 189 198 200 202 204 205 209 212 215 218 226 227 228 229 237 239 240 243 251 253 254 259 261 262 265 268 272 275 276 286 288 295 296 299 301 304 309 310 314 320 321 323 327 328 332 333 337 339 341 343 344 347 348 350 351 a 2 5 8 9 10 15 17 22 24 30 32 37 41 47 54 55 56 57 61 67 70 73 74 76 89 90 94 96 103 109 110 113 115 118 120 121 124 126 130 133 134 141 145 148 149 150 153 154 155 156 163 166 168 170 171 173 182 184 185 189 198 200 202 204 205 209 212 215 218 226 227 228 229 237 239 240 243 251 253 254 259 261 262 265 268 272 275 276 286 288 295 296 299 301 304 309 310 314 320 321 323 327 328 332 333 337 339 341 343 344 347 348 350 351 a 2 5 8 9 10 15 17 22 24 30 32 37 41 47 54 55 56 57 61 67 70 73 74 76 89 90 94 96 103 109 110 113 115 118 120 121 124 126 130 133 134 141 145 148 149 150 153 154 155 156 163 166 168 170 171 173 182 184 185 189 198 200 202 203 204 205 209 212 215 218 226 227 228 229 237 239 240 243 251 253 254 259 261 262 265 268 272 275 276 286 288 295 296 299 301 304 309 310 314 320 321 323 327 328 332 333 337 339 341 343 347 348 350 351 a 2 5 8 9 10 15 17 22 24 30 32 37 41 47 54 55 56 57 61 67 70 73 74 76 89 90 94 96 103 109 110 113 115 118 120 121 124 126 130 133 134 141 145 148 149 150 153 154 155 156 163 166 168 170 171 173 182 184 185 189 198 200 202 203 204 205 209 212 215 218 226 227 228 229 237 239 240 243 251 253 254 259 261 262 265 268 272 276 286 288 295 296 299 301 304 309 310 314 320 321 323 327 328 330 332 333 337 339 341 343 347 348 350 351 a 2 5 8 9 10 15 17 22 24 30 32 37 41 47 54 55 56 57 61 67 70 73 74 76 89 90 94 96 103 109 110 113 115 118 120 121 124 126 130 133 134 141 145 148 149 150 153 154 155 156 163 166 168 170 171 173 182 184 185 189 198 200 202 203 204 205 209 212 215 218 226 227 228 237 239 240 243 251 253 254 259 261 262 265 268 272 276 286 288 295 296 299 301 304 309 310 314 320 321 323 327 328 330 332 333 337 339 341 343 344 347 348 350 351 a 2 5 8 9 10 15 17 22 24 30 32 37 41 47 54 55 56 57 61 67 70 73 74 76 89 90 94 96 103 109 110 113 115 118 120 121 124 126 130 133 134 141 145 148 149 150 153 154 155 156 163 166 168 170 171 173 182 184 185 189 198 200 202 203 204 205 209 212 215 218 226 227 228 237 239 240 251 253 254 259 261 262 265 268 272 276 286 288 295 296 299 301 302 304 309 310 314 320 321 323 327 328 330 332 333 337 339 341 343 344 347 348 350 351 a 2 5 8 9 10 15 17 22 24 30 32 41 47 54 55 56 57 61 67 70 73 74 76 89 90 94 96 103 109 110 113 115 118 120 121 124 126 130 133 134 141 145 148 149 150 153 154 155 156 163 166 168 170 171 173 182 184 185 189 198 200 202 203 204 205 209 212 215 218 226 227 228 229 237 239 240 251 253 254 259 261 262 265 268 272 276 286 288 295 296 299 301 302 304 309 310 314 320 321 323 327 328 330 332 333 337 339 341 343 344 347 348 350 351 a 2 5 8 9 10 13 15 17 22 24 30 32 41 47 54 55 56 57 61 67 70 73 74 76 89 90 94 96 103 109 110 113 115 118 120 121 124 126 130 133 134 141 145 148 149 150 153 154 155 156 163 166 168 170 171 173 182 184 185 189 198 200 202 203 204 205 209 212 215 218 226 227 228 229 237 239 240 251 253 254 259 261 262 265 268 272 276 286 288 295 296 299 301 302 304 309 310 314 320 321 323 327 328 330 332 333 337 341 343 344 347 348 350 351 a 2 5 8 9 10 13 15 17 22 24 30 32 41 47 54 55 56 57 61 67 70 73 74 76 89 90 94 96 103 109 110 113 115 118 120 121 124 126 130 133 134 141 148 149 150 153 154 155 156 161 163 166 168 170 171 173 182 184 185 189 198 200 202 203 204 205 209 212 215 218 226 227 228 229 237 239 240 251 253 254 259 261 262 265 268 272 276 286 288 295 296 299 301 302 304 309 310 314 320 321 323 327 328 330 332 333 337 341 343 344 347 348 350 351 a 2 5 8 9 10 13 15 17 22 24 30 32 37 47 54 55 56 57 61 67 70 73 74 76 89 90 94 96 103 109 110 113 115 118 120 121 124 126 130 133 134 141 148 149 150 153 154 155 156 161 163 166 168 170 171 173 182 184 185 189 198 200 202 203 204 205 209 212 215 218 226 227 228 229 237 239 240 251 253 254 259 261 262 265 268 272 276 286 288 295 296 299 301 302 304 309 310 314 320 321 323 327 328 330 332 333 337 341 343 344 347 348 350 351 a 2 5 8 9 10 13 15 17 22 24 30 32 37 47 54 55 56 57 61 67 70 73 74 76 89 90 94 96 103 109 110 113 115 118 120 121 124 126 130 133 134 141 148 149 150 153 154 155 156 161 163 166 168 170 171 173 182 184 185 189 198 200 202 203 204 205 209 212 215 218 226 227 228 229 237 239 240 251 253 254 259 261 262 265 268 272 275 276 286 288 295 296 299 301 302 304 309 310 314 320 321 323 327 328 332 333 337 341 343 344 347 348 350 351 a 2 5 8 9 10 13 15 17 22 24 30 32 37 47 54 55 56 57 61 66 67 70 73 74 76 89 90 94 96 103 109 110 113 115 118 120 121 124 126 130 133 134 141 148 149 150 153 154 155 156 161 163 168 170 171 173 182 184 185 189 198 200 202 203 204 205 209 212 215 218 226 227 228 229 237 239 240 251 253 254 259 261 262 265 268 272 275 276 286 288 295 296 299 301 302 304 309 310 314 320 321 323 327 328 332 333 337 341 343 344 347 348 350 351 a 2 5 8 9 10 13 15 17 22 24 30 32 37 47 54 55 56 57 61 66 67 70 73 74 76 89 90 94 96 103 109 110 113 115 118 120 121 124 126 130 134 141 148 149 150 153 154 155 156 161 163 168 170 171 173 182 184 185 189 198 200 202 203 204 205 209 212 215 218 226 227 228 229 237 239 240 243 251 253 254 259 261 262 265 268 272 275 276 286 288 295 296 299 301 302 304 309 310 314 320 321 323 327 328 332 333 337 341 343 344 347 348 350 351 a 2 5 8 9 10 13 15 17 22 24 30 32 37 41 47 54 55 56 57 61 66 67 70 73 74 76 89 90 94 96 103 109 110 113 115 118 120 121 124 126 130 134 141 148 149 150 153 154 155 156 161 163 168 170 171 173 182 184 185 189 198 200 202 203 204 205 209 212 215 218 226 227 228 229 237 239 240 243 251 253 254 259 261 262 265 268 275 276 286 288 295 296 299 301 302 304 309 310 314 320 321 323 327 328 332 333 337 341 343 344 347 348 350 351 a 2 5 8 9 10 13 15 17 22 24 30 32 37 41 47 54 55 56 57 61 66 67 70 73 74 76 89 90 94 96 103 109 110 113 115 118 120 121 124 126 130 131 134 141 148 149 150 153 154 155 156 161 163 168 170 171 173 182 184 185 189 198 200 202 203 204 205 209 212 215 218 226 227 228 229 237 239 240 243 251 254 259 261 262 265 268 275 276 286 288 295 296 299 301 302 304 309 310 314 320 321 323 327 328 332 333 337 341 343 344 347 348 350 351 a 2 5 8 9 10 13 15 17 22 24 30 32 37 41 47 54 55 56 57 61 66 67 70 73 74 76 89 90 94 96 103 109 110 113 115 118 120 121 124 126 130 131 134 141 148 149 150 153 154 155 156 161 163 168 170 171 173 182 184 185 189 198 200 202 203 204 205 209 212 215 218 226 227 228 229 237 239 240 243 251 254 259 261 262 265 268 272 275 276 286 288 295 296 299 301 302 304 309 310 314 320 321 323 327 328 332 337 341 343 344 347 348 350 351 a 2 5 8 9 10 13 15 17 22 24 30 32 37 41 47 54 55 56 57 61 66 67 70 73 74 76 89 90 94 96 103 109 110 113 115 118 120 121 124 126 130 131 133 134 141 148 149 150 153 154 155 156 161 163 168 170 171 173 182 184 185 189 198 200 202 203 204 205 209 212 215 218 226 227 228 229 237 239 240 243 251 254 259 261 262 265 268 272 275 276 286 288 295 296 299 301 302 304 309 310 314 320 321 323 327 328 332 337 341 343 344 347 348 350 a 2 5 8 9 10 13 15 17 22 23 24 30 32 37 41 47 54 55 56 57 61 66 67 70 73 74 76 89 90 94 96 103 109 110 113 115 118 120 121 124 126 130 131 133 134 141 148 149 150 153 154 155 156 161 163 168 170 171 173 182 184 185 189 198 200 202 203 204 205 209 212 215 218 226 227 228 229 237 239 240 243 251 254 259 261 262 265 268 272 275 276 286 288 295 296 299 301 302 304 309 310 314 320 323 327 328 332 337 341 343 344 347 348 350 a 2 5 8 9 10 13 15 17 22 23 24 30 32 37 41 47 54 55 56 57 61 66 67 70 73 74 76 89 90 94 96 103 109 110 113 115 118 120 121 124 126 130 131 133 134 141 148 149 150 153 154 155 156 161 163 168 170 171 173 182 184 185 189 198 200 202 203 204 205 209 212 215 218 226 227 228 229 237 239 240 243 251 254 259 261 262 265 268 272 275 276 286 288 295 296 299 301 302 304 309 310 314 320 323 327 328 332 337 341 343 344 347 348 351 a 2 5 8 9 10 13 15 17 22 23 24 30 32 37 41 47 54 55 56 57 61 67 70 73 74 76 89 90 94 96 103 109 110 113 115 118 120 121 124 126 130 131 133 134 141 148 149 150 153 154 155 156 161 163 168 170 171 173 182 184 185 189 198 200 202 203 204 205 209 212 215 218 226 227 228 229 237 239 240 243 251 254 259 261 262 265 268 272 275 276 286 288 295 296 299 301 302 304 309 310 314 320 323 327 328 332 333 337 341 343 344 347 348 351 a 2 5 8 9 10 13 15 17 22 23 24 30 32 37 41 47 54 55 56 57 61 67 70 73 74 76 89 90 94 96 103 109 110 113 115 118 120 121 124 126 130 131 133 134 141 148 149 150 153 154 155 156 161 163 166 168 170 171 173 182 184 185 189 198 200 202 203 204 205 209 212 215 218 226 227 228 229 237 239 240 243 251 254 261 262 265 268 272 275 276 286 288 295 296 299 301 302 304 309 310 314 320 323 327 328 332 333 337 341 343 344 347 348 351 a 2 5 8 9 10 13 15 17 22 23 24 30 32 37 41 47 54 55 56 57 61 67 70 73 74 76 89 90 94 96 103 109 110 113 115 118 120 121 124 126 130 131 133 134 141 148 149 150 153 154 155 156 161 163 166 168 170 171 173 182 184 185 189 198 200 202 203 204 205 209 212 215 218 226 227 228 229 237 240 243 251 254 261 262 265 268 272 275 276 286 288 295 296 299 301 302 304 309 310 314 320 323 327 328 332 333 337 341 343 344 347 348 350 351 a 2 5 8 9 10 13 15 17 22 23 24 30 32 37 41 47 54 55 56 57 61 67 70 73 74 76 89 90 94 96 103 109 110 113 115 118 120 121 124 126 130 131 133 134 141 148 149 150 153 154 155 156 161 163 166 168 170 171 173 182 184 185 189 194 198 200 202 203 204 205 209 212 215 218 226 227 228 229 237 240 243 251 254 261 262 265 268 272 275 286 288 295 296 299 301 302 304 309 310 314 320 323 327 328 332 333 337 341 343 344 347 348 350 351 a 2 5 8 10 13 15 17 22 23 24 30 32 37 41 47 54 55 56 57 61 67 70 73 74 76 89 90 94 96 103 109 110 113 115 118 120 121 124 126 130 131 133 134 141 148 149 150 153 154 155 156 161 163 166 168 170 171 173 182 184 185 189 194 198 200 202 203 204 205 209 212 215 218 226 227 228 229 237 239 240 243 251 254 261 262 265 268 272 275 286 288 295 296 299 301 302 304 309 310 314 320 323 327 328 332 333 337 341 343 344 347 348 350 351 a 2 5 8 10 13 15 17 22 23 24 30 32 37 41 47 54 55 56 57 61 66 67 70 73 74 76 89 90 94 96 103 109 110 113 115 118 120 121 124 126 130 131 133 134 141 148 149 150 153 154 155 156 161 163 168 170 171 173 182 184 185 189 194 198 200 202 203 204 205 209 212 215 218 226 227 228 229 237 239 240 243 251 254 261 262 265 268 272 275 286 288 295 296 299 301 302 304 309 310 314 320 323 327 328 332 333 337 341 343 344 347 348 350 351 a 2 5 8 10 13 15 17 22 23 24 30 32 37 41 47 54 55 56 57 61 66 67 70 73 74 76 89 90 94 96 103 109 110 113 115 118 120 121 124 126 130 131 133 134 141 148 149 150 153 154 155 156 161 163 168 170 171 173 182 184 185 189 194 198 200 202 203 204 205 209 212 215 218 226 227 228 229 237 239 240 243 251 254 259 261 262 265 268 272 275 286 288 295 296 299 301 302 304 309 310 314 320 323 327 328 332 333 337 341 343 344 347 348 351 a 2 5 8 9 10 13 15 17 22 23 24 30 32 37 47 54 55 56 57 61 66 67 70 73 74 76 89 90 94 96 103 109 110 113 115 118 120 121 124 126 130 131 133 134 141 148 149 150 153 154 155 156 161 163 168 170 171 173 182 184 185 189 194 198 200 202 203 204 205 209 212 215 218 226 227 228 229 237 239 240 243 251 254 259 261 262 265 268 272 275 286 288 295 296 299 301 302 304 309 310 314 320 323 327 328 332 333 337 341 343 344 347 348 351 a 2 5 8 9 10 13 15 17 22 23 24 30 32 37 47 54 55 56 57 61 66 67 70 73 74 76 89 90 94 96 103 109 110 113 115 118 120 121 124 126 130 131 133 134 141 148 149 150 153 154 155 156 161 163 168 170 171 173 182 184 185 186 189 194 198 200 202 203 204 205 209 212 215 218 226 227 228 229 237 239 240 243 251 254 259 261 262 265 268 272 275 286 288 295 296 299 301 302 304 309 310 314 320 323 327 328 332 333 337 341 343 344 347 348 a 2 5 8 9 10 13 15 17 22 23 24 30 32 37 41 47 54 55 56 57 61 66 67 70 73 74 76 89 90 94 96 103 109 110 113 115 118 120 121 124 126 130 131 133 134 141 148 149 150 153 154 155 156 161 163 168 170 171 173 182 184 185 186 189 194 198 200 202 203 204 205 209 212 215 218 226 227 228 229 237 239 240 243 251 254 259 262 265 268 272 275 286 288 295 296 299 301 302 304 309 310 314 320 323 327 328 332 333 337 341 343 344 347 348 a 2 5 8 9 10 13 15 17 22 23 24 30 32 37 41 47 54 55 56 57 61 66 67 70 73 74 76 89 90 94 103 109 110 113 115 118 120 121 124 126 130 131 133 134 141 148 149 150 153 154 155 156 161 163 168 170 171 173 182 184 185 186 189 194 198 200 202 203 204 205 209 211 212 215 218 226 227 228 229 237 239 240 243 251 254 259 262 265 268 272 275 286 288 295 296 299 301 302 304 309 310 314 320 323 327 328 332 333 337 341 343 344 347 348 a 2 5 8 9 10 13 15 17 22 23 24 30 32 37 41 47 54 55 56 57 61 66 67 70 73 74 76 89 90 94 103 109 110 113 115 118 120 121 124 126 130 131 133 134 141 148 149 150 153 154 155 156 161 163 168 170 171 173 182 184 185 186 189 194 198 200 202 203 204 205 209 211 212 215 218 226 227 228 229 237 239 240 243 251 254 259 262 265 268 272 275 286 288 295 296 299 301 302 304 309 310 314 320 323 327 328 332 333 337 341 343 347 348 351 a 2 5 8 9 10 13 15 17 22 23 24 30 32 37 41 47 54 55 56 57 61 66 67 70 73 74 76 89 90 94 103 109 110 113 115 118 120 121 124 126 130 131 133 134 141 148 149 150 153 154 155 156 161 163 168 170 171 173 182 184 185 186 189 194 198 200 202 203 204 205 209 211 212 215 218 224 226 227 228 229 237 239 243 251 254 259 262 265 268 272 275 286 288 295 296 299 301 302 304 309 310 314 320 323 327 328 332 333 337 341 343 347 348 351 a 2 5 8 9 10 13 15 17 22 23 24 30 32 37 41 47 54 55 56 57 61 66 67 70 73 74 76 89 90 94 103 109 110 113 115 118 120 121 124 126 130 133 134 141 148 149 150 153 154 155 156 161 163 168 170 171 173 182 184 185 186 189 194 198 200 202 203 204 205 209 211 212 215 218 224 226 227 228 229 237 239 243 251 253 254 259 262 265 268 272 275 286 288 295 296 299 301 302 304 309 310 314 320 323 327 328 332 333 337 341 343 347 348 351 a 2 5 8 9 10 13 15 17 22 23 24 30 32 37 41 47 54 55 56 57 61 66 67 70 72 73 74 76 89 90 94 103 109 110 113 115 118 120 121 124 126 130 133 134 141 148 149 150 153 154 155 156 161 163 168 170 171 173 182 184 185 186 189 194 198 200 202 203 204 205 209 211 212 215 218 224 226 227 228 229 237 239 243 251 253 254 259 262 265 272 275 286 288 295 296 299 301 302 304 309 310 314 320 323 327 328 332 333 337 341 343 347 348 351 a 2 5 8 9 10 13 15 17 22 23 24 30 32 37 41 47 54 55 56 57 61 66 67 70 72 73 74 76 89 90 94 103 109 110 113 115 118 120 121 124 126 130 133 134 141 148 149 150 153 154 155 156 161 163 168 170 171 173 182 184 185 186 189 194 198 200 202 203 204 205 209 211 212 215 218 224 226 227 228 229 237 239 243 251 253 254 259 261 262 265 272 275 288 295 296 299 301 302 304 309 310 314 320 323 327 328 332 333 337 341 343 347 348 351 a 2 3 5 8 9 10 13 15 17 22 23 24 30 32 37 41 47 54 56 57 61 66 67 70 72 73 74 76 89 90 94 103 109 110 113 115 118 120 121 124 126 130 133 134 141 148 149 150 153 154 155 156 161 163 168 170 171 173 182 184 185 186 189 194 198 200 202 203 204 205 209 211 212 215 218 224 226 227 228 229 237 239 243 251 253 254 259 261 262 265 272 275 288 295 296 299 301 302 304 309 310 314 320 323 327 328 332 333 337 341 343 347 348 351 a 2 3 5 8 9 10 13 15 17 22 23 24 30 32 37 41 47 54 56 57 61 66 67 70 72 73 74 76 89 90 94 103 109 110 113 115 118 120 121 124 126 130 133 134 141 148 149 153 154 155 156 161 163 168 170 171 173 182 184 185 186 189 194 198 200 202 203 204 205 209 211 212 215 218 224 226 227 228 229 237 239 243 251 253 254 259 261 262 265 272 275 288 295 296 299 301 302 304 309 310 314 320 323 327 328 332 333 337 341 343 347 348 350 351 a 2 3 5 8 9 10 13 15 17 22 23 24 30 32 37 41 47 54 56 57 61 66 67 70 72 73 74 76 89 90 94 103 109 110 113 115 118 120 121 124 126 130 133 134 141 148 149 153 154 155 156 161 163 168 170 171 173 182 184 185 186 189 190 194 198 200 202 203 204 205 209 211 212 215 218 224 226 227 228 229 237 243 251 253 254 259 261 262 265 272 275 288 295 296 299 301 302 304 309 310 314 320 323 327 328 332 333 337 341 343 347 348 350 351 a 2 3 5 8 9 10 13 15 17 22 23 24 30 32 37 41 47 54 56 57 61 66 67 70 72 73 74 76 89 90 94 109 110 113 115 118 120 121 124 126 130 133 134 141 146 148 149 153 154 155 156 161 163 168 170 171 173 182 184 185 186 189 190 194 198 200 202 203 204 205 209 211 212 215 218 224 226 227 228 229 237 243 251 253 254 259 261 262 265 272 275 288 295 296 299 301 302 304 309 310 314 320 323 327 328 332 333 337 341 343 347 348 350 351 a 2 3 5 8 9 10 13 15 17 22 23 24 30 32 34 37 41 47 54 56 57 61 66 70 72 73 74 76 89 90 94 109 110 113 115 118 120 121 124 126 130 133 134 141 146 148 149 153 154 155 156 161 163 168 170 171 173 182 184 185 186 189 190 194 198 200 202 203 204 205 209 211 212 215 218 224 226 227 228 229 237 243 251 253 254 259 261 262 265 272 275 288 295 296 299 301 302 304 309 310 314 320 323 327 328 332 333 337 341 343 347 348 350 351 a 2 3 5 8 9 10 13 15 17 22 23 24 30 32 34 37 41 47 54 56 57 61 66 70 72 73 74 76 89 90 94 109 110 113 115 118 120 121 124 126 130 133 134 141 146 148 149 153 154 155 156 161 163 168 170 171 173 182 184 185 186 189 190 194 198 200 202 203 204 205 209 211 212 215 218 224 226 227 228 229 237 243 251 253 254 259 261 262 265 272 275 288 295 296 299 301 302 304 309 310 314 320 323 327 328 332 333 337 341 343 344 347 348 350 a 2 3 5 8 9 10 13 15 17 22 23 24 30 34 37 41 47 54 56 57 61 66 70 72 73 74 76 89 90 94 109 110 113 115 118 120 121 124 126 130 133 134 141 146 148 149 153 154 155 156 161 163 168 170 171 173 182 184 185 186 189 190 194 198 200 202 203 204 205 209 211 212 215 218 224 226 227 228 229 237 243 251 253 254 259 261 262 265 272 275 286 288 295 296 299 301 302 304 309 310 314 320 323 327 328 332 333 337 341 343 344 347 348 350 a 2 3 5 8 9 10 13 15 17 22 23 24 30 34 37 41 47 54 56 57 61 66 70 72 73 74 76 89 90 94 109 110 113 115 118 120 121 124 126 130 133 134 141 146 148 149 153 154 155 156 161 163 168 170 171 173 182 184 185 186 189 190 194 198 200 202 203 204 205 209 211 212 215 218 224 226 227 228 229 237 243 251 253 254 259 261 262 265 272 275 286 288 295 296 299 301 302 304 309 310 314 320 323 327 328 332 333 337 341 343 344 347 348 351 a 2 3 5 8 9 10 13 15 17 22 23 24 30 34 37 41 47 54 56 57 61 66 70 72 73 74 76 89 90 94 109 110 113 115 118 120 121 124 126 130 133 134 141 146 148 149 150 153 154 155 156 161 163 168 170 171 173 182 184 185 186 189 190 194 198 200 202 203 204 205 209 211 212 215 218 224 226 227 228 229 237 243 251 253 254 259 261 262 265 272 275 286 288 295 296 299 302 304 309 310 314 320 323 327 328 332 333 337 341 343 344 347 348 351 a 2 3 5 8 9 10 13 15 17 22 23 24 30 34 37 41 47 54 56 57 58 61 66 70 72 73 74 76 89 90 94 109 110 113 115 118 120 121 124 126 130 133 134 141 146 148 149 150 153 154 155 156 161 163 168 170 171 173 182 184 185 186 189 190 194 198 200 202 203 204 205 209 211 212 215 218 224 226 227 228 237 243 251 253 254 259 261 262 265 272 275 286 288 295 296 299 302 304 309 310 314 320 323 327 328 332 333 337 341 343 344 347 348 351 a 2 3 5 8 9 10 13 15 17 22 23 24 30 34 37 41 47 54 56 57 58 61 66 70 72 73 74 76 89 90 94 109 110 113 115 118 120 121 124 126 130 133 134 141 146 148 149 150 153 154 155 156 161 163 168 170 171 173 182 184 185 186 189 190 194 198 200 202 203 204 205 209 211 212 213 215 218 224 226 227 228 237 243 251 253 254 259 261 262 265 272 275 286 288 295 296 299 302 304 309 310 314 320 323 327 328 332 333 337 341 343 344 347 348 a 2 3 5 8 9 10 13 15 17 22 23 24 30 34 37 41 47 54 56 57 58 61 66 70 72 73 74 76 89 90 94 109 110 113 115 118 120 121 124 126 130 133 134 135 141 146 148 149 150 153 154 155 156 161 163 168 170 171 173 182 184 185 186 189 190 194 198 200 202 203 204 205 209 211 212 213 215 218 224 226 227 228 237 243 251 253 254 261 262 265 272 275 286 288 295 296 299 302 304 309 310 314 320 323 327 328 332 333 337 341 343 344 347 348 a 2 3 5 8 9 10 13 15 17 22 23 24 30 34 37 41 47 54 56 57 58 61 66 70 72 73 74 76 89 90 94 109 110 113 115 118 120 121 124 126 130 133 134 135 141 146 148 149 150 153 154 155 156 161 163 168 170 171 173 182 184 185 186 189 190 194 198 200 202 203 204 205 209 211 212 213 215 218 224 226 227 228 237 243 251 253 254 261 262 265 272 275 286 288 295 296 299 302 304 309 310 314 318 320 323 327 328 332 333 337 341 343 347 348 a 2 3 5 8 9 10 13 15 17 22 23 24 30 37 41 47 54 56 57 58 61 66 67 70 72 73 74 76 89 90 94 109 110 113 115 118 120 121 124 126 130 133 134 135 141 146 148 149 150 153 154 155 156 161 163 168 170 171 173 182 184 185 186 189 190 194 198 200 202 203 204 205 209 211 212 213 215 218 224 226 227 228 237 243 251 253 254 261 262 265 272 275 286 288 295 296 299 302 304 309 310 314 318 320 323 327 328 332 333 337 341 343 347 348 a 2 3 5 8 9 10 13 15 17 22 23 24 30 37 41 47 54 56 57 58 61 66 67 70 72 73 74 76 89 90 94 109 110 113 115 118 120 121 124 126 130 133 134 135 141 146 148 149 150 153 154 155 156 161 163 168 170 171 173 182 184 185 186 188 189 190 194 198 200 203 204 205 209 211 212 213 215 218 224 226 227 228 237 243 251 253 254 261 262 265 272 275 286 288 295 296 299 302 304 309 310 314 318 320 323 327 328 332 333 337 341 343 347 348 a 2 3 5 8 9 10 13 15 17 22 23 24 30 37 41 47 48 54 56 57 58 61 66 67 70 72 73 74 76 89 90 94 109 110 113 115 118 120 121 124 126 130 133 134 135 141 146 148 149 150 153 154 155 156 161 163 168 170 171 173 182 184 185 186 188 189 190 194 198 200 203 204 205 209 211 212 213 215 218 224 226 227 228 237 243 251 253 254 261 262 265 272 275 286 288 295 296 299 302 304 309 310 314 318 320 323 327 328 333 337 341 343 347 348 a 2 3 5 8 9 10 13 15 17 22 23 24 25 30 37 41 47 48 54 56 57 58 61 66 67 70 72 73 74 76 89 90 94 109 110 113 115 118 120 121 124 126 130 133 134 135 141 146 148 149 150 153 154 155 156 161 163 168 170 171 173 182 184 185 186 188 189 190 194 198 200 203 204 205 209 211 212 213 215 218 224 226 227 228 237 243 251 253 254 261 262 265 272 275 286 288 295 296 299 302 304 309 310 314 318 320 323 327 328 333 337 341 343 347 a 2 3 5 8 9 10 13 15 17 22 23 24 25 30 37 41 47 48 54 56 57 58 61 66 67 70 72 73 74 89 90 94 109 110 113 115 118 120 121 124 126 130 133 134 135 141 146 148 149 150 153 154 155 156 161 163 168 170 171 173 182 184 185 186 188 189 190 194 198 200 203 204 205 209 211 212 213 215 218 224 226 227 228 237 243 251 253 254 261 262 265 272 275 286 288 295 296 299 302 304 309 310 314 315 318 320 323 327 328 333 337 341 343 347 a 2 3 5 8 9 10 13 15 17 22 23 25 30 37 41 47 48 54 56 57 58 61 66 67 70 72 73 74 89 90 94 109 110 113 115 118 120 121 124 126 130 133 134 135 141 146 148 149 150 153 154 155 156 160 161 163 168 170 171 173 182 184 185 186 188 189 190 194 198 200 203 204 205 209 211 212 213 215 218 224 226 227 228 237 243 251 253 254 261 262 265 272 275 286 288 295 296 299 302 304 309 310 314 315 318 320 323 327 328 333 337 341 343 347 a 2 3 5 8 9 10 13 15 17 22 23 25 30 37 41 47 48 54 56 57 58 61 66 67 70 72 73 74 89 90 94 109 110 113 115 118 120 121 124 126 130 133 134 135 141 146 148 149 150 153 154 155 156 160 161 163 168 170 171 173 182 184 185 186 188 189 190 194 198 200 203 204 205 209 211 212 213 215 218 224 226 227 228 235 237 243 251 253 254 261 262 265 272 275 286 288 295 296 299 302 304 309 310 314 315 318 320 323 327 328 333 337 341 343 a 2 3 5 8 9 10 13 15 17 22 23 25 30 37 41 47 48 54 56 57 58 61 66 67 70 72 73 74 84 89 90 94 109 110 113 115 118 120 121 124 126 130 133 134 135 141 146 148 149 150 153 154 155 156 160 161 163 168 170 171 173 182 184 185 186 188 189 190 194 198 200 203 204 205 209 211 212 213 215 218 224 226 227 228 235 237 243 251 254 261 262 265 272 275 286 288 295 296 299 302 304 309 310 314 315 318 320 323 327 328 333 337 341 343 a 2 3 5 8 9 13 15 17 22 23 25 30 37 41 47 48 54 56 57 58 61 66 67 70 72 73 74 84 89 90 91 94 109 110 113 115 118 120 121 124 126 130 133 134 135 141 146 148 149 150 153 154 155 156 160 161 163 168 170 171 173 182 184 185 186 188 189 190 194 198 200 203 204 205 209 211 212 213 215 218 224 226 227 228 235 237 243 251 254 261 262 265 272 275 286 288 295 296 299 302 304 309 310 314 315 318 320 323 327 328 333 337 341 343 a 2 3 5 8 9 13 15 17 22 23 25 30 37 41 47 48 54 56 57 58 61 66 67 70 72 73 74 84 89 90 91 94 109 110 113 115 118 120 121 124 126 130 133 134 135 141 146 148 149 150 153 154 155 156 160 161 163 168 170 171 173 182 184 185 186 188 189 190 194 198 200 203 204 205 209 211 212 213 215 218 223 224 226 227 235 237 243 251 254 261 262 265 272 275 286 288 295 296 299 302 304 309 310 314 315 318 320 323 327 328 333 337 341 343 a 3 5 8 9 13 15 17 22 23 25 30 37 41 47 48 54 56 57 58 61 66 67 70 72 73 74 84 89 90 91 94 109 110 113 115 118 120 121 124 126 130 133 134 135 141 146 148 149 150 153 154 155 156 160 161 163 168 170 171 173 182 184 185 186 188 189 190 194 198 200 203 204 205 209 211 212 213 215 218 223 224 226 227 234 235 237 243 251 254 261 262 265 272 275 286 288 295 296 299 302 304 309 310 314 315 318 320 323 327 328 333 337 341 343 a 3 5 8 9 13 15 17 22 23 25 30 37 41 47 48 54 56 57 58 61 66 67 70 72 73 74 84 89 90 91 94 109 110 113 115 118 120 121 124 126 130 133 134 135 141 146 148 149 150 153 154 155 156 160 161 163 168 170 171 173 176 182 184 185 186 188 189 190 194 198 200 203 204 205 209 211 212 213 215 218 223 224 226 227 234 235 237 243 251 254 261 262 265 272 275 286 288 295 296 299 302 304 309 314 315 318 320 323 327 328 333 337 341 343 a 3 5 8 9 13 15 17 22 23 25 30 37 41 47 48 54 56 57 58 61 66 67 70 72 73 74 84 89 90 91 94 109 110 113 115 118 120 121 124 126 130 133 134 135 141 146 148 149 150 153 154 155 156 160 161 163 168 170 171 173 176 178 182 184 185 186 188 189 190 194 198 200 203 204 205 209 212 213 215 218 223 224 226 227 234 235 237 243 251 254 261 262 265 272 275 286 288 295 296 299 302 304 309 314 315 318 320 323 327 328 333 337 341 343 a 3 5 8 9 13 15 17 22 23 25 30 37 41 47 48 54 56 57 58 61 66 67 70 72 73 74 84 89 90 91 94 109 110 113 115 118 120 121 124 126 130 133 134 135 141 146 148 149 150 153 154 155 156 160 161 163 168 170 171 173 176 178 182 185 186 188 189 190 194 198 200 203 204 205 209 212 213 215 218 223 224 226 227 234 235 237 243 251 254 261 262 265 267 272 275 286 288 295 296 299 302 304 309 314 315 318 320 323 327 328 333 337 341 343 a 3 5 8 9 13 15 17 22 23 25 30 37 41 47 48 54 56 57 58 61 66 67 70 72 73 74 84 89 90 91 94 109 113 115 118 120 121 124 126 130 132 133 134 135 141 146 148 149 150 153 154 155 156 160 161 163 168 170 171 173 176 178 182 185 186 188 189 190 194 198 200 203 204 205 209 212 213 215 218 223 224 226 227 234 235 237 243 251 254 261 262 265 267 272 275 286 288 295 296 299 302 304 309 314 315 318 320 323 327 328 333 337 341 343 a 3 5 8 9 13 15 17 22 23 25 30 37 41 47 48 54 56 57 58 66 67 70 72 73 74 84 89 90 91 94 109 113 115 118 120 121 124 126 130 132 133 134 135 141 146 148 149 150 153 154 155 156 160 161 163 168 170 171 173 176 178 182 185 186 188 189 190 194 198 200 203 204 205 209 212 213 215 218 223 224 226 227 234 235 237 241 243 251 254 261 262 265 267 272 275 286 288 295 296 299 302 304 309 314 315 318 320 323 327 328 333 337 341 343 a 3 5 8 9 13 15 17 22 23 25 30 37 41 47 48 54 56 57 58 66 67 70 72 73 74 84 89 90 91 94 109 113 115 118 120 121 124 126 130 132 133 134 135 141 146 148 149 150 153 154 155 156 160 161 163 168 170 171 173 176 178 182 185 186 188 189 190 194 198 200 203 204 205 209 212 213 215 218 223 224 226 227 234 235 237 241 243 251 254 258 261 262 265 267 275 286 288 295 296 299 302 304 309 314 315 318 320 323 327 328 333 337 341 343 a 3 5 8 9 13 15 17 22 23 25 30 37 41 47 48 54 56 57 58 66 67 70 72 73 74 84 89 90 91 94 109 113 115 118 120 121 124 126 130 132 133 134 135 141 146 149 150 153 154 155 156 160 161 163 168 170 171 173 175 176 178 182 185 186 188 189 190 194 198 200 203 204 205 209 212 213 215 218 223 224 226 227 234 235 237 241 243 251 254 258 261 262 265 267 275 286 288 295 296 299 302 304 309 314 315 318 320 323 327 328 333 337 341 343 a 3 5 8 9 13 15 17 22 23 25 30 37 41 47 48 54 56 57 58 66 67 70 72 73 74 84 89 90 91 94 109 113 115 118 120 121 124 126 130 132 133 134 135 141 146 149 150 153 154 155 156 160 161 163 168 170 171 173 175 176 178 182 185 186 188 189 190 194 198 200 203 204 205 209 212 213 218 223 224 226 227 234 235 237 241 243 251 254 258 261 262 265 267 275 286 288 295 296 299 302 304 309 314 315 318 320 323 327 328 333 337 341 343 346 a 3 5 8 9 13 15 17 22 23 25 30 37 41 47 48 54 56 57 58 66 67 70 72 73 74 84 89 90 91 94 109 113 115 116 118 120 121 124 126 130 132 133 134 135 141 146 149 150 153 154 155 160 161 163 168 170 171 173 175 176 178 182 185 186 188 189 190 194 198 200 203 204 205 209 212 213 218 223 224 226 227 234 235 237 241 243 251 254 258 261 262 265 267 275 286 288 295 296 299 302 304 309 314 315 318 320 323 327 328 333 337 341 343 346 a 3 5 8 9 13 15 17 22 23 25 30 37 47 48 54 56 57 58 66 67 70 72 73 74 84 89 90 91 94 109 113 115 116 118 120 121 124 126 130 132 133 134 135 141 146 149 150 153 154 155 160 161 163 168 170 171 173 175 176 178 182 185 186 188 189 190 194 198 200 203 204 205 209 212 213 218 223 224 226 227 234 235 237 241 243 250 251 254 258 261 262 265 267 275 286 288 295 296 299 302 304 309 314 315 318 320 323 327 328 333 337 341 343 346 a 3 5 8 9 13 15 17 22 23 25 30 37 48 54 56 57 58 66 67 70 72 73 74 84 89 90 91 94 109 113 115 116 118 120 121 124 126 130 132 133 134 135 141 146 149 150 153 154 155 160 161 163 168 170 171 173 175 176 178 182 185 186 188 189 190 194 198 200 203 204 205 209 212 213 218 223 224 226 227 234 235 237 241 243 250 251 254 258 261 262 265 267 275 286 287 288 295 296 299 302 304 309 314 315 318 320 323 327 328 333 337 341 343 346 a 5 8 9 13 15 17 22 23 25 30 37 48 54 55 56 57 58 66 67 70 72 73 74 84 89 90 91 94 109 113 115 116 118 120 121 124 126 130 132 133 134 135 141 146 149 150 153 154 155 160 161 163 168 170 171 173 175 176 178 182 185 186 188 189 190 194 198 200 203 204 205 209 212 213 218 223 224 226 227 234 235 237 241 243 250 251 254 258 261 262 265 267 275 286 287 288 295 296 299 302 304 309 314 315 318 320 323 327 328 333 337 341 343 346 a 5 8 9 13 15 17 22 23 25 30 37 48 54 55 56 57 58 66 67 70 72 73 74 84 89 90 91 94 109 113 115 116 118 120 121 124 126 130 132 133 135 141 146 149 150 153 154 155 160 161 163 168 170 171 173 175 176 178 182 185 186 188 189 190 194 198 200 203 204 205 209 212 213 218 219 223 224 226 227 234 235 237 241 243 250 251 254 258 261 262 265 267 275 286 287 288 295 296 299 302 304 309 314 315 318 320 323 327 328 333 337 341 343 346 a 5 8 9 13 15 17 22 23 25 30 37 48 54 55 56 57 58 66 67 70 72 73 74 84 89 90 91 94 109 113 115 116 118 120 121 124 126 130 132 133 135 141 146 149 150 153 154 155 160 161 163 168 170 171 173 175 176 178 182 185 186 188 189 190 194 198 200 203 204 205 209 212 213 218 219 223 224 226 227 234 235 237 241 243 245 250 251 254 258 261 262 265 267 286 287 288 295 296 299 302 304 309 314 315 318 320 323 327 328 333 337 341 343 346 a 5 8 9 13 15 17 22 23 25 30 37 48 54 55 56 57 58 66 67 70 72 73 74 84 89 90 91 94 109 113 115 116 117 118 120 121 124 126 130 132 133 135 141 146 149 150 153 154 155 160 161 163 168 170 171 173 175 176 178 182 185 186 188 189 190 194 198 200 203 204 205 209 212 213 218 219 223 224 226 227 234 235 241 243 245 250 251 254 258 261 262 265 267 286 287 288 295 296 299 302 304 309 314 315 318 320 323 327 328 333 337 341 343 346 a 5 8 9 13 15 17 22 23 25 30 37 48 54 55 56 57 58 66 67 70 72 73 74 84 89 90 91 94 109 113 115 116 117 118 120 121 124 126 130 132 133 135 141 146 149 150 154 155 160 161 163 168 170 171 173 175 176 178 182 185 186 188 189 190 194 198 200 203 204 205 209 212 213 218 219 220 223 224 226 227 234 235 241 243 245 250 251 254 258 261 262 265 267 286 287 288 295 296 299 302 304 309 314 315 318 320 323 327 328 333 337 341 343 346 a 5 8 9 13 15 17 22 23 25 30 37 48 54 55 56 57 58 66 67 70 72 73 74 84 89 90 91 94 109 113 115 116 117 118 120 121 124 126 130 132 133 135 140 141 146 149 150 154 155 160 161 163 168 170 171 173 175 176 178 182 185 186 188 189 190 194 198 200 203 204 205 209 212 213 218 219 220 223 224 226 227 234 235 241 243 245 250 251 254 258 261 262 265 267 286 287 288 295 296 299 302 304 309 315 318 320 323 327 328 333 337 341 343 346 a 5 8 9 13 15 17 22 23 25 30 37 48 54 55 56 57 58 66 67 70 72 73 74 84 89 90 91 94 109 113 115 116 117 118 120 121 124 126 130 132 133 135 140 141 146 149 150 154 155 160 161 163 168 170 171 173 175 176 178 182 185 186 188 189 190 194 198 200 203 204 205 209 213 218 219 220 223 224 226 227 234 235 241 243 245 250 251 254 258 261 262 265 267 286 287 288 295 296 299 302 304 308 309 315 318 320 323 327 328 333 337 341 343 346 a 5 8 9 13 15 17 22 23 25 30 37 48 54 55 56 57 58 66 67 70 72 73 74 84 89 90 91 94 109 113 115 116 117 118 120 121 124 126 127 130 132 133 135 140 141 146 149 150 154 155 160 161 163 168 170 171 173 175 176 178 182 185 186 188 189 190 194 198 200 203 205 209 213 218 219 220 223 224 226 227 234 235 241 243 245 250 251 254 258 261 262 265 267 286 287 288 295 296 299 302 304 308 309 315 318 320 323 327 328 333 337 341 343 346 a 5 8 9 13 15 17 22 23 25 30 48 54 55 56 57 58 66 67 70 72 73 74 84 89 90 91 94 109 113 115 116 117 118 120 121 124 126 127 130 132 133 135 140 141 146 149 150 154 155 160 161 163 168 170 171 173 175 176 178 182 185 186 188 189 190 194 198 200 203 205 209 213 218 219 220 221 223 224 226 227 234 235 241 243 245 250 251 254 258 261 262 265 267 286 287 288 295 296 299 302 304 308 309 315 318 320 323 327 328 333 337 341 343 346 a 5 8 9 13 15 17 22 23 25 30 48 54 55 56 57 58 66 67 70 72 73 74 84 89 90 91 94 109 113 116 117 118 120 121 124 126 127 130 132 133 135 140 141 146 149 150 154 155 160 161 163 168 170 171 173 174 175 176 178 182 185 186 188 189 190 194 198 200 203 205 209 213 218 219 220 221 223 224 226 227 234 235 241 243 245 250 251 254 258 261 262 265 267 286 287 288 295 296 299 302 304 308 309 315 318 320 323 327 328 333 337 341 343 346 a 5 8 9 13 15 17 22 23 25 30 45 48 54 55 56 57 58 66 67 70 72 73 74 84 89 90 91 94 109 113 116 117 118 120 121 124 126 127 130 132 133 135 140 141 146 149 150 154 155 160 161 163 168 170 171 173 174 175 176 178 182 185 186 188 189 190 194 198 200 203 205 209 213 218 219 220 221 223 224 226 227 234 235 241 243 245 250 251 254 258 261 262 265 267 286 287 288 295 296 299 302 304 308 309 315 318 320 327 328 333 337 341 343 346 a 5 8 9 13 15 17 22 23 25 30 45 48 54 55 56 57 58 66 67 70 72 73 74 84 89 90 91 94 109 113 116 117 118 120 121 124 126 127 130 132 133 135 140 141 146 149 150 154 155 160 161 163 168 170 171 173 174 175 176 178 182 185 186 188 189 190 192 194 198 200 203 205 209 213 218 219 220 221 223 224 226 227 234 235 241 243 245 250 251 254 258 261 262 265 267 286 287 288 295 296 299 302 304 308 309 315 318 320 328 333 337 341 343 346 a 5 8 9 13 15 17 22 23 25 30 45 48 54 55 56 57 58 66 67 70 72 73 74 84 89 90 91 94 109 113 116 117 118 120 121 124 126 127 130 132 133 135 140 141 146 149 150 154 155 160 161 163 168 170 171 173 174 175 176 178 182 185 186 188 189 190 192 194 198 200 203 209 213 218 219 220 221 223 224 226 227 234 235 241 243 245 250 251 254 258 261 262 265 267 286 287 288 295 296 299 302 304 308 309 315 316 318 320 328 333 337 341 343 346 a 5 8 9 13 15 17 22 23 25 30 45 48 55 56 57 58 66 67 70 72 73 74 84 89 90 91 94 109 113 116 117 118 120 121 124 126 127 128 130 132 133 135 140 141 146 149 150 154 155 160 161 163 168 170 171 173 174 175 176 178 182 185 186 188 189 190 192 194 198 200 203 209 213 218 219 220 221 223 224 226 227 234 235 241 243 245 250 251 254 258 261 262 265 267 286 287 288 295 296 299 302 304 308 309 315 316 318 320 328 333 337 341 343 346 a 5 8 9 13 15 17 22 23 25 30 45 48 55 56 57 58 66 67 70 72 73 74 84 85 89 90 91 94 109 113 116 117 118 120 121 124 126 127 128 130 132 133 135 140 141 146 149 150 154 155 160 161 163 168 170 171 173 174 175 176 178 182 185 186 188 189 190 192 194 198 200 203 209 213 218 219 220 221 223 224 226 227 234 235 241 243 245 250 251 254 258 261 262 265 267 286 287 295 296 299 302 304 308 309 315 316 318 320 328 333 337 341 343 346 a 5 8 9 13 15 17 22 23 25 30 45 48 55 56 57 58 66 67 70 72 73 74 84 85 89 90 91 94 109 113 116 117 118 120 121 124 126 127 128 130 132 133 135 140 141 146 149 150 154 155 160 161 163 168 170 171 173 174 175 176 178 182 185 186 188 190 192 193 194 198 200 203 209 213 218 219 220 221 223 224 226 227 234 235 241 243 245 250 251 254 258 261 262 265 267 286 287 295 296 299 302 304 308 309 315 316 318 320 328 333 337 341 343 346 a 5 8 9 13 15 17 22 23 25 30 45 48 55 56 57 58 66 67 70 72 73 74 84 85 89 90 91 94 109 113 114 116 117 118 120 124 126 127 128 130 132 133 135 140 141 146 149 150 154 155 160 161 163 168 170 171 173 174 175 176 178 182 185 186 188 190 192 193 194 198 200 203 209 213 218 219 220 221 223 224 226 227 234 235 241 243 245 250 251 254 258 261 262 265 267 286 287 295 296 299 302 304 308 309 315 316 318 320 328 333 337 341 343 346 a 5 8 9 13 15 17 22 23 25 30 45 48 55 56 57 58 66 67 70 72 73 74 84 85 89 90 91 94 105 109 113 114 116 117 120 124 126 127 128 130 132 133 135 140 141 146 149 150 154 155 160 161 163 168 170 171 173 174 175 176 178 182 185 186 188 190 192 193 194 198 200 203 209 213 218 219 220 221 223 224 226 227 234 235 241 243 245 250 251 254 258 261 262 265 267 286 287 295 296 299 302 304 308 309 315 316 318 320 328 333 337 341 343 346 a 5 8 9 13 15 17 22 23 25 30 38 45 48 55 56 57 58 66 67 70 72 73 74 84 85 89 90 91 94 105 109 113 114 116 117 120 124 126 127 128 130 132 133 135 140 141 146 149 150 154 155 160 161 163 168 170 171 173 174 175 176 178 182 185 186 188 190 192 193 194 198 200 203 209 213 218 219 220 221 223 224 226 227 234 235 241 243 245 250 251 254 258 261 262 265 267 286 287 295 296 299 302 304 308 309 315 316 318 320 333 337 341 343 346 a 5 8 9 13 15 17 22 23 25 30 38 45 48 55 56 57 58 66 67 70 72 73 74 84 85 89 91 94 105 109 113 114 116 117 120 124 126 127 128 130 132 133 135 140 141 146 149 150 154 155 160 161 163 168 170 171 173 174 175 176 178 182 185 186 188 190 192 193 194 198 200 203 209 213 218 219 220 221 223 224 226 227 234 235 241 242 243 245 250 251 254 258 261 262 265 267 286 287 295 296 299 302 304 308 309 315 316 318 320 333 337 341 343 346 a 5 8 9 13 15 17 22 23 25 30 38 45 48 55 56 57 58 66 67 70 72 73 74 84 85 89 91 94 105 109 114 116 117 120 124 126 127 128 130 132 133 135 140 141 146 149 150 154 155 160 161 163 168 170 171 173 174 175 176 178 182 185 186 188 190 192 193 194 198 200 203 209 213 218 219 220 221 223 224 225 226 227 234 235 241 242 243 245 250 251 254 258 261 262 265 267 286 287 295 296 299 302 304 308 309 315 316 318 320 333 337 341 343 346 a 5 8 9 13 15 17 22 23 25 30 38 44 45 48 55 56 57 58 66 67 70 72 73 84 85 89 91 94 105 109 114 116 117 120 124 126 127 128 130 132 133 135 140 141 146 149 150 154 155 160 161 163 168 170 171 173 174 175 176 178 182 185 186 188 190 192 193 194 198 200 203 209 213 218 219 220 221 223 224 225 226 227 234 235 241 242 243 245 250 251 254 258 261 262 265 267 286 287 295 296 299 302 304 308 309 315 316 318 320 333 337 341 343 346 a 5 8 9 13 15 17 22 23 25 30 38 44 45 48 55 56 57 58 66 67 70 72 73 84 85 89 91 94 105 109 114 116 117 120 124 126 127 128 130 132 133 135 140 141 146 149 150 154 155 160 161 163 168 170 171 173 174 175 176 178 182 185 186 188 190 192 193 194 198 200 203 209 213 218 219 220 221 223 224 225 226 234 235 241 242 243 245 250 251 254 258 261 262 265 267 286 287 295 296 299 302 304 307 308 309 315 316 318 320 333 337 341 343 346 a 5 8 9 13 15 17 22 23 25 30 38 44 45 48 55 56 57 58 66 67 68 70 72 73 84 85 89 91 94 105 109 114 116 117 120 126 127 128 130 132 133 135 140 141 146 149 150 154 155 160 161 163 168 170 171 173 174 175 176 178 182 185 186 188 190 192 193 194 198 200 203 209 213 218 219 220 221 223 224 225 226 234 235 241 242 243 245 250 251 254 258 261 262 265 267 286 287 295 296 299 302 304 307 308 309 315 316 318 320 333 337 341 343 346 a 5 8 9 13 15 17 22 23 25 38 44 45 48 55 56 57 58 66 67 68 70 72 73 84 85 89 91 94 105 109 114 116 117 120 122 126 127 128 130 132 133 135 140 141 146 149 150 154 155 160 161 163 168 170 171 173 174 175 176 178 182 185 186 188 190 192 193 194 198 200 203 209 213 218 219 220 221 223 224 225 226 234 235 241 242 243 245 250 251 254 258 261 262 265 267 286 287 295 296 299 302 304 307 308 309 315 316 318 320 333 337 341 343 346 a 5 8 9 13 15 17 22 23 25 38 44 45 48 55 56 57 58 66 67 68 72 73 77 84 85 89 91 94 105 109 114 116 117 120 122 126 127 128 130 132 133 135 140 141 146 149 150 154 155 160 161 163 168 170 171 173 174 175 176 178 182 185 186 188 190 192 193 194 198 200 203 209 213 218 219 220 221 223 224 225 226 234 235 241 242 243 245 250 251 254 258 261 262 265 267 286 287 295 296 299 302 304 307 308 309 315 316 318 320 333 337 341 343 346 a 5 8 9 13 15 17 22 23 25 38 44 45 48 55 56 57 58 66 67 68 72 73 77 84 85 89 91 94 105 109 114 116 117 120 122 126 127 128 130 132 133 135 140 141 146 149 150 154 155 160 161 163 168 170 171 173 174 175 176 178 182 185 186 188 190 192 193 194 198 200 203 209 213 219 220 221 223 224 225 226 234 235 241 242 243 245 250 251 254 258 261 262 265 267 286 287 295 296 299 300 302 304 307 308 309 315 316 318 320 333 337 341 343 346 a 5 8 9 13 15 16 17 22 23 25 38 44 45 48 55 56 57 58 66 67 68 72 73 77 84 85 89 91 94 105 109 114 116 117 120 122 126 127 128 130 132 133 135 140 141 146 149 150 154 155 160 161 163 168 170 171 173 174 175 176 178 182 185 186 188 190 192 193 194 198 200 203 209 213 219 220 221 223 224 225 226 234 235 241 242 243 245 250 251 258 261 262 265 267 286 287 295 296 299 300 302 304 307 308 309 315 316 318 320 333 337 341 343 346 a 5 8 9 13 15 16 17 22 23 25 38 44 45 48 55 56 57 58 66 67 68 72 73 77 84 85 89 91 94 105 109 114 116 117 120 122 126 127 128 130 132 133 135 140 141 146 149 150 154 155 160 161 163 168 170 171 174 175 176 178 182 185 186 188 190 192 193 194 198 200 203 209 213 219 220 221 223 224 225 226 234 235 241 242 243 245 250 251 258 261 262 265 267 286 287 295 296 299 300 302 304 307 308 309 312 315 316 318 320 333 337 341 343 346 a 5 8 9 13 15 16 17 22 23 25 38 44 45 48 55 56 57 58 66 67 68 72 73 77 84 85 89 91 94 103 105 109 114 116 117 120 122 126 127 128 130 132 133 135 140 141 149 150 154 155 160 161 163 168 170 171 174 175 176 178 182 185 186 188 190 192 193 194 198 200 203 209 213 219 220 221 223 224 225 226 234 235 241 242 243 245 250 251 258 261 262 265 267 286 287 295 296 299 300 302 304 307 308 309 312 315 316 318 320 333 337 341 343 346 a 8 9 13 15 16 17 22 23 25 38 44 45 48 55 56 57 58 66 67 68 72 73 75 77 84 85 89 91 94 103 105 109 114 116 117 120 122 126 127 128 130 132 133 135 140 141 149 150 154 155 160 161 163 168 170 171 174 175 176 178 182 185 186 188 190 192 193 194 198 200 203 209 213 219 220 221 223 224 225 226 234 235 241 242 243 245 250 251 258 261 262 265 267 286 287 295 296 299 300 302 304 307 308 309 312 315 316 318 320 333 337 341 343 346 a 8 9 13 15 16 17 22 23 25 36 38 44 45 48 55 56 57 58 66 67 68 72 73 75 77 84 85 89 91 94 103 105 109 114 116 117 120 122 126 127 128 130 132 133 135 140 141 150 154 155 160 161 163 168 170 171 174 175 176 178 182 185 186 188 190 192 193 194 198 200 203 209 213 219 220 221 223 224 225 226 234 235 241 242 243 245 250 251 258 261 262 265 267 286 287 295 296 299 300 302 304 307 308 309 312 315 316 318 320 333 337 341 343 346 a 8 9 13 15 16 17 22 23 25 36 38 44 45 48 55 56 57 58 66 67 68 72 73 75 77 84 85 89 91 94 103 105 109 114 116 117 120 122 126 127 128 130 132 133 135 140 141 142 150 154 155 160 161 163 168 170 171 174 175 176 178 182 185 186 188 190 192 193 194 198 200 203 209 213 219 220 221 223 224 225 226 234 235 241 242 243 245 250 251 258 261 262 265 267 286 287 295 296 299 300 302 307 308 309 312 315 316 318 320 333 337 341 343 346 a 8 9 13 15 16 17 22 23 25 36 38 44 45 48 55 56 57 58 66 67 68 72 73 75 77 84 85 89 91 94 103 105 109 114 116 117 120 122 126 127 128 130 132 133 135 140 141 142 150 154 155 160 161 163 168 171 174 175 176 178 182 185 186 188 190 192 193 194 198 200 203 209 213 219 220 221 223 224 225 226 234 235 241 242 243 245 250 251 258 261 262 265 267 286 287 295 296 298 299 300 302 307 308 309 312 315 316 318 320 333 337 341 343 346 a 8 9 13 15 16 17 22 23 25 36 38 44 45 48 55 56 57 58 66 67 68 72 73 75 77 84 85 89 91 94 103 105 109 114 116 117 120 122 126 127 128 130 132 133 135 139 140 141 142 150 154 155 160 161 163 168 171 174 175 176 178 182 185 186 188 190 192 193 194 198 200 203 209 213 219 220 221 223 224 225 226 234 235 241 242 243 245 250 251 258 261 262 265 267 286 287 295 296 298 299 300 302 307 308 309 312 315 316 318 320 337 341 343 346 a 6 8 9 13 15 16 17 22 23 25 36 38 44 45 48 55 56 57 58 66 67 68 72 73 75 77 84 85 89 91 94 103 105 109 114 116 117 120 122 126 127 128 130 132 133 135 139 140 141 142 150 154 155 160 161 163 168 171 174 175 176 178 182 185 186 188 190 192 193 194 198 200 203 209 213 219 220 221 223 224 225 234 235 241 242 243 245 250 251 258 261 262 265 267 286 287 295 296 298 299 300 302 307 308 309 312 315 316 318 320 337 341 343 346 a 6 8 9 13 15 16 17 22 23 25 36 38 44 45 48 55 56 57 58 66 67 68 72 73 75 77 79 84 85 89 91 94 103 105 109 114 116 117 120 122 126 127 128 130 132 133 135 139 140 141 142 150 154 155 160 161 163 171 174 175 176 178 182 185 186 188 190 192 193 194 198 200 203 209 213 219 220 221 223 224 225 234 235 241 242 243 245 250 251 258 261 262 265 267 286 287 295 296 298 299 300 302 307 308 309 312 315 316 318 320 337 341 343 346 a 6 8 9 13 15 16 17 22 23 25 36 38 44 45 48 55 56 57 58 66 67 68 72 73 75 77 79 81 84 85 89 91 94 103 105 109 114 116 117 120 122 126 127 128 130 132 133 135 139 140 141 142 150 154 155 160 161 163 171 174 175 176 178 182 185 186 188 190 192 193 194 198 200 203 209 213 219 220 221 223 224 225 234 235 241 242 243 245 250 251 258 261 262 265 267 286 287 295 296 298 299 300 302 307 308 309 312 315 316 318 320 341 343 346 a 6 8 9 13 15 16 17 22 23 25 31 36 38 44 45 48 55 56 57 58 66 67 68 72 73 75 77 79 81 84 85 89 91 94 103 105 109 114 116 117 120 122 126 127 128 130 132 133 135 139 140 141 142 150 154 155 160 161 163 171 174 175 176 178 185 186 188 190 192 193 194 198 200 203 209 213 219 220 221 223 224 225 234 235 241 242 243 245 250 251 258 261 262 265 267 286 287 295 296 298 299 300 302 307 308 309 312 315 316 318 320 341 343 346 a 6 8 9 13 15 16 17 22 23 25 31 36 38 44 45 48 55 56 57 58 66 67 68 72 73 75 77 79 81 84 85 89 91 94 103 105 109 114 116 117 120 122 126 127 128 130 132 133 135 139 140 141 142 150 154 155 160 161 163 171 174 175 176 178 185 186 188 190 192 193 194 195 198 200 203 209 213 219 220 221 223 224 225 234 235 241 242 243 245 250 251 258 261 262 265 267 286 287 295 296 298 299 300 302 307 308 312 315 316 318 320 341 343 346 a 6 8 9 13 15 16 17 22 23 25 31 36 38 44 45 48 55 56 57 58 66 67 68 72 73 75 77 79 81 84 85 89 91 94 103 105 109 114 116 117 120 122 126 127 128 130 132 133 135 139 140 141 142 150 154 155 160 161 163 171 174 175 176 178 185 186 188 190 192 193 194 195 198 200 203 208 209 213 219 220 221 223 224 225 234 235 241 242 243 245 250 251 258 261 262 267 286 287 295 296 298 299 300 302 307 308 312 315 316 318 320 341 343 346 a 6 8 9 13 15 16 17 22 23 25 31 36 38 44 45 48 55 56 57 58 66 67 68 72 73 75 77 79 81 84 85 89 91 94 103 105 109 114 116 117 120 122 126 127 128 130 132 133 135 139 140 141 142 150 154 160 161 163 171 174 175 176 178 185 186 188 190 192 193 194 195 198 200 203 208 209 213 219 220 221 223 224 225 234 235 241 242 243 245 250 251 258 261 262 267 286 287 295 296 298 299 300 302 307 308 312 315 316 318 320 334 341 343 346 a 6 8 9 13 15 16 17 22 23 25 31 36 38 40 44 45 48 55 56 57 58 66 67 68 72 73 75 77 79 81 84 85 89 91 94 103 105 109 114 116 117 120 122 126 127 128 132 133 135 139 140 141 142 150 154 160 161 163 171 174 175 176 178 185 186 188 190 192 193 194 195 198 200 203 208 209 213 219 220 221 223 224 225 234 235 241 242 243 245 250 251 258 261 262 267 286 287 295 296 298 299 300 302 307 308 312 315 316 318 320 334 341 343 346 a 6 8 9 13 15 16 17 22 23 25 31 36 38 40 44 45 48 55 56 57 58 66 67 68 72 73 75 77 79 81 84 85 89 91 94 103 105 109 114 116 117 120 122 126 127 128 132 133 135 139 140 141 142 150 152 154 160 161 163 171 174 175 176 178 185 186 188 190 192 193 194 195 198 200 203 208 209 213 219 220 221 223 224 225 234 235 241 242 243 245 250 251 258 261 262 267 286 287 295 298 299 300 302 307 308 312 315 316 318 320 334 341 343 346 a 1 6 8 9 13 15 16 17 22 23 25 31 36 38 40 44 45 48 55 56 57 58 66 67 68 72 73 75 77 79 81 84 85 89 91 94 103 105 109 114 116 117 120 122 126 127 128 132 133 135 139 140 141 142 150 152 154 160 161 163 171 174 175 176 178 185 186 188 190 192 193 194 195 198 200 203 208 209 213 219 220 221 223 224 225 234 235 241 242 243 245 250 251 258 261 262 267 286 287 295 298 299 300 307 308 312 315 316 318 320 334 341 343 346 a 1 6 8 9 13 15 16 17 22 23 25 31 36 38 40 44 45 48 55 56 57 58 66 67 68 72 73 75 77 79 81 84 85 89 91 94 103 105 109 114 116 117 120 122 126 127 128 132 133 135 139 140 141 142 150 152 154 160 161 163 174 175 176 178 185 186 188 190 192 193 194 195 198 200 203 206 208 209 213 219 220 221 223 224 225 234 235 241 242 243 245 250 251 258 261 262 267 286 287 295 298 299 300 307 308 312 315 316 318 320 334 341 343 346 a 1 6 8 9 13 15 16 17 22 23 25 31 36 38 40 44 45 48 55 56 57 58 66 67 68 72 73 75 77 79 81 83 84 85 89 91 94 103 105 109 114 116 117 120 122 126 127 128 132 135 139 140 141 142 150 152 154 160 161 163 174 175 176 178 185 186 188 190 192 193 194 195 198 200 203 206 208 209 213 219 220 221 223 224 225 234 235 241 242 243 245 250 251 258 261 262 267 286 287 295 298 299 300 307 308 312 315 316 318 320 334 341 343 346 c Step: 127 Command being timed: "python3 run_3.py --existent /benchmark/random_instance/random_instance027_graph005.col /benchmark/random_instance/random_instance027_graph005_01.dat" User time (seconds): 65.32 System time (seconds): 0.13 Percent of CPU this job got: 99% Elapsed (wall clock) time (h:mm:ss or m:ss): 1:05.46 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): 256788 Average resident set size (kbytes): 0 Major (requiring I/O) page faults: 0 Minor (reclaiming a frame) page faults: 93172 Voluntary context switches: 25 Involuntary context switches: 270 Swaps: 0 File system inputs: 0 File system outputs: 736 Socket messages sent: 0 Socket messages received: 0 Signals delivered: 0 Page size (bytes): 4096 Exit status: 0 #END: [Mon Sep 4 10:35:12 2023]