#BEGIN: [Thu Sep 7 17:08:54 2023] #HOST: s14 #TIMELIMIT: 1800 #MEMLIMIT: 0 #SOLVER: existent-cpu-ai-planning2-existent1 #INSTANCE1: /benchmark/random_instance/random_instance035_graph004.col #INSTANCE2: /benchmark/random_instance/random_instance035_graph004_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_instance035_graph004.col /benchmark/random_instance/random_instance035_graph004_01.dat s 388 233 32 40 280 145 21 301 139 411 327 446 96 118 403 194 355 237 177 150 328 114 418 361 119 141 102 313 449 384 190 353 252 254 79 297 275 250 59 62 204 81 117 402 264 356 147 410 340 425 435 135 56 268 352 396 405 222 111 341 334 413 166 393 315 180 94 433 285 369 66 31 129 448 144 185 306 397 80 74 249 186 133 443 400 88 394 58 163 454 362 85 168 409 54 44 378 247 442 253 151 428 184 344 162 431 175 294 309 156 124 203 258 304 187 120 251 57 439 414 370 104 366 17 238 12 357 401 103 227 255 116 302 47 345 72 71 148 84 155 95 220 t 47 96 375 333 287 94 347 257 217 64 399 95 379 24 52 360 154 372 140 1 13 368 30 190 295 401 16 271 453 398 358 219 178 326 221 355 36 356 282 313 442 149 443 156 258 3 104 128 239 78 323 90 452 278 233 197 153 210 165 77 440 328 20 26 151 298 344 316 234 364 404 334 290 227 331 359 129 371 445 223 194 289 220 83 384 12 385 222 439 49 218 4 254 432 374 162 2 315 150 294 169 62 427 177 346 187 70 121 448 410 82 307 419 429 116 31 332 184 240 376 183 286 231 249 393 148 435 122 53 196 296 85 98 23 39 312 228 133 423 112 269 18 a YES a 12 17 21 31 32 40 44 47 54 56 57 58 59 62 66 71 72 74 79 80 81 84 85 88 94 95 96 102 103 104 111 114 116 117 118 119 120 124 129 133 135 139 141 144 145 147 148 150 151 155 156 162 163 166 168 175 177 180 184 185 186 187 190 194 203 204 220 222 227 233 237 238 247 249 250 251 252 253 254 255 258 264 268 275 280 285 294 297 301 302 304 306 309 313 315 327 328 334 340 341 344 345 352 353 355 356 357 361 362 366 369 370 378 384 388 393 394 396 397 400 401 402 403 405 409 410 411 413 414 418 425 428 431 433 435 439 442 443 446 448 449 454 a 12 17 21 31 32 40 44 47 54 56 57 59 62 66 71 72 74 79 80 81 84 85 88 94 95 96 102 103 104 111 114 116 117 118 119 120 124 128 129 133 135 139 141 144 145 147 148 150 151 155 156 162 163 166 168 175 177 180 184 185 186 187 190 194 203 204 220 222 227 233 237 238 247 249 250 251 252 253 254 255 258 264 268 275 280 285 294 297 301 302 304 306 309 313 315 327 328 334 340 341 344 345 352 353 355 356 357 361 362 366 369 370 378 384 388 393 394 396 397 400 401 402 403 405 409 410 411 413 414 418 425 428 431 433 435 439 442 443 446 448 449 454 a 12 17 21 31 32 40 44 47 54 56 57 62 66 71 72 74 79 80 81 84 85 88 94 95 96 102 103 104 111 114 116 117 118 119 120 124 128 129 133 135 139 141 144 145 147 148 150 151 155 156 162 163 166 168 175 177 180 184 185 186 187 190 194 203 204 220 222 227 233 237 238 247 249 250 251 252 253 254 255 258 264 268 275 280 285 294 296 297 301 302 304 306 309 313 315 327 328 334 340 341 344 345 352 353 355 356 357 361 362 366 369 370 378 384 388 393 394 396 397 400 401 402 403 405 409 410 411 413 414 418 425 428 431 433 435 439 442 443 446 448 449 454 a 12 21 31 32 40 44 47 54 56 57 62 66 71 72 74 79 80 81 82 84 85 88 94 95 96 102 103 104 111 114 116 117 118 119 120 124 128 129 133 135 139 141 144 145 147 148 150 151 155 156 162 163 166 168 175 177 180 184 185 186 187 190 194 203 204 220 222 227 233 237 238 247 249 250 251 252 253 254 255 258 264 268 275 280 285 294 296 297 301 302 304 306 309 313 315 327 328 334 340 341 344 345 352 353 355 356 357 361 362 366 369 370 378 384 388 393 394 396 397 400 401 402 403 405 409 410 411 413 414 418 425 428 431 433 435 439 442 443 446 448 449 454 a 4 12 21 31 32 40 44 47 54 56 57 62 71 72 74 79 80 81 82 84 85 88 94 95 96 102 103 104 111 114 116 117 118 119 120 124 128 129 133 135 139 141 144 145 147 148 150 151 155 156 162 163 166 168 175 177 180 184 185 186 187 190 194 203 204 220 222 227 233 237 238 247 249 250 251 252 253 254 255 258 264 268 275 280 285 294 296 297 301 302 304 306 309 313 315 327 328 334 340 341 344 345 352 353 355 356 357 361 362 366 369 370 378 384 388 393 394 396 397 400 401 402 403 405 409 410 411 413 414 418 425 428 431 433 435 439 442 443 446 448 449 454 a 4 12 21 31 32 40 44 47 54 56 57 62 71 72 79 80 81 82 84 85 88 90 94 95 96 102 103 104 111 114 116 117 118 119 120 124 128 129 133 135 139 141 144 145 147 148 150 151 155 156 162 163 166 168 175 177 180 184 185 186 187 190 194 203 204 220 222 227 233 237 238 247 249 250 251 252 253 254 255 258 264 268 275 280 285 294 296 297 301 302 304 306 309 313 315 327 328 334 340 341 344 345 352 353 355 356 357 361 362 366 369 370 378 384 388 393 394 396 397 400 401 402 403 405 409 410 411 413 414 418 425 428 431 433 435 439 442 443 446 448 449 454 a 4 12 21 31 32 40 44 47 54 56 57 62 71 72 80 81 82 84 85 88 90 94 95 96 102 103 104 111 114 116 117 118 119 120 124 128 129 133 135 139 141 144 145 147 148 150 151 155 156 162 163 166 168 175 177 180 184 185 186 187 190 194 203 204 220 222 227 233 237 238 247 249 250 251 252 253 254 255 258 264 268 275 280 285 294 295 296 297 301 302 304 306 309 313 315 327 328 334 340 341 344 345 352 353 355 356 357 361 362 366 369 370 378 384 388 393 394 396 397 400 401 402 403 405 409 410 411 413 414 418 425 428 431 433 435 439 442 443 446 448 449 454 a 4 12 31 32 40 44 47 54 56 57 62 71 72 80 81 82 84 85 88 90 94 95 96 102 103 104 111 114 116 117 118 119 120 124 128 129 133 135 139 141 144 145 147 148 150 151 155 156 162 163 166 168 175 177 180 184 185 186 187 190 194 203 204 220 222 227 233 237 238 247 249 250 251 252 253 254 255 258 264 268 275 280 285 294 295 296 297 301 302 304 306 309 312 313 315 327 328 334 340 341 344 345 352 353 355 356 357 361 362 366 369 370 378 384 388 393 394 396 397 400 401 402 403 405 409 410 411 413 414 418 425 428 431 433 435 439 442 443 446 448 449 454 a 4 12 31 32 40 44 47 54 56 57 62 71 72 80 81 82 84 85 88 90 94 95 96 102 103 104 111 114 116 118 119 120 124 128 129 133 135 139 141 144 145 147 148 150 151 155 156 162 163 166 168 175 177 180 184 185 186 187 190 194 203 204 220 222 227 233 237 238 247 249 250 251 252 253 254 255 258 264 268 275 280 285 294 295 296 297 301 302 304 306 309 312 313 315 327 328 334 340 341 344 345 352 353 355 356 357 361 362 366 369 370 378 384 388 393 394 396 397 400 401 402 403 405 409 410 411 413 414 418 425 428 429 431 433 435 439 442 443 446 448 449 454 a 4 12 31 40 44 47 54 56 57 62 71 72 80 81 82 84 85 88 90 94 95 96 102 103 104 111 114 116 118 119 120 124 128 129 133 135 139 141 144 145 147 148 150 151 155 156 162 163 166 168 175 177 180 184 185 186 187 190 194 203 204 220 222 227 233 237 238 247 249 250 251 252 253 254 255 258 264 268 275 280 285 294 295 296 297 301 302 304 306 309 312 313 315 327 328 334 340 341 344 345 352 353 355 356 357 358 361 362 366 369 370 378 384 388 393 394 396 397 400 401 402 403 405 409 410 411 413 414 418 425 428 429 431 433 435 439 442 443 446 448 449 454 a 4 12 31 40 44 47 54 56 57 62 71 72 80 81 82 84 85 88 90 94 95 96 102 103 104 111 114 116 119 120 124 128 129 133 135 139 141 144 145 147 148 150 151 155 156 162 163 166 168 175 177 180 184 185 186 187 190 194 203 204 220 222 227 233 237 238 247 249 250 251 252 253 254 255 258 264 268 275 280 285 294 295 296 297 301 302 304 306 309 312 313 315 327 328 334 340 341 344 345 352 353 355 356 357 358 361 362 366 369 370 376 378 384 388 393 394 396 397 400 401 402 403 405 409 410 411 413 414 418 425 428 429 431 433 435 439 442 443 446 448 449 454 a 4 12 31 40 44 47 54 56 57 62 71 72 80 81 82 84 85 88 90 94 95 96 102 103 104 111 114 116 120 124 128 129 133 135 139 141 144 145 147 148 150 151 155 156 162 163 166 168 175 177 180 184 185 186 187 190 194 203 204 220 222 227 233 237 238 247 249 250 251 252 253 254 255 258 264 268 275 280 285 294 295 296 297 301 302 304 306 309 312 313 315 327 328 334 340 341 344 345 352 353 355 356 357 358 361 362 366 369 370 376 378 384 388 393 394 396 397 400 401 402 403 405 409 410 411 413 414 418 425 427 428 429 431 433 435 439 442 443 446 448 449 454 a 4 12 31 44 47 54 56 57 62 71 72 80 81 82 84 85 88 90 94 95 96 102 103 104 111 114 116 120 124 128 129 133 135 139 141 144 145 147 148 150 151 155 156 162 163 166 168 175 177 180 184 185 186 187 190 194 203 204 220 222 227 233 237 238 247 249 250 251 252 253 254 255 258 264 268 275 280 285 294 295 296 297 298 301 302 304 306 309 312 313 315 327 328 334 340 341 344 345 352 353 355 356 357 358 361 362 366 369 370 376 378 384 388 393 394 396 397 400 401 402 403 405 409 410 411 413 414 418 425 427 428 429 431 433 435 439 442 443 446 448 449 454 a 4 12 31 44 47 54 56 57 62 71 72 80 81 82 84 85 88 90 94 95 96 102 103 104 111 114 116 124 128 129 133 135 139 141 144 145 147 148 150 151 155 156 162 163 166 168 175 177 180 184 185 186 187 190 194 203 204 220 222 227 233 237 238 247 249 250 251 252 253 254 255 258 264 268 275 280 285 294 295 296 297 298 301 302 304 306 309 312 313 315 327 328 334 340 341 344 345 352 353 355 356 357 358 361 362 366 369 370 376 378 384 388 393 394 396 397 400 401 402 403 405 409 410 411 413 414 418 425 427 428 429 431 433 435 439 442 443 445 446 448 449 454 a 4 12 31 44 47 54 56 57 62 71 72 80 81 82 84 85 88 90 94 95 96 102 103 104 111 114 116 124 128 129 133 135 139 144 145 147 148 150 151 155 156 162 163 166 168 175 177 180 184 185 186 187 190 194 203 204 220 222 227 233 237 238 247 249 250 251 252 253 254 255 258 264 268 275 280 285 294 295 296 297 298 301 302 304 306 309 312 313 315 327 328 334 340 341 344 345 352 353 355 356 357 358 361 362 366 369 370 376 378 384 388 393 394 396 397 400 401 402 403 405 409 410 411 413 414 418 425 427 428 429 431 432 433 435 439 442 443 445 446 448 449 454 a 4 12 31 44 47 54 56 57 62 71 72 80 81 82 84 85 88 90 94 95 96 102 103 104 111 114 116 124 128 129 133 135 139 144 147 148 150 151 155 156 162 163 166 168 175 177 180 184 185 186 187 190 194 203 204 220 222 227 233 237 238 247 249 250 251 252 253 254 255 258 264 268 275 280 285 294 295 296 297 298 301 302 304 306 309 312 313 315 327 328 334 340 341 344 345 352 353 355 356 357 358 361 362 366 369 370 376 378 384 388 393 394 396 397 400 401 402 403 405 409 410 411 413 414 418 425 427 428 429 431 432 433 435 439 442 443 445 446 448 449 452 454 a 4 12 31 39 44 47 54 56 57 62 71 72 80 81 82 84 85 88 90 94 95 96 102 103 104 111 114 116 124 128 129 133 135 139 144 147 148 150 151 155 156 162 163 166 168 175 177 180 184 185 187 190 194 203 204 220 222 227 233 237 238 247 249 250 251 252 253 254 255 258 264 268 275 280 285 294 295 296 297 298 301 302 304 306 309 312 313 315 327 328 334 340 341 344 345 352 353 355 356 357 358 361 362 366 369 370 376 378 384 388 393 394 396 397 400 401 402 403 405 409 410 411 413 414 418 425 427 428 429 431 432 433 435 439 442 443 445 446 448 449 452 454 a 4 12 31 39 44 47 52 54 56 57 62 71 80 81 82 84 85 88 90 94 95 96 102 103 104 111 114 116 124 128 129 133 135 139 144 147 148 150 151 155 156 162 163 166 168 175 177 180 184 185 187 190 194 203 204 220 222 227 233 237 238 247 249 250 251 252 253 254 255 258 264 268 275 280 285 294 295 296 297 298 301 302 304 306 309 312 313 315 327 328 334 340 341 344 345 352 353 355 356 357 358 361 362 366 369 370 376 378 384 388 393 394 396 397 400 401 402 403 405 409 410 411 413 414 418 425 427 428 429 431 432 433 435 439 442 443 445 446 448 449 452 454 a 4 12 31 39 44 47 52 54 56 57 62 71 80 81 82 84 85 88 90 94 95 96 102 103 104 111 114 116 124 128 129 133 135 139 144 147 148 150 151 155 156 162 163 166 168 175 177 180 184 185 187 190 194 203 220 222 227 233 237 238 247 249 250 251 252 253 254 255 257 258 264 268 275 280 285 294 295 296 297 298 301 302 304 306 309 312 313 315 327 328 334 340 341 344 345 352 353 355 356 357 358 361 362 366 369 370 376 378 384 388 393 394 396 397 400 401 402 403 405 409 410 411 413 414 418 425 427 428 429 431 432 433 435 439 442 443 445 446 448 449 452 454 a 4 12 31 39 44 47 52 54 56 57 62 71 80 81 82 84 85 88 90 94 95 96 102 103 104 111 114 116 124 128 129 133 135 139 144 147 148 150 151 155 156 162 163 166 168 175 177 180 184 185 187 190 194 203 220 222 227 233 238 247 249 250 251 252 253 254 255 257 258 264 268 275 280 285 294 295 296 297 298 301 302 304 306 309 312 313 315 327 328 334 340 341 344 345 352 353 355 356 357 358 361 362 366 369 370 376 378 379 384 388 393 394 396 397 400 401 402 403 405 409 410 411 413 414 418 425 427 428 429 431 432 433 435 439 442 443 445 446 448 449 452 454 a 4 12 31 39 44 47 52 54 56 57 62 71 80 81 82 84 85 88 90 94 95 96 102 103 104 111 114 116 124 128 129 133 135 139 144 147 148 150 151 155 156 162 163 166 168 175 177 180 184 185 187 190 194 203 220 222 227 228 233 238 249 250 251 252 253 254 255 257 258 264 268 275 280 285 294 295 296 297 298 301 302 304 306 309 312 313 315 327 328 334 340 341 344 345 352 353 355 356 357 358 361 362 366 369 370 376 378 379 384 388 393 394 396 397 400 401 402 403 405 409 410 411 413 414 418 425 427 428 429 431 432 433 435 439 442 443 445 446 448 449 452 454 a 4 12 31 39 44 47 52 54 56 57 62 71 80 81 82 84 85 88 90 94 95 96 102 103 104 111 114 116 124 128 129 133 135 139 144 147 148 150 151 153 155 156 162 163 166 168 175 177 180 184 185 187 190 194 203 220 222 227 228 233 238 249 251 252 253 254 255 257 258 264 268 275 280 285 294 295 296 297 298 301 302 304 306 309 312 313 315 327 328 334 340 341 344 345 352 353 355 356 357 358 361 362 366 369 370 376 378 379 384 388 393 394 396 397 400 401 402 403 405 409 410 411 413 414 418 425 427 428 429 431 432 433 435 439 442 443 445 446 448 449 452 454 a 4 12 31 39 47 52 54 56 57 62 71 80 81 82 84 85 88 90 94 95 96 102 103 104 111 114 116 124 128 129 133 135 139 144 147 148 150 151 153 155 156 162 163 166 168 175 177 180 184 185 187 190 194 203 220 222 227 228 233 234 238 249 251 252 253 254 255 257 258 264 268 275 280 285 294 295 296 297 298 301 302 304 306 309 312 313 315 327 328 334 340 341 344 345 352 353 355 356 357 358 361 362 366 369 370 376 378 379 384 388 393 394 396 397 400 401 402 403 405 409 410 411 413 414 418 425 427 428 429 431 432 433 435 439 442 443 445 446 448 449 452 454 a 4 12 31 39 47 52 54 56 57 62 71 80 81 82 84 85 88 90 94 95 96 102 103 104 111 114 116 121 124 128 129 133 135 139 144 147 148 150 151 153 155 156 162 163 166 168 175 177 180 184 185 187 190 194 203 220 222 227 228 233 234 238 249 251 253 254 255 257 258 264 268 275 280 285 294 295 296 297 298 301 302 304 306 309 312 313 315 327 328 334 340 341 344 345 352 353 355 356 357 358 361 362 366 369 370 376 378 379 384 388 393 394 396 397 400 401 402 403 405 409 410 411 413 414 418 425 427 428 429 431 432 433 435 439 442 443 445 446 448 449 452 454 a 4 12 31 39 47 52 54 56 57 62 71 80 81 82 84 85 88 90 94 95 96 102 103 104 111 114 116 121 124 128 129 133 135 139 144 147 148 150 151 153 155 156 162 163 166 168 175 177 180 184 185 187 190 194 203 220 221 222 227 228 233 234 238 249 251 253 254 255 257 258 264 268 275 285 294 295 296 297 298 301 302 304 306 309 312 313 315 327 328 334 340 341 344 345 352 353 355 356 357 358 361 362 366 369 370 376 378 379 384 388 393 394 396 397 400 401 402 403 405 409 410 411 413 414 418 425 427 428 429 431 432 433 435 439 442 443 445 446 448 449 452 454 a 4 12 31 39 47 52 56 57 62 71 80 81 82 84 85 88 90 94 95 96 102 103 104 111 114 116 121 124 128 129 133 135 139 144 147 148 150 151 153 155 156 162 163 166 168 175 177 180 184 185 187 190 194 203 220 221 222 227 228 233 234 238 249 251 253 254 255 257 258 264 268 275 285 289 294 295 296 297 298 301 302 304 306 309 312 313 315 327 328 334 340 341 344 345 352 353 355 356 357 358 361 362 366 369 370 376 378 379 384 388 393 394 396 397 400 401 402 403 405 409 410 411 413 414 418 425 427 428 429 431 432 433 435 439 442 443 445 446 448 449 452 454 a 4 12 31 39 47 52 57 62 71 80 81 82 84 85 88 90 94 95 96 102 103 104 111 114 116 121 124 128 129 133 135 139 144 147 148 150 151 153 155 156 162 163 166 168 175 177 180 184 185 187 190 194 203 220 221 222 227 228 233 234 238 249 251 253 254 255 257 258 264 268 275 285 289 294 295 296 297 298 301 302 304 306 309 312 313 315 327 328 334 340 341 344 345 347 352 353 355 356 357 358 361 362 366 369 370 376 378 379 384 388 393 394 396 397 400 401 402 403 405 409 410 411 413 414 418 425 427 428 429 431 432 433 435 439 442 443 445 446 448 449 452 454 a 4 12 24 31 39 47 52 57 62 71 80 81 82 84 85 88 90 94 95 96 102 104 111 114 116 121 124 128 129 133 135 139 144 147 148 150 151 153 155 156 162 163 166 168 175 177 180 184 185 187 190 194 203 220 221 222 227 228 233 234 238 249 251 253 254 255 257 258 264 268 275 285 289 294 295 296 297 298 301 302 304 306 309 312 313 315 327 328 334 340 341 344 345 347 352 353 355 356 357 358 361 362 366 369 370 376 378 379 384 388 393 394 396 397 400 401 402 403 405 409 410 411 413 414 418 425 427 428 429 431 432 433 435 439 442 443 445 446 448 449 452 454 a 4 12 24 31 39 47 52 57 62 71 80 81 82 84 85 88 90 94 95 96 102 104 111 114 116 121 124 128 129 133 135 139 144 147 148 150 151 153 155 156 162 163 166 168 175 177 180 184 185 187 190 194 203 220 221 222 227 228 233 234 238 249 251 253 254 255 257 258 268 275 285 289 294 295 296 297 298 301 302 304 306 309 312 313 315 327 328 334 340 341 344 345 347 352 353 355 356 357 358 361 362 366 369 370 376 378 379 384 388 393 394 396 397 400 401 402 403 405 409 410 411 413 414 418 425 427 428 429 431 432 433 435 439 440 442 443 445 446 448 449 452 454 a 4 12 24 31 39 47 52 57 62 71 80 81 82 84 85 88 90 94 95 96 102 104 111 114 116 121 124 128 129 133 135 139 144 147 148 150 151 153 155 156 162 163 166 168 175 177 180 184 185 187 190 194 203 220 221 222 227 228 231 233 234 238 249 251 253 254 255 257 258 268 275 285 289 294 295 296 297 298 301 302 304 306 309 312 313 315 327 328 334 341 344 345 347 352 353 355 356 357 358 361 362 366 369 370 376 378 379 384 388 393 394 396 397 400 401 402 403 405 409 410 411 413 414 418 425 427 428 429 431 432 433 435 439 440 442 443 445 446 448 449 452 454 a 4 12 24 31 39 47 52 57 62 71 80 81 82 84 85 88 90 94 95 96 102 104 111 114 116 121 124 128 129 133 135 139 144 147 148 150 151 153 155 156 162 163 166 168 175 177 180 184 185 187 190 194 203 220 221 222 227 228 231 233 234 238 249 251 253 254 255 257 258 268 275 285 289 294 295 296 297 298 301 302 304 306 309 312 313 315 328 334 341 344 345 347 352 353 355 356 357 358 361 362 366 369 370 376 378 379 384 388 393 394 396 397 400 401 402 403 404 405 409 410 411 413 414 418 425 427 428 429 431 432 433 435 439 440 442 443 445 446 448 449 452 454 a 4 12 24 31 39 47 52 57 62 71 80 81 82 84 85 88 90 94 95 96 102 104 111 114 116 121 124 128 129 133 135 139 144 147 148 150 151 153 155 156 162 163 166 168 175 177 180 184 185 187 190 194 203 218 220 221 222 227 228 231 233 234 238 249 251 253 254 255 257 258 268 275 285 289 294 295 296 297 298 301 302 304 309 312 313 315 328 334 341 344 345 347 352 353 355 356 357 358 361 362 366 369 370 376 378 379 384 388 393 394 396 397 400 401 402 403 404 405 409 410 411 413 414 418 425 427 428 429 431 432 433 435 439 440 442 443 445 446 448 449 452 454 a 2 4 12 24 31 39 47 52 57 62 71 80 81 82 84 85 88 90 94 95 96 102 104 111 114 116 121 124 128 129 133 135 139 144 147 148 150 151 153 155 156 162 163 166 168 175 177 180 184 185 187 190 194 203 218 220 221 222 227 228 231 233 234 238 249 251 253 254 255 257 258 268 275 285 289 294 295 296 297 298 301 302 304 309 312 313 315 328 334 344 345 347 352 353 355 356 357 358 361 362 366 369 370 376 378 379 384 388 393 394 396 397 400 401 402 403 404 405 409 410 411 413 414 418 425 427 428 429 431 432 433 435 439 440 442 443 445 446 448 449 452 454 a 2 4 12 24 31 39 47 52 57 62 71 80 81 82 84 85 88 90 94 95 96 102 104 111 114 116 121 122 124 128 129 133 135 139 144 147 148 150 151 153 155 156 162 163 166 168 175 177 180 184 185 187 190 194 203 218 220 221 222 227 228 231 233 234 238 249 251 253 254 255 257 258 268 275 285 289 294 295 296 297 298 301 302 304 309 312 313 315 328 334 344 347 352 353 355 356 357 358 361 362 366 369 370 376 378 379 384 388 393 394 396 397 400 401 402 403 404 405 409 410 411 413 414 418 425 427 428 429 431 432 433 435 439 440 442 443 445 446 448 449 452 454 a 2 4 12 24 31 39 47 52 57 62 71 80 81 82 84 85 88 90 94 95 96 102 104 111 114 116 121 122 124 128 129 133 139 144 147 148 150 151 153 155 156 162 163 166 168 175 177 180 184 185 187 190 194 203 218 220 221 222 227 228 231 233 234 238 249 251 253 254 255 257 258 268 275 285 289 294 295 296 297 298 301 302 304 309 312 313 315 328 334 344 347 352 353 355 356 357 358 361 362 366 369 370 375 376 378 379 384 388 393 394 396 397 400 401 402 403 404 405 409 410 411 413 414 418 425 427 428 429 431 432 433 435 439 440 442 443 445 446 448 449 452 454 a 2 4 12 24 31 39 47 52 57 62 71 80 81 82 84 85 88 90 94 95 96 102 104 111 114 116 121 122 124 128 129 133 139 144 147 148 150 151 153 155 156 162 163 166 168 175 177 180 184 185 187 190 194 203 218 220 221 222 227 228 231 233 234 238 249 251 253 254 255 257 258 268 275 285 289 294 295 296 297 298 301 302 304 309 312 313 315 328 334 344 347 353 355 356 357 358 361 362 366 369 370 375 376 378 379 384 388 393 394 396 397 400 401 402 403 404 405 409 410 411 413 414 418 423 425 427 428 429 431 432 433 435 439 440 442 443 445 446 448 449 452 454 a 2 4 12 24 31 39 47 52 57 62 71 80 81 82 84 85 88 90 94 95 96 102 104 111 114 116 121 122 124 128 129 133 139 144 147 148 150 151 153 155 156 162 163 166 168 175 177 180 184 185 187 190 194 203 218 220 221 222 227 228 231 233 234 238 249 251 253 254 255 257 258 268 275 285 289 294 295 296 297 298 301 302 304 309 312 313 315 328 334 344 347 353 355 356 358 361 362 364 366 369 370 375 376 378 379 384 388 393 394 396 397 400 401 402 403 404 405 409 410 411 413 414 418 423 425 427 428 429 431 432 433 435 439 440 442 443 445 446 448 449 452 454 a 2 4 12 24 31 39 47 52 53 62 71 80 81 82 84 85 88 90 94 95 96 102 104 111 114 116 121 122 124 128 129 133 139 144 147 148 150 151 153 155 156 162 163 166 168 175 177 180 184 185 187 190 194 203 218 220 221 222 227 228 231 233 234 238 249 251 253 254 255 257 258 268 275 285 289 294 295 296 297 298 301 302 304 309 312 313 315 328 334 344 347 353 355 356 358 361 362 364 366 369 370 375 376 378 379 384 388 393 394 396 397 400 401 402 403 404 405 409 410 411 413 414 418 423 425 427 428 429 431 432 433 435 439 440 442 443 445 446 448 449 452 454 a 2 4 12 24 31 39 47 52 53 62 71 80 82 84 85 88 90 94 95 96 102 104 111 114 116 121 122 124 128 129 133 139 144 147 148 150 151 153 155 156 162 163 166 168 175 177 180 184 185 187 190 194 203 218 220 221 222 227 228 231 233 234 238 249 251 253 254 255 257 258 268 275 285 289 294 295 296 297 298 301 302 304 309 312 313 315 328 334 344 347 353 355 356 358 361 362 364 366 369 370 375 376 378 379 384 388 393 394 396 397 398 400 401 402 403 404 405 409 410 411 413 414 418 423 425 427 428 429 431 432 433 435 439 440 442 443 445 446 448 449 452 454 a 2 4 12 23 24 31 39 47 52 53 62 71 80 82 84 85 88 90 94 95 96 102 104 111 114 116 121 122 124 128 129 133 139 144 148 150 151 153 155 156 162 163 166 168 175 177 180 184 185 187 190 194 203 218 220 221 222 227 228 231 233 234 238 249 251 253 254 255 257 258 268 275 285 289 294 295 296 297 298 301 302 304 309 312 313 315 328 334 344 347 353 355 356 358 361 362 364 366 369 370 375 376 378 379 384 388 393 394 396 397 398 400 401 402 403 404 405 409 410 411 413 414 418 423 425 427 428 429 431 432 433 435 439 440 442 443 445 446 448 449 452 454 a 2 4 12 23 24 31 39 47 52 53 62 71 80 82 84 85 88 90 94 95 96 102 104 111 114 116 121 122 124 128 129 133 139 144 148 149 150 151 153 155 156 162 163 166 168 175 177 180 184 185 187 190 194 203 218 220 221 222 227 228 231 233 234 238 249 251 253 254 255 257 258 268 275 285 289 294 295 296 297 298 301 302 304 309 312 313 315 328 334 344 347 353 355 356 358 361 362 364 369 370 375 376 378 379 384 388 393 394 396 397 398 400 401 402 403 404 405 409 410 411 413 414 418 423 425 427 428 429 431 432 433 435 439 440 442 443 445 446 448 449 452 454 a 2 4 12 23 24 31 39 47 52 53 62 80 82 84 85 88 90 94 95 96 102 104 111 114 116 121 122 124 128 129 133 139 144 148 149 150 151 153 155 156 162 163 166 168 175 177 180 184 185 187 190 194 203 218 220 221 222 227 228 231 233 234 238 249 251 253 254 255 257 258 268 275 285 289 294 295 296 297 298 301 302 304 309 312 313 315 328 334 344 347 353 355 356 358 360 361 362 364 369 370 375 376 378 379 384 388 393 394 396 397 398 400 401 402 403 404 405 409 410 411 413 414 418 423 425 427 428 429 431 432 433 435 439 440 442 443 445 446 448 449 452 454 a 2 4 12 23 24 31 39 47 49 52 53 62 80 82 84 85 88 90 94 95 96 102 104 111 114 116 121 122 124 128 129 133 139 144 148 149 150 151 153 155 156 162 163 166 168 175 177 180 184 185 187 190 194 203 218 220 221 222 227 228 231 233 234 238 249 251 254 255 257 258 268 275 285 289 294 295 296 297 298 301 302 304 309 312 313 315 328 334 344 347 353 355 356 358 360 361 362 364 369 370 375 376 378 379 384 388 393 394 396 397 398 400 401 402 403 404 405 409 410 411 413 414 418 423 425 427 428 429 431 432 433 435 439 440 442 443 445 446 448 449 452 454 a 2 4 12 23 24 31 39 47 49 52 53 62 80 82 84 85 88 90 94 95 96 102 104 111 114 116 121 122 124 128 129 133 139 144 148 149 150 151 153 155 156 162 163 166 168 175 177 180 184 185 187 190 194 203 218 220 221 222 227 228 231 233 234 238 249 251 254 255 257 258 268 269 275 285 289 294 295 296 297 298 301 302 304 309 312 313 315 328 334 344 347 353 355 356 358 360 361 362 364 369 370 375 376 378 379 384 393 394 396 397 398 400 401 402 403 404 405 409 410 411 413 414 418 423 425 427 428 429 431 432 433 435 439 440 442 443 445 446 448 449 452 454 a 2 4 12 23 24 31 39 47 49 52 53 62 80 82 84 85 88 90 94 95 96 102 104 111 114 116 121 122 124 128 129 133 139 144 148 149 150 151 153 155 156 162 163 166 168 175 177 180 184 185 187 190 194 203 218 220 221 222 227 228 231 233 234 238 249 251 254 255 257 258 268 269 275 285 289 294 295 296 297 298 301 302 309 312 313 315 328 333 334 344 347 353 355 356 358 360 361 362 364 369 370 375 376 378 379 384 393 394 396 397 398 400 401 402 403 404 405 409 410 411 413 414 418 423 425 427 428 429 431 432 433 435 439 440 442 443 445 446 448 449 452 454 a 2 3 4 12 23 24 31 39 47 49 52 53 62 80 82 84 85 88 90 94 95 96 102 104 111 114 116 121 122 124 128 129 133 139 144 148 149 150 151 153 155 156 162 163 166 168 175 177 180 184 185 187 190 194 203 218 220 221 222 227 228 231 233 234 238 249 251 254 255 257 258 268 269 275 285 289 294 295 296 297 298 301 302 309 312 313 315 328 333 334 344 347 353 355 356 358 360 361 362 364 369 370 375 376 378 379 384 393 396 397 398 400 401 402 403 404 405 409 410 411 413 414 418 423 425 427 428 429 431 432 433 435 439 440 442 443 445 446 448 449 452 454 a 2 3 4 12 23 24 31 39 47 49 52 53 62 80 82 84 85 88 90 94 95 96 98 102 104 111 114 116 121 122 124 128 129 133 139 144 148 149 150 151 153 155 156 162 163 166 168 175 177 180 184 185 187 190 194 203 218 220 221 222 227 228 231 233 234 238 249 251 254 255 257 258 268 269 275 285 289 294 295 296 297 298 301 302 309 312 313 315 328 333 334 344 347 353 355 356 358 360 361 362 364 369 370 375 376 378 379 384 393 397 398 400 401 402 403 404 405 409 410 411 413 414 418 423 425 427 428 429 431 432 433 435 439 440 442 443 445 446 448 449 452 454 a 2 3 4 12 16 23 24 31 39 47 49 52 53 62 80 82 84 85 88 90 94 95 96 98 102 104 111 114 116 121 122 124 128 129 133 139 144 148 149 150 151 153 155 156 162 163 166 168 175 177 180 184 185 187 190 194 203 218 220 221 222 227 228 231 233 234 238 249 251 254 255 257 258 268 269 275 285 289 294 295 296 297 298 301 302 309 312 313 315 328 333 334 344 347 353 355 356 358 360 361 362 364 370 375 376 378 379 384 393 397 398 400 401 402 403 404 405 409 410 411 413 414 418 423 425 427 428 429 431 432 433 435 439 440 442 443 445 446 448 449 452 454 a 2 3 4 12 16 23 24 31 39 47 49 52 53 62 80 82 84 85 88 90 94 95 96 98 102 104 111 114 116 121 122 124 128 129 133 139 144 148 149 150 151 153 155 156 162 163 166 168 175 177 180 184 185 187 190 194 203 218 220 221 222 227 228 231 233 234 238 249 251 254 255 257 258 268 269 275 285 286 289 294 295 296 297 298 301 302 309 312 313 315 328 333 334 344 347 353 355 356 358 360 361 362 364 370 375 376 378 379 384 393 398 400 401 402 403 404 405 409 410 411 413 414 418 423 425 427 428 429 431 432 433 435 439 440 442 443 445 446 448 449 452 454 a 2 3 4 12 16 23 24 31 39 47 49 52 53 62 80 82 84 85 88 90 94 95 96 98 102 104 111 114 116 121 122 124 128 129 133 139 144 148 149 150 151 153 155 156 162 163 166 168 175 177 180 184 185 187 190 194 203 218 220 221 222 227 228 231 233 234 238 249 251 254 255 257 258 268 269 275 285 286 289 294 295 296 297 298 301 302 309 312 313 315 328 333 334 344 347 353 355 356 358 360 361 362 364 368 370 375 376 378 379 384 393 398 401 402 403 404 405 409 410 411 413 414 418 423 425 427 428 429 431 432 433 435 439 440 442 443 445 446 448 449 452 454 a 2 3 4 12 16 23 24 31 39 47 49 52 53 62 82 84 85 88 90 94 95 96 98 102 104 111 114 116 121 122 124 128 129 133 139 144 148 149 150 151 153 155 156 162 163 166 168 175 177 180 184 185 187 190 194 203 218 220 221 222 227 228 231 233 234 238 249 251 254 255 257 258 268 269 275 285 286 289 294 295 296 297 298 301 302 309 312 313 315 328 333 334 344 347 353 355 356 358 359 360 361 362 364 368 370 375 376 378 379 384 393 398 401 402 403 404 405 409 410 411 413 414 418 423 425 427 428 429 431 432 433 435 439 440 442 443 445 446 448 449 452 454 a 2 3 4 12 16 23 24 31 39 47 49 52 53 62 82 84 85 88 90 94 95 96 98 104 111 114 116 121 122 124 128 129 133 139 144 148 149 150 151 153 155 156 162 163 166 168 175 177 180 183 184 185 187 190 194 203 218 220 221 222 227 228 231 233 234 238 249 251 254 255 257 258 268 269 275 285 286 289 294 295 296 297 298 301 302 309 312 313 315 328 333 334 344 347 353 355 356 358 359 360 361 362 364 368 370 375 376 378 379 384 393 398 401 402 403 404 405 409 410 411 413 414 418 423 425 427 428 429 431 432 433 435 439 440 442 443 445 446 448 449 452 454 a 1 2 3 4 12 16 23 24 31 39 47 49 52 53 62 82 84 85 88 90 94 95 96 98 104 111 114 116 121 122 124 128 129 133 139 144 148 149 150 151 153 155 156 162 163 166 168 175 177 180 183 184 185 187 190 194 203 218 220 221 222 227 228 231 233 234 238 249 251 254 255 257 258 268 269 275 285 286 289 294 295 296 297 298 301 302 309 312 313 315 328 333 334 344 347 353 355 356 358 359 360 361 362 364 368 370 375 376 378 379 384 393 398 401 403 404 405 409 410 411 413 414 418 423 425 427 428 429 431 432 433 435 439 440 442 443 445 446 448 449 452 454 a 1 2 3 4 12 16 23 24 31 36 39 47 49 52 53 62 82 84 85 88 90 94 95 96 98 104 111 114 116 121 122 124 128 129 133 139 144 148 149 150 151 153 155 156 162 163 166 168 175 177 180 183 184 185 187 190 194 203 218 220 221 222 227 228 231 233 234 238 249 251 254 255 257 258 268 269 275 285 286 289 294 295 296 297 298 301 302 309 312 313 315 328 333 334 344 347 353 355 356 358 359 360 361 362 364 368 370 375 376 378 379 384 393 398 401 404 405 409 410 411 413 414 418 423 425 427 428 429 431 432 433 435 439 440 442 443 445 446 448 449 452 454 a 1 2 3 4 12 16 23 24 31 36 39 47 49 52 53 62 82 85 88 90 94 95 96 98 104 111 114 116 121 122 124 128 129 133 139 144 148 149 150 151 153 155 156 162 163 166 168 175 177 180 183 184 185 187 190 194 203 218 220 221 222 227 228 231 233 234 238 240 249 251 254 255 257 258 268 269 275 285 286 289 294 295 296 297 298 301 302 309 312 313 315 328 333 334 344 347 353 355 356 358 359 360 361 362 364 368 370 375 376 378 379 384 393 398 401 404 405 409 410 411 413 414 418 423 425 427 428 429 431 432 433 435 439 440 442 443 445 446 448 449 452 454 a 1 2 3 4 12 16 23 24 31 36 39 47 49 52 53 62 82 85 88 90 94 95 96 98 104 111 114 116 121 122 124 128 129 133 139 144 148 149 150 151 153 155 156 162 163 166 168 175 177 180 183 184 185 187 190 194 203 217 218 220 221 222 227 228 231 233 234 238 240 249 251 254 255 257 258 268 269 275 285 286 289 294 295 296 297 298 301 302 309 312 313 315 328 333 334 344 347 353 355 356 358 359 360 361 362 364 368 370 375 376 378 379 384 393 398 401 404 409 410 411 413 414 418 423 425 427 428 429 431 432 433 435 439 440 442 443 445 446 448 449 452 454 a 1 2 3 4 12 16 23 24 31 36 39 47 49 52 53 62 82 85 88 90 94 95 96 98 104 111 114 116 121 122 124 128 129 133 139 140 144 148 149 150 151 153 155 156 162 163 166 168 175 177 180 183 184 185 187 190 194 203 217 218 220 221 222 227 228 231 233 234 238 240 249 251 254 255 257 258 268 269 275 285 286 289 294 295 296 297 298 301 302 309 312 313 315 328 333 334 344 347 353 355 356 358 359 360 361 362 364 368 370 375 376 378 379 384 393 398 401 404 410 411 413 414 418 423 425 427 428 429 431 432 433 435 439 440 442 443 445 446 448 449 452 454 a 1 2 3 4 12 16 18 23 24 31 36 39 47 49 52 53 62 82 85 88 90 94 95 96 98 104 111 114 116 121 122 124 128 129 133 139 140 144 148 149 150 151 153 155 156 162 163 166 168 175 177 180 183 184 185 187 190 194 203 217 218 220 221 222 227 228 231 233 234 238 240 249 251 254 255 257 258 268 269 275 285 286 289 294 295 296 297 298 301 302 309 312 313 315 328 333 334 344 347 353 355 356 358 359 360 361 362 364 368 370 375 376 378 379 384 393 398 401 404 410 411 413 414 423 425 427 428 429 431 432 433 435 439 440 442 443 445 446 448 449 452 454 a 1 2 3 4 12 16 18 23 24 31 36 39 47 49 52 53 62 82 85 90 94 95 96 98 104 111 114 116 121 122 124 128 129 133 139 140 144 148 149 150 151 153 155 156 162 163 166 168 175 177 180 183 184 185 187 190 194 203 217 218 220 221 222 227 228 231 233 234 238 240 249 251 254 255 257 258 268 269 275 285 286 289 294 295 296 297 298 301 302 309 312 313 315 328 333 334 344 346 347 353 355 356 358 359 360 361 362 364 368 370 375 376 378 379 384 393 398 401 404 410 411 413 414 423 425 427 428 429 431 432 433 435 439 440 442 443 445 446 448 449 452 454 a 1 2 3 4 12 13 16 18 23 24 31 36 39 47 49 52 53 62 82 85 90 94 95 96 98 104 111 114 116 121 122 124 128 129 133 139 140 144 148 149 150 151 153 155 156 162 163 166 168 175 177 180 183 184 185 187 190 194 203 217 218 220 221 222 227 228 231 233 234 240 249 251 254 255 257 258 268 269 275 285 286 289 294 295 296 297 298 301 302 309 312 313 315 328 333 334 344 346 347 353 355 356 358 359 360 361 362 364 368 370 375 376 378 379 384 393 398 401 404 410 411 413 414 423 425 427 428 429 431 432 433 435 439 440 442 443 445 446 448 449 452 454 a 1 2 3 4 12 13 16 18 23 24 31 36 39 47 49 52 53 62 82 85 90 94 95 96 98 104 111 114 116 121 122 124 128 129 133 139 140 144 148 149 150 151 153 155 156 162 163 166 168 169 175 177 180 183 184 185 187 190 194 203 217 218 220 221 222 227 228 231 233 234 240 249 251 254 255 257 258 269 275 285 286 289 294 295 296 297 298 301 302 309 312 313 315 328 333 334 344 346 347 353 355 356 358 359 360 361 362 364 368 370 375 376 378 379 384 393 398 401 404 410 411 413 414 423 425 427 428 429 431 432 433 435 439 440 442 443 445 446 448 449 452 454 a 1 2 3 4 12 13 16 18 23 24 31 36 39 47 49 52 53 62 82 85 90 94 95 96 98 104 111 114 116 121 122 124 128 129 133 139 140 144 148 149 150 151 153 155 156 162 166 168 169 175 177 180 183 184 185 187 190 194 197 203 217 218 220 221 222 227 228 231 233 234 240 249 251 254 255 257 258 269 275 285 286 289 294 295 296 297 298 301 302 309 312 313 315 328 333 334 344 346 347 353 355 356 358 359 360 361 362 364 368 370 375 376 378 379 384 393 398 401 404 410 411 413 414 423 425 427 428 429 431 432 433 435 439 440 442 443 445 446 448 449 452 454 a 1 2 3 4 12 13 16 18 23 24 30 31 36 39 47 49 52 53 62 82 85 90 94 95 96 98 104 111 114 116 121 122 124 128 129 133 139 140 144 148 149 150 151 153 155 156 162 166 168 169 175 177 180 183 184 185 187 190 194 197 203 217 218 220 221 222 227 228 231 233 234 240 249 254 255 257 258 269 275 285 286 289 294 295 296 297 298 301 302 309 312 313 315 328 333 334 344 346 347 353 355 356 358 359 360 361 362 364 368 370 375 376 378 379 384 393 398 401 404 410 411 413 414 423 425 427 428 429 431 432 433 435 439 440 442 443 445 446 448 449 452 454 a 1 2 3 4 12 13 16 18 23 24 30 31 36 39 47 49 52 53 62 70 82 85 90 94 95 96 98 104 111 114 116 121 122 124 128 129 133 139 140 144 148 149 150 151 153 155 156 162 166 168 169 175 177 180 183 184 185 187 190 194 197 203 217 218 220 221 222 227 228 231 233 234 240 249 254 255 257 258 269 275 285 286 289 294 295 296 297 298 301 302 309 312 313 315 328 333 334 344 346 347 353 355 356 358 359 360 362 364 368 370 375 376 378 379 384 393 398 401 404 410 411 413 414 423 425 427 428 429 431 432 433 435 439 440 442 443 445 446 448 449 452 454 a 1 2 3 4 12 13 16 18 23 24 30 31 36 39 47 49 52 53 62 70 82 85 90 94 95 96 98 104 111 114 116 121 122 124 128 129 133 139 140 144 148 149 150 151 153 155 156 162 166 168 169 175 177 180 183 184 185 187 190 194 197 203 217 218 220 221 222 227 228 231 233 234 240 249 254 255 257 258 269 275 285 286 289 290 294 295 296 297 298 301 302 309 312 313 315 328 333 334 344 346 347 353 355 356 358 359 360 362 364 368 375 376 378 379 384 393 398 401 404 410 411 413 414 423 425 427 428 429 431 432 433 435 439 440 442 443 445 446 448 449 452 454 a 1 2 3 4 12 13 16 18 23 24 30 31 36 39 47 49 52 53 62 70 82 85 90 94 95 96 98 104 111 114 116 121 122 124 128 129 133 139 140 144 148 149 150 151 153 155 156 162 166 168 169 175 177 180 183 184 185 187 190 194 197 203 217 218 220 221 222 227 228 231 233 234 240 249 254 255 257 258 269 275 285 286 289 290 294 295 296 297 298 301 302 309 312 313 315 328 333 334 344 346 347 353 355 356 358 359 360 362 364 368 375 376 379 384 385 393 398 401 404 410 411 413 414 423 425 427 428 429 431 432 433 435 439 440 442 443 445 446 448 449 452 454 a 1 2 3 4 12 13 16 18 23 24 30 31 36 39 47 49 52 53 62 70 77 82 85 90 94 95 96 98 104 111 114 116 121 122 124 128 129 133 139 140 148 149 150 151 153 155 156 162 166 168 169 175 177 180 183 184 185 187 190 194 197 203 217 218 220 221 222 227 228 231 233 234 240 249 254 255 257 258 269 275 285 286 289 290 294 295 296 297 298 301 302 309 312 313 315 328 333 334 344 346 347 353 355 356 358 359 360 362 364 368 375 376 379 384 385 393 398 401 404 410 411 413 414 423 425 427 428 429 431 432 433 435 439 440 442 443 445 446 448 449 452 454 a 1 2 3 4 12 13 16 18 23 24 30 31 36 39 47 49 52 53 62 70 77 82 83 85 90 94 95 96 98 104 111 114 116 121 122 124 128 129 133 140 148 149 150 151 153 155 156 162 166 168 169 175 177 180 183 184 185 187 190 194 197 203 217 218 220 221 222 227 228 231 233 234 240 249 254 255 257 258 269 275 285 286 289 290 294 295 296 297 298 301 302 309 312 313 315 328 333 334 344 346 347 353 355 356 358 359 360 362 364 368 375 376 379 384 385 393 398 401 404 410 411 413 414 423 425 427 428 429 431 432 433 435 439 440 442 443 445 446 448 449 452 454 a 1 2 3 4 12 13 16 18 23 24 30 31 36 39 47 49 52 53 62 70 77 82 83 85 90 94 95 96 98 104 111 114 116 121 122 124 128 129 133 140 148 149 150 151 153 155 156 162 166 168 169 175 177 180 183 184 187 190 194 197 203 217 218 220 221 222 227 228 231 233 234 240 249 254 255 257 258 269 275 285 286 289 290 294 295 296 297 298 301 302 309 312 313 315 328 333 334 344 346 347 353 355 356 358 359 360 362 364 368 372 375 376 379 384 385 393 398 401 404 410 411 413 414 423 425 427 428 429 431 432 433 435 439 440 442 443 445 446 448 449 452 454 a 1 2 3 4 12 13 16 18 23 24 30 31 36 39 47 49 52 53 62 70 77 82 83 85 90 94 95 96 98 104 114 116 121 122 124 128 129 133 140 148 149 150 151 153 155 156 162 166 168 169 175 177 180 183 184 187 190 194 197 203 217 218 220 221 222 227 228 231 233 234 240 249 254 255 257 258 269 275 285 286 289 290 294 295 296 297 298 301 302 309 312 313 315 328 331 333 334 344 346 347 353 355 356 358 359 360 362 364 368 372 375 376 379 384 385 393 398 401 404 410 411 413 414 423 425 427 428 429 431 432 433 435 439 440 442 443 445 446 448 449 452 454 a 1 2 3 4 12 13 16 18 23 24 30 31 36 39 47 49 52 53 62 70 77 82 83 85 90 94 95 96 98 104 114 116 121 122 124 128 129 133 140 148 149 150 151 153 155 156 162 166 168 169 175 177 178 180 183 184 187 190 194 197 203 217 218 220 221 222 227 228 231 233 234 240 249 254 257 258 269 275 285 286 289 290 294 295 296 297 298 301 302 309 312 313 315 328 331 333 334 344 346 347 353 355 356 358 359 360 362 364 368 372 375 376 379 384 385 393 398 401 404 410 411 413 414 423 425 427 428 429 431 432 433 435 439 440 442 443 445 446 448 449 452 454 a 1 2 3 4 12 13 16 18 23 24 30 31 36 39 47 49 52 53 62 70 77 82 83 85 90 94 95 96 98 104 114 116 121 122 124 128 129 133 140 148 149 150 151 153 155 156 162 166 168 169 175 177 178 180 183 184 187 190 194 197 203 217 218 220 221 222 227 228 231 233 234 240 249 254 257 258 269 275 285 286 289 290 294 295 296 297 298 301 302 307 309 312 313 315 328 331 333 334 344 346 347 353 355 356 358 359 360 362 364 368 372 375 376 379 384 385 393 398 401 404 410 411 413 423 425 427 428 429 431 432 433 435 439 440 442 443 445 446 448 449 452 454 a 1 2 3 4 12 13 16 18 23 24 30 31 36 39 47 49 52 53 62 70 77 82 83 85 90 94 95 96 98 104 114 116 121 122 124 128 129 133 140 148 149 150 151 153 155 156 162 166 168 169 175 177 178 180 183 184 187 190 194 197 203 217 218 220 221 222 227 228 231 233 234 240 249 254 257 258 269 275 285 286 289 290 294 295 296 297 298 301 302 307 309 312 313 315 328 331 333 334 344 346 347 353 355 356 358 359 360 362 364 368 371 372 375 376 379 384 385 393 398 401 404 410 411 413 423 427 428 429 431 432 433 435 439 440 442 443 445 446 448 449 452 454 a 1 2 3 4 12 13 16 18 23 24 30 31 36 39 47 49 52 53 62 70 77 82 83 85 90 94 95 96 98 104 114 116 121 122 124 128 129 133 140 148 149 150 151 153 155 156 162 166 168 169 175 177 178 180 183 184 187 190 194 197 203 217 218 220 221 222 227 228 231 233 234 240 249 254 257 258 269 275 285 286 289 290 294 295 296 297 298 301 302 307 309 312 313 315 328 331 333 334 344 346 347 353 355 356 358 359 360 362 364 368 371 372 375 376 379 384 385 393 398 401 404 410 411 413 419 423 427 429 431 432 433 435 439 440 442 443 445 446 448 449 452 454 a 1 2 3 4 12 13 16 18 23 24 30 31 36 39 47 49 52 53 62 70 77 82 83 85 90 94 95 96 98 104 116 121 122 124 128 129 133 140 148 149 150 151 153 155 156 162 166 168 169 175 177 178 180 183 184 187 190 194 197 203 217 218 220 221 222 227 228 231 233 234 240 249 254 257 258 269 275 285 286 289 290 294 295 296 297 298 301 302 307 309 312 313 315 328 331 333 334 344 346 347 353 355 356 358 359 360 362 364 368 371 372 375 376 379 384 385 393 398 401 404 410 411 413 419 423 427 429 431 432 433 435 439 440 442 443 445 446 448 449 452 453 454 a 1 2 3 4 12 13 16 18 23 24 30 31 36 39 47 49 52 53 62 70 77 82 83 85 90 94 95 96 98 104 116 121 122 124 128 129 133 140 148 149 150 151 153 155 156 162 168 169 175 177 178 180 183 184 187 190 194 197 203 217 218 219 220 221 222 227 228 231 233 234 240 249 254 257 258 269 275 285 286 289 290 294 295 296 297 298 301 302 307 309 312 313 315 328 331 333 334 344 346 347 353 355 356 358 359 360 362 364 368 371 372 375 376 379 384 385 393 398 401 404 410 411 413 419 423 427 429 431 432 433 435 439 440 442 443 445 446 448 449 452 453 454 a 1 2 3 4 12 13 16 18 23 24 30 31 36 39 47 49 52 53 62 70 77 82 83 85 90 94 95 96 98 104 116 121 122 124 128 129 133 140 148 149 150 151 153 155 156 162 165 168 169 177 178 180 183 184 187 190 194 197 203 217 218 219 220 221 222 227 228 231 233 234 240 249 254 257 258 269 275 285 286 289 290 294 295 296 297 298 301 302 307 309 312 313 315 328 331 333 334 344 346 347 353 355 356 358 359 360 362 364 368 371 372 375 376 379 384 385 393 398 401 404 410 411 413 419 423 427 429 431 432 433 435 439 440 442 443 445 446 448 449 452 453 454 a 1 2 3 4 12 13 16 18 20 23 24 30 31 36 39 47 49 52 53 62 70 77 82 83 85 90 94 95 96 98 104 116 121 122 124 128 129 133 140 148 149 150 151 153 155 156 162 165 168 169 177 178 180 183 184 187 190 194 197 203 217 218 219 220 221 222 227 228 231 233 234 240 249 254 257 258 269 275 286 289 290 294 295 296 297 298 301 302 307 309 312 313 315 328 331 333 334 344 346 347 353 355 356 358 359 360 362 364 368 371 372 375 376 379 384 385 393 398 401 404 410 411 413 419 423 427 429 431 432 433 435 439 440 442 443 445 446 448 449 452 453 454 a 1 2 3 4 12 13 16 18 20 23 24 30 31 36 39 47 49 52 53 62 70 77 82 83 85 90 94 95 96 98 104 116 121 122 124 128 129 133 140 148 149 150 151 153 155 156 162 165 168 169 177 178 180 183 184 187 190 194 197 203 217 218 219 220 221 222 227 228 231 233 234 240 249 254 257 258 269 275 286 289 290 294 295 296 297 298 301 302 307 309 312 313 315 328 331 332 333 334 344 346 347 355 356 358 359 360 362 364 368 371 372 375 376 379 384 385 393 398 401 404 410 411 413 419 423 427 429 431 432 433 435 439 440 442 443 445 446 448 449 452 453 454 a 1 2 3 4 12 13 16 18 20 23 24 26 30 31 36 39 47 49 52 53 62 70 77 82 83 85 90 94 95 96 98 104 116 121 122 124 128 129 133 140 148 149 150 151 153 155 156 162 165 168 169 177 178 180 183 184 187 190 194 197 203 217 218 219 220 221 222 227 228 231 233 234 240 249 254 257 258 269 275 286 289 290 294 295 296 297 298 301 302 307 309 312 313 315 328 331 332 333 334 344 346 347 355 356 358 359 360 362 364 368 371 372 375 376 379 384 385 393 398 401 404 410 411 413 419 423 427 429 432 433 435 439 440 442 443 445 446 448 449 452 453 454 a 1 2 3 4 12 13 16 18 20 23 24 26 30 31 36 39 47 49 52 53 62 70 77 82 83 85 90 94 95 96 98 104 116 121 122 128 129 133 140 148 149 150 151 153 155 156 162 165 168 169 177 178 180 183 184 187 190 194 197 203 217 218 219 220 221 222 227 228 231 233 234 240 249 254 257 258 269 275 286 289 290 294 295 296 297 298 301 302 307 309 312 313 315 316 328 331 332 333 334 344 346 347 355 356 358 359 360 362 364 368 371 372 375 376 379 384 385 393 398 401 404 410 411 413 419 423 427 429 432 433 435 439 440 442 443 445 446 448 449 452 453 454 a 1 2 3 4 12 13 16 18 20 23 24 26 30 31 36 39 47 49 52 53 62 70 77 82 83 85 90 94 95 96 98 104 116 121 122 128 129 133 140 148 149 150 151 153 155 156 162 165 169 177 178 180 183 184 187 190 194 197 203 210 217 218 219 220 221 222 227 228 231 233 234 240 249 254 257 258 269 275 286 289 290 294 295 296 297 298 301 302 307 309 312 313 315 316 328 331 332 333 334 344 346 347 355 356 358 359 360 362 364 368 371 372 375 376 379 384 385 393 398 401 404 410 411 413 419 423 427 429 432 433 435 439 440 442 443 445 446 448 449 452 453 454 a 1 2 3 4 12 13 16 18 20 23 24 26 30 31 36 39 47 49 52 53 62 70 77 82 83 85 90 94 95 96 98 104 116 121 122 128 129 133 140 148 149 150 151 153 155 156 162 165 169 177 178 180 183 184 187 190 194 197 203 210 217 218 219 220 221 222 227 228 231 233 234 240 249 254 257 258 269 275 286 287 289 290 294 295 296 297 298 301 302 307 309 312 313 315 316 328 331 332 333 334 344 346 347 355 356 358 359 360 362 364 368 371 372 375 376 379 384 385 393 398 401 404 410 411 413 419 423 427 429 432 435 439 440 442 443 445 446 448 449 452 453 454 a 1 2 3 4 12 13 16 18 20 23 24 26 30 31 36 39 47 49 52 53 62 70 77 82 83 85 90 94 95 96 98 104 112 116 121 122 128 129 133 140 148 149 150 151 153 156 162 165 169 177 178 180 183 184 187 190 194 197 203 210 217 218 219 220 221 222 227 228 231 233 234 240 249 254 257 258 269 275 286 287 289 290 294 295 296 297 298 301 302 307 309 312 313 315 316 328 331 332 333 334 344 346 347 355 356 358 359 360 362 364 368 371 372 375 376 379 384 385 393 398 401 404 410 411 413 419 423 427 429 432 435 439 440 442 443 445 446 448 449 452 453 454 a 1 2 3 4 12 13 16 18 20 23 24 26 30 31 36 39 47 49 52 53 62 70 77 82 83 85 90 94 95 96 98 104 112 116 121 122 128 129 133 140 148 149 150 151 153 156 162 165 169 177 178 183 184 187 190 194 197 203 210 217 218 219 220 221 222 227 228 231 233 234 239 240 249 254 257 258 269 275 286 287 289 290 294 295 296 297 298 301 302 307 309 312 313 315 316 328 331 332 333 334 344 346 347 355 356 358 359 360 362 364 368 371 372 375 376 379 384 385 393 398 401 404 410 411 413 419 423 427 429 432 435 439 440 442 443 445 446 448 449 452 453 454 a 1 2 3 4 12 13 16 18 20 23 24 26 30 31 36 39 47 49 52 53 62 70 77 82 83 85 90 94 95 96 98 104 112 116 121 122 128 129 133 140 148 149 150 151 153 156 162 165 169 177 178 183 184 187 190 194 197 203 210 217 218 219 220 221 222 227 228 231 233 234 239 240 249 254 257 258 269 275 286 287 289 290 294 295 296 297 298 301 302 307 309 312 313 315 316 328 331 332 333 334 344 346 347 355 356 358 359 360 362 364 368 371 372 375 376 379 384 385 393 398 399 401 404 410 413 419 423 427 429 432 435 439 440 442 443 445 446 448 449 452 453 454 a 1 2 3 4 12 13 16 18 20 23 24 26 30 31 36 39 47 49 52 53 62 70 77 82 83 85 90 94 95 96 98 104 112 116 121 122 128 129 133 140 148 149 150 151 153 156 162 165 169 177 178 183 184 187 190 194 197 210 217 218 219 220 221 222 227 228 231 233 234 239 240 249 254 257 258 269 275 282 286 287 289 290 294 295 296 297 298 301 302 307 309 312 313 315 316 328 331 332 333 334 344 346 347 355 356 358 359 360 362 364 368 371 372 375 376 379 384 385 393 398 399 401 404 410 413 419 423 427 429 432 435 439 440 442 443 445 446 448 449 452 453 454 a 1 2 3 4 12 13 16 18 20 23 24 26 30 31 36 39 47 49 52 53 62 70 77 82 83 85 90 94 95 96 98 104 112 116 121 122 128 129 133 140 148 149 150 151 153 156 162 165 169 177 178 183 184 187 190 194 197 210 217 218 219 220 221 222 227 228 231 233 234 239 240 249 254 257 258 269 271 275 282 286 287 289 290 294 295 296 297 298 301 302 307 309 312 313 315 316 328 331 332 333 334 344 346 347 355 356 358 359 360 362 364 368 371 372 375 376 379 384 385 393 398 399 401 404 410 419 423 427 429 432 435 439 440 442 443 445 446 448 449 452 453 454 a 1 2 3 4 12 13 16 18 20 23 24 26 30 31 36 39 47 49 52 53 62 70 77 82 83 85 90 94 95 96 98 104 112 116 121 122 128 129 133 140 148 149 150 151 153 156 162 165 169 177 178 183 184 187 190 194 197 210 217 218 219 220 221 222 223 227 228 231 233 234 239 240 249 254 257 258 269 271 275 282 286 287 289 290 294 295 296 297 298 301 302 307 309 312 313 315 316 328 331 332 333 334 344 346 347 355 356 358 359 360 362 364 368 371 372 375 376 379 384 385 393 398 399 401 404 410 419 423 427 429 432 435 439 440 442 443 445 448 449 452 453 454 a 1 2 3 4 12 13 16 18 20 23 24 26 30 31 36 39 47 49 52 53 62 70 77 78 82 83 85 90 94 95 96 98 104 112 116 121 122 128 129 133 140 148 149 150 151 153 156 162 165 169 177 178 183 184 187 190 194 197 210 217 218 219 220 221 222 223 227 228 231 233 234 239 240 249 254 257 258 269 271 282 286 287 289 290 294 295 296 297 298 301 302 307 309 312 313 315 316 328 331 332 333 334 344 346 347 355 356 358 359 360 362 364 368 371 372 375 376 379 384 385 393 398 399 401 404 410 419 423 427 429 432 435 439 440 442 443 445 448 449 452 453 454 a 1 2 3 4 12 13 16 18 20 23 24 26 30 31 36 39 47 49 52 53 62 70 77 78 82 83 85 90 94 95 96 98 104 112 116 121 122 128 129 133 140 148 149 150 151 153 154 156 162 165 169 177 178 183 184 187 190 194 197 210 217 218 219 220 221 222 223 227 228 231 233 234 239 240 249 254 257 258 269 271 282 286 287 289 290 294 295 296 297 298 301 302 307 312 313 315 316 328 331 332 333 334 344 346 347 355 356 358 359 360 362 364 368 371 372 375 376 379 384 385 393 398 399 401 404 410 419 423 427 429 432 435 439 440 442 443 445 448 449 452 453 454 a 1 2 3 4 12 13 16 18 20 23 24 26 30 31 36 39 47 49 52 53 62 70 77 78 82 83 85 90 94 95 96 98 104 112 116 121 122 128 129 133 140 148 149 150 151 153 154 156 162 165 169 177 178 183 184 187 190 194 197 210 217 218 219 220 221 222 223 227 228 231 233 234 239 240 249 254 257 258 269 271 282 286 287 289 290 294 295 296 297 298 301 302 307 312 313 315 316 323 328 331 332 333 334 344 346 347 355 356 358 359 360 362 364 368 371 372 375 376 379 384 385 393 398 399 401 404 410 419 423 427 429 432 435 439 440 442 443 445 448 452 453 454 a 1 2 3 4 12 13 16 18 20 23 24 26 30 31 36 39 47 49 52 53 62 70 77 78 82 83 85 90 94 95 96 98 104 112 116 121 122 128 129 133 140 148 149 150 151 153 154 156 162 165 169 177 178 183 184 187 190 194 196 197 210 217 218 219 220 221 222 223 227 228 231 233 234 239 240 249 254 257 258 269 271 282 286 287 289 290 294 295 296 298 301 302 307 312 313 315 316 323 328 331 332 333 334 344 346 347 355 356 358 359 360 362 364 368 371 372 375 376 379 384 385 393 398 399 401 404 410 419 423 427 429 432 435 439 440 442 443 445 448 452 453 454 a 1 2 3 4 12 13 16 18 20 23 24 26 30 31 36 39 47 49 52 53 62 70 77 78 82 83 85 90 94 95 96 98 104 112 116 121 122 128 129 133 140 148 149 150 151 153 154 156 162 165 169 177 178 183 184 187 190 194 196 197 210 217 218 219 220 221 222 223 227 228 231 233 234 239 240 249 254 257 258 269 271 282 286 287 289 290 294 295 296 298 301 307 312 313 315 316 323 326 328 331 332 333 334 344 346 347 355 356 358 359 360 362 364 368 371 372 375 376 379 384 385 393 398 399 401 404 410 419 423 427 429 432 435 439 440 442 443 445 448 452 453 454 a 1 2 3 4 12 13 16 18 20 23 24 26 30 31 36 39 47 49 52 53 62 70 77 78 82 83 85 90 94 95 96 98 104 112 116 121 122 128 129 133 140 148 149 150 151 153 154 156 162 165 169 177 178 183 184 187 190 194 196 197 210 217 218 219 220 221 222 223 227 228 231 233 234 239 240 249 254 257 258 269 271 278 282 286 287 289 290 294 295 296 298 301 307 312 313 315 316 323 326 328 331 332 333 334 344 346 347 355 356 358 359 360 364 368 371 372 375 376 379 384 385 393 398 399 401 404 410 419 423 427 429 432 435 439 440 442 443 445 448 452 453 454 a 1 2 3 4 12 13 16 18 20 23 24 26 30 31 36 39 47 49 52 53 62 64 70 77 78 82 83 85 90 94 95 96 98 104 112 116 121 122 128 129 133 140 148 149 150 151 153 154 156 162 165 169 177 178 183 184 187 190 194 196 197 210 217 218 219 220 221 222 223 227 228 231 233 234 239 240 249 254 257 258 269 271 278 282 286 287 289 290 294 295 296 298 307 312 313 315 316 323 326 328 331 332 333 334 344 346 347 355 356 358 359 360 364 368 371 372 375 376 379 384 385 393 398 399 401 404 410 419 423 427 429 432 435 439 440 442 443 445 448 452 453 454 a 1 2 3 4 12 13 16 18 20 23 24 26 30 31 36 39 47 49 52 53 62 64 70 77 78 82 83 85 90 94 95 96 98 104 112 116 121 122 128 129 133 140 148 149 150 151 153 154 156 162 165 169 177 178 183 184 187 190 194 196 197 210 217 218 219 220 221 222 223 227 228 231 233 234 239 240 249 254 257 258 269 271 278 282 286 287 289 290 294 295 296 298 307 312 313 315 316 323 326 328 331 332 333 334 344 346 347 355 356 358 359 360 364 368 371 372 374 375 376 379 384 385 393 398 399 401 404 410 419 423 427 429 432 435 439 440 442 443 445 448 452 453 Command being timed: "/solvers/driver/run.py --config=existent-single --memory-limit=54 --time-limit=1800 /benchmark/random_instance/random_instance035_graph004.col /benchmark/random_instance/random_instance035_graph004_01.dat" User time (seconds): 0.29 System time (seconds): 0.02 Percent of CPU this job got: 98% Elapsed (wall clock) time (h:mm:ss or m:ss): 0:00.31 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): 20860 Average resident set size (kbytes): 0 Major (requiring I/O) page faults: 0 Minor (reclaiming a frame) page faults: 13621 Voluntary context switches: 23 Involuntary context switches: 6 Swaps: 0 File system inputs: 0 File system outputs: 512 Socket messages sent: 0 Socket messages received: 0 Signals delivered: 0 Page size (bytes): 4096 Exit status: 0 #END: [Thu Sep 7 17:08:55 2023]