#BEGIN: [Mon Sep 4 12:13:30 2023] #HOST: s13 #TIMELIMIT: 1800 #MEMLIMIT: 0 #SOLVER: existent-cpu-banbaralab2-existent3 #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 --na -t4 /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! *** Info : (clingo): Sending shutdown signal... *** ERROR: (clingo): solving stopped by signal *** Info : (clingo): Shutdown completed in 0.000 seconds 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 86 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 176 182 183 184 185 189 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 96 103 109 110 113 115 118 120 121 124 126 130 133 134 135 141 145 148 149 150 153 154 155 156 162 163 168 170 171 173 176 182 183 184 185 189 198 200 202 204 205 209 212 215 218 223 226 229 237 239 240 243 251 253 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 135 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 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 53 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 135 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 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 23 24 25 30 32 37 41 47 53 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 135 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 262 265 272 275 276 286 288 295 296 299 301 304 309 314 318 320 323 327 328 332 333 337 341 343 344 347 348 350 351 a 2 5 9 10 15 17 22 23 24 25 30 32 37 41 47 53 54 55 56 57 61 67 70 72 73 74 76 86 89 90 94 103 109 110 113 115 118 120 121 124 126 130 133 134 135 145 148 149 150 153 154 155 156 159 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 262 265 272 275 276 286 288 295 296 299 301 304 309 314 318 320 323 327 328 332 333 337 341 343 344 347 348 350 351 a 2 5 9 10 15 17 22 23 24 25 30 32 37 41 47 53 54 55 56 57 61 67 70 72 73 74 76 86 89 90 94 103 109 110 113 115 118 120 121 124 126 130 133 134 135 145 148 149 150 153 154 155 156 159 162 163 166 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 262 265 272 275 276 286 288 295 296 299 301 304 309 314 320 323 327 328 332 333 337 341 343 344 347 348 350 351 a 2 5 9 10 15 17 22 23 24 30 32 37 41 47 53 54 55 56 57 59 61 67 70 72 73 74 76 86 89 90 94 103 109 110 113 115 118 120 121 124 126 130 133 134 135 145 148 149 150 153 154 155 156 159 162 163 166 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 262 265 272 275 276 286 288 295 296 299 301 304 309 314 320 323 327 328 332 333 337 341 343 344 347 348 350 351 a 2 5 9 10 15 17 22 23 24 30 32 37 41 47 53 54 55 56 57 59 61 67 70 72 73 74 76 86 89 90 94 103 109 110 113 115 120 121 124 126 130 133 134 135 145 148 149 150 153 154 155 156 159 162 163 166 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 262 265 272 275 276 286 288 295 296 299 301 304 305 309 314 320 323 327 328 332 333 337 341 343 344 347 348 350 351 a 2 5 9 10 15 17 22 23 24 30 32 37 41 47 53 54 55 56 57 59 61 67 70 72 73 74 76 89 90 94 103 109 110 113 115 120 121 124 126 130 133 134 135 145 148 149 150 153 154 155 156 159 162 163 166 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 262 265 272 275 276 286 288 295 296 299 301 304 305 309 314 320 323 327 328 332 333 337 339 341 343 344 347 348 350 351 a 2 5 9 10 15 17 22 23 24 30 32 37 41 47 53 54 55 56 57 59 61 67 70 72 73 74 76 89 90 94 103 109 110 113 115 120 121 124 126 130 133 134 135 145 148 149 150 153 154 155 156 159 162 163 166 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 261 262 265 272 275 276 286 288 295 296 299 301 304 309 314 320 323 327 328 332 333 337 339 341 343 344 347 348 350 351 a 2 5 9 10 15 17 22 23 24 30 37 41 47 53 54 55 56 57 59 61 67 70 72 73 74 76 89 90 94 103 109 110 113 115 118 120 121 124 126 130 133 134 135 145 148 149 150 153 154 155 156 159 162 163 166 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 261 262 265 272 275 276 286 288 295 296 299 301 304 309 314 320 323 327 328 332 333 337 339 341 343 344 347 348 350 351 a 2 5 9 10 11 15 17 22 23 24 30 37 41 47 53 54 55 56 57 59 61 67 70 72 73 74 76 89 90 94 103 109 110 113 115 118 120 121 124 126 130 133 134 135 145 148 149 150 153 154 155 156 159 162 163 166 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 261 262 265 272 275 276 286 295 296 299 301 304 309 314 320 323 327 328 332 333 337 339 341 343 344 347 348 350 351 a 2 5 9 10 11 15 17 22 23 24 30 37 41 47 53 54 55 56 57 59 61 67 70 72 73 74 76 89 90 94 103 109 110 113 115 118 120 121 124 126 130 133 134 135 145 148 149 150 153 154 155 156 159 162 163 166 168 170 171 173 176 182 183 184 185 188 189 196 198 200 204 205 209 212 215 218 223 226 229 237 239 240 243 251 253 261 262 265 272 275 276 286 295 296 299 301 304 309 314 320 323 327 328 332 333 337 339 341 343 344 347 348 350 351 a 2 5 9 10 11 15 17 22 23 24 30 37 41 47 53 54 55 56 57 59 61 67 70 72 73 74 76 89 90 94 103 109 110 113 115 118 120 121 124 126 130 133 134 135 145 148 149 150 153 154 155 156 159 162 163 166 168 170 171 173 176 182 184 185 188 189 196 198 200 204 205 209 212 215 218 223 226 229 237 239 240 243 251 253 254 261 262 265 272 275 276 286 295 296 299 301 304 309 314 320 323 327 328 332 333 337 339 341 343 344 347 348 350 351 a 2 5 9 10 11 15 17 22 23 24 30 37 41 47 53 54 55 56 57 59 61 67 69 70 72 73 74 76 89 90 94 103 109 110 113 115 118 120 121 124 126 130 133 134 135 145 148 149 150 153 154 155 156 159 162 163 166 168 170 171 173 176 182 184 185 188 189 196 198 200 204 205 209 212 215 218 223 226 229 237 239 240 243 253 254 261 262 265 272 275 276 286 295 296 299 301 304 309 314 320 323 327 328 332 333 337 339 341 343 344 347 348 350 351 a 2 5 9 10 11 15 17 22 23 24 30 35 37 41 47 53 54 55 56 57 59 61 67 69 70 73 74 76 89 90 94 103 109 110 113 115 118 120 121 124 126 130 133 134 135 145 148 149 150 153 154 155 156 159 162 163 166 168 170 171 173 176 182 184 185 188 189 196 198 200 204 205 209 212 215 218 223 226 229 237 239 240 243 253 254 261 262 265 272 275 276 286 295 296 299 301 304 309 314 320 323 327 328 332 333 337 339 341 343 344 347 348 350 351 a 2 5 9 10 11 15 17 22 23 24 30 35 37 41 47 53 54 55 56 57 61 67 69 70 73 74 76 89 90 94 103 109 110 113 115 118 120 121 124 126 130 133 134 135 145 148 149 150 153 154 155 156 159 162 163 166 168 170 171 173 176 182 184 185 188 189 196 198 200 204 205 209 212 215 218 223 226 229 237 239 240 243 253 254 261 262 265 272 275 276 286 295 296 299 301 302 304 309 314 320 323 327 328 332 333 337 339 341 343 344 347 348 350 351 a 2 5 8 9 10 11 15 17 22 23 24 30 35 37 41 47 53 54 55 56 57 61 67 69 70 73 74 76 89 90 94 103 109 110 113 115 118 120 121 124 126 130 133 134 135 145 148 149 150 153 154 155 156 159 162 163 166 168 170 171 173 176 182 184 185 188 189 198 200 204 205 209 212 215 218 223 226 229 237 239 240 243 253 254 261 262 265 272 275 276 286 295 296 299 301 302 304 309 314 320 323 327 328 332 333 337 339 341 343 344 347 348 350 351 a 2 5 8 9 10 11 15 17 22 23 24 30 37 41 47 53 54 55 56 57 61 67 69 70 73 74 76 89 90 94 96 103 109 110 113 115 118 120 121 124 126 130 133 134 135 145 148 149 150 153 154 155 156 159 162 163 166 168 170 171 173 176 182 184 185 188 189 198 200 204 205 209 212 215 218 223 226 229 237 239 240 243 253 254 261 262 265 272 275 276 286 295 296 299 301 302 304 309 314 320 323 327 328 332 333 337 339 341 343 344 347 348 350 351 a 2 3 5 8 9 10 11 15 17 22 23 24 30 37 41 47 53 54 56 57 61 67 69 70 73 74 76 89 90 94 96 103 109 110 113 115 118 120 121 124 126 130 133 134 135 145 148 149 150 153 154 155 156 159 162 163 166 168 170 171 173 176 182 184 185 188 189 198 200 204 205 209 212 215 218 223 226 229 237 239 240 243 253 254 261 262 265 272 275 276 286 295 296 299 301 302 304 309 314 320 323 327 328 332 333 337 339 341 343 344 347 348 350 351 a 3 5 8 9 10 11 15 17 22 23 24 30 35 37 41 47 53 54 56 57 61 67 69 70 73 74 76 89 90 94 96 103 109 110 113 115 118 120 121 124 126 130 133 134 135 145 148 149 150 153 154 155 156 159 162 163 166 168 170 171 173 176 182 184 185 188 189 198 200 204 205 209 212 215 218 223 226 229 237 239 240 243 253 254 261 262 265 272 275 276 286 295 296 299 301 302 304 309 314 320 323 327 328 332 333 337 339 341 343 344 347 348 350 351 a 3 5 8 9 10 11 13 15 17 22 23 24 30 35 37 41 47 53 54 56 57 61 67 69 70 73 74 76 89 90 94 96 103 109 110 113 115 118 120 121 124 126 130 133 134 135 145 148 149 150 153 154 155 156 159 162 163 166 168 170 171 173 176 182 184 185 188 189 198 200 204 205 209 212 215 218 223 226 229 237 239 240 243 253 254 261 262 265 272 275 276 286 295 296 299 301 302 304 309 314 320 323 327 328 332 333 337 341 343 344 347 348 350 351 a 3 5 8 9 10 11 13 15 17 22 23 24 30 35 37 41 47 53 54 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 135 145 148 149 150 153 154 155 156 159 162 163 166 168 170 171 173 176 182 184 185 188 189 198 200 204 205 209 212 215 218 223 226 229 237 239 240 243 251 253 254 261 262 265 272 275 276 286 295 296 299 301 302 304 309 314 320 323 327 328 332 333 337 341 343 344 347 348 350 351 a 3 5 8 9 10 11 13 15 17 22 24 30 35 37 41 47 53 54 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 135 145 148 149 150 153 154 155 156 159 162 163 166 168 170 171 173 176 182 184 185 188 189 198 200 204 205 209 212 215 218 223 226 229 237 239 240 243 251 253 254 261 262 265 272 275 276 286 295 296 299 301 302 304 309 314 320 321 323 327 328 332 333 337 341 343 344 347 348 350 351 a 3 5 8 9 10 11 13 15 17 22 24 30 35 37 41 47 53 54 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 135 145 148 149 150 153 154 155 156 159 162 163 166 168 170 171 173 176 182 184 185 188 189 198 200 204 205 209 212 215 218 223 226 229 237 239 240 243 251 254 261 262 265 272 275 276 284 286 295 296 299 301 302 304 309 314 320 321 323 327 328 332 333 337 341 343 344 347 348 350 351 a 3 5 8 9 10 11 13 15 17 22 24 30 35 37 41 47 53 54 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 135 145 148 149 150 153 154 155 156 159 163 166 168 170 171 173 176 182 184 185 188 189 198 200 203 204 205 209 212 215 218 223 226 229 237 239 240 243 251 254 261 262 265 272 275 276 284 286 295 296 299 301 302 304 309 314 320 321 323 327 328 332 333 337 341 343 344 347 348 350 351 a 3 5 8 9 10 11 13 15 17 22 24 30 35 37 41 47 53 54 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 135 145 148 149 150 153 154 155 156 159 163 166 168 170 171 173 176 182 184 185 188 189 198 200 203 204 205 209 212 215 218 223 226 227 229 237 239 240 243 251 254 262 265 272 275 276 284 286 295 296 299 301 302 304 309 314 320 321 323 327 328 332 333 337 341 343 344 347 348 350 351 a 3 8 9 10 11 13 15 17 22 24 30 35 37 41 47 53 54 56 57 61 67 70 73 74 75 76 89 90 94 96 103 109 110 113 115 118 120 121 124 126 130 133 134 135 145 148 149 150 153 154 155 156 159 163 166 168 170 171 173 176 182 184 185 188 189 198 200 203 204 205 209 212 215 218 223 226 227 229 237 239 240 243 251 254 262 265 272 275 276 284 286 295 296 299 301 302 304 309 314 320 321 323 327 328 332 333 337 341 343 344 347 348 350 351 a 3 8 9 10 11 13 15 17 22 24 30 35 37 41 47 53 54 56 57 61 67 70 73 74 75 76 89 90 94 96 103 109 110 113 115 118 120 121 124 126 130 133 134 135 145 148 149 150 153 154 155 156 159 163 166 168 170 171 173 176 182 185 188 189 198 200 203 204 205 209 212 215 218 223 226 227 229 237 239 240 243 251 254 262 265 267 272 275 276 284 286 295 296 299 301 302 304 309 314 320 321 323 327 328 332 333 337 341 343 344 347 348 350 351 a 3 8 9 10 11 13 15 17 22 24 30 35 37 41 47 53 54 56 57 61 67 70 73 74 75 76 89 90 94 96 103 109 110 115 118 120 121 124 126 130 133 134 135 145 148 149 150 153 154 155 156 159 163 166 168 170 171 173 176 182 185 188 189 198 200 203 204 205 209 212 215 218 223 226 227 229 237 239 240 243 251 254 261 262 265 267 272 275 276 284 286 295 296 299 301 302 304 309 314 320 321 323 327 328 332 333 337 341 343 344 347 348 350 351 a 8 9 10 11 13 15 17 22 24 30 35 37 41 47 53 54 55 56 57 61 67 70 73 74 75 76 89 90 94 96 103 109 110 115 118 120 121 124 126 130 133 134 135 145 148 149 150 153 154 155 156 159 163 166 168 170 171 173 176 182 185 188 189 198 200 203 204 205 209 212 215 218 223 226 227 229 237 239 240 243 251 254 261 262 265 267 272 275 276 284 286 295 296 299 301 302 304 309 314 320 321 323 327 328 332 333 337 341 343 344 347 348 350 351 a 8 9 10 11 13 15 17 22 24 30 35 37 41 47 53 54 55 56 57 61 67 70 73 74 75 76 89 90 94 96 103 109 110 115 118 120 121 124 126 130 133 135 145 148 149 150 153 154 155 156 159 163 166 168 170 171 173 176 182 185 188 189 198 200 203 204 205 209 212 215 218 219 223 226 227 229 237 239 240 243 251 254 261 262 265 267 272 275 276 284 286 295 296 299 301 302 304 309 314 320 321 323 327 328 332 333 337 341 343 344 347 348 350 351 a 8 9 10 11 13 15 17 22 23 24 30 35 37 41 47 53 54 55 56 57 61 67 70 73 74 75 76 89 90 94 96 103 109 110 115 118 120 121 124 126 130 133 135 145 148 149 150 153 154 155 156 159 163 166 168 170 171 173 176 182 185 188 189 198 200 203 204 205 209 212 215 218 219 223 226 227 229 237 239 240 243 251 254 261 262 265 267 272 275 276 284 286 295 296 299 301 302 304 309 314 320 323 327 328 332 333 337 341 343 344 347 348 350 351 a 8 9 10 11 13 15 17 22 23 24 30 35 37 41 47 53 54 55 56 57 59 61 67 70 73 74 75 76 89 90 94 96 103 109 110 115 118 120 121 124 126 130 133 135 145 148 149 150 153 154 155 156 159 163 166 168 170 171 173 176 182 185 188 189 198 200 203 204 205 209 212 215 218 219 223 226 227 229 237 239 240 243 251 254 261 262 265 267 272 275 276 284 286 295 296 299 301 304 309 314 320 323 327 328 332 333 337 341 343 344 347 348 350 351 a 8 9 10 13 15 17 22 23 24 30 35 37 41 47 53 54 55 56 57 59 61 67 70 73 74 75 76 89 90 94 96 103 109 110 115 118 120 121 124 126 130 133 135 145 148 149 150 153 154 155 156 159 163 166 168 170 171 173 176 182 185 188 189 198 200 203 204 205 209 212 215 218 219 223 226 227 229 237 239 240 243 251 254 261 262 265 267 272 275 276 284 286 288 295 296 299 301 304 309 314 320 323 327 328 332 333 337 341 343 344 347 348 350 351 a 8 9 10 13 15 17 22 23 24 30 37 41 47 53 54 55 56 57 59 61 67 70 72 73 74 75 76 89 90 94 96 103 109 110 115 118 120 121 124 126 130 133 135 145 148 149 150 153 154 155 156 159 163 166 168 170 171 173 176 182 185 188 189 198 200 203 204 205 209 212 215 218 219 223 226 227 229 237 239 240 243 251 254 261 262 265 267 272 275 276 284 286 288 295 296 299 301 304 309 314 320 323 327 328 332 333 337 341 343 344 347 348 350 351 a 8 9 10 13 15 17 22 23 24 30 37 41 47 53 54 55 56 57 59 61 67 70 72 73 74 75 76 89 90 94 96 103 109 110 113 115 118 120 121 124 126 130 133 135 145 148 149 150 153 154 155 156 159 163 166 168 170 171 173 176 182 185 188 189 198 200 203 204 205 209 212 215 218 219 223 226 229 237 239 240 243 251 254 261 262 265 267 272 275 276 284 286 288 295 296 299 301 304 309 314 320 323 327 328 332 333 337 341 343 344 347 348 350 351 a 8 9 10 13 15 17 22 23 24 30 37 41 47 53 54 55 56 57 59 61 67 70 72 73 74 75 76 89 90 94 96 103 109 110 113 115 118 120 121 124 126 130 133 135 145 148 149 150 153 154 155 156 159 163 166 168 170 171 173 176 182 184 185 188 189 198 200 203 204 205 209 212 215 218 219 223 226 229 237 239 240 243 251 254 261 262 265 272 275 276 284 286 288 295 296 299 301 304 309 314 320 323 327 328 332 333 337 341 343 344 347 348 350 351 a 8 9 10 13 15 17 22 23 24 30 37 41 47 53 54 55 56 57 59 61 67 70 72 73 74 75 76 89 90 94 96 103 109 110 113 115 118 120 121 124 126 130 133 135 145 148 149 150 153 154 155 156 159 162 163 166 168 170 171 173 176 182 184 185 188 189 198 200 204 205 209 212 215 218 219 223 226 229 237 239 240 243 251 254 261 262 265 272 275 276 284 286 288 295 296 299 301 304 309 314 320 323 327 328 332 333 337 341 343 344 347 348 350 351 a 8 9 10 13 15 17 22 23 24 30 37 41 47 53 54 55 56 57 59 61 67 70 72 73 74 75 76 89 90 94 96 103 109 110 113 115 118 120 121 124 126 130 133 135 145 148 149 150 153 154 155 156 159 162 163 166 168 170 171 173 176 182 184 185 188 189 198 200 204 205 209 212 215 218 219 226 228 229 237 239 240 243 251 254 261 262 265 272 275 276 284 286 288 295 296 299 301 304 309 314 320 323 327 328 332 333 337 341 343 344 347 348 350 351 a 8 9 10 13 15 17 22 23 24 30 37 41 47 53 54 55 56 57 59 61 67 70 72 73 74 75 76 89 90 94 96 103 109 110 113 115 118 120 121 124 126 130 133 135 145 148 149 150 153 154 155 156 159 162 163 166 168 170 171 173 176 182 184 185 189 198 200 202 204 205 209 212 215 218 219 226 228 229 237 239 240 243 251 254 261 262 265 272 275 276 284 286 288 295 296 299 301 304 309 314 320 323 327 328 332 333 337 341 343 344 347 348 350 351 a 8 9 10 13 15 22 23 24 30 37 41 47 53 54 55 56 57 59 61 67 70 72 73 74 75 76 89 90 94 96 103 109 110 113 115 118 120 121 124 126 130 133 135 145 148 149 150 153 154 155 156 159 162 163 166 168 170 171 173 176 182 184 185 189 198 200 202 204 205 209 212 213 215 218 219 226 228 229 237 239 240 243 251 254 261 262 265 272 275 276 284 286 288 295 296 299 301 304 309 314 320 323 327 328 332 333 337 341 343 344 347 348 350 351 a 8 9 10 13 15 22 23 24 30 37 41 47 53 54 55 56 57 59 61 67 70 72 73 74 75 89 90 94 96 97 103 109 110 113 115 118 120 121 124 126 130 133 135 145 148 149 150 153 154 155 156 159 162 163 166 168 170 171 173 176 182 184 185 189 198 200 202 204 205 209 212 213 215 218 219 226 228 229 237 239 240 243 251 254 261 262 265 272 275 276 284 286 288 295 296 299 301 304 309 314 320 323 327 328 332 333 337 341 343 344 347 348 350 351 a 8 9 10 13 15 22 23 24 30 37 41 47 53 54 55 56 57 59 61 67 70 73 74 75 89 90 94 96 97 103 109 110 113 115 118 120 121 124 126 130 133 135 145 148 149 150 153 154 155 156 159 162 163 166 168 170 171 173 176 182 184 185 189 198 200 202 204 205 209 212 213 215 218 219 226 228 229 237 239 240 243 251 254 261 262 265 268 272 275 276 284 286 288 295 296 299 301 304 309 314 320 323 327 328 332 333 337 341 343 344 347 348 350 351 a 8 9 10 13 15 22 23 24 30 35 37 41 53 54 55 56 57 59 61 67 70 73 74 75 89 90 94 96 97 103 109 110 113 115 118 120 121 124 126 130 133 135 145 148 149 150 153 154 155 156 159 162 163 166 168 170 171 173 176 182 184 185 189 198 200 202 204 205 209 212 213 215 218 219 226 228 229 237 239 240 243 251 254 261 262 265 268 272 275 276 284 286 288 295 296 299 301 304 309 314 320 323 327 328 332 333 337 341 343 344 347 348 350 351 a 8 9 10 13 15 22 23 24 30 35 37 41 53 54 55 56 57 59 61 67 70 73 74 75 86 89 90 94 96 97 103 109 110 113 115 118 120 121 124 126 130 133 135 145 148 149 150 153 154 155 156 159 162 163 166 168 170 171 173 176 182 184 185 189 198 200 202 204 205 209 212 213 215 218 219 226 228 229 237 239 240 243 251 254 262 265 268 272 275 276 284 286 288 295 296 299 301 304 309 314 320 323 327 328 332 333 337 341 343 344 347 348 350 351 a 8 9 10 13 15 22 23 24 30 35 37 41 53 54 55 56 57 61 67 70 73 74 75 86 89 90 94 96 97 103 109 110 113 115 118 120 121 124 126 130 133 135 145 148 149 150 153 154 155 156 159 162 163 166 168 170 171 173 176 182 184 185 189 198 200 202 204 205 209 212 213 215 218 219 226 228 229 237 239 240 243 251 254 262 265 268 272 275 276 284 286 288 295 296 299 301 302 304 309 314 320 323 327 328 332 333 337 341 343 344 347 348 350 351 a 8 9 10 13 15 22 23 24 30 35 37 41 53 54 55 56 57 61 67 70 73 74 75 86 89 90 94 96 97 103 109 110 113 115 118 120 121 124 126 130 133 135 145 148 149 150 153 154 155 156 159 162 163 166 168 170 171 173 176 182 184 185 189 198 200 202 204 205 209 212 213 215 218 219 226 228 229 237 239 240 243 251 254 262 265 268 272 276 278 284 286 288 295 296 299 301 302 304 309 314 320 323 327 328 332 333 337 341 343 344 347 348 350 351 a 8 9 10 13 15 22 23 24 30 35 37 41 53 54 55 56 57 61 67 70 73 74 75 86 89 90 94 96 97 103 109 110 113 115 118 120 121 124 126 130 133 135 145 148 149 150 153 154 155 156 159 162 163 166 168 170 171 173 176 182 184 185 189 198 200 202 204 205 209 212 213 215 218 219 226 228 229 237 239 240 243 251 253 254 262 265 268 272 276 278 284 286 288 295 296 299 301 302 304 309 314 320 323 327 328 332 333 337 341 343 344 347 348 351 a 8 9 10 13 15 22 23 24 30 35 37 41 53 54 55 56 57 61 67 70 73 74 75 86 89 90 94 96 97 103 109 110 113 115 118 120 121 124 126 130 133 135 145 148 149 150 153 154 155 156 159 162 163 166 168 170 171 173 176 181 182 184 185 189 198 200 202 204 205 209 212 213 215 218 219 226 228 229 237 239 240 243 251 253 254 262 265 268 272 276 278 284 286 288 295 296 299 301 302 304 309 314 320 323 327 328 332 333 337 341 343 344 347 351 a 8 9 10 13 15 22 23 24 30 35 37 41 53 54 55 56 57 61 67 70 73 74 75 86 89 90 94 96 97 103 109 110 113 115 118 120 121 124 126 130 133 135 145 148 149 150 153 154 155 156 159 162 163 166 168 170 171 173 176 181 182 184 185 189 198 200 202 204 205 209 212 213 215 218 219 226 228 229 237 239 240 243 251 253 254 262 265 268 272 275 276 284 286 288 295 296 299 301 302 304 309 314 320 323 327 328 332 333 337 341 343 344 347 351 a 8 9 10 13 15 22 23 24 30 35 37 41 53 54 55 56 57 61 67 70 73 74 75 86 89 90 94 96 97 103 109 110 113 115 118 120 121 124 126 130 133 135 145 148 149 150 153 154 155 156 159 162 163 166 168 170 171 173 176 178 181 182 184 185 189 198 200 202 204 205 209 212 213 215 218 219 226 228 229 237 239 240 243 251 253 254 262 265 268 272 275 276 284 286 288 295 296 299 301 302 304 309 314 320 323 327 328 332 333 337 341 343 344 347 a 8 9 10 13 15 22 23 24 30 35 37 41 53 54 55 56 57 61 67 70 73 74 75 86 89 90 94 96 97 103 109 110 113 115 118 120 121 124 126 133 135 145 148 149 150 153 154 155 156 159 160 162 163 166 168 170 171 173 176 178 181 182 184 185 189 198 200 202 204 205 209 212 213 215 218 219 226 228 229 237 239 240 243 251 253 254 262 265 268 272 275 276 284 286 288 295 296 299 301 302 304 309 314 320 323 327 328 332 333 337 341 343 344 347 a 8 9 13 15 22 23 24 30 35 37 41 53 54 55 56 57 61 67 70 73 74 75 86 89 90 91 94 96 97 103 109 110 113 115 118 120 121 124 126 133 135 145 148 149 150 153 154 155 156 159 160 162 163 166 168 170 171 173 176 178 181 182 184 185 189 198 200 202 204 205 209 212 213 215 218 219 226 228 229 237 239 240 243 251 253 254 262 265 268 272 275 276 284 286 288 295 296 299 301 302 304 309 314 320 323 327 328 332 333 337 341 343 344 347 a 1 8 9 13 15 22 23 24 30 35 37 41 53 54 55 56 57 61 67 70 73 74 75 86 89 90 91 94 96 97 103 109 110 113 115 118 120 121 124 126 133 135 145 148 149 150 153 154 155 156 159 160 162 163 166 168 170 171 173 176 178 181 182 184 185 189 198 200 202 204 205 209 212 213 215 218 219 226 228 229 237 239 240 243 251 253 254 262 265 268 272 275 276 284 286 288 295 296 299 301 304 309 314 320 323 327 328 332 333 337 341 343 344 347 a 1 8 9 13 15 22 23 24 30 35 37 41 53 54 55 56 57 61 67 70 73 74 75 86 89 90 91 94 96 97 103 109 110 113 115 118 120 121 124 126 133 135 140 145 148 149 150 153 154 155 156 159 160 162 163 166 168 170 171 173 176 178 181 182 184 185 189 198 200 202 204 205 209 212 213 215 218 219 226 228 229 237 239 240 243 251 253 254 262 265 268 272 275 276 284 286 288 295 296 299 301 304 309 320 323 327 328 332 333 337 341 343 344 347 a 1 8 9 13 15 17 22 23 24 30 35 37 41 53 54 55 56 57 61 67 70 73 74 75 86 89 90 91 94 96 97 103 109 110 113 115 118 120 121 124 126 133 135 140 145 148 149 150 153 154 155 156 159 160 162 163 166 168 170 171 176 178 181 182 184 185 189 198 200 202 204 205 209 212 213 215 218 219 226 228 229 237 239 240 243 251 253 254 262 265 268 272 275 276 284 286 288 295 296 299 301 304 309 320 323 327 328 332 333 337 341 343 344 347 a 1 8 9 13 15 17 22 23 24 30 35 37 41 53 54 55 56 57 61 67 70 73 74 75 86 89 90 91 94 96 97 103 109 110 113 115 118 120 121 124 126 133 135 140 145 148 149 150 153 154 155 156 159 160 162 163 166 168 170 171 176 178 181 182 184 185 189 198 200 202 204 205 209 212 213 215 218 219 226 228 229 237 239 240 243 245 251 253 254 262 265 268 272 276 284 286 288 295 296 299 301 304 309 320 323 327 328 332 333 337 341 343 344 347 a 1 8 9 13 15 17 22 23 24 30 35 37 41 53 54 55 56 57 61 67 70 73 74 75 86 89 90 91 94 96 97 103 109 110 113 115 118 120 121 124 126 133 135 140 145 148 149 150 153 154 155 156 159 160 162 163 166 168 170 171 176 178 181 182 184 185 189 194 198 200 202 204 205 209 212 213 215 218 219 226 228 229 237 239 240 243 245 251 253 254 262 265 268 272 284 286 288 295 296 299 301 304 309 320 323 327 328 332 333 337 341 343 344 347 a 1 8 9 13 15 17 22 23 24 30 35 37 41 53 54 55 56 57 61 67 70 73 74 75 89 90 91 94 96 97 103 109 110 113 115 118 120 121 124 126 133 135 140 145 148 149 150 153 154 155 156 159 160 162 163 166 168 170 171 176 178 181 182 184 185 189 194 198 200 202 204 205 209 212 213 215 218 219 226 228 229 237 239 240 243 245 251 253 254 261 262 265 268 272 284 286 288 295 296 299 301 304 309 320 323 327 328 332 333 337 341 343 344 347 a 1 8 9 13 15 17 22 23 24 30 35 37 41 48 53 54 55 56 57 61 67 70 73 74 75 89 90 91 94 96 97 103 109 110 113 115 118 120 121 124 126 133 135 140 145 148 149 150 153 154 155 156 159 160 162 163 166 168 170 171 176 178 181 182 184 185 189 194 198 200 202 204 205 209 212 213 215 218 219 226 228 229 237 239 240 243 245 251 253 254 261 262 265 268 272 284 286 288 295 296 299 301 304 309 320 323 327 328 333 337 341 343 344 347 a 1 8 9 13 15 17 22 23 24 30 35 37 41 48 53 54 55 56 57 61 67 70 73 74 75 89 90 91 94 96 97 103 109 110 113 115 118 120 121 124 126 133 135 140 145 149 150 153 154 155 156 159 160 162 163 166 168 170 171 175 176 178 181 182 184 185 189 194 198 200 202 204 205 209 212 213 215 218 219 226 228 229 237 239 240 243 245 251 253 254 261 262 265 268 272 284 286 288 295 296 299 301 304 309 320 323 327 328 333 337 341 343 344 347 a 1 8 9 13 15 17 22 23 24 30 35 37 41 48 53 54 55 56 57 61 67 70 73 74 75 89 90 91 94 96 97 103 109 110 113 115 118 120 121 124 126 133 135 140 145 149 150 153 154 155 156 159 160 162 163 166 168 170 171 175 176 178 181 182 184 185 189 194 198 200 202 204 205 209 212 213 215 218 219 226 228 229 234 237 239 243 245 251 253 254 261 262 265 268 272 284 286 288 295 296 299 301 304 309 320 323 327 328 333 337 341 343 344 347 a 1 8 9 13 15 17 22 23 24 30 35 37 41 48 53 54 55 56 57 61 67 70 73 74 75 89 90 91 94 96 97 103 109 110 113 115 118 120 121 124 126 133 135 140 145 149 150 153 154 155 156 159 160 162 163 166 168 170 171 175 176 178 181 182 184 185 189 194 198 200 202 204 205 209 212 213 215 218 219 224 226 228 229 234 237 243 245 251 253 254 261 262 265 268 272 284 286 288 295 296 299 301 304 309 320 323 327 328 333 337 341 343 344 347 a 1 8 9 13 15 17 22 23 24 30 35 37 41 48 53 54 55 56 57 61 67 70 73 74 75 89 90 91 94 96 97 103 109 110 113 115 118 120 121 124 126 133 135 140 145 149 150 153 154 155 156 159 160 162 163 166 168 170 171 175 176 178 181 182 184 185 189 190 194 198 200 204 205 209 212 213 215 218 219 224 226 228 229 234 237 243 245 251 253 254 261 262 265 268 272 284 286 288 295 296 299 301 304 309 320 323 327 328 333 337 341 343 344 347 a 1 8 9 13 15 17 22 23 24 30 35 37 41 48 53 54 55 56 57 61 67 70 73 74 75 84 89 90 91 94 96 97 103 109 110 113 115 118 120 121 124 126 133 135 140 145 149 150 153 154 155 156 159 160 162 163 166 168 170 171 175 176 178 181 182 184 185 189 190 194 198 200 204 205 209 212 213 215 218 219 224 226 228 229 234 237 243 245 251 254 261 262 265 268 272 284 286 288 295 296 299 301 304 309 320 323 327 328 333 337 341 343 344 347 a 1 8 9 13 15 17 22 23 24 30 35 37 41 48 54 55 56 57 61 67 70 73 74 75 84 89 90 91 94 96 97 103 109 110 113 115 118 120 121 124 126 133 135 140 141 145 149 150 153 154 155 156 159 160 162 163 166 168 170 171 175 176 178 181 182 184 185 189 190 194 198 200 204 205 209 212 213 215 218 219 224 226 228 229 234 237 243 245 251 254 261 262 265 268 272 284 286 288 295 296 299 301 304 309 320 323 327 328 333 337 341 343 344 347 a 1 8 9 13 15 17 22 23 24 30 35 37 41 48 54 55 56 57 61 67 70 73 74 75 84 89 90 91 94 96 97 103 109 110 113 115 118 120 121 124 126 133 135 140 141 145 149 150 153 154 155 156 159 160 162 163 166 168 170 171 175 176 178 181 182 184 185 188 189 190 194 198 200 204 205 209 212 213 215 218 219 224 226 228 229 234 237 243 245 251 254 261 262 265 268 272 284 286 288 295 296 299 301 304 309 320 323 327 328 333 337 341 343 347 a 1 8 9 13 15 17 22 23 24 30 35 37 41 48 54 55 56 57 61 67 70 73 74 75 84 89 90 91 94 96 97 103 109 110 113 115 118 120 121 124 126 133 135 140 141 145 149 150 153 154 155 156 159 160 162 163 166 168 170 171 175 176 178 181 182 184 185 188 189 190 194 198 200 204 205 209 212 213 218 219 224 226 228 229 234 237 243 245 251 254 261 262 265 268 272 284 286 288 295 296 299 301 304 309 320 323 327 328 333 337 341 343 346 347 a 1 8 9 13 15 17 22 23 24 30 35 37 41 48 54 55 56 57 61 67 70 73 74 75 84 89 90 91 94 96 97 103 109 110 113 115 118 120 121 124 126 133 135 140 141 145 149 150 154 155 156 159 160 162 163 166 168 170 171 175 176 178 181 182 184 185 188 189 190 194 198 200 204 205 209 212 213 218 219 220 224 226 228 229 234 237 243 245 251 254 261 262 265 268 272 284 286 288 295 296 299 301 304 309 320 323 327 328 333 337 341 343 346 347 a 1 8 9 13 15 17 22 23 24 30 31 35 37 41 48 54 55 56 57 61 67 70 73 74 75 84 89 90 91 94 96 97 103 109 110 113 115 118 120 121 124 126 133 135 140 141 145 149 150 154 155 156 159 160 162 163 166 168 170 171 175 176 178 181 184 185 188 189 190 194 198 200 204 205 209 212 213 218 219 220 224 226 228 229 234 237 243 245 251 254 261 262 265 268 272 284 286 288 295 296 299 301 304 309 320 323 327 328 333 337 341 343 346 347 a 1 8 9 13 15 17 22 23 24 30 31 35 41 48 54 55 56 57 61 67 70 73 74 75 84 89 90 91 94 96 97 103 109 110 113 115 118 120 121 124 126 133 135 140 141 145 149 150 154 155 156 159 160 162 163 166 168 170 171 175 176 178 181 184 185 188 189 190 194 198 200 204 205 209 212 213 218 219 220 224 226 228 229 234 237 243 245 251 254 261 262 265 268 272 284 286 288 295 296 299 301 304 309 315 320 323 327 328 333 337 341 343 346 347 a 1 8 9 13 15 17 22 23 24 25 30 31 35 41 48 54 55 56 57 61 67 70 73 74 75 84 89 90 91 94 96 97 103 109 110 113 115 118 120 121 124 126 133 135 140 141 145 149 150 154 155 156 159 160 162 163 166 168 170 171 175 176 178 181 184 185 188 189 190 194 198 200 204 205 209 212 213 218 219 220 224 226 228 229 234 237 243 245 251 254 261 262 265 268 272 284 286 288 295 296 299 301 304 315 320 323 327 328 333 337 341 343 346 347 a 1 8 9 13 15 17 22 23 24 25 30 31 35 41 44 48 54 55 56 57 61 67 70 73 75 84 89 90 91 94 96 97 103 109 110 113 115 118 120 121 124 126 133 135 140 141 145 149 150 154 155 156 159 160 162 163 166 168 170 171 175 176 178 181 184 185 188 189 190 194 198 200 204 205 209 212 213 218 219 220 224 226 228 229 234 237 243 245 251 254 261 262 265 268 272 284 286 288 295 296 299 301 304 315 320 323 327 328 333 337 341 343 346 347 a 1 8 9 13 15 17 22 23 24 25 30 31 35 41 44 48 54 55 56 57 61 67 70 73 75 84 89 90 91 94 96 97 103 109 110 113 115 118 120 121 124 126 133 135 140 141 145 149 150 154 155 156 159 160 162 163 166 168 170 171 175 176 178 181 184 185 188 189 190 194 198 200 204 205 209 212 213 218 219 220 224 226 228 229 234 237 243 245 251 254 261 262 265 272 284 286 288 295 296 299 301 304 315 318 320 323 327 328 333 337 341 343 346 347 a 1 8 9 13 15 17 22 23 24 25 30 31 35 41 44 48 54 55 56 57 61 67 70 73 75 84 89 90 91 94 96 97 103 109 113 115 118 120 121 124 126 132 133 135 140 141 145 149 150 154 155 156 159 160 162 163 166 168 170 171 175 176 178 181 184 185 188 189 190 194 198 200 204 205 209 212 213 218 219 220 224 226 228 229 234 237 243 245 251 254 261 262 265 272 284 286 288 295 296 299 301 304 315 318 320 323 327 328 333 337 341 343 346 347 a 1 8 9 13 15 17 22 23 24 25 30 31 35 41 44 48 54 55 56 57 61 67 73 75 77 84 89 90 91 94 96 97 103 109 113 115 118 120 121 124 126 132 133 135 140 141 145 149 150 154 155 156 159 160 162 163 166 168 170 171 175 176 178 181 184 185 188 189 190 194 198 200 204 205 209 212 213 218 219 220 224 226 228 229 234 237 243 245 251 254 261 262 265 272 284 286 288 295 296 299 301 304 315 318 320 323 327 328 333 337 341 343 346 347 a 1 8 9 13 15 17 22 23 24 25 30 31 35 41 44 48 54 55 56 57 61 67 73 75 77 84 89 90 91 94 96 97 103 109 113 115 118 120 121 124 126 132 133 135 140 141 145 149 150 154 155 156 159 160 162 163 166 168 170 171 175 176 178 181 184 185 188 189 190 194 198 200 204 205 209 212 213 218 219 220 221 224 226 228 229 234 237 243 245 251 254 261 262 265 272 284 286 288 295 296 299 304 315 318 320 323 327 328 333 337 341 343 346 347 a 1 8 9 13 15 17 22 23 24 25 30 31 35 41 44 48 54 55 56 57 61 67 68 73 75 77 84 89 90 91 94 96 97 103 109 113 115 118 120 121 126 132 133 135 140 141 145 149 150 154 155 156 159 160 162 163 166 168 170 171 175 176 178 181 184 185 188 189 190 194 198 200 204 205 209 212 213 218 219 220 221 224 226 228 229 234 237 243 245 251 254 261 262 265 272 284 286 288 295 296 299 304 315 318 320 323 327 328 333 337 341 343 346 347 a 1 8 9 13 15 17 22 23 24 25 30 31 35 41 44 48 54 55 56 57 61 67 68 73 75 77 84 89 90 91 94 96 97 103 109 113 115 118 120 121 126 132 133 135 140 141 145 149 150 154 155 156 159 160 163 166 168 170 171 175 176 178 181 184 185 188 189 190 194 198 200 204 205 209 212 213 218 219 220 221 224 226 228 229 234 237 243 245 251 254 261 262 265 272 284 286 287 288 295 296 299 304 315 318 320 323 327 328 333 337 341 343 346 347 a 1 8 9 13 15 17 22 23 24 25 30 31 35 41 44 45 48 54 55 56 57 61 67 68 73 75 77 84 89 90 91 94 96 97 103 109 113 115 118 120 121 126 132 133 135 140 141 145 149 150 154 155 156 159 160 163 166 168 170 171 175 176 178 181 184 185 188 189 190 194 198 200 204 205 209 212 213 218 219 220 221 224 226 228 229 234 237 243 245 251 254 261 262 265 272 284 286 287 288 295 296 299 304 315 318 320 327 328 333 337 341 343 346 347 a 1 8 9 13 15 17 22 23 24 25 30 31 35 41 44 45 48 54 55 56 57 61 67 68 73 75 77 84 89 90 91 94 96 97 103 109 113 115 118 120 121 126 132 133 135 140 141 145 149 150 154 155 156 159 160 163 166 168 170 171 175 176 178 181 184 185 188 189 190 192 194 198 200 204 205 209 212 213 218 219 220 221 224 226 228 229 234 237 243 245 251 254 261 262 265 272 284 286 287 288 295 296 299 304 315 318 320 328 333 337 341 343 346 347 a 1 8 9 13 15 17 22 23 25 30 31 35 41 44 45 48 54 55 56 57 61 67 68 73 75 77 84 89 90 91 94 96 97 103 109 113 115 118 120 121 126 132 133 135 140 141 145 149 150 154 155 156 159 160 163 166 168 170 171 175 176 178 181 184 185 188 189 190 192 194 198 200 204 205 209 212 213 218 219 220 221 224 226 228 229 234 235 237 243 245 251 254 261 262 265 272 284 286 287 288 295 296 299 304 315 318 320 328 333 337 341 343 346 347 a 1 8 9 13 15 17 22 23 25 30 31 35 41 44 45 48 54 55 56 57 61 67 68 73 75 77 84 89 91 94 96 97 103 109 113 115 118 120 121 126 132 133 135 140 141 145 149 150 154 155 156 159 160 163 166 168 170 171 175 176 178 181 184 185 188 189 190 192 194 198 200 204 205 209 212 213 218 219 220 221 224 226 228 229 234 235 237 242 243 245 251 254 261 262 265 272 284 286 287 288 295 296 299 304 315 318 320 328 333 337 341 343 346 347 a 1 8 9 13 15 17 22 23 25 30 31 35 41 44 45 48 54 55 56 57 61 67 68 73 75 77 84 89 91 94 96 97 103 109 113 115 118 120 121 126 132 133 135 140 141 145 149 150 154 155 156 159 160 163 166 168 170 171 175 176 178 181 185 188 189 190 192 194 198 200 204 205 209 212 213 218 219 220 221 224 226 228 229 234 235 237 242 243 245 251 254 261 262 265 267 272 284 286 287 288 295 296 299 304 315 318 320 328 333 337 341 343 346 347 a 1 8 9 13 15 17 22 23 25 30 31 35 41 44 45 48 54 55 56 57 61 67 68 73 75 77 84 89 91 94 96 97 103 109 113 115 118 120 121 126 132 133 135 140 141 145 149 150 154 156 159 160 163 166 168 170 171 175 176 178 181 185 188 189 190 192 194 198 200 204 205 209 212 213 218 219 220 221 224 226 228 229 234 235 237 242 243 245 251 254 261 262 265 267 272 284 286 287 288 295 296 299 304 315 318 320 328 333 334 337 341 343 346 347 a 1 8 9 13 15 17 22 23 25 30 31 35 41 44 45 48 54 55 56 57 61 67 68 73 75 77 84 89 91 94 96 97 103 109 113 115 117 118 120 121 126 132 133 135 140 141 145 149 150 154 156 159 160 163 166 168 170 171 175 176 178 181 185 188 189 190 192 194 198 200 204 205 209 212 213 218 219 220 221 224 226 228 229 234 235 242 243 245 251 254 261 262 265 267 272 284 286 287 288 295 296 299 304 315 318 320 328 333 334 337 341 343 346 347 a 1 8 9 13 15 17 22 23 25 30 31 35 41 44 45 48 54 55 56 57 61 67 68 73 75 77 84 89 91 94 96 97 103 109 113 115 117 118 120 121 126 132 133 135 140 141 145 149 150 154 156 160 163 166 168 170 171 175 176 178 181 185 188 189 190 192 194 198 200 204 205 209 212 213 218 219 220 221 224 226 228 229 234 235 242 243 245 251 254 261 262 265 267 272 284 286 287 288 295 296 299 304 307 315 318 320 328 333 334 337 341 343 346 347 a 1 8 9 13 15 17 22 23 25 30 31 35 41 44 45 48 54 55 56 57 61 67 68 73 75 77 84 89 91 94 96 97 103 109 113 115 117 118 120 121 126 132 133 135 140 141 145 149 150 154 156 160 163 166 168 170 171 175 176 178 181 185 188 189 190 192 194 198 200 204 205 209 213 218 219 220 221 224 226 228 229 234 235 242 243 245 251 254 261 262 265 267 272 284 286 287 288 295 296 299 304 307 312 315 318 320 328 333 334 337 341 343 346 347 a 1 8 9 13 15 17 22 23 25 30 31 35 41 44 45 48 54 55 56 57 61 66 67 68 73 75 77 84 89 91 94 96 97 103 109 113 115 117 118 120 121 126 132 133 135 140 141 145 149 150 154 156 160 163 168 170 171 175 176 178 181 185 188 189 190 192 194 198 200 204 205 209 213 218 219 220 221 224 226 228 229 234 235 242 243 245 251 254 261 262 265 267 272 284 286 287 288 295 296 299 304 307 312 315 318 320 328 333 334 337 341 343 346 347 a 1 8 9 13 15 17 22 23 25 30 31 35 41 44 45 48 54 55 56 57 61 66 67 68 73 75 77 84 89 91 94 96 97 103 109 113 115 117 118 120 121 126 132 133 135 140 141 145 149 150 154 156 160 163 168 170 171 175 176 178 181 185 188 189 190 192 194 198 200 204 205 209 213 218 219 220 221 223 224 226 229 234 235 242 243 245 251 254 261 262 265 267 272 284 286 287 288 295 296 299 304 307 312 315 318 320 328 333 334 337 341 343 346 347 a 1 8 9 13 15 17 22 23 25 30 31 35 41 44 45 48 54 55 56 57 61 66 67 68 73 75 77 84 89 91 94 96 97 103 109 113 115 117 118 120 121 126 132 133 135 140 141 145 149 150 154 156 160 163 168 170 171 175 176 178 181 185 188 189 190 192 194 198 200 204 205 209 213 218 219 220 221 223 224 226 229 234 235 241 242 243 245 251 254 261 262 265 267 272 284 286 287 288 295 296 299 307 312 315 318 320 328 333 334 337 341 343 346 347 a 1 8 9 13 15 17 22 23 25 30 31 35 44 45 48 54 55 56 57 61 66 67 68 73 75 77 84 89 91 94 96 97 103 109 113 115 117 118 120 121 126 132 133 135 140 141 145 149 150 154 156 160 163 168 170 171 175 176 178 181 185 188 189 190 192 194 198 200 204 205 209 213 218 219 220 221 223 224 226 229 234 235 241 242 243 245 250 251 254 261 262 265 267 272 284 286 287 288 295 296 299 307 312 315 318 320 328 333 334 337 341 343 346 347 a 1 8 9 13 15 17 22 23 25 30 31 35 44 45 48 54 55 56 57 61 66 67 68 73 75 77 84 89 91 94 96 97 103 109 113 115 117 118 120 121 126 132 133 135 140 141 145 149 150 154 156 160 163 168 171 175 176 178 181 185 188 189 190 192 194 198 200 204 205 209 213 218 219 220 221 223 224 226 229 234 235 241 242 243 245 250 251 254 261 262 265 267 272 284 286 287 288 295 296 298 299 307 312 315 318 320 328 333 334 337 341 343 346 347 a 1 8 9 13 15 17 22 23 25 30 31 35 44 45 48 54 55 56 57 61 66 67 68 73 75 77 84 89 91 94 96 97 103 109 113 115 117 118 120 121 126 132 133 135 140 141 142 145 149 150 154 156 160 163 168 171 175 176 178 181 185 188 189 190 192 194 198 200 204 205 209 213 218 219 220 221 223 224 226 234 235 241 242 243 245 250 251 254 261 262 265 267 272 284 286 287 288 295 296 298 299 307 312 315 318 320 328 333 334 337 341 343 346 347 a 1 8 9 13 15 17 22 23 25 30 31 35 44 45 48 54 55 56 57 61 66 67 68 73 75 77 84 89 91 94 96 97 103 109 113 115 117 118 120 121 126 132 133 135 140 141 142 145 149 150 154 156 160 163 168 171 175 176 178 185 188 189 190 192 194 198 200 203 204 205 209 213 218 219 220 221 223 224 226 234 235 241 242 243 245 250 251 254 261 262 265 267 272 284 286 287 288 295 296 298 299 307 312 315 318 320 328 333 334 337 341 343 346 347 a 1 8 9 13 15 17 22 23 25 30 31 35 44 45 48 54 55 56 57 61 66 67 68 73 75 77 84 89 91 94 97 103 109 113 115 117 118 120 121 126 132 133 135 140 141 142 145 149 150 154 156 160 163 168 171 175 176 178 185 188 189 190 192 194 195 198 200 203 204 205 209 213 218 219 220 221 223 224 226 234 235 241 242 243 245 250 251 254 261 262 265 267 272 284 286 287 288 295 296 298 299 307 312 315 318 320 328 333 334 337 341 343 346 347 a 1 8 9 13 15 17 22 23 25 30 31 35 44 45 48 54 55 56 57 61 66 67 68 73 75 77 84 89 91 94 97 103 109 115 117 118 120 121 126 132 133 135 140 141 142 145 149 150 154 156 160 163 168 171 175 176 178 185 188 189 190 192 194 195 198 200 203 204 205 209 213 218 219 220 221 223 224 225 226 234 235 241 242 243 245 250 251 254 261 262 265 267 272 284 286 287 288 295 296 298 299 307 312 315 318 320 328 333 334 337 341 343 346 347 a 1 8 9 13 15 17 22 23 25 30 31 35 44 45 48 54 55 56 57 61 66 67 68 73 75 77 84 89 91 94 97 103 109 115 117 118 120 121 126 132 133 135 139 140 141 142 145 149 150 154 156 160 163 168 171 175 176 178 185 188 189 190 192 194 195 198 200 203 204 205 209 213 218 219 220 221 223 224 225 226 234 235 241 242 243 245 250 251 254 261 262 265 267 272 284 286 287 288 295 296 298 299 307 312 315 318 320 328 334 337 341 343 346 347 a 1 8 9 13 15 17 22 23 25 30 31 35 44 45 48 54 55 56 57 61 66 67 68 73 75 77 84 89 91 94 97 103 109 115 117 118 120 121 126 132 133 135 139 140 141 142 145 149 150 154 156 160 163 168 171 175 176 178 185 188 189 190 192 194 195 198 200 203 204 205 209 213 218 219 220 221 223 224 225 226 234 235 241 242 243 245 250 251 254 261 262 265 267 272 286 287 288 295 296 298 299 307 308 312 315 318 320 328 334 337 341 343 346 347 a 1 8 9 13 15 16 17 22 23 25 30 31 35 44 45 48 54 55 56 57 61 66 67 68 73 75 77 84 89 91 94 97 103 109 115 117 118 120 121 126 132 133 135 139 140 141 142 145 149 150 154 156 160 163 168 171 175 176 178 185 188 189 190 192 194 195 198 200 203 204 205 209 213 218 219 220 221 223 224 225 226 234 235 241 242 243 245 250 251 261 262 265 267 272 286 287 288 295 296 298 299 307 308 312 315 318 320 328 334 337 341 343 346 347 a 1 8 9 13 15 16 17 22 23 25 30 31 35 40 44 45 48 54 55 56 57 61 66 67 68 73 75 77 84 89 91 94 97 103 109 115 117 118 120 121 126 132 133 135 139 140 141 142 145 149 150 154 156 160 163 168 171 175 176 178 185 188 189 190 192 194 195 198 200 203 204 205 209 213 218 219 220 221 223 224 225 226 234 235 241 242 243 245 250 251 261 262 265 267 272 286 287 288 295 296 298 299 307 308 312 315 318 320 328 334 341 343 346 347 a 1 8 9 13 15 16 17 22 23 25 30 31 40 44 45 48 54 55 56 57 61 66 67 68 72 73 75 77 84 89 91 94 97 103 109 115 117 118 120 121 126 132 133 135 139 140 141 142 145 149 150 154 156 160 163 168 171 175 176 178 185 188 189 190 192 194 195 198 200 203 204 205 209 213 218 219 220 221 223 224 225 226 234 235 241 242 243 245 250 251 261 262 265 267 272 286 287 288 295 296 298 299 307 308 312 315 318 320 328 334 341 343 346 347 a 1 8 9 13 15 16 17 22 23 25 30 31 40 44 45 48 54 55 56 57 61 66 67 68 72 73 75 77 79 84 89 91 94 97 103 109 115 117 118 120 121 126 132 133 135 139 140 141 142 145 149 150 154 156 160 163 171 175 176 178 185 188 189 190 192 194 195 198 200 203 204 205 209 213 218 219 220 221 223 224 225 226 234 235 241 242 243 245 250 251 261 262 265 267 272 286 287 288 295 296 298 299 307 308 312 315 318 320 328 334 341 343 346 347 a 1 8 9 13 15 16 17 22 23 25 30 31 40 44 45 48 54 55 56 57 66 67 68 72 73 75 77 79 81 84 89 91 94 97 103 109 115 117 118 120 121 126 132 133 135 139 140 141 142 145 149 150 154 156 160 163 171 175 176 178 185 188 189 190 192 194 195 198 200 203 204 205 209 213 218 219 220 221 223 224 225 226 234 235 241 242 243 245 250 251 261 262 265 267 272 286 287 288 295 296 298 299 307 308 312 315 318 320 328 334 341 343 346 347 a 1 8 9 13 15 16 17 22 23 25 30 31 40 44 45 48 54 55 56 57 66 67 68 72 73 75 77 79 81 84 89 91 94 97 103 109 115 117 118 120 121 126 132 133 135 139 140 141 142 145 149 150 154 156 160 163 171 175 176 178 185 188 189 190 192 194 195 198 200 203 204 205 209 213 218 219 220 221 223 224 225 226 234 235 241 242 243 245 250 251 258 261 262 265 267 286 287 288 295 296 298 299 307 308 312 315 318 320 328 334 341 343 346 347 a 1 8 9 13 15 16 17 22 23 25 30 31 40 44 45 48 54 55 56 57 66 67 68 72 73 75 77 79 81 84 89 91 94 97 103 109 115 117 118 120 121 126 132 133 135 139 140 141 142 149 150 154 156 160 161 163 171 175 176 178 185 188 189 190 192 194 195 198 200 203 204 205 209 213 218 219 220 221 223 224 225 226 234 235 241 242 243 245 250 251 258 261 262 265 267 286 287 288 295 296 298 299 307 308 312 315 318 320 328 334 341 343 346 347 a 1 8 9 13 15 16 17 22 23 25 31 40 44 45 48 54 55 56 57 58 66 67 68 72 73 75 77 79 81 84 89 91 94 97 103 109 115 117 118 120 121 126 132 133 135 139 140 141 142 149 150 154 156 160 161 163 171 175 176 178 185 188 189 190 192 194 195 198 200 203 204 205 209 213 218 219 220 221 223 224 225 226 234 235 241 242 243 245 250 251 258 261 262 265 267 286 287 288 295 296 298 299 307 308 312 315 318 320 328 334 341 343 346 347 a 1 8 9 13 15 16 17 22 23 25 31 40 44 45 48 54 55 56 57 58 66 67 68 72 73 75 77 79 81 84 89 91 94 97 103 109 115 117 118 120 121 126 132 133 135 139 140 141 142 149 150 152 154 156 160 161 163 171 175 176 178 185 188 189 190 192 194 195 198 200 203 204 205 209 213 218 219 220 221 223 224 225 226 234 235 241 242 243 245 250 251 258 261 262 265 267 286 287 288 295 298 299 307 308 312 315 318 320 328 334 341 343 346 347 a 1 8 9 13 15 16 17 22 23 25 31 40 44 45 48 54 55 56 57 58 66 67 68 72 73 75 77 79 81 84 89 91 94 97 103 109 115 117 118 120 121 126 127 132 133 135 139 140 141 142 149 150 152 154 156 160 161 163 171 175 176 178 185 188 189 190 192 194 195 198 200 203 205 209 213 218 219 220 221 223 224 225 226 234 235 241 242 243 245 250 251 258 261 262 265 267 286 287 288 295 298 299 307 308 312 315 318 320 328 334 341 343 346 347 a 1 8 9 13 15 16 17 22 23 25 31 40 44 45 48 54 55 56 57 58 66 67 68 72 73 75 77 79 81 84 89 91 94 97 103 109 115 117 118 120 121 126 127 132 133 135 139 140 141 142 149 150 152 154 156 160 161 163 171 175 176 178 185 188 189 190 192 194 195 198 200 203 209 213 218 219 220 221 223 224 225 226 234 235 241 242 243 245 250 251 258 261 262 265 267 286 287 288 295 298 299 307 308 312 315 316 318 320 328 334 341 343 346 347 a 1 8 9 13 15 16 17 22 23 25 31 40 44 45 48 54 55 56 57 58 66 67 68 72 73 75 77 79 81 84 89 91 94 97 103 109 117 118 120 121 126 127 132 133 135 139 140 141 142 149 150 152 154 156 160 161 163 171 174 175 176 178 185 188 189 190 192 194 195 198 200 203 209 213 218 219 220 221 223 224 225 226 234 235 241 242 243 245 250 251 258 261 262 265 267 286 287 288 295 298 299 307 308 312 315 316 318 320 328 334 341 343 346 347 a 1 8 9 13 15 16 17 22 23 25 31 40 44 45 48 54 55 56 57 58 66 67 68 72 73 75 77 79 81 84 89 91 94 97 103 105 109 117 120 121 126 127 132 133 135 139 140 141 142 149 150 152 154 156 160 161 163 171 174 175 176 178 185 188 189 190 192 194 195 198 200 203 209 213 218 219 220 221 223 224 225 226 234 235 241 242 243 245 250 251 258 261 262 265 267 286 287 288 295 298 299 307 308 312 315 316 318 320 328 334 341 343 346 347 a 1 8 9 13 15 16 17 22 23 25 31 38 40 44 45 48 54 55 56 57 58 66 67 68 72 73 75 77 79 81 84 89 91 94 97 103 105 109 117 120 121 126 127 132 133 135 139 140 141 142 149 150 152 154 156 160 161 163 171 174 175 176 178 185 188 189 190 192 194 195 198 200 203 209 213 218 219 220 221 223 224 225 226 234 235 241 242 243 245 250 251 258 261 262 265 267 286 287 288 295 298 299 307 308 312 315 316 318 320 334 341 343 346 347 a 1 8 9 13 15 16 17 22 23 25 31 38 40 44 45 48 54 55 56 57 58 66 67 68 72 73 75 77 79 81 84 89 91 94 103 105 109 117 120 121 126 127 128 132 133 135 139 140 141 142 149 150 152 154 156 160 161 163 171 174 175 176 178 185 188 189 190 192 194 195 198 200 203 209 213 218 219 220 221 223 224 225 226 234 235 241 242 243 245 250 251 258 261 262 265 267 286 287 288 295 298 299 307 308 312 315 316 318 320 334 341 343 346 347 a 1 8 9 13 15 16 17 22 23 25 31 38 40 44 45 48 54 55 56 57 58 66 67 68 72 73 75 77 79 81 84 89 91 94 103 105 109 117 120 121 126 127 128 132 133 135 139 140 141 142 149 150 152 154 156 160 161 163 171 174 175 176 178 185 186 188 189 190 192 194 195 198 200 203 209 213 218 219 220 221 223 224 225 226 234 235 241 242 243 245 250 251 258 261 262 265 267 286 287 295 298 299 307 308 312 315 316 318 320 334 341 343 346 347 a 1 6 8 9 13 15 16 17 22 23 25 31 38 40 44 45 48 54 55 56 57 58 66 67 68 72 73 75 77 79 81 84 89 91 94 103 105 109 117 120 121 126 127 128 132 133 135 139 140 141 142 149 150 152 154 156 160 161 163 171 174 175 176 178 185 186 188 189 190 192 194 195 198 200 203 209 213 218 219 220 221 223 224 225 234 235 241 242 243 245 250 251 258 261 262 265 267 286 287 295 298 299 307 308 312 315 316 318 320 334 341 343 346 347 a 1 6 8 9 13 15 16 17 22 23 25 31 38 40 44 45 48 54 55 56 57 58 66 67 68 72 73 75 77 79 81 84 89 91 94 103 105 109 117 120 121 122 126 127 128 132 133 135 139 140 141 142 149 150 152 154 156 160 161 163 171 174 175 176 178 185 186 188 189 190 192 194 195 198 200 203 209 213 218 219 220 221 223 224 225 234 235 241 242 243 245 250 251 258 261 262 265 267 286 287 295 298 299 307 308 312 315 316 318 320 334 341 343 346 a 1 6 8 9 13 15 16 17 22 23 25 31 38 40 44 45 48 54 55 56 57 58 66 67 68 72 73 75 77 79 81 84 89 91 94 103 105 109 114 117 120 122 126 127 128 132 133 135 139 140 141 142 149 150 152 154 156 160 161 163 171 174 175 176 178 185 186 188 189 190 192 194 195 198 200 203 209 213 218 219 220 221 223 224 225 234 235 241 242 243 245 250 251 258 261 262 265 267 286 287 295 298 299 307 308 312 315 316 318 320 334 341 343 346 a 1 6 8 9 13 15 16 17 22 23 25 31 38 40 44 45 48 54 55 56 57 58 66 67 68 72 73 75 77 79 81 84 89 91 94 103 105 109 114 117 120 122 126 127 128 132 133 135 139 140 141 142 149 150 152 154 156 160 161 163 171 174 175 176 178 185 186 188 190 192 194 195 198 200 203 209 213 218 219 220 221 223 224 225 234 235 241 242 243 245 250 251 258 261 262 265 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 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 117 120 122 126 127 128 132 133 135 139 140 141 142 149 150 152 154 156 160 161 163 171 174 175 176 178 185 186 188 190 192 194 195 198 200 203 209 213 218 219 220 221 223 224 225 234 235 241 242 243 245 250 251 258 261 262 265 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 117 120 122 126 127 128 132 133 135 139 140 141 142 150 152 154 156 160 161 163 171 174 175 176 178 185 186 188 190 192 194 195 198 200 203 209 213 218 219 220 221 223 224 225 234 235 241 242 243 245 250 251 258 261 262 265 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 171 174 175 176 178 185 186 188 190 192 194 195 198 200 203 209 213 218 219 220 221 223 224 225 234 235 241 242 243 245 250 251 258 261 262 265 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 194 195 198 200 203 206 209 213 218 219 220 221 223 224 225 234 235 241 242 243 245 250 251 258 261 262 265 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 194 195 198 200 203 206 208 209 213 218 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 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 218 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: 128 Command being timed: "python3 run_3.py --existent --na -t4 /benchmark/random_instance/random_instance027_graph005.col /benchmark/random_instance/random_instance027_graph005_01.dat" User time (seconds): 544.11 System time (seconds): 7.96 Percent of CPU this job got: 151% Elapsed (wall clock) time (h:mm:ss or m:ss): 6:04.99 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): 21543320 Average resident set size (kbytes): 0 Major (requiring I/O) page faults: 1 Minor (reclaiming a frame) page faults: 7739228 Voluntary context switches: 386864 Involuntary context switches: 2294 Swaps: 0 File system inputs: 0 File system outputs: 744 Socket messages sent: 0 Socket messages received: 0 Signals delivered: 0 Page size (bytes): 4096 Exit status: 0 #END: [Mon Sep 4 12:19:36 2023]