#BEGIN: [Tue Sep 26 01:47:41 2023] #HOST: s02 #TIMELIMIT: 1800 #MEMLIMIT: 0 #SOLVER: existent-cpu-banbaralab2-existent3 #INSTANCE1: /benchmark/random_instance/random_instance027_graph003.col #INSTANCE2: /benchmark/random_instance/random_instance027_graph003_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_graph003.col /benchmark/random_instance/random_instance027_graph003_01.dat c /benchmark/random_instance/random_instance027_graph003.col c /benchmark/random_instance/random_instance027_graph003_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 23 317 283 65 287 16 274 1 326 18 286 167 333 197 111 74 342 84 215 213 273 299 231 349 20 247 211 304 88 310 224 294 113 42 25 191 154 330 138 340 124 49 263 156 219 314 265 29 146 129 207 281 322 189 64 54 97 271 192 159 339 14 341 248 180 323 276 46 30 45 135 336 182 288 239 27 348 99 344 267 91 306 270 90 144 251 28 321 307 61 168 223 183 85 252 300 346 200 245 3 134 241 208 331 260 198 147 81 338 298 100 318 58 5 t 202 190 92 349 123 336 200 34 56 58 59 143 329 43 125 201 121 133 341 2 318 273 230 135 97 29 150 351 275 227 173 18 315 74 71 265 295 33 31 118 148 242 196 338 271 215 172 15 100 345 317 343 147 348 245 216 126 65 249 316 268 321 48 291 188 91 310 218 266 239 219 94 111 68 170 62 328 339 17 253 89 288 195 221 208 217 246 149 325 113 284 52 305 163 298 278 164 80 178 3 35 306 16 280 9 191 129 85 234 319 238 243 116 344 a YES a 1 3 5 14 16 18 20 23 25 27 28 29 30 42 45 46 49 54 58 61 64 65 74 81 84 85 88 90 91 97 99 100 111 113 124 129 134 135 138 144 146 147 154 156 159 167 168 180 182 183 189 191 192 197 198 200 207 208 211 213 215 219 223 224 231 239 241 245 247 248 251 252 260 263 265 267 270 271 273 274 276 281 283 286 287 288 294 298 299 300 304 306 307 310 314 317 318 321 322 323 326 330 331 333 336 338 339 340 341 342 344 346 348 349 a 1 3 5 14 16 18 20 23 25 27 28 29 30 42 45 46 49 54 58 61 64 65 74 81 84 85 88 90 91 97 99 100 111 113 124 129 134 135 138 144 146 147 154 156 159 167 168 180 182 183 189 191 192 197 198 200 207 208 211 213 219 223 224 231 239 241 245 247 248 251 252 254 260 263 265 267 270 271 273 274 276 281 283 286 287 288 294 298 299 300 304 306 307 310 314 317 318 321 322 323 326 330 331 333 336 338 339 340 341 342 344 346 348 349 a 1 3 5 14 16 18 20 23 25 27 28 29 30 42 45 46 49 54 58 61 64 65 71 74 81 84 85 88 90 91 97 99 100 111 113 124 129 134 135 138 144 146 147 154 156 159 167 168 180 182 183 189 191 192 197 198 200 207 208 211 213 219 223 224 231 239 241 245 247 248 251 252 254 260 263 265 267 270 271 273 274 276 281 286 287 288 294 298 299 300 304 306 307 310 314 317 318 321 322 323 326 330 331 333 336 338 339 340 341 342 344 346 348 349 a 1 3 5 14 16 18 20 23 25 27 28 29 30 42 45 46 49 54 58 61 64 65 71 74 81 84 85 88 90 91 97 99 100 111 113 124 129 134 135 138 144 146 147 154 156 159 167 168 180 182 183 189 191 192 197 198 200 207 208 211 213 219 223 224 231 239 241 245 247 248 251 252 254 260 263 265 267 270 271 273 274 276 281 286 287 288 294 298 299 300 304 305 306 307 310 314 317 318 321 322 323 326 330 331 336 338 339 340 341 342 344 346 348 349 a 1 3 5 14 16 18 20 23 25 27 28 29 30 42 45 46 49 54 58 61 64 65 71 74 81 84 85 88 90 91 97 99 100 111 113 124 129 134 135 138 144 146 147 154 156 159 167 168 180 182 183 189 191 192 197 198 200 206 207 208 211 213 219 223 224 231 239 241 245 247 248 251 252 254 260 263 265 267 270 271 273 274 276 281 286 287 288 294 298 299 300 304 305 306 307 310 314 317 318 321 322 323 326 330 331 336 338 339 340 341 342 344 346 348 a 1 3 5 14 16 18 20 23 25 27 28 29 30 42 45 46 49 54 58 61 64 65 71 74 81 84 85 88 90 91 97 99 100 111 113 124 129 134 135 138 144 146 147 154 156 159 167 168 180 182 183 189 191 192 196 197 198 200 206 207 208 211 213 219 223 224 231 239 241 245 247 248 251 252 254 260 263 265 267 270 271 273 276 281 286 287 288 294 298 299 300 304 305 306 307 310 314 317 318 321 322 323 326 330 331 336 338 339 340 341 342 344 346 348 a 1 3 5 14 16 18 20 23 25 27 28 29 30 42 45 46 49 54 58 61 64 65 71 74 81 84 85 88 90 91 97 99 100 111 113 124 129 134 135 138 144 146 147 154 156 159 165 167 168 180 182 183 189 191 192 196 197 198 200 206 207 208 211 213 219 223 224 231 239 241 245 247 248 251 252 254 260 263 265 267 270 271 273 276 281 286 287 288 294 298 299 300 304 305 306 307 310 314 317 318 321 322 323 326 330 331 336 338 339 340 341 342 344 348 a 1 3 5 14 16 18 20 23 25 27 28 29 30 42 45 46 49 54 58 61 64 65 71 74 81 84 85 88 90 91 97 100 111 113 124 129 134 135 138 144 146 147 154 156 159 165 167 168 180 182 183 189 191 192 196 197 198 200 206 207 208 211 213 219 223 224 231 239 241 245 247 248 251 252 254 260 263 265 267 270 271 273 276 281 286 287 288 294 298 299 300 304 305 306 307 310 314 317 318 321 322 323 326 330 331 336 338 339 340 341 342 344 348 349 a 1 3 5 14 16 18 20 23 25 27 28 29 30 42 45 46 49 54 58 61 64 65 71 74 81 84 85 88 90 91 97 100 111 113 124 129 134 138 144 146 147 154 156 159 165 167 168 180 182 183 189 191 192 196 197 198 200 206 207 208 211 213 219 223 224 231 239 241 245 247 248 251 252 254 260 263 265 267 270 271 273 276 281 286 287 288 294 298 299 300 303 304 305 306 307 310 314 317 318 321 322 323 326 330 331 336 338 339 340 341 342 344 348 349 a 1 3 5 14 16 18 20 23 25 27 28 29 30 42 45 46 49 58 61 64 65 71 74 81 84 85 88 90 91 97 100 111 113 121 124 129 134 138 144 146 147 154 156 159 165 167 168 180 182 183 189 191 192 196 197 198 200 206 207 208 211 213 219 223 224 231 239 241 245 247 248 251 252 254 260 263 265 267 270 271 273 276 281 286 287 288 294 298 299 300 303 304 305 306 307 310 314 317 318 321 322 323 326 330 331 336 338 339 340 341 342 344 348 349 a 1 3 5 14 16 18 20 23 25 27 28 29 30 42 45 46 49 58 61 64 65 71 74 81 84 85 88 90 91 97 100 111 113 121 124 129 134 138 144 146 147 154 156 159 165 167 168 180 182 183 189 191 192 197 198 200 206 207 208 211 213 219 223 224 231 239 241 245 247 248 251 252 254 260 263 265 267 270 271 273 274 276 281 286 287 288 294 298 299 300 303 304 305 306 307 310 314 317 318 321 322 323 326 330 331 336 338 339 340 341 342 344 348 349 a 1 3 5 14 16 18 20 23 25 27 28 29 30 42 45 46 49 54 58 61 64 65 71 74 81 84 85 88 90 91 97 100 111 113 124 129 134 138 144 146 147 154 156 159 165 167 168 180 182 183 189 191 192 197 198 200 206 207 208 211 213 219 223 224 231 239 241 245 247 248 251 252 254 260 263 265 267 270 271 273 274 276 281 286 287 288 294 298 299 300 303 304 305 306 307 310 314 317 318 321 322 323 326 330 331 336 338 339 340 341 342 344 348 349 a 1 3 5 14 16 18 20 23 25 27 28 29 30 42 45 46 49 54 58 61 64 65 71 74 81 84 85 88 90 91 97 100 111 113 124 129 134 138 144 146 147 154 156 159 165 167 168 180 182 183 189 191 192 194 197 198 200 206 207 208 211 213 219 223 224 231 239 241 245 247 248 251 252 254 260 263 265 267 270 271 273 274 276 281 286 287 288 294 298 299 300 303 304 305 306 307 310 314 317 318 321 322 323 326 330 331 336 338 339 340 341 342 344 348 a 1 3 5 14 16 18 20 23 25 27 28 29 30 42 45 46 49 58 61 64 65 71 74 81 84 85 88 90 91 97 100 111 113 121 124 129 134 138 144 146 147 154 156 159 165 167 168 180 182 183 189 191 192 194 197 198 200 206 207 208 211 213 219 223 224 231 239 241 245 247 248 251 252 254 260 263 265 267 270 271 273 274 276 281 286 287 288 294 298 299 300 303 304 305 306 307 310 314 317 318 321 322 323 326 330 331 336 338 339 340 341 342 344 348 a 1 3 5 14 18 20 23 25 27 28 29 30 42 45 46 49 58 61 64 65 71 74 81 84 85 88 90 91 97 100 111 113 121 124 129 134 138 144 146 147 154 156 159 165 167 168 180 182 183 189 191 192 194 197 198 200 206 207 208 211 213 219 223 224 231 239 241 245 247 248 251 252 254 258 260 263 265 267 270 271 273 274 276 281 286 287 288 294 298 299 300 303 304 305 306 307 310 314 317 318 321 322 323 326 330 331 336 338 339 340 341 342 344 348 a 1 3 5 14 18 20 23 25 27 28 29 30 42 45 46 49 58 61 64 65 71 74 81 84 85 88 90 91 97 99 100 111 113 124 129 134 138 144 146 147 154 156 159 165 167 168 180 182 183 189 191 192 194 197 198 200 206 207 208 211 213 219 223 224 231 239 241 245 247 248 251 252 254 258 260 263 265 267 270 271 273 274 276 281 286 287 288 294 298 299 300 303 304 305 306 307 310 314 317 318 321 322 323 326 330 331 336 338 339 340 341 342 344 348 a 1 3 5 14 18 20 23 25 27 28 29 30 42 45 46 49 51 58 61 64 65 71 81 84 85 88 90 91 97 99 100 111 113 124 129 134 138 144 146 147 154 156 159 165 167 168 180 182 183 189 191 192 194 197 198 200 206 207 208 211 213 219 223 224 231 239 241 245 247 248 251 252 254 258 260 263 265 267 270 271 273 274 276 281 286 287 288 294 298 299 300 303 304 305 306 307 310 314 317 318 321 322 323 326 330 331 336 338 339 340 341 342 344 348 a 1 3 5 14 18 20 23 25 27 28 29 30 42 45 46 49 51 58 61 64 65 71 81 84 85 88 90 91 97 99 100 109 111 113 124 129 134 138 144 146 147 154 156 159 165 167 168 180 182 183 189 191 192 194 197 198 200 206 207 211 213 219 223 224 231 239 241 245 247 248 251 252 254 258 260 263 265 267 270 271 273 274 276 281 286 287 288 294 298 299 300 303 304 305 306 307 310 314 317 318 321 322 323 326 330 331 336 338 339 340 341 342 344 348 a 1 3 5 14 18 20 23 25 27 28 29 30 42 45 46 49 51 58 61 64 65 71 81 84 85 88 90 91 97 99 100 109 111 113 124 129 134 138 144 146 147 154 156 159 165 167 168 180 182 183 189 191 192 194 197 198 200 206 207 211 213 223 224 231 239 241 245 247 248 251 252 254 258 260 263 265 267 270 271 273 274 276 281 286 287 288 294 298 299 300 303 304 305 306 307 310 314 317 318 321 322 323 326 330 331 336 338 339 340 341 342 344 347 348 a 1 3 5 14 18 20 23 25 27 28 29 30 42 45 46 49 51 58 61 64 65 71 81 84 85 88 90 97 99 100 109 111 113 124 129 134 138 144 146 147 151 154 156 159 165 167 168 180 182 183 189 191 192 194 197 198 200 206 207 211 213 223 224 231 239 241 245 247 248 251 252 254 258 260 263 265 267 270 271 273 274 276 281 286 287 288 294 298 299 300 303 304 305 306 307 310 314 317 318 321 322 323 326 330 331 336 338 339 340 341 342 344 347 348 a 1 3 5 14 18 20 23 25 27 28 29 30 42 45 46 49 51 58 61 64 65 71 81 84 85 88 90 97 99 100 109 111 113 124 129 134 138 144 146 147 151 154 156 159 165 168 180 182 183 189 191 192 194 195 197 198 200 206 207 211 213 223 224 231 239 241 245 247 248 251 252 254 258 260 263 265 267 270 271 273 274 276 281 286 287 288 294 298 299 300 303 304 305 306 307 310 314 317 318 321 322 323 326 330 331 336 338 339 340 341 342 344 347 348 a 1 3 5 14 18 20 23 25 27 28 29 30 42 45 46 49 51 58 61 64 65 71 81 84 85 88 90 97 99 100 109 111 113 124 129 134 138 144 146 147 151 154 156 159 165 168 170 180 182 183 189 191 192 194 195 197 198 200 206 207 211 213 223 224 231 239 241 245 247 248 251 252 254 258 260 263 265 267 270 271 273 274 276 281 286 287 288 294 298 299 300 303 304 305 306 307 310 314 317 318 321 322 323 330 331 336 338 339 340 341 342 344 347 348 a 1 3 5 14 18 20 23 25 27 28 29 30 42 46 49 51 58 61 64 65 71 81 84 85 88 90 97 99 100 109 111 113 124 129 134 138 144 146 147 151 154 156 159 165 168 170 180 182 183 189 191 192 194 195 197 198 200 206 207 211 213 223 224 231 239 241 245 247 248 251 252 254 258 260 263 265 267 270 271 273 274 276 281 286 287 288 294 298 299 300 303 304 305 306 307 310 314 317 318 321 322 323 330 331 336 338 339 340 341 342 344 347 348 349 a 1 3 5 14 18 20 23 25 27 28 29 30 42 46 49 51 58 61 64 65 71 81 84 85 88 90 97 99 100 111 113 124 129 134 138 144 146 147 151 154 156 159 165 168 170 180 182 183 189 191 192 194 195 197 198 200 206 207 208 211 213 223 224 231 239 241 245 247 248 251 252 254 258 260 263 265 267 270 271 273 274 276 281 286 287 288 294 298 299 300 303 304 305 306 307 310 314 317 318 321 322 323 330 331 336 338 339 340 341 342 344 347 348 349 a 1 3 5 14 18 20 23 25 27 28 29 30 42 46 49 51 58 61 64 65 71 81 84 85 88 90 97 99 100 111 113 124 129 134 138 144 146 147 151 154 156 159 165 168 170 180 182 183 189 191 192 194 195 197 198 200 206 207 208 211 213 223 224 231 239 241 245 247 248 251 252 254 258 260 263 265 267 270 271 273 274 276 281 286 287 288 294 298 299 300 303 304 305 306 307 310 314 315 317 318 321 322 323 331 336 338 339 340 341 342 344 347 348 349 a 1 3 5 14 18 20 23 25 27 28 29 30 42 46 49 51 58 64 65 71 81 84 85 88 90 97 99 100 111 113 124 129 134 138 144 146 147 151 154 156 159 162 165 168 170 180 182 183 189 191 192 194 195 197 198 200 206 207 208 211 213 223 224 231 239 241 245 247 248 251 252 254 258 260 263 265 267 270 271 273 274 276 281 286 287 288 294 298 299 300 303 304 305 306 307 310 314 315 317 318 321 322 323 331 336 338 339 340 341 342 344 347 348 349 a 1 3 5 14 18 20 23 25 27 28 29 30 42 46 49 51 58 64 65 71 81 82 84 85 88 90 97 99 100 111 113 124 129 134 138 144 146 147 151 154 156 159 162 165 168 170 180 182 183 189 191 192 194 195 197 198 200 206 207 208 211 213 223 224 231 239 241 245 247 248 251 252 254 258 260 263 265 267 270 271 273 274 276 281 286 287 288 294 298 299 300 303 304 305 306 307 310 314 315 317 318 321 322 323 331 336 338 339 340 342 344 347 348 349 a 1 3 5 14 18 20 23 25 27 28 29 30 42 46 49 51 58 64 65 71 81 82 84 85 88 90 97 99 100 111 113 124 129 134 138 144 146 147 151 154 156 159 162 165 168 170 180 182 183 189 191 192 194 195 197 198 200 206 207 208 211 212 213 223 224 231 239 241 245 247 248 251 252 254 258 260 263 265 267 270 273 274 276 281 286 287 288 294 298 299 300 303 304 305 306 307 310 314 315 317 318 321 322 323 331 336 338 339 340 342 344 347 348 349 a 1 3 5 14 18 20 23 25 27 28 29 30 42 46 49 51 58 64 65 71 81 82 84 85 88 90 97 100 111 113 121 124 129 134 138 144 146 147 151 154 156 159 162 165 168 170 180 182 183 189 191 192 194 195 197 198 200 206 207 208 211 212 213 223 224 231 239 241 245 247 248 251 252 254 258 260 263 265 267 270 273 274 276 281 286 287 288 294 298 299 300 303 304 305 306 307 310 314 315 317 318 321 322 323 331 336 338 339 340 342 344 347 348 349 a 1 3 5 14 18 20 23 25 27 28 29 30 42 46 49 51 58 64 65 71 81 82 84 85 90 97 100 111 113 121 124 129 134 138 142 144 146 147 151 154 156 159 162 165 168 170 180 182 183 189 191 192 194 195 197 198 200 206 207 208 211 212 213 223 224 231 239 241 245 247 248 251 252 254 258 260 263 265 267 270 273 274 276 281 286 287 288 294 298 299 300 303 304 305 306 307 310 314 315 317 318 321 322 323 331 336 338 339 340 342 344 347 348 349 a 1 3 5 8 14 18 20 23 25 27 28 29 30 42 46 49 51 58 64 65 71 81 82 84 85 90 97 100 111 113 121 124 129 134 138 142 144 146 147 151 154 156 159 162 165 168 170 180 182 183 189 191 192 194 195 197 198 200 206 207 208 211 212 213 223 224 231 239 241 245 247 248 251 252 254 258 260 263 265 267 270 273 274 276 281 286 287 288 294 298 299 300 303 304 305 306 307 310 314 315 317 318 321 322 323 331 336 338 339 342 344 347 348 349 a 1 3 5 8 14 18 20 23 25 27 28 29 30 42 46 49 51 58 64 65 71 81 82 84 85 90 97 100 104 111 113 121 124 129 134 138 142 144 146 147 151 154 156 159 162 165 168 170 180 182 183 189 191 192 194 195 197 198 200 206 207 208 211 212 213 223 224 231 239 241 245 247 248 251 252 254 258 260 263 265 267 270 273 274 276 281 286 287 288 294 298 299 300 303 304 305 306 307 310 314 315 317 318 321 322 323 331 338 339 342 344 347 348 349 a 1 3 5 8 14 18 20 23 25 27 28 29 30 42 46 49 51 58 64 65 71 81 82 84 85 90 97 100 104 111 113 121 124 129 134 138 142 144 146 147 151 154 156 159 162 165 170 180 182 183 189 191 192 194 195 197 198 200 206 207 208 211 212 213 223 224 231 239 241 245 247 248 251 252 254 258 260 263 265 267 269 270 273 274 276 281 286 287 288 294 298 299 300 303 304 305 306 307 310 314 315 317 318 321 322 323 331 338 339 342 344 347 348 349 a 1 3 5 8 14 18 20 23 25 27 28 29 30 42 46 49 51 58 64 65 71 81 82 84 85 90 97 100 104 111 113 121 124 129 134 138 142 144 146 147 151 154 156 159 162 165 170 180 182 183 189 191 192 194 195 197 198 200 206 207 208 211 212 213 218 223 224 231 239 241 245 247 248 251 252 254 258 260 263 265 267 269 270 273 274 276 281 286 287 288 294 298 300 303 304 305 306 307 310 314 315 317 318 321 322 323 331 338 339 342 344 347 348 349 a 1 2 3 5 8 14 18 20 23 25 27 28 29 30 42 46 49 51 58 64 65 71 81 82 84 85 90 97 100 104 111 113 121 124 129 134 138 142 144 146 147 151 154 156 159 162 165 170 180 182 183 189 191 192 194 195 198 200 206 207 208 211 212 213 218 223 224 231 239 241 245 247 248 251 252 254 258 260 263 265 267 269 270 273 274 276 281 286 287 288 294 298 300 303 304 305 306 307 310 314 315 317 318 321 322 323 331 338 339 342 344 347 348 349 a 1 2 3 5 8 14 18 20 23 25 27 28 29 30 42 46 49 51 58 64 65 71 81 82 84 85 90 97 100 104 111 113 121 124 129 134 138 142 144 146 147 151 154 156 159 162 165 170 180 182 183 189 191 192 194 195 198 200 206 207 208 211 212 213 218 223 224 231 239 241 245 247 248 251 252 254 258 260 263 265 267 269 270 273 274 276 281 286 287 288 294 298 300 303 304 305 306 307 310 314 317 318 321 322 323 330 331 338 339 342 344 347 348 349 a 1 2 3 5 8 14 18 20 23 25 27 28 29 30 38 42 46 49 51 58 64 65 71 81 82 84 85 90 97 100 104 111 113 121 124 129 134 138 142 144 146 147 151 154 156 159 162 165 170 180 182 183 189 191 192 194 195 198 200 206 207 208 211 212 218 223 224 231 239 241 245 247 248 251 252 254 258 260 263 265 267 269 270 273 274 276 281 286 287 288 294 298 300 303 304 305 306 307 310 314 317 318 321 322 323 330 331 338 339 342 344 347 348 349 a 1 2 3 5 8 14 18 20 23 25 27 28 29 30 38 42 49 51 58 64 65 71 81 82 84 85 90 97 100 104 111 113 121 124 129 134 138 142 144 146 147 151 154 156 159 162 165 170 178 180 182 183 189 191 192 194 195 198 200 206 207 208 211 212 218 223 224 231 239 241 245 247 248 251 252 254 258 260 263 265 267 269 270 273 274 276 281 286 287 288 294 298 300 303 304 305 306 307 310 314 317 318 321 322 323 330 331 338 339 342 344 347 348 349 a 1 2 3 5 8 14 18 20 23 25 27 28 29 30 38 42 49 51 58 64 65 71 81 82 84 85 90 97 100 104 111 113 121 124 129 134 138 142 144 146 147 151 154 156 159 162 165 170 178 180 182 183 189 191 192 194 195 198 200 206 207 208 211 212 218 223 224 231 239 241 245 247 248 251 252 254 258 260 263 265 267 269 270 273 274 276 281 286 287 288 294 298 300 303 304 305 306 307 310 314 315 317 318 321 322 323 331 338 339 342 344 347 348 349 a 1 2 3 5 8 14 18 20 23 25 27 28 29 30 38 42 46 49 51 58 64 65 71 81 82 84 85 90 97 100 104 111 113 121 124 129 134 138 142 144 146 147 151 154 156 159 162 165 170 180 182 183 189 191 192 194 195 198 200 206 207 208 211 212 218 223 224 231 239 241 245 247 248 251 252 254 258 260 263 265 267 269 270 273 274 276 281 286 287 288 294 298 300 303 304 305 306 307 310 314 315 317 318 321 322 323 331 338 339 342 344 347 348 349 a 1 2 3 5 8 14 18 20 23 25 27 28 29 30 38 42 46 49 51 58 64 65 71 81 84 85 90 97 100 104 111 113 121 124 129 134 138 142 144 146 147 151 154 156 159 162 165 170 180 182 183 189 191 192 194 195 198 200 206 207 208 211 212 218 223 224 231 239 241 245 247 248 251 252 254 258 260 263 265 267 269 270 273 274 276 281 286 287 288 294 298 300 303 304 305 306 307 310 314 315 317 318 321 322 323 331 338 339 341 342 344 347 348 349 a 1 2 3 5 8 14 18 20 23 25 27 28 29 30 38 42 46 49 51 58 64 65 71 81 84 85 90 97 100 104 111 113 121 124 129 134 138 142 144 146 147 151 154 156 159 162 165 170 180 182 183 191 192 194 195 198 200 206 207 208 211 212 218 223 224 231 239 241 245 247 248 251 252 254 258 260 263 265 267 269 270 273 274 276 281 286 287 288 294 295 298 300 303 304 305 306 307 310 314 315 317 318 321 322 323 331 338 339 341 342 344 347 348 349 a 1 2 3 5 8 14 18 20 23 25 27 28 29 30 38 42 46 49 51 58 64 65 71 81 84 85 90 97 100 104 111 113 121 124 129 134 138 142 144 146 147 151 154 156 159 162 165 170 180 182 183 191 192 194 195 198 200 204 206 207 208 211 212 218 223 224 231 239 241 245 247 248 251 252 254 258 260 263 265 267 269 270 273 274 276 281 286 287 288 294 295 298 300 303 304 305 306 307 310 314 315 317 318 321 322 323 331 338 339 341 342 344 347 348 a 1 2 3 5 8 14 18 20 23 25 27 28 29 30 38 42 46 49 51 58 64 65 71 76 81 84 85 90 97 100 104 111 113 121 124 129 134 138 142 144 146 147 151 154 156 159 162 165 170 180 182 183 191 192 194 195 198 200 204 206 207 208 211 212 218 223 224 231 239 241 245 247 248 251 252 254 258 260 263 265 267 269 270 273 274 276 281 286 287 288 294 295 298 300 303 304 305 306 307 310 314 315 317 318 321 322 323 331 338 339 342 344 347 348 a 1 2 3 5 8 14 18 20 23 25 27 28 29 30 38 42 46 49 51 58 64 65 71 76 81 84 85 90 97 100 104 111 113 121 124 129 134 138 142 144 146 147 151 154 156 159 162 165 170 180 182 183 191 192 194 195 198 200 204 206 207 208 211 212 218 223 224 231 239 240 241 245 247 248 251 252 254 258 260 263 265 269 270 273 274 276 281 286 287 288 294 295 298 300 303 304 305 306 307 310 314 315 317 318 321 322 323 331 338 339 342 344 347 348 a 1 2 3 5 8 14 18 20 23 25 27 28 29 30 38 42 46 49 50 51 58 64 65 71 76 81 84 85 90 97 100 104 111 113 124 129 134 138 142 144 146 147 151 154 156 159 162 165 170 180 182 183 191 192 194 195 198 200 204 206 207 208 211 212 218 223 224 231 239 240 241 245 247 248 251 252 254 258 260 263 265 269 270 273 274 276 281 286 287 288 294 295 298 300 303 304 305 306 307 310 314 315 317 318 321 322 323 331 338 339 342 344 347 348 a 1 2 3 5 8 14 18 20 23 25 27 28 29 30 38 42 46 49 50 58 64 65 71 76 81 84 85 90 97 100 104 111 113 124 129 134 138 142 144 146 147 151 154 156 159 162 165 170 180 182 183 191 192 194 195 198 200 204 206 207 208 211 212 218 223 224 231 239 240 241 245 247 248 251 252 254 258 260 263 265 269 270 273 274 276 281 286 287 288 294 295 298 300 303 304 305 306 307 310 314 315 317 318 321 322 323 331 338 339 342 344 347 348 349 a 1 2 3 5 8 14 18 20 23 25 27 28 29 30 38 42 46 49 50 54 58 64 65 71 76 81 84 85 90 97 100 104 111 113 124 129 134 138 142 144 146 147 151 154 156 159 162 165 170 180 182 183 191 192 194 195 198 200 204 206 207 208 211 212 218 223 224 231 239 240 241 245 247 248 251 252 254 258 260 263 265 269 270 273 274 276 281 286 287 288 294 295 298 300 303 304 305 306 307 310 314 315 317 318 321 322 323 331 338 339 342 344 348 349 a 1 2 3 5 8 18 20 23 25 27 28 29 30 38 42 46 49 50 54 58 64 65 71 76 81 84 85 90 97 100 104 111 113 124 129 134 138 142 144 146 147 151 154 156 159 162 165 170 180 182 183 191 192 194 195 198 200 204 206 207 208 211 212 218 223 224 231 239 240 241 245 247 248 251 252 254 258 260 263 265 269 270 273 274 276 281 286 287 288 292 294 295 298 300 303 304 305 306 307 310 314 315 317 318 321 322 323 331 338 339 342 344 348 349 a 1 2 3 5 8 18 20 23 25 27 28 29 30 38 42 46 49 50 54 58 64 65 71 76 81 84 85 90 97 100 111 113 124 129 134 138 142 144 146 147 151 154 156 159 162 165 170 180 182 183 191 192 194 195 198 200 204 206 207 208 211 212 218 223 224 231 239 240 241 245 247 248 251 252 254 258 260 263 265 269 270 273 274 276 281 286 287 288 292 294 295 298 300 303 304 305 306 307 310 314 315 317 318 321 322 323 326 331 338 339 342 344 348 349 a 1 2 3 5 18 20 23 25 27 28 29 30 38 42 46 49 50 54 58 64 65 71 76 81 84 85 90 97 100 111 113 124 129 134 138 142 144 146 147 151 154 156 159 162 165 170 180 182 183 191 192 194 195 198 200 204 206 207 208 211 212 218 223 224 231 239 240 241 245 247 248 251 252 254 258 260 263 265 269 270 273 274 276 281 286 287 288 292 294 295 298 300 303 304 305 306 307 310 314 315 317 318 321 322 323 326 331 338 339 340 342 344 348 349 a 1 2 3 5 18 20 23 25 27 28 29 30 38 42 49 50 54 58 64 65 71 76 81 84 85 90 97 100 111 113 124 129 134 138 142 144 146 147 151 154 156 159 162 165 170 178 180 182 183 191 192 194 195 198 200 204 206 207 208 211 212 218 223 224 231 239 240 241 245 247 248 251 252 254 258 260 263 265 269 270 273 274 276 281 286 287 288 292 294 295 298 300 303 304 305 306 307 310 314 315 317 318 321 322 323 326 331 338 339 340 342 344 348 349 a 1 2 3 5 8 18 20 23 25 27 28 29 30 38 42 49 50 54 58 64 65 71 76 81 84 85 90 97 100 111 113 124 129 134 138 142 144 146 147 151 154 156 159 162 165 170 178 180 182 183 191 192 194 195 198 200 204 206 207 208 211 212 218 223 224 231 239 240 241 245 247 248 251 252 254 258 260 263 265 269 270 273 274 276 281 286 287 288 292 294 295 298 300 303 304 305 306 307 310 314 315 317 318 321 322 323 326 331 338 339 342 344 348 349 a 1 2 3 5 8 17 18 20 23 25 27 28 29 30 38 42 49 50 54 58 64 65 71 76 81 84 85 90 97 100 111 113 124 129 134 138 142 144 146 147 151 156 159 162 165 170 178 180 182 183 191 192 194 195 198 200 204 206 207 208 211 212 218 223 224 231 239 240 241 245 247 248 251 252 254 258 260 263 265 269 270 273 274 276 281 286 287 288 292 294 295 298 300 303 304 305 306 307 310 314 315 317 318 321 322 323 326 331 338 339 342 344 348 349 a 2 3 5 8 17 18 20 23 25 27 28 29 30 38 42 49 50 54 58 64 65 71 76 81 84 85 90 97 100 111 113 123 124 129 134 138 142 144 146 147 151 156 159 162 165 170 178 180 182 183 191 192 194 195 198 200 204 206 207 208 211 212 218 223 224 231 239 240 241 245 247 248 251 252 254 258 260 263 265 269 270 273 274 276 281 286 287 288 292 294 295 298 300 303 304 305 306 307 310 314 315 317 318 321 322 323 326 331 338 339 342 344 348 349 a 2 3 5 8 14 17 18 20 23 25 27 28 29 30 38 42 49 50 54 58 64 65 71 76 81 84 85 90 97 100 111 113 123 124 129 134 138 142 144 146 147 151 156 159 162 165 170 178 180 182 183 191 192 194 195 198 200 204 206 207 208 211 212 218 223 224 231 239 240 241 245 247 248 251 252 254 258 260 263 265 269 270 273 274 276 281 286 287 288 294 295 298 300 303 304 305 306 307 310 314 315 317 318 321 322 323 326 331 338 339 342 344 348 349 a 2 3 5 8 14 17 18 20 23 25 27 28 29 30 38 42 49 50 54 58 61 64 65 71 76 81 84 85 90 97 100 111 113 123 124 129 134 138 142 144 146 147 151 156 159 162 165 170 178 180 182 183 191 192 194 195 198 200 204 206 207 208 211 212 218 223 224 231 239 240 241 245 247 248 251 252 254 258 260 263 265 269 270 273 274 276 281 286 287 288 295 298 300 303 304 305 306 307 310 314 315 317 318 321 322 323 326 331 338 339 342 344 348 349 a 2 3 5 8 14 17 18 20 23 25 27 28 29 30 38 42 49 50 54 58 61 64 65 71 76 81 84 85 90 97 100 111 113 123 124 129 134 138 142 144 146 147 151 156 159 162 165 170 178 180 182 183 191 192 194 195 198 200 204 206 207 208 211 212 218 223 224 231 234 239 240 241 245 247 248 251 252 254 258 260 263 265 269 270 273 274 276 281 286 287 288 295 298 300 304 305 306 307 310 314 315 317 318 321 322 323 326 331 338 339 342 344 348 349 a 2 3 5 14 17 18 20 23 25 27 28 29 30 38 42 49 50 54 58 61 64 65 71 76 81 84 85 90 97 100 111 113 123 124 129 134 138 142 144 146 147 150 151 156 159 162 165 170 178 180 182 183 191 192 194 195 198 200 204 206 207 208 211 212 218 223 224 231 234 239 240 241 245 247 248 251 252 254 258 260 263 265 269 270 273 274 276 281 286 287 288 295 298 300 304 305 306 307 310 314 315 317 318 321 322 323 326 331 338 339 342 344 348 349 a 2 3 5 14 17 18 20 23 25 27 28 29 30 38 42 49 50 54 58 61 64 65 71 76 81 84 85 90 97 100 111 113 123 124 129 134 138 142 144 146 147 150 151 156 159 162 164 165 170 178 180 182 183 191 192 194 195 198 200 204 206 207 208 211 212 218 223 224 231 234 239 240 241 245 247 248 251 252 254 258 260 263 265 269 270 273 276 281 286 287 288 295 298 300 304 305 306 307 310 314 315 317 318 321 322 323 326 331 338 339 342 344 348 349 a 2 3 5 14 17 18 20 23 25 27 28 29 30 38 42 49 50 54 58 61 64 65 71 76 81 84 85 90 97 100 111 113 123 124 129 134 138 142 144 146 147 150 151 156 159 162 164 165 170 178 180 182 183 191 192 194 195 196 198 200 204 206 207 208 211 212 218 223 224 231 234 239 240 241 245 247 248 251 252 254 258 260 263 265 269 270 273 276 281 286 287 288 295 298 300 304 305 306 307 310 315 317 318 321 322 323 326 331 338 339 342 344 348 349 a 2 3 5 14 17 18 20 23 25 27 28 29 30 38 42 49 50 54 58 61 64 65 71 76 81 84 85 90 97 100 111 113 123 124 129 134 138 142 144 146 147 150 151 156 159 162 164 165 170 178 180 182 183 191 192 194 195 196 198 200 204 206 207 208 211 212 218 223 224 231 234 238 239 240 241 245 247 248 251 252 254 258 260 263 265 269 270 273 276 281 286 288 295 298 300 304 305 306 307 310 315 317 318 321 322 323 326 331 338 339 342 344 348 349 a 2 3 5 14 17 18 20 23 25 27 28 29 30 38 42 49 50 54 58 61 64 65 71 76 81 84 85 90 97 100 111 113 123 124 129 134 138 142 144 146 147 150 151 156 159 162 164 165 170 173 178 180 182 183 191 192 194 195 196 198 200 206 207 208 211 212 218 223 224 231 234 238 239 240 241 245 247 248 251 252 254 258 260 263 265 269 270 273 276 281 286 288 295 298 300 304 305 306 307 310 315 317 318 321 322 323 326 331 338 339 342 344 348 349 a 2 3 5 14 17 18 20 23 25 27 28 29 30 38 42 49 50 54 58 61 64 65 71 76 81 84 85 90 92 97 100 111 113 123 124 129 134 138 142 144 146 147 150 151 156 159 162 164 165 170 173 178 180 182 183 191 192 194 195 196 198 200 206 207 208 211 212 218 223 224 231 234 238 239 240 241 245 247 248 251 252 254 258 260 263 265 270 273 276 281 286 288 295 298 300 304 305 306 307 310 315 317 318 321 322 323 326 331 338 339 342 344 348 349 a 2 3 5 14 17 18 20 23 25 27 28 29 30 38 42 49 50 54 58 61 64 65 71 74 76 81 84 85 90 92 97 100 111 113 123 124 129 134 138 142 144 146 147 150 151 156 159 162 164 170 173 178 180 182 183 191 192 194 195 196 198 200 206 207 208 211 212 218 223 224 231 234 238 239 240 241 245 247 248 251 252 254 258 260 263 265 270 273 276 281 286 288 295 298 300 304 305 306 307 310 315 317 318 321 322 323 326 331 338 339 342 344 348 349 a 2 3 5 14 17 18 20 23 25 27 28 29 30 38 42 49 50 54 58 61 64 65 71 74 76 81 84 85 90 92 97 100 111 113 123 124 129 134 138 142 144 146 147 150 151 156 159 162 164 170 173 178 180 182 183 191 192 194 195 196 198 200 206 207 208 211 218 223 224 231 234 238 239 240 241 245 247 248 251 252 254 258 260 263 265 270 273 276 281 286 288 295 298 300 304 305 306 307 310 315 317 318 319 321 322 323 326 331 338 339 342 344 348 349 a 2 3 5 14 17 18 20 23 25 27 28 29 30 38 42 49 54 58 61 64 65 71 74 76 81 84 85 90 92 97 100 111 113 123 124 129 134 138 142 144 146 147 150 151 156 159 162 164 170 173 178 180 182 183 191 192 194 195 196 198 200 206 207 208 211 218 223 224 231 234 238 239 240 241 245 247 248 251 252 254 258 260 263 265 270 271 273 276 281 286 288 295 298 300 304 305 306 307 310 315 317 318 319 321 322 323 326 331 338 339 342 344 348 349 a 2 3 5 14 17 18 20 23 25 27 28 29 30 38 42 49 54 58 61 64 65 71 74 76 81 84 85 90 92 97 100 111 113 123 124 129 134 138 142 144 146 147 150 151 156 159 162 164 170 173 178 180 182 183 191 192 194 195 196 198 200 206 207 208 211 218 223 224 231 234 238 239 240 241 245 247 248 251 252 254 258 263 265 270 271 273 276 281 286 288 291 295 298 300 304 305 306 307 310 315 317 318 319 321 322 323 326 331 338 339 342 344 348 349 a 2 3 5 14 17 18 20 23 25 27 28 29 30 38 42 49 52 54 58 61 64 65 71 74 76 81 84 85 90 92 97 100 111 113 123 124 129 134 138 142 144 146 147 150 151 156 159 162 164 170 173 178 180 182 183 191 192 194 195 196 198 200 206 207 208 211 218 223 224 231 234 238 239 240 241 245 247 248 251 252 254 258 263 265 270 271 273 276 281 286 288 291 295 298 300 304 305 306 310 315 317 318 319 321 322 323 326 331 338 339 342 344 348 349 a 2 3 5 14 17 18 20 23 25 27 28 29 30 38 42 48 49 52 54 58 61 64 65 71 74 76 81 84 85 90 92 97 100 111 113 123 124 129 134 138 142 144 146 147 150 151 156 159 162 164 170 173 178 180 182 183 191 192 194 195 196 198 200 206 207 208 211 218 223 231 234 238 239 240 241 245 247 248 251 252 254 258 263 265 270 271 273 276 281 286 288 291 295 298 300 304 305 306 310 315 317 318 319 321 322 323 326 331 338 339 342 344 348 349 a 2 3 5 14 17 18 20 23 25 27 28 29 30 38 42 48 49 52 54 58 61 64 65 71 74 76 81 84 85 90 92 97 100 111 113 123 124 129 134 138 142 144 146 147 150 151 156 159 162 164 170 173 178 180 182 183 191 192 194 195 196 198 200 206 207 208 211 218 223 231 234 238 239 240 245 247 248 251 252 254 258 263 265 270 271 273 276 281 286 288 291 295 298 300 304 305 306 310 315 317 318 319 321 322 323 326 328 331 338 339 342 344 348 349 a 2 3 5 14 17 18 20 23 25 27 28 29 30 38 42 48 49 52 54 58 61 64 65 71 74 76 81 84 85 90 92 97 100 111 113 123 124 129 134 138 142 144 146 147 150 151 156 159 162 164 170 173 178 180 182 183 191 192 194 195 196 198 200 206 208 211 218 223 231 234 238 239 240 242 245 247 248 251 252 254 258 263 265 270 271 273 276 281 286 288 291 295 298 300 304 305 306 310 315 317 318 319 321 322 323 326 328 331 338 339 342 344 348 349 a 2 3 5 14 17 18 20 23 25 27 28 29 30 38 42 48 49 52 54 58 61 64 65 71 74 76 81 84 85 90 92 97 100 111 113 123 124 129 134 138 142 144 146 147 150 151 156 159 162 164 170 173 178 180 182 183 191 192 194 195 196 198 200 206 208 211 218 219 223 231 234 238 239 240 242 245 247 248 251 252 254 258 263 265 270 271 273 281 286 288 291 295 298 300 304 305 306 310 315 317 318 319 321 322 323 326 328 331 338 339 342 344 348 349 a 2 3 5 14 17 18 20 23 25 27 28 29 30 38 42 48 49 52 54 58 61 64 65 71 74 76 81 84 85 90 92 97 100 111 113 123 124 129 134 138 142 144 146 147 150 151 156 159 162 164 170 173 178 180 182 183 191 192 194 195 196 198 200 206 208 211 218 219 223 231 234 238 239 240 242 245 247 248 251 252 254 258 263 265 270 271 273 281 284 286 288 291 295 298 300 304 305 306 310 315 317 318 319 321 323 326 328 331 338 339 342 344 348 349 a 2 3 5 14 17 18 20 23 25 27 28 29 30 38 42 48 49 52 54 58 61 64 65 71 74 76 81 84 85 90 92 97 100 111 113 123 124 125 129 134 138 142 144 146 147 150 151 156 159 162 164 170 173 178 180 182 183 191 192 194 195 196 200 206 208 211 218 219 223 231 234 238 239 240 242 245 247 248 251 252 254 258 263 265 270 271 273 281 284 286 288 291 295 298 300 304 305 306 310 315 317 318 319 321 323 326 328 331 338 339 342 344 348 349 a 2 3 5 14 17 18 20 23 25 27 28 29 30 38 42 48 49 52 54 58 61 64 65 71 74 81 84 85 90 92 97 100 111 113 123 124 125 129 134 138 142 144 146 147 150 151 156 159 162 164 170 173 178 180 182 183 191 192 194 195 196 200 206 208 211 218 219 223 231 234 238 239 240 242 245 247 248 251 252 253 254 258 263 265 270 271 273 281 284 286 288 291 295 298 300 304 305 306 310 315 317 318 319 321 323 326 328 331 338 339 342 344 348 349 a 2 3 5 9 14 17 18 20 23 25 27 28 29 30 38 42 48 49 52 54 58 61 64 65 71 74 81 84 85 90 92 97 100 111 113 123 124 125 129 134 138 142 144 146 147 150 151 156 159 162 164 170 173 178 180 182 183 191 192 194 195 196 200 206 208 211 218 219 223 231 234 238 239 240 242 245 247 248 251 252 253 254 258 263 265 270 271 273 281 284 286 288 291 295 298 300 304 305 306 310 315 317 318 319 321 323 326 328 338 339 342 344 348 349 a 2 3 5 9 14 17 18 20 23 25 27 28 29 30 38 42 48 49 52 58 61 64 65 71 74 81 84 85 90 92 97 100 111 113 121 123 124 125 129 134 138 142 144 146 147 150 151 156 159 162 164 170 173 178 180 182 183 191 192 194 195 196 200 206 208 211 218 219 223 231 234 238 239 240 242 245 247 248 251 252 253 254 258 263 265 270 271 273 281 284 286 288 291 295 298 300 304 305 306 310 315 317 318 319 321 323 326 328 338 339 342 344 348 349 a 2 3 5 9 14 17 18 20 23 25 27 28 29 30 38 42 48 49 52 58 61 64 65 71 74 81 84 85 90 92 97 100 111 113 121 123 124 125 129 134 138 142 144 146 147 150 151 156 159 162 164 170 173 178 180 182 183 191 192 194 195 196 200 206 208 211 218 219 223 231 234 238 239 240 242 245 247 248 251 252 253 254 258 265 270 271 273 281 284 286 288 291 295 298 300 304 305 306 310 315 317 318 319 321 323 326 328 338 339 341 342 344 348 349 a 2 3 5 9 14 17 18 20 23 25 27 28 29 30 35 38 42 48 49 52 58 61 64 65 71 74 81 84 85 90 92 97 100 111 113 121 123 124 125 129 134 138 142 144 146 147 150 151 159 162 164 170 173 178 180 182 183 191 192 194 195 196 200 206 208 211 218 219 223 231 234 238 239 240 242 245 247 248 251 252 253 254 258 265 270 271 273 281 284 286 288 291 295 298 300 304 305 306 310 315 317 318 319 321 323 326 328 338 339 341 342 344 348 349 a 2 3 5 9 14 17 18 20 23 25 27 28 29 30 35 38 42 48 49 52 58 61 64 65 71 74 81 84 85 90 92 97 100 111 113 121 123 124 125 129 134 138 142 144 146 147 150 151 159 162 164 170 173 178 180 182 183 191 192 194 195 196 200 206 208 211 218 219 223 227 231 234 238 239 240 242 245 247 248 251 252 253 254 258 265 270 271 273 281 284 286 288 291 295 298 300 304 305 306 310 315 317 318 319 321 323 328 338 339 341 342 344 348 349 a 2 3 5 9 14 17 18 20 23 25 27 28 29 30 35 38 42 48 52 58 61 64 65 71 74 81 84 85 90 92 97 100 111 113 121 123 124 125 129 134 138 142 144 146 147 150 151 159 162 164 170 173 178 180 182 183 191 192 194 195 196 200 206 208 211 218 219 223 227 231 234 238 239 240 242 245 247 248 251 252 253 254 258 265 270 271 273 281 284 286 288 291 295 298 300 304 305 306 310 315 317 318 319 321 323 325 328 338 339 341 342 344 348 349 a 2 3 5 9 14 17 18 20 23 25 27 28 29 30 35 38 42 48 52 58 61 64 65 71 74 81 84 85 90 92 97 100 111 113 116 121 123 124 125 129 134 138 142 144 146 147 150 151 159 162 164 170 173 178 180 182 183 191 192 194 195 196 200 206 208 211 218 219 223 227 231 234 238 239 240 242 245 248 251 252 253 254 258 265 270 271 273 281 284 286 288 291 295 298 300 304 305 306 310 315 317 318 319 321 323 325 328 338 339 341 342 344 348 349 a 2 3 5 9 14 17 18 20 23 25 27 28 29 30 35 38 42 48 52 58 61 64 65 71 74 81 84 85 90 92 97 100 111 113 116 121 123 124 125 129 134 138 142 144 146 147 150 151 159 162 164 170 173 178 180 182 183 191 192 194 195 196 200 206 208 211 218 219 223 227 231 234 238 239 240 242 245 251 252 253 254 258 265 270 271 273 281 284 286 288 291 295 298 300 304 305 306 310 315 316 317 318 319 321 323 325 328 338 339 341 342 344 348 349 a 2 3 5 9 14 17 18 20 23 25 27 28 29 30 35 38 42 48 52 58 61 64 65 71 74 81 84 85 90 92 97 100 111 113 116 121 123 124 125 129 134 135 138 142 144 146 147 150 151 159 164 170 173 178 180 182 183 191 192 194 195 196 200 206 208 211 218 219 223 227 231 234 238 239 240 242 245 251 252 253 254 258 265 270 271 273 281 284 286 288 291 295 298 300 304 305 306 310 315 316 317 318 319 321 323 325 328 338 339 341 342 344 348 349 a 2 3 5 9 14 17 18 20 23 25 27 28 29 30 35 38 42 48 52 58 61 64 65 71 74 81 84 85 89 90 92 97 100 111 113 116 121 123 124 125 129 134 135 138 142 144 146 147 150 151 159 164 170 173 178 180 182 183 191 192 194 195 196 200 206 208 211 218 219 223 227 231 234 238 239 240 242 245 251 252 253 254 265 270 271 273 281 284 286 288 291 295 298 300 304 305 306 310 315 316 317 318 319 321 323 325 328 338 339 341 342 344 348 349 a 2 3 5 9 14 17 18 20 23 25 27 28 29 30 35 38 42 48 52 58 61 64 65 71 74 81 84 85 89 90 91 92 97 100 111 113 116 121 123 124 125 129 134 135 138 142 144 146 147 150 159 164 170 173 178 180 182 183 191 192 194 195 196 200 206 208 211 218 219 223 227 231 234 238 239 240 242 245 251 252 253 254 265 270 271 273 281 284 286 288 291 295 298 300 304 305 306 310 315 316 317 318 319 321 323 325 328 338 339 341 342 344 348 349 a 2 3 5 9 14 17 18 20 23 25 27 28 29 30 35 38 42 48 52 58 61 64 65 71 74 81 84 85 89 90 91 92 97 100 111 113 116 121 123 124 125 129 134 135 138 142 144 146 147 150 159 164 170 173 178 180 182 183 191 192 194 195 196 200 202 206 208 211 218 219 223 227 234 238 239 240 242 245 251 252 253 254 265 270 271 273 281 284 286 288 291 295 298 300 304 305 306 310 315 316 317 318 319 321 323 325 328 338 339 341 342 344 348 349 a 2 3 5 9 14 16 17 18 20 23 25 27 28 29 30 35 38 42 48 52 58 61 64 65 71 74 81 84 85 89 90 91 92 97 100 111 113 116 121 123 124 125 129 134 135 138 142 144 147 150 159 164 170 173 178 180 182 183 191 192 194 195 196 200 202 206 208 211 218 219 223 227 234 238 239 240 242 245 251 252 253 254 265 270 271 273 281 284 286 288 291 295 298 300 304 305 306 310 315 316 317 318 319 321 323 325 328 338 339 341 342 344 348 349 a 2 3 5 9 14 16 17 18 20 23 25 27 28 29 30 35 38 42 48 52 58 61 64 65 71 74 81 84 85 89 90 91 92 97 100 111 113 116 121 123 124 125 129 134 135 138 142 144 147 150 159 164 170 173 178 180 182 183 191 192 194 195 196 200 202 206 208 211 218 219 223 227 234 238 239 242 245 251 252 253 254 265 270 271 273 280 281 284 286 288 291 295 298 300 304 305 306 310 315 316 317 318 319 321 323 325 328 338 339 341 342 344 348 349 a 2 3 5 9 14 16 17 18 20 23 25 27 28 29 30 35 38 42 48 52 58 61 64 65 71 74 81 84 85 89 90 91 92 94 97 100 111 113 116 121 123 124 125 129 134 135 138 142 144 147 150 159 164 170 173 178 180 182 183 191 192 194 195 196 200 202 206 208 211 218 219 223 227 234 238 239 242 245 251 252 253 254 265 270 271 273 280 281 284 286 288 291 295 298 300 304 305 306 310 315 316 317 318 319 321 323 325 328 338 339 341 344 348 349 a 2 3 5 9 14 16 17 18 20 23 25 27 28 29 30 35 42 48 52 58 61 64 65 71 74 81 84 85 89 90 91 92 94 97 100 111 113 116 121 123 124 125 129 134 135 138 142 144 147 148 150 159 164 170 173 178 180 182 183 191 192 194 195 196 200 202 206 208 211 218 219 223 227 234 238 239 242 245 251 252 253 254 265 270 271 273 280 281 284 286 288 291 295 298 300 304 305 306 310 315 316 317 318 319 321 323 325 328 338 339 341 344 348 349 a 2 3 5 9 14 16 17 18 20 23 25 27 28 29 30 35 42 48 52 58 61 64 65 71 74 81 84 85 89 90 91 92 94 97 100 111 113 116 121 123 124 125 129 134 135 138 142 144 147 148 150 159 164 170 173 178 180 182 183 191 192 194 195 196 200 202 206 208 211 218 219 223 227 234 238 239 242 245 251 252 253 265 270 271 273 280 281 284 286 288 291 295 298 300 304 305 306 310 315 316 317 318 319 321 323 325 328 336 338 339 341 344 348 349 a 2 3 5 9 14 16 17 18 20 23 25 27 28 29 30 35 42 48 52 58 61 64 65 71 74 81 84 85 89 91 92 94 97 100 111 113 116 121 123 124 125 129 134 135 138 142 144 147 148 150 159 164 170 173 178 180 182 183 191 192 194 195 196 200 202 206 208 211 215 218 219 223 227 234 238 239 242 245 251 252 253 265 270 271 273 280 281 284 286 288 291 295 298 300 304 305 306 310 315 316 317 318 319 321 323 325 328 336 338 339 341 344 348 349 a 2 3 5 9 14 16 17 18 20 23 25 27 28 29 30 35 42 48 52 58 61 64 65 71 74 81 84 85 89 91 92 94 97 100 111 113 116 121 123 124 125 129 134 135 142 144 147 148 149 150 159 164 170 173 178 180 182 183 191 192 194 195 196 200 202 206 208 211 215 218 219 223 227 234 238 239 242 245 251 252 253 265 270 271 273 280 281 284 286 288 291 295 298 300 304 305 306 310 315 316 317 318 319 321 323 325 328 336 338 339 341 344 348 349 a 2 3 5 9 14 16 17 18 20 23 25 27 28 29 30 35 42 48 52 58 61 65 71 74 81 84 85 89 91 92 94 97 100 111 113 116 121 123 124 125 129 134 135 142 144 147 148 149 150 159 164 170 172 173 178 180 182 183 191 192 194 195 196 200 202 206 208 211 215 218 219 223 227 234 238 239 242 245 251 252 253 265 270 271 273 280 281 284 286 288 291 295 298 300 304 305 306 310 315 316 317 318 319 321 323 325 328 336 338 339 341 344 348 349 a 2 3 5 9 14 16 17 18 23 25 27 28 29 30 35 42 48 52 58 61 65 71 74 81 84 85 89 91 92 94 97 100 111 113 116 121 123 124 125 129 134 135 142 144 147 148 149 150 159 164 170 172 173 178 180 182 183 191 192 194 195 196 200 202 206 208 211 215 218 219 223 227 234 238 239 242 245 251 252 253 265 270 271 273 275 280 281 284 286 288 291 295 298 300 304 305 306 310 315 316 317 318 319 321 323 325 328 336 338 339 341 344 348 349 a 2 3 5 9 14 16 17 18 23 25 27 28 29 30 35 42 48 52 58 61 65 71 74 81 84 85 89 91 92 94 97 100 111 113 116 121 123 124 125 129 134 135 142 144 147 148 149 150 159 164 170 172 173 178 180 182 183 188 191 192 194 195 196 200 202 206 208 211 215 218 219 223 227 234 238 239 242 245 251 252 253 265 271 273 275 280 281 284 286 288 291 295 298 300 304 305 306 310 315 316 317 318 319 321 323 325 328 336 338 339 341 344 348 349 a 2 3 5 9 14 16 17 18 23 25 27 28 29 30 35 42 48 52 58 61 65 71 74 81 84 85 89 91 92 94 97 100 111 113 116 121 123 124 125 129 134 135 142 144 147 148 149 150 159 164 170 172 173 178 180 182 183 188 191 192 194 195 196 200 202 206 208 211 215 218 219 227 234 238 239 242 245 251 252 253 265 271 273 275 278 280 281 284 286 288 291 295 298 300 304 305 306 310 315 316 317 318 319 321 323 325 328 336 338 339 341 344 348 349 a 2 3 5 9 14 16 17 18 23 25 27 28 29 30 35 42 48 52 58 61 65 71 74 81 84 85 89 91 92 94 97 100 111 113 116 121 123 124 125 129 134 135 142 144 147 148 149 150 159 164 170 172 173 178 180 182 183 188 191 192 194 195 196 200 202 206 208 211 215 218 219 227 234 238 239 242 245 246 252 253 265 271 273 275 278 280 281 284 286 288 291 295 298 300 304 305 306 310 315 316 317 318 319 321 323 325 328 336 338 339 341 344 348 349 a 2 3 9 14 15 16 17 18 23 25 27 28 29 30 35 42 48 52 58 61 65 71 74 81 84 85 89 91 92 94 97 100 111 113 116 121 123 124 125 129 134 135 142 144 147 148 149 150 159 164 170 172 173 178 180 182 183 188 191 192 194 195 196 200 202 206 208 211 215 218 219 227 234 238 239 242 245 246 252 253 265 271 273 275 278 280 281 284 286 288 291 295 298 300 304 305 306 310 315 316 317 318 319 321 323 325 328 336 338 339 341 344 348 349 a 2 3 9 14 15 16 17 18 23 25 27 28 29 30 34 35 42 48 52 58 61 65 71 74 81 84 85 89 91 92 94 97 100 111 113 116 121 123 124 125 129 134 135 142 144 147 148 149 150 159 164 170 172 173 178 180 182 183 188 191 192 194 195 196 200 202 206 208 211 215 218 219 227 234 238 239 242 245 246 252 253 265 271 273 275 278 280 281 284 286 288 291 295 298 300 305 306 310 315 316 317 318 319 321 323 325 328 336 338 339 341 344 348 349 a 2 3 9 14 15 16 17 18 23 27 28 29 30 34 35 42 48 52 58 61 65 71 74 80 81 84 85 89 91 92 94 97 100 111 113 116 121 123 124 125 129 134 135 142 144 147 148 149 150 159 164 170 172 173 178 180 182 183 188 191 192 194 195 196 200 202 206 208 211 215 218 219 227 234 238 239 242 245 246 252 253 265 271 273 275 278 280 281 284 286 288 291 295 298 300 305 306 310 315 316 317 318 319 321 323 325 328 336 338 339 341 344 348 349 a 2 3 9 14 15 16 17 18 23 27 28 29 30 34 35 42 48 52 58 61 65 71 74 80 81 84 85 89 91 92 94 97 100 111 113 116 121 123 124 125 129 134 135 142 144 147 148 149 150 159 164 170 172 173 178 180 182 188 191 192 194 195 196 200 202 206 208 211 215 218 219 227 234 238 239 242 245 246 252 253 265 271 273 275 278 280 281 284 286 288 291 295 298 300 305 306 310 315 316 317 318 319 321 323 325 328 336 338 339 341 343 344 348 349 a 2 3 9 14 15 16 17 18 23 27 28 29 30 34 35 42 48 52 58 61 65 71 74 80 81 84 85 89 91 92 94 97 100 111 113 116 121 123 124 125 129 134 135 144 147 148 149 150 159 164 170 172 173 178 180 182 188 191 192 194 195 196 200 202 206 208 211 215 218 219 227 234 238 239 242 245 246 252 253 265 268 271 273 275 278 280 281 284 286 288 291 295 298 300 305 306 310 315 316 317 318 319 321 323 325 328 336 338 339 341 343 344 348 349 a 2 3 9 14 15 16 17 18 23 27 28 29 30 34 35 42 48 52 58 61 65 71 74 80 81 84 85 89 91 92 94 97 100 111 113 116 121 123 124 125 129 134 135 144 147 148 149 150 164 170 172 173 178 180 182 188 191 192 194 195 196 200 202 206 208 211 215 216 218 219 227 234 238 239 242 245 246 252 253 265 268 271 273 275 278 280 281 284 286 288 291 295 298 300 305 306 310 315 316 317 318 319 321 323 325 328 336 338 339 341 343 344 348 349 a 2 3 9 14 15 16 17 18 23 27 28 29 30 34 35 42 48 52 58 61 65 71 74 80 81 84 85 89 91 92 94 97 100 111 113 116 121 123 124 125 126 129 134 135 144 147 148 149 150 164 170 172 173 178 180 182 188 191 194 195 196 200 202 206 208 211 215 216 218 219 227 234 238 239 242 245 246 252 253 265 268 271 273 275 278 280 281 284 286 288 291 295 298 300 305 306 310 315 316 317 318 319 321 323 325 328 336 338 339 341 343 344 348 349 a 2 3 9 14 15 16 17 18 23 27 28 29 30 34 35 42 48 52 58 61 65 71 74 80 81 84 85 89 91 92 94 97 100 111 113 116 121 123 124 125 126 129 134 135 147 148 149 150 164 170 172 173 178 180 182 188 191 194 195 196 200 202 206 208 211 215 216 218 219 221 227 234 238 239 242 245 246 252 253 265 268 271 273 275 278 280 281 284 286 288 291 295 298 300 305 306 310 315 316 317 318 319 321 323 325 328 336 338 339 341 343 344 348 349 a 2 3 9 14 15 16 17 18 23 27 28 29 30 34 35 42 48 52 58 65 71 74 80 81 84 85 89 91 92 94 97 100 111 113 116 121 123 124 125 126 129 134 135 147 148 149 150 164 170 172 173 178 180 182 188 191 194 195 196 200 202 206 208 211 215 216 218 219 221 227 234 238 239 242 245 246 252 253 265 266 268 271 273 275 278 280 281 284 286 288 291 295 298 300 305 306 310 315 316 317 318 319 321 323 325 328 336 338 339 341 343 344 348 349 a 2 3 9 14 15 16 17 18 23 28 29 30 34 35 42 48 52 58 65 71 74 80 81 84 85 89 91 92 94 97 100 111 113 116 118 121 123 124 125 126 129 134 135 147 148 149 150 164 170 172 173 178 180 182 188 191 194 195 196 200 202 206 208 211 215 216 218 219 221 227 234 238 239 242 245 246 252 253 265 266 268 271 273 275 278 280 281 284 286 288 291 295 298 300 305 306 310 315 316 317 318 319 321 323 325 328 336 338 339 341 343 344 348 349 a 2 3 9 15 16 17 18 23 28 29 30 34 35 42 43 48 52 58 65 71 74 80 81 84 85 89 91 92 94 97 100 111 113 116 118 121 123 124 125 126 129 134 135 147 148 149 150 164 170 172 173 178 180 182 188 191 194 195 196 200 202 206 208 211 215 216 218 219 221 227 234 238 239 242 245 246 252 253 265 266 268 271 273 275 278 280 281 284 286 288 291 295 298 300 305 306 310 315 316 317 318 319 321 323 325 328 336 338 339 341 343 344 348 349 a 2 3 9 15 16 17 18 23 28 29 30 34 35 42 43 48 52 58 65 71 74 80 81 84 85 89 91 92 94 97 100 111 113 116 118 121 123 124 125 126 129 134 135 147 148 149 150 164 170 172 173 178 180 182 188 191 194 195 196 200 202 206 208 211 215 216 218 219 221 227 230 234 238 239 242 245 246 252 253 265 266 268 271 273 275 278 280 284 286 288 291 295 298 300 305 306 310 315 316 317 318 319 321 323 325 328 336 338 339 341 343 344 348 349 a 2 3 9 15 16 17 18 23 28 29 30 34 35 42 43 48 52 58 65 71 74 80 81 84 85 89 91 92 94 97 100 111 113 116 118 121 123 125 126 129 134 135 147 148 149 150 164 170 172 173 178 180 182 188 191 194 195 196 200 202 206 208 211 215 216 218 219 221 227 230 234 238 239 242 243 245 246 252 253 265 266 268 271 273 275 278 280 284 286 288 291 295 298 300 305 306 310 315 316 317 318 319 321 323 325 328 336 338 339 341 343 344 348 349 a 2 3 9 15 16 17 18 23 28 29 30 34 35 42 43 48 52 58 65 71 74 80 81 85 89 91 92 94 97 100 111 113 116 118 121 123 125 126 129 134 135 147 148 149 150 164 170 172 173 178 180 182 188 191 194 195 196 200 202 206 208 211 215 216 218 219 221 227 230 234 238 239 242 243 245 246 249 252 253 265 266 268 271 273 275 278 280 284 286 288 291 295 298 300 305 306 310 315 316 317 318 319 321 323 325 328 336 338 339 341 343 344 348 349 a 2 3 9 15 16 17 18 23 28 29 30 34 35 42 43 48 52 58 65 71 74 80 81 85 89 91 92 94 97 100 111 113 116 118 121 123 125 126 129 134 135 147 148 149 150 164 170 172 173 178 180 182 188 191 194 195 196 200 201 202 206 208 211 215 216 218 219 221 227 230 234 238 239 242 243 245 246 249 252 253 265 266 268 271 273 275 278 280 284 286 288 291 295 298 305 306 310 315 316 317 318 319 321 323 325 328 336 338 339 341 343 344 348 349 a 2 3 9 15 16 17 18 23 28 29 30 34 35 42 43 48 52 58 59 65 71 74 80 85 89 91 92 94 97 100 111 113 116 118 121 123 125 126 129 134 135 147 148 149 150 164 170 172 173 178 180 182 188 191 194 195 196 200 201 202 206 208 211 215 216 218 219 221 227 230 234 238 239 242 243 245 246 249 252 253 265 266 268 271 273 275 278 280 284 286 288 291 295 298 305 306 310 315 316 317 318 319 321 323 325 328 336 338 339 341 343 344 348 349 a 2 3 9 15 16 17 18 28 29 30 34 35 42 43 48 52 58 59 62 65 71 74 80 85 89 91 92 94 97 100 111 113 116 118 121 123 125 126 129 134 135 147 148 149 150 164 170 172 173 178 180 182 188 191 194 195 196 200 201 202 206 208 211 215 216 218 219 221 227 230 234 238 239 242 243 245 246 249 252 253 265 266 268 271 273 275 278 280 284 286 288 291 295 298 305 306 310 315 316 317 318 319 321 323 325 328 336 338 339 341 343 344 348 349 a 2 3 9 15 16 17 18 28 29 30 31 34 35 42 43 48 52 58 59 62 65 71 74 80 85 89 91 92 94 97 100 111 113 116 118 121 123 125 126 129 134 135 147 148 149 150 164 170 172 173 178 180 182 188 191 194 195 196 200 201 202 206 208 211 215 216 218 219 221 227 230 234 238 239 242 243 245 246 249 252 253 265 266 268 271 273 275 278 280 284 288 291 295 298 305 306 310 315 316 317 318 319 321 323 325 328 336 338 339 341 343 344 348 349 a 2 3 9 15 16 17 18 29 30 31 34 35 42 43 48 52 58 59 62 65 71 74 80 85 89 91 92 94 97 100 111 113 116 118 121 123 125 126 129 134 135 147 148 149 150 164 170 172 173 178 180 182 188 191 194 195 196 200 201 202 206 208 211 215 216 218 219 221 227 230 234 238 239 242 243 245 246 249 252 253 265 266 268 271 273 275 278 280 284 288 291 295 298 305 306 310 315 316 317 318 319 321 323 325 328 329 336 338 339 341 343 344 348 349 a 2 3 9 15 16 17 18 29 31 34 35 42 43 48 52 58 59 62 65 71 74 80 85 89 91 92 94 97 100 111 113 116 118 121 123 125 126 129 133 134 135 147 148 149 150 164 170 172 173 178 180 182 188 191 194 195 196 200 201 202 206 208 211 215 216 218 219 221 227 230 234 238 239 242 243 245 246 249 252 253 265 266 268 271 273 275 278 280 284 288 291 295 298 305 306 310 315 316 317 318 319 321 323 325 328 329 336 338 339 341 343 344 348 349 a 2 3 9 15 16 17 18 29 31 34 35 42 43 48 52 58 59 62 65 71 74 80 85 89 91 92 94 97 100 111 113 116 118 121 123 125 126 129 133 135 147 148 149 150 164 170 172 173 178 180 182 188 190 191 194 195 196 200 201 202 206 208 211 215 216 218 219 221 227 230 234 238 239 242 243 245 246 249 252 253 265 266 268 271 273 275 278 280 284 288 291 295 298 305 306 310 315 316 317 318 319 321 323 325 328 329 336 338 339 341 343 344 348 349 a 2 3 9 15 16 17 18 29 31 34 35 43 48 52 58 59 62 65 71 74 80 85 89 91 92 94 97 100 111 113 116 118 121 123 125 126 129 133 135 147 148 149 150 163 164 170 172 173 178 180 182 188 190 191 194 195 196 200 201 202 206 208 211 215 216 218 219 221 227 230 234 238 239 242 243 245 246 249 252 253 265 266 268 271 273 275 278 280 284 288 291 295 298 305 306 310 315 316 317 318 319 321 323 325 328 329 336 338 339 341 343 344 348 349 a 2 3 9 15 16 17 18 29 31 34 35 43 48 52 58 59 62 65 71 74 80 85 89 91 92 94 97 100 111 113 116 118 121 123 125 126 129 133 135 147 148 149 150 163 164 170 172 173 178 180 182 188 190 191 194 195 196 200 201 202 206 208 211 215 216 218 219 221 227 230 234 238 239 242 243 245 246 249 253 265 266 268 271 273 275 278 280 284 288 291 295 298 305 306 310 315 316 317 318 319 321 323 325 328 329 336 338 339 341 343 344 345 348 349 a 2 3 9 15 16 17 18 29 31 34 35 43 48 52 58 59 62 65 71 74 80 85 89 91 92 94 97 100 111 113 116 118 121 123 125 126 129 133 135 147 148 149 150 163 164 170 172 173 178 182 188 190 191 194 195 196 200 201 202 206 208 211 215 216 218 219 221 227 230 234 238 239 242 243 245 246 249 253 265 266 268 271 273 275 278 280 284 288 291 295 298 305 306 310 315 316 317 318 319 321 323 325 328 329 336 338 339 341 343 344 345 348 349 351 a 2 3 9 15 16 17 18 29 31 34 35 43 48 52 56 58 59 62 65 71 74 80 85 89 91 92 94 97 100 111 113 116 118 121 123 125 126 129 133 135 147 148 149 150 163 164 170 172 173 178 182 188 190 191 194 195 196 200 201 202 206 208 211 215 216 218 219 221 227 230 234 238 239 242 243 245 246 249 253 265 266 268 271 273 275 278 280 284 288 291 295 298 305 306 310 315 316 317 318 319 321 325 328 329 336 338 339 341 343 344 345 348 349 351 a 2 3 9 15 16 17 18 29 31 34 35 43 48 52 56 58 59 62 65 71 74 80 85 89 91 92 94 97 100 111 113 116 118 121 123 125 126 129 133 135 143 147 148 149 150 163 164 170 172 173 178 182 188 190 191 195 196 200 201 202 206 208 211 215 216 218 219 221 227 230 234 238 239 242 243 245 246 249 253 265 266 268 271 273 275 278 280 284 288 291 295 298 305 306 310 315 316 317 318 319 321 325 328 329 336 338 339 341 343 344 345 348 349 351 a 2 3 9 15 16 17 18 29 31 33 34 35 43 48 52 56 58 59 62 65 71 74 80 85 89 91 92 94 97 100 111 113 116 118 121 123 125 126 129 133 135 143 147 148 149 150 163 164 170 172 173 178 182 188 190 191 195 196 200 201 202 208 211 215 216 218 219 221 227 230 234 238 239 242 243 245 246 249 253 265 266 268 271 273 275 278 280 284 288 291 295 298 305 306 310 315 316 317 318 319 321 325 328 329 336 338 339 341 343 344 345 348 349 351 a 2 3 9 15 16 17 18 29 31 33 34 35 43 48 52 56 58 59 62 65 71 74 80 85 89 91 92 94 97 100 111 113 116 118 121 123 125 126 129 133 135 143 147 148 149 150 163 164 170 172 173 178 188 190 191 195 196 200 201 202 208 211 215 216 217 218 219 221 227 230 234 238 239 242 243 245 246 249 253 265 266 268 271 273 275 278 280 284 288 291 295 298 305 306 310 315 316 317 318 319 321 325 328 329 336 338 339 341 343 344 345 348 349 351 a 2 3 9 15 16 17 18 29 31 33 34 35 43 48 52 56 58 59 62 65 68 71 74 80 85 89 91 92 94 97 100 111 113 116 118 121 123 125 126 129 133 135 143 147 148 149 150 163 164 170 172 173 178 188 190 191 195 196 200 201 202 208 215 216 217 218 219 221 227 230 234 238 239 242 243 245 246 249 253 265 266 268 271 273 275 278 280 284 288 291 295 298 305 306 310 315 316 317 318 319 321 325 328 329 336 338 339 341 343 344 345 348 349 351 c Step: 128 Command being timed: "python3 run_3.py --existent --na -t4 /benchmark/random_instance/random_instance027_graph003.col /benchmark/random_instance/random_instance027_graph003_01.dat" User time (seconds): 542.91 System time (seconds): 14.69 Percent of CPU this job got: 151% Elapsed (wall clock) time (h:mm:ss or m:ss): 6:06.95 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): 22349948 Average resident set size (kbytes): 0 Major (requiring I/O) page faults: 1 Minor (reclaiming a frame) page faults: 8165088 Voluntary context switches: 2928985 Involuntary context switches: 1839 Swaps: 0 File system inputs: 0 File system outputs: 752 Socket messages sent: 0 Socket messages received: 0 Signals delivered: 0 Page size (bytes): 4096 Exit status: 0 #END: [Tue Sep 26 01:53:48 2023]