#BEGIN: [Thu Sep 7 17:08:26 2023] #HOST: s16 #TIMELIMIT: 1800 #MEMLIMIT: 0 #SOLVER: existent-cpu-ai-planning2-existent1 #INSTANCE1: /benchmark/random_instance/random_instance032_graph001.col #INSTANCE2: /benchmark/random_instance/random_instance032_graph001_01.dat #COMMAND: docker run --cap-add=CAP_SYS_RESOURCE --cidfile /tmp/cid.txt --init --rm -t --ulimit cpu=1800 -v /home/share/benchmark/ISR-benchmark:/benchmark ai-planning2 --config=existent-single --memory-limit=54 --time-limit=1800 /benchmark/random_instance/random_instance032_graph001.col /benchmark/random_instance/random_instance032_graph001_01.dat s 295 219 82 306 346 304 88 312 98 75 137 40 171 180 73 369 133 232 200 34 364 256 231 253 46 173 261 278 94 92 47 361 18 50 168 122 221 44 86 271 9 37 17 240 266 61 338 201 263 230 127 68 280 91 323 291 118 59 43 197 215 23 35 416 250 81 80 42 352 248 404 69 347 367 386 302 190 169 262 129 406 378 182 128 39 177 192 376 114 293 216 83 259 146 348 214 111 6 1 371 340 246 147 377 238 396 235 285 368 321 318 4 57 198 344 307 319 145 411 188 211 70 124 251 151 305 11 360 284 252 119 t 209 5 72 163 346 63 14 284 65 99 316 349 282 350 76 183 61 49 125 154 25 296 234 175 33 211 412 190 170 216 366 138 331 109 135 261 21 403 354 192 3 8 159 291 178 264 88 240 223 4 385 193 259 256 388 398 248 252 227 293 305 370 379 134 364 317 214 150 406 400 221 149 393 249 13 332 92 239 276 382 378 96 108 171 85 52 91 38 245 165 43 323 372 341 119 401 307 254 94 184 384 231 16 250 225 342 123 168 224 219 328 191 387 28 241 206 205 57 257 279 95 327 361 344 312 151 6 140 263 111 54 a YES a 1 4 6 9 11 17 18 23 34 35 37 39 40 42 43 44 46 47 50 57 59 61 68 69 70 73 75 80 81 82 83 86 88 91 92 94 98 111 114 118 119 122 124 127 128 129 133 137 145 146 147 151 168 169 171 173 177 180 182 188 190 192 197 198 200 201 211 214 215 216 219 221 230 231 232 235 238 240 246 248 250 251 252 253 256 259 261 262 263 266 271 278 280 284 285 291 293 295 302 304 305 306 307 312 318 319 321 323 338 340 344 346 347 348 352 360 361 364 367 368 369 371 376 377 378 386 396 404 406 411 416 a 4 6 9 11 17 18 23 34 35 37 39 40 42 43 44 46 47 50 57 59 61 68 69 70 73 75 80 81 82 83 86 88 91 92 94 96 98 111 114 118 119 122 124 127 128 129 133 137 145 146 147 151 168 169 171 173 177 180 182 188 190 192 197 198 200 201 211 214 215 216 219 221 230 231 232 235 238 240 246 248 250 251 252 253 256 259 261 262 263 266 271 278 280 284 285 291 293 295 302 304 305 306 307 312 318 319 321 323 338 340 344 346 347 348 352 360 361 364 367 368 369 371 376 377 378 386 396 404 406 411 416 a 4 6 9 11 18 23 34 35 37 39 40 42 43 44 46 47 50 57 59 61 68 69 70 73 75 80 81 82 83 86 88 91 92 94 96 98 111 114 118 119 122 124 127 128 129 133 137 145 146 147 151 168 169 171 173 177 180 182 188 190 192 197 198 200 201 211 214 215 216 219 221 230 231 232 235 238 240 246 248 250 251 252 253 256 259 261 262 263 266 271 278 280 284 285 291 293 295 302 304 305 306 307 312 318 319 321 323 338 340 344 346 347 348 352 360 361 364 367 368 369 371 376 377 378 384 386 396 404 406 411 416 a 4 6 9 11 14 18 23 34 37 39 40 42 43 44 46 47 50 57 59 61 68 69 70 73 75 80 81 82 83 86 88 91 92 94 96 98 111 114 118 119 122 124 127 128 129 133 137 145 146 147 151 168 169 171 173 177 180 182 188 190 192 197 198 200 201 211 214 215 216 219 221 230 231 232 235 238 240 246 248 250 251 252 253 256 259 261 262 263 266 271 278 280 284 285 291 293 295 302 304 305 306 307 312 318 319 321 323 338 340 344 346 347 348 352 360 361 364 367 368 369 371 376 377 378 384 386 396 404 406 411 416 a 4 6 9 11 14 18 23 34 39 40 42 43 44 46 47 50 57 59 61 68 69 70 73 75 80 81 82 83 86 88 91 92 94 96 98 111 114 118 119 122 124 127 128 129 133 137 145 146 147 151 168 169 171 173 177 180 182 188 190 192 197 198 200 201 211 214 215 216 219 221 230 231 232 235 238 240 246 248 250 251 252 253 256 259 261 262 263 266 271 278 280 284 285 291 293 295 302 304 305 306 307 312 318 319 321 323 338 340 344 346 347 348 352 360 361 364 367 368 369 371 376 377 378 384 386 393 396 404 406 411 416 a 4 6 9 11 14 18 23 34 39 40 43 44 46 47 50 57 59 61 68 69 70 73 75 80 81 82 83 86 88 91 92 94 96 98 111 114 118 119 122 124 127 128 129 133 137 145 146 147 151 168 169 171 173 177 180 182 188 190 192 197 198 200 201 211 214 215 216 219 221 230 231 232 235 238 240 246 248 250 251 252 253 256 259 261 262 263 266 271 278 280 284 285 291 293 295 302 304 305 306 307 312 318 319 321 323 338 340 344 346 347 348 352 360 361 364 367 368 369 371 376 377 378 384 386 388 393 396 404 406 411 416 a 4 6 9 11 14 18 23 34 39 40 43 44 47 50 57 59 61 68 69 70 73 75 80 81 82 83 86 88 91 92 94 96 98 111 114 118 119 122 124 127 128 129 133 137 145 146 147 151 168 169 171 173 177 180 182 188 190 192 197 198 200 201 211 214 215 216 219 221 230 231 232 235 238 240 246 248 250 251 252 253 256 259 261 262 263 266 271 278 280 284 285 291 293 295 302 304 305 306 307 312 318 319 321 323 332 338 340 344 346 347 348 352 360 361 364 367 368 369 371 376 377 378 384 386 388 393 396 404 406 411 416 a 4 6 9 11 14 18 23 39 40 43 44 47 50 57 59 61 68 69 70 73 75 80 81 82 83 86 88 91 92 94 96 98 111 114 118 119 122 124 127 128 129 133 137 145 146 147 151 165 168 169 171 173 177 180 182 188 190 192 197 198 200 201 211 214 215 216 219 221 230 231 232 235 238 240 246 248 250 251 252 253 256 259 261 262 263 266 271 278 280 284 285 291 293 295 302 304 305 306 307 312 318 319 321 323 332 338 340 344 346 347 348 352 360 361 364 367 368 369 371 376 377 378 384 386 388 393 396 404 406 411 416 a 4 6 9 11 14 18 23 39 40 43 44 47 50 57 61 68 69 70 73 75 80 81 82 83 86 88 91 92 94 96 98 111 114 118 119 122 124 127 128 129 133 137 145 146 147 151 165 168 169 171 173 177 180 182 188 190 192 197 198 200 201 205 211 214 215 216 219 221 230 231 232 235 238 240 246 248 250 251 252 253 256 259 261 262 263 266 271 278 280 284 285 291 293 295 302 304 305 306 307 312 318 319 321 323 332 338 340 344 346 347 348 352 360 361 364 367 368 369 371 376 377 378 384 386 388 393 396 404 406 411 416 a 4 6 9 11 14 18 23 39 40 43 44 47 50 57 61 69 70 73 75 80 81 82 83 86 88 91 92 94 96 98 111 114 118 119 122 124 127 128 129 133 137 145 146 147 151 165 168 169 171 173 177 180 182 188 190 192 197 198 200 201 205 211 214 215 216 219 221 230 231 232 235 238 240 246 248 250 251 252 253 256 259 261 262 263 266 271 278 280 284 285 291 293 295 302 304 305 306 307 312 318 319 321 323 327 332 338 340 344 346 347 348 352 360 361 364 367 368 369 371 376 377 378 384 386 388 393 396 404 406 411 416 a 4 6 11 14 18 23 39 40 43 44 47 50 57 61 69 70 73 75 80 81 82 83 86 88 91 92 94 96 98 111 114 118 119 122 124 127 128 129 133 137 145 146 147 151 165 168 169 171 173 177 180 182 188 190 192 197 198 200 201 205 211 214 215 216 219 221 230 231 232 235 238 240 246 248 250 251 252 253 256 259 261 262 263 266 271 278 280 284 285 291 293 295 302 304 305 306 307 312 317 318 319 321 323 327 332 338 340 344 346 347 348 352 360 361 364 367 368 369 371 376 377 378 384 386 388 393 396 404 406 411 416 a 4 6 11 14 18 23 39 40 43 44 47 50 57 61 65 70 73 75 80 81 82 83 86 88 91 92 94 96 98 111 114 118 119 122 124 127 128 129 133 137 145 146 147 151 165 168 169 171 173 177 180 182 188 190 192 197 198 200 201 205 211 214 215 216 219 221 230 231 232 235 238 240 246 248 250 251 252 253 256 259 261 262 263 266 271 278 280 284 285 291 293 295 302 304 305 306 307 312 317 318 319 321 323 327 332 338 340 344 346 347 348 352 360 361 364 367 368 369 371 376 377 378 384 386 388 393 396 404 406 411 416 a 4 6 11 14 18 23 39 40 43 44 47 50 57 61 65 73 75 80 81 82 83 86 88 91 92 94 96 98 111 114 118 119 122 124 127 128 129 133 137 145 146 147 151 165 168 169 171 173 177 180 182 188 190 192 197 198 200 201 205 206 211 214 215 216 219 221 230 231 232 235 238 240 246 248 250 251 252 253 256 259 261 262 263 266 271 278 280 284 285 291 293 295 302 304 305 306 307 312 317 318 319 321 323 327 332 338 340 344 346 347 348 352 360 361 364 367 368 369 371 376 377 378 384 386 388 393 396 404 406 411 416 a 4 6 11 14 16 23 39 40 43 44 47 50 57 61 65 73 75 80 81 82 83 86 88 91 92 94 96 98 111 114 118 119 122 124 127 128 129 133 137 145 146 147 151 165 168 169 171 173 177 180 182 188 190 192 197 198 200 201 205 206 211 214 215 216 219 221 230 231 232 235 238 240 246 248 250 251 252 253 256 259 261 262 263 266 271 278 280 284 285 291 293 295 302 304 305 306 307 312 317 318 319 321 323 327 332 338 340 344 346 347 348 352 360 361 364 367 368 369 371 376 377 378 384 386 388 393 396 404 406 411 416 a 4 6 11 14 16 23 28 39 40 43 44 47 50 57 61 65 73 75 80 82 83 86 88 91 92 94 96 98 111 114 118 119 122 124 127 128 129 133 137 145 146 147 151 165 168 169 171 173 177 180 182 188 190 192 197 198 200 201 205 206 211 214 215 216 219 221 230 231 232 235 238 240 246 248 250 251 252 253 256 259 261 262 263 266 271 278 280 284 285 291 293 295 302 304 305 306 307 312 317 318 319 321 323 327 332 338 340 344 346 347 348 352 360 361 364 367 368 369 371 376 377 378 384 386 388 393 396 404 406 411 416 a 4 6 11 14 16 23 28 39 40 43 44 47 50 57 61 65 73 75 80 83 86 88 91 92 94 96 98 111 114 118 119 122 124 127 128 129 133 137 145 146 147 151 165 168 169 171 173 177 180 182 188 190 192 197 198 200 201 205 206 211 214 215 216 219 221 230 231 232 235 238 240 246 248 250 251 252 253 256 259 261 262 263 266 271 278 280 284 285 291 293 295 302 304 305 306 307 312 317 318 319 321 323 327 332 338 340 344 346 347 348 352 360 361 364 367 368 369 371 376 377 378 384 386 387 388 393 396 404 406 411 416 a 4 6 11 14 16 23 28 39 40 43 44 47 50 57 61 65 73 75 80 83 88 91 92 94 96 98 99 111 114 118 119 122 124 127 128 129 133 137 145 146 147 151 165 168 169 171 173 177 180 182 188 190 192 197 198 200 201 205 206 211 214 215 216 219 221 230 231 232 235 238 240 246 248 250 251 252 253 256 259 261 262 263 266 271 278 280 284 285 291 293 295 302 304 305 306 307 312 317 318 319 321 323 327 332 338 340 344 346 347 348 352 360 361 364 367 368 369 371 376 377 378 384 386 387 388 393 396 404 406 411 416 a 4 6 11 14 16 23 28 39 40 43 44 47 50 57 61 65 73 75 80 83 88 91 92 94 96 98 99 111 114 118 119 122 124 128 129 133 137 145 146 147 151 165 168 169 171 173 177 180 182 188 190 192 197 198 200 201 205 206 211 214 215 216 219 221 230 231 232 235 238 240 246 248 250 251 252 253 256 259 261 262 263 266 271 278 280 284 285 291 293 295 302 304 305 306 307 312 317 318 319 321 323 327 332 338 340 344 346 347 348 350 352 360 361 364 367 368 369 371 376 377 378 384 386 387 388 393 396 404 406 411 416 a 4 6 11 14 16 23 28 39 40 43 44 47 50 57 61 65 75 80 83 88 91 92 94 96 98 99 111 114 118 119 122 124 128 129 133 137 145 146 147 151 165 168 169 171 173 177 180 182 188 190 192 197 198 200 201 205 206 211 214 215 216 219 221 224 230 231 232 235 238 240 246 248 250 251 252 253 256 259 261 262 263 266 271 278 280 284 285 291 293 295 302 304 305 306 307 312 317 318 319 321 323 327 332 338 340 344 346 347 348 350 352 360 361 364 367 368 369 371 376 377 378 384 386 387 388 393 396 404 406 411 416 a 4 6 11 14 16 23 28 39 40 43 44 47 50 54 57 61 65 75 80 83 88 91 92 94 96 98 99 111 114 118 119 122 124 128 129 137 145 146 147 151 165 168 169 171 173 177 180 182 188 190 192 197 198 200 201 205 206 211 214 215 216 219 221 224 230 231 232 235 238 240 246 248 250 251 252 253 256 259 261 262 263 266 271 278 280 284 285 291 293 295 302 304 305 306 307 312 317 318 319 321 323 327 332 338 340 344 346 347 348 350 352 360 361 364 367 368 369 371 376 377 378 384 386 387 388 393 396 404 406 411 416 a 4 6 14 16 23 28 39 40 43 44 47 50 54 57 61 65 75 80 83 88 91 92 94 96 98 99 109 111 114 118 119 122 124 128 129 137 145 146 147 151 165 168 169 171 173 177 180 182 188 190 192 197 198 200 201 205 206 211 214 215 216 219 221 224 230 231 232 235 238 240 246 248 250 251 252 253 256 259 261 262 263 266 271 278 280 284 285 291 293 295 302 304 305 306 307 312 317 318 319 321 323 327 332 338 340 344 346 347 348 350 352 360 361 364 367 368 369 371 376 377 378 384 386 387 388 393 396 404 406 411 416 a 4 6 14 16 23 28 39 40 43 44 47 50 54 57 61 65 75 80 83 88 91 92 94 96 98 99 109 111 114 118 119 122 124 128 129 145 146 147 151 165 168 169 171 173 177 180 182 188 190 192 197 198 200 201 205 206 211 214 215 216 219 221 224 230 231 232 235 238 240 246 248 249 250 251 252 253 256 259 261 262 263 266 271 278 280 284 285 291 293 295 302 304 305 306 307 312 317 318 319 321 323 327 332 338 340 344 346 347 348 350 352 360 361 364 367 368 369 371 376 377 378 384 386 387 388 393 396 404 406 411 416 a 4 6 14 16 23 28 39 40 43 44 47 50 54 57 61 63 65 75 80 83 88 91 92 94 96 98 99 109 111 114 118 119 122 124 128 129 145 146 147 151 165 168 171 173 177 180 182 188 190 192 197 198 200 201 205 206 211 214 215 216 219 221 224 230 231 232 235 238 240 246 248 249 250 251 252 253 256 259 261 262 263 266 271 278 280 284 285 291 293 295 302 304 305 306 307 312 317 318 319 321 323 327 332 338 340 344 346 347 348 350 352 360 361 364 367 368 369 371 376 377 378 384 386 387 388 393 396 404 406 411 416 a 4 6 14 16 23 28 39 40 43 44 47 54 57 61 63 65 75 80 83 88 91 92 94 96 98 99 109 111 114 118 119 122 124 125 128 129 145 146 147 151 165 168 171 173 177 180 182 188 190 192 197 198 200 201 205 206 211 214 215 216 219 221 224 230 231 232 235 238 240 246 248 249 250 251 252 253 256 259 261 262 263 266 271 278 280 284 285 291 293 295 302 304 305 306 307 312 317 318 319 321 323 327 332 338 340 344 346 347 348 350 352 360 361 364 367 368 369 371 376 377 378 384 386 387 388 393 396 404 406 411 416 a 4 6 14 16 23 28 33 39 40 43 44 47 54 57 61 63 65 75 80 83 88 91 92 94 96 98 99 109 111 114 118 119 122 124 125 128 129 145 146 147 151 165 168 171 173 177 180 188 190 192 197 198 200 201 205 206 211 214 215 216 219 221 224 230 231 232 235 238 240 246 248 249 250 251 252 253 256 259 261 262 263 266 271 278 280 284 285 291 293 295 302 304 305 306 307 312 317 318 319 321 323 327 332 338 340 344 346 347 348 350 352 360 361 364 367 368 369 371 376 377 378 384 386 387 388 393 396 404 406 411 416 a 4 6 14 16 23 28 33 39 40 43 44 47 54 57 61 63 65 75 83 88 91 92 94 96 98 99 109 111 114 118 119 122 124 125 128 129 145 146 147 151 165 168 171 173 177 180 188 190 192 197 198 200 201 205 206 211 214 215 216 219 221 224 230 231 232 235 238 240 246 248 249 250 251 252 253 254 256 259 261 262 263 266 271 278 280 284 285 291 293 295 302 304 305 306 307 312 317 318 319 321 323 327 332 338 340 344 346 347 348 350 352 360 361 364 367 368 369 371 376 377 378 384 386 387 388 393 396 404 406 411 416 a 4 6 14 16 23 28 33 39 40 43 44 47 54 57 61 63 65 75 83 88 91 92 94 96 98 99 109 111 114 118 119 122 124 125 128 129 145 146 147 151 165 168 171 173 175 177 180 188 190 192 197 198 201 205 206 211 214 215 216 219 221 224 230 231 232 235 238 240 246 248 249 250 251 252 253 254 256 259 261 262 263 266 271 278 280 284 285 291 293 295 302 304 305 306 307 312 317 318 319 321 323 327 332 338 340 344 346 347 348 350 352 360 361 364 367 368 369 371 376 377 378 384 386 387 388 393 396 404 406 411 416 a 4 6 14 16 23 28 33 39 40 43 44 47 54 57 61 63 65 75 83 88 91 92 94 96 98 99 109 111 114 118 119 122 124 125 128 129 145 146 147 151 165 168 171 173 175 177 180 188 190 192 197 198 205 206 211 214 215 216 219 221 224 230 231 232 234 235 238 240 246 248 249 250 251 252 253 254 256 259 261 262 263 266 271 278 280 284 285 291 293 295 302 304 305 306 307 312 317 318 319 321 323 327 332 338 340 344 346 347 348 350 352 360 361 364 367 368 369 371 376 377 378 384 386 387 388 393 396 404 406 411 416 a 4 6 14 16 28 33 39 40 43 44 47 54 57 61 63 65 75 83 88 91 92 94 96 98 99 109 111 114 118 119 122 124 125 128 129 145 146 147 151 165 168 171 173 175 177 180 188 190 192 197 198 205 206 211 214 215 216 219 221 224 230 231 232 234 235 238 240 246 248 249 250 251 252 253 254 256 257 259 261 262 263 266 271 278 280 284 285 291 293 295 302 304 305 306 307 312 317 318 319 321 323 327 332 338 340 344 346 347 348 350 352 360 361 364 367 368 369 371 376 377 378 384 386 387 388 393 396 404 406 411 416 a 4 6 14 16 28 33 38 39 40 43 44 47 54 57 61 63 65 75 83 88 91 92 94 96 98 99 109 111 114 118 119 122 124 125 128 129 145 146 147 151 165 168 171 173 175 177 180 188 190 192 197 198 205 206 211 214 215 216 219 221 224 231 232 234 235 238 240 246 248 249 250 251 252 253 254 256 257 259 261 262 263 266 271 278 280 284 285 291 293 295 302 304 305 306 307 312 317 318 319 321 323 327 332 338 340 344 346 347 348 350 352 360 361 364 367 368 369 371 376 377 378 384 386 387 388 393 396 404 406 411 416 a 4 6 14 16 28 33 38 39 40 43 44 47 54 57 61 63 65 75 83 88 91 92 94 96 98 99 109 111 114 118 119 122 124 125 128 129 145 146 147 151 165 168 171 173 175 177 180 188 190 192 197 198 205 206 211 214 215 216 219 221 224 231 234 235 238 240 246 248 249 250 251 252 253 254 256 257 259 261 262 263 266 271 276 278 280 284 285 291 293 295 302 304 305 306 307 312 317 318 319 321 323 327 332 338 340 344 346 347 348 350 352 360 361 364 367 368 369 371 376 377 378 384 386 387 388 393 396 404 406 411 416 a 4 6 14 16 28 33 38 39 40 43 44 47 54 57 61 63 65 75 83 88 91 92 94 96 98 99 109 111 114 118 119 122 124 125 128 129 145 146 147 151 165 168 171 173 175 177 180 188 190 192 197 198 205 206 211 214 215 216 219 221 224 231 234 235 238 240 248 249 250 251 252 253 254 256 257 259 261 262 263 266 271 276 278 280 284 285 291 293 295 302 304 305 306 307 312 317 318 319 321 323 327 332 338 340 344 346 347 348 350 352 360 361 364 367 368 369 371 376 377 378 384 386 387 388 393 396 401 404 406 411 416 a 4 6 14 16 28 33 38 39 40 43 44 47 54 57 61 63 65 75 76 83 88 91 92 94 96 98 99 109 111 114 118 119 122 124 125 128 129 145 146 147 151 165 168 171 173 175 177 180 188 190 192 197 198 205 206 211 214 215 216 219 221 224 231 234 235 238 240 248 249 250 251 252 254 256 257 259 261 262 263 266 271 276 278 280 284 285 291 293 295 302 304 305 306 307 312 317 318 319 321 323 327 332 338 340 344 346 347 348 350 352 360 361 364 367 368 369 371 376 377 378 384 386 387 388 393 396 401 404 406 411 416 a 4 6 14 16 28 33 38 40 43 44 47 54 57 61 63 65 75 76 83 88 91 92 94 96 98 99 109 111 114 118 119 122 124 125 128 129 145 146 147 151 165 168 171 173 175 177 180 188 190 192 197 198 205 206 211 214 215 216 219 221 224 231 234 235 238 240 248 249 250 251 252 254 256 257 259 261 262 263 266 271 276 278 280 284 285 291 293 295 302 304 305 306 307 312 317 318 319 321 323 327 332 338 340 344 346 347 348 350 352 360 361 364 367 368 369 371 372 376 377 378 384 386 387 388 393 396 401 404 406 411 416 a 3 4 6 14 16 28 33 38 40 43 44 47 54 57 61 63 65 75 76 83 88 91 92 94 96 98 99 109 111 114 118 119 122 124 125 128 129 145 146 147 151 165 168 171 173 175 177 180 188 190 192 197 198 205 206 211 214 215 216 219 221 224 231 234 235 238 240 248 249 250 251 252 254 256 257 259 261 262 263 266 271 276 278 280 284 291 293 295 302 304 305 306 307 312 317 318 319 321 323 327 332 338 340 344 346 347 348 350 352 360 361 364 367 368 369 371 372 376 377 378 384 386 387 388 393 396 401 404 406 411 416 a 3 4 6 14 16 28 33 38 43 44 47 54 57 61 63 65 75 76 83 88 91 92 94 96 98 99 109 111 114 118 119 122 124 125 128 129 145 146 147 151 165 168 171 173 175 177 180 184 188 190 192 197 198 205 206 211 214 215 216 219 221 224 231 234 235 238 240 248 249 250 251 252 254 256 257 259 261 262 263 266 271 276 278 280 284 291 293 295 302 304 305 306 307 312 317 318 319 321 323 327 332 338 340 344 346 347 348 350 352 360 361 364 367 368 369 371 372 376 377 378 384 386 387 388 393 396 401 404 406 411 416 a 3 4 6 14 16 28 33 38 43 47 54 57 61 63 65 75 76 83 88 91 92 94 96 98 99 109 111 114 118 119 122 124 125 128 129 145 146 147 150 151 165 168 171 173 175 177 180 184 188 190 192 197 198 205 206 211 214 215 216 219 221 224 231 234 235 238 240 248 249 250 251 252 254 256 257 259 261 262 263 266 271 276 278 280 284 291 293 295 302 304 305 306 307 312 317 318 319 321 323 327 332 338 340 344 346 347 348 350 352 360 361 364 367 368 369 371 372 376 377 378 384 386 387 388 393 396 401 404 406 411 416 a 3 4 6 14 16 28 33 38 43 47 54 57 61 63 65 76 83 88 91 92 94 96 98 99 109 111 114 118 119 122 124 125 128 129 145 146 147 150 151 165 168 171 173 175 177 180 184 188 190 192 197 198 205 206 211 214 215 216 219 221 224 231 234 235 238 240 248 249 250 251 252 254 256 257 259 261 262 263 266 271 276 278 280 284 291 293 295 302 304 305 306 307 312 317 318 319 321 323 327 328 332 338 340 344 346 347 348 350 352 360 361 364 367 368 369 371 372 376 377 378 384 386 387 388 393 396 401 404 406 411 416 a 3 4 6 14 16 28 33 38 43 47 54 57 61 63 65 76 83 88 91 92 94 96 98 99 109 111 114 118 119 122 124 125 128 129 145 146 147 150 151 165 168 171 173 175 177 180 184 188 190 192 197 198 205 206 211 214 215 216 219 221 224 231 234 235 238 240 248 249 250 251 252 254 256 257 259 261 262 263 266 271 276 278 280 284 291 293 295 304 305 306 307 312 317 318 319 321 323 327 328 332 338 340 344 346 347 348 350 352 360 361 364 367 368 369 371 372 376 377 378 384 386 387 388 393 396 400 401 404 406 411 416 a 3 4 6 14 16 28 33 38 43 47 49 54 57 61 63 65 76 83 88 91 92 94 96 98 99 109 111 114 118 119 122 124 125 128 129 145 146 147 150 151 165 168 171 173 175 177 180 184 188 190 192 197 198 205 206 211 214 215 216 219 221 224 231 234 235 238 240 248 249 250 251 252 254 256 257 259 261 262 263 266 271 276 278 280 284 291 293 295 305 306 307 312 317 318 319 321 323 327 328 332 338 340 344 346 347 348 350 352 360 361 364 367 368 369 371 372 376 377 378 384 386 387 388 393 396 400 401 404 406 411 416 a 3 4 6 14 16 28 33 38 43 47 49 54 57 61 63 65 76 83 88 91 92 94 96 98 99 109 111 114 118 119 122 124 125 128 129 145 146 147 150 151 165 168 171 173 175 177 180 184 188 190 192 197 198 205 206 211 214 215 216 219 221 224 231 234 238 239 240 248 249 250 251 252 254 256 257 259 261 262 263 266 271 276 278 280 284 291 293 295 305 306 307 312 317 318 319 321 323 327 328 332 338 340 344 346 347 348 350 352 360 361 364 367 368 369 371 372 376 377 378 384 386 387 388 393 396 400 401 404 406 411 416 a 3 4 6 14 16 28 33 38 43 47 49 54 57 61 63 65 76 83 88 91 92 94 96 98 99 109 111 114 118 119 122 124 125 128 129 138 145 146 147 150 151 165 168 171 173 175 177 180 184 188 190 192 197 198 205 206 211 214 215 216 219 221 224 231 234 238 239 240 248 249 250 251 252 254 256 257 259 261 262 263 266 271 276 278 280 284 291 293 295 305 306 307 312 317 318 319 321 323 327 328 332 340 344 346 347 348 350 352 360 361 364 367 368 369 371 372 376 377 378 384 386 387 388 393 396 400 401 404 406 411 416 a 3 4 6 14 16 28 33 38 43 49 54 57 61 63 65 76 83 88 91 92 94 96 98 99 108 109 111 114 118 119 122 124 125 128 129 138 145 146 147 150 151 165 168 171 173 175 177 180 184 188 190 192 197 198 205 206 211 214 215 216 219 221 224 231 234 238 239 240 248 249 250 251 252 254 256 257 259 261 262 263 266 271 276 278 280 284 291 293 295 305 306 307 312 317 318 319 321 323 327 328 332 340 344 346 347 348 350 352 360 361 364 367 368 369 371 372 376 377 378 384 386 387 388 393 396 400 401 404 406 411 416 a 3 4 6 14 16 28 33 38 43 49 54 57 61 63 65 76 88 91 92 94 96 98 99 108 109 111 114 118 119 122 124 125 128 129 138 145 146 147 150 151 165 168 171 173 175 177 180 184 188 190 192 197 198 205 206 211 214 215 216 219 221 224 231 234 238 239 240 248 249 250 251 252 254 256 257 259 261 262 263 266 271 276 278 280 284 291 293 295 305 306 307 312 317 318 319 321 323 327 328 332 340 341 344 346 347 348 350 352 360 361 364 367 368 369 371 372 376 377 378 384 386 387 388 393 396 400 401 404 406 411 416 a 3 4 6 14 16 28 33 38 43 49 54 57 61 63 65 76 88 91 92 94 96 98 99 108 109 111 114 119 122 124 125 128 129 138 145 146 147 150 151 165 168 171 173 175 177 180 184 188 190 192 197 198 205 206 211 214 215 216 219 221 224 231 234 238 239 240 248 249 250 251 252 254 256 257 259 261 262 263 264 266 271 276 278 280 284 291 293 295 305 306 307 312 317 318 319 321 323 327 328 332 340 341 344 346 347 348 350 352 360 361 364 367 368 369 371 372 376 377 378 384 386 387 388 393 396 400 401 404 406 411 416 a 3 4 6 14 16 28 33 38 43 49 54 57 61 63 65 76 88 91 92 94 96 98 99 108 109 111 114 119 122 124 125 128 129 138 145 146 147 150 151 165 168 171 173 175 177 180 184 188 190 191 192 198 205 206 211 214 215 216 219 221 224 231 234 238 239 240 248 249 250 251 252 254 256 257 259 261 262 263 264 266 271 276 278 280 284 291 293 295 305 306 307 312 317 318 319 321 323 327 328 332 340 341 344 346 347 348 350 352 360 361 364 367 368 369 371 372 376 377 378 384 386 387 388 393 396 400 401 404 406 411 416 a 3 4 6 14 16 28 33 38 43 49 54 57 61 63 65 76 88 91 92 94 96 98 99 108 109 111 114 119 122 124 125 128 129 138 145 146 147 150 151 165 168 171 173 175 177 180 184 188 190 191 192 198 205 206 211 214 215 216 219 221 224 227 231 234 238 239 240 248 249 250 252 254 256 257 259 261 262 263 264 266 271 276 278 280 284 291 293 295 305 306 307 312 317 318 319 321 323 327 328 332 340 341 344 346 347 348 350 352 360 361 364 367 368 369 371 372 376 377 378 384 386 387 388 393 396 400 401 404 406 411 416 a 3 4 6 14 16 28 33 38 43 49 54 57 61 63 65 76 88 91 92 94 96 98 99 108 109 111 114 119 122 124 125 128 129 135 138 145 146 147 150 151 165 168 171 173 175 177 180 184 188 190 191 192 198 205 206 211 214 215 216 219 221 224 227 231 234 238 239 240 248 249 250 252 254 256 257 259 261 262 263 264 266 271 276 278 280 284 291 293 295 305 306 307 312 317 318 319 323 327 328 332 340 341 344 346 347 348 350 352 360 361 364 367 368 369 371 372 376 377 378 384 386 387 388 393 396 400 401 404 406 411 416 a 3 4 6 14 16 28 33 38 43 49 54 57 61 63 65 76 88 91 92 94 96 98 99 108 109 111 114 119 122 123 124 125 128 129 135 138 145 146 147 150 151 165 168 171 173 175 177 180 184 188 190 191 192 198 205 206 211 214 215 216 219 221 224 227 231 234 238 239 240 248 249 250 252 254 256 257 259 261 262 263 264 266 271 276 278 280 284 291 293 295 305 306 307 312 317 318 319 323 327 328 332 341 344 346 347 348 350 352 360 361 364 367 368 369 371 372 376 377 378 384 386 387 388 393 396 400 401 404 406 411 416 a 3 4 6 13 14 16 28 33 38 43 49 54 57 61 63 65 76 88 91 92 94 96 98 99 108 109 111 114 119 122 123 124 125 128 129 135 138 145 146 147 150 151 165 168 171 175 177 180 184 188 190 191 192 198 205 206 211 214 215 216 219 221 224 227 231 234 238 239 240 248 249 250 252 254 256 257 259 261 262 263 264 266 271 276 278 280 284 291 293 295 305 306 307 312 317 318 319 323 327 328 332 341 344 346 347 348 350 352 360 361 364 367 368 369 371 372 376 377 378 384 386 387 388 393 396 400 401 404 406 411 416 a 3 4 5 6 13 14 16 28 33 38 43 49 54 57 61 63 65 76 88 91 92 94 96 99 108 109 111 114 119 122 123 124 125 128 129 135 138 145 146 147 150 151 165 168 171 175 177 180 184 188 190 191 192 198 205 206 211 214 215 216 219 221 224 227 231 234 238 239 240 248 249 250 252 254 256 257 259 261 262 263 264 266 271 276 278 280 284 291 293 295 305 306 307 312 317 318 319 323 327 328 332 341 344 346 347 348 350 352 360 361 364 367 368 369 371 372 376 377 378 384 386 387 388 393 396 400 401 404 406 411 416 a 3 4 5 6 13 14 16 28 33 38 43 49 54 57 61 63 65 76 88 91 92 94 96 99 108 109 111 114 119 122 123 124 125 128 135 138 145 146 147 150 151 165 168 171 175 177 180 184 188 190 191 192 198 205 206 211 214 215 216 219 221 224 227 231 234 238 239 240 248 249 250 252 254 256 257 259 261 262 263 264 266 271 276 278 280 284 291 293 295 305 306 307 312 317 318 319 323 327 328 332 341 344 346 347 348 350 352 360 361 364 367 368 369 371 372 376 377 378 384 386 387 388 393 396 400 401 404 406 411 412 416 a 3 4 5 6 13 14 16 28 33 38 43 49 54 57 61 63 65 76 88 91 92 94 96 99 108 109 111 114 119 122 123 124 125 128 135 138 145 146 147 150 151 165 168 171 175 177 180 184 188 190 191 192 198 205 206 211 214 215 216 219 221 224 227 231 234 238 239 240 248 249 250 252 254 256 257 259 261 262 263 264 266 271 276 278 280 284 291 293 295 305 306 307 312 317 318 319 323 327 328 332 341 344 346 347 348 350 360 361 364 367 368 369 371 372 376 377 378 379 384 386 387 388 393 396 400 401 404 406 411 412 416 a 3 4 5 6 13 14 16 28 33 38 43 49 54 57 61 63 65 76 88 91 92 94 96 99 108 109 111 119 122 123 124 125 128 135 138 145 146 147 150 151 165 168 171 175 177 180 184 188 190 191 192 193 198 205 206 211 214 215 216 219 221 224 227 231 234 238 239 240 248 249 250 252 254 256 257 259 261 262 263 264 266 271 276 278 280 284 291 293 295 305 306 307 312 317 318 319 323 327 328 332 341 344 346 347 348 350 360 361 364 367 368 369 371 372 376 377 378 379 384 386 387 388 393 396 400 401 404 406 411 412 416 a 3 4 5 6 13 14 16 28 33 38 43 49 54 57 61 63 65 76 88 91 92 94 96 99 108 109 111 119 123 124 125 128 135 138 145 146 147 150 151 165 168 171 175 177 180 184 188 190 191 192 193 198 205 206 211 214 215 216 219 221 224 227 231 234 238 239 240 241 248 249 250 252 254 256 257 259 261 262 263 264 266 271 276 278 280 284 291 293 295 305 306 307 312 317 318 319 323 327 328 332 341 344 346 347 348 350 360 361 364 367 368 369 371 372 376 377 378 379 384 386 387 388 393 396 400 401 404 406 411 412 416 a 3 4 5 6 13 14 16 28 33 38 43 49 54 57 61 63 65 76 88 91 92 94 96 99 108 109 111 119 123 124 125 128 135 138 145 146 147 149 150 151 165 168 171 175 177 180 184 188 190 191 192 193 198 205 206 211 214 215 216 219 221 224 227 231 234 238 239 240 241 248 249 250 252 254 256 257 259 261 262 263 264 266 271 276 278 280 284 291 293 295 305 306 307 312 317 318 319 323 327 328 332 341 344 346 347 348 350 361 364 367 368 369 371 372 376 377 378 379 384 386 387 388 393 396 400 401 404 406 411 412 416 a 3 4 5 6 13 14 16 28 33 38 43 49 54 57 61 63 65 76 88 91 92 94 96 99 108 109 111 119 123 124 125 128 135 138 145 146 147 149 150 151 165 168 171 175 177 180 184 188 190 191 192 193 198 205 206 211 214 215 216 219 221 223 224 227 231 234 238 239 240 241 248 249 250 252 254 256 257 259 261 262 263 264 266 271 276 278 280 284 291 293 295 305 306 307 312 317 318 319 323 327 328 332 341 344 346 347 348 350 361 364 368 369 371 372 376 377 378 379 384 386 387 388 393 396 400 401 404 406 411 412 416 a 3 4 5 6 13 14 16 28 33 38 43 49 54 57 61 63 65 76 88 91 92 94 96 99 108 109 111 119 123 124 125 128 135 138 145 146 147 149 150 151 165 168 171 175 177 180 184 188 190 191 192 193 198 205 206 211 214 215 216 219 221 223 224 227 231 234 238 239 240 241 248 249 250 252 254 256 257 259 261 262 263 264 266 271 276 278 280 284 291 293 295 305 306 307 312 317 318 319 323 327 328 332 341 344 346 347 348 350 361 364 366 368 371 372 376 377 378 379 384 386 387 388 393 396 400 401 404 406 411 412 416 a 3 4 5 6 13 14 16 28 33 38 43 49 54 57 61 63 65 76 88 91 92 94 96 99 108 109 111 119 123 124 125 128 135 138 145 146 147 149 150 151 165 168 170 171 175 177 180 184 188 190 191 192 193 198 205 206 211 214 215 216 219 221 223 224 227 231 234 238 239 240 241 248 249 250 252 254 256 257 259 261 262 263 264 266 271 276 280 284 291 293 295 305 306 307 312 317 318 319 323 327 328 332 341 344 346 347 348 350 361 364 366 368 371 372 376 377 378 379 384 386 387 388 393 396 400 401 404 406 411 412 416 a 3 4 5 6 13 14 16 28 33 38 43 49 54 57 61 63 65 76 88 91 92 94 96 99 108 109 111 119 123 124 125 128 135 138 145 146 147 149 150 151 165 168 170 171 175 177 180 184 188 190 191 192 193 198 205 206 211 214 215 216 219 221 223 224 227 231 234 238 239 240 241 245 248 249 250 252 254 256 257 259 261 262 263 264 266 271 276 280 284 291 293 295 305 306 307 312 317 318 319 323 327 328 332 341 344 346 347 348 350 361 364 366 368 372 376 377 378 379 384 386 387 388 393 396 400 401 404 406 411 412 416 a 3 4 5 6 13 14 16 28 33 38 43 49 54 57 61 63 65 76 88 91 92 94 96 99 108 109 111 119 123 124 125 128 135 138 145 146 147 149 150 151 165 168 170 171 175 177 180 184 188 190 191 192 193 198 205 206 211 214 215 216 219 221 223 224 225 227 231 234 238 239 240 241 245 248 249 250 252 254 256 257 259 261 262 263 264 266 271 276 280 284 291 293 295 305 306 307 312 317 318 319 323 327 328 332 341 344 346 347 348 350 361 364 366 368 372 377 378 379 384 386 387 388 393 396 400 401 404 406 411 412 416 a 3 4 5 6 13 14 16 28 33 38 43 49 54 57 61 63 65 76 88 91 92 94 95 96 99 108 109 111 119 123 124 125 128 135 138 145 146 147 149 150 151 165 168 170 171 175 177 180 184 188 190 191 192 193 198 205 206 211 214 215 216 219 221 223 224 225 227 231 234 238 239 240 241 245 248 249 250 252 254 256 257 259 261 262 263 264 266 271 276 280 284 291 293 295 305 306 307 312 317 318 319 323 327 328 332 341 344 346 347 348 350 361 364 366 368 372 378 379 384 386 387 388 393 396 400 401 404 406 411 412 416 a 3 4 5 6 13 14 16 28 33 38 43 49 54 57 61 63 65 76 88 91 92 94 95 96 99 108 109 111 119 123 125 128 135 138 145 146 147 149 150 151 163 165 168 170 171 175 177 180 184 188 190 191 192 193 198 205 206 211 214 215 216 219 221 223 224 225 227 231 234 238 239 240 241 245 248 249 250 252 254 256 257 259 261 262 263 264 266 271 276 280 284 291 293 295 305 306 307 312 317 318 319 323 327 328 332 341 344 346 347 348 350 361 364 366 368 372 378 379 384 386 387 388 393 396 400 401 404 406 411 412 416 a 3 4 5 6 13 14 16 25 28 33 38 43 49 54 57 61 63 65 76 88 91 92 94 95 96 99 108 109 111 119 123 125 128 135 138 146 147 149 150 151 163 165 168 170 171 175 177 180 184 188 190 191 192 193 198 205 206 211 214 215 216 219 221 223 224 225 227 231 234 238 239 240 241 245 248 249 250 252 254 256 257 259 261 262 263 264 266 271 276 280 284 291 293 295 305 306 307 312 317 318 319 323 327 328 332 341 344 346 347 348 350 361 364 366 368 372 378 379 384 386 387 388 393 396 400 401 404 406 411 412 416 a 3 4 5 6 13 14 16 25 28 33 38 43 49 54 57 61 63 65 76 88 91 92 94 95 96 99 108 109 111 119 123 125 135 138 146 147 149 150 151 163 165 168 170 171 175 177 180 184 188 190 191 192 193 198 205 206 211 214 215 216 219 221 223 224 225 227 231 234 238 239 240 241 245 248 249 250 252 254 256 257 259 261 262 263 264 266 271 276 280 284 291 293 295 305 306 307 312 317 318 319 323 327 328 332 341 344 346 347 348 350 361 364 366 368 372 378 379 382 384 386 387 388 393 396 400 401 404 406 411 412 416 a 3 4 5 6 13 14 16 25 28 33 38 43 49 54 57 61 63 65 76 85 88 91 92 94 95 96 99 108 109 111 119 123 125 135 138 146 147 149 150 151 163 165 168 170 171 175 180 184 188 190 191 192 193 198 205 206 211 214 215 216 219 221 223 224 225 227 231 234 238 239 240 241 245 248 249 250 252 254 256 257 259 261 262 263 264 266 271 276 280 284 291 293 295 305 306 307 312 317 318 319 323 327 328 332 341 344 346 347 348 350 361 364 366 368 372 378 379 382 384 386 387 388 393 396 400 401 404 406 411 412 416 a 3 4 5 6 13 14 16 25 28 33 38 43 49 54 57 61 63 65 76 85 88 91 92 94 95 96 99 108 109 111 119 123 125 135 138 146 147 149 150 151 163 165 168 170 171 175 178 180 184 188 190 191 192 193 198 205 206 211 214 216 219 221 223 224 225 227 231 234 238 239 240 241 245 248 249 250 252 254 256 257 259 261 262 263 264 266 271 276 280 284 291 293 295 305 306 307 312 317 318 319 323 327 328 332 341 344 346 347 348 350 361 364 366 368 372 378 379 382 384 386 387 388 393 396 400 401 404 406 411 412 416 a 3 4 5 6 13 14 16 25 28 33 38 43 49 54 57 61 63 65 76 85 88 91 92 94 95 96 99 108 109 111 119 123 125 135 138 146 147 149 150 151 163 165 168 170 171 175 178 180 184 188 190 191 192 193 198 205 206 211 214 216 219 221 223 224 225 227 231 234 239 240 241 245 248 249 250 252 254 256 257 259 261 262 263 264 266 271 276 280 284 291 293 295 305 306 307 312 317 318 319 323 327 328 332 341 344 346 347 348 350 361 364 366 368 372 378 379 382 384 385 386 387 388 393 396 400 401 404 406 411 412 416 a 3 4 5 6 13 14 16 25 28 33 38 43 49 54 57 61 63 65 76 85 88 91 92 94 95 96 99 108 109 111 119 123 125 135 138 140 146 147 149 150 151 163 165 168 170 171 175 178 180 184 188 190 191 192 193 198 205 206 211 214 216 219 221 223 224 225 227 231 234 239 240 241 245 248 249 250 252 254 256 257 259 261 262 263 264 266 271 276 284 291 293 295 305 306 307 312 317 318 319 323 327 328 332 341 344 346 347 348 350 361 364 366 368 372 378 379 382 384 385 386 387 388 393 396 400 401 404 406 411 412 416 a 3 4 5 6 13 14 16 25 28 33 38 43 49 54 57 61 63 65 76 85 88 91 92 94 95 96 99 108 109 111 119 123 125 135 138 140 146 147 149 150 151 163 165 168 170 171 175 178 180 184 188 190 191 192 193 198 205 206 211 214 216 219 221 223 224 225 227 231 234 239 240 241 245 248 249 250 252 254 256 257 259 261 262 263 264 266 271 276 284 291 293 295 305 307 312 317 318 319 323 327 328 332 341 344 346 347 348 350 361 364 366 368 372 378 379 382 384 385 386 387 388 393 396 400 401 403 404 406 411 412 416 a 3 4 5 6 13 14 16 25 28 33 38 43 49 54 57 61 63 65 76 85 88 91 92 94 95 96 99 108 109 111 119 123 125 134 135 138 140 146 147 149 150 151 163 165 168 170 171 175 178 180 184 188 190 191 192 193 198 205 206 211 214 216 219 221 223 224 225 227 231 234 239 240 241 245 248 249 250 252 254 256 257 259 261 262 263 264 266 271 276 284 291 293 295 305 307 312 317 319 323 327 328 332 341 344 346 347 348 350 361 364 366 368 372 378 379 382 384 385 386 387 388 393 396 400 401 403 404 406 411 412 416 a 3 4 5 6 13 14 16 25 28 33 38 43 49 54 57 61 63 65 76 85 88 91 92 94 95 96 99 108 109 111 119 123 125 134 135 138 140 146 147 149 150 151 163 165 168 170 171 175 178 180 184 188 190 191 192 193 198 205 206 211 214 216 219 221 223 224 225 227 231 234 239 240 241 245 248 249 250 252 254 256 257 259 261 262 263 264 266 271 276 284 291 293 295 305 307 312 317 319 323 327 328 331 332 341 344 346 347 348 350 361 364 366 368 372 378 379 382 384 385 387 388 393 396 400 401 403 404 406 411 412 416 a 3 4 5 6 13 14 16 25 28 33 38 43 49 54 57 61 63 65 76 85 88 91 92 94 95 96 99 108 109 111 119 123 125 134 135 138 140 147 149 150 151 163 165 168 170 171 175 178 180 184 188 190 191 192 193 198 205 206 211 214 216 219 221 223 224 225 227 231 234 239 240 241 245 248 249 250 252 254 256 257 259 261 262 263 264 266 271 276 284 291 293 295 305 307 312 317 319 323 327 328 331 332 341 342 344 346 347 348 350 361 364 366 368 372 378 379 382 384 385 387 388 393 396 400 401 403 404 406 411 412 416 a 3 4 5 6 13 14 16 25 28 33 38 43 49 52 54 57 61 63 65 76 85 88 91 92 94 95 96 99 108 109 111 119 123 125 134 135 138 140 147 149 150 151 163 165 168 170 171 175 178 180 184 188 190 191 192 193 198 205 206 211 214 216 219 221 223 224 225 227 231 234 239 240 241 245 248 249 250 252 254 256 257 259 261 262 263 264 266 271 276 284 291 293 295 305 307 312 317 323 327 328 331 332 341 342 344 346 347 348 350 361 364 366 368 372 378 379 382 384 385 387 388 393 396 400 401 403 404 406 411 412 416 a 3 4 5 6 13 14 16 25 28 33 38 43 49 52 54 57 61 63 65 76 85 88 91 92 94 95 96 99 108 109 111 119 123 125 134 135 138 140 147 149 150 151 163 165 168 170 171 175 178 180 184 188 190 191 192 193 198 205 206 211 214 216 219 221 223 224 225 227 231 234 239 240 241 245 248 249 250 252 254 256 257 259 261 262 263 264 266 271 276 282 284 291 293 295 305 307 312 317 323 327 328 331 332 341 342 344 346 347 348 350 361 364 366 368 372 378 379 382 384 385 387 388 393 400 401 403 404 406 411 412 416 a 3 4 5 6 13 14 16 25 28 33 38 43 49 52 54 57 61 63 65 76 85 88 91 92 94 95 96 99 108 109 111 119 123 125 134 135 138 140 149 150 151 163 165 168 170 171 175 178 180 184 188 190 191 192 193 198 205 206 211 214 216 219 221 223 224 225 227 231 234 239 240 241 245 248 249 250 252 254 256 257 259 261 262 263 264 266 271 276 279 282 284 291 293 295 305 307 312 317 323 327 328 331 332 341 342 344 346 347 348 350 361 364 366 368 372 378 379 382 384 385 387 388 393 400 401 403 404 406 411 412 416 a 3 4 5 6 13 14 16 25 28 33 38 43 49 52 54 57 61 63 65 76 85 88 91 92 94 95 96 99 108 109 111 119 123 125 134 135 138 140 149 150 151 163 165 168 170 171 175 178 183 184 188 190 191 192 193 198 205 206 211 214 216 219 221 223 224 225 227 231 234 239 240 241 245 248 249 250 252 254 256 257 259 261 262 263 264 266 271 276 279 282 284 291 293 295 305 307 312 317 323 327 328 331 332 341 342 344 346 347 348 350 361 364 366 368 372 378 379 382 384 385 387 388 393 400 401 403 404 406 411 412 416 a 3 4 5 6 8 13 14 16 25 28 33 38 43 49 52 54 57 61 63 65 76 85 88 91 92 94 95 96 99 108 109 111 119 123 125 134 135 138 140 149 150 151 163 165 168 170 171 175 178 183 184 190 191 192 193 198 205 206 211 214 216 219 221 223 224 225 227 231 234 239 240 241 245 248 249 250 252 254 256 257 259 261 262 263 264 266 271 276 279 282 284 291 293 295 305 307 312 317 323 327 328 331 332 341 342 344 346 347 348 350 361 364 366 368 372 378 379 382 384 385 387 388 393 400 401 403 404 406 411 412 416 a 3 4 5 6 8 13 14 16 25 28 33 38 43 49 52 54 57 61 63 65 76 85 88 91 92 94 95 96 99 108 109 111 119 123 125 134 135 138 140 149 150 151 163 165 168 170 171 175 178 183 184 190 191 192 193 198 205 206 211 214 216 219 221 223 224 225 227 231 234 239 240 241 245 248 249 250 252 254 256 257 259 261 262 263 264 271 276 279 282 284 291 293 295 296 305 307 312 317 323 327 328 331 332 341 342 344 346 347 348 350 361 364 366 368 372 378 379 382 384 385 387 388 393 400 401 403 404 406 411 412 416 a 3 4 5 6 8 13 14 16 21 25 28 33 38 43 49 52 54 57 61 63 65 76 85 88 91 92 94 95 96 99 108 109 111 119 123 125 134 135 138 140 149 150 151 163 165 168 170 171 175 178 183 184 190 191 192 193 198 205 206 211 214 216 219 221 223 224 225 227 231 234 239 240 241 245 248 249 250 252 254 256 257 259 261 262 263 264 271 276 279 282 284 291 293 296 305 307 312 317 323 327 328 331 332 341 342 344 346 347 348 350 361 364 366 368 372 378 379 382 384 385 387 388 393 400 401 403 404 406 411 412 416 a 3 4 5 6 8 13 14 16 21 25 28 33 38 43 49 52 54 57 61 63 65 76 85 88 91 92 94 95 96 99 108 109 111 119 123 125 134 135 138 140 149 150 151 154 163 165 168 170 171 175 178 183 184 190 191 192 193 198 205 206 211 214 216 219 221 223 224 225 227 231 234 239 240 241 245 248 249 250 252 254 256 257 259 261 262 263 264 271 276 279 282 284 291 293 296 305 307 312 317 323 327 328 331 332 341 342 344 346 347 348 350 361 364 366 368 372 378 379 382 384 385 387 388 393 400 401 403 406 411 412 416 a 3 4 5 6 8 13 14 16 21 25 28 33 38 43 49 52 54 57 61 63 65 76 85 88 91 92 94 95 96 99 108 109 111 119 123 125 134 135 138 140 149 150 151 154 163 165 168 170 171 175 178 183 184 190 191 192 193 198 205 206 209 211 214 216 219 221 223 224 225 227 231 234 239 240 241 245 248 249 250 252 254 256 257 259 261 262 263 264 271 276 279 282 284 291 293 296 305 307 312 317 323 327 328 331 332 341 342 344 346 347 348 350 361 364 366 368 372 378 379 382 384 385 387 388 393 400 401 403 406 412 416 a 3 4 5 6 8 13 14 16 21 25 28 33 38 43 49 52 54 57 61 63 65 76 85 88 91 92 94 95 96 99 108 109 111 119 123 125 134 135 138 140 149 150 151 154 163 165 168 170 171 175 178 183 184 190 191 192 193 205 206 209 211 214 216 219 221 223 224 225 227 231 234 239 240 241 245 248 249 250 252 254 256 257 259 261 262 263 264 271 276 279 282 284 291 293 296 305 307 312 317 323 327 328 331 332 341 342 344 346 347 348 350 361 364 366 368 372 378 379 382 384 385 387 388 393 398 400 401 403 406 412 416 a 3 4 5 6 8 13 14 16 21 25 28 33 38 43 49 52 54 57 61 63 65 76 85 88 91 92 94 95 96 99 108 109 111 119 123 125 134 135 138 140 149 150 151 154 159 163 165 168 170 171 175 178 183 184 190 191 192 193 205 206 209 211 214 216 219 221 223 224 225 227 231 234 239 240 241 245 248 249 250 252 254 256 257 259 261 262 263 264 276 279 282 284 291 293 296 305 307 312 317 323 327 328 331 332 341 342 344 346 347 348 350 361 364 366 368 372 378 379 382 384 385 387 388 393 398 400 401 403 406 412 416 a 3 4 5 6 8 13 14 16 21 25 28 33 38 43 49 52 54 57 61 63 65 76 85 88 91 92 94 95 96 99 108 109 111 119 123 125 134 135 138 140 149 150 151 154 159 163 165 168 170 171 175 178 183 184 190 191 192 193 205 206 209 211 214 216 219 221 223 224 225 227 231 234 239 240 241 245 248 249 250 252 254 256 257 259 261 262 263 264 276 279 282 284 291 293 296 305 307 312 316 317 323 327 328 331 332 341 342 344 346 347 348 350 361 364 366 368 372 378 379 382 384 385 387 388 393 398 400 401 403 406 412 a 3 4 5 6 8 13 14 16 21 25 28 33 38 43 49 52 54 57 61 63 65 72 76 85 88 91 92 94 95 96 99 108 109 111 119 123 125 134 135 138 140 149 150 151 154 159 163 165 168 170 171 175 178 183 184 190 191 192 193 205 206 209 211 214 216 219 221 223 224 225 227 231 234 239 240 241 245 248 249 250 252 254 256 257 259 261 263 264 276 279 282 284 291 293 296 305 307 312 316 317 323 327 328 331 332 341 342 344 346 347 348 350 361 364 366 368 372 378 379 382 384 385 387 388 393 398 400 401 403 406 412 a 3 4 5 6 8 13 14 16 21 25 28 33 38 43 49 52 54 57 61 63 65 72 76 85 88 91 92 94 95 96 99 108 109 111 119 123 125 134 135 138 140 149 150 151 154 159 163 165 168 170 171 175 178 183 184 190 191 192 193 205 206 209 211 214 216 219 221 223 224 225 227 231 234 239 240 241 245 248 249 250 252 254 256 257 259 261 263 264 276 279 282 284 291 293 296 305 307 312 316 317 323 327 328 331 332 341 342 344 346 348 350 354 361 364 366 368 372 378 379 382 384 385 387 388 393 398 400 401 403 406 412 a 3 4 5 6 8 13 14 16 21 25 28 33 38 43 49 52 54 57 61 63 65 72 76 85 88 91 92 94 95 96 99 108 109 111 119 123 125 134 135 138 140 149 150 151 154 159 163 165 168 170 171 175 178 183 184 190 191 192 193 205 206 209 211 214 216 219 221 223 224 225 227 231 234 239 240 241 245 248 249 250 252 254 256 257 259 261 263 264 276 279 282 284 291 293 296 305 307 312 316 317 323 327 328 331 332 341 342 344 346 349 350 354 361 364 366 368 372 378 379 382 384 385 387 388 393 398 400 401 403 406 412 a 3 4 5 6 8 13 14 16 21 25 28 33 38 43 49 52 54 57 61 63 65 72 76 85 88 91 92 94 95 96 99 108 109 111 119 123 125 134 135 138 140 149 150 151 154 159 163 165 168 170 171 175 178 183 184 190 191 192 193 205 206 209 211 214 216 219 221 223 224 225 227 231 234 239 240 241 245 248 249 250 252 254 256 257 259 261 263 264 276 279 282 284 291 293 296 305 307 312 316 317 323 327 328 331 332 341 342 344 346 349 350 354 361 364 366 370 372 378 379 382 384 385 387 388 393 398 400 401 403 406 412 Command being timed: "/solvers/driver/run.py --config=existent-single --memory-limit=54 --time-limit=1800 /benchmark/random_instance/random_instance032_graph001.col /benchmark/random_instance/random_instance032_graph001_01.dat" User time (seconds): 0.26 System time (seconds): 0.03 Percent of CPU this job got: 91% Elapsed (wall clock) time (h:mm:ss or m:ss): 0:00.32 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): 20692 Average resident set size (kbytes): 0 Major (requiring I/O) page faults: 0 Minor (reclaiming a frame) page faults: 13183 Voluntary context switches: 21 Involuntary context switches: 4 Swaps: 0 File system inputs: 0 File system outputs: 480 Socket messages sent: 0 Socket messages received: 0 Signals delivered: 0 Page size (bytes): 4096 Exit status: 0 #END: [Thu Sep 7 17:08:26 2023]