#BEGIN: [Fri Sep 8 00:38:48 2023] #HOST: s02 #TIMELIMIT: 1800 #MEMLIMIT: 0 #SOLVER: existent-wallclock-ai-planning2-existent1 #INSTANCE1: /benchmark/random_instance/random_instance034_graph003.col #INSTANCE2: /benchmark/random_instance/random_instance034_graph003_01.dat #COMMAND: docker run --cap-add=CAP_SYS_RESOURCE --cidfile /tmp/cid.txt --init --rm -t -v /home/share/benchmark/ISR-benchmark:/benchmark ai-planning2 --config=existent-single --memory-limit=54 --time-limit=1800 /benchmark/random_instance/random_instance034_graph003.col /benchmark/random_instance/random_instance034_graph003_01.dat s 311 379 182 21 112 186 80 339 358 226 243 395 335 142 412 397 100 366 346 195 31 375 71 426 54 259 25 148 146 47 288 361 419 403 1 204 231 114 421 51 185 250 41 348 238 122 343 282 189 15 109 153 132 217 28 12 197 326 93 251 437 215 117 409 60 318 281 247 391 36 125 78 143 310 74 411 59 107 438 420 110 273 181 38 169 353 201 342 133 422 214 207 176 359 313 155 284 380 211 296 219 127 55 233 425 90 42 362 49 108 26 293 373 232 2 222 388 415 306 157 141 92 432 244 365 137 410 433 208 39 227 255 4 30 91 345 67 180 164 50 321 234 t 115 90 150 189 94 30 67 135 33 301 60 355 96 362 41 342 136 159 167 66 218 176 416 419 199 280 177 216 309 352 104 117 84 100 157 432 326 143 75 77 179 255 329 16 373 333 210 2 207 34 1 266 404 52 79 194 337 410 403 130 289 121 201 181 198 80 296 155 192 148 427 335 217 240 278 227 9 36 308 387 93 56 305 209 7 389 72 270 420 108 38 132 149 186 73 49 51 109 441 203 204 346 138 277 298 200 421 422 113 81 315 440 273 311 61 82 103 306 22 433 361 356 107 231 5 166 313 69 168 385 110 15 350 230 46 39 134 250 213 140 436 64 a YES a 1 2 4 12 15 21 25 26 28 30 31 36 38 39 41 42 47 49 50 51 54 55 59 60 67 71 74 78 80 90 91 92 93 100 107 108 109 110 112 114 117 122 125 127 132 133 137 141 142 143 146 148 153 155 157 164 169 176 180 181 182 185 186 189 195 197 201 204 207 208 211 214 215 217 219 222 226 227 231 232 233 234 238 243 244 247 250 251 255 259 273 281 282 284 288 293 296 306 310 311 313 318 321 326 335 339 342 343 345 346 348 353 358 359 361 362 365 366 373 375 379 380 388 391 395 397 403 409 410 411 412 415 419 420 421 422 425 426 432 433 437 438 a 1 2 4 15 21 25 26 28 30 31 36 38 39 41 42 47 49 50 51 54 55 59 60 67 71 74 78 80 90 91 92 93 100 107 108 109 110 112 114 117 122 125 127 132 133 137 141 142 143 146 148 153 155 157 164 169 176 180 181 182 185 186 189 194 195 197 201 204 207 208 211 214 215 217 219 222 226 227 231 232 233 234 238 243 244 247 250 251 255 259 273 281 282 284 288 293 296 306 310 311 313 318 321 326 335 339 342 343 345 346 348 353 358 359 361 362 365 366 373 375 379 380 388 391 395 397 403 409 410 411 412 415 419 420 421 422 425 426 432 433 437 438 a 1 2 4 15 21 25 26 30 31 36 38 39 41 42 47 49 50 51 54 55 59 60 67 71 74 78 80 90 91 92 93 100 107 108 109 110 112 114 117 121 122 125 127 132 133 137 141 142 143 146 148 153 155 157 164 169 176 180 181 182 185 186 189 194 195 197 201 204 207 208 211 214 215 217 219 222 226 227 231 232 233 234 238 243 244 247 250 251 255 259 273 281 282 284 288 293 296 306 310 311 313 318 321 326 335 339 342 343 345 346 348 353 358 359 361 362 365 366 373 375 379 380 388 391 395 397 403 409 410 411 412 415 419 420 421 422 425 426 432 433 437 438 a 1 2 15 21 25 26 30 31 36 38 39 41 42 47 49 50 51 54 55 59 60 67 71 74 78 80 90 91 92 93 100 107 108 109 110 112 114 117 121 122 125 127 132 133 137 141 142 143 146 148 153 155 157 164 169 176 180 181 182 185 186 189 194 195 197 201 204 207 208 211 214 215 217 219 222 226 227 231 232 233 234 238 243 244 247 250 251 255 259 273 281 282 284 288 293 296 301 306 310 311 313 318 321 326 335 339 342 343 345 346 348 353 358 359 361 362 365 366 373 375 379 380 388 391 395 397 403 409 410 411 412 415 419 420 421 422 425 426 432 433 437 438 a 1 2 15 25 26 30 31 36 38 39 41 42 47 49 50 51 54 55 59 60 67 71 74 78 80 90 91 92 93 100 107 108 109 110 112 114 117 121 122 125 127 132 133 137 141 142 143 146 148 153 155 157 164 169 176 180 181 182 185 186 189 194 195 197 199 201 204 207 208 211 214 215 217 219 222 226 227 231 232 233 234 238 243 244 247 250 251 255 259 273 281 282 284 288 293 296 301 306 310 311 313 318 321 326 335 339 342 343 345 346 348 353 358 359 361 362 365 366 373 375 379 380 388 391 395 397 403 409 410 411 412 415 419 420 421 422 425 426 432 433 437 438 a 1 2 15 25 26 30 36 38 39 41 42 47 49 50 51 54 55 59 60 67 69 71 74 78 80 90 91 92 93 100 107 108 109 110 112 114 117 121 122 125 127 132 133 137 141 142 143 146 148 153 155 157 164 169 176 180 181 182 185 186 189 194 195 197 199 201 204 207 208 211 214 215 217 219 222 226 227 231 232 233 234 238 243 244 247 250 251 255 259 273 281 282 284 288 293 296 301 306 310 311 313 318 321 326 335 339 342 343 345 346 348 353 358 359 361 362 365 366 373 375 379 380 388 391 395 397 403 409 410 411 412 415 419 420 421 422 425 426 432 433 437 438 a 1 2 15 25 26 30 36 38 39 41 42 49 50 51 54 55 59 60 67 69 71 73 74 78 80 90 91 92 93 100 107 108 109 110 112 114 117 121 122 125 127 132 133 137 141 142 143 146 148 153 155 157 164 169 176 180 181 182 185 186 189 194 195 197 199 201 204 207 208 211 214 215 217 219 222 226 227 231 232 233 234 238 243 244 247 250 251 255 259 273 281 282 284 288 293 296 301 306 310 311 313 318 321 326 335 339 342 343 345 346 348 353 358 359 361 362 365 366 373 375 379 380 388 391 395 397 403 409 410 411 412 415 419 420 421 422 425 426 432 433 437 438 a 1 2 15 25 26 30 36 38 39 41 42 49 50 51 54 55 59 60 67 69 71 73 74 80 90 91 92 93 100 107 108 109 110 112 114 117 121 122 125 127 132 133 134 137 141 142 143 146 148 153 155 157 164 169 176 180 181 182 185 186 189 194 195 197 199 201 204 207 208 211 214 215 217 219 222 226 227 231 232 233 234 238 243 244 247 250 251 255 259 273 281 282 284 288 293 296 301 306 310 311 313 318 321 326 335 339 342 343 345 346 348 353 358 359 361 362 365 366 373 375 379 380 388 391 395 397 403 409 410 411 412 415 419 420 421 422 425 426 432 433 437 438 a 1 2 15 25 26 30 36 38 39 41 42 49 50 51 54 55 59 60 67 69 71 73 74 80 90 91 92 93 100 107 108 109 110 114 117 121 122 125 127 132 133 134 137 141 142 143 146 148 153 155 157 164 169 176 180 181 182 185 186 189 194 195 197 199 201 204 207 208 211 214 215 217 219 222 226 227 231 232 233 234 238 243 244 247 250 251 255 259 273 281 282 284 288 293 296 301 306 310 311 313 318 321 326 335 339 342 343 345 346 348 353 358 359 361 362 365 366 373 375 379 380 385 388 391 395 397 403 409 410 411 412 415 419 420 421 422 425 426 432 433 437 438 a 1 2 15 25 26 30 36 38 39 41 42 49 50 51 54 55 59 60 67 69 71 73 74 80 90 91 92 93 100 107 108 109 110 117 121 122 125 127 132 133 134 137 140 141 142 143 146 148 153 155 157 164 169 176 180 181 182 185 186 189 194 195 197 199 201 204 207 208 211 214 215 217 219 222 226 227 231 232 233 234 238 243 244 247 250 251 255 259 273 281 282 284 288 293 296 301 306 310 311 313 318 321 326 335 339 342 343 345 346 348 353 358 359 361 362 365 366 373 375 379 380 385 388 391 395 397 403 409 410 411 412 415 419 420 421 422 425 426 432 433 437 438 a 1 2 15 25 26 30 36 38 39 41 42 49 50 51 54 55 59 60 67 69 71 73 74 80 90 91 92 93 100 103 107 108 109 110 117 121 122 127 132 133 134 137 140 141 142 143 146 148 153 155 157 164 169 176 180 181 182 185 186 189 194 195 197 199 201 204 207 208 211 214 215 217 219 222 226 227 231 232 233 234 238 243 244 247 250 251 255 259 273 281 282 284 288 293 296 301 306 310 311 313 318 321 326 335 339 342 343 345 346 348 353 358 359 361 362 365 366 373 375 379 380 385 388 391 395 397 403 409 410 411 412 415 419 420 421 422 425 426 432 433 437 438 a 1 2 15 25 26 30 36 38 39 41 42 49 50 51 54 55 59 60 64 67 69 71 73 74 80 90 91 92 93 100 103 107 108 109 110 117 121 122 132 133 134 137 140 141 142 143 146 148 153 155 157 164 169 176 180 181 182 185 186 189 194 195 197 199 201 204 207 208 211 214 215 217 219 222 226 227 231 232 233 234 238 243 244 247 250 251 255 259 273 281 282 284 288 293 296 301 306 310 311 313 318 321 326 335 339 342 343 345 346 348 353 358 359 361 362 365 366 373 375 379 380 385 388 391 395 397 403 409 410 411 412 415 419 420 421 422 425 426 432 433 437 438 a 1 2 15 25 26 30 36 38 39 41 42 49 50 51 54 55 59 60 64 67 69 71 73 74 80 90 91 92 93 100 103 107 108 109 110 117 121 122 132 134 137 140 141 142 143 146 148 153 155 157 164 169 176 180 181 182 185 186 189 194 195 197 199 201 204 207 208 211 214 215 217 219 222 226 227 231 232 233 234 238 243 244 247 250 251 255 259 273 281 282 284 288 293 296 301 306 310 311 313 318 321 326 335 339 342 343 345 346 348 353 358 359 361 362 365 366 373 375 379 380 385 388 391 395 397 403 409 410 411 412 415 419 420 421 422 425 426 432 433 436 437 438 a 1 2 15 25 26 30 36 38 39 41 42 49 50 51 54 55 59 60 64 67 69 71 73 74 80 90 91 92 93 100 103 107 108 109 110 117 121 122 132 134 137 138 140 141 142 143 146 148 153 155 157 164 176 180 181 182 185 186 189 194 195 197 199 201 204 207 208 211 214 215 217 219 222 226 227 231 232 233 234 238 243 244 247 250 251 255 259 273 281 282 284 288 293 296 301 306 310 311 313 318 321 326 335 339 342 343 345 346 348 353 358 359 361 362 365 366 373 375 379 380 385 388 391 395 397 403 409 410 411 412 415 419 420 421 422 425 426 432 433 436 437 438 a 1 2 15 26 30 36 38 39 41 42 49 50 51 54 55 59 60 64 67 69 71 73 74 80 90 91 92 93 100 103 107 108 109 110 117 121 122 132 134 135 137 138 140 141 142 143 146 148 153 155 157 164 176 180 181 182 185 186 189 194 195 197 199 201 204 207 208 211 214 215 217 219 222 226 227 231 232 233 234 238 243 244 247 250 251 255 259 273 281 282 284 288 293 296 301 306 310 311 313 318 321 326 335 339 342 343 345 346 348 353 358 359 361 362 365 366 373 375 379 380 385 388 391 395 397 403 409 410 411 412 415 419 420 421 422 425 426 432 433 436 437 438 a 1 2 15 30 36 38 39 41 42 49 50 51 54 55 59 60 64 67 69 71 73 74 80 90 91 92 93 100 103 107 108 109 110 117 121 122 132 134 135 137 138 140 141 142 143 146 148 153 155 157 164 176 180 181 182 185 186 189 194 195 197 199 201 204 207 208 211 214 215 217 219 222 226 227 231 232 233 234 238 243 244 247 250 251 255 259 273 281 282 284 288 293 296 301 306 310 311 313 318 321 326 335 339 342 343 345 346 348 353 358 359 361 362 365 366 373 375 379 380 385 387 388 391 395 397 403 409 410 411 412 415 419 420 421 422 425 426 432 433 436 437 438 a 1 2 15 30 36 38 39 41 42 49 50 51 54 55 59 60 64 67 69 71 73 74 80 90 91 92 93 100 103 107 108 109 110 117 121 122 132 134 135 137 138 140 141 143 146 148 153 155 157 164 176 180 181 182 185 186 189 194 195 197 199 201 204 207 208 211 214 215 217 219 222 226 227 231 232 233 234 238 243 244 247 250 251 255 259 273 281 282 284 288 293 296 301 306 310 311 313 315 318 321 326 335 339 342 343 345 346 348 353 358 359 361 362 365 366 373 375 379 380 385 387 388 391 395 397 403 409 410 411 412 415 419 420 421 422 425 426 432 433 436 437 438 a 1 2 15 30 36 38 39 41 42 49 50 51 54 55 59 60 64 67 69 71 73 74 77 80 90 91 92 93 100 103 107 108 109 110 117 121 122 132 134 135 137 138 140 141 143 146 148 153 155 157 164 176 180 181 182 186 189 194 195 197 199 201 204 207 208 211 214 215 217 219 222 226 227 231 232 233 234 238 243 244 247 250 251 255 259 273 281 282 284 288 293 296 301 306 310 311 313 315 318 321 326 335 339 342 343 345 346 348 353 358 359 361 362 365 366 373 375 379 380 385 387 388 391 395 397 403 409 410 411 412 415 419 420 421 422 425 426 432 433 436 437 438 a 1 2 15 30 36 38 39 41 49 50 51 54 55 56 59 60 64 67 69 71 73 74 77 80 90 91 92 93 100 103 107 108 109 110 117 121 122 132 134 135 137 138 140 141 143 146 148 153 155 157 164 176 180 181 182 186 189 194 195 197 199 201 204 207 208 211 214 215 217 219 222 226 227 231 232 233 234 238 243 244 247 250 251 255 259 273 281 282 284 288 293 296 301 306 310 311 313 315 318 321 326 335 339 342 343 345 346 348 353 358 359 361 362 365 366 373 375 379 380 385 387 388 391 395 397 403 409 410 411 412 415 419 420 421 422 425 426 432 433 436 437 438 a 1 2 15 30 36 38 39 41 49 50 51 54 55 56 59 60 64 67 69 71 73 74 77 80 90 91 92 93 100 103 107 108 109 110 117 121 122 132 134 135 137 138 140 141 143 146 148 153 155 157 164 176 180 181 182 186 189 194 195 199 201 204 207 208 210 211 214 215 217 219 222 226 227 231 232 233 234 238 243 244 247 250 251 255 259 273 281 282 284 288 293 296 301 306 310 311 313 315 318 321 326 335 339 342 343 345 346 348 353 358 359 361 362 365 366 373 375 379 380 385 387 388 391 395 397 403 409 410 411 412 415 419 420 421 422 425 426 432 433 436 437 438 a 1 2 15 30 36 38 39 41 49 50 51 54 55 56 59 60 64 67 69 71 73 74 77 80 90 91 92 93 100 103 107 108 109 110 117 121 122 132 134 135 137 138 140 141 143 146 148 153 155 157 164 176 180 181 182 186 189 194 195 199 201 204 207 208 210 211 214 217 219 222 226 227 231 232 233 234 238 243 244 247 250 251 255 259 273 281 282 284 288 293 296 301 306 310 311 313 315 318 321 326 335 339 342 343 345 346 348 352 353 358 359 361 362 365 366 373 375 379 380 385 387 388 391 395 397 403 409 410 411 412 415 419 420 421 422 425 426 432 433 436 437 438 a 1 2 15 30 36 38 39 41 49 50 51 54 55 56 59 60 64 67 69 71 73 74 77 80 90 91 92 93 100 103 107 108 109 110 117 121 122 132 134 135 137 138 140 141 143 146 148 153 155 157 164 176 180 181 182 186 189 194 195 199 201 204 207 208 210 211 214 217 222 226 227 231 232 233 234 238 243 244 247 250 251 255 259 273 281 282 284 288 293 296 301 306 308 310 311 313 315 318 321 326 335 339 342 343 345 346 348 352 353 358 359 361 362 365 366 373 375 379 380 385 387 388 391 395 397 403 409 410 411 412 415 419 420 421 422 425 426 432 433 436 437 438 a 1 2 15 30 33 36 38 39 41 49 50 51 54 55 56 59 60 64 67 69 71 73 74 77 80 90 91 92 93 100 103 107 108 109 110 117 121 122 132 134 135 137 138 140 141 143 146 148 153 155 157 164 176 180 181 182 186 189 194 195 199 201 204 207 208 210 211 214 217 222 226 227 231 232 233 234 238 244 247 250 251 255 259 273 281 282 284 288 293 296 301 306 308 310 311 313 315 318 321 326 335 339 342 343 345 346 348 352 353 358 359 361 362 365 366 373 375 379 380 385 387 388 391 395 397 403 409 410 411 412 415 419 420 421 422 425 426 432 433 436 437 438 a 1 2 15 30 33 36 38 39 41 49 51 54 55 56 59 60 64 67 69 71 73 74 77 80 90 91 92 93 100 103 107 108 109 110 117 121 122 132 134 135 137 138 140 141 143 146 148 153 155 157 164 176 180 181 182 186 189 194 195 199 201 204 207 208 210 211 214 217 222 226 227 231 232 233 234 238 244 247 250 251 255 259 266 273 281 282 284 288 293 296 301 306 308 310 311 313 315 318 321 326 335 339 342 343 345 346 348 352 353 358 359 361 362 365 366 373 375 379 380 385 387 388 391 395 397 403 409 410 411 412 415 419 420 421 422 425 426 432 433 436 437 438 a 1 2 15 30 33 36 38 39 41 49 51 55 56 59 60 64 67 69 71 73 74 77 80 90 91 92 93 100 103 107 108 109 110 117 121 122 132 134 135 137 138 140 141 143 146 148 153 155 157 164 176 180 181 182 186 189 194 195 199 201 204 207 208 210 211 213 214 217 222 226 227 231 232 233 234 238 244 247 250 251 255 259 266 273 281 282 284 288 293 296 301 306 308 310 311 313 315 318 321 326 335 339 342 343 345 346 348 352 353 358 359 361 362 365 366 373 375 379 380 385 387 388 391 395 397 403 409 410 411 412 415 419 420 421 422 425 426 432 433 436 437 438 a 1 2 15 30 33 36 38 39 41 49 51 55 56 59 60 64 67 69 71 73 74 77 80 90 91 92 93 100 103 107 108 109 110 117 121 122 132 134 135 137 138 140 141 143 146 148 153 155 157 164 176 180 181 182 186 189 194 195 199 201 204 207 208 210 211 213 214 217 222 226 227 231 232 233 234 238 247 250 251 255 259 266 273 281 282 284 288 293 296 301 306 308 310 311 313 315 318 321 326 335 339 342 343 345 346 348 352 353 358 359 361 362 365 366 373 375 379 380 385 387 388 389 391 395 397 403 409 410 411 412 415 419 420 421 422 425 426 432 433 436 437 438 a 1 2 15 30 33 34 36 38 39 41 49 51 55 56 59 60 64 67 69 71 73 74 77 80 90 91 92 93 100 103 107 108 109 110 117 121 122 132 134 135 137 138 140 141 143 146 148 153 155 157 164 176 180 181 182 186 189 194 195 199 201 204 207 208 210 211 213 214 217 222 226 227 231 232 233 234 238 250 251 255 259 266 273 281 282 284 288 293 296 301 306 308 310 311 313 315 318 321 326 335 339 342 343 345 346 348 352 353 358 359 361 362 365 366 373 375 379 380 385 387 388 389 391 395 397 403 409 410 411 412 415 419 420 421 422 425 426 432 433 436 437 438 a 1 2 15 30 33 34 36 38 39 41 49 51 55 56 59 60 64 67 69 71 73 74 77 80 90 91 92 93 100 103 107 108 109 110 117 121 122 132 134 135 137 138 140 141 143 146 148 153 155 157 164 176 180 181 182 186 189 192 194 195 199 201 204 207 208 210 211 213 214 217 222 226 227 231 232 233 234 238 250 255 259 266 273 281 282 284 288 293 296 301 306 308 310 311 313 315 318 321 326 335 339 342 343 345 346 348 352 353 358 359 361 362 365 366 373 375 379 380 385 387 388 389 391 395 397 403 409 410 411 412 415 419 420 421 422 425 426 432 433 436 437 438 a 1 2 15 30 33 34 36 38 39 41 49 51 55 56 59 60 64 67 69 71 73 74 77 80 90 91 92 93 100 103 107 108 109 110 117 121 122 132 134 135 137 138 140 141 143 146 148 153 155 157 164 176 181 182 186 189 192 194 195 199 201 204 207 208 210 211 213 214 217 222 226 227 231 232 233 234 238 250 255 259 266 273 281 282 284 288 293 296 298 301 306 308 310 311 313 315 318 321 326 335 339 342 343 345 346 348 352 353 358 359 361 362 365 366 373 375 379 380 385 387 388 389 391 395 397 403 409 410 411 412 415 419 420 421 422 425 426 432 433 436 437 438 a 1 2 15 30 33 34 36 38 39 41 49 51 55 56 59 60 64 67 69 71 73 74 77 80 90 91 92 93 94 100 103 107 108 109 110 117 121 122 132 134 135 137 138 140 141 143 146 148 153 155 157 164 176 181 182 186 189 192 194 195 199 201 204 207 208 210 211 213 214 217 222 226 227 231 232 233 234 238 250 255 266 273 281 282 284 288 293 296 298 301 306 308 310 311 313 315 318 321 326 335 339 342 343 345 346 348 352 353 358 359 361 362 365 366 373 375 379 380 385 387 388 389 391 395 397 403 409 410 411 412 415 419 420 421 422 425 426 432 433 436 437 438 a 1 2 15 30 33 34 36 38 39 41 49 51 55 56 59 60 64 67 69 71 73 74 77 80 82 90 91 92 93 94 100 103 107 108 109 110 117 121 122 132 134 135 137 138 140 141 143 146 148 153 155 157 164 176 181 182 186 189 192 194 195 199 201 204 207 208 210 211 213 214 217 222 226 227 231 232 233 234 238 250 255 266 273 281 284 288 293 296 298 301 306 308 310 311 313 315 318 321 326 335 339 342 343 345 346 348 352 353 358 359 361 362 365 366 373 375 379 380 385 387 388 389 391 395 397 403 409 410 411 412 415 419 420 421 422 425 426 432 433 436 437 438 a 1 2 15 30 33 34 36 38 39 41 46 49 51 55 56 59 60 64 67 69 71 73 74 77 80 82 90 91 92 93 94 100 103 107 108 109 110 117 121 122 132 134 135 137 138 140 141 143 146 148 153 155 157 164 176 181 182 186 189 192 194 195 199 201 204 207 208 210 211 213 214 217 222 226 227 231 232 233 234 238 250 255 266 273 281 284 288 293 296 298 301 306 308 311 313 315 318 321 326 335 339 342 343 345 346 348 352 353 358 359 361 362 365 366 373 375 379 380 385 387 388 389 391 395 397 403 409 410 411 412 415 419 420 421 422 425 426 432 433 436 437 438 a 1 2 15 30 33 34 36 38 39 41 46 49 51 55 56 59 60 64 67 69 71 73 74 77 79 80 82 90 91 92 93 94 100 103 107 108 109 110 117 121 122 132 134 135 137 138 140 141 143 146 148 153 155 157 164 176 181 182 186 189 192 194 195 199 201 204 207 208 210 211 213 214 217 222 226 227 231 232 233 234 238 250 255 266 273 281 284 288 293 296 298 301 306 308 311 313 315 318 321 326 335 342 343 345 346 348 352 353 358 359 361 362 365 366 373 375 379 380 385 387 388 389 391 395 397 403 409 410 411 412 415 419 420 421 422 425 426 432 433 436 437 438 a 1 2 15 30 33 34 36 38 39 41 46 49 51 55 56 59 60 64 67 69 73 74 77 79 80 82 90 91 92 93 94 100 103 107 108 109 110 117 121 122 132 134 135 137 138 140 141 143 146 148 153 155 157 164 176 181 182 186 189 192 194 195 199 201 204 207 208 210 211 213 214 217 222 226 227 231 232 233 234 238 250 255 266 273 281 284 288 293 296 298 301 306 308 311 313 315 318 321 326 335 342 343 345 346 348 352 353 358 359 361 362 365 366 373 375 379 380 385 387 388 389 391 395 397 403 409 410 411 412 415 419 420 421 422 425 426 432 433 436 437 438 440 a 1 2 15 16 30 33 34 36 38 39 41 46 49 51 55 56 59 60 64 67 69 73 74 77 79 80 82 90 91 92 93 94 100 103 107 108 109 110 117 121 122 132 134 135 137 138 140 141 143 146 148 153 155 157 164 176 181 182 186 189 192 194 195 199 201 204 207 208 210 211 213 214 217 222 226 227 231 232 233 234 238 250 255 266 273 281 284 288 293 296 298 301 306 308 311 313 315 318 321 326 335 342 343 345 346 352 353 358 359 361 362 365 366 373 375 379 380 385 387 388 389 391 395 397 403 409 410 411 412 415 419 420 421 422 425 426 432 433 436 437 438 440 a 1 2 15 16 30 33 34 36 38 39 41 46 49 51 55 56 59 60 64 67 69 73 74 77 79 80 82 90 91 92 93 94 100 103 104 107 108 109 110 117 121 122 132 134 135 137 138 140 141 143 146 148 153 155 157 164 176 181 182 186 189 192 194 195 199 201 204 207 208 210 211 213 214 217 222 226 227 231 232 234 238 250 255 266 273 281 284 288 293 296 298 301 306 308 311 313 315 318 321 326 335 342 343 345 346 352 353 358 359 361 362 365 366 373 375 379 380 385 387 388 389 391 395 397 403 409 410 411 412 415 419 420 421 422 425 426 432 433 436 437 438 440 a 1 2 15 16 30 33 34 36 38 39 41 46 49 51 56 59 60 64 67 69 73 74 77 79 80 82 90 91 92 93 94 100 103 104 107 108 109 110 117 121 122 132 134 135 137 138 140 141 143 146 148 153 155 157 164 176 181 182 186 189 192 194 195 199 201 204 207 208 210 211 213 214 217 222 226 227 231 232 234 238 250 255 266 273 281 284 288 293 296 298 301 306 308 311 313 315 318 321 326 335 342 343 345 346 352 353 356 358 359 361 362 365 366 373 375 379 380 385 387 388 389 391 395 397 403 409 410 411 412 415 419 420 421 422 425 426 432 433 436 437 438 440 a 1 2 15 16 30 33 34 36 38 39 41 46 49 51 56 59 60 64 67 69 73 74 77 79 80 82 90 91 92 93 94 100 103 104 107 108 109 110 117 121 122 132 134 135 137 138 140 141 143 146 148 153 155 157 164 176 181 182 186 189 192 194 195 199 201 204 207 208 210 211 213 214 217 222 226 227 231 232 234 238 250 255 266 273 281 284 288 293 296 298 301 306 308 311 313 315 318 321 326 329 335 342 343 345 346 352 353 356 359 361 362 365 366 373 375 379 380 385 387 388 389 391 395 397 403 409 410 411 412 415 419 420 421 422 425 426 432 433 436 437 438 440 a 1 2 15 16 30 33 34 36 38 39 41 46 49 51 56 59 60 64 67 69 73 74 77 79 80 82 90 91 92 93 94 100 103 104 107 108 109 110 117 121 122 132 134 135 137 138 140 143 146 148 153 155 157 164 176 181 182 186 189 192 194 195 199 201 204 207 208 210 211 213 214 217 222 226 227 231 232 234 238 240 250 255 266 273 281 284 288 293 296 298 301 306 308 311 313 315 318 321 326 329 335 342 343 345 346 352 353 356 359 361 362 365 366 373 375 379 380 385 387 388 389 391 395 397 403 409 410 411 412 415 419 420 421 422 425 426 432 433 436 437 438 440 a 1 2 15 16 30 33 34 36 38 39 41 46 49 51 56 59 60 64 67 69 73 74 77 79 80 82 90 91 92 93 94 100 103 104 107 108 109 110 117 121 122 132 134 135 137 138 140 143 146 148 153 155 157 164 176 181 182 186 189 192 194 195 199 201 204 207 208 210 211 213 214 217 222 226 227 231 232 234 238 240 250 255 266 273 281 284 288 293 296 298 301 306 308 311 313 315 318 321 326 329 335 337 342 343 345 346 352 353 356 361 362 365 366 373 375 379 380 385 387 388 389 391 395 397 403 409 410 411 412 415 419 420 421 422 425 426 432 433 436 437 438 440 a 1 2 15 16 30 33 34 36 38 39 41 46 49 51 56 59 60 64 67 69 73 74 77 79 80 82 90 91 92 93 94 100 103 104 107 108 109 110 117 121 122 132 134 135 137 138 140 143 146 148 153 155 157 164 176 177 181 182 186 189 192 194 195 199 201 204 207 208 210 213 214 217 222 226 227 231 232 234 238 240 250 255 266 273 281 284 288 293 296 298 301 306 308 311 313 315 318 321 326 329 335 337 342 343 345 346 352 353 356 361 362 365 366 373 375 379 380 385 387 388 389 391 395 397 403 409 410 411 412 415 419 420 421 422 425 426 432 433 436 437 438 440 a 1 2 15 16 30 33 34 36 38 39 41 46 49 51 56 59 60 64 67 69 73 74 77 79 80 82 90 91 92 93 94 100 103 104 107 108 109 110 117 121 122 132 134 135 137 138 140 143 146 148 153 155 157 164 176 177 181 182 186 189 192 194 195 199 201 204 207 208 210 213 214 216 217 222 226 227 231 232 234 238 240 250 255 266 273 281 284 288 293 296 298 301 306 308 311 313 315 318 321 326 329 335 337 342 343 345 346 352 356 361 362 365 366 373 375 379 380 385 387 388 389 391 395 397 403 409 410 411 412 415 419 420 421 422 425 426 432 433 436 437 438 440 a 1 2 15 16 30 33 34 36 38 39 41 46 49 51 56 59 60 64 67 69 73 74 75 77 79 80 82 90 91 92 93 94 100 103 104 107 108 109 110 117 121 122 132 134 135 137 138 140 143 146 148 153 155 157 164 176 177 181 182 186 189 192 194 195 199 201 204 207 208 210 213 214 216 217 222 226 227 231 232 234 240 250 255 266 273 281 284 288 293 296 298 301 306 308 311 313 315 318 321 326 329 335 337 342 343 345 346 352 356 361 362 365 366 373 375 379 380 385 387 388 389 391 395 397 403 409 410 411 412 415 419 420 421 422 425 426 432 433 436 437 438 440 a 1 2 9 15 16 30 33 34 36 38 39 41 46 49 51 56 59 60 64 67 69 73 74 75 77 79 80 82 90 91 92 93 94 100 103 104 107 108 109 110 117 121 122 132 134 135 137 138 140 143 146 148 153 155 157 164 176 177 181 182 186 189 192 194 195 199 201 204 207 208 210 213 214 216 217 222 226 227 231 232 234 240 250 255 266 273 281 284 288 293 296 298 301 306 308 311 313 315 318 321 326 329 335 337 342 343 345 346 352 356 361 362 365 366 373 379 380 385 387 388 389 391 395 397 403 409 410 411 412 415 419 420 421 422 425 426 432 433 436 437 438 440 a 1 2 9 15 16 30 33 34 36 38 39 41 46 49 51 56 59 60 64 67 69 73 74 75 77 79 80 82 90 91 92 93 94 100 103 104 107 108 109 110 117 121 122 132 134 135 137 138 140 143 146 148 153 155 157 164 176 177 181 182 186 189 192 194 195 198 199 201 204 207 208 210 213 214 216 217 222 226 227 231 232 240 250 255 266 273 281 284 288 293 296 298 301 306 308 311 313 315 318 321 326 329 335 337 342 343 345 346 352 356 361 362 365 366 373 379 380 385 387 388 389 391 395 397 403 409 410 411 412 415 419 420 421 422 425 426 432 433 436 437 438 440 a 1 2 9 15 16 30 33 34 36 38 39 41 46 49 51 52 56 59 60 64 67 69 73 74 75 77 79 80 82 90 91 92 93 94 100 103 104 107 108 109 110 117 121 122 132 134 135 137 138 140 143 146 148 153 155 157 164 176 177 181 182 186 189 192 194 195 198 199 201 204 207 208 210 213 214 216 217 222 226 227 231 232 240 250 255 266 273 281 284 288 293 296 298 301 306 308 311 313 315 318 321 326 329 335 337 342 343 345 346 352 356 361 362 365 366 373 379 380 385 387 389 391 395 397 403 409 410 411 412 415 419 420 421 422 425 426 432 433 436 437 438 440 a 1 2 9 15 16 30 33 34 36 38 39 41 46 49 51 52 56 60 64 67 69 73 74 75 77 79 80 82 90 91 92 93 94 100 103 104 107 108 109 110 117 121 122 132 134 135 137 138 140 143 146 148 153 155 157 164 176 177 181 182 186 189 192 194 195 198 199 201 204 207 208 210 213 214 216 217 222 226 227 231 232 240 250 255 266 273 281 284 288 293 296 298 301 306 308 311 313 315 318 321 326 329 335 337 342 343 345 346 350 352 356 361 362 365 366 373 379 380 385 387 389 391 395 397 403 409 410 411 412 415 419 420 421 422 425 426 432 433 436 437 438 440 a 1 2 9 15 16 30 33 34 36 38 39 41 46 49 51 52 56 60 64 67 69 73 74 75 77 79 80 82 90 91 92 93 94 100 103 104 107 108 109 110 117 121 122 132 134 135 136 137 138 140 143 146 148 153 155 157 164 176 177 181 186 189 192 194 195 198 199 201 204 207 208 210 213 214 216 217 222 226 227 231 232 240 250 255 266 273 281 284 288 293 296 298 301 306 308 311 313 315 318 321 326 329 335 337 342 343 345 346 350 352 356 361 362 365 366 373 379 380 385 387 389 391 395 397 403 409 410 411 412 415 419 420 421 422 425 426 432 433 436 437 438 440 a 1 2 9 15 16 30 33 34 36 38 39 41 46 49 51 52 56 60 64 67 69 73 74 75 77 79 80 82 90 91 92 93 94 100 103 104 107 108 109 110 117 121 122 132 134 135 136 137 138 140 143 148 153 155 157 164 176 177 181 186 189 192 194 195 198 199 201 204 207 208 210 213 214 216 217 222 226 227 231 232 240 250 255 266 273 281 284 288 289 293 296 298 301 306 308 311 313 315 318 321 326 329 335 337 342 343 345 346 350 352 356 361 362 365 366 373 379 380 385 387 389 391 395 397 403 409 410 411 412 415 419 420 421 422 425 426 432 433 436 437 438 440 a 1 2 9 15 16 30 33 34 36 38 39 41 46 49 51 52 56 60 64 67 69 73 74 75 77 79 80 82 90 91 92 93 94 100 103 104 107 108 109 110 117 121 122 132 134 135 136 137 138 140 143 148 153 155 157 164 176 177 181 186 189 192 194 195 198 199 201 204 207 208 210 213 214 216 217 226 227 231 232 240 250 255 266 273 277 281 284 288 289 293 296 298 301 306 308 311 313 315 318 321 326 329 335 337 342 343 345 346 350 352 356 361 362 365 366 373 379 380 385 387 389 391 395 397 403 409 410 411 412 415 419 420 421 422 425 426 432 433 436 437 438 440 a 1 2 9 15 16 30 33 34 36 38 39 41 46 49 51 52 56 60 64 67 69 73 74 75 77 79 80 82 90 91 92 93 94 100 103 104 107 108 109 110 117 121 122 132 134 135 136 137 138 140 143 148 149 153 155 157 164 176 177 181 186 189 192 194 195 198 199 201 204 207 208 210 213 214 216 217 226 227 231 240 250 255 266 273 277 281 284 288 289 293 296 298 301 306 308 311 313 315 318 321 326 329 335 337 342 343 345 346 350 352 356 361 362 365 366 373 379 380 385 387 389 391 395 397 403 409 410 411 412 415 419 420 421 422 425 426 432 433 436 437 438 440 a 1 2 9 15 16 30 33 34 36 38 39 41 46 49 51 52 56 60 61 64 67 69 73 74 75 77 79 80 82 90 91 92 93 94 100 103 104 107 108 109 110 117 121 122 132 134 135 136 137 138 140 143 148 149 153 155 157 164 176 177 181 186 189 192 194 195 198 199 201 204 207 208 210 213 214 216 217 226 227 231 240 250 255 266 273 277 281 284 288 289 293 296 298 301 306 308 311 313 315 318 326 329 335 337 342 343 345 346 350 352 356 361 362 365 366 373 379 380 385 387 389 391 395 397 403 409 410 411 412 415 419 420 421 422 425 426 432 433 436 437 438 440 a 1 2 9 15 16 30 33 34 36 38 39 41 46 49 51 52 56 60 61 64 67 69 73 74 75 77 79 80 82 90 91 92 93 94 100 103 104 107 108 109 110 117 121 122 132 134 135 136 137 138 140 143 148 149 153 155 157 164 176 177 181 186 189 192 194 195 198 199 201 204 207 208 209 210 213 214 216 217 226 227 231 240 250 255 266 273 277 281 284 288 289 293 296 298 301 306 308 311 313 315 326 329 335 337 342 343 345 346 350 352 356 361 362 365 366 373 379 380 385 387 389 391 395 397 403 409 410 411 412 415 419 420 421 422 425 426 432 433 436 437 438 440 a 1 2 9 15 16 30 33 34 36 38 39 41 46 49 51 52 56 60 61 64 67 69 73 75 77 79 80 82 90 91 92 93 94 100 103 104 107 108 109 110 115 117 121 122 132 134 135 136 137 138 140 143 148 149 153 155 157 164 176 177 181 186 189 192 194 195 198 199 201 204 207 208 209 210 213 214 216 217 226 227 231 240 250 255 266 273 277 281 284 288 289 293 296 298 301 306 308 311 313 315 326 329 335 337 342 343 345 346 350 352 356 361 362 365 366 373 379 380 385 387 389 391 395 397 403 409 410 411 412 415 419 420 421 422 425 426 432 433 436 437 438 440 a 1 2 9 15 16 22 30 33 34 36 38 39 41 46 49 51 52 56 60 61 64 67 69 73 75 77 79 80 82 90 91 92 93 94 100 103 104 107 108 109 110 115 117 121 122 132 134 135 136 137 138 140 143 148 149 153 155 157 164 176 177 181 186 189 192 194 195 198 199 201 204 207 208 209 210 213 214 216 217 226 227 231 240 250 255 266 273 277 281 284 289 293 296 298 301 306 308 311 313 315 326 329 335 337 342 343 345 346 350 352 356 361 362 365 366 373 379 380 385 387 389 391 395 397 403 409 410 411 412 415 419 420 421 422 425 426 432 433 436 437 438 440 a 1 2 9 15 16 22 30 33 34 36 38 39 41 46 49 51 52 56 60 61 64 67 69 73 75 77 79 80 82 84 90 91 92 93 94 100 103 104 107 108 109 110 115 117 121 122 132 134 135 136 137 138 140 143 148 149 153 155 157 164 176 177 181 186 189 192 194 195 198 199 201 204 207 208 209 210 213 214 216 217 226 227 231 240 250 255 266 273 277 281 284 289 293 296 298 301 306 308 311 313 315 326 329 335 337 342 343 345 346 350 352 356 361 362 366 373 379 380 385 387 389 391 395 397 403 409 410 411 412 415 419 420 421 422 425 426 432 433 436 437 438 440 a 1 2 9 15 16 22 30 33 34 36 38 39 41 46 49 51 52 56 60 61 64 66 67 69 73 75 77 79 80 82 84 90 91 92 93 94 100 103 104 107 108 109 110 115 117 121 122 132 134 135 136 137 138 140 143 148 149 153 155 157 164 176 177 181 186 189 192 194 195 198 199 201 204 207 208 209 210 213 214 216 217 226 227 231 240 250 255 266 273 277 281 284 289 293 296 298 301 306 308 311 313 315 326 329 335 337 342 343 346 350 352 356 361 362 366 373 379 380 385 387 389 391 395 397 403 409 410 411 412 415 419 420 421 422 425 426 432 433 436 437 438 440 a 1 2 9 15 16 22 30 33 34 36 38 39 41 46 49 51 52 56 60 61 64 66 67 69 73 75 77 79 80 82 84 90 91 92 93 94 100 103 104 107 108 109 110 115 117 121 122 132 134 135 136 137 138 140 143 148 149 153 155 157 164 176 177 181 186 189 192 194 195 198 199 201 204 207 208 209 210 213 214 216 217 226 227 231 240 250 255 266 273 277 281 284 289 293 296 298 301 306 308 311 313 315 326 329 335 337 342 343 346 350 352 356 361 362 366 373 379 380 385 387 389 395 397 403 404 409 410 411 412 415 419 420 421 422 425 426 432 433 436 437 438 440 a 1 2 9 15 16 22 30 33 34 36 38 39 41 46 49 51 52 56 60 61 64 66 67 69 73 75 77 79 80 82 84 90 92 93 94 100 103 104 107 108 109 110 115 117 121 122 132 134 135 136 137 138 140 143 148 149 153 155 157 164 176 177 181 186 189 192 194 195 198 199 201 204 207 208 209 210 213 214 216 217 226 227 230 231 240 250 255 266 273 277 281 284 289 293 296 298 301 306 308 311 313 315 326 329 335 337 342 343 346 350 352 356 361 362 366 373 379 380 385 387 389 395 397 403 404 409 410 411 412 415 419 420 421 422 425 426 432 433 436 437 438 440 a 1 2 9 15 16 22 30 33 34 36 38 39 41 46 49 51 52 56 60 61 64 66 67 69 73 75 77 79 80 82 84 90 93 94 100 103 104 107 108 109 110 115 117 121 122 132 134 135 136 137 138 140 143 148 149 153 155 157 159 164 176 177 181 186 189 192 194 195 198 199 201 204 207 208 209 210 213 214 216 217 226 227 230 231 240 250 255 266 273 277 281 284 289 293 296 298 301 306 308 311 313 315 326 329 335 337 342 343 346 350 352 356 361 362 366 373 379 380 385 387 389 395 397 403 404 409 410 411 412 415 419 420 421 422 425 426 432 433 436 437 438 440 a 1 2 9 15 16 22 30 33 34 36 38 39 41 46 49 51 52 56 60 61 64 66 67 69 73 75 77 79 80 82 84 90 93 94 100 103 104 107 108 109 110 115 117 121 132 134 135 136 137 138 140 143 148 149 153 155 157 159 164 176 177 181 186 189 192 194 195 198 199 201 204 207 208 209 210 213 214 216 217 226 227 230 231 240 250 255 266 273 277 281 284 289 293 296 298 301 306 308 311 313 315 326 329 335 337 342 343 346 350 352 356 361 362 366 373 379 380 385 387 389 395 397 403 404 409 410 411 412 415 419 420 421 422 425 426 427 432 433 436 437 438 440 a 1 2 9 15 16 22 30 33 34 36 38 39 41 46 49 51 52 56 60 61 64 66 67 69 73 75 77 79 80 82 84 90 93 94 100 103 104 107 108 109 110 115 117 121 132 134 135 136 137 138 140 143 148 149 153 155 157 159 164 176 177 181 186 189 192 194 195 198 199 201 204 207 209 210 213 214 216 217 226 227 230 231 240 250 255 266 273 277 281 284 289 293 296 298 301 306 308 309 311 313 315 326 329 335 337 342 343 346 350 352 356 361 362 366 373 379 380 385 387 389 395 397 403 404 409 410 411 412 415 419 420 421 422 425 426 427 432 433 436 437 438 440 a 1 2 9 15 16 22 30 33 34 36 38 39 41 46 49 51 52 56 60 61 64 66 67 69 73 75 77 79 80 81 82 84 90 93 94 100 103 104 107 108 109 110 115 117 121 132 134 135 136 137 138 140 143 148 149 153 155 157 159 164 176 177 181 186 189 192 194 195 198 199 201 204 207 209 210 213 214 216 217 226 227 230 231 240 250 255 266 273 277 284 289 293 296 298 301 306 308 309 311 313 315 326 329 335 337 342 343 346 350 352 356 361 362 366 373 379 380 385 387 389 395 397 403 404 409 410 411 412 415 419 420 421 422 425 426 427 432 433 436 437 438 440 a 1 2 9 15 16 22 30 33 34 36 38 39 41 46 49 51 52 56 60 61 64 66 67 69 73 75 77 79 80 81 82 84 90 93 94 100 103 104 107 108 109 110 115 117 121 132 134 135 136 137 138 140 143 148 149 153 155 157 159 164 176 177 181 186 189 192 194 198 199 201 204 207 209 210 213 214 216 217 226 227 230 231 240 250 255 266 273 277 284 289 293 296 298 301 306 308 309 311 313 315 326 329 335 337 342 343 346 350 352 356 361 362 366 373 379 380 385 387 389 395 397 403 404 409 410 411 412 415 419 420 421 422 425 426 427 432 433 436 437 438 440 441 a 1 2 7 9 15 16 22 30 33 34 36 38 39 41 46 49 51 52 56 60 61 64 66 67 69 73 75 77 79 80 81 82 84 90 93 94 100 103 104 107 108 109 110 115 117 121 132 134 135 136 137 138 140 143 148 149 153 155 157 159 164 176 177 181 186 189 192 194 198 199 201 204 207 209 210 213 214 216 217 226 227 230 231 240 250 255 266 273 277 289 293 296 298 301 306 308 309 311 313 315 326 329 335 337 342 343 346 350 352 356 361 362 366 373 379 380 385 387 389 395 397 403 404 409 410 411 412 415 419 420 421 422 425 426 427 432 433 436 437 438 440 441 a 1 2 7 9 15 16 22 30 33 34 36 38 39 41 46 49 51 52 56 60 61 64 66 67 69 73 75 77 79 80 81 82 84 90 93 94 100 103 104 107 108 109 110 115 117 121 132 134 135 136 137 138 140 143 148 149 153 155 157 159 164 176 177 181 186 189 192 194 198 199 201 204 207 209 210 213 214 216 217 226 227 230 231 240 250 255 266 273 277 289 296 298 301 305 306 308 309 311 313 315 326 329 335 337 342 343 346 350 352 356 361 362 366 373 379 380 385 387 389 395 397 403 404 409 410 411 412 415 419 420 421 422 425 426 427 432 433 436 437 438 440 441 a 1 2 5 7 9 15 16 22 30 33 34 36 38 39 41 46 49 51 52 56 60 61 64 66 67 69 73 75 77 79 80 81 82 84 90 93 94 100 103 104 107 108 109 110 115 117 121 132 134 135 136 137 138 140 143 148 149 153 155 157 159 164 176 177 181 186 189 192 194 198 199 201 204 207 209 210 213 214 216 217 226 227 230 231 240 250 255 266 273 277 289 296 298 301 305 306 308 309 311 313 315 326 329 335 337 342 343 346 350 352 356 361 362 366 373 379 380 385 387 389 397 403 404 409 410 411 412 415 419 420 421 422 425 426 427 432 433 436 437 438 440 441 a 1 2 5 7 9 15 16 22 30 33 34 36 38 39 41 46 49 51 52 56 60 61 64 66 67 69 73 75 77 79 80 81 82 84 90 93 94 100 103 104 107 108 109 110 115 117 121 130 132 134 135 136 137 138 140 143 148 149 153 155 157 159 164 176 177 181 186 189 192 194 198 199 201 204 207 209 210 213 214 216 217 226 227 230 231 240 250 255 266 273 277 289 296 298 301 305 306 308 309 311 313 315 326 329 335 337 342 343 346 350 352 356 361 362 366 373 379 380 385 387 389 397 403 404 410 411 412 415 419 420 421 422 425 426 427 432 433 436 437 438 440 441 a 1 2 5 7 9 15 16 22 30 33 34 36 38 39 41 46 49 51 52 56 60 61 64 66 67 69 73 75 77 79 80 81 82 84 90 93 94 100 103 104 107 108 109 110 115 117 121 130 132 134 135 136 138 140 143 148 149 153 155 157 159 164 176 177 181 186 189 192 194 198 199 201 204 207 209 210 213 214 216 217 226 227 230 231 240 250 255 266 273 277 289 296 298 301 305 306 308 309 311 313 315 326 329 335 337 342 343 346 350 352 356 361 362 366 373 379 380 385 387 389 397 403 404 410 411 412 415 416 419 420 421 422 425 426 427 432 433 436 437 438 440 441 a 1 2 5 7 9 15 16 22 30 33 34 36 38 39 41 46 49 51 52 56 60 61 64 66 67 69 73 75 77 79 80 81 82 84 90 93 94 100 103 104 107 108 109 110 115 117 121 130 132 134 135 136 138 140 143 148 149 150 153 155 157 159 164 176 177 181 186 189 192 194 198 199 201 204 207 209 210 213 214 216 217 226 227 230 231 240 250 255 266 273 277 289 296 298 301 305 306 308 309 311 313 315 326 329 335 337 342 343 346 350 352 356 361 362 373 379 380 385 387 389 397 403 404 410 411 412 415 416 419 420 421 422 425 426 427 432 433 436 437 438 440 441 a 1 2 5 7 9 15 16 22 30 33 34 36 38 39 41 46 49 51 52 56 60 61 64 66 67 69 72 73 75 77 79 80 81 82 84 90 93 94 100 103 104 107 108 109 110 115 117 121 130 132 134 135 136 138 140 143 148 149 150 153 155 157 159 164 176 177 181 186 189 192 194 198 199 201 204 207 209 210 213 214 216 217 226 227 230 231 240 250 255 266 273 277 289 296 298 301 305 306 308 309 311 313 315 326 329 335 337 342 343 346 350 352 356 361 362 373 379 385 387 389 397 403 404 410 411 412 415 416 419 420 421 422 425 426 427 432 433 436 437 438 440 441 a 1 2 5 7 9 15 16 22 30 33 34 36 38 39 41 46 49 51 52 56 60 61 64 66 67 69 72 73 75 77 79 80 81 82 84 90 93 94 100 103 104 107 108 109 110 115 117 121 130 132 134 135 136 138 140 143 148 149 150 153 155 157 159 164 166 176 177 181 186 189 192 194 198 199 201 204 207 209 210 213 216 217 226 227 230 231 240 250 255 266 273 277 289 296 298 301 305 306 308 309 311 313 315 326 329 335 337 342 343 346 350 352 356 361 362 373 379 385 387 389 397 403 404 410 411 412 415 416 419 420 421 422 425 426 427 432 433 436 437 438 440 441 a 1 2 5 7 9 15 16 22 30 33 34 36 38 39 41 46 49 51 52 56 60 61 64 66 67 69 72 73 75 77 79 80 81 82 84 90 93 94 100 103 104 107 108 109 110 115 117 121 130 132 134 135 136 138 140 143 148 149 150 153 155 157 159 164 166 176 177 181 186 189 192 194 198 199 201 204 207 209 210 213 216 217 226 227 230 231 240 250 255 266 273 277 278 289 296 298 301 305 306 308 309 311 313 315 326 329 335 337 342 343 346 350 352 356 361 362 373 379 385 387 389 397 403 404 410 412 415 416 419 420 421 422 425 426 427 432 433 436 437 438 440 441 a 1 2 5 7 9 15 16 22 30 33 34 36 38 39 41 46 49 51 52 56 60 61 64 66 67 69 72 73 75 77 79 80 81 82 84 90 93 94 96 100 103 104 107 108 109 110 115 117 121 130 132 134 135 136 138 140 143 148 149 150 153 155 157 159 164 166 176 177 181 186 189 192 194 198 199 201 204 207 209 210 213 216 217 226 227 230 231 240 250 255 266 273 277 278 289 296 298 301 305 306 308 309 311 313 315 326 329 335 337 342 343 346 350 352 356 361 362 373 379 385 387 389 397 403 404 410 415 416 419 420 421 422 425 426 427 432 433 436 437 438 440 441 a 1 2 5 7 9 15 16 22 30 33 34 36 38 39 41 46 49 51 52 56 60 61 64 66 67 69 72 73 75 77 79 80 81 82 84 90 93 94 96 100 103 104 107 108 109 110 115 117 121 130 132 134 135 136 138 140 143 148 149 150 153 155 157 159 164 166 176 177 181 186 189 192 194 198 199 201 204 207 209 210 213 216 217 226 227 230 231 240 250 255 266 273 277 278 289 296 298 301 305 306 308 309 311 313 315 326 329 333 335 337 342 343 346 350 352 356 361 362 373 379 385 387 389 397 403 404 410 415 416 419 420 421 422 426 427 432 433 436 437 438 440 441 a 1 2 5 7 9 15 16 22 30 33 34 36 38 39 41 46 49 51 52 56 60 61 64 66 67 69 72 73 75 77 79 80 81 82 84 90 93 94 96 100 103 104 107 108 109 110 115 117 121 130 132 134 135 136 138 140 143 148 149 150 153 155 157 159 164 166 168 176 177 181 186 189 192 194 198 199 201 204 207 209 210 213 216 217 226 227 230 231 240 250 255 266 273 277 278 289 296 298 301 305 306 308 309 311 313 315 326 329 333 335 337 342 343 346 350 352 356 361 362 373 379 385 387 389 397 403 404 410 415 416 419 420 421 422 426 427 432 433 436 437 440 441 a 1 2 5 7 9 15 16 22 30 33 34 36 38 39 41 46 49 51 52 56 60 61 64 66 67 69 72 73 75 77 79 80 81 82 84 90 93 94 96 100 103 104 107 108 109 110 115 117 121 130 132 134 135 136 138 140 143 148 149 150 155 157 159 164 166 168 176 177 181 186 189 192 194 198 199 201 204 207 209 210 213 216 217 226 227 230 231 240 250 255 266 273 277 278 280 289 296 298 301 305 306 308 309 311 313 315 326 329 333 335 337 342 343 346 350 352 356 361 362 373 379 385 387 389 397 403 404 410 415 416 419 420 421 422 426 427 432 433 436 437 440 441 a 1 2 5 7 9 15 16 22 30 33 34 36 38 39 41 46 49 51 52 56 60 61 64 66 67 69 72 73 75 77 79 80 81 82 84 90 93 94 96 100 103 104 107 108 109 110 115 117 121 130 132 134 135 136 138 140 143 148 149 150 155 157 159 166 167 168 176 177 181 186 189 192 194 198 199 201 204 207 209 210 213 216 217 226 227 230 231 240 250 255 266 273 277 278 280 289 296 298 301 305 306 308 309 311 313 315 326 329 333 335 337 342 343 346 350 352 356 361 362 373 379 385 387 389 397 403 404 410 415 416 419 420 421 422 426 427 432 433 436 437 440 441 a 1 2 5 7 9 15 16 22 30 33 34 36 38 39 41 46 49 51 52 56 60 61 64 66 67 69 72 73 75 77 79 80 81 82 84 90 93 94 96 100 103 104 107 108 109 110 115 117 121 130 132 134 135 136 138 140 143 148 149 150 155 157 159 166 167 168 176 177 181 186 189 192 194 198 199 200 201 204 207 209 210 213 216 217 227 230 231 240 250 255 266 273 277 278 280 289 296 298 301 305 306 308 309 311 313 315 326 329 333 335 337 342 343 346 350 352 356 361 362 373 379 385 387 389 397 403 404 410 415 416 419 420 421 422 426 427 432 433 436 437 440 441 a 1 2 5 7 9 15 16 22 30 33 34 36 38 39 41 46 49 51 52 56 60 61 64 66 67 69 72 73 75 77 79 80 81 82 84 90 93 94 96 100 103 104 107 108 109 110 115 117 121 130 132 134 135 136 138 140 143 148 149 150 155 157 159 166 167 168 176 177 181 186 189 192 194 198 199 200 201 204 207 209 210 213 216 217 218 227 230 231 240 250 255 266 273 277 278 280 289 296 298 301 305 306 308 309 311 313 315 326 329 333 335 337 342 343 346 350 352 356 361 362 373 379 385 387 389 403 404 410 415 416 419 420 421 422 426 427 432 433 436 437 440 441 a 1 2 5 7 9 15 16 22 30 33 34 36 38 39 41 46 49 51 52 56 60 61 64 66 67 69 72 73 75 77 79 80 81 82 84 90 93 94 96 100 103 104 107 108 109 110 113 115 117 121 130 132 134 135 136 138 140 143 148 149 150 155 157 159 166 167 168 176 177 181 186 189 192 194 198 199 200 201 204 207 209 210 213 216 217 218 227 230 231 240 250 255 266 273 277 278 280 289 296 298 301 305 306 308 309 311 313 315 326 329 333 335 337 342 343 346 350 352 356 361 362 373 385 387 389 403 404 410 415 416 419 420 421 422 426 427 432 433 436 437 440 441 a 1 2 5 7 9 15 16 22 30 33 34 36 38 39 41 46 49 51 52 56 60 61 64 66 67 69 72 73 75 77 79 80 81 82 84 90 93 94 96 100 103 104 107 108 109 110 113 115 117 121 130 132 134 135 136 138 140 143 148 149 150 155 157 159 166 167 168 176 177 179 181 186 189 192 194 198 199 200 201 204 207 209 210 213 216 217 218 227 230 231 240 250 255 266 273 277 278 280 289 296 298 301 305 306 308 309 311 313 315 326 329 333 335 337 342 343 346 350 352 356 361 362 373 385 387 389 403 404 410 416 419 420 421 422 426 427 432 433 436 437 440 441 a 1 2 5 7 9 15 16 22 30 33 34 36 38 39 41 46 49 51 52 56 60 61 64 66 67 69 72 73 75 77 79 80 81 82 84 90 93 94 96 100 103 104 107 108 109 110 113 115 117 121 130 132 134 135 136 138 140 143 148 149 150 155 157 159 166 167 168 176 177 179 181 186 189 192 194 198 199 200 201 203 204 207 209 210 213 216 217 218 227 230 231 240 250 255 266 273 277 278 280 289 296 298 301 305 306 308 309 311 313 315 326 329 333 335 337 342 343 346 350 352 356 361 362 373 385 387 389 403 404 410 416 419 420 421 422 427 432 433 436 437 440 441 a 1 2 5 7 9 15 16 22 30 33 34 36 38 39 41 46 49 51 52 56 60 61 64 66 67 69 72 73 75 77 79 80 81 82 84 90 93 94 96 100 103 104 107 108 109 110 113 115 117 121 130 132 134 135 136 138 140 143 148 149 150 155 157 159 166 167 168 176 177 179 181 186 189 192 194 198 199 200 201 203 204 207 209 210 213 216 217 218 227 230 231 240 250 255 266 270 273 277 278 280 289 296 298 301 305 306 308 309 311 313 315 326 329 333 335 337 342 346 350 352 356 361 362 373 385 387 389 403 404 410 416 419 420 421 422 427 432 433 436 437 440 441 a 1 2 5 7 9 15 16 22 30 33 34 36 38 39 41 46 49 51 52 56 60 61 64 66 67 69 72 73 75 77 79 80 81 82 84 90 93 94 96 100 103 104 107 108 109 110 113 115 117 121 130 132 134 135 136 138 140 143 148 149 150 155 157 159 166 167 168 176 177 179 181 186 189 192 194 198 199 200 201 203 204 207 209 210 213 216 217 218 227 230 231 240 250 255 266 270 273 277 278 280 289 296 298 301 305 306 308 309 311 313 315 326 329 333 335 337 342 346 350 352 355 356 361 362 373 385 387 389 403 404 410 416 419 420 421 422 427 432 433 436 440 441 Command being timed: "/solvers/driver/run.py --config=existent-single --memory-limit=54 --time-limit=1800 /benchmark/random_instance/random_instance034_graph003.col /benchmark/random_instance/random_instance034_graph003_01.dat" User time (seconds): 0.22 System time (seconds): 0.02 Percent of CPU this job got: 98% Elapsed (wall clock) time (h:mm:ss or m:ss): 0:00.25 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): 20820 Average resident set size (kbytes): 0 Major (requiring I/O) page faults: 0 Minor (reclaiming a frame) page faults: 13104 Voluntary context switches: 23 Involuntary context switches: 4 Swaps: 0 File system inputs: 0 File system outputs: 496 Socket messages sent: 0 Socket messages received: 0 Signals delivered: 0 Page size (bytes): 4096 Exit status: 0 #END: [Fri Sep 8 00:38:49 2023]